.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 [2197] [2198] [2206] d_2_
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n314 [2197] [2198] [2216] d_3_
1--- 1
-1-- 1
--1- 1
---1 1
.names [2256] [2257] [2261] cd_1_
1-- 1
-1- 1
--1 1
.names n_n314 [2197] [2198] [2263] d_0_
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n359 [2312] [2313] [2347] cd_0_
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n314 [2197] [2198] [2355] d_1_
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n535 [2405] c_1_
1- 1
-1 1
.names n_n535 [2415] [2416] [2419] c_0_
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n465 [2457] [2500] [2502] v_0_
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n443 n_n441 [2532] cs_0_
1-- 1
-1- 1
--1 1
.names n_n314 [2197] [2198] [2540] d_6_
1--- 1
-1-- 1
--1- 1
---1 1
.names [54] [2548] d_7_
1- 1
-1 1
.names n_n314 [2197] [2198] [2553] d_4_
1--- 1
-1-- 1
--1- 1
---1 1
.names [54] [2561] d_5_
1- 1
-1 1
.names ci_1_ di_2_ di_3_ di_4_ [40]
011- 1
11-1 1
.names ci_1_ di_2_ di_3_ di_4_ [63]
0011 1
.names ci_1_ di_2_ di_5_ [72]
110 1
.names di_1_ di_2_ [117]
10 1
.names ci_1_ di_1_ di_3_ n_n525
010 1
.names di_2_ di_4_ [27]
11 1
.names di_2_ di_3_ [69]
0- 1
-0 1
.names ci_1_ di_1_ [127]
10 1
.names ci_1_ di_5_ [137]
11 1
.names [123] [126] n_n245 n_n224 n_n822
1111 1
.names [126] n_n245 [131] n_n224 n_n821
1111 1
.names [115] n_n258 [2165] [2219] n_n813
1111 1
.names di_5_ di_6_ [115] [2223] n_n812
0011 1
.names n_n821 n_n815 [2329] [2330] n_n359
1--- 1
-1-- 1
--1- 1
---1 1
.names [123] [120] [2332] [2333] n_n830
1111 1
.names di_7_ di_8_ di_10_ ci_1_ [36]
0111 1
.names di_7_ di_8_ ci_0_ di_5_ [90]
0111 1
.names di_8_ di_6_ [118]
11 1
.names n_n268 [131] n_n224 [2314] n_n814
1111 1
.names [131] n_n224 [2314] [2324] n_n816
1111 1
.names [2372] [2373] [2394] [2395] n_n535
1--- 1
-1-- 1
--1- 1
---1 1
.names [123] n_n268 n_n224 [2314] n_n815
1111 1
.names [140] [120] [2332] [2333] n_n829
1111 1
.names di_8_ di_11_ ci_1_ [49]
101 1
.names di_1_ di_2_ di_3_ di_4_ [141]
0110 1
.names [157] [140] [2149] [2150] n_n824
1111 1
.names di_0_ [180] [373] [2428] n_n469
--1- 1
---1 1
01-- 1
.names [364] [2432] [2433] n_n470
1-- 1
-1- 1
--1 1
.names di_7_ di_5_ di_6_ n_n274
000 1
.names [2504] [2505] [2506] [2507] n_n443
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n830 [249] [250] [251] n_n441
1--- 1
-1-- 1
--1- 1
---1 1
.names [128] n_n245 n_n289 [2147] [67]
1111 1
.names di_1_ di_2_ di_3_ di_4_ [123]
1100 1
.names di_0_ di_5_ [157]
11 1
.names ci_1_ n_n291 n_n224 [2522] [168]
-11- 1
01-1 1
.names di_7_ di_6_ [20]
10 1
.names di_8_ di_9_ ci_1_ ci_0_ [45]
-1-1 1
1-00 1
.names di_7_ di_10_ ci_1_ [81]
101 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 n_n314 [155] [2197] [2198] [54]
1--- 1
-1-- 1
--1- 1
---1 1
.names di_7_ di_6_ [102]
0- 1
-0 1
.names di_7_ di_9_ [146]
01 1
.names di_8_ ci_1_ ci_0_ [150]
000 1
.names di_7_ di_8_ ci_1_ di_6_ [172]
101- 1
00-0 1
.names di_7_ di_5_ di_6_ [171]
00- 1
011 1
.names di_7_ di_8_ di_6_ n_n286
000 1
.names di_7_ di_5_ [25]
01 1
.names di_11_ ci_1_ [2322] [48]
111 1
.names di_9_ di_10_ ci_1_ ci_0_ [176]
-0-1 1
0-00 1
.names di_7_ di_8_ di_11_ di_6_ [175]
--01 1
01-1 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 ci_1_ di_1_ di_3_ di_4_ [142]
0100 1
.names di_0_ di_1_ di_2_ di_4_ [178]
-10- 1
0--1 1
.names di_7_ di_8_ di_9_ [177]
-01 1
0-0 1
.names di_8_ di_6_ [121] n_n706
111 1
.names di_3_ di_4_ [30]
10 1
.names di_0_ di_1_ [128]
00 1
.names ci_1_ n_n133 [182] [181] [180]
0-1- 1
-1-1 1
.names di_3_ di_4_ di_5_ di_6_ [179]
01-- 1
10-- 1
--10 1
.names ci_1_ ci_0_ [19]
10 1
.names ci_1_ di_3_ di_4_ [29]
000 1
.names di_10_ di_11_ di_4_ di_5_ [183]
00-- 1
--00 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_2_ di_3_ di_4_ di_6_ [43]
101- 1
-101 1
.names di_6_ n_n267 [147] [2225] [44]
1-1- 1
-1-1 1
.names di_2_ di_4_ [107]
00 1
.names di_8_ ci_1_ ci_0_ [149]
100 1
.names di_7_ di_8_ di_6_ n_n254
111 1
.names [223] [2231] [105]
11 1
.names di_10_ ci_1_ [119]
01 1
.names di_8_ di_9_ [126]
00 1
.names di_3_ di_4_ [14]
00 1
.names di_1_ di_2_ di_4_ [15]
010 1
.names di_8_ ci_0_ [136]
01 1
.names di_9_ ci_0_ [152]
01 1
.names ci_1_ di_5_ [140] n_n571
111 1
.names di_0_ di_4_ n_n245 [2147] n_n802
0111 1
.names di_1_ di_4_ n_n245 [2147] n_n799
0111 1
.names di_3_ di_4_ n_n245 [2147] n_n800
1011 1
.names di_2_ n_n245 [2147] [79]
011 1
.names di_7_ di_10_ [222] [2150] [86]
0111 1
.names di_3_ di_4_ [116]
01 1
.names ci_1_ ci_0_ [2151] [2152] [133]
0011 1
.names di_7_ di_8_ di_6_ [2153] [144]
1111 1
.names di_1_ di_2_ [2149] [2150] n_n585
1011 1
.names ci_1_ di_5_ n_n258 [2163] n_n587
1111 1
.names di_7_ di_10_ ci_0_ di_6_ [31]
1010 1
.names di_1_ di_2_ di_3_ di_4_ [187]
1-1- 1
-1-1 1
.names [2158] [2159] [2170] [2171] n_n314
1--- 1
-1-- 1
--1- 1
---1 1
.names di_7_ di_8_ di_11_ n_n284
010 1
.names di_0_ di_1_ di_2_ n_n258
111 1
.names ci_1_ di_6_ [120]
00 1
.names di_8_ di_5_ [148]
10 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_9_ di_5_ di_6_ [189]
0-1- 1
-1-0 1
.names di_3_ di_4_ [188]
0- 1
-0 1
.names ci_1_ ci_0_ n_n284 [26] [192]
-0-1 1
101- 1
.names di_0_ [123] [126] [2192] [191]
01-- 1
--11 1
.names [2447] [2448] n_n465
1- 1
-1 1
.names di_7_ ci_1_ di_3_ di_4_ [147]
0000 1
.names ci_0_ di_2_ di_3_ [194]
11- 1
-01 1
.names n_n286 [119] n_n268 [2451] [193]
-11- 1
1--1 1
.names di_1_ di_2_ di_3_ di_4_ [131]
0011 1
.names di_8_ di_5_ n_n224 [2324] [114]
1111 1
.names [433] [434] [2382] [2383] n_n411
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n440 [106] [35] [2385] n_n413
1--- 1
-1-- 1
--1- 1
---1 1
.names ci_1_ ci_0_ [220] [32]
001 1
.names [26] [655] [51]
1- 1
-1 1
.names ci_1_ di_5_ [653] [2177] [77]
--1- 1
00-1 1
.names di_2_ di_3_ di_4_ [195]
-01 1
0-0 1
.names [51] [77] [2179] [2180] n_n319
1--- 1
-1-- 1
--1- 1
---1 1
.names ci_1_ ci_0_ [645] [646] n_n440
--1- 1
---1 1
11-- 1
.names di_0_ di_1_ di_2_ di_4_ [87]
0001 1
.names di_0_ [123] [14] [2184] [106]
01-- 1
--11 1
.names n_n440 [106] [2185] [2186] n_n378
1--- 1
-1-- 1
--1- 1
---1 1
.names di_3_ [148] [154] [2189] [65]
1-1- 1
-1-1 1
.names di_1_ [126] [154] [2191] [66]
1-1- 1
-1-1 1
.names di_6_ [146] [119] [126] [78]
011- 1
1-11 1
.names di_7_ ci_0_ di_5_ di_6_ [154]
0100 1
.names di_1_ di_2_ [158]
00 1
.names di_1_ di_2_ di_4_ n_n291
001 1
.names di_9_ ci_1_ ci_0_ [21]
000 1
.names di_1_ di_2_ di_3_ n_n206
111 1
.names di_0_ di_1_ di_3_ di_4_ [197]
0--1 1
-0-1 1
--10 1
.names di_2_ di_3_ di_4_ n_n289
100 1
.names [123] n_n224 [2314] [2324] n_n818
1111 1
.names di_2_ di_3_ di_4_ [31] [35]
-011 1
0-01 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 [150] [25] [2233] [2234] [50]
1-1- 1
-1-1 1
.names di_7_ di_10_ ci_0_ [134]
111 1
.names n_n637 [533] [534] [2275] n_n370
1--- 1
-1-- 1
--1- 1
---1 1
.names ci_1_ ci_0_ di_0_ n_n224
001 1
.names [51] [78] [2302] [2303] n_n377
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 di_9_ di_5_ di_6_ [204]
10- 1
0-1 1
.names ci_1_ di_6_ [2332] [2333] [113]
0011 1
.names di_2_ di_4_ di_5_ di_6_ [211]
-10- 1
1--1 1
.names di_1_ di_2_ di_3_ di_4_ [215]
1-1- 1
-1-1 1
-0-0 1
.names n_n224 [2151] [2152] [2407] [62]
1111 1
.names di_7_ di_6_ n_n206 [2236] n_n637
0111 1
.names [106] [2247] [2248] n_n344
1-- 1
-1- 1
--1 1
.names di_0_ di_2_ di_3_ di_4_ [26]
1000 1
.names di_8_ di_9_ di_0_ di_4_ [220]
01-- 1
--01 1
.names di_2_ di_5_ [129]
10 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 ci_0_ di_1_ di_2_ di_4_ [182]
100- 1
-001 1
.names di_2_ di_5_ [181]
0- 1
-0 1
.names di_2_ di_4_ [214]
11 1
00 1
.names di_8_ di_10_ ci_0_ di_6_ [33]
1110 1
.names di_7_ [176] [41]
11 1
.names di_7_ di_10_ ci_1_ di_6_ [47]
1011 1
.names di_7_ ci_0_ di_5_ di_6_ [68]
0111 1
.names di_7_ di_8_ di_10_ di_6_ [71]
0010 1
.names di_7_ di_9_ ci_0_ di_6_ [84]
101- 1
1-10 1
.names di_7_ di_9_ ci_1_ ci_0_ [97]
0100 1
.names di_7_ di_6_ [45] [98]
101 1
.names di_8_ di_10_ n_n245 [155]
011 1
.names di_7_ [119] [232] [233] [225]
01-- 1
0-1- 1
0--1 1
.names di_7_ di_8_ di_10_ ci_1_ [226]
1101 1
.names di_7_ di_6_ [45] [227]
101 1
.names di_8_ ci_0_ di_6_ [232]
101 1
.names di_9_ ci_0_ di_6_ [233]
111 1
.names [123] [157] [2149] [2150] [238]
1111 1
.names n_n258 n_n245 [2147] [2165] [239]
1111 1
.names n_n133 [256] [2511] [2515] [249]
-1-1 1
1-11 1
.names di_5_ [144] [253] [2519] [250]
1-1- 1
11-1 1
.names [141] [120] [2332] [2333] [251]
1111 1
.names n_n286 [19] [26] [2517] [253]
1111 1
.names ci_1_ di_1_ [112] [2512] [256]
1001 1
.names [141] n_n224 [2314] [2324] [257]
1111 1
.names ci_1_ di_4_ [2492] [266]
001 1
.names ci_1_ ci_0_ n_n268 [215] [267]
0011 1
.names di_9_ [15] n_n224 [273] [268]
1--1 1
111- 1
.names di_7_ di_6_ [116] [21] [269]
1011 1
.names di_11_ di_2_ di_5_ n_n133 [270]
1101 1
.names ci_1_ ci_0_ [275] [276] [273]
001- 1
00-1 1
.names di_7_ di_3_ di_4_ di_6_ [275]
1000 1
.names di_7_ di_1_ di_2_ di_4_ [276]
1001 1
.names di_2_ [133] [283] [278]
01- 1
0-1 1
.names di_5_ [285] [286] [279]
11- 1
1-1 1
.names di_7_ di_6_ [21] [2228] [281]
1011 1
.names di_11_ ci_1_ ci_0_ [2174] [282]
1101 1
.names ci_1_ ci_0_ di_5_ n_n284 [283]
1001 1
.names di_7_ di_6_ [21] [214] [285]
1011 1
.names ci_1_ ci_0_ [116] n_n268 [286]
0011 1
.names di_1_ [115] [211] [287]
011 1
.names ci_1_ ci_0_ n_n284 [2480] [288]
1011 1
.names di_1_ di_2_ di_4_ [2481] [289]
0101 1
.names ci_1_ [27] [31] [221] [290]
011- 1
0-11 1
.names di_7_ di_10_ ci_0_ [121] [291]
1111 1
.names di_9_ di_10_ ci_0_ [2161] [292]
0001 1
.names n_n254 n_n133 [2153] [298]
111 1
.names [69] [112] n_n254 [2153] [302]
1-11 1
-111 1
.names di_10_ di_11_ [112] n_n206 [303]
0-01 1
-001 1
.names di_3_ di_4_ n_n258 [2470] [304]
1111 1
.names [121] [2471] [305]
11 1
.names n_n206 [204] [2236] [306]
111 1
.names ci_0_ [140] [312] [2472] [307]
0-1- 1
01-1 1
.names di_11_ [131] [2466] [308]
111 1
.names di_8_ di_9_ [112] n_n206 [312]
0-01 1
-001 1
.names di_3_ di_4_ n_n258 [2464] [313]
1111 1
.names [112] n_n206 [199] [314]
011 1
.names di_7_ [131] [2466] [316]
111 1
.names di_3_ [326] [327] [321]
01- 1
0-1 1
.names n_n267 [197] [2151] [2152] [322]
1111 1
.names di_7_ di_5_ n_n224 [2152] [326]
1111 1
.names di_0_ n_n245 [2147] [327]
111 1
.names di_7_ di_2_ di_5_ n_n133 [334]
1101 1
.names di_7_ di_8_ ci_0_ [26] [335]
1-01 1
-101 1
.names ci_1_ ci_0_ di_3_ n_n286 [336]
1011 1
.names di_10_ ci_0_ [147] [349] [343]
011- 1
01-1 1
.names di_8_ di_2_ di_5_ n_n133 [346]
0101 1
.names ci_1_ ci_0_ di_0_ n_n286 [347]
1001 1
.names ci_1_ ci_0_ di_1_ n_n284 [348]
1011 1
.names ci_1_ di_3_ di_5_ di_6_ [349]
0100 1
.names ci_1_ ci_0_ n_n284 [188] [356]
1011 1
.names di_9_ di_10_ ci_1_ ci_0_ [362]
0001 1
.names [29] [369] [2431] [364]
11- 1
1-1 1
.names di_0_ di_1_ di_5_ [369]
10- 1
1-0 1
.names [115] [179] [373]
11 1
.names di_9_ di_1_ di_5_ [29] [386]
0011 1
.names ci_1_ ci_0_ di_2_ n_n286 [387]
1011 1
.names n_n258 n_n245 [2147] [2165] [391]
1111 1
.names di_7_ di_8_ di_0_ di_6_ [397]
1010 1
.names [141] [114] [113] [406]
11- 1
1-1 1
.names di_0_ di_2_ [407]
00 1
.names di_2_ di_3_ di_5_ [431]
010 1
.names di_11_ ci_1_ di_1_ [432]
110 1
.names di_3_ di_4_ di_6_ [433]
011 1
.names di_8_ di_9_ di_6_ [434]
011 1
.names di_9_ di_0_ di_5_ [29] [436]
0011 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_ di_6_ [142] [590] [444]
0--1 1
001- 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_7_ di_9_ di_1_ di_4_ [457]
0111 1
.names di_10_ ci_0_ di_1_ di_3_ [458]
0111 1
.names ci_1_ di_1_ di_3_ di_5_ [463]
1011 1
.names ci_1_ di_2_ di_3_ [464]
010 1
.names di_8_ ci_1_ di_5_ di_6_ [470]
1001 1
.names di_8_ [81] [480] [481] [471]
11-- 1
1-1- 1
1--1 1
.names di_7_ di_8_ di_11_ ci_1_ [472]
1011 1
.names di_10_ ci_0_ di_6_ [480]
110 1
.names di_10_ ci_0_ di_6_ [481]
011 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 ci_1_ ci_0_ di_1_ di_2_ [500]
0010 1
.names di_7_ di_5_ [21] [510]
011 1
.names di_8_ ci_0_ n_n291 [519]
011 1
.names di_3_ di_4_ [523] [524] [521]
001- 1
00-1 1
.names di_8_ ci_0_ [15] [522]
011 1
.names ci_0_ di_1_ di_6_ [523]
100 1
.names di_7_ di_10_ ci_0_ [524]
001 1
.names di_9_ ci_0_ di_3_ di_4_ [526]
0100 1
.names ci_1_ ci_0_ [587] [588] [527]
001- 1
00-1 1
.names n_n258 [536] [2165] [2276] [533]
111- 1
1-11 1
.names di_1_ di_2_ di_4_ [134] [534]
0011 1
.names di_9_ ci_0_ di_5_ di_6_ [536]
01-- 1
-10- 1
-1-0 1
.names di_3_ di_4_ n_n245 [2147] [544]
0111 1
.names di_5_ [31] [545]
01 1
.names di_0_ di_2_ di_4_ [2262] [550]
1--1 1
110- 1
.names di_9_ ci_1_ [553]
11 1
.names di_10_ di_11_ ci_1_ [569]
001 1
.names ci_1_ di_1_ di_2_ di_5_ [570]
1010 1
.names ci_1_ ci_0_ [587] [588] [575]
001- 1
00-1 1
.names di_8_ di_6_ [142] [590] [576]
0--1 1
001- 1
.names di_2_ di_3_ di_5_ [587]
010 1
.names di_1_ di_2_ di_4_ [588]
011 1
.names ci_1_ ci_0_ di_3_ di_4_ [590]
0010 1
.names di_9_ di_0_ di_5_ [29] [591]
0011 1
.names ci_1_ n_n254 [2153] [595]
111 1
.names ci_1_ ci_0_ [43] [596]
001 1
.names di_2_ di_4_ [149] [599]
001 1
.names ci_1_ di_1_ di_2_ di_3_ [603]
0011 1
.names ci_1_ di_1_ di_4_ [604]
110 1
.names ci_1_ di_1_ di_2_ di_5_ [605]
1101 1
.names ci_1_ di_1_ di_2_ di_4_ [606]
1011 1
.names di_2_ [154] [620]
11 1
.names di_10_ di_11_ ci_1_ [635]
001 1
.names ci_1_ di_1_ di_2_ di_5_ [636]
1010 1
.names ci_1_ di_4_ di_5_ [645]
100 1
.names di_0_ di_1_ di_3_ di_4_ [646]
0010 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_3_ di_4_ n_n258 [658]
0111 1
.names ci_1_ n_n254 [2153] [666]
111 1
.names di_3_ di_4_ n_n245 [2147] [667]
0111 1
.names di_8_ di_9_ di_10_ ci_1_ [2147]
1110 1
.names di_4_ di_1_ [2148]
10 1
.names di_10_ di_7_ [2149]
10 1
.names di_8_ di_9_ ci_1_ di_6_ [2150]
1100 1
.names di_5_ di_7_ [2151]
11 1
.names di_8_ di_9_ di_6_ [2152]
111 1
.names di_9_ di_10_ di_11_ [2153]
111 1
.names n_n245 [139] [2147] [2148] [2154]
111- 1
1-11 1
.names di_2_ [30] n_n245 [2147] [2155]
0-11 1
-111 1
.names [2155] [2154] [2158]
1- 1
-1 1
.names [86] [133] [666] [667] [2159]
1--- 1
-1-- 1
--1- 1
---1 1
.names di_10_ di_9_ [2160]
00 1
.names di_7_ di_8_ ci_1_ di_6_ [2161]
1110 1
.names di_4_ di_3_ [2163]
11 1
.names ci_0_ di_10_ [2164]
10 1
.names di_4_ di_3_ [2165]
11 1
.names n_n267 n_n268 [2160] [2161] [2166]
11-- 1
--11 1
.names [20] [187] [21] [2164] [2167]
1-1- 1
11-1 1
.names [2167] [2166] [2170]
1- 1
-1 1
.names n_n571 n_n585 n_n587 [658] [2171]
1--- 1
-1-- 1
--1- 1
---1 1
.names ci_1_ di_11_ [2173]
11 1
.names di_7_ di_8_ di_9_ di_10_ [2174]
0011 1
.names di_5_ ci_1_ [2176]
00 1
.names di_7_ di_8_ di_9_ di_6_ [2177]
1001 1
.names di_11_ ci_1_ [29] [2174] [2179]
--1- 1
11-1 1
.names [31] [195] [648] [2180]
--1 1
11- 1
.names ci_1_ di_1_ di_2_ [2184]
100 1
.names di_9_ di_10_ ci_0_ [635] [2185]
---1 1
001- 1
.names [636] [87] [2186]
1- 1
-1 1
.names di_9_ ci_1_ di_6_ [2189]
000 1
.names di_7_ ci_1_ di_5_ [2191]
001 1
.names di_10_ ci_1_ di_6_ [2192]
011 1
.names [115] [121] n_n319 [65] [2197]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n378 [66] [78] [620] [2198]
1--- 1
-1-- 1
--1- 1
---1 1
.names ci_1_ di_1_ di_2_ di_4_ [2204]
01-0 1
1101 1
.names [63] [72] [2204] [2205]
1-- 1
-1- 1
--1 1
.names di_1_ [40] [2205] [2206]
--1 1
01- 1
.names [127] [137] [112] n_n258 [2213]
1-0- 1
-1-1 1
.names [63] n_n525 [603] [604] [2214]
1--- 1
-1-- 1
--1- 1
---1 1
.names [605] [606] [2213] [2214] [2216]
1--- 1
-1-- 1
--1- 1
---1 1
.names di_6_ di_5_ [2219]
00 1
.names di_6_ di_5_ [2222]
00 1
.names di_0_ di_1_ di_3_ di_4_ [2223]
0000 1
.names di_7_ di_9_ di_6_ [2225]
110 1
.names n_n587 [32] [595] [596] [2227]
1--- 1
-1-- 1
--1- 1
---1 1
.names di_1_ di_3_ di_5_ [2228]
111 1
.names di_3_ di_1_ [2229]
00 1
.names di_7_ ci_1_ ci_0_ di_5_ [2230]
0001 1
.names ci_1_ ci_0_ di_0_ di_3_ [2231]
0010 1
.names di_2_ di_3_ di_6_ [2233]
010 1
.names ci_1_ ci_0_ di_2_ di_3_ [2234]
0011 1
.names ci_1_ di_0_ di_4_ [2236]
011 1
.names [149] [21] [129] [2228] [2238]
1-1- 1
-1-1 1
.names di_9_ n_n267 [25] [2229] [2239]
011- 1
-111 1
.names n_n706 [105] [50] [591] [2243]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n637 [575] [2238] [2239] [2244]
1--- 1
-1-- 1
--1- 1
---1 1
.names [570] [645] [646] [2247]
1-- 1
-1- 1
--1 1
.names [87] [26] [569] [655] [2248]
1--- 1
-1-- 1
--1- 1
---1 1
.names ci_1_ ci_0_ di_1_ di_2_ [2250]
-1-- 1
0-10 1
.names [2160] [2161] [2173] [2174] [2251]
11-- 1
--11 1
.names ci_1_ di_5_ [140] [2250] [2252]
---1 1
111- 1
.names [77] [78] [2251] [2252] [2255]
1--- 1
-1-- 1
--1- 1
---1 1
.names [44] n_n344 [599] [2227] [2256]
1--- 1
-1-- 1
--1- 1
---1 1
.names [576] [2243] [2244] [2255] [2257]
1--- 1
-1-- 1
--1- 1
---1 1
.names [115] [553] [2222] [2223] [2258]
-1-- 1
1-11 1
.names n_n822 n_n821 n_n813 [2258] [2261]
1--- 1
-1-- 1
--1- 1
---1 1
.names ci_1_ di_1_ di_2_ di_5_ [2262]
0--- 1
---0 1
-10- 1
.names ci_1_ di_1_ [112] [550] [2263]
---1 1
100- 1
.names di_6_ ci_0_ [2264]
11 1
.names di_1_ di_3_ di_4_ [2265]
100 1
.names di_10_ ci_0_ di_0_ [2266]
111 1
.names ci_0_ di_7_ [2267]
10 1
.names [15] [134] [2265] [2266] [2268]
-11- 1
1--1 1
.names [15] [152] n_n291 [2267] [2269]
-11- 1
1--1 1
.names n_n799 [50] [544] [545] [2273]
1--- 1
-1-- 1
--1- 1
---1 1
.names di_7_ di_10_ ci_0_ di_5_ [2274]
0011 1
.names n_n291 [2229] [2230] [2274] [2275]
-11- 1
1--1 1
.names di_8_ di_10_ ci_0_ [2276]
0-1 1
-01 1
.names di_6_ di_8_ [2278]
00 1
.names [21] [526] [2228] [2279]
-1- 1
1-1 1
.names [141] [142] [2264] [2278] [2280]
1-1- 1
-1-1 1
.names [223] [591] [2231] [2280] [2282]
-1-- 1
---1 1
1-1- 1
.names [527] [2279] [2282] [2283]
1-- 1
-1- 1
--1 1
.names n_n370 [2268] [2269] [2273] [2284]
1--- 1
-1-- 1
--1- 1
---1 1
.names di_10_ ci_0_ di_3_ [2286]
110 1
.names di_10_ ci_0_ di_6_ [2287]
011 1
.names [14] [158] [2286] [2287] [2288]
-11- 1
1--1 1
.names [118] [150] [121] [30] [2289]
1-1- 1
-1-1 1
.names [136] n_n802 n_n291 [2288] [2291]
-1-- 1
---1 1
1-1- 1
.names [79] [86] [2289] [2292]
1-- 1
-1- 1
--1 1
.names [500] [499] [2293]
1- 1
-1 1
.names di_8_ n_n267 [220] [129] [2294]
-11- 1
11-1 1
.names n_n800 [510] [521] [522] [2297]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n585 [595] [596] [2293] [2298]
1--- 1
-1-- 1
--1- 1
---1 1
.names [44] n_n587 [599] [2294] [2299]
1--- 1
-1-- 1
--1- 1
---1 1
.names [2298] [2297] [2300]
1- 1
-1 1
.names [2291] [2292] [2299] [2301]
1-- 1
-1- 1
--1 1
.names [2173] [2174] [2176] [2177] [2302]
11-- 1
--11 1
.names [31] [221] [493] [2303]
--1 1
11- 1
.names [31] [203] [2160] [2161] [2306]
11-- 1
--11 1
.names di_2_ [137] [140] [154] [2307]
-11- 1
1--1 1
.names [65] [2306] [2308]
1- 1
-1 1
.names [2307] [66] [2309]
1- 1
-1 1
.names n_n378 n_n377 [2308] [2309] [2312]
1--- 1
-1-- 1
--1- 1
---1 1
.names [2283] [2284] [2300] [2301] [2313]
1--- 1
-1-- 1
--1- 1
---1 1
.names di_5_ di_8_ [2314]
11 1
.names di_5_ di_0_ [2317]
01 1
.names ci_1_ di_11_ [2319]
11 1
.names ci_1_ di_11_ [2321]
11 1
.names di_8_ di_10_ di_6_ [2322]
011 1
.names di_7_ di_9_ di_6_ [2324]
100 1
.names n_n286 n_n254 [2317] [2319] [2325]
1-1- 1
-1-1 1
.names [128] [133] n_n289 n_n818 [2329]
---1 1
111- 1
.names n_n814 [67] [48] [2325] [2330]
1--- 1
-1-- 1
--1- 1
---1 1
.names di_7_ di_8_ di_9_ [2332]
111 1
.names di_10_ ci_0_ di_0_ di_5_ [2333]
0111 1
.names di_0_ ci_1_ [2336]
00 1
.names di_9_ ci_0_ n_n254 [470] [2342]
---1 1
011- 1
.names ci_1_ di_0_ n_n274 [472] [2343]
---1 1
001- 1
.names [36] [90] [471] [2342] [2346]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n830 [2343] [2346] [2347]
1-- 1
-1- 1
--1 1
.names ci_1_ di_2_ di_4_ di_5_ [2351]
-10- 1
11-0 1
.names di_1_ [40] [463] [464] [2354]
--1- 1
---1 1
01-- 1
.names [137] n_n258 [2351] [2354] [2355]
--1- 1
---1 1
11-- 1
.names [14] [158] [2286] [2287] [2358]
-11- 1
1--1 1
.names [457] [458] [2358] [2359]
1-- 1
-1- 1
--1 1
.names n_n802 [519] [521] [522] [2360]
1--- 1
-1-- 1
--1- 1
---1 1
.names di_8_ n_n267 [43] [107] [2363]
-11- 1
11-1 1
.names [44] [149] [129] [451] [2364]
1--- 1
---1 1
-11- 1
.names [25] n_n800 [21] [2363] [2365]
-1-- 1
---1 1
1-1- 1
.names [21] [445] [2228] [2368]
-1- 1
1-1 1
.names [118] [121] [442] [443] [2369]
--1- 1
---1 1
11-- 1
.names [105] [444] [2368] [2369] [2372]
1--- 1
-1-- 1
--1- 1
---1 1
.names [2359] [2360] [2364] [2365] [2373]
1--- 1
-1-- 1
--1- 1
---1 1
.names [150] [134] [2233] [2265] [2374]
1-1- 1
-1-1 1
.names di_3_ [15] [2264] [2266] [2375]
-1-1 1
111- 1
.names n_n637 [2275] [2375] [2377]
1-- 1
-1- 1
--1 1
.names di_8_ ci_1_ di_4_ di_6_ [2379]
110- 1
-110 1
.names di_7_ di_3_ di_4_ [148] [2382]
1--1 1
010- 1
-001 1
.names [431] [432] [2379] [2383]
1-- 1
-1- 1
--1 1
.names ci_1_ di_5_ [87] [2177] [2385]
--1- 1
00-1 1
.names di_10_ ci_1_ di_0_ [2388]
01- 1
-10 1
.names di_11_ ci_1_ [2174] [2388] [2390]
---1 1
111- 1
.names di_9_ [117] n_n267 [220] [2391]
-11- 1
0-0- 1
--11 1
.names n_n585 n_n411 [2390] [2391] [2394]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n413 [436] [2374] [2377] [2395]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n822 [49] n_n286 [2317] [2400]
1--- 1
-1-- 1
--11 1
.names n_n815 n_n816 [2401]
1- 1
-1 1
.names [90] n_n814 n_n829 [407] [2402]
1--- 1
-1-- 1
--1- 1
---1 1
.names [406] [2400] [2401] [2402] [2405]
1--- 1
-1-- 1
--1- 1
---1 1
.names di_1_ di_2_ di_3_ di_4_ [2407]
1111 1
.names ci_1_ di_1_ [112] [397] [2410]
---1 1
100- 1
.names [137] n_n274 n_n258 [2336] [2411]
1-1- 1
-1-1 1
.names n_n814 [62] [2410] [2415]
1-- 1
-1- 1
--1 1
.names n_n822 n_n816 n_n818 [2411] [2416]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n830 n_n829 n_n824 [391] [2419]
1--- 1
-1-- 1
--1- 1
---1 1
.names di_7_ ci_1_ di_6_ [2421]
00- 1
-01 1
.names [141] [121] [177] [2421] [2422]
-11- 1
1--1 1
.names di_8_ di_6_ [142] [387] [2424]
---1 1
111- 1
.names [115] [178] [386] [2422] [2425]
--1- 1
---1 1
11-- 1
.names ci_0_ di_3_ di_4_ [2426]
010 1
.names [118] [121] [128] [2426] [2428]
11-- 1
--11 1
.names di_8_ di_9_ di_5_ di_6_ [2431]
01-- 1
--01 1
.names di_8_ di_5_ [362] [2189] [2432]
--1- 1
10-1 1
.names [19] [183] [126] [2191] [2433]
11-- 1
--11 1
.names di_7_ di_11_ di_6_ [2436]
000 1
.names ci_1_ di_0_ di_3_ di_4_ [2437]
0000 1
.names di_8_ ci_1_ ci_0_ [2438]
001 1
.names n_n133 [2176] [2177] [2436] [2439]
-11- 1
1--1 1
.names n_n525 n_n274 [15] [2438] [2440]
11-- 1
--11 1
.names ci_0_ di_6_ [26] [2439] [2442]
---1 1
011- 1
.names [189] [356] [2437] [2440] [2443]
-1-- 1
---1 1
1-1- 1
.names di_9_ [192] [346] [347] [2447]
--1- 1
---1 1
01-- 1
.names ci_0_ [191] [343] [348] [2448]
--1- 1
---1 1
01-- 1
.names di_7_ ci_1_ di_5_ di_6_ [2449]
0000 1
.names di_0_ di_9_ [2450]
10 1
.names di_4_ di_2_ [2451]
10 1
.names [147] [194] [2449] [2450] [2452]
-11- 1
1--1 1
.names ci_0_ [193] [336] [2454]
--1 1
01- 1
.names [334] [335] [2452] [2455]
1-- 1
-1- 1
--1 1
.names [2442] [2443] [2454] [2455] [2457]
1--- 1
-1-- 1
--1- 1
---1 1
.names ci_0_ di_3_ di_4_ [2458]
101 1
.names n_n245 [139] [2147] [2148] [2460]
111- 1
1-11 1
.names n_n800 [2149] [2150] [2458] [2461]
1--- 1
-111 1
.names [2460] [322] [2462]
1- 1
-1 1
.names ci_1_ ci_0_ di_6_ [2464]
010 1
.names ci_1_ ci_0_ di_5_ [2466]
101 1
.names [200] [314] [2149] [2150] [2468]
-1-- 1
1-11 1
.names [79] [313] [316] [2469]
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 [304] [305] [306] [308] [2475]
1--- 1
-1-- 1
--1- 1
---1 1
.names [19] [298] [302] [303] [2476]
-1-- 1
1-1- 1
1--1 1
.names [307] [2468] [2469] [2475] [2477]
1--- 1
-1-- 1
--1- 1
---1 1
.names [321] [2461] [2462] [2476] [2478]
1--- 1
-1-- 1
--1- 1
---1 1
.names di_5_ di_2_ [2480]
11 1
.names di_10_ ci_1_ ci_0_ di_6_ [2481]
1010 1
.names [287] [288] [289] [291] [2485]
1--- 1
-1-- 1
--1- 1
---1 1
.names ci_1_ di_1_ di_3_ [2486]
011 1
.names [142] [31] [134] [2486] [2487]
1-1- 1
-1-1 1
.names [281] [282] [2487] [2489]
1-- 1
-1- 1
--1 1
.names di_10_ ci_0_ di_0_ di_1_ [2492]
0100 1
.names [266] [267] [269] [270] [2496]
1--- 1
-1-- 1
--1- 1
---1 1
.names [290] [292] [2485] [2496] [2497]
1--- 1
-1-- 1
--1- 1
---1 1
.names [268] [278] [279] [2489] [2498]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n469 n_n470 [2424] [2425] [2500]
1--- 1
-1-- 1
--1- 1
---1 1
.names [2477] [2478] [2497] [2498] [2502]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n816 n_n813 [2504]
1- 1
-1 1
.names n_n815 [128] [133] n_n289 [2505]
1--- 1
-111 1
.names [62] n_n818 [2506]
1- 1
-1 1
.names n_n812 n_n814 [257] [2507]
1-- 1
-1- 1
--1 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_7_ di_8_ di_11_ [2514] [2515]
0101 1
.names di_9_ di_10_ di_11_ di_1_ [2517]
1101 1
.names ci_0_ di_3_ di_4_ n_n258 [2519]
0111 1
.names di_0_ di_10_ [2522]
10 1
.names di_8_ di_9_ di_3_ n_n274 [2524]
1101 1
.names [67] [238] [239] [2529]
1-- 1
-1- 1
--1 1
.names n_n822 n_n821 [168] [2524] [2530]
1--- 1
-1-- 1
--11 1
.names n_n829 n_n824 [2529] [2530] [2532]
1--- 1
-1-- 1
--1- 1
---1 1
.names di_11_ ci_1_ n_n254 [226] [2536]
---1 1
111- 1
.names di_7_ [36] [49] [169] [2537]
-1-- 1
--1- 1
1--1 1
.names [225] [227] [2536] [2537] [2540]
1--- 1
-1-- 1
--1- 1
---1 1
.names di_9_ ci_0_ n_n254 [97] [2543]
---1 1
011- 1
.names [36] [49] [102] [150] [2544]
1--- 1
-1-- 1
--01 1
.names di_10_ ci_0_ [172] [171] [2545]
1-1- 1
11-1 1
.names [98] [2543] [2544] [2545] [2548]
1--- 1
-1-- 1
--1- 1
---1 1
.names di_10_ ci_1_ ci_0_ [2550]
0-1 1
-00 1
.names ci_1_ di_3_ [68] [71] [2552]
--1- 1
---1 1
11-- 1
.names di_5_ [84] [2550] [2552] [2553]
---1 1
11-- 1
1-1- 1
.names n_n254 [152] [2321] [2322] [2556]
11-- 1
--11 1
.names di_7_ di_6_ [150] [47] [2557]
---1 1
111- 1
.names ci_1_ [20] [175] [33] [2558]
---1 1
01-- 1
1-1- 1
.names [41] [2556] [2557] [2558] [2561]
1--- 1
-1-- 1
--1- 1
---1 1
.end