| .model top |
| .inputs pp pq pr ps pt pu pv pw px py pa pb pc pe pf pg ph pi pj pk pl pm pn \ |
| po |
| .outputs pa0 pb0 pc0 pd0 pe0 pf0 pg0 ph0 pi0 pj0 pz pk0 pl0 pm0 pn0 po0 pp0 \ |
| pq0 pr0 ps0 pt0 |
| .names pv pw [135] [138] [452] pa0 |
| --1-- 1 |
| 10-00 1 |
| .names [22] [25] [133] [455] pb0 |
| 0--- 1 |
| --1- 1 |
| -1-1 1 |
| .names pu pv pw [42] [49] pc0 |
| -1-1- 1 |
| 1--11 1 |
| --111 1 |
| .names [122] [123] pd0 |
| 1- 1 |
| -1 1 |
| .names [51] [463] pe0 |
| 11 1 |
| .names pa pk pf0 |
| 00 1 |
| .names pa pk pl pm pn pg0 |
| 001-- 1 |
| 0101- 1 |
| 010-0 1 |
| .names pa pk pl pm ph0 |
| 00-1 1 |
| 0-01 1 |
| 0110 1 |
| .names pa pk pl pm pn pi0 |
| 00--1 1 |
| 0-011 1 |
| 0-101 1 |
| 01110 1 |
| .names px pa po nh3 [23] pj0 |
| -001- 1 |
| 0-1-1 1 |
| .names [103] [104] pz |
| 1- 1 |
| -1 1 |
| .names pp pa po [57] [98] pk0 |
| 10-10 1 |
| -0110 1 |
| .names pp pq pa po nh3 pl0 |
| 010-- 1 |
| -100- 1 |
| -10-0 1 |
| 10011 1 |
| .names pr px [23] [83] [85] pm0 |
| ---1- 1 |
| 1---1 1 |
| 101-- 1 |
| .names ps pa nh3 [484] pn0 |
| 100- 1 |
| 10-1 1 |
| 0010 1 |
| .names pa [64] po0 |
| 01 1 |
| .names pa [66] pp0 |
| 01 1 |
| .names pa [39] [40] pq0 |
| 01- 1 |
| 0-1 1 |
| .names pw pa [22] [37] pr0 |
| -0-1 1 |
| 101- 1 |
| .names px pa pb ps0 |
| 001 1 |
| 100 1 |
| .names py pa pc pt0 |
| 001 1 |
| 100 1 |
| .names ps pt pu pv py [22] |
| 0---- 1 |
| -1--- 1 |
| --0-- 1 |
| ---1- 1 |
| ----1 1 |
| .names ps pt py [25] |
| 1-- 1 |
| -1- 1 |
| --0 1 |
| .names pq pw [22] [76] [42] |
| --0- 1 |
| 01-- 1 |
| -0-1 1 |
| .names ps pt pu pv pj [51] |
| --00- 1 |
| 1---1 1 |
| -1--1 1 |
| --1-1 1 |
| ---01 1 |
| 100-- 1 |
| .names px pk pl pm pn nh3 |
| 1---- 1 |
| -1001 1 |
| .names pa pk pl pm pn [23] |
| 00--- 1 |
| 0-1-- 1 |
| 0--1- 1 |
| 0---0 1 |
| .names pp px po na3 [58] [57] |
| 1-0-- 1 |
| 1--1- 1 |
| -1-1- 1 |
| -1--1 1 |
| ---01 1 |
| .names ps pt nh3 [65] [484] [64] |
| 01--- 1 |
| -10-- 1 |
| -1--1 1 |
| 10110 1 |
| .names ps pt pu nh3 [484] [66] |
| 0-1-- 1 |
| -01-- 1 |
| --10- 1 |
| --1-1 1 |
| 11010 1 |
| .names pk pl pm pn na3 |
| 0--- 1 |
| -1-- 1 |
| --1- 1 |
| ---0 1 |
| .names ps pt pu pv ph [76] |
| --10- 1 |
| -1--1 1 |
| --1-1 1 |
| 000-- 1 |
| .names pq ps pt py [49] |
| 0--- 1 |
| -1-- 1 |
| --1- 1 |
| ---0 1 |
| .names pp pq pr po [58] |
| ---0 1 |
| 01-- 1 |
| 0-0- 1 |
| .names pu pv [65] |
| 1- 1 |
| -0 1 |
| .names ps pt pu pv py [37] |
| 00101 1 |
| .names ps nh3 [484] [486] [39] |
| 1101 1 |
| .names ps pv nh3 [484] [487] [40] |
| 01--- 1 |
| -10-- 1 |
| -1-1- 1 |
| -1--1 1 |
| .names pq pr po nh3 [481] [83] |
| 01--1 1 |
| 10111 1 |
| .names pp pq pa po [85] |
| --00 1 |
| 010- 1 |
| .names pp pq pr px po [98] |
| 1--11 1 |
| -0111 1 |
| .names pt pu pv pw pe [103] |
| 1-101 1 |
| -1101 1 |
| .names ps pt pu pv pw [104] |
| --000 1 |
| 100-0 1 |
| .names ps pt pu pv pw [122] |
| 11000 1 |
| .names pt pu pv pw pi [123] |
| 1-101 1 |
| -1101 1 |
| .names pt pu pv pw pg [133] |
| 1-101 1 |
| -1101 1 |
| .names pq pw [22] [138] [452] [135] |
| 011-- 1 |
| 0-100 1 |
| .names ps pt pv py [138] |
| 1-0- 1 |
| -10- 1 |
| --00 1 |
| .names ps pt pu pv pf [452] |
| --00- 1 |
| -1--0 1 |
| 100-- 1 |
| --110 1 |
| .names pu pv pw [455] |
| 100 1 |
| .names ps pt pu pv pw [463] |
| ---10 1 |
| 0-0-0 1 |
| -00-0 1 |
| .names pa pp [481] |
| 01 1 |
| .names pp pq pr po [484] |
| 1--- 1 |
| -1-- 1 |
| --0- 1 |
| ---0 1 |
| .names pt pu pv [486] |
| 110 1 |
| .names pt pu [487] |
| 01 1 |
| 10 1 |
| .end |
