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

entity top is 
  Port (
    pi06,pi13,pi20,pi23,pi30,pi37,pi44,pi47,pi54,pi61,pi68,pi71,pi74,pi77,pi80,pi83: in std_logic;
    po06,po13: inout std_logic
  );
end top;

architecture top_behav of top is
begin
    po06 <= ( not pi30 and pi37 and not pi44 )
      or ( not pi13 and pi37 and not pi61 )
      or ( pi13 and not pi20 and pi37 and pi44 and not pi54 )
      or ( not pi20 and pi30 and pi37 and pi44 and not pi54 )
      or ( pi13 and not pi20 and pi37 and not pi54 and pi61 )
      or ( not pi20 and pi30 and pi37 and not pi54 and pi61 )
      or ( not pi06 and pi13 and pi30 and pi37 and not pi68 )
      or ( not pi06 and pi30 and pi37 and pi44 and not pi68 )
      or ( not pi06 and pi13 and pi37 and pi61 and not pi68 )
      or ( not pi06 and pi37 and pi44 and pi61 and not pi68 )
      or ( not pi30 and pi37 and pi44 and not pi47 and pi61 and pi68 )
      or ( pi37 and pi44 and not pi47 and not pi54 and pi61 and pi68 )
      or ( not pi30 and pi37 and pi44 and pi61 and pi68 and not pi71 )
      or ( pi37 and pi44 and not pi54 and pi61 and pi68 and not pi71 )
      or ( not pi13 and pi37 and pi44 and pi61 and pi68 and not pi77 )
      or ( not pi20 and pi37 and pi44 and pi61 and pi68 and not pi77 )
      or ( not pi13 and pi37 and pi44 and pi61 and pi68 and not pi80 )
      or ( not pi20 and pi37 and pi44 and pi61 and pi68 and not pi80 )
      or ( not pi06 and pi13 and not pi23 and pi30 and pi37 and pi44 and pi61 and pi68 )
      or ( not pi06 and pi20 and not pi23 and pi30 and pi37 and pi44 and pi61 and pi68 )
      or ( not pi06 and pi13 and not pi23 and pi37 and pi44 and pi47 and pi61 and pi68 )
      or ( not pi06 and pi20 and not pi23 and pi37 and pi44 and pi47 and pi61 and pi68 )
      or ( pi13 and not pi23 and not pi30 and pi37 and pi44 and pi47 and pi61 and pi68 )
      or ( pi20 and not pi23 and not pi30 and pi37 and pi44 and pi47 and pi61 and pi68 )
      or ( not pi06 and pi13 and pi30 and pi37 and pi44 and not pi47 and pi61 and pi68 )
      or ( not pi06 and pi20 and pi30 and pi37 and pi44 and not pi47 and pi61 and pi68 )
      or ( not pi06 and pi13 and not pi23 and pi37 and pi44 and pi54 and pi61 and pi68 )
      or ( not pi06 and pi20 and not pi23 and pi37 and pi44 and pi54 and pi61 and pi68 )
      or ( not pi06 and pi13 and pi37 and pi44 and not pi47 and pi54 and pi61 and pi68 )
      or ( not pi06 and pi20 and pi37 and pi44 and not pi47 and pi54 and pi61 and pi68 )
      or ( pi13 and not pi23 and pi37 and pi44 and pi47 and not pi54 and pi61 and pi68 )
      or ( pi20 and not pi23 and pi37 and pi44 and pi47 and not pi54 and pi61 and pi68 )
      or ( not pi06 and pi13 and not pi23 and pi37 and pi44 and pi61 and pi68 and pi71 )
      or ( not pi06 and pi20 and not pi23 and pi37 and pi44 and pi61 and pi68 and pi71 )
      or ( pi13 and not pi23 and not pi30 and pi37 and pi44 and pi61 and pi68 and pi71 )
      or ( pi20 and not pi23 and not pi30 and pi37 and pi44 and pi61 and pi68 and pi71 )
      or ( pi13 and not pi23 and pi37 and pi44 and not pi54 and pi61 and pi68 and pi71 )
      or ( pi20 and not pi23 and pi37 and pi44 and not pi54 and pi61 and pi68 and pi71 )
      or ( not pi06 and pi13 and pi30 and pi37 and pi44 and pi61 and pi68 and not pi71 )
      or ( not pi06 and pi20 and pi30 and pi37 and pi44 and pi61 and pi68 and not pi71 )
      or ( not pi06 and pi13 and pi37 and pi44 and pi54 and pi61 and pi68 and not pi71 )
      or ( not pi06 and pi20 and pi37 and pi44 and pi54 and pi61 and pi68 and not pi71 )
      or ( not pi06 and pi13 and pi30 and pi37 and pi44 and pi61 and pi68 and not pi74 )
      or ( not pi06 and pi20 and pi30 and pi37 and pi44 and pi61 and pi68 and not pi74 )
      or ( pi13 and not pi23 and pi37 and pi44 and pi47 and pi61 and pi68 and not pi74 )
      or ( pi20 and not pi23 and pi37 and pi44 and pi47 and pi61 and pi68 and not pi74 )
      or ( not pi06 and pi30 and pi37 and pi44 and pi47 and pi61 and pi68 and not pi74 )
      or ( not pi06 and pi13 and pi37 and pi44 and pi54 and pi61 and pi68 and not pi74 )
      or ( not pi06 and pi20 and pi37 and pi44 and pi54 and pi61 and pi68 and not pi74 )
      or ( not pi06 and pi37 and pi44 and pi47 and pi54 and pi61 and pi68 and not pi74 )
      or ( pi13 and not pi23 and pi37 and pi44 and pi61 and pi68 and pi71 and not pi74 )
      or ( pi20 and not pi23 and pi37 and pi44 and pi61 and pi68 and pi71 and not pi74 )
      or ( not pi06 and pi30 and pi37 and pi44 and pi61 and pi68 and pi71 and not pi74 )
      or ( not pi06 and pi37 and pi44 and pi54 and pi61 and pi68 and pi71 and not pi74 )
      or ( not pi06 and pi13 and not pi23 and pi37 and pi44 and pi61 and pi68 and pi77 )
      or ( not pi06 and pi20 and not pi23 and pi37 and pi44 and pi61 and pi68 and pi77 )
      or ( not pi06 and pi13 and pi37 and pi44 and not pi47 and pi61 and pi68 and pi77 )
      or ( not pi06 and pi20 and pi37 and pi44 and not pi47 and pi61 and pi68 and pi77 )
      or ( not pi06 and pi13 and pi37 and pi44 and pi61 and pi68 and not pi71 and pi77 )
      or ( not pi06 and pi20 and pi37 and pi44 and pi61 and pi68 and not pi71 and pi77 )
      or ( not pi06 and pi13 and pi30 and pi37 and pi44 and pi61 and pi68 and not pi77 )
      or ( not pi06 and pi20 and pi30 and pi37 and pi44 and pi61 and pi68 and not pi77 )
      or ( pi13 and not pi23 and pi37 and pi44 and pi47 and pi61 and pi68 and not pi77 )
      or ( pi20 and not pi23 and pi37 and pi44 and pi47 and pi61 and pi68 and not pi77 )
      or ( not pi06 and pi30 and pi37 and pi44 and pi47 and pi61 and pi68 and not pi77 )
      or ( not pi06 and pi13 and pi37 and pi44 and pi54 and pi61 and pi68 and not pi77 )
      or ( not pi06 and pi20 and pi37 and pi44 and pi54 and pi61 and pi68 and not pi77 )
      or ( not pi06 and pi37 and pi44 and pi47 and pi54 and pi61 and pi68 and not pi77 )
      or ( pi13 and not pi23 and pi37 and pi44 and pi61 and pi68 and pi71 and not pi77 )
      or ( pi20 and not pi23 and pi37 and pi44 and pi61 and pi68 and pi71 and not pi77 )
      or ( not pi06 and pi30 and pi37 and pi44 and pi61 and pi68 and pi71 and not pi77 )
      or ( not pi06 and pi37 and pi44 and pi54 and pi61 and pi68 and pi71 and not pi77 )
      or ( not pi06 and pi13 and not pi23 and pi37 and pi44 and pi61 and pi68 and pi80 )
      or ( not pi06 and pi20 and not pi23 and pi37 and pi44 and pi61 and pi68 and pi80 )
      or ( not pi06 and pi13 and pi37 and pi44 and not pi47 and pi61 and pi68 and pi80 )
      or ( not pi06 and pi20 and pi37 and pi44 and not pi47 and pi61 and pi68 and pi80 )
      or ( not pi06 and pi13 and pi37 and pi44 and pi61 and pi68 and not pi71 and pi80 )
      or ( not pi06 and pi20 and pi37 and pi44 and pi61 and pi68 and not pi71 and pi80 )
      or ( not pi06 and pi13 and pi30 and pi37 and pi44 and pi61 and pi68 and not pi80 )
      or ( not pi06 and pi20 and pi30 and pi37 and pi44 and pi61 and pi68 and not pi80 )
      or ( pi13 and not pi23 and pi37 and pi44 and pi47 and pi61 and pi68 and not pi80 )
      or ( pi20 and not pi23 and pi37 and pi44 and pi47 and pi61 and pi68 and not pi80 )
      or ( not pi06 and pi30 and pi37 and pi44 and pi47 and pi61 and pi68 and not pi80 )
      or ( not pi06 and pi13 and pi37 and pi44 and pi54 and pi61 and pi68 and not pi80 )
      or ( not pi06 and pi20 and pi37 and pi44 and pi54 and pi61 and pi68 and not pi80 )
      or ( not pi06 and pi37 and pi44 and pi47 and pi54 and pi61 and pi68 and not pi80 )
      or ( pi13 and not pi23 and pi37 and pi44 and pi61 and pi68 and pi71 and not pi80 )
      or ( pi20 and not pi23 and pi37 and pi44 and pi61 and pi68 and pi71 and not pi80 )
      or ( not pi06 and pi30 and pi37 and pi44 and pi61 and pi68 and pi71 and not pi80 )
      or ( not pi06 and pi37 and pi44 and pi54 and pi61 and pi68 and pi71 and not pi80 )
      or ( not pi06 and pi13 and pi30 and pi37 and pi44 and pi61 and pi68 and not pi83 )
      or ( not pi06 and pi20 and pi30 and pi37 and pi44 and pi61 and pi68 and not pi83 )
      or ( pi13 and not pi23 and pi37 and pi44 and pi47 and pi61 and pi68 and not pi83 )
      or ( pi20 and not pi23 and pi37 and pi44 and pi47 and pi61 and pi68 and not pi83 )
      or ( not pi06 and pi30 and pi37 and pi44 and pi47 and pi61 and pi68 and not pi83 )
      or ( not pi06 and pi13 and pi37 and pi44 and pi54 and pi61 and pi68 and not pi83 )
      or ( not pi06 and pi20 and pi37 and pi44 and pi54 and pi61 and pi68 and not pi83 )
      or ( not pi06 and pi37 and pi44 and pi47 and pi54 and pi61 and pi68 and not pi83 )
      or ( pi13 and not pi23 and pi37 and pi44 and pi61 and pi68 and pi71 and not pi83 )
      or ( pi20 and not pi23 and pi37 and pi44 and pi61 and pi68 and pi71 and not pi83 )
      or ( not pi06 and pi30 and pi37 and pi44 and pi61 and pi68 and pi71 and not pi83 )
      or ( not pi06 and pi37 and pi44 and pi54 and pi61 and pi68 and pi71 and not pi83 )
      or ( not pi06 and pi13 and pi37 and pi44 and pi61 and pi68 and pi77 and not pi83 )
      or ( not pi06 and pi20 and pi37 and pi44 and pi61 and pi68 and pi77 and not pi83 )
      or ( not pi06 and pi13 and pi37 and pi44 and pi61 and pi68 and pi80 and not pi83 )
      or ( not pi06 and pi20 and pi37 and pi44 and pi61 and pi68 and pi80 and not pi83 );
    po13 <= ( pi30 and not pi37 and pi44 )
      or ( pi13 and not pi37 and pi61 )
      or ( not pi13 and pi20 and not pi37 and not pi44 and pi54 )
      or ( pi20 and not pi30 and not pi37 and not pi44 and pi54 )
      or ( not pi13 and pi20 and not pi37 and pi54 and not pi61 )
      or ( pi20 and not pi30 and not pi37 and pi54 and not pi61 )
      or ( pi06 and not pi13 and not pi30 and not pi37 and pi68 )
      or ( pi06 and not pi30 and not pi37 and not pi44 and pi68 )
      or ( pi06 and not pi13 and not pi37 and not pi61 and pi68 )
      or ( pi06 and not pi37 and not pi44 and not pi61 and pi68 )
      or ( pi30 and not pi37 and not pi44 and pi47 and not pi61 and not pi68 )
      or ( not pi37 and not pi44 and pi47 and pi54 and not pi61 and not pi68 )
      or ( pi30 and not pi37 and not pi44 and not pi61 and not pi68 and pi71 )
      or ( not pi37 and not pi44 and pi54 and not pi61 and not pi68 and pi71 )
      or ( pi13 and not pi37 and not pi44 and not pi61 and not pi68 and pi77 )
      or ( pi20 and not pi37 and not pi44 and not pi61 and not pi68 and pi77 )
      or ( pi13 and not pi37 and not pi44 and not pi61 and not pi68 and pi80 )
      or ( pi20 and not pi37 and not pi44 and not pi61 and not pi68 and pi80 )
      or ( pi06 and not pi13 and pi23 and not pi30 and not pi37 and not pi44 and not pi61 and not pi68 )
      or ( pi06 and not pi20 and pi23 and not pi30 and not pi37 and not pi44 and not pi61 and not pi68 )
      or ( pi06 and not pi13 and not pi30 and not pi37 and not pi44 and pi47 and not pi61 and not pi68 )
      or ( pi06 and not pi20 and not pi30 and not pi37 and not pi44 and pi47 and not pi61 and not pi68 )
      or ( pi06 and not pi13 and pi23 and not pi37 and not pi44 and not pi47 and not pi61 and not pi68 )
      or ( pi06 and not pi20 and pi23 and not pi37 and not pi44 and not pi47 and not pi61 and not pi68 )
      or ( not pi13 and pi23 and pi30 and not pi37 and not pi44 and not pi47 and not pi61 and not pi68 )
      or ( not pi20 and pi23 and pi30 and not pi37 and not pi44 and not pi47 and not pi61 and not pi68 )
      or ( not pi13 and pi23 and not pi37 and not pi44 and not pi47 and pi54 and not pi61 and not pi68 )
      or ( not pi20 and pi23 and not pi37 and not pi44 and not pi47 and pi54 and not pi61 and not pi68 )
      or ( pi06 and not pi13 and pi23 and not pi37 and not pi44 and not pi54 and not pi61 and not pi68 )
      or ( pi06 and not pi20 and pi23 and not pi37 and not pi44 and not pi54 and not pi61 and not pi68 )
      or ( pi06 and not pi13 and not pi37 and not pi44 and pi47 and not pi54 and not pi61 and not pi68 )
      or ( pi06 and not pi20 and not pi37 and not pi44 and pi47 and not pi54 and not pi61 and not pi68 )
      or ( pi06 and not pi13 and not pi30 and not pi37 and not pi44 and not pi61 and not pi68 and pi71 )
      or ( pi06 and not pi20 and not pi30 and not pi37 and not pi44 and not pi61 and not pi68 and pi71 )
      or ( pi06 and not pi13 and not pi37 and not pi44 and not pi54 and not pi61 and not pi68 and pi71 )
      or ( pi06 and not pi20 and not pi37 and not pi44 and not pi54 and not pi61 and not pi68 and pi71 )
      or ( pi06 and not pi13 and pi23 and not pi37 and not pi44 and not pi61 and not pi68 and not pi71 )
      or ( pi06 and not pi20 and pi23 and not pi37 and not pi44 and not pi61 and not pi68 and not pi71 )
      or ( not pi13 and pi23 and pi30 and not pi37 and not pi44 and not pi61 and not pi68 and not pi71 )
      or ( not pi20 and pi23 and pi30 and not pi37 and not pi44 and not pi61 and not pi68 and not pi71 )
      or ( not pi13 and pi23 and not pi37 and not pi44 and pi54 and not pi61 and not pi68 and not pi71 )
      or ( not pi20 and pi23 and not pi37 and not pi44 and pi54 and not pi61 and not pi68 and not pi71 )
      or ( pi06 and not pi13 and not pi30 and not pi37 and not pi44 and not pi61 and not pi68 and pi74 )
      or ( pi06 and not pi20 and not pi30 and not pi37 and not pi44 and not pi61 and not pi68 and pi74 )
      or ( not pi13 and pi23 and not pi37 and not pi44 and not pi47 and not pi61 and not pi68 and pi74 )
      or ( not pi20 and pi23 and not pi37 and not pi44 and not pi47 and not pi61 and not pi68 and pi74 )
      or ( pi06 and not pi30 and not pi37 and not pi44 and not pi47 and not pi61 and not pi68 and pi74 )
      or ( pi06 and not pi13 and not pi37 and not pi44 and not pi54 and not pi61 and not pi68 and pi74 )
      or ( pi06 and not pi20 and not pi37 and not pi44 and not pi54 and not pi61 and not pi68 and pi74 )
      or ( pi06 and not pi37 and not pi44 and not pi47 and not pi54 and not pi61 and not pi68 and pi74 )
      or ( not pi13 and pi23 and not pi37 and not pi44 and not pi61 and not pi68 and not pi71 and pi74 )
      or ( not pi20 and pi23 and not pi37 and not pi44 and not pi61 and not pi68 and not pi71 and pi74 )
      or ( pi06 and not pi30 and not pi37 and not pi44 and not pi61 and not pi68 and not pi71 and pi74 )
      or ( pi06 and not pi37 and not pi44 and not pi54 and not pi61 and not pi68 and not pi71 and pi74 )
      or ( pi06 and not pi13 and not pi30 and not pi37 and not pi44 and not pi61 and not pi68 and pi77 )
      or ( pi06 and not pi20 and not pi30 and not pi37 and not pi44 and not pi61 and not pi68 and pi77 )
      or ( not pi13 and pi23 and not pi37 and not pi44 and not pi47 and not pi61 and not pi68 and pi77 )
      or ( not pi20 and pi23 and not pi37 and not pi44 and not pi47 and not pi61 and not pi68 and pi77 )
      or ( pi06 and not pi30 and not pi37 and not pi44 and not pi47 and not pi61 and not pi68 and pi77 )
      or ( pi06 and not pi13 and not pi37 and not pi44 and not pi54 and not pi61 and not pi68 and pi77 )
      or ( pi06 and not pi20 and not pi37 and not pi44 and not pi54 and not pi61 and not pi68 and pi77 )
      or ( pi06 and not pi37 and not pi44 and not pi47 and not pi54 and not pi61 and not pi68 and pi77 )
      or ( not pi13 and pi23 and not pi37 and not pi44 and not pi61 and not pi68 and not pi71 and pi77 )
      or ( not pi20 and pi23 and not pi37 and not pi44 and not pi61 and not pi68 and not pi71 and pi77 )
      or ( pi06 and not pi30 and not pi37 and not pi44 and not pi61 and not pi68 and not pi71 and pi77 )
      or ( pi06 and not pi37 and not pi44 and not pi54 and not pi61 and not pi68 and not pi71 and pi77 )
      or ( pi06 and not pi13 and pi23 and not pi37 and not pi44 and not pi61 and not pi68 and not pi77 )
      or ( pi06 and not pi20 and pi23 and not pi37 and not pi44 and not pi61 and not pi68 and not pi77 )
      or ( pi06 and not pi13 and not pi37 and not pi44 and pi47 and not pi61 and not pi68 and not pi77 )
      or ( pi06 and not pi20 and not pi37 and not pi44 and pi47 and not pi61 and not pi68 and not pi77 )
      or ( pi06 and not pi13 and not pi37 and not pi44 and not pi61 and not pi68 and pi71 and not pi77 )
      or ( pi06 and not pi20 and not pi37 and not pi44 and not pi61 and not pi68 and pi71 and not pi77 )
      or ( pi06 and not pi13 and not pi30 and not pi37 and not pi44 and not pi61 and not pi68 and pi80 )
      or ( pi06 and not pi20 and not pi30 and not pi37 and not pi44 and not pi61 and not pi68 and pi80 )
      or ( not pi13 and pi23 and not pi37 and not pi44 and not pi47 and not pi61 and not pi68 and pi80 )
      or ( not pi20 and pi23 and not pi37 and not pi44 and not pi47 and not pi61 and not pi68 and pi80 )
      or ( pi06 and not pi30 and not pi37 and not pi44 and not pi47 and not pi61 and not pi68 and pi80 )
      or ( pi06 and not pi13 and not pi37 and not pi44 and not pi54 and not pi61 and not pi68 and pi80 )
      or ( pi06 and not pi20 and not pi37 and not pi44 and not pi54 and not pi61 and not pi68 and pi80 )
      or ( pi06 and not pi37 and not pi44 and not pi47 and not pi54 and not pi61 and not pi68 and pi80 )
      or ( not pi13 and pi23 and not pi37 and not pi44 and not pi61 and not pi68 and not pi71 and pi80 )
      or ( not pi20 and pi23 and not pi37 and not pi44 and not pi61 and not pi68 and not pi71 and pi80 )
      or ( pi06 and not pi30 and not pi37 and not pi44 and not pi61 and not pi68 and not pi71 and pi80 )
      or ( pi06 and not pi37 and not pi44 and not pi54 and not pi61 and not pi68 and not pi71 and pi80 )
      or ( pi06 and not pi13 and pi23 and not pi37 and not pi44 and not pi61 and not pi68 and not pi80 )
      or ( pi06 and not pi20 and pi23 and not pi37 and not pi44 and not pi61 and not pi68 and not pi80 )
      or ( pi06 and not pi13 and not pi37 and not pi44 and pi47 and not pi61 and not pi68 and not pi80 )
      or ( pi06 and not pi20 and not pi37 and not pi44 and pi47 and not pi61 and not pi68 and not pi80 )
      or ( pi06 and not pi13 and not pi37 and not pi44 and not pi61 and not pi68 and pi71 and not pi80 )
      or ( pi06 and not pi20 and not pi37 and not pi44 and not pi61 and not pi68 and pi71 and not pi80 )
      or ( pi06 and not pi13 and not pi30 and not pi37 and not pi44 and not pi61 and not pi68 and pi83 )
      or ( pi06 and not pi20 and not pi30 and not pi37 and not pi44 and not pi61 and not pi68 and pi83 )
      or ( not pi13 and pi23 and not pi37 and not pi44 and not pi47 and not pi61 and not pi68 and pi83 )
      or ( not pi20 and pi23 and not pi37 and not pi44 and not pi47 and not pi61 and not pi68 and pi83 )
      or ( pi06 and not pi30 and not pi37 and not pi44 and not pi47 and not pi61 and not pi68 and pi83 )
      or ( pi06 and not pi13 and not pi37 and not pi44 and not pi54 and not pi61 and not pi68 and pi83 )
      or ( pi06 and not pi20 and not pi37 and not pi44 and not pi54 and not pi61 and not pi68 and pi83 )
      or ( pi06 and not pi37 and not pi44 and not pi47 and not pi54 and not pi61 and not pi68 and pi83 )
      or ( not pi13 and pi23 and not pi37 and not pi44 and not pi61 and not pi68 and not pi71 and pi83 )
      or ( not pi20 and pi23 and not pi37 and not pi44 and not pi61 and not pi68 and not pi71 and pi83 )
      or ( pi06 and not pi30 and not pi37 and not pi44 and not pi61 and not pi68 and not pi71 and pi83 )
      or ( pi06 and not pi37 and not pi44 and not pi54 and not pi61 and not pi68 and not pi71 and pi83 )
      or ( pi06 and not pi13 and not pi37 and not pi44 and not pi61 and not pi68 and not pi77 and pi83 )
      or ( pi06 and not pi20 and not pi37 and not pi44 and not pi61 and not pi68 and not pi77 and pi83 )
      or ( pi06 and not pi13 and not pi37 and not pi44 and not pi61 and not pi68 and not pi80 and pi83 )
      or ( pi06 and not pi20 and not pi37 and not pi44 and not pi61 and not pi68 and not pi80 and pi83 );
end top_behav;
