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

entity Espresso__exp is 
  Port (
    pi0,pi1,pi2,pi3,pi4,pi5,pi6,pi7: in std_logic;
    po00,po01,po02,po03,po04,po05,po06,po07,po08,po09,po10,po11,po12,po13,po14,po15: inout std_logic
  );
end Espresso__exp;

architecture Espresso__exp_behav of Espresso__exp is
begin
    po00 <= ( not pi0 and pi1 and pi2 and not pi3 and not pi4 and not pi5 and pi6 and pi7 )
      or ( not pi0 and not pi1 and pi2 and not pi3 and not pi4 and not pi5 and pi6 and pi7 )
      or ( not pi0 and pi1 and not pi2 and not pi3 and not pi4 and not pi5 and pi6 and pi7 )
      or ( not pi0 and not pi1 and not pi2 and not pi3 and not pi4 and not pi5 and pi6 and pi7 )
      or ( not pi0 and pi1 and pi2 and not pi3 and not pi4 and pi5 and not pi6 and pi7 )
      or ( not pi0 and pi1 and not pi2 and not pi3 and not pi4 and pi5 and not pi6 and pi7 )
      or ( not pi0 and pi1 and pi2 and not pi3 and not pi4 and not pi5 and not pi6 and pi7 )
      or ( not pi0 and not pi1 and pi2 and not pi3 and not pi4 and not pi5 and not pi6 and pi7 )
      or ( not pi0 and pi1 and not pi2 and not pi3 and not pi4 and not pi5 and not pi6 and pi7 )
      or ( not pi0 and not pi1 and not pi2 and not pi3 and not pi4 and not pi5 and not pi6 and pi7 )
      or ( not pi0 and pi1 and not pi2 and not pi3 and not pi4 and pi5 and pi6 and not pi7 )
      or ( not pi0 and pi1 and pi2 and not pi3 and not pi4 and not pi5 and pi6 and not pi7 )
      or ( not pi0 and not pi1 and pi2 and not pi3 and not pi4 and not pi5 and pi6 and not pi7 )
      or ( not pi0 and pi1 and not pi2 and not pi3 and not pi4 and not pi5 and pi6 and not pi7 )
      or ( not pi0 and not pi1 and not pi2 and not pi3 and not pi4 and not pi5 and pi6 and not pi7 )
      or ( not pi0 and pi1 and pi2 and not pi3 and not pi4 and pi5 and not pi6 and not pi7 )
      or ( not pi0 and not pi1 and pi2 and not pi3 and not pi4 and pi5 and not pi6 and not pi7 )
      or ( not pi0 and pi1 and not pi2 and not pi3 and not pi4 and pi5 and not pi6 and not pi7 );
    po01 <= ( pi0 and not pi1 and pi2 and not pi3 and pi4 and pi5 and pi6 and pi7 )
      or ( pi0 and not pi1 and not pi2 and not pi3 and pi4 and pi5 and pi6 and pi7 )
      or ( pi0 and pi1 and pi2 and not pi3 and not pi4 and pi5 and pi6 and pi7 )
      or ( pi0 and not pi1 and pi2 and not pi3 and not pi4 and pi5 and pi6 and pi7 )
      or ( pi0 and pi1 and not pi2 and not pi3 and not pi4 and pi5 and pi6 and pi7 )
      or ( pi0 and not pi1 and not pi2 and not pi3 and pi4 and not pi5 and pi6 and pi7 )
      or ( pi0 and pi1 and pi2 and not pi3 and not pi4 and not pi5 and pi6 and pi7 )
      or ( not pi0 and pi1 and pi2 and not pi3 and not pi4 and not pi5 and pi6 and pi7 )
      or ( pi0 and not pi1 and pi2 and not pi3 and not pi4 and not pi5 and pi6 and pi7 )
      or ( not pi0 and not pi1 and pi2 and not pi3 and not pi4 and not pi5 and pi6 and pi7 )
      or ( pi0 and pi1 and not pi2 and not pi3 and not pi4 and not pi5 and pi6 and pi7 )
      or ( not pi0 and pi1 and not pi2 and not pi3 and not pi4 and not pi5 and pi6 and pi7 )
      or ( pi0 and not pi1 and not pi2 and not pi3 and not pi4 and not pi5 and pi6 and pi7 )
      or ( not pi0 and not pi1 and not pi2 and not pi3 and not pi4 and not pi5 and pi6 and pi7 )
      or ( pi0 and not pi1 and pi2 and not pi3 and pi4 and pi5 and not pi6 and pi7 )
      or ( not pi0 and pi1 and pi2 and not pi3 and not pi4 and pi5 and not pi6 and pi7 )
      or ( pi0 and not pi1 and pi2 and not pi3 and not pi4 and pi5 and not pi6 and pi7 )
      or ( not pi0 and pi1 and not pi2 and not pi3 and not pi4 and pi5 and not pi6 and pi7 )
      or ( pi0 and not pi1 and not pi2 and not pi3 and not pi4 and pi5 and not pi6 and pi7 )
      or ( pi0 and not pi1 and pi2 and not pi3 and pi4 and not pi5 and not pi6 and pi7 )
      or ( pi0 and not pi1 and not pi2 and not pi3 and pi4 and not pi5 and not pi6 and pi7 )
      or ( pi0 and not pi1 and not pi2 and pi3 and not pi4 and not pi5 and not pi6 and pi7 )
      or ( pi0 and not pi1 and pi2 and not pi3 and pi4 and pi5 and pi6 and not pi7 )
      or ( pi0 and not pi1 and not pi2 and not pi3 and pi4 and pi5 and pi6 and not pi7 )
      or ( pi0 and pi1 and pi2 and not pi3 and not pi4 and pi5 and pi6 and not pi7 )
      or ( pi0 and pi1 and not pi2 and not pi3 and not pi4 and pi5 and pi6 and not pi7 )
      or ( not pi0 and pi1 and not pi2 and not pi3 and not pi4 and pi5 and pi6 and not pi7 )
      or ( pi0 and not pi1 and not pi2 and not pi3 and not pi4 and pi5 and pi6 and not pi7 )
      or ( pi0 and not pi1 and pi2 and not pi3 and pi4 and not pi5 and pi6 and not pi7 )
      or ( pi0 and not pi1 and not pi2 and not pi3 and pi4 and not pi5 and pi6 and not pi7 )
      or ( pi0 and not pi1 and not pi2 and pi3 and not pi4 and not pi5 and pi6 and not pi7 )
      or ( pi0 and pi1 and pi2 and not pi3 and not pi4 and not pi5 and pi6 and not pi7 )
      or ( not pi0 and pi1 and pi2 and not pi3 and not pi4 and not pi5 and pi6 and not pi7 )
      or ( pi0 and not pi1 and pi2 and not pi3 and not pi4 and not pi5 and pi6 and not pi7 )
      or ( not pi0 and not pi1 and pi2 and not pi3 and not pi4 and not pi5 and pi6 and not pi7 )
      or ( pi0 and pi1 and not pi2 and not pi3 and not pi4 and not pi5 and pi6 and not pi7 )
      or ( not pi0 and pi1 and not pi2 and not pi3 and not pi4 and not pi5 and pi6 and not pi7 )
      or ( pi0 and not pi1 and not pi2 and not pi3 and not pi4 and not pi5 and pi6 and not pi7 )
      or ( not pi0 and not pi1 and not pi2 and not pi3 and not pi4 and not pi5 and pi6 and not pi7 )
      or ( pi0 and not pi1 and pi2 and not pi3 and pi4 and pi5 and not pi6 and not pi7 )
      or ( pi0 and not pi1 and not pi2 and not pi3 and pi4 and pi5 and not pi6 and not pi7 )
      or ( pi0 and pi1 and pi2 and not pi3 and not pi4 and pi5 and not pi6 and not pi7 )
      or ( not pi0 and pi1 and pi2 and not pi3 and not pi4 and pi5 and not pi6 and not pi7 )
      or ( pi0 and not pi1 and pi2 and not pi3 and not pi4 and pi5 and not pi6 and not pi7 )
      or ( not pi0 and not pi1 and pi2 and not pi3 and not pi4 and pi5 and not pi6 and not pi7 )
      or ( not pi0 and pi1 and not pi2 and not pi3 and not pi4 and pi5 and not pi6 and not pi7 )
      or ( pi0 and not pi1 and not pi2 and not pi3 and not pi4 and pi5 and not pi6 and not pi7 )
      or ( pi0 and pi1 and pi2 and not pi3 and pi4 and not pi5 and not pi6 and not pi7 )
      or ( pi0 and not pi1 and pi2 and not pi3 and pi4 and not pi5 and not pi6 and not pi7 )
      or ( pi0 and not pi1 and not pi2 and not pi3 and pi4 and not pi5 and not pi6 and not pi7 )
      or ( pi0 and not pi1 and not pi2 and pi3 and not pi4 and not pi5 and not pi6 and not pi7 );
    po02 <= ( pi0 and not pi1 and pi2 and not pi3 and pi4 and pi5 and pi6 and pi7 )
      or ( pi0 and pi1 and not pi2 and not pi3 and not pi4 and pi5 and pi6 and pi7 )
      or ( pi0 and not pi1 and pi2 and not pi3 and pi4 and not pi5 and pi6 and pi7 )
      or ( pi0 and not pi1 and pi2 and not pi3 and pi4 and pi5 and not pi6 and pi7 )
      or ( pi0 and pi1 and not pi2 and not pi3 and not pi4 and pi5 and not pi6 and pi7 )
      or ( pi0 and not pi1 and pi2 and not pi3 and pi4 and pi5 and pi6 and not pi7 )
      or ( pi0 and pi1 and not pi2 and not pi3 and not pi4 and pi5 and pi6 and not pi7 )
      or ( pi0 and not pi1 and pi2 and not pi3 and pi4 and pi5 and not pi6 and not pi7 );
    po03 <= ( pi0 and not pi1 and not pi2 and not pi3 and not pi4 and pi5 and pi6 and pi7 )
      or ( pi0 and not pi1 and pi2 and not pi3 and pi4 and not pi5 and pi6 and pi7 )
      or ( pi0 and not pi1 and not pi2 and not pi3 and pi4 and pi5 and not pi6 and pi7 )
      or ( pi0 and pi1 and pi2 and not pi3 and not pi4 and pi5 and not pi6 and pi7 )
      or ( pi0 and pi1 and not pi2 and not pi3 and not pi4 and pi5 and not pi6 and pi7 )
      or ( pi0 and pi1 and pi2 and not pi3 and not pi4 and not pi5 and not pi6 and pi7 )
      or ( not pi0 and pi1 and pi2 and not pi3 and not pi4 and not pi5 and not pi6 and pi7 )
      or ( pi0 and not pi1 and pi2 and not pi3 and not pi4 and not pi5 and not pi6 and pi7 )
      or ( not pi0 and not pi1 and pi2 and not pi3 and not pi4 and not pi5 and not pi6 and pi7 )
      or ( pi0 and pi1 and not pi2 and not pi3 and not pi4 and not pi5 and not pi6 and pi7 )
      or ( not pi0 and pi1 and not pi2 and not pi3 and not pi4 and not pi5 and not pi6 and pi7 )
      or ( pi0 and not pi1 and not pi2 and not pi3 and not pi4 and not pi5 and not pi6 and pi7 )
      or ( not pi0 and not pi1 and not pi2 and not pi3 and not pi4 and not pi5 and not pi6 and pi7 )
      or ( pi0 and not pi1 and pi2 and not pi3 and not pi4 and pi5 and pi6 and not pi7 );
    po04 <= ( pi0 and pi1 and pi2 and not pi3 and not pi4 and not pi5 and pi6 and pi7 )
      or ( not pi0 and pi1 and pi2 and not pi3 and not pi4 and not pi5 and pi6 and pi7 )
      or ( pi0 and not pi1 and pi2 and not pi3 and not pi4 and not pi5 and pi6 and pi7 )
      or ( not pi0 and not pi1 and pi2 and not pi3 and not pi4 and not pi5 and pi6 and pi7 )
      or ( pi0 and pi1 and not pi2 and not pi3 and not pi4 and not pi5 and pi6 and pi7 )
      or ( not pi0 and pi1 and not pi2 and not pi3 and not pi4 and not pi5 and pi6 and pi7 )
      or ( pi0 and not pi1 and not pi2 and not pi3 and not pi4 and not pi5 and pi6 and pi7 )
      or ( not pi0 and not pi1 and not pi2 and not pi3 and not pi4 and not pi5 and pi6 and pi7 )
      or ( not pi0 and pi1 and pi2 and not pi3 and not pi4 and pi5 and not pi6 and pi7 )
      or ( pi0 and not pi1 and pi2 and not pi3 and not pi4 and pi5 and not pi6 and pi7 )
      or ( not pi0 and pi1 and not pi2 and not pi3 and not pi4 and pi5 and not pi6 and pi7 )
      or ( pi0 and not pi1 and not pi2 and not pi3 and not pi4 and pi5 and not pi6 and pi7 )
      or ( pi0 and pi1 and pi2 and not pi3 and not pi4 and not pi5 and not pi6 and pi7 )
      or ( not pi0 and pi1 and pi2 and not pi3 and not pi4 and not pi5 and not pi6 and pi7 )
      or ( pi0 and not pi1 and pi2 and not pi3 and not pi4 and not pi5 and not pi6 and pi7 )
      or ( not pi0 and not pi1 and pi2 and not pi3 and not pi4 and not pi5 and not pi6 and pi7 )
      or ( pi0 and pi1 and not pi2 and not pi3 and not pi4 and not pi5 and not pi6 and pi7 )
      or ( not pi0 and pi1 and not pi2 and not pi3 and not pi4 and not pi5 and not pi6 and pi7 )
      or ( pi0 and not pi1 and not pi2 and not pi3 and not pi4 and not pi5 and not pi6 and pi7 )
      or ( not pi0 and not pi1 and not pi2 and not pi3 and not pi4 and not pi5 and not pi6 and pi7 )
      or ( not pi0 and pi1 and not pi2 and not pi3 and not pi4 and pi5 and pi6 and not pi7 )
      or ( pi0 and not pi1 and not pi2 and not pi3 and not pi4 and pi5 and pi6 and not pi7 )
      or ( pi0 and pi1 and pi2 and not pi3 and not pi4 and not pi5 and pi6 and not pi7 )
      or ( not pi0 and pi1 and pi2 and not pi3 and not pi4 and not pi5 and pi6 and not pi7 )
      or ( pi0 and not pi1 and pi2 and not pi3 and not pi4 and not pi5 and pi6 and not pi7 )
      or ( not pi0 and not pi1 and pi2 and not pi3 and not pi4 and not pi5 and pi6 and not pi7 )
      or ( pi0 and pi1 and not pi2 and not pi3 and not pi4 and not pi5 and pi6 and not pi7 )
      or ( not pi0 and pi1 and not pi2 and not pi3 and not pi4 and not pi5 and pi6 and not pi7 )
      or ( pi0 and not pi1 and not pi2 and not pi3 and not pi4 and not pi5 and pi6 and not pi7 )
      or ( not pi0 and not pi1 and not pi2 and not pi3 and not pi4 and not pi5 and pi6 and not pi7 )
      or ( pi0 and pi1 and pi2 and not pi3 and not pi4 and pi5 and not pi6 and not pi7 )
      or ( not pi0 and pi1 and pi2 and not pi3 and not pi4 and pi5 and not pi6 and not pi7 )
      or ( pi0 and not pi1 and pi2 and not pi3 and not pi4 and pi5 and not pi6 and not pi7 )
      or ( not pi0 and not pi1 and pi2 and not pi3 and not pi4 and pi5 and not pi6 and not pi7 )
      or ( not pi0 and pi1 and not pi2 and not pi3 and not pi4 and pi5 and not pi6 and not pi7 )
      or ( pi0 and not pi1 and not pi2 and not pi3 and not pi4 and pi5 and not pi6 and not pi7 );
    po05 <= ( pi0 and not pi1 and pi2 and not pi3 and pi4 and pi5 and pi6 and pi7 )
      or ( pi0 and pi1 and not pi2 and not pi3 and not pi4 and pi5 and pi6 and pi7 )
      or ( pi0 and pi1 and not pi2 and not pi3 and not pi4 and not pi5 and pi6 and pi7 )
      or ( not pi0 and not pi1 and not pi2 and not pi3 and not pi4 and not pi5 and pi6 and pi7 )
      or ( not pi0 and pi1 and pi2 and not pi3 and not pi4 and pi5 and not pi6 and pi7 )
      or ( pi0 and not pi1 and pi2 and not pi3 and not pi4 and pi5 and not pi6 and pi7 )
      or ( not pi0 and pi1 and not pi2 and not pi3 and not pi4 and pi5 and pi6 and not pi7 )
      or ( pi0 and not pi1 and not pi2 and not pi3 and not pi4 and pi5 and pi6 and not pi7 )
      or ( pi0 and not pi1 and pi2 and not pi3 and pi4 and not pi5 and pi6 and not pi7 )
      or ( pi0 and not pi1 and not pi2 and pi3 and not pi4 and not pi5 and pi6 and not pi7 )
      or ( pi0 and not pi1 and not pi2 and not pi3 and pi4 and pi5 and not pi6 and not pi7 )
      or ( pi0 and pi1 and pi2 and not pi3 and not pi4 and pi5 and not pi6 and not pi7 )
      or ( not pi0 and not pi1 and pi2 and not pi3 and not pi4 and pi5 and not pi6 and not pi7 );
    po06 <= ( pi0 and not pi1 and pi2 and not pi3 and pi4 and pi5 and pi6 and pi7 )
      or ( pi0 and not pi1 and not pi2 and not pi3 and pi4 and pi5 and pi6 and pi7 )
      or ( pi0 and pi1 and pi2 and not pi3 and not pi4 and pi5 and pi6 and pi7 )
      or ( pi0 and pi1 and not pi2 and not pi3 and not pi4 and pi5 and pi6 and pi7 )
      or ( pi0 and not pi1 and pi2 and not pi3 and pi4 and not pi5 and pi6 and pi7 )
      or ( not pi0 and pi1 and pi2 and not pi3 and not pi4 and not pi5 and pi6 and pi7 )
      or ( not pi0 and not pi1 and pi2 and not pi3 and not pi4 and not pi5 and pi6 and pi7 )
      or ( not pi0 and pi1 and not pi2 and not pi3 and not pi4 and not pi5 and pi6 and pi7 )
      or ( not pi0 and not pi1 and not pi2 and not pi3 and not pi4 and not pi5 and pi6 and pi7 )
      or ( pi0 and not pi1 and pi2 and not pi3 and pi4 and pi5 and not pi6 and pi7 )
      or ( pi0 and not pi1 and not pi2 and not pi3 and pi4 and pi5 and not pi6 and pi7 )
      or ( pi0 and pi1 and pi2 and not pi3 and not pi4 and pi5 and not pi6 and pi7 )
      or ( not pi0 and pi1 and pi2 and not pi3 and not pi4 and pi5 and not pi6 and pi7 )
      or ( pi0 and pi1 and not pi2 and not pi3 and not pi4 and pi5 and not pi6 and pi7 )
      or ( not pi0 and pi1 and not pi2 and not pi3 and not pi4 and pi5 and not pi6 and pi7 )
      or ( pi0 and not pi1 and not pi2 and pi3 and not pi4 and not pi5 and not pi6 and pi7 )
      or ( not pi0 and pi1 and pi2 and not pi3 and not pi4 and not pi5 and not pi6 and pi7 )
      or ( not pi0 and not pi1 and pi2 and not pi3 and not pi4 and not pi5 and not pi6 and pi7 )
      or ( not pi0 and pi1 and not pi2 and not pi3 and not pi4 and not pi5 and not pi6 and pi7 )
      or ( not pi0 and not pi1 and not pi2 and not pi3 and not pi4 and not pi5 and not pi6 and pi7 )
      or ( pi0 and not pi1 and pi2 and not pi3 and pi4 and pi5 and pi6 and not pi7 )
      or ( pi0 and not pi1 and not pi2 and not pi3 and pi4 and pi5 and pi6 and not pi7 )
      or ( pi0 and pi1 and pi2 and not pi3 and not pi4 and pi5 and pi6 and not pi7 )
      or ( pi0 and pi1 and not pi2 and not pi3 and not pi4 and pi5 and pi6 and not pi7 )
      or ( not pi0 and pi1 and not pi2 and not pi3 and not pi4 and pi5 and pi6 and not pi7 )
      or ( pi0 and not pi1 and not pi2 and pi3 and not pi4 and not pi5 and pi6 and not pi7 )
      or ( not pi0 and pi1 and pi2 and not pi3 and not pi4 and not pi5 and pi6 and not pi7 )
      or ( not pi0 and not pi1 and pi2 and not pi3 and not pi4 and not pi5 and pi6 and not pi7 )
      or ( not pi0 and pi1 and not pi2 and not pi3 and not pi4 and not pi5 and pi6 and not pi7 )
      or ( not pi0 and not pi1 and not pi2 and not pi3 and not pi4 and not pi5 and pi6 and not pi7 )
      or ( pi0 and not pi1 and pi2 and not pi3 and pi4 and pi5 and not pi6 and not pi7 )
      or ( not pi0 and pi1 and pi2 and not pi3 and not pi4 and pi5 and not pi6 and not pi7 )
      or ( not pi0 and not pi1 and pi2 and not pi3 and not pi4 and pi5 and not pi6 and not pi7 )
      or ( not pi0 and pi1 and not pi2 and not pi3 and not pi4 and pi5 and not pi6 and not pi7 )
      or ( pi0 and pi1 and pi2 and not pi3 and pi4 and not pi5 and not pi6 and not pi7 )
      or ( pi0 and not pi1 and not pi2 and pi3 and not pi4 and not pi5 and not pi6 and not pi7 );
    po07 <= ( pi0 and not pi1 and not pi2 and not pi3 and not pi4 and pi5 and pi6 and pi7 )
      or ( pi0 and not pi1 and pi2 and not pi3 and pi4 and not pi5 and pi6 and pi7 )
      or ( pi0 and not pi1 and not pi2 and not pi3 and pi4 and not pi5 and pi6 and pi7 )
      or ( pi0 and not pi1 and not pi2 and not pi3 and pi4 and pi5 and not pi6 and pi7 )
      or ( pi0 and pi1 and pi2 and not pi3 and not pi4 and pi5 and not pi6 and pi7 )
      or ( pi0 and not pi1 and pi2 and not pi3 and not pi4 and pi5 and not pi6 and pi7 )
      or ( pi0 and not pi1 and not pi2 and not pi3 and not pi4 and pi5 and not pi6 and pi7 )
      or ( pi0 and not pi1 and pi2 and not pi3 and pi4 and not pi5 and not pi6 and pi7 )
      or ( pi0 and not pi1 and pi2 and not pi3 and not pi4 and pi5 and pi6 and not pi7 )
      or ( pi0 and not pi1 and not pi2 and not pi3 and not pi4 and pi5 and pi6 and not pi7 )
      or ( pi0 and not pi1 and pi2 and not pi3 and pi4 and not pi5 and pi6 and not pi7 )
      or ( pi0 and not pi1 and not pi2 and not pi3 and pi4 and not pi5 and pi6 and not pi7 )
      or ( pi0 and not pi1 and not pi2 and not pi3 and pi4 and pi5 and not pi6 and not pi7 )
      or ( pi0 and pi1 and pi2 and not pi3 and not pi4 and pi5 and not pi6 and not pi7 )
      or ( pi0 and not pi1 and pi2 and not pi3 and not pi4 and pi5 and not pi6 and not pi7 )
      or ( pi0 and pi1 and not pi2 and not pi3 and not pi4 and pi5 and not pi6 and not pi7 )
      or ( pi0 and not pi1 and not pi2 and not pi3 and not pi4 and pi5 and not pi6 and not pi7 );
    po08 <= ( pi0 and not pi1 and pi2 and not pi3 and not pi4 and pi5 and pi6 and pi7 )
      or ( pi0 and pi1 and not pi2 and not pi3 and not pi4 and pi5 and not pi6 and pi7 )
      or ( pi0 and not pi1 and not pi2 and not pi3 and pi4 and pi5 and pi6 and not pi7 )
      or ( pi0 and pi1 and pi2 and not pi3 and not pi4 and pi5 and pi6 and not pi7 )
      or ( pi0 and not pi1 and pi2 and not pi3 and pi4 and pi5 and not pi6 and not pi7 )
      or ( pi0 and not pi1 and not pi2 and not pi3 and pi4 and not pi5 and not pi6 and not pi7 );
    po09 <= ( pi0 and not pi1 and not pi2 and not pi3 and pi4 and pi5 and pi6 and pi7 )
      or ( pi0 and pi1 and pi2 and not pi3 and not pi4 and pi5 and pi6 and pi7 )
      or ( pi0 and not pi1 and pi2 and not pi3 and pi4 and pi5 and not pi6 and pi7 )
      or ( pi0 and not pi1 and not pi2 and not pi3 and pi4 and not pi5 and not pi6 and pi7 )
      or ( pi0 and pi1 and not pi2 and not pi3 and not pi4 and pi5 and pi6 and not pi7 )
      or ( pi0 and not pi1 and pi2 and not pi3 and pi4 and not pi5 and not pi6 and not pi7 );
    po10 <= ( pi0 and not pi1 and not pi2 and not pi3 and pi4 and pi5 and pi6 and pi7 )
      or ( pi0 and not pi1 and not pi2 and not pi3 and not pi4 and pi5 and pi6 and pi7 )
      or ( pi0 and not pi1 and not pi2 and not pi3 and pi4 and not pi5 and pi6 and pi7 )
      or ( pi0 and not pi1 and not pi2 and not pi3 and pi4 and pi5 and not pi6 and pi7 )
      or ( pi0 and not pi1 and not pi2 and not pi3 and not pi4 and pi5 and not pi6 and pi7 )
      or ( pi0 and not pi1 and not pi2 and not pi3 and pi4 and not pi5 and not pi6 and pi7 )
      or ( pi0 and not pi1 and not pi2 and not pi3 and pi4 and pi5 and pi6 and not pi7 )
      or ( pi0 and not pi1 and not pi2 and not pi3 and not pi4 and pi5 and pi6 and not pi7 )
      or ( pi0 and not pi1 and not pi2 and not pi3 and pi4 and not pi5 and pi6 and not pi7 )
      or ( pi0 and not pi1 and not pi2 and not pi3 and pi4 and pi5 and not pi6 and not pi7 )
      or ( pi0 and not pi1 and not pi2 and not pi3 and not pi4 and pi5 and not pi6 and not pi7 )
      or ( pi0 and not pi1 and not pi2 and not pi3 and pi4 and not pi5 and not pi6 and not pi7 );
    po11 <= ( pi0 and not pi1 and pi2 and not pi3 and not pi4 and pi5 and pi6 and pi7 )
      or ( pi0 and not pi1 and pi2 and not pi3 and pi4 and not pi5 and pi6 and pi7 )
      or ( pi0 and not pi1 and pi2 and not pi3 and pi4 and pi5 and not pi6 and pi7 )
      or ( pi0 and not pi1 and pi2 and not pi3 and not pi4 and pi5 and not pi6 and pi7 )
      or ( pi0 and not pi1 and pi2 and not pi3 and pi4 and not pi5 and not pi6 and pi7 )
      or ( pi0 and not pi1 and pi2 and not pi3 and not pi4 and pi5 and pi6 and not pi7 )
      or ( pi0 and not pi1 and pi2 and not pi3 and pi4 and not pi5 and pi6 and not pi7 )
      or ( pi0 and not pi1 and pi2 and not pi3 and pi4 and pi5 and not pi6 and not pi7 )
      or ( pi0 and not pi1 and pi2 and not pi3 and not pi4 and pi5 and not pi6 and not pi7 )
      or ( pi0 and not pi1 and pi2 and not pi3 and pi4 and not pi5 and not pi6 and not pi7 );
    po12 <= ( pi0 and not pi1 and pi2 and not pi3 and pi4 and pi5 and pi6 and pi7 )
      or ( pi0 and not pi1 and not pi2 and not pi3 and pi4 and pi5 and pi6 and pi7 )
      or ( pi0 and pi1 and pi2 and not pi3 and not pi4 and pi5 and pi6 and pi7 )
      or ( pi0 and not pi1 and pi2 and not pi3 and not pi4 and pi5 and pi6 and pi7 )
      or ( pi0 and pi1 and not pi2 and not pi3 and not pi4 and pi5 and pi6 and pi7 )
      or ( not pi0 and pi1 and not pi2 and not pi3 and not pi4 and pi5 and pi6 and pi7 )
      or ( pi0 and not pi1 and not pi2 and pi3 and not pi4 and not pi5 and pi6 and pi7 )
      or ( pi0 and pi1 and pi2 and not pi3 and not pi4 and not pi5 and pi6 and pi7 )
      or ( not pi0 and pi1 and pi2 and not pi3 and not pi4 and not pi5 and pi6 and pi7 )
      or ( pi0 and not pi1 and pi2 and not pi3 and not pi4 and not pi5 and pi6 and pi7 )
      or ( not pi0 and not pi1 and pi2 and not pi3 and not pi4 and not pi5 and pi6 and pi7 )
      or ( pi0 and pi1 and not pi2 and not pi3 and not pi4 and not pi5 and pi6 and pi7 )
      or ( not pi0 and pi1 and not pi2 and not pi3 and not pi4 and not pi5 and pi6 and pi7 )
      or ( pi0 and not pi1 and not pi2 and not pi3 and not pi4 and not pi5 and pi6 and pi7 )
      or ( not pi0 and not pi1 and not pi2 and not pi3 and not pi4 and not pi5 and pi6 and pi7 )
      or ( pi0 and not pi1 and pi2 and not pi3 and pi4 and pi5 and not pi6 and pi7 )
      or ( not pi0 and pi1 and pi2 and not pi3 and not pi4 and pi5 and not pi6 and pi7 )
      or ( not pi0 and not pi1 and pi2 and not pi3 and not pi4 and pi5 and not pi6 and pi7 )
      or ( pi0 and pi1 and not pi2 and not pi3 and not pi4 and pi5 and not pi6 and pi7 )
      or ( not pi0 and pi1 and not pi2 and not pi3 and not pi4 and pi5 and not pi6 and pi7 )
      or ( pi0 and pi1 and pi2 and not pi3 and pi4 and not pi5 and not pi6 and pi7 )
      or ( pi0 and not pi1 and not pi2 and not pi3 and pi4 and not pi5 and not pi6 and pi7 )
      or ( pi0 and not pi1 and not pi2 and pi3 and not pi4 and not pi5 and not pi6 and pi7 )
      or ( pi0 and not pi1 and pi2 and not pi3 and pi4 and pi5 and pi6 and not pi7 )
      or ( pi0 and not pi1 and not pi2 and not pi3 and pi4 and pi5 and pi6 and not pi7 )
      or ( pi0 and pi1 and pi2 and not pi3 and not pi4 and pi5 and pi6 and not pi7 )
      or ( not pi0 and pi1 and pi2 and not pi3 and not pi4 and pi5 and pi6 and not pi7 )
      or ( pi0 and pi1 and not pi2 and not pi3 and not pi4 and pi5 and pi6 and not pi7 )
      or ( not pi0 and pi1 and not pi2 and not pi3 and not pi4 and pi5 and pi6 and not pi7 )
      or ( pi0 and not pi1 and not pi2 and pi3 and not pi4 and not pi5 and pi6 and not pi7 )
      or ( pi0 and pi1 and pi2 and not pi3 and not pi4 and not pi5 and pi6 and not pi7 )
      or ( not pi0 and pi1 and pi2 and not pi3 and not pi4 and not pi5 and pi6 and not pi7 )
      or ( pi0 and not pi1 and pi2 and not pi3 and not pi4 and not pi5 and pi6 and not pi7 )
      or ( not pi0 and not pi1 and pi2 and not pi3 and not pi4 and not pi5 and pi6 and not pi7 )
      or ( pi0 and pi1 and not pi2 and not pi3 and not pi4 and not pi5 and pi6 and not pi7 )
      or ( not pi0 and pi1 and not pi2 and not pi3 and not pi4 and not pi5 and pi6 and not pi7 )
      or ( pi0 and not pi1 and not pi2 and not pi3 and not pi4 and not pi5 and pi6 and not pi7 )
      or ( not pi0 and not pi1 and not pi2 and not pi3 and not pi4 and not pi5 and pi6 and not pi7 )
      or ( pi0 and not pi1 and pi2 and not pi3 and pi4 and pi5 and not pi6 and not pi7 )
      or ( not pi0 and pi1 and pi2 and not pi3 and not pi4 and pi5 and not pi6 and not pi7 )
      or ( not pi0 and not pi1 and pi2 and not pi3 and not pi4 and pi5 and not pi6 and not pi7 )
      or ( not pi0 and pi1 and not pi2 and not pi3 and not pi4 and pi5 and not pi6 and not pi7 )
      or ( not pi0 and not pi1 and not pi2 and not pi3 and not pi4 and pi5 and not pi6 and not pi7 )
      or ( pi0 and pi1 and pi2 and not pi3 and pi4 and not pi5 and not pi6 and not pi7 )
      or ( pi0 and not pi1 and pi2 and not pi3 and pi4 and not pi5 and not pi6 and not pi7 )
      or ( pi0 and not pi1 and not pi2 and not pi3 and pi4 and not pi5 and not pi6 and not pi7 )
      or ( pi0 and not pi1 and pi2 and pi3 and not pi4 and not pi5 and not pi6 and not pi7 )
      or ( pi0 and not pi1 and not pi2 and pi3 and not pi4 and not pi5 and not pi6 and not pi7 );
    po13 <= ( not pi0 and pi1 and pi2 and not pi3 and not pi4 and pi5 and pi6 and pi7 )
      or ( not pi0 and not pi1 and not pi2 and not pi3 and not pi4 and pi5 and not pi6 and pi7 )
      or ( pi0 and not pi1 and pi2 and pi3 and not pi4 and not pi5 and not pi6 and pi7 )
      or ( not pi0 and not pi1 and pi2 and not pi3 and not pi4 and pi5 and pi6 and not pi7 )
      or ( pi0 and pi1 and pi2 and not pi3 and pi4 and not pi5 and pi6 and not pi7 )
      or ( pi0 and not pi1 and not pi2 and pi3 and not pi4 and pi5 and not pi6 and not pi7 )
      or ( pi0 and pi1 and not pi2 and not pi3 and pi4 and not pi5 and not pi6 and not pi7 )
      or ( not pi0 and pi1 and not pi2 and not pi3 and pi4 and not pi5 and not pi6 and not pi7 );
    po14 <= ( not pi0 and not pi1 and pi2 and not pi3 and not pi4 and pi5 and pi6 and pi7 )
      or ( pi0 and pi1 and pi2 and not pi3 and pi4 and not pi5 and pi6 and pi7 )
      or ( pi0 and not pi1 and not pi2 and pi3 and not pi4 and pi5 and not pi6 and pi7 )
      or ( not pi0 and pi1 and not pi2 and not pi3 and pi4 and not pi5 and not pi6 and pi7 )
      or ( not pi0 and not pi1 and not pi2 and not pi3 and not pi4 and pi5 and pi6 and not pi7 )
      or ( not pi0 and pi1 and pi2 and not pi3 and pi4 and not pi5 and not pi6 and not pi7 );
    po15 <= ( not pi0 and not pi1 and pi2 and not pi3 and not pi4 and pi5 and pi6 and pi7 )
      or ( pi0 and pi1 and pi2 and not pi3 and pi4 and not pi5 and pi6 and pi7 )
      or ( pi0 and not pi1 and not pi2 and pi3 and not pi4 and pi5 and not pi6 and pi7 )
      or ( pi0 and pi1 and not pi2 and not pi3 and pi4 and not pi5 and not pi6 and pi7 )
      or ( not pi0 and pi1 and not pi2 and not pi3 and pi4 and not pi5 and not pi6 and pi7 )
      or ( not pi0 and not pi1 and not pi2 and not pi3 and not pi4 and pi5 and pi6 and not pi7 )
      or ( pi0 and not pi1 and pi2 and pi3 and not pi4 and not pi5 and pi6 and not pi7 )
      or ( not pi0 and pi1 and pi2 and not pi3 and pi4 and not pi5 and not pi6 and not pi7 );
end Espresso__exp_behav;
