noconvergence.tmp.cnf

人工智能的一个重要方法

1090 481 -46 0
1614 -1468 2016 0
192 2174 1869 0
-304 612 -2293 0
849 2879 -1025 0
-2856 1924 -1676 0
-388 -2346 284 0
-2127 -1526 -353 0
-545 -1263 -942 0
-669 -303 -68 0
-1055 -1888 -339 0
827 -2674 2565 0
-828 -2791 507 0
2960 1739 -2900 0
-2969 -960 1672 0
-1782 1547 2221 0
-1673 696 2529 0
-1060 282 2037 0
603 1513 2063 0
-415 42 -138 0
508 -2966 2612 0
2270 -2202 195 0
-2242 -2046 484 0
-257 1195 1177 0
-1344 -1675 2967 0
-2690 -1977 1997 0
1128 1286 -1572 0
-1251 1600 -2811 0
2021 1067 2498 0
1111 521 -2714 0
2260 1513 -2544 0
1430 -906 2707 0
145 -474 1881 0
979 -1064 -2139 0
-2461 -719 -1123 0
-2706 2870 -1149 0
-1276 1593 1263 0
-955 1193 -1456 0
954 2396 69 0
-1148 -530 -2892 0
-292 -1445 622 0
1205 2442 2449 0
1398 66 -1462 0
-518 -972 -2932 0
-2665 -189 -271 0
2330 2129 -1287 0
-2400 1251 -2850 0
294 201 -376 0
2127 -799 -1686 0
-2537 451 -2778 0
-2852 -1234 -121 0
2186 253 -2704 0
1435 -795 -550 0
-651 2225 -2215 0
557 -861 -1208 0
2958 -1743 -745 0
-536 1448 -2072 0
-2454 -2791 -634 0
2854 2573 874 0
-2979 -1503 -491 0
2738 -208 -1306 0
1035 2523 413 0
987 -1209 -2546 0
543 -2659 1169 0
-1273 2828 -1734 0
-2417 -609 2358 0
1187 -1231 -1121 0
-2945 -968 -546 0
2733 1787 2074 0
2077 -2028 2532 0
-2531 1751 -2736 0
-2479 -2792 1331 0
-2257 -1333 2232 0
-2615 -1896 2745 0
2688 1975 -549 0
2632 -1156 -1911 0
469 -1950 1137 0
-1410 -1079 14 0
2717 2496 -182 0
-2284 -729 -1273 0
423 1990 1973 0
1870 -2678 1272 0
-315 -2995 -931 0
-579 1360 2633 0
2802 2674 -1086 0
-644 338 478 0
-1206 -1686 -1816 0
885 2664 2885 0
1257 -1553 2392 0
-2374 -1964 -2761 0
2743 2599 2368 0
-2923 -426 -2718 0
-1493 -790 -282 0
-312 771 -1397 0
-1870 1474 -813 0
-2397 1700 866 0
686 28 719 0
-9 -2930 -2407 0
-809 827 652 0
2604 2155 1798 0
2911 -1351 -2505 0
-311 -75 -2364 0
-2639 2855 2455 0
-1135 -421 2038 0
495 -1921 -2551 0
-2993 -905 1292 0
296 -829 2500 0
23 2157 428 0
-319 2865 2264 0
-1616 2967 -2692 0
917 33 -572 0
1491 2735 576 0
64 2765 2577 0
2073 2682 -2811 0
1360 -2893 1473 0
2671 1357 -1557 0
-1625 600 2354 0
-2903 -1373 1986 0
2824 -1506 2099 0
2807 -746 125 0
2580 -2202 -2466 0
-1362 -2883 -1446 0
-1209 -1888 1761 0
2930 -2697 -2932 0
2491 -2633 -702 0
2524 1333 -955 0
2846 -2050 -2676 0
814 -1024 1150 0
1646 -1845 2275 0
-1048 -1233 288 0
-2722 -525 -1904 0
1573 1686 2874 0
1551 -1987 302 0
2575 -704 2240 0
-2874 23 -1733 0
61 -729 487 0
2363 424 1220 0
-955 -1512 1778 0
930 -2967 1352 0
2485 -202 -2155 0
-646 2382 2805 0
2852 2978 -2172 0
-2196 328 -1072 0
-2020 2832 -539 0
-959 2129 1583 0
1230 1482 -1971 0
-2363 2695 -887 0
-2458 2748 -2126 0
304 -631 -1411 0
-2593 1661 1378 0
-2072 717 -1084 0
1630 2518 2310 0
2288 -1680 -259 0
-2474 -1437 -640 0
1417 2078 -1340 0
2344 -390 226 0
128 -2197 1481 0
-2315 -596 2002 0
-597 1715 238 0
2540 381 -1234 0
2142 -2954 2335 0
545 -489 920 0
-1022 -1862 -2817 0
304 -2812 591 0
1362 2626 1497 0
2815 -2657 225 0
-2229 -2581 -701 0
-2918 -380 1450 0
1570 -2047 -289 0
-1467 279 2195 0
-2790 -2932 -2524 0
-2396 -1130 -657 0
-1451 -2263 -2940 0
-1824 -2515 1654 0
-506 164 455 0
232 2051 1039 0
-590 2667 1195 0
1967 -519 -2799 0
-1022 -1398 2927 0
1169 -2204 -2866 0
2937 -238 1704 0
-2278 1382 1947 0
420 -2731 2858 0
-881 -2730 -374 0
1354 -928 2845 0
2638 202 -603 0
-1715 1146 -776 0
710 -1072 -2770 0
-1588 2014 -2431 0
-1057 -1710 -176 0
-1745 -285 431 0
-681 1572 2337 0
-2161 -1107 -2938 0
2341 -1935 2444 0
2804 -1124 2762 0
-781 -2031 -779 0
1955 -2244 -2187 0
-1774 1293 -2408 0
-432 1664 1947 0
2204 -381 1435 0
-2551 417 -746 0
2823 -1469 -1042 0
2243 2008 -1366 0
-672 1462 -1571 0
2762 -807 2969 0
2567 1675 -2328 0
-664 -283 -1503 0
2788 1759 247 0
856 1369 819 0
1395 -2846 694 0
247 1458 2225 0
1673 -875 59 0
1367 1258 404 0
2297 1158 -1604 0
-636 -950 -1742 0
2864 24 1137 0
2753 744 -2761 0
-869 558 942 0
-2265 -2416 -363 0
-1926 -320 -2491 0
2892 -2471 2082 0
1241 -2114 1213 0
-984 -2582 1323 0
-2557 -1604 -80 0
-987 2981 -1724 0
-1572 2561 1709 0
-1147 2940 2848 0
-2663 2249 1403 0
936 -613 1497 0
-1721 1011 -2188 0
2422 -1015 -2068 0
87 360 2326 0
773 1295 -1771 0
504 1279 961 0
-794 1559 -104 0
834 2364 2515 0
-823 -2212 1415 0
-2302 -1741 -226 0
-2768 2646 -1935 0
86 -1514 1332 0
2107 1939 -1166 0
1919 -824 2688 0
-980 1601 1258 0
-1581 -1464 -1269 0
-1061 580 -2650 0
1429 2094 -1482 0
1884 80 -400 0
2024 2150 1402 0
2690 -91 -1203 0
-99 1031 2538 0
-728 2765 -14 0
521 1551 171 0
-1656 -1916 -993 0
-988 -1471 -347 0
2379 1514 -1858 0
-402 2359 -178 0
-1983 483 -1284 0
-2940 -1871 -1325 0
2336 2452 -919 0
-386 -389 136 0
2998 -2603 -2387 0
1868 1560 -1892 0
1814 1820 2380 0
1208 2801 1226 0
-569 -725 -2952 0
1178 167 -2975 0
-1301 -1276 765 0
-1588 -2096 1230 0
-1079 -528 -480 0
-2174 2946 -2335 0
-348 2374 -1363 0
2200 -2061 -241 0
1436 2450 2215 0
-1234 -2798 2093 0
-2075 -855 1415 0
2638 2671 -2781 0
-1906 -2541 -2461 0
-2104 1271 1366 0
-1166 1413 -2236 0
-634 -1610 1956 0
1679 2844 1784 0
-2865 -1022 -268 0
314 -1825 557 0
-2230 -799 -2688 0
-2141 -496 1275 0
-2511 1596 1879 0
-1766 -1956 -2864 0
367 -166 2480 0
-598 2933 682 0
-908 2364 -2262 0
-2604 2403 -2966 0
221 1061 2297 0
-2 -2064 122 0
358 2495 -43 0
1220 1629 1458 0
-489 -115 1302 0
-343 683 2050 0
1462 -2246 -164 0
-2512 -1571 -2125 0
-1924 2538 -956 0
-5 -71 -2430 0
-786 240 1179 0
-706 -2127 -2003 0
-262 -1256 -1551 0
2891 -554 580 0
-600 -1754 2541 0
-2076 -1645 -2769 0
-2537 -157 1883 0
217 -1877 -2073 0
-234 2518 -1519 0
-2668 2142 -1506 0
401 774 2313 0
2820 385 1329 0
-653 -2712 1903 0
-605 -547 -2868 0
-1988 2456 -698 0
-2630 2338 1366 0
2820 2110 -1353 0
1350 -706 -2856 0
1195 -2842 136 0
-1876 -678 -244 0
56 -1354 -938 0
-1270 1262 -373 0
542 -2087 -1255 0
-171 -1146 2251 0
-2864 117 550 0
-768 -1845 -1214 0
-1309 1100 -359 0
-1721 2827 545 0
2289 2150 2288 0
-2445 -2223 2793 0
778 -278 2288 0
428 2446 -1359 0
-1523 1496 2012 0
-2252 2466 -893 0
-2600 1360 -1299 0
613 2744 1416 0
279 -2092 2176 0
-814 -589 496 0
1365 -1834 1631 0
-2716 -387 -1027 0
-1875 2942 -340 0
-735 2768 596 0
-2055 1064 -976 0
2243 350 667 0
-2198 -824 -102 0
369 -2512 -2329 0
-913 2577 -2115 0
-1371 723 2845 0
1154 -368 971 0
-1313 32 -1757 0
1977 411 -617 0
-642 1700 -685 0
1323 1919 -187 0
1265 -394 -2597 0
-436 -2236 1353 0
-2313 -264 -2729 0
5 -1804 -2863 0
1279 2673 -2923 0
688 1170 2218 0
2819 -2152 1232 0
-2801 -1906 1006 0
1038 -1843 1990 0
-2614 1023 -1567 0
2035 1898 948 0
-118 1861 992 0
2195 -1158 380 0
2917 -1256 2319 0
2394 -969 -774 0
-1020 -700 -206 0
1675 -621 -1654 0
245 -960 -56 0
-318 2286 256 0
-2215 -1312 -587 0
1971 318 -1683 0
2453 1177 -1588 0
1652 -202 1302 0
1562 142 -782 0
1062 1509 -1674 0
2201 -1520 496 0
2696 -2571 -2633 0
-780 -1756 1035 0
286 844 1237 0
664 2335 771 0
2365 2985 1372 0
2121 -588 1859 0
2750 -2502 -1370 0
-1680 2888 -1596 0
-2023 96 1496 0
-2022 -802 2064 0
-1455 1209 1616 0
472 1126 2709 0
2032 -1795 215 0
-213 575 -2624 0
-2632 2540 1818 0
71 -2962 748 0
-860 1267 2623 0
2967 2043 2888 0
1908 -1668 -548 0
692 544 1060 0
300 -415 896 0
1619 -1080 -143 0
-2425 -357 -595 0
1476 -1844 -1033 0
473 2058 2192 0
2047 1291 865 0
-1025 -2583 -892 0
2370 1448 2451 0
2370 2046 -2124 0
2424 -2615 2126 0
-11 -1739 -1055 0
528 1711 -1387 0
-2419 796 936 0
1801 2242 2009 0
-1563 -1188 2878 0
-159 2862 -558 0
-368 -2329 -2861 0
-2464 -2271 -1521 0
2039 1579 1167 0
-2895 -287 971 0
-881 -687 1190 0
2086 -2327 2185 0
714 -1023 2584 0
1383 2653 1309 0
1795 1364 1249 0
961 -917 -2284 0
-1177 -342 -676 0
2604 2466 678 0
-2500 565 -2630 0
2382 2505 -2389 0
1047 -505 -1331 0
-1101 -1888 -267 0
1500 -195 2579 0
190 1881 919 0
1928 -2342 1982 0
582 -329 950 0
2787 -1084 1290 0
-1994 -1471 1002 0
-1186 524 971 0
-949 980 179 0
712 -1463 -2548 0
100 1379 1343 0
881 -1818 1365 0
-823 -2536 814 0
-895 -2652 983 0
2711 580 2809 0
771 1005 -397 0
-618 621 762 0
-2948 -564 -1582 0
2857 -2223 2441 0
217 984 -1758 0
-2211 4 -1810 0
1831 2619 -379 0
2080 -2593 584 0
-2023 2342 384 0
2187 1814 2606 0
210 -1187 297 0
2282 -990 -2831 0
-993 2613 -728 0
506 166 1204 0
-2606 1000 2615 0
502 2051 1335 0
227 2643 922 0
-1237 -1860 -1397 0
2880 1001 2203 0
2575 -2026 2478 0
1486 -580 -3000 0
-1061 942 2703 0
107 2874 -795 0
-146 2338 1137 0
-1547 -1732 863 0
-1099 -2197 -2321 0
-2834 -345 -2051 0
-673 -210 -1018 0
1926 33 2767 0
1825 225 -375 0
1407 -2501 86 0
160 984 1508 0
-1506 -1260 2619 0
-819 -2794 -246 0
499 1120 2457 0
-1449 2636 2691 0
-2602 463 -1566 0
85 2112 1232 0
708 2642 -1860 0
1259 4 2791 0
2366 -2188 -493 0
-511 -1689 922 0
-2729 -2052 -641 0
38 -1266 -2430 0
-191 -417 2004 0
-446 -2959 2044 0
-1192 638 2611 0
1267 2430 300 0
-1355 -363 -1325 0
1960 211 -1897 0
83 -2411 -780 0
828 -2131 -1606 0
2027 2737 -274 0
1706 -43 -1659 0
2985 1689 -935 0
1573 -1453 274 0
2863 -2194 -1414 0
2240 -2590 1634 0
1097 121 -157 0
490 -1726 -1203 0
-1663 -1612 1917 0
779 612 -2130 0
995 2446 2146 0
2874 2224 -2594 0
-2306 159 -1334 0
1499 -2199 -2537 0
-1565 1838 -1237 0
1119 -2238 -1253 0
-1521 1628 786 0
258 2997 34 0
-1041 2921 -2055 0
-2736 -64 150 0
-2894 -2222 -2501 0
-572 -2490 45 0
2073 -626 -2952 0
1676 -791 2343 0
-499 1132 147 0
288 616 -886 0
1521 2232 -2270 0
-2715 -2862 -2782 0
2615 1618 1936 0
1007 358 -2960 0
-1816 1471 -33 0
611 -1200 -2741 0
1900 334 5 0
1304 -1721 445 0
673 -2463 492 0
-1101 2830 519 0
-1193 623 -2888 0
638 1824 -2866 0
1245 935 -1573 0
325 -2910 1122 0
-1784 -2367 -1379 0
1048 -1453 1576 0
-2203 177 1706 0
-1315 -700 -355 0
-2645 -847 -2085 0
-2679 2063 1373 0
289 1088 -2928 0
485 -905 -2232 0
2551 -818 -2467 0
-1156 -2051 1191 0
1025 -325 2433 0
105 2604 -317 0
-1377 -1888 -2626 0
-582 -2747 1041 0
1780 2149 279 0
-916 -2940 1737 0
-1112 1649 301 0
35 2077 -2312 0
2611 -2795 1864 0
1805 1569 -2120 0
-2080 -2156 -2825 0
-1760 -995 1910 0
2324 -2923 -62 0
327 -786 -2920 0
-2974 -1964 638 0
-1088 -1442 -2871 0
-2916 1237 2302 0
-1790 -2919 -900 0
-1708 2811 -1562 0
-2675 1691 47 0
-51 2952 1347 0
-140 -2638 2413 0
925 -2227 -1249 0
2396 2811 -591 0
311 -1063 -2022 0
-25 1118 687 0
-2043 -980 -2928 0
2735 1062 -165 0
1620 2029 -976 0
1242 -2578 591 0
2673 2707 -1251 0
1180 1353 -2611 0
2230 -860 -2980 0
1793 3000 -2115 0
-2074 905 -334 0
417 -52 -597 0
1279 2977 -673 0
-1384 -2020 -688 0
1718 1537 -752 0
1679 165 2482 0
-1983 -581 1807 0
-1774 -957 -341 0
435 1060 2435 0
-2139 920 366 0
-2701 2538 2631 0
-679 -273 1357 0
955 1653 -2238 0
-2824 -2309 -2561 0
-1189 -1059 -840 0
-2319 -406 -1645 0
2586 -438 -172 0
-1050 2728 2966 0
1769 910 -2594 0
2420 661 -998 0
-1687 1993 1280 0
-2517 -2012 -2329 0
-649 2918 1089 0
-2600 -1240 -1798 0
761 1487 385 0
-1078 1313 1753 0
775 2550 -2807 0
-811 1056 2820 0
737 2359 2482 0
1932 -57 -1283 0
2943 -863 -921 0
1653 -1087 -2233 0
1556 1963 -600 0
-2484 1086 742 0
929 2691 -2588 0
-173 1379 -2652 0
2820 1647 2609 0
2560 -1434 2407 0
630 -13 -708 0
203 -1856 1090 0
-1413 1890 144 0
694 24 1166 0
-2244 -732 -2967 0
2728 -1372 672 0
-1213 -832 742 0
-676 1655 -490 0
-2032 470 7 0
2866 1700 228 0
1851 1286 -2194 0
2944 2284 -83 0
2817 2665 125 0
1292 -2028 -2148 0
3 106 793 0
2943 377 -2112 0
2179 -885 -2636 0
1436 709 -305 0
683 1019 1902 0
-2575 -976 -1023 0
-2297 2559 2803 0
2981 1612 2278 0
2714 305 -2537 0
-1987 -63 211 0
-2166 -720 -2629 0
-302 -1008 2770 0
1509 -2743 2814 0
-2553 2761 -1955 0
473 964 1201 0
-795 -1710 -1213 0
405 188 -11 0
249 -2719 -1089 0
-224 1787 -1646 0
2546 -1899 669 0
-366 1142 2967 0
537 -2182 1030 0
-2851 1187 -863 0
2224 1841 -714 0
-986 1875 -1619 0
-256 -1954 -2961 0
707 -929 -2561 0
-2634 2555 -1086 0
-348 -1315 2077 0
-123 -2101 -4 0
-2603 751 -2784 0
-1822 -104 -2749 0
2675 -16 2829 0
-1570 -1558 -877 0
-159 -1542 1463 0
-2493 -912 -1513 0
-831 -350 -1656 0
2936 357 -880 0
-112 -648 -2195 0
-2555 2960 301 0
466 -2693 1576 0
-739 2760 1351 0
2469 19 2234 0
4 -2059 -2468 0
2644 -2733 1100 0
1676 2905 2959 0
-2773 -218 1039 0
2221 1776 2128 0
882 1867 1565 0
-91 713 -2968 0
-2183 1609 853 0
2324 -2443 1983 0
-709 2871 413 0
1748 -2278 -956 0
-1933 -2592 1496 0
-173 2898 -2343 0
1895 -29 -2163 0
-1724 -793 -2920 0
2189 -2857 1458 0
-2583 851 -767 0
-1197 2133 -181 0
-42 -2378 -2166 0
2960 303 -289 0
-2580 -1514 2790 0
-357 -2699 2284 0
-2401 -2603 -2414 0
467 2604 -1753 0
1649 -2231 89 0
-388 1298 1327 0
-1279 -1735 -6 0
1349 1463 2509 0
-1467 9 -685 0
2264 -1456 1448 0
-363 -2170 -1276 0
-590 -1120 1503 0
-2136 1449 1960 0
2513 -2449 1942 0
2969 -471 -2108 0
1401 27 2761 0
-2227 2340 -2409 0
-2225 1327 337 0
265 -842 1037 0
846 -324 -914 0
-56 2954 -125 0
-1947 -2046 328 0
2722 2307 456 0
883 -435 55 0
2732 1470 1664 0
1250 -269 1541 0
1060 671 1464 0
-1773 1787 -2600 0
-1932 -427 2337 0
2629 -868 -369 0
-1948 2539 -2886 0
294 2435 -1176 0
489 264 -1771 0
2164 2090 2486 0
-1870 -1068 216 0
1199 -2886 2625 0
-1941 786 2979 0
-824 -999 1563 0
-1896 407 -991 0
1037 2025 -2800 0
-1499 1738 -715 0
-1635 -2286 1193 0
828 -1963 -887 0
1834 -2745 -1521 0
-206 1613 24 0
-796 566 2436 0
1415 -1710 -773 0
-307 -2854 -917 0
-960 514 -2993 0
-2242 -2208 -530 0
2968 2826 -394 0
1071 1677 2819 0
-271 -2823 -833 0
2813 -120 1265 0
1724 -2975 -64 0
2706 -1694 108 0
-2264 2410 -10 0
2376 2742 2075 0