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