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

entity top is 
  Port (
    pi00,pi01,pi02,pi03,pi04,pi05,pi06,pi07,pi08,pi09,pi10,pi11,pi12,pi13,pi14,pi15,pi16,pi17,pi18,pi19,pi20,pi21,pi22: in std_logic;
    po0,po1: inout std_logic
  );
end top;

architecture top_behav of top is
begin
    po0 <= ( pi00 and pi05 )
      or ( pi01 and pi05 )
      or ( pi02 and pi05 )
      or ( pi03 and pi05 )
      or ( pi04 and pi05 )
      or ( pi02 and not pi17 and pi18 )
      or ( pi03 and not pi17 and pi18 )
      or ( pi02 and pi17 and not pi18 )
      or ( pi03 and pi17 and not pi18 )
      or ( pi02 and not pi18 and pi19 )
      or ( pi03 and not pi18 and pi19 )
      or ( pi02 and pi18 and not pi19 )
      or ( pi03 and pi18 and not pi19 )
      or ( pi02 and not pi20 and pi21 )
      or ( pi03 and not pi20 and pi21 )
      or ( pi02 and pi20 and not pi21 )
      or ( pi03 and pi20 and not pi21 )
      or ( pi02 and not pi21 and pi22 )
      or ( pi03 and not pi21 and pi22 )
      or ( pi02 and pi21 and not pi22 )
      or ( pi03 and pi21 and not pi22 )
      or ( pi03 and not pi14 and pi15 and pi16 )
      or ( pi03 and pi14 and not pi15 and not pi16 )
      or ( not pi00 and pi01 and not pi17 and pi18 )
      or ( pi00 and not pi01 and not pi17 and pi18 )
      or ( not pi00 and pi04 and not pi17 and pi18 )
      or ( not pi01 and pi04 and not pi17 and pi18 )
      or ( not pi00 and pi01 and pi17 and not pi18 )
      or ( pi00 and not pi01 and pi17 and not pi18 )
      or ( not pi00 and pi04 and pi17 and not pi18 )
      or ( not pi01 and pi04 and pi17 and not pi18 )
      or ( not pi00 and pi01 and not pi18 and pi19 )
      or ( pi00 and not pi01 and not pi18 and pi19 )
      or ( not pi00 and pi04 and not pi18 and pi19 )
      or ( not pi01 and pi04 and not pi18 and pi19 )
      or ( not pi00 and pi01 and pi18 and not pi19 )
      or ( pi00 and not pi01 and pi18 and not pi19 )
      or ( not pi00 and pi04 and pi18 and not pi19 )
      or ( not pi01 and pi04 and pi18 and not pi19 )
      or ( not pi00 and pi01 and not pi20 and pi21 )
      or ( pi00 and not pi01 and not pi20 and pi21 )
      or ( not pi00 and pi04 and not pi20 and pi21 )
      or ( not pi01 and pi04 and not pi20 and pi21 )
      or ( not pi00 and pi01 and pi20 and not pi21 )
      or ( pi00 and not pi01 and pi20 and not pi21 )
      or ( not pi00 and pi04 and pi20 and not pi21 )
      or ( not pi01 and pi04 and pi20 and not pi21 )
      or ( not pi00 and pi01 and not pi21 and pi22 )
      or ( pi00 and not pi01 and not pi21 and pi22 )
      or ( not pi00 and pi04 and not pi21 and pi22 )
      or ( not pi01 and pi04 and not pi21 and pi22 )
      or ( not pi00 and pi01 and pi21 and not pi22 )
      or ( pi00 and not pi01 and pi21 and not pi22 )
      or ( not pi00 and pi04 and pi21 and not pi22 )
      or ( not pi01 and pi04 and pi21 and not pi22 )
      or ( pi03 and not pi06 and pi07 and pi08 and pi09 )
      or ( pi03 and pi06 and not pi07 and pi08 and pi09 )
      or ( pi03 and pi06 and pi07 and not pi08 and pi09 )
      or ( pi03 and not pi06 and not pi07 and not pi08 and pi09 )
      or ( pi03 and pi06 and pi07 and pi08 and not pi09 )
      or ( pi03 and not pi06 and not pi07 and pi08 and not pi09 )
      or ( pi03 and not pi06 and pi07 and not pi08 and not pi09 )
      or ( pi03 and pi06 and not pi07 and not pi08 and not pi09 )
      or ( pi03 and not pi10 and pi11 and pi12 and pi13 )
      or ( pi03 and pi10 and not pi11 and pi12 and pi13 )
      or ( pi03 and pi10 and pi11 and not pi12 and pi13 )
      or ( pi03 and not pi10 and not pi11 and not pi12 and pi13 )
      or ( pi03 and pi10 and pi11 and pi12 and not pi13 )
      or ( pi03 and not pi10 and not pi11 and pi12 and not pi13 )
      or ( pi03 and not pi10 and pi11 and not pi12 and not pi13 )
      or ( pi03 and pi10 and not pi11 and not pi12 and not pi13 )
      or ( not pi00 and pi01 and not pi14 and pi15 and pi16 )
      or ( not pi00 and pi02 and not pi14 and pi15 and pi16 )
      or ( pi01 and pi02 and not pi14 and pi15 and pi16 )
      or ( not pi00 and pi04 and not pi14 and pi15 and pi16 )
      or ( not pi00 and pi01 and pi14 and not pi15 and not pi16 )
      or ( not pi00 and pi02 and pi14 and not pi15 and not pi16 )
      or ( pi01 and pi02 and pi14 and not pi15 and not pi16 )
      or ( not pi00 and pi04 and pi14 and not pi15 and not pi16 )
      or ( not pi00 and pi01 and not pi06 and pi07 and pi08 and pi09 )
      or ( not pi00 and pi02 and not pi06 and pi07 and pi08 and pi09 )
      or ( pi01 and pi02 and not pi06 and pi07 and pi08 and pi09 )
      or ( not pi00 and pi04 and not pi06 and pi07 and pi08 and pi09 )
      or ( not pi00 and pi01 and pi06 and not pi07 and pi08 and pi09 )
      or ( not pi00 and pi02 and pi06 and not pi07 and pi08 and pi09 )
      or ( pi01 and pi02 and pi06 and not pi07 and pi08 and pi09 )
      or ( not pi00 and pi04 and pi06 and not pi07 and pi08 and pi09 )
      or ( not pi00 and pi01 and pi06 and pi07 and not pi08 and pi09 )
      or ( not pi00 and pi02 and pi06 and pi07 and not pi08 and pi09 )
      or ( pi01 and pi02 and pi06 and pi07 and not pi08 and pi09 )
      or ( not pi00 and pi04 and pi06 and pi07 and not pi08 and pi09 )
      or ( not pi00 and pi01 and not pi06 and not pi07 and not pi08 and pi09 )
      or ( not pi00 and pi02 and not pi06 and not pi07 and not pi08 and pi09 )
      or ( pi01 and pi02 and not pi06 and not pi07 and not pi08 and pi09 )
      or ( not pi00 and pi04 and not pi06 and not pi07 and not pi08 and pi09 )
      or ( not pi00 and pi01 and pi06 and pi07 and pi08 and not pi09 )
      or ( not pi00 and pi02 and pi06 and pi07 and pi08 and not pi09 )
      or ( pi01 and pi02 and pi06 and pi07 and pi08 and not pi09 )
      or ( not pi00 and pi04 and pi06 and pi07 and pi08 and not pi09 )
      or ( not pi00 and pi01 and not pi06 and not pi07 and pi08 and not pi09 )
      or ( not pi00 and pi02 and not pi06 and not pi07 and pi08 and not pi09 )
      or ( pi01 and pi02 and not pi06 and not pi07 and pi08 and not pi09 )
      or ( not pi00 and pi04 and not pi06 and not pi07 and pi08 and not pi09 )
      or ( not pi00 and pi01 and not pi06 and pi07 and not pi08 and not pi09 )
      or ( not pi00 and pi02 and not pi06 and pi07 and not pi08 and not pi09 )
      or ( pi01 and pi02 and not pi06 and pi07 and not pi08 and not pi09 )
      or ( not pi00 and pi04 and not pi06 and pi07 and not pi08 and not pi09 )
      or ( not pi00 and pi01 and pi06 and not pi07 and not pi08 and not pi09 )
      or ( not pi00 and pi02 and pi06 and not pi07 and not pi08 and not pi09 )
      or ( pi01 and pi02 and pi06 and not pi07 and not pi08 and not pi09 )
      or ( not pi00 and pi04 and pi06 and not pi07 and not pi08 and not pi09 )
      or ( not pi00 and pi01 and not pi10 and pi11 and pi12 and pi13 )
      or ( not pi00 and pi02 and not pi10 and pi11 and pi12 and pi13 )
      or ( pi01 and pi02 and not pi10 and pi11 and pi12 and pi13 )
      or ( not pi00 and pi04 and not pi10 and pi11 and pi12 and pi13 )
      or ( not pi00 and pi01 and pi10 and not pi11 and pi12 and pi13 )
      or ( not pi00 and pi02 and pi10 and not pi11 and pi12 and pi13 )
      or ( pi01 and pi02 and pi10 and not pi11 and pi12 and pi13 )
      or ( not pi00 and pi04 and pi10 and not pi11 and pi12 and pi13 )
      or ( not pi00 and pi01 and pi10 and pi11 and not pi12 and pi13 )
      or ( not pi00 and pi02 and pi10 and pi11 and not pi12 and pi13 )
      or ( pi01 and pi02 and pi10 and pi11 and not pi12 and pi13 )
      or ( not pi00 and pi04 and pi10 and pi11 and not pi12 and pi13 )
      or ( not pi00 and pi01 and not pi10 and not pi11 and not pi12 and pi13 )
      or ( not pi00 and pi02 and not pi10 and not pi11 and not pi12 and pi13 )
      or ( pi01 and pi02 and not pi10 and not pi11 and not pi12 and pi13 )
      or ( not pi00 and pi04 and not pi10 and not pi11 and not pi12 and pi13 )
      or ( not pi00 and pi01 and pi10 and pi11 and pi12 and not pi13 )
      or ( not pi00 and pi02 and pi10 and pi11 and pi12 and not pi13 )
      or ( pi01 and pi02 and pi10 and pi11 and pi12 and not pi13 )
      or ( not pi00 and pi04 and pi10 and pi11 and pi12 and not pi13 )
      or ( not pi00 and pi01 and not pi10 and not pi11 and pi12 and not pi13 )
      or ( not pi00 and pi02 and not pi10 and not pi11 and pi12 and not pi13 )
      or ( pi01 and pi02 and not pi10 and not pi11 and pi12 and not pi13 )
      or ( not pi00 and pi04 and not pi10 and not pi11 and pi12 and not pi13 )
      or ( not pi00 and pi01 and not pi10 and pi11 and not pi12 and not pi13 )
      or ( not pi00 and pi02 and not pi10 and pi11 and not pi12 and not pi13 )
      or ( pi01 and pi02 and not pi10 and pi11 and not pi12 and not pi13 )
      or ( not pi00 and pi04 and not pi10 and pi11 and not pi12 and not pi13 )
      or ( not pi00 and pi01 and pi10 and not pi11 and not pi12 and not pi13 )
      or ( not pi00 and pi02 and pi10 and not pi11 and not pi12 and not pi13 )
      or ( pi01 and pi02 and pi10 and not pi11 and not pi12 and not pi13 )
      or ( not pi00 and pi04 and pi10 and not pi11 and not pi12 and not pi13 )
      or ( pi00 and not pi01 and not pi02 and not pi14 and pi15 and pi16 )
      or ( not pi01 and not pi02 and pi04 and not pi14 and pi15 and pi16 )
      or ( pi00 and not pi01 and not pi02 and pi14 and not pi15 and not pi16 )
      or ( not pi01 and not pi02 and pi04 and pi14 and not pi15 and not pi16 )
      or ( pi00 and not pi01 and not pi02 and not pi06 and pi07 and pi08 and pi09 )
      or ( not pi01 and not pi02 and pi04 and not pi06 and pi07 and pi08 and pi09 )
      or ( pi00 and not pi01 and not pi02 and pi06 and not pi07 and pi08 and pi09 )
      or ( not pi01 and not pi02 and pi04 and pi06 and not pi07 and pi08 and pi09 )
      or ( pi00 and not pi01 and not pi02 and pi06 and pi07 and not pi08 and pi09 )
      or ( not pi01 and not pi02 and pi04 and pi06 and pi07 and not pi08 and pi09 )
      or ( pi00 and not pi01 and not pi02 and not pi06 and not pi07 and not pi08 and pi09 )
      or ( not pi01 and not pi02 and pi04 and not pi06 and not pi07 and not pi08 and pi09 )
      or ( pi00 and not pi01 and not pi02 and pi06 and pi07 and pi08 and not pi09 )
      or ( not pi01 and not pi02 and pi04 and pi06 and pi07 and pi08 and not pi09 )
      or ( pi00 and not pi01 and not pi02 and not pi06 and not pi07 and pi08 and not pi09 )
      or ( not pi01 and not pi02 and pi04 and not pi06 and not pi07 and pi08 and not pi09 )
      or ( pi00 and not pi01 and not pi02 and not pi06 and pi07 and not pi08 and not pi09 )
      or ( not pi01 and not pi02 and pi04 and not pi06 and pi07 and not pi08 and not pi09 )
      or ( pi00 and not pi01 and not pi02 and pi06 and not pi07 and not pi08 and not pi09 )
      or ( not pi01 and not pi02 and pi04 and pi06 and not pi07 and not pi08 and not pi09 )
      or ( pi00 and not pi01 and not pi02 and not pi10 and pi11 and pi12 and pi13 )
      or ( not pi01 and not pi02 and pi04 and not pi10 and pi11 and pi12 and pi13 )
      or ( pi00 and not pi01 and not pi02 and pi10 and not pi11 and pi12 and pi13 )
      or ( not pi01 and not pi02 and pi04 and pi10 and not pi11 and pi12 and pi13 )
      or ( pi00 and not pi01 and not pi02 and pi10 and pi11 and not pi12 and pi13 )
      or ( not pi01 and not pi02 and pi04 and pi10 and pi11 and not pi12 and pi13 )
      or ( pi00 and not pi01 and not pi02 and not pi10 and not pi11 and not pi12 and pi13 )
      or ( not pi01 and not pi02 and pi04 and not pi10 and not pi11 and not pi12 and pi13 )
      or ( pi00 and not pi01 and not pi02 and pi10 and pi11 and pi12 and not pi13 )
      or ( not pi01 and not pi02 and pi04 and pi10 and pi11 and pi12 and not pi13 )
      or ( pi00 and not pi01 and not pi02 and not pi10 and not pi11 and pi12 and not pi13 )
      or ( not pi01 and not pi02 and pi04 and not pi10 and not pi11 and pi12 and not pi13 )
      or ( pi00 and not pi01 and not pi02 and not pi10 and pi11 and not pi12 and not pi13 )
      or ( not pi01 and not pi02 and pi04 and not pi10 and pi11 and not pi12 and not pi13 )
      or ( pi00 and not pi01 and not pi02 and pi10 and not pi11 and not pi12 and not pi13 )
      or ( not pi01 and not pi02 and pi04 and pi10 and not pi11 and not pi12 and not pi13 );
    po1 <= ( not pi00 and not pi01 and not pi02 and not pi03 and not pi04 )
      or ( pi00 and not pi01 and pi02 and not pi03 and not pi05 )
      or ( pi00 and pi01 and not pi02 and not pi03 and not pi05 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and pi20 and pi21 and pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi15 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi16 and pi17 and pi18 and pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi15 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and pi14 and pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and pi11 and pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and not pi11 and not pi12 and pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and not pi11 and pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and pi11 and not pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 )
      or ( not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi11 and not pi12 and not pi13 and not pi14 and not pi16 and not pi17 and not pi18 and not pi19 and not pi20 and not pi21 and not pi22 );
end top_behav;
