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