.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 pk2 py1 [552] [1719] pf6
101- 1
10-1 1
0000 1
.names [185] [184] [117] [547] [548] pg7
111-- 1
11-1- 1
11--1 1
.names pb0 ps pu pi1 py1 pd5
1--10 1
-0-10 1
011-0 1
.names [189] [188] [117] [542] [543] pf7
111-- 1
11-1- 1
11--1 1
.names pl2 py1 na19 pg6
001 1
100 1
.names pi2 py1 [536] pd6
--1 1
10- 1
.names [193] [192] [117] [533] [534] pe7
111-- 1
11-1- 1
11--1 1
.names pb0 ps px pl1 py1 pg5
1--10 1
-0-10 1
011-0 1
.names [197] [196] [117] [528] [529] pd7
111-- 1
11-1- 1
11--1 1
.names py1 [200] pe6
01 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 pn0 [281] [485] [492] [1755] pa6
--1-- 1
---11 1
01--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 [204] [203] [117] [474] [475] po7
111-- 1
11-1- 1
11--1 1
.names nd17 [177] [467] [1763] pa8
--1- 1
11-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 [208] [207] [117] [459] [460] pn7
111-- 1
11-1- 1
11--1 1
.names pf pt2 pu2 ph py1 po6
01--0 1
-1-10 1
1-100 1
.names pd4 [120] nm24 [454] [1769] pb8
---1- 1
011-1 1
.names pi2 pq2 py1 px1 nx19 pl6
-101- 1
1000- 1
-0001 1
010-0 1
.names [213] [212] [117] [444] [445] pm7
111-- 1
11-1- 1
11--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 ph2 pb [217] pc8
0-11 1
-011 1
.names [219] [218] [117] [435] [436] pl7
111-- 1
11-1- 1
11--1 1
.names pr2 pq2 [118] [433] [449] pm6
---1- 1
011-- 1
01--1 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 pl2 pm2 ps5 [425] [1781] pj6
---1- 1
110-1 1
.names [225] [224] [117] [422] [423] pk7
111-- 1
11-1- 1
11--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 [229] [228] [117] [417] [418] pj7
111-- 1
11-1- 1
11--1 1
.names pl2 pm2 ps5 [179] [415] pk6
----1 1
1101- 1
.names pl2 pm2 py1 na19 ph6
010- 1
1001 1
1100 1
.names [236] [235] [117] [408] [409] pi7
111-- 1
11-1- 1
11--1 1
.names pc pd pe py1 [239] pj4
---1- 1
000-1 1
.names pb0 ps pt pp1 py1 pk5
0--10 1
-0-10 1
111-0 1
.names [241] [240] [117] [401] [402] ph7
111-- 1
11-1- 1
11--1 1
.names pn2 pl2 pm2 py1 na19 pi6
10-0- 1
1-00- 1
1--00 1
01101 1
.names pa0 pb0 ps po1 py1 pj5
-1-10 1
--010 1
101-0 1
.names [246] [377] [393] [1796] [1798] pk4
-1--- 1
1-1-1 1
1--11 1
.names pq pr py1 pi py0 pt4
-10-1 1
--001 1
1001- 1
.names pz1 nq12 [1812] [1816] [1817] pu5
----1 1
0--1- 1
011-- 1
.names pb3 pa3 pf ph py1 pv6
-10-0 1
-1-00 1
1-110 1
.names pa4 pb4 [120] [251] pw7
-1-1 1
101- 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 [120] nm24 [339] [1821] pw5
--1- 1
11-1 1
.names pl0 pn0 py3 pt7
000 1
.names pf pg ph py1 pz2 pu6
0--01 1
--101 1
1100- 1
.names pl0 py1 [174] [334] [490] pv5
-0-1- 1
-0--1 1
101-- 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 pe pw1 [117] [324] [1822] ps7
0-1-1 1
-11-1 1
0--11 1
-1-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 [261] [260] [117] [317] [318] pr7
111-- 1
11-1- 1
11--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 [265] [264] [117] [310] [311] pq7
111-- 1
11-1- 1
11--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 [269] [268] [117] [305] [306] pp7
111-- 1
11-1- 1
11--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 pd2 pl0 pn0 [1829] py5
1-01 1
-101 1
.names pf3 pe3 pf ph py1 pz6
-10-0 1
-1-00 1
1-110 1
.names [120] [112] nm24 [155] [1830] px5
---1- 1
101-1 1
.names pr pd1 py1 pi pn py4
010-- 1
-100- 1
1-011 1
.names pd4 pe4 [120] nm24 [131] pz7
----1 1
0011- 1
.names pc3 pd3 pf ph py1 px6
1-0-0 1
1--00 1
-1110 1
.names pd4 pz3 py3 [103] nm24 py7
10-1- 1
1-01- 1
1--10 1
01111 1
.names pr pe1 py1 pi po pz4
010-- 1
-100- 1
1-011 1
.names pc4 [126] [107] [470] px7
--1- 1
11-- 1
1--1 1
.names pe3 pd3 pf ph py1 py6
-10-0 1
-1-00 1
1-110 1
.names pl0 [174] [104] [490] [1834] pz5
--1-- 1
0--01 1
-0-01 1
.names pc pd pv2 pe pu0 [185]
---1- 1
00--- 1
-01-- 1
0---1 1
-1--1 1
--1-1 1
.names pk1 pe [184]
1- 1
-0 1
.names pc pd pt0 pe pu2 [189]
---1- 1
00--- 1
0-1-- 1
-11-- 1
-0--1 1
--1-1 1
.names pj1 pe [188]
1- 1
-0 1
.names pc pd pe px1 na19
1--- 1
-1-- 1
--1- 1
---0 1
.names pg0 pp2 [179] [119] [1730] nx19
0--1- 1
-1-1- 1
--1-1 1
.names py1 px1 [176]
00 1
.names pc ps0 pd pe pt2 [193]
---1- 1
01--- 1
-11-- 1
0-0-- 1
-1--1 1
--0-1 1
.names pi1 pe [192]
1- 1
-0 1
.names ps2 pr0 pc pd pe [197]
----1 1
11--- 1
-10-- 1
-1-1- 1
1--0- 1
--00- 1
.names ph1 pe [196]
1- 1
-0 1
.names pj2 px1 [520] [1736] [1737] [200]
11--- 1
1-1-- 1
1--1- 1
1---1 1
00000 1
.names pd3 ps1 pc pd pe [204]
11--- 1
-10-- 1
-1-1- 1
-1--1 1
1---0 1
--0-0 1
---10 1
.names pc1 pd pe [203]
1-- 1
-0- 1
--1 1
.names pa4 pb4 pz3 nd17
111 1
.names pl0 pn0 py3 [177]
001 1
.names pb1 pr1 pd pe [208]
11-- 1
-10- 1
-1-1 1
1--0 1
--00 1
.names pc3 pc pd pe [207]
1--- 1
-0-- 1
--1- 1
---1 1
.names pb3 pq1 pc pd pe [213]
11--- 1
-10-- 1
-1-1- 1
-1--1 1
1---0 1
--0-0 1
---10 1
.names pa1 pd pe [212]
1-- 1
-0- 1
--1 1
.names pd2 ph4 pl0 pn0 [217]
-1-0 1
1-10 1
.names pp1 pd pe pz0 [219]
10-- 1
1-1- 1
-00- 1
1--1 1
--01 1
.names pa3 pc pd pe [218]
1--- 1
-0-- 1
--1- 1
---1 1
.names pc pd pe pz2 py0 [225]
--1-- 1
00--- 1
-0-1- 1
0---1 1
-1--1 1
---11 1
.names po1 pe [224]
1- 1
-0 1
.names pc pd pe px0 py2 [229]
--1-- 1
00--- 1
0--1- 1
-1-1- 1
-0--1 1
---11 1
.names pn1 pe [228]
1- 1
-0 1
.names pn2 po2 pp2 [179]
110 1
.names pc pd pe pw0 px2 [236]
--1-- 1
00--- 1
0--1- 1
-1-1- 1
-0--1 1
---11 1
.names pm1 pe [235]
1- 1
-0 1
.names pi2 po0 pr2 pq2 px1 [239]
-1--- 1
1-110 1
.names pc pd pe pw2 pv0 [241]
--1-- 1
00--- 1
-0-1- 1
0---1 1
-1--1 1
---11 1
.names pl1 pe [240]
1- 1
-0 1
.names pi3 pi2 pr2 pq2 [246]
1--- 1
-11- 1
-1-1 1
.names pi2 pr2 py1 px1 [180]
1100 1
.names pl0 pn0 pz3 py3 [120]
0011 1
.names pa4 pl0 pn0 pz3 py3 [251]
000-- 1
-000- 1
-00-0 1
.names pl0 pn0 pz3 py3 [126]
000- 1
00-0 1
.names pd4 pe4 pf4 pg4 [112]
0--- 1
-1-- 1
--1- 1
---1 1
.names pl0 pn0 [103]
00 1
.names pf1 pd pe pv1 [261]
1-0- 1
-00- 1
1--1 1
-0-1 1
--11 1
.names pg3 pc pd pe [260]
1--- 1
-0-- 1
--1- 1
---1 1
.names pf3 pc pd pu1 pe [265]
1--1- 1
-0-1- 1
--11- 1
---11 1
1---0 1
-0--0 1
--1-0 1
.names pe1 pd pe [264]
1-- 1
-0- 1
--1 1
.names pe3 pc pd pe pt1 [269]
1--0- 1
-0-0- 1
--10- 1
1---1 1
-0--1 1
--1-1 1
---11 1
.names pd1 pd pe [268]
1-- 1
-0- 1
--1 1
.names pa4 pb4 pc4 nm24
111 1
.names po2 pp2 [385] [386] [387] nq12
-01-- 1
00-1- 1
00--1 1
.names pd2 ph0 pi0 pj0 pk0 [174]
10000 1
.names pn2 po2 pl2 pm2 [119]
1010 1
.names pg0 pp2 [280]
0- 1
-1 1
.names pi2 pr2 pq2 [102]
0-- 1
-00 1
.names pa2 ph4 [1750] [1751] [1752] [281]
1---- 1
-1000 1
.names pj2 pk2 py1 px1 [114]
1-00 1
-100 1
.names pc pd pe py1 [117]
1--0 1
-1-0 1
--10 1
.names pi2 py1 px1 [118]
100 1
.names pa4 pb4 pc4 pz3 [284]
0--- 1
-0-- 1
--0- 1
---0 1
.names pj2 pk2 pi2 pr2 pq2 [181]
000-- 1
00-00 1
.names pa2 px1 [181] [245]
01- 1
0-1 1
.names pb2 pd4 pe4 pf4 pg4 [275]
0---- 1
-0--- 1
--1-- 1
---1- 1
----1 1
.names pe2 pl0 pn0 [174] [281] [104]
0-0-1 1
0101- 1
.names pa4 pb4 pc4 pz3 [177] [107]
11011 1
.names pd4 pe4 py3 [103] [284] [131]
11-1- 1
-101- 1
-1-11 1
.names pc2 [126] [103] nm24 [275] [155]
11--- 1
1-10- 1
1-1-1 1
.names pj2 pk2 pu3 py1 px1 [305]
--101 1
0010- 1
.names pj2 pk2 pv3 py1 px1 [306]
1-100 1
-1100 1
.names pj2 pk2 pv3 py1 px1 [310]
--101 1
0010- 1
.names pj2 pk2 pw3 py1 px1 [311]
1-100 1
-1100 1
.names pj2 pk2 pw3 py1 px1 [317]
--101 1
0010- 1
.names pj2 pk2 py1 px1 px3 [318]
1-001 1
-1001 1
.names pj2 pk2 py1 px1 px3 [324]
--011 1
000-1 1
.names pa2 pf2 pe2 [334]
10- 1
1-0 1
.names pb2 py3 [112] [103] [284] [339]
10-1- 1
1-11- 1
1--11 1
.names pi2 pr2 pq2 py1 px1 [364]
11100 1
.names pc0 pi2 pq2 py1 px1 [366]
01100 1
.names pd0 pi2 pr2 py1 px1 [368]
11100 1
.names pc0 pi2 pq2 [370]
111 1
.names py1 nq12 [245] [378] [377]
0--1 1
011- 1
.names pa2 pd0 pf2 pe2 pm0 [378]
10011 1
11101 1
.names ph0 pn2 po2 pl2 pm2 [385]
11010 1
.names pi0 pn2 pl2 pm2 [386]
1100 1
.names pj0 pk0 pn2 pl2 pm2 [387]
1-011 1
-1001 1
.names pq2 [180] [114] [393]
01- 1
0-1 1
.names pj2 pk2 pi2 py1 px1 [394]
1-000 1
-1000 1
.names pj2 pk2 pm3 py1 px1 [401]
--101 1
0010- 1
.names pj2 pk2 pn3 py1 px1 [402]
1-100 1
-1100 1
.names pj2 pk2 pn3 py1 px1 [408]
--101 1
0010- 1
.names pj2 pk2 po3 py1 px1 [409]
1-100 1
-1100 1
.names pl2 pm2 na19 [1786] [1787] [415]
0---1 1
-0--1 1
--0-1 1
---11 1
.names pj2 pk2 po3 py1 px1 [417]
--101 1
0010- 1
.names pj2 pk2 pp3 py1 px1 [418]
1-100 1
-1100 1
.names pj2 pk2 pp3 py1 px1 [422]
--101 1
0010- 1
.names pj2 pk2 pq3 py1 px1 [423]
1-100 1
-1100 1
.names pn2 pl2 pm2 na19 [1779] [425]
0---1 1
-0--1 1
--0-1 1
---01 1
.names pr2 pq2 py1 px1 [451] [433]
100-- 1
1-01- 1
1-0-1 1
.names pj2 pk2 pq3 py1 px1 [435]
--101 1
0010- 1
.names pj2 pk2 pr3 py1 px1 [436]
1-100 1
-1100 1
.names pj2 pk2 pr3 py1 px1 [444]
--101 1
0010- 1
.names pj2 pk2 ps3 py1 px1 [445]
1-100 1
-1100 1
.names [176] [179] [119] [280] [1730] [449]
1-11- 1
11--1 1
.names pi2 [179] [119] [280] [1730] [451]
000-- 1
00-0- 1
0-0-0 1
0--00 1
.names pg4 [126] [455] [468] [470] [454]
11--- 1
1-1-- 1
1--1- 1
1---1 1
.names pf4 pl0 pn0 [455]
000 1
.names pj2 pk2 ps3 py1 px1 [459]
--101 1
0010- 1
.names pj2 pk2 pt3 py1 px1 [460]
1-100 1
-1100 1
.names pf4 [126] [468] [470] [467]
11-- 1
1-1- 1
1--1 1
.names pd4 pe4 pl0 pn0 [468]
1-00 1
-000 1
.names pa4 pb4 pc4 pl0 pn0 [470]
0--00 1
-0-00 1
--000 1
.names pj2 pk2 pt3 py1 px1 [474]
--101 1
0010- 1
.names pj2 pk2 pu3 py1 px1 [475]
1-100 1
-1100 1
.names pa2 pe2 [489] [490] [1754] [485]
-0--1 1
0-001 1
.names pl0 [174] [489]
11 1
.names ph4 [1750] [1751] [1752] [490]
1000 1
.names pl0 pn0 [174] [492]
101 1
.names pe0 pf0 pg0 po2 [520]
--00 1
00-0 1
.names pj2 pk2 pi3 py1 px1 [528]
--101 1
0010- 1
.names pj2 pj3 pk2 py1 px1 [529]
11-00 1
-1100 1
.names pj2 pj3 pk2 py1 px1 [533]
-1-01 1
0100- 1
.names pj2 pk3 pk2 py1 px1 [534]
11-00 1
-1100 1
.names [176] [179] [119] [280] [1730] [536]
1-11- 1
11--1 1
.names pj2 pk3 pk2 py1 px1 [542]
-1-01 1
0100- 1
.names pj2 pk2 pl3 py1 px1 [543]
1-100 1
-1100 1
.names pj2 pk2 pl3 py1 px1 [547]
--101 1
0010- 1
.names pj2 pk2 pm3 py1 px1 [548]
1-100 1
-1100 1
.names pe0 pf0 pg0 pp2 [552]
1--0 1
-1-0 1
--00 1
.names pn2 po2 pl2 pm2 px1 [1719]
0---- 1
-1--- 1
--0-- 1
---1- 1
----1 1
.names pj2 pl2 pm2 [1730]
110 1
.names pp2 pm2 [1736]
1- 1
-1 1
.names pj2 pn2 po2 pl2 [1737]
-0-- 1
---0 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 pd4 pe4 pf4 pc4 [1763]
0101 1
.names pe4 pf4 pg4 [1769]
110 1
.names py1 po2 [1779]
01 1
.names po2 pn2 [1781]
01 1
.names po2 pn2 [1786]
0- 1
-0 1
.names py1 pp2 [1787]
01 1
.names pi2 pq2 py1 px1 [1795]
1100 1
.names pc0 pr2 pz1 [394] [1795] [1796]
---1- 1
00--1 1
-10-1 1
.names pa2 pd0 pi2 pr2 pq2 [1798]
01--- 1
0-0-- 1
0--0- 1
0---1 1
.names pj2 pk2 pi3 [1806]
1-0 1
-10 1
.names pd0 pi2 pr2 px1 [1808]
---1 1
011- 1
.names [102] [370] [1806] [1808] [1810]
-1-- 1
---1 1
1-1- 1
.names pz1 py1 [1811]
10 1
.names py1 px1 [181] [1812]
001 1
.names pi3 pi2 pr2 pq2 [1814]
10-- 1
1-00 1
.names [114] [366] [368] [1814] [1816]
-1-- 1
--1- 1
1--1 1
.names nq12 [181] [364] [1810] [1811] [1817]
--1-- 1
---11 1
01--1 1
.names pb2 pd4 pe4 pf4 pg4 [1821]
01000 1
.names pg1 ph3 pc pd pe [1822]
----1 1
11--- 1
1-0-- 1
1--1- 1
-1-0- 1
--00- 1
.names pg2 ph2 pb [1829]
0-1 1
-01 1
.names pc2 pb2 [1830]
01 1
.names pa2 pe2 pn0 [1834]
010 1
.end