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