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

entity top is 
  Port (
    pi000,pi001,pi002,pi003,pi004,pi005,pi006,pi007,pi008,pi009,pi010,pi011,pi012,pi013,pi014,pi015,pi016,pi017,pi018,pi019,pi020,pi021,pi022,pi023,pi024,pi025,pi026,pi027,pi028,pi029,pi030,pi031,pi032,pi033,pi034,pi035,pi036,pi037,pi038,pi039,pi040,pi041,pi042,pi043,pi044,pi045,pi046,pi047,pi048,pi049,pi050,pi051,pi052,pi053,pi054,pi055,pi056,pi057,pi058,pi059,pi060,pi061,pi062,pi063,pi064,pi065,pi066,pi067,pi068,pi069,pi070,pi071,pi072,pi073,pi074,pi075,pi076,pi077,pi078,pi079,pi080,pi081,pi082,pi083,pi084,pi085,pi086,pi087,pi088,pi089,pi090,pi091,pi092,pi093,pi094,pi095,pi096,pi097,pi098,pi099,pi100,pi101,pi102,pi103,pi104,pi105,pi106,pi107,pi108,pi109,pi110,pi111,pi112,pi113,pi114,pi115,pi116,pi117,pi118,pi119,pi120,pi121,pi122,pi123,pi124,pi125,pi126,pi127,pi128: 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,po60,po61,po62,po63,po64,po65,po66,po67,po68,po69,po70,po71,po72,po73,po74,po75,po76,po77,po78,po79,po80,po81,po82,po83,po84,po85,po86,po87,po88,po89,po90,po91: inout std_logic
  );
end top;

