| .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_n111 [358] [359] o_2_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [20] [395] [396] [401] o_0_ |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names i_5_ i_3_ i_4_ n_n46 |
| 001 1 |
| .names i_6_ i_1_ i_2_ i_0_ [5] |
| 1111 1 |
| 0110 1 |
| .names i_1_ i_2_ i_0_ [8] |
| 011 1 |
| 101 1 |
| .names i_6_ i_1_ i_2_ i_0_ [9] |
| 1001 1 |
| 1100 1 |
| 0000 1 |
| .names i_6_ i_1_ i_2_ i_0_ [17] |
| 1010 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 [44] [47] [48] [344] n_n111 |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names i_6_ i_0_ [14] |
| 11 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 [44] [344] [345] [372] [20] |
| 1--1 1 |
| -1-1 1 |
| --11 1 |
| .names [22] [339] [340] [387] [29] |
| 0001 1 |
| .names [44] [344] [345] [390] [30] |
| 0001 1 |
| .names i_6_ i_3_ [22] [3] [31] |
| 0111 1 |
| .names i_6_ i_1_ n_n44 n_n45 [35] |
| 1100 1 |
| .names i_6_ i_0_ n_n44 n_n51 [37] |
| 1101 1 |
| .names i_5_ i_6_ n_n45 n_n48 [44] |
| 1110 1 |
| .names i_5_ i_3_ i_4_ i_0_ [47] |
| 1111 1 |
| .names i_5_ i_6_ i_3_ i_4_ [48] |
| 1111 1 |
| .names i_5_ i_4_ i_2_ i_0_ [50] |
| 1111 1 |
| .names i_5_ i_3_ i_4_ i_2_ [52] |
| 1111 1 |
| .names i_6_ i_1_ i_2_ i_0_ [53] |
| 1111 1 |
| .names [9] [316] [317] [54] |
| 011 1 |
| .names n_n46 [8] [321] [55] |
| 011 1 |
| .names [8] [22] [324] [56] |
| 101 1 |
| .names i_5_ i_3_ i_4_ [5] [59] |
| 1111 1 |
| 0011 1 |
| 0101 1 |
| 1001 1 |
| .names i_5_ i_3_ i_4_ [316] |
| 011 1 |
| 101 1 |
| 110 1 |
| 000 1 |
| .names i_6_ i_1_ i_2_ i_0_ [317] |
| -00- 1 |
| --00 1 |
| 11-0 1 |
| 00-0 1 |
| 0111 1 |
| .names i_5_ i_6_ i_3_ i_4_ [321] |
| 010- 1 |
| 01-1 1 |
| -101 1 |
| 1110 1 |
| .names i_5_ i_6_ i_3_ i_4_ [324] |
| 00-- 1 |
| -01- 1 |
| -0-0 1 |
| .names [9] [17] [22] n_n54 [330] |
| 1-00 1 |
| -100 1 |
| .names [55] [56] [59] [331] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names i_2_ i_5_ [333] |
| 11 1 |
| .names i_6_ i_3_ i_4_ i_1_ [334] |
| 11-- 1 |
| 1-1- 1 |
| -1-1 1 |
| --11 1 |
| .names i_6_ i_3_ i_4_ [337] |
| 1-1 1 |
| -11 1 |
| .names i_1_ i_2_ [52] [337] [339] |
| --1- 1 |
| 11-1 1 |
| .names [50] [53] [333] [334] [340] |
| 1--- 1 |
| -1-- 1 |
| --11 1 |
| .names i_0_ i_1_ [343] |
| 11 1 |
| .names n_n52 [14] n_n54 [343] [344] |
| -11- 1 |
| 1--1 1 |
| .names [48] [47] [345] |
| 1- 1 |
| -1 1 |
| .names i_5_ i_3_ i_4_ i_0_ [348] |
| 1-11 1 |
| -111 1 |
| .names i_6_ i_3_ i_4_ [351] |
| 111 1 |
| .names n_n52 n_n41 [14] [351] [353] |
| 1-1- 1 |
| -0-1 1 |
| .names n_n52 n_n45 n_n55 n_n51 [354] |
| -11- 1 |
| 1--1 1 |
| .names n_n56 n_n44 n_n42 [348] [355] |
| 10-- 1 |
| --01 1 |
| .names [35] [37] [355] [358] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [339] [340] [353] [354] [359] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names i_5_ i_6_ i_3_ i_4_ [361] |
| 11-- 1 |
| -10- 1 |
| -1-1 1 |
| .names i_5_ i_3_ i_2_ i_0_ [366] |
| 1-0- 1 |
| -10- 1 |
| 1--1 1 |
| -1-1 1 |
| .names [8] [19] [3] [361] [367] |
| 0001 1 |
| .names i_1_ i_0_ [369] |
| 1- 1 |
| -1 1 |
| .names i_6_ i_1_ i_2_ i_0_ [370] |
| --1- 1 |
| -0-0 1 |
| 11-1 1 |
| .names n_n55 [7] [369] [370] [372] |
| 1111 1 |
| .names i_6_ i_3_ i_4_ i_0_ [373] |
| 00-- 1 |
| 0-0- 1 |
| -0-0 1 |
| --00 1 |
| .names i_6_ i_1_ i_2_ i_0_ [374] |
| 10-- 1 |
| 1-0- 1 |
| -10- 1 |
| 1--0 1 |
| -1-0 1 |
| .names [374] [373] [376] |
| 11 1 |
| .names i_5_ i_3_ i_4_ n_n53 [377] |
| 1110 1 |
| 0010 1 |
| 0100 1 |
| 1000 1 |
| .names i_6_ i_1_ i_0_ [378] |
| 000 1 |
| .names i_5_ i_3_ i_4_ [378] [382] |
| 11-1 1 |
| 1-11 1 |
| -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_6_ i_1_ i_2_ i_0_ [387] |
| 001- 1 |
| 0-10 1 |
| .names i_5_ i_3_ i_4_ [3] [390] |
| 10-1 1 |
| -011 1 |
| 0101 1 |
| .names i_6_ i_1_ i_2_ [393] |
| 110 1 |
| .names [8] n_n44 [31] [393] [395] |
| --1- 1 |
| 11-- 1 |
| -1-1 1 |
| .names [366] [367] [376] [377] [396] |
| 11-- 1 |
| --11 1 |
| .names [339] [340] [382] [385] [398] |
| 001- 1 |
| 00-1 1 |
| .names [29] [30] [398] [401] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .end |