--- 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__nut_004 is 
  Port (
    pi00,pi01,pi02,pi03,pi04,pi05,pi06,pi07,pi08,pi09,pi10,pi11,pi12,pi13,pi14,pi15,pi16,pi17,pi18, CLK: in std_logic;
    po00,po01,po02,po03,po04,po05,po06,po07,po08,po09,po10,po11,po12,po13,po14,po15,po16,po17: inout std_logic
  );
end QUIP__nut_004;

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

signal lo000,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,lo147,lo148,lo149,lo150,lo151,lo152,lo153,lo154,lo155,lo156,lo157,lo158,lo159,lo160,lo161,lo162,lo163,lo164,lo165,lo166,lo167,lo168,lo169,lo170,lo171,lo172,lo173,lo174,lo175,lo176,lo177,lo178,lo179,lo180,lo181,lo182,lo183,li103,li006,li009,li002,li011,n610,li007,n612,li019,n614,n615,li023,n617,li025,li026,li013,li014,li015,n623,li017,n625,n626,li018,n628,li036,li021,li038,li022,n633,li024,n635,li046,li027,li028,n639,li029,li030,li033,li035,li055,n645,li037,li061,li039,li042,li068,li043,li044,n653,li071,li045,li073,n657,li049,n659,n660,n661,li053,li077,n664,n665,n666,n667,li056,n669,n670,li057,li058,li062,li082,li065,n676,n677,n678,n679,n680,n681,n682,n683,n684,n685,n686,n687,n688,n689,n690,n691,n692,n693,n694,li087,li069,li070,li072,li090,li075,n701,li076,n703,n704,li078,li100,li081,n708,n709,n710,n711,n712,n713,n714,n715,n716,n717,li105,n719,li083,li084,li086,li107,li088,n725,li093,n727,n728,n729,li096,li098,li101,li102,n734,n735,n736,n737,li122,li123,li106,n741,n742,li113,li116,li117,li118,li137,li119,li138,li121,li124,li125,li136,li140,li001,n756,n757,li031,li047,li050,li051,li060,n763,n764,li085,li097,n767,li066,li000,li003,li004,li005,li008,li010,li012,li016,li020,li032,li034,li040,li041,li048,li052,li054,li059,li063,li064,li067,li074,li079,li080,li089,li091,li092,li094,li095,li099,li104,li108,li109,li110,li111,li112,li114,li115,li120,li126,li127,li128,li129,li130,li131,li132,li133,li134,li135,li139,li141,li142,li143,li144,li145,li146,li147,li148,li149,li150,li151,li152,li153,li154,li155,li156,li157,li158,li159,li160,li161,li162,li163,li164,li165,li166,li167,li168,li169,li170,li171,li172,li173,li174,li175,li176,li177,li178,li179,li180,li181,li182,li183: std_logic;
begin
    DFF0: DFF port map (li000, CLK, lo000);
    DFF1: DFF port map (li001, CLK, lo001);
    DFF2: DFF port map (li002, CLK, lo002);
    DFF3: DFF port map (li003, CLK, lo003);
    DFF4: DFF port map (li004, CLK, lo004);
    DFF5: DFF port map (li005, CLK, lo005);
    DFF6: DFF port map (li006, CLK, lo006);
    DFF7: DFF port map (li007, CLK, lo007);
    DFF8: DFF port map (li008, CLK, lo008);
    DFF9: DFF port map (li009, CLK, lo009);
    DFF10: DFF port map (li010, CLK, lo010);
    DFF11: DFF port map (li011, CLK, lo011);
    DFF12: DFF port map (li012, CLK, lo012);
    DFF13: DFF port map (li013, CLK, lo013);
    DFF14: DFF port map (li014, CLK, lo014);
    DFF15: DFF port map (li015, CLK, lo015);
    DFF16: DFF port map (li016, CLK, lo016);
    DFF17: DFF port map (li017, CLK, lo017);
    DFF18: DFF port map (li018, CLK, lo018);
    DFF19: DFF port map (li019, CLK, lo019);
    DFF20: DFF port map (li020, CLK, lo020);
    DFF21: DFF port map (li021, CLK, lo021);
    DFF22: DFF port map (li022, CLK, lo022);
    DFF23: DFF port map (li023, CLK, lo023);
    DFF24: DFF port map (li024, CLK, lo024);
    DFF25: DFF port map (li025, CLK, lo025);
    DFF26: DFF port map (li026, CLK, lo026);
    DFF27: DFF port map (li027, CLK, lo027);
    DFF28: DFF port map (li028, CLK, lo028);
    DFF29: DFF port map (li029, CLK, lo029);
    DFF30: DFF port map (li030, CLK, lo030);
    DFF31: DFF port map (li031, CLK, lo031);
    DFF32: DFF port map (li032, CLK, lo032);
    DFF33: DFF port map (li033, CLK, lo033);
    DFF34: DFF port map (li034, CLK, lo034);
    DFF35: DFF port map (li035, CLK, lo035);
    DFF36: DFF port map (li036, CLK, lo036);
    DFF37: DFF port map (li037, CLK, lo037);
    DFF38: DFF port map (li038, CLK, lo038);
    DFF39: DFF port map (li039, CLK, lo039);
    DFF40: DFF port map (li040, CLK, lo040);
    DFF41: DFF port map (li041, CLK, lo041);
    DFF42: DFF port map (li042, CLK, lo042);
    DFF43: DFF port map (li043, CLK, lo043);
    DFF44: DFF port map (li044, CLK, lo044);
    DFF45: DFF port map (li045, CLK, lo045);
    DFF46: DFF port map (li046, CLK, lo046);
    DFF47: DFF port map (li047, CLK, lo047);
    DFF48: DFF port map (li048, CLK, lo048);
    DFF49: DFF port map (li049, CLK, lo049);
    DFF50: DFF port map (li050, CLK, lo050);
    DFF51: DFF port map (li051, CLK, lo051);
    DFF52: DFF port map (li052, CLK, lo052);
    DFF53: DFF port map (li053, CLK, lo053);
    DFF54: DFF port map (li054, CLK, lo054);
    DFF55: DFF port map (li055, CLK, lo055);
    DFF56: DFF port map (li056, CLK, lo056);
    DFF57: DFF port map (li057, CLK, lo057);
    DFF58: DFF port map (li058, CLK, lo058);
    DFF59: DFF port map (li059, CLK, lo059);
    DFF60: DFF port map (li060, CLK, lo060);
    DFF61: DFF port map (li061, CLK, lo061);
    DFF62: DFF port map (li062, CLK, lo062);
    DFF63: DFF port map (li063, CLK, lo063);
    DFF64: DFF port map (li064, CLK, lo064);
    DFF65: DFF port map (li065, CLK, lo065);
    DFF66: DFF port map (li066, CLK, lo066);
    DFF67: DFF port map (li067, CLK, lo067);
    DFF68: DFF port map (li068, CLK, lo068);
    DFF69: DFF port map (li069, CLK, lo069);
    DFF70: DFF port map (li070, CLK, lo070);
    DFF71: DFF port map (li071, CLK, lo071);
    DFF72: DFF port map (li072, CLK, lo072);
    DFF73: DFF port map (li073, CLK, lo073);
    DFF74: DFF port map (li074, CLK, lo074);
    DFF75: DFF port map (li075, CLK, lo075);
    DFF76: DFF port map (li076, CLK, lo076);
    DFF77: DFF port map (li077, CLK, lo077);
    DFF78: DFF port map (li078, CLK, lo078);
    DFF79: DFF port map (li079, CLK, lo079);
    DFF80: DFF port map (li080, CLK, lo080);
    DFF81: DFF port map (li081, CLK, lo081);
    DFF82: DFF port map (li082, CLK, lo082);
    DFF83: DFF port map (li083, CLK, lo083);
    DFF84: DFF port map (li084, CLK, lo084);
    DFF85: DFF port map (li085, CLK, lo085);
    DFF86: DFF port map (li086, CLK, lo086);
    DFF87: DFF port map (li087, CLK, lo087);
    DFF88: DFF port map (li088, CLK, lo088);
    DFF89: DFF port map (li089, CLK, lo089);
    DFF90: DFF port map (li090, CLK, lo090);
    DFF91: DFF port map (li091, CLK, lo091);
    DFF92: DFF port map (li092, CLK, lo092);
    DFF93: DFF port map (li093, CLK, lo093);
    DFF94: DFF port map (li094, CLK, lo094);
    DFF95: DFF port map (li095, CLK, lo095);
    DFF96: DFF port map (li096, CLK, lo096);
    DFF97: DFF port map (li097, CLK, lo097);
    DFF98: DFF port map (li098, CLK, lo098);
    DFF99: DFF port map (li099, CLK, lo099);
    DFF100: DFF port map (li100, CLK, lo100);
    DFF101: DFF port map (li101, CLK, lo101);
    DFF102: DFF port map (li102, CLK, lo102);
    DFF103: DFF port map (li103, CLK, lo103);
    DFF104: DFF port map (li104, CLK, lo104);
    DFF105: DFF port map (li105, CLK, lo105);
    DFF106: DFF port map (li106, CLK, lo106);
    DFF107: DFF port map (li107, CLK, lo107);
    DFF108: DFF port map (li108, CLK, lo108);
    DFF109: DFF port map (li109, CLK, lo109);
    DFF110: DFF port map (li110, CLK, lo110);
    DFF111: DFF port map (li111, CLK, lo111);
    DFF112: DFF port map (li112, CLK, lo112);
    DFF113: DFF port map (li113, CLK, lo113);
    DFF114: DFF port map (li114, CLK, lo114);
    DFF115: DFF port map (li115, CLK, lo115);
    DFF116: DFF port map (li116, CLK, lo116);
    DFF117: DFF port map (li117, CLK, lo117);
    DFF118: DFF port map (li118, CLK, lo118);
    DFF119: DFF port map (li119, CLK, lo119);
    DFF120: DFF port map (li120, CLK, lo120);
    DFF121: DFF port map (li121, CLK, lo121);
    DFF122: DFF port map (li122, CLK, lo122);
    DFF123: DFF port map (li123, CLK, lo123);
    DFF124: DFF port map (li124, CLK, lo124);
    DFF125: DFF port map (li125, CLK, lo125);
    DFF126: DFF port map (li126, CLK, lo126);
    DFF127: DFF port map (li127, CLK, lo127);
    DFF128: DFF port map (li128, CLK, lo128);
    DFF129: DFF port map (li129, CLK, lo129);
    DFF130: DFF port map (li130, CLK, lo130);
    DFF131: DFF port map (li131, CLK, lo131);
    DFF132: DFF port map (li132, CLK, lo132);
    DFF133: DFF port map (li133, CLK, lo133);
    DFF134: DFF port map (li134, CLK, lo134);
    DFF135: DFF port map (li135, CLK, lo135);
    DFF136: DFF port map (li136, CLK, lo136);
    DFF137: DFF port map (li137, CLK, lo137);
    DFF138: DFF port map (li138, CLK, lo138);
    DFF139: DFF port map (li139, CLK, lo139);
    DFF140: DFF port map (li140, CLK, lo140);
    DFF141: DFF port map (li141, CLK, lo141);
    DFF142: DFF port map (li142, CLK, lo142);
    DFF143: DFF port map (li143, CLK, lo143);
    DFF144: DFF port map (li144, CLK, lo144);
    DFF145: DFF port map (li145, CLK, lo145);
    DFF146: DFF port map (li146, CLK, lo146);
    DFF147: DFF port map (li147, CLK, lo147);
    DFF148: DFF port map (li148, CLK, lo148);
    DFF149: DFF port map (li149, CLK, lo149);
    DFF150: DFF port map (li150, CLK, lo150);
    DFF151: DFF port map (li151, CLK, lo151);
    DFF152: DFF port map (li152, CLK, lo152);
    DFF153: DFF port map (li153, CLK, lo153);
    DFF154: DFF port map (li154, CLK, lo154);
    DFF155: DFF port map (li155, CLK, lo155);
    DFF156: DFF port map (li156, CLK, lo156);
    DFF157: DFF port map (li157, CLK, lo157);
    DFF158: DFF port map (li158, CLK, lo158);
    DFF159: DFF port map (li159, CLK, lo159);
    DFF160: DFF port map (li160, CLK, lo160);
    DFF161: DFF port map (li161, CLK, lo161);
    DFF162: DFF port map (li162, CLK, lo162);
    DFF163: DFF port map (li163, CLK, lo163);
    DFF164: DFF port map (li164, CLK, lo164);
    DFF165: DFF port map (li165, CLK, lo165);
    DFF166: DFF port map (li166, CLK, lo166);
    DFF167: DFF port map (li167, CLK, lo167);
    DFF168: DFF port map (li168, CLK, lo168);
    DFF169: DFF port map (li169, CLK, lo169);
    DFF170: DFF port map (li170, CLK, lo170);
    DFF171: DFF port map (li171, CLK, lo171);
    DFF172: DFF port map (li172, CLK, lo172);
    DFF173: DFF port map (li173, CLK, lo173);
    DFF174: DFF port map (li174, CLK, lo174);
    DFF175: DFF port map (li175, CLK, lo175);
    DFF176: DFF port map (li176, CLK, lo176);
    DFF177: DFF port map (li177, CLK, lo177);
    DFF178: DFF port map (li178, CLK, lo178);
    DFF179: DFF port map (li179, CLK, lo179);
    DFF180: DFF port map (li180, CLK, lo180);
    DFF181: DFF port map (li181, CLK, lo181);
    DFF182: DFF port map (li182, CLK, lo182);
    DFF183: DFF port map (li183, CLK, lo183);
    po02 <= ( not lo003 );
    po04 <= ( not lo003 );
    po05 <= ( not lo003 );
    po06 <= ( not lo003 );
    po07 <= ( not lo003 );
    po08 <= ( not lo005 );
    po09 <= ( not lo003 );
    po10 <= ( lo010 );
    po11 <= ( lo010 );
    po12 <= ( not lo003 );
    po13 <= ( lo010 );
    po14 <= ( not lo003 );
    po15 <= ( not lo003 );
    po16 <= not (( lo011 and n610 ));
    po17 <= ( not lo001 );
    po00 <= ( not lo000 and not lo001 );
    li103 <= ( lo010 );
    li006 <= ( not lo006 );
    li009 <= ( not lo003 );
    li002 <= ( lo008 and not lo009 )
      or ( lo009 and not lo003 );
    li011 <= ( not n617 and lo011 )
      or ( n617 and not lo022 );
    n610 <= not (( not lo011 and not lo012 ));
    li007 <= ( not lo006 and lo007 )
      or ( lo006 and not lo007 );
    n612 <= ( pi01 and not lo017 and not lo018 and not pi02 );
    li019 <= ( not lo031 );
    n614 <= ( n612 and not lo019 );
    n615 <= ( lo012 and not lo021 )
      or ( not lo020 and not lo021 );
    li023 <= ( not lo012 and n633 )
      or ( lo012 and lo023 );
    n617 <= not (( not lo015 and not lo023 ));
    li025 <= not (( not lo043 and not lo025 ));
    li026 <= ( not lo046 and lo026 )
      or ( lo046 and n635 );
    li013 <= ( not lo024 and not lo025 and not lo026 )
      or ( not lo024 and lo025 and lo026 )
      or ( lo024 and not lo025 and lo026 )
      or ( lo024 and lo025 and not lo026 );
    li014 <= not (( not lo014 and lo010 ));
    li015 <= ( lo027 and lo028 )
      or ( lo015 and not lo028 );
    n623 <= ( lo017 and pi05 )
      or ( pi05 and lo029 );
    li017 <= not (( not pi03 and pi04 and n623 )
      or ( not pi03 and not lo017 )
      or ( pi03 and not pi04 and not n623 )
      or ( pi04 and not lo017 ));
    n625 <= ( lo029 and pi03 and not pi04 and not pi05 )
      or ( lo029 and pi03 and pi04 and pi05 );
    n626 <= ( pi05 and not pi03 and not pi04 );
    li018 <= not (( not n625 and not lo018 and not n626 )
      or ( not n625 and n626 and lo030 ));
    n628 <= ( lo033 and lo034 and not lo035 );
    li036 <= ( not lo055 and lo036 )
      or ( lo055 and lo054 );
    li021 <= ( lo000 and n628 )
      or ( not n628 and lo021 and not lo036 );
    li038 <= ( not lo059 );
    li022 <= not (( not lo022 and not lo037 )
      or ( lo037 and lo038 and lo039 ));
    n633 <= ( not lo035 and not lo040 );
    li024 <= ( lo041 and lo042 )
      or ( lo024 and not lo042 );
    n635 <= ( lo044 and lo045 );
    li046 <= not (( n657 and not lo046 ));
    li027 <= ( lo027 and not lo012 )
      or ( lo033 and not lo012 );
    li028 <= ( not lo028 and n756 )
      or ( lo028 and not n756 );
    n639 <= ( not pi04 and pi03 )
      or ( pi05 and pi03 );
    li029 <= ( lo029 and not n639 )
      or ( lo017 and not pi05 and n639 );
    li030 <= ( lo030 )
      or ( pi05 and not pi03 and not pi04 );
    li033 <= ( lo012 and lo027 )
      or ( lo012 and lo033 );
    li035 <= ( not lo035 and not lo048 )
      or ( lo035 and lo048 );
    li055 <= ( not n665 and lo055 )
      or ( n665 and lo000 );
    n645 <= ( not lo057 and not lo058 );
    li037 <= not (( not lo017 and not lo029 and not lo056 and not n645 ));
    li061 <= not (( not n665 and not lo061 ));
    li039 <= ( not lo060 and lo062 )
      or ( not lo061 and not lo062 );
    li042 <= ( not lo005 and not lo065 and lo066 )
      or ( lo005 and not lo066 )
      or ( lo065 and not lo066 );
    li068 <= ( not lo003 );
    li043 <= ( lo005 and lo010 and lo067 )
      or ( lo005 and lo010 and not lo068 )
      or ( lo005 and lo067 and not lo068 );
    li044 <= not (( not lo010 and not lo044 ));
    n653 <= ( lo045 )
      or ( lo069 and not lo070 );
    li071 <= ( not lo083 );
    li045 <= ( n653 and lo071 and lo010 )
      or ( n653 and lo071 and not lo003 );
    li073 <= ( not lo012 );
    n657 <= ( lo055 and lo072 )
      or ( not lo073 );
    li049 <= ( not lo049 and not lo048 and n757 )
      or ( not lo049 and lo048 and not n757 )
      or ( lo049 and not lo048 and not n757 )
      or ( lo049 and lo048 and n757 );
    n659 <= ( pi12 and pi13 )
      or ( pi12 and not pi14 )
      or ( pi13 and not pi14 );
    n660 <= ( not pi09 and pi10 and pi11 )
      or ( not pi09 and pi11 and not n659 )
      or ( pi10 and pi11 and not n659 );
    n661 <= not (( not pi06 and pi07 and pi08 )
      or ( not pi06 and pi08 and n660 )
      or ( pi07 and pi08 and n660 ));
    li053 <= ( lo012 and n661 and not lo075 and lo076 )
      or ( lo012 and n661 and lo075 and not lo076 );
    li077 <= ( not lo096 and lo077 )
      or ( lo096 and n703 );
    n664 <= not (( not lo075 and lo078 ));
    n665 <= not (( not lo012 and not n664 and lo040 )
      or ( not lo012 and lo079 )
      or ( not n664 and lo040 and lo079 ));
    n666 <= ( pi04 and pi05 and not pi03 );
    n667 <= ( not pi03 and not pi04 and not pi05 );
    li056 <= ( lo017 and n666 )
      or ( lo056 and not n667 );
    n669 <= ( not pi04 and not pi05 and not pi03 )
      or ( pi04 and pi05 and not pi03 );
    n670 <= ( lo056 and n667 )
      or ( lo057 and not n669 );
    li057 <= ( n670 )
      or ( lo018 and n626 );
    li058 <= ( lo058 )
      or ( lo057 and n669 );
    li062 <= ( n615 and lo016 )
      or ( n615 and n614 )
      or ( lo054 and not lo016 and not n614 );
    li082 <= ( not lo102 );
    li065 <= ( lo082 and not lo075 )
      or ( lo082 and lo012 )
      or ( lo065 and lo075 and not lo012 );
    n676 <= ( n709 and n711 );
    n677 <= ( not n712 and n711 )
      or ( n712 and not n711 );
    n678 <= ( not n708 and not n711 and n676 )
      or ( not n708 and n711 and not n676 )
      or ( n708 and not n711 and not n676 )
      or ( n708 and n711 and n676 );
    n679 <= ( not n709 and n711 )
      or ( n709 and not n711 );
    n680 <= ( n710 and n713 );
    n681 <= ( n709 and n680 );
    n682 <= ( n679 and lo003 )
      or ( n679 and n681 )
      or ( lo003 and n681 );
    n683 <= ( not n714 and lo014 )
      or ( n714 and not lo014 );
    n684 <= ( not n678 and n682 and n683 )
      or ( n678 and not n682 and n683 );
    n685 <= ( n714 and lo014 );
    n686 <= ( not n715 and n685 )
      or ( n715 and not n685 );
    n687 <= ( n708 and n711 )
      or ( n708 and n676 )
      or ( n711 and n676 );
    n688 <= ( not n678 and n687 )
      or ( n678 and n682 and not n687 )
      or ( not n682 and n687 );
    n689 <= ( not n677 and n684 and n688 )
      or ( not n677 and n686 and n688 )
      or ( n677 and n684 and not n688 )
      or ( n677 and n686 and not n688 )
      or ( n684 and n686 );
    n690 <= ( not n712 and not n709 and n716 )
      or ( not n712 and n709 and not n716 )
      or ( n712 and n711 and not n709 and not n716 )
      or ( n712 and n711 and n709 and n716 )
      or ( not n711 and not n709 and n716 )
      or ( not n711 and n709 and not n716 );
    n691 <= ( not n690 and not n717 and n719 )
      or ( not n690 and n717 and not n719 )
      or ( n690 and not n717 and not n719 )
      or ( n690 and n717 and n719 );
    n692 <= ( n678 and n682 );
    n693 <= ( n715 and n685 );
    n694 <= ( not n687 and not n677 and n693 )
      or ( not n687 and not n692 and n693 )
      or ( n687 and n677 and not n693 )
      or ( n687 and n692 and not n693 )
      or ( not n677 and not n692 and n693 )
      or ( n677 and n692 and not n693 );
    li087 <= ( not lo087 );
    li069 <= ( not pi15 and not lo084 and not n763 and not lo069 )
      or ( not pi15 and n763 and lo069 )
      or ( pi15 and lo084 and n763 and not lo069 )
      or ( pi15 and not n763 and lo069 )
      or ( not lo084 and n763 and lo069 )
      or ( lo084 and not n763 and lo069 );
    li070 <= ( lo088 and lo003 )
      or ( lo001 and not lo003 );
    li072 <= ( lo076 and lo072 and lo012 )
      or ( lo076 and lo034 and not lo012 );
    li090 <= ( not lo108 );
    li075 <= not (( not lo090 and not lo037 and not lo091 and not lo092 )
      or ( not lo090 and not lo037 and lo091 and lo092 )
      or ( not lo090 and lo037 and not lo091 and lo092 )
      or ( not lo090 and lo037 and lo091 and not lo092 ));
    n701 <= not (( not lo020 and not lo094 and not lo095 )
      or ( lo020 and not lo094 and lo095 )
      or ( lo020 and lo094 and not lo095 ));
    li076 <= ( not lo093 and not n701 )
      or ( lo076 );
    n703 <= ( not lo034 and not lo075 )
      or ( lo035 and not lo075 );
    n704 <= ( lo098 and n764 );
    li078 <= ( not lo097 and not lo078 and lo048 )
      or ( not lo097 and lo078 and not lo048 )
      or ( lo097 and n704 and not lo078 and not lo048 )
      or ( lo097 and n704 and lo078 and lo048 )
      or ( not n704 and not lo078 and lo048 )
      or ( not n704 and lo078 and not lo048 );
    li100 <= ( not lo116 );
    li081 <= ( lo081 and lo100 )
      or ( not lo100 and lo001 and not lo101 );
    n708 <= ( not n710 and not lo003 and not lo119 )
      or ( n710 and lo003 and not lo119 );
    n709 <= ( not n710 and not lo119 );
    n710 <= ( not lo119 and lo104 )
      or ( lo119 and not lo104 );
    n711 <= not (( not lo119 and not lo104 ));
    n712 <= ( lo003 and n710 and lo119 )
      or ( not n710 and not lo119 );
    n713 <= ( not n710 and not lo119 )
      or ( n710 and lo119 );
    n714 <= ( not lo014 and not lo010 and lo044 )
      or ( lo014 and lo010 )
      or ( lo014 and not lo044 );
    n715 <= ( lo014 and not lo010 )
      or ( lo014 and not lo044 );
    n716 <= ( n711 and not lo003 );
    n717 <= ( lo044 and not lo010 and lo014 )
      or ( lo044 and lo010 and not lo014 );
    li105 <= ( not n735 and lo105 )
      or ( n735 and n734 );
    n719 <= ( not lo014 and not lo010 and not lo105 )
      or ( lo014 and lo010 )
      or ( lo014 and lo105 );
    li083 <= ( not lo000 and not lo012 and not lo106 );
    li084 <= ( not pi15 and not lo084 and not n763 )
      or ( not pi15 and lo084 and n763 )
      or ( pi15 and not lo084 and n763 )
      or ( pi15 and lo084 and not n763 );
    li086 <= ( not pi15 and not lo086 and not lo087 )
      or ( not pi15 and lo086 and lo087 )
      or ( pi15 and not lo086 and lo087 )
      or ( pi15 and lo086 and not lo087 );
    li107 <= ( not lo125 and lo107 )
      or ( lo125 and n741 );
    li088 <= ( not lo107 and lo001 )
      or ( lo010 and lo001 );
    n725 <= ( not lo020 and lo076 and lo094 )
      or ( not lo020 and lo094 and not lo093 )
      or ( lo020 and not lo076 and lo094 and lo093 )
      or ( lo020 and not lo094 and not lo093 )
      or ( lo076 and not lo093 );
    li093 <= ( not lo095 and not n725 )
      or ( lo095 and lo093 );
    n727 <= ( not lo078 and lo040 )
      or ( lo078 and not lo075 and not lo040 )
      or ( lo075 and lo040 );
    n728 <= ( lo076 and not lo035 )
      or ( n645 and not lo017 and not lo035 );
    n729 <= not (( not lo113 and not lo114 and not n728 )
      or ( not lo113 and not lo012 and n728 )
      or ( not lo113 and lo012 and not n728 )
      or ( lo113 and not lo114 and lo012 and n728 ));
    li096 <= ( lo096 and n729 )
      or ( not n727 and not n729 );
    li098 <= ( not lo098 and n764 )
      or ( lo098 and not n764 );
    li101 <= ( lo117 and lo069 )
      or ( lo101 and not lo069 );
    li102 <= ( not pi16 and not pi17 and lo118 )
      or ( pi16 and pi17 and lo118 );
    n734 <= ( not lo003 and not lo010 );
    n735 <= ( not lo034 and lo044 )
      or ( lo034 and not lo044 );
    n736 <= ( lo021 and lo015 )
      or ( lo021 and lo028 and lo037 );
    n737 <= ( lo021 and lo121 and not lo000 and not lo028 );
    li122 <= ( not lo021 );
    li123 <= ( not lo096 );
    li106 <= ( n736 )
      or ( n737 and lo122 and not lo123 );
    n741 <= ( lo012 and not lo124 );
    n742 <= ( lo030 and not lo056 );
    li113 <= ( lo131 and n742 )
      or ( not n742 and lo113 and not lo132 );
    li116 <= not (( lo038 and lo039 ));
    li117 <= not (( not lo117 and not lo135 )
      or ( lo135 and not lo000 and not lo001 ));
    li118 <= ( not lo037 and lo090 )
      or ( lo037 and not lo090 );
    li137 <= ( not lo003 );
    li119 <= ( not lo136 and lo137 )
      or ( lo136 and not lo137 );
    li138 <= ( not lo139 );
    li121 <= not (( not lo121 and lo049 ));
    li124 <= ( not lo073 and lo000 )
      or ( not lo073 and lo001 );
    li125 <= ( not lo139 and not lo140 )
      or ( lo139 and lo140 );
    li136 <= ( lo136 and lo148 );
    li140 <= ( not lo028 and lo140 )
      or ( lo028 and n756 and not lo140 )
      or ( not n756 and lo140 );
    li001 <= ( not lo006 and lo001 )
      or ( lo006 and lo007 and not lo001 )
      or ( not lo007 and lo001 );
    n756 <= ( lo006 and lo007 and lo001 and lo047 );
    n757 <= not (( not lo035 and not lo051 and not lo050 )
      or ( lo048 and not lo051 and not lo050 ));
    li031 <= ( not lo049 and lo048 and not n757 and lo031 )
      or ( not lo049 and n757 and not lo031 )
      or ( lo049 and not lo048 and n757 and lo031 )
      or ( lo049 and not n757 and not lo031 )
      or ( not lo048 and not n757 and not lo031 )
      or ( lo048 and n757 and not lo031 );
    li047 <= ( not lo006 and lo047 )
      or ( lo006 and lo007 and lo001 and not lo047 )
      or ( not lo007 and lo047 )
      or ( not lo001 and lo047 );
    li050 <= ( not lo035 and not lo051 and not lo050 )
      or ( lo035 and not lo048 and lo050 )
      or ( lo048 and not lo051 and not lo050 )
      or ( lo051 and lo050 );
    li051 <= ( not lo035 and not lo051 )
      or ( lo035 and not lo048 and lo051 )
      or ( lo048 and not lo051 );
    li060 <= ( not n612 and not lo016 and not lo033 )
      or ( lo019 and not lo016 and not lo033 );
    n763 <= ( not pi15 and lo086 )
      or ( not pi15 and lo087 )
      or ( not pi15 and lo085 )
      or ( lo086 and lo087 and lo085 );
    n764 <= ( lo049 and not lo048 and n757 )
      or ( lo049 and lo031 )
      or ( not lo048 and lo031 )
      or ( n757 and lo031 );
    li085 <= ( not pi15 and not lo086 and not lo087 and not lo085 )
      or ( not pi15 and lo087 and lo085 )
      or ( pi15 and lo086 and lo087 and not lo085 )
      or ( pi15 and not lo087 and lo085 )
      or ( not lo086 and lo087 and lo085 )
      or ( lo086 and not lo087 and lo085 );
    li097 <= ( not lo098 and lo097 )
      or ( lo098 and n764 and not lo097 )
      or ( not n764 and lo097 );
    n767 <= ( not n694 and not n691 and not n689 )
      or ( not n694 and n691 and n689 )
      or ( n694 and not n691 and n689 )
      or ( n694 and n691 and not n689 );
    li066 <= not (( not lo103 and not n767 and not lo066 )
      or ( lo103 and n767 and not lo066 ));
    li000 <= '1';
    li003 <= '1';
    li004 <= ( pi00 );
    li005 <= ( lo003 );
    li008 <= ( lo013 );
    li010 <= '1';
    li012 <= '1';
    li016 <= '1';
    li020 <= ( lo032 );
    li032 <= ( lo052 );
    li034 <= ( lo053 );
    li040 <= ( lo063 );
    li041 <= ( lo064 );
    li048 <= ( lo074 );
    li052 <= ( lo048 );
    li054 <= ( lo077 );
    li059 <= ( lo037 );
    li063 <= ( lo080 );
    li064 <= ( lo081 );
    li067 <= ( lo083 );
    li074 <= ( lo089 );
    li079 <= ( lo099 );
    li080 <= ( lo094 );
    li089 <= ( lo092 );
    li091 <= ( lo109 );
    li092 <= ( lo110 );
    li094 <= ( lo111 );
    li095 <= ( lo112 );
    li099 <= ( lo115 );
    li104 <= ( lo120 );
    li108 <= ( lo126 );
    li109 <= ( lo127 );
    li110 <= ( lo128 );
    li111 <= ( lo129 );
    li112 <= ( lo130 );
    li114 <= ( lo133 );
    li115 <= ( lo134 );
    li120 <= ( lo138 );
    li126 <= ( lo141 );
    li127 <= ( lo095 );
    li128 <= ( lo142 );
    li129 <= ( lo091 );
    li130 <= ( lo143 );
    li131 <= ( lo144 );
    li132 <= ( lo145 );
    li133 <= ( lo146 );
    li134 <= ( lo147 );
    li135 <= ( lo062 );
    li139 <= ( lo149 );
    li141 <= ( lo150 );
    li142 <= ( lo151 );
    li143 <= ( lo152 );
    li144 <= ( lo153 );
    li145 <= ( lo154 );
    li146 <= ( pi18 );
    li147 <= ( lo155 );
    li148 <= ( lo139 );
    li149 <= ( lo065 );
    li150 <= ( lo156 );
    li151 <= ( lo157 );
    li152 <= ( lo158 );
    li153 <= ( lo159 );
    li154 <= ( lo040 );
    li155 <= ( lo160 );
    li156 <= ( lo161 );
    li157 <= ( lo162 );
    li158 <= ( lo163 );
    li159 <= ( lo164 );
    li160 <= ( lo165 );
    li161 <= ( lo079 );
    li162 <= ( lo166 );
    li163 <= ( lo167 );
    li164 <= ( lo168 );
    li165 <= ( lo169 );
    li166 <= ( lo170 );
    li167 <= ( lo171 );
    li168 <= ( lo172 );
    li169 <= ( lo173 );
    li170 <= ( lo174 );
    li171 <= ( lo020 );
    li172 <= ( lo175 );
    li173 <= ( lo176 );
    li174 <= ( lo177 );
    li175 <= ( lo178 );
    li176 <= ( lo179 );
    li177 <= ( lo180 );
    li178 <= ( lo181 );
    li179 <= ( lo114 );
    li180 <= ( lo131 );
    li181 <= ( lo182 );
    li182 <= ( lo183 );
    li183 <= ( lo108 );
    po01 <= ( lo002 );
    po03 <= ( lo004 );
end QUIP__nut_004_behav;