architecture top_behav of top is
signal n313,n314,n315,n316,n317,n318,n319,n320,n321,n322,n323,n324,n325,n326,n327,n328,n329,n330,n331,n332,n333,n334,n335,n336,n337,n338,n339,n340,n341,n342,n343,n344,n345,n346,n347,n348,n349,n350,n351,n352,n353,n354,n355,n356,n357,n358: std_logic;
begin
    po05 <= ( not pi113 );
    po46 <= ( not pi088 );
    po00 <= ( pi025 and not pi022 )
      or ( pi025 and pi023 )
      or ( pi056 and pi022 and not pi023 );
    po01 <= ( pi057 and pi071 )
      or ( pi036 and not pi071 );
    po02 <= ( pi094 )
      or ( po89 );
    po03 <= ( po89 )
      or ( not pi019 and pi020 and pi093 and pi039 )
      or ( not pi027 and pi028 and pi093 and not pi039 );
    po04 <= ( pi075 and po89 )
      or ( pi020 and pi093 and pi039 )
      or ( pi028 and pi093 and not pi039 );
    po06 <= ( n313 )
      or ( not pi013 and n314 )
      or ( not pi069 and n315 )
      or ( pi049 and pi050 and pi051 and n314 );
    po07 <= ( pi069 and n315 );
    po08 <= ( not pi000 and pi066 and n316 and pi072 and not pi078 )
      or ( not pi000 and not pi092 and n316 and pi072 and not pi078 )
      or ( not pi000 and pi066 and n317 and pi072 and not pi078 )
      or ( not pi000 and not pi092 and n317 and pi072 and not pi078 )
      or ( not pi000 and pi066 and n316 and pi072 and not pi079 )
      or ( not pi000 and not pi092 and n316 and pi072 and not pi079 )
      or ( not pi000 and pi066 and n317 and pi072 and not pi079 )
      or ( not pi000 and not pi092 and n317 and pi072 and not pi079 )
      or ( not pi000 and pi066 and n316 and pi072 and not pi080 )
      or ( not pi000 and not pi092 and n316 and pi072 and not pi080 )
      or ( not pi000 and pi066 and n317 and pi072 and not pi080 )
      or ( not pi000 and not pi092 and n317 and pi072 and not pi080 )
      or ( not pi000 and pi066 and n316 and not pi078 and not pi080 )
      or ( not pi000 and not pi092 and n316 and not pi078 and not pi080 )
      or ( not pi000 and pi066 and n317 and not pi078 and not pi080 )
      or ( not pi000 and not pi092 and n317 and not pi078 and not pi080 )
      or ( not pi000 and pi066 and n316 and pi072 and not pi084 )
      or ( not pi000 and not pi092 and n316 and pi072 and not pi084 )
      or ( not pi000 and pi066 and n317 and pi072 and not pi084 )
      or ( not pi000 and not pi092 and n317 and pi072 and not pi084 )
      or ( not pi000 and pi066 and n316 and not pi078 and not pi079 and pi084 )
      or ( not pi000 and not pi092 and n316 and not pi078 and not pi079 and pi084 )
      or ( not pi000 and pi066 and n317 and not pi078 and not pi079 and pi084 )
      or ( not pi000 and not pi092 and n317 and not pi078 and not pi079 and pi084 )
      or ( not pi000 and pi066 and n316 and not pi079 and not pi080 and pi084 )
      or ( not pi000 and not pi092 and n316 and not pi079 and not pi080 and pi084 )
      or ( not pi000 and pi066 and n317 and not pi079 and not pi080 and pi084 )
      or ( not pi000 and not pi092 and n317 and not pi079 and not pi080 and pi084 );
    po09 <= ( pi047 and pi092 )
      or ( pi092 and not pi000 and not pi066 and not pi078 and not pi080 );
    po10 <= ( not pi084 and pi035 )
      or ( not pi084 and pi080 and not pi014 and not pi015 and not pi016 )
      or ( pi000 and not pi084 and not pi080 and not pi063 and not pi064 and not pi065 )
      or ( pi000 and pi035 and not pi052 and not pi053 and not pi054 and pi079 )
      or ( not n318 and pi035 and not pi052 and not pi053 and not pi054 and pi079 )
      or ( pi000 and pi035 and not pi063 and not pi064 and not pi065 and not pi079 )
      or ( not n318 and pi035 and not pi063 and not pi064 and not pi065 and not pi079 )
      or ( pi000 and not pi080 and not pi063 and not pi064 and not pi065 and not pi079 )
      or ( pi000 and not pi080 and not pi052 and not pi053 and not pi054 and not pi063 and not pi064 and not pi065 and pi079 )
      or ( pi000 and pi080 and not pi052 and not pi053 and not pi054 and pi079 and not pi014 and not pi015 and not pi016 )
      or ( not n318 and pi080 and not pi052 and not pi053 and not pi054 and pi079 and not pi014 and not pi015 and not pi016 )
      or ( pi000 and pi080 and not pi063 and not pi064 and not pi065 and not pi079 and not pi014 and not pi015 and not pi016 )
      or ( not n318 and pi080 and not pi063 and not pi064 and not pi065 and not pi079 and not pi014 and not pi015 and not pi016 );
    po11 <= ( not pi000 and pi026 )
      or ( not pi000 and po04 and n319 );
    po12 <= ( n320 and not po03 and po02 )
      or ( n320 and po03 and not po02 )
      or ( n320 and pi097 and n321 )
      or ( not n320 and not pi086 and n322 )
      or ( not n320 and pi086 and not n322 )
      or ( n320 and pi021 and not po03 and pi039 )
      or ( n320 and pi029 and not po03 and not pi039 );
    po13 <= ( n320 and not po03 and po02 )
      or ( n320 and po03 and not po02 )
      or ( not n320 and pi086 and pi087 )
      or ( not n320 and pi087 and not n322 )
      or ( n320 and pi097 and n323 and n324 )
      or ( not n320 and not pi086 and not pi087 and n322 );
    po14 <= ( pi090 and not n325 and not n326 )
      or ( not n325 and n316 and not n326 )
      or ( pi090 and not n326 and pi086 )
      or ( n316 and not n326 and pi086 )
      or ( pi090 and not n326 and pi087 )
      or ( n316 and not n326 and pi087 );
    po15 <= ( pi076 and n320 )
      or ( not n320 and not pi001 and n325 )
      or ( not n320 and pi001 and not n325 );
    po16 <= ( pi077 and n320 )
      or ( not n320 and not pi001 and pi002 )
      or ( not n320 and pi002 and not n325 )
      or ( not n320 and pi001 and not pi002 and n325 );
    po17 <= ( pi000 )
      or ( pi042 and not pi121 );
    po18 <= ( pi042 and pi125 );
    po19 <= ( not pi049 and pi050 )
      or ( pi049 and not pi050 );
    po20 <= ( not pi049 and pi051 )
      or ( not pi050 and pi051 )
      or ( pi049 and pi050 and not pi051 );
    po21 <= ( pi084 and not n327 )
      or ( not pi049 and not pi050 and not pi051 and pi084 );
    po22 <= ( pi084 and not n327 )
      or ( not pi050 and not pi051 and pi084 );
    po23 <= ( pi084 and not n327 )
      or ( not pi049 and not pi051 and pi084 );
    po24 <= ( not pi051 and pi084 )
      or ( pi084 and not n327 );
    po25 <= ( pi084 and not n327 )
      or ( not pi049 and not pi050 and pi084 );
    po26 <= ( not pi050 and pi084 )
      or ( pi084 and not n327 );
    po27 <= ( not pi049 and pi084 )
      or ( pi084 and not n327 );
    po28 <= ( pi013 and pi049 and pi050 and pi051 );
    po29 <= ( not pi003 and pi048 )
      or ( not pi004 and pi048 )
      or ( not pi005 and pi048 )
      or ( not pi003 and not pi064 and pi065 )
      or ( not pi004 and not pi064 and pi065 )
      or ( not pi005 and not pi064 and pi065 );
    po30 <= ( pi000 )
      or ( not pi078 and pi079 and pi080 and not pi084 );
    po31 <= ( not pi079 and pi080 and not pi084 )
      or ( pi080 and not pi084 and pi078 );
    po32 <= ( not pi080 and not pi084 )
      or ( not pi080 and pi078 )
      or ( pi084 and pi078 )
      or ( not pi080 and pi079 )
      or ( pi084 and pi079 );
    po33 <= ( pi030 and n328 )
      or ( n328 and n329 )
      or ( pi030 and not n330 )
      or ( n329 and not n330 )
      or ( pi030 and n331 )
      or ( n329 and n331 );
    po34 <= ( not n332 and not n328 and n333 );
    po35 <= ( n334 )
      or ( not pi113 and n329 );
    po36 <= ( pi084 )
      or ( pi031 and not n329 )
      or ( pi031 and pi028 )
      or ( pi031 and not n335 );
    po37 <= ( pi072 )
      or ( pi032 and not pi039 )
      or ( pi032 and not n329 )
      or ( pi084 and n318 )
      or ( pi032 and pi093 and not n317 );
    po38 <= ( pi033 and not n332 )
      or ( not n332 and not pi069 and pi070 and not pi071 and pi085 )
      or ( not n332 and pi015 and not pi016 and pi084 and pi088 )
      or ( not n332 and not pi014 and pi015 and not pi016 and pi084 and pi106 )
      or ( not n332 and not pi014 and pi015 and not pi016 and pi084 and not pi107 );
    po39 <= ( pi112 and n333 );
    po40 <= ( n337 )
      or ( pi083 and not pi084 )
      or ( pi083 and not n336 );
    po41 <= ( n338 )
      or ( pi027 and pi040 and pi110 );
    po42 <= ( pi081 )
      or ( pi083 )
      or ( po89 )
      or ( n331 );
    po43 <= ( pi034 and pi022 )
      or ( pi034 and not pi023 )
      or ( pi025 and not pi022 and pi023 );
    po44 <= ( pi038 and pi085 )
      or ( pi059 and pi085 )
      or ( pi085 and pi089 );
    po45 <= ( pi069 and pi070 and not pi071 and pi085 );
    po47 <= ( not pi088 and pi089 )
      or ( pi088 and not pi089 );
    po48 <= ( pi038 and pi085 )
      or ( pi085 and pi088 )
      or ( pi085 and pi089 );
    po49 <= ( pi119 and not n339 )
      or ( n339 and not pi036 );
    po50 <= ( pi120 and not n339 )
      or ( n339 and not pi036 and pi037 )
      or ( n339 and pi036 and not pi037 );
    po51 <= ( pi110 and n333 );
    po52 <= ( n332 )
      or ( pi038 and not pi084 and not n340 )
      or ( pi038 and not pi088 and not n340 )
      or ( pi038 and not pi089 and not n340 );
    po53 <= ( not pi033 and not pi083 );
    po54 <= ( not pi033 and not pi083 )
      or ( not pi083 and pi088 )
      or ( not pi083 and pi085 and pi106 )
      or ( not pi083 and pi085 and not pi107 );
    po55 <= ( n332 )
      or ( n342 )
      or ( pi106 and n341 );
    po56 <= ( n342 )
      or ( pi107 and n341 )
      or ( pi106 and not pi107 and not n341 );
    po57 <= ( pi098 and n343 and not n344 )
      or ( not pi020 and n343 and pi039 )
      or ( not pi028 and n343 and not pi039 )
      or ( pi098 and not n343 and not n345 )
      or ( pi098 and not n344 and not n345 );
    po58 <= ( n343 and n344 )
      or ( not pi020 and pi021 and n343 and pi039 )
      or ( not pi028 and pi029 and n343 and not pi039 )
      or ( pi098 and pi099 and not n343 and not n345 )
      or ( pi099 and not n343 and not n340 and not n345 )
      or ( pi020 and pi098 and pi099 and n343 and pi039 )
      or ( pi020 and pi099 and n343 and not n340 and pi039 )
      or ( pi028 and pi098 and pi099 and n343 and not pi039 )
      or ( pi028 and pi099 and n343 and not n340 and not pi039 )
      or ( pi020 and pi098 and pi099 and pi039 and not n345 )
      or ( pi020 and pi099 and not n340 and pi039 and not n345 )
      or ( pi028 and pi098 and pi099 and not pi039 and not n345 )
      or ( pi028 and pi099 and not n340 and not pi039 and not n345 );
    po59 <= ( pi098 and n345 )
      or ( pi100 and not n346 and not n345 );
    po60 <= ( pi099 and n345 )
      or ( pi100 and pi101 and not n346 and not n345 )
      or ( pi101 and not n346 and not n345 and not n340 );
    po61 <= ( pi101 and n346 )
      or ( pi102 and not n345 and not pi035 );
    po62 <= ( n334 )
      or ( not pi083 and pi084 and n336 );
    po63 <= ( pi027 and pi040 and not n347 );
    po64 <= ( not pi045 and not pi046 );
    po65 <= ( not pi043 and not pi044 );
    po66 <= ( not pi045 and not pi046 );
    po67 <= ( pi059 and not n348 and not pi065 )
      or ( pi059 and not n348 and not n319 )
      or ( not n348 and not pi065 and pi061 and not pi122 )
      or ( not n348 and not n319 and pi061 and not pi122 );
    po68 <= ( not pi016 and pi055 and not n348 )
      or ( pi055 and not pi084 and not n348 )
      or ( pi055 and pi088 and not n348 )
      or ( pi055 and pi089 and not n348 )
      or ( pi055 and pi059 and not n348 and not pi065 )
      or ( pi055 and pi059 and not n348 and not n319 )
      or ( not pi016 and not n348 and pi061 and not pi122 )
      or ( not pi084 and not n348 and pi061 and not pi122 )
      or ( pi088 and not n348 and pi061 and not pi122 )
      or ( pi089 and not n348 and pi061 and not pi122 )
      or ( pi059 and not n348 and not pi065 and pi061 and not pi122 )
      or ( pi059 and not n348 and not n319 and pi061 and not pi122 );
    po69 <= ( n349 and pi122 and pi123 and pi018 )
      or ( n349 and pi122 and pi123 and pi110 );
    po70 <= ( pi059 and pi085 )
      or ( pi085 and pi088 )
      or ( pi085 and pi089 );
    po71 <= ( pi115 and not n350 )
      or ( n350 and not pi057 );
    po72 <= ( pi116 and not n350 )
      or ( n350 and not pi057 and pi058 )
      or ( n350 and pi057 and not pi058 );
    po73 <= ( pi122 and n349 );
    po74 <= ( not pi059 and not po89 );
    po75 <= ( pi055 )
      or ( n314 );
    po76 <= ( n351 )
      or ( pi018 and not pi110 )
      or ( pi093 and n320 );
    po77 <= ( n352 and not n353 and not n351 );
    po78 <= ( not n353 and n351 );
    po79 <= ( n353 )
      or ( not n352 and not n351 );
    po80 <= ( n353 and not po89 and not pi094 and pi124 )
      or ( n333 and not po89 and not n317 and pi124 )
      or ( n349 and not po89 and not n317 and pi124 )
      or ( n353 and not po89 and not n317 and pi124 )
      or ( not po89 and n351 and not n317 and pi124 )
      or ( not po89 and n351 and not pi094 and not pi097 and pi124 )
      or ( not po89 and n351 and not pi094 and n340 and pi124 )
      or ( not po89 and n351 and not pi094 and not n321 and pi124 )
      or ( n333 and not po89 and not n351 and not pi093 and not pi094 and pi124 )
      or ( n349 and not po89 and not n351 and not pi093 and not pi094 and pi124 )
      or ( not n353 and not po89 and n351 and not pi097 and pi122 and pi124 )
      or ( not n353 and not po89 and n351 and pi122 and n340 and pi124 )
      or ( not n353 and not po89 and n351 and pi122 and not n321 and pi124 )
      or ( n333 and not n353 and not po89 and not n351 and not pi093 and pi122 and pi124 )
      or ( n349 and not n353 and not po89 and not n351 and not pi093 and pi122 and pi124 )
      or ( n333 and not po89 and not n351 and not pi094 and not n354 and pi124 and pi018 )
      or ( n349 and not po89 and not n351 and not pi094 and not n354 and pi124 and pi018 )
      or ( n333 and not po89 and not n351 and not pi094 and not n354 and pi124 and pi110 )
      or ( n349 and not po89 and not n351 and not pi094 and not n354 and pi124 and pi110 )
      or ( n333 and not n353 and not po89 and not n351 and pi122 and not n354 and pi124 and pi018 )
      or ( n349 and not n353 and not po89 and not n351 and pi122 and not n354 and pi124 and pi018 )
      or ( n333 and not n353 and not po89 and not n351 and pi122 and not n354 and pi124 and pi110 )
      or ( n349 and not n353 and not po89 and not n351 and pi122 and not n354 and pi124 and pi110 );
    po81 <= ( not pi065 and po89 )
      or ( not pi065 and n355 )
      or ( not pi065 and pi127 );
    po82 <= ( not pi064 and pi065 and po89 )
      or ( not pi064 and pi065 and n355 )
      or ( not pi064 and pi065 and pi127 );
    po83 <= ( pi041 and pi091 )
      or ( pi017 and pi109 )
      or ( pi017 and not pi114 );
    po84 <= ( pi108 and pi114 );
    po85 <= ( pi012 and pi024 )
      or ( pi010 and not pi024 );
    po86 <= ( n355 )
      or ( pi126 );
    po87 <= ( not pi095 and pi096 and n315 and not n356 );
    po88 <= ( not pi124 )
      or ( pi095 and not n315 );
    po89 <= ( pi095 and not pi096 )
      or ( pi096 and not n315 )
      or ( pi095 and not n356 );
    po90 <= ( not pi043 and not pi044 );
    po91 <= ( not pi096 and not pi095 )
      or ( po89 and not pi095 );
    n313 <= ( pi038 and pi070 and not pi071 and pi085 and not pi088 )
      or ( pi038 and pi070 and not pi071 and pi085 and not pi089 );
    n314 <= ( not pi070 and pi071 and pi085 );
    n315 <= ( pi085 and pi070 and pi071 );
    n316 <= ( pi095 and not pi096 )
      or ( pi095 and n315 and not n356 )
      or ( pi094 and not pi122 and not po89 and not pi123 )
      or ( pi093 and n354 and not po89 and not pi123 )
      or ( pi094 and n353 and not po89 and not pi123 )
      or ( pi093 and not po89 and not pi123 and not pi018 and not pi110 )
      or ( pi097 and not po89 and not n340 and n321 and n351 and not pi123 );
    n317 <= ( pi090 and not n326 );
    n318 <= ( not pi078 and not pi079 and pi080 )
      or ( pi078 and not pi079 and not pi080 );
    n319 <= ( not pi062 and not pi064 and pi065 and pi072 and pi087 and pi078 )
      or ( not pi062 and pi064 and not pi065 and pi072 and pi087 and pi078 )
      or ( not pi062 and not pi064 and pi065 and pi072 and pi087 and pi080 )
      or ( not pi062 and pi064 and not pi065 and pi072 and pi087 and pi080 )
      or ( not pi062 and not pi064 and pi065 and pi084 and pi087 and n318 and pi078 )
      or ( not pi062 and pi064 and not pi065 and pi084 and pi087 and n318 and pi078 )
      or ( not pi062 and not pi064 and pi065 and pi084 and pi087 and n318 and pi080 )
      or ( not pi062 and pi064 and not pi065 and pi084 and pi087 and n318 and pi080 );
    n320 <= ( n316 and not n317 );
    n321 <= ( n323 )
      or ( n324 );
    n322 <= ( n325 and pi086 )
      or ( n325 and pi087 );
    n323 <= ( pi103 and not n357 )
      or ( pi106 and not pi107 and pi111 and not n357 );
    n324 <= ( pi104 and not n357 )
      or ( not pi106 and pi107 and pi111 and not n357 );
    n325 <= ( pi000 and pi064 )
      or ( pi000 and not pi065 )
      or ( pi000 and not pi013 )
      or ( pi000 and pi003 and pi004 and pi005 );
    n326 <= ( pi000 and pi026 )
      or ( not po04 and n319 );
    n327 <= ( pi013 and not pi015 and pi016 );
    n328 <= ( not pi084 and n338 )
      or ( not n336 and n338 )
      or ( not n358 and n338 )
      or ( not n341 and n344 )
      or ( n329 and n337 )
      or ( not pi020 and po89 and pi039 )
      or ( not pi020 and pi123 and pi039 )
      or ( not pi028 and po89 and not pi039 )
      or ( not pi028 and pi123 and not pi039 )
      or ( not pi110 and n329 and pi040 and not pi093 )
      or ( not pi110 and n329 and pi040 and n317 )
      or ( not pi028 and not pi110 and n329 and pi040 and n335 );
    n329 <= ( pi073 and n352 );
    n330 <= ( pi031 and pi032 and pi033 and not n338 );
    n331 <= ( not pi028 and pi040 and pi112 );
    n332 <= ( not pi027 and pi028 and pi040 and not pi110 );
    n333 <= ( pi030 and n330 )
      or ( n329 and n330 and not n331 );
    n334 <= ( pi082 and not n358 and not n347 );
    n335 <= ( not pi098 and not pi099 );
    n336 <= ( pi014 and not pi015 and not pi016 );
    n337 <= ( pi027 and pi040 and not pi084 and n347 );
    n338 <= ( pi082 and n358 )
      or ( pi082 and n347 );
    n339 <= ( n313 )
      or ( pi015 and not pi085 and pi088 and pi089 );
    n340 <= ( pi064 and n319 );
    n341 <= ( pi106 and pi107 and not n345 and n335 )
      or ( pi111 and not n340 and not n345 and n335 );
    n342 <= ( not pi028 and pi040 and not n345 and n335 );
    n343 <= ( n342 and n345 )
      or ( n342 and not n335 )
      or ( pi106 and pi107 and n345 )
      or ( pi106 and pi107 and not n335 )
      or ( pi111 and not n340 and n344 and n345 )
      or ( pi111 and not n340 and n344 and not n335 );
    n344 <= ( not pi106 and pi107 )
      or ( pi106 and not pi107 );
    n345 <= ( pi098 and not pi100 and not pi101 and not pi102 and n335 )
      or ( not pi099 and not pi100 and not pi101 and not pi102 and n335 )
      or ( not pi100 and not pi101 and not pi102 and not n340 and n335 )
      or ( pi098 and pi102 and n335 and pi035 and pi084 )
      or ( not pi099 and pi102 and n335 and pi035 and pi084 )
      or ( pi102 and not n340 and n335 and pi035 and pi084 )
      or ( pi098 and pi100 and not pi101 and n335 and pi035 and pi084 )
      or ( not pi099 and pi100 and not pi101 and n335 and pi035 and pi084 )
      or ( pi100 and not pi101 and not n340 and n335 and pi035 and pi084 );
    n346 <= ( pi035 and pi100 )
      or ( pi035 and pi101 );
    n347 <= ( pi043 and pi044 and pi045 and pi046 and pi067 )
      or ( not pi043 and pi044 and not pi045 and pi046 and pi067 )
      or ( pi043 and not pi044 and pi045 and not pi046 and pi067 )
      or ( not pi043 and not pi044 and not pi045 and not pi046 and pi067 );
    n348 <= ( pi016 and pi084 and pi088 and pi089 );
    n349 <= ( pi055 and pi128 );
    n350 <= ( not pi088 and n314 )
      or ( not pi089 and n314 )
      or ( pi016 and not pi085 and pi088 and pi089 );
    n351 <= ( pi105 and not n357 and not n340 and n321 );
    n352 <= ( pi112 )
      or ( pi113 )
      or ( pi117 );
    n353 <= ( pi060 and pi064 )
      or ( pi060 and not pi065 )
      or ( pi060 and not pi074 )
      or ( pi060 and po89 );
    n354 <= ( pi039 and pi065 )
      or ( pi039 and not pi074 )
      or ( pi039 and po89 );
    n355 <= ( n315 and n356 );
    n356 <= ( not pi006 )
      or ( not pi009 and pi024 )
      or ( not pi011 and not pi024 )
      or ( not pi008 and pi118 )
      or ( not pi007 and pi118 and not pi020 and pi093 and pi039 )
      or ( not pi007 and pi118 and not pi028 and pi093 and not pi039 )
      or ( not pi010 and pi024 and not pi095 and pi096 and not pi020 and pi093 and pi039 )
      or ( not pi012 and not pi024 and not pi095 and pi096 and not pi020 and pi093 and pi039 )
      or ( not pi010 and pi024 and not pi095 and pi096 and not pi028 and pi093 and not pi039 )
      or ( not pi012 and not pi024 and not pi095 and pi096 and not pi028 and pi093 and not pi039 );
    n357 <= ( pi068 and pi074 and not po89 );
    n358 <= ( pi043 and pi046 )
      or ( not pi043 and not pi044 and pi045 and not pi046 )
      or ( not pi043 and pi044 and not pi045 and not pi046 );
end top_behav;
