| .model top |
| .inputs pp pa0 pq pb0 pr pc0 ps pd0 pt pe0 pu pf0 pv pg0 pw px py pz pa pb pc \ |
| pd pe pf pg ph pi pj pk pl pm pn po |
| .outputs ph0 pi0 pj0 pk0 pl0 pm0 pn0 po0 pp0 pq0 pr0 ps0 pt0 pu0 pv0 pw0 px0 |
| .names pq pr pa pb nt2 ph0 |
| 1111- 1 |
| 0101- 1 |
| 0010- 1 |
| 1000- 1 |
| 001-1 1 |
| 100-1 1 |
| 0-101 1 |
| 1-001 1 |
| 111-0 1 |
| 010-0 1 |
| 1-110 1 |
| 0-010 1 |
| .names pr [18] pi0 |
| 01 1 |
| 10 1 |
| .names ps pt pc pd nr2 pj0 |
| 1111- 1 |
| 0101- 1 |
| 0010- 1 |
| 1000- 1 |
| 001-1 1 |
| 100-1 1 |
| 0-101 1 |
| 1-001 1 |
| 111-0 1 |
| 010-0 1 |
| 1-110 1 |
| 0-010 1 |
| .names pt [47] pk0 |
| 01 1 |
| 10 1 |
| .names pu pv pe pf np2 pl0 |
| 1111- 1 |
| 0101- 1 |
| 0010- 1 |
| 1000- 1 |
| 001-1 1 |
| 100-1 1 |
| 0-101 1 |
| 1-001 1 |
| 111-0 1 |
| 010-0 1 |
| 1-110 1 |
| 0-010 1 |
| .names pv [37] pm0 |
| 01 1 |
| 10 1 |
| .names pw px pg ph nn2 pn0 |
| 1111- 1 |
| 0101- 1 |
| 0010- 1 |
| 1000- 1 |
| 001-1 1 |
| 100-1 1 |
| 0-101 1 |
| 1-001 1 |
| 111-0 1 |
| 010-0 1 |
| 1-110 1 |
| 0-010 1 |
| .names px [36] po0 |
| 01 1 |
| 10 1 |
| .names py pz pi pj nl2 pp0 |
| 1111- 1 |
| 0101- 1 |
| 0010- 1 |
| 1000- 1 |
| 001-1 1 |
| 100-1 1 |
| 0-101 1 |
| 1-001 1 |
| 111-0 1 |
| 010-0 1 |
| 1-110 1 |
| 0-010 1 |
| .names pz [32] pq0 |
| 01 1 |
| 10 1 |
| .names pa0 pb0 pk pl nj2 pr0 |
| 1111- 1 |
| 0101- 1 |
| 0010- 1 |
| 1000- 1 |
| 001-1 1 |
| 100-1 1 |
| 0-101 1 |
| 1-001 1 |
| 111-0 1 |
| 010-0 1 |
| 1-110 1 |
| 0-010 1 |
| .names pb0 [41] ps0 |
| 01 1 |
| 10 1 |
| .names pc0 pd0 pm pn nh2 pt0 |
| 1111- 1 |
| 0101- 1 |
| 0010- 1 |
| 1000- 1 |
| 001-1 1 |
| 100-1 1 |
| 0-101 1 |
| 1-001 1 |
| 111-0 1 |
| 010-0 1 |
| 1-110 1 |
| 0-010 1 |
| .names pd0 [42] pu0 |
| 01 1 |
| 10 1 |
| .names pp pe0 pf0 pg0 po pv0 |
| 111-1 1 |
| 000-1 1 |
| 11-11 1 |
| -1111 1 |
| 00-01 1 |
| -0001 1 |
| 101-0 1 |
| 010-0 1 |
| 10-10 1 |
| -0110 1 |
| 01-00 1 |
| -1000 1 |
| .names pp pf0 pg0 pw0 |
| 111 1 |
| 001 1 |
| 010 1 |
| 100 1 |
| .names pq pr pa pb nt2 px0 |
| 1-1-- 1 |
| 11-1- 1 |
| -111- 1 |
| 11--0 1 |
| -11-0 1 |
| 1--10 1 |
| --110 1 |
| .names ps pt pb pc pd nr2 [18] |
| 1-01-- 1 |
| 0-10-- 1 |
| 110-1- 1 |
| -1011- 1 |
| 001-0- 1 |
| -0100- 1 |
| 001--1 1 |
| -010-1 1 |
| 0-1-01 1 |
| --1001 1 |
| 110--0 1 |
| -101-0 1 |
| 1-0-10 1 |
| --0110 1 |
| .names ps pt pc pd nr2 nt2 |
| 0-0-- 1 |
| 00-0- 1 |
| -000- 1 |
| 00--1 1 |
| -00-1 1 |
| 0--01 1 |
| --001 1 |
| .names pa0 pb0 pk pl nj2 nl2 |
| 0-0-- 1 |
| 00-0- 1 |
| -000- 1 |
| 00--1 1 |
| -00-1 1 |
| 0--01 1 |
| --001 1 |
| .names pp pe0 pf0 pg0 po nh2 |
| -0--0 1 |
| 000-- 1 |
| 00-0- 1 |
| -000- 1 |
| 0-0-0 1 |
| 0--00 1 |
| --000 1 |
| .names pc0 pd0 pm pn nh2 nj2 |
| 0-0-- 1 |
| 00-0- 1 |
| -000- 1 |
| 00--1 1 |
| -00-1 1 |
| 0--01 1 |
| --001 1 |
| .names pa0 pb0 pj pk pl nj2 [32] |
| 1-01-- 1 |
| 0-10-- 1 |
| 110-1- 1 |
| -1011- 1 |
| 001-0- 1 |
| -0100- 1 |
| 001--1 1 |
| -010-1 1 |
| 0-1-01 1 |
| --1001 1 |
| 110--0 1 |
| -101-0 1 |
| 1-0-10 1 |
| --0110 1 |
| .names py pz ph pi pj nl2 [36] |
| 1-01-- 1 |
| 0-10-- 1 |
| 110-1- 1 |
| -1011- 1 |
| 001-0- 1 |
| -0100- 1 |
| 001--1 1 |
| -010-1 1 |
| 0-1-01 1 |
| --1001 1 |
| 110--0 1 |
| -101-0 1 |
| 1-0-10 1 |
| --0110 1 |
| .names pw px pf pg ph nn2 [37] |
| 1-01-- 1 |
| 0-10-- 1 |
| 110-1- 1 |
| -1011- 1 |
| 001-0- 1 |
| -0100- 1 |
| 001--1 1 |
| -010-1 1 |
| 0-1-01 1 |
| --1001 1 |
| 110--0 1 |
| -101-0 1 |
| 1-0-10 1 |
| --0110 1 |
| .names py pz pi pj nl2 nn2 |
| 0-0-- 1 |
| 00-0- 1 |
| -000- 1 |
| 00--1 1 |
| -00-1 1 |
| 0--01 1 |
| --001 1 |
| .names pu pv pe pf np2 nr2 |
| 0-0-- 1 |
| 00-0- 1 |
| -000- 1 |
| 00--1 1 |
| -00-1 1 |
| 0--01 1 |
| --001 1 |
| .names pw px pg ph nn2 np2 |
| 0-0-- 1 |
| 00-0- 1 |
| -000- 1 |
| 00--1 1 |
| -00-1 1 |
| 0--01 1 |
| --001 1 |
| .names pc0 pd0 pl pm pn nh2 [41] |
| 1-01-- 1 |
| 0-10-- 1 |
| 110-1- 1 |
| -1011- 1 |
| 001-0- 1 |
| -0100- 1 |
| 001--1 1 |
| -010-1 1 |
| 0-1-01 1 |
| --1001 1 |
| 110--0 1 |
| -101-0 1 |
| 1-0-10 1 |
| --0110 1 |
| .names pp pe0 pf0 pg0 pn po [42] |
| -1--01 1 |
| -0--10 1 |
| 000-1- 1 |
| 00-01- 1 |
| -0001- 1 |
| 111-0- 1 |
| 11-10- 1 |
| -1110- 1 |
| 1-1-01 1 |
| 1--101 1 |
| --1101 1 |
| 0-0-10 1 |
| 0--010 1 |
| --0010 1 |
| .names pu pv pd pe pf np2 [47] |
| 1-01-- 1 |
| 0-10-- 1 |
| 110-1- 1 |
| -1011- 1 |
| 001-0- 1 |
| -0100- 1 |
| 001--1 1 |
| -010-1 1 |
| 0-1-01 1 |
| --1001 1 |
| 110--0 1 |
| -101-0 1 |
| 1-0-10 1 |
| --0110 1 |
| .end |