noconvergence.tmp.cnf

人工智能的一个重要方法

2002 -836 -2833 0
-681 -486 -2019 0
2141 -47 2769 0
639 -2549 -2489 0
2271 2902 -2561 0
-1461 -113 486 0
-534 2562 -63 0
-51 -332 1431 0
-2625 1762 1151 0
-929 -496 2578 0
2858 333 2491 0
561 -1742 198 0
-516 -2427 -723 0
1984 2233 -1847 0
2455 2586 376 0
-2090 1057 -2027 0
-1697 2198 2863 0
-1969 -310 923 0
-618 2086 -77 0
2742 -681 -1199 0
491 547 -2338 0
1249 1226 2886 0
2532 494 1076 0
-1296 2253 -2488 0
2992 -10 -1932 0
-2046 361 -1711 0
-812 1258 905 0
-815 -2855 684 0
1999 2130 -896 0
2905 1739 1569 0
1088 -2563 -314 0
-1557 2674 -1997 0
2540 -2630 -781 0
2061 1385 996 0
2287 1842 1025 0
-661 2042 568 0
-1250 2960 1710 0
-1232 -2802 234 0
1148 -2307 -972 0
-1001 84 1008 0
-870 -2986 -2996 0
2158 257 1938 0
-52 -2951 978 0
-2028 2558 2471 0
269 -1719 -492 0
-1006 -2768 -600 0
-2813 -952 1676 0
1365 -1987 -1719 0
824 1727 2757 0
1256 1129 2972 0
-908 -1923 -2302 0
-2005 -184 -992 0
-484 1084 2976 0
-2731 -169 -2702 0
-215 -2105 2654 0
-2721 -2695 1658 0
-1588 -2213 2150 0
-111 -1115 13 0
-609 1141 2749 0
-1423 -998 1856 0
-1303 -2268 -2851 0
1455 -2822 946 0
1223 -2931 1550 0
1579 -1448 295 0
1775 -183 -1415 0
1922 -565 -1474 0
-1238 -2505 -2747 0
-21 -2408 1031 0
-2253 2891 779 0
1894 -1422 -2446 0
71 -179 -2218 0
648 1197 2028 0
-451 -2777 320 0
-946 -960 372 0
866 -613 -584 0
438 2917 2455 0
709 378 -2376 0
-2837 -1104 2991 0
1360 -279 1781 0
1359 2754 1880 0
-2612 -401 2455 0
2308 2186 -1875 0
-2531 -1993 -1062 0
-629 1034 2152 0
-1256 -977 1600 0
2715 48 837 0
-447 -1359 -1778 0
2442 2021 1138 0
-1006 282 2980 0
946 -802 -2403 0
-2567 -2287 -899 0
2149 1427 -1474 0
-2168 449 -1739 0
-1080 -2031 -1998 0
662 -1917 2258 0
-1970 -1253 -2374 0
2352 -1299 240 0
-2846 966 99 0
1350 -1105 153 0
-1349 -1940 -1985 0
-750 -284 -2820 0
-932 -413 1249 0
-2166 2846 -610 0
277 1905 278 0
-2654 -2630 397 0
-890 -1698 -1197 0
-2346 -109 -177 0
-2314 -2008 -563 0
-2653 -1520 1320 0
-267 -510 1366 0
2263 1607 -829 0
-2176 1983 1912 0
-2865 -1599 2731 0
1313 -48 -179 0
2741 -681 978 0
-2883 1834 -39 0
1308 615 -2012 0
572 -891 960 0
-468 41 -79 0
2134 1630 91 0
951 -2395 -1968 0
-2695 -145 -116 0
-578 -2485 -2375 0
-2514 -1932 2915 0
-1683 -394 -218 0
-1151 -2477 -920 0
-1852 801 1186 0
2931 753 2413 0
1713 2583 357 0
1256 2435 689 0
2781 1668 390 0
775 954 2426 0
-2427 -2959 -170 0
-2600 2567 -1883 0
-2998 1334 387 0
-2973 -446 -2547 0
-1763 1037 -2050 0
917 -754 -609 0
2544 -971 1963 0
-555 1828 254 0
2434 576 1347 0
2477 -2917 -1571 0
779 -2487 -2333 0
-932 1911 -740 0
-923 -2271 1182 0
2247 2991 -517 0
-2856 -2038 1710 0
2940 -2411 2001 0
-377 525 523 0
-1587 414 973 0
-1857 2848 168 0
1894 -691 -1879 0
1399 -1020 -871 0
-650 2605 -2491 0
-1523 1118 2510 0
-1399 791 534 0
2842 -1071 1915 0
1241 2368 -1652 0
-1989 533 1627 0
-209 2155 1965 0
1903 -1858 -353 0
-137 -567 -1849 0
-72 -1821 -1302 0
-823 2258 116 0
-45 738 -2552 0
1355 -612 108 0
209 -1723 -1123 0
-2060 2484 2504 0
1403 1713 1065 0
1469 2695 -1779 0
2141 -1912 -322 0
-1710 850 1498 0
-99 -2570 -1987 0
2039 2841 -2469 0
2613 2005 -297 0
-612 -2000 979 0
897 -1703 2520 0
2716 2278 1743 0
-384 1926 -260 0
-2050 1964 878 0
1209 -1198 -2320 0
1869 -51 -463 0
-2587 582 2833 0
2202 61 -1311 0
-614 -1723 367 0
1346 -1775 2687 0
2776 -869 -379 0
-1889 1443 -2404 0
1604 568 833 0
1892 13 389 0
-1894 987 2154 0
575 -2852 639 0
480 -2750 1039 0
2957 -360 -2533 0
-2483 -306 -2909 0
2094 -2604 2407 0
2546 1435 -2507 0
-1340 -1362 -2812 0
2758 2017 16 0
-1700 2588 280 0
-823 2057 277 0
-1967 -422 -2941 0
-1295 -2931 1068 0
-2079 -455 -2561 0
-2334 -565 586 0
-574 -4 2091 0
-789 -812 2920 0
-2545 2540 2151 0
185 -2327 -290 0
-2820 -2128 -1447 0
1384 2236 508 0
-1092 2842 -120 0
394 2203 508 0
-2171 346 -26 0
-1876 1096 -2663 0
822 -1966 -1646 0
-221 1131 2319 0
2216 2187 -2974 0
-1696 -2107 -2713 0
-605 2671 -471 0
-1981 -2230 1813 0
-2508 1952 -1912 0
-114 32 2865 0
2647 -2794 926 0
-1463 1765 -1649 0
-2948 -2705 -1489 0
2656 -2924 1820 0
-1674 2936 663 0
406 -515 -2385 0
486 2581 -2100 0
-2594 2289 -2782 0
-919 -307 164 0
-2962 317 -2925 0
-737 1045 1790 0
-1168 1701 1371 0
-313 582 2386 0
-2789 -1264 -408 0
-647 867 -1928 0
-187 334 1763 0
-1455 1259 2618 0
-859 -2210 507 0
505 1790 -172 0
1551 830 -2992 0
-1651 -669 2886 0
-156 -2968 -2135 0
-218 -2073 290 0
2087 -104 -429 0
-974 -2834 -315 0
-147 2293 1955 0
-216 -2522 -1859 0
1501 -2157 2751 0
-1324 942 -2729 0
-2889 51 2334 0
536 1670 -2038 0
933 -1574 795 0
-1146 -1659 71 0
1615 1089 -2247 0
1830 -384 1650 0
-2806 -1276 -2479 0
-113 1219 -955 0
-2548 -1877 -2788 0
1556 1183 1845 0
284 31 -914 0
2924 -1577 2031 0
-721 -2465 -2241 0
143 -1632 363 0
-2889 -137 1373 0
-2402 -1523 -1744 0
-937 -2779 -2092 0
-2922 -1101 -2817 0
-664 1428 382 0
-2345 -2315 1859 0
-270 2709 54 0
1384 -366 -1729 0
1246 -846 -1763 0
2730 -794 -1322 0
-287 -1790 2789 0
-1504 -757 2923 0
1343 2046 -2237 0
-1121 -2786 2502 0
1639 -2052 -423 0
503 -2019 486 0
-2836 1266 -2590 0
-1639 -1061 192 0
727 -582 2100 0
-1301 -2577 -599 0
-2893 1530 -2282 0
1744 -2763 -1636 0
-2067 1843 -2325 0
-1874 2108 -982 0
509 -695 2787 0
-437 -2807 -15 0
470 -1460 2438 0
-1293 477 -2683 0
-1756 8 -503 0
-793 -1817 2030 0
-237 -861 655 0
454 1207 1787 0
1373 1029 -1891 0
-1194 -291 850 0
2729 -2583 1501 0
1468 1517 -2109 0
-1909 1416 2932 0
-2944 1252 -1885 0
-2294 -808 1961 0
-232 353 -1790 0
-270 133 874 0
963 2770 -2809 0
-2879 -127 1460 0
1370 -1614 2019 0
-122 2761 252 0
2960 -787 -1772 0
-1722 1588 941 0
-2788 1493 -2645 0
-2402 -2187 -1495 0
1798 1120 1903 0
723 -711 539 0
2127 -357 -2130 0
1284 -160 -982 0
1013 -2971 823 0
-1783 -2583 2898 0
205 -2776 1080 0
2889 -1877 2848 0
2600 -1824 174 0
-1465 -391 -474 0
-2857 712 2068 0
2943 126 2553 0
-757 2885 2427 0
-1444 -900 -1866 0
1508 -2597 2234 0
-2625 -1887 -1318 0
2177 -1611 -21 0
749 -545 -794 0
-2691 -1515 8 0
1422 62 -793 0
-1363 -1097 634 0
963 -1291 -1973 0
-2075 -239 749 0
-1220 86 164 0
1937 447 -1786 0
-2737 710 2448 0
-202 -590 -2978 0
-203 1209 -2448 0
-2677 -200 2229 0
-247 2436 -1340 0
-1961 507 -55 0
1328 -2044 375 0
1311 -1582 1719 0
-837 2352 -58 0
-2844 -2734 -1357 0
1105 1618 2194 0
-2807 -2438 -1893 0
-2670 -2431 -440 0
-2870 -2756 394 0
1803 1447 312 0
2487 8 1877 0
937 521 712 0
1957 -2782 1151 0
1558 -2025 -317 0
-120 -388 -1597 0
-2777 -2705 287 0
1774 1859 -1499 0
2815 -1640 1158 0
298 1465 1073 0
-2901 -1256 2088 0
-629 2797 -2066 0
1306 1720 473 0
-426 -2800 1248 0
2532 2741 353 0
-741 -2619 642 0
2256 -2916 20 0
-465 -1041 -2797 0
2653 2607 -2008 0
-1221 -1158 1873 0
2639 -2077 1652 0
495 73 423 0
-252 1989 135 0
-2202 -2722 2176 0
-2381 1200 1467 0
-2259 -2174 291 0
160 80 1886 0
2500 -1716 -2131 0
1850 1119 -1994 0
-2967 2313 -1364 0
51 421 -649 0
-1547 -53 -1997 0
1307 1201 739 0
-227 206 2457 0
2095 1966 55 0
-1875 838 1418 0
1807 -1773 2179 0
1642 -2523 -542 0
-2215 1845 -561 0
2843 -1154 2791 0
1484 -1062 2095 0
-2236 666 952 0
2435 1245 -1277 0
148 934 -2405 0
-800 -125 133 0
372 632 1757 0
2405 -2104 -1311 0
515 -193 -581 0
-1853 1409 -1030 0
-1122 -458 -322 0
-2473 -2607 -1803 0
2909 2555 -1783 0
-2821 -329 -393 0
2059 -727 -2393 0
-1449 738 1851 0
439 1997 -2715 0
-2522 2164 -1333 0
252 -734 1163 0
-2298 -2130 -2945 0
2477 1796 813 0
-1681 -188 206 0
-370 -2883 895 0
-716 433 381 0
-66 -2553 2139 0
-1549 -1918 -2408 0
-2045 1136 -2997 0
2823 -3000 -2344 0
300 2380 -759 0
346 -998 -610 0
1739 2389 2503 0
2961 972 -2985 0
2081 -297 1814 0
836 2466 1390 0
-830 2127 -722 0
-1774 276 -1768 0
-899 -1035 344 0
-587 -700 -1339 0
631 1800 1646 0
-1604 -507 1425 0
2466 1504 -1329 0
766 2624 2554 0
282 642 1262 0
-59 -1415 -34 0
1602 2415 -2139 0
1989 1734 287 0
2352 2023 -1244 0
-16 1169 1567 0
-2100 1848 -2125 0
-1837 171 -2749 0
-1434 479 -2463 0
767 -2089 2728 0
-2291 -1081 -2565 0
674 1802 1670 0
-2531 809 -2571 0
-549 616 1736 0
-1654 -966 871 0
-1847 -2259 -691 0
752 2845 2169 0
2576 1356 -1954 0
-1813 -2030 2130 0
-1690 725 204 0
-2035 839 -223 0
2340 1486 1411 0
-354 -1204 -2097 0
1417 -712 2071 0
2586 255 -987 0
2406 -2202 -609 0
-2893 -1406 -567 0
-1541 568 -2315 0
-872 1342 1879 0
691 -686 2113 0
1652 1605 890 0
481 895 -2756 0
1915 63 1057 0
645 1737 508 0
-593 2720 -2553 0
-2275 312 -1667 0
-58 -2764 -2171 0
-2618 -2128 -2112 0
-768 -66 -2641 0
39 2962 2169 0
2494 -2310 -1237 0
-2474 -1755 576 0
2384 1703 2896 0
-2873 1899 -1438 0
-1087 2174 -891 0
-2170 1947 -2071 0
-587 372 709 0
-932 772 516 0
-1917 -1477 -2146 0
573 -1062 -1268 0
1422 -2683 1324 0
1293 216 -2433 0
2564 1487 -1719 0
2925 1898 -2762 0
-2786 2868 447 0
-952 -612 1462 0
328 -1839 841 0
1095 2166 2355 0
945 -1218 1424 0
-2391 1552 421 0
-2408 -2569 -2682 0
310 2181 -160 0
-1012 1544 1377 0
-1864 -1516 -1271 0
-2494 -2674 2618 0
-1789 -1189 2728 0
-781 1842 1596 0
-972 2137 1052 0
-2528 -1942 -2327 0
-828 2194 79 0
-577 1983 987 0
-1209 2044 2180 0
-2609 -2077 749 0
-2526 1193 -1811 0
1579 190 2073 0
1614 -1811 701 0
-1545 -595 795 0
813 -1512 300 0
-628 -1111 -2162 0
2660 2363 578 0
1682 -1493 -853 0
667 -1474 -2050 0
-1085 57 -1098 0
2990 -2210 -1797 0
2023 1018 751 0
618 1312 -2874 0
-1630 971 -148 0
1191 -2716 1479 0
-1169 415 -1424 0
882 2607 -114 0
2439 38 2833 0
3 -2848 -752 0
-2149 -1411 -2474 0
-64 -189 1995 0
-1360 -180 2317 0
2428 454 -2949 0
1857 -2996 1819 0
-2539 703 -691 0
-1112 2692 2683 0
562 -1146 -2665 0
-2489 -2113 -2044 0
-2456 -2161 -989 0
2541 1001 2659 0
299 976 -986 0
-1479 -1103 -1453 0
-1029 -840 2126 0
-287 1568 2716 0
2883 2427 1374 0
-186 -959 408 0
-1686 -1892 31 0
1993 -1226 350 0
1975 1772 1137 0
172 1284 -465 0
2351 -2080 -1005 0
51 1501 -2635 0
-1038 2488 -1426 0
-2617 207 2637 0
-289 1920 2502 0
26 2867 1568 0
1999 1906 -2304 0
-1834 1104 1875 0
-952 1756 -929 0
-1545 -186 -1153 0
2712 2510 1446 0
-2225 -2823 -2873 0
-829 1256 2737 0
-2727 -1280 1434 0
2061 -2328 1517 0
-2080 150 1381 0
434 1375 1381 0
-615 1522 1094 0
-329 1472 518 0
-688 2594 278 0
-2281 432 -2142 0
127 873 1125 0
-2834 -142 -1786 0
2946 1669 -1968 0
302 1014 2709 0
2445 2139 2498 0
742 1103 -970 0
-734 947 347 0
-2258 -2041 -1280 0
2303 1400 1923 0
676 -188 -151 0
-2294 1567 445 0
870 2404 419 0
714 834 -811 0
2692 1251 -1139 0
2880 2463 -2445 0
863 2151 -2790 0
-566 -1171 2117 0
1544 -1113 1805 0
788 910 -1145 0
990 2109 1224 0
-334 -2274 1941 0
1472 -1622 -581 0
2164 2861 427 0
-467 574 -1426 0
-2800 779 -454 0
804 1142 2885 0
-2624 445 335 0
1018 1688 -453 0
1937 1161 -497 0
1468 359 -1138 0
-2728 -1256 -2990 0
2588 652 2714 0
-174 -545 307 0
-1777 -2105 2217 0
2908 -1330 80 0
2280 -1325 1046 0
1841 -312 -863 0
2646 98 2087 0
2412 2391 -2587 0
-2263 31 -1799 0
388 -2212 -626 0
1838 -900 -1824 0
265 -2713 -2102 0
60 -2675 821 0
1769 1754 661 0
307 -1658 -2603 0
818 1675 -131 0
2555 -2282 -1697 0
391 -2322 -2853 0
974 500 -1811 0
1771 498 477 0
2458 2582 -1007 0
-1990 1341 -2349 0
-23 -2667 2604 0
1195 -13 -254 0
498 2938 1814 0
-1698 -1481 947 0
2074 1628 -810 0
-2492 1073 429 0
-2556 -68 -1816 0
1355 -1004 1609 0
-2029 -2002 184 0
2114 -2586 2746 0
-1689 -828 1933 0
2203 -1110 -229 0
-361 -2108 1815 0
622 -2321 509 0
2390 2749 -1668 0
2124 2979 2509 0
-2222 -1090 2025 0
758 -112 851 0
2044 -990 -539 0
-2451 -2925 -2642 0
145 -1399 -1433 0
-922 -841 -2239 0
-2228 -2698 2502 0
-985 -1866 2719 0
12 1273 -1739 0
-1038 2832 -421 0
416 539 -661 0
1093 -1304 -294 0
777 -2036 1910 0
1988 1023 -1782 0
-1613 1753 1313 0
1992 1510 2268 0
2371 833 -1370 0
-850 1147 1971 0
-1447 -859 449 0
-2641 -1317 -2879 0
1798 280 -2228 0
-2981 1276 -1406 0
1905 -2027 -780 0
1550 -671 -812 0
-1903 -1842 -563 0
-410 2714 1733 0
-647 -1678 -312 0
1305 1805 2625 0
1466 642 -1136 0
-976 251 1452 0
561 -1112 -1706 0
2593 -525 1030 0
143 -744 152 0
1333 -408 1720 0
-2353 2949 -2065 0
-2753 -2174 531 0
-2990 -2796 -1975 0
-2416 2868 -1938 0
1054 -2112 -651 0
1620 2953 2483 0
1039 -2664 2553 0
2604 -479 -1676 0
-1297 2895 -2715 0
2650 951 2661 0
777 -2672 -488 0
-2515 -2181 -1580 0
2562 1939 2792 0
1624 1512 -2213 0
-2541 855 -2620 0
-1465 -971 439 0
1195 -1983 2972 0
-1756 1778 -266 0
-1041 -2325 -585 0
-747 1894 1229 0
-1995 -1007 2732 0
-1902 -2271 -873 0
-2040 -2702 1579 0
-800 70 -859 0
1417 2610 2035 0
-2065 2095 1546 0
2765 -669 -2890 0
2433 -356 -1080 0
-2674 -2005 -1535 0
2386 429 2502 0
-75 1593 1778 0
729 1230 1504 0
468 1527 2741 0
321 -2432 -2006 0
2311 1503 -2455 0
45 -24 1236 0
-2095 -1358 238 0
-1463 1340 2789 0
-1494 -806 600 0
2741 -1608 -863 0
-2165 -1357 -820 0
1916 -2407 2294 0
1971 -2418 -768 0
1943 202 -714 0
320 1790 -1461 0
329 107 -491 0
1153 -518 2248 0
2310 36 -2994 0
2042 -1844 -2412 0
623 -1973 52 0
728 471 -1969 0
73 -2479 -682 0
2277 447 -2772 0
-868 -2683 -2271 0
2427 2013 2094 0
-1142 -988 576 0
-1918 2958 -744 0
2843 1402 2911 0
2265 -2949 -2637 0
2405 -2741 -1131 0
1835 -780 672 0
-1970 425 702 0
-2307 -1591 2463 0
-882 2324 285 0
-1688 1461 540 0
-2644 -96 2257 0
-1431 783 -1780 0
-470 -2100 -2080 0
-1631 1850 1272 0
-624 -247 1415 0
-1742 -2137 -2341 0
2447 472 -2791 0
2196 -223 -1099 0
-750 970 1023 0
-674 -1256 1230 0
347 1300 1873 0
-2470 2106 1819 0
-1464 -1779 1448 0
1959 1780 -2