| .model top |
| .inputs i_9_ i_7_ i_8_ i_5_ i_6_ i_3_ i_4_ i_1_ i_2_ i_0_ |
| .outputs o_1_ o_2_ o_0_ o_3_ |
| .names n_n85 [8] [38] [115] [116] [471] o_1_ |
| 1----- 1 |
| ---1-- 1 |
| ----1- 1 |
| -----1 1 |
| -11--- 1 |
| .names n_n96 [492] o_2_ |
| 1- 1 |
| -1 1 |
| .names [71] [494] [495] [496] [497] [502] [503] o_0_ |
| 1------ 1 |
| -----1- 1 |
| ------1 1 |
| -11---- 1 |
| ---11-- 1 |
| .names [4] [15] n_n104 n_n106 [43] [12] [512] o_3_ |
| -1----- 1 |
| --1---- 1 |
| ---1--- 1 |
| -----1- 1 |
| ------1 1 |
| 1---1-- 1 |
| .names i_1_ i_2_ i_0_ [27] [37] [48] [452] n_n85 |
| ---1-1- 1 |
| 011-1-- 1 |
| 111---1 1 |
| 100---1 1 |
| .names i_9_ i_5_ i_3_ i_4_ [8] |
| 0010 1 |
| .names i_7_ i_8_ i_6_ i_1_ i_2_ i_0_ [38] |
| 100111 1 |
| 110101 1 |
| .names [10] [96] [97] [101] [102] [103] [104] n_n96 |
| 1------ 1 |
| -1----- 1 |
| --1---- 1 |
| ---1--- 1 |
| ----1-- 1 |
| -----1- 1 |
| ------1 1 |
| .names i_9_ i_5_ [4] |
| 00 1 |
| .names i_8_ i_6_ i_4_ i_1_ i_2_ i_0_ [5] |
| 010--- 1 |
| 10-0-- 1 |
| -01-0- 1 |
| --0-10 1 |
| .names i_9_ i_7_ i_5_ i_2_ i_0_ [13] |
| 00001 1 |
| .names i_9_ i_7_ i_8_ i_5_ i_3_ i_1_ i_0_ [15] |
| 0010-0- 1 |
| 0--0010 1 |
| .names i_7_ i_5_ i_6_ i_3_ i_4_ i_2_ i_0_ [39] |
| -1----- 1 |
| 0--0--- 1 |
| 0---01- 1 |
| --0-1-0 1 |
| .names i_1_ i_2_ i_0_ n_n46 |
| 011 1 |
| .names i_9_ i_8_ i_5_ i_6_ i_3_ i_4_ [25] |
| 010111 1 |
| .names i_9_ i_5_ i_3_ i_4_ [27] |
| 0011 1 |
| .names i_7_ i_4_ i_1_ i_2_ i_0_ [33] |
| 11011 1 |
| .names [4] [5] [13] n_n46 [37] [63] [469] n_n104 |
| --1---- 1 |
| -----1- 1 |
| 11----- 1 |
| ---11-- 1 |
| ----1-1 1 |
| .names [10] [36] [58] [101] [102] [103] [104] n_n106 |
| 1------ 1 |
| -1----- 1 |
| --1---- 1 |
| ---1--- 1 |
| ----1-- 1 |
| -----1- 1 |
| ------1 1 |
| .names i_7_ i_8_ i_6_ i_3_ i_4_ i_2_ i_0_ [43] |
| 0---01- 1 |
| -0-1-0- 1 |
| --01--0 1 |
| .names i_9_ i_7_ i_8_ i_5_ i_6_ i_3_ i_4_ [37] |
| 0100000 1 |
| .names i_9_ i_7_ i_8_ i_5_ i_6_ i_4_ i_1_ [10] |
| 00-001- 1 |
| 0-10-00 1 |
| .names i_7_ i_8_ i_6_ i_1_ i_2_ i_0_ [48] |
| 101111 1 |
| 110111 1 |
| 111011 1 |
| 100011 1 |
| 111101 1 |
| 111110 1 |
| .names i_1_ i_2_ i_0_ [52] |
| 001 1 |
| 100 1 |
| .names i_7_ i_8_ i_6_ i_2_ i_0_ [41] |
| 1110- 1 |
| 110-1 1 |
| .names i_9_ i_7_ i_5_ i_3_ i_4_ i_1_ [12] |
| 00010- 1 |
| 0000-1 1 |
| .names i_9_ i_8_ i_5_ i_6_ i_1_ i_2_ [36] |
| 0001-0 1 |
| 010-00 1 |
| .names i_9_ i_8_ i_5_ i_1_ i_0_ [58] |
| 01000 1 |
| .names i_9_ i_8_ i_5_ i_3_ i_1_ [63] |
| 00001 1 |
| .names i_7_ i_1_ i_0_ [8] [25] [41] [71] |
| -1-1-1 1 |
| 010-1- 1 |
| .names i_9_ i_8_ i_5_ i_3_ i_1_ [80] |
| 00001 1 |
| .names i_9_ i_6_ i_3_ i_1_ [96] |
| 0001 1 |
| .names i_9_ i_8_ i_5_ i_1_ i_2_ i_0_ [97] |
| 01000- 1 |
| 0100-0 1 |
| .names i_9_ i_8_ i_5_ i_6_ i_0_ [101] |
| 00010 1 |
| .names i_9_ i_5_ i_3_ i_4_ i_1_ [102] |
| 00001 1 |
| .names i_9_ i_7_ i_8_ i_5_ i_6_ [103] |
| 00001 1 |
| .names i_9_ i_5_ i_3_ i_1_ i_2_ [104] |
| 00010 1 |
| .names i_7_ i_8_ i_1_ i_2_ i_0_ [25] [467] [115] |
| 0-1111- 1 |
| 0-1001- 1 |
| 01100-1 1 |
| 00000-1 1 |
| .names i_1_ i_2_ i_0_ [37] [116] |
| 0001 1 |
| .names i_9_ i_7_ i_8_ i_5_ i_6_ i_3_ i_4_ [452] |
| 0110110 1 |
| .names i_4_ i_1_ i_2_ i_0_ [460] |
| 1111 1 |
| .names i_9_ i_7_ i_8_ i_5_ i_6_ i_3_ [461] |
| 011010 1 |
| .names i_9_ i_7_ i_8_ i_5_ i_6_ i_3_ i_4_ [462] |
| 0100010 1 |
| .names i_9_ i_8_ i_5_ i_6_ i_3_ [465] |
| 00010 1 |
| .names i_9_ i_5_ i_6_ i_3_ i_4_ [467] |
| 00010 1 |
| .names i_2_ i_1_ [469] |
| 00 1 |
| .names [33] [52] [460] [461] [462] [465] [471] |
| --11-- 1 |
| -1--1- 1 |
| 1----1 1 |
| .names i_9_ i_7_ i_8_ i_5_ i_6_ i_2_ i_0_ [488] |
| 0-0010- 1 |
| 00-0-01 1 |
| .names i_9_ i_5_ [5] [15] [39] [80] [488] [492] |
| ---1--- 1 |
| -----1- 1 |
| ------1 1 |
| 0---1-- 1 |
| 001---- 1 |
| .names i_7_ i_8_ i_1_ i_2_ [494] |
| 00-0 1 |
| -000 1 |
| .names i_9_ i_5_ i_6_ i_3_ i_4_ i_0_ [495] |
| 000100 1 |
| .names i_9_ i_5_ i_3_ [496] |
| 001 1 |
| .names i_7_ i_8_ i_6_ i_1_ i_2_ i_0_ [497] |
| 100111 1 |
| .names i_7_ i_8_ i_1_ i_2_ i_0_ [499] |
| 10011 1 |
| .names i_9_ i_5_ i_6_ i_3_ i_4_ [33] [499] [502] |
| 0010-1- 1 |
| 00-11-1 1 |
| .names i_1_ i_2_ i_0_ [25] [37] [503] |
| 00--1 1 |
| 1001- 1 |
| .names i_9_ i_5_ i_6_ i_3_ i_4_ i_1_ [512] |
| 00001- 1 |
| 00-100 1 |
| .end |