.model top
.inputs di_7_ di_8_ di_9_ di_10_ di_11_ ci_1_ ci_0_ di_0_ di_1_ di_2_ di_3_ \
di_4_ di_5_ di_6_
.outputs d_2_ d_3_ cd_1_ d_0_ cd_0_ d_1_ c_1_ c_0_ v_0_ cs_0_ d_6_ d_7_ d_4_ \
d_5_
.names [2158] [2159] [2172] [2197] [2198] [2206] d_2_
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names [2158] [2159] [2172] [2197] [2198] [2216] d_3_
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names n_n342 [51] [2244] [2245] [2246] [2249] [2255] [2261] cd_1_
1------- 1
-1------ 1
--1----- 1
---1---- 1
----1--- 1
-----1-- 1
------1- 1
-------1 1
.names [2158] [2159] [2172] [2197] [2198] [2263] d_0_
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names [2310] [2311] [2313] [2330] [2331] [2347] cd_0_
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names [2158] [2159] [2172] [2197] [2198] [2355] d_1_
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names n_n535 [131] [125] [2316] [2324] [2402] [2403] c_1_
1------ 1
-----1- 1
------1 1
--11--- 1
-11-1-- 1
.names n_n535 [125] [2315] [2407] [2408] [2410] [2416] [2419] c_0_
1------- 1
-----1-- 1
------1- 1
-------1 1
-11----- 1
---11--- 1
.names di_9_ n_n452 n_n463 n_n462 [273] [274] [2496] [2501] v_0_
-1------ 1
--1----- 1
---1---- 1
------1- 1
-------1 1
1---1--- 1
1----1-- 1
.names [250] [2506] [2507] [2508] [2521] [2528] [2529] [2530] cs_0_
1------- 1
-1------ 1
--1----- 1
---1---- 1
----1--- 1
-----1-- 1
------1- 1
-------1 1
.names [2158] [2159] [2172] [2197] [2198] [2540] d_6_
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names [155] [2158] [2159] [2172] [2197] [2198] [2546] [2547] d_7_
1------- 1
-1------ 1
--1----- 1
---1---- 1
----1--- 1
-----1-- 1
------1- 1
-------1 1
.names [70] [2158] [2159] [2172] [2197] [2198] [2552] d_4_
1------ 1
-1----- 1
--1---- 1
---1--- 1
----1-- 1
-----1- 1
------1 1
.names [155] [2158] [2159] [2172] [2197] [2198] [2561] d_5_
1------ 1
-1----- 1
--1---- 1
---1--- 1
----1-- 1
-----1- 1
------1 1
.names n_n409 n_n410 n_n407 n_n413 [2372] [2394] n_n535
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names di_1_ di_2_ di_3_ di_4_ [141]
0110 1
.names di_7_ di_8_ di_9_ di_10_ ci_1_ di_5_ di_6_ [17]
1111011 1
.names di_0_ di_1_ di_2_ di_3_ di_4_ [18]
11111 1
.names [383] [384] [385] [386] [387] [388] n_n468
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names ci_0_ di_0_ di_1_ di_3_ di_4_ n_n706 [373] [374] n_n469
-----1-- 1
------1- 1
-------1 1
00010--- 1
.names ci_1_ di_3_ di_4_ n_n679 [184] [363] [2432] n_n470
---1--- 1
-----1- 1
------1 1
000-1-- 1
.names ci_0_ n_n461 [311] [312] [2462] [2463] [2475] [2476] n_n452
-1------ 1
----1--- 1
-----1-- 1
------1- 1
-------1 1
0-1----- 1
0--1---- 1
.names di_7_ di_8_ di_9_ di_10_ ci_1_ di_6_ [16]
011100 1
.names di_1_ di_2_ di_3_ di_4_ [123]
1100 1
.names di_10_ ci_1_ ci_0_ di_0_ di_1_ di_2_ di_4_ [168]
00-1001 1
-001001 1
.names di_8_ di_10_ di_11_ ci_1_ di_6_ [48]
01111 1
.names di_8_ di_9_ ci_1_ ci_0_ [115]
0000 1
.names di_7_ di_8_ ci_1_ ci_0_ di_6_ [143]
00100 1
.names di_8_ ci_1_ di_1_ di_2_ di_4_ di_6_ n_n706
100011 1
.names di_7_ di_8_ di_9_ ci_1_ di_5_ n_n679
00001 1
.names di_8_ di_9_ di_0_ di_1_ di_5_ di_6_ [184]
01---- 1
--10-- 1
--1-0- 1
----01 1
.names di_1_ di_2_ di_3_ di_4_ [140]
0011 1
.names di_0_ di_4_ [17] [519] [521] [522] [2357] [2358] n_n409
---1---- 1
----1--- 1
-----1-- 1
------1- 1
-------1 1
011----- 1
.names di_7_ di_9_ ci_1_ ci_0_ di_3_ di_4_ di_6_ [44]
0-0-001 1
1100--0 1
.names di_3_ di_4_ [17] [44] [510] [2362] [2363] n_n410
---1--- 1
----1-- 1
-----1- 1
------1 1
101---- 1
.names di_9_ ci_1_ ci_0_ di_1_ di_3_ di_5_ n_n620
000111 1
.names di_8_ di_9_ ci_1_ ci_0_ di_0_ di_1_ di_3_ di_6_ [105]
-000100- 1
1-001-01 1
.names di_8_ di_9_ di_10_ ci_1_ di_6_ n_n566
00011 1
.names ci_1_ di_1_ di_2_ di_3_ di_4_ di_5_ n_n571
100111 1
.names di_7_ di_8_ di_9_ ci_1_ di_5_ di_6_ n_n739
100001 1
.names di_7_ di_8_ di_9_ di_10_ ci_1_ di_2_ di_5_ di_6_ [79]
11110011 1
.names di_7_ di_8_ di_9_ ci_1_ ci_0_ di_5_ di_6_ [133]
1110011 1
.names di_7_ di_8_ di_9_ di_10_ di_11_ di_6_ [144]
111111 1
.names di_7_ di_8_ di_9_ di_10_ ci_1_ di_1_ di_2_ di_6_ n_n585
01110100 1
.names di_7_ di_8_ di_9_ di_10_ ci_1_ di_6_ n_n574
110010 1
.names ci_1_ di_0_ di_1_ di_2_ di_3_ di_4_ di_5_ n_n587
1111111 1
.names di_7_ di_9_ ci_1_ ci_0_ di_6_ [132]
01000 1
.names di_7_ di_9_ ci_1_ ci_0_ di_6_ [164]
10000 1
.names di_7_ di_9_ di_6_ n_n268
010 1
.names di_0_ di_4_ [139]
01 1
.names di_7_ di_8_ di_11_ ci_1_ ci_0_ [124]
01010 1
.names ci_0_ di_0_ di_2_ di_3_ di_4_ [156]
01000 1
.names n_n739 [353] [354] [355] [356] [357] [358] n_n466
1------ 1
-1----- 1
--1---- 1
---1--- 1
----1-- 1
-----1- 1
------1 1
.names di_7_ di_8_ di_9_ di_10_ ci_1_ di_2_ di_4_ di_6_ [193]
0-101--0 1
00---010 1
.names di_7_ di_8_ di_9_ ci_1_ ci_0_ di_0_ di_5_ di_6_ [163]
10000111 1
.names di_1_ di_2_ di_3_ di_4_ [131]
0011 1
.names di_8_ ci_1_ ci_0_ di_0_ di_5_ [125]
10011 1
.names di_7_ di_8_ di_9_ ci_1_ ci_0_ di_0_ di_5_ di_6_ [114]
11000110 1
.names di_8_ ci_1_ ci_0_ di_2_ di_3_ di_6_ n_n632
000010 1
.names di_7_ di_10_ ci_0_ di_1_ di_3_ di_4_ [57]
111100 1
.names n_n632 [57] n_n636 n_n637 [436] [539] [2375] n_n407
1------ 1
-1----- 1
--1---- 1
---1--- 1
----1-- 1
-----1- 1
------1 1
.names di_0_ di_1_ di_2_ di_4_ n_n739 n_n440 [106] [35] n_n413
----1--- 1
-----1-- 1
------1- 1
-------1 1
0001---- 1
.names di_8_ di_9_ ci_1_ ci_0_ di_0_ di_4_ [32]
0100-- 1
--0001 1
.names [44] n_n587 [32] [595] [596] [599] n_n342
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names di_7_ di_8_ ci_1_ di_0_ di_2_ di_3_ di_4_ di_6_ [51]
---1000- 1
001----0 1
.names di_7_ di_8_ di_9_ di_11_ ci_1_ di_5_ di_6_ [77]
01-01-- 1
100-001 1
.names ci_1_ ci_0_ di_0_ di_1_ di_3_ di_4_ di_5_ n_n440
11----- 1
1----00 1
--0010- 1
.names ci_1_ di_0_ di_1_ di_2_ di_3_ di_4_ [106]
-01100 1
1-0000 1
.names di_7_ di_8_ di_9_ ci_1_ ci_0_ di_3_ di_5_ di_6_ [65]
-100--00 1
0---1100 1
.names di_7_ di_8_ di_9_ ci_1_ ci_0_ di_1_ di_5_ di_6_ [66]
0000--1- 1
0---1100 1
.names di_7_ di_8_ di_9_ di_10_ ci_1_ di_6_ [78]
-00011 1
0-1010 1
.names di_7_ ci_1_ ci_0_ di_1_ di_3_ di_5_ n_n636
000001 1
.names di_7_ di_10_ ci_0_ di_2_ di_3_ di_4_ di_6_ [35]
101-010 1
1010-00 1
.names di_2_ [17] [16] [139] [222] [519] [2288] [2289] n_n373
-----1-- 1
------1- 1
-------1 1
01------ 1
-1-1---- 1
--1-1--- 1
.names di_0_ di_1_ di_2_ di_3_ di_4_ di_5_ [23]
111111 1
.names di_1_ di_2_ di_3_ di_4_ [200]
1-1- 1
-1-1 1
-0-0 1
.names di_7_ ci_1_ ci_0_ di_6_ [199]
00-- 1
0-0- 1
--00 1
.names [16] [79] [23] [200] [199] [313] [316] n_n461
-1----- 1
-----1- 1
------1 1
1--1--- 1
--1-1-- 1
.names di_7_ di_8_ ci_1_ ci_0_ di_2_ di_3_ di_5_ di_6_ [50]
0-00111- 1
-00001-0 1
.names di_1_ di_3_ di_4_ [17] [50] [545] [2268] [2269] n_n371
----1--- 1
-----1-- 1
------1- 1
-------1 1
0-11---- 1
-011---- 1
.names di_8_ di_9_ di_10_ ci_0_ di_5_ di_6_ [201]
0--1-- 1
-0-1-- 1
--01-- 1
---10- 1
---1-0 1
.names [18] n_n636 [201] n_n637 [534] [539] n_n370
-1---- 1
---1-- 1
----1- 1
-----1 1
1-1--- 1
.names ci_1_ di_0_ di_1_ di_2_ di_3_ di_4_ [138]
011111 1
.names [115] [288] [289] [290] [291] [292] [2479] n_n463
-1----- 1
--1---- 1
---1--- 1
----1-- 1
-----1- 1
1-----1 1
.names di_7_ di_9_ ci_1_ ci_0_ di_2_ di_3_ di_4_ di_6_ [213]
10001-10 1
0100-010 1
10000-00 1
.names di_7_ di_8_ di_9_ di_11_ ci_1_ ci_0_ di_5_ di_6_ [212]
01-0100- 1
111-0011 1
.names di_2_ di_5_ [213] [212] [281] [282] [2487] n_n462
----1-- 1
-----1- 1
------1 1
-11---- 1
0--1--- 1
.names di_7_ ci_1_ di_0_ di_1_ di_2_ di_3_ di_4_ di_6_ n_n637
00111111 1
.names ci_1_ ci_0_ di_0_ di_1_ di_2_ di_4_ di_5_ [219]
1010011 1
1010110 1
.names di_2_ di_3_ di_4_ [222]
1-1 1
-10 1
.names di_0_ di_2_ di_3_ di_4_ di_5_ [208]
0---- 1
-0--- 1
--0-- 1
---0- 1
----0 1
.names di_7_ di_9_ di_10_ ci_1_ ci_0_ di_5_ di_6_ [70]
--0-11- 1
---001- 1
10--11- 1
1---110 1
.names di_7_ di_8_ di_10_ di_5_ di_6_ [155]
10111 1
.names di_5_ [143] [144] [2518] [2519] [250]
11-1- 1
1-1-1 1
.names di_10_ ci_1_ ci_0_ di_0_ di_1_ di_4_ [266]
001000 1
.names di_7_ di_9_ ci_1_ ci_0_ di_3_ di_4_ di_6_ [269]
1000010 1
.names di_11_ ci_1_ ci_0_ di_1_ di_2_ di_5_ [270]
110010 1
.names di_7_ ci_1_ ci_0_ di_1_ di_2_ di_3_ di_4_ di_6_ [273]
10000-1- 1
100--000 1
.names ci_1_ ci_0_ di_0_ di_1_ di_2_ di_4_ [274]
001010 1
.names di_7_ di_9_ ci_1_ ci_0_ di_1_ di_3_ di_5_ di_6_ [281]
10001110 1
.names di_7_ di_8_ di_9_ di_10_ di_11_ ci_1_ ci_0_ [282]
0011110 1
.names di_7_ di_8_ di_11_ ci_1_ ci_0_ di_2_ di_5_ [288]
0101011 1
.names di_10_ ci_1_ ci_0_ di_1_ di_2_ di_4_ di_6_ [289]
1010100 1
.names di_7_ di_10_ ci_1_ ci_0_ di_2_ di_3_ di_4_ di_6_ [290]
10011-10 1
1001-010 1
10010-00 1
.names di_7_ di_10_ ci_1_ ci_0_ di_1_ di_2_ di_4_ [291]
1101001 1
.names di_7_ di_8_ di_9_ di_10_ ci_1_ ci_0_ di_6_ [292]
1100100 1
.names di_10_ di_11_ di_0_ di_1_ di_2_ di_3_ di_4_ di_5_ [303]
0-111111 1
-0111111 1
.names di_7_ di_10_ ci_1_ ci_0_ di_1_ di_2_ di_4_ di_5_ [305]
00010011 1
.names di_11_ ci_1_ ci_0_ di_1_ di_2_ di_3_ di_4_ di_5_ [308]
11000111 1
.names di_7_ di_8_ di_1_ di_2_ di_3_ di_4_ di_5_ [311]
0000111 1
.names di_8_ di_9_ di_0_ di_1_ di_2_ di_3_ di_4_ di_5_ [312]
0-111111 1
-0111111 1
.names ci_1_ ci_0_ di_0_ di_1_ di_2_ di_3_ di_4_ di_6_ [313]
01111110 1
.names di_7_ ci_1_ ci_0_ di_1_ di_2_ di_3_ di_4_ di_5_ [316]
11000111 1
.names di_7_ di_8_ di_9_ ci_1_ ci_0_ di_0_ di_5_ di_6_ [326]
11100111 1
.names di_7_ ci_1_ ci_0_ di_2_ di_3_ di_5_ di_6_ [331]
0011-00 1
00-0100 1
.names di_7_ di_9_ ci_1_ di_0_ di_3_ di_4_ [332]
000100 1
.names di_7_ ci_1_ ci_0_ di_1_ di_2_ di_5_ [334]
110010 1
.names di_7_ di_8_ ci_0_ di_0_ di_2_ di_3_ di_4_ [335]
1-01000 1
-101000 1
.names di_7_ di_8_ ci_1_ ci_0_ di_3_ di_6_ [336]
001010 1
.names di_7_ di_10_ ci_1_ ci_0_ di_3_ di_4_ di_5_ di_6_ [343]
000100-- 1
-0011-00 1
.names di_8_ ci_1_ ci_0_ di_1_ di_2_ di_5_ [346]
010010 1
.names di_7_ di_8_ ci_1_ ci_0_ di_0_ di_6_ [347]
001000 1
.names di_7_ di_8_ di_11_ ci_1_ ci_0_ di_1_ [348]
010101 1
.names di_0_ di_1_ di_2_ di_3_ di_4_ [351]
01100 1
.names di_7_ di_11_ ci_1_ ci_0_ di_1_ di_6_ [353]
001000 1
.names di_7_ di_9_ ci_1_ di_0_ di_3_ di_4_ di_5_ di_6_ [354]
0-00001- 1
-10000-0 1
.names di_8_ ci_1_ ci_0_ di_1_ di_2_ di_4_ [355]
001010 1
.names di_7_ di_8_ di_11_ ci_1_ ci_0_ di_3_ di_4_ [356]
010100- 1
01010-0 1
.names ci_0_ di_0_ di_2_ di_3_ di_4_ di_6_ [357]
010001 1
.names di_7_ ci_1_ di_1_ di_3_ di_5_ di_6_ [358]
001000 1
.names di_10_ di_11_ ci_1_ ci_0_ di_4_ di_5_ [363]
0010-- 1
--1000 1
.names di_8_ di_9_ ci_1_ ci_0_ di_3_ di_4_ di_5_ di_6_ [373]
000001-- 1
000010-- 1
0000--10 1
.names ci_1_ ci_0_ di_0_ di_1_ di_2_ di_4_ di_5_ [374]
01000-- 1
10000-- 1
0-0001- 1
1000--0 1
.names di_7_ ci_1_ di_1_ di_2_ di_3_ di_4_ di_6_ [383]
000110- 1
-001101 1
.names di_7_ di_8_ di_9_ ci_1_ di_1_ di_2_ di_4_ [384]
-010001 1
0-00001 1
.names di_8_ di_9_ ci_1_ ci_0_ di_0_ di_1_ di_2_ di_4_ [385]
0000-10- 1
00000--1 1
.names di_9_ ci_1_ di_1_ di_3_ di_4_ di_5_ [386]
000001 1
.names di_7_ di_8_ ci_1_ ci_0_ di_2_ di_6_ [387]
001010 1
.names di_8_ ci_1_ di_1_ di_3_ di_4_ di_6_ [388]
101001 1
.names di_9_ ci_1_ di_0_ di_3_ di_4_ di_5_ [436]
000001 1
.names di_8_ ci_1_ ci_0_ di_1_ di_3_ di_4_ di_6_ [444]
000-10- 1
00-1000 1
.names di_7_ di_8_ di_2_ di_6_ [445]
1101 1
.names di_7_ di_10_ ci_0_ di_1_ di_2_ di_3_ di_4_ di_6_ [483]
1011-1-0 1
101-1-10 1
.names di_7_ ci_0_ di_2_ di_5_ di_6_ [484]
01100 1
.names di_7_ di_8_ di_11_ ci_1_ [493]
0101 1
.names di_7_ di_9_ ci_1_ ci_0_ di_5_ [510]
00001 1
.names di_8_ ci_0_ di_1_ di_2_ di_4_ [519]
01001 1
.names di_7_ di_10_ ci_0_ di_1_ di_3_ di_4_ di_6_ [521]
001-00- 1
--10000 1
.names di_8_ ci_0_ di_1_ di_2_ di_4_ [522]
01010 1
.names di_7_ di_10_ ci_0_ di_1_ di_2_ di_4_ [534]
111001 1
.names di_7_ di_10_ ci_0_ di_1_ di_2_ di_4_ di_5_ [539]
0010011 1
.names di_7_ di_10_ ci_0_ di_5_ di_6_ [545]
10100 1
.names ci_1_ ci_0_ di_1_ di_2_ di_3_ di_4_ di_5_ [575]
0001-1- 1
00-01-0 1
.names di_8_ ci_1_ ci_0_ di_1_ di_3_ di_4_ di_6_ [576]
000-10- 1
00-1000 1
.names di_9_ ci_1_ di_0_ di_3_ di_4_ di_5_ [591]
000001 1
.names di_7_ di_8_ di_9_ di_10_ di_11_ ci_1_ di_6_ [595]
1111111 1
.names ci_1_ ci_0_ di_2_ di_3_ di_4_ di_6_ [596]
00101- 1
00-101 1
.names di_8_ ci_1_ ci_0_ di_2_ di_4_ [599]
10000 1
.names di_7_ ci_0_ di_2_ di_5_ di_6_ [620]
01100 1
.names di_7_ di_10_ ci_0_ di_2_ di_3_ di_4_ di_6_ [647]
101-010 1
1010-00 1
.names ci_1_ di_1_ di_2_ di_4_ [648]
0010 1
.names di_7_ di_10_ ci_0_ di_1_ di_2_ di_3_ di_4_ di_6_ [657]
1011-1-0 1
101-1-10 1
.names di_7_ di_8_ di_9_ di_10_ di_11_ ci_1_ di_6_ [666]
1111111 1
.names di_0_ di_1_ di_2_ di_3_ di_4_ [17] [2158]
--0--1 1
0---11 1
-0--11 1
---101 1
.names di_2_ di_3_ di_4_ [17] [16] [133] [666] [2159]
-----1- 1
------1 1
-011--- 1
1-1-1-- 1
-10-1-- 1
.names di_7_ di_8_ di_9_ di_10_ ci_1_ ci_0_ di_6_ [2166]
0-1-000 1
11001-0 1
.names ci_1_ di_0_ di_1_ di_2_ di_3_ di_4_ di_5_ [2169]
011111- 1
1111111 1
.names n_n571 n_n585 [164] [657] [2166] [2169] [2172]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names di_7_ di_8_ di_9_ di_10_ di_11_ ci_1_ di_3_ di_4_ [2179]
-----000 1
001111-- 1
.names di_9_ di_10_ di_11_ ci_1_ ci_0_ [2185]
-001- 1
00--1 1
.names ci_1_ di_0_ di_1_ di_2_ di_3_ di_4_ di_5_ [2188]
-000-1- 1
1-01--0 1
-01100- 1
1-0000- 1
.names di_8_ di_9_ ci_1_ ci_0_ di_1_ di_2_ di_4_ [2193]
0000--- 1
--0-001 1
.names [51] [77] [65] [647] [648] [2179] [2193] [2197]
1------ 1
-1----- 1
--1---- 1
---1--- 1
----1-- 1
-----1- 1
------1 1
.names n_n440 [66] [78] [620] [2185] [2188] [2198]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names ci_1_ di_1_ di_2_ di_3_ di_4_ di_5_ [2206]
01--0- 1
1-1--0 1
0011-- 1
101-1- 1
110-1- 1
0-011- 1
.names ci_1_ di_0_ di_1_ di_2_ di_3_ di_4_ di_5_ [2216]
0-1-0-- 1
1-1--0- 1
0-011-- 1
1-01-1- 1
0--011- 1
1-10--1 1
1111--1 1
110--11 1
.names di_0_ di_1_ di_2_ di_3_ di_4_ di_5_ di_6_ [2220]
1111100 1
.names di_0_ di_1_ di_3_ di_4_ di_5_ di_6_ [2224]
000000 1
.names di_8_ di_9_ ci_1_ ci_0_ di_1_ di_2_ di_3_ di_5_ [2238]
1-00-1-0 1
-0001-11 1
.names di_7_ di_9_ ci_1_ ci_0_ di_1_ di_3_ di_5_ [2239]
0000--1 1
0-00001 1
.names n_n637 [575] [2238] [2239] [2244]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n706 [105] [50] [576] [591] [2245]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names di_10_ di_11_ ci_1_ di_0_ di_1_ di_2_ di_4_ [2246]
001---- 1
---0001 1
.names ci_1_ di_0_ di_1_ di_2_ di_3_ di_4_ di_5_ [2249]
1----00 1
-00-10- 1
1-01--0 1
-01100- 1
1-0000- 1
.names di_7_ di_8_ di_9_ di_10_ di_11_ ci_1_ di_6_ [2251]
001111- 1
1100-10 1
.names ci_1_ ci_0_ di_1_ di_2_ di_3_ di_4_ di_5_ [2252]
-1----- 1
0-10--- 1
1-00111 1
.names di_7_ di_8_ di_9_ di_10_ di_11_ ci_1_ di_5_ di_6_ [2253]
01--01-- 1
-000-1-1 1
0-10-1-0 1
100--001 1
.names [2251] [2252] [2253] [2255]
1-- 1
-1- 1
--1 1
.names di_9_ ci_1_ [123] [115] [163] [131] [2220] [2224] [2261]
11------ 1
--1-1--- 1
----11-- 1
---1--1- 1
---1---1 1
.names ci_1_ di_0_ di_1_ di_2_ di_4_ di_5_ [2263]
01---- 1
-1---0 1
-110-- 1
-1-10- 1
110-11 1
.names di_7_ di_10_ ci_0_ di_0_ di_1_ di_2_ di_3_ di_4_ [2268]
-11101-0 1
111-1-00 1
.names di_7_ di_9_ ci_0_ di_1_ di_2_ di_4_ [2269]
-01001 1
0-1010 1
.names di_8_ ci_1_ ci_0_ di_1_ di_2_ di_3_ di_4_ di_6_ [2280]
--101101 1
00-1-000 1
.names di_9_ ci_1_ ci_0_ di_1_ di_2_ di_3_ di_4_ di_5_ [2281]
0-1--00- 1
-0001-1- 1
-00-01-0 1
0001-1-1 1
.names [105] [591] [2280] [2281] [2283]
1--- 1
-1-- 1
--1- 1
---1 1
.names di_10_ ci_0_ di_1_ di_2_ di_3_ di_4_ di_6_ [2288]
11000-- 1
01--001 1
.names di_8_ ci_1_ ci_0_ di_1_ di_2_ di_3_ di_4_ di_6_ [2289]
000--10- 1
10-00-11 1
.names di_8_ ci_1_ ci_0_ di_1_ di_2_ di_3_ di_4_ di_5_ [2293]
-0010--- 1
1----000 1
.names di_8_ di_9_ ci_1_ ci_0_ di_0_ di_2_ di_4_ di_5_ [2294]
0100---- 1
--000-1- 1
1-00-1-0 1
.names di_3_ di_4_ [17] [510] [521] [522] [2297]
---1-- 1
----1- 1
-----1 1
101--- 1
.names n_n585 [595] [596] [2293] [2298]
1--- 1
-1-- 1
--1- 1
---1 1
.names di_8_ ci_1_ ci_0_ di_2_ di_4_ [44] n_n587 [2294] [2299]
-----1-- 1
------1- 1
-------1 1
10000--- 1
.names di_7_ di_8_ di_9_ di_10_ di_11_ ci_1_ di_5_ di_6_ [2302]
001111-- 1
100--001 1
.names n_n574 [51] [65] [78] [35] [483] [493] [2302] [2310]
1------- 1
-1------ 1
--1----- 1
---1---- 1
----1--- 1
-----1-- 1
------1- 1
-------1 1
.names n_n571 n_n440 [66] [484] [2185] [2188] [2311]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names n_n373 n_n371 n_n370 [2283] [2297] [2298] [2299] [2313]
1------ 1
-1----- 1
--1---- 1
---1--- 1
----1-- 1
-----1- 1
------1 1
.names di_7_ di_9_ di_1_ di_2_ di_3_ di_4_ di_6_ [2315]
0100110 1
.names di_7_ di_9_ di_1_ di_2_ di_3_ di_4_ di_6_ [2316]
0111000 1
.names di_0_ di_1_ di_2_ di_3_ di_4_ [2318]
00100 1
.names di_0_ di_1_ di_2_ di_3_ di_4_ [2323]
00100 1
.names di_7_ di_9_ di_6_ [2324]
100 1
.names di_7_ di_8_ di_11_ ci_1_ di_0_ di_5_ di_6_ [2325]
1111--1 1
00--100 1
.names [17] [48] [125] [2315] [2318] [2325] [2330]
-1---- 1
-----1 1
--11-- 1
1---1- 1
.names [123] [133] n_n268 [163] [131] [125] [2323] [2324] [2331]
---11--- 1
-1----1- 1
1-1--1-- 1
1----1-1 1
.names di_10_ ci_0_ di_0_ di_5_ [2333]
0111 1
.names di_7_ di_8_ di_9_ ci_1_ di_6_ [2334]
11100 1
.names di_7_ di_8_ di_11_ ci_1_ di_0_ di_5_ di_6_ [2343]
1011--- 1
0--0000 1
.names di_7_ di_8_ di_9_ di_10_ ci_1_ ci_0_ di_5_ di_6_ [2346]
01-11--- 1
11-01--- 1
01---11- 1
-1-0-1-1 1
-1--0-01 1
-1-1-1-0 1
110--1-1 1
.names di_1_ di_2_ di_3_ di_4_ [2333] [2334] [2343] [2346] [2347]
------1- 1
-------1 1
110011-- 1
.names ci_1_ di_0_ di_1_ di_2_ di_3_ di_4_ di_5_ [2355]
---1-0- 1
0--10-- 1
1--1--0 1
0-011-- 1
1-01-1- 1
1-0-1-1 1
1111--1 1
.names di_7_ di_9_ di_10_ ci_0_ di_1_ di_3_ di_4_ [2357]
--0111- 1
01--1-1 1
.names di_10_ ci_0_ di_1_ di_2_ di_3_ di_4_ di_6_ [2358]
11000-- 1
01--001 1
.names di_8_ ci_1_ ci_0_ di_1_ di_2_ di_4_ di_5_ [2362]
-0-011- 1
100-1-0 1
.names di_8_ ci_1_ ci_0_ di_2_ di_3_ di_4_ di_6_ [2363]
-00101- 1
1000-0- 1
-00-101 1
.names di_7_ di_9_ di_10_ di_11_ ci_1_ di_2_ di_5_ di_6_ [2367]
---0111- 1
111----0 1
.names n_n706 n_n620 [105] [444] [445] [2367] [2372]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names di_10_ ci_0_ di_0_ di_1_ di_2_ di_3_ di_4_ di_6_ [2375]
11101-0- 1
-1-01101 1
.names di_8_ ci_1_ di_4_ di_6_ [2379]
110- 1
-110 1
.names di_11_ ci_1_ di_1_ di_2_ di_3_ di_5_ [2380]
110--- 1
---010 1
.names di_7_ di_8_ di_9_ di_3_ di_4_ di_5_ di_6_ [2384]
0--10-- 1
11---0- 1
-01---1 1
---01-1 1
-1-000- 1
.names di_7_ di_8_ di_9_ di_10_ di_11_ ci_1_ di_0_ [2390]
---0-1- 1
-----10 1
001111- 1
.names di_8_ di_9_ ci_1_ ci_0_ di_0_ di_1_ di_2_ di_4_ [2391]
-01----- 1
-0-1---- 1
0100---- 1
--00-10- 1
--000--1 1
.names n_n585 [2379] [2380] [2384] [2390] [2391] [2394]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names di_7_ di_8_ ci_0_ di_0_ di_2_ di_5_ [2397]
---00- 1
011--1 1
.names di_7_ di_8_ di_11_ ci_1_ di_0_ di_5_ di_6_ [2398]
-101--- 1
00--100 1
.names [140] [125] [2315] [2333] [2334] [2397] [2402]
-----1 1
-11--- 1
1--11- 1
.names [141] [123] [163] [114] [2333] [2334] [2398] [2403]
------1 1
-11---- 1
1--1--- 1
1---11- 1
.names di_7_ di_8_ di_9_ di_10_ ci_1_ di_0_ di_5_ di_6_ [2406]
01110110 1
.names di_1_ di_2_ di_3_ di_4_ [2407]
1111 1
.names di_7_ di_8_ di_9_ ci_1_ ci_0_ di_0_ di_5_ di_6_ [2408]
11100111 1
.names di_7_ di_8_ ci_1_ di_0_ di_1_ di_4_ di_5_ di_6_ [2410]
10-1---0 1
--11011- 1
.names di_7_ ci_1_ di_0_ di_1_ di_2_ di_5_ di_6_ [2411]
-11111- 1
000--00 1
.names di_1_ di_2_ di_3_ di_4_ [163] [114] [2411] [2416]
------1 1
11001-- 1
0011-1- 1
1100-1- 1
.names [17] [18] [123] [140] [2333] [2334] [2406] [2419]
11----- 1
---1--1 1
--1-11- 1
---111- 1
.names di_8_ di_9_ di_10_ ci_1_ ci_0_ di_5_ di_6_ [2432]
-0001-- 1
10-0-00 1
.names di_9_ [124] [156] [346] [347] [2447]
---1- 1
----1 1
01--- 1
0-1-- 1
.names ci_0_ n_n566 [343] [348] [351] [2448]
--1-- 1
---1- 1
01--- 1
0---1 1
.names ci_0_ [193] [331] [332] [334] [335] [336] [2456]
--1---- 1
---1--- 1
----1-- 1
-----1- 1
------1 1
01----- 1
.names di_0_ di_1_ di_3_ di_4_ [17] [133] [2462]
0--11- 1
-0-11- 1
0--1-1 1
-0-1-1 1
--10-1 1
.names ci_0_ di_0_ di_3_ di_4_ [17] [16] [326] [2463]
--0---1 1
-10-1-- 1
--101-- 1
1-01-1- 1
.names di_8_ di_10_ ci_1_ ci_0_ [2470]
0-01 1
-001 1
.names di_9_ di_5_ di_6_ [18] [138] [305] [308] [2470] [2475]
-----1-- 1
------1- 1
---1---1 1
10--1--- 1
0-1-1--- 1
.names ci_1_ ci_0_ di_1_ [144] [208] [303] [2476]
10---1 1
1001-- 1
10-11- 1
.names di_1_ di_2_ di_4_ di_5_ di_6_ [2479]
0-10- 1
01--1 1
.names di_7_ di_10_ ci_1_ ci_0_ di_1_ di_3_ di_4_ di_6_ [2487]
1101100- 1
100111-0 1
.names di_1_ di_2_ di_3_ di_4_ [132] [266] [269] [270] [2496]
-----1-- 1
------1- 1
-------1 1
1-1-1--- 1
-1-11--- 1
-0-01--- 1
.names n_n468 n_n469 n_n470 n_n466 [2447] [2448] [2456] [2501]
1------ 1
-1----- 1
--1---- 1
---1--- 1
----1-- 1
-----1- 1
------1 1
.names di_1_ di_2_ di_3_ di_4_ [114] [2408] [2506]
11001- 1
1111-1 1
.names di_7_ di_9_ di_6_ [141] [115] [125] [2224] [2315] [2507]
----1-1- 1
-----1-1 1
1001-1-- 1
.names [115] [133] [131] [125] [2220] [2316] [2323] [2324] [2508]
1---1--- 1
---1-1-- 1
-1----1- 1
--11---1 1
.names di_7_ di_8_ di_9_ di_10_ di_11_ di_3_ di_6_ [2515]
0111011 1
.names di_9_ di_10_ di_11_ di_0_ di_1_ di_2_ di_3_ di_4_ [2518]
11011000 1
.names ci_0_ di_0_ di_1_ di_2_ di_3_ di_4_ [2519]
011111 1
.names di_1_ di_2_ di_3_ di_4_ [219] [2333] [2334] [2515] [2521]
----1--1 1
0110-11- 1
1100-11- 1
.names di_7_ di_8_ di_9_ di_3_ di_5_ di_6_ [2524]
011000 1
.names di_7_ di_8_ di_9_ di_10_ ci_1_ di_0_ di_5_ di_6_ [2525]
01110110 1
.names di_1_ di_2_ di_3_ di_4_ [2333] [2334] [2406] [2528]
0011--1 1
001111- 1
.names di_0_ di_1_ di_2_ di_3_ di_4_ [17] [2525] [2529]
-1100-1 1
111111- 1
001001- 1
.names di_1_ di_2_ di_3_ di_4_ [168] [163] [2524] [2530]
----1-1 1
0011-1- 1
1100-1- 1
.names di_7_ di_8_ di_9_ di_10_ di_11_ ci_1_ ci_0_ di_6_ [2540]
0--0-1-- 1
-1--01-- 1
1--0--1- 1
01-1-1-- 1
11-0-1-- 1
1-0--00- 1
0-1---11 1
01----01 1
1-1---10 1
11--11-1 1
11---000 1
.names di_7_ di_8_ di_9_ ci_1_ ci_0_ di_6_ [2546]
0-100- 1
1-1-10 1
110-11 1
11-000 1
.names di_7_ di_8_ di_10_ di_11_ ci_1_ ci_0_ di_5_ di_6_ [2547]
-1-01--- 1
011-1--- 1
101-1--- 1
0-1--10- 1
001----0 1
10--00-1 1
0-1--111 1
.names di_7_ di_8_ di_10_ ci_1_ ci_0_ di_3_ di_5_ di_6_ [2552]
---1-1-- 1
0---1-11 1
001----0 1
.names di_7_ di_8_ di_9_ di_10_ di_11_ ci_1_ ci_0_ di_6_ [2561]
1--0--1- 1
----01-1 1
1----0-0 1
1-0--00- 1
01---1-1 1
1--0-1-1 1
-1-1--10 1
-0-111-1 1
110---11 1
10---001 1
.end