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

entity DFF is
  Port ( D, CLK: in std_logic;
     Q: out std_logic);
end DFF;

architecture Behavior of DFF is
begin
  process(CLK)
  begin
    if CLK'event and CLK = '1' then
      Q <= D;
    end if;
  end process;
end Behavior;

Library IEEE;
use IEEE.std_logic_1164.all;

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

architecture top_behav of top is
component DFF
  Port ( D, CLK: in std_logic;
     Q: out std_logic);
end component;

signal lo0,lo1,lo2,lo3,lo4,li0,li1,li2,li3,li4,n32,n33,n34,n35,n36,n37,n38,n39,n40,n41,n42,n43,n44,n45,n46,n47,n48,n49,n50,n51,n52,n53,n54,n55,n56,n57,n58,n59,n60,n61,n62,n63,n64,n65,n66,n67,n68,n69,n70,n71,n72,n73,n74,n75,n76,n77,n78,n79,n80,n81,n82,n83,n84,n85,n86,n87,n88,n89,n90,n91,n92,n93,n94,n95,n96,n97,n98,n99,n100,n101,n102,n103,n104,n105,n106,n107,n108,n109,n110,n111,n112,n113,n114,n115,n116,n117,n118,n119,n120,n121,n122,n123,n124,n125,n126,n127,n128,n129,n130,n131,n132,n133,n134,n135,n136,n137,n138,n139,n140,n141,n142,n143,n144,n145,n146,n147,n148,n149,n150,n151,n152,n153,n154,n155,n156,n157,n158,n159,n160,n161,n162,n163,n164,n165,n166,n167,n168,n169,n170,n171,n172,n173,n174,n175,n176,n177,n178,n179,n180,n181,n182,n183,n184,n185,n186,n187,n188,n189,n190,n191,n192,n193,n194,n195,n196,n197,n198,n199,n200,n201,n202,n203,n204,n205,n206,n207,n208,n209,n210,n211,n212,n213,n214,n215: std_logic;
begin
    DFF0: DFF port map (li0, CLK, lo0);
    DFF1: DFF port map (li1, CLK, lo1);
    DFF2: DFF port map (li2, CLK, lo2);
    DFF3: DFF port map (li3, CLK, lo3);
    DFF4: DFF port map (li4, CLK, lo4);
    po0 <= ( not n32 );
    po1 <= ( not n33 );
    po2 <= ( not n34 );
    li0 <= ( not n35 );
    li1 <= ( not n36 );
    li2 <= ( not n37 );
    li3 <= ( not n38 );
    li4 <= ( not n39 );
    n32 <= ( not n82 and not n88 and not n111 and not n115 and not n214 and not n215 );
    n33 <= ( not n43 and not n45 and not n46 and not n47 and not n48 and not n49 and not n51 and not n53 and not n55 and not n58 and not n59 and not n60 and not n61 and not n63 and not n64 and not n66 and not n68 and not n70 and not n74 and not n80 and not n81 and not n84 and not n89 and not n95 and not n99 and not n108 );
    n34 <= ( not n40 and not n41 and not n42 and not n47 and not n65 and not n66 );
    n35 <= ( not n42 and not n46 and not n49 and not n51 and not n52 and not n57 and not n63 and not n65 and not n67 and not n68 and not n70 and not n81 and not n82 and not n84 and not n85 and not n87 and not n88 and not n89 and not n92 and not n95 and not n96 and not n97 and not n99 and not n104 and not n105 and not n106 and not n108 and not n109 and not n111 and not n112 and not n115 and not n119 and not n121 and not n122 and not n124 and not n125 and not n126 and not n133 and not n134 and not n136 and not n139 and not n142 and not n143 and not n148 and not n149 and not n150 and not n151 and not n152 and not n153 and not n163 and not n171 and not n214 and not n215 );
    n36 <= ( not n63 and not n72 and not n73 and not n81 and not n83 and not n84 and not n89 and not n95 and not n96 and not n97 and not n99 and not n105 and not n108 and not n111 and not n113 and not n119 and not n121 and not n125 and not n131 and not n142 and not n144 and not n147 and not n148 and not n150 and not n153 and not n154 and not n155 and not n156 and not n157 and not n160 and not n161 and not n163 and not n164 and not n165 and not n166 and not n168 and not n169 and not n170 and not n171 and not n172 and not n173 and not n174 and not n176 and not n177 and not n178 and not n179 and not n180 and not n181 and not n182 and not n183 and not n184 and not n185 and not n186 and not n187 and not n188 and not n189 and not n190 and not n191 and not n192 and not n193 and not n194 and not n195 and not n196 and not n197 and not n198 and not n199 and not n200 and not n201 and not n202 and not n203 and not n204 and not n205 and not n206 and not n207 and not n208 and not n209 and not n210 and not n211 and not n212 and not n213 and not n215 );
    n37 <= ( not n44 and not n46 and not n48 and not n50 and not n51 and not n52 and not n54 and not n56 and not n58 and not n60 and not n61 and not n64 and not n68 and not n72 and not n73 and not n74 and not n80 and not n86 and not n87 and not n89 and not n93 and not n95 and not n97 and not n99 and not n100 and not n103 and not n107 and not n108 and not n112 and not n113 and not n114 and not n115 and not n116 and not n118 and not n125 and not n127 and not n128 and not n129 and not n133 and not n134 and not n135 and not n136 and not n139 and not n141 and not n142 and not n149 and not n151 and not n167 and not n175 and not n214 );
    n38 <= ( not n40 and not n41 and not n49 and not n50 and not n55 and not n56 and not n57 and not n59 and not n60 and not n61 and not n62 and not n67 and not n68 and not n69 and not n70 and not n71 and not n73 and not n74 and not n75 and not n80 and not n83 and not n84 and not n86 and not n90 and not n91 and not n94 and not n95 and not n100 and not n101 and not n102 and not n104 and not n108 and not n114 and not n115 and not n117 and not n124 and not n132 and not n135 and not n136 and not n137 and not n138 and not n140 and not n143 and not n145 and not n146 and not n147 and not n158 and not n162 and not n167 and not n214 and not n215 );
    n39 <= ( not n42 and not n45 and not n51 and not n53 and not n55 and not n58 and not n59 and not n62 and not n64 and not n65 and not n68 and not n70 and not n72 and not n74 and not n76 and not n77 and not n78 and not n79 and not n80 and not n81 and not n83 and not n84 and not n85 and not n86 and not n93 and not n96 and not n98 and not n99 and not n101 and not n102 and not n103 and not n104 and not n106 and not n108 and not n110 and not n117 and not n118 and not n119 and not n120 and not n121 and not n123 and not n125 and not n130 and not n132 and not n137 and not n138 and not n139 and not n141 and not n142 and not n149 and not n151 and not n155 and not n159 and not n163 );
    n40 <= ( pi0 and pi1 and not pi2 and not pi3 and pi4 and pi5 and lo0 and not lo1 and not lo2 and not lo3 and lo4 );
    n41 <= ( pi0 and pi1 and not pi2 and not pi3 and pi4 and pi5 and not lo0 and not lo1 and not lo2 and lo3 and not lo4 );
    n42 <= ( not pi0 and pi1 and not pi2 and not pi3 and pi4 and pi5 and lo0 and not lo1 and not lo2 and not lo3 and lo4 );
    n43 <= ( pi0 and not pi1 and not pi2 and not pi3 and not pi4 and not pi5 and not lo0 and lo1 and lo2 and not lo3 and not lo4 );
    n44 <= ( not pi0 and pi1 and not pi2 and not pi3 and pi4 and not pi5 and not lo0 and lo1 and not lo2 and not lo3 and not lo4 );
    n45 <= ( not pi0 and not pi1 and pi2 and not pi3 and not pi4 and pi5 and not lo0 and lo1 and not lo2 and not lo3 and lo4 );
    n46 <= ( not pi0 and not pi1 and not pi2 and pi3 and pi4 and not pi5 and lo0 and not lo1 and lo2 and not lo3 and not lo4 );
    n47 <= ( not pi1 and pi2 and not pi3 and pi4 and pi5 and lo0 and not lo1 and not lo2 and not lo3 and not lo4 );
    n48 <= ( not pi0 and pi1 and not pi2 and not pi3 and pi4 and not pi5 and not lo0 and not lo1 and lo2 and not lo3 and not lo4 );
    n49 <= ( not pi0 and pi1 and not pi2 and not pi3 and pi4 and not pi5 and lo0 and not lo1 and not lo2 and lo3 and not lo4 );
    n50 <= ( not pi0 and not pi1 and not pi2 and pi3 and not pi4 and not pi5 and not lo0 and lo1 and not lo2 and not lo3 and not lo4 );
    n51 <= ( not pi0 and not pi1 and not pi2 and pi3 and not pi4 and not pi5 and lo0 and not lo1 and lo2 and not lo3 and lo4 );
    n52 <= ( not pi0 and not pi1 and pi2 and not pi3 and not pi4 and pi5 and not lo0 and not lo1 and not lo2 and not lo3 and not lo4 );
    n53 <= ( pi0 and not pi1 and not pi2 and not pi3 and pi4 and not pi5 and not lo0 and not lo1 and not lo2 and not lo3 and lo4 );
    n54 <= ( pi0 and not pi1 and not pi2 and pi4 and pi5 and lo0 and not lo1 and not lo2 and lo3 and not lo4 );
    n55 <= ( not pi0 and not pi1 and not pi2 and pi3 and pi4 and not pi5 and not lo0 and not lo1 and not lo2 and lo3 and lo4 );
    n56 <= ( not pi0 and not pi1 and pi2 and not pi3 and not pi4 and not pi5 and not lo0 and lo1 and not lo2 and not lo3 and not lo4 );
    n57 <= ( not pi0 and pi1 and not pi2 and not pi3 and pi4 and not pi5 and not lo0 and not lo1 and not lo2 and not lo3 and not lo4 );
    n58 <= ( not pi0 and not pi1 and not pi2 and pi3 and not pi4 and pi5 and not lo0 and lo1 and lo2 and not lo3 and lo4 );
    n59 <= ( not pi0 and pi1 and not pi2 and not pi3 and not pi4 and not pi5 and not lo0 and lo1 and not lo2 and lo3 and lo4 );
    n60 <= ( not pi0 and not pi1 and not pi2 and pi3 and not pi4 and not pi5 and not lo0 and lo1 and lo2 and lo3 and not lo4 );
    n61 <= ( not pi0 and pi1 and not pi2 and not pi3 and not pi4 and pi5 and not lo0 and not lo1 and lo2 and lo3 and not lo4 );
    n62 <= ( not pi0 and not pi1 and not pi2 and pi3 and pi4 and not pi5 and not lo0 and lo1 and not lo2 and not lo3 and not lo4 );
    n63 <= ( not pi0 and pi1 and not pi2 and not pi3 and not pi4 and not pi5 and lo0 and lo1 and not lo2 and not lo3 and not lo4 );
    n64 <= ( not pi0 and not pi1 and pi2 and not pi3 and pi4 and not pi5 and not lo0 and not lo1 and lo2 and not lo3 and lo4 );
    n65 <= ( not pi0 and pi1 and not pi2 and not pi3 and pi4 and pi5 and not lo0 and not lo1 and not lo2 and lo3 and not lo4 );
    n66 <= ( not pi1 and pi2 and not pi3 and pi4 and pi5 and not lo0 and lo1 and not lo2 and lo3 and not lo4 );
    n67 <= ( pi0 and not pi1 and not pi2 and not pi3 and pi4 and not pi5 and not lo0 and not lo1 and not lo2 and not lo3 and not lo4 );
    n68 <= ( not pi0 and not pi1 and not pi2 and pi3 and not pi4 and pi5 and lo0 and not lo1 and lo2 and lo3 and lo4 );
    n69 <= ( not pi0 and not pi1 and pi2 and not pi3 and not pi4 and not lo0 and not lo1 and not lo2 and not lo3 and not lo4 );
    n70 <= ( pi0 and not pi1 and not pi2 and not pi3 and pi4 and not pi5 and lo0 and not lo1 and not lo2 and lo3 and lo4 );
    n71 <= ( not pi0 and not pi1 and not pi2 and pi3 and pi5 and not lo0 and not lo1 and not lo2 and not lo3 and not lo4 );
    n72 <= ( pi0 and not pi1 and not pi2 and not pi3 and pi4 and pi5 and lo0 and not lo1 and lo2 and lo3 and lo4 );
    n73 <= ( pi0 and not pi1 and not pi2 and not pi3 and pi4 and pi5 and lo0 and not lo1 and lo2 and not lo3 and lo4 );
    n74 <= ( not pi0 and not pi1 and pi2 and not pi3 and not pi4 and not pi5 and not lo0 and lo1 and lo2 and lo3 and lo4 );
    n75 <= ( pi0 and not pi1 and pi2 and pi4 and pi5 and not lo1 and not lo2 and not lo3 and not lo4 );
    n76 <= ( not pi0 and pi1 and not pi2 and not pi3 and pi5 and not lo0 and not lo1 and not lo2 and not lo3 and not lo4 );
    n77 <= ( not pi0 and not pi1 and pi2 and not pi3 and not pi4 and not lo0 and lo1 and not lo2 and not lo3 and not lo4 );
    n78 <= ( pi0 and not pi1 and not pi2 and not pi3 and pi4 and pi5 and lo0 and lo1 and lo2 and not lo4 );
    n79 <= ( not pi0 and not pi1 and not pi2 and not pi3 and not pi5 and lo0 and not lo1 and not lo2 and not lo3 and lo4 );
    n80 <= ( pi0 and not pi1 and not pi2 and not pi3 and not pi4 and pi5 and not lo0 and not lo1 and lo2 and lo3 and lo4 );
    n81 <= ( pi0 and not pi1 and not pi2 and not pi3 and not pi4 and not pi5 and lo0 and lo1 and not lo2 and not lo3 and lo4 );
    n82 <= ( not pi0 and not pi1 and not pi2 and not pi3 and not pi5 and lo0 and not lo1 and lo2 and lo3 and not lo4 );
    n83 <= ( not pi0 and pi1 and not pi2 and not pi3 and not pi4 and not pi5 and not lo0 and lo1 and not lo2 and not lo3 and not lo4 );
    n84 <= ( not pi0 and not pi1 and pi2 and not pi3 and not pi4 and not pi5 and lo0 and lo1 and not lo2 and lo3 and lo4 );
    n85 <= ( not pi0 and not pi1 and not pi2 and pi3 and not pi4 and not lo0 and not lo1 and not lo2 and not lo3 and not lo4 );
    n86 <= ( pi0 and not pi1 and not pi2 and not pi3 and not pi4 and pi5 and not lo0 and lo1 and not lo2 and not lo3 and not lo4 );
    n87 <= ( not pi0 and not pi1 and not pi2 and pi3 and not pi5 and not lo0 and not lo1 and not lo2 and not lo3 and not lo4 );
    n88 <= ( not pi0 and not pi1 and not pi2 and not pi3 and not pi5 and lo0 and lo1 and not lo2 and lo3 and not lo4 );
    n89 <= ( pi0 and not pi1 and not pi2 and not pi3 and not pi4 and pi5 and lo0 and lo1 and lo2 and not lo3 and not lo4 );
    n90 <= ( pi0 and pi1 and not pi2 and pi4 and pi5 and not lo0 and not lo2 and not lo3 and not lo4 );
    n91 <= ( pi0 and not pi1 and pi2 and pi4 and pi5 and not lo0 and lo1 and not lo2 and not lo4 );
    n92 <= ( not pi0 and not pi1 and pi2 and pi4 and pi5 and not lo1 and not lo2 and not lo3 and not lo4 );
    n93 <= ( not pi0 and not pi1 and not pi2 and pi3 and not pi4 and pi5 and not lo0 and not lo2 and not lo3 and not lo4 );
    n94 <= ( not pi1 and not pi2 and pi4 and pi5 and lo0 and lo1 and lo3 and lo4 );
    n95 <= ( not pi0 and not pi1 and pi2 and not pi3 and not pi4 and pi5 and lo0 and lo1 and lo2 and lo3 and not lo4 );
    n96 <= ( pi0 and not pi1 and not pi2 and not pi3 and not pi4 and not pi5 and not lo0 and not lo1 and not lo2 and not lo3 and not lo4 );
    n97 <= ( pi0 and not pi1 and not pi2 and not pi3 and not pi4 and pi5 and not lo0 and not lo1 and not lo2 and not lo3 and not lo4 );
    n98 <= ( pi0 and not pi1 and not pi2 and not pi3 and pi4 and not pi5 and not lo0 and not lo2 and not lo3 and not lo4 );
    n99 <= ( not pi0 and not pi1 and pi2 and not pi3 and pi4 and not pi5 and lo0 and lo1 and lo2 and not lo3 and lo4 );
    n100 <= ( not pi0 and pi1 and not pi2 and not pi3 and not pi4 and pi5 and not lo0 and not lo2 and not lo3 and not lo4 );
    n101 <= ( pi0 and not pi1 and not pi2 and not pi3 and pi4 and pi5 and lo0 and lo2 and not lo3 and not lo4 );
    n102 <= ( pi0 and not pi1 and not pi2 and not pi3 and pi4 and pi5 and lo0 and lo1 and not lo3 and not lo4 );
    n103 <= ( not pi0 and not pi1 and pi2 and not pi3 and pi4 and not pi5 and not lo0 and not lo2 and not lo3 and not lo4 );
    n104 <= ( not pi0 and not pi1 and not pi2 and not pi3 and pi4 and pi5 and not lo0 and not lo1 and not lo2 and not lo3 and lo4 );
    n105 <= ( not pi0 and pi1 and not pi2 and not pi3 and not pi4 and not lo0 and not lo1 and not lo2 and not lo3 and not lo4 );
    n106 <= ( not pi0 and pi1 and not pi2 and not pi3 and pi4 and pi5 and not lo0 and not lo2 and not lo3 and not lo4 );
    n107 <= ( not pi0 and not pi1 and not pi2 and not pi3 and not pi4 and pi5 and not lo0 and lo1 and lo2 and not lo4 );
    n108 <= ( not pi0 and pi1 and not pi2 and not pi3 and not pi4 and pi5 and lo0 and lo1 and lo2 and lo3 and lo4 );
    n109 <= ( not pi0 and not pi1 and pi2 and pi4 and pi5 and not lo0 and lo1 and not lo2 and not lo4 );
    n110 <= ( not pi1 and not pi2 and not pi3 and pi4 and pi5 and lo0 and not lo2 and lo3 and lo4 );
    n111 <= ( not pi0 and not pi1 and not pi2 and not pi3 and not pi4 and lo0 and lo1 and not lo2 and lo3 and not lo4 );
    n112 <= ( not pi0 and not pi1 and not pi2 and not pi3 and pi4 and pi5 and not lo0 and not lo1 and lo3 and lo4 );
    n113 <= ( pi0 and not pi1 and not pi2 and not pi3 and not pi4 and not pi5 and not lo0 and lo1 and not lo3 and not lo4 );
    n114 <= ( not pi0 and not pi1 and not pi2 and not pi3 and not pi4 and pi5 and not lo0 and lo1 and lo2 and lo3 );
    n115 <= ( not pi0 and not pi1 and not pi2 and not pi3 and not pi4 and lo0 and not lo1 and lo2 and lo3 and not lo4 );
    n116 <= ( not pi1 and not pi2 and not pi3 and pi4 and pi5 and lo0 and lo1 and lo2 and not lo3 );
    n117 <= ( not pi0 and not pi1 and not pi2 and not pi3 and pi5 and not lo0 and lo1 and lo2 and lo3 and lo4 );
    n118 <= ( not pi0 and not pi1 and not pi2 and not pi3 and not pi5 and not lo0 and lo1 and lo2 and not lo3 and lo4 );
    n119 <= ( not pi0 and not pi1 and not pi2 and not pi3 and pi4 and pi5 and not lo0 and lo1 and lo2 and not lo3 and not lo4 );
    n120 <= ( not pi1 and not pi2 and not pi3 and pi4 and pi5 and lo1 and lo2 and not lo3 and lo4 );
    n121 <= ( not pi0 and not pi1 and pi2 and not pi3 and not pi5 and not lo0 and not lo1 and not lo2 and not lo3 and not lo4 );
    n122 <= ( not pi0 and not pi1 and not pi2 and not pi3 and pi4 and lo0 and lo1 and lo3 and lo4 );
    n123 <= ( not pi0 and not pi1 and not pi2 and not pi3 and not pi4 and pi5 and not lo1 and not lo3 and lo4 );
    n124 <= ( not pi0 and not pi1 and not pi2 and pi4 and pi5 and lo0 and not lo1 and not lo2 and lo3 );
    n125 <= ( not pi0 and not pi1 and not pi2 and not pi3 and pi4 and pi5 and not lo0 and not lo1 and lo2 and not lo3 and lo4 );
    n126 <= ( not pi0 and not pi1 and not pi2 and not pi3 and pi4 and not pi5 and lo0 and not lo2 and not lo3 );
    n127 <= ( pi0 and not pi1 and not pi2 and pi4 and pi5 and lo0 and lo1 and lo4 );
    n128 <= ( not pi0 and not pi1 and not pi2 and not pi3 and not pi4 and not lo0 and not lo1 and lo2 and not lo3 );
    n129 <= ( not pi0 and not pi1 and not pi2 and not pi3 and pi4 and not pi5 and lo1 and lo2 and not lo4 );
    n130 <= ( not pi0 and not pi1 and not pi2 and not pi3 and not pi4 and not pi5 and not lo0 and not lo3 and lo4 );
    n131 <= ( pi1 and not pi4 and lo0 and not lo1 and lo2 and lo3 and not lo4 );
    n132 <= ( not pi0 and not pi1 and not pi2 and not pi3 and not pi4 and not pi5 and not lo1 and lo3 and lo4 );
    n133 <= ( not pi0 and not pi1 and not pi2 and not pi3 and pi5 and lo0 and not lo1 and lo2 and not lo3 );
    n134 <= ( not pi0 and not pi1 and not pi2 and not pi3 and not pi4 and not pi5 and lo0 and lo2 and not lo4 );
    n135 <= ( not pi0 and not pi1 and not pi2 and not pi3 and pi4 and lo0 and lo1 and lo2 and lo3 );
    n136 <= ( not pi0 and not pi1 and not pi2 and not pi3 and pi4 and pi5 and not lo0 and lo1 and not lo3 and lo4 );
    n137 <= ( not pi0 and not pi1 and not pi2 and not pi3 and not pi4 and pi5 and not lo2 and lo3 and lo4 );
    n138 <= ( not pi0 and not pi1 and not pi2 and not pi3 and pi4 and pi5 and lo0 and lo3 and lo4 );
    n139 <= ( not pi0 and not pi1 and not pi2 and not pi3 and pi4 and pi5 and not lo0 and lo2 and lo3 and not lo4 );
    n140 <= ( not pi0 and not pi1 and not pi2 and not pi3 and pi4 and not pi5 and not lo0 and lo3 and not lo4 );
    n141 <= ( not pi0 and not pi1 and not pi2 and not pi3 and pi4 and not pi5 and lo2 and lo3 and lo4 );
    n142 <= ( not pi0 and not pi1 and not pi2 and not pi3 and not pi4 and lo0 and lo1 and lo2 and not lo3 and lo4 );
    n143 <= ( not pi0 and not pi1 and not pi2 and pi4 and pi5 and not lo0 and not lo1 and lo2 and not lo4 );
    n144 <= ( pi0 and not pi1 and not pi3 and pi4 and pi5 and lo0 and not lo2 and not lo3 );
    n145 <= ( pi0 and not pi1 and not pi2 and pi4 and pi5 and not lo0 and lo3 and lo4 );
    n146 <= ( pi0 and not pi1 and not pi2 and pi4 and pi5 and not lo0 and lo2 and lo3 );
    n147 <= ( not pi0 and not pi1 and not pi2 and not pi3 and not pi5 and lo0 and lo1 and lo2 and lo3 );
    n148 <= ( not pi0 and not pi1 and not pi2 and not pi3 and pi5 and lo0 and lo1 and not lo3 and lo4 );
    n149 <= ( not pi0 and not pi1 and not pi2 and not pi3 and not pi5 and lo0 and lo2 and lo3 and lo4 );
    n150 <= ( not pi0 and not pi1 and not pi2 and not pi3 and pi5 and lo0 and lo1 and not lo2 and not lo3 );
    n151 <= ( not pi0 and not pi1 and not pi2 and not pi3 and pi4 and lo0 and not lo1 and lo2 and lo4 );
    n152 <= ( not pi0 and not pi1 and not pi2 and not pi3 and not pi4 and lo0 and not lo1 and not lo2 );
    n153 <= ( not pi0 and not pi1 and not pi2 and not pi3 and pi4 and lo0 and lo1 and lo2 and not lo4 );
    n154 <= ( pi0 and pi1 and not pi3 and pi4 and pi5 and lo3 and lo4 );
    n155 <= ( not pi0 and not pi1 and not pi2 and not pi3 and pi4 and not pi5 and lo1 and not lo2 and lo4 );
    n156 <= ( pi0 and not pi3 and lo0 and not lo1 and lo2 and lo3 and not lo4 );
    n157 <= ( pi0 and pi1 and not pi3 and pi4 and pi5 and lo0 and not lo4 );
    n158 <= ( not pi0 and not pi1 and not pi2 and not pi3 and not pi4 and not lo2 and lo3 and not lo4 );
    n159 <= ( pi0 and not pi1 and not pi2 and not pi3 and pi4 and pi5 and not lo0 and lo4 );
    n160 <= ( pi0 and not pi1 and not pi3 and pi4 and pi5 and not lo0 and not lo2 and not lo4 );
    n161 <= ( not pi0 and not pi1 and not pi2 and pi5 and not lo0 and not lo1 and lo2 and lo3 );
    n162 <= ( not pi0 and not pi1 and not pi2 and not pi3 and pi4 and not pi5 and lo1 and lo3 );
    n163 <= ( not pi0 and not pi1 and not pi2 and not pi3 and pi5 and lo0 and lo1 and not lo2 and lo4 );
    n164 <= ( pi0 and not pi3 and pi4 and pi5 and lo1 and not lo2 and lo4 );
    n165 <= ( pi0 and not pi3 and pi4 and pi5 and lo1 and lo3 and not lo4 );
    n166 <= ( pi3 and not pi4 and not lo1 and lo2 and lo3 and not lo4 );
    n167 <= ( not pi0 and not pi1 and not pi2 and not pi3 and not pi5 and not lo1 and lo2 and lo3 );
    n168 <= ( pi2 and not pi4 and not lo1 and lo2 and lo3 and not lo4 );
    n169 <= ( pi3 and not pi5 and not lo1 and lo2 and lo3 and not lo4 );
    n170 <= ( not pi0 and not pi1 and not pi2 and not pi3 and not pi5 and lo1 and lo2 and not lo4 );
    n171 <= ( not pi0 and not pi1 and not pi2 and pi4 and pi5 and lo1 and lo3 and lo4 );
    n172 <= ( pi2 and not pi5 and not lo1 and lo2 and lo3 and not lo4 );
    n173 <= ( pi1 and not pi5 and not lo1 and lo2 and lo3 and not lo4 );
    n174 <= ( not pi0 and not pi1 and not pi2 and not pi3 and pi4 and not pi5 and lo1 and not lo4 );
    n175 <= ( pi0 and not pi1 and not pi2 and pi4 and pi5 and not lo0 and lo2 );
    n176 <= ( not pi0 and not pi3 and pi4 and not pi5 and not lo0 and not lo2 and lo4 );
    n177 <= ( pi0 and pi1 and not pi3 and pi4 and pi5 and lo2 );
    n178 <= ( not pi1 and not pi2 and pi4 and not pi5 and not lo0 and lo2 and not lo3 );
    n179 <= ( not pi1 and not pi2 and not pi3 and not lo0 and lo1 and not lo2 and lo4 );
    n180 <= ( pi2 and pi3 and not pi5 and not lo0 and lo1 );
    n181 <= ( pi1 and pi3 and not pi5 and not lo0 and lo1 );
    n182 <= ( pi1 and pi2 and not pi5 and not lo0 and lo1 );
    n183 <= ( pi0 and pi3 and not pi5 and not lo0 and lo1 );
    n184 <= ( pi0 and pi1 and not pi4 and not lo0 and lo1 );
    n185 <= ( pi3 and not pi5 and not lo0 and not lo3 and lo4 );
    n186 <= ( pi0 and pi2 and not pi5 and not lo0 and lo1 );
    n187 <= ( pi1 and not pi4 and not lo0 and not lo2 and lo3 );
    n188 <= ( pi0 and pi1 and not pi5 and not lo0 and lo1 );
    n189 <= ( pi1 and not pi4 and not lo0 and lo2 and not lo3 );
    n190 <= ( not pi0 and not pi1 and pi2 and not pi3 and not pi4 and not lo0 );
    n191 <= ( pi2 and not pi5 and not lo0 and lo2 and not lo4 );
    n192 <= ( pi0 and not pi4 and not lo0 and not lo3 and lo4 );
    n193 <= ( pi0 and not pi4 and not lo0 and not lo2 and lo3 );
    n194 <= ( pi0 and pi2 and not pi3 and pi4 and pi5 );
    n195 <= ( pi0 and not pi4 and not lo0 and lo2 and not lo4 );
    n196 <= ( pi0 and pi2 and not pi3 and not lo0 and lo4 );
    n197 <= ( pi0 and pi1 and not pi3 and not lo0 and lo4 );
    n198 <= ( not pi0 and pi3 and not lo0 and lo3 and not lo4 );
    n199 <= ( pi0 and not pi3 and not lo0 and lo1 and lo2 );
    n200 <= ( pi3 and not pi4 and not lo0 and lo4 );
    n201 <= ( pi1 and not pi4 and not lo0 and lo4 );
    n202 <= ( pi3 and not pi4 and not lo0 and lo1 );
    n203 <= ( pi2 and not pi5 and not lo0 and lo3 );
    n204 <= ( pi2 and not pi4 and not lo0 and lo1 );
    n205 <= ( pi1 and not pi5 and not lo0 and lo4 );
    n206 <= ( not pi0 and not pi1 and not pi4 and not lo0 and lo1 );
    n207 <= ( pi1 and not pi5 and not lo0 and lo3 );
    n208 <= ( pi0 and not pi5 and not lo0 and lo3 );
    n209 <= ( pi0 and not pi5 and not lo0 and lo2 );
    n210 <= ( not pi0 and pi3 and not lo0 and lo2 );
    n211 <= ( not pi4 and not lo0 and lo1 and lo3 );
    n212 <= ( not pi5 and not lo0 and lo1 and lo4 );
    n213 <= ( not pi5 and not lo0 and lo1 and lo2 );
    n214 <= ( pi0 and pi3 and pi4 and pi5 );
    n215 <= ( not pi0 and pi3 and pi4 and pi5 );
end top_behav;
