| .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 [48] [50] [65] [827] [829] [831] [836] [837] o_1_ |
| ------1- 1 |
| -------1 1 |
| --1--1-- 1 |
| 11-1---- 1 |
| 11--1--- 1 |
| .names i_9_ i_7_ i_5_ i_18_ i_17_ i_15_ o_19_ |
| 000010 1 |
| .names [79] [188] [189] [880] [889] [891] o_2_ |
| 1----- 1 |
| -1---- 1 |
| --1--- 1 |
| ---1-- 1 |
| ----1- 1 |
| -----1 1 |
| .names i_9_ i_14_ i_4_ i_17_ i_15_ n_n276 [898] [904] o_0_ |
| -----1-- 1 |
| -------1 1 |
| 00100-1- 1 |
| .names i_9_ i_7_ i_8_ i_5_ i_18_ i_17_ i_15_ i_19_ o_25_ |
| 1010100- 1 |
| 00001011 1 |
| 00001010 1 |
| .names [77] [80] [54] [43] [912] [915] [921] o_12_ |
| 1------ 1 |
| -1----- 1 |
| ------1 1 |
| ---11-- 1 |
| --1--1- 1 |
| .names i_20_ i_14_ i_21_ o_26_ |
| 01- 1 |
| 0-1 1 |
| .names i_9_ i_7_ i_5_ i_1_ i_18_ i_17_ i_15_ o_11_ |
| 0101000 1 |
| .names i_3_ i_19_ [80] n_n277 [92] [175] o_27_ |
| --1--- 1 |
| ---1-- 1 |
| -----1 1 |
| 11--1- 1 |
| .names [86] [48] [165] [816] [818] [909] [937] o_14_ |
| --1---- 1 |
| ------1 1 |
| -1-1--- 1 |
| -1--1-- 1 |
| 1----1- 1 |
| .names n_n273 [79] n_n274 [62] [954] [960] [961] [963] o_28_ |
| 1------- 1 |
| -1------ 1 |
| --1----- 1 |
| ---1---- 1 |
| ----1--- 1 |
| -----1-- 1 |
| ------1- 1 |
| -------1 1 |
| .names i_9_ i_7_ i_5_ i_18_ i_17_ i_0_ i_15_ o_13_ |
| 00101-- 1 |
| 01001-1 1 |
| 01001-0 1 |
| 00001-0 1 |
| 0000111 1 |
| 0000101 1 |
| .names i_9_ i_7_ i_8_ i_5_ i_6_ i_18_ i_17_ i_15_ o_21_ |
| 0110-101 1 |
| 00000101 1 |
| 00011100 1 |
| 10101100 1 |
| .names i_6_ i_16_ [42] [43] [941] [995] [996] [997] o_16_ |
| -----1-- 1 |
| ------1- 1 |
| -------1 1 |
| 01111--- 1 |
| 10111--- 1 |
| .names i_9_ i_7_ i_8_ i_5_ i_6_ i_18_ i_17_ i_15_ o_22_ |
| 1110-101 1 |
| 0110-101 1 |
| 1010-100 1 |
| 00001101 1 |
| 00011100 1 |
| .names i_9_ i_7_ i_5_ i_18_ i_17_ i_15_ o_15_ |
| 001010 1 |
| .names i_9_ i_7_ i_8_ i_5_ i_18_ i_17_ i_15_ o_23_ |
| 1010100 1 |
| .names n_n278 [78] [66] [815] [1004] o_18_ |
| 1---- 1 |
| -1--- 1 |
| --11- 1 |
| --1-1 1 |
| .names i_11_ i_18_ i_17_ i_15_ [821] [897] [898] [1008] o_24_ |
| -------1 1 |
| -----11- 1 |
| 01011--- 1 |
| .names i_14_ i_18_ i_17_ i_21_ i_15_ [80] [815] [1004] o_17_ |
| -----1-- 1 |
| 01010-1- 1 |
| 01010--1 1 |
| .names [54] [66] [43] [912] [915] [1003] [1014] [1015] o_20_ |
| ------1- 1 |
| -------1 1 |
| --11---- 1 |
| 1---1--- 1 |
| 11---1-- 1 |
| .names i_9_ i_7_ i_5_ i_18_ i_17_ i_0_ i_15_ [1020] o_10_ |
| -------1 1 |
| 00101--- 1 |
| 01001-1- 1 |
| 01001-0- 1 |
| 00001-0- 1 |
| 0000111- 1 |
| 0000101- 1 |
| .names i_6_ [79] [47] [50] [829] [1032] [1033] [1034] o_9_ |
| -1------ 1 |
| -----1-- 1 |
| ------1- 1 |
| -------1 1 |
| 1-111--- 1 |
| .names [71] [51] [1038] o_7_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names i_20_ i_14_ o_8_ |
| 01 1 |
| .names [78] [66] [815] [817] [945] [1004] o_5_ |
| 1----- 1 |
| -11--- 1 |
| -1-1-- 1 |
| -1--1- 1 |
| -1---1 1 |
| .names [77] [78] [1042] [1043] o_6_ |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names i_9_ i_7_ i_5_ i_18_ i_17_ i_0_ i_15_ [1047] o_3_ |
| -------1 1 |
| 00101--- 1 |
| 01001-1- 1 |
| 01001-0- 1 |
| 00001-0- 1 |
| 0000111- 1 |
| 0000101- 1 |
| .names i_20_ i_14_ o_4_ |
| 00 1 |
| .names [48] [50] [65] [827] [829] [831] [77] |
| --1--1 1 |
| 11-1-- 1 |
| 11--1- 1 |
| .names i_9_ i_7_ i_8_ i_5_ i_18_ i_17_ i_21_ i_15_ n_n273 |
| 00111011 1 |
| .names i_9_ i_7_ i_8_ i_5_ i_2_ i_18_ i_17_ i_15_ [61] |
| --100101 1 |
| 1110-101 1 |
| .names i_9_ i_7_ i_8_ i_5_ i_18_ i_17_ i_15_ i_19_ [68] |
| 00011001 1 |
| 00011000 1 |
| .names i_9_ i_7_ i_8_ i_5_ i_18_ i_17_ i_15_ i_19_ [71] |
| 00001011 1 |
| 00001010 1 |
| .names i_9_ i_4_ i_12_ [86] [90] [861] [862] [863] [79] |
| ----11-- 1 |
| ----1-1- 1 |
| ---1---1 1 |
| 1011---- 1 |
| .names i_9_ i_7_ i_5_ i_18_ i_17_ i_0_ i_15_ n_n283 |
| 0000101 1 |
| .names i_9_ i_7_ i_5_ i_18_ i_17_ i_15_ n_n276 |
| 010011 1 |
| .names i_6_ [52] [90] [36] [821] [824] [919] [80] |
| -1----- 1 |
| --1-1-- 1 |
| 1--1-1- 1 |
| 0--1--1 1 |
| .names i_9_ i_7_ i_8_ i_5_ i_18_ i_17_ i_15_ i_19_ n_n277 |
| 00011001 1 |
| .names i_9_ i_7_ i_8_ i_5_ i_18_ i_17_ i_15_ [92] |
| 1010100 1 |
| .names i_7_ i_8_ i_5_ i_18_ i_17_ i_15_ [86] |
| 011100 1 |
| .names i_9_ i_7_ i_8_ i_5_ i_18_ i_17_ i_15_ i_19_ n_n274 |
| 00001010 1 |
| .names i_6_ i_13_ i_17_ i_16_ i_15_ [42] [43] [62] |
| 1001011 1 |
| 0000011 1 |
| .names i_9_ i_7_ i_5_ i_18_ i_17_ i_0_ i_15_ [52] |
| 01001-0 1 |
| 0000111 1 |
| .names i_9_ i_7_ i_8_ i_5_ i_6_ [54] |
| 00000 1 |
| .names i_9_ i_7_ i_8_ i_5_ i_18_ i_17_ i_15_ n_n265 |
| 1110101 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_7_ i_8_ i_5_ i_18_ i_17_ i_15_ i_19_ n_n278 |
| 00001011 1 |
| .names i_6_ i_16_ [42] [47] [50] [43] [829] [941] [78] |
| 0--11-1- 1 |
| 111--1-1 1 |
| 001--1-1 1 |
| .names i_9_ i_7_ i_8_ i_5_ i_18_ i_17_ i_15_ i_19_ n_n275 |
| 00011000 1 |
| .names i_14_ i_13_ i_18_ i_17_ i_15_ [50] |
| 01100 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_7_ i_8_ i_5_ [36] |
| 0000 1 |
| .names i_9_ i_7_ i_8_ i_5_ i_18_ i_17_ i_16_ i_15_ [51] |
| 10101010 1 |
| .names i_9_ i_8_ i_5_ i_18_ i_17_ i_21_ i_15_ [75] |
| 0111010 1 |
| .names i_9_ i_8_ i_5_ i_12_ i_18_ i_17_ i_15_ [134] |
| 1110100 1 |
| .names i_9_ i_7_ i_8_ i_5_ i_18_ i_17_ i_15_ i_19_ [135] |
| 10101000 1 |
| .names i_9_ i_8_ i_5_ i_18_ i_17_ i_21_ i_15_ [153] |
| 0101011 1 |
| .names i_7_ i_8_ i_5_ i_18_ i_17_ i_15_ i_19_ [165] |
| 1101010 1 |
| .names i_9_ i_7_ i_8_ i_5_ i_18_ i_17_ i_15_ i_19_ [175] |
| 01101011 1 |
| 01111001 1 |
| .names i_9_ i_7_ i_5_ i_6_ i_2_ i_18_ i_17_ i_15_ [188] |
| 00010100 1 |
| .names i_9_ i_7_ i_5_ i_6_ i_11_ i_18_ i_17_ i_15_ [189] |
| 00010100 1 |
| .names i_9_ i_8_ i_5_ i_18_ i_17_ i_21_ i_15_ [192] |
| 0101011 1 |
| 0111010 1 |
| .names i_9_ i_7_ i_5_ i_1_ i_18_ i_17_ i_16_ i_15_ [193] |
| 01010010 1 |
| .names i_9_ i_7_ i_5_ i_11_ i_2_ i_18_ i_17_ i_15_ [213] |
| 01011001 1 |
| .names i_9_ i_7_ i_8_ i_5_ i_6_ i_11_ i_2_ [815] |
| 0000101 1 |
| .names i_9_ i_18_ i_17_ i_15_ [816] |
| 1101 1 |
| .names i_9_ i_7_ i_8_ i_5_ i_6_ i_11_ i_2_ [817] |
| 0000110 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_9_ i_10_ i_8_ i_4_ i_12_ i_18_ i_21_ [827] |
| 0111010 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_ [65] [66] [90] [821] [824] [836] |
| ----11- 1 |
| --1---1 1 |
| 1011--- 1 |
| .names [48] [66] [213] [815] [816] [818] [837] |
| --1--- 1 |
| -1-1-- 1 |
| 1---1- 1 |
| 1----1 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_9_ i_7_ i_8_ i_5_ i_18_ i_17_ i_21_ i_15_ [878] |
| -01010-0 1 |
| 00111011 1 |
| .names i_9_ i_7_ i_8_ i_5_ i_1_ i_18_ i_17_ i_15_ [879] |
| 1111-100 1 |
| 01101000 1 |
| .names i_9_ i_7_ i_8_ i_5_ i_12_ i_18_ i_17_ i_15_ [880] |
| --110100 1 |
| 0110-101 1 |
| 0111-100 1 |
| .names i_9_ i_7_ i_6_ i_4_ i_12_ i_18_ i_17_ i_15_ [882] |
| 0000-100 1 |
| 000-0100 1 |
| .names [71] [193] [878] [879] [889] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names [61] [68] [90] [192] [821] [882] [891] |
| 1----- 1 |
| -1---- 1 |
| ---1-- 1 |
| -----1 1 |
| --1-1- 1 |
| .names i_9_ i_14_ i_4_ i_17_ i_15_ [897] |
| 00100 1 |
| .names i_7_ i_5_ i_12_ i_18_ i_17_ i_21_ i_15_ [898] |
| 001000- 1 |
| 00-0001 1 |
| .names i_9_ i_7_ i_5_ i_18_ i_17_ i_0_ i_15_ [904] |
| 00101-- 1 |
| 0-101-0 1 |
| 00001-0 1 |
| 0000101 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_14_ i_13_ i_4_ i_12_ i_18_ i_17_ i_21_ i_15_ [912] |
| 00101000 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 [86] [48] [818] [907] [908] [909] [921] |
| -11--- 1 |
| ---11- 1 |
| 1----1 1 |
| .names i_8_ i_5_ i_18_ i_17_ i_15_ i_19_ [928] |
| 111000 1 |
| .names i_9_ i_4_ i_12_ [929] |
| 110 1 |
| .names i_9_ i_7_ i_5_ i_1_ i_18_ i_17_ i_0_ i_15_ [932] |
| 01000--- 1 |
| 010-01-- 1 |
| 010-0--1 1 |
| 000-0111 1 |
| .names n_n283 [86] [897] [898] [928] [929] [932] [937] |
| 1------ 1 |
| ------1 1 |
| --11--- 1 |
| -0--1-- 1 |
| -1---1- 1 |
| .names i_12_ i_2_ i_21_ [939] |
| 110 1 |
| .names i_9_ i_10_ i_7_ i_8_ i_5_ i_12_ i_2_ i_21_ [940] |
| 01010110 1 |
| .names i_13_ i_17_ i_15_ [941] |
| 000 1 |
| .names i_9_ i_7_ i_8_ i_5_ i_6_ i_4_ i_12_ [945] |
| 0000010 1 |
| .names i_11_ i_2_ i_18_ i_17_ [951] |
| 1010 1 |
| .names i_9_ i_7_ i_8_ i_5_ i_18_ i_17_ i_15_ [952] |
| 00-101- 1 |
| 0110101 1 |
| .names i_9_ i_7_ i_5_ i_2_ i_18_ i_17_ i_15_ [954] |
| 000-011 1 |
| 0100001 1 |
| .names i_9_ i_7_ i_5_ i_11_ i_18_ i_17_ i_15_ i_19_ [955] |
| 0100001- 1 |
| 010-0110 1 |
| .names i_6_ i_13_ i_17_ i_16_ i_15_ [42] [43] [960] |
| 0001011 1 |
| 1000011 1 |
| .names [42] [50] [43] [153] [939] [951] [952] [961] |
| ---1--- 1 |
| ------1 1 |
| -11-1-- 1 |
| 1-1--1- 1 |
| .names [61] [66] [817] [945] [955] [963] |
| 1---- 1 |
| ----1 1 |
| -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_7_ i_8_ i_5_ i_14_ i_2_ i_18_ i_17_ i_15_ [984] |
| 01001100 1 |
| .names i_9_ i_7_ i_8_ i_5_ i_2_ i_18_ i_17_ i_15_ [988] |
| 1-100101 1 |
| 1111-100 1 |
| .names [42] [48] [43] [912] [977] [980] [983] [984] [995] |
| --11---- 1 |
| ------11 1 |
| 11--1--- 1 |
| 11---1-- 1 |
| .names n_n265 [134] [135] [907] [908] [988] [996] |
| 1----- 1 |
| -1---- 1 |
| --1--- 1 |
| -----1 1 |
| ---11- 1 |
| .names i_6_ [47] [48] [50] [827] [829] [997] |
| --111- 1 |
| --11-1 1 |
| 11-1-1 1 |
| .names i_12_ i_4_ [1003] |
| 10 1 |
| .names i_9_ i_7_ i_8_ i_5_ i_6_ i_4_ i_12_ [1004] |
| 0000001 1 |
| .names i_9_ i_7_ i_8_ i_5_ i_1_ i_18_ i_17_ i_15_ [1006] |
| 0000-100 1 |
| 01101000 1 |
| .names i_9_ i_4_ i_12_ i_21_ [86] [48] [818] [1006] [1008] |
| -------1 1 |
| -----11- 1 |
| 01001--- 1 |
| .names i_9_ i_4_ i_12_ [1009] |
| 110 1 |
| .names [66] [90] [821] [897] [898] [945] [1014] |
| -11--- 1 |
| ---11- 1 |
| 1----1 1 |
| .names [86] [54] [48] [50] [827] [909] [919] [1009] [1015] |
| 1----1-- 1 |
| -1----1- 1 |
| 1------1 1 |
| --111--- 1 |
| .names i_9_ i_7_ i_8_ i_5_ i_6_ i_18_ i_17_ i_15_ [1020] |
| 1111-100 1 |
| 0111-100 1 |
| 1010-100 1 |
| 00000101 1 |
| 00010100 1 |
| .names i_9_ i_4_ i_12_ i_18_ i_21_ [1022] |
| 01010 1 |
| .names i_9_ i_7_ i_8_ i_5_ i_18_ i_17_ i_15_ [1024] |
| 00-0010 1 |
| 0111100 1 |
| .names i_9_ i_7_ i_8_ i_5_ i_18_ i_17_ i_21_ i_15_ [1025] |
| 00-101-0 1 |
| 00111011 1 |
| .names i_9_ i_7_ i_8_ i_5_ i_12_ i_18_ i_17_ i_15_ [1026] |
| --110100 1 |
| 1111-100 1 |
| .names n_n275 [50] [829] [897] [898] [974] [1032] |
| 1----- 1 |
| ---11- 1 |
| -11--1 1 |
| .names i_6_ [50] [36] [75] [831] [915] [940] [1033] |
| ---1--- 1 |
| -1----1 1 |
| 1-1-1-- 1 |
| 0-1--1- 1 |
| .names [47] [50] [1022] [1024] [1025] [1026] [1034] |
| ---1-- 1 |
| ----1- 1 |
| -----1 1 |
| 111--- 1 |
| .names i_9_ i_7_ i_8_ i_5_ i_18_ i_17_ i_15_ i_19_ [1038] |
| 0110101- 1 |
| 0111100- 1 |
| 00011001 1 |
| 00011000 1 |
| .names [86] [54] [48] [43] [818] [909] [912] [915] [1042] |
| --1-1--- 1 |
| 1----1-- 1 |
| ---1--1- 1 |
| -1-----1 1 |
| .names [52] [66] [817] [907] [908] [945] [1043] |
| 1----- 1 |
| -11--- 1 |
| ---11- 1 |
| -1---1 1 |
| .names i_9_ i_7_ i_8_ i_5_ i_18_ i_17_ i_15_ i_19_ [1047] |
| 0110101- 1 |
| 0111100- 1 |
| 1010100- 1 |
| 00011001 1 |
| 00011000 1 |
| .end |
