.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 [555] [556] pe5
1- 1
-1 1
.names py1 [183] pf6
01 1
.names pl3 [116] [1722] [1724] pg7
--11 1
11-1 1
.names [545] [546] pd5
1- 1
-1 1
.names pk3 [116] [1725] [1726] pf7
--11 1
11-1 1
.names pl2 py1 na19 pg6
001 1
100 1
.names pi2 py1 px1 nx19 pd6
10-- 1
-001 1
.names pj3 [116] [1731] [1732] pe7
--11 1
11-1 1
.names [531] [532] pg5
1- 1
-1 1
.names pi3 [116] [1733] [1734] pd7
--11 1
11-1 1
.names pj2 py1 [201] pe6
101 1
000 1
.names [516] [517] pf5
1- 1
-1 1
.names [514] [515] pa5
1- 1
-1 1
.names ph2 pn0 pb6
10 1
.names [512] [513] pc7
1- 1
-1 1
.names [510] [511] pb7
1- 1
-1 1
.names pl0 pn0 pc6
10 1
.names [508] [509] pa7
1- 1
-1 1
.names [506] [507] pc5
1- 1
-1 1
.names pe2 [486] [487] [1754] pa6
-1-- 1
0--1 1
--11 1
.names [483] [484] pb5
1- 1
-1 1
.names pc2 pg2 ph2 pn0 pl4
1--0 1
-110 1
.names [479] [480] pm5
1- 1
-1 1
.names [477] [478] pn6
1- 1
-1 1
.names pt3 [116] [1758] [1759] po7
--11 1
11-1 1
.names pf4 [121] [466] pa8
--1 1
11- 1
.names [464] [465] pl5
1- 1
-1 1
.names [462] [463] pm4
1- 1
-1 1
.names ps3 [116] [1766] [1767] pn7
--11 1
11-1 1
.names [457] [458] po6
1- 1
-1 1
.names pg4 [121] [453] [455] pb8
--1- 1
11-- 1
1--1 1
.names [447] [448] pl6
1- 1
-1 1
.names pr3 [116] [1771] [1772] pm7
--11 1
11-1 1
.names [442] [443] pn4
1- 1
-1 1
.names [440] [441] po5
1- 1
-1 1
.names pg2 ph2 pb [217] pc8
0-11 1
-011 1
.names pq3 [116] [1774] [1775] pl7
--11 1
11-1 1
.names pr2 py1 [222] [434] pm6
---1 1
101- 1
.names [431] [432] pn5
1- 1
-1 1
.names [429] [430] po4
1- 1
-1 1
.names [427] [428] pi5
1- 1
-1 1
.names [425] [426] pj6
1- 1
-1 1
.names pp3 [116] [1782] [1783] pk7
--11 1
11-1 1
.names [420] [421] ph5
1- 1
-1 1
.names pa2 px1 pi4
1- 1
-0 1
.names po3 [116] [1784] [1785] pj7
--11 1
11-1 1
.names [415] [416] pk6
1- 1
-1 1
.names pl2 pm2 py1 na19 ph6
010- 1
1001 1
1100 1
.names pn3 [116] [1788] [1789] pi7
--11 1
11-1 1
.names po0 py1 [100] [132] pj4
-1-- 1
1-0- 1
--01 1
.names [404] [405] pk5
1- 1
-1 1
.names pm3 [116] [1792] [1793] ph7
--11 1
11-1 1
.names na19 [400] [1778] [1794] pi6
-1-- 1
0--1 1
--11 1
.names [397] [398] pj5
1- 1
-1 1
.names py1 [376] [378] [379] pk4
-1-- 1
0-1- 1
0--1 1
.names [374] [375] pt4
1- 1
-1 1
.names pz1 [365] [1816] [1817] pu5
---1 1
01-- 1
0-1- 1
.names [360] [361] pv6
1- 1
-1 1
.names pa4 pb4 [120] [357] pw7
---1 1
101- 1
.names pn0 [132] pt5
1- 1
-1 1
.names [354] [355] pu4
1- 1
-1 1
.names pa4 [120] [126] pv7
01- 1
1-1 1
.names [350] [351] pw6
1- 1
-1 1
.names [348] [349] pt6
1- 1
-1 1
.names pl0 pn0 pz3 py3 pu7
0001 1
0010 1
.names [344] [345] pv4
1- 1
-1 1
.names pb2 [252] [338] pw5
--1 1
11- 1
.names pl0 pn0 py3 pt7
000 1
.names [336] [337] pu6
1- 1
-1 1
.names py1 [253] pv5
01 1
.names [332] [333] pw4
1- 1
-1 1
.names [330] [331] pp4
1- 1
-1 1
.names [328] [329] pq5
1- 1
-1 1
.names [326] [327] pr6
1- 1
-1 1
.names [257] [256] [255] ps7
111 1
.names [322] [323] pp5
1- 1
-1 1
.names [320] [321] pq4
1- 1
-1 1
.names pw3 [116] [1823] [1824] pr7
--11 1
11-1 1
.names [315] [316] ps6
1- 1
-1 1
.names [313] [314] pp6
1- 1
-1 1
.names pv3 [116] [1825] [1826] pq7
--11 1
11-1 1
.names [308] [309] pr4
1- 1
-1 1
.names py1 na19 ps5
1- 1
-0 1
.names pu3 [116] [1827] [1828] pp7
--11 1
11-1 1
.names [303] [304] pq6
1- 1
-1 1
.names [301] [302] pr5
1- 1
-1 1
.names [299] [300] ps4
1- 1
-1 1
.names [297] [298] px4
1- 1
-1 1
.names pd2 pl0 pn0 [1829] py5
1-01 1
-101 1
.names [159] [160] pz6
1- 1
-1 1
.names pc2 [101] [151] [156] px5
--1- 1
11-- 1
1--1 1
.names [144] [150] py4
1- 1
-1 1
.names pe4 [173] [276] pz7
01- 1
1-1 1
.names [129] [130] px6
1- 1
-1 1
.names pd4 [120] nm24 [123] py7
---1 1
011- 1
.names [109] [113] pz4
1- 1
-1 1
.names nd17 [177] nm24 [108] px7
---1 1
110- 1
.names [105] [106] py6
1- 1
-1 1
.names pe2 [99] [491] [492] pz5
-1-- 1
0-1- 1
0--1 1
.names pk2 px1 [119] [552] [183]
11-- 1
1-0- 1
1--1 1
0010 1
.names pc pd pe px1 na19
1--- 1
-1-- 1
--1- 1
---0 1
.names [179] [119] [280] [1730] nx19
-11- 1
1--1 1
.names py1 px1 [176]
00 1
.names pc1 pd pe [203]
1-- 1
-0- 1
--1 1
.names pa4 pb4 pz3 nd17
111 1
.names [126] [103] nm24 [283] [121]
1--- 1
-10- 1
-1-1 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 pd4 [120] nm24 [173]
011 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 pi2 pq2 px1 nx19 [222]
-0-- 1
--1- 1
0--0 1
.names pn2 po2 pp2 [179]
110 1
.names pc pd pe [100]
1-- 1
-1- 1
--1 1
.names pd0 pi2 pr2 pq2 [248]
1--- 1
-0-- 1
--0- 1
---1 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 pi2 pr2 pq2 px1 [132]
1110 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 py3 [112] [103] [284] [252]
0-1- 1
-11- 1
--11 1
.names pl0 pn0 [103]
00 1
.names ph4 ny16 [334] [489] [253]
--1- 1
---1 1
10-- 1
.names px3 [116] [117] [258] [257]
--11 1
11-1 1
.names ph3 pc pd pe [256]
1--- 1
-0-- 1
--1- 1
---1 1
.names pg1 pd pe [255]
1-- 1
-0- 1
--1 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 pe1 pd pe [264]
1-- 1
-0- 1
--1 1
.names pd1 pd pe [268]
1-- 1
-0- 1
--1 1
.names pd4 py3 [103] [284] [276]
1-1- 1
-01- 1
--11 1
.names pl0 pn0 [126] nm24 [101]
--1- 1
00-0 1
.names pa4 pb4 pc4 nm24
111 1
.names nm24 [1745] [1751] [1752] ny16
0--- 1
-1-- 1
--1- 1
---1 1
.names pn2 po2 pl2 pm2 [119]
1010 1
.names pg0 pp2 [280]
0- 1
-1 1
.names pj2 pk2 nn16
1- 1
-1 1
.names pi2 pr2 pq2 [102]
0-- 1
-00 1
.names pj2 pk2 py1 px1 [114]
1-00 1
-100 1
.names pj2 pk2 py1 px1 [116]
--01 1
000- 1
.names pc pd pe py1 [117]
1--0 1
-1-0 1
--10 1
.names pi2 py1 px1 [118]
100 1
.names pd4 pe4 [283]
1- 1
-0 1
.names pa4 pb4 pc4 pz3 [284]
0--- 1
-0-- 1
--0- 1
---0 1
.names pc0 pr2 pz1 [286]
00- 1
-10 1
.names pj2 pk2 [102] [181]
001 1
.names pd pe pu0 [187]
0-- 1
-1- 1
--1 1
.names pc pd pv2 pe [186]
0--- 1
-1-- 1
--1- 1
---1 1
.names pc pd pe pu2 [191]
0--- 1
-1-- 1
--1- 1
---1 1
.names pd pt0 pe [190]
0-- 1
-1- 1
--1 1
.names pc pd pe pt2 [195]
0--- 1
-1-- 1
--1- 1
---1 1
.names ps0 pd pe [194]
1-- 1
-0- 1
--1 1
.names pr0 pd pe [199]
1-- 1
-0- 1
--1 1
.names ps2 pc pd pe [198]
1--- 1
-0-- 1
--1- 1
---1 1
.names px1 [520] [1736] [1737] [201]
1--- 1
-1-- 1
--1- 1
---1 1
.names pd3 pc pd pe [205]
1--- 1
-0-- 1
--1- 1
---1 1
.names pb3 pc pd pe [214]
1--- 1
-0-- 1
--1- 1
---1 1
.names pd pe py0 [227]
0-- 1
-1- 1
--1 1
.names pc pd pe pz2 [226]
0--- 1
-1-- 1
--1- 1
---1 1
.names pc pd pe py2 [231]
0--- 1
-1-- 1
--1- 1
---1 1
.names pd pe px0 [230]
0-- 1
-1- 1
--1 1
.names pc pd pe px2 [238]
0--- 1
-1-- 1
--1- 1
---1 1
.names pd pe pw0 [237]
0-- 1
-1- 1
--1 1
.names pd pe pv0 [243]
0-- 1
-1- 1
--1 1
.names pc pd pe pw2 [242]
0--- 1
-1-- 1
--1- 1
---1 1
.names pd0 pf2 pe2 [247]
001 1
110 1
.names pa2 px1 nn16 [102] [245]
01-- 1
0-01 1
.names pe pw1 [258]
0- 1
-1 1
.names pf3 pc pd pe [266]
1--- 1
-0-- 1
--1- 1
---1 1
.names pe3 pc pd pe [270]
1--- 1
-0-- 1
--1- 1
---1 1
.names pj0 pk0 pl2 [279]
1-1 1
-10 1
.names ph4 ny16 [489] [1834] [99]
0-01 1
-101 1
.names pe3 pf ph py1 [105]
1110 1
.names pd3 pf ph py1 [106]
10-0 1
1-00 1
.names pc4 [126] [103] [1744] [108]
11-- 1
1-10 1
.names pr py1 pi po [109]
1011 1
.names pr pe1 py1 pi [113]
010- 1
-100 1
.names pd4 [126] [103] nm24 [123]
11-- 1
1-10 1
.names pd3 pf ph py1 [129]
1110 1
.names pc3 pf ph py1 [130]
10-0 1
1-00 1
.names pr py1 pi pn [144]
1011 1
.names pr pd1 py1 pi [150]
010- 1
-100 1
.names [120] [112] nm24 [1830] [151]
1011 1
.names pb2 pl0 pn0 [112] [156]
000- 1
-001 1
.names pf3 pf ph py1 [159]
1110 1
.names pe3 pf ph py1 [160]
10-0 1
1-00 1
.names pr py1 pi pm [297]
1011 1
.names pc1 pr py1 pi [298]
100- 1
1-00 1
.names pp pr py1 pi [299]
1001 1
.names pr px0 py1 pi [300]
110- 1
-100 1
.names pa0 pb0 ps py1 [301]
1110 1
.names pb0 ps pw1 py1 [302]
0-10 1
-010 1
.names pw2 pf ph py1 [303]
1100 1
.names pv2 pf ph py1 [304]
10-0 1
1-10 1
.names pr py1 pi po [308]
0011 1
.names pr pw0 py1 pi [309]
110- 1
-100 1
.names pv2 pf ph py1 [313]
1100 1
.names pf pu2 ph py1 [314]
01-0 1
-110 1
.names pf ph py1 py2 [315]
1001 1
.names pf ph py1 px2 [316]
0-01 1
-101 1
.names pr py1 pi pn [320]
0011 1
.names pr pv0 py1 pi [321]
110- 1
-100 1
.names pb0 ps py py1 [322]
1110 1
.names pb0 ps pu1 py1 [323]
0-10 1
-010 1
.names pf ph py1 px2 [326]
1001 1
.names pw2 pf ph py1 [327]
10-0 1
1-10 1
.names pb0 ps pz py1 [328]
1110 1
.names pb0 ps pv1 py1 [329]
0-10 1
-010 1
.names pr py1 pi pm [330]
0011 1
.names pr pu0 py1 pi [331]
110- 1
-100 1
.names pr py1 pi pl [332]
1011 1
.names pr pb1 py1 pi [333]
010- 1
-100 1
.names pa2 pf2 pe2 [334]
10- 1
1-0 1
.names pf pg ph py1 [336]
1100 1
.names pf ph py1 pz2 [337]
0-01 1
-101 1
.names pb2 [120] [112] nm24 [338]
0101 1
.names pr py1 pi pk [344]
1011 1
.names pa1 pr py1 pi [345]
100- 1
1-00 1
.names pf ph py1 pz2 [348]
1001 1
.names pf ph py1 py2 [349]
0-01 1
-101 1
.names pc3 pf ph py1 [350]
1110 1
.names pb3 pf ph py1 [351]
10-0 1
1-00 1
.names pr py1 pi pj [354]
1011 1
.names pr py1 pi pz0 [355]
00-1 1
-001 1
.names pb4 [126] [358] [357]
11- 1
1-1 1
.names pa4 pl0 pn0 [358]
000 1
.names pb3 pf ph py1 [360]
1110 1
.names pa3 pf ph py1 [361]
10-0 1
1-00 1
.names pq2 [180] [364]
11 1
.names pp2 [384] [385] [1812] [365]
01-1 1
0-11 1
.names pc0 pi2 pq2 [370]
111 1
.names pp2 [181] [384] [385] [371]
11-- 1
-100 1
.names pq pr py1 pi [374]
1001 1
.names pr py1 pi py0 [375]
10-1 1
-001 1
.names [393] [1796] [1799] [376]
1-1 1
-11 1
.names pa2 pm0 [247] [378]
111 1
.names pp2 [245] [384] [385] [379]
011- 1
01-1 1
.names po2 [279] [386] [1805] [384]
0-1- 1
01-1 1
.names ph0 [119] [385]
11 1
.names pi0 pn2 pl2 pm2 [386]
1100 1
.names pq2 [180] [114] [393]
01- 1
0-1 1
.names pa0 pb0 ps py1 [397]
1010 1
.names pb0 ps po1 py1 [398]
1-10 1
-010 1
.names pn2 py1 na19 [1780] [400]
0011 1
.names pb0 ps pt py1 [404]
1110 1
.names pb0 ps pp1 py1 [405]
0-10 1
-010 1
.names na19 [1778] [1786] [1787] [415]
0--1 1
-1-1 1
--11 1
.names py1 na19 [179] [1780] [416]
0111 1
.names pb0 ps py py1 [420]
0110 1
.names pb0 ps pm1 py1 [421]
1-10 1
-010 1
.names pn2 na19 [1778] [1779] [425]
0--1 1
-0-1 1
--11 1
.names py1 na19 [1780] [1781] [426]
0111 1
.names pb0 ps pz py1 [427]
0110 1
.names pb0 ps pn1 py1 [428]
1-10 1
-010 1
.names pr py1 pi pl [429]
0011 1
.names pr pt0 py1 pi [430]
110- 1
-100 1
.names pb0 ps pw py1 [431]
1110 1
.names pb0 ps ps1 py1 [432]
0-10 1
-010 1
.names pi2 nx19 [176] [1777] [434]
1-11 1
-111 1
.names pb0 ps px py1 [440]
1110 1
.names pb0 ps pt1 py1 [441]
0-10 1
-010 1
.names pr py1 pi pk [442]
0011 1
.names pr ps0 py1 pi [443]
110- 1
-100 1
.names pi2 px1 nx19 [1770] [447]
-1-1 1
0-01 1
.names pi2 pq2 nx19 [176] [448]
10-1 1
-011 1
.names pd4 [120] nm24 [1769] [453]
0111 1
.names pf4 pl0 pn0 [455]
000 1
.names pf pu2 ph py1 [457]
1100 1
.names pf pt2 ph py1 [458]
01-0 1
-110 1
.names pr py1 pi pj [462]
0011 1
.names pr pr0 py1 pi [463]
110- 1
-100 1
.names pb0 ps pu py1 [464]
1110 1
.names pb0 ps pq1 py1 [465]
0-10 1
-010 1
.names nd17 [177] [1763] [466]
111 1
.names pf pt2 ph py1 [477]
1100 1
.names ps2 pf ph py1 [478]
10-0 1
1-10 1
.names pb0 ps pv py1 [479]
1110 1
.names pb0 ps pr1 py1 [480]
0-10 1
-010 1
.names pq pr py1 pi [483]
1101 1
.names pr pg1 py1 pi [484]
010- 1
-100 1
.names pf2 pe2 [491] [492] [486]
011- 1
01-1 1
.names pa2 ph4 ny16 [489] [487]
00-0 1
0-10 1
.names pi0 pj0 pl0 [1743] [489]
0011 1
.names pa2 ph4 pn0 ny16 [491]
1-0- 1
-100 1
.names pl0 pn0 [1742] [1743] [492]
1011 1
.names pb0 ps pt py1 [506]
0110 1
.names pb0 ps ph1 py1 [507]
1-10 1
-010 1
.names pg3 pf ph py1 [508]
1110 1
.names pf3 pf ph py1 [509]
10-0 1
1-00 1
.names ph3 pf ph py1 [510]
1110 1
.names pg3 pf ph py1 [511]
10-0 1
1-00 1
.names pf pg ph py1 [512]
1110 1
.names ph3 pf ph py1 [513]
10-0 1
1-00 1
.names pp pr py1 pi [514]
1101 1
.names pr pf1 py1 pi [515]
010- 1
-100 1
.names pb0 ps pw py1 [516]
0110 1
.names pb0 ps pk1 py1 [517]
1-10 1
-010 1
.names pe0 pf0 pg0 po2 [520]
--00 1
00-0 1
.names pb0 ps px py1 [531]
0110 1
.names pb0 ps pl1 py1 [532]
1-10 1
-010 1
.names pb0 ps pu py1 [545]
0110 1
.names pb0 ps pi1 py1 [546]
1-10 1
-010 1
.names pe0 pf0 pg0 pp2 [552]
1--0 1
-1-0 1
--00 1
.names pb0 ps pv py1 [555]
0110 1
.names pb0 ps pj1 py1 [556]
1-10 1
-010 1
.names pm3 [114] [117] [1722]
--1 1
11- 1
.names pk1 pe [187] [186] [1724]
1-11 1
-011 1
.names pl3 [114] [117] [1725]
--1 1
11- 1
.names pj1 pe [191] [190] [1726]
1-11 1
-011 1
.names pj2 pl2 pm2 [1730]
110 1
.names pk3 [114] [117] [1731]
--1 1
11- 1
.names pi1 pe [195] [194] [1732]
1-11 1
-011 1
.names pj3 [114] [117] [1733]
--1 1
11- 1
.names ph1 pe [199] [198] [1734]
1-11 1
-011 1
.names pp2 pm2 [1736]
1- 1
-1 1
.names pj2 pn2 po2 pl2 [1737]
-0-- 1
---0 1
0-1- 1
.names pj0 pi0 [1742]
00 1
.names pd2 ph0 pk0 [1743]
100 1
.names pb4 pa4 [1744]
11 1
.names py3 pz3 [1745]
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 pu3 [114] [117] [1758]
--1 1
11- 1
.names ps1 pe [203] [205] [1759]
1-11 1
-011 1
.names pd4 pe4 pf4 pc4 [1763]
0101 1
.names pt3 [114] [117] [1766]
--1 1
11- 1
.names [207] [208] [1767]
11 1
.names pe4 pf4 pg4 [1769]
110 1
.names py1 pq2 [1770]
01 1
.names ps3 [114] [117] [1771]
--1 1
11- 1
.names pq1 pe [212] [214] [1772]
1-11 1
-011 1
.names pr3 [114] [117] [1774]
--1 1
11- 1
.names [218] [219] [1775]
11 1
.names pq2 pr2 [1777]
10 1
.names pm2 pl2 [1778]
0- 1
-0 1
.names py1 po2 [1779]
01 1
.names pm2 pl2 [1780]
11 1
.names po2 pn2 [1781]
01 1
.names pq3 [114] [117] [1782]
--1 1
11- 1
.names po1 pe [227] [226] [1783]
1-11 1
-011 1
.names pp3 [114] [117] [1784]
--1 1
11- 1
.names pn1 pe [231] [230] [1785]
1-11 1
-011 1
.names po2 pn2 [1786]
0- 1
-0 1
.names py1 pp2 [1787]
01 1
.names po3 [114] [117] [1788]
--1 1
11- 1
.names pm1 pe [238] [237] [1789]
1-11 1
-011 1
.names pn3 [114] [117] [1792]
--1 1
11- 1
.names pl1 pe [243] [242] [1793]
1-11 1
-011 1
.names py1 pn2 [1794]
01 1
.names pi2 pq2 py1 px1 [1795]
1100 1
.names pi2 [114] [286] [1795] [1796]
01-- 1
--11 1
.names pa2 [248] [246] [1799]
011 1
.names pm2 pn2 [1805]
10 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 nn16 [102] [1812]
0001 1
.names pq2 pc0 [1813]
10 1
.names pi3 pi2 pr2 pq2 [1814]
10-- 1
1-00 1
.names [114] [118] [1813] [1814] [1815]
-11- 1
1--1 1
.names pd0 [180] [1815] [1816]
--1 1
11- 1
.names [364] [371] [1810] [1811] [1817]
1--- 1
-1-1 1
--11 1
.names px3 [114] [117] [1823]
--1 1
11- 1
.names [260] [261] [1824]
11 1
.names pw3 [114] [117] [1825]
--1 1
11- 1
.names pu1 pe [264] [266] [1826]
1-11 1
-011 1
.names pv3 [114] [117] [1827]
--1 1
11- 1
.names pe pt1 [268] [270] [1828]
0-11 1
-111 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