# Benchmark "pdc" written by ABC on Tue Mar 12 09:31:09 2019
.model pdc
.inputs i_0_ i_1_ i_2_ i_3_ i_4_ i_5_ i_6_ i_7_ i_8_ i_9_ i_10_ i_11_ i_12_ \
 i_13_ i_14_ i_15_
.outputs o_0_ o_1_ o_2_ o_3_ o_4_ o_5_ o_6_ o_7_ o_8_ o_9_ o_10_ o_11_ \
 o_12_ o_13_ o_14_ o_15_ o_16_ o_17_ o_18_ o_19_ o_20_ o_21_ o_22_ o_23_ \
 o_24_ o_25_ o_26_ o_27_ o_28_ o_29_ o_30_ o_31_ o_32_ o_33_ o_34_ o_35_ \
 o_36_ o_37_ o_38_ o_39_
.names i_3_ i_0_ i_1_ o_6_
100 1
.names n1248 n1246 n1243 n1240 n217 n1219 o_5_
111111 0
.names n65 n62 n68 n61
11- 1
1-0 1
.names n64 n63 n62
11 1
.names i_6_ i_7_ i_8_ n63
110 1
.names i_3_ i_5_ i_4_ i_2_ i_0_ i_1_ n64
000000 1
.names n67 n66 n65
11 1
.names i_14_ i_12_ i_13_ n66
110 1
.names i_15_ i_11_ i_9_ i_10_ n67
1100 1
.names n69 n71 n70 n68
0-- 1
-00 1
.names i_4_ i_3_ i_5_ i_2_ i_0_ i_1_ n69
100000 1
.names i_7_ i_8_ i_6_ n70
100 1
.names i_8_ i_7_ i_6_ n71
000 1
.names n73 n75 n72
10 1
.names n70 n74 n73
11 1
.names i_4_ i_5_ i_3_ i_2_ i_0_ i_1_ n74
110000 1
.names i_15_ i_11_ i_10_ i_9_ n66 n76 n75
0010-1 0
0100-1 0
10011- 0
10101- 0
11001- 0
11111- 0
.names i_14_ i_12_ i_13_ n76
111 1
.names n69 n78 i_8_ n77
110 1
.names i_7_ i_6_ n78
10 1
.names n80 n66 n79
11 1
.names i_15_ i_11_ i_9_ i_10_ n80
1111 1
.names n82 n66 n81
11 1
.names i_15_ i_11_ i_9_ i_10_ n82
1110 1
.names i_10_ i_15_ i_11_ i_9_ n83
1000 1
.names i_15_ i_10_ i_9_ i_11_ n84
1110 1
.names i_6_ i_8_ i_7_ n85
100 1
.names n85 n66 n80 n64 n82 n74 n86
1111-- 0
11--11 0
.names n88 n66 n87
11 1
.names i_15_ i_9_ i_11_ i_10_ n88
1100 1
.names n71 n69 n89
11 1
.names n92 n91 n76 n64 n90
1111 1
.names i_10_ i_11_ i_15_ i_9_ n91
1100 1
.names i_8_ i_6_ i_7_ n92
110 1
.names i_9_ i_10_ i_15_ i_11_ n93
1100 1
.names n95 n96 i_8_ n94
110 1
.names i_7_ i_6_ n95
00 1
.names i_5_ i_3_ i_4_ i_2_ i_0_ i_1_ n96
100000 1
.names n98 n66 n97
11 1
.names i_15_ i_10_ i_11_ i_9_ n98
1100 1
.names n105 n102 n104 n100 n81 n77 n99
0010-- 1
001--0 1
00-00- 1
00--00 1
.names n101 n66 n100
11 1
.names i_15_ i_11_ i_10_ i_9_ n101
1110 1
.names n70 n103 n74 i_15_ n66 n76 n102
1110-1 1
11111- 1
.names i_11_ i_10_ i_9_ n103
110 1
.names n71 n69 n64 n85 n104
11-- 0
--11 0
.names n80 n106 n69 n66 n105
1111 1
.names i_8_ i_7_ i_6_ n106
100 1
.names n109 n108 n62 n119 n117 n97 n107
1100-- 1
110-0- 1
1--0-0 1
1---00 1
.names n89 n94 n108
00 1
.names n115 n110 n113 n111 n94 n77 n109
0000-- 1
000-0- 1
0--0-0 1
0---00 1
.names n84 n66 n110
11 1
.names n76 n112 n111
11 1
.names i_9_ i_11_ i_15_ i_10_ n112
1100 1
.names n76 n114 n113
11 1
.names i_9_ i_15_ i_11_ i_10_ n114
1000 1
.names n76 n74 n116 n83 n93 n115
1111- 1
111-1 1
.names i_7_ i_6_ n116
11 1
.names n118 n76 n117
11 1
.names i_10_ i_11_ i_9_ i_15_ n118
1110 1
.names n106 n96 n69 n120 n119
11-- 1
--11 1
.names i_8_ i_7_ i_6_ n120
110 1
.names n136 n132 n129 n126 n122 n121
11110 1
.names n123 n124 n111 n113 n97 n122
0---- 0
-1000 0
.names n74 n63 n123
11 1
.names n84 n66 n125 n76 n124
11-- 0
--11 0
.names i_11_ i_15_ i_9_ i_10_ n125
1000 1
.names n128 n127 n94 n110 n65 n81 n126
100--- 1
10-000 1
.names n106 n76 n93 n96 n127
1111 1
.names n66 n74 n82 n63 n70 n84 n128
1111-- 0
11--11 0
.names i_8_ n117 n130 n113 n131 n129
00--0 1
10-0- 1
--0-- 1
.names n74 n116 n130
11 1
.names n91 n76 n131
11 1
.names n87 n62 n133 n135 n131 n134 n132
11---- 0
--11-- 0
----11 0
.names n92 n64 n133
11 1
.names n85 n64 n134
11 1
.names n76 n93 n135
11 1
.names n100 n137 n111 n138 n104 n136
1--1- 0
1---0 0
-11-- 0
.names n85 n74 n137
11 1
.names n71 n96 n138
11 1
.names n140 n146 o_12_ n123 n148 i_8_ n139
110--- 1
11--1- 1
11---1 1
1-00-- 1
.names n143 n144 n141 n94 n134 n140
00--- 1
0--00 1
-00-- 1
.names n142 n83 n141
11 1
.names i_14_ i_12_ i_13_ n142
100 1
.names n70 n69 n143
11 1
.names n142 n91 n144
11 1
.names n69 n95 o_12_
11 1
.names n147 i_14_ i_12_ i_15_ i_13_ n146
1011- 0
11000 0
.names i_10_ i_9_ i_11_ n147
110 1
.names n149 i_14_ i_12_ i_15_ i_13_ n148
1011- 0
11000 0
.names i_11_ i_9_ i_10_ n149
111 1
.names n151 n152 n154 n89 n155 n150
10--- 0
1-1-- 0
---10 0
.names n96 n95 n151
11 1
.names n125 n153 n142 n152
0-- 1
-00 1
.names i_14_ i_13_ i_12_ n153
110 1
.names n142 n118 n154
11 1
.names n103 i_14_ i_12_ i_15_ i_13_ n155
1011- 0
11000 0
.names n172 n157 n186 n183 n174 n189 n156
11110- 1
1111-1 1
.names n163 n158 n169 n167 n170 n171 n157
100--- 1
10-000 1
.names n159 n160 n162 n158
11- 1
1-1 1
.names n106 n96 n159
11 1
.names n161 n80 n160
11 1
.names i_13_ i_14_ i_12_ n161
100 1
.names n161 n82 n162
11 1
.names n167 n168 n166 n160 n164 n165 n163
0000-- 1
000-0- 1
0--0-0 1
----00 1
.names n120 n74 n164
11 1
.names n120 n69 n165
11 1
.names n161 n88 n166
11 1
.names n161 n67 n167
11 1
.names n161 n101 n168
11 1
.names n106 n69 n169
11 1
.names n161 n98 n170
11 1
.names n161 n84 n171
11 1
.names n173 n182 n119 n179 n177 n180 n172
0100-- 1
01---0 1
0-000- 1
0---00 1
.names n159 n174 n171 n176 n173
00-- 0
--00 0
.names n175 n74 n174
11 1
.names i_8_ i_7_ i_6_ n175
111 1
.names n82 n153 n176
11 1
.names i_8_ n178 n64 n177
111 1
.names i_6_ i_7_ n178
10 1
.names n175 n64 n179
11 1
.names n161 n181 n180
11 1
.names i_15_ i_11_ i_9_ i_10_ n181
1000 1
.names n161 n82 n84 n153 n182
00-- 1
0--0 1
-00- 1
.names n185 n184 n183
00 1
.names n181 n175 n64 i_14_ i_13_ i_12_ n184
11100- 1
1110-1 1
.names n161 n101 n106 n96 n92 n64 n185
1111-- 1
11--11 1
.names n188 n160 n187 n174 n186
00-- 1
0-10 1
.names n106 n69 n92 n64 n187
11-- 0
--11 0
.names n161 n88 n120 n74 n188
1111 1
.names i_15_ n153 i_9_ i_11_ i_10_ n161 n189
11100- 0
11-11- 0
1-0--1 0
.names n89 n191 n192 n169 n190
10-- 0
--11 0
.names n80 n66 n153 n191
0-- 1
-00 1
.names n161 n91 n192
11 1
.names n181 n66 n193
11 1
.names n153 n181 n194
11 1
.names n161 n114 n195
11 1
.names n199 n198 n143 n62 n197 n89 n196
1000-- 1
10--0- 1
--00-0 1
----00 1
.names n142 n114 n197
11 1
.names n142 n112 n198
11 1
.names n67 n200 n201 n125 n142 n199
11--- 0
1-1-- 0
---11 0
.names i_12_ i_14_ i_13_ n200
100 1
.names i_13_ i_12_ i_14_ n201
110 1
.names n134 n214 n210 n215 n203 n202
0---- 0
-1111 0
.names n206 n205 n209 n208 n193 n204 n203
110000 1
.names n125 n200 n204
11 1
.names n98 n201 n200 n205
0-- 1
-00 1
.names n207 i_14_ i_12_ i_15_ i_13_ n206
1011- 0
11000 0
.names i_9_ i_11_ i_10_ n207
100 1
.names n161 n125 n208
11 1
.names i_14_ i_11_ i_9_ i_12_ i_15_ i_10_ n209
111000 1
.names n213 n211 n212 n210
110 1
.names n153 n88 n67 n211
0-- 1
-00 1
.names n201 n82 n212
11 1
.names n153 n98 n84 n213
0-- 1
-00 1
.names n97 n87 n135 n111 n65 n214
00000 1
.names i_14_ i_12_ i_13_ n216 n181 n215
001-- 1
0---0 1
110-- 1
1--0- 1
.names i_15_ i_11_ i_9_ i_10_ n216
0000 1
.names n1400 n306 n1237 n1461 n1225 n217
11111 1
.names n114 n66 n218
11 1
.names n83 n64 n63 n66 n219
1111 1
.names n93 n66 n220
11 1
.names n74 n178 i_8_ n221
110 1
.names n63 n69 n222
11 1
.names n70 n147 n96 n223
111 1
.names n228 n226 n225 n227 n111 n130 n224
0000-- 1
000-0- 1
00-0-0 1
00--00 1
.names n147 n200 i_15_ n225
110 1
.names n175 n74 n114 n66 n226
1111 1
.names n74 n78 n227
11 1
.names n120 n229 n91 n74 n228
1111 1
.names i_14_ i_13_ i_12_ n229
11- 1
1-0 1
.names n133 n111 n232 n77 n231 n230
11--- 0
1-1-- 0
---10 0
.names n229 n216 n112 n231
0-- 1
-00 1
.names n233 n200 i_15_ n232
110 1
.names i_11_ i_9_ i_10_ n233
110 1
.names n118 n235 n73 n234
111 1
.names i_12_ i_13_ n235
10 1
.names n204 n174 n237 n164 n236
11-- 0
--11 0
.names n76 n83 n237
11 1
.names i_6_ i_7_ i_8_ n64 n96 n74 n238
001-1- 0
010--1 0
10-1-- 0
1-01-- 0
.names n240 n245 n249 n62 n152 n251 n239
1100-- 1
110-10 1
.names n241 n243 n244 n242 n232 n174 n240
0011-- 1
001-0- 1
00-1-0 1
00--00 1
.names n66 n74 n83 n78 n85 n241
1111- 1
111-1 1
.names n106 n96 n116 n74 n242
11-- 0
--11 0
.names n229 n216 n71 n96 n63 n74 n243
1111-- 1
11--11 1
.names n200 n91 n83 n244
0-- 1
-00 1
.names n247 n248 n193 n246 n227 n174 n245
1000-- 1
1----0 1
-0000- 1
----00 1
.names n112 n66 n246
11 1
.names n76 n91 n66 n93 n118 n247
1--1- 0
1---1 0
-11-- 0
.names n216 n200 n248
11 1
.names n250 n135 n113 n251 n246 n249
0---- 0
-0000 0
.names i_8_ n78 n69 n250
111 1
.names n125 n76 n251
11 1
.names n253 n258 n264 n263 n250 n123 n252
1011-- 1
101-0- 1
10-1-0 1
10--00 1
.names n257 n256 n255 n254 n222 n87 n253
00000- 1
0000-0 1
.names n142 n71 n74 n114 n254
1111 1
.names n70 n207 n96 n255
111 1
.names n70 n74 n66 n112 n93 n256
1111- 1
111-1 1
.names n66 n74 n63 n114 n118 n257
1111- 1
111-1 1
.names i_8_ n130 n260 n261 n259 n262 n258
011--- 1
01-1-- 1
0---10 1
.names n178 n64 n259
11 1
.names n125 n66 n260
11 1
.names n216 n66 n261
11 1
.names n118 n235 n66 n91 n262
11-- 0
--11 0
.names i_14_ i_12_ i_13_ n91 n83 n112 n263
0----- 1
-10--- 1
---000 1
.names n235 i_15_ i_9_ i_14_ i_11_ i_10_ n264
10001- 0
100--1 0
101000 0
111100 0
11-111 0
.names n66 n93 n112 n265
0-- 1
-00 1
.names n141 n267 n268 n71 n74 n266
11--- 0
--111 0
.names n106 n74 n267
11 1
.names n269 i_13_ n268
10 1
.names i_14_ i_10_ i_9_ i_12_ i_15_ i_11_ n269
111000 1
.names n271 n265 n134 n164 n94 n123 n270
01---- 1
0-0000 1
.names n66 n118 n69 n71 n96 n78 n271
1111-- 1
111--1 1
11-11- 1
.names n282 n273 n281 n278 n1230 n272
11000 1
.names n275 n260 n238 n274 n89 n273
10--- 1
1-100 1
.names i_7_ i_8_ i_6_ n96 n69 n274
0001- 1
100-1 1
.names n96 n106 n209 n76 n112 n275
111-- 0
11-11 0
.names n200 i_15_ n233 n147 n276
101- 0
10-1 0
.names n200 n118 n114 n277
0-- 1
-00 1
.names n279 n244 n247 n280 n261 n251 n278
1----- 0
-11100 0
.names i_6_ i_8_ i_7_ n69 n96 n279
000-1 0
00-1- 0
0-01- 0
.names n76 n91 n83 n280
0-- 1
-00 1
.names n279 n123 n193 n248 n281
10-- 0
--00 0
.names n284 n286 n285 n174 n283 n282
1000- 1
100-1 1
.names i_14_ i_13_ n112 i_12_ n114 n283
00-11 0
111-- 0
.names n175 n91 n74 n76 n153 n284
1111- 0
111-1 0
.names n118 n200 n74 n116 n285
1111 1
.names n142 n74 n175 n112 n91 n286
1111- 1
111-1 1
.names n91 n125 n200 n83 n66 n287
000-- 1
00-0- 1
0--00 1
--0-0 1
.names i_8_ i_7_ i_6_ n69 n64 n288
1101- 0
111-1 0
.names n83 n66 n289
11 1
.names n92 n74 n290
11 1
.names i_10_ i_11_ i_9_ n291
100 1
.names i_11_ i_9_ i_10_ n292
000 1
.names n142 n216 n106 n74 n293
1111 1
.names n69 n66 n175 n181 n98 n294
1111- 1
111-1 1
.names i_8_ n74 n116 n295
111 1
.names n120 n74 n114 n66 n296
1111 1
.names n118 n74 n66 n175 n120 n297
1111- 1
111-1 1
.names n301 n302 n299 n300 n288 n298
1---- 0
-01-- 0
---00 0
.names n106 n96 n92 n64 n299
11-- 1
--11 1
.names n216 n142 n200 n300
0-- 1
-00 1
.names n74 n92 n83 n200 n142 n301
1111- 1
111-1 1
.names n200 n114 n125 n216 n142 n302
11--- 0
1-1-- 0
---11 0
.names n200 n83 n303
11 1
.names i_15_ i_11_ i_9_ i_10_ n142 n200 n304
00011- 0
01101- 0
01-0-1 0
0-1--1 0
.names n142 n125 n305
11 1
.names n309 n307 n159 n133 n313 n280 n306
110--- 1
11--11 1
1-00-- 1
.names n308 n97 n79 n87 n307
1000 1
.names n181 n66 n76 n216 n308
11-- 0
--11 0
.names n312 n311 n310 n81 n290 n250 n309
0010-- 1
001--0 1
00-00- 1
00--00 1
.names n98 n66 n83 n76 n310
11-- 0
--11 0
.names n106 n84 n69 n66 n311
1111 1
.names n106 n84 n66 n96 n312
1111 1
.names n66 n101 n67 n82 n313
0--- 1
-000 1
.names n316 n313 n133 n315 n288 n314
1---- 0
-01-- 0
---10 0
.names n216 n76 n315
11 1
.names n98 n66 n106 n69 n175 n74 n316
1111-- 1
11--11 1
.names n216 n76 n175 n74 n317
1111 1
.names n92 n84 n64 n66 n318
1111 1
.names n181 n120 n74 n66 n319
1111 1
.names i_8_ n67 n78 n69 n66 n320
11111 1
.names n323 n65 n322 n290 n251 n164 n321
0010-- 1
001-0- 1
00--00 1
0--0-0 1
.names n66 n80 n88 n101 n322
0--- 1
-000 1
.names n181 n175 n64 n66 n323
1111 1
.names n106 n67 n69 n66 n324
1111 1
.names n100 n87 n250 n110 n169 n325
000-- 1
00-0- 1
0--00 1
--0-0 1
.names n206 n169 n133 n199 n326
10-- 1
1--1 1
-00- 1
.names n181 n200 n142 n216 n201 n327
11--- 0
1---1 0
--11- 0
.names n207 i_15_ i_12_ i_14_ i_13_ n328
1001- 0
11101 0
.names n165 n332 n330 n331 n329
10-- 0
--00 0
.names n291 i_14_ i_12_ i_15_ i_13_ n330
1011- 0
11000 0
.names n106 n96 n69 n331
0-- 1
-00 1
.names n125 n201 n67 n142 n153 n332
1--1- 0
1---1 0
-11-- 0
.names n201 n98 n333
11 1
.names n233 i_14_ i_12_ i_15_ i_13_ n334
1011- 0
11000 0
.names n336 n339 n197 n138 n174 n204 n335
1000-- 1
100--0 1
10-00- 1
.names n338 n337 n134 n336
01- 1
0-0 1
.names n305 n303 n232 n337
000 1
.names n123 n141 n305 n197 n338
0--- 0
-000 0
.names n340 n143 n177 n339
11- 1
1-1 1
.names n118 n200 n340
11 1
.names n144 n123 n341
11 1
.names n200 n93 n342
11 1
.names n142 n216 n343
11 1
.names n259 n345 n154 n344
11- 1
1-1 1
.names n91 n200 n345
11 1
.names n347 n164 n154 n138 n277 n346
1---- 0
-11-- 0
---10 0
.names n142 n91 n70 n74 n347
1111 1
.names n138 n144 n177 n232 n248 n73 n348
00--0- 1
00---0 1
1-00-- 1
-10--- 1
.names n200 n114 n349
11 1
.names n353 n351 n354 n143 n62 n350
001-- 1
00-00 1
.names n73 n352 n351
10 1
.names i_10_ i_11_ i_15_ n142 n200 i_9_ n352
0101-- 0
010-1- 0
1001-0 0
100-1- 0
.names n154 n73 n353
11 1
.names n200 n125 n114 n354
0-- 1
-00 1
.names n356 n143 n276 n305 n355
10-- 1
1-10 1
.names n116 n142 n74 i_8_ n112 n83 n356
11101- 0
1111-1 0
.names n342 n134 n303 n62 n349 n137 n357
11---- 0
1----1 0
-1--1- 0
--11-- 0
.names n134 n227 n137 n340 n159 n268 n358
0000-- 1
000-0- 1
---0-0 1
----00 1
.names n151 n360 n364 i_8_ n359
101- 1
10-0 1
.names n365 n364 n363 n361 n360
0000 1
.names n362 n88 n361
11 1
.names i_14_ i_12_ i_13_ n362
000 1
.names n362 n98 n363
11 1
.names n362 n84 n364
11 1
.names n161 n93 n365
11 1
.names n367 n208 n62 n108 n195 n368 n366
100--- 1
10--00 1
1-01-- 1
.names n134 n123 n364 n164 n365 n367
000-- 1
00-0- 1
0--00 1
--0-0 1
.names n161 n83 n368
11 1
.names n151 n370 n164 n195 i_8_ n369
11--- 1
1--10 1
-11-- 1
.names n362 n80 n370
11 1
.names n161 n112 n371
11 1
.names n143 n373 n177 n364 o_13_ n376 n372
10---- 0
1----0 0
-01--- 0
---11- 0
.names n370 n374 n373
00 1
.names n362 n101 n374
11 1
.names n78 n69 o_13_
11 1
.names n161 n83 n362 n98 n376
11-- 0
--11 0
.names n378 n361 n208 n377
000 1
.names n362 n67 n378
11 1
.names n161 n118 n379
11 1
.names n78 i_8_ n69 n74 n380
10-1 0
111- 0
.names n386 n384 n382 n134 n388 n381
1000- 1
100-1 1
.names n73 n383 n382
10 1
.names i_15_ i_9_ i_10_ i_11_ n161 n362 n383
001--- 1
0100-- 1
0---0- 1
1----0 1
-111-- 1
.names n68 n385 n379 n195 n384
1--- 0
-100 0
.names n161 n112 n93 n385
0-- 1
-00 1
.names n387 n379 n123 n73 n192 n138 n386
1000-- 1
10--0- 1
--00-0 1
----00 1
.names n161 n112 n362 n82 n387
11-- 0
--11 0
.names i_9_ i_10_ i_15_ n161 n362 i_11_ n388
000--- 1
00---0 1
11---- 1
--00-- 1
--1-0- 1
.names n374 n378 n390 n368 n389
0000 1
.names n161 n216 n390
11 1
.names n88 n153 n391
11 1
.names n201 n101 n392
11 1
.names n201 n88 n393
11 1
.names n123 n176 n94 n395 n134 n421 n394
000--1 1
0-0-0- 1
10-0-- 1
-010-- 1
.names n153 n84 n395
11 1
.names i_15_ i_9_ i_11_ n201 i_10_ n153 n396
101--1 0
10-1-- 0
10--11 0
1-110- 0
.names n402 n414 n398 n407 n411 n159 n397
11111- 1
1111-0 1
.names n401 n400 n399 n213 n174 n177 n398
0001-- 1
000-00 1
.names n106 n69 n153 n84 n101 n82 n399
1111-- 1
111-1- 1
111--1 1
.names n201 n181 n106 n96 n69 n120 n400
1111-- 1
11--11 1
.names n67 n74 n92 n153 n201 n401
1111- 1
111-1 1
.names n406 n405 n404 n403 n165 n299 n402
1010-- 1
101--0 1
10-00- 1
10--00 1
.names n101 n153 n403
11 1
.names n153 n181 n201 n98 n404
11-- 0
--11 0
.names n153 n181 n175 n64 n405
1111 1
.names n153 n106 n88 n96 n98 n69 n406
1111-- 0
11--11 0
.names n410 n409 n408 n333 n164 n177 n407
0000-- 1
000-0- 1
0--0-0 1
0---00 1
.names n201 n181 n408
11 1
.names n80 n153 n409
11 1
.names n153 n106 n84 n96 n410
1111 1
.names n413 n409 n412 n194 n411
1000 1
.names n98 n153 n412
11 1
.names n201 n67 n88 n413
0-- 1
-00 1
.names n211 n212 n415 n392 n187 n164 n414
1000-- 1
1----0 1
-0001- 1
----10 1
.names n201 n67 n415
11 1
.names n201 n80 n416
11 1
.names n412 n62 n418 n333 n138 n143 n417
11---- 0
1----1 0
-11--- 0
---11- 0
.names n153 n67 n418
11 1
.names n420 n415 n333 n391 n143 n138 n419
0000-- 1
00--0- 1
--00-0 1
----00 1
.names n201 n84 n420
11 1
.names n201 n80 n101 n421
0-- 1
-00 1
.names n423 n134 n143 n403 n94 n415 n422
1000-- 1
100-0- 1
10--00 1
1--0-0 1
.names n123 n412 n333 n94 n89 n423
00--- 1
0--00 1
-00-- 1
.names n201 n82 n106 n96 n424
1111 1
.names n454 n444 n1252 n426 n425
1111 1
.names n431 n427 n426
11 1
.names n429 n73 n430 n428 n133 n119 n427
11---- 0
1----1 0
-11--- 0
---11- 0
.names n153 n91 n428
11 1
.names n153 n118 n429
11 1
.names n101 n200 n430
11 1
.names n434 n435 n432 n62 n433 n123 n431
0000-- 1
0--0-0 1
0---00 1
-00-0- 1
.names n153 n125 n432
11 1
.names n153 n83 n433
11 1
.names n64 n178 i_8_ n434
110 1
.names n153 n114 n435
11 1
.names n200 n67 n153 n125 n436
11-- 0
--11 0
.names n200 n96 n95 i_8_ n80 n101 n437
11101- 1
1110-1 1
.names n200 n80 n84 n438
0-- 1
-00 1
.names n440 o_13_ n73 n428 n439
11-- 0
--11 0
.names n80 n200 n440
11 1
.names n98 n200 n441
11 1
.names i_13_ n269 n442
11 1
.names n88 n200 n443
11 1
.names n445 n452 n450 n435 n77 n62 n444
1100-- 1
110-00 1
.names n447 n446 n448 n449 n434 n130 n445
1011-- 1
101-0- 1
10-1-0 1
10--00 1
.names n153 n118 n74 n116 n446
1111 1
.names n74 n153 n116 i_8_ n114 n91 n447
1110-1 0
11111- 0
.names n153 n83 n93 n448
0-- 1
-00 1
.names i_11_ i_15_ n200 i_9_ n153 i_10_ n449
10--11 0
1110-- 0
.names n134 n159 n451 n442 n450
00-- 0
--00 0
.names n82 n200 n451
11 1
.names n77 n441 n443 n440 n453 n452
11--- 0
1-1-- 0
---10 0
.names n106 n96 n74 n120 n453
11-- 0
--11 0
.names n459 n455 n463 n462 n73 n464 n454
11000- 1
1100-1 1
.names n458 n456 n430 n457 n77 n94 n455
0000-- 1
00--0- 1
--00-0 1
----00 1
.names i_13_ n209 n456
11 1
.names n200 n84 n457
11 1
.names n200 n67 n458
11 1
.names n164 n133 n461 n438 n460 n442 n459
00--0- 1
0100-- 1
0111-- 1
1-1--0 1
.names i_13_ n209 n74 n63 n460
1111 1
.names n200 n84 n153 n118 n461
11-- 0
--11 0
.names n221 n457 n442 n94 n250 n462
00--- 0
0--00 0
-00-- 0
.names n133 n430 n456 n442 n463
0--- 0
-000 0
.names i_15_ i_11_ i_10_ i_9_ n200 n153 n464
0001-- 1
011--- 1
0----0 1
1---0- 1
-110-- 1
.names n532 n1258 n508 n491 n478 n1255 n465
111111 1
.names n362 n164 n67 n181 n82 n299 n466
111--- 1
11-1-- 1
11--1- 1
1-1--1 1
.names n120 n106 n96 n69 n74 n467
1--1- 0
1---1 0
-11-- 0
.names n161 n106 n96 n112 n93 n468
1111- 1
111-1 1
.names n164 n470 n169 n174 n365 n469
010-- 1
0-00- 1
0--00 1
-1--0 1
.names n161 n216 n91 n112 n470
0--- 1
-000 1
.names n250 n472 n208 n164 n376 n133 n471
0000-- 1
0--0-0 1
0---10 1
-00-1- 1
.names n362 n181 n472
11 1
.names n475 n474 n385 n390 n179 n133 n473
0010-- 1
001-0- 1
00-0-0 1
00--00 1
.names n292 n106 n96 i_15_ n161 n362 n474
11101- 1
1111-1 1
.names n161 n106 n69 n216 n125 n475
1111- 1
111-1 1
.names n208 n159 n477 n174 n368 n133 n476
00--00 1
0-10-- 1
0-1-0- 1
-010-- 1
-0-0-0 1
.names n161 n83 n91 n98 n362 n477
11--- 0
1-1-- 0
---11 0
.names n479 n489 n485 n484 n164 n478
1111- 1
111-0 1
.names n159 n483 n453 n481 n480 n482 n479
10---- 0
--00-- 0
----00 0
.names n153 n83 n98 n200 n480
11-- 0
--11 0
.names n153 n83 n67 n200 n481
11-- 0
--11 0
.names n92 n64 n74 n482
0-- 1
-00 1
.names n153 i_10_ i_15_ i_11_ i_9_ n483
1000- 0
110-0 0
.names n451 n430 n443 n441 n456 n484
00000 1
.names n486 n487 n488 n179 n133 n432 n485
00--0- 1
01---0 1
0-1--- 1
--10-- 1
.names n153 n216 n486
11 1
.names n153 n114 n200 n181 n487
11-- 0
--11 0
.names i_8_ i_7_ n74 i_6_ n64 n488
10-11 0
111-- 0
.names n490 n486 n430 n441 n119 n250 n489
1000-- 1
1----0 1
-0000- 1
----00 1
.names n200 n67 n181 n88 n490
0--- 1
-000 1
.names n507 n502 n492 n499 n498 n496 n491
111000 1
.names n162 n494 n174 n493 n495 n492
1--0- 0
1---0 0
-01-- 0
.names i_8_ i_7_ i_6_ n69 n74 n493
1101- 0
110-1 0
.names i_14_ i_13_ i_12_ n98 n67 n82 n494
00-1-- 0
010--1 0
0-11-- 0
110-1- 0
.names i_6_ i_7_ i_8_ n96 n69 n64 n495
0001-- 0
010-1- 0
100--1 0
.names o_12_ n497 n435 n432 n496
0--- 0
-100 0
.names i_15_ n362 i_9_ i_11_ i_10_ n161 n497
1101-- 0
1110-- 0
11--1- 0
1-1-01 0
.names n180 n279 n227 n259 n498
0--- 0
-100 0
.names n170 n500 n501 n94 n227 n499
0---- 0
-1100 0
.names i_6_ i_8_ i_7_ n64 n96 n500
010-1 0
10-1- 0
1-01- 0
.names n69 n71 n78 n501
0-- 1
-00 1
.names n504 n505 n503 n506 n174 n130 n502
0011-- 1
001-0- 1
00-1-0 1
00--00 1
.names n362 n88 n101 n201 n503
00-- 1
0--0 1
-00- 1
.names n74 n101 n63 n200 n201 n504
1111- 1
111-1 1
.names n88 n200 n74 n116 n505
1111 1
.names n200 n201 n82 n101 n362 n506
000-- 1
00--0 1
--00- 1
.names n238 n279 n274 n134 n168 n166 n507
1100-- 1
1-0-0- 1
-1-0-0 1
----00 1
.names n512 n510 n511 n509 n515 n508
1000- 1
100-1 1
.names n161 n174 n187 n509
11- 1
1-0 1
.names n194 n279 n164 n123 n510
0--- 0
-100 0
.names n167 n238 n274 n89 n511
0--- 0
-100 0
.names n133 n514 n119 n195 n467 n513 n512
10---- 0
--11-- 0
----00 0
.names n161 n118 n362 n88 n513
11-- 0
--11 0
.names n362 n161 n114 n84 n88 n514
1--1- 0
1---1 0
-11-- 0
.names i_9_ i_15_ i_10_ i_11_ n174 n169 n515
100--1 0
1011-- 0
10-01- 0
.names n161 n80 n71 n69 n63 n74 n516
1111-- 1
11--11 1
.names n96 n106 n153 n112 n362 n82 n517
1111-- 1
11--11 1
.names n161 n67 n101 n98 n362 n518
11--- 0
1-1-- 0
---11 0
.names n74 n82 n63 n118 n70 n519
111-- 0
1--11 0
.names n521 n211 n370 n409 n164 n434 n520
0100-- 1
01---0 1
0-000- 1
0---00 1
.names n161 n74 n84 n63 n70 n521
1111- 1
111-1 1
.names n524 n526 n525 n523 n130 n364 n522
10000- 1
1000-0 1
.names n362 n82 n92 n64 n523
1111 1
.names n175 n74 n153 n181 n161 n88 n524
1111-- 0
11--11 0
.names n69 n78 n82 n153 n161 n80 n525
1111-- 1
11--11 1
.names n161 n98 n74 n63 n526
1111 1
.names n67 n201 n200 n362 n527
0--- 1
-000 1
.names n88 n64 n63 i_14_ i_13_ i_12_ n528
11100- 1
1110-1 1
.names n73 n160 n94 n227 n530 n162 n529
11---- 0
1----1 0
-11--- 0
---10- 0
.names n153 n84 n80 n101 n161 n530
11--- 0
1-1-- 0
---11 0
.names n181 n201 n200 n362 n531
0--- 1
-000 1
.names n543 n541 n536 n540 n534 n533 n532
111000 1
.names n123 n211 n409 n403 n195 n390 n533
0----- 0
-10000 0
.names n123 n82 i_14_ n535 i_13_ i_12_ n534
110-0- 1
110--1 1
1--0-- 1
.names n161 n88 n181 n125 n535
0--- 1
-000 1
.names n171 n403 n164 n538 n539 n536
00001 0
10-1- 0
1-1-- 0
-11-- 0
.names i_8_ n74 n78 n537
111 1
.names i_6_ i_8_ i_7_ n96 n64 n538
0001- 1
100-1 1
.names n98 n64 n63 i_14_ i_13_ i_12_ n539
11100- 1
1110-1 1
.names n279 n448 n429 n428 n540
1--- 0
-100 0
.names n542 n250 n412 n160 n434 n541
1---- 0
-11-- 0
---11 0
.names n69 n362 n82 i_6_ n542
1110 1
.names n544 n501 n279 n531 n543
00-- 0
--00 0
.names i_15_ i_9_ i_11_ n161 i_10_ n153 n544
00010- 0
101--1 0
11011- 0
.names n546 n192 o_13_ n547 n545
01-- 1
0-10 1
.names n501 n94 n546
10 1
.names n154 n409 n392 n395 n268 n547
00000 1
.names n554 n552 n551 n549 n159 n146 n548
11000- 1
1100-1 1
.names n89 n550 n330 n368 n549
0--- 0
-110 0
.names n84 n153 n66 n550
0-- 1
-00 1
.names n289 n151 n501 n551
11- 1
1-0 1
.names n553 n177 n420 n268 n552
00-- 1
0-00 1
.names n76 n178 n83 n64 n553
1111 1
.names n556 n555 n141 n138 n259 n62 n554
000--- 1
00-000 1
.names n161 n106 n83 n69 n555
1111 1
.names i_8_ n200 n84 n178 n64 n556
11111 1
.names n558 n81 n176 n208 n164 n227 n557
0000-- 1
000-0- 1
0--0-0 1
0---00 1
.names n195 n73 n558
11 1
.names n501 n218 n220 n451 n212 n559
1---- 0
-0000 0
.names n370 n130 n204 o_12_ n560
11-- 0
--11 0
.names n227 n261 n315 n89 n206 n561
11--- 0
1-1-- 0
---10 0
.names i_0_ i_1_ o_14_
10 1
.names n566 n565 n564 n563
111 1
.names n166 i_10_ i_9_ i_12_ i_11_ n153 n564
000--- 1
011--- 1
0--000 1
.names n142 n98 n88 n565
0-- 1
-00 1
.names n362 n83 n98 n161 n566
11-- 0
--11 0
.names n63 i_5_ n568 i_3_ n567
1110 0
.names i_1_ i_2_ i_0_ n568
100 1
.names n362 n114 n569
11 1
.names n563 n147 i_12_ n573 n571 n570
10--- 0
1-0-- 0
---00 0
.names n572 n85 n571
11 1
.names i_4_ i_1_ i_3_ i_5_ i_2_ i_0_ n572
110000 1
.names n572 n71 n573
11 1
.names i_9_ i_10_ n574
00 1
.names n576 n92 n106 n575
0-- 1
-00 1
.names n568 i_3_ i_5_ i_4_ n576
1000 1
.names i_11_ i_9_ i_10_ n577
100 1
.names i_3_ n71 n568 i_5_ n578
1110 0
.names n568 i_5_ i_6_ i_3_ n579
1110 1
.names i_1_ i_0_ i_2_ i_3_ i_4_ i_5_ n580
00-1-- 0
1101-- 0
110-1- 0
110--0 0
.names n582 n606 n605 n1415 n590 n382 n581
111110 1
.names n583 n588 n587 n586 n369 n582
11110 1
.names n584 n379 n123 n134 n371 n368 n583
100--- 1
10--00 1
1-00-- 1
.names n94 n208 n585 n89 n62 n584
00--- 1
0--00 1
-01-- 1
.names i_11_ i_15_ i_9_ n362 n161 i_10_ n585
000-1- 0
101-1- 0
1101-- 0
11-1-0 0
.names n384 n195 n368 n365 n123 n62 n586
0000-- 1
000-0- 1
0--0-0 1
0---00 1
.names n151 n360 n380 n370 n364 i_8_ n587
10--1- 0
10---0 0
--01-- 0
.names n589 n364 o_13_ n164 n376 i_8_ n588
100--- 1
10--1- 1
10---1 1
1-00-- 1
.names n365 n364 n123 n73 n192 n434 n589
0000-- 1
00--0- 1
--00-0 1
----00 1
.names n591 n593 n573 n590
11- 1
1-0 1
.names n573 n592 n572 n78 n591
10-- 0
--11 0
.names n363 n141 n592
00 1
.names n594 n365 n364 n368 n268 n197 n593
100000 1
.names n161 n114 n362 n88 n594
11-- 0
--11 0
.names o_12_ o_13_ n595
00 1
.names n597 n195 n412 n176 n227 n164 n596
1000-- 1
100-0- 1
1--0-0 1
1---00 1
.names n572 n106 n598 i_5_ n597
11-- 0
--10 0
.names i_0_ i_4_ i_3_ i_1_ n598
1100 1
.names n600 o_12_ n80 n84 n200 n201 n599
1-00-- 0
1---00 0
-0---- 0
.names n205 n413 n458 n430 n368 n443 n600
110000 1
.names n603 n602 n432 n159 n62 n601
100-- 1
10-00 1
.names n501 n392 n395 n409 n602
1--- 0
-000 0
.names n208 n164 n390 n133 n192 n250 n603
11---- 0
--11-- 0
----11 0
.names n531 n370 n440 n416 n174 n130 n604
1000-- 1
1----0 1
-0000- 1
----00 1
.names n77 n373 n377 n133 n434 n388 n605
10---- 0
1-0--- 0
-0-1-- 0
----10 0
.names n607 n195 n368 n192 n279 n73 n606
0000-- 1
000-1- 1
0--0-0 1
0---10 1
.names n434 n472 n208 n390 n607
0--- 0
-000 0
.names n133 n182 n608
10 1
.names n188 n80 n161 n187 n174 n609
00--- 1
0-0-- 1
0--10 1
.names n194 n212 n415 n250 n133 n73 n610
000--- 1
0--00- 1
-00--0 1
---000 1
.names n615 n612 n454 n444 n1252 n426 n611
111111 1
.names n613 n159 n430 n441 n612
10-- 1
1-00 1
.names n138 n165 n134 n164 n614 n432 n613
0000-- 1
00--0- 1
--00-0 1
----00 1
.names n181 n200 n614
11 1
.names n617 n616 n134 n441 n456 n486 n615
110--- 1
11-000 1
.names n435 n227 n457 n242 n250 n616
11--- 0
1---1 0
--10- 0
.names n259 i_8_ n451 n443 n165 n458 n617
111--- 0
11---1 0
1--1-- 0
--1-1- 0
.names n694 n130 o_10_
10 0
.names n620 n632 n619
10 1
.names n629 n625 n621 n620
110 1
.names n123 n622 n550 n621
10- 1
1-0 1
.names n624 n623 n146 n622
111 1
.names i_14_ n147 i_15_ i_13_ i_12_ n623
1101- 0
11100 0
.names n147 i_15_ i_12_ i_14_ i_13_ n624
1010- 0
11000 0
.names n626 n160 n627 n628 n123 n174 n625
1000-- 1
100-0- 1
1--0-0 1
----00 1
.names n103 i_14_ i_12_ i_13_ i_15_ n626
10011 0
11100 0
11111 0
.names n362 n118 n627
11 1
.names n362 n91 n628
11 1
.names n631 n630 n368 n365 n123 n174 n629
0000-- 1
000-0- 1
---0-0 1
----00 1
.names n118 n66 n630
11 1
.names n80 n76 n631
11 1
.names n174 n633 n632
10 1
.names n634 n363 n303 n633
000 1
.names n201 n83 n634
11 1
.names n197 n174 n635
11 1
.names n91 n76 n74 n63 n636
1111 1
.names n201 n91 n637
11 1
.names n123 n114 i_14_ i_13_ i_12_ n638
1101- 1
110-1 1
.names n201 n118 n639
11 1
.names n130 n154 i_8_ n343 n640
11-- 1
1-11 1
.names n74 n116 n91 n161 n142 i_8_ n641
1111-- 0
111-10 0
.names n651 n643 n174 n646 n645 n653 n642
100--- 1
10-111 1
.names n123 n644 n100 n643
11- 1
1-1 1
.names i_14_ n101 i_12_ n644
110 1
.names n100 n403 n645
00 1
.names n649 n650 n648 n647 n646
1000 1
.names n88 n142 n647
11 1
.names n82 n142 n648
11 1
.names n88 n66 n153 n649
0-- 1
-00 1
.names n101 n142 n650
11 1
.names n130 n191 n652 n651
0-- 1
-10 1
.names n80 n142 n652
11 1
.names n82 n66 n153 n653
0-- 1
-00 1
.names n670 n663 n1269 n654
111 1
.names n123 n233 i_12_ i_14_ i_15_ i_13_ n655
110--1 1
1111-- 1
11-11- 1
.names n657 n171 n174 n123 n623 n550 n656
000--- 1
00--11 1
--00-- 1
.names n362 n93 n657
11 1
.names n661 n660 n659 n123 n215 n658
1000- 1
100-1 1
.names i_14_ n74 n63 n88 i_13_ i_12_ n659
11110- 1
1111-0 1
.names n74 n63 n229 n114 n362 n112 n660
1111-- 1
11--11 1
.names n74 n147 n175 n66 n76 n661
1111- 0
111-1 0
.names i_14_ n74 n116 n181 i_13_ i_12_ n662
11110- 1
1111-0 1
.names n668 n665 n664 n667 n123 n669 n663
10000- 1
1000-1 1
.names n123 n527 n152 n251 n664
0--- 0
-110 0
.names n174 n378 n204 n666 n665
0--- 0
-000 0
.names n201 n125 n666
11 1
.names n123 n208 n204 n666 n667
0--- 0
-000 0
.names n577 n174 i_14_ i_15_ i_13_ i_12_ n668
1101-1 0
11101- 0
111--0 0
11-010 0
11-101 0
.names n67 n142 n66 n153 n669
0--- 1
-000 1
.names n687 n683 n679 n676 n673 n671 n670
111000 1
.names n123 n334 n672 n671
10- 1
1-0 1
.names n233 i_15_ i_12_ i_14_ i_13_ n672
1010- 0
11000 0
.names n174 n674 n180 n675 n673
0--- 0
-000 0
.names n82 n76 n674
11 1
.names n362 n216 n675
11 1
.names n174 n677 n678 n676
11- 1
1-0 1
.names n362 n112 n677
11 1
.names n112 n66 n161 n82 n678
11-- 0
--11 0
.names n681 n682 n330 n680 n123 n174 n679
0111-- 1
011-0- 1
0--1-0 1
0---00 1
.names i_14_ i_12_ i_15_ i_13_ n291 n680
0000- 1
0011- 1
1010- 1
1100- 1
1111- 1
----0 1
.names n98 n142 n74 n116 n681
1111 1
.names i_14_ i_13_ i_15_ n147 i_12_ n291 n682
0011-- 0
0101-- 0
0--11- 0
10010- 0
101-11 0
110--1 0
11--01 0
.names n684 n130 i_8_ n686 n569 n685 n683
0-1--- 1
0--100 1
-0---- 1
.names n76 n67 n684
11 1
.names n362 n125 n685
11 1
.names n207 i_14_ i_12_ i_13_ i_15_ n686
10011 0
11100 0
11111 0
.names n260 n167 n130 n174 n685 n687
00-0- 1
00--0 1
--0-- 1
.names n1271 n692 n123 n160 n220 n627 n688
110--- 1
11-000 1
.names n98 n76 n689
11 1
.names n76 n84 n690
11 1
.names n362 n83 n691
11 1
.names n628 n174 n123 n693 n692
11-- 0
--10 0
.names n118 n66 n80 n76 n693
11-- 0
--11 0
.names n696 n698 n293 n254 n697 n695 n694
100000 1
.names n267 n141 n695
11 1
.names n71 n74 n268 n198 n696
111- 0
11-1 0
.names n267 n305 n144 n697
11- 1
1-1 1
.names n142 n71 n118 n74 n698
1111 1
.names n181 n76 n699
11 1
.names n62 n710 n701 n708 n179 n292 o_11_
1-0--- 1
1--0-- 1
-0---- 1
----11 1
.names n702 n707 n704 n291 n701
1110 1
.names n703 n685 n569 n702
000 1
.names n201 n114 n703
11 1
.names n705 n566 n689 n704
110 1
.names n67 n76 n142 n125 n201 n705
11--- 0
1-1-- 0
---11 0
.names n98 n142 n706
11 1
.names n125 n66 n161 n67 n707
11-- 0
--11 0
.names n709 n436 n708
11 1
.names i_14_ i_12_ i_13_ n125 n67 n709
000-0 1
0010- 1
0100- 1
011-0 1
1000- 1
101-0 1
110-0 1
1110- 1
.names i_13_ i_12_ i_14_ i_15_ n62 n207 n710
0000-- 1
1100-- 1
----0- 1
-----0 1
.names i_0_ i_2_ i_1_ o_15_
01- 1
100 1
.names n120 n103 n96 n712
111 1
.names n705 n707 n634 n706 n251 n237 n713
110000 1
.names n433 n303 n714
00 1
.names n717 n716 n715
00 1
.names n201 n93 n716
11 1
.names n201 n112 n717
11 1
.names n101 n76 n718
11 1
.names n97 n412 n719
00 1
.names n88 n76 n720
11 1
.names n362 n112 n76 n82 n721
11-- 0
--11 0
.names n724 n723 n420 n135 n722
1000 1
.names n142 n84 n723
11 1
.names n76 n112 n82 n142 n724
11-- 0
--11 0
.names n729 n468 n312 n728 n727 n726 n725
100000 1
.names n159 n207 i_13_ i_14_ i_15_ i_12_ n726
110--1 1
111-1- 1
11-1-- 1
.names n159 n624 n146 n442 n727
0--- 0
-110 0
.names n159 n672 n728
10 1
.names n159 n135 n246 n723 n451 n395 n729
0----- 1
-00000 1
.names n731 n376 n441 n333 n151 n138 n730
0100-- 1
01---0 1
0-000- 1
0---00 1
.names n120 n291 n96 n731
111 1
.names n699 n675 n732
00 1
.names i_14_ n233 i_12_ i_15_ i_13_ n733
1101- 0
11101 0
.names n424 n159 n209 n734
00- 1
0-0 1
.names n151 n737 n736 n738 n735
0--- 0
-111 0
.names n93 n66 n76 n84 n736
11-- 0
--11 0
.names n362 n93 n84 n161 n737
11-- 0
--11 0
.names n291 i_14_ i_12_ i_13_ i_15_ n738
10000 0
10011 0
11100 0
11111 0
.names n550 n365 n364 n740 n739
1000 1
.names n200 n147 n740
11 1
.names n743 n742 n138 n387 n334 n653 n741
100--- 1
10-111 1
.names n70 n233 n96 n742
111 1
.names n112 n71 n96 n200 n153 n743
1111- 0
111-1 0
.names i_14_ i_12_ i_13_ i_15_ n207 n744
0000- 1
1111- 1
----0 1
.names n120 n577 n96 n745
111 1
.names n747 n749 n748 n149 n138 n161 n746
010--0 1
01-0-- 1
0-0-0- 1
0--00- 1
.names n159 n693 n191 n627 n160 n747
0---- 0
-1100 0
.names n70 n96 n748
11 1
.names n149 i_14_ i_13_ i_12_ i_15_ n749
10-1- 0
11-00 0
1-001 0
1-110 0
.names n594 i_14_ i_13_ i_15_ i_12_ n292 n750
1000-- 1
10--0- 1
11111- 1
1----0 1
.names n806 n752 o_23_
11 0
.names n804 n1297 n1295 n1293 n1288 n1283 n752
111111 1
.names n295 n191 n130 n403 n100 n753
1--1- 0
1---1 0
-01-- 0
.names n123 n114 i_14_ n640 i_13_ i_12_ n754
110-1- 0
110--1 0
---1-- 0
.names n129 i_8_ n639 n130 n197 n379 n755
100--0 1
110-0- 1
1--0-- 1
.names n416 n370 n440 n130 n531 i_8_ n756
000-1- 1
000--0 1
---0-- 1
.names n153 n91 n74 n63 n757
1111 1
.names n216 n112 i_13_ i_14_ i_12_ n114 n758
000--- 1
00---0 1
--0-0- 1
---1-- 1
.names n174 n261 n699 n130 n761 n569 n759
000-1- 1
0--0-- 1
100--0 1
.names n227 n201 n761 n114 n216 n760
11-1- 1
11--1 1
1-0-- 1
.names n699 n675 n180 n261 n761
0000 1
.names n73 n364 n740 n716 n365 n762
0---- 0
-0000 0
.names n164 n764 n763
10 1
.names n149 i_14_ i_12_ i_13_ i_15_ n764
10011 0
11100 0
11111 0
.names n292 n634 n677 n363 n368 n765
00000 1
.names n566 n289 n736 n689 n73 n164 n766
1010-- 1
101--0 1
10-00- 1
----00 1
.names n120 n76 n84 n74 n767
1111 1
.names n181 n216 n76 n142 n153 n768
1--1- 0
1---1 0
-11-- 0
.names n164 n166 n174 n361 n73 n343 n769
11---- 0
1--1-- 0
-11--- 0
----11 0
.names n428 n73 n770
11 1
.names n73 n626 n628 n644 n771
0--- 0
-100 0
.names n164 n773 n148 n370 n409 n772
0---- 0
-1100 0
.names i_14_ n149 i_15_ i_13_ i_12_ n773
1101- 0
11100 0
.names n118 n120 n200 n74 n774
1111 1
.names n201 n118 n120 n74 n775
1111 1
.names n80 n66 n362 n91 n776
11-- 0
--11 0
.names n786 n785 n784 n781 n779 n778 n777
111100 1
.names n147 n73 i_14_ i_13_ i_15_ i_12_ n778
110111 1
11101- 1
11110- 1
111--0 1
.names n73 n780 n260 n248 n684 n779
0---- 0
-1000 0
.names n76 n216 n88 n181 n142 n780
11--- 0
1-1-- 0
---11 0
.names n783 n296 n73 n782 n328 n781
000-- 1
00-11 1
.names n207 i_14_ i_12_ i_13_ i_15_ n782
100-1 0
10-0- 0
1-10- 0
.names n88 n120 n76 n74 n783
1111 1
.names i_8_ n685 n227 n246 n167 n260 n784
00-0-- 1
10--00 1
--0--- 1
.names n73 n82 n161 n76 n67 n164 n785
111--- 0
11-1-- 0
1-1-1- 0
---111 0
.names n789 n787 n764 n788 n164 n73 n786
1111-- 1
111-0- 1
---1-0 1
----00 1
.names i_14_ n207 i_12_ i_15_ i_13_ n787
1101- 0
11101 0
.names n233 i_14_ i_12_ i_13_ i_15_ n788
10011 0
11100 0
11111 0
.names n216 n153 n161 n181 n362 n789
11--- 0
1-1-- 0
---11 0
.names n706 n227 i_8_ n225 n365 n87 n790
0-0--- 1
0--000 1
-0---- 1
.names n73 n227 n724 n677 n67 n142 n791
1--1-- 0
1---11 0
-10--- 0
.names i_14_ n147 i_12_ i_15_ i_13_ n792
1101- 0
11101 0
.names n653 i_8_ n227 n195 n794 n208 n793
10-0-- 1
11--10 1
--0--- 1
.names n67 n142 n153 n125 n76 n794
11--- 0
1-1-- 0
---11 0
.names i_8_ n227 n141 n480 n796 n363 n795
0---10 1
1-01-- 1
-0---- 1
.names i_12_ i_14_ i_15_ i_13_ n291 n796
00--- 1
0-10- 1
1100- 1
1111- 1
----0 1
.names i_14_ i_12_ n125 n67 i_13_ n797
011-- 0
01-1- 0
0--10 0
101-- 0
.names n227 n672 n334 n371 n456 n798
0---- 0
-1100 0
.names n149 n73 i_14_ i_12_ i_13_ i_15_ n799
1101-- 0
1110-- 0
11--01 0
11--10 0
.names i_15_ i_13_ i_14_ i_12_ i_8_ n800
010-- 1
100-- 1
10-11 1
--01- 1
.names n537 n644 n229 n91 n801
11-- 0
1-11 0
.names n328 n207 n200 n802
10- 1
1-0 1
.names i_8_ n227 n368 n412 n97 n803
0-0-- 1
1--00 1
-0--- 1
.names n670 n95 n805 i_5_ n804
0--- 0
-111 0
.names i_3_ i_4_ n568 n805
111 1
.names n688 n807 n621 n808 n365 n364 n806
1101-- 1
110-00 1
.names n629 n625 n632 n812 n808 n268 n807
11001- 1
1100-0 1
.names n809 n572 n811 n71 n85 n808
100-- 1
1--00 1
.names n810 n576 n71 n85 n809
00-- 1
0-00 1
.names n568 i_5_ n85 i_3_ i_4_ n810
11100 1
.names n568 i_5_ i_4_ i_3_ n811
1110 1
.names n720 n174 n812
11 1
.names n575 n675 n71 n811 n814 o_24_
01--- 1
--110 1
.names n593 n592 n814
11 1
.names n1297 n1295 n1293 n1288 n1283 n1300 o_25_
111111 0
.names n685 n174 n816
11 1
.names n356 n818 n174 n205 n633 n720 n817
100--- 1
10-110 1
.names n233 n123 i_14_ i_12_ i_15_ i_13_ n818
1101-- 1
110-10 1
.names n681 n682 n174 n123 n680 n819
1---- 0
-01-- 0
---10 0
.names n821 n822 n220 n221 n823 n820
0---- 0
-11-- 0
---10 0
.names n221 n457 n225 n269 n821
0--- 1
-000 1
.names n178 n74 n822
11 1
.names n84 n66 n76 n93 n823
11-- 0
--11 0
.names n301 n310 n480 n822 n289 n290 n824
0110-- 1
011-0- 1
0--0-0 1
0---00 1
.names n233 n221 i_14_ i_15_ i_12_ i_13_ n825
1111-- 1
11--11 1
.names n835 n832 n827 n578 i_10_ i_9_ o_28_
1111-- 0
111-0- 0
111--1 0
.names n828 n830 n831 n368 n592 n829 n827
1110-- 1
111--1 1
11-01- 1
.names n141 n829 n598 n178 n828
10-- 0
--11 0
.names n571 n71 n576 n811 n829
00-- 1
0-00 1
.names n363 n829 n598 n95 n830
10-- 0
--11 0
.names n85 n576 n579 i_8_ n831
11-- 0
--10 0
.names n833 n592 i_7_ n368 n834 n573 n832
0110-- 1
01-01- 1
0-1--0 1
0---10 1
.names n805 i_5_ n95 n833
100 1
.names o_14_ i_3_ i_4_ n834
100 0
.names n836 n106 n574 n805 i_5_ n835
1---- 0
-1110 0
.names i_3_ n106 n574 n568 i_5_ i_4_ n836
111100 1
.names n840 n838 n195 n839 n573 n837
110-- 1
11-10 1
.names n839 n197 n116 n598 i_5_ n838
01--- 0
--110 0
.names n831 n829 n839
11 1
.names n361 n839 n598 n78 n840
10-- 0
--11 0
.names n568 i_3_ i_7_ i_4_ i_5_ i_6_ o_32_
101-0- 1
110110 1
1111-1 1
.names n830 n843 n840 o_33_
111 0
.names n844 n831 n573 n364 n808 n363 n843
1100-- 1
110-1- 1
1--0-0 1
1---10 1
.names n574 n573 n361 n571 n834 i_6_ n844
11---- 0
1--1-- 0
-11--- 0
----00 0
.names n1262 n752 n619 n848 n688 n846 o_36_
0----- 0
-11111 0
.names n590 n847 n598 n846
110 1
.names n571 n814 n572 n116 n847
10-- 0
--11 0
.names n811 i_7_ i_8_ n849 n814 i_6_ n848
100-0- 0
110--1 0
---0-- 0
.names n805 i_5_ n812 n71 n106 n574 n849
10-1-- 0
10--11 0
--1--- 0
.names n1262 n852 n851 n834 n575 o_0_
0---- 0
-1111 0
.names n78 n576 n71 n814 n574 n851
0-0-- 1
0--10 1
-0--- 1
.names i_6_ n576 i_8_ i_7_ n814 n574 n852
110-0- 0
110--1 0
11-1-- 0
.names n1262 n846 n854 o_1_
10- 1
1-0 1
.names n572 i_7_ n574 i_8_ n854
101- 0
10-1 0
.names n1262 n852 n856 o_2_
10- 1
1-0 1
.names i_5_ i_3_ i_4_ o_14_ n568 n92 n856
000-11 0
1001-- 0
.names n1262 n866 n858 n892 n1225 n1313 o_3_
0----- 0
-11111 0
.names n847 n863 n1308 n451 n279 n130 n858
1110-- 1
111-10 1
.names n458 n62 o_12_ n123 n441 n443 n859
000--- 1
0---00 1
-000-- 1
.names n862 n861 n89 n432 n204 n860
110-- 1
11-00 1
.names n434 n198 n94 n117 n251 n861
1--1- 0
1---1 0
-11-- 0
.names n572 n178 n598 i_5_ n574 i_8_ n862
11--1- 0
11---1 0
--11-- 0
.names n864 n865 n289 n104 n274 n863
100-- 1
10-10 1
.names n540 o_12_ n438 n430 n198 n435 n864
00---- 1
0-1000 1
.names n130 n614 n443 n279 n179 n865
00--- 0
0--10 0
-00-- 0
.names n877 n874 n611 n872 n869 n1310 n866
111111 1
.names n62 n237 n87 n135 n133 n867
11--- 0
1-1-- 0
---11 0
.names n127 n110 n77 n868
00- 1
0-0 1
.names n870 n61 n97 n108 n62 n869
100-- 1
10-10 1
.names n871 n100 n104 n138 n870
00-- 1
0-10 1
.names n94 n87 n113 n89 n77 n871
00--- 0
0--00 0
-00-- 0
.names n873 n81 n104 n77 n221 n872
10--- 1
1-100 1
.names n131 n79 n434 n129 n94 n169 n873
0-1--- 1
100--- 1
-001-- 1
-1--00 1
.names n875 n308 n434 n73 n214 n237 n874
110--- 1
11--10 1
1-00-- 1
.names n89 n876 n81 n73 n117 n133 n875
10---- 0
--11-- 0
----11 0
.names n79 n110 n876
00 1
.names n122 n72 n877
00 1
.names n880 n879 n277 n303 n62 n94 n878
1110-- 1
111-0- 1
11-0-0 1
11--00 1
.names n73 n204 n94 n345 n349 n879
1--1- 0
1---1 0
-11-- 0
.names n356 n881 n225 n159 n221 n340 n880
1000-- 1
100--0 1
10-00- 1
.names n78 n269 n74 i_13_ n881
1110 1
.names n344 n434 n337 n349 n225 n882
00--- 1
0-100 1
.names n884 n338 n268 n434 n221 n883
100-- 1
10-00 1
.names n276 n197 n62 n77 n354 n94 n884
1000-- 1
10--1- 1
--00-0 1
----10 1
.names n343 n248 n144 n154 n164 n73 n885
0000-- 1
000-0- 1
---0-0 1
----00 1
.names n340 n77 n133 n276 n305 n886
00--- 1
0--10 1
-00-- 1
.names n888 n434 n889 n204 n887
00-- 1
0-10 1
.names n305 n250 n133 o_12_ n94 n888
0---- 0
-0000 0
.names n300 n198 n889
10 1
.names n197 n595 n500 n227 n890
0--- 0
-110 0
.names n640 n198 n268 n343 n164 n133 n891
0000-- 1
000-0- 1
0--0-0 1
0---00 1
.names n893 n478 n1400 n306 n1237 n1461 n892
111111 1
.names n898 n896 n894 n897 n159 n152 n893
10000- 1
1000-1 1
.names n553 n895 i_8_ n227 n97 n81 n894
00-0-- 0
00--00 0
--0--- 0
.names n69 n125 n95 n200 n153 n895
1111- 1
111-1 1
.names n133 n248 n289 n261 n251 n896
0---- 0
-0000 0
.names n289 n165 n159 n218 n220 n897
00--- 0
0--00 0
-00-- 0
.names n458 n174 n164 n261 n133 n457 n898
11---- 0
--11-- 0
----11 0
.names n877 n874 n872 n869 n1310 n899
11111 1
.names n901 n904 o_12_ n722 n905 n333 n900
100--- 1
10-110 1
.names n902 n279 n123 n689 n718 n901
010-- 1
0--00 1
.names n279 n130 n903 n212 n639 n634 n902
10---- 0
--1000 0
.names n201 n91 n93 n112 n903
0--- 1
-000 1
.names n674 n546 n134 n227 n123 n137 n904
0----- 0
-10000 0
.names n906 n652 n416 n117 n905
1000 1
.names n647 n113 n906
00 1
.names n908 n715 n133 n259 n909 n907
0---- 0
-01-- 0
---10 0
.names n413 n62 n647 n77 o_12_ n908
01--- 0
0---1 0
--11- 0
.names n201 n216 n181 n142 n909
11-- 0
--11 0
.names n142 n67 n181 n101 n910
0--- 1
-000 1
.names n94 n135 n117 n174 n333 n911
11--- 0
1-1-- 0
---11 0
.names i_8_ n639 n151 n652 n133 o_13_ n912
111--- 0
11---1 0
--11-- 0
---11- 0
.names n916 n914 n74 n71 n154 n198 n913
110--- 1
11-0-- 1
11--00 1
.names n915 n144 n305 n79 n250 n267 n914
0000-- 1
000-0- 1
0--0-0 1
0---00 1
.names n69 n175 n66 n67 n101 n915
1111- 1
111-1 1
.names n222 n81 n79 n916
0-- 1
-00 1
.names n279 n238 n130 n917
110 1
.names n920 n919 n538 n723 n648 n918
100-- 1
10-00 1
.names n500 n113 n251 n98 i_12_ i_13_ n919
01---- 1
0-1--- 1
0--111 1
.names n703 n164 n133 n733 n169 n920
11--- 0
1---1 0
--10- 0
.names n68 n501 n392 n418 n403 n921
0--1- 0
0---1 0
-01-- 0
.names n924 n690 n787 n434 n923 n73 n922
1010-- 1
101-1- 1
10--10 1
1--0-0 1
.names n652 n409 n117 n923
000 1
.names n926 n659 n720 n123 n279 n925 n924
0000-- 1
000--1 1
00-01- 1
.names n76 n80 n84 n925
0-- 1
-00 1
.names n69 n153 n71 n84 n80 n926
1111- 1
111-1 1
.names n1400 n306 n1433 n1319 n934 n928 n927
111111 1
.names n929 n933 n408 n279 n179 n130 n928
100--- 1
10-100 1
.names n932 n930 n909 n637 n288 n453 n929
1110-- 1
111--1 1
11-01- 1
11--11 1
.names n164 n634 n717 n290 n931 n930
11--- 0
1-1-- 0
---10 0
.names n142 n67 n201 n125 n931
11-- 0
--11 0
.names n159 n650 n909 n666 n493 n932
11--- 0
1-0-- 0
---10 0
.names n699 n279 n123 n134 n73 n933
0---- 0
-1000 0
.names n123 n662 n935 n940 n939 n934
001-1 1
01-1- 1
1011- 1
.names n938 n937 n936 n434 n903 n718 n935
0000-- 1
000-10 1
.names n250 n716 n792 n936
11- 1
1-0 1
.names n279 n308 n280 n925 n194 n251 n937
1----- 0
-11100 0
.names n201 n130 i_15_ i_11_ i_9_ i_10_ n938
110-00 1
1111-1 1
11-010 1
11-100 1
.names n227 n77 n720 n238 n792 n923 n939
000--- 1
00-1-- 1
--0-11 1
---111 1
.names n669 n648 n315 n940
100 1
.names n227 n724 n176 n941
0-- 1
-10 1
.names n201 n112 n142 n82 n942
11-- 0
--11 0
.names n775 n177 n650 n652 n165 n943
1---- 0
-11-- 0
---11 0
.names n279 n134 n706 n130 n650 n944
100-- 1
10-0- 1
1--00 1
--0-0 1
.names n703 n647 n133 n130 n723 n138 n945
0000-- 1
00--0- 1
--00-0 1
----00 1
.names n703 n238 n501 n946
10- 1
1-0 1
.names i_14_ n67 n74 n175 i_13_ i_12_ n947
11110- 1
1111-0 1
.names i_14_ n103 i_12_ i_15_ i_13_ n948
1101- 0
11101 0
.names n80 n120 n76 n69 n949
1111 1
.names i_14_ n291 i_12_ i_15_ i_13_ n950
1101- 0
11101 0
.names n82 n76 n106 n96 n92 n64 n951
1111-- 1
11--11 1
.names n955 n954 n165 n953 n637 n634 n952
100--- 1
10-100 1
.names n689 n720 n690 n953
000 1
.names n699 n488 n179 n119 n954
0--- 0
-100 0
.names n674 n956 n733 n165 n290 n957 n955
10---- 0
1---1- 0
-0---1 0
--01-- 0
.names n106 n69 n74 n175 n956
11-- 0
--11 0
.names n80 n76 n175 n74 n957
1111 1
.names n1262 n851 n959 o_7_
10- 1
1-0 1
.names i_3_ i_5_ i_4_ o_14_ n568 n106 n959
0001-- 0
000-11 0
.names n582 n606 n605 n382 n960
1110 1
.names n962 n595 n130 n119 n198 n647 n961
0100-- 1
010-0- 1
0--0-0 1
0---00 1
.names n717 n390 n637 n501 n82 n362 n962
000-0- 0
000--0 0
---1-- 0
.names n89 n627 n964 n123 n73 n94 n963
00---- 1
0--000 1
-01--- 1
.names n149 i_15_ i_12_ i_14_ i_13_ n964
1010- 0
11000 0
.names n362 n83 n125 n965
0-- 1
-00 1
.names n569 n94 n966
11 1
.names n968 n972 n624 n964 n434 n89 n967
1111-- 1
111-0- 1
11-1-0 1
11--00 1
.names n970 n969 n174 n971 n703 n968
100-- 1
10-10 1
.names n378 o_12_ n123 n62 n969
0--- 0
-000 0
.names n130 n910 n538 n903 n970
10-- 0
--10 0
.names n200 n114 n362 n88 n971
11-- 0
--11 0
.names n973 n657 n361 n368 o_12_ n123 n972
1000-- 1
100-0- 1
1--0-0 1
1---00 1
.names n286 n133 n248 o_12_ n204 n973
1---- 0
-11-- 0
---11 0
.names n975 n305 n62 n159 n363 n361 n974
000--- 1
00--00 1
0-00-- 1
.names n639 o_13_ n151 n627 n716 n975
00--- 0
0--00 0
-00-- 0
.names n652 n242 n279 n227 n259 n976
0---- 0
-1100 0
.names n1335 n988 n929 n987 n1332 n978 n977
111111 1
.names n603 n981 n728 n665 n979 n632 n978
110000 1
.names i_8_ n130 n980 n979
110 1
.names n637 n374 n345 n980
000 1
.names n983 n982 n816 n133 n909 n677 n981
0000-- 1
000-10 1
.names n144 n164 n982
11 1
.names n691 n174 n983
11 1
.names n633 n980 n133 n174 n169 n672 n984
1100-- 1
11---1 1
--000- 1
----01 1
.names n675 n488 n179 n119 n985
0--- 0
-100 0
.names n174 n216 n472 n200 n201 n986
11-1- 1
11--1 1
1-1-- 1
.names n512 n509 n515 n987
10- 1
1-1 1
.names n989 n965 n250 n164 n144 n141 n988
110--- 1
11--00 1
1-00-- 1
.names n174 n177 n119 n657 n169 n628 n989
0000-- 1
000-0- 1
00--00 1
---0-0 1
.names n627 n716 n195 n164 n133 n174 n990
000--- 1
00-0-- 1
--0-00 1
---000 1
.names n992 n1433 n999 n995 n1006 n1003 n991
111100 1
.names n993 n994 n472 n279 n179 n123 n992
000--- 1
00-100 1
.names n279 n677 n889 n73 n130 n434 n993
10---- 0
1--000 0
-01--- 0
.names n628 n675 n279 n123 n134 n73 n994
00---- 0
--1000 0
.names n996 n998 n238 n965 n569 n995
101-- 1
10-10 1
.names n997 n546 n244 n634 n996
01-- 1
0-10 1
.names n657 n164 n538 n997
11- 1
1-1 1
.names n569 n501 n123 n657 n998
10-- 1
1-1- 1
-0-1 1
.names n1002 n1001 n1000 n169 n964 n624 n999
0000-- 1
000-11 1
.names n89 n971 n363 n232 n374 n1000
0---- 0
-1000 0
.names i_15_ n142 n250 i_11_ i_10_ i_9_ n1001
11101- 1
11110- 1
111-10 1
.names n227 n910 n565 n723 n1002
0--- 0
-110 0
.names n123 n633 n1004 n1005 n672 n624 n1003
0----- 0
-11111 0
.names n964 n637 n374 n345 n1004
1000 1
.names i_14_ i_12_ i_13_ n216 n125 n1005
000-- 1
11--- 1
1-1-- 1
-000- 1
---00 1
.names n648 n279 n259 n227 n130 n1006
0---- 0
-1000 0
.names n1012 n1341 n1014 n1019 n1018 n1007
11100 1
.names n180 n250 n179 n159 n168 n167 n1008
00---- 1
0---00 1
-000-- 1
.names n171 n176 n159 n174 n162 n160 n1009
000--- 1
00--00 1
--00-- 1
.names n133 n182 n250 n166 n169 n170 n1010
10---- 0
--11-- 0
----11 0
.names n161 n106 n67 n69 n1011
1111 1
.names n1013 n133 n733 n1128 n623 n1012
10--- 1
1-111 1
.names n734 n318 n1013
10 1
.names n1016 n1015 n676 n164 n788 n1014
1000- 1
100-1 1
.names n169 n724 n678 n677 n456 n1015
0---- 0
-1100 0
.names n159 n111 n648 n250 n1017 n1016
11--- 0
1-1-- 0
---10 0
.names n209 n82 n201 n1017
00- 1
0-0 1
.names n250 n149 i_14_ i_13_ i_12_ i_15_ n1018
110-11 1
111-0- 1
11-001 1
11-110 1
.names n250 n233 i_14_ i_15_ i_12_ i_13_ n1019
110011 1
11010- 1
1101-0 1
111010 1
111111 1
.names n1040 n1036 n1032 n1028 n1456 n1021 n1020
111110 1
.names n169 n761 n622 n215 n1022 n953 n1021
0----- 0
-11111 0
.names n1027 n1025 n1023 n628 n718 n166 n1022
111000 1
.names n1024 n631 n1023
10 1
.names n91 n66 n161 n101 n1024
11-- 0
--11 0
.names n1026 n684 n706 n433 n248 n237 n1025
100000 1
.names i_15_ i_13_ i_12_ i_14_ n207 n577 n1026
011--1 0
01-11- 0
10011- 0
100--1 0
.names n965 n909 n192 n368 n194 n193 n1027
110000 1
.names n1029 n1031 n169 n773 n148 n964 n1028
100--- 1
10-111 1
.names n1030 n295 n773 n334 n724 n456 n1029
00---- 1
0-1110 1
.names n169 n428 n131 n650 n1030
0--- 0
-000 0
.names n295 n623 n330 n237 n433 n706 n1031
0----- 0
-11000 0
.names n1033 n250 n1035 n657 n569 n1032
10--- 1
1-100 1
.names n1034 n695 n537 n626 n180 n1033
100-- 1
10-10 1
.names n159 n686 i_12_ i_13_ n67 n295 n1034
10---- 0
--1111 0
.names n703 n171 n170 n390 n392 n1035
00000 1
.names n1037 n1039 n537 n170 n289 n689 n1036
100--- 1
10-000 1
.names n915 n697 n537 n79 n250 n1038 n1037
0000-- 1
000-0- 1
00-0-1 1
00--01 1
.names n737 n220 n1038
10 1
.names n250 n160 n630 n627 n1039
0--- 0
-000 0
.names n1046 n1045 n1044 n1041 n772 n727 n1040
111100 1
.names n1043 n1042 n159 n823 n385 n672 n1041
110--- 1
11-111 1
.names n106 n96 n142 n84 n82 n200 n1042
1111-- 0
11--11 0
.names n96 n106 n112 n66 n153 n84 n1043
1111-- 0
11--11 0
.names n749 n159 n133 n1044
1-- 1
-00 1
.names n775 n174 n686 n1045
00- 1
0-1 1
.names n80 n69 n106 n66 n153 n1046
1111- 0
111-1 0
.names n401 n213 n133 n295 n1047
01-- 1
0-00 1
.names n403 n159 n133 n413 n412 n194 n1048
00---- 0
0--100 0
-00--- 0
.names n392 n212 n415 n409 n159 n537 n1049
0000-- 1
000-0- 1
---0-0 1
----00 1
.names n169 n334 n155 n333 i_8_ n259 n1050
10---- 0
1-0--- 0
---111 0
.names n1055 n1054 n1053 n159 n1052 n418 n1051
1100-- 1
110-10 1
.names n707 n704 n702 n906 n634 n706 n1052
111100 1
.names n295 n207 i_14_ i_13_ i_12_ i_15_ n1053
110-1- 1
111-00 1
11-001 1
11-110 1
.names n537 n792 n146 n364 n442 n716 n1054
0----- 1
-11000 1
.names n133 n103 i_14_ i_13_ i_12_ i_15_ n1055
110-1- 0
111-00 0
11-001 0
11-110 0
.names n1057 n295 n155 n428 n131 n650 n1056
10---- 1
1-1000 1
.names n250 n147 i_14_ i_13_ i_12_ i_15_ n1057
110-11 0
111-0- 0
11-001 0
11-110 0
.names n1052 n180 n194 n141 n1058
1000 1
.names n1060 n941 n798 n174 n672 n334 n1059
1100-- 1
110-11 1
.names n227 n174 n371 n81 n677 i_8_ n1060
1--1-- 0
1---10 0
-11--- 0
.names n259 n1062 n177 n672 n1061
10-- 1
1-10 1
.names n233 i_12_ i_13_ n134 i_14_ i_15_ n1062
10110- 0
101--1 0
1101-- 0
110-1- 0
1-0101 0
.names n1017 n724 n721 n451 n1063
1110 1
.names n1068 n1065 n1073 n1070 n1075 n655 n1064
111100 1
.names n1067 n1066 n742 n94 n456 n232 n1065
1100-- 1
110-00 1
.names n94 n387 n334 n653 n1066
0--- 1
-111 1
.names n957 n956 n733 n290 n250 n674 n1067
0110-- 1
01-00- 1
0-1--0 1
0---00 1
.names n1069 n728 n733 n677 n493 n77 n1068
1010-- 1
101-1- 1
10-0-0 1
10--10 1
.names n81 o_13_ n174 n630 n133 n371 n1069
11---- 0
--11-- 0
----11 0
.names n1071 n1072 n1017 n250 n434 n232 n1070
1110-- 1
111--0 1
11-00- 1
11--00 1
.names n162 n94 n169 n653 n1071
11-- 0
--10 0
.names n159 n246 n94 n212 n250 n371 n1072
11---- 0
1--1-- 0
-11--- 0
----11 0
.names n1074 n159 n451 n176 n371 n1073
10--- 1
1-000 1
.names n538 n111 n678 n68 n942 n1074
11--- 0
1---0 0
--00- 0
.names n77 n672 n334 n371 n456 n1075
0---- 0
-1100 0
.names n747 n749 n748 n149 n94 n161 n1076
010--0 1
01-0-- 1
0-0-0- 1
0--00- 1
.names n1078 n148 n130 i_8_ n964 n773 n1077
11-1-- 1
11--11 1
1-0--- 1
.names n174 n191 n379 n130 n773 n1078
010-- 1
0--0- 1
1-1-- 1
-10-1 1
.names n149 i_14_ i_12_ i_15_ n1079
1011 0
1100 0
.names n516 n148 n773 n764 n73 n89 n1080
0111-- 1
011-0- 1
0--1-0 1
0---00 1
.names n434 n147 i_12_ i_15_ i_14_ i_13_ n1081
1100-- 1
111--0 1
11-10- 1
.names n164 n1083 n110 n225 n365 n1082
0---- 1
-1000 1
.names n147 i_14_ i_13_ i_12_ i_15_ n1083
10-11 0
11-0- 0
1-001 0
1-110 0
.names n1085 n223 n727 n739 n94 n1084
1001- 1
100-0 1
.names n1086 n89 n623 n146 n365 n1085
10--- 1
1-110 1
.names n250 n147 i_14_ i_13_ i_12_ i_15_ n1086
110-11 0
111-0- 0
11-001 0
11-110 0
.names n1091 n1088 n1039 n133 n623 n1087
1100- 1
110-1 1
.names n1089 n119 n110 n274 n269 n1088
0---- 0
-11-- 0
---11 0
.names n250 n1090 n631 n89 n169 n693 n1089
10---- 0
1-1--- 0
-0-1-- 0
----10 0
.names n93 n66 n161 n84 n1090
11-- 0
--11 0
.names n767 n737 n73 n89 n624 n1091
1---- 0
-01-- 0
---10 0
.names n1093 n1038 n690 n365 n119 n94 n1092
1100-- 1
110-0- 1
1--0-0 1
1---00 1
.names n624 n716 n723 n135 n133 n538 n1093
1000-- 1
1----0 1
-0000- 1
----00 1
.names n1095 n820 n1100 n1098 n1102 n778 n1094
111100 1
.names n1097 n1096 n868 n318 n220 n123 n1095
11100- 1
1110-0 1
.names n84 i_12_ i_14_ n159 n77 n1096
1011- 0
110-1 0
.names n698 n259 n395 n1097
00- 1
0-0 1
.names n1099 n595 n690 n250 n225 n1098
1---- 0
-01-- 0
---11 0
.names n222 n110 n79 n1099
11- 1
1-1 1
.names n1101 n420 n94 n169 n365 n1100
0---- 0
-11-- 0
---11 0
.names n220 n169 o_13_ n364 i_8_ n1101
11--- 0
--110 0
.names n147 n77 i_12_ i_14_ i_15_ i_13_ n1102
11011- 1
110-11 1
111-0- 1
11-001 1
.names n253 n1104 n998 n631 n68 n138 n1103
1100-- 1
110-10 1
.names n87 n250 n77 n391 n79 n89 n1104
000--- 1
00-0-- 1
0-0-0- 1
0--00- 1
-00--0 1
.names n1107 n1108 n1106 n250 n443 n1105
1100- 1
110-0 1
.names n73 n162 n674 n1106
11- 1
1-1 1
.names n218 o_13_ i_8_ o_12_ n361 n435 n1107
00---- 1
0-1--- 1
0---00 1
-0-0-- 1
.names n1109 n328 n434 n94 n250 n79 n1108
0100-- 1
01---0 1
0-000- 1
0---00 1
.names n114 n76 n78 n69 i_8_ n1109
11110 1
.names n277 n166 n110 n87 n169 n250 n1110
1000-- 1
10--0- 1
--00-0 1
----00 1
.names n774 n123 o_12_ n81 n222 n166 n1111
0000-- 1
000-0- 1
0--0-0 1
0---00 1
.names n409 n94 n164 n79 n365 n123 n1112
11---- 0
--11-- 0
----11 0
.names n946 n1114 n1116 n169 n749 n1113
0000- 1
000-1 1
.names n89 n876 n1115 n435 n113 n361 n1114
0----- 0
-11000 0
.names n724 n653 n456 n1115
110 1
.names n89 n672 n334 n371 n1116
0--- 0
-110 0
.names n89 n393 n77 n391 n206 n1117
1--1- 0
1---0 0
-11-- 0
.names n443 n166 n197 n720 n380 n77 n1118
0000-- 1
000-1- 1
---0-0 1
----10 1
.names n68 n195 n349 n647 n1119
1--- 0
-000 0
.names n164 n720 n218 n627 n1120
0--- 1
-000 1
.names n174 n653 n1121
10 1
.names n174 n207 i_14_ i_13_ i_12_ i_15_ n1122
110-1- 1
111-00 1
11-001 1
11-110 1
.names n174 n649 n164 n737 n1123
10-- 0
--10 0
.names n174 n456 n724 n1124
11- 1
1-0 1
.names n123 n443 n393 n361 n1125
0--- 0
-000 0
.names n987 n1129 n1127 n1335 n922 n1132 n1126
111110 1
.names n734 n133 n623 n1128 n733 n110 n1127
10---- 1
1-1110 1
.names n686 n371 n420 n395 n456 n268 n1128
100000 1
.names n1130 n966 n259 n133 n1131 n906 n1129
0000-- 1
000-1- 1
00-0-1 1
00--11 1
.names n434 n686 n594 n435 n349 n1130
0---- 0
-1100 0
.names n740 i_14_ i_12_ i_13_ i_15_ n207 n1131
000--- 1
0111-- 1
011-0- 1
0-001- 1
0-110- 1
0----0 1
.names n77 n149 i_13_ i_14_ i_12_ i_15_ n1132
110--1 1
111-10 1
11-011 1
11-10- 1
.names n1276 n1154 n1139 n1376 n1134 n1132 n1133
111110 1
.names n1135 n772 n771 n164 n626 n1136 n1134
1000-- 1
100-11 1
.names n102 n347 n770 n164 n79 n1135
0000- 1
000-0 1
.names n639 n628 n379 n340 n1136
0000 1
.names n504 n636 n757 n1137
000 1
.names n284 n174 n155 n650 n1138
10-- 1
1-10 1
.names n1142 n1140 n1147 n1146 n1153 n89 n1139
11101- 1
1110-0 1
.names n799 n228 n1141 n644 n164 n227 n1140
1000-- 1
100-0- 1
10-0-0 1
10--00 1
.names n103 i_15_ i_13_ i_14_ i_12_ i_8_ n1141
1010-- 1
1100-- 1
110-11 1
1--01- 1
.names n1144 n190 n1145 n1143 n164 n627 n1142
11100- 1
1110-0 1
.names n100 n169 n1143
11 1
.names n1046 n155 n626 n948 o_13_ o_12_ n1144
1111-- 1
111-0- 1
1--1-0 1
1---00 1
.names n164 n693 n628 n174 n160 n123 n1145
10---- 0
1---1- 0
-0---1 0
--11-- 0
.names n169 n1004 n379 n403 n628 n627 n1146
0----- 0
-10000 0
.names n1152 n1148 n1151 n77 n169 n631 n1147
0101-- 1
1--01- 1
-1000- 1
-101-0 1
.names n250 n1149 n1024 n100 n1150 n1148
01101 0
10--- 0
1-0-- 0
1--1- 0
.names n118 i_12_ i_13_ i_14_ n1149
1010 0
1100 0
.names n95 n101 n76 n96 i_8_ n1150
11110 1
.names n103 o_13_ n1151
11 1
.names i_14_ i_15_ i_13_ n149 i_12_ n103 n1152
0111-- 0
01-11- 0
1011-- 0
101--1 0
110-01 0
1-010- 0
.names n693 n103 n1153
10 1
.names n1155 n434 n1157 n259 n379 i_9_ n1154
101--- 1
10---1 1
1-1-0- 1
-0-0-- 1
.names n1079 n192 n134 i_8_ n1156 n923 n1155
1000-- 1
100-1- 1
10-0-1 1
10--11 1
.names i_12_ i_15_ i_13_ i_14_ n103 n149 n1156
00001- 0
010--1 0
011-1- 0
0--0-1 0
101--1 0
1-011- 0
-0-0-1 0
-1111- 0
.names n79 n103 n1157
00 1
.names n98 n133 n434 n690 n235 n153 n1158
11--1- 0
11---1 0
--11-- 0
.names n1160 n706 n238 n274 n89 n1159
00--- 1
0-100 1
.names n291 n169 i_14_ i_15_ i_13_ i_12_ n1160
1101-1 1
11101- 1
111--0 1
11-101 1
.names n141 o_13_ n144 n267 n1161
11-- 0
--11 0
.names n766 n1163 n538 n657 n501 n719 n1162
1100-- 1
110-1- 1
11-0-1 1
11--11 1
.names n89 n719 n250 n205 n363 n1163
10--- 0
1---1 0
--10- 0
.names n170 n501 n151 n62 n1164
0--- 0
-100 0
.names n174 n736 n434 n441 n1165
10-- 0
--11 0
.names n175 n69 n97 n100 n1166
111- 1
11-1 1
.names n164 n737 n689 n73 n250 n950 n1167
10---- 0
--11-- 0
----10 0
.names n553 n555 n133 n420 n268 n457 n1168
000--- 1
00-000 1
.names n62 n291 i_12_ i_14_ i_13_ i_15_ n1169
11011- 1
110-10 1
1110-1 1
111-0- 1
11-001 1
11-110 1
.names n731 n376 n441 n333 n151 n94 n1170
0100-- 1
01---0 1
0-000- 1
0---00 1
.names n1173 n1172 n164 n480 n333 n141 n1171
100--- 1
10-100 1
.names n73 n291 i_14_ i_13_ i_12_ i_15_ n1172
1100-1 1
110-1- 1
11110- 1
111-00 1
11-011 1
11-110 1
.names n164 n97 n950 n368 n73 n1173
11--- 0
1-0-- 0
---11 0
.names n62 n708 n1174
10 1
.names o_12_ n208 n199 n1175
11- 1
1-0 1
.names n1177 n142 n67 n238 n1176
1--- 0
-110 0
.names o_13_ n577 i_12_ i_14_ i_13_ i_15_ n1177
11011- 1
1101-0 1
110-10 1
11100- 1
1110-1 1
111-01 1
11-001 1
.names i_15_ i_14_ i_12_ n233 i_13_ n577 n1178
00-11- 0
01010- 0
011--1 0
0-1-11 0
10-10- 0
1-0--1 0
-011-- 0
.names n1184 n1180 n1187 n1280 n917 n684 n1179
11111- 1
1111-0 1
.names n1181 n279 n1183 n123 n89 n685 n1180
1110-- 1
11-00- 1
1-1--0 1
1---00 1
.names n1182 n134 n527 n152 n1181
10-- 1
1-11 1
.names n177 n577 i_12_ i_14_ i_13_ i_15_ n1182
11011- 0
1101-0 0
110-10 0
11100- 0
1110-1 0
111-01 0
11-001 0
.names i_12_ i_13_ i_14_ i_15_ n233 n577 n1183
00-1-1 0
0-111- 0
0-11-1 0
11-0-1 0
-0111- 0
-011-1 0
-1101- 0
.names n1185 n134 n204 n65 n418 n1184
10--- 1
1-000 1
.names n625 n1186 n208 n134 n94 n1185
100-- 1
10-00 1
.names n165 n160 n630 n627 n1186
0--- 0
-000 0
.names n916 n1188 n698 n198 n74 n71 n1187
1100-- 1
110-0- 1
110--0 1
.names n915 n305 n144 n165 n79 n267 n1188
0000-- 1
000-0- 1
0--0-0 1
0---00 1
.names n164 n797 n73 n708 n65 n1189
01-1- 1
0-0-- 1
11--0 1
.names i_14_ i_12_ i_13_ n67 n125 n1190
000-1 0
0011- 0
1001- 0
1111- 0
11--1 0
.names n687 n1192 n138 n931 n1191
100- 1
10-1 1
.names n251 n143 n151 n259 n142 n67 n1192
11---- 1
1-1--- 1
1--1-- 1
-1--11 1
.names n693 n677 n123 n169 n949 n1193
0--1- 0
0---1 0
-11-- 0
.names n259 o_11_ o_21_ o_20_
000 0
.names n694 n1196 n915 n1099 o_22_
1100 0
.names n294 n222 n81 n87 n1196
00-- 1
0-00 1
.names n1262 i_0_ i_1_ n116 i_2_ o_27_
11110 1
.names n837 n1199 i_9_ i_10_ n578 o_29_
0---- 1
-0--- 1
--100 1
.names n1200 n835 n1201 n361 n573 n1199
1100- 1
110-0 1
.names n116 n197 n573 n834 i_5_ n598 n1200
1--0-- 0
1---11 0
-11--- 0
.names i_5_ n805 i_7_ i_6_ n834 n1201
111-- 1
11-1- 1
--100 1
.names i_9_ i_10_ n578 n835 n809 o_31_
00--0 1
010-- 1
100-- 1
---0- 1
.names n1200 n986 n1204 n174 n327 n1203
1000- 1
100-1 1
.names n141 n831 n573 n1204
10- 1
1-1 1
.names n73 n142 n227 n1141 n67 n98 n1205
11--1- 0
11---1 0
--11-- 0
.names n1376 n1207 n164 n794 n208 n1206
110-- 1
11-10 1
.names n164 n797 n73 n708 n65 n1207
01-1- 1
0-0-- 1
11--0 1
.names n1082 n1077 n1059 n807 n688 n1208
11111 1
.names n1372 n1288 n1209
11 1
.names n1211 n365 n808 o_35_
0-- 1
-10 1
.names n368 n195 n573 n839 n574 n1211
000-- 1
00--0 1
--01- 1
.names n1262 n852 n851 n1214 n834 n1213 o_37_
0----- 0
-11111 0
.names n836 n810 n814 n574 n1213
00-- 1
0-10 1
.names n568 i_3_ i_5_ i_4_ n63 n71 n1214
10101- 0
1100-1 0
.names n78 n805 o_38_
11 1
.names n178 n805 o_39_
11 1
.names n70 n193 n194 n116 i_8_ n148 n1217
11---- 1
1-1--- 1
---100 1
.names n196 n190 n74 n195 n164 n1217 n1218
1100-- 1
110-0- 1
11-0-0 1
11--00 1
.names n1218 n156 n150 n139 n1392 n202 n1219
111110 1
.names n83 n76 n63 n85 n84 n66 n1220
111--- 1
---111 1
.names n86 n81 n79 n64 n1220 n77 n1221
1000-- 1
100-0- 1
1--0-0 1
1---00 1
.names n74 n85 n84 n66 n93 n76 n1222
1111-- 0
11--11 0
.names n270 n266 n236 n234 n79 n250 n1223
11100- 1
1110-0 1
.names n230 n113 n238 n251 n218 n164 n1224
1010-- 1
10-00- 1
10--00 1
1-1--0 1
.names n272 n252 n239 n1228 n1224 n1223 n1225
111111 1
.names n222 n84 n69 n112 n78 i_8_ n1226
11---- 1
--1110 1
.names n223 n219 n218 n221 n220 n94 n1227
0000-- 1
000-0- 1
00-0-0 1
00--00 1
.names n224 n1227 n66 n130 n65 n1226 n1228
1100-- 1
110-0- 1
11-0-0 1
11--00 1
.names i_12_ i_13_ n216 n112 i_14_ n1229
000-- 1
10-0- 1
--00- 1
----0 1
.names o_12_ n277 n276 n1229 n113 n1230
0---- 0
-1110 0
.names n66 n69 n106 n83 n114 n125 n1231
1111-- 0
111-1- 0
111--1 0
.names n91 n64 n92 n112 n106 n96 n1232
111--- 1
1---11 1
-111-- 1
.names n294 n66 n1232 i_8_ n261 n130 n1233
1----- 0
-11--- 0
---111 0
.names n133 n225 n303 n164 n304 n1234
11--- 0
1-1-- 0
---10 0
.names n164 n244 n248 n174 n305 n159 n1235
0100-- 1
0--0-0 1
0---00 1
-10-0- 1
.names n250 n277 n204 n232 n225 n1236
0---- 1
-1000 1
.names n298 n1236 n1235 n1234 n1237
1111 1
.names n106 n82 n69 n120 n74 n84 n1238
111--- 1
---111 1
.names n327 n164 n328 n174 n146 n165 n1239
10--10 1
1-10-- 1
1-1-1- 1
-010-- 1
-0-0-0 1
.names n1402 n1239 i_8_ n130 n148 n1240
110-- 1
11-0- 1
11--1 1
.names n358 n357 n355 n348 n346 n344 n1241
111110 1
.names n350 n1241 n341 n342 n138 n159 n1242
1100-- 1
110-00 1
.names n1242 n335 n73 n349 n345 n343 n1243
110--- 1
11-000 1
.names n369 n379 n123 n134 n371 n368 n1244
000--- 1
00--00 1
0-00-- 1
.names n138 n389 n143 n377 n370 n380 n1245
10---- 0
--10-- 0
----10 0
.names n381 n372 n366 n1244 n1245 n359 n1246
111110 1
.names n390 n289 n261 n76 n125 n118 n1247
0000-- 1
000-00 1
.names n548 n1449 n465 n425 n1453 n545 n1248
111110 1
.names n89 n137 n391 n62 n176 n1249
000-- 1
00-0- 1
0--00 1
--0-0 1
.names n94 n443 n435 n200 n98 n74 n1250
0--111 1
1000-- 1
100-0- 1
.names n77 n436 n442 n250 n434 n438 n1251
10---- 0
--11-- 0
----10 0
.names n439 n1251 n94 n437 n1250 n63 n1252
11000- 1
11101- 1
11-010 1
.names n78 n161 n67 n362 n93 n112 n1253
11--1- 1
11---1 1
1-11-- 1
.names n468 n374 n467 i_8_ n1253 n69 n1254
1----- 0
-10--- 0
---111 0
.names n476 n473 n471 n469 n1254 n466 n1255
111110 1
.names n527 n123 n174 n62 n531 n518 n1256
10---- 1
1---11 1
-000-- 1
.names n528 n517 n519 n391 n380 n161 n1257
0010-- 1
001-1- 1
00-0-0 1
00--10 1
.names n529 n522 n520 n1256 n1257 n516 n1258
111110 1
.names n175 n180 n119 n64 n74 n189 n1259
11-1-- 0
1---10 0
-11--- 0
.names n1262 n611 n1267 n581 n1409 n465 o_8_
0----- 0
-11111 0
.names i_9_ i_10_ n578 n567 n62 i_11_ n1261
01---- 1
0-11-- 1
10--0- 1
10---0 1
--110- 1
.names n1412 n1261 n570 n567 n563 n569 n1262
1101-- 1
110-10 1
.names n456 n174 n133 n457 n428 n595 n1263
11---- 0
1----0 0
-1--1- 0
--11-- 0
.names n167 n171 n170 n164 n160 n169 n1264
0000-- 1
000-0- 1
0---00 1
---0-0 1
.names n610 n242 n133 n392 n331 n420 n1265
1100-- 1
110-1- 1
1--0-0 1
1---10 1
.names n1265 n393 n380 n259 n164 n1266
10--- 1
1-100 1
.names n1453 n1266 n408 n434 n164 n210 n1267
1100-- 1
110--1 1
11-00- 1
.names n216 i_14_ i_13_ i_12_ n123 n174 n1268
101-1- 0
10-11- 0
1110-1 0
.names n1268 n658 n656 n662 n655 n317 n1269
111000 1
.names n289 n689 n690 n174 n170 n123 n1270
0000-- 1
000-0- 1
00--00 1
---0-0 1
.names n1270 n526 n130 n691 n1271
100- 1
10-0 1
.names n750 n732 n719 n714 n713 n702 n1272
111111 1
.names n746 n1280 n730 n159 n1272 n330 n1273
1110-- 1
111-11 1
.names i_12_ i_9_ i_14_ i_13_ i_15_ i_8_ n1274
00-1-- 1
01-011 1
0-1-01 1
10--11 1
111-10 1
1-0--1 1
1-10-0 1
-00--- 1
-0-00- 1
-1-101 1
.names n151 n131 n650 i_10_ n1274 i_11_ n1275
11---- 0
1-1--- 0
1--111 0
.names n1275 n712 n138 n409 n1276
100- 1
10-0 1
.names n733 n721 n248 n180 n81 n1277
11000 1
.names n162 n569 n246 n159 n1277 n94 n1278
0000-- 1
000-1- 1
0---10 1
---0-0 1
.names n527 n65 n204 n159 n138 n208 n1279
1000-- 1
100--0 1
---00- 1
.names n1279 n745 n151 n152 n418 n1280
100-- 1
10-10 1
.names n653 n283 n428 n198 n144 n131 n1281
110000 1
.names n753 n285 n643 n295 n646 n1281 n1282
1000-- 1
100-11 1
.names n1286 n755 n754 n1282 n130 n652 n1283
11110- 1
1111-0 1
.names n503 n637 n345 n130 i_8_ n506 n1284
100-0- 1
100--1 1
---0-- 1
.names n641 n757 n295 n758 n435 n379 n1285
100--- 1
10-100 1
.names n756 n1284 n1285 n505 n504 n446 n1286
111000 1
.names n762 n627 n765 n614 n164 n73 n1287
0010-- 1
001--0 1
00-00- 1
0---00 1
.names n777 n1290 n1421 n1287 n759 n760 n1288
111110 1
.names n164 n775 n347 n776 n626 n379 n1289
000--- 1
10-110 1
.names n1289 n774 n772 n771 n770 n102 n1290
100000 1
.names n795 n793 n791 n790 n204 n295 n1291
11110- 1
1111-0 1
.names n537 n792 n787 n220 n442 n333 n1292
0----- 1
-11000 1
.names n1291 n1292 n123 n669 n1293
110- 1
11-1 1
.names n709 n797 i_8_ i_13_ n800 n103 n1294
0-0--- 1
0--0-- 1
-0---- 1
----11 1
.names n1269 n801 n799 n798 n1294 n227 n1295
11100- 1
1110-0 1
.names n802 n737 n146 n716 n364 n237 n1296
111000 0
.names n1423 n664 n689 n537 n1296 n73 n1297
1000-- 1
100-0- 1
10-0-0 1
10--00 1
.names n707 n684 n685 i_8_ n114 n362 n1298
100-0- 1
100--0 1
10-1-- 1
.names n819 n673 n676 n130 n1298 n816 n1299
1000-- 1
100-10 1
.names n817 n688 n1299 n620 n123 n686 n1300
11110- 1
1111-1 1
.names n401 n290 n705 n674 n65 n251 n1301
00---- 1
0-1000 1
.names n1301 n824 n820 n825 n221 n684 o_26_
11100- 0
1110-0 0
.names n834 n827 n591 i_5_ n116 n598 n1303
1110-- 1
111-0- 1
111--0 1
.names n572 i_7_ n576 n197 n361 n368 n1304
010--- 1
10-1-- 1
10--1- 1
10---1 1
.names n837 n1303 n1304 i_7_ n71 o_30_
1100- 0
1111- 0
11-00 0
.names n430 n130 n174 n440 n441 i_8_ n1306
11---0 0
1-1--- 0
-1-1-- 0
--1-1- 0
.names n220 n218 n434 n73 n261 n68 n1307
0000-- 1
00--0- 1
--00-1 1
----01 1
.names n860 n859 n1307 n1306 n164 n315 n1308
11110- 1
1111-0 1
.names n636 n79 n110 n119 n117 n434 n1309
0000-- 1
000-0- 1
0--0-0 1
0---00 1
.names n1309 n1426 n94 n81 n65 n123 n1310
1100-- 1
110--0 1
11-00- 1
.names n279 n242 n250 n154 n119 n268 n1311
1100-- 1
110-0- 1
1---00 1
---0-0 1
.names n279 n500 n159 n134 n141 n144 n1312
1100-- 1
11---0 1
1-000- 1
----00 1
.names n891 n1311 n887 n1315 n1312 n890 n1313
111110 1
.names n886 n885 n635 n144 n123 n133 n1314
1100-- 1
110-00 1
.names n883 n882 n878 n1314 n353 n351 n1315
111100 1
.names n1267 n927 n907 n900 n899 n1431 o_4_
111111 0
.names n718 n97 n81 n216 n201 i_8_ n1317
0000-- 1
000-0- 1
0--0-0 1
0---00 1
.names i_8_ n1317 n941 n689 n553 n227 n1318
0110-- 1
0-1--0 1
11-00- 1
1---00 1
.names n1318 n642 n717 n165 n159 n409 n1319
1100-- 1
110--0 1
11-00- 1
.names n177 n942 n137 n637 n639 n1320
1--1- 0
1---1 0
-01-- 0
.names n1320 n73 n717 n666 n637 n634 n1321
10---- 1
1-0000 1
.names n943 n946 n716 n159 n227 n723 n1322
1000-- 1
100--0 1
10-00- 1
.names n925 n718 n164 n159 n733 n177 n1323
1000-- 1
10--1- 1
1---10 1
--00-0 1
.names n976 n279 n965 n134 n123 n723 n1324
0110-- 1
01-00- 1
01--00 1
0-1--0 1
.names n1237 n974 n967 n1329 n963 n961 n1325
111111 1
.names n1313 n991 n977 n1325 n960 n1324 o_9_
111111 0
.names i_14_ i_12_ i_13_ n118 n657 n216 n1327
011--1 1
01-1-- 1
0-11-- 1
----1- 1
.names n966 n909 n627 n648 n159 n434 n1328
0100-- 1
010-0- 1
0--0-0 1
0---00 1
.names n1328 n638 n1327 n73 n1329
100- 1
10-0 1
.names n677 n628 n250 n201 n216 n1330
00-0- 1
00--0 1
1-0-- 1
.names n677 n1330 n627 n164 n159 n657 n1331
010-0- 1
010--0 1
0-00-0 1
0--00- 1
-1-00- 1
.names n1255 n984 n1331 n986 n985 n1332
11100 1
.names n169 n164 n971 n672 n627 n1333
01--- 1
1-110 1
.names n174 n964 n569 n364 n342 n1334
0---- 1
-1000 1
.names n990 n1334 n1333 n169 n703 n569 n1335
1100-- 1
111-00 1
.names n206 n1058 n334 n199 n169 n133 n1336
1111-- 1
111-0- 1
1--1-0 1
----00 1
.names n1056 n1051 n1351 n1346 n148 n295 n1337
11111- 1
1111-0 1
.names n1020 n1007 n977 n892 n1337 n1336 o_16_
111111 0
.names n428 n433 n537 n166 n250 n1339
000-- 1
00-0- 1
0--00 1
--0-0 1
.names n1008 n1010 n1343 n1009 n1011 n1340
11110 1
.names n1340 n1339 n295 n160 n189 n187 n1341
1100-- 1
110--1 1
11-01- 1
.names i_7_ n74 n67 n80 n84 n69 n1342
0---11 1
111--- 1
11-1-- 1
.names n184 n185 n1342 i_8_ n161 i_6_ n1343
1----- 0
-1---- 0
--1110 0
.names n400 n169 n211 n403 n395 n176 n1344
00---- 1
0-1000 1
.names n1049 n1348 n1047 n1048 n250 n404 n1345
11100- 1
1110-1 1
.names n1345 n1344 n133 n211 n409 n408 n1346
110--- 1
11-100 1
.names n153 n106 n98 n69 n88 n96 n1347
1111-- 0
11--11 0
.names n1347 n410 n405 n333 n537 n1348
1000- 1
100-0 1
.names n327 n537 n328 n295 n146 n250 n1349
10--10 1
1-10-- 1
1-1-1- 1
-010-- 1
-0-0-0 1
.names n1050 n155 n331 n197 n330 n159 n1350
1110-- 1
11-01- 1
1-1--0 1
1---10 1
.names n1350 n1349 n199 n332 n250 n133 n1351
1111-- 1
111-0- 1
11-1-0 1
11--00 1
.names n1120 n762 n763 n73 n782 n328 n1352
1000-- 1
100-11 1
.names n1126 n1372 n1369 n1113 n1366 n1040 n1353
111111 1
.names n1439 n1357 n1353 n1352 n710 n726 o_17_
111110 0
.names n159 n721 n162 n81 n104 n274 n1355
01---- 1
0---10 1
-100-- 1
.names n1355 n1019 n825 n671 n133 n1063 n1356
10000- 1
1000-1 1
.names n1360 n1064 n1356 n1059 n1014 n1061 n1357
111110 1
.names n379 n89 n630 n627 n340 n160 n1358
0-0000 0
11---- 0
.names n1080 n379 n1358 n1079 n434 n77 n1359
1001-- 1
100-0- 1
10-1-0 1
1-1-00 1
.names n1362 n1077 n1076 n1359 n963 n1018 n1360
111110 1
.names n64 n92 n191 n178 n693 n1361
110-- 0
1--10 0
.names n1361 n434 n964 n627 n160 n1362
10--- 1
1-100 1
.names n737 n159 n736 n169 n622 n133 n1363
10--10 1
1-10-- 1
1-1-1- 1
-010-- 1
-0-0-0 1
.names n334 n647 n435 n395 n391 n113 n1364
100000 1
.names n1112 n206 n649 n169 n1364 n434 n1365
1110-- 1
111-1- 1
11--10 1
1--0-0 1
.names n1111 n1110 n1105 n1103 n609 n1365 n1366
111111 1
.names n94 n630 n89 n744 n250 n787 n1367
11---- 0
1--0-- 0
-11--- 0
----10 0
.names n660 n736 n146 n569 n500 n174 n1368
0110-- 1
011-1- 1
0--0-0 1
0---10 1
.names n1367 n1118 n1117 n696 n1368 n1119 n1369
111110 1
.names n787 n328 n220 n87 n200 n207 n1370
11000- 0
1100-0 0
.names n1123 n799 n1125 n1124 n1122 n1121 n1371
110000 1
.names n1371 n638 n621 n558 n1370 n164 n1372
10000- 1
1000-0 1
.names n1170 n330 n159 n174 n719 n714 n1373
110--- 1
11--11 1
1-00-- 1
.names n1360 n1171 n1382 n819 n1373 n1374
11111 1
.names n1138 n1137 n174 n964 n645 n379 n1375
110--- 1
11-110 1
.names n1375 n641 n643 n130 n980 n1376
1100- 1
110-1 1
.names n1167 n68 n633 n151 n169 n237 n1377
1110-- 1
11-00- 1
1-1--0 1
1---00 1
.names n311 n170 n289 n333 n259 n169 n1378
0000-- 1
000-0- 1
0--0-0 1
0---00 1
.names n1165 n266 n1378 n250 n79 n97 n1379
1110-- 1
111-00 1
.names n549 n689 n691 n279 n119 n62 n1380
000--- 1
0--100 1
.names n824 n1168 n1169 n551 n146 n159 n1381
11001- 1
1100-0 1
.names n1380 n1381 n141 n259 n62 n94 n1382
110--- 1
11-000 1
.names n705 n1178 n65 n251 n169 n290 n1383
1100-- 1
1-000- 1
-1---0 1
----00 1
.names n273 n785 n784 n1383 n1175 n401 n1384
111100 1
.names n1176 n663 n1384 n1174 n137 n684 n1385
11100- 1
1110-0 1
.names n500 n68 n138 n666 o_13_ n167 n1386
1100-- 1
110-0- 1
1---00 1
---0-0 1
.names n1193 n1124 n1121 n1116 n895 n324 n1387
100000 1
.names n74 n175 n70 n689 n195 n390 n1388
11--1- 0
11---1 0
1-11-- 0
.names n1209 n1208 n1206 n1444 n654 n1388 o_34_
111111 0
.names n1222 n1221 n99 n90 n72 n61 n1390
111000 1
.names n87 n113 n79 n97 n77 n94 n1391
0000-- 1
000-0- 1
0--0-0 1
----00 1
.names n121 n107 n1391 n1390 n87 n89 n1392
11110- 1
1111-0 1
.names n120 n74 n1190 n69 n208 n794 n1393
11--1- 0
11---0 0
1-01-- 0
.names n1387 n1386 n1191 n1189 n500 n685 n1394
11111- 1
1111-0 1
.names n1385 n1357 n1179 n1133 n1394 n1393 o_19_
111111 0
.names n187 n159 n93 n118 n74 n175 n1396
100--- 0
10--0- 0
10---0 0
--00-- 0
.names n261 n159 n66 n1396 n251 n288 n1397
11---- 0
1----0 0
-1--1- 0
--11-- 0
.names n1238 n97 n250 n66 n181 n88 n1398
00--00 1
0-0--- 1
-0-0-- 1
--00-- 1
.names n324 n320 n319 n318 n124 n174 n1399
00001- 1
0000-0 1
.names n325 n321 n1398 n314 n1399 n317 n1400
111110 1
.names n155 n169 n334 n159 n177 n197 n1401
10--00 1
1-10-- 1
1-1--0 1
-010-- 1
-0-00- 1
.names n1401 n329 n326 n177 n199 n333 n1402
1110-- 1
111-10 1
.names n328 n368 n412 n97 n164 n73 n1403
1000-- 1
10--0- 1
--00-0 1
----00 1
.names n424 n421 n138 n169 n177 n409 n1404
0100-- 1
01---0 1
0-000- 1
0---00 1
.names n1249 n394 n396 n259 n194 n73 n1405
1110-- 1
111-0- 1
11-0-0 1
11--00 1
.names n393 n138 n143 n392 n391 n1406
00--- 1
0--00 1
-00-- 1
.names n250 n428 n433 n168 n167 n166 n1407
01---- 1
100000 1
.names n1264 n1259 n609 n183 n608 n173 n1408
111100 1
.names n1408 n250 n158 n1407 n164 n1409
1000- 1
1101- 1
1-010 1
.names n363 n361 i_14_ i_12_ i_13_ i_11_ n1410
000000 1
.names n572 i_9_ i_10_ n576 n1410 n472 n1411
100--- 1
111--- 1
1---0- 1
-111-- 1
---10- 1
---1-1 1
.names n580 n92 n106 n579 i_8_ n1411 n1412
1000-- 1
100-0- 1
1--0-0 1
1---00 1
.names n596 n486 n279 n123 n451 n212 n1413
101--- 1
10--00 1
1-10-- 1
.names n604 n159 n259 n574 n573 n333 n1414
1000-- 1
100-0- 1
1--0-0 1
1---00 1
.names n1263 n601 n1413 n1414 n599 n1415
11110 1
.names n474 n255 n71 n96 n120 n292 n1416
000-0- 1
000--0 1
00-0-- 1
.names n1278 n1276 n741 n725 n734 n735 n1417
111110 1
.names n1273 n1417 n1416 n223 o_21_
1110 0
.names n319 n73 n737 n408 n194 n193 n1419
00---- 1
0-1000 1
.names n767 n164 n768 n569 n303 n195 n1420
00---- 1
0-1000 1
.names n769 n766 n1420 n1419 n763 n226 n1421
111100 1
.names n669 n152 n527 n666 n251 n208 n1422
111000 0
.names n803 n667 n537 n295 n1422 n110 n1423
1000-- 1
100-0- 1
10-0-0 1
10--00 1
.names n111 n94 n110 n221 n823 n73 n1424
00--10 1
0-00-- 1
0-0-1- 1
-000-- 1
-0-0-0 1
.names n115 n77 n113 n100 n97 n79 n1425
00---- 1
0-0000 1
.names n868 n867 n1425 n1424 n102 n90 n1426
111100 1
.names n131 n720 n111 n748 n149 n174 n1427
0000-- 1
000-0- 1
---0-0 1
----00 1
.names n921 n912 n1427 n742 n77 n733 n1428
11100- 1
1110-1 1
.names n631 n639 n73 n434 n910 n706 n1429
000--- 1
00--10 1
--00-- 1
.names n1428 n922 n918 n913 n911 n1429 n1430
111111 1
.names n1456 n1430 n684 n917 n221 n1431
110-- 1
11-10 1
.names n931 n565 n909 n634 n279 n500 n1432
1110-- 1
11-01- 1
1-1--1 1
----11 1
.names n1322 n1321 n945 n944 n1432 n1433
11111 1
.names n745 n120 n74 n69 n948 n949 n1434
00---- 1
0-00-- 1
0---10 1
.names n783 n947 n76 n74 n175 n98 n1435
1----- 0
-1---- 0
--1111 0
.names n950 n794 n787 n164 n165 n768 n1436
1110-- 1
111--1 1
---00- 1
.names n171 n657 n130 n1092 n365 n133 n1437
001-0- 1
001--0 1
00-10- 1
--01-0 1
.names n1082 n1081 n174 n623 n550 n171 n1438
100--- 1
10-110 1
.names n1363 n1094 n1087 n1084 n1438 n1437 n1439
111111 1
.names n762 n376 n77 n493 n412 n333 n1440
010--- 1
01--00 1
0-01-- 1
.names n1439 n1374 n1464 n1133 n619 n1440 o_18_
111111 0
.names n164 n428 n948 i_6_ i_7_ n834 n1442
11---- 0
1-0--- 0
---100 0
.names n1205 n982 n571 n574 n85 n811 n1443
100-0- 1
100--0 1
10-0-- 1
.names n1203 n1171 n838 n828 n1443 n1442 n1444
111111 1
.names n120 n291 n292 n106 n66 n112 n1445
11---- 1
1-1--- 1
---111 1
.names n297 n296 n293 n260 n295 n164 n1446
0000-- 1
000-00 1
.names n559 n334 n268 n472 n174 n138 n1447
0100-- 1
010-0- 1
0--0-0 1
0---00 1
.names n1403 n560 n561 n259 n1247 n248 n1448
1110-- 1
111-10 1
.names n557 n1448 n1447 n148 n169 n1449
1111- 1
111-0 1
.names n74 n78 n416 n420 n212 n85 n1450
111--- 0
11-1-- 0
1---11 0
.names n1450 n1406 n420 n134 n165 n143 n1451
110--- 1
11-000 1
.names n1404 n419 n416 n151 o_13_ n418 n1452
1100-- 1
110--0 1
11-00- 1
.names n1405 n422 n417 n397 n1452 n1451 n1453
111111 1
.names n951 n718 n174 n119 n690 n662 n1454
000--- 1
00--00 1
0-00-- 1
.names n1436 n1435 n1434 n1323 n1454 n712 n1455
111110 1
.names n952 n1455 n684 n493 n290 n1456
110-- 1
11-10 1
.names n634 n220 n303 n395 n169 n164 n1457
0000-- 1
000-0- 1
---0-0 1
----00 1
.names n1457 n1161 n1166 n77 n98 n235 n1458
1100-- 1
110-0- 1
110--0 1
.names i_15_ i_10_ n174 i_9_ i_11_ n290 n1459
0110-- 1
01--01 1
1011-- 1
1-111- 1
-1101- 1
.names n1446 n1233 n287 n1445 n250 n96 n1460
1110-- 1
111--0 1
11-00- 1
11--00 1
.names n1397 n1231 n1460 n1459 n66 n1461
1110- 1
111-0 1
.names n714 n546 n634 n259 n738 n500 n1462
11--11 1
1-00-- 1
1-0-1- 1
-100-- 1
-1-0-1 1
.names n1458 n1379 n1377 n1271 n1159 n1164 n1463
111110 1
.names n1162 n1463 n1158 n1462 n259 n376 n1464
11110- 1
1111-1 1
.end