(P 7275 0,Just (P 6020 792))
(P 7285 0,Nothing)
(P 7295 0,Just (P 6329 610))
(P 7305 0,Just (P 3289 2534))
(P 7315 0,Just (P 600 4237))
(P 7325 0,Just (P 1628 3595))
(P 7335 0,Just (P 4974 1490))
(P 7345 0,Just (P 6295 663))
(P 7355 0,Just (P 3086 2694))
(P 7365 0,Just (P 6285 682))
(P 7375 0,Just (P 101 4590))
(P 7385 0,Just (P 4707 1690))
(P 7395 0,Just (P 3815 2259))
(P 7405 0,Just (P 2250 3253))
(P 7415 0,Just (P 5322 1321))
(P 7425 0,Just (P 3103 2727))
(P 7435 0,Just (P 2681 3000))
(P 7445 0,Just (P 632 4299))
(P 7455 0,Just (P 7280 111))
(P 7465 0,Just (P 6236 776))
(P 7475 0,Just (P 749 4244))
(P 7485 0,Just (P 2133 3377))
(P 7495 0,Just (P 3570 2477))
(P 7505 0,Just (P 3041 2817))
(P 7515 0,Just (P 1046 4082))
(P 7525 0,Just (P 5199 1468))
(P 7535 0,Just (P 7158 238))
(P 7545 0,Just (P 7116 271))
(P 7555 0,Just (P 3126 2795))
(P 7565 0,Just (P 6949 389))
(P 7575 0,Just (P 2214 3383))
(P 7585 0,Just (P 1065 4114))
(P 7595 0,Just (P 6087 952))
(P 7605 0,Just (P 3258 2743))
(P 7615 0,Just (P 4141 2192))
(P 7625 0,Nothing)
(P 7635 0,Just (P 6005 1029))
(P 7645 0,Just (P 203 4696))
(P 7655 0,Just (P 3980 2319))
(P 7665 0,Just (P 1643 3800))
(P 7675 0,Just (P 483 4538))
(P 7685 0,Just (P 6318 863))
(P 7695 0,Nothing)
(P 7705 0,Just (P 7072 400))
(P 7715 0,Just (P 3804 2468))
(P 7725 0,Just (P 3418 2718))
(P 7735 0,Nothing)
(P 7745 0,Just (P 2433 3352))
(P 7755 0,Just (P 3977 2384))
(P 7765 0,Just (P 7731 22))
(P 7775 0,Just (P 7462 198))
(P 7785 0,Just (P 6524 796))
(P 7795 0,Just (P 3656 2612))
(P 7805 0,Just (P 3789 2534))
(P 7815 0,Nothing)
(P 7825 0,Just (P 5752 1308))
(P 7835 0,Just (P 7709 80))
(P 7845 0,Just (P 7009 528))
(P 7855 0,Just (P 1253 4166))
(P 7865 0,Just (P 6113 1106))
(P 7875 0,Just (P 3751 2602))
(P 7885 0,Just (P 3847 2548))
(P 7895 0,Nothing)
(P 7905 0,Just (P 5915 1256))
(P 7915 0,Just (P 1064 4323))
(P 7925 0,Just (P 5776 1356))
(P 7935 0,Just (P 1664 3957))
(P 7945 0,Just (P 4516 2164))
(P 7955 0,Just (P 6791 735))
(P 7965 0,Just (P 1894 3831))
(P 7975 0,Just (P 1493 4090))
(P 7985 0,Just (P 500 4723))
(P 7995 0,Just (P 1347 4195))
(P 8005 0,Just (P 1076 4372))
(P 8015 0,Nothing)
(P 8025 0,Just (P 7872 97))
(P 8035 0,Just (P 2770 3322))
(P 8045 0,Just (P 3833 2658))
(P 8055 0,Just (P 4488 2251))
(P 8065 0,Just (P 6262 1138))
(P 8075 0,Just (P 728 4636))
(P 8085 0,Just (P 5892 1384))
(P 8095 0,Just (P 7110 622))
(P 8105 0,Just (P 7413 437))
(P 8115 0,Just (P 4456 2309))
(P 8125 0,Just (P 5681 1542))
(P 8135 0,Just (P 4850 2073))
(P 8145 0,Just (P 313 4942))
(P 8155 0,Just (P 264 4979))
(P 8165 0,Just (P 658 4737))
(P 8175 0,Just (P 1107 4460))
(P 8185 0,Just (P 6162 1277))
(P 8195 0,Just (P 7879 200))
(P 8205 0,Just (P 3427 3015))
(P 8215 0,Just (P 7899 200))
(P 8225 0,Just (P 5598 1658))
(P 8235 0,Just (P 7627 384))
(P 8245 0,Just (P 5740 1581))
(P 8255 0,Just (P 618 4819))
(P 8265 0,Just (P 991 4590))
(P 8275 0,Just (P 1505 4272))
(P 8285 0,Just (P 1586 4227))
(P 8295 0,Just (P 951 4634))
(P 8305 0,Just (P 3573 2986))
(P 8315 0,Just (P 3298 3166))
(P 8325 0,Just (P 5068 2055))
(P 8335 0,Just (P 4809 2225))
(P 8345 0,Just (P 5385 1868))
(P 8355 0,Just (P 1710 4193))
(P 8365 0,Nothing)
(P 8375 0,Just (P 3480 3089))
(P 8385 0,Just (P 4765 2284))
(P 8395 0,Just (P 4200 2647))
(P 8405 0,Just (P 5255 1988))
(P 8415 0,Just (P 5688 1721))
(P 8425 0,Just (P 5741 1694))
(P 8435 0,Just (P 825 4802))
(P 8445 0,Just (P 239 5178))
(P 8455 0,Just (P 1856 4164))
(P 8465 0,Just (P 1416 4448))
(P 8475 0,Just (P 2411 3826))
(P 8485 0,Nothing)
(P 8495 0,Just (P 594 4985))
(P 8505 0,Just (P 7938 358))
(P 8515 0,Just (P 3192 3359))
(P 8525 0,Just (P 6497 1280))
(P 8535 0,Just (P 5225 2089))
(P 8545 0,Just (P 4832 2343))
(P 8555 0,Just (P 2942 3542))
(P 8565 0,Just (P 7453 702))
(P 8575 0,Just (P 8541 22))
(P 8585 0,Just (P 992 4791))
(P 8595 0,Just (P 7087 952))
(P 8605 0,Just (P 6599 1266))
(P 8615 0,Just (P 2729 3714))
(P 8625 0,Nothing)
(P 8635 0,Just (P 2483 3882))
(P 8645 0,Just (P 3678 3134))
(P 8655 0,Just (P 496 5148))
(P 8665 0,Just (P 3635 3174))
(P 8675 0,Just (P 1038 4819))
(P 8685 0,Just (P 1533 4513))
(P 8695 0,Just (P 8482 135))
(P 8705 0,Just (P 229 5348))
(P 8715 0,Just (P 2190 4117))
(P 8725 0,Just (P 4570 2622))
(P 8735 0,Just (P 765 5029))
(P 8745 0,Just (P 2758 3778))
(P 8755 0,Nothing)
(P 8765 0,Just (P 4117 2933))
(P 8775 0,Just (P 7132 1037))
(P 8785 0,Just (P 460 5253))
(P 8795 0,Just (P 3125 3578))
(P 8805 0,Just (P 5845 1868))
(P 8815 0,Just (P 5465 2114))
(P 8825 0,Just (P 7138 1065))
(P 8835 0,Just (P 5498 2106))
(P 8845 0,Nothing)
(P 8855 0,Just (P 6990 1177))
(P 8865 0,Just (P 453 5308))
(P 8875 0,Just (P 5972 1832))
(P 8885 0,Nothing)
(P 8895 0,Just (P 7498 882))
(P 8905 0,Just (P 380 5379))
(P 8915 0,Just (P 8171 470))
(P 8925 0,Just (P 2459 4080))
(P 8935 0,Just (P 4742 2646))
(P 8945 0,Just (P 463 5352))
(P 8955 0,Just (P 2245 4234))
(P 8965 0,Just (P 7216 1104))
(P 8975 0,Just (P 8605 234))
(P 8985 0,Just (P 3792 3277))
(P 8995 0,Just (P 8052 595))
(P 9005 0,Just (P 3739 3323))
(P 9015 0,Just (P 4589 2793))
(P 9025 0,Just (P 254 5534))
(P 9035 0,Just (P 1296 4883))
(P 9045 0,Just (P 284 5528))
(P 9055 0,Just (P 8168 560))
(P 9065 0,Just (P 8714 222))
(P 9075 0,Just (P 2390 4218))
(P 9085 0,Just (P 8155 587))
(P 9095 0,Just (P 4401 2962))
(P 9105 0,Just (P 3373 3617))
(P 9115 0,Just (P 3451 3574))
(P 9125 0,Just (P 1841 4596))
(P 9135 0,Nothing)
(P 9145 0,Just (P 6396 1735))
(P 9155 0,Nothing)
(P 9165 0,Just (P 7424 1099))
(P 9175 0,Just (P 1308 4964))
(P 9185 0,Just (P 4713 2822))
(P 9195 0,Just (P 783 5308))
(P 9205 0,Just (P 1877 4624))
(P 9215 0,Just (P 8382 526))
(P 9225 0,Just (P 8202 646))
(P 9235 0,Just (P 6519 1714))
(P 9245 0,Just (P 2284 4392))
(P 9255 0,Nothing)
(P 9265 0,Just (P 236 5697))
(P 9275 0,Just (P 8580 439))
(P 9285 0,Just (P 1527 4895))
(P 9295 0,Just (P 7062 1409))
(P 9305 0,Nothing)
(P 9315 0,Just (P 4489 3045))
(P 9325 0,Just (P 1863 4708))
(P 9335 0,Just (P 2091 4571))
(P 9345 0,Just (P 337 5684))
(P 9355 0,Just (P 8696 416))
(P 9365 0,Just (P 3549 3670))
(P 9375 0,Just (P 6508 1809))
(P 9385 0,Just (P 3971 3416))
(P 9395 0,Just (P 387 5684))
(P 9405 0,Just (P 5716 2328))
(P 9415 0,Nothing)
(P 9425 0,Just (P 3862 3510))
(P 9435 0,Just (P 9233 128))
(P 9445 0,Just (P 9388 36))
(P 9455 0,Just (P 5195 2688))
(P 9465 0,Just (P 6654 1774))
(P 9475 0,Just (P 127 5898))
(P 9485 0,Just (P 6549 1853))
(P 9495 0,Just (P 3061 4060))
(P 9505 0,Just (P 4372 3239))
(P 9515 0,Just (P 9042 299))
(P 9525 0,Just (P 2495 4436))
(P 9535 0,Just (P 2546 4410))
(P 9545 0,Just (P 6067 2195))
(P 9555 0,Just (P 6167 2138))
(P 9565 0,Just (P 4036 3489))
(P 9575 0,Just (P 3087 4094))
(P 9585 0,Just (P 4425 3256))
(P 9595 0,Just (P 7605 1256))
(P 9605 0,Just (P 432 5788))
(P 9615 0,Just (P 792 5567))
(P 9625 0,Just (P 8296 839))
(P 9635 0,Just (P 4703 3112))
(P 9645 0,Just (P 8176 927))
(P 9655 0,Just (P 6104 2241))
(P 9665 0,Just (P 7046 1653))
(P 9675 0,Just (P 4721 3126))
(P 9685 0,Just (P 2303 4658))
(P 9695 0,Just (P 5256 2801))
(P 9705 0,Just (P 1434 5219))
(P 9715 0,Just (P 6901 1776))
(P 9725 0,Just (P 3936 3653))
(P 9735 0,Just (P 9252 305))
(P 9745 0,Just (P 5951 2394))
(P 9755 0,Just (P 7397 1488))
(P 9765 0,Just (P 1695 5092))
(P 9775 0,Just (P 1027 5520))
(P 9785 0,Nothing)
(P 9795 0,Just (P 5342 2810))
(P 9805 0,Just (P 9668 87))
(P 9815 0,Just (P 1016 5552))
(P 9825 0,Just (P 6144 2323))
(P 9835 0,Just (P 1041 5549))
(P 9845 0,Just (P 2357 4725))
(P 9855 0,Just (P 7759 1323))
(P 9865 0,Just (P 7564 1452))
(P 9875 0,Just (P 5812 2564))
(P 9885 0,Just (P 3343 4128))
(P 9895 0,Just (P 5857 2548))
(P 9905 0,Just (P 3379 4118))