p cnf 10000 1000
9123 -904 -9430 0
8097 -9174 8218 0
4006 6631 -6981 0
-9882 -8579 114 0
3219 -6934 -192 0
1947 -4334 8806 0
-9545 6700 -3874 0
652 -1733 -9995 0
-2121 3118 -6302 0
-6216 -3442 -1853 0
5993 -5580 -2189 0
-4538 -7563 5500 0
5913 4596 -2850 0
6705 -470 -9447 0
1464 -6301 -7299 0
-9244 2316 3519 0
7983 2211 7769 0
-3354 -5927 8227 0
-3768 7954 8315 0
-2365 4205 -1850 0
-358 3073 5962 0
8298 7998 2224 0
-8025 6826 5724 0
206 6073 1154 0
-5054 9640 -7439 0
-5336 7555 4310 0
-4280 5301 1664 0
-4467 -6317 6272 0
3662 6066 -935 0
-8426 -251 -3379 0
5126 -272 -2902 0
-5883 -7135 818 0
9528 -3917 1696 0
489 -1173 -6695 0
-7939 1369 -1725 0
2214 -3489 -1671 0
4118 8482 -8394 0
830 2625 -186 0
-7842 2389 -2128 0
1443 6023 -2199 0
-2466 -4670 -8915 0
9249 2459 -7166 0
-6123 -53 1328 0
5646 -7289 3138 0
-2196 -7745 -6656 0
-4068 6236 7248 0
-1364 2034 5233 0
-6731 -5265 -6750 0
8982 -8705 8323 0
-3361 -2715 3184 0
-4602 -700 9913 0
4064 7566 -5028 0
-1865 1074 5910 0
-2442 9260 -7417 0
5369 3368 -7048 0
-6937 8599 9848 0
-183 1525 7573 0
-3657 404 -2584 0
-3244 -6472 807 0
-2499 -9741 -1779 0
3025 -4044 -2395 0
-3347 -1587 5473 0
6231 -8860 -8811 0
4413 -4767 -4180 0
-169 3450 -4157 0
-2861 7427 -7050 0
-8885 -6428 -6341 0
3776 5480 -9002 0
-7521 -8258 -5169 0
9646 6659 5518 0
3171 -3587 5526 0
-9593 3754 -822 0
-7327 -7981 978 0
319 3273 6507 0
-6162 -5637 9779 0
-2440 -3960 -1558 0
2803 4247 66 0
-9636 3850 9924 0
2644 -1088 -5448 0
8157 584 -6675 0
5268 4914 -4980 0
1437 -4085 4590 0
-7653 5657 4440 0
8481 3915 1267 0
-2512 7008 9869 0
5314 3407 8278 0
9621 8265 9008 0
22 2934 -3627 0
-7620 2372 8606 0
5449 383 -8412 0
-5054 -4807 3029 0
-1642 -6698 -1096 0
6829 7413 8282 0
8987 8766 1985 0
9493 -2051 -6820 0
-2458 -7035 3789 0
-3928 2292 -6865 0
7874 -2223 1908 0
-1696 -6670 -9502 0
-8248 -2712 2413 0
-1454 1218 -1256 0
-8424 8846 -7712 0
-9283 -2922 8183 0
2577 2376 -9177 0
-2260 9576 -139 0
-406 -7225 4607 0
4127 6672 7977 0
-4650 -1932 418 0
-7943 -4455 -2214 0
4600 5556 3435 0
-7525 3205 7968 0
173 9855 -6847 0
513 -2343 -8740 0
-3345 -2563 -1698 0
-5317 3387 4516 0
-384 1750 -7960 0
1046 2105 -5073 0
6688 -575 6255 0
4283 7694 7323 0
-9700 -6210 -8242 0
-2134 -8935 382 0
-8985 -7669 -39 0
-4004 6846 -4585 0
9914 1818 475 0
9113 4916 -7681 0
4364 5437 1865 0
-8018 9527 8363 0
6994 6193 2558 0
-3839 9664 6391 0
-2618 -9018 5135 0
5468 5390 1974 0
1400 -479 -7167 0
-3360 8932 8497 0
5804 7093 4704 0
-5270 6166 4645 0
-3893 1872 -7963 0
-9020 54 8137 0
-5631 -36 -4243 0
-3858 8545 6710 0
-2203 -153 -6221 0
5548 1163 6940 0
-5009 -6682 -9169 0
9136 4936 6693 0
-9086 -7457 4803 0
-1717 -1045 -7585 0
1852 4709 -9991 0
9774 -3615 -280 0
4282 6445 -7075 0
-5549 1529 -6339 0
-9458 6735 2133 0
3150 -9539 6393 0
211 6568 -8527 0
5211 5067 3869 0
6858 6364 -9806 0
-8672 -1238 1150 0
-2197 -483 -3393 0
-2407 5379 -6434 0
265 2893 2513 0
-4079 8151 -1024 0
1543 3502 -8680 0
4841 7467 4415 0
-9374 -8458 -2824 0
-1392 2319 6707 0
6836 7293 2062 0
-105 -7135 2772 0
-4242 6305 9513 0
1864 -8877 6359 0
-7250 492 -8856 0
-2392 6753 -5052 0
-6971 -289 8640 0
-2862 1699 8604 0
5960 728 -274 0
4175 -6253 9312 0
7906 -6171 6121 0
-3866 4037 -2884 0
-9518 9755 5828 0
-7922 -1574 4943 0
5763 -3905 -6992 0
-9337 -5744 9985 0
-4711 -5000 -1397 0
-1144 49 -7800 0
-7268 -3597 -6801 0
-1163 -6080 7789 0
5144 -3301 -6988 0
9820 -9208 6696 0
-5179 6319 -4012 0
-2651 8862 -7317 0
-5152 -9131 -9070 0
-2773 1566 7112 0
-3335 -5212 -761 0
6562 -9456 214 0
2149 -8830 4148 0
-2025 -9446 633 0
6883 579 -6187 0
8472 -2274 1925 0
-2123 -5088 -6668 0
4226 -724 2144 0
-4658 5249 -8830 0
-1467 -6192 641 0
6021 -1471 -6561 0
-8344 -4666 8059 0
-3195 8392 -3492 0
5715 -4449 -5308 0
-795 5294 -1489 0
6336 7398 8659 0
-7996 2732 -98 0
9954 -5710 8160 0
7755 -5703 -6573 0
1700 4039 1717 0
6092 -621 5580 0
8084 -264 5653 0
9803 8171 -1953 0
4129 7683 5019 0
9375 2945 -4939 0
6839 561 4673 0
-7724 -3494 -3075 0
-9073 6554 8400 0
2527 -7554 2448 0
3657 -2435 -1100 0
1106 1124 -3935 0
-8873 -391 9506 0
2438 -3042 8930 0
-2608 -8377 9776 0
8137 -8520 -6202 0
1464 -1288 -9576 0
811 1947 -2766 0
-988 1936 -6721 0
4250 1896 -8376 0
-4771 6581 -7248 0
-9716 -6423 -2228 0
6493 2480 6524 0
3383 4930 -5170 0
5232 2130 1770 0
142 4197 8250 0
2500 2507 -1573 0
-5007 9293 -249 0
-6628 3414 -1839 0
5858 -4609 -7306 0
2209 5725 2932 0
-7709 -7445 -4375 0
-8028 -6175 -6518 0
-2362 -4867 -7675 0
3807 6138 7814 0
-4509 -4690 -8993 0
7544 -1507 -9759 0
-8388 -9367 -837 0
7698 8749 -4382 0
-8070 2055 4912 0
8372 -4234 -9909 0
7508 8771 8937 0
3937 -9941 -9714 0
5161 -9636 -9320 0
9623 9792 5913 0
-4615 -6200 -6520 0
8962 1946 2084 0
6968 -6108 -3654 0
5847 -9831 -207 0
-9004 6235 -1259 0
2286 6863 6468 0
-3536 -7785 2804 0
3923 5187 3922 0
-7570 -3956 5728 0
3168 -2579 5268 0
4489 -6975 -1474 0
1188 -8118 1069 0
-3960 9296 9362 0
-3288 9423 -314 0
7144 -1139 -8465 0
-1023 -5519 -6682 0
-2692 -779 477 0
1605 -4663 -4607 0
5414 8878 4971 0
3895 4468 5214 0
-924 3655 -6706 0
9591 -277 9076 0
-8683 -8200 -7511 0
-2976 939 5642 0
-5714 -3994 -7563 0
9427 -3944 -7856 0
-6571 8746 4278 0
-2445 6683 -158 0
-833 7704 -1845 0
-1040 -9066 -689 0
54 2989 -7772 0
-9251 4083 -1595 0
-6036 -4660 1190 0
-5711 3468 3621 0
-5442 -1411 7948 0
604 9349 2276 0
-3787 -4314 -6655 0
-6749 -6209 -9835 0
3528 -5956 9448 0
-1776 -9073 -1653 0
-2560 9828 -9521 0
-3653 2241 9223 0
-7304 9081 841 0
-7647 -938 3065 0
-3630 8937 -2169 0
-9751 4712 -2958 0
-6584 -3982 -7071 0
4902 5854 -214 0
-7783 -9170 9114 0
6869 2868 3900 0
3577 -7086 4028 0
-6364 -7685 -7694 0
9252 3610 -6180 0
9607 4942 6969 0
6603 -2784 -2332 0
-3881 7000 1746 0
4846 9760 -8316 0
-4975 6726 7903 0
963 -7866 3300 0
-863 9937 2045 0
7605 4815 -568 0
-257 -5026 3407 0
-5400 3183 1928 0
5641 -925 -8083 0
-6831 6509 -1331 0
6665 -8948 3641 0
9337 93 -1475 0
-9105 8272 1341 0
9807 3781 -7205 0
-9404 -9510 -7511 0
-9812 -4137 -205 0
8896 6016 1488 0
-3310 3251 3001 0
-1103 -885 7674 0
3183 -6151 -3201 0
3446 -9091 -8980 0
98 2433 -5354 0
4184 4133 6656 0
-7879 -5907 7254 0
8613 -2748 -8938 0
1695 -3723 -7109 0
-3433 -9034 -8555 0
9718 3173 4046 0
4826 -5286 -3237 0
5695 -9551 2329 0
348 4302 9482 0
4329 -9155 -177 0
-2165 8344 -7995 0
4538 1287 1632 0
-9321 -735 6524 0
-3103 9402 -2848 0
2215 -9068 -4669 0
4668 -2061 7247 0
-2251 -7866 -8990 0
3139 2144 -2009 0
-5556 -7937 -567 0
7929 2958 7446 0
-7435 -2295 8900 0
-8197 -1492 6399 0
1310 5846 -7941 0
9251 -3446 -3594 0
4103 -2751 1176 0
8479 -312 6335 0
6711 7372 3851 0
3267 -1237 5570 0
7228 -8794 4492 0
8424 -7619 4097 0
1753 7855 8264 0
5304 -1216 4209 0
1509 9527 -8205 0
-156 -683 -3960 0
-6018 -5152 3521 0
-853 -7347 393 0
-2432 4743 -836 0
-7579 -5905 6663 0
9717 -1785 -1181 0
-7186 -9864 -2566 0
498 -1580 6487 0
-1520 -7821 -4327 0
4514 -4479 -6609 0
8334 2263 9525 0
1558 7009 8688 0
3746 9437 -9049 0
5088 -6751 -830 0
-1229 -9134 4320 0
-5722 3108 6296 0
5707 8260 4836 0
8739 1362 -5495 0
1800 -9184 -4867 0
-6603 7196 -2955 0
6274 6934 8358 0
8981 379 -8213 0
4276 8327 -2978 0
6792 4635 8933 0
-5415 -998 9873 0
-1442 7539 4779 0
-8380 -720 6443 0
336 -165 3374 0
-8570 4132 -2355 0
-3626 -8119 -5875 0
-4859 1782 8377 0
-3628 -8108 8287 0
-1611 -5892 455 0
-5353 -5384 -2455 0
3235 -4991 1178 0
-6503 4095 6452 0
-1627 -2532 -4830 0
-5651 5793 -5946 0
-2339 -7158 -3063 0
-2233 -5159 -9440 0
2657 -9307 -6947 0
-1864 -535 2479 0
-9519 8178 -9852 0
-8946 9300 2171 0
761 9951 -1217 0
-9945 7288 7971 0
-3463 -9634 -7102 0
8729 1349 -540 0
9998 -9258 5012 0
9622 9556 -3897 0
-209 8550 -6382 0
3477 -7861 -9003 0
-9206 -2027 8068 0
4079 7167 -8996 0
9224 -6640 3152 0
5078 1932 4807 0
-957 -6489 8327 0
-5666 7188 9750 0
4266 1215 -6593 0
-8904 -2281 -8492 0
8821 9904 -416 0
3229 4004 -7706 0
-1944 7768 -4354 0
7144 1399 7536 0
-6789 -7420 -6942 0
-5449 3903 -8014 0
5852 763 -4850 0
-5397 2603 1236 0
-6752 1831 5806 0
-1265 5485 3547 0
1286 9713 1453 0
-6418 1178 1095 0
7761 -7278 5496 0
2847 9670 8871 0
-5609 -251 8952 0
-1758 1827 -5100 0
-8000 -6928 8719 0
8186 4347 -8620 0
-770 -1052 9132 0
2037 -7382 -2856 0
9072 4079 419 0
-3642 7661 -1593 0
-5005 -2313 6767 0
9446 -6633 6267 0
-8506 1958 -8009 0
-7140 -8133 -8095 0
1137 -4982 -7076 0
9837 -9684 -1035 0
-6207 -8956 -7259 0
-3746 6066 5002 0
3268 -9772 309 0
269 1295 5197 0
-6954 -6060 -726 0
6921 -4000 8584 0
9072 9205 7543 0
-4119 -6832 7462 0
-733 -4766 4066 0
4342 -9512 15 0
-2161 6242 -4389 0
3354 9328 3057 0
4965 208 1385 0
-8341 5822 -4488 0
-769 -3194 -948 0
1207 -4369 -1958 0
7199 3769 -5232 0
-5824 -968 5356 0
6516 3156 -5221 0
2413 -9782 8196 0
-6736 -209 6547 0
6389 -9670 -2344 0
-8800 3774 -2867 0
-8215 -3327 -2049 0
-5363 3068 4273 0
-9014 3062 -5410 0
8358 -5106 -9526 0
4306 -255 6142 0
-5380 6832 -4759 0
-2778 3513 -422 0
-9378 1524 -8523 0
5849 3788 1004 0
-3093 9017 -8913 0
-4260 -2216 -3626 0
9077 -7827 9737 0
-8085 -2233 -255 0
1730 -4518 -6934 0
-2256 3372 -7908 0
-9748 -6542 -7829 0
-4298 -1077 -5872 0
8084 8590 4007 0
4806 -6555 -5638 0
-7095 -3325 -9881 0
-7162 902 3979 0
8106 3920 5536 0
1718 -9431 -917 0
1980 7864 797 0
-8093 -7872 8409 0
-1610 -746 -4072 0
5278 6879 2139 0
8862 -5855 2745 0
-8557 -5828 -4599 0
-2058 -3791 -4710 0
3489 -4108 -8548 0
-642 -9883 1220 0
-9812 -9862 3559 0
-4697 7148 -9515 0
5510 -9487 7796 0
7647 1135 -5233 0
-6939 -1432 -9266 0
3270 8082 4758 0
3543 3949 -5172 0
7700 8141 7512 0
-3563 3038 -9651 0
7426 9189 -8508 0
9565 4706 3164 0
1519 3891 -7101 0
-5808 6871 -1141 0
-3238 4683 -6918 0
8276 -123 -4330 0
2450 7293 -9357 0
2106 5320 795 0
-5834 5462 -2213 0
-2831 2396 -1747 0
819 -7875 7523 0
8573 -9296 -4019 0
5380 -602 1515 0
-2623 1386 -5244 0
-8219 7574 3860 0
-5555 5469 74 0
7254 -7825 -1290 0
-5728 5129 -1913 0
8512 -4751 -308 0
-2102 -1938 -3240 0
-5001 -3865 -1056 0
7706 4313 7534 0
-2117 3196 9015 0
-9580 -6471 6880 0
2070 8848 6537 0
-9452 -2229 -4916 0
7832 -5826 1875 0
1000 4025 109 0
-1462 8337 1654 0
1719 6790 2688 0
-6269 -9800 1157 0
-5033 5178 4967 0
-3544 1873 -6532 0
-8165 -3699 8247 0
5598 7500 -2355 0
-293 -5512 9079 0
9016 6363 -3800 0
-7581 5361 -8249 0
-9295 -388 3406 0
6253 -7886 3982 0
-1374 -4759 -9574 0
1956 9642 -5465 0
8126 5831 1948 0
-5829 2130 6090 0
-8257 3169 1767 0
2108 9458 7510 0
6288 4209 6169 0
-8775 6644 -4317 0
-8293 -5092 -563 0
4780 -6751 -1602 0
-7963 -933 -6865 0
2971 3810 3538 0
-2534 5567 -8583 0
-3248 2478 4659 0
4162 -4515 5921 0
-2598 -3514 128 0
9116 -4107 -7616 0
9392 7881 -1235 0
919 41 4562 0
-9591 -7883 6846 0
6895 -4080 2297 0
-489 -5758 -6144 0
2187 -8902 8999 0
-1371 -9980 -728 0
-8611 7336 -4439 0
3524 -4160 -350 0
-58 9841 -6756 0
-8450 4361 -8651 0
6462 -9878 -8508 0
-8222 -5901 4984 0
-1943 8332 5437 0
444 -55 -3502 0
1336 3838 -9217 0
-5500 -6787 -900 0
5522 -3681 -4262 0
7496 6851 -8627 0
-7226 2332 -5963 0
-4099 -7348 -9915 0
-2838 6295 -9509 0
-1028 7719 -7433 0
7521 -9329 148 0
-8021 -8962 -8618 0
8839 6499 7283 0
-1651 7357 5174 0
-9732 8303 1915 0
8974 7060 -8221 0
7298 -7757 4102 0
704 -7132 -5932 0
3421 497 830 0
-6504 774 8702 0
464 1326 -9550 0
8975 4256 619 0
6841 2627 3698 0
2605 -3416 -3743 0
-7598 -1025 721 0
9246 -8275 4671 0
6484 -465 -3593 0
3739 -3935 2879 0
-5147 1814 594 0
8329 -2985 -9338 0
-4730 1816 555 0
-5700 -4475 -1492 0
-5284 5806 8671 0
7580 -1692 -8029 0
9227 4040 -8947 0
-6392 1771 -5957 0
6310 6927 6908 0
-7603 2175 -460 0
9651 7647 7263 0
2355 -9079 5383 0
8759 -2851 -1828 0
-5828 -1827 1221 0
8866 -4929 6799 0
-8766 -4116 -4718 0
-2061 -2587 -7641 0
2222 -928 -8135 0
-2468 -6414 -9607 0
-271 9197 6230 0
-304 -8915 4290 0
9096 6012 -5175 0
9161 2023 9234 0
4448 3815 -5577 0
-5507 -934 767 0
7716 -4296 6439 0
579 -3083 -9401 0
2780 -4276 -4771 0
4177 5309 -7486 0
-5210 5017 -6326 0
-6993 -6732 -412 0
9551 -3568 485 0
-2317 -8376 3611 0
-8226 5535 -4558 0
6094 -7166 2639 0
2806 -8389 4857 0
-3015 6372 8040 0
798 -9114 -1628 0
-6654 -1579 -3477 0
9256 1510 2180 0
-6598 -970 5532 0
1116 -1322 1662 0
-5403 -5172 -9822 0
399 -3942 4319 0
9298 -6264 -6125 0
-5168 -2294 -8944 0
-2696 9362 -4768 0
3927 9789 -4580 0
4933 8603 6680 0
-1115 3889 -7140 0
2702 5252 3487 0
-9108 7508 -8112 0
7296 734 -1856 0
-5595 2445 -1584 0
-5827 5337 6198 0
2815 4573 -8605 0
-6013 738 8564 0
-2274 -6964 3685 0
392 -7049 7697 0
8144 -2120 -3862 0
6380 -5471 -9655 0
-1185 1379 3276 0
7013 -4990 -3195 0
-9295 7648 -8874 0
8323 -8814 -1422 0
1578 6570 -7910 0
-128 -8319 6185 0
6018 -7450 -3004 0
-7957 9821 -8373 0
340 -8343 1582 0
6320 1795 -9975 0
-9348 349 3752 0
215 -6612 7161 0
-5307 -5611 -215 0
-8394 4141 5984 0
-1157 2113 -498 0
3047 5929 -338 0
6863 -2513 1501 0
6407 5319 -2372 0
1304 8125 9463 0
8696 4834 6805 0
1758 4097 -1874 0
-6064 9481 -518 0
8955 2016 5047 0
-3850 -2467 1946 0
8061 -515 1311 0
-8821 2617 -9542 0
7356 3245 6335 0
-9854 -5760 -244 0
-8134 -5584 2543 0
-1148 -3775 -288 0
-5347 3989 -2093 0
-5351 5018 -2071 0
8628 47 -9767 0
4479 -4168 -484 0
-1155 4889 7080 0
-3550 7634 790 0
-3281 6703 6207 0
887 -1802 9645 0
7174 9176 820 0
8450 -2541 -2916 0
-4655 -6802 -3878 0
1903 -8111 4436 0
2525 4092 1877 0
-5075 7732 -2105 0
-4863 -6384 3158 0
-813 3038 -8623 0
-4304 2709 -4727 0
6671 5434 4156 0
-3515 -2047 8963 0
-6617 -9538 8473 0
-354 9777 2972 0
5511 4881 1078 0
2927 -3473 -8155 0
-678 5719 -8149 0
-5278 -6015 3092 0
-8017 4661 8041 0
7916 3923 -9340 0
4360 -9516 6490 0
-5964 8449 -6919 0
7107 1786 -4780 0
4252 -6083 7710 0
3515 828 4778 0
5770 2321 2597 0
-4518 -3546 3557 0
-2506 9866 -4973 0
-8219 7322 -1923 0
7253 -4494 -8528 0
-9835 -4266 3084 0
2204 4291 -9328 0
-1011 2119 9633 0
2078 -8076 2891 0
-9622 9872 -9733 0
5936 -4924 3111 0
-5662 -7328 6117 0
-4003 -7645 -2600 0
-1748 1233 -3745 0
-1524 7444 9078 0
2492 162 -9025 0
9771 -2348 6951 0
-4823 -8713 -6395 0
-2877 4296 3637 0
4513 -3431 7624 0
-5621 8886 -598 0
1695 -6326 4624 0
-1272 3562 649 0
3874 -7966 -7350 0
-1066 271 3526 0
-2029 6560 6458 0
6151 2261 -2401 0
245 -9194 9099 0
4149 9624 7467 0
-7155 -7935 -7225 0
-2003 947 6563 0
4260 9869 -7921 0
2179 -2334 -430 0
-6078 -4347 -2675 0
8966 782 2203 0
2546 -8195 -7817 0
484 -5643 -2173 0
-2302 3612 -1572 0
2563 -6352 -8156 0
-9897 -8004 -1458 0
5124 -1976 -1955 0
-4525 4401 1882 0
3153 -8326 -3769 0
-9988 -2212 4604 0
1790 -1550 8815 0
-6195 2768 -6516 0
5480 1882 -6050 0
9679 4777 1453 0
-7385 -7361 -8879 0
2004 -6475 514 0
-1445 -2524 -8635 0
-3845 3029 7781 0
62 1875 7506 0
808 -4146 -5926 0
-6113 -3505 -8287 0
763 -7909 7292 0
-2968 -732 4707 0
-5995 816 -2076 0
9378 -9742 -4868 0
7091 -6293 -9112 0
-4882 2460 2240 0
-8324 -7583 6708 0
7389 7209 9947 0
2254 806 -826 0
-8613 2398 3545 0
5476 -9219 278 0
-6404 -783 3441 0
2132 2871 -8510 0
-6103 -3658 2411 0
-6028 424 856 0
7700 -5960 1820 0
5013 367 -8121 0
-8399 3066 -2554 0
-3658 3228 4637 0
8176 1290 -9397 0
3033 6795 3389 0
-2528 4622 -2913 0
8127 -3443 1791 0
4390 3751 -5561 0
2057 5797 -729 0
-138 3343 -242 0
-7783 -7994 3627 0
-8255 6735 4087 0
-9626 -3663 8718 0
-7102 9842 5951 0
-1908 -7057 -8158 0
-928 -5814 8007 0
6401 -1354 -2883 0
653 -7028 2948 0
-7874 -5830 9708 0
-8777 -1523 543 0
-6857 -6266 7034 0
5769 -4445 -224 0
2602 -8770 9955 0
4331 -917 2708 0
7936 -1383 -9737 0
8882 -4739 -3930 0
-6225 -2467 5168 0
7014 2456 4996 0
-6456 7905 7180 0
-3609 8823 -7074 0
-3782 -9435 2054 0
-2371 -2488 -7949 0
6352 9051 2582 0
-9463 2762 -6009 0
-5385 6781 -1313 0
8872 -5166 4306 0
-6773 5988 -5060 0
-1937 2817 -7950 0
4071 2885 -9032 0
9739 -7797 1127 0
5279 7585 5730 0
-5315 -862 -7843 0
8112 -2737 2837 0
-6177 4425 4431 0
6103 -137 -6164 0
-5490 3929 -5275 0
-4237 -1448 9012 0
-7748 5287 -2291 0
2129 -1318 5836 0
-3231 8219 2199 0
1518 5715 4879 0
112 6223 -880 0
-7615 -7103 -8156 0
-7786 9904 -8754 0
-163 501 -459 0
9405 4183 -3114 0
-834 7582 -878 0
2644 5441 -7307 0
493 8745 1201 0
2813 8617 -4293 0
4274 4675 -3601 0
-9733 1162 8744 0
4894 8069 -1147 0
-8390 7893 1975 0
4158 -4122 -7890 0
-5632 9020 4740 0
4497 5933 3895 0
-1414 8420 -4388 0
9113 -4959 -6182 0
-542 4052 -3683 0
6119 -6006 -6500 0
-5250 -6420 -192 0
-1803 6072 -2535 0
-461 -9862 7007 0
9055 3447 -8636 0
2380 -8600 -9864 0
-3494 -8742 -1981 0
-2757 -4635 -9019 0
-4905 2063 4445 0
351 -2077 -9369 0
8319 -2342 -7948 0
-7089 8614 -5132 0
2548 -5966 644 0
-8064 -3306 -7527 0
1315 -8037 -1728 0
-4648 -9306 -4630 0
474 5849 -3332 0
6480 -9120 5171 0
-9410 -2972 -2774 0
2148 -1484 2611 0
9383 9709 -1974 0
-7666 -9170 -8702 0
-9896 293 55 0
5745 635 -9877 0
3043 -9238 9770 0
7246 1523 -7179 0
-3287 6816 6711 0
2235 1783 -9336 0
-7341 5257 -9401 0
5909 -6998 7138 0
1980 1462 -6262 0
1083 -8428 -8516 0
3166 2226 1496 0
9586 -4002 -7044 0
-9533 -4553 -7740 0
-170 -1033 -7191 0
5693 8955 -8669 0
8099 -6652 8860 0
5381 691 -2548 0
-1774 -7962 9868 0
-8878 -1137 -2081 0
-614 6409 -8308 0
-3215 3417 3226 0
-4498 8921 921 0
262 1731 -7124 0
-9884 -7204 -2648 0
6776 -60 8761 0
-6918 -2678 -5927 0
2366 -135 9440 0
6975 582 -4802 0
7233 5915 4993 0
-6144 7531 -1326 0
6920 9815 5677 0
1330 -9887 226 0
-1027 -4098 -1353 0
-1355 5073 -5674 0
8301 7394 -6130 0
5549 -9570 6328 0
-1108 9224 9760 0
-3844 5924 6311 0
-9819 5975 6320 0
-7419 8896 1183 0
1565 2592 -3521 0
-5679 -5405 -8103 0
8229 2759 8824 0
-4672 6549 5174 0
-9923 358 1900 0
5557 -5638 -5994 0
918 5574 1310 0
7962 6984 -7593 0
7656 -8661 8798 0
5422 -720 8144 0
4987 4308 -9484 0
6404 136 7911 0
-8675 -6571 -4256 0
6357 -8599 4429 0
241 -3225 2306 0
-1442 9093 8051 0
2967 -4789 -9404 0
3508 1785 5923 0
9344 -3603 7129 0
9676 -2061 -7471 0
6087 1419 9420 0
7426 8726 -9871 0
-7446 263 -5788 0
3694 6572 -4986 0
6622 2040 2030 0
-2640 -3646 -1211 0
-7978 4103 985 0
-4818 2230 -1040 0
4825 1634 -3703 0
9199 8973 7178 0
7091 5538 -1838 0
-9219 3436 -5085 0
371 8776 -8468 0
-6180 2289 5292 0
-9566 -7899 7715 0
-5619 -8662 -7338 0
-3817 -3558 -9269 0
-1489 -1793 2973 0
-7277 -7858 -818 0
8867 -4607 -9160 0
-7751 -5083 4572 0
-6251 4392 -7525 0
1865 6102 -6015 0
1388 -2449 -3694 0
-5315 3681 -7160 0
3575 -3282 -3325 0
9363 5880 5110 0
-7654 -1030 7608 0
5578 9601 2253 0
-8567 -415 7269 0
-1025 3124 8704 0
-6281 -493 -8409 0
-21 7974 9054 0
1764 2983 7271 0
-2933 -8646 230 0
8111 6677 -2837 0
6232 6858 5925 0
7880 -1893 499 0
-9641 6591 8394 0
-1650 6652 4094 0
-6307 5495 -5624 0