.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_n208 n_n414 [1097] od10_232_
11-- 1
1-0- 1
1--0 1
0011 1
.names id11_11_ n_n208 n_n415 [1097] od11_231_
11-- 1
1-0- 1
1--0 1
0011 1
.names id12_12_ n_n412 n_n208 [1099] od12_230_
10-- 1
1-1- 1
1--0 1
0101 1
.names id4_4_ n_n412 n_n208 [1101] od4_238_
10-- 1
1-1- 1
1--0 1
0101 1
.names id8_8_ n_n412 n_n208 [1097] od8_234_
10-- 1
1-1- 1
1--0 1
0101 1
.names id1_1_ n_n413 n_n208 [1103] od1_241_
10-- 1
1-1- 1
1--0 1
0101 1
.names id20_20_ n_n209 n_n416 [1107] od20_222_
11-- 1
1-0- 1
1--0 1
0011 1
.names id21_21_ n_n209 n_n417 [1107] od21_221_
11-- 1
1-0- 1
1--0 1
0011 1
.names id22_22_ n_n209 n_n418 [1107] od22_220_
11-- 1
1-0- 1
1--0 1
0011 1
.names id5_5_ n_n413 n_n208 [1101] od5_237_
10-- 1
1-1- 1
1--0 1
0101 1
.names id9_9_ n_n413 n_n208 [1097] od9_233_
10-- 1
1-1- 1
1--0 1
0101 1
.names id2_2_ n_n208 n_n414 [1103] od2_240_
11-- 1
1-0- 1
1--0 1
0011 1
.names id23_23_ n_n209 n_n419 [1107] od23_219_
11-- 1
1-0- 1
1--0 1
0011 1
.names id24_24_ n_n209 n_n416 [1109] od24_218_
11-- 1
1-0- 1
1--0 1
0011 1
.names id25_25_ n_n209 n_n417 [1109] od25_217_
11-- 1
1-0- 1
1--0 1
0011 1
.names id26_26_ n_n209 n_n418 [1109] od26_216_
11-- 1
1-0- 1
1--0 1
0011 1
.names id27_27_ n_n209 n_n419 [1109] od27_215_
11-- 1
1-0- 1
1--0 1
0011 1
.names id28_28_ n_n209 n_n416 [1111] od28_214_
11-- 1
1-0- 1
1--0 1
0011 1
.names id29_29_ n_n209 n_n417 [1111] od29_213_
11-- 1
1-0- 1
1--0 1
0011 1
.names id30_30_ n_n209 n_n418 [1111] od30_212_
11-- 1
1-0- 1
1--0 1
0011 1
.names id31_31_ n_n209 n_n419 [1111] od31_211_
11-- 1
1-0- 1
1--0 1
0011 1
.names id6_6_ n_n208 n_n414 [1101] od6_236_
11-- 1
1-0- 1
1--0 1
0011 1
.names id13_13_ n_n413 n_n208 [1099] od13_229_
10-- 1
1-1- 1
1--0 1
0101 1
.names id14_14_ n_n208 n_n414 [1099] od14_228_
11-- 1
1-0- 1
1--0 1
0011 1
.names id15_15_ n_n208 n_n415 [1099] od15_227_
11-- 1
1-0- 1
1--0 1
0011 1
.names id16_16_ n_n209 n_n416 [1113] od16_226_
11-- 1
1-0- 1
1--0 1
0011 1
.names id17_17_ n_n209 n_n417 [1113] od17_225_
11-- 1
1-0- 1
1--0 1
0011 1
.names id18_18_ n_n209 n_n418 [1113] od18_224_
11-- 1
1-0- 1
1--0 1
0011 1
.names id19_19_ n_n209 n_n419 [1113] od19_223_
11-- 1
1-0- 1
1--0 1
0011 1
.names id3_3_ n_n208 n_n415 [1103] od3_239_
11-- 1
1-0- 1
1--0 1
0011 1
.names id7_7_ n_n208 n_n415 [1101] od7_235_
11-- 1
1-0- 1
1--0 1
0011 1
.names id0_0_ n_n412 n_n208 [1103] od0_242_
10-- 1
1-1- 1
1--0 1
0101 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 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 n_n416 n_n419 n_n417 n_n418 n_n209
11-- 1
1-1- 1
-11- 1
1--1 1
-1-1 1
--11 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_n412 n_n413 n_n414 n_n415 n_n208
11-- 1
1-1- 1
-11- 1
1--1 1
-1-1 1
--11 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 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 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 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 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 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 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 n_n416 n_n419 n_n417 n_n418 [1097]
0011 1
.names n_n416 n_n419 n_n417 n_n418 [1099]
0110 1
.names n_n416 n_n419 n_n417 n_n418 [1101]
1100 1
.names n_n416 n_n419 n_n417 n_n418 [1103]
1001 1
.names n_n412 n_n413 n_n414 n_n415 [1107]
1001 1
.names n_n412 n_n413 n_n414 n_n415 [1109]
0110 1
.names n_n412 n_n413 n_n414 n_n415 [1111]
0101 1
.names n_n412 n_n413 n_n414 n_n415 [1113]
1010 1
.end