.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 pf0 pb pr0 [196] pa1
---1 1
10-- 1
-01- 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 pe0 po0 pa pu0 ph pm po [187] pe1
-1-1---- 1
------01 1
1-0-000- 1
.names pf0 pm0 pr0 ph px0 [49] [179] pf2
000001- 1
000-011 1
.names pc0 pv pm [177] pd1
---1 1
11-- 1
1-0- 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 po0 pv0 [100] [155] [659] pg1
---1- 1
11--- 1
--1-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 pa0 pv pk0 pj [666] [672] [673] ph2
----000 1
0-0--00 1
0--1-00 1
-0-0-00 1
.names pa [109] [133] [134] [685] pk1
--1-- 1
---1- 1
----1 1
11--- 1
.names pa0 pv pk0 pj [666] [672] [673] pi2
-----1- 1
------1 1
11--1-- 1
1--11-- 1
-1101-- 1
.names pp pd0 ph0 pd pj [80] pm1
--1-1- 1
01-1-1 1
.names pu pe [70] [75] [691] [692] pl1
--1--- 1
-----1 1
1--1-- 1
-1-1-- 1
1---1- 1
-1--1- 1
.names pv pi0 pp0 pa ph pi [64] po1
---0-11 1
1-10-1- 1
-1-001- 1
.names ph0 ps0 ph pj [57] [710] [711] [712] pn1
-------1 1
----1-1- 1
-----11- 1
-10---1- 1
1--0--1- 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 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 pv pc pd pg pi pm [100]
1---0- 1
---10- 1
00-0-0 1
0-00-0 1
.names pa0 pd0 pt pg0 pi0 pj0 pp0 pj [109]
1------- 1
-1------ 1
-----1-- 1
------1- 1
--1-1--- 1
---1---0 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 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 pp0 pc pd pg [57]
01110 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 pp pd0 pe0 pv pa pd pg po [75]
--100-0- 1
-1-0010- 1
0-100--1 1
01-001-1 1
11-00-01 1
.names pb0 pc0 pd0 pv pw pp0 pd pm [133]
1--0---1 1
-1-0---1 1
--10---1 1
---0-1-1 1
--101-1- 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 pp pd0 pu pv pe pg pm po [155]
-1-1---- 1
11---101 1
110-0-01 1
.names pd0 pe0 pp0 ps0 pd ph po [167]
--1--1- 1
---1-1- 1
1---01- 1
-1---10 1
.names pp pd0 pv pa pd ph pm po [177]
0100000- 1
-1000000 1
.names pd0 pt pe0 pi0 pp0 ps0 pd po [179]
000-00-- 1
0-0000-- 1
-00-001- 1
--00001- 1
00--00-1 1
0--000-1 1
-0--0011 1
---00011 1
.names pd0 pu pw pd pe pg pm [187]
11-1-10 1
1--1110 1
10010-0 1
.names pa0 pr pv pb pj pl pm pn [196]
1--0---- 1
1----0-- 1
1-----1- 1
1------1 1
100-0--- 1
.names pg0 pw po0 pc pt0 pj [631]
--1-1- 1
10-1-1 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 pp pq pr ps pp0 pa ph po [659]
0-0-100- 1
-00-100- 1
0--0100- 1
-0-0100- 1
--0-1000 1
---01000 1
.names pa pb pl pm pn [666]
01100 1
.names pd0 pg0 pz pc pd pj [672]
--1--- 1
1---1- 1
-1-1-1 1
.names pb0 pc0 pd0 ph0 pi0 py ph pi [673]
1------- 1
-1------ 1
---1---- 1
-----1-- 1
--1---0- 1
----1--1 1
.names pr ps pg0 pl0 pp0 pb pr0 pm [685]
-----11- 1
--1----1 1
11-1---- 1
11--1--- 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 pp pq pe0 po0 pq0 pg pw0 po [710]
---1--1- 1
0-1----1 1
10--10-1 1
.names pu pw pa pe pm [711]
00000 1
.names pv pg0 pa pc pf ph pj pm [712]
110-1-0- 1
-100-010 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