| .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 pi pj nf0 [753] pk |
| ---1 1 |
| 1-1- 1 |
| 010- 1 |
| .names pi nf0 [831] [832] [833] [834] [845] pl |
| ------1 1 |
| 1-1---- 1 |
| -01---- 1 |
| 1--1--- 1 |
| -0-1--- 1 |
| 1---1-- 1 |
| -0--1-- 1 |
| 1----1- 1 |
| -0---1- 1 |
| 010000- 1 |
| .names pb pd pm |
| 11 1 |
| 00 1 |
| .names pb pd pn |
| 11 1 |
| .names [28] [23] [831] [832] [833] [834] [864] po |
| ------1 1 |
| 0-1---- 1 |
| 0--1--- 1 |
| 0---1-- 1 |
| 0----1- 1 |
| -10000- 1 |
| .names pa pc pe pf pg ph pj nf0 |
| 10--0-1 1 |
| -0010-1 1 |
| 0-11-01 1 |
| -111-01 1 |
| 11--001 1 |
| --11001 1 |
| 11011-1 1 |
| 01100-1 1 |
| 0001-11 1 |
| 1000-11 1 |
| 110-111 1 |
| 0-11111 1 |
| 1-00111 1 |
| 0-11011 1 |
| -011011 1 |
| 1101-01 1 |
| 000-101 1 |
| 00-0101 1 |
| 0-00101 1 |
| 1-00001 1 |
| 0110111 1 |
| 1110101 1 |
| 1100101 1 |
| .names pa pc [10] |
| -0 1 |
| 11 1 |
| .names pe pf pg ph pj [21] |
| 001-0 1 |
| 10000 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 pi nf0 [28] |
| 1- 1 |
| -0 1 |
| .names [90] [91] ns0 |
| 1- 1 |
| -1 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 nu1 [108] [773] [774] [792] [793] [794] nk0 |
| ------1 1 |
| 11----- 1 |
| 1-1---- 1 |
| 1--1--- 1 |
| -1--1-- 1 |
| --1-1-- 1 |
| ---11-- 1 |
| -000-1- 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 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 pb nu1 [98] [774] [775] [792] [793] [9] |
| 0-1---- 1 |
| 01-1--- 1 |
| 01--1-- 1 |
| 0--1-1- 1 |
| 0---11- 1 |
| 0--00-1 1 |
| 1001-0- 1 |
| 100-10- 1 |
| 100--00 1 |
| 10000-0 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 pa pc pe pf pg ph pj [46] |
| 0110101 1 |
| 1010101 1 |
| .names [30] [31] [108] [773] [774] [814] [71] |
| 001--1 1 |
| 00-1-1 1 |
| 00--11 1 |
| 100001 1 |
| .names nt1 [108] [773] [774] [816] [72] |
| 01--1 1 |
| 0-1-1 1 |
| 0--11 1 |
| .names pb pd pe pf pg ph pj [75] |
| 0110001 1 |
| 1010001 1 |
| .names pa pb pe pf pg ph pj [81] |
| 0011111 1 |
| .names pb pd pe pf pg ph pj [90] |
| 1101011 1 |
| .names nu1 [39] [774] [775] [792] [793] [794] [91] |
| 011-0-0 1 |
| 01-10-0 1 |
| -100-00 1 |
| 01--000 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 pd pe pf pg ph pj [108] |
| 01110- 1 |
| 0010-1 1 |
| 001-11 1 |
| 010110 1 |
| .names pa pc pe pf pg ph pj [753] |
| --00-10 1 |
| 1---110 1 |
| --11001 1 |
| 0-001-0 1 |
| -0001-0 1 |
| 0-000-0 1 |
| 11-1-10 1 |
| 11011-0 1 |
| 10101-0 1 |
| 0101-10 1 |
| 1010-10 1 |
| 010-000 1 |
| 0010110 1 |
| 0110010 1 |
| 1011100 1 |
| 0001100 1 |
| 0010100 1 |
| 0010000 1 |
| .names pa pb pe pf pg ph pj [773] |
| -0000-0 1 |
| -00-000 1 |
| 1-00111 1 |
| .names pm [10] [17] [53] [101] [104] [106] [774] |
| ----1-- 1 |
| -----1- 1 |
| ------1 1 |
| 0111--- 1 |
| 1011--- 1 |
| .names pd pe pf pg ph pj [773] [775] |
| ------1 1 |
| 01110-- 1 |
| 0010-1- 1 |
| 001-11- 1 |
| 010110- 1 |
| .names pe pf pg pj [776] |
| 00-0 1 |
| -010 1 |
| .names pb pd pj [780] |
| 010 1 |
| 100 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 nu1 [56] [774] [775] [792] [793] [794] [797] |
| 011-0-0 1 |
| 01-10-0 1 |
| -100-00 1 |
| 01--000 1 |
| .names [30] [81] [108] [773] [774] [790] [798] |
| -1---- 1 |
| 0-1--1 1 |
| 0--1-1 1 |
| 0---11 1 |
| 1-0001 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 nu1 [108] [773] [774] [792] [794] [809] [811] |
| 01--001 1 |
| 0-1-001 1 |
| 0--1001 1 |
| .names pa pb pc pd pe pf pg [813] |
| 00-1100 1 |
| -001100 1 |
| 01-0100 1 |
| -100100 1 |
| .names pa pb pc [814] |
| 01- 1 |
| -10 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 pa pc pe pf pg ph pj [822] |
| 0010101 1 |
| .names pg ph pj [75] [813] [825] |
| ---1- 1 |
| 011-1 1 |
| .names pb [30] [7] [774] [775] [819] [825] [828] |
| ------1 1 |
| -0-1-1- 1 |
| -0--11- 1 |
| 0111--- 1 |
| 1011--- 1 |
| 011-1-- 1 |
| 101-1-- 1 |
| -1-001- 1 |
| 11100-- 1 |
| 00100-- 1 |
| .names [9] [807] [828] [831] |
| --1 1 |
| 11- 1 |
| .names pa nk1 [72] [797] [798] [811] [832] |
| --1--- 1 |
| ----1- 1 |
| -0-1-- 1 |
| 0----1 1 |
| -0---1 1 |
| .names [33] [54] [9] [37] [71] [801] [818] [833] |
| ----1-- 1 |
| --1---1 1 |
| 00-1-1- 1 |
| .names nk0 [39] [37] [90] [774] [775] [822] [834] |
| 1-01--- 1 |
| 0000--- 1 |
| 1--01-1 1 |
| -0-01-1 1 |
| 1--0-11 1 |
| -0-0-11 1 |
| ---1001 1 |
| 01--001 1 |
| .names pb pd pe pf pg ph pj [842] |
| -0-01-0 1 |
| 1---110 1 |
| --11001 1 |
| 110--10 1 |
| 11-1-10 1 |
| 10-0-10 1 |
| 0101-10 1 |
| 0110010 1 |
| 1101100 1 |
| 0001100 1 |
| .names [21] [108] [773] [774] [776] [780] [842] [845] |
| ------1 1 |
| 01--1-- 1 |
| 0-1-1-- 1 |
| 0--11-- 1 |
| 01---1- 1 |
| 0-1--1- 1 |
| 0--1-1- 1 |
| 1000--- 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 [31] nu1 [774] [775] [792] [793] [794] [853] |
| 0-----1 1 |
| 011---- 1 |
| 01-1--- 1 |
| 0-1-1-- 1 |
| 0--11-- 1 |
| 0-00-1- 1 |
| .names pb [30] [7] [108] [773] [774] [857] |
| -011-- 1 |
| -01-1- 1 |
| -01--1 1 |
| 1111-- 1 |
| 111-1- 1 |
| 111--1 1 |
| 101000 1 |
| .names [30] [14] [46] [108] [773] [774] [850] [858] |
| -1----- 1 |
| --1---- 1 |
| 0--1--1 1 |
| 0---1-1 1 |
| 0----11 1 |
| 1--0001 1 |
| .names nk1 [16] [797] [798] [853] [857] [858] [861] |
| ---1--- 1 |
| -----1- 1 |
| ------1 1 |
| 0-1---- 1 |
| -1--1-- 1 |
| .names ns0 [831] [832] [833] [834] [852] [861] [864] |
| ------1 1 |
| 10000-- 1 |
| -00001- 1 |
| .end |
