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