--- 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: 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: inout std_logic
  );
end top;

architecture top_behav of top is
begin
    po00 <= ( pi092 );
    po01 <= ( pi093 )
      or ( pi094 )
      or ( pi095 )
      or ( pi096 )
      or ( pi097 )
      or ( pi098 )
      or ( pi099 )
      or ( pi100 );
    po02 <= ( pi000 and pi036 )
      or ( not pi001 and pi036 )
      or ( not pi004 and pi036 )
      or ( not pi000 and pi001 and pi004 and pi028 );
    po03 <= ( not pi000 and pi004 and pi037 )
      or ( not pi001 and pi004 and pi037 )
      or ( pi004 and pi028 and pi037 )
      or ( pi004 and pi023 and pi025 and pi037 )
      or ( pi004 and pi024 and pi025 and pi037 )
      or ( pi004 and pi024 and pi026 and pi037 )
      or ( pi004 and pi025 and pi026 and pi037 )
      or ( pi004 and pi023 and pi027 and pi037 )
      or ( pi004 and pi024 and pi027 and pi037 )
      or ( pi004 and pi025 and pi027 and pi037 )
      or ( pi004 and pi026 and pi027 and pi037 )
      or ( pi004 and not pi023 and not pi024 and not pi025 and not pi026 and not pi027 and pi037 )
      or ( pi000 and pi001 and pi004 and not pi023 and not pi024 and not pi025 and not pi026 and pi027 and not pi028 and pi045 )
      or ( pi000 and pi001 and pi004 and not pi023 and not pi024 and pi025 and not pi026 and not pi027 and not pi028 and pi053 )
      or ( pi000 and pi001 and pi004 and not pi023 and not pi024 and not pi025 and pi026 and not pi027 and not pi028 and pi061 )
      or ( pi000 and pi001 and pi004 and pi023 and not pi024 and not pi025 and pi026 and not pi027 and not pi028 and pi069 )
      or ( pi000 and pi001 and pi004 and not pi023 and pi024 and not pi025 and not pi026 and not pi027 and not pi028 and pi077 )
      or ( pi000 and pi001 and pi004 and pi023 and pi024 and not pi025 and not pi026 and not pi027 and not pi028 and pi085 )
      or ( pi000 and pi001 and pi004 and pi023 and not pi024 and not pi025 and not pi026 and not pi027 and not pi028 and pi093 );
    po04 <= ( not pi000 and pi004 and pi038 )
      or ( not pi001 and pi004 and pi038 )
      or ( pi004 and pi028 and pi038 )
      or ( pi004 and pi023 and pi025 and pi038 )
      or ( pi004 and pi024 and pi025 and pi038 )
      or ( pi004 and pi024 and pi026 and pi038 )
      or ( pi004 and pi025 and pi026 and pi038 )
      or ( pi004 and pi023 and pi027 and pi038 )
      or ( pi004 and pi024 and pi027 and pi038 )
      or ( pi004 and pi025 and pi027 and pi038 )
      or ( pi004 and pi026 and pi027 and pi038 )
      or ( pi004 and not pi023 and not pi024 and not pi025 and not pi026 and not pi027 and pi038 )
      or ( pi000 and pi001 and pi004 and not pi023 and not pi024 and not pi025 and not pi026 and pi027 and not pi028 and pi046 )
      or ( pi000 and pi001 and pi004 and not pi023 and not pi024 and pi025 and not pi026 and not pi027 and not pi028 and pi054 )
      or ( pi000 and pi001 and pi004 and not pi023 and not pi024 and not pi025 and pi026 and not pi027 and not pi028 and pi062 )
      or ( pi000 and pi001 and pi004 and pi023 and not pi024 and not pi025 and pi026 and not pi027 and not pi028 and pi070 )
      or ( pi000 and pi001 and pi004 and not pi023 and pi024 and not pi025 and not pi026 and not pi027 and not pi028 and pi078 )
      or ( pi000 and pi001 and pi004 and pi023 and pi024 and not pi025 and not pi026 and not pi027 and not pi028 and pi086 )
      or ( pi000 and pi001 and pi004 and pi023 and not pi024 and not pi025 and not pi026 and not pi027 and not pi028 and pi094 );
    po05 <= ( not pi000 and pi004 and pi039 )
      or ( not pi001 and pi004 and pi039 )
      or ( pi004 and pi028 and pi039 )
      or ( pi004 and pi023 and pi025 and pi039 )
      or ( pi004 and pi024 and pi025 and pi039 )
      or ( pi004 and pi024 and pi026 and pi039 )
      or ( pi004 and pi025 and pi026 and pi039 )
      or ( pi004 and pi023 and pi027 and pi039 )
      or ( pi004 and pi024 and pi027 and pi039 )
      or ( pi004 and pi025 and pi027 and pi039 )
      or ( pi004 and pi026 and pi027 and pi039 )
      or ( pi004 and not pi023 and not pi024 and not pi025 and not pi026 and not pi027 and pi039 )
      or ( pi000 and pi001 and pi004 and not pi023 and not pi024 and not pi025 and not pi026 and pi027 and not pi028 and pi047 )
      or ( pi000 and pi001 and pi004 and not pi023 and not pi024 and pi025 and not pi026 and not pi027 and not pi028 and pi055 )
      or ( pi000 and pi001 and pi004 and not pi023 and not pi024 and not pi025 and pi026 and not pi027 and not pi028 and pi063 )
      or ( pi000 and pi001 and pi004 and pi023 and not pi024 and not pi025 and pi026 and not pi027 and not pi028 and pi071 )
      or ( pi000 and pi001 and pi004 and not pi023 and pi024 and not pi025 and not pi026 and not pi027 and not pi028 and pi079 )
      or ( pi000 and pi001 and pi004 and pi023 and pi024 and not pi025 and not pi026 and not pi027 and not pi028 and pi087 )
      or ( pi000 and pi001 and pi004 and pi023 and not pi024 and not pi025 and not pi026 and not pi027 and not pi028 and pi095 );
    po06 <= ( not pi000 and pi004 and pi040 )
      or ( not pi001 and pi004 and pi040 )
      or ( pi004 and pi028 and pi040 )
      or ( pi004 and pi023 and pi025 and pi040 )
      or ( pi004 and pi024 and pi025 and pi040 )
      or ( pi004 and pi024 and pi026 and pi040 )
      or ( pi004 and pi025 and pi026 and pi040 )
      or ( pi004 and pi023 and pi027 and pi040 )
      or ( pi004 and pi024 and pi027 and pi040 )
      or ( pi004 and pi025 and pi027 and pi040 )
      or ( pi004 and pi026 and pi027 and pi040 )
      or ( pi004 and not pi023 and not pi024 and not pi025 and not pi026 and not pi027 and pi040 )
      or ( pi000 and pi001 and pi004 and not pi023 and not pi024 and not pi025 and not pi026 and pi027 and not pi028 and pi048 )
      or ( pi000 and pi001 and pi004 and not pi023 and not pi024 and pi025 and not pi026 and not pi027 and not pi028 and pi056 )
      or ( pi000 and pi001 and pi004 and not pi023 and not pi024 and not pi025 and pi026 and not pi027 and not pi028 and pi064 )
      or ( pi000 and pi001 and pi004 and pi023 and not pi024 and not pi025 and pi026 and not pi027 and not pi028 and pi072 )
      or ( pi000 and pi001 and pi004 and not pi023 and pi024 and not pi025 and not pi026 and not pi027 and not pi028 and pi080 )
      or ( pi000 and pi001 and pi004 and pi023 and pi024 and not pi025 and not pi026 and not pi027 and not pi028 and pi088 )
      or ( pi000 and pi001 and pi004 and pi023 and not pi024 and not pi025 and not pi026 and not pi027 and not pi028 and pi096 );
    po07 <= ( not pi000 and pi004 and pi041 )
      or ( not pi001 and pi004 and pi041 )
      or ( pi004 and pi028 and pi041 )
      or ( pi004 and pi023 and pi025 and pi041 )
      or ( pi004 and pi024 and pi025 and pi041 )
      or ( pi004 and pi024 and pi026 and pi041 )
      or ( pi004 and pi025 and pi026 and pi041 )
      or ( pi004 and pi023 and pi027 and pi041 )
      or ( pi004 and pi024 and pi027 and pi041 )
      or ( pi004 and pi025 and pi027 and pi041 )
      or ( pi004 and pi026 and pi027 and pi041 )
      or ( pi004 and not pi023 and not pi024 and not pi025 and not pi026 and not pi027 and pi041 )
      or ( pi000 and pi001 and pi004 and not pi023 and not pi024 and not pi025 and not pi026 and pi027 and not pi028 and pi049 )
      or ( pi000 and pi001 and pi004 and not pi023 and not pi024 and pi025 and not pi026 and not pi027 and not pi028 and pi057 )
      or ( pi000 and pi001 and pi004 and not pi023 and not pi024 and not pi025 and pi026 and not pi027 and not pi028 and pi065 )
      or ( pi000 and pi001 and pi004 and pi023 and not pi024 and not pi025 and pi026 and not pi027 and not pi028 and pi073 )
      or ( pi000 and pi001 and pi004 and not pi023 and pi024 and not pi025 and not pi026 and not pi027 and not pi028 and pi081 )
      or ( pi000 and pi001 and pi004 and pi023 and pi024 and not pi025 and not pi026 and not pi027 and not pi028 and pi089 )
      or ( pi000 and pi001 and pi004 and pi023 and not pi024 and not pi025 and not pi026 and not pi027 and not pi028 and pi097 );
    po08 <= ( not pi000 and pi004 and pi042 )
      or ( not pi001 and pi004 and pi042 )
      or ( pi004 and pi028 and pi042 )
      or ( pi004 and pi023 and pi025 and pi042 )
      or ( pi004 and pi024 and pi025 and pi042 )
      or ( pi004 and pi024 and pi026 and pi042 )
      or ( pi004 and pi025 and pi026 and pi042 )
      or ( pi004 and pi023 and pi027 and pi042 )
      or ( pi004 and pi024 and pi027 and pi042 )
      or ( pi004 and pi025 and pi027 and pi042 )
      or ( pi004 and pi026 and pi027 and pi042 )
      or ( pi004 and not pi023 and not pi024 and not pi025 and not pi026 and not pi027 and pi042 )
      or ( pi000 and pi001 and pi004 and not pi023 and not pi024 and not pi025 and not pi026 and pi027 and not pi028 and pi050 )
      or ( pi000 and pi001 and pi004 and not pi023 and not pi024 and pi025 and not pi026 and not pi027 and not pi028 and pi058 )
      or ( pi000 and pi001 and pi004 and not pi023 and not pi024 and not pi025 and pi026 and not pi027 and not pi028 and pi066 )
      or ( pi000 and pi001 and pi004 and pi023 and not pi024 and not pi025 and pi026 and not pi027 and not pi028 and pi074 )
      or ( pi000 and pi001 and pi004 and not pi023 and pi024 and not pi025 and not pi026 and not pi027 and not pi028 and pi082 )
      or ( pi000 and pi001 and pi004 and pi023 and pi024 and not pi025 and not pi026 and not pi027 and not pi028 and pi090 )
      or ( pi000 and pi001 and pi004 and pi023 and not pi024 and not pi025 and not pi026 and not pi027 and not pi028 and pi098 );
    po09 <= ( not pi000 and pi004 and pi043 )
      or ( not pi001 and pi004 and pi043 )
      or ( pi004 and pi025 and pi043 )
      or ( pi004 and pi028 and pi043 )
      or ( pi004 and pi024 and pi026 and pi043 )
      or ( pi004 and pi023 and pi027 and pi043 )
      or ( pi004 and pi024 and pi027 and pi043 )
      or ( pi004 and pi026 and pi027 and pi043 )
      or ( pi004 and not pi023 and not pi024 and not pi026 and not pi027 and pi043 )
      or ( pi000 and pi001 and pi004 and not pi023 and not pi024 and not pi025 and not pi026 and pi027 and not pi028 and pi051 )
      or ( pi000 and pi001 and pi004 and not pi023 and not pi024 and not pi025 and pi026 and not pi027 and not pi028 and pi067 )
      or ( pi000 and pi001 and pi004 and pi023 and not pi024 and not pi025 and pi026 and not pi027 and not pi028 and pi075 )
      or ( pi000 and pi001 and pi004 and not pi023 and pi024 and not pi025 and not pi026 and not pi027 and not pi028 and pi083 )
      or ( pi000 and pi001 and pi004 and pi023 and pi024 and not pi025 and not pi026 and not pi027 and not pi028 and pi091 )
      or ( pi000 and pi001 and pi004 and pi023 and not pi024 and not pi025 and not pi026 and not pi027 and not pi028 and pi099 );
    po10 <= ( not pi000 and pi004 and pi044 )
      or ( not pi001 and pi004 and pi044 )
      or ( pi004 and pi025 and pi044 )
      or ( pi004 and pi028 and pi044 )
      or ( pi004 and pi024 and pi026 and pi044 )
      or ( pi004 and pi023 and pi027 and pi044 )
      or ( pi004 and pi024 and pi027 and pi044 )
      or ( pi004 and pi026 and pi027 and pi044 )
      or ( pi004 and not pi023 and not pi024 and not pi026 and not pi027 and pi044 )
      or ( pi000 and pi001 and pi004 and not pi023 and not pi024 and not pi025 and not pi026 and pi027 and not pi028 and pi052 )
      or ( pi000 and pi001 and pi004 and not pi023 and not pi024 and not pi025 and pi026 and not pi027 and not pi028 and pi068 )
      or ( pi000 and pi001 and pi004 and pi023 and not pi024 and not pi025 and pi026 and not pi027 and not pi028 and pi076 )
      or ( pi000 and pi001 and pi004 and not pi023 and pi024 and not pi025 and not pi026 and not pi027 and not pi028 and pi084 )
      or ( pi000 and pi001 and pi004 and pi023 and pi024 and not pi025 and not pi026 and not pi027 and not pi028 and pi092 )
      or ( pi000 and pi001 and pi004 and pi023 and not pi024 and not pi025 and not pi026 and not pi027 and not pi028 and pi100 );
    po11 <= ( pi000 and pi004 and pi045 )
      or ( not pi001 and pi004 and pi045 )
      or ( pi004 and pi023 and pi045 )
      or ( pi004 and pi024 and pi045 )
      or ( pi004 and pi025 and pi045 )
      or ( pi004 and pi026 and pi045 )
      or ( pi004 and not pi027 and pi045 )
      or ( pi004 and pi028 and pi045 )
      or ( not pi000 and pi001 and pi004 and pi015 and not pi023 and not pi024 and not pi025 and not pi026 and pi027 and not pi028 );
    po12 <= ( pi000 and pi004 and pi046 )
      or ( not pi001 and pi004 and pi046 )
      or ( pi004 and pi023 and pi046 )
      or ( pi004 and pi024 and pi046 )
      or ( pi004 and pi025 and pi046 )
      or ( pi004 and pi026 and pi046 )
      or ( pi004 and not pi027 and pi046 )
      or ( pi004 and pi028 and pi046 )
      or ( not pi000 and pi001 and pi004 and pi016 and not pi023 and not pi024 and not pi025 and not pi026 and pi027 and not pi028 );
    po13 <= ( pi000 and pi004 and pi047 )
      or ( not pi001 and pi004 and pi047 )
      or ( pi004 and pi023 and pi047 )
      or ( pi004 and pi024 and pi047 )
      or ( pi004 and pi025 and pi047 )
      or ( pi004 and pi026 and pi047 )
      or ( pi004 and not pi027 and pi047 )
      or ( pi004 and pi028 and pi047 )
      or ( not pi000 and pi001 and pi004 and pi017 and not pi023 and not pi024 and not pi025 and not pi026 and pi027 and not pi028 );
    po14 <= ( pi000 and pi004 and pi048 )
      or ( not pi001 and pi004 and pi048 )
      or ( pi004 and pi023 and pi048 )
      or ( pi004 and pi024 and pi048 )
      or ( pi004 and pi025 and pi048 )
      or ( pi004 and pi026 and pi048 )
      or ( pi004 and not pi027 and pi048 )
      or ( pi004 and pi028 and pi048 )
      or ( not pi000 and pi001 and pi004 and pi018 and not pi023 and not pi024 and not pi025 and not pi026 and pi027 and not pi028 );
    po15 <= ( pi000 and pi004 and pi049 )
      or ( not pi001 and pi004 and pi049 )
      or ( pi004 and pi023 and pi049 )
      or ( pi004 and pi024 and pi049 )
      or ( pi004 and pi025 and pi049 )
      or ( pi004 and pi026 and pi049 )
      or ( pi004 and not pi027 and pi049 )
      or ( pi004 and pi028 and pi049 )
      or ( not pi000 and pi001 and pi004 and pi019 and not pi023 and not pi024 and not pi025 and not pi026 and pi027 and not pi028 );
    po16 <= ( pi000 and pi004 and pi050 )
      or ( not pi001 and pi004 and pi050 )
      or ( pi004 and pi023 and pi050 )
      or ( pi004 and pi024 and pi050 )
      or ( pi004 and pi025 and pi050 )
      or ( pi004 and pi026 and pi050 )
      or ( pi004 and not pi027 and pi050 )
      or ( pi004 and pi028 and pi050 )
      or ( not pi000 and pi001 and pi004 and pi020 and not pi023 and not pi024 and not pi025 and not pi026 and pi027 and not pi028 );
    po17 <= ( pi000 and pi004 and pi051 )
      or ( not pi001 and pi004 and pi051 )
      or ( pi004 and pi023 and pi051 )
      or ( pi004 and pi024 and pi051 )
      or ( pi004 and pi025 and pi051 )
      or ( pi004 and pi026 and pi051 )
      or ( pi004 and not pi027 and pi051 )
      or ( pi004 and pi028 and pi051 )
      or ( not pi000 and pi001 and pi004 and pi021 and not pi023 and not pi024 and not pi025 and not pi026 and pi027 and not pi028 );
    po18 <= ( pi000 and pi004 and pi052 )
      or ( not pi001 and pi004 and pi052 )
      or ( pi004 and pi023 and pi052 )
      or ( pi004 and pi024 and pi052 )
      or ( pi004 and pi025 and pi052 )
      or ( pi004 and pi026 and pi052 )
      or ( pi004 and not pi027 and pi052 )
      or ( pi004 and pi028 and pi052 )
      or ( not pi000 and pi001 and pi004 and pi022 and not pi023 and not pi024 and not pi025 and not pi026 and pi027 and not pi028 );
    po19 <= ( pi087 );
    po20 <= ( pi088 );
    po21 <= ( pi000 and pi004 and pi053 )
      or ( not pi001 and pi004 and pi053 )
      or ( pi004 and pi023 and pi053 )
      or ( pi004 and pi024 and pi053 )
      or ( pi004 and not pi025 and pi053 )
      or ( pi004 and pi026 and pi053 )
      or ( pi004 and pi027 and pi053 )
      or ( pi004 and pi028 and pi053 )
      or ( not pi000 and pi001 and pi004 and pi015 and not pi023 and not pi024 and pi025 and not pi026 and not pi027 and not pi028 );
    po22 <= ( pi000 and pi004 and pi054 )
      or ( not pi001 and pi004 and pi054 )
      or ( pi004 and pi023 and pi054 )
      or ( pi004 and pi024 and pi054 )
      or ( pi004 and not pi025 and pi054 )
      or ( pi004 and pi026 and pi054 )
      or ( pi004 and pi027 and pi054 )
      or ( pi004 and pi028 and pi054 )
      or ( not pi000 and pi001 and pi004 and pi016 and not pi023 and not pi024 and pi025 and not pi026 and not pi027 and not pi028 );
    po23 <= ( pi000 and pi004 and pi055 )
      or ( not pi001 and pi004 and pi055 )
      or ( pi004 and pi023 and pi055 )
      or ( pi004 and pi024 and pi055 )
      or ( pi004 and not pi025 and pi055 )
      or ( pi004 and pi026 and pi055 )
      or ( pi004 and pi027 and pi055 )
      or ( pi004 and pi028 and pi055 )
      or ( not pi000 and pi001 and pi004 and pi017 and not pi023 and not pi024 and pi025 and not pi026 and not pi027 and not pi028 );
    po24 <= ( pi000 and pi004 and pi056 )
      or ( not pi001 and pi004 and pi056 )
      or ( pi004 and pi023 and pi056 )
      or ( pi004 and pi024 and pi056 )
      or ( pi004 and not pi025 and pi056 )
      or ( pi004 and pi026 and pi056 )
      or ( pi004 and pi027 and pi056 )
      or ( pi004 and pi028 and pi056 )
      or ( not pi000 and pi001 and pi004 and pi018 and not pi023 and not pi024 and pi025 and not pi026 and not pi027 and not pi028 );
    po25 <= ( pi000 and pi004 and pi057 )
      or ( not pi001 and pi004 and pi057 )
      or ( pi004 and pi023 and pi057 )
      or ( pi004 and pi024 and pi057 )
      or ( pi004 and not pi025 and pi057 )
      or ( pi004 and pi026 and pi057 )
      or ( pi004 and pi027 and pi057 )
      or ( pi004 and pi028 and pi057 )
      or ( not pi000 and pi001 and pi004 and pi019 and not pi023 and not pi024 and pi025 and not pi026 and not pi027 and not pi028 );
    po26 <= ( pi000 and pi004 and pi058 )
      or ( not pi001 and pi004 and pi058 )
      or ( pi004 and pi023 and pi058 )
      or ( pi004 and pi024 and pi058 )
      or ( pi004 and not pi025 and pi058 )
      or ( pi004 and pi026 and pi058 )
      or ( pi004 and pi027 and pi058 )
      or ( pi004 and pi028 and pi058 )
      or ( not pi000 and pi001 and pi004 and pi020 and not pi023 and not pi024 and pi025 and not pi026 and not pi027 and not pi028 );
    po27 <= ( pi004 and pi035 );
    po28 <= ( pi004 and pi034 );
    po29 <= '0';
    po30 <= '0';
    po31 <= '0';
    po32 <= ( pi000 and pi004 and not pi006 and pi061 )
      or ( not pi001 and pi004 and not pi006 and pi061 )
      or ( pi004 and not pi006 and pi023 and pi061 )
      or ( pi004 and not pi006 and pi024 and pi061 )
      or ( pi004 and not pi006 and pi025 and pi061 )
      or ( pi004 and not pi006 and not pi026 and pi061 )
      or ( pi004 and not pi006 and pi027 and pi061 )
      or ( pi004 and not pi006 and pi028 and pi061 )
      or ( not pi001 and pi004 and pi006 and pi101 )
      or ( pi004 and pi006 and pi023 and pi101 )
      or ( pi004 and pi006 and pi024 and pi101 )
      or ( pi004 and pi006 and pi025 and pi101 )
      or ( pi004 and pi006 and not pi026 and pi101 )
      or ( pi004 and pi006 and pi027 and pi101 )
      or ( pi004 and pi006 and pi028 and pi101 )
      or ( not pi000 and pi001 and pi004 and pi015 and not pi023 and not pi024 and not pi025 and pi026 and not pi027 and not pi028 )
      or ( pi000 and pi001 and pi004 and not pi023 and not pi024 and not pi025 and pi026 and not pi027 and not pi028 and pi061 );
    po33 <= ( pi000 and pi004 and not pi006 and pi062 )
      or ( not pi001 and pi004 and not pi006 and pi062 )
      or ( pi004 and not pi006 and pi023 and pi062 )
      or ( pi004 and not pi006 and pi024 and pi062 )
      or ( pi004 and not pi006 and pi025 and pi062 )
      or ( pi004 and not pi006 and not pi026 and pi062 )
      or ( pi004 and not pi006 and pi027 and pi062 )
      or ( pi004 and not pi006 and pi028 and pi062 )
      or ( not pi001 and pi004 and pi006 and pi102 )
      or ( pi004 and pi006 and pi023 and pi102 )
      or ( pi004 and pi006 and pi024 and pi102 )
      or ( pi004 and pi006 and pi025 and pi102 )
      or ( pi004 and pi006 and not pi026 and pi102 )
      or ( pi004 and pi006 and pi027 and pi102 )
      or ( pi004 and pi006 and pi028 and pi102 )
      or ( not pi000 and pi001 and pi004 and pi016 and not pi023 and not pi024 and not pi025 and pi026 and not pi027 and not pi028 )
      or ( pi000 and pi001 and pi004 and not pi023 and not pi024 and not pi025 and pi026 and not pi027 and not pi028 and pi062 );
    po34 <= ( pi000 and pi004 and not pi006 and pi063 )
      or ( not pi001 and pi004 and not pi006 and pi063 )
      or ( pi004 and not pi006 and pi023 and pi063 )
      or ( pi004 and not pi006 and pi024 and pi063 )
      or ( pi004 and not pi006 and pi025 and pi063 )
      or ( pi004 and not pi006 and not pi026 and pi063 )
      or ( pi004 and not pi006 and pi027 and pi063 )
      or ( pi004 and not pi006 and pi028 and pi063 )
      or ( not pi001 and pi004 and pi006 and pi103 )
      or ( pi004 and pi006 and pi023 and pi103 )
      or ( pi004 and pi006 and pi024 and pi103 )
      or ( pi004 and pi006 and pi025 and pi103 )
      or ( pi004 and pi006 and not pi026 and pi103 )
      or ( pi004 and pi006 and pi027 and pi103 )
      or ( pi004 and pi006 and pi028 and pi103 )
      or ( not pi000 and pi001 and pi004 and pi017 and not pi023 and not pi024 and not pi025 and pi026 and not pi027 and not pi028 )
      or ( pi000 and pi001 and pi004 and not pi023 and not pi024 and not pi025 and pi026 and not pi027 and not pi028 and pi063 );
    po35 <= ( pi000 and pi004 and not pi006 and pi064 )
      or ( not pi001 and pi004 and not pi006 and pi064 )
      or ( pi004 and not pi006 and pi023 and pi064 )
      or ( pi004 and not pi006 and pi024 and pi064 )
      or ( pi004 and not pi006 and pi025 and pi064 )
      or ( pi004 and not pi006 and not pi026 and pi064 )
      or ( pi004 and not pi006 and pi027 and pi064 )
      or ( pi004 and not pi006 and pi028 and pi064 )
      or ( not pi001 and pi004 and pi006 and pi104 )
      or ( pi004 and pi006 and pi023 and pi104 )
      or ( pi004 and pi006 and pi024 and pi104 )
      or ( pi004 and pi006 and pi025 and pi104 )
      or ( pi004 and pi006 and not pi026 and pi104 )
      or ( pi004 and pi006 and pi027 and pi104 )
      or ( pi004 and pi006 and pi028 and pi104 )
      or ( not pi000 and pi001 and pi004 and pi018 and not pi023 and not pi024 and not pi025 and pi026 and not pi027 and not pi028 )
      or ( pi000 and pi001 and pi004 and not pi023 and not pi024 and not pi025 and pi026 and not pi027 and not pi028 and pi064 );
    po36 <= ( pi000 and pi004 and not pi006 and pi065 )
      or ( not pi001 and pi004 and not pi006 and pi065 )
      or ( pi004 and not pi006 and pi023 and pi065 )
      or ( pi004 and not pi006 and pi024 and pi065 )
      or ( pi004 and not pi006 and pi025 and pi065 )
      or ( pi004 and not pi006 and not pi026 and pi065 )
      or ( pi004 and not pi006 and pi027 and pi065 )
      or ( pi004 and not pi006 and pi028 and pi065 )
      or ( not pi001 and pi004 and pi006 and pi105 )
      or ( pi004 and pi006 and pi023 and pi105 )
      or ( pi004 and pi006 and pi024 and pi105 )
      or ( pi004 and pi006 and pi025 and pi105 )
      or ( pi004 and pi006 and not pi026 and pi105 )
      or ( pi004 and pi006 and pi027 and pi105 )
      or ( pi004 and pi006 and pi028 and pi105 )
      or ( not pi000 and pi001 and pi004 and pi019 and not pi023 and not pi024 and not pi025 and pi026 and not pi027 and not pi028 )
      or ( pi000 and pi001 and pi004 and not pi023 and not pi024 and not pi025 and pi026 and not pi027 and not pi028 and pi065 );
    po37 <= ( pi000 and pi004 and not pi006 and pi066 )
      or ( not pi001 and pi004 and not pi006 and pi066 )
      or ( pi004 and not pi006 and pi023 and pi066 )
      or ( pi004 and not pi006 and pi024 and pi066 )
      or ( pi004 and not pi006 and pi025 and pi066 )
      or ( pi004 and not pi006 and not pi026 and pi066 )
      or ( pi004 and not pi006 and pi027 and pi066 )
      or ( pi004 and not pi006 and pi028 and pi066 )
      or ( not pi001 and pi004 and pi006 and pi106 )
      or ( pi004 and pi006 and pi023 and pi106 )
      or ( pi004 and pi006 and pi024 and pi106 )
      or ( pi004 and pi006 and pi025 and pi106 )
      or ( pi004 and pi006 and not pi026 and pi106 )
      or ( pi004 and pi006 and pi027 and pi106 )
      or ( pi004 and pi006 and pi028 and pi106 )
      or ( not pi000 and pi001 and pi004 and pi020 and not pi023 and not pi024 and not pi025 and pi026 and not pi027 and not pi028 )
      or ( pi000 and pi001 and pi004 and not pi023 and not pi024 and not pi025 and pi026 and not pi027 and not pi028 and pi066 );
    po38 <= ( pi000 and pi004 and not pi006 and pi067 )
      or ( not pi001 and pi004 and not pi006 and pi067 )
      or ( pi004 and not pi006 and pi023 and pi067 )
      or ( pi004 and not pi006 and pi024 and pi067 )
      or ( pi004 and not pi006 and pi025 and pi067 )
      or ( pi004 and not pi006 and not pi026 and pi067 )
      or ( pi004 and not pi006 and pi027 and pi067 )
      or ( pi004 and not pi006 and pi028 and pi067 )
      or ( not pi001 and pi004 and pi006 and pi107 )
      or ( pi004 and pi006 and pi023 and pi107 )
      or ( pi004 and pi006 and pi024 and pi107 )
      or ( pi004 and pi006 and pi025 and pi107 )
      or ( pi004 and pi006 and not pi026 and pi107 )
      or ( pi004 and pi006 and pi027 and pi107 )
      or ( pi004 and pi006 and pi028 and pi107 )
      or ( not pi000 and pi001 and pi004 and pi021 and not pi023 and not pi024 and not pi025 and pi026 and not pi027 and not pi028 )
      or ( pi000 and pi001 and pi004 and not pi023 and not pi024 and not pi025 and pi026 and not pi027 and not pi028 and pi067 );
    po39 <= ( pi000 and pi004 and not pi006 and pi068 )
      or ( not pi001 and pi004 and not pi006 and pi068 )
      or ( pi004 and not pi006 and pi023 and pi068 )
      or ( pi004 and not pi006 and pi024 and pi068 )
      or ( pi004 and not pi006 and pi025 and pi068 )
      or ( pi004 and not pi006 and not pi026 and pi068 )
      or ( pi004 and not pi006 and pi027 and pi068 )
      or ( pi004 and not pi006 and pi028 and pi068 )
      or ( not pi001 and pi004 and pi006 and pi108 )
      or ( pi004 and pi006 and pi023 and pi108 )
      or ( pi004 and pi006 and pi024 and pi108 )
      or ( pi004 and pi006 and pi025 and pi108 )
      or ( pi004 and pi006 and not pi026 and pi108 )
      or ( pi004 and pi006 and pi027 and pi108 )
      or ( pi004 and pi006 and pi028 and pi108 )
      or ( not pi000 and pi001 and pi004 and pi022 and not pi023 and not pi024 and not pi025 and pi026 and not pi027 and not pi028 )
      or ( pi000 and pi001 and pi004 and not pi023 and not pi024 and not pi025 and pi026 and not pi027 and not pi028 and pi068 );
    po40 <= ( pi000 and pi004 and not pi006 and pi069 )
      or ( not pi001 and pi004 and not pi006 and pi069 )
      or ( pi004 and not pi006 and not pi023 and pi069 )
      or ( pi004 and not pi006 and pi024 and pi069 )
      or ( pi004 and not pi006 and pi025 and pi069 )
      or ( pi004 and not pi006 and not pi026 and pi069 )
      or ( pi004 and not pi006 and pi027 and pi069 )
      or ( pi004 and not pi006 and pi028 and pi069 )
      or ( not pi001 and pi004 and pi006 and pi109 )
      or ( pi004 and pi006 and not pi023 and pi109 )
      or ( pi004 and pi006 and pi024 and pi109 )
      or ( pi004 and pi006 and pi025 and pi109 )
      or ( pi004 and pi006 and not pi026 and pi109 )
      or ( pi004 and pi006 and pi027 and pi109 )
      or ( pi004 and pi006 and pi028 and pi109 )
      or ( not pi000 and pi001 and pi004 and pi015 and pi023 and not pi024 and not pi025 and pi026 and not pi027 and not pi028 )
      or ( pi000 and pi001 and pi004 and pi023 and not pi024 and not pi025 and pi026 and not pi027 and not pi028 and pi069 );
    po41 <= ( pi000 and pi004 and not pi006 and pi070 )
      or ( not pi001 and pi004 and not pi006 and pi070 )
      or ( pi004 and not pi006 and not pi023 and pi070 )
      or ( pi004 and not pi006 and pi024 and pi070 )
      or ( pi004 and not pi006 and pi025 and pi070 )
      or ( pi004 and not pi006 and not pi026 and pi070 )
      or ( pi004 and not pi006 and pi027 and pi070 )
      or ( pi004 and not pi006 and pi028 and pi070 )
      or ( not pi001 and pi004 and pi006 and pi110 )
      or ( pi004 and pi006 and not pi023 and pi110 )
      or ( pi004 and pi006 and pi024 and pi110 )
      or ( pi004 and pi006 and pi025 and pi110 )
      or ( pi004 and pi006 and not pi026 and pi110 )
      or ( pi004 and pi006 and pi027 and pi110 )
      or ( pi004 and pi006 and pi028 and pi110 )
      or ( not pi000 and pi001 and pi004 and pi016 and pi023 and not pi024 and not pi025 and pi026 and not pi027 and not pi028 )
      or ( pi000 and pi001 and pi004 and pi023 and not pi024 and not pi025 and pi026 and not pi027 and not pi028 and pi070 );
    po42 <= ( pi000 and pi004 and not pi006 and pi071 )
      or ( not pi001 and pi004 and not pi006 and pi071 )
      or ( pi004 and not pi006 and not pi023 and pi071 )
      or ( pi004 and not pi006 and pi024 and pi071 )
      or ( pi004 and not pi006 and pi025 and pi071 )
      or ( pi004 and not pi006 and not pi026 and pi071 )
      or ( pi004 and not pi006 and pi027 and pi071 )
      or ( pi004 and not pi006 and pi028 and pi071 )
      or ( not pi001 and pi004 and pi006 and pi111 )
      or ( pi004 and pi006 and not pi023 and pi111 )
      or ( pi004 and pi006 and pi024 and pi111 )
      or ( pi004 and pi006 and pi025 and pi111 )
      or ( pi004 and pi006 and not pi026 and pi111 )
      or ( pi004 and pi006 and pi027 and pi111 )
      or ( pi004 and pi006 and pi028 and pi111 )
      or ( not pi000 and pi001 and pi004 and pi017 and pi023 and not pi024 and not pi025 and pi026 and not pi027 and not pi028 )
      or ( pi000 and pi001 and pi004 and pi023 and not pi024 and not pi025 and pi026 and not pi027 and not pi028 and pi071 );
    po43 <= ( pi000 and pi004 and not pi006 and pi072 )
      or ( not pi001 and pi004 and not pi006 and pi072 )
      or ( pi004 and not pi006 and not pi023 and pi072 )
      or ( pi004 and not pi006 and pi024 and pi072 )
      or ( pi004 and not pi006 and pi025 and pi072 )
      or ( pi004 and not pi006 and not pi026 and pi072 )
      or ( pi004 and not pi006 and pi027 and pi072 )
      or ( pi004 and not pi006 and pi028 and pi072 )
      or ( not pi001 and pi004 and pi006 and pi112 )
      or ( pi004 and pi006 and not pi023 and pi112 )
      or ( pi004 and pi006 and pi024 and pi112 )
      or ( pi004 and pi006 and pi025 and pi112 )
      or ( pi004 and pi006 and not pi026 and pi112 )
      or ( pi004 and pi006 and pi027 and pi112 )
      or ( pi004 and pi006 and pi028 and pi112 )
      or ( not pi000 and pi001 and pi004 and pi018 and pi023 and not pi024 and not pi025 and pi026 and not pi027 and not pi028 )
      or ( pi000 and pi001 and pi004 and pi023 and not pi024 and not pi025 and pi026 and not pi027 and not pi028 and pi072 );
    po44 <= ( pi000 and pi004 and not pi006 and pi073 )
      or ( not pi001 and pi004 and not pi006 and pi073 )
      or ( pi004 and not pi006 and not pi023 and pi073 )
      or ( pi004 and not pi006 and pi024 and pi073 )
      or ( pi004 and not pi006 and pi025 and pi073 )
      or ( pi004 and not pi006 and not pi026 and pi073 )
      or ( pi004 and not pi006 and pi027 and pi073 )
      or ( pi004 and not pi006 and pi028 and pi073 )
      or ( not pi001 and pi004 and pi006 and pi113 )
      or ( pi004 and pi006 and not pi023 and pi113 )
      or ( pi004 and pi006 and pi024 and pi113 )
      or ( pi004 and pi006 and pi025 and pi113 )
      or ( pi004 and pi006 and not pi026 and pi113 )
      or ( pi004 and pi006 and pi027 and pi113 )
      or ( pi004 and pi006 and pi028 and pi113 )
      or ( not pi000 and pi001 and pi004 and pi019 and pi023 and not pi024 and not pi025 and pi026 and not pi027 and not pi028 )
      or ( pi000 and pi001 and pi004 and pi023 and not pi024 and not pi025 and pi026 and not pi027 and not pi028 and pi073 );
    po45 <= ( pi000 and pi004 and not pi006 and pi074 )
      or ( not pi001 and pi004 and not pi006 and pi074 )
      or ( pi004 and not pi006 and not pi023 and pi074 )
      or ( pi004 and not pi006 and pi024 and pi074 )
      or ( pi004 and not pi006 and pi025 and pi074 )
      or ( pi004 and not pi006 and not pi026 and pi074 )
      or ( pi004 and not pi006 and pi027 and pi074 )
      or ( pi004 and not pi006 and pi028 and pi074 )
      or ( not pi001 and pi004 and pi006 and pi114 )
      or ( pi004 and pi006 and not pi023 and pi114 )
      or ( pi004 and pi006 and pi024 and pi114 )
      or ( pi004 and pi006 and pi025 and pi114 )
      or ( pi004 and pi006 and not pi026 and pi114 )
      or ( pi004 and pi006 and pi027 and pi114 )
      or ( pi004 and pi006 and pi028 and pi114 )
      or ( not pi000 and pi001 and pi004 and pi020 and pi023 and not pi024 and not pi025 and pi026 and not pi027 and not pi028 )
      or ( pi000 and pi001 and pi004 and pi023 and not pi024 and not pi025 and pi026 and not pi027 and not pi028 and pi074 );
    po46 <= ( pi000 and pi004 and not pi006 and pi075 )
      or ( not pi001 and pi004 and not pi006 and pi075 )
      or ( pi004 and not pi006 and not pi023 and pi075 )
      or ( pi004 and not pi006 and pi024 and pi075 )
      or ( pi004 and not pi006 and pi025 and pi075 )
      or ( pi004 and not pi006 and not pi026 and pi075 )
      or ( pi004 and not pi006 and pi027 and pi075 )
      or ( pi004 and not pi006 and pi028 and pi075 )
      or ( not pi001 and pi004 and pi006 and pi115 )
      or ( pi004 and pi006 and not pi023 and pi115 )
      or ( pi004 and pi006 and pi024 and pi115 )
      or ( pi004 and pi006 and pi025 and pi115 )
      or ( pi004 and pi006 and not pi026 and pi115 )
      or ( pi004 and pi006 and pi027 and pi115 )
      or ( pi004 and pi006 and pi028 and pi115 )
      or ( not pi000 and pi001 and pi004 and pi021 and pi023 and not pi024 and not pi025 and pi026 and not pi027 and not pi028 )
      or ( pi000 and pi001 and pi004 and pi023 and not pi024 and not pi025 and pi026 and not pi027 and not pi028 and pi075 );
    po47 <= ( pi000 and pi004 and not pi006 and pi076 )
      or ( not pi001 and pi004 and not pi006 and pi076 )
      or ( pi004 and not pi006 and not pi023 and pi076 )
      or ( pi004 and not pi006 and pi024 and pi076 )
      or ( pi004 and not pi006 and pi025 and pi076 )
      or ( pi004 and not pi006 and not pi026 and pi076 )
      or ( pi004 and not pi006 and pi027 and pi076 )
      or ( pi004 and not pi006 and pi028 and pi076 )
      or ( not pi001 and pi004 and pi006 and pi116 )
      or ( pi004 and pi006 and not pi023 and pi116 )
      or ( pi004 and pi006 and pi024 and pi116 )
      or ( pi004 and pi006 and pi025 and pi116 )
      or ( pi004 and pi006 and not pi026 and pi116 )
      or ( pi004 and pi006 and pi027 and pi116 )
      or ( pi004 and pi006 and pi028 and pi116 )
      or ( not pi000 and pi001 and pi004 and pi022 and pi023 and not pi024 and not pi025 and pi026 and not pi027 and not pi028 )
      or ( pi000 and pi001 and pi004 and pi023 and not pi024 and not pi025 and pi026 and not pi027 and not pi028 and pi076 );
    po48 <= ( not pi004 )
      or ( pi000 and pi077 )
      or ( not pi001 and pi077 )
      or ( pi023 and pi077 )
      or ( not pi024 and pi077 )
      or ( pi025 and pi077 )
      or ( pi026 and pi077 )
      or ( pi027 and pi077 )
      or ( pi028 and pi077 )
      or ( not pi000 and pi001 and pi015 and not pi023 and pi024 and not pi025 and not pi026 and not pi027 and not pi028 );
    po49 <= ( not pi004 )
      or ( pi000 and pi078 )
      or ( not pi001 and pi078 )
      or ( pi023 and pi078 )
      or ( not pi024 and pi078 )
      or ( pi025 and pi078 )
      or ( pi026 and pi078 )
      or ( pi027 and pi078 )
      or ( pi028 and pi078 )
      or ( not pi000 and pi001 and pi016 and not pi023 and pi024 and not pi025 and not pi026 and not pi027 and not pi028 );
    po50 <= ( not pi004 )
      or ( pi000 and pi079 )
      or ( not pi001 and pi079 )
      or ( pi023 and pi079 )
      or ( not pi024 and pi079 )
      or ( pi025 and pi079 )
      or ( pi026 and pi079 )
      or ( pi027 and pi079 )
      or ( pi028 and pi079 )
      or ( not pi000 and pi001 and pi017 and not pi023 and pi024 and not pi025 and not pi026 and not pi027 and not pi028 );
    po51 <= ( not pi004 )
      or ( pi000 and pi080 )
      or ( not pi001 and pi080 )
      or ( pi023 and pi080 )
      or ( not pi024 and pi080 )
      or ( pi025 and pi080 )
      or ( pi026 and pi080 )
      or ( pi027 and pi080 )
      or ( pi028 and pi080 )
      or ( not pi000 and pi001 and pi018 and not pi023 and pi024 and not pi025 and not pi026 and not pi027 and not pi028 );
    po52 <= ( not pi004 )
      or ( pi000 and pi081 )
      or ( not pi001 and pi081 )
      or ( pi023 and pi081 )
      or ( not pi024 and pi081 )
      or ( pi025 and pi081 )
      or ( pi026 and pi081 )
      or ( pi027 and pi081 )
      or ( pi028 and pi081 )
      or ( not pi000 and pi001 and pi019 and not pi023 and pi024 and not pi025 and not pi026 and not pi027 and not pi028 );
    po53 <= ( not pi004 )
      or ( pi000 and pi082 )
      or ( not pi001 and pi082 )
      or ( pi023 and pi082 )
      or ( not pi024 and pi082 )
      or ( pi025 and pi082 )
      or ( pi026 and pi082 )
      or ( pi027 and pi082 )
      or ( pi028 and pi082 )
      or ( not pi000 and pi001 and pi020 and not pi023 and pi024 and not pi025 and not pi026 and not pi027 and not pi028 );
    po54 <= ( not pi004 )
      or ( pi000 and pi083 )
      or ( not pi001 and pi083 )
      or ( pi023 and pi083 )
      or ( not pi024 and pi083 )
      or ( pi025 and pi083 )
      or ( pi026 and pi083 )
      or ( pi027 and pi083 )
      or ( pi028 and pi083 )
      or ( not pi000 and pi001 and pi021 and not pi023 and pi024 and not pi025 and not pi026 and not pi027 and not pi028 );
    po55 <= ( not pi004 )
      or ( pi000 and pi084 )
      or ( not pi001 and pi084 )
      or ( pi023 and pi084 )
      or ( not pi024 and pi084 )
      or ( pi025 and pi084 )
      or ( pi026 and pi084 )
      or ( pi027 and pi084 )
      or ( pi028 and pi084 )
      or ( not pi000 and pi001 and pi022 and not pi023 and pi024 and not pi025 and not pi026 and not pi027 and not pi028 );
    po56 <= ( pi000 and pi004 and pi085 )
      or ( not pi001 and pi004 and pi085 )
      or ( pi004 and not pi023 and pi085 )
      or ( pi004 and not pi024 and pi085 )
      or ( pi004 and pi025 and pi085 )
      or ( pi004 and pi026 and pi085 )
      or ( pi004 and pi027 and pi085 )
      or ( pi004 and pi028 and pi085 )
      or ( not pi000 and pi001 and pi004 and pi015 and pi023 and pi024 and not pi025 and not pi026 and not pi027 and not pi028 );
    po57 <= ( pi000 and pi004 and pi086 )
      or ( not pi001 and pi004 and pi086 )
      or ( pi004 and not pi023 and pi086 )
      or ( pi004 and not pi024 and pi086 )
      or ( pi004 and pi025 and pi086 )
      or ( pi004 and pi026 and pi086 )
      or ( pi004 and pi027 and pi086 )
      or ( pi004 and pi028 and pi086 )
      or ( not pi000 and pi001 and pi004 and pi016 and pi023 and pi024 and not pi025 and not pi026 and not pi027 and not pi028 );
    po58 <= ( pi000 and pi004 and pi087 )
      or ( not pi001 and pi004 and pi087 )
      or ( pi004 and not pi023 and pi087 )
      or ( pi004 and not pi024 and pi087 )
      or ( pi004 and pi025 and pi087 )
      or ( pi004 and pi026 and pi087 )
      or ( pi004 and pi027 and pi087 )
      or ( pi004 and pi028 and pi087 )
      or ( not pi000 and pi001 and pi004 and pi017 and pi023 and pi024 and not pi025 and not pi026 and not pi027 and not pi028 );
    po59 <= ( pi000 and pi004 and pi088 )
      or ( not pi001 and pi004 and pi088 )
      or ( pi004 and not pi023 and pi088 )
      or ( pi004 and not pi024 and pi088 )
      or ( pi004 and pi025 and pi088 )
      or ( pi004 and pi026 and pi088 )
      or ( pi004 and pi027 and pi088 )
      or ( pi004 and pi028 and pi088 )
      or ( not pi000 and pi001 and pi004 and pi018 and pi023 and pi024 and not pi025 and not pi026 and not pi027 and not pi028 );
    po60 <= ( pi000 and pi004 and pi089 )
      or ( not pi001 and pi004 and pi089 )
      or ( pi004 and not pi023 and pi089 )
      or ( pi004 and not pi024 and pi089 )
      or ( pi004 and pi025 and pi089 )
      or ( pi004 and pi026 and pi089 )
      or ( pi004 and pi027 and pi089 )
      or ( pi004 and pi028 and pi089 )
      or ( not pi000 and pi001 and pi004 and pi019 and pi023 and pi024 and not pi025 and not pi026 and not pi027 and not pi028 );
    po61 <= ( pi000 and pi004 and pi090 )
      or ( not pi001 and pi004 and pi090 )
      or ( pi004 and not pi023 and pi090 )
      or ( pi004 and not pi024 and pi090 )
      or ( pi004 and pi025 and pi090 )
      or ( pi004 and pi026 and pi090 )
      or ( pi004 and pi027 and pi090 )
      or ( pi004 and pi028 and pi090 )
      or ( not pi000 and pi001 and pi004 and pi020 and pi023 and pi024 and not pi025 and not pi026 and not pi027 and not pi028 );
    po62 <= ( pi000 and pi004 and pi091 )
      or ( not pi001 and pi004 and pi091 )
      or ( pi004 and not pi023 and pi091 )
      or ( pi004 and not pi024 and pi091 )
      or ( pi004 and pi025 and pi091 )
      or ( pi004 and pi026 and pi091 )
      or ( pi004 and pi027 and pi091 )
      or ( pi004 and pi028 and pi091 )
      or ( not pi000 and pi001 and pi004 and pi021 and pi023 and pi024 and not pi025 and not pi026 and not pi027 and not pi028 );
    po63 <= ( pi000 and pi004 and pi092 )
      or ( not pi001 and pi004 and pi092 )
      or ( pi004 and not pi023 and pi092 )
      or ( pi004 and not pi024 and pi092 )
      or ( pi004 and pi025 and pi092 )
      or ( pi004 and pi026 and pi092 )
      or ( pi004 and pi027 and pi092 )
      or ( pi004 and pi028 and pi092 )
      or ( not pi000 and pi001 and pi004 and pi022 and pi023 and pi024 and not pi025 and not pi026 and not pi027 and not pi028 );
    po64 <= ( pi000 and pi004 and pi093 )
      or ( not pi001 and pi004 and pi093 )
      or ( pi004 and not pi023 and pi093 )
      or ( pi004 and pi024 and pi093 )
      or ( pi004 and pi025 and pi093 )
      or ( pi004 and pi026 and pi093 )
      or ( pi004 and pi027 and pi093 )
      or ( pi004 and pi028 and pi093 )
      or ( not pi000 and pi001 and pi004 and pi015 and pi023 and not pi024 and not pi025 and not pi026 and not pi027 and not pi028 )
      or ( not pi001 and pi004 and not pi007 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi077 and pi085 )
      or ( pi004 and not pi007 and pi025 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi077 and pi085 )
      or ( pi004 and not pi007 and pi026 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi077 and pi085 )
      or ( pi004 and not pi007 and pi027 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi077 and pi085 )
      or ( pi004 and not pi007 and pi028 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi077 and pi085 )
      or ( not pi001 and pi004 and pi007 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi077 and not pi085 )
      or ( pi004 and pi007 and pi025 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi077 and not pi085 )
      or ( pi004 and pi007 and pi026 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi077 and not pi085 )
      or ( pi004 and pi007 and pi027 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi077 and not pi085 )
      or ( pi004 and pi007 and pi028 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi077 and not pi085 )
      or ( pi000 and pi004 and not pi007 and pi024 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi077 and pi085 )
      or ( pi004 and not pi007 and not pi023 and not pi024 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi077 and pi085 )
      or ( pi000 and pi004 and pi007 and pi024 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi077 and not pi085 )
      or ( pi004 and pi007 and not pi023 and not pi024 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi077 and not pi085 )
      or ( not pi000 and pi001 and pi004 and not pi007 and pi015 and pi023 and not pi025 and not pi026 and not pi027 and not pi028 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi077 )
      or ( not pi000 and pi001 and pi004 and pi007 and not pi015 and pi023 and pi024 and not pi025 and not pi026 and not pi027 and not pi028 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi077 )
      or ( not pi000 and pi001 and pi004 and not pi007 and not pi015 and not pi023 and pi024 and not pi025 and not pi026 and not pi027 and not pi028 and pi029 and pi030 and pi031 and pi032 and not pi033 and pi085 )
      or ( not pi000 and pi001 and pi004 and pi007 and not pi015 and not pi023 and pi024 and not pi025 and not pi026 and not pi027 and not pi028 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi085 );
    po65 <= ( pi000 and pi004 and pi094 )
      or ( not pi001 and pi004 and pi094 )
      or ( pi004 and not pi023 and pi094 )
      or ( pi004 and pi024 and pi094 )
      or ( pi004 and pi025 and pi094 )
      or ( pi004 and pi026 and pi094 )
      or ( pi004 and pi027 and pi094 )
      or ( pi004 and pi028 and pi094 )
      or ( not pi000 and pi001 and pi004 and pi016 and pi023 and not pi024 and not pi025 and not pi026 and not pi027 and not pi028 )
      or ( not pi001 and pi004 and not pi008 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi078 and pi086 )
      or ( pi004 and not pi008 and pi025 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi078 and pi086 )
      or ( pi004 and not pi008 and pi026 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi078 and pi086 )
      or ( pi004 and not pi008 and pi027 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi078 and pi086 )
      or ( pi004 and not pi008 and pi028 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi078 and pi086 )
      or ( not pi001 and pi004 and pi008 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi078 and not pi086 )
      or ( pi004 and pi008 and pi025 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi078 and not pi086 )
      or ( pi004 and pi008 and pi026 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi078 and not pi086 )
      or ( pi004 and pi008 and pi027 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi078 and not pi086 )
      or ( pi004 and pi008 and pi028 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi078 and not pi086 )
      or ( pi000 and pi004 and not pi008 and pi024 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi078 and pi086 )
      or ( pi004 and not pi008 and not pi023 and not pi024 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi078 and pi086 )
      or ( pi000 and pi004 and pi008 and pi024 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi078 and not pi086 )
      or ( pi004 and pi008 and not pi023 and not pi024 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi078 and not pi086 )
      or ( not pi000 and pi001 and pi004 and not pi008 and pi016 and pi023 and not pi025 and not pi026 and not pi027 and not pi028 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi078 )
      or ( not pi000 and pi001 and pi004 and pi008 and not pi016 and pi023 and pi024 and not pi025 and not pi026 and not pi027 and not pi028 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi078 )
      or ( not pi000 and pi001 and pi004 and not pi008 and not pi016 and not pi023 and pi024 and not pi025 and not pi026 and not pi027 and not pi028 and pi029 and pi030 and pi031 and pi032 and not pi033 and pi086 )
      or ( not pi000 and pi001 and pi004 and pi008 and not pi016 and not pi023 and pi024 and not pi025 and not pi026 and not pi027 and not pi028 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi086 );
    po66 <= ( pi000 and pi004 and pi095 )
      or ( not pi001 and pi004 and pi095 )
      or ( pi004 and not pi023 and pi095 )
      or ( pi004 and pi024 and pi095 )
      or ( pi004 and pi025 and pi095 )
      or ( pi004 and pi026 and pi095 )
      or ( pi004 and pi027 and pi095 )
      or ( pi004 and pi028 and pi095 )
      or ( not pi001 and pi004 and pi009 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi079 )
      or ( pi004 and pi009 and pi025 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi079 )
      or ( pi004 and pi009 and pi026 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi079 )
      or ( pi004 and pi009 and pi027 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi079 )
      or ( pi004 and pi009 and pi028 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi079 )
      or ( not pi000 and pi001 and pi004 and pi017 and pi023 and not pi024 and not pi025 and not pi026 and not pi027 and not pi028 )
      or ( pi000 and pi004 and pi009 and not pi023 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi079 )
      or ( pi004 and pi009 and pi023 and pi024 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi079 )
      or ( pi004 and pi009 and not pi023 and not pi024 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi079 )
      or ( not pi000 and pi001 and pi004 and pi009 and not pi017 and not pi023 and pi024 and not pi025 and not pi026 and not pi027 and not pi028 and pi029 and pi030 and pi031 and pi032 and not pi033 );
    po67 <= ( pi000 and pi004 and pi096 )
      or ( not pi001 and pi004 and pi096 )
      or ( pi004 and not pi023 and pi096 )
      or ( pi004 and pi024 and pi096 )
      or ( pi004 and pi025 and pi096 )
      or ( pi004 and pi026 and pi096 )
      or ( pi004 and pi027 and pi096 )
      or ( pi004 and pi028 and pi096 )
      or ( not pi001 and pi004 and pi010 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi080 )
      or ( pi004 and pi010 and pi025 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi080 )
      or ( pi004 and pi010 and pi026 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi080 )
      or ( pi004 and pi010 and pi027 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi080 )
      or ( pi004 and pi010 and pi028 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi080 )
      or ( not pi000 and pi001 and pi004 and pi018 and pi023 and not pi024 and not pi025 and not pi026 and not pi027 and not pi028 )
      or ( pi000 and pi004 and pi010 and not pi023 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi080 )
      or ( pi004 and pi010 and pi023 and pi024 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi080 )
      or ( pi004 and pi010 and not pi023 and not pi024 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi080 )
      or ( not pi000 and pi001 and pi004 and pi010 and not pi018 and not pi023 and pi024 and not pi025 and not pi026 and not pi027 and not pi028 and pi029 and pi030 and pi031 and pi032 and not pi033 );
    po68 <= ( pi000 and pi004 and pi097 )
      or ( not pi001 and pi004 and pi097 )
      or ( pi004 and not pi023 and pi097 )
      or ( pi004 and pi024 and pi097 )
      or ( pi004 and pi025 and pi097 )
      or ( pi004 and pi026 and pi097 )
      or ( pi004 and pi027 and pi097 )
      or ( pi004 and pi028 and pi097 )
      or ( not pi000 and pi001 and pi004 and pi019 and pi023 and not pi024 and not pi025 and not pi026 and not pi027 and not pi028 )
      or ( not pi001 and pi004 and not pi011 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi081 and pi089 )
      or ( pi004 and not pi011 and pi025 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi081 and pi089 )
      or ( pi004 and not pi011 and pi026 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi081 and pi089 )
      or ( pi004 and not pi011 and pi027 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi081 and pi089 )
      or ( pi004 and not pi011 and pi028 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi081 and pi089 )
      or ( not pi001 and pi004 and pi011 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi081 and not pi089 )
      or ( pi004 and pi011 and pi025 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi081 and not pi089 )
      or ( pi004 and pi011 and pi026 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi081 and not pi089 )
      or ( pi004 and pi011 and pi027 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi081 and not pi089 )
      or ( pi004 and pi011 and pi028 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi081 and not pi089 )
      or ( pi000 and pi004 and not pi011 and pi024 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi081 and pi089 )
      or ( pi004 and not pi011 and not pi023 and not pi024 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi081 and pi089 )
      or ( pi000 and pi004 and pi011 and pi024 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi081 and not pi089 )
      or ( pi004 and pi011 and not pi023 and not pi024 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi081 and not pi089 )
      or ( not pi000 and pi001 and pi004 and not pi011 and pi019 and pi023 and not pi025 and not pi026 and not pi027 and not pi028 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi081 )
      or ( not pi000 and pi001 and pi004 and pi011 and not pi019 and pi023 and pi024 and not pi025 and not pi026 and not pi027 and not pi028 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi081 )
      or ( not pi000 and pi001 and pi004 and not pi011 and not pi019 and not pi023 and pi024 and not pi025 and not pi026 and not pi027 and not pi028 and pi029 and pi030 and pi031 and pi032 and not pi033 and pi089 )
      or ( not pi000 and pi001 and pi004 and pi011 and not pi019 and not pi023 and pi024 and not pi025 and not pi026 and not pi027 and not pi028 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi089 );
    po69 <= ( pi000 and pi004 and pi098 )
      or ( not pi001 and pi004 and pi098 )
      or ( pi004 and not pi023 and pi098 )
      or ( pi004 and pi024 and pi098 )
      or ( pi004 and pi025 and pi098 )
      or ( pi004 and pi026 and pi098 )
      or ( pi004 and pi027 and pi098 )
      or ( pi004 and pi028 and pi098 )
      or ( not pi000 and pi001 and pi004 and pi020 and pi023 and not pi024 and not pi025 and not pi026 and not pi027 and not pi028 )
      or ( not pi001 and pi004 and not pi012 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi082 and pi090 )
      or ( pi004 and not pi012 and pi025 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi082 and pi090 )
      or ( pi004 and not pi012 and pi026 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi082 and pi090 )
      or ( pi004 and not pi012 and pi027 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi082 and pi090 )
      or ( pi004 and not pi012 and pi028 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi082 and pi090 )
      or ( not pi001 and pi004 and pi012 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi082 and not pi090 )
      or ( pi004 and pi012 and pi025 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi082 and not pi090 )
      or ( pi004 and pi012 and pi026 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi082 and not pi090 )
      or ( pi004 and pi012 and pi027 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi082 and not pi090 )
      or ( pi004 and pi012 and pi028 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi082 and not pi090 )
      or ( pi000 and pi004 and not pi012 and pi024 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi082 and pi090 )
      or ( pi004 and not pi012 and not pi023 and not pi024 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi082 and pi090 )
      or ( pi000 and pi004 and pi012 and pi024 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi082 and not pi090 )
      or ( pi004 and pi012 and not pi023 and not pi024 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi082 and not pi090 )
      or ( not pi000 and pi001 and pi004 and not pi012 and pi020 and pi023 and not pi025 and not pi026 and not pi027 and not pi028 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi082 )
      or ( not pi000 and pi001 and pi004 and pi012 and not pi020 and pi023 and pi024 and not pi025 and not pi026 and not pi027 and not pi028 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi082 )
      or ( not pi000 and pi001 and pi004 and not pi012 and not pi020 and not pi023 and pi024 and not pi025 and not pi026 and not pi027 and not pi028 and pi029 and pi030 and pi031 and pi032 and not pi033 and pi090 )
      or ( not pi000 and pi001 and pi004 and pi012 and not pi020 and not pi023 and pi024 and not pi025 and not pi026 and not pi027 and not pi028 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi090 );
    po70 <= ( pi000 and pi004 and pi099 )
      or ( not pi001 and pi004 and pi099 )
      or ( pi004 and not pi023 and pi099 )
      or ( pi004 and pi024 and pi099 )
      or ( pi004 and pi025 and pi099 )
      or ( pi004 and pi026 and pi099 )
      or ( pi004 and pi027 and pi099 )
      or ( pi004 and pi028 and pi099 )
      or ( not pi000 and pi001 and pi004 and pi021 and pi023 and not pi024 and not pi025 and not pi026 and not pi027 and not pi028 )
      or ( not pi001 and pi004 and not pi013 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi083 and pi091 )
      or ( pi004 and not pi013 and pi025 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi083 and pi091 )
      or ( pi004 and not pi013 and pi026 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi083 and pi091 )
      or ( pi004 and not pi013 and pi027 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi083 and pi091 )
      or ( pi004 and not pi013 and pi028 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi083 and pi091 )
      or ( not pi001 and pi004 and pi013 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi083 and not pi091 )
      or ( pi004 and pi013 and pi025 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi083 and not pi091 )
      or ( pi004 and pi013 and pi026 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi083 and not pi091 )
      or ( pi004 and pi013 and pi027 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi083 and not pi091 )
      or ( pi004 and pi013 and pi028 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi083 and not pi091 )
      or ( pi000 and pi004 and not pi013 and pi024 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi083 and pi091 )
      or ( pi004 and not pi013 and not pi023 and not pi024 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi083 and pi091 )
      or ( pi000 and pi004 and pi013 and pi024 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi083 and not pi091 )
      or ( pi004 and pi013 and not pi023 and not pi024 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi083 and not pi091 )
      or ( not pi000 and pi001 and pi004 and not pi013 and pi021 and pi023 and not pi025 and not pi026 and not pi027 and not pi028 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi083 )
      or ( not pi000 and pi001 and pi004 and pi013 and not pi021 and pi023 and pi024 and not pi025 and not pi026 and not pi027 and not pi028 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi083 )
      or ( not pi000 and pi001 and pi004 and not pi013 and not pi021 and not pi023 and pi024 and not pi025 and not pi026 and not pi027 and not pi028 and pi029 and pi030 and pi031 and pi032 and not pi033 and pi091 )
      or ( not pi000 and pi001 and pi004 and pi013 and not pi021 and not pi023 and pi024 and not pi025 and not pi026 and not pi027 and not pi028 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi091 );
    po71 <= ( pi000 and pi004 and pi100 )
      or ( not pi001 and pi004 and pi100 )
      or ( pi004 and not pi023 and pi100 )
      or ( pi004 and pi024 and pi100 )
      or ( pi004 and pi025 and pi100 )
      or ( pi004 and pi026 and pi100 )
      or ( pi004 and pi027 and pi100 )
      or ( pi004 and pi028 and pi100 )
      or ( not pi001 and pi004 and pi014 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi084 )
      or ( pi004 and pi014 and pi025 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi084 )
      or ( pi004 and pi014 and pi026 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi084 )
      or ( pi004 and pi014 and pi027 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi084 )
      or ( pi004 and pi014 and pi028 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi084 )
      or ( not pi000 and pi001 and pi004 and pi022 and pi023 and not pi024 and not pi025 and not pi026 and not pi027 and not pi028 )
      or ( pi000 and pi004 and pi014 and not pi023 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi084 )
      or ( pi004 and pi014 and pi023 and pi024 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi084 )
      or ( pi004 and pi014 and not pi023 and not pi024 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi084 )
      or ( not pi000 and pi001 and pi004 and pi014 and not pi022 and not pi023 and pi024 and not pi025 and not pi026 and not pi027 and not pi028 and pi029 and pi030 and pi031 and pi032 and not pi033 );
    po72 <= ( not pi003 and pi004 and not pi006 and pi101 )
      or ( pi004 and not pi006 and not pi029 and pi101 )
      or ( pi004 and not pi006 and not pi030 and pi101 )
      or ( pi004 and not pi006 and not pi031 and pi101 )
      or ( pi004 and not pi006 and not pi032 and pi101 )
      or ( pi004 and not pi006 and pi033 and pi101 )
      or ( pi003 and pi004 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi101 )
      or ( pi003 and pi004 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi102 )
      or ( pi003 and pi004 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi103 )
      or ( pi003 and pi004 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi104 )
      or ( pi003 and pi004 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi105 )
      or ( pi003 and pi004 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi106 )
      or ( pi003 and pi004 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi107 )
      or ( pi003 and pi004 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi108 )
      or ( pi003 and pi004 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi109 )
      or ( pi003 and pi004 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi110 )
      or ( pi003 and pi004 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi111 )
      or ( pi003 and pi004 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi112 )
      or ( pi003 and pi004 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi113 )
      or ( pi003 and pi004 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi114 )
      or ( pi003 and pi004 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi115 )
      or ( pi003 and pi004 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi116 )
      or ( pi004 and not pi006 and pi101 and pi102 and pi103 and pi104 and pi105 and pi106 and pi107 and pi108 and pi109 and pi110 and pi111 and pi112 and pi113 and pi114 and pi115 and pi116 );
    po73 <= ( not pi003 and pi004 and not pi006 and pi102 )
      or ( pi004 and not pi006 and not pi029 and pi102 )
      or ( pi004 and not pi006 and not pi030 and pi102 )
      or ( pi004 and not pi006 and not pi031 and pi102 )
      or ( pi004 and not pi006 and not pi032 and pi102 )
      or ( pi004 and not pi006 and pi033 and pi102 )
      or ( pi004 and not pi006 and not pi101 and pi102 )
      or ( pi003 and pi004 and not pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and pi101 and not pi102 )
      or ( pi004 and not pi006 and pi101 and pi102 and pi103 and pi104 and pi105 and pi106 and pi107 and pi108 and pi109 and pi110 and pi111 and pi112 and pi113 and pi114 and pi115 and pi116 );
    po74 <= ( not pi003 and pi004 and not pi006 and pi103 )
      or ( pi004 and not pi006 and not pi029 and pi103 )
      or ( pi004 and not pi006 and not pi030 and pi103 )
      or ( pi004 and not pi006 and not pi031 and pi103 )
      or ( pi004 and not pi006 and not pi032 and pi103 )
      or ( pi004 and not pi006 and pi033 and pi103 )
      or ( pi004 and not pi006 and not pi101 and pi103 )
      or ( pi004 and not pi006 and not pi102 and pi103 )
      or ( pi003 and pi004 and not pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and pi101 and pi102 and not pi103 )
      or ( pi004 and not pi006 and pi101 and pi102 and pi103 and pi104 and pi105 and pi106 and pi107 and pi108 and pi109 and pi110 and pi111 and pi112 and pi113 and pi114 and pi115 and pi116 );
    po75 <= ( not pi003 and pi004 and not pi006 and pi104 )
      or ( pi004 and not pi006 and not pi029 and pi104 )
      or ( pi004 and not pi006 and not pi030 and pi104 )
      or ( pi004 and not pi006 and not pi031 and pi104 )
      or ( pi004 and not pi006 and not pi032 and pi104 )
      or ( pi004 and not pi006 and pi033 and pi104 )
      or ( pi004 and not pi006 and not pi101 and pi104 )
      or ( pi004 and not pi006 and not pi102 and pi104 )
      or ( pi004 and not pi006 and not pi103 and pi104 )
      or ( pi003 and pi004 and not pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and pi101 and pi102 and pi103 and not pi104 )
      or ( pi004 and not pi006 and pi101 and pi102 and pi103 and pi104 and pi105 and pi106 and pi107 and pi108 and pi109 and pi110 and pi111 and pi112 and pi113 and pi114 and pi115 and pi116 );
    po76 <= ( not pi003 and pi004 and not pi006 and pi105 )
      or ( pi004 and not pi006 and not pi029 and pi105 )
      or ( pi004 and not pi006 and not pi030 and pi105 )
      or ( pi004 and not pi006 and not pi031 and pi105 )
      or ( pi004 and not pi006 and not pi032 and pi105 )
      or ( pi004 and not pi006 and pi033 and pi105 )
      or ( pi004 and pi005 and not pi006 and not pi101 and pi105 )
      or ( pi004 and pi005 and not pi006 and not pi102 and pi105 )
      or ( pi004 and pi005 and not pi006 and not pi103 and pi105 )
      or ( pi004 and pi005 and not pi006 and not pi104 and pi105 )
      or ( pi003 and pi004 and not pi005 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi105 )
      or ( pi003 and pi004 and not pi005 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi101 )
      or ( pi003 and pi004 and not pi005 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi102 )
      or ( pi003 and pi004 and not pi005 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi103 )
      or ( pi003 and pi004 and not pi005 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi104 )
      or ( pi003 and pi004 and not pi005 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi106 )
      or ( pi003 and pi004 and not pi005 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi107 )
      or ( pi003 and pi004 and not pi005 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi108 )
      or ( pi003 and pi004 and not pi005 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi109 )
      or ( pi003 and pi004 and not pi005 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi110 )
      or ( pi003 and pi004 and not pi005 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi111 )
      or ( pi003 and pi004 and not pi005 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi112 )
      or ( pi003 and pi004 and not pi005 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi113 )
      or ( pi003 and pi004 and not pi005 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi114 )
      or ( pi003 and pi004 and not pi005 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi115 )
      or ( pi003 and pi004 and not pi005 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi116 )
      or ( pi003 and pi004 and not pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and pi101 and pi102 and pi103 and pi104 and not pi105 )
      or ( pi004 and not pi006 and pi101 and pi102 and pi103 and pi104 and pi105 and pi106 and pi107 and pi108 and pi109 and pi110 and pi111 and pi112 and pi113 and pi114 and pi115 and pi116 );
    po77 <= ( not pi003 and pi004 and not pi006 and pi106 )
      or ( pi004 and not pi006 and not pi029 and pi106 )
      or ( pi004 and not pi006 and not pi030 and pi106 )
      or ( pi004 and not pi006 and not pi031 and pi106 )
      or ( pi004 and not pi006 and not pi032 and pi106 )
      or ( pi004 and not pi006 and pi033 and pi106 )
      or ( pi004 and not pi006 and not pi105 and pi106 )
      or ( pi004 and pi005 and not pi006 and not pi101 and pi106 )
      or ( pi004 and pi005 and not pi006 and not pi102 and pi106 )
      or ( pi004 and pi005 and not pi006 and not pi103 and pi106 )
      or ( pi004 and pi005 and not pi006 and not pi104 and pi106 )
      or ( pi003 and pi004 and not pi005 and not pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and pi105 and not pi106 )
      or ( pi003 and pi004 and not pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and pi101 and pi102 and pi103 and pi104 and pi105 and not pi106 )
      or ( pi004 and not pi006 and pi101 and pi102 and pi103 and pi104 and pi105 and pi106 and pi107 and pi108 and pi109 and pi110 and pi111 and pi112 and pi113 and pi114 and pi115 and pi116 );
    po78 <= ( not pi003 and pi004 and not pi006 and pi107 )
      or ( pi004 and not pi006 and not pi029 and pi107 )
      or ( pi004 and not pi006 and not pi030 and pi107 )
      or ( pi004 and not pi006 and not pi031 and pi107 )
      or ( pi004 and not pi006 and not pi032 and pi107 )
      or ( pi004 and not pi006 and pi033 and pi107 )
      or ( pi004 and not pi006 and not pi105 and pi107 )
      or ( pi004 and not pi006 and not pi106 and pi107 )
      or ( pi004 and pi005 and not pi006 and not pi101 and pi107 )
      or ( pi004 and pi005 and not pi006 and not pi102 and pi107 )
      or ( pi004 and pi005 and not pi006 and not pi103 and pi107 )
      or ( pi004 and pi005 and not pi006 and not pi104 and pi107 )
      or ( pi003 and pi004 and not pi005 and not pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and pi105 and pi106 and not pi107 )
      or ( pi003 and pi004 and not pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and pi101 and pi102 and pi103 and pi104 and pi105 and pi106 and not pi107 )
      or ( pi004 and not pi006 and pi101 and pi102 and pi103 and pi104 and pi105 and pi106 and pi107 and pi108 and pi109 and pi110 and pi111 and pi112 and pi113 and pi114 and pi115 and pi116 );
    po79 <= ( not pi003 and pi004 and not pi006 and pi108 )
      or ( pi004 and not pi006 and not pi029 and pi108 )
      or ( pi004 and not pi006 and not pi030 and pi108 )
      or ( pi004 and not pi006 and not pi031 and pi108 )
      or ( pi004 and not pi006 and not pi032 and pi108 )
      or ( pi004 and not pi006 and pi033 and pi108 )
      or ( pi004 and not pi006 and not pi105 and pi108 )
      or ( pi004 and not pi006 and not pi106 and pi108 )
      or ( pi004 and not pi006 and not pi107 and pi108 )
      or ( pi004 and pi005 and not pi006 and not pi101 and pi108 )
      or ( pi004 and pi005 and not pi006 and not pi102 and pi108 )
      or ( pi004 and pi005 and not pi006 and not pi103 and pi108 )
      or ( pi004 and pi005 and not pi006 and not pi104 and pi108 )
      or ( pi003 and pi004 and not pi005 and not pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and pi105 and pi106 and pi107 and not pi108 )
      or ( pi003 and pi004 and not pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and pi101 and pi102 and pi103 and pi104 and pi105 and pi106 and pi107 and not pi108 )
      or ( pi004 and not pi006 and pi101 and pi102 and pi103 and pi104 and pi105 and pi106 and pi107 and pi108 and pi109 and pi110 and pi111 and pi112 and pi113 and pi114 and pi115 and pi116 );
    po80 <= ( not pi003 and pi004 and not pi006 and pi109 )
      or ( pi004 and not pi006 and not pi029 and pi109 )
      or ( pi004 and not pi006 and not pi030 and pi109 )
      or ( pi004 and not pi006 and not pi031 and pi109 )
      or ( pi004 and not pi006 and not pi032 and pi109 )
      or ( pi004 and not pi006 and pi033 and pi109 )
      or ( pi004 and pi005 and not pi006 and not pi101 and pi109 )
      or ( pi004 and pi005 and not pi006 and not pi102 and pi109 )
      or ( pi004 and pi005 and not pi006 and not pi103 and pi109 )
      or ( pi004 and pi005 and not pi006 and not pi104 and pi109 )
      or ( pi004 and pi005 and not pi006 and not pi105 and pi109 )
      or ( pi004 and pi005 and not pi006 and not pi106 and pi109 )
      or ( pi004 and pi005 and not pi006 and not pi107 and pi109 )
      or ( pi004 and pi005 and not pi006 and not pi108 and pi109 )
      or ( pi003 and pi004 and not pi005 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi109 )
      or ( pi003 and pi004 and not pi005 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi101 )
      or ( pi003 and pi004 and not pi005 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi102 )
      or ( pi003 and pi004 and not pi005 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi103 )
      or ( pi003 and pi004 and not pi005 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi104 )
      or ( pi003 and pi004 and not pi005 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi105 )
      or ( pi003 and pi004 and not pi005 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi106 )
      or ( pi003 and pi004 and not pi005 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi107 )
      or ( pi003 and pi004 and not pi005 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi108 )
      or ( pi003 and pi004 and not pi005 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi110 )
      or ( pi003 and pi004 and not pi005 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi111 )
      or ( pi003 and pi004 and not pi005 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi112 )
      or ( pi003 and pi004 and not pi005 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi113 )
      or ( pi003 and pi004 and not pi005 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi114 )
      or ( pi003 and pi004 and not pi005 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi115 )
      or ( pi003 and pi004 and not pi005 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi116 )
      or ( pi003 and pi004 and pi029 and pi030 and pi031 and pi032 and not pi033 and pi101 and pi102 and pi103 and pi104 and pi105 and pi106 and pi107 and pi108 and not pi109 )
      or ( pi003 and pi004 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and pi101 and pi102 and pi103 and pi104 and pi105 and pi106 and pi107 and pi108 and not pi110 )
      or ( pi003 and pi004 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and pi101 and pi102 and pi103 and pi104 and pi105 and pi106 and pi107 and pi108 and not pi111 )
      or ( pi003 and pi004 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and pi101 and pi102 and pi103 and pi104 and pi105 and pi106 and pi107 and pi108 and not pi112 )
      or ( pi003 and pi004 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and pi101 and pi102 and pi103 and pi104 and pi105 and pi106 and pi107 and pi108 and not pi113 )
      or ( pi003 and pi004 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and pi101 and pi102 and pi103 and pi104 and pi105 and pi106 and pi107 and pi108 and not pi114 )
      or ( pi003 and pi004 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and pi101 and pi102 and pi103 and pi104 and pi105 and pi106 and pi107 and pi108 and not pi115 )
      or ( pi003 and pi004 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and pi101 and pi102 and pi103 and pi104 and pi105 and pi106 and pi107 and pi108 and not pi116 )
      or ( pi004 and not pi006 and pi101 and pi102 and pi103 and pi104 and pi105 and pi106 and pi107 and pi108 and pi109 and pi110 and pi111 and pi112 and pi113 and pi114 and pi115 and pi116 );
    po81 <= ( not pi003 and pi004 and not pi006 and pi110 )
      or ( pi004 and not pi006 and not pi029 and pi110 )
      or ( pi004 and not pi006 and not pi030 and pi110 )
      or ( pi004 and not pi006 and not pi031 and pi110 )
      or ( pi004 and not pi006 and not pi032 and pi110 )
      or ( pi004 and not pi006 and pi033 and pi110 )
      or ( pi004 and not pi006 and not pi109 and pi110 )
      or ( pi004 and pi005 and not pi006 and not pi101 and pi110 )
      or ( pi004 and pi005 and not pi006 and not pi102 and pi110 )
      or ( pi004 and pi005 and not pi006 and not pi103 and pi110 )
      or ( pi004 and pi005 and not pi006 and not pi104 and pi110 )
      or ( pi004 and pi005 and not pi006 and not pi105 and pi110 )
      or ( pi004 and pi005 and not pi006 and not pi106 and pi110 )
      or ( pi004 and pi005 and not pi006 and not pi107 and pi110 )
      or ( pi004 and pi005 and not pi006 and not pi108 and pi110 )
      or ( pi003 and pi004 and not pi005 and not pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and pi109 and not pi110 )
      or ( pi003 and pi004 and not pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and pi101 and pi102 and pi103 and pi104 and pi105 and pi106 and pi107 and pi108 and pi109 and not pi110 )
      or ( pi004 and not pi006 and pi101 and pi102 and pi103 and pi104 and pi105 and pi106 and pi107 and pi108 and pi109 and pi110 and pi111 and pi112 and pi113 and pi114 and pi115 and pi116 );
    po82 <= ( not pi003 and pi004 and not pi006 and pi111 )
      or ( pi004 and not pi006 and not pi029 and pi111 )
      or ( pi004 and not pi006 and not pi030 and pi111 )
      or ( pi004 and not pi006 and not pi031 and pi111 )
      or ( pi004 and not pi006 and not pi032 and pi111 )
      or ( pi004 and not pi006 and pi033 and pi111 )
      or ( pi004 and not pi006 and not pi109 and pi111 )
      or ( pi004 and not pi006 and not pi110 and pi111 )
      or ( pi004 and pi005 and not pi006 and not pi101 and pi111 )
      or ( pi004 and pi005 and not pi006 and not pi102 and pi111 )
      or ( pi004 and pi005 and not pi006 and not pi103 and pi111 )
      or ( pi004 and pi005 and not pi006 and not pi104 and pi111 )
      or ( pi004 and pi005 and not pi006 and not pi105 and pi111 )
      or ( pi004 and pi005 and not pi006 and not pi106 and pi111 )
      or ( pi004 and pi005 and not pi006 and not pi107 and pi111 )
      or ( pi004 and pi005 and not pi006 and not pi108 and pi111 )
      or ( pi003 and pi004 and not pi005 and not pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and pi109 and pi110 and not pi111 )
      or ( pi004 and not pi006 and pi101 and pi102 and pi103 and pi104 and pi105 and pi106 and pi107 and pi108 and pi109 and pi110 and pi111 and pi112 and pi113 and pi114 and pi115 and pi116 )
      or ( pi003 and pi004 and not pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and pi101 and pi102 and pi103 and pi104 and pi105 and pi106 and pi107 and pi108 and pi109 and pi110 and not pi111 );
    po83 <= ( not pi003 and pi004 and not pi006 and pi112 )
      or ( pi004 and not pi006 and not pi029 and pi112 )
      or ( pi004 and not pi006 and not pi030 and pi112 )
      or ( pi004 and not pi006 and not pi031 and pi112 )
      or ( pi004 and not pi006 and not pi032 and pi112 )
      or ( pi004 and not pi006 and pi033 and pi112 )
      or ( pi004 and not pi006 and not pi109 and pi112 )
      or ( pi004 and not pi006 and not pi110 and pi112 )
      or ( pi004 and not pi006 and not pi111 and pi112 )
      or ( pi004 and pi005 and not pi006 and not pi101 and pi112 )
      or ( pi004 and pi005 and not pi006 and not pi102 and pi112 )
      or ( pi004 and pi005 and not pi006 and not pi103 and pi112 )
      or ( pi004 and pi005 and not pi006 and not pi104 and pi112 )
      or ( pi004 and pi005 and not pi006 and not pi105 and pi112 )
      or ( pi004 and pi005 and not pi006 and not pi106 and pi112 )
      or ( pi004 and pi005 and not pi006 and not pi107 and pi112 )
      or ( pi004 and pi005 and not pi006 and not pi108 and pi112 )
      or ( pi003 and pi004 and not pi005 and not pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and pi109 and pi110 and pi111 and not pi112 )
      or ( pi004 and not pi006 and pi101 and pi102 and pi103 and pi104 and pi105 and pi106 and pi107 and pi108 and pi109 and pi110 and pi111 and pi112 and pi113 and pi114 and pi115 and pi116 )
      or ( pi003 and pi004 and not pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and pi101 and pi102 and pi103 and pi104 and pi105 and pi106 and pi107 and pi108 and pi109 and pi110 and pi111 and not pi112 );
    po84 <= ( not pi003 and pi004 and not pi006 and pi113 )
      or ( pi004 and not pi006 and not pi029 and pi113 )
      or ( pi004 and not pi006 and not pi030 and pi113 )
      or ( pi004 and not pi006 and not pi031 and pi113 )
      or ( pi004 and not pi006 and not pi032 and pi113 )
      or ( pi004 and not pi006 and pi033 and pi113 )
      or ( pi004 and pi005 and not pi006 and not pi101 and pi113 )
      or ( pi004 and pi005 and not pi006 and not pi102 and pi113 )
      or ( pi004 and pi005 and not pi006 and not pi103 and pi113 )
      or ( pi004 and pi005 and not pi006 and not pi104 and pi113 )
      or ( pi004 and pi005 and not pi006 and not pi105 and pi113 )
      or ( pi004 and pi005 and not pi006 and not pi106 and pi113 )
      or ( pi004 and pi005 and not pi006 and not pi107 and pi113 )
      or ( pi004 and pi005 and not pi006 and not pi108 and pi113 )
      or ( pi004 and pi005 and not pi006 and not pi109 and pi113 )
      or ( pi004 and pi005 and not pi006 and not pi110 and pi113 )
      or ( pi004 and pi005 and not pi006 and not pi111 and pi113 )
      or ( pi004 and pi005 and not pi006 and not pi112 and pi113 )
      or ( pi003 and pi004 and not pi005 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi113 )
      or ( pi003 and pi004 and not pi005 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi101 )
      or ( pi003 and pi004 and not pi005 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi102 )
      or ( pi003 and pi004 and not pi005 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi103 )
      or ( pi003 and pi004 and not pi005 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi104 )
      or ( pi003 and pi004 and not pi005 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi105 )
      or ( pi003 and pi004 and not pi005 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi106 )
      or ( pi003 and pi004 and not pi005 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi107 )
      or ( pi003 and pi004 and not pi005 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi108 )
      or ( pi003 and pi004 and not pi005 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi109 )
      or ( pi003 and pi004 and not pi005 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi110 )
      or ( pi003 and pi004 and not pi005 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi111 )
      or ( pi003 and pi004 and not pi005 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi112 )
      or ( pi003 and pi004 and not pi005 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi114 )
      or ( pi003 and pi004 and not pi005 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi115 )
      or ( pi003 and pi004 and not pi005 and pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and not pi116 )
      or ( pi004 and not pi006 and pi101 and pi102 and pi103 and pi104 and pi105 and pi106 and pi107 and pi108 and pi109 and pi110 and pi111 and pi112 and pi113 and pi114 and pi115 and pi116 )
      or ( pi003 and pi004 and not pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and pi101 and pi102 and pi103 and pi104 and pi105 and pi106 and pi107 and pi108 and pi109 and pi110 and pi111 and pi112 and not pi113 );
    po85 <= ( not pi003 and pi004 and not pi006 and pi114 )
      or ( pi004 and not pi006 and not pi029 and pi114 )
      or ( pi004 and not pi006 and not pi030 and pi114 )
      or ( pi004 and not pi006 and not pi031 and pi114 )
      or ( pi004 and not pi006 and not pi032 and pi114 )
      or ( pi004 and not pi006 and pi033 and pi114 )
      or ( pi004 and not pi006 and not pi113 and pi114 )
      or ( pi004 and pi005 and not pi006 and not pi101 and pi114 )
      or ( pi004 and pi005 and not pi006 and not pi102 and pi114 )
      or ( pi004 and pi005 and not pi006 and not pi103 and pi114 )
      or ( pi004 and pi005 and not pi006 and not pi104 and pi114 )
      or ( pi004 and pi005 and not pi006 and not pi105 and pi114 )
      or ( pi004 and pi005 and not pi006 and not pi106 and pi114 )
      or ( pi004 and pi005 and not pi006 and not pi107 and pi114 )
      or ( pi004 and pi005 and not pi006 and not pi108 and pi114 )
      or ( pi004 and pi005 and not pi006 and not pi109 and pi114 )
      or ( pi004 and pi005 and not pi006 and not pi110 and pi114 )
      or ( pi004 and pi005 and not pi006 and not pi111 and pi114 )
      or ( pi004 and pi005 and not pi006 and not pi112 and pi114 )
      or ( pi003 and pi004 and not pi005 and not pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and pi113 and not pi114 )
      or ( pi004 and not pi006 and pi101 and pi102 and pi103 and pi104 and pi105 and pi106 and pi107 and pi108 and pi109 and pi110 and pi111 and pi112 and pi113 and pi114 and pi115 and pi116 )
      or ( pi003 and pi004 and not pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and pi101 and pi102 and pi103 and pi104 and pi105 and pi106 and pi107 and pi108 and pi109 and pi110 and pi111 and pi112 and pi113 and not pi114 );
    po86 <= ( not pi003 and pi004 and not pi006 and pi115 )
      or ( pi004 and not pi006 and not pi029 and pi115 )
      or ( pi004 and not pi006 and not pi030 and pi115 )
      or ( pi004 and not pi006 and not pi031 and pi115 )
      or ( pi004 and not pi006 and not pi032 and pi115 )
      or ( pi004 and not pi006 and pi033 and pi115 )
      or ( pi004 and not pi006 and not pi113 and pi115 )
      or ( pi004 and not pi006 and not pi114 and pi115 )
      or ( pi004 and pi005 and not pi006 and not pi101 and pi115 )
      or ( pi004 and pi005 and not pi006 and not pi102 and pi115 )
      or ( pi004 and pi005 and not pi006 and not pi103 and pi115 )
      or ( pi004 and pi005 and not pi006 and not pi104 and pi115 )
      or ( pi004 and pi005 and not pi006 and not pi105 and pi115 )
      or ( pi004 and pi005 and not pi006 and not pi106 and pi115 )
      or ( pi004 and pi005 and not pi006 and not pi107 and pi115 )
      or ( pi004 and pi005 and not pi006 and not pi108 and pi115 )
      or ( pi004 and pi005 and not pi006 and not pi109 and pi115 )
      or ( pi004 and pi005 and not pi006 and not pi110 and pi115 )
      or ( pi004 and pi005 and not pi006 and not pi111 and pi115 )
      or ( pi004 and pi005 and not pi006 and not pi112 and pi115 )
      or ( pi003 and pi004 and not pi005 and not pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and pi113 and pi114 and not pi115 )
      or ( pi004 and not pi006 and pi101 and pi102 and pi103 and pi104 and pi105 and pi106 and pi107 and pi108 and pi109 and pi110 and pi111 and pi112 and pi113 and pi114 and pi115 and pi116 )
      or ( pi003 and pi004 and not pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and pi101 and pi102 and pi103 and pi104 and pi105 and pi106 and pi107 and pi108 and pi109 and pi110 and pi111 and pi112 and pi113 and pi114 and not pi115 );
    po87 <= ( not pi003 and pi004 and not pi006 and pi116 )
      or ( pi004 and not pi006 and not pi029 and pi116 )
      or ( pi004 and not pi006 and not pi030 and pi116 )
      or ( pi004 and not pi006 and not pi031 and pi116 )
      or ( pi004 and not pi006 and not pi032 and pi116 )
      or ( pi004 and not pi006 and pi033 and pi116 )
      or ( pi004 and not pi006 and not pi113 and pi116 )
      or ( pi004 and not pi006 and not pi114 and pi116 )
      or ( pi004 and not pi006 and not pi115 and pi116 )
      or ( pi004 and pi005 and not pi006 and not pi101 and pi116 )
      or ( pi004 and pi005 and not pi006 and not pi102 and pi116 )
      or ( pi004 and pi005 and not pi006 and not pi103 and pi116 )
      or ( pi004 and pi005 and not pi006 and not pi104 and pi116 )
      or ( pi004 and pi005 and not pi006 and not pi105 and pi116 )
      or ( pi004 and pi005 and not pi006 and not pi106 and pi116 )
      or ( pi004 and pi005 and not pi006 and not pi107 and pi116 )
      or ( pi004 and pi005 and not pi006 and not pi108 and pi116 )
      or ( pi004 and pi005 and not pi006 and not pi109 and pi116 )
      or ( pi004 and pi005 and not pi006 and not pi110 and pi116 )
      or ( pi004 and pi005 and not pi006 and not pi111 and pi116 )
      or ( pi004 and pi005 and not pi006 and not pi112 and pi116 )
      or ( pi003 and pi004 and not pi005 and not pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and pi113 and pi114 and pi115 and not pi116 )
      or ( pi004 and not pi006 and pi101 and pi102 and pi103 and pi104 and pi105 and pi106 and pi107 and pi108 and pi109 and pi110 and pi111 and pi112 and pi113 and pi114 and pi115 and pi116 )
      or ( pi003 and pi004 and not pi006 and pi029 and pi030 and pi031 and pi032 and not pi033 and pi101 and pi102 and pi103 and pi104 and pi105 and pi106 and pi107 and pi108 and pi109 and pi110 and pi111 and pi112 and pi113 and pi114 and pi115 and not pi116 );
end top_behav;
