--- VHDL generated by LogSynth framework (c) Petr Fiser
Library IEEE;
use IEEE.std_logic_1164.all;

entity DFF is
  Port ( D, CLK: in std_logic;
     Q: out std_logic);
end DFF;

architecture Behavior of DFF is
begin
  process(CLK)
  begin
    if CLK'event and CLK = '1' then
      Q <= D;
    end if;
  end process;
end Behavior;

Library IEEE;
use IEEE.std_logic_1164.all;

entity QUIP__os_sdram16__part0 is 
  Port (
    pi00,pi01,pi02,pi03,pi04,pi05,pi06,pi07,pi08,pi09,pi10,pi11,pi12,pi13,pi14,pi15, CLK: in std_logic;
    po01,po02,po03,po04,po05,po06,po19,po20,po21,po22,po23,po24,po25,po26,po27,po28,po29,po30,po31,po32,po33,po34,po35,po36,po37,po38,po55,po56,po57,po58,po59,po60,po61,po62,po63,po64,po65,po66,po67,po68,po69,po70,po71,po72,po73,po74,po75,po07,po08,po09,po10,po11,po12,po13,po14,po15,po16,po17,po18,po39,po40,po41,po42,po43,po44,po45,po46,po47,po48,po49,po50,po51,po52,po53,po54: inout std_logic
  );
end QUIP__os_sdram16__part0;

architecture QUIP__os_sdram16__part0_behav of QUIP__os_sdram16__part0 is
component DFF
  Port ( D, CLK: in std_logic;
     Q: out std_logic);
end component;

