.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 pq pn0 [139] nt15 [477] [478] pg7
----1- 1
-----1 1
1001-- 1
.names pl4 pz2 py2 na17 [151] [472] ph8
-----1 1
0-1-1- 1
--111- 1
11-01- 1
.names pn0 pz3 py3 [152] [139] nt15 pi9
----1- 1
-10--- 1
0----1 1
-111-- 1
10100- 1
-01000 1
.names pm0 pm3 pd5
11 1
.names pl0 pn0 [139] nt15 [462] [463] pf7
----1- 1
-----1 1
1001-- 1
.names pl4 pl1 pg6
0- 1
-0 1
.names pn0 po0 pq0 py3 [152] nt15 ph9
-0---- 1
--1--- 1
---11- 1
---00- 1
0----1 1
.names pz2 [158] [459] pi8
--1 1
11- 1
.names pi1 pl4 pd6
0- 1
-0 1
.names pk0 pn0 [139] nt15 [457] [458] pe7
----1- 1
-----1 1
1001-- 1
.names pm0 pp3 pg5
11 1
.names pb3 pa3 [146] [444] [1643] pj8
1-1-- 1
-1-1- 1
-1--1 1
.names pb4 pm0 ns16 [156] [139] [435] pk9
-----1 1
1-11-- 1
-10-0- 1
.names pm0 pn0 [139] nt15 [433] [434] pd7
----1- 1
-----1 1
1001-- 1
.names pl4 pj1 pe6
0- 1
-0 1
.names po3 pm0 pf5
11 1
.names pa4 pz3 py3 [141] [152] [1659] pj9
-----1 1
01110- 1
.names pc3 pb3 [146] [444] [1643] pk8
1-1-- 1
-1-1- 1
-1--1 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 pd0 pn0 [139] nt15 [421] [422] pc7
----1- 1
-----1 1
1001-- 1
.names pc3 pd3 [146] [444] [1643] pl8
-11-- 1
1--1- 1
1---1 1
.names pg1 po0 pq0 ns16 [179] [415] pm9
-----1 1
0---0- 1
-100-- 1
.names pe0 pn0 [139] nt15 [413] [414] pb7
----1- 1
-----1 1
1001-- 1
.names pl4 ph1 pc6
0- 1
-0 1
.names pc4 pm0 ns16 [156] [139] [410] pl9
-----1 1
1-11-- 1
-00-0- 1
.names pe3 pd3 [146] [444] [1643] pm8
1-1-- 1
-1-1- 1
-1--1 1
.names pf0 pn0 [139] nt15 [405] [406] pa7
----1- 1
-----1 1
1001-- 1
.names pk0 pl0 pm0 pl3 pt3 pc5
1111- 1
0011- 1
011-1 1
101-1 1
.names pf3 pe3 [146] [444] [1643] pn8
1-1-- 1
-1-1- 1
-1--1 1
.names pe4 pf4 ns16 [143] [179] po9
--0-- 1
---1- 1
01--- 1
11--1 1
10100 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 pg3 pf3 [146] [444] [1643] po8
1-1-- 1
-1-1- 1
-1--1 1
.names ps3 pr3 [146] [444] [1643] pa9
1-1-- 1
-1-1- 1
-1--1 1
.names pf1 pi4 pn6
11 1
00 1
.names py pn0 [139] nt15 [384] [385] po7
----1- 1
-----1 1
1001-- 1
.names [379] [380] [381] [382] pa8
1--- 1
-1-- 1
--1- 1
---1 1
.names pg1 pj4 pl5
10 1
.names px pn0 [139] nt15 [377] [378] pn7
----1- 1
-----1 1
1001-- 1
.names pa4 pb4 pc4 pz3 py3 px3 po6
000111 1
.names pl4 ps2 pt2 na17 [151] [374] pb8
-----1 1
01--1- 1
-1-11- 1
1-101- 1
.names pu3 pt3 [146] [444] [1643] pc9
1-1-- 1
-1-1- 1
-1--1 1
.names pl1 pl6
0 1
.names pw pn0 [139] nt15 [369] [370] pm7
----1- 1
-----1 1
1001-- 1
.names pi1 pn0 pk4 po5
0-- 1
-1- 1
--1 1
.names ps3 pt3 [146] [444] [1643] pb9
-11-- 1
1--1- 1
1---1 1
.names pl4 pt2 pu2 na17 [151] [364] pc8
-----1 1
01--1- 1
-1-11- 1
1-101- 1
.names pv pn0 [139] nt15 [361] [362] pl7
----1- 1
-----1 1
1001-- 1
.names ph1 pn0 pk4 pn5
0-- 1
-1- 1
--1 1
.names pg1 po4
0 1
.names pl4 pv2 pu2 na17 [151] [358] pd8
-----1 1
0-1-1- 1
--111- 1
11-01- 1
.names pw3 pv3 [146] [444] [1643] pe9
1-1-- 1
-1-1- 1
-1--1 1
.names pm0 pr3 pi5
11 1
.names pj1 pj6
0 1
.names pu pn0 [139] nt15 [353] [354] pk7
----1- 1
-----1 1
1001-- 1
.names pv3 pu3 [146] [444] [1643] pd9
1-1-- 1
-1-1- 1
-1--1 1
.names pl4 pv2 pw2 na17 [151] [348] pe8
-----1 1
01--1- 1
-1-11- 1
1-101- 1
.names pm0 pq3 ph5
11 1
.names pt pn0 [139] nt15 [345] [346] pj7
----1- 1
-----1 1
1001-- 1
.names pk1 pk6
0 1
.names pl4 pw2 px2 na17 [151] [342] pf8
-----1 1
01--1- 1
-1-11- 1
1-101- 1
.names pl4 pn0 px3 [170] [139] nt15 pg9
011-0- 1
0-1-00 1
11010- 1
1-0100 1
.names ph1 ph6
0 1
.names ps pn0 [139] nt15 [337] [338] pi7
----1- 1
-----1 1
1001-- 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 pl4 px2 py2 na17 [151] [327] pg8
-----1 1
01--1- 1
-1-11- 1
1-101- 1
.names pr pn0 [139] nt15 [324] [325] ph7
----1- 1
-----1 1
1001-- 1
.names pi1 pi6
0 1
.names pm0 ps3 pj5
11 1
.names pm1 pn0 po0 pp0 pq0 [316] pv6
-----1 1
00110- 1
.names [311] [312] [313] [314] pw7
1--- 1
-1-- 1
--1- 1
---1 1
.names po3 pp3 [146] [444] [1643] px8
-11-- 1
1--1- 1
1---1 1
.names [305] [306] [307] [308] pv7
1--- 1
-1-- 1
--1- 1
---1 1
.names pj0 pn0 [139] nt15 [303] [304] pw6
----1- 1
-----1 1
1001-- 1
.names pq3 pp3 [146] [444] [1643] py8
1-1-- 1
-1-1- 1
-1--1 1
.names pe1 po0 pq0 ns16 [299] [1744] pt6
----1- 1
0100-1 1
.names [294] [295] [296] [297] pu7
1--- 1
-1-- 1
--1- 1
---1 1
.names pe3 pk0 pl0 pm0 pm3 pv4
1111- 1
1001- 1
-0111 1
-1011 1
.names pr3 pq3 [146] [444] [1643] pz8
1-1-- 1
-1-1- 1
-1--1 1
.names [286] [287] [288] [289] pt7
1--- 1
-1-- 1
--1- 1
---1 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 pe1 po0 pq0 ns16 [278] [1752] pr6
----1- 1
0100-1 1
.names pc0 pn0 [139] nt15 [275] [276] ps7
----1- 1
-----1 1
1001-- 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 pb0 pn0 [139] nt15 [269] [270] pr7
----1- 1
-----1 1
1001-- 1
.names pe1 po0 pq0 ns16 [267] [1762] ps6
----1- 1
0100-1 1
.names pd4 [139] nj25 [1641] [1642] [1734] pp6
101--0 1
10-000 1
-00000 1
.names pa0 pn0 [139] nt15 [264] [265] pq7
----1- 1
-----1 1
1001-- 1
.names pb3 pj3 pk0 pl0 pm0 pr3 pr4
----01 1
1-111- 1
-1011- 1
-1101- 1
1-001- 1
.names pz pn0 [139] nt15 [258] [259] pp7
----1- 1
-----1 1
1001-- 1
.names pe1 po0 pq0 ns16 [256] [1772] pq6
----1- 1
0100-1 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 ph3 [146] [444] [1643] pp8
-11-- 1
1--1- 1
1---1 1
.names pe4 ns16 [143] [179] [1777] [1780] pq9
-----1 1
-0--1- 1
--1-1- 1
1--11- 1
0--01- 1
.names [239] [240] [243] [1786] [1787] pp9
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names pi3 ph3 [146] [444] [1643] pq8
1-1-- 1
-1-1- 1
-1--1 1
.names pj3 pi3 [146] [444] [1643] pr8
1-1-- 1
-1-1- 1
-1--1 1
.names [146] [155] [176] [1792] [1796] [1807] ps9
-----1 1
11--1- 1
1101-- 1
.names pl4 pi4 pn1 po0 pq0 na17 pr9
101100 1
110100 1
.names pk3 pj3 [146] [444] [1643] ps8
1-1-- 1
-1-1- 1
-1--1 1
.names pk3 pl3 [146] [444] [1643] pt8
-11-- 1
1--1- 1
1---1 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 pg0 pn0 [139] nt15 [218] [219] pz6
----1- 1
-----1 1
1001-- 1
.names pm1 po0 pq0 [1816] pt9
1101 1
.names pm3 pl3 [146] [444] [1643] pu8
1-1-- 1
-1-1- 1
-1--1 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 [209] [210] [211] [212] pz7
1--- 1
-1-- 1
--1- 1
---1 1
.names pn3 pm3 [146] [444] [1643] pv8
1-1-- 1
-1-1- 1
-1--1 1
.names pk4 po0 pq0 [1641] [1642] pw9
1101- 1
110-1 1
.names pi0 pn0 [139] nt15 [205] [206] px6
----1- 1
-----1 1
1001-- 1
.names [200] [201] [202] [203] py7
1--- 1
-1-- 1
--1- 1
---1 1
.names pi3 pk0 pl0 pm0 pq3 pz4
1111- 1
1001- 1
-0111 1
-1011 1
.names pd4 [139] nj25 [1641] [1642] [1734] pv9
1011-0 1
101-10 1
-00000 1
.names po3 pn3 [146] [444] [1643] pw8
1-1-- 1
-1-1- 1
-1--1 1
.names [181] [184] [188] [189] px7
1--- 1
-1-- 1
--1- 1
---1 1
.names ph0 pn0 [139] nt15 [171] [175] py6
----1- 1
-----1 1
1001-- 1
.names pj1 pm1 pk4 pz5
0-- 1
-0- 1
--1 1
.names pn0 po0 pq0 nt15 [141]
110- 1
-100 1
.names pl4 pm0 ns16 ns23 [139] na17 [158]
01--0- 1
0-1-0- 1
0--10- 1
-1--01 1
--1-01 1
---101 1
.names pl4 pq0 px3 na17 [152]
0--- 1
-1-- 1
--1- 1
---1 1
.names pk4 [139] nj25 nc25 [1641] [1642] [146]
10001- 1
1000-1 1
.names pi1 ph1 pk1 pj1 pl1 pn0 ns16
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names pl4 po0 pq0 px3 [164] na17 [156]
010--- 1
-101-- 1
-10-1- 1
-10--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 po0 pq0 ns16 [198]
100 1
.names pg1 po0 pq0 [143]
1-- 1
-0- 1
--1 1
.names pd4 pk4 [139] nj25 [1641] [1642] [179]
1----- 1
-0---- 1
--1--- 1
---1-- 1
----00 1
.names pa4 pb4 pc4 pz3 py3 [170]
1---- 1
-1--- 1
--1-- 1
---0- 1
----0 1
.names po0 pq0 [139]
0- 1
-1 1
.names pf1 pi4 pn1 [170] nw5
--11 1
11-0 1
00-0 1
.names pm1 po0 pq0 [195]
110 1
.names pg1 po0 pq0 [1641] [1642] [155]
0101- 1
010-1 1
.names pm0 ns16 nk21
00 1
.names pi1 pk1 pj1 pl1 [176]
1--- 1
-1-- 1
--1- 1
---1 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 pk0 pl0 n_n647
10 1
.names pk1 pj1 pl1 [182]
11- 1
1-1 1
-11 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 pk0 pl0 pm0 po0 pq0 ns16 [151]
--110- 1
---101 1
01-10- 1
10-10- 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 pl4 pn0 pq1 [139] na17 nt15 [171]
11100- 1
1-1000 1
.names pl4 pn0 pp1 [139] na17 nt15 [175]
0110-- 1
-1101- 1
0-10-0 1
--1010 1
.names pl4 pm0 pp2 ns16 [139] na17 [181]
111-00 1
1-1100 1
.names pm0 po0 pq0 pe ns16 n_n647 [184]
010100 1
.names pl4 pm0 po2 ns16 [139] na17 [188]
011-0- 1
0-110- 1
-11-01 1
--1101 1
.names pm0 po0 pq0 pm ns16 n_n647 [189]
010101 1
.names pl4 pm0 pq2 ns16 [139] na17 [200]
111-00 1
1-1100 1
.names pm0 po0 pq0 pf ns16 n_n647 [201]
010100 1
.names pl4 pm0 pp2 ns16 [139] na17 [202]
011-0- 1
0-110- 1
-11-01 1
--1101 1
.names pm0 po0 pq0 pn ns16 n_n647 [203]
010101 1
.names pl4 pn0 pp1 [139] na17 nt15 [205]
11100- 1
1-1000 1
.names pl4 pn0 po1 [139] na17 nt15 [206]
0110-- 1
-1101- 1
0-10-0 1
--1010 1
.names pl4 pm0 pr2 ns16 [139] na17 [209]
111-00 1
1-1100 1
.names pm0 po0 pq0 pg ns16 n_n647 [210]
010100 1
.names pl4 pm0 pq2 ns16 [139] na17 [211]
011-0- 1
0-110- 1
-11-01 1
--1101 1
.names pm0 po0 pq0 po ns16 n_n647 [212]
010101 1
.names pl4 pn0 pr1 [139] na17 nt15 [218]
11100- 1
1-1000 1
.names pl4 pn0 pq1 [139] na17 nt15 [219]
0110-- 1
-1101- 1
0-10-0 1
--1010 1
.names pd4 pg4 pg1 po0 pq0 ns16 [238]
110101 1
.names pe4 pg4 ns16 [143] [179] [239]
11101 1
01100 1
.names pe4 pf4 pg4 ns16 [143] [179] [240]
01110- 1
111101 1
101100 1
.names pe4 pf4 pg4 ns16 [143] [179] [243]
110100 1
.names pg1 ph1 po0 pq0 [256]
0110 1
.names pl4 ph2 pn0 [139] na17 nt15 [258]
11100- 1
11-000 1
.names pg2 pl4 pn0 [139] na17 nt15 [259]
1010-- 1
1-101- 1
10-0-0 1
1--010 1
.names pl4 pi2 pn0 [139] na17 nt15 [264]
11100- 1
11-000 1
.names pl4 ph2 pn0 [139] na17 nt15 [265]
0110-- 1
-1101- 1
01-0-0 1
-1-010 1
.names pg1 pj1 po0 pq0 [267]
0110 1
.names pj2 pl4 pn0 [139] na17 nt15 [269]
11100- 1
11-000 1
.names pl4 pi2 pn0 [139] na17 nt15 [270]
0110-- 1
-1101- 1
01-0-0 1
-1-010 1
.names pl4 pk2 pn0 [139] na17 nt15 [275]
11100- 1
11-000 1
.names pj2 pl4 pn0 [139] na17 nt15 [276]
1010-- 1
1-101- 1
10-0-0 1
1--010 1
.names pg1 pi1 po0 pq0 [278]
0110 1
.names pl4 pm0 pl2 ns16 [139] na17 [286]
111-00 1
1-1100 1
.names pm0 po0 pa pq0 ns16 n_n647 [287]
011000 1
.names pl4 pk2 pm0 ns16 [139] na17 [288]
011-0- 1
01-10- 1
-11-01 1
-1-101 1
.names pm0 po0 pq0 pi ns16 n_n647 [289]
010101 1
.names pl4 pm0 pm2 ns16 [139] na17 [294]
111-00 1
1-1100 1
.names pm0 po0 pq0 pb ns16 n_n647 [295]
010100 1
.names pl4 pm0 pl2 ns16 [139] na17 [296]
011-0- 1
0-110- 1
-11-01 1
--1101 1
.names pm0 po0 pq0 pj ns16 n_n647 [297]
010101 1
.names pg1 pk1 po0 pq0 [299]
0110 1
.names pl4 pn0 po1 [139] na17 nt15 [303]
11100- 1
1-1000 1
.names pl4 pn0 pn1 [139] na17 nt15 [304]
0110-- 1
-1101- 1
0-10-0 1
--1010 1
.names pl4 pn2 pm0 ns16 [139] na17 [305]
111-00 1
11-100 1
.names pm0 po0 pq0 pc ns16 n_n647 [306]
010100 1
.names pl4 pm0 pm2 ns16 [139] na17 [307]
011-0- 1
0-110- 1
-11-01 1
--1101 1
.names pm0 po0 pq0 pk ns16 n_n647 [308]
010101 1
.names pl4 pm0 po2 ns16 [139] na17 [311]
111-00 1
1-1100 1
.names pm0 po0 pq0 pd ns16 n_n647 [312]
010100 1
.names pl4 pn2 pm0 ns16 [139] na17 [313]
011-0- 1
01-10- 1
-11-01 1
-1-101 1
.names pm0 po0 pq0 pl ns16 n_n647 [314]
010101 1
.names pd4 [195] nj25 [1641] [1642] [1734] [316]
-1---1 1
011--- 1
-101-- 1
-10-1- 1
.names pl4 pn0 pz1 [139] na17 nt15 [324]
11100- 1
1-1000 1
.names pl4 pn0 py1 [139] na17 nt15 [325]
0110-- 1
-1101- 1
0-10-0 1
--1010 1
.names pk0 pl0 pm0 pn ns16 [139] [327]
110100 1
000100 1
.names pa2 pl4 pn0 [139] na17 nt15 [337]
11100- 1
11-000 1
.names pl4 pn0 pz1 [139] na17 nt15 [338]
0110-- 1
-1101- 1
0-10-0 1
--1010 1
.names pk0 pl0 pm0 pm ns16 [139] [342]
110100 1
000100 1
.names pb2 pl4 pn0 [139] na17 nt15 [345]
11100- 1
11-000 1
.names pa2 pl4 pn0 [139] na17 nt15 [346]
1010-- 1
1-101- 1
10-0-0 1
1--010 1
.names pk0 pl0 pm0 pl ns16 [139] [348]
110100 1
000100 1
.names pc2 pl4 pn0 [139] na17 nt15 [353]
11100- 1
11-000 1
.names pb2 pl4 pn0 [139] na17 nt15 [354]
1010-- 1
1-101- 1
10-0-0 1
1--010 1
.names pk0 pl0 pm0 pk ns16 [139] [358]
110100 1
000100 1
.names pd2 pl4 pn0 [139] na17 nt15 [361]
11100- 1
11-000 1
.names pc2 pl4 pn0 [139] na17 nt15 [362]
1010-- 1
1-101- 1
10-0-0 1
1--010 1
.names pk0 pl0 pm0 pj ns16 [139] [364]
110100 1
000100 1
.names pe2 pl4 pn0 [139] na17 nt15 [369]
11100- 1
11-000 1
.names pd2 pl4 pn0 [139] na17 nt15 [370]
1010-- 1
1-101- 1
10-0-0 1
1--010 1
.names pk0 pl0 pm0 pi ns16 [139] [374]
110100 1
000100 1
.names pf2 pl4 pn0 [139] na17 nt15 [377]
11100- 1
11-000 1
.names pe2 pl4 pn0 [139] na17 nt15 [378]
1010-- 1
1-101- 1
10-0-0 1
1--010 1
.names pl4 pm0 ps2 ns16 [139] na17 [379]
111-00 1
1-1100 1
.names pm0 po0 pq0 ph ns16 n_n647 [380]
010100 1
.names pl4 pm0 pr2 ns16 [139] na17 [381]
011-0- 1
0-110- 1
-11-01 1
--1101 1
.names pp pm0 po0 pq0 ns16 n_n647 [382]
101001 1
.names pg2 pl4 pn0 [139] na17 nt15 [384]
11100- 1
11-000 1
.names pf2 pl4 pn0 [139] na17 nt15 [385]
1010-- 1
1-101- 1
10-0-0 1
1--010 1
.names pl4 pn0 ps1 [139] na17 nt15 [405]
11100- 1
1-1000 1
.names pl4 pn0 pr1 [139] na17 nt15 [406]
0110-- 1
-1101- 1
0-10-0 1
--1010 1
.names pb4 pc4 py3 [141] [152] [410]
11011 1
11110 1
.names pl4 pn0 pt1 [139] na17 nt15 [413]
11100- 1
1-1000 1
.names pl4 pn0 ps1 [139] na17 nt15 [414]
0110-- 1
-1101- 1
0-10-0 1
--1010 1
.names pk4 nj25 [1641] [1642] [1664] [415]
0---1 1
-1--1 1
--001 1
.names pl4 pn0 pu1 [139] na17 nt15 [421]
11100- 1
1-1000 1
.names pl4 pn0 pt1 [139] na17 nt15 [422]
0110-- 1
-1101- 1
0-10-0 1
--1010 1
.names pl4 pn0 pv1 [139] na17 nt15 [433]
11100- 1
1-1000 1
.names pl4 pn0 pu1 [139] na17 nt15 [434]
0110-- 1
-1101- 1
0-10-0 1
--1010 1
.names pl4 pq0 px3 ns16 na17 [1647] [435]
100101 1
.names pi1 pk1 pj1 pl1 po0 pq0 [442]
11--10 1
1-1-10 1
1--110 1
.names pk4 [139] nj25 [182] [1641] [1642] [444]
00---- 1
-01--- 1
-0-1-- 1
-0--00 1
.names pl4 pn0 pw1 [139] na17 nt15 [457]
11100- 1
1-1000 1
.names pl4 pn0 pv1 [139] na17 nt15 [458]
0110-- 1
-1101- 1
0-10-0 1
--1010 1
.names pp pk0 pl0 pm0 ns16 [139] [459]
111000 1
100000 1
.names pl4 pn0 px1 [139] na17 nt15 [462]
11100- 1
1-1000 1
.names pl4 pn0 pw1 [139] na17 nt15 [463]
0110-- 1
-1101- 1
0-10-0 1
--1010 1
.names pk0 pl0 pm0 po ns16 [139] [472]
110100 1
000100 1
.names pl4 pn0 py1 [139] na17 nt15 [477]
11100- 1
1-1000 1
.names pl4 pn0 px1 [139] na17 nt15 [478]
0110-- 1
-1101- 1
0-10-0 1
--1010 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 ph1 po0 pq0 [176] [442] [1643]
----1 1
1101- 1
.names pa4 pb4 po0 pz3 py3 [1647]
00111 1
.names pa4 pn0 po0 pq0 nt15 [1655]
1110- 1
1-100 1
.names pa4 pz3 py3 [1656]
10- 1
1-0 1
.names pk0 pl0 pn0 [139] nt15 [1656] [1657]
--10-1 1
---001 1
11001- 1
00001- 1
.names pl4 px3 [197] [170] [1655] [1657] [1659]
--1--- 1
-----1 1
0---1- 1
-1--1- 1
-0-01- 1
.names pd4 pg1 po0 pq0 [1664]
1010 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 pe4 pf4 pg4 pg1 pn4 ph4 [1734]
0---0- 1
-0--0- 1
--1-0- 1
----01 1
1101-0 1
.names pd1 pc1 [1744]
11 1
.names pc1 pe1 pd1 [1750]
010 1
.names pd1 pc1 [1752]
01 1
.names pd1 pc1 [1762]
10 1
.names pd1 pc1 [1772]
00 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 [139] [1641] [1642] [1775] [1776] [1778]
001-1- 1
00-11- 1
001--1 1
00-1-1 1
.names pm0 ns16 [143] [139] [1774] [1778] [1780]
-----1 1
10-0-- 1
-10-1- 1
.names pg4 pg1 po0 pq0 ns16 [1784]
10101 1
.names pg1 pk0 pl0 po0 pq0 ns16 [1785]
111--- 1
100--- 1
-110-- 1
-000-- 1
-11-1- 1
-00-1- 1
-11--0 1
-00--0 1
.names pg1 [198] [179] [238] [415] [1784] [1786]
---1-- 1
10--01 1
-01-01 1
.names pg1 [198] [179] nk21 [415] [1785] [1787]
-1-1-- 1
---11- 1
-1---1 1
----11 1
0-01-- 1
0-0--1 1
.names pn4 pj4 ps0 [1792]
101 1
.names pn4 pj4 [1724] [1725] [1796]
101- 1
10-1 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 [1724] [1725] [1800] [1801]
001 1
.names pj4 pn4 [1802]
10 1
.names pg1 pj4 po0 pq0 [1803]
0110 1
.names pg1 [139] [1641] [1642] [1799] [1802] [1804]
001-1- 1
00-11- 1
001--1 1
00-1-1 1
.names [146] [155] [1801] [1803] [1804] [1807]
----1 1
-11-- 1
0--1- 1
.names pa4 pb4 pc4 pz3 py3 [1816]
00011 1
.end