| .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] [59] [329] [330] o_1_ |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names n_n111 [355] [356] [359] o_2_ |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names [396] [397] [398] [399] o_0_ |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 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_5_ i_3_ i_4_ n_n44 |
| 000 1 |
| .names i_1_ i_2_ i_0_ n_n45 |
| 100 1 |
| .names i_1_ i_2_ i_0_ n_n51 |
| 011 1 |
| .names n_n48 [45] [46] [342] [345] n_n111 |
| -1--- 1 |
| --1-- 1 |
| ----1 1 |
| 0--1- 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_5_ i_3_ i_4_ [6] |
| 011 1 |
| 110 1 |
| .names [22] n_n53 n_n54 [373] [374] [21] |
| 00011 1 |
| .names i_5_ i_6_ i_3_ i_4_ i_0_ [38] |
| 11101 1 |
| .names i_5_ i_3_ i_4_ i_1_ i_0_ [45] |
| 11011 1 |
| .names i_5_ i_6_ i_3_ i_4_ i_0_ [46] |
| 11011 1 |
| .names i_5_ i_4_ i_2_ i_0_ [50] |
| 1111 1 |
| .names i_6_ i_3_ i_4_ i_1_ i_2_ [51] |
| 1-111 1 |
| -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 i_6_ i_1_ i_2_ i_0_ [316] [54] |
| 01111 1 |
| 00011 1 |
| 11101 1 |
| 00101 1 |
| 01001 1 |
| 10001 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_5_ i_6_ i_3_ i_4_ [8] [329] |
| 01111 1 |
| 10111 1 |
| 11011 1 |
| 00011 1 |
| 11101 1 |
| 00101 1 |
| 01001 1 |
| 10001 1 |
| .names i_5_ i_3_ i_4_ [9] [17] [330] |
| 1111- 1 |
| 0011- 1 |
| 0101- 1 |
| 1001- 1 |
| 111-1 1 |
| 001-1 1 |
| 010-1 1 |
| 100-1 1 |
| .names i_6_ i_3_ i_4_ i_1_ [334] |
| 11-- 1 |
| 1-1- 1 |
| -1-1 1 |
| --11 1 |
| .names i_5_ i_3_ i_4_ i_2_ [51] [339] |
| ----1 1 |
| 1111- 1 |
| .names i_5_ i_2_ [50] [53] [334] [340] |
| --1-- 1 |
| ---1- 1 |
| 11--1 1 |
| .names i_5_ i_6_ i_1_ i_2_ i_0_ [342] |
| 11100 1 |
| .names i_5_ i_6_ i_3_ i_4_ i_0_ [345] |
| 1111- 1 |
| 1-111 1 |
| .names i_5_ i_3_ i_4_ i_0_ [348] |
| 1-11 1 |
| -111 1 |
| .names i_5_ i_6_ i_3_ i_4_ i_1_ [350] |
| 11--1 1 |
| -11-1 1 |
| -1-11 1 |
| .names i_6_ i_3_ i_4_ [351] |
| 111 1 |
| .names i_5_ i_6_ i_3_ i_4_ i_0_ [352] |
| 11--1 1 |
| -11-1 1 |
| -1-11 1 |
| .names i_1_ i_2_ i_0_ [38] [351] [353] |
| ---1- 1 |
| 1---1 1 |
| -1--1 1 |
| --1-1 1 |
| .names i_5_ i_3_ i_4_ n_n45 n_n51 [354] |
| 1111- 1 |
| 110-1 1 |
| .names i_1_ i_2_ i_0_ n_n44 [348] [355] |
| 1---1 1 |
| -1--1 1 |
| --0-1 1 |
| 1110- 1 |
| .names i_1_ i_2_ i_0_ [350] [352] [356] |
| 0--1- 1 |
| -1-1- 1 |
| --11- 1 |
| 011-1 1 |
| .names [51] [52] [340] [353] [354] [359] |
| 1---- 1 |
| -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_ [362] |
| 1- 1 |
| -1 1 |
| .names i_1_ i_2_ i_0_ [19] [361] [367] |
| 11-01 1 |
| 0-001 1 |
| -1001 1 |
| .names i_5_ i_6_ i_3_ i_4_ i_1_ [368] |
| 1111- 1 |
| 1-111 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 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 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_ i_0_ n_n44 [385] |
| 1-1-1 1 |
| -11-1 1 |
| 10-11 1 |
| .names i_6_ i_1_ i_2_ i_0_ [387] |
| 001- 1 |
| 0-10 1 |
| .names i_5_ i_3_ i_4_ [387] [388] |
| 10-1 1 |
| 1-11 1 |
| -011 1 |
| 0101 1 |
| .names i_3_ i_4_ i_1_ i_2_ i_0_ [389] |
| 0-001 1 |
| -0001 1 |
| 0-100 1 |
| -0100 1 |
| .names i_5_ i_3_ i_4_ [389] [390] |
| 10-1 1 |
| 1-11 1 |
| -011 1 |
| 0101 1 |
| .names i_6_ i_3_ i_1_ i_2_ i_0_ [392] |
| 01001 1 |
| 01100 1 |
| .names i_6_ i_1_ i_2_ [393] |
| 110 1 |
| .names [8] n_n44 [6] [392] [393] [395] |
| 11--- 1 |
| -1-1- 1 |
| --11- 1 |
| -1--1 1 |
| .names i_2_ i_0_ [21] [362] [367] [396] |
| --1-- 1 |
| 0--11 1 |
| -1-11 1 |
| .names n_n111 [368] [369] [370] [395] [397] |
| ----1 1 |
| 1111- 1 |
| .names [51] [52] [340] [382] [385] [398] |
| 0001- 1 |
| 000-1 1 |
| .names n_n111 [339] [340] [388] [390] [399] |
| 0---1 1 |
| -001- 1 |
| .end |