.model top
.inputs pa1 pb2 pp pa0 pc2 pq pb0 pc1 pr pa2 pb1 pc0 ps pd0 pe1 pf2 pt pd1 pe0 \
pg2 pu pd2 pf0 pg1 pv pe2 pf1 pg0 pw ph0 pi1 px ph1 pi0 py ph2 pj0 pk1 pz pj1 \
pk0 pl0 pm1 pl1 pm0 pn0 po1 pn1 po0 pp0 pq1 pa pp1 pq0 pb pr0 ps1 pr1 ps0 pd \
pt0 pu1 pe pt1 pu0 pf pv0 pw1 pg pv1 pw0 ph px0 py1 pi px1 py0 pj pz0 pk pz1 \
pl pm pn po
.outputs pc3 pd4 pb3 pe4 pa3 pf4 pg4 pg3 pa4 pf3 pb4 pe3 pc4 pd3 pj2 pk3 pl4 \
pj3 pk2 pm4 pi3 pn4 ph3 pi2 po4 ph4 pn2 po3 pi4 pn3 po2 pj4 pl2 pm3 pk4 pl3 \
pm2 pr2 ps3 pt4 pr3 ps2 pu4 pp2 pq3 pv4 pp3 pq2 pp4 pv2 pw3 pq4 pv3 pw2 pr4 \
pt2 pu3 ps4 pt3 pu2 pz2 pz3 px2 py3 px3 py2
.names pn0 pp0 pu0 pc3
10- 1
-11 1
.names [185] [186] [187] [188] pd4
1--- 1
-1-- 1
--1- 1
---1 1
.names pm0 pp0 pv0 pb3
10- 1
-11 1
.names [180] [181] [182] pe4
1-- 1
-1- 1
--1 1
.names pl0 pp0 pw0 pa3
10- 1
-11 1
.names [175] [176] [177] pf4
1-- 1
-1- 1
--1 1
.names [172] [173] [174] pg4
1-- 1
-1- 1
--1 1
.names pb2 pc2 pa2 pb ps0 pf pg pg3
-0-0001 1
1-10001 1
.names pf2 pg2 pe2 ph2 pl1 pr0 na10 pa4
1-11101 1
0-01101 1
0-10101 1
1-00101 1
0111111 1
1011111 1
1101111 1
0001111 1
1110111 1
0010111 1
0100111 1
1000111 1
.names pc2 pa pb pf pg pf3
-0--- 1
--1-- 1
0--01 1
.names pf2 pg2 pe2 ph2 pm1 pr0 na10 pb4
1-11101 1
0-01101 1
0-10101 1
1-00101 1
0111111 1
1011111 1
1101111 1
0001111 1
1110111 1
0010111 1
0100111 1
1000111 1
.names pc2 pk2 [69] [666] [669] [670] pe3
0-1--- 1
-1-1-- 1
--1-1- 1
--1--1 1
.names pf2 pg2 pe2 ph2 pn1 pr0 na10 pc4
1-11101 1
0-01101 1
0-10101 1
1-00101 1
0111111 1
1011111 1
1101111 1
0001111 1
1110111 1
0010111 1
0100111 1
1000111 1
.names po0 pp0 pt0 pd3
10- 1
-11 1
.names pb2 pc2 pa2 pb pj2
-0-0 1
1-10 1
0-00 1
.names pf2 pe2 ph2 pv0 [663] pk3
11111 1
00111 1
01011 1
10011 1
.names pb2 pc2 pa2 pb pf [674] pl4
111001 1
.names pf2 pe2 ph2 pu0 [663] pj3
11111 1
00111 1
01011 1
10011 1
.names pb2 pc2 pa2 pp1 pb py1 pk2
01110- 1
110-01 1
.names pb2 pc2 pa2 pb pz1 [676] pm4
-----1 1
---11- 1
01101- 1
11001- 1
.names pf2 pe2 ph2 pt0 [663] pi3
11111 1
00111 1
01011 1
10011 1
.names pa pb pd pe pn4
1001 1
.names pf2 pe2 ph2 pg [663] ph3
11111 1
00111 1
01011 1
10011 1
.names pb2 pc2 pa2 pb1 pp0 pb ph pi2
---11-- 1
----0-1 1
0---10- 1
-1--10- 1
--0-10- 1
.names [669] [670] [684] [688] [689] po4
---1- 1
----1 1
001-- 1
.names [133] [134] [135] ph4
1-- 1
-1- 1
--1 1
.names py po1 pp0 pn2
-11 1
1-0 1
.names pf2 pe2 ph2 pz0 [663] po3
11111 1
00111 1
01011 1
10011 1
.names [128] [129] [130] pi4
1-- 1
-1- 1
--1 1
.names pf2 pe2 ph2 py0 [663] pn3
11111 1
00111 1
01011 1
10011 1
.names pz pn1 pp0 po2
-11 1
1-0 1
.names [123] [124] [125] pj4
1-- 1
-1- 1
--1 1
.names pb2 pc2 pb1 pb pl2
1010 1
.names pf2 pe2 ph2 px0 [663] pm3
11111 1
00111 1
01011 1
10011 1
.names [121] [122] pk4
1- 1
-1 1
.names pf2 pe2 ph2 pw0 [663] pl3
11111 1
00111 1
01011 1
10011 1
.names pb2 pc2 pa2 pb pm2
0--0 1
-1-0 1
--00 1
.names pc0 pk1 pp0 pr2
-11 1
1-0 1
.names pf2 pd1 pg2 pe2 ph2 pr0 na10 ps3
11-1101 1
01-0101 1
01-1001 1
11-0001 1
0111111 1
1101111 1
1110111 1
0100111 1
1111011 1
0101011 1
0110011 1
1100011 1
.names pf2 nf10 pt4
11 1
.names pc1 pf2 pg2 pe2 ph2 pr0 na10 pr3
11-1101 1
10-0101 1
10-1001 1
11-0001 1
1011111 1
1101111 1
1110111 1
1000111 1
1111011 1
1001011 1
1010011 1
1100011 1
.names pd0 pj1 pp0 ps2
-11 1
1-0 1
.names pb2 pc2 pa2 pg2 pb pf nf10 pu4
---1--1 1
100-01- 1
.names pa0 pm1 pp0 pp2
-11 1
1-0 1
.names pb1 pf2 pg2 pe2 ph2 pr0 na10 pq3
11-1101 1
10-0101 1
10-1001 1
11-0001 1
1011111 1
1101111 1
1110111 1
1000111 1
1111011 1
1001011 1
1010011 1
1100011 1
.names pb2 pc2 pa2 pe2 ph2 pb pf pv4
011110- 1
110110- 1
111-100 1
.names pa1 pg2 pr0 pg na10 [68] pp3
1-0-11 1
-01111 1
-11110 1
.names pb0 pl1 pp0 pq2
-11 1
1-0 1
.names pb2 pc2 pb pf [669] [670] [703] pp4
------1 1
-000--- 1
1-011-- 1
1-01-1- 1
.names pg1 pg0 pp0 pv2
1-1 1
-10 1
.names pf2 pg2 pe2 ph1 ph2 pr0 na10 pw3
1-11101 1
0-01101 1
0-11001 1
1-01001 1
0111111 1
1011111 1
1101111 1
0001111 1
1111011 1
0011011 1
0101011 1
1001011 1
.names pb2 pc2 pb pf [669] [670] [706] pq4
------1 1
-000--- 1
1-011-- 1
1-01-1- 1
.names pf2 pg2 pg1 pe2 ph2 pr0 na10 pv3
1-11101 1
0-10101 1
0-11001 1
1-10001 1
0111111 1
1011111 1
1110111 1
0010111 1
1111011 1
0011011 1
0110011 1
1010011 1
.names pa1 ph0 pp0 pw2
1-1 1
-10 1
.names pd2 nf10 pr4
11 1
.names pe0 pi1 pp0 pt2
-11 1
1-0 1
.names pf2 pg2 pe2 pf1 ph2 pr0 na10 pu3
1-11101 1
0-01101 1
0-11001 1
1-01001 1
0111111 1
1011111 1
1101111 1
0001111 1
1111011 1
0011011 1
0101011 1
1001011 1
.names pb2 pc2 pb pf [89] [669] [670] ps4
----1-- 1
1001--- 1
1-01-1- 1
1-01--1 1
.names pe1 pf2 pg2 pe2 ph2 pr0 na10 pt3
11-1101 1
10-0101 1
10-1001 1
11-0001 1
1011111 1
1101111 1
1110111 1
1000111 1
1111011 1
1001011 1
1010011 1
1100011 1
.names pf0 ph1 pp0 pu2
-11 1
1-0 1
.names pk0 pp0 px0 pz2
10- 1
-11 1
.names pf2 pg2 pe2 ph2 pk1 pr0 na10 pz3
1-11101 1
0-01101 1
0-10101 1
1-00101 1
0111111 1
1011111 1
1101111 1
0001111 1
1110111 1
0010111 1
0100111 1
1000111 1
.names pi0 pp0 pz0 px2
10- 1
-11 1
.names pf2 pg2 pe2 ph2 pj1 pr0 na10 py3
1-11101 1
0-01101 1
0-10101 1
1-00101 1
0111111 1
1011111 1
1101111 1
0001111 1
1110111 1
0010111 1
0100111 1
1000111 1
.names pf2 pg2 pe2 pi1 ph2 pr0 na10 px3
1-11101 1
0-01101 1
0-11001 1
1-01001 1
0111111 1
1011111 1
1101111 1
0001111 1
1111011 1
0011011 1
0101011 1
1001011 1
.names pj0 pp0 py0 py2
10- 1
-11 1
.names pb2 pb pf [69]
101 1
.names pb2 pc2 pa2 pb pf na10
11100 1
.names pb2 pc2 pa2 pe2 ph2 pb pf nf10
111--00 1
011110- 1
110110- 1
011000- 1
110000- 1
.names pf2 pe2 ph2 [68]
111 1
001 1
010 1
100 1
.names pb2 pc2 pa2 pe2 ph2 pb pf [89]
011110- 1
110110- 1
1111-00 1
.names pb2 pc2 pa2 pb1 px pb pf [121]
1001101 1
.names pb2 pp pc2 pa2 pb1 pb pf [122]
1100001 1
.names pb2 pc2 pa2 pb1 pw pb pf [123]
1001101 1
.names pb2 pc2 pa2 pb1 pb pf po [124]
1000011 1
.names pb2 pc2 pa2 pe2 ph2 pb pw1 [125]
0111101 1
0110001 1
.names pb2 pc2 pa2 pb1 pv pb pf [128]
1001101 1
.names pb2 pc2 pa2 pb1 pb pf pn [129]
1000011 1
.names pb2 pc2 pa2 pe2 ph2 pb pv1 [130]
0111101 1
0110001 1
.names pb2 pc2 pa2 pb1 pu pb pf [133]
1001101 1
.names pb2 pc2 pa2 pb1 pb pf pm [134]
1000011 1
.names pb2 pc2 pa2 pe2 ph2 pb pu1 [135]
0111101 1
0110001 1
.names pb2 pc2 pa2 pb1 pt pb pf [172]
1001101 1
.names pb2 pc2 pa2 pb1 pb pf pl [173]
1000011 1
.names pb2 pc2 pa2 pe2 ph2 pb pt1 [174]
0111101 1
0110001 1
.names pb2 pc2 pa2 pb1 ps pb pf [175]
1001101 1
.names pb2 pc2 pa2 pb1 pb pf pk [176]
1000011 1
.names pb2 pc2 pa2 pe2 ph2 pb ps1 [177]
0111101 1
0110001 1
.names pb2 pc2 pr pa2 pb1 pb pf [180]
1010101 1
.names pb2 pc2 pa2 pb1 pb pf pj [181]
1000011 1
.names pb2 pc2 pa2 pe2 ph2 pb pr1 [182]
0111101 1
0110001 1
.names pb2 pc2 pq pa2 pb1 pb pf [185]
1010101 1
.names pb2 pc2 pa2 pb1 pb pf pi [186]
1000011 1
.names pb2 pc2 pa2 pe2 ph2 pb py1 [187]
0111101 1
0110001 1
.names pb2 pc2 pa2 pe2 ph2 pq1 pb [188]
0111110 1
0110010 1
.names pb2 pc2 pa2 pb pr0 pf [663]
111000 1
.names pe2 ph2 pq0 [666]
110 1
000 1
.names pa2 pg2 pd2 pr0 [669]
11-0 1
1-00 1
.names pa2 pf2 pe2 ph2 pr0 ps0 px1 [670]
10--0-- 1
1-0-0-- 1
1--00-- 1
1---00- 1
1---0-1 1
.names pf2 pg2 pd2 pe2 ph2 [674]
01001 1
.names pb2 pc2 pa2 pe2 ph2 pa pb [676]
-----0- 1
------1 1
0-0---- 1
01101-0 1
11001-0 1
01110-0 1
11010-0 1
.names pb2 pc2 pa2 pb pr0 pf [684]
111001 1
.names pb2 pc2 pa2 pp0 pb pr0 pf [688]
001100- 1
1110011 1
.names pb2 pc2 pa2 pb pf [689]
-0-00 1
1000- 1
.names pb2 pc2 pa2 pp0 pb pf [703]
101-0- 1
-0110- 1
1-1101 1
.names pb2 pc2 pa2 pe2 ph2 pb [706]
10---0 1
1-0010 1
1-0100 1
011010 1
011100 1
.end