noconvergence.tmp.cnf

人工智能的一个重要方法

2480 455 2387 0
964 -1963 -1213 0
-1514 2368 -2740 0
698 -2225 1798 0
930 -456 2112 0
1896 2434 2163 0
1942 2799 2061 0
1311 2058 -2415 0
600 1204 -673 0
991 -2848 1174 0
-1137 590 171 0
-209 1397 1429 0
749 -359 2491 0
-831 483 811 0
1467 69 -974 0
2423 540 2667 0
1300 1380 -996 0
910 1468 1014 0
38 -2649 2125 0
-1689 -2664 1882 0
-2626 1337 -2021 0
-2702 -2754 2218 0
132 -2266 -2383 0
-988 599 1678 0
-1290 -1890 89 0
-756 2436 -822 0
-1129 -2686 1332 0
1782 -1748 1881 0
2338 -689 -2056 0
717 -2062 -296 0
605 1748 -2481 0
-1128 2880 798 0
-2350 1351 2050 0
2884 2320 -1538 0
392 -1046 407 0
996 2445 -755 0
2201 -1940 1069 0
-2852 -453 2692 0
1520 1142 -1143 0
-811 897 -1821 0
-2120 2196 950 0
2489 2156 2531 0
-1533 -1730 -2035 0
2685 -2535 -2881 0
2310 -368 1581 0
-2287 -830 -1405 0
-2484 1691 -449 0
-378 -2888 1920 0
-764 1373 -3 0
1141 197 1632 0
-1949 -1526 836 0
383 1581 568 0
501 2188 857 0
1761 -2632 -2906 0
-353 -1769 -2093 0
952 -1293 946 0
937 2593 -1187 0
-1846 -2362 -795 0
1476 1387 -1945 0
-1111 -2944 2368 0
566 507 -2668 0
-722 2657 788 0
-1550 -603 744 0
496 -1178 2988 0
29 2847 -592 0
-1290 2413 -724 0
270 2753 1758 0
1682 2188 306 0
-973 -1886 360 0
-2204 2516 -148 0
1056 2028 2751 0
1032 2850 -1199 0
-2404 502 780 0
591 310 -2886 0
1848 2366 -1561 0
-1011 -764 1652 0
1928 74 -825 0
-1592 -2893 -148 0
816 -428 -392 0
2847 2451 2196 0
1244 2632 1504 0
-422 -2993 147 0
-1525 -1186 -2878 0
-81 2414 767 0
1152 -640 1269 0
838 1657 411 0
-1743 2196 -1178 0
2942 -1387 1306 0
-2660 -835 -1483 0
-1347 1751 -969 0
2749 -824 -1304 0
919 1946 -2106 0
1382 2120 2385 0
137 -2255 -928 0
-120 904 -1222 0
-176 -2806 -2328 0
2438 -552 -821 0
-673 -460 560 0
-2189 -1505 -2848 0
725 2723 -220 0
524 -1037 -2364 0
-2907 -1157 2611 0
696 -2377 -724 0
583 1530 -955 0
-1512 863 2274 0
-2355 2053 -2143 0
-2979 -776 2398 0
706 337 -252 0
739 2610 -2878 0
-1142 -2757 2953 0
-2000 1078 1884 0
-2035 2045 2759 0
127 667 2369 0
1134 -2326 1892 0
339 328 -2050 0
-1336 -1521 2103 0
539 -1823 -1861 0
-399 1420 22 0
2258 -1642 -349 0
-447 2047 -2027 0
166 -294 -2677 0
-2057 -404 2485 0
-2639 1624 -2860 0
2846 -107 2398 0
-1514 -975 1802 0
-1586 -2276 -2332 0
1771 -2986 1951 0
-2574 2948 647 0
2064 302 -2500 0
383 1975 -1477 0
-857 -365 -1912 0
-1085 -1631 1732 0
1314 2358 -2493 0
-743 2851 2065 0
2371 261 -2257 0
2973 1400 -587 0
-1512 -2484 -2544 0
-2151 -740 2602 0
2595 -1317 2233 0
-1244 1621 497 0
1328 -1424 1819 0
-2945 -647 -1243 0
-2504 -2831 -1493 0
-94 -1234 -48 0
-1933 -1583 -2083 0
-1308 -1438 -1244 0
-1704 2013 1546 0
-1152 -1647 1169 0
-1688 -964 -627 0
-432 1400 -1808 0
1493 -1633 -892 0
-2642 1197 -2420 0
785 675 2248 0
1809 -492 173 0
1941 158 -582 0
-979 2044 2280 0
1222 -1700 2508 0
2950 -2496 1255 0
-343 -1932 2898 0
-681 -363 1942 0
218 2321 -1362 0
-507 -682 1958 0
801 -2035 -2548 0
-1364 -1601 -18 0
1805 347 1885 0
-2295 -803 -1957 0
-2123 1425 -1431 0
1306 -2537 1508 0
1242 617 -2306 0
1008 -932 2083 0
1443 1693 2684 0
-2728 2558 -702 0
-2728 -248 2288 0
1234 14 1721 0
-1125 928 -2526 0
1983 2240 2475 0
-574 -2022 1223 0
208 1682 -88 0
-1886 952 -1113 0
1510 -2651 -390 0
-864 -1539 -1770 0
-2174 542 585 0
-1075 2935 251 0
2438 169 -1957 0
904 -1703 1386 0
1833 2590 -1037 0
-1627 1243 1987 0
-2616 2456 2065 0
1988 1272 734 0
-426 1718 843 0
-2203 -1240 2871 0
-1521 2744 909 0
21 2702 -196 0
955 868 -1415 0
-2519 414 -2795 0
2521 -1959 86 0
877 -62 2398 0
-2488 -1188 -2117 0
1031 2397 -596 0
1795 -1130 -2196 0
-2400 2149 -530 0
-2625 -1113 -758 0
1819 409 -1529 0
-1573 -102 -1314 0
2352 -1570 1384 0
-1265 2964 -2578 0
-2630 1200 1962 0
-95 2204 385 0
1869 -121 -179 0
2192 1368 759 0
327 2768 -1484 0
2226 -1991 -2497 0
2523 993 -606 0
2194 -1342 118 0
2123 533 332 0
2047 -1800 2490 0
-225 1151 -561 0
-2654 -1243 1147 0
1790 -1610 -744 0
2929 -2588 957 0
-2768 -57 -366 0
230 2376 740 0
-907 1448 387 0
1495 867 -48 0
-1203 2897 -805 0
-680 -1265 -1016 0
-591 2255 2035 0
1706 -2641 -1820 0
174 -892 -1517 0
1436 -1674 -641 0
1634 -2479 2403 0
1490 -1174 1746 0
-1745 252 -2908 0
-987 176 -388 0
1140 -1357 489 0
1539 -2134 2951 0
1237 -1458 1228 0
310 948 -2696 0
216 -1380 1791 0
2903 494 1912 0
-1510 2638 -1526 0
2998 -2672 1869 0
-2395 442 -1529 0
-2360 -2810 1369 0
-630 -1581 -1111 0
-1204 -603 -267 0
-1047 -710 2728 0
-1880 1399 2575 0
-2662 -1791 -1845 0
-1843 1130 -558 0
-1982 -2539 -2079 0
-1333 2956 1332 0
612 2914 -2132 0
-1861 -2346 1565 0
-392 -762 2691 0
-1360 -1612 -2652 0
340 1358 1202 0
-1556 -2914 2199 0
1189 -296 882 0
-1762 2029 -670 0
681 2200 2036 0
1954 2749 1921 0
1784 -1411 2244 0
-2375 664 -716 0
-1809 -1660 1581 0
-2363 132 2846 0
-434 -60 134 0
912 2168 -1299 0
845 -1928 -2980 0
-2175 2307 -2418 0
2885 -1169 -20 0
2248 2757 -6 0
2079 2121 -201 0
-2277 -1355 -611 0
728 -274 -709 0
-2098 348 -1376 0
2156 1295 -473 0
1779 -395 1566 0
1530 -656 2395 0
2829 -1977 1652 0
-1597 1123 -749 0
-36 -2962 467 0
594 2693 -2700 0
-1716 2304 -2746 0
2448 1907 1563 0
-2258 -1632 216 0
-2986 -593 -2077 0
-2136 2559 -774 0
-2422 1678 1169 0
-1497 -761 -485 0
-1917 -255 -340 0
2236 -2143 -1335 0
-1202 -387 -2133 0
1018 -1257 2950 0
1197 -2655 -2370 0
58 1676 -2181 0
-2745 2964 1806 0
1083 -919 2066 0
2188 -2281 2531 0
-1610 883 1836 0
-2912 -1577 -2131 0
2691 1639 -105 0
-2114 964 1898 0
2325 2928 -1736 0
-2678 -2843 2987 0
1237 -1255 -937 0
2362 -269 -88 0
-1905 2685 -2357 0
940 2540 -2955 0
1097 -435 -651 0
-1614 -552 -340 0
-758 1566 60 0
2704 -2300 -1491 0
-2357 1747 -438 0
511 2062 1203 0
-1388 2938 1362 0
1158 1414 -1113 0
-607 686 2593 0
-1321 1007 189 0
-628 -442 2862 0
-1314 801 96 0
404 -2250 -1002 0
1488 2410 2127 0
-397 -2857 195 0
785 -416 -325 0
-1009 -2856 1184 0
-2934 579 2840 0
2343 -429 2420 0
-2697 -1877 2296 0
945 1064 1427 0
-1710 -2340 519 0
-1 1911 2291 0
2129 -2503 -813 0
-1761 1432 -2314 0
-1238 -2468 2678 0
-1531 2605 -2981 0
2904 2776 -362 0
352 -2811 2826 0
1100 2133 -2289 0
-2290 2118 2797 0
1847 349 2742 0
-1173 2822 12 0
2854 2621 320 0
2729 2311 751 0
1361 -2259 2358 0
-1272 1900 1621 0
-1117 2592 568 0
-2151 1175 -2209 0
-1756 49 402 0
-2328 -964 -1184 0
1017 -2830 2654 0
-603 2033 -2977 0
2248 2488 -1744 0
2544 -1441 -1104 0
2660 29 2231 0
-2859 1689 -2565 0
-836 -2241 626 0
-263 2887 1142 0
1324 -240 -1351 0
-554 1343 -2965 0
128 536 45 0
-2877 451 2736 0
-1852 -512 2671 0
-2745 791 -232 0
1113 2343 -395 0
-85 -1949 622 0
-1133 950 1510 0
-1540 426 1669 0
-2670 -844 -2985 0
-1694 2497 2818 0
2224 -397 1628 0
1502 -174 -797 0
1938 -2917 2310 0
-2373 1904 -1713 0
2630 -2123 2776 0
1707 -2431 1901 0
-2242 -1228 28 0
-553 -32 -1897 0
2579 -1998 -1282 0
808 407 713 0
1311 2651 2753 0
2496 -1770 -1775 0
-320 2566 -2922 0
-337 -358 -456 0
-2987 2001 2335 0
406 -201 429 0
1686 -515 -1463 0
2159 -1187 1061 0
-1518 -1968 -608 0
1154 -785 22 0
-1000 -2806 1489 0
2795 -197 -1292 0
2567 1996 162 0
1785 275 1874 0
-163 2424 -1845 0
759 1165 -864 0
1100 -2393 -2327 0
2325 1459 -1531 0
-549 -274 -2957 0
-2484 -237 -2516 0
1496 350 1212 0
1712 2973 1328 0
253 639 -838 0
-614 2922 -2387 0
611 -2477 2192 0
1148 -488 -2875 0
2026 1376 660 0
378 -2506 -841 0
131 -1777 1526 0
829 50 -93 0
-1401 2206 2831 0
1503 831 -2492 0
-1926 -1996 886 0
687 -1888 1886 0
1371 -996 -2408 0
-2724 1979 -1593 0
-1256 -83 89 0
1405 2869 -359 0
-1756 -2889 -97 0
-244 997 485 0
298 2646 807 0
-2471 272 -91 0
2363 -570 -404 0
836 -1637 -2950 0
-2094 -1634 881 0
-1424 1783 1808 0
-2988 -26 2159 0
1028 -405 -517 0
-2947 -2373 2154 0
-1547 -2493 -1975 0
1980 -428 -1881 0
1051 1100 -1863 0
784 -574 -1042 0
-2385 2836 2669 0
2255 2664 -1609 0
612 965 -628 0
-14 1706 -1660 0
-1678 -282 1644 0
-1519 -517 -507 0
-917 -139 303 0
1197 -487 839 0
-864 2564 1881 0
-971 -1022 2626 0
-2689 -2764 -778 0
691 2333 306 0
179 42 -1665 0
-844 314 -948 0
-1877 -780 612 0
-1519 -891 -2649 0
-671 -615 -362 0
-569 -1302 1095 0
-1003 -478 2111 0
737 -1766 2214 0
-1369 -1792 -146 0
2381 -2629 1193 0
2111 730 1685 0
2478 333 1704 0
1667 2384 721 0
2911 2625 -2895 0
-2165 2931 299 0
-21 -2312 -99 0
2100 -1430 -1257 0
-2620 -1126 2087 0
-1692 2406 2377 0
1964 1708 943 0
-2520 -2527 1755 0
170 -960 -971 0
-2746 1527 -56 0
-1924 -1125 1969 0
2360 -1616 903 0
-2702 -753 -1142 0
-2543 -2136 -2557 0
-933 -252 1132 0
1818 999 -189 0
-1026 1836 -2607 0
-2056 2973 1496 0
-530 2789 331 0
212 170 2329 0
-1569 -2304 -324 0
358 -359 1657 0
1341 1935 2198 0
534 744 1206 0
-2286 -905 -2573 0
-2043 -469 -2655 0
2343 2153 -1363 0
-2721 854 -259 0
-78 1616 -979 0
-628 1987 2346 0
-1447 2001 2050 0
-800 60 2727 0
2196 -1058 -2243 0
-2523 2477 1216 0
1099 1526 311 0
-847 -2960 1235 0
840 -2524 1300 0
643 2462 800 0
2994 43 2147 0
1658 2950 2420 0
706 -604 -632 0
-633 1852 282 0
970 642 1841 0
-1429 1291 -1666 0
1147 -145 -55 0
-2751 1500 -844 0
1623 -272 -2884 0
-2540 -641 1385 0
1846 -359 -1737 0
2878 -1011 -1896 0
-1548 -2963 -2118 0
-617 433 216 0
2029 2301 471 0
-2898 310 2772 0
494 731 1856 0
851 2041 -126 0
-1481 2340 37 0
1018 -1177 -80 0
2279 832 -1195 0
250 -207 -1625 0
1400 -2758 1922 0
-625 2439 2333 0
-2974 1716 2837 0
1691 -562 -2253 0
791 -911 -1313 0
1986 415 1764 0
1257 -2380 -1064 0
166 1365 -1704 0
2029 -2492 -2111 0
982 -2493 511 0
-1452 2933 -2770 0
250 221 -2136 0
1691 -1182 -2929 0
891 2518 -1377 0
1724 -417 -510 0
2632 -1214 2853 0
2669 2272 1512 0
2299 -397 -1270 0
1278 -2726 1124 0
-2398 -2980 -2876 0
523 1406 2397 0
-1164 731 -2207 0
1155 -2581 1664 0
526 2491 -579 0
-2736 429 -848 0
785 569 -2327 0
-2307 -2032 2521 0
-2951 2852 2287 0
-2516 -1665 -329 0
-318 -1738 -1179 0
412 -97 341 0
-2775 -1387 2862 0
2738 516 648 0
-2431 1854 429 0
622 -449 2157 0
-895 -2066 -563 0
2955 1593 1711 0
220 2424 -2656 0
180 1270 1049 0
-1324 -165 589 0
2071 -2178 144 0
2919 1450 -1608 0
2751 2301 -1874 0
-287 -294 -269 0
-1059 524 -2147 0
1434 2184 423 0
-122 788 -48 0
2134 -1944 2512 0
-2328 1203 -1022 0
958 1046 2057 0
-1232 952 -1459 0
-495 -1945 -947 0
70 2504 -1952 0
-2142 -2833 -864 0
-2726 -1326 1142 0
2493 1454 2396 0
1236 2621 -1925 0
-2807 -1831 -792 0
-2838 1301 1265 0
-1784 634 -625 0
-1914 -1328 1478 0
-873 -1219 -2400 0
-2009 -1654 2965 0
1291 281 -2376 0
2225 -2847 -2928 0
-587 1538 1017 0
-1905 -326 2165 0
1349 208 770 0
-2034 2827 -489 0
-408 1221 1238 0
-2430 1663 -611 0
-1322 -851 2794 0
-2094 -2762 -2994 0
2584 1440 -656 0
1713 1438 1120 0
2962 1130 -1392 0
-14 -1631 -1289 0
2170 2114 2153 0
160 820 1503 0
1626 1426 -2616 0
1978 -1426 868 0
-189 174 547 0
-2093 1481 -2864 0
856 -2653 2233 0
623 2472 -513 0
-2339 -2300 -2738 0
-2021 -2276 -946 0
1545 950 1746 0
2592 -667 -1431 0
-883 -1941 2211 0
1092 116 1707 0
-1648 -2735 1968 0
-2507 1401 1802 0
293 -1035 2562 0
-1944 -438 393 0
1582 -1182 1419 0
-516 -2897 -2903 0
2426 275 73 0
-1057 1613 940 0
2684 -548 -1012 0
866 -947 1120 0
2322 274 1160 0
-2897 -2121 -34 0
-2904 219 -808 0
-2494 -933 407 0
93 -229 1045 0
305 377 1440 0
2511 -6 -2323 0
1788 -1683 -1549 0
2090 1053 2415 0
-35 396 -1267 0
-1223 -812 2692 0
2510 1270 -1604 0
1110 -1624 2706 0
300 1841 -2059 0
-2534 759 591 0
1481 -20 783 0
-2723 -332 2925 0
2976 -2073 -967 0
1261 -1387 -1314 0
1693 846 910 0
-1272 59 2470 0
1313 -1638 -2321 0
1309 -1022 1141 0
-2065 2559 2418 0
1534 -2955 -1926 0
-236 1625 -2973 0
513 -1519 2073 0
-992 1297 1382 0
-704 -1506 -2409 0
-2097 -899 714 0
-914 1944 2920 0
-286 629 -1575 0
2304 245 -2509 0
739 1228 1017 0
2382 -2863 705 0
630 519 -1287 0
-1157 2825 -2542 0
2356 2869 -1945 0
-2565 -947 1900 0
-855 2986 -836 0
-931 792 -755 0
82 1902 1133 0
996 -87 -2507 0
2822 -1446 2767 0
-1636 -2599 -1171 0
-37 -2624 2138 0
1934 1734 967 0
-961 2074 1316 0
65 843 -2722 0
-2638 -558 176 0
-2647 2423 -2224 0
213 629 866 0
2426 684 1997 0
1953 1424 2661 0
2512 2376 -2979 0
-1121 1401 -2564 0
-89 -2751 -2457 0
-494 322 1434 0
1227 -920 -1719 0
-2834 -2466 -208 0
-731 330 -2850 0
-1234 2247 697 0
-1612 561 1831 0
1215 3000 1992 0
-801 1993 616 0
-2997 439 2441 0
-1112 687 -1753 0
-1870 -1996 1198 0
2074 864 -175 0
486 -65 707 0
-65 1026 -383 0
669 -2938 1772 0
1448 142 1343 0
1026 2099 1663 0
710 780 2654 0
1108 75 -1609 0
2483 1729 -2993 0
2308 -267 -2677 0
1636 674 1011 0
-2522 -778 -1256 0
-91 223 912 0
1548 3000 1292 0
1762 2682 -2762 0
-1223 1069 -1330 0
-1781 676 1827 0
1599 1095 2146 0
-871 1159 -500 0
-2843 -2019 2577 0
-2026 1585 -1452 0
-731 -20 2424 0
1992 -1294 2528 0
-1760 -1244 -221 0
-652 -1878 4 0
2431 2987 -1674 0
-298 2207 -1507 0
147 2897 -2585 0
771 1368 -1487 0
-1009 -828 544 0
-904 -1320 475 0
1562 2922 -1931 0
929 -862 960 0
679 367 2026 0
2600 -2517 -378 0
-2968 -2331 2074 0
651 1409 889 0
1747 -2886 -791 0
1320 -2705 2111 0
193 621 -645 0
-2749 2676 -2567 0
751 -2584 -593 0
1828 2372 -2525 0
-367 2938 -904 0
-597 2208 32 0
-2366 -382 -411 0
2231 1441 2361 0
1294 -751 1196 0
-2573 -2447 -2688 0
-1464 -247 2884 0
-2935 949 1746 0
2452 2431 1545 0
-271 2840 2261 0
2610 2801 -129 0
2192 57 2833 0
230 156 2036 0
2479 -1432 -2387 0
118 -1387 -2582 0
-2701 1927 82 0
-802 1417 -1933 0
892 829 -1999 0
1376 -1801 -874 0
-2043 1790 2709 0
-790 2821 1023 0
1717 -2976 1267 0
2575 -1440 -2294 0
1123 1977 437 0
2801 -2777 1839 0