.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_n412 n_n413 n_n414 n_n415 [1097] od10_232_
1--0-- 1
1----0 1
111--- 1
11-1-- 1
1-11-- 1
11--1- 1
1-1-1- 1
1--11- 1
000101 1
.names id11_11_ n_n412 n_n413 n_n414 n_n415 [1097] od11_231_
1---0- 1
1----0 1
111--- 1
11-1-- 1
1-11-- 1
11--1- 1
1-1-1- 1
1--11- 1
000011 1
.names id12_12_ n_n412 n_n413 [57] n_n414 n_n415 [1098] od12_230_
10----- 1
1--1--- 1
1-----0 1
111---- 1
11--1-- 1
1-1-1-- 1
11---1- 1
1-1--1- 1
1---11- 1
0100001 1
.names id4_4_ n_n412 n_n413 n_n414 n_n415 [59] [1100] od4_238_
10----- 1
1----1- 1
1-----0 1
111---- 1
11-1--- 1
1-11--- 1
11--1-- 1
1-1-1-- 1
1--11-- 1
0100001 1
.names id8_8_ n_n412 n_n413 n_n414 n_n415 [1097] od8_234_
10---- 1
1----0 1
111--- 1
11-1-- 1
1-11-- 1
11--1- 1
1-1-1- 1
1--11- 1
010001 1
.names id1_1_ n_n412 n_n413 n_n414 n_n415 [1103] od1_241_
1-0--- 1
1----0 1
111--- 1
11-1-- 1
1-11-- 1
11--1- 1
1-1-1- 1
1--11- 1
001001 1
.names id20_20_ n_n416 n_n419 n_n417 n_n418 [58] [1106] od20_222_
10----- 1
1----1- 1
1-----0 1
111---- 1
11-1--- 1
1-11--- 1
11--1-- 1
1-1-1-- 1
1--11-- 1
0100001 1
.names id21_21_ n_n416 n_n419 n_n417 n_n418 [58] [1106] od21_221_
1--0--- 1
1----1- 1
1-----0 1
111---- 1
11-1--- 1
1-11--- 1
11--1-- 1
1-1-1-- 1
1--11-- 1
0001001 1
.names id22_22_ n_n416 n_n419 n_n417 n_n418 [58] [1106] od22_220_
1---0-- 1
1----1- 1
1-----0 1
111---- 1
11-1--- 1
1-11--- 1
11--1-- 1
1-1-1-- 1
1--11-- 1
0000101 1
.names id5_5_ n_n412 n_n413 n_n414 n_n415 [59] [1100] od5_237_
1-0---- 1
1----1- 1
1-----0 1
111---- 1
11-1--- 1
1-11--- 1
11--1-- 1
1-1-1-- 1
1--11-- 1
0010001 1
.names id9_9_ n_n412 n_n413 n_n414 n_n415 [1097] od9_233_
1-0--- 1
1----0 1
111--- 1
11-1-- 1
1-11-- 1
11--1- 1
1-1-1- 1
1--11- 1
001001 1
.names id2_2_ n_n412 n_n413 n_n414 n_n415 [1103] od2_240_
1--0-- 1
1----0 1
111--- 1
11-1-- 1
1-11-- 1
11--1- 1
1-1-1- 1
1--11- 1
000101 1
.names id23_23_ n_n416 n_n419 n_n417 n_n418 [58] [1106] od23_219_
1-0---- 1
1----1- 1
1-----0 1
111---- 1
11-1--- 1
1-11--- 1
11--1-- 1
1-1-1-- 1
1--11-- 1
0010001 1
.names id24_24_ n_n416 n_n419 n_n417 n_n418 [1109] od24_218_
10---- 1
1----0 1
111--- 1
11-1-- 1
1-11-- 1
11--1- 1
1-1-1- 1
1--11- 1
010001 1
.names id25_25_ n_n416 n_n419 n_n417 n_n418 [1109] od25_217_
1--0-- 1
1----0 1
111--- 1
11-1-- 1
1-11-- 1
11--1- 1
1-1-1- 1
1--11- 1
000101 1
.names id26_26_ n_n416 n_n419 n_n417 n_n418 [1109] od26_216_
1---0- 1
1----0 1
111--- 1
11-1-- 1
1-11-- 1
11--1- 1
1-1-1- 1
1--11- 1
000011 1
.names id27_27_ n_n416 n_n419 n_n417 n_n418 [1109] od27_215_
1-0--- 1
1----0 1
111--- 1
11-1-- 1
1-11-- 1
11--1- 1
1-1-1- 1
1--11- 1
001001 1
.names id28_28_ n_n416 n_n419 n_n417 [56] n_n418 [1110] od28_214_
10----- 1
1---1-- 1
1-----0 1
111---- 1
11-1--- 1
1-11--- 1
11---1- 1
1-1--1- 1
1--1-1- 1
0100001 1
.names id29_29_ n_n416 n_n419 n_n417 [56] n_n418 [1110] od29_213_
1--0--- 1
1---1-- 1
1-----0 1
111---- 1
11-1--- 1
1-11--- 1
11---1- 1
1-1--1- 1
1--1-1- 1
0001001 1
.names id30_30_ n_n416 n_n419 n_n417 [56] n_n418 [1110] od30_212_
1---1-- 1
1----0- 1
1-----0 1
111---- 1
11-1--- 1
1-11--- 1
11---1- 1
1-1--1- 1
1--1-1- 1
0000011 1
.names id31_31_ n_n416 n_n419 n_n417 [56] n_n418 [1110] od31_211_
1-0---- 1
1---1-- 1
1-----0 1
111---- 1
11-1--- 1
1-11--- 1
11---1- 1
1-1--1- 1
1--1-1- 1
0010001 1
.names id6_6_ n_n412 n_n413 n_n414 n_n415 [59] [1100] od6_236_
1--0--- 1
1----1- 1
1-----0 1
111---- 1
11-1--- 1
1-11--- 1
11--1-- 1
1-1-1-- 1
1--11-- 1
0001001 1
.names id13_13_ n_n412 n_n413 [57] n_n414 n_n415 [1098] od13_229_
1-0---- 1
1--1--- 1
1-----0 1
111---- 1
11--1-- 1
1-1-1-- 1
11---1- 1
1-1--1- 1
1---11- 1
0010001 1
.names id14_14_ n_n412 n_n413 [57] n_n414 n_n415 [1098] od14_228_
1--1--- 1
1---0-- 1
1-----0 1
111---- 1
11--1-- 1
1-1-1-- 1
11---1- 1
1-1--1- 1
1---11- 1
0000101 1
.names id15_15_ n_n412 n_n413 [57] n_n414 n_n415 [1098] od15_227_
1--1--- 1
1----0- 1
1-----0 1
111---- 1
11--1-- 1
1-1-1-- 1
11---1- 1
1-1--1- 1
1---11- 1
0000011 1
.names id16_16_ n_n416 n_n419 n_n417 n_n418 [1113] od16_226_
10---- 1
1----0 1
111--- 1
11-1-- 1
1-11-- 1
11--1- 1
1-1-1- 1
1--11- 1
010001 1
.names id17_17_ n_n416 n_n419 n_n417 n_n418 [1113] od17_225_
1--0-- 1
1----0 1
111--- 1
11-1-- 1
1-11-- 1
11--1- 1
1-1-1- 1
1--11- 1
000101 1
.names id18_18_ n_n416 n_n419 n_n417 n_n418 [1113] od18_224_
1---0- 1
1----0 1
111--- 1
11-1-- 1
1-11-- 1
11--1- 1
1-1-1- 1
1--11- 1
000011 1
.names id19_19_ n_n416 n_n419 n_n417 n_n418 [1113] od19_223_
1-0--- 1
1----0 1
111--- 1
11-1-- 1
1-11-- 1
11--1- 1
1-1-1- 1
1--11- 1
001001 1
.names id3_3_ n_n412 n_n413 n_n414 n_n415 [1103] od3_239_
1---0- 1
1----0 1
111--- 1
11-1-- 1
1-11-- 1
11--1- 1
1-1-1- 1
1--11- 1
000011 1
.names id7_7_ n_n412 n_n413 n_n414 n_n415 [59] [1100] od7_235_
1---0-- 1
1----1- 1
1-----0 1
111---- 1
11-1--- 1
1-11--- 1
11--1-- 1
1-1-1-- 1
1--11-- 1
0000101 1
.names id0_0_ n_n412 n_n413 n_n414 n_n415 [1103] od0_242_
10---- 1
1----0 1
111--- 1
11-1-- 1
1-11-- 1
11--1- 1
1-1-1- 1
1--11- 1
010001 1
.names id22_22_ id21_21_ id20_20_ id23_23_ n_n445
0111 1
1011 1
1101 1
0001 1
1110 1
0010 1
0100 1
1000 1
.names id8_8_ id9_9_ id10_10_ id11_11_ n_n440
0111 1
1011 1
1101 1
0001 1
1110 1
0010 1
0100 1
1000 1
.names ic3_35_ r_40_ [94]
0- 1
-0 1
.names ic4_36_ r_40_ [95]
0- 1
-0 1
.names id4_4_ id0_0_ id8_8_ id12_12_ n_n438
0111 1
1011 1
1101 1
0001 1
1110 1
0010 1
0100 1
1000 1
.names ic0_32_ r_40_ n_n445 n_n438 n_n444 n_n412
0-111 1
-0111 1
0-001 1
-0001 1
0-010 1
-0010 1
0-100 1
-0100 1
11011 1
11101 1
11110 1
11000 1
.names ic1_33_ r_40_ n_n448 n_n439 n_n451 n_n413
0-111 1
-0111 1
0-001 1
-0001 1
0-010 1
-0010 1
0-100 1
-0100 1
11011 1
11101 1
11110 1
11000 1
.names id20_20_ id28_28_ id24_24_ id16_16_ n_n446
0111 1
1011 1
1101 1
0001 1
1110 1
0010 1
0100 1
1000 1
.names ic4_36_ r_40_ n_n446 n_n437 n_n436 n_n416
0-111 1
-0111 1
0-001 1
-0001 1
0-010 1
-0010 1
0-100 1
-0100 1
11011 1
11101 1
11110 1
11000 1
.names ic7_39_ r_40_ n_n450 n_n437 n_n443 n_n419
0-111 1
-0111 1
0-001 1
-0001 1
0-010 1
-0010 1
0-100 1
-0100 1
11011 1
11101 1
11110 1
11000 1
.names ic5_37_ r_40_ n_n440 n_n447 n_n443 n_n417
0-111 1
-0111 1
0-001 1
-0001 1
0-010 1
-0010 1
0-100 1
-0100 1
11011 1
11101 1
11110 1
11000 1
.names n_n440 [95] n_n446 n_n437 n_n436 n_n449 [101] [57]
-1111-- 1
-0011-- 1
-0101-- 1
-1001-- 1
-0110-- 1
-1010-- 1
-1100-- 1
-0000-- 1
1---111 1
0---011 1
0---101 1
1---001 1
0---110 1
1---010 1
1---100 1
0---000 1
.names id6_6_ id14_14_ id2_2_ id10_10_ n_n441
0111 1
1011 1
1101 1
0001 1
1110 1
0010 1
0100 1
1000 1
.names r_40_ ic2_34_ n_n441 n_n448 n_n444 n_n414
0-111 1
-0111 1
0-001 1
-0001 1
0-010 1
-0010 1
0-100 1
-0100 1
11011 1
11101 1
11110 1
11000 1
.names id26_26_ id27_27_ id25_25_ id24_24_ n_n448
0111 1
1011 1
1101 1
0001 1
1110 1
0010 1
0100 1
1000 1
.names ic7_39_ r_40_ [96]
0- 1
-0 1
.names id5_5_ id1_1_ id9_9_ id13_13_ n_n439
0111 1
1011 1
1101 1
0001 1
1110 1
0010 1
0100 1
1000 1
.names id27_27_ id31_31_ id23_23_ id19_19_ n_n450
0111 1
1011 1
1101 1
0001 1
1110 1
0010 1
0100 1
1000 1
.names id4_4_ id5_5_ id6_6_ id7_7_ n_n437
0111 1
1011 1
1101 1
0001 1
1110 1
0010 1
0100 1
1000 1
.names id0_0_ id1_1_ id2_2_ id3_3_ n_n436
0111 1
1011 1
1101 1
0001 1
1110 1
0010 1
0100 1
1000 1
.names id21_21_ id29_29_ id17_17_ id25_25_ n_n447
0111 1
1011 1
1101 1
0001 1
1110 1
0010 1
0100 1
1000 1
.names ic1_33_ r_40_ [97]
0- 1
-0 1
.names ic3_35_ r_40_ n_n445 n_n451 n_n442 n_n415
0-111 1
-0111 1
0-001 1
-0001 1
0-010 1
-0010 1
0-100 1
-0100 1
11011 1
11101 1
11110 1
11000 1
.names n_n445 n_n438 n_n441 n_n448 [98] n_n444 [99] [56]
--1111- 1
--0011- 1
--0101- 1
--1001- 1
--0110- 1
--1010- 1
--1100- 1
--0000- 1
11---11 1
00---11 1
01---01 1
10---01 1
01---10 1
10---10 1
11---00 1
00---00 1
.names id22_22_ id26_26_ id18_18_ id30_30_ n_n449
0111 1
1011 1
1101 1
0001 1
1110 1
0010 1
0100 1
1000 1
.names id29_29_ id28_28_ id31_31_ id30_30_ n_n451
0111 1
1011 1
1101 1
0001 1
1110 1
0010 1
0100 1
1000 1
.names id14_14_ id15_15_ id13_13_ id12_12_ n_n443
0111 1
1011 1
1101 1
0001 1
1110 1
0010 1
0100 1
1000 1
.names r_40_ ic2_34_ [98]
0- 1
-0 1
.names ic6_38_ r_40_ n_n440 n_n436 n_n449 n_n418
0-111 1
-0111 1
0-001 1
-0001 1
0-010 1
-0010 1
0-100 1
-0100 1
11011 1
11101 1
11110 1
11000 1
.names n_n445 [94] n_n448 n_n439 [97] n_n451 n_n442 [58]
--1111- 1
--0011- 1
--0101- 1
--1001- 1
--0110- 1
--1010- 1
--1100- 1
--0000- 1
01---11 1
10---11 1
11---01 1
00---01 1
11---10 1
00---10 1
01---00 1
10---00 1
.names id7_7_ id15_15_ id3_3_ id11_11_ n_n442
0111 1
1011 1
1101 1
0001 1
1110 1
0010 1
0100 1
1000 1
.names n_n440 [96] n_n450 n_n437 n_n447 n_n443 [100] [59]
-011-1- 1
-101-1- 1
-110-1- 1
-000-1- 1
-111-0- 1
-001-0- 1
-010-0- 1
-100-0- 1
1---111 1
0---011 1
0---101 1
1---001 1
0---110 1
1---010 1
1---100 1
0---000 1
.names id17_17_ id18_18_ id19_19_ id16_16_ n_n444
0111 1
1011 1
1101 1
0001 1
1110 1
0010 1
0100 1
1000 1
.names ic0_32_ r_40_ [99]
0- 1
-0 1
.names ic5_37_ r_40_ [100]
0- 1
-0 1
.names ic6_38_ r_40_ [101]
0- 1
-0 1
.names [95] n_n446 n_n419 n_n417 n_n437 n_n436 n_n418 [1097]
0101111 1
1001111 1
1101011 1
0001011 1
1101101 1
0001101 1
0101001 1
1001001 1
.names n_n440 [96] n_n450 n_n437 n_n447 n_n443 [100] [1098]
1111111 1
1001111 1
1010111 1
1100111 1
0111011 1
0001011 1
0010011 1
0100011 1
0011101 1
0101101 1
0110101 1
0000101 1
1011001 1
1101001 1
1110001 1
1000001 1
0111110 1
0001110 1
0010110 1
0100110 1
1111010 1
1001010 1
1010010 1
1100010 1
1011100 1
1101100 1
1110100 1
1000100 1
0011000 1
0101000 1
0110000 1
0000000 1
.names n_n440 [95] n_n446 n_n437 n_n436 n_n449 [101] [1100]
0111111 1
0001111 1
0010111 1
0100111 1
1011011 1
1101011 1
1110011 1
1000011 1
1111101 1
1001101 1
1010101 1
1100101 1
0011001 1
0101001 1
0110001 1
0000001 1
1111110 1
1001110 1
1010110 1
1100110 1
0011010 1
0101010 1
0110010 1
0000010 1
0111100 1
0001100 1
0010100 1
0100100 1
1011000 1
1101000 1
1110000 1
1000000 1
.names [95] n_n446 n_n419 n_n417 n_n437 n_n436 n_n418 [1103]
1100111 1
0000111 1
0100011 1
1000011 1
0100101 1
1000101 1
1100001 1
0000001 1
.names n_n445 n_n438 n_n441 n_n448 [98] n_n444 [99] [1106]
1101111 1
0001111 1
1110111 1
0010111 1
1111011 1
0011011 1
1100011 1
0000011 1
0111101 1
1011101 1
0100101 1
1000101 1
0101001 1
1001001 1
0110001 1
1010001 1
0101110 1
1001110 1
0110110 1
1010110 1
0111010 1
1011010 1
0100010 1
1000010 1
1111100 1
0011100 1
1100100 1
0000100 1
1101000 1
0001000 1
1110000 1
0010000 1
.names n_n445 n_n438 n_n413 n_n414 n_n415 n_n444 [99] [1109]
0111011 1
1011011 1
1111001 1
0011001 1
1111010 1
0011010 1
0111000 1
1011000 1
.names n_n445 [94] n_n448 n_n439 [97] n_n451 n_n442 [1110]
1111111 1
0011111 1
1100111 1
0000111 1
1101011 1
0001011 1
1110011 1
0010011 1
0101101 1
1001101 1
0110101 1
1010101 1
0111001 1
1011001 1
0100001 1
1000001 1
0111110 1
1011110 1
0100110 1
1000110 1
0101010 1
1001010 1
0110010 1
1010010 1
1101100 1
0001100 1
1110100 1
0010100 1
1111000 1
0011000 1
1100000 1
0000000 1
.names n_n445 n_n438 n_n413 n_n414 n_n415 n_n444 [99] [1113]
1101011 1
0001011 1
0101001 1
1001001 1
0101010 1
1001010 1
1101000 1
0001000 1
.end