signal lo001,lo002,lo003,lo004,lo005,lo006,lo007,lo008,lo009,lo010,lo011,lo012,lo013,lo014,lo015,lo016,lo017,lo018,lo019,lo020,lo021,lo022,lo023,lo024,lo025,lo026,lo027,lo028,lo029,lo030,lo031,lo032,lo033,lo034,lo035,lo036,lo037,lo038,lo039,lo040,lo041,lo042,lo043,lo044,lo045,lo046,lo047,lo048,lo049,lo050,lo051,lo052,lo053,lo054,lo055,lo056,lo057,lo058,lo059,lo060,lo061,lo062,lo063,lo064,lo065,lo066,lo067,lo068,lo069,lo070,lo071,lo072,lo073,lo074,lo075,lo076,lo077,lo078,lo079,lo080,lo081,lo082,lo083,lo084,lo085,lo086,lo087,lo088,lo089,lo090,lo091,lo092,lo093,lo094,lo095,lo096,lo097,lo098,lo099,lo100,lo101,lo102,lo103,lo104,lo105,lo106,lo107,lo108,lo109,lo110,lo111,lo112,lo113,lo114,lo115,lo116,lo117,lo118,lo119,lo120,lo121,lo122,lo123,lo124,lo125,lo126,lo127,lo128,lo129,lo130,lo131,lo132,lo133,lo134,lo135,lo136,lo137,lo138,lo139,lo140,lo141,lo142,lo143,lo144,lo145,lo146,n566,n568,n569,n571,n572,n573,n575,n576,n577,n579,n580,n581,n583,n584,n585,n587,n588,n589,n591,n592,n593,n595,n596,n597,n599,n600,n601,n603,n604,n605,n607,n608,n609,n611,n612,n613,n615,n616,n617,n619,n620,n621,n623,n624,li007,li008,li009,li010,li011,li012,li013,li014,li015,li016,li017,li018,li019,n644,li021,li022,li023,li024,li025,li026,li027,li028,li029,li030,li031,li034,li035,li036,li037,li038,li039,li040,li041,li042,li043,li044,li045,li046,li047,li048,li049,li050,li051,li052,li053,li054,li055,li056,li057,li058,li059,li060,li061,li062,n708,n709,n710,li070,n712,n713,n714,li001,n716,n717,li002,n719,n720,n721,n722,li003,n724,n725,li004,n727,n728,li005,n730,n731,n732,li006,n734,li077,li078,li079,li080,li081,n740,li082,li083,li084,li085,n745,li086,li087,li088,li089,n750,li090,li091,li092,li093,n755,li094,li095,li096,li097,n760,n761,n762,n763,n764,n765,n766,n767,n768,n769,n770,n771,n772,n773,li020,n775,n776,n777,n778,n779,n780,n781,n782,n783,n784,n785,n786,n787,li032,n789,n790,li033,n792,n793,n794,n795,n796,n797,n798,n799,n800,n801,n802,n803,n804,li063,n806,n807,li064,n809,li107,li108,n812,li110,li111,li112,li113,n817,li114,li115,li116,li117,n822,li118,li119,n825,n826,li123,n828,n829,n830,n831,n832,n833,n834,li065,n836,li066,n838,n839,li067,n841,n842,n843,n844,n845,n846,n847,n848,n849,n850,n851,n852,li068,li069,li071,li072,n857,n858,n859,n860,n861,n862,n863,n864,n865,li073,n867,n868,n869,n870,n871,li074,n873,n874,n875,li075,n877,n878,li076,n880,n881,n882,n883,n884,n885,n886,n887,n888,n889,n890,n891,n892,n893,n894,n895,n896,n897,n898,n899,n900,n901,n902,li098,n904,n905,n906,li099,li100,n909,n910,n911,n912,n913,li101,li102,n916,li103,li104,li105,n920,li106,n922,n923,n924,li109,n926,n927,n928,li120,li132,li121,li122,li134,li135,li136,li137,n937,li138,li139,li140,li141,n942,li142,li143,li144,n946,n947,li145,li124,li125,n951,li126,n953,li127,n955,li128,li129,n958,n959,n960,n961,n962,n963,li131,n965,li133,n967,n968,n969,n970,n971,n972,n973,n974,n975,n976,li146,n978,n979,n980,n981,n982,n983,n984,n985,n986,n987,n988,n989,n990,n991,n992,n993,n994,n995,n996,n997,n998,n999,n1000,n1001,n1002,n1003,n1004,n1005,n1006,n1007,n1008,n1009,n1010,n1011,n1012,n1013,n1014,n1015,n1016,n1017,n1018,n1019,n1020,n1021,n1022,n1023,n1024,n1025,n1026,n1027,n1028,n1029,n1030,n1031,n1032,n1033,n1034,n1035,n1036,n1037,n1038,n1039,n1040,n1041,n1042,n1043,li130: std_logic;
begin
    DFF0: DFF port map (li001, CLK, lo001);
    DFF1: DFF port map (li002, CLK, lo002);
    DFF2: DFF port map (li003, CLK, lo003);
    DFF3: DFF port map (li004, CLK, lo004);
    DFF4: DFF port map (li005, CLK, lo005);
    DFF5: DFF port map (li006, CLK, lo006);
    DFF6: DFF port map (li007, CLK, lo007);
    DFF7: DFF port map (li008, CLK, lo008);
    DFF8: DFF port map (li009, CLK, lo009);
    DFF9: DFF port map (li010, CLK, lo010);
    DFF10: DFF port map (li011, CLK, lo011);
    DFF11: DFF port map (li012, CLK, lo012);
    DFF12: DFF port map (li013, CLK, lo013);
    DFF13: DFF port map (li014, CLK, lo014);
    DFF14: DFF port map (li015, CLK, lo015);
    DFF15: DFF port map (li016, CLK, lo016);
    DFF16: DFF port map (li017, CLK, lo017);
    DFF17: DFF port map (li018, CLK, lo018);
    DFF18: DFF port map (li019, CLK, lo019);
    DFF19: DFF port map (li020, CLK, lo020);
    DFF20: DFF port map (li021, CLK, lo021);
    DFF21: DFF port map (li022, CLK, lo022);
    DFF22: DFF port map (li023, CLK, lo023);
    DFF23: DFF port map (li024, CLK, lo024);
    DFF24: DFF port map (li025, CLK, lo025);
    DFF25: DFF port map (li026, CLK, lo026);
    DFF26: DFF port map (li027, CLK, lo027);
    DFF27: DFF port map (li028, CLK, lo028);
    DFF28: DFF port map (li029, CLK, lo029);
    DFF29: DFF port map (li030, CLK, lo030);
    DFF30: DFF port map (li031, CLK, lo031);
    DFF31: DFF port map (li032, CLK, lo032);
    DFF32: DFF port map (li033, CLK, lo033);
    DFF33: DFF port map (li034, CLK, lo034);
    DFF34: DFF port map (li035, CLK, lo035);
    DFF35: DFF port map (li036, CLK, lo036);
    DFF36: DFF port map (li037, CLK, lo037);
    DFF37: DFF port map (li038, CLK, lo038);
    DFF38: DFF port map (li039, CLK, lo039);
    DFF39: DFF port map (li040, CLK, lo040);
    DFF40: DFF port map (li041, CLK, lo041);
    DFF41: DFF port map (li042, CLK, lo042);
    DFF42: DFF port map (li043, CLK, lo043);
    DFF43: DFF port map (li044, CLK, lo044);
    DFF44: DFF port map (li045, CLK, lo045);
    DFF45: DFF port map (li046, CLK, lo046);
    DFF46: DFF port map (li047, CLK, lo047);
    DFF47: DFF port map (li048, CLK, lo048);
    DFF48: DFF port map (li049, CLK, lo049);
    DFF49: DFF port map (li050, CLK, lo050);
    DFF50: DFF port map (li051, CLK, lo051);
    DFF51: DFF port map (li052, CLK, lo052);
    DFF52: DFF port map (li053, CLK, lo053);
    DFF53: DFF port map (li054, CLK, lo054);
    DFF54: DFF port map (li055, CLK, lo055);
    DFF55: DFF port map (li056, CLK, lo056);
    DFF56: DFF port map (li057, CLK, lo057);
    DFF57: DFF port map (li058, CLK, lo058);
    DFF58: DFF port map (li059, CLK, lo059);
    DFF59: DFF port map (li060, CLK, lo060);
    DFF60: DFF port map (li061, CLK, lo061);
    DFF61: DFF port map (li062, CLK, lo062);
    DFF62: DFF port map (li063, CLK, lo063);
    DFF63: DFF port map (li064, CLK, lo064);
    DFF64: DFF port map (li065, CLK, lo065);
    DFF65: DFF port map (li066, CLK, lo066);
    DFF66: DFF port map (li067, CLK, lo067);
    DFF67: DFF port map (li068, CLK, lo068);
    DFF68: DFF port map (li069, CLK, lo069);
    DFF69: DFF port map (li070, CLK, lo070);
    DFF70: DFF port map (li071, CLK, lo071);
    DFF71: DFF port map (li072, CLK, lo072);
    DFF72: DFF port map (li073, CLK, lo073);
    DFF73: DFF port map (li074, CLK, lo074);
    DFF74: DFF port map (li075, CLK, lo075);
    DFF75: DFF port map (li076, CLK, lo076);
    DFF76: DFF port map (li077, CLK, lo077);
    DFF77: DFF port map (li078, CLK, lo078);
    DFF78: DFF port map (li079, CLK, lo079);
    DFF79: DFF port map (li080, CLK, lo080);
    DFF80: DFF port map (li081, CLK, lo081);
    DFF81: DFF port map (li082, CLK, lo082);
    DFF82: DFF port map (li083, CLK, lo083);
    DFF83: DFF port map (li084, CLK, lo084);
    DFF84: DFF port map (li085, CLK, lo085);
    DFF85: DFF port map (li086, CLK, lo086);
    DFF86: DFF port map (li087, CLK, lo087);
    DFF87: DFF port map (li088, CLK, lo088);
    DFF88: DFF port map (li089, CLK, lo089);
    DFF89: DFF port map (li090, CLK, lo090);
    DFF90: DFF port map (li091, CLK, lo091);
    DFF91: DFF port map (li092, CLK, lo092);
    DFF92: DFF port map (li093, CLK, lo093);
    DFF93: DFF port map (li094, CLK, lo094);
    DFF94: DFF port map (li095, CLK, lo095);
    DFF95: DFF port map (li096, CLK, lo096);
    DFF96: DFF port map (li097, CLK, lo097);
    DFF97: DFF port map (li098, CLK, lo098);
    DFF98: DFF port map (li099, CLK, lo099);
    DFF99: DFF port map (li100, CLK, lo100);
    DFF100: DFF port map (li101, CLK, lo101);
    DFF101: DFF port map (li102, CLK, lo102);
    DFF102: DFF port map (li103, CLK, lo103);
    DFF103: DFF port map (li104, CLK, lo104);
    DFF104: DFF port map (li105, CLK, lo105);
    DFF105: DFF port map (li106, CLK, lo106);
    DFF106: DFF port map (li107, CLK, lo107);
    DFF107: DFF port map (li108, CLK, lo108);
    DFF108: DFF port map (li109, CLK, lo109);
    DFF109: DFF port map (li110, CLK, lo110);
    DFF110: DFF port map (li111, CLK, lo111);
    DFF111: DFF port map (li112, CLK, lo112);
    DFF112: DFF port map (li113, CLK, lo113);
    DFF113: DFF port map (li114, CLK, lo114);
    DFF114: DFF port map (li115, CLK, lo115);
    DFF115: DFF port map (li116, CLK, lo116);
    DFF116: DFF port map (li117, CLK, lo117);
    DFF117: DFF port map (li118, CLK, lo118);
    DFF118: DFF port map (li119, CLK, lo119);
    DFF119: DFF port map (li120, CLK, lo120);
    DFF120: DFF port map (li121, CLK, lo121);
    DFF121: DFF port map (li122, CLK, lo122);
    DFF122: DFF port map (li123, CLK, lo123);
    DFF123: DFF port map (li124, CLK, lo124);
    DFF124: DFF port map (li125, CLK, lo125);
    DFF125: DFF port map (li126, CLK, lo126);
    DFF126: DFF port map (li127, CLK, lo127);
    DFF127: DFF port map (li128, CLK, lo128);
    DFF128: DFF port map (li129, CLK, lo129);
    DFF129: DFF port map (li130, CLK, lo130);
    DFF130: DFF port map (li131, CLK, lo131);
    DFF131: DFF port map (li132, CLK, lo132);
    DFF132: DFF port map (li133, CLK, lo133);
    DFF133: DFF port map (li134, CLK, lo134);
    DFF134: DFF port map (li135, CLK, lo135);
    DFF135: DFF port map (li136, CLK, lo136);
    DFF136: DFF port map (li137, CLK, lo137);
    DFF137: DFF port map (li138, CLK, lo138);
    DFF138: DFF port map (li139, CLK, lo139);
    DFF139: DFF port map (li140, CLK, lo140);
    DFF140: DFF port map (li141, CLK, lo141);
    DFF141: DFF port map (li142, CLK, lo142);
    DFF142: DFF port map (li143, CLK, lo143);
    DFF143: DFF port map (li144, CLK, lo144);
    DFF144: DFF port map (li145, CLK, lo145);
    DFF145: DFF port map (li146, CLK, lo146);
    po01 <= ( not lo001 );
    po02 <= ( not lo002 );
    po03 <= ( not lo003 );
    po04 <= ( not lo004 );
    po05 <= ( not lo005 );
    po06 <= ( not lo005 );
    po19 <= ( not lo009 );
    po20 <= ( not lo011 );
    po21 <= ( not lo013 );
    po22 <= ( not lo015 );
    po23 <= ( not lo017 );
    po24 <= ( not lo019 );
    po25 <= ( not lo022 );
    po26 <= ( not lo024 );
    po27 <= ( not lo008 );
    po28 <= ( not lo010 );
    po29 <= ( not lo012 );
    po30 <= ( not lo014 );
    po31 <= ( not lo016 );
    po32 <= ( not lo018 );
    po33 <= ( not lo021 );
    po34 <= ( not lo023 );
    po35 <= ( not lo025 );
    po36 <= ( not lo026 );
    po37 <= ( not lo027 );
    po38 <= ( not lo030 );
    po55 <= ( not lo063 );
    po56 <= ( not lo033 );
    po57 <= ( not lo032 );
    po58 <= ( not n710 );
    po59 <= ( not lo068 );
    po60 <= ( not lo146 );
    n566 <= ( not lo146 and pi00 );
    po61 <= ( not lo146 );
    n568 <= ( not lo146 and pi01 );
    n569 <= not (( not lo035 and lo146 ));
    po62 <= ( n569 );
    n571 <= not (( not lo146 and not pi02 ));
    n572 <= ( n569 and n571 );
    n573 <= not (( not lo037 and lo146 ));
    po63 <= ( n573 );
    n575 <= not (( not lo146 and not pi03 ));
    n576 <= ( n573 and n575 );
    n577 <= not (( not lo039 and lo146 ));
    po64 <= ( n577 );
    n579 <= not (( not lo146 and not pi04 ));
    n580 <= ( n577 and n579 );
    n581 <= not (( not lo041 and lo146 ));
    po65 <= ( n581 );
    n583 <= not (( not lo146 and not pi05 ));
    n584 <= ( n581 and n583 );
    n585 <= not (( not lo043 and lo146 ));
    po66 <= ( n585 );
    n587 <= not (( not lo146 and not pi06 ));
    n588 <= ( n585 and n587 );
    n589 <= not (( not lo045 and lo146 ));
    po67 <= ( n589 );
    n591 <= not (( not lo146 and not pi07 ));
    n592 <= ( n589 and n591 );
    n593 <= not (( not lo047 and lo146 ));
    po68 <= ( n593 );
    n595 <= not (( not lo146 and not pi08 ));
    n596 <= ( n593 and n595 );
    n597 <= not (( not lo049 and lo146 ));
    po69 <= ( n597 );
    n599 <= not (( not lo146 and not pi09 ));
    n600 <= ( n597 and n599 );
    n601 <= not (( not lo051 and lo146 ));
    po70 <= ( n601 );
    n603 <= not (( not lo146 and not pi10 ));
    n604 <= ( n601 and n603 );
    n605 <= not (( not lo053 and lo146 ));
    po71 <= ( n605 );
    n607 <= not (( not lo146 and not pi11 ));
    n608 <= ( n605 and n607 );
    n609 <= not (( not lo055 and lo146 ));
    po72 <= ( n609 );
    n611 <= not (( not lo146 and not pi12 ));
    n612 <= ( n609 and n611 );
    n613 <= not (( not lo057 and lo146 ));
    po73 <= ( n613 );
    n615 <= not (( not lo146 and not pi13 ));
    n616 <= ( n613 and n615 );
    n617 <= not (( not lo059 and lo146 ));
    po74 <= ( n617 );
    n619 <= not (( not lo146 and not pi14 ));
    n620 <= ( n617 and n619 );
    n621 <= not (( not lo061 and lo146 ));
    po75 <= ( n621 );
    n623 <= not (( not lo146 and not pi15 ));
    n624 <= ( n621 and n623 );
    li007 <= ( not n732 and lo007 )
      or ( n732 and n734 );
    li008 <= ( not n763 and not n982 )
      or ( n763 and lo008 );
    li009 <= ( not n763 and not n764 )
      or ( n763 and lo009 );
    po07 <= ( lo006 and not lo007 and not lo008 )
      or ( lo006 and lo007 and not lo009 );
    li010 <= ( not n763 and not n765 )
      or ( n763 and lo010 );
    li011 <= ( not n763 and not n767 )
      or ( n763 and lo011 );
    po08 <= ( lo006 and not lo007 and not lo010 )
      or ( lo006 and lo007 and not lo011 );
    li012 <= ( not n763 and not n768 )
      or ( n763 and lo012 );
    li013 <= ( not n763 and not n769 )
      or ( n763 and lo013 );
    po09 <= ( lo006 and not lo007 and not lo012 )
      or ( lo006 and lo007 and not lo013 );
    li014 <= ( not n763 and not n986 )
      or ( n763 and lo014 );
    li015 <= ( not n763 and not n770 )
      or ( n763 and lo015 );
    po10 <= ( lo006 and not lo007 and not lo014 )
      or ( lo006 and lo007 and not lo015 );
    li016 <= ( not n763 and not n771 )
      or ( n763 and lo016 );
    li017 <= ( not n763 and not n772 )
      or ( n763 and lo017 );
    po11 <= ( lo006 and not lo007 and not lo016 )
      or ( lo006 and lo007 and not lo017 );
    li018 <= ( not n763 and not n773 )
      or ( n763 and lo018 );
    li019 <= ( not n763 and not n989 )
      or ( n763 and lo019 );
    n644 <= ( not lo007 and not lo018 )
      or ( lo007 and not lo019 );
    po12 <= ( n644 and lo006 )
      or ( not lo006 and lo020 and not lo007 );
    li021 <= ( not n763 and not n990 )
      or ( n763 and lo021 );
    li022 <= ( not n763 and not n775 )
      or ( n763 and lo022 );
    po13 <= ( lo006 and not lo007 and not lo021 )
      or ( lo006 and lo007 and not lo022 );
    li023 <= ( not n763 and not n776 )
      or ( n763 and lo023 );
    li024 <= ( not n763 and not n777 )
      or ( n763 and lo024 );
    po14 <= ( lo006 and not lo007 and not lo023 )
      or ( lo006 and lo007 and not lo024 );
    li025 <= ( not n763 and not n778 )
      or ( n763 and lo025 );
    po15 <= ( lo006 and not lo007 and not lo025 );
    li026 <= ( not n763 and not n993 )
      or ( n763 and lo026 );
    po16 <= ( lo006 and not lo007 and not lo026 );
    li027 <= ( not n763 and not n779 )
      or ( n763 and lo027 );
    li028 <= ( not n783 and not n780 )
      or ( n783 and lo028 );
    li029 <= ( not n783 and not n784 )
      or ( n783 and lo029 );
    po17 <= ( not lo027 and lo028 and lo029 )
      or ( not lo028 and not lo029 );
    li030 <= ( not n763 and not n785 )
      or ( n763 and lo030 );
    po18 <= ( lo006 and not lo030 );
    li031 <= ( not lo103 and lo031 )
      or ( lo103 and n566 );
    po39 <= ( lo031 and not lo032 )
      or ( lo031 and not lo033 );
    li034 <= ( not lo103 and lo034 )
      or ( lo103 and n568 );
    po40 <= ( lo034 and not lo032 )
      or ( lo034 and not lo033 );
    li035 <= ( not n763 and n792 )
      or ( n763 and lo035 );
    li036 <= ( not lo103 and lo036 )
      or ( lo103 and n572 );
    po41 <= ( lo035 and lo032 and lo033 )
      or ( lo036 and not lo032 )
      or ( lo036 and not lo033 );
    li037 <= ( not n763 and n794 )
      or ( n763 and lo037 );
    li038 <= ( not lo103 and lo038 )
      or ( lo103 and n576 );
    po42 <= ( lo037 and lo032 and lo033 )
      or ( lo038 and not lo032 )
      or ( lo038 and not lo033 );
    li039 <= ( not n763 and n795 )
      or ( n763 and lo039 );
    li040 <= ( not lo103 and lo040 )
      or ( lo103 and n580 );
    po43 <= ( lo039 and lo032 and lo033 )
      or ( lo040 and not lo032 )
      or ( lo040 and not lo033 );
    li041 <= ( not n763 and n796 )
      or ( n763 and lo041 );
    li042 <= ( not lo103 and lo042 )
      or ( lo103 and n584 );
    po44 <= ( lo041 and lo032 and lo033 )
      or ( lo042 and not lo032 )
      or ( lo042 and not lo033 );
    li043 <= ( not n763 and n797 )
      or ( n763 and lo043 );
    li044 <= ( not lo103 and lo044 )
      or ( lo103 and n588 );
    po45 <= ( lo043 and lo032 and lo033 )
      or ( lo044 and not lo032 )
      or ( lo044 and not lo033 );
    li045 <= ( not n763 and n998 )
      or ( n763 and lo045 );
    li046 <= ( not lo103 and lo046 )
      or ( lo103 and n592 );
    po46 <= ( lo045 and lo032 and lo033 )
      or ( lo046 and not lo032 )
      or ( lo046 and not lo033 );
    li047 <= ( not n763 and n798 )
      or ( n763 and lo047 );
    li048 <= ( not lo103 and lo048 )
      or ( lo103 and n596 );
    po47 <= ( lo047 and lo032 and lo033 )
      or ( lo048 and not lo032 )
      or ( lo048 and not lo033 );
    li049 <= ( not n763 and n799 )
      or ( n763 and lo049 );
    li050 <= ( not lo103 and lo050 )
      or ( lo103 and n600 );
    po48 <= ( lo049 and lo032 and lo033 )
      or ( lo050 and not lo032 )
      or ( lo050 and not lo033 );
    li051 <= ( not n763 and n1001 )
      or ( n763 and lo051 );
    li052 <= ( not lo103 and lo052 )
      or ( lo103 and n604 );
    po49 <= ( lo051 and lo032 and lo033 )
      or ( lo052 and not lo032 )
      or ( lo052 and not lo033 );
    li053 <= ( not n763 and n800 )
      or ( n763 and lo053 );
    li054 <= ( not lo103 and lo054 )
      or ( lo103 and n608 );
    po50 <= ( lo053 and lo032 and lo033 )
      or ( lo054 and not lo032 )
      or ( lo054 and not lo033 );
    li055 <= ( not n763 and n801 )
      or ( n763 and lo055 );
    li056 <= ( not lo103 and lo056 )
      or ( lo103 and n612 );
    po51 <= ( lo055 and lo032 and lo033 )
      or ( lo056 and not lo032 )
      or ( lo056 and not lo033 );
    li057 <= ( not n763 and n1004 )
      or ( n763 and lo057 );
    li058 <= ( not lo103 and lo058 )
      or ( lo103 and n616 );
    po52 <= ( lo057 and lo032 and lo033 )
      or ( lo058 and not lo032 )
      or ( lo058 and not lo033 );
    li059 <= ( not n763 and n802 )
      or ( n763 and lo059 );
    li060 <= ( not lo103 and lo060 )
      or ( lo103 and n620 );
    po53 <= ( lo059 and lo032 and lo033 )
      or ( lo060 and not lo032 )
      or ( lo060 and not lo033 );
    li061 <= ( not n763 and n803 )
      or ( n763 and lo061 );
    li062 <= ( not lo103 and lo062 )
      or ( lo103 and n624 );
    po54 <= ( lo061 and lo032 and lo033 )
      or ( lo062 and not lo032 )
      or ( lo062 and not lo033 );
    n708 <= ( lo033 and not lo064 )
      or ( lo063 and not lo064 );
    n709 <= ( not lo066 and not lo067 );
    n710 <= not (( not n708 and not lo032 and n709 )
      or ( not n708 and not lo065 and n709 ));
    li070 <= ( not lo070 );
    n712 <= not (( not lo069 and not lo070 and not lo071 and not lo072 ));
    n713 <= ( not lo073 and lo074 and not lo076 )
      or ( not lo073 and lo075 )
      or ( not lo074 and not lo075 and lo076 )
      or ( lo074 and lo075 );
    n714 <= ( not lo073 and lo075 )
      or ( lo073 and not lo074 and not lo075 and lo076 )
      or ( lo073 and lo074 and not lo075 and not lo076 )
      or ( lo074 and lo075 and lo076 );
    li001 <= ( n712 and lo001 and n714 )
      or ( lo001 and n713 )
      or ( n713 and not n714 );
    n716 <= ( not lo075 and lo076 and lo073 )
      or ( lo075 and lo074 and lo073 )
      or ( not lo074 and lo076 and not lo073 )
      or ( lo074 and not lo076 and not lo073 );
    n717 <= ( not lo075 and not lo074 and lo076 and lo073 )
      or ( not lo075 and lo074 and not lo076 and lo073 )
      or ( lo075 and lo074 and lo076 and lo073 );
    li002 <= ( lo002 and n712 and n717 )
      or ( lo002 and n716 )
      or ( n716 and not n717 );
    n719 <= ( lo073 and not lo076 and not lo075 );
    n720 <= ( lo076 and lo073 and not lo074 and not lo075 )
      or ( lo074 and lo075 );
    n721 <= ( n719 and not n720 and not n712 )
      or ( n719 and not lo003 )
      or ( n720 and not lo003 );
    n722 <= ( not lo076 and not lo074 )
      or ( lo076 and not lo073 and not lo075 and lo074 )
      or ( lo073 and lo075 and not lo074 );
    li003 <= ( not n721 and not n722 )
      or ( not n721 and n720 );
    n724 <= ( not lo073 and not lo074 and lo075 )
      or ( lo073 and not lo074 and lo076 and not lo075 )
      or ( lo073 and lo074 and not lo076 and not lo075 )
      or ( lo073 and lo074 and lo076 and lo075 )
      or ( not lo074 and not lo076 and lo075 );
    n725 <= not (( not lo073 and lo074 and lo076 )
      or ( lo073 and not lo074 and lo076 and lo075 )
      or ( not lo076 and not lo075 ));
    li004 <= ( lo004 and n712 and n724 )
      or ( lo004 and n725 )
      or ( not n724 and n725 );
    n727 <= ( lo073 )
      or ( lo075 and lo020 );
    n728 <= ( lo074 and not lo005 )
      or ( lo074 and n727 );
    li005 <= ( not lo076 and lo075 and n728 )
      or ( lo076 and lo005 and not n728 )
      or ( not lo075 and lo005 and n728 )
      or ( lo075 and lo005 and not n728 );
    n730 <= ( not lo073 and not lo074 and not lo075 );
    n731 <= not (( not lo076 and lo073 and lo075 )
      or ( lo076 and not lo073 and lo075 )
      or ( lo076 and lo073 and not lo075 ));
    n732 <= ( n731 and not lo074 )
      or ( n719 and not n712 );
    li006 <= ( not n730 and lo006 )
      or ( not n730 and n732 );
    n734 <= ( not lo076 and lo075 and not lo074 );
    li077 <= ( not n884 and n883 )
      or ( n884 and lo077 );
    li078 <= ( not n884 and n885 )
      or ( n884 and lo078 );
    li079 <= ( not n884 and n886 )
      or ( n884 and lo079 );
    li080 <= ( not n884 and n1010 )
      or ( n884 and lo080 );
    li081 <= ( not n884 and n887 )
      or ( n884 and lo081 );
    n740 <= not (( not lo078 and not lo079 and not lo080 and not lo081 ));
    li082 <= ( not n884 and n888 )
      or ( n884 and lo082 );
    li083 <= ( not n884 and n1011 )
      or ( n884 and lo083 );
    li084 <= ( not n884 and n889 )
      or ( n884 and lo084 );
    li085 <= ( not n884 and n1012 )
      or ( n884 and lo085 );
    n745 <= ( lo082 and lo083 and lo084 and not lo085 );
    li086 <= ( not n884 and n890 )
      or ( n884 and lo086 );
    li087 <= ( not n884 and n891 )
      or ( n884 and lo087 );
    li088 <= ( not n884 and n1015 )
      or ( n884 and lo088 );
    li089 <= ( not n884 and n892 )
      or ( n884 and lo089 );
    n750 <= ( not lo086 and not lo087 and not lo088 and not lo089 );
    li090 <= ( not n884 and n893 )
      or ( n884 and lo090 );
    li091 <= ( not n884 and n1018 )
      or ( n884 and lo091 );
    li092 <= ( not n884 and n894 )
      or ( n884 and lo092 );
    li093 <= ( not n884 and n895 )
      or ( n884 and lo093 );
    n755 <= ( not lo090 and not lo091 and not lo092 and not lo093 );
    li094 <= ( not n884 and n1021 )
      or ( n884 and lo094 );
    li095 <= ( not n884 and n896 )
      or ( n884 and lo095 );
    li096 <= ( not n884 and n897 )
      or ( n884 and lo096 );
    li097 <= ( not n884 and n898 )
      or ( n884 and lo097 );
    n760 <= ( not lo094 and not lo095 and not lo096 and not lo097 );
    n761 <= ( n745 and n750 and n755 and n760 );
    n762 <= not (( not lo077 and not n740 and n761 ));
    n763 <= not (( not lo098 and not lo099 and lo100 and lo101 )
      or ( not lo098 and lo099 and not lo100 and not lo101 ));
    n764 <= ( lo009 )
      or ( n761 and not lo077 and not n740 );
    n765 <= not (( not lo010 and not n983 and n762 )
      or ( lo010 and n983 and n762 ));
    n766 <= ( not lo011 and not lo009 )
      or ( lo011 and lo009 );
    n767 <= ( n766 )
      or ( n761 and not lo077 and not n740 );
    n768 <= not (( not lo012 and not n984 and n762 )
      or ( lo012 and n984 and n762 ));
    n769 <= ( n985 )
      or ( n761 and not lo077 and not n740 );
    n770 <= not (( not lo015 and not n978 and n762 )
      or ( lo015 and n978 and n762 ));
    n771 <= not (( not lo016 and not n987 and n762 )
      or ( lo016 and n987 and n762 ));
    n772 <= not (( not lo017 and not n979 and n762 )
      or ( lo017 and n979 and n762 ));
    n773 <= not (( not lo018 and not n988 and n762 )
      or ( lo018 and n988 and n762 ));
    li020 <= not (( not lo020 and lo102 ));
    n775 <= not (( not lo022 and not n980 and n762 )
      or ( lo022 and n980 and n762 ));
    n776 <= not (( not lo023 and not n991 and n762 )
      or ( lo023 and n991 and n762 ));
    n777 <= not (( not lo024 and not n981 and n762 )
      or ( lo024 and n981 and n762 ));
    n778 <= not (( not lo025 and not n992 and n762 )
      or ( lo025 and n992 and n762 ));
    n779 <= not (( not lo027 and not n994 and n762 )
      or ( lo027 and n994 and n762 ));
    n780 <= ( not lo076 and lo074 and not lo073 )
      or ( lo076 and not lo074 and not lo073 );
    n781 <= ( n712 and not lo076 );
    n782 <= ( not lo076 and not lo073 )
      or ( lo076 and lo073 );
    n783 <= ( not lo075 and not lo074 and n782 )
      or ( lo075 and lo074 )
      or ( lo075 and not n782 )
      or ( lo074 and n781 and not n782 );
    n784 <= ( lo074 and lo076 and lo073 )
      or ( not lo076 and not lo073 );
    n785 <= not (( not lo027 and lo030 and n762 )
      or ( lo027 and not n994 and not lo030 and n762 )
      or ( n994 and lo030 and n762 ));
    n786 <= ( not lo101 and not lo098 and lo099 and not lo100 )
      or ( lo101 and not lo098 and not lo099 and lo100 );
    n787 <= not (( not lo101 and lo099 and not lo100 )
      or ( lo101 and not lo098 and not lo099 ));
    li032 <= ( not n786 and not n787 )
      or ( n787 and lo032 )
      or ( n762 and lo032 );
    n789 <= ( lo099 and not lo100 and not lo101 );
    n790 <= not (( not lo101 and not lo098 and lo099 and not lo100 )
      or ( not lo101 and lo098 and not lo099 and not lo100 ));
    li033 <= not (( n789 and not n790 and not lo098 )
      or ( n790 and not lo033 ));
    n792 <= not (( not lo077 and not n740 and n761 )
      or ( lo035 ));
    n793 <= ( not lo037 and lo035 )
      or ( lo037 and not lo035 );
    n794 <= not (( not n793 )
      or ( not lo077 and not n740 and n761 ));
    n795 <= not (( not n995 )
      or ( not lo077 and not n740 and n761 ));
    n796 <= ( not lo041 and not n996 and n762 )
      or ( lo041 and n996 and n762 );
    n797 <= ( not lo043 and n997 and n762 )
      or ( lo043 and not n997 and n762 );
    n798 <= ( not lo047 and n999 and n762 )
      or ( lo047 and not n999 and n762 );
    n799 <= ( not lo049 and not n1000 and n762 )
      or ( lo049 and n1000 and n762 );
    n800 <= ( not lo053 and n1002 and n762 )
      or ( lo053 and not n1002 and n762 );
    n801 <= ( not lo055 and not n1003 and n762 )
      or ( lo055 and n1003 and n762 );
    n802 <= ( not lo059 and n1005 and n762 )
      or ( lo059 and not n1005 and n762 );
    n803 <= ( not lo059 and lo061 and n762 )
      or ( lo059 and n1005 and not lo061 and n762 )
      or ( not n1005 and lo061 and n762 );
    n804 <= ( lo101 and not lo099 and not lo098 )
      or ( lo101 and lo099 and lo098 );
    li063 <= ( not lo100 and lo063 )
      or ( not lo100 and lo099 and n804 )
      or ( lo063 and lo099 )
      or ( lo063 and not n804 );
    n806 <= not (( not lo105 and lo106 ));
    n807 <= not (( not lo033 and lo104 )
      or ( not lo063 and lo105 ));
    li064 <= ( not lo104 and not n806 and n807 )
      or ( lo064 and n807 );
    n809 <= ( not lo073 and not lo075 and lo076 )
      or ( lo073 and lo075 );
    li107 <= ( not n923 and lo107 )
      or ( n923 and n922 );
    li108 <= ( not n923 and lo108 )
      or ( n923 and n1024 );
    n812 <= ( not lo102 and lo107 and lo108 and not lo109 )
      or ( lo102 and not lo107 and not lo108 and lo109 );
    li110 <= ( not n923 and lo110 )
      or ( n923 and n1025 );
    li111 <= ( not n923 and lo111 )
      or ( n923 and n926 );
    li112 <= ( not n923 and lo112 )
      or ( n923 and n1027 );
    li113 <= ( not n923 and lo113 )
      or ( n923 and n1028 );
    n817 <= ( not lo110 and not lo111 and not lo112 and not lo113 );
    li114 <= ( not n923 and lo114 )
      or ( n923 and n927 );
    li115 <= ( not n923 and lo115 )
      or ( n923 and n1030 );
    li116 <= ( not n923 and lo116 )
      or ( n923 and n1031 );
    li117 <= ( not n923 and lo117 )
      or ( n923 and n928 );
    n822 <= ( not lo114 and not lo115 and not lo116 and not lo117 );
    li118 <= ( not n923 and lo118 )
      or ( n923 and n1033 );
    li119 <= ( not n923 and lo119 )
      or ( n923 and n1034 );
    n825 <= ( not lo118 and not lo119 );
    n826 <= ( n812 and n817 and n822 and n825 );
    li123 <= ( not lo123 );
    n828 <= ( lo120 and lo121 and not lo122 and not lo123 );
    n829 <= ( n826 and n828 and not lo073 );
    n830 <= ( lo074 and lo065 and not n829 )
      or ( lo065 and not n809 );
    n831 <= ( n826 and not lo102 );
    n832 <= ( lo073 and lo075 and not lo074 );
    n833 <= ( lo102 and not lo124 and not lo065 );
    n834 <= ( not lo076 and not n831 and n832 )
      or ( lo076 and n832 and not n833 );
    li065 <= ( not lo073 and not lo075 and n834 )
      or ( lo073 and lo075 and n834 )
      or ( n830 );
    n836 <= not (( not lo066 )
      or ( lo125 and lo126 and lo127 ));
    li066 <= ( n836 )
      or ( lo032 and lo063 and not lo125 );
    n838 <= not (( not lo067 )
      or ( lo125 and lo128 and lo129 ));
    n839 <= ( lo032 and lo033 );
    li067 <= ( n838 )
      or ( n839 and not lo063 and not lo125 );
    n841 <= ( not lo040 and not lo052 and not lo051 and not lo039 )
      or ( not lo040 and lo052 and lo051 and not lo039 )
      or ( lo040 and not lo052 and not lo051 and lo039 )
      or ( lo040 and lo052 and lo051 and lo039 );
    n842 <= ( not lo058 and not lo062 and not lo061 and not lo057 )
      or ( not lo058 and lo062 and lo061 and not lo057 )
      or ( lo058 and not lo062 and not lo061 and lo057 )
      or ( lo058 and lo062 and lo061 and lo057 );
    n843 <= ( not lo056 and lo055 )
      or ( lo056 and not lo055 );
    n844 <= ( n842 and not lo060 and not lo059 and not n843 )
      or ( n842 and lo060 and lo059 and not n843 );
    n845 <= ( not lo042 and not lo046 and not lo045 and not lo041 )
      or ( not lo042 and lo046 and lo045 and not lo041 )
      or ( lo042 and not lo046 and not lo045 and lo041 )
      or ( lo042 and lo046 and lo045 and lo041 );
    n846 <= ( not lo036 and not lo054 and not lo053 and not lo035 )
      or ( not lo036 and lo054 and lo053 and not lo035 )
      or ( lo036 and not lo054 and not lo053 and lo035 )
      or ( lo036 and lo054 and lo053 and lo035 );
    n847 <= ( not lo038 and not lo050 and not lo049 and not lo037 )
      or ( not lo038 and lo050 and lo049 and not lo037 )
      or ( lo038 and not lo050 and not lo049 and lo037 )
      or ( lo038 and lo050 and lo049 and lo037 );
    n848 <= ( not lo044 and not lo048 and not lo047 and not lo043 )
      or ( not lo044 and lo048 and lo047 and not lo043 )
      or ( lo044 and not lo048 and not lo047 and lo043 )
      or ( lo044 and lo048 and lo047 and lo043 );
    n849 <= ( n847 and n848 and not lo031 and not lo034 );
    n850 <= ( n844 and n845 and n846 and n849 );
    n851 <= ( not lo099 and not lo101 );
    n852 <= ( lo100 and n851 and not n710 and not lo098 );
    li068 <= not (( n841 and n850 and n852 )
      or ( not n852 and not lo068 ));
    li069 <= ( not lo069 and lo070 and lo071 and lo072 )
      or ( lo069 and not lo070 )
      or ( lo069 and not lo071 )
      or ( lo069 and not lo072 );
    li071 <= ( not lo070 and lo071 )
      or ( lo070 and not lo071 );
    li072 <= ( not lo072 and lo070 and lo071 )
      or ( lo072 and not lo070 )
      or ( lo072 and not lo071 );
    n857 <= ( not lo076 and not lo073 );
    n858 <= ( lo102 and lo066 and not lo124 )
      or ( lo102 and lo067 and not lo124 );
    n859 <= ( lo076 and n858 )
      or ( lo076 and not lo073 )
      or ( not lo067 and not lo073 );
    n860 <= ( lo073 and not lo076 );
    n861 <= ( n859 )
      or ( n826 and n860 and not lo102 );
    n862 <= ( not lo074 and lo075 and n861 )
      or ( lo074 and not lo075 )
      or ( n782 and not lo075 );
    n863 <= ( lo076 and lo073 )
      or ( lo076 and not n828 )
      or ( lo073 and not n712 );
    n864 <= not (( not lo066 and not lo067 and lo102 ));
    n865 <= ( n863 )
      or ( lo076 and n826 and n864 );
    li073 <= ( not n857 and not n862 )
      or ( not lo074 and not n862 )
      or ( lo074 and n862 and not n865 );
    n867 <= ( n832 and lo102 and not lo076 )
      or ( n832 and not n826 and not lo076 );
    n868 <= not (( not lo075 and lo074 )
      or ( lo075 and not lo124 and lo102 ));
    n869 <= ( n868 and lo076 and lo073 )
      or ( not lo076 and not lo073 and not lo074 );
    n870 <= ( n826 and n828 );
    n871 <= not (( not lo076 and not lo073 and not lo075 )
      or ( not lo076 and lo073 and lo075 )
      or ( n870 and not lo073 and not lo075 ));
    li074 <= not (( not n867 and not n869 and not lo074 )
      or ( not n867 and not n869 and not n871 ));
    n873 <= not (( not lo074 and not lo124 and lo075 and lo102 ));
    n874 <= ( lo073 and n873 )
      or ( lo073 and not lo076 )
      or ( n730 and not lo076 );
    n875 <= not (( not lo020 and lo075 )
      or ( not lo075 and lo102 and n870 ));
    li075 <= not (( n874 )
      or ( lo076 and lo074 and n875 ));
    n877 <= ( not lo020 and not lo073 )
      or ( not lo076 and not lo073 );
    n878 <= ( not lo076 and lo073 and not lo074 )
      or ( lo076 and not lo073 and not lo075 )
      or ( lo073 and lo075 and not lo074 )
      or ( not lo075 and lo074 );
    li076 <= ( n877 and lo074 and not n878 )
      or ( not lo074 and n878 )
      or ( n878 and not n860 );
    n880 <= not (( lo078 and lo079 and lo080 and lo081 ));
    n881 <= not (( not n880 and n761 and lo077 ));
    n882 <= ( n762 and not lo101 )
      or ( n762 and lo100 )
      or ( n881 and lo101 and not lo100 );
    n883 <= ( not lo077 and n1009 and n882 )
      or ( lo077 and not n1009 and n882 );
    n884 <= not (( not lo098 and not lo100 and lo099 )
      or ( not lo098 and lo100 and not lo099 and lo101 ));
    n885 <= ( not lo078 and lo082 and n882 )
      or ( lo078 and not lo082 and n882 );
    n886 <= ( not lo079 and n1006 and n882 )
      or ( lo079 and not n1006 and n882 );
    n887 <= ( not lo081 and n1008 and n882 )
      or ( lo081 and not n1008 and n882 );
    n888 <= ( n882 and not lo082 );
    n889 <= ( not lo084 and n1007 and n882 )
      or ( lo084 and not n1007 and n882 );
    n890 <= ( not lo086 and n1013 and n882 )
      or ( lo086 and not n1013 and n882 );
    n891 <= ( not lo087 and n1014 and n882 )
      or ( lo087 and not n1014 and n882 );
    n892 <= ( not lo089 and n1016 and n882 )
      or ( lo089 and not n1016 and n882 );
    n893 <= ( not lo090 and n1017 and n882 )
      or ( lo090 and not n1017 and n882 );
    n894 <= ( not lo092 and n1019 and n882 )
      or ( lo092 and not n1019 and n882 );
    n895 <= ( not lo093 and n1020 and n882 )
      or ( lo093 and not n1020 and n882 );
    n896 <= ( not lo095 and n1022 and n882 )
      or ( lo095 and not n1022 and n882 );
    n897 <= ( not lo096 and n1023 and n882 )
      or ( lo096 and not n1023 and n882 );
    n898 <= ( not lo096 and lo097 and n882 )
      or ( lo096 and n1023 and not lo097 and n882 )
      or ( not n1023 and lo097 and n882 );
    n899 <= ( n762 and not lo099 )
      or ( not n881 and not lo100 )
      or ( not lo100 and not lo099 );
    n900 <= ( lo101 and n899 and not lo098 );
    n901 <= ( n710 and not lo099 );
    n902 <= not (( not lo098 )
      or ( not lo100 and not n901 and lo101 ));
    li098 <= not (( not n900 and not n902 and not n762 )
      or ( not n900 and not n902 and not n789 ));
    n904 <= ( not lo099 and not n710 and lo101 )
      or ( lo099 and not lo101 );
    n905 <= ( lo099 and lo101 )
      or ( lo099 and not n762 );
    n906 <= ( not lo098 and not lo100 and n905 )
      or ( lo098 and lo100 )
      or ( not n851 and lo100 );
    li099 <= ( n904 and lo098 and not n906 )
      or ( not lo098 and n906 )
      or ( n906 and lo099 );
    li100 <= ( not lo101 and lo100 )
      or ( lo101 and lo098 and lo099 )
      or ( lo098 and lo100 )
      or ( lo099 and lo100 );
    n909 <= ( lo101 )
      or ( not n710 and not lo099 );
    n910 <= ( lo076 and lo073 and lo075 and not lo074 );
    n911 <= ( n881 and lo099 and lo101 )
      or ( not lo099 and not lo101 and n910 );
    n912 <= ( n911 )
      or ( lo099 and not n762 and not lo101 );
    n913 <= ( not lo098 and not lo100 and n912 )
      or ( lo098 and lo100 )
      or ( n909 and lo100 );
    li101 <= not (( not n901 and lo101 and not n913 )
      or ( not lo101 and n913 and lo098 )
      or ( not n913 and not lo098 ));
    li102 <= ( not n730 and lo102 )
      or ( n730 and lo076 );
    n916 <= not (( not lo076 and not lo073 and not lo075 )
      or ( not lo076 and lo074 and not lo075 ));
    li103 <= ( lo103 and n916 )
      or ( lo074 and n719 and not n916 );
    li104 <= ( lo033 and lo104 )
      or ( lo128 and lo129 );
    li105 <= ( lo063 and lo105 )
      or ( lo126 and lo127 );
    n920 <= ( lo032 and lo033 )
      or ( lo032 and lo063 );
    li106 <= ( n709 and lo106 )
      or ( n920 and not lo125 );
    n922 <= ( not lo109 and lo107 )
      or ( lo109 and not lo107 );
    n923 <= ( lo076 and lo073 and lo074 and not lo075 );
    n924 <= ( lo076 and lo074 and not lo075 );
    li109 <= ( not lo109 and lo073 and n924 )
      or ( lo109 and not lo073 )
      or ( lo109 and not n924 );
    n926 <= ( not lo111 and n1026 )
      or ( lo111 and not n1026 );
    n927 <= ( not lo114 and n1029 )
      or ( lo114 and not n1029 );
    n928 <= ( not lo117 and n1032 )
      or ( lo117 and not n1032 );
    li120 <= ( not lo120 and lo121 and lo123 )
      or ( lo120 and not lo121 )
      or ( lo120 and not lo123 );
    li132 <= ( not n924 and lo132 )
      or ( n924 and n965 );
    li121 <= ( not lo121 and lo123 )
      or ( lo121 and not lo123 );
    li122 <= ( not lo122 and lo120 and lo121 and lo123 )
      or ( lo122 and not lo120 )
      or ( lo122 and not lo121 )
      or ( lo122 and not lo123 );
    li134 <= ( not lo124 and n1035 )
      or ( lo124 and lo134 );
    li135 <= ( not lo124 and n967 )
      or ( lo124 and lo135 );
    li136 <= ( not lo124 and n968 )
      or ( lo124 and lo136 );
    li137 <= ( not lo124 and n969 )
      or ( lo124 and lo137 );
    n937 <= not (( not lo134 and lo135 and lo136 and lo137 ));
    li138 <= ( not lo124 and n970 )
      or ( lo124 and lo138 );
    li139 <= ( not lo124 and n971 )
      or ( lo124 and lo139 );
    li140 <= ( not lo124 and n1039 )
      or ( lo124 and lo140 );
    li141 <= ( not lo124 and n972 )
      or ( lo124 and lo141 );
    n942 <= not (( not lo138 and lo139 and lo140 and lo141 ));
    li142 <= ( not lo124 and n1041 )
      or ( lo124 and lo142 );
    li143 <= ( not lo124 and n973 )
      or ( lo124 and lo143 );
    li144 <= ( not lo124 and n974 )
      or ( lo124 and lo144 );
    n946 <= not (( not lo143 and not lo144 ));
    n947 <= not (( not n937 and not n942 and not lo142 and not n946 ));
    li145 <= ( not n924 and lo145 )
      or ( n924 and n975 );
    li124 <= ( lo124 and lo133 and not lo145 )
      or ( not lo133 and not n947 );
    li125 <= ( lo125 and n807 )
      or ( n920 and n807 );
    n951 <= ( not lo076 and not lo075 );
    li126 <= ( lo073 and lo074 and n951 )
      or ( lo126 and not lo074 )
      or ( lo126 and not n951 );
    n953 <= ( lo106 and not lo067 );
    li127 <= ( lo066 and n953 )
      or ( lo127 and not lo126 );
    n955 <= ( lo074 and not lo076 );
    li128 <= ( lo128 and lo073 )
      or ( lo128 and lo075 )
      or ( lo128 and not n955 )
      or ( lo073 and lo075 and n955 );
    li129 <= ( lo067 and lo106 )
      or ( lo129 and not lo128 );
    n958 <= ( lo073 )
      or ( lo020 and not lo130 );
    n959 <= not (( not lo076 and not lo073 and not lo074 and not lo075 )
      or ( lo076 and not lo073 and lo074 and not lo075 )
      or ( lo073 and not lo074 and lo075 ));
    n960 <= ( lo076 and lo124 and not n959 )
      or ( lo076 and not lo102 and not n959 );
    n961 <= ( n832 and n960 )
      or ( n832 and lo131 and not n831 );
    n962 <= ( n857 and not lo074 and not lo075 and not n959 );
    n963 <= ( n959 )
      or ( n924 and not lo073 and not n870 );
    li131 <= not (( not n961 and not n962 and not lo131 )
      or ( not n961 and not n962 and not n963 ));
    n965 <= ( n924 and lo073 )
      or ( n924 and lo132 and not n828 );
    li133 <= ( not lo145 and lo133 )
      or ( not n947 and not lo133 );
    n967 <= ( n947 and not lo135 );
    n968 <= ( not lo136 and lo135 and n947 )
      or ( lo136 and not lo135 and n947 );
    n969 <= ( not lo137 and n1036 and n947 )
      or ( lo137 and not n1036 and n947 );
    n970 <= ( not lo138 and n1038 and n947 )
      or ( lo138 and not n1038 and n947 );
    n971 <= ( not lo139 and n1037 and n947 )
      or ( lo139 and not n1037 and n947 );
    n972 <= ( not lo141 and n1040 and n947 )
      or ( lo141 and not n1040 and n947 );
    n973 <= ( not lo143 and n1042 and n947 )
      or ( lo143 and not n1042 and n947 );
    n974 <= ( not lo143 and lo144 and n947 )
      or ( lo143 and n1042 and not lo144 and n947 )
      or ( not n1042 and lo144 and n947 );
    n975 <= ( n924 and lo073 )
      or ( n924 and n828 and lo145 );
    n976 <= ( not lo075 and lo073 and lo146 )
      or ( lo075 and not lo076 and not lo073 )
      or ( not lo076 and lo073 and lo146 )
      or ( lo076 and not lo073 and lo146 );
    li146 <= ( not lo074 and lo067 and n976 )
      or ( lo074 and lo146 )
      or ( lo146 and n976 );
    n978 <= not (( lo011 and lo009 and lo013 ));
    n979 <= not (( lo011 and lo009 and lo013 and lo015 ));
    n980 <= not (( lo017 and not n979 and lo019 ));
    n981 <= not (( lo017 and not n979 and lo019 and lo022 ));
    n982 <= not (( not lo024 and lo008 and n762 )
      or ( lo024 and not n981 and not lo008 and n762 )
      or ( n981 and lo008 and n762 ));
    n983 <= not (( lo024 and not n981 and lo008 ));
    n984 <= not (( lo024 and not n981 and lo008 and lo010 ));
    n985 <= ( not lo011 and not lo013 )
      or ( lo011 and lo009 and lo013 )
      or ( not lo009 and not lo013 );
    n986 <= not (( not lo012 and lo014 and n762 )
      or ( lo012 and not n984 and not lo014 and n762 )
      or ( n984 and lo014 and n762 ));
    n987 <= not (( lo012 and not n984 and lo014 ));
    n988 <= not (( lo012 and not n984 and lo014 and lo016 ));
    n989 <= not (( not lo017 and lo019 and n762 )
      or ( lo017 and not n979 and not lo019 and n762 )
      or ( n979 and lo019 and n762 ));
    n990 <= not (( not lo018 and lo021 and n762 )
      or ( lo018 and not n988 and not lo021 and n762 )
      or ( n988 and lo021 and n762 ));
    n991 <= not (( lo018 and not n988 and lo021 ));
    n992 <= not (( lo018 and not n988 and lo021 and lo023 ));
    n993 <= not (( not lo025 and lo026 and n762 )
      or ( lo025 and not n992 and not lo026 and n762 )
      or ( n992 and lo026 and n762 ));
    n994 <= not (( lo025 and not n992 and lo026 ));
    n995 <= ( not lo037 and not lo039 )
      or ( lo037 and lo035 and lo039 )
      or ( not lo035 and not lo039 );
    n996 <= ( lo037 and lo035 )
      or ( lo039 );
    n997 <= not (( not lo037 and not lo039 and not lo041 )
      or ( not lo035 and not lo039 and not lo041 ));
    n998 <= ( not lo043 and lo045 and n762 )
      or ( lo043 and n997 and not lo045 and n762 )
      or ( not n997 and lo045 and n762 );
    n999 <= ( lo043 and n997 and lo045 );
    n1000 <= ( lo043 and n997 and lo045 and lo047 );
    n1001 <= ( not lo049 and not n1000 and lo051 and n762 )
      or ( lo049 and not lo051 and n762 )
      or ( n1000 and not lo051 and n762 );
    n1002 <= ( lo049 and lo051 )
      or ( n1000 and lo051 );
    n1003 <= ( lo049 and lo051 and lo053 )
      or ( n1000 and lo051 and lo053 );
    n1004 <= ( not lo055 and not n1003 and lo057 and n762 )
      or ( lo055 and not lo057 and n762 )
      or ( n1003 and not lo057 and n762 );
    n1005 <= ( lo055 and lo057 )
      or ( n1003 and lo057 );
    n1006 <= ( lo078 and lo082 and lo083 );
    n1007 <= ( lo078 and lo082 and lo083 and lo079 );
    n1008 <= ( lo084 and n1007 and lo080 );
    n1009 <= ( lo084 and n1007 and lo080 and lo081 );
    n1010 <= ( not lo084 and lo080 and n882 )
      or ( lo084 and n1007 and not lo080 and n882 )
      or ( not n1007 and lo080 and n882 );
    n1011 <= ( not lo078 and lo083 and n882 )
      or ( lo078 and lo082 and not lo083 and n882 )
      or ( not lo082 and lo083 and n882 );
    n1012 <= ( not lo077 and lo085 and n882 )
      or ( lo077 and n1009 and not lo085 and n882 )
      or ( not n1009 and lo085 and n882 );
    n1013 <= ( lo077 and n1009 and lo085 );
    n1014 <= ( lo077 and n1009 and lo085 and lo086 );
    n1015 <= ( not lo087 and lo088 and n882 )
      or ( lo087 and n1014 and not lo088 and n882 )
      or ( not n1014 and lo088 and n882 );
    n1016 <= ( lo087 and n1014 and lo088 );
    n1017 <= ( lo087 and n1014 and lo088 and lo089 );
    n1018 <= ( not lo090 and lo091 and n882 )
      or ( lo090 and n1017 and not lo091 and n882 )
      or ( not n1017 and lo091 and n882 );
    n1019 <= ( lo090 and n1017 and lo091 );
    n1020 <= ( lo090 and n1017 and lo091 and lo092 );
    n1021 <= ( not lo093 and lo094 and n882 )
      or ( lo093 and n1020 and not lo094 and n882 )
      or ( not n1020 and lo094 and n882 );
    n1022 <= ( lo093 and n1020 and lo094 );
    n1023 <= ( lo093 and n1020 and lo094 and lo095 );
    n1024 <= ( not lo109 and lo108 )
      or ( lo109 and lo107 and lo110 and not lo108 )
      or ( not lo107 and lo108 )
      or ( not lo110 and lo108 );
    n1025 <= ( not lo109 and lo110 )
      or ( lo109 and lo107 and not lo110 )
      or ( not lo107 and lo110 );
    n1026 <= ( lo109 and lo107 and lo110 and lo108 );
    n1027 <= ( not lo111 and lo112 )
      or ( lo111 and n1026 and not lo112 )
      or ( not n1026 and lo112 );
    n1028 <= ( not lo111 and lo113 )
      or ( lo111 and n1026 and lo112 and not lo113 )
      or ( not n1026 and lo113 )
      or ( not lo112 and lo113 );
    n1029 <= ( lo111 and n1026 and lo112 and lo113 );
    n1030 <= ( not lo114 and lo115 )
      or ( lo114 and n1029 and not lo115 )
      or ( not n1029 and lo115 );
    n1031 <= ( not lo114 and lo116 )
      or ( lo114 and n1029 and lo115 and not lo116 )
      or ( not n1029 and lo116 )
      or ( not lo115 and lo116 );
    n1032 <= ( lo114 and n1029 and lo115 and lo116 );
    n1033 <= ( not lo117 and lo118 )
      or ( lo117 and n1032 and not lo118 )
      or ( not n1032 and lo118 );
    n1034 <= ( not lo117 and lo119 )
      or ( lo117 and n1032 and lo118 and not lo119 )
      or ( not n1032 and lo119 )
      or ( not lo118 and lo119 );
    n1035 <= ( not lo136 and lo134 and n947 )
      or ( lo136 and lo135 and not lo134 and n947 )
      or ( not lo135 and lo134 and n947 );
    n1036 <= ( lo136 and lo135 and lo134 );
    n1037 <= ( lo136 and lo135 and lo134 and lo137 );
    n1038 <= ( lo139 and n1037 and lo140 );
    n1039 <= ( not lo139 and lo140 and n947 )
      or ( lo139 and n1037 and not lo140 and n947 )
      or ( not n1037 and lo140 and n947 );
    n1040 <= ( lo139 and n1037 and lo140 and lo138 );
    n1041 <= ( not lo141 and lo142 and n947 )
      or ( lo141 and n1040 and not lo142 and n947 )
      or ( not n1040 and lo142 and n947 );
    n1042 <= ( lo141 and n1040 and lo142 );
    n1043 <= ( not lo075 and not n958 and lo074 )
      or ( not lo075 and n958 and not lo074 )
      or ( lo075 and n958 and lo074 )
      or ( n958 and lo074 and n712 );
    li130 <= ( lo075 and n1043 and lo076 )
      or ( lo075 and lo130 )
      or ( n1043 and lo130 )
      or ( lo076 and lo130 );
end QUIP__os_sdram16__part0_behav;
