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

entity Espresso__add6 is 
  Port (
    pi00,pi01,pi02,pi03,pi04,pi05,pi06,pi07,pi08,pi09,pi10,pi11: in std_logic;
    po0,po1,po2,po3,po4,po5,po6: inout std_logic
  );
end Espresso__add6;

architecture Espresso__add6_behav of Espresso__add6 is
begin
    po0 <= ( not pi00 and pi06 )
      or ( pi00 and not pi06 );
    po1 <= ( not pi00 and not pi01 and pi07 )
      or ( not pi01 and not pi06 and pi07 )
      or ( not pi00 and pi01 and not pi07 )
      or ( pi01 and not pi06 and not pi07 )
      or ( pi00 and pi01 and pi06 and pi07 )
      or ( pi00 and not pi01 and pi06 and not pi07 );
    po2 <= ( not pi00 and not pi01 and not pi02 and pi08 )
      or ( not pi01 and not pi02 and not pi06 and pi08 )
      or ( not pi00 and not pi02 and not pi07 and pi08 )
      or ( not pi02 and not pi06 and not pi07 and pi08 )
      or ( not pi00 and not pi01 and pi02 and not pi08 )
      or ( not pi01 and pi02 and not pi06 and not pi08 )
      or ( not pi00 and pi02 and not pi07 and not pi08 )
      or ( pi02 and not pi06 and not pi07 and not pi08 )
      or ( pi00 and pi01 and pi02 and pi06 and pi08 )
      or ( not pi00 and pi01 and pi02 and pi07 and pi08 )
      or ( pi00 and pi02 and pi06 and pi07 and pi08 )
      or ( pi01 and pi02 and not pi06 and pi07 and pi08 )
      or ( pi00 and pi01 and not pi02 and pi06 and not pi08 )
      or ( not pi00 and pi01 and not pi02 and pi07 and not pi08 )
      or ( pi00 and not pi02 and pi06 and pi07 and not pi08 )
      or ( pi01 and not pi02 and not pi06 and pi07 and not pi08 )
      or ( pi00 and not pi01 and not pi02 and pi06 and not pi07 and pi08 )
      or ( pi00 and not pi01 and pi02 and pi06 and not pi07 and not pi08 );
    po3 <= ( not pi00 and not pi01 and not pi02 and not pi03 and pi09 )
      or ( not pi01 and not pi02 and not pi03 and not pi06 and pi09 )
      or ( not pi00 and not pi02 and not pi03 and not pi07 and pi09 )
      or ( not pi02 and not pi03 and not pi06 and not pi07 and pi09 )
      or ( not pi00 and not pi01 and not pi03 and not pi08 and pi09 )
      or ( not pi01 and not pi03 and not pi06 and not pi08 and pi09 )
      or ( not pi00 and not pi03 and not pi07 and not pi08 and pi09 )
      or ( not pi03 and not pi06 and not pi07 and not pi08 and pi09 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and not pi09 )
      or ( not pi01 and not pi02 and pi03 and not pi06 and not pi09 )
      or ( not pi00 and not pi02 and pi03 and not pi07 and not pi09 )
      or ( not pi02 and pi03 and not pi06 and not pi07 and not pi09 )
      or ( not pi00 and not pi01 and pi03 and not pi08 and not pi09 )
      or ( not pi01 and pi03 and not pi06 and not pi08 and not pi09 )
      or ( not pi00 and pi03 and not pi07 and not pi08 and not pi09 )
      or ( pi03 and not pi06 and not pi07 and not pi08 and not pi09 )
      or ( pi00 and pi01 and pi02 and pi03 and pi06 and pi09 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi07 and pi09 )
      or ( pi00 and pi02 and pi03 and pi06 and pi07 and pi09 )
      or ( pi01 and pi02 and pi03 and not pi06 and pi07 and pi09 )
      or ( not pi00 and not pi01 and pi02 and pi03 and pi08 and pi09 )
      or ( pi00 and pi01 and pi03 and pi06 and pi08 and pi09 )
      or ( not pi01 and pi02 and pi03 and not pi06 and pi08 and pi09 )
      or ( not pi00 and pi01 and pi03 and pi07 and pi08 and pi09 )
      or ( pi00 and pi03 and pi06 and pi07 and pi08 and pi09 )
      or ( pi01 and pi03 and not pi06 and pi07 and pi08 and pi09 )
      or ( not pi00 and pi02 and pi03 and not pi07 and pi08 and pi09 )
      or ( pi02 and pi03 and not pi06 and not pi07 and pi08 and pi09 )
      or ( pi00 and pi01 and pi02 and not pi03 and pi06 and not pi09 )
      or ( not pi00 and pi01 and pi02 and not pi03 and pi07 and not pi09 )
      or ( pi00 and pi02 and not pi03 and pi06 and pi07 and not pi09 )
      or ( pi01 and pi02 and not pi03 and not pi06 and pi07 and not pi09 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi08 and not pi09 )
      or ( pi00 and pi01 and not pi03 and pi06 and pi08 and not pi09 )
      or ( not pi01 and pi02 and not pi03 and not pi06 and pi08 and not pi09 )
      or ( not pi00 and pi01 and not pi03 and pi07 and pi08 and not pi09 )
      or ( pi00 and not pi03 and pi06 and pi07 and pi08 and not pi09 )
      or ( pi01 and not pi03 and not pi06 and pi07 and pi08 and not pi09 )
      or ( not pi00 and pi02 and not pi03 and not pi07 and pi08 and not pi09 )
      or ( pi02 and not pi03 and not pi06 and not pi07 and pi08 and not pi09 )
      or ( pi00 and not pi01 and not pi02 and not pi03 and pi06 and not pi07 and pi09 )
      or ( pi00 and pi01 and not pi02 and not pi03 and pi06 and not pi08 and pi09 )
      or ( not pi00 and pi01 and not pi02 and not pi03 and pi07 and not pi08 and pi09 )
      or ( pi00 and not pi02 and not pi03 and pi06 and pi07 and not pi08 and pi09 )
      or ( pi01 and not pi02 and not pi03 and not pi06 and pi07 and not pi08 and pi09 )
      or ( pi00 and not pi01 and not pi03 and pi06 and not pi07 and not pi08 and pi09 )
      or ( pi00 and not pi01 and not pi02 and pi03 and pi06 and not pi07 and not pi09 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi06 and not pi08 and not pi09 )
      or ( not pi00 and pi01 and not pi02 and pi03 and pi07 and not pi08 and not pi09 )
      or ( pi00 and not pi02 and pi03 and pi06 and pi07 and not pi08 and not pi09 )
      or ( pi01 and not pi02 and pi03 and not pi06 and pi07 and not pi08 and not pi09 )
      or ( pi00 and not pi01 and pi03 and pi06 and not pi07 and not pi08 and not pi09 )
      or ( pi00 and not pi01 and pi02 and pi03 and pi06 and not pi07 and pi08 and pi09 )
      or ( pi00 and not pi01 and pi02 and not pi03 and pi06 and not pi07 and pi08 and not pi09 );
    po4 <= ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and pi10 )
      or ( not pi01 and not pi02 and not pi03 and not pi04 and not pi06 and pi10 )
      or ( not pi00 and not pi02 and not pi03 and not pi04 and not pi07 and pi10 )
      or ( not pi02 and not pi03 and not pi04 and not pi06 and not pi07 and pi10 )
      or ( not pi00 and not pi01 and not pi03 and not pi04 and not pi08 and pi10 )
      or ( not pi01 and not pi03 and not pi04 and not pi06 and not pi08 and pi10 )
      or ( not pi00 and not pi03 and not pi04 and not pi07 and not pi08 and pi10 )
      or ( not pi03 and not pi04 and not pi06 and not pi07 and not pi08 and pi10 )
      or ( not pi00 and not pi01 and not pi02 and not pi04 and not pi09 and pi10 )
      or ( not pi01 and not pi02 and not pi04 and not pi06 and not pi09 and pi10 )
      or ( not pi00 and not pi02 and not pi04 and not pi07 and not pi09 and pi10 )
      or ( not pi02 and not pi04 and not pi06 and not pi07 and not pi09 and pi10 )
      or ( not pi00 and not pi01 and not pi04 and not pi08 and not pi09 and pi10 )
      or ( not pi01 and not pi04 and not pi06 and not pi08 and not pi09 and pi10 )
      or ( not pi00 and not pi04 and not pi07 and not pi08 and not pi09 and pi10 )
      or ( not pi04 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and pi04 and not pi10 )
      or ( not pi01 and not pi02 and not pi03 and pi04 and not pi06 and not pi10 )
      or ( not pi00 and not pi02 and not pi03 and pi04 and not pi07 and not pi10 )
      or ( not pi02 and not pi03 and pi04 and not pi06 and not pi07 and not pi10 )
      or ( not pi00 and not pi01 and not pi03 and pi04 and not pi08 and not pi10 )
      or ( not pi01 and not pi03 and pi04 and not pi06 and not pi08 and not pi10 )
      or ( not pi00 and not pi03 and pi04 and not pi07 and not pi08 and not pi10 )
      or ( not pi03 and pi04 and not pi06 and not pi07 and not pi08 and not pi10 )
      or ( not pi00 and not pi01 and not pi02 and pi04 and not pi09 and not pi10 )
      or ( not pi01 and not pi02 and pi04 and not pi06 and not pi09 and not pi10 )
      or ( not pi00 and not pi02 and pi04 and not pi07 and not pi09 and not pi10 )
      or ( not pi02 and pi04 and not pi06 and not pi07 and not pi09 and not pi10 )
      or ( not pi00 and not pi01 and pi04 and not pi08 and not pi09 and not pi10 )
      or ( not pi01 and pi04 and not pi06 and not pi08 and not pi09 and not pi10 )
      or ( not pi00 and pi04 and not pi07 and not pi08 and not pi09 and not pi10 )
      or ( pi04 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 )
      or ( pi00 and pi01 and pi02 and pi03 and pi04 and pi06 and pi10 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi07 and pi10 )
      or ( pi00 and pi02 and pi03 and pi04 and pi06 and pi07 and pi10 )
      or ( pi01 and pi02 and pi03 and pi04 and not pi06 and pi07 and pi10 )
      or ( not pi00 and not pi01 and pi02 and pi03 and pi04 and pi08 and pi10 )
      or ( pi00 and pi01 and pi03 and pi04 and pi06 and pi08 and pi10 )
      or ( not pi01 and pi02 and pi03 and pi04 and not pi06 and pi08 and pi10 )
      or ( not pi00 and pi01 and pi03 and pi04 and pi07 and pi08 and pi10 )
      or ( pi00 and pi03 and pi04 and pi06 and pi07 and pi08 and pi10 )
      or ( pi01 and pi03 and pi04 and not pi06 and pi07 and pi08 and pi10 )
      or ( not pi00 and pi02 and pi03 and pi04 and not pi07 and pi08 and pi10 )
      or ( pi02 and pi03 and pi04 and not pi06 and not pi07 and pi08 and pi10 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and pi04 and pi09 and pi10 )
      or ( pi00 and pi01 and pi02 and pi04 and pi06 and pi09 and pi10 )
      or ( not pi01 and not pi02 and pi03 and pi04 and not pi06 and pi09 and pi10 )
      or ( not pi00 and pi01 and pi02 and pi04 and pi07 and pi09 and pi10 )
      or ( pi00 and pi02 and pi04 and pi06 and pi07 and pi09 and pi10 )
      or ( pi01 and pi02 and pi04 and not pi06 and pi07 and pi09 and pi10 )
      or ( not pi00 and not pi02 and pi03 and pi04 and not pi07 and pi09 and pi10 )
      or ( not pi02 and pi03 and pi04 and not pi06 and not pi07 and pi09 and pi10 )
      or ( not pi00 and not pi01 and pi02 and pi04 and pi08 and pi09 and pi10 )
      or ( pi00 and pi01 and pi04 and pi06 and pi08 and pi09 and pi10 )
      or ( not pi01 and pi02 and pi04 and not pi06 and pi08 and pi09 and pi10 )
      or ( not pi00 and pi01 and pi04 and pi07 and pi08 and pi09 and pi10 )
      or ( pi00 and pi04 and pi06 and pi07 and pi08 and pi09 and pi10 )
      or ( pi01 and pi04 and not pi06 and pi07 and pi08 and pi09 and pi10 )
      or ( not pi00 and pi02 and pi04 and not pi07 and pi08 and pi09 and pi10 )
      or ( pi02 and pi04 and not pi06 and not pi07 and pi08 and pi09 and pi10 )
      or ( not pi00 and not pi01 and pi03 and pi04 and not pi08 and pi09 and pi10 )
      or ( not pi01 and pi03 and pi04 and not pi06 and not pi08 and pi09 and pi10 )
      or ( not pi00 and pi03 and pi04 and not pi07 and not pi08 and pi09 and pi10 )
      or ( pi03 and pi04 and not pi06 and not pi07 and not pi08 and pi09 and pi10 )
      or ( pi00 and pi01 and pi02 and pi03 and not pi04 and pi06 and not pi10 )
      or ( not pi00 and pi01 and pi02 and pi03 and not pi04 and pi07 and not pi10 )
      or ( pi00 and pi02 and pi03 and not pi04 and pi06 and pi07 and not pi10 )
      or ( pi01 and pi02 and pi03 and not pi04 and not pi06 and pi07 and not pi10 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and pi08 and not pi10 )
      or ( pi00 and pi01 and pi03 and not pi04 and pi06 and pi08 and not pi10 )
      or ( not pi01 and pi02 and pi03 and not pi04 and not pi06 and pi08 and not pi10 )
      or ( not pi00 and pi01 and pi03 and not pi04 and pi07 and pi08 and not pi10 )
      or ( pi00 and pi03 and not pi04 and pi06 and pi07 and pi08 and not pi10 )
      or ( pi01 and pi03 and not pi04 and not pi06 and pi07 and pi08 and not pi10 )
      or ( not pi00 and pi02 and pi03 and not pi04 and not pi07 and pi08 and not pi10 )
      or ( pi02 and pi03 and not pi04 and not pi06 and not pi07 and pi08 and not pi10 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and not pi04 and pi09 and not pi10 )
      or ( pi00 and pi01 and pi02 and not pi04 and pi06 and pi09 and not pi10 )
      or ( not pi01 and not pi02 and pi03 and not pi04 and not pi06 and pi09 and not pi10 )
      or ( not pi00 and pi01 and pi02 and not pi04 and pi07 and pi09 and not pi10 )
      or ( pi00 and pi02 and not pi04 and pi06 and pi07 and pi09 and not pi10 )
      or ( pi01 and pi02 and not pi04 and not pi06 and pi07 and pi09 and not pi10 )
      or ( not pi00 and not pi02 and pi03 and not pi04 and not pi07 and pi09 and not pi10 )
      or ( not pi02 and pi03 and not pi04 and not pi06 and not pi07 and pi09 and not pi10 )
      or ( not pi00 and not pi01 and pi02 and not pi04 and pi08 and pi09 and not pi10 )
      or ( pi00 and pi01 and not pi04 and pi06 and pi08 and pi09 and not pi10 )
      or ( not pi01 and pi02 and not pi04 and not pi06 and pi08 and pi09 and not pi10 )
      or ( not pi00 and pi01 and not pi04 and pi07 and pi08 and pi09 and not pi10 )
      or ( pi00 and not pi04 and pi06 and pi07 and pi08 and pi09 and not pi10 )
      or ( pi01 and not pi04 and not pi06 and pi07 and pi08 and pi09 and not pi10 )
      or ( not pi00 and pi02 and not pi04 and not pi07 and pi08 and pi09 and not pi10 )
      or ( pi02 and not pi04 and not pi06 and not pi07 and pi08 and pi09 and not pi10 )
      or ( not pi00 and not pi01 and pi03 and not pi04 and not pi08 and pi09 and not pi10 )
      or ( not pi01 and pi03 and not pi04 and not pi06 and not pi08 and pi09 and not pi10 )
      or ( not pi00 and pi03 and not pi04 and not pi07 and not pi08 and pi09 and not pi10 )
      or ( pi03 and not pi04 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 )
      or ( pi00 and not pi01 and not pi02 and not pi03 and not pi04 and pi06 and not pi07 and pi10 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and pi06 and not pi08 and pi10 )
      or ( not pi00 and pi01 and not pi02 and not pi03 and not pi04 and pi07 and not pi08 and pi10 )
      or ( pi00 and not pi02 and not pi03 and not pi04 and pi06 and pi07 and not pi08 and pi10 )
      or ( pi01 and not pi02 and not pi03 and not pi04 and not pi06 and pi07 and not pi08 and pi10 )
      or ( pi00 and not pi01 and not pi03 and not pi04 and pi06 and not pi07 and not pi08 and pi10 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and pi06 and not pi09 and pi10 )
      or ( not pi00 and pi01 and pi02 and not pi03 and not pi04 and pi07 and not pi09 and pi10 )
      or ( pi00 and pi02 and not pi03 and not pi04 and pi06 and pi07 and not pi09 and pi10 )
      or ( pi01 and pi02 and not pi03 and not pi04 and not pi06 and pi07 and not pi09 and pi10 )
      or ( pi00 and not pi01 and not pi02 and not pi04 and pi06 and not pi07 and not pi09 and pi10 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and not pi04 and pi08 and not pi09 and pi10 )
      or ( pi00 and pi01 and not pi03 and not pi04 and pi06 and pi08 and not pi09 and pi10 )
      or ( not pi01 and pi02 and not pi03 and not pi04 and not pi06 and pi08 and not pi09 and pi10 )
      or ( not pi00 and pi01 and not pi03 and not pi04 and pi07 and pi08 and not pi09 and pi10 )
      or ( pi00 and not pi03 and not pi04 and pi06 and pi07 and pi08 and not pi09 and pi10 )
      or ( pi01 and not pi03 and not pi04 and not pi06 and pi07 and pi08 and not pi09 and pi10 )
      or ( not pi00 and pi02 and not pi03 and not pi04 and not pi07 and pi08 and not pi09 and pi10 )
      or ( pi02 and not pi03 and not pi04 and not pi06 and not pi07 and pi08 and not pi09 and pi10 )
      or ( pi00 and pi01 and not pi02 and not pi04 and pi06 and not pi08 and not pi09 and pi10 )
      or ( not pi00 and pi01 and not pi02 and not pi04 and pi07 and not pi08 and not pi09 and pi10 )
      or ( pi00 and not pi02 and not pi04 and pi06 and pi07 and not pi08 and not pi09 and pi10 )
      or ( pi01 and not pi02 and not pi04 and not pi06 and pi07 and not pi08 and not pi09 and pi10 )
      or ( pi00 and not pi01 and not pi04 and pi06 and not pi07 and not pi08 and not pi09 and pi10 )
      or ( pi00 and not pi01 and not pi02 and not pi03 and pi04 and pi06 and not pi07 and not pi10 )
      or ( pi00 and pi01 and not pi02 and not pi03 and pi04 and pi06 and not pi08 and not pi10 )
      or ( not pi00 and pi01 and not pi02 and not pi03 and pi04 and pi07 and not pi08 and not pi10 )
      or ( pi00 and not pi02 and not pi03 and pi04 and pi06 and pi07 and not pi08 and not pi10 )
      or ( pi01 and not pi02 and not pi03 and pi04 and not pi06 and pi07 and not pi08 and not pi10 )
      or ( pi00 and not pi01 and not pi03 and pi04 and pi06 and not pi07 and not pi08 and not pi10 )
      or ( pi00 and pi01 and pi02 and not pi03 and pi04 and pi06 and not pi09 and not pi10 )
      or ( not pi00 and pi01 and pi02 and not pi03 and pi04 and pi07 and not pi09 and not pi10 )
      or ( pi00 and pi02 and not pi03 and pi04 and pi06 and pi07 and not pi09 and not pi10 )
      or ( pi01 and pi02 and not pi03 and pi04 and not pi06 and pi07 and not pi09 and not pi10 )
      or ( pi00 and not pi01 and not pi02 and pi04 and pi06 and not pi07 and not pi09 and not pi10 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi08 and not pi09 and not pi10 )
      or ( pi00 and pi01 and not pi03 and pi04 and pi06 and pi08 and not pi09 and not pi10 )
      or ( not pi01 and pi02 and not pi03 and pi04 and not pi06 and pi08 and not pi09 and not pi10 )
      or ( not pi00 and pi01 and not pi03 and pi04 and pi07 and pi08 and not pi09 and not pi10 )
      or ( pi00 and not pi03 and pi04 and pi06 and pi07 and pi08 and not pi09 and not pi10 )
      or ( pi01 and not pi03 and pi04 and not pi06 and pi07 and pi08 and not pi09 and not pi10 )
      or ( not pi00 and pi02 and not pi03 and pi04 and not pi07 and pi08 and not pi09 and not pi10 )
      or ( pi02 and not pi03 and pi04 and not pi06 and not pi07 and pi08 and not pi09 and not pi10 )
      or ( pi00 and pi01 and not pi02 and pi04 and pi06 and not pi08 and not pi09 and not pi10 )
      or ( not pi00 and pi01 and not pi02 and pi04 and pi07 and not pi08 and not pi09 and not pi10 )
      or ( pi00 and not pi02 and pi04 and pi06 and pi07 and not pi08 and not pi09 and not pi10 )
      or ( pi01 and not pi02 and pi04 and not pi06 and pi07 and not pi08 and not pi09 and not pi10 )
      or ( pi00 and not pi01 and pi04 and pi06 and not pi07 and not pi08 and not pi09 and not pi10 )
      or ( pi00 and not pi01 and pi02 and pi03 and pi04 and pi06 and not pi07 and pi08 and pi10 )
      or ( pi00 and not pi01 and not pi02 and pi03 and pi04 and pi06 and not pi07 and pi09 and pi10 )
      or ( pi00 and not pi01 and pi02 and pi04 and pi06 and not pi07 and pi08 and pi09 and pi10 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and pi06 and not pi08 and pi09 and pi10 )
      or ( not pi00 and pi01 and not pi02 and pi03 and pi04 and pi07 and not pi08 and pi09 and pi10 )
      or ( pi00 and not pi02 and pi03 and pi04 and pi06 and pi07 and not pi08 and pi09 and pi10 )
      or ( pi01 and not pi02 and pi03 and pi04 and not pi06 and pi07 and not pi08 and pi09 and pi10 )
      or ( pi00 and not pi01 and pi03 and pi04 and pi06 and not pi07 and not pi08 and pi09 and pi10 )
      or ( pi00 and not pi01 and pi02 and pi03 and not pi04 and pi06 and not pi07 and pi08 and not pi10 )
      or ( pi00 and not pi01 and not pi02 and pi03 and not pi04 and pi06 and not pi07 and pi09 and not pi10 )
      or ( pi00 and not pi01 and pi02 and not pi04 and pi06 and not pi07 and pi08 and pi09 and not pi10 )
      or ( pi00 and pi01 and not pi02 and pi03 and not pi04 and pi06 and not pi08 and pi09 and not pi10 )
      or ( not pi00 and pi01 and not pi02 and pi03 and not pi04 and pi07 and not pi08 and pi09 and not pi10 )
      or ( pi00 and not pi02 and pi03 and not pi04 and pi06 and pi07 and not pi08 and pi09 and not pi10 )
      or ( pi01 and not pi02 and pi03 and not pi04 and not pi06 and pi07 and not pi08 and pi09 and not pi10 )
      or ( pi00 and not pi01 and pi03 and not pi04 and pi06 and not pi07 and not pi08 and pi09 and not pi10 )
      or ( pi00 and not pi01 and pi02 and not pi03 and not pi04 and pi06 and not pi07 and pi08 and not pi09 and pi10 )
      or ( pi00 and not pi01 and pi02 and not pi03 and pi04 and pi06 and not pi07 and pi08 and not pi09 and not pi10 );
    po5 <= ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi11 )
      or ( not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and not pi06 and pi11 )
      or ( not pi00 and not pi02 and not pi03 and not pi04 and not pi05 and not pi07 and pi11 )
      or ( not pi02 and not pi03 and not pi04 and not pi05 and not pi06 and not pi07 and pi11 )
      or ( not pi00 and not pi01 and not pi03 and not pi04 and not pi05 and not pi08 and pi11 )
      or ( not pi01 and not pi03 and not pi04 and not pi05 and not pi06 and not pi08 and pi11 )
      or ( not pi00 and not pi03 and not pi04 and not pi05 and not pi07 and not pi08 and pi11 )
      or ( not pi03 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi11 )
      or ( not pi00 and not pi01 and not pi02 and not pi04 and not pi05 and not pi09 and pi11 )
      or ( not pi01 and not pi02 and not pi04 and not pi05 and not pi06 and not pi09 and pi11 )
      or ( not pi00 and not pi02 and not pi04 and not pi05 and not pi07 and not pi09 and pi11 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi07 and not pi09 and pi11 )
      or ( not pi00 and not pi01 and not pi04 and not pi05 and not pi08 and not pi09 and pi11 )
      or ( not pi01 and not pi04 and not pi05 and not pi06 and not pi08 and not pi09 and pi11 )
      or ( not pi00 and not pi04 and not pi05 and not pi07 and not pi08 and not pi09 and pi11 )
      or ( not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi11 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi05 and not pi10 and pi11 )
      or ( not pi01 and not pi02 and not pi03 and not pi05 and not pi06 and not pi10 and pi11 )
      or ( not pi00 and not pi02 and not pi03 and not pi05 and not pi07 and not pi10 and pi11 )
      or ( not pi02 and not pi03 and not pi05 and not pi06 and not pi07 and not pi10 and pi11 )
      or ( not pi00 and not pi01 and not pi03 and not pi05 and not pi08 and not pi10 and pi11 )
      or ( not pi01 and not pi03 and not pi05 and not pi06 and not pi08 and not pi10 and pi11 )
      or ( not pi00 and not pi03 and not pi05 and not pi07 and not pi08 and not pi10 and pi11 )
      or ( not pi03 and not pi05 and not pi06 and not pi07 and not pi08 and not pi10 and pi11 )
      or ( not pi00 and not pi01 and not pi02 and not pi05 and not pi09 and not pi10 and pi11 )
      or ( not pi01 and not pi02 and not pi05 and not pi06 and not pi09 and not pi10 and pi11 )
      or ( not pi00 and not pi02 and not pi05 and not pi07 and not pi09 and not pi10 and pi11 )
      or ( not pi02 and not pi05 and not pi06 and not pi07 and not pi09 and not pi10 and pi11 )
      or ( not pi00 and not pi01 and not pi05 and not pi08 and not pi09 and not pi10 and pi11 )
      or ( not pi01 and not pi05 and not pi06 and not pi08 and not pi09 and not pi10 and pi11 )
      or ( not pi00 and not pi05 and not pi07 and not pi08 and not pi09 and not pi10 and pi11 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and pi11 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and pi05 and not pi11 )
      or ( not pi01 and not pi02 and not pi03 and not pi04 and pi05 and not pi06 and not pi11 )
      or ( not pi00 and not pi02 and not pi03 and not pi04 and pi05 and not pi07 and not pi11 )
      or ( not pi02 and not pi03 and not pi04 and pi05 and not pi06 and not pi07 and not pi11 )
      or ( not pi00 and not pi01 and not pi03 and not pi04 and pi05 and not pi08 and not pi11 )
      or ( not pi01 and not pi03 and not pi04 and pi05 and not pi06 and not pi08 and not pi11 )
      or ( not pi00 and not pi03 and not pi04 and pi05 and not pi07 and not pi08 and not pi11 )
      or ( not pi03 and not pi04 and pi05 and not pi06 and not pi07 and not pi08 and not pi11 )
      or ( not pi00 and not pi01 and not pi02 and not pi04 and pi05 and not pi09 and not pi11 )
      or ( not pi01 and not pi02 and not pi04 and pi05 and not pi06 and not pi09 and not pi11 )
      or ( not pi00 and not pi02 and not pi04 and pi05 and not pi07 and not pi09 and not pi11 )
      or ( not pi02 and not pi04 and pi05 and not pi06 and not pi07 and not pi09 and not pi11 )
      or ( not pi00 and not pi01 and not pi04 and pi05 and not pi08 and not pi09 and not pi11 )
      or ( not pi01 and not pi04 and pi05 and not pi06 and not pi08 and not pi09 and not pi11 )
      or ( not pi00 and not pi04 and pi05 and not pi07 and not pi08 and not pi09 and not pi11 )
      or ( not pi04 and pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi11 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and pi05 and not pi10 and not pi11 )
      or ( not pi01 and not pi02 and not pi03 and pi05 and not pi06 and not pi10 and not pi11 )
      or ( not pi00 and not pi02 and not pi03 and pi05 and not pi07 and not pi10 and not pi11 )
      or ( not pi02 and not pi03 and pi05 and not pi06 and not pi07 and not pi10 and not pi11 )
      or ( not pi00 and not pi01 and not pi03 and pi05 and not pi08 and not pi10 and not pi11 )
      or ( not pi01 and not pi03 and pi05 and not pi06 and not pi08 and not pi10 and not pi11 )
      or ( not pi00 and not pi03 and pi05 and not pi07 and not pi08 and not pi10 and not pi11 )
      or ( not pi03 and pi05 and not pi06 and not pi07 and not pi08 and not pi10 and not pi11 )
      or ( not pi00 and not pi01 and not pi02 and pi05 and not pi09 and not pi10 and not pi11 )
      or ( not pi01 and not pi02 and pi05 and not pi06 and not pi09 and not pi10 and not pi11 )
      or ( not pi00 and not pi02 and pi05 and not pi07 and not pi09 and not pi10 and not pi11 )
      or ( not pi02 and pi05 and not pi06 and not pi07 and not pi09 and not pi10 and not pi11 )
      or ( not pi00 and not pi01 and pi05 and not pi08 and not pi09 and not pi10 and not pi11 )
      or ( not pi01 and pi05 and not pi06 and not pi08 and not pi09 and not pi10 and not pi11 )
      or ( not pi00 and pi05 and not pi07 and not pi08 and not pi09 and not pi10 and not pi11 )
      or ( pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi11 )
      or ( pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and pi06 and pi11 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and pi07 and pi11 )
      or ( pi00 and pi02 and pi03 and pi04 and pi05 and pi06 and pi07 and pi11 )
      or ( pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and pi07 and pi11 )
      or ( not pi00 and not pi01 and pi02 and pi03 and pi04 and pi05 and pi08 and pi11 )
      or ( pi00 and pi01 and pi03 and pi04 and pi05 and pi06 and pi08 and pi11 )
      or ( not pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and pi08 and pi11 )
      or ( not pi00 and pi01 and pi03 and pi04 and pi05 and pi07 and pi08 and pi11 )
      or ( pi00 and pi03 and pi04 and pi05 and pi06 and pi07 and pi08 and pi11 )
      or ( pi01 and pi03 and pi04 and pi05 and not pi06 and pi07 and pi08 and pi11 )
      or ( not pi00 and pi02 and pi03 and pi04 and pi05 and not pi07 and pi08 and pi11 )
      or ( pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and pi08 and pi11 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and pi04 and pi05 and pi09 and pi11 )
      or ( pi00 and pi01 and pi02 and pi04 and pi05 and pi06 and pi09 and pi11 )
      or ( not pi01 and not pi02 and pi03 and pi04 and pi05 and not pi06 and pi09 and pi11 )
      or ( not pi00 and pi01 and pi02 and pi04 and pi05 and pi07 and pi09 and pi11 )
      or ( pi00 and pi02 and pi04 and pi05 and pi06 and pi07 and pi09 and pi11 )
      or ( pi01 and pi02 and pi04 and pi05 and not pi06 and pi07 and pi09 and pi11 )
      or ( not pi00 and not pi02 and pi03 and pi04 and pi05 and not pi07 and pi09 and pi11 )
      or ( not pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and pi09 and pi11 )
      or ( not pi00 and not pi01 and pi02 and pi04 and pi05 and pi08 and pi09 and pi11 )
      or ( pi00 and pi01 and pi04 and pi05 and pi06 and pi08 and pi09 and pi11 )
      or ( not pi01 and pi02 and pi04 and pi05 and not pi06 and pi08 and pi09 and pi11 )
      or ( not pi00 and pi01 and pi04 and pi05 and pi07 and pi08 and pi09 and pi11 )
      or ( pi00 and pi04 and pi05 and pi06 and pi07 and pi08 and pi09 and pi11 )
      or ( pi01 and pi04 and pi05 and not pi06 and pi07 and pi08 and pi09 and pi11 )
      or ( not pi00 and pi02 and pi04 and pi05 and not pi07 and pi08 and pi09 and pi11 )
      or ( pi02 and pi04 and pi05 and not pi06 and not pi07 and pi08 and pi09 and pi11 )
      or ( not pi00 and not pi01 and pi03 and pi04 and pi05 and not pi08 and pi09 and pi11 )
      or ( not pi01 and pi03 and pi04 and pi05 and not pi06 and not pi08 and pi09 and pi11 )
      or ( not pi00 and pi03 and pi04 and pi05 and not pi07 and not pi08 and pi09 and pi11 )
      or ( pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi11 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and pi04 and pi05 and pi10 and pi11 )
      or ( pi00 and pi01 and pi02 and pi03 and pi05 and pi06 and pi10 and pi11 )
      or ( not pi01 and not pi02 and not pi03 and pi04 and pi05 and not pi06 and pi10 and pi11 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi05 and pi07 and pi10 and pi11 )
      or ( pi00 and pi02 and pi03 and pi05 and pi06 and pi07 and pi10 and pi11 )
      or ( pi01 and pi02 and pi03 and pi05 and not pi06 and pi07 and pi10 and pi11 )
      or ( not pi00 and not pi02 and not pi03 and pi04 and pi05 and not pi07 and pi10 and pi11 )
      or ( not pi02 and not pi03 and pi04 and pi05 and not pi06 and not pi07 and pi10 and pi11 )
      or ( not pi00 and not pi01 and pi02 and pi03 and pi05 and pi08 and pi10 and pi11 )
      or ( pi00 and pi01 and pi03 and pi05 and pi06 and pi08 and pi10 and pi11 )
      or ( not pi01 and pi02 and pi03 and pi05 and not pi06 and pi08 and pi10 and pi11 )
      or ( not pi00 and pi01 and pi03 and pi05 and pi07 and pi08 and pi10 and pi11 )
      or ( pi00 and pi03 and pi05 and pi06 and pi07 and pi08 and pi10 and pi11 )
      or ( pi01 and pi03 and pi05 and not pi06 and pi07 and pi08 and pi10 and pi11 )
      or ( not pi00 and pi02 and pi03 and pi05 and not pi07 and pi08 and pi10 and pi11 )
      or ( pi02 and pi03 and pi05 and not pi06 and not pi07 and pi08 and pi10 and pi11 )
      or ( not pi00 and not pi01 and not pi03 and pi04 and pi05 and not pi08 and pi10 and pi11 )
      or ( not pi01 and not pi03 and pi04 and pi05 and not pi06 and not pi08 and pi10 and pi11 )
      or ( not pi00 and not pi03 and pi04 and pi05 and not pi07 and not pi08 and pi10 and pi11 )
      or ( not pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi10 and pi11 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and pi05 and pi09 and pi10 and pi11 )
      or ( pi00 and pi01 and pi02 and pi05 and pi06 and pi09 and pi10 and pi11 )
      or ( not pi01 and not pi02 and pi03 and pi05 and not pi06 and pi09 and pi10 and pi11 )
      or ( not pi00 and pi01 and pi02 and pi05 and pi07 and pi09 and pi10 and pi11 )
      or ( pi00 and pi02 and pi05 and pi06 and pi07 and pi09 and pi10 and pi11 )
      or ( pi01 and pi02 and pi05 and not pi06 and pi07 and pi09 and pi10 and pi11 )
      or ( not pi00 and not pi02 and pi03 and pi05 and not pi07 and pi09 and pi10 and pi11 )
      or ( not pi02 and pi03 and pi05 and not pi06 and not pi07 and pi09 and pi10 and pi11 )
      or ( not pi00 and not pi01 and pi02 and pi05 and pi08 and pi09 and pi10 and pi11 )
      or ( pi00 and pi01 and pi05 and pi06 and pi08 and pi09 and pi10 and pi11 )
      or ( not pi01 and pi02 and pi05 and not pi06 and pi08 and pi09 and pi10 and pi11 )
      or ( not pi00 and pi01 and pi05 and pi07 and pi08 and pi09 and pi10 and pi11 )
      or ( pi00 and pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and pi11 )
      or ( pi01 and pi05 and not pi06 and pi07 and pi08 and pi09 and pi10 and pi11 )
      or ( not pi00 and pi02 and pi05 and not pi07 and pi08 and pi09 and pi10 and pi11 )
      or ( pi02 and pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and pi11 )
      or ( not pi00 and not pi01 and pi03 and pi05 and not pi08 and pi09 and pi10 and pi11 )
      or ( not pi01 and pi03 and pi05 and not pi06 and not pi08 and pi09 and pi10 and pi11 )
      or ( not pi00 and pi03 and pi05 and not pi07 and not pi08 and pi09 and pi10 and pi11 )
      or ( pi03 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and pi11 )
      or ( not pi00 and not pi01 and not pi02 and pi04 and pi05 and not pi09 and pi10 and pi11 )
      or ( not pi01 and not pi02 and pi04 and pi05 and not pi06 and not pi09 and pi10 and pi11 )
      or ( not pi00 and not pi02 and pi04 and pi05 and not pi07 and not pi09 and pi10 and pi11 )
      or ( not pi02 and pi04 and pi05 and not pi06 and not pi07 and not pi09 and pi10 and pi11 )
      or ( not pi00 and not pi01 and pi04 and pi05 and not pi08 and not pi09 and pi10 and pi11 )
      or ( not pi01 and pi04 and pi05 and not pi06 and not pi08 and not pi09 and pi10 and pi11 )
      or ( not pi00 and pi04 and pi05 and not pi07 and not pi08 and not pi09 and pi10 and pi11 )
      or ( pi04 and pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and pi11 )
      or ( pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and not pi11 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and not pi05 and pi07 and not pi11 )
      or ( pi00 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi11 )
      or ( pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi11 )
      or ( not pi00 and not pi01 and pi02 and pi03 and pi04 and not pi05 and pi08 and not pi11 )
      or ( pi00 and pi01 and pi03 and pi04 and not pi05 and pi06 and pi08 and not pi11 )
      or ( not pi01 and pi02 and pi03 and pi04 and not pi05 and not pi06 and pi08 and not pi11 )
      or ( not pi00 and pi01 and pi03 and pi04 and not pi05 and pi07 and pi08 and not pi11 )
      or ( pi00 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi11 )
      or ( pi01 and pi03 and pi04 and not pi05 and not pi06 and pi07 and pi08 and not pi11 )
      or ( not pi00 and pi02 and pi03 and pi04 and not pi05 and not pi07 and pi08 and not pi11 )
      or ( pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and pi08 and not pi11 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and pi04 and not pi05 and pi09 and not pi11 )
      or ( pi00 and pi01 and pi02 and pi04 and not pi05 and pi06 and pi09 and not pi11 )
      or ( not pi01 and not pi02 and pi03 and pi04 and not pi05 and not pi06 and pi09 and not pi11 )
      or ( not pi00 and pi01 and pi02 and pi04 and not pi05 and pi07 and pi09 and not pi11 )
      or ( pi00 and pi02 and pi04 and not pi05 and pi06 and pi07 and pi09 and not pi11 )
      or ( pi01 and pi02 and pi04 and not pi05 and not pi06 and pi07 and pi09 and not pi11 )
      or ( not pi00 and not pi02 and pi03 and pi04 and not pi05 and not pi07 and pi09 and not pi11 )
      or ( not pi02 and pi03 and pi04 and not pi05 and not pi06 and not pi07 and pi09 and not pi11 )
      or ( not pi00 and not pi01 and pi02 and pi04 and not pi05 and pi08 and pi09 and not pi11 )
      or ( pi00 and pi01 and pi04 and not pi05 and pi06 and pi08 and pi09 and not pi11 )
      or ( not pi01 and pi02 and pi04 and not pi05 and not pi06 and pi08 and pi09 and not pi11 )
      or ( not pi00 and pi01 and pi04 and not pi05 and pi07 and pi08 and pi09 and not pi11 )
      or ( pi00 and pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and not pi11 )
      or ( pi01 and pi04 and not pi05 and not pi06 and pi07 and pi08 and pi09 and not pi11 )
      or ( not pi00 and pi02 and pi04 and not pi05 and not pi07 and pi08 and pi09 and not pi11 )
      or ( pi02 and pi04 and not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi11 )
      or ( not pi00 and not pi01 and pi03 and pi04 and not pi05 and not pi08 and pi09 and not pi11 )
      or ( not pi01 and pi03 and pi04 and not pi05 and not pi06 and not pi08 and pi09 and not pi11 )
      or ( not pi00 and pi03 and pi04 and not pi05 and not pi07 and not pi08 and pi09 and not pi11 )
      or ( pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi11 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and pi04 and not pi05 and pi10 and not pi11 )
      or ( pi00 and pi01 and pi02 and pi03 and not pi05 and pi06 and pi10 and not pi11 )
      or ( not pi01 and not pi02 and not pi03 and pi04 and not pi05 and not pi06 and pi10 and not pi11 )
      or ( not pi00 and pi01 and pi02 and pi03 and not pi05 and pi07 and pi10 and not pi11 )
      or ( pi00 and pi02 and pi03 and not pi05 and pi06 and pi07 and pi10 and not pi11 )
      or ( pi01 and pi02 and pi03 and not pi05 and not pi06 and pi07 and pi10 and not pi11 )
      or ( not pi00 and not pi02 and not pi03 and pi04 and not pi05 and not pi07 and pi10 and not pi11 )
      or ( not pi02 and not pi03 and pi04 and not pi05 and not pi06 and not pi07 and pi10 and not pi11 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi05 and pi08 and pi10 and not pi11 )
      or ( pi00 and pi01 and pi03 and not pi05 and pi06 and pi08 and pi10 and not pi11 )
      or ( not pi01 and pi02 and pi03 and not pi05 and not pi06 and pi08 and pi10 and not pi11 )
      or ( not pi00 and pi01 and pi03 and not pi05 and pi07 and pi08 and pi10 and not pi11 )
      or ( pi00 and pi03 and not pi05 and pi06 and pi07 and pi08 and pi10 and not pi11 )
      or ( pi01 and pi03 and not pi05 and not pi06 and pi07 and pi08 and pi10 and not pi11 )
      or ( not pi00 and pi02 and pi03 and not pi05 and not pi07 and pi08 and pi10 and not pi11 )
      or ( pi02 and pi03 and not pi05 and not pi06 and not pi07 and pi08 and pi10 and not pi11 )
      or ( not pi00 and not pi01 and not pi03 and pi04 and not pi05 and not pi08 and pi10 and not pi11 )
      or ( not pi01 and not pi03 and pi04 and not pi05 and not pi06 and not pi08 and pi10 and not pi11 )
      or ( not pi00 and not pi03 and pi04 and not pi05 and not pi07 and not pi08 and pi10 and not pi11 )
      or ( not pi03 and pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi10 and not pi11 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and not pi05 and pi09 and pi10 and not pi11 )
      or ( pi00 and pi01 and pi02 and not pi05 and pi06 and pi09 and pi10 and not pi11 )
      or ( not pi01 and not pi02 and pi03 and not pi05 and not pi06 and pi09 and pi10 and not pi11 )
      or ( not pi00 and pi01 and pi02 and not pi05 and pi07 and pi09 and pi10 and not pi11 )
      or ( pi00 and pi02 and not pi05 and pi06 and pi07 and pi09 and pi10 and not pi11 )
      or ( pi01 and pi02 and not pi05 and not pi06 and pi07 and pi09 and pi10 and not pi11 )
      or ( not pi00 and not pi02 and pi03 and not pi05 and not pi07 and pi09 and pi10 and not pi11 )
      or ( not pi02 and pi03 and not pi05 and not pi06 and not pi07 and pi09 and pi10 and not pi11 )
      or ( not pi00 and not pi01 and pi02 and not pi05 and pi08 and pi09 and pi10 and not pi11 )
      or ( pi00 and pi01 and not pi05 and pi06 and pi08 and pi09 and pi10 and not pi11 )
      or ( not pi01 and pi02 and not pi05 and not pi06 and pi08 and pi09 and pi10 and not pi11 )
      or ( not pi00 and pi01 and not pi05 and pi07 and pi08 and pi09 and pi10 and not pi11 )
      or ( pi00 and not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi11 )
      or ( pi01 and not pi05 and not pi06 and pi07 and pi08 and pi09 and pi10 and not pi11 )
      or ( not pi00 and pi02 and not pi05 and not pi07 and pi08 and pi09 and pi10 and not pi11 )
      or ( pi02 and not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and not pi11 )
      or ( not pi00 and not pi01 and pi03 and not pi05 and not pi08 and pi09 and pi10 and not pi11 )
      or ( not pi01 and pi03 and not pi05 and not pi06 and not pi08 and pi09 and pi10 and not pi11 )
      or ( not pi00 and pi03 and not pi05 and not pi07 and not pi08 and pi09 and pi10 and not pi11 )
      or ( pi03 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi11 )
      or ( not pi00 and not pi01 and not pi02 and pi04 and not pi05 and not pi09 and pi10 and not pi11 )
      or ( not pi01 and not pi02 and pi04 and not pi05 and not pi06 and not pi09 and pi10 and not pi11 )
      or ( not pi00 and not pi02 and pi04 and not pi05 and not pi07 and not pi09 and pi10 and not pi11 )
      or ( not pi02 and pi04 and not pi05 and not pi06 and not pi07 and not pi09 and pi10 and not pi11 )
      or ( not pi00 and not pi01 and pi04 and not pi05 and not pi08 and not pi09 and pi10 and not pi11 )
      or ( not pi01 and pi04 and not pi05 and not pi06 and not pi08 and not pi09 and pi10 and not pi11 )
      or ( not pi00 and pi04 and not pi05 and not pi07 and not pi08 and not pi09 and pi10 and not pi11 )
      or ( pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and not pi11 )
      or ( pi00 and not pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi11 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi08 and pi11 )
      or ( not pi00 and pi01 and not pi02 and not pi03 and not pi04 and not pi05 and pi07 and not pi08 and pi11 )
      or ( pi00 and not pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and pi11 )
      or ( pi01 and not pi02 and not pi03 and not pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi11 )
      or ( pi00 and not pi01 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and not pi08 and pi11 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi09 and pi11 )
      or ( not pi00 and pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi07 and not pi09 and pi11 )
      or ( pi00 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi09 and pi11 )
      or ( pi01 and pi02 and not pi03 and not pi04 and not pi05 and not pi06 and pi07 and not pi09 and pi11 )
      or ( pi00 and not pi01 and not pi02 and not pi04 and not pi05 and pi06 and not pi07 and not pi09 and pi11 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi08 and not pi09 and pi11 )
      or ( pi00 and pi01 and not pi03 and not pi04 and not pi05 and pi06 and pi08 and not pi09 and pi11 )
      or ( not pi01 and pi02 and not pi03 and not pi04 and not pi05 and not pi06 and pi08 and not pi09 and pi11 )
      or ( not pi00 and pi01 and not pi03 and not pi04 and not pi05 and pi07 and pi08 and not pi09 and pi11 )
      or ( pi00 and not pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and pi11 )
      or ( pi01 and not pi03 and not pi04 and not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi11 )
      or ( not pi00 and pi02 and not pi03 and not pi04 and not pi05 and not pi07 and pi08 and not pi09 and pi11 )
      or ( pi02 and not pi03 and not pi04 and not pi05 and not pi06 and not pi07 and pi08 and not pi09 and pi11 )
      or ( pi00 and pi01 and not pi02 and not pi04 and not pi05 and pi06 and not pi08 and not pi09 and pi11 )
      or ( not pi00 and pi01 and not pi02 and not pi04 and not pi05 and pi07 and not pi08 and not pi09 and pi11 )
      or ( pi00 and not pi02 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi11 )
      or ( pi01 and not pi02 and not pi04 and not pi05 and not pi06 and pi07 and not pi08 and not pi09 and pi11 )
      or ( pi00 and not pi01 and not pi04 and not pi05 and pi06 and not pi07 and not pi08 and not pi09 and pi11 )
      or ( pi00 and pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and not pi10 and pi11 )
      or ( not pi00 and pi01 and pi02 and pi03 and not pi04 and not pi05 and pi07 and not pi10 and pi11 )
      or ( pi00 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi10 and pi11 )
      or ( pi01 and pi02 and pi03 and not pi04 and not pi05 and not pi06 and pi07 and not pi10 and pi11 )
      or ( pi00 and not pi01 and not pi02 and not pi03 and not pi05 and pi06 and not pi07 and not pi10 and pi11 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and pi08 and not pi10 and pi11 )
      or ( pi00 and pi01 and pi03 and not pi04 and not pi05 and pi06 and pi08 and not pi10 and pi11 )
      or ( not pi01 and pi02 and pi03 and not pi04 and not pi05 and not pi06 and pi08 and not pi10 and pi11 )
      or ( not pi00 and pi01 and pi03 and not pi04 and not pi05 and pi07 and pi08 and not pi10 and pi11 )
      or ( pi00 and pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi10 and pi11 )
      or ( pi01 and pi03 and not pi04 and not pi05 and not pi06 and pi07 and pi08 and not pi10 and pi11 )
      or ( not pi00 and pi02 and pi03 and not pi04 and not pi05 and not pi07 and pi08 and not pi10 and pi11 )
      or ( pi02 and pi03 and not pi04 and not pi05 and not pi06 and not pi07 and pi08 and not pi10 and pi11 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi05 and pi06 and not pi08 and not pi10 and pi11 )
      or ( not pi00 and pi01 and not pi02 and not pi03 and not pi05 and pi07 and not pi08 and not pi10 and pi11 )
      or ( pi00 and not pi02 and not pi03 and not pi05 and pi06 and pi07 and not pi08 and not pi10 and pi11 )
      or ( pi01 and not pi02 and not pi03 and not pi05 and not pi06 and pi07 and not pi08 and not pi10 and pi11 )
      or ( pi00 and not pi01 and not pi03 and not pi05 and pi06 and not pi07 and not pi08 and not pi10 and pi11 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and not pi04 and not pi05 and pi09 and not pi10 and pi11 )
      or ( pi00 and pi01 and pi02 and not pi04 and not pi05 and pi06 and pi09 and not pi10 and pi11 )
      or ( not pi01 and not pi02 and pi03 and not pi04 and not pi05 and not pi06 and pi09 and not pi10 and pi11 )
      or ( not pi00 and pi01 and pi02 and not pi04 and not pi05 and pi07 and pi09 and not pi10 and pi11 )
      or ( pi00 and pi02 and not pi04 and not pi05 and pi06 and pi07 and pi09 and not pi10 and pi11 )
      or ( pi01 and pi02 and not pi04 and not pi05 and not pi06 and pi07 and pi09 and not pi10 and pi11 )
      or ( not pi00 and not pi02 and pi03 and not pi04 and not pi05 and not pi07 and pi09 and not pi10 and pi11 )
      or ( not pi02 and pi03 and not pi04 and not pi05 and not pi06 and not pi07 and pi09 and not pi10 and pi11 )
      or ( not pi00 and not pi01 and pi02 and not pi04 and not pi05 and pi08 and pi09 and not pi10 and pi11 )
      or ( pi00 and pi01 and not pi04 and not pi05 and pi06 and pi08 and pi09 and not pi10 and pi11 )
      or ( not pi01 and pi02 and not pi04 and not pi05 and not pi06 and pi08 and pi09 and not pi10 and pi11 )
      or ( not pi00 and pi01 and not pi04 and not pi05 and pi07 and pi08 and pi09 and not pi10 and pi11 )
      or ( pi00 and not pi04 and not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and pi11 )
      or ( pi01 and not pi04 and not pi05 and not pi06 and pi07 and pi08 and pi09 and not pi10 and pi11 )
      or ( not pi00 and pi02 and not pi04 and not pi05 and not pi07 and pi08 and pi09 and not pi10 and pi11 )
      or ( pi02 and not pi04 and not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and pi11 )
      or ( not pi00 and not pi01 and pi03 and not pi04 and not pi05 and not pi08 and pi09 and not pi10 and pi11 )
      or ( not pi01 and pi03 and not pi04 and not pi05 and not pi06 and not pi08 and pi09 and not pi10 and pi11 )
      or ( not pi00 and pi03 and not pi04 and not pi05 and not pi07 and not pi08 and pi09 and not pi10 and pi11 )
      or ( pi03 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and pi11 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi05 and pi06 and not pi09 and not pi10 and pi11 )
      or ( not pi00 and pi01 and pi02 and not pi03 and not pi05 and pi07 and not pi09 and not pi10 and pi11 )
      or ( pi00 and pi02 and not pi03 and not pi05 and pi06 and pi07 and not pi09 and not pi10 and pi11 )
      or ( pi01 and pi02 and not pi03 and not pi05 and not pi06 and pi07 and not pi09 and not pi10 and pi11 )
      or ( pi00 and not pi01 and not pi02 and not pi05 and pi06 and not pi07 and not pi09 and not pi10 and pi11 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and not pi05 and pi08 and not pi09 and not pi10 and pi11 )
      or ( pi00 and pi01 and not pi03 and not pi05 and pi06 and pi08 and not pi09 and not pi10 and pi11 )
      or ( not pi01 and pi02 and not pi03 and not pi05 and not pi06 and pi08 and not pi09 and not pi10 and pi11 )
      or ( not pi00 and pi01 and not pi03 and not pi05 and pi07 and pi08 and not pi09 and not pi10 and pi11 )
      or ( pi00 and not pi03 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and pi11 )
      or ( pi01 and not pi03 and not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and pi11 )
      or ( not pi00 and pi02 and not pi03 and not pi05 and not pi07 and pi08 and not pi09 and not pi10 and pi11 )
      or ( pi02 and not pi03 and not pi05 and not pi06 and not pi07 and pi08 and not pi09 and not pi10 and pi11 )
      or ( pi00 and pi01 and not pi02 and not pi05 and pi06 and not pi08 and not pi09 and not pi10 and pi11 )
      or ( not pi00 and pi01 and not pi02 and not pi05 and pi07 and not pi08 and not pi09 and not pi10 and pi11 )
      or ( pi00 and not pi02 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and pi11 )
      or ( pi01 and not pi02 and not pi05 and not pi06 and pi07 and not pi08 and not pi09 and not pi10 and pi11 )
      or ( pi00 and not pi01 and not pi05 and pi06 and not pi07 and not pi08 and not pi09 and not pi10 and pi11 )
      or ( pi00 and not pi01 and not pi02 and not pi03 and not pi04 and pi05 and pi06 and not pi07 and not pi11 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and pi05 and pi06 and not pi08 and not pi11 )
      or ( not pi00 and pi01 and not pi02 and not pi03 and not pi04 and pi05 and pi07 and not pi08 and not pi11 )
      or ( pi00 and not pi02 and not pi03 and not pi04 and pi05 and pi06 and pi07 and not pi08 and not pi11 )
      or ( pi01 and not pi02 and not pi03 and not pi04 and pi05 and not pi06 and pi07 and not pi08 and not pi11 )
      or ( pi00 and not pi01 and not pi03 and not pi04 and pi05 and pi06 and not pi07 and not pi08 and not pi11 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and pi05 and pi06 and not pi09 and not pi11 )
      or ( not pi00 and pi01 and pi02 and not pi03 and not pi04 and pi05 and pi07 and not pi09 and not pi11 )
      or ( pi00 and pi02 and not pi03 and not pi04 and pi05 and pi06 and pi07 and not pi09 and not pi11 )
      or ( pi01 and pi02 and not pi03 and not pi04 and pi05 and not pi06 and pi07 and not pi09 and not pi11 )
      or ( pi00 and not pi01 and not pi02 and not pi04 and pi05 and pi06 and not pi07 and not pi09 and not pi11 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and not pi04 and pi05 and pi08 and not pi09 and not pi11 )
      or ( pi00 and pi01 and not pi03 and not pi04 and pi05 and pi06 and pi08 and not pi09 and not pi11 )
      or ( not pi01 and pi02 and not pi03 and not pi04 and pi05 and not pi06 and pi08 and not pi09 and not pi11 )
      or ( not pi00 and pi01 and not pi03 and not pi04 and pi05 and pi07 and pi08 and not pi09 and not pi11 )
      or ( pi00 and not pi03 and not pi04 and pi05 and pi06 and pi07 and pi08 and not pi09 and not pi11 )
      or ( pi01 and not pi03 and not pi04 and pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi11 )
      or ( not pi00 and pi02 and not pi03 and not pi04 and pi05 and not pi07 and pi08 and not pi09 and not pi11 )
      or ( pi02 and not pi03 and not pi04 and pi05 and not pi06 and not pi07 and pi08 and not pi09 and not pi11 )
      or ( pi00 and pi01 and not pi02 and not pi04 and pi05 and pi06 and not pi08 and not pi09 and not pi11 )
      or ( not pi00 and pi01 and not pi02 and not pi04 and pi05 and pi07 and not pi08 and not pi09 and not pi11 )
      or ( pi00 and not pi02 and not pi04 and pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi11 )
      or ( pi01 and not pi02 and not pi04 and pi05 and not pi06 and pi07 and not pi08 and not pi09 and not pi11 )
      or ( pi00 and not pi01 and not pi04 and pi05 and pi06 and not pi07 and not pi08 and not pi09 and not pi11 )
      or ( pi00 and pi01 and pi02 and pi03 and not pi04 and pi05 and pi06 and not pi10 and not pi11 )
      or ( not pi00 and pi01 and pi02 and pi03 and not pi04 and pi05 and pi07 and not pi10 and not pi11 )
      or ( pi00 and pi02 and pi03 and not pi04 and pi05 and pi06 and pi07 and not pi10 and not pi11 )
      or ( pi01 and pi02 and pi03 and not pi04 and pi05 and not pi06 and pi07 and not pi10 and not pi11 )
      or ( pi00 and not pi01 and not pi02 and not pi03 and pi05 and pi06 and not pi07 and not pi10 and not pi11 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and pi05 and pi08 and not pi10 and not pi11 )
      or ( pi00 and pi01 and pi03 and not pi04 and pi05 and pi06 and pi08 and not pi10 and not pi11 )
      or ( not pi01 and pi02 and pi03 and not pi04 and pi05 and not pi06 and pi08 and not pi10 and not pi11 )
      or ( not pi00 and pi01 and pi03 and not pi04 and pi05 and pi07 and pi08 and not pi10 and not pi11 )
      or ( pi00 and pi03 and not pi04 and pi05 and pi06 and pi07 and pi08 and not pi10 and not pi11 )
      or ( pi01 and pi03 and not pi04 and pi05 and not pi06 and pi07 and pi08 and not pi10 and not pi11 )
      or ( not pi00 and pi02 and pi03 and not pi04 and pi05 and not pi07 and pi08 and not pi10 and not pi11 )
      or ( pi02 and pi03 and not pi04 and pi05 and not pi06 and not pi07 and pi08 and not pi10 and not pi11 )
      or ( pi00 and pi01 and not pi02 and not pi03 and pi05 and pi06 and not pi08 and not pi10 and not pi11 )
      or ( not pi00 and pi01 and not pi02 and not pi03 and pi05 and pi07 and not pi08 and not pi10 and not pi11 )
      or ( pi00 and not pi02 and not pi03 and pi05 and pi06 and pi07 and not pi08 and not pi10 and not pi11 )
      or ( pi01 and not pi02 and not pi03 and pi05 and not pi06 and pi07 and not pi08 and not pi10 and not pi11 )
      or ( pi00 and not pi01 and not pi03 and pi05 and pi06 and not pi07 and not pi08 and not pi10 and not pi11 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and not pi04 and pi05 and pi09 and not pi10 and not pi11 )
      or ( pi00 and pi01 and pi02 and not pi04 and pi05 and pi06 and pi09 and not pi10 and not pi11 )
      or ( not pi01 and not pi02 and pi03 and not pi04 and pi05 and not pi06 and pi09 and not pi10 and not pi11 )
      or ( not pi00 and pi01 and pi02 and not pi04 and pi05 and pi07 and pi09 and not pi10 and not pi11 )
      or ( pi00 and pi02 and not pi04 and pi05 and pi06 and pi07 and pi09 and not pi10 and not pi11 )
      or ( pi01 and pi02 and not pi04 and pi05 and not pi06 and pi07 and pi09 and not pi10 and not pi11 )
      or ( not pi00 and not pi02 and pi03 and not pi04 and pi05 and not pi07 and pi09 and not pi10 and not pi11 )
      or ( not pi02 and pi03 and not pi04 and pi05 and not pi06 and not pi07 and pi09 and not pi10 and not pi11 )
      or ( not pi00 and not pi01 and pi02 and not pi04 and pi05 and pi08 and pi09 and not pi10 and not pi11 )
      or ( pi00 and pi01 and not pi04 and pi05 and pi06 and pi08 and pi09 and not pi10 and not pi11 )
      or ( not pi01 and pi02 and not pi04 and pi05 and not pi06 and pi08 and pi09 and not pi10 and not pi11 )
      or ( not pi00 and pi01 and not pi04 and pi05 and pi07 and pi08 and pi09 and not pi10 and not pi11 )
      or ( pi00 and not pi04 and pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi11 )
      or ( pi01 and not pi04 and pi05 and not pi06 and pi07 and pi08 and pi09 and not pi10 and not pi11 )
      or ( not pi00 and pi02 and not pi04 and pi05 and not pi07 and pi08 and pi09 and not pi10 and not pi11 )
      or ( pi02 and not pi04 and pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi11 )
      or ( not pi00 and not pi01 and pi03 and not pi04 and pi05 and not pi08 and pi09 and not pi10 and not pi11 )
      or ( not pi01 and pi03 and not pi04 and pi05 and not pi06 and not pi08 and pi09 and not pi10 and not pi11 )
      or ( not pi00 and pi03 and not pi04 and pi05 and not pi07 and not pi08 and pi09 and not pi10 and not pi11 )
      or ( pi03 and not pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi11 )
      or ( pi00 and pi01 and pi02 and not pi03 and pi05 and pi06 and not pi09 and not pi10 and not pi11 )
      or ( not pi00 and pi01 and pi02 and not pi03 and pi05 and pi07 and not pi09 and not pi10 and not pi11 )
      or ( pi00 and pi02 and not pi03 and pi05 and pi06 and pi07 and not pi09 and not pi10 and not pi11 )
      or ( pi01 and pi02 and not pi03 and pi05 and not pi06 and pi07 and not pi09 and not pi10 and not pi11 )
      or ( pi00 and not pi01 and not pi02 and pi05 and pi06 and not pi07 and not pi09 and not pi10 and not pi11 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi05 and pi08 and not pi09 and not pi10 and not pi11 )
      or ( pi00 and pi01 and not pi03 and pi05 and pi06 and pi08 and not pi09 and not pi10 and not pi11 )
      or ( not pi01 and pi02 and not pi03 and pi05 and not pi06 and pi08 and not pi09 and not pi10 and not pi11 )
      or ( not pi00 and pi01 and not pi03 and pi05 and pi07 and pi08 and not pi09 and not pi10 and not pi11 )
      or ( pi00 and not pi03 and pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi11 )
      or ( pi01 and not pi03 and pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi11 )
      or ( not pi00 and pi02 and not pi03 and pi05 and not pi07 and pi08 and not pi09 and not pi10 and not pi11 )
      or ( pi02 and not pi03 and pi05 and not pi06 and not pi07 and pi08 and not pi09 and not pi10 and not pi11 )
      or ( pi00 and pi01 and not pi02 and pi05 and pi06 and not pi08 and not pi09 and not pi10 and not pi11 )
      or ( not pi00 and pi01 and not pi02 and pi05 and pi07 and not pi08 and not pi09 and not pi10 and not pi11 )
      or ( pi00 and not pi02 and pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi11 )
      or ( pi01 and not pi02 and pi05 and not pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi11 )
      or ( pi00 and not pi01 and pi05 and pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi11 )
      or ( pi00 and not pi01 and pi02 and pi03 and pi04 and pi05 and pi06 and not pi07 and pi08 and pi11 )
      or ( pi00 and not pi01 and not pi02 and pi03 and pi04 and pi05 and pi06 and not pi07 and pi09 and pi11 )
      or ( pi00 and not pi01 and pi02 and pi04 and pi05 and pi06 and not pi07 and pi08 and pi09 and pi11 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and pi05 and pi06 and not pi08 and pi09 and pi11 )
      or ( not pi00 and pi01 and not pi02 and pi03 and pi04 and pi05 and pi07 and not pi08 and pi09 and pi11 )
      or ( pi00 and not pi02 and pi03 and pi04 and pi05 and pi06 and pi07 and not pi08 and pi09 and pi11 )
      or ( pi01 and not pi02 and pi03 and pi04 and pi05 and not pi06 and pi07 and not pi08 and pi09 and pi11 )
      or ( pi00 and not pi01 and pi03 and pi04 and pi05 and pi06 and not pi07 and not pi08 and pi09 and pi11 )
      or ( pi00 and not pi01 and not pi02 and not pi03 and pi04 and pi05 and pi06 and not pi07 and pi10 and pi11 )
      or ( pi00 and not pi01 and pi02 and pi03 and pi05 and pi06 and not pi07 and pi08 and pi10 and pi11 )
      or ( pi00 and pi01 and not pi02 and not pi03 and pi04 and pi05 and pi06 and not pi08 and pi10 and pi11 )
      or ( not pi00 and pi01 and not pi02 and not pi03 and pi04 and pi05 and pi07 and not pi08 and pi10 and pi11 )
      or ( pi00 and not pi02 and not pi03 and pi04 and pi05 and pi06 and pi07 and not pi08 and pi10 and pi11 )
      or ( pi01 and not pi02 and not pi03 and pi04 and pi05 and not pi06 and pi07 and not pi08 and pi10 and pi11 )
      or ( pi00 and not pi01 and not pi03 and pi04 and pi05 and pi06 and not pi07 and not pi08 and pi10 and pi11 )
      or ( pi00 and not pi01 and not pi02 and pi03 and pi05 and pi06 and not pi07 and pi09 and pi10 and pi11 )
      or ( pi00 and not pi01 and pi02 and pi05 and pi06 and not pi07 and pi08 and pi09 and pi10 and pi11 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi05 and pi06 and not pi08 and pi09 and pi10 and pi11 )
      or ( not pi00 and pi01 and not pi02 and pi03 and pi05 and pi07 and not pi08 and pi09 and pi10 and pi11 )
      or ( pi00 and not pi02 and pi03 and pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and pi11 )
      or ( pi01 and not pi02 and pi03 and pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and pi11 )
      or ( pi00 and not pi01 and pi03 and pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and pi11 )
      or ( pi00 and pi01 and pi02 and not pi03 and pi04 and pi05 and pi06 and not pi09 and pi10 and pi11 )
      or ( not pi00 and pi01 and pi02 and not pi03 and pi04 and pi05 and pi07 and not pi09 and pi10 and pi11 )
      or ( pi00 and pi02 and not pi03 and pi04 and pi05 and pi06 and pi07 and not pi09 and pi10 and pi11 )
      or ( pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and pi07 and not pi09 and pi10 and pi11 )
      or ( pi00 and not pi01 and not pi02 and pi04 and pi05 and pi06 and not pi07 and not pi09 and pi10 and pi11 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and pi08 and not pi09 and pi10 and pi11 )
      or ( pi00 and pi01 and not pi03 and pi04 and pi05 and pi06 and pi08 and not pi09 and pi10 and pi11 )
      or ( not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and pi08 and not pi09 and pi10 and pi11 )
      or ( not pi00 and pi01 and not pi03 and pi04 and pi05 and pi07 and pi08 and not pi09 and pi10 and pi11 )
      or ( pi00 and not pi03 and pi04 and pi05 and pi06 and pi07 and pi08 and not pi09 and pi10 and pi11 )
      or ( pi01 and not pi03 and pi04 and pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and pi11 )
      or ( not pi00 and pi02 and not pi03 and pi04 and pi05 and not pi07 and pi08 and not pi09 and pi10 and pi11 )
      or ( pi02 and not pi03 and pi04 and pi05 and not pi06 and not pi07 and pi08 and not pi09 and pi10 and pi11 )
      or ( pi00 and pi01 and not pi02 and pi04 and pi05 and pi06 and not pi08 and not pi09 and pi10 and pi11 )
      or ( not pi00 and pi01 and not pi02 and pi04 and pi05 and pi07 and not pi08 and not pi09 and pi10 and pi11 )
      or ( pi00 and not pi02 and pi04 and pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and pi11 )
      or ( pi01 and not pi02 and pi04 and pi05 and not pi06 and pi07 and not pi08 and not pi09 and pi10 and pi11 )
      or ( pi00 and not pi01 and pi04 and pi05 and pi06 and not pi07 and not pi08 and not pi09 and pi10 and pi11 )
      or ( pi00 and not pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and not pi07 and pi08 and not pi11 )
      or ( pi00 and not pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and not pi07 and pi09 and not pi11 )
      or ( pi00 and not pi01 and pi02 and pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi11 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi06 and not pi08 and pi09 and not pi11 )
      or ( not pi00 and pi01 and not pi02 and pi03 and pi04 and not pi05 and pi07 and not pi08 and pi09 and not pi11 )
      or ( pi00 and not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and not pi11 )
      or ( pi01 and not pi02 and pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi11 )
      or ( pi00 and not pi01 and pi03 and pi04 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi11 )
      or ( pi00 and not pi01 and not pi02 and not pi03 and pi04 and not pi05 and pi06 and not pi07 and pi10 and not pi11 )
      or ( pi00 and not pi01 and pi02 and pi03 and not pi05 and pi06 and not pi07 and pi08 and pi10 and not pi11 )
      or ( pi00 and pi01 and not pi02 and not pi03 and pi04 and not pi05 and pi06 and not pi08 and pi10 and not pi11 )
      or ( not pi00 and pi01 and not pi02 and not pi03 and pi04 and not pi05 and pi07 and not pi08 and pi10 and not pi11 )
      or ( pi00 and not pi02 and not pi03 and pi04 and not pi05 and pi06 and pi07 and not pi08 and pi10 and not pi11 )
      or ( pi01 and not pi02 and not pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and pi10 and not pi11 )
      or ( pi00 and not pi01 and not pi03 and pi04 and not pi05 and pi06 and not pi07 and not pi08 and pi10 and not pi11 )
      or ( pi00 and not pi01 and not pi02 and pi03 and not pi05 and pi06 and not pi07 and pi09 and pi10 and not pi11 )
      or ( pi00 and not pi01 and pi02 and not pi05 and pi06 and not pi07 and pi08 and pi09 and pi10 and not pi11 )
      or ( pi00 and pi01 and not pi02 and pi03 and not pi05 and pi06 and not pi08 and pi09 and pi10 and not pi11 )
      or ( not pi00 and pi01 and not pi02 and pi03 and not pi05 and pi07 and not pi08 and pi09 and pi10 and not pi11 )
      or ( pi00 and not pi02 and pi03 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi11 )
      or ( pi01 and not pi02 and pi03 and not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi11 )
      or ( pi00 and not pi01 and pi03 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi11 )
      or ( pi00 and pi01 and pi02 and not pi03 and pi04 and not pi05 and pi06 and not pi09 and pi10 and not pi11 )
      or ( not pi00 and pi01 and pi02 and not pi03 and pi04 and not pi05 and pi07 and not pi09 and pi10 and not pi11 )
      or ( pi00 and pi02 and not pi03 and pi04 and not pi05 and pi06 and pi07 and not pi09 and pi10 and not pi11 )
      or ( pi01 and pi02 and not pi03 and pi04 and not pi05 and not pi06 and pi07 and not pi09 and pi10 and not pi11 )
      or ( pi00 and not pi01 and not pi02 and pi04 and not pi05 and pi06 and not pi07 and not pi09 and pi10 and not pi11 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and not pi05 and pi08 and not pi09 and pi10 and not pi11 )
      or ( pi00 and pi01 and not pi03 and pi04 and not pi05 and pi06 and pi08 and not pi09 and pi10 and not pi11 )
      or ( not pi01 and pi02 and not pi03 and pi04 and not pi05 and not pi06 and pi08 and not pi09 and pi10 and not pi11 )
      or ( not pi00 and pi01 and not pi03 and pi04 and not pi05 and pi07 and pi08 and not pi09 and pi10 and not pi11 )
      or ( pi00 and not pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and pi10 and not pi11 )
      or ( pi01 and not pi03 and pi04 and not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and not pi11 )
      or ( not pi00 and pi02 and not pi03 and pi04 and not pi05 and not pi07 and pi08 and not pi09 and pi10 and not pi11 )
      or ( pi02 and not pi03 and pi04 and not pi05 and not pi06 and not pi07 and pi08 and not pi09 and pi10 and not pi11 )
      or ( pi00 and pi01 and not pi02 and pi04 and not pi05 and pi06 and not pi08 and not pi09 and pi10 and not pi11 )
      or ( not pi00 and pi01 and not pi02 and pi04 and not pi05 and pi07 and not pi08 and not pi09 and pi10 and not pi11 )
      or ( pi00 and not pi02 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi11 )
      or ( pi01 and not pi02 and pi04 and not pi05 and not pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi11 )
      or ( pi00 and not pi01 and pi04 and not pi05 and pi06 and not pi07 and not pi08 and not pi09 and pi10 and not pi11 )
      or ( pi00 and not pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi11 )
      or ( pi00 and not pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and not pi10 and pi11 )
      or ( pi00 and not pi01 and not pi02 and pi03 and not pi04 and not pi05 and pi06 and not pi07 and pi09 and not pi10 and pi11 )
      or ( pi00 and not pi01 and pi02 and not pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and pi11 )
      or ( pi00 and pi01 and not pi02 and pi03 and not pi04 and not pi05 and pi06 and not pi08 and pi09 and not pi10 and pi11 )
      or ( not pi00 and pi01 and not pi02 and pi03 and not pi04 and not pi05 and pi07 and not pi08 and pi09 and not pi10 and pi11 )
      or ( pi00 and not pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and not pi10 and pi11 )
      or ( 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 pi11 )
      or ( pi00 and not pi01 and pi03 and not pi04 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and pi11 )
      or ( pi00 and not pi01 and pi02 and not pi03 and not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and pi11 )
      or ( pi00 and not pi01 and pi02 and not pi03 and not pi04 and pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi11 )
      or ( pi00 and not pi01 and pi02 and pi03 and not pi04 and pi05 and pi06 and not pi07 and pi08 and not pi10 and not pi11 )
      or ( pi00 and not pi01 and not pi02 and pi03 and not pi04 and pi05 and pi06 and not pi07 and pi09 and not pi10 and not pi11 )
      or ( pi00 and not pi01 and pi02 and not pi04 and pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi11 )
      or ( pi00 and pi01 and not pi02 and pi03 and not pi04 and pi05 and pi06 and not pi08 and pi09 and not pi10 and not pi11 )
      or ( not pi00 and pi01 and not pi02 and pi03 and not pi04 and pi05 and pi07 and not pi08 and pi09 and not pi10 and not pi11 )
      or ( pi00 and not pi02 and pi03 and not pi04 and pi05 and pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi11 )
      or ( pi01 and not pi02 and pi03 and not pi04 and pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi11 )
      or ( pi00 and not pi01 and pi03 and not pi04 and pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi11 )
      or ( pi00 and not pi01 and pi02 and not pi03 and pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and not pi11 )
      or ( pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and pi11 )
      or ( pi00 and not pi01 and pi02 and not pi03 and pi04 and not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and not pi11 );
    po6 <= ( pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and pi06 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and pi07 )
      or ( pi00 and pi02 and pi03 and pi04 and pi05 and pi06 and pi07 )
      or ( pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and pi07 )
      or ( not pi00 and not pi01 and pi02 and pi03 and pi04 and pi05 and pi08 )
      or ( pi00 and pi01 and pi03 and pi04 and pi05 and pi06 and pi08 )
      or ( not pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and pi08 )
      or ( not pi00 and pi01 and pi03 and pi04 and pi05 and pi07 and pi08 )
      or ( pi00 and pi03 and pi04 and pi05 and pi06 and pi07 and pi08 )
      or ( pi01 and pi03 and pi04 and pi05 and not pi06 and pi07 and pi08 )
      or ( not pi00 and pi02 and pi03 and pi04 and pi05 and not pi07 and pi08 )
      or ( pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and pi08 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and pi04 and pi05 and pi09 )
      or ( pi00 and pi01 and pi02 and pi04 and pi05 and pi06 and pi09 )
      or ( not pi01 and not pi02 and pi03 and pi04 and pi05 and not pi06 and pi09 )
      or ( not pi00 and pi01 and pi02 and pi04 and pi05 and pi07 and pi09 )
      or ( pi00 and pi02 and pi04 and pi05 and pi06 and pi07 and pi09 )
      or ( pi01 and pi02 and pi04 and pi05 and not pi06 and pi07 and pi09 )
      or ( not pi00 and not pi02 and pi03 and pi04 and pi05 and not pi07 and pi09 )
      or ( not pi02 and pi03 and pi04 and pi05 and not pi06 and not pi07 and pi09 )
      or ( not pi00 and not pi01 and pi02 and pi04 and pi05 and pi08 and pi09 )
      or ( pi00 and pi01 and pi04 and pi05 and pi06 and pi08 and pi09 )
      or ( not pi01 and pi02 and pi04 and pi05 and not pi06 and pi08 and pi09 )
      or ( not pi00 and pi01 and pi04 and pi05 and pi07 and pi08 and pi09 )
      or ( pi00 and pi04 and pi05 and pi06 and pi07 and pi08 and pi09 )
      or ( pi01 and pi04 and pi05 and not pi06 and pi07 and pi08 and pi09 )
      or ( not pi00 and pi02 and pi04 and pi05 and not pi07 and pi08 and pi09 )
      or ( pi02 and pi04 and pi05 and not pi06 and not pi07 and pi08 and pi09 )
      or ( not pi00 and not pi01 and pi03 and pi04 and pi05 and not pi08 and pi09 )
      or ( not pi01 and pi03 and pi04 and pi05 and not pi06 and not pi08 and pi09 )
      or ( not pi00 and pi03 and pi04 and pi05 and not pi07 and not pi08 and pi09 )
      or ( pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and pi04 and pi05 and pi10 )
      or ( pi00 and pi01 and pi02 and pi03 and pi05 and pi06 and pi10 )
      or ( not pi01 and not pi02 and not pi03 and pi04 and pi05 and not pi06 and pi10 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi05 and pi07 and pi10 )
      or ( pi00 and pi02 and pi03 and pi05 and pi06 and pi07 and pi10 )
      or ( pi01 and pi02 and pi03 and pi05 and not pi06 and pi07 and pi10 )
      or ( not pi00 and not pi02 and not pi03 and pi04 and pi05 and not pi07 and pi10 )
      or ( not pi02 and not pi03 and pi04 and pi05 and not pi06 and not pi07 and pi10 )
      or ( not pi00 and not pi01 and pi02 and pi03 and pi05 and pi08 and pi10 )
      or ( pi00 and pi01 and pi03 and pi05 and pi06 and pi08 and pi10 )
      or ( not pi01 and pi02 and pi03 and pi05 and not pi06 and pi08 and pi10 )
      or ( not pi00 and pi01 and pi03 and pi05 and pi07 and pi08 and pi10 )
      or ( pi00 and pi03 and pi05 and pi06 and pi07 and pi08 and pi10 )
      or ( pi01 and pi03 and pi05 and not pi06 and pi07 and pi08 and pi10 )
      or ( not pi00 and pi02 and pi03 and pi05 and not pi07 and pi08 and pi10 )
      or ( pi02 and pi03 and pi05 and not pi06 and not pi07 and pi08 and pi10 )
      or ( not pi00 and not pi01 and not pi03 and pi04 and pi05 and not pi08 and pi10 )
      or ( not pi01 and not pi03 and pi04 and pi05 and not pi06 and not pi08 and pi10 )
      or ( not pi00 and not pi03 and pi04 and pi05 and not pi07 and not pi08 and pi10 )
      or ( not pi03 and pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi10 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and pi05 and pi09 and pi10 )
      or ( pi00 and pi01 and pi02 and pi05 and pi06 and pi09 and pi10 )
      or ( not pi01 and not pi02 and pi03 and pi05 and not pi06 and pi09 and pi10 )
      or ( not pi00 and pi01 and pi02 and pi05 and pi07 and pi09 and pi10 )
      or ( pi00 and pi02 and pi05 and pi06 and pi07 and pi09 and pi10 )
      or ( pi01 and pi02 and pi05 and not pi06 and pi07 and pi09 and pi10 )
      or ( not pi00 and not pi02 and pi03 and pi05 and not pi07 and pi09 and pi10 )
      or ( not pi02 and pi03 and pi05 and not pi06 and not pi07 and pi09 and pi10 )
      or ( not pi00 and not pi01 and pi02 and pi05 and pi08 and pi09 and pi10 )
      or ( pi00 and pi01 and pi05 and pi06 and pi08 and pi09 and pi10 )
      or ( not pi01 and pi02 and pi05 and not pi06 and pi08 and pi09 and pi10 )
      or ( not pi00 and pi01 and pi05 and pi07 and pi08 and pi09 and pi10 )
      or ( pi00 and pi05 and pi06 and pi07 and pi08 and pi09 and pi10 )
      or ( pi01 and pi05 and not pi06 and pi07 and pi08 and pi09 and pi10 )
      or ( not pi00 and pi02 and pi05 and not pi07 and pi08 and pi09 and pi10 )
      or ( pi02 and pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 )
      or ( not pi00 and not pi01 and pi03 and pi05 and not pi08 and pi09 and pi10 )
      or ( not pi01 and pi03 and pi05 and not pi06 and not pi08 and pi09 and pi10 )
      or ( not pi00 and pi03 and pi05 and not pi07 and not pi08 and pi09 and pi10 )
      or ( pi03 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 )
      or ( not pi00 and not pi01 and not pi02 and pi04 and pi05 and not pi09 and pi10 )
      or ( not pi01 and not pi02 and pi04 and pi05 and not pi06 and not pi09 and pi10 )
      or ( not pi00 and not pi02 and pi04 and pi05 and not pi07 and not pi09 and pi10 )
      or ( not pi02 and pi04 and pi05 and not pi06 and not pi07 and not pi09 and pi10 )
      or ( not pi00 and not pi01 and pi04 and pi05 and not pi08 and not pi09 and pi10 )
      or ( not pi01 and pi04 and pi05 and not pi06 and not pi08 and not pi09 and pi10 )
      or ( not pi00 and pi04 and pi05 and not pi07 and not pi08 and not pi09 and pi10 )
      or ( pi04 and pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 and pi05 and pi11 )
      or ( pi00 and pi01 and pi02 and pi03 and pi04 and pi06 and pi11 )
      or ( not pi01 and not pi02 and not pi03 and not pi04 and pi05 and not pi06 and pi11 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi04 and pi07 and pi11 )
      or ( pi00 and pi02 and pi03 and pi04 and pi06 and pi07 and pi11 )
      or ( pi01 and pi02 and pi03 and pi04 and not pi06 and pi07 and pi11 )
      or ( not pi00 and not pi02 and not pi03 and not pi04 and pi05 and not pi07 and pi11 )
      or ( not pi02 and not pi03 and not pi04 and pi05 and not pi06 and not pi07 and pi11 )
      or ( not pi00 and not pi01 and pi02 and pi03 and pi04 and pi08 and pi11 )
      or ( pi00 and pi01 and pi03 and pi04 and pi06 and pi08 and pi11 )
      or ( not pi01 and pi02 and pi03 and pi04 and not pi06 and pi08 and pi11 )
      or ( not pi00 and pi01 and pi03 and pi04 and pi07 and pi08 and pi11 )
      or ( pi00 and pi03 and pi04 and pi06 and pi07 and pi08 and pi11 )
      or ( pi01 and pi03 and pi04 and not pi06 and pi07 and pi08 and pi11 )
      or ( not pi00 and pi02 and pi03 and pi04 and not pi07 and pi08 and pi11 )
      or ( pi02 and pi03 and pi04 and not pi06 and not pi07 and pi08 and pi11 )
      or ( not pi00 and not pi01 and not pi03 and not pi04 and pi05 and not pi08 and pi11 )
      or ( not pi01 and not pi03 and not pi04 and pi05 and not pi06 and not pi08 and pi11 )
      or ( not pi00 and not pi03 and not pi04 and pi05 and not pi07 and not pi08 and pi11 )
      or ( not pi03 and not pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi11 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and pi04 and pi09 and pi11 )
      or ( pi00 and pi01 and pi02 and pi04 and pi06 and pi09 and pi11 )
      or ( not pi01 and not pi02 and pi03 and pi04 and not pi06 and pi09 and pi11 )
      or ( not pi00 and pi01 and pi02 and pi04 and pi07 and pi09 and pi11 )
      or ( pi00 and pi02 and pi04 and pi06 and pi07 and pi09 and pi11 )
      or ( pi01 and pi02 and pi04 and not pi06 and pi07 and pi09 and pi11 )
      or ( not pi00 and not pi02 and pi03 and pi04 and not pi07 and pi09 and pi11 )
      or ( not pi02 and pi03 and pi04 and not pi06 and not pi07 and pi09 and pi11 )
      or ( not pi00 and not pi01 and pi02 and pi04 and pi08 and pi09 and pi11 )
      or ( pi00 and pi01 and pi04 and pi06 and pi08 and pi09 and pi11 )
      or ( not pi01 and pi02 and pi04 and not pi06 and pi08 and pi09 and pi11 )
      or ( not pi00 and pi01 and pi04 and pi07 and pi08 and pi09 and pi11 )
      or ( pi00 and pi04 and pi06 and pi07 and pi08 and pi09 and pi11 )
      or ( pi01 and pi04 and not pi06 and pi07 and pi08 and pi09 and pi11 )
      or ( not pi00 and pi02 and pi04 and not pi07 and pi08 and pi09 and pi11 )
      or ( pi02 and pi04 and not pi06 and not pi07 and pi08 and pi09 and pi11 )
      or ( not pi00 and not pi01 and pi03 and pi04 and not pi08 and pi09 and pi11 )
      or ( not pi01 and pi03 and pi04 and not pi06 and not pi08 and pi09 and pi11 )
      or ( not pi00 and pi03 and pi04 and not pi07 and not pi08 and pi09 and pi11 )
      or ( pi03 and pi04 and not pi06 and not pi07 and not pi08 and pi09 and pi11 )
      or ( not pi00 and not pi01 and not pi02 and not pi04 and pi05 and not pi09 and pi11 )
      or ( not pi01 and not pi02 and not pi04 and pi05 and not pi06 and not pi09 and pi11 )
      or ( not pi00 and not pi02 and not pi04 and pi05 and not pi07 and not pi09 and pi11 )
      or ( not pi02 and not pi04 and pi05 and not pi06 and not pi07 and not pi09 and pi11 )
      or ( not pi00 and not pi01 and not pi04 and pi05 and not pi08 and not pi09 and pi11 )
      or ( not pi01 and not pi04 and pi05 and not pi06 and not pi08 and not pi09 and pi11 )
      or ( not pi00 and not pi04 and pi05 and not pi07 and not pi08 and not pi09 and pi11 )
      or ( not pi04 and pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi11 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and pi04 and pi10 and pi11 )
      or ( pi00 and pi01 and pi02 and pi03 and pi06 and pi10 and pi11 )
      or ( not pi01 and not pi02 and not pi03 and pi04 and not pi06 and pi10 and pi11 )
      or ( not pi00 and pi01 and pi02 and pi03 and pi07 and pi10 and pi11 )
      or ( pi00 and pi02 and pi03 and pi06 and pi07 and pi10 and pi11 )
      or ( pi01 and pi02 and pi03 and not pi06 and pi07 and pi10 and pi11 )
      or ( not pi00 and not pi02 and not pi03 and pi04 and not pi07 and pi10 and pi11 )
      or ( not pi02 and not pi03 and pi04 and not pi06 and not pi07 and pi10 and pi11 )
      or ( not pi00 and not pi01 and pi02 and pi03 and pi08 and pi10 and pi11 )
      or ( pi00 and pi01 and pi03 and pi06 and pi08 and pi10 and pi11 )
      or ( not pi01 and pi02 and pi03 and not pi06 and pi08 and pi10 and pi11 )
      or ( not pi00 and pi01 and pi03 and pi07 and pi08 and pi10 and pi11 )
      or ( pi00 and pi03 and pi06 and pi07 and pi08 and pi10 and pi11 )
      or ( pi01 and pi03 and not pi06 and pi07 and pi08 and pi10 and pi11 )
      or ( not pi00 and pi02 and pi03 and not pi07 and pi08 and pi10 and pi11 )
      or ( pi02 and pi03 and not pi06 and not pi07 and pi08 and pi10 and pi11 )
      or ( not pi00 and not pi01 and not pi03 and pi04 and not pi08 and pi10 and pi11 )
      or ( not pi01 and not pi03 and pi04 and not pi06 and not pi08 and pi10 and pi11 )
      or ( not pi00 and not pi03 and pi04 and not pi07 and not pi08 and pi10 and pi11 )
      or ( not pi03 and pi04 and not pi06 and not pi07 and not pi08 and pi10 and pi11 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and pi09 and pi10 and pi11 )
      or ( pi00 and pi01 and pi02 and pi06 and pi09 and pi10 and pi11 )
      or ( not pi01 and not pi02 and pi03 and not pi06 and pi09 and pi10 and pi11 )
      or ( not pi00 and pi01 and pi02 and pi07 and pi09 and pi10 and pi11 )
      or ( pi00 and pi02 and pi06 and pi07 and pi09 and pi10 and pi11 )
      or ( pi01 and pi02 and not pi06 and pi07 and pi09 and pi10 and pi11 )
      or ( not pi00 and not pi02 and pi03 and not pi07 and pi09 and pi10 and pi11 )
      or ( not pi02 and pi03 and not pi06 and not pi07 and pi09 and pi10 and pi11 )
      or ( not pi00 and not pi01 and pi02 and pi08 and pi09 and pi10 and pi11 )
      or ( pi00 and pi01 and pi06 and pi08 and pi09 and pi10 and pi11 )
      or ( not pi01 and pi02 and not pi06 and pi08 and pi09 and pi10 and pi11 )
      or ( not pi00 and pi01 and pi07 and pi08 and pi09 and pi10 and pi11 )
      or ( pi00 and pi06 and pi07 and pi08 and pi09 and pi10 and pi11 )
      or ( pi01 and not pi06 and pi07 and pi08 and pi09 and pi10 and pi11 )
      or ( not pi00 and pi02 and not pi07 and pi08 and pi09 and pi10 and pi11 )
      or ( pi02 and not pi06 and not pi07 and pi08 and pi09 and pi10 and pi11 )
      or ( not pi00 and not pi01 and pi03 and not pi08 and pi09 and pi10 and pi11 )
      or ( not pi01 and pi03 and not pi06 and not pi08 and pi09 and pi10 and pi11 )
      or ( not pi00 and pi03 and not pi07 and not pi08 and pi09 and pi10 and pi11 )
      or ( pi03 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and pi11 )
      or ( not pi00 and not pi01 and not pi02 and pi04 and not pi09 and pi10 and pi11 )
      or ( not pi01 and not pi02 and pi04 and not pi06 and not pi09 and pi10 and pi11 )
      or ( not pi00 and not pi02 and pi04 and not pi07 and not pi09 and pi10 and pi11 )
      or ( not pi02 and pi04 and not pi06 and not pi07 and not pi09 and pi10 and pi11 )
      or ( not pi00 and not pi01 and pi04 and not pi08 and not pi09 and pi10 and pi11 )
      or ( not pi01 and pi04 and not pi06 and not pi08 and not pi09 and pi10 and pi11 )
      or ( not pi00 and pi04 and not pi07 and not pi08 and not pi09 and pi10 and pi11 )
      or ( pi04 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and pi11 )
      or ( not pi00 and not pi01 and not pi02 and not pi03 and pi05 and not pi10 and pi11 )
      or ( not pi01 and not pi02 and not pi03 and pi05 and not pi06 and not pi10 and pi11 )
      or ( not pi00 and not pi02 and not pi03 and pi05 and not pi07 and not pi10 and pi11 )
      or ( not pi02 and not pi03 and pi05 and not pi06 and not pi07 and not pi10 and pi11 )
      or ( not pi00 and not pi01 and not pi03 and pi05 and not pi08 and not pi10 and pi11 )
      or ( not pi01 and not pi03 and pi05 and not pi06 and not pi08 and not pi10 and pi11 )
      or ( not pi00 and not pi03 and pi05 and not pi07 and not pi08 and not pi10 and pi11 )
      or ( not pi03 and pi05 and not pi06 and not pi07 and not pi08 and not pi10 and pi11 )
      or ( not pi00 and not pi01 and not pi02 and pi05 and not pi09 and not pi10 and pi11 )
      or ( not pi01 and not pi02 and pi05 and not pi06 and not pi09 and not pi10 and pi11 )
      or ( not pi00 and not pi02 and pi05 and not pi07 and not pi09 and not pi10 and pi11 )
      or ( not pi02 and pi05 and not pi06 and not pi07 and not pi09 and not pi10 and pi11 )
      or ( not pi00 and not pi01 and pi05 and not pi08 and not pi09 and not pi10 and pi11 )
      or ( not pi01 and pi05 and not pi06 and not pi08 and not pi09 and not pi10 and pi11 )
      or ( not pi00 and pi05 and not pi07 and not pi08 and not pi09 and not pi10 and pi11 )
      or ( pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and pi11 )
      or ( pi00 and not pi01 and pi02 and pi03 and pi04 and pi05 and pi06 and not pi07 and pi08 )
      or ( pi00 and not pi01 and not pi02 and pi03 and pi04 and pi05 and pi06 and not pi07 and pi09 )
      or ( pi00 and not pi01 and pi02 and pi04 and pi05 and pi06 and not pi07 and pi08 and pi09 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and pi05 and pi06 and not pi08 and pi09 )
      or ( not pi00 and pi01 and not pi02 and pi03 and pi04 and pi05 and pi07 and not pi08 and pi09 )
      or ( pi00 and not pi02 and pi03 and pi04 and pi05 and pi06 and pi07 and not pi08 and pi09 )
      or ( pi01 and not pi02 and pi03 and pi04 and pi05 and not pi06 and pi07 and not pi08 and pi09 )
      or ( pi00 and not pi01 and pi03 and pi04 and pi05 and pi06 and not pi07 and not pi08 and pi09 )
      or ( pi00 and not pi01 and not pi02 and not pi03 and pi04 and pi05 and pi06 and not pi07 and pi10 )
      or ( pi00 and not pi01 and pi02 and pi03 and pi05 and pi06 and not pi07 and pi08 and pi10 )
      or ( pi00 and pi01 and not pi02 and not pi03 and pi04 and pi05 and pi06 and not pi08 and pi10 )
      or ( not pi00 and pi01 and not pi02 and not pi03 and pi04 and pi05 and pi07 and not pi08 and pi10 )
      or ( pi00 and not pi02 and not pi03 and pi04 and pi05 and pi06 and pi07 and not pi08 and pi10 )
      or ( pi01 and not pi02 and not pi03 and pi04 and pi05 and not pi06 and pi07 and not pi08 and pi10 )
      or ( pi00 and not pi01 and not pi03 and pi04 and pi05 and pi06 and not pi07 and not pi08 and pi10 )
      or ( pi00 and not pi01 and not pi02 and pi03 and pi05 and pi06 and not pi07 and pi09 and pi10 )
      or ( pi00 and not pi01 and pi02 and pi05 and pi06 and not pi07 and pi08 and pi09 and pi10 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi05 and pi06 and not pi08 and pi09 and pi10 )
      or ( not pi00 and pi01 and not pi02 and pi03 and pi05 and pi07 and not pi08 and pi09 and pi10 )
      or ( pi00 and not pi02 and pi03 and pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 )
      or ( pi01 and not pi02 and pi03 and pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 )
      or ( pi00 and not pi01 and pi03 and pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 )
      or ( pi00 and pi01 and pi02 and not pi03 and pi04 and pi05 and pi06 and not pi09 and pi10 )
      or ( not pi00 and pi01 and pi02 and not pi03 and pi04 and pi05 and pi07 and not pi09 and pi10 )
      or ( pi00 and pi02 and not pi03 and pi04 and pi05 and pi06 and pi07 and not pi09 and pi10 )
      or ( pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and pi07 and not pi09 and pi10 )
      or ( pi00 and not pi01 and not pi02 and pi04 and pi05 and pi06 and not pi07 and not pi09 and pi10 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and pi08 and not pi09 and pi10 )
      or ( pi00 and pi01 and not pi03 and pi04 and pi05 and pi06 and pi08 and not pi09 and pi10 )
      or ( not pi01 and pi02 and not pi03 and pi04 and pi05 and not pi06 and pi08 and not pi09 and pi10 )
      or ( not pi00 and pi01 and not pi03 and pi04 and pi05 and pi07 and pi08 and not pi09 and pi10 )
      or ( pi00 and not pi03 and pi04 and pi05 and pi06 and pi07 and pi08 and not pi09 and pi10 )
      or ( pi01 and not pi03 and pi04 and pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 )
      or ( not pi00 and pi02 and not pi03 and pi04 and pi05 and not pi07 and pi08 and not pi09 and pi10 )
      or ( pi02 and not pi03 and pi04 and pi05 and not pi06 and not pi07 and pi08 and not pi09 and pi10 )
      or ( pi00 and pi01 and not pi02 and pi04 and pi05 and pi06 and not pi08 and not pi09 and pi10 )
      or ( not pi00 and pi01 and not pi02 and pi04 and pi05 and pi07 and not pi08 and not pi09 and pi10 )
      or ( pi00 and not pi02 and pi04 and pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 )
      or ( pi01 and not pi02 and pi04 and pi05 and not pi06 and pi07 and not pi08 and not pi09 and pi10 )
      or ( pi00 and not pi01 and pi04 and pi05 and pi06 and not pi07 and not pi08 and not pi09 and pi10 )
      or ( pi00 and not pi01 and not pi02 and not pi03 and not pi04 and pi05 and pi06 and not pi07 and pi11 )
      or ( pi00 and not pi01 and pi02 and pi03 and pi04 and pi06 and not pi07 and pi08 and pi11 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi04 and pi05 and pi06 and not pi08 and pi11 )
      or ( not pi00 and pi01 and not pi02 and not pi03 and not pi04 and pi05 and pi07 and not pi08 and pi11 )
      or ( pi00 and not pi02 and not pi03 and not pi04 and pi05 and pi06 and pi07 and not pi08 and pi11 )
      or ( pi01 and not pi02 and not pi03 and not pi04 and pi05 and not pi06 and pi07 and not pi08 and pi11 )
      or ( pi00 and not pi01 and not pi03 and not pi04 and pi05 and pi06 and not pi07 and not pi08 and pi11 )
      or ( pi00 and not pi01 and not pi02 and pi03 and pi04 and pi06 and not pi07 and pi09 and pi11 )
      or ( pi00 and not pi01 and pi02 and pi04 and pi06 and not pi07 and pi08 and pi09 and pi11 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi04 and pi06 and not pi08 and pi09 and pi11 )
      or ( not pi00 and pi01 and not pi02 and pi03 and pi04 and pi07 and not pi08 and pi09 and pi11 )
      or ( pi00 and not pi02 and pi03 and pi04 and pi06 and pi07 and not pi08 and pi09 and pi11 )
      or ( pi01 and not pi02 and pi03 and pi04 and not pi06 and pi07 and not pi08 and pi09 and pi11 )
      or ( pi00 and not pi01 and pi03 and pi04 and pi06 and not pi07 and not pi08 and pi09 and pi11 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and pi05 and pi06 and not pi09 and pi11 )
      or ( not pi00 and pi01 and pi02 and not pi03 and not pi04 and pi05 and pi07 and not pi09 and pi11 )
      or ( pi00 and pi02 and not pi03 and not pi04 and pi05 and pi06 and pi07 and not pi09 and pi11 )
      or ( pi01 and pi02 and not pi03 and not pi04 and pi05 and not pi06 and pi07 and not pi09 and pi11 )
      or ( pi00 and not pi01 and not pi02 and not pi04 and pi05 and pi06 and not pi07 and not pi09 and pi11 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and not pi04 and pi05 and pi08 and not pi09 and pi11 )
      or ( pi00 and pi01 and not pi03 and not pi04 and pi05 and pi06 and pi08 and not pi09 and pi11 )
      or ( not pi01 and pi02 and not pi03 and not pi04 and pi05 and not pi06 and pi08 and not pi09 and pi11 )
      or ( not pi00 and pi01 and not pi03 and not pi04 and pi05 and pi07 and pi08 and not pi09 and pi11 )
      or ( pi00 and not pi03 and not pi04 and pi05 and pi06 and pi07 and pi08 and not pi09 and pi11 )
      or ( pi01 and not pi03 and not pi04 and pi05 and not pi06 and pi07 and pi08 and not pi09 and pi11 )
      or ( not pi00 and pi02 and not pi03 and not pi04 and pi05 and not pi07 and pi08 and not pi09 and pi11 )
      or ( pi02 and not pi03 and not pi04 and pi05 and not pi06 and not pi07 and pi08 and not pi09 and pi11 )
      or ( pi00 and pi01 and not pi02 and not pi04 and pi05 and pi06 and not pi08 and not pi09 and pi11 )
      or ( not pi00 and pi01 and not pi02 and not pi04 and pi05 and pi07 and not pi08 and not pi09 and pi11 )
      or ( pi00 and not pi02 and not pi04 and pi05 and pi06 and pi07 and not pi08 and not pi09 and pi11 )
      or ( pi01 and not pi02 and not pi04 and pi05 and not pi06 and pi07 and not pi08 and not pi09 and pi11 )
      or ( pi00 and not pi01 and not pi04 and pi05 and pi06 and not pi07 and not pi08 and not pi09 and pi11 )
      or ( pi00 and not pi01 and not pi02 and not pi03 and pi04 and pi06 and not pi07 and pi10 and pi11 )
      or ( pi00 and not pi01 and pi02 and pi03 and pi06 and not pi07 and pi08 and pi10 and pi11 )
      or ( pi00 and pi01 and not pi02 and not pi03 and pi04 and pi06 and not pi08 and pi10 and pi11 )
      or ( not pi00 and pi01 and not pi02 and not pi03 and pi04 and pi07 and not pi08 and pi10 and pi11 )
      or ( pi00 and not pi02 and not pi03 and pi04 and pi06 and pi07 and not pi08 and pi10 and pi11 )
      or ( pi01 and not pi02 and not pi03 and pi04 and not pi06 and pi07 and not pi08 and pi10 and pi11 )
      or ( pi00 and not pi01 and not pi03 and pi04 and pi06 and not pi07 and not pi08 and pi10 and pi11 )
      or ( pi00 and not pi01 and not pi02 and pi03 and pi06 and not pi07 and pi09 and pi10 and pi11 )
      or ( pi00 and not pi01 and pi02 and pi06 and not pi07 and pi08 and pi09 and pi10 and pi11 )
      or ( pi00 and pi01 and not pi02 and pi03 and pi06 and not pi08 and pi09 and pi10 and pi11 )
      or ( not pi00 and pi01 and not pi02 and pi03 and pi07 and not pi08 and pi09 and pi10 and pi11 )
      or ( pi00 and not pi02 and pi03 and pi06 and pi07 and not pi08 and pi09 and pi10 and pi11 )
      or ( pi01 and not pi02 and pi03 and not pi06 and pi07 and not pi08 and pi09 and pi10 and pi11 )
      or ( pi00 and not pi01 and pi03 and pi06 and not pi07 and not pi08 and pi09 and pi10 and pi11 )
      or ( pi00 and pi01 and pi02 and not pi03 and pi04 and pi06 and not pi09 and pi10 and pi11 )
      or ( not pi00 and pi01 and pi02 and not pi03 and pi04 and pi07 and not pi09 and pi10 and pi11 )
      or ( pi00 and pi02 and not pi03 and pi04 and pi06 and pi07 and not pi09 and pi10 and pi11 )
      or ( pi01 and pi02 and not pi03 and pi04 and not pi06 and pi07 and not pi09 and pi10 and pi11 )
      or ( pi00 and not pi01 and not pi02 and pi04 and pi06 and not pi07 and not pi09 and pi10 and pi11 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi04 and pi08 and not pi09 and pi10 and pi11 )
      or ( pi00 and pi01 and not pi03 and pi04 and pi06 and pi08 and not pi09 and pi10 and pi11 )
      or ( not pi01 and pi02 and not pi03 and pi04 and not pi06 and pi08 and not pi09 and pi10 and pi11 )
      or ( not pi00 and pi01 and not pi03 and pi04 and pi07 and pi08 and not pi09 and pi10 and pi11 )
      or ( pi00 and not pi03 and pi04 and pi06 and pi07 and pi08 and not pi09 and pi10 and pi11 )
      or ( pi01 and not pi03 and pi04 and not pi06 and pi07 and pi08 and not pi09 and pi10 and pi11 )
      or ( not pi00 and pi02 and not pi03 and pi04 and not pi07 and pi08 and not pi09 and pi10 and pi11 )
      or ( pi02 and not pi03 and pi04 and not pi06 and not pi07 and pi08 and not pi09 and pi10 and pi11 )
      or ( pi00 and pi01 and not pi02 and pi04 and pi06 and not pi08 and not pi09 and pi10 and pi11 )
      or ( not pi00 and pi01 and not pi02 and pi04 and pi07 and not pi08 and not pi09 and pi10 and pi11 )
      or ( pi00 and not pi02 and pi04 and pi06 and pi07 and not pi08 and not pi09 and pi10 and pi11 )
      or ( pi01 and not pi02 and pi04 and not pi06 and pi07 and not pi08 and not pi09 and pi10 and pi11 )
      or ( pi00 and not pi01 and pi04 and pi06 and not pi07 and not pi08 and not pi09 and pi10 and pi11 )
      or ( pi00 and pi01 and pi02 and pi03 and not pi04 and pi05 and pi06 and not pi10 and pi11 )
      or ( not pi00 and pi01 and pi02 and pi03 and not pi04 and pi05 and pi07 and not pi10 and pi11 )
      or ( pi00 and pi02 and pi03 and not pi04 and pi05 and pi06 and pi07 and not pi10 and pi11 )
      or ( pi01 and pi02 and pi03 and not pi04 and pi05 and not pi06 and pi07 and not pi10 and pi11 )
      or ( pi00 and not pi01 and not pi02 and not pi03 and pi05 and pi06 and not pi07 and not pi10 and pi11 )
      or ( not pi00 and not pi01 and pi02 and pi03 and not pi04 and pi05 and pi08 and not pi10 and pi11 )
      or ( pi00 and pi01 and pi03 and not pi04 and pi05 and pi06 and pi08 and not pi10 and pi11 )
      or ( not pi01 and pi02 and pi03 and not pi04 and pi05 and not pi06 and pi08 and not pi10 and pi11 )
      or ( not pi00 and pi01 and pi03 and not pi04 and pi05 and pi07 and pi08 and not pi10 and pi11 )
      or ( pi00 and pi03 and not pi04 and pi05 and pi06 and pi07 and pi08 and not pi10 and pi11 )
      or ( pi01 and pi03 and not pi04 and pi05 and not pi06 and pi07 and pi08 and not pi10 and pi11 )
      or ( not pi00 and pi02 and pi03 and not pi04 and pi05 and not pi07 and pi08 and not pi10 and pi11 )
      or ( pi02 and pi03 and not pi04 and pi05 and not pi06 and not pi07 and pi08 and not pi10 and pi11 )
      or ( pi00 and pi01 and not pi02 and not pi03 and pi05 and pi06 and not pi08 and not pi10 and pi11 )
      or ( not pi00 and pi01 and not pi02 and not pi03 and pi05 and pi07 and not pi08 and not pi10 and pi11 )
      or ( pi00 and not pi02 and not pi03 and pi05 and pi06 and pi07 and not pi08 and not pi10 and pi11 )
      or ( pi01 and not pi02 and not pi03 and pi05 and not pi06 and pi07 and not pi08 and not pi10 and pi11 )
      or ( pi00 and not pi01 and not pi03 and pi05 and pi06 and not pi07 and not pi08 and not pi10 and pi11 )
      or ( not pi00 and not pi01 and not pi02 and pi03 and not pi04 and pi05 and pi09 and not pi10 and pi11 )
      or ( pi00 and pi01 and pi02 and not pi04 and pi05 and pi06 and pi09 and not pi10 and pi11 )
      or ( not pi01 and not pi02 and pi03 and not pi04 and pi05 and not pi06 and pi09 and not pi10 and pi11 )
      or ( not pi00 and pi01 and pi02 and not pi04 and pi05 and pi07 and pi09 and not pi10 and pi11 )
      or ( pi00 and pi02 and not pi04 and pi05 and pi06 and pi07 and pi09 and not pi10 and pi11 )
      or ( pi01 and pi02 and not pi04 and pi05 and not pi06 and pi07 and pi09 and not pi10 and pi11 )
      or ( not pi00 and not pi02 and pi03 and not pi04 and pi05 and not pi07 and pi09 and not pi10 and pi11 )
      or ( not pi02 and pi03 and not pi04 and pi05 and not pi06 and not pi07 and pi09 and not pi10 and pi11 )
      or ( not pi00 and not pi01 and pi02 and not pi04 and pi05 and pi08 and pi09 and not pi10 and pi11 )
      or ( pi00 and pi01 and not pi04 and pi05 and pi06 and pi08 and pi09 and not pi10 and pi11 )
      or ( not pi01 and pi02 and not pi04 and pi05 and not pi06 and pi08 and pi09 and not pi10 and pi11 )
      or ( not pi00 and pi01 and not pi04 and pi05 and pi07 and pi08 and pi09 and not pi10 and pi11 )
      or ( pi00 and not pi04 and pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and pi11 )
      or ( pi01 and not pi04 and pi05 and not pi06 and pi07 and pi08 and pi09 and not pi10 and pi11 )
      or ( not pi00 and pi02 and not pi04 and pi05 and not pi07 and pi08 and pi09 and not pi10 and pi11 )
      or ( pi02 and not pi04 and pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and pi11 )
      or ( not pi00 and not pi01 and pi03 and not pi04 and pi05 and not pi08 and pi09 and not pi10 and pi11 )
      or ( not pi01 and pi03 and not pi04 and pi05 and not pi06 and not pi08 and pi09 and not pi10 and pi11 )
      or ( not pi00 and pi03 and not pi04 and pi05 and not pi07 and not pi08 and pi09 and not pi10 and pi11 )
      or ( pi03 and not pi04 and pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and pi11 )
      or ( pi00 and pi01 and pi02 and not pi03 and pi05 and pi06 and not pi09 and not pi10 and pi11 )
      or ( not pi00 and pi01 and pi02 and not pi03 and pi05 and pi07 and not pi09 and not pi10 and pi11 )
      or ( pi00 and pi02 and not pi03 and pi05 and pi06 and pi07 and not pi09 and not pi10 and pi11 )
      or ( pi01 and pi02 and not pi03 and pi05 and not pi06 and pi07 and not pi09 and not pi10 and pi11 )
      or ( pi00 and not pi01 and not pi02 and pi05 and pi06 and not pi07 and not pi09 and not pi10 and pi11 )
      or ( not pi00 and not pi01 and pi02 and not pi03 and pi05 and pi08 and not pi09 and not pi10 and pi11 )
      or ( pi00 and pi01 and not pi03 and pi05 and pi06 and pi08 and not pi09 and not pi10 and pi11 )
      or ( not pi01 and pi02 and not pi03 and pi05 and not pi06 and pi08 and not pi09 and not pi10 and pi11 )
      or ( not pi00 and pi01 and not pi03 and pi05 and pi07 and pi08 and not pi09 and not pi10 and pi11 )
      or ( pi00 and not pi03 and pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and pi11 )
      or ( pi01 and not pi03 and pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and pi11 )
      or ( not pi00 and pi02 and not pi03 and pi05 and not pi07 and pi08 and not pi09 and not pi10 and pi11 )
      or ( pi02 and not pi03 and pi05 and not pi06 and not pi07 and pi08 and not pi09 and not pi10 and pi11 )
      or ( pi00 and pi01 and not pi02 and pi05 and pi06 and not pi08 and not pi09 and not pi10 and pi11 )
      or ( not pi00 and pi01 and not pi02 and pi05 and pi07 and not pi08 and not pi09 and not pi10 and pi11 )
      or ( pi00 and not pi02 and pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and pi11 )
      or ( pi01 and not pi02 and pi05 and not pi06 and pi07 and not pi08 and not pi09 and not pi10 and pi11 )
      or ( pi00 and not pi01 and pi05 and pi06 and not pi07 and not pi08 and not pi09 and not pi10 and pi11 )
      or ( pi00 and not pi01 and pi02 and not pi03 and pi04 and pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 )
      or ( pi00 and not pi01 and pi02 and not pi03 and not pi04 and pi05 and pi06 and not pi07 and pi08 and not pi09 and pi11 )
      or ( pi00 and not pi01 and pi02 and not pi03 and pi04 and pi06 and not pi07 and pi08 and not pi09 and pi10 and pi11 )
      or ( pi00 and not pi01 and pi02 and pi03 and not pi04 and pi05 and pi06 and not pi07 and pi08 and not pi10 and pi11 )
      or ( pi00 and not pi01 and not pi02 and pi03 and not pi04 and pi05 and pi06 and not pi07 and pi09 and not pi10 and pi11 )
      or ( pi00 and not pi01 and pi02 and not pi04 and pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and pi11 )
      or ( pi00 and pi01 and not pi02 and pi03 and not pi04 and pi05 and pi06 and not pi08 and pi09 and not pi10 and pi11 )
      or ( not pi00 and pi01 and not pi02 and pi03 and not pi04 and pi05 and pi07 and not pi08 and pi09 and not pi10 and pi11 )
      or ( pi00 and not pi02 and pi03 and not pi04 and pi05 and pi06 and pi07 and not pi08 and pi09 and not pi10 and pi11 )
      or ( pi01 and not pi02 and pi03 and not pi04 and pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and pi11 )
      or ( pi00 and not pi01 and pi03 and not pi04 and pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and pi11 )
      or ( pi00 and not pi01 and pi02 and not pi03 and pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and pi11 );
end Espresso__add6_behav;
