| # Benchmark "top" written by ABC on Sun Nov 8 18:33:58 2009 |
| .model top |
| .inputs a b c d e f g h i j k l m n |
| .outputs h2 i2 j2 k2 l2 m2 n2 o2 p2 q2 r2 s2 t2 u2 |
| .names n30 n43 n47 n52 n73 n91 n29 |
| 000111 1 |
| .names a n31 n32 n35 n30 |
| 111- 1 |
| 11-0 1 |
| .names b c n31 |
| 01 1 |
| .names n33 n34 n32 |
| 11 1 |
| .names i j k l m n n33 |
| 010-10 1 |
| 01-110 1 |
| .names f g n34 |
| 11 1 |
| .names n36 n37 n38 n35 |
| 0-1 1 |
| -01 1 |
| .names i j l m n n36 |
| 0-110 1 |
| -1010 1 |
| .names f g h n37 |
| 111 1 |
| .names i n39 n40 n41 n42 n38 |
| 11-1- 0 |
| --1-1 0 |
| .names i l m n n39 |
| 1110 1 |
| .names j l m n n40 |
| 0110 1 |
| .names f g h n41 |
| 110 1 |
| .names f g h n42 |
| 101 1 |
| .names c d f n44 n45 n43 |
| 11010 1 |
| .names a b c m n n44 |
| 11110 1 |
| .names g h i j l n46 n45 |
| 01-01- 0 |
| 101-1- 0 |
| 110-1- 0 |
| 11-10- 0 |
| 1----0 0 |
| .names i j k l n46 |
| 00-1 1 |
| 0110 1 |
| 1111 1 |
| 1-00 1 |
| -00- 1 |
| .names n48 n49 n50 n51 n47 |
| 1101 1 |
| .names m n n48 |
| 10 1 |
| .names a b c n49 |
| 011 1 |
| .names g h i j l n50 |
| 01-01 0 |
| 101-1 0 |
| 110-1 0 |
| 11-10 0 |
| .names d f n51 |
| 01 1 |
| .names n53 n54 n56 n57 n63 n64 n52 |
| 1--0-0 1 |
| -100-0 1 |
| -1-010 1 |
| .names e g h n39 n36 n40 n53 |
| 101--1 0 |
| 1101-- 0 |
| 111-1- 0 |
| .names a n55 n49 n54 |
| 0-0 1 |
| -00 1 |
| .names c d n55 |
| 10 1 |
| .names a c d m n n56 |
| 11110 1 |
| .names a b c n58 n59 n60 n57 |
| 101--1 1 |
| --111- 1 |
| .names g h k m n n58 |
| 01110 1 |
| .names a b e n59 |
| 011 1 |
| .names n61 n62 n60 |
| 11 1 |
| .names f g j n61 |
| 111 1 |
| .names k l m n n62 |
| 0110 1 |
| .names f g h n39 n36 n40 n63 |
| 001--1 0 |
| 0101-- 0 |
| 011-1- 0 |
| .names n49 n65 n68 n72 n64 |
| 11-- 1 |
| 1-01 1 |
| .names e n66 n67 n65 |
| 101 1 |
| .names j k l m n n66 |
| 01-10 0 |
| -1010 0 |
| .names g i n67 |
| 11 1 |
| .names n69 n70 n42 n71 n68 |
| 1-1- 0 |
| -1-1 0 |
| .names k m n n69 |
| 110 1 |
| .names k l m n n70 |
| 1010 1 |
| .names f h n71 |
| 11 1 |
| .names d e n72 |
| 00 1 |
| .names e n56 n74 n79 n50 n80 n73 |
| 01-10- 0 |
| --1--- 0 |
| -----0 0 |
| .names a n55 n54 n75 n65 n77 n74 |
| 11--11 1 |
| --01-1 1 |
| .names j n48 n76 n75 |
| 110 1 |
| .names k l n76 |
| 10 1 |
| .names i n78 n77 |
| 01 1 |
| .names e g n78 |
| 11 1 |
| .names f g n79 |
| 10 1 |
| .names a n81 n83 n84 n85 n88 n80 |
| 0--011 1 |
| -1-011 1 |
| --0011 1 |
| .names g i n48 n82 n66 n81 |
| 11--0 0 |
| 1-10- 0 |
| .names j k l n82 |
| 010 0 |
| 101 0 |
| .names c e f n83 |
| 110 1 |
| .names g n48 n49 n46 n51 n84 |
| 11101 1 |
| .names n70 n67 n86 n87 n85 |
| 111- 0 |
| --11 0 |
| .names a c d e n86 |
| 1101 1 |
| .names g j k l m n n87 |
| 110110 1 |
| .names a e n55 n89 n90 n88 |
| 10-11 0 |
| 1111- 0 |
| .names g h k l m n n89 |
| 011-10 1 |
| -11010 1 |
| .names b c d n90 |
| 111 1 |
| .names n92 n94 n99 n105 n108 n91 |
| 00111 1 |
| .names n56 n93 n65 n77 n33 n92 |
| 111-1 1 |
| 11-11 1 |
| .names f g n93 |
| 01 1 |
| .names g n56 n95 n96 n94 |
| 1110 1 |
| .names e f n95 |
| 01 1 |
| .names i n97 n98 n96 |
| 1-1 1 |
| -01 1 |
| .names j k n97 |
| 10 1 |
| .names h i j l n98 |
| 01-1 0 |
| 10-1 0 |
| 1-10 0 |
| .names e g n48 n49 n82 n100 n99 |
| 11110- 0 |
| -----1 0 |
| .names h i n101 n102 n103 n104 n100 |
| 0011-1 1 |
| 11111- 1 |
| .names f g n101 |
| 00 1 |
| .names c d n102 |
| 00 1 |
| .names j k l m n n103 |
| 11100 1 |
| .names k l m n n104 |
| 0000 1 |
| .names a n106 n31 n86 n107 n105 |
| 00-0- 1 |
| -000- 1 |
| -0--0 1 |
| .names e f n58 n89 n56 n106 |
| 10111 1 |
| .names i j n70 n66 n34 n107 |
| 1--01 1 |
| -01-1 1 |
| .names a n109 n31 n111 n114 n68 n108 |
| 00-00- 1 |
| -0000- 1 |
| -0-001 1 |
| .names g n56 n110 n95 n109 |
| 1101 1 |
| .names i j k l n110 |
| 00-1 1 |
| 01-0 1 |
| 1111 1 |
| -00- 1 |
| --00 1 |
| .names n103 n112 n113 n111 |
| 111 1 |
| .names h i n112 |
| 00 1 |
| .names c d e f g n113 |
| 00111 1 |
| .names n115 n116 n114 |
| 11 1 |
| .names i j k l m n n115 |
| 100100 1 |
| .names c d e f g h n116 |
| 001111 1 |
| .names n118 n120 n122 n157 n161 n188 n117 |
| 001011 1 |
| .names e n50 n119 n118 |
| 001 1 |
| .names a b d m n n119 |
| 11110 1 |
| .names a n53 n55 n121 n120 |
| 101- 1 |
| -0-1 1 |
| .names a b c m n n121 |
| 10110 1 |
| .names n50 n51 n123 n144 n145 n150 n122 |
| 1-1-11 1 |
| -01-11 1 |
| --1011 1 |
| .names n124 n128 n130 n133 n136 n139 n123 |
| 100110 1 |
| .names n103 n112 n125 n126 n127 n124 |
| 11--1 0 |
| -111- 0 |
| .names b c d e f g n125 |
| 111001 1 |
| .names j k l m n n126 |
| 11101 1 |
| .names c d e f g n127 |
| 11001 1 |
| .names n103 n112 n129 n128 |
| 111 1 |
| .names c d e f g n129 |
| 01101 1 |
| .names n112 n131 n126 n132 n130 |
| 1111 1 |
| .names b c d n131 |
| 011 1 |
| .names e f g n132 |
| 101 1 |
| .names n115 n116 n134 n135 n133 |
| 11-- 0 |
| --11 0 |
| .names c d e l m n n134 |
| 111000 1 |
| .names f g h i j k n135 |
| 110010 1 |
| .names h n115 n137 n125 n127 n138 n136 |
| 11--1- 0 |
| --11-1 0 |
| .names h i j n137 |
| 110 1 |
| .names k l m n n138 |
| 0101 1 |
| .names n140 n90 n141 n142 n143 n139 |
| 11111 1 |
| .names k l n140 |
| 00 1 |
| .names e f g n141 |
| 111 1 |
| .names h i j n142 |
| 001 1 |
| .names m n n143 |
| 01 1 |
| .names a b c m n n144 |
| 11010 1 |
| .names n146 n82 n141 n121 n132 n147 n145 |
| 1--11- 0 |
| -011-- 0 |
| -----1 0 |
| .names j k l n146 |
| 101 1 |
| .names e f n148 n102 n149 n147 |
| 00111 1 |
| .names g h n148 |
| 01 1 |
| .names i j k l m n n149 |
| 111100 1 |
| .names h n151 n152 n153 n154 n150 |
| 0--10 1 |
| 10--0 1 |
| --0-0 1 |
| .names k l m n n151 |
| 1001 1 |
| .names b c d e f g n152 |
| 1111-0 1 |
| 1-1101 1 |
| .names i j k l m n n153 |
| 10-101 0 |
| 1-1-01 0 |
| .names h n151 n155 n131 n156 n154 |
| 0-110 1 |
| 11-10 1 |
| .names i j l m n n155 |
| 10101 1 |
| .names e g n156 |
| 01 0 |
| .names g n158 n46 n98 n159 n160 n157 |
| 110-11 1 |
| 11-011 1 |
| .names a m n n158 |
| 110 1 |
| .names e f n159 |
| 11 1 |
| .names c d n160 |
| 01 1 |
| .names n162 n166 n171 n176 n178 n184 n161 |
| 001111 1 |
| .names n151 n163 n164 n165 n162 |
| 111- 1 |
| -111 1 |
| .names g h n163 |
| 11 1 |
| .names b c d n164 |
| 101 1 |
| .names j k m n n165 |
| 1001 1 |
| .names b c d e n167 n168 n166 |
| 011--1 1 |
| 1-10-1 1 |
| ----11 1 |
| .names b d f g h i n167 |
| 111001 1 |
| .names n169 n170 n168 |
| 11 1 |
| .names j l m n n169 |
| 0101 1 |
| .names f h i n170 |
| 101 1 |
| .names n172 n131 n164 n173 n174 n175 n171 |
| 11--1- 0 |
| 1-1--1 0 |
| 1--11- 0 |
| .names k m n n172 |
| 101 1 |
| .names b d f n78 n173 |
| 1110 1 |
| .names f h i j n174 |
| 101- 1 |
| 110- 1 |
| 1-10 1 |
| .names g h i j n175 |
| 101- 1 |
| 110- 1 |
| 1-10 1 |
| .names a d e f n89 n177 n176 |
| 10101- 0 |
| --1111 0 |
| .names a c d n177 |
| 101 1 |
| .names g i n179 n86 n180 n181 n178 |
| 1011-- 0 |
| -01-1- 0 |
| -----1 0 |
| .names n48 n97 n179 |
| 11 1 |
| .names a d e f g n180 |
| 10101 1 |
| .names g n182 n183 n51 n144 n181 |
| 10111 1 |
| .names j l n182 |
| 11 1 |
| .names i k n183 |
| 11 1 |
| .names n121 n185 n187 n184 |
| 00- 1 |
| -01 1 |
| .names h n143 n152 n186 n131 n156 n185 |
| 1110-- 1 |
| 11-010 1 |
| .names i j k n186 |
| 111 1 |
| -00 1 |
| .names i j k l n141 n132 n187 |
| 00-1-- 1 |
| 0110-- 1 |
| 0-10-0 1 |
| 11-1-- 1 |
| 1-0--- 1 |
| -00--- 1 |
| ----00 1 |
| .names n189 n192 n194 n199 n204 n188 |
| 00111 1 |
| .names g n86 n180 n190 n189 |
| 11-1 1 |
| --11 1 |
| .names g i j n191 n70 n190 |
| 100-1 1 |
| -011- 1 |
| .names l m n n191 |
| 110 1 |
| .names i j n76 n193 n192 |
| 0100 1 |
| .names e g n51 n119 n144 n193 |
| 01-1- 0 |
| -11-1 0 |
| .names a n63 n195 n196 n197 n198 n194 |
| 0--000 1 |
| -1-000 1 |
| --0000 1 |
| .names d e n195 |
| 01 1 |
| .names j n69 n67 n86 n196 |
| 0111 1 |
| .names e n101 n102 n112 n104 n197 |
| 01111 1 |
| .names j l n148 n158 n159 n160 n198 |
| 011111 1 |
| .names n200 n131 n201 n202 n203 n173 n199 |
| 0000-0 1 |
| 0-001- 1 |
| .names a e n55 n89 n121 n200 |
| 1111- 1 |
| -1-11 1 |
| .names n82 n182 n183 n119 n156 n201 |
| 0--10 1 |
| -0110 1 |
| .names g n82 n51 n144 n202 |
| 1011 1 |
| .names n71 n151 n165 n203 |
| 0-- 1 |
| -00 1 |
| .names n169 n205 n206 n209 n212 n204 |
| 0-011 1 |
| -0011 1 |
| .names g h i n164 n205 |
| 1011 1 |
| .names e f n58 n207 n208 n206 |
| 0-11- 1 |
| -11-1 1 |
| .names a b d n207 |
| 111 1 |
| .names a b c n208 |
| 110 1 |
| .names i n66 n180 n210 n211 n209 |
| 101-- 0 |
| ---11 0 |
| .names i k m n n210 |
| 1101 1 |
| .names b c d e g h n211 |
| 011010 1 |
| .names g i n70 n86 n87 n180 n212 |
| 1111-- 0 |
| -1--11 0 |
| ---11- 0 |
| .names n124 n136 n147 n214 n217 n223 n213 |
| 110011 1 |
| .names d h i n159 n215 n214 |
| 011-1 1 |
| -1101 1 |
| .names g k n40 n49 n216 n215 |
| 10111 1 |
| .names d f n216 |
| 11 1 |
| .names n218 n97 n111 n219 n222 n217 |
| 0-00- 1 |
| -000- 1 |
| --001 1 |
| .names h i n218 |
| 01 1 |
| .names n48 n49 n220 n219 |
| 111 1 |
| .names f i n148 n146 n221 n220 |
| 11111 1 |
| .names d e n221 |
| 10 1 |
| .names l m n n131 n129 n132 n222 |
| 100-1- 0 |
| 1011-1 0 |
| .names f j n102 n140 n224 n226 n223 |
| 00111- 0 |
| -----0 0 |
| .names i m n n225 n224 |
| 0001 1 |
| .names g h n225 |
| 00 1 |
| .names h n115 n129 n227 n226 |
| 111- 0 |
| ---1 0 |
| .names n137 n131 n132 n138 n227 |
| 1111 1 |
| .names n111 n197 n128 n229 n235 n228 |
| 00011 1 |
| .names n37 n230 n149 n214 n231 n234 n229 |
| 0--000 1 |
| -0-000 1 |
| --0000 1 |
| .names c d e n230 |
| 111 1 |
| .names d l n232 n44 n159 n233 n231 |
| 111111 1 |
| .names j k n232 |
| 11 1 |
| .names g h i n233 |
| 111 1 |
| .names h i n90 n141 n126 n234 |
| 11111 1 |
| .names n130 n136 n226 n236 n235 |
| 0110 1 |
| .names e f n148 n102 n149 n236 |
| 10111 1 |
| .names n238 n307 n360 n376 n399 n419 n237 |
| 111111 1 |
| .names n239 n244 n264 n278 n285 n292 n238 |
| 011111 1 |
| .names g h n240 n242 n239 |
| 110- 1 |
| -1-0 1 |
| .names c f n134 n241 n240 |
| 110- 1 |
| -0-0 1 |
| --00 1 |
| .names i j k l m n n241 |
| 111110 1 |
| .names e g i n126 n243 n242 |
| 11--1 0 |
| -011- 0 |
| .names i j k m n n243 |
| 10010 1 |
| .names f n245 n247 n251 n257 n260 n244 |
| 10-10- 1 |
| -00100 1 |
| .names e f g h n165 n246 n245 |
| 01-01- 1 |
| 0-10-1 1 |
| .names i k m n n246 |
| 0001 1 |
| .names f k n248 n249 n250 n247 |
| 01111 1 |
| .names e g n248 |
| 00 1 |
| .names c e n249 |
| 10 1 |
| .names i m n n250 |
| 000 1 |
| .names n252 n253 n254 n250 n255 n256 n251 |
| 11---- 0 |
| --1--1 0 |
| ---11- 0 |
| .names h i j n252 |
| 010 1 |
| .names c e f m n n253 |
| 01000 1 |
| 10000 1 |
| .names b m n n254 |
| 001 1 |
| .names c d e g h n255 |
| 0001- 1 |
| 000-1 1 |
| .names e f g h i n256 |
| 0-000 1 |
| -1-00 1 |
| .names i n97 n34 n258 n230 n259 n257 |
| 00111- 1 |
| ----11 1 |
| .names l m n n258 |
| 000 1 |
| .names f g h i m n n259 |
| 110100 1 |
| .names j n261 n262 n163 n263 n260 |
| 10110 1 |
| .names c e n261 |
| 11 1 |
| .names m n n262 |
| 00 1 |
| .names c d e n263 |
| 010 1 |
| .names n265 n268 n269 n270 n272 n274 n264 |
| 000011 1 |
| .names n221 n266 n267 n265 |
| 0-1 1 |
| -01 1 |
| .names c f n266 |
| 11 1 |
| .names g j k m n n267 |
| 01010 1 |
| .names e g h j k n254 n268 |
| 011001 1 |
| .names e f j n67 n102 n262 n269 |
| 010-11 1 |
| -00111 1 |
| .names a j n48 n55 n112 n271 n270 |
| 011--1 1 |
| 0-10-1 1 |
| 0-1-01 1 |
| .names e f n271 |
| 00 1 |
| .names c d f n125 n246 n273 n272 |
| 1100-- 1 |
| 110-0- 1 |
| ---0-0 1 |
| ----00 1 |
| .names h j k m n n273 |
| 10001 1 |
| .names n243 n275 n276 n277 n274 |
| 1--1 0 |
| -10- 0 |
| .names b e f m n n275 |
| 00-10 1 |
| 0-110 1 |
| .names c d e f n276 |
| 010- 1 |
| 1--1 1 |
| -1-1 1 |
| .names a b c d g h n277 |
| 0111-- 0 |
| ----0- 0 |
| -----0 0 |
| .names n279 n246 n281 n283 n284 n278 |
| 0000- 1 |
| 0-000 1 |
| .names b f i j k n280 n279 |
| 011111 1 |
| .names h i j l m n n280 |
| 111101 1 |
| .names m n n97 n225 n282 n281 |
| 00110 1 |
| .names c f n282 |
| 00 1 |
| .names e h i n126 n160 n283 |
| 11111 1 |
| .names b e f m n n284 |
| 01001 1 |
| .names d f n48 n286 n287 n288 n285 |
| 1011-- 0 |
| ----1- 0 |
| -----0 0 |
| .names h i j l n286 |
| 0001 1 |
| .names e n163 n254 n273 n287 |
| 1-01 1 |
| -001 1 |
| .names h n95 n289 n290 n291 n288 |
| 01--1 0 |
| --11- 0 |
| .names d e f n289 |
| 000 1 |
| .names g j k m n n290 |
| 00-10 1 |
| 0-110 1 |
| .names j k l m n n291 |
| 00000 1 |
| .names n262 n293 n297 n300 n304 n305 n292 |
| 0000-- 1 |
| -00001 1 |
| .names i n93 n294 n295 n296 n293 |
| 011-1 1 |
| --11- 1 |
| .names c d e f n294 |
| 010- 0 |
| 1-10 0 |
| .names f g i k m n n295 |
| 011100 1 |
| .names c d e k m n n296 |
| 1--000 1 |
| -1-000 1 |
| --1000 1 |
| .names g i n95 n262 n298 n299 n297 |
| 11-100 1 |
| -10100 1 |
| .names c d e f g j n298 |
| 0--00- 1 |
| 10-1-- 1 |
| -10-1- 1 |
| ---110 1 |
| .names c d e f g i n299 |
| 1-10-- 1 |
| 1--10- 1 |
| -111-- 1 |
| ---011 1 |
| .names m n97 n301 n302 n303 n300 |
| 1-1-1 1 |
| -01-1 1 |
| --11- 1 |
| .names l m n n301 |
| 100 1 |
| .names c d e f g i n302 |
| 111110 1 |
| .names c d e f g h n303 |
| 00-010 1 |
| -00010 1 |
| .names n140 n160 n225 n304 |
| 111 1 |
| .names c d e f g n306 n305 |
| 00-10- 0 |
| 01-00- 0 |
| 0-1--1 0 |
| .names f h i n306 |
| 010 1 |
| .names n308 n309 n314 n317 n321 n335 n307 |
| 111111 1 |
| .names m n n218 n97 n140 n170 n308 |
| 0--1-1 0 |
| 101-1- 0 |
| .names h k n310 n311 n312 n309 |
| 1--01 1 |
| -1-01 1 |
| --001 1 |
| .names a n48 n221 n310 |
| 011 1 |
| .names b f h n140 n143 n165 n311 |
| 01011- 1 |
| 010--1 1 |
| .names a b n48 n313 n267 n286 n312 |
| 1---1- 0 |
| -0--1- 0 |
| --11-1 0 |
| .names e f n313 |
| 10 1 |
| .names b n48 n225 n315 n314 |
| 011- 0 |
| ---1 0 |
| .names i j n316 n262 n315 |
| 0011 1 |
| .names g h n316 |
| 10 1 |
| .names b n48 n286 n318 n319 n317 |
| 1--01 1 |
| -0-01 1 |
| --001 1 |
| .names b f h i l n143 n318 |
| 110011 1 |
| .names g k n112 n301 n320 n319 |
| 1011- 0 |
| ----1 0 |
| .names b d e f m n n320 |
| 001001 1 |
| .names n322 n325 n327 n329 n331 n334 n321 |
| 000011 1 |
| .names c e f n323 n102 n324 n322 |
| 00-101 1 |
| 11-101 1 |
| --1101 1 |
| .names h j n323 |
| 10 1 |
| .names k m n n324 |
| 000 1 |
| .names a n48 n326 n271 n325 |
| 0101 1 |
| .names k l n326 |
| 11 1 |
| .names m n328 n140 n216 n250 n327 |
| 11-01 1 |
| -1001 1 |
| .names c g n328 |
| 00 1 |
| .names c d n112 n143 n330 n329 |
| 0-11- 1 |
| -011- 1 |
| --111 1 |
| .names b e f n330 |
| 110 1 |
| .names h n250 n332 n333 n331 |
| 011- 0 |
| ---1 0 |
| .names c d f i k m n332 |
| 1-1010 1 |
| -11010 1 |
| .names a d e l m n n333 |
| 010010 1 |
| .names e f g h n243 n273 n334 |
| 1-01-1 0 |
| -0111- 0 |
| .names n336 n338 n341 n344 n350 n356 n335 |
| 011111 1 |
| .names c d e f g n337 n336 |
| 00-1-1 1 |
| 00--11 1 |
| 1-00-1 1 |
| 1--111 1 |
| .names f g i j m n n337 |
| 0-1100 1 |
| -01100 1 |
| .names n44 n72 n290 n250 n339 n340 n338 |
| 111--- 0 |
| ---101 0 |
| .names d f g i n339 |
| 11-- 1 |
| -010 1 |
| .names c f g h k n340 |
| 00-10 1 |
| 0-1-0 1 |
| .names l n271 n342 n343 n341 |
| 011- 0 |
| ---1 0 |
| .names b c d m n n342 |
| 11101 1 |
| .names g h i k m n n343 |
| 0001-0 1 |
| 00--10 1 |
| .names n345 n346 n347 n348 n349 n344 |
| 00-00 1 |
| -0000 1 |
| .names l m n n345 |
| 001 1 |
| .names c d e f m n n346 |
| 000010 1 |
| .names h i j k n347 |
| 01-0 1 |
| 0-00 1 |
| .names g h i j k m n348 |
| 011000 1 |
| 110000 1 |
| .names e h i l m n n349 |
| 000001 1 |
| .names n351 n352 n353 n354 n254 n355 n350 |
| 0-000- 1 |
| 0-00-0 1 |
| -0000- 1 |
| -000-0 1 |
| .names c d e f n351 |
| 0011 1 |
| .names g m n n352 |
| 001 1 |
| .names c d i l m n n353 |
| 001000 1 |
| .names c d e g m n n354 |
| 000101 1 |
| .names e f g l n355 |
| 10-0 1 |
| -000 1 |
| .names n70 n142 n357 n358 n359 n356 |
| 0-000 1 |
| -0000 1 |
| .names g h i j m n n357 |
| 000-01 1 |
| -00001 1 |
| .names e f h i m n358 |
| 01000 1 |
| .names a c d e m n n359 |
| 001010 1 |
| .names l n361 n362 n363 n371 n374 n360 |
| 1-0111 1 |
| -00111 1 |
| .names e f g m n n361 |
| 00001 1 |
| .names d n258 n156 n282 n250 n362 |
| 01-10 1 |
| -1110 1 |
| .names n364 n365 n366 n367 n369 n370 n363 |
| 000110 1 |
| .names b j n172 n361 n364 |
| 000- 0 |
| ---0 0 |
| .names n112 n143 n345 n330 n365 |
| 1111 1 |
| .names h i n55 n140 n262 n366 |
| 001-1 1 |
| 01-11 1 |
| .names f k n48 n286 n368 n367 |
| 0-1-1 0 |
| -011- 0 |
| .names a d e i j n368 |
| 100-- 1 |
| -001- 1 |
| -00-1 1 |
| .names i n160 n225 n361 n250 n369 |
| 1--1- 0 |
| -11-1 0 |
| .names g h n83 n282 n250 n370 |
| 00-01 1 |
| -01-1 1 |
| .names h j k n284 n372 n373 n371 |
| 01--01 1 |
| -00-01 1 |
| ---001 1 |
| .names c f j n40 n112 n372 |
| 0-011 1 |
| -1011 1 |
| .names f g n102 n258 n249 n373 |
| 0--11 0 |
| 1-11- 0 |
| -111- 0 |
| .names n170 n375 n310 n374 |
| 00- 1 |
| -00 1 |
| .names e h i j k n254 n375 |
| 011001 1 |
| .names n377 n378 n384 n386 n387 n376 |
| 01101 1 |
| .names c i j k n71 n301 n377 |
| 100011 1 |
| .names n379 n381 n382 n383 n378 |
| 0000 1 |
| .names j n83 n380 n324 n379 |
| 0111 1 |
| .names h i n380 |
| 10 1 |
| .names e i j n102 n262 n289 n381 |
| 110-11 1 |
| -10011 1 |
| .names c g h n291 n382 |
| 1011 1 |
| .names d h i n159 n126 n383 |
| 011-1 1 |
| -1101 1 |
| .names g j k n310 n385 n384 |
| 1101- 0 |
| ----1 0 |
| .names a b c m n n385 |
| 00-10 1 |
| -0001 1 |
| .names a f n48 n225 n286 n386 |
| 1011- 1 |
| 101-1 1 |
| .names n388 n389 n390 n391 n394 n397 n387 |
| 000110 1 |
| .names n163 n266 n291 n388 |
| 101 1 |
| .names j n95 n233 n324 n389 |
| 0111 1 |
| .names f g j n102 n250 n390 |
| 01-11 1 |
| -1011 1 |
| .names n225 n284 n392 n393 n391 |
| 1--1 0 |
| -11- 0 |
| .names h i j k n392 |
| 01-1 1 |
| 0-0- 1 |
| .names c e f m n n393 |
| 10000 1 |
| .names b n48 n313 n160 n395 n396 n394 |
| 0111-- 0 |
| ----10 0 |
| .names j k m n n395 |
| 1000 1 |
| .names c d f g h i n396 |
| 01-00- 0 |
| 1-0-01 0 |
| .names d e n398 n395 n397 |
| 0-11 1 |
| -011 1 |
| .names g h i n398 |
| 101 1 |
| .names n400 n401 n403 n404 n406 n409 n399 |
| 000111 1 |
| .names n218 n141 n342 n400 |
| 111 1 |
| .names f g i j k n402 n401 |
| 010--1 1 |
| 0-1011 1 |
| .names e j n102 n262 n294 n402 |
| 10-11 1 |
| -0011 1 |
| .names d j n289 n156 n250 n393 n403 |
| 01---1 1 |
| -1-1-1 1 |
| --1-11 1 |
| .names g n102 n380 n250 n405 n404 |
| 1111- 0 |
| ---11 0 |
| .names l n328 n225 n266 n405 |
| 111- 1 |
| 1-11 1 |
| .names n90 n95 n44 n407 n408 n406 |
| 1--01 1 |
| -0-01 1 |
| --001 1 |
| .names e g i n258 n282 n324 n407 |
| 11-11- 1 |
| -01-11 1 |
| .names h i j n141 n271 n342 n408 |
| 0-0-11 0 |
| 1-1-11 0 |
| -11-11 0 |
| --01-1 0 |
| .names n410 n412 n414 n415 n416 n417 n409 |
| 100001 1 |
| .names l m n328 n266 n411 n410 |
| 00000 0 |
| .names h i k m n n411 |
| 00-00 0 |
| 0-0-0 0 |
| .names b n37 n163 n241 n413 n412 |
| 0-11- 1 |
| -1-10 1 |
| .names a d e n413 |
| 111 1 |
| .names f g h n102 n230 n149 n414 |
| 011--1 1 |
| 101--1 1 |
| -010-1 1 |
| -11-01 1 |
| .names e f g n48 n218 n165 n415 |
| 0---11 1 |
| -0011- 1 |
| .names f n330 n221 n160 n352 n416 |
| 000-1 1 |
| 0--11 1 |
| .names n172 n125 n380 n342 n361 n418 n417 |
| 1---1- 0 |
| -111-- 0 |
| ----10 0 |
| .names d e f i j n418 |
| 1--00 1 |
| -1-00 1 |
| --100 1 |
| .names n420 n421 n428 n429 n431 n437 n419 |
| 010111 1 |
| .names i j k n271 n342 n420 |
| 1-111 1 |
| -0111 1 |
| .names n48 n422 n423 n425 n427 n421 |
| 0000- 1 |
| -0001 1 |
| .names k m n n44 n72 n422 |
| 01011 1 |
| .names h i n93 n262 n156 n424 n423 |
| 00-101 1 |
| 0101-1 1 |
| .names c d f n424 |
| 00- 1 |
| 0-0 1 |
| .names d e f g i n426 n425 |
| 0-11-1 1 |
| 0--101 1 |
| -10-01 1 |
| --00-1 1 |
| .names c i j k m n n426 |
| 010100 1 |
| .names j k l n289 n427 |
| 000- 0 |
| -0-1 0 |
| --01 0 |
| .names i j n34 n262 n230 n395 n428 |
| 10111- 1 |
| 1-1-11 1 |
| .names e l n90 n44 n430 n429 |
| 0001- 0 |
| ---11 0 |
| .names d e f n163 n430 |
| 1110 1 |
| .names j n432 n434 n324 n435 n436 n431 |
| 100-0- 1 |
| -0000- 1 |
| -00-00 1 |
| .names n141 n342 n433 n432 |
| 110 1 |
| .names h i k l m n n433 |
| 00000- 1 |
| -11101 1 |
| .names d n44 n159 n241 n434 |
| 1110 1 |
| .names a f i k n48 n221 n435 |
| 01-111 1 |
| 0-0011 1 |
| .names n148 n261 n79 n160 n436 |
| 0--- 0 |
| -000 0 |
| .names k l n438 n440 n441 n442 n437 |
| 1-00-0 1 |
| -100-0 1 |
| --0000 1 |
| .names n165 n439 n438 |
| 10 1 |
| .names b e f g h i n439 |
| 00-10- 0 |
| 110-0- 0 |
| 1-0-01 0 |
| .names a g n48 n221 n271 n290 n440 |
| 00--11 1 |
| 0-11-1 1 |
| .names i m n n323 n225 n282 n441 |
| 10-1-- 1 |
| -00-10 1 |
| -011-- 1 |
| .names b h i n76 n143 n156 n442 |
| 000-10 1 |
| -0011- 1 |
| .names n100 n123 n217 n226 n229 n444 n443 |
| 011110 1 |
| .names j k n289 n445 n447 n444 |
| 011-1 1 |
| 0--1- 1 |
| .names d f i n148 n446 n445 |
| 10010 1 |
| .names b k l m n n249 n446 |
| 0010-1 0 |
| -01001 0 |
| .names i n316 n191 n49 n447 |
| 0111 1 |
| .names l n449 n453 n460 n485 n507 n448 |
| 1-0111 1 |
| -00111 1 |
| .names n179 n450 n449 |
| 11 1 |
| .names g h n451 n452 n450 |
| 11-0 1 |
| -11- 1 |
| .names a c d e g n451 |
| 10101 1 |
| .names a c d e f n452 |
| 101-1 0 |
| 1101- 0 |
| 11-10 0 |
| 1-010 0 |
| 1-101 0 |
| .names h n48 n454 n455 n456 n459 n453 |
| 10--1- 0 |
| --10-- 0 |
| ----11 0 |
| .names i l n179 n163 n454 |
| 0-11 0 |
| -111 0 |
| .names g i n191 n323 n232 n455 |
| 1011- 1 |
| 101-1 1 |
| .names n59 n34 n457 n458 n456 |
| 00-0 1 |
| 0-00 1 |
| .names a b c d m n n457 |
| 01-010 1 |
| 101-10 1 |
| 110-10 1 |
| .names i n48 n34 n37 n119 n458 |
| 0-1-- 0 |
| -1-1- 0 |
| ----0 0 |
| .names g n451 n452 n459 |
| 00- 1 |
| -01 1 |
| .names n461 n463 n464 n467 n471 n481 n460 |
| 1-1111 1 |
| -11111 1 |
| .names b g m n n266 n462 n461 |
| 0-011- 0 |
| -0011- 0 |
| --00-0 0 |
| .names c d e f n78 n462 |
| 00--- 1 |
| 0--0- 1 |
| 11-11 1 |
| --00- 1 |
| .names h i j k n262 n463 |
| 10-1- 0 |
| 11101 0 |
| 1-01- 0 |
| .names f g j n70 n465 n466 n464 |
| 01011- 0 |
| -----1 0 |
| .names a c d e n465 |
| 11-1 1 |
| 1-01 1 |
| .names j m n n59 n140 n163 n466 |
| 110111 1 |
| .names g h i n165 n468 n470 n467 |
| 11110- 0 |
| -111-1 0 |
| .names b n249 n469 n468 |
| 00- 1 |
| 1-1 1 |
| .names c d n469 |
| 00 1 |
| 11 1 |
| .names b c f n470 |
| 011 1 |
| .names n70 n472 n473 n475 n476 n479 n471 |
| 0-0011 1 |
| -00011 1 |
| .names j n34 n208 n472 |
| 011 1 |
| .names h j n172 n474 n473 |
| 1011 1 |
| .names b c e g n474 |
| 0101 1 |
| .names m n n97 n233 n263 n475 |
| 00111 1 |
| .names i n148 n71 n165 n477 n478 n476 |
| 0-1-1- 0 |
| 11-1-1 0 |
| .names b d e k m n n477 |
| 110101 1 |
| .names b c d e f n478 |
| 11-1- 1 |
| 1-1-1 1 |
| 1--01 1 |
| .names f h i j n477 n480 n479 |
| 010--1 0 |
| 01-0-1 0 |
| 11-01- 0 |
| .names b d e k m n n480 |
| 101101 1 |
| .names l n97 n482 n119 n483 n484 n481 |
| 0111-- 0 |
| ----1- 0 |
| -----1 0 |
| .names h n93 n482 |
| 11 1 |
| .names i j k n48 n451 n483 |
| 10111 1 |
| .names i n148 n172 n478 n484 |
| 0111 1 |
| .names n172 n486 n490 n493 n496 n499 n485 |
| 00-001 1 |
| -01001 1 |
| .names n330 n165 n233 n487 n488 n486 |
| 111-- 1 |
| -111- 1 |
| -1--1 1 |
| .names b d e n487 |
| 101 1 |
| .names b h i n489 n488 |
| 1110 1 |
| .names d e f n489 |
| 010 0 |
| 101 0 |
| .names g h j n491 n492 n490 |
| 0101- 0 |
| 110-1 0 |
| .names b c e n491 |
| 111 1 |
| .names b c d e n492 |
| 101- 1 |
| 110- 1 |
| 1-01 1 |
| .names n163 n494 n495 n493 |
| 110 1 |
| .names i k m n n494 |
| 0101 1 |
| .names b c d e f n495 |
| 00--- 1 |
| 0--1- 1 |
| 1110- 1 |
| -000- 1 |
| -1111 1 |
| .names g j n70 n330 n497 n496 |
| 1011- 1 |
| 1---1 1 |
| .names h i j n498 n263 n497 |
| 10-11 1 |
| 1-011 1 |
| .names k m n n498 |
| 100 1 |
| .names n59 n500 n172 n501 n504 n506 n499 |
| 0-0-00 1 |
| 0--100 1 |
| -10--0 1 |
| -1-1-0 1 |
| .names g i j n69 n70 n500 |
| 1101- 0 |
| 1-0-1 0 |
| .names g n323 n502 n503 n501 |
| 01-1 0 |
| -11- 0 |
| .names b e f g n502 |
| 1101 1 |
| .names b d e f n503 |
| 11-1 1 |
| 1-01 1 |
| .names f n505 n504 |
| 10 1 |
| .names a b c d n505 |
| 01-0 0 |
| 101- 0 |
| .names l n97 n37 n457 n506 |
| 0111 1 |
| .names n48 n183 n508 n509 n512 n515 n507 |
| 0--000 1 |
| -0-000 1 |
| --0000 1 |
| .names h n459 n508 |
| 00 1 |
| .names n398 n69 n59 n510 n511 n509 |
| 111-- 1 |
| 11-0- 1 |
| -1--1 1 |
| .names a b c d f n510 |
| 110-1 0 |
| 11-10 0 |
| .names i n48 n41 n505 n511 |
| 1110 1 |
| .names g j n70 n513 n512 |
| 1010 1 |
| .names a b c d e n514 n513 |
| 11101- 0 |
| 11-10- 0 |
| -----1 0 |
| .names a c d e f g n514 |
| 1010-- 1 |
| 101-1- 1 |
| 101--0 1 |
| .names j n69 n67 n510 n452 n515 |
| 0110- 1 |
| 011-0 1 |
| .names n517 n519 n533 n541 n552 n556 n516 |
| 011101 1 |
| .names h j k l n518 n517 |
| 0-0-0 1 |
| -0110 1 |
| -10-0 1 |
| .names n48 n163 n510 n450 n518 |
| 110- 0 |
| 1--1 0 |
| .names n520 n521 n522 n523 n524 n528 n519 |
| 0-1111 1 |
| -11111 1 |
| .names n48 n59 n520 |
| 11 1 |
| .names i j k l n48 n163 n521 |
| 010-11 0 |
| 101-11 0 |
| -10111 0 |
| .names k n398 n323 n520 n498 n263 n522 |
| 1-11-- 0 |
| -1--11 0 |
| .names h i j n172 n165 n470 n523 |
| 1101-1 0 |
| 11--11 0 |
| .names n58 n59 n525 n526 n524 |
| 0-01 1 |
| -001 1 |
| .names f h i n102 n230 n395 n525 |
| 111001 1 |
| .names e n398 n58 n31 n172 n527 n526 |
| 01-11- 0 |
| 1-1--1 0 |
| --10-1 0 |
| .names a d e n527 |
| 110 1 |
| .names n59 n172 n529 n530 n531 n532 n528 |
| 1-11-- 0 |
| -1--1- 0 |
| -----0 0 |
| .names g h i n529 |
| 110 1 |
| .names j k l m n n530 |
| 01110 1 |
| .names n218 n79 n487 n531 |
| 101 1 |
| .names b n218 n398 n172 n469 n470 n532 |
| 1-110- 0 |
| -1-1-1 0 |
| .names n69 n42 n177 n534 n537 n533 |
| 0--11 1 |
| -0-11 1 |
| --011 1 |
| .names h i n474 n535 n536 n534 |
| 1111- 0 |
| ----1 0 |
| .names j k m n n535 |
| 0101 1 |
| 1001 1 |
| .names n218 n79 n477 n478 n536 |
| 1011 1 |
| .names n58 n538 n466 n539 n540 n537 |
| 0-000 1 |
| -1000 1 |
| .names f n86 n465 n538 |
| 10- 1 |
| -00 1 |
| .names j k m n n233 n263 n539 |
| 010011 1 |
| 100011 1 |
| .names f h j n70 n207 n465 n540 |
| 0101-1 1 |
| -10110 1 |
| .names n486 n542 n543 n546 n548 n550 n541 |
| 000001 1 |
| .names k n313 n137 n163 n478 n535 n542 |
| 111-11 1 |
| 1-1011 1 |
| .names n544 n545 n543 |
| 10 1 |
| .names n48 n37 n544 |
| 11 1 |
| .names h j k l n208 n505 n545 |
| 0-0--0 0 |
| -0111- 0 |
| -011-0 0 |
| -10--0 0 |
| .names j n70 n71 n86 n547 n546 |
| 0111- 1 |
| 011-0 1 |
| .names a b c d n547 |
| 01-0 0 |
| 101- 0 |
| 110- 0 |
| .names h n549 n548 |
| 11 1 |
| .names b g i n165 n469 n478 n549 |
| 11110- 1 |
| -011-1 1 |
| .names h i j n498 n462 n551 n550 |
| 11010- 0 |
| 111--0 0 |
| .names c k m n n313 n79 n551 |
| 10001- 0 |
| 100--1 0 |
| .names n172 n553 n552 |
| 10 1 |
| .names g j n218 n502 n478 n554 n553 |
| 0-1-1- 0 |
| -0---0 0 |
| --11-- 0 |
| .names b g h i n489 n555 n554 |
| 1111-0 0 |
| 1-110- 0 |
| .names c d e f n555 |
| 000- 1 |
| 110- 1 |
| 11-1 1 |
| .names n218 n498 n462 n557 n556 |
| 110- 0 |
| ---0 0 |
| .names n323 n70 n558 n559 n557 |
| 110- 0 |
| ---1 0 |
| .names f n177 n547 n527 n558 |
| 11-- 0 |
| --11 0 |
| .names f g h n69 n207 n547 n559 |
| 00111- 1 |
| 1011-0 1 |
| .names n449 n561 n563 n569 n578 n585 n560 |
| 001111 1 |
| .names n48 n148 n232 n510 n562 n561 |
| 1110- 1 |
| 1-1-0 1 |
| .names e n148 n177 n452 n562 |
| 011- 0 |
| -1-0 0 |
| .names j n172 n564 n565 n567 n568 n563 |
| 0-00-0 1 |
| -000-0 1 |
| --0000 1 |
| .names g h i n232 n143 n495 n564 |
| 101110 1 |
| 110110 1 |
| .names f h i j n477 n566 n565 |
| 10111- 1 |
| 11011- 1 |
| ---1-1 1 |
| .names g h i n498 n263 n566 |
| 10111 1 |
| 11011 1 |
| .names f g h i n478 n487 n567 |
| 0001-1 1 |
| 0010-1 1 |
| -0011- 1 |
| -0101- 1 |
| .names h i j n498 n462 n568 |
| 01110 1 |
| 10110 1 |
| .names i n570 n451 n571 n572 n573 n569 |
| 1--001 1 |
| -0-001 1 |
| --0001 1 |
| .names j n191 n570 |
| 11 1 |
| .names g h i j n69 n59 n571 |
| 101111 1 |
| .names g n218 n59 n33 n62 n502 n572 |
| 111-1- 1 |
| 1-11-- 1 |
| -1--11 1 |
| ---1-1 1 |
| .names n32 n208 n574 n575 n576 n573 |
| 0-000 1 |
| -0000 1 |
| .names n163 n395 n263 n574 |
| 111 1 |
| .names h n97 n352 n478 n575 |
| 1111 1 |
| .names j n148 n69 n577 n576 |
| 1111 1 |
| .names a b e f n577 |
| 011- 1 |
| -110 1 |
| .names n579 n580 n581 n584 n578 |
| 0000 1 |
| .names g h j k n48 n504 n579 |
| 011111 1 |
| 111011 1 |
| .names i j n59 n179 n163 n451 n580 |
| 0--1-1 1 |
| -1111- 1 |
| .names k m n n582 n581 |
| 0010 1 |
| .names j n163 n495 n583 n582 |
| 110- 0 |
| ---1 0 |
| .names b d e f h j n583 |
| 101011 1 |
| 110111 1 |
| .names n48 n97 n330 n163 n510 n584 |
| 1111- 1 |
| 11-10 1 |
| .names n461 n508 n586 n587 n589 n590 n585 |
| 10-0-0 1 |
| 1-10-0 1 |
| -0-010 1 |
| --1010 1 |
| .names i j k l n48 n586 |
| 111-1 0 |
| 1-011 0 |
| .names n316 n41 n547 n588 n586 n587 |
| 1--10 1 |
| -10-0 1 |
| .names f n207 n588 |
| 01 1 |
| .names f h i j k n143 n589 |
| 101111 0 |
| 1101-1 0 |
| -1-10- 0 |
| .names g n33 n588 n452 n504 n590 |
| 111-- 1 |
| 11-0- 1 |
| 11--1 1 |
| .names n592 n593 n611 n629 n637 n591 |
| 01111 1 |
| .names n148 n191 n97 n510 n562 n592 |
| 1100- 1 |
| -10-0 1 |
| .names n594 n595 n596 n597 n598 n605 n593 |
| 000011 1 |
| .names g h n570 n451 n538 n594 |
| 101-0 1 |
| -011- 1 |
| .names g h n570 n505 n527 n595 |
| 10111 1 |
| .names g h j n138 n503 n492 n596 |
| 01111- 1 |
| 1111-1 1 |
| .names n87 n538 n597 |
| 10 1 |
| .names n126 n599 n601 n603 n604 n598 |
| 0000- 1 |
| -0001 1 |
| .names j n398 n600 n163 n263 n599 |
| 0-111 1 |
| -11-1 1 |
| .names k l m n n600 |
| 1100 1 |
| .names l n218 n172 n602 n601 |
| 1110 1 |
| .names b c e f g n602 |
| 010-1 0 |
| 111-0 0 |
| 1-101 0 |
| .names l n398 n97 n143 n492 n603 |
| 11011 1 |
| .names g n491 n380 n503 n604 |
| 011- 0 |
| 0-11 0 |
| .names h n570 n502 n606 n608 n610 n605 |
| 1--000 1 |
| -0-000 1 |
| --0000 1 |
| .names n191 n330 n607 n606 |
| 110 1 |
| .names g h j k n607 |
| 010- 0 |
| 01-1 0 |
| 1-10 0 |
| .names h i n169 n474 n609 n608 |
| 0111- 1 |
| --1-1 1 |
| .names b d e f h i n609 |
| 110101 1 |
| .names l n69 n42 n505 n610 |
| 1110 1 |
| .names n191 n612 n613 n614 n615 n623 n611 |
| 00-111 1 |
| -01111 1 |
| .names n158 n570 n41 n160 n547 n612 |
| 1111- 1 |
| -11-0 1 |
| .names g i j k n59 n588 n613 |
| 11011- 0 |
| 1-10-1 0 |
| .names n48 n40 n163 n529 n501 n510 n614 |
| 1111-0 0 |
| -1-10- 0 |
| .names n616 n617 n618 n619 n620 n622 n615 |
| 000011 1 |
| .names g h i n103 n263 n616 |
| 11011 1 |
| .names k l n323 n143 n470 n617 |
| 11111 1 |
| .names n61 n62 n527 n618 |
| 111 1 |
| .names f l n218 n97 n143 n487 n619 |
| 011011 1 |
| .names n40 n59 n529 n621 n530 n620 |
| 111-- 0 |
| ---11 0 |
| .names a b d f g i n621 |
| 111011 1 |
| .names n61 n62 n87 n208 n514 n622 |
| 11-1- 0 |
| --1-1 0 |
| .names n167 n624 n625 n626 n627 n628 n623 |
| 0-0000 1 |
| -00000 1 |
| .names n326 n143 n624 |
| 11 1 |
| .names h i l n97 n143 n470 n625 |
| 011011 1 |
| 1-1111 1 |
| .names j n398 n301 n263 n626 |
| 0111 1 |
| .names h j n138 n474 n627 |
| 1111 1 |
| .names j n191 n59 n41 n607 n628 |
| 1111- 1 |
| -11-0 1 |
| .names n67 n630 n530 n631 n632 n634 n629 |
| 0--010 1 |
| -1-010 1 |
| --0-10 1 |
| .names a c d e f n630 |
| 101-1 0 |
| 11-10 0 |
| 1-010 0 |
| 1-101 0 |
| .names a c d e g i n631 |
| 101011 1 |
| 110111 1 |
| .names n262 n352 n266 n462 n633 n632 |
| 1--01 0 |
| -11-1 0 |
| .names h i j k l m n633 |
| 010-1- 1 |
| 01-11- 1 |
| 10-110 1 |
| 1-011- 1 |
| 1-101- 1 |
| .names j k l n574 n635 n634 |
| 011-0 1 |
| --11- 1 |
| .names i m n n636 n502 n487 n635 |
| 110-1- 0 |
| -011-1 0 |
| .names f h n636 |
| 01 1 |
| .names n638 n639 n640 n644 n651 n654 n637 |
| 00111- 1 |
| 0011-0 1 |
| .names n48 n40 n544 n529 n450 n505 n638 |
| 11-11- 1 |
| -111-0 1 |
| .names g n218 n169 n502 n478 n639 |
| 011-1 1 |
| -111- 1 |
| .names n624 n501 n490 n641 n642 n643 n640 |
| 0----- 1 |
| -11001 1 |
| .names b e f i n225 n641 |
| 10111 1 |
| .names b f h j n221 n642 |
| 11101 1 |
| .names h i j n474 n470 n609 n643 |
| 101-1- 0 |
| 1-01-- 0 |
| -----1 0 |
| .names n138 n645 n648 n649 n650 n644 |
| 0000- 1 |
| -0001 1 |
| .names n457 n646 n647 n645 |
| 11- 1 |
| 1-1 1 |
| .names f g h i j l n646 |
| 110111 1 |
| .names f g i j k l n647 |
| 111011 1 |
| .names b n249 n126 n529 n469 n648 |
| 0111- 1 |
| 1-110 1 |
| .names n40 n61 n62 n42 n505 n649 |
| 1--10 1 |
| -11-0 1 |
| .names h n491 n183 n97 n216 n583 n650 |
| 011-0- 0 |
| 11-10- 0 |
| -----1 0 |
| .names f h n182 n487 n652 n653 n651 |
| 0111-- 0 |
| -1--0- 0 |
| -----1 0 |
| .names f n102 n502 n230 n503 n652 |
| 10-01 0 |
| --1-- 0 |
| .names b d e f g h n653 |
| 101111 1 |
| .names n182 n494 n654 |
| 11 1 |
| .names n656 n657 n684 n686 n690 n694 n655 |
| 010011 1 |
| .names b f h n151 n221 n653 n656 |
| 11111- 1 |
| ---1-1 1 |
| .names n658 n659 n660 n670 n677 n683 n657 |
| 001111 1 |
| .names b e f g n172 n380 n658 |
| 101011 1 |
| .names b f h n221 n165 n659 |
| 11111 1 |
| .names n661 n662 n664 n666 n667 n668 n660 |
| 000001 1 |
| .names n169 n609 n661 |
| 11 1 |
| .names d e n44 n119 n663 n662 |
| 011-1 1 |
| -0-11 1 |
| .names g i j k l n663 |
| 1010- 1 |
| 101-1 1 |
| 1-101 1 |
| .names f n55 n665 n664 |
| 111 1 |
| .names h i j k m n n665 |
| 01-100 1 |
| 10-100 1 |
| 1-1000 1 |
| -10100 1 |
| .names f n40 n148 n69 n487 n666 |
| 011-1 1 |
| 0-111 1 |
| .names f g n33 n487 n667 |
| 0111 1 |
| .names c n167 n172 n151 n669 n668 |
| 011-- 0 |
| ---11 0 |
| .names b c e f h n669 |
| 11101 1 |
| .names n174 n477 n671 n672 n673 n675 n670 |
| 0-0000 1 |
| -00000 1 |
| .names f n58 n195 n208 n671 |
| 1111 1 |
| .names n535 n653 n669 n672 |
| 11- 1 |
| 1-1 1 |
| .names h n76 n97 n262 n674 n673 |
| 11-11 1 |
| 1-111 1 |
| .names c e f n674 |
| 101 1 |
| .names g h i j k n676 n675 |
| 01-0-1 1 |
| 101--1 1 |
| 110--1 1 |
| 1--101 1 |
| .names a b e l m n n676 |
| 011110 1 |
| .names n494 n678 n669 n679 n681 n677 |
| 00-00 1 |
| -0000 1 |
| .names j l n48 n59 n163 n678 |
| 10111 1 |
| .names h n159 n248 n210 n680 n679 |
| 00011 1 |
| .names b c d n680 |
| 110 1 |
| .names f n55 n682 n681 |
| 111 1 |
| .names h i j l m n n682 |
| 010100 1 |
| .names n70 n636 n172 n487 n641 n683 |
| 11-1- 0 |
| --1-1 0 |
| .names n50 n685 n684 |
| 00 1 |
| .names b c d e n158 n168 n685 |
| 101--1 0 |
| 1-011- 0 |
| 1-01-1 0 |
| 1-101- 0 |
| .names n687 n688 n686 |
| 00 0 |
| .names b e f n148 n151 n535 n687 |
| 10111- 1 |
| 1011-1 1 |
| .names n71 n143 n151 n186 n164 n689 n688 |
| 11-01- 1 |
| 1-1-1- 1 |
| -1-0-1 1 |
| --1--1 1 |
| .names e n163 n680 n689 |
| 011 1 |
| .names f n81 n487 n691 n692 n693 n690 |
| 001--- 0 |
| ---0-0 0 |
| ----1- 0 |
| .names g i n70 n33 n500 n691 |
| 0---1 1 |
| -0-01 1 |
| --001 1 |
| .names b n41 n195 n168 n210 n160 n692 |
| 111-1- 1 |
| 11--11 1 |
| 1-01-1 1 |
| .names a b d e n693 |
| 01-1 0 |
| 1110 0 |
| -101 0 |
| .names n695 n696 n698 n703 n705 n694 |
| 00111 1 |
| .names n36 n482 n487 n695 |
| 111 1 |
| .names g h k n520 n258 n697 n696 |
| 0111-- 1 |
| -11-11 1 |
| .names c d e f n697 |
| 1110 1 |
| .names n498 n699 n700 n701 n702 n698 |
| 000-0 1 |
| -0010 1 |
| .names g n39 n97 n487 n699 |
| 1111 1 |
| .names h i j k n262 n697 n700 |
| 10-111 1 |
| 1-0111 1 |
| 1-1011 1 |
| .names f h i n55 n76 n697 n701 |
| 11-11- 0 |
| -01--1 0 |
| .names e f h n494 n653 n680 n702 |
| 1011-1 1 |
| ---11- 1 |
| .names n482 n494 n669 n704 n703 |
| 111- 0 |
| ---1 0 |
| .names b h n83 n153 n704 |
| 1010 1 |
| .names n168 n641 n706 n707 n708 n709 n705 |
| 0-0000 1 |
| -00000 1 |
| .names a b c d e n58 n706 |
| 111011 1 |
| 11-101 1 |
| .names e g h n155 n680 n707 |
| 01011 1 |
| .names n682 n665 n674 n708 |
| 1-1 1 |
| -11 1 |
| .names n682 n697 n709 |
| 11 1 |
| .names n711 n722 n729 n743 n710 |
| 1111 1 |
| .names n252 n712 n713 n718 n721 n711 |
| 0-110 1 |
| -1110 1 |
| .names f l m n n160 n470 n712 |
| 11001- 0 |
| -101-1 0 |
| .names n153 n535 n714 n715 n716 n717 n713 |
| 100--0 1 |
| 1-0-10 1 |
| -001-0 1 |
| --0110 1 |
| .names e f g n98 n155 n680 n714 |
| 011011 1 |
| .names b c d e f h n715 |
| 111010 0 |
| 11-100 0 |
| .names b c h n313 n489 n716 |
| 1111- 0 |
| 111-0 0 |
| .names d e h n70 n59 n177 n717 |
| 1-111- 1 |
| -011-1 1 |
| .names n119 n719 n720 n718 |
| 0-0 1 |
| -00 1 |
| .names d e g n191 n323 n97 n719 |
| 0-011- 1 |
| 0-11-1 1 |
| -0011- 1 |
| -011-1 1 |
| .names f n46 n121 n119 n156 n720 |
| 101-0 1 |
| -0-10 1 |
| .names n151 n494 n716 n721 |
| 1-0 1 |
| -10 1 |
| .names e n68 n121 n723 n725 n726 n722 |
| 001--- 0 |
| --10-- 0 |
| ----00 0 |
| .names d e k n148 n724 n723 |
| 1111- 0 |
| ----1 0 |
| .names g l n323 n95 n724 |
| 0111 1 |
| .names h i j k l n725 |
| 00--- 1 |
| 0--0- 1 |
| 11111 1 |
| --00- 1 |
| .names g n95 n143 n680 n727 n728 n726 |
| 1111-- 0 |
| ----0- 0 |
| -----0 0 |
| .names h m n n470 n697 n727 |
| 100-1 0 |
| -011- 0 |
| .names i m n n261 n216 n451 n728 |
| 110--1 0 |
| -0001- 0 |
| .names n730 n732 n733 n736 n738 n740 n729 |
| 001111 1 |
| .names g n48 n82 n731 n730 |
| 1100 1 |
| .names d e n59 n121 n731 |
| 11-1 0 |
| 1-1- 0 |
| .names n148 n151 n535 n674 n732 |
| 11-1 1 |
| 1-11 1 |
| .names n96 n119 n156 n734 n735 n733 |
| 010-- 0 |
| ---00 0 |
| .names g h i j l n48 n734 |
| 101-11 0 |
| 110-11 0 |
| 11-101 0 |
| .names g h n95 n121 n451 n735 |
| 1-11- 0 |
| -0--1 0 |
| .names d n58 n59 n737 n731 n736 |
| 111-- 0 |
| ---00 0 |
| .names i n78 n66 n33 n737 |
| 110- 0 |
| -1-1 0 |
| .names g n218 n169 n674 n739 n738 |
| 0111- 0 |
| ----0 0 |
| .names a c f n58 n221 n682 n739 |
| 10-11- 0 |
| -11-11 0 |
| .names e n58 n207 n709 n741 n742 n740 |
| 1--000 1 |
| -0-000 1 |
| --0000 1 |
| .names n218 n498 n221 n266 n697 n741 |
| 1111- 1 |
| 11--1 1 |
| .names g h i n172 n674 n742 |
| 00111 1 |
| 01011 1 |
| .names n53 n35 n177 n731 n744 n747 n743 |
| 11--00 1 |
| 1-0-00 1 |
| -1-100 1 |
| --0100 1 |
| .names n33 n68 n107 n156 n177 n745 n744 |
| 010--1 0 |
| -101-- 0 |
| ----0- 0 |
| .names f n48 n82 n746 n745 |
| 01-1 0 |
| -10- 0 |
| .names h i j l n746 |
| 1001 1 |
| .names h n40 n60 n32 n248 n177 n747 |
| 11--11 1 |
| --1--1 1 |
| ---1-1 1 |
| .names n749 n751 n753 n768 n772 n748 |
| 01111 1 |
| .names n32 n35 n107 n750 n749 |
| 010- 0 |
| ---0 0 |
| .names a b n221 n750 |
| 010 1 |
| .names n32 n35 n527 n752 n751 |
| 01-1 1 |
| --01 1 |
| .names n158 n261 n50 n45 n51 n144 n752 |
| 110-1- 0 |
| ---011 0 |
| .names n754 n755 n756 n757 n758 n762 n753 |
| 001011 1 |
| .names e n31 n169 n170 n531 n754 |
| 1111- 1 |
| --1-1 1 |
| .names a b c d f n89 n755 |
| 10-111 1 |
| 110011 1 |
| .names m n n83 n704 n725 n756 |
| 001-0 0 |
| ---1- 0 |
| .names a n55 n89 n159 n168 n164 n757 |
| 1111-- 1 |
| ---111 1 |
| .names n83 n682 n759 n760 n761 n758 |
| 0-000 1 |
| -0000 1 |
| .names n636 n151 n165 n487 n759 |
| 11-1 1 |
| 1-11 1 |
| .names a b n61 n62 n221 n760 |
| 01110 1 |
| .names n151 n163 n165 n487 n761 |
| 11-1 1 |
| -111 1 |
| .names n682 n763 n765 n766 n767 n762 |
| 0001- 1 |
| -0010 1 |
| .names n218 n34 n50 n169 n164 n764 n763 |
| 10011- 1 |
| --0--1 1 |
| .names a b d f m n n764 |
| 101110 1 |
| .names f g n158 n110 n527 n765 |
| 11101 1 |
| .names e n31 n172 n174 n175 n480 n766 |
| 1111-- 0 |
| ----11 0 |
| .names e n170 n469 n767 |
| 110 1 |
| .names n68 n151 n769 n750 n770 n768 |
| 0--1- 0 |
| -10-- 0 |
| ----0 0 |
| .names h n93 n164 n669 n769 |
| 111- 0 |
| ---1 0 |
| .names e f n31 n203 n725 n771 n770 |
| 11--00 0 |
| 1-10-- 0 |
| .names b c d e m n n771 |
| 101-0- 0 |
| -01-00 0 |
| -10-00 0 |
| ---000 0 |
| .names n68 n527 n773 n774 n776 n778 n772 |
| 1-0011 1 |
| -00011 1 |
| .names n143 n186 n769 n773 |
| 100 1 |
| .names g n46 n764 n775 n774 |
| 101- 1 |
| -0-1 1 |
| .names a e f g n48 n55 n775 |
| 111111 1 |
| .names i j n636 n480 n777 n776 |
| 11--0 1 |
| --0-0 1 |
| ---00 1 |
| .names h n93 n164 n210 n777 |
| 0111 1 |
| .names f n218 n480 n779 n778 |
| 011- 0 |
| ---1 0 |
| .names h n141 n151 n164 n779 |
| 1111 1 |
| .names n781 n782 n783 n790 n808 n820 n780 |
| 001111 1 |
| .names i j k n48 n450 n781 |
| 11011 1 |
| .names i j n39 n508 n562 n782 |
| 0-1-0 1 |
| -01-0 1 |
| --11- 1 |
| .names n155 n210 n784 n785 n786 n788 n783 |
| 00-011 1 |
| --1011 1 |
| .names b c d e f n316 n784 |
| 10-1-1 0 |
| 1100-1 0 |
| 1-1011 0 |
| .names g i n66 n504 n785 |
| 1101 1 |
| .names n70 n59 n67 n787 n786 |
| 111- 0 |
| ---1 0 |
| .names b d e n37 n535 n787 |
| 11011 1 |
| .names k n258 n163 n294 n789 n788 |
| 1110- 0 |
| ----1 0 |
| .names j l n48 n330 n233 n789 |
| 10111 1 |
| .names n791 n792 n793 n795 n796 n804 n790 |
| 000011 1 |
| .names g l n48 n183 n330 n791 |
| 10111 1 |
| .names i n48 n146 n502 n792 |
| 1111 1 |
| .names n41 n262 n794 n793 |
| 111 1 |
| .names e i j l n55 n794 |
| 11011 1 |
| .names b c h n78 n151 n795 |
| 10111 1 |
| .names n797 n799 n800 n801 n803 n796 |
| 00000 1 |
| .names j n398 n301 n798 n797 |
| 0110 1 |
| .names c d e f n798 |
| 00-- 1 |
| 0-10 1 |
| 1-00 1 |
| 1-11 1 |
| .names i j k n48 n59 n37 n799 |
| 110111 1 |
| .names e n55 n37 n262 n186 n800 |
| 11110 1 |
| .names n151 n163 n165 n802 n801 |
| 11-0 1 |
| -110 1 |
| .names b c e f n802 |
| 010- 0 |
| 01-1 0 |
| 1-10 0 |
| .names g h i j n69 n577 n803 |
| 011-11 1 |
| 1-1011 1 |
| .names n805 n806 n807 n804 |
| 001 1 |
| .names b c h n78 n494 n805 |
| 10111 1 |
| .names f k n258 n163 n249 n160 n806 |
| 11111- 1 |
| 1111-1 1 |
| .names g h i n40 n330 n676 n807 |
| 01111- 0 |
| 101--1 0 |
| .names n809 n811 n813 n814 n815 n817 n808 |
| 000001 1 |
| .names n48 n183 n42 n505 n810 n809 |
| 1110- 1 |
| --1-1 1 |
| .names i j n39 n59 n810 |
| 1011 1 |
| .names i j k n544 n547 n812 n811 |
| 11010- 1 |
| ----01 1 |
| .names i j l n39 n42 n812 |
| 10111 1 |
| .names n498 n175 n798 n813 |
| 110 1 |
| .names b c h n78 n535 n689 n814 |
| 10111- 1 |
| ----11 1 |
| .names n151 n494 n816 n815 |
| 1-0 1 |
| -10 1 |
| .names b c d e n37 n163 n816 |
| 1100-1 0 |
| 1-101- 0 |
| .names e n n55 n818 n819 n817 |
| 1010- 0 |
| ----1 0 |
| .names i k l m n41 n37 n818 |
| 11-01- 0 |
| -100-1 0 |
| .names n66 n67 n630 n631 n819 |
| 010- 1 |
| 0--1 1 |
| .names n821 n822 n823 n824 n827 n820 |
| 00011 1 |
| .names i n40 n148 n69 n510 n821 |
| 111-0 1 |
| 1-110 1 |
| .names i j k n482 n119 n822 |
| 11011 1 |
| .names n163 n395 n798 n823 |
| 110 1 |
| .names n39 n316 n330 n510 n825 n826 n824 |
| 0---00 1 |
| -0--00 1 |
| --0100 1 |
| .names i n39 n41 n505 n825 |
| 1110 1 |
| .names n66 n67 n510 n826 |
| 010 1 |
| .names n398 n169 n172 n175 n802 n828 n827 |
| 11--0- 0 |
| --110- 0 |
| -----1 0 |
| .names e n48 n148 n183 n177 n452 n828 |
| 01111- 1 |
| -111-0 1 |
| .names n29 h2 |
| 0 1 |
| .names n117 i2 |
| 0 1 |
| .names n213 j2 |
| 0 1 |
| .names n228 k2 |
| 0 1 |
| .names n237 l2 |
| 0 1 |
| .names n443 m2 |
| 0 1 |
| .names n448 n2 |
| 0 1 |
| .names n516 o2 |
| 0 1 |
| .names n560 p2 |
| 0 1 |
| .names n591 q2 |
| 0 1 |
| .names n655 r2 |
| 0 1 |
| .names n710 s2 |
| 0 1 |
| .names n748 t2 |
| 0 1 |
| .names n780 u2 |
| 0 1 |
| .end |
