--- 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,pi23,pi24,pi25,pi26,pi27,pi28,pi29,pi30,pi31,pi32,pi33,pi34,pi35,pi36,pi37,pi38,pi39,pi40,pi41,pi42,pi43,pi44,pi45,pi46,pi47,pi48,pi49,pi50,pi51,pi52,pi53: 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: inout std_logic
  );
end top;

architecture top_behav of top is
begin
    po00 <= ( pi46 and not pi47 and not pi48 and not pi49 and not pi51 and not pi53 )
      or ( not pi47 and not pi48 and not pi49 and not pi50 and not pi51 and pi52 and pi53 )
      or ( not pi21 and pi46 and not pi47 and not pi48 and not pi49 and pi50 and not pi53 )
      or ( pi46 and not pi47 and not pi48 and pi50 and pi51 and not pi52 and not pi53 )
      or ( not pi39 and pi46 and not pi47 and not pi48 and not pi49 and not pi50 and pi51 and pi52 )
      or ( pi22 and pi46 and not pi47 and not pi48 and not pi49 and pi50 and pi51 and not pi52 )
      or ( pi25 and pi46 and not pi47 and not pi48 and not pi49 and pi50 and pi51 and not pi52 )
      or ( pi28 and pi46 and not pi47 and not pi48 and not pi49 and pi50 and pi51 and not pi52 )
      or ( pi24 and pi46 and not pi47 and not pi48 and pi49 and not pi50 and pi51 and not pi52 )
      or ( not pi04 and pi46 and not pi47 and pi48 and not pi49 and pi50 and not pi51 and not pi52 )
      or ( not pi46 and pi47 and pi48 and pi49 and pi50 and pi51 and pi52 and pi53 )
      or ( not pi46 and pi47 and not pi48 and pi49 and pi50 and pi51 and pi52 and pi53 )
      or ( pi46 and not pi47 and not pi48 and pi49 and pi50 and pi51 and pi52 and pi53 )
      or ( pi46 and not pi47 and pi48 and not pi49 and pi50 and pi51 and pi52 and pi53 )
      or ( pi46 and not pi47 and not pi48 and not pi49 and pi50 and pi51 and pi52 and pi53 )
      or ( pi17 and not pi46 and not pi47 and pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( not pi46 and pi47 and pi48 and pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( pi46 and not pi47 and not pi48 and pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( not pi46 and not pi47 and not pi48 and pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( pi46 and not pi47 and not pi48 and pi49 and pi50 and not pi51 and pi52 and pi53 )
      or ( not pi46 and pi47 and pi48 and not pi49 and pi50 and not pi51 and pi52 and pi53 )
      or ( pi46 and not pi47 and pi48 and not pi49 and pi50 and not pi51 and pi52 and pi53 )
      or ( pi46 and not pi47 and not pi48 and not pi49 and pi50 and not pi51 and pi52 and pi53 )
      or ( pi46 and not pi47 and not pi48 and pi49 and not pi50 and not pi51 and pi52 and pi53 )
      or ( pi13 and not pi46 and not pi48 and not pi49 and not pi50 and not pi51 and pi52 and pi53 )
      or ( not pi46 and not pi47 and not pi48 and pi49 and not pi50 and pi51 and not pi52 and pi53 )
      or ( pi46 and not pi47 and not pi48 and not pi49 and not pi50 and pi51 and not pi52 and pi53 )
      or ( not pi46 and pi47 and not pi48 and pi49 and pi50 and not pi51 and not pi52 and pi53 )
      or ( pi46 and not pi47 and not pi48 and pi49 and pi50 and not pi51 and not pi52 and pi53 )
      or ( pi46 and not pi47 and not pi48 and pi49 and not pi50 and not pi51 and not pi52 and pi53 )
      or ( pi46 and not pi47 and not pi48 and not pi49 and not pi50 and not pi51 and not pi52 and pi53 )
      or ( not pi46 and pi47 and pi48 and pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( pi46 and not pi47 and not pi48 and pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and not pi48 and not pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and not pi48 and pi49 and not pi50 and pi51 and pi52 and not pi53 )
      or ( pi46 and not pi47 and not pi48 and pi49 and not pi50 and pi51 and pi52 and not pi53 )
      or ( pi46 and not pi47 and pi48 and not pi49 and not pi50 and pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and not pi48 and not pi49 and not pi50 and pi51 and pi52 and not pi53 )
      or ( pi46 and not pi47 and not pi48 and not pi49 and not pi50 and pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and pi48 and pi49 and pi50 and not pi51 and pi52 and not pi53 )
      or ( pi46 and not pi47 and not pi48 and pi49 and not pi50 and not pi51 and pi52 and not pi53 )
      or ( pi11 and not pi46 and pi47 and not pi48 and pi49 and pi50 and not pi52 and not pi53 )
      or ( pi46 and not pi47 and not pi48 and pi49 and not pi50 and pi51 and not pi52 and not pi53 )
      or ( not pi46 and pi47 and not pi48 and not pi49 and not pi50 and pi51 and not pi52 and not pi53 )
      or ( not pi46 and pi47 and not pi48 and pi49 and pi50 and not pi51 and not pi52 and not pi53 )
      or ( pi46 and not pi47 and not pi48 and pi49 and pi50 and not pi51 and not pi52 and not pi53 )
      or ( pi09 and not pi46 and pi47 and not pi48 and not pi50 and not pi51 and not pi52 and not pi53 )
      or ( not pi46 and pi47 and not pi48 and pi49 and not pi50 and not pi51 and not pi52 and not pi53 )
      or ( pi46 and not pi47 and not pi48 and pi49 and not pi50 and not pi51 and not pi52 and not pi53 )
      or ( not pi04 and pi46 and not pi47 and pi48 and not pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( pi41 and not pi46 and not pi47 and pi48 and pi49 and pi50 and pi51 and not pi52 and pi53 )
      or ( pi06 and pi46 and not pi47 and not pi48 and pi49 and pi50 and pi51 and not pi52 and pi53 )
      or ( not pi24 and pi46 and not pi47 and not pi48 and pi49 and not pi50 and pi51 and not pi52 and pi53 )
      or ( pi41 and pi46 and not pi47 and not pi48 and not pi49 and pi50 and not pi51 and not pi52 and pi53 )
      or ( not pi41 and pi46 and not pi47 and not pi48 and not pi49 and pi50 and not pi51 and not pi52 and pi53 )
      or ( pi39 and not pi46 and pi47 and not pi48 and not pi49 and not pi50 and not pi51 and not pi52 and pi53 )
      or ( not pi03 and pi46 and not pi47 and pi48 and not pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( pi21 and pi46 and not pi47 and not pi48 and not pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( not pi34 and not pi46 and not pi47 and pi48 and pi49 and not pi50 and pi51 and pi52 and not pi53 )
      or ( pi10 and pi46 and not pi47 and not pi48 and pi49 and pi50 and not pi51 and pi52 and not pi53 )
      or ( pi11 and pi46 and not pi47 and not pi48 and pi49 and pi50 and not pi51 and pi52 and not pi53 )
      or ( pi25 and pi46 and not pi47 and not pi48 and pi49 and pi50 and not pi51 and pi52 and not pi53 )
      or ( not pi04 and pi46 and not pi47 and pi48 and not pi49 and pi50 and not pi51 and pi52 and not pi53 )
      or ( not pi16 and pi46 and not pi47 and pi48 and not pi49 and not pi50 and not pi51 and pi52 and not pi53 )
      or ( pi31 and not pi46 and pi47 and not pi48 and not pi49 and not pi50 and not pi51 and pi52 and not pi53 )
      or ( pi07 and not pi46 and not pi47 and pi48 and pi49 and pi50 and pi51 and not pi52 and not pi53 )
      or ( not pi20 and not pi46 and pi47 and not pi48 and pi49 and not pi50 and pi51 and not pi52 and not pi53 )
      or ( pi40 and not pi46 and not pi47 and pi48 and not pi49 and not pi50 and pi51 and not pi52 and not pi53 )
      or ( pi28 and not pi46 and pi47 and not pi48 and not pi49 and pi50 and not pi51 and not pi52 and not pi53 )
      or ( pi20 and pi46 and not pi47 and pi48 and not pi49 and not pi50 and not pi51 and not pi52 and not pi53 )
      or ( not pi37 and pi38 and pi46 and not pi47 and pi48 and not pi49 and not pi50 and pi51 and not pi52 and not pi53 )
      or ( not pi37 and pi43 and pi46 and not pi47 and pi48 and not pi49 and not pi50 and pi51 and not pi52 and not pi53 )
      or ( not pi22 and not pi25 and not pi28 and pi46 and not pi47 and not pi48 and not pi49 and pi50 and pi51 and not pi52 and pi53 )
      or ( not pi10 and not pi11 and not pi25 and pi46 and not pi47 and not pi48 and pi49 and pi50 and not pi51 and pi52 and not pi53 );
    po01 <= ( not pi46 and pi47 and pi48 and not pi49 and pi51 )
      or ( pi20 and not pi46 and pi47 and pi49 and not pi50 and pi51 and not pi52 )
      or ( not pi13 and not pi46 and pi47 and not pi49 and not pi50 and pi52 and pi53 )
      or ( not pi46 and pi47 and not pi48 and not pi49 and pi50 and not pi52 and pi53 )
      or ( not pi46 and pi47 and pi48 and pi49 and pi51 and not pi52 and pi53 )
      or ( not pi46 and pi47 and pi48 and pi49 and not pi51 and not pi52 and pi53 )
      or ( not pi46 and pi47 and pi49 and not pi50 and not pi51 and not pi52 and pi53 )
      or ( not pi01 and not pi46 and pi47 and pi48 and not pi49 and not pi51 and not pi53 )
      or ( not pi31 and not pi46 and pi47 and not pi48 and not pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and pi48 and not pi49 and not pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and pi48 and pi50 and not pi51 and not pi52 and not pi53 )
      or ( pi38 and not pi46 and pi47 and not pi48 and pi49 and not pi50 and not pi51 and pi52 )
      or ( not pi01 and pi43 and not pi46 and pi47 and pi48 and pi49 and pi51 and not pi52 )
      or ( pi29 and not pi46 and pi47 and not pi48 and not pi49 and not pi50 and pi51 and pi53 )
      or ( not pi46 and not pi47 and pi48 and pi49 and pi50 and pi51 and pi52 and pi53 )
      or ( not pi46 and pi47 and not pi48 and not pi49 and pi50 and pi51 and pi52 and pi53 )
      or ( not pi46 and pi47 and not pi48 and pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( not pi46 and pi47 and not pi48 and not pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( not pi46 and pi47 and pi48 and pi49 and pi50 and not pi51 and pi52 and pi53 )
      or ( not pi46 and pi47 and not pi48 and not pi49 and pi50 and not pi51 and pi52 and pi53 )
      or ( not pi46 and pi47 and pi48 and pi49 and not pi50 and not pi51 and pi52 and pi53 )
      or ( not pi46 and pi47 and pi48 and not pi49 and not pi50 and not pi51 and pi52 and pi53 )
      or ( pi46 and not pi47 and pi48 and not pi49 and not pi50 and not pi51 and pi52 and pi53 )
      or ( pi46 and not pi47 and pi48 and not pi49 and pi50 and pi51 and not pi52 and pi53 )
      or ( not pi29 and not pi46 and pi47 and not pi48 and not pi50 and pi51 and not pi52 and pi53 )
      or ( not pi46 and pi47 and not pi48 and pi49 and not pi50 and pi51 and not pi52 and pi53 )
      or ( pi46 and not pi47 and pi48 and not pi49 and not pi50 and pi51 and not pi52 and pi53 )
      or ( not pi46 and not pi47 and pi48 and not pi49 and not pi50 and pi51 and not pi52 and pi53 )
      or ( not pi46 and pi47 and pi48 and not pi49 and pi50 and not pi51 and not pi52 and pi53 )
      or ( not pi39 and not pi46 and pi47 and not pi48 and not pi50 and not pi51 and not pi52 and pi53 )
      or ( pi46 and not pi47 and pi48 and not pi49 and not pi50 and not pi51 and not pi52 and pi53 )
      or ( pi01 and not pi46 and pi47 and pi48 and pi49 and not pi50 and pi51 and not pi53 )
      or ( not pi43 and not pi46 and pi47 and pi48 and pi49 and not pi50 and pi51 and not pi53 )
      or ( not pi28 and not pi46 and pi47 and not pi48 and not pi49 and pi50 and not pi51 and not pi53 )
      or ( not pi46 and pi47 and not pi48 and pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and pi48 and pi49 and not pi50 and pi51 and pi52 and not pi53 )
      or ( not pi46 and not pi47 and pi48 and not pi49 and not pi50 and pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and not pi48 and pi49 and pi50 and not pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and not pi48 and not pi49 and pi50 and not pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and pi48 and pi49 and not pi50 and not pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and not pi48 and pi49 and not pi50 and not pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and pi48 and pi49 and pi50 and pi51 and not pi52 and not pi53 )
      or ( pi46 and not pi47 and pi48 and not pi49 and pi50 and pi51 and not pi52 and not pi53 )
      or ( not pi46 and pi47 and not pi48 and not pi49 and pi50 and pi51 and not pi52 and not pi53 )
      or ( pi37 and pi46 and not pi47 and not pi49 and not pi50 and pi51 and not pi52 and not pi53 )
      or ( pi46 and not pi47 and not pi48 and not pi49 and not pi50 and pi51 and not pi52 and not pi53 )
      or ( not pi46 and pi47 and pi48 and pi49 and not pi50 and not pi51 and not pi52 and not pi53 )
      or ( pi04 and pi46 and not pi47 and pi48 and not pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( pi39 and pi46 and not pi47 and not pi48 and not pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( pi01 and not pi46 and pi47 and not pi48 and pi49 and pi50 and not pi51 and pi52 and pi53 )
      or ( not pi01 and not pi46 and pi47 and not pi48 and pi49 and pi50 and not pi51 and pi52 and pi53 )
      or ( not pi38 and not pi46 and pi47 and not pi48 and pi49 and not pi50 and not pi51 and pi52 and pi53 )
      or ( pi43 and not pi46 and pi47 and not pi48 and pi49 and pi50 and pi51 and not pi52 and pi53 )
      or ( not pi43 and not pi46 and pi47 and not pi48 and pi49 and pi50 and pi51 and not pi52 and pi53 )
      or ( pi01 and not pi38 and pi43 and not pi46 and pi47 and pi48 and not pi51 and not pi52 and pi53 )
      or ( pi29 and not pi46 and not pi47 and pi48 and pi49 and pi50 and not pi51 and not pi52 and pi53 )
      or ( pi04 and pi46 and not pi47 and pi48 and not pi49 and pi50 and not pi51 and not pi52 and pi53 )
      or ( not pi01 and not pi46 and pi47 and pi48 and not pi49 and not pi50 and not pi51 and not pi52 and pi53 )
      or ( pi38 and not pi46 and pi47 and pi48 and not pi49 and not pi50 and not pi51 and not pi52 and pi53 )
      or ( not pi43 and not pi46 and pi47 and pi48 and not pi49 and not pi50 and not pi51 and not pi52 and pi53 )
      or ( pi41 and not pi46 and not pi47 and not pi48 and not pi49 and not pi50 and not pi51 and not pi52 and pi53 )
      or ( pi39 and not pi46 and not pi47 and pi48 and pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( pi03 and pi46 and not pi47 and pi48 and not pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( pi04 and pi46 and not pi47 and pi48 and not pi49 and pi50 and not pi51 and pi52 and not pi53 )
      or ( pi16 and pi46 and not pi47 and pi48 and not pi49 and not pi50 and not pi51 and pi52 and not pi53 )
      or ( not pi11 and not pi46 and pi47 and not pi48 and pi49 and pi50 and pi51 and not pi52 and not pi53 )
      or ( not pi38 and not pi43 and pi46 and not pi47 and not pi49 and not pi50 and pi51 and not pi52 and not pi53 )
      or ( pi04 and pi46 and not pi47 and pi48 and not pi49 and pi50 and not pi51 and not pi52 and not pi53 )
      or ( pi01 and not pi46 and pi47 and pi48 and not pi49 and not pi50 and not pi51 and not pi52 and not pi53 )
      or ( not pi09 and not pi46 and pi47 and not pi48 and not pi49 and not pi50 and not pi51 and not pi52 and not pi53 );
    po02 <= ( not pi46 and pi47 and pi48 and not pi49 and pi51 )
      or ( not pi46 and pi47 and pi48 and pi49 and pi50 and not pi51 and not pi52 )
      or ( not pi46 and pi47 and pi48 and pi49 and pi51 and not pi52 and pi53 )
      or ( not pi29 and not pi46 and pi48 and pi49 and not pi51 and not pi52 and pi53 )
      or ( not pi46 and pi48 and pi49 and not pi50 and not pi51 and not pi52 and pi53 )
      or ( not pi01 and not pi46 and pi47 and pi48 and not pi49 and not pi51 and not pi53 )
      or ( not pi46 and pi48 and not pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and pi48 and not pi49 and not pi51 and pi52 and not pi53 )
      or ( pi08 and not pi46 and pi48 and pi50 and not pi51 and not pi52 and not pi53 )
      or ( not pi46 and pi47 and pi48 and pi50 and not pi51 and not pi52 and not pi53 )
      or ( not pi29 and not pi46 and not pi47 and pi48 and pi49 and pi50 and not pi51 and pi52 )
      or ( not pi20 and not pi46 and not pi47 and pi48 and pi49 and not pi50 and not pi51 and pi52 )
      or ( not pi01 and pi43 and not pi46 and pi47 and pi48 and pi49 and pi51 and not pi52 )
      or ( not pi04 and pi46 and not pi47 and pi48 and not pi49 and pi50 and not pi51 and not pi52 )
      or ( pi20 and not pi46 and not pi47 and pi48 and not pi49 and pi51 and pi52 and pi53 )
      or ( not pi46 and pi47 and not pi48 and pi49 and pi50 and pi51 and pi52 and pi53 )
      or ( pi03 and not pi47 and not pi48 and pi49 and pi50 and pi51 and pi52 and pi53 )
      or ( pi46 and not pi47 and pi48 and not pi49 and pi50 and pi51 and pi52 and pi53 )
      or ( not pi46 and pi47 and pi48 and pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( not pi46 and pi47 and pi48 and pi49 and pi50 and not pi51 and pi52 and pi53 )
      or ( not pi46 and not pi47 and pi48 and pi49 and pi50 and not pi51 and pi52 and pi53 )
      or ( not pi46 and pi47 and pi48 and not pi49 and pi50 and not pi51 and pi52 and pi53 )
      or ( not pi46 and pi47 and pi48 and pi49 and not pi50 and not pi51 and pi52 and pi53 )
      or ( not pi46 and not pi47 and pi48 and pi49 and not pi50 and not pi51 and pi52 and pi53 )
      or ( not pi46 and pi47 and pi48 and not pi49 and not pi50 and not pi51 and pi52 and pi53 )
      or ( not pi46 and not pi47 and pi48 and not pi49 and not pi50 and not pi51 and pi52 and pi53 )
      or ( not pi41 and not pi46 and pi48 and pi49 and pi50 and pi51 and not pi52 and pi53 )
      or ( not pi46 and pi47 and not pi48 and pi49 and pi50 and not pi51 and not pi52 and pi53 )
      or ( pi46 and not pi47 and not pi48 and pi49 and pi50 and not pi51 and not pi52 and pi53 )
      or ( pi29 and not pi46 and pi48 and not pi49 and pi50 and not pi51 and not pi52 and pi53 )
      or ( not pi46 and pi47 and pi48 and not pi49 and pi50 and not pi51 and not pi52 and pi53 )
      or ( not pi46 and not pi47 and pi48 and not pi49 and not pi50 and not pi51 and not pi52 and pi53 )
      or ( not pi46 and not pi47 and not pi48 and not pi49 and not pi50 and not pi51 and not pi52 and pi53 )
      or ( pi01 and not pi46 and pi47 and pi48 and pi49 and not pi50 and pi51 and not pi53 )
      or ( not pi43 and not pi46 and pi47 and pi48 and pi49 and not pi50 and pi51 and not pi53 )
      or ( pi29 and not pi46 and not pi47 and pi48 and pi49 and pi50 and pi52 and not pi53 )
      or ( not pi46 and pi47 and pi48 and pi49 and not pi50 and pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and not pi48 and pi49 and not pi50 and pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and not pi48 and not pi49 and not pi50 and pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and pi48 and pi49 and not pi50 and not pi51 and pi52 and not pi53 )
      or ( pi46 and not pi47 and not pi48 and pi49 and not pi50 and not pi51 and pi52 and not pi53 )
      or ( not pi46 and not pi47 and pi48 and not pi49 and not pi50 and not pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and pi48 and pi49 and pi50 and pi51 and not pi52 and not pi53 )
      or ( pi46 and not pi47 and pi48 and not pi49 and pi50 and pi51 and not pi52 and not pi53 )
      or ( not pi46 and not pi47 and pi48 and pi49 and not pi50 and pi51 and not pi52 and not pi53 )
      or ( pi46 and not pi47 and not pi48 and not pi49 and not pi50 and pi51 and not pi52 and not pi53 )
      or ( not pi46 and not pi47 and pi48 and pi49 and pi50 and not pi51 and not pi52 and not pi53 )
      or ( not pi46 and pi47 and pi48 and pi49 and not pi50 and not pi51 and not pi52 and not pi53 )
      or ( not pi46 and not pi47 and pi48 and pi49 and not pi50 and not pi51 and not pi52 and not pi53 )
      or ( not pi46 and pi47 and not pi48 and pi49 and not pi50 and not pi51 and not pi52 and not pi53 )
      or ( pi42 and not pi46 and not pi47 and pi48 and pi49 and pi50 and pi51 and pi52 and pi53 )
      or ( not pi17 and not pi46 and not pi47 and pi48 and pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( not pi04 and pi46 and not pi47 and pi48 and not pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( pi03 and not pi46 and not pi47 and pi48 and not pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( not pi03 and not pi46 and not pi47 and pi48 and not pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( pi39 and pi46 and not pi47 and not pi48 and not pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( not pi01 and not pi46 and pi47 and not pi48 and pi49 and pi50 and not pi51 and pi52 and pi53 )
      or ( pi20 and not pi46 and not pi47 and not pi48 and pi49 and pi50 and not pi51 and pi52 and pi53 )
      or ( not pi43 and not pi46 and pi47 and not pi48 and pi49 and pi50 and pi51 and not pi52 and pi53 )
      or ( pi44 and not pi46 and not pi47 and not pi48 and pi49 and pi50 and pi51 and not pi52 and pi53 )
      or ( pi19 and not pi46 and not pi47 and pi48 and pi49 and not pi50 and pi51 and not pi52 and pi53 )
      or ( pi01 and not pi38 and pi43 and not pi46 and pi47 and pi48 and not pi51 and not pi52 and pi53 )
      or ( pi04 and pi46 and not pi47 and pi48 and not pi49 and pi50 and not pi51 and not pi52 and pi53 )
      or ( not pi01 and not pi46 and pi47 and pi48 and not pi49 and not pi50 and not pi51 and not pi52 and pi53 )
      or ( pi38 and not pi46 and pi47 and pi48 and not pi49 and not pi50 and not pi51 and not pi52 and pi53 )
      or ( not pi43 and not pi46 and pi47 and pi48 and not pi49 and not pi50 and not pi51 and not pi52 and pi53 )
      or ( pi39 and not pi46 and not pi47 and pi48 and pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( not pi39 and not pi46 and not pi47 and pi48 and pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( pi30 and not pi46 and not pi47 and not pi48 and pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( not pi03 and pi46 and not pi47 and pi48 and not pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( pi08 and not pi46 and not pi47 and not pi48 and pi49 and pi50 and not pi51 and pi52 and not pi53 )
      or ( pi04 and pi46 and not pi47 and pi48 and not pi49 and pi50 and not pi51 and pi52 and not pi53 )
      or ( not pi04 and pi46 and not pi47 and pi48 and not pi49 and pi50 and not pi51 and pi52 and not pi53 )
      or ( pi20 and not pi46 and not pi47 and pi48 and pi49 and not pi50 and not pi51 and pi52 and not pi53 )
      or ( pi16 and pi46 and not pi47 and pi48 and not pi49 and not pi50 and not pi51 and pi52 and not pi53 )
      or ( not pi16 and pi46 and not pi47 and pi48 and not pi49 and not pi50 and not pi51 and pi52 and not pi53 )
      or ( pi07 and not pi46 and not pi47 and pi48 and pi49 and pi50 and pi51 and not pi52 and not pi53 )
      or ( not pi07 and not pi46 and not pi47 and pi48 and pi49 and pi50 and pi51 and not pi52 and not pi53 )
      or ( pi35 and not pi46 and not pi47 and not pi48 and pi49 and pi50 and pi51 and not pi52 and not pi53 )
      or ( not pi20 and not pi46 and pi47 and not pi48 and pi49 and not pi50 and pi51 and not pi52 and not pi53 )
      or ( pi28 and not pi46 and pi47 and not pi48 and not pi49 and pi50 and not pi51 and not pi52 and not pi53 )
      or ( pi01 and not pi46 and pi47 and pi48 and not pi49 and not pi50 and not pi51 and not pi52 and not pi53 )
      or ( pi37 and not pi46 and not pi47 and pi48 and not pi49 and not pi50 and not pi51 and not pi52 and not pi53 )
      or ( not pi37 and pi38 and pi46 and not pi47 and pi48 and not pi49 and not pi50 and pi51 and not pi52 and not pi53 )
      or ( not pi37 and pi43 and pi46 and not pi47 and pi48 and not pi49 and not pi50 and pi51 and not pi52 and not pi53 );
    po03 <= ( not pi46 and pi48 and pi50 and not pi51 and pi52 and not pi53 )
      or ( not pi46 and pi49 and pi50 and not pi51 and not pi52 and not pi53 )
      or ( pi46 and not pi47 and not pi48 and pi49 and pi50 and pi51 and not pi52 )
      or ( not pi46 and not pi47 and pi48 and not pi49 and pi50 and pi51 and not pi52 )
      or ( pi20 and not pi46 and pi47 and pi49 and not pi50 and pi51 and not pi52 )
      or ( not pi29 and not pi46 and not pi47 and pi48 and pi50 and not pi51 and pi53 )
      or ( not pi46 and not pi47 and not pi49 and pi50 and pi51 and pi52 and pi53 )
      or ( not pi46 and pi47 and pi48 and pi49 and pi51 and not pi52 and pi53 )
      or ( not pi46 and pi47 and pi48 and pi49 and not pi51 and not pi52 and pi53 )
      or ( not pi46 and pi47 and pi49 and not pi50 and not pi51 and not pi52 and pi53 )
      or ( not pi46 and pi48 and pi49 and not pi50 and not pi51 and not pi52 and pi53 )
      or ( not pi21 and pi46 and not pi47 and not pi48 and not pi49 and pi50 and not pi53 )
      or ( not pi08 and not pi46 and not pi47 and pi48 and pi50 and not pi51 and not pi53 )
      or ( pi46 and not pi47 and not pi48 and not pi49 and pi50 and not pi51 and not pi53 )
      or ( not pi30 and not pi46 and pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( not pi20 and not pi46 and not pi47 and pi48 and pi49 and not pi50 and not pi51 and pi52 )
      or ( pi38 and not pi46 and pi47 and not pi48 and pi49 and not pi50 and not pi51 and pi52 )
      or ( not pi01 and pi43 and not pi46 and pi47 and pi48 and pi49 and pi51 and not pi52 )
      or ( pi22 and pi46 and not pi47 and not pi48 and not pi49 and pi50 and pi51 and not pi52 )
      or ( pi25 and pi46 and not pi47 and not pi48 and not pi49 and pi50 and pi51 and not pi52 )
      or ( pi28 and pi46 and not pi47 and not pi48 and not pi49 and pi50 and pi51 and not pi52 )
      or ( pi24 and pi46 and not pi47 and not pi48 and pi49 and not pi50 and pi51 and not pi52 )
      or ( not pi41 and not pi46 and not pi47 and not pi48 and pi49 and not pi50 and pi51 and not pi52 )
      or ( not pi14 and not pi46 and not pi47 and not pi48 and not pi49 and pi50 and pi51 and pi53 )
      or ( not pi46 and pi47 and pi48 and pi49 and pi50 and pi51 and pi52 and pi53 )
      or ( not pi03 and not pi47 and not pi48 and pi49 and pi50 and pi51 and pi52 and pi53 )
      or ( not pi46 and pi47 and not pi48 and not pi49 and pi50 and pi51 and pi52 and pi53 )
      or ( pi46 and not pi47 and not pi48 and not pi49 and pi50 and pi51 and pi52 and pi53 )
      or ( pi17 and not pi46 and not pi47 and pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( not pi46 and pi47 and not pi48 and pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( pi46 and not pi47 and not pi48 and pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( not pi46 and not pi47 and not pi48 and pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( not pi20 and not pi46 and not pi47 and pi49 and pi50 and not pi51 and pi52 and pi53 )
      or ( not pi46 and pi47 and pi48 and pi49 and pi50 and not pi51 and pi52 and pi53 )
      or ( not pi46 and not pi47 and pi48 and pi49 and pi50 and not pi51 and pi52 and pi53 )
      or ( pi46 and not pi47 and not pi48 and pi49 and pi50 and not pi51 and pi52 and pi53 )
      or ( pi46 and not pi47 and pi48 and not pi49 and pi50 and not pi51 and pi52 and pi53 )
      or ( not pi46 and not pi47 and pi48 and not pi49 and pi50 and not pi51 and pi52 and pi53 )
      or ( pi46 and not pi47 and not pi48 and not pi49 and pi50 and not pi51 and pi52 and pi53 )
      or ( not pi46 and not pi47 and pi48 and pi49 and not pi50 and not pi51 and pi52 and pi53 )
      or ( pi46 and not pi47 and not pi48 and pi49 and not pi50 and not pi51 and pi52 and pi53 )
      or ( pi46 and not pi47 and pi48 and not pi49 and not pi50 and not pi51 and pi52 and pi53 )
      or ( not pi46 and not pi47 and not pi48 and not pi49 and not pi50 and not pi51 and pi52 and pi53 )
      or ( pi43 and not pi46 and pi47 and pi48 and pi50 and pi51 and not pi52 and pi53 )
      or ( not pi41 and not pi46 and pi48 and pi49 and pi50 and pi51 and not pi52 and pi53 )
      or ( not pi46 and pi47 and not pi48 and pi49 and not pi50 and pi51 and not pi52 and pi53 )
      or ( not pi46 and not pi47 and not pi48 and pi49 and not pi50 and pi51 and not pi52 and pi53 )
      or ( not pi46 and not pi47 and pi48 and not pi49 and not pi50 and pi51 and not pi52 and pi53 )
      or ( not pi46 and not pi47 and not pi48 and pi49 and pi50 and not pi51 and not pi52 and pi53 )
      or ( pi46 and not pi47 and not pi48 and pi49 and not pi50 and not pi51 and not pi52 and pi53 )
      or ( not pi46 and not pi47 and not pi48 and pi49 and not pi50 and not pi51 and not pi52 and pi53 )
      or ( pi46 and not pi47 and not pi48 and not pi49 and not pi50 and not pi51 and not pi52 and pi53 )
      or ( pi01 and not pi46 and pi47 and pi48 and pi49 and not pi50 and pi51 and not pi53 )
      or ( not pi43 and not pi46 and pi47 and pi48 and pi49 and not pi50 and pi51 and not pi53 )
      or ( not pi46 and pi47 and pi48 and pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and not pi48 and pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( pi46 and not pi47 and not pi48 and pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and not pi48 and not pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and pi48 and pi49 and not pi50 and pi51 and pi52 and not pi53 )
      or ( pi46 and not pi47 and not pi48 and pi49 and not pi50 and pi51 and pi52 and not pi53 )
      or ( pi46 and not pi47 and pi48 and not pi49 and not pi50 and pi51 and pi52 and not pi53 )
      or ( not pi46 and not pi47 and pi48 and not pi49 and not pi50 and pi51 and pi52 and not pi53 )
      or ( not pi08 and not pi46 and not pi48 and pi49 and pi50 and not pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and not pi48 and pi49 and pi50 and not pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and pi48 and pi49 and not pi50 and not pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and not pi48 and pi49 and not pi50 and not pi51 and pi52 and not pi53 )
      or ( not pi46 and not pi47 and not pi48 and pi49 and not pi50 and not pi51 and pi52 and not pi53 )
      or ( pi11 and not pi46 and pi47 and not pi48 and pi49 and pi50 and not pi52 and not pi53 )
      or ( not pi46 and pi47 and pi48 and pi49 and pi50 and pi51 and not pi52 and not pi53 )
      or ( not pi35 and not pi46 and not pi48 and pi49 and pi50 and pi51 and not pi52 and not pi53 )
      or ( pi46 and not pi47 and not pi48 and not pi49 and pi50 and pi51 and not pi52 and not pi53 )
      or ( not pi46 and not pi47 and pi48 and pi49 and not pi50 and pi51 and not pi52 and not pi53 )
      or ( pi46 and not pi47 and not pi48 and pi49 and not pi50 and pi51 and not pi52 and not pi53 )
      or ( pi37 and pi46 and not pi47 and not pi49 and not pi50 and pi51 and not pi52 and not pi53 )
      or ( not pi46 and pi47 and not pi48 and not pi49 and not pi50 and pi51 and not pi52 and not pi53 )
      or ( pi46 and not pi47 and not pi48 and not pi49 and not pi50 and pi51 and not pi52 and not pi53 )
      or ( pi46 and not pi47 and not pi48 and pi49 and pi50 and not pi51 and not pi52 and not pi53 )
      or ( not pi46 and pi47 and pi48 and pi49 and not pi50 and not pi51 and not pi52 and not pi53 )
      or ( not pi46 and not pi47 and pi48 and pi49 and not pi50 and not pi51 and not pi52 and not pi53 )
      or ( pi46 and not pi47 and not pi48 and pi49 and not pi50 and not pi51 and not pi52 and not pi53 )
      or ( pi46 and not pi47 and pi48 and not pi49 and not pi50 and not pi51 and not pi52 and not pi53 )
      or ( pi42 and not pi46 and not pi47 and pi48 and pi49 and pi50 and pi51 and pi52 and pi53 )
      or ( pi45 and not pi46 and pi47 and pi48 and not pi49 and pi50 and pi51 and pi52 and pi53 )
      or ( not pi17 and not pi46 and not pi47 and pi48 and pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( pi04 and pi46 and not pi47 and pi48 and not pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( pi39 and pi46 and not pi47 and not pi48 and not pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( pi01 and not pi46 and pi47 and not pi48 and pi49 and pi50 and not pi51 and pi52 and pi53 )
      or ( not pi38 and not pi46 and pi47 and not pi48 and pi49 and not pi50 and not pi51 and pi52 and pi53 )
      or ( pi43 and not pi46 and pi47 and not pi48 and pi49 and pi50 and pi51 and not pi52 and pi53 )
      or ( not pi44 and not pi46 and not pi47 and not pi48 and pi49 and pi50 and pi51 and not pi52 and pi53 )
      or ( pi19 and not pi46 and not pi47 and pi48 and pi49 and not pi50 and pi51 and not pi52 and pi53 )
      or ( not pi19 and not pi46 and not pi47 and pi48 and pi49 and not pi50 and pi51 and not pi52 and pi53 )
      or ( not pi24 and pi46 and not pi47 and not pi48 and pi49 and not pi50 and pi51 and not pi52 and pi53 )
      or ( pi41 and not pi46 and not pi47 and not pi48 and not pi49 and not pi50 and not pi51 and not pi52 and pi53 )
      or ( pi39 and not pi46 and not pi47 and pi48 and pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( not pi39 and not pi46 and not pi47 and pi48 and pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( pi03 and pi46 and not pi47 and pi48 and not pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( not pi16 and not pi46 and not pi47 and not pi48 and not pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( not pi34 and not pi46 and not pi47 and pi48 and pi49 and not pi50 and pi51 and pi52 and not pi53 )
      or ( pi10 and pi46 and not pi47 and not pi48 and pi49 and pi50 and not pi51 and pi52 and not pi53 )
      or ( pi11 and pi46 and not pi47 and not pi48 and pi49 and pi50 and not pi51 and pi52 and not pi53 )
      or ( pi25 and pi46 and not pi47 and not pi48 and pi49 and pi50 and not pi51 and pi52 and not pi53 )
      or ( pi04 and pi46 and not pi47 and pi48 and not pi49 and pi50 and not pi51 and pi52 and not pi53 )
      or ( pi20 and not pi46 and not pi47 and pi48 and pi49 and not pi50 and not pi51 and pi52 and not pi53 )
      or ( pi16 and pi46 and not pi47 and pi48 and not pi49 and not pi50 and not pi51 and pi52 and not pi53 )
      or ( not pi07 and not pi46 and not pi47 and pi48 and pi49 and pi50 and pi51 and not pi52 and not pi53 )
      or ( not pi11 and not pi46 and pi47 and not pi48 and pi49 and pi50 and pi51 and not pi52 and not pi53 )
      or ( not pi01 and not pi46 and pi47 and pi48 and not pi49 and pi50 and pi51 and not pi52 and not pi53 )
      or ( not pi26 and not pi46 and pi47 and pi48 and not pi49 and pi50 and pi51 and not pi52 and not pi53 )
      or ( pi41 and not pi46 and not pi47 and not pi48 and pi49 and not pi50 and pi51 and not pi52 and not pi53 )
      or ( not pi38 and not pi43 and pi46 and not pi47 and not pi49 and not pi50 and pi51 and not pi52 and not pi53 )
      or ( not pi40 and not pi46 and not pi47 and pi48 and not pi49 and not pi50 and pi51 and not pi52 and not pi53 )
      or ( pi04 and pi46 and not pi47 and pi48 and not pi49 and pi50 and not pi51 and not pi52 and not pi53 )
      or ( pi25 and not pi46 and not pi47 and not pi48 and pi49 and not pi50 and not pi51 and not pi52 and not pi53 )
      or ( not pi25 and not pi46 and not pi47 and not pi48 and pi49 and not pi50 and not pi51 and not pi52 and not pi53 )
      or ( pi01 and not pi46 and pi47 and pi48 and not pi49 and not pi50 and not pi51 and not pi52 and not pi53 )
      or ( not pi37 and not pi46 and not pi47 and pi48 and not pi49 and not pi50 and not pi51 and not pi52 and not pi53 )
      or ( not pi10 and not pi11 and not pi25 and pi46 and not pi47 and not pi48 and pi49 and pi50 and not pi51 and pi52 and not pi53 );
    po04 <= ( not pi20 and not pi46 and not pi47 and pi48 and not pi49 and pi50 )
      or ( not pi46 and pi49 and pi50 and not pi51 and not pi52 and not pi53 )
      or ( not pi27 and not pi46 and pi47 and not pi49 and not pi50 and pi51 and pi52 )
      or ( pi46 and not pi47 and not pi48 and pi49 and pi50 and pi51 and not pi52 )
      or ( not pi46 and not pi47 and pi48 and not pi49 and pi50 and pi51 and not pi52 )
      or ( pi14 and not pi46 and not pi48 and not pi49 and pi50 and pi51 and not pi52 )
      or ( not pi46 and pi47 and pi48 and pi49 and pi50 and not pi51 and not pi52 )
      or ( not pi21 and not pi46 and pi47 and pi48 and not pi50 and pi51 and pi53 )
      or ( not pi29 and not pi46 and not pi47 and pi48 and pi50 and not pi51 and pi53 )
      or ( not pi46 and not pi47 and not pi48 and not pi50 and not pi51 and pi52 and pi53 )
      or ( not pi46 and pi47 and not pi48 and not pi49 and pi50 and not pi52 and pi53 )
      or ( not pi46 and pi47 and pi48 and pi49 and pi51 and not pi52 and pi53 )
      or ( not pi08 and not pi46 and not pi47 and pi48 and pi50 and not pi51 and not pi53 )
      or ( pi46 and not pi47 and not pi48 and not pi49 and pi50 and not pi51 and not pi53 )
      or ( not pi46 and not pi47 and not pi48 and not pi49 and pi50 and not pi51 and not pi53 )
      or ( not pi30 and not pi46 and pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( not pi46 and pi48 and not pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( pi46 and not pi47 and not pi48 and pi50 and pi51 and not pi52 and not pi53 )
      or ( pi08 and not pi46 and pi48 and pi50 and not pi51 and not pi52 and not pi53 )
      or ( not pi46 and pi47 and pi48 and pi50 and not pi51 and not pi52 and not pi53 )
      or ( not pi45 and not pi46 and pi47 and pi48 and not pi49 and pi50 and pi51 and pi52 )
      or ( not pi39 and pi46 and not pi47 and not pi48 and not pi49 and not pi50 and pi51 and pi52 )
      or ( not pi29 and not pi46 and not pi47 and pi48 and pi49 and pi50 and not pi51 and pi52 )
      or ( pi22 and pi46 and not pi47 and not pi48 and not pi49 and pi50 and pi51 and not pi52 )
      or ( pi25 and pi46 and not pi47 and not pi48 and not pi49 and pi50 and pi51 and not pi52 )
      or ( pi28 and pi46 and not pi47 and not pi48 and not pi49 and pi50 and pi51 and not pi52 )
      or ( pi24 and pi46 and not pi47 and not pi48 and pi49 and not pi50 and pi51 and not pi52 )
      or ( not pi04 and pi46 and not pi47 and pi48 and not pi49 and pi50 and not pi51 and not pi52 )
      or ( pi29 and not pi46 and pi47 and not pi48 and not pi49 and not pi50 and pi51 and pi53 )
      or ( not pi46 and pi47 and pi48 and pi49 and pi50 and pi51 and pi52 and pi53 )
      or ( not pi46 and pi47 and not pi48 and pi49 and pi50 and pi51 and pi52 and pi53 )
      or ( not pi03 and not pi47 and not pi48 and pi49 and pi50 and pi51 and pi52 and pi53 )
      or ( pi46 and not pi47 and pi48 and not pi49 and pi50 and pi51 and pi52 and pi53 )
      or ( pi17 and not pi46 and not pi47 and pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( not pi46 and pi47 and pi48 and pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( not pi46 and pi47 and not pi48 and pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( pi46 and not pi47 and not pi48 and pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( not pi46 and not pi47 and not pi48 and pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( not pi46 and pi47 and pi48 and not pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( not pi46 and pi47 and not pi48 and not pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( not pi20 and not pi46 and not pi47 and pi49 and pi50 and not pi51 and pi52 and pi53 )
      or ( not pi46 and pi47 and pi48 and pi49 and pi50 and not pi51 and pi52 and pi53 )
      or ( not pi46 and not pi47 and pi48 and pi49 and pi50 and not pi51 and pi52 and pi53 )
      or ( pi46 and not pi47 and not pi48 and pi49 and pi50 and not pi51 and pi52 and pi53 )
      or ( not pi46 and pi47 and pi48 and not pi49 and pi50 and not pi51 and pi52 and pi53 )
      or ( pi46 and not pi47 and pi48 and not pi49 and pi50 and not pi51 and pi52 and pi53 )
      or ( not pi46 and not pi47 and pi48 and not pi49 and pi50 and not pi51 and pi52 and pi53 )
      or ( not pi46 and pi47 and not pi48 and not pi49 and pi50 and not pi51 and pi52 and pi53 )
      or ( pi46 and not pi47 and not pi48 and not pi49 and pi50 and not pi51 and pi52 and pi53 )
      or ( not pi46 and not pi47 and not pi48 and not pi49 and pi50 and not pi51 and pi52 and pi53 )
      or ( pi46 and not pi47 and pi48 and not pi49 and not pi50 and not pi51 and pi52 and pi53 )
      or ( pi13 and not pi46 and not pi48 and not pi49 and not pi50 and not pi51 and pi52 and pi53 )
      or ( not pi43 and not pi46 and pi47 and pi48 and pi50 and pi51 and not pi52 and pi53 )
      or ( not pi41 and not pi46 and pi48 and pi49 and pi50 and pi51 and not pi52 and pi53 )
      or ( pi46 and not pi47 and pi48 and not pi49 and pi50 and pi51 and not pi52 and pi53 )
      or ( not pi46 and not pi47 and not pi48 and pi49 and not pi50 and pi51 and not pi52 and pi53 )
      or ( not pi46 and not pi47 and pi48 and not pi49 and not pi50 and pi51 and not pi52 and pi53 )
      or ( pi46 and not pi47 and not pi48 and pi49 and pi50 and not pi51 and not pi52 and pi53 )
      or ( not pi46 and not pi47 and not pi48 and pi49 and pi50 and not pi51 and not pi52 and pi53 )
      or ( pi29 and not pi46 and pi48 and not pi49 and pi50 and not pi51 and not pi52 and pi53 )
      or ( not pi46 and pi47 and pi48 and not pi49 and pi50 and not pi51 and not pi52 and pi53 )
      or ( not pi46 and not pi47 and not pi48 and not pi49 and pi50 and not pi51 and not pi52 and pi53 )
      or ( pi46 and not pi47 and pi48 and not pi49 and not pi50 and not pi51 and not pi52 and pi53 )
      or ( pi46 and not pi47 and not pi48 and not pi49 and not pi50 and not pi51 and not pi52 and pi53 )
      or ( pi01 and pi26 and not pi46 and pi47 and not pi49 and pi50 and pi51 and not pi53 )
      or ( not pi28 and not pi46 and pi47 and not pi48 and not pi49 and pi50 and not pi51 and not pi53 )
      or ( pi29 and not pi46 and not pi47 and pi48 and pi49 and pi50 and pi52 and not pi53 )
      or ( not pi46 and pi47 and pi48 and pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and not pi48 and pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( pi46 and not pi47 and not pi48 and pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and not pi48 and not pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and not pi48 and pi49 and not pi50 and pi51 and pi52 and not pi53 )
      or ( not pi46 and not pi47 and pi48 and not pi49 and not pi50 and pi51 and pi52 and not pi53 )
      or ( pi46 and not pi47 and not pi48 and not pi49 and not pi50 and pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and pi48 and pi49 and pi50 and not pi51 and pi52 and not pi53 )
      or ( not pi08 and not pi46 and not pi48 and pi49 and pi50 and not pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and not pi48 and pi49 and pi50 and not pi51 and pi52 and not pi53 )
      or ( not pi46 and not pi47 and pi48 and not pi49 and pi50 and not pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and not pi48 and not pi49 and pi50 and not pi51 and pi52 and not pi53 )
      or ( pi11 and not pi46 and pi47 and not pi48 and pi49 and pi50 and not pi52 and not pi53 )
      or ( not pi31 and not pi46 and pi47 and not pi48 and not pi49 and pi51 and not pi52 and not pi53 )
      or ( not pi46 and pi47 and pi48 and pi49 and pi50 and pi51 and not pi52 and not pi53 )
      or ( not pi35 and not pi46 and not pi48 and pi49 and pi50 and pi51 and not pi52 and not pi53 )
      or ( pi46 and not pi47 and pi48 and not pi49 and pi50 and pi51 and not pi52 and not pi53 )
      or ( not pi46 and pi47 and not pi48 and not pi49 and pi50 and pi51 and not pi52 and not pi53 )
      or ( pi46 and not pi47 and not pi48 and pi49 and not pi50 and pi51 and not pi52 and not pi53 )
      or ( pi37 and pi46 and not pi47 and not pi49 and not pi50 and pi51 and not pi52 and not pi53 )
      or ( pi46 and not pi47 and not pi48 and not pi49 and not pi50 and pi51 and not pi52 and not pi53 )
      or ( pi46 and not pi47 and not pi48 and pi49 and pi50 and not pi51 and not pi52 and not pi53 )
      or ( pi46 and not pi47 and pi48 and not pi49 and not pi50 and not pi51 and not pi52 and not pi53 )
      or ( pi42 and not pi46 and not pi47 and pi48 and pi49 and pi50 and pi51 and pi52 and pi53 )
      or ( not pi17 and not pi46 and not pi47 and pi48 and pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( pi03 and not pi46 and not pi47 and pi48 and not pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( pi39 and pi46 and not pi47 and not pi48 and not pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( pi16 and not pi46 and not pi47 and not pi48 and not pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( pi01 and not pi46 and pi47 and not pi48 and pi49 and pi50 and not pi51 and pi52 and pi53 )
      or ( pi20 and not pi46 and not pi47 and not pi48 and pi49 and pi50 and not pi51 and pi52 and pi53 )
      or ( pi41 and not pi46 and not pi47 and pi48 and pi49 and pi50 and pi51 and not pi52 and pi53 )
      or ( pi43 and not pi46 and pi47 and not pi48 and pi49 and pi50 and pi51 and not pi52 and pi53 )
      or ( pi44 and not pi46 and not pi47 and not pi48 and pi49 and pi50 and pi51 and not pi52 and pi53 )
      or ( not pi44 and not pi46 and not pi47 and not pi48 and pi49 and pi50 and pi51 and not pi52 and pi53 )
      or ( not pi19 and not pi46 and not pi47 and pi48 and pi49 and not pi50 and pi51 and not pi52 and pi53 )
      or ( pi41 and pi46 and not pi47 and not pi48 and not pi49 and pi50 and not pi51 and not pi52 and pi53 )
      or ( pi39 and not pi46 and not pi47 and pi48 and pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( not pi39 and not pi46 and not pi47 and pi48 and pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( pi30 and not pi46 and not pi47 and not pi48 and pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( not pi03 and pi46 and not pi47 and pi48 and not pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( pi21 and pi46 and not pi47 and not pi48 and not pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( pi16 and not pi46 and not pi47 and not pi48 and not pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( not pi34 and not pi46 and not pi47 and pi48 and pi49 and not pi50 and pi51 and pi52 and not pi53 )
      or ( pi10 and pi46 and not pi47 and not pi48 and pi49 and pi50 and not pi51 and pi52 and not pi53 )
      or ( pi11 and pi46 and not pi47 and not pi48 and pi49 and pi50 and not pi51 and pi52 and not pi53 )
      or ( pi25 and pi46 and not pi47 and not pi48 and pi49 and pi50 and not pi51 and pi52 and not pi53 )
      or ( pi04 and pi46 and not pi47 and pi48 and not pi49 and pi50 and not pi51 and pi52 and not pi53 )
      or ( not pi04 and pi46 and not pi47 and pi48 and not pi49 and pi50 and not pi51 and pi52 and not pi53 )
      or ( pi16 and pi46 and not pi47 and pi48 and not pi49 and not pi50 and not pi51 and pi52 and not pi53 )
      or ( pi31 and not pi46 and pi47 and not pi48 and not pi49 and not pi50 and not pi51 and pi52 and not pi53 )
      or ( not pi07 and not pi46 and not pi47 and pi48 and pi49 and pi50 and pi51 and not pi52 and not pi53 )
      or ( not pi11 and not pi46 and pi47 and not pi48 and pi49 and pi50 and pi51 and not pi52 and not pi53 )
      or ( pi35 and not pi46 and not pi47 and not pi48 and pi49 and pi50 and pi51 and not pi52 and not pi53 )
      or ( pi25 and not pi46 and not pi47 and not pi48 and not pi49 and pi50 and pi51 and not pi52 and not pi53 )
      or ( not pi25 and not pi46 and not pi47 and not pi48 and not pi49 and pi50 and pi51 and not pi52 and not pi53 )
      or ( not pi20 and not pi46 and pi47 and not pi48 and pi49 and not pi50 and pi51 and not pi52 and not pi53 )
      or ( not pi38 and not pi43 and pi46 and not pi47 and not pi49 and not pi50 and pi51 and not pi52 and not pi53 )
      or ( pi40 and not pi46 and not pi47 and pi48 and not pi49 and not pi50 and pi51 and not pi52 and not pi53 )
      or ( not pi40 and not pi46 and not pi47 and pi48 and not pi49 and not pi50 and pi51 and not pi52 and not pi53 )
      or ( not pi37 and not pi46 and not pi47 and pi48 and not pi49 and not pi50 and not pi51 and not pi52 and not pi53 )
      or ( not pi22 and not pi25 and not pi28 and pi46 and not pi47 and not pi48 and not pi49 and pi50 and pi51 and not pi52 and pi53 )
      or ( not pi10 and not pi11 and not pi25 and pi46 and not pi47 and not pi48 and pi49 and pi50 and not pi51 and pi52 and not pi53 );
    po05 <= ( not pi46 and pi47 and not pi50 and pi51 and not pi52 and not pi53 )
      or ( not pi36 and pi46 and not pi47 and not pi48 and not pi49 and not pi51 and pi52 )
      or ( not pi13 and not pi46 and pi47 and not pi49 and not pi50 and pi52 and pi53 )
      or ( not pi46 and not pi47 and not pi48 and not pi50 and not pi51 and pi52 and pi53 )
      or ( not pi47 and not pi48 and not pi49 and not pi50 and not pi51 and pi52 and pi53 )
      or ( not pi46 and pi47 and not pi48 and pi50 and pi51 and not pi52 and pi53 )
      or ( pi46 and not pi47 and not pi48 and not pi49 and pi50 and not pi51 and not pi53 )
      or ( not pi46 and pi48 and not pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( pi46 and not pi47 and not pi48 and pi50 and pi51 and not pi52 and not pi53 )
      or ( pi12 and not pi46 and pi49 and not pi50 and pi51 and not pi52 and not pi53 )
      or ( not pi45 and not pi46 and pi47 and pi48 and not pi49 and pi50 and pi51 and pi52 )
      or ( not pi29 and not pi46 and not pi47 and pi48 and pi49 and pi50 and not pi51 and pi52 )
      or ( not pi20 and not pi46 and not pi47 and pi48 and pi49 and not pi50 and not pi51 and pi52 )
      or ( pi22 and pi46 and not pi47 and not pi48 and not pi49 and pi50 and pi51 and not pi52 )
      or ( pi25 and pi46 and not pi47 and not pi48 and not pi49 and pi50 and pi51 and not pi52 )
      or ( pi28 and pi46 and not pi47 and not pi48 and not pi49 and pi50 and pi51 and not pi52 )
      or ( pi24 and pi46 and not pi47 and not pi48 and pi49 and not pi50 and pi51 and not pi52 )
      or ( not pi41 and not pi46 and not pi47 and not pi48 and pi49 and not pi50 and pi51 and not pi52 )
      or ( not pi14 and not pi46 and not pi47 and not pi48 and not pi49 and pi50 and pi51 and pi53 )
      or ( not pi46 and pi47 and pi48 and pi49 and pi50 and pi51 and pi52 and pi53 )
      or ( not pi03 and not pi47 and not pi48 and pi49 and pi50 and pi51 and pi52 and pi53 )
      or ( pi46 and not pi47 and pi48 and not pi49 and pi50 and pi51 and pi52 and pi53 )
      or ( pi17 and not pi46 and not pi47 and pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( not pi46 and not pi47 and not pi48 and pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( not pi46 and pi47 and pi48 and not pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( not pi46 and pi47 and not pi48 and not pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( not pi20 and not pi46 and not pi47 and pi49 and pi50 and not pi51 and pi52 and pi53 )
      or ( not pi46 and pi47 and pi48 and pi49 and pi50 and not pi51 and pi52 and pi53 )
      or ( not pi46 and not pi47 and pi48 and pi49 and pi50 and not pi51 and pi52 and pi53 )
      or ( not pi46 and pi47 and pi48 and not pi49 and pi50 and not pi51 and pi52 and pi53 )
      or ( not pi46 and pi47 and not pi48 and not pi49 and pi50 and not pi51 and pi52 and pi53 )
      or ( pi46 and not pi47 and not pi48 and not pi49 and pi50 and not pi51 and pi52 and pi53 )
      or ( not pi46 and not pi47 and not pi48 and not pi49 and pi50 and not pi51 and pi52 and pi53 )
      or ( not pi46 and not pi47 and pi48 and pi49 and not pi50 and not pi51 and pi52 and pi53 )
      or ( pi46 and not pi47 and not pi48 and pi49 and not pi50 and not pi51 and pi52 and pi53 )
      or ( not pi46 and pi47 and pi48 and not pi49 and not pi50 and not pi51 and pi52 and pi53 )
      or ( not pi46 and not pi47 and pi48 and not pi49 and not pi50 and not pi51 and pi52 and pi53 )
      or ( pi13 and not pi46 and not pi48 and not pi49 and not pi50 and not pi51 and pi52 and pi53 )
      or ( not pi43 and not pi46 and pi47 and pi48 and pi50 and pi51 and not pi52 and pi53 )
      or ( not pi41 and not pi46 and pi48 and pi49 and pi50 and pi51 and not pi52 and pi53 )
      or ( not pi46 and pi47 and pi48 and pi49 and pi50 and pi51 and not pi52 and pi53 )
      or ( not pi46 and not pi47 and not pi48 and not pi49 and pi50 and pi51 and not pi52 and pi53 )
      or ( not pi29 and not pi46 and pi47 and not pi48 and not pi50 and pi51 and not pi52 and pi53 )
      or ( not pi46 and pi47 and not pi48 and pi49 and not pi50 and pi51 and not pi52 and pi53 )
      or ( not pi46 and not pi47 and not pi48 and pi49 and not pi50 and pi51 and not pi52 and pi53 )
      or ( pi46 and not pi47 and pi48 and not pi49 and not pi50 and pi51 and not pi52 and pi53 )
      or ( pi46 and not pi47 and not pi48 and not pi49 and not pi50 and pi51 and not pi52 and pi53 )
      or ( not pi46 and not pi47 and not pi48 and not pi49 and not pi50 and pi51 and not pi52 and pi53 )
      or ( pi46 and not pi47 and pi48 and not pi49 and not pi50 and not pi51 and not pi52 and pi53 )
      or ( pi46 and not pi47 and not pi48 and not pi49 and not pi50 and not pi51 and not pi52 and pi53 )
      or ( not pi46 and not pi47 and not pi48 and not pi49 and not pi50 and not pi51 and not pi52 and pi53 )
      or ( pi01 and pi26 and not pi46 and pi47 and not pi49 and pi50 and pi51 and not pi53 )
      or ( not pi46 and pi47 and pi48 and pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and not pi48 and pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( pi46 and not pi47 and not pi48 and pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and not pi48 and not pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( pi27 and not pi46 and pi47 and pi48 and not pi50 and pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and pi48 and pi49 and not pi50 and pi51 and pi52 and not pi53 )
      or ( pi46 and not pi47 and not pi48 and pi49 and not pi50 and pi51 and pi52 and not pi53 )
      or ( not pi46 and not pi47 and not pi48 and pi49 and not pi50 and pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and not pi48 and not pi49 and not pi50 and pi51 and pi52 and not pi53 )
      or ( not pi46 and not pi47 and not pi48 and not pi49 and not pi50 and pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and pi48 and pi49 and pi50 and not pi51 and pi52 and not pi53 )
      or ( pi46 and not pi47 and not pi48 and pi49 and not pi50 and not pi51 and pi52 and not pi53 )
      or ( not pi46 and not pi47 and not pi48 and pi49 and not pi50 and not pi51 and pi52 and not pi53 )
      or ( pi11 and not pi46 and pi47 and not pi48 and pi49 and pi50 and not pi52 and not pi53 )
      or ( not pi46 and pi47 and pi48 and pi49 and pi50 and pi51 and not pi52 and not pi53 )
      or ( not pi35 and not pi46 and not pi48 and pi49 and pi50 and pi51 and not pi52 and not pi53 )
      or ( pi46 and not pi47 and pi48 and not pi49 and pi50 and pi51 and not pi52 and not pi53 )
      or ( not pi46 and pi47 and not pi48 and not pi49 and pi50 and pi51 and not pi52 and not pi53 )
      or ( pi46 and not pi47 and not pi48 and pi49 and not pi50 and pi51 and not pi52 and not pi53 )
      or ( pi46 and not pi47 and not pi48 and not pi49 and not pi50 and pi51 and not pi52 and not pi53 )
      or ( not pi46 and not pi47 and not pi48 and not pi49 and not pi50 and pi51 and not pi52 and not pi53 )
      or ( not pi46 and pi47 and not pi48 and pi49 and pi50 and not pi51 and not pi52 and not pi53 )
      or ( not pi46 and pi47 and not pi48 and pi49 and not pi50 and not pi51 and not pi52 and not pi53 )
      or ( pi42 and not pi46 and not pi47 and pi48 and pi49 and pi50 and pi51 and pi52 and pi53 )
      or ( not pi04 and pi46 and not pi47 and pi48 and not pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( not pi03 and not pi46 and not pi47 and pi48 and not pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( not pi16 and not pi46 and not pi47 and not pi48 and not pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( pi01 and not pi46 and pi47 and not pi48 and pi49 and pi50 and not pi51 and pi52 and pi53 )
      or ( pi20 and not pi46 and not pi47 and not pi48 and pi49 and pi50 and not pi51 and pi52 and pi53 )
      or ( not pi38 and not pi46 and pi47 and not pi48 and pi49 and not pi50 and not pi51 and pi52 and pi53 )
      or ( pi06 and pi46 and not pi47 and not pi48 and pi49 and pi50 and pi51 and not pi52 and pi53 )
      or ( pi44 and not pi46 and not pi47 and not pi48 and pi49 and pi50 and pi51 and not pi52 and pi53 )
      or ( not pi44 and not pi46 and not pi47 and not pi48 and pi49 and pi50 and pi51 and not pi52 and pi53 )
      or ( pi19 and not pi46 and not pi47 and pi48 and pi49 and not pi50 and pi51 and not pi52 and pi53 )
      or ( not pi24 and pi46 and not pi47 and not pi48 and pi49 and not pi50 and pi51 and not pi52 and pi53 )
      or ( pi21 and not pi46 and pi47 and pi48 and not pi49 and not pi50 and pi51 and not pi52 and pi53 )
      or ( pi29 and not pi46 and not pi47 and pi48 and pi49 and pi50 and not pi51 and not pi52 and pi53 )
      or ( pi37 and not pi46 and not pi47 and not pi48 and pi49 and pi50 and not pi51 and not pi52 and pi53 )
      or ( pi04 and pi46 and not pi47 and pi48 and not pi49 and pi50 and not pi51 and not pi52 and pi53 )
      or ( not pi41 and pi46 and not pi47 and not pi48 and not pi49 and pi50 and not pi51 and not pi52 and pi53 )
      or ( not pi14 and not pi46 and not pi47 and not pi48 and pi49 and not pi50 and not pi51 and not pi52 and pi53 )
      or ( not pi01 and not pi46 and pi47 and pi48 and not pi49 and not pi50 and not pi51 and not pi52 and pi53 )
      or ( pi38 and not pi46 and pi47 and pi48 and not pi49 and not pi50 and not pi51 and not pi52 and pi53 )
      or ( not pi43 and not pi46 and pi47 and pi48 and not pi49 and not pi50 and not pi51 and not pi52 and pi53 )
      or ( not pi39 and not pi46 and not pi47 and pi48 and pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( pi30 and not pi46 and not pi47 and not pi48 and pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( pi03 and pi46 and not pi47 and pi48 and not pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( not pi03 and pi46 and not pi47 and pi48 and not pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( pi21 and pi46 and not pi47 and not pi48 and not pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( pi16 and not pi46 and not pi47 and not pi48 and not pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( not pi34 and not pi46 and not pi47 and pi48 and pi49 and not pi50 and pi51 and pi52 and not pi53 )
      or ( pi10 and pi46 and not pi47 and not pi48 and pi49 and pi50 and not pi51 and pi52 and not pi53 )
      or ( pi11 and pi46 and not pi47 and not pi48 and pi49 and pi50 and not pi51 and pi52 and not pi53 )
      or ( pi25 and pi46 and not pi47 and not pi48 and pi49 and pi50 and not pi51 and pi52 and not pi53 )
      or ( pi08 and not pi46 and not pi47 and not pi48 and pi49 and pi50 and not pi51 and pi52 and not pi53 )
      or ( pi16 and pi46 and not pi47 and pi48 and not pi49 and not pi50 and not pi51 and pi52 and not pi53 )
      or ( pi31 and not pi46 and pi47 and not pi48 and not pi49 and not pi50 and not pi51 and pi52 and not pi53 )
      or ( pi32 and not pi46 and not pi47 and not pi48 and not pi49 and not pi50 and not pi51 and pi52 and not pi53 )
      or ( pi07 and not pi46 and not pi47 and pi48 and pi49 and pi50 and pi51 and not pi52 and not pi53 )
      or ( not pi07 and not pi46 and not pi47 and pi48 and pi49 and pi50 and pi51 and not pi52 and not pi53 )
      or ( not pi11 and not pi46 and pi47 and not pi48 and pi49 and pi50 and pi51 and not pi52 and not pi53 )
      or ( pi25 and not pi46 and not pi47 and not pi48 and not pi49 and pi50 and pi51 and not pi52 and not pi53 )
      or ( not pi25 and not pi46 and not pi47 and not pi48 and not pi49 and pi50 and pi51 and not pi52 and not pi53 )
      or ( pi41 and not pi46 and not pi47 and not pi48 and pi49 and not pi50 and pi51 and not pi52 and not pi53 )
      or ( pi04 and pi46 and not pi47 and pi48 and not pi49 and pi50 and not pi51 and not pi52 and not pi53 )
      or ( pi01 and not pi46 and pi47 and pi48 and not pi49 and not pi50 and not pi51 and not pi52 and not pi53 )
      or ( pi20 and pi46 and not pi47 and pi48 and not pi49 and not pi50 and not pi51 and not pi52 and not pi53 )
      or ( not pi37 and pi38 and pi46 and not pi47 and pi48 and not pi49 and not pi50 and pi51 and not pi52 and not pi53 )
      or ( not pi37 and pi43 and pi46 and not pi47 and pi48 and not pi49 and not pi50 and pi51 and not pi52 and not pi53 )
      or ( not pi22 and not pi25 and not pi28 and pi46 and not pi47 and not pi48 and not pi49 and pi50 and pi51 and not pi52 and pi53 );
    po06 <= ( pi01 and not pi46 and pi47 and pi48 and pi49 and not pi52 and pi53 )
      or ( not pi46 and pi47 and not pi48 and not pi49 and pi50 and not pi52 and pi53 )
      or ( not pi29 and not pi46 and pi48 and pi49 and not pi51 and not pi52 and pi53 )
      or ( not pi46 and pi47 and pi48 and pi49 and not pi51 and not pi52 and pi53 )
      or ( not pi46 and pi47 and pi49 and not pi50 and not pi51 and not pi52 and pi53 )
      or ( not pi46 and pi48 and pi49 and not pi50 and not pi51 and not pi52 and pi53 )
      or ( pi36 and pi46 and not pi47 and not pi48 and not pi50 and pi52 and not pi53 )
      or ( not pi46 and pi48 and not pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( not pi31 and not pi46 and pi47 and not pi48 and not pi51 and pi52 and not pi53 )
      or ( not pi14 and not pi46 and not pi48 and pi49 and not pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and pi48 and not pi49 and not pi51 and pi52 and not pi53 )
      or ( pi25 and not pi46 and not pi48 and pi50 and not pi51 and pi52 and not pi53 )
      or ( not pi45 and not pi46 and pi47 and pi48 and not pi49 and pi50 and pi51 and pi52 )
      or ( pi38 and not pi46 and pi47 and not pi48 and pi49 and not pi50 and not pi51 and pi52 )
      or ( not pi01 and pi43 and not pi46 and pi47 and pi48 and pi49 and pi51 and not pi52 )
      or ( not pi14 and not pi46 and not pi47 and not pi48 and not pi49 and pi50 and pi51 and pi53 )
      or ( not pi15 and not pi46 and not pi47 and pi48 and pi49 and not pi50 and not pi51 and pi53 )
      or ( not pi03 and not pi47 and not pi48 and pi49 and pi50 and pi51 and pi52 and pi53 )
      or ( pi46 and not pi47 and pi48 and not pi49 and pi50 and pi51 and pi52 and pi53 )
      or ( not pi46 and pi47 and pi48 and pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( pi46 and not pi47 and pi48 and not pi49 and pi50 and not pi51 and pi52 and pi53 )
      or ( not pi43 and not pi46 and pi47 and pi48 and pi50 and pi51 and not pi52 and pi53 )
      or ( not pi41 and not pi46 and pi48 and pi49 and pi50 and pi51 and not pi52 and pi53 )
      or ( pi46 and not pi47 and pi48 and not pi49 and pi50 and pi51 and not pi52 and pi53 )
      or ( not pi29 and not pi46 and pi47 and not pi48 and not pi50 and pi51 and not pi52 and pi53 )
      or ( not pi46 and pi47 and not pi48 and pi49 and not pi50 and pi51 and not pi52 and pi53 )
      or ( pi46 and not pi47 and pi48 and not pi49 and not pi50 and pi51 and not pi52 and pi53 )
      or ( not pi46 and not pi47 and pi48 and not pi49 and not pi50 and pi51 and not pi52 and pi53 )
      or ( pi46 and not pi47 and not pi48 and not pi49 and not pi50 and pi51 and not pi52 and pi53 )
      or ( not pi46 and not pi47 and not pi48 and not pi49 and not pi50 and pi51 and not pi52 and pi53 )
      or ( not pi46 and pi47 and not pi48 and pi49 and pi50 and not pi51 and not pi52 and pi53 )
      or ( pi46 and not pi47 and not pi48 and pi49 and pi50 and not pi51 and not pi52 and pi53 )
      or ( not pi46 and not pi47 and not pi48 and pi49 and pi50 and not pi51 and not pi52 and pi53 )
      or ( pi29 and not pi46 and pi48 and not pi49 and pi50 and not pi51 and not pi52 and pi53 )
      or ( not pi46 and pi47 and pi48 and not pi49 and pi50 and not pi51 and not pi52 and pi53 )
      or ( not pi46 and not pi47 and not pi48 and not pi49 and pi50 and not pi51 and not pi52 and pi53 )
      or ( not pi39 and not pi46 and pi47 and not pi48 and not pi50 and not pi51 and not pi52 and pi53 )
      or ( pi46 and not pi47 and not pi48 and pi49 and not pi50 and not pi51 and not pi52 and pi53 )
      or ( not pi46 and not pi47 and pi48 and not pi49 and not pi50 and not pi51 and not pi52 and pi53 )
      or ( not pi46 and not pi47 and not pi48 and not pi49 and not pi50 and not pi51 and not pi52 and pi53 )
      or ( pi29 and not pi46 and not pi47 and pi48 and pi49 and pi50 and pi52 and not pi53 )
      or ( pi25 and not pi46 and not pi47 and not pi48 and not pi49 and pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and not pi48 and pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( pi46 and not pi47 and not pi48 and pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( pi27 and not pi46 and pi47 and pi48 and not pi50 and pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and pi48 and pi49 and not pi50 and pi51 and pi52 and not pi53 )
      or ( pi46 and not pi47 and not pi48 and pi49 and not pi50 and pi51 and pi52 and not pi53 )
      or ( pi46 and not pi47 and pi48 and not pi49 and not pi50 and pi51 and pi52 and not pi53 )
      or ( pi46 and not pi47 and not pi48 and not pi49 and not pi50 and pi51 and pi52 and not pi53 )
      or ( not pi08 and not pi46 and not pi48 and pi49 and pi50 and not pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and not pi48 and pi49 and pi50 and not pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and not pi48 and not pi49 and pi50 and not pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and pi48 and pi49 and not pi50 and not pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and not pi48 and pi49 and not pi50 and not pi51 and pi52 and not pi53 )
      or ( pi46 and not pi47 and not pi48 and pi49 and not pi50 and not pi51 and pi52 and not pi53 )
      or ( not pi46 and not pi47 and pi48 and not pi49 and not pi50 and not pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and pi48 and pi49 and pi50 and pi51 and not pi52 and not pi53 )
      or ( pi37 and pi46 and not pi47 and not pi49 and not pi50 and pi51 and not pi52 and not pi53 )
      or ( pi46 and not pi47 and not pi48 and not pi49 and not pi50 and pi51 and not pi52 and not pi53 )
      or ( not pi46 and pi47 and not pi48 and pi49 and not pi50 and not pi51 and not pi52 and not pi53 )
      or ( pi46 and not pi47 and not pi48 and pi49 and not pi50 and not pi51 and not pi52 and not pi53 )
      or ( pi42 and not pi46 and not pi47 and pi48 and pi49 and pi50 and pi51 and pi52 and pi53 )
      or ( pi45 and not pi46 and pi47 and pi48 and not pi49 and pi50 and pi51 and pi52 and pi53 )
      or ( not pi04 and pi46 and not pi47 and pi48 and not pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( not pi03 and not pi46 and not pi47 and pi48 and not pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( pi39 and pi46 and not pi47 and not pi48 and not pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( pi20 and not pi46 and not pi47 and not pi48 and pi49 and pi50 and not pi51 and pi52 and pi53 )
      or ( pi14 and pi46 and not pi47 and not pi48 and not pi49 and not pi50 and not pi51 and pi52 and pi53 )
      or ( pi43 and not pi46 and pi47 and not pi48 and pi49 and pi50 and pi51 and not pi52 and pi53 )
      or ( pi06 and pi46 and not pi47 and not pi48 and pi49 and pi50 and pi51 and not pi52 and pi53 )
      or ( not pi44 and not pi46 and not pi47 and not pi48 and pi49 and pi50 and pi51 and not pi52 and pi53 )
      or ( pi19 and not pi46 and not pi47 and pi48 and pi49 and not pi50 and pi51 and not pi52 and pi53 )
      or ( not pi24 and pi46 and not pi47 and not pi48 and pi49 and not pi50 and pi51 and not pi52 and pi53 )
      or ( pi21 and not pi46 and pi47 and pi48 and not pi49 and not pi50 and pi51 and not pi52 and pi53 )
      or ( pi01 and not pi38 and pi43 and not pi46 and pi47 and pi48 and not pi51 and not pi52 and pi53 )
      or ( pi41 and pi46 and not pi47 and not pi48 and not pi49 and pi50 and not pi51 and not pi52 and pi53 )
      or ( not pi41 and pi46 and not pi47 and not pi48 and not pi49 and pi50 and not pi51 and not pi52 and pi53 )
      or ( not pi14 and not pi46 and not pi47 and not pi48 and pi49 and not pi50 and not pi51 and not pi52 and pi53 )
      or ( pi39 and not pi46 and pi47 and not pi48 and not pi49 and not pi50 and not pi51 and not pi52 and pi53 )
      or ( pi39 and not pi46 and not pi47 and pi48 and pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( not pi39 and not pi46 and not pi47 and pi48 and pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( not pi03 and pi46 and not pi47 and pi48 and not pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( pi21 and pi46 and not pi47 and not pi48 and not pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( pi16 and not pi46 and not pi47 and not pi48 and not pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( not pi16 and not pi46 and not pi47 and not pi48 and not pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( pi34 and not pi46 and not pi47 and pi48 and pi49 and not pi50 and pi51 and pi52 and not pi53 )
      or ( pi08 and not pi46 and not pi47 and not pi48 and pi49 and pi50 and not pi51 and pi52 and not pi53 )
      or ( not pi04 and pi46 and not pi47 and pi48 and not pi49 and pi50 and not pi51 and pi52 and not pi53 )
      or ( pi20 and not pi46 and not pi47 and pi48 and pi49 and not pi50 and not pi51 and pi52 and not pi53 )
      or ( not pi16 and pi46 and not pi47 and pi48 and not pi49 and not pi50 and not pi51 and pi52 and not pi53 )
      or ( not pi32 and not pi46 and not pi47 and not pi48 and not pi49 and not pi50 and not pi51 and pi52 and not pi53 )
      or ( pi35 and not pi46 and not pi47 and not pi48 and pi49 and pi50 and pi51 and not pi52 and not pi53 )
      or ( not pi01 and not pi46 and pi47 and pi48 and not pi49 and pi50 and pi51 and not pi52 and not pi53 )
      or ( not pi26 and not pi46 and pi47 and pi48 and not pi49 and pi50 and pi51 and not pi52 and not pi53 )
      or ( pi25 and not pi46 and not pi47 and not pi48 and not pi49 and pi50 and pi51 and not pi52 and not pi53 )
      or ( not pi20 and not pi46 and pi47 and not pi48 and pi49 and not pi50 and pi51 and not pi52 and not pi53 )
      or ( pi41 and not pi46 and not pi47 and not pi48 and pi49 and not pi50 and pi51 and not pi52 and not pi53 )
      or ( not pi38 and not pi43 and pi46 and not pi47 and not pi49 and not pi50 and pi51 and not pi52 and not pi53 )
      or ( pi40 and not pi46 and not pi47 and pi48 and not pi49 and not pi50 and pi51 and not pi52 and not pi53 )
      or ( pi04 and pi46 and not pi47 and pi48 and not pi49 and pi50 and not pi51 and not pi52 and not pi53 )
      or ( pi25 and not pi46 and not pi47 and not pi48 and pi49 and not pi50 and not pi51 and not pi52 and not pi53 )
      or ( pi20 and pi46 and not pi47 and pi48 and not pi49 and not pi50 and not pi51 and not pi52 and not pi53 )
      or ( not pi22 and not pi25 and not pi28 and pi46 and not pi47 and not pi48 and not pi49 and pi50 and pi51 and not pi52 and pi53 )
      or ( not pi10 and not pi11 and not pi25 and pi46 and not pi47 and not pi48 and pi49 and pi50 and not pi51 and pi52 and not pi53 );
    po07 <= ( pi46 and not pi47 and not pi48 and not pi49 and not pi51 and not pi53 )
      or ( pi02 and not pi46 and pi47 and pi48 and pi49 and pi50 and pi52 )
      or ( pi27 and pi46 and not pi47 and not pi48 and not pi49 and pi50 and pi52 )
      or ( pi26 and not pi47 and pi48 and not pi49 and not pi50 and not pi51 and pi52 )
      or ( not pi46 and not pi47 and not pi48 and not pi50 and not pi51 and pi52 and pi53 )
      or ( not pi29 and not pi47 and pi48 and not pi49 and not pi50 and not pi52 and pi53 )
      or ( pi46 and not pi47 and pi48 and not pi49 and not pi51 and not pi52 and pi53 )
      or ( not pi21 and pi46 and not pi47 and not pi48 and not pi49 and pi50 and not pi53 )
      or ( not pi20 and pi46 and not pi47 and not pi48 and pi49 and pi51 and not pi53 )
      or ( not pi01 and not pi46 and pi47 and pi48 and not pi49 and not pi51 and not pi53 )
      or ( not pi46 and not pi47 and not pi48 and not pi49 and pi50 and not pi51 and not pi53 )
      or ( pi03 and not pi46 and pi48 and pi50 and pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and not pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( pi05 and not pi46 and pi47 and pi48 and not pi51 and pi52 and not pi53 )
      or ( not pi31 and not pi46 and pi47 and not pi48 and not pi51 and pi52 and not pi53 )
      or ( not pi14 and not pi46 and not pi48 and pi49 and not pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and pi48 and not pi49 and not pi51 and pi52 and not pi53 )
      or ( pi05 and not pi46 and pi47 and not pi49 and pi51 and not pi52 and not pi53 )
      or ( pi46 and not pi47 and not pi48 and pi50 and pi51 and not pi52 and not pi53 )
      or ( not pi33 and not pi47 and not pi48 and not pi49 and not pi51 and not pi52 and not pi53 )
      or ( pi08 and not pi46 and pi48 and pi50 and not pi51 and not pi52 and not pi53 )
      or ( not pi46 and pi47 and pi48 and pi50 and not pi51 and not pi52 and not pi53 )
      or ( pi18 and not pi46 and pi49 and pi50 and not pi51 and not pi52 and not pi53 )
      or ( not pi45 and not pi46 and pi47 and pi48 and not pi49 and pi50 and pi51 and pi52 )
      or ( pi38 and not pi46 and pi47 and not pi48 and pi49 and not pi50 and not pi51 and pi52 )
      or ( pi43 and not pi46 and pi47 and not pi48 and not pi49 and pi50 and pi51 and not pi52 )
      or ( pi22 and pi46 and not pi47 and not pi48 and not pi49 and pi50 and pi51 and not pi52 )
      or ( pi25 and pi46 and not pi47 and not pi48 and not pi49 and pi50 and pi51 and not pi52 )
      or ( pi28 and pi46 and not pi47 and not pi48 and not pi49 and pi50 and pi51 and not pi52 )
      or ( not pi41 and not pi46 and not pi47 and not pi48 and pi49 and not pi50 and pi51 and not pi52 )
      or ( not pi26 and not pi46 and pi47 and pi48 and not pi49 and pi50 and not pi51 and not pi52 )
      or ( pi43 and not pi46 and pi47 and pi48 and not pi49 and pi50 and not pi51 and not pi52 )
      or ( not pi00 and not pi46 and pi47 and not pi48 and not pi49 and pi50 and not pi51 and not pi52 )
      or ( not pi23 and not pi46 and pi47 and not pi48 and not pi49 and pi50 and not pi51 and not pi52 )
      or ( not pi14 and not pi46 and not pi47 and not pi48 and not pi49 and pi50 and pi51 and pi53 )
      or ( not pi46 and pi47 and pi48 and pi49 and pi50 and pi51 and pi52 and pi53 )
      or ( not pi46 and pi47 and not pi48 and pi49 and pi50 and pi51 and pi52 and pi53 )
      or ( not pi03 and not pi47 and not pi48 and pi49 and pi50 and pi51 and pi52 and pi53 )
      or ( pi17 and not pi46 and not pi47 and pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( not pi46 and not pi47 and not pi48 and pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( pi46 and not pi47 and not pi48 and not pi49 and pi50 and not pi51 and pi52 and pi53 )
      or ( pi46 and not pi47 and pi48 and not pi49 and not pi50 and not pi51 and pi52 and pi53 )
      or ( pi13 and not pi46 and not pi48 and not pi49 and not pi50 and not pi51 and pi52 and pi53 )
      or ( not pi46 and not pi47 and not pi48 and pi49 and not pi50 and pi51 and not pi52 and pi53 )
      or ( pi46 and not pi47 and pi48 and not pi49 and not pi50 and pi51 and not pi52 and pi53 )
      or ( not pi46 and not pi47 and pi48 and not pi49 and not pi50 and pi51 and not pi52 and pi53 )
      or ( pi46 and not pi47 and not pi48 and not pi49 and not pi50 and pi51 and not pi52 and pi53 )
      or ( pi46 and not pi47 and not pi48 and pi49 and pi50 and not pi51 and not pi52 and pi53 )
      or ( pi46 and not pi47 and not pi48 and not pi49 and not pi50 and not pi51 and not pi52 and pi53 )
      or ( pi01 and pi26 and not pi46 and pi47 and not pi49 and pi50 and pi51 and not pi53 )
      or ( pi01 and not pi46 and pi47 and pi48 and pi49 and not pi50 and pi51 and not pi53 )
      or ( not pi43 and not pi46 and pi47 and pi48 and pi49 and not pi50 and pi51 and not pi53 )
      or ( not pi28 and not pi46 and pi47 and not pi48 and not pi49 and pi50 and not pi51 and not pi53 )
      or ( pi29 and not pi46 and not pi47 and pi48 and pi49 and pi50 and pi52 and not pi53 )
      or ( not pi46 and pi47 and pi48 and pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and not pi48 and pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( pi27 and not pi46 and pi47 and pi48 and not pi50 and pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and pi48 and pi49 and not pi50 and pi51 and pi52 and not pi53 )
      or ( pi46 and not pi47 and not pi48 and pi49 and not pi50 and pi51 and pi52 and not pi53 )
      or ( not pi46 and not pi47 and not pi48 and pi49 and not pi50 and pi51 and pi52 and not pi53 )
      or ( pi46 and not pi47 and pi48 and not pi49 and not pi50 and pi51 and pi52 and not pi53 )
      or ( not pi46 and not pi47 and pi48 and not pi49 and not pi50 and pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and not pi48 and not pi49 and not pi50 and pi51 and pi52 and not pi53 )
      or ( not pi46 and not pi47 and not pi48 and not pi49 and not pi50 and pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and pi48 and pi49 and pi50 and not pi51 and pi52 and not pi53 )
      or ( not pi08 and not pi46 and not pi48 and pi49 and pi50 and not pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and not pi48 and pi49 and pi50 and not pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and not pi48 and not pi49 and pi50 and not pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and not pi48 and pi49 and not pi50 and not pi51 and pi52 and not pi53 )
      or ( not pi46 and not pi47 and pi48 and not pi49 and not pi50 and not pi51 and pi52 and not pi53 )
      or ( pi11 and not pi46 and pi47 and not pi48 and pi49 and pi50 and not pi52 and not pi53 )
      or ( not pi35 and not pi46 and not pi48 and pi49 and pi50 and pi51 and not pi52 and not pi53 )
      or ( not pi46 and pi47 and not pi48 and not pi49 and pi50 and pi51 and not pi52 and not pi53 )
      or ( not pi46 and not pi47 and pi48 and pi49 and not pi50 and pi51 and not pi52 and not pi53 )
      or ( pi46 and not pi47 and not pi48 and pi49 and not pi50 and pi51 and not pi52 and not pi53 )
      or ( not pi46 and pi47 and not pi48 and not pi49 and not pi50 and pi51 and not pi52 and not pi53 )
      or ( not pi46 and not pi47 and not pi48 and not pi49 and not pi50 and pi51 and not pi52 and not pi53 )
      or ( not pi46 and not pi47 and pi48 and pi49 and pi50 and not pi51 and not pi52 and not pi53 )
      or ( not pi46 and pi47 and not pi48 and pi49 and pi50 and not pi51 and not pi52 and not pi53 )
      or ( pi46 and not pi47 and not pi48 and pi49 and pi50 and not pi51 and not pi52 and not pi53 )
      or ( not pi46 and pi47 and pi48 and pi49 and not pi50 and not pi51 and not pi52 and not pi53 )
      or ( not pi46 and not pi47 and pi48 and pi49 and not pi50 and not pi51 and not pi52 and not pi53 )
      or ( not pi46 and pi47 and not pi48 and pi49 and not pi50 and not pi51 and not pi52 and not pi53 )
      or ( pi46 and not pi47 and not pi48 and pi49 and not pi50 and not pi51 and not pi52 and not pi53 )
      or ( pi42 and not pi46 and not pi47 and pi48 and pi49 and pi50 and pi51 and pi52 and pi53 )
      or ( pi45 and not pi46 and pi47 and pi48 and not pi49 and pi50 and pi51 and pi52 and pi53 )
      or ( pi04 and pi46 and not pi47 and pi48 and not pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( not pi04 and pi46 and not pi47 and pi48 and not pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( not pi03 and not pi46 and not pi47 and pi48 and not pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( pi39 and pi46 and not pi47 and not pi48 and not pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( not pi16 and not pi46 and not pi47 and not pi48 and not pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( pi14 and pi46 and not pi47 and not pi48 and not pi49 and not pi50 and not pi51 and pi52 and pi53 )
      or ( pi41 and not pi46 and not pi47 and pi48 and pi49 and pi50 and pi51 and not pi52 and pi53 )
      or ( not pi43 and not pi46 and pi47 and not pi48 and pi49 and pi50 and pi51 and not pi52 and pi53 )
      or ( pi19 and not pi46 and not pi47 and pi48 and pi49 and not pi50 and pi51 and not pi52 and pi53 )
      or ( pi29 and not pi46 and not pi47 and pi48 and pi49 and pi50 and not pi51 and not pi52 and pi53 )
      or ( pi37 and not pi46 and not pi47 and not pi48 and pi49 and pi50 and not pi51 and not pi52 and pi53 )
      or ( pi41 and pi46 and not pi47 and not pi48 and not pi49 and pi50 and not pi51 and not pi52 and pi53 )
      or ( not pi14 and not pi46 and not pi47 and not pi48 and pi49 and not pi50 and not pi51 and not pi52 and pi53 )
      or ( not pi01 and not pi46 and pi47 and pi48 and not pi49 and not pi50 and not pi51 and not pi52 and pi53 )
      or ( pi38 and not pi46 and pi47 and pi48 and not pi49 and not pi50 and not pi51 and not pi52 and pi53 )
      or ( not pi43 and not pi46 and pi47 and pi48 and not pi49 and not pi50 and not pi51 and not pi52 and pi53 )
      or ( pi39 and not pi46 and not pi47 and pi48 and pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( not pi39 and not pi46 and not pi47 and pi48 and pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( pi30 and not pi46 and not pi47 and not pi48 and pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( pi03 and pi46 and not pi47 and pi48 and not pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( pi21 and pi46 and not pi47 and not pi48 and not pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( pi16 and not pi46 and not pi47 and not pi48 and not pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( not pi16 and not pi46 and not pi47 and not pi48 and not pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( not pi34 and not pi46 and not pi47 and pi48 and pi49 and not pi50 and pi51 and pi52 and not pi53 )
      or ( pi08 and not pi46 and not pi47 and not pi48 and pi49 and pi50 and not pi51 and pi52 and not pi53 )
      or ( pi20 and not pi46 and not pi47 and pi48 and pi49 and not pi50 and not pi51 and pi52 and not pi53 )
      or ( pi16 and pi46 and not pi47 and pi48 and not pi49 and not pi50 and not pi51 and pi52 and not pi53 )
      or ( not pi16 and pi46 and not pi47 and pi48 and not pi49 and not pi50 and not pi51 and pi52 and not pi53 )
      or ( not pi32 and not pi46 and not pi47 and not pi48 and not pi49 and not pi50 and not pi51 and pi52 and not pi53 )
      or ( not pi07 and not pi46 and not pi47 and pi48 and pi49 and pi50 and pi51 and not pi52 and not pi53 )
      or ( not pi11 and not pi46 and pi47 and not pi48 and pi49 and pi50 and pi51 and not pi52 and not pi53 )
      or ( pi35 and not pi46 and not pi47 and not pi48 and pi49 and pi50 and pi51 and not pi52 and not pi53 )
      or ( not pi01 and not pi46 and pi47 and pi48 and not pi49 and pi50 and pi51 and not pi52 and not pi53 )
      or ( not pi26 and not pi46 and pi47 and pi48 and not pi49 and pi50 and pi51 and not pi52 and not pi53 )
      or ( not pi25 and not pi46 and not pi47 and not pi48 and not pi49 and pi50 and pi51 and not pi52 and not pi53 )
      or ( not pi20 and not pi46 and pi47 and not pi48 and pi49 and not pi50 and pi51 and not pi52 and not pi53 )
      or ( pi40 and not pi46 and not pi47 and pi48 and not pi49 and not pi50 and pi51 and not pi52 and not pi53 )
      or ( pi04 and pi46 and not pi47 and pi48 and not pi49 and pi50 and not pi51 and not pi52 and not pi53 )
      or ( pi28 and not pi46 and pi47 and not pi48 and not pi49 and pi50 and not pi51 and not pi52 and not pi53 )
      or ( not pi25 and not pi46 and not pi47 and not pi48 and pi49 and not pi50 and not pi51 and not pi52 and not pi53 )
      or ( pi37 and not pi46 and not pi47 and pi48 and not pi49 and not pi50 and not pi51 and not pi52 and not pi53 )
      or ( not pi09 and not pi46 and pi47 and not pi48 and not pi49 and not pi50 and not pi51 and not pi52 and not pi53 )
      or ( not pi10 and not pi11 and not pi25 and pi46 and not pi47 and not pi48 and pi49 and pi50 and not pi51 and pi52 and not pi53 );
    po08 <= ( pi46 and not pi47 and not pi48 and pi50 and pi51 and not pi52 and not pi53 )
      or ( not pi46 and not pi47 and pi48 and not pi49 and pi50 and not pi51 and pi52 and pi53 )
      or ( not pi46 and not pi47 and pi48 and not pi49 and not pi50 and pi51 and not pi52 and pi53 )
      or ( not pi46 and not pi47 and not pi48 and pi49 and pi50 and not pi51 and not pi52 and pi53 )
      or ( not pi46 and pi47 and not pi48 and not pi49 and not pi50 and pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and not pi48 and pi49 and pi50 and not pi51 and pi52 and not pi53 )
      or ( not pi46 and not pi47 and pi48 and not pi49 and pi50 and pi51 and not pi52 and not pi53 )
      or ( pi41 and pi46 and not pi47 and not pi48 and not pi49 and pi50 and not pi51 and not pi52 and pi53 )
      or ( not pi41 and pi46 and not pi47 and not pi48 and not pi49 and pi50 and not pi51 and not pi52 and pi53 )
      or ( pi32 and not pi46 and not pi47 and not pi48 and not pi49 and not pi50 and not pi51 and pi52 and not pi53 )
      or ( not pi32 and not pi46 and not pi47 and not pi48 and not pi49 and not pi50 and not pi51 and pi52 and not pi53 );
    po09 <= ( not pi46 and pi47 and pi48 and pi49 and pi50 and not pi51 and pi52 and pi53 )
      or ( not pi46 and not pi47 and not pi48 and not pi49 and not pi50 and not pi51 and not pi52 and pi53 );
    po10 <= ( not pi46 and not pi47 and not pi48 and not pi49 and pi50 and not pi51 and pi52 and pi53 )
      or ( not pi46 and not pi47 and pi48 and not pi49 and not pi50 and pi51 and not pi52 and pi53 )
      or ( not pi46 and not pi47 and pi48 and not pi49 and not pi50 and pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and not pi48 and not pi49 and not pi50 and pi51 and pi52 and not pi53 )
      or ( not pi46 and not pi47 and not pi48 and not pi49 and not pi50 and pi51 and not pi52 and not pi53 );
    po11 <= ( pi46 and not pi47 and not pi48 and pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( not pi46 and not pi47 and not pi48 and not pi49 and pi50 and not pi51 and pi52 and pi53 )
      or ( not pi46 and not pi47 and pi48 and not pi49 and not pi50 and pi51 and not pi52 and pi53 )
      or ( not pi46 and not pi47 and pi48 and not pi49 and not pi50 and pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and not pi48 and not pi49 and not pi50 and pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and not pi48 and pi49 and pi50 and not pi51 and pi52 and not pi53 )
      or ( pi46 and not pi47 and not pi48 and not pi49 and pi50 and pi51 and not pi52 and not pi53 )
      or ( not pi46 and not pi47 and not pi48 and not pi49 and not pi50 and pi51 and not pi52 and not pi53 )
      or ( pi16 and not pi46 and not pi47 and not pi48 and not pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( not pi16 and not pi46 and not pi47 and not pi48 and not pi49 and pi50 and pi51 and pi52 and not pi53 );
    po12 <= ( not pi46 and pi47 and not pi48 and pi50 and pi51 and not pi52 and pi53 )
      or ( not pi46 and pi47 and pi48 and pi49 and not pi51 and not pi52 and pi53 )
      or ( not pi46 and pi47 and not pi48 and pi49 and pi50 and pi51 and pi52 and pi53 )
      or ( not pi46 and pi47 and pi48 and pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( not pi46 and pi47 and pi48 and not pi49 and not pi50 and not pi51 and pi52 and pi53 )
      or ( not pi46 and pi47 and not pi48 and pi49 and not pi50 and pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and not pi48 and pi49 and not pi50 and not pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and not pi48 and pi49 and pi50 and not pi51 and not pi52 and not pi53 )
      or ( not pi46 and pi47 and not pi48 and pi49 and not pi50 and not pi51 and not pi52 and not pi53 );
    po13 <= ( not pi46 and not pi47 and not pi48 and not pi49 and not pi50 and not pi51 and pi52 and pi53 );
    po14 <= ( not pi46 and not pi47 and pi48 and pi49 and pi50 and not pi51 and not pi52 and not pi53 );
    po15 <= ( not pi46 and pi47 and pi48 and not pi49 and not pi50 and pi51 and not pi52 )
      or ( not pi46 and pi48 and not pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( pi46 and not pi47 and not pi49 and pi50 and not pi51 and pi52 and not pi53 )
      or ( not pi04 and pi46 and not pi47 and pi48 and not pi49 and pi50 and not pi51 and not pi52 )
      or ( pi03 and not pi47 and not pi48 and pi49 and pi50 and pi51 and pi52 and pi53 )
      or ( not pi03 and not pi47 and not pi48 and pi49 and pi50 and pi51 and pi52 and pi53 )
      or ( pi46 and not pi47 and pi48 and not pi49 and not pi50 and not pi51 and not pi52 and pi53 )
      or ( not pi46 and pi47 and pi48 and pi49 and not pi50 and not pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and not pi48 and pi49 and not pi50 and not pi51 and pi52 and not pi53 )
      or ( pi04 and pi46 and not pi47 and pi48 and not pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( not pi04 and pi46 and not pi47 and pi48 and not pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( pi03 and not pi46 and not pi47 and pi48 and not pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( not pi03 and not pi46 and not pi47 and pi48 and not pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( pi04 and pi46 and not pi47 and pi48 and not pi49 and pi50 and not pi51 and not pi52 and pi53 )
      or ( pi03 and pi46 and not pi47 and pi48 and not pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( not pi03 and pi46 and not pi47 and pi48 and not pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( pi04 and pi46 and not pi47 and pi48 and not pi49 and pi50 and not pi51 and not pi52 and not pi53 )
      or ( pi37 and not pi46 and not pi47 and pi48 and not pi49 and not pi50 and not pi51 and not pi52 and not pi53 )
      or ( not pi37 and not pi46 and not pi47 and pi48 and not pi49 and not pi50 and not pi51 and not pi52 and not pi53 );
    po16 <= ( pi46 and not pi47 and not pi48 and not pi49 and pi50 and not pi51 and pi52 and pi53 )
      or ( not pi46 and not pi47 and not pi48 and not pi49 and not pi50 and not pi51 and pi52 and pi53 )
      or ( not pi46 and pi47 and not pi48 and not pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( pi46 and not pi47 and not pi48 and not pi49 and not pi50 and pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and pi48 and pi49 and pi50 and not pi51 and pi52 and not pi53 )
      or ( pi11 and not pi46 and pi47 and not pi48 and pi49 and pi50 and not pi52 and not pi53 )
      or ( not pi46 and pi47 and not pi48 and pi49 and pi50 and not pi51 and not pi52 and not pi53 )
      or ( pi43 and not pi46 and pi47 and not pi48 and pi49 and pi50 and pi51 and not pi52 and pi53 )
      or ( not pi43 and not pi46 and pi47 and not pi48 and pi49 and pi50 and pi51 and not pi52 and pi53 )
      or ( not pi11 and not pi46 and pi47 and not pi48 and pi49 and pi50 and pi51 and not pi52 and not pi53 );
    po17 <= ( pi16 and not pi46 and not pi47 and not pi48 and not pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( not pi16 and not pi46 and not pi47 and not pi48 and not pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( pi16 and not pi46 and not pi47 and not pi48 and not pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( not pi16 and not pi46 and not pi47 and not pi48 and not pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( pi16 and pi46 and not pi47 and pi48 and not pi49 and not pi50 and not pi51 and pi52 and not pi53 )
      or ( not pi16 and pi46 and not pi47 and pi48 and not pi49 and not pi50 and not pi51 and pi52 and not pi53 );
    po18 <= ( pi46 and not pi47 and not pi48 and not pi49 and pi50 and pi51 and pi52 and pi53 )
      or ( pi46 and not pi47 and not pi48 and pi49 and not pi50 and not pi51 and not pi52 and pi53 )
      or ( pi46 and not pi47 and pi48 and not pi49 and not pi50 and pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and not pi48 and not pi49 and pi50 and not pi51 and pi52 and not pi53 )
      or ( pi46 and not pi47 and pi48 and not pi49 and pi50 and pi51 and not pi52 and not pi53 )
      or ( not pi46 and pi47 and not pi48 and not pi49 and pi50 and pi51 and not pi52 and not pi53 )
      or ( pi23 and not pi46 and pi47 and pi48 and not pi49 and pi50 and not pi51 and not pi52 and not pi53 );
    po19 <= ( not pi46 and pi47 and pi48 and not pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( not pi46 and not pi47 and not pi48 and not pi49 and pi50 and pi51 and not pi52 and pi53 )
      or ( not pi46 and pi47 and pi48 and not pi49 and pi50 and not pi51 and not pi52 and pi53 )
      or ( not pi46 and not pi47 and not pi48 and pi49 and not pi50 and not pi51 and not pi52 and pi53 )
      or ( not pi46 and not pi47 and not pi48 and not pi49 and not pi50 and pi51 and pi52 and not pi53 )
      or ( not pi46 and not pi47 and not pi48 and not pi49 and pi50 and not pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and not pi48 and not pi49 and pi50 and pi51 and not pi52 and not pi53 )
      or ( pi46 and not pi47 and not pi48 and pi49 and not pi50 and pi51 and not pi52 and not pi53 )
      or ( pi10 and pi46 and not pi47 and not pi48 and pi49 and pi50 and not pi51 and pi52 and not pi53 )
      or ( pi11 and pi46 and not pi47 and not pi48 and pi49 and pi50 and not pi51 and pi52 and not pi53 )
      or ( pi25 and pi46 and not pi47 and not pi48 and pi49 and pi50 and not pi51 and pi52 and not pi53 )
      or ( not pi10 and not pi11 and not pi25 and pi46 and not pi47 and not pi48 and pi49 and pi50 and not pi51 and pi52 and not pi53 );
    po20 <= ( pi19 and not pi46 and not pi47 and pi48 and pi49 and not pi50 and pi51 and not pi52 and pi53 )
      or ( not pi19 and not pi46 and not pi47 and pi48 and pi49 and not pi50 and pi51 and not pi52 and pi53 )
      or ( pi34 and not pi46 and not pi47 and pi48 and pi49 and not pi50 and pi51 and pi52 and not pi53 )
      or ( not pi34 and not pi46 and not pi47 and pi48 and pi49 and not pi50 and pi51 and pi52 and not pi53 );
    po21 <= ( pi46 and not pi47 and not pi48 and not pi49 and not pi50 and pi51 and not pi52 and pi53 )
      or ( not pi46 and pi47 and pi48 and pi49 and pi50 and pi51 and pi52 and not pi53 );
    po22 <= ( not pi46 and pi47 and pi48 and pi49 and not pi50 and not pi51 and pi52 and pi53 )
      or ( pi46 and not pi47 and not pi48 and pi49 and pi50 and not pi51 and not pi52 and not pi53 )
      or ( pi01 and not pi46 and pi47 and not pi48 and pi49 and pi50 and not pi51 and pi52 and pi53 )
      or ( not pi01 and not pi46 and pi47 and not pi48 and pi49 and pi50 and not pi51 and pi52 and pi53 )
      or ( pi19 and not pi46 and not pi47 and pi48 and pi49 and not pi50 and pi51 and not pi52 and pi53 )
      or ( not pi19 and not pi46 and not pi47 and pi48 and pi49 and not pi50 and pi51 and not pi52 and pi53 )
      or ( pi25 and not pi46 and not pi47 and not pi48 and not pi49 and pi50 and pi51 and not pi52 and not pi53 )
      or ( not pi25 and not pi46 and not pi47 and not pi48 and not pi49 and pi50 and pi51 and not pi52 and not pi53 )
      or ( pi25 and not pi46 and not pi47 and not pi48 and pi49 and not pi50 and not pi51 and not pi52 and not pi53 )
      or ( not pi25 and not pi46 and not pi47 and not pi48 and pi49 and not pi50 and not pi51 and not pi52 and not pi53 );
    po23 <= ( not pi46 and pi47 and not pi49 and pi50 and pi51 and pi52 and not pi53 );
    po24 <= ( pi46 and not pi47 and not pi48 and pi49 and not pi50 and pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and not pi48 and pi49 and pi50 and not pi51 and pi52 and not pi53 );
    po25 <= ( not pi46 and not pi47 and pi48 and pi49 and not pi50 and not pi51 and pi52 and pi53 )
      or ( not pi46 and not pi47 and pi48 and pi49 and not pi50 and pi51 and not pi52 and not pi53 )
      or ( pi19 and not pi46 and not pi47 and pi48 and pi49 and not pi50 and pi51 and not pi52 and pi53 )
      or ( not pi19 and not pi46 and not pi47 and pi48 and pi49 and not pi50 and pi51 and not pi52 and pi53 );
    po26 <= ( not pi46 and pi47 and pi48 and not pi49 and pi50 and not pi51 and pi52 and pi53 )
      or ( not pi46 and pi47 and not pi48 and not pi49 and pi50 and not pi51 and pi52 and pi53 )
      or ( pi46 and not pi47 and not pi48 and pi49 and not pi50 and not pi51 and pi52 and not pi53 );
    po27 <= ( not pi46 and not pi47 and pi48 and not pi49 and not pi50 and not pi51 and not pi52 and pi53 );
    po28 <= ( not pi46 and pi47 and not pi48 and pi49 and pi50 and pi51 and pi52 and pi53 )
      or ( not pi46 and pi47 and not pi48 and not pi49 and pi50 and pi51 and pi52 and pi53 )
      or ( not pi46 and pi47 and pi48 and pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( not pi46 and pi47 and not pi48 and pi49 and not pi50 and pi51 and not pi52 and pi53 )
      or ( not pi46 and pi47 and not pi48 and pi49 and pi50 and pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and pi48 and pi49 and not pi50 and pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and not pi48 and pi49 and not pi50 and pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and not pi48 and pi49 and not pi50 and not pi51 and not pi52 and not pi53 );
    po29 <= ( not pi46 and pi47 and pi48 and pi49 and pi50 and pi51 and not pi52 and pi53 );
    po30 <= ( not pi46 and not pi47 and not pi48 and not pi49 and pi50 and not pi51 and not pi53 )
      or ( pi24 and pi46 and not pi47 and not pi48 and pi49 and not pi50 and pi51 and not pi52 )
      or ( pi46 and not pi47 and not pi48 and pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( pi46 and not pi47 and not pi48 and pi49 and pi50 and not pi51 and pi52 and pi53 )
      or ( pi46 and not pi47 and not pi48 and pi49 and not pi50 and not pi51 and pi52 and pi53 )
      or ( not pi46 and not pi47 and not pi48 and not pi49 and pi50 and not pi51 and not pi52 and pi53 )
      or ( not pi46 and not pi47 and not pi48 and pi49 and not pi50 and not pi51 and not pi52 and pi53 )
      or ( pi46 and not pi47 and not pi48 and pi49 and not pi50 and pi51 and pi52 and not pi53 )
      or ( pi46 and not pi47 and pi48 and not pi49 and not pi50 and pi51 and pi52 and not pi53 )
      or ( pi46 and not pi47 and not pi48 and pi49 and not pi50 and pi51 and not pi52 and not pi53 )
      or ( pi46 and not pi47 and not pi48 and pi49 and pi50 and not pi51 and not pi52 and not pi53 )
      or ( not pi24 and pi46 and not pi47 and not pi48 and pi49 and not pi50 and pi51 and not pi52 and pi53 )
      or ( pi25 and not pi46 and not pi47 and not pi48 and pi49 and not pi50 and not pi51 and not pi52 and not pi53 )
      or ( not pi25 and not pi46 and not pi47 and not pi48 and pi49 and not pi50 and not pi51 and not pi52 and not pi53 );
    po31 <= ( not pi46 and not pi47 and not pi48 and pi49 and not pi50 and pi51 and pi52 and not pi53 );
    po32 <= ( pi46 and not pi47 and not pi48 and pi49 and pi50 and pi51 and pi52 and pi53 )
      or ( not pi46 and not pi47 and pi48 and pi49 and not pi50 and not pi51 and not pi52 and not pi53 );
    po33 <= ( not pi46 and pi47 and pi48 and pi49 and pi50 and pi51 and not pi52 and not pi53 );
    po34 <= ( not pi46 and pi47 and pi49 and not pi50 and not pi51 and not pi52 and pi53 )
      or ( not pi46 and pi47 and not pi48 and pi49 and not pi50 and not pi51 and pi52 and not pi53 )
      or ( not pi46 and pi47 and pi48 and pi49 and not pi50 and not pi51 and not pi52 and not pi53 );
    po35 <= ( not pi46 and not pi47 and pi48 and pi49 and pi50 and not pi51 and pi52 and pi53 )
      or ( not pi46 and pi47 and not pi48 and pi49 and pi50 and not pi51 and not pi52 and pi53 )
      or ( pi46 and not pi47 and not pi48 and pi49 and not pi50 and pi51 and pi52 and not pi53 )
      or ( not pi46 and not pi47 and pi48 and not pi49 and pi50 and not pi51 and pi52 and not pi53 )
      or ( not pi46 and not pi47 and pi48 and not pi49 and not pi50 and not pi51 and pi52 and not pi53 )
      or ( not pi46 and not pi47 and pi48 and not pi49 and pi50 and pi51 and not pi52 and not pi53 );
    po36 <= ( not pi46 and not pi47 and pi48 and pi49 and not pi50 and not pi51 and pi52 and pi53 );
    po37 <= ( not pi46 and not pi47 and pi48 and pi49 and not pi50 and not pi51 and not pi52 and not pi53 );
    po38 <= ( not pi46 and not pi47 and pi48 and pi49 and not pi50 and pi51 and not pi52 and not pi53 );
    po39 <= ( not pi46 and not pi47 and pi48 and not pi49 and not pi50 and pi51 and not pi52 and pi53 )
      or ( not pi24 and not pi46 and not pi47 and pi48 and not pi49 and pi50 and not pi51 and not pi52 and pi53 );
    po40 <= ( not pi46 and pi47 and pi48 and pi49 and pi50 and not pi51 and not pi52 )
      or ( not pi46 and pi47 and not pi48 and pi50 and pi51 and not pi52 and pi53 )
      or ( pi46 and not pi47 and pi48 and not pi49 and not pi50 and not pi51 and not pi52 and pi53 )
      or ( pi11 and not pi46 and pi47 and not pi48 and pi49 and pi50 and not pi52 and not pi53 )
      or ( not pi46 and pi47 and not pi48 and not pi49 and pi50 and pi51 and not pi52 and not pi53 )
      or ( not pi46 and pi47 and not pi48 and pi49 and pi50 and not pi51 and not pi52 and not pi53 )
      or ( not pi11 and not pi46 and pi47 and not pi48 and pi49 and pi50 and pi51 and not pi52 and not pi53 );
    po41 <= ( not pi46 and pi47 and pi48 and not pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( not pi46 and pi47 and not pi48 and not pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( pi46 and not pi47 and not pi48 and pi49 and not pi50 and not pi51 and not pi52 and not pi53 );
    po42 <= ( not pi46 and not pi47 and not pi48 and pi49 and not pi50 and pi51 and pi52 and pi53 );
    po43 <= ( not pi46 and not pi47 and not pi48 and pi49 and not pi50 and pi51 and not pi52 and pi53 );
    po44 <= ( not pi46 and not pi47 and pi48 and not pi49 and pi50 and pi51 and not pi52 )
      or ( not pi46 and not pi47 and pi48 and not pi49 and pi50 and not pi51 and pi52 and pi53 )
      or ( not pi46 and not pi47 and pi48 and not pi49 and not pi50 and not pi51 and pi52 and pi53 )
      or ( not pi46 and not pi47 and pi48 and not pi49 and pi50 and not pi51 and pi52 and not pi53 );
    po45 <= ( not pi46 and not pi47 and not pi48 and pi49 and not pi50 and pi51 and pi52 and not pi53 );
    po46 <= ( not pi46 and pi47 and pi48 and pi49 and pi50 and pi51 and pi52 and pi53 );
    po47 <= ( pi40 and not pi46 and not pi47 and pi48 and not pi49 and not pi50 and pi51 and not pi52 and not pi53 )
      or ( not pi40 and not pi46 and not pi47 and pi48 and not pi49 and not pi50 and pi51 and not pi52 and not pi53 );
    po48 <= ( pi27 and not pi43 and not pi46 and pi47 and not pi48 and not pi49 and not pi50 and pi51 and not pi52 and not pi53 );
    po49 <= ( not pi46 and pi47 and not pi48 and not pi49 and not pi50 and pi51 and pi52 and pi53 )
      or ( pi46 and not pi47 and pi48 and not pi49 and pi50 and not pi51 and pi52 and pi53 )
      or ( not pi46 and pi47 and not pi48 and not pi49 and pi50 and not pi51 and pi52 and pi53 )
      or ( pi46 and not pi47 and not pi48 and pi49 and not pi50 and not pi51 and pi52 and pi53 )
      or ( not pi46 and not pi47 and not pi48 and not pi49 and not pi50 and pi51 and not pi52 and pi53 )
      or ( pi46 and not pi47 and not pi48 and pi49 and not pi50 and pi51 and pi52 and not pi53 );
end top_behav;
