| .model top |
| .inputs i_5_ i_6_ i_3_ i_4_ i_1_ i_2_ i_0_ |
| .outputs o_1_ o_2_ o_0_ o_7_ o_8_ o_5_ o_6_ o_3_ o_4_ |
| .names [71] [72] [259] o_1_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names i_6_ i_4_ [10] [270] o_2_ |
| ---1 1 |
| 0-1- 1 |
| -11- 1 |
| .names [17] [272] [273] o_0_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [14] [277] [283] o_7_ |
| --1 1 |
| 01- 1 |
| .names i_6_ n_n14 [10] o_8_ |
| -1- 1 |
| 1-1 1 |
| 0-1 1 |
| .names i_3_ i_4_ [20] [287] o_5_ |
| ---1 1 |
| 011- 1 |
| .names i_6_ [10] [15] [288] o_6_ |
| --1- 1 |
| ---1 1 |
| 11-- 1 |
| 01-- 1 |
| .names [30] [299] [300] [303] o_3_ |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names [19] [288] [291] [307] o_4_ |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names i_1_ i_2_ i_0_ n_n14 |
| 100 1 |
| .names i_1_ i_2_ i_0_ n_n20 |
| 110 1 |
| .names i_6_ i_3_ [16] |
| 11 1 |
| .names i_3_ i_4_ [20] n_n101 |
| 011 1 |
| .names i_3_ i_1_ i_2_ i_0_ [10] |
| 0110 1 |
| .names i_5_ i_3_ [11] |
| 0- 1 |
| -0 1 |
| .names n_n14 n_n23 [264] [265] [15] |
| 1-1- 1 |
| -1-1 1 |
| .names i_1_ i_2_ i_0_ [13] |
| 011 1 |
| .names i_6_ i_3_ n_n14 [59] [17] |
| ---1 1 |
| 101- 1 |
| .names i_6_ i_1_ i_2_ i_0_ [20] |
| 1001 1 |
| .names i_1_ i_2_ i_0_ n_n23 |
| 001 1 |
| .names i_5_ i_6_ i_4_ [10] [14] |
| -101 1 |
| 0111 1 |
| .names i_1_ i_0_ [22] |
| 00 1 |
| .names i_1_ i_2_ i_0_ n_n9 |
| 010 1 |
| .names i_6_ [10] [19] |
| 11 1 |
| .names i_3_ i_1_ i_2_ i_0_ [23] |
| 10-0 1 |
| 1-00 1 |
| .names i_6_ i_3_ i_2_ i_0_ [29] |
| 1110 1 |
| .names i_5_ i_6_ i_4_ [10] [30] |
| 1--1 1 |
| -101 1 |
| .names i_6_ i_3_ n_n14 [32] |
| 111 1 |
| .names i_3_ i_1_ i_2_ i_0_ [36] |
| 0010 1 |
| .names i_3_ i_2_ i_0_ [59] |
| 001 1 |
| .names i_5_ i_3_ i_1_ i_2_ [62] |
| 0-01 1 |
| -001 1 |
| .names i_3_ i_1_ i_2_ i_0_ [70] |
| 0101 1 |
| .names i_5_ i_3_ [13] [252] [71] |
| 0--1 1 |
| -1-1 1 |
| --01 1 |
| .names i_5_ i_6_ i_3_ n_n14 [72] |
| 00-1 1 |
| 0-11 1 |
| .names i_5_ i_1_ i_2_ [252] |
| 101 1 |
| .names i_3_ i_6_ [254] |
| 01 1 |
| .names i_6_ i_3_ n_n20 [70] [259] |
| ---1 1 |
| 111- 1 |
| 101- 1 |
| 001- 1 |
| .names i_4_ i_3_ [261] |
| 10 1 |
| .names i_5_ i_3_ i_2_ [262] |
| 110 1 |
| .names i_5_ i_6_ i_3_ [264] |
| 100 1 |
| .names i_3_ i_6_ [265] |
| 10 1 |
| .names i_6_ i_3_ n_n14 [62] [266] |
| ---1 1 |
| 101- 1 |
| .names n_n20 [16] [22] [262] [267] |
| 11-- 1 |
| --11 1 |
| .names n_n101 [15] [266] [267] [270] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names i_1_ i_2_ i_0_ [11] [272] |
| 011- 1 |
| 1000 1 |
| .names i_6_ i_3_ n_n20 [20] [273] |
| ---1 1 |
| 011- 1 |
| .names i_3_ i_4_ i_2_ [275] |
| 010 1 |
| .names i_5_ i_6_ i_3_ n_n20 [277] |
| 1--1 1 |
| -1-1 1 |
| --11 1 |
| .names i_5_ i_1_ i_2_ i_0_ [278] |
| 101- 1 |
| -001 1 |
| .names i_1_ i_2_ i_0_ [11] [279] |
| 1000 1 |
| 0000 1 |
| .names n_n14 [22] [264] [275] [280] |
| 1-1- 1 |
| -1-1 1 |
| .names n_n14 [59] [254] [278] [281] |
| -1-- 1 |
| ---1 1 |
| 1-1- 1 |
| .names [279] [280] [281] [283] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names i_3_ i_1_ i_2_ i_0_ [286] |
| -011 1 |
| 0000 1 |
| .names i_6_ i_3_ n_n14 [286] [287] |
| ---1 1 |
| 101- 1 |
| .names i_1_ i_0_ [36] [262] [288] |
| --1- 1 |
| 00-1 1 |
| .names i_6_ [10] [15] [291] |
| --1 1 |
| 01- 1 |
| .names i_5_ i_6_ i_4_ [293] |
| 010 1 |
| .names i_5_ i_3_ i_1_ [295] |
| 010 1 |
| .names i_5_ i_3_ [13] [29] [298] |
| ---1 1 |
| 101- 1 |
| .names n_n14 [11] [22] [275] [299] |
| 10-- 1 |
| --11 1 |
| .names n_n23 n_n9 [293] [295] [300] |
| -11- 1 |
| 0--1 1 |
| .names [20] [32] [261] [298] [303] |
| -1-- 1 |
| ---1 1 |
| 1-0- 1 |
| .names n_n14 [22] [23] [275] [307] |
| 1--- 1 |
| --1- 1 |
| -1-1 1 |
| .end |