# 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