.model top
.inputs pp pa0 pq pb0 pr pc0 ps pt pu pv pw px py pz pa pb pc pe pf pg ph pi \
pj pk pl pm pn po
.outputs pd0 pe0 pf0
.names pc0 pa pb pc pe [16] [311] pd0
--01--- 1
-1-0-1- 1
---011- 1
-1-0--1 1
---01-1 1
00-00-- 1
.names pa0 pa pc pe pf pe0
-1--- 1
--1-- 1
0---1 1
---11 1
.names pb0 pa pc pe pf0
0--0 1
-1-0 1
--10 1
.names pw px py pz pm [18]
----0 1
0000- 1
.names ps pt pv pk [42]
---0 1
000- 1
.names pp pw px ph pi pm po [20]
0-000-- 1
0--000- 1
0---000 1
000-0-0 1
.names pw py pj pm po [51]
-00-- 1
--00- 1
---00 1
00--0 1
.names ps pt pi pl [20] [64] [16]
00--1- 1
00---1 1
0000-- 1
.names pr ph [42] [88] [291] [17]
00-1- 1
001-1 1
.names pk pl [18] [20] [286] [19]
00--- 1
0--1- 1
0-1-1 1
.names pu pv pj pk [294] [296] [25]
--0--1 1
--001- 1
000-1- 1
.names pq pu pg pk [51] [302] [26]
--0--1 1
000-1- 1
0-001- 1
.names pn [76] [305] [306] [27]
01-- 1
0-1- 1
0--1 1
.names pu pv ph pl [18] [286] [64]
00-0-- 1
-000-- 1
00--11 1
.names pw px py pg pi [76]
0-00- 1
00--0 1
0--00 1
.names pv pz pj pk pm [88]
000-- 1
-000- 1
0-0-0 1
--000 1
.names pp pq pr po [286]
0000 1
.names pp px pz pm [291]
0--0 1
000- 1
.names pq pr py pz pm [294]
00--0 1
0000- 1
.names pu pv ph pi pl [296]
---0- 1
00--0 1
-00-0 1
.names pu pw ph pi pl pm po [302]
--0---- 1
0---0-- 1
---00-- 1
-0-0--0 1
---0-00 1
.names pw px py pz ph pi pm [305]
------0 1
-0--00- 1
0000--- 1
.names px py pz pg ph pj pl [306]
------0 1
0-0-0-- 1
-00--0- 1
-0-0-0- 1
--0-00- 1
.names [17] [19] [25] [26] [27] [311]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.end