vtr_flow/benchmarks/blif/3/frg2.blif

.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 [141] [1622] [1623] pg7
--1 1
11- 1
.names [471] [472] [473] ph8
1-- 1
-1- 1
--1 1
.names ph9 ng30 [1628] pi9
--1 1
11- 1
.names pm0 pm3 pd5
11 1
.names [141] [1631] [1632] pf7
--1 1
11- 1
.names pl4 pl1 pg6
0- 1
-0 1
.names py3 [141] [152] ph9
-0- 1
1-1 1
0-0 1
.names pp [161] [460] pi8
--1 1
11- 1
.names pi1 pl4 pd6
0- 1
-0 1
.names [141] [1635] [1636] pe7
--1 1
11- 1
.names pm0 pp3 pg5
11 1
.names pa3 [147] [441] pj8
--1 1
11- 1
.names [156] [1649] [1650] pk9
--1 1
11- 1
.names [141] [1653] [1654] pd7
--1 1
11- 1
.names pl4 pj1 pe6
0- 1
-0 1
.names po3 pm0 pf5
11 1
.names [430] [1657] [1658] pj9
1-- 1
-1- 1
--1 1
.names pb3 [147] [426] pk8
--1 1
11- 1
.names pj3 [153] [424] pa5
--1 1
11- 1
.names pm1 pl1 pk4 pb6
0-- 1
-0- 1
--1 1
.names [141] [1662] [1663] pc7
--1 1
11- 1
.names pc3 [147] [419] pl8
--1 1
11- 1
.names [198] [415] [416] pm9
1-- 1
-1- 1
--1 1
.names [141] [1668] [1669] pb7
--1 1
11- 1
.names pl4 ph1 pc6
0- 1
-0 1
.names ph9 [1671] [1672] pl9
--1 1
01- 1
.names pd3 [147] [408] pm8
--1 1
11- 1
.names [141] [1675] [1676] pa7
--1 1
11- 1
.names pl3 [153] [403] pc5
--1 1
11- 1
.names pe3 [147] [401] pn8
--1 1
11- 1
.names pf4 [180] [187] po9
-1- 1
1-1 1
0-0 1
.names pk1 pm1 pk4 pa6
0-- 1
-0- 1
--1 1
.names pk3 [153] [393] pb5
--1 1
11- 1
.names pe4 [179] [180] pn9
--1 1
11- 1
00- 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 [141] [1681] [1682] po7
--1 1
11- 1
.names [379] [380] [1684] pa8
1-- 1
-1- 1
--1 1
.names pg1 pj4 pl5
10 1
.names [141] [1687] [1688] pn7
--1 1
11- 1
.names px3 [164] [165] po6
100 1
.names [373] [374] [375] pb8
1-- 1
-1- 1
--1 1
.names pt3 [147] [372] pc9
--1 1
11- 1
.names pl1 pl6
0 1
.names [141] [1692] [1693] pm7
--1 1
11- 1
.names pi1 pn0 pk4 po5
0-- 1
-1- 1
--1 1
.names ps3 [147] [367] pb9
--1 1
11- 1
.names [363] [364] [365] pc8
1-- 1
-1- 1
--1 1
.names [141] [1697] [1698] pl7
--1 1
11- 1
.names ph1 pn0 pk4 pn5
0-- 1
-1- 1
--1 1
.names pg1 po4
0 1
.names [357] [358] [359] pd8
1-- 1
-1- 1
--1 1
.names pv3 [147] [356] pe9
--1 1
11- 1
.names pm0 pr3 pi5
11 1
.names pj1 pj6
0 1
.names [141] [1702] [1703] pk7
--1 1
11- 1
.names pu3 [147] [351] pd9
--1 1
11- 1
.names [347] [348] [349] pe8
1-- 1
-1- 1
--1 1
.names pm0 pq3 ph5
11 1
.names [141] [1707] [1708] pj7
--1 1
11- 1
.names pk1 pk6
0 1
.names [341] [342] [343] pf8
1-- 1
-1- 1
--1 1
.names px3 nu16 [141] pg9
111 1
001 1
.names ph1 ph6
0 1
.names [141] [1713] [1714] pi7
--1 1
11- 1
.names pm0 pt3 pk5
11 1
.names [329] [330] [331] pf9
1-- 1
-1- 1
--1 1
.names [326] [327] [328] pg8
1-- 1
-1- 1
--1 1
.names [141] [1730] [1731] ph7
--1 1
11- 1
.names pi1 pi6
0 1
.names pm0 ps3 pj5
11 1
.names [316] [1732] [1733] pv6
1-- 1
-11 1
.names [311] [312] [1737] pw7
1-- 1
-1- 1
--1 1
.names po3 [147] [310] px8
--1 1
11- 1
.names [305] [306] [1739] pv7
1-- 1
-1- 1
--1 1
.names [141] [1742] [1743] pw6
--1 1
11- 1
.names pp3 [147] [301] py8
--1 1
11- 1
.names pk1 [143] [298] pt6
--1 1
10- 1
.names [294] [295] [1746] pu7
1-- 1
-1- 1
--1 1
.names pe3 [153] [293] pv4
--1 1
11- 1
.names pq3 [147] [291] pz8
--1 1
11- 1
.names [286] [287] [1748] pt7
1-- 1
-1- 1
--1 1
.names [198] [285] [1750] pu6
-1- 1
1-1 1
.names pf3 [153] [283] pw4
--1 1
11- 1
.names pd3 [153] [1751] pp4
--1 1
11- 1
.names pk1 pn0 pk4 pq5
0-- 1
-1- 1
--1 1
.names pi1 [143] [277] pr6
--1 1
10- 1
.names [141] [1755] [1756] ps7
--1 1
11- 1
.names pj1 pn0 pk4 pp5
0-- 1
-1- 1
--1 1
.names pc3 [153] [1757] pq4
--1 1
11- 1
.names [141] [1760] [1761] pr7
--1 1
11- 1
.names pj1 [143] [266] ps6
--1 1
10- 1
.names [139] [173] [1735] pp6
010 1
.names [141] [1765] [1766] pq7
--1 1
11- 1
.names pb3 [153] [1767] pr4
--1 1
11- 1
.names [141] [1770] [1771] pp7
--1 1
11- 1
.names ph1 [143] [255] pq6
--1 1
10- 1
.names pl1 pn0 pk4 pr5
0-- 1
-1- 1
--1 1
.names pa3 [153] [1773] ps4
--1 1
11- 1
.names pg3 [147] [251] pp8
--1 1
11- 1
.names pn9 [1777] [1780] pq9
--1 1
11- 1
.names [240] [243] [1789] pp9
1-- 1
-1- 1
--1 1
.names ph3 [147] [237] pq8
--1 1
11- 1
.names pi3 [147] [235] pr8
--1 1
11- 1
.names [1806] [1807] ps9
1- 1
-1 1
.names [226] [227] pr9
1- 1
-1 1
.names pj3 [147] [225] ps8
--1 1
11- 1
.names pk3 [147] [223] pt8
--1 1
11- 1
.names [195] na17 pu9
10 1
.names pg3 [153] [221] px4
--1 1
11- 1
.names pi1 pm1 pk4 py5
0-- 1
-0- 1
--1 1
.names [141] [1814] [1815] pz6
--1 1
11- 1
.names [164] [195] [165] pt9
010 1
.names pl3 [147] [216] pu8
--1 1
11- 1
.names ph1 pm1 pk4 px5
0-- 1
-0- 1
--1 1
.names ph3 [153] [214] py4
--1 1
11- 1
.names [209] [210] [1818] pz7
1-- 1
-1- 1
--1 1
.names pm3 [147] [208] pv8
--1 1
11- 1
.names pk4 na25 pw9
10 1
.names [141] [1821] [1822] px6
--1 1
11- 1
.names [200] [201] [1824] py7
1-- 1
-1- 1
--1 1
.names pi3 [153] [199] pz4
--1 1
11- 1
.names pp6 na25 nj25 pv9
10- 1
1-0 1
.names pn3 [147] [191] pw8
--1 1
11- 1
.names [181] [184] [1826] px7
1-- 1
-1- 1
--1 1
.names [141] [1829] [1830] py6
--1 1
11- 1
.names pj1 pm1 pk4 pz5
0-- 1
-0- 1
--1 1
.names pl4 na17 nu16
0- 1
-1 1
.names pn0 [139] nt15 [141]
10- 1
-00 1
.names ns23 [139] nk21 [161]
001 1
.names pz3 py3 ng30
11 1
.names pl4 na17 ny29 [152]
0-- 1
-1- 1
--1 1
.names [142] [1644] [1645] [146]
000 1
.names [139] nh25 [1643] [147]
--1 1
01- 1
.names pn0 nt15 ns16
1- 1
-0 1
.names [152] [164] [139] [156]
1-0 1
-10 1
.names pm0 ns16 [139] [197]
100 1
.names pk0 pl0 ns23
01 1
10 1
.names pa4 pz3 py3 [164]
1-- 1
-0- 1
--0 1
.names pl4 px3 [170] [177]
0-- 1
-1- 1
-00 1
.names pn0 [139] nt15 [198]
001 1
.names pk0 pl0 pm0 [153]
111 1
001 1
.names pg1 po0 pq0 [143]
1-- 1
-0- 1
--1 1
.names pd4 [142] [179]
1- 1
-1 1
.names po0 pq0 nk21 [149]
101 1
.names pn0 [143] nt15 [180]
-1- 1
0-1 1
.names pe4 [179] [180] [187]
0-- 1
--1 1
11- 1
.names [139] nk21 n_n647 [159]
011 1
.names nu16 [139] nk21 [160]
100 1
.names [139] nk21 n_n647 [162]
010 1
.names nu16 [139] nk21 [163]
000 1
.names pb4 pc4 [164] [170]
1-- 1
-1- 1
--1 1
.names [334] [335] [1725] ns28
1-- 1
-1- 1
--1 1
.names po0 pq0 [139]
0- 1
-1 1
.names [321] [322] nw5
1- 1
-1 1
.names pm1 po0 pq0 [195]
110 1
.names pk0 pl0 pm0 [185]
011 1
101 1
.names pf4 pg4 [168]
0- 1
-1 1
.names pm0 pn0 nt15 nk21
001 1
.names px3 [164] [165] na17
000 1
.names pb4 pc4 [165]
1- 1
-1 1
.names [139] [1641] [1642] na25
1-- 1
-00 1
.names pf4 pg4 [1639] nj25
101 1
.names pi1 ph1 nq25 nt15
001 1
.names pk1 pj1 pl1 nq25
000 1
.names pk0 pl0 n_n647
10 1
.names pk1 pj1 pl1 [182]
11- 1
1-1 1
-11 1
.names pk4 [182] [173] nh25
0-- 1
-1- 1
--1 1
.names pq0 px3 ny29
1- 1
-1 1
.names nj25 [1641] [1642] [173]
1-- 1
-00 1
.names [1644] [1645] nc25
1- 1
-1 1
.names pk4 na25 nj25 [142]
0-- 1
-1- 1
--1 1
.names ns23 [139] nk21 [151]
10- 1
-00 1
.names pe1 pn0 nt15 [166]
1-- 1
-1- 1
--0 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 pp2 [163] [181]
11 1
.names pe [162] [184]
11 1
.names po2 [160] [188]
11 1
.names po3 nc25 [142] [191]
100 1
.names pm0 pq3 ns23 [199]
111 1
.names pq2 [163] [200]
11 1
.names pf [162] [201]
11 1
.names pp2 [160] [202]
11 1
.names pn3 nc25 [142] [208]
100 1
.names pr2 [163] [209]
11 1
.names pg [162] [210]
11 1
.names pq2 [160] [211]
11 1
.names pm0 pp3 ns23 [214]
111 1
.names pm3 nc25 [142] [216]
100 1
.names po3 pm0 ns23 [221]
111 1
.names pl3 nc25 [142] [223]
100 1
.names pk3 nc25 [142] [225]
100 1
.names pl4 na17 [1809] [226]
101 1
.names pl4 na17 [1811] [227]
101 1
.names pg1 na25 [1799] [230]
001 1
.names pg1 na25 [1801] [231]
001 1
.names pg1 na25 [1802] [232]
001 1
.names nc25 [142] [1803] [233]
1-1 1
-11 1
.names pj3 nc25 [142] [235]
100 1
.names pi3 nc25 [142] [237]
100 1
.names pg4 pn9 [180] [239]
110 1
.names pg4 po9 [180] [240]
110 1
.names [416] [1665] [1784] [241]
001 1
.names [416] [1665] [1785] [242]
1-1 1
-11 1
.names pf4 pg4 po9 [243]
100 1
.names nk21 [416] [1665] [244]
11- 1
1-1 1
.names pg1 na25 [1775] [246]
001 1
.names pg1 na25 [1776] [247]
001 1
.names ph3 nc25 [142] [251]
100 1
.names pm0 pq3 [254]
01 1
.names [139] [166] [1772] [255]
001 1
.names pm0 pr3 [262]
01 1
.names [139] [166] [1762] [266]
001 1
.names pm0 ps3 [273]
01 1
.names [139] [166] [1752] [277]
001 1
.names pm0 pt3 [281]
01 1
.names pm0 pn3 ns23 [283]
111 1
.names pl1 [143] [285]
10 1
.names pl2 [163] [286]
11 1
.names pa [162] [287]
11 1
.names pk2 [160] [288]
11 1
.names pr3 nc25 [142] [291]
100 1
.names pm0 pm3 ns23 [293]
111 1
.names pm2 [163] [294]
11 1
.names pb [162] [295]
11 1
.names pl2 [160] [296]
11 1
.names [139] [166] [1744] [298]
001 1
.names pq3 nc25 [142] [301]
100 1
.names pn2 [163] [305]
11 1
.names pc [162] [306]
11 1
.names pm2 [160] [307]
11 1
.names pp3 nc25 [142] [310]
100 1
.names po2 [163] [311]
11 1
.names pd [162] [312]
11 1
.names pn2 [160] [313]
11 1
.names [195] [173] [1735] [316]
10- 1
1-1 1
.names pn4 [168] [1639] [317]
01- 1
0-0 1
.names pg1 [168] [1639] [318]
101 1
.names pd4 [168] [1639] [319]
001 1
.names pn6 [164] [165] [321]
100 1
.names pn1 [164] [165] [322]
11- 1
1-1 1
.names py2 nu16 [151] [326]
101 1
.names pn [161] [327]
11 1
.names px2 nu16 [151] [328]
111 1
.names nc25 [142] [1715] [329]
1-1 1
-11 1
.names nc25 [142] [1716] [330]
001 1
.names ns28 nc25 [142] [331]
100 1
.names pi1 pl1 [1722] [334]
011 1
.names pi1 pt0 nq25 [335]
111 1
.names px2 nu16 [151] [341]
101 1
.names pm [161] [342]
11 1
.names pw2 nu16 [151] [343]
111 1
.names pw2 nu16 [151] [347]
101 1
.names pl [161] [348]
11 1
.names pv2 nu16 [151] [349]
111 1
.names pv3 nc25 [142] [351]
100 1
.names pw3 nc25 [142] [356]
100 1
.names pv2 nu16 [151] [357]
101 1
.names pk [161] [358]
11 1
.names pu2 nu16 [151] [359]
111 1
.names pu2 nu16 [151] [363]
101 1
.names pj [161] [364]
11 1
.names pt2 nu16 [151] [365]
111 1
.names pt3 nc25 [142] [367]
100 1
.names pu3 nc25 [142] [372]
100 1
.names pt2 nu16 [151] [373]
101 1
.names pi [161] [374]
11 1
.names ps2 nu16 [151] [375]
111 1
.names ps2 [163] [379]
11 1
.names ph [162] [380]
11 1
.names pr2 [160] [381]
11 1
.names ps3 nc25 [142] [389]
100 1
.names pg3 nc25 [142] [391]
100 1
.names pm0 ps3 ns23 [393]
111 1
.names pf3 nc25 [142] [401]
100 1
.names pm0 pt3 ns23 [403]
111 1
.names pe3 nc25 [142] [408]
100 1
.names pk4 [173] [1664] [415]
0-1 1
-11 1
.names pd4 pg1 [142] [416]
000 1
.names pd3 nc25 [142] [419]
100 1
.names pm0 pr3 ns23 [424]
111 1
.names pc3 nc25 [142] [426]
100 1
.names pa4 [141] [177] [427]
111 1
.names [141] [1656] [428]
11 1
.names ph9 [164] [430]
00 1
.names pb3 nc25 [142] [441]
100 1
.names pi1 [139] nq25 [442]
100 1
.names pi1 nq25 [1638] [443]
1-1 1
-01 1
.names pj1 pz0 [445]
10 1
.names pi1 py0 [446]
10 1
.names ph1 px0 [447]
10 1
.names pa1 pk1 [449]
01 1
.names pz2 nu16 [151] [460]
111 1
.names pz2 nu16 [151] [471]
101 1
.names po [161] [472]
11 1
.names py2 nu16 [151] [473]
111 1
.names pq po0 pq0 [1620]
110 1
.names pl4 py1 na17 [1621]
110 1
.names pl4 px1 na17 [1622]
01- 1
-11 1
.names [141] [1620] [1621] [1623]
01- 1
1-1 1
.names pz3 py3 [1626]
01 1
.names pz3 py3 [141] [1627]
--0 1
10- 1
.names ph9 [1626] [1627] [1628]
--1 1
01- 1
.names pl0 po0 pq0 [1629]
110 1
.names pl4 px1 na17 [1630]
110 1
.names pl4 pw1 na17 [1631]
01- 1
-11 1
.names [141] [1629] [1630] [1632]
01- 1
1-1 1
.names pk0 po0 pq0 [1633]
110 1
.names pl4 pw1 na17 [1634]
110 1
.names pl4 pv1 na17 [1635]
01- 1
-11 1
.names [141] [1633] [1634] [1636]
01- 1
1-1 1
.names ph1 po0 pq0 [1638]
110 1
.names ph4 pe4 [1639]
01 1
.names pb1 pl1 [447] [1641]
--1 1
01- 1
.names [445] [446] [449] [1642]
1-- 1
-1- 1
--1 1
.names [442] [443] [1643]
1- 1
-1 1
.names pi1 nq25 [182] [1644]
--1 1
10- 1
.names pi1 ph1 nq25 [1645]
11- 1
-10 1
001 1
.names pb4 po0 [164] [1647]
010 1
.names pn0 nt15 [1647] [1648]
1-1 1
-01 1
.names pb4 pn0 nt15 [1649]
11- 1
1-0 1
.names [152] [197] [1648] [1650]
-1- 1
0-1 1
.names pm0 po0 pq0 [1651]
110 1
.names pl4 pv1 na17 [1652]
110 1
.names pl4 pu1 na17 [1653]
01- 1
-11 1
.names [141] [1651] [1652] [1654]
01- 1
1-1 1
.names pa4 pz3 py3 [1656]
10- 1
1-0 1
.names ns23 [198] [428] [1657]
--1 1
01- 1
.names [427] [197] [1658]
1- 1
-1 1
.names pd0 po0 pq0 [1660]
110 1
.names pl4 pu1 na17 [1661]
110 1
.names pl4 pt1 na17 [1662]
01- 1
-11 1
.names [141] [1660] [1661] [1663]
01- 1
1-1 1
.names [143] pd4 [1664]
01 1
.names [415] [198] [1665]
1- 1
-1 1
.names pe0 po0 pq0 [1666]
110 1
.names pl4 pt1 na17 [1667]
110 1
.names pl4 ps1 na17 [1668]
01- 1
-11 1
.names [141] [1666] [1667] [1669]
01- 1
1-1 1
.names pc4 pn0 nt15 [1670]
11- 1
1-0 1
.names pc4 pb4 [1671]
11 1
.names [156] [149] [1670] [1672]
-1- 1
1-1 1
.names pf0 po0 pq0 [1673]
110 1
.names pl4 ps1 na17 [1674]
110 1
.names pl4 pr1 na17 [1675]
01- 1
-11 1
.names [141] [1673] [1674] [1676]
01- 1
1-1 1
.names py po0 pq0 [1679]
110 1
.names pg2 pl4 na17 [1680]
110 1
.names pf2 pl4 na17 [1681]
10- 1
1-1 1
.names [141] [1679] [1680] [1682]
01- 1
1-1 1
.names pp [159] [381] [1684]
--1 1
11- 1
.names px po0 pq0 [1685]
110 1
.names pf2 pl4 na17 [1686]
110 1
.names pe2 pl4 na17 [1687]
10- 1
1-1 1
.names [141] [1685] [1686] [1688]
01- 1
1-1 1
.names pw po0 pq0 [1690]
110 1
.names pe2 pl4 na17 [1691]
110 1
.names pd2 pl4 na17 [1692]
10- 1
1-1 1
.names [141] [1690] [1691] [1693]
01- 1
1-1 1
.names pv po0 pq0 [1695]
110 1
.names pd2 pl4 na17 [1696]
110 1
.names pc2 pl4 na17 [1697]
10- 1
1-1 1
.names [141] [1695] [1696] [1698]
01- 1
1-1 1
.names pu po0 pq0 [1700]
110 1
.names pc2 pl4 na17 [1701]
110 1
.names pb2 pl4 na17 [1702]
10- 1
1-1 1
.names [141] [1700] [1701] [1703]
01- 1
1-1 1
.names pt po0 pq0 [1705]
110 1
.names pb2 pl4 na17 [1706]
110 1
.names pa2 pl4 na17 [1707]
10- 1
1-1 1
.names [141] [1705] [1706] [1708]
01- 1
1-1 1
.names ps po0 pq0 [1711]
110 1
.names pa2 pl4 na17 [1712]
110 1
.names pl4 pz1 na17 [1713]
01- 1
-11 1
.names [141] [1711] [1712] [1714]
01- 1
1-1 1
.names po0 pq0 pw3 [1715]
101 1
.names ps0 ph1 [1716]
11 1
.names pi1 pk1 pv0 [1718]
011 1
.names pi1 pj1 pu0 [1720]
011 1
.names pk1 pj1 pw0 [1722]
001 1
.names [182] [1718] [1720] [1725]
01- 1
0-1 1
.names pr po0 pq0 [1728]
110 1
.names pl4 pz1 na17 [1729]
110 1
.names pl4 py1 na17 [1730]
01- 1
-11 1
.names [141] [1728] [1729] [1731]
01- 1
1-1 1
.names pn0 pm1 [1732]
00 1
.names po0 pp0 pq0 [1733]
110 1
.names [317] [318] [319] [1735]
1-- 1
-1- 1
--1 1
.names pl [159] [313] [1737]
--1 1
11- 1
.names pk [159] [307] [1739]
--1 1
11- 1
.names pj0 po0 pq0 [1740]
110 1
.names pl4 po1 na17 [1741]
110 1
.names pl4 pn1 na17 [1742]
01- 1
-11 1
.names [141] [1740] [1741] [1743]
01- 1
1-1 1
.names pd1 pc1 [1744]
11 1
.names pj [159] [296] [1746]
--1 1
11- 1
.names pi [159] [288] [1748]
--1 1
11- 1
.names pc1 pe1 pd1 [1750]
010 1
.names pl3 [185] [281] [1751]
--1 1
11- 1
.names pd1 pc1 [1752]
01 1
.names pc0 po0 pq0 [1753]
110 1
.names pl4 pk2 na17 [1754]
110 1
.names pj2 pl4 na17 [1755]
10- 1
1-1 1
.names [141] [1753] [1754] [1756]
01- 1
1-1 1
.names pk3 [185] [273] [1757]
--1 1
11- 1
.names pb0 po0 pq0 [1758]
110 1
.names pj2 pl4 na17 [1759]
110 1
.names pl4 pi2 na17 [1760]
01- 1
-11 1
.names [141] [1758] [1759] [1761]
01- 1
1-1 1
.names pd1 pc1 [1762]
10 1
.names pa0 po0 pq0 [1763]
110 1
.names pl4 pi2 na17 [1764]
110 1
.names pl4 ph2 na17 [1765]
01- 1
-11 1
.names [141] [1763] [1764] [1766]
01- 1
1-1 1
.names pj3 [185] [262] [1767]
--1 1
11- 1
.names pz po0 pq0 [1768]
110 1
.names pl4 ph2 na17 [1769]
110 1
.names pg2 pl4 na17 [1770]
10- 1
1-1 1
.names [141] [1768] [1769] [1771]
01- 1
1-1 1
.names pd1 pc1 [1772]
00 1
.names pi3 [185] [254] [1773]
--1 1
11- 1
.names ph4 pk4 na25 [1774]
10- 1
1-1 1
.names pf4 pg4 ph4 [1775]
0-1 1
-11 1
.names ph4 pd4 [1776]
11 1
.names pg1 ph4 na25 [1777]
010 1
.names [197] [180] [1774] [1779]
1-- 1
-01 1
.names [246] [247] [1779] [1780]
1-- 1
-1- 1
--1 1
.names pg4 pd4 [1781]
11 1
.names [180] pg4 [1784]
01 1
.names pk0 pl0 [180] [1785]
111 1
001 1
.names [180] [241] [1781] [1786]
-1- 1
0-1 1
.names [244] [242] [1787]
1- 1
-1 1
.names [239] [1786] [1787] [1789]
1-- 1
-1- 1
--1 1
.names pn4 pj4 ps0 [1792]
101 1
.names pi1 nq25 [1792] [1793]
011 1
.names pg1 na25 [1793] [1794]
001 1
.names pn4 pj4 ns28 [1796]
101 1
.names pg1 na25 [1796] [1797]
001 1
.names ps0 pj4 [1798]
01 1
.names pi1 nq25 [1798] [1799]
011 1
.names pi1 pj4 nq25 [1800]
11- 1
-10 1
.names ns28 [1800] [1801]
01 1
.names pj4 pn4 [1802]
10 1
.names [143] pj4 [1803]
01 1
.names [232] [230] [1804]
1- 1
-1 1
.names [146] [1794] [1797] [1806]
11- 1
1-1 1
.names [231] [233] [1804] [1807]
1-- 1
-1- 1
--1 1
.names pi4 pn1 [139] [1809]
100 1
.names pi4 pn1 [139] [1811]
010 1
.names pg0 po0 pq0 [1812]
110 1
.names pl4 pr1 na17 [1813]
110 1
.names pl4 pq1 na17 [1814]
01- 1
-11 1
.names [141] [1812] [1813] [1815]
01- 1
1-1 1
.names po [159] [211] [1818]
--1 1
11- 1
.names pi0 po0 pq0 [1819]
110 1
.names pl4 pp1 na17 [1820]
110 1
.names pl4 po1 na17 [1821]
01- 1
-11 1
.names [141] [1819] [1820] [1822]
01- 1
1-1 1
.names pn [159] [202] [1824]
--1 1
11- 1
.names pm [159] [188] [1826]
--1 1
11- 1
.names ph0 po0 pq0 [1827]
110 1
.names pl4 pq1 na17 [1828]
110 1
.names pl4 pp1 na17 [1829]
01- 1
-11 1
.names [141] [1827] [1828] [1830]
01- 1
1-1 1
.end