| .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 [635] [636] [649] [650] o_1_ |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names i_7_ i_6_ n_n18 n_n19 o_2_ |
| 1111 1 |
| .names n_n21 [96] [713] [717] o_0_ |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names [738] [739] [742] [759] o_3_ |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names i_7_ i_6_ n_n1 |
| 01 1 |
| .names i_7_ i_6_ n_n0 |
| 00 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_ [13] |
| 111 1 |
| 001 1 |
| .names i_1_ i_2_ i_0_ [17] |
| 101 1 |
| 000 1 |
| .names i_5_ i_3_ i_4_ n_n18 |
| 111 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 n_n24 n_n26 [702] n_n21 |
| 1-- 1 |
| -1- 1 |
| --1 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 n_n7 n_n6 n_n2 n_n3 [18] |
| 1-1- 1 |
| -1-1 1 |
| .names i_5_ i_3_ i_4_ [27] |
| 010 1 |
| 100 1 |
| 000 1 |
| .names i_7_ i_6_ n_n10 |
| 10 1 |
| .names i_7_ i_6_ n_n17 |
| 11 1 |
| .names [63] [64] [65] n_n159 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names i_1_ i_2_ i_0_ [10] |
| 111 1 |
| 110 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_6_ [6] n_n2 [19] |
| 101- 1 |
| 11-1 1 |
| .names i_1_ i_2_ i_0_ [21] |
| 011 1 |
| 110 1 |
| 010 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_n16 |
| 110 1 |
| .names i_5_ i_3_ i_4_ n_n8 |
| 010 1 |
| .names i_1_ i_2_ i_0_ n_n12 |
| 011 1 |
| .names i_5_ i_3_ i_4_ n_n9 |
| 110 1 |
| .names i_1_ i_2_ i_0_ n_n4 |
| 100 1 |
| .names [127] [667] [668] [669] n_n24 |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names [5] [7] n_n6 n_n11 [29] |
| -11- 1 |
| 1--1 1 |
| .names [116] [684] [685] n_n26 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n6 n_n2 n_n17 n_n19 [43] |
| 0010 1 |
| .names i_7_ i_6_ n_n18 [10] [55] |
| 1101 1 |
| .names i_7_ i_6_ [7] n_n6 [56] |
| 1010 1 |
| .names i_7_ i_6_ n_n2 [14] [57] |
| 1111 1 |
| .names i_7_ i_6_ n_n3 n_n15 [63] |
| 1011 1 |
| .names i_7_ i_6_ [4] n_n4 [64] |
| 1011 1 |
| .names i_7_ i_6_ n_n5 [8] [65] |
| 1011 1 |
| .names n_n0 n_n13 [27] [21] [66] |
| 0001 1 |
| .names i_7_ i_6_ n_n5 [16] [69] |
| 1-11 1 |
| -111 1 |
| .names i_7_ i_6_ [7] [8] [70] |
| 0111 1 |
| .names i_7_ i_6_ [4] n_n12 [72] |
| 0011 1 |
| .names i_7_ i_6_ n_n18 [11] [73] |
| 0011 1 |
| .names i_7_ i_6_ n_n19 [75] |
| 011 1 |
| .names n_n0 [6] [14] [15] [78] |
| 0-11 1 |
| -011 1 |
| .names i_7_ i_6_ [14] n_n3 [79] |
| 0111 1 |
| .names i_7_ i_6_ [6] n_n18 [80] |
| 0011 1 |
| .names i_7_ i_6_ [17] n_n9 [84] |
| 0101 1 |
| .names i_5_ i_3_ i_4_ n_n19 [85] |
| 1101 1 |
| 0101 1 |
| 1001 1 |
| .names i_7_ i_6_ n_n2 [14] [87] |
| 0011 1 |
| .names i_7_ i_6_ n_n7 [11] [88] |
| 0011 1 |
| .names i_7_ i_6_ n_n2 [8] [91] |
| 0111 1 |
| .names i_7_ i_6_ n_n6 n_n12 [92] |
| 0011 1 |
| .names i_7_ i_6_ [6] n_n13 [93] |
| 0111 1 |
| .names i_7_ i_6_ n_n5 [27] [94] |
| 0011 1 |
| .names i_7_ i_6_ n_n5 n_n13 [95] |
| 0011 1 |
| .names i_7_ i_6_ [114] [690] [96] |
| 011- 1 |
| 01-1 1 |
| .names i_7_ i_6_ n_n2 n_n9 [97] |
| 0011 1 |
| .names i_7_ i_6_ n_n18 n_n5 [98] |
| 0111 1 |
| .names i_7_ i_6_ n_n2 n_n9 [99] |
| 0111 1 |
| .names n_n5 [8] n_n10 [688] [104] |
| 1011 1 |
| .names [5] [6] [690] [692] [105] |
| 0-01 1 |
| -001 1 |
| .names n_n18 n_n6 n_n2 n_n10 [106] |
| 0011 1 |
| .names i_7_ i_6_ n_n6 n_n11 [108] |
| 1011 1 |
| .names i_5_ i_3_ i_4_ [6] [114] |
| 0101 1 |
| 1001 1 |
| .names [8] [21] [29] [673] [116] |
| 0101 1 |
| .names n_n13 n_n10 n_n19 [676] [117] |
| 0111 1 |
| .names i_7_ i_6_ n_n19 [678] [118] |
| 1111 1 |
| .names i_7_ i_6_ [4] [7] [119] |
| 1111 1 |
| .names i_7_ i_6_ [7] n_n9 [120] |
| 1111 1 |
| .names i_7_ i_6_ n_n13 n_n11 [121] |
| 1011 1 |
| .names i_7_ i_6_ [7] n_n18 [123] |
| 1011 1 |
| .names n_n1 [5] n_n9 [657] [127] |
| 0--1 1 |
| -001 1 |
| .names n_n1 [14] n_n11 n_n9 [129] |
| 1010 1 |
| .names i_7_ i_6_ [11] n_n8 [130] |
| 0011 1 |
| .names i_7_ i_6_ [7] n_n13 [131] |
| 0011 1 |
| .names i_7_ i_6_ [5] n_n16 [132] |
| 0011 1 |
| .names i_7_ i_6_ n_n6 [10] [133] |
| 0011 1 |
| .names i_7_ i_6_ n_n18 n_n19 [134] |
| 0011 1 |
| .names i_5_ i_3_ i_4_ [9] [616] |
| --10 1 |
| 01-0 1 |
| 10-0 1 |
| .names i_7_ i_6_ [4] [6] [617] |
| 1100 1 |
| .names [5] [9] [13] n_n10 [625] |
| 0001 1 |
| .names i_5_ i_3_ i_4_ [7] [630] |
| --00 1 |
| 01-0 1 |
| 10-0 1 |
| .names i_7_ i_6_ [5] [17] [631] |
| 1100 1 |
| .names i_5_ i_3_ i_4_ [7] [633] |
| --10 1 |
| 01-0 1 |
| 10-0 1 |
| .names i_7_ i_6_ [4] [17] [634] |
| 1000 1 |
| .names [19] [616] [617] [625] [635] |
| -11- 1 |
| 0--1 1 |
| .names [630] [631] [633] [634] [636] |
| 11-- 1 |
| --11 1 |
| .names i_5_ i_3_ i_4_ [9] [638] |
| --10 1 |
| 01-0 1 |
| 10-0 1 |
| .names i_7_ i_6_ [4] [6] [639] |
| 0000 1 |
| .names i_5_ i_3_ i_4_ [9] [641] |
| --00 1 |
| 01-0 1 |
| 10-0 1 |
| .names i_7_ i_6_ [5] [6] [642] |
| 0100 1 |
| .names i_5_ i_3_ i_4_ [7] [644] |
| --10 1 |
| 01-0 1 |
| 10-0 1 |
| .names i_7_ i_6_ [4] [17] [645] |
| 0100 1 |
| .names i_5_ i_3_ i_4_ [7] [647] |
| --00 1 |
| 01-0 1 |
| 10-0 1 |
| .names i_7_ i_6_ [5] [17] [648] |
| 0000 1 |
| .names [638] [639] [641] [642] [649] |
| 11-- 1 |
| --11 1 |
| .names [644] [645] [647] [648] [650] |
| 11-- 1 |
| --11 1 |
| .names i_7_ i_6_ n_n13 n_n19 [653] |
| 1--1 1 |
| -0-1 1 |
| --01 1 |
| .names i_5_ i_3_ i_4_ n_n1 [654] |
| --11 1 |
| 11-1 1 |
| .names i_7_ i_6_ [7] [8] [657] |
| 0110 1 |
| .names i_5_ i_3_ i_4_ n_n0 [660] |
| 01-1 1 |
| 10-1 1 |
| 0-11 1 |
| -011 1 |
| 1-01 1 |
| -101 1 |
| .names [5] n_n11 [129] [660] [667] |
| --1- 1 |
| 01-1 1 |
| .names [130] [131] [133] [668] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [132] [134] [653] [654] [669] |
| 1--- 1 |
| -1-- 1 |
| --11 1 |
| .names i_5_ i_3_ i_4_ n_n17 [673] |
| --11 1 |
| 00-1 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 [118] [120] [121] [123] [684] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names n_n10 [29] [117] [119] [685] |
| --1- 1 |
| ---1 1 |
| 11-- 1 |
| .names i_5_ i_3_ i_4_ [688] |
| --1 1 |
| 00- 1 |
| .names n_n6 n_n2 [15] n_n8 [690] |
| 1-1- 1 |
| -1-1 1 |
| .names i_5_ i_3_ i_4_ [691] |
| 11- 1 |
| 1-1 1 |
| -11 1 |
| 000 1 |
| .names i_7_ i_6_ n_n5 [691] [692] |
| 1111 1 |
| .names i_5_ i_3_ i_4_ [695] |
| 00- 1 |
| 0-0 1 |
| -00 1 |
| .names [6] n_n18 n_n6 n_n17 [698] |
| 11-1 1 |
| 1-11 1 |
| .names [19] [104] [695] [699] |
| -1- 1 |
| 1-1 1 |
| .names [106] [108] [698] [700] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [105] [699] [700] [702] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n0 [6] [8] [16] [710] |
| 111- 1 |
| 11-1 1 |
| .names i_7_ i_6_ [18] [94] [711] |
| ---1 1 |
| 011- 1 |
| .names [88] [92] [93] [95] [712] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names [91] [97] [98] [713] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [87] [99] [710] [714] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [711] [712] [714] [717] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n1 n_n18 n_n5 n_n13 [721] |
| 11-- 1 |
| 1-11 1 |
| .names n_n0 [7] n_n5 n_n9 [722] |
| 11-1 1 |
| 1-11 1 |
| .names [78] [79] [84] [726] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [80] [85] [721] [722] [727] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 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 n_n5 n_n13 n_n17 n_n19 [733] |
| 1-1- 1 |
| -1-1 1 |
| .names n_n1 [5] [7] [69] [736] |
| ---1 1 |
| 111- 1 |
| .names [72] [73] [75] [733] [737] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names n_n0 [10] [66] [730] [738] |
| --1- 1 |
| 11-1 1 |
| .names [19] [70] [731] [739] |
| -1- 1 |
| 1-1 1 |
| .names [726] [727] [736] [737] [742] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names i_5_ i_3_ n_n10 [747] |
| 1-1 1 |
| -11 1 |
| .names i_7_ i_6_ n_n18 n_n19 [752] |
| 101- 1 |
| 10-1 1 |
| .names i_7_ i_6_ [7] [752] [754] |
| ---1 1 |
| 111- 1 |
| .names [5] [9] [43] [747] [755] |
| --1- 1 |
| 01-1 1 |
| .names [55] [56] [57] [756] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n159 [754] [755] [756] [759] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .end |