| .model top |
| .inputs i_7_ i_8_ i_5_ i_6_ i_3_ i_4_ i_1_ i_2_ i_0_ |
| .outputs o_1_ o_2_ o_0_ o_3_ o_4_ |
| .names [519] [520] o_1_ |
| 1- 1 |
| -1 1 |
| .names [587] [588] o_2_ |
| 1- 1 |
| -1 1 |
| .names [539] [540] [544] o_0_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [598] [599] [600] o_3_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [64] [577] [578] o_4_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [511] [512] [513] n_n172 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [96] [99] [480] n_n154 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [489] [490] [491] n_n150 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names i_6_ i_4_ n_n96 |
| 00 1 |
| .names i_1_ i_2_ [5] |
| 0- 1 |
| -1 1 |
| .names i_1_ i_2_ [6] |
| 0- 1 |
| -0 1 |
| .names i_8_ i_6_ i_3_ [14] |
| -0- 1 |
| 1-0 1 |
| .names i_7_ i_6_ i_4_ [19] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n107 [113] [493] [23] |
| -1- 1 |
| 1-1 1 |
| .names i_6_ i_4_ n_n94 |
| 10 1 |
| .names i_1_ i_2_ i_0_ n_n230 |
| 101 1 |
| .names [561] [562] [563] n_n197 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [18] [50] [551] n_n199 |
| -1- 1 |
| 1-1 1 |
| .names i_8_ i_3_ [8] |
| 1- 1 |
| -1 1 |
| .names i_8_ i_3_ [9] |
| 1- 1 |
| -0 1 |
| .names i_8_ i_3_ [13] |
| 0- 1 |
| -0 1 |
| .names i_6_ i_4_ i_0_ [25] |
| 101 1 |
| .names i_6_ i_0_ [29] |
| 11 1 |
| .names i_7_ i_8_ i_3_ [30] |
| 111 1 |
| .names i_7_ i_8_ i_3_ [10] |
| --1 1 |
| 11- 1 |
| .names i_7_ i_1_ i_2_ [11] |
| 0-- 1 |
| -10 1 |
| .names i_5_ i_0_ [12] |
| 0- 1 |
| -1 1 |
| .names i_7_ i_8_ i_3_ [17] |
| 11- 1 |
| 1-0 1 |
| .names i_7_ i_4_ [20] |
| 0- 1 |
| -0 1 |
| .names i_5_ i_6_ i_0_ [21] |
| 001 1 |
| .names i_1_ i_2_ [26] |
| 01 1 |
| .names i_7_ i_4_ [28] |
| 01 1 |
| .names i_1_ i_2_ i_0_ [32] |
| 010 1 |
| .names i_8_ i_3_ [7] |
| 0- 1 |
| -1 1 |
| .names i_6_ i_0_ [15] |
| 01 1 |
| .names i_6_ i_0_ [24] |
| 00 1 |
| .names i_7_ i_4_ [5] [18] |
| 01- 1 |
| 0-0 1 |
| -10 1 |
| .names i_7_ i_8_ n_n107 |
| 11 1 |
| .names [528] [529] [590] [22] |
| 001 1 |
| .names [6] [24] [591] [27] |
| 011 1 |
| .names [25] [30] [33] |
| 11 1 |
| .names i_5_ i_6_ i_0_ [36] |
| 001 1 |
| .names [543] [544] [547] [40] |
| 001 1 |
| .names n_n199 [554] [41] |
| 01 1 |
| .names n_n197 [566] [42] |
| 01 1 |
| .names [479] [480] [567] [43] |
| 1-1 1 |
| -11 1 |
| .names [479] [480] [568] [44] |
| 1-1 1 |
| -11 1 |
| .names n_n230 [9] [25] [45] |
| 001 1 |
| .names [10] [24] [548] [50] |
| 111 1 |
| .names [10] [15] [555] [52] |
| 011 1 |
| .names [29] [30] [11] [53] |
| 110 1 |
| .names [5] [13] [25] [54] |
| 101 1 |
| .names [19] [10] [24] [55] |
| 000 1 |
| .names [19] [8] [521] [58] |
| 101 1 |
| .names [11] [12] [523] [59] |
| 011 1 |
| .names [9] [12] [525] [60] |
| 011 1 |
| .names [8] [29] [28] [61] |
| 011 1 |
| .names [13] [28] [570] [62] |
| 101 1 |
| .names [13] [20] [572] [63] |
| 111 1 |
| .names i_0_ [14] [18] [64] |
| 001 1 |
| .names [14] [575] [65] |
| 01 1 |
| .names i_5_ i_6_ i_0_ [66] |
| 11- 1 |
| 1-0 1 |
| .names i_8_ i_5_ i_3_ [67] |
| 010 1 |
| .names [21] [28] [530] [70] |
| 111 1 |
| .names [9] [28] [32] [72] |
| 101 1 |
| .names [10] [20] [21] [73] |
| 101 1 |
| .names [14] [32] [75] |
| 11 1 |
| .names i_5_ i_0_ [26] [76] |
| 0-1 1 |
| -11 1 |
| .names i_1_ i_2_ [14] [78] |
| 101 1 |
| .names [112] [113] [495] [82] |
| 001 1 |
| .names [12] [28] [481] [89] |
| 111 1 |
| .names n_n96 [8] [21] [90] |
| 011 1 |
| .names n_n94 [11] [12] [92] |
| 101 1 |
| .names [11] [486] [93] |
| 01 1 |
| .names i_8_ i_3_ [21] [95] |
| 111 1 |
| .names n_n230 [21] [473] [96] |
| 011 1 |
| .names n_n230 [100] [476] [97] |
| 1-1 1 |
| -11 1 |
| .names n_n230 [100] [477] [98] |
| 1-1 1 |
| -11 1 |
| .names [5] n_n94 n_n107 [99] |
| 111 1 |
| .names i_5_ i_1_ i_2_ [100] |
| 010 1 |
| .names [6] [9] [498] [102] |
| 101 1 |
| .names [6] [7] [500] [103] |
| 101 1 |
| .names i_6_ i_4_ [30] [104] |
| 011 1 |
| .names i_7_ i_4_ [503] [105] |
| 111 1 |
| .names n_n96 [6] [9] [106] |
| 110 1 |
| .names n_n96 [6] [7] [107] |
| 110 1 |
| .names i_7_ i_8_ [506] [108] |
| 111 1 |
| .names [5] [112] [113] [109] |
| 11- 1 |
| 1-1 1 |
| .names i_8_ i_3_ [21] [110] |
| 1-1 1 |
| -11 1 |
| .names i_7_ i_8_ [493] [112] |
| 111 1 |
| .names i_6_ i_4_ [7] [113] |
| 100 1 |
| .names i_1_ i_3_ [473] |
| 11 1 |
| .names i_7_ i_6_ i_4_ [476] |
| 111 1 |
| .names i_7_ i_6_ i_4_ [477] |
| 010 1 |
| .names [96] [99] [479] |
| 1- 1 |
| -1 1 |
| .names [98] [97] [480] |
| 1- 1 |
| -1 1 |
| .names i_6_ i_1_ i_2_ [481] |
| 10- 1 |
| 1-1 1 |
| .names i_6_ i_1_ i_2_ [484] |
| 011 1 |
| .names i_6_ i_3_ i_4_ [486] |
| 100 1 |
| .names i_7_ i_6_ i_4_ [487] |
| 100 1 |
| .names [20] [92] [484] [489] |
| -1- 1 |
| 0-1 1 |
| .names [6] [93] [487] [490] |
| -1- 1 |
| 1-1 1 |
| .names [89] [90] [95] [491] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names i_3_ i_6_ [493] |
| 01 1 |
| .names i_6_ i_1_ i_2_ [494] |
| 10- 1 |
| 1-1 1 |
| .names [494] [14] [495] |
| 11 1 |
| .names i_6_ i_7_ [496] |
| 00 1 |
| .names i_6_ i_7_ [498] |
| 00 1 |
| .names i_6_ i_7_ [500] |
| 00 1 |
| .names i_8_ i_6_ i_3_ [503] |
| 000 1 |
| .names i_6_ i_3_ i_4_ [506] |
| 100 1 |
| .names [103] [102] [507] |
| 1- 1 |
| -1 1 |
| .names [107] [106] [509] |
| 1- 1 |
| -1 1 |
| .names [19] [7] [109] [511] |
| --1 1 |
| 00- 1 |
| .names [104] [105] [507] [512] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [108] [110] [509] [513] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names i_1_ i_2_ n_n96 [515] |
| 111 1 |
| .names [6] [19] [496] [516] |
| 00- 1 |
| 111 1 |
| .names [516] [82] [517] |
| 1- 1 |
| -1 1 |
| .names n_n154 n_n150 [517] [519] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n172 [23] [515] [520] |
| 01- 1 |
| 1-1 1 |
| .names i_6_ i_1_ i_2_ [521] |
| 011 1 |
| .names i_8_ i_6_ i_3_ [523] |
| 011 1 |
| .names i_7_ i_6_ i_4_ [525] |
| 110 1 |
| .names [61] [60] [528] |
| 1- 1 |
| -1 1 |
| .names [59] [58] [529] |
| 1- 1 |
| -1 1 |
| .names i_8_ i_3_ i_2_ [530] |
| 1-1 1 |
| -11 1 |
| .names [10] i_2_ [532] |
| 11 1 |
| .names [21] [11] [533] |
| 10 1 |
| .names i_4_ i_1_ i_2_ [536] |
| 010 1 |
| .names n_n230 [76] [100] [537] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [17] [72] [536] [538] |
| -1- 1 |
| 1-1 1 |
| .names [13] [21] [75] [539] |
| --1 1 |
| 01- 1 |
| .names [5] [14] [70] [540] |
| --1 1 |
| 01- 1 |
| .names [73] [532] [533] [541] |
| 1-- 1 |
| -11 1 |
| .names [70] [78] [539] [543] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [537] [538] [541] [544] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names i_1_ i_6_ [545] |
| 10 1 |
| .names [19] [13] [545] [547] |
| 101 1 |
| .names i_7_ i_1_ i_2_ [548] |
| 111 1 |
| .names i_5_ i_0_ [14] [551] |
| 000 1 |
| .names i_5_ i_6_ i_4_ [552] |
| 010 1 |
| .names n_n230 [9] [552] [554] |
| 001 1 |
| .names i_7_ i_1_ i_2_ [555] |
| 00- 1 |
| 0-0 1 |
| .names i_7_ i_3_ i_4_ [560] |
| 111 1 |
| .names [24] [54] [560] [561] |
| -1- 1 |
| 1-1 1 |
| .names [25] [17] [52] [562] |
| --1 1 |
| 11- 1 |
| .names [55] [53] [563] |
| 1- 1 |
| -1 1 |
| .names [13] [29] [30] [566] |
| 010 1 |
| .names [30] i_4_ [567] |
| 11 1 |
| .names i_6_ i_0_ [8] [568] |
| 110 1 |
| .names i_5_ i_7_ [570] |
| 10 1 |
| .names i_5_ i_1_ i_2_ [572] |
| 10- 1 |
| 1-0 1 |
| .names i_8_ i_3_ i_0_ [575] |
| 010 1 |
| .names [63] [62] [577] |
| 1- 1 |
| -1 1 |
| .names [65] [66] [67] [578] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names i_8_ i_5_ i_3_ [580] |
| 10- 1 |
| -00 1 |
| .names [19] [9] [45] [581] |
| --1 1 |
| 00- 1 |
| .names [528] [529] [581] [582] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [44] [43] [584] |
| 1- 1 |
| -1 1 |
| .names o_4_ [580] [582] [585] |
| --1 1 |
| 11- 1 |
| .names n_n172 [41] [584] [587] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [40] [42] [585] [588] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names i_6_ i_3_ i_0_ [589] |
| 101 1 |
| .names [589] n_n230 [590] |
| 10 1 |
| .names i_6_ i_3_ i_4_ [591] |
| 11- 1 |
| -11 1 |
| .names i_8_ i_6_ i_0_ [593] |
| 100 1 |
| .names [29] [7] [36] [594] |
| --1 1 |
| 10- 1 |
| .names [27] [33] [594] [596] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n199 [596] [597] |
| 1- 1 |
| -1 1 |
| .names [22] n_n197 [598] |
| 1- 1 |
| -1 1 |
| .names i_5_ o_4_ [15] [599] |
| 01- 1 |
| -11 1 |
| .names n_n172 [593] [597] [600] |
| --1 1 |
| 01- 1 |
| .end |