| # Benchmark "top" written by ABC on Sun Nov 8 18:33:47 2009 |
| .model top |
| .inputs i_0_ i_1_ i_2_ i_3_ i_4_ i_5_ i_6_ i_7_ |
| .outputs o_0_ o_10_ o_11_ o_12_ o_13_ o_14_ o_15_ o_16_ o_17_ o_18_ o_19_ \ |
| o_1_ o_20_ o_21_ o_22_ o_23_ o_24_ o_25_ o_26_ o_27_ o_28_ o_29_ o_2_ \ |
| o_30_ o_31_ o_32_ o_33_ o_34_ o_35_ o_36_ o_37_ o_38_ o_39_ o_3_ o_40_ \ |
| o_41_ o_42_ o_43_ o_44_ o_45_ o_46_ o_47_ o_48_ o_49_ o_4_ o_50_ o_51_ \ |
| o_52_ o_53_ o_54_ o_55_ o_56_ o_57_ o_58_ o_59_ o_5_ o_60_ o_61_ o_62_ \ |
| o_6_ o_7_ o_8_ o_9_ |
| .names i_4_ i_5_ i_6_ o_0_ |
| 000 1 |
| .names n74 n75 n76 o_10_ |
| 1-1 1 |
| -11 1 |
| .names i_3_ i_4_ i_5_ i_6_ i_7_ n74 |
| 10111 1 |
| .names i_3_ i_4_ i_5_ i_6_ i_7_ n75 |
| 00111 1 |
| .names i_0_ i_1_ i_2_ n76 |
| 011 1 |
| .names n78 n79 o_11_ |
| 11 1 |
| .names i_6_ i_7_ n78 |
| 11 1 |
| .names i_0_ i_1_ i_2_ i_3_ i_4_ i_5_ n79 |
| 110001 1 |
| .names n75 n81 o_12_ |
| 11 1 |
| .names i_0_ i_1_ i_2_ n81 |
| 101 1 |
| .names n74 n83 o_13_ |
| 11 1 |
| .names i_0_ i_1_ i_2_ n83 |
| 010 1 |
| .names n74 n85 o_14_ |
| 11 1 |
| .names i_0_ i_1_ i_2_ n85 |
| 100 1 |
| .names n74 n76 o_15_ |
| 11 1 |
| .names n74 n88 o_16_ |
| 11 1 |
| .names i_0_ i_1_ i_2_ n88 |
| 110 1 |
| .names i_4_ i_5_ n85 o_17_ |
| 101 1 |
| .names n91 n92 o_18_ |
| 11 1 |
| .names i_3_ i_4_ i_5_ n91 |
| 110 1 |
| .names i_0_ i_1_ i_2_ n92 |
| 001 1 |
| .names n94 n95 o_19_ |
| 11 1 |
| .names i_0_ i_1_ i_2_ n94 |
| 000 1 |
| .names i_3_ i_4_ n95 |
| 01 1 |
| .names i_5_ n97 o_1_ |
| 01 1 |
| .names i_6_ i_7_ n97 |
| 00 1 |
| .names n85 n99 o_20_ |
| 11 1 |
| .names i_3_ i_4_ i_5_ i_6_ n99 |
| 0000 1 |
| .names n85 n101 o_21_ |
| 11 1 |
| .names i_6_ n102 n101 |
| 01 1 |
| .names i_3_ i_4_ i_5_ n102 |
| 100 1 |
| .names n78 n85 n102 n104 o_22_ |
| 111- 1 |
| -1-1 1 |
| .names i_3_ i_4_ i_5_ i_6_ i_7_ n104 |
| 00011 1 |
| .names i_5_ n106 o_23_ |
| 11 1 |
| .names i_0_ i_1_ i_2_ i_3_ n106 |
| 0001 1 |
| .names n108 n109 o_24_ |
| 11 1 |
| .names i_6_ i_7_ n108 |
| 10 1 |
| .names i_0_ i_1_ i_2_ i_3_ i_4_ i_5_ n109 |
| 000000 1 |
| .names n83 n108 n111 o_25_ |
| 111 1 |
| .names i_3_ i_4_ i_5_ n111 |
| 000 1 |
| .names i_0_ i_2_ n104 o_26_ |
| 111 1 |
| .names n76 n108 n111 o_27_ |
| 111 1 |
| .names n78 n81 n102 o_28_ |
| 111 1 |
| .names n116 n109 o_29_ |
| 11 1 |
| .names i_6_ i_7_ n116 |
| 01 1 |
| .names i_3_ i_4_ i_5_ i_6_ i_7_ o_2_ |
| 00100 1 |
| .names n119 n104 o_30_ |
| 11 1 |
| .names i_0_ i_1_ i_2_ n119 |
| 111 1 |
| .names n121 n122 n130 n133 n149 n164 n120 |
| 011111 1 |
| .names i_3_ i_4_ i_5_ i_6_ n85 n121 |
| 101-1 1 |
| 110-1 1 |
| 1-011 1 |
| -1011 1 |
| .names n123 n127 n122 |
| 10 1 |
| .names i_3_ n83 n124 n125 n126 n123 |
| 0-10- 0 |
| 11--0 0 |
| .names i_0_ i_1_ i_2_ i_4_ n124 |
| 0110 1 |
| .names i_5_ i_6_ i_7_ n125 |
| 00- 1 |
| 111 1 |
| .names i_4_ i_5_ i_6_ i_7_ n126 |
| 000- 1 |
| 11-- 1 |
| 1-11 1 |
| .names i_2_ i_3_ i_7_ n99 n128 n129 n127 |
| 01--10 1 |
| 1-11-0 1 |
| .names i_4_ i_5_ i_6_ i_7_ n128 |
| 1011 1 |
| 110- 1 |
| .names i_0_ i_1_ n129 |
| 01 0 |
| .names i_6_ i_7_ o_0_ n131 n132 n130 |
| 1--1- 0 |
| -01-1 0 |
| .names i_0_ i_1_ i_2_ i_3_ i_4_ i_5_ n131 |
| 010111 1 |
| .names i_0_ i_1_ i_2_ i_3_ n132 |
| 0110 1 |
| .names n134 n136 n139 n140 n144 n133 |
| 00011 1 |
| .names i_4_ i_5_ i_6_ i_7_ n135 n134 |
| 011-1 1 |
| 10--1 1 |
| 1-0-1 1 |
| -1011 1 |
| .names i_0_ i_1_ i_2_ i_3_ n135 |
| 1011 1 |
| .names n137 n138 n136 |
| 10 1 |
| .names i_0_ i_1_ i_2_ i_3_ n137 |
| 1100 1 |
| .names i_4_ i_5_ i_6_ i_7_ n138 |
| 0000 1 |
| 11-- 1 |
| 1-1- 1 |
| .names n111 n119 o_2_ n139 |
| 010 1 |
| .names i_0_ i_1_ n135 n141 n142 n143 n140 |
| 10--1- 0 |
| 11-1-- 0 |
| --1--0 0 |
| .names i_2_ i_3_ i_4_ i_5_ i_6_ i_7_ n141 |
| 000000 1 |
| .names i_2_ i_3_ i_4_ i_5_ i_6_ i_7_ n142 |
| 101111 1 |
| 110000 1 |
| .names i_4_ i_5_ i_6_ i_7_ n143 |
| 001- 0 |
| 00-1 0 |
| 0100 0 |
| 111- 0 |
| .names n88 n145 n146 n147 n148 n144 |
| 1---0 0 |
| -01-- 0 |
| ---1- 0 |
| .names i_5_ i_6_ i_7_ n145 |
| 11- 1 |
| 1-1 1 |
| .names i_0_ i_1_ i_2_ i_3_ i_4_ n146 |
| 11100 1 |
| .names i_0_ i_1_ i_2_ i_3_ i_4_ i_5_ n147 |
| 110111 1 |
| .names i_3_ i_4_ i_5_ i_6_ n148 |
| 00-- 1 |
| 0-00 1 |
| 111- 1 |
| .names n150 n153 n154 n156 n158 n162 n149 |
| 010011 1 |
| .names n151 n152 n150 |
| 01 1 |
| .names i_4_ i_5_ i_6_ i_7_ n151 |
| 1111 1 |
| .names i_0_ i_1_ i_2_ i_3_ n152 |
| 1010 1 |
| .names i_3_ i_4_ i_5_ i_6_ n92 n94 n153 |
| 0----- 1 |
| -00--- 1 |
| -111-- 1 |
| --10-0 1 |
| ----00 1 |
| .names i_0_ i_6_ n155 n111 n154 |
| 0011 1 |
| 1111 1 |
| .names i_1_ i_2_ n155 |
| 00 1 |
| .names n76 n157 n156 |
| 11 1 |
| .names i_3_ i_4_ i_5_ i_6_ n157 |
| 11-- 1 |
| 1-11 1 |
| .names n83 n159 n160 n161 n158 |
| 1-0- 0 |
| -1-1 0 |
| .names i_0_ i_1_ i_2_ i_3_ n159 |
| 1000 1 |
| .names i_3_ i_4_ i_5_ i_6_ n160 |
| 0--- 0 |
| -000 0 |
| .names i_4_ i_5_ i_6_ n161 |
| 01- 1 |
| 100 1 |
| .names i_6_ i_7_ n94 n102 n163 n162 |
| 11--1 0 |
| --11- 0 |
| .names i_3_ i_4_ i_5_ n163 |
| 010 1 |
| .names n126 n165 n166 n168 n172 n164 |
| 1-011 1 |
| -0011 1 |
| .names i_0_ i_1_ i_2_ i_3_ n165 |
| 0000 1 |
| .names n76 n167 n166 |
| 10 1 |
| .names i_3_ i_4_ i_5_ i_6_ i_7_ n167 |
| 01--- 0 |
| 0-111 0 |
| 100-- 0 |
| 10-0- 0 |
| .names i_5_ i_6_ i_7_ n169 n170 n171 n168 |
| 00---0 1 |
| 111-0- 1 |
| -0-0-0 1 |
| -1-00- 1 |
| .names i_0_ i_1_ i_2_ i_3_ i_4_ n169 |
| 00100 1 |
| .names i_0_ i_1_ i_2_ i_3_ i_4_ i_5_ n170 |
| 000111 1 |
| .names i_0_ i_1_ i_2_ i_3_ i_4_ i_5_ n171 |
| 001000 1 |
| .names i_3_ n92 n173 n174 n172 |
| 010- 0 |
| -1-0 0 |
| .names i_4_ i_5_ i_6_ i_7_ n173 |
| 0111 0 |
| 100- 0 |
| .names i_3_ i_4_ i_5_ i_6_ n174 |
| 00-- 1 |
| 11-- 1 |
| -011 1 |
| -100 1 |
| .names n133 n176 n189 n175 |
| 111 1 |
| .names n177 n178 n179 n181 n183 n186 n176 |
| 011010 1 |
| .names i_3_ i_4_ i_5_ i_6_ i_7_ n76 n177 |
| 011111 1 |
| 100--1 1 |
| 10-0-1 1 |
| 10--01 1 |
| .names n74 n76 n159 n138 n178 |
| 11-- 0 |
| --10 0 |
| .names i_7_ n85 n99 n180 n179 |
| 011- 0 |
| ---1 0 |
| .names i_0_ i_1_ i_2_ i_3_ i_4_ n180 |
| 01111 1 |
| .names n76 n182 n181 |
| 10 1 |
| .names i_3_ i_4_ i_5_ i_6_ i_7_ n182 |
| 1---- 1 |
| -0--- 1 |
| --000 1 |
| --111 1 |
| .names n76 n97 n131 n132 n184 n185 n183 |
| 1----0 0 |
| -01--- 0 |
| ---11- 0 |
| .names i_4_ i_5_ i_6_ i_7_ n184 |
| 1--- 0 |
| -111 0 |
| .names i_3_ i_4_ i_5_ i_6_ i_7_ n185 |
| 00111 0 |
| 01000 0 |
| .names n187 n188 n186 |
| 10 1 |
| .names i_0_ i_1_ i_2_ i_3_ n187 |
| 0101 1 |
| .names i_4_ i_5_ i_6_ i_7_ n188 |
| 00-- 1 |
| 111- 1 |
| 11-1 1 |
| .names n94 n121 n190 n191 n192 n194 n189 |
| 00-111 1 |
| -01111 1 |
| .names i_3_ i_4_ i_5_ i_6_ n190 |
| 000- 1 |
| 11-- 1 |
| 1-11 1 |
| .names i_3_ i_4_ i_5_ i_6_ n92 n94 n191 |
| 0---1- 0 |
| 11---1 0 |
| 1-11-1 0 |
| -00-1- 0 |
| .names i_3_ n83 n126 n193 n192 |
| 010- 0 |
| -1-0 0 |
| .names i_3_ i_4_ i_5_ i_6_ i_7_ n193 |
| 011-- 0 |
| 01-11 0 |
| 100-- 0 |
| .names n78 n109 n151 n152 n195 n196 n194 |
| 0-1-00 1 |
| 0--000 1 |
| -01-00 1 |
| -0-000 1 |
| .names i_0_ i_1_ i_2_ i_3_ i_4_ i_5_ n195 |
| 001101 1 |
| .names i_0_ i_2_ i_3_ i_4_ i_5_ i_6_ n196 |
| 000000 1 |
| .names n198 n204 n211 n223 n231 n233 n197 |
| 111111 1 |
| .names n199 n201 n198 |
| 11 1 |
| .names i_3_ n83 n102 n200 n138 n199 |
| 1-0-- 1 |
| -0--- 1 |
| --001 1 |
| .names i_4_ i_5_ i_6_ n200 |
| 11- 1 |
| 1-1 1 |
| .names i_6_ i_7_ n202 n203 n201 |
| 00-1 0 |
| 1-1- 0 |
| .names i_0_ i_1_ i_2_ i_3_ i_4_ i_5_ n202 |
| 001111 1 |
| .names i_0_ i_1_ i_2_ i_3_ i_4_ i_5_ n203 |
| 010000 1 |
| .names n205 n206 n207 n209 n204 |
| 0001 1 |
| .names i_3_ n124 n125 n205 |
| 010 1 |
| .names i_3_ i_4_ i_5_ i_6_ i_7_ n119 n206 |
| 1-0--1 1 |
| 1--0-1 1 |
| 1---01 1 |
| -111-1 1 |
| -11-11 1 |
| .names n129 n208 n207 |
| 00 1 |
| .names i_2_ i_3_ i_4_ i_5_ i_6_ i_7_ n208 |
| 01101- 0 |
| 0110-1 0 |
| 10000- 0 |
| .names n187 n131 n161 n210 n209 |
| 1-10 0 |
| -1-- 0 |
| .names i_4_ i_5_ i_6_ i_7_ n210 |
| 1001 1 |
| .names n212 n214 n217 n218 n221 n222 n211 |
| 011111 1 |
| .names n81 n213 n212 |
| 10 1 |
| .names i_3_ i_4_ i_5_ i_6_ i_7_ n213 |
| 011-- 0 |
| 01-11 0 |
| 10000 0 |
| .names i_6_ n215 n216 n214 |
| 10- 1 |
| -00 1 |
| .names i_0_ i_1_ i_2_ i_3_ i_4_ i_5_ n215 |
| 100111 1 |
| .names i_0_ i_1_ i_2_ i_3_ i_4_ i_5_ n216 |
| 101000 1 |
| .names i_6_ i_7_ n170 n171 n217 |
| 00-0 1 |
| 110- 1 |
| --00 1 |
| .names i_5_ n78 n219 n94 n220 n218 |
| 0---1 0 |
| -0--- 0 |
| --11- 0 |
| .names i_3_ i_4_ n219 |
| 00 1 |
| .names i_0_ i_1_ i_2_ i_3_ i_4_ n220 |
| 11000 1 |
| .names i_3_ i_4_ i_5_ i_6_ i_7_ n85 n221 |
| 00---1 0 |
| 0-0001 0 |
| 0-1111 0 |
| 110111 0 |
| .names i_4_ n78 n79 n135 n145 n222 |
| 1--1- 0 |
| -01-- 0 |
| ---11 0 |
| .names n85 n182 n224 n225 n226 n229 n223 |
| 0-0011 1 |
| -10011 1 |
| .names i_3_ i_4_ i_5_ i_6_ i_7_ n119 n224 |
| 0010-1 1 |
| 001-01 1 |
| 010--1 1 |
| 0-1001 1 |
| .names i_3_ n85 n126 n225 |
| 110 1 |
| .names n219 n94 n152 n227 n228 n226 |
| 01--0 0 |
| --10- 0 |
| .names i_4_ i_5_ i_6_ i_7_ n227 |
| 00-- 1 |
| 11-- 1 |
| -011 1 |
| -100 1 |
| .names i_3_ i_4_ i_5_ i_6_ i_7_ n228 |
| 11--- 1 |
| 1-111 1 |
| .names i_3_ n76 n193 n230 n229 |
| 01-0 0 |
| -10- 0 |
| .names i_4_ i_5_ i_6_ i_7_ n230 |
| 0111 0 |
| 100- 0 |
| 10-0 0 |
| .names i_6_ n88 n157 n232 n231 |
| 0--1 0 |
| -11- 0 |
| .names i_0_ i_1_ i_2_ i_3_ i_4_ i_5_ n232 |
| 111000 1 |
| .names n88 n234 n236 n237 n239 n240 n233 |
| 00-000 1 |
| -01000 1 |
| .names i_3_ i_4_ i_5_ i_6_ n92 n235 n234 |
| 0----0 0 |
| -111-0 0 |
| ----0- 0 |
| .names i_3_ i_4_ i_5_ i_6_ i_7_ n235 |
| 01111 1 |
| .names i_3_ i_4_ i_5_ i_6_ i_7_ n236 |
| 01--- 0 |
| 0-111 0 |
| 10011 0 |
| 10101 0 |
| .names n106 n238 n237 |
| 10 1 |
| .names i_4_ i_5_ i_6_ i_7_ n238 |
| 0111 0 |
| 10-- 0 |
| 1-00 0 |
| .names i_3_ i_4_ i_5_ i_6_ n92 n104 n239 |
| 01--1- 1 |
| 0-1-1- 1 |
| 10001- 1 |
| ----11 1 |
| .names n76 n228 n240 |
| 11 1 |
| .names n242 n248 n263 n270 n273 n283 n241 |
| 111111 1 |
| .names n88 n119 n243 n244 n245 n246 n242 |
| 00-0-1 1 |
| 0--011 1 |
| -010-1 1 |
| --1011 1 |
| .names i_3_ i_4_ i_5_ i_6_ i_7_ n243 |
| 01--- 0 |
| 10000 0 |
| .names i_4_ i_5_ i_6_ i_7_ n135 n244 |
| 0-00- 0 |
| 1111- 0 |
| ----0 0 |
| .names i_3_ i_4_ i_5_ i_6_ i_7_ n245 |
| 00--- 1 |
| 0-0-- 1 |
| 0--00 1 |
| -0100 1 |
| .names i_3_ n88 n119 n188 n232 n247 n246 |
| 0-10-- 0 |
| -1---0 0 |
| ----1- 0 |
| .names i_3_ i_4_ i_5_ i_6_ i_7_ n247 |
| 111-- 0 |
| 11-11 0 |
| .names n249 n250 n251 n254 n257 n259 n248 |
| 100101 1 |
| .names n78 n215 n216 n249 |
| 10- 1 |
| -00 1 |
| .names n132 n200 n250 |
| 11 1 |
| .names n252 n76 n253 n251 |
| 110 1 |
| .names i_3_ i_4_ i_5_ n252 |
| 101 1 |
| .names i_6_ i_7_ n253 |
| 00 1 |
| 11 1 |
| .names i_6_ i_7_ n255 n256 n254 |
| 01-1 0 |
| 10-1 0 |
| 1-1- 0 |
| .names i_0_ i_1_ i_2_ i_3_ i_4_ i_5_ n255 |
| 001100 1 |
| .names i_0_ i_1_ i_2_ i_3_ i_4_ i_5_ n256 |
| 010001 1 |
| .names n152 n258 n257 |
| 10 1 |
| .names i_4_ i_5_ i_6_ i_7_ n258 |
| 000- 1 |
| 00-0 1 |
| 11-- 1 |
| .names i_6_ n260 n261 n262 n259 |
| 1--1 0 |
| -11- 0 |
| .names i_0_ i_1_ i_2_ i_6_ n260 |
| 1001 1 |
| .names i_3_ i_4_ i_5_ i_7_ n261 |
| 101- 1 |
| 10-0 1 |
| .names i_0_ i_1_ i_2_ i_3_ i_4_ i_5_ n262 |
| 100011 1 |
| .names n264 n265 n267 n268 n269 n263 |
| 00-11 1 |
| -0011 1 |
| .names i_3_ i_4_ i_5_ n264 |
| 001 1 |
| .names i_6_ i_7_ n76 n102 n266 n265 |
| 10--0 1 |
| 1111- 1 |
| .names i_0_ i_1_ i_2_ i_3_ i_4_ i_5_ n266 |
| 011100 0 |
| 100000 0 |
| .names i_0_ i_1_ i_2_ i_6_ i_7_ n267 |
| 1000- 1 |
| 100-0 1 |
| .names i_0_ i_1_ i_2_ i_3_ i_4_ i_5_ n268 |
| 001111 0 |
| 010000 0 |
| .names n75 n83 n85 n97 n195 n269 |
| 11--- 0 |
| 1-1-- 0 |
| ---01 0 |
| .names n127 n132 n173 n240 n271 n270 |
| 00-00 1 |
| 0-100 1 |
| .names i_3_ n94 n102 n272 n271 |
| 1-00 0 |
| -0-- 0 |
| .names i_3_ i_4_ i_5_ i_6_ i_7_ n272 |
| 10101 1 |
| .names n274 n276 n278 n279 n280 n282 n273 |
| 010011 1 |
| .names i_0_ i_1_ i_2_ n75 n275 n274 |
| 101-1 1 |
| 1101- 1 |
| .names i_3_ i_4_ i_5_ i_6_ i_7_ n275 |
| 11111 1 |
| .names i_4_ i_5_ i_6_ i_7_ n137 n277 n276 |
| 000-0- 1 |
| 00-00- 1 |
| 11---- 1 |
| 1-11-- 1 |
| 1----0 1 |
| -1000- 1 |
| -111-0 1 |
| ----00 1 |
| .names i_0_ i_1_ i_2_ i_3_ n277 |
| 1101 1 |
| .names i_0_ i_1_ i_2_ n91 o_2_ n278 |
| 0011- 1 |
| 010-1 1 |
| .names i_3_ i_4_ i_5_ i_6_ i_7_ n83 n279 |
| 0111-1 1 |
| 10-1-1 1 |
| 10--11 1 |
| 1-00-1 1 |
| 1-0-01 1 |
| .names i_4_ i_5_ i_6_ n106 n281 n280 |
| 0111- 0 |
| 10-1- 0 |
| 10--1 0 |
| 1-0-1 0 |
| .names i_0_ i_1_ i_2_ i_3_ n281 |
| 0100 1 |
| .names i_3_ i_6_ n124 n125 n170 n171 n282 |
| 0-10-- 0 |
| -0---1 0 |
| ----1- 0 |
| .names i_6_ n130 n239 n284 n286 n283 |
| 1101- 1 |
| -1011 1 |
| .names i_6_ i_7_ n88 n81 n102 n285 n284 |
| 00-11- 0 |
| 011-1- 0 |
| 101-1- 0 |
| ---1-1 0 |
| .names i_3_ i_4_ i_5_ n285 |
| 011 1 |
| .names i_3_ i_4_ i_5_ i_7_ n85 n266 n286 |
| 011-1- 0 |
| 100-1- 0 |
| 10-11- 0 |
| -----0 0 |
| .names n288 n289 n297 n301 n303 n307 n287 |
| 111111 1 |
| .names n134 n136 n139 n140 n288 |
| 0001 1 |
| .names n144 n240 n290 n292 n294 n289 |
| 10011 1 |
| .names n125 n291 n290 |
| 01 1 |
| .names i_0_ i_1_ i_2_ i_3_ i_4_ n291 |
| 01110 1 |
| .names i_3_ n76 n131 n230 n293 n292 |
| 1-0-- 1 |
| -00-- 1 |
| --011 1 |
| .names i_4_ i_5_ i_6_ i_7_ n293 |
| 100- 1 |
| 1-10 1 |
| -111 1 |
| .names n76 n83 n295 n296 n294 |
| 1-0- 0 |
| -1-0 0 |
| .names i_3_ i_4_ i_5_ i_6_ i_7_ n295 |
| 0111- 0 |
| 10000 0 |
| .names i_3_ i_4_ i_5_ i_6_ n296 |
| 1011 0 |
| 110- 0 |
| .names n298 n299 n300 n199 n297 |
| 1001 1 |
| .names i_5_ i_6_ n169 n170 n171 n298 |
| 00-00 1 |
| -100- 1 |
| --000 1 |
| .names i_4_ i_5_ i_6_ n106 n299 |
| 0111 1 |
| 10-1 1 |
| .names i_0_ i_1_ i_2_ i_3_ i_4_ i_5_ n300 |
| 00101- 1 |
| 001100 1 |
| .names i_6_ i_7_ n85 n163 n203 n302 n301 |
| 00--1- 0 |
| 1-11-- 0 |
| -111-- 0 |
| -----1 0 |
| .names i_0_ i_1_ i_2_ i_3_ i_4_ i_5_ n302 |
| 10010- 1 |
| 1001-0 1 |
| .names i_6_ n252 n219 n94 n150 n304 n303 |
| 1-0-01 1 |
| -00-01 1 |
| ---001 1 |
| .names i_4_ n76 n305 n159 n306 n304 |
| 0--1- 0 |
| -1--1 0 |
| --11- 0 |
| .names i_4_ i_5_ i_6_ i_7_ n305 |
| 1000 1 |
| .names i_3_ i_4_ i_5_ i_6_ i_7_ n306 |
| 10001 1 |
| .names i_6_ n91 n94 n102 n308 n309 n307 |
| 100--0 1 |
| 10-0-0 1 |
| -00-00 1 |
| -0-000 1 |
| .names i_0_ i_1_ i_2_ i_3_ i_4_ i_5_ n308 |
| 010101 1 |
| .names n200 n310 n309 |
| 01 1 |
| .names i_0_ i_1_ i_2_ i_3_ i_4_ i_5_ n310 |
| 00111- 1 |
| 0011-1 1 |
| .names n288 n239 n198 n289 n312 n324 n311 |
| 101111 1 |
| .names n249 n313 n315 n318 n321 n322 n312 |
| 100111 1 |
| .names i_2_ n306 n129 o_3_ n313 |
| 0-01 1 |
| 110- 1 |
| .names i_3_ i_4_ i_5_ i_6_ i_7_ o_3_ |
| 10100 1 |
| .names n152 n316 n317 n315 |
| 10- 1 |
| 1-0 1 |
| .names i_4_ i_5_ n316 |
| 00 1 |
| 11 1 |
| .names i_5_ i_6_ i_7_ n317 |
| 00- 1 |
| 0-0 1 |
| 111 1 |
| .names n319 n320 n85 n92 n99 n170 n318 |
| 01-1-- 0 |
| 111--- 0 |
| ---11- 0 |
| -----1 0 |
| .names i_5_ i_6_ n319 |
| 00 1 |
| .names i_3_ i_4_ n320 |
| 10 1 |
| .names i_3_ i_4_ n319 n83 n85 n272 n321 |
| 100-1- 0 |
| ---1-1 0 |
| .names n323 n109 n262 n322 |
| 000 1 |
| .names i_0_ i_1_ i_2_ i_3_ i_4_ n323 |
| 10000 1 |
| .names n94 n190 n299 n325 n324 |
| 0-00 1 |
| -100 1 |
| .names i_3_ i_4_ n92 n326 n325 |
| 1110 1 |
| .names i_5_ i_6_ n326 |
| 11 1 |
| .names n328 n330 n335 n336 n338 n343 n327 |
| 110111 1 |
| .names i_3_ n76 n131 n329 n230 n293 n328 |
| 1-01-- 1 |
| -00--- 1 |
| --0111 1 |
| .names i_3_ i_4_ i_5_ i_6_ n329 |
| 0111 0 |
| 1000 0 |
| .names n331 n168 n332 n334 n330 |
| 0100 1 |
| .names i_3_ i_4_ i_5_ i_6_ n94 n331 |
| 101-1 1 |
| 110-1 1 |
| 1-101 1 |
| .names n333 n173 n332 |
| 10 1 |
| .names i_0_ i_1_ i_2_ i_3_ n333 |
| 0010 1 |
| .names n88 n247 n334 |
| 10 1 |
| .names i_3_ i_4_ i_5_ i_6_ i_7_ n85 n335 |
| 011--1 1 |
| 01-1-1 1 |
| 1000-1 1 |
| 100-11 1 |
| .names n83 n160 n178 n310 n337 n336 |
| 0-101 1 |
| -1101 1 |
| .names i_3_ n119 n188 n232 n228 n337 |
| 1--00 1 |
| -0-0- 1 |
| --100 1 |
| .names n108 n119 n102 n339 n341 n338 |
| 1--01 1 |
| -0-01 1 |
| --001 1 |
| .names i_6_ n216 n340 n339 |
| 01- 1 |
| 0-1 1 |
| .names i_0_ i_1_ i_2_ i_3_ i_4_ i_5_ n340 |
| 110100 1 |
| .names i_4_ i_5_ i_6_ i_7_ n135 n342 n341 |
| 01-01- 0 |
| 10--1- 0 |
| -0-11- 0 |
| -100-1 0 |
| -10-1- 0 |
| .names i_0_ i_1_ i_2_ i_3_ i_4_ n342 |
| 11010 1 |
| .names n344 n346 n348 n349 n352 n355 n343 |
| 111111 1 |
| .names i_5_ i_6_ i_7_ n94 n102 n345 n344 |
| 011--1 0 |
| -1111- 0 |
| .names i_0_ i_1_ i_2_ i_3_ i_4_ n345 |
| 10011 1 |
| .names i_4_ i_5_ i_6_ i_7_ n277 n347 n346 |
| 000--1 1 |
| 00-0-1 1 |
| 11---1 1 |
| 1-11-- 1 |
| -100-1 1 |
| --110- 1 |
| ----01 1 |
| .names i_0_ i_1_ i_2_ i_3_ i_4_ i_5_ n347 |
| 100110 0 |
| 111101 0 |
| .names i_5_ i_6_ i_7_ n323 n180 n291 n348 |
| 0001-- 0 |
| 011--1 0 |
| 10---1 0 |
| 1-0--1 0 |
| ----1- 0 |
| .names i_0_ n78 n74 n350 n102 n351 n349 |
| 01-11- 0 |
| 1-11-- 0 |
| 1--1-0 0 |
| .names i_1_ i_2_ n350 |
| 01 1 |
| .names i_3_ i_4_ i_5_ i_6_ i_7_ n351 |
| 01--- 0 |
| 0-1-- 0 |
| 0--1- 0 |
| 10000 0 |
| -111- 0 |
| -11-1 0 |
| .names n94 n119 n187 n258 n353 n354 n352 |
| 1----0 0 |
| -1--0- 0 |
| --10-- 0 |
| .names i_3_ i_4_ i_5_ i_6_ i_7_ n353 |
| 0111- 0 |
| 011-1 0 |
| .names i_3_ i_4_ i_5_ i_6_ n354 |
| 01-- 0 |
| 1000 0 |
| .names i_3_ i_4_ n319 n92 n94 n355 |
| 00--1 0 |
| 0101- 0 |
| 1011- 0 |
| .names n122 n133 n357 n363 n369 n356 |
| 11111 1 |
| .names n130 n239 n358 n359 n360 n362 n357 |
| 101001 1 |
| .names n76 n323 n157 n358 |
| 00- 1 |
| -00 1 |
| .names i_3_ i_4_ i_5_ i_6_ n83 n97 n359 |
| 010-10 1 |
| 10001- 1 |
| .names i_0_ i_1_ i_2_ n272 n361 n360 |
| 1001- 1 |
| -10-1 1 |
| .names i_0_ i_3_ i_4_ i_5_ i_6_ i_7_ n361 |
| 001111 1 |
| .names n83 n94 n108 n285 n243 n362 |
| 1-11- 0 |
| -1--0 0 |
| .names n78 n166 n195 n364 n366 n368 n363 |
| 00-001 1 |
| -00001 1 |
| .names i_0_ i_1_ n365 n364 |
| 001 1 |
| .names i_3_ i_4_ i_5_ i_6_ i_7_ n365 |
| 1001- 1 |
| 1010- 1 |
| 10-10 1 |
| .names n320 n85 n367 n366 |
| 110 1 |
| .names i_5_ i_6_ i_7_ n367 |
| 01- 0 |
| 100 0 |
| .names i_6_ n252 n83 n85 n285 n368 |
| 0-1-1 0 |
| 11-1- 0 |
| .names n150 n370 n371 n372 n374 n369 |
| 00001 1 |
| .names i_4_ n305 n281 n370 |
| 0-1 1 |
| -11 1 |
| .names i_3_ i_7_ o_0_ n94 n371 |
| 0-11 1 |
| -111 1 |
| .names n219 n94 n373 n372 |
| 110 1 |
| .names i_5_ i_6_ i_7_ n373 |
| 00- 1 |
| 0-0 1 |
| .names i_6_ i_7_ n106 n170 n171 n238 n374 |
| 0---1- 0 |
| 1--1-- 0 |
| -0--1- 0 |
| -1-1-- 0 |
| --1--0 0 |
| .names n242 n376 n381 n383 n388 n391 n375 |
| 111111 1 |
| .names n76 n272 n299 n377 n378 n379 n376 |
| 0-0111 1 |
| -00111 1 |
| .names n108 n152 n258 n262 n308 n377 |
| 1---1 0 |
| -10-- 0 |
| ---1- 0 |
| .names n76 n97 n157 n195 n378 |
| 1-1- 0 |
| -0-1 0 |
| .names n76 n83 n97 n131 n185 n380 n379 |
| 1---0- 0 |
| -1---1 0 |
| --01-- 0 |
| .names i_3_ i_4_ i_5_ i_6_ i_7_ n380 |
| 1101- 1 |
| 11100 1 |
| .names n187 n173 n300 n271 n382 n381 |
| 0-001 1 |
| -1001 1 |
| .names i_6_ i_7_ n215 n216 n382 |
| 00-0 1 |
| 110- 1 |
| --00 1 |
| .names n85 n325 o_4_ n385 n386 n383 |
| 00-11 1 |
| -0011 1 |
| .names n108 n102 o_4_ |
| 11 1 |
| .names n85 n99 n132 n184 n385 |
| 11-- 0 |
| --11 0 |
| .names n159 n387 n345 n367 n386 |
| 10-- 0 |
| --10 0 |
| .names i_4_ i_5_ i_6_ i_7_ n387 |
| 011- 0 |
| 1000 0 |
| .names n298 n274 n276 n389 n390 n388 |
| 10100 1 |
| .names i_6_ i_7_ n85 n102 n308 n389 |
| 01--1 1 |
| 0-11- 1 |
| .names i_3_ i_4_ i_5_ i_6_ i_7_ n85 n390 |
| 001001 1 |
| 101101 1 |
| .names n199 n201 n284 n392 n393 n391 |
| 11101 1 |
| .names i_3_ i_4_ i_5_ i_6_ i_7_ n85 n392 |
| 010-11 1 |
| 011-01 1 |
| 01-101 1 |
| 0-1011 1 |
| 101-11 1 |
| 1100-1 1 |
| .names i_6_ i_7_ n76 n102 n266 n394 n393 |
| 10--0- 0 |
| 1111-- 0 |
| --1--0 0 |
| .names i_3_ i_4_ i_5_ i_6_ i_7_ n394 |
| 011-- 0 |
| 01-1- 0 |
| 01--1 0 |
| 1000- 0 |
| .names n396 n330 n397 n403 n413 n415 n395 |
| 111111 1 |
| .names n205 n207 n209 n396 |
| 001 1 |
| .names n398 n399 n400 n397 |
| 001 1 |
| .names n81 n295 n398 |
| 10 1 |
| .names n88 n394 n399 |
| 10 1 |
| .names n219 n88 n135 n401 n402 n400 |
| 11--- 0 |
| -1--1 0 |
| --10- 0 |
| .names i_4_ i_5_ i_6_ i_7_ n401 |
| 0000 1 |
| .names i_3_ i_4_ i_5_ i_6_ i_7_ n402 |
| 01000 1 |
| .names n404 n405 n406 n407 n409 n410 n403 |
| 100111 1 |
| .names n219 n94 n373 n138 n281 n404 |
| 110-- 0 |
| ---01 0 |
| .names i_0_ i_1_ i_2_ n97 n102 o_2_ n405 |
| 00011- 1 |
| 101--1 1 |
| .names i_0_ i_1_ i_2_ n95 n99 n367 n406 |
| 0011-0 1 |
| 111-1- 1 |
| .names n76 n92 n163 n408 n228 n267 n407 |
| 1---1- 0 |
| -1-1-- 0 |
| --1--1 0 |
| .names i_3_ i_4_ i_5_ i_6_ i_7_ n408 |
| 10011 1 |
| 1010- 1 |
| .names n108 n111 n119 o_2_ n255 n409 |
| 111-- 0 |
| 1---1 0 |
| -010- 0 |
| .names i_1_ i_2_ n152 n128 n411 n412 n410 |
| 10---1 0 |
| 11--1- 0 |
| --11-- 0 |
| .names i_0_ i_3_ i_4_ i_5_ i_6_ i_7_ n411 |
| 100100 1 |
| .names i_0_ i_3_ i_4_ i_5_ i_6_ i_7_ n412 |
| 000000 1 |
| .names n92 n101 n152 n227 n353 n414 n413 |
| 0-0--0 1 |
| 0--1-0 1 |
| -00-10 1 |
| -0-110 1 |
| .names n126 n277 n414 |
| 01 1 |
| .names n416 n417 n418 n420 n421 n422 n415 |
| 001111 1 |
| .names i_3_ n76 n230 n416 |
| 010 1 |
| .names i_6_ n94 n102 n195 n417 |
| 111- 1 |
| 1--1 1 |
| .names i_0_ i_1_ i_2_ n193 n419 n418 |
| 0110- 0 |
| -11-1 0 |
| .names i_0_ i_3_ i_4_ i_5_ i_6_ i_7_ n419 |
| 01010- 1 |
| 0101-0 1 |
| .names i_3_ i_7_ n319 o_0_ n94 n323 n420 |
| 0--11- 0 |
| -1-11- 0 |
| --0--1 0 |
| .names i_3_ i_4_ i_5_ i_6_ i_7_ n85 n421 |
| 010111 0 |
| 101--1 0 |
| 1100-1 0 |
| .names n78 n200 n281 n216 n423 n424 n422 |
| 10--00 1 |
| 1-0-00 1 |
| -0-000 1 |
| --0000 1 |
| .names i_0_ i_1_ i_2_ i_3_ i_4_ i_5_ n423 |
| 010100 1 |
| .names i_0_ i_1_ i_2_ i_3_ i_5_ i_6_ n424 |
| 100101 1 |
| .names n426 n427 n433 n437 n440 n443 n425 |
| 011111 1 |
| .names i_0_ i_1_ i_2_ n78 n163 n185 n426 |
| 00101- 1 |
| 010--0 1 |
| .names n205 n166 n428 n429 n430 n431 n427 |
| 000101 1 |
| .names n373 n342 n428 |
| 11 1 |
| .names n145 n146 n147 n429 |
| 1-0 1 |
| -00 1 |
| .names i_3_ n92 n128 n430 |
| 011 1 |
| .names i_3_ n76 n81 n387 n432 n431 |
| 11-0- 0 |
| --1-0 0 |
| .names i_3_ i_4_ i_5_ i_6_ i_7_ n432 |
| 01--- 0 |
| 0-1-- 0 |
| 0--1- 0 |
| 10000 0 |
| .names n76 n130 n139 n298 n434 n436 n433 |
| 01010- 1 |
| -10101 1 |
| .names i_6_ n216 n435 n434 |
| 01- 1 |
| 0-1 1 |
| .names i_0_ i_1_ i_2_ i_3_ i_4_ i_5_ n435 |
| 100110 1 |
| .names i_3_ i_4_ i_5_ i_6_ i_7_ n436 |
| 00001 0 |
| 111-- 0 |
| 11-1- 0 |
| 11--1 0 |
| .names n310 n438 n439 n437 |
| 001 1 |
| .names i_3_ n85 n102 n438 |
| 01- 1 |
| -11 1 |
| .names i_5_ i_6_ n277 n258 n345 n439 |
| 01--1 0 |
| --10- 0 |
| .names i_6_ n92 n102 n285 n441 n442 n440 |
| 0-0-01 1 |
| -0--01 1 |
| --0001 1 |
| .names n135 n401 n441 |
| 10 1 |
| .names n94 n157 n203 n442 |
| 0-0 1 |
| -10 1 |
| .names n83 o_2_ n299 n253 n256 n444 n443 |
| 0-01-0 1 |
| 0-0-00 1 |
| -001-0 1 |
| -00-00 1 |
| .names i_3_ i_4_ i_5_ i_6_ i_7_ n83 n444 |
| 00---- 0 |
| 0-000- 0 |
| 1111-- 0 |
| -----0 0 |
| .names n446 n450 n461 n468 n473 n483 n445 |
| 111111 1 |
| .names n81 n265 n447 n448 n449 n446 |
| 00-10 1 |
| -0110 1 |
| .names i_3_ n285 n138 n447 |
| 00- 1 |
| -00 1 |
| .names i_6_ i_7_ n264 n85 n92 n163 n448 |
| 0---11 0 |
| 111-1- 0 |
| 1-11-- 0 |
| -111-- 0 |
| .names i_6_ i_7_ n264 n94 n216 n449 |
| 0111- 1 |
| 11--1 1 |
| .names n451 n452 n453 n455 n456 n457 n450 |
| 001111 1 |
| .names n78 n92 n102 n451 |
| 111 1 |
| .names i_3_ i_4_ i_5_ i_6_ i_7_ n92 n452 |
| 011--1 1 |
| 01-1-1 1 |
| 1000-1 1 |
| 100-01 1 |
| .names i_3_ n78 n88 n94 n454 n272 n453 |
| 0-1-1- 0 |
| -01-1- 0 |
| ---1-1 0 |
| .names i_4_ i_5_ n454 |
| 00 1 |
| .names i_3_ i_4_ i_5_ i_6_ i_7_ n92 n455 |
| 000111 0 |
| 001011 0 |
| 11---1 0 |
| 1-1111 0 |
| .names i_6_ i_7_ n264 n76 n111 n456 |
| 00--0 1 |
| 11--- 1 |
| --0-0 1 |
| ---0- 1 |
| .names i_6_ i_7_ n147 n458 n459 n460 n457 |
| 00---0 1 |
| 0-0--0 1 |
| -00--0 1 |
| --0000 1 |
| .names i_0_ i_1_ i_2_ i_3_ i_4_ i_5_ n458 |
| 101010 1 |
| .names i_0_ i_1_ i_2_ i_3_ i_4_ i_5_ n459 |
| 000011 1 |
| .names i_0_ i_1_ i_2_ i_4_ i_5_ i_6_ n460 |
| 01000- 1 |
| 01011- 1 |
| 010-01 1 |
| .names n462 n463 n464 n466 n461 |
| 1001 1 |
| .names n76 n163 n228 n267 n462 |
| 1-1- 0 |
| -1-1 0 |
| .names i_3_ i_4_ i_5_ n92 n108 n106 n463 |
| 00111- 1 |
| -01-11 1 |
| .names i_6_ i_7_ n232 n465 n464 |
| 01-1 1 |
| 111- 1 |
| .names i_0_ i_1_ i_2_ i_3_ i_4_ i_5_ n465 |
| 101100 1 |
| .names i_3_ n88 n119 n236 n245 n467 n466 |
| 0-1--0 0 |
| -1-0-- 0 |
| --1-0- 0 |
| .names i_4_ i_5_ i_6_ i_7_ n467 |
| 00-- 1 |
| 0-00 1 |
| 111- 1 |
| 11-1 1 |
| .names i_6_ i_7_ n469 n470 n471 n472 n468 |
| 00--00 1 |
| 11--00 1 |
| -11-00 1 |
| --1100 1 |
| .names n79 n458 n469 |
| 00 1 |
| .names n264 n94 n216 n470 |
| 0-0 1 |
| -00 1 |
| .names i_0_ i_1_ i_2_ n95 n104 n367 n471 |
| 0001-0 1 |
| 011-1- 1 |
| .names n320 n116 n85 n213 n472 |
| 111- 1 |
| --10 1 |
| .names n474 n475 n477 n478 n481 n482 n473 |
| 000111 1 |
| .names i_4_ i_5_ i_6_ i_7_ n135 n474 |
| 011-1 1 |
| 01-11 1 |
| 100-1 1 |
| .names i_3_ n75 n476 n402 n210 n475 |
| 0-1-1 1 |
| -11-- 1 |
| --11- 1 |
| .names i_0_ i_2_ n476 |
| 00 1 |
| .names n253 n308 n459 n477 |
| 01- 1 |
| 0-1 1 |
| .names i_6_ n260 n232 n261 n479 n480 n478 |
| 10--00 1 |
| 1--000 1 |
| -00-00 1 |
| --0000 1 |
| .names i_3_ i_4_ i_5_ i_6_ i_7_ n479 |
| 00101 1 |
| .names i_0_ i_1_ i_2_ i_4_ i_5_ n480 |
| 00000 1 |
| .names i_6_ n132 n238 n266 n481 |
| 0--0 0 |
| -10- 0 |
| .names i_6_ n187 n173 n215 n216 n435 n482 |
| 10-0-0 1 |
| 1-10-0 1 |
| -0-000 1 |
| --1000 1 |
| .names n237 n217 n484 n485 n487 n488 n483 |
| 010001 1 |
| .names n195 n253 n256 n484 |
| 10- 1 |
| -01 1 |
| .names i_3_ n88 n486 n485 |
| 110 1 |
| .names i_4_ i_5_ i_6_ i_7_ n486 |
| 011- 0 |
| 10-- 0 |
| 1-00 0 |
| .names i_3_ i_4_ i_5_ i_6_ i_7_ n76 n487 |
| 0111-1 1 |
| 011-11 1 |
| 101011 1 |
| 101101 1 |
| .names n108 n152 n387 n489 n488 |
| 1--0 0 |
| -10- 0 |
| .names i_0_ i_1_ i_2_ i_3_ i_4_ i_5_ n489 |
| 101100 0 |
| 111000 0 |
| .names n448 n491 n494 n498 n502 n507 n490 |
| 111111 1 |
| .names n78 n81 n492 n479 n493 n491 |
| 0--01 1 |
| -0--1 1 |
| --001 1 |
| .names i_3_ i_4_ i_5_ n492 |
| 111 1 |
| .names n108 n111 n119 n200 n333 n493 |
| 111-- 0 |
| ---11 0 |
| .names n231 n463 n466 n495 n496 n497 n494 |
| 101000 1 |
| .names n79 n81 n492 n253 n495 |
| 1--0 1 |
| -110 1 |
| .names i_6_ i_7_ n264 n94 n171 n496 |
| 1011- 1 |
| 11--1 1 |
| .names i_0_ i_1_ i_2_ i_6_ n102 n272 n497 |
| 00101- 1 |
| 01---1 1 |
| .names n217 n393 n399 n499 n500 n501 n498 |
| 110001 1 |
| .names i_3_ i_4_ i_5_ i_6_ n83 n97 n499 |
| 000-1- 1 |
| 011-1- 1 |
| 0-0-10 1 |
| -0001- 1 |
| .names i_3_ i_4_ i_5_ i_6_ i_7_ n81 n500 |
| 01-111 1 |
| 1011-1 1 |
| 11-0-1 1 |
| 11--01 1 |
| 1-0001 1 |
| -10111 1 |
| -110-1 1 |
| -11-01 1 |
| .names i_6_ i_7_ n76 n185 n255 n256 n501 |
| 01---1 0 |
| 10---1 0 |
| 1---1- 0 |
| --10-- 0 |
| .names n81 n272 n503 n504 n505 n506 n502 |
| 0-0111 1 |
| -00111 1 |
| .names n74 n75 n83 n305 n503 |
| 00-0 0 |
| --0- 0 |
| .names i_6_ n264 n81 n85 n272 n504 |
| 111-- 0 |
| ---11 0 |
| .names i_5_ n78 n220 n458 n505 |
| 0-1- 0 |
| -0-1 0 |
| .names i_0_ i_1_ n196 n479 n506 |
| 00-1 0 |
| -01- 0 |
| .names n237 n207 n508 n509 n512 n514 n507 |
| 000111 1 |
| .names i_6_ i_7_ n252 n83 n94 n508 |
| 011-1 1 |
| 1011- 1 |
| .names n76 n97 n157 n195 n510 n511 n509 |
| 1-1--- 0 |
| -0-1-- 0 |
| ----01 0 |
| .names i_5_ i_6_ i_7_ n510 |
| 00- 1 |
| 111 1 |
| -00 1 |
| .names i_0_ i_1_ i_2_ i_3_ i_4_ n511 |
| 01100 1 |
| .names i_6_ i_7_ n216 n340 n465 n513 n512 |
| 000--1 1 |
| 11---1 1 |
| -10-01 1 |
| --0001 1 |
| .names i_0_ i_1_ i_2_ i_3_ i_4_ i_5_ n513 |
| 000100 0 |
| 010111 0 |
| .names n94 n260 n261 n423 n515 n514 |
| 1---0 0 |
| -11-- 0 |
| ---1- 0 |
| .names i_3_ i_4_ i_6_ i_7_ n515 |
| 0011 0 |
| .names n288 n517 n328 n518 n521 n525 n516 |
| 111111 1 |
| .names n144 n240 n290 n517 |
| 100 1 |
| .names n315 n519 n520 n518 |
| 001 1 |
| .names i_3_ n85 n161 n519 |
| 111 1 |
| .names i_5_ i_6_ i_7_ n216 n345 n520 |
| 00-0- 1 |
| -11-0 1 |
| ---00 1 |
| .names n234 n404 n522 n523 n524 n521 |
| 01001 1 |
| .names n83 n148 n522 |
| 10 1 |
| .names i_3_ i_4_ i_5_ n78 n94 n523 |
| 100-1 1 |
| 10-01 1 |
| -0001 1 |
| .names i_3_ i_4_ i_5_ i_6_ n85 n524 |
| 0000- 1 |
| 11--- 1 |
| 1-1-- 1 |
| ----0 1 |
| .names n316 n333 n317 n201 n374 n525 |
| 1-111 1 |
| -0-11 1 |
| .names n133 n374 n527 n529 n534 n526 |
| 11111 1 |
| .names i_3_ n155 n92 n182 n419 n528 n527 |
| 0-1--0 0 |
| -1--1- 0 |
| --10-- 0 |
| .names i_4_ i_5_ i_6_ i_7_ n528 |
| 01-- 0 |
| 0-11 0 |
| 1000 0 |
| .names n234 n438 n522 n530 n531 n532 n529 |
| 000001 1 |
| .names i_3_ i_5_ i_6_ i_7_ n124 n530 |
| 01--1 1 |
| 0-1-1 1 |
| -1111 1 |
| .names n78 n94 n102 n531 |
| 011 1 |
| .names n131 n165 n188 n345 n367 n533 n532 |
| 00-0-- 1 |
| 00--1- 1 |
| 0-10-1 1 |
| 0-1-11 1 |
| .names i_4_ i_5_ i_6_ i_7_ n533 |
| 01-- 1 |
| 10-- 1 |
| -011 1 |
| -100 1 |
| .names n535 n201 n290 n315 n382 n519 n534 |
| 010010 1 |
| .names n138 n281 n535 |
| 01 1 |
| .names n288 n537 n539 n542 n543 n547 n536 |
| 111111 1 |
| .names n325 n371 n538 n537 |
| 000 1 |
| .names i_4_ i_5_ i_6_ n165 n538 |
| 000- 0 |
| 111- 0 |
| ---0 0 |
| .names i_6_ n202 n423 n540 n541 n539 |
| 0-000 1 |
| 10-00 1 |
| .names i_4_ i_5_ i_6_ n187 n540 |
| 000- 0 |
| 111- 0 |
| ---0 0 |
| .names n94 n295 n541 |
| 10 1 |
| .names n315 n519 n438 n520 n542 |
| 0001 1 |
| .names n144 n544 n546 n543 |
| 110 1 |
| .names i_6_ n76 n111 n131 n167 n545 n544 |
| 00---- 1 |
| 0-0-11 1 |
| 1--011 1 |
| -0-0-- 1 |
| .names i_3_ i_4_ i_5_ i_6_ i_7_ n545 |
| 0001- 0 |
| 0010- 0 |
| 1011- 0 |
| 11000 0 |
| -0110 0 |
| .names i_5_ n97 n180 n546 |
| 1-1 1 |
| -01 1 |
| .names n219 n83 n217 n548 n549 n550 n547 |
| 0-1-10 1 |
| -01-10 1 |
| --1110 1 |
| .names i_5_ n108 n548 |
| 00 1 |
| .names n106 n316 n333 n317 n367 n549 |
| 01-1- 1 |
| 0-0-- 1 |
| -10-1 1 |
| -1-11 1 |
| .names n92 n551 n550 |
| 10 1 |
| .names i_3_ i_4_ i_5_ i_6_ i_7_ n551 |
| 01111 0 |
| 10--- 0 |
| .names n191 n553 n554 n555 n560 n561 n552 |
| 110111 1 |
| .names n398 n399 n400 n414 n553 |
| 0010 1 |
| .names i_1_ n476 n182 n554 |
| 010 1 |
| .names n206 n246 n556 n557 n558 n559 n555 |
| 011011 1 |
| .names i_6_ n215 n216 n435 n556 |
| 10-0 1 |
| -000 1 |
| .names i_3_ i_4_ i_5_ i_6_ i_7_ n85 n557 |
| 011--1 1 |
| 01-1-1 1 |
| 1000-1 1 |
| 100-01 1 |
| .names i_6_ n252 n85 n152 n128 n558 |
| 111-- 0 |
| ---11 0 |
| .names n85 n152 n126 n408 n559 |
| 1--1 0 |
| -10- 0 |
| .names i_6_ i_7_ n76 n85 n111 n444 n560 |
| 00-11- 0 |
| 101-1- 0 |
| -----1 0 |
| .names n159 n138 n310 n562 n565 n566 n561 |
| 0-0111 1 |
| -10111 1 |
| .names i_3_ n94 n563 n564 n562 |
| 01-0 0 |
| -10- 0 |
| .names i_3_ i_4_ i_5_ i_6_ i_7_ n563 |
| 01111 0 |
| 100-0 0 |
| 10-0- 0 |
| .names i_4_ i_5_ i_6_ i_7_ n564 |
| 11-- 1 |
| 1-1- 1 |
| 1--1 1 |
| -011 1 |
| .names i_4_ i_6_ n305 n131 n281 n565 |
| 0---1 0 |
| -1-1- 0 |
| --1-1 0 |
| .names i_3_ i_4_ i_5_ i_6_ i_7_ n76 n566 |
| 10-1-1 0 |
| -01--1 0 |
| -0-111 0 |
| .names n288 n542 n543 n568 n569 n567 |
| 11101 1 |
| .names i_3_ i_4_ i_5_ i_6_ i_7_ n83 n568 |
| 0000-- 0 |
| 000-0- 0 |
| 1111-- 0 |
| -----0 0 |
| .names n300 n310 n538 n570 n571 n572 n569 |
| 000011 1 |
| .names n94 n365 n570 |
| 11 1 |
| .names i_6_ i_7_ n92 n94 n111 n459 n571 |
| 0-1-1- 0 |
| 0--11- 0 |
| 1----1 0 |
| -01-1- 0 |
| .names n78 n373 n169 n203 n572 |
| 0--1 0 |
| -01- 0 |
| .names n288 n144 n518 n544 n546 n574 n573 |
| 111101 1 |
| .names n94 n575 n310 n568 n576 n577 n574 |
| 000001 1 |
| .names i_5_ i_6_ i_7_ n169 n575 |
| 01-1 1 |
| 10-1 1 |
| -101 1 |
| .names i_6_ i_7_ n264 n92 n102 n576 |
| 1111- 1 |
| 1--11 1 |
| .names i_3_ n78 n85 n102 n203 n577 |
| 0-1-- 0 |
| -0--1 0 |
| --11- 0 |
| .names n579 n183 n397 n580 n581 n587 n578 |
| 111111 1 |
| .names n177 n178 n179 n579 |
| 011 1 |
| .names n556 n557 n558 n559 n580 |
| 1011 1 |
| .names n186 n582 n583 n584 n585 n586 n581 |
| 000111 1 |
| .names n76 n394 n582 |
| 10 1 |
| .names i_5_ i_6_ i_7_ n342 n583 |
| 0101 1 |
| 10-1 1 |
| .names n165 n145 n146 n147 n564 n584 |
| 1---0 0 |
| -01-- 0 |
| ---1- 0 |
| .names i_4_ i_5_ i_6_ n106 n277 n300 n585 |
| 00---0 1 |
| 11---0 1 |
| -10--0 1 |
| ---000 1 |
| .names i_3_ i_4_ i_5_ n78 n83 n310 n586 |
| 11---0 1 |
| 1-1--0 1 |
| -001-0 1 |
| ----00 1 |
| .names n94 n139 n298 n563 n554 n587 |
| 001-0 1 |
| -0110 1 |
| .names n589 n597 n603 n608 n613 n588 |
| 11111 1 |
| .names n590 n591 n592 n593 n595 n596 n589 |
| 000001 1 |
| .names i_3_ i_4_ n85 n367 n590 |
| 0110 1 |
| .names i_5_ i_6_ i_7_ n169 n591 |
| 011- 0 |
| 100- 0 |
| ---0 0 |
| .names i_6_ i_7_ n79 n119 n102 n592 |
| 011-- 1 |
| 11-11 1 |
| .names i_1_ n78 n594 n492 n185 n593 |
| 0011- 1 |
| 1-1-0 1 |
| .names i_0_ i_2_ n594 |
| 01 1 |
| .names i_0_ i_1_ i_2_ n97 n102 n361 n595 |
| 11011- 1 |
| -00--1 1 |
| .names n85 n326 n180 n353 n596 |
| 1--0 0 |
| -01- 0 |
| .names n74 n598 n256 n599 n600 n597 |
| 01001 1 |
| .names i_5_ i_6_ i_7_ n323 n180 n598 |
| 0001- 0 |
| 11--1 0 |
| .names i_4_ n326 n333 n599 |
| 101 1 |
| .names n252 n187 n161 n601 n602 n600 |
| 1--1- 0 |
| -11-- 0 |
| ----0 0 |
| .names i_0_ i_1_ i_2_ i_6_ i_7_ n601 |
| 111-0 1 |
| -1101 1 |
| -1110 1 |
| .names i_0_ i_1_ i_2_ i_3_ i_4_ i_5_ n602 |
| 001011 0 |
| 10010- 0 |
| 1001-0 0 |
| .names n97 n147 n604 n605 n606 n607 n603 |
| 1-0111 1 |
| -00111 1 |
| .names n151 n165 n604 |
| 01 1 |
| .names n78 n76 n83 n111 n402 n605 |
| 01-1- 0 |
| --1-1 0 |
| .names i_6_ i_7_ n252 n88 n102 n606 |
| 0-11- 0 |
| 1--11 0 |
| -1-11 0 |
| .names i_3_ i_4_ i_5_ i_6_ n92 n187 n607 |
| 10111- 0 |
| 110-1- 0 |
| -11--1 0 |
| -1-1-1 0 |
| .names n214 n609 n570 n610 n611 n612 n608 |
| 100111 1 |
| .names n317 n511 n609 |
| 01 1 |
| .names n220 n291 n367 n610 |
| 00- 1 |
| --1 1 |
| .names n78 n152 n126 n203 n268 n611 |
| 1---0 0 |
| -10-- 0 |
| ---10 0 |
| .names n83 n146 n193 n367 n612 |
| 1-0- 0 |
| -1-0 0 |
| .names n178 n614 n615 n617 n618 n619 n613 |
| 101111 1 |
| .names i_0_ i_1_ i_2_ n75 n104 n614 |
| 001-1 1 |
| 1111- 1 |
| .names n92 n108 n408 n616 n615 |
| 1-1- 0 |
| -1-0 0 |
| .names i_0_ i_1_ i_2_ i_3_ i_4_ i_5_ n616 |
| 110001 0 |
| 111100 0 |
| .names i_3_ n76 n88 n394 n486 n617 |
| 1-1-0 0 |
| -1-0- 0 |
| .names n92 n108 n102 n135 o_2_ n401 n618 |
| 111--- 0 |
| 1---1- 0 |
| ---1-0 0 |
| .names n81 n253 n213 n620 n619 |
| 1-0- 0 |
| -0-0 0 |
| .names i_0_ i_1_ i_2_ i_3_ i_4_ i_5_ n620 |
| 010010 0 |
| 111001 0 |
| .names n622 n626 n631 n634 n621 |
| 1111 1 |
| .names n127 n334 n623 n625 n622 |
| 0010 1 |
| .names n79 n135 n126 n277 n624 n623 |
| 1---- 0 |
| -1--0 0 |
| --01- 0 |
| .names i_4_ i_5_ i_6_ i_7_ n624 |
| 00-- 1 |
| 0-0- 1 |
| 1111 1 |
| .names i_0_ i_1_ i_2_ i_6_ n102 n275 n625 |
| 101--1 1 |
| 11001- 1 |
| .names n130 n358 n627 n628 n629 n626 |
| 11001 1 |
| .names n146 n367 n627 |
| 10 1 |
| .names i_0_ i_1_ i_2_ n74 n97 n102 n628 |
| 0001-- 1 |
| 101-11 1 |
| .names n85 n94 n135 n630 n243 n365 n629 |
| 1---0- 0 |
| -1---1 0 |
| --11-- 0 |
| .names i_4_ i_5_ i_6_ i_7_ n630 |
| 001- 1 |
| 00-1 1 |
| 0100 1 |
| .names n123 n166 n632 n633 n631 |
| 1000 1 |
| .names i_0_ i_1_ i_2_ n75 n235 n632 |
| 000-1 1 |
| 0011- 1 |
| .names i_3_ i_4_ i_5_ n97 n119 n633 |
| 1---1 1 |
| -0101 1 |
| .names n635 n636 n638 n639 n640 n641 n634 |
| 111111 1 |
| .names n81 n97 n272 n215 n635 |
| 1-1- 0 |
| -0-1 0 |
| .names i_5_ i_6_ i_7_ n169 n637 n636 |
| 00--- 1 |
| 111-1 1 |
| -0-0- 1 |
| ---01 1 |
| .names i_0_ i_1_ i_2_ i_3_ i_4_ i_5_ n637 |
| 001100 0 |
| 101001 0 |
| .names n83 n160 n310 n345 n367 n638 |
| 10--- 0 |
| --1-- 0 |
| ---10 0 |
| .names i_3_ n85 n97 n102 n161 n639 |
| 11--1 0 |
| -101- 0 |
| .names i_5_ i_6_ i_7_ n219 n81 n220 n640 |
| 01-11- 0 |
| 01---1 0 |
| 10011- 0 |
| .names n81 n151 n165 n479 n641 |
| 1--1 0 |
| -01- 0 |
| .names n643 n646 n648 n654 n658 n661 n642 |
| 111111 1 |
| .names i_5_ n220 n520 n530 n644 n645 n643 |
| 1-1000 1 |
| -01000 1 |
| .names n81 n102 o_3_ n285 n644 |
| 0--- 0 |
| -000 0 |
| .names n97 n373 n342 n645 |
| 001 1 |
| .names n179 n647 n646 |
| 11 1 |
| .names i_5_ n97 n323 n268 n647 |
| 001- 0 |
| ---0 0 |
| .names n78 n232 n649 n650 n651 n648 |
| 1-001 1 |
| -0001 1 |
| .names i_6_ n76 n102 n308 n649 |
| 111- 1 |
| 1--1 1 |
| .names i_3_ i_4_ n85 n200 n650 |
| 011- 1 |
| 1-10 1 |
| .names i_6_ i_7_ n170 n171 n652 n653 n651 |
| 00-000 1 |
| 110--0 1 |
| --0000 1 |
| .names i_0_ i_1_ i_2_ i_3_ i_4_ i_5_ n652 |
| 111101 1 |
| .names i_0_ i_1_ i_3_ i_4_ i_5_ i_6_ n653 |
| 011010 1 |
| .names n83 n402 n257 n655 n656 n657 n654 |
| 0-0011 1 |
| -00011 1 |
| .names i_3_ n119 n188 n655 |
| 010 1 |
| .names n264 n252 n76 n108 n267 n656 |
| 1---1 0 |
| -111- 0 |
| .names i_0_ i_1_ i_2_ i_6_ n102 n353 n657 |
| 01101- 0 |
| 11111- 0 |
| 111--0 0 |
| .names n222 n278 n659 n658 |
| 101 1 |
| .names i_6_ n137 n277 n184 n423 n660 n659 |
| 1---1- 0 |
| -1-0-- 0 |
| --1--1 0 |
| .names i_4_ i_5_ i_6_ i_7_ n660 |
| 0010 1 |
| 0100 1 |
| .names n237 n239 n484 n662 n663 n664 n661 |
| 000000 1 |
| .names n320 n92 n367 n662 |
| 110 1 |
| .names n94 n95 n184 n663 |
| 11- 1 |
| 1-1 1 |
| .names i_0_ i_1_ i_2_ n104 n182 n361 n664 |
| 010-0- 1 |
| 1111-- 1 |
| -10--1 1 |
| .names n666 n669 n674 n678 n681 n665 |
| 11111 1 |
| .names n119 n399 n463 n667 n668 n666 |
| 0000- 1 |
| -0001 1 |
| .names i_0_ i_1_ i_2_ n275 n402 n667 |
| 011-1 1 |
| 1011- 1 |
| .names i_3_ i_4_ i_5_ i_6_ i_7_ n668 |
| 11--- 0 |
| 1-111 0 |
| -1101 0 |
| .names n214 n217 n670 n671 n672 n673 n669 |
| 110011 1 |
| .names i_0_ i_1_ i_2_ n75 n402 n670 |
| 0101- 1 |
| 110-1 1 |
| .names i_2_ n91 n97 n129 n235 n671 |
| 0110- 1 |
| 1--01 1 |
| .names i_4_ i_5_ i_6_ i_7_ n76 n106 n672 |
| 001-1- 0 |
| 010-1- 0 |
| 0-101- 0 |
| 100--1 0 |
| .names n137 n94 n157 n184 n673 |
| 1--1 0 |
| -10- 0 |
| .names n181 n224 n414 n675 n676 n677 n674 |
| 000111 1 |
| .names i_4_ i_5_ i_6_ i_7_ n135 n169 n675 |
| 011-1- 0 |
| 10--1- 0 |
| 1-0-1- 0 |
| -011-1 0 |
| -10--1 0 |
| -1101- 0 |
| .names n85 n152 n188 n247 n676 |
| 1--1 0 |
| -10- 0 |
| .names n187 n131 n184 n232 n677 |
| 00-0 1 |
| -000 1 |
| .names n81 n334 n679 n680 n678 |
| 000- 1 |
| -001 1 |
| .names i_6_ i_7_ n216 n435 n679 |
| 11-1 1 |
| 1-1- 1 |
| .names i_3_ i_4_ i_5_ i_6_ i_7_ n680 |
| 0111- 0 |
| 011-1 0 |
| 100-- 0 |
| 10-0- 0 |
| .names n119 n682 n683 n684 n685 n681 |
| 011-1 1 |
| -1111 1 |
| .names i_6_ i_7_ n202 n203 n256 n682 |
| 0-0-0 1 |
| 1100- 1 |
| --000 1 |
| .names i_3_ i_4_ i_5_ i_6_ n92 n683 |
| 00--- 1 |
| 0-00- 1 |
| 111-- 1 |
| ----0 1 |
| .names i_3_ i_4_ i_5_ i_6_ i_7_ n684 |
| 0111- 0 |
| 100-- 0 |
| 10-0- 0 |
| 10--0 0 |
| .names i_0_ i_1_ n208 n686 n685 |
| 00-0 0 |
| 010- 0 |
| .names i_2_ i_3_ i_4_ i_5_ i_6_ i_7_ n686 |
| 01101- 0 |
| 011100 0 |
| 10100- 0 |
| .names n643 n688 n689 n690 n692 n694 n687 |
| 111111 1 |
| .names n222 n659 n688 |
| 11 1 |
| .names n94 n102 n331 n235 n168 n332 n689 |
| 0-0-10 1 |
| -00010 1 |
| .names n206 n682 n683 n691 n690 |
| 0110 1 |
| .names i_0_ i_1_ i_2_ n75 n104 n691 |
| 0101- 1 |
| 111-1 1 |
| .names n323 n290 n308 n693 n692 |
| 0001 1 |
| .names n151 n152 n165 n258 n693 |
| 0-1- 0 |
| -1-0 0 |
| .names n78 n232 n224 n650 n694 |
| 1-00 1 |
| -000 1 |
| .names i_0_ n696 n699 n701 n705 n695 |
| 01111 1 |
| .names i_0_ i_1_ n697 n290 n686 n698 n696 |
| 1-00-0 1 |
| -100-0 1 |
| --0010 1 |
| .names i_4_ n326 n281 n697 |
| 101 1 |
| .names i_1_ n78 n594 n99 n492 n698 |
| 001-1 1 |
| 1-11- 1 |
| .names n78 n205 n217 n203 n268 n700 n699 |
| 0010-0 1 |
| -01-10 1 |
| .names i_5_ i_6_ i_7_ n169 n700 |
| 0111 1 |
| 10-1 1 |
| .names n106 n702 n173 n546 n703 n704 n701 |
| 00-001 1 |
| -01001 1 |
| .names i_3_ i_4_ i_5_ i_6_ n92 n702 |
| 10111 1 |
| 110-1 1 |
| .names i_6_ n83 n285 n703 |
| 111 1 |
| .names n219 n76 n94 n305 n256 n308 n704 |
| 00--00 1 |
| 0--000 1 |
| -00-00 1 |
| --0000 1 |
| .names n219 n94 n706 n228 n582 n707 n705 |
| 1-0-00 1 |
| -00-00 1 |
| --0100 1 |
| .names n92 n174 n706 |
| 10 1 |
| .names i_3_ i_4_ i_5_ n83 n92 n108 n707 |
| 001-11 1 |
| 1001-1 1 |
| .names n689 n709 n714 n720 n723 n725 n708 |
| 111111 1 |
| .names n706 n274 n710 n711 n712 n713 n709 |
| 000011 1 |
| .names n135 n624 n710 |
| 10 1 |
| .names n76 n95 n367 n711 |
| 110 1 |
| .names n76 n81 n680 n712 |
| 00- 1 |
| --1 1 |
| .names i_5_ i_6_ i_7_ n219 n83 n342 n713 |
| 11---1 0 |
| 1-1--1 0 |
| 1--11- 0 |
| -1011- 0 |
| .names n679 n715 n716 n718 n719 n714 |
| 00111 1 |
| .names i_6_ i_7_ n252 n594 n91 n92 n715 |
| 00--11 1 |
| 1011-- 1 |
| .names i_6_ n137 n184 n423 n717 n716 |
| 1--1- 0 |
| -11-- 0 |
| ----1 0 |
| .names i_0_ i_1_ i_3_ i_4_ i_5_ i_6_ n717 |
| 01111- 1 |
| 0111-1 1 |
| .names n187 n161 n277 n660 n718 |
| 11-- 0 |
| --11 0 |
| .names i_3_ i_4_ n88 n119 n145 n719 |
| 00--0 1 |
| 1--0- 1 |
| -0-0- 1 |
| --00- 1 |
| .names n145 n146 n721 n722 n720 |
| 1-01 1 |
| -001 1 |
| .names i_6_ n76 n210 n423 n721 |
| 0--1 1 |
| -11- 1 |
| .names i_6_ n215 n216 n317 n511 n722 |
| 0-1-- 0 |
| -1--- 0 |
| ---01 0 |
| .names i_3_ n92 n200 n604 n724 n723 |
| 0--01 1 |
| -0-01 1 |
| --001 1 |
| .names n78 n76 n85 n111 n247 n724 |
| 01-1- 0 |
| --1-1 0 |
| .names n116 n76 o_18_ n305 n152 n188 n725 |
| 1-1--- 0 |
| -1-1-- 0 |
| ----10 0 |
| .names n553 n555 n727 n730 n726 |
| 1111 1 |
| .names n131 n217 n201 n728 n325 n729 n727 |
| 011001 1 |
| .names n132 n293 n728 |
| 10 1 |
| .names i_5_ i_6_ i_7_ n320 n76 n94 n729 |
| 00-1-1 0 |
| 01-11- 0 |
| 0-01-1 0 |
| 10-11- 0 |
| .names n731 n732 n733 n734 n735 n737 n730 |
| 111111 1 |
| .names n106 n316 n333 n238 n317 n731 |
| 1--0- 0 |
| -01-- 0 |
| --1-0 0 |
| .names n159 n138 n281 n732 |
| 0-0 1 |
| -1- 1 |
| .names i_3_ n76 n92 n230 n551 n733 |
| 01-0- 0 |
| --1-0 0 |
| .names n83 n94 n148 n353 n734 |
| 1-0- 0 |
| -1-0 0 |
| .names i_5_ i_6_ i_7_ n76 n323 n736 n735 |
| 000-1- 0 |
| -1-1-1 0 |
| .names i_3_ i_4_ i_5_ n736 |
| 011 1 |
| 101 1 |
| .names n155 n109 n165 n188 n419 n737 |
| 1---1 0 |
| -1--- 0 |
| --10- 0 |
| .names n739 n742 n744 n746 n747 n753 n738 |
| 111111 1 |
| .names n234 n282 n562 n740 n741 n739 |
| 01111 1 |
| .names i_4_ n135 n187 n227 n317 n740 |
| 01--0 0 |
| --10- 0 |
| .names i_3_ n92 n387 n182 n741 |
| 010- 0 |
| -1-0 0 |
| .names n81 n235 n650 n743 n742 |
| 0-01 1 |
| -001 1 |
| .names i_6_ i_7_ n88 n91 n203 n743 |
| 01--1 0 |
| 0-11- 0 |
| -011- 0 |
| .names n92 o_2_ n257 n479 n745 n744 |
| 0-0-0 1 |
| -0000 1 |
| .names i_0_ i_1_ i_2_ i_6_ i_7_ n102 n745 |
| 010101 1 |
| 110011 1 |
| .names n166 n358 n627 n633 n746 |
| 0100 1 |
| .names n280 n713 n748 n750 n751 n752 n747 |
| 111111 1 |
| .names i_0_ i_1_ i_2_ n74 n749 n748 |
| 1011- 0 |
| 110-0 0 |
| .names i_3_ i_4_ i_5_ i_6_ i_7_ n749 |
| 11--- 1 |
| 1-1-- 1 |
| 1--1- 1 |
| 1---1 1 |
| -0111 1 |
| .names n78 n81 n83 o_3_ n285 n750 |
| 01--1 0 |
| --11- 0 |
| .names n83 n277 n329 n660 n751 |
| 1-0- 0 |
| -1-1 0 |
| .names i_6_ i_7_ n79 n202 n203 n752 |
| 00--1 0 |
| 111-- 0 |
| 1--1- 0 |
| .names n127 n130 n334 n520 n554 n754 n753 |
| 010100 1 |
| .names i_3_ n92 n108 n454 n135 n754 |
| 0111- 1 |
| --111 1 |
| .names i_4_ i_5_ n108 o_5_ |
| 011 1 |
| .names n757 n758 n759 n761 n767 n769 n756 |
| 101111 1 |
| .names n237 n239 n484 n662 n663 n757 |
| 00000 1 |
| .names i_0_ i_1_ i_2_ n75 n479 n758 |
| 0101- 1 |
| 111-1 1 |
| .names n183 n760 n759 |
| 10 1 |
| .names i_0_ i_1_ i_2_ n78 n492 n228 n760 |
| 10001- 1 |
| 111--1 1 |
| .names n557 n762 n763 n764 n765 n766 n761 |
| 000111 1 |
| .names i_6_ n83 n102 n285 n762 |
| 11-1 1 |
| -11- 1 |
| .names i_3_ i_4_ i_5_ i_6_ i_7_ n119 n763 |
| 0011-1 1 |
| 100--1 1 |
| 10-0-1 1 |
| -01101 1 |
| .names n74 n76 n187 n188 n220 n302 n764 |
| 0-0-00 1 |
| 0--100 1 |
| -00-00 1 |
| -0-100 1 |
| .names i_3_ i_4_ i_5_ i_6_ n88 n81 n765 |
| 10011- 0 |
| 10101- 0 |
| 111--1 0 |
| 11-1-1 0 |
| .names n159 n135 n161 n138 n145 n146 n766 |
| 1-1--- 0 |
| -1-0-- 0 |
| ----01 0 |
| .names n81 n179 n217 n432 n647 n768 n767 |
| 011-10 1 |
| -11110 1 |
| .names n316 n277 n367 n768 |
| 111 1 |
| .names n697 n278 n290 n617 n770 n769 |
| 00010 1 |
| .names i_0_ i_1_ i_2_ n99 n275 n770 |
| 100-1 1 |
| 1011- 1 |
| .names n144 n168 n176 n772 n774 n778 n771 |
| 111111 1 |
| .names i_5_ n97 n136 n139 n220 n773 n772 |
| 1-00-0 1 |
| -000-0 1 |
| --0000 1 |
| .names i_3_ i_4_ i_5_ i_6_ i_7_ n94 n773 |
| 011111 1 |
| 10---1 1 |
| 1-0--1 1 |
| 1--0-1 1 |
| .names n219 n81 n367 n604 n775 n776 n774 |
| 0--001 1 |
| -0-001 1 |
| --1001 1 |
| .names i_3_ i_6_ n92 n316 n210 n775 |
| 1110- 1 |
| 1-1-1 1 |
| .names i_6_ i_7_ n454 n135 n203 n777 n776 |
| 0---1- 0 |
| 1011-- 0 |
| -----0 0 |
| .names i_0_ i_1_ i_2_ i_3_ i_4_ i_5_ n777 |
| 001-11 0 |
| ---011 0 |
| .names n192 n556 n558 n779 n780 n781 n778 |
| 111001 1 |
| .names n85 n174 n779 |
| 10 1 |
| .names i_3_ i_4_ n81 n227 n317 n780 |
| 0-10- 1 |
| 101-0 1 |
| .names i_3_ n350 n92 n173 n174 n782 n781 |
| 0-10-- 0 |
| -1---0 0 |
| --1-0- 0 |
| .names i_0_ i_3_ i_4_ i_5_ i_6_ i_7_ n782 |
| 011000 0 |
| 110111 0 |
| .names n678 n784 n785 n786 n788 n783 |
| 11111 1 |
| .names n328 n374 n527 n623 n625 n784 |
| 11110 1 |
| .names n234 n538 n627 n676 n785 |
| 0001 1 |
| .names i_5_ i_6_ n220 n522 n541 n787 n786 |
| 1--000 1 |
| -0-000 1 |
| --0000 1 |
| .names i_3_ i_6_ i_7_ n480 n787 |
| 00-1 1 |
| 11-1 1 |
| -011 1 |
| .names n214 n240 n535 n201 n290 n633 n788 |
| 100100 1 |
| .names n92 n101 o_6_ |
| 11 1 |
| .names n75 n83 o_7_ |
| 11 1 |
| .names n75 n119 o_8_ |
| 11 1 |
| .names n92 n104 o_9_ |
| 11 1 |
| .names n120 o_31_ |
| 0 1 |
| .names n175 o_32_ |
| 0 1 |
| .names n197 o_33_ |
| 0 1 |
| .names n241 o_34_ |
| 0 1 |
| .names n287 o_35_ |
| 0 1 |
| .names n311 o_36_ |
| 0 1 |
| .names n327 o_37_ |
| 0 1 |
| .names n356 o_38_ |
| 0 1 |
| .names n375 o_39_ |
| 0 1 |
| .names n395 o_40_ |
| 0 1 |
| .names n425 o_41_ |
| 0 1 |
| .names n445 o_42_ |
| 0 1 |
| .names n490 o_43_ |
| 0 1 |
| .names n516 o_44_ |
| 0 1 |
| .names n526 o_45_ |
| 0 1 |
| .names n536 o_46_ |
| 0 1 |
| .names n552 o_47_ |
| 0 1 |
| .names n567 o_48_ |
| 0 1 |
| .names n573 o_49_ |
| 0 1 |
| .names n578 o_50_ |
| 0 1 |
| .names n588 o_51_ |
| 0 1 |
| .names n621 o_52_ |
| 0 1 |
| .names n642 o_53_ |
| 0 1 |
| .names n665 o_54_ |
| 0 1 |
| .names n687 o_55_ |
| 0 1 |
| .names n695 o_56_ |
| 0 1 |
| .names n708 o_57_ |
| 0 1 |
| .names n726 o_58_ |
| 0 1 |
| .names n738 o_59_ |
| 0 1 |
| .names n756 o_60_ |
| 0 1 |
| .names n771 o_61_ |
| 0 1 |
| .names n783 o_62_ |
| 0 1 |
| .end |
