user=mdettweiler [2020-06-18 00:10:14] 717*2^1561545-1 is not prime. Res64: 05B5CB27A03CB21F Time : 0.0 sec. user=mdettweiler [2020-06-18 00:10:14] 739*2^1561545-1 is not prime. Res64: 04EDBD3342EC5BA3 Time : 0.0 sec. user=mdettweiler [2020-06-18 00:10:15] 651*2^1561546-1 is not prime. Res64: 8BD2EA5A88530CCF Time : 0.0 sec. user=mdettweiler [2020-06-18 00:10:15] 701*2^1561546-1 is not prime. Res64: 172969F089D91160 Time : 0.0 sec. user=mdettweiler [2020-06-18 00:10:16] 619*2^1561547-1 is not prime. Res64: B2EC2DB9A60B0564 Time : 0.0 sec. user=mdettweiler [2020-06-18 00:38:59] 643*2^1561547-1 is not prime. Res64: B5CD0B2DF89BFB70 Time : 0.0 sec. user=mdettweiler [2020-06-18 00:38:59] 693*2^1561547-1 is not prime. Res64: 41C66146F92B3A9F Time : 0.0 sec. user=mdettweiler [2020-06-18 00:39:00] 711*2^1561547-1 is not prime. Res64: 04E35424AF118AA4 Time : 0.0 sec. user=mdettweiler [2020-06-18 00:39:00] 733*2^1561547-1 is not prime. Res64: 16DEDFE83678EA8A Time : 0.0 sec. user=mdettweiler [2020-06-18 00:39:01] 741*2^1561547-1 is not prime. Res64: 69091F95B2865A1D Time : 0.0 sec. user=mdettweiler [2020-06-18 00:47:01] 861*2^1561547-1 is not prime. Res64: DE0FBFEC5EFB8700 Time : 0.0 sec. user=mdettweiler [2020-06-18 00:47:01] 647*2^1561548-1 is not prime. Res64: 68543B58E622B1EF Time : 0.0 sec. user=mdettweiler [2020-06-18 00:47:02] 773*2^1561548-1 is not prime. Res64: 562E89FBAEB4A306 Time : 0.0 sec. user=mdettweiler [2020-06-18 00:47:02] 789*2^1561548-1 is not prime. Res64: 8B17B7636EAD9348 Time : 0.0 sec. user=mdettweiler [2020-06-18 00:47:03] 839*2^1561548-1 is not prime. Res64: 98DFEA621DB3BBBB Time : 0.0 sec. user=mdettweiler [2020-06-18 01:06:12] 845*2^1561548-1 is not prime. Res64: 14BB5B18F2E8C1A4 Time : 0.0 sec. user=mdettweiler [2020-06-18 01:06:14] 909*2^1561548-1 is not prime. Res64: 319A3A120B3CC7FD Time : 0.0 sec. user=mdettweiler [2020-06-18 01:06:14] 769*2^1561549-1 is not prime. Res64: 83877EBC9955589E Time : 0.0 sec. user=mdettweiler [2020-06-18 01:06:15] 817*2^1561549-1 is not prime. Res64: 695F9EA77A3EFCD1 Time : 0.0 sec. user=mdettweiler [2020-06-18 01:06:16] 831*2^1561549-1 is not prime. Res64: 6F06DB9321C4FC11 Time : 0.0 sec. user=mdettweiler [2020-06-18 06:27:18] 945*2^1561551-1 is not prime. Res64: 16BFA94D54DE8D90 Time : 0.0 sec. user=mdettweiler [2020-06-18 06:33:52] 679*2^1561551-1 is not prime. Res64: F86570B96E3272F0 Time : 0.0 sec. user=mdettweiler [2020-06-18 06:33:53] 739*2^1561551-1 is not prime. Res64: 27835E806359BE61 Time : 0.0 sec. user=mdettweiler [2020-06-18 06:33:53] 871*2^1561551-1 is not prime. Res64: 76F1A56D2EAD57C4 Time : 0.0 sec. user=mdettweiler [2020-06-18 06:33:54] 913*2^1561551-1 is not prime. Res64: E3FEC3CA2DB00AA8 Time : 0.0 sec. user=mdettweiler [2020-06-18 06:33:54] 931*2^1561551-1 is not prime. Res64: 4AF769568362CBBD Time : 0.0 sec. user=mdettweiler [2020-06-18 06:34:00] 877*2^1561549-1 is not prime. Res64: 7DD62BB7608D80D1 Time : 0.0 sec. user=mdettweiler [2020-06-18 06:34:00] 927*2^1561549-1 is not prime. Res64: C1077ECEED451D60 Time : 0.0 sec. user=mdettweiler [2020-06-18 06:34:01] 931*2^1561549-1 is not prime. Res64: CA385EFA6EB47071 Time : 0.0 sec. user=mdettweiler [2020-06-18 06:34:01] 951*2^1561549-1 is not prime. Res64: 26A841E956DCA311 Time : 0.0 sec. user=mdettweiler [2020-06-18 06:34:01] 985*2^1561549-1 is not prime. Res64: A5623C958112FD3E Time : 0.0 sec. user=mdettweiler [2020-06-18 06:34:09] 979*2^1561551-1 is not prime. Res64: 83DD2EFBFE1C5322 Time : 0.0 sec. user=mdettweiler [2020-06-18 07:25:33] 623*2^1561552-1 is not prime. Res64: 61A3C79A89536E60 Time : 0.0 sec. user=mdettweiler [2020-06-18 07:25:33] 645*2^1561552-1 is not prime. Res64: FDD9BDB41F08128B Time : 0.0 sec. user=mdettweiler [2020-06-18 07:25:34] 657*2^1561552-1 is not prime. Res64: A25BA866CEE8B8DE Time : 0.0 sec. user=mdettweiler [2020-06-18 07:25:34] 687*2^1561552-1 is not prime. Res64: EB187E4D89F4490E Time : 0.0 sec. user=mdettweiler [2020-06-18 07:25:34] 813*2^1561552-1 is not prime. Res64: 0A4CF20F1D2AEDF1 Time : 0.0 sec. user=mdettweiler [2020-06-18 07:32:25] 863*2^1561552-1 is not prime. Res64: EFCF4698BA05DC06 Time : 0.0 sec. user=mdettweiler [2020-06-18 07:32:25] 887*2^1561552-1 is not prime. Res64: 2FD819D3A98E765C Time : 0.0 sec. user=mdettweiler [2020-06-18 07:32:26] 903*2^1561552-1 is not prime. Res64: 7D151217B6DA2E30 Time : 0.0 sec. user=mdettweiler [2020-06-18 07:32:26] 929*2^1561552-1 is not prime. Res64: E846CC1FA204FA03 Time : 0.0 sec. user=mdettweiler [2020-06-18 07:32:27] 975*2^1561552-1 is not prime. Res64: 154B93A705DDD76B Time : 0.0 sec. user=mdettweiler [2020-06-18 08:21:44] 771*2^1561553-1 is not prime. Res64: 4E54498E19B8090A Time : 0.0 sec. user=mdettweiler [2020-06-18 08:21:45] 801*2^1561553-1 is not prime. Res64: C70E4DF0AA0201AA Time : 0.0 sec. user=mdettweiler [2020-06-18 08:21:45] 847*2^1561553-1 is not prime. Res64: 0E1B24D178C5B4AB Time : 0.0 sec. user=mdettweiler [2020-06-18 08:21:46] 879*2^1561553-1 is not prime. Res64: BE51AE842369234D Time : 0.0 sec. user=mdettweiler [2020-06-18 08:21:46] 991*2^1561553-1 is not prime. Res64: 3F01D343E8E0C918 Time : 0.0 sec. user=mdettweiler [2020-06-18 08:25:12] 605*2^1561554-1 is not prime. Res64: 5969945C892FF156 Time : 0.0 sec. user=mdettweiler [2020-06-18 08:25:13] 641*2^1561554-1 is not prime. Res64: AC3F1F19FB38FB5F Time : 0.0 sec. user=mdettweiler [2020-06-18 08:25:13] 1001*2^1561554-1 is not prime. Res64: 9748DE052B3720CE Time : 0.0 sec. user=mdettweiler [2020-06-18 08:25:14] 609*2^1561555-1 is not prime. Res64: 61D0E986A952E77D Time : 0.0 sec. user=mdettweiler [2020-06-18 08:25:14] 639*2^1561555-1 is not prime. Res64: BCE973A94CFCC78C Time : 0.0 sec. user=mdettweiler [2020-06-18 09:17:40] 685*2^1561555-1 is not prime. Res64: 231700AA574948B5 Time : 0.0 sec. user=mdettweiler [2020-06-18 09:17:40] 765*2^1561555-1 is not prime. Res64: 552FABA01EEA6536 Time : 0.0 sec. user=mdettweiler [2020-06-18 09:17:41] 853*2^1561555-1 is not prime. Res64: EF2E71F31FDC0633 Time : 0.0 sec. user=mdettweiler [2020-06-18 09:17:41] 915*2^1561555-1 is not prime. Res64: 429F311619C55288 Time : 0.0 sec. user=mdettweiler [2020-06-18 09:17:42] 939*2^1561555-1 is not prime. Res64: F2CA0CC6A767AFE1 Time : 0.0 sec. user=mdettweiler [2020-06-18 09:21:33] 961*2^1561555-1 is not prime. Res64: 44C9C71E4EF4A96C Time : 0.0 sec. user=mdettweiler [2020-06-18 09:21:34] 999*2^1561555-1 is not prime. Res64: 5A66F49EA1931076 Time : 0.0 sec. user=mdettweiler [2020-06-18 09:21:34] 789*2^1561556-1 is not prime. Res64: 237F1B76C3C134B0 Time : 0.0 sec. user=mdettweiler [2020-06-18 09:21:35] 813*2^1561556-1 is not prime. Res64: EA989A12463163D2 Time : 0.0 sec. user=mdettweiler [2020-06-18 09:21:35] 893*2^1561556-1 is not prime. Res64: 2530618D8551DF9F Time : 0.0 sec. user=mdettweiler [2020-06-18 10:13:35] 945*2^1561556-1 is not prime. Res64: ECA97CAC0AA712E6 Time : 0.0 sec. user=mdettweiler [2020-06-18 10:13:35] 627*2^1561557-1 is not prime. Res64: E58579FD106A6B40 Time : 0.0 sec. user=mdettweiler [2020-06-18 10:13:36] 795*2^1561557-1 is not prime. Res64: 4F9E9818144A51A2 Time : 0.0 sec. user=mdettweiler [2020-06-18 10:13:36] 871*2^1561557-1 is not prime. Res64: 97D5DE6E902777A1 Time : 0.0 sec. user=mdettweiler [2020-06-18 10:13:37] 901*2^1561557-1 is not prime. Res64: FC7B0A66B196674E Time : 0.0 sec. user=mdettweiler [2020-06-18 10:17:34] 961*2^1561557-1 is not prime. Res64: C5A507F55F78CA70 Time : 0.0 sec. user=mdettweiler [2020-06-18 10:17:35] 663*2^1561558-1 is not prime. Res64: A43D2AAC28ABAD5D Time : 0.0 sec. user=mdettweiler [2020-06-18 10:17:35] 765*2^1561558-1 is not prime. Res64: 3D02978BD8C154AD Time : 0.0 sec. user=mdettweiler [2020-06-18 10:17:36] 833*2^1561558-1 is not prime. Res64: C11935A031F5869C Time : 0.0 sec. user=mdettweiler [2020-06-18 10:17:36] 897*2^1561558-1 is not prime. Res64: D9E5FF0F5D99B7DC Time : 0.0 sec. user=mdettweiler [2020-06-18 11:06:25] 779*2^1561560-1 is not prime. Res64: FA748617DE6DF406 Time : 0.0 sec. user=mdettweiler [2020-06-18 11:08:33] 945*2^1561558-1 is not prime. Res64: 38C628DFCE5D9FCD Time : 0.0 sec. user=mdettweiler [2020-06-18 11:08:34] 1001*2^1561558-1 is not prime. Res64: C7C5D77B0AE68FDD Time : 0.0 sec. user=mdettweiler [2020-06-18 11:08:34] 609*2^1561559-1 is not prime. Res64: 44A3B9EA8F2CD365 Time : 0.0 sec. user=mdettweiler [2020-06-18 11:08:35] 711*2^1561559-1 is not prime. Res64: 345CCDAD578FD591 Time : 0.0 sec. user=mdettweiler [2020-06-18 11:08:35] 735*2^1561559-1 is not prime. Res64: 3E6D224406BA95DF Time : 0.0 sec. user=mdettweiler [2020-06-18 11:11:39] 999*2^1561559-1 is not prime. Res64: F1CF775ABFC63C90 Time : 0.0 sec. user=mdettweiler [2020-06-18 11:11:40] 693*2^1561560-1 is not prime. Res64: 85CB24851210E700 Time : 0.0 sec. user=mdettweiler [2020-06-18 11:11:40] 699*2^1561560-1 is not prime. Res64: 24EE101B76DB86CF Time : 0.0 sec. user=mdettweiler [2020-06-18 11:11:41] 735*2^1561560-1 is not prime. Res64: 229129DF88A94EA1 Time : 0.0 sec. user=mdettweiler [2020-06-18 11:11:42] 767*2^1561560-1 is not prime. Res64: CEF22E7F77CFB686 Time : 0.0 sec. user=mdettweiler [2020-06-18 11:20:30] 731*2^1561550-1 is not prime. Res64: BB2DE0DAFAE895EE Time : 0.0 sec. user=mdettweiler [2020-06-18 11:20:31] 791*2^1561550-1 is not prime. Res64: 193FFE27E8DC2B08 Time : 0.0 sec. user=mdettweiler [2020-06-18 11:20:31] 917*2^1561550-1 is not prime. Res64: B889BC9E9B00E600 Time : 0.0 sec. user=mdettweiler [2020-06-18 11:20:32] 977*2^1561550-1 is not prime. Res64: 0D4194F8C68779A7 Time : 0.0 sec. user=mdettweiler [2020-06-18 11:20:32] 651*2^1561551-1 is not prime. Res64: 4DEA41C28DD64B7C Time : 0.0 sec. user=mdettweiler [2020-06-18 12:05:22] 819*2^1561560-1 is not prime. Res64: 7308E2F9D2086514 Time : 0.0 sec. user=mdettweiler [2020-06-18 12:05:25] 857*2^1561560-1 is not prime. Res64: EBF80107E95D5486 Time : 0.0 sec. user=mdettweiler [2020-06-18 12:05:26] 863*2^1561560-1 is not prime. Res64: D1001D52051CEC55 Time : 0.0 sec. user=mdettweiler [2020-06-18 12:05:28] 867*2^1561560-1 is not prime. Res64: 715A4CE4F2F464ED Time : 0.0 sec. user=mdettweiler [2020-06-18 12:05:29] 651*2^1561561-1 is not prime. Res64: E22B8808407A573C Time : 0.0 sec. user=mdettweiler [2020-06-18 12:06:31] 685*2^1561561-1 is not prime. Res64: 12D21C96F311751D Time : 0.0 sec. user=mdettweiler [2020-06-18 12:06:33] 805*2^1561561-1 is not prime. Res64: F2A2A0D96E53020B Time : 0.0 sec. user=mdettweiler [2020-06-18 12:06:34] 811*2^1561561-1 is not prime. Res64: A5933C88951C0F29 Time : 0.0 sec. user=mdettweiler [2020-06-18 12:06:35] 939*2^1561561-1 is not prime. Res64: 255A56013CB97768 Time : 0.0 sec. user=mdettweiler [2020-06-18 12:06:36] 951*2^1561561-1 is not prime. Res64: 188CFC8DD1E6AD46 Time : 0.0 sec. user=mdettweiler [2020-06-18 12:15:13] 635*2^1561562-1 is not prime. Res64: BA5206686B072723 Time : 0.0 sec. user=mdettweiler [2020-06-18 12:15:14] 735*2^1561562-1 is not prime. Res64: DE95D62D04A5B2CD Time : 0.0 sec. user=mdettweiler [2020-06-18 12:15:15] 741*2^1561562-1 is not prime. Res64: 025A28C8F7A92E65 Time : 0.0 sec. user=mdettweiler [2020-06-18 12:15:16] 825*2^1561562-1 is not prime. Res64: 15918165A93CC00D Time : 0.0 sec. user=mdettweiler [2020-06-18 12:15:16] 833*2^1561562-1 is not prime. Res64: 7412F9FB1D1CE09C Time : 0.0 sec. user=mdettweiler [2020-06-18 13:00:57] 955*2^1561563-1 is not prime. Res64: C27441A3C034B180 Time : 0.0 sec. user=mdettweiler [2020-06-18 13:00:59] 609*2^1561564-1 is not prime. Res64: 398CEF678200B15A Time : 0.0 sec. user=mdettweiler [2020-06-18 13:01:00] 635*2^1561564-1 is not prime. Res64: DD2431F13A2D58A0 Time : 0.0 sec. user=mdettweiler [2020-06-18 13:01:01] 707*2^1561564-1 is not prime. Res64: 4E25CC32FA38B7FB Time : 0.0 sec. user=mdettweiler [2020-06-18 13:01:02] 857*2^1561564-1 is not prime. Res64: 11C7FFE5A4126F0A Time : 0.0 sec. user=mdettweiler [2020-06-18 13:02:39] 867*2^1561562-1 is not prime. Res64: 86530A9C0037D321 Time : 0.0 sec. user=mdettweiler [2020-06-18 13:02:40] 885*2^1561562-1 is not prime. Res64: C2764A5A170F9F19 Time : 0.0 sec. user=mdettweiler [2020-06-18 13:02:41] 685*2^1561563-1 is not prime. Res64: BBA7078A1E600105 Time : 0.0 sec. user=mdettweiler [2020-06-18 13:02:42] 829*2^1561563-1 is not prime. Res64: 65C6E34717F09AAE Time : 0.0 sec. user=mdettweiler [2020-06-18 13:02:42] 849*2^1561563-1 is not prime. Res64: D0C7B688730BEB30 Time : 0.0 sec. user=mdettweiler [2020-06-18 13:13:33] 899*2^1561564-1 is not prime. Res64: 916A21AD336B51D2 Time : 0.0 sec. user=mdettweiler [2020-06-18 13:13:34] 915*2^1561564-1 is not prime. Res64: F71C32C4C50D33A6 Time : 0.0 sec. user=mdettweiler [2020-06-18 13:13:34] 947*2^1561564-1 is not prime. Res64: B978315D877429BE Time : 0.0 sec. user=mdettweiler [2020-06-18 13:13:34] 969*2^1561564-1 is not prime. Res64: CA605104D3479506 Time : 0.0 sec. user=mdettweiler [2020-06-18 13:13:35] 995*2^1561564-1 is not prime. Res64: 6B0B9197078A6AA8 Time : 0.0 sec. user=mdettweiler [2020-06-18 13:55:28] 655*2^1561565-1 is not prime. Res64: 8C25F2D64A8E3380 Time : 0.0 sec. user=mdettweiler [2020-06-18 13:55:28] 675*2^1561565-1 is not prime. Res64: EB5DCFF0D7751E77 Time : 0.0 sec. user=mdettweiler [2020-06-18 13:55:28] 771*2^1561565-1 is not prime. Res64: 8433335F4C42DA30 Time : 0.0 sec. user=mdettweiler [2020-06-18 13:55:29] 825*2^1561565-1 is not prime. Res64: 894ACAB77F3A7122 Time : 0.0 sec. user=mdettweiler [2020-06-18 13:55:29] 867*2^1561565-1 is not prime. Res64: 47FE81C7076CEBE9 Time : 0.0 sec. user=mdettweiler [2020-06-18 13:58:52] 925*2^1561565-1 is not prime. Res64: 72894889477D7B23 Time : 0.0 sec. user=mdettweiler [2020-06-18 13:58:52] 927*2^1561565-1 is not prime. Res64: 1632753614333103 Time : 0.0 sec. user=mdettweiler [2020-06-18 13:58:53] 949*2^1561565-1 is not prime. Res64: 710E8E3B4D81DEF6 Time : 0.0 sec. user=mdettweiler [2020-06-18 13:58:53] 713*2^1561566-1 is not prime. Res64: ABE95FA3A6EAA46F Time : 0.0 sec. user=mdettweiler [2020-06-18 13:58:54] 737*2^1561566-1 is not prime. Res64: 5DD09A0B666ECCF5 Time : 0.0 sec. user=mdettweiler [2020-06-18 14:08:16] 807*2^1561566-1 is not prime. Res64: CF17B4A550406CA8 Time : 0.0 sec. user=mdettweiler [2020-06-18 14:08:17] 921*2^1561566-1 is not prime. Res64: 5A755E63AA8EE784 Time : 0.0 sec. user=mdettweiler [2020-06-18 14:08:18] 947*2^1561566-1 is not prime. Res64: 6CC14FCDB2858207 Time : 0.0 sec. user=mdettweiler [2020-06-18 14:08:19] 675*2^1561567-1 is not prime. Res64: 894C3F70C94FAE0E Time : 0.0 sec. user=mdettweiler [2020-06-18 14:08:20] 759*2^1561567-1 is not prime. Res64: 104C08F3EE8B8199 Time : 0.0 sec. user=mdettweiler [2020-06-18 14:52:30] 861*2^1561567-1 is not prime. Res64: A57202BB939288AC Time : 0.0 sec. user=mdettweiler [2020-06-18 14:52:31] 915*2^1561567-1 is not prime. Res64: A2698DCCBCDED85E Time : 0.0 sec. user=mdettweiler [2020-06-18 14:52:31] 933*2^1561567-1 is not prime. Res64: 7DD0CB4E26D19D17 Time : 0.0 sec. user=mdettweiler [2020-06-18 14:52:32] 961*2^1561567-1 is not prime. Res64: 724B25BE0C5D415C Time : 0.0 sec. user=mdettweiler [2020-06-18 14:52:32] 753*2^1561568-1 is not prime. Res64: A2F2B6D169790726 Time : 0.0 sec. user=mdettweiler [2020-06-18 14:54:33] 827*2^1561568-1 is not prime. Res64: D086530ABE87FDC9 Time : 0.0 sec. user=mdettweiler [2020-06-18 14:54:33] 999*2^1561568-1 is not prime. Res64: C04C0703D2820B41 Time : 0.0 sec. user=mdettweiler [2020-06-18 14:54:34] 685*2^1561569-1 is not prime. Res64: C54581FE53CB964B Time : 0.0 sec. user=mdettweiler [2020-06-18 14:54:34] 705*2^1561569-1 is not prime. Res64: E4B6EAB76AC6B5AC Time : 0.0 sec. user=mdettweiler [2020-06-18 14:54:34] 861*2^1561569-1 is not prime. Res64: 92AB1655BA79678D Time : 0.0 sec. user=mdettweiler [2020-06-18 15:03:15] 889*2^1561569-1 is not prime. Res64: 6BCBC476D5A14C0A Time : 0.0 sec. user=mdettweiler [2020-06-18 15:03:16] 955*2^1561569-1 is not prime. Res64: 45AD09C845659FF4 Time : 0.0 sec. user=mdettweiler [2020-06-18 15:03:17] 677*2^1561570-1 is not prime. Res64: 42240E4F2DB40D86 Time : 0.0 sec. user=mdettweiler [2020-06-18 15:03:19] 731*2^1561570-1 is not prime. Res64: BE648EAA2B045D32 Time : 0.0 sec. user=mdettweiler [2020-06-18 15:03:21] 743*2^1561570-1 is not prime. Res64: FB4887C432E73892 Time : 0.0 sec. user=mdettweiler [2020-06-18 15:47:05] 911*2^1561570-1 is not prime. Res64: 0FF1F3480F94471E Time : 0.0 sec. user=mdettweiler [2020-06-18 15:47:06] 679*2^1561571-1 is not prime. Res64: A65303FED4F78AD8 Time : 0.0 sec. user=mdettweiler [2020-06-18 15:47:06] 711*2^1561571-1 is not prime. Res64: D4460667DCFAAC73 Time : 0.0 sec. user=mdettweiler [2020-06-18 15:47:07] 813*2^1561571-1 is not prime. Res64: 3E2F48F2B8AD88CA Time : 0.0 sec. user=mdettweiler [2020-06-18 15:47:07] 843*2^1561571-1 is not prime. Res64: A5CD3A4A81ED13C5 Time : 0.0 sec. user=mdettweiler [2020-06-18 15:48:51] 883*2^1561571-1 is not prime. Res64: B0120E9154B93820 Time : 0.0 sec. user=mdettweiler [2020-06-18 15:48:51] 991*2^1561571-1 is not prime. Res64: E986DCAD19F7AA0E Time : 0.0 sec. user=mdettweiler [2020-06-18 15:48:52] 653*2^1561572-1 is not prime. Res64: F7321875A493FEF5 Time : 0.0 sec. user=mdettweiler [2020-06-18 15:48:52] 657*2^1561572-1 is not prime. Res64: 42B0C40923261D97 Time : 0.0 sec. user=mdettweiler [2020-06-18 15:48:53] 689*2^1561572-1 is not prime. Res64: 22156E0E2AA67534 Time : 0.0 sec. user=mdettweiler [2020-06-18 15:59:21] 753*2^1561572-1 is not prime. Res64: A3336D0F16B1DBDA Time : 0.0 sec. user=mdettweiler [2020-06-18 15:59:22] 857*2^1561572-1 is not prime. Res64: 7F6565001673CF77 Time : 0.0 sec. user=mdettweiler [2020-06-18 15:59:22] 965*2^1561572-1 is not prime. Res64: 33474019AA9460FE Time : 0.0 sec. user=mdettweiler [2020-06-18 15:59:23] 987*2^1561572-1 is not prime. Res64: A6E983D074DC48CE Time : 0.0 sec. user=mdettweiler [2020-06-18 15:59:23] 609*2^1561573-1 is not prime. Res64: 4AA6C9C714A99184 Time : 0.0 sec. user=mdettweiler [2020-06-18 16:41:41] 625*2^1561573-1 is not prime. Res64: EF9DB9F6B9A1C5FF Time : 0.0 sec. user=mdettweiler [2020-06-18 16:41:41] 729*2^1561573-1 is not prime. Res64: 3389C3B47C019F95 Time : 0.0 sec. user=mdettweiler [2020-06-18 16:41:42] 769*2^1561573-1 is not prime. Res64: CDBB21204B9B8471 Time : 0.0 sec. user=mdettweiler [2020-06-18 16:41:42] 855*2^1561573-1 is not prime. Res64: 6F1F11C8756BEDFF Time : 0.0 sec. user=mdettweiler [2020-06-18 16:41:42] 861*2^1561573-1 is not prime. Res64: 75577D876F9B4E41 Time : 0.0 sec. user=mdettweiler [2020-06-18 16:45:35] 885*2^1561573-1 is not prime. Res64: E37AD9BF15CA7BFE Time : 0.0 sec. user=mdettweiler [2020-06-18 16:45:36] 937*2^1561573-1 is not prime. Res64: 11FB3D3BF9A0BD38 Time : 0.0 sec. user=mdettweiler [2020-06-18 16:45:36] 945*2^1561573-1 is not prime. Res64: 9A535E1DF6448CFF Time : 0.0 sec. user=mdettweiler [2020-06-18 16:45:36] 999*2^1561573-1 is not prime. Res64: 274CFC0DE540BDEC Time : 0.0 sec. user=mdettweiler [2020-06-18 16:45:37] 615*2^1561574-1 is not prime. Res64: DCF1566AD0B68CC1 Time : 0.0 sec. user=mdettweiler [2020-06-18 16:52:23] 623*2^1561574-1 is not prime. Res64: 0F01BF138AF45CA0 Time : 0.0 sec. user=mdettweiler [2020-06-18 16:52:23] 665*2^1561574-1 is not prime. Res64: 00A9ECCD104C8FAB Time : 0.0 sec. user=mdettweiler [2020-06-18 16:52:24] 705*2^1561574-1 is not prime. Res64: E4EE602F80C7CFAA Time : 0.0 sec. user=mdettweiler [2020-06-18 16:52:24] 1001*2^1561574-1 is not prime. Res64: 50E7089690BD4889 Time : 0.0 sec. user=mdettweiler [2020-06-18 16:52:25] 663*2^1561575-1 is not prime. Res64: 1CC74FF2569470FC Time : 0.0 sec. user=mdettweiler [2020-06-18 17:36:19] 669*2^1561575-1 is not prime. Res64: 27C6204D4F8F0BEC Time : 0.0 sec. user=mdettweiler [2020-06-18 17:36:20] 709*2^1561575-1 is not prime. Res64: 747C4CA92DE920E1 Time : 0.0 sec. user=mdettweiler [2020-06-18 17:36:20] 763*2^1561575-1 is not prime. Res64: 70F2D167779EC214 Time : 0.0 sec. user=mdettweiler [2020-06-18 17:36:21] 949*2^1561575-1 is not prime. Res64: E97F4DF8E168EB0D Time : 0.0 sec. user=mdettweiler [2020-06-18 17:36:21] 969*2^1561575-1 is not prime. Res64: 50F15E484A018B96 Time : 0.0 sec. user=mdettweiler [2020-06-18 17:39:48] 623*2^1561576-1 is not prime. Res64: 9B05339100848D2E Time : 0.0 sec. user=mdettweiler [2020-06-18 17:39:49] 677*2^1561576-1 is not prime. Res64: 99964022F98CE8FC Time : 0.0 sec. user=mdettweiler [2020-06-18 17:39:49] 693*2^1561576-1 is not prime. Res64: 84E110CB2B3B1BD5 Time : 0.0 sec. user=mdettweiler [2020-06-18 17:39:50] 927*2^1561576-1 is not prime. Res64: C4F087B628B1A8EB Time : 0.0 sec. user=mdettweiler [2020-06-18 17:39:50] 933*2^1561576-1 is not prime. Res64: 827845397EA9B755 Time : 0.0 sec. user=mdettweiler [2020-06-18 17:45:40] 999*2^1561576-1 is not prime. Res64: EBF0C0CCB544E9BA Time : 0.0 sec. user=mdettweiler [2020-06-18 17:45:41] 619*2^1561577-1 is not prime. Res64: 03498251145FC47C Time : 0.0 sec. user=mdettweiler [2020-06-18 17:45:41] 675*2^1561577-1 is not prime. Res64: 666E84ABCDAA5C34 Time : 0.0 sec. user=mdettweiler [2020-06-18 17:45:42] 729*2^1561577-1 is not prime. Res64: 9F105D3F29C2E6F8 Time : 0.0 sec. user=mdettweiler [2020-06-18 17:45:42] 735*2^1561577-1 is not prime. Res64: 90C28C0083E7B710 Time : 0.0 sec. user=mdettweiler [2020-06-18 18:32:25] 985*2^1561577-1 is not prime. Res64: A34085F683218B16 Time : 0.0 sec. user=mdettweiler [2020-06-18 18:32:26] 633*2^1561578-1 is not prime. Res64: 85469CB4079A470B Time : 0.0 sec. user=mdettweiler [2020-06-18 18:32:26] 635*2^1561578-1 is not prime. Res64: D18E3AC848F7DFF5 Time : 0.0 sec. user=mdettweiler [2020-06-18 18:32:27] 641*2^1561578-1 is not prime. Res64: AE5FDBCC6EB34A5E Time : 0.0 sec. user=mdettweiler [2020-06-18 18:32:27] 651*2^1561578-1 is not prime. Res64: 7FDCAF2B86CC9EC6 Time : 0.0 sec. user=mdettweiler [2020-06-18 18:33:21] 741*2^1561577-1 is not prime. Res64: CDE358772FDE8060 Time : 0.0 sec. user=mdettweiler [2020-06-18 18:33:21] 829*2^1561577-1 is not prime. Res64: A0D6458CA3C9D9EC Time : 0.0 sec. user=mdettweiler [2020-06-18 18:33:22] 831*2^1561577-1 is not prime. Res64: C568F0E3AB97DEFD Time : 0.0 sec. user=mdettweiler [2020-06-18 18:33:22] 885*2^1561577-1 is not prime. Res64: A4E8F3557B65E955 Time : 0.0 sec. user=mdettweiler [2020-06-18 18:33:23] 931*2^1561577-1 is not prime. Res64: 262395427CDA6947 Time : 0.0 sec. user=mdettweiler [2020-06-18 18:40:14] 671*2^1561578-1 is not prime. Res64: 07AF907EE67964E2 Time : 0.0 sec. user=mdettweiler [2020-06-18 18:40:15] 725*2^1561578-1 is not prime. Res64: E81D3D30235E8B44 Time : 0.0 sec. user=mdettweiler [2020-06-18 18:40:15] 815*2^1561578-1 is not prime. Res64: 9637B7EF40825F8B Time : 0.0 sec. user=mdettweiler [2020-06-18 18:40:16] 861*2^1561578-1 is not prime. Res64: 7DCDE3DF91D6834B Time : 0.0 sec. user=mdettweiler [2020-06-18 18:40:16] 905*2^1561578-1 is not prime. Res64: CF6B3C76A9EF56A7 Time : 0.0 sec. user=mdettweiler [2020-06-18 19:26:27] 951*2^1561578-1 is not prime. Res64: 4CBACD377080A83B Time : 0.0 sec. user=mdettweiler [2020-06-18 19:26:28] 615*2^1561579-1 is not prime. Res64: 287565547212B946 Time : 0.0 sec. user=mdettweiler [2020-06-18 19:26:28] 679*2^1561579-1 is not prime. Res64: 426B36408F215F45 Time : 0.0 sec. user=mdettweiler [2020-06-18 19:26:29] 681*2^1561579-1 is not prime. Res64: 91273745A9E488A7 Time : 0.0 sec. user=mdettweiler [2020-06-18 19:26:29] 843*2^1561579-1 is not prime. Res64: 5C3D6922E44AF97B Time : 0.0 sec. user=mdettweiler [2020-06-18 19:30:07] 853*2^1561579-1 is not prime. Res64: A6DDDABDC7812431 Time : 0.0 sec. user=mdettweiler [2020-06-18 19:30:08] 919*2^1561579-1 is not prime. Res64: 554F830B77E033CA Time : 0.0 sec. user=mdettweiler [2020-06-18 19:30:10] 973*2^1561579-1 is not prime. Res64: 8E816FB4BB36DB85 Time : 0.0 sec. user=mdettweiler [2020-06-18 19:30:11] 993*2^1561579-1 is not prime. Res64: E2C501C06FCDDF9C Time : 0.0 sec. user=mdettweiler [2020-06-18 19:30:12] 603*2^1561580-1 is not prime. Res64: C758CF63D6A9734F Time : 0.0 sec. user=mdettweiler [2020-06-18 19:35:52] 699*2^1561580-1 is not prime. Res64: FF0BEC85C700D71F Time : 0.0 sec. user=mdettweiler [2020-06-18 19:35:53] 893*2^1561580-1 is not prime. Res64: 0CE6EEBB3DDCC646 Time : 0.0 sec. user=mdettweiler [2020-06-18 19:35:53] 649*2^1561581-1 is not prime. Res64: 5A02FAF2229D90FE Time : 0.0 sec. user=mdettweiler [2020-06-18 19:35:53] 907*2^1561581-1 is not prime. Res64: 577C0B94AB7D744D Time : 0.0 sec. user=mdettweiler [2020-06-18 19:35:54] 951*2^1561581-1 is not prime. Res64: 952D7FD43949150B Time : 0.0 sec. user=mdettweiler [2020-06-18 20:18:18] 603*2^1561582-1 is not prime. Res64: 8E7AA9C61241EE04 Time : 0.0 sec. user=mdettweiler [2020-06-18 20:18:18] 647*2^1561582-1 is not prime. Res64: E2B9DB2FCB117C9F Time : 0.0 sec. user=mdettweiler [2020-06-18 20:18:19] 657*2^1561582-1 is not prime. Res64: 404616C1FD1F0716 Time : 0.0 sec. user=mdettweiler [2020-06-18 20:18:19] 717*2^1561582-1 is not prime. Res64: 38225D17C2DAACA6 Time : 0.0 sec. user=mdettweiler [2020-06-18 20:18:20] 813*2^1561582-1 is not prime. Res64: 1A98FC48CB3F48C3 Time : 0.0 sec. user=mdettweiler [2020-06-18 20:28:07] 663*2^1561583-1 is not prime. Res64: F3B6493B48C13FEE Time : 0.0 sec. user=mdettweiler [2020-06-18 20:28:08] 669*2^1561583-1 is not prime. Res64: 82C9C82E34146327 Time : 0.0 sec. user=mdettweiler [2020-06-18 20:28:08] 715*2^1561583-1 is not prime. Res64: 2844490CA034BC63 Time : 0.0 sec. user=mdettweiler [2020-06-18 20:28:08] 729*2^1561583-1 is not prime. Res64: E2018A852F584208 Time : 0.0 sec. user=mdettweiler [2020-06-18 20:28:09] 735*2^1561583-1 is not prime. Res64: 55F5395E890A62BA Time : 0.0 sec. user=mdettweiler [2020-06-18 20:35:44] 815*2^1561582-1 is not prime. Res64: E8529261AF3FFA78 Time : 0.0 sec. user=mdettweiler [2020-06-18 20:35:45] 821*2^1561582-1 is not prime. Res64: 959D8EACC5A92C65 Time : 0.0 sec. user=mdettweiler [2020-06-18 20:35:45] 827*2^1561582-1 is not prime. Res64: EFE3AC71E49283A5 Time : 0.0 sec. user=mdettweiler [2020-06-18 20:35:45] 831*2^1561582-1 is not prime. Res64: E29BF349367E20E8 Time : 0.0 sec. user=mdettweiler [2020-06-18 20:35:46] 941*2^1561582-1 is not prime. Res64: 879B6AEF0166954B Time : 0.0 sec. user=mdettweiler [2020-06-18 21:12:08] 753*2^1561583-1 is not prime. Res64: 4812512CECD7C89D Time : 0.0 sec. user=mdettweiler [2020-06-18 21:12:09] 789*2^1561583-1 is not prime. Res64: F0EF19EE714DDD08 Time : 0.0 sec. user=mdettweiler [2020-06-18 21:12:09] 879*2^1561583-1 is not prime. Res64: 7AF73EAD360DEC19 Time : 0.0 sec. user=mdettweiler [2020-06-18 21:12:10] 705*2^1561584-1 is not prime. Res64: 3702A88E81663E52 Time : 0.0 sec. user=mdettweiler [2020-06-18 21:12:11] 723*2^1561584-1 is not prime. Res64: D02D7CE14E4A1311 Time : 0.0 sec. user=mdettweiler [2020-06-18 21:22:06] 873*2^1561584-1 is not prime. Res64: 03A8E5340937896B Time : 0.0 sec. user=mdettweiler [2020-06-18 21:22:07] 947*2^1561584-1 is not prime. Res64: 4F4E00D0BABF8C0E Time : 0.0 sec. user=mdettweiler [2020-06-18 21:22:07] 619*2^1561585-1 is not prime. Res64: 4ABB9BAF999AA39A Time : 0.0 sec. user=mdettweiler [2020-06-18 21:22:08] 651*2^1561585-1 is not prime. Res64: A0DDE4127619F300 Time : 0.0 sec. user=mdettweiler [2020-06-18 21:22:08] 685*2^1561585-1 is not prime. Res64: F7745A09D6F282D6 Time : 0.0 sec. user=mdettweiler [2020-06-18 21:29:35] 699*2^1561585-1 is not prime. Res64: 3FCF2450CC0F3545 Time : 0.0 sec. user=mdettweiler [2020-06-18 21:29:35] 729*2^1561585-1 is not prime. Res64: 5758A7751626092D Time : 0.0 sec. user=mdettweiler [2020-06-18 21:29:35] 759*2^1561585-1 is not prime. Res64: BDC334EB54DE58AC Time : 0.0 sec. user=mdettweiler [2020-06-18 21:29:36] 775*2^1561585-1 is not prime. Res64: 27B43DB5F78A0565 Time : 0.0 sec. user=mdettweiler [2020-06-18 21:29:36] 909*2^1561585-1 is not prime. Res64: EA56CCB71C9D1AC2 Time : 0.0 sec. user=mdettweiler [2020-06-18 22:06:25] 937*2^1561585-1 is not prime. Res64: C4A7121AB7E50685 Time : 0.0 sec. user=mdettweiler [2020-06-18 22:06:27] 987*2^1561585-1 is not prime. Res64: 83F937AB90AB5AC1 Time : 0.0 sec. user=mdettweiler [2020-06-18 22:06:28] 603*2^1561586-1 is not prime. Res64: D03A04888527549E Time : 0.0 sec. user=mdettweiler [2020-06-18 22:06:30] 617*2^1561586-1 is not prime. Res64: C6961DA62A6A0ADC Time : 0.0 sec. user=mdettweiler [2020-06-18 22:06:31] 641*2^1561586-1 is not prime. Res64: 8CCAB8063D98B144 Time : 0.0 sec. user=mdettweiler [2020-06-18 22:19:27] 705*2^1561586-1 is not prime. Res64: 6AB4D73C009D1A34 Time : 0.0 sec. user=mdettweiler [2020-06-18 22:19:28] 851*2^1561586-1 is not prime. Res64: 17B2F3B9E1905586 Time : 0.0 sec. user=mdettweiler [2020-06-18 22:19:28] 857*2^1561586-1 is not prime. Res64: F1B22E45D36E8357 Time : 0.0 sec. user=mdettweiler [2020-06-18 22:19:29] 921*2^1561586-1 is not prime. Res64: B3679E48953B3D7B Time : 0.0 sec. user=mdettweiler [2020-06-18 22:19:29] 935*2^1561586-1 is not prime. Res64: 68BC83410EDA7375 Time : 0.0 sec. user=mdettweiler [2020-06-18 22:23:57] 601*2^1561587-1 is not prime. Res64: D583EAACF8EA1091 Time : 0.0 sec. user=mdettweiler [2020-06-18 22:23:57] 643*2^1561587-1 is not prime. Res64: 36EBBFA0CDED81DC Time : 0.0 sec. user=mdettweiler [2020-06-18 22:23:58] 775*2^1561587-1 is not prime. Res64: BB0A2F9AE72CEEA0 Time : 0.0 sec. user=mdettweiler [2020-06-18 22:23:58] 931*2^1561587-1 is not prime. Res64: F7B9DDA857229CE8 Time : 0.0 sec. user=mdettweiler [2020-06-18 22:23:59] 979*2^1561587-1 is not prime. Res64: E9AD9C42FAC534E3 Time : 0.0 sec. user=mdettweiler [2020-06-18 23:01:12] 605*2^1561588-1 is not prime. Res64: 1A6103205F1F283A Time : 0.0 sec. user=mdettweiler [2020-06-18 23:01:13] 687*2^1561588-1 is not prime. Res64: 299A29A71943F7B9 Time : 0.0 sec. user=mdettweiler [2020-06-18 23:01:14] 777*2^1561588-1 is not prime. Res64: 353CA6C0C357A536 Time : 0.0 sec. user=mdettweiler [2020-06-18 23:01:15] 827*2^1561588-1 is not prime. Res64: BBAF49669E016C93 Time : 0.0 sec. user=mdettweiler [2020-06-18 23:01:16] 999*2^1561588-1 is not prime. Res64: 288BDA6CC4606A60 Time : 0.0 sec. user=mdettweiler [2020-06-18 23:11:22] 615*2^1561589-1 is not prime. Res64: EBA8B0DE7D76B98B Time : 0.0 sec. user=mdettweiler [2020-06-18 23:11:22] 619*2^1561589-1 is not prime. Res64: 5E5FC3FAB8DF7F14 Time : 0.0 sec. user=mdettweiler [2020-06-18 23:11:23] 631*2^1561589-1 is not prime. Res64: 1A5E3041F82FE7B4 Time : 0.0 sec. user=mdettweiler [2020-06-18 23:11:23] 745*2^1561589-1 is not prime. Res64: 95770673E75CDAA6 Time : 0.0 sec. user=mdettweiler [2020-06-18 23:11:24] 759*2^1561589-1 is not prime. Res64: 846BB3430E9F8957 Time : 0.0 sec. user=mdettweiler [2020-06-18 23:18:52] 771*2^1561589-1 is not prime. Res64: C6EE994B0FEF734F Time : 0.0 sec. user=mdettweiler [2020-06-18 23:18:52] 789*2^1561589-1 is not prime. Res64: 6E06EF8302A87FEF Time : 0.0 sec. user=mdettweiler [2020-06-18 23:18:53] 795*2^1561589-1 is not prime. Res64: 4606559EFCA20521 Time : 0.0 sec. user=mdettweiler [2020-06-18 23:18:53] 861*2^1561589-1 is not prime. Res64: CE9D386A231586D7 Time : 0.0 sec. user=mdettweiler [2020-06-18 23:18:53] 889*2^1561589-1 is not prime. Res64: 9C874A305DC7EB58 Time : 0.0 sec. user=mdettweiler [2020-06-18 23:53:31] 695*2^1561590-1 is not prime. Res64: 054C81C5ABCED11F Time : 0.0 sec. user=mdettweiler [2020-06-18 23:53:31] 609*2^1561591-1 is not prime. Res64: 69E2CEEBE0A00578 Time : 0.0 sec. user=mdettweiler [2020-06-18 23:53:31] 639*2^1561591-1 is not prime. Res64: 5FFBD322A12BD877 Time : 0.0 sec. user=mdettweiler [2020-06-18 23:53:32] 703*2^1561591-1 is not prime. Res64: 3229E0C06A18EAAC Time : 0.0 sec. user=mdettweiler [2020-06-18 23:53:32] 723*2^1561591-1 is not prime. Res64: 1653466DF2757452 Time : 0.0 sec.