| .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] [65] [250] o_1_ |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names n_n100 [262] o_2_ |
| 1- 1 |
| -1 1 |
| .names [49] [50] [267] o_0_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names i_10_ i_7_ [45] [46] o_7_ |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names n_n55 [37] [43] [270] o_8_ |
| 0--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names i_13_ i_12_ [273] o_5_ |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n191 [284] [285] o_6_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names i_7_ i_12_ i_11_ i_0_ o_3_ |
| 00-- 1 |
| -00- 1 |
| 0--1 1 |
| --01 1 |
| .names i_9_ i_7_ i_11_ [289] o_4_ |
| ---1 1 |
| 0-0- 1 |
| -10- 1 |
| .names i_1_ i_2_ i_0_ n_n326 |
| 010 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 i_5_ i_6_ [17] |
| 0- 1 |
| -0 1 |
| .names [10] [55] [255] [256] n_n100 |
| -1-- 1 |
| ---1 1 |
| 1-1- 1 |
| .names i_9_ i_10_ [20] |
| -1 1 |
| 10 1 |
| .names i_10_ i_7_ n_n55 |
| 00 1 |
| .names i_9_ i_7_ n_n60 |
| 10 1 |
| .names i_1_ i_2_ [12] |
| 1- 1 |
| -1 1 |
| .names [38] [35] [274] [276] n_n191 |
| -1-- 1 |
| ---1 1 |
| 1-1- 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_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_10_ i_7_ i_8_ i_3_ [38] |
| 0001 1 |
| .names i_7_ i_3_ [12] n_n81 [35] |
| 0001 1 |
| .names i_9_ i_7_ i_1_ i_2_ [37] |
| 101- 1 |
| 10-1 1 |
| .names i_9_ i_7_ i_12_ [43] |
| 101 1 |
| .names i_9_ i_3_ i_1_ i_2_ [45] |
| 1100 1 |
| .names i_8_ i_3_ i_1_ i_2_ [46] |
| 00-- 1 |
| 0-1- 1 |
| 0--1 1 |
| .names i_4_ i_1_ i_2_ i_0_ [49] |
| 0110 1 |
| .names i_5_ i_1_ i_2_ i_0_ [50] |
| 1110 1 |
| .names i_3_ i_1_ i_2_ i_0_ [51] |
| 1100 1 |
| .names i_7_ i_3_ i_1_ i_0_ [55] |
| 1000 1 |
| .names i_3_ i_1_ i_2_ i_0_ [63] |
| 1100 1 |
| .names i_4_ i_1_ i_2_ i_0_ [64] |
| 1010 1 |
| .names i_3_ i_1_ i_2_ i_0_ [65] |
| 1010 1 |
| .names i_4_ i_2_ i_0_ [249] |
| 110 1 |
| .names i_3_ [11] [17] [249] [250] |
| --11 1 |
| 111- 1 |
| .names i_9_ i_10_ i_1_ [255] |
| 100 1 |
| .names i_7_ i_8_ i_2_ i_0_ [256] |
| --10 1 |
| 001- 1 |
| .names i_3_ i_1_ i_2_ i_0_ [259] |
| 00-0 1 |
| 0-10 1 |
| .names i_1_ i_10_ [260] |
| 01 1 |
| .names i_7_ i_8_ i_3_ [261] |
| 000 1 |
| .names [20] [259] [260] [261] [262] |
| 11-- 1 |
| --11 1 |
| .names i_3_ i_4_ [11] [51] [267] |
| ---1 1 |
| 101- 1 |
| .names i_9_ i_7_ i_3_ i_0_ [270] |
| 0--0 1 |
| -1-0 1 |
| 100- 1 |
| .names i_10_ i_7_ i_0_ [273] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names i_9_ i_7_ i_1_ i_2_ [274] |
| 0-00 1 |
| -100 1 |
| .names i_1_ i_2_ i_0_ [275] |
| 1-1 1 |
| -11 1 |
| .names n_n324 [15] [18] [275] [276] |
| 11-- 1 |
| --11 1 |
| .names i_3_ i_1_ i_2_ i_0_ [280] |
| 10-0 1 |
| 1-00 1 |
| .names i_3_ i_1_ i_2_ i_0_ [283] |
| 00-0 1 |
| 0-00 1 |
| .names n_n50 n_n55 n_n60 [280] [284] |
| 11-- 1 |
| -101 1 |
| .names n_n326 n_n55 n_n60 [283] [285] |
| 11-- 1 |
| -111 1 |
| .names i_9_ i_7_ i_8_ i_0_ [289] |
| 00-- 1 |
| -00- 1 |
| -0-0 1 |
| .end |