.model top
.inputs ic3_35_ ic7_39_ id4_4_ id22_22_ id26_26_ id21_21_ id27_27_ id29_29_ \
ic4_36_ id5_5_ id20_20_ id28_28_ ic6_38_ id6_6_ id17_17_ id31_31_ id18_18_ \
id23_23_ id25_25_ id30_30_ ic0_32_ id7_7_ id19_19_ id24_24_ ic1_33_ ic5_37_ \
r_40_ id0_0_ id8_8_ id14_14_ id16_16_ id1_1_ id9_9_ id15_15_ ic2_34_ id2_2_ \
id13_13_ id10_10_ id12_12_ id3_3_ id11_11_
.outputs od10_232_ od11_231_ od12_230_ od4_238_ od8_234_ od1_241_ od20_222_ \
od21_221_ od22_220_ od5_237_ od9_233_ od2_240_ od23_219_ od24_218_ od25_217_ \
od26_216_ od27_215_ od28_214_ od29_213_ od30_212_ od31_211_ od6_236_ od13_229_ \
od14_228_ od15_227_ od16_226_ od17_225_ od18_224_ od19_223_ od3_239_ od7_235_ \
od0_242_
.names id10_10_ n_n414 n_n390 od10_232_
10- 1
1-0 1
011 1
.names id11_11_ n_n415 n_n390 od11_231_
10- 1
1-0 1
011 1
.names id12_12_ n_n412 n_n392 od12_230_
10- 1
1-0 1
011 1
.names id4_4_ n_n412 n_n393 od4_238_
10- 1
1-0 1
011 1
.names id8_8_ n_n412 n_n390 od8_234_
10- 1
1-0 1
011 1
.names id1_1_ n_n413 n_n391 od1_241_
10- 1
1-0 1
011 1
.names id20_20_ n_n416 n_n389 od20_222_
10- 1
1-0 1
011 1
.names id21_21_ n_n417 n_n389 od21_221_
10- 1
1-0 1
011 1
.names id22_22_ n_n418 n_n389 od22_220_
10- 1
1-0 1
011 1
.names id5_5_ n_n413 n_n393 od5_237_
10- 1
1-0 1
011 1
.names id9_9_ n_n413 n_n390 od9_233_
10- 1
1-0 1
011 1
.names id2_2_ n_n414 n_n391 od2_240_
10- 1
1-0 1
011 1
.names id23_23_ n_n419 n_n389 od23_219_
10- 1
1-0 1
011 1
.names id24_24_ n_n416 n_n386 od24_218_
10- 1
1-0 1
011 1
.names id25_25_ n_n417 n_n386 od25_217_
10- 1
1-0 1
011 1
.names id26_26_ n_n386 n_n418 od26_216_
10- 1
1-0 1
011 1
.names id27_27_ n_n419 n_n386 od27_215_
10- 1
1-0 1
011 1
.names id28_28_ n_n416 n_n388 od28_214_
10- 1
1-0 1
011 1
.names id29_29_ n_n417 n_n388 od29_213_
10- 1
1-0 1
011 1
.names id30_30_ n_n388 n_n418 od30_212_
10- 1
1-0 1
011 1
.names id31_31_ n_n419 n_n388 od31_211_
10- 1
1-0 1
011 1
.names id6_6_ n_n414 n_n393 od6_236_
10- 1
1-0 1
011 1
.names id13_13_ n_n413 n_n392 od13_229_
10- 1
1-0 1
011 1
.names id14_14_ n_n392 n_n414 od14_228_
10- 1
1-0 1
011 1
.names id15_15_ n_n392 n_n415 od15_227_
10- 1
1-0 1
011 1
.names id16_16_ n_n387 n_n416 od16_226_
10- 1
1-0 1
011 1
.names id17_17_ n_n387 n_n417 od17_225_
10- 1
1-0 1
011 1
.names id18_18_ n_n387 n_n418 od18_224_
10- 1
1-0 1
011 1
.names id19_19_ n_n387 n_n419 od19_223_
10- 1
1-0 1
011 1
.names id3_3_ n_n391 n_n415 od3_239_
10- 1
1-0 1
011 1
.names id7_7_ n_n415 n_n393 od7_235_
10- 1
1-0 1
011 1
.names id0_0_ n_n412 n_n391 od0_242_
10- 1
1-0 1
011 1
.names id6_6_ id2_2_ n_n456
01 1
10 1
.names id21_21_ id20_20_ [40]
11 1
00 1
.names id22_22_ id23_23_ [40] n_n445
011 1
101 1
110 1
000 1
.names id10_10_ id11_11_ [41]
11 1
00 1
.names id8_8_ id9_9_ [41] n_n440
011 1
101 1
110 1
000 1
.names ic3_35_ r_40_ [94]
0- 1
-0 1
.names n_n445 [94] n_n451 n_n423
011 1
101 1
110 1
000 1
.names ic4_36_ r_40_ [95]
0- 1
-0 1
.names [95] n_n437 n_n436 n_n424
011 1
101 1
110 1
000 1
.names id4_4_ id0_0_ [52] n_n438
011 1
101 1
110 1
000 1
.names n_n445 n_n444 [99] n_n420
011 1
101 1
110 1
000 1
.names n_n420 n_n453 [52] n_n412
011 1
101 1
110 1
000 1
.names n_n454 [44] n_n421 n_n413
011 1
101 1
110 1
000 1
.names n_n422 n_n441 n_n415 [102]
010 1
100 1
.names [158] [1105] [1113] n_n387
001 1
.names id20_20_ id16_16_ [43] n_n446
011 1
101 1
110 1
000 1
.names n_n424 n_n469 [43] n_n416
011 1
101 1
110 1
000 1
.names n_n427 n_n481 [51] n_n419
011 1
101 1
110 1
000 1
.names n_n470 [47] n_n425 n_n417
011 1
101 1
110 1
000 1
.names n_n424 n_n446 n_n418 [57]
--1 1
01- 1
10- 1
.names [197] [1095] [1099] n_n392
001 1
.names n_n448 [98] n_n444 n_n422
011 1
101 1
110 1
000 1
.names id6_6_ id2_2_ [54] n_n441
011 1
101 1
110 1
000 1
.names n_n456 n_n422 [54] n_n414
011 1
101 1
110 1
000 1
.names id22_22_ id18_18_ n_n472
01 1
10 1
.names id20_20_ id16_16_ n_n469
01 1
10 1
.names id4_4_ id0_0_ n_n453
01 1
10 1
.names id25_25_ id24_24_ [42]
11 1
00 1
.names id26_26_ id27_27_ [42] n_n448
011 1
101 1
110 1
000 1
.names ic7_39_ r_40_ [96]
0- 1
-0 1
.names [96] n_n437 n_n443 n_n427
011 1
101 1
110 1
000 1
.names id28_28_ id24_24_ [43]
11 1
00 1
.names id5_5_ id1_1_ n_n454
01 1
10 1
.names id9_9_ id13_13_ [44]
11 1
00 1
.names id5_5_ id1_1_ [44] n_n439
011 1
101 1
110 1
000 1
.names [158] [1105] [1109] n_n386
001 1
.names id27_27_ id31_31_ [51] n_n450
011 1
101 1
110 1
000 1
.names n_n427 n_n450 n_n418 [103]
111 1
001 1
.names [197] [1095] [1103] n_n391
001 1
.names n_n448 [97] n_n451 n_n421
011 1
101 1
110 1
000 1
.names id21_21_ id17_17_ n_n470
01 1
10 1
.names id6_6_ id7_7_ [45]
11 1
00 1
.names id4_4_ id5_5_ [45] n_n437
011 1
101 1
110 1
000 1
.names id2_2_ id3_3_ [46]
11 1
00 1
.names id0_0_ id1_1_ [46] n_n436
011 1
101 1
110 1
000 1
.names id29_29_ id25_25_ [47]
11 1
00 1
.names id21_21_ id17_17_ [47] n_n447
011 1
101 1
110 1
000 1
.names ic1_33_ r_40_ [97]
0- 1
-0 1
.names n_n423 n_n457 [55] n_n415
011 1
101 1
110 1
000 1
.names n_n438 n_n420 n_n414 [56]
--1 1
01- 1
10- 1
.names [158] [1105] [1111] n_n388
001 1
.names id26_26_ id30_30_ [48]
11 1
00 1
.names id31_31_ id30_30_ [49]
11 1
00 1
.names id29_29_ id28_28_ [49] n_n451
011 1
101 1
110 1
000 1
.names id13_13_ id12_12_ [50]
11 1
00 1
.names id14_14_ id15_15_ [50] n_n443
011 1
101 1
110 1
000 1
.names r_40_ ic2_34_ [98]
0- 1
-0 1
.names n_n440 n_n436 [101] n_n426
011 1
101 1
110 1
000 1
.names n_n472 [48] n_n426 n_n418
011 1
101 1
110 1
000 1
.names n_n439 n_n421 n_n415 [58]
--0 1
01- 1
10- 1
.names [158] [1105] [1107] n_n389
001 1
.names [197] [1095] [1097] n_n390
001 1
.names id27_27_ id31_31_ n_n481
01 1
10 1
.names id23_23_ id19_19_ [51]
11 1
00 1
.names n_n440 n_n443 [100] n_n425
011 1
101 1
110 1
000 1
.names id8_8_ id12_12_ [52]
11 1
00 1
.names n_n417 n_n427 n_n450 [59]
1-- 1
-11 1
-00 1
.names [197] [1095] [1101] n_n393
001 1
.names id18_18_ id19_19_ [53]
11 1
00 1
.names id17_17_ id16_16_ [53] n_n444
011 1
101 1
110 1
000 1
.names id14_14_ id10_10_ [54]
11 1
00 1
.names ic0_32_ r_40_ [99]
0- 1
-0 1
.names id7_7_ id3_3_ n_n457
01 1
10 1
.names id15_15_ id11_11_ [55]
11 1
00 1
.names ic5_37_ r_40_ [100]
0- 1
-0 1
.names ic6_38_ r_40_ [101]
0- 1
-0 1
.names n_n419 n_n418 [1104] [158]
11- 1
-10 1
.names n_n414 n_n415 [1094] [197]
11- 1
1-0 1
.names n_n412 n_n439 n_n421 [1094]
011 1
000 1
.names n_n413 n_n415 [56] [1095]
11- 1
1-1 1
-11 1
.names n_n416 n_n417 [103] [1097]
011 1
.names n_n419 n_n417 [57] [1099]
110 1
.names n_n416 n_n418 [59] [1101]
100 1
.names n_n416 n_n417 [103] [1103]
101 1
.names n_n416 n_n447 n_n425 [1104]
011 1
000 1
.names n_n419 n_n417 [57] [1105]
11- 1
1-1 1
-11 1
.names n_n412 n_n414 [58] [1107]
100 1
.names n_n412 n_n413 [102] [1109]
011 1
.names n_n413 n_n415 [56] [1111]
110 1
.names n_n412 n_n413 [102] [1113]
101 1
.end