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

entity LGSynth91__too_large is 
  Port (
    pi00,pi01,pi02,pi03,pi04,pi05,pi06,pi07,pi08,pi09,pi10,pi11,pi12,pi13,pi14,pi15,pi16,pi17,pi18,pi19,pi20,pi21,pi22,pi23,pi24,pi25,pi26,pi27,pi28,pi29,pi30,pi31,pi32,pi33,pi34,pi35,pi36,pi37: in std_logic;
    po0,po1,po2: inout std_logic
  );
end LGSynth91__too_large;

architecture LGSynth91__too_large_behav of LGSynth91__too_large is
signal n44,n45,n46,n47,n48,n49,n50,n51,n52,n53,n54,n55,n56,n57,n58,n59,n60,n61,n62,n63,n64,n65,n66,n67,n68,n69,n70,n71,n72,n73,n74,n75,n76,n77,n78,n79,n80,n81,n82,n83: std_logic;
begin
    po0 <= ( n44 )
      or ( n45 )
      or ( n46 )
      or ( n47 )
      or ( n48 )
      or ( n49 )
      or ( n50 )
      or ( n51 )
      or ( n52 )
      or ( n53 )
      or ( n54 )
      or ( n55 )
      or ( n56 )
      or ( n57 )
      or ( n58 )
      or ( n59 )
      or ( n60 )
      or ( n61 )
      or ( n62 )
      or ( n63 )
      or ( n64 )
      or ( n65 )
      or ( n66 )
      or ( n67 )
      or ( n68 )
      or ( n69 )
      or ( n70 )
      or ( n71 )
      or ( n72 )
      or ( n73 )
      or ( n74 )
      or ( n75 )
      or ( n76 )
      or ( n77 )
      or ( n78 )
      or ( n79 )
      or ( not pi07 and not pi27 and not pi28 and not pi33 and pi34 and pi35 and not pi31 and not pi30 and not pi29 )
      or ( not pi27 and pi28 and not pi33 and pi34 and not pi31 and not pi20 and not pi30 and not pi29 and pi19 )
      or ( not pi27 and not pi33 and pi34 and not pi31 and pi20 and pi14 and not pi30 and not pi29 and pi32 )
      or ( not pi27 and not pi33 and pi34 and not pi31 and pi20 and not pi30 and not pi29 and pi32 and pi24 )
      or ( not pi07 and not pi22 and not pi27 and not pi28 and pi33 and pi35 and not pi31 and not pi23 and not pi30 and not pi29 )
      or ( not pi22 and not pi27 and not pi28 and pi33 and not pi34 and pi35 and not pi31 and not pi23 and not pi30 and not pi29 )
      or ( not pi27 and not pi28 and not pi33 and not pi34 and pi35 and not pi31 and not pi23 and not pi25 and not pi30 and not pi29 )
      or ( not pi22 and not pi27 and pi28 and pi33 and not pi31 and not pi20 and not pi23 and not pi30 and not pi29 and pi19 )
      or ( not pi27 and pi28 and not pi33 and not pi31 and not pi20 and not pi23 and not pi25 and not pi30 and not pi29 and pi19 )
      or ( not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi23 and not pi25 and pi14 and pi32 )
      or ( not pi13 and not pi15 and not pi22 and not pi26 and not pi27 and not pi23 and not pi25 and pi14 and not pi12 and pi32 )
      or ( not pi22 and not pi27 and pi33 and not pi31 and pi20 and not pi23 and pi14 and not pi30 and not pi29 and pi32 )
      or ( not pi27 and not pi28 and not pi33 and not pi31 and not pi23 and not pi25 and pi14 and not pi30 and not pi29 and pi32 )
      or ( not pi27 and not pi33 and not pi31 and pi20 and not pi23 and not pi25 and pi14 and not pi30 and not pi29 and pi32 )
      or ( not pi22 and not pi27 and pi33 and not pi31 and pi20 and not pi23 and not pi30 and not pi29 and pi32 and pi24 )
      or ( not pi27 and not pi33 and not pi31 and pi20 and not pi23 and not pi25 and not pi30 and not pi29 and pi32 and pi24 )
      or ( pi07 and not pi09 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi23 and not pi25 and pi30 )
      or ( pi07 and not pi09 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi23 and not pi25 and not pi14 and pi30 )
      or ( pi07 and not pi09 and not pi13 and not pi15 and not pi22 and not pi26 and not pi27 and not pi23 and not pi25 and pi30 and not pi12 )
      or ( pi07 and not pi09 and not pi15 and not pi22 and not pi26 and not pi27 and not pi23 and not pi25 and not pi14 and pi30 and not pi12 )
      or ( not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and pi28 and not pi33 and pi34 and not pi20 and pi19 )
      or ( not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and pi28 and pi33 and not pi20 and not pi23 and pi19 )
      or ( not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and pi28 and not pi33 and pi34 and not pi20 and not pi14 and pi19 )
      or ( not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and pi28 and pi33 and not pi20 and not pi23 and not pi14 and pi19 )
      or ( not pi13 and not pi15 and not pi22 and not pi26 and not pi27 and pi28 and not pi33 and pi34 and not pi20 and not pi12 and pi19 )
      or ( not pi13 and not pi15 and not pi22 and not pi26 and not pi27 and pi28 and pi33 and not pi20 and not pi23 and not pi12 and pi19 )
      or ( not pi15 and not pi22 and not pi26 and not pi27 and pi28 and not pi33 and pi34 and not pi20 and not pi14 and not pi12 and pi19 )
      or ( not pi15 and not pi22 and not pi26 and not pi27 and pi28 and pi33 and not pi20 and not pi23 and not pi14 and not pi12 and pi19 )
      or ( not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi33 and pi34 and pi20 and pi14 and pi32 )
      or ( not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and pi33 and pi20 and not pi23 and pi14 and pi32 )
      or ( not pi13 and not pi15 and not pi22 and not pi26 and not pi27 and not pi33 and pi34 and pi20 and pi14 and not pi12 and pi32 )
      or ( not pi13 and not pi15 and not pi22 and not pi26 and not pi27 and pi33 and pi20 and not pi23 and pi14 and not pi12 and pi32 )
      or ( not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi33 and pi34 and pi20 and not pi14 and pi32 and pi24 )
      or ( not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and pi33 and pi20 and not pi23 and not pi14 and pi32 and pi24 )
      or ( not pi15 and not pi22 and not pi26 and not pi27 and not pi33 and pi34 and pi20 and not pi14 and not pi12 and pi32 and pi24 )
      or ( not pi15 and not pi22 and not pi26 and not pi27 and pi33 and pi20 and not pi23 and not pi14 and not pi12 and pi32 and pi24 )
      or ( not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and pi28 and not pi20 and not pi23 and not pi25 and pi00 )
      or ( not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and pi28 and not pi20 and not pi23 and not pi25 and not pi14 and pi00 )
      or ( not pi13 and not pi15 and not pi22 and not pi26 and not pi27 and pi28 and not pi20 and not pi23 and not pi25 and not pi12 and pi00 )
      or ( not pi15 and not pi22 and not pi26 and not pi27 and pi28 and not pi20 and not pi23 and not pi25 and not pi14 and not pi12 and pi00 )
      or ( pi07 and not pi09 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and not pi33 and pi34 and pi30 )
      or ( pi07 and not pi09 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi33 and pi34 and pi20 and pi30 )
      or ( pi07 and not pi09 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and pi33 and not pi23 and pi30 )
      or ( pi07 and not pi09 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and pi33 and pi20 and not pi23 and pi30 )
      or ( pi07 and not pi09 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and not pi33 and pi34 and not pi14 and pi30 )
      or ( pi07 and not pi09 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi33 and pi34 and pi20 and not pi14 and pi30 )
      or ( pi07 and not pi09 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and pi33 and not pi23 and not pi14 and pi30 )
      or ( pi07 and not pi09 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and pi33 and pi20 and not pi23 and not pi14 and pi30 )
      or ( pi07 and pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi23 and not pi25 and not pi14 and pi10 and pi30 )
      or ( pi07 and not pi09 and not pi13 and not pi15 and not pi22 and not pi26 and not pi27 and not pi28 and not pi33 and pi34 and pi30 and not pi12 )
      or ( pi07 and not pi09 and not pi13 and not pi15 and not pi22 and not pi26 and not pi27 and not pi33 and pi34 and pi20 and pi30 and not pi12 )
      or ( pi07 and not pi09 and not pi13 and not pi15 and not pi22 and not pi26 and not pi27 and not pi28 and pi33 and not pi23 and pi30 and not pi12 )
      or ( pi07 and not pi09 and not pi13 and not pi15 and not pi22 and not pi26 and not pi27 and pi33 and pi20 and not pi23 and pi30 and not pi12 )
      or ( pi07 and not pi09 and not pi15 and not pi22 and not pi26 and not pi27 and not pi28 and not pi33 and pi34 and not pi14 and pi30 and not pi12 )
      or ( pi07 and not pi09 and not pi15 and not pi22 and not pi26 and not pi27 and not pi33 and pi34 and pi20 and not pi14 and pi30 and not pi12 )
      or ( pi07 and not pi09 and not pi15 and not pi22 and not pi26 and not pi27 and not pi28 and pi33 and not pi23 and not pi14 and pi30 and not pi12 )
      or ( pi07 and not pi09 and not pi15 and not pi22 and not pi26 and not pi27 and pi33 and pi20 and not pi23 and not pi14 and pi30 and not pi12 )
      or ( pi07 and pi13 and not pi15 and not pi22 and not pi26 and not pi27 and not pi23 and not pi25 and not pi14 and pi10 and pi30 and not pi12 )
      or ( pi02 and not pi09 and pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and pi28 and not pi20 and not pi23 and not pi25 and not pi14 )
      or ( pi02 and not pi09 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and pi28 and not pi20 and not pi23 and not pi25 and not pi10 )
      or ( pi07 and not pi11 and not pi13 and not pi15 and not pi16 and not pi18 and not pi22 and not pi26 and not pi27 and not pi23 and not pi25 and pi10 and pi30 )
      or ( pi07 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and pi03 and not pi17 and not pi23 and not pi25 and pi10 and pi30 )
      or ( pi07 and pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and not pi33 and pi34 and not pi14 and pi10 and pi30 )
      or ( pi07 and pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi33 and pi34 and pi20 and not pi14 and pi10 and pi30 )
      or ( pi07 and pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and pi33 and not pi23 and not pi14 and pi10 and pi30 )
      or ( pi07 and pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and pi33 and pi20 and not pi23 and not pi14 and pi10 and pi30 )
      or ( pi07 and not pi11 and not pi13 and not pi15 and not pi18 and not pi22 and not pi26 and not pi27 and not pi23 and not pi25 and pi10 and pi30 and not pi12 )
      or ( pi07 and not pi13 and not pi15 and not pi22 and not pi26 and not pi27 and pi03 and not pi17 and not pi23 and not pi25 and pi10 and pi30 and not pi12 )
      or ( pi07 and pi13 and not pi15 and not pi22 and not pi26 and not pi27 and not pi28 and not pi33 and pi34 and not pi14 and pi10 and pi30 and not pi12 )
      or ( pi07 and pi13 and not pi15 and not pi22 and not pi26 and not pi27 and not pi33 and pi34 and pi20 and not pi14 and pi10 and pi30 and not pi12 )
      or ( pi07 and pi13 and not pi15 and not pi22 and not pi26 and not pi27 and not pi28 and pi33 and not pi23 and not pi14 and pi10 and pi30 and not pi12 )
      or ( pi07 and pi13 and not pi15 and not pi22 and not pi26 and not pi27 and pi33 and pi20 and not pi23 and not pi14 and pi10 and pi30 and not pi12 )
      or ( not pi07 and not pi08 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and not pi33 and pi34 and pi35 and not pi29 )
      or ( not pi07 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and not pi33 and pi34 and pi35 and not pi31 and not pi29 )
      or ( not pi07 and not pi08 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and pi33 and pi35 and not pi23 and not pi29 )
      or ( not pi07 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and pi33 and pi35 and not pi31 and not pi23 and not pi29 )
      or ( not pi07 and not pi08 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and pi35 and not pi23 and not pi25 and not pi29 )
      or ( not pi07 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and pi35 and not pi31 and not pi23 and not pi25 and not pi29 )
      or ( not pi07 and not pi08 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and not pi33 and pi34 and pi35 and not pi14 and not pi29 )
      or ( not pi07 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and not pi33 and pi34 and pi35 and not pi31 and not pi14 and not pi29 )
      or ( not pi07 and not pi08 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and pi33 and pi35 and not pi23 and not pi14 and not pi29 )
      or ( not pi07 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and pi33 and pi35 and not pi31 and not pi23 and not pi14 and not pi29 )
      or ( not pi07 and not pi08 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and pi35 and not pi23 and not pi25 and not pi14 and not pi29 )
      or ( not pi07 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and pi35 and not pi31 and not pi23 and not pi25 and not pi14 and not pi29 )
      or ( not pi07 and not pi08 and not pi13 and not pi15 and not pi22 and not pi26 and not pi27 and not pi28 and not pi33 and pi34 and pi35 and not pi12 and not pi29 )
      or ( not pi07 and not pi13 and not pi15 and not pi22 and not pi26 and not pi27 and not pi28 and not pi33 and pi34 and pi35 and not pi31 and not pi12 and not pi29 )
      or ( not pi07 and not pi08 and not pi13 and not pi15 and not pi22 and not pi26 and not pi27 and not pi28 and pi33 and pi35 and not pi23 and not pi12 and not pi29 )
      or ( not pi07 and not pi13 and not pi15 and not pi22 and not pi26 and not pi27 and not pi28 and pi33 and pi35 and not pi31 and not pi23 and not pi12 and not pi29 )
      or ( not pi07 and not pi08 and not pi13 and not pi15 and not pi22 and not pi26 and not pi27 and not pi28 and pi35 and not pi23 and not pi25 and not pi12 and not pi29 )
      or ( not pi07 and not pi13 and not pi15 and not pi22 and not pi26 and not pi27 and not pi28 and pi35 and not pi31 and not pi23 and not pi25 and not pi12 and not pi29 )
      or ( not pi07 and not pi08 and not pi13 and not pi15 and not pi22 and not pi26 and not pi27 and pi35 and not pi20 and not pi23 and not pi25 and not pi12 and not pi29 )
      or ( not pi07 and not pi13 and not pi15 and not pi22 and not pi26 and not pi27 and pi35 and not pi31 and not pi20 and not pi23 and not pi25 and not pi12 and not pi29 )
      or ( not pi07 and not pi08 and not pi15 and not pi22 and not pi26 and not pi27 and not pi28 and not pi33 and pi34 and pi35 and not pi14 and not pi12 and not pi29 )
      or ( not pi07 and not pi15 and not pi22 and not pi26 and not pi27 and not pi28 and not pi33 and pi34 and pi35 and not pi31 and not pi14 and not pi12 and not pi29 )
      or ( not pi07 and not pi08 and not pi15 and not pi22 and not pi26 and not pi27 and not pi28 and pi33 and pi35 and not pi23 and not pi14 and not pi12 and not pi29 )
      or ( not pi07 and not pi15 and not pi22 and not pi26 and not pi27 and not pi28 and pi33 and pi35 and not pi31 and not pi23 and not pi14 and not pi12 and not pi29 )
      or ( not pi07 and not pi08 and not pi15 and not pi22 and not pi26 and not pi27 and not pi28 and pi35 and not pi23 and not pi25 and not pi14 and not pi12 and not pi29 )
      or ( not pi07 and not pi15 and not pi22 and not pi26 and not pi27 and not pi28 and pi35 and not pi31 and not pi23 and not pi25 and not pi14 and not pi12 and not pi29 )
      or ( not pi07 and not pi08 and not pi15 and not pi22 and not pi26 and not pi27 and pi35 and not pi20 and not pi23 and not pi25 and not pi14 and not pi12 and not pi29 )
      or ( not pi07 and not pi15 and not pi22 and not pi26 and not pi27 and pi35 and not pi31 and not pi20 and not pi23 and not pi25 and not pi14 and not pi12 and not pi29 )
      or ( pi02 and not pi09 and not pi11 and not pi13 and not pi15 and not pi16 and not pi18 and not pi22 and not pi26 and not pi27 and pi28 and not pi20 and not pi23 and not pi25 )
      or ( pi02 and not pi09 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and pi28 and pi03 and not pi17 and not pi20 and not pi23 and not pi25 )
      or ( pi07 and not pi11 and not pi13 and not pi15 and not pi16 and not pi18 and not pi22 and not pi26 and not pi27 and not pi28 and not pi33 and pi34 and pi10 and pi30 )
      or ( pi07 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and not pi33 and pi34 and pi03 and not pi17 and pi10 and pi30 )
      or ( pi07 and not pi11 and not pi13 and not pi15 and not pi16 and not pi18 and not pi22 and not pi26 and not pi27 and not pi33 and pi34 and pi20 and pi10 and pi30 )
      or ( pi07 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi33 and pi34 and pi03 and not pi17 and pi20 and pi10 and pi30 )
      or ( pi07 and not pi11 and not pi13 and not pi15 and not pi16 and not pi18 and not pi22 and not pi26 and not pi27 and not pi28 and pi33 and not pi23 and pi10 and pi30 )
      or ( pi07 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and pi33 and pi03 and not pi17 and not pi23 and pi10 and pi30 )
      or ( pi07 and not pi11 and not pi13 and not pi15 and not pi16 and not pi18 and not pi22 and not pi26 and not pi27 and pi33 and pi20 and not pi23 and pi10 and pi30 )
      or ( pi07 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and pi33 and pi03 and not pi17 and pi20 and not pi23 and pi10 and pi30 )
      or ( pi07 and not pi11 and not pi13 and not pi15 and not pi18 and not pi22 and not pi26 and not pi27 and not pi28 and not pi33 and pi34 and pi10 and pi30 and not pi12 )
      or ( pi07 and not pi13 and not pi15 and not pi22 and not pi26 and not pi27 and not pi28 and not pi33 and pi34 and pi03 and not pi17 and pi10 and pi30 and not pi12 )
      or ( pi07 and not pi11 and not pi13 and not pi15 and not pi18 and not pi22 and not pi26 and not pi27 and not pi33 and pi34 and pi20 and pi10 and pi30 and not pi12 )
      or ( pi07 and not pi13 and not pi15 and not pi22 and not pi26 and not pi27 and not pi33 and pi34 and pi03 and not pi17 and pi20 and pi10 and pi30 and not pi12 )
      or ( pi07 and not pi11 and not pi13 and not pi15 and not pi18 and not pi22 and not pi26 and not pi27 and not pi28 and pi33 and not pi23 and pi10 and pi30 and not pi12 )
      or ( pi07 and not pi13 and not pi15 and not pi22 and not pi26 and not pi27 and not pi28 and pi33 and pi03 and not pi17 and not pi23 and pi10 and pi30 and not pi12 )
      or ( pi07 and not pi11 and not pi13 and not pi15 and not pi18 and not pi22 and not pi26 and not pi27 and pi33 and pi20 and not pi23 and pi10 and pi30 and not pi12 )
      or ( pi07 and not pi13 and not pi15 and not pi22 and not pi26 and not pi27 and pi33 and pi03 and not pi17 and pi20 and not pi23 and pi10 and pi30 and not pi12 )
      or ( not pi02 and not pi07 and not pi08 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and pi35 and not pi20 and not pi23 and not pi25 and not pi29 )
      or ( not pi02 and not pi07 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and pi35 and not pi31 and not pi20 and not pi23 and not pi25 and not pi29 )
      or ( not pi02 and not pi07 and not pi08 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and pi35 and not pi20 and not pi23 and not pi25 and not pi14 and not pi29 )
      or ( not pi02 and not pi07 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and pi35 and not pi31 and not pi20 and not pi23 and not pi25 and not pi14 and not pi29 )
      or ( not pi08 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and pi33 and not pi34 and pi35 and not pi23 and not pi30 and not pi29 )
      or ( not pi08 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and not pi34 and pi35 and not pi23 and not pi25 and not pi30 and not pi29 )
      or ( not pi08 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and pi33 and not pi34 and pi35 and not pi23 and not pi14 and not pi30 and not pi29 )
      or ( not pi08 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and not pi34 and pi35 and not pi23 and not pi25 and not pi14 and not pi30 and not pi29 )
      or ( not pi08 and not pi13 and not pi15 and not pi22 and not pi26 and not pi27 and not pi28 and pi33 and not pi34 and pi35 and not pi23 and not pi30 and not pi12 and not pi29 )
      or ( not pi08 and not pi13 and not pi15 and not pi22 and not pi26 and not pi27 and not pi28 and not pi34 and pi35 and not pi23 and not pi25 and not pi30 and not pi12 and not pi29 )
      or ( not pi08 and not pi13 and not pi15 and not pi22 and not pi26 and not pi27 and not pi34 and pi35 and not pi20 and not pi23 and not pi25 and not pi30 and not pi12 and not pi29 )
      or ( not pi13 and not pi15 and not pi22 and not pi26 and not pi27 and not pi34 and pi35 and not pi31 and not pi20 and not pi23 and not pi25 and not pi30 and not pi12 and not pi29 )
      or ( not pi08 and not pi15 and not pi22 and not pi26 and not pi27 and not pi28 and pi33 and not pi34 and pi35 and not pi23 and not pi14 and not pi30 and not pi12 and not pi29 )
      or ( not pi08 and not pi15 and not pi22 and not pi26 and not pi27 and not pi28 and not pi34 and pi35 and not pi23 and not pi25 and not pi14 and not pi30 and not pi12 and not pi29 )
      or ( not pi08 and not pi15 and not pi22 and not pi26 and not pi27 and not pi34 and pi35 and not pi20 and not pi23 and not pi25 and not pi14 and not pi30 and not pi12 and not pi29 )
      or ( not pi15 and not pi22 and not pi26 and not pi27 and not pi34 and pi35 and not pi31 and not pi20 and not pi23 and not pi25 and not pi14 and not pi30 and not pi12 and not pi29 )
      or ( not pi02 and not pi08 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi34 and pi35 and not pi20 and not pi23 and not pi25 and not pi30 and not pi29 )
      or ( not pi02 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi34 and pi35 and not pi31 and not pi20 and not pi23 and not pi25 and not pi30 and not pi29 )
      or ( not pi02 and not pi08 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi34 and pi35 and not pi20 and not pi23 and not pi25 and not pi14 and not pi30 and not pi29 )
      or ( not pi02 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi34 and pi35 and not pi31 and not pi20 and not pi23 and not pi25 and not pi14 and not pi30 and not pi29 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi13 and not pi15 and not pi22 and not pi26 and not pi27 and not pi28 and not pi33 and pi34 and pi35 and not pi12 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi07 and not pi13 and not pi15 and not pi22 and not pi26 and not pi27 and not pi28 and not pi33 and pi34 and pi35 and not pi31 and not pi12 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi13 and not pi15 and not pi22 and not pi26 and not pi27 and not pi28 and pi33 and pi35 and not pi23 and not pi12 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi07 and not pi13 and not pi15 and not pi22 and not pi26 and not pi27 and not pi28 and pi33 and pi35 and not pi31 and not pi23 and not pi12 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi13 and not pi15 and not pi22 and not pi26 and not pi27 and not pi28 and pi35 and not pi23 and not pi25 and not pi12 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi07 and not pi13 and not pi15 and not pi22 and not pi26 and not pi27 and not pi28 and pi35 and not pi31 and not pi23 and not pi25 and not pi12 )
      or ( not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi13 and not pi15 and not pi22 and not pi26 and not pi27 and pi28 and pi35 and not pi20 and not pi23 and not pi25 and not pi12 )
      or ( not pi04 and not pi05 and not pi06 and not pi07 and not pi13 and not pi15 and not pi22 and not pi26 and not pi27 and pi28 and pi35 and not pi31 and not pi20 and not pi23 and not pi25 and not pi12 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi15 and not pi22 and not pi26 and not pi27 and not pi28 and not pi33 and pi34 and pi35 and not pi14 and not pi12 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi07 and not pi15 and not pi22 and not pi26 and not pi27 and not pi28 and not pi33 and pi34 and pi35 and not pi31 and not pi14 and not pi12 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi15 and not pi22 and not pi26 and not pi27 and not pi28 and pi33 and pi35 and not pi23 and not pi14 and not pi12 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi07 and not pi15 and not pi22 and not pi26 and not pi27 and not pi28 and pi33 and pi35 and not pi31 and not pi23 and not pi14 and not pi12 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi15 and not pi22 and not pi26 and not pi27 and not pi28 and pi35 and not pi23 and not pi25 and not pi14 and not pi12 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi07 and not pi15 and not pi22 and not pi26 and not pi27 and not pi28 and pi35 and not pi31 and not pi23 and not pi25 and not pi14 and not pi12 )
      or ( not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi15 and not pi22 and not pi26 and not pi27 and pi28 and pi35 and not pi20 and not pi23 and not pi25 and not pi14 and not pi12 )
      or ( not pi04 and not pi05 and not pi06 and not pi07 and not pi15 and not pi22 and not pi26 and not pi27 and pi28 and pi35 and not pi31 and not pi20 and not pi23 and not pi25 and not pi14 and not pi12 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and not pi33 and pi34 and pi35 and not pi01 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi07 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and not pi33 and pi34 and pi35 and not pi31 and not pi01 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and pi33 and pi35 and not pi23 and not pi01 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi07 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and pi33 and pi35 and not pi31 and not pi23 and not pi01 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and pi35 and not pi23 and not pi25 and not pi01 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi07 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and pi35 and not pi31 and not pi23 and not pi25 and not pi01 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and pi35 and not pi20 and not pi23 and not pi25 and not pi01 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi07 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and pi35 and not pi31 and not pi20 and not pi23 and not pi25 and not pi01 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and not pi33 and pi34 and pi35 and not pi14 and not pi01 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi07 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and not pi33 and pi34 and pi35 and not pi31 and not pi14 and not pi01 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and pi33 and pi35 and not pi23 and not pi14 and not pi01 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi07 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and pi33 and pi35 and not pi31 and not pi23 and not pi14 and not pi01 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and pi35 and not pi23 and not pi25 and not pi14 and not pi01 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi07 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and pi35 and not pi31 and not pi23 and not pi25 and not pi14 and not pi01 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and pi35 and not pi20 and not pi23 and not pi25 and not pi14 and not pi01 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi07 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and pi35 and not pi31 and not pi20 and not pi23 and not pi25 and not pi14 and not pi01 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi08 and not pi13 and not pi15 and not pi22 and not pi26 and not pi27 and not pi28 and pi33 and not pi34 and pi35 and not pi23 and not pi30 and not pi12 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi13 and not pi15 and not pi22 and not pi26 and not pi27 and not pi28 and pi33 and not pi34 and pi35 and not pi31 and not pi23 and not pi30 and not pi12 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi08 and not pi13 and not pi15 and not pi22 and not pi26 and not pi27 and not pi28 and not pi34 and pi35 and not pi23 and not pi25 and not pi30 and not pi12 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi13 and not pi15 and not pi22 and not pi26 and not pi27 and not pi28 and not pi34 and pi35 and not pi31 and not pi23 and not pi25 and not pi30 and not pi12 )
      or ( not pi04 and not pi05 and not pi06 and not pi08 and not pi13 and not pi15 and not pi22 and not pi26 and not pi27 and pi28 and not pi34 and pi35 and not pi20 and not pi23 and not pi25 and not pi30 and not pi12 )
      or ( not pi04 and not pi05 and not pi06 and not pi13 and not pi15 and not pi22 and not pi26 and not pi27 and pi28 and not pi34 and pi35 and not pi31 and not pi20 and not pi23 and not pi25 and not pi30 and not pi12 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi08 and not pi15 and not pi22 and not pi26 and not pi27 and not pi28 and pi33 and not pi34 and pi35 and not pi23 and not pi14 and not pi30 and not pi12 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi15 and not pi22 and not pi26 and not pi27 and not pi28 and pi33 and not pi34 and pi35 and not pi31 and not pi23 and not pi14 and not pi30 and not pi12 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi08 and not pi15 and not pi22 and not pi26 and not pi27 and not pi28 and not pi34 and pi35 and not pi23 and not pi25 and not pi14 and not pi30 and not pi12 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi15 and not pi22 and not pi26 and not pi27 and not pi28 and not pi34 and pi35 and not pi31 and not pi23 and not pi25 and not pi14 and not pi30 and not pi12 )
      or ( not pi04 and not pi05 and not pi06 and not pi08 and not pi15 and not pi22 and not pi26 and not pi27 and pi28 and not pi34 and pi35 and not pi20 and not pi23 and not pi25 and not pi14 and not pi30 and not pi12 )
      or ( not pi04 and not pi05 and not pi06 and not pi15 and not pi22 and not pi26 and not pi27 and pi28 and not pi34 and pi35 and not pi31 and not pi20 and not pi23 and not pi25 and not pi14 and not pi30 and not pi12 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and not pi33 and pi34 and pi35 and not pi14 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi07 and not pi09 and pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and not pi33 and pi34 and pi35 and not pi31 and not pi14 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and pi33 and pi35 and not pi23 and not pi14 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi08 and not pi09 and pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and pi33 and not pi34 and pi35 and not pi23 and not pi14 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi07 and not pi09 and pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and pi33 and pi35 and not pi31 and not pi23 and not pi14 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi09 and pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and pi33 and not pi34 and pi35 and not pi31 and not pi23 and not pi14 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi08 and not pi09 and pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and not pi34 and pi35 and not pi23 and not pi25 and not pi14 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi09 and pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and not pi34 and pi35 and not pi31 and not pi23 and not pi25 and not pi14 )
      or ( not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and pi28 and pi35 and not pi20 and not pi23 and not pi25 and not pi14 )
      or ( not pi04 and not pi05 and not pi06 and not pi08 and not pi09 and pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and pi28 and not pi34 and pi35 and not pi20 and not pi23 and not pi25 and not pi14 )
      or ( not pi04 and not pi05 and not pi06 and not pi07 and not pi09 and pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and pi28 and pi35 and not pi31 and not pi20 and not pi23 and not pi25 and not pi14 )
      or ( not pi04 and not pi05 and not pi06 and not pi09 and pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and pi28 and not pi34 and pi35 and not pi31 and not pi20 and not pi23 and not pi25 and not pi14 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and not pi33 and pi34 and pi35 and not pi10 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi07 and not pi09 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and not pi33 and pi34 and pi35 and not pi31 and not pi10 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and pi33 and pi35 and not pi23 and not pi10 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi08 and not pi09 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and pi33 and not pi34 and pi35 and not pi23 and not pi10 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi07 and not pi09 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and pi33 and pi35 and not pi31 and not pi23 and not pi10 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi09 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and pi33 and not pi34 and pi35 and not pi31 and not pi23 and not pi10 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi08 and not pi09 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and not pi34 and pi35 and not pi23 and not pi25 and not pi10 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi09 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and not pi34 and pi35 and not pi31 and not pi23 and not pi25 and not pi10 )
      or ( not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and pi28 and pi35 and not pi20 and not pi23 and not pi25 and not pi10 )
      or ( not pi04 and not pi05 and not pi06 and not pi08 and not pi09 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and pi28 and not pi34 and pi35 and not pi20 and not pi23 and not pi25 and not pi10 )
      or ( not pi04 and not pi05 and not pi06 and not pi07 and not pi09 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and pi28 and pi35 and not pi31 and not pi20 and not pi23 and not pi25 and not pi10 )
      or ( not pi04 and not pi05 and not pi06 and not pi09 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and pi28 and not pi34 and pi35 and not pi31 and not pi20 and not pi23 and not pi25 and not pi10 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi08 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and pi33 and not pi34 and pi35 and not pi23 and not pi01 and not pi30 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and pi33 and not pi34 and pi35 and not pi31 and not pi23 and not pi01 and not pi30 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi08 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and not pi34 and pi35 and not pi23 and not pi25 and not pi01 and not pi30 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and not pi34 and pi35 and not pi31 and not pi23 and not pi25 and not pi01 and not pi30 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi08 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi34 and pi35 and not pi20 and not pi23 and not pi25 and not pi01 and not pi30 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi34 and pi35 and not pi31 and not pi20 and not pi23 and not pi25 and not pi01 and not pi30 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi08 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and pi33 and not pi34 and pi35 and not pi23 and not pi14 and not pi01 and not pi30 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and pi33 and not pi34 and pi35 and not pi31 and not pi23 and not pi14 and not pi01 and not pi30 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi08 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and not pi34 and pi35 and not pi23 and not pi25 and not pi14 and not pi01 and not pi30 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and not pi34 and pi35 and not pi31 and not pi23 and not pi25 and not pi14 and not pi01 and not pi30 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi08 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi34 and pi35 and not pi20 and not pi23 and not pi25 and not pi14 and not pi01 and not pi30 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi34 and pi35 and not pi31 and not pi20 and not pi23 and not pi25 and not pi14 and not pi01 and not pi30 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi11 and not pi13 and not pi15 and not pi16 and not pi18 and not pi22 and not pi26 and not pi27 and not pi28 and not pi33 and pi34 and pi35 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and not pi33 and pi34 and pi35 and pi03 and not pi17 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi07 and not pi09 and not pi11 and not pi13 and not pi15 and not pi16 and not pi18 and not pi22 and not pi26 and not pi27 and not pi28 and not pi33 and pi34 and pi35 and not pi31 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi07 and not pi09 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and not pi33 and pi34 and pi35 and pi03 and not pi17 and not pi31 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi11 and not pi13 and not pi15 and not pi16 and not pi18 and not pi22 and not pi26 and not pi27 and not pi28 and pi33 and pi35 and not pi23 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi08 and not pi09 and not pi11 and not pi13 and not pi15 and not pi16 and not pi18 and not pi22 and not pi26 and not pi27 and not pi28 and pi33 and not pi34 and pi35 and not pi23 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and pi33 and pi35 and pi03 and not pi17 and not pi23 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi08 and not pi09 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and pi33 and not pi34 and pi35 and pi03 and not pi17 and not pi23 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi07 and not pi09 and not pi11 and not pi13 and not pi15 and not pi16 and not pi18 and not pi22 and not pi26 and not pi27 and not pi28 and pi33 and pi35 and not pi31 and not pi23 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi09 and not pi11 and not pi13 and not pi15 and not pi16 and not pi18 and not pi22 and not pi26 and not pi27 and not pi28 and pi33 and not pi34 and pi35 and not pi31 and not pi23 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi07 and not pi09 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and pi33 and pi35 and pi03 and not pi17 and not pi31 and not pi23 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi09 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and pi33 and not pi34 and pi35 and pi03 and not pi17 and not pi31 and not pi23 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi08 and not pi09 and not pi11 and not pi13 and not pi15 and not pi16 and not pi18 and not pi22 and not pi26 and not pi27 and not pi28 and not pi34 and pi35 and not pi23 and not pi25 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi08 and not pi09 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and not pi34 and pi35 and pi03 and not pi17 and not pi23 and not pi25 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi09 and not pi11 and not pi13 and not pi15 and not pi16 and not pi18 and not pi22 and not pi26 and not pi27 and not pi28 and not pi34 and pi35 and not pi31 and not pi23 and not pi25 )
      or ( not pi02 and not pi04 and not pi05 and not pi06 and not pi09 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and not pi34 and pi35 and pi03 and not pi17 and not pi31 and not pi23 and not pi25 )
      or ( not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi11 and not pi13 and not pi15 and not pi16 and not pi18 and not pi22 and not pi26 and not pi27 and pi28 and pi35 and not pi20 and not pi23 and not pi25 )
      or ( not pi04 and not pi05 and not pi06 and not pi08 and not pi09 and not pi11 and not pi13 and not pi15 and not pi16 and not pi18 and not pi22 and not pi26 and not pi27 and pi28 and not pi34 and pi35 and not pi20 and not pi23 and not pi25 )
      or ( not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and pi28 and pi35 and pi03 and not pi17 and not pi20 and not pi23 and not pi25 )
      or ( not pi04 and not pi05 and not pi06 and not pi08 and not pi09 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and pi28 and not pi34 and pi35 and pi03 and not pi17 and not pi20 and not pi23 and not pi25 )
      or ( not pi04 and not pi05 and not pi06 and not pi07 and not pi09 and not pi11 and not pi13 and not pi15 and not pi16 and not pi18 and not pi22 and not pi26 and not pi27 and pi28 and pi35 and not pi31 and not pi20 and not pi23 and not pi25 )
      or ( not pi04 and not pi05 and not pi06 and not pi09 and not pi11 and not pi13 and not pi15 and not pi16 and not pi18 and not pi22 and not pi26 and not pi27 and pi28 and not pi34 and pi35 and not pi31 and not pi20 and not pi23 and not pi25 )
      or ( not pi04 and not pi05 and not pi06 and not pi07 and not pi09 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and pi28 and pi35 and pi03 and not pi17 and not pi31 and not pi20 and not pi23 and not pi25 )
      or ( not pi04 and not pi05 and not pi06 and not pi09 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and pi28 and not pi34 and pi35 and pi03 and not pi17 and not pi31 and not pi20 and not pi23 and not pi25 );
    po1 <= ( n44 )
      or ( n45 )
      or ( n46 )
      or ( n47 )
      or ( n54 )
      or ( n55 )
      or ( n56 )
      or ( n57 )
      or ( n58 )
      or ( n59 )
      or ( n60 )
      or ( n80 )
      or ( n81 )
      or ( n61 )
      or ( n62 )
      or ( n82 )
      or ( n83 )
      or ( n66 )
      or ( n67 )
      or ( n68 )
      or ( n70 )
      or ( n71 )
      or ( n72 )
      or ( n73 )
      or ( n74 )
      or ( n75 )
      or ( n76 )
      or ( n77 )
      or ( n78 )
      or ( n79 )
      or ( not pi27 and pi28 and not pi31 and pi34 and not pi33 and not pi29 and not pi30 and pi20 )
      or ( pi19 and not pi27 and pi32 and not pi31 and pi34 and not pi33 and not pi29 and not pi30 and pi24 )
      or ( not pi22 and not pi23 and not pi27 and pi28 and not pi31 and pi33 and not pi29 and not pi30 and pi20 )
      or ( not pi23 and not pi25 and not pi27 and pi28 and not pi31 and not pi33 and not pi29 and not pi30 and pi20 )
      or ( pi07 and not pi13 and not pi15 and not pi16 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi30 )
      or ( pi07 and not pi15 and not pi16 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and not pi14 and pi30 )
      or ( pi07 and not pi13 and not pi15 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and not pi12 and pi30 )
      or ( pi07 and not pi15 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and not pi14 and not pi12 and pi30 )
      or ( not pi07 and not pi27 and not pi28 and not pi32 and pi36 and not pi31 and pi34 and not pi33 and not pi29 and not pi30 )
      or ( not pi07 and not pi27 and not pi28 and pi36 and not pi31 and pi34 and not pi14 and not pi33 and not pi29 and not pi30 )
      or ( not pi13 and not pi15 and not pi16 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi32 and pi24 )
      or ( not pi13 and not pi15 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi32 and not pi12 and pi24 )
      or ( pi19 and not pi22 and not pi23 and not pi27 and pi32 and not pi31 and pi33 and not pi29 and not pi30 and pi24 )
      or ( pi19 and not pi23 and not pi25 and not pi27 and pi32 and not pi31 and not pi33 and not pi29 and not pi30 and pi24 )
      or ( not pi13 and not pi15 and not pi16 and not pi22 and not pi23 and not pi26 and not pi27 and pi28 and pi33 and pi20 )
      or ( not pi15 and not pi16 and not pi22 and not pi23 and not pi26 and not pi27 and pi28 and not pi14 and pi33 and pi20 )
      or ( not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and pi28 and pi34 and not pi33 and pi20 )
      or ( not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and pi28 and pi34 and not pi14 and not pi33 and pi20 )
      or ( not pi13 and not pi15 and not pi22 and not pi23 and not pi26 and not pi27 and pi28 and pi33 and not pi12 and pi20 )
      or ( not pi15 and not pi22 and not pi23 and not pi26 and not pi27 and pi28 and not pi14 and pi33 and not pi12 and pi20 )
      or ( not pi13 and not pi15 and not pi22 and not pi26 and not pi27 and pi28 and pi34 and not pi33 and not pi12 and pi20 )
      or ( not pi15 and not pi22 and not pi26 and not pi27 and pi28 and pi34 and not pi14 and not pi33 and not pi12 and pi20 )
      or ( not pi13 and not pi15 and not pi16 and not pi19 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi28 and pi02 )
      or ( not pi15 and not pi16 and not pi19 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi28 and not pi14 and pi02 )
      or ( pi07 and not pi13 and not pi15 and not pi16 and pi19 and not pi22 and not pi23 and not pi26 and not pi27 and pi33 and pi30 )
      or ( pi07 and not pi13 and not pi15 and not pi16 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and pi33 and pi30 )
      or ( pi07 and not pi15 and not pi16 and pi19 and not pi22 and not pi23 and not pi26 and not pi27 and not pi14 and pi33 and pi30 )
      or ( pi07 and not pi15 and not pi16 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and not pi14 and pi33 and pi30 )
      or ( pi07 and not pi13 and not pi15 and not pi16 and pi19 and not pi22 and not pi26 and not pi27 and pi34 and not pi33 and pi30 )
      or ( pi07 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and pi34 and not pi33 and pi30 )
      or ( pi07 and not pi15 and not pi16 and pi19 and not pi22 and not pi26 and not pi27 and pi34 and not pi14 and not pi33 and pi30 )
      or ( pi07 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and pi34 and not pi14 and not pi33 and pi30 )
      or ( pi07 and not pi13 and not pi15 and pi19 and not pi22 and not pi23 and not pi26 and not pi27 and pi33 and not pi12 and pi30 )
      or ( pi07 and not pi13 and not pi15 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and pi33 and not pi12 and pi30 )
      or ( pi07 and not pi15 and pi19 and not pi22 and not pi23 and not pi26 and not pi27 and not pi14 and pi33 and not pi12 and pi30 )
      or ( pi07 and not pi15 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and not pi14 and pi33 and not pi12 and pi30 )
      or ( pi07 and not pi13 and not pi15 and pi19 and not pi22 and not pi26 and not pi27 and pi34 and not pi33 and not pi12 and pi30 )
      or ( pi07 and not pi13 and not pi15 and not pi22 and not pi26 and not pi27 and not pi28 and pi34 and not pi33 and not pi12 and pi30 )
      or ( pi07 and not pi15 and pi19 and not pi22 and not pi26 and not pi27 and pi34 and not pi14 and not pi33 and not pi12 and pi30 )
      or ( pi07 and not pi15 and not pi22 and not pi26 and not pi27 and not pi28 and pi34 and not pi14 and not pi33 and not pi12 and pi30 )
      or ( not pi07 and not pi22 and not pi23 and not pi27 and not pi28 and not pi32 and pi36 and not pi31 and pi33 and not pi29 and not pi30 )
      or ( not pi22 and not pi23 and not pi27 and not pi28 and not pi32 and pi36 and not pi31 and not pi34 and pi33 and not pi29 and not pi30 )
      or ( not pi07 and not pi22 and not pi23 and not pi27 and not pi28 and pi36 and not pi31 and not pi14 and pi33 and not pi29 and not pi30 )
      or ( not pi22 and not pi23 and not pi27 and not pi28 and pi36 and not pi31 and not pi34 and not pi14 and pi33 and not pi29 and not pi30 )
      or ( not pi23 and not pi25 and not pi27 and not pi28 and not pi32 and pi36 and not pi31 and not pi34 and not pi33 and not pi29 and not pi30 )
      or ( not pi23 and not pi25 and not pi27 and not pi28 and pi36 and not pi31 and not pi34 and not pi14 and not pi33 and not pi29 and not pi30 )
      or ( not pi13 and not pi15 and not pi16 and pi19 and not pi22 and not pi23 and not pi26 and not pi27 and pi32 and pi33 and pi24 )
      or ( not pi13 and not pi15 and not pi16 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and pi32 and pi33 and pi24 )
      or ( not pi15 and not pi16 and pi19 and not pi22 and not pi23 and not pi26 and not pi27 and pi32 and not pi14 and pi33 and pi24 )
      or ( not pi13 and not pi15 and not pi16 and pi19 and not pi22 and not pi26 and not pi27 and pi32 and pi34 and not pi33 and pi24 )
      or ( not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and pi32 and pi34 and not pi33 and pi24 )
      or ( not pi15 and not pi16 and pi19 and not pi22 and not pi26 and not pi27 and pi32 and pi34 and not pi14 and not pi33 and pi24 )
      or ( not pi13 and not pi15 and pi19 and not pi22 and not pi23 and not pi26 and not pi27 and pi32 and pi33 and not pi12 and pi24 )
      or ( not pi13 and not pi15 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and pi32 and pi33 and not pi12 and pi24 )
      or ( not pi15 and pi19 and not pi22 and not pi23 and not pi26 and not pi27 and pi32 and not pi14 and pi33 and not pi12 and pi24 )
      or ( not pi13 and not pi15 and pi19 and not pi22 and not pi26 and not pi27 and pi32 and pi34 and not pi33 and not pi12 and pi24 )
      or ( not pi13 and not pi15 and not pi22 and not pi26 and not pi27 and not pi28 and pi32 and pi34 and not pi33 and not pi12 and pi24 )
      or ( not pi15 and pi19 and not pi22 and not pi26 and not pi27 and pi32 and pi34 and not pi14 and not pi33 and not pi12 and pi24 )
      or ( not pi08 and not pi15 and not pi16 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and not pi28 and pi36 and not pi34 and not pi14 and not pi29 )
      or ( not pi07 and not pi08 and not pi15 and not pi16 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and pi36 and not pi14 and pi33 and not pi29 )
      or ( not pi08 and not pi15 and not pi16 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and pi36 and not pi34 and not pi14 and pi33 and not pi29 )
      or ( not pi07 and not pi08 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and pi36 and pi34 and not pi14 and not pi33 and not pi29 )
      or ( not pi08 and not pi15 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and not pi28 and pi36 and not pi34 and not pi14 and not pi12 and not pi29 )
      or ( not pi07 and not pi08 and not pi15 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and pi36 and not pi14 and pi33 and not pi12 and not pi29 )
      or ( not pi08 and not pi15 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and pi36 and not pi34 and not pi14 and pi33 and not pi12 and not pi29 )
      or ( not pi07 and not pi08 and not pi15 and not pi22 and not pi26 and not pi27 and not pi28 and pi36 and pi34 and not pi14 and not pi33 and not pi12 and not pi29 )
      or ( not pi15 and not pi16 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and not pi28 and pi36 and not pi31 and not pi14 and not pi29 and pi30 )
      or ( not pi15 and not pi16 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and pi36 and not pi31 and not pi14 and pi33 and not pi29 and pi30 )
      or ( not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and pi36 and not pi31 and pi34 and not pi14 and not pi33 and not pi29 and pi30 )
      or ( not pi15 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and not pi28 and pi36 and not pi31 and not pi14 and not pi12 and not pi29 and pi30 )
      or ( not pi15 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and pi36 and not pi31 and not pi14 and pi33 and not pi12 and not pi29 and pi30 )
      or ( not pi15 and not pi22 and not pi26 and not pi27 and not pi28 and pi36 and not pi31 and pi34 and not pi14 and not pi33 and not pi12 and not pi29 and pi30 )
      or ( not pi08 and not pi13 and not pi15 and not pi16 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and not pi28 and not pi32 and pi36 and not pi34 and not pi29 )
      or ( not pi00 and not pi07 and not pi08 and not pi15 and not pi16 and not pi19 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi36 and not pi14 and not pi29 )
      or ( not pi00 and not pi07 and not pi15 and not pi16 and not pi19 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi36 and not pi31 and not pi14 and not pi29 )
      or ( not pi00 and not pi08 and not pi15 and not pi16 and not pi19 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi36 and not pi34 and not pi14 and not pi29 )
      or ( not pi00 and not pi15 and not pi16 and not pi19 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi36 and not pi31 and not pi34 and not pi14 and not pi29 )
      or ( not pi07 and not pi08 and not pi13 and not pi15 and not pi16 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and not pi32 and pi36 and pi33 and not pi29 )
      or ( not pi08 and not pi13 and not pi15 and not pi16 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and not pi32 and pi36 and not pi34 and pi33 and not pi29 )
      or ( not pi07 and not pi08 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and not pi32 and pi36 and pi34 and not pi33 and not pi29 )
      or ( not pi08 and not pi13 and not pi15 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and not pi28 and not pi32 and pi36 and not pi34 and not pi12 and not pi29 )
      or ( not pi00 and not pi07 and not pi08 and not pi15 and not pi19 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi36 and not pi14 and not pi12 and not pi29 )
      or ( not pi00 and not pi07 and not pi15 and not pi19 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi36 and not pi31 and not pi14 and not pi12 and not pi29 )
      or ( not pi00 and not pi08 and not pi15 and not pi19 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi36 and not pi34 and not pi14 and not pi12 and not pi29 )
      or ( not pi00 and not pi15 and not pi19 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi36 and not pi31 and not pi34 and not pi14 and not pi12 and not pi29 )
      or ( not pi07 and not pi08 and not pi13 and not pi15 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and not pi32 and pi36 and pi33 and not pi12 and not pi29 )
      or ( not pi08 and not pi13 and not pi15 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and not pi32 and pi36 and not pi34 and pi33 and not pi12 and not pi29 )
      or ( not pi07 and not pi08 and not pi13 and not pi15 and not pi22 and not pi26 and not pi27 and not pi28 and not pi32 and pi36 and pi34 and not pi33 and not pi12 and not pi29 )
      or ( not pi13 and not pi15 and not pi16 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and not pi28 and not pi32 and pi36 and not pi31 and not pi29 and pi30 )
      or ( not pi13 and not pi15 and not pi16 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and not pi32 and pi36 and not pi31 and pi33 and not pi29 and pi30 )
      or ( not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and not pi32 and pi36 and not pi31 and pi34 and not pi33 and not pi29 and pi30 )
      or ( not pi13 and not pi15 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and not pi28 and not pi32 and pi36 and not pi31 and not pi12 and not pi29 and pi30 )
      or ( not pi13 and not pi15 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and not pi32 and pi36 and not pi31 and pi33 and not pi12 and not pi29 and pi30 )
      or ( not pi13 and not pi15 and not pi22 and not pi26 and not pi27 and not pi28 and not pi32 and pi36 and not pi31 and pi34 and not pi33 and not pi12 and not pi29 and pi30 )
      or ( not pi00 and not pi07 and not pi08 and not pi13 and not pi15 and not pi16 and not pi19 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and not pi32 and pi36 and not pi29 )
      or ( not pi00 and not pi07 and not pi13 and not pi15 and not pi16 and not pi19 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and not pi32 and pi36 and not pi31 and not pi29 )
      or ( not pi00 and not pi08 and not pi13 and not pi15 and not pi16 and not pi19 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and not pi32 and pi36 and not pi34 and not pi29 )
      or ( not pi00 and not pi13 and not pi15 and not pi16 and not pi19 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and not pi32 and pi36 and not pi31 and not pi34 and not pi29 )
      or ( not pi00 and not pi07 and not pi08 and not pi13 and not pi15 and not pi19 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and not pi32 and pi36 and not pi12 and not pi29 )
      or ( not pi00 and not pi07 and not pi13 and not pi15 and not pi19 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and not pi32 and pi36 and not pi31 and not pi12 and not pi29 )
      or ( not pi00 and not pi08 and not pi13 and not pi15 and not pi19 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and not pi32 and pi36 and not pi34 and not pi12 and not pi29 )
      or ( not pi00 and not pi13 and not pi15 and not pi19 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and not pi32 and pi36 and not pi31 and not pi34 and not pi12 and not pi29 )
      or ( not pi04 and not pi05 and not pi06 and not pi08 and not pi15 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and not pi28 and pi36 and not pi34 and not pi14 and not pi02 and not pi12 )
      or ( not pi04 and not pi05 and not pi06 and not pi15 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and not pi28 and pi36 and not pi31 and not pi34 and not pi14 and not pi02 and not pi12 )
      or ( not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi15 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and pi36 and not pi14 and not pi02 and pi33 and not pi12 )
      or ( not pi04 and not pi05 and not pi06 and not pi07 and not pi15 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and pi36 and not pi31 and not pi14 and not pi02 and pi33 and not pi12 )
      or ( not pi04 and not pi05 and not pi06 and not pi08 and not pi15 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and pi36 and not pi34 and not pi14 and not pi02 and pi33 and not pi12 )
      or ( not pi04 and not pi05 and not pi06 and not pi15 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and pi36 and not pi31 and not pi34 and not pi14 and not pi02 and pi33 and not pi12 )
      or ( not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi15 and not pi22 and not pi26 and not pi27 and not pi28 and pi36 and pi34 and not pi14 and not pi02 and not pi33 and not pi12 )
      or ( not pi04 and not pi05 and not pi06 and not pi07 and not pi15 and not pi22 and not pi26 and not pi27 and not pi28 and pi36 and not pi31 and pi34 and not pi14 and not pi02 and not pi33 and not pi12 )
      or ( not pi04 and not pi05 and not pi06 and not pi08 and not pi15 and not pi16 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and not pi28 and pi36 and not pi34 and not pi14 and not pi02 and not pi01 )
      or ( not pi04 and not pi05 and not pi06 and not pi15 and not pi16 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and not pi28 and pi36 and not pi31 and not pi34 and not pi14 and not pi02 and not pi01 )
      or ( not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi15 and not pi16 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and pi36 and not pi14 and not pi02 and pi33 and not pi01 )
      or ( not pi04 and not pi05 and not pi06 and not pi07 and not pi15 and not pi16 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and pi36 and not pi31 and not pi14 and not pi02 and pi33 and not pi01 )
      or ( not pi04 and not pi05 and not pi06 and not pi08 and not pi15 and not pi16 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and pi36 and not pi34 and not pi14 and not pi02 and pi33 and not pi01 )
      or ( not pi04 and not pi05 and not pi06 and not pi15 and not pi16 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and pi36 and not pi31 and not pi34 and not pi14 and not pi02 and pi33 and not pi01 )
      or ( not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and pi36 and pi34 and not pi14 and not pi02 and not pi33 and not pi01 )
      or ( not pi04 and not pi05 and not pi06 and not pi07 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and pi36 and not pi31 and pi34 and not pi14 and not pi02 and not pi33 and not pi01 )
      or ( not pi00 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi15 and not pi19 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi28 and pi36 and not pi14 and not pi12 )
      or ( not pi00 and not pi04 and not pi05 and not pi06 and not pi07 and not pi15 and not pi19 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi28 and pi36 and not pi31 and not pi14 and not pi12 )
      or ( not pi00 and not pi04 and not pi05 and not pi06 and not pi08 and not pi15 and not pi19 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi28 and pi36 and not pi34 and not pi14 and not pi12 )
      or ( not pi00 and not pi04 and not pi05 and not pi06 and not pi15 and not pi19 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi28 and pi36 and not pi31 and not pi34 and not pi14 and not pi12 )
      or ( not pi04 and not pi05 and not pi06 and not pi08 and not pi13 and not pi15 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and not pi28 and not pi32 and pi36 and not pi34 and not pi02 and not pi12 )
      or ( not pi04 and not pi05 and not pi06 and not pi13 and not pi15 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and not pi28 and not pi32 and pi36 and not pi31 and not pi34 and not pi02 and not pi12 )
      or ( not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi13 and not pi15 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and not pi32 and pi36 and not pi02 and pi33 and not pi12 )
      or ( not pi04 and not pi05 and not pi06 and not pi07 and not pi13 and not pi15 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and not pi32 and pi36 and not pi31 and not pi02 and pi33 and not pi12 )
      or ( not pi04 and not pi05 and not pi06 and not pi08 and not pi13 and not pi15 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and not pi32 and pi36 and not pi34 and not pi02 and pi33 and not pi12 )
      or ( not pi04 and not pi05 and not pi06 and not pi13 and not pi15 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and not pi32 and pi36 and not pi31 and not pi34 and not pi02 and pi33 and not pi12 )
      or ( not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi13 and not pi15 and not pi22 and not pi26 and not pi27 and not pi28 and not pi32 and pi36 and pi34 and not pi02 and not pi33 and not pi12 )
      or ( not pi04 and not pi05 and not pi06 and not pi07 and not pi13 and not pi15 and not pi22 and not pi26 and not pi27 and not pi28 and not pi32 and pi36 and not pi31 and pi34 and not pi02 and not pi33 and not pi12 )
      or ( not pi04 and not pi05 and not pi06 and not pi08 and not pi09 and pi13 and not pi15 and not pi16 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and not pi28 and pi36 and not pi34 and not pi14 and not pi02 )
      or ( not pi04 and not pi05 and not pi06 and not pi09 and pi13 and not pi15 and not pi16 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and not pi28 and pi36 and not pi31 and not pi34 and not pi14 and not pi02 )
      or ( not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi13 and not pi15 and not pi16 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and pi36 and not pi14 and not pi02 and pi33 )
      or ( not pi04 and not pi05 and not pi06 and not pi07 and not pi09 and pi13 and not pi15 and not pi16 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and pi36 and not pi31 and not pi14 and not pi02 and pi33 )
      or ( not pi04 and not pi05 and not pi06 and not pi08 and not pi09 and pi13 and not pi15 and not pi16 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and pi36 and not pi34 and not pi14 and not pi02 and pi33 )
      or ( not pi04 and not pi05 and not pi06 and not pi09 and pi13 and not pi15 and not pi16 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and pi36 and not pi31 and not pi34 and not pi14 and not pi02 and pi33 )
      or ( not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and pi36 and pi34 and not pi14 and not pi02 and not pi33 )
      or ( not pi04 and not pi05 and not pi06 and not pi07 and not pi09 and pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and pi36 and not pi31 and pi34 and not pi14 and not pi02 and not pi33 )
      or ( not pi04 and not pi05 and not pi06 and not pi08 and not pi09 and not pi15 and not pi16 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and not pi28 and pi36 and not pi34 and not pi14 and not pi02 and not pi10 )
      or ( not pi04 and not pi05 and not pi06 and not pi09 and not pi15 and not pi16 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and not pi28 and pi36 and not pi31 and not pi34 and not pi14 and not pi02 and not pi10 )
      or ( not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi15 and not pi16 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and pi36 and not pi14 and not pi02 and pi33 and not pi10 )
      or ( not pi04 and not pi05 and not pi06 and not pi07 and not pi09 and not pi15 and not pi16 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and pi36 and not pi31 and not pi14 and not pi02 and pi33 and not pi10 )
      or ( not pi04 and not pi05 and not pi06 and not pi08 and not pi09 and not pi15 and not pi16 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and pi36 and not pi34 and not pi14 and not pi02 and pi33 and not pi10 )
      or ( not pi04 and not pi05 and not pi06 and not pi09 and not pi15 and not pi16 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and pi36 and not pi31 and not pi34 and not pi14 and not pi02 and pi33 and not pi10 )
      or ( not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and pi36 and pi34 and not pi14 and not pi02 and not pi33 and not pi10 )
      or ( not pi04 and not pi05 and not pi06 and not pi07 and not pi09 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and pi36 and not pi31 and pi34 and not pi14 and not pi02 and not pi33 and not pi10 )
      or ( not pi00 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi15 and not pi16 and not pi19 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi28 and pi36 and not pi14 and not pi01 )
      or ( not pi00 and not pi04 and not pi05 and not pi06 and not pi07 and not pi15 and not pi16 and not pi19 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi28 and pi36 and not pi31 and not pi14 and not pi01 )
      or ( not pi00 and not pi04 and not pi05 and not pi06 and not pi08 and not pi15 and not pi16 and not pi19 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi28 and pi36 and not pi34 and not pi14 and not pi01 )
      or ( not pi00 and not pi04 and not pi05 and not pi06 and not pi15 and not pi16 and not pi19 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi28 and pi36 and not pi31 and not pi34 and not pi14 and not pi01 )
      or ( not pi04 and not pi05 and not pi06 and not pi08 and not pi13 and not pi15 and not pi16 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and not pi28 and not pi32 and pi36 and not pi34 and not pi02 and not pi01 )
      or ( not pi04 and not pi05 and not pi06 and not pi13 and not pi15 and not pi16 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and not pi28 and not pi32 and pi36 and not pi31 and not pi34 and not pi02 and not pi01 )
      or ( not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi13 and not pi15 and not pi16 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and not pi32 and pi36 and not pi02 and pi33 and not pi01 )
      or ( not pi04 and not pi05 and not pi06 and not pi07 and not pi13 and not pi15 and not pi16 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and not pi32 and pi36 and not pi31 and not pi02 and pi33 and not pi01 )
      or ( not pi04 and not pi05 and not pi06 and not pi08 and not pi13 and not pi15 and not pi16 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and not pi32 and pi36 and not pi34 and not pi02 and pi33 and not pi01 )
      or ( not pi04 and not pi05 and not pi06 and not pi13 and not pi15 and not pi16 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and not pi32 and pi36 and not pi31 and not pi34 and not pi02 and pi33 and not pi01 )
      or ( not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and not pi32 and pi36 and pi34 and not pi02 and not pi33 and not pi01 )
      or ( not pi04 and not pi05 and not pi06 and not pi07 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and not pi32 and pi36 and not pi31 and pi34 and not pi02 and not pi33 and not pi01 )
      or ( not pi00 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi13 and not pi15 and not pi19 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi28 and not pi32 and pi36 and not pi12 )
      or ( not pi00 and not pi04 and not pi05 and not pi06 and not pi07 and not pi13 and not pi15 and not pi19 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi28 and not pi32 and pi36 and not pi31 and not pi12 )
      or ( not pi00 and not pi04 and not pi05 and not pi06 and not pi08 and not pi13 and not pi15 and not pi19 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi28 and not pi32 and pi36 and not pi34 and not pi12 )
      or ( not pi00 and not pi04 and not pi05 and not pi06 and not pi13 and not pi15 and not pi19 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi28 and not pi32 and pi36 and not pi31 and not pi34 and not pi12 )
      or ( not pi00 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi13 and not pi15 and not pi16 and not pi19 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi28 and pi36 and not pi14 )
      or ( not pi00 and not pi04 and not pi05 and not pi06 and not pi07 and not pi09 and pi13 and not pi15 and not pi16 and not pi19 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi28 and pi36 and not pi31 and not pi14 )
      or ( not pi00 and not pi04 and not pi05 and not pi06 and not pi08 and not pi09 and pi13 and not pi15 and not pi16 and not pi19 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi28 and pi36 and not pi34 and not pi14 )
      or ( not pi00 and not pi04 and not pi05 and not pi06 and not pi09 and pi13 and not pi15 and not pi16 and not pi19 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi28 and pi36 and not pi31 and not pi34 and not pi14 )
      or ( not pi04 and not pi05 and not pi06 and not pi08 and not pi09 and not pi11 and not pi15 and not pi16 and not pi18 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and not pi28 and pi36 and not pi34 and not pi14 and not pi02 )
      or ( not pi04 and not pi05 and not pi06 and not pi08 and not pi09 and not pi15 and not pi16 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and not pi28 and pi36 and pi03 and not pi17 and not pi34 and not pi14 and not pi02 )
      or ( not pi04 and not pi05 and not pi06 and not pi09 and not pi11 and not pi15 and not pi16 and not pi18 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and not pi28 and pi36 and not pi31 and not pi34 and not pi14 and not pi02 )
      or ( not pi04 and not pi05 and not pi06 and not pi09 and not pi15 and not pi16 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and not pi28 and pi36 and pi03 and not pi17 and not pi31 and not pi34 and not pi14 and not pi02 )
      or ( not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi11 and not pi15 and not pi16 and not pi18 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and pi36 and not pi14 and not pi02 and pi33 )
      or ( not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi15 and not pi16 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and pi36 and pi03 and not pi17 and not pi14 and not pi02 and pi33 )
      or ( not pi04 and not pi05 and not pi06 and not pi07 and not pi09 and not pi11 and not pi15 and not pi16 and not pi18 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and pi36 and not pi31 and not pi14 and not pi02 and pi33 )
      or ( not pi04 and not pi05 and not pi06 and not pi07 and not pi09 and not pi15 and not pi16 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and pi36 and pi03 and not pi17 and not pi31 and not pi14 and not pi02 and pi33 )
      or ( not pi04 and not pi05 and not pi06 and not pi08 and not pi09 and not pi11 and not pi15 and not pi16 and not pi18 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and pi36 and not pi34 and not pi14 and not pi02 and pi33 )
      or ( not pi04 and not pi05 and not pi06 and not pi08 and not pi09 and not pi15 and not pi16 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and pi36 and pi03 and not pi17 and not pi34 and not pi14 and not pi02 and pi33 )
      or ( not pi04 and not pi05 and not pi06 and not pi09 and not pi11 and not pi15 and not pi16 and not pi18 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and pi36 and not pi31 and not pi34 and not pi14 and not pi02 and pi33 )
      or ( not pi04 and not pi05 and not pi06 and not pi09 and not pi15 and not pi16 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and pi36 and pi03 and not pi17 and not pi31 and not pi34 and not pi14 and not pi02 and pi33 )
      or ( not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi11 and not pi15 and not pi16 and not pi18 and not pi22 and not pi26 and not pi27 and not pi28 and pi36 and pi34 and not pi14 and not pi02 and not pi33 )
      or ( not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and pi36 and pi03 and not pi17 and pi34 and not pi14 and not pi02 and not pi33 )
      or ( not pi04 and not pi05 and not pi06 and not pi07 and not pi09 and not pi11 and not pi15 and not pi16 and not pi18 and not pi22 and not pi26 and not pi27 and not pi28 and pi36 and not pi31 and pi34 and not pi14 and not pi02 and not pi33 )
      or ( not pi04 and not pi05 and not pi06 and not pi07 and not pi09 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and pi36 and pi03 and not pi17 and not pi31 and pi34 and not pi14 and not pi02 and not pi33 )
      or ( not pi00 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi15 and not pi16 and not pi19 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi28 and pi36 and not pi14 and not pi10 )
      or ( not pi00 and not pi04 and not pi05 and not pi06 and not pi07 and not pi09 and not pi15 and not pi16 and not pi19 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi28 and pi36 and not pi31 and not pi14 and not pi10 )
      or ( not pi00 and not pi04 and not pi05 and not pi06 and not pi08 and not pi09 and not pi15 and not pi16 and not pi19 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi28 and pi36 and not pi34 and not pi14 and not pi10 )
      or ( not pi00 and not pi04 and not pi05 and not pi06 and not pi09 and not pi15 and not pi16 and not pi19 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi28 and pi36 and not pi31 and not pi34 and not pi14 and not pi10 )
      or ( not pi04 and not pi05 and not pi06 and not pi08 and not pi09 and not pi13 and not pi15 and not pi16 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and not pi28 and not pi32 and pi36 and not pi34 and not pi02 and not pi10 )
      or ( not pi04 and not pi05 and not pi06 and not pi09 and not pi13 and not pi15 and not pi16 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and not pi28 and not pi32 and pi36 and not pi31 and not pi34 and not pi02 and not pi10 )
      or ( not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi13 and not pi15 and not pi16 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and not pi32 and pi36 and not pi02 and pi33 and not pi10 )
      or ( not pi04 and not pi05 and not pi06 and not pi07 and not pi09 and not pi13 and not pi15 and not pi16 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and not pi32 and pi36 and not pi31 and not pi02 and pi33 and not pi10 )
      or ( not pi04 and not pi05 and not pi06 and not pi08 and not pi09 and not pi13 and not pi15 and not pi16 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and not pi32 and pi36 and not pi34 and not pi02 and pi33 and not pi10 )
      or ( not pi04 and not pi05 and not pi06 and not pi09 and not pi13 and not pi15 and not pi16 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and not pi32 and pi36 and not pi31 and not pi34 and not pi02 and pi33 and not pi10 )
      or ( not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and not pi32 and pi36 and pi34 and not pi02 and not pi33 and not pi10 )
      or ( not pi04 and not pi05 and not pi06 and not pi07 and not pi09 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and not pi32 and pi36 and not pi31 and pi34 and not pi02 and not pi33 and not pi10 )
      or ( not pi00 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi13 and not pi15 and not pi16 and not pi19 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi28 and not pi32 and pi36 and not pi01 )
      or ( not pi00 and not pi04 and not pi05 and not pi06 and not pi07 and not pi13 and not pi15 and not pi16 and not pi19 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi28 and not pi32 and pi36 and not pi31 and not pi01 )
      or ( not pi00 and not pi04 and not pi05 and not pi06 and not pi08 and not pi13 and not pi15 and not pi16 and not pi19 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi28 and not pi32 and pi36 and not pi34 and not pi01 )
      or ( not pi00 and not pi04 and not pi05 and not pi06 and not pi13 and not pi15 and not pi16 and not pi19 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi28 and not pi32 and pi36 and not pi31 and not pi34 and not pi01 )
      or ( not pi00 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi11 and not pi15 and not pi16 and not pi18 and not pi19 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi28 and pi36 and not pi14 )
      or ( not pi00 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi15 and not pi16 and not pi19 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi28 and pi36 and pi03 and not pi17 and not pi14 )
      or ( not pi00 and not pi04 and not pi05 and not pi06 and not pi07 and not pi09 and not pi11 and not pi15 and not pi16 and not pi18 and not pi19 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi28 and pi36 and not pi31 and not pi14 )
      or ( not pi00 and not pi04 and not pi05 and not pi06 and not pi07 and not pi09 and not pi15 and not pi16 and not pi19 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi28 and pi36 and pi03 and not pi17 and not pi31 and not pi14 )
      or ( not pi00 and not pi04 and not pi05 and not pi06 and not pi08 and not pi09 and not pi11 and not pi15 and not pi16 and not pi18 and not pi19 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi28 and pi36 and not pi34 and not pi14 )
      or ( not pi00 and not pi04 and not pi05 and not pi06 and not pi08 and not pi09 and not pi15 and not pi16 and not pi19 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi28 and pi36 and pi03 and not pi17 and not pi34 and not pi14 )
      or ( not pi00 and not pi04 and not pi05 and not pi06 and not pi09 and not pi11 and not pi15 and not pi16 and not pi18 and not pi19 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi28 and pi36 and not pi31 and not pi34 and not pi14 )
      or ( not pi00 and not pi04 and not pi05 and not pi06 and not pi09 and not pi15 and not pi16 and not pi19 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi28 and pi36 and pi03 and not pi17 and not pi31 and not pi34 and not pi14 )
      or ( not pi04 and not pi05 and not pi06 and not pi08 and not pi09 and not pi11 and not pi13 and not pi15 and not pi16 and not pi18 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and not pi28 and not pi32 and pi36 and not pi34 and not pi02 )
      or ( not pi04 and not pi05 and not pi06 and not pi08 and not pi09 and not pi13 and not pi15 and not pi16 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and not pi28 and not pi32 and pi36 and pi03 and not pi17 and not pi34 and not pi02 )
      or ( not pi04 and not pi05 and not pi06 and not pi09 and not pi11 and not pi13 and not pi15 and not pi16 and not pi18 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and not pi28 and not pi32 and pi36 and not pi31 and not pi34 and not pi02 )
      or ( not pi04 and not pi05 and not pi06 and not pi09 and not pi13 and not pi15 and not pi16 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and not pi28 and not pi32 and pi36 and pi03 and not pi17 and not pi31 and not pi34 and not pi02 )
      or ( not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi11 and not pi13 and not pi15 and not pi16 and not pi18 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and not pi32 and pi36 and not pi02 and pi33 )
      or ( not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi13 and not pi15 and not pi16 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and not pi32 and pi36 and pi03 and not pi17 and not pi02 and pi33 )
      or ( not pi04 and not pi05 and not pi06 and not pi07 and not pi09 and not pi11 and not pi13 and not pi15 and not pi16 and not pi18 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and not pi32 and pi36 and not pi31 and not pi02 and pi33 )
      or ( not pi04 and not pi05 and not pi06 and not pi07 and not pi09 and not pi13 and not pi15 and not pi16 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and not pi32 and pi36 and pi03 and not pi17 and not pi31 and not pi02 and pi33 )
      or ( not pi04 and not pi05 and not pi06 and not pi08 and not pi09 and not pi11 and not pi13 and not pi15 and not pi16 and not pi18 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and not pi32 and pi36 and not pi34 and not pi02 and pi33 )
      or ( not pi04 and not pi05 and not pi06 and not pi08 and not pi09 and not pi13 and not pi15 and not pi16 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and not pi32 and pi36 and pi03 and not pi17 and not pi34 and not pi02 and pi33 )
      or ( not pi04 and not pi05 and not pi06 and not pi09 and not pi11 and not pi13 and not pi15 and not pi16 and not pi18 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and not pi32 and pi36 and not pi31 and not pi34 and not pi02 and pi33 )
      or ( not pi04 and not pi05 and not pi06 and not pi09 and not pi13 and not pi15 and not pi16 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and not pi32 and pi36 and pi03 and not pi17 and not pi31 and not pi34 and not pi02 and pi33 )
      or ( not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi11 and not pi13 and not pi15 and not pi16 and not pi18 and not pi22 and not pi26 and not pi27 and not pi28 and not pi32 and pi36 and pi34 and not pi02 and not pi33 )
      or ( not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and not pi32 and pi36 and pi03 and not pi17 and pi34 and not pi02 and not pi33 )
      or ( not pi04 and not pi05 and not pi06 and not pi07 and not pi09 and not pi11 and not pi13 and not pi15 and not pi16 and not pi18 and not pi22 and not pi26 and not pi27 and not pi28 and not pi32 and pi36 and not pi31 and pi34 and not pi02 and not pi33 )
      or ( not pi04 and not pi05 and not pi06 and not pi07 and not pi09 and not pi13 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and not pi32 and pi36 and pi03 and not pi17 and not pi31 and pi34 and not pi02 and not pi33 )
      or ( not pi00 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi13 and not pi15 and not pi16 and not pi19 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi28 and not pi32 and pi36 and not pi10 )
      or ( not pi00 and not pi04 and not pi05 and not pi06 and not pi07 and not pi09 and not pi13 and not pi15 and not pi16 and not pi19 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi28 and not pi32 and pi36 and not pi31 and not pi10 )
      or ( not pi00 and not pi04 and not pi05 and not pi06 and not pi08 and not pi09 and not pi13 and not pi15 and not pi16 and not pi19 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi28 and not pi32 and pi36 and not pi34 and not pi10 )
      or ( not pi00 and not pi04 and not pi05 and not pi06 and not pi09 and not pi13 and not pi15 and not pi16 and not pi19 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi28 and not pi32 and pi36 and not pi31 and not pi34 and not pi10 )
      or ( not pi00 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi11 and not pi13 and not pi15 and not pi16 and not pi18 and not pi19 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi28 and not pi32 and pi36 )
      or ( not pi00 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi13 and not pi15 and not pi16 and not pi19 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi28 and not pi32 and pi36 and pi03 and not pi17 )
      or ( not pi00 and not pi04 and not pi05 and not pi06 and not pi07 and not pi09 and not pi11 and not pi13 and not pi15 and not pi16 and not pi18 and not pi19 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi28 and not pi32 and pi36 and not pi31 )
      or ( not pi00 and not pi04 and not pi05 and not pi06 and not pi07 and not pi09 and not pi13 and not pi15 and not pi16 and not pi19 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi28 and not pi32 and pi36 and pi03 and not pi17 and not pi31 )
      or ( not pi00 and not pi04 and not pi05 and not pi06 and not pi08 and not pi09 and not pi11 and not pi13 and not pi15 and not pi16 and not pi18 and not pi19 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi28 and not pi32 and pi36 and not pi34 )
      or ( not pi00 and not pi04 and not pi05 and not pi06 and not pi08 and not pi09 and not pi13 and not pi15 and not pi16 and not pi19 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi28 and not pi32 and pi36 and pi03 and not pi17 and not pi34 )
      or ( not pi00 and not pi04 and not pi05 and not pi06 and not pi09 and not pi11 and not pi13 and not pi15 and not pi16 and not pi18 and not pi19 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi28 and not pi32 and pi36 and not pi31 and not pi34 )
      or ( not pi00 and not pi04 and not pi05 and not pi06 and not pi09 and not pi13 and not pi15 and not pi16 and not pi19 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi28 and not pi32 and pi36 and pi03 and not pi17 and not pi31 and not pi34 );
    po2 <= ( n48 )
      or ( n49 )
      or ( n50 )
      or ( n51 )
      or ( n52 )
      or ( n53 )
      or ( n80 )
      or ( n81 )
      or ( n82 )
      or ( n63 )
      or ( n64 )
      or ( n83 )
      or ( n65 )
      or ( n69 )
      or ( not pi23 and not pi25 and not pi27 and pi29 and pi22 )
      or ( not pi23 and not pi25 and not pi27 and pi31 and pi22 )
      or ( not pi23 and not pi25 and not pi27 and pi22 and pi30 )
      or ( not pi23 and not pi25 and not pi27 and pi14 and pi32 )
      or ( pi21 and not pi23 and not pi27 and pi22 and pi33 )
      or ( not pi23 and not pi27 and pi22 and not pi28 and pi33 )
      or ( not pi23 and not pi25 and not pi27 and pi29 and pi15 )
      or ( not pi23 and not pi25 and not pi27 and pi31 and pi15 )
      or ( not pi23 and not pi25 and not pi27 and pi30 and pi15 )
      or ( not pi23 and not pi25 and not pi27 and pi29 and pi26 )
      or ( not pi23 and not pi25 and not pi27 and pi31 and pi26 )
      or ( not pi23 and not pi25 and not pi27 and pi30 and pi26 )
      or ( pi13 and not pi23 and not pi25 and not pi27 and pi29 and pi14 )
      or ( pi13 and not pi23 and not pi25 and not pi27 and pi31 and pi14 )
      or ( pi13 and not pi23 and not pi25 and not pi27 and pi30 and pi14 )
      or ( not pi21 and not pi23 and not pi25 and not pi27 and pi22 and pi28 )
      or ( pi21 and not pi23 and not pi27 and pi14 and pi32 and pi33 )
      or ( pi21 and not pi27 and pi29 and pi34 and pi22 and not pi33 )
      or ( pi21 and not pi27 and pi31 and pi34 and pi22 and not pi33 )
      or ( pi21 and not pi27 and pi34 and pi22 and pi30 and not pi33 )
      or ( pi21 and not pi27 and pi34 and pi14 and pi32 and not pi33 )
      or ( not pi27 and pi29 and pi34 and pi22 and not pi28 and not pi33 )
      or ( not pi27 and pi31 and pi34 and pi22 and not pi28 and not pi33 )
      or ( not pi27 and pi34 and pi22 and pi30 and not pi28 and not pi33 )
      or ( not pi21 and not pi23 and not pi25 and not pi27 and pi28 and pi15 )
      or ( pi21 and not pi23 and not pi27 and pi29 and pi33 and pi15 )
      or ( pi21 and not pi23 and not pi27 and pi31 and pi33 and pi15 )
      or ( pi21 and not pi23 and not pi27 and pi30 and pi33 and pi15 )
      or ( not pi23 and not pi27 and pi29 and not pi28 and pi33 and pi15 )
      or ( not pi23 and not pi27 and pi31 and not pi28 and pi33 and pi15 )
      or ( not pi23 and not pi27 and pi30 and not pi28 and pi33 and pi15 )
      or ( pi21 and not pi27 and pi29 and pi34 and not pi33 and pi15 )
      or ( pi21 and not pi27 and pi31 and pi34 and not pi33 and pi15 )
      or ( pi21 and not pi27 and pi34 and pi30 and not pi33 and pi15 )
      or ( not pi27 and pi29 and pi34 and not pi28 and not pi33 and pi15 )
      or ( not pi27 and pi31 and pi34 and not pi28 and not pi33 and pi15 )
      or ( not pi27 and pi34 and pi30 and not pi28 and not pi33 and pi15 )
      or ( not pi21 and not pi23 and not pi25 and not pi27 and pi28 and pi26 )
      or ( pi21 and not pi23 and not pi27 and pi29 and pi33 and pi26 )
      or ( pi21 and not pi23 and not pi27 and pi31 and pi33 and pi26 )
      or ( pi21 and not pi23 and not pi27 and pi30 and pi33 and pi26 )
      or ( not pi23 and not pi27 and pi29 and not pi28 and pi33 and pi26 )
      or ( not pi23 and not pi27 and pi31 and not pi28 and pi33 and pi26 )
      or ( not pi23 and not pi27 and pi30 and not pi28 and pi33 and pi26 )
      or ( pi21 and not pi27 and pi29 and pi34 and not pi33 and pi26 )
      or ( pi21 and not pi27 and pi31 and pi34 and not pi33 and pi26 )
      or ( pi21 and not pi27 and pi34 and pi30 and not pi33 and pi26 )
      or ( not pi27 and pi29 and pi34 and not pi28 and not pi33 and pi26 )
      or ( not pi27 and pi31 and pi34 and not pi28 and not pi33 and pi26 )
      or ( not pi27 and pi34 and pi30 and not pi28 and not pi33 and pi26 )
      or ( not pi23 and not pi25 and not pi27 and pi29 and pi12 and pi16 )
      or ( not pi23 and not pi25 and not pi27 and pi31 and pi12 and pi16 )
      or ( not pi23 and not pi25 and not pi27 and pi30 and pi12 and pi16 )
      or ( not pi21 and not pi23 and not pi27 and pi28 and pi33 and pi19 )
      or ( not pi21 and not pi27 and pi34 and pi28 and not pi33 and pi19 )
      or ( not pi21 and not pi23 and not pi27 and pi28 and pi33 and pi20 )
      or ( not pi21 and not pi27 and pi34 and pi28 and not pi33 and pi20 )
      or ( pi13 and not pi21 and not pi23 and not pi25 and not pi27 and pi14 and pi28 )
      or ( pi13 and pi21 and not pi23 and not pi27 and pi29 and pi14 and pi33 )
      or ( pi13 and pi21 and not pi23 and not pi27 and pi31 and pi14 and pi33 )
      or ( pi13 and pi21 and not pi23 and not pi27 and pi30 and pi14 and pi33 )
      or ( pi13 and not pi23 and not pi27 and pi29 and pi14 and not pi28 and pi33 )
      or ( pi13 and not pi23 and not pi27 and pi31 and pi14 and not pi28 and pi33 )
      or ( pi13 and not pi23 and not pi27 and pi30 and pi14 and not pi28 and pi33 )
      or ( pi13 and pi21 and not pi27 and pi29 and pi34 and pi14 and not pi33 )
      or ( pi13 and pi21 and not pi27 and pi31 and pi34 and pi14 and not pi33 )
      or ( pi13 and pi21 and not pi27 and pi34 and pi30 and pi14 and not pi33 )
      or ( pi13 and not pi27 and pi29 and pi34 and pi14 and not pi28 and not pi33 )
      or ( pi13 and not pi27 and pi31 and pi34 and pi14 and not pi28 and not pi33 )
      or ( pi13 and not pi27 and pi34 and pi30 and pi14 and not pi28 and not pi33 )
      or ( not pi21 and not pi23 and not pi25 and not pi27 and pi28 and pi12 and pi16 )
      or ( pi21 and not pi23 and not pi27 and pi29 and pi33 and pi12 and pi16 )
      or ( pi21 and not pi23 and not pi27 and pi31 and pi33 and pi12 and pi16 )
      or ( pi21 and not pi23 and not pi27 and pi30 and pi33 and pi12 and pi16 )
      or ( not pi23 and not pi27 and pi29 and not pi28 and pi33 and pi12 and pi16 )
      or ( not pi23 and not pi27 and pi31 and not pi28 and pi33 and pi12 and pi16 )
      or ( not pi23 and not pi27 and pi30 and not pi28 and pi33 and pi12 and pi16 )
      or ( pi21 and not pi27 and pi29 and pi34 and not pi33 and pi12 and pi16 )
      or ( pi21 and not pi27 and pi31 and pi34 and not pi33 and pi12 and pi16 )
      or ( pi21 and not pi27 and pi34 and pi30 and not pi33 and pi12 and pi16 )
      or ( not pi27 and pi29 and pi34 and not pi28 and not pi33 and pi12 and pi16 )
      or ( not pi27 and pi31 and pi34 and not pi28 and not pi33 and pi12 and pi16 )
      or ( not pi27 and pi34 and pi30 and not pi28 and not pi33 and pi12 and pi16 )
      or ( not pi23 and not pi24 and not pi25 and not pi27 and not pi29 and not pi31 and pi37 and not pi07 and not pi28 )
      or ( not pi23 and not pi25 and not pi27 and not pi29 and not pi31 and pi37 and not pi32 and not pi07 and not pi28 )
      or ( not pi23 and not pi24 and not pi25 and not pi27 and not pi29 and pi37 and not pi07 and not pi08 and not pi28 )
      or ( not pi23 and not pi25 and not pi27 and not pi29 and pi37 and not pi32 and not pi07 and not pi08 and not pi28 )
      or ( not pi23 and not pi24 and not pi27 and not pi29 and not pi31 and pi37 and not pi07 and not pi28 and pi33 )
      or ( not pi23 and not pi27 and not pi29 and not pi31 and pi37 and not pi32 and not pi07 and not pi28 and pi33 )
      or ( not pi23 and not pi24 and not pi27 and not pi29 and pi37 and not pi07 and not pi08 and not pi28 and pi33 )
      or ( not pi23 and not pi27 and not pi29 and pi37 and not pi32 and not pi07 and not pi08 and not pi28 and pi33 )
      or ( not pi24 and not pi27 and not pi29 and not pi31 and pi34 and pi37 and not pi07 and not pi28 and not pi33 )
      or ( not pi27 and not pi29 and not pi31 and pi34 and pi37 and not pi32 and not pi07 and not pi28 and not pi33 )
      or ( not pi24 and not pi27 and not pi29 and pi34 and pi37 and not pi07 and not pi08 and not pi28 and not pi33 )
      or ( not pi27 and not pi29 and pi34 and pi37 and not pi32 and not pi07 and not pi08 and not pi28 and not pi33 )
      or ( not pi02 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi29 and not pi31 and pi37 and not pi07 )
      or ( not pi02 and not pi21 and not pi23 and not pi25 and not pi27 and not pi29 and not pi31 and pi37 and not pi32 and not pi07 )
      or ( not pi02 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi29 and pi37 and not pi07 and not pi08 )
      or ( not pi02 and not pi21 and not pi23 and not pi25 and not pi27 and not pi29 and pi37 and not pi32 and not pi07 and not pi08 )
      or ( not pi23 and not pi24 and not pi25 and not pi27 and not pi29 and not pi31 and not pi34 and pi37 and not pi30 and not pi28 )
      or ( not pi23 and not pi25 and not pi27 and not pi29 and not pi31 and not pi34 and pi37 and not pi30 and not pi32 and not pi28 )
      or ( not pi23 and not pi24 and not pi25 and not pi27 and not pi29 and not pi34 and pi37 and not pi30 and not pi08 and not pi28 )
      or ( not pi23 and not pi25 and not pi27 and not pi29 and not pi34 and pi37 and not pi30 and not pi32 and not pi08 and not pi28 )
      or ( not pi23 and not pi24 and not pi27 and not pi29 and not pi31 and not pi34 and pi37 and not pi30 and not pi28 and pi33 )
      or ( not pi23 and not pi27 and not pi29 and not pi31 and not pi34 and pi37 and not pi30 and not pi32 and not pi28 and pi33 )
      or ( not pi23 and not pi24 and not pi27 and not pi29 and not pi34 and pi37 and not pi30 and not pi08 and not pi28 and pi33 )
      or ( not pi23 and not pi27 and not pi29 and not pi34 and pi37 and not pi30 and not pi32 and not pi08 and not pi28 and pi33 )
      or ( not pi02 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi29 and not pi31 and not pi34 and pi37 and not pi30 )
      or ( not pi02 and not pi21 and not pi23 and not pi25 and not pi27 and not pi29 and not pi31 and not pi34 and pi37 and not pi30 and not pi32 )
      or ( not pi02 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi29 and not pi34 and pi37 and not pi30 and not pi08 )
      or ( not pi02 and not pi21 and not pi23 and not pi25 and not pi27 and not pi29 and not pi34 and pi37 and not pi30 and not pi32 and not pi08 )
      or ( pi09 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi29 and not pi31 and pi37 and not pi07 and pi12 )
      or ( pi09 and not pi21 and not pi23 and not pi25 and not pi27 and not pi29 and not pi31 and pi37 and not pi32 and not pi07 and pi12 )
      or ( pi09 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi29 and pi37 and not pi07 and not pi08 and pi12 )
      or ( pi09 and not pi21 and not pi23 and not pi25 and not pi27 and not pi29 and pi37 and not pi32 and not pi07 and not pi08 and pi12 )
      or ( pi09 and not pi23 and not pi24 and not pi25 and not pi27 and not pi29 and not pi31 and not pi34 and pi37 and not pi28 and not pi10 )
      or ( pi09 and not pi23 and not pi25 and not pi27 and not pi29 and not pi31 and not pi34 and pi37 and not pi32 and not pi28 and not pi10 )
      or ( pi09 and not pi23 and not pi24 and not pi25 and not pi27 and not pi29 and not pi34 and pi37 and not pi08 and not pi28 and not pi10 )
      or ( pi09 and not pi23 and not pi25 and not pi27 and not pi29 and not pi34 and pi37 and not pi32 and not pi08 and not pi28 and not pi10 )
      or ( pi09 and not pi23 and not pi24 and not pi27 and not pi29 and not pi31 and not pi34 and pi37 and not pi28 and pi33 and not pi10 )
      or ( pi09 and not pi23 and not pi27 and not pi29 and not pi31 and not pi34 and pi37 and not pi32 and not pi28 and pi33 and not pi10 )
      or ( pi09 and not pi23 and not pi24 and not pi27 and not pi29 and not pi34 and pi37 and not pi08 and not pi28 and pi33 and not pi10 )
      or ( pi09 and not pi23 and not pi27 and not pi29 and not pi34 and pi37 and not pi32 and not pi08 and not pi28 and pi33 and not pi10 )
      or ( pi09 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi29 and not pi31 and not pi34 and pi37 and not pi30 and pi12 )
      or ( pi09 and not pi21 and not pi23 and not pi25 and not pi27 and not pi29 and not pi31 and not pi34 and pi37 and not pi30 and not pi32 and pi12 )
      or ( pi09 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi29 and not pi34 and pi37 and not pi30 and not pi08 and pi12 )
      or ( pi09 and not pi21 and not pi23 and not pi25 and not pi27 and not pi29 and not pi34 and pi37 and not pi30 and not pi32 and not pi08 and pi12 )
      or ( not pi02 and pi09 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi29 and not pi31 and not pi34 and pi37 and not pi10 )
      or ( not pi02 and pi09 and not pi21 and not pi23 and not pi25 and not pi27 and not pi29 and not pi31 and not pi34 and pi37 and not pi32 and not pi10 )
      or ( not pi02 and pi09 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi29 and not pi34 and pi37 and not pi08 and not pi10 )
      or ( not pi02 and pi09 and not pi21 and not pi23 and not pi25 and not pi27 and not pi29 and not pi34 and pi37 and not pi32 and not pi08 and not pi10 )
      or ( pi09 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi29 and not pi31 and not pi34 and pi37 and pi12 and not pi10 )
      or ( pi09 and not pi21 and not pi23 and not pi25 and not pi27 and not pi29 and not pi31 and not pi34 and pi37 and not pi32 and pi12 and not pi10 )
      or ( pi09 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi29 and not pi34 and pi37 and not pi08 and pi12 and not pi10 )
      or ( pi09 and not pi21 and not pi23 and not pi25 and not pi27 and not pi29 and not pi34 and pi37 and not pi32 and not pi08 and pi12 and not pi10 )
      or ( pi09 and pi11 and not pi13 and pi17 and not pi23 and not pi24 and not pi25 and not pi27 and not pi29 and not pi31 and not pi34 and pi37 and not pi28 )
      or ( pi09 and pi11 and not pi13 and pi17 and not pi23 and not pi25 and not pi27 and not pi29 and not pi31 and not pi34 and pi37 and not pi32 and not pi28 )
      or ( pi09 and pi11 and not pi13 and pi17 and not pi23 and not pi24 and not pi25 and not pi27 and not pi29 and not pi34 and pi37 and not pi08 and not pi28 )
      or ( pi09 and pi11 and not pi13 and pi17 and not pi23 and not pi25 and not pi27 and not pi29 and not pi34 and pi37 and not pi32 and not pi08 and not pi28 )
      or ( pi09 and not pi13 and pi17 and not pi23 and not pi24 and not pi25 and not pi27 and not pi29 and not pi31 and not pi34 and pi37 and pi18 and not pi28 )
      or ( pi09 and not pi13 and pi17 and not pi23 and not pi25 and not pi27 and not pi29 and not pi31 and not pi34 and pi37 and not pi32 and pi18 and not pi28 )
      or ( pi09 and not pi13 and pi17 and not pi23 and not pi24 and not pi25 and not pi27 and not pi29 and not pi34 and pi37 and not pi08 and pi18 and not pi28 )
      or ( pi09 and not pi13 and pi17 and not pi23 and not pi25 and not pi27 and not pi29 and not pi34 and pi37 and not pi32 and not pi08 and pi18 and not pi28 )
      or ( pi09 and pi11 and not pi13 and pi17 and not pi23 and not pi24 and not pi27 and not pi29 and not pi31 and not pi34 and pi37 and not pi28 and pi33 )
      or ( pi09 and pi11 and not pi13 and pi17 and not pi23 and not pi27 and not pi29 and not pi31 and not pi34 and pi37 and not pi32 and not pi28 and pi33 )
      or ( pi09 and pi11 and not pi13 and pi17 and not pi23 and not pi24 and not pi27 and not pi29 and not pi34 and pi37 and not pi08 and not pi28 and pi33 )
      or ( pi09 and pi11 and not pi13 and pi17 and not pi23 and not pi27 and not pi29 and not pi34 and pi37 and not pi32 and not pi08 and not pi28 and pi33 )
      or ( pi09 and not pi13 and pi17 and not pi23 and not pi24 and not pi27 and not pi29 and not pi31 and not pi34 and pi37 and pi18 and not pi28 and pi33 )
      or ( pi09 and not pi13 and pi17 and not pi23 and not pi27 and not pi29 and not pi31 and not pi34 and pi37 and not pi32 and pi18 and not pi28 and pi33 )
      or ( pi09 and not pi13 and pi17 and not pi23 and not pi24 and not pi27 and not pi29 and not pi34 and pi37 and not pi08 and pi18 and not pi28 and pi33 )
      or ( pi09 and not pi13 and pi17 and not pi23 and not pi27 and not pi29 and not pi34 and pi37 and not pi32 and not pi08 and pi18 and not pi28 and pi33 )
      or ( not pi02 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi31 and pi37 and not pi04 and not pi05 and not pi06 and not pi07 and not pi01 )
      or ( not pi02 and not pi21 and not pi23 and not pi25 and not pi27 and not pi31 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi07 and not pi01 )
      or ( not pi02 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and pi37 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi01 )
      or ( not pi02 and not pi21 and not pi23 and not pi25 and not pi27 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi01 )
      or ( not pi02 and not pi23 and not pi24 and not pi25 and not pi27 and not pi31 and pi37 and not pi04 and not pi05 and not pi06 and not pi07 and not pi28 and not pi01 )
      or ( not pi02 and not pi23 and not pi25 and not pi27 and not pi31 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi07 and not pi28 and not pi01 )
      or ( not pi02 and not pi23 and not pi24 and not pi25 and not pi27 and pi37 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi28 and not pi01 )
      or ( not pi02 and not pi23 and not pi25 and not pi27 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi28 and not pi01 )
      or ( not pi02 and not pi23 and not pi24 and not pi27 and not pi31 and pi37 and not pi04 and not pi05 and not pi06 and not pi07 and not pi28 and pi33 and not pi01 )
      or ( not pi02 and not pi23 and not pi27 and not pi31 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi07 and not pi28 and pi33 and not pi01 )
      or ( not pi02 and not pi23 and not pi24 and not pi27 and pi37 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi28 and pi33 and not pi01 )
      or ( not pi02 and not pi23 and not pi27 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi28 and pi33 and not pi01 )
      or ( not pi02 and not pi24 and not pi27 and not pi31 and pi34 and pi37 and not pi04 and not pi05 and not pi06 and not pi07 and not pi28 and not pi33 and not pi01 )
      or ( not pi02 and not pi27 and not pi31 and pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi07 and not pi28 and not pi33 and not pi01 )
      or ( not pi02 and not pi24 and not pi27 and pi34 and pi37 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi28 and not pi33 and not pi01 )
      or ( not pi02 and not pi27 and pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi28 and not pi33 and not pi01 )
      or ( pi09 and pi11 and not pi13 and not pi23 and not pi24 and not pi25 and not pi27 and not pi29 and not pi31 and not pi34 and pi37 and not pi28 and not pi03 )
      or ( pi09 and pi11 and not pi13 and not pi23 and not pi25 and not pi27 and not pi29 and not pi31 and not pi34 and pi37 and not pi32 and not pi28 and not pi03 )
      or ( pi09 and pi11 and not pi13 and not pi23 and not pi24 and not pi25 and not pi27 and not pi29 and not pi34 and pi37 and not pi08 and not pi28 and not pi03 )
      or ( pi09 and pi11 and not pi13 and not pi23 and not pi25 and not pi27 and not pi29 and not pi34 and pi37 and not pi32 and not pi08 and not pi28 and not pi03 )
      or ( pi09 and not pi13 and not pi23 and not pi24 and not pi25 and not pi27 and not pi29 and not pi31 and not pi34 and pi37 and pi18 and not pi28 and not pi03 )
      or ( pi09 and not pi13 and not pi23 and not pi25 and not pi27 and not pi29 and not pi31 and not pi34 and pi37 and not pi32 and pi18 and not pi28 and not pi03 )
      or ( pi09 and not pi13 and not pi23 and not pi24 and not pi25 and not pi27 and not pi29 and not pi34 and pi37 and not pi08 and pi18 and not pi28 and not pi03 )
      or ( pi09 and not pi13 and not pi23 and not pi25 and not pi27 and not pi29 and not pi34 and pi37 and not pi32 and not pi08 and pi18 and not pi28 and not pi03 )
      or ( pi09 and pi11 and not pi13 and not pi23 and not pi24 and not pi27 and not pi29 and not pi31 and not pi34 and pi37 and not pi28 and pi33 and not pi03 )
      or ( pi09 and pi11 and not pi13 and not pi23 and not pi27 and not pi29 and not pi31 and not pi34 and pi37 and not pi32 and not pi28 and pi33 and not pi03 )
      or ( pi09 and pi11 and not pi13 and not pi23 and not pi24 and not pi27 and not pi29 and not pi34 and pi37 and not pi08 and not pi28 and pi33 and not pi03 )
      or ( pi09 and pi11 and not pi13 and not pi23 and not pi27 and not pi29 and not pi34 and pi37 and not pi32 and not pi08 and not pi28 and pi33 and not pi03 )
      or ( pi09 and not pi13 and not pi23 and not pi24 and not pi27 and not pi29 and not pi31 and not pi34 and pi37 and pi18 and not pi28 and pi33 and not pi03 )
      or ( pi09 and not pi13 and not pi23 and not pi27 and not pi29 and not pi31 and not pi34 and pi37 and not pi32 and pi18 and not pi28 and pi33 and not pi03 )
      or ( pi09 and not pi13 and not pi23 and not pi24 and not pi27 and not pi29 and not pi34 and pi37 and not pi08 and pi18 and not pi28 and pi33 and not pi03 )
      or ( pi09 and not pi13 and not pi23 and not pi27 and not pi29 and not pi34 and pi37 and not pi32 and not pi08 and pi18 and not pi28 and pi33 and not pi03 )
      or ( not pi02 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi31 and pi37 and not pi04 and not pi05 and not pi06 and not pi07 and not pi12 )
      or ( not pi02 and not pi21 and not pi23 and not pi25 and not pi27 and not pi31 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi07 and not pi12 )
      or ( not pi02 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and pi37 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi12 )
      or ( not pi02 and not pi21 and not pi23 and not pi25 and not pi27 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi12 )
      or ( not pi02 and not pi23 and not pi24 and not pi25 and not pi27 and not pi31 and pi37 and not pi04 and not pi05 and not pi06 and not pi07 and not pi28 and not pi12 )
      or ( not pi02 and not pi23 and not pi25 and not pi27 and not pi31 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi07 and not pi28 and not pi12 )
      or ( not pi02 and not pi23 and not pi24 and not pi25 and not pi27 and pi37 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi28 and not pi12 )
      or ( not pi02 and not pi23 and not pi25 and not pi27 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi28 and not pi12 )
      or ( not pi02 and not pi23 and not pi24 and not pi27 and not pi31 and pi37 and not pi04 and not pi05 and not pi06 and not pi07 and not pi28 and pi33 and not pi12 )
      or ( not pi02 and not pi23 and not pi27 and not pi31 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi07 and not pi28 and pi33 and not pi12 )
      or ( not pi02 and not pi23 and not pi24 and not pi27 and pi37 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi28 and pi33 and not pi12 )
      or ( not pi02 and not pi23 and not pi27 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi28 and pi33 and not pi12 )
      or ( not pi02 and not pi24 and not pi27 and not pi31 and pi34 and pi37 and not pi04 and not pi05 and not pi06 and not pi07 and not pi28 and not pi33 and not pi12 )
      or ( not pi02 and not pi27 and not pi31 and pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi07 and not pi28 and not pi33 and not pi12 )
      or ( not pi02 and not pi24 and not pi27 and pi34 and pi37 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi28 and not pi33 and not pi12 )
      or ( not pi02 and not pi27 and pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi28 and not pi33 and not pi12 )
      or ( not pi02 and pi09 and pi11 and not pi13 and pi17 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi29 and not pi31 and not pi34 and pi37 )
      or ( not pi02 and pi09 and pi11 and not pi13 and pi17 and not pi21 and not pi23 and not pi25 and not pi27 and not pi29 and not pi31 and not pi34 and pi37 and not pi32 )
      or ( not pi02 and not pi09 and pi13 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi31 and pi37 and not pi04 and not pi05 and not pi06 and not pi07 )
      or ( not pi02 and not pi09 and pi13 and not pi21 and not pi23 and not pi25 and not pi27 and not pi31 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi07 )
      or ( not pi02 and pi09 and pi11 and not pi13 and pi17 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi29 and not pi34 and pi37 and not pi08 )
      or ( not pi02 and pi09 and pi11 and not pi13 and pi17 and not pi21 and not pi23 and not pi25 and not pi27 and not pi29 and not pi34 and pi37 and not pi32 and not pi08 )
      or ( not pi02 and not pi09 and pi13 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and pi37 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 )
      or ( not pi02 and not pi09 and pi13 and not pi21 and not pi23 and not pi25 and not pi27 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 )
      or ( not pi02 and pi09 and not pi13 and pi17 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi29 and not pi31 and not pi34 and pi37 and pi18 )
      or ( not pi02 and pi09 and not pi13 and pi17 and not pi21 and not pi23 and not pi25 and not pi27 and not pi29 and not pi31 and not pi34 and pi37 and not pi32 and pi18 )
      or ( not pi02 and pi09 and not pi13 and pi17 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi29 and not pi34 and pi37 and not pi08 and pi18 )
      or ( not pi02 and pi09 and not pi13 and pi17 and not pi21 and not pi23 and not pi25 and not pi27 and not pi29 and not pi34 and pi37 and not pi32 and not pi08 and pi18 )
      or ( not pi02 and not pi09 and pi13 and not pi23 and not pi24 and not pi25 and not pi27 and not pi31 and pi37 and not pi04 and not pi05 and not pi06 and not pi07 and not pi28 )
      or ( not pi02 and not pi09 and pi13 and not pi23 and not pi25 and not pi27 and not pi31 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi07 and not pi28 )
      or ( not pi02 and not pi09 and pi13 and not pi23 and not pi24 and not pi25 and not pi27 and pi37 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi28 )
      or ( not pi02 and not pi09 and pi13 and not pi23 and not pi25 and not pi27 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi28 )
      or ( not pi02 and not pi09 and pi13 and not pi23 and not pi24 and not pi27 and not pi31 and pi37 and not pi04 and not pi05 and not pi06 and not pi07 and not pi28 and pi33 )
      or ( not pi02 and not pi09 and pi13 and not pi23 and not pi27 and not pi31 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi07 and not pi28 and pi33 )
      or ( not pi02 and not pi09 and pi13 and not pi23 and not pi24 and not pi27 and pi37 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi28 and pi33 )
      or ( not pi02 and not pi09 and pi13 and not pi23 and not pi27 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi28 and pi33 )
      or ( not pi02 and not pi09 and pi13 and not pi24 and not pi27 and not pi31 and pi34 and pi37 and not pi04 and not pi05 and not pi06 and not pi07 and not pi28 and not pi33 )
      or ( not pi02 and not pi09 and pi13 and not pi27 and not pi31 and pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi07 and not pi28 and not pi33 )
      or ( not pi02 and not pi09 and pi13 and not pi24 and not pi27 and pi34 and pi37 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi28 and not pi33 )
      or ( not pi02 and not pi09 and pi13 and not pi27 and pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi28 and not pi33 )
      or ( not pi02 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi30 and not pi04 and not pi05 and not pi06 and not pi01 )
      or ( not pi02 and not pi21 and not pi23 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi30 and not pi32 and not pi04 and not pi05 and not pi06 and not pi01 )
      or ( not pi02 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi34 and pi37 and not pi30 and not pi04 and not pi05 and not pi06 and not pi08 and not pi01 )
      or ( not pi02 and not pi21 and not pi23 and not pi25 and not pi27 and not pi34 and pi37 and not pi30 and not pi32 and not pi04 and not pi05 and not pi06 and not pi08 and not pi01 )
      or ( not pi02 and not pi23 and not pi24 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi30 and not pi04 and not pi05 and not pi06 and not pi28 and not pi01 )
      or ( not pi02 and not pi23 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi30 and not pi32 and not pi04 and not pi05 and not pi06 and not pi28 and not pi01 )
      or ( not pi02 and not pi23 and not pi24 and not pi25 and not pi27 and not pi34 and pi37 and not pi30 and not pi04 and not pi05 and not pi06 and not pi08 and not pi28 and not pi01 )
      or ( not pi02 and not pi23 and not pi25 and not pi27 and not pi34 and pi37 and not pi30 and not pi32 and not pi04 and not pi05 and not pi06 and not pi08 and not pi28 and not pi01 )
      or ( not pi02 and not pi23 and not pi24 and not pi27 and not pi31 and not pi34 and pi37 and not pi30 and not pi04 and not pi05 and not pi06 and not pi28 and pi33 and not pi01 )
      or ( not pi02 and not pi23 and not pi27 and not pi31 and not pi34 and pi37 and not pi30 and not pi32 and not pi04 and not pi05 and not pi06 and not pi28 and pi33 and not pi01 )
      or ( not pi02 and not pi23 and not pi24 and not pi27 and not pi34 and pi37 and not pi30 and not pi04 and not pi05 and not pi06 and not pi08 and not pi28 and pi33 and not pi01 )
      or ( not pi02 and not pi23 and not pi27 and not pi34 and pi37 and not pi30 and not pi32 and not pi04 and not pi05 and not pi06 and not pi08 and not pi28 and pi33 and not pi01 )
      or ( not pi02 and pi09 and pi11 and not pi13 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi29 and not pi31 and not pi34 and pi37 and not pi03 )
      or ( not pi02 and pi09 and pi11 and not pi13 and not pi21 and not pi23 and not pi25 and not pi27 and not pi29 and not pi31 and not pi34 and pi37 and not pi32 and not pi03 )
      or ( not pi02 and pi09 and pi11 and not pi13 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi29 and not pi34 and pi37 and not pi08 and not pi03 )
      or ( not pi02 and pi09 and pi11 and not pi13 and not pi21 and not pi23 and not pi25 and not pi27 and not pi29 and not pi34 and pi37 and not pi32 and not pi08 and not pi03 )
      or ( not pi02 and pi09 and not pi13 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi29 and not pi31 and not pi34 and pi37 and pi18 and not pi03 )
      or ( not pi02 and pi09 and not pi13 and not pi21 and not pi23 and not pi25 and not pi27 and not pi29 and not pi31 and not pi34 and pi37 and not pi32 and pi18 and not pi03 )
      or ( not pi02 and pi09 and not pi13 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi29 and not pi34 and pi37 and not pi08 and pi18 and not pi03 )
      or ( not pi02 and pi09 and not pi13 and not pi21 and not pi23 and not pi25 and not pi27 and not pi29 and not pi34 and pi37 and not pi32 and not pi08 and pi18 and not pi03 )
      or ( pi09 and pi11 and not pi13 and pi17 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi29 and not pi31 and not pi34 and pi37 and pi12 )
      or ( pi09 and pi11 and not pi13 and pi17 and not pi21 and not pi23 and not pi25 and not pi27 and not pi29 and not pi31 and not pi34 and pi37 and not pi32 and pi12 )
      or ( pi09 and pi11 and not pi13 and pi17 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi29 and not pi34 and pi37 and not pi08 and pi12 )
      or ( pi09 and pi11 and not pi13 and pi17 and not pi21 and not pi23 and not pi25 and not pi27 and not pi29 and not pi34 and pi37 and not pi32 and not pi08 and pi12 )
      or ( pi09 and not pi13 and pi17 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi29 and not pi31 and not pi34 and pi37 and pi18 and pi12 )
      or ( pi09 and not pi13 and pi17 and not pi21 and not pi23 and not pi25 and not pi27 and not pi29 and not pi31 and not pi34 and pi37 and not pi32 and pi18 and pi12 )
      or ( pi09 and not pi13 and pi17 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi29 and not pi34 and pi37 and not pi08 and pi18 and pi12 )
      or ( pi09 and not pi13 and pi17 and not pi21 and not pi23 and not pi25 and not pi27 and not pi29 and not pi34 and pi37 and not pi32 and not pi08 and pi18 and pi12 )
      or ( pi09 and pi11 and not pi13 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi29 and not pi31 and not pi34 and pi37 and not pi03 and pi12 )
      or ( pi09 and pi11 and not pi13 and not pi21 and not pi23 and not pi25 and not pi27 and not pi29 and not pi31 and not pi34 and pi37 and not pi32 and not pi03 and pi12 )
      or ( pi09 and pi11 and not pi13 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi29 and not pi34 and pi37 and not pi08 and not pi03 and pi12 )
      or ( pi09 and pi11 and not pi13 and not pi21 and not pi23 and not pi25 and not pi27 and not pi29 and not pi34 and pi37 and not pi32 and not pi08 and not pi03 and pi12 )
      or ( pi09 and not pi13 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi29 and not pi31 and not pi34 and pi37 and pi18 and not pi03 and pi12 )
      or ( pi09 and not pi13 and not pi21 and not pi23 and not pi25 and not pi27 and not pi29 and not pi31 and not pi34 and pi37 and not pi32 and pi18 and not pi03 and pi12 )
      or ( pi09 and not pi13 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi29 and not pi34 and pi37 and not pi08 and pi18 and not pi03 and pi12 )
      or ( pi09 and not pi13 and not pi21 and not pi23 and not pi25 and not pi27 and not pi29 and not pi34 and pi37 and not pi32 and not pi08 and pi18 and not pi03 and pi12 )
      or ( not pi02 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi30 and not pi04 and not pi05 and not pi06 and not pi12 )
      or ( not pi02 and not pi21 and not pi23 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi30 and not pi32 and not pi04 and not pi05 and not pi06 and not pi12 )
      or ( not pi02 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi34 and pi37 and not pi30 and not pi04 and not pi05 and not pi06 and not pi08 and not pi12 )
      or ( not pi02 and not pi21 and not pi23 and not pi25 and not pi27 and not pi34 and pi37 and not pi30 and not pi32 and not pi04 and not pi05 and not pi06 and not pi08 and not pi12 )
      or ( not pi02 and not pi23 and not pi24 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi30 and not pi04 and not pi05 and not pi06 and not pi28 and not pi12 )
      or ( not pi02 and not pi23 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi30 and not pi32 and not pi04 and not pi05 and not pi06 and not pi28 and not pi12 )
      or ( not pi02 and not pi23 and not pi24 and not pi25 and not pi27 and not pi34 and pi37 and not pi30 and not pi04 and not pi05 and not pi06 and not pi08 and not pi28 and not pi12 )
      or ( not pi02 and not pi23 and not pi25 and not pi27 and not pi34 and pi37 and not pi30 and not pi32 and not pi04 and not pi05 and not pi06 and not pi08 and not pi28 and not pi12 )
      or ( not pi02 and not pi23 and not pi24 and not pi27 and not pi31 and not pi34 and pi37 and not pi30 and not pi04 and not pi05 and not pi06 and not pi28 and pi33 and not pi12 )
      or ( not pi02 and not pi23 and not pi27 and not pi31 and not pi34 and pi37 and not pi30 and not pi32 and not pi04 and not pi05 and not pi06 and not pi28 and pi33 and not pi12 )
      or ( not pi02 and not pi23 and not pi24 and not pi27 and not pi34 and pi37 and not pi30 and not pi04 and not pi05 and not pi06 and not pi08 and not pi28 and pi33 and not pi12 )
      or ( not pi02 and not pi23 and not pi27 and not pi34 and pi37 and not pi30 and not pi32 and not pi04 and not pi05 and not pi06 and not pi08 and not pi28 and pi33 and not pi12 )
      or ( pi11 and not pi13 and pi17 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi29 and not pi31 and pi37 and not pi07 and pi12 and pi10 )
      or ( pi11 and not pi13 and pi17 and not pi21 and not pi23 and not pi25 and not pi27 and not pi29 and not pi31 and pi37 and not pi32 and not pi07 and pi12 and pi10 )
      or ( pi11 and not pi13 and pi17 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi29 and pi37 and not pi07 and not pi08 and pi12 and pi10 )
      or ( pi11 and not pi13 and pi17 and not pi21 and not pi23 and not pi25 and not pi27 and not pi29 and pi37 and not pi32 and not pi07 and not pi08 and pi12 and pi10 )
      or ( not pi13 and pi17 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi29 and not pi31 and pi37 and not pi07 and pi18 and pi12 and pi10 )
      or ( not pi13 and pi17 and not pi21 and not pi23 and not pi25 and not pi27 and not pi29 and not pi31 and pi37 and not pi32 and not pi07 and pi18 and pi12 and pi10 )
      or ( not pi13 and pi17 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi29 and pi37 and not pi07 and not pi08 and pi18 and pi12 and pi10 )
      or ( not pi13 and pi17 and not pi21 and not pi23 and not pi25 and not pi27 and not pi29 and pi37 and not pi32 and not pi07 and not pi08 and pi18 and pi12 and pi10 )
      or ( pi11 and not pi13 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi29 and not pi31 and pi37 and not pi07 and not pi03 and pi12 and pi10 )
      or ( pi11 and not pi13 and not pi21 and not pi23 and not pi25 and not pi27 and not pi29 and not pi31 and pi37 and not pi32 and not pi07 and not pi03 and pi12 and pi10 )
      or ( pi11 and not pi13 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi29 and pi37 and not pi07 and not pi08 and not pi03 and pi12 and pi10 )
      or ( pi11 and not pi13 and not pi21 and not pi23 and not pi25 and not pi27 and not pi29 and pi37 and not pi32 and not pi07 and not pi08 and not pi03 and pi12 and pi10 )
      or ( not pi13 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi29 and not pi31 and pi37 and not pi07 and pi18 and not pi03 and pi12 and pi10 )
      or ( not pi13 and not pi21 and not pi23 and not pi25 and not pi27 and not pi29 and not pi31 and pi37 and not pi32 and not pi07 and pi18 and not pi03 and pi12 and pi10 )
      or ( not pi13 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi29 and pi37 and not pi07 and not pi08 and pi18 and not pi03 and pi12 and pi10 )
      or ( not pi13 and not pi21 and not pi23 and not pi25 and not pi27 and not pi29 and pi37 and not pi32 and not pi07 and not pi08 and pi18 and not pi03 and pi12 and pi10 )
      or ( not pi02 and not pi09 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi31 and pi37 and not pi04 and not pi05 and not pi06 and not pi07 and not pi10 )
      or ( not pi02 and not pi09 and not pi21 and not pi23 and not pi25 and not pi27 and not pi31 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi07 and not pi10 )
      or ( not pi02 and not pi09 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and pi37 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi10 )
      or ( not pi02 and not pi09 and not pi21 and not pi23 and not pi25 and not pi27 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi10 )
      or ( not pi02 and not pi09 and not pi23 and not pi24 and not pi25 and not pi27 and not pi31 and pi37 and not pi04 and not pi05 and not pi06 and not pi07 and not pi28 and not pi10 )
      or ( not pi02 and not pi09 and not pi23 and not pi25 and not pi27 and not pi31 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi07 and not pi28 and not pi10 )
      or ( not pi02 and not pi09 and not pi23 and not pi24 and not pi25 and not pi27 and pi37 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi28 and not pi10 )
      or ( not pi02 and not pi09 and not pi23 and not pi25 and not pi27 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi28 and not pi10 )
      or ( not pi02 and not pi09 and not pi23 and not pi24 and not pi27 and not pi31 and pi37 and not pi04 and not pi05 and not pi06 and not pi07 and not pi28 and pi33 and not pi10 )
      or ( not pi02 and not pi09 and not pi23 and not pi27 and not pi31 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi07 and not pi28 and pi33 and not pi10 )
      or ( not pi02 and not pi09 and not pi23 and not pi24 and not pi27 and pi37 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi28 and pi33 and not pi10 )
      or ( not pi02 and not pi09 and not pi23 and not pi27 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi28 and pi33 and not pi10 )
      or ( not pi02 and not pi09 and not pi24 and not pi27 and not pi31 and pi34 and pi37 and not pi04 and not pi05 and not pi06 and not pi07 and not pi28 and not pi33 and not pi10 )
      or ( not pi02 and not pi09 and not pi27 and not pi31 and pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi07 and not pi28 and not pi33 and not pi10 )
      or ( not pi02 and not pi09 and not pi24 and not pi27 and pi34 and pi37 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi28 and not pi33 and not pi10 )
      or ( not pi02 and not pi09 and not pi27 and pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi28 and not pi33 and not pi10 )
      or ( not pi02 and not pi09 and pi13 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi30 and not pi04 and not pi05 and not pi06 )
      or ( not pi02 and not pi09 and pi13 and not pi21 and not pi23 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi30 and not pi32 and not pi04 and not pi05 and not pi06 )
      or ( not pi02 and not pi09 and pi13 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi34 and pi37 and not pi30 and not pi04 and not pi05 and not pi06 and not pi08 )
      or ( not pi02 and not pi09 and pi13 and not pi21 and not pi23 and not pi25 and not pi27 and not pi34 and pi37 and not pi30 and not pi32 and not pi04 and not pi05 and not pi06 and not pi08 )
      or ( not pi02 and not pi09 and not pi11 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi31 and pi37 and not pi04 and not pi05 and not pi06 and not pi07 and not pi18 )
      or ( not pi02 and not pi09 and not pi11 and not pi21 and not pi23 and not pi25 and not pi27 and not pi31 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi07 and not pi18 )
      or ( not pi02 and not pi09 and not pi11 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and pi37 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi18 )
      or ( not pi02 and not pi09 and not pi11 and not pi21 and not pi23 and not pi25 and not pi27 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi18 )
      or ( not pi02 and not pi09 and pi13 and not pi23 and not pi24 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi30 and not pi04 and not pi05 and not pi06 and not pi28 )
      or ( not pi02 and not pi09 and pi13 and not pi23 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi30 and not pi32 and not pi04 and not pi05 and not pi06 and not pi28 )
      or ( not pi02 and not pi09 and pi13 and not pi23 and not pi24 and not pi25 and not pi27 and not pi34 and pi37 and not pi30 and not pi04 and not pi05 and not pi06 and not pi08 and not pi28 )
      or ( not pi02 and not pi09 and pi13 and not pi23 and not pi25 and not pi27 and not pi34 and pi37 and not pi30 and not pi32 and not pi04 and not pi05 and not pi06 and not pi08 and not pi28 )
      or ( not pi02 and not pi09 and not pi11 and not pi23 and not pi24 and not pi25 and not pi27 and not pi31 and pi37 and not pi04 and not pi05 and not pi06 and not pi07 and not pi18 and not pi28 )
      or ( not pi02 and not pi09 and not pi11 and not pi23 and not pi25 and not pi27 and not pi31 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi07 and not pi18 and not pi28 )
      or ( not pi02 and not pi09 and not pi11 and not pi23 and not pi24 and not pi25 and not pi27 and pi37 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi18 and not pi28 )
      or ( not pi02 and not pi09 and not pi11 and not pi23 and not pi25 and not pi27 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi18 and not pi28 )
      or ( not pi02 and not pi09 and pi13 and not pi23 and not pi24 and not pi27 and not pi31 and not pi34 and pi37 and not pi30 and not pi04 and not pi05 and not pi06 and not pi28 and pi33 )
      or ( not pi02 and not pi09 and pi13 and not pi23 and not pi27 and not pi31 and not pi34 and pi37 and not pi30 and not pi32 and not pi04 and not pi05 and not pi06 and not pi28 and pi33 )
      or ( not pi02 and not pi09 and pi13 and not pi23 and not pi24 and not pi27 and not pi34 and pi37 and not pi30 and not pi04 and not pi05 and not pi06 and not pi08 and not pi28 and pi33 )
      or ( not pi02 and not pi09 and pi13 and not pi23 and not pi27 and not pi34 and pi37 and not pi30 and not pi32 and not pi04 and not pi05 and not pi06 and not pi08 and not pi28 and pi33 )
      or ( not pi02 and not pi09 and not pi11 and not pi23 and not pi24 and not pi27 and not pi31 and pi37 and not pi04 and not pi05 and not pi06 and not pi07 and not pi18 and not pi28 and pi33 )
      or ( not pi02 and not pi09 and not pi11 and not pi23 and not pi27 and not pi31 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi07 and not pi18 and not pi28 and pi33 )
      or ( not pi02 and not pi09 and not pi11 and not pi23 and not pi24 and not pi27 and pi37 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi18 and not pi28 and pi33 )
      or ( not pi02 and not pi09 and not pi11 and not pi23 and not pi27 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi18 and not pi28 and pi33 )
      or ( not pi02 and not pi09 and not pi11 and not pi24 and not pi27 and not pi31 and pi34 and pi37 and not pi04 and not pi05 and not pi06 and not pi07 and not pi18 and not pi28 and not pi33 )
      or ( not pi02 and not pi09 and not pi11 and not pi27 and not pi31 and pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi07 and not pi18 and not pi28 and not pi33 )
      or ( not pi02 and not pi09 and not pi11 and not pi24 and not pi27 and pi34 and pi37 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi18 and not pi28 and not pi33 )
      or ( not pi02 and not pi09 and not pi11 and not pi27 and pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi18 and not pi28 and not pi33 )
      or ( not pi02 and not pi09 and not pi17 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi31 and pi37 and not pi04 and not pi05 and not pi06 and not pi07 and pi03 )
      or ( not pi02 and not pi09 and not pi17 and not pi21 and not pi23 and not pi25 and not pi27 and not pi31 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi07 and pi03 )
      or ( not pi02 and not pi09 and not pi17 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and pi37 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi03 )
      or ( not pi02 and not pi09 and not pi17 and not pi21 and not pi23 and not pi25 and not pi27 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and pi03 )
      or ( not pi02 and not pi09 and not pi17 and not pi23 and not pi24 and not pi25 and not pi27 and not pi31 and pi37 and not pi04 and not pi05 and not pi06 and not pi07 and not pi28 and pi03 )
      or ( not pi02 and not pi09 and not pi17 and not pi23 and not pi25 and not pi27 and not pi31 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi07 and not pi28 and pi03 )
      or ( not pi02 and not pi09 and not pi17 and not pi23 and not pi24 and not pi25 and not pi27 and pi37 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi28 and pi03 )
      or ( not pi02 and not pi09 and not pi17 and not pi23 and not pi25 and not pi27 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi28 and pi03 )
      or ( not pi02 and not pi09 and not pi17 and not pi23 and not pi24 and not pi27 and not pi31 and pi37 and not pi04 and not pi05 and not pi06 and not pi07 and not pi28 and pi33 and pi03 )
      or ( not pi02 and not pi09 and not pi17 and not pi23 and not pi27 and not pi31 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi07 and not pi28 and pi33 and pi03 )
      or ( not pi02 and not pi09 and not pi17 and not pi23 and not pi24 and not pi27 and pi37 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi28 and pi33 and pi03 )
      or ( not pi02 and not pi09 and not pi17 and not pi23 and not pi27 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi28 and pi33 and pi03 )
      or ( not pi02 and not pi09 and not pi17 and not pi24 and not pi27 and not pi31 and pi34 and pi37 and not pi04 and not pi05 and not pi06 and not pi07 and not pi28 and not pi33 and pi03 )
      or ( not pi02 and not pi09 and not pi17 and not pi27 and not pi31 and pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi07 and not pi28 and not pi33 and pi03 )
      or ( not pi02 and not pi09 and not pi17 and not pi24 and not pi27 and pi34 and pi37 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi28 and not pi33 and pi03 )
      or ( not pi02 and not pi09 and not pi17 and not pi27 and pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi07 and not pi08 and not pi28 and not pi33 and pi03 )
      or ( pi11 and not pi13 and pi17 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi29 and not pi31 and not pi34 and pi37 and not pi30 and pi12 and pi10 )
      or ( pi11 and not pi13 and pi17 and not pi21 and not pi23 and not pi25 and not pi27 and not pi29 and not pi31 and not pi34 and pi37 and not pi30 and not pi32 and pi12 and pi10 )
      or ( pi11 and not pi13 and pi17 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi29 and not pi34 and pi37 and not pi30 and not pi08 and pi12 and pi10 )
      or ( pi11 and not pi13 and pi17 and not pi21 and not pi23 and not pi25 and not pi27 and not pi29 and not pi34 and pi37 and not pi30 and not pi32 and not pi08 and pi12 and pi10 )
      or ( not pi13 and pi17 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi29 and not pi31 and not pi34 and pi37 and not pi30 and pi18 and pi12 and pi10 )
      or ( not pi13 and pi17 and not pi21 and not pi23 and not pi25 and not pi27 and not pi29 and not pi31 and not pi34 and pi37 and not pi30 and not pi32 and pi18 and pi12 and pi10 )
      or ( not pi13 and pi17 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi29 and not pi34 and pi37 and not pi30 and not pi08 and pi18 and pi12 and pi10 )
      or ( not pi13 and pi17 and not pi21 and not pi23 and not pi25 and not pi27 and not pi29 and not pi34 and pi37 and not pi30 and not pi32 and not pi08 and pi18 and pi12 and pi10 )
      or ( pi11 and not pi13 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi29 and not pi31 and not pi34 and pi37 and not pi30 and not pi03 and pi12 and pi10 )
      or ( pi11 and not pi13 and not pi21 and not pi23 and not pi25 and not pi27 and not pi29 and not pi31 and not pi34 and pi37 and not pi30 and not pi32 and not pi03 and pi12 and pi10 )
      or ( pi11 and not pi13 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi29 and not pi34 and pi37 and not pi30 and not pi08 and not pi03 and pi12 and pi10 )
      or ( pi11 and not pi13 and not pi21 and not pi23 and not pi25 and not pi27 and not pi29 and not pi34 and pi37 and not pi30 and not pi32 and not pi08 and not pi03 and pi12 and pi10 )
      or ( not pi13 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi29 and not pi31 and not pi34 and pi37 and not pi30 and pi18 and not pi03 and pi12 and pi10 )
      or ( not pi13 and not pi21 and not pi23 and not pi25 and not pi27 and not pi29 and not pi31 and not pi34 and pi37 and not pi30 and not pi32 and pi18 and not pi03 and pi12 and pi10 )
      or ( not pi13 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi29 and not pi34 and pi37 and not pi30 and not pi08 and pi18 and not pi03 and pi12 and pi10 )
      or ( not pi13 and not pi21 and not pi23 and not pi25 and not pi27 and not pi29 and not pi34 and pi37 and not pi30 and not pi32 and not pi08 and pi18 and not pi03 and pi12 and pi10 )
      or ( not pi02 and not pi09 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi30 and not pi04 and not pi05 and not pi06 and not pi10 )
      or ( not pi02 and not pi09 and not pi21 and not pi23 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi30 and not pi32 and not pi04 and not pi05 and not pi06 and not pi10 )
      or ( not pi02 and not pi09 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi34 and pi37 and not pi30 and not pi04 and not pi05 and not pi06 and not pi08 and not pi10 )
      or ( not pi02 and not pi09 and not pi21 and not pi23 and not pi25 and not pi27 and not pi34 and pi37 and not pi30 and not pi32 and not pi04 and not pi05 and not pi06 and not pi08 and not pi10 )
      or ( not pi02 and not pi09 and not pi23 and not pi24 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi30 and not pi04 and not pi05 and not pi06 and not pi28 and not pi10 )
      or ( not pi02 and not pi09 and not pi23 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi30 and not pi32 and not pi04 and not pi05 and not pi06 and not pi28 and not pi10 )
      or ( not pi02 and not pi09 and not pi23 and not pi24 and not pi25 and not pi27 and not pi34 and pi37 and not pi30 and not pi04 and not pi05 and not pi06 and not pi08 and not pi28 and not pi10 )
      or ( not pi02 and not pi09 and not pi23 and not pi25 and not pi27 and not pi34 and pi37 and not pi30 and not pi32 and not pi04 and not pi05 and not pi06 and not pi08 and not pi28 and not pi10 )
      or ( not pi02 and not pi09 and not pi23 and not pi24 and not pi27 and not pi31 and not pi34 and pi37 and not pi30 and not pi04 and not pi05 and not pi06 and not pi28 and pi33 and not pi10 )
      or ( not pi02 and not pi09 and not pi23 and not pi27 and not pi31 and not pi34 and pi37 and not pi30 and not pi32 and not pi04 and not pi05 and not pi06 and not pi28 and pi33 and not pi10 )
      or ( not pi02 and not pi09 and not pi23 and not pi24 and not pi27 and not pi34 and pi37 and not pi30 and not pi04 and not pi05 and not pi06 and not pi08 and not pi28 and pi33 and not pi10 )
      or ( not pi02 and not pi09 and not pi23 and not pi27 and not pi34 and pi37 and not pi30 and not pi32 and not pi04 and not pi05 and not pi06 and not pi08 and not pi28 and pi33 and not pi10 )
      or ( not pi02 and pi09 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi04 and not pi05 and not pi06 and not pi01 and not pi10 )
      or ( not pi02 and pi09 and not pi21 and not pi23 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi01 and not pi10 )
      or ( not pi02 and pi09 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi34 and pi37 and not pi04 and not pi05 and not pi06 and not pi08 and not pi01 and not pi10 )
      or ( not pi02 and pi09 and not pi21 and not pi23 and not pi25 and not pi27 and not pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi08 and not pi01 and not pi10 )
      or ( not pi02 and pi09 and not pi23 and not pi24 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi04 and not pi05 and not pi06 and not pi28 and not pi01 and not pi10 )
      or ( not pi02 and pi09 and not pi23 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi28 and not pi01 and not pi10 )
      or ( not pi02 and pi09 and not pi23 and not pi24 and not pi25 and not pi27 and not pi34 and pi37 and not pi04 and not pi05 and not pi06 and not pi08 and not pi28 and not pi01 and not pi10 )
      or ( not pi02 and pi09 and not pi23 and not pi25 and not pi27 and not pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi08 and not pi28 and not pi01 and not pi10 )
      or ( not pi02 and pi09 and not pi23 and not pi24 and not pi27 and not pi31 and not pi34 and pi37 and not pi04 and not pi05 and not pi06 and not pi28 and pi33 and not pi01 and not pi10 )
      or ( not pi02 and pi09 and not pi23 and not pi27 and not pi31 and not pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi28 and pi33 and not pi01 and not pi10 )
      or ( not pi02 and pi09 and not pi23 and not pi24 and not pi27 and not pi34 and pi37 and not pi04 and not pi05 and not pi06 and not pi08 and not pi28 and pi33 and not pi01 and not pi10 )
      or ( not pi02 and pi09 and not pi23 and not pi27 and not pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi08 and not pi28 and pi33 and not pi01 and not pi10 )
      or ( not pi02 and pi09 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi04 and not pi05 and not pi06 and not pi12 and not pi10 )
      or ( not pi02 and pi09 and not pi21 and not pi23 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi12 and not pi10 )
      or ( not pi02 and pi09 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi34 and pi37 and not pi04 and not pi05 and not pi06 and not pi08 and not pi12 and not pi10 )
      or ( not pi02 and pi09 and not pi21 and not pi23 and not pi25 and not pi27 and not pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi08 and not pi12 and not pi10 )
      or ( not pi02 and pi09 and not pi23 and not pi24 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi04 and not pi05 and not pi06 and not pi28 and not pi12 and not pi10 )
      or ( not pi02 and pi09 and not pi23 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi28 and not pi12 and not pi10 )
      or ( not pi02 and pi09 and not pi23 and not pi24 and not pi25 and not pi27 and not pi34 and pi37 and not pi04 and not pi05 and not pi06 and not pi08 and not pi28 and not pi12 and not pi10 )
      or ( not pi02 and pi09 and not pi23 and not pi25 and not pi27 and not pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi08 and not pi28 and not pi12 and not pi10 )
      or ( not pi02 and pi09 and not pi23 and not pi24 and not pi27 and not pi31 and not pi34 and pi37 and not pi04 and not pi05 and not pi06 and not pi28 and pi33 and not pi12 and not pi10 )
      or ( not pi02 and pi09 and not pi23 and not pi27 and not pi31 and not pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi28 and pi33 and not pi12 and not pi10 )
      or ( not pi02 and pi09 and not pi23 and not pi24 and not pi27 and not pi34 and pi37 and not pi04 and not pi05 and not pi06 and not pi08 and not pi28 and pi33 and not pi12 and not pi10 )
      or ( not pi02 and pi09 and not pi23 and not pi27 and not pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi08 and not pi28 and pi33 and not pi12 and not pi10 )
      or ( not pi02 and not pi09 and not pi11 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi30 and not pi04 and not pi05 and not pi06 and not pi18 )
      or ( not pi02 and not pi09 and not pi11 and not pi21 and not pi23 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi30 and not pi32 and not pi04 and not pi05 and not pi06 and not pi18 )
      or ( not pi02 and not pi09 and not pi11 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi34 and pi37 and not pi30 and not pi04 and not pi05 and not pi06 and not pi08 and not pi18 )
      or ( not pi02 and not pi09 and not pi11 and not pi21 and not pi23 and not pi25 and not pi27 and not pi34 and pi37 and not pi30 and not pi32 and not pi04 and not pi05 and not pi06 and not pi08 and not pi18 )
      or ( not pi02 and not pi09 and not pi11 and not pi23 and not pi24 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi30 and not pi04 and not pi05 and not pi06 and not pi18 and not pi28 )
      or ( not pi02 and not pi09 and not pi11 and not pi23 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi30 and not pi32 and not pi04 and not pi05 and not pi06 and not pi18 and not pi28 )
      or ( not pi02 and not pi09 and not pi11 and not pi23 and not pi24 and not pi25 and not pi27 and not pi34 and pi37 and not pi30 and not pi04 and not pi05 and not pi06 and not pi08 and not pi18 and not pi28 )
      or ( not pi02 and not pi09 and not pi11 and not pi23 and not pi25 and not pi27 and not pi34 and pi37 and not pi30 and not pi32 and not pi04 and not pi05 and not pi06 and not pi08 and not pi18 and not pi28 )
      or ( not pi02 and not pi09 and not pi11 and not pi23 and not pi24 and not pi27 and not pi31 and not pi34 and pi37 and not pi30 and not pi04 and not pi05 and not pi06 and not pi18 and not pi28 and pi33 )
      or ( not pi02 and not pi09 and not pi11 and not pi23 and not pi27 and not pi31 and not pi34 and pi37 and not pi30 and not pi32 and not pi04 and not pi05 and not pi06 and not pi18 and not pi28 and pi33 )
      or ( not pi02 and not pi09 and not pi11 and not pi23 and not pi24 and not pi27 and not pi34 and pi37 and not pi30 and not pi04 and not pi05 and not pi06 and not pi08 and not pi18 and not pi28 and pi33 )
      or ( not pi02 and not pi09 and not pi11 and not pi23 and not pi27 and not pi34 and pi37 and not pi30 and not pi32 and not pi04 and not pi05 and not pi06 and not pi08 and not pi18 and not pi28 and pi33 )
      or ( not pi02 and not pi09 and not pi17 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi30 and not pi04 and not pi05 and not pi06 and pi03 )
      or ( not pi02 and not pi09 and not pi17 and not pi21 and not pi23 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi30 and not pi32 and not pi04 and not pi05 and not pi06 and pi03 )
      or ( not pi02 and not pi09 and not pi17 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi34 and pi37 and not pi30 and not pi04 and not pi05 and not pi06 and not pi08 and pi03 )
      or ( not pi02 and not pi09 and not pi17 and not pi21 and not pi23 and not pi25 and not pi27 and not pi34 and pi37 and not pi30 and not pi32 and not pi04 and not pi05 and not pi06 and not pi08 and pi03 )
      or ( not pi02 and not pi09 and not pi17 and not pi23 and not pi24 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi30 and not pi04 and not pi05 and not pi06 and not pi28 and pi03 )
      or ( not pi02 and not pi09 and not pi17 and not pi23 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi30 and not pi32 and not pi04 and not pi05 and not pi06 and not pi28 and pi03 )
      or ( not pi02 and not pi09 and not pi17 and not pi23 and not pi24 and not pi25 and not pi27 and not pi34 and pi37 and not pi30 and not pi04 and not pi05 and not pi06 and not pi08 and not pi28 and pi03 )
      or ( not pi02 and not pi09 and not pi17 and not pi23 and not pi25 and not pi27 and not pi34 and pi37 and not pi30 and not pi32 and not pi04 and not pi05 and not pi06 and not pi08 and not pi28 and pi03 )
      or ( not pi02 and not pi09 and not pi17 and not pi23 and not pi24 and not pi27 and not pi31 and not pi34 and pi37 and not pi30 and not pi04 and not pi05 and not pi06 and not pi28 and pi33 and pi03 )
      or ( not pi02 and not pi09 and not pi17 and not pi23 and not pi27 and not pi31 and not pi34 and pi37 and not pi30 and not pi32 and not pi04 and not pi05 and not pi06 and not pi28 and pi33 and pi03 )
      or ( not pi02 and not pi09 and not pi17 and not pi23 and not pi24 and not pi27 and not pi34 and pi37 and not pi30 and not pi04 and not pi05 and not pi06 and not pi08 and not pi28 and pi33 and pi03 )
      or ( not pi02 and not pi09 and not pi17 and not pi23 and not pi27 and not pi34 and pi37 and not pi30 and not pi32 and not pi04 and not pi05 and not pi06 and not pi08 and not pi28 and pi33 and pi03 )
      or ( not pi02 and pi09 and pi11 and not pi13 and pi17 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi04 and not pi05 and not pi06 and not pi01 )
      or ( not pi02 and pi09 and pi11 and not pi13 and pi17 and not pi21 and not pi23 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi01 )
      or ( not pi02 and pi09 and pi11 and not pi13 and pi17 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi34 and pi37 and not pi04 and not pi05 and not pi06 and not pi08 and not pi01 )
      or ( not pi02 and pi09 and pi11 and not pi13 and pi17 and not pi21 and not pi23 and not pi25 and not pi27 and not pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi08 and not pi01 )
      or ( not pi02 and pi09 and not pi13 and pi17 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi04 and not pi05 and not pi06 and pi18 and not pi01 )
      or ( not pi02 and pi09 and not pi13 and pi17 and not pi21 and not pi23 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and pi18 and not pi01 )
      or ( not pi02 and pi09 and not pi13 and pi17 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi34 and pi37 and not pi04 and not pi05 and not pi06 and not pi08 and pi18 and not pi01 )
      or ( not pi02 and pi09 and not pi13 and pi17 and not pi21 and not pi23 and not pi25 and not pi27 and not pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi08 and pi18 and not pi01 )
      or ( not pi02 and pi09 and pi11 and not pi13 and pi17 and not pi23 and not pi24 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi04 and not pi05 and not pi06 and not pi28 and not pi01 )
      or ( not pi02 and pi09 and pi11 and not pi13 and pi17 and not pi23 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi28 and not pi01 )
      or ( not pi02 and pi09 and pi11 and not pi13 and pi17 and not pi23 and not pi24 and not pi25 and not pi27 and not pi34 and pi37 and not pi04 and not pi05 and not pi06 and not pi08 and not pi28 and not pi01 )
      or ( not pi02 and pi09 and pi11 and not pi13 and pi17 and not pi23 and not pi25 and not pi27 and not pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi08 and not pi28 and not pi01 )
      or ( not pi02 and pi09 and not pi13 and pi17 and not pi23 and not pi24 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi04 and not pi05 and not pi06 and pi18 and not pi28 and not pi01 )
      or ( not pi02 and pi09 and not pi13 and pi17 and not pi23 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and pi18 and not pi28 and not pi01 )
      or ( not pi02 and pi09 and not pi13 and pi17 and not pi23 and not pi24 and not pi25 and not pi27 and not pi34 and pi37 and not pi04 and not pi05 and not pi06 and not pi08 and pi18 and not pi28 and not pi01 )
      or ( not pi02 and pi09 and not pi13 and pi17 and not pi23 and not pi25 and not pi27 and not pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi08 and pi18 and not pi28 and not pi01 )
      or ( not pi02 and pi09 and pi11 and not pi13 and pi17 and not pi23 and not pi24 and not pi27 and not pi31 and not pi34 and pi37 and not pi04 and not pi05 and not pi06 and not pi28 and pi33 and not pi01 )
      or ( not pi02 and pi09 and pi11 and not pi13 and pi17 and not pi23 and not pi27 and not pi31 and not pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi28 and pi33 and not pi01 )
      or ( not pi02 and pi09 and pi11 and not pi13 and pi17 and not pi23 and not pi24 and not pi27 and not pi34 and pi37 and not pi04 and not pi05 and not pi06 and not pi08 and not pi28 and pi33 and not pi01 )
      or ( not pi02 and pi09 and pi11 and not pi13 and pi17 and not pi23 and not pi27 and not pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi08 and not pi28 and pi33 and not pi01 )
      or ( not pi02 and pi09 and not pi13 and pi17 and not pi23 and not pi24 and not pi27 and not pi31 and not pi34 and pi37 and not pi04 and not pi05 and not pi06 and pi18 and not pi28 and pi33 and not pi01 )
      or ( not pi02 and pi09 and not pi13 and pi17 and not pi23 and not pi27 and not pi31 and not pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and pi18 and not pi28 and pi33 and not pi01 )
      or ( not pi02 and pi09 and not pi13 and pi17 and not pi23 and not pi24 and not pi27 and not pi34 and pi37 and not pi04 and not pi05 and not pi06 and not pi08 and pi18 and not pi28 and pi33 and not pi01 )
      or ( not pi02 and pi09 and not pi13 and pi17 and not pi23 and not pi27 and not pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi08 and pi18 and not pi28 and pi33 and not pi01 )
      or ( not pi02 and pi09 and pi11 and not pi13 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi04 and not pi05 and not pi06 and not pi01 and not pi03 )
      or ( not pi02 and pi09 and pi11 and not pi13 and not pi21 and not pi23 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi01 and not pi03 )
      or ( not pi02 and pi09 and pi11 and not pi13 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi34 and pi37 and not pi04 and not pi05 and not pi06 and not pi08 and not pi01 and not pi03 )
      or ( not pi02 and pi09 and pi11 and not pi13 and not pi21 and not pi23 and not pi25 and not pi27 and not pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi08 and not pi01 and not pi03 )
      or ( not pi02 and pi09 and not pi13 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi04 and not pi05 and not pi06 and pi18 and not pi01 and not pi03 )
      or ( not pi02 and pi09 and not pi13 and not pi21 and not pi23 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and pi18 and not pi01 and not pi03 )
      or ( not pi02 and pi09 and not pi13 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi34 and pi37 and not pi04 and not pi05 and not pi06 and not pi08 and pi18 and not pi01 and not pi03 )
      or ( not pi02 and pi09 and not pi13 and not pi21 and not pi23 and not pi25 and not pi27 and not pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi08 and pi18 and not pi01 and not pi03 )
      or ( not pi02 and pi09 and pi11 and not pi13 and not pi23 and not pi24 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi04 and not pi05 and not pi06 and not pi28 and not pi01 and not pi03 )
      or ( not pi02 and pi09 and pi11 and not pi13 and not pi23 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi28 and not pi01 and not pi03 )
      or ( not pi02 and pi09 and pi11 and not pi13 and not pi23 and not pi24 and not pi25 and not pi27 and not pi34 and pi37 and not pi04 and not pi05 and not pi06 and not pi08 and not pi28 and not pi01 and not pi03 )
      or ( not pi02 and pi09 and pi11 and not pi13 and not pi23 and not pi25 and not pi27 and not pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi08 and not pi28 and not pi01 and not pi03 )
      or ( not pi02 and pi09 and not pi13 and not pi23 and not pi24 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi04 and not pi05 and not pi06 and pi18 and not pi28 and not pi01 and not pi03 )
      or ( not pi02 and pi09 and not pi13 and not pi23 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and pi18 and not pi28 and not pi01 and not pi03 )
      or ( not pi02 and pi09 and not pi13 and not pi23 and not pi24 and not pi25 and not pi27 and not pi34 and pi37 and not pi04 and not pi05 and not pi06 and not pi08 and pi18 and not pi28 and not pi01 and not pi03 )
      or ( not pi02 and pi09 and not pi13 and not pi23 and not pi25 and not pi27 and not pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi08 and pi18 and not pi28 and not pi01 and not pi03 )
      or ( not pi02 and pi09 and pi11 and not pi13 and not pi23 and not pi24 and not pi27 and not pi31 and not pi34 and pi37 and not pi04 and not pi05 and not pi06 and not pi28 and pi33 and not pi01 and not pi03 )
      or ( not pi02 and pi09 and pi11 and not pi13 and not pi23 and not pi27 and not pi31 and not pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi28 and pi33 and not pi01 and not pi03 )
      or ( not pi02 and pi09 and pi11 and not pi13 and not pi23 and not pi24 and not pi27 and not pi34 and pi37 and not pi04 and not pi05 and not pi06 and not pi08 and not pi28 and pi33 and not pi01 and not pi03 )
      or ( not pi02 and pi09 and pi11 and not pi13 and not pi23 and not pi27 and not pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi08 and not pi28 and pi33 and not pi01 and not pi03 )
      or ( not pi02 and pi09 and not pi13 and not pi23 and not pi24 and not pi27 and not pi31 and not pi34 and pi37 and not pi04 and not pi05 and not pi06 and pi18 and not pi28 and pi33 and not pi01 and not pi03 )
      or ( not pi02 and pi09 and not pi13 and not pi23 and not pi27 and not pi31 and not pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and pi18 and not pi28 and pi33 and not pi01 and not pi03 )
      or ( not pi02 and pi09 and not pi13 and not pi23 and not pi24 and not pi27 and not pi34 and pi37 and not pi04 and not pi05 and not pi06 and not pi08 and pi18 and not pi28 and pi33 and not pi01 and not pi03 )
      or ( not pi02 and pi09 and not pi13 and not pi23 and not pi27 and not pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi08 and pi18 and not pi28 and pi33 and not pi01 and not pi03 )
      or ( not pi02 and pi09 and pi11 and not pi13 and pi17 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi04 and not pi05 and not pi06 and not pi12 )
      or ( not pi02 and pi09 and pi11 and not pi13 and pi17 and not pi21 and not pi23 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi12 )
      or ( not pi02 and pi09 and pi11 and not pi13 and pi17 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi34 and pi37 and not pi04 and not pi05 and not pi06 and not pi08 and not pi12 )
      or ( not pi02 and pi09 and pi11 and not pi13 and pi17 and not pi21 and not pi23 and not pi25 and not pi27 and not pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi08 and not pi12 )
      or ( not pi02 and pi09 and not pi13 and pi17 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi04 and not pi05 and not pi06 and pi18 and not pi12 )
      or ( not pi02 and pi09 and not pi13 and pi17 and not pi21 and not pi23 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and pi18 and not pi12 )
      or ( not pi02 and pi09 and not pi13 and pi17 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi34 and pi37 and not pi04 and not pi05 and not pi06 and not pi08 and pi18 and not pi12 )
      or ( not pi02 and pi09 and not pi13 and pi17 and not pi21 and not pi23 and not pi25 and not pi27 and not pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi08 and pi18 and not pi12 )
      or ( not pi02 and pi09 and pi11 and not pi13 and pi17 and not pi23 and not pi24 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi04 and not pi05 and not pi06 and not pi28 and not pi12 )
      or ( not pi02 and pi09 and pi11 and not pi13 and pi17 and not pi23 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi28 and not pi12 )
      or ( not pi02 and pi09 and pi11 and not pi13 and pi17 and not pi23 and not pi24 and not pi25 and not pi27 and not pi34 and pi37 and not pi04 and not pi05 and not pi06 and not pi08 and not pi28 and not pi12 )
      or ( not pi02 and pi09 and pi11 and not pi13 and pi17 and not pi23 and not pi25 and not pi27 and not pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi08 and not pi28 and not pi12 )
      or ( not pi02 and pi09 and not pi13 and pi17 and not pi23 and not pi24 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi04 and not pi05 and not pi06 and pi18 and not pi28 and not pi12 )
      or ( not pi02 and pi09 and not pi13 and pi17 and not pi23 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and pi18 and not pi28 and not pi12 )
      or ( not pi02 and pi09 and not pi13 and pi17 and not pi23 and not pi24 and not pi25 and not pi27 and not pi34 and pi37 and not pi04 and not pi05 and not pi06 and not pi08 and pi18 and not pi28 and not pi12 )
      or ( not pi02 and pi09 and not pi13 and pi17 and not pi23 and not pi25 and not pi27 and not pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi08 and pi18 and not pi28 and not pi12 )
      or ( not pi02 and pi09 and pi11 and not pi13 and pi17 and not pi23 and not pi24 and not pi27 and not pi31 and not pi34 and pi37 and not pi04 and not pi05 and not pi06 and not pi28 and pi33 and not pi12 )
      or ( not pi02 and pi09 and pi11 and not pi13 and pi17 and not pi23 and not pi27 and not pi31 and not pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi28 and pi33 and not pi12 )
      or ( not pi02 and pi09 and pi11 and not pi13 and pi17 and not pi23 and not pi24 and not pi27 and not pi34 and pi37 and not pi04 and not pi05 and not pi06 and not pi08 and not pi28 and pi33 and not pi12 )
      or ( not pi02 and pi09 and pi11 and not pi13 and pi17 and not pi23 and not pi27 and not pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi08 and not pi28 and pi33 and not pi12 )
      or ( not pi02 and pi09 and not pi13 and pi17 and not pi23 and not pi24 and not pi27 and not pi31 and not pi34 and pi37 and not pi04 and not pi05 and not pi06 and pi18 and not pi28 and pi33 and not pi12 )
      or ( not pi02 and pi09 and not pi13 and pi17 and not pi23 and not pi27 and not pi31 and not pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and pi18 and not pi28 and pi33 and not pi12 )
      or ( not pi02 and pi09 and not pi13 and pi17 and not pi23 and not pi24 and not pi27 and not pi34 and pi37 and not pi04 and not pi05 and not pi06 and not pi08 and pi18 and not pi28 and pi33 and not pi12 )
      or ( not pi02 and pi09 and not pi13 and pi17 and not pi23 and not pi27 and not pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi08 and pi18 and not pi28 and pi33 and not pi12 )
      or ( not pi02 and pi09 and pi11 and not pi13 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi04 and not pi05 and not pi06 and not pi03 and not pi12 )
      or ( not pi02 and pi09 and pi11 and not pi13 and not pi21 and not pi23 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi03 and not pi12 )
      or ( not pi02 and pi09 and pi11 and not pi13 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi34 and pi37 and not pi04 and not pi05 and not pi06 and not pi08 and not pi03 and not pi12 )
      or ( not pi02 and pi09 and pi11 and not pi13 and not pi21 and not pi23 and not pi25 and not pi27 and not pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi08 and not pi03 and not pi12 )
      or ( not pi02 and pi09 and not pi13 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi04 and not pi05 and not pi06 and pi18 and not pi03 and not pi12 )
      or ( not pi02 and pi09 and not pi13 and not pi21 and not pi23 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and pi18 and not pi03 and not pi12 )
      or ( not pi02 and pi09 and not pi13 and not pi21 and not pi23 and not pi24 and not pi25 and not pi27 and not pi34 and pi37 and not pi04 and not pi05 and not pi06 and not pi08 and pi18 and not pi03 and not pi12 )
      or ( not pi02 and pi09 and not pi13 and not pi21 and not pi23 and not pi25 and not pi27 and not pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi08 and pi18 and not pi03 and not pi12 )
      or ( not pi02 and pi09 and pi11 and not pi13 and not pi23 and not pi24 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi04 and not pi05 and not pi06 and not pi28 and not pi03 and not pi12 )
      or ( not pi02 and pi09 and pi11 and not pi13 and not pi23 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi28 and not pi03 and not pi12 )
      or ( not pi02 and pi09 and pi11 and not pi13 and not pi23 and not pi24 and not pi25 and not pi27 and not pi34 and pi37 and not pi04 and not pi05 and not pi06 and not pi08 and not pi28 and not pi03 and not pi12 )
      or ( not pi02 and pi09 and pi11 and not pi13 and not pi23 and not pi25 and not pi27 and not pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi08 and not pi28 and not pi03 and not pi12 )
      or ( not pi02 and pi09 and not pi13 and not pi23 and not pi24 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi04 and not pi05 and not pi06 and pi18 and not pi28 and not pi03 and not pi12 )
      or ( not pi02 and pi09 and not pi13 and not pi23 and not pi25 and not pi27 and not pi31 and not pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and pi18 and not pi28 and not pi03 and not pi12 )
      or ( not pi02 and pi09 and not pi13 and not pi23 and not pi24 and not pi25 and not pi27 and not pi34 and pi37 and not pi04 and not pi05 and not pi06 and not pi08 and pi18 and not pi28 and not pi03 and not pi12 )
      or ( not pi02 and pi09 and not pi13 and not pi23 and not pi25 and not pi27 and not pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi08 and pi18 and not pi28 and not pi03 and not pi12 )
      or ( not pi02 and pi09 and pi11 and not pi13 and not pi23 and not pi24 and not pi27 and not pi31 and not pi34 and pi37 and not pi04 and not pi05 and not pi06 and not pi28 and pi33 and not pi03 and not pi12 )
      or ( not pi02 and pi09 and pi11 and not pi13 and not pi23 and not pi27 and not pi31 and not pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi28 and pi33 and not pi03 and not pi12 )
      or ( not pi02 and pi09 and pi11 and not pi13 and not pi23 and not pi24 and not pi27 and not pi34 and pi37 and not pi04 and not pi05 and not pi06 and not pi08 and not pi28 and pi33 and not pi03 and not pi12 )
      or ( not pi02 and pi09 and pi11 and not pi13 and not pi23 and not pi27 and not pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi08 and not pi28 and pi33 and not pi03 and not pi12 )
      or ( not pi02 and pi09 and not pi13 and not pi23 and not pi24 and not pi27 and not pi31 and not pi34 and pi37 and not pi04 and not pi05 and not pi06 and pi18 and not pi28 and pi33 and not pi03 and not pi12 )
      or ( not pi02 and pi09 and not pi13 and not pi23 and not pi27 and not pi31 and not pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and pi18 and not pi28 and pi33 and not pi03 and not pi12 )
      or ( not pi02 and pi09 and not pi13 and not pi23 and not pi24 and not pi27 and not pi34 and pi37 and not pi04 and not pi05 and not pi06 and not pi08 and pi18 and not pi28 and pi33 and not pi03 and not pi12 )
      or ( not pi02 and pi09 and not pi13 and not pi23 and not pi27 and not pi34 and pi37 and not pi32 and not pi04 and not pi05 and not pi06 and not pi08 and pi18 and not pi28 and pi33 and not pi03 and not pi12 );
    n44 <= ( pi02 and not pi12 and not pi14 and not pi15 and not pi19 and not pi20 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi28 );
    n45 <= ( pi02 and not pi12 and not pi13 and not pi15 and not pi19 and not pi20 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi28 );
    n46 <= ( not pi12 and not pi14 and not pi15 and not pi22 and pi24 and not pi26 and not pi27 and not pi28 and pi32 and not pi33 and pi34 );
    n47 <= ( not pi14 and not pi15 and not pi16 and not pi22 and pi24 and not pi26 and not pi27 and not pi28 and pi32 and not pi33 and pi34 );
    n48 <= ( not pi12 and not pi14 and not pi15 and pi19 and not pi20 and not pi21 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi28 );
    n49 <= ( not pi14 and not pi15 and not pi16 and pi19 and not pi20 and not pi21 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi28 );
    n50 <= ( not pi12 and not pi13 and not pi15 and pi19 and not pi20 and not pi21 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi28 );
    n51 <= ( not pi13 and not pi15 and not pi16 and pi19 and not pi20 and not pi21 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi28 );
    n52 <= ( not pi12 and not pi13 and pi14 and not pi15 and not pi22 and not pi26 and not pi27 and not pi28 and pi32 and not pi33 and pi34 );
    n53 <= ( not pi13 and pi14 and not pi15 and not pi16 and not pi22 and not pi26 and not pi27 and not pi28 and pi32 and not pi33 and pi34 );
    n54 <= ( not pi12 and not pi14 and not pi15 and pi21 and not pi22 and not pi26 and not pi27 and pi28 and not pi33 and pi34 );
    n55 <= ( not pi14 and not pi15 and not pi16 and pi21 and not pi22 and not pi26 and not pi27 and pi28 and not pi33 and pi34 );
    n56 <= ( not pi12 and not pi13 and not pi15 and pi21 and not pi22 and not pi26 and not pi27 and pi28 and not pi33 and pi34 );
    n57 <= ( not pi12 and not pi14 and not pi15 and not pi22 and not pi23 and pi24 and not pi26 and not pi27 and not pi28 and pi32 and pi33 );
    n58 <= ( not pi13 and not pi15 and not pi16 and pi21 and not pi22 and not pi26 and not pi27 and pi28 and not pi33 and pi34 );
    n59 <= ( not pi14 and not pi15 and not pi16 and not pi22 and not pi23 and pi24 and not pi26 and not pi27 and not pi28 and pi32 and pi33 );
    n60 <= ( pi24 and not pi27 and not pi28 and not pi29 and not pi30 and not pi31 and pi32 and not pi33 and pi34 );
    n61 <= ( not pi23 and pi24 and not pi25 and not pi27 and not pi28 and not pi29 and not pi30 and not pi31 and pi32 and not pi33 );
    n62 <= ( not pi22 and not pi23 and pi24 and not pi27 and not pi28 and not pi29 and not pi30 and not pi31 and pi32 and pi33 );
    n63 <= ( pi14 and not pi27 and not pi28 and not pi29 and not pi30 and not pi31 and pi32 and not pi33 and pi34 );
    n64 <= ( not pi12 and not pi13 and pi14 and not pi15 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and pi32 and pi33 );
    n65 <= ( not pi13 and pi14 and not pi15 and not pi16 and not pi22 and not pi23 and not pi26 and not pi27 and not pi28 and pi32 and pi33 );
    n66 <= ( not pi12 and not pi14 and not pi15 and pi21 and not pi22 and not pi23 and not pi26 and not pi27 and pi28 and pi33 );
    n67 <= ( not pi14 and not pi15 and not pi16 and pi21 and not pi22 and not pi23 and not pi26 and not pi27 and pi28 and pi33 );
    n68 <= ( not pi12 and not pi14 and not pi15 and not pi22 and not pi23 and pi24 and not pi25 and not pi26 and not pi27 and pi32 );
    n69 <= ( pi14 and not pi22 and not pi23 and not pi27 and not pi28 and not pi29 and not pi30 and not pi31 and pi32 and pi33 );
    n70 <= ( not pi14 and not pi15 and not pi16 and not pi22 and not pi23 and pi24 and not pi25 and not pi26 and not pi27 and pi32 );
    n71 <= ( pi21 and not pi27 and pi28 and not pi29 and not pi30 and not pi31 and not pi33 and pi34 );
    n72 <= ( not pi12 and not pi13 and not pi15 and pi21 and not pi22 and not pi23 and not pi26 and not pi27 and pi28 and pi33 );
    n73 <= ( not pi12 and not pi14 and not pi15 and pi21 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi28 );
    n74 <= ( not pi13 and not pi15 and not pi16 and pi21 and not pi22 and not pi23 and not pi26 and not pi27 and pi28 and pi33 );
    n75 <= ( not pi14 and not pi15 and not pi16 and pi21 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi28 );
    n76 <= ( pi21 and not pi23 and not pi25 and not pi27 and pi28 and not pi29 and not pi30 and not pi31 and not pi33 );
    n77 <= ( not pi12 and not pi13 and not pi15 and pi21 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi28 );
    n78 <= ( pi21 and not pi22 and not pi23 and not pi27 and pi28 and not pi29 and not pi30 and not pi31 and pi33 );
    n79 <= ( not pi13 and not pi15 and not pi16 and pi21 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi28 );
    n80 <= ( not pi12 and not pi14 and not pi15 and pi20 and not pi21 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi28 );
    n81 <= ( not pi14 and not pi15 and not pi16 and pi20 and not pi21 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi28 );
    n82 <= ( not pi12 and not pi13 and not pi15 and pi20 and not pi21 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi28 );
    n83 <= ( not pi13 and not pi15 and not pi16 and pi20 and not pi21 and not pi22 and not pi23 and not pi25 and not pi26 and not pi27 and pi28 );
end LGSynth91__too_large_behav;
