| .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 [58] [65] [831] [834] [835] [836] o_1_ |
| 1----- 1 |
| ---1-- 1 |
| ----1- 1 |
| -----1 1 |
| -11--- 1 |
| .names i_9_ i_7_ i_5_ i_18_ i_17_ i_15_ o_19_ |
| 000010 1 |
| .names [30] [876] [883] [887] [892] o_2_ |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| 11--- 1 |
| .names i_0_ i_15_ [88] [901] [903] o_0_ |
| ---1- 1 |
| ----1 1 |
| -01-- 1 |
| 011-- 1 |
| .names i_9_ i_17_ i_15_ i_19_ [55] [91] o_25_ |
| 1---1- 1 |
| -1--1- 1 |
| --1-1- 1 |
| 0011-1 1 |
| 0010-1 1 |
| .names [59] [72] [58] n_n311 [920] [921] o_12_ |
| 1----- 1 |
| -1---- 1 |
| --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 [59] [175] [920] [925] o_27_ |
| 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 [79] [62] [953] [954] [966] o_28_ |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| .names i_9_ i_7_ i_5_ i_0_ i_15_ [41] o_13_ |
| 001--1 1 |
| 010-11 1 |
| 010-01 1 |
| 000-01 1 |
| 000111 1 |
| 000011 1 |
| .names n_n58 n_n137 [847] [971] [973] o_21_ |
| ----1 1 |
| -11-- 1 |
| 1--1- 1 |
| .names [990] [991] [994] [999] o_16_ |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names i_5_ i_18_ i_17_ i_15_ [1000] [1002] o_22_ |
| -----1 1 |
| 01011- 1 |
| 11001- 1 |
| .names i_9_ i_7_ i_5_ i_18_ i_17_ i_15_ o_15_ |
| 001010 1 |
| .names i_9_ i_17_ i_15_ [55] o_23_ |
| 1--1 1 |
| -1-1 1 |
| --11 1 |
| .names [62] [73] n_n324 n_n137 [858] o_18_ |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---11 1 |
| .names i_1_ [60] n_n134 [91] [844] [1007] o_24_ |
| -1---- 1 |
| -----1 1 |
| --11-- 1 |
| 1-1-1- 1 |
| .names [73] [65] [90] [821] [824] [920] o_17_ |
| 1----- 1 |
| -----1 1 |
| --11-- 1 |
| -1--1- 1 |
| .names [72] n_n318 n_n316 [1010] [1011] [1012] o_20_ |
| 1----- 1 |
| -1---- 1 |
| --1--- 1 |
| ---1-- 1 |
| ----1- 1 |
| -----1 1 |
| .names o_13_ [30] [1017] [1019] o_10_ |
| 1--- 1 |
| ---1 1 |
| -11- 1 |
| .names n_n324 [1027] [1028] [1029] [1037] o_9_ |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| .names [46] [83] [854] [856] [1039] o_7_ |
| 1---- 1 |
| ----1 1 |
| -11-- 1 |
| -1-1- 1 |
| .names i_20_ i_14_ o_8_ |
| 01 1 |
| .names [62] [74] [73] [50] [829] [974] o_5_ |
| 1----- 1 |
| -1---- 1 |
| --1--- 1 |
| ---111 1 |
| .names [60] [72] [58] [65] [831] [1045] o_6_ |
| 1----- 1 |
| -1---- 1 |
| --1--- 1 |
| -----1 1 |
| ---11- 1 |
| .names o_13_ [83] [854] [856] [1046] o_3_ |
| 1---- 1 |
| ----1 1 |
| -11-- 1 |
| -1-1- 1 |
| .names i_20_ i_14_ o_4_ |
| 00 1 |
| .names [65] [90] [821] [824] [59] |
| -11- 1 |
| 1--1 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_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_7_ i_8_ i_5_ i_18_ i_17_ i_15_ [55] |
| 010100 1 |
| .names [86] [90] [860] [861] [862] [863] [79] |
| 1-1--- 1 |
| -1-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_ i_18_ i_17_ i_15_ [85] |
| 110100 1 |
| .names i_9_ i_7_ i_5_ i_18_ i_17_ i_15_ n_n276 |
| 010011 1 |
| .names i_9_ i_7_ i_5_ i_18_ i_17_ n_n260 |
| 00101 1 |
| .names [86] [48] [818] [909] [60] |
| -11- 1 |
| 1--1 1 |
| .names [54] [32] [43] [911] [915] [72] |
| 1---1 1 |
| -111- 1 |
| .names i_9_ i_1_ i_17_ i_15_ [53] |
| 1--- 1 |
| -0-- 1 |
| --1- 1 |
| ---1 1 |
| .names i_8_ i_5_ i_18_ i_17_ i_15_ [38] |
| 11100 1 |
| .names i_7_ i_8_ i_5_ i_18_ i_17_ i_15_ [86] |
| 011100 1 |
| .names i_8_ i_5_ i_18_ i_17_ i_15_ [94] |
| 10101 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_ i_4_ i_12_ [35] [66] [36] [74] |
| 1--111 1 |
| 010-11 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 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_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 i_9_ i_21_ [48] [50] n_n43 [826] [58] |
| --1111 1 |
| 00110- 1 |
| .names i_6_ i_11_ i_2_ [66] [36] [1003] [73] |
| 0--111 1 |
| 10111- 1 |
| .names i_7_ i_8_ i_5_ i_18_ [91] |
| 0001 1 |
| .names i_4_ i_12_ [54] [66] n_n318 |
| 0111 1 |
| .names i_4_ i_12_ [54] [66] n_n316 |
| 1011 1 |
| .names i_9_ i_10_ i_8_ i_21_ [50] [974] n_n324 |
| 00-011 1 |
| 0-0011 1 |
| .names i_9_ i_7_ i_8_ i_5_ i_6_ [831] n_n311 |
| 000011 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_17_ i_15_ i_19_ [847] [849] [175] |
| 00111- 1 |
| 0001-1 1 |
| .names i_9_ i_7_ i_5_ i_18_ i_17_ i_15_ [180] |
| 010010 1 |
| .names i_8_ i_5_ i_2_ i_18_ i_17_ i_15_ [209] |
| 100101 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_9_ i_7_ i_8_ i_5_ i_4_ i_21_ [821] |
| 001100 1 |
| .names i_11_ i_2_ i_18_ i_17_ i_21_ i_15_ [824] |
| 011000 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_17_ i_21_ i_15_ [831] |
| 101000 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 i_11_ i_2_ [48] [65] [66] [818] [835] |
| --1--1 1 |
| 01-11- 1 |
| .names [35] [65] [66] [90] [821] [824] [836] |
| ---11- 1 |
| -1---1 1 |
| 111--- 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_9_ i_7_ i_8_ i_5_ i_18_ i_17_ [844] |
| 01100- 1 |
| 0110-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_18_ i_17_ i_15_ [850] |
| 101 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_7_ i_8_ i_5_ i_2_ i_18_ i_21_ [861] |
| 010110 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_ i_5_ i_6_ i_2_ i_18_ i_17_ [868] |
| 001010 1 |
| .names i_7_ i_5_ i_6_ i_11_ i_18_ i_17_ [871] |
| 001010 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 i_8_ i_5_ i_21_ [55] [842] [878] |
| ---1- 1 |
| 111-1 1 |
| .names [53] [38] [844] [845] [879] |
| 0-1- 1 |
| -1-1 1 |
| .names i_9_ i_17_ i_15_ [85] [847] [849] [880] |
| ---1-- 1 |
| 001-1- 1 |
| 000--1 1 |
| .names i_9_ i_7_ i_17_ i_15_ [868] [871] [881] |
| 00001- 1 |
| 0000-1 1 |
| .names [83] [90] [821] [854] [856] [883] |
| -11-- 1 |
| 1--1- 1 |
| 1---1 1 |
| .names i_16_ i_19_ [53] [91] n_n137 [877] [884] |
| -1-11- 1 |
| -0-11- 1 |
| 1-0--1 1 |
| .names [83] [209] [851] [852] [873] [875] [887] |
| -1---- 1 |
| --11-- 1 |
| 1---1- 1 |
| 1----1 1 |
| .names [79] [878] [879] [880] [881] [884] [892] |
| 1----- 1 |
| -1---- 1 |
| --1--- 1 |
| ---1-- 1 |
| ----1- 1 |
| -----1 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 i_9_ i_7_ i_5_ i_18_ i_17_ i_15_ [901] |
| 00101- 1 |
| 0-1010 1 |
| .names i_18_ i_17_ i_21_ n_n276 [896] [897] [903] |
| ---1-- 1 |
| 000-11 1 |
| .names i_10_ i_7_ i_8_ i_5_ i_14_ [907] |
| 00100 1 |
| .names i_9_ i_13_ i_18_ i_17_ i_21_ i_15_ [908] |
| 001000 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_4_ i_12_ i_18_ i_17_ i_21_ i_15_ [915] |
| 101000 1 |
| .names i_4_ i_12_ i_18_ i_17_ i_21_ i_15_ [919] |
| 011000 1 |
| .names i_0_ i_15_ [88] [54] [180] [919] [920] |
| ----1- 1 |
| ---1-1 1 |
| 111--- 1 |
| .names [86] [48] [818] [907] [908] [909] [921] |
| -11--- 1 |
| ---11- 1 |
| 1----1 1 |
| .names i_9_ i_3_ i_19_ [55] [83] [854] [925] |
| ----11 1 |
| 1111-- 1 |
| .names i_7_ i_8_ i_5_ i_19_ [927] |
| 1--0 1 |
| -0-0 1 |
| --10 1 |
| .names i_8_ i_5_ i_18_ i_17_ i_15_ i_19_ [928] |
| 111000 1 |
| .names i_9_ i_7_ i_5_ i_18_ [930] |
| 0100 1 |
| .names i_0_ i_15_ [88] [895] [896] [897] [931] |
| 011--- 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_9_ i_4_ i_12_ [86] [928] [934] |
| ---01 1 |
| 1101- 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_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 n_n260 [50] n_n137 [43] [847] [939] [956] |
| 1----- 1 |
| --1-1- 1 |
| -1-1-1 1 |
| .names i_9_ i_21_ [94] [42] [43] [951] [957] |
| 011--- 1 |
| ---111 1 |
| .names [89] [209] [851] [852] [949] [950] [959] |
| -1---- 1 |
| --11-- 1 |
| 1---1- 1 |
| 1----1 1 |
| .names i_6_ i_16_ [42] [43] [941] [960] |
| 01111 1 |
| 10111 1 |
| .names [74] [956] [957] [959] [960] [966] |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| .names i_5_ i_6_ i_18_ i_17_ i_15_ [971] |
| 11100 1 |
| .names i_9_ i_6_ [55] [33] [36] [973] |
| 111-- 1 |
| -0-11 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_9_ i_8_ i_5_ i_2_ [987] |
| 1100 1 |
| .names i_18_ i_17_ i_15_ [38] [845] [987] [988] |
| ---11- 1 |
| 101--1 1 |
| .names i_7_ i_8_ i_5_ [852] [907] [908] [989] |
| ----11 1 |
| 1101-- 1 |
| .names [32] [42] [48] [43] [911] [977] [990] |
| 1--11- 1 |
| -11--1 1 |
| .names [32] [42] [47] [48] [980] [983] [991] |
| -1-11- 1 |
| 1-1--1 1 |
| .names i_9_ i_17_ i_15_ i_19_ [55] [85] [992] |
| 1----1 1 |
| 1--01- 1 |
| -1-01- 1 |
| --101- 1 |
| .names i_6_ i_16_ [42] [43] [941] [994] |
| 01111 1 |
| 10111 1 |
| .names n_n325 [58] [988] [989] [992] [999] |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| .names i_9_ i_7_ i_8_ i_6_ [1000] |
| 0001 1 |
| .names [55] n_n134 n_n137 [847] [850] [851] [1002] |
| 10---- 1 |
| --11-- 1 |
| --0-11 1 |
| .names i_12_ i_4_ [1003] |
| 10 1 |
| .names [90] [821] [895] [896] [897] [1007] |
| 11--- 1 |
| --111 1 |
| .names i_9_ i_4_ i_12_ [1009] |
| 110 1 |
| .names [90] [821] [895] [896] [897] [1010] |
| 11--- 1 |
| --111 1 |
| .names [86] [54] [909] [919] [1011] |
| 1-1- 1 |
| -1-1 1 |
| .names [86] [48] [50] n_n43 [826] [1009] [1012] |
| 1----1 1 |
| -1111- 1 |
| .names i_9_ i_7_ i_8_ i_6_ [1017] |
| 0000 1 |
| .names i_7_ [55] [38] n_n134 [849] [1019] |
| -1-0- 1 |
| ---11 1 |
| 1-10- 1 |
| .names i_9_ i_4_ i_12_ i_18_ i_21_ [1022] |
| 01010 1 |
| .names [83] [856] [895] [896] [897] [1027] |
| 11--- 1 |
| --111 1 |
| .names i_9_ i_21_ [38] [50] [43] [939] [1028] |
| 011--- 1 |
| ---111 1 |
| .names i_6_ [36] [831] [915] [1029] |
| 111- 1 |
| 01-1 1 |
| .names o_19_ n_n134 [47] [50] [849] [1022] [1030] |
| 1----- 1 |
| -1--1- 1 |
| --11-1 1 |
| .names i_12_ o_15_ [38] [841] [842] [845] [1031] |
| -1---- 1 |
| 0-1--- 1 |
| ---11- 1 |
| --1--1 1 |
| .names [79] n_n325 [1030] [1031] [1037] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names i_9_ i_16_ i_19_ [55] [91] n_n137 [1039] |
| 11-1-- 1 |
| --1-11 1 |
| --0-11 1 |
| .names i_0_ i_15_ [88] [180] [907] [908] [1041] |
| ---1-- 1 |
| ----11 1 |
| 111--- 1 |
| .names [62] [74] [50] [829] [974] [1041] [1045] |
| 1----- 1 |
| -1---- 1 |
| -----1 1 |
| --111- 1 |
| .names i_9_ i_17_ i_15_ [55] [847] [849] [1046] |
| 1--1-- 1 |
| -1-1-- 1 |
| --11-- 1 |
| 001-1- 1 |
| 000--1 1 |
| .end |
