.model top
.inputs pp pa0 pq pb0 pr pc0 ps pd0 pt pe0 pu pf0 pv pg0 pw ph0 px pi0 py pj0 \
pz pk0 pl0 pm0 pn0 po0 pp0 pa pq0 pb pr0 pc ps0 pd pe pf pg ph pi pj pk pl pm \
pn po
.outputs pa1 pb2 pc2 pc1 pa2 pb1 pe1 pf2 pd1 pg2 pd2 pg1 pe2 pf1 pi1 pj2 ph1 \
pk2 ph2 pk1 pi2 pj1 pm1 pl1 pl2 po1 pn1 pq1 pp1 ps1 pr1 pt0 pu1 pt1 pu0 pv0 \
pw1 pv1 pw0 px0 py1 px1 py0 pz0 pz1
.names [144] [70] [255] [572] pa1
---1 1
1-1- 1
-11- 1
.names [1874] [1875] [1876] [1879] pb2
1--- 1
-1-- 1
--1- 1
---1 1
.names [65] [85] [99] [1934] pc2
1--- 1
-1-- 1
--1- 1
---1 1
.names nx11 nd12 ng8 pc1
1-- 1
-1- 1
--1 1
.names no8 [1939] [1940] pa2
1-- 1
-1- 1
--1 1
.names [501] [502] [1909] [1945] pb1
1--- 1
-1-- 1
--1- 1
---1 1
.names [48] [45] [1953] [1956] pe1
1--- 1
-1-- 1
--1- 1
---1 1
.names nj8 ne10 [429] [1980] pf2
1--- 1
-1-- 1
--1- 1
---1 1
.names [49] [137] [1995] [2002] pd1
1--- 1
-1-- 1
--1- 1
---1 1
.names [49] [2007] [2008] pg2
1-- 1
-1- 1
--1 1
.names [560] [561] [2028] [2032] pd2
1--- 1
-1-- 1
--1- 1
---1 1
.names [119] [2043] [2044] [2047] pg1
1--- 1
-1-- 1
--1- 1
---1 1
.names [62] [2087] [2099] [2100] pe2
1--- 1
-1-- 1
--1- 1
---1 1
.names [45] [1953] [2050] [2052] pf1
1--- 1
-1-- 1
--1- 1
---1 1
.names [113] [2111] [2114] [2121] pi1
1--- 1
-1-- 1
--1- 1
---1 1
.names [49] [137] [1995] [2126] ph1
1--- 1
-1-- 1
--1- 1
---1 1
.names pw py [73] [50] pk2
1-11 1
-111 1
.names [133] [2055] ph2
1- 1
-1 1
.names [91] [2134] [2135] [2138] pk1
1--- 1
-1-- 1
--1- 1
---1 1
.names pp pa pf [211] pi2
0101 1
.names [119] [2043] [2044] [2152] pj1
1--- 1
-1-- 1
--1- 1
---1 1
.names [113] [2111] [2160] pm1
1-- 1
-1- 1
--1 1
.names [65] [104] [113] [2167] pl1
1--- 1
-1-- 1
--1- 1
---1 1
.names pa0 [189] [168] po1
111 1
.names [1853] [1854] [1858] [1983] pn1
1111 1
.names pa0 pl [171] [510] pq1
---1 1
111- 1
101- 1
.names [62] [2087] [2172] pp1
1-- 1
-1- 1
--1 1
.names pt1 [92] [524] [2177] ps1
1--- 1
-1-- 1
--1- 1
---1 1
.names pw0 nl6 [2179] pt0
1-- 1
-1- 1
--1 1
.names [129] [103] [133] [2141] pu1
1--- 1
-1-- 1
--1- 1
---1 1
.names [151] [153] [527] [1884] pt1
--1- 1
11-- 1
1--1 1
.names [165] [457] [1959] pu0
-1- 1
1-1 1
.names [124] [1912] [2183] pw1
1-- 1
-1- 1
--1 1
.names [104] [92] [2081] [2188] pv1
1--- 1
-1-- 1
--1- 1
---1 1
.names pt [151] [228] [72] pw0
1111 1
.names [165] nl6 [56] [1959] px0
-1-- 1
--1- 1
1--1 1
.names ns6 nj8 [566] [1834] py1
1--- 1
-1-- 1
--1- 1
---1 1
.names [108] nq12 [404] px1
1-- 1
-1- 1
--1 1
.names nf10 [520] [521] [522] py0
1--- 1
-1-- 1
--1- 1
---1 1
.names [99] [2056] pz0
1- 1
-1 1
.names po [190] [2013] pz1
011 1
.names [144] [70] [255] [107]
1-1 1
-11 1
.names pz pk pl [213]
111 1
110 1
.names pb0 pu [75] [52] nm8
0111 1
.names [77] [174] [52] [1828] nn8
1111 1
.names nr6 [562] [563] [64]
1-- 1
-1- 1
--1 1
.names pw0 nl6 [557] [98]
1-- 1
-1- 1
--1 1
.names [77] [155] ng12 [1861] [101]
--1- 1
11-- 1
1--1 1
.names [202] [186] [177] [549] [129]
---1 1
111- 1
.names pc0 pd0 pe0 [140]
101 1
.names ps pt pv [181]
011 1
.names pc0 pd0 pe0 pa [214]
110- 1
1011 1
.names pw [151] [72] [1880] nd8
1111 1
.names pm0 pp0 [183] [1881] nu7
0011 1
.names pc pd [186] [177] nx11
1011 1
.names pf [77] [52] [1828] no8
1111 1
.names pt1 [184] [1885] [1887] [65]
1--- 1
---1 1
-11- 1
.names py0 [1898] [1899] [85]
1-- 1
-1- 1
--1 1
.names py1 [124] [1912] [1916] [99]
1--- 1
-1-- 1
--1- 1
---1 1
.names [171] [232] [1922] [1925] [109]
--1- 1
---1 1
11-- 1
.names pu pv [51] [1919] nd12
1011 1
.names pb0 pu [52] [1937] ng8
1111 1
.names pd0 pe0 [52] [1902] nf8
0111 1
.names pb0 pu [52] [1892] nk8
0111 1
.names pb0 pu [193] [52] ni8
0111 1
.names pa0 pl [186] [78] nz5
1011 1
.names [50] [1826] [1827] ns6
111 1
.names nj8 [479] [480] [108]
1-- 1
-1- 1
--1 1
.names pz pk pl [206]
110 1
.names [88] [553] [555] [1857] [48]
1--- 1
-1-- 1
--1- 1
---1 1
.names nh8 nr6 [459] [102]
1-- 1
-1- 1
--1 1
.names no9 [151] [72] [1883] [112]
1--- 1
-111 1
.names [168] [52] [1828] [1829] nj8
1111 1
.names pa [164] [151] ne10
011 1
.names ps pv [151] [433] [217]
---1 1
011- 1
.names pw [151] [72] [1882] no9
1111 1
.names pm0 pp0 [183] [1864] nw7
0011 1
.names pv [69] [55] [2003] nt12
0111 1
.names pn1 [424] [1987] [1990] [49]
1--- 1
-1-- 1
--1- 1
---1 1
.names pc0 pd0 pe0 [77]
011 1
.names pc pd [202]
10 1
.names ps pt pu pv [208]
0010 1
.names pc0 pd0 pe0 [164] ni10
1001 1
.names [98] nu7 [394] [2018] [60]
1--- 1
-1-- 1
--1- 1
---1 1
.names pq ph pi [116]
01- 1
1-1 1
.names ph0 [147] [560] [117]
--1 1
11- 1
.names pa ng12 [497] [499] [124]
--1- 1
11-- 1
1--1 1
.names pc0 pu [51] [1908] [173]
0011 1
.names pa pf [174]
10 1
.names pe0 px [189] nx6
111 1
.names pd0 pe0 [165] [373] [134]
---1 1
111- 1
.names [375] [376] [505] [506] [63]
1--- 1
-1-- 1
--1- 1
---1 1
.names [332] [333] [337] [338] [96]
1--- 1
-1-- 1
--1- 1
---1 1
.names ps pt pu pv [165]
1111 1
.names [1986] [1987] [1990] [2035] [119]
1--- 1
-1-- 1
--1- 1
---1 1
.names pu [51] [2061] [2062] nl7
0111 1
.names ph0 pi0 pj0 [71] ni7
0011 1
.names pa2 pq1 [133] [2103] [87]
1--- 1
-1-- 1
--1- 1
---1 1
.names [113] ng7 [2111] [2113] [91]
1--- 1
-1-- 1
--1- 1
---1 1
.names pg [253] [344] [103]
--1 1
11- 1
.names nj2
.names pb0 pu [52] [1903] nh8
1111 1
.names pc0 pd0 pe0 [193]
111 1
.names ps pv py [50] nz11
0011 1
.names ps pv pw [50] nd5
0011 1
.names pf [211] [369] [125]
11- 1
1-1 1
.names pf nt12 [173] [366] [133]
-1-- 1
---1 1
1-1- 1
.names pb0 pu [152] [52] nq8
0111 1
.names pr0 ps0 [134] [200] [86]
--1- 1
00-1 1
.names ps pt pu pv [164]
1001 1
.names pe0 pw [170]
11 1
.names ps pt pu pv [189]
1010 1
.names pw [151] [72] [139] [211]
1111 1
.names pb0 pu [152] [52] ne8
1111 1
.names nm8 nd5 [280] [118]
1-- 1
-1- 1
--1 1
.names pc0 pd0 pe0 [151]
001 1
.names pa [164] [151] nf10
111 1
.names pd0 pe0 [184] [1988] ni12
1011 1
.names pu [51] [2061] [2063] [71]
0111 1
.names pv pn po [190] nu8
1101 1
.names pd0 pe0 [1988] [1989] nn12
1011 1
.names pe0 pz pk [188] nb7
1111 1
.names ni7 ng7 [353] [2067] [104]
1--- 1
-1-- 1
--1- 1
---1 1
.names [101] [483] [1922] [2107] [113]
1--- 1
-1-- 1
--1- 1
---1 1
.names pc0 pd0 pe0 [168]
110 1
.names pe0 pv [1853] [1854] [171]
0111 1
.names [101] [171] [232] [1922] [45]
1--- 1
---1 1
-11- 1
.names pd0 pe0 pw [1886] nm12
0111 1
.names pz pk nb7 [247] [92]
--1- 1
10-1 1
.names pk2 [78] [2058] [2059] [110]
1--- 1
---1 1
-11- 1
.names pa0 [151] [78] [518] [121]
---1 1
111- 1
.names pt py [151] [72] nl6
1111 1
.names [165] [1959] nl11
11 1
.names [104] [92] [2079] [2080] [62]
1--- 1
-1-- 1
--1- 1
---1 1
.names [182] [242] [466] [1948] [88]
--1- 1
---1 1
11-- 1
.names ps pt pv [151] [180]
0111 1
.names pa0 pz pk [228]
1-- 1
-11 1
.names pa0 [78] [155]
11 1
.names pc0 pd0 pe0 pa [186]
1011 1
.names pc0 pa [191]
11 1
.names [1853] [1854] [1858] [1914] nq12
1111 1
.names pz pk pl [205]
111 1
.names pd0 pe0 [68]
01 1
.names ps pv pa [50] [144]
0111 1
.names po [190] [80]
01 1
.names ps pv [73]
00 1
.names pd0 pe0 pw [198]
011 1
.names pv [55] [153]
01 1
.names pv [193] [55] nr11
011 1
.names ps pt pu pv [177]
0000 1
.names pc0 pd0 pe0 [152]
010 1
.names pc pd [140] [177] nw11
0011 1
.names ps pt pu pv [207]
0001 1
.names pd0 pe0 px [207] nn7
0111 1
.names pt pu px [184]
101 1
.names ps pv [151] [1883] np9
0111 1
.names pb0 pu [77] [52] [210]
0111 1
.names pc0 pd0 pe0 [75]
100 1
.names pa0 pr [189] [75] nr6
1111 1
.names pc0 pu [51] [1838] [183]
0011 1
.names pe0 pv [1853] [1854] [182]
1111 1
.names pd0 pe0 pv [55] [138]
1001 1
.names pb0 pc0 pd0 pe0 [190]
0000 1
.names [1853] [1854] [1858] [1859] ng12
1111 1
.names pc0 pu pv [51] ny11
1001 1
.names pc0 pe0 pw [207] ns7
1111 1
.names po0 [183] [1839] [1840] [200]
0111 1
.names pj0 [71] [2065] [2066] ng7
0111 1
.names ps pt pu pv [188]
1000 1
.names pn0 [196] [545] [547] [137]
--1- 1
11-- 1
1--1 1
.names pd0 pt pe0 pu [50]
0011 1
.names pd0 pe0 [69]
10 1
.names ps pd0 pt pe0 [51]
0100 1
.names ps pt pv [52]
110 1
.names ps pv [72]
01 1
.names pt pu [139]
11 1
.names ps pt pu pw [55]
0111 1
.names pw pz pl [232]
1-- 1
-10 1
.names pq ph pi [235]
00- 1
1-0 1
.names px [208] [188] [400] [234]
--1- 1
---1 1
01-- 1
.names pc pd [238]
-1 1
00 1
.names ps pv [67]
11 1
.names pc0 ps pv [50] [142]
0111 1
.names [50] [1822] [1823] [70]
111 1
.names pd0 pe0 [145]
11 1
.names ps pt pu pv [78]
1100 1
.names pa0 pl [239]
11 1
10 1
.names [73] [50] [1863] [1895] [241]
111- 1
11-1 1
.names pc pd [240]
-1 1
00 1
.names pt pu pw px [244]
101- 1
10-1 1
.names pa0 pz pl [242]
1-1 1
-11 1
.names pa0 pw pl [245]
-1- 1
1-0 1
.names [180] [360] [2071] [2073] [247]
1--- 1
-1-- 1
--1- 1
---1 1
.names pq ph pi [249]
01- 1
1-1 1
.names [73] [50] [1863] [1895] [253]
111- 1
11-1 1
.names pz pk pl [255]
111 1
110 1
.names pw pz pk pl [256]
1--- 1
-110 1
.names pw [151] [72] [1846] [147]
1111 1
.names pf0 ph0 [147] [196]
001 1
.names pa0 pz pk [260]
1-- 1
-11 1
.names ps pt pu pv [261]
1111 1
1000 1
.names [50] [69] [72] [78] [225]
1-1- 1
-1-1 1
.names [198] [50] [1822] [1966] [222]
-11- 1
1--1 1
.names nj2 pj2
1 1
.names nd5 pl2
1 1
.names nd5 pr1
1 1
.names nj2 pv0
1 1
.names pa0 pt [151] [72] [56]
1111 1
.names ps pv [116] [2021] [90]
1111 1
.names ph0 [71] [127]
11 1
.names pu pv py [51] [280]
1011 1
.names pj0 pk0 [71] [2065] [283]
0111 1
.names pa0 pu pv [51] [285]
1111 1
.names px [151] [2036] [297]
111 1
.names pv [77] [55] [300]
111 1
.names ps pt pv [193] [301]
0111 1
.names pa0 ps pv [2045] [302]
1111 1
.names pu pf0 [51] [2061] [307]
0111 1
.names pc0 pu pv [51] [316]
1101 1
.names pv [75] [55] [249] [332]
1111 1
.names pj0 [71] [2065] [2089] [333]
0111 1
.names pe0 pw [261] [337]
111 1
.names pa0 ps pv [50] [338]
1001 1
.names [78] [2058] [339]
11 1
.names pv [140] [202] [55] [344]
0111 1
.names pu pf0 [51] [2061] [345]
0111 1
.names pu pv py [51] [346]
1011 1
.names ps pv pw [2045] [347]
1111 1
.names pj0 pk0 [71] [2065] [353]
0111 1
.names pc0 pd0 pe0 [164] [354]
1011 1
.names pe0 [188] [360]
11 1
.names ps pt pu pv [362]
0011 1
.names pc0 pu [51] [2053] [366]
0011 1
.names pz pk [50] [1822] [369]
0-11 1
1111 1
.names ps pv [260] [2045] [373]
1111 1
.names pd0 pe0 [165] [374]
111 1
.names pa0 px [151] [2036] [375]
1-11 1
-111 1
.names pe0 pw [189] [376]
111 1
.names pa pf [173] [378]
101 1
.names ps pv [116] [2021] [379]
1101 1
.names pv [75] [55] [235] [393]
1111 1
.names pp pf [211] [142] [394]
101- 1
10-1 1
.names pv pn [400]
01 1
.names [205] [78] [1824] [404]
111 1
.names pv [140] [202] [55] [407]
0111 1
.names pc0 pd0 pe0 [208] [408]
0111 1
.names pa0 pd0 pe0 [1946] [416]
1111 1
.names [78] [1984] [423]
11 1
.names pa0 [168] [78] [424]
111 1
.names pa [438] [1976] [1977] [429]
01-- 1
0-1- 1
0--1 1
.names ps pd0 pe0 pv [433]
0100 1
.names pb0 pu [52] [1964] [435]
1111 1
.names pc0 [138] [442] [443] [437]
11-- 1
1-1- 1
1--1 1
.names pf [210] [138] [1968] [438]
01-- 1
0-1- 1
0--1 1
.names pa0 [452] [453] [1972] [439]
11-- 1
1-1- 1
1--1 1
.names pc0 px [51] [1918] [440]
0111 1
.names pc pd [73] [50] [442]
1011 1
.names pd0 pe0 [181] [443]
011 1
.names pc0 ps [1854] [1971] [452]
0111 1
.names pc0 pd0 pe0 [78] [453]
1011 1
0101 1
.names ps pv [50] [1960] [457]
0111 1
.names pa0 [75] [78] [459]
111 1
.names pc0 pu pv [51] [462]
1101 1
.names ps pv [152] [244] [466]
0111 1
.names [206] [144] [70] [474]
11- 1
1-1 1
.names [78] [256] [1824] [479]
111 1
.names pv [191] [69] [55] [480]
0111 1
.names pa0 py [51] [1901] [482]
0-11 1
-111 1
.names pw pz pl [171] [483]
1--1 1
-101 1
.names pv [164] [152] [55] [484]
-11- 1
1-11 1
.names pw [78] [1824] [489]
111 1
.names pa0 pl [144] [70] [494]
111- 1
11-1 1
.names pv [69] [55] [1911] [497]
0111 1
.names pa0 [152] [78] [499]
111 1
.names [144] [70] [245] [501]
1-1 1
-11 1
.names pa pf [173] [502]
101 1
.names pa [73] [50] [1863] [503]
1111 1
.names pr pc0 [50] [1826] [505]
0011 1
.names [198] [78] [507] [506]
11- 1
-11 1
.names pd0 pe0 pz pk [507]
0111 1
.names pa0 pu pv [51] [510]
1111 1
.names pv [140] [55] [240] [511]
0111 1
.names pb0 pu [140] [52] [513]
0111 1
.names pr pc0 [50] [1826] [518]
1011 1
.names pa0 [151] [78] [519]
111 1
.names pd0 pe0 pa [165] [520]
0111 1
.names ps pt pv [186] [521]
0111 1
.names py pa [50] [72] [522]
1111 1
.names pt pu px [1885] [524]
1011 1
.names pc0 px [73] [50] [527]
0111 1
.names pf0 ph0 pn0 [147] [541]
0001 1
.names [207] [1865] [545]
11 1
.names pm0 pp0 pq0 [183] [547]
0001 1
.names pa [73] [50] [1863] [549]
1111 1
.names pv [77] [164] [55] [553]
-11- 1
11-1 1
.names pv [170] [1853] [1854] [555]
1111 1
.names pv [75] [55] [1851] [557]
-1-1 1
011- 1
.names po0 [183] [1839] [1840] [560]
1111 1
.names ph0 [147] [561]
11 1
.names pv [140] [55] [238] [562]
0111 1
.names pa0 [75] [78] [563]
111 1
.names pc0 pa [138] [570] [566]
111- 1
11-1 1
.names pl [50] [1826] [570]
011 1
.names [213] [78] [1824] [572]
111 1
.names pc0 ps pv [1822]
011 1
.names pp pa pf [1823]
010 1
.names pd0 pe0 pa [1824]
101 1
.names pa0 ps pv [1826]
110 1
.names pc0 pa pl [1827]
111 1
.names pu pb0 [1828]
10 1
.names pe pa [1829]
00 1
.names nj8 [50] [1826] [1827] [1833]
1--- 1
-111 1
.names pa0 pl [186] [78] [1834]
1111 1
1011 1
.names pv pw pj [1838]
110 1
.names pp0 pm0 [1839]
00 1
.names pq0 pn0 [1840]
00 1
.names ps0 pr0 [1841]
10 1
.names ps0 pr0 [1845]
01 1
.names pt pu pj [1846]
001 1
.names pp0 pm0 [1847]
10 1
.names pm0 pp0 ni10 [183] [1849]
--1- 1
1--1 1
01-1 1
.names pr0 ps0 [200] [1849] [1850]
---1 1
101- 1
.names ps pt pu pv [1851]
0010 1
0000 1
.names ps pc0 [1853]
10 1
.names pd0 pt pu [1854]
101 1
.names pl pz [1855]
01 1
.names [555] [553] [1856]
1- 1
-1 1
.names pa0 pz pl [182] [1857]
1-01 1
-101 1
.names pv pa0 [1858]
01 1
.names pe0 pr [1859]
01 1
.names ps pt pu pv [1860]
0010 1
0000 1
.names pv [55] [1860] [1861]
--1 1
01- 1
.names pc0 pc pd [1863]
100 1
.names pq0 pn0 [1864]
10 1
.names pc0 pd0 pe0 pw [1865]
0111 1
.names pf0 nw7 [147] [541] [1868]
-1-- 1
---1 1
1-1- 1
.names [140] [75] [52] [1828] [1869]
1-11 1
-111 1
.names nn8 [181] [214] [1870]
1-- 1
-11 1
.names nx11 [549] [1869] [1871]
1-- 1
-1- 1
--1 1
.names [566] [1833] [1834] [1871] [1874]
1--- 1
-1-- 1
--1- 1
---1 1
.names [64] [1856] [1857] [1870] [1875]
1--- 1
-1-- 1
--1- 1
---1 1
.names [98] [101] [200] [1841] [1876]
1--- 1
-1-- 1
--11 1
.names [117] [137] [1850] [1868] [1879]
1--- 1
-1-- 1
--1- 1
---1 1
.names pt pu pj [1880]
000 1
.names pq0 pn0 [1881]
11 1
.names pt pu pb [1882]
101 1
.names pt pu px pb [1883]
1011 1
.names pb0 pu [177] [52] [1884]
--1- 1
01-1 1
.names ps pd0 pe0 pv [1885]
0010 1
.names ps pt pu pv [1886]
0100 1
.names no9 [198] np9 [1886] [1887]
1--- 1
--1- 1
-1-1 1
.names pc0 pd0 pe0 pe [1892]
1101 1
.names pd pc0 [1895]
11 1
.names nk8 nw11 [518] [519] [1898]
1--- 1
-1-- 1
--1- 1
---1 1
.names pg [241] [511] [513] [1899]
--1- 1
---1 1
01-- 1
.names pv pu [1901]
11 1
.names pu pb0 [1902]
11 1
.names pd0 pe0 pd [1903]
000 1
.names [68] [52] [1902] [1903] [1905]
111- 1
-111 1
.names [505] [506] [1905] [1906]
1-- 1
-1- 1
--1 1
.names pp pa pf [1907]
010 1
.names pd pv [1908]
00 1
.names [211] [503] [1907] [1909]
-1- 1
1-1 1
.names pc0 pa pf [1911]
010 1
.names [494] [501] [502] [1909] [1912]
1--- 1
-1-- 1
--1- 1
---1 1
.names pr pe0 pa [1914]
001 1
.names pa1 nq12 [489] [1916]
1-- 1
-1- 1
--1 1
.names pv pu [1918]
01 1
.names pc0 px pa [1919]
011 1
.names pc0 [181] [165] [69] [1920]
--11 1
11-1 1
.names [482] [484] [1920] [1922]
1-- 1
-1- 1
--1 1
.names pl pz [1923]
11 1
.names nd12 nq8 [171] [1923] [1925]
1--- 1
-1-- 1
--11 1
.names pd0 pe0 px [1926]
011 1
.names nd8 [202] [186] [177] [1928]
1--- 1
-111 1
.names no8 nz11 nr11 nn7 [1929]
1--- 1
-1-- 1
--1- 1
---1 1
.names pq1 [1906] [1929] [1931]
1-- 1
-1- 1
--1 1
.names nu7 [109] [1928] [1931] [1934]
1--- 1
-1-- 1
--1- 1
---1 1
.names pd0 pe0 pa pd [1937]
0011 1
.names [68] [52] [1902] [1937] [1939]
111- 1
-111 1
.names [193] [52] [1828] [1892] [1940]
111- 1
-111 1
.names nz5 ns6 [108] [474] [1945]
1--- 1
-1-- 1
--1- 1
---1 1
.names ps pt pu pv [1946]
0011 1
.names pc0 [181] [145] [1946] [1948]
--11 1
111- 1
.names nf8 ny11 [462] [1952]
1-- 1
-1- 1
--1 1
.names pq1 nm8 [1952] [1953]
1-- 1
-1- 1
--1 1
.names [102] [112] [200] [1845] [1956]
1--- 1
-1-- 1
--11 1
.names pd0 pe0 py pa [1959]
0110 1
.names pa py [1960]
01 1
.names pt pu pb [1962]
100 1
.names pw px [1962] [1963]
1-1 1
-11 1
.names pd pd0 [1964]
10 1
.names ps pu pv [1966]
011 1
.names pp [173] [222] [1968]
-1- 1
0-1 1
.names pc0 ps pv pl [1970]
1101 1
.names pv pe0 [1971]
00 1
.names ps pv [50] [1970] [1972]
--11 1
011- 1
.names nw11 [435] [440] [1975]
1-- 1
-1- 1
--1 1
.names pw pz [225] [1975] [1976]
---1 1
1-1- 1
-11- 1
.names [439] [437] [1977]
1- 1
-1 1
.names [217] nl11 [457] [1963] [1980]
-1-- 1
--1- 1
1--1 1
.names pe0 pr [1983]
10 1
.names pd0 pe0 pw pz [1984]
111- 1
11-1 1
.names pa0 pn1 [168] [78] [1986]
-1-- 1
1-11 1
.names po1 [171] [423] [1923] [1987]
1--- 1
--1- 1
-1-1 1
.names ps pv pb [1988]
001 1
.names pt pu pw [1989]
101 1
.names [184] [69] [1988] [1989] [1990]
111- 1
-111 1
.names ni8 nr11 np9 [416] [1993]
1--- 1
-1-- 1
--1- 1
---1 1
.names [183] [182] [239] [1847] [1994]
-11- 1
1--1 1
.names [1994] [1993] [1995]
1- 1
-1 1
.names pm0 nd8 no9 [183] [1998]
-1-- 1
--1- 1
1--1 1
.names pn0 pq0 [183] [1839] [1999]
1111 1
0111 1
.names [200] [1841] [1998] [1999] [2001]
--1- 1
---1 1
11-- 1
.names [45] [1953] [2001] [2002]
1-- 1
-1- 1
--1 1
.names pf pc0 [2003]
10 1
.names [407] nt12 [2005]
1- 1
-1 1
.names nk8 no9 np9 [408] [2006]
1--- 1
-1-- 1
--1- 1
---1 1
.names [171] [232] [1922] [2005] [2007]
--1- 1
---1 1
11-- 1
.names pq1 [1952] [2006] [2008]
1-- 1
-1- 1
--1 1
.names nq12 [205] [78] [1824] [2010]
1--- 1
-111 1
.names pv pm pn [2013]
100 1
.names [80] [234] [393] [2013] [2018]
--1- 1
11-- 1
1--1 1
.names pc0 pt pu [2021]
101 1
.names [164] [75] [52] [1828] [2022]
11-- 1
-111 1
.names ng8 [379] [2022] [2024]
1-- 1
-1- 1
--1 1
.names pq1 [102] [182] [1855] [2027]
1--- 1
-1-- 1
--11 1
.names [108] [378] [2010] [2024] [2028]
1--- 1
-1-- 1
--1- 1
---1 1
.names [124] [483] [1922] [1925] [2029]
1--- 1
-1-- 1
--1- 1
---1 1
.names [60] [2027] [2029] [2032]
1-- 1
-1- 1
--1 1
.names px pe0 [2033]
11 1
.names pn pv [2034]
11 1
.names pr0 ps0 nr11 [200] [2035]
--1- 1
01-1 1
.names ps pt pu pv [2036]
0110 1
.names po nh8 [190] [2038]
-1- 1
1-1 1
.names pn0 pq0 [183] [1839] [2040]
1111 1
0111 1
.names [64] [63] [121] [2038] [2041]
1--- 1
-1-- 1
--1- 1
---1 1
.names [137] [2040] [2041] [2043]
1-- 1
-1- 1
--1 1
.names po ni8 [190] [2034] [2044]
-1-- 1
0-11 1
.names pt pe0 pu [2045]
110 1
.names [189] [373] [374] [2033] [2046]
-1-- 1
--1- 1
1--1 1
.names pt1 [524] [1887] [2046] [2047]
1--- 1
-1-- 1
--1- 1
---1 1
.names nd8 [88] [1856] [1857] [2049]
1--- 1
-1-- 1
--1- 1
---1 1
.names ni8 nh8 nr6 [459] [2050]
1--- 1
-1-- 1
--1- 1
---1 1
.names [45] [1953] [2050] [2051]
1-- 1
-1- 1
--1 1
.names [49] [86] [2035] [2049] [2052]
1--- 1
-1-- 1
--1- 1
---1 1
.names pd pv [2053]
10 1
.names pf [211] [210] [369] [2055]
11-- 1
1-1- 1
1--1 1
.names nn8 nx11 nd12 ng8 [2056]
1--- 1
-1-- 1
--1- 1
---1 1
.names pd0 pe0 pz pk [2058]
0110 1
.names [189] [207] [1926] [2033] [2059]
-11- 1
1--1 1
.names px pv [2061]
11 1
.names pg0 pf0 [2062]
10 1
.names pg0 pf0 [2063]
00 1
.names pi0 ph0 [2065]
00 1
.names pl0 pk0 [2066]
10 1
.names ph0 pi0 [71] [354] [2067]
---1 1
011- 1
.names pe0 pz pk [2070]
111 1
.names ps pv [362] [2045] [2071]
--1- 1
11-1 1
.names pf [50] [1822] [1823] [2073]
111- 1
-111 1
.names pc0 pe0 pw [2076]
111 1
.names [207] [345] [346] [2076] [2079]
-1-- 1
--1- 1
1--1 1
.names ph0 nl7 [71] [347] [2080]
-1-- 1
---1 1
1-1- 1
.names ns7 [345] [346] [2080] [2081]
1--- 1
-1-- 1
--1- 1
---1 1
.names pb0 pu [152] [52] [2083]
1111 1
0111 1
.names pk2 [339] [2059] [2083] [2084]
1--- 1
-1-- 1
--1- 1
---1 1
.names pg [253] [344] [2084] [2085]
--1- 1
---1 1
11-- 1
.names [65] [117] [1850] [2085] [2087]
1--- 1
-1-- 1
--1- 1
---1 1
.names pl0 pk0 [2089]
00 1
.names [170] [261] [332] [338] [2090]
--1- 1
---1 1
11-- 1
.names po [190] [67] [2021] [2092]
11-- 1
--11 1
.names pa0 pe0 [165] [2092] [2093]
---1 1
111- 1
.names [63] [133] [2055] [2093] [2095]
1--- 1
-1-- 1
--1- 1
---1 1
.names [85] [60] [137] [1868] [2098]
1--- 1
-1-- 1
--1- 1
---1 1
.names [99] [96] [2056] [2095] [2099]
1--- 1
-1-- 1
--1- 1
---1 1
.names [2051] [2052] [2098] [2100]
1-- 1
-1- 1
--1 1
.names nm8 nx11 nf10 [549] [2103]
1--- 1
-1-- 1
--1- 1
---1 1
.names ne8 ny11 [316] [2107]
1-- 1
-1- 1
--1 1
.names [198] [207] [1886] [2076] [2108]
1-1- 1
-1-1 1
.names no9 np9 [2108] [2109]
1-- 1
-1- 1
--1 1
.names [121] [200] [1845] [2109] [2111]
1--- 1
---1 1
-11- 1
.names pv pn po [190] [2112]
--11 1
1101 1
.names nz11 nr11 nn7 [2112] [2113]
1--- 1
-1-- 1
--1- 1
---1 1
.names ng7 [2113] [2114]
1- 1
-1 1
.names nl7 [164] [75] [2115]
1-- 1
-11 1
.names ph0 pi0 [71] [307] [2116]
---1 1
011- 1
.names ni7 [103] [2115] [2116] [2119]
1--- 1
-1-- 1
--1- 1
---1 1
.names [49] [87] [2119] [2121]
1-- 1
-1- 1
--1 1
.names nh8 [300] [301] [302] [2124]
1--- 1
-1-- 1
--1- 1
---1 1
.names [64] [560] [561] [2124] [2126]
1--- 1
-1-- 1
--1- 1
---1 1
.names pe0 px [189] [297] [2127]
---1 1
111- 1
.names [140] [164] [170] [189] [2128]
11-- 1
--11 1
.names pw [67] [2045] [2128] [2131]
---1 1
111- 1
.names nf8 ni8 nq8 [285] [2132]
1--- 1
-1-- 1
--1- 1
---1 1
.names [1986] [1987] [2131] [2132] [2134]
1--- 1
-1-- 1
--1- 1
---1 1
.names [64] nx6 [283] [297] [2135]
1--- 1
-1-- 1
--1- 1
---1 1
.names [48] [86] [560] [561] [2138]
1--- 1
-1-- 1
--1- 1
---1 1
.names no8 ng8 nk8 [2141]
1-- 1
-1- 1
--1 1
.names pb0 pu [152] [52] [2145]
1111 1
0111 1
.names nd8 [151] [52] [1828] [2146]
1--- 1
-111 1
.names pm0 [183] [2145] [2147]
--1 1
11- 1
.names [118] [183] [1847] [2147] [2150]
1--- 1
---1 1
-11- 1
.names pq1 pu1 [2146] [2150] [2152]
1--- 1
-1-- 1
--1- 1
---1 1
.names nl7 nf10 ni12 [2154]
1-- 1
-1- 1
--1 1
.names pq1 [118] [127] [1906] [2157]
1--- 1
-1-- 1
--1- 1
---1 1
.names pt1 [64] [524] [2127] [2158]
1--- 1
-1-- 1
--1- 1
---1 1
.names ni7 [2154] [2157] [2158] [2160]
1--- 1
-1-- 1
--1- 1
---1 1
.names nf8 nn12 [188] [2070] [2164]
1--- 1
-1-- 1
--11 1
.names nz11 nf10 ni12 nu8 [2165]
1--- 1
-1-- 1
--1- 1
---1 1
.names [63] [2038] [2164] [2165] [2167]
1--- 1
-1-- 1
--1- 1
---1 1
.names [87] [86] [45] [2049] [2171]
1--- 1
-1-- 1
--1- 1
---1 1
.names [49] [2035] [2043] [2171] [2172]
1--- 1
-1-- 1
--1- 1
---1 1
.names nu8 nm12 [337] [338] [2174]
1--- 1
-1-- 1
--1- 1
---1 1
.names [63] [110] [121] [2174] [2177]
1--- 1
-1-- 1
--1- 1
---1 1
.names ne10 [165] [457] [1959] [2179]
1--- 1
--1- 1
-1-1 1
.names nn8 nx11 nd12 ng8 [2181]
1--- 1
-1-- 1
--1- 1
---1 1
.names py0 [107] [2181] [2183]
1-- 1
-1- 1
--1 1
.names nd5 [125] [88] [90] [2186]
1--- 1
-1-- 1
--1- 1
---1 1
.names [86] [333] [2090] [2186] [2188]
1--- 1
-1-- 1
--1- 1
---1 1
.end