(P 7280 0,Just (P 448 4311))
(P 7290 0,Just (P 545 4256))
(P 7300 0,Just (P 6015 811))
(P 7310 0,Just (P 3385 2477))
(P 7320 0,Just (P 1810 3477))
(P 7330 0,Just (P 168 4519))
(P 7340 0,Just (P 6558 494))
(P 7350 0,Just (P 4754 1638))
(P 7360 0,Just (P 5126 1410))
(P 7370 0,Just (P 1007 4015))
(P 7380 0,Just (P 5350 1281))
(P 7390 0,Just (P 6936 287))
(P 7400 0,Just (P 3226 2634))
(P 7410 0,Just (P 5748 1049))
(P 7420 0,Just (P 4457 1870))
(P 7430 0,Just (P 5329 1326))
(P 7440 0,Just (P 6217 772))
(P 7450 0,Just (P 1418 3806))
(P 7460 0,Just (P 1449 3793))
(P 7470 0,Just (P 668 4292))
(P 7480 0,Just (P 6067 892))
(P 7490 0,Just (P 3327 2627))
(P 7500 0,Just (P 7073 270))
(P 7510 0,Just (P 6550 606))
(P 7520 0,Just (P 3422 2586))
(P 7530 0,Just (P 3850 2322))
(P 7540 0,Just (P 1071 4082))
(P 7550 0,Nothing)
(P 7560 0,Just (P 3882 2321))
(P 7570 0,Just (P 2385 3272))
(P 7580 0,Just (P 4571 1899))
(P 7590 0,Just (P 4849 1730))
(P 7600 0,Just (P 6526 678))
(P 7610 0,Just (P 2864 2995))
(P 7620 0,Just (P 3370 2682))
(P 7630 0,Just (P 6581 662))
(P 7640 0,Just (P 5659 1250))
(P 7650 0,Just (P 4183 2188))
(P 7660 0,Just (P 3513 2617))
(P 7670 0,Just (P 2415 3316))
(P 7680 0,Just (P 1791 3716))
(P 7690 0,Just (P 5773 1210))
(P 7700 0,Just (P 6548 727))
(P 7710 0,Just (P 2919 3023))
(P 7720 0,Just (P 1706 3795))
(P 7730 0,Just (P 5745 1253))
(P 7740 0,Just (P 3563 2636))
(P 7750 0,Just (P 3834 2471))
(P 7760 0,Just (P 5881 1186))
(P 7770 0,Nothing)
(P 7780 0,Just (P 35 4887))
(P 7790 0,Just (P 6508 809))
(P 7800 0,Just (P 5656 1353))
(P 7810 0,Just (P 2877 3113))
(P 7820 0,Nothing)
(P 7830 0,Just (P 6921 574))
(P 7840 0,Just (P 4303 2232))
(P 7850 0,Nothing)
(P 7860 0,Nothing)
(P 7870 0,Just (P 2981 3085))
(P 7880 0,Just (P 4440 2171))
(P 7890 0,Just (P 3082 3034))
(P 7900 0,Just (P 3253 2932))
(P 7910 0,Just (P 7492 264))
(P 7920 0,Just (P 592 4624))
(P 7930 0,Just (P 1226 4230))
(P 7940 0,Just (P 7112 523))
(P 7950 0,Just (P 2362 3526))
(P 7960 0,Nothing)
(P 7970 0,Just (P 5926 1290))
(P 7980 0,Just (P 5180 1767))
(P 7990 0,Just (P 7712 176))
(P 8000 0,Just (P 5861 1350))
(P 8010 0,Just (P 6137 1182))
(P 8020 0,Just (P 2055 3764))
(P 8030 0,Just (P 2949 3206))
(P 8040 0,Just (P 1644 4036))
(P 8050 0,Just (P 6827 772))
(P 8060 0,Just (P 703 4642))
(P 8070 0,Just (P 4714 2118))
(P 8080 0,Just (P 5080 1893))
(P 8090 0,Just (P 8048 27))
(P 8100 0,Just (P 1951 3880))
(P 8110 0,Just (P 3616 2836))
(P 8120 0,Just (P 1700 4051))
(P 8130 0,Just (P 2436 3593))
(P 8140 0,Nothing)
(P 8150 0,Just (P 397 4892))
(P 8160 0,Just (P 7699 291))
(P 8170 0,Just (P 3352 3040))
(P 8180 0,Just (P 1494 4219))
(P 8190 0,Just (P 1537 4198))
(P 8200 0,Just (P 1853 4005))
(P 8210 0,Just (P 7927 179))
(P 8220 0,Just (P 1063 4516))
(P 8230 0,Just (P 7603 396))
(P 8240 0,Just (P 5736 1580))
(P 8250 0,Just (P 4745 2212))
(P 8260 0,Just (P 333 5002))
(P 8270 0,Just (P 4738 2229))
(P 8280 0,Nothing)
(P 8290 0,Nothing)
(P 8300 0,Just (P 5581 1716))
(P 8310 0,Just (P 6144 1367))
(P 8320 0,Just (P 63 5210))
(P 8330 0,Just (P 647 4848))
(P 8340 0,Just (P 4331 2530))
(P 8350 0,Just (P 8097 160))
(P 8360 0,Just (P 5 5272))
(P 8370 0,Just (P 829 4758))
(P 8380 0,Just (P 5883 1576))
(P 8390 0,Just (P 4354 2547))
(P 8400 0,Just (P 2300 3849))
(P 8410 0,Just (P 12 5299))
(P 8420 0,Just (P 6384 1285))
(P 8430 0,Just (P 834 4793))
(P 8440 0,Just (P 7813 396))
(P 8450 0,Just (P 4986 2186))
(P 8460 0,Just (P 2790 3578))
(P 8470 0,Nothing)
(P 8480 0,Just (P 6111 1495))
(P 8490 0,Just (P 5273 2030))
(P 8500 0,Just (P 4890 2278))
(P 8510 0,Just (P 5623 1822))
(P 8520 0,Just (P 512 5053))
(P 8530 0,Just (P 5025 2212))
(P 8540 0,Just (P 489 5080))
(P 8550 0,Just (P 4460 2581))
(P 8560 0,Just (P 2189 4020))
(P 8570 0,Just (P 4832 2359))
(P 8580 0,Just (P 1919 4203))
(P 8590 0,Just (P 5600 1887))
(P 8600 0,Just (P 3199 3408))
(P 8610 0,Just (P 2076 4123))
(P 8620 0,Just (P 1794 4307))
(P 8630 0,Just (P 2123 4106))
(P 8640 0,Just (P 537 5113))
(P 8650 0,Just (P 5937 1712))
(P 8660 0,Just (P 1825 4313))
(P 8670 0,Just (P 5761 1836))
(P 8680 0,Just (P 5213 2188))
(P 8690 0,Just (P 6437 1422))
(P 8700 0,Just (P 3445 3316))
(P 8710 0,Just (P 3055 3568))
(P 8720 0,Just (P 3148 3516))
(P 8730 0,Just (P 2598 3869))
(P 8740 0,Just (P 5604 1979))
(P 8750 0,Just (P 8518 147))
(P 8760 0,Just (P 7700 669))
(P 8770 0,Just (P 486 5227))
(P 8780 0,Just (P 4454 2730))
(P 8790 0,Just (P 1768 4431))
(P 8800 0,Just (P 7559 783))
(P 8810 0,Just (P 1062 4889))
(P 8820 0,Just (P 7824 629))
(P 8830 0,Just (P 3976 3063))
(P 8840 0,Just (P 7948 563))
(P 8850 0,Just (P 3156 3593))
(P 8860 0,Just (P 2521 4000))
(P 8870 0,Just (P 8752 75))
(P 8880 0,Nothing)
(P 8890 0,Just (P 4800 2581))
(P 8900 0,Just (P 8525 237))
(P 8910 0,Just (P 4590 2726))
(P 8920 0,Just (P 6066 1801))
(P 8930 0,Just (P 2515 4048))
(P 8940 0,Just (P 2764 3897))
(P 8950 0,Just (P 3554 3405))
(P 8960 0,Just (P 7908 664))
(P 8970 0,Just (P 2317 4198))
(P 8980 0,Just (P 4207 3012))
(P 8990 0,Just (P 4201 3022))
(P 9000 0,Just (P 5346 2306))
(P 9010 0,Just (P 6868 1352))
(P 9020 0,Nothing)
(P 9030 0,Nothing)
(P 9040 0,Just (P 2303 4251))
(P 9050 0,Just (P 116 5637))
(P 9060 0,Just (P 3699 3383))
(P 9070 0,Just (P 8307 482))
(P 9080 0,Just (P 5421 2309))
(P 9090 0,Just (P 2592 4100))
(P 9100 0,Just (P 4728 2759))
(P 9110 0,Just (P 8624 307))
(P 9120 0,Just (P 8458 418))
(P 9130 0,Just (P 2279 4323))
(P 9140 0,Just (P 5310 2417))
(P 9150 0,Just (P 4448 2967))
(P 9160 0,Just (P 3829 3364))
(P 9170 0,Just (P 926 5202))
(P 9180 0,Just (P 7125 1297))
(P 9190 0,Just (P 3567 3548))
(P 9200 0,Just (P 2281 4366))
(P 9210 0,Just (P 8152 668))
(P 9220 0,Just (P 7368 1169))
(P 9230 0,Just (P 7195 1284))
(P 9240 0,Just (P 1129 5118))
(P 9250 0,Just (P 852 5299))
(P 9260 0,Just (P 5829 2165))
(P 9270 0,Just (P 438 5573))
(P 9280 0,Just (P 1305 5032))
(P 9290 0,Just (P 1217 5094))
(P 9300 0,Just (P 6500 1767))
(P 9310 0,Just (P 419 5610))
(P 9320 0,Nothing)
(P 9330 0,Just (P 5733 2270))
(P 9340 0,Just (P 2226 4489))
(P 9350 0,Nothing)
(P 9360 0,Just (P 5338 2538))
(P 9370 0,Just (P 1045 5253))
(P 9380 0,Just (P 8239 720))
(P 9390 0,Just (P 7164 1405))
(P 9400 0,Just (P 544 5588))
(P 9410 0,Just (P 7699 1080))
(P 9420 0,Just (P 1114 5241))
(P 9430 0,Just (P 3224 3916))
(P 9440 0,Just (P 6559 1818))
(P 9450 0,Just (P 1775 4843))
(P 9460 0,Just (P 8749 449))
(P 9470 0,Just (P 6339 1976))
(P 9480 0,Just (P 6596 1820))
(P 9490 0,Nothing)
(P 9500 0,Just (P 2891 4170))
(P 9510 0,Just (P 6561 1861))
(P 9520 0,Just (P 5577 2488))
(P 9530 0,Just (P 2321 4549))
(P 9540 0,Just (P 6745 1764))
(P 9550 0,Just (P 4907 2930))
(P 9560 0,Just (P 5134 2793))
(P 9570 0,Just (P 1947 4810))
(P 9580 0,Just (P 567 5687))
(P 9590 0,Just (P 36 6028))
(P 9600 0,Just (P 948 5459))
(P 9610 0,Just (P 1957 4829))
(P 9620 0,Just (P 3369 3944))
(P 9630 0,Just (P 2619 4424))
(P 9640 0,Just (P 212 5949))
(P 9650 0,Just (P 8394 793))
(P 9660 0,Just (P 8064 1007))
(P 9670 0,Just (P 4507 3258))
(P 9680 0,Just (P 5103 2888))
(P 9690 0,Just (P 9431 164))
(P 9700 0,Just (P 3608 3844))
(P 9710 0,Just (P 7717 1258))
(P 9720 0,Just (P 8575 723))
(P 9730 0,Just (P 302 5949))
(P 9740 0,Just (P 1865 4969))
(P 9750 0,Just (P 5064 2957))
(P 9760 0,Just (P 9144 389))
(P 9770 0,Just (P 7426 1479))
(P 9780 0,Just (P 6227 2242))
(P 9790 0,Just (P 4064 3613))
(P 9800 0,Just (P 4691 3224))
(P 9810 0,Just (P 9706 66))
(P 9820 0,Just (P 6977 1794))
(P 9830 0,Just (P 8534 818))
(P 9840 0,Just (P 3778 3825))
(P 9850 0,Just (P 162 6113))
(P 9860 0,Just (P 8624 780))
(P 9870 0,Just (P 8002 1179))
(P 9880 0,Nothing)
(P 9890 0,Just (P 8634 793))
(P 9900 0,Just (P 938 5655))