| .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 [834] [835] [838] o_1_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names i_15_ [88] o_19_ |
| 01 1 |
| .names [79] [886] [889] [891] o_2_ |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names [903] [904] o_0_ |
| 1- 1 |
| -1 1 |
| .names i_19_ o_23_ [91] n_n137 o_25_ |
| -1-- 1 |
| 1-11 1 |
| 0-11 1 |
| .names [80] n_n320 n_n312 [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 [83] [80] [174] [175] [854] o_27_ |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| 1---1 1 |
| .names [60] [931] [932] [933] [934] o_14_ |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| .names [62] [962] [963] [964] o_28_ |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names i_15_ [88] n_n260 [52] [968] o_13_ |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| 01--- 1 |
| .names [33] [54] [145] [972] o_21_ |
| --1- 1 |
| ---1 1 |
| 11-- 1 |
| .names n_n325 [58] [996] [998] o_16_ |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names [30] [851] [852] [1000] [1001] o_22_ |
| ----1 1 |
| -11-- 1 |
| 1--1- 1 |
| .names i_15_ n_n260 o_15_ |
| 01 1 |
| .names i_9_ i_18_ i_17_ i_15_ n_n140 o_23_ |
| 11001 1 |
| .names [62] [73] n_n324 n_n137 [858] o_18_ |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---11 1 |
| .names n_n307 n_n309 [60] [1006] o_24_ |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names n_n307 [52] [73] n_n313 [222] o_17_ |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| .names n_n320 n_n318 n_n312 [1014] [1015] o_20_ |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| .names [52] [967] [968] [1020] o_10_ |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names [1034] [1035] [1036] o_9_ |
| 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 [1044] [1045] o_6_ |
| 1- 1 |
| -1 1 |
| .names [52] [967] [968] [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_ [65] [66] n_n315 |
| 1011 1 |
| .names i_9_ i_7_ i_5_ i_15_ [89] |
| 0101 1 |
| .names i_9_ i_7_ i_5_ i_18_ i_17_ [88] |
| 00001 1 |
| .names i_7_ i_4_ [90] [820] n_n307 |
| 0011 1 |
| .names i_18_ i_17_ n_n101 |
| 10 1 |
| .names i_7_ i_5_ [29] |
| 00 1 |
| .names i_5_ i_18_ i_17_ i_15_ [30] |
| 0101 1 |
| 1100 1 |
| .names i_9_ i_17_ i_15_ [847] [849] [46] |
| 0011- 1 |
| 000-1 1 |
| .names i_2_ [94] [851] [852] [61] |
| 01-- 1 |
| --11 1 |
| .names i_8_ i_5_ i_18_ i_19_ [83] [68] |
| 01111 1 |
| 01101 1 |
| .names i_9_ i_17_ i_15_ i_19_ [91] [71] |
| 00111 1 |
| 00101 1 |
| .names i_7_ [38] [206] [860] [865] [79] |
| --1-- 1 |
| ----1 1 |
| 01-1- 1 |
| .names i_9_ i_7_ i_17_ i_15_ [83] |
| 0000 1 |
| .names i_9_ i_21_ [93] |
| 01 1 |
| .names i_18_ i_17_ i_21_ [896] [897] n_n309 |
| 00011 1 |
| .names i_9_ i_7_ i_5_ i_18_ i_17_ n_n260 |
| 00101 1 |
| .names i_9_ i_18_ i_17_ [49] |
| 001 1 |
| .names i_9_ i_17_ i_15_ [906] [907] n_n310 |
| 00011 1 |
| .names i_7_ [38] [48] [818] [909] [60] |
| --11- 1 |
| 01--1 1 |
| .names n_n307 [52] n_n313 [222] [80] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names i_9_ i_1_ i_17_ i_15_ [53] |
| 1--- 1 |
| -0-- 1 |
| --1- 1 |
| ---1 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_8_ i_5_ i_18_ i_17_ i_15_ [38] |
| 11100 1 |
| .names i_4_ i_12_ [40] |
| 10 1 |
| .names i_8_ i_5_ i_18_ i_17_ i_15_ [94] |
| 10101 1 |
| .names i_12_ i_2_ i_21_ [50] [43] n_n323 |
| 11011 1 |
| .names i_11_ i_2_ [35] |
| 10 1 |
| .names i_6_ i_16_ [42] [43] [941] [62] |
| 11111 1 |
| 00111 1 |
| .names i_6_ [40] [35] [66] [36] [74] |
| 01-11 1 |
| 1-111 1 |
| .names i_0_ i_15_ [88] n_n128 [917] [52] |
| ---11 1 |
| 111-- 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_9_ i_7_ i_8_ i_5_ i_6_ [54] |
| 00000 1 |
| .names [32] [43] [911] n_n320 |
| 111 1 |
| .names i_9_ i_17_ i_15_ n_n134 |
| 000 1 |
| .names i_6_ [47] [50] [829] n_n325 |
| 1111 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_9_ i_21_ [45] |
| 00 1 |
| .names i_7_ i_8_ i_5_ i_2_ [47] |
| 0101 1 |
| .names i_7_ i_8_ i_5_ i_11_ i_2_ [48] |
| 01010 1 |
| .names [45] [48] [50] n_n43 [826] [58] |
| 1110- 1 |
| -1111 1 |
| .names i_6_ [66] [36] [814] [1003] [73] |
| 1111- 1 |
| 011-1 1 |
| .names i_7_ i_8_ i_5_ i_18_ [91] |
| 0001 1 |
| .names i_7_ [38] [909] n_n303 |
| 011 1 |
| .names i_4_ i_12_ [54] [66] n_n318 |
| 0111 1 |
| .names i_12_ i_18_ i_21_ [54] [918] n_n313 |
| 11011 1 |
| .names [48] [50] n_n43 [826] n_n333 |
| 1111 1 |
| .names i_4_ i_12_ [54] [66] n_n316 |
| 1011 1 |
| .names [50] [829] [974] n_n324 |
| 111 1 |
| .names i_17_ i_15_ [65] [830] n_n311 |
| 0011 1 |
| .names i_4_ i_17_ [54] [914] n_n312 |
| 1011 1 |
| .names i_14_ i_13_ i_18_ i_17_ i_15_ [50] |
| 01100 1 |
| .names i_9_ i_17_ i_15_ n_n137 |
| 001 1 |
| .names i_9_ i_7_ i_8_ i_5_ i_6_ [65] |
| 00001 1 |
| .names i_14_ i_18_ i_17_ i_21_ i_15_ [66] |
| 01010 1 |
| .names i_9_ i_10_ i_7_ i_8_ i_5_ [43] |
| 01010 1 |
| .names i_11_ i_18_ i_17_ i_15_ [90] |
| 0101 1 |
| .names i_9_ i_10_ i_8_ n_n43 |
| 011 1 |
| .names i_18_ i_17_ [41] |
| 01 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 [47] [50] [1022] [70] |
| 111 1 |
| .names i_9_ i_7_ i_4_ i_12_ [38] [112] |
| 10101 1 |
| .names [42] [48] [977] [130] |
| 111 1 |
| .names [42] [48] [980] [131] |
| 111 1 |
| .names [32] [47] [983] [132] |
| 111 1 |
| .names i_9_ i_12_ [38] [134] |
| 101 1 |
| .names i_19_ n_n140 n_n139 n_n134 [135] |
| 0110 1 |
| .names i_9_ i_6_ n_n140 n_n139 [145] |
| 1111 1 |
| .names i_9_ i_3_ i_19_ n_n140 n_n139 [174] |
| 11111 1 |
| .names i_19_ n_n134 n_n137 [847] [849] [175] |
| 1-11- 1 |
| 11--1 1 |
| .names i_9_ i_8_ i_21_ [30] [192] |
| 0111 1 |
| .names i_7_ i_5_ i_18_ i_16_ [53] [193] |
| 10010 1 |
| .names i_9_ i_7_ i_4_ i_12_ [38] [205] |
| 10011 1 |
| .names i_18_ i_21_ [47] [90] [206] |
| 1011 1 |
| .names i_11_ i_2_ [65] [823] [222] |
| 0111 1 |
| .names i_2_ i_11_ [814] |
| 10 1 |
| .names i_9_ i_18_ i_17_ i_15_ [816] |
| 1101 1 |
| .names i_9_ i_18_ i_17_ i_21_ i_15_ [818] |
| 01001 1 |
| .names i_4_ i_7_ [819] |
| 00 1 |
| .names i_9_ i_8_ i_5_ i_21_ [820] |
| 0110 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_ 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 [89] [48] [816] [833] [834] |
| -11- 1 |
| 1--1 1 |
| .names [48] [65] [66] [814] [818] [835] |
| 1---1 1 |
| -111- 1 |
| .names n_n315 n_n307 [58] n_n311 [222] [838] |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| .names i_8_ i_5_ i_21_ [841] |
| 111 1 |
| .names i_9_ i_7_ i_18_ i_17_ i_15_ [842] |
| 00101 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_7_ i_8_ i_5_ i_18_ i_19_ [857] |
| 00010 1 |
| .names i_7_ i_8_ i_5_ i_18_ i_19_ [858] |
| 00011 1 |
| .names i_9_ i_4_ i_12_ [860] |
| 101 1 |
| .names i_9_ i_7_ i_8_ i_5_ i_2_ [862] |
| 10101 1 |
| .names i_4_ i_12_ i_18_ i_21_ [863] |
| 0110 1 |
| .names i_7_ [38] [90] [862] [863] [865] |
| --11- 1 |
| 01--1 1 |
| .names i_2_ i_6_ [866] |
| 01 1 |
| .names i_11_ i_6_ [869] |
| 01 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 n_n140 n_n139 [841] [842] [878] |
| 11-- 1 |
| --11 1 |
| .names [53] n_n128 [38] [843] [845] [879] |
| --1-1 1 |
| 01-1- 1 |
| .names n_n101 [29] [83] [866] [869] [881] |
| 1111- 1 |
| 111-1 1 |
| .names [83] [873] [875] [882] |
| 11- 1 |
| 1-1 1 |
| .names i_12_ [46] [38] [881] [886] |
| -1-- 1 |
| ---1 1 |
| 0-1- 1 |
| .names [71] [193] [878] [879] [889] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names n_n307 [61] [68] [192] [882] [891] |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| .names i_15_ i_0_ [893] |
| 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_9_ i_14_ i_4_ i_17_ i_15_ [897] |
| 00100 1 |
| .names [89] [41] [895] [896] [897] [903] |
| 11--- 1 |
| --111 1 |
| .names i_7_ i_5_ i_0_ i_15_ [49] [904] |
| 01--1 1 |
| -1-01 1 |
| 00-01 1 |
| 00011 1 |
| .names i_13_ i_18_ i_21_ [906] |
| 010 1 |
| .names i_10_ i_7_ i_8_ i_5_ i_14_ [907] |
| 00100 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_12_ i_18_ i_21_ i_15_ [914] |
| 0100 1 |
| .names i_18_ i_17_ i_15_ [917] |
| 010 1 |
| .names i_4_ i_17_ i_15_ [918] |
| 000 1 |
| .names n_n310 [60] [58] n_n311 [923] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 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 [88] [893] [895] [896] [897] [931] |
| 11--- 1 |
| --111 1 |
| .names i_0_ i_15_ [88] [53] [930] [932] |
| ---11 1 |
| 111-- 1 |
| .names [94] [48] [816] [927] [933] |
| -11- 1 |
| 1--1 1 |
| .names i_7_ i_19_ [38] [929] [934] |
| 101- 1 |
| 0-11 1 |
| .names i_12_ i_2_ i_21_ [939] |
| 110 1 |
| .names i_13_ i_17_ i_15_ [941] |
| 000 1 |
| .names i_9_ i_5_ i_18_ i_17_ i_15_ [947] |
| 00011 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 i_9_ i_17_ i_15_ n_n260 [847] [952] |
| ---1- 1 |
| 001-1 1 |
| .names i_7_ i_18_ n_n137 [841] [857] [953] |
| --1-1 1 |
| 0111- 1 |
| .names i_2_ i_18_ i_17_ [89] [947] [954] |
| ---01 1 |
| 0001- 1 |
| .names [93] [94] [42] [43] [951] [957] |
| 11--- 1 |
| --111 1 |
| .names i_6_ i_16_ [42] [43] [941] [960] |
| 01111 1 |
| 10111 1 |
| .names [205] [206] [865] [953] [954] [962] |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| .names [89] [61] [74] [949] [950] [963] |
| -1--- 1 |
| --1-- 1 |
| 1--1- 1 |
| 1---1 1 |
| .names n_n323 [952] [957] [960] [964] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names i_15_ [88] n_n260 [967] |
| --1 1 |
| 01- 1 |
| .names i_18_ i_17_ [89] [88] [893] [968] |
| ---11 1 |
| 011-- 1 |
| .names i_5_ i_6_ i_18_ i_17_ i_15_ [971] |
| 11100 1 |
| .names n_n58 n_n137 [847] [971] [972] |
| -11- 1 |
| 1--1 1 |
| .names i_7_ i_8_ i_5_ i_6_ i_2_ [974] |
| 01001 1 |
| .names i_9_ i_6_ i_17_ i_16_ i_15_ [977] |
| 01000 1 |
| .names i_9_ i_6_ i_17_ i_16_ i_15_ [980] |
| 00010 1 |
| .names i_9_ i_6_ i_4_ i_12_ i_21_ [983] |
| 01100 1 |
| .names i_18_ i_17_ i_15_ [986] |
| 101 1 |
| .names i_9_ i_8_ i_5_ i_2_ [987] |
| 1100 1 |
| .names [38] [845] [986] [987] [988] |
| 11-- 1 |
| --11 1 |
| .names n_n134 [851] [852] [906] [907] [989] |
| -11-- 1 |
| 1--11 1 |
| .names i_6_ i_16_ [42] [43] [941] [994] |
| 01111 1 |
| 10111 1 |
| .names [134] [135] [988] [989] [996] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names n_n320 [130] [131] [132] [994] [998] |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| .names i_9_ i_7_ i_8_ i_6_ [1000] |
| 0001 1 |
| .names n_n140 n_n139 n_n134 n_n137 [847] [1001] |
| ---11 1 |
| 110-- 1 |
| .names i_12_ i_4_ [1003] |
| 10 1 |
| .names i_1_ n_n128 n_n134 [91] [843] [1006] |
| --11- 1 |
| 111-1 1 |
| .names n_n309 n_n316 [90] [819] [820] [1014] |
| 1---- 1 |
| -1--- 1 |
| --111 1 |
| .names n_n303 n_n313 n_n333 [112] [1015] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 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 [30] [38] [845] [1017] [1018] [1020] |
| ----1 1 |
| -11-- 1 |
| 1--1- 1 |
| .names i_9_ i_4_ i_12_ i_18_ i_21_ [1022] |
| 01010 1 |
| .names i_9_ i_17_ i_15_ [88] [849] [1024] |
| --01- 1 |
| 000-1 1 |
| .names i_15_ n_n260 [841] [842] [1025] |
| 01-- 1 |
| --11 1 |
| .names i_12_ [38] [845] [1026] |
| 01- 1 |
| -11 1 |
| .names [83] [856] [895] [896] [897] [1027] |
| 11--- 1 |
| --111 1 |
| .names [93] [38] [50] [43] [939] [1028] |
| 11--- 1 |
| --111 1 |
| .names [70] [1024] [1025] [1026] [1034] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names n_n325 [205] [206] [865] [1035] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names n_n324 n_n311 n_n312 [1027] [1028] [1036] |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| .names [60] n_n320 [58] n_n311 n_n312 [1044] |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| .names n_n310 [62] [74] [52] n_n324 [1045] |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| .names [46] [68] n_n140 n_n139 n_n134 [1047] |
| 1---- 1 |
| -1--- 1 |
| --110 1 |
| .end |
