| .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 [47] [136] [453] pa0 |
| -1- 1 |
| 1-1 1 |
| .names pg [45] [457] pb0 |
| --1 1 |
| 11- 1 |
| .names [48] [126] [459] pc0 |
| 11- 1 |
| 1-1 1 |
| .names pi [45] [46] [461] pd0 |
| 11-- 1 |
| --11 1 |
| .names [46] [118] [119] [462] pe0 |
| 01-1 1 |
| 0-11 1 |
| .names pa pk pf0 |
| 00 1 |
| .names pa pk pl [465] pg0 |
| 001- 1 |
| 01-1 1 |
| .names pa pk pl pm ph0 |
| 00-1 1 |
| 0-01 1 |
| 0110 1 |
| .names pn [56] [55] [471] pi0 |
| 1-1- 1 |
| -1-1 1 |
| .names px na3 [105] [474] pj0 |
| --1- 1 |
| 1--1 1 |
| -0-1 1 |
| .names pw pe [45] [29] pz |
| -11- 1 |
| 0--1 1 |
| .names nf3 [92] [477] pk0 |
| 01- 1 |
| 0-1 1 |
| .names pa [60] pl0 |
| 01 1 |
| .names pr [62] [61] [481] pm0 |
| 1-1- 1 |
| -1-1 1 |
| .names pa [63] pn0 |
| 01 1 |
| .names pt pa [26] [65] po0 |
| 101- 1 |
| 0001 1 |
| .names pt pu pa [26] pp0 |
| 010- 1 |
| -101 1 |
| 1000 1 |
| .names pa [68] pq0 |
| 01 1 |
| .names pa [25] [33] [38] pr0 |
| 0--1 1 |
| 000- 1 |
| .names px pa pb ps0 |
| 001 1 |
| 100 1 |
| .names py pa pc pt0 |
| 001 1 |
| 100 1 |
| .names pw [29] [137] [138] [47] |
| 1--- 1 |
| -000 1 |
| .names ps pt py [25] |
| 1-- 1 |
| -1- 1 |
| --0 1 |
| .names pu pv [33] |
| 0- 1 |
| -1 1 |
| .names pt pu pv pw [45] |
| 1-10 1 |
| -110 1 |
| .names pu pv pw [49] [48] |
| -1-- 1 |
| 1--1 1 |
| --11 1 |
| .names ps pt pv [46] |
| 110 1 |
| .names pk pm pn [56] |
| -01 1 |
| 110 1 |
| .names pa pk pl pm [55] |
| 00-- 1 |
| 0-01 1 |
| .names ps pt pu pv [29] |
| --00 1 |
| 100- 1 |
| .names px po [74] [476] nf3 |
| ---1 1 |
| 111- 1 |
| .names pq px na3 [478] [60] |
| 1--1 1 |
| 101- 1 |
| 01-0 1 |
| 0-00 1 |
| .names px na3 [88] [480] [62] |
| --1- 1 |
| 1--1 1 |
| -0-1 1 |
| .names px pf0 [85] [107] [61] |
| --1- 1 |
| 01-- 1 |
| 0--1 1 |
| .names ps px na3 [484] [63] |
| 1--1 1 |
| 101- 1 |
| 01-0 1 |
| 0-00 1 |
| .names pt pu pv [26] [68] |
| --11 1 |
| 011- 1 |
| 101- 1 |
| 1100 1 |
| .names pk pl pm pn na3 |
| 0--- 1 |
| -1-- 1 |
| --1- 1 |
| ---0 1 |
| .names pp pq pr [74] |
| 1-- 1 |
| -01 1 |
| .names ps px na3 [484] [26] |
| 0--- 1 |
| ---1 1 |
| -01- 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 pw [450] [38] |
| 0-1- 1 |
| -11- 1 |
| --11 1 |
| .names pp pq pa po [85] |
| --00 1 |
| 010- 1 |
| .names pq pr [88] |
| 01 1 |
| .names pp po na3 [92] |
| 10- 1 |
| 1-1 1 |
| .names pa pk [107] [472] [105] |
| --11 1 |
| 00-1 1 |
| .names pa pl pm pn [107] |
| 01-- 1 |
| 0-1- 1 |
| 0--0 1 |
| .names ps pt pu pj [118] |
| 1--1 1 |
| -1-1 1 |
| --11 1 |
| 100- 1 |
| .names pu pv pj [119] |
| 00- 1 |
| -01 1 |
| .names pw [130] [458] [126] |
| 01- 1 |
| 0-1 1 |
| .names pt pu ph [130] |
| 1-1 1 |
| -11 1 |
| .names [29] [137] [138] [454] [136] |
| 0001 1 |
| .names pt pu pv pf [137] |
| 1--0 1 |
| -110 1 |
| .names ps pt pv py [138] |
| 1-0- 1 |
| -10- 1 |
| --00 1 |
| .names pt ps [449] |
| 1- 1 |
| -0 1 |
| .names pu pv py [450] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names pq ps pt [450] [453] |
| 00-- 1 |
| 0-1- 1 |
| 0--1 1 |
| .names pw pv [454] |
| 01 1 |
| .names pu pv pw [455] |
| 100 1 |
| .names [25] [449] [450] [455] [457] |
| -00- 1 |
| 1--1 1 |
| .names ps pt pu pv [458] |
| --10 1 |
| 000- 1 |
| .names pq pw [449] [450] [459] |
| 01-- 1 |
| --00 1 |
| .names pw pu [461] |
| 00 1 |
| .names pu pv pw [462] |
| 0-0 1 |
| -10 1 |
| .names pl pm pn [465] |
| 01- 1 |
| 0-0 1 |
| .names pl pa [471] |
| 10 1 |
| .names po px [472] |
| 10 1 |
| .names po pa [474] |
| 00 1 |
| .names pp pa po [476] |
| -1- 1 |
| 0-0 1 |
| .names px na3 [58] [477] |
| 11- 1 |
| 1-1 1 |
| -01 1 |
| .names po pp [478] |
| 0- 1 |
| -0 1 |
| .names pq pr po [480] |
| 101 1 |
| .names pa pp [481] |
| 01 1 |
| .names pp pq pr po [484] |
| 1--- 1 |
| -1-- 1 |
| --0- 1 |
| ---0 1 |
| .end |
