| .model top |
| .inputs i_7_ i_5_ i_6_ i_3_ i_4_ i_1_ i_2_ i_0_ |
| .outputs o_1_ o_2_ o_0_ o_3_ |
| .names [140] [141] [142] [143] [651] o_1_ |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| .names i_5_ i_3_ i_4_ [40] o_2_ |
| 1111 1 |
| .names [697] [698] [701] [703] [718] o_0_ |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| .names n_n144 [740] [741] [757] [758] o_3_ |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| .names i_7_ i_6_ n_n1 |
| 01 1 |
| .names i_5_ i_3_ i_4_ [4] |
| 011 1 |
| 101 1 |
| .names i_5_ i_3_ i_4_ [5] |
| 010 1 |
| 100 1 |
| .names i_1_ i_2_ i_0_ [6] |
| 001 1 |
| 100 1 |
| .names i_1_ i_2_ i_0_ [7] |
| 011 1 |
| 110 1 |
| .names i_1_ i_2_ i_0_ [9] |
| 111 1 |
| 010 1 |
| .names i_5_ i_3_ i_4_ [12] |
| 110 1 |
| 000 1 |
| .names i_5_ i_3_ i_4_ [13] |
| 111 1 |
| 001 1 |
| .names i_1_ i_2_ i_0_ [17] |
| 101 1 |
| 000 1 |
| .names i_7_ i_5_ i_6_ i_3_ i_4_ [47] |
| 00110 1 |
| 01100 1 |
| .names i_7_ i_6_ i_1_ i_2_ i_0_ [52] |
| 00001 1 |
| 00100 1 |
| .names i_5_ i_3_ i_4_ n_n18 |
| 111 1 |
| .names i_7_ i_6_ i_1_ i_2_ i_0_ [40] |
| 11111 1 |
| .names i_5_ i_3_ i_4_ n_n7 |
| 100 1 |
| .names i_5_ i_3_ i_4_ n_n6 |
| 000 1 |
| .names i_1_ i_2_ i_0_ n_n5 |
| 101 1 |
| .names i_1_ i_2_ i_0_ n_n2 |
| 000 1 |
| .names i_5_ i_3_ i_4_ n_n13 |
| 001 1 |
| .names i_5_ i_3_ i_4_ [8] |
| 011 1 |
| 101 1 |
| 001 1 |
| .names i_1_ i_2_ i_0_ [11] |
| 011 1 |
| 010 1 |
| .names i_5_ i_3_ i_4_ [14] |
| 111 1 |
| 011 1 |
| 101 1 |
| .names i_5_ i_3_ i_4_ [16] |
| 110 1 |
| 010 1 |
| 100 1 |
| .names i_7_ i_5_ i_6_ i_3_ i_4_ [24] |
| 01110 1 |
| .names i_7_ i_5_ i_6_ i_3_ i_4_ [25] |
| 01111 1 |
| .names i_5_ i_3_ i_4_ [27] |
| 010 1 |
| 100 1 |
| 000 1 |
| .names i_7_ i_5_ i_6_ i_3_ i_4_ [32] |
| 01010 1 |
| .names i_7_ i_6_ i_1_ i_2_ i_0_ [38] |
| 00101 1 |
| .names i_7_ i_5_ i_6_ i_3_ i_4_ [42] |
| 00101 1 |
| .names i_7_ i_6_ i_1_ i_2_ i_0_ [44] |
| 00011 1 |
| .names i_7_ i_5_ i_6_ i_3_ i_4_ [50] |
| 00111 1 |
| 01101 1 |
| 00101 1 |
| .names i_7_ i_6_ n_n10 |
| 10 1 |
| .names i_7_ i_6_ i_1_ i_2_ i_0_ [22] |
| 10111 1 |
| .names i_7_ i_5_ i_6_ i_3_ i_4_ [26] |
| 11011 1 |
| .names i_7_ i_6_ i_1_ i_2_ i_0_ [35] |
| 11000 1 |
| .names i_7_ i_5_ i_6_ i_3_ i_4_ [49] |
| 10001 1 |
| .names i_1_ i_2_ i_0_ n_n19 |
| 111 1 |
| .names i_1_ i_2_ i_0_ n_n3 |
| 001 1 |
| .names i_1_ i_2_ i_0_ [15] |
| 101 1 |
| 100 1 |
| .names i_7_ i_5_ i_6_ i_3_ i_4_ [39] |
| 01011 1 |
| .names [721] [722] [724] [726] n_n144 |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names i_7_ i_6_ i_1_ i_2_ i_0_ [19] |
| 10001 1 |
| 10100 1 |
| 11000 1 |
| .names i_1_ i_2_ i_0_ [21] |
| 011 1 |
| 110 1 |
| 010 1 |
| .names i_7_ i_6_ i_1_ i_2_ i_0_ [23] |
| 11101 1 |
| .names i_7_ i_6_ i_1_ i_2_ i_0_ [46] |
| 00111 1 |
| 00110 1 |
| .names i_5_ i_3_ i_4_ n_n15 |
| 011 1 |
| .names i_1_ i_2_ i_0_ n_n11 |
| 010 1 |
| .names i_1_ i_2_ i_0_ n_n4 |
| 100 1 |
| .names i_7_ i_6_ i_1_ i_2_ i_0_ [53] |
| 00110 1 |
| .names i_7_ i_6_ i_1_ i_2_ i_0_ [37] |
| 11001 1 |
| 11100 1 |
| .names i_7_ i_5_ i_6_ i_3_ i_4_ [48] |
| 10011 1 |
| 11001 1 |
| 10001 1 |
| .names i_7_ i_5_ i_6_ i_3_ i_4_ [51] |
| 10011 1 |
| 11001 1 |
| .names i_7_ i_6_ i_1_ i_2_ i_0_ [58] |
| 11011 1 |
| 11110 1 |
| .names i_1_ i_2_ i_0_ [48] [65] |
| 1011 1 |
| .names i_7_ i_6_ i_1_ i_2_ i_0_ [75] |
| 01111 1 |
| .names n_n1 n_n7 n_n6 n_n2 n_n3 [100] |
| 11-1- 1 |
| 1-1-1 1 |
| .names i_5_ i_3_ i_4_ [6] [114] |
| 0101 1 |
| 1001 1 |
| .names [5] [7] n_n6 n_n10 n_n11 [122] |
| -111- 1 |
| 1--11 1 |
| .names i_1_ i_2_ i_0_ [42] [654] [126] |
| 11101 1 |
| .names i_5_ i_3_ i_4_ n_n11 [660] [128] |
| --111 1 |
| 11-11 1 |
| 00-11 1 |
| .names i_5_ i_3_ i_4_ [24] [661] [129] |
| --001 1 |
| 00-01 1 |
| .names [9] [12] [52] [637] [135] |
| 0001 1 |
| .names [9] [13] [47] [640] [136] |
| 0001 1 |
| .names i_1_ i_2_ i_0_ [12] [643] [137] |
| 11101 1 |
| 00101 1 |
| 01001 1 |
| 10001 1 |
| .names i_1_ i_2_ i_0_ [13] [646] [138] |
| 11101 1 |
| 00101 1 |
| 01001 1 |
| 10001 1 |
| .names [9] [12] [37] [615] [140] |
| 0001 1 |
| .names [9] [13] [19] [623] [141] |
| 0001 1 |
| .names i_1_ i_2_ i_0_ [13] [629] [142] |
| 11101 1 |
| 00101 1 |
| 01001 1 |
| 10001 1 |
| .names i_1_ i_2_ i_0_ [12] [632] [143] |
| 11101 1 |
| 00101 1 |
| 01001 1 |
| 10001 1 |
| .names i_7_ i_5_ i_6_ i_3_ i_4_ [615] |
| 1-1-0 1 |
| 1111- 1 |
| 1010- 1 |
| .names i_7_ i_5_ i_6_ i_3_ i_4_ [623] |
| 1-0-1 1 |
| 1101- 1 |
| 1000- 1 |
| .names i_7_ i_5_ i_6_ i_3_ i_4_ [629] |
| 1-1-1 1 |
| 1111- 1 |
| 1010- 1 |
| .names i_7_ i_5_ i_6_ i_3_ i_4_ [632] |
| 1-0-0 1 |
| 1101- 1 |
| 1000- 1 |
| .names i_7_ i_5_ i_6_ i_3_ i_4_ [637] |
| 0-0-0 1 |
| 0101- 1 |
| 0000- 1 |
| .names i_7_ i_6_ i_1_ i_2_ i_0_ [640] |
| 01-1- 1 |
| 011-1 1 |
| 010-0 1 |
| .names i_7_ i_5_ i_6_ i_3_ i_4_ [643] |
| 0-1-0 1 |
| 0111- 1 |
| 0010- 1 |
| .names i_7_ i_5_ i_6_ i_3_ i_4_ [646] |
| 0-0-1 1 |
| 0101- 1 |
| 0000- 1 |
| .names [135] [136] [137] [138] [651] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names i_7_ i_5_ i_6_ i_3_ i_4_ [654] |
| 0-1-1 1 |
| 0111- 1 |
| .names i_7_ i_6_ i_1_ i_2_ i_0_ [655] |
| 01011 1 |
| 01110 1 |
| .names i_7_ i_5_ i_6_ i_3_ i_4_ [656] |
| 1---- 1 |
| --0-- 1 |
| ----1 1 |
| -0-0- 1 |
| .names i_7_ i_5_ i_6_ i_3_ i_4_ [660] |
| 0001- 1 |
| 0100- 1 |
| 000-1 1 |
| 0-001 1 |
| 010-0 1 |
| 0-010 1 |
| .names i_7_ i_6_ i_1_ i_2_ i_0_ [661] |
| 01010 1 |
| .names i_7_ i_5_ i_6_ i_3_ i_4_ [663] |
| 00010 1 |
| .names i_7_ i_5_ i_6_ i_3_ i_4_ [664] |
| 00001 1 |
| .names i_1_ i_2_ i_0_ [663] [664] [665] |
| 0111- 1 |
| 0101- 1 |
| 011-1 1 |
| 110-1 1 |
| .names [5] n_n19 [39] [53] [666] |
| -11- 1 |
| 1--1 1 |
| .names [8] [128] [129] [655] [656] [670] |
| -1--- 1 |
| --1-- 1 |
| 0--11 1 |
| .names n_n6 [46] [126] [665] [666] [671] |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| 11--- 1 |
| .names i_7_ i_5_ i_6_ i_3_ i_4_ [672] |
| 101-- 1 |
| 1-10- 1 |
| 1-1-1 1 |
| .names i_5_ i_3_ i_4_ [7] [672] [675] |
| --1-1 1 |
| 11--1 1 |
| 00-01 1 |
| .names i_5_ i_3_ i_4_ [676] |
| --1 1 |
| 11- 1 |
| .names i_5_ i_3_ i_4_ [678] |
| 01- 1 |
| 10- 1 |
| 0-1 1 |
| -01 1 |
| 1-0 1 |
| -10 1 |
| .names i_7_ i_5_ i_6_ i_3_ i_4_ [679] |
| 10111 1 |
| 11101 1 |
| .names i_7_ i_5_ i_6_ i_3_ i_4_ [680] |
| 11110 1 |
| .names [7] [40] [678] [680] [681] |
| -11- 1 |
| 1--1 1 |
| .names i_1_ i_2_ i_0_ [26] [49] [682] |
| 0111- 1 |
| 1101- 1 |
| 010-1 1 |
| .names [7] [22] [49] [676] [679] [683] |
| 1---1 1 |
| -101- 1 |
| .names [8] [21] [675] [681] [682] [686] |
| ---1- 1 |
| ----1 1 |
| 011-- 1 |
| .names i_7_ i_6_ i_1_ i_2_ i_0_ [687] |
| 10101 1 |
| .names i_5_ i_3_ i_4_ [688] |
| --1 1 |
| 00- 1 |
| .names i_5_ i_3_ i_4_ n_n2 [15] [690] |
| 0101- 1 |
| 000-1 1 |
| .names i_5_ i_3_ i_4_ [23] [692] |
| 11-1 1 |
| 1-11 1 |
| -111 1 |
| 0001 1 |
| .names i_5_ i_3_ i_4_ [695] |
| 00- 1 |
| 0-0 1 |
| -00 1 |
| .names n_n18 n_n6 n_n2 n_n10 n_n11 [697] |
| -1-11 1 |
| 0011- 1 |
| .names i_5_ i_3_ i_4_ [37] [698] |
| 1111 1 |
| 0001 1 |
| .names [19] [48] [687] [688] [695] [699] |
| 1---1 1 |
| -011- 1 |
| .names [5] [6] [690] [692] [699] [701] |
| ----1 1 |
| 0-01- 1 |
| -001- 1 |
| .names [122] [670] [671] [683] [686] [703] |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| .names i_7_ i_5_ i_6_ i_3_ i_4_ [705] |
| 01000 1 |
| .names n_n6 [11] [44] [705] [706] |
| 1-1- 1 |
| -1-1 1 |
| .names i_7_ i_6_ [6] n_n13 [38] [707] |
| ---11 1 |
| 0111- 1 |
| .names i_7_ i_6_ n_n2 [14] [24] [709] |
| --1-1 1 |
| 0011- 1 |
| .names i_5_ i_3_ i_4_ [52] [710] |
| 0111 1 |
| 1011 1 |
| 0011 1 |
| 1101 1 |
| 0101 1 |
| 1001 1 |
| .names n_n5 n_n2 [25] [32] [50] [713] |
| 1-1-- 1 |
| -1-1- 1 |
| -1--1 1 |
| .names [27] [38] [100] [706] [707] [715] |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| 11--- 1 |
| .names i_7_ i_6_ [114] [690] [713] [716] |
| ----1 1 |
| 011-- 1 |
| 01-1- 1 |
| .names [709] [710] [715] [716] [718] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names i_7_ i_6_ i_1_ i_2_ i_0_ [719] |
| --101 1 |
| 1-100 1 |
| -1100 1 |
| .names i_7_ i_6_ i_1_ i_2_ i_0_ [720] |
| 01001 1 |
| .names i_1_ i_2_ i_0_ [25] [42] [721] |
| ---1- 1 |
| 101-1 1 |
| .names i_1_ i_2_ i_0_ [32] [38] [722] |
| ---11 1 |
| 0111- 1 |
| 1101- 1 |
| .names [52] [16] n_n19 [39] [724] |
| -11- 1 |
| 1--1 1 |
| .names [17] [14] [24] [719] [720] [726] |
| 0-1-- 1 |
| -1-1- 1 |
| -1--1 1 |
| .names i_7_ i_5_ i_6_ i_3_ i_4_ [729] |
| 11-1- 1 |
| -111- 1 |
| 11--1 1 |
| -11-1 1 |
| 1--11 1 |
| --111 1 |
| .names i_5_ i_3_ i_4_ [730] |
| 1-1 1 |
| -11 1 |
| .names i_5_ i_3_ i_4_ [731] |
| 11- 1 |
| 1-1 1 |
| -11 1 |
| .names i_7_ i_6_ i_1_ i_2_ i_0_ [732] |
| 1-101 1 |
| -1101 1 |
| .names n_n13 [11] n_n19 [39] [23] [735] |
| ----1 1 |
| 1-1-- 1 |
| -1-1- 1 |
| .names [7] [47] [16] [732] [736] |
| 11-- 1 |
| --11 1 |
| .names [21] [46] [729] [730] [738] |
| 1-1- 1 |
| -1-1 1 |
| .names [4] [44] [75] [735] [736] [740] |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| 11--- 1 |
| .names [7] [50] [19] [731] [738] [741] |
| ----1 1 |
| 11--- 1 |
| --11- 1 |
| .names i_7_ i_6_ i_1_ i_2_ i_0_ [743] |
| 10001 1 |
| .names n_n15 n_n4 [51] [743] [744] |
| -11- 1 |
| 1--1 1 |
| .names i_7_ i_5_ i_6_ i_3_ [747] |
| 110- 1 |
| 1-01 1 |
| .names i_7_ i_5_ i_6_ i_3_ i_4_ [748] |
| 111-- 1 |
| 1-11- 1 |
| 1-1-1 1 |
| .names i_7_ i_6_ i_1_ i_2_ i_0_ [749] |
| 0---- 1 |
| -0--- 1 |
| --01- 1 |
| --10- 1 |
| --0-1 1 |
| ---01 1 |
| --1-0 1 |
| ---10 1 |
| .names i_7_ i_5_ i_6_ i_3_ i_4_ [750] |
| 101-- 1 |
| 1-10- 1 |
| 1-1-0 1 |
| .names i_7_ i_5_ i_6_ i_3_ i_4_ [751] |
| 110-- 1 |
| 1-01- 1 |
| 1-0-1 1 |
| .names i_1_ i_2_ i_0_ [750] [751] [753] |
| 1111- 1 |
| 1101- 1 |
| 011-1 1 |
| 110-1 1 |
| .names [5] [9] [747] [748] [749] [755] |
| ---11 1 |
| 011-- 1 |
| .names [22] [26] [58] [755] [757] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names [14] [35] [65] [744] [753] [758] |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| 11--- 1 |
| .end |