.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