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

entity Espresso__ex4 is 
  Port (
    pi00,pi01,pi02,pi03,pi04,pi05,pi06,pi07,pi08,pi09,pi10,pi11,pi12,pi13,pi14,pi15,pi16,pi17,pi18,pi19,pi20,pi21,pi22,pi23,pi24,pi25,pi26,pi27,pi28,pi29,pi30,pi31,pi32,pi33,pi34,pi35,pi36,pi37,pi38,pi39,pi40,pi41,pi42,pi43,pi44,pi45,pi46,pi47,pi48,pi49,pi50,pi51,pi52,pi53,pi54,pi55,pi56,pi57,pi58,pi59,pi60,pi61,pi62,pi63,pi64,pi65,pi66,pi67,pi68,pi69,pi70,pi71,pi72,pi73,pi74,pi75,pi76,pi77,pi78,pi79,pi80,pi81,pi82,pi83: in std_logic;
    po00,po01,po02,po03,po04,po05,po06,po07,po08,po09,po10,po11,po12,po13: inout std_logic
  );
end Espresso__ex4;

architecture Espresso__ex4_behav of Espresso__ex4 is
begin
    po00 <= ( not pi24 and pi31 and not pi38 )
      or ( not pi07 and pi31 and not pi55 )
      or ( pi07 and not pi14 and pi31 and pi38 and not pi48 )
      or ( not pi14 and pi24 and pi31 and pi38 and not pi48 )
      or ( pi07 and not pi14 and pi31 and not pi48 and pi55 )
      or ( not pi14 and pi24 and pi31 and not pi48 and pi55 )
      or ( not pi00 and pi07 and pi24 and pi31 and not pi62 )
      or ( not pi00 and pi24 and pi31 and pi38 and not pi62 )
      or ( not pi00 and pi07 and pi31 and pi55 and not pi62 )
      or ( not pi00 and pi31 and pi38 and pi55 and not pi62 );
    po01 <= ( not pi25 and pi32 and not pi39 )
      or ( not pi08 and pi32 and not pi56 )
      or ( pi08 and not pi15 and pi32 and pi39 and not pi49 )
      or ( not pi15 and pi25 and pi32 and pi39 and not pi49 )
      or ( pi08 and not pi15 and pi32 and not pi49 and pi56 )
      or ( not pi15 and pi25 and pi32 and not pi49 and pi56 )
      or ( not pi01 and pi08 and pi25 and pi32 and not pi63 )
      or ( not pi01 and pi25 and pi32 and pi39 and not pi63 )
      or ( not pi01 and pi08 and pi32 and pi56 and not pi63 )
      or ( not pi01 and pi32 and pi39 and pi56 and not pi63 );
    po02 <= ( not pi26 and pi33 and not pi40 )
      or ( not pi09 and pi33 and not pi57 )
      or ( pi09 and not pi16 and pi33 and pi40 and not pi50 )
      or ( not pi16 and pi26 and pi33 and pi40 and not pi50 )
      or ( pi09 and not pi16 and pi33 and not pi50 and pi57 )
      or ( not pi16 and pi26 and pi33 and not pi50 and pi57 )
      or ( not pi02 and pi09 and pi26 and pi33 and not pi64 )
      or ( not pi02 and pi26 and pi33 and pi40 and not pi64 )
      or ( not pi02 and pi09 and pi33 and pi57 and not pi64 )
      or ( not pi02 and pi33 and pi40 and pi57 and not pi64 );
    po03 <= ( not pi27 and pi34 and not pi41 )
      or ( not pi10 and pi34 and not pi58 )
      or ( pi10 and not pi17 and pi34 and pi41 and not pi51 )
      or ( not pi17 and pi27 and pi34 and pi41 and not pi51 )
      or ( pi10 and not pi17 and pi34 and not pi51 and pi58 )
      or ( not pi17 and pi27 and pi34 and not pi51 and pi58 )
      or ( not pi03 and pi10 and pi27 and pi34 and not pi65 )
      or ( not pi03 and pi27 and pi34 and pi41 and not pi65 )
      or ( not pi03 and pi10 and pi34 and pi58 and not pi65 )
      or ( not pi03 and pi34 and pi41 and pi58 and not pi65 );
    po04 <= ( not pi28 and pi35 and not pi42 )
      or ( not pi11 and pi35 and not pi59 )
      or ( pi11 and not pi18 and pi35 and pi42 and not pi52 )
      or ( not pi18 and pi28 and pi35 and pi42 and not pi52 )
      or ( pi11 and not pi18 and pi35 and not pi52 and pi59 )
      or ( not pi18 and pi28 and pi35 and not pi52 and pi59 )
      or ( not pi04 and pi11 and pi28 and pi35 and not pi66 )
      or ( not pi04 and pi28 and pi35 and pi42 and not pi66 )
      or ( not pi04 and pi11 and pi35 and pi59 and not pi66 )
      or ( not pi04 and pi35 and pi42 and pi59 and not pi66 );
    po05 <= ( not pi29 and pi36 and not pi43 )
      or ( not pi12 and pi36 and not pi60 )
      or ( pi12 and not pi19 and pi36 and pi43 and not pi53 )
      or ( not pi19 and pi29 and pi36 and pi43 and not pi53 )
      or ( pi12 and not pi19 and pi36 and not pi53 and pi60 )
      or ( not pi19 and pi29 and pi36 and not pi53 and pi60 )
      or ( not pi05 and pi12 and pi29 and pi36 and not pi67 )
      or ( not pi05 and pi29 and pi36 and pi43 and not pi67 )
      or ( not pi05 and pi12 and pi36 and pi60 and not pi67 )
      or ( not pi05 and pi36 and pi43 and pi60 and not pi67 )
      or ( not pi29 and pi36 and pi43 and not pi46 and pi60 and pi67 )
      or ( pi36 and pi43 and not pi46 and not pi53 and pi60 and pi67 )
      or ( not pi29 and pi36 and pi43 and pi60 and pi67 and not pi70 )
      or ( pi36 and pi43 and not pi53 and pi60 and pi67 and not pi70 )
      or ( not pi12 and pi36 and pi43 and pi60 and pi67 and not pi76 )
      or ( not pi19 and pi36 and pi43 and pi60 and pi67 and not pi76 )
      or ( not pi12 and pi36 and pi43 and pi60 and pi67 and not pi79 )
      or ( not pi19 and pi36 and pi43 and pi60 and pi67 and not pi79 )
      or ( not pi05 and pi12 and not pi22 and pi29 and pi36 and pi43 and pi60 and pi67 )
      or ( not pi05 and pi19 and not pi22 and pi29 and pi36 and pi43 and pi60 and pi67 )
      or ( not pi05 and pi12 and not pi22 and pi36 and pi43 and pi46 and pi60 and pi67 )
      or ( not pi05 and pi19 and not pi22 and pi36 and pi43 and pi46 and pi60 and pi67 )
      or ( pi12 and not pi22 and not pi29 and pi36 and pi43 and pi46 and pi60 and pi67 )
      or ( pi19 and not pi22 and not pi29 and pi36 and pi43 and pi46 and pi60 and pi67 )
      or ( not pi05 and pi12 and pi29 and pi36 and pi43 and not pi46 and pi60 and pi67 )
      or ( not pi05 and pi19 and pi29 and pi36 and pi43 and not pi46 and pi60 and pi67 )
      or ( not pi05 and pi12 and not pi22 and pi36 and pi43 and pi53 and pi60 and pi67 )
      or ( not pi05 and pi19 and not pi22 and pi36 and pi43 and pi53 and pi60 and pi67 )
      or ( not pi05 and pi12 and pi36 and pi43 and not pi46 and pi53 and pi60 and pi67 )
      or ( not pi05 and pi19 and pi36 and pi43 and not pi46 and pi53 and pi60 and pi67 )
      or ( pi12 and not pi22 and pi36 and pi43 and pi46 and not pi53 and pi60 and pi67 )
      or ( pi19 and not pi22 and pi36 and pi43 and pi46 and not pi53 and pi60 and pi67 )
      or ( not pi05 and pi12 and not pi22 and pi36 and pi43 and pi60 and pi67 and pi70 )
      or ( not pi05 and pi19 and not pi22 and pi36 and pi43 and pi60 and pi67 and pi70 )
      or ( pi12 and not pi22 and not pi29 and pi36 and pi43 and pi60 and pi67 and pi70 )
      or ( pi19 and not pi22 and not pi29 and pi36 and pi43 and pi60 and pi67 and pi70 )
      or ( pi12 and not pi22 and pi36 and pi43 and not pi53 and pi60 and pi67 and pi70 )
      or ( pi19 and not pi22 and pi36 and pi43 and not pi53 and pi60 and pi67 and pi70 )
      or ( not pi05 and pi12 and pi29 and pi36 and pi43 and pi60 and pi67 and not pi70 )
      or ( not pi05 and pi19 and pi29 and pi36 and pi43 and pi60 and pi67 and not pi70 )
      or ( not pi05 and pi12 and pi36 and pi43 and pi53 and pi60 and pi67 and not pi70 )
      or ( not pi05 and pi19 and pi36 and pi43 and pi53 and pi60 and pi67 and not pi70 )
      or ( not pi05 and pi12 and pi29 and pi36 and pi43 and pi60 and pi67 and not pi73 )
      or ( not pi05 and pi19 and pi29 and pi36 and pi43 and pi60 and pi67 and not pi73 )
      or ( pi12 and not pi22 and pi36 and pi43 and pi46 and pi60 and pi67 and not pi73 )
      or ( pi19 and not pi22 and pi36 and pi43 and pi46 and pi60 and pi67 and not pi73 )
      or ( not pi05 and pi29 and pi36 and pi43 and pi46 and pi60 and pi67 and not pi73 )
      or ( not pi05 and pi12 and pi36 and pi43 and pi53 and pi60 and pi67 and not pi73 )
      or ( not pi05 and pi19 and pi36 and pi43 and pi53 and pi60 and pi67 and not pi73 )
      or ( not pi05 and pi36 and pi43 and pi46 and pi53 and pi60 and pi67 and not pi73 )
      or ( pi12 and not pi22 and pi36 and pi43 and pi60 and pi67 and pi70 and not pi73 )
      or ( pi19 and not pi22 and pi36 and pi43 and pi60 and pi67 and pi70 and not pi73 )
      or ( not pi05 and pi29 and pi36 and pi43 and pi60 and pi67 and pi70 and not pi73 )
      or ( not pi05 and pi36 and pi43 and pi53 and pi60 and pi67 and pi70 and not pi73 )
      or ( not pi05 and pi12 and not pi22 and pi36 and pi43 and pi60 and pi67 and pi76 )
      or ( not pi05 and pi19 and not pi22 and pi36 and pi43 and pi60 and pi67 and pi76 )
      or ( not pi05 and pi12 and pi36 and pi43 and not pi46 and pi60 and pi67 and pi76 )
      or ( not pi05 and pi19 and pi36 and pi43 and not pi46 and pi60 and pi67 and pi76 )
      or ( not pi05 and pi12 and pi36 and pi43 and pi60 and pi67 and not pi70 and pi76 )
      or ( not pi05 and pi19 and pi36 and pi43 and pi60 and pi67 and not pi70 and pi76 )
      or ( not pi05 and pi12 and pi29 and pi36 and pi43 and pi60 and pi67 and not pi76 )
      or ( not pi05 and pi19 and pi29 and pi36 and pi43 and pi60 and pi67 and not pi76 )
      or ( pi12 and not pi22 and pi36 and pi43 and pi46 and pi60 and pi67 and not pi76 )
      or ( pi19 and not pi22 and pi36 and pi43 and pi46 and pi60 and pi67 and not pi76 )
      or ( not pi05 and pi29 and pi36 and pi43 and pi46 and pi60 and pi67 and not pi76 )
      or ( not pi05 and pi12 and pi36 and pi43 and pi53 and pi60 and pi67 and not pi76 )
      or ( not pi05 and pi19 and pi36 and pi43 and pi53 and pi60 and pi67 and not pi76 )
      or ( not pi05 and pi36 and pi43 and pi46 and pi53 and pi60 and pi67 and not pi76 )
      or ( pi12 and not pi22 and pi36 and pi43 and pi60 and pi67 and pi70 and not pi76 )
      or ( pi19 and not pi22 and pi36 and pi43 and pi60 and pi67 and pi70 and not pi76 )
      or ( not pi05 and pi29 and pi36 and pi43 and pi60 and pi67 and pi70 and not pi76 )
      or ( not pi05 and pi36 and pi43 and pi53 and pi60 and pi67 and pi70 and not pi76 )
      or ( not pi05 and pi12 and not pi22 and pi36 and pi43 and pi60 and pi67 and pi79 )
      or ( not pi05 and pi19 and not pi22 and pi36 and pi43 and pi60 and pi67 and pi79 )
      or ( not pi05 and pi12 and pi36 and pi43 and not pi46 and pi60 and pi67 and pi79 )
      or ( not pi05 and pi19 and pi36 and pi43 and not pi46 and pi60 and pi67 and pi79 )
      or ( not pi05 and pi12 and pi36 and pi43 and pi60 and pi67 and not pi70 and pi79 )
      or ( not pi05 and pi19 and pi36 and pi43 and pi60 and pi67 and not pi70 and pi79 )
      or ( not pi05 and pi12 and pi29 and pi36 and pi43 and pi60 and pi67 and not pi79 )
      or ( not pi05 and pi19 and pi29 and pi36 and pi43 and pi60 and pi67 and not pi79 )
      or ( pi12 and not pi22 and pi36 and pi43 and pi46 and pi60 and pi67 and not pi79 )
      or ( pi19 and not pi22 and pi36 and pi43 and pi46 and pi60 and pi67 and not pi79 )
      or ( not pi05 and pi29 and pi36 and pi43 and pi46 and pi60 and pi67 and not pi79 )
      or ( not pi05 and pi12 and pi36 and pi43 and pi53 and pi60 and pi67 and not pi79 )
      or ( not pi05 and pi19 and pi36 and pi43 and pi53 and pi60 and pi67 and not pi79 )
      or ( not pi05 and pi36 and pi43 and pi46 and pi53 and pi60 and pi67 and not pi79 )
      or ( pi12 and not pi22 and pi36 and pi43 and pi60 and pi67 and pi70 and not pi79 )
      or ( pi19 and not pi22 and pi36 and pi43 and pi60 and pi67 and pi70 and not pi79 )
      or ( not pi05 and pi29 and pi36 and pi43 and pi60 and pi67 and pi70 and not pi79 )
      or ( not pi05 and pi36 and pi43 and pi53 and pi60 and pi67 and pi70 and not pi79 )
      or ( not pi05 and pi12 and pi29 and pi36 and pi43 and pi60 and pi67 and not pi82 )
      or ( not pi05 and pi19 and pi29 and pi36 and pi43 and pi60 and pi67 and not pi82 )
      or ( pi12 and not pi22 and pi36 and pi43 and pi46 and pi60 and pi67 and not pi82 )
      or ( pi19 and not pi22 and pi36 and pi43 and pi46 and pi60 and pi67 and not pi82 )
      or ( not pi05 and pi29 and pi36 and pi43 and pi46 and pi60 and pi67 and not pi82 )
      or ( not pi05 and pi12 and pi36 and pi43 and pi53 and pi60 and pi67 and not pi82 )
      or ( not pi05 and pi19 and pi36 and pi43 and pi53 and pi60 and pi67 and not pi82 )
      or ( not pi05 and pi36 and pi43 and pi46 and pi53 and pi60 and pi67 and not pi82 )
      or ( pi12 and not pi22 and pi36 and pi43 and pi60 and pi67 and pi70 and not pi82 )
      or ( pi19 and not pi22 and pi36 and pi43 and pi60 and pi67 and pi70 and not pi82 )
      or ( not pi05 and pi29 and pi36 and pi43 and pi60 and pi67 and pi70 and not pi82 )
      or ( not pi05 and pi36 and pi43 and pi53 and pi60 and pi67 and pi70 and not pi82 )
      or ( not pi05 and pi12 and pi36 and pi43 and pi60 and pi67 and pi76 and not pi82 )
      or ( not pi05 and pi19 and pi36 and pi43 and pi60 and pi67 and pi76 and not pi82 )
      or ( not pi05 and pi12 and pi36 and pi43 and pi60 and pi67 and pi79 and not pi82 )
      or ( not pi05 and pi19 and pi36 and pi43 and pi60 and pi67 and pi79 and not pi82 );
    po06 <= ( not pi30 and pi37 and not pi44 )
      or ( not pi13 and pi37 and not pi61 )
      or ( pi13 and not pi20 and pi37 and pi44 and not pi54 )
      or ( not pi20 and pi30 and pi37 and pi44 and not pi54 )
      or ( pi13 and not pi20 and pi37 and not pi54 and pi61 )
      or ( not pi20 and pi30 and pi37 and not pi54 and pi61 )
      or ( not pi06 and pi13 and pi30 and pi37 and not pi68 )
      or ( not pi06 and pi30 and pi37 and pi44 and not pi68 )
      or ( not pi06 and pi13 and pi37 and pi61 and not pi68 )
      or ( not pi06 and pi37 and pi44 and pi61 and not pi68 )
      or ( not pi30 and pi37 and pi44 and not pi47 and pi61 and pi68 )
      or ( pi37 and pi44 and not pi47 and not pi54 and pi61 and pi68 )
      or ( not pi30 and pi37 and pi44 and pi61 and pi68 and not pi71 )
      or ( pi37 and pi44 and not pi54 and pi61 and pi68 and not pi71 )
      or ( not pi13 and pi37 and pi44 and pi61 and pi68 and not pi77 )
      or ( not pi20 and pi37 and pi44 and pi61 and pi68 and not pi77 )
      or ( not pi13 and pi37 and pi44 and pi61 and pi68 and not pi80 )
      or ( not pi20 and pi37 and pi44 and pi61 and pi68 and not pi80 )
      or ( not pi06 and pi13 and not pi23 and pi30 and pi37 and pi44 and pi61 and pi68 )
      or ( not pi06 and pi20 and not pi23 and pi30 and pi37 and pi44 and pi61 and pi68 )
      or ( not pi06 and pi13 and not pi23 and pi37 and pi44 and pi47 and pi61 and pi68 )
      or ( not pi06 and pi20 and not pi23 and pi37 and pi44 and pi47 and pi61 and pi68 )
      or ( pi13 and not pi23 and not pi30 and pi37 and pi44 and pi47 and pi61 and pi68 )
      or ( pi20 and not pi23 and not pi30 and pi37 and pi44 and pi47 and pi61 and pi68 )
      or ( not pi06 and pi13 and pi30 and pi37 and pi44 and not pi47 and pi61 and pi68 )
      or ( not pi06 and pi20 and pi30 and pi37 and pi44 and not pi47 and pi61 and pi68 )
      or ( not pi06 and pi13 and not pi23 and pi37 and pi44 and pi54 and pi61 and pi68 )
      or ( not pi06 and pi20 and not pi23 and pi37 and pi44 and pi54 and pi61 and pi68 )
      or ( not pi06 and pi13 and pi37 and pi44 and not pi47 and pi54 and pi61 and pi68 )
      or ( not pi06 and pi20 and pi37 and pi44 and not pi47 and pi54 and pi61 and pi68 )
      or ( pi13 and not pi23 and pi37 and pi44 and pi47 and not pi54 and pi61 and pi68 )
      or ( pi20 and not pi23 and pi37 and pi44 and pi47 and not pi54 and pi61 and pi68 )
      or ( not pi06 and pi13 and not pi23 and pi37 and pi44 and pi61 and pi68 and pi71 )
      or ( not pi06 and pi20 and not pi23 and pi37 and pi44 and pi61 and pi68 and pi71 )
      or ( pi13 and not pi23 and not pi30 and pi37 and pi44 and pi61 and pi68 and pi71 )
      or ( pi20 and not pi23 and not pi30 and pi37 and pi44 and pi61 and pi68 and pi71 )
      or ( pi13 and not pi23 and pi37 and pi44 and not pi54 and pi61 and pi68 and pi71 )
      or ( pi20 and not pi23 and pi37 and pi44 and not pi54 and pi61 and pi68 and pi71 )
      or ( not pi06 and pi13 and pi30 and pi37 and pi44 and pi61 and pi68 and not pi71 )
      or ( not pi06 and pi20 and pi30 and pi37 and pi44 and pi61 and pi68 and not pi71 )
      or ( not pi06 and pi13 and pi37 and pi44 and pi54 and pi61 and pi68 and not pi71 )
      or ( not pi06 and pi20 and pi37 and pi44 and pi54 and pi61 and pi68 and not pi71 )
      or ( not pi06 and pi13 and pi30 and pi37 and pi44 and pi61 and pi68 and not pi74 )
      or ( not pi06 and pi20 and pi30 and pi37 and pi44 and pi61 and pi68 and not pi74 )
      or ( pi13 and not pi23 and pi37 and pi44 and pi47 and pi61 and pi68 and not pi74 )
      or ( pi20 and not pi23 and pi37 and pi44 and pi47 and pi61 and pi68 and not pi74 )
      or ( not pi06 and pi30 and pi37 and pi44 and pi47 and pi61 and pi68 and not pi74 )
      or ( not pi06 and pi13 and pi37 and pi44 and pi54 and pi61 and pi68 and not pi74 )
      or ( not pi06 and pi20 and pi37 and pi44 and pi54 and pi61 and pi68 and not pi74 )
      or ( not pi06 and pi37 and pi44 and pi47 and pi54 and pi61 and pi68 and not pi74 )
      or ( pi13 and not pi23 and pi37 and pi44 and pi61 and pi68 and pi71 and not pi74 )
      or ( pi20 and not pi23 and pi37 and pi44 and pi61 and pi68 and pi71 and not pi74 )
      or ( not pi06 and pi30 and pi37 and pi44 and pi61 and pi68 and pi71 and not pi74 )
      or ( not pi06 and pi37 and pi44 and pi54 and pi61 and pi68 and pi71 and not pi74 )
      or ( not pi06 and pi13 and not pi23 and pi37 and pi44 and pi61 and pi68 and pi77 )
      or ( not pi06 and pi20 and not pi23 and pi37 and pi44 and pi61 and pi68 and pi77 )
      or ( not pi06 and pi13 and pi37 and pi44 and not pi47 and pi61 and pi68 and pi77 )
      or ( not pi06 and pi20 and pi37 and pi44 and not pi47 and pi61 and pi68 and pi77 )
      or ( not pi06 and pi13 and pi37 and pi44 and pi61 and pi68 and not pi71 and pi77 )
      or ( not pi06 and pi20 and pi37 and pi44 and pi61 and pi68 and not pi71 and pi77 )
      or ( not pi06 and pi13 and pi30 and pi37 and pi44 and pi61 and pi68 and not pi77 )
      or ( not pi06 and pi20 and pi30 and pi37 and pi44 and pi61 and pi68 and not pi77 )
      or ( pi13 and not pi23 and pi37 and pi44 and pi47 and pi61 and pi68 and not pi77 )
      or ( pi20 and not pi23 and pi37 and pi44 and pi47 and pi61 and pi68 and not pi77 )
      or ( not pi06 and pi30 and pi37 and pi44 and pi47 and pi61 and pi68 and not pi77 )
      or ( not pi06 and pi13 and pi37 and pi44 and pi54 and pi61 and pi68 and not pi77 )
      or ( not pi06 and pi20 and pi37 and pi44 and pi54 and pi61 and pi68 and not pi77 )
      or ( not pi06 and pi37 and pi44 and pi47 and pi54 and pi61 and pi68 and not pi77 )
      or ( pi13 and not pi23 and pi37 and pi44 and pi61 and pi68 and pi71 and not pi77 )
      or ( pi20 and not pi23 and pi37 and pi44 and pi61 and pi68 and pi71 and not pi77 )
      or ( not pi06 and pi30 and pi37 and pi44 and pi61 and pi68 and pi71 and not pi77 )
      or ( not pi06 and pi37 and pi44 and pi54 and pi61 and pi68 and pi71 and not pi77 )
      or ( not pi06 and pi13 and not pi23 and pi37 and pi44 and pi61 and pi68 and pi80 )
      or ( not pi06 and pi20 and not pi23 and pi37 and pi44 and pi61 and pi68 and pi80 )
      or ( not pi06 and pi13 and pi37 and pi44 and not pi47 and pi61 and pi68 and pi80 )
      or ( not pi06 and pi20 and pi37 and pi44 and not pi47 and pi61 and pi68 and pi80 )
      or ( not pi06 and pi13 and pi37 and pi44 and pi61 and pi68 and not pi71 and pi80 )
      or ( not pi06 and pi20 and pi37 and pi44 and pi61 and pi68 and not pi71 and pi80 )
      or ( not pi06 and pi13 and pi30 and pi37 and pi44 and pi61 and pi68 and not pi80 )
      or ( not pi06 and pi20 and pi30 and pi37 and pi44 and pi61 and pi68 and not pi80 )
      or ( pi13 and not pi23 and pi37 and pi44 and pi47 and pi61 and pi68 and not pi80 )
      or ( pi20 and not pi23 and pi37 and pi44 and pi47 and pi61 and pi68 and not pi80 )
      or ( not pi06 and pi30 and pi37 and pi44 and pi47 and pi61 and pi68 and not pi80 )
      or ( not pi06 and pi13 and pi37 and pi44 and pi54 and pi61 and pi68 and not pi80 )
      or ( not pi06 and pi20 and pi37 and pi44 and pi54 and pi61 and pi68 and not pi80 )
      or ( not pi06 and pi37 and pi44 and pi47 and pi54 and pi61 and pi68 and not pi80 )
      or ( pi13 and not pi23 and pi37 and pi44 and pi61 and pi68 and pi71 and not pi80 )
      or ( pi20 and not pi23 and pi37 and pi44 and pi61 and pi68 and pi71 and not pi80 )
      or ( not pi06 and pi30 and pi37 and pi44 and pi61 and pi68 and pi71 and not pi80 )
      or ( not pi06 and pi37 and pi44 and pi54 and pi61 and pi68 and pi71 and not pi80 )
      or ( not pi06 and pi13 and pi30 and pi37 and pi44 and pi61 and pi68 and not pi83 )
      or ( not pi06 and pi20 and pi30 and pi37 and pi44 and pi61 and pi68 and not pi83 )
      or ( pi13 and not pi23 and pi37 and pi44 and pi47 and pi61 and pi68 and not pi83 )
      or ( pi20 and not pi23 and pi37 and pi44 and pi47 and pi61 and pi68 and not pi83 )
      or ( not pi06 and pi30 and pi37 and pi44 and pi47 and pi61 and pi68 and not pi83 )
      or ( not pi06 and pi13 and pi37 and pi44 and pi54 and pi61 and pi68 and not pi83 )
      or ( not pi06 and pi20 and pi37 and pi44 and pi54 and pi61 and pi68 and not pi83 )
      or ( not pi06 and pi37 and pi44 and pi47 and pi54 and pi61 and pi68 and not pi83 )
      or ( pi13 and not pi23 and pi37 and pi44 and pi61 and pi68 and pi71 and not pi83 )
      or ( pi20 and not pi23 and pi37 and pi44 and pi61 and pi68 and pi71 and not pi83 )
      or ( not pi06 and pi30 and pi37 and pi44 and pi61 and pi68 and pi71 and not pi83 )
      or ( not pi06 and pi37 and pi44 and pi54 and pi61 and pi68 and pi71 and not pi83 )
      or ( not pi06 and pi13 and pi37 and pi44 and pi61 and pi68 and pi77 and not pi83 )
      or ( not pi06 and pi20 and pi37 and pi44 and pi61 and pi68 and pi77 and not pi83 )
      or ( not pi06 and pi13 and pi37 and pi44 and pi61 and pi68 and pi80 and not pi83 )
      or ( not pi06 and pi20 and pi37 and pi44 and pi61 and pi68 and pi80 and not pi83 );
    po07 <= ( pi24 and not pi31 and pi38 )
      or ( pi07 and not pi31 and pi55 )
      or ( not pi07 and pi14 and not pi31 and not pi38 and pi48 )
      or ( pi14 and not pi24 and not pi31 and not pi38 and pi48 )
      or ( not pi07 and pi14 and not pi31 and pi48 and not pi55 )
      or ( pi14 and not pi24 and not pi31 and pi48 and not pi55 )
      or ( pi00 and not pi07 and not pi24 and not pi31 and pi62 )
      or ( pi00 and not pi24 and not pi31 and not pi38 and pi62 )
      or ( pi00 and not pi07 and not pi31 and not pi55 and pi62 )
      or ( pi00 and not pi31 and not pi38 and not pi55 and pi62 )
      or ( pi24 and not pi31 and not pi38 and pi45 and not pi55 and not pi62 )
      or ( not pi31 and not pi38 and pi45 and pi48 and not pi55 and not pi62 )
      or ( pi24 and not pi31 and not pi38 and not pi55 and not pi62 and pi69 )
      or ( not pi31 and not pi38 and pi48 and not pi55 and not pi62 and pi69 )
      or ( pi07 and not pi31 and not pi38 and not pi55 and not pi62 and pi75 )
      or ( pi14 and not pi31 and not pi38 and not pi55 and not pi62 and pi75 )
      or ( pi07 and not pi31 and not pi38 and not pi55 and not pi62 and pi78 )
      or ( pi14 and not pi31 and not pi38 and not pi55 and not pi62 and pi78 )
      or ( pi00 and not pi07 and pi21 and not pi24 and not pi31 and not pi38 and not pi55 and not pi62 )
      or ( pi00 and not pi14 and pi21 and not pi24 and not pi31 and not pi38 and not pi55 and not pi62 )
      or ( pi00 and not pi07 and not pi24 and not pi31 and not pi38 and pi45 and not pi55 and not pi62 )
      or ( pi00 and not pi14 and not pi24 and not pi31 and not pi38 and pi45 and not pi55 and not pi62 )
      or ( pi00 and not pi07 and pi21 and not pi31 and not pi38 and not pi45 and not pi55 and not pi62 )
      or ( pi00 and not pi14 and pi21 and not pi31 and not pi38 and not pi45 and not pi55 and not pi62 )
      or ( not pi07 and pi21 and pi24 and not pi31 and not pi38 and not pi45 and not pi55 and not pi62 )
      or ( not pi14 and pi21 and pi24 and not pi31 and not pi38 and not pi45 and not pi55 and not pi62 )
      or ( not pi07 and pi21 and not pi31 and not pi38 and not pi45 and pi48 and not pi55 and not pi62 )
      or ( not pi14 and pi21 and not pi31 and not pi38 and not pi45 and pi48 and not pi55 and not pi62 )
      or ( pi00 and not pi07 and pi21 and not pi31 and not pi38 and not pi48 and not pi55 and not pi62 )
      or ( pi00 and not pi14 and pi21 and not pi31 and not pi38 and not pi48 and not pi55 and not pi62 )
      or ( pi00 and not pi07 and not pi31 and not pi38 and pi45 and not pi48 and not pi55 and not pi62 )
      or ( pi00 and not pi14 and not pi31 and not pi38 and pi45 and not pi48 and not pi55 and not pi62 )
      or ( pi00 and not pi07 and not pi24 and not pi31 and not pi38 and not pi55 and not pi62 and pi69 )
      or ( pi00 and not pi14 and not pi24 and not pi31 and not pi38 and not pi55 and not pi62 and pi69 )
      or ( pi00 and not pi07 and not pi31 and not pi38 and not pi48 and not pi55 and not pi62 and pi69 )
      or ( pi00 and not pi14 and not pi31 and not pi38 and not pi48 and not pi55 and not pi62 and pi69 )
      or ( pi00 and not pi07 and pi21 and not pi31 and not pi38 and not pi55 and not pi62 and not pi69 )
      or ( pi00 and not pi14 and pi21 and not pi31 and not pi38 and not pi55 and not pi62 and not pi69 )
      or ( not pi07 and pi21 and pi24 and not pi31 and not pi38 and not pi55 and not pi62 and not pi69 )
      or ( not pi14 and pi21 and pi24 and not pi31 and not pi38 and not pi55 and not pi62 and not pi69 )
      or ( not pi07 and pi21 and not pi31 and not pi38 and pi48 and not pi55 and not pi62 and not pi69 )
      or ( not pi14 and pi21 and not pi31 and not pi38 and pi48 and not pi55 and not pi62 and not pi69 )
      or ( pi00 and not pi07 and not pi24 and not pi31 and not pi38 and not pi55 and not pi62 and pi72 )
      or ( pi00 and not pi14 and not pi24 and not pi31 and not pi38 and not pi55 and not pi62 and pi72 )
      or ( not pi07 and pi21 and not pi31 and not pi38 and not pi45 and not pi55 and not pi62 and pi72 )
      or ( not pi14 and pi21 and not pi31 and not pi38 and not pi45 and not pi55 and not pi62 and pi72 )
      or ( pi00 and not pi24 and not pi31 and not pi38 and not pi45 and not pi55 and not pi62 and pi72 )
      or ( pi00 and not pi07 and not pi31 and not pi38 and not pi48 and not pi55 and not pi62 and pi72 )
      or ( pi00 and not pi14 and not pi31 and not pi38 and not pi48 and not pi55 and not pi62 and pi72 )
      or ( pi00 and not pi31 and not pi38 and not pi45 and not pi48 and not pi55 and not pi62 and pi72 )
      or ( not pi07 and pi21 and not pi31 and not pi38 and not pi55 and not pi62 and not pi69 and pi72 )
      or ( not pi14 and pi21 and not pi31 and not pi38 and not pi55 and not pi62 and not pi69 and pi72 )
      or ( pi00 and not pi24 and not pi31 and not pi38 and not pi55 and not pi62 and not pi69 and pi72 )
      or ( pi00 and not pi31 and not pi38 and not pi48 and not pi55 and not pi62 and not pi69 and pi72 )
      or ( pi00 and not pi07 and not pi24 and not pi31 and not pi38 and not pi55 and not pi62 and pi75 )
      or ( pi00 and not pi14 and not pi24 and not pi31 and not pi38 and not pi55 and not pi62 and pi75 )
      or ( not pi07 and pi21 and not pi31 and not pi38 and not pi45 and not pi55 and not pi62 and pi75 )
      or ( not pi14 and pi21 and not pi31 and not pi38 and not pi45 and not pi55 and not pi62 and pi75 )
      or ( pi00 and not pi24 and not pi31 and not pi38 and not pi45 and not pi55 and not pi62 and pi75 )
      or ( pi00 and not pi07 and not pi31 and not pi38 and not pi48 and not pi55 and not pi62 and pi75 )
      or ( pi00 and not pi14 and not pi31 and not pi38 and not pi48 and not pi55 and not pi62 and pi75 )
      or ( pi00 and not pi31 and not pi38 and not pi45 and not pi48 and not pi55 and not pi62 and pi75 )
      or ( not pi07 and pi21 and not pi31 and not pi38 and not pi55 and not pi62 and not pi69 and pi75 )
      or ( not pi14 and pi21 and not pi31 and not pi38 and not pi55 and not pi62 and not pi69 and pi75 )
      or ( pi00 and not pi24 and not pi31 and not pi38 and not pi55 and not pi62 and not pi69 and pi75 )
      or ( pi00 and not pi31 and not pi38 and not pi48 and not pi55 and not pi62 and not pi69 and pi75 )
      or ( pi00 and not pi07 and pi21 and not pi31 and not pi38 and not pi55 and not pi62 and not pi75 )
      or ( pi00 and not pi14 and pi21 and not pi31 and not pi38 and not pi55 and not pi62 and not pi75 )
      or ( pi00 and not pi07 and not pi31 and not pi38 and pi45 and not pi55 and not pi62 and not pi75 )
      or ( pi00 and not pi14 and not pi31 and not pi38 and pi45 and not pi55 and not pi62 and not pi75 )
      or ( pi00 and not pi07 and not pi31 and not pi38 and not pi55 and not pi62 and pi69 and not pi75 )
      or ( pi00 and not pi14 and not pi31 and not pi38 and not pi55 and not pi62 and pi69 and not pi75 )
      or ( pi00 and not pi07 and not pi24 and not pi31 and not pi38 and not pi55 and not pi62 and pi78 )
      or ( pi00 and not pi14 and not pi24 and not pi31 and not pi38 and not pi55 and not pi62 and pi78 )
      or ( not pi07 and pi21 and not pi31 and not pi38 and not pi45 and not pi55 and not pi62 and pi78 )
      or ( not pi14 and pi21 and not pi31 and not pi38 and not pi45 and not pi55 and not pi62 and pi78 )
      or ( pi00 and not pi24 and not pi31 and not pi38 and not pi45 and not pi55 and not pi62 and pi78 )
      or ( pi00 and not pi07 and not pi31 and not pi38 and not pi48 and not pi55 and not pi62 and pi78 )
      or ( pi00 and not pi14 and not pi31 and not pi38 and not pi48 and not pi55 and not pi62 and pi78 )
      or ( pi00 and not pi31 and not pi38 and not pi45 and not pi48 and not pi55 and not pi62 and pi78 )
      or ( not pi07 and pi21 and not pi31 and not pi38 and not pi55 and not pi62 and not pi69 and pi78 )
      or ( not pi14 and pi21 and not pi31 and not pi38 and not pi55 and not pi62 and not pi69 and pi78 )
      or ( pi00 and not pi24 and not pi31 and not pi38 and not pi55 and not pi62 and not pi69 and pi78 )
      or ( pi00 and not pi31 and not pi38 and not pi48 and not pi55 and not pi62 and not pi69 and pi78 )
      or ( pi00 and not pi07 and pi21 and not pi31 and not pi38 and not pi55 and not pi62 and not pi78 )
      or ( pi00 and not pi14 and pi21 and not pi31 and not pi38 and not pi55 and not pi62 and not pi78 )
      or ( pi00 and not pi07 and not pi31 and not pi38 and pi45 and not pi55 and not pi62 and not pi78 )
      or ( pi00 and not pi14 and not pi31 and not pi38 and pi45 and not pi55 and not pi62 and not pi78 )
      or ( pi00 and not pi07 and not pi31 and not pi38 and not pi55 and not pi62 and pi69 and not pi78 )
      or ( pi00 and not pi14 and not pi31 and not pi38 and not pi55 and not pi62 and pi69 and not pi78 )
      or ( pi00 and not pi07 and not pi24 and not pi31 and not pi38 and not pi55 and not pi62 and pi81 )
      or ( pi00 and not pi14 and not pi24 and not pi31 and not pi38 and not pi55 and not pi62 and pi81 )
      or ( not pi07 and pi21 and not pi31 and not pi38 and not pi45 and not pi55 and not pi62 and pi81 )
      or ( not pi14 and pi21 and not pi31 and not pi38 and not pi45 and not pi55 and not pi62 and pi81 )
      or ( pi00 and not pi24 and not pi31 and not pi38 and not pi45 and not pi55 and not pi62 and pi81 )
      or ( pi00 and not pi07 and not pi31 and not pi38 and not pi48 and not pi55 and not pi62 and pi81 )
      or ( pi00 and not pi14 and not pi31 and not pi38 and not pi48 and not pi55 and not pi62 and pi81 )
      or ( pi00 and not pi31 and not pi38 and not pi45 and not pi48 and not pi55 and not pi62 and pi81 )
      or ( not pi07 and pi21 and not pi31 and not pi38 and not pi55 and not pi62 and not pi69 and pi81 )
      or ( not pi14 and pi21 and not pi31 and not pi38 and not pi55 and not pi62 and not pi69 and pi81 )
      or ( pi00 and not pi24 and not pi31 and not pi38 and not pi55 and not pi62 and not pi69 and pi81 )
      or ( pi00 and not pi31 and not pi38 and not pi48 and not pi55 and not pi62 and not pi69 and pi81 )
      or ( pi00 and not pi07 and not pi31 and not pi38 and not pi55 and not pi62 and not pi75 and pi81 )
      or ( pi00 and not pi14 and not pi31 and not pi38 and not pi55 and not pi62 and not pi75 and pi81 )
      or ( pi00 and not pi07 and not pi31 and not pi38 and not pi55 and not pi62 and not pi78 and pi81 )
      or ( pi00 and not pi14 and not pi31 and not pi38 and not pi55 and not pi62 and not pi78 and pi81 );
    po08 <= ( pi25 and not pi32 and pi39 )
      or ( pi08 and not pi32 and pi56 )
      or ( not pi08 and pi15 and not pi32 and not pi39 and pi49 )
      or ( pi15 and not pi25 and not pi32 and not pi39 and pi49 )
      or ( not pi08 and pi15 and not pi32 and pi49 and not pi56 )
      or ( pi15 and not pi25 and not pi32 and pi49 and not pi56 )
      or ( pi01 and not pi08 and not pi25 and not pi32 and pi63 )
      or ( pi01 and not pi25 and not pi32 and not pi39 and pi63 )
      or ( pi01 and not pi08 and not pi32 and not pi56 and pi63 )
      or ( pi01 and not pi32 and not pi39 and not pi56 and pi63 );
    po09 <= ( pi26 and not pi33 and pi40 )
      or ( pi09 and not pi33 and pi57 )
      or ( not pi09 and pi16 and not pi33 and not pi40 and pi50 )
      or ( pi16 and not pi26 and not pi33 and not pi40 and pi50 )
      or ( not pi09 and pi16 and not pi33 and pi50 and not pi57 )
      or ( pi16 and not pi26 and not pi33 and pi50 and not pi57 )
      or ( pi02 and not pi09 and not pi26 and not pi33 and pi64 )
      or ( pi02 and not pi26 and not pi33 and not pi40 and pi64 )
      or ( pi02 and not pi09 and not pi33 and not pi57 and pi64 )
      or ( pi02 and not pi33 and not pi40 and not pi57 and pi64 );
    po10 <= ( pi27 and not pi34 and pi41 )
      or ( pi10 and not pi34 and pi58 )
      or ( not pi10 and pi17 and not pi34 and not pi41 and pi51 )
      or ( pi17 and not pi27 and not pi34 and not pi41 and pi51 )
      or ( not pi10 and pi17 and not pi34 and pi51 and not pi58 )
      or ( pi17 and not pi27 and not pi34 and pi51 and not pi58 )
      or ( pi03 and not pi10 and not pi27 and not pi34 and pi65 )
      or ( pi03 and not pi27 and not pi34 and not pi41 and pi65 )
      or ( pi03 and not pi10 and not pi34 and not pi58 and pi65 )
      or ( pi03 and not pi34 and not pi41 and not pi58 and pi65 );
    po11 <= ( pi28 and not pi35 and pi42 )
      or ( pi11 and not pi35 and pi59 )
      or ( not pi11 and pi18 and not pi35 and not pi42 and pi52 )
      or ( pi18 and not pi28 and not pi35 and not pi42 and pi52 )
      or ( not pi11 and pi18 and not pi35 and pi52 and not pi59 )
      or ( pi18 and not pi28 and not pi35 and pi52 and not pi59 )
      or ( pi04 and not pi11 and not pi28 and not pi35 and pi66 )
      or ( pi04 and not pi28 and not pi35 and not pi42 and pi66 )
      or ( pi04 and not pi11 and not pi35 and not pi59 and pi66 )
      or ( pi04 and not pi35 and not pi42 and not pi59 and pi66 );
    po12 <= ( pi29 and not pi36 and pi43 )
      or ( pi12 and not pi36 and pi60 )
      or ( not pi12 and pi19 and not pi36 and not pi43 and pi53 )
      or ( pi19 and not pi29 and not pi36 and not pi43 and pi53 )
      or ( not pi12 and pi19 and not pi36 and pi53 and not pi60 )
      or ( pi19 and not pi29 and not pi36 and pi53 and not pi60 )
      or ( pi05 and not pi12 and not pi29 and not pi36 and pi67 )
      or ( pi05 and not pi29 and not pi36 and not pi43 and pi67 )
      or ( pi05 and not pi12 and not pi36 and not pi60 and pi67 )
      or ( pi05 and not pi36 and not pi43 and not pi60 and pi67 )
      or ( pi29 and not pi36 and not pi43 and pi46 and not pi60 and not pi67 )
      or ( not pi36 and not pi43 and pi46 and pi53 and not pi60 and not pi67 )
      or ( pi29 and not pi36 and not pi43 and not pi60 and not pi67 and pi70 )
      or ( not pi36 and not pi43 and pi53 and not pi60 and not pi67 and pi70 )
      or ( pi12 and not pi36 and not pi43 and not pi60 and not pi67 and pi76 )
      or ( pi19 and not pi36 and not pi43 and not pi60 and not pi67 and pi76 )
      or ( pi12 and not pi36 and not pi43 and not pi60 and not pi67 and pi79 )
      or ( pi19 and not pi36 and not pi43 and not pi60 and not pi67 and pi79 )
      or ( pi05 and not pi12 and pi22 and not pi29 and not pi36 and not pi43 and not pi60 and not pi67 )
      or ( pi05 and not pi19 and pi22 and not pi29 and not pi36 and not pi43 and not pi60 and not pi67 )
      or ( pi05 and not pi12 and not pi29 and not pi36 and not pi43 and pi46 and not pi60 and not pi67 )
      or ( pi05 and not pi19 and not pi29 and not pi36 and not pi43 and pi46 and not pi60 and not pi67 )
      or ( pi05 and not pi12 and pi22 and not pi36 and not pi43 and not pi46 and not pi60 and not pi67 )
      or ( pi05 and not pi19 and pi22 and not pi36 and not pi43 and not pi46 and not pi60 and not pi67 )
      or ( not pi12 and pi22 and pi29 and not pi36 and not pi43 and not pi46 and not pi60 and not pi67 )
      or ( not pi19 and pi22 and pi29 and not pi36 and not pi43 and not pi46 and not pi60 and not pi67 )
      or ( not pi12 and pi22 and not pi36 and not pi43 and not pi46 and pi53 and not pi60 and not pi67 )
      or ( not pi19 and pi22 and not pi36 and not pi43 and not pi46 and pi53 and not pi60 and not pi67 )
      or ( pi05 and not pi12 and pi22 and not pi36 and not pi43 and not pi53 and not pi60 and not pi67 )
      or ( pi05 and not pi19 and pi22 and not pi36 and not pi43 and not pi53 and not pi60 and not pi67 )
      or ( pi05 and not pi12 and not pi36 and not pi43 and pi46 and not pi53 and not pi60 and not pi67 )
      or ( pi05 and not pi19 and not pi36 and not pi43 and pi46 and not pi53 and not pi60 and not pi67 )
      or ( pi05 and not pi12 and not pi29 and not pi36 and not pi43 and not pi60 and not pi67 and pi70 )
      or ( pi05 and not pi19 and not pi29 and not pi36 and not pi43 and not pi60 and not pi67 and pi70 )
      or ( pi05 and not pi12 and not pi36 and not pi43 and not pi53 and not pi60 and not pi67 and pi70 )
      or ( pi05 and not pi19 and not pi36 and not pi43 and not pi53 and not pi60 and not pi67 and pi70 )
      or ( pi05 and not pi12 and pi22 and not pi36 and not pi43 and not pi60 and not pi67 and not pi70 )
      or ( pi05 and not pi19 and pi22 and not pi36 and not pi43 and not pi60 and not pi67 and not pi70 )
      or ( not pi12 and pi22 and pi29 and not pi36 and not pi43 and not pi60 and not pi67 and not pi70 )
      or ( not pi19 and pi22 and pi29 and not pi36 and not pi43 and not pi60 and not pi67 and not pi70 )
      or ( not pi12 and pi22 and not pi36 and not pi43 and pi53 and not pi60 and not pi67 and not pi70 )
      or ( not pi19 and pi22 and not pi36 and not pi43 and pi53 and not pi60 and not pi67 and not pi70 )
      or ( pi05 and not pi12 and not pi29 and not pi36 and not pi43 and not pi60 and not pi67 and pi73 )
      or ( pi05 and not pi19 and not pi29 and not pi36 and not pi43 and not pi60 and not pi67 and pi73 )
      or ( not pi12 and pi22 and not pi36 and not pi43 and not pi46 and not pi60 and not pi67 and pi73 )
      or ( not pi19 and pi22 and not pi36 and not pi43 and not pi46 and not pi60 and not pi67 and pi73 )
      or ( pi05 and not pi29 and not pi36 and not pi43 and not pi46 and not pi60 and not pi67 and pi73 )
      or ( pi05 and not pi12 and not pi36 and not pi43 and not pi53 and not pi60 and not pi67 and pi73 )
      or ( pi05 and not pi19 and not pi36 and not pi43 and not pi53 and not pi60 and not pi67 and pi73 )
      or ( pi05 and not pi36 and not pi43 and not pi46 and not pi53 and not pi60 and not pi67 and pi73 )
      or ( not pi12 and pi22 and not pi36 and not pi43 and not pi60 and not pi67 and not pi70 and pi73 )
      or ( not pi19 and pi22 and not pi36 and not pi43 and not pi60 and not pi67 and not pi70 and pi73 )
      or ( pi05 and not pi29 and not pi36 and not pi43 and not pi60 and not pi67 and not pi70 and pi73 )
      or ( pi05 and not pi36 and not pi43 and not pi53 and not pi60 and not pi67 and not pi70 and pi73 )
      or ( pi05 and not pi12 and not pi29 and not pi36 and not pi43 and not pi60 and not pi67 and pi76 )
      or ( pi05 and not pi19 and not pi29 and not pi36 and not pi43 and not pi60 and not pi67 and pi76 )
      or ( not pi12 and pi22 and not pi36 and not pi43 and not pi46 and not pi60 and not pi67 and pi76 )
      or ( not pi19 and pi22 and not pi36 and not pi43 and not pi46 and not pi60 and not pi67 and pi76 )
      or ( pi05 and not pi29 and not pi36 and not pi43 and not pi46 and not pi60 and not pi67 and pi76 )
      or ( pi05 and not pi12 and not pi36 and not pi43 and not pi53 and not pi60 and not pi67 and pi76 )
      or ( pi05 and not pi19 and not pi36 and not pi43 and not pi53 and not pi60 and not pi67 and pi76 )
      or ( pi05 and not pi36 and not pi43 and not pi46 and not pi53 and not pi60 and not pi67 and pi76 )
      or ( not pi12 and pi22 and not pi36 and not pi43 and not pi60 and not pi67 and not pi70 and pi76 )
      or ( not pi19 and pi22 and not pi36 and not pi43 and not pi60 and not pi67 and not pi70 and pi76 )
      or ( pi05 and not pi29 and not pi36 and not pi43 and not pi60 and not pi67 and not pi70 and pi76 )
      or ( pi05 and not pi36 and not pi43 and not pi53 and not pi60 and not pi67 and not pi70 and pi76 )
      or ( pi05 and not pi12 and pi22 and not pi36 and not pi43 and not pi60 and not pi67 and not pi76 )
      or ( pi05 and not pi19 and pi22 and not pi36 and not pi43 and not pi60 and not pi67 and not pi76 )
      or ( pi05 and not pi12 and not pi36 and not pi43 and pi46 and not pi60 and not pi67 and not pi76 )
      or ( pi05 and not pi19 and not pi36 and not pi43 and pi46 and not pi60 and not pi67 and not pi76 )
      or ( pi05 and not pi12 and not pi36 and not pi43 and not pi60 and not pi67 and pi70 and not pi76 )
      or ( pi05 and not pi19 and not pi36 and not pi43 and not pi60 and not pi67 and pi70 and not pi76 )
      or ( pi05 and not pi12 and not pi29 and not pi36 and not pi43 and not pi60 and not pi67 and pi79 )
      or ( pi05 and not pi19 and not pi29 and not pi36 and not pi43 and not pi60 and not pi67 and pi79 )
      or ( not pi12 and pi22 and not pi36 and not pi43 and not pi46 and not pi60 and not pi67 and pi79 )
      or ( not pi19 and pi22 and not pi36 and not pi43 and not pi46 and not pi60 and not pi67 and pi79 )
      or ( pi05 and not pi29 and not pi36 and not pi43 and not pi46 and not pi60 and not pi67 and pi79 )
      or ( pi05 and not pi12 and not pi36 and not pi43 and not pi53 and not pi60 and not pi67 and pi79 )
      or ( pi05 and not pi19 and not pi36 and not pi43 and not pi53 and not pi60 and not pi67 and pi79 )
      or ( pi05 and not pi36 and not pi43 and not pi46 and not pi53 and not pi60 and not pi67 and pi79 )
      or ( not pi12 and pi22 and not pi36 and not pi43 and not pi60 and not pi67 and not pi70 and pi79 )
      or ( not pi19 and pi22 and not pi36 and not pi43 and not pi60 and not pi67 and not pi70 and pi79 )
      or ( pi05 and not pi29 and not pi36 and not pi43 and not pi60 and not pi67 and not pi70 and pi79 )
      or ( pi05 and not pi36 and not pi43 and not pi53 and not pi60 and not pi67 and not pi70 and pi79 )
      or ( pi05 and not pi12 and pi22 and not pi36 and not pi43 and not pi60 and not pi67 and not pi79 )
      or ( pi05 and not pi19 and pi22 and not pi36 and not pi43 and not pi60 and not pi67 and not pi79 )
      or ( pi05 and not pi12 and not pi36 and not pi43 and pi46 and not pi60 and not pi67 and not pi79 )
      or ( pi05 and not pi19 and not pi36 and not pi43 and pi46 and not pi60 and not pi67 and not pi79 )
      or ( pi05 and not pi12 and not pi36 and not pi43 and not pi60 and not pi67 and pi70 and not pi79 )
      or ( pi05 and not pi19 and not pi36 and not pi43 and not pi60 and not pi67 and pi70 and not pi79 )
      or ( pi05 and not pi12 and not pi29 and not pi36 and not pi43 and not pi60 and not pi67 and pi82 )
      or ( pi05 and not pi19 and not pi29 and not pi36 and not pi43 and not pi60 and not pi67 and pi82 )
      or ( not pi12 and pi22 and not pi36 and not pi43 and not pi46 and not pi60 and not pi67 and pi82 )
      or ( not pi19 and pi22 and not pi36 and not pi43 and not pi46 and not pi60 and not pi67 and pi82 )
      or ( pi05 and not pi29 and not pi36 and not pi43 and not pi46 and not pi60 and not pi67 and pi82 )
      or ( pi05 and not pi12 and not pi36 and not pi43 and not pi53 and not pi60 and not pi67 and pi82 )
      or ( pi05 and not pi19 and not pi36 and not pi43 and not pi53 and not pi60 and not pi67 and pi82 )
      or ( pi05 and not pi36 and not pi43 and not pi46 and not pi53 and not pi60 and not pi67 and pi82 )
      or ( not pi12 and pi22 and not pi36 and not pi43 and not pi60 and not pi67 and not pi70 and pi82 )
      or ( not pi19 and pi22 and not pi36 and not pi43 and not pi60 and not pi67 and not pi70 and pi82 )
      or ( pi05 and not pi29 and not pi36 and not pi43 and not pi60 and not pi67 and not pi70 and pi82 )
      or ( pi05 and not pi36 and not pi43 and not pi53 and not pi60 and not pi67 and not pi70 and pi82 )
      or ( pi05 and not pi12 and not pi36 and not pi43 and not pi60 and not pi67 and not pi76 and pi82 )
      or ( pi05 and not pi19 and not pi36 and not pi43 and not pi60 and not pi67 and not pi76 and pi82 )
      or ( pi05 and not pi12 and not pi36 and not pi43 and not pi60 and not pi67 and not pi79 and pi82 )
      or ( pi05 and not pi19 and not pi36 and not pi43 and not pi60 and not pi67 and not pi79 and pi82 );
    po13 <= ( pi30 and not pi37 and pi44 )
      or ( pi13 and not pi37 and pi61 )
      or ( not pi13 and pi20 and not pi37 and not pi44 and pi54 )
      or ( pi20 and not pi30 and not pi37 and not pi44 and pi54 )
      or ( not pi13 and pi20 and not pi37 and pi54 and not pi61 )
      or ( pi20 and not pi30 and not pi37 and pi54 and not pi61 )
      or ( pi06 and not pi13 and not pi30 and not pi37 and pi68 )
      or ( pi06 and not pi30 and not pi37 and not pi44 and pi68 )
      or ( pi06 and not pi13 and not pi37 and not pi61 and pi68 )
      or ( pi06 and not pi37 and not pi44 and not pi61 and pi68 )
      or ( pi30 and not pi37 and not pi44 and pi47 and not pi61 and not pi68 )
      or ( not pi37 and not pi44 and pi47 and pi54 and not pi61 and not pi68 )
      or ( pi30 and not pi37 and not pi44 and not pi61 and not pi68 and pi71 )
      or ( not pi37 and not pi44 and pi54 and not pi61 and not pi68 and pi71 )
      or ( pi13 and not pi37 and not pi44 and not pi61 and not pi68 and pi77 )
      or ( pi20 and not pi37 and not pi44 and not pi61 and not pi68 and pi77 )
      or ( pi13 and not pi37 and not pi44 and not pi61 and not pi68 and pi80 )
      or ( pi20 and not pi37 and not pi44 and not pi61 and not pi68 and pi80 )
      or ( pi06 and not pi13 and pi23 and not pi30 and not pi37 and not pi44 and not pi61 and not pi68 )
      or ( pi06 and not pi20 and pi23 and not pi30 and not pi37 and not pi44 and not pi61 and not pi68 )
      or ( pi06 and not pi13 and not pi30 and not pi37 and not pi44 and pi47 and not pi61 and not pi68 )
      or ( pi06 and not pi20 and not pi30 and not pi37 and not pi44 and pi47 and not pi61 and not pi68 )
      or ( pi06 and not pi13 and pi23 and not pi37 and not pi44 and not pi47 and not pi61 and not pi68 )
      or ( pi06 and not pi20 and pi23 and not pi37 and not pi44 and not pi47 and not pi61 and not pi68 )
      or ( not pi13 and pi23 and pi30 and not pi37 and not pi44 and not pi47 and not pi61 and not pi68 )
      or ( not pi20 and pi23 and pi30 and not pi37 and not pi44 and not pi47 and not pi61 and not pi68 )
      or ( not pi13 and pi23 and not pi37 and not pi44 and not pi47 and pi54 and not pi61 and not pi68 )
      or ( not pi20 and pi23 and not pi37 and not pi44 and not pi47 and pi54 and not pi61 and not pi68 )
      or ( pi06 and not pi13 and pi23 and not pi37 and not pi44 and not pi54 and not pi61 and not pi68 )
      or ( pi06 and not pi20 and pi23 and not pi37 and not pi44 and not pi54 and not pi61 and not pi68 )
      or ( pi06 and not pi13 and not pi37 and not pi44 and pi47 and not pi54 and not pi61 and not pi68 )
      or ( pi06 and not pi20 and not pi37 and not pi44 and pi47 and not pi54 and not pi61 and not pi68 )
      or ( pi06 and not pi13 and not pi30 and not pi37 and not pi44 and not pi61 and not pi68 and pi71 )
      or ( pi06 and not pi20 and not pi30 and not pi37 and not pi44 and not pi61 and not pi68 and pi71 )
      or ( pi06 and not pi13 and not pi37 and not pi44 and not pi54 and not pi61 and not pi68 and pi71 )
      or ( pi06 and not pi20 and not pi37 and not pi44 and not pi54 and not pi61 and not pi68 and pi71 )
      or ( pi06 and not pi13 and pi23 and not pi37 and not pi44 and not pi61 and not pi68 and not pi71 )
      or ( pi06 and not pi20 and pi23 and not pi37 and not pi44 and not pi61 and not pi68 and not pi71 )
      or ( not pi13 and pi23 and pi30 and not pi37 and not pi44 and not pi61 and not pi68 and not pi71 )
      or ( not pi20 and pi23 and pi30 and not pi37 and not pi44 and not pi61 and not pi68 and not pi71 )
      or ( not pi13 and pi23 and not pi37 and not pi44 and pi54 and not pi61 and not pi68 and not pi71 )
      or ( not pi20 and pi23 and not pi37 and not pi44 and pi54 and not pi61 and not pi68 and not pi71 )
      or ( pi06 and not pi13 and not pi30 and not pi37 and not pi44 and not pi61 and not pi68 and pi74 )
      or ( pi06 and not pi20 and not pi30 and not pi37 and not pi44 and not pi61 and not pi68 and pi74 )
      or ( not pi13 and pi23 and not pi37 and not pi44 and not pi47 and not pi61 and not pi68 and pi74 )
      or ( not pi20 and pi23 and not pi37 and not pi44 and not pi47 and not pi61 and not pi68 and pi74 )
      or ( pi06 and not pi30 and not pi37 and not pi44 and not pi47 and not pi61 and not pi68 and pi74 )
      or ( pi06 and not pi13 and not pi37 and not pi44 and not pi54 and not pi61 and not pi68 and pi74 )
      or ( pi06 and not pi20 and not pi37 and not pi44 and not pi54 and not pi61 and not pi68 and pi74 )
      or ( pi06 and not pi37 and not pi44 and not pi47 and not pi54 and not pi61 and not pi68 and pi74 )
      or ( not pi13 and pi23 and not pi37 and not pi44 and not pi61 and not pi68 and not pi71 and pi74 )
      or ( not pi20 and pi23 and not pi37 and not pi44 and not pi61 and not pi68 and not pi71 and pi74 )
      or ( pi06 and not pi30 and not pi37 and not pi44 and not pi61 and not pi68 and not pi71 and pi74 )
      or ( pi06 and not pi37 and not pi44 and not pi54 and not pi61 and not pi68 and not pi71 and pi74 )
      or ( pi06 and not pi13 and not pi30 and not pi37 and not pi44 and not pi61 and not pi68 and pi77 )
      or ( pi06 and not pi20 and not pi30 and not pi37 and not pi44 and not pi61 and not pi68 and pi77 )
      or ( not pi13 and pi23 and not pi37 and not pi44 and not pi47 and not pi61 and not pi68 and pi77 )
      or ( not pi20 and pi23 and not pi37 and not pi44 and not pi47 and not pi61 and not pi68 and pi77 )
      or ( pi06 and not pi30 and not pi37 and not pi44 and not pi47 and not pi61 and not pi68 and pi77 )
      or ( pi06 and not pi13 and not pi37 and not pi44 and not pi54 and not pi61 and not pi68 and pi77 )
      or ( pi06 and not pi20 and not pi37 and not pi44 and not pi54 and not pi61 and not pi68 and pi77 )
      or ( pi06 and not pi37 and not pi44 and not pi47 and not pi54 and not pi61 and not pi68 and pi77 )
      or ( not pi13 and pi23 and not pi37 and not pi44 and not pi61 and not pi68 and not pi71 and pi77 )
      or ( not pi20 and pi23 and not pi37 and not pi44 and not pi61 and not pi68 and not pi71 and pi77 )
      or ( pi06 and not pi30 and not pi37 and not pi44 and not pi61 and not pi68 and not pi71 and pi77 )
      or ( pi06 and not pi37 and not pi44 and not pi54 and not pi61 and not pi68 and not pi71 and pi77 )
      or ( pi06 and not pi13 and pi23 and not pi37 and not pi44 and not pi61 and not pi68 and not pi77 )
      or ( pi06 and not pi20 and pi23 and not pi37 and not pi44 and not pi61 and not pi68 and not pi77 )
      or ( pi06 and not pi13 and not pi37 and not pi44 and pi47 and not pi61 and not pi68 and not pi77 )
      or ( pi06 and not pi20 and not pi37 and not pi44 and pi47 and not pi61 and not pi68 and not pi77 )
      or ( pi06 and not pi13 and not pi37 and not pi44 and not pi61 and not pi68 and pi71 and not pi77 )
      or ( pi06 and not pi20 and not pi37 and not pi44 and not pi61 and not pi68 and pi71 and not pi77 )
      or ( pi06 and not pi13 and not pi30 and not pi37 and not pi44 and not pi61 and not pi68 and pi80 )
      or ( pi06 and not pi20 and not pi30 and not pi37 and not pi44 and not pi61 and not pi68 and pi80 )
      or ( not pi13 and pi23 and not pi37 and not pi44 and not pi47 and not pi61 and not pi68 and pi80 )
      or ( not pi20 and pi23 and not pi37 and not pi44 and not pi47 and not pi61 and not pi68 and pi80 )
      or ( pi06 and not pi30 and not pi37 and not pi44 and not pi47 and not pi61 and not pi68 and pi80 )
      or ( pi06 and not pi13 and not pi37 and not pi44 and not pi54 and not pi61 and not pi68 and pi80 )
      or ( pi06 and not pi20 and not pi37 and not pi44 and not pi54 and not pi61 and not pi68 and pi80 )
      or ( pi06 and not pi37 and not pi44 and not pi47 and not pi54 and not pi61 and not pi68 and pi80 )
      or ( not pi13 and pi23 and not pi37 and not pi44 and not pi61 and not pi68 and not pi71 and pi80 )
      or ( not pi20 and pi23 and not pi37 and not pi44 and not pi61 and not pi68 and not pi71 and pi80 )
      or ( pi06 and not pi30 and not pi37 and not pi44 and not pi61 and not pi68 and not pi71 and pi80 )
      or ( pi06 and not pi37 and not pi44 and not pi54 and not pi61 and not pi68 and not pi71 and pi80 )
      or ( pi06 and not pi13 and pi23 and not pi37 and not pi44 and not pi61 and not pi68 and not pi80 )
      or ( pi06 and not pi20 and pi23 and not pi37 and not pi44 and not pi61 and not pi68 and not pi80 )
      or ( pi06 and not pi13 and not pi37 and not pi44 and pi47 and not pi61 and not pi68 and not pi80 )
      or ( pi06 and not pi20 and not pi37 and not pi44 and pi47 and not pi61 and not pi68 and not pi80 )
      or ( pi06 and not pi13 and not pi37 and not pi44 and not pi61 and not pi68 and pi71 and not pi80 )
      or ( pi06 and not pi20 and not pi37 and not pi44 and not pi61 and not pi68 and pi71 and not pi80 )
      or ( pi06 and not pi13 and not pi30 and not pi37 and not pi44 and not pi61 and not pi68 and pi83 )
      or ( pi06 and not pi20 and not pi30 and not pi37 and not pi44 and not pi61 and not pi68 and pi83 )
      or ( not pi13 and pi23 and not pi37 and not pi44 and not pi47 and not pi61 and not pi68 and pi83 )
      or ( not pi20 and pi23 and not pi37 and not pi44 and not pi47 and not pi61 and not pi68 and pi83 )
      or ( pi06 and not pi30 and not pi37 and not pi44 and not pi47 and not pi61 and not pi68 and pi83 )
      or ( pi06 and not pi13 and not pi37 and not pi44 and not pi54 and not pi61 and not pi68 and pi83 )
      or ( pi06 and not pi20 and not pi37 and not pi44 and not pi54 and not pi61 and not pi68 and pi83 )
      or ( pi06 and not pi37 and not pi44 and not pi47 and not pi54 and not pi61 and not pi68 and pi83 )
      or ( not pi13 and pi23 and not pi37 and not pi44 and not pi61 and not pi68 and not pi71 and pi83 )
      or ( not pi20 and pi23 and not pi37 and not pi44 and not pi61 and not pi68 and not pi71 and pi83 )
      or ( pi06 and not pi30 and not pi37 and not pi44 and not pi61 and not pi68 and not pi71 and pi83 )
      or ( pi06 and not pi37 and not pi44 and not pi54 and not pi61 and not pi68 and not pi71 and pi83 )
      or ( pi06 and not pi13 and not pi37 and not pi44 and not pi61 and not pi68 and not pi77 and pi83 )
      or ( pi06 and not pi20 and not pi37 and not pi44 and not pi61 and not pi68 and not pi77 and pi83 )
      or ( pi06 and not pi13 and not pi37 and not pi44 and not pi61 and not pi68 and not pi80 and pi83 )
      or ( pi06 and not pi20 and not pi37 and not pi44 and not pi61 and not pi68 and not pi80 and pi83 );
end Espresso__ex4_behav;
