.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 pl4 px ph1 pi0 pj3 pk2 pm4 py ph2 pi3 pj0 \
pk1 pn4 pz ph3 pi2 pj1 pk0 ph4 pl0 pm1 pn2 po3 pi4 pl1 pm0 pn3 po2 pj4 pl2 pm3 \
pn0 po1 pk4 pl3 pm2 pn1 po0 pp0 pq1 pr2 ps3 pa pp1 pq0 pr3 ps2 pb pp2 pq3 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 ph8 pi9 pd5 pf7 pg6 ph9 pi8 pd6 pe7 pg5 pj8 pk9 pd7 pe6 \
pf5 pj9 pk8 pa5 pb6 pc7 pl8 pm9 pb7 pc6 pl9 pm8 pa7 pc5 pn8 po9 pa6 pb5 pn9 \
po8 pa9 pm5 pn6 po7 pa8 pl5 pn7 po6 pb8 pc9 pl6 pm7 po5 pb9 pc8 pl7 pm6 pn5 \
po4 pd8 pe9 pi5 pj6 pk7 pd9 pe8 ph5 pj7 pk6 pf8 pg9 ph6 pi7 pk5 pf9 pg8 ph7 \
pi6 pj5 pt4 pu5 pv6 pw7 px8 pt5 pu4 pv7 pw6 py8 pt6 pu7 pv4 pw5 pz8 pt7 pu6 \
pv5 pw4 pp4 pq5 pr6 ps7 pp5 pq4 pr7 ps6 pp6 pq7 pr4 ps5 pp7 pq6 pr5 ps4 pp8 \
pq9 pp9 pq8 pr8 ps9 pr9 ps8 pt8 pu9 px4 py5 pz6 pt9 pu8 px5 py4 pz7 pv8 pw9 \
px6 py7 pz4 pv9 pw8 px7 py6 pz5
.names pm0 pn3 pe5
11 1
.names pl4 pk1 pf6
0- 1
-0 1
.names py1 px1 nu16 n_n742 n_n697 [1620] pg7
-111-- 1
1-01-- 1
-11-1- 1
1-0-1- 1
---001 1
.names pz2 py2 po nu16 ns23 [139] nk21 ph8
-1-110- 1
1--010- 1
--1-001 1
-1-1-00 1
1--0-00 1
.names pq0 pz3 py3 px3 nu16 n_n742 n_n697 pi9
-10---- 1
-----00 1
111---- 1
-111--- 1
-11-1-- 1
001001- 1
00100-1 1
.names pm0 pm3 pd5
11 1
.names pw1 px1 nu16 n_n742 n_n697 [1629] pf7
1-11-- 1
-101-- 1
1-1-1- 1
-10-1- 1
---001 1
.names pl4 pl1 pg6
0- 1
-0 1
.names pn0 po0 pq0 py3 px3 nu16 n_n697 ph9
--11--- 1
---11-- 1
---1-1- 1
0-----0 1
-0----0 1
--1---0 1
--0000- 1
.names pp pk0 pl0 pz2 nu16 [139] nk21 pi8
---1100 1
-01110- 1
-10110- 1
111--01 1
100--01 1
.names pi1 pl4 pd6
0- 1
-0 1
.names pw1 pv1 nu16 n_n742 n_n697 [1633] pe7
-111-- 1
1-01-- 1
-11-1- 1
1-0-1- 1
---001 1
.names pm0 pp3 pg5
11 1
.names pa3 [147] [441] pj8
--1 1
11- 1
.names po0 pq0 px3 nu16 [164] [1649] [1650] pk9
------1 1
101--1- 1
10-1-1- 1
10--11- 1
.names pu1 pv1 nu16 n_n742 n_n697 [1651] pd7
1-11-- 1
-101-- 1
1-1-1- 1
-10-1- 1
---001 1
.names pl4 pj1 pe6
0- 1
-0 1
.names po3 pm0 pf5
11 1
.names pn0 ns23 [139] nt15 [430] [1656] [1658] pj9
----1-- 1
------1 1
1-0--1- 1
--00-1- 1
0001--- 1
.names pb3 [147] [426] pk8
--1 1
11- 1
.names pj3 pk0 pl0 pm0 pr3 pa5
1111- 1
1001- 1
-0111 1
-1011 1
.names pm1 pl1 pk4 pb6
0-- 1
-0- 1
--1 1
.names pu1 pt1 nu16 n_n742 n_n697 [1660] pc7
-111-- 1
1-01-- 1
-11-1- 1
1-0-1- 1
---001 1
.names pc3 [147] [419] pl8
--1 1
11- 1
.names [416] [1665] pm9
1- 1
-1 1
.names ps1 pt1 nu16 n_n742 n_n697 [1666] pb7
1-11-- 1
-101-- 1
1-1-1- 1
-10-1- 1
---001 1
.names pl4 ph1 pc6
0- 1
-0 1
.names py3 nu16 n_n742 n_n697 ny29 [1671] [1672] pl9
------1 1
011--1- 1
01-1-1- 1
0-1-11- 1
0--111- 1
101-01- 1
10-101- 1
.names pd3 [147] [408] pm8
--1 1
11- 1
.names ps1 pr1 nu16 n_n742 n_n697 [1673] pa7
-111-- 1
1-01-- 1
-11-1- 1
1-0-1- 1
---001 1
.names pk0 pl0 pm0 pl3 pt3 pc5
1111- 1
0011- 1
011-1 1
101-1 1
.names pe3 [147] [401] pn8
--1 1
11- 1
.names pe4 pf4 pg1 po0 pq0 ns16 [179] po9
--1---- 1
---0--- 1
----1-- 1
-----0- 1
01----- 1
11----1 1
1001010 1
.names pk1 pm1 pk4 pa6
0-- 1
-0- 1
--1 1
.names pk3 pk0 pl0 pm0 ps3 pb5
1111- 1
1001- 1
-0111 1
-1011 1
.names pe4 pg1 po0 pq0 ns16 [179] pn9
-1---- 1
--0--- 1
---1-- 1
----0- 1
1----1 1
0----0 1
.names pf3 [147] [391] po8
--1 1
11- 1
.names pr3 [147] [389] pa9
--1 1
11- 1
.names pf1 pi4 pn6
11 1
00 1
.names pf2 pg2 nu16 n_n742 n_n697 [1679] po7
1-11-- 1
-101-- 1
1-1-1- 1
-10-1- 1
---001 1
.names ps2 ph nu16 [139] nk21 n_n647 [1684] pa8
------1 1
1-000-- 1
-1-010- 1
.names pg1 pj4 pl5
10 1
.names pf2 pe2 nu16 n_n742 n_n697 [1685] pn7
-111-- 1
1-01-- 1
-11-1- 1
1-0-1- 1
---001 1
.names pa4 pb4 pc4 pz3 py3 px3 po6
000111 1
.names ps2 pt2 pi nu16 ns23 [139] nk21 pb8
1--110- 1
-1-010- 1
--1-001 1
1--1-00 1
-1-0-00 1
.names pt3 [147] [372] pc9
--1 1
11- 1
.names pl1 pl6
0 1
.names pd2 pe2 nu16 n_n742 n_n697 [1690] pm7
1-11-- 1
-101-- 1
1-1-1- 1
-10-1- 1
---001 1
.names pi1 pn0 pk4 po5
0-- 1
-1- 1
--1 1
.names ps3 [147] [367] pb9
--1 1
11- 1
.names pt2 pu2 pj nu16 ns23 [139] nk21 pc8
1--110- 1
-1-010- 1
--1-001 1
1--1-00 1
-1-0-00 1
.names pc2 pd2 nu16 n_n742 n_n697 [1695] pl7
1-11-- 1
-101-- 1
1-1-1- 1
-10-1- 1
---001 1
.names ph1 pn0 pk4 pn5
0-- 1
-1- 1
--1 1
.names pg1 po4
0 1
.names pv2 pu2 pk nu16 ns23 [139] nk21 pd8
-1-110- 1
1--010- 1
--1-001 1
-1-1-00 1
1--0-00 1
.names pv3 [147] [356] pe9
--1 1
11- 1
.names pm0 pr3 pi5
11 1
.names pj1 pj6
0 1
.names pb2 pc2 nu16 n_n742 n_n697 [1700] pk7
1-11-- 1
-101-- 1
1-1-1- 1
-10-1- 1
---001 1
.names pu3 [147] [351] pd9
--1 1
11- 1
.names pv2 pw2 pl nu16 ns23 [139] nk21 pe8
1--110- 1
-1-010- 1
--1-001 1
1--1-00 1
-1-0-00 1
.names pm0 pq3 ph5
11 1
.names pb2 pa2 nu16 n_n742 n_n697 [1705] pj7
-111-- 1
1-01-- 1
-11-1- 1
1-0-1- 1
---001 1
.names pk1 pk6
0 1
.names pw2 px2 pm nu16 ns23 [139] nk21 pf8
1--110- 1
-1-010- 1
--1-001 1
1--1-00 1
-1-0-00 1
.names pn0 po0 pq0 px3 nu16 n_n697 pg9
---111 1
---001 1
11011- 1
11000- 1
.names ph1 ph6
0 1
.names pa2 pz1 nu16 n_n742 n_n697 [1711] pi7
-111-- 1
1-01-- 1
-11-1- 1
1-0-1- 1
---001 1
.names pm0 pt3 pk5
11 1
.names ph1 ps0 [146] [1715] [1724] [1725] pf9
--01-- 1
--1-1- 1
--1--1 1
111--- 1
.names px2 py2 pn nu16 ns23 [139] nk21 pg8
1--110- 1
-1-010- 1
--1-001 1
1--1-00 1
-1-0-00 1
.names py1 pz1 nu16 n_n742 n_n697 [1728] ph7
1-11-- 1
-101-- 1
1-1-1- 1
-10-1- 1
---001 1
.names pi1 pi6
0 1
.names pm0 ps3 pj5
11 1
.names [195] nj25 [315] [1641] [1642] [1735] pv6
--1--- 1
1----1 1
10-1-- 1
10--1- 1
.names po2 pd nu16 [139] nk21 n_n647 [1737] pw7
------1 1
1-000-- 1
-1-010- 1
.names po3 [147] [310] px8
--1 1
11- 1
.names pn2 pc nu16 [139] nk21 n_n647 [1739] pv7
------1 1
1-000-- 1
-1-010- 1
.names po1 pn1 nu16 n_n742 n_n697 [1740] pw6
-111-- 1
1-01-- 1
-11-1- 1
1-0-1- 1
---001 1
.names pp3 [147] [301] py8
--1 1
11- 1
.names pc1 pd1 pg1 pk1 po0 pq0 [166] pt6
--0110- 1
11--100 1
.names pm2 pb nu16 [139] nk21 n_n647 [1746] pu7
------1 1
1-000-- 1
-1-010- 1
.names pe3 pk0 pl0 pm0 pm3 pv4
1111- 1
1001- 1
-0111 1
-1011 1
.names pq3 [147] [291] pz8
--1 1
11- 1
.names pl2 pa nu16 [139] nk21 n_n647 [1748] pt7
------1 1
1-000-- 1
-1-010- 1
.names pg1 pl1 po0 pq0 ns16 [1750] pu6
0110-- 1
--1001 1
.names pf3 pk0 pl0 pm0 pn3 pw4
1111- 1
1001- 1
-0111 1
-1011 1
.names pd3 pk0 pl0 pm0 pl3 pt3 pp4
---0-1 1
1111-- 1
1001-- 1
-0111- 1
-1011- 1
.names pk1 pn0 pk4 pq5
0-- 1
-1- 1
--1 1
.names pc1 pd1 pg1 pi1 po0 pq0 [166] pr6
--0110- 1
10--100 1
.names pj2 pk2 nu16 n_n742 n_n697 [1753] ps7
1-11-- 1
-101-- 1
1-1-1- 1
-10-1- 1
---001 1
.names pj1 pn0 pk4 pp5
0-- 1
-1- 1
--1 1
.names pc3 pk3 pk0 pl0 pm0 ps3 pq4
----01 1
1-111- 1
-1011- 1
-1101- 1
1-001- 1
.names pj2 pi2 nu16 n_n742 n_n697 [1758] pr7
-111-- 1
1-01-- 1
-11-1- 1
1-0-1- 1
---001 1
.names pc1 pd1 pg1 pj1 po0 pq0 [166] ps6
--0110- 1
01--100 1
.names po0 pq0 nj25 [1641] [1642] [1735] pp6
101--0 1
10-000 1
.names ph2 pi2 nu16 n_n742 n_n697 [1763] pq7
1-11-- 1
-101-- 1
1-1-1- 1
-10-1- 1
---001 1
.names pb3 pj3 pk0 pl0 pm0 pr3 pr4
----01 1
1-111- 1
-1011- 1
-1101- 1
1-001- 1
.names pg2 ph2 nu16 n_n742 n_n697 [1768] pp7
1-11-- 1
-101-- 1
1-1-1- 1
-10-1- 1
---001 1
.names pc1 pd1 pg1 ph1 po0 pq0 [166] pq6
--0110- 1
00--100 1
.names pl1 pn0 pk4 pr5
0-- 1
-1- 1
--1 1
.names pa3 pi3 pk0 pl0 pm0 pq3 ps4
----01 1
1-111- 1
-1011- 1
-1101- 1
1-001- 1
.names pg3 [147] [251] pp8
--1 1
11- 1
.names pe4 [197] [179] [180] [1774] [1777] [1778] pq9
-1----- 1
------1 1
---01-- 1
---1-1- 1
1-1--1- 1
0-0--1- 1
.names pe4 pf4 pg4 [179] [180] [1787] [1788] pp9
-----1- 1
------1 1
011-0-- 1
11110-- 1
10100-- 1
11000-- 1
.names ph3 [147] [237] pq8
--1 1
11- 1
.names pi3 [147] [235] pr8
--1 1
11- 1
.names [146] [231] [1794] [1797] [1803] [1804] ps9
-1---- 1
-----1 1
1-1--- 1
1--1-- 1
0---1- 1
.names pi4 pn1 po0 pq0 nu16 pr9
01100 1
10100 1
.names pj3 [147] [225] ps8
--1 1
11- 1
.names pk3 [147] [223] pt8
--1 1
11- 1
.names pm1 po0 pq0 na17 pu9
1100 1
.names pg3 pk0 pl0 po3 pm0 px4
111-1 1
100-1 1
-0111 1
-1011 1
.names pi1 pm1 pk4 py5
0-- 1
-0- 1
--1 1
.names pq1 pr1 nu16 n_n742 n_n697 [1812] pz6
1-11-- 1
-101-- 1
1-1-1- 1
-10-1- 1
---001 1
.names pm1 po0 pq0 [1816] pt9
1101 1
.names pl3 [147] [216] pu8
--1 1
11- 1
.names ph1 pm1 pk4 px5
0-- 1
-0- 1
--1 1
.names ph3 pk0 pl0 pm0 pp3 py4
1111- 1
1001- 1
-0111 1
-1011 1
.names pr2 pg nu16 [139] nk21 n_n647 [1818] pz7
------1 1
1-000-- 1
-1-010- 1
.names pm3 [147] [208] pv8
--1 1
11- 1
.names pk4 po0 pq0 [1641] [1642] pw9
1101- 1
110-1 1
.names po1 pp1 nu16 n_n742 n_n697 [1819] px6
1-11-- 1
-101-- 1
1-1-1- 1
-10-1- 1
---001 1
.names pq2 pf nu16 [139] nk21 n_n647 [1824] py7
------1 1
1-000-- 1
-1-010- 1
.names pi3 pk0 pl0 pm0 pq3 pz4
1111- 1
1001- 1
-0111 1
-1011 1
.names po0 pq0 nj25 [1641] [1642] [1735] pv9
1011-0 1
101-10 1
100000 1
.names pn3 [147] [191] pw8
--1 1
11- 1
.names pp2 pe nu16 [139] nk21 n_n647 [1826] px7
------1 1
1-000-- 1
-1-010- 1
.names pq1 pp1 nu16 n_n742 n_n697 [1827] py6
-111-- 1
1-01-- 1
-11-1- 1
1-0-1- 1
---001 1
.names pj1 pm1 pk4 pz5
0-- 1
-0- 1
--1 1
.names pa4 pb4 pc4 pl4 pz3 py3 px3 nu16
---0--- 1
000-110 1
.names pk4 po0 pq0 nj25 nc25 [1641] [1642] [146]
110001- 1
11000-1 1
.names pk4 [139] nj25 [182] [1641] [1642] [1643] [147]
------1 1
00----- 1
-01---- 1
-0-1--- 1
-0--00- 1
.names pi1 ph1 pk1 pj1 pl1 pn0 ns16
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names pm0 po0 pq0 ns16 [197]
1100 1
.names pk0 pl0 ns23
01 1
10 1
.names pa4 pz3 py3 [164]
1-- 1
-0- 1
--0 1
.names pa4 pb4 pc4 pl4 pz3 py3 px3 [177]
---0--- 1
------1 1
000-110 1
.names pg1 po0 pq0 [143]
1-- 1
-0- 1
--1 1
.names pd4 pk4 po0 pq0 nj25 [1641] [1642] [179]
1------ 1
-0----- 1
--0---- 1
---1--- 1
----1-- 1
-----00 1
.names pg1 po0 pq0 ns16 [180]
1--- 1
-0-- 1
--1- 1
---0 1
.names po0 pq0 [139]
0- 1
-1 1
.names pa4 pb4 pc4 pn1 pz3 py3 [321] nw5
------1 1
1--1--- 1
-1-1--- 1
--11--- 1
---10-- 1
---1-0- 1
.names pm1 po0 pq0 [195]
110 1
.names pi1 ph1 pk1 pj1 pl1 pm0 pn0 nk21
0000000 1
.names pa4 pb4 pc4 pz3 py3 px3 na17
000110 1
.names pe4 pf4 pg4 ph4 nj25
1100 1
.names pi1 ph1 pk1 pj1 pl1 nt15
00000 1
.names pn0 po0 pq0 n_n742
110 1
.names pi1 ph1 pk1 pj1 pl1 po0 pq0 n_n697
1----10 1
-1---10 1
--1--10 1
---1-10 1
----110 1
.names pk0 pl0 n_n647
10 1
.names pk1 pj1 pl1 [182]
11- 1
1-1 1
-11 1
.names pq0 px3 ny29
1- 1
-1 1
.names pi1 ph1 pk1 pj1 pl1 nc25
11--- 1
1-1-- 1
-11-- 1
1--1- 1
-1-1- 1
--11- 1
1---1 1
-1--1 1
--1-1 1
---11 1
00000 1
.names pk4 po0 pq0 nj25 [1641] [1642] [142]
0----- 1
-0---- 1
--1--- 1
---1-- 1
----00 1
.names pe1 pi1 ph1 pk1 pj1 pl1 pn0 [166]
1------ 1
-1----- 1
--1---- 1
---1--- 1
----1-- 1
-----1- 1
------1 1
.names pm4 pm5
1 1
.names pk4 pm6
1 1
.names pu3 pt4
1 1
.names nw5 pu5
1 1
.names nw5 pt5
1 1
.names pv3 pu4
1 1
.names nw5 pw5
1 1
.names nw5 pv5
1 1
.names nw5 ps5
1 1
.names po3 pk4 [139] nj25 nc25 [1641] [1642] [191]
110001- 1
11000-1 1
.names pn3 pk4 [139] nj25 nc25 [1641] [1642] [208]
110001- 1
11000-1 1
.names pm3 pk4 [139] nj25 nc25 [1641] [1642] [216]
110001- 1
11000-1 1
.names pk4 pl3 [139] nj25 nc25 [1641] [1642] [223]
110001- 1
11000-1 1
.names pk3 pk4 [139] nj25 nc25 [1641] [1642] [225]
110001- 1
11000-1 1
.names pg1 [139] [1641] [1642] [1724] [1725] [1800] [231]
001-001 1
00-1001 1
.names pj3 pk4 [139] nj25 nc25 [1641] [1642] [235]
110001- 1
11000-1 1
.names pi3 pk4 [139] nj25 nc25 [1641] [1642] [237]
110001- 1
11000-1 1
.names ph3 pk4 [139] nj25 nc25 [1641] [1642] [251]
110001- 1
11000-1 1
.names pk4 pr3 [139] nj25 nc25 [1641] [1642] [291]
110001- 1
11000-1 1
.names pk4 pq3 [139] nj25 nc25 [1641] [1642] [301]
110001- 1
11000-1 1
.names pk4 pp3 [139] nj25 nc25 [1641] [1642] [310]
110001- 1
11000-1 1
.names pm1 pn0 po0 pp0 pq0 [315]
00110 1
.names pa4 pb4 pc4 pf1 pi4 pz3 py3 [321]
0001111 1
0000011 1
.names pk4 pv3 [139] nj25 nc25 [1641] [1642] [351]
110001- 1
11000-1 1
.names pk4 pw3 [139] nj25 nc25 [1641] [1642] [356]
110001- 1
11000-1 1
.names pk4 pt3 [139] nj25 nc25 [1641] [1642] [367]
110001- 1
11000-1 1
.names pk4 pu3 [139] nj25 nc25 [1641] [1642] [372]
110001- 1
11000-1 1
.names pk4 ps3 [139] nj25 nc25 [1641] [1642] [389]
110001- 1
11000-1 1
.names pg3 pk4 [139] nj25 nc25 [1641] [1642] [391]
110001- 1
11000-1 1
.names pf3 pk4 [139] nj25 nc25 [1641] [1642] [401]
110001- 1
11000-1 1
.names pe3 pk4 [139] nj25 nc25 [1641] [1642] [408]
110001- 1
11000-1 1
.names pd4 pg1 pk4 [139] nj25 [1641] [1642] [416]
001001- 1
00100-1 1
.names pd3 pk4 [139] nj25 nc25 [1641] [1642] [419]
110001- 1
11000-1 1
.names pc3 pk4 [139] nj25 nc25 [1641] [1642] [426]
110001- 1
11000-1 1
.names pa4 pz3 py3 nu16 n_n742 n_n697 ny29 [430]
01101-0 1
0110-10 1
.names pb3 pk4 [139] nj25 nc25 [1641] [1642] [441]
110001- 1
11000-1 1
.names pq po0 pq0 [1620]
110 1
.names pl0 po0 pq0 [1629]
110 1
.names pk0 po0 pq0 [1633]
110 1
.names pb1 ph1 pl1 px0 [1641]
0-1- 1
-1-0 1
.names pa1 pi1 pk1 pj1 py0 pz0 [1642]
0-1--- 1
-1--0- 1
---1-0 1
.names pi1 ph1 pk1 pj1 pl1 po0 pq0 [1643]
11---10 1
1-1--10 1
-11--10 1
1--1-10 1
-1-1-10 1
1---110 1
-1--110 1
.names pa4 pb4 po0 pz3 py3 [1647]
00111 1
.names pb4 pi1 ph1 pk1 pj1 pl1 pn0 [1649]
11----- 1
1-1---- 1
1--1--- 1
1---1-- 1
1----1- 1
1-----1 1
.names pm0 po0 pq0 px3 nu16 ns16 [1647] [1650]
110--0- 1
--00011 1
.names pm0 po0 pq0 [1651]
110 1
.names pa4 pz3 py3 [1656]
10- 1
1-0 1
.names pa4 pm0 pn0 po0 pq0 [177] nt15 [1658]
1-1101- 1
-1010-1 1
1--1010 1
.names pd0 po0 pq0 [1660]
110 1
.names pd4 pg1 po0 pq0 [1664]
1010 1
.names pk4 ns16 [139] nj25 [1641] [1642] [1664] [1665]
-00---- 1
0-----1 1
---1--1 1
----001 1
.names pe0 po0 pq0 [1666]
110 1
.names pc4 pi1 ph1 pk1 pj1 pl1 pn0 [1670]
11----- 1
1-1---- 1
1--1--- 1
1---1-- 1
1----1- 1
1-----1 1
.names pc4 pb4 [1671]
11 1
.names po0 pq0 px3 nu16 [164] nk21 [1670] [1672]
10---1- 1
101---1 1
10-1--1 1
10--1-1 1
.names pf0 po0 pq0 [1673]
110 1
.names py po0 pq0 [1679]
110 1
.names pp po0 pr2 pq0 nu16 nk21 n_n647 [1684]
-11010- 1
11-0-11 1
.names px po0 pq0 [1685]
110 1
.names pw po0 pq0 [1690]
110 1
.names pv po0 pq0 [1695]
110 1
.names pu po0 pq0 [1700]
110 1
.names pt po0 pq0 [1705]
110 1
.names ps po0 pq0 [1711]
110 1
.names po0 pq0 pw3 [1715]
101 1
.names pi1 pk1 pj1 pl1 pt0 pw0 [1724]
10001- 1
0001-1 1
.names pi1 pk1 pj1 pl1 pu0 pv0 [1725]
00101- 1
0100-1 1
.names pr po0 pq0 [1728]
110 1
.names pd4 pe4 pf4 pg4 pg1 pn4 ph4 [1735]
-0---0- 1
--0--0- 1
---1-0- 1
-----01 1
0110--0 1
-1101-0 1
.names pn2 po0 pq0 pl nu16 nk21 n_n647 [1737]
110-10- 1
-101-11 1
.names pm2 po0 pq0 pk nu16 nk21 n_n647 [1739]
110-10- 1
-101-11 1
.names pj0 po0 pq0 [1740]
110 1
.names pl2 po0 pq0 pj nu16 nk21 n_n647 [1746]
110-10- 1
-101-11 1
.names pk2 po0 pq0 pi nu16 nk21 n_n647 [1748]
110-10- 1
-101-11 1
.names pc1 pe1 pd1 [1750]
010 1
.names pc0 po0 pq0 [1753]
110 1
.names pb0 po0 pq0 [1758]
110 1
.names pa0 po0 pq0 [1763]
110 1
.names pz po0 pq0 [1768]
110 1
.names ph4 pk4 po0 pq0 [1641] [1642] [1774]
10---- 1
1-0--- 1
1--1-- 1
1---00 1
.names pf4 pg4 ph4 [1775]
0-1 1
-11 1
.names ph4 pd4 [1776]
11 1
.names pg1 ph4 po0 pq0 [1641] [1642] [1777]
01101- 1
0110-1 1
.names pg1 po0 pq0 [1641] [1642] [1775] [1776] [1778]
0101-1- 1
010-11- 1
0101--1 1
010-1-1 1
.names pk0 pl0 ns16 [143] nk21 [416] [1665] [1787]
----11- 1
----1-1 1
110--1- 1
000--1- 1
11-1-1- 1
00-1-1- 1
110---1 1
000---1 1
11-1--1 1
00-1--1 1
.names pd4 pe4 pg4 pg1 [180] [142] [1665] [1788]
1-1-0-- 1
-11-01- 1
--110-0 1
--1-010 1
001-00- 1
.names pi1 pk1 pn4 pj1 pl1 pj4 ps0 [1793]
0010001 1
.names pg1 po0 pq0 [1641] [1642] [1793] [1794]
0101-1 1
010-11 1
.names pj4 pn4 [1795]
01 1
.names pg1 [139] [1641] [1642] [1724] [1725] [1795] [1797]
001-1-1 1
00-11-1 1
001--11 1
00-1-11 1
.names pi1 pk1 pj1 pl1 pj4 ps0 [1799]
000010 1
.names pi1 pk1 pj1 pl1 pj4 [1800]
1---1 1
-1--1 1
--1-1 1
---11 1
.names pj4 pn4 [1802]
10 1
.names pg1 pj4 po0 pq0 [1803]
0110 1
.names pg1 po0 pq0 [1641] [1642] [1799] [1802] [1804]
0101-1- 1
010-11- 1
0101--1 1
010-1-1 1
.names pg0 po0 pq0 [1812]
110 1
.names pa4 pb4 pc4 pz3 py3 [1816]
00011 1
.names po0 pq0 pq2 po nu16 nk21 n_n647 [1818]
101-10- 1
10-1-11 1
.names pi0 po0 pq0 [1819]
110 1
.names po0 pq0 pp2 pn nu16 nk21 n_n647 [1824]
101-10- 1
10-1-11 1
.names po2 po0 pq0 pm nu16 nk21 n_n647 [1826]
110-10- 1
-101-11 1
.names ph0 po0 pq0 [1827]
110 1
.end