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

entity IWLS93__k2 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: 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,po28,po29,po30,po31,po32,po33,po34,po35,po36,po37,po38,po39,po40,po41,po42,po43,po44: inout std_logic
  );
end IWLS93__k2;

architecture IWLS93__k2_behav of IWLS93__k2 is
signal n105,n114,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,n216,n217,n218,n219,n220,n221,n222,n223,n224,n225,n226,n227,n228,n229,n230,n231,n232,n233,n234,n235,n236,n237,n238,n239,n240,n241,n242,n243,n244,n245,n246,n247,n248,n249,n250,n251,n252,n253,n254,n255,n256,n257,n258,n259,n260,n261,n262,n263,n264,n265,n266,n267,n268,n269,n270,n271,n272,n273,n274,n275,n276,n277,n278,n279,n280,n281,n282,n283,n284,n285,n286,n287,n288,n289,n290,n291,n292,n293,n294,n295,n296,n297,n298,n299,n300,n301,n302,n303,n304,n305,n306,n307,n308,n309,n310,n311,n312,n313,n314,n315,n316,n317,n318,n319,n320,n321,n322,n323,n324,n325,n326,n327,n328,n329,n330,n331,n332,n333,n334,n335,n336,n337,n338,n339,n340: std_logic;
begin
    po00 <= ( n186 )
      or ( n193 )
      or ( n133 )
      or ( n153 )
      or ( n136 )
      or ( n195 );
    po01 <= ( n191 )
      or ( n158 )
      or ( n249 )
      or ( n247 )
      or ( n248 )
      or ( n286 )
      or ( n219 )
      or ( n139 )
      or ( n224 )
      or ( n265 )
      or ( n268 )
      or ( n281 )
      or ( n163 )
      or ( n242 )
      or ( n221 )
      or ( n169 )
      or ( n165 )
      or ( n271 )
      or ( n222 )
      or ( n208 )
      or ( n237 )
      or ( n288 )
      or ( n301 )
      or ( n261 )
      or ( n166 )
      or ( n216 )
      or ( n184 )
      or ( n176 )
      or ( n269 )
      or ( n218 )
      or ( n192 )
      or ( n170 )
      or ( n244 )
      or ( n223 )
      or ( n302 )
      or ( n283 )
      or ( n241 )
      or ( n150 )
      or ( n229 )
      or ( n160 )
      or ( n273 )
      or ( n239 )
      or ( n234 )
      or ( n213 )
      or ( n214 )
      or ( n303 );
    po02 <= ( n133 )
      or ( n134 )
      or ( n135 )
      or ( n136 )
      or ( n137 )
      or ( n138 )
      or ( n139 )
      or ( n140 )
      or ( n141 )
      or ( n142 )
      or ( n143 )
      or ( n144 )
      or ( n145 )
      or ( n146 )
      or ( n147 )
      or ( n148 )
      or ( n149 )
      or ( n150 )
      or ( n151 )
      or ( n152 )
      or ( n153 )
      or ( n154 )
      or ( n155 )
      or ( n156 )
      or ( n157 )
      or ( n158 )
      or ( n159 )
      or ( n160 )
      or ( n161 )
      or ( n162 )
      or ( po20 )
      or ( n163 )
      or ( n164 )
      or ( n165 )
      or ( n166 )
      or ( n167 )
      or ( n168 )
      or ( n169 )
      or ( n170 )
      or ( n171 )
      or ( n172 )
      or ( n173 )
      or ( n174 )
      or ( n175 )
      or ( n176 )
      or ( n177 )
      or ( n178 )
      or ( n179 )
      or ( n180 )
      or ( n181 )
      or ( n182 )
      or ( n183 )
      or ( n184 )
      or ( n185 )
      or ( n186 )
      or ( n187 )
      or ( n188 )
      or ( n189 )
      or ( n190 )
      or ( n191 )
      or ( n192 )
      or ( n193 )
      or ( n194 )
      or ( n195 )
      or ( n196 )
      or ( n197 )
      or ( n198 )
      or ( n199 )
      or ( n200 )
      or ( n201 )
      or ( n202 )
      or ( n203 )
      or ( n204 );
    po03 <= ( n161 )
      or ( n236 )
      or ( n166 );
    po04 <= ( n236 )
      or ( n196 )
      or ( n194 )
      or ( n225 )
      or ( n188 );
    po05 <= ( po20 )
      or ( n145 )
      or ( n136 )
      or ( n134 )
      or ( n137 )
      or ( n195 )
      or ( n163 )
      or ( n192 )
      or ( n176 )
      or ( n185 )
      or ( n160 )
      or ( n178 )
      or ( n139 )
      or ( n153 )
      or ( n157 );
    po06 <= ( n210 )
      or ( n202 )
      or ( n318 )
      or ( n204 )
      or ( n135 )
      or ( n271 )
      or ( n264 )
      or ( n149 )
      or ( n273 )
      or ( n213 )
      or ( n198 )
      or ( n262 )
      or ( n190 )
      or ( n196 )
      or ( n269 )
      or ( n239 )
      or ( n219 )
      or ( n144 )
      or ( n168 )
      or ( n241 )
      or ( n229 )
      or ( n214 )
      or ( n208 )
      or ( n152 )
      or ( n141 )
      or ( n265 )
      or ( n230 )
      or ( n303 )
      or ( n268 )
      or ( n261 )
      or ( n173 )
      or ( n158 )
      or ( n320 )
      or ( n215 )
      or ( n282 )
      or ( n187 )
      or ( n305 )
      or ( n308 )
      or ( n200 );
    po07 <= ( n330 )
      or ( n324 )
      or ( n315 )
      or ( n312 )
      or ( n258 )
      or ( n331 )
      or ( n322 )
      or ( n313 )
      or ( n332 )
      or ( n333 )
      or ( n334 )
      or ( n335 )
      or ( n304 )
      or ( n336 )
      or ( n279 )
      or ( n337 )
      or ( n309 )
      or ( n327 )
      or ( n307 )
      or ( n325 )
      or ( n251 )
      or ( n338 )
      or ( n206 )
      or ( n339 )
      or ( n205 )
      or ( n278 )
      or ( n250 )
      or ( n326 )
      or ( n316 );
    po08 <= ( n202 )
      or ( n200 )
      or ( n204 )
      or ( n210 )
      or ( n135 )
      or ( n224 )
      or ( po25 )
      or ( n152 )
      or ( n283 )
      or ( po26 )
      or ( n273 )
      or ( n221 )
      or ( n207 )
      or ( n264 )
      or ( n286 )
      or ( n217 )
      or ( n269 )
      or ( n196 )
      or ( n268 )
      or ( n173 )
      or ( n154 )
      or ( n226 )
      or ( n229 )
      or ( n288 )
      or ( n241 )
      or ( n261 )
      or ( n144 )
      or ( n218 )
      or ( n225 )
      or ( n155 )
      or ( n230 )
      or ( n159 )
      or ( n265 )
      or ( n223 )
      or ( n220 )
      or ( n228 )
      or ( n190 )
      or ( n262 )
      or ( n162 )
      or ( n149 )
      or ( n168 )
      or ( n141 )
      or ( n187 )
      or ( n158 );
    po09 <= ( n200 )
      or ( n187 )
      or ( n204 )
      or ( n202 )
      or ( n135 )
      or ( n196 )
      or ( n262 )
      or ( n194 )
      or ( n228 )
      or ( n226 )
      or ( n257 )
      or ( n217 )
      or ( n144 )
      or ( po25 )
      or ( n152 )
      or ( n220 )
      or ( n264 )
      or ( n207 )
      or ( n269 )
      or ( po26 )
      or ( n162 )
      or ( n263 )
      or ( n173 )
      or ( n190 )
      or ( n141 )
      or ( n149 )
      or ( n158 )
      or ( n168 );
    po10 <= ( po44 )
      or ( n135 )
      or ( n231 )
      or ( n232 )
      or ( n233 )
      or ( n216 )
      or ( n193 )
      or ( n178 )
      or ( n234 )
      or ( n159 )
      or ( n195 )
      or ( n152 )
      or ( n149 )
      or ( n222 )
      or ( n208 )
      or ( n161 )
      or ( n235 )
      or ( n236 )
      or ( n185 )
      or ( n237 )
      or ( n238 )
      or ( n198 )
      or ( n138 )
      or ( n162 )
      or ( n168 )
      or ( n192 )
      or ( n164 )
      or ( n239 )
      or ( n240 )
      or ( n241 )
      or ( n242 )
      or ( n144 )
      or ( n243 )
      or ( n175 )
      or ( n160 )
      or ( n173 )
      or ( n141 )
      or ( n219 )
      or ( n244 )
      or ( n199 )
      or ( n171 )
      or ( n190 )
      or ( n158 )
      or ( n245 )
      or ( n246 )
      or ( n247 )
      or ( n248 )
      or ( n249 )
      or ( n204 )
      or ( n202 );
    po11 <= ( n187 )
      or ( n162 )
      or ( n209 )
      or ( n200 )
      or ( n259 )
      or ( n283 )
      or ( n180 )
      or ( n285 )
      or ( n223 )
      or ( po25 )
      or ( n165 )
      or ( n198 )
      or ( n189 )
      or ( n155 )
      or ( n221 )
      or ( n217 )
      or ( n150 )
      or ( n179 )
      or ( n142 )
      or ( n181 )
      or ( n225 )
      or ( n146 )
      or ( n226 )
      or ( n219 )
      or ( po26 )
      or ( n177 )
      or ( n288 )
      or ( n220 )
      or ( n208 )
      or ( n284 )
      or ( n218 )
      or ( n207 )
      or ( n159 )
      or ( n197 )
      or ( n297 )
      or ( n143 )
      or ( n287 )
      or ( n228 )
      or ( n156 )
      or ( n212 )
      or ( n148 )
      or ( n314 )
      or ( n227 );
    po12 <= ( n232 )
      or ( po44 )
      or ( n146 )
      or ( n242 )
      or ( n233 )
      or ( n297 )
      or ( n165 )
      or ( n231 )
      or ( n287 )
      or ( n171 )
      or ( n295 )
      or ( n268 )
      or ( n259 )
      or ( n294 )
      or ( n285 )
      or ( n293 )
      or ( n257 )
      or ( n263 )
      or ( n177 )
      or ( n255 )
      or ( n174 )
      or ( n158 )
      or ( n202 )
      or ( n150 )
      or ( n284 )
      or ( n254 )
      or ( n141 )
      or ( n191 )
      or ( n308 )
      or ( n155 )
      or ( n181 )
      or ( n269 )
      or ( n238 )
      or ( n243 )
      or ( n256 )
      or ( n248 )
      or ( n160 )
      or ( n226 )
      or ( n244 )
      or ( n235 )
      or ( n311 )
      or ( n215 )
      or ( n249 )
      or ( n182 )
      or ( n299 )
      or ( n213 )
      or ( n240 )
      or ( n211 )
      or ( n203 )
      or ( n237 )
      or ( n300 )
      or ( n149 )
      or ( n323 )
      or ( n187 )
      or ( n204 )
      or ( n157 )
      or ( n290 )
      or ( n145 )
      or ( n168 )
      or ( n282 )
      or ( n210 )
      or ( n320 )
      or ( n291 )
      or ( n306 )
      or ( n214 )
      or ( n305 )
      or ( n201 )
      or ( n340 )
      or ( n280 )
      or ( n281 )
      or ( n139 )
      or ( n172 )
      or ( n212 )
      or ( n229 )
      or ( n328 )
      or ( n234 )
      or ( n246 )
      or ( n288 )
      or ( n221 )
      or ( n262 )
      or ( n114 )
      or ( n148 )
      or ( n173 )
      or ( n329 )
      or ( n303 )
      or ( po20 )
      or ( n277 )
      or ( n183 )
      or ( n286 )
      or ( n143 )
      or ( n264 )
      or ( n140 )
      or ( n144 )
      or ( n245 )
      or ( n200 )
      or ( n133 )
      or ( n310 )
      or ( n271 )
      or ( n224 )
      or ( n228 )
      or ( n166 )
      or ( n152 )
      or ( n167 )
      or ( n153 )
      or ( n247 )
      or ( n134 )
      or ( n198 )
      or ( n163 )
      or ( n217 )
      or ( n142 )
      or ( n147 )
      or ( n161 )
      or ( n178 )
      or ( n321 )
      or ( n190 )
      or ( n225 )
      or ( n220 )
      or ( n185 )
      or ( n138 )
      or ( n151 )
      or ( n156 )
      or ( n273 )
      or ( n230 )
      or ( n239 )
      or ( n192 )
      or ( n219 )
      or ( n189 )
      or ( n261 )
      or ( n266 )
      or ( n298 )
      or ( n252 )
      or ( n227 )
      or ( n186 )
      or ( n194 )
      or ( n169 )
      or ( n296 )
      or ( n164 )
      or ( n260 )
      or ( n289 )
      or ( n253 )
      or ( n314 )
      or ( n162 )
      or ( n319 )
      or ( n270 )
      or ( n154 )
      or ( n188 )
      or ( n195 )
      or ( n208 )
      or ( n276 )
      or ( n216 )
      or ( n267 )
      or ( n302 )
      or ( n193 )
      or ( po26 )
      or ( n196 )
      or ( n179 )
      or ( n197 )
      or ( n170 )
      or ( n136 )
      or ( n236 )
      or ( n175 )
      or ( n207 )
      or ( n176 )
      or ( n274 )
      or ( n283 )
      or ( n265 )
      or ( po25 )
      or ( n318 )
      or ( n272 )
      or ( n223 )
      or ( n199 )
      or ( n180 )
      or ( n292 )
      or ( n275 )
      or ( n159 )
      or ( n301 )
      or ( n241 )
      or ( n137 )
      or ( n317 )
      or ( n218 )
      or ( n222 )
      or ( n184 )
      or ( n135 );
    po13 <= ( n210 )
      or ( n202 )
      or ( n318 )
      or ( n204 )
      or ( n135 )
      or ( n154 )
      or ( po26 )
      or ( n212 )
      or ( n190 )
      or ( n196 )
      or ( po25 )
      or ( n152 )
      or ( n239 )
      or ( n198 )
      or ( n261 )
      or ( n264 )
      or ( n162 )
      or ( n225 )
      or ( n208 )
      or ( n273 )
      or ( n320 )
      or ( n241 )
      or ( n268 )
      or ( n230 )
      or ( n141 )
      or ( n220 )
      or ( n155 )
      or ( n144 )
      or ( n303 )
      or ( n288 )
      or ( n219 )
      or ( n228 )
      or ( n227 )
      or ( n149 )
      or ( n280 )
      or ( n265 )
      or ( n226 )
      or ( n314 )
      or ( n213 )
      or ( n207 )
      or ( n269 )
      or ( n217 )
      or ( n262 )
      or ( n229 )
      or ( n168 )
      or ( n173 )
      or ( n214 )
      or ( n215 )
      or ( n282 )
      or ( n158 )
      or ( n308 )
      or ( n305 );
    po14 <= ( n204 )
      or ( n202 )
      or ( n209 )
      or ( n135 )
      or ( n259 )
      or ( n236 )
      or ( po26 )
      or ( n139 )
      or ( n144 )
      or ( n225 )
      or ( po25 )
      or ( n260 )
      or ( n152 )
      or ( n194 )
      or ( n146 )
      or ( n143 )
      or ( n252 )
      or ( n241 )
      or ( n261 )
      or ( n262 )
      or ( n253 )
      or ( n188 )
      or ( n155 )
      or ( n172 )
      or ( n149 )
      or ( n220 )
      or ( n263 )
      or ( n264 )
      or ( n190 )
      or ( n196 )
      or ( n265 )
      or ( n257 )
      or ( n266 )
      or ( n162 )
      or ( n267 )
      or ( n197 )
      or ( n268 )
      or ( n269 )
      or ( n173 )
      or ( n270 )
      or ( n207 )
      or ( n228 )
      or ( n271 )
      or ( n217 )
      or ( n226 )
      or ( n183 )
      or ( n166 )
      or ( n141 )
      or ( n272 )
      or ( n273 )
      or ( n234 )
      or ( n274 )
      or ( n275 )
      or ( n276 )
      or ( n277 )
      or ( n174 )
      or ( n158 )
      or ( n168 )
      or ( n200 )
      or ( n187 );
    n105 <= '0';
    po16 <= ( n214 )
      or ( n162 )
      or ( n187 )
      or ( n215 )
      or ( n210 )
      or ( n216 )
      or ( n217 )
      or ( n218 )
      or ( n207 )
      or ( n219 )
      or ( n220 )
      or ( n221 )
      or ( n150 )
      or ( n222 )
      or ( n208 )
      or ( n223 )
      or ( po26 )
      or ( n224 )
      or ( po25 )
      or ( n198 )
      or ( n165 )
      or ( n225 )
      or ( n155 )
      or ( n226 )
      or ( n227 )
      or ( n228 )
      or ( n229 )
      or ( n230 );
    po17 <= ( n172 )
      or ( n114 );
    po18 <= ( n252 )
      or ( n253 )
      or ( n254 )
      or ( n255 )
      or ( n256 )
      or ( n257 )
      or ( n188 );
    po19 <= ( n318 )
      or ( n204 )
      or ( n209 )
      or ( n135 )
      or ( n259 )
      or ( po25 )
      or ( n284 )
      or ( n321 )
      or ( n141 )
      or ( po26 )
      or ( n268 )
      or ( n230 )
      or ( n303 )
      or ( n208 )
      or ( n262 )
      or ( n227 )
      or ( n306 )
      or ( n261 )
      or ( n143 )
      or ( n314 )
      or ( n149 )
      or ( n146 )
      or ( n172 )
      or ( n162 )
      or ( n158 )
      or ( n297 )
      or ( n269 )
      or ( n239 )
      or ( n215 )
      or ( n270 )
      or ( n217 )
      or ( n287 )
      or ( n273 )
      or ( n229 )
      or ( n168 )
      or ( n222 )
      or ( n207 )
      or ( n150 )
      or ( n264 )
      or ( n320 )
      or ( n214 )
      or ( n280 )
      or ( n197 )
      or ( n155 )
      or ( n152 )
      or ( n216 )
      or ( n265 )
      or ( n165 )
      or ( n212 )
      or ( n183 )
      or ( n219 )
      or ( n190 )
      or ( n305 )
      or ( n271 )
      or ( n220 )
      or ( n213 )
      or ( n282 )
      or ( n277 )
      or ( n175 )
      or ( n319 )
      or ( n225 )
      or ( n196 )
      or ( n267 )
      or ( n187 )
      or ( n308 )
      or ( n200 )
      or ( n210 )
      or ( n202 );
    po20 <= ( not pi00 and not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and pi12 and pi14 and pi27 and not pi35 );
    po21 <= ( n162 )
      or ( n173 )
      or ( n209 )
      or ( n204 )
      or ( n259 )
      or ( n283 )
      or ( n188 )
      or ( po26 )
      or ( n284 )
      or ( n224 )
      or ( n241 )
      or ( n208 )
      or ( n285 )
      or ( n286 )
      or ( n179 )
      or ( n180 )
      or ( n257 )
      or ( n221 )
      or ( n175 )
      or ( po25 )
      or ( n165 )
      or ( n154 )
      or ( n219 )
      or ( n287 )
      or ( n260 )
      or ( n267 )
      or ( n220 )
      or ( n263 )
      or ( n139 )
      or ( n223 )
      or ( n236 )
      or ( n207 )
      or ( n142 )
      or ( n228 )
      or ( n159 )
      or ( n198 )
      or ( n197 )
      or ( n146 )
      or ( n226 )
      or ( n218 )
      or ( n225 )
      or ( n217 )
      or ( n288 )
      or ( n194 )
      or ( n189 )
      or ( n150 )
      or ( n289 )
      or ( n155 )
      or ( n266 )
      or ( n114 )
      or ( n253 )
      or ( n166 )
      or ( n144 )
      or ( n252 );
    po22 <= ( n200 )
      or ( n187 )
      or ( n204 )
      or ( n202 )
      or ( n135 )
      or ( n276 )
      or ( n265 )
      or ( n268 )
      or ( n264 )
      or ( n317 )
      or ( n219 )
      or ( n284 )
      or ( n114 )
      or ( n274 )
      or ( n189 )
      or ( n150 )
      or ( n289 )
      or ( n271 )
      or ( n197 )
      or ( n165 )
      or ( n156 )
      or ( n270 )
      or ( n208 )
      or ( n181 )
      or ( n144 )
      or ( n267 )
      or ( n180 )
      or ( n143 )
      or ( n152 )
      or ( n196 )
      or ( n142 )
      or ( n177 )
      or ( n148 )
      or ( n198 )
      or ( n261 )
      or ( n226 )
      or ( n273 )
      or ( n241 )
      or ( n297 )
      or ( n179 )
      or ( n146 )
      or ( n262 )
      or ( n190 )
      or ( n269 )
      or ( n173 )
      or ( n149 )
      or ( n174 )
      or ( n141 )
      or ( n158 )
      or ( n168 );
    po23 <= ( n202 )
      or ( n200 )
      or ( n209 )
      or ( n135 )
      or ( n259 )
      or ( n196 )
      or ( n285 )
      or ( n264 )
      or ( n267 )
      or ( n284 )
      or ( n172 )
      or ( n179 )
      or ( n294 )
      or ( n156 )
      or ( n198 )
      or ( n268 )
      or ( n269 )
      or ( n189 )
      or ( n181 )
      or ( n190 )
      or ( n265 )
      or ( n228 )
      or ( n152 )
      or ( n277 )
      or ( n261 )
      or ( n177 )
      or ( n148 )
      or ( n319 )
      or ( n180 )
      or ( n226 )
      or ( n273 )
      or ( n276 )
      or ( n287 )
      or ( n275 )
      or ( n142 )
      or ( n143 )
      or ( n306 )
      or ( n262 )
      or ( n149 )
      or ( n141 )
      or ( n168 )
      or ( n174 )
      or ( n187 )
      or ( n158 );
    n114 <= ( not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and pi14 );
    po25 <= ( pi01 and pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 );
    po26 <= ( pi01 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 );
    po27 <= ( n173 )
      or ( n144 )
      or ( n204 );
    po28 <= ( n292 )
      or ( n204 )
      or ( n271 )
      or ( n135 )
      or ( n183 )
      or ( n318 )
      or ( n288 )
      or ( n277 )
      or ( n280 )
      or ( n259 )
      or ( n319 )
      or ( n270 )
      or ( n276 )
      or ( n216 )
      or ( n275 )
      or ( n159 )
      or ( n269 )
      or ( n152 )
      or ( n239 )
      or ( n214 )
      or ( n317 )
      or ( n218 )
      or ( n156 )
      or ( n212 )
      or ( n190 )
      or ( n174 )
      or ( n274 )
      or ( n283 )
      or ( n225 )
      or ( n289 )
      or ( n227 )
      or ( n320 )
      or ( n141 )
      or ( n272 )
      or ( n223 )
      or ( n198 )
      or ( n172 )
      or ( n299 )
      or ( n162 )
      or ( n303 )
      or ( n197 )
      or ( n146 )
      or ( n114 )
      or ( n321 )
      or ( n213 )
      or ( n282 )
      or ( n207 )
      or ( n142 )
      or ( n166 )
      or ( n314 )
      or ( n149 )
      or ( n158 )
      or ( n268 )
      or ( n266 )
      or ( n273 )
      or ( n144 )
      or ( n291 )
      or ( n215 )
      or ( n257 )
      or ( n260 )
      or ( n253 )
      or ( n230 )
      or ( n290 )
      or ( n168 )
      or ( n222 )
      or ( n179 )
      or ( po26 )
      or ( n155 )
      or ( n139 )
      or ( n252 )
      or ( n173 )
      or ( n221 )
      or ( n220 )
      or ( po25 )
      or ( n165 )
      or ( n143 )
      or ( n148 )
      or ( n229 )
      or ( n286 )
      or ( n219 )
      or ( n261 )
      or ( n263 )
      or ( n228 )
      or ( n306 )
      or ( n211 )
      or ( n224 )
      or ( n265 )
      or ( n208 )
      or ( n150 )
      or ( n181 )
      or ( n234 )
      or ( n305 )
      or ( n236 )
      or ( n194 )
      or ( n296 )
      or ( n295 )
      or ( n226 )
      or ( n196 )
      or ( n241 )
      or ( n189 )
      or ( n294 )
      or ( n177 )
      or ( n267 )
      or ( n188 )
      or ( n180 )
      or ( n297 )
      or ( n284 )
      or ( n154 )
      or ( n175 )
      or ( n217 )
      or ( n287 )
      or ( n285 )
      or ( n187 )
      or ( n308 )
      or ( n200 )
      or ( n210 )
      or ( n202 );
    po29 <= ( n290 )
      or ( n291 )
      or ( n292 )
      or ( n211 )
      or ( n209 )
      or ( n197 )
      or ( n285 )
      or ( n189 )
      or ( n293 )
      or ( n183 )
      or ( n294 )
      or ( n179 )
      or ( n295 )
      or ( n142 )
      or ( n143 )
      or ( n146 )
      or ( n181 )
      or ( n296 )
      or ( n177 )
      or ( n180 )
      or ( n284 )
      or ( n297 )
      or ( n298 )
      or ( n287 )
      or ( n156 )
      or ( n172 )
      or ( n148 )
      or ( n114 )
      or ( n299 )
      or ( n300 );
    po31 <= ( n247 )
      or ( n315 )
      or ( n248 )
      or ( n249 )
      or ( n258 )
      or ( n312 );
    po32 <= ( n266 )
      or ( n260 )
      or ( n253 )
      or ( n166 )
      or ( n252 )
      or ( n236 )
      or ( n194 )
      or ( n263 )
      or ( n188 )
      or ( n139 )
      or ( n257 );
    po33 <= ( n179 )
      or ( n156 )
      or ( n177 )
      or ( n148 );
    po34 <= ( n312 )
      or ( n258 );
    po36 <= ( n134 )
      or ( n203 )
      or ( n136 )
      or ( n133 )
      or ( n137 )
      or ( n166 )
      or ( n161 )
      or ( n139 )
      or ( n171 )
      or ( n236 )
      or ( n157 )
      or ( n302 )
      or ( n167 )
      or ( n140 )
      or ( n178 )
      or ( n199 )
      or ( n153 )
      or ( n138 )
      or ( n186 )
      or ( n145 )
      or ( po20 )
      or ( n174 )
      or ( n201 )
      or ( n191 );
    po37 <= ( n308 )
      or ( n211 )
      or ( n292 )
      or ( n210 )
      or ( n318 )
      or ( n276 )
      or ( n289 )
      or ( n328 )
      or ( n319 )
      or ( n114 )
      or ( n329 )
      or ( n317 )
      or ( n293 )
      or ( n320 )
      or ( n275 )
      or ( n298 )
      or ( n230 )
      or ( n272 )
      or ( n299 )
      or ( n254 )
      or ( n274 )
      or ( n227 )
      or ( n255 )
      or ( n270 )
      or ( n212 )
      or ( n290 )
      or ( n280 )
      or ( n300 )
      or ( n291 )
      or ( n310 )
      or ( n294 )
      or ( n277 )
      or ( n295 )
      or ( n314 )
      or ( n311 )
      or ( n321 )
      or ( n306 )
      or ( n323 )
      or ( n215 )
      or ( n256 )
      or ( n305 )
      or ( n282 );
    po38 <= ( n247 )
      or ( n249 );
    po39 <= ( n247 )
      or ( n312 )
      or ( n248 );
    po40 <= ( n169 )
      or ( n163 )
      or ( n170 )
      or ( n176 )
      or ( n160 )
      or ( n192 );
    po41 <= ( n193 )
      or ( n195 )
      or ( n164 )
      or ( n185 )
      or ( n160 )
      or ( n192 );
    po42 <= ( n140 )
      or ( n191 )
      or ( n174 )
      or ( n201 );
    po43 <= ( n134 )
      or ( n203 )
      or ( n136 )
      or ( n133 )
      or ( n137 )
      or ( n302 )
      or ( n160 )
      or ( n163 )
      or ( n138 )
      or ( n236 )
      or ( n164 )
      or ( n192 )
      or ( n170 )
      or ( n195 )
      or ( n166 )
      or ( n193 )
      or ( n161 )
      or ( n169 )
      or ( n139 )
      or ( n199 )
      or ( n171 )
      or ( n185 )
      or ( n167 )
      or ( n176 )
      or ( n178 )
      or ( n157 )
      or ( n153 )
      or ( n186 )
      or ( po20 )
      or ( n145 );
    po44 <= ( not pi03 and not pi05 and not pi07 and not pi09 and pi12 and not pi42 and not pi43 and not pi44 );
    n133 <= ( not pi06 and not pi07 and not pi08 and pi09 and pi10 and pi12 and pi20 and pi27 and pi40 and pi41 );
    n134 <= ( pi01 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and pi12 and pi27 and not pi41 );
    n135 <= ( not pi01 and not pi06 and pi07 and not pi08 and not pi09 and pi10 and pi12 );
    n136 <= ( not pi06 and not pi07 and not pi08 and pi09 and pi10 and pi12 and pi20 and pi27 and pi40 and not pi41 );
    n137 <= ( not pi06 and not pi07 and not pi08 and pi09 and pi10 and pi12 and pi14 and pi27 );
    n138 <= ( pi01 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and pi27 );
    n139 <= ( pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and pi27 and not pi31 and not pi33 );
    n140 <= ( pi06 and not pi07 and pi08 and pi09 and pi10 and pi12 and pi27 );
    n141 <= ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and not pi10 and pi12 );
    n142 <= ( pi01 and not pi04 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 );
    n143 <= ( not pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and pi14 );
    n144 <= ( pi01 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and pi12 and pi41 );
    n145 <= ( not pi00 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and pi12 and pi14 and pi27 and not pi35 );
    n146 <= ( pi01 and pi04 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 );
    n147 <= ( pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and pi33 and not pi36 );
    n148 <= ( not pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 );
    n149 <= ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and pi12 and pi14 );
    n150 <= ( pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and not pi12 and pi14 and not pi31 and not pi33 );
    n151 <= ( pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi31 and not pi33 and not pi36 );
    n152 <= ( pi06 and pi07 and pi08 and not pi09 and pi10 and pi12 );
    n153 <= ( not pi00 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and pi12 and pi20 and pi27 and not pi35 and pi40 and not pi41 );
    n154 <= ( not pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and pi12 and pi14 and not pi39 );
    n155 <= ( pi05 and not pi06 and pi07 and pi08 and pi09 and pi10 and not pi12 and pi14 );
    n156 <= ( not pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and pi16 );
    n157 <= ( not pi00 and pi01 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and pi12 and pi27 and not pi35 and not pi41 );
    n158 <= ( pi05 and not pi06 and pi07 and pi08 and not pi09 and pi12 );
    n159 <= ( not pi05 and not pi06 and pi07 and not pi08 and not pi09 and not pi10 and pi12 and pi14 and not pi23 and pi24 and not pi26 and pi28 and not pi39 );
    n160 <= ( pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and not pi12 and pi14 and pi27 );
    n161 <= ( not pi05 and not pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and pi16 and pi27 );
    n162 <= ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and pi12 and pi20 and pi41 );
    n163 <= ( pi01 and pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and pi27 and not pi41 );
    n164 <= ( pi01 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and pi27 );
    n165 <= ( pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and not pi12 and pi14 and pi33 );
    n166 <= ( pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and pi27 and pi31 and not pi33 );
    n167 <= ( not pi00 and pi01 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and pi12 and pi27 and not pi35 and pi41 );
    n168 <= ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and pi12 and pi14 );
    n169 <= ( pi01 and pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and pi27 and pi41 );
    n170 <= ( pi01 and pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and pi27 and not pi41 );
    n171 <= ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and not pi12 and pi14 and pi27 and not pi35 );
    n172 <= ( not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and pi18 );
    n173 <= ( pi01 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and pi12 and not pi41 );
    n174 <= ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and pi12 and pi27 );
    n175 <= ( not pi03 and not pi05 and pi06 and pi07 and pi08 and not pi09 and pi10 and not pi12 );
    n176 <= ( pi01 and pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and pi27 and pi41 );
    n177 <= ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and not pi12 and pi14 );
    n178 <= ( not pi05 and not pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and pi27 and not pi33 and not pi35 );
    n179 <= ( not pi03 and not pi05 and pi06 and not pi07 and pi08 and pi09 and pi10 and not pi12 );
    n180 <= ( pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and pi14 );
    n181 <= ( not pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and pi16 );
    n182 <= ( pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi31 and not pi33 );
    n183 <= ( not pi06 and not pi07 and not pi08 and pi09 and not pi10 and pi12 and pi16 );
    n184 <= ( not pi03 and pi05 and pi06 and not pi07 and pi08 and pi09 and pi10 and not pi12 );
    n185 <= ( pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and pi14 and pi27 );
    n186 <= ( not pi00 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and pi12 and pi20 and pi27 and not pi35 and pi40 and pi41 );
    n187 <= ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and pi12 and pi16 and pi29 );
    n188 <= ( not pi03 and not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi12 and pi35 );
    n189 <= ( pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and pi20 and pi40 );
    n190 <= ( not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and pi12 and pi20 and not pi41 );
    n191 <= ( pi05 and not pi06 and not pi07 and pi08 and pi09 and pi12 and pi27 );
    n192 <= ( not pi03 and pi05 and pi06 and pi07 and pi08 and not pi09 and pi10 and not pi12 and not pi27 and not pi34 );
    n193 <= ( pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and pi20 and pi27 and pi40 and pi41 );
    n194 <= ( not pi03 and pi05 and pi06 and pi07 and pi08 and not pi09 and pi10 and not pi12 and pi34 );
    n195 <= ( pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and pi20 and pi27 and pi40 and not pi41 );
    n196 <= ( pi03 and pi06 and not pi07 and pi08 and pi09 and pi10 and not pi12 );
    n197 <= ( pi01 and not pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 );
    n198 <= ( pi03 and pi06 and not pi07 and pi08 and not pi09 and pi10 and not pi12 and not pi33 );
    n199 <= ( pi01 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and pi27 );
    n200 <= ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and pi12 and pi14 and pi29 );
    n201 <= ( not pi06 and not pi07 and not pi08 and pi09 and pi10 and pi12 and pi18 and pi27 );
    n202 <= ( not pi06 and pi07 and not pi08 and not pi09 and pi10 and pi12 and pi18 );
    n203 <= ( pi01 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and pi12 and pi27 and pi41 );
    n204 <= ( pi01 and not pi06 and pi07 and not pi08 and not pi09 and pi10 and pi12 );
    n205 <= ( pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and pi20 and not pi27 );
    n206 <= ( pi01 and not pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi27 );
    n207 <= ( pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and pi20 );
    n208 <= ( pi01 and pi04 and pi05 and pi06 and not pi07 and not pi08 and not pi09 and pi10 and not pi12 );
    n209 <= ( not pi03 and not pi05 and not pi07 and not pi09 and pi12 and pi43 and not pi44 );
    n210 <= ( pi01 and not pi06 and pi07 and not pi08 and pi09 and pi10 and pi12 );
    n211 <= ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi12 and pi20 and not pi40 );
    n212 <= ( pi06 and pi07 and pi08 and pi09 and pi10 and pi12 );
    n213 <= ( not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and pi12 and pi14 );
    n214 <= ( not pi05 and not pi06 and pi07 and pi08 and pi09 and pi10 and pi12 and pi14 );
    n215 <= ( pi05 and not pi06 and pi07 and pi08 and pi09 and pi12 );
    n216 <= ( not pi05 and not pi06 and pi07 and not pi08 and not pi09 and not pi10 and pi12 and pi14 and not pi23 and not pi24 and pi25 and not pi26 and not pi28 and not pi39 );
    n217 <= ( pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 and pi14 );
    n218 <= ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and pi12 and pi14 );
    n219 <= ( pi01 and pi05 and pi06 and not pi07 and pi08 and not pi09 and not pi10 and not pi12 );
    n220 <= ( pi01 and pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 );
    n221 <= ( not pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi11 and pi12 and pi14 and not pi15 and pi24 and pi39 );
    n222 <= ( not pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and pi12 and pi14 and pi15 and pi39 );
    n223 <= ( not pi05 and not pi06 and pi07 and not pi08 and not pi09 and not pi10 and pi12 and pi14 and not pi23 and pi24 and not pi26 and not pi28 and not pi39 );
    n224 <= ( not pi05 and not pi06 and pi07 and not pi08 and not pi09 and not pi10 and pi12 and pi14 and not pi23 and pi26 and not pi39 );
    n225 <= ( not pi03 and pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi12 );
    n226 <= ( not pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and pi16 and pi29 );
    n227 <= ( pi01 and pi06 and pi08 and pi09 and not pi10 and pi12 );
    n228 <= ( not pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and pi14 and pi29 );
    n229 <= ( pi01 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and pi12 and not pi41 );
    n230 <= ( pi01 and not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and pi12 and pi41 );
    n231 <= ( not pi03 and not pi05 and pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi44 );
    n232 <= ( not pi03 and not pi05 and not pi07 and not pi09 and not pi12 and pi43 and not pi44 );
    n233 <= ( not pi03 and not pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi16 and not pi44 );
    n234 <= ( pi05 and pi06 and not pi07 and not pi08 and not pi09 and not pi10 and pi12 );
    n235 <= ( pi00 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and pi12 and not pi35 );
    n236 <= ( pi03 and pi06 and not pi07 and pi08 and not pi09 and pi10 and not pi12 and pi27 and pi33 );
    n237 <= ( pi05 and not pi06 and not pi07 and not pi08 and not pi09 and not pi10 and not pi12 );
    n238 <= ( not pi02 and pi05 and pi06 and not pi08 and pi10 and pi12 and not pi37 );
    n239 <= ( not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and pi12 and pi20 and not pi41 );
    n240 <= ( pi02 and pi05 and not pi06 and not pi07 and pi08 and not pi09 and pi10 and pi12 and pi14 and not pi38 );
    n241 <= ( not pi03 and pi05 and pi06 and not pi07 and pi08 and not pi09 and pi10 and not pi12 );
    n242 <= ( pi05 and not pi06 and not pi07 and pi08 and not pi09 and pi10 and not pi12 and pi14 );
    n243 <= ( not pi02 and pi05 and not pi06 and not pi07 and pi08 and not pi09 and pi10 and pi12 and pi14 and not pi37 );
    n244 <= ( pi05 and not pi06 and not pi07 and not pi08 and not pi09 and pi10 and not pi12 );
    n245 <= ( pi02 and pi05 and pi06 and not pi08 and pi10 and pi12 and not pi38 );
    n246 <= ( pi00 and not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and pi12 and pi14 and not pi35 );
    n247 <= ( pi01 and not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi12 );
    n248 <= ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi12 and pi18 );
    n249 <= ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi12 and pi20 and pi40 );
    n250 <= ( not pi06 and not pi07 and not pi08 and pi09 and pi10 and pi12 and pi20 and not pi27 );
    n251 <= ( not pi03 and pi05 and pi06 and pi07 and pi08 and not pi09 and pi10 and not pi12 and not pi27 and not pi34 );
    n252 <= ( not pi05 and not pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and pi33 );
    n253 <= ( not pi05 and not pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi33 and pi35 );
    n254 <= ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and pi12 and not pi20 and pi35 );
    n255 <= ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and pi12 and pi20 and pi35 and pi40 );
    n256 <= ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and pi12 and pi14 and pi35 );
    n257 <= ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and not pi12 and pi14 and pi35 );
    n258 <= ( not pi06 and not pi07 and not pi08 and pi09 and pi10 and pi12 and pi18 and not pi27 );
    n259 <= ( not pi03 and not pi05 and not pi07 and not pi09 and pi44 );
    n260 <= ( pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi31 and not pi33 and pi36 );
    n261 <= ( pi01 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 );
    n262 <= ( pi05 and not pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 );
    n263 <= ( pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and not pi12 and pi14 and pi31 and not pi33 );
    n264 <= ( pi05 and not pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 );
    n265 <= ( pi01 and not pi05 and pi06 and pi07 and pi08 and pi09 and not pi10 and not pi12 );
    n266 <= ( pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and pi33 and pi36 );
    n267 <= ( pi03 and not pi05 and pi06 and pi07 and pi08 and not pi09 and pi10 and not pi12 );
    n268 <= ( not pi05 and not pi06 and pi07 and pi08 and pi09 and pi10 and not pi12 and pi14 );
    n269 <= ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and pi10 and not pi12 );
    n270 <= ( pi05 and not pi06 and not pi08 and pi09 and not pi10 and pi12 and pi14 );
    n271 <= ( not pi05 and not pi06 and pi07 and not pi08 and not pi09 and not pi10 and pi12 and pi14 and not pi23 and not pi24 and not pi25 and not pi26 and not pi28 and pi30 and not pi32 and not pi39 );
    n272 <= ( not pi06 and pi07 and not pi08 and not pi09 and not pi10 and pi11 and pi12 and pi16 );
    n273 <= ( not pi05 and not pi06 and pi07 and not pi08 and pi09 and not pi10 and not pi12 );
    n274 <= ( not pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi11 and pi12 and pi13 and pi16 );
    n275 <= ( not pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi11 and pi12 and not pi13 and not pi15 and pi16 and pi17 );
    n276 <= ( not pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi11 and pi12 and not pi13 and not pi15 and pi16 and not pi17 and pi19 );
    n277 <= ( not pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi11 and pi12 and not pi13 and not pi15 and pi16 and not pi17 and not pi19 and not pi21 and pi22 );
    n278 <= ( pi01 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and pi12 and not pi27 );
    n279 <= ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and not pi12 and pi14 and not pi27 and not pi35 );
    n280 <= ( not pi05 and not pi06 and pi07 and not pi08 and not pi09 and not pi10 and pi12 and pi14 and not pi23 and not pi24 and not pi25 and not pi26 and not pi28 and not pi30 and not pi32 and not pi39 );
    n281 <= ( not pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi11 and pi12 and pi14 and not pi15 and not pi24 and pi39 );
    n282 <= ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and pi12 and pi16 );
    n283 <= ( not pi05 and not pi06 and pi07 and not pi08 and not pi09 and not pi10 and pi12 and pi14 and not pi23 and not pi24 and not pi26 and pi28 and not pi39 );
    n284 <= ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and not pi12 and pi16 );
    n285 <= ( pi01 and not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and not pi12 );
    n286 <= ( not pi05 and not pi06 and pi07 and not pi08 and not pi09 and not pi10 and pi12 and pi14 and pi23 and not pi39 );
    n287 <= ( pi06 and not pi08 and pi09 and pi10 and not pi12 and pi14 );
    n288 <= ( not pi05 and not pi06 and pi07 and not pi08 and not pi09 and not pi10 and pi12 and pi14 and not pi23 and not pi24 and not pi25 and not pi26 and not pi28 and not pi30 and pi32 and not pi39 );
    n289 <= ( not pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and pi18 );
    n290 <= ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and pi12 and pi20 and pi35 and not pi40 );
    n291 <= ( not pi00 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and pi12 and pi20 and pi27 and not pi35 and not pi40 );
    n292 <= ( not pi06 and not pi08 and pi10 and pi12 and pi20 and not pi40 );
    n293 <= ( pi06 and not pi08 and pi09 and not pi10 and not pi12 and pi14 );
    n294 <= ( pi06 and not pi08 and pi09 and not pi10 and not pi12 and pi20 and pi40 );
    n295 <= ( pi06 and not pi08 and pi09 and not pi10 and not pi12 and pi20 and not pi40 );
    n296 <= ( pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and pi20 and not pi40 );
    n297 <= ( pi06 and not pi08 and pi09 and pi10 and not pi12 and pi16 );
    n298 <= ( pi01 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 );
    n299 <= ( pi06 and pi08 and pi09 and not pi10 and pi12 and pi20 and not pi40 );
    n300 <= ( pi06 and pi08 and pi09 and pi10 and pi12 and pi14 );
    n301 <= ( not pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and pi11 and pi12 and pi14 and pi39 );
    n302 <= ( not pi03 and not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi12 and pi27 and not pi35 );
    n303 <= ( not pi05 and pi06 and pi07 and not pi08 and pi09 and not pi10 and pi12 );
    n304 <= ( not pi05 and not pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi12 and not pi27 and not pi33 and not pi35 );
    n305 <= ( not pi05 and not pi06 and pi07 and pi08 and not pi09 and not pi10 and pi12 and pi14 );
    n306 <= ( pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and pi12 );
    n307 <= ( not pi03 and not pi05 and pi06 and pi07 and pi08 and pi09 and pi10 and not pi12 and not pi27 and not pi35 );
    n308 <= ( not pi06 and pi07 and not pi08 and pi09 and pi10 and pi12 and pi18 );
    n309 <= ( not pi00 and not pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and pi12 and not pi27 and not pi35 );
    n310 <= ( not pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi11 and pi12 and not pi13 and not pi15 and pi16 and not pi17 and not pi19 and not pi21 and not pi22 );
    n311 <= ( not pi02 and pi05 and not pi06 and not pi07 and pi08 and not pi09 and pi10 and pi12 and pi14 and pi37 );
    n312 <= ( pi06 and not pi07 and pi08 and pi09 and pi10 and pi12 and pi18 and not pi27 );
    n313 <= ( pi05 and not pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi27 and pi31 and not pi33 );
    n314 <= ( pi06 and pi08 and pi09 and not pi10 and pi12 and pi20 and pi40 );
    n315 <= ( not pi05 and pi06 and not pi07 and not pi08 and pi09 and not pi10 and pi12 and not pi27 );
    n316 <= ( pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and pi14 and not pi27 );
    n317 <= ( not pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi11 and pi12 and not pi13 and pi15 and pi16 );
    n318 <= ( not pi01 and not pi06 and pi07 and not pi08 and pi09 and pi10 and pi12 );
    n319 <= ( not pi06 and pi07 and not pi08 and not pi09 and not pi10 and not pi11 and pi12 and not pi13 and not pi15 and pi16 and not pi17 and not pi19 and pi21 );
    n320 <= ( not pi05 and pi06 and pi07 and not pi08 and pi09 and pi10 and pi12 and pi20 and pi41 );
    n321 <= ( pi06 and pi08 and pi09 and not pi10 and pi12 and pi14 );
    n322 <= ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and pi12 and pi16 and not pi29 );
    n323 <= ( pi02 and pi05 and not pi06 and not pi07 and pi08 and not pi09 and pi10 and pi12 and pi14 and pi38 );
    n324 <= ( not pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and pi14 and not pi29 );
    n325 <= ( pi01 and not pi05 and pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and not pi27 );
    n326 <= ( not pi06 and not pi07 and not pi08 and pi09 and pi10 and pi12 and pi14 and not pi27 );
    n327 <= ( pi01 and pi05 and pi06 and not pi07 and pi08 and pi09 and not pi10 and not pi12 and not pi27 );
    n328 <= ( pi02 and pi05 and pi06 and not pi08 and pi10 and pi12 and pi38 );
    n329 <= ( not pi02 and pi05 and pi06 and not pi08 and pi10 and pi12 and pi37 );
    n330 <= ( pi05 and not pi06 and not pi07 and pi08 and pi09 and pi12 and not pi27 );
    n331 <= ( pi05 and not pi06 and not pi07 and not pi08 and pi09 and not pi10 and not pi12 and not pi27 and not pi31 and not pi33 );
    n332 <= ( not pi05 and not pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and pi16 and not pi27 );
    n333 <= ( pi01 and pi05 and pi06 and not pi07 and not pi08 and pi09 and pi10 and not pi12 and not pi27 and pi41 );
    n334 <= ( not pi00 and not pi05 and not pi06 and not pi07 and pi08 and pi09 and pi10 and pi12 and pi14 and not pi27 and not pi35 );
    n335 <= ( pi01 and pi04 and not pi05 and pi06 and pi07 and not pi08 and not pi09 and pi10 and not pi12 and not pi27 );
    n336 <= ( not pi05 and not pi06 and not pi07 and pi08 and pi09 and not pi10 and pi12 and pi14 and not pi29 );
    n337 <= ( pi05 and not pi06 and pi07 and pi08 and not pi09 and pi10 and not pi12 and pi14 and not pi27 );
    n338 <= ( pi03 and pi06 and not pi07 and pi08 and pi10 and not pi12 and not pi27 and pi33 );
    n339 <= ( not pi06 and pi07 and pi08 and not pi09 and not pi10 and not pi12 and pi16 and not pi29 );
    n340 <= ( pi01 and pi06 and pi08 and pi09 and pi10 and pi12 );
    po15 <= ( n105 );
    po24 <= ( n114 );
    po30 <= ( n114 );
    po35 <= ( n105 );
end IWLS93__k2_behav;
