(P 7272 0,Just (P 2407 3070))
(P 7282 0,Just (P 6411 550))
(P 7292 0,Nothing)
(P 7302 0,Just (P 4012 2076))
(P 7312 0,Just (P 1978 3366))
(P 7322 0,Just (P 3005 2724))
(P 7332 0,Just (P 1459 3706))
(P 7342 0,Just (P 6434 573))
(P 7352 0,Nothing)
(P 7362 0,Just (P 2215 3248))
(P 7372 0,Just (P 7154 138))
(P 7382 0,Just (P 3273 2593))
(P 7392 0,Just (P 5459 1220))
(P 7402 0,Just (P 2743 2940))
(P 7412 0,Just (P 4661 1736))
(P 7422 0,Just (P 1476 3752))
(P 7432 0,Just (P 2101 3364))
(P 7442 0,Just (P 3683 2372))
(P 7452 0,Nothing)
(P 7462 0,Just (P 5919 974))
(P 7472 0,Just (P 4141 2102))
(P 7482 0,Just (P 268 4552))
(P 7492 0,Just (P 2107 3398))
(P 7502 0,Just (P 597 4357))
(P 7512 0,Just (P 6764 472))
(P 7522 0,Just (P 1601 3736))
(P 7532 0,Just (P 5740 1131))
(P 7542 0,Just (P 938 4167))
(P 7552 0,Just (P 7339 135))
(P 7562 0,Just (P 6867 439))
(P 7572 0,Just (P 6341 777))
(P 7582 0,Just (P 1327 3947))
(P 7592 0,Just (P 183 4675))
(P 7602 0,Just (P 1943 3571))
(P 7612 0,Just (P 5945 1052))
(P 7622 0,Just (P 286 4629))
(P 7632 0,Just (P 5168 1555))
(P 7642 0,Just (P 7096 345))
(P 7652 0,Just (P 861 4285))
(P 7662 0,Just (P 7430 147))
(P 7672 0,Just (P 7096 364))
(P 7682 0,Just (P 7377 193))
(P 7692 0,Just (P 2174 3482))
(P 7702 0,Just (P 5614 1318))
(P 7712 0,Nothing)
(P 7722 0,Just (P 3174 2870))
(P 7732 0,Just (P 2577 3253))
(P 7742 0,Just (P 3712 2543))
(P 7752 0,Just (P 97 4830))
(P 7762 0,Just (P 7471 184))
(P 7772 0,Just (P 1926 3689))
(P 7782 0,Just (P 4575 2024))
(P 7792 0,Just (P 1023 4271))
(P 7802 0,Just (P 7497 193))
(P 7812 0,Just (P 3299 2848))
(P 7822 0,Just (P 6642 745))
(P 7832 0,Just (P 5316 1588))
(P 7842 0,Just (P 820 4431))
(P 7852 0,Just (P 7185 421))
(P 7862 0,Just (P 1867 3783))
(P 7872 0,Just (P 2557 3354))
(P 7882 0,Just (P 102 4909))
(P 7892 0,Just (P 7737 98))
(P 7902 0,Just (P 3693 2656))
(P 7912 0,Nothing)
(P 7922 0,Just (P 6569 854))
(P 7932 0,Just (P 7554 239))
(P 7942 0,Just (P 6984 605))
(P 7952 0,Just (P 7823 82))
(P 7962 0,Just (P 2658 3347))
(P 7972 0,Just (P 4465 2213))
(P 7982 0,Just (P 1177 4294))
(P 7992 0,Just (P 5778 1397))
(P 8002 0,Just (P 663 4631))
(P 8012 0,Just (P 7759 160))
(P 8022 0,Just (P 3509 2848))
(P 8032 0,Just (P 5671 1490))
(P 8042 0,Nothing)
(P 8052 0,Just (P 5371 1692))
(P 8062 0,Just (P 3894 2630))
(P 8072 0,Just (P 7648 268))
(P 8082 0,Just (P 2231 3692))
(P 8092 0,Just (P 298 4918))
(P 8102 0,Just (P 5906 1386))
(P 8112 0,Just (P 792 4619))
(P 8122 0,Just (P 7238 558))
(P 8132 0,Just (P 8012 76))
(P 8142 0,Just (P 589 4766))
(P 8152 0,Just (P 4268 2451))
(P 8162 0,Just (P 6229 1220))
(P 8172 0,Just (P 2909 3321))
(P 8182 0,Nothing)
(P 8192 0,Just (P 7944 157))
(P 8202 0,Just (P 3549 2936))
(P 8212 0,Just (P 4913 2082))
(P 8222 0,Just (P 8196 17))
(P 8232 0,Just (P 4727 2212))
(P 8242 0,Just (P 1781 4077))
(P 8252 0,Just (P 3447 3032))
(P 8262 0,Just (P 4555 2339))
(P 8272 0,Just (P 4388 2451))
(P 8282 0,Just (P 6530 1106))
(P 8292 0,Just (P 67 5190))
(P 8302 0,Just (P 1272 4436))
(P 8312 0,Nothing)
(P 8322 0,Just (P 2178 3877))
(P 8332 0,Just (P 1608 4243))
(P 8342 0,Just (P 7201 720))
(P 8352 0,Just (P 6552 1136))
(P 8362 0,Just (P 95 5216))
(P 8372 0,Just (P 2182 3906))
(P 8382 0,Just (P 8256 80))
(P 8392 0,Nothing)
(P 8402 0,Just (P 7531 550))
(P 8412 0,Just (P 1596 4301))
(P 8422 0,Just (P 8264 100))
(P 8432 0,Just (P 4356 2572))
(P 8442 0,Just (P 6192 1420))
(P 8452 0,Just (P 6649 1138))
(P 8462 0,Just (P 817 4824))
(P 8472 0,Just (P 1345 4497))
(P 8482 0,Nothing)
(P 8492 0,Just (P 5711 1755))
(P 8502 0,Just (P 5043 2183))
(P 8512 0,Just (P 6677 1158))
(P 8522 0,Just (P 6161 1490))
(P 8532 0,Just (P 2827 3600))
(P 8542 0,Just (P 7820 456))
(P 8552 0,Just (P 2344 3917))
(P 8562 0,Nothing)
(P 8572 0,Just (P 2585 3778))
(P 8582 0,Just (P 1826 4263))
(P 8592 0,Just (P 5977 1650))
(P 8602 0,Nothing)
(P 8612 0,Just (P 7551 670))
(P 8622 0,Just (P 1405 4554))
(P 8632 0,Just (P 5691 1856))
(P 8642 0,Just (P 5333 2088))
(P 8652 0,Just (P 4478 2634))
(P 8662 0,Just (P 373 5230))
(P 8672 0,Nothing)
(P 8682 0,Just (P 197 5354))
(P 8692 0,Just (P 7784 573))
(P 8702 0,Just (P 3707 3152))
(P 8712 0,Just (P 5191 2222))
(P 8722 0,Just (P 1486 4566))
(P 8732 0,Just (P 342 5294))
(P 8742 0,Just (P 8413 208))
(P 8752 0,Just (P 4892 2436))
(P 8762 0,Just (P 705 5084))
(P 8772 0,Just (P 7289 936))
(P 8782 0,Just (P 4418 2754))
(P 8792 0,Just (P 7926 547))
(P 8802 0,Just (P 1024 4908))
(P 8812 0,Just (P 7326 938))
(P 8822 0,Just (P 1009 4930))
(P 8832 0,Just (P 8476 225))
(P 8842 0,Just (P 8456 244))
(P 8852 0,Just (P 1134 4870))
(P 8862 0,Just (P 5953 1836))
(P 8872 0,Just (P 832 5073))
(P 8882 0,Just (P 8244 403))
(P 8892 0,Just (P 5358 2230))
(P 8902 0,Just (P 8722 114))
(P 8912 0,Just (P 3348 3511))
(P 8922 0,Just (P 5916 1897))
(P 8932 0,Just (P 2016 4364))
(P 8942 0,Just (P 1606 4629))
(P 8952 0,Just (P 7054 1198))
(P 8962 0,Just (P 889 5094))
(P 8972 0,Just (P 7857 704))
(P 8982 0,Just (P 1933 4448))
(P 8992 0,Just (P 307 5480))
(P 9002 0,Just (P 918 5101))
(P 9012 0,Just (P 8470 342))
(P 9022 0,Just (P 6547 1562))
(P 9032 0,Just (P 2793 3937))
(P 9042 0,Just (P 4567 2824))
(P 9052 0,Just (P 6253 1766))
(P 9062 0,Just (P 1490 4778))
(P 9072 0,Just (P 4189 3081))
(P 9082 0,Just (P 7745 844))
(P 9092 0,Just (P 7844 788))
(P 9102 0,Just (P 4140 3131))
(P 9112 0,Just (P 7260 1169))
(P 9122 0,Just (P 8780 216))
(P 9132 0,Just (P 3572 3508))
(P 9142 0,Just (P 1833 4612))
(P 9152 0,Just (P 8240 576))
(P 9162 0,Just (P 6107 1928))
(P 9172 0,Just (P 8052 707))
(P 9182 0,Just (P 1892 4600))
(P 9192 0,Just (P 5996 2017))
(P 9202 0,Just (P 6072 1975))
(P 9212 0,Nothing)
(P 9222 0,Just (P 7500 1087))
(P 9232 0,Just (P 2839 4034))
(P 9242 0,Just (P 576 5468))
(P 9252 0,Just (P 244 5684))
(P 9262 0,Just (P 4064 3280))
(P 9272 0,Nothing)
(P 9282 0,Just (P 5571 2342))
(P 9292 0,Just (P 4894 2775))
(P 9302 0,Just (P 4210 3213))
(P 9312 0,Nothing)
(P 9322 0,Just (P 2273 4448))
(P 9332 0,Just (P 8298 653))
(P 9342 0,Just (P 4176 3260))
(P 9352 0,Nothing)
(P 9362 0,Just (P 1907 4704))
(P 9372 0,Just (P 5358 2533))
(P 9382 0,Just (P 2705 4213))
(P 9392 0,Just (P 5998 2142))
(P 9402 0,Just (P 9138 167))
(P 9412 0,Just (P 9283 82))
(P 9422 0,Just (P 111 5875))
(P 9432 0,Just (P 4904 2857))
(P 9442 0,Just (P 2762 4215))
(P 9452 0,Just (P 6056 2143))
(P 9462 0,Just (P 7366 1323))
(P 9472 0,Just (P 6718 1738))
(P 9482 0,Just (P 9185 188))
(P 9492 0,Just (P 1034 5337))
(P 9502 0,Just (P 1608 4981))
(P 9512 0,Just (P 5000 2847))
(P 9522 0,Just (P 6288 2041))
(P 9532 0,Just (P 2521 4424))
(P 9542 0,Just (P 786 5525))
(P 9552 0,Just (P 5248 2716))
(P 9562 0,Just (P 8041 960))
(P 9572 0,Just (P 2382 4537))
(P 9582 0,Just (P 3281 3976))
(P 9592 0,Just (P 229 5908))
(P 9602 0,Just (P 2819 4280))
(P 9612 0,Just (P 5300 2721))
(P 9622 0,Just (P 7112 1584))
(P 9632 0,Just (P 202 5950))
(P 9642 0,Nothing)
(P 9652 0,Just (P 1828 4937))
(P 9662 0,Just (P 2735 4371))
(P 9672 0,Just (P 7764 1204))
(P 9682 0,Just (P 2888 4287))
(P 9692 0,Just (P 4816 3077))
(P 9702 0,Just (P 7908 1132))
(P 9712 0,Just (P 9698 9))
(P 9722 0,Just (P 3373 4006))
(P 9732 0,Just (P 2873 4328))
(P 9742 0,Just (P 7649 1321))
(P 9752 0,Nothing)
(P 9762 0,Just (P 7390 1497))
(P 9772 0,Just (P 4365 3412))
(P 9782 0,Just (P 8827 603))
(P 9792 0,Just (P 7723 1306))
(P 9802 0,Just (P 4528 3328))
(P 9812 0,Just (P 3485 3992))
(P 9822 0,Just (P 8740 683))
(P 9832 0,Just (P 9726 67))
(P 9842 0,Just (P 8467 868))
(P 9852 0,Nothing)
(P 9862 0,Just (P 8948 577))
(P 9872 0,Just (P 9156 452))
(P 9882 0,Nothing)
(P 9892 0,Just (P 9186 446))
(P 9902 0,Just (P 3764 3873))
(P 9912 0,Just (P 7982 1218))
(P 9922 0,Just (P 2762 4518))