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

entity top is 
  Port (
    pi00,pi07,pi14,pi24,pi31,pi38,pi48,pi55,pi62,pi21,pi45,pi69,pi72,pi75,pi78,pi81: in std_logic;
    po00,po07: inout std_logic
  );
end top;

architecture top_behav of top is
begin
    po00 <= ( not pi24 and pi31 and not pi38 )
      or ( not pi07 and pi31 and not pi55 )
      or ( pi07 and not pi14 and pi31 and pi38 and not pi48 )
      or ( not pi14 and pi24 and pi31 and pi38 and not pi48 )
      or ( pi07 and not pi14 and pi31 and not pi48 and pi55 )
      or ( not pi14 and pi24 and pi31 and not pi48 and pi55 )
      or ( not pi00 and pi07 and pi24 and pi31 and not pi62 )
      or ( not pi00 and pi24 and pi31 and pi38 and not pi62 )
      or ( not pi00 and pi07 and pi31 and pi55 and not pi62 )
      or ( not pi00 and pi31 and pi38 and pi55 and not pi62 );
    po07 <= ( pi24 and not pi31 and pi38 )
      or ( pi07 and not pi31 and pi55 )
      or ( not pi07 and pi14 and not pi31 and not pi38 and pi48 )
      or ( pi14 and not pi24 and not pi31 and not pi38 and pi48 )
      or ( not pi07 and pi14 and not pi31 and pi48 and not pi55 )
      or ( pi14 and not pi24 and not pi31 and pi48 and not pi55 )
      or ( pi00 and not pi07 and not pi24 and not pi31 and pi62 )
      or ( pi00 and not pi24 and not pi31 and not pi38 and pi62 )
      or ( pi00 and not pi07 and not pi31 and not pi55 and pi62 )
      or ( pi00 and not pi31 and not pi38 and not pi55 and pi62 )
      or ( pi24 and not pi31 and not pi38 and pi45 and not pi55 and not pi62 )
      or ( not pi31 and not pi38 and pi45 and pi48 and not pi55 and not pi62 )
      or ( pi24 and not pi31 and not pi38 and not pi55 and not pi62 and pi69 )
      or ( not pi31 and not pi38 and pi48 and not pi55 and not pi62 and pi69 )
      or ( pi07 and not pi31 and not pi38 and not pi55 and not pi62 and pi75 )
      or ( pi14 and not pi31 and not pi38 and not pi55 and not pi62 and pi75 )
      or ( pi07 and not pi31 and not pi38 and not pi55 and not pi62 and pi78 )
      or ( pi14 and not pi31 and not pi38 and not pi55 and not pi62 and pi78 )
      or ( pi00 and not pi07 and pi21 and not pi24 and not pi31 and not pi38 and not pi55 and not pi62 )
      or ( pi00 and not pi14 and pi21 and not pi24 and not pi31 and not pi38 and not pi55 and not pi62 )
      or ( pi00 and not pi07 and not pi24 and not pi31 and not pi38 and pi45 and not pi55 and not pi62 )
      or ( pi00 and not pi14 and not pi24 and not pi31 and not pi38 and pi45 and not pi55 and not pi62 )
      or ( pi00 and not pi07 and pi21 and not pi31 and not pi38 and not pi45 and not pi55 and not pi62 )
      or ( pi00 and not pi14 and pi21 and not pi31 and not pi38 and not pi45 and not pi55 and not pi62 )
      or ( not pi07 and pi21 and pi24 and not pi31 and not pi38 and not pi45 and not pi55 and not pi62 )
      or ( not pi14 and pi21 and pi24 and not pi31 and not pi38 and not pi45 and not pi55 and not pi62 )
      or ( not pi07 and pi21 and not pi31 and not pi38 and not pi45 and pi48 and not pi55 and not pi62 )
      or ( not pi14 and pi21 and not pi31 and not pi38 and not pi45 and pi48 and not pi55 and not pi62 )
      or ( pi00 and not pi07 and pi21 and not pi31 and not pi38 and not pi48 and not pi55 and not pi62 )
      or ( pi00 and not pi14 and pi21 and not pi31 and not pi38 and not pi48 and not pi55 and not pi62 )
      or ( pi00 and not pi07 and not pi31 and not pi38 and pi45 and not pi48 and not pi55 and not pi62 )
      or ( pi00 and not pi14 and not pi31 and not pi38 and pi45 and not pi48 and not pi55 and not pi62 )
      or ( pi00 and not pi07 and not pi24 and not pi31 and not pi38 and not pi55 and not pi62 and pi69 )
      or ( pi00 and not pi14 and not pi24 and not pi31 and not pi38 and not pi55 and not pi62 and pi69 )
      or ( pi00 and not pi07 and not pi31 and not pi38 and not pi48 and not pi55 and not pi62 and pi69 )
      or ( pi00 and not pi14 and not pi31 and not pi38 and not pi48 and not pi55 and not pi62 and pi69 )
      or ( pi00 and not pi07 and pi21 and not pi31 and not pi38 and not pi55 and not pi62 and not pi69 )
      or ( pi00 and not pi14 and pi21 and not pi31 and not pi38 and not pi55 and not pi62 and not pi69 )
      or ( not pi07 and pi21 and pi24 and not pi31 and not pi38 and not pi55 and not pi62 and not pi69 )
      or ( not pi14 and pi21 and pi24 and not pi31 and not pi38 and not pi55 and not pi62 and not pi69 )
      or ( not pi07 and pi21 and not pi31 and not pi38 and pi48 and not pi55 and not pi62 and not pi69 )
      or ( not pi14 and pi21 and not pi31 and not pi38 and pi48 and not pi55 and not pi62 and not pi69 )
      or ( pi00 and not pi07 and not pi24 and not pi31 and not pi38 and not pi55 and not pi62 and pi72 )
      or ( pi00 and not pi14 and not pi24 and not pi31 and not pi38 and not pi55 and not pi62 and pi72 )
      or ( not pi07 and pi21 and not pi31 and not pi38 and not pi45 and not pi55 and not pi62 and pi72 )
      or ( not pi14 and pi21 and not pi31 and not pi38 and not pi45 and not pi55 and not pi62 and pi72 )
      or ( pi00 and not pi24 and not pi31 and not pi38 and not pi45 and not pi55 and not pi62 and pi72 )
      or ( pi00 and not pi07 and not pi31 and not pi38 and not pi48 and not pi55 and not pi62 and pi72 )
      or ( pi00 and not pi14 and not pi31 and not pi38 and not pi48 and not pi55 and not pi62 and pi72 )
      or ( pi00 and not pi31 and not pi38 and not pi45 and not pi48 and not pi55 and not pi62 and pi72 )
      or ( not pi07 and pi21 and not pi31 and not pi38 and not pi55 and not pi62 and not pi69 and pi72 )
      or ( not pi14 and pi21 and not pi31 and not pi38 and not pi55 and not pi62 and not pi69 and pi72 )
      or ( pi00 and not pi24 and not pi31 and not pi38 and not pi55 and not pi62 and not pi69 and pi72 )
      or ( pi00 and not pi31 and not pi38 and not pi48 and not pi55 and not pi62 and not pi69 and pi72 )
      or ( pi00 and not pi07 and not pi24 and not pi31 and not pi38 and not pi55 and not pi62 and pi75 )
      or ( pi00 and not pi14 and not pi24 and not pi31 and not pi38 and not pi55 and not pi62 and pi75 )
      or ( not pi07 and pi21 and not pi31 and not pi38 and not pi45 and not pi55 and not pi62 and pi75 )
      or ( not pi14 and pi21 and not pi31 and not pi38 and not pi45 and not pi55 and not pi62 and pi75 )
      or ( pi00 and not pi24 and not pi31 and not pi38 and not pi45 and not pi55 and not pi62 and pi75 )
      or ( pi00 and not pi07 and not pi31 and not pi38 and not pi48 and not pi55 and not pi62 and pi75 )
      or ( pi00 and not pi14 and not pi31 and not pi38 and not pi48 and not pi55 and not pi62 and pi75 )
      or ( pi00 and not pi31 and not pi38 and not pi45 and not pi48 and not pi55 and not pi62 and pi75 )
      or ( not pi07 and pi21 and not pi31 and not pi38 and not pi55 and not pi62 and not pi69 and pi75 )
      or ( not pi14 and pi21 and not pi31 and not pi38 and not pi55 and not pi62 and not pi69 and pi75 )
      or ( pi00 and not pi24 and not pi31 and not pi38 and not pi55 and not pi62 and not pi69 and pi75 )
      or ( pi00 and not pi31 and not pi38 and not pi48 and not pi55 and not pi62 and not pi69 and pi75 )
      or ( pi00 and not pi07 and pi21 and not pi31 and not pi38 and not pi55 and not pi62 and not pi75 )
      or ( pi00 and not pi14 and pi21 and not pi31 and not pi38 and not pi55 and not pi62 and not pi75 )
      or ( pi00 and not pi07 and not pi31 and not pi38 and pi45 and not pi55 and not pi62 and not pi75 )
      or ( pi00 and not pi14 and not pi31 and not pi38 and pi45 and not pi55 and not pi62 and not pi75 )
      or ( pi00 and not pi07 and not pi31 and not pi38 and not pi55 and not pi62 and pi69 and not pi75 )
      or ( pi00 and not pi14 and not pi31 and not pi38 and not pi55 and not pi62 and pi69 and not pi75 )
      or ( pi00 and not pi07 and not pi24 and not pi31 and not pi38 and not pi55 and not pi62 and pi78 )
      or ( pi00 and not pi14 and not pi24 and not pi31 and not pi38 and not pi55 and not pi62 and pi78 )
      or ( not pi07 and pi21 and not pi31 and not pi38 and not pi45 and not pi55 and not pi62 and pi78 )
      or ( not pi14 and pi21 and not pi31 and not pi38 and not pi45 and not pi55 and not pi62 and pi78 )
      or ( pi00 and not pi24 and not pi31 and not pi38 and not pi45 and not pi55 and not pi62 and pi78 )
      or ( pi00 and not pi07 and not pi31 and not pi38 and not pi48 and not pi55 and not pi62 and pi78 )
      or ( pi00 and not pi14 and not pi31 and not pi38 and not pi48 and not pi55 and not pi62 and pi78 )
      or ( pi00 and not pi31 and not pi38 and not pi45 and not pi48 and not pi55 and not pi62 and pi78 )
      or ( not pi07 and pi21 and not pi31 and not pi38 and not pi55 and not pi62 and not pi69 and pi78 )
      or ( not pi14 and pi21 and not pi31 and not pi38 and not pi55 and not pi62 and not pi69 and pi78 )
      or ( pi00 and not pi24 and not pi31 and not pi38 and not pi55 and not pi62 and not pi69 and pi78 )
      or ( pi00 and not pi31 and not pi38 and not pi48 and not pi55 and not pi62 and not pi69 and pi78 )
      or ( pi00 and not pi07 and pi21 and not pi31 and not pi38 and not pi55 and not pi62 and not pi78 )
      or ( pi00 and not pi14 and pi21 and not pi31 and not pi38 and not pi55 and not pi62 and not pi78 )
      or ( pi00 and not pi07 and not pi31 and not pi38 and pi45 and not pi55 and not pi62 and not pi78 )
      or ( pi00 and not pi14 and not pi31 and not pi38 and pi45 and not pi55 and not pi62 and not pi78 )
      or ( pi00 and not pi07 and not pi31 and not pi38 and not pi55 and not pi62 and pi69 and not pi78 )
      or ( pi00 and not pi14 and not pi31 and not pi38 and not pi55 and not pi62 and pi69 and not pi78 )
      or ( pi00 and not pi07 and not pi24 and not pi31 and not pi38 and not pi55 and not pi62 and pi81 )
      or ( pi00 and not pi14 and not pi24 and not pi31 and not pi38 and not pi55 and not pi62 and pi81 )
      or ( not pi07 and pi21 and not pi31 and not pi38 and not pi45 and not pi55 and not pi62 and pi81 )
      or ( not pi14 and pi21 and not pi31 and not pi38 and not pi45 and not pi55 and not pi62 and pi81 )
      or ( pi00 and not pi24 and not pi31 and not pi38 and not pi45 and not pi55 and not pi62 and pi81 )
      or ( pi00 and not pi07 and not pi31 and not pi38 and not pi48 and not pi55 and not pi62 and pi81 )
      or ( pi00 and not pi14 and not pi31 and not pi38 and not pi48 and not pi55 and not pi62 and pi81 )
      or ( pi00 and not pi31 and not pi38 and not pi45 and not pi48 and not pi55 and not pi62 and pi81 )
      or ( not pi07 and pi21 and not pi31 and not pi38 and not pi55 and not pi62 and not pi69 and pi81 )
      or ( not pi14 and pi21 and not pi31 and not pi38 and not pi55 and not pi62 and not pi69 and pi81 )
      or ( pi00 and not pi24 and not pi31 and not pi38 and not pi55 and not pi62 and not pi69 and pi81 )
      or ( pi00 and not pi31 and not pi38 and not pi48 and not pi55 and not pi62 and not pi69 and pi81 )
      or ( pi00 and not pi07 and not pi31 and not pi38 and not pi55 and not pi62 and not pi75 and pi81 )
      or ( pi00 and not pi14 and not pi31 and not pi38 and not pi55 and not pi62 and not pi75 and pi81 )
      or ( pi00 and not pi07 and not pi31 and not pi38 and not pi55 and not pi62 and not pi78 and pi81 )
      or ( pi00 and not pi14 and not pi31 and not pi38 and not pi55 and not pi62 and not pi78 and pi81 );
end top_behav;
