| .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 nw1 [135] [454] pa0 |
| -1- 1 |
| 0-1 1 |
| .names [22] [132] [133] pb0 |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names pv [42] [124] pc0 |
| 11- 1 |
| -11 1 |
| .names [46] [123] [461] pd0 |
| -1- 1 |
| 1-1 1 |
| .names [46] [51] [462] pe0 |
| 011 1 |
| .names pa pk pf0 |
| 00 1 |
| .names [117] [464] [465] pg0 |
| 1-- 1 |
| -11 1 |
| .names [114] [469] ph0 |
| 1- 1 |
| -1 1 |
| .names [56] [110] [471] pi0 |
| -1- 1 |
| 1-1 1 |
| .names [23] [106] [472] pj0 |
| -1- 1 |
| 1-1 1 |
| .names [103] [104] pz |
| 1- 1 |
| -1 1 |
| .names nf3 [92] [477] pk0 |
| 01- 1 |
| 0-1 1 |
| .names pa [60] pl0 |
| 01 1 |
| .names pr [61] [83] pm0 |
| --1 1 |
| 11- 1 |
| .names pa [63] pn0 |
| 01 1 |
| .names pa [64] po0 |
| 01 1 |
| .names pa [66] pp0 |
| 01 1 |
| .names pa [39] [40] pq0 |
| 01- 1 |
| 0-1 1 |
| .names pa [37] [38] pr0 |
| 01- 1 |
| 0-1 1 |
| .names px pa pb ps0 |
| 001 1 |
| 100 1 |
| .names py pa pc pt0 |
| 001 1 |
| 100 1 |
| .names [29] [137] [138] nw1 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names ps pt [450] [22] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names ps pt py [25] |
| 1-- 1 |
| -1- 1 |
| --0 1 |
| .names pu pv [33] |
| 0- 1 |
| -1 1 |
| .names pw [76] [459] [42] |
| --1 1 |
| 01- 1 |
| .names ps pt pv [46] |
| 110 1 |
| .names [54] [52] [119] [51] |
| --1 1 |
| 11- 1 |
| .names pm pn [27] |
| 1- 1 |
| -0 1 |
| .names pa pl pm [35] |
| 001 1 |
| .names pk pm pn [56] |
| -01 1 |
| 110 1 |
| .names px [27] [473] nh3 |
| 1-- 1 |
| -00 1 |
| .names pa pk [75] [23] |
| 00- 1 |
| 0-1 1 |
| .names pu pv [142] [29] |
| --1 1 |
| 00- 1 |
| .names [74] [475] [476] nf3 |
| --1 1 |
| 11- 1 |
| .names pq nh3 [478] [60] |
| 10- 1 |
| 1-1 1 |
| 010 1 |
| .names nh3 [88] [480] [62] |
| -1- 1 |
| 1-1 1 |
| .names px [23] [85] [61] |
| --1 1 |
| 01- 1 |
| .names ps nh3 [484] [63] |
| 10- 1 |
| 1-1 1 |
| 010 1 |
| .names pt [26] [65] [64] |
| 11- 1 |
| 001 1 |
| .names pt pu [26] [66] |
| 01- 1 |
| -11 1 |
| 100 1 |
| .names pm pn [473] na3 |
| 1-- 1 |
| -0- 1 |
| --1 1 |
| .names pt pu pv [73] |
| 1-- 1 |
| -11 1 |
| .names pp pq pr [74] |
| 1-- 1 |
| -01 1 |
| .names pl pm pn [75] |
| 1-- 1 |
| -1- 1 |
| --0 1 |
| .names pt pu [24] |
| 1- 1 |
| -1 1 |
| .names ps nh3 [484] [26] |
| 0-- 1 |
| -0- 1 |
| --1 1 |
| .names pp pq po [28] |
| --0 1 |
| 01- 1 |
| .names [33] [129] [130] [76] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names pu pw [50] |
| 1- 1 |
| -1 1 |
| .names pt pu pj [54] |
| --1 1 |
| 00- 1 |
| .names ps pt pu [52] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names po [27] [473] [59] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names pp pr [28] [58] |
| --1 1 |
| 00- 1 |
| .names pu pv [65] |
| 1- 1 |
| -0 1 |
| .names pu pv [25] [37] |
| 100 1 |
| .names pw [449] [450] [38] |
| 11- 1 |
| 1-1 1 |
| .names [26] [486] [39] |
| 01 1 |
| .names pv [26] [487] [40] |
| 11- 1 |
| 1-1 1 |
| .names pp pa [62] [83] |
| 101 1 |
| .names pa [28] [85] |
| 01 1 |
| .names pq pr [88] |
| 01 1 |
| .names pp [59] [92] |
| 11 1 |
| .names pe [24] [456] [103] |
| 111 1 |
| .names pw [142] [143] [104] |
| 01- 1 |
| 0-1 1 |
| .names pa po nh3 [106] |
| 001 1 |
| .names pn pf0 [35] [110] |
| 11- 1 |
| 1-1 1 |
| .names pa pk pm [114] |
| 001 1 |
| .names pa pk pl [117] |
| 001 1 |
| .names pu pv pj [119] |
| 00- 1 |
| -01 1 |
| .names pi [24] [456] [123] |
| 111 1 |
| .names pq [25] [50] [124] |
| 0-1 1 |
| -11 1 |
| .names pq pw [127] |
| 01 1 |
| .names ps pt pu [129] |
| 000 1 |
| .names pt pu ph [130] |
| 1-1 1 |
| -11 1 |
| .names [25] [455] [132] |
| 11 1 |
| .names pg [24] [456] [133] |
| 111 1 |
| .names pw nw1 [453] [135] |
| 1-1 1 |
| -01 1 |
| .names pf [73] [137] |
| 01 1 |
| .names pv [25] [138] |
| 01 1 |
| .names ps pt pu [142] |
| 100 1 |
| .names pu pv [143] |
| 00 1 |
| .names pt ps [449] |
| 1- 1 |
| -0 1 |
| .names pu pv py [450] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names pq [449] [450] [453] |
| 01- 1 |
| 0-1 1 |
| .names pw pv [454] |
| 01 1 |
| .names pu pv pw [455] |
| 100 1 |
| .names pw pv [456] |
| 01 1 |
| .names [127] [449] [450] [459] |
| 1-- 1 |
| -00 1 |
| .names pw pu [461] |
| 00 1 |
| .names pu pv pw [462] |
| 0-0 1 |
| -10 1 |
| .names pk pa [464] |
| 10 1 |
| .names pl pm pn [465] |
| 01- 1 |
| 0-0 1 |
| .names pk pa [467] |
| 10 1 |
| .names pm pl [468] |
| 01 1 |
| .names [35] [467] [468] [469] |
| 1-- 1 |
| -11 1 |
| .names pl pa [471] |
| 10 1 |
| .names po px [472] |
| 10 1 |
| .names pl pk [473] |
| 1- 1 |
| -0 1 |
| .names po px [475] |
| 11 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 pq pp [482] |
| 1- 1 |
| -1 1 |
| .names pr po [482] [484] |
| 0-- 1 |
| -0- 1 |
| --1 1 |
| .names pt pu pv [486] |
| 110 1 |
| .names pt pu [487] |
| 01 1 |
| 10 1 |
| .end |
