| .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 [63] [270] o_2_ |
| 1- 1 |
| -1 1 |
| .names [20] [54] [274] o_0_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [14] [277] [283] o_7_ |
| --1 1 |
| 01- 1 |
| .names n_n14 [21] [285] o_8_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n116 n_n101 [286] o_5_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n109 [289] [290] o_6_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [30] [302] [303] o_3_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names o_6_ [23] [306] o_4_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names i_6_ i_3_ n_n14 n_n116 |
| 101 1 |
| .names i_5_ i_3_ [13] n_n97 |
| 101 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_3_ i_2_ [12] |
| 00 1 |
| .names i_6_ i_3_ [16] |
| 11 1 |
| .names i_6_ i_3_ n_n20 [21] |
| 001 1 |
| .names i_6_ n_n23 [261] n_n101 |
| 111 1 |
| .names i_1_ i_0_ [262] n_n124 |
| 001 1 |
| .names i_3_ n_n20 [10] |
| 01 1 |
| .names i_5_ i_3_ [11] |
| 0- 1 |
| -0 1 |
| .names i_5_ i_3_ n_n14 n_n112 |
| 111 1 |
| .names i_1_ i_2_ i_0_ [13] |
| 011 1 |
| .names n_n14 [59] [254] [17] |
| -1- 1 |
| 1-1 1 |
| .names i_6_ n_n23 [20] |
| 11 1 |
| .names n_n14 [264] n_n115 |
| 11 1 |
| .names i_5_ [21] n_n109 |
| 01 1 |
| .names i_1_ i_2_ i_0_ n_n23 |
| 001 1 |
| .names i_5_ i_4_ [19] [14] |
| -01 1 |
| 011 1 |
| .names i_1_ i_0_ [22] |
| 00 1 |
| .names i_1_ i_2_ i_0_ n_n9 |
| 010 1 |
| .names i_6_ i_3_ n_n20 [19] |
| 101 1 |
| .names i_3_ i_0_ n_n20 [23] |
| 100 1 |
| .names n_n9 [293] [27] |
| 11 1 |
| .names n_n23 [295] [28] |
| 01 1 |
| .names i_6_ i_3_ [296] [29] |
| 111 1 |
| .names [19] [276] [297] [30] |
| 0-1 1 |
| -01 1 |
| .names i_6_ n_n23 [261] [31] |
| 110 1 |
| .names i_6_ i_3_ n_n14 [32] |
| 111 1 |
| .names i_3_ n_n9 [36] |
| 01 1 |
| .names i_5_ i_1_ i_2_ [47] |
| 101 1 |
| .names i_6_ i_3_ n_n20 [54] |
| 011 1 |
| .names i_3_ i_2_ i_0_ [59] |
| 001 1 |
| .names i_1_ i_2_ [11] [62] |
| 011 1 |
| .names i_6_ i_4_ [10] [63] |
| 0-1 1 |
| -11 1 |
| .names i_6_ i_3_ n_n23 [68] |
| 011 1 |
| .names i_3_ i_2_ [250] [70] |
| 001 1 |
| .names [13] [251] [252] [71] |
| 0-1 1 |
| -01 1 |
| .names i_5_ n_n14 [254] [72] |
| 010 1 |
| .names i_6_ i_3_ n_n20 [73] |
| 111 1 |
| .names i_0_ i_1_ [250] |
| 11 1 |
| .names i_3_ i_5_ [251] |
| 01 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 [257] |
| 101 1 |
| 001 1 |
| .names [70] [73] [257] [259] |
| 1-- 1 |
| -1- 1 |
| --1 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 n_n14 [62] [254] [266] |
| -1- 1 |
| 1-1 1 |
| .names n_n20 [16] n_n124 [267] |
| --1 1 |
| 11- 1 |
| .names n_n101 n_n115 [68] [268] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [266] [267] [268] [270] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n14 [11] [13] [272] |
| --1 1 |
| 10- 1 |
| .names [272] [17] [274] |
| 1- 1 |
| -1 1 |
| .names i_3_ i_4_ i_2_ [275] |
| 010 1 |
| .names i_4_ i_5_ [276] |
| 10 1 |
| .names i_5_ n_n20 [21] [277] |
| 11- 1 |
| -10 1 |
| .names n_n14 n_n124 [11] [279] |
| -1- 1 |
| 1-0 1 |
| .names n_n115 [22] [275] [280] |
| 1-- 1 |
| -11 1 |
| .names [17] n_n23 [47] [281] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [279] [280] [281] [283] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names i_5_ i_6_ [10] [285] |
| -11 1 |
| 001 1 |
| .names [12] [13] [22] [286] |
| -1- 1 |
| 1-1 1 |
| .names [21] n_n115 [68] [289] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n124 [19] [36] [290] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names i_5_ i_6_ i_4_ [293] |
| 010 1 |
| .names i_5_ i_3_ i_1_ [295] |
| 010 1 |
| .names i_0_ i_2_ [296] |
| 01 1 |
| .names i_5_ i_6_ [10] [297] |
| 1-1 1 |
| -11 1 |
| .names n_n112 [22] [275] [299] |
| 1-- 1 |
| -11 1 |
| .names n_n97 [29] [32] [301] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [27] [28] [299] [302] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [301] [31] [303] |
| 1- 1 |
| -1 1 |
| .names n_n14 [22] [275] [306] |
| 1-- 1 |
| -11 1 |
| .end |