| .model top |
| .inputs i_3_ i_4_ i_1_ i_2_ i_0_ |
| .outputs o_1_ o_2_ o_0_ o_7_ o_5_ o_6_ o_3_ o_4_ |
| .names o_5_ [32] [137] o_1_ |
| -1- 1 |
| 0-1 1 |
| .names [28] [140] o_2_ |
| 1- 1 |
| -1 1 |
| .names n_n10 [9] [30] o_0_ |
| --1 1 |
| 11- 1 |
| .names i_3_ i_4_ o_7_ |
| 10 1 |
| .names [33] [34] [35] o_5_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names i_3_ i_4_ i_2_ o_6_ |
| 011 1 |
| 110 1 |
| .names [22] [146] [148] o_3_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [153] [154] [157] o_4_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names i_3_ i_4_ n_n10 |
| 11 1 |
| .names i_1_ i_2_ [8] |
| 0- 1 |
| -1 1 |
| .names i_2_ i_0_ [9] |
| 11 1 |
| .names i_3_ i_4_ i_1_ [12] |
| 100 1 |
| .names i_1_ i_2_ [150] [13] |
| 101 1 |
| .names o_6_ [151] [14] |
| 01 1 |
| .names i_3_ i_4_ [8] [17] |
| 100 1 |
| .names [141] [142] [143] [19] |
| 0-1 1 |
| -01 1 |
| .names i_0_ [12] [22] |
| 11 1 |
| .names n_n10 [9] [30] [28] |
| 010 1 |
| .names i_1_ i_0_ [30] |
| 11 1 |
| .names i_3_ i_4_ [9] [32] |
| 0-1 1 |
| -01 1 |
| .names i_4_ i_1_ i_2_ [33] |
| 101 1 |
| .names i_3_ i_4_ i_2_ [34] |
| 001 1 |
| .names i_4_ i_1_ i_2_ [35] |
| 110 1 |
| .names i_1_ i_2_ i_0_ [137] |
| 0-1 1 |
| -11 1 |
| .names i_2_ i_1_ [138] |
| 11 1 |
| .names i_1_ i_3_ [139] |
| 11 1 |
| .names o_0_ [138] [139] [140] |
| 01- 1 |
| 1-1 1 |
| .names i_2_ i_1_ [141] |
| 11 1 |
| .names i_3_ i_4_ i_0_ [142] |
| 010 1 |
| .names i_1_ i_4_ [143] |
| 11 1 |
| .names i_3_ i_4_ i_0_ [144] |
| 111 1 |
| .names i_0_ i_1_ [145] |
| 01 1 |
| .names o_7_ [8] [145] [146] |
| 00- 1 |
| 1-1 1 |
| .names o_0_ [19] [144] [148] |
| -1- 1 |
| 0-1 1 |
| .names i_3_ i_4_ i_0_ [149] |
| 011 1 |
| .names i_3_ i_4_ i_0_ [150] |
| 110 1 |
| .names i_3_ i_4_ i_0_ [151] |
| 110 1 |
| .names i_0_ i_4_ [152] |
| 11 1 |
| .names [17] [141] [142] [153] |
| 1-- 1 |
| -11 1 |
| .names i_2_ [12] [13] [154] |
| --1 1 |
| 11- 1 |
| .names o_0_ [14] [152] [155] |
| -1- 1 |
| 0-1 1 |
| .names o_5_ [149] [155] [157] |
| --1 1 |
| 11- 1 |
| .end |