| .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 |
