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