.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