--- 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_rtc 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, 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: inout std_logic
  );
end QUIP__oc_rtc;

architecture QUIP__oc_rtc_behav of QUIP__oc_rtc 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,li000,n434,li003,n437,li006,n440,li009,n443,li012,n446,li015,n449,li018,n452,li021,n455,li024,n458,li027,n461,li030,n464,li033,n467,li036,n470,li039,n473,li042,n476,li045,n479,li048,n482,li051,n485,li054,n488,li057,n491,li060,n494,li063,n497,li066,n500,li069,n503,li072,n506,li075,n509,li078,n512,li081,li082,li083,li084,li085,n524,n525,n526,n527,n528,n531,n532,n533,n534,n535,n536,n537,n538,n539,n540,n541,n542,n543,n544,n545,n546,n547,n548,n549,n550,n551,n552,n553,n554,n555,n556,n557,n558,n559,n560,n561,n562,n563,n564,n565,li001,n567,n568,li002,n570,n571,n572,n573,n574,n575,li004,li005,n578,li007,n580,li008,n582,li010,n584,li011,n586,n587,n588,n589,n590,li013,li014,n593,li016,n595,li017,n597,n598,n599,li019,li020,n602,li022,li023,li025,n606,li026,n608,li028,n610,li029,n612,n613,li031,n615,n616,li032,n618,n619,n620,li034,n622,n623,li035,li037,li038,li040,li041,n629,li043,n631,li044,n633,n634,li046,n636,li047,n638,li049,n640,li050,li052,n643,li053,li055,n646,n647,li056,n649,n650,n651,li058,li059,li061,li062,li064,n657,li065,n659,li067,n661,li068,n663,n664,n665,li070,n667,li071,li073,n670,n671,n672,li074,li076,n675,li077,n677,li079,n679,li080,li087,li088,li089,li090,n685,li091,li092,li093,li094,n690,li095,li096,li097,li098,n695,li099,li100,li101,li102,n700,n701,li103,li104,li105,li106,n706,li107,li108,li109,li110,n711,li111,li112,li113,n715,n716,li086,n718,n719,n720,n721,n722,n723,n724,n725,n726,n727,n728,n729,n730,n731,n732,n733,n734,n735,n736,n737,n738,n739,n740,n741,n742,n743,n744,n745,n746,n747,n748,n749,n750,n751,n752,n753,n754,n756,n757,n758,n759,n760,n761,n762,n763,n764,n765,n766,n767,n768,n769,n770,n771,n772,n773,n774,n775,n776,n777,n778,n779,n780,n781,n782,n783,n784,n785,n786,n787,n788,n789,n790,n791,n792,n793,n794,n795,n796,n797,n798,n799,n800: 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);
    li000 <= ( not n532 and lo000 )
      or ( n532 and pi22 );
    n434 <= ( lo001 and pi01 )
      or ( lo002 and not pi01 );
    po00 <= ( lo000 and pi00 )
      or ( not pi00 and n434 and not pi02 );
    li003 <= ( not n532 and lo003 )
      or ( n532 and pi25 );
    n437 <= ( lo004 and pi01 )
      or ( lo005 and not pi01 );
    po01 <= ( lo003 and pi00 )
      or ( not pi00 and n437 and not pi02 );
    li006 <= ( not n532 and lo006 )
      or ( n532 and pi26 );
    n440 <= ( lo007 and pi01 )
      or ( lo008 and not pi01 );
    po02 <= ( lo006 and pi00 )
      or ( not pi00 and n440 and not pi02 );
    li009 <= ( not n532 and lo009 )
      or ( n532 and pi27 );
    n443 <= ( lo010 and pi01 )
      or ( lo011 and not pi01 );
    po03 <= ( lo009 and pi00 )
      or ( not pi00 and n443 and not pi02 );
    li012 <= ( not n532 and lo012 )
      or ( n532 and pi28 );
    n446 <= ( lo013 and pi01 )
      or ( lo014 and not pi01 );
    po04 <= ( lo012 and pi00 )
      or ( not pi00 and n446 and not pi02 );
    li015 <= ( not n532 and lo015 )
      or ( n532 and pi29 );
    n449 <= ( lo016 and pi01 )
      or ( lo017 and not pi01 );
    po05 <= ( lo015 and pi00 )
      or ( not pi00 and n449 and not pi02 );
    li018 <= ( not n532 and lo018 )
      or ( n532 and pi30 );
    n452 <= ( lo019 and pi01 )
      or ( lo020 and not pi01 );
    po06 <= ( lo018 and pi00 )
      or ( not pi00 and n452 and not pi02 );
    li021 <= ( not n532 and lo021 )
      or ( n532 and pi31 );
    n455 <= ( lo022 and pi01 )
      or ( lo023 and not pi01 );
    po07 <= ( lo021 and pi00 )
      or ( not pi00 and n455 and not pi02 );
    li024 <= ( not n532 and lo024 )
      or ( n532 and pi32 );
    n458 <= ( lo025 and pi01 )
      or ( lo026 and not pi01 );
    po08 <= ( lo024 and pi00 )
      or ( not pi00 and n458 and not pi02 );
    li027 <= ( not n532 and lo027 )
      or ( n532 and pi33 );
    n461 <= ( lo028 and pi01 )
      or ( lo029 and not pi01 );
    po09 <= ( lo027 and pi00 )
      or ( not pi00 and n461 and not pi02 );
    li030 <= ( not n532 and lo030 )
      or ( n532 and pi34 );
    n464 <= ( lo031 and pi01 )
      or ( lo032 and not pi01 );
    po10 <= ( lo030 and pi00 )
      or ( not pi00 and n464 and not pi02 );
    li033 <= ( not n532 and lo033 )
      or ( n532 and pi35 );
    n467 <= ( lo034 and pi01 )
      or ( lo035 and not pi01 );
    po11 <= ( lo033 and pi00 )
      or ( not pi00 and n467 and not pi02 );
    li036 <= ( not n532 and lo036 )
      or ( n532 and pi36 );
    n470 <= ( lo037 and pi01 )
      or ( lo038 and not pi01 );
    po12 <= ( lo036 and pi00 )
      or ( not pi00 and n470 and not pi02 );
    li039 <= ( not n532 and lo039 )
      or ( n532 and pi37 );
    n473 <= ( lo040 and pi01 )
      or ( lo041 and not pi01 );
    po13 <= ( lo039 and pi00 )
      or ( not pi00 and n473 and not pi02 );
    li042 <= ( not n532 and lo042 )
      or ( n532 and pi38 );
    n476 <= ( lo043 and pi01 )
      or ( lo044 and not pi01 );
    po14 <= ( lo042 and pi00 )
      or ( not pi00 and n476 and not pi02 );
    li045 <= ( not n532 and lo045 )
      or ( n532 and pi39 );
    n479 <= ( lo046 and pi01 )
      or ( lo047 and not pi01 );
    po15 <= ( lo045 and pi00 )
      or ( not pi00 and n479 and not pi02 );
    li048 <= ( not n532 and lo048 )
      or ( n532 and pi40 );
    n482 <= ( lo049 and pi01 )
      or ( lo050 and not pi01 );
    po16 <= ( lo048 and pi00 )
      or ( not pi00 and n482 and not pi02 );
    li051 <= ( not n532 and lo051 )
      or ( n532 and pi41 );
    n485 <= ( lo052 and pi01 )
      or ( lo053 and not pi01 );
    po17 <= ( lo051 and pi00 )
      or ( not pi00 and n485 and not pi02 );
    li054 <= ( not n532 and lo054 )
      or ( n532 and pi42 );
    n488 <= ( lo055 and pi01 )
      or ( lo056 and not pi01 );
    po18 <= ( lo054 and pi00 )
      or ( not pi00 and n488 and not pi02 );
    li057 <= ( not n532 and lo057 )
      or ( n532 and pi43 );
    n491 <= ( lo058 and pi01 )
      or ( lo059 and not pi01 );
    po19 <= ( lo057 and pi00 )
      or ( not pi00 and n491 and not pi02 );
    li060 <= ( not n532 and lo060 )
      or ( n532 and pi44 );
    n494 <= ( lo061 and pi01 )
      or ( lo062 and not pi01 );
    po20 <= ( lo060 and pi00 )
      or ( not pi00 and n494 and not pi02 );
    li063 <= ( not n532 and lo063 )
      or ( n532 and pi45 );
    n497 <= ( lo064 and pi01 )
      or ( lo065 and not pi01 );
    po21 <= ( lo063 and pi00 )
      or ( not pi00 and n497 and not pi02 );
    li066 <= ( not n532 and lo066 )
      or ( n532 and pi46 );
    n500 <= ( lo067 and pi01 )
      or ( lo068 and not pi01 );
    po22 <= ( lo066 and pi00 )
      or ( not pi00 and n500 and not pi02 );
    li069 <= ( not n532 and lo069 )
      or ( n532 and pi47 );
    n503 <= ( lo070 and pi01 )
      or ( lo071 and not pi01 );
    po23 <= ( lo069 and pi00 )
      or ( not pi00 and n503 and not pi02 );
    li072 <= ( not n532 and lo072 )
      or ( n532 and pi48 );
    n506 <= ( lo073 and pi01 )
      or ( lo074 and not pi01 );
    po24 <= ( lo072 and pi00 )
      or ( not pi00 and n506 and not pi02 );
    li075 <= ( not n532 and lo075 )
      or ( n532 and pi49 );
    n509 <= ( lo076 and pi01 )
      or ( lo077 and not pi01 );
    po25 <= ( lo075 and pi00 )
      or ( not pi00 and n509 and not pi02 );
    li078 <= ( not n532 and lo078 )
      or ( n532 and pi50 );
    n512 <= ( lo079 and pi01 )
      or ( lo080 and not pi01 );
    po26 <= ( lo078 and pi00 )
      or ( not pi00 and n512 and not pi02 );
    li081 <= ( not n532 and lo081 )
      or ( n532 and pi51 );
    po27 <= ( pi00 and lo081 );
    li082 <= ( not n532 and lo082 )
      or ( n532 and pi52 );
    po28 <= ( pi00 and lo082 );
    li083 <= ( not n532 and lo083 )
      or ( n532 and pi53 );
    po29 <= ( pi00 and lo083 );
    li084 <= ( not n532 and lo084 )
      or ( n532 and pi54 );
    po30 <= ( pi00 and lo084 );
    li085 <= ( not n532 and lo085 )
      or ( n532 and pi55 );
    po31 <= ( pi00 and lo085 );
    n524 <= not (( pi05 and pi06 and pi07 and pi08 ));
    n525 <= ( not pi09 and not pi10 and not pi11 and not pi12 );
    n526 <= ( not pi13 and not pi14 and not pi15 and not pi16 );
    n527 <= ( not pi17 and not pi18 and not pi19 and not pi20 );
    n528 <= ( n525 and n526 and n527 and not pi21 );
    po33 <= ( n524 )
      or ( pi03 and pi04 and not n528 );
    po34 <= ( lo083 and lo084 );
    n531 <= ( pi03 and pi04 and n528 and pi24 );
    n532 <= ( pi00 and n531 and not pi01 and not pi02 );
    n533 <= ( lo001 and lo010 and not lo004 and not lo007 );
    n534 <= ( lo071 and not lo068 );
    n535 <= ( lo014 and lo023 and not lo017 and not lo020 );
    n536 <= ( lo002 and lo011 and not lo005 and not lo008 );
    n537 <= not (( not pi23 and not n535 )
      or ( not pi23 and not lo081 and not n536 ));
    n538 <= ( lo032 and not lo029 );
    n539 <= ( pi23 )
      or ( lo026 and n537 and n538 );
    n540 <= ( lo035 and lo044 and not lo038 and not lo041 );
    n541 <= ( lo047 and pi23 )
      or ( lo047 and n539 and n540 );
    n542 <= ( pi23 )
      or ( lo053 and n541 and not lo050 );
    n543 <= not (( not lo059 and lo065 )
      or ( lo059 and not lo068 and lo071 and not lo065 ));
    n544 <= not (( not lo062 and not n543 and lo056 ));
    n545 <= ( n534 and pi23 )
      or ( n534 and n542 and not n544 );
    n546 <= ( not pi23 and lo001 and not n545 )
      or ( pi23 and not lo001 and not n545 )
      or ( not n533 and not lo001 and n545 );
    n547 <= ( not lo040 and not lo043 and not lo049 and not lo052 );
    n548 <= not (( not lo067 and not lo061 and not lo070 )
      or ( not lo067 and lo061 and lo070 )
      or ( not lo064 and not lo061 and not lo070 ));
    n549 <= ( n547 and lo058 and not lo055 )
      or ( n547 and n548 and not lo055 );
    n550 <= not (( not lo034 and not n549 and not lo037 and not lo046 )
      or ( not lo034 and lo037 and lo046 ));
    n551 <= ( lo022 and not lo019 and not lo025 and not lo028 );
    n552 <= ( n551 and not lo013 and not lo031 );
    n553 <= ( lo010 and n550 and n552 and not lo001 );
    n554 <= ( not lo031 and not lo022 and lo028 )
      or ( lo031 and not lo028 );
    n555 <= ( not lo001 and lo019 and not lo022 and n554 )
      or ( lo001 and not lo019 and n554 );
    n556 <= ( not lo001 and lo028 )
      or ( not lo001 and lo031 )
      or ( lo019 and not lo028 and not lo031 );
    n557 <= ( not lo025 and n555 )
      or ( lo025 and not lo001 and not n556 )
      or ( lo001 and n556 );
    n558 <= ( n553 )
      or ( lo013 and n557 and not lo010 );
    n559 <= ( lo016 and n558 and not lo004 and not lo007 );
    n560 <= ( lo016 and n533 and n552 and not lo034 );
    n561 <= ( not lo061 and not lo070 and not lo064 )
      or ( not lo061 and not lo070 and not lo067 )
      or ( lo061 and lo070 and not lo067 );
    n562 <= not (( not lo055 and not n561 and n547 )
      or ( not lo055 and lo058 and n547 ));
    n563 <= ( n560 and not lo037 and not lo046 and n562 )
      or ( n560 and lo037 and lo046 );
    n564 <= not (( not pi23 and not n545 )
      or ( not pi23 and not n559 and not n563 ));
    n565 <= ( pi01 and n531 and not pi00 and not pi02 );
    li001 <= not (( not pi22 and n565 )
      or ( not n546 and not n564 and not n565 ));
    n567 <= ( n531 and not pi00 and not pi01 and not pi02 );
    n568 <= not (( not lo081 and not pi23 and not n536 ));
    li002 <= ( pi22 and n567 )
      or ( not n567 and n756 and not n568 );
    n570 <= ( n565 and pi25 );
    n571 <= ( not n533 and not n559 and not n563 );
    n572 <= ( n571 and not pi23 and not n565 )
      or ( not n545 and not pi23 and not n565 );
    n573 <= ( lo053 and not lo050 );
    n574 <= not (( not n544 and n541 and n573 )
      or ( not n544 and pi23 ));
    n575 <= ( lo001 and pi23 )
      or ( lo001 and n534 and not n574 );
    li004 <= ( n570 )
      or ( n572 and not lo004 and n575 )
      or ( n572 and lo004 and not n575 );
    li005 <= ( pi25 and n567 )
      or ( not n567 and n757 and not n568 );
    n578 <= ( not lo007 and lo004 and n575 )
      or ( lo007 and not lo004 )
      or ( lo007 and not n575 );
    li007 <= ( n565 and pi26 )
      or ( n572 and n578 );
    n580 <= ( not lo008 and n758 )
      or ( lo008 and not n758 );
    li008 <= ( pi26 and n567 )
      or ( not n567 and n580 and not n568 );
    n582 <= ( not lo010 and lo004 and lo007 and n575 )
      or ( lo010 and not lo004 )
      or ( lo010 and not lo007 )
      or ( lo010 and not n575 );
    li010 <= ( n565 and pi27 )
      or ( n572 and n582 );
    n584 <= ( not lo008 and lo011 )
      or ( lo008 and n758 and not lo011 )
      or ( not n758 and lo011 );
    li011 <= ( pi27 and n567 )
      or ( not n567 and not n568 and n584 );
    n586 <= ( not pi23 and not n545 and lo013 )
      or ( pi23 and not lo013 and n533 )
      or ( n545 and not lo013 and n533 )
      or ( lo013 and not n533 );
    n587 <= ( lo016 and lo013 )
      or ( lo016 and n551 and not lo031 );
    n588 <= ( n545 and n559 )
      or ( n545 and n563 );
    n589 <= ( n533 and pi23 )
      or ( n533 and n545 );
    n590 <= not (( not pi23 and not n587 )
      or ( not pi23 and not n588 and not n589 ));
    li013 <= ( pi28 and n565 )
      or ( not n565 and n586 and not n590 );
    li014 <= ( pi28 and n567 )
      or ( not n567 and n759 and not n537 );
    n593 <= ( not lo016 and lo013 and n589 )
      or ( lo016 and not lo013 )
      or ( lo016 and not n589 );
    li016 <= ( pi29 and n565 )
      or ( not n565 and n593 and not n590 );
    n595 <= ( not lo017 and n760 )
      or ( lo017 and not n760 );
    li017 <= ( pi29 and n567 )
      or ( not n567 and n595 and not n537 );
    n597 <= not (( lo031 and n551 and n590 )
      or ( pi23 ));
    n598 <= not (( not lo022 and not lo031 and lo019 and lo028 ));
    n599 <= ( not n590 and lo019 )
      or ( n590 and not lo019 and lo025 )
      or ( n590 and not lo019 and n598 );
    li019 <= not (( not pi30 and n565 )
      or ( n597 and not n565 and not n599 ));
    li020 <= ( pi30 and n567 )
      or ( not n567 and n761 and not n537 );
    n602 <= not (( not n597 )
      or ( not lo025 and not n598 and n590 ));
    li022 <= ( pi31 and n565 )
      or ( n762 and n602 and not n565 );
    li023 <= ( pi31 and n567 )
      or ( not n567 and not n537 and n763 );
    li025 <= ( pi32 and n565 )
      or ( n602 and n765 and not n565 );
    n606 <= ( not lo026 and n537 )
      or ( lo026 and not n537 );
    li026 <= ( pi32 and n567 )
      or ( not n567 and n606 and not n539 );
    n608 <= ( not lo025 and lo028 )
      or ( lo025 and n764 and not lo028 )
      or ( not n764 and lo028 );
    li028 <= ( pi33 and n565 )
      or ( n602 and not n565 and n608 );
    n610 <= ( not lo029 and lo026 and n537 )
      or ( lo029 and not lo026 )
      or ( lo029 and not n537 );
    li029 <= ( pi33 and n567 )
      or ( not n567 and n610 and not n539 );
    n612 <= ( lo031 )
      or ( n590 and not lo025 and not n598 );
    n613 <= ( pi23 )
      or ( lo031 and n551 and n590 );
    li031 <= ( pi34 and n565 )
      or ( not n565 and n612 and not n613 );
    n615 <= ( lo026 and pi23 )
      or ( lo026 and n568 and n535 );
    n616 <= ( not lo032 and lo029 and n615 )
      or ( lo032 and not lo029 )
      or ( lo032 and not n615 );
    li032 <= ( pi34 and n567 )
      or ( not n567 and n616 and not n539 );
    n618 <= ( not n613 and lo034 )
      or ( n613 and not lo034 );
    n619 <= ( lo034 and lo043 and not lo037 and not lo040 );
    n620 <= ( pi23 )
      or ( n613 and n619 );
    li034 <= ( pi35 and n565 )
      or ( not n565 and n618 and not n620 );
    n622 <= ( not n539 and lo035 )
      or ( n539 and not lo035 );
    n623 <= ( pi23 )
      or ( n539 and n540 );
    li035 <= ( pi35 and n567 )
      or ( not n567 and n622 and not n623 );
    li037 <= ( pi36 and n565 )
      or ( not n565 and n766 and not n620 );
    li038 <= ( pi36 and n567 )
      or ( not n567 and n767 and not n623 );
    li040 <= ( pi37 and n565 )
      or ( not n565 and n769 and not n620 );
    li041 <= ( pi37 and n567 )
      or ( not n567 and n771 and not n623 );
    n629 <= ( not lo040 and lo043 )
      or ( lo040 and n768 and not lo043 )
      or ( not n768 and lo043 );
    li043 <= ( pi38 and n565 )
      or ( not n565 and not n620 and n629 );
    n631 <= ( not lo041 and lo044 )
      or ( lo041 and n770 and not lo044 )
      or ( not n770 and lo044 );
    li044 <= ( pi38 and n567 )
      or ( not n567 and not n623 and n631 );
    n633 <= ( lo046 and lo055 and not lo049 and not lo052 );
    n634 <= ( pi23 )
      or ( n613 and n619 and n633 );
    li046 <= ( pi39 and n565 )
      or ( not n565 and n772 and not n634 );
    n636 <= ( not n539 and not pi23 and lo047 )
      or ( n539 and n540 and not lo047 )
      or ( not n540 and not pi23 and lo047 )
      or ( pi23 and not lo047 );
    li047 <= ( pi39 and n567 )
      or ( not n567 and n636 and not n542 );
    n638 <= ( not lo049 and n773 )
      or ( lo049 and not n773 );
    li049 <= ( pi40 and n565 )
      or ( not n565 and n638 and not n634 );
    n640 <= ( not lo050 and n541 )
      or ( lo050 and not n541 );
    li050 <= ( pi40 and n567 )
      or ( not n567 and n640 and not n542 );
    li052 <= ( pi41 and n565 )
      or ( not n565 and n774 and not n634 );
    n643 <= ( not lo053 and lo050 and n541 )
      or ( lo053 and not lo050 )
      or ( lo053 and not n541 );
    li053 <= ( pi41 and n567 )
      or ( not n567 and n643 and not n542 );
    li055 <= ( pi42 and n565 )
      or ( not n565 and not n634 and n775 );
    n646 <= ( not n542 and lo056 )
      or ( n542 and not lo056 );
    n647 <= ( pi23 )
      or ( n541 and n573 and not n544 );
    li056 <= ( pi42 and n567 )
      or ( not n567 and n646 and not n647 );
    n649 <= ( not n634 and lo058 )
      or ( n634 and not lo058 );
    n650 <= ( lo058 and lo067 and not lo061 and not lo064 );
    n651 <= ( pi23 )
      or ( n620 and n633 and n650 );
    li058 <= ( pi43 and n565 )
      or ( not n565 and n649 and not n651 );
    li059 <= ( pi43 and n567 )
      or ( not n567 and n776 and not n647 );
    li061 <= ( pi44 and n565 )
      or ( not n565 and n777 and not n651 );
    li062 <= ( pi44 and n567 )
      or ( not n567 and n779 and not n647 );
    li064 <= ( pi45 and n565 )
      or ( not n565 and n781 and not n651 );
    n657 <= ( not lo062 and lo065 )
      or ( lo062 and n778 and not lo065 )
      or ( not n778 and lo065 );
    li065 <= ( pi45 and n567 )
      or ( not n567 and not n647 and n657 );
    n659 <= ( not lo064 and lo067 )
      or ( lo064 and n780 and not lo067 )
      or ( not n780 and lo067 );
    li067 <= ( pi46 and n565 )
      or ( not n565 and not n651 and n659 );
    n661 <= ( not lo068 and not n574 and not lo071 )
      or ( lo068 and n574 );
    li068 <= ( pi46 and n567 )
      or ( not n567 and n661 and not pi23 );
    n663 <= ( not n651 and lo070 )
      or ( n651 and not lo070 );
    n664 <= ( lo070 and lo079 and not lo073 and not lo076 );
    n665 <= ( pi23 and not n565 )
      or ( n651 and n664 and not n565 );
    li070 <= ( pi47 and n565 and not n665 )
      or ( n663 and not n565 and not n665 );
    n667 <= ( not lo071 and not n574 and lo068 )
      or ( lo071 and n574 );
    li071 <= ( pi47 and n567 )
      or ( not n567 and n667 and not pi23 );
    li073 <= ( pi48 and n565 and not n665 )
      or ( n782 and not n565 and not n665 );
    n670 <= ( lo074 and pi23 )
      or ( lo074 and n534 and not n574 );
    n671 <= ( pi23 )
      or ( lo077 and lo080 and n670 );
    n672 <= ( not n574 and n534 and not lo074 )
      or ( n574 and not pi23 and lo074 )
      or ( not n534 and not pi23 and lo074 )
      or ( pi23 and not lo074 );
    li074 <= not (( not pi48 and n567 )
      or ( not n671 and not n672 and not n567 ));
    li076 <= ( pi49 and n565 and not n665 )
      or ( n784 and not n565 and not n665 );
    n675 <= ( not lo077 and n670 )
      or ( lo077 and not n670 );
    li077 <= ( pi49 and n567 )
      or ( not n567 and n675 and not n671 );
    n677 <= ( not lo076 and lo079 )
      or ( lo076 and n783 and not lo079 )
      or ( not n783 and lo079 );
    li079 <= ( pi50 and n565 and not n665 )
      or ( not n565 and not n665 and n677 );
    n679 <= ( not lo080 and lo077 and n670 )
      or ( lo080 and not lo077 )
      or ( lo080 and not n670 );
    li080 <= ( pi50 and n567 )
      or ( not n567 and n679 and not n671 );
    li087 <= ( not n719 and lo087 )
      or ( n719 and n718 );
    li088 <= ( not n719 and lo088 )
      or ( n719 and n720 );
    li089 <= ( not n719 and lo089 )
      or ( n719 and n722 );
    li090 <= ( not n719 and lo090 )
      or ( n719 and n723 );
    n685 <= not (( not lo087 and not lo088 and not lo089 and not lo090 ));
    li091 <= ( not n719 and lo091 )
      or ( n719 and n724 );
    li092 <= ( not n719 and lo092 )
      or ( n719 and n726 );
    li093 <= ( not n719 and lo093 )
      or ( n719 and n727 );
    li094 <= ( not n719 and lo094 )
      or ( n719 and n728 );
    n690 <= not (( not lo091 and not lo092 and not lo093 and not lo094 ));
    li095 <= ( not n719 and lo095 )
      or ( n719 and n730 );
    li096 <= ( not n719 and lo096 )
      or ( n719 and n731 );
    li097 <= ( not n719 and lo097 )
      or ( n719 and n732 );
    li098 <= ( not n719 and lo098 )
      or ( n719 and n734 );
    n695 <= not (( not lo095 and not lo096 and not lo097 and not lo098 ));
    li099 <= ( not n719 and lo099 )
      or ( n719 and n735 );
    li100 <= ( not n719 and lo100 )
      or ( n719 and n736 );
    li101 <= ( not n719 and lo101 )
      or ( n719 and n738 );
    li102 <= ( not n719 and lo102 )
      or ( n719 and n739 );
    n700 <= not (( not lo099 and not lo100 and not lo101 and not lo102 ));
    n701 <= not (( not n685 and not n690 and not n695 and not n700 ));
    li103 <= ( not n719 and lo103 )
      or ( n719 and n740 );
    li104 <= ( not n719 and lo104 )
      or ( n719 and n742 );
    li105 <= ( not n719 and lo105 )
      or ( n719 and n743 );
    li106 <= ( not n719 and lo106 )
      or ( n719 and n744 );
    n706 <= not (( not lo103 and not lo104 and not lo105 and not lo106 ));
    li107 <= ( not n719 and lo107 )
      or ( n719 and n746 );
    li108 <= ( not n719 and lo108 )
      or ( n719 and n747 );
    li109 <= ( not n719 and lo109 )
      or ( n719 and n748 );
    li110 <= ( not n719 and lo110 )
      or ( n719 and n750 );
    n711 <= not (( not lo107 and not lo108 and not lo109 and not lo110 ));
    li111 <= ( not n719 and lo111 )
      or ( n719 and n751 );
    li112 <= ( not n719 and lo112 )
      or ( n719 and n752 );
    li113 <= ( not n719 and lo113 )
      or ( n719 and n754 );
    n715 <= not (( not lo111 and not lo112 and not lo113 ));
    n716 <= not (( not n701 and not n706 and not n711 and not n715 ));
    li086 <= ( not lo086 and not n716 )
      or ( lo086 and n716 );
    n718 <= ( lo000 and not n716 )
      or ( n716 and not lo087 );
    n719 <= not (( not lo085 and n716 ));
    n720 <= ( not lo088 and not lo087 and n716 )
      or ( lo088 and lo087 and n716 )
      or ( lo003 and not n716 );
    n721 <= not (( not lo088 and not lo087 ));
    n722 <= ( not lo089 and not n721 and n716 )
      or ( lo089 and n721 and n716 )
      or ( lo006 and not n716 );
    n723 <= ( not lo090 and not n785 and n716 )
      or ( lo090 and n785 and n716 )
      or ( lo009 and not n716 );
    n724 <= ( not lo091 and not n786 and n716 )
      or ( lo091 and n786 and n716 )
      or ( lo012 and not n716 );
    n725 <= not (( not lo091 and not n786 ));
    n726 <= ( not lo092 and not n725 and n716 )
      or ( lo092 and n725 and n716 )
      or ( lo015 and not n716 );
    n727 <= ( not lo093 and not n787 and n716 )
      or ( lo093 and n787 and n716 )
      or ( lo018 and not n716 );
    n728 <= ( not lo094 and not n788 and n716 )
      or ( lo094 and n788 and n716 )
      or ( lo021 and not n716 );
    n729 <= not (( not lo094 and not n788 ));
    n730 <= ( not lo095 and not n729 and n716 )
      or ( lo095 and n729 and n716 )
      or ( lo024 and not n716 );
    n731 <= ( not lo096 and not n789 and n716 )
      or ( lo096 and n789 and n716 )
      or ( lo027 and not n716 );
    n732 <= ( not lo097 and not n790 and n716 )
      or ( lo097 and n790 and n716 )
      or ( lo030 and not n716 );
    n733 <= not (( not lo097 and not n790 ));
    n734 <= ( not lo098 and not n733 and n716 )
      or ( lo098 and n733 and n716 )
      or ( lo033 and not n716 );
    n735 <= ( not lo099 and not n791 and n716 )
      or ( lo099 and n791 and n716 )
      or ( lo036 and not n716 );
    n736 <= ( not lo100 and not n792 and n716 )
      or ( lo100 and n792 and n716 )
      or ( lo039 and not n716 );
    n737 <= not (( not lo100 and not n792 ));
    n738 <= ( not lo101 and not n737 and n716 )
      or ( lo101 and n737 and n716 )
      or ( lo042 and not n716 );
    n739 <= ( not lo102 and not n793 and n716 )
      or ( lo102 and n793 and n716 )
      or ( lo045 and not n716 );
    n740 <= ( not lo103 and not n794 and n716 )
      or ( lo103 and n794 and n716 )
      or ( lo048 and not n716 );
    n741 <= not (( not lo103 and not n794 ));
    n742 <= ( not lo104 and not n741 and n716 )
      or ( lo104 and n741 and n716 )
      or ( lo051 and not n716 );
    n743 <= ( not lo105 and not n795 and n716 )
      or ( lo105 and n795 and n716 )
      or ( lo054 and not n716 );
    n744 <= ( not lo106 and not n796 and n716 )
      or ( lo106 and n796 and n716 )
      or ( lo057 and not n716 );
    n745 <= not (( not lo106 and not n796 ));
    n746 <= ( not lo107 and not n745 and n716 )
      or ( lo107 and n745 and n716 )
      or ( lo060 and not n716 );
    n747 <= ( not lo108 and not n797 and n716 )
      or ( lo108 and n797 and n716 )
      or ( lo063 and not n716 );
    n748 <= ( not lo109 and not n798 and n716 )
      or ( lo109 and n798 and n716 )
      or ( lo066 and not n716 );
    n749 <= not (( not lo109 and not n798 ));
    n750 <= ( not lo110 and not n749 and n716 )
      or ( lo110 and n749 and n716 )
      or ( lo069 and not n716 );
    n751 <= ( not lo111 and not n799 and n716 )
      or ( lo111 and n799 and n716 )
      or ( lo072 and not n716 );
    n752 <= ( not lo112 and not n800 and n716 )
      or ( lo112 and n800 and n716 )
      or ( lo075 and not n716 );
    n753 <= ( not lo112 and not n800 and lo113 )
      or ( lo112 and not lo113 )
      or ( n800 and not lo113 );
    n754 <= ( lo078 and not n716 )
      or ( n716 and not n753 );
    po32 <= ( not n524 and pi03 and pi04 and n528 );
    n756 <= ( not lo085 and lo002 )
      or ( lo085 and not lo081 and not lo002 )
      or ( lo081 and lo002 );
    n757 <= ( not lo085 and lo005 )
      or ( lo085 and not lo081 and lo002 and not lo005 )
      or ( lo081 and lo005 )
      or ( not lo002 and lo005 );
    n758 <= ( lo085 and not lo081 and lo002 and lo005 );
    n759 <= ( not lo081 and not pi23 and not n536 and lo014 )
      or ( lo081 and not lo014 )
      or ( pi23 and not lo014 )
      or ( n536 and not lo014 );
    n760 <= not (( not lo081 and not pi23 and not n536 )
      or ( not lo014 ));
    n761 <= ( not lo017 and lo020 )
      or ( lo017 and n760 and not lo020 )
      or ( not n760 and lo020 );
    n762 <= ( not n590 and lo022 )
      or ( n590 and lo019 and not lo022 )
      or ( not lo019 and lo022 );
    n763 <= ( not lo017 and lo023 )
      or ( lo017 and n760 and lo020 and not lo023 )
      or ( not n760 and lo023 )
      or ( not lo020 and lo023 );
    n764 <= ( n590 and lo019 and lo022 );
    n765 <= ( not n590 and lo025 )
      or ( n590 and lo019 and lo022 and not lo025 )
      or ( not lo019 and lo025 )
      or ( not lo022 and lo025 );
    n766 <= ( not n613 and lo037 )
      or ( n613 and lo034 and not lo037 )
      or ( not lo034 and lo037 );
    n767 <= ( not n539 and lo038 )
      or ( n539 and lo035 and not lo038 )
      or ( not lo035 and lo038 );
    n768 <= ( n613 and lo034 and lo037 );
    n769 <= ( not n613 and lo040 )
      or ( n613 and lo034 and lo037 and not lo040 )
      or ( not lo034 and lo040 )
      or ( not lo037 and lo040 );
    n770 <= ( n539 and lo035 and lo038 );
    n771 <= ( not n539 and lo041 )
      or ( n539 and lo035 and lo038 and not lo041 )
      or ( not lo035 and lo041 )
      or ( not lo038 and lo041 );
    n772 <= ( not pi23 and not n613 and lo046 )
      or ( not pi23 and not n619 and lo046 )
      or ( pi23 and not lo046 )
      or ( n613 and n619 and not lo046 );
    n773 <= ( pi23 and lo046 )
      or ( n613 and n619 and lo046 );
    n774 <= ( not lo049 and lo052 )
      or ( lo049 and n773 and not lo052 )
      or ( not n773 and lo052 );
    n775 <= ( not lo049 and lo055 )
      or ( lo049 and n773 and lo052 and not lo055 )
      or ( not n773 and lo055 )
      or ( not lo052 and lo055 );
    n776 <= ( not n542 and lo059 )
      or ( n542 and lo056 and not lo059 )
      or ( not lo056 and lo059 );
    n777 <= ( not n634 and lo061 )
      or ( n634 and lo058 and not lo061 )
      or ( not lo058 and lo061 );
    n778 <= ( n542 and lo056 and lo059 );
    n779 <= ( not n542 and lo062 )
      or ( n542 and lo056 and lo059 and not lo062 )
      or ( not lo056 and lo062 )
      or ( not lo059 and lo062 );
    n780 <= ( n634 and lo058 and lo061 );
    n781 <= ( not n634 and lo064 )
      or ( n634 and lo058 and lo061 and not lo064 )
      or ( not lo058 and lo064 )
      or ( not lo061 and lo064 );
    n782 <= ( not n651 and lo073 )
      or ( n651 and lo070 and not lo073 )
      or ( not lo070 and lo073 );
    n783 <= ( n651 and lo070 and lo073 );
    n784 <= ( not n651 and lo076 )
      or ( n651 and lo070 and lo073 and not lo076 )
      or ( not lo070 and lo076 )
      or ( not lo073 and lo076 );
    n785 <= not (( not lo088 and not lo087 and not lo089 ));
    n786 <= not (( not lo088 and not lo087 and not lo089 and not lo090 ));
    n787 <= not (( not lo091 and not n786 and not lo092 ));
    n788 <= not (( not lo091 and not n786 and not lo092 and not lo093 ));
    n789 <= not (( not lo094 and not n788 and not lo095 ));
    n790 <= not (( not lo094 and not n788 and not lo095 and not lo096 ));
    n791 <= not (( not lo097 and not n790 and not lo098 ));
    n792 <= not (( not lo097 and not n790 and not lo098 and not lo099 ));
    n793 <= not (( not lo100 and not n792 and not lo101 ));
    n794 <= not (( not lo100 and not n792 and not lo101 and not lo102 ));
    n795 <= not (( not lo103 and not n794 and not lo104 ));
    n796 <= not (( not lo103 and not n794 and not lo104 and not lo105 ));
    n797 <= not (( not lo106 and not n796 and not lo107 ));
    n798 <= not (( not lo106 and not n796 and not lo107 and not lo108 ));
    n799 <= not (( not lo109 and not n798 and not lo110 ));
    n800 <= not (( not lo109 and not n798 and not lo110 and not lo111 ));
end QUIP__oc_rtc_behav;
