.model top
.inputs pp pa0 pq pb0 pr pc0 ps pd0 pt pe0 pu pf0 pv pg0 pw ph0 pi0 py pj0 pz \
pk0 pl0 pm0 pn0 po0 pp0 pa pq0 pb pr0 pc ps0 pd pt0 pe pu0 pf pv0 pg pw0 ph \
px0 pi py0 pj pz0 pk pl pm pn po
.outputs pa1 pb2 pc2 pc1 pa2 pb1 pe1 pf2 pd1 pg2 pd2 pg1 pe2 pf1 pi1 ph1 ph2 \
pk1 pi2 pj1 pm1 pl1 po1 pn1 pq1 pp1 ps1 pr1 pu1 pt1 pw1 pv1 py1 px1 pz1
.names pa0 pf0 pb pr0 [88] pa1
-10-- 1
--01- 1
1---1 1
.names pp pe0 pp0 pg [80] pb2
01--1 1
0-1-1 1
-1-01 1
--101 1
.names pb0 pv pm pc1
11- 1
1-0 1
.names pf0 pr0 pa2
1- 1
-1 1
.names pa pb pm pn [92] [631] pb1
-----1 1
01001- 1
.names po0 pu0 po [187] [188] pe1
11--- 1
--01- 1
--0-1 1
.names ph [49] [636] [637] [639] pf2
01--1 1
-1111 1
.names pp pc0 pv pm po [642] pd1
-11--- 1
-1-0-- 1
0-0--1 1
--0-01 1
.names [49] [167] [647] pg2
0-- 1
-1- 1
--1 1
.names pp pq pv po [652] [655] pd2
-----0 1
0---0- 1
-0--0- 1
--1-0- 1
---00- 1
.names pd0 po0 pv0 [36] [100] [98] [658] pg1
-11---- 1
1----1- 1
---11-1 1
.names pp pq pv po [652] [655] pe2
----11 1
1101-1 1
.names pq pq0 pg pi po [153] pf1
-----1 1
010--- 1
01-0-- 1
-10-0- 1
-1-00- 1
.names pu pw pa pe ph [40] ph1
000011 1
.names [110] [666] [670] [671] [672] ph2
0-000 1
-0000 1
.names pr ps pl0 pp0 [134] [684] [687] pk1
----1-- 1
-----1- 1
------1 1
111---- 1
11-1--- 1
.names [110] [666] [670] [671] [672] pi2
--1-- 1
---1- 1
----1 1
11--- 1
.names pp pd0 ph0 pd pj [80] pm1
--1-1- 1
01-1-1 1
.names pu pe [114] [70] [690] [691] [692] pl1
---1--- 1
------1 1
1----1- 1
-1---1- 1
1-1-1-- 1
-11-1-- 1
.names pv pi0 pp0 pa ph pi [64] po1
---0-11 1
1-10-1- 1
-1-001- 1
.names [54] [55] [57] [58] [707] [708] [711] pn1
1------ 1
-1----- 1
--1---1 1
---1--1 1
----1-1 1
-----11 1
.names pt pi0 ph ps1
111 1
.names pa0 pk0 pk pl [716] [719] pr1
-----1 1
-1--1- 1
1-011- 1
.names pa0 pr ps pk0 pw1
111- 1
-111 1
.names pa pm [122] pv1
001 1
.names pf0 pg0 ph0 pz pr0 pj py1
--00-1 1
00000- 1
.names pf0 pg0 ph0 pz pr0 pj px1
--1--- 1
---1-- 1
1----0 1
-1---0 1
----10 1
.names pc0 pd0 pz1
1- 1
-1 1
.names pr pv pb pj pl pm pn [88]
--0---- 1
----0-- 1
-----1- 1
------1 1
00-0--- 1
.names pu pv pw pa pe pm po [80]
0000001 1
.names pa0 pv pk0 pj pk pl [92]
-110-- 1
11--01 1
1--101 1
.names pa0 pr pb pj pz0 pl pm [49]
0------ 1
--1-11- 1
-110-10 1
.names pd0 pe0 pp0 ps0 pd po [40]
--1--- 1
---1-- 1
1---0- 1
-1---0 1
.names pp pq pr ps po [36]
0-0-- 1
-00-- 1
0--0- 1
-0-0- 1
--0-0 1
---00 1
.names pv pc pd pg pi pm [100]
1---0- 1
---10- 1
00-0-0 1
0-00-0 1
.names pp pu pv pe pg pm po [98]
--1---- 1
1---101 1
10-0-01 1
.names pb0 pc0 pd0 pw pp0 pd pm [105]
1-----1 1
-1----1 1
--1---1 1
----1-1 1
--11-1- 1
.names pa0 pv pk0 pj [110]
11-- 1
1--1 1
-110 1
.names pr pv pg0 pk0 pf pj pn [122]
-01--0- 1
--1-00- 1
00-1-0- 1
-1-1-01 1
.names pp pd0 pe0 pd pg po [114]
--1-0- 1
-1-10- 1
0-1--1 1
01-1-1 1
11--01 1
.names ph0 pc2
1 1
.names pm0 pi1
1 1
.names pn0 pj1
1 1
.names pz pq1
1 1
.names py pp1
1 1
.names py0 pu1
1 1
.names px0 pt1
1 1
.names pv pg0 pa pf pj [54]
11010 1
.names pg0 pa pc ph pj pm [55]
100010 1
.names pv pp0 pc pd pg [57]
01110 1
.names pp pq pq0 pg po [58]
10101 1
.names pp pq pv pp0 pq0 pg po [64]
0-01-1- 1
-001-1- 1
0-0-11- 1
-00-11- 1
--01-10 1
--0-110 1
.names pp pq pp0 pq0 po [70]
111-1 1
11-11 1
.names pe0 ph0 pk0 pa pq0 ps0 pm [134]
1--1--- 1
-1-1--- 1
--11--- 1
---11-- 1
---1-1- 1
1-----1 1
-1----1 1
--1---1 1
----1-1 1
-----11 1
.names pp pe0 pa ph pm po [153]
110001 1
.names pd0 pe0 pp0 ps0 pd ph po [167]
--1--1- 1
---1-1- 1
1---01- 1
-1---10 1
.names pd0 pu pw pd pe pg pm [187]
11-1-10 1
1--1110 1
10010-0 1
.names pe0 pa ph pm [188]
1000 1
.names pg0 pw po0 pc pt0 pj [631]
--1-1- 1
10-1-1 1
.names pd0 pt pi0 pd [636]
00-- 1
0-0- 1
-0-1 1
--01 1
.names pe0 pp0 ps0 po [637]
000- 1
-001 1
.names pf0 pm0 pr0 px0 [639]
0000 1
.names pd0 pa pd ph pm [642]
10000 1
.names pt pf0 pi0 pm0 pr0 ph px0 [647]
-1----- 1
---1--- 1
----1-- 1
------1 1
1-1--1- 1
.names pv pp0 pa pq0 pg pi [652]
--1--- 1
-----0 1
10---- 1
-0-0-- 1
0---0- 1
.names ph0 pi0 py pz [655]
0000 1
.names pp0 pa ph [658]
100 1
.names pa pb pl pm pn [666]
01100 1
.names pd0 pi0 ph pi [670]
1-0- 1
-1-1 1
.names pb0 pc0 ph0 py [671]
1--- 1
-1-- 1
--1- 1
---1 1
.names pd0 pg0 pz pc pd pj [672]
--1--- 1
1---1- 1
-1-1-1 1
.names pt pg0 pi0 pj [682]
1-1- 1
-1-0 1
.names pa0 pd0 pj0 pp0 [683]
1--- 1
-1-- 1
--1- 1
---1 1
.names pg0 pb pr0 pm [684]
-11- 1
1--1 1
.names pv pa [105] [682] [683] [687]
0-1-- 1
-1-1- 1
-1--1 1
.names pa pv [690]
00 1
.names pd0 pe0 ph0 ph [691]
--1- 1
1--1 1
-1-1 1
.names pa0 pf0 pw ph0 pb pk [692]
--11-- 1
-1--1- 1
1---11 1
.names ph0 ps0 ph pj [707]
-10- 1
1--0 1
.names pp pe0 po0 pw0 po [708]
--11- 1
01--1 1
.names pu pw pa pe pm [711]
00000 1
.names pr ps pv pa pb pj pm [716]
1000100 1
.names pt pi0 pj0 pa ph pi [719]
--10-- 1
01--00 1
-1-000 1
.end