.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