| .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 i_5_ i_6_ i_3_ i_1_ i_2_ i_0_ o_1_ |
| 1-101- 1 |
| --0101 1 |
| 1--010 1 |
| -11110 1 |
| -10110 1 |
| -00110 1 |
| 00-100 1 |
| 0-1100 1 |
| .names n_n101 [15] [63] [269] o_2_ |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names i_5_ i_6_ i_3_ i_1_ i_2_ i_0_ o_0_ |
| ---011 1 |
| --0-01 1 |
| -1-001 1 |
| -01110 1 |
| 1-1100 1 |
| -10100 1 |
| .names i_5_ i_4_ [19] [277] [283] o_7_ |
| ----1 1 |
| --01- 1 |
| 11-1- 1 |
| .names i_6_ i_3_ i_1_ i_2_ i_0_ o_8_ |
| --100 1 |
| 10110 1 |
| 00110 1 |
| .names i_6_ i_3_ i_4_ i_1_ i_2_ i_0_ o_5_ |
| ---011 1 |
| -0-000 1 |
| 10-100 1 |
| 101001 1 |
| .names i_5_ i_6_ i_3_ i_1_ i_2_ i_0_ o_6_ |
| --0010 1 |
| -01001 1 |
| -10110 1 |
| -00110 1 |
| 1-1000 1 |
| 100100 1 |
| .names i_5_ i_4_ [19] [297] [304] o_3_ |
| ----1 1 |
| 1--1- 1 |
| -0-1- 1 |
| --01- 1 |
| .names i_3_ i_4_ i_1_ i_2_ i_0_ o_6_ o_4_ |
| -----1 1 |
| 1-0-0- 1 |
| 1--00- 1 |
| --100- 1 |
| 01000- 1 |
| .names i_6_ i_3_ i_4_ i_1_ i_2_ i_0_ n_n101 |
| 101001 1 |
| .names i_5_ i_6_ i_3_ i_1_ i_2_ i_0_ [15] |
| -01001 1 |
| 100100 1 |
| .names i_5_ i_6_ i_3_ i_1_ i_2_ i_0_ n_n115 |
| 100100 1 |
| .names i_3_ i_4_ i_1_ i_2_ i_0_ n_n126 |
| 01000 1 |
| .names i_6_ i_3_ i_1_ i_2_ i_0_ [19] |
| 10110 1 |
| .names i_5_ i_6_ i_4_ i_1_ i_2_ i_0_ [27] |
| 010010 1 |
| .names i_5_ i_3_ i_1_ i_2_ i_0_ [28] |
| 0101- 1 |
| 010-0 1 |
| .names i_6_ i_3_ i_4_ i_1_ i_2_ i_0_ [31] |
| 11-001 1 |
| 1-0001 1 |
| .names i_6_ i_3_ i_4_ i_1_ i_2_ i_0_ [63] |
| 00-110 1 |
| -01110 1 |
| .names i_5_ i_6_ i_3_ i_1_ i_2_ i_0_ [269] |
| 0--01- 1 |
| --001- 1 |
| -11110 1 |
| -10100 1 |
| 1-1000 1 |
| .names i_5_ i_6_ i_3_ i_1_ i_2_ i_0_ [277] |
| 1--110 1 |
| -1-110 1 |
| --1110 1 |
| .names i_5_ i_3_ i_1_ i_2_ i_0_ [279] |
| 11100 1 |
| 11000 1 |
| .names i_5_ i_6_ i_3_ i_1_ i_2_ i_0_ [281] |
| 1--01- 1 |
| --0-01 1 |
| ---001 1 |
| -10100 1 |
| .names n_n115 n_n126 [279] [281] [283] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names i_5_ i_6_ i_3_ i_1_ i_2_ i_0_ [297] |
| 1-0110 1 |
| -10110 1 |
| .names i_5_ i_3_ i_4_ i_1_ i_2_ i_0_ [299] |
| 11-100 1 |
| -01000 1 |
| .names i_5_ i_6_ i_3_ i_1_ i_2_ i_0_ [301] |
| -11-10 1 |
| 1-0011 1 |
| -11100 1 |
| .names [27] [28] [31] [299] [301] [304] |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| .end |
