| .model top |
| .inputs 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_0_ i_15_ |
| .outputs o_0_ |
| .names n_n325 n_n327 [911] [912] [998] [999] [1032] [1033] o_0_ |
| 1------- 1 |
| -1------ 1 |
| --1----- 1 |
| ---1---- 1 |
| ----1--- 1 |
| -----1-- 1 |
| ------1- 1 |
| -------1 1 |
| .names i_8_ i_6_ i_4_ n_n276 |
| 101 1 |
| .names i_14_ i_12_ i_15_ n_n224 |
| 110 1 |
| .names i_7_ i_6_ [73] [71] [5] [28] [49] [185] n_n323 |
| --111--- 1 |
| --001--- 1 |
| --00-1-- 1 |
| 1---1-1- 1 |
| -0--1-1- 1 |
| 1----11- 1 |
| -0---11- 1 |
| --11---1 1 |
| --00---1 1 |
| 1-----11 1 |
| 01--1-0- 1 |
| 01---10- 1 |
| 01----01 1 |
| .names [959] [960] [972] [973] [974] [975] n_n325 |
| 1----- 1 |
| -1---- 1 |
| --1--- 1 |
| ---1-- 1 |
| ----1- 1 |
| -----1 1 |
| .names [1005] [1006] [1014] [1015] [1016] [1017] [1018] n_n327 |
| 1------ 1 |
| -1----- 1 |
| --1---- 1 |
| ---1--- 1 |
| ----1-- 1 |
| -----1- 1 |
| ------1 1 |
| .names i_3_ i_1_ i_2_ i_0_ [3] |
| 001- 1 |
| 0-11 1 |
| 11-0 1 |
| -100 1 |
| .names i_9_ i_10_ i_8_ i_14_ i_13_ i_12_ i_11_ i_15_ [26] |
| ---0-1-- 1 |
| -----1-1 1 |
| 1-0---1- 1 |
| -11---0- 1 |
| ---110-0 1 |
| .names i_14_ i_12_ i_11_ i_15_ [94] |
| 1110 1 |
| .names i_14_ i_3_ i_12_ i_1_ i_11_ i_2_ i_0_ i_15_ [96] |
| 11111-00 1 |
| 1-111000 1 |
| .names i_3_ i_2_ [73] |
| 01 1 |
| .names i_3_ i_2_ i_0_ n_n320 |
| 011 1 |
| .names i_9_ i_10_ i_7_ i_8_ i_4_ i_11_ [74] |
| 111010 1 |
| .names i_14_ i_13_ i_12_ n_n317 |
| 010 1 |
| .names i_1_ i_0_ [71] |
| 10 1 |
| .names i_3_ i_1_ i_0_ n_n301 |
| 110 1 |
| .names i_1_ i_2_ i_0_ n_n299 |
| 100 1 |
| .names i_13_ i_12_ i_15_ n_n294 |
| 101 1 |
| .names i_14_ i_13_ i_15_ n_n228 |
| 100 1 |
| .names i_9_ i_7_ i_4_ n_n270 |
| 011 1 |
| .names i_3_ i_1_ i_2_ n_n315 |
| 001 1 |
| .names i_9_ i_7_ i_5_ i_6_ i_4_ i_11_ [80] |
| 001101 1 |
| .names i_10_ i_14_ i_12_ n_n105 |
| 011 1 |
| .names i_9_ i_5_ i_6_ n_n264 |
| 000 1 |
| .names i_7_ i_8_ i_5_ n_n280 |
| 110 1 |
| .names i_7_ i_8_ i_4_ n_n282 |
| 111 1 |
| .names i_10_ i_11_ n_n23 |
| 10 1 |
| .names i_3_ i_1_ i_2_ i_0_ [2] |
| 11-0 1 |
| -100 1 |
| .names i_7_ i_8_ i_5_ i_6_ i_4_ [9] |
| -100- 1 |
| 11--1 1 |
| -1-01 1 |
| .names i_10_ i_14_ i_13_ i_12_ [17] |
| 0010 1 |
| .names i_13_ i_12_ i_11_ i_15_ [19] |
| 1011 1 |
| .names i_14_ i_13_ i_12_ i_11_ [29] |
| 0101 1 |
| .names i_10_ i_11_ n_n320 n_n315 [70] [81] [77] [78] [65] |
| --1-1--- 1 |
| ---11--- 1 |
| --1---1- 1 |
| --1----1 1 |
| ---1---1 1 |
| 101--1-- 1 |
| 10-1-1-- 1 |
| .names n_n301 n_n299 n_n315 n_n23 [70] [81] [77] [78] [66] |
| 1---1--- 1 |
| -1--1--- 1 |
| 1-----1- 1 |
| -1----1- 1 |
| --1---1- 1 |
| 1------1 1 |
| -1-----1 1 |
| 1--1-1-- 1 |
| -1-1-1-- 1 |
| .names i_10_ i_7_ i_8_ i_5_ i_6_ i_4_ [75] |
| 001110 1 |
| .names i_9_ i_10_ i_7_ i_8_ i_5_ i_11_ [70] |
| 111000 1 |
| .names i_9_ i_10_ i_7_ i_5_ i_6_ i_4_ [72] |
| 000110 1 |
| .names i_9_ i_7_ i_5_ i_6_ i_4_ [4] |
| 010-- 1 |
| 0--01 1 |
| .names i_9_ i_5_ i_6_ i_4_ [23] |
| 000- 1 |
| 0-01 1 |
| .names i_9_ i_7_ i_5_ i_6_ i_4_ [24] |
| 0-00- 1 |
| 01--1 1 |
| .names i_10_ i_14_ i_12_ i_15_ [47] |
| 0110 1 |
| .names i_9_ i_7_ i_5_ i_6_ i_4_ [59] |
| 010-- 1 |
| 0-00- 1 |
| 0--01 1 |
| .names i_10_ i_14_ i_3_ i_13_ i_1_ i_2_ i_0_ i_15_ [82] |
| 010001-0 1 |
| 0100-110 1 |
| .names i_10_ i_14_ i_3_ i_12_ i_1_ i_2_ i_0_ i_15_ [83] |
| 010101-0 1 |
| 0101-110 1 |
| .names i_14_ i_13_ i_12_ i_15_ [88] |
| 10-0 1 |
| 1-10 1 |
| .names i_10_ i_14_ i_3_ i_13_ i_1_ i_2_ i_0_ i_15_ [95] |
| 01101-00 1 |
| 01-01000 1 |
| .names i_9_ i_10_ i_14_ i_13_ i_11_ i_15_ [5] |
| --00-- 1 |
| ---0-1 1 |
| 01--0- 1 |
| .names i_9_ i_10_ i_8_ i_14_ i_13_ i_12_ i_11_ i_15_ [28] |
| ---00--- 1 |
| ---0-1-- 1 |
| ----0--1 1 |
| -----1-1 1 |
| 100----- 1 |
| 1-0---1- 1 |
| -11---0- 1 |
| ---110-0 1 |
| .names i_5_ i_4_ [49] |
| 10 1 |
| .names i_7_ i_8_ i_5_ i_6_ i_4_ [62] |
| 110-- 1 |
| -100- 1 |
| -1-01 1 |
| .names i_10_ i_13_ i_12_ i_15_ [18] |
| 0101 1 |
| .names i_9_ i_7_ i_5_ i_6_ i_4_ [60] |
| 010-- 1 |
| 01--1 1 |
| 0--01 1 |
| .names i_3_ i_1_ i_2_ i_0_ i_15_ [48] |
| 001-0 1 |
| 11-00 1 |
| -1000 1 |
| .names i_14_ i_13_ i_11_ i_15_ [92] |
| 1010 1 |
| .names i_10_ i_14_ i_13_ i_15_ [91] |
| 0100 1 |
| .names i_7_ i_8_ i_5_ i_6_ i_4_ [51] |
| -100- 1 |
| 11--1 1 |
| .names i_3_ i_1_ i_2_ i_0_ [1] |
| 001- 1 |
| 0-11 1 |
| .names i_9_ i_7_ i_8_ i_5_ i_6_ i_4_ [81] |
| 100110 1 |
| .names i_7_ i_8_ i_5_ i_6_ i_4_ i_11_ [76] |
| 011101 1 |
| .names i_9_ i_10_ i_8_ i_5_ i_6_ i_11_ [77] |
| 110000 1 |
| .names i_9_ i_10_ i_8_ i_6_ i_4_ i_11_ [78] |
| 110010 1 |
| .names i_8_ i_6_ i_3_ i_4_ i_1_ i_2_ i_0_ [115] |
| 100101- 1 |
| 1001-11 1 |
| 10111-0 1 |
| 10-1100 1 |
| .names i_9_ i_10_ i_8_ [185] |
| 100 1 |
| .names i_7_ i_8_ i_5_ i_3_ i_1_ i_2_ i_0_ [225] |
| 110001- 1 |
| 1100-11 1 |
| 11011-0 1 |
| 110-100 1 |
| .names i_10_ i_14_ i_13_ i_12_ i_11_ [888] |
| 0010- 1 |
| -0101 1 |
| .names i_9_ i_7_ i_3_ i_4_ i_2_ i_0_ [893] |
| 010111 1 |
| .names i_3_ i_1_ i_2_ i_0_ [17] [29] [75] [76] [901] |
| 0-111-1- 1 |
| 11-0-1-1 1 |
| -100-1-1 1 |
| .names n_n315 [2] [9] [17] [19] [75] [888] [893] [902] |
| ----1--1 1 |
| 1--1-1-- 1 |
| -11---1- 1 |
| .names n_n317 n_n280 n_n23 [2] [9] [75] [1] [76] [903] |
| 1--1-1-- 1 |
| 1-----11 1 |
| 1101---- 1 |
| 110---1- 1 |
| 1-0-1-1- 1 |
| .names i_3_ i_1_ i_2_ i_0_ [74] n_n317 n_n294 [904] |
| 001-11- 1 |
| 0-1111- 1 |
| 001-1-1 1 |
| 0-111-1 1 |
| .names i_14_ i_13_ i_12_ i_15_ [74] n_n301 n_n299 [905] |
| 010-11- 1 |
| -10111- 1 |
| 010-1-1 1 |
| -1011-1 1 |
| .names [901] [902] [903] [904] [905] [911] |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| .names i_14_ i_13_ i_12_ i_15_ [65] [66] [912] |
| 010-1- 1 |
| -1011- 1 |
| 010--1 1 |
| -101-1 1 |
| .names i_9_ i_7_ i_5_ i_3_ i_1_ i_0_ [915] |
| 010110 1 |
| .names i_3_ i_1_ i_2_ i_0_ [72] [23] [82] [95] [922] |
| -----11- 1 |
| 11-01--1 1 |
| -1001--1 1 |
| .names [72] [4] [24] [47] [88] [95] [1] [915] [923] |
| -1---1-- 1 |
| --1--1-- 1 |
| ---1---1 1 |
| 1---1-1- 1 |
| .names i_9_ i_7_ i_5_ i_1_ i_2_ i_0_ [947] |
| 010100 1 |
| .names i_3_ i_1_ i_2_ i_0_ [75] [47] [83] [62] [950] |
| ------11 1 |
| 11-011-- 1 |
| -10011-- 1 |
| .names i_15_ n_n320 n_n315 n_n105 [2] [75] [23] [947] [951] |
| 0--1---1 1 |
| 01-1-1-- 1 |
| 0-11-1-- 1 |
| 0--11-1- 1 |
| .names i_15_ n_n301 n_n299 n_n270 n_n105 [72] [62] [952] |
| 01-11-- 1 |
| 0-111-- 1 |
| 01--11- 1 |
| 0-1-11- 1 |
| 01--1-1 1 |
| 0-1-1-1 1 |
| .names i_3_ i_1_ i_2_ i_0_ [17] [72] [959] |
| 001-11 1 |
| 0-1111 1 |
| 11-011 1 |
| -10011 1 |
| .names [3] [96] n_n299 [80] [17] [24] [82] [60] [960] |
| ------11 1 |
| -111---- 1 |
| 1---11-- 1 |
| 1---1--1 1 |
| .names i_10_ i_14_ i_3_ i_13_ i_1_ i_2_ i_0_ i_15_ [962] |
| 010001-0 1 |
| 0100-110 1 |
| 01101-00 1 |
| 01-01000 1 |
| .names i_14_ i_3_ i_12_ i_1_ i_11_ i_2_ i_0_ i_15_ [963] |
| 101011-0 1 |
| 101-1110 1 |
| 11111-00 1 |
| 1-111000 1 |
| .names i_14_ i_3_ i_13_ i_1_ i_11_ i_2_ i_0_ i_15_ [966] |
| 100011-0 1 |
| 100-1110 1 |
| 11011-00 1 |
| 1-011000 1 |
| .names i_7_ i_8_ i_14_ i_13_ i_4_ i_11_ i_15_ [967] |
| 1110110 1 |
| .names i_10_ i_7_ i_8_ i_5_ i_14_ i_13_ [968] |
| 011010 1 |
| .names i_3_ i_1_ i_2_ i_0_ [96] [80] [92] [76] [972] |
| 11-011-- 1 |
| 11-0--11 1 |
| -100--11 1 |
| .names i_3_ i_1_ i_2_ i_0_ [94] [80] n_n264 [967] [973] |
| 001----1 1 |
| 0-11---1 1 |
| 11-0---1 1 |
| -100---1 1 |
| 001-11-- 1 |
| 0-1111-- 1 |
| 001-1-1- 1 |
| 0-111-1- 1 |
| 11-01-1- 1 |
| -1001-1- 1 |
| .names i_3_ i_1_ i_2_ i_0_ n_n228 [75] [82] [76] [974] |
| 11-011-- 1 |
| -10011-- 1 |
| 001--11- 1 |
| 0-11-11- 1 |
| 001-1--1 1 |
| 0-111--1 1 |
| .names [9] [62] [60] [48] [962] [963] [966] [968] [975] |
| 1---1--- 1 |
| --1--1-- 1 |
| -1----1- 1 |
| ---1---1 1 |
| .names i_9_ i_5_ i_6_ i_14_ i_13_ i_4_ i_11_ i_15_ [979] |
| 00010-10 1 |
| 0-010110 1 |
| .names i_9_ i_7_ i_5_ i_14_ i_13_ i_4_ i_11_ i_15_ [980] |
| 01010-10 1 |
| 01-10110 1 |
| .names i_7_ i_8_ i_5_ i_3_ i_2_ i_0_ [981] |
| 110011 1 |
| .names i_9_ i_5_ i_6_ i_14_ i_13_ i_4_ i_12_ i_11_ [982] |
| 00001-01 1 |
| 0-001101 1 |
| .names i_9_ i_7_ i_5_ i_14_ i_13_ i_4_ i_12_ i_11_ [983] |
| 01001-01 1 |
| 01-01101 1 |
| .names [3] [91] [979] [980] [981] [982] [988] |
| 1-1--- 1 |
| 1--1-- 1 |
| -1--1- 1 |
| 1----1 1 |
| .names i_3_ i_1_ i_2_ i_0_ [80] [92] [989] |
| 001-11 1 |
| 0-1111 1 |
| 11-011 1 |
| -10011 1 |
| .names i_14_ i_13_ i_12_ i_15_ [74] n_n301 n_n299 [990] |
| 10-011- 1 |
| 1-1011- 1 |
| 10-01-1 1 |
| 1-101-1 1 |
| .names i_3_ i_1_ i_2_ i_0_ [80] [29] [991] |
| 001-11 1 |
| 0-1111 1 |
| 11-011 1 |
| -10011 1 |
| .names n_n224 n_n320 [74] n_n315 n_n282 [2] [82] [983] [992] |
| ----1-1- 1 |
| -1-----1 1 |
| ---1---1 1 |
| -----1-1 1 |
| 111----- 1 |
| 1-11---- 1 |
| .names i_14_ i_12_ i_15_ [66] [990] [991] [992] [998] |
| ----1-- 1 |
| -----1- 1 |
| ------1 1 |
| 1101--- 1 |
| .names i_14_ i_13_ i_12_ i_15_ [65] [66] [988] [989] [999] |
| ------1- 1 |
| -------1 1 |
| 10-01--- 1 |
| 1-101--- 1 |
| 10-0-1-- 1 |
| .names i_3_ i_1_ i_2_ i_0_ [80] [19] [1005] |
| 001-11 1 |
| 0-1111 1 |
| 11-011 1 |
| -10011 1 |
| .names [2] [19] [72] [59] [18] [60] [1] [1006] |
| 11-1--- 1 |
| 11---1- 1 |
| 1---11- 1 |
| -1-1--1 1 |
| --1-1-1 1 |
| -1---11 1 |
| ----111 1 |
| .names i_7_ i_8_ i_5_ i_6_ i_3_ i_1_ i_2_ i_0_ [1009] |
| -100001- 1 |
| -1000-11 1 |
| 110-11-0 1 |
| 110--100 1 |
| .names n_n276 n_n294 [2] [75] [18] [1] [76] [1009] [1014] |
| ----1--1 1 |
| -111---- 1 |
| 1-1-1--- 1 |
| 1---11-- 1 |
| -1---11- 1 |
| .names i_10_ i_13_ i_12_ i_11_ i_15_ [9] [1] [225] [1015] |
| 010-1--1 1 |
| -1011--1 1 |
| 010-111- 1 |
| -101111- 1 |
| .names n_n320 [74] n_n228 n_n315 n_n264 [2] [4] [18] [1016] |
| 111----- 1 |
| -111---- 1 |
| 1---1--1 1 |
| ---11--1 1 |
| ----11-1 1 |
| -----111 1 |
| .names n_n320 n_n270 n_n315 [2] [19] [75] [18] [76] [1017] |
| -1-1--1- 1 |
| 1----11- 1 |
| --1--11- 1 |
| ---11--1 1 |
| .names n_n301 n_n299 [19] [72] [18] [51] [115] [1009] [1018] |
| --1---1- 1 |
| --1----1 1 |
| 1--11--- 1 |
| -1-11--- 1 |
| 1-1--1-- 1 |
| -11--1-- 1 |
| 1---11-- 1 |
| -1--11-- 1 |
| .names i_7_ i_8_ i_5_ i_14_ i_4_ i_12_ i_15_ [1023] |
| 1101-10 1 |
| 11-1110 1 |
| .names i_8_ i_5_ i_6_ i_14_ i_12_ i_11_ i_15_ [1025] |
| 1001110 1 |
| .names i_8_ i_6_ i_14_ i_4_ i_12_ i_11_ i_15_ [1026] |
| 1011110 1 |
| .names [26] [96] [2] [1] [76] [1023] [1025] [1026] [1030] |
| --1---1- 1 |
| ---1--1- 1 |
| --1----1 1 |
| ---1---1 1 |
| -11-1--- 1 |
| 0-1--1-- 1 |
| 0--1-1-- 1 |
| .names n_n323 [26] [94] [2] [1] [76] [1030] [1032] |
| 1------ 1 |
| ------1 1 |
| -1-00-- 1 |
| --1-11- 1 |
| .names [24] [59] [83] [922] [923] [950] [951] [952] [1033] |
| ---1---- 1 |
| ----1--- 1 |
| -----1-- 1 |
| ------1- 1 |
| -------1 1 |
| 1-1----- 1 |
| -11----- 1 |
| .end |