Please wait ...

Benchmark(s) have been added to cart.

Tag has been added.

• Login
• Links
• FAQs
• Contact

Navigation

• Instance
  • Show Instances
• Problem
  • Show Problems
• Show Tags
• Search
• Cart

Instance 12-reachability-0-0.asp

Name	12-reachability-0-0.asp
Classes	[Root]    Graphs (3030)    Generic (90)    ASP Contest 09 (Reachability) (29)      Training Instances 3D ASP Competition (5)
Submitter	Roland Kaminski
Author	Giorgio Terracina
Description
Created	2012-04-10 13:22
Modified	2012-04-10 13:22
Languages	Facts
Language Features
Compatible Encodings
Output Predicates
Tags:
Attributes
Content	edge(1000,2560). edge(1000,1237). edge(1000,1315). edge(1000,2355). edge(1000,1097). edge(1000,3048). edge(1000,2590). edge(1000,1644). edge(1000,1613). edge(1000,1922). edge(1000,1710). edge(1000,2698). edge(1000,2873). edge(1000,1524). edge(1000,2996). edge(1000,2644). edge(1000,1850). edge(1000,1195). edge(1000,3115). edge(1000,2069). edge(1000,2941). edge(1000,2299). edge(1000,3044). edge(1000,2986). edge(1000,1038). edge(1000,2080). edge(1000,2905). edge(1000,1304). edge(1000,2407). edge(1000,1920). edge(1000,1859). edge(1000,3199). edge(1000,2010). edge(1000,1330). edge(1000,3028). edge(1000,2930). edge(1000,1504). edge(1000,2107). edge(1000,1868). edge(1000,2998). edge(1000,2676). edge(1000,1512). edge(1000,2660). edge(1000,1923). edge(1000,2479). edge(1000,2767). edge(1000,1104). edge(1000,1552). edge(1000,1846). edge(1000,1200). edge(1000,2082). edge(1000,1051). edge(1000,1371). edge(1000,1623). edge(1000,2270). edge(1000,2483). edge(1000,1872). edge(1000,2277). edge(1000,1301). edge(1000,1063). edge(1000,2315). edge(1000,2129). edge(1000,2458). edge(1000,3024). edge(1000,1115). edge(1000,1609). edge(1000,2855). edge(1000,2317). edge(1000,3177). edge(1000,3144). edge(1000,3110). edge(1000,1381). edge(1000,1422). edge(1000,3182). edge(1000,2121). edge(1000,1602). edge(1000,2933). edge(1000,3128). edge(1000,3057). edge(1000,2210). edge(1000,1994). edge(1000,1993). edge(1000,3088). edge(1000,2510). edge(1000,1481). edge(1000,2104). edge(1000,1856). edge(1000,2865). edge(1000,1782). edge(1000,1742). edge(1000,1839). edge(1000,2951). edge(1000,1840). edge(1000,1223). edge(1000,2236). edge(1000,2714). edge(1000,2528). edge(1000,3147). edge(1000,1320). edge(1000,3200). edge(1000,2061). edge(1000,1148). edge(1000,1004). edge(1000,3032). edge(1000,1290). edge(1000,2389). edge(1000,1627). edge(1000,2049). edge(1000,1308). edge(1000,2530). edge(1000,1478). edge(1000,1998). edge(1000,2323). edge(1000,2365). edge(1000,1213). edge(1000,2020). edge(1000,1043). edge(1000,2154). edge(1000,2605). edge(1000,1111). edge(1000,2170). edge(1000,1752). edge(1000,3119). edge(1000,1445). edge(1000,2444). edge(1000,2825). edge(1000,1139). edge(1000,1102). edge(1000,2265). edge(1000,1858). edge(1000,1734). edge(1000,1188). edge(1000,2637). edge(1000,2195). edge(1000,2427). edge(1000,1867). edge(1000,2326). edge(1000,3160). edge(1000,2927). edge(1000,2267). edge(1000,1065). edge(1000,1206). edge(1000,1276). edge(1000,2883). edge(1000,1620). edge(1000,2870). edge(1000,3230). edge(1000,2345). edge(1000,2363). edge(1000,2819). edge(1000,2391). edge(1000,2302). edge(1000,3213). edge(1000,2766). edge(1000,2276). edge(1000,1538). edge(1000,2918). edge(1000,1441). edge(1000,2604). edge(1000,2090). edge(1000,1894). edge(1000,3005). edge(1000,2835). edge(1000,1476). edge(1000,2994). edge(1000,1479). edge(1000,1651). edge(1000,2084). edge(1000,2273). edge(1000,2288). edge(1000,1551). edge(1000,1216). edge(1000,1426). edge(1000,1190). edge(1000,2324). edge(1000,3211). edge(1000,2852). edge(1000,2250). edge(1000,1945). edge(1000,2231). edge(1000,2155). edge(1000,1147). edge(1000,2007). edge(1000,2672). edge(1000,3023). edge(1000,2142). edge(1000,2812). edge(1000,1880). edge(1000,1557). edge(1000,2814). edge(1000,2341). edge(1000,1997). edge(1000,2856). edge(1000,1505). edge(1000,1008). edge(1000,2921). edge(1000,2006). edge(1000,1287). edge(1000,3076). edge(1000,2141). edge(1000,2756). edge(1000,2607). edge(1000,2829). edge(1000,2942). edge(1000,2878). edge(1000,2370). edge(1000,1800). edge(1000,1054). edge(1000,2138). edge(1000,2382). edge(1000,1886). edge(1000,1598). edge(1000,2467). edge(1000,3035). edge(1000,1553). edge(1000,1780). edge(1000,3114). edge(1000,1785). edge(1000,1458). edge(1000,1405). edge(1000,2114). edge(1000,1589). edge(1000,1802). edge(1000,1870). edge(1000,2457). edge(1000,3031). edge(1000,2520). edge(1000,2047). edge(1000,1526). edge(1000,2130). edge(1000,1015). edge(1000,2762). edge(1000,2214). edge(1000,2925). edge(1000,1527). edge(1000,2406). edge(1000,1599). edge(1000,1494). edge(1000,1364). edge(1000,1040). edge(1000,2023). edge(1000,2041). edge(1000,1885). edge(1000,2455). edge(1000,1342). edge(1000,1836). edge(1000,2965). edge(1000,2815). edge(1000,1543). edge(1000,2882). edge(1000,1938). edge(1000,2359). edge(1000,1379). edge(1000,3002). edge(1000,1637). edge(1000,2881). edge(1000,1532). edge(1000,1094). edge(1000,2540). edge(1000,2827). edge(1000,1907). edge(1000,2289). edge(1000,2162). edge(1000,1693). edge(1000,1638). edge(1000,1661). edge(1000,1849). edge(1000,2431). edge(1000,1355). edge(1000,3061). edge(1000,1631). edge(1000,1062). edge(1000,3185). edge(1000,1929). edge(1000,2338). edge(1000,2555). edge(1000,1486). edge(1000,3231). edge(1000,2208). edge(1000,1053). edge(1000,2156). edge(1000,1057). edge(1000,3015). edge(1000,2092). edge(1000,1373). edge(1000,2831). edge(1000,1173). edge(1000,1624). edge(1000,1686). edge(1000,2734). edge(1000,2923). edge(1000,1338). edge(1000,2248). edge(1000,1653). edge(1000,1466). edge(1000,1022). edge(1000,2658). edge(1000,2721). edge(1000,3192). edge(1000,2985). edge(1000,1739). edge(1000,1934). edge(1000,1409). edge(1000,1307). edge(1000,1982). edge(1000,3037). edge(1000,1072). edge(1000,2166). edge(1000,2779). edge(1000,1194). edge(1000,1028). edge(1000,1444). edge(1000,1064). edge(1000,1942). edge(1000,2489). edge(1000,3239). edge(1000,1284). edge(1000,3097). edge(1000,2980). edge(1000,1220). edge(1000,1913). edge(1000,1238). edge(1000,1621). edge(1000,1367). edge(1000,2595). edge(1000,3225). edge(1000,1296). edge(1000,2025). edge(1000,1884). edge(1000,2306). edge(1000,1617). edge(1000,1723). edge(1000,2597). edge(1000,2474). edge(1000,2625). edge(1000,1210). edge(1000,2182). edge(1000,2991). edge(1000,3221). edge(1000,1259). edge(1000,2694). edge(1000,1432). edge(1000,2959). edge(1000,1124). edge(1000,1427). edge(1000,2715). edge(1000,2851). edge(1000,2843). edge(1000,1628). edge(1000,1316). edge(1000,1792). edge(1000,1285). edge(1000,2893). edge(1000,3079). edge(1000,1103). edge(1000,1088). edge(1000,1784). edge(1000,2305). edge(1000,1177). edge(1000,3228). edge(1000,2912). edge(1000,3094). edge(1000,1669). edge(1000,1530). edge(1000,1926). edge(1000,2200). edge(1000,2046). edge(1000,2246). edge(1000,1698). edge(1000,2868). edge(1000,1499). edge(1000,2472). edge(1000,2832). edge(1000,3086). edge(1000,1909). edge(1000,1697). edge(1000,2754). edge(1000,3062). edge(1000,2626). edge(1000,1027). edge(1000,3215). edge(1000,1910). edge(1000,2132). edge(1000,2339). edge(1000,1545). edge(1000,2683). edge(1000,1268). edge(1000,3043). edge(1000,2403). edge(1000,1960). edge(1000,3117). edge(1000,2292). edge(1000,1245). edge(1000,1247). edge(1000,2048). edge(1000,2915). edge(1000,2631). edge(1000,2351). edge(1000,2009). edge(1000,1544). edge(1000,1343). edge(1000,2662). edge(1000,1501). edge(1000,2000). edge(1000,1084). edge(1000,2085). edge(1000,2894). edge(1000,2384). edge(1000,2695). edge(1000,2056). edge(1000,1209). edge(1000,2688). edge(1000,2961). edge(1000,2411). edge(1000,1766). edge(1000,2078). edge(1000,1903). edge(1000,2216). edge(1000,1860). edge(1000,2983). edge(1000,2437). edge(1000,1459). edge(1000,2032). edge(1000,1475). edge(1000,1834). edge(1000,3132). edge(1000,2225). edge(1000,2238). edge(1000,1346). edge(1000,2399). edge(1000,1774). edge(1000,1003). edge(1000,1260). edge(1000,2770). edge(1000,2469). edge(1001,2082). edge(1001,3152). edge(1001,1873). edge(1001,2816). edge(1001,2970). edge(1001,2424). edge(1001,2260). edge(1001,1367). edge(1001,3175). edge(1001,1017). edge(1001,2466). edge(1001,1085). edge(1001,2508). edge(1001,3200). edge(1001,1612). edge(1001,2759). edge(1001,1521). edge(1001,1976). edge(1001,1073). edge(1001,1720). edge(1001,2104). edge(1001,1028). edge(1001,1483). edge(1001,1651). edge(1001,2326). edge(1001,1349). edge(1001,1962). edge(1001,3159). edge(1001,2595). edge(1001,1864). edge(1001,1098). edge(1001,1794). edge(1001,1896). edge(1001,1629). edge(1001,2532). edge(1001,1986). edge(1001,1669). edge(1001,1592). edge(1001,1668). edge(1001,2637). edge(1001,3078). edge(1001,3243). edge(1001,1421). edge(1001,1610). edge(1001,3056). edge(1001,2659). edge(1001,1451). edge(1001,2178). edge(1001,2604). edge(1001,3100). edge(1001,1860). edge(1001,1611). edge(1001,1248). edge(1001,2803). edge(1001,2675). edge(1001,2524). edge(1001,1250). edge(1001,1212). edge(1001,1285). edge(1001,2710). edge(1001,3083). edge(1001,2843). edge(1001,2350). edge(1001,2421). edge(1001,1922). edge(1001,2132). edge(1001,1343). edge(1001,2186). edge(1001,1297). edge(1001,2113). edge(1001,3026). edge(1001,3197). edge(1001,1109). edge(1001,2456). edge(1001,2794). edge(1001,2051). edge(1001,3249). edge(1001,1921). edge(1001,1436). edge(1001,1843). edge(1001,1632). edge(1001,3233). edge(1001,1145). edge(1001,1691). edge(1001,1889). edge(1001,1536). edge(1001,1466). edge(1001,1040). edge(1001,1021). edge(1001,1644). edge(1001,2312). edge(1001,1052). edge(1001,1180). edge(1001,3181). edge(1001,2372). edge(1001,3012). edge(1001,2867). edge(1001,2494). edge(1001,2417). edge(1001,3074). edge(1001,1819). edge(1001,2907). edge(1001,2306). edge(1001,2228). edge(1001,1571). edge(1001,2995). edge(1001,3097). edge(1001,1696). edge(1001,2635). edge(1001,1963). edge(1001,1574). edge(1001,2463). edge(1001,2412). edge(1001,2881). edge(1001,3146). edge(1001,1111). edge(1001,1954). edge(1001,2310). edge(1001,1078). edge(1001,2505). edge(1001,1497). edge(1001,1628). edge(1001,2193). edge(1001,1329). edge(1001,1379). edge(1001,2716). edge(1001,2324). edge(1001,2218). edge(1001,1197). edge(1001,1996). edge(1001,2779). edge(1001,1446). edge(1001,2785). edge(1001,2353). edge(1001,2134). edge(1001,1259). edge(1001,2969). edge(1001,2968). edge(1001,1097). edge(1001,2243). edge(1001,1569). edge(1001,1648). edge(1001,2297). edge(1001,3116). edge(1001,2963). edge(1001,2141). edge(1001,1587). edge(1001,2985). edge(1001,1118). edge(1001,2752). edge(1001,1014). edge(1001,1275). edge(1001,2578). edge(1001,2706). edge(1001,2711). edge(1001,2231). edge(1001,2648). edge(1001,2401). edge(1001,2700). edge(1001,1009). edge(1001,1961). edge(1001,2291). edge(1001,1423). edge(1001,2814). edge(1001,2741). edge(1001,1029). edge(1001,1393). edge(1001,2501). edge(1001,1797). edge(1001,2364). edge(1001,1432). edge(1001,1182). edge(1001,1984). edge(1001,3066). edge(1001,2124). edge(1001,1127). edge(1001,2177). edge(1001,2171). edge(1001,2512). edge(1001,1183). edge(1001,1535). edge(1001,2965). edge(1001,1744). edge(1001,2473). edge(1001,1160). edge(1001,1539). edge(1001,2305). edge(1001,2461). edge(1001,2013). edge(1001,1047). edge(1001,2724). edge(1001,2631). edge(1001,1314). edge(1001,2363). edge(1001,2149). edge(1001,1533). edge(1001,2093). edge(1001,1858). edge(1001,1274). edge(1001,2127). edge(1001,1543). edge(1001,1759). edge(1001,1937). edge(1001,2728). edge(1001,1548). edge(1001,2278). edge(1001,2616). edge(1001,1225). edge(1001,2452). edge(1001,1604). edge(1001,1242). edge(1001,2198). edge(1001,2054). edge(1001,2251). edge(1001,2905). edge(1001,3112). edge(1001,2142). edge(1001,1167). edge(1001,1454). edge(1001,1754). edge(1001,2813). edge(1001,1038). edge(1001,2765). edge(1001,1231). edge(1001,1733). edge(1001,2933). edge(1001,3059). edge(1001,1414). edge(1001,1137). edge(1001,2575). edge(1001,2111). edge(1001,1302). edge(1001,3003). edge(1001,2988). edge(1001,2189). edge(1001,1213). edge(1001,1468). edge(1001,1199). edge(1001,1876). edge(1001,2922). edge(1001,2784). edge(1001,2397). edge(1001,1216). edge(1001,1243). edge(1001,1998). edge(1001,2333). edge(1001,2174). edge(1001,2745). edge(1001,1916). edge(1001,3036). edge(1001,1943). edge(1001,1341). edge(1001,1515). edge(1001,1418). edge(1001,3018). edge(1001,3064). edge(1001,2107). edge(1001,2723). edge(1001,2514). edge(1001,1578). edge(1001,2977). edge(1001,1919). edge(1001,1878). edge(1001,2006). edge(1001,2154). edge(1001,2180). edge(1001,2776). edge(1001,1558). edge(1001,2188). edge(1001,1895). edge(1001,2225). edge(1001,2128). edge(1001,1982). edge(1001,1010). edge(1001,1977). edge(1001,2887). edge(1001,2715). edge(1001,2217). edge(1001,2791). edge(1001,2894). edge(1001,2428). edge(1001,2556). edge(1001,1102). edge(1001,2376). edge(1001,2210). edge(1001,2940). edge(1001,2576). edge(1001,2847). edge(1001,2989). edge(1001,2319). edge(1001,2536). edge(1001,3242). edge(1001,2308). edge(1001,1579). edge(1001,2073). edge(1001,2220). edge(1001,2360). edge(1001,1191). edge(1001,2240). edge(1001,2782). edge(1001,1391). edge(1001,1039). edge(1001,1346). edge(1001,1056). edge(1001,2172). edge(1001,2062). edge(1001,3238). edge(1001,1918). edge(1001,1384). edge(1001,2489). edge(1001,2118). edge(1001,2015). edge(1001,1906). edge(1001,2947). edge(1001,1013). edge(1001,2950). edge(1001,2612). edge(1001,3102). edge(1001,2046). edge(1001,1026). edge(1001,3148). edge(1001,1269). edge(1001,2577). edge(1001,2052). edge(1001,2601). edge(1001,2739). edge(1001,2572). edge(1001,2219). edge(1001,3103). edge(1001,2390). edge(1001,2010). edge(1001,2563). edge(1001,1489). edge(1001,1033). edge(1001,2029). edge(1001,2155). edge(1001,2928). edge(1001,2069). edge(1001,2518). edge(1001,2449). edge(1001,1467). edge(1001,1907). edge(1001,1505). edge(1001,1265). edge(1001,2325). edge(1001,1162). edge(1001,2109). edge(1001,2447). edge(1001,2997). edge(1001,1316). edge(1001,2206). edge(1001,3190). edge(1001,2655). edge(1001,2019). edge(1001,2875). edge(1001,1771). edge(1001,2553). edge(1001,2168). edge(1001,2796). edge(1001,1658). edge(1001,1680). edge(1001,2639). edge(1001,2984). edge(1001,2614). edge(1001,1171). edge(1001,2041). edge(1001,1119). edge(1001,2003). edge(1001,2789). edge(1001,1939). edge(1001,1254). edge(1001,1477). edge(1001,1849). edge(1001,1887). edge(1001,2787). edge(1001,3226). edge(1001,2663). edge(1001,2687). edge(1001,2036). edge(1001,2460). edge(1001,2564). edge(1001,2279). edge(1001,1273). edge(1001,2420). edge(1001,2790). edge(1001,2567). edge(1001,2788). edge(1001,1722). edge(1001,2795). edge(1001,1742). edge(1001,2822). edge(1001,2120). edge(1001,2943). edge(1001,1631). edge(1001,1306). edge(1001,1075). edge(1001,1663). edge(1001,3007). edge(1001,1981). edge(1001,2355). edge(1001,1957). edge(1001,2295). edge(1001,2162). edge(1001,2636). edge(1001,1563). edge(1001,1903). edge(1001,1362). edge(1001,1693). edge(1001,1949). edge(1001,2481). edge(1001,1831). edge(1001,2832). edge(1001,3061). edge(1001,2145). edge(1001,2626). edge(1001,3168). edge(1001,3229). edge(1001,2032). edge(1001,1164). edge(1001,1951). edge(1001,2143). edge(1001,2469). edge(1001,3031). edge(1001,1419). edge(1001,1947). edge(1001,2336). edge(1001,2117). edge(1001,2826). edge(1001,1975). edge(1001,1772). edge(1001,2327). edge(1001,1927). edge(1001,2464). edge(1001,1583). edge(1001,1881). edge(1001,1375). edge(1001,1848). edge(1001,2649). edge(1001,1853). edge(1002,1237). edge(1002,2922). edge(1002,3052). edge(1002,1347). edge(1002,1572). edge(1002,2661). edge(1002,1798). edge(1002,2706). edge(1002,2284). edge(1002,1003). edge(1002,2636). edge(1002,1030). edge(1002,2760). edge(1002,1520). edge(1002,3163). edge(1002,1839). edge(1002,1707). edge(1002,2468). edge(1002,2158). edge(1002,1697). edge(1002,2648). edge(1002,3225). edge(1002,3247). edge(1002,3196). edge(1002,2725). edge(1002,3070). edge(1002,2781). edge(1002,1570). edge(1002,1941). edge(1002,1886). edge(1002,2874). edge(1002,1624). edge(1002,1252). edge(1002,2886). edge(1002,1455). edge(1002,2328). edge(1002,1788). edge(1002,2137). edge(1002,2128). edge(1002,2348). edge(1002,2390). edge(1002,2389). edge(1002,1088). edge(1002,2469). edge(1002,1092). edge(1002,1152). edge(1002,1676). edge(1002,2340). edge(1002,2368). edge(1002,2391). edge(1002,2485). edge(1002,1640). edge(1002,3205). edge(1002,2817). edge(1002,2809). edge(1002,2319). edge(1002,1807). edge(1002,2061). edge(1002,2536). edge(1002,2743). edge(1002,1949). edge(1002,2796). edge(1002,1218). edge(1002,1789). edge(1002,2900). edge(1002,2067). edge(1002,2006). edge(1002,1083). edge(1002,2736). edge(1002,3042). edge(1002,1123). edge(1002,3195). edge(1002,3132). edge(1002,2619). edge(1002,2052). edge(1002,1828). edge(1002,2966). edge(1002,2810). edge(1002,3121). edge(1002,2824). edge(1002,1014). edge(1002,2357). edge(1002,3018). edge(1002,2646). edge(1002,3155). edge(1002,1176). edge(1002,2571). edge(1002,1294). edge(1002,3162). edge(1002,1220). edge(1002,1485). edge(1002,2024). edge(1002,1099). edge(1002,1708). edge(1002,2876). edge(1002,2851). edge(1002,2654). edge(1002,2496). edge(1002,2735). edge(1002,2475). edge(1002,2010). edge(1002,2053). edge(1002,2394). edge(1002,1862). edge(1002,1727). edge(1002,1956). edge(1002,2999). edge(1002,2175). edge(1002,3023). edge(1002,1656). edge(1002,1879). edge(1002,1253). edge(1002,2449). edge(1002,2790). edge(1002,2689). edge(1002,2896). edge(1002,2093). edge(1002,2569). edge(1002,1222). edge(1002,2872). edge(1002,1791). edge(1002,1688). edge(1002,2622). edge(1002,2664). edge(1002,2502). edge(1002,3232). edge(1002,2152). edge(1002,1141). edge(1002,2038). edge(1002,2686). edge(1002,2895). edge(1002,1470). edge(1002,2397). edge(1002,1100). edge(1002,1755). edge(1002,1669). edge(1002,2913). edge(1002,2187). edge(1002,2705). edge(1002,2094). edge(1002,1706). edge(1002,2267). edge(1002,2090). edge(1002,1787). edge(1002,3050). edge(1002,2224). edge(1002,1615). edge(1002,2564). edge(1002,2163). edge(1002,2724). edge(1002,2192). edge(1002,1317). edge(1002,2133). edge(1002,1414). edge(1002,2356). edge(1002,2730). edge(1002,1157). edge(1002,1392). edge(1002,2494). edge(1002,3021). edge(1002,1336). edge(1002,2252). edge(1002,1105). edge(1002,3075). edge(1002,1135). edge(1002,3229). edge(1002,2214). edge(1002,1493). edge(1002,1159). edge(1002,1007). edge(1002,1966). edge(1002,1745). edge(1002,3166). edge(1002,1785). edge(1002,1971). edge(1002,1752). edge(1002,3045). edge(1002,2916). edge(1002,1017). edge(1002,1612). edge(1002,2478). edge(1002,2353). edge(1002,2429). edge(1002,1987). edge(1002,1024). edge(1002,1132). edge(1002,2068). edge(1002,1808). edge(1002,2225). edge(1002,1245). edge(1002,1289). edge(1002,2040). edge(1002,3198). edge(1002,1338). edge(1002,2893). edge(1002,3122). edge(1002,1562). edge(1002,3144). edge(1002,2722). edge(1002,1254). edge(1002,2782). edge(1002,2800). edge(1002,1169). edge(1002,3183). edge(1002,2374). edge(1002,1996). edge(1002,3190). edge(1002,2853). edge(1002,2903). edge(1002,1661). edge(1002,1357). edge(1002,2217). edge(1002,3019). edge(1002,1396). edge(1002,1948). edge(1002,3123). edge(1002,2973). edge(1002,1160). edge(1002,1133). edge(1002,2282). edge(1002,1267). edge(1002,1106). edge(1002,2212). edge(1002,1202). edge(1002,1758). edge(1002,3218). edge(1002,2142). edge(1002,1089). edge(1002,3234). edge(1002,1654). edge(1002,2421). edge(1002,2889). edge(1002,1230). edge(1002,1148). edge(1002,3172). edge(1002,1638). edge(1002,2145). edge(1002,1430). edge(1002,1410). edge(1002,2525). edge(1002,1962). edge(1002,1339). edge(1002,2846). edge(1002,1870). edge(1002,1526). edge(1002,3072). edge(1002,1942). edge(1002,1544). edge(1002,2088). edge(1002,1281). edge(1002,3139). edge(1002,1162). edge(1002,1598). edge(1002,1836). edge(1002,2299). edge(1002,2288). edge(1002,2404). edge(1002,1240). edge(1002,2236). edge(1002,1189). edge(1002,2439). edge(1002,2871). edge(1002,1717). edge(1002,3064). edge(1002,2015). edge(1002,1032). edge(1002,2296). edge(1002,1546). edge(1002,2453). edge(1002,2520). edge(1002,2289). edge(1002,1012). edge(1002,2847). edge(1002,2552). edge(1002,2787). edge(1002,2658). edge(1002,1427). edge(1002,1518). edge(1002,1398). edge(1002,1328). edge(1002,3164). edge(1002,1291). edge(1002,1779). edge(1002,1415). edge(1002,2998). edge(1002,2681). edge(1002,1834). edge(1002,2926). edge(1002,1360). edge(1002,2484). edge(1002,1510). edge(1002,3067). edge(1002,2605). edge(1002,2513). edge(1002,2250). edge(1002,2554). edge(1002,1930). edge(1002,3179). edge(1002,2738). edge(1002,1978). edge(1002,1651). edge(1002,2443). edge(1002,1866). edge(1002,1880). edge(1002,3116). edge(1002,3038). edge(1002,2383). edge(1002,1736). edge(1002,2577). edge(1002,3083). edge(1002,3169). edge(1002,1231). edge(1002,2286). edge(1002,2447). edge(1002,1486). edge(1002,3141). edge(1002,1924). edge(1002,1853). edge(1002,2134). edge(1002,1529). edge(1002,1244). edge(1002,1167). edge(1002,2337). edge(1002,1437). edge(1002,2300). edge(1002,3187). edge(1002,1595). edge(1002,3007). edge(1002,2313). edge(1002,2970). edge(1002,2369). edge(1002,1823). edge(1002,3058). edge(1002,2918). edge(1002,3036). edge(1002,1591). edge(1002,1533). edge(1002,2190). edge(1002,1468). edge(1002,1047). edge(1002,2943). edge(1002,2555). edge(1002,1957). edge(1002,1986). edge(1002,2940). edge(1002,1257). edge(1002,2454). edge(1002,3202). edge(1002,1488). edge(1002,1270). edge(1002,3015). edge(1002,2174). edge(1002,2778). edge(1002,2364). edge(1002,1539). edge(1002,2643). edge(1002,2924). edge(1002,1666). edge(1002,2854). edge(1002,2732). edge(1002,2583). edge(1002,2877). edge(1002,1042). edge(1002,2483). edge(1002,2223). edge(1002,2792). edge(1002,1515). edge(1002,1698). edge(1002,2249). edge(1002,2482). edge(1002,2994). edge(1002,3080). edge(1002,2829). edge(1002,3174). edge(1002,2556). edge(1002,2632). edge(1002,1311). edge(1002,1316). edge(1002,2218). edge(1002,1453). edge(1002,3173). edge(1002,1607). edge(1002,2861). edge(1002,2978). edge(1002,1770). edge(1002,2448). edge(1002,2254). edge(1002,2318). edge(1002,1020). edge(1002,1233). edge(1002,1710). edge(1002,1091). edge(1002,1216). edge(1002,1131). edge(1002,2862). edge(1002,2408). edge(1002,2365). edge(1002,2764). edge(1002,1108). edge(1002,2859). edge(1002,2629). edge(1002,2676). edge(1002,3106). edge(1002,2710). edge(1002,2890). edge(1002,1464). edge(1002,1094). edge(1002,2310). edge(1002,2457). edge(1002,1331). edge(1002,2055). edge(1002,2593). edge(1002,1402). edge(1002,2237). edge(1002,1997). edge(1002,2089). edge(1002,2028). edge(1002,1413). edge(1002,1182). edge(1002,2431). edge(1002,2124). edge(1002,1178). edge(1002,1067). edge(1002,2881). edge(1002,1466). edge(1002,3110). edge(1002,2420). edge(1002,2958). edge(1002,1150). edge(1002,1613). edge(1002,2259). edge(1002,2515). edge(1002,2697). edge(1002,2811). edge(1002,1970). edge(1002,1019). edge(1002,3053). edge(1002,2091). edge(1003,2256). edge(1003,1804). edge(1003,2171). edge(1003,2508). edge(1003,3246). edge(1003,2618). edge(1003,1077). edge(1003,3090). edge(1003,1739). edge(1003,2030). edge(1003,2112). edge(1003,1477). edge(1003,1744). edge(1003,2147). edge(1003,2140). edge(1003,2794). edge(1003,3099). edge(1003,2244). edge(1003,2665). edge(1003,2105). edge(1003,2352). edge(1003,1977). edge(1003,2353). edge(1003,2788). edge(1003,2878). edge(1003,1195). edge(1003,1511). edge(1003,1523). edge(1003,1657). edge(1003,1184). edge(1003,1568). edge(1003,3035). edge(1003,3030). edge(1003,3194). edge(1003,2919). edge(1003,2291). edge(1003,2951). edge(1003,1456). edge(1003,1758). edge(1003,1853). edge(1003,2347). edge(1003,2335). edge(1003,2895). edge(1003,1033). edge(1003,1226). edge(1003,1235). edge(1003,2043). edge(1003,2390). edge(1003,2293). edge(1003,1875). edge(1003,1941). edge(1003,2427). edge(1003,2525). edge(1003,2812). edge(1003,1144). edge(1003,2115). edge(1003,2542). edge(1003,1797). edge(1003,2588). edge(1003,2308). edge(1003,3220). edge(1003,1932). edge(1003,1847). edge(1003,2349). edge(1003,2068). edge(1003,2565). edge(1003,3200). edge(1003,3016). edge(1003,2006). edge(1003,2416). edge(1003,2532). edge(1003,2452). edge(1003,2628). edge(1003,3196). edge(1003,1410). edge(1003,1906). edge(1003,2999). edge(1003,1608). edge(1003,3071). edge(1003,2440). edge(1003,2680). edge(1003,1820). edge(1003,3009). edge(1003,2880). edge(1003,1307). edge(1003,1289). edge(1003,2254). edge(1003,1050). edge(1003,1637). edge(1003,1362). edge(1003,1896). edge(1003,2037). edge(1003,2368). edge(1003,2441). edge(1003,1102). edge(1003,1545). edge(1003,2432). edge(1003,3176). edge(1003,2118). edge(1003,3047). edge(1003,1344). edge(1003,1271). edge(1003,2239). edge(1003,2616). edge(1003,1371). edge(1003,2426). edge(1003,1447). edge(1003,2608). edge(1003,1614). edge(1003,3134). edge(1003,2188). edge(1003,2805). edge(1003,1582). edge(1003,3115). edge(1003,3043). edge(1003,1253). edge(1003,1855). edge(1003,2869). edge(1003,2850). edge(1003,2047). edge(1003,1661). edge(1003,1180). edge(1003,2205). edge(1003,2579). edge(1003,2803). edge(1003,2587). edge(1003,2974). edge(1003,1899). edge(1003,2660). edge(1003,1663). edge(1003,2226). edge(1003,1013). edge(1003,2049). edge(1003,2186). edge(1003,2984). edge(1003,2429). edge(1003,2515). edge(1003,2768). edge(1003,1359). edge(1003,1373). edge(1003,2376). edge(1003,1057). edge(1003,1418). edge(1003,3141). edge(1003,1979). edge(1003,2599). edge(1003,1796). edge(1003,2134). edge(1003,2481). edge(1003,3178). edge(1003,1294). edge(1003,1466). edge(1003,1264). edge(1003,2902). edge(1003,2475). edge(1003,1577). edge(1003,1508). edge(1003,3197). edge(1003,1897). edge(1003,2800). edge(1003,2418). edge(1003,3113). edge(1003,2417). edge(1003,3154). edge(1003,1732). edge(1003,2822). edge(1003,1281). edge(1003,1207). edge(1003,1449). edge(1003,1913). edge(1003,2679). edge(1003,2584). edge(1003,1481). edge(1003,1143). edge(1003,1154). edge(1003,1793). edge(1003,2749). edge(1003,1220). edge(1003,1316). edge(1003,3184). edge(1003,1451). edge(1003,1136). edge(1003,1355). edge(1003,1389). edge(1003,3096). edge(1003,3243). edge(1003,2279). edge(1003,1047). edge(1003,1544). edge(1003,2479). edge(1003,2340). edge(1003,1277). edge(1003,1192). edge(1003,2066). edge(1003,2570). edge(1003,3011). edge(1003,1963). edge(1003,2551). edge(1003,1817). edge(1003,2844). edge(1003,1480). edge(1003,1636). edge(1003,1902). edge(1003,2986). edge(1003,2868). edge(1003,1802). edge(1003,2413). edge(1003,1590). edge(1003,3128). edge(1003,3062). edge(1003,1064). edge(1003,1084). edge(1003,1805). edge(1003,1684). edge(1003,2770). edge(1003,1909). edge(1003,2219). edge(1003,3135). edge(1003,1863). edge(1003,2781). edge(1003,2506). edge(1003,1591). edge(1003,2384). edge(1003,2086). edge(1003,2804). edge(1003,1005). edge(1003,1017). edge(1003,1584). edge(1003,1503). edge(1003,1956). edge(1003,1412). edge(1003,1145). edge(1003,2671). edge(1003,2538). edge(1003,2012). edge(1003,2197). edge(1003,2299). edge(1003,1649). edge(1003,1567). edge(1003,2736). edge(1003,1533). edge(1003,2705). edge(1003,2447). edge(1003,2589). edge(1003,2879). edge(1003,2021). edge(1003,2245). edge(1003,1459). edge(1003,1488). edge(1003,2857). edge(1003,1122). edge(1003,2172). edge(1003,1479). edge(1003,2586). edge(1003,1450). edge(1003,2833). edge(1003,1280). edge(1003,2779). edge(1003,1658). edge(1003,3075). edge(1003,2513). edge(1003,1543). edge(1003,3159). edge(1003,1435). edge(1003,1760). edge(1003,1860). edge(1003,1246). edge(1003,2414). edge(1003,2009). edge(1003,3202). edge(1003,2491). edge(1003,1771). edge(1003,2739). edge(1003,1579). edge(1003,3218). edge(1003,2725). edge(1003,2314). edge(1003,2657). edge(1003,1306). edge(1003,1101). edge(1003,3069). edge(1003,1675). edge(1003,2225). edge(1003,2796). edge(1003,2578). edge(1003,1023). edge(1003,2989). edge(1003,2580). edge(1003,1108). edge(1003,1160). edge(1003,1599). edge(1003,2319). edge(1003,2163). edge(1003,2612). edge(1003,1125). edge(1003,2557). edge(1003,2994). edge(1003,2268). edge(1003,2323). edge(1003,2718). edge(1003,3014). edge(1003,1725). edge(1003,2050). edge(1003,2695). edge(1003,1654). edge(1003,1555). edge(1003,3217). edge(1003,1632). edge(1003,1812). edge(1003,3098). edge(1003,3118). edge(1003,1476). edge(1003,2823). edge(1003,2022). edge(1003,2700). edge(1003,1557). edge(1003,1187). edge(1003,2465). edge(1003,2455). edge(1003,2270). edge(1003,2964). edge(1003,1032). edge(1003,1745). edge(1003,1029). edge(1003,2122). edge(1003,3101). edge(1003,2946). edge(1003,2499). edge(1003,2517). edge(1003,2456). edge(1003,1846). edge(1003,1301). edge(1003,3082). edge(1003,2865). edge(1003,1874). edge(1003,3025). edge(1003,1282). edge(1003,2846). edge(1003,1998). edge(1003,2925). edge(1003,2602). edge(1003,2882). edge(1003,1961). edge(1003,1428). edge(1003,2498). edge(1003,2286). edge(1003,2375). edge(1003,1887). edge(1003,1815). edge(1003,1826). edge(1003,2636). edge(1003,2303). edge(1003,3228). edge(1003,2967). edge(1003,1079). edge(1003,2645). edge(1003,1682). edge(1003,2229). edge(1003,3179). edge(1003,1213). edge(1003,1312). edge(1003,1588). edge(1003,3188). edge(1003,2957). edge(1003,2045). edge(1003,2715). edge(1003,2651). edge(1003,2055). edge(1003,1617). edge(1003,2553). edge(1003,1252). edge(1003,2582). edge(1003,3160). edge(1003,2893). edge(1003,1388). edge(1003,3102). edge(1003,1709). edge(1003,3059). edge(1003,3225). edge(1003,1778). edge(1003,1244). edge(1003,3120). edge(1003,1741). edge(1003,1475). edge(1003,2944). edge(1003,1697). edge(1003,2029). edge(1003,1065). edge(1003,1927). edge(1003,2917). edge(1003,2623). edge(1003,3057). edge(1003,3180). edge(1003,3088). edge(1003,2606). edge(1003,1808). edge(1003,1825). edge(1003,1076). edge(1003,1140). edge(1003,1094). edge(1003,1779). edge(1003,3137). edge(1003,2088). edge(1003,2896). edge(1003,1385). edge(1003,1291). edge(1003,2135). edge(1003,1799). edge(1003,1769). edge(1003,3045). edge(1003,3008). edge(1003,2914). edge(1003,2808). edge(1003,2132). edge(1003,1392). edge(1003,2184). edge(1003,2802). edge(1003,1620). edge(1003,1525). edge(1003,3078). edge(1003,2071). edge(1003,2306). edge(1003,1957). edge(1003,2761). edge(1003,2798). edge(1003,1831). edge(1003,1845). edge(1003,1034). edge(1003,2328). edge(1003,1074). edge(1003,1387). edge(1003,2264). edge(1003,2733). edge(1003,1221). edge(1003,3231). edge(1003,3081). edge(1003,1991). edge(1003,1191). edge(1003,1288). edge(1003,2809). edge(1003,2597). edge(1003,1062). edge(1003,1656). edge(1003,3142). edge(1003,1794). edge(1003,1497). edge(1003,1314). edge(1003,2758). edge(1003,1888). edge(1003,1370). edge(1003,1251). edge(1003,2932). edge(1003,2568). edge(1003,1361). edge(1003,2656). edge(1003,1443). edge(1003,1706). edge(1003,3203). edge(1003,1929). edge(1003,1496). edge(1003,2138). edge(1003,2405). edge(1003,2295). edge(1003,3157). edge(1004,3179). edge(1004,2802). edge(1004,1828). edge(1004,2214). edge(1004,1211). edge(1004,1628). edge(1004,2005). edge(1004,1486). edge(1004,2642). edge(1004,2253). edge(1004,2699). edge(1004,2342). edge(1004,3227). edge(1004,1357). edge(1004,1181). edge(1004,1596). edge(1004,1874). edge(1004,2164). edge(1004,1195). edge(1004,1539). edge(1004,1980). edge(1004,2718). edge(1004,2733). edge(1004,2940). edge(1004,2645). edge(1004,1848). edge(1004,1634). edge(1004,1669). edge(1004,2656). edge(1004,3225). edge(1004,2874). edge(1004,2913). edge(1004,1930). edge(1004,2858). edge(1004,1419). edge(1004,1573). edge(1004,2413). edge(1004,1183). edge(1004,3193). edge(1004,2503). edge(1004,1336). edge(1004,1557). edge(1004,2988). edge(1004,2822). edge(1004,1884). edge(1004,1781). edge(1004,2708). edge(1004,1951). edge(1004,3177). edge(1004,1916). edge(1004,2508). edge(1004,3232). edge(1004,2278). edge(1004,2605). edge(1004,1482). edge(1004,1967). edge(1004,1728). edge(1004,2303). edge(1004,1221). edge(1004,3205). edge(1004,2577). edge(1004,2596). edge(1004,2170). edge(1004,2292). edge(1004,2497). edge(1004,2991). edge(1004,1099). edge(1004,2227). edge(1004,1446). edge(1004,2464). edge(1004,2159). edge(1004,3006). edge(1004,1983). edge(1004,1953). edge(1004,2468). edge(1004,1716). edge(1004,1534). edge(1004,1941). edge(1004,1122). edge(1004,1963). edge(1004,2392). edge(1004,1158). edge(1004,2144). edge(1004,1383). edge(1004,2964). edge(1004,2141). edge(1004,1697). edge(1004,2375). edge(1004,1837). edge(1004,2250). edge(1004,1090). edge(1004,2117). edge(1004,2412). edge(1004,2302). edge(1004,3208). edge(1004,2255). edge(1004,2712). edge(1004,2894). edge(1004,2148). edge(1004,3172). edge(1004,2673). edge(1004,1841). edge(1004,1083). edge(1004,2484). edge(1004,1126). edge(1004,2986). edge(1004,2757). edge(1004,1358). edge(1004,1823). edge(1004,2416). edge(1004,1112). edge(1004,2798). edge(1004,2890). edge(1004,1511). edge(1004,1893). edge(1004,1810). edge(1004,2395). edge(1004,2765). edge(1004,2126). edge(1004,1794). edge(1004,1278). edge(1004,1088). edge(1004,2067). edge(1004,1479). edge(1004,1238). edge(1004,2753). edge(1004,2452). edge(1004,2240). edge(1004,2654). edge(1004,3109). edge(1004,2459). edge(1004,2973). edge(1004,2854). edge(1004,2876). edge(1004,3080). edge(1004,2434). edge(1004,1651). edge(1004,1896). edge(1004,2677). edge(1004,1887). edge(1004,1982). edge(1004,1456). edge(1004,2806). edge(1004,1381). edge(1004,1609). edge(1004,2111). edge(1004,3019). edge(1004,3196). edge(1004,1172). edge(1004,2828). edge(1004,2789). edge(1004,1225). edge(1004,2274). edge(1004,1620). edge(1004,3244). edge(1004,1960). edge(1004,2436). edge(1004,2829). edge(1004,2611). edge(1004,1538). edge(1004,3127). edge(1004,1931). edge(1004,1792). edge(1004,2860). edge(1004,2780). edge(1004,1399). edge(1004,2245). edge(1004,2990). edge(1004,2694). edge(1004,2847). edge(1004,2329). edge(1004,2359). edge(1004,1979). edge(1004,1499). edge(1004,3235). edge(1004,1196). edge(1004,2080). edge(1004,2053). edge(1004,1686). edge(1004,1413). edge(1004,3233). edge(1004,2048). edge(1004,3086). edge(1004,2544). edge(1004,2172). edge(1004,1443). edge(1004,1200). edge(1004,2426). edge(1004,2952). edge(1004,2877). edge(1004,1831). edge(1004,2450). edge(1004,1370). edge(1004,1654). edge(1004,2480). edge(1004,3030). edge(1004,3040). edge(1004,2079). edge(1004,2546). edge(1004,2073). edge(1004,2731). edge(1004,1048). edge(1004,3069). edge(1004,1684). edge(1004,1637). edge(1004,1201). edge(1004,1545). edge(1004,2050). edge(1004,1618). edge(1004,2793). edge(1004,1474). edge(1004,2602). edge(1004,1092). edge(1004,1089). edge(1004,1241). edge(1004,2493). edge(1004,3059). edge(1004,2803). edge(1004,2584). edge(1004,2203). edge(1004,2166). edge(1004,3015). edge(1004,2948). edge(1004,2057). edge(1004,1839). edge(1004,2624). edge(1004,2886). edge(1004,2775). edge(1004,1526). edge(1004,2539). edge(1004,1757). edge(1004,2056). edge(1004,1866). edge(1004,2403). edge(1004,1461). edge(1004,1588). edge(1004,1157). edge(1004,3101). edge(1004,3043). edge(1004,1858). edge(1004,1924). edge(1004,2474). edge(1004,2626). edge(1004,2868). edge(1004,1850). edge(1004,1046). edge(1004,1064). edge(1004,1622). edge(1004,2362). edge(1004,1162). edge(1004,1636). edge(1004,2499). edge(1004,1393). edge(1004,2905). edge(1004,2256). edge(1004,2404). edge(1004,1039). edge(1004,2820). edge(1004,1378). edge(1004,2233). edge(1004,1644). edge(1004,1978). edge(1004,2800). edge(1004,1722). edge(1004,1731). edge(1004,2103). edge(1004,2502). edge(1004,1019). edge(1004,3182). edge(1004,3169). edge(1004,2238). edge(1004,2870). edge(1004,2437). edge(1004,1095). edge(1004,1194). edge(1004,1477). edge(1004,2243). edge(1004,3088). edge(1004,1079). edge(1004,2515). edge(1004,2598). edge(1004,1127). edge(1004,1900). edge(1004,2879). edge(1004,1971). edge(1004,1583). edge(1004,1176). edge(1004,1784). edge(1004,1966). edge(1004,2097). edge(1004,1173). edge(1004,1565). edge(1004,1104). edge(1004,1055). edge(1004,1895). edge(1004,2974). edge(1004,2325). edge(1004,3076). edge(1004,1687). edge(1004,2831). edge(1004,2843). edge(1004,1662). edge(1004,1854). edge(1004,1712). edge(1004,1570). edge(1004,1870). edge(1004,1970). edge(1004,1437). edge(1004,1445). edge(1004,1283). edge(1004,1591). edge(1004,2772). edge(1004,1222). edge(1004,2105). edge(1004,2614). edge(1004,1867). edge(1004,1754). edge(1004,2526). edge(1004,2236). edge(1004,2191). edge(1004,1281). edge(1004,2612). edge(1004,1577). edge(1004,1564). edge(1004,2825). edge(1004,2574). edge(1004,3062). edge(1004,2895). edge(1004,1689). edge(1004,1559). edge(1004,1806). edge(1004,1432). edge(1004,1094). edge(1004,1279). edge(1004,1069). edge(1004,2989). edge(1004,1568). edge(1004,1734). edge(1004,2776). edge(1004,1614). edge(1004,1062). edge(1004,2299). edge(1004,1003). edge(1004,2756). edge(1004,2486). edge(1004,2277). edge(1004,1093). edge(1004,1421). edge(1004,1058). edge(1004,2839). edge(1004,1051). edge(1004,1798). edge(1004,1205). edge(1004,2855). edge(1004,1422). edge(1004,1606). edge(1004,1148). edge(1004,2428). edge(1004,1585). edge(1004,1021). edge(1004,1400). edge(1004,2534). edge(1004,2666). edge(1004,2996). edge(1004,2781). edge(1004,1460). edge(1004,2809). edge(1004,1639). edge(1004,2309). edge(1004,2346). edge(1004,1776). edge(1004,1502). edge(1004,1018). edge(1004,2440). edge(1004,1455). edge(1004,1339). edge(1004,1264). edge(1004,2449). edge(1004,2900). edge(1004,1762). edge(1004,2763). edge(1004,1022). edge(1004,1145). edge(1004,3020). edge(1004,2178). edge(1004,2270). edge(1004,3185). edge(1004,2567). edge(1004,1661). edge(1004,3186). edge(1004,1531). edge(1004,2957). edge(1004,1469). edge(1004,1137). edge(1004,1131). edge(1004,2139). edge(1004,1987). edge(1004,2662). edge(1004,2826). edge(1004,3207). edge(1004,1063). edge(1004,2447). edge(1004,2559). edge(1004,2664). edge(1004,3215). edge(1004,2039). edge(1004,3023). edge(1004,1700). edge(1004,1107). edge(1004,2592). edge(1004,1954). edge(1004,1159). edge(1004,1592). edge(1004,1859). edge(1004,1287). edge(1004,1012). edge(1004,1240). edge(1004,2283). edge(1004,2101). edge(1004,2760). edge(1004,1680). edge(1004,3167). edge(1004,2979). edge(1004,2519). edge(1004,1121). edge(1004,1542). edge(1004,1341). edge(1004,1459). edge(1004,1726). edge(1004,1536). edge(1004,3166). edge(1004,1198). edge(1004,2125). edge(1004,3034). edge(1004,3153). edge(1004,3096). edge(1004,1208). edge(1004,3045). edge(1004,1917). edge(1004,2052). edge(1004,1100). edge(1004,1922). edge(1004,2224). edge(1004,1310). edge(1004,1314). edge(1004,2492). edge(1004,1155). edge(1004,2648). edge(1004,2370). edge(1004,3010). edge(1004,1372). edge(1004,2521). edge(1004,3192). edge(1004,2743). edge(1004,1075). edge(1004,3110). edge(1004,1081). edge(1004,1890). edge(1004,1292). edge(1004,2932). edge(1004,2015). edge(1004,1702). edge(1004,1835). edge(1004,3056). edge(1005,1526). edge(1005,2604). edge(1005,1335). edge(1005,3059). edge(1005,2436). edge(1005,1588). edge(1005,1869). edge(1005,1517). edge(1005,1403). edge(1005,1624). edge(1005,1045). edge(1005,2386). edge(1005,2449). edge(1005,1341). edge(1005,2412). edge(1005,1983). edge(1005,1653). edge(1005,3168). edge(1005,1047). edge(1005,2464). edge(1005,2167). edge(1005,1554). edge(1005,3195). edge(1005,2804). edge(1005,2525). edge(1005,2444). edge(1005,1784). edge(1005,3182). edge(1005,3025). edge(1005,3193). edge(1005,1355). edge(1005,3117). edge(1005,1387). edge(1005,2649). edge(1005,1602). edge(1005,1924). edge(1005,2736). edge(1005,2098). edge(1005,2192). edge(1005,1527). edge(1005,3226). edge(1005,1891). edge(1005,2383). edge(1005,2493). edge(1005,2838). edge(1005,2956). edge(1005,1853). edge(1005,2458). edge(1005,1443). edge(1005,2365). edge(1005,1789). edge(1005,3241). edge(1005,2125). edge(1005,2796). edge(1005,1484). edge(1005,1569). edge(1005,1797). edge(1005,1601). edge(1005,2345). edge(1005,1317). edge(1005,2334). edge(1005,1182). edge(1005,1417). edge(1005,2983). edge(1005,2341). edge(1005,2465). edge(1005,2648). edge(1005,2328). edge(1005,2428). edge(1005,3132). edge(1005,1876). edge(1005,1887). edge(1005,2053). edge(1005,1064). edge(1005,1753). edge(1005,2138). edge(1005,2610). edge(1005,1130). edge(1005,3050). edge(1005,1691). edge(1005,1771). edge(1005,1592). edge(1005,2962). edge(1005,2285). edge(1005,3108). edge(1005,2865). edge(1005,3107). edge(1005,1292). edge(1005,2284). edge(1005,2348). edge(1005,1671). edge(1005,3104). edge(1005,2232). edge(1005,2472). edge(1005,1077). edge(1005,1113). edge(1005,1086). edge(1005,3137). edge(1005,1152). edge(1005,2064). edge(1005,1790). edge(1005,2218). edge(1005,2084). edge(1005,2471). edge(1005,1562). edge(1005,1127). edge(1005,1586). edge(1005,3019). edge(1005,3033). edge(1005,2988). edge(1005,1908). edge(1005,2122). edge(1005,3234). edge(1005,3006). edge(1005,2560). edge(1005,1433). edge(1005,2963). edge(1005,2568). edge(1005,3210). edge(1005,1035). edge(1005,2407). edge(1005,2743). edge(1005,2987). edge(1005,2939). edge(1005,2827). edge(1005,2075). edge(1005,2961). edge(1005,2864). edge(1005,2366). edge(1005,2277). edge(1005,1984). edge(1005,2478). edge(1005,1441). edge(1005,2188). edge(1005,2545). edge(1005,2650). edge(1005,1338). edge(1005,1472). edge(1005,1303). edge(1005,1357). edge(1005,2377). edge(1005,2396). edge(1005,1468). edge(1005,3198). edge(1005,1677). edge(1005,2679). edge(1005,2774). edge(1005,1852). edge(1005,1493). edge(1005,1532). edge(1005,3081). edge(1005,1373). edge(1005,2673). edge(1005,1895). edge(1005,2581). edge(1005,1419). edge(1005,3024). edge(1005,1734). edge(1005,2049). edge(1005,1932). edge(1005,2567). edge(1005,3080). edge(1005,2057). edge(1005,1137). edge(1005,2735). edge(1005,2914). edge(1005,1422). edge(1005,1237). edge(1005,2762). edge(1005,1234). edge(1005,1818). edge(1005,1801). edge(1005,3096). edge(1005,1910). edge(1005,1252). edge(1005,1611). edge(1005,1128). edge(1005,2042). edge(1005,2952). edge(1005,2522). edge(1005,1875). edge(1005,2747). edge(1005,1347). edge(1005,1428). edge(1005,2294). edge(1005,1737). edge(1005,1580). edge(1005,2225). edge(1005,2404). edge(1005,2631). edge(1005,3179). edge(1005,2226). edge(1005,2073). edge(1005,1925). edge(1005,1831). edge(1005,1397). edge(1005,1196). edge(1005,1678). edge(1005,1263). edge(1005,1585). edge(1005,2389). edge(1005,2020). edge(1005,3165). edge(1005,1833). edge(1005,1865). edge(1005,2164). edge(1005,2971). edge(1005,1311). edge(1005,1462). edge(1005,2871). edge(1005,2925). edge(1005,1738). edge(1005,1254). edge(1005,1898). edge(1005,1093). edge(1005,1170). edge(1005,1600). edge(1005,1406). edge(1005,1707). edge(1005,3200). edge(1005,3032). edge(1005,1556). edge(1005,3062). edge(1005,1750). edge(1005,2620). edge(1005,1204). edge(1005,2212). edge(1005,2395). edge(1005,2654). edge(1005,2867). edge(1005,3048). edge(1005,1770). edge(1005,1248). edge(1005,2639). edge(1005,3027). edge(1005,1002). edge(1005,2303). edge(1005,2193). edge(1005,2252). edge(1005,1306). edge(1005,1727). edge(1005,2960). edge(1005,3174). edge(1005,1840). edge(1005,1951). edge(1005,2405). edge(1005,1591). edge(1005,2853). edge(1005,3008). edge(1005,1634). edge(1005,2374). edge(1005,1411). edge(1005,1612). edge(1005,1589). edge(1005,1082). edge(1005,1464). edge(1005,2483). edge(1005,2511). edge(1005,1059). edge(1005,2021). edge(1005,1654). edge(1005,1879). edge(1005,1940). edge(1005,3111). edge(1005,2141). edge(1005,1074). edge(1005,1648). edge(1005,1034). edge(1005,1505). edge(1005,2775). edge(1005,1603). edge(1005,2043). edge(1005,2427). edge(1005,1545). edge(1005,1907). edge(1005,2178). edge(1005,2674). edge(1005,1856). edge(1005,1977). edge(1005,3014). edge(1005,1755). edge(1005,2189). edge(1005,1214). edge(1005,1883). edge(1005,1358). edge(1005,2144). edge(1005,1414). edge(1005,1781). edge(1005,2551). edge(1005,2204). edge(1005,2704). edge(1005,1423). edge(1005,1739). edge(1005,2109). edge(1005,1104). edge(1005,1165). edge(1005,1999). edge(1005,2974). edge(1005,2899). edge(1005,2392). edge(1005,2595). edge(1005,1918). edge(1005,2298). edge(1005,2854). edge(1005,2126). edge(1005,1963). edge(1005,3147). edge(1005,2457). edge(1005,3197). edge(1005,2663). edge(1005,3098). edge(1005,2494). edge(1005,2851). edge(1005,1543). edge(1005,1882). edge(1005,1841). edge(1005,2183). edge(1005,1122). edge(1005,1914). edge(1005,1405). edge(1005,2286). edge(1005,2499). edge(1005,2831). edge(1005,1333). edge(1005,1696). edge(1005,3020). edge(1005,2359). edge(1005,1988). edge(1005,1844). edge(1005,2565). edge(1005,2180). edge(1005,2967). edge(1005,1978). edge(1005,2343). edge(1005,1176). edge(1005,1293). edge(1005,2059). edge(1005,1404). edge(1005,1105). edge(1005,1515). edge(1005,1788). edge(1005,1644). edge(1005,3247). edge(1005,2291). edge(1005,2823). edge(1005,2086). edge(1005,2509). edge(1005,3053). edge(1005,1209). edge(1005,2759). edge(1005,1537). edge(1005,1210). edge(1005,3011). edge(1005,2731). edge(1005,1637). edge(1005,1114). edge(1005,3154). edge(1005,1455). edge(1005,2085). edge(1005,2234). edge(1005,2670). edge(1005,2409). edge(1005,3138). edge(1005,2403). edge(1005,2918). edge(1005,1000). edge(1005,1617). edge(1005,2287). edge(1005,1375). edge(1005,2089). edge(1005,2792). edge(1005,3170). edge(1005,3145). edge(1005,1975). edge(1005,2124). edge(1005,1208). edge(1005,2635). edge(1005,2933). edge(1005,1973). edge(1005,1661). edge(1005,1623). edge(1005,2636). edge(1005,2835). edge(1005,2501). edge(1005,1457). edge(1005,3160). edge(1005,2182). edge(1005,1980). edge(1005,1688). edge(1005,2245). edge(1005,1163). edge(1005,2616). edge(1005,2290). edge(1005,1031). edge(1005,2676). edge(1005,1942). edge(1005,2486). edge(1005,1186). edge(1005,1449). edge(1005,1162). edge(1005,2627). edge(1005,1704). edge(1005,2438). edge(1005,3103). edge(1005,3161). edge(1005,1482). edge(1005,2426). edge(1005,1496). edge(1005,2254). edge(1005,2104). edge(1005,2543). edge(1005,2651). edge(1005,2524). edge(1005,1992). edge(1005,2339). edge(1005,2623). edge(1005,2474). edge(1005,2266). edge(1005,1735). edge(1005,1754). edge(1005,1961). edge(1005,1955). edge(1005,2813). edge(1005,1969). edge(1005,1538). edge(1005,2094). edge(1005,1809). edge(1005,2114). edge(1005,1261). edge(1005,1032). edge(1005,1995). edge(1005,1497). edge(1005,3017). edge(1005,1101). edge(1005,1726). edge(1005,3074). edge(1005,2515). edge(1005,1014). edge(1005,3153). edge(1005,3237). edge(1005,1175). edge(1005,1949). edge(1005,1320). edge(1005,2589). edge(1005,2091). edge(1005,2584). edge(1005,3028). edge(1005,2841). edge(1005,2371). edge(1005,1751). edge(1005,1432). edge(1005,1626). edge(1005,2788). edge(1005,2816). edge(1005,1297). edge(1005,2894). edge(1005,2692). edge(1006,2690). edge(1006,2358). edge(1006,2192). edge(1006,2366). edge(1006,2006). edge(1006,2682). edge(1006,1810). edge(1006,1254). edge(1006,3039). edge(1006,2107). edge(1006,2011). edge(1006,1587). edge(1006,1974). edge(1006,1750). edge(1006,2659). edge(1006,2360). edge(1006,1865). edge(1006,3149). edge(1006,2736). edge(1006,3002). edge(1006,2286). edge(1006,1331). edge(1006,2202). edge(1006,2791). edge(1006,2074). edge(1006,1097). edge(1006,2574). edge(1006,1552). edge(1006,2169). edge(1006,1109). edge(1006,1607). edge(1006,1196). edge(1006,3080). edge(1006,2455). edge(1006,1463). edge(1006,2563). edge(1006,3061). edge(1006,2174). edge(1006,2263). edge(1006,2460). edge(1006,3107). edge(1006,1440). edge(1006,1762). edge(1006,2998). edge(1006,1864). edge(1006,1858). edge(1006,3063). edge(1006,1505). edge(1006,1755). edge(1006,1967). edge(1006,1433). edge(1006,1627). edge(1006,3237). edge(1006,2578). edge(1006,1243). edge(1006,2515). edge(1006,1560). edge(1006,1002). edge(1006,2420). edge(1006,1935). edge(1006,1375). edge(1006,2191). edge(1006,2199). edge(1006,2157). edge(1006,1261). edge(1006,1371). edge(1006,1635). edge(1006,2441). edge(1006,1673). edge(1006,3212). edge(1006,2451). edge(1006,1748). edge(1006,1050). edge(1006,2987). edge(1006,2435). edge(1006,3196). edge(1006,2985). edge(1006,1901). edge(1006,1141). edge(1006,2122). edge(1006,3076). edge(1006,1234). edge(1006,2140). edge(1006,1677). edge(1006,1247). edge(1006,2187). edge(1006,1154). edge(1006,1350). edge(1006,2955). edge(1006,2804). edge(1006,2216). edge(1006,1574). edge(1006,2054). edge(1006,1842). edge(1006,2829). edge(1006,3136). edge(1006,2526). edge(1006,1120). edge(1006,1239). edge(1006,1287). edge(1006,2217). edge(1006,2714). edge(1006,2704). edge(1006,2783). edge(1006,2050). edge(1006,2162). edge(1006,2284). edge(1006,1305). edge(1006,1626). edge(1006,1418). edge(1006,2205). edge(1006,1051). edge(1006,1435). edge(1006,2764). edge(1006,2975). edge(1006,1083). edge(1006,1605). edge(1006,2446). edge(1006,1147). edge(1006,2120). edge(1006,3231). edge(1006,2242). edge(1006,2486). edge(1006,1966). edge(1006,2886). edge(1006,3182). edge(1006,1838). edge(1006,2727). edge(1006,1139). edge(1006,1224). edge(1006,2676). edge(1006,3043). edge(1006,1218). edge(1006,3152). edge(1006,1658). edge(1006,2423). edge(1006,2584). edge(1006,2548). edge(1006,1159). edge(1006,2949). edge(1006,1479). edge(1006,2403). edge(1006,1104). edge(1006,3138). edge(1006,3087). edge(1006,2373). edge(1006,1263). edge(1006,3154). edge(1006,2620). edge(1006,1593). edge(1006,2029). edge(1006,1675). edge(1006,3108). edge(1006,1784). edge(1006,2014). edge(1006,1389). edge(1006,1763). edge(1006,2990). edge(1006,1399). edge(1006,1497). edge(1006,2957). edge(1006,2768). edge(1006,2005). edge(1006,1969). edge(1006,1222). edge(1006,2049). edge(1006,1873). edge(1006,3074). edge(1006,2025). edge(1006,1075). edge(1006,1400). edge(1006,1506). edge(1006,3072). edge(1006,1142). edge(1006,1208). edge(1006,2722). edge(1006,3129). edge(1006,1112). edge(1006,2045). edge(1006,3186). edge(1006,2072). edge(1006,2720). edge(1006,1871). edge(1006,2749). edge(1006,2012). edge(1006,2193). edge(1006,2933). edge(1006,2178). edge(1006,2171). edge(1006,3249). edge(1006,2063). edge(1006,1106). edge(1006,1103). edge(1006,1194). edge(1006,2967). edge(1006,1862). edge(1006,2303). edge(1006,2735). edge(1006,1387). edge(1006,1080). edge(1006,3079). edge(1006,2066). edge(1006,2951). edge(1006,3211). edge(1006,2425). edge(1006,1943). edge(1006,1791). edge(1006,2864). edge(1006,2631). edge(1006,2687). edge(1006,1964). edge(1006,2686). edge(1006,2335). edge(1006,2589). edge(1006,1233). edge(1006,3205). edge(1006,1457). edge(1006,2802). edge(1006,2032). edge(1006,1094). edge(1006,1678). edge(1006,2034). edge(1006,2785). edge(1006,2814). edge(1006,3068). edge(1006,2772). edge(1006,2696). edge(1006,2279). edge(1006,2013). edge(1006,2208). edge(1006,2185). edge(1006,2881). edge(1006,2647). edge(1006,1856). edge(1006,1229). edge(1006,2212). ... (This is only a excerpt, because of a very long content and a possible freeze of firefox. Please download for whole content.)