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

entity Espresso__bcc is 
  Port (
    pi00,pi01,pi02,pi03,pi04,pi05,pi06,pi07,pi08,pi09,pi10,pi11,pi12,pi13,pi14,pi15: in std_logic;
    po00,po01,po02,po03,po04,po05,po06,po07,po08,po09,po10,po11,po12,po13,po14,po15,po16,po17,po18,po19,po20,po21,po22,po23,po24,po25,po26,po27,po28,po29,po30,po31,po32,po33,po34,po35,po36,po37,po38,po39,po40,po41,po42,po43,po44: inout std_logic
  );
end Espresso__bcc;

architecture Espresso__bcc_behav of Espresso__bcc is
begin
    po00 <= ( not pi00 and not pi01 and pi02 and not pi03 and not pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 );
    po01 <= ( not pi00 and not pi01 and pi02 and not pi03 and not pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 );
    po02 <= ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 );
    po03 <= ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and not pi04 and pi05 and pi06 and not pi07 and pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and pi05 and pi06 and not pi07 and pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and not pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and pi04 and pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and pi04 and pi05 and not pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and pi05 and not pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and not pi02 and pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and not pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and not pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and pi11 and not pi12 and pi13 and pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and pi11 and not pi12 and pi13 and pi14 and not pi15 );
    po04 <= ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and not pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and not pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and not pi15 );
    po05 <= ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and not pi04 and pi05 and not pi06 and pi07 and pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and not pi15 );
    po06 <= ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and not pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and not pi04 and pi05 and not pi06 and pi07 and pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and not pi15 );
    po07 <= ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and not pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and not pi04 and pi05 and not pi06 and pi07 and pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and not pi15 );
    po08 <= ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and not pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and not pi04 and pi05 and not pi06 and pi07 and pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and not pi15 );
    po09 <= ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and not pi04 and pi05 and not pi06 and pi07 and pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and pi04 and pi05 and pi06 and pi07 and pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and not pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and not pi15 );
    po10 <= ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and not pi04 and pi05 and not pi06 and pi07 and pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and pi04 and pi05 and pi06 and pi07 and pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and not pi15 );
    po11 <= ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and not pi04 and pi05 and not pi06 and pi07 and pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and not pi15 );
    po12 <= ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and not pi15 );
    po13 <= ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and not pi15 );
    po14 <= ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and pi04 and pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and pi04 and pi05 and not pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 );
    po15 <= ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and not pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and pi04 and pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and pi04 and pi05 and not pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and pi05 and not pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and not pi02 and pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and not pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 );
    po16 <= ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and not pi04 and pi05 and pi06 and not pi07 and pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and pi05 and pi06 and not pi07 and pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and pi04 and pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and not pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and pi11 and not pi12 and pi13 and pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and pi11 and not pi12 and pi13 and pi14 and not pi15 );
    po17 <= ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and not pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and pi04 and pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and not pi02 and pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and not pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and not pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 );
    po18 <= ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and not pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and pi04 and pi05 and pi06 and pi07 and pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and not pi15 );
    po19 <= ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and not pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and not pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and pi05 and not pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 );
    po20 <= ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and not pi04 and pi05 and not pi06 and pi07 and pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and pi04 and pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and not pi02 and pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and not pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 );
    po21 <= ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 );
    po22 <= ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and not pi02 and pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and not pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 );
    po23 <= ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and pi05 and not pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and not pi02 and pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and not pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and not pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and pi11 and not pi12 and pi13 and pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and pi11 and not pi12 and pi13 and pi14 and not pi15 );
    po24 <= ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and pi05 and not pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and not pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 );
    po25 <= ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and pi04 and pi05 and not pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and not pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and not pi04 and pi05 and not pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and not pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and pi04 and pi05 and not pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and not pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 );
    po26 <= ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and not pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and pi13 and pi14 and not pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and pi13 and pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and pi13 and pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and pi13 and pi14 and not pi15 )
      or ( pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and pi13 and pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 );
    po27 <= ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and pi13 and not pi14 and pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and pi13 and not pi14 and pi15 )
      or ( pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and not pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and not pi01 and not pi02 and pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and not pi01 and not pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and pi05 and not pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 );
    po28 <= ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and pi13 and not pi14 and pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and pi13 and not pi14 and pi15 )
      or ( pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and pi04 and pi05 and not pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and not pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and not pi01 and not pi02 and pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and not pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and not pi01 and not pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and not pi04 and pi05 and not pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and not pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and pi13 and pi14 and not pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and pi13 and pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and pi13 and pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and pi13 and pi14 and not pi15 )
      or ( pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and pi13 and pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and pi04 and pi05 and not pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and pi05 and not pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and not pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 );
    po29 <= ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and pi13 and not pi14 and pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and pi13 and not pi14 and pi15 )
      or ( pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and pi13 and not pi14 and pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and not pi04 and pi05 and pi06 and not pi07 and pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and pi05 and pi06 and not pi07 and pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and pi04 and pi05 and pi06 and pi07 and pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and pi04 and pi05 and not pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and not pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and pi05 and not pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and not pi01 and not pi02 and pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and not pi02 and not pi03 and pi04 and pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and not pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and not pi01 and not pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and not pi04 and pi05 and not pi06 and not pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and not pi04 and pi05 and not pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and not pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and pi13 and pi14 and not pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and pi13 and pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and pi13 and pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and pi13 and pi14 and not pi15 )
      or ( pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and pi13 and pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and not pi04 and pi05 and pi06 and not pi07 and pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and pi05 and pi06 and not pi07 and pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and pi04 and pi05 and pi06 and pi07 and pi08 and not pi09 and pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and not pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and not pi04 and pi05 and not pi06 and pi07 and pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and not pi04 and pi05 and pi06 and not pi07 and pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and pi05 and pi06 and not pi07 and pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and not pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and pi04 and pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and pi04 and pi05 and pi06 and pi07 and pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and pi04 and pi05 and not pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and not pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and pi05 and not pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and not pi02 and pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and not pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and not pi02 and not pi03 and pi04 and pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and not pi02 and pi03 and not pi04 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and not pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and not pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and not pi04 and pi05 and not pi06 and not pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and not pi04 and pi05 and not pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and not pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and pi11 and not pi12 and pi13 and pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and pi11 and not pi12 and pi13 and pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and pi10 and not pi11 and not pi12 and not pi13 and pi14 and not pi15 );
    po30 <= ( pi00 and not pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and pi13 and pi14 and not pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and pi13 and pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and pi13 and pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and pi13 and pi14 and not pi15 )
      or ( pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and pi13 and pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and not pi04 and pi05 and pi06 and not pi07 and pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and pi05 and pi06 and not pi07 and pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and pi10 and not pi11 and not pi12 and not pi13 and pi14 and not pi15 );
    po31 <= ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and not pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 );
    po32 <= ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 );
    po33 <= ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and not pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 );
    po34 <= ( pi00 and not pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and not pi01 and not pi02 and pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and not pi01 and not pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and not pi04 and pi05 and not pi06 and not pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and not pi04 and pi05 and not pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and not pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 );
    po35 <= ( pi00 and not pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and not pi01 and not pi02 and pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and not pi01 and not pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and not pi04 and pi05 and not pi06 and not pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and not pi04 and pi05 and not pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and pi01 and not pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 );
    po36 <= ( not pi00 and not pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 );
    po37 <= ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and not pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 );
    po38 <= ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 );
    po39 <= ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 );
    po40 <= ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 );
    po41 <= ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 );
    po42 <= ( pi00 and pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 );
    po43 <= ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and pi14 and not pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and not pi02 and pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and not pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 );
    po44 <= ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and pi14 and pi15 )
      or ( not pi00 and pi01 and not pi02 and not pi03 and pi04 and pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi13 and not pi14 and pi15 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi13 and not pi14 and not pi15 );
end Espresso__bcc_behav;
