| .model top |
| .inputs i_20_ i_9_ i_10_ i_7_ i_8_ i_5_ i_6_ i_14_ i_3_ i_13_ i_4_ i_12_ i_1_ \ |
| i_11_ i_2_ i_18_ i_17_ i_0_ i_21_ i_16_ i_15_ i_19_ |
| .outputs o_1_ o_19_ o_2_ o_0_ o_25_ o_12_ o_26_ o_11_ o_27_ o_14_ o_28_ o_13_ \ |
| o_21_ o_16_ o_22_ o_15_ o_23_ o_18_ o_24_ o_17_ o_20_ o_10_ o_9_ o_7_ o_8_ \ |
| o_5_ o_6_ o_3_ o_4_ |
| .names n_n304 [213] [835] [838] o_1_ |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names i_7_ i_5_ i_15_ [49] o_19_ |
| 0001 1 |
| .names [887] [888] [892] o_2_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n276 n_n309 [901] [902] o_0_ |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names i_19_ o_23_ [91] n_n137 o_25_ |
| -1-- 1 |
| 1-11 1 |
| 0-11 1 |
| .names [59] [72] [920] [923] o_12_ |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names i_20_ i_14_ i_21_ o_26_ |
| 01- 1 |
| 0-1 1 |
| .names i_7_ i_5_ i_18_ [53] o_11_ |
| 1000 1 |
| .names n_n307 [222] [920] [926] o_27_ |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names [166] [167] [935] [936] o_14_ |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names [74] [959] [964] [965] o_28_ |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names [89] n_n283 [41] [969] o_13_ |
| -1-- 1 |
| ---1 1 |
| 1-1- 1 |
| .names n_n255 [144] [145] [146] o_21_ |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names [990] [991] [994] [999] o_16_ |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names o_23_ n_n255 n_n265 [126] o_22_ |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names i_7_ i_5_ i_15_ [49] o_15_ |
| 0101 1 |
| .names n_n140 n_n139 n_n134 o_23_ |
| 110 1 |
| .names [62] [82] [974] [1005] o_18_ |
| 1--- 1 |
| ---1 1 |
| -11- 1 |
| .names n_n307 n_n309 [1008] o_24_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n307 [73] [222] [920] o_17_ |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names [1011] [1012] [1013] [1014] o_20_ |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names n_n283 n_n276 [969] [1020] o_10_ |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names [1028] [1029] [1032] [1037] o_9_ |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names [46] [68] [71] [51] o_7_ |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names i_20_ i_14_ o_8_ |
| 01 1 |
| .names [62] [74] [73] n_n324 o_5_ |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names [58] n_n311 [1042] [1045] o_6_ |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names n_n283 n_n276 [969] [1047] o_3_ |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names i_20_ i_14_ o_4_ |
| 00 1 |
| .names i_11_ i_2_ n_n140 [816] n_n304 |
| 1011 1 |
| .names n_n140 [35] [33] [45] n_n301 |
| 1111 1 |
| .names [90] [222] [819] [820] [59] |
| -1-- 1 |
| 1-11 1 |
| .names i_9_ i_7_ i_5_ i_15_ [89] |
| 0101 1 |
| .names i_7_ i_18_ n_n137 [841] n_n273 |
| 0111 1 |
| .names i_7_ i_4_ [90] [820] n_n307 |
| 0011 1 |
| .names [53] n_n128 [843] n_n294 |
| 011 1 |
| .names i_8_ i_5_ n_n139 [845] n_n268 |
| 1111 1 |
| .names i_7_ i_5_ [29] |
| 00 1 |
| .names i_5_ i_18_ i_17_ i_15_ [30] |
| 0101 1 |
| 1100 1 |
| .names n_n134 n_n137 [847] [849] [46] |
| -11- 1 |
| 1--1 1 |
| .names i_7_ i_8_ i_5_ n_n139 [55] |
| 0101 1 |
| .names [83] [854] [856] [68] |
| 11- 1 |
| 1-1 1 |
| .names i_19_ [91] n_n137 [71] |
| 111 1 |
| 011 1 |
| .names [205] [206] [207] [208] [79] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names i_9_ i_7_ i_17_ i_15_ [83] |
| 0000 1 |
| .names i_8_ i_5_ i_12_ n_n139 [85] |
| 1101 1 |
| .names i_7_ i_5_ [49] [893] n_n283 |
| 0011 1 |
| .names i_18_ i_17_ [89] n_n276 |
| 011 1 |
| .names n_n134 [894] [895] [896] n_n309 |
| 1111 1 |
| .names i_9_ i_18_ i_17_ [49] |
| 001 1 |
| .names n_n140 n_n134 [905] [906] n_n310 |
| 1111 1 |
| .names n_n320 n_n312 [72] |
| 1- 1 |
| -1 1 |
| .names i_9_ i_1_ i_17_ i_15_ [53] |
| 1--- 1 |
| -0-- 1 |
| --1- 1 |
| ---1 1 |
| .names [83] [854] n_n277 |
| 11 1 |
| .names i_7_ i_5_ [49] [916] n_n271 |
| 0011 1 |
| .names i_9_ i_7_ i_5_ n_n128 |
| 010 1 |
| .names i_7_ i_8_ i_5_ n_n140 |
| 010 1 |
| .names i_19_ [91] n_n137 n_n274 |
| 011 1 |
| .names i_9_ i_17_ i_15_ [847] n_n255 |
| 0011 1 |
| .names i_11_ i_2_ [35] |
| 10 1 |
| .names i_6_ i_16_ [67] [62] |
| 111 1 |
| 001 1 |
| .names [32] n_n60 [817] [945] [74] |
| 101- 1 |
| 10-1 1 |
| .names i_18_ i_17_ i_15_ n_n139 |
| 100 1 |
| .names i_9_ i_7_ i_8_ n_n58 |
| 000 1 |
| .names i_18_ i_17_ i_15_ [33] |
| 101 1 |
| .names i_7_ i_8_ i_5_ [852] n_n265 |
| 1101 1 |
| .names [29] [32] n_n43 [911] n_n320 |
| 1111 1 |
| .names i_9_ i_17_ i_15_ n_n134 |
| 000 1 |
| .names i_6_ [47] [82] n_n325 |
| 111 1 |
| .names i_14_ i_18_ i_17_ i_15_ [32] |
| 0100 1 |
| .names i_14_ i_12_ i_18_ i_21_ [42] |
| 0110 1 |
| .names i_8_ i_5_ [44] |
| 10 1 |
| .names i_9_ i_21_ [45] |
| 00 1 |
| .names i_7_ i_8_ i_5_ i_2_ [47] |
| 0101 1 |
| .names i_11_ i_2_ n_n140 [48] |
| 101 1 |
| .names [48] [50] [827] [829] [58] |
| 111- 1 |
| 11-1 1 |
| .names i_19_ [91] n_n137 n_n278 |
| 111 1 |
| .names [32] n_n60 [815] [1004] [73] |
| 101- 1 |
| 10-1 1 |
| .names i_7_ i_8_ i_5_ i_18_ [91] |
| 0001 1 |
| .names i_7_ n_n139 [31] [909] n_n303 |
| 0111 1 |
| .names i_6_ [37] [36] [918] n_n313 |
| 0111 1 |
| .names i_9_ i_17_ i_15_ [849] n_n257 |
| 0001 1 |
| .names i_6_ [47] [82] n_n324 |
| 011 1 |
| .names [83] [856] n_n275 |
| 11 1 |
| .names i_6_ [39] [36] [830] n_n311 |
| 1111 1 |
| .names i_6_ [36] [913] [914] n_n312 |
| 0111 1 |
| .names i_18_ i_21_ n_n60 |
| 10 1 |
| .names i_13_ [32] [50] |
| 11 1 |
| .names i_9_ i_17_ i_15_ n_n137 |
| 001 1 |
| .names i_18_ i_21_ [32] [66] |
| 0-1 1 |
| -11 1 |
| .names i_13_ [32] [829] [82] |
| 111 1 |
| .names i_17_ i_15_ [39] |
| 00 1 |
| .names i_8_ i_5_ [31] |
| 11 1 |
| .names i_11_ i_18_ i_17_ i_15_ [90] |
| 0101 1 |
| .names i_12_ i_18_ i_21_ [37] |
| 110 1 |
| .names i_9_ i_10_ i_8_ n_n43 |
| 011 1 |
| .names i_18_ i_17_ [41] |
| 01 1 |
| .names [29] [42] n_n43 [941] [67] |
| 1111 1 |
| .names i_9_ i_7_ i_8_ i_5_ [36] |
| 0000 1 |
| .names i_9_ i_16_ n_n140 n_n139 [51] |
| 1111 1 |
| .names i_9_ i_21_ n_n139 [31] [75] |
| 0111 1 |
| .names i_7_ n_n139 [31] [1009] [112] |
| 0111 1 |
| .names i_9_ i_17_ i_15_ [91] [121] |
| 0001 1 |
| .names [30] [1000] [126] |
| 11 1 |
| .names [32] [45] [47] [982] [132] |
| 1111 1 |
| .names i_18_ i_17_ i_15_ [987] [133] |
| 1011 1 |
| .names i_9_ i_12_ n_n139 [31] [134] |
| 1011 1 |
| .names i_19_ n_n140 n_n139 n_n134 [135] |
| 0110 1 |
| .names i_5_ i_6_ n_n139 n_n58 [144] |
| 1111 1 |
| .names i_9_ i_6_ n_n140 n_n139 [145] |
| 1111 1 |
| .names i_6_ [33] [36] [146] |
| 011 1 |
| .names [29] [42] n_n43 [951] [152] |
| 1111 1 |
| .names i_9_ i_21_ [33] [44] [153] |
| 0111 1 |
| .names i_8_ i_5_ [33] [927] [165] |
| 1011 1 |
| .names i_7_ i_19_ n_n139 [31] [166] |
| 1011 1 |
| .names i_7_ n_n139 [31] [929] [167] |
| 0111 1 |
| .names [53] [930] [168] |
| 11 1 |
| .names i_9_ n_n140 n_n139 [924] [174] |
| 1111 1 |
| .names i_6_ i_2_ [83] [867] [188] |
| 1011 1 |
| .names i_6_ i_11_ [83] [870] [189] |
| 1011 1 |
| .names i_7_ n_n139 [31] [860] [205] |
| 0111 1 |
| .names i_18_ i_21_ [47] [90] [206] |
| 1011 1 |
| .names i_9_ [47] [90] [207] |
| 111 1 |
| .names i_7_ n_n139 [31] [863] [208] |
| 0111 1 |
| .names i_8_ i_5_ i_2_ [33] [209] |
| 1001 1 |
| .names [89] [833] [213] |
| 11 1 |
| .names i_6_ [36] [822] [823] [222] |
| 1111 1 |
| .names i_6_ i_11_ i_2_ [36] [815] |
| 1011 1 |
| .names i_9_ i_18_ i_17_ i_15_ [816] |
| 1101 1 |
| .names i_6_ i_11_ i_2_ [36] [817] |
| 1101 1 |
| .names i_4_ i_7_ [819] |
| 00 1 |
| .names i_9_ i_8_ i_5_ i_21_ [820] |
| 0110 1 |
| .names i_2_ i_11_ [822] |
| 10 1 |
| .names i_18_ i_17_ i_21_ i_15_ [823] |
| 1000 1 |
| .names i_4_ i_12_ i_18_ i_21_ [826] |
| 1010 1 |
| .names i_9_ i_10_ i_8_ [826] [827] |
| 0111 1 |
| .names n_n140 [35] n_n43 [826] [828] |
| 1111 1 |
| .names i_9_ i_10_ i_8_ i_21_ [829] |
| 00-0 1 |
| 0-00 1 |
| .names i_11_ i_2_ i_18_ i_21_ [830] |
| 1010 1 |
| .names i_11_ i_2_ i_18_ i_17_ [833] |
| 1100 1 |
| .names n_n301 [32] n_n60 [815] [835] |
| 1--- 1 |
| -101 1 |
| .names n_n307 [66] [222] [817] [836] |
| 1--- 1 |
| --1- 1 |
| -1-1 1 |
| .names [58] n_n311 [836] [838] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names i_8_ i_5_ i_21_ [841] |
| 111 1 |
| .names i_8_ i_18_ i_17_ [843] |
| 10- 1 |
| 1-1 1 |
| .names i_9_ i_7_ i_17_ i_15_ [845] |
| 11-- 1 |
| -11- 1 |
| -1-1 1 |
| .names i_7_ i_8_ i_5_ i_18_ [847] |
| 1101 1 |
| .names i_7_ i_8_ i_5_ i_18_ [849] |
| 1111 1 |
| .names i_7_ i_8_ i_5_ [851] |
| 110 1 |
| .names i_9_ i_18_ i_17_ i_15_ [852] |
| 1101 1 |
| .names i_8_ i_5_ i_18_ i_19_ [854] |
| 0111 1 |
| .names i_8_ i_5_ i_18_ i_19_ [856] |
| 0110 1 |
| .names i_9_ i_4_ i_12_ [860] |
| 101 1 |
| .names i_4_ i_12_ i_18_ i_21_ [863] |
| 0110 1 |
| .names i_7_ i_5_ i_18_ i_17_ [867] |
| 0010 1 |
| .names i_7_ i_5_ i_18_ i_17_ [870] |
| 0010 1 |
| .names i_6_ i_12_ i_18_ i_17_ [873] |
| 0010 1 |
| .names i_6_ i_4_ i_18_ i_17_ [875] |
| 0010 1 |
| .names i_9_ i_8_ i_21_ [876] |
| 011 1 |
| .names i_7_ i_5_ i_18_ [877] |
| 100 1 |
| .names [83] [873] [875] [882] |
| 11- 1 |
| 1-1 1 |
| .names i_16_ [71] [53] [877] [884] |
| -1-- 1 |
| 1-01 1 |
| .names n_n273 n_n294 n_n268 [55] [885] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names [46] [85] [188] [189] [886] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names [209] [851] [852] [882] [887] |
| 1--- 1 |
| ---1 1 |
| -11- 1 |
| .names n_n307 [30] [68] [876] [888] |
| 1--- 1 |
| --1- 1 |
| -1-1 1 |
| .names [79] [884] [885] [886] [892] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names i_15_ i_0_ [893] |
| 10 1 |
| .names i_4_ i_14_ [894] |
| 10 1 |
| .names i_18_ i_17_ i_21_ [895] |
| 000 1 |
| .names i_7_ i_5_ i_12_ i_15_ [896] |
| 001- 1 |
| 00-1 1 |
| .names i_5_ i_7_ [899] |
| 10 1 |
| .names i_7_ i_5_ i_15_ [49] [901] |
| 01-1 1 |
| -101 1 |
| .names i_0_ i_15_ [29] [49] [902] |
| -011 1 |
| 0111 1 |
| .names i_14_ i_10_ [905] |
| 00 1 |
| .names i_13_ i_18_ i_21_ [906] |
| 010 1 |
| .names i_9_ i_4_ i_12_ i_21_ [909] |
| 0100 1 |
| .names i_13_ i_4_ i_12_ i_21_ [911] |
| 0100 1 |
| .names i_17_ i_4_ [913] |
| 01 1 |
| .names i_12_ i_18_ i_21_ i_15_ [914] |
| 0100 1 |
| .names i_15_ i_0_ [916] |
| 11 1 |
| .names i_18_ i_17_ i_15_ [917] |
| 010 1 |
| .names i_4_ i_17_ i_15_ [918] |
| 000 1 |
| .names n_n271 n_n128 n_n313 [917] [920] |
| 1--- 1 |
| --1- 1 |
| -1-1 1 |
| .names n_n301 n_n310 n_n303 [921] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [58] n_n311 [921] [923] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names i_19_ i_3_ [924] |
| 11 1 |
| .names i_19_ [46] n_n277 [174] [926] |
| --1- 1 |
| ---1 1 |
| 11-- 1 |
| .names i_7_ i_8_ i_5_ i_19_ [927] |
| 1--0 1 |
| -0-0 1 |
| --10 1 |
| .names i_9_ i_4_ i_12_ [929] |
| 110 1 |
| .names i_9_ i_7_ i_5_ i_18_ [930] |
| 0100 1 |
| .names n_n283 n_n309 n_n271 [168] [935] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names n_n304 n_n301 n_n303 [165] [936] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names i_12_ i_2_ i_21_ [939] |
| 110 1 |
| .names i_7_ i_5_ n_n43 [939] [940] |
| 0011 1 |
| .names i_13_ i_17_ i_15_ [941] |
| 000 1 |
| .names i_6_ i_4_ i_12_ [36] [945] |
| 0101 1 |
| .names i_15_ i_5_ [946] |
| 10 1 |
| .names i_2_ i_18_ i_17_ [948] |
| 000 1 |
| .names i_11_ i_18_ i_17_ [949] |
| 000 1 |
| .names i_9_ i_18_ i_17_ i_19_ [950] |
| 0010 1 |
| .names i_11_ i_2_ i_18_ i_17_ [951] |
| 1010 1 |
| .names [49] n_n137 [847] [899] [952] |
| -11- 1 |
| 1--1 1 |
| .names [89] [49] [946] [948] [954] |
| 1--1 1 |
| 011- 1 |
| .names [89] [949] [950] [955] |
| 11- 1 |
| 1-1 1 |
| .names i_13_ [32] [940] [952] [956] |
| ---1 1 |
| 111- 1 |
| .names n_n273 n_n274 [954] [958] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [209] [851] [852] [955] [959] |
| 1--- 1 |
| ---1 1 |
| -11- 1 |
| .names i_6_ i_16_ [67] [960] |
| 011 1 |
| 101 1 |
| .names [152] [153] [956] [960] [964] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names [79] [62] [958] [965] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names i_7_ i_5_ i_15_ [49] [967] |
| 01-1 1 |
| 0001 1 |
| .names n_n271 n_n128 [917] [967] [969] |
| 1--- 1 |
| ---1 1 |
| -11- 1 |
| .names [47] i_6_ [974] |
| 10 1 |
| .names i_16_ i_6_ [976] |
| 01 1 |
| .names i_11_ i_2_ n_n140 [42] [978] |
| 1011 1 |
| .names i_16_ i_6_ [979] |
| 10 1 |
| .names i_11_ i_2_ n_n140 [42] [981] |
| 1011 1 |
| .names i_6_ i_4_ i_12_ [982] |
| 110 1 |
| .names i_9_ i_8_ i_5_ i_2_ [987] |
| 1100 1 |
| .names n_n320 n_n134 [976] [978] [990] |
| 1--- 1 |
| -111 1 |
| .names n_n134 [132] [979] [981] [991] |
| -1-- 1 |
| 1-11 1 |
| .names [135] [134] [992] |
| 1- 1 |
| -1 1 |
| .names n_n268 n_n310 n_n265 [133] [993] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names i_6_ i_16_ [67] [994] |
| 011 1 |
| 101 1 |
| .names n_n325 [58] [992] [993] [999] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names i_9_ i_7_ i_8_ i_6_ [1000] |
| 0001 1 |
| .names i_6_ i_4_ i_12_ [36] [1004] |
| 0011 1 |
| .names n_n278 [66] [815] [1004] [1005] |
| 1--- 1 |
| -11- 1 |
| -1-1 1 |
| .names n_n301 n_n294 n_n303 [121] [1008] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names i_9_ i_4_ i_12_ [1009] |
| 110 1 |
| .names n_n313 n_n303 [1011] |
| 1- 1 |
| -1 1 |
| .names i_13_ [32] [112] [828] [1012] |
| --1- 1 |
| 11-1 1 |
| .names n_n320 n_n312 [66] [1004] [1013] |
| 1--- 1 |
| -1-- 1 |
| --11 1 |
| .names n_n307 n_n309 [66] [945] [1014] |
| 1--- 1 |
| -1-- 1 |
| --11 1 |
| .names i_9_ i_7_ i_8_ i_6_ [1017] |
| 0000 1 |
| .names n_n140 n_n139 n_n134 [849] [1018] |
| --11 1 |
| 110- 1 |
| .names n_n268 [30] [1017] [1018] [1020] |
| 1--- 1 |
| ---1 1 |
| -11- 1 |
| .names i_9_ i_4_ i_12_ [1021] |
| 010 1 |
| .names i_18_ i_21_ [47] [1021] [1023] |
| 1011 1 |
| .names i_12_ n_n139 [31] [845] [1026] |
| 011- 1 |
| -111 1 |
| .names i_13_ [32] [75] [940] [1028] |
| --1- 1 |
| 11-1 1 |
| .names n_n312 n_n311 [1029] |
| 1- 1 |
| -1 1 |
| .names o_19_ n_n257 [50] [1023] [1030] |
| 1--- 1 |
| -1-- 1 |
| --11 1 |
| .names o_15_ n_n273 [1026] [1031] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n309 n_n275 [82] [974] [1032] |
| 1--- 1 |
| -1-- 1 |
| --11 1 |
| .names [79] n_n325 [1030] [1031] [1037] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names n_n310 n_n271 n_n128 [917] [1041] |
| 1--- 1 |
| -1-- 1 |
| --11 1 |
| .names n_n301 n_n320 n_n303 n_n312 [1042] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names [62] [74] n_n324 [1041] [1045] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names o_23_ [46] [68] [1047] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .end |
