.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 n_n314 n_n378 [2196] [2197] [2206] d_2_
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names n_n314 n_n378 [2196] [2197] [2214] [2215] d_3_
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names [2256] [2257] [2259] [2260] cd_1_
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n314 n_n378 [2196] [2197] [2263] d_0_
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [2283] [2284] [2300] [2301] [2312] [2348] cd_0_
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names n_n314 n_n378 [2196] [2197] [2353] [2354] d_1_
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names n_n411 [2372] [2373] [2393] [2395] [2405] c_1_
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names n_n411 [2372] [2373] [2393] [2395] [2420] c_0_
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names n_n456 [2477] [2478] [2497] [2498] [2500] v_0_
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names n_n443 [249] [250] [2520] [2532] cs_0_
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names n_n314 n_n378 [2196] [2197] [2540] d_6_
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names n_n314 n_n378 [155] [2196] [2197] [2548] d_7_
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names n_n314 n_n378 [2196] [2197] [2553] d_4_
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names n_n314 n_n378 [155] [2196] [2197] [2561] d_5_
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names di_1_ di_2_ [117]
10 1
.names ci_1_ di_0_ di_1_ di_4_ di_5_ n_n703
11011 1
.names ci_1_ di_0_ di_1_ di_2_ di_5_ n_n704
11111 1
.names di_2_ di_4_ [27]
11 1
.names di_2_ di_3_ [69]
0- 1
-0 1
.names di_7_ di_8_ di_9_ ci_0_ di_6_ n_n705
11011 1
.names di_7_ ci_1_ di_0_ di_5_ di_6_ [76]
00000 1
.names di_1_ di_2_ di_3_ di_4_ [2333] [2334] n_n829
001111 1
.names di_8_ di_11_ ci_1_ [49]
101 1
.names di_7_ di_8_ di_0_ di_5_ di_6_ [89]
00100 1
.names di_1_ di_2_ di_3_ di_4_ [141]
0110 1
.names di_0_ di_1_ di_2_ di_3_ di_4_ [18]
11111 1
.names di_0_ [115] n_n706 [180] [179] [372] n_n469
--1--- 1
-----1 1
0--1-- 1
-1--1- 1
.names n_n680 n_n679 [29] [184] [362] [363] n_n470
1----- 1
-1---- 1
----1- 1
-----1 1
--11-- 1
.names [2442] [2443] [2447] [2448] [2454] [2455] n_n456
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names [257] [2503] [2504] [2505] [2506] n_n443
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_7_ di_8_ di_11_ ci_1_ di_6_ [73]
11111 1
.names di_8_ di_9_ di_10_ ci_1_ ci_0_ di_6_ [170]
--01-- 1
-1--11 1
1---01 1
.names di_9_ di_10_ ci_1_ ci_0_ [169]
-0-1 1
0-00 1
.names ci_1_ ci_0_ n_n267
00 1
.names di_7_ di_9_ di_10_ ci_1_ ci_0_ di_6_ [173]
--0-1- 1
---00- 1
10--1- 1
1---10 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 ci_1_ di_1_ di_2_ di_4_ [121]
0001 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 ci_1_ ci_0_ di_1_ di_2_ di_4_ di_5_ [180]
0100-- 1
1000-- 1
0-001- 1
100--0 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 di_10_ ci_0_ [22]
01 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 di_3_ di_4_ [186] [522] n_n438
---1 1
001- 1
.names di_10_ ci_0_ di_1_ di_2_ di_3_ [55]
11000 1
.names di_0_ di_4_ n_n245 [519] [2147] [59]
---1- 1
011-1 1
.names di_10_ ci_0_ di_3_ di_4_ di_6_ [74]
01001 1
.names di_8_ ci_1_ ci_0_ di_2_ di_5_ [34]
10010 1
.names di_3_ di_4_ n_n245 [510] [2147] [75]
---1- 1
101-1 1
.names di_9_ ci_1_ ci_0_ di_1_ di_3_ di_5_ n_n620
000111 1
.names ci_1_ ci_0_ di_1_ di_3_ di_4_ di_6_ [38]
00-10- 1
0-1000 1
.names di_8_ di_9_ di_10_ ci_1_ di_6_ n_n566
00011 1
.names di_7_ di_8_ [99]
1- 1
-1 1
.names di_7_ di_8_ di_9_ di_10_ di_11_ ci_1_ n_n562
001111 1
.names di_7_ di_10_ ci_0_ di_1_ di_6_ [186]
001-- 1
--100 1
.names [599] [601] [602] n_n350
1-- 1
-1- 1
--1 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_3_ di_4_ [116]
01 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 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 [2156] [2157] [2158] [2170] [2171] n_n314
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names di_7_ di_8_ di_11_ n_n284
010 1
.names ci_1_ ci_0_ di_1_ n_n133
100 1
.names di_7_ di_9_ di_6_ n_n268
010 1
.names di_7_ di_5_ di_6_ n_n245
111 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_3_ di_4_ [188]
0- 1
-0 1
.names di_7_ ci_1_ di_3_ di_4_ di_5_ di_6_ [190]
0000-- 1
-01-00 1
.names ci_0_ di_2_ di_3_ [194]
11- 1
-01 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_6_ n_n291 n_n636 [138] [2274] n_n381
---1-- 1
--1--1 1
01--1- 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 [2379] [2380] [2381] [2382] n_n411
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 di_2_ di_3_ di_4_ [195]
-01 1
0-0 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 ci_1_ ci_0_ [106] [46] [2185] [2186] n_n378
--1--- 1
---1-- 1
----1- 1
-----1 1
11---- 1
.names di_7_ di_8_ di_9_ di_10_ ci_1_ di_6_ [78]
-00011 1
0-1010 1
.names di_1_ di_2_ di_4_ n_n291
001 1
.names di_7_ ci_1_ ci_0_ di_1_ di_3_ di_5_ n_n636
000001 1
.names di_0_ di_1_ di_3_ di_4_ [197]
0--1 1
-0-1 1
--10 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 ci_1_ di_0_ di_1_ di_3_ di_4_ di_5_ [46]
1---00 1
-0010- 1
.names di_7_ di_10_ ci_0_ [134]
111 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 di_1_ di_2_ di_3_ di_4_ di_5_ [39]
01-1- 1
-01-0 1
.names ci_1_ ci_0_ di_0_ n_n224
001 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_9_ di_5_ di_6_ [204]
10- 1
0-1 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_ [24] [2407] [62]
00111 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_2_ di_3_ di_4_ [221]
-01 1
0-0 1
.names di_2_ di_3_ di_4_ [222]
1-1 1
-10 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_8_ di_11_ ci_1_ di_6_ [37]
--011 1
01-11 1
.names di_7_ di_9_ di_10_ ci_1_ ci_0_ [41]
1-0-1 1
10-00 1
.names di_7_ di_8_ di_10_ di_6_ [71]
0010 1
.names di_7_ di_10_ ci_0_ di_5_ di_6_ [93]
0110- 1
01111 1
.names di_7_ di_8_ di_10_ ci_1_ di_6_ [94]
1011- 1
001-0 1
.names di_7_ di_8_ ci_1_ ci_0_ di_6_ [95]
10001 1
.names di_7_ di_8_ di_10_ di_5_ di_6_ [155]
10111 1
.names di_7_ di_8_ di_9_ ci_1_ ci_0_ di_6_ [227]
1-1-10 1
11-000 1
.names [247] [248] [2524] [237]
1-1 1
-11 1
.names di_0_ di_5_ [16] [123] [238]
1111 1
.names di_10_ ci_1_ di_0_ di_1_ di_2_ di_4_ [247]
001001 1
.names ci_1_ ci_0_ di_0_ di_1_ di_2_ di_4_ [248]
001001 1
.names n_n703 n_n284 n_n133 [2511] [2512] [2514] [249]
-111-1 1
11--11 1
.names di_5_ [143] [144] [26] [2517] [2519] [250]
1-1--1 1
11-11- 1
.names di_7_ di_9_ di_6_ [141] [125] [257]
10011 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_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 ci_1_ ci_0_ di_2_ [24] [283] [278]
--0-1 1
0001- 1
.names di_2_ di_3_ di_4_ di_5_ [132] [164] [279]
-0111- 1
1-11-1 1
0-01-1 1
.names di_7_ di_8_ di_11_ ci_1_ ci_0_ di_5_ [283]
010100 1
.names di_8_ di_9_ ci_0_ [140] [23] [2472] [307]
0-0-1- 1
-00-1- 1
--01-1 1
.names di_7_ ci_1_ ci_0_ di_5_ [131] [316]
11011 1
.names di_0_ di_3_ n_n267 n_n245 [24] [2147] [321]
101-1- 1
10-1-1 1
.names ci_1_ ci_0_ [197] [24] [322]
0011 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_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 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_9_ di_10_ ci_1_ ci_0_ [362]
0001 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 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 [141] [125] [2324] [2333] [2334] [406]
111-- 1
1--11 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_7_ di_8_ di_2_ di_6_ [445]
1101 1
.names ci_1_ di_1_ di_2_ di_4_ [451]
0011 1
.names di_8_ ci_1_ ci_0_ di_2_ di_4_ [452]
10000 1
.names ci_1_ ci_0_ di_2_ di_3_ di_4_ di_6_ [453]
00101- 1
00-101 1
.names di_7_ di_9_ di_1_ di_4_ [457]
0111 1
.names di_10_ ci_0_ di_1_ di_3_ [458]
0111 1
.names di_8_ ci_1_ di_5_ di_6_ [470]
1001 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_ di_8_ di_11_ ci_1_ [472]
1011 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_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 di_9_ ci_0_ di_3_ di_4_ [526]
0100 1
.names di_7_ di_10_ ci_0_ di_5_ di_6_ [545]
10100 1
.names di_8_ [38] [576]
01 1
.names di_7_ di_9_ ci_1_ ci_0_ di_5_ [577]
00001 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 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_ di_9_ ci_1_ ci_0_ di_6_ [601]
11000 1
.names di_7_ ci_1_ di_3_ di_4_ di_6_ [602]
00001 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 ci_1_ di_1_ di_2_ di_4_ [648]
0010 1
.names di_7_ di_8_ di_11_ ci_1_ [653]
0101 1
.names di_7_ di_8_ ci_1_ di_6_ [655]
0010 1
.names ci_1_ di_0_ di_1_ di_2_ di_3_ di_4_ [658]
011111 1
.names di_8_ di_9_ di_10_ ci_1_ [2147]
1110 1
.names di_4_ di_1_ [2148]
10 1
.names ci_1_ ci_0_ [16] [24] [222] [2156]
--1-1 1
00-1- 1
.names ci_1_ di_3_ di_4_ [144] n_n245 [2147] [2157]
1--1-- 1
-01-11 1
.names di_2_ [30] n_n245 [139] [2147] [2148] [2158]
0-1-1- 1
-11-1- 1
--111- 1
--1-11 1
.names di_4_ di_3_ [2163]
11 1
.names n_n574 [31] [132] [164] [187] [2170]
1---- 1
--1-- 1
---1- 1
-1--1 1
.names [117] n_n704 [16] n_n571 [658] [2163] [2171]
---1-- 1
----1- 1
1-1--- 1
-1---1 1
.names [29] n_n562 [31] [195] [648] [2182]
1---- 1
-1--- 1
----1 1
--11- 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_4_ di_5_ [2186]
-0001- 1
1-01-0 1
.names [115] [121] n_n680 [633] [2195]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n679 [78] [620] [631] [2196]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n739 [26] [653] [655] [2182] [2195] [2197]
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_1_ di_2_ di_3_ di_4_ [2214]
01-0- 1
11--0 1
0011- 1
0-011 1
.names ci_1_ di_0_ di_1_ di_2_ di_4_ di_5_ [2215]
1-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_6_ di_5_ [2219]
00 1
.names di_0_ di_1_ di_3_ di_4_ di_5_ di_6_ [2224]
000000 1
.names ci_1_ n_n704 [144] [32] [596] [2163] [2227]
---1-- 1
----1- 1
1-1--- 1
-1---1 1
.names ci_1_ ci_0_ di_0_ di_3_ [2231]
0010 1
.names di_6_ di_7_ [2237]
10 1
.names di_7_ ci_1_ ci_0_ di_6_ [39] [138] [2241]
-00-1- 1
0--1-1 1
.names [34] n_n620 n_n636 [577] [2242]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n706 n_n632 [223] [585] [591] [2231] [2243]
1----- 1
-1---- 1
---1-- 1
----1- 1
--1--1 1
.names di_10_ di_11_ ci_1_ [87] [26] [655] [2248]
---1-- 1
----1- 1
-----1 1
001--- 1
.names ci_1_ di_1_ di_2_ di_5_ [106] [46] [2249]
----1- 1
-----1 1
1010-- 1
.names ci_1_ ci_0_ di_1_ di_2_ [2250]
-1-- 1
0-10 1
.names di_7_ di_8_ di_11_ ci_1_ n_n739 [78] [2253]
----1- 1
-----1 1
0101-- 1
.names n_n562 n_n571 n_n574 [2250] [2254]
1--- 1
-1-- 1
--1- 1
---1 1
.names [599] [601] [602] [2227] [2248] [2249] [2256]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names [576] [2241] [2242] [2243] [2253] [2254] [2257]
1----- 1
-1---- 1
--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_9_ ci_1_ [18] [115] [2219] [2224] [2260]
11---- 1
---1-1 1
--111- 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_9_ ci_0_ di_1_ di_2_ di_4_ [2269]
-01001 1
0-1010 1
.names di_1_ di_4_ n_n245 [545] [2147] [2270]
---1- 1
011-1 1
.names di_3_ di_4_ n_n245 n_n632 [585] [2147] [2271]
---1-- 1
----1- 1
011--1 1
.names [57] [82] [2269] [2272]
1-- 1
-1- 1
--1 1
.names di_7_ di_10_ ci_0_ di_5_ [2274]
0011 1
.names n_n291 n_n636 [134] [138] [2237] [2274] [2277]
-1---- 1
1-1--- 1
---11- 1
1----1 1
.names [60] [223] [525] [591] [2231] [2282]
1---- 1
--1-- 1
---1- 1
-1--1 1
.names ci_1_ ci_0_ n_n620 [39] [526] [2282] [2283]
--1--- 1
----1- 1
-----1 1
00-1-- 1
.names [18] [201] [2270] [2271] [2272] [2277] [2284]
--1--- 1
---1-- 1
----1- 1
-----1 1
11---- 1
.names di_2_ di_3_ di_4_ [16] n_n245 [2147] [2290]
1-11-- 1
-101-- 1
0---11 1
.names [55] [74] n_n245 [139] [519] [2147] [2291]
1----- 1
-1---- 1
----1- 1
--11-1 1
.names ci_1_ ci_0_ di_1_ di_2_ [16] [499] [2295]
-----1 1
--101- 1
0010-- 1
.names di_3_ di_4_ n_n704 [34] [32] [2296]
---1- 1
----1 1
111-- 1
.names ci_1_ n_n438 [75] [144] [596] [2295] [2300]
-1---- 1
--1--- 1
----1- 1
-----1 1
1--1-- 1
.names n_n706 n_n350 [512] [2290] [2291] [2296] [2301]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names di_0_ di_2_ di_3_ di_4_ [78] [655] [2304]
----1- 1
-----1 1
1000-- 1
.names n_n562 n_n739 [31] [221] [493] [2305]
1---- 1
-1--- 1
----1 1
--11- 1
.names n_n680 n_n574 [31] [203] [633] [2308]
1---- 1
-1--- 1
----1 1
--11- 1
.names n_n679 n_n571 [484] [631] [2309]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n378 [2304] [2305] [2308] [2309] [2312]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names di_5_ di_8_ [2314]
11 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_9_ di_6_ [48] [131] [125] [2326]
---1-- 1
010-11 1
.names [89] [73] n_n245 [2147] [2318] [2327]
1---- 1
-1--- 1
--111 1
.names [123] n_n268 [131] n_n224 [2217] [2314] [2328]
--111- 1
11-1-1 1
.names [123] n_n267 [125] [24] [2323] [2324] [2329]
-1-11- 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_10_ ci_1_ ci_0_ di_5_ [2341]
0111-- 1
01--11 1
.names [76] [123] [472] [2333] [2334] [2345]
1---- 1
--1-- 1
-1-11 1
.names n_n705 [470] [471] [2341] [2346]
1--- 1
-1-- 1
--1- 1
---1 1
.names [2326] [2327] [2328] [2329] [2345] [2346] [2348]
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_ [2353]
---10- 1
1--1-0 1
1111-1 1
.names ci_1_ di_1_ di_2_ di_3_ di_4_ di_5_ [2354]
0-10-- 1
0011-- 1
101-1- 1
10-1-1 1
.names [55] [74] [457] [458] [2359]
1--- 1
-1-- 1
--1- 1
---1 1
.names [34] [451] [601] [602] [2364]
1--- 1
-1-- 1
--1- 1
---1 1
.names [30] n_n245 [452] [453] [510] [2147] [2365]
--1--- 1
---1-- 1
----1- 1
11---1 1
.names n_n620 [223] [445] [2231] [2370]
1--- 1
--1- 1
-1-1 1
.names di_8_ n_n706 [38] [442] [443] [2370] [2372]
-1---- 1
---1-- 1
----1- 1
-----1 1
0-1--- 1
.names n_n438 [59] [2359] [2364] [2365] [2373]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names n_n632 [57] [436] [2376]
1-- 1
-1- 1
--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_8_ di_9_ di_3_ di_4_ di_6_ [2381]
01--1 1
--011 1
.names di_7_ di_8_ di_3_ di_4_ di_5_ [2382]
0-10- 1
11--0 1
-1000 1
.names ci_1_ ci_0_ [31] [46] [221] [2386]
---1- 1
11--- 1
--1-1 1
.names di_0_ di_1_ di_2_ di_4_ n_n739 [106] [2387]
----1- 1
-----1 1
0001-- 1
.names di_10_ ci_1_ di_0_ [2388]
01- 1
-10 1
.names di_9_ ci_1_ ci_0_ di_1_ di_2_ [2389]
01--- 1
0-1-- 1
-0010 1
.names [117] [16] n_n562 [32] [2388] [2389] [2393]
--1--- 1
---1-- 1
----1- 1
-----1 1
11---- 1
.names n_n381 [60] [82] [2376] [2386] [2387] [2395]
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_9_ di_6_ [131] [125] [2397] [2399]
-----1 1
01011- 1
.names [49] [89] [123] n_n224 [2217] [2400]
1---- 1
-1--- 1
--111 1
.names di_7_ di_9_ di_6_ [123] [131] [125] [2401]
0101-1 1
100-11 1
.names n_n829 [406] [2399] [2400] [2401] [2405]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names di_1_ di_2_ di_3_ di_4_ [2407]
1111 1
.names n_n703 n_n268 [131] [125] [397] [2412]
1---- 1
----1 1
-111- 1
.names n_n704 [76] [123] n_n224 [2217] [2413]
1---- 1
-1--- 1
--111 1
.names di_1_ di_2_ di_3_ di_4_ [125] [2324] [2414]
001111 1
110011 1
.names [18] [123] n_n245 [2147] [2333] [2334] [2417]
1-11-- 1
-1--11 1
.names di_0_ di_5_ [16] [22] [140] [2334] [2418]
111-1- 1
11-111 1
.names [62] [2412] [2413] [2414] [2417] [2418] [2420]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names di_7_ ci_1_ di_6_ [2421]
00- 1
-01 1
.names di_7_ di_8_ di_9_ [141] [121] [2421] [2422]
---1-1 1
-01-1- 1
0-0-1- 1
.names di_8_ di_9_ ci_1_ ci_0_ [178] [386] [2423]
-----1 1
00001- 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 [124] [189] [188] [355] [358] [2437] [2443]
---1-- 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 di_7_ ci_1_ di_5_ di_6_ [2449]
0000 1
.names ci_0_ [336] [339] [340] [2454]
-1-- 1
0-1- 1
0--1 1
.names [99] [156] [194] [332] [334] [2449] [2455]
---1-- 1
----1- 1
11---- 1
--1--1 1
.names di_0_ di_1_ di_4_ n_n245 [2147] [2460]
0-111 1
-0111 1
.names ci_0_ di_3_ di_4_ [16] n_n245 [2147] [2461]
1011-- 1
-10-11 1
.names ci_1_ ci_0_ di_6_ [2464]
010 1
.names ci_1_ ci_0_ di_5_ [2466]
101 1
.names di_2_ [18] n_n245 [2147] [2464] [2467]
-1--1 1
0-11- 1
.names [16] [23] [200] [199] [2468]
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 di_7_ di_8_ di_5_ [2472]
001 1
.names [18] [121] [2470] [2471] [2473]
1-1- 1
-1-1 1
.names di_11_ [131] [138] [204] [2466] [2474]
--11- 1
11--1 1
.names di_1_ [69] [19] [112] [144] [209] [2476]
0-1-1- 1
-11-1- 1
--111- 1
1010-1 1
.names [307] [316] [2467] [2468] [2473] [2474] [2477]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names [321] [322] [2460] [2461] [2476] [2478]
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 di_10_ ci_1_ ci_0_ di_6_ [2481]
1010 1
.names di_1_ di_2_ di_4_ [115] [2479] [2481] [2482]
---11- 1
010--1 1
.names di_2_ di_5_ [121] [124] [134] [2483]
--1-1 1
11-1- 1
.names ci_1_ ci_0_ [27] n_n574 [31] [221] [2484]
-0-1-- 1
0-1-1- 1
0---11 1
.names ci_1_ di_1_ di_3_ di_4_ [31] [134] [2487]
011-1- 1
0100-1 1
.names di_7_ ci_0_ di_6_ n_n620 n_n562 [2488]
-0--1 1
1-01- 1
.names [116] [132] [164] [215] [266] [270] [2496]
----1- 1
-----1 1
1-1--- 1
-1-1-- 1
.names [2482] [2483] [2484] [2496] [2497]
1--- 1
-1-- 1
--1- 1
---1 1
.names [268] [278] [279] [2487] [2488] [2498]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names n_n469 n_n470 [387] [388] [2422] [2423] [2500]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names [115] n_n268 [131] [125] [2224] [2503]
1---1 1
-111- 1
.names [18] [115] [131] [125] [2219] [2324] [2504]
11--1- 1
--11-1 1
.names [123] n_n267 n_n268 [125] [24] [2323] [2505]
1-11-- 1
-1--11 1
.names [123] n_n224 [24] [2314] [2324] [2407] [2506]
-11--1 1
11-11- 1
.names di_0_ di_2_ di_4_ di_5_ [2511]
1110 1
.names di_2_ ci_0_ [2512]
00 1
.names di_9_ di_10_ di_3_ di_6_ [2514]
1111 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 di_1_ di_2_ di_3_ di_4_ [2333] [2334] [2520]
011011 1
110011 1
.names di_7_ di_8_ di_9_ di_3_ di_5_ di_6_ [2524]
011000 1
.names di_7_ di_5_ di_6_ [18] [2147] [2318] [2526]
11111- 1
111-11 1
.names di_1_ di_2_ di_3_ di_4_ n_n224 [2217] [2527]
001111 1
110011 1
.names di_0_ di_5_ [16] [22] [140] [2334] [2528]
111-1- 1
11-111 1
.names [237] [238] [2526] [2527] [2528] [2532]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names di_7_ di_8_ di_10_ di_11_ ci_1_ [2535]
-1-01 1
011-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_ [170] [169] [227] [2535] [2536] [2540]
---1-- 1
----1- 1
-----1 1
01---- 1
1-1--- 1
.names di_7_ di_8_ di_10_ di_11_ ci_1_ [2542]
-1-01 1
011-1 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 [93] [94] [95] [2542] [2546] [2548]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names di_7_ ci_1_ ci_0_ di_3_ di_5_ di_6_ [2551]
-1-1-- 1
0-1-11 1
.names di_5_ [173] [71] [2551] [2553]
--1- 1
---1 1
11-- 1
.names di_7_ di_8_ di_10_ ci_1_ ci_0_ di_6_ [2555]
1--0-0 1
-11-10 1
.names di_7_ di_8_ di_10_ ci_1_ ci_0_ di_6_ [2557]
1-01-1 1
10-001 1
.names n_n705 [48] [37] [41] [2555] [2557] [2561]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.end