| .model top |
| .inputs i_9_ i_10_ i_7_ i_8_ i_5_ i_6_ i_14_ i_3_ i_13_ i_4_ i_12_ i_1_ i_11_ \ |
| i_2_ i_0_ |
| .outputs o_1_ o_2_ o_0_ o_7_ o_8_ o_5_ o_6_ o_3_ o_4_ |
| .names [63] [64] [252] o_1_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n100 [52] [53] o_2_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [48] [51] [266] o_0_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names i_8_ [33] [268] o_7_ |
| --1 1 |
| 01- 1 |
| .names [43] [269] [270] o_8_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names i_13_ i_12_ [273] o_5_ |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names [276] [277] [286] o_6_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [287] [288] o_3_ |
| 1- 1 |
| -1 1 |
| .names [10] [13] [16] o_4_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names i_1_ i_2_ i_0_ n_n326 |
| 010 1 |
| .names i_2_ i_0_ n_n589 |
| 10 1 |
| .names i_1_ i_2_ i_0_ n_n50 |
| 100 1 |
| .names i_1_ i_2_ i_0_ [11] |
| 1-0 1 |
| -10 1 |
| .names [55] [56] [256] n_n100 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names i_7_ i_3_ n_n22 |
| 00 1 |
| .names i_9_ i_10_ [20] |
| -1 1 |
| 10 1 |
| .names i_10_ i_7_ n_n55 |
| 00 1 |
| .names i_3_ i_1_ i_2_ [33] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names i_9_ i_7_ n_n60 |
| 10 1 |
| .names i_1_ i_2_ [12] |
| 1- 1 |
| -1 1 |
| .names i_1_ i_2_ [9] |
| 0- 1 |
| -0 1 |
| .names i_7_ i_8_ i_0_ [10] |
| 00- 1 |
| 0-0 1 |
| .names i_7_ i_2_ i_0_ n_n324 |
| 010 1 |
| .names i_10_ i_7_ i_8_ n_n84 |
| 000 1 |
| .names i_7_ i_8_ i_2_ [19] |
| 001 1 |
| .names i_9_ i_10_ i_8_ n_n81 |
| 100 1 |
| .names i_10_ i_14_ [15] |
| 00 1 |
| .names i_10_ i_7_ i_8_ [18] |
| 000 1 |
| .names i_7_ i_3_ n_n84 [38] |
| 1-1 1 |
| -11 1 |
| .names i_9_ i_7_ i_11_ [13] |
| 0-0 1 |
| -10 1 |
| .names i_9_ i_7_ [16] |
| 00 1 |
| .names [9] [278] [279] [27] |
| 111 1 |
| .names [9] [281] [282] [28] |
| 111 1 |
| .names i_10_ i_7_ n_n326 [29] |
| 001 1 |
| .names [18] [275] [34] |
| 11 1 |
| .names n_n22 [12] n_n81 [35] |
| 101 1 |
| .names i_9_ i_7_ i_0_ [41] |
| 0-0 1 |
| -10 1 |
| .names i_9_ i_7_ i_3_ [42] |
| 100 1 |
| .names i_9_ i_7_ i_12_ [43] |
| 101 1 |
| .names i_3_ i_4_ [11] [48] |
| 101 1 |
| .names i_3_ n_n50 [51] |
| 11 1 |
| .names n_n50 [20] [258] [52] |
| 011 1 |
| .names i_10_ i_1_ [261] [53] |
| 101 1 |
| .names i_3_ i_1_ [254] [55] |
| 001 1 |
| .names [10] [255] [56] |
| 11 1 |
| .names [11] [248] [61] |
| 11 1 |
| .names i_5_ i_6_ [249] [62] |
| 0-1 1 |
| -01 1 |
| .names i_3_ n_n50 [63] |
| 11 1 |
| .names i_4_ n_n326 [64] |
| 11 1 |
| .names i_3_ n_n326 [65] |
| 11 1 |
| .names i_5_ i_6_ i_3_ [248] |
| 0-1 1 |
| -01 1 |
| .names i_4_ i_2_ i_0_ [249] |
| 110 1 |
| .names [61] [62] [65] [252] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names i_7_ i_3_ i_0_ [254] |
| 1-0 1 |
| -10 1 |
| .names i_9_ i_10_ i_1_ [255] |
| 100 1 |
| .names i_2_ i_0_ [19] [256] |
| --1 1 |
| 10- 1 |
| .names i_0_ i_3_ [258] |
| 00 1 |
| .names i_7_ i_8_ i_3_ [261] |
| 000 1 |
| .names i_1_ i_4_ [264] |
| 10 1 |
| .names i_1_ i_5_ [265] |
| 11 1 |
| .names n_n589 [264] [265] [266] |
| 11- 1 |
| 1-1 1 |
| .names i_9_ n_n55 [33] [268] |
| -0- 1 |
| 1-0 1 |
| .names n_n55 n_n60 [12] [269] |
| 0-- 1 |
| -11 1 |
| .names [42] [41] [270] |
| 1- 1 |
| -1 1 |
| .names i_10_ i_7_ i_0_ [273] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names i_1_ i_2_ n_n60 [274] |
| 000 1 |
| .names i_1_ i_2_ i_0_ [275] |
| 1-1 1 |
| -11 1 |
| .names n_n324 [15] [34] [276] |
| --1 1 |
| 11- 1 |
| .names [38] [35] [274] [277] |
| -1- 1 |
| 1-1 1 |
| .names i_0_ i_3_ [278] |
| 01 1 |
| .names i_9_ i_10_ i_7_ [279] |
| 000 1 |
| .names i_0_ i_3_ [281] |
| 00 1 |
| .names i_9_ i_10_ i_7_ [282] |
| 100 1 |
| .names n_n50 n_n55 [27] [284] |
| --1 1 |
| 11- 1 |
| .names [28] [29] [284] [286] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names i_7_ i_11_ i_0_ [287] |
| 0-1 1 |
| -01 1 |
| .names i_7_ i_12_ i_11_ [288] |
| 00- 1 |
| -00 1 |
| .end |