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

entity Espresso__x7dn 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: in std_logic;
    po00,po01,po02,po03,po04,po05,po06,po07,po08,po09,po10,po11,po12,po13,po14: inout std_logic
  );
end Espresso__x7dn;

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