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

entity top is 
  Port (
    pi00,pi01,pi02,pi03,pi04,pi05,pi06,pi07,pi08,pi09,pi10,pi11,pi12,pi13: in std_logic;
    po00,po01,po02,po03,po04,po05,po06,po07,po08,po09,po10,po11,po12,po13: inout std_logic
  );
end top;

architecture top_behav of top is
begin
    po00 <= ( pi01 and not pi04 and pi05 and pi06 and pi13 )
      or ( pi01 and not pi03 and pi04 and pi05 and pi06 )
      or ( not pi02 and pi03 and pi04 and pi05 and pi13 )
      or ( pi01 and not pi04 and not pi06 and pi13 )
      or ( not pi03 and pi04 and pi05 and not pi12 and not pi13 )
      or ( pi01 and not pi03 and pi04 and pi12 )
      or ( pi01 and not pi03 and not pi04 and not pi05 )
      or ( pi03 and pi04 and not pi05 and not pi12 and not pi13 )
      or ( pi02 and pi04 and not pi05 and pi13 )
      or ( pi01 and pi03 and not pi04 and pi12 )
      or ( pi02 and not pi04 and not pi12 and not pi13 )
      or ( not pi00 and pi03 and pi12 );
    po01 <= ( pi00 and pi03 and pi04 and pi05 and pi12 )
      or ( pi02 and not pi04 and pi05 and pi13 )
      or ( pi03 and pi04 and not pi05 and not pi12 and not pi13 )
      or ( pi02 and pi04 and not pi05 and pi13 )
      or ( not pi01 and pi03 and pi04 and pi12 )
      or ( pi01 and pi03 and not pi04 and pi12 )
      or ( pi03 and not pi04 and pi05 and not pi13 )
      or ( not pi02 and pi04 and not pi12 and not pi13 )
      or ( not pi01 and pi04 and pi13 )
      or ( not pi01 and not pi04 and pi12 )
      or ( not pi00 and pi03 and pi12 );
    po02 <= ( pi00 and pi01 and not pi03 and pi05 and pi12 )
      or ( pi01 and not pi03 and pi04 and pi05 and pi06 )
      or ( not pi02 and pi03 and pi04 and pi05 and pi13 )
      or ( not pi03 and pi04 and pi05 and not pi12 and not pi13 )
      or ( not pi01 and pi04 and pi05 and pi12 )
      or ( pi01 and pi03 and not pi05 and pi13 )
      or ( pi03 and not pi04 and pi05 and pi12 )
      or ( not pi02 and pi04 and not pi12 and not pi13 )
      or ( not pi00 and pi05 and pi12 )
      or ( not pi01 and pi04 and pi13 )
      or ( pi04 and not pi05 and not pi12 );
    po03 <= ( pi01 and not pi04 and pi05 and pi06 and pi13 )
      or ( not pi02 and pi04 and pi06 and pi13 )
      or ( pi01 and not pi03 and not pi04 and not pi05 )
      or ( pi04 and not pi05 and pi06 and pi13 )
      or ( not pi01 and pi06 and pi13 )
      or ( pi06 and not pi12 and not pi13 )
      or ( pi08 and pi12 );
    po04 <= ( pi06 and pi09 and pi10 and pi11 and pi12 )
      or ( pi06 and pi07 and not pi10 and pi11 and pi12 )
      or ( pi06 and not pi09 and pi10 and pi12 )
      or ( pi07 and pi09 and not pi10 and pi12 )
      or ( pi07 and pi08 and not pi09 and not pi12 )
      or ( pi08 and pi09 and not pi10 and not pi12 )
      or ( not pi07 and pi10 and pi12 )
      or ( not pi08 and pi10 and not pi12 );
    po05 <= ( pi07 and not pi09 and pi10 and pi12 )
      or ( pi07 and pi09 and not pi10 and pi12 )
      or ( pi07 and pi08 and not pi09 and not pi12 )
      or ( pi08 and pi09 and not pi10 and not pi12 )
      or ( not pi06 and pi09 and pi12 )
      or ( not pi07 and pi10 and not pi12 );
    po06 <= ( pi06 and pi09 and pi10 and pi11 and pi12 )
      or ( pi06 and pi08 and not pi10 and pi12 )
      or ( pi07 and pi09 and not pi10 and pi12 )
      or ( pi08 and pi09 and not pi10 and not pi12 )
      or ( not pi06 and pi09 and pi12 )
      or ( not pi08 and pi09 and not pi12 )
      or ( not pi07 and pi09 );
    po07 <= ( pi06 and pi07 and not pi10 and pi11 and pi12 )
      or ( not pi09 and pi10 and pi11 )
      or ( not pi07 and pi09 and pi11 )
      or ( not pi06 and pi11 )
      or ( pi11 and not pi12 );
    po08 <= ( not pi02 and not pi03 and pi04 and pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 )
      or ( not pi02 and not pi03 and pi04 and pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and pi11 and not pi12 and not pi13 )
      or ( not pi02 and not pi03 and not pi05 and not pi06 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 )
      or ( not pi02 and not pi03 and not pi05 and not pi06 and not pi07 and not pi08 and not pi10 and not pi11 and not pi12 and not pi13 )
      or ( pi02 and pi12 );
    po09 <= ( not pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and pi11 and not pi12 and pi13 )
      or ( pi01 and pi02 and pi03 and pi04 and pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi11 and not pi12 )
      or ( not pi02 and not pi03 and pi04 and pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and pi11 and not pi12 and not pi13 )
      or ( pi02 and pi03 and pi04 and pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 )
      or ( not pi02 and pi03 and pi04 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 )
      or ( pi02 and pi03 and not pi04 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 )
      or ( pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and pi11 and not pi12 and not pi13 )
      or ( pi00 and pi01 and not pi03 and pi05 and pi12 )
      or ( not pi03 and not pi04 and not pi05 and not pi06 and pi11 )
      or ( pi00 and pi03 and pi04 and pi05 and pi12 )
      or ( not pi02 and pi03 and pi04 and pi05 and pi13 )
      or ( not pi04 and not pi05 and not pi06 and not pi11 and not pi12 )
      or ( pi00 and not pi03 and pi04 and pi12 )
      or ( not pi01 and pi03 and pi05 and pi13 )
      or ( pi01 and pi03 and not pi05 and pi13 )
      or ( not pi01 and pi03 and pi04 and pi12 )
      or ( pi03 and not pi04 and pi06 and pi13 )
      or ( pi01 and pi03 and not pi04 and pi12 )
      or ( pi03 and pi05 and not pi06 and not pi12 );
    po10 <= ( not pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 )
      or ( not pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 )
      or ( not pi02 and not pi03 and pi04 and pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 )
      or ( not pi02 and pi03 and pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and pi11 and not pi12 and not pi13 )
      or ( not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and pi11 and not pi12 and not pi13 )
      or ( pi02 and pi03 and not pi04 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 )
      or ( pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and pi11 and not pi12 and not pi13 )
      or ( not pi03 and not pi04 and not pi05 and not pi06 and pi11 )
      or ( pi03 and not pi04 and pi06 and pi13 )
      or ( not pi00 and pi03 and pi12 )
      or ( not pi09 and not pi11 );
    po11 <= ( not pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and pi11 and not pi12 and pi13 )
      or ( not pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 )
      or ( pi01 and pi02 and pi03 and pi04 and pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi12 )
      or ( pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and pi11 and not pi12 )
      or ( not pi02 and not pi03 and pi04 and pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 )
      or ( not pi02 and pi03 and pi04 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 )
      or ( pi02 and pi03 and pi04 and pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 )
      or ( not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and pi11 and not pi12 and not pi13 )
      or ( pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and pi11 and not pi12 and not pi13 )
      or ( pi06 and pi09 and pi10 and pi11 and pi12 )
      or ( pi06 and pi07 and not pi10 and pi11 and pi12 )
      or ( not pi04 and not pi05 and not pi06 and not pi11 and not pi12 )
      or ( not pi03 and pi04 and not pi05 and pi11 );
    po12 <= ( not pi00 and pi01 and pi02 and not pi03 and not pi04 and not pi05 and pi06 and not pi07 and not pi08 and not pi09 and pi10 and pi11 and pi12 and not pi13 )
      or ( not pi00 and pi01 and pi02 and pi03 and not pi04 and pi05 and not pi06 and pi07 and pi08 and pi09 and not pi10 and pi11 and pi12 and not pi13 )
      or ( not pi00 and pi01 and pi02 and pi03 and not pi04 and pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and pi11 and pi12 and not pi13 )
      or ( pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi13 )
      or ( not pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and pi11 and not pi12 and pi13 )
      or ( not pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and pi11 and not pi12 and pi13 )
      or ( not pi01 and pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and pi11 and not pi12 and pi13 )
      or ( not pi01 and pi02 and pi03 and not pi04 and not pi05 and not pi06 and pi07 and not pi08 and not pi09 and not pi10 and pi11 and not pi12 )
      or ( pi01 and pi02 and pi03 and pi04 and pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi11 and not pi12 )
      or ( pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and pi11 and not pi12 )
      or ( pi01 and pi02 and pi03 and pi04 and pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi12 )
      or ( pi01 and pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and pi11 and not pi12 )
      or ( pi02 and pi03 and not pi04 and not pi05 and not pi06 and pi07 and not pi08 and not pi09 and not pi10 and pi11 and not pi12 and not pi13 )
      or ( not pi02 and not pi03 and pi04 and pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 )
      or ( not pi02 and not pi03 and pi04 and pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and pi11 and not pi12 and not pi13 )
      or ( pi02 and pi03 and pi04 and pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi11 and not pi12 and not pi13 )
      or ( not pi02 and pi03 and pi04 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and pi11 and not pi12 and not pi13 )
      or ( not pi02 and pi03 and pi04 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 )
      or ( pi02 and pi03 and pi04 and pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 )
      or ( not pi02 and pi03 and pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and pi11 and not pi12 and not pi13 )
      or ( pi02 and pi03 and not pi04 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 )
      or ( pi02 and pi03 and not pi04 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and pi11 and not pi12 and not pi13 )
      or ( not pi02 and not pi03 and not pi05 and not pi06 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi12 and not pi13 )
      or ( not pi02 and not pi03 and not pi05 and not pi06 and not pi07 and not pi08 and not pi10 and not pi11 and not pi12 and not pi13 );
    po13 <= ( pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi11 and pi12 and not pi13 )
      or ( pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi06 and pi12 and not pi13 )
      or ( pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi08 and pi12 and not pi13 )
      or ( not pi00 and pi06 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 )
      or ( pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi09 and pi12 and not pi13 )
      or ( pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi10 and pi12 and not pi13 )
      or ( pi00 and pi01 and pi02 and pi03 and pi04 and pi05 and not pi07 and pi12 and not pi13 )
      or ( not pi01 and pi06 and pi07 and pi08 and pi09 and pi10 and pi11 and pi12 and not pi13 )
      or ( pi01 and pi02 and pi03 and not pi04 and not pi05 and pi07 and not pi08 and not pi12 and pi13 )
      or ( pi01 and pi02 and pi03 and pi04 and pi05 and pi06 and pi07 and not pi11 and not pi12 )
      or ( pi01 and pi02 and pi03 and pi04 and pi05 and pi06 and not pi08 and pi11 and not pi12 )
      or ( pi01 and pi02 and pi03 and pi04 and pi05 and pi06 and not pi07 and pi08 and not pi12 )
      or ( pi01 and pi02 and pi03 and pi04 and pi05 and pi06 and pi07 and not pi10 and not pi12 )
      or ( pi02 and pi03 and pi04 and pi05 and pi06 and pi07 and not pi11 and not pi12 and not pi13 )
      or ( pi02 and pi03 and pi04 and pi05 and pi06 and not pi08 and pi11 and not pi12 and not pi13 )
      or ( pi02 and pi03 and pi04 and pi05 and pi06 and not pi07 and pi08 and not pi12 and not pi13 )
      or ( pi02 and pi03 and pi04 and pi05 and pi06 and pi07 and not pi10 and not pi12 and not pi13 )
      or ( pi00 and pi06 and pi07 and pi08 and not pi09 and not pi10 and pi12 and not pi13 )
      or ( not pi01 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi12 and pi13 )
      or ( not pi03 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi12 and pi13 )
      or ( not pi02 and pi06 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi13 )
      or ( not pi03 and pi06 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi13 )
      or ( not pi01 and not pi04 and pi06 and pi07 and not pi09 and not pi10 and not pi12 and pi13 )
      or ( not pi03 and not pi04 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi13 )
      or ( not pi02 and pi05 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi12 )
      or ( pi02 and not pi06 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi12 )
      or ( not pi05 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi12 and pi13 )
      or ( not pi04 and pi06 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi13 )
      or ( not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi13 )
      or ( pi04 and pi06 and pi07 and pi08 and not pi09 and not pi10 and pi12 and not pi13 )
      or ( pi01 and pi02 and pi03 and not pi04 and not pi05 and pi08 and pi10 and not pi12 )
      or ( pi01 and pi02 and pi03 and not pi04 and not pi05 and not pi07 and not pi09 and not pi12 )
      or ( not pi04 and pi06 and pi07 and pi08 and pi09 and pi10 and pi11 and not pi12 )
      or ( pi01 and pi02 and pi03 and pi04 and pi05 and pi06 and not pi09 and not pi12 )
      or ( pi01 and pi02 and pi03 and not pi04 and not pi05 and pi07 and pi09 and not pi12 )
      or ( not pi02 and pi04 and not pi05 and pi06 and pi08 and pi10 and not pi12 and not pi13 )
      or ( not pi02 and pi04 and not pi05 and pi06 and not pi07 and not pi09 and not pi12 and not pi13 )
      or ( not pi02 and pi04 and not pi05 and pi06 and pi07 and pi09 and not pi12 and not pi13 )
      or ( pi02 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi12 and not pi13 )
      or ( pi02 and pi03 and pi04 and pi05 and pi06 and not pi09 and not pi12 and not pi13 )
      or ( pi00 and pi01 and pi02 and not pi03 and not pi04 and pi12 and not pi13 )
      or ( not pi00 and pi03 and not pi04 and not pi06 and not pi09 and pi12 and not pi13 )
      or ( pi01 and pi04 and not pi07 and not pi08 and pi10 and not pi12 and pi13 )
      or ( not pi01 and pi04 and not pi05 and pi08 and pi10 and not pi12 and pi13 )
      or ( not pi01 and pi04 and not pi05 and not pi07 and not pi09 and not pi12 and pi13 )
      or ( not pi01 and pi04 and not pi05 and pi07 and not pi08 and not pi12 and pi13 )
      or ( pi01 and not pi05 and not pi07 and pi09 and not pi10 and not pi12 and pi13 )
      or ( pi01 and pi04 and pi07 and not pi09 and not pi10 and not pi12 and pi13 )
      or ( not pi00 and pi03 and not pi04 and pi06 and pi09 and pi12 and not pi13 )
      or ( not pi01 and not pi02 and pi03 and pi04 and not pi05 and pi12 and not pi13 )
      or ( not pi01 and pi04 and not pi05 and pi07 and pi09 and not pi12 and pi13 )
      or ( not pi02 and not pi03 and not pi06 and pi07 and not pi10 and not pi12 and not pi13 )
      or ( not pi02 and not pi03 and pi05 and pi09 and not pi10 and not pi12 and not pi13 )
      or ( not pi02 and pi04 and not pi05 and pi07 and not pi08 and not pi12 and not pi13 )
      or ( pi02 and not pi04 and not pi05 and pi08 and pi10 and not pi12 and not pi13 )
      or ( pi02 and not pi07 and pi09 and not pi10 and pi11 and not pi12 and not pi13 )
      or ( pi02 and not pi04 and not pi05 and not pi07 and not pi09 and not pi12 and not pi13 )
      or ( pi02 and pi04 and pi07 and not pi09 and not pi10 and not pi12 and not pi13 )
      or ( pi02 and pi04 and not pi05 and not pi07 and not pi08 and not pi12 and not pi13 )
      or ( pi02 and not pi04 and not pi05 and pi07 and pi09 and not pi12 and not pi13 )
      or ( pi00 and not pi06 and pi09 and not pi10 and pi12 and not pi13 )
      or ( not pi01 and not pi07 and not pi10 and not pi11 and not pi12 and pi13 )
      or ( not pi01 and not pi02 and not pi03 and pi05 and pi12 and not pi13 )
      or ( not pi07 and not pi08 and pi09 and pi10 and not pi11 and not pi13 )
      or ( not pi01 and not pi05 and not pi06 and pi08 and not pi12 and pi13 )
      or ( not pi02 and not pi07 and not pi08 and not pi09 and pi11 and not pi13 )
      or ( not pi03 and not pi06 and pi09 and not pi10 and pi12 and not pi13 )
      or ( not pi00 and not pi02 and pi03 and not pi04 and pi12 and not pi13 )
      or ( not pi03 and not pi04 and not pi05 and not pi11 and pi12 and not pi13 )
      or ( not pi01 and not pi04 and not pi07 and not pi08 and not pi12 and pi13 )
      or ( not pi00 and pi03 and not pi04 and pi10 and pi12 and not pi13 )
      or ( not pi02 and not pi03 and pi04 and pi05 and not pi06 and not pi12 )
      or ( not pi00 and pi03 and not pi04 and not pi08 and pi12 and not pi13 )
      or ( pi05 and not pi07 and not pi08 and not pi09 and pi11 and not pi13 )
      or ( not pi00 and not pi04 and not pi05 and not pi10 and pi12 and not pi13 )
      or ( not pi00 and pi03 and not pi04 and not pi07 and pi12 and not pi13 )
      or ( not pi03 and not pi07 and pi09 and not pi10 and not pi12 and pi13 )
      or ( pi02 and not pi05 and not pi07 and not pi08 and not pi11 and not pi12 )
      or ( not pi04 and not pi05 and not pi06 and not pi08 and pi10 and not pi12 )
      or ( not pi04 and pi06 and not pi07 and not pi08 and not pi11 and not pi12 )
      or ( pi04 and not pi07 and not pi08 and not pi09 and pi11 and not pi13 )
      or ( pi03 and not pi07 and not pi08 and not pi09 and pi11 and not pi13 )
      or ( pi04 and not pi06 and pi09 and not pi10 and pi12 and not pi13 )
      or ( not pi03 and not pi04 and not pi05 and pi07 and not pi09 and not pi13 )
      or ( not pi04 and not pi05 and not pi06 and pi09 and not pi12 and pi13 )
      or ( not pi04 and not pi05 and not pi06 and pi08 and not pi09 and not pi12 )
      or ( not pi01 and pi02 and not pi04 and not pi05 and pi12 and not pi13 )
      or ( not pi03 and not pi04 and not pi05 and pi08 and pi12 and not pi13 )
      or ( not pi02 and not pi04 and not pi07 and not pi08 and pi11 and not pi12 )
      or ( not pi02 and not pi03 and pi07 and not pi11 and not pi12 and not pi13 )
      or ( not pi02 and pi06 and not pi07 and not pi08 and not pi10 and not pi12 )
      or ( not pi03 and not pi04 and not pi05 and pi09 and pi12 and not pi13 )
      or ( not pi02 and not pi04 and pi07 and not pi09 and not pi10 and not pi12 )
      or ( pi02 and not pi03 and pi07 and not pi09 and not pi10 and not pi12 )
      or ( not pi02 and not pi03 and not pi09 and pi10 and not pi12 and not pi13 )
      or ( pi03 and pi05 and not pi07 and not pi08 and pi10 and not pi12 )
      or ( pi05 and not pi07 and pi08 and pi09 and not pi10 and not pi12 )
      or ( not pi04 and not pi07 and pi08 and pi09 and not pi10 and not pi12 )
      or ( not pi02 and not pi03 and not pi07 and pi08 and not pi12 and not pi13 )
      or ( not pi02 and not pi03 and pi07 and not pi08 and not pi12 and not pi13 )
      or ( pi03 and pi05 and pi07 and not pi09 and not pi10 and not pi12 )
      or ( not pi02 and not pi03 and not pi05 and pi06 and not pi12 and not pi13 )
      or ( not pi06 and not pi10 and not pi11 and pi12 and not pi13 )
      or ( not pi07 and pi08 and not pi10 and not pi11 and not pi13 )
      or ( not pi09 and not pi10 and not pi11 and not pi12 and pi13 )
      or ( not pi09 and not pi10 and not pi11 and pi12 and not pi13 )
      or ( pi07 and not pi09 and not pi10 and not pi11 and not pi12 )
      or ( pi05 and not pi06 and not pi07 and not pi08 and not pi12 )
      or ( not pi06 and not pi07 and not pi08 and pi11 and not pi12 )
      or ( pi02 and not pi03 and not pi07 and not pi08 and not pi12 )
      or ( not pi02 and pi03 and not pi05 and not pi06 and not pi12 )
      or ( not pi02 and not pi03 and not pi04 and pi06 and not pi12 )
      or ( not pi07 and not pi08 and not pi10 and pi11 and not pi12 )
      or ( not pi00 and not pi01 and pi12 and not pi13 )
      or ( not pi01 and not pi02 and not pi12 and pi13 )
      or ( not pi06 and not pi07 and pi12 and not pi13 );
end top_behav;
