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

entity top is 
  Port (
    pi00,pi01,pi02,pi03,pi04,pi05,pi06,pi07,pi08,pi09,pi10,pi11,pi12,pi13,pi14,pi15,pi16,pi17,pi18,pi19,pi20,pi21,pi22: in std_logic;
    po000,po001,po002,po003,po004,po005,po006,po007,po008,po009,po010,po011,po012,po013,po014,po015,po016,po017,po018,po019,po020,po021,po022,po023,po024,po025,po026,po027,po028,po029,po030,po031,po032,po033,po034,po035,po036,po037,po038,po039,po040,po041,po042,po043,po044,po045,po046,po047,po048,po049,po050,po051,po052,po053,po054,po055,po056,po057,po058,po059,po060,po061,po062,po063,po064,po065,po066,po067,po068,po069,po070,po071,po072,po073,po074,po075,po076,po077,po078,po079,po080,po081,po082,po083,po084,po085,po086,po087,po088,po089,po090,po091,po092,po093,po094,po095,po096,po097,po098,po099,po100: inout std_logic
  );
end top;

architecture top_behav of top is
begin
    po000 <= ( not pi04 and pi07 and pi08 and pi09 and not pi11 )
      or ( not pi04 and pi07 and pi08 and pi09 and not pi12 )
      or ( not pi04 and not pi07 and not pi08 and pi09 and pi10 and pi11 )
      or ( not pi04 and pi07 and not pi08 and not pi09 and pi10 and pi11 )
      or ( not pi04 and pi07 and not pi08 and not pi09 and pi11 and pi12 )
      or ( not pi04 and pi07 and not pi08 and pi10 and pi11 and pi12 )
      or ( not pi04 and pi07 and not pi08 and not pi09 and not pi11 and not pi12 )
      or ( not pi04 and not pi06 and pi07 and not pi08 and pi09 and pi10 and pi12 )
      or ( not pi04 and not pi07 and pi08 and pi09 and not pi10 and pi11 and pi12 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 and pi22 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 and not pi22 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and pi21 and not pi22 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( pi00 and pi01 and pi02 and pi03 and not pi04 and pi07 and pi08 and pi09 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi00 and pi01 and not pi02 and not pi03 and not pi04 and pi07 and pi08 and pi09 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 );
    po001 <= ( not pi04 and pi07 and not pi12 )
      or ( not pi04 and pi07 and not pi08 and not pi09 )
      or ( not pi04 and pi07 and not pi09 and pi10 )
      or ( not pi04 and pi07 and not pi08 and not pi10 )
      or ( not pi04 and pi07 and not pi09 and pi11 )
      or ( not pi04 and pi07 and not pi08 and not pi11 )
      or ( not pi04 and pi07 and pi09 and not pi11 )
      or ( not pi04 and pi07 and pi10 and not pi11 )
      or ( not pi04 and not pi08 and pi10 and pi11 and not pi12 )
      or ( not pi04 and not pi07 and not pi08 and pi09 and pi10 and pi11 )
      or ( not pi04 and not pi08 and not pi09 and not pi10 and pi11 and pi12 )
      or ( not pi04 and not pi07 and not pi08 and pi09 and not pi10 and pi11 and pi12 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi20 and not pi21 )
      or ( not pi04 and pi07 and pi08 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and pi20 and not pi21 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and not pi21 and not pi22 )
      or ( not pi04 and pi07 and pi08 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi20 and not pi21 and not pi22 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 and pi21 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 and not pi21 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 and pi22 )
      or ( not pi04 and pi07 and pi08 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi22 )
      or ( not pi04 and pi07 and pi08 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and pi21 and not pi22 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and not pi20 and pi21 and not pi22 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and pi18 and not pi19 and not pi20 and pi21 and not pi22 );
    po002 <= ( not pi04 and pi08 and not pi09 )
      or ( not pi04 and not pi07 and pi08 and not pi11 )
      or ( not pi04 and not pi07 and not pi09 and pi12 )
      or ( not pi04 and not pi09 and not pi11 and pi12 )
      or ( not pi04 and not pi07 and pi08 and not pi12 )
      or ( not pi04 and pi07 and not pi08 and pi09 and not pi10 )
      or ( not pi04 and not pi07 and not pi09 and not pi10 and pi11 )
      or ( not pi04 and not pi07 and not pi09 and pi10 and not pi11 )
      or ( not pi04 and not pi07 and pi09 and not pi10 and not pi11 )
      or ( not pi04 and pi07 and not pi08 and pi09 and not pi12 )
      or ( not pi04 and pi06 and pi07 and not pi08 and pi09 and not pi11 )
      or ( not pi04 and pi07 and not pi08 and not pi10 and pi11 and not pi12 )
      or ( not pi04 and not pi07 and not pi08 and pi09 and not pi10 and pi11 and pi12 )
      or ( not pi04 and pi07 and pi08 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi22 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi18 and pi19 and pi20 and not pi22 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi19 and not pi20 and not pi22 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and pi21 and not pi22 )
      or ( not pi04 and pi07 and pi08 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi20 and pi21 and not pi22 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and pi20 and pi21 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 and pi21 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 and not pi21 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 and pi22 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and not pi20 and not pi21 and not pi22 )
      or ( not pi01 and pi02 and not pi04 and pi07 and pi08 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi19 and pi20 and pi21 and pi22 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and pi22 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and pi18 and not pi19 and not pi20 and pi21 and not pi22 )
      or ( not pi00 and pi01 and pi03 and not pi04 and pi07 and pi08 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 )
      or ( pi01 and not pi02 and pi03 and not pi04 and pi07 and pi08 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 )
      or ( pi00 and pi01 and not pi03 and not pi04 and pi07 and pi08 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 )
      or ( pi02 and not pi03 and not pi04 and pi07 and pi08 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 );
    po003 <= ( not pi04 and pi07 and pi08 and pi09 and pi10 and not pi11 and not pi12 );
    po004 <= ( not pi04 and pi07 and pi08 and pi09 and not pi10 and not pi11 and not pi12 );
    po005 <= ( not pi04 and pi07 and not pi08 and pi09 and pi10 and not pi11 and pi12 );
    po006 <= ( not pi04 and not pi07 and not pi08 and not pi09 and pi10 and pi11 and not pi12 );
    po007 <= ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and pi18 and not pi19 and not pi20 and pi21 and not pi22 );
    po008 <= ( pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and pi18 and not pi19 and not pi20 and not pi21 and pi22 );
    po009 <= ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and pi18 and not pi19 and not pi20 and not pi21 and pi22 );
    po010 <= ( pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and pi18 and not pi19 and not pi20 and not pi21 and not pi22 );
    po011 <= ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and pi18 and not pi19 and not pi20 and not pi21 and not pi22 );
    po012 <= ( pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and not pi20 and pi21 and not pi22 );
    po013 <= ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and pi20 and pi21 and pi22 );
    po014 <= ( pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 and pi21 and not pi22 );
    po015 <= ( pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 );
    po016 <= ( pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 );
    po017 <= ( pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and not pi22 );
    po018 <= ( pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and pi21 and not pi22 );
    po019 <= ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and pi21 and not pi22 );
    po020 <= ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and pi22 );
    po021 <= ( pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 );
    po022 <= ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 );
    po023 <= ( pi04 )
      or ( not pi07 )
      or ( pi08 and not pi10 )
      or ( pi08 and not pi11 )
      or ( pi01 and pi10 and pi11 )
      or ( not pi08 and pi10 and pi11 )
      or ( not pi09 and pi10 and pi11 )
      or ( not pi09 and pi11 and pi12 )
      or ( pi10 and pi11 and not pi12 )
      or ( not pi09 and not pi11 and not pi12 )
      or ( pi10 and pi11 and pi13 )
      or ( pi10 and pi11 and pi14 )
      or ( pi10 and pi11 and pi15 )
      or ( pi10 and pi11 and pi16 )
      or ( pi10 and pi11 and pi17 )
      or ( pi10 and pi11 and not pi18 )
      or ( pi10 and pi11 and pi19 )
      or ( pi10 and pi11 and not pi20 )
      or ( pi10 and pi11 and not pi21 )
      or ( pi10 and pi11 and pi22 )
      or ( pi09 and pi10 and not pi11 and pi12 );
    po024 <= ( not pi04 and not pi05 and pi08 and not pi11 )
      or ( not pi04 and pi07 and pi08 and not pi11 )
      or ( not pi04 and not pi05 and not pi07 and pi08 and not pi09 )
      or ( not pi04 and not pi05 and not pi07 and not pi09 and pi10 )
      or ( not pi04 and pi07 and pi08 and not pi09 and pi10 )
      or ( not pi04 and not pi05 and not pi07 and not pi09 and pi11 )
      or ( not pi04 and not pi05 and not pi09 and pi10 and pi11 )
      or ( not pi04 and not pi05 and not pi07 and not pi09 and pi12 )
      or ( not pi04 and pi07 and pi08 and not pi09 and pi12 )
      or ( not pi04 and not pi05 and not pi07 and pi08 and not pi12 )
      or ( not pi04 and pi07 and pi08 and pi09 and not pi12 )
      or ( not pi04 and not pi07 and not pi08 and pi09 and pi10 and pi11 )
      or ( not pi04 and not pi05 and not pi07 and pi09 and not pi10 and not pi11 )
      or ( not pi04 and not pi05 and not pi07 and not pi08 and not pi10 and pi12 )
      or ( not pi04 and pi07 and pi09 and pi10 and pi11 and not pi12 )
      or ( not pi01 and not pi04 and not pi05 and pi07 and pi08 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi04 and not pi05 and pi07 and pi08 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi04 and not pi05 and pi07 and pi08 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi22 )
      or ( not pi04 and pi07 and pi08 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 and not pi22 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 and pi21 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and pi20 and not pi21 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 and not pi21 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and pi20 and pi22 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 and pi22 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi20 and pi21 and pi22 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 and not pi22 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and pi21 and not pi22 )
      or ( not pi04 and pi07 and pi08 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and pi20 and not pi21 and not pi22 )
      or ( pi01 and not pi04 and not pi05 and pi07 and pi08 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and not pi21 and pi22 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and not pi22 )
      or ( not pi01 and not pi04 and not pi05 and pi07 and pi08 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and not pi20 and not pi21 and not pi22 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi01 and not pi04 and not pi05 and pi07 and pi08 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and pi18 and not pi19 and not pi20 and pi21 and not pi22 );
    po025 <= ( not pi00 and pi02 and not pi03 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi01 and pi02 and not pi03 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( pi00 and pi01 and not pi02 and pi03 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 );
    po026 <= ( not pi00 and pi03 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi01 and pi03 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( pi00 and pi01 and not pi03 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 );
    po027 <= ( not pi04 and pi05 and not pi07 and not pi09 and pi10 )
      or ( not pi04 and pi05 and not pi07 and not pi09 and pi11 )
      or ( not pi04 and pi05 and not pi07 and pi08 and not pi11 )
      or ( not pi04 and pi05 and not pi07 and not pi09 and pi12 )
      or ( not pi04 and pi05 and not pi07 and pi08 and not pi12 )
      or ( not pi04 and pi05 and not pi08 and not pi09 and pi10 and pi11 )
      or ( not pi04 and pi05 and not pi07 and pi09 and not pi10 and not pi11 )
      or ( not pi04 and pi05 and not pi07 and not pi08 and pi09 and not pi10 and pi11 and pi12 )
      or ( not pi04 and pi05 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi22 )
      or ( pi01 and not pi04 and pi05 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and pi22 )
      or ( not pi01 and not pi04 and pi05 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and pi18 and not pi19 and not pi20 and pi21 and not pi22 )
      or ( not pi01 and not pi04 and pi05 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and not pi20 and not pi21 and not pi22 );
    po028 <= ( not pi04 and pi08 and not pi09 and pi11 )
      or ( not pi04 and not pi07 and pi08 and not pi11 )
      or ( not pi04 and not pi07 and pi08 and not pi12 )
      or ( not pi04 and pi08 and not pi09 and not pi12 )
      or ( not pi04 and pi07 and not pi08 and pi09 and not pi10 )
      or ( not pi04 and pi07 and not pi08 and pi09 and not pi11 )
      or ( not pi04 and not pi07 and not pi08 and not pi10 and pi12 )
      or ( not pi04 and pi07 and not pi08 and pi09 and not pi12 )
      or ( not pi04 and not pi07 and not pi09 and pi10 and pi11 and not pi12 )
      or ( not pi04 and pi07 and not pi08 and not pi10 and pi11 and not pi12 );
    po029 <= ( not pi04 and pi07 and not pi08 and not pi09 and not pi10 and not pi11 )
      or ( not pi04 and pi07 and not pi08 and not pi09 and not pi10 and pi12 )
      or ( not pi04 and pi07 and not pi08 and pi09 and pi10 and pi11 and pi12 )
      or ( not pi04 and not pi07 and pi08 and pi09 and not pi10 and pi11 and pi12 );
    po030 <= ( not pi04 and pi07 and not pi08 and not pi09 and pi10 and pi11 )
      or ( not pi04 and pi07 and pi08 and pi09 and not pi10 and not pi11 and pi12 )
      or ( not pi04 and pi07 and pi08 and pi09 and not pi10 and pi11 and not pi12 );
    po031 <= ( not pi04 and not pi07 and not pi08 and not pi09 and pi10 and not pi11 )
      or ( not pi04 and not pi07 and not pi08 and not pi09 and pi10 and pi12 )
      or ( not pi04 and not pi07 and not pi08 and pi09 and not pi10 and not pi11 and not pi12 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi19 and not pi20 )
      or ( not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi19 and not pi21 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi19 and pi22 )
      or ( not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi19 and not pi20 and pi22 )
      or ( not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi22 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and pi20 and not pi21 )
      or ( not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi20 and pi21 and not pi22 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and not pi21 and not pi22 )
      or ( not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi19 and pi20 and not pi21 and not pi22 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and not pi21 and pi22 );
    po032 <= ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 and not pi22 );
    po033 <= ( pi00 and not pi04 and pi07 and pi08 and not pi09 and pi10 )
      or ( pi00 and not pi04 and pi07 and pi08 and not pi09 and pi11 )
      or ( not pi04 and pi07 and pi08 and not pi09 and pi10 and not pi11 )
      or ( not pi04 and pi07 and pi08 and not pi09 and pi10 and pi12 )
      or ( not pi04 and pi07 and pi08 and not pi09 and pi11 and pi12 )
      or ( not pi04 and pi07 and not pi08 and pi09 and pi10 and pi11 and not pi12 )
      or ( pi00 and not pi04 and pi07 and pi08 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 and pi21 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 and pi21 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 and pi22 )
      or ( not pi04 and pi07 and pi08 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 and pi21 and not pi22 )
      or ( not pi01 and pi02 and not pi04 and pi07 and pi08 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( pi00 and pi01 and not pi04 and pi07 and pi08 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi21 and not pi22 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and pi21 and not pi22 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 and not pi21 and not pi22 );
    po034 <= ( pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 and pi21 and not pi22 )
      or ( not pi01 and pi02 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 );
    po035 <= ( not pi04 and pi07 and pi08 and not pi09 and pi10 and not pi11 )
      or ( not pi04 and pi07 and pi08 and not pi09 and pi10 and not pi12 )
      or ( not pi04 and pi07 and pi08 and not pi09 and not pi10 and pi11 and pi12 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 and pi21 )
      or ( not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 and pi21 and not pi22 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 and not pi21 and pi22 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and pi21 and not pi22 )
      or ( not pi00 and pi02 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi01 and pi02 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( pi02 and not pi03 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 );
    po036 <= ( not pi04 and pi07 and pi08 and not pi09 and pi10 and pi11 and pi12 )
      or ( not pi04 and pi07 and not pi08 and pi09 and pi10 and pi11 and not pi12 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 and pi21 and pi22 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 and not pi21 and not pi22 );
    po037 <= ( not pi04 and not pi07 and not pi09 and pi10 )
      or ( not pi04 and not pi07 and not pi09 and pi11 )
      or ( not pi04 and not pi07 and pi08 and not pi11 )
      or ( not pi04 and not pi07 and not pi09 and pi12 )
      or ( not pi04 and not pi07 and pi08 and not pi12 )
      or ( not pi04 and not pi07 and pi09 and not pi10 and not pi11 )
      or ( not pi04 and pi08 and not pi09 and not pi10 and not pi11 )
      or ( not pi04 and pi08 and not pi09 and not pi10 and not pi12 )
      or ( not pi04 and not pi07 and not pi08 and pi09 and not pi10 and pi11 and pi12 )
      or ( not pi04 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi11 and pi12 )
      or ( not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi22 )
      or ( not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi18 and pi19 and pi20 and pi21 and not pi22 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi20 and pi21 and not pi22 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and not pi20 and not pi21 and not pi22 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and pi22 )
      or ( not pi00 and pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and pi20 and pi21 and not pi22 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and pi18 and not pi19 and not pi20 and pi21 and not pi22 )
      or ( pi00 and pi01 and not pi02 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( pi01 and not pi02 and pi03 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 );
    po038 <= ( not pi04 and pi07 and pi08 and not pi09 and pi10 )
      or ( not pi04 and pi07 and not pi08 and pi10 and pi11 )
      or ( not pi04 and not pi08 and pi09 and pi10 and pi11 )
      or ( not pi04 and pi07 and pi08 and pi09 and not pi11 )
      or ( not pi04 and pi07 and not pi09 and pi10 and not pi12 )
      or ( not pi04 and pi07 and not pi08 and not pi09 and pi11 and pi12 )
      or ( not pi04 and pi07 and not pi08 and not pi09 and not pi11 and not pi12 )
      or ( not pi04 and not pi06 and pi07 and not pi08 and pi09 and pi10 and pi12 )
      or ( not pi04 and not pi07 and pi08 and pi09 and not pi10 and pi11 and pi12 )
      or ( not pi04 and pi07 and pi08 and pi10 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and pi20 and not pi21 )
      or ( not pi04 and pi07 and pi08 and pi10 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi20 and not pi21 and not pi22 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi10 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 and pi21 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi10 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 and not pi21 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi10 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 and pi22 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi10 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and pi20 and pi22 )
      or ( not pi04 and pi07 and pi08 and pi10 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 and pi21 and pi22 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi10 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 and not pi22 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi10 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi22 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi10 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and pi21 and not pi22 )
      or ( pi00 and pi01 and not pi04 and pi07 and pi08 and pi10 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi21 and not pi22 )
      or ( not pi01 and not pi02 and pi03 and not pi04 and pi07 and pi08 and pi10 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi19 and pi20 and pi21 and pi22 )
      or ( pi01 and pi02 and not pi04 and pi07 and pi08 and pi10 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi00 and pi01 and not pi03 and not pi04 and pi07 and pi08 and pi10 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 );
    po039 <= ( not pi04 and pi07 and not pi08 and pi09 and not pi10 )
      or ( not pi04 and not pi07 and pi08 and not pi09 and pi11 )
      or ( not pi04 and not pi07 and not pi09 and not pi10 and pi11 )
      or ( not pi04 and not pi07 and pi08 and pi09 and not pi11 )
      or ( not pi04 and pi07 and not pi08 and pi09 and not pi11 )
      or ( not pi04 and not pi07 and not pi09 and pi10 and not pi11 )
      or ( not pi04 and not pi07 and pi09 and not pi10 and not pi11 )
      or ( not pi04 and pi08 and not pi09 and not pi10 and not pi11 )
      or ( not pi04 and pi07 and not pi08 and not pi11 and pi12 )
      or ( not pi04 and pi07 and pi09 and not pi11 and pi12 )
      or ( not pi04 and not pi07 and pi08 and pi11 and not pi12 )
      or ( not pi04 and pi08 and pi09 and pi11 and not pi12 )
      or ( not pi04 and not pi07 and not pi09 and pi11 and not pi12 )
      or ( not pi04 and pi07 and not pi10 and pi11 and not pi12 )
      or ( not pi04 and not pi07 and not pi08 and pi09 and pi10 and pi11 )
      or ( not pi04 and pi07 and not pi08 and not pi09 and pi10 and pi12 )
      or ( not pi04 and not pi07 and not pi08 and pi09 and not pi10 and pi11 and pi12 )
      or ( not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi22 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi13 and not pi14 and not pi15 and not pi16 and not pi18 and pi19 and pi20 and not pi22 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi13 and not pi14 and not pi15 and not pi16 and not pi18 and pi19 and pi21 and not pi22 )
      or ( not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi13 and not pi14 and not pi15 and not pi16 and not pi18 and pi19 and pi20 and pi21 and not pi22 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi19 and not pi21 and not pi22 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 and pi22 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi20 and pi21 and not pi22 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and not pi20 and not pi21 and not pi22 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi20 and not pi21 and not pi22 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and pi20 and not pi21 and pi22 )
      or ( not pi00 and pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and pi20 and pi21 and not pi22 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and pi20 and pi21 and not pi22 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and pi18 and not pi19 and not pi20 and pi21 and not pi22 )
      or ( not pi02 and pi03 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( pi00 and pi01 and not pi02 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 );
    po040 <= ( not pi04 and not pi07 and pi08 and not pi09 )
      or ( not pi04 and not pi07 and pi08 and not pi10 )
      or ( not pi04 and not pi07 and not pi09 and pi11 )
      or ( not pi04 and not pi07 and pi08 and not pi11 )
      or ( not pi04 and not pi07 and pi08 and not pi12 )
      or ( not pi04 and pi07 and not pi08 and pi09 and not pi10 )
      or ( not pi04 and pi06 and pi07 and not pi08 and not pi11 )
      or ( not pi04 and pi07 and not pi08 and not pi09 and not pi11 )
      or ( not pi04 and pi07 and not pi08 and not pi10 and not pi11 )
      or ( not pi04 and pi08 and not pi09 and not pi10 and not pi11 )
      or ( not pi04 and not pi07 and not pi09 and pi10 and pi12 )
      or ( not pi04 and pi08 and pi09 and not pi11 and pi12 )
      or ( not pi04 and not pi08 and not pi10 and not pi11 and pi12 )
      or ( not pi04 and pi07 and not pi08 and not pi10 and not pi12 )
      or ( not pi04 and pi08 and pi09 and pi11 and not pi12 )
      or ( not pi04 and pi08 and not pi10 and pi11 and not pi12 )
      or ( not pi04 and pi07 and not pi08 and not pi11 and not pi12 )
      or ( not pi04 and pi07 and not pi08 and pi10 and pi11 and pi12 )
      or ( not pi04 and not pi07 and not pi08 and pi09 and not pi10 and pi11 and pi12 )
      or ( not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi22 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi19 and not pi20 and not pi22 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and pi20 and not pi21 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi20 and not pi21 and pi22 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and pi20 and not pi22 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi13 and not pi14 and not pi15 and not pi16 and not pi18 and pi19 and pi20 and pi21 and not pi22 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi20 and pi21 and not pi22 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi20 and not pi21 and not pi22 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and not pi20 and not pi21 and not pi22 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and pi22 )
      or ( not pi00 and pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and pi20 and pi21 and not pi22 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and pi18 and not pi19 and not pi20 and pi21 and not pi22 )
      or ( not pi01 and pi02 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( pi01 and not pi02 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( pi00 and pi01 and pi03 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 );
    po041 <= ( not pi04 and pi07 and pi08 and not pi09 and pi10 )
      or ( not pi04 and pi07 and pi08 and not pi09 and pi11 and pi12 )
      or ( not pi04 and pi07 and not pi08 and pi09 and pi10 and pi11 and not pi12 )
      or ( not pi04 and pi07 and pi08 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 and pi21 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 and pi22 )
      or ( not pi01 and pi02 and not pi04 and pi07 and pi08 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and pi21 and not pi22 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 and not pi21 and not pi22 )
      or ( not pi00 and pi02 and not pi04 and pi07 and pi08 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( pi02 and not pi03 and not pi04 and pi07 and pi08 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 );
    po042 <= ( not pi04 and pi08 and not pi12 )
      or ( not pi04 and not pi07 and pi08 and not pi09 )
      or ( not pi04 and not pi07 and pi08 and not pi10 )
      or ( not pi04 and not pi07 and pi08 and not pi11 )
      or ( not pi04 and pi08 and pi09 and not pi11 )
      or ( not pi04 and pi08 and pi10 and not pi11 )
      or ( not pi04 and not pi07 and not pi09 and pi12 )
      or ( not pi04 and pi08 and not pi09 and not pi10 and pi11 )
      or ( not pi04 and pi07 and pi09 and pi10 and not pi11 )
      or ( not pi04 and not pi07 and not pi10 and not pi11 and pi12 )
      or ( not pi04 and pi07 and not pi08 and not pi09 and pi10 and pi11 )
      or ( not pi04 and pi07 and not pi08 and pi09 and pi10 and pi12 )
      or ( not pi04 and pi07 and pi08 and pi09 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi22 )
      or ( not pi04 and pi07 and pi08 and pi09 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi18 and pi19 and pi20 and not pi22 )
      or ( not pi04 and pi07 and pi08 and pi09 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi19 and not pi20 and not pi22 )
      or ( not pi04 and pi07 and pi08 and pi09 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi19 and not pi21 and not pi22 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi20 and not pi22 )
      or ( not pi04 and pi07 and pi08 and pi09 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi20 and pi21 and not pi22 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 and pi21 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and pi20 and not pi21 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 and not pi21 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 )
      or ( not pi04 and pi07 and pi08 and pi09 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and pi20 and pi21 and not pi22 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and pi18 and not pi19 and not pi20 and pi21 and not pi22 );
    po043 <= ( not pi04 and pi07 and not pi08 and not pi09 and not pi10 and not pi11 )
      or ( not pi04 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and not pi20 and not pi21 and not pi22 );
    po044 <= ( not pi04 and pi08 and not pi12 )
      or ( not pi04 and not pi07 and pi08 and not pi09 )
      or ( not pi04 and not pi07 and pi08 and not pi10 )
      or ( not pi04 and not pi07 and pi08 and not pi11 )
      or ( not pi04 and pi08 and pi09 and not pi11 )
      or ( not pi04 and pi08 and pi10 and not pi11 )
      or ( not pi04 and not pi07 and not pi09 and pi12 )
      or ( not pi04 and not pi07 and not pi10 and not pi11 and pi12 )
      or ( not pi04 and pi07 and not pi09 and not pi10 and not pi12 )
      or ( not pi04 and pi07 and not pi08 and not pi09 and not pi10 and not pi11 )
      or ( not pi04 and pi07 and pi09 and pi10 and not pi11 and not pi12 )
      or ( not pi04 and pi07 and not pi08 and pi09 and pi10 and pi11 and pi12 )
      or ( not pi04 and not pi07 and not pi08 and pi09 and not pi10 and pi11 and pi12 )
      or ( not pi04 and pi07 and pi08 and pi09 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi22 )
      or ( not pi04 and pi07 and pi08 and pi09 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi18 and pi19 and pi20 and not pi22 )
      or ( not pi04 and pi07 and pi08 and pi09 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi19 and not pi20 and not pi22 )
      or ( not pi04 and pi07 and pi08 and pi09 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi19 and not pi21 and not pi22 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi04 and pi07 and pi08 and pi09 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi20 and pi21 and not pi22 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 and pi21 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and pi18 and not pi19 and not pi20 and not pi21 )
      or ( not pi04 and pi07 and pi08 and pi09 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi04 and pi07 and pi08 and pi09 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and pi22 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and pi18 and not pi19 and not pi20 and not pi22 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and not pi20 and not pi21 and not pi22 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and pi20 and pi21 and not pi22 );
    po045 <= ( not pi04 and not pi07 and not pi08 and pi09 and pi10 )
      or ( not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and not pi20 and pi22 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and not pi19 and pi21 )
      or ( not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and not pi19 and pi21 and pi22 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and not pi20 and pi21 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 );
    po046 <= ( not pi04 and pi07 and pi08 and not pi09 and not pi10 and pi11 and pi12 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 and not pi21 and pi22 );
    po047 <= ( not pi04 and not pi07 and not pi09 and not pi10 and not pi11 and pi12 )
      or ( pi01 and not pi04 and not pi07 and not pi08 and not pi09 and pi10 and pi12 )
      or ( pi01 and not pi04 and pi07 and not pi08 and pi09 and pi10 and pi11 and pi12 )
      or ( pi01 and not pi04 and not pi07 and pi08 and pi09 and not pi10 and pi11 and pi12 )
      or ( not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi20 );
    po048 <= ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 and pi22 );
    po049 <= ( pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 and not pi22 );
    po050 <= ( not pi04 and not pi07 and pi08 and not pi09 )
      or ( not pi04 and not pi07 and pi08 and not pi10 )
      or ( not pi04 and not pi07 and pi08 and not pi11 )
      or ( not pi04 and not pi07 and pi08 and not pi12 )
      or ( not pi04 and not pi07 and not pi09 and pi10 and pi12 )
      or ( not pi04 and pi07 and not pi08 and pi09 and pi10 and pi11 and pi12 )
      or ( not pi04 and pi07 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi22 )
      or ( not pi04 and pi07 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi18 and pi19 and pi20 and not pi22 )
      or ( not pi01 and not pi04 and pi07 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 );
    po051 <= ( not pi04 and not pi07 and pi08 and not pi11 and not pi12 )
      or ( not pi04 and not pi07 and pi08 and not pi09 and pi11 and pi12 );
    po052 <= ( not pi04 and not pi07 and not pi09 and not pi10 and not pi11 and pi12 )
      or ( pi01 and not pi04 and not pi07 and not pi08 and not pi09 and pi10 and pi12 )
      or ( pi01 and not pi04 and pi07 and not pi08 and pi09 and pi10 and pi11 and pi12 )
      or ( pi01 and not pi04 and not pi07 and pi08 and pi09 and not pi10 and pi11 and pi12 )
      or ( not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and pi18 and not pi19 and not pi20 and pi21 and not pi22 );
    po053 <= ( not pi04 and not pi07 and pi08 and not pi09 )
      or ( not pi04 and not pi07 and pi08 and not pi10 )
      or ( not pi04 and not pi07 and pi08 and not pi11 )
      or ( not pi04 and not pi07 and pi08 and not pi12 )
      or ( not pi04 and not pi07 and not pi09 and pi10 and pi12 )
      or ( not pi04 and not pi07 and not pi10 and not pi11 and pi12 )
      or ( not pi04 and pi07 and not pi08 and pi09 and pi10 and pi11 and pi12 )
      or ( not pi04 and pi07 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi22 )
      or ( not pi04 and pi07 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi18 and pi19 and pi20 and not pi22 )
      or ( not pi01 and not pi04 and pi07 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 );
    po054 <= ( not pi04 and not pi07 and pi08 and not pi09 )
      or ( not pi04 and not pi07 and pi08 and not pi11 )
      or ( not pi04 and not pi07 and pi08 and not pi12 )
      or ( not pi04 and not pi07 and not pi10 and not pi11 and pi12 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 and not pi22 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and pi18 and not pi19 and not pi20 and pi21 and not pi22 );
    po055 <= ( not pi04 and not pi07 and not pi08 and pi09 and pi10 and not pi12 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and pi20 and pi21 )
      or ( not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 and not pi22 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and pi21 and not pi22 );
    po056 <= ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and not pi19 and pi21 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and pi20 and pi21 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and pi21 and pi22 )
      or ( not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and not pi19 and pi21 and pi22 )
      or ( not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and not pi20 and pi21 and pi22 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and not pi20 and pi21 );
    po057 <= ( not pi04 and not pi07 and not pi08 and pi09 and pi10 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and pi20 and pi21 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and not pi20 and pi22 )
      or ( not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 and not pi22 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and not pi19 and pi21 and pi22 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and pi21 and not pi22 );
    po058 <= ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and not pi19 and pi20 and pi21 );
    po059 <= ( not pi04 and not pi07 and pi08 and pi09 and not pi10 )
      or ( not pi04 and not pi07 and pi08 and pi09 and not pi11 )
      or ( not pi04 and not pi07 and pi08 and pi09 and not pi12 )
      or ( not pi04 and not pi07 and not pi08 and not pi09 and pi10 and pi12 )
      or ( not pi04 and not pi07 and pi09 and not pi10 and not pi11 and pi12 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and pi20 and not pi22 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and pi18 and not pi19 and not pi20 and not pi21 and not pi22 );
    po060 <= ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and not pi19 and not pi20 and not pi21 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and not pi20 and not pi21 and pi22 );
    po061 <= ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 and not pi21 )
      or ( not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 and not pi21 and not pi22 );
    po062 <= ( pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and not pi20 and not pi21 and pi22 );
    po063 <= ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and not pi19 and not pi20 and pi21 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and not pi20 and pi21 and pi22 );
    po064 <= ( pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and not pi19 and pi21 and pi22 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and not pi20 and pi21 and pi22 );
    po065 <= ( not pi04 and not pi07 and pi08 and pi09 and not pi10 )
      or ( not pi04 and not pi07 and pi08 and pi09 and not pi11 )
      or ( not pi04 and not pi07 and pi08 and pi09 and not pi12 )
      or ( not pi04 and not pi07 and not pi08 and not pi09 and pi10 and pi12 )
      or ( not pi04 and not pi07 and pi09 and not pi10 and not pi11 and pi12 )
      or ( not pi04 and pi07 and not pi08 and pi09 and pi10 and pi11 and pi12 )
      or ( not pi01 and not pi04 and pi07 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi01 and not pi04 and pi07 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi18 and pi19 and pi20 and pi22 )
      or ( pi01 and not pi04 and pi07 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi18 and pi19 and pi20 and not pi22 )
      or ( not pi04 and pi07 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and pi20 and not pi22 );
    po066 <= ( not pi04 and not pi07 and not pi08 and pi09 and pi10 )
      or ( not pi04 and not pi07 and pi08 and pi09 and not pi10 )
      or ( not pi04 and not pi07 and pi08 and pi09 and not pi11 )
      or ( not pi04 and not pi07 and not pi08 and pi10 and pi12 )
      or ( not pi04 and not pi07 and pi09 and not pi11 and pi12 )
      or ( not pi04 and not pi07 and pi08 and pi09 and not pi12 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi18 and pi19 and pi20 )
      or ( not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi18 and pi19 and pi20 and not pi22 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and pi20 and pi21 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and not pi20 and pi22 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and not pi19 and pi21 and pi22 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and pi21 and not pi22 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and pi18 and not pi19 and not pi20 and not pi21 and not pi22 );
    po067 <= ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and not pi20 and pi22 );
    po068 <= ( not pi04 and not pi07 and not pi08 and pi09 and pi10 and pi11 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and not pi20 and pi21 and not pi22 );
    po069 <= ( not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and not pi20 and pi22 )
      or ( not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 and not pi22 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 );
    po070 <= ( not pi04 and not pi07 and pi08 and pi09 and not pi12 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and not pi19 and not pi20 and pi22 );
    po071 <= ( not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and not pi19 and pi20 and pi21 );
    po072 <= ( not pi04 and not pi07 and pi08 and pi10 and not pi11 )
      or ( not pi04 and not pi07 and pi08 and pi10 and not pi12 )
      or ( not pi04 and not pi07 and not pi09 and pi10 and pi11 and pi12 )
      or ( not pi04 and not pi07 and not pi09 and pi10 and not pi11 and not pi12 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and pi21 )
      or ( not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi20 and pi21 )
      or ( not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and pi21 and not pi22 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 and not pi22 );
    po073 <= ( not pi04 and pi07 and pi08 and pi09 and not pi11 )
      or ( not pi04 and pi07 and pi08 and pi10 and not pi11 )
      or ( not pi04 and pi07 and pi08 and pi09 and not pi12 )
      or ( not pi04 and pi07 and pi08 and pi10 and not pi12 )
      or ( not pi04 and pi07 and pi08 and not pi09 and not pi10 and pi11 )
      or ( not pi04 and pi07 and not pi09 and not pi10 and pi11 and not pi12 )
      or ( not pi04 and not pi07 and not pi08 and pi09 and not pi10 and pi11 and pi12 )
      or ( not pi04 and not pi07 and not pi08 and not pi09 and not pi10 and pi11 and pi12 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 and pi21 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and pi20 and not pi21 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 and not pi21 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and pi18 and not pi19 and not pi20 and not pi21 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 )
      or ( not pi04 and pi07 and pi08 and pi09 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi04 and pi07 and pi08 and pi09 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and pi22 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 and not pi22 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi22 )
      or ( not pi04 and pi07 and pi08 and pi09 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and pi21 and not pi22 )
      or ( not pi04 and pi07 and pi08 and pi09 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and pi20 and not pi21 and not pi22 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and not pi20 and not pi21 and not pi22 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and pi20 and pi21 and not pi22 );
    po074 <= ( not pi04 and pi07 and pi08 and not pi09 and pi10 and pi11 and pi12 )
      or ( not pi04 and pi07 and not pi08 and pi09 and pi10 and pi11 and not pi12 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 and pi21 and pi22 );
    po075 <= ( not pi04 and not pi07 and not pi08 and pi09 and pi10 )
      or ( not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and not pi20 and pi22 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and not pi19 and pi21 )
      or ( not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and not pi19 and pi21 and pi22 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and not pi20 and pi21 );
    po076 <= ( not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 );
    po077 <= ( not pi04 and pi07 and pi08 and not pi12 )
      or ( not pi04 and pi07 and pi08 and not pi09 and not pi11 )
      or ( not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 and not pi22 )
      or ( not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi21 and not pi22 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 and pi21 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and pi20 and not pi21 );
    po078 <= ( not pi04 and pi07 and pi08 and not pi09 and not pi11 )
      or ( not pi04 and pi07 and pi08 and not pi09 and not pi12 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 and pi21 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and pi21 and pi22 )
      or ( not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and pi21 and not pi22 );
    po079 <= ( not pi04 and pi07 and pi08 and not pi09 and not pi11 )
      or ( not pi04 and pi07 and pi08 and not pi09 and not pi12 )
      or ( not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 and not pi22 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 and pi21 );
    po080 <= ( not pi04 and pi07 and pi08 and not pi09 and not pi11 )
      or ( not pi04 and pi07 and pi08 and not pi09 and not pi12 )
      or ( not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 and not pi22 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 and pi21 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and not pi22 );
    po081 <= ( not pi04 and pi07 and pi08 and not pi09 and not pi12 )
      or ( not pi04 and pi07 and pi08 and not pi09 and not pi10 and not pi11 )
      or ( not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 and not pi22 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 and pi21 );
    po082 <= ( not pi04 and pi07 and pi08 and not pi12 )
      or ( not pi04 and pi07 and pi08 and not pi09 and pi10 )
      or ( not pi04 and pi07 and pi08 and not pi09 and not pi11 )
      or ( not pi04 and pi07 and pi08 and pi10 and pi11 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 and pi21 )
      or ( not pi04 and pi07 and pi08 and pi10 and pi11 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 and not pi22 )
      or ( not pi04 and pi07 and pi08 and pi10 and pi11 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi21 and not pi22 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi10 and pi11 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and pi20 and not pi21 );
    po083 <= ( not pi04 and pi07 and pi08 and not pi09 and not pi11 )
      or ( not pi04 and pi07 and pi08 and not pi09 and not pi12 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 and pi21 )
      or ( not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and pi21 and not pi22 );
    po084 <= ( not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and not pi20 and pi22 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and not pi19 and pi22 )
      or ( not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and not pi19 and pi21 and pi22 )
      or ( not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 and not pi22 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and pi20 and pi21 and pi22 );
    po085 <= ( not pi04 and pi07 and not pi08 and not pi09 and not pi10 and not pi11 );
    po086 <= ( not pi04 and pi07 and not pi08 and not pi09 and pi10 and not pi11 )
      or ( not pi04 and pi07 and not pi08 and pi09 and not pi10 and not pi11 )
      or ( not pi04 and pi07 and not pi08 and pi09 and not pi11 and pi12 )
      or ( not pi04 and pi07 and not pi08 and not pi09 and not pi10 and pi11 and pi12 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and pi20 and not pi22 )
      or ( not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and pi20 and not pi21 and not pi22 );
    po087 <= ( not pi04 and pi07 and not pi08 and not pi09 and not pi10 and not pi11 )
      or ( not pi04 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 )
      or ( not pi04 and pi07 and not pi08 and pi09 and pi10 and not pi11 and pi12 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and pi20 and pi22 )
      or ( not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and pi20 and not pi21 and pi22 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and not pi20 and not pi21 and not pi22 );
    po088 <= ( not pi04 and pi07 and not pi08 and not pi09 and not pi10 and not pi11 )
      or ( not pi04 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 )
      or ( pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and pi20 and not pi21 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and not pi20 and not pi21 and not pi22 );
    po089 <= ( not pi01 )
      or ( pi04 )
      or ( not pi07 )
      or ( pi08 )
      or ( pi09 and pi10 )
      or ( pi10 and pi11 );
    po090 <= ( not pi04 and pi07 and not pi08 and pi09 and pi10 and pi11 and not pi12 )
      or ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and pi20 and pi21 and pi22 );
    po091 <= ( pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and pi20 and pi21 );
    po092 <= ( not pi04 and pi07 and not pi08 and not pi09 and pi10 and pi11 );
    po093 <= ( not pi04 and not pi07 and not pi08 and not pi09 and pi10 and pi12 )
      or ( not pi04 and not pi07 and pi08 and pi09 and not pi10 and pi11 and pi12 );
    po094 <= ( not pi04 and not pi07 and not pi08 and pi09 and pi10 );
    po095 <= ( not pi04 and pi07 and not pi08 and pi09 and pi10 and pi11 and pi12 );
    po096 <= ( not pi04 and pi07 and pi08 and not pi09 and not pi10 and pi11 and not pi12 );
    po097 <= ( not pi04 and pi07 and pi08 and pi10 and not pi11 and pi12 )
      or ( not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi12 );
    po098 <= ( not pi04 and not pi07 and not pi08 and pi09 and not pi10 and pi11 and pi12 );
    po099 <= ( not pi04 and not pi07 and pi08 and not pi09 and pi11 )
      or ( not pi04 and not pi07 and pi08 and pi11 and not pi12 );
    po100 <= ( not pi01 and not pi04 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 and pi21 );
end top_behav;
