| .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 [11] [62] [65] [248] [251] o_1_ |
| -1--- 1 |
| --1-- 1 |
| ----1 1 |
| 1--1- 1 |
| .names i_9_ i_10_ n_n100 [53] [259] o_2_ |
| --1-- 1 |
| ---1- 1 |
| -1--1 1 |
| 10--1 1 |
| .names [266] [267] o_0_ |
| 1- 1 |
| -1 1 |
| .names i_10_ i_7_ [45] [46] o_7_ |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names i_9_ i_7_ i_12_ [269] [270] o_8_ |
| ---1- 1 |
| ----1 1 |
| 101-- 1 |
| .names i_10_ i_7_ i_13_ i_12_ i_0_ o_5_ |
| 1---- 1 |
| -1--- 1 |
| --0-- 1 |
| ---1- 1 |
| ----1 1 |
| .names [276] [277] [284] [285] o_6_ |
| 1--- 1 |
| -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_8_ i_11_ i_0_ o_4_ |
| 00--- 1 |
| -00-- 1 |
| 0--0- 1 |
| -1-0- 1 |
| -0--0 1 |
| .names i_1_ i_2_ i_0_ [11] |
| 1-0 1 |
| -10 1 |
| .names [10] [55] [255] [256] n_n100 |
| -1-- 1 |
| ---1 1 |
| 1-1- 1 |
| .names i_1_ i_2_ [12] |
| 1- 1 |
| -1 1 |
| .names i_10_ i_7_ i_1_ i_2_ i_0_ [40] |
| 00100 1 |
| .names i_7_ i_8_ i_0_ [10] |
| 00- 1 |
| 0-0 1 |
| .names i_10_ i_7_ i_8_ i_3_ [38] |
| 0001 1 |
| .names i_9_ i_10_ i_7_ i_8_ i_3_ [39] |
| 10000 1 |
| .names i_10_ i_7_ i_1_ i_2_ i_0_ [29] |
| 00010 1 |
| .names i_10_ i_7_ i_14_ i_2_ i_0_ [36] |
| 00010 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_10_ i_7_ i_8_ i_3_ i_1_ [53] |
| 10000 1 |
| .names i_7_ i_3_ i_1_ i_0_ [55] |
| 1000 1 |
| .names i_5_ i_6_ i_4_ i_2_ i_0_ [62] |
| 0-110 1 |
| -0110 1 |
| .names i_3_ i_1_ i_2_ i_0_ [65] |
| 1010 1 |
| .names i_5_ i_6_ i_3_ [248] |
| 0-1 1 |
| -01 1 |
| .names i_3_ i_4_ i_1_ i_2_ i_0_ [251] |
| -1010 1 |
| 1-100 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_5_ i_4_ i_1_ i_2_ i_0_ [266] |
| 1-110 1 |
| -0110 1 |
| .names i_3_ i_4_ i_1_ i_2_ i_0_ [267] |
| 101-0 1 |
| 10-10 1 |
| 1-100 1 |
| .names i_9_ i_10_ i_7_ i_1_ i_2_ [269] |
| -1--- 1 |
| --1-- 1 |
| 1-01- 1 |
| 1-0-1 1 |
| .names i_9_ i_7_ i_3_ i_0_ [270] |
| 0--0 1 |
| -1-0 1 |
| 100- 1 |
| .names i_1_ i_2_ i_0_ [275] |
| 1-1 1 |
| -11 1 |
| .names i_10_ i_7_ i_8_ [36] [275] [276] |
| ---1- 1 |
| 000-1 1 |
| .names i_9_ i_7_ [12] [38] [39] [277] |
| --0-1 1 |
| 0-01- 1 |
| -101- 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 i_9_ i_10_ i_7_ [40] [280] [284] |
| ---1- 1 |
| 000-1 1 |
| .names i_9_ i_10_ i_7_ [29] [283] [285] |
| ---1- 1 |
| 100-1 1 |
| .end |
