.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 ci_1_ di_1_ di_2_ di_3_ di_4_ di_5_ n_n543 d_2_
------1 1
01--0-- 1
1-1--0- 1
0011--- 1
101-1-- 1
110-1-- 1
0-011-- 1
.names n_n543 [2216] d_3_
1- 1
-1 1
.names n_n342 n_n344 [2244] [2245] [2255] [2259] [2260] cd_1_
1------ 1
-1----- 1
--1---- 1
---1--- 1
----1-- 1
-----1- 1
------1 1
.names ci_1_ di_0_ di_1_ di_2_ di_4_ di_5_ n_n543 d_0_
------1 1
01----- 1
-1---0- 1
-110--- 1
-1-10-- 1
110-11- 1
.names n_n367 n_n368 n_n377 [2308] [2311] [2348] cd_0_
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names n_n543 [2355] d_1_
1- 1
-1 1
.names n_n409 n_n410 [444] [2371] [2396] [2405] c_1_
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names n_n409 n_n410 [444] [2371] [2396] [2420] c_0_
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names n_n468 n_n469 n_n470 n_n456 n_n455 [2477] [2478] v_0_
1------ 1
-1----- 1
--1---- 1
---1--- 1
----1-- 1
-----1- 1
------1 1
.names [2528] [2529] [2530] [2533] cs_0_
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n543 [225] [227] [2536] [2537] d_6_
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names n_n543 [155] [2544] [2545] [2546] d_7_
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names di_7_ di_8_ di_10_ di_6_ n_n543 [70] [2551] d_4_
----1-- 1
-----1- 1
------1 1
0010--- 1
.names n_n543 n_n705 [48] [41] [155] [2560] d_5_
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names n_n319 [2158] [2159] [2170] [2171] [2195] [2198] n_n543
1------ 1
-1----- 1
--1---- 1
---1--- 1
----1-- 1
-----1- 1
------1 1
.names ci_1_ di_0_ di_1_ di_4_ di_5_ n_n703
11011 1
.names di_7_ di_8_ di_9_ ci_0_ di_6_ n_n705
11011 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 [115] [178] [383] [384] [386] [387] [388] n_n468
--1---- 1
---1--- 1
----1-- 1
-----1- 1
------1 1
11----- 1
.names [115] n_n706 [179] [372] [374] n_n469
-1--- 1
---1- 1
----1 1
1-1-- 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 [2442] [2443] [2447] [2448] [2454] [2455] n_n456
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names [268] [2484] [2485] [2489] [2490] [2496] n_n455
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----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 ci_1_ ci_0_ n_n267
00 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_0_ di_1_ di_2_ di_4_ [178]
-10- 1
0--1 1
.names di_8_ ci_1_ di_1_ di_2_ di_4_ di_6_ n_n706
100011 1
.names di_3_ di_4_ [30]
10 1
.names di_3_ di_4_ di_5_ di_6_ [179]
01-- 1
10-- 1
--10 1
.names di_8_ di_9_ ci_1_ di_5_ di_6_ n_n680
10000 1
.names di_7_ di_8_ di_9_ ci_1_ di_5_ n_n679
00001 1
.names ci_1_ ci_0_ [19]
10 1
.names ci_1_ di_3_ di_4_ [29]
000 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_ di_5_ [112]
0-- 1
-0- 1
--0 1
.names [17] [139] [519] [521] [522] [2357] [2358] n_n409
--1---- 1
---1--- 1
----1-- 1
-----1- 1
------1 1
11----- 1
.names di_8_ ci_1_ ci_0_ di_2_ di_5_ [34]
10010 1
.names di_2_ di_3_ di_4_ di_6_ [43]
101- 1
-101 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_ di_10_ ci_1_ di_6_ n_n566
00011 1
.names di_7_ di_8_ di_9_ di_10_ di_11_ ci_1_ n_n562
001111 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_ 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_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_10_ ci_0_ di_6_ [31]
1010 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_1_ di_2_ di_3_ di_4_ [187]
1-1- 1
-1-1 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 di_7_ di_9_ di_5_ di_6_ [189]
0-1- 1
-1-0 1
.names di_7_ ci_1_ di_3_ di_4_ di_5_ di_6_ [190]
0000-- 1
-01-00 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_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 ci_0_ di_1_ di_2_ di_3_ di_4_ di_6_ [60]
101101 1
.names di_10_ ci_0_ di_0_ di_1_ di_2_ di_4_ [82]
111010 1
.names n_n739 n_n440 [87] [106] [35] n_n413
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 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_ di_9_ di_11_ ci_1_ di_5_ di_6_ [77]
01-01-- 1
100-001 1
.names [29] n_n562 [77] [26] [647] [648] [655] n_n319
1------ 1
-1----- 1
--1---- 1
---1--- 1
----1-- 1
-----1- 1
------1 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 di_0_ di_1_ di_2_ di_4_ [87]
0001 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_ 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_0_ di_1_ di_2_ di_3_ di_4_ di_5_ [23]
111111 1
.names ci_1_ ci_0_ di_1_ di_2_ di_3_ di_4_ di_5_ [161]
1000111 1
.names di_7_ ci_1_ ci_0_ di_6_ [199]
00-- 1
0-0- 1
--00 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] [138] [534] [539] [2237] n_n370
-1----- 1
----1-- 1
-----1- 1
1-1---- 1
---1--1 1
.names [57] [82] n_n370 [2269] [2273] [2283] n_n367
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names ci_1_ ci_0_ di_0_ n_n224
001 1
.names [2291] [2292] [2297] [2298] [2299] n_n368
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names n_n562 n_n739 [78] [35] [26] [493] [655] n_n377
1------ 1
-1----- 1
--1---- 1
---1--- 1
----1-- 1
-----1- 1
------1 1
.names di_1_ di_2_ di_3_ di_4_ [203]
1-1- 1
-1-1 1
.names ci_1_ di_0_ di_1_ di_2_ di_3_ di_4_ [138]
011111 1
.names di_7_ di_10_ ci_0_ di_2_ di_3_ di_4_ di_6_ [210]
1011-10 1
101-010 1
1010-00 1
.names di_1_ di_2_ di_3_ di_4_ [215]
1-1- 1
-1-1 1
-0-0 1
.names ci_1_ ci_0_ di_0_ di_1_ di_2_ di_4_ di_5_ [219]
1010011 1
1010110 1
.names di_0_ di_2_ di_3_ di_4_ [655] [2246] [2249] n_n344
----1-- 1
-----1- 1
------1 1
1000--- 1
.names di_7_ di_8_ di_9_ di_5_ di_6_ [24]
11111 1
.names di_0_ di_2_ di_3_ di_4_ [26]
1000 1
.names di_8_ di_9_ di_1_ di_6_ [223]
-00- 1
1--1 1
.names di_10_ di_11_ [209]
0- 1
-0 1
.names di_7_ di_1_ di_2_ di_3_ di_4_ di_6_ [217]
100-1- 1
1--000 1
.names di_7_ di_9_ di_10_ ci_1_ ci_0_ [41]
1-0-1 1
10-00 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_7_ di_8_ di_9_ di_10_ ci_1_ ci_0_ di_6_ [225]
0--01-- 1
0-1--11 1
01---01 1
.names di_7_ di_8_ di_9_ ci_1_ ci_0_ di_6_ [227]
1-1-10 1
11-000 1
.names di_5_ [143] [144] [26] [2517] [2519] [250]
1-1--1 1
11-11- 1
.names di_10_ ci_1_ ci_0_ di_0_ di_1_ di_4_ [266]
001000 1
.names di_9_ ci_1_ ci_0_ [217] [274] [268]
1---1 1
1001- 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 ci_1_ ci_0_ di_0_ di_1_ di_2_ di_4_ [274]
001010 1
.names di_7_ di_10_ ci_1_ ci_0_ di_1_ di_3_ di_6_ [277]
1001110 1
.names di_7_ di_10_ ci_1_ ci_0_ di_1_ di_3_ di_4_ [280]
1101100 1
.names di_7_ di_8_ di_9_ di_10_ di_11_ ci_1_ ci_0_ [282]
0011110 1
.names di_7_ di_9_ ci_1_ ci_0_ di_2_ di_4_ di_6_ [285]
1000110 1
1000000 1
.names di_7_ di_9_ ci_1_ ci_0_ di_3_ di_4_ di_6_ [286]
0100010 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_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_8_ di_9_ ci_0_ [23] [311] [307]
--0-1 1
0-01- 1
-001- 1
.names di_7_ di_8_ di_1_ di_2_ di_3_ di_4_ di_5_ [311]
0000111 1
.names ci_1_ ci_0_ di_0_ di_3_ [17] [24] [321]
--101- 1
0010-1 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_8_ di_2_ di_4_ di_6_ [339]
00010 1
.names di_7_ di_9_ di_10_ ci_1_ di_6_ [340]
01010 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_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 ci_0_ di_0_ di_1_ di_3_ di_4_ [372]
00010 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_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_7_ di_8_ di_0_ di_6_ [397]
1010 1
.names di_7_ di_9_ di_6_ [141] [125] [2333] [2334] [406]
---1-11 1
10011-- 1
.names di_9_ ci_1_ di_0_ di_3_ di_4_ di_5_ [436]
000001 1
.names di_11_ ci_1_ di_2_ di_5_ [442]
0111 1
.names di_7_ di_9_ di_10_ di_6_ [443]
1110 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_8_ di_10_ ci_1_ ci_0_ di_6_ [471]
1101-- 1
-10-11 1
-11-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_8_ di_3_ di_4_ di_5_ [499]
1000 1
.names di_7_ di_9_ ci_1_ ci_0_ di_5_ [510]
00001 1
.names di_8_ ci_1_ ci_0_ di_3_ di_4_ [512]
00010 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_8_ ci_1_ di_1_ di_3_ di_4_ di_6_ [525]
001000 1
.names ci_1_ ci_0_ di_1_ di_2_ di_3_ di_4_ di_5_ [527]
0001-1- 1
00-01-0 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_7_ ci_1_ ci_0_ di_2_ di_3_ di_5_ [585]
000111 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_ ci_0_ di_1_ di_5_ di_6_ [631]
01100 1
.names di_7_ ci_0_ di_3_ di_5_ di_6_ [633]
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_8_ ci_1_ di_6_ [655]
0010 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 di_7_ di_10_ ci_0_ di_6_ [164] [187] [2166] [2170]
----1-- 1
------1 1
1010-1- 1
.names di_1_ di_2_ [16] n_n571 [2169] [2171]
---1- 1
----1 1
101-- 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 di_8_ di_9_ ci_1_ di_5_ di_6_ [633] [2193] [2195]
-----1- 1
------1 1
10000-- 1
.names n_n679 n_n440 [78] [620] [631] [2185] [2188] [2198]
1------ 1
-1----- 1
--1---- 1
---1--- 1
----1-- 1
-----1- 1
------1 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_7_ di_8_ di_9_ di_5_ di_6_ [2217]
10011 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 ci_1_ ci_0_ di_0_ di_3_ [2231]
0010 1
.names di_6_ di_7_ [2237]
10 1
.names di_7_ di_9_ ci_1_ ci_0_ di_1_ di_3_ di_5_ [2239]
0000--1 1
0-00001 1
.names di_7_ di_6_ [34] n_n620 [138] [575] [2239] [2244]
--1---- 1
---1--- 1
-----1- 1
------1 1
01--1-- 1
.names n_n706 n_n632 [223] [576] [585] [591] [2231] [2245]
1------ 1
-1----- 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 [77] [78] [2251] [2252] [2255]
1--- 1
-1-- 1
--1- 1
---1 1
.names di_1_ di_2_ di_3_ di_4_ n_n224 [2217] [2259]
001111 1
110011 1
.names di_8_ di_9_ ci_1_ ci_0_ [2220] [2224] [2260]
-11--- 1
00001- 1
0000-1 1
.names di_7_ di_9_ ci_0_ di_1_ di_2_ di_4_ [2269]
-01001 1
0-1010 1
.names di_1_ di_3_ di_4_ [17] n_n632 [545] [585] [2273]
----1-- 1
-----1- 1
------1 1
0-11--- 1
-011--- 1
.names di_9_ ci_1_ ci_0_ di_1_ di_3_ di_4_ di_5_ [2279]
0-1-00- 1
00011-1 1
.names [60] [223] [525] [527] [591] [2231] [2279] [2283]
1------ 1
--1---- 1
---1--- 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_0_ di_4_ [17] [519] [2288] [2291]
---1- 1
----1 1
011-- 1
.names di_2_ di_3_ di_4_ [17] [16] n_n706 [512] [2292]
-----1- 1
------1 1
0--1--- 1
1-1-1-- 1
-10-1-- 1
.names di_3_ di_4_ [17] [510] [521] [522] [2297]
---1-- 1
----1- 1
-----1 1
101--- 1
.names di_1_ di_2_ [16] n_n267 [43] [499] [595] [2298]
-----1- 1
------1 1
---11-- 1
101---- 1
10-1--- 1
.names [34] [44] n_n587 [32] [599] [2299]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names n_n680 n_n574 [31] [203] [633] [2308]
1---- 1
-1--- 1
----1 1
--11- 1
.names n_n679 n_n571 n_n440 [484] [631] [2185] [2188] [2311]
1------ 1
-1----- 1
--1---- 1
---1--- 1
----1-- 1
-----1- 1
------1 1
.names di_5_ di_8_ [2314]
11 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 di_8_ di_5_ [131] n_n224 [2217] [2316] [2328]
--111- 1
11-1-1 1
.names di_7_ di_9_ di_6_ [123] [133] [125] [2323] [2329]
----1-1 1
1001-1- 1
.names [17] [48] [125] [2315] [2318] [2325] [2330]
-1---- 1
-----1 1
--11-- 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_10_ ci_1_ ci_0_ di_5_ [2341]
0111-- 1
01--11 1
.names di_7_ di_8_ di_9_ ci_1_ ci_0_ di_5_ di_6_ [2342]
-1-0-01 1
110-1-1 1
.names di_7_ di_8_ di_11_ ci_1_ di_0_ di_5_ di_6_ [2343]
1011--- 1
0--0000 1
.names [123] [471] [2333] [2334] [2341] [2342] [2343] [2347]
-1----- 1
----1-- 1
-----1- 1
------1 1
1-11--- 1
.names [2328] [2329] [2330] [2347] [2348]
1--- 1
-1-- 1
--1- 1
---1 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 n_n706 n_n620 [223] [442] [443] [445] [2231] [2371]
1------ 1
-1----- 1
---1--- 1
----1-- 1
-----1- 1
--1---1 1
.names n_n632 [57] [436] [2376]
1-- 1
-1- 1
--1 1
.names di_7_ di_6_ [60] [82] n_n636 [138] [539] [2377]
--1---- 1
---1--- 1
----1-- 1
------1 1
01---1- 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_9_ ci_1_ ci_0_ di_1_ di_2_ [2389]
01--- 1
0-1-- 1
-0010 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_1_ di_2_ [16] [32] [2389] [2390] [2393]
---1-- 1
----1- 1
-----1 1
101--- 1
.names n_n413 [2376] [2377] [2379] [2380] [2384] [2393] [2396]
1------ 1
-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 di_7_ di_9_ di_6_ [131] [125] [2316] [2401]
----11 1
10011- 1
.names [140] [125] [2315] [2333] [2334] [2397] [2402]
-----1 1
-11--- 1
1--11- 1
.names [123] n_n224 [406] [2217] [2398] [2401] [2402] [2405]
--1---- 1
----1-- 1
-----1- 1
------1 1
11-1--- 1
.names di_1_ di_2_ di_3_ di_4_ [2407]
1111 1
.names di_7_ ci_1_ di_0_ di_1_ di_2_ di_5_ di_6_ [2411]
-11111- 1
000--00 1
.names n_n703 n_n224 [24] [397] [2314] [2315] [2407] [2415]
1------ 1
---1--- 1
-1--11- 1
-11---1 1
.names [123] [131] n_n224 [2217] [2314] [2324] [2411] [2416]
------1 1
1-11--- 1
1-1-11- 1
-11-11- 1
.names [17] [18] [123] [2333] [2334] [2417]
11--- 1
--111 1
.names di_10_ ci_0_ di_0_ di_5_ [16] [140] [2334] [2418]
--1111- 1
0111-11 1
.names [2415] [2416] [2417] [2418] [2420]
1--- 1
-1-- 1
--1- 1
---1 1
.names di_8_ di_9_ di_10_ ci_1_ ci_0_ di_5_ di_6_ [2432]
-0001-- 1
10-0-00 1
.names ci_1_ di_0_ di_3_ di_4_ [2437]
0000 1
.names n_n739 [353] [357] [2442]
1-- 1
-1- 1
--1 1
.names [189] [355] [356] [358] [2437] [2443]
-1--- 1
--1-- 1
---1- 1
1---1 1
.names di_9_ [124] [156] [346] [347] [2447]
---1- 1
----1 1
01--- 1
0-1-- 1
.names di_10_ ci_0_ n_n566 [190] [348] [351] [2448]
----1- 1
-01--- 1
-0---1 1
01-1-- 1
.names ci_0_ [336] [339] [340] [2454]
-1-- 1
0-1- 1
0--1 1
.names [331] [332] [334] [335] [2455]
1--- 1
-1-- 1
--1- 1
---1 1
.names ci_0_ di_3_ di_4_ [2458]
101 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_1_ ci_0_ di_6_ [2464]
010 1
.names di_1_ di_2_ di_3_ di_4_ [16] [23] [199] [2468]
-----11 1
1-1-1-- 1
-1-11-- 1
-0-01-- 1
.names di_7_ di_2_ [17] [18] [161] [2464] [2469]
-01--- 1
1---1- 1
---1-1 1
.names di_8_ di_10_ ci_1_ ci_0_ [2470]
0-01 1
-001 1
.names di_7_ di_10_ ci_0_ di_5_ [2471]
0011 1
.names ci_1_ di_1_ di_2_ di_4_ [18] [2470] [2471] [2473]
----11- 1
0001--1 1
.names di_9_ di_11_ di_5_ di_6_ [161] [138] [2474]
-1--1- 1
1-0--1 1
0--1-1 1
.names di_1_ di_2_ di_3_ [19] [112] [144] [209] [2476]
0--1-1- 1
-0-1-1- 1
--01-1- 1
---111- 1
11110-1 1
.names [307] [2468] [2469] [2473] [2474] [2477]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [17] [16] [30] [321] [2458] [2462] [2476] [2478]
---1--- 1
-----1- 1
------1 1
1-1---- 1
-1--1-- 1
.names di_1_ di_2_ di_4_ di_5_ di_6_ [2479]
0-10- 1
01--1 1
.names ci_1_ [210] [292] [2484]
--1 1
01- 1
.names [115] [288] [289] [291] [2479] [2485]
-1--- 1
--1-- 1
---1- 1
1---1 1
.names di_7_ di_6_ n_n620 [277] [280] [282] [2489]
---1-- 1
----1- 1
-----1 1
101--- 1
.names di_2_ di_5_ [133] [124] [285] [286] [2490]
0-1--- 1
-1--1- 1
-1---1 1
00-1-- 1
.names [132] [215] [266] [269] [270] [2496]
--1-- 1
---1- 1
----1 1
11--- 1
.names di_7_ di_9_ di_6_ [115] [131] [125] [2220] [2504]
---1--1 1
100-11- 1
.names [133] [125] [2316] [2323] [2505]
-11- 1
1--1 1
.names di_8_ di_5_ [123] n_n224 [24] [2324] [2407] [2506]
---11-1 1
1111-1- 1
.names [141] [115] [125] [2224] [2315] [2324] [2507]
-1-1-- 1
--1-1- 1
1-1--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_1_ [2517]
1101 1
.names ci_0_ di_0_ di_1_ di_2_ di_3_ di_4_ [2519]
011111 1
.names [141] [123] [219] [2333] [2334] [2515] [2521]
--1--1 1
1--11- 1
-1-11- 1
.names di_7_ di_8_ di_9_ di_3_ di_5_ di_6_ [2524]
011000 1
.names di_10_ ci_0_ di_0_ di_5_ [16] [140] [2334] [2528]
--1111- 1
0111-11 1
.names di_0_ di_5_ [17] [18] [16] [123] [2318] [2529]
--11--- 1
--1---1 1
11--11- 1
.names [123] [168] [131] n_n224 [2217] [2524] [2530]
-1---1 1
1--11- 1
--111- 1
.names [250] [2504] [2505] [2506] [2507] [2521] [2533]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names di_7_ di_8_ di_10_ di_11_ ci_1_ di_6_ [2536]
110-1- 1
11-111 1
.names di_7_ di_8_ di_9_ di_10_ di_11_ ci_1_ ci_0_ [2537]
-1--01- 1
1--0--1 1
01-1-1- 1
1-0--00 1
.names di_7_ di_8_ di_10_ di_11_ ci_1_ ci_0_ di_6_ [2544]
-1-01-- 1
011-1-- 1
10--001 1
.names di_7_ di_8_ di_10_ ci_1_ ci_0_ di_5_ di_6_ [2545]
1011--- 1
0-1-10- 1
001---0 1
0-1-111 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_ ci_1_ ci_0_ di_3_ di_5_ di_6_ [2551]
-1-1-- 1
0-1-11 1
.names di_7_ di_8_ di_10_ di_11_ ci_1_ ci_0_ di_6_ [2560]
---01-1 1
1---0-0 1
01--1-1 1
1-0-1-1 1
-11--10 1
10--001 1
.end