1668 lines
30 KiB
Plaintext
1668 lines
30 KiB
Plaintext
# Benchmark "apex2" written by ABC on Tue Mar 12 09:34:21 2019
|
|
.model apex2
|
|
.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_16_ i_17_ i_18_ i_19_ i_20_ i_21_ i_22_ i_23_ i_24_ \
|
|
i_25_ i_26_ i_27_ i_28_ i_29_ i_30_ i_31_ i_32_ i_33_ i_34_ i_35_ i_36_ \
|
|
i_37_ i_38_
|
|
.outputs o_0_ o_1_ o_2_
|
|
.names n48 n46 i_10_ n52 i_30_ n45
|
|
110-- 1
|
|
1--10 1
|
|
.names n47 i_9_ n46
|
|
10 1
|
|
.names i_8_ i_7_ i_2_ i_6_ i_5_ i_4_ n47
|
|
000000 1
|
|
.names i_37_ n51 n49 n50 n48
|
|
1110 1
|
|
.names i_17_ i_16_ i_23_ n49
|
|
000 1
|
|
.names i_34_ i_24_ i_35_ n50
|
|
0-0 1
|
|
11- 1
|
|
.names i_27_ i_29_ i_28_ n51
|
|
000 1
|
|
.names i_8_ i_7_ n52
|
|
00 1
|
|
.names n54 n55 i_24_ n53
|
|
110 1
|
|
.names i_29_ i_28_ n54
|
|
00 1
|
|
.names i_31_ i_30_ i_32_ n55
|
|
000 1
|
|
.names i_37_ i_35_ n56
|
|
10 1
|
|
.names n58 n66 n72 n74 n73 i_7_ n57
|
|
1----- 0
|
|
-1---- 0
|
|
--1110 0
|
|
.names i_17_ i_16_ n63 n59 n58
|
|
0000 1
|
|
.names n47 n62 n60 n61 n59
|
|
11-- 0
|
|
1-11 0
|
|
.names i_3_ i_2_ i_4_ n60
|
|
100 1
|
|
.names i_18_ i_9_ i_6_ i_5_ n61
|
|
0000 1
|
|
.names i_19_ i_11_ i_9_ n62
|
|
000 1
|
|
.names n64 n65 i_34_ n54 i_24_ n63
|
|
11--- 0
|
|
1-110 0
|
|
.names i_23_ i_27_ n64
|
|
00 1
|
|
.names i_35_ i_34_ i_29_ i_28_ n65
|
|
1000 1
|
|
.names n71 n67 n69 n70 n66
|
|
1110 1
|
|
.names n68 i_9_ n67
|
|
10 1
|
|
.names i_8_ i_7_ i_6_ i_5_ i_0_ i_4_ n68
|
|
000000 1
|
|
.names i_29_ i_26_ i_24_ i_23_ i_27_ i_28_ n69
|
|
100000 1
|
|
.names i_10_ i_13_ n70
|
|
10 1
|
|
.names i_20_ i_17_ i_16_ n71
|
|
000 1
|
|
.names i_35_ i_34_ n72
|
|
10 1
|
|
.names i_30_ i_29_ i_28_ n73
|
|
000 1
|
|
.names i_31_ i_32_ n74
|
|
00 1
|
|
.names i_24_ i_23_ n75
|
|
00 1
|
|
.names i_34_ i_37_ n76
|
|
11 1
|
|
.names i_7_ i_31_ i_30_ i_32_ n77
|
|
0000 1
|
|
.names n595 n180 n166 n138 n130 n79 n78
|
|
111100 1
|
|
.names i_32_ i_37_ n109 n80 n85 n79
|
|
01-1- 1
|
|
01--0 1
|
|
0-0-- 1
|
|
.names n81 n84 n83 i_11_ n80
|
|
1110 1
|
|
.names n82 n69 i_19_ i_20_ i_17_ n81
|
|
11000 1
|
|
.names i_5_ i_0_ i_4_ n82
|
|
000 1
|
|
.names i_14_ i_16_ n83
|
|
00 1
|
|
.names i_7_ i_9_ i_6_ n84
|
|
000 1
|
|
.names n95 n106 n101 i_35_ n86 n91 n85
|
|
0001-- 1
|
|
000-00 1
|
|
.names n90 n87 n89 n88 n70 n86
|
|
11110 1
|
|
.names i_17_ i_14_ i_16_ n87
|
|
000 1
|
|
.names i_2_ i_5_ i_4_ n88
|
|
000 1
|
|
.names i_9_ i_6_ n89
|
|
00 1
|
|
.names i_26_ i_24_ i_23_ i_27_ i_29_ i_28_ n90
|
|
000000 1
|
|
.names i_14_ n92 n94 n69 n71 n93 n91
|
|
011--- 1
|
|
0--111 1
|
|
.names i_31_ i_30_ i_29_ n92
|
|
000 1
|
|
.names i_6_ i_5_ i_1_ i_0_ i_4_ n93
|
|
00000 1
|
|
.names i_34_ i_26_ i_24_ i_28_ n94
|
|
0000 1
|
|
.names n96 n97 n100 n99 n95
|
|
1111 1
|
|
.names i_26_ i_24_ i_23_ n96
|
|
000 1
|
|
.names i_20_ i_14_ i_16_ n97
|
|
000 1
|
|
.names i_7_ i_30_ i_12_ i_27_ i_28_ i_0_ n98
|
|
000000 1
|
|
.names i_29_ i_27_ i_28_ n99
|
|
100 1
|
|
.names i_7_ i_6_ i_5_ i_12_ i_0_ i_4_ n100
|
|
000000 1
|
|
.names n104 n96 n102 n105 n103 i_20_ n101
|
|
1111-- 1
|
|
111-10 1
|
|
.names i_27_ i_28_ n102
|
|
00 1
|
|
.names i_7_ i_30_ i_27_ i_28_ i_0_ n103
|
|
00000 1
|
|
.names i_16_ i_14_ i_12_ i_17_ n104
|
|
000- 1
|
|
00-0 1
|
|
.names i_31_ i_30_ i_29_ n105
|
|
100 1
|
|
.names n108 n69 n107 i_18_ i_20_ i_17_ n106
|
|
111000 1
|
|
.names i_3_ i_7_ i_6_ i_5_ i_0_ i_4_ n107
|
|
100000 1
|
|
.names i_9_ i_14_ i_16_ n108
|
|
000 1
|
|
.names n124 n111 n110 n76 n118 n116 n109
|
|
1100-- 1
|
|
110-1- 1
|
|
1--0-0 1
|
|
1---10 1
|
|
.names n87 n89 n82 n56 n70 n110
|
|
11110 1
|
|
.names n114 n115 n113 n112 n87 n111
|
|
11--- 0
|
|
--111 0
|
|
.names i_7_ i_6_ i_5_ n112
|
|
000 1
|
|
.names i_37_ i_1_ i_0_ i_4_ n113
|
|
1000 1
|
|
.names i_10_ i_9_ i_6_ i_13_ i_17_ i_16_ n114
|
|
000000 1
|
|
.names i_37_ i_35_ i_5_ i_33_ i_0_ i_4_ n115
|
|
100000 1
|
|
.names n117 i_29_ n75 i_20_ n116
|
|
1110 1
|
|
.names i_26_ i_27_ i_28_ n117
|
|
000 1
|
|
.names n121 n120 n119 n122 n123 i_30_ n118
|
|
111--- 0
|
|
---110 0
|
|
.names i_17_ i_24_ i_23_ i_27_ i_29_ i_28_ n119
|
|
000000 1
|
|
.names i_14_ i_16_ i_13_ i_10_ n120
|
|
001- 1
|
|
00-0 1
|
|
.names i_7_ i_2_ i_9_ i_6_ i_5_ i_4_ n121
|
|
000000 1
|
|
.names i_16_ i_33_ i_13_ i_17_ i_12_ i_14_ n122
|
|
0000-- 1
|
|
000-0- 1
|
|
0--0-0 1
|
|
0---00 1
|
|
.names i_31_ i_24_ i_23_ i_27_ i_29_ i_28_ n123
|
|
100000 1
|
|
.names n127 n128 n125 n129 n126 n124
|
|
11--- 0
|
|
--111 0
|
|
.names i_7_ i_2_ i_6_ i_5_ i_1_ i_4_ n125
|
|
000000 1
|
|
.names i_23_ i_27_ i_29_ i_28_ n126
|
|
0000 1
|
|
.names i_34_ i_26_ i_24_ n127
|
|
000 1
|
|
.names i_21_ i_29_ i_31_ i_30_ i_28_ n128
|
|
11000 1
|
|
.names i_37_ i_35_ i_34_ i_17_ i_14_ i_16_ n129
|
|
110000 1
|
|
.names n134 n131 n83 n75 n137 n130
|
|
01--- 1
|
|
0-111 1
|
|
.names n87 n75 n132 n133 n88 n131
|
|
111-- 1
|
|
11-11 1
|
|
.names n61 n60 n132
|
|
11 1
|
|
.names i_19_ i_11_ i_9_ i_6_ n133
|
|
0000 1
|
|
.names n56 i_29_ i_32_ n135 n117 n134
|
|
1001- 0
|
|
100-1 0
|
|
.names n136 n51 n135
|
|
11 1
|
|
.names i_34_ i_35_ i_32_ n136
|
|
100 1
|
|
.names i_2_ i_6_ i_5_ i_12_ i_4_ n137
|
|
00000 1
|
|
.names n157 n592 n139 n163 n165 n138
|
|
001-- 1
|
|
00-0- 1
|
|
00--0 1
|
|
.names n143 n140 n149 n148 i_35_ n139
|
|
10-0- 1
|
|
10--1 1
|
|
1-0-- 1
|
|
.names n142 n141 n140
|
|
11 1
|
|
.names i_18_ i_9_ n141
|
|
00 1
|
|
.names i_3_ i_7_ i_2_ i_6_ i_5_ i_4_ n142
|
|
100000 1
|
|
.names n144 n147 n145 n121 n146 n143
|
|
11--- 0
|
|
--111 0
|
|
.names i_13_ i_16_ i_23_ n144
|
|
000 1
|
|
.names i_19_ i_17_ i_23_ n145
|
|
000 1
|
|
.names i_11_ i_13_ i_16_ n146
|
|
000 1
|
|
.names i_7_ i_2_ i_6_ i_5_ i_12_ i_4_ n147
|
|
000000 1
|
|
.names i_2_ i_6_ i_5_ i_1_ i_4_ n148
|
|
00000 1
|
|
.names i_13_ i_17_ i_16_ i_23_ n149
|
|
0000 1
|
|
.names i_34_ n153 n119 n151 n152 n150
|
|
111-- 1
|
|
1--11 1
|
|
.names i_33_ i_31_ i_32_ n151
|
|
100 1
|
|
.names i_20_ i_25_ i_24_ i_23_ i_28_ n152
|
|
11000 1
|
|
.names i_37_ i_8_ i_35_ i_33_ i_13_ i_16_ n153
|
|
100000 1
|
|
.names n56 n51 n117 i_34_ n154
|
|
111- 0
|
|
11-1 0
|
|
.names i_16_ i_24_ i_23_ n155
|
|
000 1
|
|
.names i_8_ i_17_ i_14_ i_16_ i_24_ i_23_ n156
|
|
000000 1
|
|
.names i_7_ n158 n126 n72 i_31_ n162 n157
|
|
11---- 1
|
|
1-1111 1
|
|
.names n159 i_24_ n161 i_20_ n160 n50 n158
|
|
101--- 1
|
|
1--110 1
|
|
.names i_16_ i_23_ i_17_ i_13_ i_14_ i_12_ n159
|
|
0000-- 1
|
|
000-0- 1
|
|
00-0-0 1
|
|
00--00 1
|
|
.names i_31_ i_27_ i_28_ n160
|
|
100 1
|
|
.names i_31_ i_27_ i_28_ i_26_ i_34_ i_29_ n161
|
|
1000-- 1
|
|
100-10 1
|
|
.names i_16_ i_17_ i_12_ i_14_ i_13_ n162
|
|
1---- 0
|
|
-11-- 0
|
|
---11 0
|
|
.names i_37_ n164 n163
|
|
11 1
|
|
.names i_33_ i_32_ n164
|
|
00 1
|
|
.names i_34_ i_24_ i_27_ i_29_ i_28_ n165
|
|
10000 1
|
|
.names n167 n172 n179 n75 n178 n154 n166
|
|
1----- 0
|
|
-1---- 0
|
|
--1110 0
|
|
.names i_34_ n168 n151 n73 n171 n167
|
|
11--- 1
|
|
1-111 1
|
|
.names n170 n99 n104 n169 i_12_ n168
|
|
111-- 1
|
|
11-10 1
|
|
.names i_13_ i_16_ n169
|
|
00 1
|
|
.names i_22_ i_24_ i_23_ n170
|
|
100 1
|
|
.names i_25_ i_24_ i_23_ n171
|
|
100 1
|
|
.names n173 n177 i_27_ n174 n172
|
|
1100 1
|
|
.names i_37_ n72 n173
|
|
11 1
|
|
.names n176 n148 n52 n175 n121 n120 n174
|
|
111--- 0
|
|
---111 0
|
|
.names i_29_ i_28_ i_32_ n175
|
|
000 1
|
|
.names i_16_ i_29_ i_28_ i_14_ i_33_ i_13_ n176
|
|
0000-- 1
|
|
000-00 1
|
|
.names i_17_ i_23_ n177
|
|
00 1
|
|
.names n120 i_17_ n178
|
|
10 1
|
|
.names i_8_ i_2_ i_9_ i_6_ i_5_ i_4_ n179
|
|
000000 1
|
|
.names n185 n189 n184 n181 n188 i_25_ n180
|
|
0001-- 1
|
|
000-1- 1
|
|
000--0 1
|
|
.names n182 n72 n94 n181
|
|
0-- 1
|
|
-00 1
|
|
.names i_33_ n183 i_32_ n182
|
|
110 1
|
|
.names i_31_ i_30_ i_28_ n183
|
|
000 1
|
|
.names i_13_ n46 n48 i_14_ n184
|
|
1110 1
|
|
.names n56 i_20_ n186 n83 n169 i_33_ n185
|
|
1001-- 1
|
|
100-10 1
|
|
.names i_8_ i_12_ i_0_ n187 n69 n495 n186
|
|
0001-- 0
|
|
000-11 0
|
|
.names i_26_ i_30_ i_24_ i_23_ i_27_ i_28_ n187
|
|
000000 1
|
|
.names i_20_ n73 n127 n188
|
|
00- 1
|
|
0-0 1
|
|
.names i_21_ n190 n75 n189
|
|
111 1
|
|
.names i_34_ i_29_ i_31_ i_30_ i_28_ i_32_ n190
|
|
110000 1
|
|
.names n192 n59 n193 n194 i_35_ n191
|
|
01-0- 1
|
|
01--1 1
|
|
0-0-- 1
|
|
.names n137 n52 n169 n192
|
|
111 1
|
|
.names i_13_ i_17_ i_16_ n193
|
|
000 1
|
|
.names i_8_ i_2_ i_6_ i_5_ i_1_ i_4_ n194
|
|
000000 1
|
|
.names n199 n196 n201 n127 n195
|
|
000- 1
|
|
00-0 1
|
|
.names n170 n190 n193 n197 n69 n198 n196
|
|
11---- 1
|
|
1-11-- 1
|
|
1---10 1
|
|
.names i_34_ i_29_ i_27_ i_28_ n197
|
|
1100 1
|
|
.names i_16_ i_17_ i_13_ i_12_ i_14_ n198
|
|
000-- 0
|
|
00--0 0
|
|
0-00- 0
|
|
.names n69 i_2_ i_21_ i_20_ n200 n199
|
|
11000 1
|
|
.names i_16_ i_12_ i_14_ i_13_ n200
|
|
000- 0
|
|
00-0 0
|
|
.names i_22_ n202 n201
|
|
11 1
|
|
.names i_29_ i_31_ i_30_ i_28_ i_32_ n202
|
|
10000 1
|
|
.names n55 n204 n205 n54 i_22_ i_21_ n203
|
|
11--1- 1
|
|
11---1 1
|
|
1-01-- 1
|
|
.names i_29_ i_35_ i_34_ i_28_ n204
|
|
1100 1
|
|
.names i_35_ i_33_ i_34_ i_25_ i_37_ i_7_ n205
|
|
100-10 0
|
|
1101-- 0
|
|
.names i_34_ i_25_ i_33_ i_27_ i_28_ n206
|
|
11100 1
|
|
.names i_21_ n197 n75 n207
|
|
111 1
|
|
.names i_23_ i_27_ i_28_ n208
|
|
000 1
|
|
.names i_25_ i_33_ n209
|
|
11 1
|
|
.names n64 n204 n171 n211 i_22_ i_21_ n210
|
|
11--1- 0
|
|
11---1 0
|
|
--11-- 0
|
|
.names i_33_ i_27_ i_28_ i_26_ i_34_ i_29_ n211
|
|
1000-- 1
|
|
100-10 1
|
|
.names n226 n215 n213 n216 i_18_ i_20_ n212
|
|
111100 1
|
|
.names n69 i_17_ n213
|
|
10 1
|
|
.names i_9_ i_13_ i_16_ n214
|
|
000 1
|
|
.names i_37_ i_8_ i_35_ i_6_ i_5_ n215
|
|
10000 1
|
|
.names i_3_ i_0_ i_4_ n216
|
|
100 1
|
|
.names n75 n218 n76 i_27_ n217
|
|
1110 1
|
|
.names i_33_ i_29_ i_28_ n218
|
|
000 1
|
|
.names n220 i_37_ n221 n228 n226 n224 n219
|
|
11-1-- 1
|
|
11--10 1
|
|
1-1--- 1
|
|
.names n75 i_29_ i_20_ n220
|
|
110 1
|
|
.names n113 n223 n193 n215 n222 n221
|
|
111-- 1
|
|
1--10 1
|
|
.names i_17_ i_16_ i_14_ i_33_ i_13_ n222
|
|
000-- 0
|
|
00-00 0
|
|
.names i_37_ i_7_ i_6_ i_5_ i_33_ i_32_ n223
|
|
100000 1
|
|
.names n68 n225 n107 i_18_ n224
|
|
11-- 0
|
|
1-10 0
|
|
.names i_19_ i_11_ n225
|
|
00 1
|
|
.names n227 i_9_ i_14_ i_33_ n226
|
|
100- 1
|
|
10-0 1
|
|
.names i_16_ i_17_ i_14_ i_13_ n227
|
|
000- 1
|
|
00-0 1
|
|
.names n68 n200 i_33_ n83 n228
|
|
100- 1
|
|
10-1 1
|
|
.names i_33_ i_30_ i_29_ n230 n231 n229
|
|
0001- 1
|
|
000-1 1
|
|
.names i_8_ i_13_ i_16_ i_12_ i_24_ i_23_ n230
|
|
000000 1
|
|
.names i_8_ i_13_ i_17_ i_16_ i_24_ i_23_ n231
|
|
000000 1
|
|
.names n137 n169 n75 n232
|
|
111 1
|
|
.names n193 n75 n133 n88 n61 n60 n233
|
|
1111-- 1
|
|
11--11 1
|
|
.names n83 i_29_ n170 i_12_ n234
|
|
1110 1
|
|
.names n245 n261 n267 n269 n241 n236 n235
|
|
10-0-- 0
|
|
10--11 0
|
|
--0--- 0
|
|
.names n239 n238 n237 n236
|
|
000 1
|
|
.names n137 n83 i_8_ i_23_ n237
|
|
1100 1
|
|
.names n83 n145 n179 i_11_ n238
|
|
1110 1
|
|
.names n87 n240 n141 i_23_ n239
|
|
1110 1
|
|
.names i_3_ i_8_ i_2_ i_6_ i_5_ i_4_ n240
|
|
100000 1
|
|
.names i_33_ n243 n244 n242 n148 i_32_ n241
|
|
01---- 0
|
|
0-0--- 0
|
|
---110 0
|
|
.names n87 i_23_ n242
|
|
10 1
|
|
.names n137 n144 i_8_ n243
|
|
110 1
|
|
.names n240 n149 n141 n146 n179 n145 n244
|
|
111--- 0
|
|
---111 0
|
|
.names n254 n257 n252 n246 n249 n245
|
|
100-- 1
|
|
10-10 1
|
|
.names n248 n113 n112 i_8_ n247 n246
|
|
1---- 0
|
|
-1100 0
|
|
.names i_16_ i_14_ i_33_ i_13_ n247
|
|
00-- 0
|
|
0-00 0
|
|
.names i_2_ i_16_ i_14_ i_13_ n248
|
|
100- 1
|
|
10-0 1
|
|
.names n56 n250 n82 n251 n249
|
|
1110 1
|
|
.names i_8_ i_9_ i_6_ n250
|
|
000 1
|
|
.names i_16_ i_10_ i_13_ i_14_ i_33_ n251
|
|
000-0 0
|
|
00-0- 0
|
|
0-10- 0
|
|
.names n177 n253 i_20_ n252
|
|
110 1
|
|
.names i_29_ i_28_ n253
|
|
10 1
|
|
.names n162 n256 n148 n149 n255 n254
|
|
11--- 0
|
|
--111 0
|
|
.names i_37_ i_35_ i_33_ i_29_ i_28_ i_32_ n255
|
|
100000 1
|
|
.names i_21_ i_29_ i_23_ i_22_ i_28_ n256
|
|
11000 1
|
|
.names n162 n258 n259 n260 i_20_ i_0_ n257
|
|
111100 1
|
|
.names i_16_ i_23_ n258
|
|
00 1
|
|
.names i_37_ i_35_ i_14_ i_33_ i_13_ n259
|
|
100-- 1
|
|
10-00 1
|
|
.names i_30_ i_28_ i_32_ n260
|
|
000 1
|
|
.names n263 n82 n264 n262 n265 n266 n261
|
|
11--1- 1
|
|
11---1 1
|
|
1-11-- 1
|
|
.names n56 n222 n262
|
|
10 1
|
|
.names n253 i_32_ n263
|
|
10 1
|
|
.names i_20_ i_23_ n133 n82 n216 n61 n264
|
|
0011-- 1
|
|
00--11 1
|
|
.names n258 n259 i_20_ i_6_ i_12_ n265
|
|
11000 1
|
|
.names n84 i_37_ n177 i_20_ n251 n266
|
|
11100 1
|
|
.names n268 i_27_ n267
|
|
10 1
|
|
.names i_26_ i_24_ n268
|
|
00 1
|
|
.names n54 n56 n269
|
|
11 1
|
|
.names i_31_ n271 i_30_ n270
|
|
110 1
|
|
.names i_13_ i_16_ i_12_ i_17_ n271
|
|
000- 1
|
|
00-0 1
|
|
.names i_34_ n164 n56 n232 n233 n272
|
|
1111- 1
|
|
111-1 1
|
|
.names n173 n164 n143 n149 n140 n273
|
|
110-- 1
|
|
11-11 1
|
|
.names n173 n46 n149 i_10_ i_33_ n274
|
|
11100 1
|
|
.names i_30_ n276 n56 n230 i_34_ i_33_ n275
|
|
01---- 1
|
|
0-1110 1
|
|
.names i_37_ n72 n52 n271 i_33_ i_23_ n276
|
|
111100 1
|
|
.names n114 n88 n277
|
|
11 1
|
|
.names n163 n279 n280 n81 n146 n84 n278
|
|
11---- 1
|
|
1-1--- 1
|
|
1--111 1
|
|
.names n214 n69 n107 i_18_ i_20_ i_17_ n279
|
|
111000 1
|
|
.names n96 n169 i_20_ n98 n100 n99 n280
|
|
1101-- 1
|
|
110-11 1
|
|
.names n282 n87 n89 n88 n70 n281
|
|
11110 1
|
|
.names i_24_ i_23_ i_27_ i_29_ i_28_ i_32_ n282
|
|
000000 1
|
|
.names n282 n125 n227 n283
|
|
111 1
|
|
.names n164 n75 n73 i_7_ i_31_ n284
|
|
11100 1
|
|
.names n52 n102 n271 n286 i_24_ i_23_ n285
|
|
111100 1
|
|
.names i_33_ i_30_ i_29_ n286
|
|
000 1
|
|
.names n291 n288 n165 n92 n290 n241 n287
|
|
0000-- 1
|
|
000-1- 1
|
|
00-0-1 1
|
|
00--11 1
|
|
.names n289 n213 n82 i_19_ i_20_ n288
|
|
11100 1
|
|
.names n250 i_11_ n247 n289
|
|
100 1
|
|
.names n164 i_34_ i_28_ i_24_ i_23_ i_26_ n290
|
|
1000-0 0
|
|
11000- 0
|
|
.names i_34_ n75 n194 n54 n87 i_27_ n291
|
|
111110 1
|
|
.names i_33_ i_10_ n67 n93 i_35_ i_32_ n292
|
|
001--- 0
|
|
0--100 0
|
|
.names n259 n187 i_8_ i_0_ n293
|
|
1100 1
|
|
.names n295 n296 n242 n352 n294
|
|
11-- 1
|
|
1-11 1
|
|
.names i_32_ n165 n72 n51 n295
|
|
01-- 1
|
|
0-11 1
|
|
.names n83 n147 i_23_ n296
|
|
110 1
|
|
.names n122 n298 n47 n83 i_12_ n63 n297
|
|
11---- 0
|
|
--1100 0
|
|
.names n52 n75 n117 i_20_ i_30_ i_0_ n298
|
|
111000 1
|
|
.names i_17_ i_23_ i_27_ i_29_ i_28_ i_32_ n299
|
|
000000 1
|
|
.names i_34_ i_35_ i_33_ n301 n282 n277 n300
|
|
1001-- 1
|
|
100-11 1
|
|
.names n169 n119 n179 i_10_ n301
|
|
1110 1
|
|
.names n303 n314 n309 n316 n315 n302
|
|
111-- 1
|
|
1--11 1
|
|
.names n307 i_9_ n304 i_18_ n308 n303
|
|
110-- 1
|
|
11-10 1
|
|
.names n306 n305 n304
|
|
00 1
|
|
.names i_2_ i_6_ i_5_ i_1_ i_4_ i_3_ n305
|
|
000000 1
|
|
.names i_2_ i_6_ i_5_ i_12_ i_4_ i_3_ n306
|
|
000000 1
|
|
.names i_13_ n225 n307
|
|
00 1
|
|
.names i_2_ i_6_ i_5_ i_4_ i_12_ i_1_ n308
|
|
00000- 0
|
|
0000-0 0
|
|
.names i_32_ n311 n313 n312 n310 n309
|
|
1---- 0
|
|
-1000 0
|
|
.names i_26_ i_25_ i_24_ i_22_ i_28_ n310
|
|
00000 1
|
|
.names i_29_ i_28_ i_33_ i_24_ i_26_ i_34_ n311
|
|
00000- 0
|
|
0000-1 0
|
|
.names i_34_ i_25_ i_24_ i_29_ i_28_ n312
|
|
10000 1
|
|
.names i_26_ i_25_ i_24_ i_29_ i_28_ n313
|
|
00000 1
|
|
.names i_38_ i_35_ n314
|
|
10 1
|
|
.names i_24_ i_22_ n315
|
|
00 1
|
|
.names i_38_ i_26_ i_35_ i_33_ i_28_ i_32_ n316
|
|
100000 1
|
|
.names n314 i_33_ n318 n320 n322 i_30_ n317
|
|
101--- 1
|
|
10-110 1
|
|
.names n268 n319 n175 n308 n318
|
|
1110 1
|
|
.names i_9_ i_10_ n319
|
|
10 1
|
|
.names n315 n321 i_10_ n320
|
|
110 1
|
|
.names i_9_ i_8_ i_12_ i_2_ n321
|
|
101- 1
|
|
10-0 1
|
|
.names i_26_ i_28_ n322
|
|
00 1
|
|
.names i_8_ n326 n183 n324 n325 n323
|
|
011-- 1
|
|
0--11 1
|
|
.names i_38_ i_35_ i_31_ n324
|
|
100 1
|
|
.names i_26_ i_25_ i_30_ i_24_ i_22_ i_28_ n325
|
|
000000 1
|
|
.names i_38_ i_26_ i_35_ i_33_ i_24_ i_22_ n326
|
|
100000 1
|
|
.names i_28_ n328 n332 n55 n336 n333 n327
|
|
01---- 1
|
|
0-1--- 1
|
|
0--000 1
|
|
.names n330 n331 n329 n308 n328
|
|
11-- 1
|
|
1-10 1
|
|
.names i_7_ i_32_ n329
|
|
00 1
|
|
.names i_38_ i_26_ i_33_ i_24_ i_22_ n330
|
|
10000 1
|
|
.names i_8_ i_7_ i_2_ i_30_ n331
|
|
0000 1
|
|
.names i_22_ n72 n55 n335 n333 n334 n332
|
|
110-0- 1
|
|
110--0 1
|
|
1--1-- 1
|
|
.names i_17_ i_12_ i_13_ i_14_ n333
|
|
11-- 0
|
|
--11 0
|
|
.names i_16_ i_23_ i_27_ n334
|
|
000 1
|
|
.names i_33_ i_14_ i_34_ i_24_ i_35_ n335
|
|
110-1 1
|
|
1110- 1
|
|
.names i_24_ i_26_ i_35_ i_34_ i_29_ n336
|
|
00--- 0
|
|
--100 0
|
|
.names i_14_ n338 i_33_ n182 n72 i_29_ n337
|
|
111--- 1
|
|
1--110 1
|
|
.names i_26_ i_24_ i_28_ n338
|
|
000 1
|
|
.names n340 i_20_ n69 n162 i_21_ i_22_ n339
|
|
1----- 0
|
|
-11100 0
|
|
.names i_33_ i_14_ n271 n65 n64 n340
|
|
11111 1
|
|
.names n343 n347 n342 n349 n348 n267 n341
|
|
0000-- 1
|
|
000-0- 1
|
|
00-0-0 1
|
|
00--00 1
|
|
.names n256 n162 n342
|
|
11 1
|
|
.names n346 n345 n344 n343
|
|
100 1
|
|
.names i_38_ i_26_ i_30_ i_28_ i_33_ i_25_ n344
|
|
10000- 0
|
|
1000-0 0
|
|
.names i_10_ i_11_ i_3_ i_19_ i_18_ n345
|
|
110-- 0
|
|
11--1 0
|
|
1-01- 0
|
|
.names i_12_ i_8_ i_7_ i_13_ i_24_ i_22_ n346
|
|
100000 1
|
|
.names n253 i_27_ n315 i_26_ n347
|
|
1110 1
|
|
.names i_24_ i_17_ i_12_ i_13_ i_14_ n348
|
|
011-- 1
|
|
0--11 1
|
|
.names i_34_ i_28_ i_29_ i_32_ i_30_ n349
|
|
1001- 1
|
|
100-1 1
|
|
.names n617 n361 n362 n351 i_24_ i_29_ n350
|
|
1----- 0
|
|
-1---- 0
|
|
--1000 0
|
|
.names n354 i_38_ n352 n353 n351
|
|
00-- 1
|
|
0-00 1
|
|
.names n329 n133 n88 n60 n61 n352
|
|
111-- 1
|
|
1--11 1
|
|
.names n47 i_9_ n70 n353
|
|
100 1
|
|
.names n324 n179 n225 n240 n141 n354
|
|
111-- 1
|
|
1--11 1
|
|
.names n356 n357 n88 n133 n60 n61 n355
|
|
1-11-- 0
|
|
1---11 0
|
|
-1---- 0
|
|
.names i_31_ i_29_ i_32_ n356
|
|
000 1
|
|
.names i_8_ i_31_ i_30_ i_29_ n357
|
|
0000 1
|
|
.names i_38_ i_34_ i_35_ i_33_ n358
|
|
1100 1
|
|
.names i_34_ n314 n319 i_32_ n360 n308 n359
|
|
111000 1
|
|
.names i_29_ i_28_ i_33_ i_25_ n360
|
|
000- 0
|
|
00-0 0
|
|
.names i_38_ n52 n362 i_30_ i_24_ i_29_ n361
|
|
111000 1
|
|
.names i_26_ i_25_ i_28_ n362
|
|
000 1
|
|
.names n88 n70 n363
|
|
10 1
|
|
.names i_38_ i_7_ i_9_ i_6_ i_33_ n364
|
|
10000 1
|
|
.names i_31_ n316 n315 n367 n366 n365
|
|
011-- 1
|
|
0--11 1
|
|
.names i_38_ i_35_ i_32_ n366
|
|
100 1
|
|
.names i_26_ i_25_ i_24_ i_28_ i_29_ i_22_ n367
|
|
00000- 1
|
|
0000-0 1
|
|
.names i_31_ i_29_ i_28_ n368
|
|
000 1
|
|
.names n372 n370 n323 n378 n371 i_7_ n369
|
|
000-0- 1
|
|
000--1 1
|
|
0--0-- 1
|
|
.names i_38_ n325 n329 n370
|
|
111 1
|
|
.names n330 n260 n371
|
|
11 1
|
|
.names n377 n374 n375 n373 n376 n372
|
|
111-- 1
|
|
11-11 1
|
|
.names i_25_ i_24_ n373
|
|
00 1
|
|
.names i_26_ i_24_ i_22_ i_28_ n374
|
|
0000 1
|
|
.names i_38_ i_35_ i_33_ i_30_ n375
|
|
1000 1
|
|
.names i_38_ i_26_ i_35_ i_30_ i_28_ n376
|
|
10000 1
|
|
.names i_9_ i_8_ i_3_ n377
|
|
100 1
|
|
.names i_10_ i_3_ n378
|
|
10 1
|
|
.names n387 n392 n391 n390 n384 n380 n379
|
|
100000 1
|
|
.names n268 n73 n381 n383 i_25_ n380
|
|
110-- 1
|
|
11-10 1
|
|
.names i_38_ i_33_ n382 i_35_ i_7_ i_32_ n381
|
|
1010-- 0
|
|
10--00 0
|
|
.names i_8_ i_31_ n382
|
|
00 1
|
|
.names i_38_ i_35_ i_31_ i_32_ n383
|
|
1000 1
|
|
.names i_19_ n385 i_2_ i_13_ i_22_ i_3_ n384
|
|
110000 1
|
|
.names i_9_ n386 n338 n209 n385
|
|
1110 1
|
|
.names i_38_ i_35_ i_30_ i_32_ n386
|
|
1000 1
|
|
.names n389 i_9_ n315 n148 i_10_ n388 n387
|
|
1----- 0
|
|
-11100 0
|
|
.names n316 n362 n366 n388
|
|
00- 1
|
|
0-0 1
|
|
.names n334 n55 n338 n65 n389
|
|
001- 1
|
|
00-1 1
|
|
.names i_38_ n362 n320 i_35_ i_30_ n390
|
|
11100 1
|
|
.names i_34_ i_33_ i_14_ n271 n51 n75 n391
|
|
111111 1
|
|
.names i_34_ n393 n314 i_24_ n360 n308 n392
|
|
111000 1
|
|
.names i_9_ i_8_ i_10_ n393
|
|
100 1
|
|
.names n395 n397 n53 n398 n358 n399 n394
|
|
0000-- 1
|
|
00--0- 1
|
|
--00-1 1
|
|
----01 1
|
|
.names n396 n47 n62 n60 n61 n395
|
|
111-- 1
|
|
11-11 1
|
|
.names i_38_ i_33_ n396
|
|
10 1
|
|
.names n382 n314 i_33_ n308 n397
|
|
1100 1
|
|
.names n368 i_24_ n179 n225 n240 n141 n398
|
|
1011-- 1
|
|
10--11 1
|
|
.names n374 n338 i_29_ n399
|
|
00- 1
|
|
0-1 1
|
|
.names i_19_ i_9_ n404 i_24_ n401 n403 n400
|
|
11101- 1
|
|
1110-1 1
|
|
.names i_32_ n358 n73 n375 n402 n401
|
|
011-- 1
|
|
0--11 1
|
|
.names i_26_ i_29_ i_28_ n402
|
|
000 1
|
|
.names n386 i_25_ n402 i_34_ n54 n403
|
|
101-- 1
|
|
10-11 1
|
|
.names i_18_ i_13_ n404
|
|
10 1
|
|
.names i_9_ i_8_ n405
|
|
10 1
|
|
.names i_9_ i_8_ i_13_ n406
|
|
100 1
|
|
.names n362 n89 n408 i_38_ n329 n407
|
|
111-- 1
|
|
11-11 1
|
|
.names i_38_ i_8_ i_35_ i_31_ n408
|
|
1000 1
|
|
.names n404 n410 n225 n409
|
|
110 1
|
|
.names n321 n374 n375 n373 n376 n410
|
|
111-- 1
|
|
11-11 1
|
|
.names n322 n209 n412 i_11_ n413 i_35_ n411
|
|
101--- 1
|
|
10-110 1
|
|
.names n52 n308 n412
|
|
10 1
|
|
.names n406 n305 n306 i_18_ n308 n413
|
|
11--- 1
|
|
1-1-- 1
|
|
1--10 1
|
|
.names i_2_ i_30_ n414
|
|
00 1
|
|
.names i_13_ n88 n407 n416 n415
|
|
111- 1
|
|
11-0 1
|
|
.names n322 i_32_ n364 n324 n250 i_33_ n416
|
|
101--- 0
|
|
1--110 0
|
|
.names n319 n137 n388 n417
|
|
110 1
|
|
.names n420 n419 n376 i_2_ n418
|
|
1--- 0
|
|
-110 0
|
|
.names n164 i_31_ n419
|
|
10 1
|
|
.names i_34_ n253 i_20_ i_21_ n420
|
|
111- 1
|
|
11-1 1
|
|
.names n422 n319 n314 i_8_ n308 n421
|
|
0---- 0
|
|
-1100 0
|
|
.names n414 n408 n308 n383 n329 i_38_ n422
|
|
11---- 0
|
|
1---11 0
|
|
--01-- 0
|
|
.names n183 n268 n314 i_32_ i_33_ i_25_ n423
|
|
11100- 1
|
|
1110-0 1
|
|
.names n425 n268 n253 n159 n424
|
|
1--- 0
|
|
-110 0
|
|
.names i_35_ i_29_ i_34_ i_28_ i_20_ i_21_ n425
|
|
11001- 1
|
|
1100-1 1
|
|
.names i_11_ i_13_ n426
|
|
10 1
|
|
.names n436 i_38_ i_35_ n630 n431 n458 n427
|
|
1-1--- 0
|
|
1--110 0
|
|
-0---- 0
|
|
.names n356 n362 n428
|
|
11 1
|
|
.names n73 n430 n268 n393 i_25_ n429
|
|
11--- 1
|
|
1-110 1
|
|
.names i_34_ n164 n319 i_24_ n430
|
|
1110 1
|
|
.names n54 n432 i_34_ n434 i_26_ i_25_ n431
|
|
101--- 0
|
|
1--000 0
|
|
.names n405 n373 n433 n308 n426 n304 n432
|
|
1110-- 0
|
|
11--10 0
|
|
.names i_11_ n404 n433
|
|
11 1
|
|
.names n319 i_24_ n435 i_8_ n308 n434
|
|
101-- 0
|
|
10-00 0
|
|
.names i_30_ i_32_ n435
|
|
00 1
|
|
.names n444 n437 n442 n373 n457 n443 n436
|
|
1000-- 1
|
|
100-00 1
|
|
.names n440 n72 n438 n439 n412 n441 n437
|
|
0-0--- 0
|
|
0--100 0
|
|
-0---- 0
|
|
.names n54 i_25_ n438
|
|
10 1
|
|
.names n121 n70 n47 i_32_ n439
|
|
101- 0
|
|
10-0 0
|
|
.names i_32_ n360 n121 n225 n141 n142 n440
|
|
0011-- 1
|
|
00--11 1
|
|
.names i_28_ i_7_ i_30_ i_29_ i_32_ i_8_ n441
|
|
00000- 1
|
|
0000-0 1
|
|
.names i_7_ n308 n309 n72 i_32_ n360 n442
|
|
001--- 1
|
|
00-100 1
|
|
.names n368 n136 n132 n133 n88 n443
|
|
111-- 1
|
|
11-11 1
|
|
.names n449 n455 n445 n447 n59 n454 n444
|
|
10001- 1
|
|
1000-1 1
|
|
.names n446 n368 n133 n88 n60 n61 n445
|
|
1111-- 1
|
|
11--11 1
|
|
.names i_26_ i_35_ i_33_ i_24_ i_32_ n446
|
|
00000 1
|
|
.names n218 n448 n121 n47 i_32_ n447
|
|
1111- 1
|
|
111-0 1
|
|
.names i_35_ i_34_ i_13_ i_10_ n448
|
|
101- 1
|
|
10-0 1
|
|
.names n331 n310 n451 n450 n452 n453 n449
|
|
11---- 0
|
|
--10-- 0
|
|
----10 0
|
|
.names i_28_ i_24_ i_26_ i_33_ i_34_ i_25_ n450
|
|
0000-- 0
|
|
00--10 0
|
|
.names i_35_ i_31_ i_30_ i_29_ i_32_ n451
|
|
00000 1
|
|
.names i_35_ i_34_ i_33_ i_29_ i_28_ n452
|
|
10000 1
|
|
.names i_30_ i_7_ i_32_ i_8_ n453
|
|
000- 0
|
|
00-0 0
|
|
.names n367 n312 n65 n209 n454
|
|
000- 1
|
|
00-1 1
|
|
.names n52 n308 n311 n456 n452 n455
|
|
100-- 1
|
|
10-1- 1
|
|
10--1 1
|
|
.names i_29_ i_28_ i_25_ i_24_ i_26_ i_34_ n456
|
|
00000- 1
|
|
0000-1 1
|
|
.names n435 n402 i_7_ n457
|
|
110 1
|
|
.names n413 i_19_ n311 n459 i_11_ n456 n458
|
|
110--- 1
|
|
11-1-- 1
|
|
11---1 1
|
|
1-0-1- 1
|
|
.names n374 n209 n459
|
|
10 1
|
|
.names n370 n323 n371 i_7_ n460
|
|
000- 1
|
|
00-1 1
|
|
.names n183 n268 n314 i_32_ i_33_ i_25_ n461
|
|
11100- 0
|
|
1110-0 0
|
|
.names i_13_ i_22_ i_18_ i_19_ i_3_ i_11_ n462
|
|
0011-- 0
|
|
001--1 0
|
|
00-10- 0
|
|
.names n52 n315 n344 n463
|
|
110 1
|
|
.names i_11_ i_12_ i_13_ i_22_ i_3_ n464
|
|
11000 1
|
|
.names n54 i_24_ n397 n395 n467 n466 n465
|
|
0----- 0
|
|
-1---- 0
|
|
--0000 0
|
|
.names n396 i_32_ n121 n225 n141 n142 n466
|
|
1011-- 1
|
|
10--11 1
|
|
.names n375 n393 n467
|
|
11 1
|
|
.names n470 n441 n469 i_23_ n55 n333 n468
|
|
1--1-- 0
|
|
1---00 0
|
|
-11--- 0
|
|
.names i_38_ i_33_ i_24_ n469
|
|
100 1
|
|
.names i_22_ i_24_ i_28_ n470
|
|
100 1
|
|
.names n73 n474 n348 n472 n373 n473 n471
|
|
11---- 0
|
|
1---10 0
|
|
--11-- 0
|
|
.names i_31_ i_29_ i_28_ n472
|
|
100 1
|
|
.names i_38_ i_8_ i_7_ i_32_ i_35_ i_31_ n473
|
|
100--- 0
|
|
10--00 0
|
|
1-00-- 0
|
|
.names i_14_ i_33_ i_31_ i_24_ i_23_ i_32_ n474
|
|
110000 1
|
|
.names n478 n477 n476 n373 n408 i_30_ n475
|
|
000-0- 0
|
|
000--1 0
|
|
---0-- 0
|
|
.names n89 n363 n408 i_38_ n329 n476
|
|
111-- 1
|
|
11-11 1
|
|
.names n383 n132 n133 n88 n477
|
|
11-- 1
|
|
1-11 1
|
|
.names n366 n319 n308 n478
|
|
110 1
|
|
.names n314 i_33_ n432 n434 n480 i_31_ n479
|
|
10-0-- 1
|
|
10--10 1
|
|
1-0--- 1
|
|
.names i_24_ n179 n225 n240 n141 n480
|
|
011-- 1
|
|
0--11 1
|
|
.names n486 n483 i_9_ i_12_ n482 n463 n481
|
|
10-0-- 0
|
|
10--10 0
|
|
--0--- 0
|
|
.names n370 n330 n435 i_7_ i_28_ n482
|
|
1---- 0
|
|
-1100 0
|
|
.names n307 n433 i_24_ n484 n401 n403 n483
|
|
110-1- 1
|
|
110--1 1
|
|
1--1-- 1
|
|
.names n485 n374 n375 n373 n376 n484
|
|
111-- 1
|
|
11-11 1
|
|
.names i_8_ i_2_ i_3_ n485
|
|
000 1
|
|
.names n487 n490 n401 n403 n489 n492 n486
|
|
0100-- 1
|
|
01---0 1
|
|
0-000- 1
|
|
0---00 1
|
|
.names n488 n316 n315 n310 n366 n487
|
|
111-- 1
|
|
1--11 1
|
|
.names i_10_ i_30_ i_12_ i_2_ n488
|
|
001- 1
|
|
00-0 1
|
|
.names n322 n386 i_24_ n209 n489
|
|
1100 1
|
|
.names n464 n491 n462 i_12_ n490
|
|
001- 1
|
|
00-0 1
|
|
.names i_18_ i_13_ i_22_ i_2_ i_11_ i_19_ n491
|
|
10001- 1
|
|
1000-1 1
|
|
.names i_24_ i_3_ i_13_ i_11_ i_19_ n492
|
|
0001- 1
|
|
000-1 1
|
|
.names n469 n352 n353 n52 i_30_ n493
|
|
11--- 1
|
|
1-1-- 1
|
|
1--10 1
|
|
.names n564 n535 n554 n511 n640 n652 o_0_
|
|
110000 0
|
|
.names i_6_ i_5_ i_4_ n495
|
|
000 1
|
|
.names i_21_ n497 n75 n160 i_34_ n496
|
|
11--- 1
|
|
1-111 1
|
|
.names i_31_ i_35_ i_34_ i_23_ i_27_ i_28_ n497
|
|
110000 1
|
|
.names n74 n499 n414 i_28_ n498
|
|
1110 1
|
|
.names i_36_ i_35_ n499
|
|
10 1
|
|
.names i_36_ n119 n435 n501 i_26_ i_34_ n500
|
|
111-0- 1
|
|
111--1 1
|
|
1--1-- 1
|
|
.names n72 n177 n73 i_27_ i_32_ n501
|
|
11100 1
|
|
.names i_36_ n102 i_30_ i_29_ n268 n50 n502
|
|
11001- 1
|
|
1100-0 1
|
|
.names i_13_ i_14_ n503
|
|
11 1
|
|
.names i_29_ i_9_ n510 n505 n508 n504
|
|
10-1- 1
|
|
10--1 1
|
|
1-1-- 1
|
|
.names n227 n70 n506 n505
|
|
100 1
|
|
.names i_2_ n495 n507 n506
|
|
00- 1
|
|
0-1 1
|
|
.names i_36_ i_7_ i_32_ i_8_ i_35_ n507
|
|
100-- 0
|
|
1--00 0
|
|
.names n193 n499 n495 i_32_ n509 n508
|
|
11100 1
|
|
.names n225 i_3_ i_18_ n509
|
|
00- 1
|
|
0-1 1
|
|
.names n499 n495 i_31_ i_32_ n200 n510
|
|
11000 1
|
|
.names i_36_ n512 n528 n525 n532 n531 n511
|
|
0----- 0
|
|
-10000 0
|
|
.names n513 n521 n524 n643 n233 n135 n512
|
|
10000- 1
|
|
1000-0 1
|
|
.names n517 n520 n518 n213 n514 i_21_ n513
|
|
1000-- 1
|
|
100-1- 1
|
|
100--1 1
|
|
.names n214 n516 n52 n62 n515 n514
|
|
1111- 0
|
|
111-1 0
|
|
.names i_3_ i_18_ i_5_ i_4_ n515
|
|
1000 1
|
|
.names i_9_ i_6_ i_5_ i_4_ n516
|
|
0000 1
|
|
.names n65 n77 n90 n47 n200 n517
|
|
11--- 0
|
|
--110 0
|
|
.names n72 n519 n334 n73 i_32_ n518
|
|
11110 1
|
|
.names i_7_ i_12_ i_14_ i_13_ n519
|
|
000- 1
|
|
00-0 1
|
|
.names n75 i_34_ n74 n73 i_7_ n520
|
|
11110 1
|
|
.names n126 n72 n522 n439 i_17_ n521
|
|
11100 1
|
|
.names i_13_ i_16_ i_14_ i_10_ n522
|
|
00-0 1
|
|
100- 1
|
|
.names n52 n516 n522 n253 n177 i_21_ n523
|
|
111110 1
|
|
.names n63 n193 n59 n47 n200 n524
|
|
010-- 1
|
|
0--10 1
|
|
.names n329 n526 n64 n227 n148 n65 n525
|
|
10---- 1
|
|
1-1111 1
|
|
.names n227 n527 n148 n187 i_21_ i_2_ n526
|
|
101--- 0
|
|
1--100 0
|
|
.names n90 n75 n117 i_21_ n527
|
|
1--- 0
|
|
-110 0
|
|
.names i_34_ n119 n530 n283 n439 n529 n528
|
|
110-0- 1
|
|
110--0 1
|
|
1--1-- 1
|
|
.names i_7_ n194 n121 n70 i_32_ n529
|
|
01--- 0
|
|
--100 0
|
|
.names i_16_ i_13_ i_14_ n530
|
|
1-- 1
|
|
-11 1
|
|
.names n295 n296 n143 n149 n140 n531
|
|
11--- 1
|
|
1-0-- 1
|
|
1--11 1
|
|
.names i_28_ n534 n533 n136 n92 n75 n532
|
|
001--- 1
|
|
0--111 1
|
|
.names n194 i_7_ n530 n533
|
|
100 1
|
|
.names n177 i_27_ n268 i_21_ n72 i_29_ n534
|
|
1010-- 0
|
|
10--10 0
|
|
.names n541 n646 n552 n503 n258 n535
|
|
101-- 1
|
|
10-1- 1
|
|
10--0 1
|
|
.names n519 n155 n536
|
|
11 1
|
|
.names n499 i_32_ n538 n233 i_31_ n540 n537
|
|
10-1-- 1
|
|
10--00 1
|
|
1-1--- 1
|
|
.names i_31_ i_30_ n231 n156 n539 n155 n538
|
|
001--- 1
|
|
00-1-- 1
|
|
00--11 1
|
|
.names i_8_ i_12_ i_14_ i_13_ n539
|
|
000- 1
|
|
00-0 1
|
|
.names n137 n75 n83 n169 n540
|
|
111- 0
|
|
11-1 0
|
|
.names n542 n499 i_32_ n549 n546 n551 n541
|
|
00---- 1
|
|
0-1--- 1
|
|
0--100 1
|
|
.names i_21_ n545 n543 n544 n62 n506 n542
|
|
01-0-- 1
|
|
01--10 1
|
|
0-1--- 1
|
|
.names i_20_ n202 n72 n127 n543
|
|
111- 1
|
|
11-1 1
|
|
.names i_2_ i_3_ n141 n515 n89 n507 n544
|
|
111--- 0
|
|
---110 0
|
|
.names n99 n149 n268 n545
|
|
111 1
|
|
.names n227 i_21_ n547 n148 n548 n546
|
|
101-- 1
|
|
10-11 1
|
|
.names n516 n69 n70 n547
|
|
110 1
|
|
.names n117 n75 i_31_ n548
|
|
110 1
|
|
.names n92 n94 n368 n267 n550 n549
|
|
11--- 0
|
|
--110 0
|
|
.names n148 n149 n87 i_23_ n550
|
|
11-- 0
|
|
1-10 0
|
|
.names n90 n88 n114 n87 n89 i_13_ n551
|
|
111--- 1
|
|
11-111 1
|
|
.names i_7_ i_12_ n502 i_8_ n553 i_9_ n552
|
|
0010-- 0
|
|
10--00 0
|
|
.names i_31_ n165 n102 n336 n553
|
|
11-- 0
|
|
1-10 0
|
|
.names n556 n555 n499 i_34_ n560 n563 n554
|
|
10-0-- 0
|
|
10--10 0
|
|
--0--- 0
|
|
.names n382 n526 n555
|
|
10 1
|
|
.names n267 n558 n557 n54 n559 n539 n556
|
|
1-01-- 0
|
|
1---11 0
|
|
-1---- 0
|
|
.names n244 n137 n258 n382 n503 n557
|
|
0---- 0
|
|
-1110 0
|
|
.names i_34_ n51 n74 n540 n558
|
|
1110 1
|
|
.names n258 i_21_ n183 n253 n495 i_31_ n559
|
|
101--- 1
|
|
10-110 1
|
|
.names n561 n562 n102 n356 i_24_ n550 n560
|
|
0----- 0
|
|
-1---- 0
|
|
--1100 0
|
|
.names n119 n522 n179 n227 n194 i_31_ n561
|
|
111--- 0
|
|
1--110 0
|
|
.names n282 n88 n114 n87 n89 i_13_ n562
|
|
111--- 1
|
|
11-111 1
|
|
.names n51 n538 i_24_ n557 n563
|
|
11-- 1
|
|
1-00 1
|
|
.names n649 n567 n565 n574 n576 i_34_ n564
|
|
10001- 1
|
|
1000-0 1
|
|
.names n566 n181 i_29_ i_21_ n565
|
|
000- 1
|
|
00-1 1
|
|
.names i_25_ i_14_ n566
|
|
00 1
|
|
.names n72 n572 n573 n571 n568 n567
|
|
0---- 0
|
|
-1000 0
|
|
.names i_21_ n569 i_23_ n568
|
|
110 1
|
|
.names i_13_ n570 n160 n83 n569
|
|
1111 1
|
|
.names i_7_ i_10_ i_12_ i_17_ n570
|
|
110- 1
|
|
11-0 1
|
|
.names n570 n472 n64 n169 n509 n571
|
|
11110 1
|
|
.names n104 n209 n201 n126 i_21_ n208 n572
|
|
11-1-- 0
|
|
11--11 0
|
|
--1--- 0
|
|
.names n162 i_20_ n99 i_21_ i_23_ n573
|
|
11100 1
|
|
.names i_7_ i_9_ n503 n575 n574
|
|
1000 1
|
|
.names i_17_ i_16_ n496 i_23_ n553 n575
|
|
001-- 0
|
|
00-00 0
|
|
.names n577 n579 i_24_ n578 n573 n568 n576
|
|
111--- 1
|
|
11-100 1
|
|
.names n168 n151 n73 n171 n577
|
|
1--- 0
|
|
-111 0
|
|
.names i_21_ i_23_ n182 n566 i_20_ n202 n578
|
|
00--11 0
|
|
1010-- 0
|
|
.names n474 n73 i_13_ n570 n83 n123 n579
|
|
11---- 0
|
|
--1111 0
|
|
.names n570 n169 n509 n496 n161 n75 n580
|
|
1101-- 1
|
|
110-11 1
|
|
.names n211 n75 n104 n271 i_25_ n581
|
|
1101- 1
|
|
111-1 1
|
|
.names n583 n51 n536 i_36_ i_34_ n435 n582
|
|
1----- 0
|
|
-11111 0
|
|
.names i_13_ n83 n570 n497 i_29_ n583
|
|
11110 1
|
|
.names i_22_ n204 n162 n64 n584
|
|
1111 1
|
|
.names i_24_ n239 n238 n237 n585
|
|
1--- 0
|
|
-000 0
|
|
.names i_34_ n56 n51 n603 n281 n585 n586
|
|
111--1 0
|
|
11--1- 0
|
|
--10-- 0
|
|
.names n605 n598 n78 n654 n586 n589 o_1_
|
|
111110 0
|
|
.names n53 i_35_ i_23_ n77 n75 n54 n588
|
|
100--- 1
|
|
---111 1
|
|
.names i_14_ i_37_ n45 n57 n588 i_34_ n589
|
|
01-0-- 1
|
|
01--11 1
|
|
0-1--- 1
|
|
.names i_8_ i_23_ i_14_ i_16_ i_12_ i_17_ n590
|
|
00000- 1
|
|
0000-0 1
|
|
.names n51 i_37_ n50 i_7_ i_12_ n591
|
|
11000 0
|
|
.names i_30_ n590 n150 n591 n154 i_24_ n592
|
|
01-0-- 1
|
|
01--00 1
|
|
0-1--- 1
|
|
.names i_20_ n209 n208 n72 n206 n75 n593
|
|
0111-- 1
|
|
10--0- 1
|
|
10---0 1
|
|
1-0-0- 1
|
|
1-0--0 1
|
|
1--00- 1
|
|
1--0-0 1
|
|
.names n210 n593 n207 i_20_ n162 i_29_ n594
|
|
1000-- 1
|
|
1101-- 1
|
|
1-00-1 1
|
|
----0- 1
|
|
.names n594 n195 n212 n203 n191 n217 n595
|
|
11001- 1
|
|
1100-0 1
|
|
.names n193 i_32_ n192 n270 n59 n125 n596
|
|
10---1 1
|
|
1---0- 1
|
|
-0-1-- 1
|
|
--1--- 1
|
|
.names n596 i_33_ n104 i_31_ i_30_ i_32_ n597
|
|
10---- 1
|
|
--1100 1
|
|
.names n601 n235 n173 n597 n208 i_29_ n598
|
|
1----- 0
|
|
-1---- 0
|
|
--1110 0
|
|
.names n179 n169 n75 i_10_ i_33_ i_17_ n599
|
|
111000 0
|
|
.names n229 n599 i_29_ n164 n233 n232 n600
|
|
01-0-- 0
|
|
01--00 0
|
|
0-1--- 0
|
|
.names n117 n219 n234 n56 n600 n601
|
|
11--- 1
|
|
1-1-- 1
|
|
1--11 1
|
|
.names n163 n270 n194 n262 n277 i_35_ n602
|
|
11---- 1
|
|
1---10 1
|
|
--11-- 1
|
|
.names n275 n274 n273 n272 n602 n96 n603
|
|
00000- 1
|
|
0000-0 1
|
|
.names i_37_ n292 n69 n164 n103 n96 n604
|
|
101--- 1
|
|
1--111 1
|
|
.names n608 n293 n71 i_13_ n604 n605
|
|
00-1- 1
|
|
00--0 1
|
|
0-0-- 1
|
|
.names n299 n169 n121 i_34_ i_35_ n119 n606
|
|
11101- 0
|
|
1111-1 0
|
|
.names i_33_ i_10_ n606 n165 n149 n46 n607
|
|
000--- 0
|
|
00-111 0
|
|
.names i_37_ n607 n297 n300 n294 n608
|
|
0---- 0
|
|
-1100 0
|
|
.names n404 i_19_ n460 i_11_ n463 n609
|
|
110-- 1
|
|
11--1 1
|
|
1-01- 1
|
|
.names i_10_ i_12_ n461 n609 n464 n462 n610
|
|
110--0 0
|
|
11-1-- 0
|
|
1-0-1- 0
|
|
.names n633 n610 n622 n614 n427 o_2_
|
|
11110 0
|
|
.names i_12_ n323 i_9_ n307 n369 n612
|
|
111-- 0
|
|
1--10 0
|
|
.names n339 n341 n657 n337 n327 n317 n613
|
|
110000 1
|
|
.names n660 n379 n350 n613 n612 n302 n614
|
|
111110 1
|
|
.names i_27_ i_16_ i_31_ i_30_ i_32_ n615
|
|
00--- 0
|
|
--000 0
|
|
.names i_34_ i_29_ n615 i_22_ i_23_ n616
|
|
101-- 0
|
|
10--1 0
|
|
1-11- 0
|
|
.names i_24_ i_28_ n359 n616 n358 n355 n617
|
|
00-0-- 1
|
|
00--10 1
|
|
0-1--- 1
|
|
.names i_38_ i_35_ i_31_ i_24_ i_29_ i_28_ n618
|
|
100000 1
|
|
.names n364 i_32_ n250 n314 i_33_ i_31_ n619
|
|
10---- 1
|
|
--1100 1
|
|
.names n88 n315 i_10_ n407 n619 n322 n620
|
|
1101-- 0
|
|
110-11 0
|
|
.names n362 i_28_ i_33_ i_26_ n421 n351 n621
|
|
01---- 1
|
|
0-1--- 1
|
|
0--1-- 1
|
|
----11 1
|
|
.names n627 i_22_ i_24_ n625 n621 n622
|
|
1-1-- 1
|
|
1--11 1
|
|
-1--- 1
|
|
.names i_32_ i_31_ i_35_ n362 n322 i_33_ n623
|
|
0001-- 1
|
|
000-10 1
|
|
.names n623 n132 n88 n133 n414 n362 n624
|
|
11---- 0
|
|
1-11-- 0
|
|
1---11 0
|
|
.names n418 n417 n415 i_38_ n624 n411 n625
|
|
1000-- 1
|
|
100-10 1
|
|
.names n426 n386 n322 n209 i_2_ i_24_ n626
|
|
111000 1
|
|
.names i_9_ n424 i_3_ n626 i_12_ n423 n627
|
|
1-01-- 0
|
|
1---11 0
|
|
-0---- 0
|
|
.names n54 i_34_ n419 n402 n74 i_25_ n628
|
|
111--- 0
|
|
11--10 0
|
|
--11-- 0
|
|
.names n393 n338 n286 n367 n382 n308 n629
|
|
111--- 0
|
|
---110 0
|
|
.names n629 n429 i_24_ n308 n628 n428 n630
|
|
101--- 1
|
|
10-1-- 1
|
|
10--10 1
|
|
.names i_38_ n354 n352 n353 n386 n319 n631
|
|
1-1--- 1
|
|
1--1-- 1
|
|
-1---- 1
|
|
----11 1
|
|
.names i_34_ n465 n636 n631 n438 i_24_ n632
|
|
11---- 0
|
|
1-0--- 0
|
|
1--110 0
|
|
.names n632 n481 n402 n493 n479 n475 n633
|
|
100--- 1
|
|
10-000 1
|
|
.names i_38_ i_29_ i_28_ i_24_ i_33_ i_25_ n634
|
|
10000- 1
|
|
1000-0 1
|
|
.names i_35_ i_30_ n393 i_31_ n308 i_8_ n635
|
|
001--- 1
|
|
0--000 1
|
|
.names n471 n468 n439 n634 n635 i_25_ n636
|
|
111-0- 1
|
|
111--1 1
|
|
11-0-- 1
|
|
.names n52 i_36_ i_21_ n187 n495 n69 n637
|
|
1101-- 1
|
|
110-11 1
|
|
.names i_12_ n637 n496 i_7_ i_9_ n638
|
|
01--- 0
|
|
0-110 0
|
|
.names i_36_ n227 n331 n55 i_35_ n200 n639
|
|
111--- 0
|
|
1--100 0
|
|
.names n75 n117 i_21_ n639 n504 n640
|
|
1100- 1
|
|
110-1 1
|
|
.names i_21_ i_30_ i_29_ i_6_ i_5_ i_4_ n641
|
|
00---- 1
|
|
0-1000 1
|
|
.names n258 n641 n519 n147 i_29_ n503 n642
|
|
111--- 1
|
|
1--100 1
|
|
.names n267 n523 n642 i_28_ i_32_ n643
|
|
11--- 1
|
|
1-100 1
|
|
.names i_29_ n435 n536 n83 n170 i_12_ n644
|
|
00---- 1
|
|
0-0--- 1
|
|
1--110 1
|
|
.names n75 i_17_ n533 n522 n179 i_35_ n645
|
|
101--- 0
|
|
10-110 0
|
|
.names n117 n644 i_29_ i_36_ n537 n645 n646
|
|
1001-- 1
|
|
111--- 1
|
|
1-01-0 1
|
|
1-0-1- 1
|
|
.names n206 n104 n75 n335 n271 n208 n647
|
|
111--- 1
|
|
---111 1
|
|
.names n584 n581 n647 n569 n96 i_21_ n648
|
|
0000-- 1
|
|
000-0- 1
|
|
00-0-0 1
|
|
00--00 1
|
|
.names n582 n648 n339 n195 n580 n649
|
|
11110 1
|
|
.names i_0_ n253 n177 n498 i_12_ i_23_ n650
|
|
111--- 1
|
|
11--00 1
|
|
--11-- 1
|
|
.names n638 n500 i_7_ n650 n267 i_21_ n651
|
|
0----- 1
|
|
-10--- 1
|
|
---110 1
|
|
.names n503 i_16_ n651 n502 n52 n49 n652
|
|
001--- 1
|
|
0--111 1
|
|
.names n247 n285 n283 n125 n119 i_8_ n653
|
|
0-1--- 0
|
|
0--110 0
|
|
-1---- 0
|
|
.names n278 n653 n287 n284 n56 n76 n654
|
|
0110-- 1
|
|
01-00- 1
|
|
0-1--0 1
|
|
0---00 1
|
|
.names n364 n268 i_29_ i_28_ i_32_ n655
|
|
11000 0
|
|
.names i_34_ i_33_ i_32_ i_8_ i_25_ i_26_ n656
|
|
01---- 0
|
|
0----1 0
|
|
-1--1- 0
|
|
--11-- 0
|
|
.names n363 n89 n655 n365 n618 n656 n657
|
|
11-1-- 1
|
|
11--11 1
|
|
1-0--- 1
|
|
.names i_38_ i_35_ i_30_ i_24_ i_29_ i_28_ n658
|
|
100000 1
|
|
.names n406 n658 n402 i_25_ i_34_ i_33_ n659
|
|
1110-- 1
|
|
111--0 1
|
|
11-01- 1
|
|
11--10 1
|
|
.names n620 n394 n409 n400 n659 n509 n660
|
|
11000- 1
|
|
1100-0 1
|
|
.end
|