user=mdettweiler [2020-01-03 13:36:41] 969*2^1552111-1 is not prime. Res64: 577671EFD32DFE01 Time : 0.0 sec. user=mdettweiler [2020-01-03 13:36:43] 603*2^1552112-1 is not prime. Res64: 0D730FE75F7328A4 Time : 0.0 sec. user=mdettweiler [2020-01-03 13:36:43] 713*2^1552112-1 is not prime. Res64: 7336D3B25D6CC42F Time : 0.0 sec. user=mdettweiler [2020-01-03 13:36:44] 743*2^1552112-1 is not prime. Res64: CBDEEB216FD9BCF6 Time : 0.0 sec. user=mdettweiler [2020-01-03 13:36:45] 755*2^1552112-1 is not prime. Res64: 24EC49D0DB38CA65 Time : 0.0 sec. user=mdettweiler [2020-01-03 13:47:09] 871*2^1552113-1 is not prime. Res64: EDF81C0ECAF6ECFE Time : 0.0 sec. user=mdettweiler [2020-01-03 13:47:09] 895*2^1552113-1 is not prime. Res64: D0E6F607AF8ECBC2 Time : 0.0 sec. user=mdettweiler [2020-01-03 13:47:09] 921*2^1552113-1 is not prime. Res64: 1BA616CAA165AE29 Time : 0.0 sec. user=mdettweiler [2020-01-03 13:47:10] 665*2^1552114-1 is not prime. Res64: 879111272C6B69B4 Time : 0.0 sec. user=mdettweiler [2020-01-03 13:47:10] 675*2^1552114-1 is not prime. Res64: FFBE71227552E87E Time : 0.0 sec. user=mdettweiler [2020-01-03 13:47:27] 827*2^1552112-1 is not prime. Res64: 7453CB00A6F07847 Time : 0.0 sec. user=mdettweiler [2020-01-03 13:47:27] 959*2^1552112-1 is not prime. Res64: 06E78245E31BF001 Time : 0.0 sec. user=mdettweiler [2020-01-03 13:47:27] 781*2^1552113-1 is not prime. Res64: 5C5B41224F3ACB7D Time : 0.0 sec. user=mdettweiler [2020-01-03 13:47:28] 807*2^1552113-1 is not prime. Res64: D16B2A3E82D25D44 Time : 0.0 sec. user=mdettweiler [2020-01-03 13:47:28] 867*2^1552113-1 is not prime. Res64: 17B1840C8027A7BD Time : 0.0 sec. user=mdettweiler [2020-01-03 14:31:56] 755*2^1552114-1 is not prime. Res64: FA88C28AE3F28DC4 Time : 0.0 sec. user=mdettweiler [2020-01-03 14:31:56] 773*2^1552114-1 is not prime. Res64: E21CB99D51FECC18 Time : 0.0 sec. user=mdettweiler [2020-01-03 14:31:56] 833*2^1552114-1 is not prime. Res64: 014B1E6E0DB40A6C Time : 0.0 sec. user=mdettweiler [2020-01-03 14:31:57] 951*2^1552114-1 is not prime. Res64: 267084FA67993DA4 Time : 0.0 sec. user=mdettweiler [2020-01-03 14:31:57] 957*2^1552114-1 is not prime. Res64: A1958837229A3215 Time : 0.0 sec. user=mdettweiler [2020-01-03 14:39:31] 601*2^1552115-1 is not prime. Res64: 678551B7470CB6D5 Time : 0.0 sec. user=mdettweiler [2020-01-03 14:39:31] 651*2^1552115-1 is not prime. Res64: 6C65B52EE1B40F6D Time : 0.0 sec. user=mdettweiler [2020-01-03 14:39:32] 693*2^1552115-1 is not prime. Res64: 6309E9680DF7571F Time : 0.0 sec. user=mdettweiler [2020-01-03 14:39:32] 775*2^1552115-1 is not prime. Res64: F556372C81913593 Time : 0.0 sec. user=mdettweiler [2020-01-03 14:39:33] 783*2^1552115-1 is not prime. Res64: 049E5838F1C9AB85 Time : 0.0 sec. user=mdettweiler [2020-01-03 14:44:07] 823*2^1552115-1 is not prime. Res64: 3B9C12A15A2862AD Time : 0.0 sec. user=mdettweiler [2020-01-03 14:44:07] 855*2^1552115-1 is not prime. Res64: 526CE4EA53CD23F0 Time : 0.0 sec. user=mdettweiler [2020-01-03 14:44:08] 939*2^1552115-1 is not prime. Res64: 55252398100F9419 Time : 0.0 sec. user=mdettweiler [2020-01-03 14:44:08] 949*2^1552115-1 is not prime. Res64: 5E8AEC092022CC88 Time : 0.0 sec. user=mdettweiler [2020-01-03 14:44:08] 969*2^1552115-1 is not prime. Res64: B4567F623184B13A Time : 0.0 sec. user=mdettweiler [2020-01-03 15:23:03] 609*2^1552116-1 is not prime. Res64: 10EB12D22CE25A1C Time : 0.0 sec. user=mdettweiler [2020-01-03 15:23:04] 675*2^1552116-1 is not prime. Res64: 7AA57CFFB923FB71 Time : 0.0 sec. user=mdettweiler [2020-01-03 15:23:04] 695*2^1552116-1 is not prime. Res64: B1672374D1686885 Time : 0.0 sec. user=mdettweiler [2020-01-03 15:23:05] 707*2^1552116-1 is not prime. Res64: 07FA8005267B0447 Time : 0.0 sec. user=mdettweiler [2020-01-03 15:23:05] 735*2^1552116-1 is not prime. Res64: A16C6816083422B4 Time : 0.0 sec. user=mdettweiler [2020-01-03 15:32:33] 783*2^1552116-1 is not prime. Res64: 6621ECD36C975A46 Time : 0.0 sec. user=mdettweiler [2020-01-03 15:32:33] 903*2^1552116-1 is not prime. Res64: 678147ED8D2A742F Time : 0.0 sec. user=mdettweiler [2020-01-03 15:32:34] 975*2^1552116-1 is not prime. Res64: ED80E55118E1E76B Time : 0.0 sec. user=mdettweiler [2020-01-03 15:32:34] 609*2^1552117-1 is not prime. Res64: EC7C063540C09BDF Time : 0.0 sec. user=mdettweiler [2020-01-03 15:32:35] 625*2^1552117-1 is not prime. Res64: FEA197DF5AB3C055 Time : 0.0 sec. user=mdettweiler [2020-01-03 15:36:41] 675*2^1552117-1 is not prime. Res64: 07DD64ACA9148112 Time : 0.0 sec. user=mdettweiler [2020-01-03 15:36:41] 747*2^1552117-1 is not prime. Res64: 0185FA74DEC9ADA6 Time : 0.0 sec. user=mdettweiler [2020-01-03 15:36:41] 961*2^1552117-1 is not prime. Res64: 94C5F2E1F3457C32 Time : 0.0 sec. user=mdettweiler [2020-01-03 15:36:42] 603*2^1552118-1 is not prime. Res64: 268AA01D7E7317AF Time : 0.0 sec. user=mdettweiler [2020-01-03 15:36:42] 663*2^1552118-1 is not prime. Res64: 6B7C24A276E22FFF Time : 0.0 sec. user=mdettweiler [2020-01-03 16:14:55] 797*2^1552118-1 is not prime. Res64: 3DA205ED85332E27 Time : 0.0 sec. user=mdettweiler [2020-01-03 16:14:56] 857*2^1552118-1 is not prime. Res64: 84AA2C32F8652205 Time : 0.0 sec. user=mdettweiler [2020-01-03 16:14:57] 915*2^1552118-1 is not prime. Res64: DDF96ED81153038B Time : 0.0 sec. user=mdettweiler [2020-01-03 16:14:58] 613*2^1552119-1 is not prime. Res64: CC7C9CC262CC40E2 Time : 0.0 sec. user=mdettweiler [2020-01-03 16:14:58] 709*2^1552119-1 is not prime. Res64: DA738912A5C42088 Time : 0.0 sec. user=mdettweiler [2020-01-03 16:26:02] 909*2^1552119-1 is not prime. Res64: EFCDD05B775CBF99 Time : 0.0 sec. user=mdettweiler [2020-01-03 16:26:02] 985*2^1552119-1 is not prime. Res64: 56878C0013AEE393 Time : 0.0 sec. user=mdettweiler [2020-01-03 16:26:02] 785*2^1552120-1 is not prime. Res64: 4F9148651C19FE65 Time : 0.0 sec. user=mdettweiler [2020-01-03 16:26:03] 797*2^1552120-1 is not prime. Res64: 85838CE60E6E4416 Time : 0.0 sec. user=mdettweiler [2020-01-03 16:26:03] 909*2^1552120-1 is not prime. Res64: 354A541B7B149E54 Time : 0.0 sec. user=mdettweiler [2020-01-03 16:29:09] 631*2^1552121-1 is not prime. Res64: 1B162372F443D31A Time : 0.0 sec. user=mdettweiler [2020-01-03 16:29:10] 637*2^1552121-1 is not prime. Res64: 07081D9107C2F4FF Time : 0.0 sec. user=mdettweiler [2020-01-03 16:29:10] 747*2^1552121-1 is not prime. Res64: B5B3C6CB65BD8EC2 Time : 0.0 sec. user=mdettweiler [2020-01-03 16:29:10] 925*2^1552121-1 is not prime. Res64: 07B96E52BAA1443B Time : 0.0 sec. user=mdettweiler [2020-01-03 16:29:11] 957*2^1552121-1 is not prime. Res64: 736C457F03834631 Time : 0.0 sec. user=mdettweiler [2020-01-03 17:08:48] 683*2^1552122-1 is not prime. Res64: 5055E52526D73D1A Time : 0.0 sec. user=mdettweiler [2020-01-03 17:08:51] 711*2^1552122-1 is not prime. Res64: 2D936EDAA39C9E0A Time : 0.0 sec. user=mdettweiler [2020-01-03 17:08:52] 801*2^1552122-1 is not prime. Res64: 70AB91139402B8E5 Time : 0.0 sec. user=mdettweiler [2020-01-03 17:08:53] 963*2^1552122-1 is not prime. Res64: 1C1D786F533DCA48 Time : 0.0 sec. user=mdettweiler [2020-01-03 17:08:55] 639*2^1552123-1 is not prime. Res64: 85449B5392BCB87B Time : 0.0 sec. user=mdettweiler [2020-01-03 17:18:19] 649*2^1552123-1 is not prime. Res64: E88951FA959DDBE9 Time : 0.0 sec. user=mdettweiler [2020-01-03 17:18:21] 859*2^1552123-1 is not prime. Res64: 35435BACBC1296D1 Time : 0.0 sec. user=mdettweiler [2020-01-03 17:18:22] 919*2^1552123-1 is not prime. Res64: FD4DA8B8EE5AF7A0 Time : 0.0 sec. user=mdettweiler [2020-01-03 17:18:23] 915*2^1552124-1 is not prime. Res64: E35ED255FE6AB2D3 Time : 0.0 sec. user=mdettweiler [2020-01-03 17:18:26] 923*2^1552124-1 is not prime. Res64: 14ED441CF667AC8B Time : 0.0 sec. user=mdettweiler [2020-01-03 17:22:32] 935*2^1552124-1 is not prime. Res64: 8648716F125EFED1 Time : 0.0 sec. user=mdettweiler [2020-01-03 17:22:33] 627*2^1552125-1 is not prime. Res64: 912A8DBCE383599D Time : 0.0 sec. user=mdettweiler [2020-01-03 17:22:33] 805*2^1552125-1 is not prime. Res64: 41952F8086D9902F Time : 0.0 sec. user=mdettweiler [2020-01-03 17:22:33] 847*2^1552125-1 is not prime. Res64: DA5F6D6AD562962D Time : 0.0 sec. user=mdettweiler [2020-01-03 17:22:34] 859*2^1552125-1 is not prime. Res64: A71490BA751DCCA1 Time : 0.0 sec. user=mdettweiler [2020-01-03 18:03:42] 871*2^1552125-1 is not prime. Res64: 0A8E691CFC3C3188 Time : 0.0 sec. user=mdettweiler [2020-01-03 18:03:44] 949*2^1552125-1 is not prime. Res64: D8428331A4239274 Time : 0.0 sec. user=mdettweiler [2020-01-03 18:03:44] 955*2^1552125-1 is not prime. Res64: 895EE3EA609E43CC Time : 0.0 sec. user=mdettweiler [2020-01-03 18:03:45] 635*2^1552126-1 is not prime. Res64: 4E4C7144F412AD16 Time : 0.0 sec. user=mdettweiler [2020-01-03 18:03:46] 741*2^1552126-1 is not prime. Res64: 8BCB93AB278C5363 Time : 0.0 sec. user=mdettweiler [2020-01-03 18:13:31] 815*2^1552126-1 is not prime. Res64: FC331409E774204F Time : 0.0 sec. user=mdettweiler [2020-01-03 18:13:32] 873*2^1552126-1 is not prime. Res64: 9D507507ECE4494B Time : 0.0 sec. user=mdettweiler [2020-01-03 18:13:32] 923*2^1552126-1 is not prime. Res64: 9A86595B43C39760 Time : 0.0 sec. user=mdettweiler [2020-01-03 18:13:33] 941*2^1552126-1 is not prime. Res64: 5E173AB4109B6AAF Time : 0.0 sec. user=mdettweiler [2020-01-03 18:13:33] 993*2^1552126-1 is not prime. Res64: 24D826710D15C692 Time : 0.0 sec. user=mdettweiler [2020-01-03 18:13:58] 703*2^1552127-1 is not prime. Res64: 358BE5C924F8F9A8 Time : 0.0 sec. user=mdettweiler [2020-01-03 18:13:59] 729*2^1552127-1 is not prime. Res64: 2C7F2D715F0EB9DA Time : 0.0 sec. user=mdettweiler [2020-01-03 18:13:59] 775*2^1552127-1 is not prime. Res64: 11C98077953BF6E1 Time : 0.0 sec. user=mdettweiler [2020-01-03 18:13:59] 813*2^1552127-1 is not prime. Res64: 2D09D08EA528C355 Time : 0.0 sec. user=mdettweiler [2020-01-03 18:14:00] 841*2^1552127-1 is not prime. Res64: 2828516A0EEC12FC Time : 0.0 sec. user=mdettweiler [2020-01-03 18:56:35] 879*2^1552127-1 is not prime. Res64: D575B6AF1E532B9B Time : 0.0 sec. user=mdettweiler [2020-01-03 18:56:35] 979*2^1552127-1 is not prime. Res64: 1540CE0BC94C1DF2 Time : 0.0 sec. user=mdettweiler [2020-01-03 18:56:36] 635*2^1552128-1 is not prime. Res64: 2F79C054AF380811 Time : 0.0 sec. user=mdettweiler [2020-01-03 18:56:36] 639*2^1552128-1 is not prime. Res64: E06F5A8800987814 Time : 0.0 sec. user=mdettweiler [2020-01-03 18:56:37] 669*2^1552128-1 is not prime. Res64: 38F52988F1985F1D Time : 0.0 sec. user=mdettweiler [2020-01-03 19:04:51] 707*2^1552128-1 is not prime. Res64: AEBDC35B2248AAC7 Time : 0.0 sec. user=mdettweiler [2020-01-03 19:04:53] 735*2^1552128-1 is not prime. Res64: 30FB0BF38962D7AA Time : 0.0 sec. user=mdettweiler [2020-01-03 19:04:55] 765*2^1552128-1 is not prime. Res64: DE4CF09681014182 Time : 0.0 sec. user=mdettweiler [2020-01-03 19:04:56] 843*2^1552128-1 is not prime. Res64: 769B43D3DCE5055A Time : 0.0 sec. user=mdettweiler [2020-01-03 19:04:58] 615*2^1552129-1 is not prime. Res64: 3A1064366B3D0685 Time : 0.0 sec. user=mdettweiler [2020-01-03 19:05:10] 649*2^1552129-1 is not prime. Res64: 3AD396A50A997CC8 Time : 0.0 sec. user=mdettweiler [2020-01-03 19:05:13] 691*2^1552129-1 is not prime. Res64: C789F71A34D99E14 Time : 0.0 sec. user=mdettweiler [2020-01-03 19:05:20] 705*2^1552129-1 is not prime. Res64: 316541477EAC9E5E Time : 0.0 sec. user=mdettweiler [2020-01-03 19:05:21] 747*2^1552129-1 is not prime. Res64: 5FDD11FE15C80131 Time : 0.0 sec. user=mdettweiler [2020-01-03 19:05:25] 811*2^1552129-1 is not prime. Res64: 7A9F5FA4A8C3C62F Time : 0.0 sec. user=mdettweiler [2020-01-03 19:48:33] 861*2^1552129-1 is not prime. Res64: 3E71FD8C91EEFE54 Time : 0.0 sec. user=mdettweiler [2020-01-03 19:48:33] 603*2^1552130-1 is not prime. Res64: 26A4329FE8225C4E Time : 0.0 sec. user=mdettweiler [2020-01-03 19:48:34] 687*2^1552130-1 is not prime. Res64: 6EFCA667A59055C7 Time : 0.0 sec. user=mdettweiler [2020-01-03 19:48:34] 731*2^1552130-1 is not prime. Res64: 8032A21030BB4238 Time : 0.0 sec. user=mdettweiler [2020-01-03 19:48:34] 783*2^1552130-1 is not prime. Res64: 87EC543FEEEE95B4 Time : 0.0 sec. user=mdettweiler [2020-01-03 19:59:34] 751*2^1552131-1 is not prime. Res64: 73265D9C1564BA05 Time : 0.0 sec. user=mdettweiler [2020-01-03 19:59:34] 825*2^1552131-1 is not prime. Res64: 88AA7F1CEEA50066 Time : 0.0 sec. user=mdettweiler [2020-01-03 19:59:34] 913*2^1552131-1 is not prime. Res64: 22DD6DD512DE2382 Time : 0.0 sec. user=mdettweiler [2020-01-03 19:59:35] 979*2^1552131-1 is not prime. Res64: 14A27EE69036A32C Time : 0.0 sec. user=mdettweiler [2020-01-03 19:59:35] 675*2^1552132-1 is not prime. Res64: FF7718D4D883A812 Time : 0.0 sec. user=mdettweiler [2020-01-03 20:01:11] 887*2^1552130-1 is not prime. Res64: 0B79CCA2FAAE7765 Time : 0.0 sec. user=mdettweiler [2020-01-03 20:01:12] 911*2^1552130-1 is not prime. Res64: 0C51BE4BC87DB95F Time : 0.0 sec. user=mdettweiler [2020-01-03 20:01:13] 921*2^1552130-1 is not prime. Res64: 2C69C4ECE902BA1E Time : 0.0 sec. user=mdettweiler [2020-01-03 20:01:13] 957*2^1552130-1 is not prime. Res64: 80E2BC73BBB25E30 Time : 0.0 sec. user=mdettweiler [2020-01-03 20:01:14] 931*2^1552131-1 is not prime. Res64: CB76ACA2E86E3D41 Time : 0.0 sec. user=mdettweiler [2020-01-03 20:40:40] 687*2^1552132-1 is not prime. Res64: 57FE3916CD7FDE98 Time : 0.0 sec. user=mdettweiler [2020-01-03 20:40:41] 743*2^1552132-1 is not prime. Res64: 877C9947925B7AE1 Time : 0.0 sec. user=mdettweiler [2020-01-03 20:40:41] 785*2^1552132-1 is not prime. Res64: 2F1CA7D7BAE2D63F Time : 0.0 sec. user=mdettweiler [2020-01-03 20:40:41] 857*2^1552132-1 is not prime. Res64: 6C6287ACB324B5E9 Time : 0.0 sec. user=mdettweiler [2020-01-03 20:40:41] 923*2^1552132-1 is not prime. Res64: 800DBD1AD315FFC2 Time : 0.0 sec. user=mdettweiler [2020-01-03 20:52:00] 715*2^1552133-1 is not prime. Res64: 756FAAFBC2525499 Time : 0.0 sec. user=mdettweiler [2020-01-03 20:52:01] 787*2^1552133-1 is not prime. Res64: 95A35C114CE1DF17 Time : 0.0 sec. user=mdettweiler [2020-01-03 20:52:01] 879*2^1552133-1 is not prime. Res64: 8BAD303F27838B44 Time : 0.0 sec. user=mdettweiler [2020-01-03 20:52:01] 795*2^1552134-1 is not prime. Res64: 9EFD7ADDA494B253 Time : 0.0 sec. user=mdettweiler [2020-01-03 20:52:01] 875*2^1552134-1 is not prime. Res64: 912F2C88449BBF78 Time : 0.0 sec. user=mdettweiler [2020-01-03 20:53:20] 917*2^1552134-1 is not prime. Res64: 7752DA7EF7683FA1 Time : 0.0 sec. user=mdettweiler [2020-01-03 20:53:21] 679*2^1552135-1 is not prime. Res64: 674A4D5FC88B8D80 Time : 0.0 sec. user=mdettweiler [2020-01-03 20:53:21] 693*2^1552135-1 is not prime. Res64: B3A37A406E6FE078 Time : 0.0 sec. user=mdettweiler [2020-01-03 20:53:21] 789*2^1552135-1 is not prime. Res64: E0C3CA0F4CB3650C Time : 0.0 sec. user=mdettweiler [2020-01-03 20:53:21] 895*2^1552135-1 is not prime. Res64: C0D6BD19C39FE5C4 Time : 0.0 sec. user=mdettweiler [2020-01-03 21:32:20] 623*2^1552136-1 is not prime. Res64: D4C2B13B12D947A5 Time : 0.0 sec. user=mdettweiler [2020-01-03 21:32:20] 677*2^1552136-1 is not prime. Res64: 60F36B4D84674FA1 Time : 0.0 sec. user=mdettweiler [2020-01-03 21:32:20] 759*2^1552136-1 is not prime. Res64: 75976B96494EBB06 Time : 0.0 sec. user=mdettweiler [2020-01-03 21:32:20] 843*2^1552136-1 is not prime. Res64: 068CF484E1339C76 Time : 0.0 sec. user=mdettweiler [2020-01-03 21:32:21] 855*2^1552136-1 is not prime. Res64: 84E772DFC5DB8F7E Time : 0.0 sec. user=mdettweiler [2020-01-03 21:43:44] 601*2^1552137-1 is not prime. Res64: 050F1257FF5FBA3F Time : 0.0 sec. user=mdettweiler [2020-01-03 21:43:45] 685*2^1552137-1 is not prime. Res64: 57F5B749D9ED5C9C Time : 0.0 sec. user=mdettweiler [2020-01-03 21:43:45] 735*2^1552137-1 is not prime. Res64: D3E2D76D795CB24D Time : 0.0 sec. user=mdettweiler [2020-01-03 21:43:45] 817*2^1552137-1 is not prime. Res64: E38BDBBC0E96C76B Time : 0.0 sec. user=mdettweiler [2020-01-03 21:43:45] 835*2^1552137-1 is not prime. Res64: E66FB1058FB1788F Time : 0.0 sec. user=mdettweiler [2020-01-03 21:44:45] 645*2^1552138-1 is not prime. Res64: E8C114B00E44A2C0 Time : 0.0 sec. user=mdettweiler [2020-01-03 21:44:45] 671*2^1552138-1 is not prime. Res64: FDE864B84E96A514 Time : 0.0 sec. user=mdettweiler [2020-01-03 21:44:45] 681*2^1552138-1 is not prime. Res64: 8FC0B41AA743FF5A Time : 0.0 sec. user=mdettweiler [2020-01-03 21:44:46] 735*2^1552138-1 is not prime. Res64: D1DBEF2168763283 Time : 0.0 sec. user=mdettweiler [2020-01-03 21:44:46] 791*2^1552138-1 is not prime. Res64: D714D93EEC993226 Time : 0.0 sec. user=mdettweiler [2020-01-03 22:26:51] 813*2^1552138-1 is not prime. Res64: AB50030E34D69333 Time : 0.0 sec. user=mdettweiler [2020-01-03 22:26:51] 815*2^1552138-1 is not prime. Res64: 468D5EEB2F86BD82 Time : 0.0 sec. user=mdettweiler [2020-01-03 22:26:52] 957*2^1552138-1 is not prime. Res64: AAABFFF3D309B7D1 Time : 0.0 sec. user=mdettweiler [2020-01-03 22:26:52] 993*2^1552138-1 is not prime. Res64: C2F53801F15E06C1 Time : 0.0 sec. user=mdettweiler [2020-01-03 22:26:52] 615*2^1552139-1 is not prime. Res64: EF1A32A18369CBA8 Time : 0.0 sec. user=mdettweiler [2020-01-03 22:35:53] 649*2^1552139-1 is not prime. Res64: 2DC301D5CE5CCB67 Time : 0.0 sec. user=mdettweiler [2020-01-03 22:35:53] 733*2^1552139-1 is not prime. Res64: C01605B77859A28A Time : 0.0 sec. user=mdettweiler [2020-01-03 22:35:53] 813*2^1552139-1 is not prime. Res64: E15DC15F1F97BBA1 Time : 0.0 sec. user=mdettweiler [2020-01-03 22:35:54] 885*2^1552139-1 is not prime. Res64: 4F1011E1375AA974 Time : 0.0 sec. user=mdettweiler [2020-01-03 22:35:54] 889*2^1552139-1 is not prime. Res64: 4B55AF1BD42CA17A Time : 0.0 sec. user=mdettweiler [2020-01-03 22:36:34] 909*2^1552139-1 is not prime. Res64: AC74DD08FA5251B8 Time : 0.0 sec. user=mdettweiler [2020-01-03 22:36:34] 633*2^1552140-1 is not prime. Res64: 0AA69801932F0345 Time : 0.0 sec. user=mdettweiler [2020-01-03 22:36:34] 737*2^1552140-1 is not prime. Res64: 3B154F9B7DA0BB46 Time : 0.0 sec. user=mdettweiler [2020-01-03 22:36:34] 753*2^1552140-1 is not prime. Res64: E68D55CD941CD068 Time : 0.0 sec. user=mdettweiler [2020-01-03 22:36:35] 893*2^1552140-1 is not prime. Res64: 3E6A997CF0CE9E0A Time : 0.0 sec. user=mdettweiler [2020-01-03 23:20:10] 909*2^1552140-1 is not prime. Res64: FCEF504266E711C6 Time : 0.0 sec. user=mdettweiler [2020-01-03 23:20:11] 915*2^1552140-1 is not prime. Res64: 3E275BECE1A1B350 Time : 0.0 sec. user=mdettweiler [2020-01-03 23:20:11] 927*2^1552140-1 is not prime. Res64: 2A32564AAE107272 Time : 0.0 sec. user=mdettweiler [2020-01-03 23:20:11] 975*2^1552140-1 is not prime. Res64: 5444F2FC34B9B0F6 Time : 0.0 sec. user=mdettweiler [2020-01-03 23:20:12] 681*2^1552141-1 is not prime. Res64: 693B4E3AF9F39DBA Time : 0.0 sec. user=mdettweiler [2020-01-03 23:26:53] 747*2^1552141-1 is not prime. Res64: 4F6F9E41B4C4C3C9 Time : 0.0 sec. user=mdettweiler [2020-01-03 23:26:53] 775*2^1552141-1 is not prime. Res64: C24EF7D9F43A49E1 Time : 0.0 sec. user=mdettweiler [2020-01-03 23:26:53] 623*2^1552142-1 is not prime. Res64: D19B98595280E2EE Time : 0.0 sec. user=mdettweiler [2020-01-03 23:26:54] 645*2^1552142-1 is not prime. Res64: C714D0F041B9F4D6 Time : 0.0 sec. user=mdettweiler [2020-01-03 23:26:54] 771*2^1552142-1 is not prime. Res64: F89DED15FAF94D92 Time : 0.0 sec. user=mdettweiler [2020-01-03 23:30:50] 873*2^1552142-1 is not prime. Res64: 47D2EF4EC4E7BB18 Time : 0.0 sec. user=mdettweiler [2020-01-03 23:30:50] 893*2^1552142-1 is not prime. Res64: D1D28DA20BD96ED6 Time : 0.0 sec. user=mdettweiler [2020-01-03 23:30:51] 935*2^1552142-1 is not prime. Res64: 1600CAFFCB0EA6A9 Time : 0.0 sec. user=mdettweiler [2020-01-03 23:30:51] 977*2^1552142-1 is not prime. Res64: 19F3EF8922073DCA Time : 0.0 sec. user=mdettweiler [2020-01-03 23:30:51] 609*2^1552143-1 is not prime. Res64: 8AF4D8F46A7D2354 Time : 0.0 sec.