noconvergence.tmp.cnf

人工智能的一个重要方法

-294 -1448 12 0
-2577 1661 537 0
504 2692 -2577 0
-2643 -2432 -2991 0
503 -2003 1174 0
1378 120 2525 0
-2209 2961 -2064 0
-2373 -1403 2619 0
67 531 -1075 0
2114 -662 2763 0
1645 -2394 -2731 0
1328 2492 430 0
1107 -1640 -743 0
-1007 598 2325 0
-2201 -37 1500 0
125 -1374 1987 0
-345 2550 1263 0
1740 2406 -227 0
-2514 1067 1206 0
-110 215 -953 0
-278 -34 2560 0
-800 -1179 2574 0
-1715 1123 1675 0
2705 -913 886 0
-246 -1345 2240 0
1741 -1960 -85 0
375 1040 117 0
833 75 -2017 0
-393 -274 -2021 0
1826 2287 -1551 0
1235 2195 -395 0
-364 744 1021 0
-568 -2942 942 0
1904 1852 55 0
-2480 2870 1243 0
1561 -973 575 0
1047 533 -2297 0
2190 -379 1693 0
-971 -981 -2186 0
1453 300 1490 0
1385 490 2805 0
-1407 679 -626 0
1016 1861 2659 0
-2206 -2136 -1733 0
2167 -181 -2475 0
-1727 1489 -2526 0
2784 1160 1635 0
986 2834 2442 0
570 -2662 -560 0
-2449 -2666 -1606 0
-2021 -344 -1713 0
2395 2300 -2088 0
1054 2940 2332 0
-193 -2932 338 0
-1386 -2707 291 0
-2991 -2179 2051 0
-2075 -2543 -2300 0
-1858 1226 -2862 0
-38 1704 -2597 0
1750 2839 1730 0
-1219 1750 -232 0
-26 2608 -1650 0
2581 2600 1785 0
2281 1208 957 0
723 2192 1993 0
2094 1302 -2413 0
883 2369 438 0
44 -1993 1009 0
993 55 -2480 0
-2090 2921 2184 0
-2519 856 -21 0
-2081 -2265 454 0
-542 2353 -2099 0
300 748 -192 0
1042 89 2665 0
-147 -674 539 0
843 1173 2611 0
1386 -450 2173 0
-79 -2076 1027 0
401 -1268 921 0
-875 1675 -41 0
568 -743 1948 0
-1543 1928 -104 0
953 -667 -1633 0
2209 2928 2901 0
1780 2709 1616 0
-586 1730 -2281 0
-2741 2157 -2818 0
-2430 2973 2927 0
1032 679 -1698 0
286 328 2133 0
902 -984 2958 0
2517 -2324 2600 0
2042 -421 -1421 0
-84 1751 2083 0
1108 2245 395 0
-300 -37 1862 0
-2670 -1475 593 0
868 2636 -271 0
251 787 -1674 0
-1304 -2898 810 0
-1272 -2046 -2789 0
-1260 -1138 -1213 0
-1276 -2104 1700 0
378 -504 -2538 0
-352 758 923 0
158 -1178 -1777 0
-2169 34 -1852 0
-2847 1639 -817 0
-2331 -505 -458 0
-2656 -2624 2157 0
-299 -2594 1803 0
1763 -2546 -2928 0
2788 2667 -2527 0
-338 285 964 0
2430 1940 557 0
2710 1685 2242 0
-2658 -2102 2776 0
-1050 1551 1223 0
717 -2914 -1673 0
3000 1787 -567 0
1502 -1670 1387 0
-2729 -2697 986 0
-669 514 1509 0
-426 -2490 661 0
-241 -287 2441 0
-502 1828 2077 0
-2632 2253 1248 0
-2063 2080 -134 0
-2831 854 1232 0
-117 2099 2514 0
-1199 -1552 -1431 0
-2854 405 -484 0
1286 -1271 -2061 0
686 1729 469 0
1267 -1101 -2539 0
-1148 1153 -1483 0
426 1737 945 0
2050 -688 2176 0
-2354 2564 2525 0
-1545 -2309 -2921 0
1232 -606 2837 0
-841 -2859 -2720 0
1120 1278 -732 0
-2536 -2442 501 0
1124 1156 1266 0
1593 -2276 1932 0
-2749 -890 -270 0
2556 -214 -2362 0
-439 2858 -361 0
-383 -1666 166 0
1530 -235 -1188 0
383 1489 -285 0
1735 -1611 -20 0
-2312 -330 -1560 0
2267 -2090 -183 0
-2591 -12 2245 0
-1016 -759 1968 0
2192 -748 -1780 0
492 -1811 -294 0
1783 -2266 -376 0
-716 -1214 -1519 0
993 -2972 515 0
165 -1098 -2683 0
-2240 2947 1601 0
-349 -2995 2647 0
-532 1312 2414 0
-2407 1098 2767 0
-1094 2057 855 0
-2363 -830 1527 0
-1966 -2904 1326 0
-984 175 1203 0
-319 2635 847 0
2480 -1008 -2615 0
2257 -2333 -2272 0
1725 -2213 -2239 0
2915 -80 2875 0
-1561 -1520 -1729 0
1063 600 -325 0
-2241 -1173 1085 0
2178 -33 1616 0
1252 -2351 -549 0
1518 -1581 270 0
-1211 651 297 0
-1982 -1309 2674 0
765 2725 2162 0
737 -1060 1642 0
2623 -2692 2771 0
905 -1369 -654 0
2643 -208 -1485 0
2758 -668 -1863 0
-2905 -1668 224 0
2428 -1633 -2088 0
2936 1380 1131 0
-141 -2381 -2456 0
2263 -2923 654 0
757 -457 -864 0
1704 1739 -2801 0
-221 1771 -1388 0
-2475 2197 -1313 0
2911 1169 -2343 0
-1597 -2721 2029 0
356 639 1328 0
-2958 -2590 -1361 0
674 -1910 729 0
1692 929 2320 0
2242 566 50 0
2859 2527 2711 0
-2327 -763 -1809 0
166 714 -516 0
2483 2925 -2923 0
2407 364 866 0
-705 -727 1517 0
-1722 2802 -1702 0
-1167 -2152 2946 0
-639 -867 -862 0
1401 -428 -1759 0
-1024 1302 2843 0
-481 -1820 -1198 0
980 -1730 1765 0
980 -1676 -2802 0
-1239 -2576 680 0
1878 -112 -197 0
1900 1074 -2290 0
1354 1619 -1057 0
-1136 -245 -869 0
13 1686 1837 0
2078 -569 -1344 0
-2940 -1642 2855 0
-2182 2394 -110 0
-2625 164 -1328 0
-1821 -1020 34 0
-2679 1863 -322 0
-1015 -1266 2707 0
-2597 74 -1686 0
-2802 223 -2729 0
-1849 1902 -681 0
-1008 -644 1091 0
-1860 -120 -2267 0
2020 -2595 2260 0
-1491 -185 -2110 0
1208 922 -2538 0
2316 2801 -828 0
604 2441 -1319 0
1705 1736 -2288 0
2136 -966 2882 0
2430 1948 2768 0
138 -676 -1782 0
-1870 1618 1497 0
-1603 1005 -2883 0
1713 -879 2998 0
419 372 -1964 0
-2747 903 1179 0
1157 1456 -2847 0
-2848 1974 1369 0
2831 -2860 -2891 0
-1878 1526 -211 0
-2650 -384 -732 0
339 848 -2967 0
-2498 -366 -671 0
-1592 2987 1490 0
1560 -228 -563 0
-528 2743 -2341 0
-1622 1845 1633 0
371 -1717 333 0
106 2115 -2960 0
2365 1651 828 0
1332 304 178 0
381 388 811 0
-905 1148 1787 0
1711 1768 -465 0
1256 266 1547 0
784 -2507 -2811 0
-2075 -2037 -2116 0
2577 -2667 875 0
-1548 -1563 -1380 0
2040 776 -650 0
408 -1638 470 0
426 -2135 -2555 0
-60 509 401 0
-2713 -2520 424 0
260 -1755 -2405 0
629 -2873 1578 0
1663 -1128 -1100 0
-2145 938 -1802 0
-916 -2651 2819 0
-323 423 -2528 0
519 1735 -1115 0
-1241 -1852 2677 0
-2323 -448 2041 0
-1688 -1521 976 0
-2385 209 -482 0
-2012 908 333 0
97 -1993 791 0
188 -2649 -787 0
-1059 -1658 777 0
-1113 2465 -2405 0
758 1696 2984 0
2 2296 1111 0
-305 168 -614 0
-2038 -1875 -2187 0
-2470 1929 275 0
2510 -2291 2690 0
-1905 1358 1240 0
-2828 459 1229 0
1349 -2449 523 0
1635 1041 -763 0
-2137 1142 2126 0
-495 1275 -229 0
734 1436 596 0
-2443 -2752 -1420 0
2846 2300 -1133 0
-1031 1791 -2713 0
-1704 2113 2753 0
-442 -2385 -306 0
356 -2282 -327 0
-1450 -851 -1707 0
-2221 -577 -2100 0
2201 687 -1716 0
965 -2522 1020 0
-1394 826 1036 0
2555 1192 1679 0
521 807 -1795 0
1445 2229 -1191 0
-1039 856 153 0
-2136 -1280 -2120 0
1621 1445 1934 0
-2708 -1443 2408 0
2398 -1613 -1563 0
2720 -1834 2975 0
1031 54 -2069 0
-1969 -49 -2577 0
-1706 -2779 -429 0
-689 -82 1241 0
-1493 2945 -842 0
-1604 -2170 -634 0
709 2987 -314 0
-1094 -2731 -342 0
1132 261 1340 0
1367 2149 -2127 0
1776 1548 -1236 0
2487 -2415 -831 0
2530 -1780 805 0
1853 -456 -810 0
-1274 777 144 0
1067 2071 197 0
2806 1245 511 0
-1596 380 1858 0
2359 277 140 0
732 -776 1100 0
-862 -1176 -8 0
604 2694 2873 0
1165 -2109 2415 0
1022 -1038 -2608 0
-1585 -1622 -2185 0
1126 2685 -2542 0
361 -1538 72 0
2689 786 -861 0
396 -1449 -2397 0
1820 -2030 -210 0
2841 1999 472 0
387 -1087 2815 0
-51 -56 2277 0
-1377 2812 1740 0
2489 -2176 375 0
-700 -377 2889 0
1624 2643 807 0
1623 2515 2370 0
-816 -1948 678 0
2939 -74 -2365 0
-2907 177 -2954 0
2959 -189 -1405 0
2872 1520 -1017 0
-1995 -1743 -2354 0
1836 -2817 1212 0
2877 -476 -1240 0
-1962 1625 577 0
-2851 1521 2660 0
931 -1092 -57 0
-2901 -2363 1096 0
980 -2953 -2511 0
2001 2888 -1184 0
-811 2866 -519 0
2501 -2463 293 0
-452 -1830 1865 0
2358 -28 -369 0
-2031 -2064 2882 0
-2616 786 1831 0
1008 -1333 792 0
2324 -108 2108 0
-2362 -1055 2302 0
-2831 319 2268 0
1442 759 -1311 0
-2643 -988 -2202 0
-1889 2062 -1279 0
-2051 -2471 222 0
-1211 -2109 -1477 0
1654 1882 -1435 0
-494 1356 -482 0
-403 -2806 -1184 0
2715 596 658 0
-434 340 -1311 0
1495 957 2620 0
7 -2456 -2277 0
2216 2182 532 0
-1260 528 -2547 0
2416 -2571 -635 0
-1909 -393 1376 0
-805 1830 -2695 0
496 2447 816 0
217 -2424 1479 0
-1741 296 2236 0
-1068 -945 2632 0
945 -1800 -2385 0
-245 675 2546 0
5 -2721 -1029 0
-716 1943 -2850 0
1934 132 566 0
181 -1430 2547 0
767 -2664 153 0
-607 1341 1645 0
-2598 1544 936 0
2903 -2833 -1339 0
-2992 291 490 0
-240 1552 2009 0
1448 -433 -1019 0
37 2527 -1608 0
2624 -3000 2015 0
-1920 2844 2584 0
2257 1387 -1427 0
-1834 -158 -2319 0
-2333 1307 -2074 0
125 2849 1901 0
-1691 -1391 -187 0
1861 -2315 506 0
-2080 931 -985 0
-1097 -1119 113 0
-458 -1317 2815 0
-2059 1524 1668 0
2476 454 -270 0
1078 176 2618 0
1639 -937 -1136 0
-2263 -1684 1265 0
-684 1940 -1935 0
-1843 763 147 0
1434 1117 -1994 0
-1390 -944 2309 0
-2838 -1197 2607 0
-1017 -2334 -465 0
-440 -1643 -1702 0
822 922 789 0
-2134 2057 -2928 0
1478 -903 -2796 0
-2828 575 -1985 0
2999 -1694 1099 0
-2152 2992 2794 0
1715 -102 896 0
-2888 1061 -1831 0
-2937 993 2606 0
-797 -2138 -1330 0
2454 123 2652 0
-1474 1721 2176 0
-1651 -1532 778 0
2201 -415 -1935 0
-672 326 -1912 0
318 2293 650 0
-41 -172 1140 0
1985 -49 2690 0
-1565 -1748 -1857 0
1713 -1595 -1671 0
-72 300 -1397 0
-2877 -1500 341 0
-1253 -1520 1998 0
1839 2529 -830 0
-1325 2033 2212 0
-1688 -787 2843 0
-222 -1566 758 0
1492 -2819 2745 0
-1099 -2561 1604 0
155 476 -1113 0
-245 -602 728 0
2574 -2997 1768 0
-1905 -1831 2717 0
-1257 -470 2324 0
1169 428 104 0
809 7 2383 0
-1131 2942 -145 0
-1193 900 -968 0
-2837 1455 773 0
2821 80 -701 0
-1545 884 2555 0
-1821 -1213 2848 0
-1999 2424 2963 0
2981 2508 459 0
-2207 1719 119 0
1947 2512 1635 0
2730 708 275 0
-2251 496 -397 0
1865 2912 -2044 0
-2414 -2324 1401 0
1753 -1212 746 0
2967 -1946 -1278 0
-1979 -2195 -1415 0
1056 2016 2999 0
532 -44 748 0
1189 -2061 2021 0
1854 765 248 0
284 -2079 1457 0
1685 -2192 -435 0
-2845 424 2759 0
-279 -2020 -322 0
-2045 -2769 -387 0
-2706 2147 -2934 0
-2712 -1292 821 0
-954 -58 2812 0
-1774 2867 1424 0
-173 496 -2846 0
960 -1703 2655 0
1542 2887 872 0
-2744 438 636 0
-133 2714 -2785 0
-163 -2519 -341 0
1371 -1075 2884 0
-10 -2109 -715 0
2801 -1465 -870 0
1150 -1919 -195 0
82 -1579 -2372 0
-1744 -1964 1407 0
-843 -190 2900 0
1318 -2079 2757 0
-2544 1953 -2293 0
-1442 2301 -1819 0
-2686 1759 105 0
-2971 -1941 -551 0
934 616 964 0
811 821 -2414 0
-1149 -160 1154 0
2014 -102 1274 0
1277 2632 1923 0
513 2135 577 0
-2757 2818 2017 0
-2255 -572 -1102 0
-1346 -1292 -1312 0
532 -2415 -578 0
-862 -2434 -870 0
1259 1312 98 0
-773 -29 -249 0
-1850 2899 -2752 0
-2718 1427 -2051 0
-1272 377 1126 0
-494 2293 1650 0
-1542 1426 621 0
1996 -606 -1275 0
1308 2267 -2689 0
1661 -2992 415 0
-322 2516 -1399 0
-412 1837 234 0
-819 -1457 -1920 0
-1177 1661 195 0
1950 -1184 -646 0
-671 2472 2517 0
-2475 2862 2634 0
2228 185 -302 0
-2149 -1740 138 0
2263 145 2531 0
2685 265 2283 0
-1166 -1979 -768 0
938 -608 2309 0
1814 -1937 969 0
-2488 -257 -1393 0
-677 2723 1981 0
-974 2849 2158 0
-834 -2211 -1396 0
-1603 -2639 -303 0
-2557 135 812 0
2913 -964 -1538 0
-1937 -584 2731 0
1751 2970 -462 0
1981 -410 -970 0
2566 -417 -1476 0
-1658 116 873 0
-330 1749 98 0
2663 -1038 1910 0
-536 -1507 -750 0
1604 1650 652 0
-2182 -1116 -1333 0
2226 -2468 -5 0
-1533 1738 2632 0
-2331 1270 -2367 0
-2107 168 -2557 0
-646 -1486 -324 0
2379 -1566 2504 0
1868 1440 1481 0
1255 -409 296 0
41 -2509 700 0
-565 2889 -595 0
1236 2530 1227 0
-103 1023 -2889 0
-77 -2623 -141 0
-172 819 449 0
2366 -2244 1765 0
175 -2749 -18 0
2525 -789 274 0
-1881 -1494 -1075 0
2847 -907 1502 0
-711 -669 1875 0
2057 -661 2445 0
1037 -414 -162 0
-2058 -744 -2051 0
1326 -810 -1307 0
-1185 1182 1095 0
-342 1762 -2900 0
1117 -27 -2821 0
-2724 -2812 -2754 0
2441 709 -730 0
-1683 -223 2092 0
-439 2440 -277 0
-148 686 1385 0
315 -2070 121 0
2895 -148 -827 0
-2410 1589 433 0
267 -722 -257 0
-164 2436 2344 0
1852 -2481 1389 0
1754 -2756 -2655 0
957 1701 592 0
-1839 801 -2411 0
-2381 -2864 802 0
2906 -2052 2397 0
-2714 627 -1832 0
-1303 2305 -1297 0
-1626 1673 -2884 0
1830 -79 2229 0
-1726 -929 -2382 0
2343 -862 -360 0
1212 -1710 890 0
-1654 -1193 1572 0
-1391 2642 2249 0
-1238 2262 -773 0
2640 19 -2737 0
872 1559 2303 0
-604 2564 -1811 0
5 -2282 2155 0
272 -1813 -591 0
2027 -2152 -379 0
1714 2313 -1789 0
2724 1057 991 0
-2590 -668 1215 0
454 546 1989 0
1216 -2637 -1615 0
-2013 2320 1635 0
-2009 -2905 -1177 0
-1490 2365 -2499 0
1069 -686 436 0
-1604 1619 -1490 0
1063 648 1219 0
2728 -699 716 0
928 -1704 925 0
994 1307 19 0
2157 2678 -2565 0
-2406 -834 256 0
-2803 2511 -172 0
-1886 -1129 -2836 0
-173 -2886 -1952 0
1302 2359 -828 0
2002 -127 -2548 0
-457 2108 -187 0
615 70 2879 0
588 1468 -2421 0
991 878 -2921 0
1197 512 1578 0
-1778 -1315 2763 0
-2608 -1433 2539 0
-1575 -2486 2359 0
-1066 99 9 0
1682 -432 -622 0
1948 -673 2224 0
73 -1410 -128 0
2946 2789 1305 0
-2427 -1476 -592 0
1306 516 -463 0
148 -2244 2279 0
2692 -360 -1490 0
2965 -2893 -876 0
2967 -1373 -1376 0
-1002 -611 1311 0
1021 -1188 2556 0
-1938 1421 1408 0
-1458 -2451 2502 0
-1196 -665 129 0
1923 -2374 188 0
-2886 -1261 1206 0
-2330 2371 365 0
1969 2697 920 0
-1407 2633 1633 0
-893 -1451 496 0
2854 -1273 -2553 0
-414 2784 1926 0
1134 -2810 1846 0
317 -318 2750 0
-877 -180 -973 0
-124 2092 -1302 0
-2621 2128 572 0
2058 -1680 1277 0
1431 1244 -2164 0
-2395 -409 -375 0
-2991 -138 227 0
-1383 2929 1033 0
-2898 -1829 -2242 0
2180 2146 -1196 0
2046 2163 -2485 0
2866 2108 2232 0
732 -1736 -1999 0
-2425 916 1034 0
826 1810 1951 0
-1445 2000 2148 0
-508 939 2334 0
2641 -2291 787 0
-263 1123 2351 0
2487 2698 -1917 0
-1877 -2004 1985 0
779 -724 2794 0
2464 -1779 1946 0
403 597 -608 0
-719 538 -508 0
2056 1030 -1457 0
2845 -2287 -2328 0
1207 -2020 -1237 0
2473 334 -1754 0
1272 34 -2342 0
133 2763 -317 0
1850 -1509 -2065 0
2057 -2422 760 0
714 695 -1323 0
-1164 -2514 79 0
2421 -243 507 0
-948 1056 -2969 0
-2387 -798 -447 0
1074 741 2916 0
2644 -929 451 0
-2056 2318 1216 0
1617 -1368 1273 0
1309 1850 251 0
-813 -710 479 0
-1444 2668 497 0
-1269 -707 1778 0
-914 1506 714 0
31 -1332 2220 0
-1743 -609 -1273 0
-2721 -2269 1801 0
-2771 -2740 -1959 0
-2894 -328 2717 0
2430 2166 848 0
1711 2833 2476 0
-2791 943 92 0