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