| .model top |
| .inputs i_5_ i_6_ i_3_ i_4_ i_1_ i_2_ i_0_ |
| .outputs o_1_ o_2_ o_0_ |
| .names [54] [330] [331] o_1_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n112 [357] [360] o_2_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [398] [399] [400] o_0_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names i_5_ i_3_ i_4_ n_n43 |
| 010 1 |
| .names i_5_ i_3_ i_4_ n_n46 |
| 001 1 |
| .names i_6_ i_0_ [18] [5] |
| 111 1 |
| 001 1 |
| .names i_1_ i_2_ i_0_ [8] |
| 011 1 |
| 101 1 |
| .names i_6_ n_n41 [3] [9] |
| 01- 1 |
| 1-1 1 |
| .names i_5_ i_3_ i_4_ [19] |
| 111 1 |
| 100 1 |
| .names i_5_ i_3_ i_4_ [22] |
| 011 1 |
| 110 1 |
| 000 1 |
| .names i_1_ i_2_ i_0_ n_n56 |
| 111 1 |
| .names i_5_ i_3_ i_4_ n_n52 |
| 110 1 |
| .names i_5_ i_3_ i_4_ n_n44 |
| 000 1 |
| .names i_1_ i_2_ i_0_ n_n45 |
| 100 1 |
| .names i_5_ i_3_ i_4_ n_n55 |
| 111 1 |
| .names i_1_ i_2_ i_0_ n_n41 |
| 000 1 |
| .names i_1_ i_2_ i_0_ n_n42 |
| 001 1 |
| .names i_1_ i_2_ i_0_ n_n51 |
| 011 1 |
| .names [51] [52] [340] n_n112 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [345] [346] n_n111 |
| 1- 1 |
| -1 1 |
| .names i_6_ i_0_ [14] |
| 11 1 |
| .names i_3_ i_4_ [16] |
| 11 1 |
| .names i_1_ i_2_ i_0_ n_n47 |
| 010 1 |
| .names i_5_ i_3_ i_4_ n_n48 |
| 100 1 |
| .names i_1_ i_2_ i_0_ n_n53 |
| 110 1 |
| .names i_5_ i_3_ i_4_ n_n54 |
| 101 1 |
| .names i_1_ i_2_ i_0_ [3] |
| 001 1 |
| 100 1 |
| .names i_6_ i_1_ [7] |
| 1- 1 |
| -1 1 |
| .names i_1_ i_2_ [18] |
| 11 1 |
| .names i_1_ i_2_ i_0_ n_n49 |
| 101 1 |
| .names i_3_ i_4_ [11] |
| 1- 1 |
| -1 1 |
| .names [364] [365] [366] [15] |
| 111 1 |
| .names [345] [346] [372] [20] |
| 1-1 1 |
| -11 1 |
| .names [373] [374] [377] [21] |
| 111 1 |
| .names [339] [340] [382] [23] |
| 001 1 |
| .names [339] [340] [385] [28] |
| 001 1 |
| .names [339] [340] [388] [29] |
| 001 1 |
| .names [345] [346] [390] [30] |
| 001 1 |
| .names [22] [3] [391] [31] |
| 111 1 |
| .names n_n46 n_n42 [347] [34] |
| 001 1 |
| .names n_n44 n_n45 [349] [35] |
| 001 1 |
| .names n_n41 [351] [36] |
| 01 1 |
| .names n_n44 n_n51 [14] [37] |
| 011 1 |
| .names n_n52 n_n51 [39] |
| 11 1 |
| .names n_n45 n_n55 [40] |
| 11 1 |
| .names n_n45 n_n48 [341] [44] |
| 101 1 |
| .names i_1_ i_0_ n_n52 [45] |
| 111 1 |
| .names i_6_ i_0_ n_n54 [46] |
| 111 1 |
| .names [7] [11] [333] [49] |
| 111 1 |
| .names i_5_ i_4_ [336] [50] |
| 111 1 |
| .names i_1_ i_2_ [337] [51] |
| 111 1 |
| .names i_2_ n_n55 [52] |
| 11 1 |
| .names i_6_ n_n56 [53] |
| 11 1 |
| .names [5] [315] [318] [54] |
| 011 1 |
| .names n_n46 [8] [321] [55] |
| 011 1 |
| .names [22] [325] [56] |
| 01 1 |
| .names [22] [326] [57] |
| 01 1 |
| .names [5] [22] n_n54 [59] |
| 100 1 |
| .names i_6_ [8] n_n47 [315] |
| 00- 1 |
| -00 1 |
| .names i_5_ i_3_ i_4_ [316] |
| 011 1 |
| 101 1 |
| 110 1 |
| 000 1 |
| .names [9] [316] [318] |
| 01 1 |
| .names i_6_ n_n43 [19] [321] |
| 100 1 |
| .names i_6_ [8] n_n54 [325] |
| 010 1 |
| .names i_6_ n_n47 n_n54 [326] |
| 110 1 |
| .names i_5_ i_3_ i_4_ [327] |
| 111 1 |
| 001 1 |
| 010 1 |
| 100 1 |
| .names [9] [57] [327] [330] |
| -1- 1 |
| 1-1 1 |
| .names [55] [56] [59] [331] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names i_2_ i_5_ [333] |
| 11 1 |
| .names i_0_ i_2_ [336] |
| 11 1 |
| .names i_6_ i_3_ i_4_ [337] |
| 1-1 1 |
| -11 1 |
| .names i_2_ n_n55 [51] [339] |
| --1 1 |
| 11- 1 |
| .names [49] [50] [53] [340] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names i_6_ i_5_ [341] |
| 11 1 |
| .names i_6_ i_0_ n_n55 [345] |
| 1-1 1 |
| -11 1 |
| .names [44] [45] [46] [346] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names i_0_ i_4_ [347] |
| 11 1 |
| .names i_1_ i_6_ [349] |
| 11 1 |
| .names i_6_ i_3_ i_4_ [351] |
| 111 1 |
| .names n_n52 [14] [36] [353] |
| --1 1 |
| 11- 1 |
| .names n_n56 n_n44 [34] [355] |
| --1 1 |
| 10- 1 |
| .names [37] [35] [356] |
| 1- 1 |
| -1 1 |
| .names [39] [40] [353] [357] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n111 [355] [356] [360] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names i_5_ i_3_ [362] |
| 1- 1 |
| -1 1 |
| .names [19] [8] [364] |
| 00 1 |
| .names i_6_ n_n43 [3] [365] |
| 100 1 |
| .names i_2_ i_0_ [362] [366] |
| 0-1 1 |
| -11 1 |
| .names i_1_ i_0_ [369] |
| 1- 1 |
| -1 1 |
| .names i_6_ [3] n_n49 [370] |
| 10- 1 |
| -00 1 |
| .names n_n55 [7] [369] [371] |
| 111 1 |
| .names [371] [370] [372] |
| 11 1 |
| .names i_3_ i_4_ [14] [373] |
| 0-0 1 |
| -00 1 |
| .names i_6_ i_1_ n_n56 [374] |
| 1-0 1 |
| -10 1 |
| .names [22] n_n53 n_n54 [377] |
| 000 1 |
| .names i_6_ i_1_ i_0_ [378] |
| 000 1 |
| .names i_5_ i_3_ i_4_ [379] |
| 1-- 1 |
| -11 1 |
| -00 1 |
| .names i_3_ i_4_ [380] |
| 1- 1 |
| -1 1 |
| .names [378] [379] [380] [382] |
| 111 1 |
| .names i_6_ i_1_ i_2_ [383] |
| 10- 1 |
| 1-1 1 |
| -11 1 |
| .names n_n44 n_n41 [383] [385] |
| 101 1 |
| .names i_2_ i_6_ [386] |
| 10 1 |
| .names [22] n_n56 [386] [388] |
| 001 1 |
| .names [22] [16] [3] [390] |
| 001 1 |
| .names i_6_ i_3_ [391] |
| 01 1 |
| .names i_6_ i_1_ i_2_ [393] |
| 110 1 |
| .names [8] n_n44 [393] [394] |
| 11- 1 |
| -11 1 |
| .names [394] [31] [395] |
| 1- 1 |
| -1 1 |
| .names [21] [15] [396] |
| 1- 1 |
| -1 1 |
| .names [28] [23] [398] |
| 1- 1 |
| -1 1 |
| .names [30] [29] [399] |
| 1- 1 |
| -1 1 |
| .names [20] [395] [396] [400] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .end |