user=mdettweiler [2021-06-13 00:54:28] 831*2^1607665-1 is not prime. Res64: B26CA1517954F3BA Time : 0.0 sec. user=mdettweiler [2021-06-13 00:54:28] 871*2^1607665-1 is not prime. Res64: 558DB70FC057F529 Time : 0.0 sec. user=mdettweiler [2021-06-13 00:54:29] 825*2^1607666-1 is not prime. Res64: 0328A8C05A97C040 Time : 0.0 sec. user=mdettweiler [2021-06-13 00:54:29] 957*2^1607665-1 is not prime. Res64: 7AB4F3D889EFA5C5 Time : 0.0 sec. user=mdettweiler [2021-06-13 00:54:29] 831*2^1607666-1 is not prime. Res64: 6D0DE65A1CF3204D Time : 0.0 sec. user=mdettweiler [2021-06-13 00:54:29] 677*2^1607666-1 is not prime. Res64: 491001803839973D Time : 0.0 sec. user=mdettweiler [2021-06-13 00:54:30] 851*2^1607666-1 is not prime. Res64: 9AE494A3A7FB4A21 Time : 0.0 sec. user=mdettweiler [2021-06-13 00:54:30] 713*2^1607666-1 is not prime. Res64: 03A6B6D861053A1A Time : 0.0 sec. user=mdettweiler [2021-06-13 00:54:30] 893*2^1607666-1 is not prime. Res64: 4E53E1E32F627276 Time : 0.0 sec. user=mdettweiler [2021-06-13 00:54:31] 917*2^1607666-1 is not prime. Res64: 2501AB9B829033F4 Time : 0.0 sec. user=mdettweiler [2021-06-13 01:54:19] 835*2^1607667-1 is not prime. Res64: FFBFEC0B6C59A731 Time : 0.0 sec. user=mdettweiler [2021-06-13 01:54:20] 649*2^1607667-1 is not prime. Res64: 9C407782605E0B9D Time : 0.0 sec. user=mdettweiler [2021-06-13 01:54:21] 879*2^1607667-1 is not prime. Res64: 8844B5EE070D7B61 Time : 0.0 sec. user=mdettweiler [2021-06-13 01:54:21] 741*2^1607667-1 is not prime. Res64: 48F068DC640187FC Time : 0.0 sec. user=mdettweiler [2021-06-13 01:54:22] 931*2^1607667-1 is not prime. Res64: F08D70C371BDE5CC Time : 0.0 sec. user=mdettweiler [2021-06-13 01:54:23] 775*2^1607667-1 is not prime. Res64: F6B54AC815F7E94C Time : 0.0 sec. user=mdettweiler [2021-06-13 01:54:23] 961*2^1607667-1 is not prime. Res64: 4F71EA09E54C3EA3 Time : 0.0 sec. user=mdettweiler [2021-06-13 01:54:24] 805*2^1607667-1 is not prime. Res64: DD0A6EE22EF5AD8B Time : 0.0 sec. user=mdettweiler [2021-06-13 01:54:25] 603*2^1607668-1 is not prime. Res64: D5605E88E4CE3A5D Time : 0.0 sec. user=mdettweiler [2021-06-13 01:54:26] 819*2^1607667-1 is not prime. Res64: 6C31775912601DC7 Time : 0.0 sec. user=mdettweiler [2021-06-13 02:54:55] 677*2^1607668-1 is not prime. Res64: 56F802ED5774B5AB Time : 0.0 sec. user=mdettweiler [2021-06-13 02:54:56] 687*2^1607668-1 is not prime. Res64: 87C641597B489BE2 Time : 0.0 sec. user=mdettweiler [2021-06-13 02:54:56] 813*2^1607668-1 is not prime. Res64: B104CF818055EFA5 Time : 0.0 sec. user=mdettweiler [2021-06-13 02:54:57] 869*2^1607668-1 is not prime. Res64: F3941E4A8F9F7495 Time : 0.0 sec. user=mdettweiler [2021-06-13 02:54:57] 885*2^1607668-1 is not prime. Res64: 44138553C496C7BD Time : 0.0 sec. user=mdettweiler [2021-06-13 02:54:58] 615*2^1607669-1 is not prime. Res64: 2D17C4BFBDBBE4BB Time : 0.0 sec. user=mdettweiler [2021-06-13 02:54:58] 657*2^1607669-1 is not prime. Res64: DA8E6CC1DAA939F9 Time : 0.0 sec. user=mdettweiler [2021-06-13 02:54:59] 831*2^1607669-1 is not prime. Res64: FEDB60F93CD9CBC1 Time : 0.0 sec. user=mdettweiler [2021-06-13 02:54:59] 955*2^1607669-1 is not prime. Res64: 1A4AF6001A07297D Time : 0.0 sec. user=mdettweiler [2021-06-13 02:55:00] 681*2^1607670-1 is not prime. Res64: BD87B9D83C32E33E Time : 0.0 sec. user=mdettweiler [2021-06-13 03:54:50] 771*2^1607671-1 is not prime. Res64: DE2A0D81DF316588 Time : 0.0 sec. user=mdettweiler [2021-06-13 03:54:50] 765*2^1607670-1 is not prime. Res64: B9225E7FE5756AAC Time : 0.0 sec. user=mdettweiler [2021-06-13 03:54:52] 843*2^1607671-1 is not prime. Res64: 79B71DB53EEC848E Time : 0.0 sec. user=mdettweiler [2021-06-13 03:54:52] 801*2^1607670-1 is not prime. Res64: 7C956ACF6C397595 Time : 0.0 sec. user=mdettweiler [2021-06-13 03:54:53] 867*2^1607670-1 is not prime. Res64: DA52D387ED626522 Time : 0.0 sec. user=mdettweiler [2021-06-13 03:54:55] 885*2^1607671-1 is not prime. Res64: B084EDF482CA7A9F Time : 0.0 sec. user=mdettweiler [2021-06-13 03:54:57] 917*2^1607670-1 is not prime. Res64: 380CD7E689549F7F Time : 0.0 sec. user=mdettweiler [2021-06-13 03:54:58] 923*2^1607670-1 is not prime. Res64: E978F0923CFEDC8A Time : 0.0 sec. user=mdettweiler [2021-06-13 03:54:59] 891*2^1607671-1 is not prime. Res64: 7588CE5B420C4813 Time : 0.0 sec. user=mdettweiler [2021-06-13 03:55:01] 895*2^1607671-1 is not prime. Res64: 69EBF23F31DA9E60 Time : 0.0 sec. user=mdettweiler [2021-06-13 04:55:27] 939*2^1607671-1 is not prime. Res64: F8648D4A9FC6A157 Time : 0.0 sec. user=mdettweiler [2021-06-13 04:55:28] 993*2^1607671-1 is not prime. Res64: 860EDEDBBCA2A551 Time : 0.0 sec. user=mdettweiler [2021-06-13 04:55:28] 665*2^1607672-1 is not prime. Res64: 29A7D84F653F7F9F Time : 0.0 sec. user=mdettweiler [2021-06-13 04:55:28] 903*2^1607672-1 is not prime. Res64: C756AF9EB84A2C96 Time : 0.0 sec. user=mdettweiler [2021-06-13 04:55:29] 693*2^1607672-1 is not prime. Res64: 66F701928554457F Time : 0.0 sec. user=mdettweiler [2021-06-13 04:55:29] 959*2^1607672-1 is not prime. Res64: B7057BD0B3366A7C Time : 0.0 sec. user=mdettweiler [2021-06-13 04:55:29] 699*2^1607672-1 is not prime. Res64: 61E983820941BD83 Time : 0.0 sec. user=mdettweiler [2021-06-13 04:55:29] 727*2^1607673-1 is not prime. Res64: AC61B114ABD55D69 Time : 0.0 sec. user=mdettweiler [2021-06-13 04:55:30] 745*2^1607673-1 is not prime. Res64: 86D36AEBCB5FEDC4 Time : 0.0 sec. user=mdettweiler [2021-06-13 04:55:30] 765*2^1607673-1 is not prime. Res64: BD289544CEBF9CC8 Time : 0.0 sec. user=mdettweiler [2021-06-13 05:55:16] 827*2^1607674-1 is not prime. Res64: F94E3E5514440053 Time : 0.0 sec. user=mdettweiler [2021-06-13 05:55:16] 901*2^1607673-1 is not prime. Res64: CF7F0F6A001AB6CA Time : 0.0 sec. user=mdettweiler [2021-06-13 05:55:17] 885*2^1607674-1 is not prime. Res64: EAB8782AC9690759 Time : 0.0 sec. user=mdettweiler [2021-06-13 05:55:17] 919*2^1607673-1 is not prime. Res64: C69E572C662E48B8 Time : 0.0 sec. user=mdettweiler [2021-06-13 05:55:17] 923*2^1607674-1 is not prime. Res64: 6BACF1EA5303A441 Time : 0.0 sec. user=mdettweiler [2021-06-13 05:55:17] 623*2^1607674-1 is not prime. Res64: 2CFB7C38D64F3A25 Time : 0.0 sec. user=mdettweiler [2021-06-13 05:55:18] 789*2^1607675-1 is not prime. Res64: 7ECC86CFC62AF060 Time : 0.0 sec. user=mdettweiler [2021-06-13 05:55:18] 645*2^1607674-1 is not prime. Res64: 033C8461A0DADFFF Time : 0.0 sec. user=mdettweiler [2021-06-13 05:55:18] 823*2^1607675-1 is not prime. Res64: DA220DF11F2AF1C4 Time : 0.0 sec. user=mdettweiler [2021-06-13 05:55:18] 755*2^1607674-1 is not prime. Res64: 6A57E222DBB4AEAB Time : 0.0 sec. user=mdettweiler [2021-06-13 06:55:04] 723*2^1607676-1 is not prime. Res64: D31061B2ED530BA2 Time : 0.0 sec. user=mdettweiler [2021-06-13 06:55:04] 871*2^1607675-1 is not prime. Res64: F6547223E686DBEA Time : 0.0 sec. user=mdettweiler [2021-06-13 06:55:04] 779*2^1607676-1 is not prime. Res64: BB90627697865443 Time : 0.0 sec. user=mdettweiler [2021-06-13 06:55:05] 921*2^1607675-1 is not prime. Res64: 90A33D38DAA0DB0E Time : 0.0 sec. user=mdettweiler [2021-06-13 06:55:05] 783*2^1607676-1 is not prime. Res64: 7B476C97F25A98BA Time : 0.0 sec. user=mdettweiler [2021-06-13 06:55:05] 609*2^1607676-1 is not prime. Res64: D5B8183471CB54DF Time : 0.0 sec. user=mdettweiler [2021-06-13 06:55:05] 843*2^1607676-1 is not prime. Res64: F8127413BAA605EB Time : 0.0 sec. user=mdettweiler [2021-06-13 06:55:06] 647*2^1607676-1 is not prime. Res64: F34D3AEEB760C5CE Time : 0.0 sec. user=mdettweiler [2021-06-13 06:55:06] 893*2^1607676-1 is not prime. Res64: F666CB175EF48634 Time : 0.0 sec. user=mdettweiler [2021-06-13 06:55:06] 705*2^1607676-1 is not prime. Res64: E83698323FA2649D Time : 0.0 sec. user=mdettweiler [2021-06-13 07:54:51] 983*2^1607676-1 is not prime. Res64: BE399953E12CC24E Time : 0.0 sec. user=mdettweiler [2021-06-13 07:54:51] 897*2^1607677-1 is not prime. Res64: BC384A55548F7717 Time : 0.0 sec. user=mdettweiler [2021-06-13 07:54:52] 675*2^1607677-1 is not prime. Res64: A716F4CBBB156975 Time : 0.0 sec. user=mdettweiler [2021-06-13 07:54:52] 999*2^1607677-1 is not prime. Res64: A6CF51961193F913 Time : 0.0 sec. user=mdettweiler [2021-06-13 07:54:52] 727*2^1607677-1 is not prime. Res64: 5A7B28802C83AE39 Time : 0.0 sec. user=mdettweiler [2021-06-13 07:54:52] 665*2^1607678-1 is not prime. Res64: D70ED1E3FCA027D2 Time : 0.0 sec. user=mdettweiler [2021-06-13 07:54:53] 859*2^1607677-1 is not prime. Res64: 39DFD47CD0366669 Time : 0.0 sec. user=mdettweiler [2021-06-13 07:54:53] 795*2^1607678-1 is not prime. Res64: B441E0A50D1B443F Time : 0.0 sec. user=mdettweiler [2021-06-13 07:54:53] 895*2^1607677-1 is not prime. Res64: 3D83136B97FEA4D9 Time : 0.0 sec. user=mdettweiler [2021-06-13 07:54:53] 867*2^1607678-1 is not prime. Res64: 9F3FEC112860C85B Time : 0.0 sec. user=mdettweiler [2021-06-13 08:54:40] 865*2^1607679-1 is not prime. Res64: 10B8B6417BB6F977 Time : 0.0 sec. user=mdettweiler [2021-06-13 08:54:40] 893*2^1607678-1 is not prime. Res64: B91C98A2AAD51966 Time : 0.0 sec. user=mdettweiler [2021-06-13 08:54:40] 931*2^1607679-1 is not prime. Res64: F3926597B25C2D70 Time : 0.0 sec. user=mdettweiler [2021-06-13 08:54:40] 703*2^1607679-1 is not prime. Res64: 0BDB995A9AB09E58 Time : 0.0 sec. user=mdettweiler [2021-06-13 08:54:41] 951*2^1607679-1 is not prime. Res64: 11BE453FDFDDD99A Time : 0.0 sec. user=mdettweiler [2021-06-13 08:54:41] 745*2^1607679-1 is not prime. Res64: 5D42C0BB6A2BCA90 Time : 0.0 sec. user=mdettweiler [2021-06-13 08:54:41] 699*2^1607680-1 is not prime. Res64: C2A2500F2348E1EB Time : 0.0 sec. user=mdettweiler [2021-06-13 08:54:41] 831*2^1607679-1 is not prime. Res64: C5D8A6B8F13F7DAA Time : 0.0 sec. user=mdettweiler [2021-06-13 08:54:42] 975*2^1607680-1 is not prime. Res64: DAD51AAA588C8E1E Time : 0.0 sec. user=mdettweiler [2021-06-13 08:54:42] 861*2^1607679-1 is not prime. Res64: 881F990F7D694570 Time : 0.0 sec. user=mdettweiler [2021-06-13 09:54:28] 741*2^1607682-1 is not prime. Res64: 3252D272E2BC2465 Time : 0.0 sec. user=mdettweiler [2021-06-13 09:54:29] 649*2^1607681-1 is not prime. Res64: 5623AE1E797A494A Time : 0.0 sec. user=mdettweiler [2021-06-13 09:54:29] 873*2^1607682-1 is not prime. Res64: 158F6256BC156FC3 Time : 0.0 sec. user=mdettweiler [2021-06-13 09:54:29] 669*2^1607681-1 is not prime. Res64: 4601ACC4C67FD28B Time : 0.0 sec. user=mdettweiler [2021-06-13 09:54:29] 887*2^1607682-1 is not prime. Res64: 314DC5FC1394046C Time : 0.0 sec. user=mdettweiler [2021-06-13 09:54:30] 715*2^1607681-1 is not prime. Res64: 971BAE5564BF6B4C Time : 0.0 sec. user=mdettweiler [2021-06-13 09:54:30] 951*2^1607682-1 is not prime. Res64: C271E3EB92A5AA7C Time : 0.0 sec. user=mdettweiler [2021-06-13 09:54:30] 819*2^1607681-1 is not prime. Res64: BA93A55BFBFBC81A Time : 0.0 sec. user=mdettweiler [2021-06-13 09:54:30] 603*2^1607683-1 is not prime. Res64: 35154AB8A1B785E3 Time : 0.0 sec. user=mdettweiler [2021-06-13 09:54:31] 723*2^1607682-1 is not prime. Res64: B834092D1320356A Time : 0.0 sec. user=mdettweiler [2021-06-13 10:54:18] 615*2^1607683-1 is not prime. Res64: 4672485B06FC93B2 Time : 0.0 sec. user=mdettweiler [2021-06-13 10:54:18] 939*2^1607683-1 is not prime. Res64: A14CE57243B923CE Time : 0.0 sec. user=mdettweiler [2021-06-13 10:54:18] 633*2^1607683-1 is not prime. Res64: 6658CDCB4E36F517 Time : 0.0 sec. user=mdettweiler [2021-06-13 10:54:18] 969*2^1607683-1 is not prime. Res64: CD451460C5728BBA Time : 0.0 sec. user=mdettweiler [2021-06-13 10:54:19] 723*2^1607683-1 is not prime. Res64: 895A03C5587FD90B Time : 0.0 sec. user=mdettweiler [2021-06-13 10:54:19] 999*2^1607683-1 is not prime. Res64: 9BCF4B12EFA10E6F Time : 0.0 sec. user=mdettweiler [2021-06-13 10:54:19] 635*2^1607684-1 is not prime. Res64: 61226C9BD945FA25 Time : 0.0 sec. user=mdettweiler [2021-06-13 10:54:19] 813*2^1607683-1 is not prime. Res64: 964CDF03192B5DDC Time : 0.0 sec. user=mdettweiler [2021-06-13 10:54:20] 785*2^1607684-1 is not prime. Res64: 970CF83A79F03F5D Time : 0.0 sec. user=mdettweiler [2021-06-13 10:54:20] 873*2^1607683-1 is not prime. Res64: C65C631230716F7B Time : 0.0 sec. user=mdettweiler [2021-06-13 11:54:02] 869*2^1607684-1 is not prime. Res64: C1ACB8404378BE87 Time : 0.0 sec. user=mdettweiler [2021-06-13 11:54:02] 837*2^1607685-1 is not prime. Res64: 1F6B5765A901CB84 Time : 0.0 sec. user=mdettweiler [2021-06-13 11:54:03] 875*2^1607684-1 is not prime. Res64: 35E4DF04A0888ACD Time : 0.0 sec. user=mdettweiler [2021-06-13 11:54:03] 877*2^1607685-1 is not prime. Res64: 3C138C35C5793061 Time : 0.0 sec. user=mdettweiler [2021-06-13 11:54:03] 983*2^1607684-1 is not prime. Res64: F7CECFE33F7A72A3 Time : 0.0 sec. user=mdettweiler [2021-06-13 11:54:03] 961*2^1607685-1 is not prime. Res64: D43A305DAA10CFCF Time : 0.0 sec. user=mdettweiler [2021-06-13 11:54:04] 649*2^1607685-1 is not prime. Res64: 0B910C382F3AF717 Time : 0.0 sec. user=mdettweiler [2021-06-13 11:54:04] 975*2^1607685-1 is not prime. Res64: 78A36EE861293D74 Time : 0.0 sec. user=mdettweiler [2021-06-13 11:54:04] 817*2^1607685-1 is not prime. Res64: 004CBEA86F66643F Time : 0.0 sec. user=mdettweiler [2021-06-13 11:54:04] 617*2^1607686-1 is not prime. Res64: C3C18EE9606E1CC8 Time : 0.0 sec. user=mdettweiler [2021-06-13 12:53:50] 723*2^1607686-1 is not prime. Res64: 521E2AB2EDC9FEAE Time : 0.0 sec. user=mdettweiler [2021-06-13 12:53:51] 983*2^1607686-1 is not prime. Res64: D3D3EE6F26A3B3C8 Time : 0.0 sec. user=mdettweiler [2021-06-13 12:53:51] 765*2^1607686-1 is not prime. Res64: EFD88B0302B147C4 Time : 0.0 sec. user=mdettweiler [2021-06-13 12:53:52] 987*2^1607686-1 is not prime. Res64: 7C72D264B2434B2E Time : 0.0 sec. user=mdettweiler [2021-06-13 12:53:52] 867*2^1607686-1 is not prime. Res64: F1192F087EACD7B4 Time : 0.0 sec. user=mdettweiler [2021-06-13 12:53:52] 619*2^1607687-1 is not prime. Res64: 731AD5E68825918D Time : 0.0 sec. user=mdettweiler [2021-06-13 12:53:53] 957*2^1607686-1 is not prime. Res64: 623BE4EFD66BF79F Time : 0.0 sec. user=mdettweiler [2021-06-13 12:53:53] 655*2^1607687-1 is not prime. Res64: 42D181E533C7D23B Time : 0.0 sec. user=mdettweiler [2021-06-13 12:53:53] 975*2^1607686-1 is not prime. Res64: A253B1F90DC82705 Time : 0.0 sec. user=mdettweiler [2021-06-13 12:53:53] 673*2^1607687-1 is not prime. Res64: D6439A717D29FFA5 Time : 0.0 sec. user=mdettweiler [2021-06-13 13:53:40] 939*2^1607687-1 is not prime. Res64: C521F56010726243 Time : 0.0 sec. user=mdettweiler [2021-06-13 13:53:41] 715*2^1607687-1 is not prime. Res64: 4781644832D045FF Time : 0.0 sec. user=mdettweiler [2021-06-13 13:53:41] 993*2^1607687-1 is not prime. Res64: DDD21DE854DBDF16 Time : 0.0 sec. user=mdettweiler [2021-06-13 13:53:41] 729*2^1607687-1 is not prime. Res64: EE90EB6F76DEF431 Time : 0.0 sec. user=mdettweiler [2021-06-13 13:53:42] 627*2^1607688-1 is not prime. Res64: D418FEE6FB312EF8 Time : 0.0 sec. user=mdettweiler [2021-06-13 13:53:42] 759*2^1607687-1 is not prime. Res64: A4C4003D88978E77 Time : 0.0 sec. user=mdettweiler [2021-06-13 13:53:42] 725*2^1607688-1 is not prime. Res64: 6872D6EB58798157 Time : 0.0 sec. user=mdettweiler [2021-06-13 13:53:42] 799*2^1607687-1 is not prime. Res64: CF6503CB753A0A7F Time : 0.0 sec. user=mdettweiler [2021-06-13 13:53:43] 809*2^1607688-1 is not prime. Res64: C8D90F9CE2883AD6 Time : 0.0 sec. user=mdettweiler [2021-06-13 13:53:43] 861*2^1607687-1 is not prime. Res64: 125AAB16D9BFBF17 Time : 0.0 sec. user=mdettweiler [2021-06-13 14:53:33] 945*2^1607688-1 is not prime. Res64: 71A5E6EA9F9EA8EE Time : 0.0 sec. user=mdettweiler [2021-06-13 14:53:33] 721*2^1607689-1 is not prime. Res64: 34D1EFC4A742810F Time : 0.0 sec. user=mdettweiler [2021-06-13 14:53:34] 615*2^1607689-1 is not prime. Res64: BF32B321D1448418 Time : 0.0 sec. user=mdettweiler [2021-06-13 14:53:34] 741*2^1607689-1 is not prime. Res64: 012C062897F47983 Time : 0.0 sec. user=mdettweiler [2021-06-13 14:53:34] 619*2^1607689-1 is not prime. Res64: 61478A58B468BB25 Time : 0.0 sec. user=mdettweiler [2021-06-13 14:53:34] 855*2^1607689-1 is not prime. Res64: 35DD3C1708C3D3D3 Time : 0.0 sec. user=mdettweiler [2021-06-13 14:53:35] 691*2^1607689-1 is not prime. Res64: F1ED71F31B81A99C Time : 0.0 sec. user=mdettweiler [2021-06-13 14:53:35] 987*2^1607689-1 is not prime. Res64: 390B33BE703F7889 Time : 0.0 sec. user=mdettweiler [2021-06-13 14:53:35] 705*2^1607689-1 is not prime. Res64: 69BB8E5AAE7C98DA Time : 0.0 sec. user=mdettweiler [2021-06-13 14:53:35] 635*2^1607690-1 is not prime. Res64: 9B0C1DDA65A7FDEC Time : 0.0 sec. user=mdettweiler [2021-06-13 15:53:23] 675*2^1607690-1 is not prime. Res64: 7E6CB65F64A7FBEF Time : 0.0 sec. user=mdettweiler [2021-06-13 15:53:24] 669*2^1607691-1 is not prime. Res64: 2EC8FDDE5700A9E0 Time : 0.0 sec. user=mdettweiler [2021-06-13 15:53:24] 813*2^1607690-1 is not prime. Res64: 64558A528B32DC20 Time : 0.0 sec. user=mdettweiler [2021-06-13 15:53:24] 823*2^1607691-1 is not prime. Res64: 6CFB29A8D71455D9 Time : 0.0 sec. user=mdettweiler [2021-06-13 15:53:24] 951*2^1607690-1 is not prime. Res64: D2065740E7773A7D Time : 0.0 sec. user=mdettweiler [2021-06-13 15:53:25] 955*2^1607691-1 is not prime. Res64: 541C9A2EAE3EB4C7 Time : 0.0 sec. user=mdettweiler [2021-06-13 15:53:25] 1001*2^1607690-1 is not prime. Res64: BBD6C3C018C3F5D0 Time : 0.0 sec. user=mdettweiler [2021-06-13 15:53:25] 603*2^1607692-1 is not prime. Res64: 918B4D61018A0C86 Time : 0.0 sec. user=mdettweiler [2021-06-13 15:53:25] 615*2^1607691-1 is not prime. Res64: 02A2CDD4C93DE291 Time : 0.0 sec. user=mdettweiler [2021-06-13 15:53:26] 605*2^1607692-1 is not prime. Res64: B25F6E4E218AA235 Time : 0.0 sec. user=mdettweiler [2021-06-13 16:53:12] 693*2^1607692-1 is not prime. Res64: 22C4FA5D024EA915 Time : 0.0 sec. user=mdettweiler [2021-06-13 16:53:12] 915*2^1607692-1 is not prime. Res64: E57EB6C27653CCDC Time : 0.0 sec. user=mdettweiler [2021-06-13 16:53:13] 735*2^1607692-1 is not prime. Res64: FC38567878CD59EC Time : 0.0 sec. user=mdettweiler [2021-06-13 16:53:13] 923*2^1607692-1 is not prime. Res64: C4E3CEE65CB8D280 Time : 0.0 sec. user=mdettweiler [2021-06-13 16:53:13] 755*2^1607692-1 is not prime. Res64: 2C51B1E3331E7A1E Time : 0.0 sec. user=mdettweiler [2021-06-13 16:53:13] 989*2^1607692-1 is not prime. Res64: 81209DCC761BF31C Time : 0.0 sec. user=mdettweiler [2021-06-13 16:53:14] 827*2^1607692-1 is not prime. Res64: 4925A0F0CF07754F Time : 0.0 sec. user=mdettweiler [2021-06-13 16:53:14] 621*2^1607693-1 is not prime. Res64: 68E0BB1B93DC3F28 Time : 0.0 sec. user=mdettweiler [2021-06-13 16:53:14] 833*2^1607692-1 is not prime. Res64: CCC93B7E119159E1 Time : 0.0 sec. user=mdettweiler [2021-06-13 16:53:15] 721*2^1607693-1 is not prime. Res64: 3783EF6FF334DBED Time : 0.0 sec. user=mdettweiler [2021-06-13 17:53:02] 769*2^1607693-1 is not prime. Res64: 1829103AD24E32D1 Time : 0.0 sec. user=mdettweiler [2021-06-13 17:53:02] 611*2^1607694-1 is not prime. Res64: 836EA9624076A31A Time : 0.0 sec. user=mdettweiler [2021-06-13 17:53:03] 837*2^1607693-1 is not prime. Res64: 5613DE3134F8A9FC Time : 0.0 sec. user=mdettweiler [2021-06-13 17:53:03] 773*2^1607694-1 is not prime. Res64: 4284B0645482C3B6 Time : 0.0 sec. user=mdettweiler [2021-06-13 17:53:03] 867*2^1607693-1 is not prime. Res64: 1C1EB60358D2FB8C Time : 0.0 sec. user=mdettweiler [2021-06-13 17:53:03] 833*2^1607694-1 is not prime. Res64: 3571264D69595691 Time : 0.0 sec. user=mdettweiler [2021-06-13 17:53:04] 871*2^1607693-1 is not prime. Res64: 029BBFEB3ABCF86C Time : 0.0 sec. user=mdettweiler [2021-06-13 17:53:04] 893*2^1607694-1 is not prime. Res64: 97B9758A63422231 Time : 0.0 sec. user=mdettweiler [2021-06-13 17:53:04] 949*2^1607693-1 is not prime. Res64: 53FCD6E789CAEA11 Time : 0.0 sec. user=mdettweiler [2021-06-13 17:53:04] 941*2^1607694-1 is not prime. Res64: B1CA8B6ADBBB906D Time : 0.0 sec. user=mdettweiler [2021-06-13 18:52:51] 961*2^1607695-1 is not prime. Res64: 080734FD8214B880 Time : 0.0 sec. user=mdettweiler [2021-06-13 18:52:52] 693*2^1607696-1 is not prime. Res64: 2ACB1159F89CC8D1 Time : 0.0 sec. user=mdettweiler [2021-06-13 18:52:52] 725*2^1607696-1 is not prime. Res64: F0EAB75A6E03AC2E Time : 0.0 sec. user=mdettweiler [2021-06-13 18:52:52] 993*2^1607694-1 is not prime. Res64: BBF09F44D9C64369 Time : 0.0 sec. user=mdettweiler [2021-06-13 18:52:53] 803*2^1607696-1 is not prime. Res64: BFAFA11E75C63520 Time : 0.0 sec. user=mdettweiler [2021-06-13 18:52:53] 651*2^1607695-1 is not prime. Res64: 4116286313927486 Time : 0.0 sec. user=mdettweiler [2021-06-13 18:52:53] 843*2^1607696-1 is not prime. Res64: 954C3511390BA3CC Time : 0.0 sec. user=mdettweiler [2021-06-13 18:52:53] 735*2^1607695-1 is not prime. Res64: B87828B50FF1CDFC Time : 0.0 sec. user=mdettweiler [2021-06-13 18:52:54] 829*2^1607695-1 is not prime. Res64: 315559AA291A990D Time : 0.0 sec. user=mdettweiler [2021-06-13 18:52:54] 841*2^1607695-1 is not prime. Res64: 922180A791A884DF Time : 0.0 sec. user=mdettweiler [2021-06-13 19:52:38] 927*2^1607696-1 is not prime. Res64: 2234BD91655865A4 Time : 0.0 sec. user=mdettweiler [2021-06-13 19:52:38] 777*2^1607697-1 is not prime. Res64: 3B0DCEBD5B15B2F0 Time : 0.0 sec. user=mdettweiler [2021-06-13 19:52:39] 867*2^1607697-1 is not prime. Res64: D09CFA49853F8D53 Time : 0.0 sec. user=mdettweiler [2021-06-13 19:52:39] 999*2^1607696-1 is not prime. Res64: 3F73C6AE8561BF28 Time : 0.0 sec. user=mdettweiler [2021-06-13 19:52:40] 667*2^1607697-1 is not prime. Res64: 4BD08F21539E4F26 Time : 0.0 sec. user=mdettweiler [2021-06-13 19:52:40] 895*2^1607697-1 is not prime. Res64: AF3C623F9B3219A6 Time : 0.0 sec. user=mdettweiler [2021-06-13 19:52:40] 717*2^1607697-1 is not prime. Res64: 6D88F9C1FCF545B6 Time : 0.0 sec. user=mdettweiler [2021-06-13 19:52:41] 975*2^1607697-1 is not prime. Res64: 5E639D49828E8A60 Time : 0.0 sec. user=mdettweiler [2021-06-13 19:52:41] 727*2^1607697-1 is not prime. Res64: 50BCB58F67958050 Time : 0.0 sec. user=mdettweiler [2021-06-13 19:52:41] 991*2^1607697-1 is not prime. Res64: 2744D85D0EE6E98E Time : 0.0 sec. user=mdettweiler [2021-06-13 20:52:29] 633*2^1607698-1 is not prime. Res64: D4FFCA7E5566ACD7 Time : 0.0 sec. user=mdettweiler [2021-06-13 20:52:29] 713*2^1607698-1 is not prime. Res64: 90AA823EA5496514 Time : 0.0 sec. user=mdettweiler [2021-06-13 20:52:30] 635*2^1607698-1 is not prime. Res64: BE86FCED9CC12908 Time : 0.0 sec. user=mdettweiler [2021-06-13 20:52:30] 777*2^1607698-1 is not prime. Res64: FCFE7BD81E76A59E Time : 0.0 sec. user=mdettweiler [2021-06-13 20:52:30] 663*2^1607698-1 is not prime. Res64: 110C7E01BAA7B45F Time : 0.0 sec. user=mdettweiler [2021-06-13 20:52:30] 867*2^1607698-1 is not prime. Res64: E8D3CDEB766AD1B4 Time : 0.0 sec. user=mdettweiler [2021-06-13 20:52:31] 671*2^1607698-1 is not prime. Res64: 6E203DCB73A2F687 Time : 0.0 sec. user=mdettweiler [2021-06-13 20:52:31] 915*2^1607698-1 is not prime. Res64: 53BAB697B8FCDFA8 Time : 0.0 sec. user=mdettweiler [2021-06-13 20:52:31] 705*2^1607698-1 is not prime. Res64: DD07F9F6FD1CBE43 Time : 0.0 sec. user=mdettweiler [2021-06-13 20:52:31] 951*2^1607698-1 is not prime. Res64: 435D8456EF51D070 Time : 0.0 sec. user=mdettweiler [2021-06-13 21:52:19] 913*2^1607699-1 is not prime. Res64: C112542B476F157D Time : 0.0 sec. user=mdettweiler [2021-06-13 21:52:20] 991*2^1607699-1 is not prime. Res64: A39DCE88133BFF01 Time : 0.0 sec. user=mdettweiler [2021-06-13 21:52:20] 999*2^1607699-1 is not prime. Res64: 6A3F0DBBAEC897FC Time : 0.0 sec. user=mdettweiler [2021-06-13 21:52:20] 741*2^1607699-1 is not prime. Res64: F7029FD96114A667 Time : 0.0 sec. user=mdettweiler [2021-06-13 21:52:21] 627*2^1607700-1 is not prime. Res64: 8A064FB5C546ABBE Time : 0.0 sec. user=mdettweiler [2021-06-13 21:52:21] 825*2^1607699-1 is not prime. Res64: 772E0157995CD838 Time : 0.0 sec. user=mdettweiler [2021-06-13 21:52:21] 669*2^1607700-1 is not prime. Res64: 3B2573015526A766 Time : 0.0 sec. user=mdettweiler [2021-06-13 21:52:21] 829*2^1607699-1 is not prime. Res64: 9393107AFFBEA0BF Time : 0.0 sec. user=mdettweiler [2021-06-13 21:52:22] 841*2^1607699-1 is not prime. Res64: A8C60163014EB7EF Time : 0.0 sec. user=mdettweiler [2021-06-13 21:52:22] 861*2^1607699-1 is not prime. Res64: F3178BC498841470 Time : 0.0 sec. user=mdettweiler [2021-06-13 22:52:07] 873*2^1607700-1 is not prime. Res64: 5D586EF3FDCB918C Time : 0.0 sec. user=mdettweiler [2021-06-13 22:52:08] 927*2^1607701-1 is not prime. Res64: 0DEF785689E8C204 Time : 0.0 sec. user=mdettweiler [2021-06-13 22:52:08] 957*2^1607701-1 is not prime. Res64: 847829463488DFD7 Time : 0.0 sec. user=mdettweiler [2021-06-13 22:52:08] 887*2^1607700-1 is not prime. Res64: A363DED50DCA1A75 Time : 0.0 sec. user=mdettweiler [2021-06-13 22:52:09] 961*2^1607701-1 is not prime. Res64: 583EB055CE59E83B Time : 0.0 sec. user=mdettweiler [2021-06-13 22:52:09] 607*2^1607701-1 is not prime. Res64: 9C281D429C459526 Time : 0.0 sec. user=mdettweiler [2021-06-13 22:52:09] 987*2^1607701-1 is not prime. Res64: 92F1A375392FE1F2 Time : 0.0 sec. user=mdettweiler [2021-06-13 22:52:09] 805*2^1607701-1 is not prime. Res64: 7F3E44F61194069C Time : 0.0 sec. user=mdettweiler [2021-06-13 22:52:10] 797*2^1607702-1 is not prime. Res64: 9CE7FC3A96C1A8A1 Time : 0.0 sec. user=mdettweiler [2021-06-13 22:52:10] 855*2^1607701-1 is not prime. Res64: FB551BA7B5AF45EF Time : 0.0 sec. user=mdettweiler [2021-06-13 23:51:56] 617*2^1607704-1 is not prime. Res64: 6861166A3225CF72 Time : 0.0 sec. user=mdettweiler [2021-06-13 23:51:56] 873*2^1607702-1 is not prime. Res64: 15372CC0411D9E45 Time : 0.0 sec. user=mdettweiler [2021-06-13 23:51:56] 819*2^1607704-1 is not prime. Res64: A0206E58315E3852 Time : 0.0 sec. user=mdettweiler [2021-06-13 23:51:56] 685*2^1607703-1 is not prime. Res64: 6C9F3AC33092E7DD Time : 0.0 sec. user=mdettweiler [2021-06-13 23:51:57] 927*2^1607704-1 is not prime. Res64: 42E828F628D3DF1E Time : 0.0 sec. user=mdettweiler [2021-06-13 23:51:57] 735*2^1607703-1 is not prime. Res64: C8F117CE385B3BDE Time : 0.0 sec. user=mdettweiler [2021-06-13 23:51:58] 983*2^1607704-1 is not prime. Res64: 77E44CEFB2939B92 Time : 0.0 sec. user=mdettweiler [2021-06-13 23:51:58] 945*2^1607703-1 is not prime. Res64: 25C4F755E797D3D5 Time : 0.0 sec. user=mdettweiler [2021-06-13 23:51:58] 649*2^1607705-1 is not prime. Res64: 73C57F087CB2AD15 Time : 0.0 sec. user=mdettweiler [2021-06-13 23:51:58] 609*2^1607704-1 is not prime. Res64: 9614BFCFF5BC54EB Time : 0.0 sec.