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

architecture top_behav of top is
begin
    po00 <= ( not pi00 and pi15 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi04 and pi15 and pi16 and pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and pi04 and pi15 and not pi16 and pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and not pi04 and pi15 and not pi16 and pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and pi04 and pi15 and pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and pi04 and pi15 and not pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and not pi04 and pi15 and not pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and pi04 and pi15 and pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and not pi04 and pi15 and pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and pi04 and pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and not pi04 and pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and pi04 and pi15 and pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and not pi04 and pi15 and pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and pi04 and pi15 and not pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and not pi04 and pi15 and not pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and pi04 and pi15 and pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi04 and pi15 and pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and pi04 and pi15 and not pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi04 and pi15 and not pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and pi04 and pi15 and pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi04 and pi15 and pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and pi04 and pi15 and not pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi04 and pi15 and not pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and pi04 and pi15 and pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi04 and pi15 and pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and pi04 and pi15 and not pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi04 and pi15 and not pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and pi04 and pi15 and pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi04 and pi15 and pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and pi04 and pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi04 and pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and pi04 and pi15 and pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and pi15 and pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and pi04 and pi15 and not pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and pi15 and not pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and pi04 and pi15 and pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and pi15 and pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and pi04 and pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and pi04 and pi15 and pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and pi15 and pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and pi04 and pi15 and not pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and pi15 and not pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and pi04 and pi15 and pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and pi15 and pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and pi04 and pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and pi04 and pi15 and pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi04 and pi15 and pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi04 and pi15 and not pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi04 and pi15 and not pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi04 and pi15 and pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi04 and pi15 and pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi04 and pi15 and not pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi04 and pi15 and not pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi04 and pi15 and pi16 and pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi04 and pi15 and pi16 and pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi04 and pi15 and not pi16 and pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi04 and pi15 and not pi16 and pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi04 and pi15 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi04 and pi15 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi03 and not pi04 and pi06 and pi07 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and pi03 and not pi04 and pi06 and not pi07 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and pi20 );
    po01 <= ( not pi00 and pi04 and pi15 and pi16 and pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and pi04 and not pi15 and pi16 and pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and pi04 and pi15 and pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and pi04 and not pi15 and pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and not pi04 and pi15 and not pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and pi04 and pi15 and pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and not pi04 and pi15 and pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and pi04 and not pi15 and pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and not pi04 and not pi15 and pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and pi04 and pi15 and pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and not pi04 and pi15 and pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and pi04 and not pi15 and pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and not pi04 and not pi15 and pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and pi04 and pi15 and pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi04 and pi15 and pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and pi04 and not pi15 and pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi04 and not pi15 and pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and pi04 and pi15 and pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi04 and pi15 and pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and pi04 and not pi15 and pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi04 and not pi15 and pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and pi04 and pi15 and pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi04 and pi15 and pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and pi04 and not pi15 and pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi04 and not pi15 and pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and pi04 and pi15 and pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi04 and pi15 and pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and pi04 and not pi15 and pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi04 and not pi15 and pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and pi04 and pi15 and pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and pi15 and pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and pi04 and not pi15 and pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and not pi15 and pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and pi04 and pi15 and pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and pi15 and pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and pi04 and not pi15 and pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and not pi15 and pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and pi04 and pi15 and pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and pi15 and pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and pi04 and not pi15 and pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and not pi15 and pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and pi04 and pi15 and pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and pi15 and pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and pi04 and not pi15 and pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and not pi15 and pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and pi04 and pi15 and pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi04 and pi15 and pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi04 and not pi15 and pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi04 and not pi15 and pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi04 and pi15 and pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi04 and pi15 and pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi04 and not pi15 and pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi04 and not pi15 and pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi04 and pi15 and pi16 and pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi04 and pi15 and pi16 and pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi04 and not pi15 and pi16 and pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi04 and not pi15 and pi16 and pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi04 and pi15 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi04 and pi15 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi04 and not pi15 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi04 and not pi15 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi03 and not pi04 and not pi06 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and pi03 and not pi04 and pi06 and not pi07 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and pi20 );
    po02 <= ( not pi00 and pi04 and pi15 and pi16 and pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and pi04 and not pi15 and pi16 and pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and pi04 and pi15 and not pi16 and pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and pi04 and not pi15 and not pi16 and pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and pi04 and pi15 and pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and not pi04 and pi15 and pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and pi04 and not pi15 and pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and not pi04 and not pi15 and pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and pi04 and pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and not pi04 and pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and pi04 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and not pi04 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and pi04 and pi15 and pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi04 and pi15 and pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and pi04 and not pi15 and pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi04 and not pi15 and pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and pi04 and pi15 and not pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi04 and pi15 and not pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and pi04 and not pi15 and not pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi04 and not pi15 and not pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and pi04 and pi15 and pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi04 and pi15 and pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and pi04 and not pi15 and pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi04 and not pi15 and pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and pi04 and pi15 and not pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi04 and pi15 and not pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and pi04 and not pi15 and not pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi04 and not pi15 and not pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and pi04 and pi15 and pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and pi15 and pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and pi04 and not pi15 and pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and not pi15 and pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and pi04 and pi15 and not pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and pi15 and not pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and pi04 and not pi15 and not pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and not pi15 and not pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and pi04 and pi15 and pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and pi15 and pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and pi04 and not pi15 and pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and not pi15 and pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and pi04 and pi15 and not pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and pi15 and not pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and pi04 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and pi04 and pi15 and pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi04 and pi15 and pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi04 and not pi15 and pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi04 and not pi15 and pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi04 and pi15 and not pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi04 and pi15 and not pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi04 and not pi15 and not pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi04 and not pi15 and not pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi04 and pi15 and pi16 and pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi04 and pi15 and pi16 and pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi04 and not pi15 and pi16 and pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi04 and not pi15 and pi16 and pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi04 and pi15 and not pi16 and pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi04 and pi15 and not pi16 and pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi04 and not pi15 and not pi16 and pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi04 and not pi15 and not pi16 and pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi03 and not pi04 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and pi03 and not pi04 and pi06 and pi07 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and pi03 and not pi04 and pi06 and not pi07 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and pi20 );
    po03 <= ( not pi00 and pi04 and pi15 and pi16 and pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and pi04 and not pi15 and pi16 and pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and pi04 and pi15 and not pi16 and pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and pi04 and not pi15 and not pi16 and pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and pi04 and pi15 and pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and pi04 and not pi15 and pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and pi04 and pi15 and not pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and pi04 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and not pi04 and pi15 and pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and not pi04 and not pi15 and pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and not pi04 and pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and not pi04 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and not pi04 and pi15 and pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and not pi04 and not pi15 and pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and not pi04 and pi15 and not pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and not pi04 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and pi04 and pi15 and pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi04 and pi15 and pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and pi04 and not pi15 and pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi04 and not pi15 and pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and pi04 and pi15 and not pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi04 and pi15 and not pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and pi04 and not pi15 and not pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi04 and not pi15 and not pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and pi04 and pi15 and pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi04 and pi15 and pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and pi04 and not pi15 and pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi04 and not pi15 and pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and pi04 and pi15 and not pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi04 and pi15 and not pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and pi04 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi04 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and pi04 and pi15 and pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and pi15 and pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and pi04 and not pi15 and pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and not pi15 and pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and pi04 and pi15 and not pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and pi15 and not pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and pi04 and not pi15 and not pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and not pi15 and not pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and pi04 and pi15 and pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and pi15 and pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and pi04 and not pi15 and pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and not pi15 and pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and pi04 and pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and pi04 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and pi04 and pi15 and pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi04 and pi15 and pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi04 and not pi15 and pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi04 and not pi15 and pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi04 and pi15 and not pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi04 and pi15 and not pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi04 and not pi15 and not pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi04 and not pi15 and not pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi04 and pi15 and pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi04 and pi15 and pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi04 and not pi15 and pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi04 and not pi15 and pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi04 and pi15 and not pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi04 and pi15 and not pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi04 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi04 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and not pi20 );
    po04 <= ( not pi00 and pi04 and pi15 and pi16 and pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and pi04 and not pi15 and pi16 and pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and pi04 and pi15 and not pi16 and pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and pi04 and not pi15 and not pi16 and pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and pi04 and pi15 and pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and pi04 and not pi15 and pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and pi04 and pi15 and not pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and pi04 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and pi04 and pi15 and pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and pi04 and not pi15 and pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and pi04 and pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and pi04 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and pi04 and pi15 and pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and pi04 and not pi15 and pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and pi04 and pi15 and not pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and pi04 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and not pi04 and pi15 and pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi04 and not pi15 and pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi04 and pi15 and not pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi04 and not pi15 and not pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi04 and pi15 and pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi04 and not pi15 and pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi04 and pi15 and not pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi04 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi04 and pi15 and pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi04 and not pi15 and pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi04 and pi15 and not pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi04 and not pi15 and not pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi04 and pi15 and pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi04 and not pi15 and pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi04 and pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi04 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and pi04 and pi15 and pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and pi15 and pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and pi04 and not pi15 and pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and not pi15 and pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and pi04 and pi15 and not pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and pi15 and not pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and pi04 and not pi15 and not pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and not pi15 and not pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and pi04 and pi15 and pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and pi15 and pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and pi04 and not pi15 and pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and not pi15 and pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and pi04 and pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and pi04 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and pi04 and pi15 and pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and pi15 and pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and pi04 and not pi15 and pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and not pi15 and pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and pi04 and pi15 and not pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and pi15 and not pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and pi04 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and pi04 and pi15 and pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and pi15 and pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and pi04 and not pi15 and pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and not pi15 and pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and pi04 and pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and pi04 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi20 );
    po05 <= ( not pi00 and pi15 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi04 and pi15 and pi16 and pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and pi04 and not pi15 and pi16 and pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and pi04 and pi15 and not pi16 and pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and pi04 and not pi15 and not pi16 and pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and pi04 and pi15 and pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and pi04 and not pi15 and pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and pi04 and pi15 and not pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and pi04 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and pi04 and pi15 and pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and pi04 and not pi15 and pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and pi04 and pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and pi04 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and pi04 and pi15 and pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and pi04 and not pi15 and pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and pi04 and pi15 and not pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and pi04 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and pi04 and pi15 and pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and pi04 and not pi15 and pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and pi04 and pi15 and not pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and pi04 and not pi15 and not pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and pi04 and pi15 and pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and pi04 and not pi15 and pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and pi04 and pi15 and not pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and pi04 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and pi04 and pi15 and pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and pi04 and not pi15 and pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and pi04 and pi15 and not pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and pi04 and not pi15 and not pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and pi04 and pi15 and pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and pi04 and not pi15 and pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and pi04 and pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and pi04 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi04 and pi15 and pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and not pi15 and pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and pi15 and not pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and not pi15 and not pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and pi15 and pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and not pi15 and pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and pi15 and pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and not pi15 and pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and pi15 and not pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and pi15 and pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and not pi15 and pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi04 and pi15 and pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi04 and not pi15 and pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi04 and pi15 and not pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi04 and not pi15 and not pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi04 and pi15 and pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi04 and not pi15 and pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi04 and pi15 and not pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi04 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi04 and pi15 and pi16 and pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi04 and not pi15 and pi16 and pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi04 and pi15 and not pi16 and pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi04 and not pi15 and not pi16 and pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi04 and pi15 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi04 and not pi15 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 );
    po06 <= ( not pi00 and pi03 and not pi15 and pi16 and pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and pi03 and pi15 and not pi16 and pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and pi03 and not pi15 and not pi16 and pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and pi03 and pi15 and not pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and pi03 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and pi03 and pi15 and pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and pi03 and not pi15 and pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and pi03 and pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and pi03 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and pi03 and pi15 and pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and pi03 and not pi15 and pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and pi03 and pi15 and not pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and pi03 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and pi03 and pi15 and pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and pi03 and not pi15 and pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and pi03 and pi15 and not pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and pi03 and not pi15 and not pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and pi03 and pi15 and pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and pi03 and not pi15 and pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and pi03 and pi15 and not pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and pi03 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and pi03 and pi15 and pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and pi03 and not pi15 and pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and pi03 and pi15 and not pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and pi03 and not pi15 and not pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and pi03 and pi15 and pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and pi03 and not pi15 and pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and pi03 and pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and pi03 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and pi03 and pi15 and pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and pi03 and not pi15 and pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and pi03 and pi15 and not pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and pi03 and not pi15 and not pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and pi03 and pi15 and pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and pi03 and not pi15 and pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and pi03 and pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and pi03 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and pi03 and pi15 and pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and pi03 and not pi15 and pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and pi03 and pi15 and not pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and pi03 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and pi03 and pi15 and pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and pi03 and not pi15 and pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and pi03 and pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and pi03 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and pi03 and pi15 and pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi03 and not pi15 and pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi03 and pi15 and not pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi03 and not pi15 and not pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi03 and pi15 and pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi03 and not pi15 and pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi03 and pi15 and not pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi03 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi03 and pi15 and pi16 and pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi03 and not pi15 and pi16 and pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi03 and pi15 and not pi16 and pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi03 and not pi15 and not pi16 and pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi03 and pi15 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi03 and not pi15 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi03 and pi15 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi03 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi01 and pi02 and not pi15 and pi16 and pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and not pi01 and pi02 and not pi15 and not pi16 and pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and not pi01 and pi02 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and not pi01 and pi02 and not pi15 and pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and not pi01 and pi02 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and not pi01 and pi02 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and not pi01 and pi02 and not pi15 and pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi01 and pi02 and not pi15 and not pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi01 and pi02 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi01 and pi02 and not pi15 and pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi01 and pi02 and not pi15 and not pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi01 and pi02 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi01 and pi02 and not pi15 and pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi01 and pi02 and not pi15 and not pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and pi01 and pi02 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi01 and pi02 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi01 and pi02 and not pi15 and pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi01 and pi02 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi01 and pi02 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi01 and pi02 and not pi15 and pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi01 and pi02 and not pi15 and not pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi01 and pi02 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi01 and pi02 and not pi15 and pi16 and pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi01 and pi02 and not pi15 and not pi16 and pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi01 and pi02 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 );
    po07 <= ( pi00 and pi15 and not pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and pi15 and not pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( pi00 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( pi00 and pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( pi00 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( pi00 and pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( pi00 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( pi00 and pi15 and not pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi15 and not pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( pi00 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( pi00 and pi15 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi15 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 )
      or ( pi00 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi08 and not pi09 and pi15 and pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi08 and not pi09 and pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi08 and not pi09 and pi15 and pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi08 and not pi09 and not pi15 and pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi08 and not pi09 and pi15 and pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi08 and not pi09 and pi15 and not pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi08 and not pi09 and pi15 and pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi08 and not pi09 and not pi15 and pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi08 and not pi09 and pi15 and pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi08 and not pi09 and pi15 and not pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi08 and not pi09 and pi15 and pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi08 and not pi09 and not pi15 and pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi08 and not pi09 and pi15 and pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi08 and not pi09 and pi15 and not pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi08 and not pi09 and pi15 and pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi08 and not pi09 and not pi15 and pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi08 and not pi09 and pi15 and pi16 and pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi08 and not pi09 and pi15 and not pi16 and pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi08 and not pi09 and pi15 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi08 and not pi09 and not pi15 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 );
    po08 <= ( pi00 and pi15 and not pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and pi15 and not pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( pi00 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( pi00 and pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( pi00 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( pi00 and pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( pi00 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( pi00 and pi15 and not pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi15 and not pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( pi00 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( pi00 and pi15 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi15 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 )
      or ( pi00 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi08 and pi09 and pi15 and pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi08 and pi09 and pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi08 and pi09 and pi15 and pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi08 and pi09 and not pi15 and pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi08 and pi09 and pi15 and pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi08 and pi09 and pi15 and not pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi08 and pi09 and pi15 and pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi08 and pi09 and not pi15 and pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi08 and pi09 and pi15 and pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi08 and pi09 and pi15 and not pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi08 and pi09 and pi15 and pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi08 and pi09 and not pi15 and pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi08 and pi09 and pi15 and pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi08 and pi09 and pi15 and not pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi08 and pi09 and pi15 and pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi08 and pi09 and not pi15 and pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi08 and pi09 and pi15 and pi16 and pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi08 and pi09 and pi15 and not pi16 and pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi08 and pi09 and pi15 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi08 and pi09 and not pi15 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 );
    po09 <= ( pi00 and pi15 and not pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and pi15 and not pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( pi00 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( pi00 and pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( pi00 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( pi00 and pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( pi00 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( pi00 and pi15 and not pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi15 and not pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( pi00 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( pi00 and pi15 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi15 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 )
      or ( pi00 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 )
      or ( pi08 and not pi09 and pi15 and pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( pi08 and not pi09 and pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( pi08 and not pi09 and pi15 and pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( pi08 and not pi09 and not pi15 and pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( pi08 and not pi09 and pi15 and pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( pi08 and not pi09 and pi15 and not pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( pi08 and not pi09 and pi15 and pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( pi08 and not pi09 and not pi15 and pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( pi08 and not pi09 and pi15 and pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( pi08 and not pi09 and pi15 and not pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( pi08 and not pi09 and pi15 and pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( pi08 and not pi09 and not pi15 and pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( pi08 and not pi09 and pi15 and pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( pi08 and not pi09 and pi15 and not pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( pi08 and not pi09 and pi15 and pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( pi08 and not pi09 and not pi15 and pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( pi08 and not pi09 and pi15 and pi16 and pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and pi17 and not pi18 and not pi19 and not pi20 )
      or ( pi08 and not pi09 and pi15 and not pi16 and pi17 and not pi18 and not pi19 and not pi20 )
      or ( pi08 and not pi09 and pi15 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 )
      or ( pi08 and not pi09 and not pi15 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 );
    po10 <= ( pi00 and pi15 and not pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and pi15 and not pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( pi00 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( pi00 and pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( pi00 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( pi00 and pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( pi00 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( pi00 and pi15 and not pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi15 and not pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( pi00 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( pi00 and pi15 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi15 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 )
      or ( pi00 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 )
      or ( pi08 and pi09 and pi15 and pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( pi08 and pi09 and pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( pi08 and pi09 and pi15 and pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( pi08 and pi09 and not pi15 and pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( pi08 and pi09 and pi15 and pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( pi08 and pi09 and pi15 and not pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( pi08 and pi09 and pi15 and pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( pi08 and pi09 and not pi15 and pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( pi08 and pi09 and pi15 and pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( pi08 and pi09 and pi15 and not pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( pi08 and pi09 and pi15 and pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( pi08 and pi09 and not pi15 and pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( pi08 and pi09 and pi15 and pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( pi08 and pi09 and pi15 and not pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( pi08 and pi09 and pi15 and pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( pi08 and pi09 and not pi15 and pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( pi08 and pi09 and pi15 and pi16 and pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and pi17 and not pi18 and not pi19 and not pi20 )
      or ( pi08 and pi09 and pi15 and not pi16 and pi17 and not pi18 and not pi19 and not pi20 )
      or ( pi08 and pi09 and pi15 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 )
      or ( pi08 and pi09 and not pi15 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 );
    po11 <= ( pi00 and pi15 and pi16 and pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and pi15 and pi16 and pi17 and pi18 and pi19 and pi20 )
      or ( pi00 and not pi15 and pi16 and pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and not pi15 and pi16 and pi17 and pi18 and pi19 and pi20 )
      or ( pi00 and pi15 and not pi16 and pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and pi15 and not pi16 and pi17 and pi18 and pi19 and pi20 )
      or ( pi00 and not pi15 and not pi16 and pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and not pi15 and not pi16 and pi17 and pi18 and pi19 and pi20 )
      or ( pi00 and pi15 and pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and pi15 and pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( pi00 and not pi15 and pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and not pi15 and pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( pi00 and pi15 and not pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and pi15 and not pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( pi00 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( pi00 and pi15 and pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and pi15 and pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( pi00 and not pi15 and pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and not pi15 and pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( pi00 and pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( pi00 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( pi00 and pi15 and pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and pi15 and pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( pi00 and not pi15 and pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and not pi15 and pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( pi00 and pi15 and not pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and pi15 and not pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( pi00 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( pi00 and pi15 and pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and pi15 and pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( pi00 and not pi15 and pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi15 and pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( pi00 and pi15 and not pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and pi15 and not pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( pi00 and not pi15 and not pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi15 and not pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( pi00 and pi15 and pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and pi15 and pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( pi00 and not pi15 and pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi15 and pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( pi00 and pi15 and pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and pi15 and pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( pi00 and not pi15 and pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi15 and pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( pi00 and pi15 and not pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and pi15 and not pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( pi00 and not pi15 and not pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi15 and not pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( pi00 and pi15 and pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and pi15 and pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( pi00 and not pi15 and pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi15 and pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( pi00 and pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( pi00 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( pi00 and pi15 and pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and pi15 and pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( pi00 and not pi15 and pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi15 and pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( pi00 and pi15 and not pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and pi15 and not pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( pi00 and not pi15 and not pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi15 and not pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( pi00 and pi15 and pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and pi15 and pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( pi00 and not pi15 and pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi15 and pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( pi00 and pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( pi00 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( pi00 and pi15 and pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and pi15 and pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( pi00 and not pi15 and pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi15 and pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( pi00 and pi15 and not pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and pi15 and not pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( pi00 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( pi00 and pi15 and pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and pi15 and pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( pi00 and not pi15 and pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi15 and pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( pi00 and pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( pi00 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( pi00 and pi15 and pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi15 and pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( pi00 and not pi15 and pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi15 and pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( pi00 and pi15 and not pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi15 and not pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( pi00 and not pi15 and not pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi15 and not pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( pi00 and pi15 and pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi15 and pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( pi00 and not pi15 and pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi15 and pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( pi00 and pi15 and not pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi15 and not pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( pi00 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( pi00 and pi15 and pi16 and pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi15 and pi16 and pi17 and not pi18 and not pi19 and not pi20 )
      or ( pi00 and not pi15 and pi16 and pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi15 and pi16 and pi17 and not pi18 and not pi19 and not pi20 )
      or ( pi00 and pi15 and not pi16 and pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi15 and not pi16 and pi17 and not pi18 and not pi19 and not pi20 )
      or ( pi00 and not pi15 and not pi16 and pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi15 and not pi16 and pi17 and not pi18 and not pi19 and not pi20 )
      or ( pi00 and pi15 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi15 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 )
      or ( pi00 and not pi15 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi15 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 )
      or ( pi00 and pi15 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi15 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 )
      or ( pi00 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi15 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 );
    po12 <= ( pi00 and pi15 and not pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and pi15 and not pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( pi00 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( pi00 and pi15 and not pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and pi15 and not pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( pi00 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( pi00 and pi15 and not pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and pi15 and not pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( pi00 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( pi00 and pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( pi00 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( pi00 and pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( pi00 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( pi00 and pi15 and not pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi15 and not pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( pi00 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi10 and not pi11 and pi15 and pi16 and pi17 and pi18 and pi19 and pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and pi17 and pi18 and pi19 and pi20 )
      or ( not pi10 and not pi11 and pi15 and not pi16 and pi17 and pi18 and pi19 and pi20 )
      or ( not pi10 and not pi11 and pi15 and pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( not pi10 and not pi11 and not pi15 and pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( not pi10 and not pi11 and pi15 and pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi10 and not pi11 and pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi10 and not pi11 and pi15 and pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi10 and not pi11 and not pi15 and pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi10 and not pi11 and pi15 and pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( not pi10 and not pi11 and pi15 and not pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( not pi10 and not pi11 and pi15 and pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( not pi10 and not pi11 and not pi15 and pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( not pi10 and not pi11 and pi15 and pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( not pi10 and not pi11 and pi15 and not pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( not pi10 and not pi11 and pi15 and pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( not pi10 and not pi11 and not pi15 and pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( not pi10 and not pi11 and pi15 and pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi10 and not pi11 and pi15 and not pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi10 and not pi11 and pi15 and pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi10 and not pi11 and not pi15 and pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi10 and not pi11 and pi15 and pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi10 and not pi11 and pi15 and not pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi10 and not pi11 and pi15 and pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi10 and not pi11 and not pi15 and pi16 and not pi17 and pi18 and not pi19 and not pi20 );
    po13 <= ( pi00 and pi15 and not pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and pi15 and not pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( pi00 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( pi00 and pi15 and not pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and pi15 and not pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( pi00 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( pi00 and pi15 and not pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and pi15 and not pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( pi00 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( pi00 and pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( pi00 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( pi00 and pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( pi00 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( pi00 and pi15 and not pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi15 and not pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( pi00 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi10 and pi11 and pi15 and pi16 and pi17 and pi18 and pi19 and pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and pi17 and pi18 and pi19 and pi20 )
      or ( not pi10 and pi11 and pi15 and not pi16 and pi17 and pi18 and pi19 and pi20 )
      or ( not pi10 and pi11 and pi15 and pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( not pi10 and pi11 and not pi15 and pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( not pi10 and pi11 and pi15 and pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi10 and pi11 and pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi10 and pi11 and pi15 and pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi10 and pi11 and not pi15 and pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi10 and pi11 and pi15 and pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( not pi10 and pi11 and pi15 and not pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( not pi10 and pi11 and pi15 and pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( not pi10 and pi11 and not pi15 and pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( not pi10 and pi11 and pi15 and pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( not pi10 and pi11 and pi15 and not pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( not pi10 and pi11 and pi15 and pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( not pi10 and pi11 and not pi15 and pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( not pi10 and pi11 and pi15 and pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi10 and pi11 and pi15 and not pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi10 and pi11 and pi15 and pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi10 and pi11 and not pi15 and pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi10 and pi11 and pi15 and pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi10 and pi11 and pi15 and not pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi10 and pi11 and pi15 and pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi10 and pi11 and not pi15 and pi16 and not pi17 and pi18 and not pi19 and not pi20 );
    po14 <= ( pi00 and pi15 and not pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and pi15 and not pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( pi00 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( pi00 and pi15 and not pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and pi15 and not pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( pi00 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( pi00 and pi15 and not pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and pi15 and not pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( pi00 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( pi00 and pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( pi00 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( pi00 and pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( pi00 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( pi00 and pi15 and not pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi15 and not pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( pi00 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( pi10 and not pi11 and pi15 and pi16 and pi17 and pi18 and pi19 and pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and pi17 and pi18 and pi19 and pi20 )
      or ( pi10 and not pi11 and pi15 and not pi16 and pi17 and pi18 and pi19 and pi20 )
      or ( pi10 and not pi11 and pi15 and pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( pi10 and not pi11 and not pi15 and pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( pi10 and not pi11 and pi15 and pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( pi10 and not pi11 and pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( pi10 and not pi11 and pi15 and pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( pi10 and not pi11 and not pi15 and pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( pi10 and not pi11 and pi15 and pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( pi10 and not pi11 and pi15 and not pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( pi10 and not pi11 and pi15 and pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( pi10 and not pi11 and not pi15 and pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( pi10 and not pi11 and pi15 and pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( pi10 and not pi11 and pi15 and not pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( pi10 and not pi11 and pi15 and pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( pi10 and not pi11 and not pi15 and pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( pi10 and not pi11 and pi15 and pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( pi10 and not pi11 and pi15 and not pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( pi10 and not pi11 and pi15 and pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( pi10 and not pi11 and not pi15 and pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( pi10 and not pi11 and pi15 and pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( pi10 and not pi11 and pi15 and not pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( pi10 and not pi11 and pi15 and pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( pi10 and not pi11 and not pi15 and pi16 and not pi17 and pi18 and not pi19 and not pi20 );
    po15 <= ( pi00 and pi15 and not pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and pi15 and not pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( pi00 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( pi00 and pi15 and not pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and pi15 and not pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( pi00 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( pi00 and pi15 and not pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and pi15 and not pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( pi00 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( pi00 and pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( pi00 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( pi00 and pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( pi00 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( pi00 and pi15 and not pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi15 and not pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( pi00 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( pi10 and pi11 and pi15 and pi16 and pi17 and pi18 and pi19 and pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and pi17 and pi18 and pi19 and pi20 )
      or ( pi10 and pi11 and pi15 and not pi16 and pi17 and pi18 and pi19 and pi20 )
      or ( pi10 and pi11 and pi15 and pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( pi10 and pi11 and not pi15 and pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( pi10 and pi11 and pi15 and pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( pi10 and pi11 and pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( pi10 and pi11 and pi15 and pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( pi10 and pi11 and not pi15 and pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( pi10 and pi11 and pi15 and pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( pi10 and pi11 and pi15 and not pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( pi10 and pi11 and pi15 and pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( pi10 and pi11 and not pi15 and pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( pi10 and pi11 and pi15 and pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( pi10 and pi11 and pi15 and not pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( pi10 and pi11 and pi15 and pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( pi10 and pi11 and not pi15 and pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( pi10 and pi11 and pi15 and pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( pi10 and pi11 and pi15 and not pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( pi10 and pi11 and pi15 and pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( pi10 and pi11 and not pi15 and pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( pi10 and pi11 and pi15 and pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( pi10 and pi11 and pi15 and not pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( pi10 and pi11 and pi15 and pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi09 and pi13 and pi15 and pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( pi10 and pi11 and not pi15 and pi16 and not pi17 and pi18 and not pi19 and not pi20 );
    po16 <= ( not pi12 and pi15 and not pi16 and pi17 and pi18 and pi19 and pi20 )
      or ( not pi12 and not pi15 and pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( not pi05 and pi15 and not pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( not pi05 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( not pi12 and pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi12 and not pi15 and pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi05 and pi15 and not pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi05 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi12 and pi15 and not pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( not pi12 and not pi15 and pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( not pi05 and pi15 and not pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( not pi05 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( not pi12 and pi15 and not pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( not pi12 and not pi15 and pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( not pi05 and pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( not pi05 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( not pi12 and pi15 and not pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi12 and not pi15 and pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi05 and pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi05 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi12 and pi15 and not pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi12 and not pi15 and pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi05 and pi15 and not pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi05 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and not pi20 );
    po17 <= ( pi12 and pi15 and not pi16 and pi17 and pi18 and pi19 and pi20 )
      or ( pi12 and not pi15 and pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( pi05 and pi15 and not pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( pi05 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( pi12 and pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( pi12 and not pi15 and pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( pi05 and pi15 and not pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( pi05 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( pi12 and pi15 and not pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( pi12 and not pi15 and pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( pi05 and pi15 and not pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( pi05 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( pi12 and pi15 and not pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( pi12 and not pi15 and pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( pi05 and pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( pi05 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( pi12 and pi15 and not pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( pi12 and not pi15 and pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( pi05 and pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( pi05 and not pi15 and not pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( pi12 and pi15 and not pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( pi12 and not pi15 and pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( pi05 and pi15 and not pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( pi05 and not pi15 and not pi16 and not pi17 and pi18 and not pi19 and not pi20 );
    po18 <= ( pi00 and pi15 and not pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and pi15 and not pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( pi00 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( not pi00 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and pi20 )
      or ( pi00 and pi15 and pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and pi15 and pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( pi00 and not pi15 and pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and not pi15 and pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( pi00 and pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( pi00 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( pi00 and pi15 and pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and pi15 and pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( pi00 and not pi15 and pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and not pi15 and pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( pi00 and pi15 and pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and pi15 and pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( pi00 and not pi15 and pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi15 and pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( pi00 and pi15 and not pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and pi15 and not pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( pi00 and not pi15 and not pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi15 and not pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( pi00 and pi15 and pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and pi15 and pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( pi00 and not pi15 and pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi15 and pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( pi00 and pi15 and pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and pi15 and pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( pi00 and not pi15 and pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi15 and pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( pi00 and pi15 and not pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and pi15 and not pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( pi00 and not pi15 and not pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi15 and not pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( pi00 and pi15 and pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and pi15 and pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( pi00 and not pi15 and pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi15 and pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( pi00 and pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( pi00 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi15 and not pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( pi00 and pi15 and pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and pi15 and pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( pi00 and not pi15 and pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi15 and pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( pi00 and pi15 and not pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and pi15 and not pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( pi00 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi15 and not pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( pi00 and pi15 and pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and pi15 and pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( pi00 and not pi15 and pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi15 and pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( pi00 and pi15 and pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi15 and pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( pi00 and not pi15 and pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi15 and pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( pi00 and pi15 and not pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi15 and not pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( pi00 and not pi15 and not pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi15 and not pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( pi00 and pi15 and pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi15 and pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( pi00 and not pi15 and pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi15 and pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( pi00 and pi15 and pi16 and pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi15 and pi16 and pi17 and not pi18 and not pi19 and not pi20 )
      or ( pi00 and not pi15 and pi16 and pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi15 and pi16 and pi17 and not pi18 and not pi19 and not pi20 )
      or ( pi00 and pi15 and not pi16 and pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi15 and not pi16 and pi17 and not pi18 and not pi19 and not pi20 )
      or ( pi00 and not pi15 and not pi16 and pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi15 and not pi16 and pi17 and not pi18 and not pi19 and not pi20 )
      or ( pi00 and pi15 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi15 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 )
      or ( pi00 and not pi15 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi15 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 );
    po19 <= ( pi00 and pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and pi15 and not pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( pi00 and not pi15 and pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and not pi15 and pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( pi00 and pi15 and not pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and pi15 and not pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( pi00 and not pi15 and pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and not pi15 and pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( pi00 and pi15 and not pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and pi15 and not pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( pi00 and not pi15 and pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and not pi15 and pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( pi00 and pi15 and not pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi15 and not pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( pi00 and not pi15 and pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and not pi15 and pi16 and not pi17 and pi18 and not pi19 and not pi20 );
    po20 <= ( pi00 and pi15 and pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and pi15 and pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( pi00 and pi15 and pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi00 and pi15 and pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( pi00 and pi15 and pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and pi15 and pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( pi00 and pi15 and pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( not pi00 and pi15 and pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( pi00 and pi15 and pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and pi15 and pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( pi00 and pi15 and pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi00 and pi15 and pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( pi00 and pi15 and pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and pi15 and pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( pi00 and pi15 and pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( not pi00 and pi15 and pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( pi00 and pi15 and pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and pi15 and pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( pi00 and pi15 and pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi00 and pi15 and pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( pi00 and pi15 and pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi15 and pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( pi00 and pi15 and pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi15 and pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( pi00 and pi15 and pi16 and pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi15 and pi16 and pi17 and not pi18 and not pi19 and not pi20 )
      or ( pi00 and pi15 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 )
      or ( not pi00 and pi15 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 );
    po21 <= ( pi14 and pi15 and pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( pi14 and pi15 and pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( pi14 and pi15 and pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( pi14 and pi15 and pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( pi14 and pi15 and pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( pi14 and pi15 and pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( pi14 and pi15 and pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( pi14 and pi15 and pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( pi14 and pi15 and pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( pi14 and pi15 and pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( pi14 and pi15 and pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( pi14 and pi15 and pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi12 and not pi14 and pi15 and pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( not pi12 and not pi14 and pi15 and pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( not pi12 and not pi14 and pi15 and pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( not pi12 and not pi14 and pi15 and pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( not pi12 and not pi14 and pi15 and pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi12 and not pi14 and pi15 and pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( not pi12 and not pi14 and pi15 and pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( not pi12 and not pi14 and pi15 and pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( not pi12 and not pi14 and pi15 and pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi12 and not pi14 and pi15 and pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( not pi12 and not pi14 and pi15 and pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( not pi12 and not pi14 and pi15 and pi16 and not pi17 and pi18 and not pi19 and not pi20 );
    po22 <= ( pi14 and pi15 and pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( pi14 and pi15 and pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( pi14 and pi15 and pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( pi14 and pi15 and pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( pi14 and pi15 and pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( pi14 and pi15 and pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( pi14 and pi15 and pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( pi14 and pi15 and pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( pi14 and pi15 and pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( pi14 and pi15 and pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( pi14 and pi15 and pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( pi14 and pi15 and pi16 and not pi17 and pi18 and not pi19 and not pi20 )
      or ( pi12 and not pi14 and pi15 and pi16 and pi17 and not pi18 and pi19 and pi20 )
      or ( pi12 and not pi14 and pi15 and pi16 and not pi17 and not pi18 and pi19 and pi20 )
      or ( pi12 and not pi14 and pi15 and pi16 and pi17 and pi18 and not pi19 and pi20 )
      or ( pi12 and not pi14 and pi15 and pi16 and not pi17 and pi18 and not pi19 and pi20 )
      or ( pi12 and not pi14 and pi15 and pi16 and pi17 and not pi18 and not pi19 and pi20 )
      or ( pi12 and not pi14 and pi15 and pi16 and not pi17 and not pi18 and not pi19 and pi20 )
      or ( pi12 and not pi14 and pi15 and pi16 and pi17 and pi18 and pi19 and not pi20 )
      or ( pi12 and not pi14 and pi15 and pi16 and not pi17 and pi18 and pi19 and not pi20 )
      or ( pi12 and not pi14 and pi15 and pi16 and pi17 and not pi18 and pi19 and not pi20 )
      or ( pi12 and not pi14 and pi15 and pi16 and not pi17 and not pi18 and pi19 and not pi20 )
      or ( pi12 and not pi14 and pi15 and pi16 and pi17 and pi18 and not pi19 and not pi20 )
      or ( pi12 and not pi14 and pi15 and pi16 and not pi17 and pi18 and not pi19 and not pi20 );
end top_behav;
