| .model top |
| .inputs pa pb pc pd pe pf pg ph pi pj |
| .outputs pp pk pl pm pn po |
| .names pa pb pc pd pp |
| 1111 1 |
| 0101 1 |
| 1010 1 |
| 0000 1 |
| .names pa pc pe pf pg ph pi pj pk |
| --00-1-0 1 |
| 1---11-0 1 |
| --1100-1 1 |
| 10--0-11 1 |
| 0-001--0 1 |
| -0001--0 1 |
| 0-000--0 1 |
| 11-1-1-0 1 |
| -0010-11 1 |
| 0-11-011 1 |
| -111-011 1 |
| 11--0011 1 |
| 010-0-01 1 |
| 00-00-01 1 |
| 0-000-01 1 |
| 010--101 1 |
| 0-00-101 1 |
| 11011--0 1 |
| 10101--0 1 |
| 0101-1-0 1 |
| 1010-1-0 1 |
| 010-00-0 1 |
| 11011-11 1 |
| 01100-11 1 |
| 0001-111 1 |
| 1000-111 1 |
| 110-1111 1 |
| 0-111111 1 |
| 1-001111 1 |
| 0-110111 1 |
| -0110111 1 |
| 1101-011 1 |
| 000-1011 1 |
| 00-01011 1 |
| 0-001011 1 |
| 1-000011 1 |
| 1-111101 1 |
| 00-01101 1 |
| 1-101101 1 |
| 001011-0 1 |
| 011001-0 1 |
| 101110-0 1 |
| 000110-0 1 |
| 001010-0 1 |
| 001000-0 1 |
| 01101111 1 |
| 11101011 1 |
| 11001011 1 |
| 10011101 1 |
| 11110101 1 |
| 11010101 1 |
| 11100101 1 |
| 11000101 1 |
| 10111001 1 |
| 01011001 1 |
| 10011001 1 |
| 01101001 1 |
| 10101001 1 |
| 10001001 1 |
| .names [28] [67] [71] [73] [76] [79] [835] [845] pl |
| -------1 1 |
| 11------ 1 |
| 1-1----- 1 |
| 1--1---- 1 |
| 1---1--- 1 |
| 1----1-- 1 |
| 1-----1- 1 |
| 0000000- 1 |
| .names pb pd pm |
| 11 1 |
| 00 1 |
| .names pb pd pn |
| 11 1 |
| .names [28] ns0 [23] [835] [836] [852] [861] po |
| ------1 1 |
| 0--1--- 1 |
| 0---1-- 1 |
| -1-00-- 1 |
| --100-- 1 |
| ---001- 1 |
| .names pa pc [10] |
| -0 1 |
| 11 1 |
| .names pa pc pe pf pg ph pj [30] |
| 0------ 1 |
| ---1-10 1 |
| 1101--- 1 |
| 1000--- 1 |
| -0110-- 1 |
| -011-1- 1 |
| -01-01- 1 |
| --1001- 1 |
| 11-1-0- 1 |
| -111-0- 1 |
| --1100- 1 |
| -000--1 1 |
| -01-0-1 1 |
| -0-00-1 1 |
| --100-1 1 |
| -1--001 1 |
| --1-001 1 |
| ---0001 1 |
| 100---0 1 |
| 11-1--0 1 |
| -111--0 1 |
| 1-01--0 1 |
| -11-1-0 1 |
| -00-1-0 1 |
| -1-11-0 1 |
| --011-0 1 |
| 1-0-0-0 1 |
| 1--10-0 1 |
| --110-0 1 |
| 11---10 1 |
| -11--10 1 |
| 1-0--10 1 |
| -1--110 1 |
| --0-110 1 |
| 1---010 1 |
| --1-010 1 |
| -10101- 1 |
| 10-001- 1 |
| 110-00- 1 |
| 1-0000- 1 |
| 11-11-1 1 |
| -1111-1 1 |
| -1010-1 1 |
| -101-11 1 |
| -10-111 1 |
| -1-1111 1 |
| --11111 1 |
| --00111 1 |
| -0-0100 1 |
| --10100 1 |
| .names pm [10] [17] [53] [101] [104] [106] [775] nw0 |
| ----1--- 1 |
| -----1-- 1 |
| ------1- 1 |
| -------1 1 |
| 0111---- 1 |
| 1011---- 1 |
| .names pa pc pe pf pg ph pi pj [28] |
| ------1- 1 |
| --1----0 1 |
| ---0---0 1 |
| ----1--0 1 |
| ----0--0 1 |
| -----1-0 1 |
| 010-0--1 1 |
| 00-00--1 1 |
| 0-000--1 1 |
| 010--1-1 1 |
| 0-00-1-1 1 |
| 111001-- 1 |
| 1-1111-1 1 |
| 00-011-1 1 |
| 1-1011-1 1 |
| 100111-1 1 |
| 111101-1 1 |
| 110101-1 1 |
| 110001-1 1 |
| 101110-1 1 |
| 010110-1 1 |
| 100110-1 1 |
| 011010-1 1 |
| 101010-1 1 |
| 100010-1 1 |
| .names pb pd pe pf pg ph pj ns0 |
| 0-10101 1 |
| -010101 1 |
| 1101011 1 |
| .names pa pc pe pf pg ph pj nk1 |
| 1-01-11 1 |
| -001-11 1 |
| 0-00101 1 |
| -000101 1 |
| 1011101 1 |
| 1110101 1 |
| .names pe pf pg ph pj [7] |
| 00-11 1 |
| -0111 1 |
| 01111 1 |
| .names pa pc pe pf pg ph pj [16] |
| 1-00101 1 |
| 1101011 1 |
| .names pe pf pg ph pj [23] |
| 00101 1 |
| .names pa pc pe pf pg ph pj [31] |
| 0------ 1 |
| ------0 1 |
| --1-0-- 1 |
| ---00-- 1 |
| --1--1- 1 |
| ---0-1- 1 |
| ----00- 1 |
| -010--- 1 |
| --01-0- 1 |
| 11-1-0- 1 |
| -111-0- 1 |
| -1111-1 1 |
| 110010- 1 |
| .names pg ph pj [33] |
| 001 1 |
| .names pg ph pj [17] |
| 101 1 |
| .names pg ph pj [52] |
| 011 1 |
| .names pe pf pj [53] |
| 011 1 |
| .names pa pg ph pj [54] |
| 1111 1 |
| .names pe pf ph pj nu1 |
| 0111 1 |
| .names pe pf pg ph pj [39] |
| 10101 1 |
| .names pa pc pe pf pg ph pj nt1 |
| 0-10101 1 |
| -010101 1 |
| 1101011 1 |
| .names pe pf pg ph pj [56] |
| 11101 1 |
| .names pa pc pe pf pg ph pj [37] |
| ------0 1 |
| 0-1---- 1 |
| 0-0---- 1 |
| -00---- 1 |
| 0--1--- 1 |
| -0-1--- 1 |
| --11--- 1 |
| --00--- 1 |
| --0-1-- 1 |
| ---11-- 1 |
| 0---0-- 1 |
| -0--0-- 1 |
| --1-0-- 1 |
| ---00-- 1 |
| 0----1- 1 |
| -0---1- 1 |
| --1--1- 1 |
| ---0-1- 1 |
| ----11- 1 |
| --0--0- 1 |
| ---1-0- 1 |
| ----00- 1 |
| -010--- 1 |
| 1110101 1 |
| .names pb pd pe pf pg ph pj [14] |
| 110-011 1 |
| 11-0011 1 |
| .names nw0 [16] [31] nu1 [792] [793] [794] [41] |
| -10---1 1 |
| 1101--- 1 |
| 110-1-- 1 |
| 010--1- 1 |
| .names pa pc pe pf pg ph pj [46] |
| 0110101 1 |
| 1010101 1 |
| .names pa pc pe pf pg ph pj [801] [67] |
| ------01 1 |
| 0----1-1 1 |
| 0-1-1--1 1 |
| 0-0-1--1 1 |
| 0--11--1 1 |
| -0--01-1 1 |
| --1-01-1 1 |
| ---001-1 1 |
| --0-10-1 1 |
| ---110-1 1 |
| -01010-1 1 |
| 11101011 1 |
| .names pb nw0 nu1 [98] [792] [793] [807] [68] |
| 0--1--1 1 |
| 011---1 1 |
| 01--1-1 1 |
| 00---11 1 |
| 11000-1 1 |
| 1000-01 1 |
| 1-00001 1 |
| .names nw0 [31] nu1 [792] [794] [809] [69] |
| 110001 1 |
| .names pa pb pc [30] nw0 [31] [71] |
| 01-010 1 |
| -10010 1 |
| 01-100 1 |
| -10100 1 |
| .names pb nw0 nu1 [98] [792] [793] [818] [73] |
| 0--1--1 1 |
| 011---1 1 |
| 01--1-1 1 |
| 00---11 1 |
| 11000-1 1 |
| 1000-01 1 |
| 1-00001 1 |
| .names pb pd pe pf pg ph pj [75] |
| 0110001 1 |
| 1010001 1 |
| .names nw0 nu1 [39] [792] [793] [794] [821] [822] [76] |
| 100----1 1 |
| 10-1---1 1 |
| 10---1-1 1 |
| 01----11 1 |
| 11----01 1 |
| 1-0---01 1 |
| 1--1--01 1 |
| 1----101 1 |
| 0-1-00-1 1 |
| .names nw0 nu1 [39] [37] [792] [793] [794] [821] [79] |
| 11-0---1 1 |
| -1-0--11 1 |
| 01-0-1-1 1 |
| 10000-0- 1 |
| 0000-00- 1 |
| -000000- 1 |
| 0-00-000 1 |
| .names pa pb pe pf pg ph pj [81] |
| 0011111 1 |
| .names nw0 nk1 nu1 [56] [792] [793] [794] [83] |
| 00-1-00 1 |
| 10010-0 1 |
| -001000 1 |
| .names pb pd pe pf pg ph pj [98] |
| 1110101 1 |
| .names pb pd pe pf pg ph pj [101] |
| 1111011 1 |
| 1100011 1 |
| .names pb pd pe pf pg ph pj [104] |
| -1101-1 1 |
| 10101-1 1 |
| -110000 1 |
| 1010000 1 |
| .names pb pd pe pf pg ph [106] |
| 110010 1 |
| .names pa pb pd pe pf pg ph pj [775] |
| --01110- 1 |
| --0010-1 1 |
| --001-11 1 |
| -0-000-0 1 |
| -0-0-000 1 |
| 1--00111 1 |
| --010110 1 |
| .names pa pc pe pf pg ph pj [790] |
| 1101101 1 |
| 0001101 1 |
| .names pb pe pf pg ph pj [792] |
| 111101 1 |
| .names pe pf pg ph pj [793] |
| 00101 1 |
| .names pb pd pe pf pg ph pj [794] |
| 1-01-11 1 |
| 1110101 1 |
| .names [30] nw0 [81] [790] [798] |
| --1- 1 |
| 01-1 1 |
| 10-1 1 |
| .names pa pb pc pd pe pf pj [801] |
| 11110-1 1 |
| 10100-1 1 |
| 1111-01 1 |
| 1010-01 1 |
| .names pa pc pe pf pg ph pj [807] |
| ----001 1 |
| 0-11-01 1 |
| -111-01 1 |
| 0-00-01 1 |
| 1100101 1 |
| .names pa pc pe pf pg ph pj [809] |
| -0010-1 1 |
| -011101 1 |
| 1-10101 1 |
| -110101 1 |
| 1111011 1 |
| 0101101 1 |
| 1001101 1 |
| 1100101 1 |
| .names pa pb pc pd pe pf pg [813] |
| 00-1100 1 |
| -001100 1 |
| 01-0100 1 |
| -100100 1 |
| .names pe pf pg ph pj [816] |
| 0101- 1 |
| 010-1 1 |
| 011-0 1 |
| 01-10 1 |
| .names pa pe pf pg ph pj [818] |
| 111111 1 |
| .names pe pf pg ph pj [819] |
| 11011 1 |
| .names pb pd pg [821] |
| 110 1 |
| .names pa pc pe pf pg ph pj [822] |
| 0010101 1 |
| .names pb [30] nw0 [7] [52] [75] [813] [819] [828] |
| -----1-- 1 |
| ----1-1- 1 |
| -01----1 1 |
| -10----1 1 |
| 0111---- 1 |
| 1011---- 1 |
| 1101---- 1 |
| 0001---- 1 |
| .names nw0 nt1 [68] [69] [83] [798] [816] [828] [835] |
| --1----- 1 |
| ---1---- 1 |
| ----1--- 1 |
| -----1-- 1 |
| -------1 1 |
| 10----1- 1 |
| .names [33] [54] [37] [71] [73] [76] [79] [801] [836] |
| ---1---- 1 |
| ----1--- 1 |
| -----1-- 1 |
| ------1- 1 |
| 001----1 1 |
| .names pb pd pe pf pg ph pj nw0 [845] |
| -0-01-0- 1 |
| 1---110- 1 |
| --11001- 1 |
| 110--10- 1 |
| 11-1-10- 1 |
| 10-0-10- 1 |
| 01-1--01 1 |
| 10-1--01 1 |
| --101-01 1 |
| --000-01 1 |
| --001-00 1 |
| 0101-10- 1 |
| 011-1-01 1 |
| 101-1-01 1 |
| 010-0-01 1 |
| 100-0-01 1 |
| 011--101 1 |
| 101--101 1 |
| --100000 1 |
| 0110010- 1 |
| 1101100- 1 |
| 0001100- 1 |
| .names pa pc pe pf pg ph pj [850] |
| 0-110-1 1 |
| -0110-1 1 |
| --11001 1 |
| .names pa pc pe pf pg ph pj [852] |
| 1110011 1 |
| .names [30] nw0 [14] [46] [850] [858] |
| --1-- 1 |
| ---1- 1 |
| 01--1 1 |
| 10--1 1 |
| .names pb [30] nw0 [7] [41] [83] [798] [858] [861] |
| ----1--- 1 |
| -----1-- 1 |
| ------1- 1 |
| -------1 1 |
| -011---- 1 |
| 1111---- 1 |
| 1001---- 1 |
| .end |
