.model top
.inputs pa1 pb2 pc3 pd4 pp pa0 pb3 pc2 pe4 pq pa3 pb0 pc1 pf4 pr pa2 pb1 pc0 \
pg4 ps pd0 pe1 pf2 pg3 pt pa4 pd1 pe0 pf3 pg2 pu pb4 pd2 pe3 pf0 pg1 pv pc4 \
pd3 pe2 pf1 pg0 pw ph0 pi1 pj2 pk3 px ph1 pi0 pj3 pk2 py ph2 pi3 pj0 pk1 pz \
ph3 pi2 pj1 pk0 ph4 pl0 pm1 pn2 po3 pl1 pm0 pn3 po2 pl2 pm3 pn0 po1 pl3 pm2 \
pn1 po0 pq1 pr2 ps3 pp1 pr3 ps2 pb pp2 pq3 pr0 ps1 pc pp3 pq2 pr1 ps0 pd pt0 \
pu1 pv2 pw3 pe pt1 pu0 pv3 pw2 pf pt2 pu3 pv0 pw1 pg pt3 pu2 pv1 pw0 ph px0 \
py1 pz2 pi px1 py0 pz3 pj px2 py3 pz0 pk px3 py2 pz1 pl pm pn po
.outputs pe5 pf6 pg7 pd5 pf7 pg6 pd6 pe7 pg5 pd7 pe6 pf5 pa5 pb6 pc7 pb7 pc6 \
pa7 pc5 pa6 pb5 pl4 pm5 pn6 po7 pa8 pl5 pm4 pn7 po6 pb8 pl6 pm7 pn4 po5 pc8 \
pl7 pm6 pn5 po4 pi5 pj6 pk7 ph5 pi4 pj7 pk6 ph6 pi7 pj4 pk5 ph7 pi6 pj5 pk4 \
pt4 pu5 pv6 pw7 pt5 pu4 pv7 pw6 pt6 pu7 pv4 pw5 pt7 pu6 pv5 pw4 pp4 pq5 pr6 \
ps7 pp5 pq4 pr7 ps6 pp6 pq7 pr4 ps5 pp7 pq6 pr5 ps4 px4 py5 pz6 px5 py4 pz7 \
px6 py7 pz4 px7 py6 pz5
.names pb0 ps pv pj1 py1 pe5
1--10 1
-0-10 1
011-0 1
.names pe0 pf0 pg0 pk2 pp2 py1 [1719] pf6
---1-01 1
1--100- 1
-1-100- 1
--0100- 1
---0100 1
0010-00 1
.names pj2 pk2 pl3 py1 px1 [1722] [1724] pg7
-----11 1
--101-1 1
0010--1 1
.names pb0 ps pu pi1 py1 pd5
1--10 1
-0-10 1
011-0 1
.names pj2 pk3 pk2 py1 px1 [1725] [1726] pf7
-----11 1
-1-01-1 1
0100--1 1
.names pl2 pc pd pe py1 px1 pg6
01--0- 1
0-1-0- 1
0--10- 1
0---00 1
100001 1
.names pi2 py1 px1 nx19 pd6
10-- 1
-001 1
.names pj2 pj3 pk2 py1 px1 [1731] [1732] pe7
-----11 1
-1-01-1 1
0100--1 1
.names pb0 ps px pl1 py1 pg5
1--10 1
-0-10 1
011-0 1
.names pj2 pk2 pi3 py1 px1 [1733] [1734] pd7
-----11 1
--101-1 1
0010--1 1
.names pe0 pf0 pg0 pj2 po2 py1 px1 [1738] pe6
---1-01- 1
---1-0-1 1
--0100-- 1
00-100-- 1
---01000 1
1-10-000 1
-110-000 1
.names pb0 ps pw pk1 py1 pf5
1--10 1
-0-10 1
011-0 1
.names pp pr pf1 py1 pi pa5
-010- 1
--100 1
11-01 1
.names ph2 pn0 pb6
10 1
.names ph3 pf pg ph py1 pc7
10--0 1
1--00 1
-1110 1
.names pg3 ph3 pf ph py1 pb7
1-0-0 1
1--00 1
-1110 1
.names pl0 pn0 pc6
10 1
.names pg3 pf3 pf ph py1 pa7
-10-0 1
-1-00 1
1-110 1
.names pb0 ps pt ph1 py1 pc5
1--10 1
-0-10 1
011-0 1
.names [485] [486] pa6
1- 1
-1 1
.names pq pr pg1 py1 pi pb5
-010- 1
--100 1
11-01 1
.names pc2 pg2 ph2 pn0 pl4
1--0 1
-110 1
.names pb0 ps pv pr1 py1 pm5
0--10 1
-0-10 1
111-0 1
.names ps2 pf pt2 ph py1 pn6
10--0 1
1--10 1
-1100 1
.names pj2 pk2 pt3 py1 px1 [1758] [1759] po7
-----11 1
--101-1 1
0010--1 1
.names pd4 pe4 pf4 pc4 pl0 pn0 [101] [1764] pa8
--1---1- 1
1-1-00-- 1
-01-00-- 1
0101---1 1
.names pb0 ps pu pq1 py1 pl5
0--10 1
-0-10 1
111-0 1
.names pr pr0 py1 pi pj pm4
110-- 1
-100- 1
0-011 1
.names pj2 pk2 ps3 py1 px1 [1766] [1767] pn7
-----11 1
--101-1 1
0010--1 1
.names pf pt2 pu2 ph py1 po6
01--0 1
-1-10 1
1-100 1
.names pd4 pe4 pf4 pg4 pl0 pn0 [173] [101] pb8
---1---1 1
1--100-- 1
-0-100-- 1
--0100-- 1
-110--1- 1
.names pi2 pq2 py1 px1 nx19 pl6
-101- 1
1000- 1
-0001 1
010-0 1
.names pj2 pk2 pr3 py1 px1 [1771] [1772] pm7
-----11 1
--101-1 1
0010--1 1
.names pr ps0 py1 pi pk pn4
110-- 1
-100- 1
0-011 1
.names pb0 ps px pt1 py1 po5
0--10 1
-0-10 1
111-0 1
.names pg2 pd2 ph2 ph4 pl0 pn0 pb pc8
0--1-01 1
--01-01 1
01--101 1
-10-101 1
.names pj2 pk2 pq3 py1 px1 [1774] [1775] pl7
-----11 1
--101-1 1
0010--1 1
.names pi2 pr2 pq2 py1 px1 nx19 pm6
-100-- 1
-1-01- 1
01-0-0 1
10100- 1
-01001 1
.names pb0 ps pw ps1 py1 pn5
0--10 1
-0-10 1
111-0 1
.names pr pt0 py1 pi pl po4
110-- 1
-100- 1
0-011 1
.names pb0 ps pz pn1 py1 pi5
1--10 1
-0-10 1
011-0 1
.names pn2 po2 py1 [175] [223] pj6
10-1- 1
-10-1 1
.names pj2 pk2 pp3 py1 px1 [1782] [1783] pk7
-----11 1
--101-1 1
0010--1 1
.names pb0 ps py pm1 py1 ph5
1--10 1
-0-10 1
011-0 1
.names pa2 px1 pi4
1- 1
-0 1
.names pj2 pk2 po3 py1 px1 [1784] [1785] pj7
-----11 1
--101-1 1
0010--1 1
.names pn2 po2 pp2 py1 [175] [232] pk6
--10-1 1
110-1- 1
.names pl2 pm2 pc pd pe py1 px1 ph6
01---0- 1
101--0- 1
10-1-0- 1
10--10- 1
10---00 1
1100001 1
.names pj2 pk2 pn3 py1 px1 [1788] [1789] pi7
-----11 1
--101-1 1
0010--1 1
.names py1 [406] pj4
1- 1
-1 1
.names pb0 ps pt pp1 py1 pk5
0--10 1
-0-10 1
111-0 1
.names pj2 pk2 pm3 py1 px1 [1792] [1793] ph7
-----11 1
--101-1 1
0010--1 1
.names pn2 pl2 pm2 pc pd pe py1 px1 pi6
10----0- 1
1-0---0- 1
0111--0- 1
011-1-0- 1
011--10- 1
011---00 1
1--00001 1
.names pa0 pb0 ps po1 py1 pj5
-1-10 1
--010 1
101-0 1
.names [377] [392] [393] [394] [1799] pk4
1---- 1
-1--1 1
--1-1 1
---11 1
.names pq pr py1 pi py0 pt4
-10-1 1
--001 1
1001- 1
.names pp2 pz1 [277] [366] [367] [368] [1812] [1817] pu5
-------1 1
-0-1---- 1
-0--1--- 1
-0---1-- 1
001---1- 1
.names pb3 pa3 pf ph py1 pv6
-10-0 1
-1-00 1
1-110 1
.names pa4 pb4 pl0 pn0 pz3 py3 pw7
0100-- 1
-1000- 1
-100-0 1
100011 1
.names pi2 pn0 pr2 pq2 px1 pt5
-1--- 1
1-110 1
.names pr py1 pi pj pz0 pu4
00--1 1
-00-1 1
1011- 1
.names pa4 pl0 pn0 pz3 py3 pv7
1000- 1
100-0 1
00011 1
.names pc3 pb3 pf ph py1 pw6
-10-0 1
-1-00 1
1-110 1
.names pf ph py1 pz2 py2 pt6
0-0-1 1
-10-1 1
1001- 1
.names pl0 pn0 pz3 py3 pu7
0001 1
0010 1
.names pa1 pr py1 pi pk pv4
100-- 1
1-00- 1
-1011 1
.names pb2 pl0 pn0 [112] [182] [122] pw5
1----1 1
0--01- 1
1001-- 1
.names pl0 pn0 py3 pt7
000 1
.names pf pg ph py1 pz2 pu6
0--01 1
--101 1
1100- 1
.names ph4 py1 [334] [489] [1750] [1751] [1752] pv5
-01---- 1
-0-1--- 1
10--000 1
.names pr pb1 py1 pi pl pw4
010-- 1
-100- 1
1-011 1
.names pr pu0 py1 pi pm pp4
110-- 1
-100- 1
0-011 1
.names pb0 ps pz pv1 py1 pq5
0--10 1
-0-10 1
111-0 1
.names pw2 pf ph py1 px2 pr6
10-0- 1
1-10- 1
-1001 1
.names pg1 ph3 pc pd pe pw1 [259] ps7
----111 1
11--0-1 1
1-0-0-1 1
1--10-1 1
-1-00-1 1
--000-1 1
11---11 1
1-0--11 1
1--1-11 1
-1-0-11 1
--00-11 1
.names pb0 ps py pu1 py1 pp5
0--10 1
-0-10 1
111-0 1
.names pr pv0 py1 pi pn pq4
110-- 1
-100- 1
0-011 1
.names pj2 pk2 pw3 py1 px1 [1823] [1824] pr7
-----11 1
--101-1 1
0010--1 1
.names pf ph py1 px2 py2 ps6
0-01- 1
-101- 1
100-1 1
.names pv2 pf pu2 ph py1 pp6
-01-0 1
--110 1
11-00 1
.names pj2 pk2 pv3 py1 px1 [1825] [1826] pq7
-----11 1
--101-1 1
0010--1 1
.names pr pw0 py1 pi po pr4
110-- 1
-100- 1
0-011 1
.names pc pd pe py1 px1 ps5
---1- 1
000-1 1
.names pj2 pk2 pu3 py1 px1 [1827] [1828] pp7
-----11 1
--101-1 1
0010--1 1
.names pv2 pw2 pf ph py1 pq6
1-0-0 1
1--10 1
-1100 1
.names pa0 pb0 ps pw1 py1 pr5
-0-10 1
--010 1
111-0 1
.names pp pr px0 py1 pi ps4
-110- 1
--100 1
10-01 1
.names pc1 pr py1 pi pm px4
100-- 1
1-00- 1
-1011 1
.names pg2 pd2 ph2 pl0 pn0 pb py5
01--01 1
-10-01 1
0--101 1
--0101 1
.names pf3 pe3 pf ph py1 pz6
-10-0 1
-1-00 1
1-110 1
.names pc2 [182] [101] [156] [1831] px5
1-1-- 1
1--1- 1
-1--1 1
.names pr pd1 py1 pi pn py4
010-- 1
-100- 1
1-011 1
.names pe4 [173] [276] pz7
01- 1
1-1 1
.names pc3 pd3 pf ph py1 px6
1-0-0 1
1--00 1
-1110 1
.names pd4 pa4 pb4 pc4 pl0 pn0 pz3 py3 py7
10--00-- 1
1-0-00-- 1
1--000-- 1
1---000- 1
1---00-0 1
01110011 1
.names pr pe1 py1 pi po pz4
010-- 1
-100- 1
1-011 1
.names pa4 pb4 pc4 pl0 pn0 pz3 py3 px7
0-100-- 1
-0100-- 1
--1000- 1
--100-0 1
1100011 1
.names pe3 pd3 pf ph py1 py6
-10-0 1
-1-00 1
1-110 1
.names ph4 [104] [489] [1750] [1751] [1752] [1834] pz5
-1----- 1
0-0---1 1
--01--1 1
--0-1-1 1
--0--11 1
.names pg0 pj2 pn2 po2 pl2 pm2 pp2 nx19
0-1010- 1
--10101 1
-111100 1
.names pd4 pa4 pb4 pc4 pl0 pn0 pz3 py3 [173]
01110011 1
.names pl2 pm2 pc pd pe py1 px1 [175]
111--0- 1
11-1-0- 1
11--10- 1
11---00 1
.names pn2 pl2 pm2 pc pd pe px1 [223]
0------ 1
-0----- 1
--0---- 1
---0001 1
.names pn2 po2 pl2 pm2 pc pd pe px1 [232]
0------- 1
-0------ 1
--0----- 1
---0---- 1
----0001 1
.names pd4 pe4 pf4 pg4 [112]
0--- 1
-1-- 1
--1- 1
---1 1
.names pa4 pb4 pc4 pl0 pn0 pz3 py3 [182]
1110011 1
.names pd4 pa4 pb4 pc4 pl0 pn0 pz3 py3 [276]
1---00-- 1
-0--00-- 1
--0-00-- 1
---000-- 1
----000- 1
----00-0 1
.names pa4 pb4 pc4 pl0 pn0 pz3 py3 [101]
0--00-- 1
-0-00-- 1
--000-- 1
---000- 1
---00-0 1
.names ph0 pi0 pj0 pk0 pn2 po2 pl2 pm2 [277]
--1-0011 1
---10001 1
1---1010 1
-1--1000 1
.names pa4 pb4 pc4 pl0 pn0 pz3 py3 [122]
0--00-- 1
-0-00-- 1
--000-- 1
---000- 1
---00-0 1
.names pj2 pk2 pi2 pr2 pq2 [181]
000-- 1
00-00 1
.names pa2 pj2 pk2 pi2 pr2 pq2 px1 [245]
0-----1 1
0000--- 1
000-00- 1
.names pj2 pk2 pc pd pe py1 px1 px3 [259]
--1--0-- 1
---1-0-- 1
----10-- 1
-----011 1
00---0-1 1
.names pa2 pe2 ph4 pn0 [492] [1750] [1751] [1752] [104]
-0--1--- 1
10-0---- 1
-010-000 1
.names pb2 pd4 pe4 pf4 pg4 pl0 pn0 [156]
0----00 1
-0---00 1
--1--00 1
---1-00 1
----100 1
.names pa2 pf2 pe2 [334]
10- 1
1-0 1
.names pi2 pr2 pq2 py1 px1 [364]
11100 1
.names pc0 pi2 pq2 py1 px1 [366]
01100 1
.names pj2 pk2 pi3 pi2 pr2 pq2 py1 px1 [367]
1-10--00 1
-110--00 1
1-1-0000 1
-11-0000 1
.names pd0 pi2 pr2 py1 px1 [368]
11100 1
.names pp2 py1 [277] [245] [378] [377]
-0--1 1
0011- 1
.names pa2 pd0 pf2 pe2 pm0 [378]
10011 1
11101 1
.names pc0 pi2 pr2 pq2 py1 px1 pz1 [392]
010100- 1
-111000 1
.names pj2 pk2 pi2 pr2 pq2 py1 px1 [393]
1---000 1
-1--000 1
--11000 1
.names pj2 pk2 pi2 py1 px1 [394]
1-000 1
-1000 1
.names pi2 po0 pr2 pc pq2 pd pe px1 [406]
-1-0-00- 1
1-101000 1
.names pa2 pe2 ph4 [489] [1750] [1751] [1752] [1754] [485]
-0-----1 1
0-00---1 1
0--01--1 1
0--0-1-1 1
0--0--11 1
.names pa2 ph4 pn0 [492] [1750] [1751] [1752] [1755] [486]
---1---1 1
1-0----1 1
-10-0001 1
.names pd2 ph0 pi0 pj0 pk0 pl0 [489]
100001 1
.names pd2 ph0 pi0 pj0 pk0 pl0 pn0 [492]
1000010 1
.names pn2 po2 pl2 pm2 px1 [1719]
0---- 1
-1--- 1
--0-- 1
---1- 1
----1 1
.names pj2 pk2 pm3 pc pd pe py1 px1 [1722]
---1--0- 1
----1-0- 1
-----10- 1
1-1---00 1
-11---00 1
.names pk1 pc pd pv2 pe pu0 [1724]
1---1- 1
100--- 1
1-01-- 1
-00-0- 1
--010- 1
10---1 1
1-1--1 1
1--1-1 1
-0--01 1
--1-01 1
---101 1
.names pj2 pk2 pl3 pc pd pe py1 px1 [1725]
---1--0- 1
----1-0- 1
-----10- 1
1-1---00 1
-11---00 1
.names pj1 pc pd pt0 pe pu2 [1726]
1---1- 1
100--- 1
10-1-- 1
1-11-- 1
-00-0- 1
-0-10- 1
--110- 1
1-0--1 1
1--1-1 1
--0-01 1
---101 1
.names pj2 pk3 pk2 pc pd pe py1 px1 [1731]
---1--0- 1
----1-0- 1
-----10- 1
11----00 1
-11---00 1
.names pi1 pc ps0 pd pe pt2 [1732]
1---1- 1
101--- 1
1-11-- 1
10-0-- 1
-01-0- 1
--110- 1
-0-00- 1
1-1--1 1
1--0-1 1
--1-01 1
---001 1
.names pj2 pj3 pk2 pc pd pe py1 px1 [1733]
---1--0- 1
----1-0- 1
-----10- 1
11----00 1
-11---00 1
.names ph1 ps2 pr0 pc pd pe [1734]
1----1 1
111--- 1
1-10-- 1
1-1-1- 1
11--0- 1
1--00- 1
-11--0 1
--10-0 1
--1-10 1
-1--00 1
---000 1
.names pj2 pn2 po2 pl2 pm2 pp2 [1738]
-0---- 1
---0-- 1
----1- 1
-----1 1
0-1--- 1
.names pa4 pb4 pc4 pz3 py3 [1750]
0---- 1
-0--- 1
--0-- 1
---0- 1
----0 1
.names pf4 pg4 pj0 pk0 [1751]
0-1- 1
1-0- 1
-0-1 1
-1-0 1
.names pd4 pe4 ph0 pi0 [1752]
1-1- 1
0-0- 1
-0-1 1
-1-0 1
.names pn0 pf2 [1754]
01 1
.names pe2 pf2 [1755]
10 1
.names pj2 pk2 pc pd pe pu3 py1 px1 [1758]
--1---0- 1
---1--0- 1
----1-0- 1
1----100 1
-1---100 1
.names pc1 pd3 ps1 pc pd pe [1759]
--1--1 1
111--- 1
1-10-- 1
1-1-1- 1
-11-0- 1
--100- 1
11---0 1
1--0-0 1
1---10 1
-1--00 1
---000 1
.names pa4 pb4 pl0 pn0 pz3 py3 [1764]
110011 1
.names pj2 pk2 pc pd pe pt3 py1 px1 [1766]
--1---0- 1
---1--0- 1
----1-0- 1
1----100 1
-1---100 1
.names pc3 pb1 pc pr1 pd pe [1767]
---1-1 1
11-1-- 1
-101-- 1
-1-11- 1
1--10- 1
--010- 1
11---0 1
-10--0 1
-1--10 1
1---00 1
--0-00 1
.names pj2 pk2 ps3 pc pd pe py1 px1 [1771]
---1--0- 1
----1-0- 1
-----10- 1
1-1---00 1
-11---00 1
.names pa1 pb3 pq1 pc pd pe [1772]
--1--1 1
111--- 1
1-10-- 1
1-1-1- 1
-11-0- 1
--100- 1
11---0 1
1--0-0 1
1---10 1
-1--00 1
---000 1
.names pj2 pk2 pr3 pc pd pe py1 px1 [1774]
---1--0- 1
----1-0- 1
-----10- 1
1-1---00 1
-11---00 1
.names pa3 pp1 pc pd pe pz0 [1775]
-1--1- 1
11-0-- 1
-100-- 1
1--00- 1
--000- 1
11---1 1
-10--1 1
-1-1-1 1
1---01 1
--0-01 1
---101 1
.names pj2 pk2 pq3 pc pd pe py1 px1 [1782]
---1--0- 1
----1-0- 1
-----10- 1
1-1---00 1
-11---00 1
.names po1 pc pd pe pz2 py0 [1783]
1--1-- 1
100--- 1
-000-- 1
1-0-1- 1
--001- 1
10---1 1
1-1--1 1
-0-0-1 1
--10-1 1
1---11 1
---011 1
.names pj2 pk2 pc pp3 pd pe py1 px1 [1784]
--1---0- 1
----1-0- 1
-----10- 1
1--1--00 1
-1-1--00 1
.names pn1 pc pd pe px0 py2 [1785]
1--1-- 1
100--- 1
-000-- 1
10--1- 1
1-1-1- 1
-0-01- 1
--101- 1
1-0--1 1
--00-1 1
1---11 1
---011 1
.names pj2 pk2 po3 pc pd pe py1 px1 [1788]
---1--0- 1
----1-0- 1
-----10- 1
1-1---00 1
-11---00 1
.names pm1 pc pd pe pw0 px2 [1789]
1--1-- 1
100--- 1
-000-- 1
10--1- 1
1-1-1- 1
-0-01- 1
--101- 1
1-0--1 1
--00-1 1
1---11 1
---011 1
.names pj2 pk2 pn3 pc pd pe py1 px1 [1792]
---1--0- 1
----1-0- 1
-----10- 1
1-1---00 1
-11---00 1
.names pl1 pc pd pe pw2 pv0 [1793]
1--1-- 1
100--- 1
-000-- 1
1-0-1- 1
--001- 1
10---1 1
1-1--1 1
-0-0-1 1
--10-1 1
1---11 1
---011 1
.names pa2 pd0 pi3 pi2 pr2 pq2 [1799]
011--- 1
0-10-- 1
0-1-0- 1
0-1--1 1
0--1-1 1
01-11- 1
.names pd0 pi2 pr2 px1 [1808]
---1 1
011- 1
.names pc0 pj2 pk2 pi3 pi2 pr2 pq2 [1809]
-1-00-- 1
--100-- 1
1---1-1 1
-1-0-00 1
--10-00 1
.names pj2 pk2 pi2 pr2 pq2 py1 px1 [1812]
000--00 1
00-0000 1
.names pp2 py1 pz1 [277] [181] [364] [1808] [1809] [1817]
-----1-- 1
-01---1- 1
-01----1 1
101-1--- 1
-0101--- 1
.names pj2 pk2 pc pd pe py1 px1 px3 [1823]
--1--0-- 1
---1-0-- 1
----10-- 1
1----001 1
-1---001 1
.names pg3 pf1 pc pd pe pv1 [1824]
----11 1
11--0- 1
-10-0- 1
-1-10- 1
1--00- 1
--000- 1
11---1 1
-10--1 1
-1-1-1 1
1--0-1 1
--00-1 1
.names pj2 pk2 pc pd pw3 pe py1 px1 [1825]
--1---0- 1
---1--0- 1
-----10- 1
1---1-00 1
-1--1-00 1
.names pe1 pf3 pc pd pu1 pe [1826]
----11 1
11--1- 1
1-0-1- 1
1--11- 1
-1-01- 1
--001- 1
11---0 1
1-0--0 1
1--1-0 1
-1-0-0 1
--00-0 1
.names pj2 pk2 pc pd pe pv3 py1 px1 [1827]
--1---0- 1
---1--0- 1
----1-0- 1
1----100 1
-1---100 1
.names pd1 pe3 pc pd pe pt1 [1828]
----11 1
11--0- 1
1-0-0- 1
1--10- 1
-1-00- 1
--000- 1
11---1 1
1-0--1 1
1--1-1 1
-1-0-1 1
--00-1 1
.names pb2 pd4 pc2 pe4 pf4 pg4 [1831]
110000 1
.names pa2 pe2 pn0 [1834]
010 1
.end