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

entity top is 
  Port (
    pi0,pi1,pi2,pi3,pi4,pi5,pi6,pi7: in std_logic;
    po0,po1,po2,po3: inout std_logic
  );
end top;

architecture top_behav of top is
begin
    po0 <= ( not pi0 and pi1 and pi2 and pi3 and pi4 and pi5 and pi6 and pi7 )
      or ( pi0 and not pi1 and pi2 and pi3 and pi4 and pi5 and pi6 and pi7 )
      or ( not pi0 and not pi1 and pi2 and pi3 and pi4 and pi5 and pi6 and pi7 )
      or ( pi0 and pi1 and not pi2 and pi3 and pi4 and pi5 and pi6 and pi7 )
      or ( not pi0 and pi1 and not pi2 and pi3 and pi4 and pi5 and pi6 and pi7 )
      or ( pi0 and not pi1 and not pi2 and pi3 and pi4 and pi5 and pi6 and pi7 )
      or ( pi0 and pi1 and pi2 and not pi3 and pi4 and pi5 and pi6 and pi7 )
      or ( not pi0 and pi1 and pi2 and not pi3 and pi4 and pi5 and pi6 and pi7 )
      or ( 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 pi4 and pi5 and pi6 and pi7 )
      or ( pi0 and pi1 and pi2 and pi3 and not pi4 and pi5 and pi6 and pi7 )
      or ( not pi0 and pi1 and pi2 and pi3 and not pi4 and pi5 and pi6 and pi7 )
      or ( pi0 and not pi1 and pi2 and pi3 and not pi4 and pi5 and pi6 and pi7 )
      or ( pi0 and pi1 and not pi2 and pi3 and not 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 ( not pi0 and not pi1 and not pi2 and not pi3 and not pi4 and pi5 and pi6 and pi7 )
      or ( pi0 and pi1 and pi2 and pi3 and pi4 and not pi5 and pi6 and pi7 )
      or ( not pi0 and pi1 and pi2 and pi3 and pi4 and not pi5 and pi6 and pi7 )
      or ( pi0 and not pi1 and pi2 and pi3 and pi4 and not pi5 and pi6 and pi7 )
      or ( pi0 and pi1 and not pi2 and pi3 and pi4 and not pi5 and pi6 and pi7 )
      or ( pi0 and pi1 and pi2 and not pi3 and pi4 and not pi5 and pi6 and pi7 )
      or ( not 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 pi3 and not pi4 and not pi5 and pi6 and pi7 )
      or ( not pi0 and not pi1 and not pi2 and 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 ( 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 pi1 and pi2 and pi3 and pi4 and pi5 and not pi6 and pi7 )
      or ( not pi0 and pi1 and pi2 and pi3 and pi4 and pi5 and not pi6 and pi7 )
      or ( pi0 and not pi1 and pi2 and pi3 and pi4 and pi5 and not pi6 and pi7 )
      or ( pi0 and pi1 and not pi2 and pi3 and pi4 and pi5 and not pi6 and pi7 )
      or ( pi0 and pi1 and pi2 and not pi3 and pi4 and pi5 and not pi6 and pi7 )
      or ( not 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 pi3 and not pi4 and pi5 and not pi6 and pi7 )
      or ( not pi0 and not pi1 and not pi2 and 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 ( 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 ( not 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 pi3 and pi4 and not pi5 and not pi6 and pi7 )
      or ( not pi0 and not pi1 and not pi2 and pi3 and pi4 and not pi5 and not pi6 and pi7 )
      or ( not pi0 and not pi1 and 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 ( pi0 and not 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 pi4 and not pi5 and not pi6 and pi7 )
      or ( not pi0 and not pi1 and pi2 and pi3 and not pi4 and not pi5 and not pi6 and pi7 )
      or ( not pi0 and pi1 and not pi2 and pi3 and not 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 ( not 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 ( 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 ( pi0 and pi1 and pi2 and pi3 and pi4 and pi5 and pi6 and not pi7 )
      or ( not pi0 and pi1 and pi2 and pi3 and pi4 and pi5 and pi6 and not pi7 )
      or ( pi0 and not pi1 and pi2 and pi3 and pi4 and pi5 and pi6 and not pi7 )
      or ( pi0 and pi1 and not pi2 and pi3 and pi4 and pi5 and pi6 and not pi7 )
      or ( pi0 and pi1 and pi2 and not pi3 and pi4 and pi5 and pi6 and not pi7 )
      or ( not 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 pi3 and not pi4 and pi5 and pi6 and not pi7 )
      or ( not pi0 and not pi1 and not pi2 and pi3 and not pi4 and pi5 and pi6 and not pi7 )
      or ( not pi0 and not pi1 and 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 ( not 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 pi3 and pi4 and not pi5 and pi6 and not pi7 )
      or ( not pi0 and not pi1 and not pi2 and pi3 and pi4 and not pi5 and pi6 and not pi7 )
      or ( not pi0 and not pi1 and pi2 and not pi3 and pi4 and not pi5 and pi6 and not pi7 )
      or ( not pi0 and 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 not pi5 and pi6 and not pi7 )
      or ( not pi0 and not pi1 and not pi2 and not pi3 and pi4 and not pi5 and pi6 and not pi7 )
      or ( not 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 not pi2 and pi3 and not 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 ( not 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 ( 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 ( pi0 and pi1 and pi2 and pi3 and pi4 and pi5 and not pi6 and not pi7 )
      or ( not pi0 and not pi1 and not pi2 and pi3 and pi4 and pi5 and not pi6 and not pi7 )
      or ( not 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 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 pi4 and pi5 and not pi6 and not pi7 )
      or ( not pi0 and not pi1 and not pi2 and not pi3 and pi4 and pi5 and not pi6 and not pi7 )
      or ( not pi0 and not pi1 and pi2 and pi3 and not pi4 and pi5 and not pi6 and not pi7 )
      or ( not pi0 and pi1 and not pi2 and pi3 and not pi4 and pi5 and not 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 ( not pi0 and not pi1 and not pi2 and 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 ( pi0 and pi1 and not 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 ( not pi0 and not pi1 and pi2 and pi3 and pi4 and not pi5 and not pi6 and not pi7 )
      or ( not pi0 and pi1 and not pi2 and pi3 and pi4 and not pi5 and not pi6 and not pi7 )
      or ( pi0 and not pi1 and not pi2 and pi3 and pi4 and not pi5 and not pi6 and not pi7 )
      or ( not pi0 and not pi1 and not pi2 and pi3 and pi4 and not pi5 and not 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 )
      or ( pi0 and not pi1 and pi2 and not pi3 and pi4 and not pi5 and not pi6 and not pi7 )
      or ( not pi0 and not pi1 and pi2 and not pi3 and pi4 and not 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 )
      or ( pi0 and not pi1 and not pi2 and not pi3 and pi4 and not pi5 and not pi6 and not pi7 )
      or ( not pi0 and pi1 and pi2 and pi3 and not 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 ( not pi0 and not pi1 and pi2 and pi3 and not pi4 and not pi5 and not pi6 and not pi7 )
      or ( pi0 and pi1 and not pi2 and pi3 and not pi4 and not pi5 and not pi6 and not pi7 )
      or ( not pi0 and pi1 and not 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 )
      or ( pi0 and pi1 and pi2 and not pi3 and not pi4 and not pi5 and not pi6 and not pi7 )
      or ( not pi0 and pi1 and pi2 and not pi3 and not pi4 and not pi5 and not pi6 and not pi7 )
      or ( pi0 and not pi1 and pi2 and not pi3 and not pi4 and not pi5 and not pi6 and not pi7 )
      or ( pi0 and pi1 and not pi2 and not pi3 and not pi4 and not pi5 and not pi6 and not pi7 );
    po1 <= ( not pi0 and pi1 and pi2 and pi3 and pi4 and pi5 and pi6 and pi7 )
      or ( pi0 and not pi1 and pi2 and pi3 and pi4 and pi5 and pi6 and pi7 )
      or ( pi0 and pi1 and not pi2 and pi3 and pi4 and pi5 and pi6 and pi7 )
      or ( not pi0 and not pi1 and not pi2 and pi3 and pi4 and pi5 and pi6 and pi7 )
      or ( pi0 and pi1 and pi2 and not pi3 and pi4 and pi5 and pi6 and pi7 )
      or ( not pi0 and not pi1 and pi2 and not pi3 and pi4 and pi5 and pi6 and pi7 )
      or ( not pi0 and 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 pi4 and pi5 and pi6 and pi7 )
      or ( pi0 and pi1 and pi2 and pi3 and not pi4 and pi5 and pi6 and pi7 )
      or ( not pi0 and not pi1 and pi2 and pi3 and not pi4 and pi5 and pi6 and pi7 )
      or ( not pi0 and pi1 and not pi2 and pi3 and not pi4 and pi5 and pi6 and pi7 )
      or ( pi0 and not pi1 and not pi2 and pi3 and not pi4 and pi5 and pi6 and pi7 )
      or ( not 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 not pi1 and not pi2 and not pi3 and not pi4 and pi5 and pi6 and pi7 )
      or ( pi0 and pi1 and pi2 and pi3 and pi4 and not pi5 and pi6 and pi7 )
      or ( not pi0 and not pi1 and pi2 and pi3 and pi4 and not pi5 and pi6 and pi7 )
      or ( not pi0 and pi1 and not pi2 and pi3 and pi4 and not pi5 and pi6 and pi7 )
      or ( pi0 and not pi1 and not pi2 and pi3 and pi4 and not pi5 and pi6 and pi7 )
      or ( not pi0 and 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 not pi5 and pi6 and pi7 )
      or ( pi0 and pi1 and not pi2 and not pi3 and pi4 and not pi5 and pi6 and pi7 )
      or ( not pi0 and not pi1 and not pi2 and not pi3 and pi4 and not pi5 and pi6 and pi7 )
      or ( not pi0 and pi1 and pi2 and pi3 and not pi4 and not pi5 and pi6 and pi7 )
      or ( pi0 and not pi1 and pi2 and pi3 and not pi4 and not pi5 and pi6 and pi7 )
      or ( pi0 and pi1 and not pi2 and pi3 and not pi4 and not pi5 and pi6 and pi7 )
      or ( not 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 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 ( pi0 and not pi1 and not pi2 and not pi3 and not pi4 and not pi5 and pi6 and pi7 )
      or ( pi0 and pi1 and pi2 and pi3 and pi4 and pi5 and not pi6 and pi7 )
      or ( not pi0 and not pi1 and pi2 and pi3 and pi4 and pi5 and not pi6 and pi7 )
      or ( not pi0 and pi1 and not pi2 and pi3 and pi4 and pi5 and not pi6 and pi7 )
      or ( pi0 and not pi1 and not pi2 and pi3 and pi4 and pi5 and not pi6 and pi7 )
      or ( not pi0 and 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 pi4 and pi5 and not pi6 and pi7 )
      or ( pi0 and pi1 and not pi2 and not pi3 and pi4 and pi5 and not pi6 and pi7 )
      or ( not pi0 and not pi1 and not pi2 and not pi3 and pi4 and pi5 and not pi6 and pi7 )
      or ( not pi0 and pi1 and pi2 and pi3 and not pi4 and pi5 and not pi6 and pi7 )
      or ( pi0 and not pi1 and pi2 and pi3 and not pi4 and pi5 and not pi6 and pi7 )
      or ( pi0 and pi1 and not pi2 and pi3 and not pi4 and pi5 and not pi6 and pi7 )
      or ( not pi0 and not pi1 and not pi2 and pi3 and not 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 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 ( not pi0 and pi1 and pi2 and pi3 and pi4 and not pi5 and not pi6 and pi7 )
      or ( pi0 and not pi1 and pi2 and pi3 and pi4 and not pi5 and not pi6 and pi7 )
      or ( pi0 and pi1 and not pi2 and pi3 and pi4 and not pi5 and not pi6 and pi7 )
      or ( not pi0 and not pi1 and not pi2 and pi3 and pi4 and not 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 ( not pi0 and not pi1 and 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 ( 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 pi2 and pi3 and not pi4 and not pi5 and not pi6 and pi7 )
      or ( not pi0 and not pi1 and pi2 and pi3 and not pi4 and not pi5 and not pi6 and pi7 )
      or ( not pi0 and pi1 and not pi2 and pi3 and not 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 ( 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 ( 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 pi1 and pi2 and pi3 and pi4 and pi5 and pi6 and not pi7 )
      or ( not pi0 and not pi1 and pi2 and pi3 and pi4 and pi5 and pi6 and not pi7 )
      or ( not pi0 and pi1 and not pi2 and pi3 and pi4 and pi5 and pi6 and not pi7 )
      or ( pi0 and not pi1 and not pi2 and pi3 and pi4 and pi5 and pi6 and not pi7 )
      or ( not pi0 and pi1 and pi2 and not pi3 and pi4 and pi5 and pi6 and not 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 pi4 and pi5 and pi6 and not pi7 )
      or ( not pi0 and not pi1 and not pi2 and not pi3 and pi4 and pi5 and pi6 and not pi7 )
      or ( not pi0 and pi1 and pi2 and pi3 and not pi4 and pi5 and pi6 and not pi7 )
      or ( pi0 and not pi1 and pi2 and pi3 and not pi4 and pi5 and pi6 and not pi7 )
      or ( pi0 and pi1 and not pi2 and pi3 and not pi4 and pi5 and pi6 and not pi7 )
      or ( not pi0 and not pi1 and not pi2 and pi3 and not 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 not pi1 and 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 ( not pi0 and pi1 and pi2 and pi3 and pi4 and not pi5 and pi6 and not pi7 )
      or ( pi0 and not pi1 and pi2 and pi3 and pi4 and not pi5 and pi6 and not pi7 )
      or ( pi0 and pi1 and not pi2 and pi3 and pi4 and not pi5 and pi6 and not pi7 )
      or ( not pi0 and not pi1 and not pi2 and pi3 and pi4 and not 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 ( not pi0 and not pi1 and pi2 and not pi3 and pi4 and not pi5 and pi6 and not pi7 )
      or ( not pi0 and 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 not pi5 and pi6 and not pi7 )
      or ( pi0 and pi1 and pi2 and pi3 and not pi4 and not pi5 and pi6 and not pi7 )
      or ( not 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 not pi2 and pi3 and not 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 ( 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 ( 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 pi3 and pi4 and pi5 and not pi6 and not pi7 )
      or ( pi0 and not pi1 and pi2 and pi3 and pi4 and pi5 and not pi6 and not pi7 )
      or ( pi0 and pi1 and not pi2 and pi3 and pi4 and pi5 and not pi6 and not pi7 )
      or ( not pi0 and not pi1 and not pi2 and pi3 and pi4 and pi5 and not pi6 and not pi7 )
      or ( pi0 and pi1 and pi2 and not pi3 and pi4 and pi5 and not pi6 and not pi7 )
      or ( not 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 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 pi4 and pi5 and not pi6 and not pi7 )
      or ( pi0 and pi1 and pi2 and pi3 and not pi4 and pi5 and not pi6 and not pi7 )
      or ( not pi0 and not pi1 and pi2 and pi3 and not pi4 and pi5 and not pi6 and not pi7 )
      or ( not pi0 and pi1 and not pi2 and pi3 and not pi4 and pi5 and not 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 ( 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 ( 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 pi3 and pi4 and not pi5 and not pi6 and not pi7 )
      or ( not pi0 and not pi1 and pi2 and pi3 and pi4 and not pi5 and not pi6 and not pi7 )
      or ( not pi0 and pi1 and not pi2 and pi3 and pi4 and not pi5 and not pi6 and not pi7 )
      or ( pi0 and not pi1 and not pi2 and pi3 and pi4 and not pi5 and not 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 )
      or ( pi0 and not pi1 and pi2 and not pi3 and pi4 and not 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 not pi1 and not pi2 and not pi3 and pi4 and not pi5 and not pi6 and not pi7 )
      or ( not pi0 and pi1 and pi2 and pi3 and not 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 pi1 and not pi2 and pi3 and not pi4 and not pi5 and not pi6 and not pi7 )
      or ( not pi0 and not pi1 and not pi2 and pi3 and not pi4 and not pi5 and not pi6 and not pi7 )
      or ( pi0 and pi1 and pi2 and not pi3 and not pi4 and not pi5 and not pi6 and not pi7 )
      or ( not pi0 and not pi1 and pi2 and not pi3 and not pi4 and not pi5 and not pi6 and not pi7 )
      or ( not pi0 and pi1 and not pi2 and not pi3 and not pi4 and not pi5 and not pi6 and not pi7 )
      or ( pi0 and not pi1 and not pi2 and not pi3 and not pi4 and not pi5 and not pi6 and not pi7 );
    po2 <= ( pi0 and pi1 and pi2 and pi3 and pi4 and pi5 and pi6 and pi7 );
    po3 <= ( not pi0 and pi1 and pi2 and pi3 and pi4 and pi5 and pi6 and pi7 )
      or ( pi0 and not pi1 and pi2 and pi3 and pi4 and pi5 and pi6 and pi7 )
      or ( not pi0 and not pi1 and pi2 and pi3 and pi4 and pi5 and pi6 and pi7 )
      or ( pi0 and pi1 and not pi2 and pi3 and pi4 and pi5 and pi6 and pi7 )
      or ( not pi0 and pi1 and not pi2 and pi3 and pi4 and pi5 and pi6 and pi7 )
      or ( pi0 and not pi1 and not pi2 and pi3 and pi4 and pi5 and pi6 and pi7 )
      or ( not pi0 and not pi1 and not pi2 and pi3 and pi4 and pi5 and pi6 and pi7 )
      or ( pi0 and pi1 and pi2 and not pi3 and pi4 and pi5 and pi6 and pi7 )
      or ( not pi0 and pi1 and pi2 and not pi3 and pi4 and pi5 and pi6 and pi7 )
      or ( pi0 and not pi1 and pi2 and not pi3 and pi4 and pi5 and pi6 and pi7 )
      or ( not 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 pi4 and pi5 and pi6 and pi7 )
      or ( not pi0 and 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 pi4 and pi5 and pi6 and pi7 )
      or ( not 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 pi3 and not pi4 and pi5 and pi6 and pi7 )
      or ( not pi0 and pi1 and pi2 and pi3 and not pi4 and pi5 and pi6 and pi7 )
      or ( pi0 and not pi1 and pi2 and pi3 and not pi4 and pi5 and pi6 and pi7 )
      or ( not pi0 and not pi1 and pi2 and pi3 and not pi4 and pi5 and pi6 and pi7 )
      or ( pi0 and pi1 and not pi2 and pi3 and not pi4 and pi5 and pi6 and pi7 )
      or ( not pi0 and pi1 and not pi2 and pi3 and not pi4 and pi5 and pi6 and pi7 )
      or ( pi0 and not pi1 and not pi2 and pi3 and not pi4 and pi5 and pi6 and pi7 )
      or ( not pi0 and not pi1 and not pi2 and pi3 and not 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 ( not 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 ( not 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 not pi3 and not pi4 and pi5 and pi6 and pi7 )
      or ( pi0 and pi1 and pi2 and pi3 and pi4 and not pi5 and pi6 and pi7 )
      or ( not pi0 and pi1 and pi2 and pi3 and pi4 and not pi5 and pi6 and pi7 )
      or ( pi0 and not pi1 and pi2 and pi3 and pi4 and not pi5 and pi6 and pi7 )
      or ( not pi0 and not pi1 and pi2 and pi3 and pi4 and not pi5 and pi6 and pi7 )
      or ( pi0 and pi1 and not pi2 and pi3 and pi4 and not pi5 and pi6 and pi7 )
      or ( not pi0 and pi1 and not pi2 and pi3 and pi4 and not pi5 and pi6 and pi7 )
      or ( pi0 and not pi1 and not pi2 and pi3 and pi4 and not pi5 and pi6 and pi7 )
      or ( not pi0 and not pi1 and not pi2 and pi3 and pi4 and not pi5 and pi6 and pi7 )
      or ( pi0 and 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 pi4 and not 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 not pi1 and pi2 and not pi3 and pi4 and not pi5 and pi6 and pi7 )
      or ( pi0 and pi1 and not pi2 and not pi3 and pi4 and not pi5 and pi6 and pi7 )
      or ( not pi0 and 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 not pi5 and pi6 and pi7 )
      or ( pi0 and pi1 and pi2 and pi3 and not pi4 and not pi5 and pi6 and pi7 )
      or ( not pi0 and pi1 and pi2 and pi3 and not pi4 and not pi5 and pi6 and pi7 )
      or ( pi0 and not pi1 and pi2 and pi3 and not pi4 and not pi5 and pi6 and pi7 )
      or ( not pi0 and not pi1 and pi2 and pi3 and not pi4 and not pi5 and pi6 and pi7 )
      or ( pi0 and pi1 and not pi2 and pi3 and not pi4 and not pi5 and pi6 and pi7 )
      or ( not pi0 and pi1 and not pi2 and pi3 and not pi4 and not 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 ( pi0 and pi1 and not pi2 and not pi3 and not pi4 and not pi5 and pi6 and pi7 )
      or ( pi0 and pi1 and pi2 and pi3 and pi4 and pi5 and not pi6 and pi7 )
      or ( not pi0 and pi1 and pi2 and pi3 and pi4 and pi5 and not pi6 and pi7 )
      or ( pi0 and not pi1 and pi2 and pi3 and pi4 and pi5 and not pi6 and pi7 )
      or ( not pi0 and not pi1 and pi2 and pi3 and pi4 and pi5 and not pi6 and pi7 )
      or ( pi0 and pi1 and not pi2 and pi3 and pi4 and pi5 and not pi6 and pi7 )
      or ( not pi0 and pi1 and not pi2 and pi3 and pi4 and pi5 and not pi6 and pi7 )
      or ( pi0 and not pi1 and not pi2 and pi3 and pi4 and pi5 and not pi6 and pi7 )
      or ( not pi0 and not pi1 and not pi2 and pi3 and pi4 and pi5 and not pi6 and pi7 )
      or ( pi0 and 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 pi4 and pi5 and not 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 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 pi4 and pi5 and not pi6 and pi7 )
      or ( not pi0 and 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 pi4 and pi5 and not pi6 and pi7 )
      or ( pi0 and pi1 and pi2 and pi3 and not pi4 and pi5 and not pi6 and pi7 )
      or ( not pi0 and pi1 and pi2 and pi3 and not pi4 and pi5 and not pi6 and pi7 )
      or ( pi0 and not pi1 and pi2 and pi3 and not pi4 and pi5 and not pi6 and pi7 )
      or ( not pi0 and not pi1 and pi2 and pi3 and not pi4 and pi5 and not pi6 and pi7 )
      or ( pi0 and 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 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 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 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 ( pi0 and pi1 and pi2 and pi3 and pi4 and not pi5 and not pi6 and pi7 )
      or ( not pi0 and pi1 and pi2 and pi3 and pi4 and not pi5 and not pi6 and pi7 )
      or ( pi0 and not pi1 and pi2 and pi3 and pi4 and not pi5 and not pi6 and pi7 )
      or ( not pi0 and not pi1 and pi2 and pi3 and pi4 and not pi5 and not pi6 and pi7 )
      or ( pi0 and pi1 and not pi2 and pi3 and pi4 and not pi5 and not pi6 and pi7 )
      or ( not pi0 and pi1 and not pi2 and pi3 and pi4 and not pi5 and not pi6 and pi7 )
      or ( pi0 and not pi1 and not pi2 and pi3 and pi4 and not 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 ( not pi0 and 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 pi4 and not 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 ( pi0 and pi1 and pi2 and pi3 and not pi4 and not pi5 and not pi6 and pi7 )
      or ( not pi0 and pi1 and pi2 and pi3 and not pi4 and not 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 ( pi0 and pi1 and not pi2 and pi3 and not pi4 and not 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 ( pi0 and pi1 and pi2 and pi3 and pi4 and pi5 and pi6 and not pi7 )
      or ( not pi0 and pi1 and pi2 and pi3 and pi4 and pi5 and pi6 and not pi7 )
      or ( pi0 and not pi1 and pi2 and pi3 and pi4 and pi5 and pi6 and not pi7 )
      or ( not pi0 and not pi1 and pi2 and pi3 and pi4 and pi5 and pi6 and not pi7 )
      or ( pi0 and pi1 and not pi2 and pi3 and pi4 and pi5 and pi6 and not pi7 )
      or ( not pi0 and pi1 and not pi2 and pi3 and pi4 and pi5 and pi6 and not pi7 )
      or ( pi0 and not pi1 and not pi2 and pi3 and pi4 and pi5 and pi6 and not pi7 )
      or ( not pi0 and not pi1 and not pi2 and pi3 and pi4 and pi5 and pi6 and not pi7 )
      or ( pi0 and pi1 and pi2 and not pi3 and pi4 and pi5 and pi6 and not pi7 )
      or ( not pi0 and pi1 and pi2 and not pi3 and pi4 and pi5 and pi6 and not pi7 )
      or ( pi0 and not pi1 and pi2 and not pi3 and pi4 and pi5 and pi6 and not pi7 )
      or ( not 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 pi4 and pi5 and pi6 and not pi7 )
      or ( not pi0 and 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 pi4 and pi5 and pi6 and not pi7 )
      or ( pi0 and pi1 and pi2 and pi3 and not pi4 and pi5 and pi6 and not pi7 )
      or ( not pi0 and pi1 and pi2 and pi3 and not pi4 and pi5 and pi6 and not pi7 )
      or ( pi0 and not pi1 and pi2 and pi3 and not pi4 and pi5 and pi6 and not pi7 )
      or ( not pi0 and not pi1 and pi2 and pi3 and not pi4 and pi5 and pi6 and not pi7 )
      or ( pi0 and pi1 and not pi2 and pi3 and not pi4 and pi5 and pi6 and not pi7 )
      or ( not pi0 and pi1 and not pi2 and 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 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 not 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 ( pi0 and pi1 and pi2 and pi3 and pi4 and not pi5 and pi6 and not pi7 )
      or ( not pi0 and pi1 and pi2 and pi3 and pi4 and not pi5 and pi6 and not pi7 )
      or ( pi0 and not pi1 and pi2 and pi3 and pi4 and not pi5 and pi6 and not pi7 )
      or ( not pi0 and not pi1 and pi2 and pi3 and pi4 and not pi5 and pi6 and not pi7 )
      or ( pi0 and pi1 and not pi2 and pi3 and pi4 and not pi5 and pi6 and not pi7 )
      or ( not pi0 and pi1 and not pi2 and pi3 and pi4 and not pi5 and pi6 and not pi7 )
      or ( pi0 and not pi1 and not pi2 and pi3 and pi4 and not 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 ( not pi0 and 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 not pi5 and pi6 and not pi7 )
      or ( pi0 and pi1 and not pi2 and not pi3 and pi4 and not pi5 and pi6 and not pi7 )
      or ( pi0 and pi1 and pi2 and pi3 and not pi4 and not pi5 and pi6 and not pi7 )
      or ( not pi0 and pi1 and pi2 and pi3 and not pi4 and not 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 ( pi0 and 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 ( pi0 and pi1 and pi2 and pi3 and pi4 and pi5 and not pi6 and not pi7 )
      or ( not pi0 and pi1 and pi2 and pi3 and pi4 and pi5 and not pi6 and not pi7 )
      or ( pi0 and not pi1 and pi2 and pi3 and pi4 and pi5 and not pi6 and not pi7 )
      or ( not pi0 and not pi1 and pi2 and pi3 and pi4 and pi5 and not pi6 and not pi7 )
      or ( pi0 and pi1 and not pi2 and pi3 and pi4 and pi5 and not pi6 and not pi7 )
      or ( not pi0 and pi1 and not pi2 and pi3 and pi4 and pi5 and not pi6 and not pi7 )
      or ( pi0 and not pi1 and not pi2 and pi3 and pi4 and pi5 and not pi6 and not pi7 )
      or ( pi0 and 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 pi4 and pi5 and not 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 pi1 and not pi2 and not pi3 and pi4 and pi5 and not pi6 and not pi7 )
      or ( pi0 and pi1 and pi2 and pi3 and not pi4 and pi5 and not pi6 and not pi7 )
      or ( not pi0 and pi1 and pi2 and pi3 and not pi4 and pi5 and not pi6 and not pi7 )
      or ( pi0 and not pi1 and pi2 and pi3 and not pi4 and pi5 and not pi6 and not pi7 )
      or ( pi0 and pi1 and not pi2 and pi3 and not 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 pi1 and pi2 and pi3 and pi4 and not pi5 and not pi6 and not pi7 )
      or ( not pi0 and pi1 and pi2 and pi3 and pi4 and not pi5 and not pi6 and not pi7 )
      or ( pi0 and not pi1 and pi2 and pi3 and pi4 and not pi5 and not pi6 and not pi7 )
      or ( pi0 and pi1 and not pi2 and pi3 and pi4 and not 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 pi1 and pi2 and pi3 and not pi4 and not pi5 and not pi6 and not pi7 );
end top_behav;
