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

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