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