--- 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,pi14,pi15,pi16,pi17,pi18,pi19,pi20,pi21,pi22,pi23,pi24,pi25,pi26,pi27,pi28,pi29,pi30,pi31,pi32,pi33,pi34,pi35,pi36,pi37,pi38,pi39,pi40,pi41,pi42,pi43,pi44,pi45,pi46,pi47,pi48: in std_logic;
    po00,po01,po02,po03,po04,po05,po06,po07,po08,po09,po10,po11,po12,po13,po14,po15,po16,po17,po18,po19,po20,po21,po22,po23,po24,po25,po26,po27: inout std_logic
  );
end top;

architecture top_behav of top is
begin
    po00 <= ( pi25 and pi13 )
      or ( pi25 and pi12 )
      or ( pi25 and not pi11 )
      or ( pi25 and not pi01 )
      or ( not pi01 and pi30 )
      or ( not pi01 and pi41 )
      or ( not pi09 and not pi17 and not pi21 and pi25 );
    po01 <= ( pi38 and pi43 )
      or ( pi09 and pi02 and not pi22 and pi31 )
      or ( not pi00 and pi01 and not pi09 and not pi12 and not pi13 and pi21 and pi35 )
      or ( not pi00 and pi01 and pi09 and not pi12 and not pi13 and not pi10 and pi11 and pi25 )
      or ( not pi00 and pi01 and not pi09 and not pi12 and not pi13 and pi21 and not pi10 and pi11 and pi25 );
    po02 <= ( pi21 and pi26 )
      or ( not pi21 and pi26 and not pi12 );
    po03 <= ( pi21 and pi27 )
      or ( not pi21 and pi27 and not pi12 )
      or ( not pi21 and not pi12 and not pi00 and not pi03 and not pi07 and not pi15 and pi28 )
      or ( not pi21 and not pi12 and not pi00 and not pi03 and not pi07 and pi28 and not pi14 );
    po04 <= ( pi38 and pi44 )
      or ( not pi12 and not pi14 and not pi00 and not pi07 and pi29 )
      or ( pi03 and pi06 and not pi12 and not pi14 and pi20 and pi28 )
      or ( pi03 and pi06 and not pi12 and not pi14 and pi28 and pi04 )
      or ( pi03 and not pi12 and not pi14 and not pi20 and pi28 and not pi04 and not pi22 );
    po05 <= ( not pi06 and not pi14 and pi40 )
      or ( not pi06 and pi40 and not pi16 )
      or ( not pi14 and pi40 and not pi08 )
      or ( pi40 and not pi16 and not pi08 )
      or ( pi14 and not pi00 and not pi07 and not pi12 and pi15 and pi29 );
    po06 <= ( pi21 and pi28 )
      or ( pi38 and pi45 )
      or ( not pi04 and not pi12 and pi14 and pi15 and not pi20 and not pi21 and pi28 )
      or ( pi04 and not pi12 and pi14 and pi15 and not pi21 and pi28 and pi06 )
      or ( not pi12 and pi14 and pi15 and pi20 and not pi21 and pi28 and pi06 )
      or ( not pi14 and pi21 and not pi00 and not pi07 and not pi17 and pi39 and not pi08 )
      or ( not pi15 and pi21 and not pi00 and not pi07 and not pi17 and pi39 and not pi08 )
      or ( not pi14 and not pi00 and pi06 and not pi07 and not pi17 and pi39 and not pi08 )
      or ( not pi15 and not pi00 and pi06 and not pi07 and not pi17 and pi39 and not pi08 )
      or ( pi21 and not pi00 and not pi07 and not pi16 and not pi17 and pi39 and not pi08 )
      or ( not pi00 and pi06 and not pi07 and not pi16 and not pi17 and pi39 and not pi08 )
      or ( not pi14 and pi21 and not pi00 and not pi07 and pi39 and not pi08 and not pi18 )
      or ( not pi15 and pi21 and not pi00 and not pi07 and pi39 and not pi08 and not pi18 )
      or ( not pi14 and not pi00 and pi06 and not pi07 and pi39 and not pi08 and not pi18 )
      or ( not pi15 and not pi00 and pi06 and not pi07 and pi39 and not pi08 and not pi18 )
      or ( pi21 and not pi00 and not pi07 and not pi16 and pi39 and not pi08 and not pi18 )
      or ( not pi00 and pi06 and not pi07 and not pi16 and pi39 and not pi08 and not pi18 )
      or ( not pi12 and not pi14 and not pi21 and not pi00 and not pi02 and not pi06 and not pi07 and not pi17 and pi39 )
      or ( not pi12 and not pi15 and not pi21 and not pi00 and not pi02 and not pi06 and not pi07 and not pi17 and pi39 )
      or ( not pi12 and not pi21 and not pi00 and not pi02 and not pi06 and not pi07 and not pi16 and not pi17 and pi39 )
      or ( not pi12 and not pi14 and not pi21 and not pi00 and not pi06 and not pi07 and not pi17 and pi39 and not pi03 )
      or ( not pi12 and not pi15 and not pi21 and not pi00 and not pi06 and not pi07 and not pi17 and pi39 and not pi03 )
      or ( not pi12 and not pi21 and not pi00 and not pi06 and not pi07 and not pi16 and not pi17 and pi39 and not pi03 )
      or ( not pi12 and not pi14 and not pi21 and not pi00 and not pi02 and not pi06 and not pi07 and pi39 and not pi18 )
      or ( not pi12 and not pi15 and not pi21 and not pi00 and not pi02 and not pi06 and not pi07 and pi39 and not pi18 )
      or ( not pi12 and not pi21 and not pi00 and not pi02 and not pi06 and not pi07 and not pi16 and pi39 and not pi18 )
      or ( not pi12 and not pi14 and not pi21 and not pi00 and not pi06 and not pi07 and pi39 and not pi03 and not pi18 )
      or ( not pi12 and not pi15 and not pi21 and not pi00 and not pi06 and not pi07 and pi39 and not pi03 and not pi18 )
      or ( not pi12 and not pi21 and not pi00 and not pi06 and not pi07 and not pi16 and pi39 and not pi03 and not pi18 );
    po07 <= ( not pi00 and not pi04 and pi07 and not pi20 and not pi22 and pi42 )
      or ( not pi00 and not pi04 and pi07 and not pi20 and not pi22 and pi39 )
      or ( not pi00 and not pi04 and pi07 and not pi20 and not pi22 and not pi03 and pi28 )
      or ( not pi00 and not pi04 and pi07 and not pi20 and not pi22 and not pi14 and pi29 );
    po08 <= ( pi12 and pi29 )
      or ( pi12 and pi31 )
      or ( pi12 and pi32 )
      or ( pi01 and pi41 )
      or ( pi12 and pi35 )
      or ( pi12 and pi40 )
      or ( pi12 and pi42 )
      or ( pi29 and pi00 )
      or ( pi32 and pi00 )
      or ( pi28 and pi00 )
      or ( pi39 and pi00 )
      or ( pi35 and pi00 )
      or ( pi40 and pi00 )
      or ( pi42 and pi00 )
      or ( pi00 and pi25 )
      or ( pi00 and pi34 )
      or ( pi12 and not pi21 and pi28 )
      or ( pi12 and not pi21 and pi39 )
      or ( pi12 and not pi21 and pi27 )
      or ( pi12 and not pi21 and pi26 )
      or ( pi39 and pi17 and pi18 )
      or ( pi17 and pi18 and pi36 )
      or ( pi00 and pi19 and pi33 )
      or ( pi31 and pi00 and not pi09 )
      or ( pi03 and not pi21 and pi22 and pi28 );
    po09 <= ( pi20 and pi32 )
      or ( pi04 and pi32 )
      or ( pi32 and pi22 )
      or ( pi01 and pi30 )
      or ( pi07 and pi20 and pi28 )
      or ( pi07 and pi28 and pi04 )
      or ( pi07 and pi20 and pi29 )
      or ( pi07 and pi04 and pi29 )
      or ( pi01 and pi10 and pi25 )
      or ( pi14 and pi15 and pi16 and pi39 )
      or ( pi14 and pi15 and pi16 and pi40 )
      or ( not pi07 and pi20 and not pi00 and not pi06 and not pi21 and pi29 )
      or ( not pi07 and pi04 and not pi00 and not pi06 and not pi21 and pi29 )
      or ( not pi07 and pi20 and pi28 and not pi00 and pi03 and not pi06 and not pi21 )
      or ( not pi07 and pi28 and pi04 and not pi00 and pi03 and not pi06 and not pi21 )
      or ( not pi07 and pi20 and not pi00 and pi14 and not pi15 and not pi21 and pi29 )
      or ( not pi07 and pi04 and not pi00 and pi14 and not pi15 and not pi21 and pi29 )
      or ( not pi07 and pi20 and pi28 and not pi00 and pi03 and pi14 and not pi15 and not pi21 )
      or ( not pi07 and pi28 and pi04 and not pi00 and pi03 and pi14 and not pi15 and not pi21 )
      or ( not pi07 and pi20 and pi28 and not pi00 and not pi03 and not pi06 and pi14 and pi15 and not pi21 )
      or ( not pi07 and pi28 and pi04 and not pi00 and not pi03 and not pi06 and pi14 and pi15 and not pi21 );
    po10 <= ( pi09 and pi32 )
      or ( not pi00 and pi03 and not pi04 and not pi12 and pi14 and not pi15 and not pi20 and not pi21 and not pi22 and pi28 );
    po11 <= ( not pi00 and pi05 and not pi09 and pi21 and pi31 )
      or ( not pi00 and pi09 and pi31 and not pi02 and not pi07 and not pi12 )
      or ( not pi00 and not pi09 and not pi12 and not pi04 and not pi20 and not pi22 and pi32 )
      or ( not pi00 and not pi07 and not pi12 and not pi04 and not pi20 and not pi22 and pi42 )
      or ( not pi00 and not pi12 and not pi04 and not pi20 and not pi22 and pi38 and pi46 )
      or ( not pi00 and not pi12 and not pi04 and pi14 and not pi15 and not pi20 and not pi22 and pi29 )
      or ( not pi00 and not pi12 and not pi04 and pi14 and pi15 and not pi20 and not pi22 and not pi06 and not pi16 and pi40 )
      or ( not pi00 and not pi21 and pi02 and not pi12 and not pi04 and not pi20 and not pi22 and not pi06 and pi03 and pi39 );
    po12 <= ( not pi00 and not pi07 and pi08 and pi33 )
      or ( not pi00 and pi08 and pi21 and pi39 )
      or ( not pi00 and pi08 and not pi21 and pi39 and pi06 and not pi16 )
      or ( not pi00 and pi08 and not pi21 and pi06 and not pi16 and pi40 )
      or ( not pi00 and pi08 and not pi21 and pi39 and pi06 and not pi15 )
      or ( not pi00 and pi08 and not pi21 and pi06 and pi40 and not pi15 )
      or ( not pi00 and pi08 and not pi21 and pi39 and pi06 and not pi14 )
      or ( not pi00 and pi08 and not pi21 and pi06 and pi40 and not pi14 );
    po13 <= ( not pi00 and pi34 )
      or ( not pi00 and not pi07 and not pi08 and pi33 )
      or ( pi00 and not pi07 and not pi08 and pi33 and not pi19 )
      or ( not pi00 and pi01 and not pi09 and not pi12 and pi17 and not pi18 and not pi21 and pi35 )
      or ( not pi00 and pi01 and not pi09 and not pi12 and pi17 and not pi18 and not pi21 and not pi10 and pi11 and pi25 );
    po14 <= ( pi07 and pi19 and pi33 );
    po15 <= ( not pi00 and not pi09 and not pi12 and not pi21 and pi31 )
      or ( not pi00 and not pi09 and not pi12 and pi13 and pi21 and pi35 )
      or ( not pi00 and not pi09 and not pi12 and not pi21 and pi35 and not pi17 )
      or ( not pi00 and not pi09 and not pi12 and pi21 and pi31 and not pi05 );
    po16 <= ( pi17 and pi18 and pi25 )
      or ( pi17 and pi18 and pi35 );
    po17 <= ( pi24 )
      or ( pi32 )
      or ( not pi09 and pi31 )
      or ( not pi09 and pi30 )
      or ( not pi09 and pi41 );
    po18 <= ( pi09 and not pi24 and not pi32 )
      or ( not pi24 and not pi32 and not pi30 and not pi31 and not pi41 );
    po19 <= ( pi28 )
      or ( pi27 );
    po20 <= ( pi30 )
      or ( pi41 );
    po21 <= ( not pi00 and not pi04 and not pi12 and pi14 and not pi15 and not pi20 and not pi21 and not pi22 and pi29 )
      or ( not pi00 and not pi04 and not pi12 and pi14 and not pi15 and not pi20 and not pi21 and not pi22 and pi39 )
      or ( not pi00 and not pi04 and not pi06 and not pi12 and pi14 and pi15 and not pi20 and not pi21 and not pi22 and pi29 )
      or ( not pi00 and not pi04 and not pi06 and not pi12 and pi14 and pi15 and not pi20 and not pi21 and not pi22 and pi39 );
    po22 <= ( pi33 )
      or ( pi32 )
      or ( pi24 )
      or ( pi23 )
      or ( not pi00 and pi08 and pi21 and pi39 )
      or ( not pi00 and pi06 and pi08 and not pi16 and pi39 )
      or ( not pi00 and pi06 and pi08 and not pi15 and pi39 )
      or ( not pi00 and pi06 and pi08 and not pi14 and pi39 )
      or ( not pi00 and pi06 and pi08 and not pi16 and not pi21 and pi40 )
      or ( not pi00 and pi06 and pi08 and not pi21 and pi40 and not pi15 )
      or ( not pi00 and pi06 and pi08 and not pi21 and pi40 and not pi14 );
    po23 <= ( pi00 and not pi23 and not pi24 and not pi32 and not pi33 )
      or ( not pi23 and not pi24 and not pi32 and not pi33 and not pi08 )
      or ( not pi23 and not pi24 and not pi32 and not pi33 and not pi06 and not pi21 )
      or ( not pi23 and not pi24 and not pi32 and not pi33 and not pi06 and not pi39 )
      or ( not pi23 and not pi24 and not pi32 and not pi33 and pi21 and not pi39 )
      or ( not pi23 and not pi24 and not pi32 and not pi33 and not pi39 and not pi40 )
      or ( not pi23 and not pi24 and not pi32 and not pi33 and not pi21 and pi14 and pi15 and pi16 )
      or ( not pi23 and not pi24 and not pi32 and not pi33 and not pi39 and pi14 and pi15 and pi16 );
    po24 <= ( not pi25 and not pi30 and not pi37 and not pi41 and not pi47 and not pi07 )
      or ( not pi30 and not pi37 and not pi41 and not pi47 and not pi07 and pi01 and pi11 and pi48 )
      or ( pi14 and not pi25 and not pi28 and not pi30 and not pi33 and not pi37 and not pi39 and not pi41 and not pi42 and not pi47 )
      or ( pi14 and not pi25 and not pi30 and not pi33 and not pi37 and not pi39 and not pi41 and not pi42 and not pi47 and pi03 )
      or ( not pi25 and not pi28 and not pi30 and not pi33 and not pi37 and not pi39 and not pi41 and not pi42 and not pi47 and not pi29 )
      or ( not pi25 and not pi30 and not pi33 and not pi37 and not pi39 and not pi41 and not pi42 and not pi47 and pi03 and not pi29 )
      or ( pi14 and not pi25 and not pi28 and not pi30 and not pi37 and not pi39 and not pi41 and not pi42 and not pi47 and not pi19 )
      or ( pi14 and not pi25 and not pi30 and not pi37 and not pi39 and not pi41 and not pi42 and not pi47 and pi03 and not pi19 )
      or ( not pi25 and not pi28 and not pi30 and not pi37 and not pi39 and not pi41 and not pi42 and not pi47 and not pi29 and not pi19 )
      or ( not pi25 and not pi30 and not pi37 and not pi39 and not pi41 and not pi42 and not pi47 and pi03 and not pi29 and not pi19 )
      or ( not pi30 and not pi37 and not pi41 and not pi47 and not pi07 and pi01 and not pi09 and pi11 and not pi12 and pi17 )
      or ( pi14 and not pi28 and not pi30 and not pi33 and not pi37 and not pi39 and not pi41 and not pi42 and not pi47 and pi01 and pi11 and pi48 )
      or ( pi14 and not pi30 and not pi33 and not pi37 and not pi39 and not pi41 and not pi42 and not pi47 and pi03 and pi01 and pi11 and pi48 )
      or ( not pi28 and not pi30 and not pi33 and not pi37 and not pi39 and not pi41 and not pi42 and not pi47 and not pi29 and pi01 and pi11 and pi48 )
      or ( not pi30 and not pi33 and not pi37 and not pi39 and not pi41 and not pi42 and not pi47 and pi03 and not pi29 and pi01 and pi11 and pi48 )
      or ( pi14 and not pi28 and not pi30 and not pi37 and not pi39 and not pi41 and not pi42 and not pi47 and not pi19 and pi01 and pi11 and pi48 )
      or ( pi14 and not pi30 and not pi37 and not pi39 and not pi41 and not pi42 and not pi47 and pi03 and not pi19 and pi01 and pi11 and pi48 )
      or ( not pi28 and not pi30 and not pi37 and not pi39 and not pi41 and not pi42 and not pi47 and not pi29 and not pi19 and pi01 and pi11 and pi48 )
      or ( not pi30 and not pi37 and not pi39 and not pi41 and not pi42 and not pi47 and pi03 and not pi29 and not pi19 and pi01 and pi11 and pi48 )
      or ( pi14 and not pi28 and not pi30 and not pi33 and not pi37 and not pi39 and not pi41 and not pi42 and not pi47 and pi01 and not pi09 and pi11 and not pi12 and pi17 )
      or ( pi14 and not pi30 and not pi33 and not pi37 and not pi39 and not pi41 and not pi42 and not pi47 and pi03 and pi01 and not pi09 and pi11 and not pi12 and pi17 )
      or ( not pi28 and not pi30 and not pi33 and not pi37 and not pi39 and not pi41 and not pi42 and not pi47 and not pi29 and pi01 and not pi09 and pi11 and not pi12 and pi17 )
      or ( not pi30 and not pi33 and not pi37 and not pi39 and not pi41 and not pi42 and not pi47 and pi03 and not pi29 and pi01 and not pi09 and pi11 and not pi12 and pi17 )
      or ( pi14 and not pi28 and not pi30 and not pi37 and not pi39 and not pi41 and not pi42 and not pi47 and not pi19 and pi01 and not pi09 and pi11 and not pi12 and pi17 )
      or ( pi14 and not pi30 and not pi37 and not pi39 and not pi41 and not pi42 and not pi47 and pi03 and not pi19 and pi01 and not pi09 and pi11 and not pi12 and pi17 )
      or ( not pi28 and not pi30 and not pi37 and not pi39 and not pi41 and not pi42 and not pi47 and not pi29 and not pi19 and pi01 and not pi09 and pi11 and not pi12 and pi17 )
      or ( not pi30 and not pi37 and not pi39 and not pi41 and not pi42 and not pi47 and pi03 and not pi29 and not pi19 and pi01 and not pi09 and pi11 and not pi12 and pi17 );
    po25 <= ( pi30 )
      or ( pi41 )
      or ( pi47 )
      or ( pi37 )
      or ( not pi01 and pi25 )
      or ( pi07 and pi39 )
      or ( pi07 and pi42 )
      or ( pi01 and not pi11 and pi25 )
      or ( pi07 and pi19 and pi33 )
      or ( pi07 and not pi14 and pi29 )
      or ( pi07 and not pi03 and pi28 )
      or ( pi01 and pi25 and not pi17 and not pi48 )
      or ( pi01 and pi25 and not pi48 and pi12 )
      or ( pi01 and pi25 and not pi48 and pi09 );
    po26 <= ( not pi08 and not pi09 and not pi11 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi28 )
      or ( not pi08 and not pi09 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi01 and not pi28 )
      or ( not pi08 and not pi11 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi02 and not pi28 )
      or ( not pi08 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi01 and not pi02 and not pi28 )
      or ( not pi09 and not pi11 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi28 and not pi33 )
      or ( not pi09 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi01 and not pi28 and not pi33 )
      or ( not pi11 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi02 and not pi28 and not pi33 )
      or ( not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi01 and not pi02 and not pi28 and not pi33 )
      or ( not pi08 and not pi11 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi28 and not pi31 )
      or ( not pi08 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi01 and not pi28 and not pi31 )
      or ( not pi11 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi28 and not pi33 and not pi31 )
      or ( not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi01 and not pi28 and not pi33 and not pi31 )
      or ( not pi08 and not pi09 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi28 and not pi21 )
      or ( not pi09 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi28 and not pi33 and not pi21 )
      or ( not pi08 and not pi09 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi28 and pi00 )
      or ( not pi08 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi02 and not pi28 and pi00 )
      or ( not pi09 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi28 and not pi33 and pi00 )
      or ( not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi02 and not pi28 and not pi33 and pi00 )
      or ( not pi08 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi28 and not pi31 and pi00 )
      or ( not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi28 and not pi33 and not pi31 and pi00 )
      or ( not pi08 and not pi09 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi28 and pi12 )
      or ( not pi08 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi02 and not pi28 and pi12 )
      or ( not pi09 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi28 and not pi33 and pi12 )
      or ( not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi02 and not pi28 and not pi33 and pi12 )
      or ( not pi08 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi28 and not pi31 and pi12 )
      or ( not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi28 and not pi33 and not pi31 and pi12 )
      or ( not pi08 and not pi09 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi28 and pi13 )
      or ( not pi08 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi02 and not pi28 and pi13 )
      or ( not pi09 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi28 and not pi33 and pi13 )
      or ( not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi02 and not pi28 and not pi33 and pi13 )
      or ( not pi08 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi28 and not pi31 and pi13 )
      or ( not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi28 and not pi33 and not pi31 and pi13 )
      or ( not pi03 and pi07 and not pi08 and not pi09 and not pi11 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 )
      or ( not pi03 and pi07 and not pi08 and not pi09 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi01 )
      or ( not pi03 and pi07 and not pi08 and not pi11 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi02 )
      or ( not pi03 and pi07 and not pi08 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi01 and not pi02 )
      or ( not pi03 and pi07 and not pi09 and not pi11 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi33 )
      or ( not pi03 and pi07 and not pi09 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi01 and not pi33 )
      or ( not pi03 and pi07 and not pi11 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi02 and not pi33 )
      or ( not pi03 and pi07 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi01 and not pi02 and not pi33 )
      or ( not pi08 and pi09 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi02 and not pi28 and not pi25 )
      or ( pi09 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi02 and not pi28 and not pi33 and not pi25 )
      or ( not pi03 and pi07 and not pi08 and not pi11 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi31 )
      or ( not pi03 and pi07 and not pi08 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi01 and not pi31 )
      or ( not pi03 and pi07 and not pi11 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi33 and not pi31 )
      or ( not pi03 and pi07 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi01 and not pi33 and not pi31 )
      or ( not pi08 and pi09 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi28 and not pi25 and not pi31 )
      or ( pi09 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi28 and not pi33 and not pi25 and not pi31 )
      or ( not pi03 and pi07 and not pi08 and not pi09 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi21 )
      or ( not pi03 and pi07 and not pi09 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi33 and not pi21 )
      or ( not pi08 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi02 and not pi28 and not pi25 and not pi21 )
      or ( not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi02 and not pi28 and not pi33 and not pi25 and not pi21 )
      or ( not pi08 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi28 and not pi25 and not pi31 and not pi21 )
      or ( not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi28 and not pi33 and not pi25 and not pi31 and not pi21 )
      or ( not pi03 and pi07 and not pi08 and not pi09 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and pi00 )
      or ( not pi03 and pi07 and not pi08 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi02 and pi00 )
      or ( not pi03 and pi07 and not pi09 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi33 and pi00 )
      or ( not pi03 and pi07 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi02 and not pi33 and pi00 )
      or ( not pi03 and pi07 and not pi08 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi31 and pi00 )
      or ( not pi03 and pi07 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi33 and not pi31 and pi00 )
      or ( not pi03 and pi07 and not pi08 and not pi09 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and pi12 )
      or ( not pi03 and pi07 and not pi08 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi02 and pi12 )
      or ( not pi03 and pi07 and not pi09 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi33 and pi12 )
      or ( not pi03 and pi07 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi02 and not pi33 and pi12 )
      or ( not pi03 and pi07 and not pi08 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi31 and pi12 )
      or ( not pi03 and pi07 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi33 and not pi31 and pi12 )
      or ( not pi03 and pi07 and not pi08 and not pi09 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and pi13 )
      or ( not pi03 and pi07 and not pi08 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi02 and pi13 )
      or ( not pi03 and pi07 and not pi09 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi33 and pi13 )
      or ( not pi03 and pi07 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi02 and not pi33 and pi13 )
      or ( not pi03 and pi07 and not pi08 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi31 and pi13 )
      or ( not pi03 and pi07 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi33 and not pi31 and pi13 )
      or ( not pi08 and not pi09 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi28 and not pi25 and not pi35 )
      or ( not pi08 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi02 and not pi28 and not pi25 and not pi35 )
      or ( not pi09 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi28 and not pi33 and not pi25 and not pi35 )
      or ( not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi02 and not pi28 and not pi33 and not pi25 and not pi35 )
      or ( not pi08 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi28 and not pi25 and not pi31 and not pi35 )
      or ( not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi28 and not pi33 and not pi25 and not pi31 and not pi35 )
      or ( not pi03 and pi07 and not pi08 and pi09 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi02 and not pi25 )
      or ( not pi03 and pi07 and pi09 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi02 and not pi33 and not pi25 )
      or ( not pi03 and pi07 and not pi08 and pi09 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi25 and not pi31 )
      or ( not pi03 and pi07 and pi09 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi33 and not pi25 and not pi31 )
      or ( not pi03 and pi07 and not pi08 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi02 and not pi25 and not pi21 )
      or ( not pi03 and pi07 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi02 and not pi33 and not pi25 and not pi21 )
      or ( not pi03 and pi07 and not pi08 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi25 and not pi31 and not pi21 )
      or ( not pi03 and pi07 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi33 and not pi25 and not pi31 and not pi21 )
      or ( not pi03 and pi07 and not pi08 and not pi09 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi25 and not pi35 )
      or ( not pi03 and pi07 and not pi08 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi02 and not pi25 and not pi35 )
      or ( not pi03 and pi07 and not pi09 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi33 and not pi25 and not pi35 )
      or ( not pi03 and pi07 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi02 and not pi33 and not pi25 and not pi35 )
      or ( not pi03 and pi07 and not pi08 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi25 and not pi31 and not pi35 )
      or ( not pi03 and pi07 and not pi23 and not pi24 and not pi26 and not pi27 and not pi32 and not pi33 and not pi25 and not pi31 and not pi35 );
    po27 <= ( pi24 )
      or ( pi32 )
      or ( pi27 )
      or ( pi26 )
      or ( pi23 )
      or ( pi08 and pi33 )
      or ( not pi07 and pi28 )
      or ( pi28 and pi03 )
      or ( pi02 and pi09 and pi31 )
      or ( pi09 and not pi00 and pi01 and pi11 and not pi12 and not pi13 and pi25 )
      or ( not pi00 and pi01 and pi11 and not pi12 and not pi13 and pi21 and pi25 )
      or ( not pi09 and not pi00 and pi01 and pi11 and not pi12 and not pi13 and pi21 and pi35 )
      or ( pi02 and pi31 and not pi00 and pi01 and pi11 and not pi12 and not pi13 and pi21 and pi35 );
end top_behav;
