user=mdettweiler [2020-01-01 00:17:19] 605*2^1552078-1 is not prime. Res64: 2695D55DEE64EDDC Time : 0.0 sec. user=mdettweiler [2020-01-01 00:17:21] 623*2^1552078-1 is not prime. Res64: 27AB95889AEC84BF Time : 0.0 sec. user=mdettweiler [2020-01-01 00:17:22] 671*2^1552078-1 is not prime. Res64: 5BB8D69B97240849 Time : 0.0 sec. user=mdettweiler [2020-01-01 00:17:22] 827*2^1552078-1 is not prime. Res64: 94E834317220C30A Time : 0.0 sec. user=mdettweiler [2020-01-01 00:17:23] 887*2^1552078-1 is not prime. Res64: 8DF8C665125F7DCD Time : 0.0 sec. user=mdettweiler [2020-01-01 00:34:30] 945*2^1552078-1 is not prime. Res64: 6E68106DD959DA74 Time : 0.0 sec. user=mdettweiler [2020-01-01 00:34:31] 981*2^1552078-1 is not prime. Res64: 7D76F94EFCF73220 Time : 0.0 sec. user=mdettweiler [2020-01-01 00:34:31] 685*2^1552079-1 is not prime. Res64: 617156C4B699840C Time : 0.0 sec. user=mdettweiler [2020-01-01 00:34:31] 693*2^1552079-1 is not prime. Res64: 20F2480BF17069F0 Time : 0.0 sec. user=mdettweiler [2020-01-01 00:34:32] 705*2^1552079-1 is not prime. Res64: 0542D95BBE055301 Time : 0.0 sec. user=mdettweiler [2020-01-01 00:46:35] 741*2^1552079-1 is not prime. Res64: ACDF5469CA3CD15C Time : 0.0 sec. user=mdettweiler [2020-01-01 00:46:35] 789*2^1552079-1 is not prime. Res64: 9B44E2A36060FC90 Time : 0.0 sec. user=mdettweiler [2020-01-01 00:46:36] 889*2^1552079-1 is not prime. Res64: 2CBAF1CE0FC97419 Time : 0.0 sec. user=mdettweiler [2020-01-01 00:46:36] 669*2^1552080-1 is not prime. Res64: 010A7AEDBEFD95EB Time : 0.0 sec. user=mdettweiler [2020-01-01 00:46:36] 747*2^1552080-1 is not prime. Res64: 64E8006BCEB32FA9 Time : 0.0 sec. user=mdettweiler [2020-01-01 01:10:46] 809*2^1552080-1 is not prime. Res64: 625C6E570F006CAD Time : 0.0 sec. user=mdettweiler [2020-01-01 01:10:46] 887*2^1552080-1 is not prime. Res64: 2A0F1E6B80DC2EE1 Time : 0.0 sec. user=mdettweiler [2020-01-01 01:10:47] 909*2^1552080-1 is not prime. Res64: B54B122587134376 Time : 0.0 sec. user=mdettweiler [2020-01-01 01:10:47] 999*2^1552080-1 is not prime. Res64: BB779859D947526F Time : 0.0 sec. user=mdettweiler [2020-01-01 01:10:47] 625*2^1552081-1 is not prime. Res64: 195AFCFF4E0549C5 Time : 0.0 sec. user=mdettweiler [2020-01-01 01:26:06] 639*2^1552081-1 is not prime. Res64: 92FCE6CD11033726 Time : 0.0 sec. user=mdettweiler [2020-01-01 01:26:07] 681*2^1552081-1 is not prime. Res64: 7CEB6B5F80CC38FC Time : 0.0 sec. user=mdettweiler [2020-01-01 01:26:08] 771*2^1552081-1 is not prime. Res64: 6F37DE4C2F3BC7DB Time : 0.0 sec. user=mdettweiler [2020-01-01 01:26:09] 807*2^1552081-1 is not prime. Res64: 0AC5AB713E1C017A Time : 0.0 sec. user=mdettweiler [2020-01-01 01:26:09] 829*2^1552081-1 is not prime. Res64: 6FB8116E4FF4F464 Time : 0.0 sec. user=mdettweiler [2020-01-01 01:42:03] 909*2^1552081-1 is not prime. Res64: DCD91314D35E2A05 Time : 0.0 sec. user=mdettweiler [2020-01-01 01:42:04] 939*2^1552081-1 is not prime. Res64: 9C1ED86AF4AB2385 Time : 0.0 sec. user=mdettweiler [2020-01-01 01:42:05] 997*2^1552081-1 is not prime. Res64: 58A69E931BB02DFB Time : 0.0 sec. user=mdettweiler [2020-01-01 01:42:07] 999*2^1552081-1 is not prime. Res64: 9A84FEF60E52F46E Time : 0.0 sec. user=mdettweiler [2020-01-01 01:42:08] 617*2^1552082-1 is not prime. Res64: 01BC282CDD5CEF73 Time : 0.0 sec. user=mdettweiler [2020-01-01 02:03:53] 651*2^1552082-1 is not prime. Res64: 1CC637E2F48B6445 Time : 0.0 sec. user=mdettweiler [2020-01-01 02:03:57] 731*2^1552082-1 is not prime. Res64: B40D7273595C4FCA Time : 0.0 sec. user=mdettweiler [2020-01-01 02:04:00] 873*2^1552082-1 is not prime. Res64: AA27BA186F6CB1CD Time : 0.0 sec. user=mdettweiler [2020-01-01 02:04:02] 893*2^1552082-1 is not prime. Res64: 02DBD4BE7C4EB201 Time : 0.0 sec. user=mdettweiler [2020-01-01 02:04:03] 945*2^1552082-1 is not prime. Res64: 29DC717AB16EF814 Time : 0.0 sec. user=mdettweiler [2020-01-01 02:20:25] 953*2^1552082-1 is not prime. Res64: 86D8497772489539 Time : 0.0 sec. user=mdettweiler [2020-01-01 02:20:26] 995*2^1552082-1 is not prime. Res64: C3E35827693973C1 Time : 0.0 sec. user=mdettweiler [2020-01-01 02:20:27] 649*2^1552083-1 is not prime. Res64: 0FF8E80E01236522 Time : 0.0 sec. user=mdettweiler [2020-01-01 02:20:28] 663*2^1552083-1 is not prime. Res64: F461F6C29B53049D Time : 0.0 sec. user=mdettweiler [2020-01-01 02:20:29] 669*2^1552083-1 is not prime. Res64: AF8816D7695BD4D0 Time : 0.0 sec. user=mdettweiler [2020-01-01 02:34:04] 721*2^1552083-1 is not prime. Res64: A0C9FDB1BB7FDDF8 Time : 0.0 sec. user=mdettweiler [2020-01-01 02:56:55] 743*2^1552084-1 is not prime. Res64: F12EDFA18536DE6A Time : 0.0 sec. user=mdettweiler [2020-01-01 02:56:55] 843*2^1552084-1 is not prime. Res64: 44D98E6280DF53D3 Time : 0.0 sec. user=mdettweiler [2020-01-01 02:56:56] 873*2^1552084-1 is not prime. Res64: 1F142C301BA7E559 Time : 0.0 sec. user=mdettweiler [2020-01-01 02:56:56] 905*2^1552084-1 is not prime. Res64: 75464735587E2FF7 Time : 0.0 sec. user=mdettweiler [2020-01-01 02:56:57] 915*2^1552084-1 is not prime. Res64: 2F4F6242F9D5066E Time : 0.0 sec. user=mdettweiler [2020-01-01 03:13:07] 959*2^1552084-1 is not prime. Res64: B3C003B5B2AE8E97 Time : 0.0 sec. user=mdettweiler [2020-01-01 03:13:10] 607*2^1552085-1 is not prime. Res64: 5BA486EA0AD6660B Time : 0.0 sec. user=mdettweiler [2020-01-01 03:13:11] 675*2^1552085-1 is not prime. Res64: DCB68F0F8AB0C536 Time : 0.0 sec. user=mdettweiler [2020-01-01 03:13:14] 679*2^1552085-1 is not prime. Res64: 3788B10C3DED07EC Time : 0.0 sec. user=mdettweiler [2020-01-01 03:13:16] 741*2^1552085-1 is not prime. Res64: CF6908A4C9F769A3 Time : 0.0 sec. user=mdettweiler [2020-01-01 03:50:32] 795*2^1552085-1 is not prime. Res64: 95982267887F4204 Time : 0.0 sec. user=mdettweiler [2020-01-01 03:50:35] 825*2^1552085-1 is not prime. Res64: 7A5865EAC9AD4CF6 Time : 0.0 sec. user=mdettweiler [2020-01-01 03:50:36] 861*2^1552085-1 is not prime. Res64: 9140CF276150E145 Time : 0.0 sec. user=mdettweiler [2020-01-01 03:50:37] 937*2^1552085-1 is not prime. Res64: 780BD11C9304339D Time : 0.0 sec. user=mdettweiler [2020-01-01 03:50:38] 717*2^1552086-1 is not prime. Res64: BCEA31A0BE0EF838 Time : 0.0 sec. user=mdettweiler [2020-01-01 04:07:13] 725*2^1552086-1 is not prime. Res64: 64C88BB72E62AD6F Time : 0.0 sec. user=mdettweiler [2020-01-01 04:07:25] 747*2^1552086-1 is not prime. Res64: 727D8CCFF7BA9876 Time : 0.0 sec. user=mdettweiler [2020-01-01 04:46:55] 993*2^1552086-1 is not prime. Res64: 408DC04BBAB6A2AC Time : 0.0 sec. user=mdettweiler [2020-01-01 04:46:56] 951*2^1552087-1 is not prime. Res64: 2796B57652C4C975 Time : 0.0 sec. user=mdettweiler [2020-01-01 04:46:56] 999*2^1552087-1 is not prime. Res64: 3EBA176554000356 Time : 0.0 sec. user=mdettweiler [2020-01-01 04:46:57] 665*2^1552088-1 is not prime. Res64: 53C602D8C35DD6F5 Time : 0.0 sec. user=mdettweiler [2020-01-01 04:46:58] 687*2^1552088-1 is not prime. Res64: 40C170C7FFB11C25 Time : 0.0 sec. user=mdettweiler [2020-01-01 04:55:48] 627*2^1552089-1 is not prime. Res64: B40F5576CBC3CB69 Time : 0.0 sec. user=mdettweiler [2020-01-01 05:43:41] 825*2^1552088-1 is not prime. Res64: 3B4582A254C4D86F Time : 0.0 sec. user=mdettweiler [2020-01-01 05:43:42] 929*2^1552088-1 is not prime. Res64: 662FCCD155F245E1 Time : 0.0 sec. user=mdettweiler [2020-01-01 05:43:42] 935*2^1552088-1 is not prime. Res64: D3B6D7407763C372 Time : 0.0 sec. user=mdettweiler [2020-01-01 05:43:43] 957*2^1552088-1 is not prime. Res64: 11EC35E2D2F7E7A9 Time : 0.0 sec. user=mdettweiler [2020-01-01 05:43:43] 995*2^1552088-1 is not prime. Res64: BE5E4BEA110B4E25 Time : 0.0 sec. user=mdettweiler [2020-01-01 06:38:20] 637*2^1552089-1 is not prime. Res64: 24A076F545787C48 Time : 0.0 sec. user=mdettweiler [2020-01-01 06:38:20] 685*2^1552089-1 is not prime. Res64: 6060BF6045D4016E Time : 0.0 sec. user=mdettweiler [2020-01-01 06:38:21] 865*2^1552089-1 is not prime. Res64: CC5336879E3AA9BF Time : 0.0 sec. user=mdettweiler [2020-01-01 06:38:21] 991*2^1552089-1 is not prime. Res64: 0FCF7BD89311F42A Time : 0.0 sec. user=mdettweiler [2020-01-01 06:38:21] 957*2^1552090-1 is not prime. Res64: 5DE4297D20C36745 Time : 0.0 sec. user=mdettweiler [2020-01-01 07:23:35] 781*2^1552083-1 is not prime. Res64: 25EF79C283B6F068 Time : 0.0 sec. user=mdettweiler [2020-01-01 07:23:35] 665*2^1552084-1 is not prime. Res64: 495CDCB256299A67 Time : 0.0 sec. user=mdettweiler [2020-01-01 07:23:36] 717*2^1552084-1 is not prime. Res64: 3E66D262F021E1DA Time : 0.0 sec. user=mdettweiler [2020-01-01 07:23:36] 723*2^1552084-1 is not prime. Res64: F203ADB2BAAD49B5 Time : 0.0 sec. user=mdettweiler [2020-01-01 07:31:13] 995*2^1552090-1 is not prime. Res64: E4096203596E9A13 Time : 0.0 sec. user=mdettweiler [2020-01-01 07:31:14] 711*2^1552091-1 is not prime. Res64: EB5826E8CCF2E7CE Time : 0.0 sec. user=mdettweiler [2020-01-01 07:31:14] 741*2^1552091-1 is not prime. Res64: 472ACDCE81C1E1B9 Time : 0.0 sec. user=mdettweiler [2020-01-01 07:31:14] 753*2^1552091-1 is not prime. Res64: B135BD97C84E4639 Time : 0.0 sec. user=mdettweiler [2020-01-01 07:31:15] 775*2^1552091-1 is not prime. Res64: 6FF9B52E48F97E2C Time : 0.0 sec. user=mdettweiler [2020-01-01 08:18:18] 841*2^1552091-1 is not prime. Res64: 0B0E89B33C8D907B Time : 0.0 sec. user=mdettweiler [2020-01-01 08:18:18] 879*2^1552091-1 is not prime. Res64: 7687D3FB9EDAFF20 Time : 0.0 sec. user=mdettweiler [2020-01-01 08:18:19] 955*2^1552091-1 is not prime. Res64: F4DE5B6942D0383C Time : 0.0 sec. user=mdettweiler [2020-01-01 08:18:20] 979*2^1552091-1 is not prime. Res64: 8892A72E543DEFC6 Time : 0.0 sec. user=mdettweiler [2020-01-01 08:18:21] 719*2^1552092-1 is not prime. Res64: 920554973D97EE36 Time : 0.0 sec. user=mdettweiler [2020-01-01 08:23:19] 749*2^1552092-1 is not prime. Res64: B81AD7FDE8C2738A Time : 0.0 sec. user=mdettweiler [2020-01-01 08:23:19] 843*2^1552092-1 is not prime. Res64: 4FBD111671D04329 Time : 0.0 sec. user=mdettweiler [2020-01-01 08:23:20] 875*2^1552092-1 is not prime. Res64: D77A7646383779E3 Time : 0.0 sec. user=mdettweiler [2020-01-01 08:23:20] 893*2^1552092-1 is not prime. Res64: 05C4DE83AAC55E8B Time : 0.0 sec. user=mdettweiler [2020-01-01 08:23:20] 769*2^1552093-1 is not prime. Res64: 9E7D4A23C73B580A Time : 0.0 sec. user=mdettweiler [2020-01-01 08:56:09] 881*2^1552086-1 is not prime. Res64: 72570E07169DD0A5 Time : 0.0 sec. user=mdettweiler [2020-01-01 08:56:10] 923*2^1552086-1 is not prime. Res64: 77BD38450A0F4A6D Time : 0.0 sec. user=mdettweiler [2020-01-01 08:56:10] 963*2^1552086-1 is not prime. Res64: 0F498CE127718E18 Time : 0.0 sec. user=mdettweiler [2020-01-01 09:12:49] 771*2^1552093-1 is not prime. Res64: 57B633F218C9FC42 Time : 0.0 sec. user=mdettweiler [2020-01-01 09:12:52] 861*2^1552093-1 is not prime. Res64: FA2E188073AE19F6 Time : 0.0 sec. user=mdettweiler [2020-01-01 09:12:56] 967*2^1552093-1 is not prime. Res64: 7028FC4666BF0668 Time : 0.0 sec. user=mdettweiler [2020-01-01 09:12:59] 999*2^1552093-1 is not prime. Res64: BD3620EF896EBE16 Time : 0.0 sec. user=mdettweiler [2020-01-01 09:13:02] 605*2^1552094-1 is not prime. Res64: 8516A7F2620A22E4 Time : 0.0 sec. user=mdettweiler [2020-01-01 09:16:40] 743*2^1552094-1 is not prime. Res64: 99D2B340E2EAF986 Time : 0.0 sec. user=mdettweiler [2020-01-01 09:16:43] 785*2^1552094-1 is not prime. Res64: 5FD2A90D184643BC Time : 0.0 sec. user=mdettweiler [2020-01-01 09:16:46] 813*2^1552094-1 is not prime. Res64: 3424EF9227A477DA Time : 0.0 sec. user=mdettweiler [2020-01-01 09:16:53] 831*2^1552094-1 is not prime. Res64: F9FE5E65FBE58BB3 Time : 0.0 sec. user=mdettweiler [2020-01-01 09:16:56] 983*2^1552094-1 is not prime. Res64: 3B1E658F07529BEE Time : 0.0 sec. user=mdettweiler [2020-01-01 09:47:25] 609*2^1552095-1 is not prime. Res64: 392B924502CE61D4 Time : 0.0 sec. user=mdettweiler [2020-01-01 09:47:25] 735*2^1552095-1 is not prime. Res64: F1EBAAE2930B7C17 Time : 0.0 sec. user=mdettweiler [2020-01-01 09:47:26] 765*2^1552095-1 is not prime. Res64: CEB85DAADB18902E Time : 0.0 sec. user=mdettweiler [2020-01-01 09:47:26] 775*2^1552095-1 is not prime. Res64: A8CE44B1CC7B682E Time : 0.0 sec. user=mdettweiler [2020-01-01 09:47:26] 789*2^1552095-1 is not prime. Res64: 5D4D8735DE6DD5A1 Time : 0.0 sec. user=mdettweiler [2020-01-01 10:08:03] 609*2^1552096-1 is not prime. Res64: 58A9029BF0DE1722 Time : 0.0 sec. user=mdettweiler [2020-01-01 10:08:04] 645*2^1552096-1 is not prime. Res64: D6D94D582E8D7269 Time : 0.0 sec. user=mdettweiler [2020-01-01 10:08:05] 735*2^1552096-1 is not prime. Res64: 631BF97DD0898CA9 Time : 0.0 sec. user=mdettweiler [2020-01-01 10:08:06] 765*2^1552096-1 is not prime. Res64: F89A133DD6ED8F83 Time : 0.0 sec. user=mdettweiler [2020-01-01 10:08:07] 773*2^1552096-1 is not prime. Res64: 3E5AD2FBB994A31F Time : 0.0 sec. user=mdettweiler [2020-01-01 10:08:49] 865*2^1552095-1 is not prime. Res64: E97E17E379E99C72 Time : 0.0 sec. user=mdettweiler [2020-01-01 10:08:50] 885*2^1552095-1 is not prime. Res64: FE59BAC394B3E96D Time : 0.0 sec. user=mdettweiler [2020-01-01 10:08:50] 909*2^1552095-1 is not prime. Res64: 0F8BB22BE7E914C6 Time : 0.0 sec. user=mdettweiler [2020-01-01 10:08:51] 969*2^1552095-1 is not prime. Res64: D86293F81D032A81 Time : 0.0 sec. user=mdettweiler [2020-01-01 10:08:51] 979*2^1552095-1 is not prime. Res64: 576D68268911D1C4 Time : 0.0 sec. user=mdettweiler [2020-01-01 10:40:42] 777*2^1552096-1 is not prime. Res64: A9D890515A72C8B7 Time : 0.0 sec. user=mdettweiler [2020-01-01 10:40:42] 873*2^1552096-1 is not prime. Res64: 25E064D1052BE699 Time : 0.0 sec. user=mdettweiler [2020-01-01 10:40:43] 909*2^1552096-1 is not prime. Res64: 820AAD2BCE43A0AF Time : 0.0 sec. user=mdettweiler [2020-01-01 10:40:43] 917*2^1552096-1 is not prime. Res64: 3DF89308F4FBB874 Time : 0.0 sec. user=mdettweiler [2020-01-01 10:40:43] 939*2^1552096-1 is not prime. Res64: 4213E4B741C0EB46 Time : 0.0 sec. user=mdettweiler [2020-01-01 10:59:27] 727*2^1552097-1 is not prime. Res64: 1A7CC8E624770EA7 Time : 0.0 sec. user=mdettweiler [2020-01-01 10:59:27] 819*2^1552097-1 is not prime. Res64: 7065430C21AB7200 Time : 0.0 sec. user=mdettweiler [2020-01-01 10:59:28] 647*2^1552098-1 is not prime. Res64: 55F162B1F371343A Time : 0.0 sec. user=mdettweiler [2020-01-01 10:59:28] 651*2^1552098-1 is not prime. Res64: 264391E1AD6B30A5 Time : 0.0 sec. user=mdettweiler [2020-01-01 10:59:28] 681*2^1552098-1 is not prime. Res64: 4545FF9304874392 Time : 0.0 sec. user=mdettweiler [2020-01-01 11:02:00] 755*2^1552098-1 is not prime. Res64: 493249F55767ADE2 Time : 0.0 sec. user=mdettweiler [2020-01-01 11:02:03] 791*2^1552098-1 is not prime. Res64: E000E4949C308FB2 Time : 0.0 sec. user=mdettweiler [2020-01-01 11:02:04] 825*2^1552098-1 is not prime. Res64: 6437A92ACA64F3E8 Time : 0.0 sec. user=mdettweiler [2020-01-01 11:02:06] 893*2^1552098-1 is not prime. Res64: 0420F084308AF033 Time : 0.0 sec. user=mdettweiler [2020-01-01 11:02:06] 975*2^1552098-1 is not prime. Res64: BE9C3196835F2912 Time : 0.0 sec. user=mdettweiler [2020-01-01 11:31:48] 609*2^1552099-1 is not prime. Res64: 937AFE32D0F47A96 Time : 0.0 sec. user=mdettweiler [2020-01-01 11:31:50] 751*2^1552099-1 is not prime. Res64: F2B8CF7A0B6FE927 Time : 0.0 sec. user=mdettweiler [2020-01-01 11:31:51] 771*2^1552099-1 is not prime. Res64: 0CF520060A917F0C Time : 0.0 sec. user=mdettweiler [2020-01-01 11:31:51] 775*2^1552099-1 is not prime. Res64: BFA3B69D5DED9F70 Time : 0.0 sec. user=mdettweiler [2020-01-01 11:31:52] 615*2^1552100-1 is not prime. Res64: 9A7FB2071BC3EA5A Time : 0.0 sec. user=mdettweiler [2020-01-01 11:51:49] 677*2^1552100-1 is not prime. Res64: BBC42196017F4F9D Time : 0.0 sec. user=mdettweiler [2020-01-01 11:51:49] 789*2^1552100-1 is not prime. Res64: DABFB849894D3B3E Time : 0.0 sec. user=mdettweiler [2020-01-01 11:51:50] 839*2^1552100-1 is not prime. Res64: 4F8DEA54A2C55143 Time : 0.0 sec. user=mdettweiler [2020-01-01 11:51:50] 927*2^1552100-1 is not prime. Res64: 468A4F5C5A824EEB Time : 0.0 sec. user=mdettweiler [2020-01-01 11:51:50] 929*2^1552100-1 is not prime. Res64: D508CE57690A8461 Time : 0.0 sec. user=mdettweiler [2020-01-01 11:55:32] 995*2^1552100-1 is not prime. Res64: 872419B09510A67E Time : 0.0 sec. user=mdettweiler [2020-01-01 11:55:32] 609*2^1552101-1 is not prime. Res64: 5712D61CD625AE0B Time : 0.0 sec. user=mdettweiler [2020-01-01 11:55:33] 691*2^1552101-1 is not prime. Res64: 695762FA0D0FC80F Time : 0.0 sec. user=mdettweiler [2020-01-01 11:55:33] 795*2^1552101-1 is not prime. Res64: EF6F2152BD94682B Time : 0.0 sec. user=mdettweiler [2020-01-01 11:55:33] 819*2^1552101-1 is not prime. Res64: FDF2485DB9796F60 Time : 0.0 sec. user=mdettweiler [2020-01-01 12:27:00] 877*2^1552101-1 is not prime. Res64: 1BA77F875001F8CB Time : 0.0 sec. user=mdettweiler [2020-01-01 12:27:00] 921*2^1552101-1 is not prime. Res64: F775A602E8EBD22C Time : 0.0 sec. user=mdettweiler [2020-01-01 12:27:01] 945*2^1552101-1 is not prime. Res64: 099F84FE8B1C90C8 Time : 0.0 sec. user=mdettweiler [2020-01-01 12:27:01] 951*2^1552101-1 is not prime. Res64: 71D4DBA0CF1DA017 Time : 0.0 sec. user=mdettweiler [2020-01-01 12:27:02] 617*2^1552102-1 is not prime. Res64: 3D025CC002D52755 Time : 0.0 sec. user=mdettweiler [2020-01-01 12:45:43] 621*2^1552102-1 is not prime. Res64: 434C473CE6430AF8 Time : 0.0 sec. user=mdettweiler [2020-01-01 12:45:43] 755*2^1552102-1 is not prime. Res64: 5D6D57B05B4A0DB0 Time : 0.0 sec. user=mdettweiler [2020-01-01 12:45:43] 915*2^1552102-1 is not prime. Res64: B58F34640759A4AD Time : 0.0 sec. user=mdettweiler [2020-01-01 12:45:44] 947*2^1552102-1 is not prime. Res64: E022865833ACFE55 Time : 0.0 sec. user=mdettweiler [2020-01-01 12:45:44] 609*2^1552103-1 is not prime. Res64: 814F1A12DECC6241 Time : 0.0 sec. user=mdettweiler [2020-01-01 12:47:44] 615*2^1552103-1 is not prime. Res64: 24C8F4C394C14F2E Time : 0.0 sec. user=mdettweiler [2020-01-01 12:47:45] 759*2^1552103-1 is not prime. Res64: 82AB279462D7885F Time : 0.0 sec. user=mdettweiler [2020-01-01 12:47:45] 663*2^1552104-1 is not prime. Res64: F4953AF1CFCB7FB6 Time : 0.0 sec. user=mdettweiler [2020-01-01 12:47:45] 695*2^1552104-1 is not prime. Res64: 0E297E00E98AE5C0 Time : 0.0 sec. user=mdettweiler [2020-01-01 12:47:46] 707*2^1552104-1 is not prime. Res64: 6DB1F246DFC3D301 Time : 0.0 sec. user=mdettweiler [2020-01-01 13:21:01] 843*2^1552104-1 is not prime. Res64: 2D6BAED472C20CC6 Time : 0.0 sec. user=mdettweiler [2020-01-01 13:21:02] 983*2^1552104-1 is not prime. Res64: 46E5120D08FF9F3F Time : 0.0 sec. user=mdettweiler [2020-01-01 13:21:02] 607*2^1552105-1 is not prime. Res64: BAD37C7F33372042 Time : 0.0 sec. user=mdettweiler [2020-01-01 13:21:02] 775*2^1552105-1 is not prime. Res64: DB32ECE681C309A8 Time : 0.0 sec. user=mdettweiler [2020-01-01 13:21:03] 805*2^1552105-1 is not prime. Res64: 62E94E24D0C92D7E Time : 0.0 sec. user=mdettweiler [2020-01-01 13:39:05] 817*2^1552105-1 is not prime. Res64: CD45BC3809D9A306 Time : 0.0 sec. user=mdettweiler [2020-01-01 13:39:06] 831*2^1552105-1 is not prime. Res64: 4142515F1D82FBA5 Time : 0.0 sec. user=mdettweiler [2020-01-01 13:39:06] 957*2^1552105-1 is not prime. Res64: 33BF63B93EA5E3AC Time : 0.0 sec. user=mdettweiler [2020-01-01 13:39:07] 623*2^1552106-1 is not prime. Res64: 07400BA2A535CA4B Time : 0.0 sec. user=mdettweiler [2020-01-01 13:39:07] 705*2^1552106-1 is not prime. Res64: 4A1DD47DDAC74596 Time : 0.0 sec. user=mdettweiler [2020-01-01 13:41:27] 801*2^1552106-1 is not prime. Res64: 6F2DC887CF3678A1 Time : 0.0 sec. user=mdettweiler [2020-01-01 13:41:28] 815*2^1552106-1 is not prime. Res64: 61294D0283AA1144 Time : 0.0 sec. user=mdettweiler [2020-01-01 13:41:28] 923*2^1552106-1 is not prime. Res64: 0B20A9E7D5BDF375 Time : 0.0 sec. user=mdettweiler [2020-01-01 13:41:29] 987*2^1552106-1 is not prime. Res64: 29271F3E6160BFB5 Time : 0.0 sec. user=mdettweiler [2020-01-01 13:41:29] 685*2^1552107-1 is not prime. Res64: AF4D8DD07EBFD62E Time : 0.0 sec. user=mdettweiler [2020-01-01 14:15:25] 859*2^1552107-1 is not prime. Res64: A173287BCEF342FD Time : 0.0 sec. user=mdettweiler [2020-01-01 14:15:26] 861*2^1552107-1 is not prime. Res64: FE0591981E7262A4 Time : 0.0 sec. user=mdettweiler [2020-01-01 14:15:27] 945*2^1552107-1 is not prime. Res64: ACBC78D4436A395E Time : 0.0 sec. user=mdettweiler [2020-01-01 14:15:27] 951*2^1552107-1 is not prime. Res64: 246FD5EB76BA3887 Time : 0.0 sec. user=mdettweiler [2020-01-01 14:15:28] 603*2^1552108-1 is not prime. Res64: B246E7B62C70F26D Time : 0.0 sec. user=mdettweiler [2020-01-01 14:30:59] 657*2^1552108-1 is not prime. Res64: E0A51250B769B4A3 Time : 0.0 sec. user=mdettweiler [2020-01-01 14:31:00] 699*2^1552108-1 is not prime. Res64: E03C9F8B4FEBFED5 Time : 0.0 sec. user=mdettweiler [2020-01-01 14:31:00] 863*2^1552108-1 is not prime. Res64: 927D5C09CDF1A089 Time : 0.0 sec. user=mdettweiler [2020-01-01 14:31:00] 885*2^1552108-1 is not prime. Res64: B2B49B94089F6E76 Time : 0.0 sec. user=mdettweiler [2020-01-01 14:31:01] 909*2^1552108-1 is not prime. Res64: 4D44D3B7B9AFBD5B Time : 0.0 sec. user=mdettweiler [2020-01-01 14:34:28] 929*2^1552108-1 is not prime. Res64: 0A9EA8DE166C1D90 Time : 0.0 sec. user=mdettweiler [2020-01-01 14:34:28] 957*2^1552108-1 is not prime. Res64: D3F6303A34299901 Time : 0.0 sec. user=mdettweiler [2020-01-01 14:34:29] 735*2^1552109-1 is not prime. Res64: 6FBE307868C5D00F Time : 0.0 sec. user=mdettweiler [2020-01-01 14:34:29] 745*2^1552109-1 is not prime. Res64: 0B280A2BB1D3939E Time : 0.0 sec. user=mdettweiler [2020-01-01 14:34:29] 927*2^1552109-1 is not prime. Res64: 1852DC78E1648A1F Time : 0.0 sec. user=mdettweiler [2020-01-01 15:07:58] 969*2^1552109-1 is not prime. Res64: E2D7DE53EDEBCDEC Time : 0.0 sec. user=mdettweiler [2020-01-01 15:08:03] 611*2^1552110-1 is not prime. Res64: 24ACD34921634798 Time : 0.0 sec. user=mdettweiler [2020-01-01 15:08:05] 651*2^1552110-1 is not prime. Res64: 790053C9CC72DEE1 Time : 0.0 sec. user=mdettweiler [2020-01-01 15:08:07] 747*2^1552110-1 is not prime. Res64: BE668ED7D7EA7632 Time : 0.0 sec. user=mdettweiler [2020-01-01 15:08:08] 777*2^1552110-1 is not prime. Res64: 7406A455E966B4EB Time : 0.0 sec. user=mdettweiler [2020-01-01 15:25:36] 791*2^1552110-1 is not prime. Res64: 8554496D60476933 Time : 0.0 sec. user=mdettweiler [2020-01-01 15:25:36] 867*2^1552110-1 is not prime. Res64: 60344F1EB334BEA3 Time : 0.0 sec. user=mdettweiler [2020-01-01 15:25:37] 921*2^1552110-1 is not prime. Res64: 93E3416F0EDBC5F7 Time : 0.0 sec. user=mdettweiler [2020-01-01 15:25:37] 933*2^1552110-1 is not prime. Res64: 8C858BBD0DB47235 Time : 0.0 sec. user=mdettweiler [2020-01-01 15:25:38] 941*2^1552110-1 is not prime. Res64: 99CDE3268391641B Time : 0.0 sec. user=mdettweiler [2020-01-01 15:27:16] 601*2^1552111-1 is not prime. Res64: 693E9996C232D8C3 Time : 0.0 sec. user=mdettweiler [2020-01-01 15:27:16] 663*2^1552111-1 is not prime. Res64: A04999A7A5A3FB7E Time : 0.0 sec. user=mdettweiler [2020-01-01 15:27:16] 763*2^1552111-1 is not prime. Res64: 474A43844E45626F Time : 0.0 sec. user=mdettweiler [2020-01-01 15:27:17] 819*2^1552111-1 is not prime. Res64: 6337B14B8936D428 Time : 0.0 sec. user=mdettweiler [2020-01-01 15:27:17] 943*2^1552111-1 is not prime. Res64: FF24B6083249F381 Time : 0.0 sec.