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

entity rot 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,pi129,pi130,pi131,pi132,pi133,pi134: in std_logic;
    po000,po001,po002,po003,po004,po005,po006,po007,po008,po009,po010,po011,po012,po013,po014,po015,po016,po017,po018,po019,po020,po021,po022,po023,po024,po025,po026,po027,po028,po029,po030,po031,po032,po033,po034,po035,po036,po037,po038,po039,po040,po041,po042,po043,po044,po045,po046,po047,po048,po049,po050,po051,po052,po053,po054,po055,po056,po057,po058,po059,po060,po061,po062,po063,po064,po065,po066,po067,po068,po069,po070,po071,po072,po073,po074,po075,po076,po077,po078,po079,po080,po081,po082,po083,po084,po085,po086,po087,po088,po089,po090,po091,po092,po093,po094,po095,po096,po097,po098,po099,po100,po101,po102,po103,po104,po105,po106: inout std_logic
  );
end rot;

architecture rot_behav of rot is
signal n349,n350,n351,n352,n353,n354,n355,n356,n357,n358,n359,n360,n361,n362,n363,n364,n365,n366,n367,n368,n369,n370,n371,n372,n373,n374,n375,n376,n377,n378,n379,n380,n381,n382,n383,n384,n385,n386,n387,n388,n389,n390,n391,n392,n393,n394,n395,n396,n397,n398,n399,n400,n401,n402,n403,n404,n405,n406,n407,n408,n409,n410,n411,n412,n413,n414,n415,n416,n417,n418,n419,n420,n421,n422,n423,n424,n425,n426,n427,n428,n429,n430,n431,n432,n433,n434,n435,n436,n437,n438,n439,n440,n441,n442,n443,n444,n445,n446,n447,n448,n449,n450,n451,n452,n453,n454,n455,n456,n457,n458,n459,n460,n461,n462,n463,n464,n465,n466,n467,n468,n469,n470,n471,n472,n473,n474,n475,n476,n477,n478,n479,n480,n481,n482,n483,n484: std_logic;
begin
    po000 <= ( n349 );
    po001 <= ( n350 );
    po002 <= ( n351 );
    po003 <= ( n352 );
    po004 <= ( n353 );
    po005 <= ( pi122 );
    po006 <= ( not pi118 );
    po007 <= ( pi123 );
    po008 <= ( n354 );
    po009 <= ( n355 );
    po010 <= ( n356 );
    po011 <= ( n357 );
    po012 <= ( n358 );
    po013 <= ( n359 );
    po014 <= ( n360 );
    po015 <= ( n361 );
    po016 <= ( n362 );
    po017 <= ( n363 );
    po018 <= ( n364 );
    po019 <= ( n365 );
    po020 <= ( n366 );
    po021 <= ( pi090 );
    po022 <= ( n367 );
    po023 <= ( n368 );
    po024 <= ( n369 );
    po025 <= ( n370 );
    po026 <= ( n371 );
    po027 <= ( n372 );
    po028 <= ( n373 );
    po029 <= ( n374 );
    po030 <= ( n375 );
    po031 <= ( pi089 );
    po032 <= ( n376 );
    po033 <= ( n377 );
    po034 <= ( n378 );
    po035 <= ( n379 );
    po036 <= ( n380 );
    po037 <= ( n381 );
    po038 <= ( n382 );
    po039 <= ( n383 );
    po040 <= ( n384 );
    po041 <= ( n385 );
    po042 <= ( n386 );
    po043 <= ( n387 );
    po044 <= ( n388 );
    po045 <= ( n389 );
    po046 <= ( n390 );
    po047 <= ( n391 );
    po048 <= ( n392 );
    po049 <= ( n393 );
    po050 <= ( not pi093 );
    po051 <= ( n394 );
    po052 <= ( n395 );
    po053 <= ( n396 );
    po054 <= ( n397 );
    po055 <= ( n398 );
    po056 <= ( n399 );
    po057 <= ( n400 );
    po058 <= ( n401 );
    po059 <= ( n402 );
    po060 <= ( n403 );
    po061 <= ( n404 );
    po062 <= ( n405 );
    po063 <= ( n406 );
    po064 <= ( n407 );
    po065 <= ( n408 );
    po066 <= ( n409 );
    po067 <= ( n410 );
    po068 <= ( n411 );
    po069 <= ( pi050 );
    po070 <= ( n412 );
    po071 <= ( pi048 );
    po072 <= ( n413 );
    po073 <= ( pi050 );
    po074 <= ( pi051 );
    po075 <= ( n414 );
    po076 <= ( n415 );
    po077 <= ( n416 );
    po078 <= ( n417 );
    po079 <= ( n418 );
    po080 <= ( n419 );
    po081 <= ( n420 );
    po082 <= ( n421 );
    po083 <= ( n422 );
    po084 <= ( n423 );
    po085 <= ( n424 );
    po086 <= ( n425 );
    po087 <= ( n426 );
    po088 <= ( n427 );
    po089 <= ( n428 );
    po090 <= ( n429 );
    po091 <= ( pi022 );
    po092 <= ( pi025 );
    po093 <= ( pi026 );
    po094 <= ( pi027 );
    po095 <= ( pi028 );
    po096 <= ( n430 );
    po097 <= ( n431 );
    po098 <= ( n432 );
    po099 <= ( n433 );
    po100 <= ( n434 );
    po101 <= ( n435 );
    po102 <= ( n436 );
    po103 <= ( n437 );
    po104 <= ( pi048 );
    po105 <= ( pi049 );
    po106 <= ( n438 );
    n349 <= ( pi030 and not pi023 )
      or ( pi030 and pi024 )
      or ( pi061 and pi023 and not pi024 );
    n350 <= ( pi062 and pi076 )
      or ( pi041 and not pi076 );
    n351 <= ( pi099 )
      or ( n436 );
    n352 <= ( n436 )
      or ( not pi019 and pi020 and pi098 and pi044 )
      or ( not pi032 and pi033 and pi098 and not pi044 );
    n353 <= ( pi080 and n436 )
      or ( pi020 and pi098 and pi044 )
      or ( pi033 and pi098 and not pi044 );
    n354 <= ( n481 )
      or ( not pi013 and n482 )
      or ( not pi074 and n463 )
      or ( pi054 and pi055 and pi056 and n482 );
    n355 <= ( pi074 and n463 );
    n356 <= ( not pi000 and pi071 and n454 and pi077 and not pi083 )
      or ( not pi000 and not pi097 and n454 and pi077 and not pi083 )
      or ( not pi000 and pi071 and n458 and pi077 and not pi083 )
      or ( not pi000 and not pi097 and n458 and pi077 and not pi083 )
      or ( not pi000 and pi071 and n454 and pi077 and not pi084 )
      or ( not pi000 and not pi097 and n454 and pi077 and not pi084 )
      or ( not pi000 and pi071 and n458 and pi077 and not pi084 )
      or ( not pi000 and not pi097 and n458 and pi077 and not pi084 )
      or ( not pi000 and pi071 and n454 and pi077 and not pi085 )
      or ( not pi000 and not pi097 and n454 and pi077 and not pi085 )
      or ( not pi000 and pi071 and n458 and pi077 and not pi085 )
      or ( not pi000 and not pi097 and n458 and pi077 and not pi085 )
      or ( not pi000 and pi071 and n454 and not pi083 and not pi085 )
      or ( not pi000 and not pi097 and n454 and not pi083 and not pi085 )
      or ( not pi000 and pi071 and n458 and not pi083 and not pi085 )
      or ( not pi000 and not pi097 and n458 and not pi083 and not pi085 )
      or ( not pi000 and pi071 and n454 and pi077 and not pi089 )
      or ( not pi000 and not pi097 and n454 and pi077 and not pi089 )
      or ( not pi000 and pi071 and n458 and pi077 and not pi089 )
      or ( not pi000 and not pi097 and n458 and pi077 and not pi089 )
      or ( not pi000 and pi071 and n454 and not pi083 and not pi084 and pi089 )
      or ( not pi000 and not pi097 and n454 and not pi083 and not pi084 and pi089 )
      or ( not pi000 and pi071 and n458 and not pi083 and not pi084 and pi089 )
      or ( not pi000 and not pi097 and n458 and not pi083 and not pi084 and pi089 )
      or ( not pi000 and pi071 and n454 and not pi084 and not pi085 and pi089 )
      or ( not pi000 and not pi097 and n454 and not pi084 and not pi085 and pi089 )
      or ( not pi000 and pi071 and n458 and not pi084 and not pi085 and pi089 )
      or ( not pi000 and not pi097 and n458 and not pi084 and not pi085 and pi089 );
    n357 <= ( pi052 and pi097 )
      or ( pi097 and not pi000 and not pi071 and not pi083 and not pi085 );
    n358 <= ( not pi089 and pi040 )
      or ( not pi089 and pi085 and not pi014 and not pi015 and not pi016 )
      or ( pi000 and not pi089 and not pi085 and not pi068 and not pi069 and not pi070 )
      or ( pi000 and pi040 and not pi057 and not pi058 and not pi059 and pi084 )
      or ( not n473 and pi040 and not pi057 and not pi058 and not pi059 and pi084 )
      or ( pi000 and pi040 and not pi068 and not pi069 and not pi070 and not pi084 )
      or ( not n473 and pi040 and not pi068 and not pi069 and not pi070 and not pi084 )
      or ( pi000 and not pi085 and not pi068 and not pi069 and not pi070 and not pi084 )
      or ( pi000 and not pi085 and not pi057 and not pi058 and not pi059 and not pi068 and not pi069 and not pi070 and pi084 )
      or ( pi000 and pi085 and not pi057 and not pi058 and not pi059 and pi084 and not pi014 and not pi015 and not pi016 )
      or ( not n473 and pi085 and not pi057 and not pi058 and not pi059 and pi084 and not pi014 and not pi015 and not pi016 )
      or ( pi000 and pi085 and not pi068 and not pi069 and not pi070 and not pi084 and not pi014 and not pi015 and not pi016 )
      or ( not n473 and pi085 and not pi068 and not pi069 and not pi070 and not pi084 and not pi014 and not pi015 and not pi016 );
    n359 <= ( not pi000 and pi031 )
      or ( not pi000 and n353 and n475 );
    n360 <= ( n439 and not n352 and n351 )
      or ( n439 and n352 and not n351 )
      or ( n439 and pi102 and n447 )
      or ( not n439 and not pi091 and n443 )
      or ( not n439 and pi091 and not n443 )
      or ( n439 and pi021 and not n352 and pi044 )
      or ( n439 and pi034 and not n352 and not pi044 );
    n361 <= ( n439 and not n352 and n351 )
      or ( n439 and n352 and not n351 )
      or ( not n439 and pi091 and pi092 )
      or ( not n439 and pi092 and not n443 )
      or ( n439 and pi102 and n441 and n442 )
      or ( not n439 and not pi091 and not pi092 and n443 );
    n362 <= ( pi095 and not n440 and not n455 )
      or ( not n440 and n454 and not n455 )
      or ( pi095 and not n455 and pi091 )
      or ( n454 and not n455 and pi091 )
      or ( pi095 and not n455 and pi092 )
      or ( n454 and not n455 and pi092 );
    n363 <= ( pi081 and n439 )
      or ( not n439 and not pi001 and n440 )
      or ( not n439 and pi001 and not n440 );
    n364 <= ( pi082 and n439 )
      or ( not n439 and not pi001 and pi002 )
      or ( not n439 and pi002 and not n440 )
      or ( not n439 and pi001 and not pi002 and n440 );
    n365 <= ( pi000 )
      or ( pi047 and not pi127 );
    n366 <= ( pi047 and pi131 );
    n367 <= ( not pi054 and pi055 )
      or ( pi054 and not pi055 );
    n368 <= ( not pi054 and pi056 )
      or ( not pi055 and pi056 )
      or ( pi054 and pi055 and not pi056 );
    n369 <= ( pi089 and not n484 )
      or ( not pi054 and not pi055 and not pi056 and pi089 );
    n370 <= ( pi089 and not n484 )
      or ( not pi055 and not pi056 and pi089 );
    n371 <= ( pi089 and not n484 )
      or ( not pi054 and not pi056 and pi089 );
    n372 <= ( not pi056 and pi089 )
      or ( pi089 and not n484 );
    n373 <= ( pi089 and not n484 )
      or ( not pi054 and not pi055 and pi089 );
    n374 <= ( not pi055 and pi089 )
      or ( pi089 and not n484 );
    n375 <= ( not pi054 and pi089 )
      or ( pi089 and not n484 );
    n376 <= ( pi013 and pi054 and pi055 and pi056 );
    n377 <= ( not pi003 and pi053 )
      or ( not pi004 and pi053 )
      or ( not pi005 and pi053 )
      or ( not pi003 and not pi069 and pi070 )
      or ( not pi004 and not pi069 and pi070 )
      or ( not pi005 and not pi069 and pi070 );
    n378 <= ( pi000 )
      or ( not pi083 and pi084 and pi085 and not pi089 );
    n379 <= ( not pi084 and pi085 and not pi089 )
      or ( pi085 and not pi089 and pi083 );
    n380 <= ( not pi085 and not pi089 )
      or ( not pi085 and pi083 )
      or ( pi089 and pi083 )
      or ( not pi085 and pi084 )
      or ( pi089 and pi084 );
    n381 <= ( pi035 and n450 )
      or ( n450 and n451 )
      or ( pi035 and not n452 )
      or ( n451 and not n452 )
      or ( pi035 and n453 )
      or ( n451 and n453 );
    n382 <= ( not n456 and not n450 and n457 );
    n383 <= ( n480 )
      or ( not pi118 and n451 );
    n384 <= ( pi089 )
      or ( pi036 and not n451 )
      or ( pi036 and pi033 )
      or ( pi036 and not n470 );
    n385 <= ( pi077 )
      or ( pi037 and not pi044 )
      or ( pi037 and not n451 )
      or ( pi089 and n473 )
      or ( pi037 and pi098 and not n458 );
    n386 <= ( pi038 and not n456 )
      or ( not n456 and not pi074 and pi075 and not pi076 and pi090 )
      or ( not n456 and pi015 and not pi016 and pi089 and pi093 )
      or ( not n456 and not pi014 and pi015 and not pi016 and pi089 and pi111 )
      or ( not n456 and not pi014 and pi015 and not pi016 and pi089 and not pi112 );
    n387 <= ( pi117 and n457 );
    n388 <= ( n469 )
      or ( pi088 and not pi089 )
      or ( pi088 and not n465 );
    n389 <= ( n468 )
      or ( pi032 and pi045 and pi115 );
    n390 <= ( pi086 )
      or ( pi088 )
      or ( n436 )
      or ( n453 );
    n391 <= ( pi039 and pi023 )
      or ( pi039 and not pi024 )
      or ( pi030 and not pi023 and pi024 );
    n392 <= ( pi043 and pi090 )
      or ( pi064 and pi090 )
      or ( pi090 and pi094 );
    n393 <= ( pi074 and pi075 and not pi076 and pi090 );
    n394 <= ( not pi093 and pi094 )
      or ( pi093 and not pi094 );
    n395 <= ( pi043 and pi090 )
      or ( pi090 and pi093 )
      or ( pi090 and pi094 );
    n396 <= ( pi125 and not n479 )
      or ( n479 and not pi041 );
    n397 <= ( pi126 and not n479 )
      or ( n479 and not pi041 and pi042 )
      or ( n479 and pi041 and not pi042 );
    n398 <= ( pi115 and n457 );
    n399 <= ( n456 )
      or ( pi043 and not pi089 and not n448 )
      or ( pi043 and not pi093 and not n448 )
      or ( pi043 and not pi094 and not n448 );
    n400 <= ( not pi038 and not pi088 );
    n401 <= ( not pi038 and not pi088 )
      or ( not pi088 and pi093 )
      or ( not pi088 and pi090 and pi111 )
      or ( not pi088 and pi090 and not pi112 );
    n402 <= ( n456 )
      or ( n471 )
      or ( pi111 and n466 );
    n403 <= ( n471 )
      or ( pi112 and n466 )
      or ( pi111 and not pi112 and not n466 );
    n404 <= ( pi103 and n444 and not n445 )
      or ( not pi020 and n444 and pi044 )
      or ( not pi033 and n444 and not pi044 )
      or ( pi103 and not n444 and not n446 )
      or ( pi103 and not n445 and not n446 );
    n405 <= ( n444 and n445 )
      or ( not pi020 and pi021 and n444 and pi044 )
      or ( not pi033 and pi034 and n444 and not pi044 )
      or ( pi103 and pi104 and not n444 and not n446 )
      or ( pi104 and not n444 and not n448 and not n446 )
      or ( pi020 and pi103 and pi104 and n444 and pi044 )
      or ( pi020 and pi104 and n444 and not n448 and pi044 )
      or ( pi033 and pi103 and pi104 and n444 and not pi044 )
      or ( pi033 and pi104 and n444 and not n448 and not pi044 )
      or ( pi020 and pi103 and pi104 and pi044 and not n446 )
      or ( pi020 and pi104 and not n448 and pi044 and not n446 )
      or ( pi033 and pi103 and pi104 and not pi044 and not n446 )
      or ( pi033 and pi104 and not n448 and not pi044 and not n446 );
    n406 <= ( pi103 and n446 )
      or ( pi105 and not n474 and not n446 );
    n407 <= ( pi104 and n446 )
      or ( pi105 and pi106 and not n474 and not n446 )
      or ( pi106 and not n474 and not n446 and not n448 );
    n408 <= ( pi106 and n474 )
      or ( pi107 and not n446 and not pi040 );
    n409 <= ( n480 )
      or ( not pi088 and pi089 and n465 );
    n410 <= ( pi032 and pi045 and not n483 );
    n411 <= ( not pi050 and not pi051 );
    n412 <= ( not pi048 and not pi049 );
    n413 <= ( not pi050 and not pi051 );
    n414 <= ( pi064 and not n476 and not pi070 )
      or ( pi064 and not n476 and not n475 )
      or ( not n476 and not pi070 and pi066 and not pi128 )
      or ( not n476 and not n475 and pi066 and not pi128 );
    n415 <= ( not pi016 and pi060 and not n476 )
      or ( pi060 and not pi089 and not n476 )
      or ( pi060 and pi093 and not n476 )
      or ( pi060 and pi094 and not n476 )
      or ( pi060 and pi064 and not n476 and not pi070 )
      or ( pi060 and pi064 and not n476 and not n475 )
      or ( not pi016 and not n476 and pi066 and not pi128 )
      or ( not pi089 and not n476 and pi066 and not pi128 )
      or ( pi093 and not n476 and pi066 and not pi128 )
      or ( pi094 and not n476 and pi066 and not pi128 )
      or ( pi064 and not n476 and not pi070 and pi066 and not pi128 )
      or ( pi064 and not n476 and not n475 and pi066 and not pi128 );
    n416 <= ( n461 and pi128 and pi129 and pi018 )
      or ( n461 and pi128 and pi129 and pi115 );
    n417 <= ( pi064 and pi090 )
      or ( pi090 and pi093 )
      or ( pi090 and pi094 );
    n418 <= ( pi120 and not n478 )
      or ( n478 and not pi062 );
    n419 <= ( pi121 and not n478 )
      or ( n478 and not pi062 and pi063 )
      or ( n478 and pi062 and not pi063 );
    n420 <= ( pi128 and n461 );
    n421 <= ( not pi064 and not n436 );
    n422 <= ( pi060 )
      or ( n482 );
    n423 <= ( n449 )
      or ( pi018 and not pi115 )
      or ( pi098 and n439 );
    n424 <= ( n459 and not n460 and not n449 );
    n425 <= ( not n460 and n449 );
    n426 <= ( n460 )
      or ( not n459 and not n449 );
    n427 <= ( n460 and not n436 and not pi099 and pi130 )
      or ( n457 and not n436 and not n458 and pi130 )
      or ( n461 and not n436 and not n458 and pi130 )
      or ( n460 and not n436 and not n458 and pi130 )
      or ( not n436 and n449 and not n458 and pi130 )
      or ( not n436 and n449 and not pi099 and not pi102 and pi130 )
      or ( not n436 and n449 and not pi099 and n448 and pi130 )
      or ( not n436 and n449 and not pi099 and not n447 and pi130 )
      or ( n457 and not n436 and not n449 and not pi098 and not pi099 and pi130 )
      or ( n461 and not n436 and not n449 and not pi098 and not pi099 and pi130 )
      or ( not n460 and not n436 and n449 and not pi102 and pi128 and pi130 )
      or ( not n460 and not n436 and n449 and pi128 and n448 and pi130 )
      or ( not n460 and not n436 and n449 and pi128 and not n447 and pi130 )
      or ( n457 and not n460 and not n436 and not n449 and not pi098 and pi128 and pi130 )
      or ( n461 and not n460 and not n436 and not n449 and not pi098 and pi128 and pi130 )
      or ( n457 and not n436 and not n449 and not pi099 and not n462 and pi130 and pi018 )
      or ( n461 and not n436 and not n449 and not pi099 and not n462 and pi130 and pi018 )
      or ( n457 and not n436 and not n449 and not pi099 and not n462 and pi130 and pi115 )
      or ( n461 and not n436 and not n449 and not pi099 and not n462 and pi130 and pi115 )
      or ( n457 and not n460 and not n436 and not n449 and pi128 and not n462 and pi130 and pi018 )
      or ( n461 and not n460 and not n436 and not n449 and pi128 and not n462 and pi130 and pi018 )
      or ( n457 and not n460 and not n436 and not n449 and pi128 and not n462 and pi130 and pi115 )
      or ( n461 and not n460 and not n436 and not n449 and pi128 and not n462 and pi130 and pi115 );
    n428 <= ( not pi070 and n436 )
      or ( not pi070 and n477 )
      or ( not pi070 and pi133 );
    n429 <= ( not pi069 and pi070 and n436 )
      or ( not pi069 and pi070 and n477 )
      or ( not pi069 and pi070 and pi133 );
    n430 <= ( pi046 and pi096 )
      or ( pi017 and pi114 )
      or ( pi017 and not pi119 );
    n431 <= ( pi113 and pi119 );
    n432 <= ( pi012 and pi029 )
      or ( pi010 and not pi029 );
    n433 <= ( n477 )
      or ( pi132 );
    n434 <= ( not pi100 and pi101 and n463 and not n464 );
    n435 <= ( not pi130 )
      or ( pi100 and not n463 );
    n436 <= ( pi100 and not pi101 )
      or ( pi101 and not n463 )
      or ( pi100 and not n464 );
    n437 <= ( not pi048 and not pi049 );
    n438 <= ( not pi101 and not pi100 )
      or ( n436 and not pi100 );
    n439 <= ( n454 and not n458 );
    n440 <= ( pi000 and pi069 )
      or ( pi000 and not pi070 )
      or ( pi000 and not pi013 )
      or ( pi000 and pi003 and pi004 and pi005 );
    n441 <= ( pi108 and not n472 )
      or ( pi111 and not pi112 and pi116 and not n472 );
    n442 <= ( pi109 and not n472 )
      or ( not pi111 and pi112 and pi116 and not n472 );
    n443 <= ( n440 and pi091 )
      or ( n440 and pi092 );
    n444 <= ( n471 and n446 )
      or ( n471 and not n470 )
      or ( pi111 and pi112 and n446 )
      or ( pi111 and pi112 and not n470 )
      or ( pi116 and not n448 and n445 and n446 )
      or ( pi116 and not n448 and n445 and not n470 );
    n445 <= ( not pi111 and pi112 )
      or ( pi111 and not pi112 );
    n446 <= ( pi103 and not pi105 and not pi106 and not pi107 and n470 )
      or ( not pi104 and not pi105 and not pi106 and not pi107 and n470 )
      or ( not pi105 and not pi106 and not pi107 and not n448 and n470 )
      or ( pi103 and pi107 and n470 and pi040 and pi089 )
      or ( not pi104 and pi107 and n470 and pi040 and pi089 )
      or ( pi107 and not n448 and n470 and pi040 and pi089 )
      or ( pi103 and pi105 and not pi106 and n470 and pi040 and pi089 )
      or ( not pi104 and pi105 and not pi106 and n470 and pi040 and pi089 )
      or ( pi105 and not pi106 and not n448 and n470 and pi040 and pi089 );
    n447 <= ( n441 )
      or ( n442 );
    n448 <= ( pi069 and n475 );
    n449 <= ( pi110 and not n472 and not n448 and n447 );
    n450 <= ( not pi089 and n468 )
      or ( not n465 and n468 )
      or ( not n467 and n468 )
      or ( not n466 and n445 )
      or ( n451 and n469 )
      or ( not pi020 and n436 and pi044 )
      or ( not pi020 and pi129 and pi044 )
      or ( not pi033 and n436 and not pi044 )
      or ( not pi033 and pi129 and not pi044 )
      or ( not pi115 and n451 and pi045 and not pi098 )
      or ( not pi115 and n451 and pi045 and n458 )
      or ( not pi033 and not pi115 and n451 and pi045 and n470 );
    n451 <= ( pi078 and n459 );
    n452 <= ( pi036 and pi037 and pi038 and not n468 );
    n453 <= ( not pi033 and pi045 and pi117 );
    n454 <= ( pi100 and not pi101 )
      or ( pi100 and n463 and not n464 )
      or ( pi099 and not pi128 and not n436 and not pi129 )
      or ( pi098 and n462 and not n436 and not pi129 )
      or ( pi099 and n460 and not n436 and not pi129 )
      or ( pi098 and not n436 and not pi129 and not pi018 and not pi115 )
      or ( pi102 and not n436 and not n448 and n447 and n449 and not pi129 );
    n455 <= ( pi000 and pi031 )
      or ( not n353 and n475 );
    n456 <= ( not pi032 and pi033 and pi045 and not pi115 );
    n457 <= ( pi035 and n452 )
      or ( n451 and n452 and not n453 );
    n458 <= ( pi095 and not n455 );
    n459 <= ( pi117 )
      or ( pi118 )
      or ( pi123 );
    n460 <= ( pi065 and pi069 )
      or ( pi065 and not pi070 )
      or ( pi065 and not pi079 )
      or ( pi065 and n436 );
    n461 <= ( pi060 and pi134 );
    n462 <= ( pi044 and pi070 )
      or ( pi044 and not pi079 )
      or ( pi044 and n436 );
    n463 <= ( pi090 and pi075 and pi076 );
    n464 <= ( not pi006 )
      or ( not pi009 and pi029 )
      or ( not pi011 and not pi029 )
      or ( not pi008 and pi124 )
      or ( not pi007 and pi124 and not pi020 and pi098 and pi044 )
      or ( not pi007 and pi124 and not pi033 and pi098 and not pi044 )
      or ( not pi010 and pi029 and not pi100 and pi101 and not pi020 and pi098 and pi044 )
      or ( not pi012 and not pi029 and not pi100 and pi101 and not pi020 and pi098 and pi044 )
      or ( not pi010 and pi029 and not pi100 and pi101 and not pi033 and pi098 and not pi044 )
      or ( not pi012 and not pi029 and not pi100 and pi101 and not pi033 and pi098 and not pi044 );
    n465 <= ( pi014 and not pi015 and not pi016 );
    n466 <= ( pi111 and pi112 and not n446 and n470 )
      or ( pi116 and not n448 and not n446 and n470 );
    n467 <= ( pi048 and pi051 )
      or ( not pi048 and not pi049 and pi050 and not pi051 )
      or ( not pi048 and pi049 and not pi050 and not pi051 );
    n468 <= ( pi087 and n467 )
      or ( pi087 and n483 );
    n469 <= ( pi032 and pi045 and not pi089 and n483 );
    n470 <= ( not pi103 and not pi104 );
    n471 <= ( not pi033 and pi045 and not n446 and n470 );
    n472 <= ( pi073 and pi079 and not n436 );
    n473 <= ( not pi083 and not pi084 and pi085 )
      or ( pi083 and not pi084 and not pi085 );
    n474 <= ( pi040 and pi105 )
      or ( pi040 and pi106 );
    n475 <= ( not pi067 and not pi069 and pi070 and pi077 and pi092 and pi083 )
      or ( not pi067 and pi069 and not pi070 and pi077 and pi092 and pi083 )
      or ( not pi067 and not pi069 and pi070 and pi077 and pi092 and pi085 )
      or ( not pi067 and pi069 and not pi070 and pi077 and pi092 and pi085 )
      or ( not pi067 and not pi069 and pi070 and pi089 and pi092 and n473 and pi083 )
      or ( not pi067 and pi069 and not pi070 and pi089 and pi092 and n473 and pi083 )
      or ( not pi067 and not pi069 and pi070 and pi089 and pi092 and n473 and pi085 )
      or ( not pi067 and pi069 and not pi070 and pi089 and pi092 and n473 and pi085 );
    n476 <= ( pi016 and pi089 and pi093 and pi094 );
    n477 <= ( n463 and n464 );
    n478 <= ( not pi093 and n482 )
      or ( not pi094 and n482 )
      or ( pi016 and not pi090 and pi093 and pi094 );
    n479 <= ( n481 )
      or ( pi015 and not pi090 and pi093 and pi094 );
    n480 <= ( pi087 and not n467 and not n483 );
    n481 <= ( pi043 and pi075 and not pi076 and pi090 and not pi093 )
      or ( pi043 and pi075 and not pi076 and pi090 and not pi094 );
    n482 <= ( not pi075 and pi076 and pi090 );
    n483 <= ( pi048 and pi049 and pi050 and pi051 and pi072 )
      or ( not pi048 and pi049 and not pi050 and pi051 and pi072 )
      or ( pi048 and not pi049 and pi050 and not pi051 and pi072 )
      or ( not pi048 and not pi049 and not pi050 and not pi051 and pi072 );
    n484 <= ( pi013 and not pi015 and pi016 );
end rot_behav;
