user=mdettweiler [2016-10-24 00:36:56] 657*2^1443758-1 is not prime. Res64: EF695E95F5FF4E55 Time : 0.0 sec. user=mdettweiler [2016-10-24 00:36:57] 755*2^1443758-1 is not prime. Res64: DD1A11E05BAA607B Time : 0.0 sec. user=mdettweiler [2016-10-24 00:36:57] 887*2^1443758-1 is not prime. Res64: B8606C7C600AF20A Time : 0.0 sec. user=mdettweiler [2016-10-24 00:36:57] 775*2^1443759-1 is not prime. Res64: 09E7C7A2316E8CA0 Time : 0.0 sec. user=mdettweiler [2016-10-24 00:36:58] 793*2^1443759-1 is not prime. Res64: 597A78D5BD0E518B Time : 0.0 sec. user=mdettweiler [2016-10-24 00:46:28] 885*2^1443759-1 is not prime. Res64: A8C4E11FDBC70FA5 Time : 0.0 sec. user=mdettweiler [2016-10-24 00:46:29] 951*2^1443759-1 is not prime. Res64: 6071A842BEE075F4 Time : 0.0 sec. user=mdettweiler [2016-10-24 00:46:29] 635*2^1443760-1 is not prime. Res64: A86D2E02700E012C Time : 0.0 sec. user=mdettweiler [2016-10-24 00:46:29] 645*2^1443760-1 is not prime. Res64: 8CA6EC9236B5A098 Time : 0.0 sec. user=mdettweiler [2016-10-24 00:46:30] 675*2^1443760-1 is not prime. Res64: 0E9C082AFE1FD627 Time : 0.0 sec. user=mdettweiler [2016-10-24 01:24:37] 927*2^1443760-1 is not prime. Res64: 86D77A86F8D8A72D Time : 0.0 sec. user=mdettweiler [2016-10-24 01:34:38] 717*2^1443762-1 is not prime. Res64: 942AD7A79B3F76E0 Time : 0.0 sec. user=mdettweiler [2016-10-24 01:34:42] 807*2^1443762-1 is not prime. Res64: 9D19C8AED03EEE75 Time : 0.0 sec. user=mdettweiler [2016-10-24 01:34:43] 843*2^1443762-1 is not prime. Res64: 0DEC3787F791E0F8 Time : 0.0 sec. user=mdettweiler [2016-10-24 01:34:43] 873*2^1443762-1 is not prime. Res64: 15F35196DC5ED0F2 Time : 0.0 sec. user=mdettweiler [2016-10-24 01:34:45] 923*2^1443762-1 is not prime. Res64: E23CFEE82A9CDBD1 Time : 0.0 sec. user=mdettweiler [2016-10-24 02:29:44] 941*2^1443762-1 is not prime. Res64: 1E54FF3301FD08C9 Time : 0.0 sec. user=mdettweiler [2016-10-24 02:29:45] 609*2^1443763-1 is not prime. Res64: 055365456CA6839E Time : 0.0 sec. user=mdettweiler [2016-10-24 02:29:46] 625*2^1443763-1 is not prime. Res64: A780BB9E28E08FEA Time : 0.0 sec. user=mdettweiler [2016-10-24 02:29:47] 649*2^1443763-1 is not prime. Res64: AE520E3B349BAD4E Time : 0.0 sec. user=mdettweiler [2016-10-24 02:29:48] 709*2^1443763-1 is not prime. Res64: CCD5C60C4EDF515C Time : 0.0 sec. user=mdettweiler [2016-10-24 02:52:55] 685*2^1443751-1 is not prime. Res64: 561069B3E7C16686 Time : 0.0 sec. user=mdettweiler [2016-10-24 02:52:55] 715*2^1443751-1 is not prime. Res64: 4E50F0F403F090E1 Time : 0.0 sec. user=mdettweiler [2016-10-24 02:52:55] 883*2^1443751-1 is not prime. Res64: 190479B5ACF067B2 Time : 0.0 sec. user=mdettweiler [2016-10-24 02:52:56] 931*2^1443751-1 is not prime. Res64: 58189F5C5046E14F Time : 0.0 sec. user=mdettweiler [2016-10-24 03:23:03] 735*2^1443763-1 is not prime. Res64: A4EF06A3EDD1E0E9 Time : 0.0 sec. user=mdettweiler [2016-10-24 03:23:03] 775*2^1443763-1 is not prime. Res64: 59A24C6AA29836C3 Time : 0.0 sec. user=mdettweiler [2016-10-24 03:23:04] 835*2^1443763-1 is not prime. Res64: DB75A83C466B44F8 Time : 0.0 sec. user=mdettweiler [2016-10-24 03:23:04] 849*2^1443763-1 is not prime. Res64: 7DC7F67FDBA15B89 Time : 0.0 sec. user=mdettweiler [2016-10-24 03:23:04] 873*2^1443763-1 is not prime. Res64: 961FA654AA879134 Time : 0.0 sec. user=mdettweiler [2016-10-24 03:43:53] 883*2^1443763-1 is not prime. Res64: 1F57825DA61401AC Time : 0.0 sec. user=mdettweiler [2016-10-24 03:43:56] 659*2^1443764-1 is not prime. Res64: 8724F5E209B4108E Time : 0.0 sec. user=mdettweiler [2016-10-24 03:44:00] 707*2^1443764-1 is not prime. Res64: 68BEE848F04AE03A Time : 0.0 sec. user=mdettweiler [2016-10-24 03:44:04] 753*2^1443764-1 is not prime. Res64: C6B8B8CF921F32CE Time : 0.0 sec. user=mdettweiler [2016-10-24 03:44:08] 789*2^1443764-1 is not prime. Res64: 43DCB7FD374D1FDF Time : 0.0 sec. user=mdettweiler [2016-10-24 04:13:29] 935*2^1443764-1 is not prime. Res64: EBB6AC29AE4CEADC Time : 0.0 sec. user=mdettweiler [2016-10-24 04:13:32] 669*2^1443765-1 is not prime. Res64: C9C84B88666D960A Time : 0.0 sec. user=mdettweiler [2016-10-24 04:13:34] 759*2^1443765-1 is not prime. Res64: DD2D3E9422AB9672 Time : 0.0 sec. user=mdettweiler [2016-10-24 04:13:36] 805*2^1443765-1 is not prime. Res64: 44D2E968FB180B74 Time : 0.0 sec. user=mdettweiler [2016-10-24 04:13:38] 859*2^1443765-1 is not prime. Res64: E9A7DE6A75A08C1D Time : 0.0 sec. user=mdettweiler [2016-10-24 04:22:58] 983*2^1443756-1 is not prime. Res64: 9BC6ABD7A8F26DED Time : 0.0 sec. user=mdettweiler [2016-10-24 04:23:00] 691*2^1443757-1 is not prime. Res64: 7DF9CEAD1B2C209B Time : 0.0 sec. user=mdettweiler [2016-10-24 04:23:00] 777*2^1443757-1 is not prime. Res64: EAE4E03A2C5F7C2A Time : 0.0 sec. user=mdettweiler [2016-10-24 04:23:01] 927*2^1443757-1 is not prime. Res64: CC390B57F560A1A2 Time : 0.0 sec. user=mdettweiler [2016-10-24 04:23:01] 645*2^1443758-1 is not prime. Res64: 25A73589F9B9B2E3 Time : 0.0 sec. user=mdettweiler [2016-10-24 04:33:28] 919*2^1443765-1 is not prime. Res64: B26DAB94412E8E3F Time : 0.0 sec. user=mdettweiler [2016-10-24 04:33:29] 955*2^1443765-1 is not prime. Res64: 6CDFC9C763DCC4DF Time : 0.0 sec. user=mdettweiler [2016-10-24 04:33:29] 969*2^1443765-1 is not prime. Res64: 835D0DCF99E30C09 Time : 0.0 sec. user=mdettweiler [2016-10-24 04:33:29] 603*2^1443766-1 is not prime. Res64: A9CD17B338A63400 Time : 0.0 sec. user=mdettweiler [2016-10-24 04:33:29] 611*2^1443766-1 is not prime. Res64: F08D53B7F88353DA Time : 0.0 sec. user=mdettweiler [2016-10-24 05:00:29] 723*2^1443766-1 is not prime. Res64: B3DA9DFA9188B75A Time : 0.0 sec. user=mdettweiler [2016-10-24 05:00:30] 741*2^1443766-1 is not prime. Res64: F0071BF58F235613 Time : 0.0 sec. user=mdettweiler [2016-10-24 05:00:30] 867*2^1443766-1 is not prime. Res64: 70448D7BBD72D0F3 Time : 0.0 sec. user=mdettweiler [2016-10-24 05:00:31] 923*2^1443766-1 is not prime. Res64: C14095988E75D817 Time : 0.0 sec. user=mdettweiler [2016-10-24 05:00:31] 941*2^1443766-1 is not prime. Res64: 4ABE73137885D249 Time : 0.0 sec. user=mdettweiler [2016-10-24 05:08:41] 971*2^1443766-1 is not prime. Res64: 13BDE4CBFB374874 Time : 0.0 sec. user=mdettweiler [2016-10-24 05:08:42] 987*2^1443766-1 is not prime. Res64: EF612FBC596CB0E3 Time : 0.0 sec. user=mdettweiler [2016-10-24 05:08:42] 609*2^1443767-1 is not prime. Res64: D3517AA7829770E0 Time : 0.0 sec. user=mdettweiler [2016-10-24 05:08:43] 621*2^1443767-1 is not prime. Res64: 031E4448C80696AB Time : 0.0 sec. user=mdettweiler [2016-10-24 05:08:43] 663*2^1443767-1 is not prime. Res64: FE8FF3A99E3B6E25 Time : 0.0 sec. user=mdettweiler [2016-10-24 05:19:09] 669*2^1443768-1 is not prime. Res64: 0A0B5CD0B85A29BF Time : 0.0 sec. user=mdettweiler [2016-10-24 05:19:09] 707*2^1443768-1 is not prime. Res64: 63AB6F5569D48F3E Time : 0.0 sec. user=mdettweiler [2016-10-24 05:19:09] 825*2^1443768-1 is not prime. Res64: A286896E2A891367 Time : 0.0 sec. user=mdettweiler [2016-10-24 05:19:10] 993*2^1443768-1 is not prime. Res64: FF7C7D561D78A809 Time : 0.0 sec. user=mdettweiler [2016-10-24 05:19:10] 681*2^1443769-1 is not prime. Res64: C681E45818E41296 Time : 0.0 sec. user=mdettweiler [2016-10-24 05:45:59] 745*2^1443769-1 is not prime. Res64: 65D7854926AE8ECA Time : 0.0 sec. user=mdettweiler [2016-10-24 05:45:59] 885*2^1443769-1 is not prime. Res64: A9C3F980BACF6860 Time : 0.0 sec. user=mdettweiler [2016-10-24 05:45:59] 897*2^1443769-1 is not prime. Res64: CBAF403D3640E5FA Time : 0.0 sec. user=mdettweiler [2016-10-24 05:45:59] 919*2^1443769-1 is not prime. Res64: BF062D66F211B29C Time : 0.0 sec. user=mdettweiler [2016-10-24 05:46:00] 603*2^1443770-1 is not prime. Res64: 98C771304E86661D Time : 0.0 sec. user=mdettweiler [2016-10-24 05:54:12] 707*2^1443770-1 is not prime. Res64: 2C43F9BEC218B026 Time : 0.0 sec. user=mdettweiler [2016-10-24 05:54:13] 713*2^1443770-1 is not prime. Res64: 27B0495AF422C0E9 Time : 0.0 sec. user=mdettweiler [2016-10-24 05:54:14] 785*2^1443770-1 is not prime. Res64: 62B16D07DBF6434F Time : 0.0 sec. user=mdettweiler [2016-10-24 05:54:14] 833*2^1443770-1 is not prime. Res64: 04E0E734C08174B5 Time : 0.0 sec. user=mdettweiler [2016-10-24 05:54:14] 911*2^1443770-1 is not prime. Res64: A8D19B49E3BA143C Time : 0.0 sec. user=mdettweiler [2016-10-24 06:05:05] 953*2^1443770-1 is not prime. Res64: 4D5E8B851B54ABD2 Time : 0.0 sec. user=mdettweiler [2016-10-24 06:05:06] 981*2^1443770-1 is not prime. Res64: C0662FC096FE71A5 Time : 0.0 sec. user=mdettweiler [2016-10-24 06:05:07] 775*2^1443771-1 is not prime. Res64: 47FC933E1F270383 Time : 0.0 sec. user=mdettweiler [2016-10-24 06:05:08] 955*2^1443771-1 is not prime. Res64: B1F01603F1AD62F6 Time : 0.0 sec. user=mdettweiler [2016-10-24 06:05:09] 999*2^1443771-1 is not prime. Res64: 72ED1B62ED10ADD8 Time : 0.0 sec. user=mdettweiler [2016-10-24 06:16:39] 637*2^1443761-1 is not prime. Res64: F1F8D07195D81554 Time : 0.0 sec. user=mdettweiler [2016-10-24 06:16:40] 769*2^1443761-1 is not prime. Res64: BA2EC2D5F3AD1576 Time : 0.0 sec. user=mdettweiler [2016-10-24 06:16:40] 855*2^1443761-1 is not prime. Res64: 54264AA4D424C64B Time : 0.0 sec. user=mdettweiler [2016-10-24 06:16:41] 931*2^1443761-1 is not prime. Res64: 1C552A6395256C45 Time : 0.0 sec. user=mdettweiler [2016-10-24 06:31:22] 653*2^1443772-1 is not prime. Res64: FB68F40DC204DAAA Time : 0.0 sec. user=mdettweiler [2016-10-24 06:31:22] 797*2^1443772-1 is not prime. Res64: F9909B153A663DF3 Time : 0.0 sec. user=mdettweiler [2016-10-24 06:31:22] 803*2^1443772-1 is not prime. Res64: 270E1237CB801195 Time : 0.0 sec. user=mdettweiler [2016-10-24 06:31:22] 869*2^1443772-1 is not prime. Res64: 9B333F0EAC8C19AA Time : 0.0 sec. user=mdettweiler [2016-10-24 06:31:23] 899*2^1443772-1 is not prime. Res64: 486AEF1FB4AFEAB4 Time : 0.0 sec. user=mdettweiler [2016-10-24 06:39:29] 933*2^1443772-1 is not prime. Res64: DD69037BFA126EE6 Time : 0.0 sec. user=mdettweiler [2016-10-24 06:39:30] 615*2^1443773-1 is not prime. Res64: 89C7809855FF3BC3 Time : 0.0 sec. user=mdettweiler [2016-10-24 06:39:30] 669*2^1443773-1 is not prime. Res64: 4F4ADBAE5E222CA9 Time : 0.0 sec. user=mdettweiler [2016-10-24 06:39:31] 697*2^1443773-1 is not prime. Res64: 1BA18B7ED8BB5F16 Time : 0.0 sec. user=mdettweiler [2016-10-24 06:39:31] 715*2^1443773-1 is not prime. Res64: 956AA9ED05565868 Time : 0.0 sec. user=mdettweiler [2016-10-24 06:50:11] 801*2^1443773-1 is not prime. Res64: C154F8C9A641C6EB Time : 0.0 sec. user=mdettweiler [2016-10-24 06:50:11] 885*2^1443773-1 is not prime. Res64: 937A33B357A432C8 Time : 0.0 sec. user=mdettweiler [2016-10-24 06:50:11] 641*2^1443774-1 is not prime. Res64: 581B4E4EC6EFABB3 Time : 0.0 sec. user=mdettweiler [2016-10-24 06:50:11] 783*2^1443774-1 is not prime. Res64: 536D2A17F09ED230 Time : 0.0 sec. user=mdettweiler [2016-10-24 06:50:12] 861*2^1443774-1 is not prime. Res64: C221E48FBA8A553F Time : 0.0 sec. user=mdettweiler [2016-10-24 07:01:24] 639*2^1443775-1 is not prime. Res64: 41B4B9290B255D24 Time : 0.0 sec. user=mdettweiler [2016-10-24 07:01:26] 793*2^1443775-1 is not prime. Res64: F56271FF752ECC62 Time : 0.0 sec. user=mdettweiler [2016-10-24 07:01:29] 841*2^1443775-1 is not prime. Res64: FE51006935E50668 Time : 0.0 sec. user=mdettweiler [2016-10-24 07:01:30] 915*2^1443775-1 is not prime. Res64: DCC4789F460C7EE3 Time : 0.0 sec. user=mdettweiler [2016-10-24 07:01:31] 951*2^1443775-1 is not prime. Res64: FDF8AF82CAC2BC64 Time : 0.0 sec. user=mdettweiler [2016-10-24 07:16:05] 603*2^1443776-1 is not prime. Res64: F3EDBAD4F92BCC4F Time : 0.0 sec. user=mdettweiler [2016-10-24 07:16:05] 623*2^1443776-1 is not prime. Res64: 659B5E004A88936D Time : 0.0 sec. user=mdettweiler [2016-10-24 07:16:06] 777*2^1443776-1 is not prime. Res64: 98A379BC6FB04B92 Time : 0.0 sec. user=mdettweiler [2016-10-24 07:16:06] 815*2^1443776-1 is not prime. Res64: DD5869C522C23D44 Time : 0.0 sec. user=mdettweiler [2016-10-24 07:16:06] 827*2^1443776-1 is not prime. Res64: BFCECEF578CEF2D8 Time : 0.0 sec. user=mdettweiler [2016-10-24 07:24:14] 855*2^1443776-1 is not prime. Res64: B49CD1F812BCB083 Time : 0.0 sec. user=mdettweiler [2016-10-24 07:24:14] 897*2^1443776-1 is not prime. Res64: BA835AA8DFD6A63A Time : 0.0 sec. user=mdettweiler [2016-10-24 07:24:15] 699*2^1443777-1 is not prime. Res64: 1A562E2B03B75FE2 Time : 0.0 sec. user=mdettweiler [2016-10-24 07:24:15] 611*2^1443778-1 is not prime. Res64: 5016470FEBBCDC41 Time : 0.0 sec. user=mdettweiler [2016-10-24 07:24:15] 621*2^1443778-1 is not prime. Res64: 98DB6488E07A5BBE Time : 0.0 sec. user=mdettweiler [2016-10-24 07:34:45] 713*2^1443778-1 is not prime. Res64: 725BB91C9882D8E5 Time : 0.0 sec. user=mdettweiler [2016-10-24 07:34:45] 743*2^1443778-1 is not prime. Res64: 913D7517BCB2F983 Time : 0.0 sec. user=mdettweiler [2016-10-24 07:34:46] 825*2^1443778-1 is not prime. Res64: 6446A00C86E9CE42 Time : 0.0 sec. user=mdettweiler [2016-10-24 07:34:46] 845*2^1443778-1 is not prime. Res64: 707B7C5D10D91FA8 Time : 0.0 sec. user=mdettweiler [2016-10-24 07:34:47] 867*2^1443778-1 is not prime. Res64: 78B0653BCDF15317 Time : 0.0 sec. user=mdettweiler [2016-10-24 07:46:15] 881*2^1443778-1 is not prime. Res64: 6050AA76B7AF6259 Time : 0.0 sec. user=mdettweiler [2016-10-24 07:46:15] 891*2^1443778-1 is not prime. Res64: 60B217735E60FF0E Time : 0.0 sec. user=mdettweiler [2016-10-24 07:46:15] 933*2^1443778-1 is not prime. Res64: ED616F493ECDFFFC Time : 0.0 sec. user=mdettweiler [2016-10-24 07:46:16] 971*2^1443778-1 is not prime. Res64: DC48A8DAB957F038 Time : 0.0 sec. user=mdettweiler [2016-10-24 07:46:16] 609*2^1443779-1 is not prime. Res64: E2A4E7E129520155 Time : 0.0 sec. user=mdettweiler [2016-10-24 08:00:39] 643*2^1443779-1 is not prime. Res64: 2CEF32E6076FEE46 Time : 0.0 sec. user=mdettweiler [2016-10-24 08:00:41] 685*2^1443779-1 is not prime. Res64: 3F8DCEB449BE48EB Time : 0.0 sec. user=mdettweiler [2016-10-24 08:00:42] 693*2^1443779-1 is not prime. Res64: B76808D82E62D37B Time : 0.0 sec. user=mdettweiler [2016-10-24 08:00:45] 759*2^1443779-1 is not prime. Res64: C73B6E78CD3F90A7 Time : 0.0 sec. user=mdettweiler [2016-10-24 08:00:46] 811*2^1443779-1 is not prime. Res64: 12E02F1EF7B2AAC6 Time : 0.0 sec. user=mdettweiler [2016-10-24 08:08:50] 909*2^1443779-1 is not prime. Res64: 303CA88AD4B1A67F Time : 0.0 sec. user=mdettweiler [2016-10-24 08:08:50] 931*2^1443779-1 is not prime. Res64: 4183E4889979A0EC Time : 0.0 sec. user=mdettweiler [2016-10-24 08:08:50] 949*2^1443779-1 is not prime. Res64: 2FF870E46D91F1EF Time : 0.0 sec. user=mdettweiler [2016-10-24 08:08:51] 973*2^1443779-1 is not prime. Res64: C8DD6D79E64404E0 Time : 0.0 sec. user=mdettweiler [2016-10-24 08:08:51] 999*2^1443779-1 is not prime. Res64: 0F501B673EC9691D Time : 0.0 sec. user=mdettweiler [2016-10-24 08:19:26] 779*2^1443780-1 is not prime. Res64: 23D5A5768A987EFE Time : 0.0 sec. user=mdettweiler [2016-10-24 08:19:26] 797*2^1443780-1 is not prime. Res64: E6453BE9176DD68D Time : 0.0 sec. user=mdettweiler [2016-10-24 08:19:26] 899*2^1443780-1 is not prime. Res64: C47FADF02C25DA0A Time : 0.0 sec. user=mdettweiler [2016-10-24 08:19:26] 927*2^1443780-1 is not prime. Res64: 326D8C99C705BA0F Time : 0.0 sec. user=mdettweiler [2016-10-24 08:19:26] 965*2^1443780-1 is not prime. Res64: 3D30266A93F29344 Time : 0.0 sec. user=mdettweiler [2016-10-24 08:30:59] 999*2^1443780-1 is not prime. Res64: 776F0767A898D26F Time : 0.0 sec. user=mdettweiler [2016-10-24 08:31:00] 681*2^1443781-1 is not prime. Res64: D59CBCA892B738D3 Time : 0.0 sec. user=mdettweiler [2016-10-24 08:31:00] 889*2^1443781-1 is not prime. Res64: 5766A9742601C61E Time : 0.0 sec. user=mdettweiler [2016-10-24 08:31:00] 895*2^1443781-1 is not prime. Res64: 7799198B0856DE1E Time : 0.0 sec. user=mdettweiler [2016-10-24 08:31:00] 931*2^1443781-1 is not prime. Res64: 55A83FF40E1EA046 Time : 0.0 sec. user=mdettweiler [2016-10-24 08:45:33] 671*2^1443782-1 is not prime. Res64: 57B81A3276FED934 Time : 0.0 sec. user=mdettweiler [2016-10-24 08:45:34] 677*2^1443782-1 is not prime. Res64: AD519D35C68FE3B3 Time : 0.0 sec. user=mdettweiler [2016-10-24 08:45:34] 801*2^1443782-1 is not prime. Res64: 35D4527849C43F29 Time : 0.0 sec. user=mdettweiler [2016-10-24 08:45:34] 867*2^1443782-1 is not prime. Res64: 40E5F6F8133E64E1 Time : 0.0 sec. user=mdettweiler [2016-10-24 08:45:34] 951*2^1443782-1 is not prime. Res64: BD48525AE1C820CB Time : 0.0 sec. user=mdettweiler [2016-10-24 08:53:38] 963*2^1443782-1 is not prime. Res64: 78220026AE39D0B6 Time : 0.0 sec. user=mdettweiler [2016-10-24 08:53:39] 983*2^1443782-1 is not prime. Res64: 9AD06B5269CEF9D5 Time : 0.0 sec. user=mdettweiler [2016-10-24 08:53:39] 613*2^1443783-1 is not prime. Res64: 4510C2B198C48B89 Time : 0.0 sec. user=mdettweiler [2016-10-24 08:53:39] 685*2^1443783-1 is not prime. Res64: D0EF936E0D354773 Time : 0.0 sec. user=mdettweiler [2016-10-24 08:53:39] 853*2^1443783-1 is not prime. Res64: E12F679B7110F0D5 Time : 0.0 sec. user=mdettweiler [2016-10-24 09:04:06] 873*2^1443783-1 is not prime. Res64: FDAAF793F825F015 Time : 0.0 sec. user=mdettweiler [2016-10-24 09:04:10] 969*2^1443783-1 is not prime. Res64: 28A5B87B7AD2F912 Time : 0.0 sec. user=mdettweiler [2016-10-24 09:04:12] 639*2^1443784-1 is not prime. Res64: C84DE8ADD0D81F6A Time : 0.0 sec. user=mdettweiler [2016-10-24 09:04:14] 695*2^1443784-1 is not prime. Res64: 149C0D01F4680891 Time : 0.0 sec. user=mdettweiler [2016-10-24 09:04:16] 705*2^1443784-1 is not prime. Res64: 5768F3BB76B7060C Time : 0.0 sec. user=mdettweiler [2016-10-24 09:15:31] 765*2^1443784-1 is not prime. Res64: 101E6C8DA8D4FFAA Time : 0.0 sec. user=mdettweiler [2016-10-24 09:15:32] 983*2^1443784-1 is not prime. Res64: 065EE2C5427390A7 Time : 0.0 sec. user=mdettweiler [2016-10-24 09:15:32] 607*2^1443785-1 is not prime. Res64: 4D42C830E6B29B71 Time : 0.0 sec. user=mdettweiler [2016-10-24 09:15:33] 657*2^1443785-1 is not prime. Res64: 7070D64B5FA613C0 Time : 0.0 sec. user=mdettweiler [2016-10-24 09:15:34] 847*2^1443785-1 is not prime. Res64: 8D8D6D1915D01DE3 Time : 0.0 sec. user=mdettweiler [2016-10-24 09:30:08] 909*2^1443785-1 is not prime. Res64: 2A55E7D944CED070 Time : 0.0 sec. user=mdettweiler [2016-10-24 09:30:08] 987*2^1443785-1 is not prime. Res64: 1B7F27C279A56CC6 Time : 0.0 sec. user=mdettweiler [2016-10-24 09:30:08] 641*2^1443786-1 is not prime. Res64: 47984AC479FA4D8C Time : 0.0 sec. user=mdettweiler [2016-10-24 09:30:08] 671*2^1443786-1 is not prime. Res64: BE48812EB4310A2F Time : 0.0 sec. user=mdettweiler [2016-10-24 09:30:08] 801*2^1443786-1 is not prime. Res64: A0902947800F6F31 Time : 0.0 sec. user=mdettweiler [2016-10-24 09:38:16] 803*2^1443786-1 is not prime. Res64: 3FE5104B8796CEC5 Time : 0.0 sec. user=mdettweiler [2016-10-24 09:38:16] 807*2^1443786-1 is not prime. Res64: 2A8A940F83B7114C Time : 0.0 sec. user=mdettweiler [2016-10-24 09:38:16] 851*2^1443786-1 is not prime. Res64: 9A4C0E0883F48FAC Time : 0.0 sec. user=mdettweiler [2016-10-24 09:38:17] 941*2^1443786-1 is not prime. Res64: 30125B28142FB561 Time : 0.0 sec. user=mdettweiler [2016-10-24 09:38:17] 601*2^1443787-1 is not prime. Res64: 852CFE55F81C738D Time : 0.0 sec. user=mdettweiler [2016-10-24 09:49:31] 673*2^1443787-1 is not prime. Res64: C1EC5E9A1C91CDAC Time : 0.0 sec. user=mdettweiler [2016-10-24 09:49:32] 829*2^1443787-1 is not prime. Res64: 27C66D1A40305DF3 Time : 0.0 sec. user=mdettweiler [2016-10-24 09:49:32] 973*2^1443787-1 is not prime. Res64: CD2A8BF79BD5CA81 Time : 0.0 sec. user=mdettweiler [2016-10-24 09:49:32] 975*2^1443787-1 is not prime. Res64: CA97CC451B65D325 Time : 0.0 sec. user=mdettweiler [2016-10-24 09:49:32] 985*2^1443787-1 is not prime. Res64: 55CB8BF898EFD425 Time : 0.0 sec. user=mdettweiler [2016-10-24 10:00:21] 629*2^1443788-1 is not prime. Res64: 0D9D8236EAEDD656 Time : 0.0 sec. user=mdettweiler [2016-10-24 10:00:21] 665*2^1443788-1 is not prime. Res64: E4E67577947CBEF0 Time : 0.0 sec. user=mdettweiler [2016-10-24 10:00:23] 753*2^1443788-1 is not prime. Res64: FFFD7FBC230E9481 Time : 0.0 sec. user=mdettweiler [2016-10-24 10:00:25] 795*2^1443788-1 is not prime. Res64: 861EA0A15651A252 Time : 0.0 sec. user=mdettweiler [2016-10-24 10:00:28] 819*2^1443788-1 is not prime. Res64: 5E6D7343468125F3 Time : 0.0 sec. user=mdettweiler [2016-10-24 10:14:52] 897*2^1443788-1 is not prime. Res64: 67DAA146BF64BBD8 Time : 0.0 sec. user=mdettweiler [2016-10-24 10:14:52] 923*2^1443788-1 is not prime. Res64: D357DA1A36AE389D Time : 0.0 sec. user=mdettweiler [2016-10-24 10:14:53] 959*2^1443788-1 is not prime. Res64: ED7A1CB7FD0D4895 Time : 0.0 sec. user=mdettweiler [2016-10-24 10:14:53] 993*2^1443788-1 is not prime. Res64: 300B6F941481795E Time : 0.0 sec. user=mdettweiler [2016-10-24 10:14:53] 999*2^1443788-1 is not prime. Res64: 3D5F9613BFB40101 Time : 0.0 sec. user=mdettweiler [2016-10-24 10:23:07] 711*2^1443789-1 is not prime. Res64: 35033379F2AFDE95 Time : 0.0 sec. user=mdettweiler [2016-10-24 10:23:07] 765*2^1443789-1 is not prime. Res64: 7037CE1A9D55CC72 Time : 0.0 sec. user=mdettweiler [2016-10-24 10:23:07] 861*2^1443789-1 is not prime. Res64: B1F54EB5E48563E0 Time : 0.0 sec. user=mdettweiler [2016-10-24 10:23:08] 867*2^1443789-1 is not prime. Res64: EF305361A392CF3A Time : 0.0 sec. user=mdettweiler [2016-10-24 10:23:08] 991*2^1443789-1 is not prime. Res64: C05C196596E94AC5 Time : 0.0 sec. user=mdettweiler [2016-10-24 10:34:05] 603*2^1443790-1 is not prime. Res64: 4A64F468E03B59DC Time : 0.0 sec. user=mdettweiler [2016-10-24 10:34:05] 695*2^1443790-1 is not prime. Res64: BB954222F7781EA7 Time : 0.0 sec. user=mdettweiler [2016-10-24 10:34:05] 717*2^1443790-1 is not prime. Res64: C8A5434EA36BC966 Time : 0.0 sec. user=mdettweiler [2016-10-24 10:34:06] 813*2^1443790-1 is not prime. Res64: 0055519656B62535 Time : 0.0 sec. user=mdettweiler [2016-10-24 10:34:06] 857*2^1443790-1 is not prime. Res64: 99DD76160816CEBD Time : 0.0 sec. user=mdettweiler [2016-10-24 10:45:42] 711*2^1443791-1 is not prime. Res64: 9EBABFAAAD67DC46 Time : 0.0 sec. user=mdettweiler [2016-10-24 10:45:42] 745*2^1443791-1 is not prime. Res64: 71DF7ABDFE094D89 Time : 0.0 sec. user=mdettweiler [2016-10-24 10:45:43] 889*2^1443791-1 is not prime. Res64: 1DB419760E5785DB Time : 0.0 sec. user=mdettweiler [2016-10-24 10:45:43] 921*2^1443791-1 is not prime. Res64: 1FBB8CCFFFC3E85F Time : 0.0 sec. user=mdettweiler [2016-10-24 10:45:43] 723*2^1443792-1 is not prime. Res64: D12F5EF16948D8FE Time : 0.0 sec. user=mdettweiler [2016-10-24 10:59:29] 849*2^1443792-1 is not prime. Res64: 3BD10FD4280DCA74 Time : 0.0 sec. user=mdettweiler [2016-10-24 10:59:29] 687*2^1443793-1 is not prime. Res64: 90AB2504D40D2198 Time : 0.0 sec. user=mdettweiler [2016-10-24 10:59:29] 721*2^1443793-1 is not prime. Res64: F163BCEEAE5ACCB8 Time : 0.0 sec. user=mdettweiler [2016-10-24 10:59:29] 789*2^1443793-1 is not prime. Res64: 2924298AE29D8BD0 Time : 0.0 sec. user=mdettweiler [2016-10-24 10:59:30] 801*2^1443793-1 is not prime. Res64: 75E95E46402C7636 Time : 0.0 sec. user=mdettweiler [2016-10-24 11:07:39] 861*2^1443793-1 is not prime. Res64: 33CEAA14C4566348 Time : 0.0 sec. user=mdettweiler [2016-10-24 11:07:41] 999*2^1443793-1 is not prime. Res64: CB1909D81340BB4B Time : 0.0 sec. user=mdettweiler [2016-10-24 11:07:42] 615*2^1443794-1 is not prime. Res64: FDA698FCE2224A17 Time : 0.0 sec. user=mdettweiler [2016-10-24 11:07:42] 623*2^1443794-1 is not prime. Res64: 3392007D14D9E9A3 Time : 0.0 sec. user=mdettweiler [2016-10-24 11:07:43] 731*2^1443794-1 is not prime. Res64: FBC5076C05CB0A98 Time : 0.0 sec. user=mdettweiler [2016-10-24 11:18:40] 953*2^1443794-1 is not prime. Res64: 981192611812127E Time : 0.0 sec. user=mdettweiler [2016-10-24 11:18:40] 971*2^1443794-1 is not prime. Res64: 8EA0F6F17A6E5839 Time : 0.0 sec. user=mdettweiler [2016-10-24 11:18:40] 987*2^1443794-1 is not prime. Res64: 7D6C3D1F579BB5F0 Time : 0.0 sec. user=mdettweiler [2016-10-24 11:18:41] 625*2^1443795-1 is not prime. Res64: 8EF1786EA069DC12 Time : 0.0 sec. user=mdettweiler [2016-10-24 11:18:41] 709*2^1443795-1 is not prime. Res64: 9B9FC8525624F7EC Time : 0.0 sec. user=mdettweiler [2016-10-24 11:30:19] 781*2^1443795-1 is not prime. Res64: 92E56571CAEABDD4 Time : 0.0 sec. user=mdettweiler [2016-10-24 11:30:19] 891*2^1443795-1 is not prime. Res64: 5FD3AB2904E2B9E4 Time : 0.0 sec. user=mdettweiler [2016-10-24 11:30:19] 657*2^1443796-1 is not prime. Res64: E7A7F1466AA79B74 Time : 0.0 sec. user=mdettweiler [2016-10-24 11:30:20] 843*2^1443796-1 is not prime. Res64: 50C917EBAF9230D6 Time : 0.0 sec. user=mdettweiler [2016-10-24 11:30:20] 855*2^1443796-1 is not prime. Res64: C1FD29C3A2793FA7 Time : 0.0 sec. user=mdettweiler [2016-10-24 11:44:18] 927*2^1443796-1 is not prime. Res64: 55FDB6E03DADDE4E Time : 0.0 sec. user=mdettweiler [2016-10-24 11:44:18] 933*2^1443796-1 is not prime. Res64: 2F14A2421DBF8D45 Time : 0.0 sec. user=mdettweiler [2016-10-24 11:44:19] 939*2^1443796-1 is not prime. Res64: B965C7A87865C23D Time : 0.0 sec. user=mdettweiler [2016-10-24 11:44:19] 965*2^1443796-1 is not prime. Res64: 1F56933C9A28AA28 Time : 0.0 sec. user=mdettweiler [2016-10-24 11:44:19] 969*2^1443796-1 is not prime. Res64: 0953FD05137CC366 Time : 0.0 sec. user=mdettweiler [2016-10-24 11:52:19] 983*2^1443796-1 is not prime. Res64: 01A3C719AE9C2551 Time : 0.0 sec. user=mdettweiler [2016-10-24 11:52:19] 615*2^1443797-1 is not prime. Res64: 91663F0E9313282C Time : 0.0 sec. user=mdettweiler [2016-10-24 11:52:19] 621*2^1443797-1 is not prime. Res64: D3E486494E1C3CE5 Time : 0.0 sec. user=mdettweiler [2016-10-24 11:52:19] 691*2^1443797-1 is not prime. Res64: 5713AFD26ED3BEF4 Time : 0.0 sec. user=mdettweiler [2016-10-24 11:52:20] 729*2^1443797-1 is not prime. Res64: E24F69B7FAD1D9A4 Time : 0.0 sec. user=mdettweiler [2016-10-24 12:03:27] 937*2^1443797-1 is not prime. Res64: 46B4461324D27E19 Time : 0.0 sec. user=mdettweiler [2016-10-24 12:03:28] 765*2^1443798-1 is not prime. Res64: 88E3B9ABBB42E8FE Time : 0.0 sec. user=mdettweiler [2016-10-24 12:03:28] 773*2^1443798-1 is not prime. Res64: E11C305FD9718D5B Time : 0.0 sec. user=mdettweiler [2016-10-24 12:03:29] 791*2^1443798-1 is not prime. Res64: 201E978993B79867 Time : 0.0 sec. user=mdettweiler [2016-10-24 12:03:29] 833*2^1443798-1 is not prime. Res64: 025DC976D433BF63 Time : 0.0 sec. user=mdettweiler [2016-10-24 12:15:01] 893*2^1443798-1 is not prime. Res64: AF74812CF5C866F2 Time : 0.0 sec. user=mdettweiler [2016-10-24 12:15:01] 923*2^1443798-1 is not prime. Res64: D2CB7C9C38813AA4 Time : 0.0 sec. user=mdettweiler [2016-10-24 12:15:02] 971*2^1443798-1 is not prime. Res64: A9797470FB1ADF15 Time : 0.0 sec. user=mdettweiler [2016-10-24 12:15:03] 993*2^1443798-1 is not prime. Res64: 2FB0092AB2682493 Time : 0.0 sec. user=mdettweiler [2016-10-24 12:15:03] 1001*2^1443798-1 is not prime. Res64: FB7B591C7D2BF105 Time : 0.0 sec. user=mdettweiler [2016-10-24 12:29:08] 633*2^1443799-1 is not prime. Res64: 505CD48D901BD609 Time : 0.0 sec. user=mdettweiler [2016-10-24 12:29:08] 649*2^1443799-1 is not prime. Res64: 904F09FD07983243 Time : 0.0 sec. user=mdettweiler [2016-10-24 12:29:08] 813*2^1443799-1 is not prime. Res64: D30810FCADC46D6F Time : 0.0 sec. user=mdettweiler [2016-10-24 12:29:09] 925*2^1443799-1 is not prime. Res64: 348FF3CCA1AFBBFF Time : 0.0 sec. user=mdettweiler [2016-10-24 12:29:09] 969*2^1443799-1 is not prime. Res64: 58996BA7C950EB5F Time : 0.0 sec. user=mdettweiler [2016-10-24 12:36:59] 605*2^1443800-1 is not prime. Res64: 9BFFE5709210028B Time : 0.0 sec. user=mdettweiler [2016-10-24 12:36:59] 645*2^1443800-1 is not prime. Res64: 645FA27DFBF3B3D6 Time : 0.0 sec. user=mdettweiler [2016-10-24 12:36:59] 729*2^1443800-1 is not prime. Res64: 471CC60235029489 Time : 0.0 sec. user=mdettweiler [2016-10-24 12:37:00] 797*2^1443800-1 is not prime. Res64: 8F98C968A216CCDC Time : 0.0 sec. user=mdettweiler [2016-10-24 12:37:00] 839*2^1443800-1 is not prime. Res64: 6C6B7621BEF3342F Time : 0.0 sec. user=mdettweiler [2016-10-24 12:48:05] 875*2^1443800-1 is not prime. Res64: 662D78CE204375FF Time : 0.0 sec. user=mdettweiler [2016-10-24 12:48:05] 935*2^1443800-1 is not prime. Res64: 021FF1081E11174C Time : 0.0 sec. user=mdettweiler [2016-10-24 12:48:05] 983*2^1443800-1 is not prime. Res64: A0252149ADBEA551 Time : 0.0 sec. user=mdettweiler [2016-10-24 12:48:05] 625*2^1443801-1 is not prime. Res64: 72ED44840098972A Time : 0.0 sec. user=mdettweiler [2016-10-24 12:48:05] 669*2^1443801-1 is not prime. Res64: 450B89790694F535 Time : 0.0 sec. user=mdettweiler [2016-10-24 12:59:34] 735*2^1443801-1 is not prime. Res64: 92DEC18AA00E0854 Time : 0.0 sec. user=mdettweiler [2016-10-24 12:59:34] 781*2^1443801-1 is not prime. Res64: A2C12A2B307BB9BD Time : 0.0 sec. user=mdettweiler [2016-10-24 12:59:34] 811*2^1443801-1 is not prime. Res64: 9BC3C5E5D1F5E681 Time : 0.0 sec. user=mdettweiler [2016-10-24 12:59:35] 889*2^1443801-1 is not prime. Res64: 9D74F3D8C5145E60 Time : 0.0 sec. user=mdettweiler [2016-10-24 12:59:35] 909*2^1443801-1 is not prime. Res64: 49B76CEE0DD127F4 Time : 0.0 sec. user=mdettweiler [2016-10-24 13:14:48] 951*2^1443801-1 is not prime. Res64: 2CF7484E66D242BC Time : 0.0 sec. user=mdettweiler [2016-10-24 13:14:49] 969*2^1443801-1 is not prime. Res64: E182825C6FF30B4E Time : 0.0 sec. user=mdettweiler [2016-10-24 13:14:50] 705*2^1443802-1 is not prime. Res64: 828E593E2B6E52DF Time : 0.0 sec. user=mdettweiler [2016-10-24 13:14:52] 735*2^1443802-1 is not prime. Res64: 83585CB283F15D8F Time : 0.0 sec. user=mdettweiler [2016-10-24 13:14:54] 777*2^1443802-1 is not prime. Res64: 490E087577A35B3D Time : 0.0 sec. user=mdettweiler [2016-10-24 13:22:29] 803*2^1443802-1 is not prime. Res64: 61E0EAA68CE898BB Time : 0.0 sec. user=mdettweiler [2016-10-24 13:22:30] 915*2^1443802-1 is not prime. Res64: 2E90DAB96781A622 Time : 0.0 sec. user=mdettweiler [2016-10-24 13:22:30] 957*2^1443802-1 is not prime. Res64: 11C16581CFFEC8EC Time : 0.0 sec. user=mdettweiler [2016-10-24 13:22:30] 693*2^1443803-1 is not prime. Res64: A45022809553E2D5 Time : 0.0 sec. user=mdettweiler [2016-10-24 13:22:30] 789*2^1443803-1 is not prime. Res64: E04BB05B2234E819 Time : 0.0 sec. user=mdettweiler [2016-10-24 13:34:25] 811*2^1443803-1 is not prime. Res64: 32A4263367C807D6 Time : 0.0 sec. user=mdettweiler [2016-10-24 13:34:25] 859*2^1443803-1 is not prime. Res64: 4633379A5DEB28D9 Time : 0.0 sec. user=mdettweiler [2016-10-24 13:34:26] 627*2^1443804-1 is not prime. Res64: DEB3F503201567B3 Time : 0.0 sec. user=mdettweiler [2016-10-24 13:34:26] 699*2^1443804-1 is not prime. Res64: 42D056DF3E1B19CC Time : 0.0 sec. user=mdettweiler [2016-10-24 13:34:26] 705*2^1443804-1 is not prime. Res64: 8B6DD7122606E74C Time : 0.0 sec. user=mdettweiler [2016-10-24 13:45:27] 723*2^1443804-1 is not prime. Res64: F6E65A2C9BD46F7F Time : 0.0 sec. user=mdettweiler [2016-10-24 13:45:27] 873*2^1443804-1 is not prime. Res64: 9631159E0E948B32 Time : 0.0 sec. user=mdettweiler [2016-10-24 13:45:27] 601*2^1443805-1 is not prime. Res64: 4EDE192BB86E9F23 Time : 0.0 sec. user=mdettweiler [2016-10-24 13:45:28] 651*2^1443805-1 is not prime. Res64: BF415349213D0933 Time : 0.0 sec. user=mdettweiler [2016-10-24 13:45:28] 675*2^1443805-1 is not prime. Res64: 81E339D9C3A79F6C Time : 0.0 sec. user=mdettweiler [2016-10-24 13:59:00] 757*2^1443805-1 is not prime. Res64: 55E4FD6BAC569C0A Time : 0.0 sec. user=mdettweiler [2016-10-24 13:59:00] 759*2^1443805-1 is not prime. Res64: 2E01FC8E63127A72 Time : 0.0 sec. user=mdettweiler [2016-10-24 13:59:00] 623*2^1443806-1 is not prime. Res64: 3906C5557CB298F3 Time : 0.0 sec. user=mdettweiler [2016-10-24 13:59:00] 645*2^1443806-1 is not prime. Res64: 172A479D3D86468F Time : 0.0 sec. user=mdettweiler [2016-10-24 13:59:01] 657*2^1443806-1 is not prime. Res64: 73FC9E2BFA347EF1 Time : 0.0 sec. user=mdettweiler [2016-10-24 14:06:11] 761*2^1443806-1 is not prime. Res64: DBA2402A4F8BA32E Time : 0.0 sec. user=mdettweiler [2016-10-24 14:06:13] 767*2^1443806-1 is not prime. Res64: 4FB5DA5F006FB4C1 Time : 0.0 sec. user=mdettweiler [2016-10-24 14:06:14] 887*2^1443806-1 is not prime. Res64: 957B0E2F157D7D6F Time : 0.0 sec. user=mdettweiler [2016-10-24 14:06:15] 897*2^1443806-1 is not prime. Res64: 65B40289BDEBDB0F Time : 0.0 sec. user=mdettweiler [2016-10-24 14:06:16] 643*2^1443807-1 is not prime. Res64: A8C13050BD5537DF Time : 0.0 sec. user=mdettweiler [2016-10-24 14:18:12] 675*2^1443807-1 is not prime. Res64: 6ADFEB1E8191701D Time : 0.0 sec. user=mdettweiler [2016-10-24 14:18:13] 769*2^1443807-1 is not prime. Res64: 7C55C9E03A2F7551 Time : 0.0 sec. user=mdettweiler [2016-10-24 14:18:13] 825*2^1443807-1 is not prime. Res64: D97CB3E2B3F010C9 Time : 0.0 sec. user=mdettweiler [2016-10-24 14:18:13] 961*2^1443807-1 is not prime. Res64: 39D891F16B136A78 Time : 0.0 sec. user=mdettweiler [2016-10-24 14:18:13] 623*2^1443808-1 is not prime. Res64: 93399FB3B623FAC8 Time : 0.0 sec. user=mdettweiler [2016-10-24 14:29:06] 629*2^1443808-1 is not prime. Res64: 30045A1E83A03197 Time : 0.0 sec. user=mdettweiler [2016-10-24 14:29:06] 635*2^1443808-1 is not prime. Res64: 3B9B4B507567025B Time : 0.0 sec. user=mdettweiler [2016-10-24 14:29:06] 735*2^1443808-1 is not prime. Res64: F610F47781395E16 Time : 0.0 sec. user=mdettweiler [2016-10-24 14:29:06] 887*2^1443808-1 is not prime. Res64: 3D0C80E1A66B036F Time : 0.0 sec. user=mdettweiler [2016-10-24 14:29:07] 915*2^1443808-1 is not prime. Res64: 400497DC36CB0750 Time : 0.0 sec. user=mdettweiler [2016-10-24 14:43:51] 995*2^1443808-1 is not prime. Res64: 44B30FEA36B97030 Time : 0.0 sec. user=mdettweiler [2016-10-24 14:43:52] 637*2^1443809-1 is not prime. Res64: 35DE8C1BDFF4D61C Time : 0.0 sec. user=mdettweiler [2016-10-24 14:43:52] 675*2^1443809-1 is not prime. Res64: B1593B8CBE5DD8DA Time : 0.0 sec. user=mdettweiler [2016-10-24 14:43:52] 697*2^1443809-1 is not prime. Res64: 99792EC816E42A03 Time : 0.0 sec. user=mdettweiler [2016-10-24 14:43:52] 867*2^1443809-1 is not prime. Res64: A82CB1701458AE89 Time : 0.0 sec. user=mdettweiler [2016-10-24 14:51:13] 949*2^1443809-1 is not prime. Res64: 1A7AA16986C6FB91 Time : 0.0 sec. user=mdettweiler [2016-10-24 14:51:13] 627*2^1443810-1 is not prime. Res64: 1CDBF2076FFBED2D Time : 0.0 sec. user=mdettweiler [2016-10-24 14:51:13] 833*2^1443810-1 is not prime. Res64: 0E126C87F900A47B Time : 0.0 sec. user=mdettweiler [2016-10-24 14:51:13] 917*2^1443810-1 is not prime. Res64: 40CBBA3205179FC1 Time : 0.0 sec. user=mdettweiler [2016-10-24 14:51:14] 941*2^1443810-1 is not prime. Res64: 2588A83CD24ED507 Time : 0.0 sec. user=mdettweiler [2016-10-24 15:02:50] 1001*2^1443810-1 is not prime. Res64: F4315369110E30B0 Time : 0.0 sec. user=mdettweiler [2016-10-24 15:02:51] 603*2^1443811-1 is not prime. Res64: AA2CF6D82D294B6E Time : 0.0 sec. user=mdettweiler [2016-10-24 15:02:52] 681*2^1443811-1 is not prime. Res64: 07D924788F087C29 Time : 0.0 sec. user=mdettweiler [2016-10-24 15:02:53] 741*2^1443811-1 is not prime. Res64: 18F60AE6FD615A71 Time : 0.0 sec. user=mdettweiler [2016-10-24 15:02:54] 783*2^1443811-1 is not prime. Res64: 46D9C653177ABB9F Time : 0.0 sec. user=mdettweiler [2016-10-24 15:13:53] 909*2^1443811-1 is not prime. Res64: D9F0088CB3FEB817 Time : 0.0 sec. user=mdettweiler [2016-10-24 15:13:54] 993*2^1443811-1 is not prime. Res64: 1C92D481E876E402 Time : 0.0 sec. user=mdettweiler [2016-10-24 15:13:55] 609*2^1443812-1 is not prime. Res64: 888E4BC955FF3BAA Time : 0.0 sec. user=mdettweiler [2016-10-24 15:13:56] 735*2^1443812-1 is not prime. Res64: 6266B1B478DB7B7A Time : 0.0 sec. user=mdettweiler [2016-10-24 15:13:57] 759*2^1443812-1 is not prime. Res64: 1C863EE1E931A686 Time : 0.0 sec. user=mdettweiler [2016-10-24 15:28:50] 785*2^1443812-1 is not prime. Res64: 07F378E6BD1BD2FE Time : 0.0 sec. user=mdettweiler [2016-10-24 15:28:51] 797*2^1443812-1 is not prime. Res64: 59831108D98921E3 Time : 0.0 sec. user=mdettweiler [2016-10-24 15:28:51] 879*2^1443812-1 is not prime. Res64: A91CCAE86803FAFF Time : 0.0 sec. user=mdettweiler [2016-10-24 15:28:51] 957*2^1443812-1 is not prime. Res64: B0D16064ADDE8ACA Time : 0.0 sec. user=mdettweiler [2016-10-24 15:28:52] 999*2^1443812-1 is not prime. Res64: 5B0B899818C83116 Time : 0.0 sec. user=mdettweiler [2016-10-24 15:36:15] 649*2^1443813-1 is not prime. Res64: 90A9C2252AAF4BEE Time : 0.0 sec. user=mdettweiler [2016-10-24 15:36:15] 681*2^1443813-1 is not prime. Res64: E7DFB2DBE63D587F Time : 0.0 sec. user=mdettweiler [2016-10-24 15:36:15] 889*2^1443813-1 is not prime. Res64: C9AAA048345BA3BF Time : 0.0 sec. user=mdettweiler [2016-10-24 15:36:15] 921*2^1443813-1 is not prime. Res64: 6FF0AE32F32D53E4 Time : 0.0 sec. user=mdettweiler [2016-10-24 15:36:15] 611*2^1443814-1 is not prime. Res64: AEEA6A6D2CF117EF Time : 0.0 sec. user=mdettweiler [2016-10-24 15:48:30] 657*2^1443814-1 is not prime. Res64: 869148CFDA25B11E Time : 0.0 sec. user=mdettweiler [2016-10-24 15:48:30] 663*2^1443814-1 is not prime. Res64: 09E16E5340E3AF82 Time : 0.0 sec. user=mdettweiler [2016-10-24 15:48:30] 681*2^1443814-1 is not prime. Res64: 1FDF63633811E87A Time : 0.0 sec. user=mdettweiler [2016-10-24 15:48:30] 825*2^1443814-1 is not prime. Res64: 56182F4814720383 Time : 0.0 sec. user=mdettweiler [2016-10-24 15:48:31] 863*2^1443814-1 is not prime. Res64: B70D74FDB4CC114B Time : 0.0 sec. user=mdettweiler [2016-10-24 16:00:11] 915*2^1443814-1 is not prime. Res64: EC4A036FC838C983 Time : 0.0 sec. user=mdettweiler [2016-10-24 16:00:13] 923*2^1443814-1 is not prime. Res64: 652E9504CFBC0E3A Time : 0.0 sec. user=mdettweiler [2016-10-24 16:00:13] 957*2^1443814-1 is not prime. Res64: AF17DB79DF96F0F4 Time : 0.0 sec. user=mdettweiler [2016-10-24 16:00:14] 643*2^1443815-1 is not prime. Res64: F67A8AC0C4BFBEF1 Time : 0.0 sec. user=mdettweiler [2016-10-24 16:00:15] 775*2^1443815-1 is not prime. Res64: 8DB2E27E0BCD33F6 Time : 0.0 sec. user=mdettweiler [2016-10-24 16:14:54] 913*2^1443815-1 is not prime. Res64: 9BE263F25B7AF0CB Time : 0.0 sec. user=mdettweiler [2016-10-24 16:14:55] 999*2^1443815-1 is not prime. Res64: 2AC8C35AB4E4DCC9 Time : 0.0 sec. user=mdettweiler [2016-10-24 16:14:56] 615*2^1443816-1 is not prime. Res64: 59B51E8D0FDB44C0 Time : 0.0 sec. user=mdettweiler [2016-10-24 16:14:57] 887*2^1443816-1 is not prime. Res64: 4E964AC5395D096C Time : 0.0 sec. user=mdettweiler [2016-10-24 16:14:57] 893*2^1443816-1 is not prime. Res64: C3032A3CE0BD91DE Time : 0.0 sec. user=mdettweiler [2016-10-24 16:22:20] 903*2^1443816-1 is not prime. Res64: 6B34160D17B654DD Time : 0.0 sec. user=mdettweiler [2016-10-24 16:22:21] 615*2^1443817-1 is not prime. Res64: EAA1A0C5D24210F7 Time : 0.0 sec. user=mdettweiler [2016-10-24 16:22:21] 645*2^1443817-1 is not prime. Res64: 86513C426FDF2312 Time : 0.0 sec. user=mdettweiler [2016-10-24 16:22:21] 747*2^1443817-1 is not prime. Res64: E9FFE51A4CABE3E3 Time : 0.0 sec. user=mdettweiler [2016-10-24 16:22:21] 769*2^1443817-1 is not prime. Res64: 1F0FDD8C7B931E94 Time : 0.0 sec. user=mdettweiler [2016-10-24 16:34:02] 819*2^1443817-1 is not prime. Res64: 5803C6F0CDC5C776 Time : 0.0 sec. user=mdettweiler [2016-10-24 16:34:06] 835*2^1443817-1 is not prime. Res64: EDECA3A83C008748 Time : 0.0 sec. user=mdettweiler [2016-10-24 16:34:07] 633*2^1443818-1 is not prime. Res64: B61152BCB93CDE39 Time : 0.0 sec. user=mdettweiler [2016-10-24 16:34:07] 665*2^1443818-1 is not prime. Res64: A94BC79677AAF2F9 Time : 0.0 sec. user=mdettweiler [2016-10-24 16:34:08] 677*2^1443818-1 is not prime. Res64: E0C64FA4560893A8 Time : 0.0 sec. user=mdettweiler [2016-10-24 16:45:09] 767*2^1443818-1 is not prime. Res64: 5226F3DADE78D3CB Time : 0.0 sec. user=mdettweiler [2016-10-24 16:45:09] 831*2^1443818-1 is not prime. Res64: F2A3311109DDF0DB Time : 0.0 sec. user=mdettweiler [2016-10-24 16:45:10] 945*2^1443818-1 is not prime. Res64: BA77687F4F95A808 Time : 0.0 sec. user=mdettweiler [2016-10-24 16:45:10] 963*2^1443818-1 is not prime. Res64: B6AEF28ABB6DB753 Time : 0.0 sec. user=mdettweiler [2016-10-24 16:45:10] 623*2^1443820-1 is not prime. Res64: 05BB59B05B1C571D Time : 0.0 sec. user=mdettweiler [2016-10-24 17:00:20] 677*2^1443820-1 is not prime. Res64: EC6564DEB660AB13 Time : 0.0 sec. user=mdettweiler [2016-10-24 17:00:20] 695*2^1443820-1 is not prime. Res64: 5AD76F9A1FC31615 Time : 0.0 sec. user=mdettweiler [2016-10-24 17:00:20] 719*2^1443820-1 is not prime. Res64: 86E4518F62760FF7 Time : 0.0 sec. user=mdettweiler [2016-10-24 17:00:21] 743*2^1443820-1 is not prime. Res64: D77D671419B7FFE3 Time : 0.0 sec. user=mdettweiler [2016-10-24 17:00:22] 773*2^1443820-1 is not prime. Res64: 1E04B28A7EC00A70 Time : 0.0 sec. user=mdettweiler [2016-10-24 17:08:09] 957*2^1443820-1 is not prime. Res64: F142DB9036A77CF0 Time : 0.0 sec. user=mdettweiler [2016-10-24 17:08:13] 861*2^1443821-1 is not prime. Res64: A6F61A92D190F291 Time : 0.0 sec. user=mdettweiler [2016-10-24 17:08:14] 611*2^1443822-1 is not prime. Res64: B26E6D43EECE73FC Time : 0.0 sec. user=mdettweiler [2016-10-24 17:08:15] 671*2^1443822-1 is not prime. Res64: E168E2B3B7C70152 Time : 0.0 sec. user=mdettweiler [2016-10-24 17:08:15] 711*2^1443822-1 is not prime. Res64: 4766E2B7345F9075 Time : 0.0 sec. user=mdettweiler [2016-10-24 17:20:23] 731*2^1443822-1 is not prime. Res64: 22DF2F6BF6DE7A95 Time : 0.0 sec. user=mdettweiler [2016-10-24 17:20:24] 737*2^1443822-1 is not prime. Res64: F5C5EBE64ED57036 Time : 0.0 sec. user=mdettweiler [2016-10-24 17:20:25] 755*2^1443822-1 is not prime. Res64: 6940661F52152105 Time : 0.0 sec. user=mdettweiler [2016-10-24 17:20:26] 761*2^1443822-1 is not prime. Res64: C084F49B82965207 Time : 0.0 sec. user=mdettweiler [2016-10-24 17:20:27] 945*2^1443822-1 is not prime. Res64: 85EBF142E3EC1DF1 Time : 0.0 sec. user=mdettweiler [2016-10-24 17:32:09] 951*2^1443822-1 is not prime. Res64: 2E90D00959121AE2 Time : 0.0 sec. user=mdettweiler [2016-10-24 17:32:10] 663*2^1443823-1 is not prime. Res64: 33B21A230119B701 Time : 0.0 sec. user=mdettweiler [2016-10-24 17:32:10] 685*2^1443823-1 is not prime. Res64: 01734A5AF724CAD5 Time : 0.0 sec. user=mdettweiler [2016-10-24 17:32:10] 741*2^1443823-1 is not prime. Res64: 1257BF9E9C743D86 Time : 0.0 sec. user=mdettweiler [2016-10-24 17:32:10] 855*2^1443823-1 is not prime. Res64: AD6135BABC74EF9F Time : 0.0 sec. user=mdettweiler [2016-10-24 17:49:06] 873*2^1443823-1 is not prime. Res64: DA798D420FE5759A Time : 0.0 sec. user=mdettweiler [2016-10-24 17:49:06] 885*2^1443823-1 is not prime. Res64: CE8D3A1930925E0E Time : 0.0 sec. user=mdettweiler [2016-10-24 17:49:06] 945*2^1443823-1 is not prime. Res64: 65FC0E7B80370259 Time : 0.0 sec. user=mdettweiler [2016-10-24 17:49:07] 605*2^1443824-1 is not prime. Res64: F77B3D020994B8C1 Time : 0.0 sec. user=mdettweiler [2016-10-24 17:49:07] 657*2^1443824-1 is not prime. Res64: 3EC87979C2FE3466 Time : 0.0 sec. user=mdettweiler [2016-10-24 17:57:57] 665*2^1443824-1 is not prime. Res64: 66F9DAA609FB9BFE Time : 0.0 sec. user=mdettweiler [2016-10-24 17:57:57] 683*2^1443824-1 is not prime. Res64: 9386BF7044A5A0E3 Time : 0.0 sec. user=mdettweiler [2016-10-24 17:57:57] 785*2^1443824-1 is not prime. Res64: 35DFFC1394FBEC34 Time : 0.0 sec. user=mdettweiler [2016-10-24 17:57:57] 869*2^1443824-1 is not prime. Res64: 1BE181D5A40D94EC Time : 0.0 sec. user=mdettweiler [2016-10-24 17:57:58] 669*2^1443825-1 is not prime. Res64: 890DA348BB624426 Time : 0.0 sec. user=mdettweiler [2016-10-24 18:10:17] 777*2^1443825-1 is not prime. Res64: 7191E70030922B8B Time : 0.0 sec. user=mdettweiler [2016-10-24 18:10:17] 781*2^1443825-1 is not prime. Res64: F3E05ED98055446E Time : 0.0 sec. user=mdettweiler [2016-10-24 18:10:18] 885*2^1443825-1 is not prime. Res64: 91621ADE651C01DF Time : 0.0 sec. user=mdettweiler [2016-10-24 18:10:18] 997*2^1443825-1 is not prime. Res64: 7FDD4BCE9F4FB91E Time : 0.0 sec. user=mdettweiler [2016-10-24 18:10:19] 675*2^1443826-1 is not prime. Res64: 4879DD8AE9EB367E Time : 0.0 sec. user=mdettweiler [2016-10-24 18:22:02] 677*2^1443826-1 is not prime. Res64: 93B739B379E3256E Time : 0.0 sec. user=mdettweiler [2016-10-24 18:22:02] 735*2^1443826-1 is not prime. Res64: 4BBAE89804E356A5 Time : 0.0 sec. user=mdettweiler [2016-10-24 18:22:03] 755*2^1443826-1 is not prime. Res64: DAFF9ABCC6AE2852 Time : 0.0 sec. user=mdettweiler [2016-10-24 18:22:03] 773*2^1443826-1 is not prime. Res64: 41055BB5DC15FEC4 Time : 0.0 sec. user=mdettweiler [2016-10-24 18:22:04] 941*2^1443826-1 is not prime. Res64: 722BBF1E8A315AE6 Time : 0.0 sec. user=mdettweiler [2016-10-24 18:38:11] 619*2^1443827-1 is not prime. Res64: 96901C0F6AE895DA Time : 0.0 sec. user=mdettweiler [2016-10-24 18:38:11] 741*2^1443827-1 is not prime. Res64: 1C5F09C501EAE80F Time : 0.0 sec. user=mdettweiler [2016-10-24 18:38:12] 813*2^1443827-1 is not prime. Res64: 0468CC181C21DDF3 Time : 0.0 sec. user=mdettweiler [2016-10-24 18:38:12] 825*2^1443827-1 is not prime. Res64: B001049D825F7130 Time : 0.0 sec. user=mdettweiler [2016-10-24 18:38:13] 879*2^1443827-1 is not prime. Res64: 7C15AFC957460CB2 Time : 0.0 sec. user=mdettweiler [2016-10-24 18:46:00] 909*2^1443827-1 is not prime. Res64: 33E386CF20CF82F8 Time : 0.0 sec. user=mdettweiler [2016-10-24 18:46:00] 979*2^1443827-1 is not prime. Res64: DF0D5438CF4DE8B9 Time : 0.0 sec. user=mdettweiler [2016-10-24 18:46:00] 985*2^1443827-1 is not prime. Res64: E244B598566E306D Time : 0.0 sec. user=mdettweiler [2016-10-24 18:46:01] 991*2^1443827-1 is not prime. Res64: 4DBBDC2852DD0977 Time : 0.0 sec. user=mdettweiler [2016-10-24 18:46:01] 627*2^1443828-1 is not prime. Res64: 14904F657101EEF5 Time : 0.0 sec. user=mdettweiler [2016-10-24 19:00:07] 647*2^1443828-1 is not prime. Res64: 5EB56C7910338057 Time : 0.0 sec. user=mdettweiler [2016-10-24 19:00:07] 657*2^1443828-1 is not prime. Res64: 31A643DB0F058660 Time : 0.0 sec. user=mdettweiler [2016-10-24 19:00:07] 765*2^1443828-1 is not prime. Res64: 201A641032D8E631 Time : 0.0 sec. user=mdettweiler [2016-10-24 19:00:07] 915*2^1443828-1 is not prime. Res64: E8BC09F086D0799F Time : 0.0 sec. user=mdettweiler [2016-10-24 19:00:08] 639*2^1443829-1 is not prime. Res64: 16A752DE048A38CA Time : 0.0 sec. user=mdettweiler [2016-10-24 19:11:28] 775*2^1443829-1 is not prime. Res64: DBE8070E1EAD832D Time : 0.0 sec. user=mdettweiler [2016-10-24 19:11:31] 801*2^1443829-1 is not prime. Res64: 20AD321356D5A4E4 Time : 0.0 sec. user=mdettweiler [2016-10-24 19:11:34] 987*2^1443829-1 is not prime. Res64: 544D17E81219CEEF Time : 0.0 sec. user=mdettweiler [2016-10-24 19:11:36] 997*2^1443829-1 is not prime. Res64: 45A9EB300EF50DEA Time : 0.0 sec. user=mdettweiler [2016-10-24 19:11:37] 675*2^1443830-1 is not prime. Res64: 80AA1990F648099F Time : 0.0 sec. user=mdettweiler [2016-10-24 19:27:03] 707*2^1443830-1 is not prime. Res64: 1015B2E503518F70 Time : 0.0 sec. user=mdettweiler [2016-10-24 19:27:04] 731*2^1443830-1 is not prime. Res64: 2F7BC3901FB06314 Time : 0.0 sec. user=mdettweiler [2016-10-24 19:27:04] 797*2^1443830-1 is not prime. Res64: 5946E19CD4CA581D Time : 0.0 sec. user=mdettweiler [2016-10-24 19:27:04] 867*2^1443830-1 is not prime. Res64: B61F6AD74010E837 Time : 0.0 sec. user=mdettweiler [2016-10-24 19:27:04] 945*2^1443830-1 is not prime. Res64: 86D62B231F1728DB Time : 0.0 sec. user=mdettweiler [2016-10-24 19:33:30] 953*2^1443830-1 is not prime. Res64: 0618FD4C8936EFDA Time : 0.0 sec. user=mdettweiler [2016-10-24 19:33:31] 977*2^1443830-1 is not prime. Res64: 17FABD29858FA0A6 Time : 0.0 sec. user=mdettweiler [2016-10-24 19:33:32] 675*2^1443831-1 is not prime. Res64: FE159B5A01978FEE Time : 0.0 sec. user=mdettweiler [2016-10-24 19:33:32] 763*2^1443831-1 is not prime. Res64: 8D7C753207E3029C Time : 0.0 sec. user=mdettweiler [2016-10-24 19:33:32] 945*2^1443831-1 is not prime. Res64: F1319C21F6EE9440 Time : 0.0 sec. user=mdettweiler [2016-10-24 19:45:52] 609*2^1443832-1 is not prime. Res64: 3772688345EF87AC Time : 0.0 sec. user=mdettweiler [2016-10-24 19:45:52] 623*2^1443832-1 is not prime. Res64: CCE8883AF4F073BF Time : 0.0 sec. user=mdettweiler [2016-10-24 19:45:53] 635*2^1443832-1 is not prime. Res64: 483B5C3B45133236 Time : 0.0 sec. user=mdettweiler [2016-10-24 19:45:53] 653*2^1443832-1 is not prime. Res64: E94A84DD47F9DC22 Time : 0.0 sec. user=mdettweiler [2016-10-24 19:45:53] 713*2^1443832-1 is not prime. Res64: CB08C67762959768 Time : 0.0 sec. user=mdettweiler [2016-10-24 19:56:46] 719*2^1443832-1 is not prime. Res64: 2FD13784F8D7CF47 Time : 0.0 sec. user=mdettweiler [2016-10-24 19:56:46] 857*2^1443832-1 is not prime. Res64: 1CEA747CB5AC56AB Time : 0.0 sec. user=mdettweiler [2016-10-24 19:56:46] 899*2^1443832-1 is not prime. Res64: 3F72DC7841CA5248 Time : 0.0 sec. user=mdettweiler [2016-10-24 19:56:47] 917*2^1443832-1 is not prime. Res64: ADD71AAADBBC8203 Time : 0.0 sec. user=mdettweiler [2016-10-24 19:56:47] 975*2^1443832-1 is not prime. Res64: ECB4CF6469339726 Time : 0.0 sec. user=mdettweiler [2016-10-24 20:11:41] 651*2^1443833-1 is not prime. Res64: 56C9ABA30E2D9DA4 Time : 0.0 sec. user=mdettweiler [2016-10-24 20:11:42] 679*2^1443833-1 is not prime. Res64: DCE9BB4267B11A8E Time : 0.0 sec. user=mdettweiler [2016-10-24 20:11:42] 685*2^1443833-1 is not prime. Res64: 80E82613C2C4EC0C Time : 0.0 sec. user=mdettweiler [2016-10-24 20:11:42] 771*2^1443833-1 is not prime. Res64: 5B1150F1480F12C6 Time : 0.0 sec. user=mdettweiler [2016-10-24 20:11:42] 939*2^1443833-1 is not prime. Res64: C7F4B9A079D96AC1 Time : 0.0 sec. user=mdettweiler [2016-10-24 20:18:13] 957*2^1443833-1 is not prime. Res64: 3A3A157ECA880795 Time : 0.0 sec. user=mdettweiler [2016-10-24 20:18:14] 741*2^1443834-1 is not prime. Res64: B574104A0E64CFC8 Time : 0.0 sec. user=mdettweiler [2016-10-24 20:18:14] 923*2^1443834-1 is not prime. Res64: C6A505B4A4B53805 Time : 0.0 sec. user=mdettweiler [2016-10-24 20:18:15] 971*2^1443834-1 is not prime. Res64: 811D61D4DFA49C14 Time : 0.0 sec. user=mdettweiler [2016-10-24 20:18:16] 733*2^1443835-1 is not prime. Res64: F0D18DA3984E725D Time : 0.0 sec. user=mdettweiler [2016-10-24 20:30:32] 805*2^1443835-1 is not prime. Res64: 2E79BB3487571D1E Time : 0.0 sec. user=mdettweiler [2016-10-24 20:30:32] 633*2^1443836-1 is not prime. Res64: 9BFDA6532AB01F81 Time : 0.0 sec. user=mdettweiler [2016-10-24 20:30:33] 693*2^1443836-1 is not prime. Res64: 695F898FB30C2E31 Time : 0.0 sec. user=mdettweiler [2016-10-24 20:30:33] 725*2^1443836-1 is not prime. Res64: 2D2B2E14CD886887 Time : 0.0 sec. user=mdettweiler [2016-10-24 20:30:33] 839*2^1443836-1 is not prime. Res64: 28FA7804EB526E44 Time : 0.0 sec. user=mdettweiler [2016-10-24 20:41:26] 873*2^1443836-1 is not prime. Res64: F2EDB0A1E539975B Time : 0.0 sec. user=mdettweiler [2016-10-24 20:41:26] 923*2^1443836-1 is not prime. Res64: 24723F66CA58047A Time : 0.0 sec. user=mdettweiler [2016-10-24 20:41:26] 999*2^1443836-1 is not prime. Res64: 4198CE6CF0721BAD Time : 0.0 sec. user=mdettweiler [2016-10-24 20:41:27] 699*2^1443837-1 is not prime. Res64: 17DF8E35C29EDD24 Time : 0.0 sec. user=mdettweiler [2016-10-24 20:41:27] 717*2^1443837-1 is not prime. Res64: EE667FE438DD29D3 Time : 0.0 sec. user=mdettweiler [2016-10-24 20:56:27] 861*2^1443837-1 is not prime. Res64: D5AC330B48E725DC Time : 0.0 sec. user=mdettweiler [2016-10-24 20:56:27] 955*2^1443837-1 is not prime. Res64: B3DAF41974B98B03 Time : 0.0 sec. user=mdettweiler [2016-10-24 20:56:28] 621*2^1443838-1 is not prime. Res64: BD441FE70BE9B41D Time : 0.0 sec. user=mdettweiler [2016-10-24 20:56:28] 687*2^1443838-1 is not prime. Res64: B20479D30B02780C Time : 0.0 sec. user=mdettweiler [2016-10-24 20:56:28] 825*2^1443838-1 is not prime. Res64: 30602F0ED1F3D04C Time : 0.0 sec. user=mdettweiler [2016-10-24 21:02:50] 831*2^1443838-1 is not prime. Res64: F3033C7DAD4F8998 Time : 0.0 sec. user=mdettweiler [2016-10-24 21:02:52] 863*2^1443838-1 is not prime. Res64: 809D3F424BDE6E31 Time : 0.0 sec. user=mdettweiler [2016-10-24 21:02:53] 923*2^1443838-1 is not prime. Res64: A3E39BA0739FF56B Time : 0.0 sec. user=mdettweiler [2016-10-24 21:02:54] 941*2^1443838-1 is not prime. Res64: A8A55CEE9362675D Time : 0.0 sec. user=mdettweiler [2016-10-24 21:02:54] 603*2^1443839-1 is not prime. Res64: 43AE48E9B9E6210D Time : 0.0 sec. user=mdettweiler [2016-10-24 21:15:10] 775*2^1443839-1 is not prime. Res64: D334884C32DFE183 Time : 0.0 sec. user=mdettweiler [2016-10-24 21:15:11] 823*2^1443839-1 is not prime. Res64: 04DCC46CEDB7DE75 Time : 0.0 sec. user=mdettweiler [2016-10-24 21:15:11] 931*2^1443839-1 is not prime. Res64: 1ACAFE745EC5ABAD Time : 0.0 sec. user=mdettweiler [2016-10-24 21:15:11] 939*2^1443839-1 is not prime. Res64: 6D49AE00D7AF56E0 Time : 0.0 sec. user=mdettweiler [2016-10-24 21:15:11] 993*2^1443839-1 is not prime. Res64: 5A7C7C7212064F02 Time : 0.0 sec. user=mdettweiler [2016-10-24 21:26:04] 759*2^1443840-1 is not prime. Res64: F3BE4B2D198738E0 Time : 0.0 sec. user=mdettweiler [2016-10-24 21:26:04] 607*2^1443841-1 is not prime. Res64: F091F2728C6C4A74 Time : 0.0 sec. user=mdettweiler [2016-10-24 21:26:04] 675*2^1443841-1 is not prime. Res64: 179FE9C5C2047AC9 Time : 0.0 sec. user=mdettweiler [2016-10-24 21:26:05] 727*2^1443841-1 is not prime. Res64: 715CA5F0FF97783E Time : 0.0 sec. user=mdettweiler [2016-10-24 21:26:05] 769*2^1443841-1 is not prime. Res64: 1A2C90CDF3795DFA Time : 0.0 sec. user=mdettweiler [2016-10-24 21:41:04] 771*2^1443841-1 is not prime. Res64: C50C234D1B363F5E Time : 0.0 sec. user=mdettweiler [2016-10-24 21:41:04] 895*2^1443841-1 is not prime. Res64: 874E932CFDE3D951 Time : 0.0 sec. user=mdettweiler [2016-10-24 21:41:05] 937*2^1443841-1 is not prime. Res64: 3F0C54E417A1C523 Time : 0.0 sec. user=mdettweiler [2016-10-24 21:41:05] 957*2^1443841-1 is not prime. Res64: AC5E325919667348 Time : 0.0 sec. user=mdettweiler [2016-10-24 21:41:05] 999*2^1443841-1 is not prime. Res64: 83E445377C08170D Time : 0.0 sec. user=mdettweiler [2016-10-24 21:47:47] 645*2^1443842-1 is not prime. Res64: D2CA978F986CC162 Time : 0.0 sec. user=mdettweiler [2016-10-24 21:47:48] 671*2^1443842-1 is not prime. Res64: DDA66A616D76F2BC Time : 0.0 sec. user=mdettweiler [2016-10-24 21:47:49] 713*2^1443842-1 is not prime. Res64: E9CA1027C86FD433 Time : 0.0 sec. user=mdettweiler [2016-10-24 21:47:49] 753*2^1443842-1 is not prime. Res64: 1A8A6E8DEBC1691F Time : 0.0 sec. user=mdettweiler [2016-10-24 21:47:49] 923*2^1443842-1 is not prime. Res64: F1F5CB633A2FCCED Time : 0.0 sec. user=mdettweiler [2016-10-24 21:59:47] 609*2^1443843-1 is not prime. Res64: D5784E05514C2995 Time : 0.0 sec. user=mdettweiler [2016-10-24 21:59:47] 705*2^1443843-1 is not prime. Res64: 38486FF49D086D8E Time : 0.0 sec. user=mdettweiler [2016-10-24 21:59:48] 741*2^1443843-1 is not prime. Res64: 17B96CAE845AF3E1 Time : 0.0 sec. user=mdettweiler [2016-10-24 21:59:48] 769*2^1443843-1 is not prime. Res64: DC043939646B2046 Time : 0.0 sec. user=mdettweiler [2016-10-24 21:59:48] 825*2^1443843-1 is not prime. Res64: 97B0585EC686EC7A Time : 0.0 sec. user=mdettweiler [2016-10-24 22:10:46] 853*2^1443843-1 is not prime. Res64: 47791BE44401757C Time : 0.0 sec. user=mdettweiler [2016-10-24 22:10:46] 719*2^1443844-1 is not prime. Res64: C28CB8CF7580D0BE Time : 0.0 sec. user=mdettweiler [2016-10-24 22:10:47] 785*2^1443844-1 is not prime. Res64: C60878590F155B7F Time : 0.0 sec. user=mdettweiler [2016-10-24 22:10:47] 869*2^1443844-1 is not prime. Res64: 089EF41D15B88128 Time : 0.0 sec. user=mdettweiler [2016-10-24 22:10:47] 903*2^1443844-1 is not prime. Res64: 26FDA47C602D4818 Time : 0.0 sec. user=mdettweiler [2016-10-24 22:25:42] 645*2^1443845-1 is not prime. Res64: 77D81F5688A4999D Time : 0.0 sec. user=mdettweiler [2016-10-24 22:25:43] 697*2^1443845-1 is not prime. Res64: 24D112F7FDD9CA0C Time : 0.0 sec. user=mdettweiler [2016-10-24 22:25:43] 715*2^1443845-1 is not prime. Res64: 575322828415D4E1 Time : 0.0 sec. user=mdettweiler [2016-10-24 22:25:43] 795*2^1443845-1 is not prime. Res64: 97AFE09C26C4EB1D Time : 0.0 sec. user=mdettweiler [2016-10-24 22:25:43] 819*2^1443845-1 is not prime. Res64: E0863143AB7F5091 Time : 0.0 sec. user=mdettweiler [2016-10-24 22:32:23] 837*2^1443845-1 is not prime. Res64: 03669CE7F0C882E9 Time : 0.0 sec. user=mdettweiler [2016-10-24 22:32:23] 927*2^1443845-1 is not prime. Res64: 1A49893A547D1D90 Time : 0.0 sec. user=mdettweiler [2016-10-24 22:32:23] 991*2^1443845-1 is not prime. Res64: EFAA49F5B3A8675D Time : 0.0 sec. user=mdettweiler [2016-10-24 22:32:24] 647*2^1443846-1 is not prime. Res64: D6B38E78E2A14133 Time : 0.0 sec. user=mdettweiler [2016-10-24 22:32:24] 677*2^1443846-1 is not prime. Res64: B06C6E58DAF0862B Time : 0.0 sec. user=mdettweiler [2016-10-24 22:44:22] 747*2^1443846-1 is not prime. Res64: A8710B76E194B97A Time : 0.0 sec. user=mdettweiler [2016-10-24 22:44:23] 891*2^1443846-1 is not prime. Res64: 6B091E618BF119B4 Time : 0.0 sec. user=mdettweiler [2016-10-24 22:44:23] 945*2^1443846-1 is not prime. Res64: 03A2E51C4850E2CC Time : 0.0 sec. user=mdettweiler [2016-10-24 22:44:23] 673*2^1443847-1 is not prime. Res64: 3B580E472CC2E4AE Time : 0.0 sec. user=mdettweiler [2016-10-24 22:44:23] 703*2^1443847-1 is not prime. Res64: B822392155B7A1FB Time : 0.0 sec. user=mdettweiler [2016-10-24 22:55:26] 741*2^1443847-1 is not prime. Res64: BC3654951C974234 Time : 0.0 sec. user=mdettweiler [2016-10-24 22:55:26] 813*2^1443847-1 is not prime. Res64: FDA8529DA0C94203 Time : 0.0 sec. user=mdettweiler [2016-10-24 22:55:27] 841*2^1443847-1 is not prime. Res64: 11F0CB1B185AA93B Time : 0.0 sec. user=mdettweiler [2016-10-24 22:55:27] 859*2^1443847-1 is not prime. Res64: 3CB047A1DF4CF742 Time : 0.0 sec. user=mdettweiler [2016-10-24 22:55:27] 861*2^1443847-1 is not prime. Res64: 26A2F2E73C5AD721 Time : 0.0 sec. user=mdettweiler [2016-10-24 23:10:59] 975*2^1443847-1 is not prime. Res64: E068101FB9A1C323 Time : 0.0 sec. user=mdettweiler [2016-10-24 23:11:01] 657*2^1443848-1 is not prime. Res64: DC3025C93A130093 Time : 0.0 sec. user=mdettweiler [2016-10-24 23:11:04] 699*2^1443848-1 is not prime. Res64: C479028CE3FA7031 Time : 0.0 sec. user=mdettweiler [2016-10-24 23:11:06] 777*2^1443848-1 is not prime. Res64: 4FAB6341D0C02CD8 Time : 0.0 sec. user=mdettweiler [2016-10-24 23:11:09] 845*2^1443848-1 is not prime. Res64: 658E31CF1421A1D9 Time : 0.0 sec. user=mdettweiler [2016-10-24 23:17:42] 957*2^1443848-1 is not prime. Res64: 069DB2040DDB2656 Time : 0.0 sec. user=mdettweiler [2016-10-24 23:17:43] 995*2^1443848-1 is not prime. Res64: 8861CAA270033A0E Time : 0.0 sec. user=mdettweiler [2016-10-24 23:17:43] 661*2^1443849-1 is not prime. Res64: 4FFC96D05D696F21 Time : 0.0 sec. user=mdettweiler [2016-10-24 23:17:43] 679*2^1443849-1 is not prime. Res64: 6F1B7BDB68263A45 Time : 0.0 sec. user=mdettweiler [2016-10-24 23:17:43] 795*2^1443849-1 is not prime. Res64: 3789F7F15A52484B Time : 0.0 sec. user=mdettweiler [2016-10-24 23:30:16] 847*2^1443849-1 is not prime. Res64: 8474F13F066F2E47 Time : 0.0 sec. user=mdettweiler [2016-10-24 23:30:16] 687*2^1443850-1 is not prime. Res64: 9597C2AB312C3E02 Time : 0.0 sec. user=mdettweiler [2016-10-24 23:30:17] 735*2^1443850-1 is not prime. Res64: 92A8B6674729C7FC Time : 0.0 sec. user=mdettweiler [2016-10-24 23:30:17] 743*2^1443850-1 is not prime. Res64: 1EC5BDC74E0C0E67 Time : 0.0 sec. user=mdettweiler [2016-10-24 23:30:18] 765*2^1443850-1 is not prime. Res64: 7074C868D4144154 Time : 0.0 sec. user=mdettweiler [2016-10-24 23:41:25] 803*2^1443850-1 is not prime. Res64: 98469174715433B0 Time : 0.0 sec. user=mdettweiler [2016-10-24 23:41:26] 873*2^1443850-1 is not prime. Res64: B963B885E9129879 Time : 0.0 sec. user=mdettweiler [2016-10-24 23:41:27] 675*2^1443851-1 is not prime. Res64: 4FE2D92F1003DEB9 Time : 0.0 sec. user=mdettweiler [2016-10-24 23:41:28] 789*2^1443851-1 is not prime. Res64: 7EA7F0B27666F665 Time : 0.0 sec. user=mdettweiler [2016-10-24 23:41:30] 859*2^1443851-1 is not prime. Res64: DEA84B82C7D539DB Time : 0.0 sec. user=mdettweiler [2016-10-24 23:56:39] 871*2^1443851-1 is not prime. Res64: A4EF8597D6455D31 Time : 0.0 sec. user=mdettweiler [2016-10-24 23:56:40] 883*2^1443851-1 is not prime. Res64: 22ED5BE2F95B8C8C Time : 0.0 sec. user=mdettweiler [2016-10-24 23:56:40] 981*2^1443851-1 is not prime. Res64: 9A452659E11735B7 Time : 0.0 sec. user=mdettweiler [2016-10-24 23:56:41] 627*2^1443852-1 is not prime. Res64: 4171CB5D8BC53D6B Time : 0.0 sec. user=mdettweiler [2016-10-24 23:56:43] 669*2^1443852-1 is not prime. Res64: 97F250C950DBF4DA Time : 0.0 sec.