--- 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__oc_ata_v is 
  Port (
    pi00,pi01,pi02,pi03,pi04,pi05,pi06,pi07,pi08,pi09,pi10,pi11,pi12,pi13,pi14,pi15,pi16,pi17,pi18,pi19,pi20,pi21,pi22,pi23,pi24,pi25,pi26,pi27,pi28,pi29,pi30,pi31,pi32,pi33,pi34,pi35,pi36,pi37,pi38,pi39,pi40,pi41,pi42,pi43,pi44,pi45,pi46,pi47,pi48,pi49,pi50,pi51,pi52,pi53,pi54,pi55,pi56,pi57,pi58,pi59,pi60,pi61,pi62, CLK: in std_logic;
    po00,po01,po02,po03,po04,po05,po06,po07,po08,po09,po10,po11,po12,po13,po14,po15,po16,po17,po18,po19,po20,po21,po22,po23,po24,po25,po26,po27,po28,po29,po30,po31,po32,po33,po34,po35,po36,po37,po38,po39,po40,po41,po42,po43,po44,po45,po46,po47,po48,po49,po50,po51,po52,po53,po54,po55,po56,po57,po58,po59: inout std_logic
  );
end QUIP__oc_ata_v;

architecture QUIP__oc_ata_v_behav of QUIP__oc_ata_v 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,n599,n600,n603,li001,n605,n606,n607,li004,li005,n611,li006,li007,n614,li008,li009,li010,n619,li011,li012,li013,n624,li014,li015,li016,n629,li017,li018,li019,n634,li020,li021,li022,n639,li023,li024,li025,n644,li026,li027,li028,n649,li029,li030,li031,n654,li032,li033,li034,n659,li035,li036,li037,n664,li038,li039,li040,n669,li041,li042,li043,n674,li044,li045,li046,n679,li047,li048,li049,n684,li050,li051,li052,li053,li054,li055,li056,li057,li058,li059,li060,li061,li062,li063,li064,li065,li066,li067,li068,li069,li070,li071,li072,li073,li074,li075,n724,li076,li077,li078,li079,li080,li081,li000,li083,n737,n738,n739,li002,n741,li003,li084,n744,n745,li085,n747,li086,li087,li088,li089,li090,li091,li092,li093,n756,li094,n758,li095,n760,li096,li097,li098,n764,n765,n766,n767,n768,n769,n770,n771,n772,n773,n774,n775,n776,n777,n778,n779,n780,n781,n782,n783,n784,li082,li099,li100,li101,li102,li103,li104,li105,li106,n794,n795,li107,n797,n798,li108,n800,li109,n802,li110,n804,n805,li111,n807,li112,li118,li113,n811,li114,n813,n814,li115,li116,n817,n818,li119,li120,li121,n822,li122,li123,n825,li124,li125,li126,n829,li127,li128,li129,n833,li130,li131,li134,li135,n838,li136,n840,n841,li137,n843,n844,li138,n846,li139,n848,li140,n850,n851,li141,li142,li143,n855,n856,li144,n858,li145,li147,n861,li148,n863,n864,li149,n866,li150,li151,n869,n870,li152,li153,li154,n874,li155,n876,li156,n878,n879,n880,n881,n882,n883,n884,n885,n886,n887,n888,n889,n890,n891,n892,n893,n894,n895,n896,n897,n898,n899,n900,n901,n902,n903,n904,n905,n906,n907,n908,n909,n910,n911,n912,n913,li117,li132,li133,li146: 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);
    po34 <= ( lo003 );
    po56 <= ( not lo103 );
    po57 <= ( not lo104 );
    po58 <= ( not lo105 );
    po59 <= ( not lo106 );
    n599 <= ( pi00 and pi01 and pi02 and pi03 );
    n600 <= ( pi04 and pi05 );
    po00 <= ( lo000 )
      or ( n599 and n600 and not pi06 );
    po01 <= ( pi00 and pi01 and not pi02 )
      or ( pi00 and pi01 and not n878 );
    n603 <= ( not pi06 and not pi07 and not pi08 and not pi09 );
    li001 <= ( not n738 and li083 )
      or ( n738 and lo001 );
    n605 <= ( n603 and lo001 and pi10 )
      or ( n603 and not pi10 and not lo002 );
    n606 <= ( pi07 and not pi10 and not pi08 and not pi09 );
    n607 <= ( n606 and lo003 and not pi06 );
    li004 <= ( not lo118 and lo004 )
      or ( lo118 and pi14 );
    po02 <= not (( not n605 and not n607 and not pi06 )
      or ( not n605 and not n607 and not lo004 ));
    li005 <= ( not lo118 and lo005 )
      or ( lo118 and pi15 );
    n611 <= ( not pi07 and not pi08 and not pi09 );
    li006 <= ( not n744 and li084 )
      or ( n744 and lo006 );
    li007 <= ( not n738 and not n745 )
      or ( n738 and lo007 );
    n614 <= ( lo006 and not pi10 )
      or ( pi10 and not lo007 );
    po03 <= ( lo005 and pi06 )
      or ( n611 and n614 and not pi06 );
    li008 <= ( not lo118 and lo008 )
      or ( lo118 and pi17 );
    li009 <= ( not n744 and li085 )
      or ( n744 and lo009 );
    li010 <= ( not n738 and not n747 )
      or ( n738 and lo010 );
    n619 <= ( lo009 and not pi10 )
      or ( pi10 and not lo010 );
    po04 <= ( lo008 and pi06 )
      or ( n611 and n619 and not pi06 );
    li011 <= ( not lo118 and lo011 )
      or ( lo118 and pi19 );
    li012 <= ( not n738 and li086 )
      or ( n738 and lo012 );
    li013 <= ( not n744 and li086 )
      or ( n744 and lo013 );
    n624 <= ( lo012 and pi10 )
      or ( lo013 and not pi10 );
    po05 <= ( lo011 and pi06 )
      or ( n611 and n624 and not pi06 );
    li014 <= ( not lo118 and lo014 )
      or ( lo118 and pi21 );
    li015 <= ( not n738 and li087 )
      or ( n738 and lo015 );
    li016 <= ( not n744 and li087 )
      or ( n744 and lo016 );
    n629 <= ( lo015 and pi10 )
      or ( lo016 and not pi10 );
    po06 <= ( lo014 and pi06 )
      or ( n611 and n629 and not pi06 );
    li017 <= ( not lo118 and lo017 )
      or ( lo118 and pi23 );
    li018 <= ( not n738 and li088 )
      or ( n738 and lo018 );
    li019 <= ( not n744 and li088 )
      or ( n744 and lo019 );
    n634 <= ( lo018 and pi10 )
      or ( lo019 and not pi10 );
    po07 <= ( lo017 and pi06 )
      or ( n611 and n634 and not pi06 );
    li020 <= ( not lo118 and lo020 )
      or ( lo118 and pi25 );
    li021 <= ( not n738 and li089 )
      or ( n738 and lo021 );
    li022 <= ( not n744 and li089 )
      or ( n744 and lo022 );
    n639 <= ( lo021 and pi10 )
      or ( lo022 and not pi10 );
    po08 <= ( lo020 and pi06 )
      or ( n611 and n639 and not pi06 );
    li023 <= ( not lo118 and lo023 )
      or ( lo118 and pi27 );
    li024 <= ( not n738 and li090 )
      or ( n738 and lo024 );
    li025 <= ( not n744 and li090 )
      or ( n744 and lo025 );
    n644 <= ( lo024 and pi10 )
      or ( lo025 and not pi10 );
    po09 <= ( lo023 and pi06 )
      or ( n611 and n644 and not pi06 );
    li026 <= ( not lo118 and lo026 )
      or ( lo118 and pi29 );
    li027 <= ( not n738 and li091 )
      or ( n738 and lo027 );
    li028 <= ( not n744 and li091 )
      or ( n744 and lo028 );
    n649 <= ( lo027 and pi10 )
      or ( lo028 and not pi10 );
    po10 <= ( lo026 and pi06 )
      or ( n611 and n649 and not pi06 );
    li029 <= ( not lo118 and lo029 )
      or ( lo118 and pi31 );
    li030 <= ( not n738 and li092 )
      or ( n738 and lo030 );
    li031 <= ( not n744 and li092 )
      or ( n744 and lo031 );
    n654 <= ( lo030 and pi10 )
      or ( lo031 and not pi10 );
    po11 <= ( lo029 and pi06 )
      or ( n611 and n654 and not pi06 );
    li032 <= ( not lo118 and lo032 )
      or ( lo118 and pi33 );
    li033 <= ( not n744 and li093 )
      or ( n744 and lo033 );
    li034 <= ( not n738 and not n756 )
      or ( n738 and lo034 );
    n659 <= ( lo033 and not pi10 )
      or ( pi10 and not lo034 );
    po12 <= ( lo032 and pi06 )
      or ( n611 and n659 and not pi06 );
    li035 <= ( not lo118 and lo035 )
      or ( lo118 and pi35 );
    li036 <= ( not n744 and li094 )
      or ( n744 and lo036 );
    li037 <= ( not n738 and not n758 )
      or ( n738 and lo037 );
    n664 <= ( lo036 and not pi10 )
      or ( pi10 and not lo037 );
    po13 <= ( lo035 and pi06 )
      or ( n611 and n664 and not pi06 );
    li038 <= ( not lo118 and lo038 )
      or ( lo118 and pi37 );
    li039 <= ( not n744 and li095 )
      or ( n744 and lo039 );
    li040 <= ( not n738 and not n760 )
      or ( n738 and lo040 );
    n669 <= ( lo039 and not pi10 )
      or ( pi10 and not lo040 );
    po14 <= ( lo038 and pi06 )
      or ( n611 and n669 and not pi06 );
    li041 <= ( not lo118 and lo041 )
      or ( lo118 and pi39 );
    li042 <= ( not n738 and li096 )
      or ( n738 and lo042 );
    li043 <= ( not n744 and li096 )
      or ( n744 and lo043 );
    n674 <= ( lo042 and pi10 )
      or ( lo043 and not pi10 );
    po15 <= ( lo041 and pi06 )
      or ( n611 and n674 and not pi06 );
    li044 <= ( not lo118 and lo044 )
      or ( lo118 and pi41 );
    li045 <= ( not n738 and li097 )
      or ( n738 and lo045 );
    li046 <= ( not n744 and li097 )
      or ( n744 and lo046 );
    n679 <= ( lo045 and pi10 )
      or ( lo046 and not pi10 );
    po16 <= ( lo044 and pi06 )
      or ( n611 and n679 and not pi06 );
    li047 <= ( not lo118 and lo047 )
      or ( lo118 and pi43 );
    li048 <= ( not n738 and li098 )
      or ( n738 and lo048 );
    li049 <= ( not n744 and li098 )
      or ( n744 and lo049 );
    n684 <= ( lo048 and pi10 )
      or ( lo049 and not pi10 );
    po17 <= ( lo047 and pi06 )
      or ( n611 and n684 and not pi06 );
    li050 <= ( not n738 and n764 )
      or ( n738 and lo050 );
    li051 <= ( not n744 and n764 )
      or ( n744 and lo051 );
    po18 <= ( n603 and lo050 and pi10 )
      or ( n603 and lo051 and not pi10 );
    li052 <= ( not n744 and n765 )
      or ( n744 and lo052 );
    li053 <= ( not n738 and not n766 )
      or ( n738 and lo053 );
    po19 <= ( n603 and lo052 and not pi10 )
      or ( n603 and pi10 and not lo053 );
    li054 <= ( not n738 and n767 )
      or ( n738 and lo054 );
    li055 <= ( not n744 and n767 )
      or ( n744 and lo055 );
    po20 <= ( n603 and lo054 and pi10 )
      or ( n603 and lo055 and not pi10 );
    li056 <= ( not n738 and n768 )
      or ( n738 and lo056 );
    li057 <= ( not n744 and n768 )
      or ( n744 and lo057 );
    po21 <= ( n603 and lo056 and pi10 )
      or ( n603 and lo057 and not pi10 );
    li058 <= ( not n738 and n769 )
      or ( n738 and lo058 );
    li059 <= ( not n744 and n769 )
      or ( n744 and lo059 );
    po22 <= ( n603 and lo058 and pi10 )
      or ( n603 and lo059 and not pi10 );
    li060 <= ( not n738 and n770 )
      or ( n738 and lo060 );
    li061 <= ( not n744 and n770 )
      or ( n744 and lo061 );
    po23 <= ( n603 and lo060 and pi10 )
      or ( n603 and lo061 and not pi10 );
    li062 <= ( not n738 and n771 )
      or ( n738 and lo062 );
    li063 <= ( not n744 and n771 )
      or ( n744 and lo063 );
    po24 <= ( n603 and lo062 and pi10 )
      or ( n603 and lo063 and not pi10 );
    li064 <= ( not n738 and n772 )
      or ( n738 and lo064 );
    li065 <= ( not n744 and n772 )
      or ( n744 and lo065 );
    po25 <= ( n603 and lo064 and pi10 )
      or ( n603 and lo065 and not pi10 );
    li066 <= ( not n744 and n773 )
      or ( n744 and lo066 );
    li067 <= ( not n738 and not n774 )
      or ( n738 and lo067 );
    po26 <= ( n603 and lo066 and not pi10 )
      or ( n603 and pi10 and not lo067 );
    li068 <= ( not n744 and n775 )
      or ( n744 and lo068 );
    li069 <= ( not n738 and not n776 )
      or ( n738 and lo069 );
    po27 <= ( n603 and lo068 and not pi10 )
      or ( n603 and pi10 and not lo069 );
    li070 <= ( not n744 and n777 )
      or ( n744 and lo070 );
    li071 <= ( not n738 and not n778 )
      or ( n738 and lo071 );
    po28 <= ( n603 and lo070 and not pi10 )
      or ( n603 and pi10 and not lo071 );
    li072 <= ( not n738 and n779 )
      or ( n738 and lo072 );
    li073 <= ( not n744 and n779 )
      or ( n744 and lo073 );
    po29 <= ( n603 and lo072 and pi10 )
      or ( n603 and lo073 and not pi10 );
    li074 <= ( not n744 and n780 )
      or ( n744 and lo074 );
    li075 <= ( not n738 and not n781 )
      or ( n738 and lo075 );
    n724 <= ( lo074 and not pi10 )
      or ( not pi07 and not lo075 and pi10 )
      or ( pi07 and not pi10 );
    po30 <= ( n724 and not pi06 and not pi08 and not pi09 );
    li076 <= ( not n738 and n782 )
      or ( n738 and lo076 );
    li077 <= ( not n744 and n782 )
      or ( n744 and lo077 );
    po31 <= ( n603 and lo076 and pi10 )
      or ( n603 and lo077 and not pi10 );
    li078 <= ( not n738 and n783 )
      or ( n738 and lo078 );
    li079 <= ( not n744 and n783 )
      or ( n744 and lo079 );
    po32 <= ( n603 and lo078 and pi10 )
      or ( n603 and lo079 and not pi10 );
    li080 <= ( not n738 and n784 )
      or ( n738 and lo080 );
    li081 <= ( not n744 and n784 )
      or ( n744 and lo081 );
    po33 <= ( n603 and lo080 and pi10 )
      or ( n603 and lo081 and not pi10 );
    li000 <= ( n599 and pi06 and not lo025 )
      or ( not n881 );
    li083 <= ( pi11 and not pi12 );
    n737 <= ( n599 and n600 and pi13 and not pi06 );
    n738 <= not (( pi10 and n611 and n737 )
      or ( pi12 ));
    n739 <= not (( not pi10 and n611 and n737 ));
    li002 <= ( not pi12 and not pi11 and not n739 )
      or ( not pi12 and n739 and lo002 );
    n741 <= ( lo003 and not pi12 )
      or ( not lo116 and lo117 and not pi12 );
    li003 <= not (( n606 and n737 and not pi11 )
      or ( not n741 ));
    li084 <= ( pi16 and not pi12 );
    n744 <= not (( not pi10 and n611 and n737 )
      or ( pi12 ));
    n745 <= not (( not pi12 and not pi16 ));
    li085 <= ( pi18 and not pi12 );
    n747 <= not (( not pi12 and not pi18 ));
    li086 <= ( pi20 and not pi12 );
    li087 <= ( pi22 and not pi12 );
    li088 <= ( pi24 and not pi12 );
    li089 <= ( pi26 and not pi12 );
    li090 <= ( pi28 and not pi12 );
    li091 <= ( pi30 and not pi12 );
    li092 <= ( pi32 and not pi12 );
    li093 <= ( pi34 and not pi12 );
    n756 <= not (( not pi12 and not pi34 ));
    li094 <= ( pi36 and not pi12 );
    n758 <= not (( not pi12 and not pi36 ));
    li095 <= ( pi38 and not pi12 );
    n760 <= not (( not pi12 and not pi38 ));
    li096 <= ( pi40 and not pi12 );
    li097 <= ( pi42 and not pi12 );
    li098 <= ( pi44 and not pi12 );
    n764 <= ( pi45 and not pi12 );
    n765 <= ( pi46 and not pi12 );
    n766 <= not (( not pi12 and not pi46 ));
    n767 <= ( pi47 and not pi12 );
    n768 <= ( pi48 and not pi12 );
    n769 <= ( pi49 and not pi12 );
    n770 <= ( pi50 and not pi12 );
    n771 <= ( pi51 and not pi12 );
    n772 <= ( pi52 and not pi12 );
    n773 <= ( pi53 and not pi12 );
    n774 <= not (( not pi12 and not pi53 ));
    n775 <= ( pi54 and not pi12 );
    n776 <= not (( not pi12 and not pi54 ));
    n777 <= ( pi55 and not pi12 );
    n778 <= not (( not pi12 and not pi55 ));
    n779 <= ( pi56 and not pi12 );
    n780 <= ( pi57 and not pi12 );
    n781 <= not (( not pi12 and not pi57 ));
    n782 <= ( pi58 and not pi12 );
    n783 <= ( pi59 and not pi12 );
    n784 <= ( pi60 and not pi12 );
    li082 <= ( not pi12 and lo002 );
    li099 <= ( lo119 and not pi12 );
    li100 <= ( pi07 and not pi12 );
    li101 <= ( pi10 and not pi12 );
    li102 <= ( pi09 and not pi12 );
    li103 <= ( not pi08 and not pi12 and n599 and pi06 );
    li104 <= ( not pi12 and n599 and pi06 and pi08 );
    li105 <= ( not pi12 and lo120 );
    li106 <= ( not pi12 and lo121 );
    n794 <= not (( not lo132 and lo006 ));
    n795 <= ( n882 and not n886 )
      or ( n882 and not n794 )
      or ( lo064 and n886 and n794 );
    li107 <= ( n795 and not pi12 );
    n797 <= ( not lo108 and not n880 )
      or ( lo108 and n880 );
    n798 <= ( n797 and not n886 )
      or ( n797 and not n794 )
      or ( lo062 and n886 and n794 );
    li108 <= ( n798 and not pi12 );
    n800 <= ( n887 and not n886 )
      or ( n887 and not n794 )
      or ( lo060 and n886 and n794 );
    li109 <= ( n800 and not pi12 );
    n802 <= ( n888 and not n886 )
      or ( n888 and not n794 )
      or ( lo058 and n886 and n794 );
    li110 <= ( n802 and not pi12 );
    n804 <= ( not lo111 and not n879 )
      or ( lo111 and n879 );
    n805 <= ( n804 and not n886 )
      or ( n804 and not n794 )
      or ( lo056 and n886 and n794 );
    li111 <= ( n805 and not pi12 );
    n807 <= ( n889 and not n886 )
      or ( n889 and not n794 )
      or ( lo054 and n886 and n794 );
    li112 <= ( n807 and not pi12 );
    li118 <= not (( not lo122 and n885 )
      or ( not lo132 and lo006 ));
    li113 <= ( not pi12 and not n890 and not li118 )
      or ( not pi12 and li118 and lo053 );
    n811 <= ( n881 and lo114 )
      or ( n881 and n886 and n794 );
    li114 <= ( n811 and not pi12 );
    n813 <= ( not lo114 and lo115 )
      or ( lo114 and not lo115 );
    n814 <= ( n813 and not n886 )
      or ( n813 and not n794 )
      or ( lo050 and n886 and n794 );
    li115 <= ( n814 and not pi12 );
    li116 <= ( lo117 and not pi12 );
    n817 <= ( lo134 and not lo136 )
      or ( lo135 and not lo136 );
    n818 <= ( n881 and lo119 )
      or ( n881 and pi13 and n817 );
    li119 <= ( n818 and not pi12 );
    li120 <= ( not pi13 and not n893 and not pi12 )
      or ( not pi12 and n894 );
    li121 <= ( pi13 and not n893 and not pi12 )
      or ( not pi12 and n895 );
    n822 <= ( lo122 and lo006 and not lo132 )
      or ( not n885 and lo006 and not lo132 );
    li122 <= ( n822 and not pi12 );
    li123 <= ( not n893 and not pi12 and lo048 )
      or ( n893 and not pi12 and not n896 );
    n825 <= ( not lo124 and n884 )
      or ( lo124 and not n884 );
    li124 <= ( not n893 and not pi12 and lo045 )
      or ( n893 and not pi12 and not n825 );
    li125 <= ( not n893 and not pi12 and lo042 )
      or ( n893 and not pi12 and not n897 );
    li126 <= ( not pi12 and not n898 and n893 )
      or ( not pi12 and not n893 and lo040 );
    n829 <= ( not lo127 and n883 )
      or ( lo127 and not n883 );
    li127 <= ( not pi12 and not n829 and n893 )
      or ( not pi12 and not n893 and lo037 );
    li128 <= ( not pi12 and not n899 and n893 )
      or ( not pi12 and not n893 and lo034 );
    li129 <= ( not n893 and not pi12 and lo030 )
      or ( n893 and not pi12 and not n900 );
    n833 <= ( not lo130 and lo131 )
      or ( lo130 and not lo131 );
    li130 <= ( not n893 and not pi12 and lo027 )
      or ( n893 and not pi12 and n833 );
    li131 <= ( n885 and lo131 and not pi12 )
      or ( n885 and not n893 and not pi12 );
    li134 <= ( n599 and pi06 and lo025 and not lo147 );
    li135 <= ( lo136 and lo134 and not pi12 )
      or ( lo136 and lo135 and not pi12 );
    n838 <= not (( not n903 )
      or ( not lo136 and not lo134 and not lo135 ));
    li136 <= ( n838 and not pi12 );
    n840 <= not (( not lo134 and not lo135 ));
    n841 <= ( n904 and lo136 )
      or ( n904 and not n840 )
      or ( lo024 and not lo136 and n840 );
    li137 <= ( n841 and not pi12 );
    n843 <= ( not lo138 and not n892 )
      or ( lo138 and n892 );
    n844 <= ( n843 and lo136 )
      or ( n843 and not n840 )
      or ( lo021 and not lo136 and n840 );
    li138 <= ( n844 and not pi12 );
    n846 <= ( n905 and lo136 )
      or ( n905 and not n840 )
      or ( lo018 and not lo136 and n840 );
    li139 <= ( n846 and not pi12 );
    n848 <= ( n906 and lo136 )
      or ( n906 and not n840 )
      or ( lo015 and not lo136 and n840 );
    li140 <= ( n848 and not pi12 );
    n850 <= ( not lo141 and not n891 )
      or ( lo141 and n891 );
    n851 <= ( n850 and lo136 )
      or ( n850 and not n840 )
      or ( lo012 and not lo136 and n840 );
    li141 <= ( n851 and not pi12 );
    li142 <= ( not pi12 and not n907 and not n817 )
      or ( not pi12 and n817 and lo010 );
    li143 <= ( not pi12 and not n908 and not n817 )
      or ( not pi12 and n817 and lo007 );
    n855 <= ( not lo144 and lo145 )
      or ( lo144 and not lo145 );
    n856 <= ( n855 and lo136 )
      or ( n855 and not n840 )
      or ( lo001 and not lo136 and n840 );
    li144 <= ( n856 and not pi12 );
    n858 <= ( n893 and not lo136 and n840 )
      or ( n893 and lo145 );
    li145 <= ( n858 and not pi12 );
    li147 <= ( n599 and pi06 and not lo000 );
    n861 <= ( n909 and not n886 )
      or ( n909 and not n794 )
      or ( lo080 and n886 and n794 );
    li148 <= ( n861 and not pi12 );
    n863 <= ( not lo149 and not n902 )
      or ( lo149 and n902 );
    n864 <= ( n863 and not n886 )
      or ( n863 and not n794 )
      or ( lo078 and n886 and n794 );
    li149 <= ( n864 and not pi12 );
    n866 <= ( n910 and not n886 )
      or ( n910 and not n794 )
      or ( lo076 and n886 and n794 );
    li150 <= ( n866 and not pi12 );
    li151 <= ( not pi12 and not n911 and not li118 )
      or ( not pi12 and li118 and lo075 );
    n869 <= ( not lo152 and not n901 )
      or ( lo152 and n901 );
    n870 <= ( n869 and not n886 )
      or ( n869 and not n794 )
      or ( lo072 and n886 and n794 );
    li152 <= ( n870 and not pi12 );
    li153 <= ( not pi12 and not n912 and not li118 )
      or ( not pi12 and li118 and lo071 );
    li154 <= ( not pi12 and not n913 and not li118 )
      or ( not pi12 and li118 and lo069 );
    n874 <= ( n903 and n886 and n794 )
      or ( n903 and lo155 );
    li155 <= ( n874 and not pi12 );
    n876 <= ( not lo155 and not lo156 )
      or ( lo155 and lo156 );
    li156 <= ( not pi12 and not n876 and not li118 )
      or ( not pi12 and li118 and lo067 );
    n878 <= ( pi04 and pi05 and pi03 )
      or ( pi03 and pi06 );
    n879 <= not (( lo114 and not lo115 and lo113 and not lo112 ));
    n880 <= not (( not lo111 and not n879 and not lo110 and not lo109 ));
    n881 <= not (( not lo108 and not n880 and not lo107 ));
    n882 <= ( not lo108 and not n880 and not lo107 )
      or ( lo108 and lo107 )
      or ( n880 and lo107 );
    n883 <= not (( not lo130 and lo131 and not lo129 and lo128 ));
    n884 <= not (( lo127 and not n883 and lo126 and not lo125 ));
    n885 <= not (( not lo124 and not n884 and not lo123 ));
    n886 <= ( not lo124 and not n884 and not lo123 )
      or ( lo122 );
    n887 <= ( not lo111 and not n879 and not lo110 and not lo109 )
      or ( lo111 and lo109 )
      or ( n879 and lo109 )
      or ( lo110 and lo109 );
    n888 <= ( not lo111 and not n879 and not lo110 )
      or ( lo111 and lo110 )
      or ( n879 and lo110 );
    n889 <= ( not lo114 and lo112 )
      or ( lo114 and not lo115 and lo113 and not lo112 )
      or ( lo115 and lo112 )
      or ( not lo113 and lo112 );
    n890 <= ( not lo114 and not lo113 )
      or ( lo114 and not lo115 and lo113 )
      or ( lo115 and not lo113 );
    n891 <= not (( not lo144 and lo145 and lo143 and lo142 ));
    n892 <= not (( not lo141 and not n891 and not lo140 and not lo139 ));
    n893 <= not (( not lo138 and not n892 and not lo137 ));
    n894 <= ( not lo132 and lo006 and lo120 )
      or ( lo120 and not n886 );
    n895 <= ( not lo132 and lo006 and lo121 )
      or ( lo121 and not n886 );
    n896 <= ( not lo124 and not n884 and lo123 )
      or ( lo124 and not lo123 )
      or ( n884 and not lo123 );
    n897 <= ( not lo127 and not lo125 )
      or ( lo127 and not n883 and lo126 and lo125 )
      or ( n883 and not lo125 )
      or ( not lo126 and not lo125 );
    n898 <= ( not lo127 and not lo126 )
      or ( lo127 and not n883 and lo126 )
      or ( n883 and not lo126 );
    n899 <= ( not lo130 and lo131 and not lo129 and lo128 )
      or ( lo130 and not lo128 )
      or ( not lo131 and not lo128 )
      or ( lo129 and not lo128 );
    n900 <= ( not lo130 and lo131 and lo129 )
      or ( lo130 and not lo129 )
      or ( not lo131 and not lo129 );
    n901 <= not (( lo155 and lo156 and lo154 and lo153 ));
    n902 <= not (( not lo152 and not n901 and lo151 and not lo150 ));
    n903 <= not (( not lo149 and not n902 and not lo148 ));
    n904 <= ( not lo138 and not n892 and not lo137 )
      or ( lo138 and lo137 )
      or ( n892 and lo137 );
    n905 <= ( not lo141 and not n891 and not lo140 and not lo139 )
      or ( lo141 and lo139 )
      or ( n891 and lo139 )
      or ( lo140 and lo139 );
    n906 <= ( not lo141 and not n891 and not lo140 )
      or ( lo141 and lo140 )
      or ( n891 and lo140 );
    n907 <= ( not lo144 and lo145 and lo143 and lo142 )
      or ( lo144 and not lo142 )
      or ( not lo145 and not lo142 )
      or ( not lo143 and not lo142 );
    n908 <= ( not lo144 and lo145 and lo143 )
      or ( lo144 and not lo143 )
      or ( not lo145 and not lo143 );
    n909 <= ( not lo149 and not n902 and not lo148 )
      or ( lo149 and lo148 )
      or ( n902 and lo148 );
    n910 <= ( not lo152 and not n901 and lo151 and not lo150 )
      or ( lo152 and lo150 )
      or ( n901 and lo150 )
      or ( not lo151 and lo150 );
    n911 <= ( not lo152 and not n901 and lo151 )
      or ( lo152 and not lo151 )
      or ( n901 and not lo151 );
    n912 <= ( not lo155 and not lo153 )
      or ( lo155 and lo156 and lo154 and lo153 )
      or ( not lo156 and not lo153 )
      or ( not lo154 and not lo153 );
    n913 <= ( not lo155 and not lo154 )
      or ( lo155 and lo156 and lo154 )
      or ( not lo156 and not lo154 );
    li117 <= ( lo133 );
    li132 <= ( lo146 );
    li133 <= ( pi61 );
    li146 <= ( pi62 );
    po35 <= ( lo082 );
    po36 <= ( lo083 );
    po37 <= ( lo084 );
    po38 <= ( lo085 );
    po39 <= ( lo086 );
    po40 <= ( lo087 );
    po41 <= ( lo088 );
    po42 <= ( lo089 );
    po43 <= ( lo090 );
    po44 <= ( lo091 );
    po45 <= ( lo092 );
    po46 <= ( lo093 );
    po47 <= ( lo094 );
    po48 <= ( lo095 );
    po49 <= ( lo096 );
    po50 <= ( lo097 );
    po51 <= ( lo098 );
    po52 <= ( lo099 );
    po53 <= ( lo100 );
    po54 <= ( lo101 );
    po55 <= ( lo102 );
end QUIP__oc_ata_v_behav;
