user=mdettweiler [2015-11-20 00:04:09] 615*2^1415489-1 is not prime. Res64: 4DD6E1F0B3D2573F Time : 0.0 sec. user=mdettweiler [2015-11-20 00:04:10] 657*2^1415489-1 is not prime. Res64: 6E65F31FB9CBB81D Time : 0.0 sec. user=mdettweiler [2015-11-20 00:09:27] 675*2^1415489-1 is not prime. Res64: CBCA882CFBF4E0B7 Time : 0.0 sec. user=mdettweiler [2015-11-20 00:09:27] 741*2^1415489-1 is not prime. Res64: 8D85C1CEA8B12BD6 Time : 0.0 sec. user=mdettweiler [2015-11-20 00:11:13] 775*2^1415489-1 is not prime. Res64: 044856B8F946E2CA Time : 0.0 sec. user=mdettweiler [2015-11-20 00:11:13] 781*2^1415489-1 is not prime. Res64: 2B1E9E04770FB415 Time : 0.0 sec. user=mdettweiler [2015-11-20 00:11:20] 789*2^1415489-1 is not prime. Res64: 8B96ECF53F9489CC Time : 0.0 sec. user=mdettweiler [2015-11-20 00:11:20] 795*2^1415489-1 is not prime. Res64: AAD819C2CA595837 Time : 0.0 sec. user=mdettweiler [2015-11-20 00:22:31] 837*2^1415489-1 is not prime. Res64: 5422815B02F5CF33 Time : 0.0 sec. user=mdettweiler [2015-11-20 00:22:31] 861*2^1415489-1 is not prime. Res64: F8F6172160DFC316 Time : 0.0 sec. user=mdettweiler [2015-11-20 00:27:30] 879*2^1415489-1 is not prime. Res64: 1FB43B21D075788C Time : 0.0 sec. user=mdettweiler [2015-11-20 00:27:30] 885*2^1415489-1 is not prime. Res64: EC024138DD0A5730 Time : 0.0 sec. user=mdettweiler [2015-11-20 00:29:15] 897*2^1415489-1 is not prime. Res64: 1302DD4263D0025D Time : 0.0 sec. user=mdettweiler [2015-11-20 00:29:16] 969*2^1415489-1 is not prime. Res64: 5E63BD50290A7273 Time : 0.0 sec. user=mdettweiler [2015-11-20 00:29:18] 987*2^1415489-1 is not prime. Res64: 933FD138097D8265 Time : 0.0 sec. user=mdettweiler [2015-11-20 00:29:18] 611*2^1415490-1 is not prime. Res64: 603EA8A3AE4F51E5 Time : 0.0 sec. user=mdettweiler [2015-11-20 00:40:37] 633*2^1415490-1 is not prime. Res64: ACFA3A375D8C2FC9 Time : 0.0 sec. user=mdettweiler [2015-11-20 00:40:37] 711*2^1415490-1 is not prime. Res64: 1C92BF4E45494C83 Time : 0.0 sec. user=mdettweiler [2015-11-20 00:45:30] 723*2^1415490-1 is not prime. Res64: AC292800A69F8CE6 Time : 0.0 sec. user=mdettweiler [2015-11-20 00:45:31] 741*2^1415490-1 is not prime. Res64: 5A25E6AB9736C349 Time : 0.0 sec. user=mdettweiler [2015-11-20 00:47:17] 783*2^1415490-1 is not prime. Res64: 2DC0B28587250798 Time : 0.0 sec. user=mdettweiler [2015-11-20 00:47:17] 915*2^1415490-1 is not prime. Res64: B11213F84EA575C4 Time : 0.0 sec. user=mdettweiler [2015-11-20 00:47:26] 921*2^1415490-1 is not prime. Res64: 640547EA54F9D4AF Time : 0.0 sec. user=mdettweiler [2015-11-20 00:47:26] 609*2^1415491-1 is not prime. Res64: 73A39923A3F6CB44 Time : 0.0 sec. user=mdettweiler [2015-11-20 00:49:53] 715*2^1415491-1 is not prime. Res64: 71742E7DD5DB19D7 Time : 0.0 sec. user=mdettweiler [2015-11-20 00:58:32] 735*2^1415491-1 is not prime. Res64: 47AA17BB94EED1F7 Time : 0.0 sec. user=mdettweiler [2015-11-20 00:58:33] 759*2^1415491-1 is not prime. Res64: 1C5594203D906839 Time : 0.0 sec. user=mdettweiler [2015-11-20 01:03:37] 833*2^1415492-1 is not prime. Res64: 14D7D85295858CD5 Time : 0.0 sec. user=mdettweiler [2015-11-20 01:03:38] 945*2^1415492-1 is not prime. Res64: 15EB40CE5C0C1E5F Time : 0.0 sec. user=mdettweiler [2015-11-20 01:05:28] 645*2^1415494-1 is not prime. Res64: AC8E0768A6304A30 Time : 0.0 sec. user=mdettweiler [2015-11-20 01:05:29] 663*2^1415494-1 is not prime. Res64: BFE9B32DBEEAE044 Time : 0.0 sec. user=mdettweiler [2015-11-20 01:05:31] 649*2^1415493-1 is not prime. Res64: A03FC7582F32F54A Time : 0.0 sec. user=mdettweiler [2015-11-20 01:05:32] 795*2^1415493-1 is not prime. Res64: 1CD79208E4E45C72 Time : 0.0 sec. user=mdettweiler [2015-11-20 01:17:04] 671*2^1415494-1 is not prime. Res64: 8169F252EC8EA691 Time : 0.0 sec. user=mdettweiler [2015-11-20 01:17:05] 677*2^1415494-1 is not prime. Res64: 197DC19BF38C08B6 Time : 0.0 sec. user=mdettweiler [2015-11-20 01:21:36] 737*2^1415494-1 is not prime. Res64: EEA29B1926FB61FA Time : 0.0 sec. user=mdettweiler [2015-11-20 01:21:36] 951*2^1415494-1 is not prime. Res64: 5B8BB4B51A61D23C Time : 0.0 sec. user=mdettweiler [2015-11-20 01:23:32] 859*2^1415495-1 is not prime. Res64: 1C0BF23803A88281 Time : 0.0 sec. user=mdettweiler [2015-11-20 01:23:32] 939*2^1415495-1 is not prime. Res64: 572C75C5CC90BF45 Time : 0.0 sec. user=mdettweiler [2015-11-20 01:23:33] 645*2^1415495-1 is not prime. Res64: EEEEE51EA1F77724 Time : 0.0 sec. user=mdettweiler [2015-11-20 01:23:34] 759*2^1415495-1 is not prime. Res64: 6FBD1397AD65E8C2 Time : 0.0 sec. user=mdettweiler [2015-11-20 01:35:09] 969*2^1415495-1 is not prime. Res64: AB18EE6367891E79 Time : 0.0 sec. user=mdettweiler [2015-11-20 01:35:10] 973*2^1415495-1 is not prime. Res64: 472E51C893EA1C42 Time : 0.0 sec. user=mdettweiler [2015-11-20 01:39:32] 623*2^1415496-1 is not prime. Res64: 703A31A4F5080680 Time : 0.0 sec. user=mdettweiler [2015-11-20 01:39:32] 635*2^1415496-1 is not prime. Res64: 55EF66E818C19BCD Time : 0.0 sec. user=mdettweiler [2015-11-20 01:41:35] 689*2^1415496-1 is not prime. Res64: 33EF555F94DEEDC0 Time : 0.0 sec. user=mdettweiler [2015-11-20 01:41:36] 695*2^1415496-1 is not prime. Res64: 931CEA536CE8E8AD Time : 0.0 sec. user=mdettweiler [2015-11-20 01:41:42] 707*2^1415496-1 is not prime. Res64: 9613C79CB6B8436F Time : 0.0 sec. user=mdettweiler [2015-11-20 01:41:43] 737*2^1415496-1 is not prime. Res64: 85505D438C8C897A Time : 0.0 sec. user=mdettweiler [2015-11-20 01:53:22] 803*2^1415496-1 is not prime. Res64: E96137C03503F81E Time : 0.0 sec. user=mdettweiler [2015-11-20 01:53:22] 845*2^1415496-1 is not prime. Res64: 66E67D8A7337D35F Time : 0.0 sec. user=mdettweiler [2015-11-20 01:57:30] 909*2^1415496-1 is not prime. Res64: 27F343D2F05D1F6B Time : 0.0 sec. user=mdettweiler [2015-11-20 01:57:31] 601*2^1415497-1 is not prime. Res64: 0902840C16F44FED Time : 0.0 sec. user=mdettweiler [2015-11-20 01:59:44] 675*2^1415497-1 is not prime. Res64: 6C92FCE2B6CCE2B3 Time : 0.0 sec. user=mdettweiler [2015-11-20 01:59:44] 685*2^1415497-1 is not prime. Res64: 060C3737FA986A26 Time : 0.0 sec. user=mdettweiler [2015-11-20 01:59:49] 687*2^1415497-1 is not prime. Res64: 972E14663D960AF2 Time : 0.0 sec. user=mdettweiler [2015-11-20 01:59:49] 717*2^1415497-1 is not prime. Res64: 4CB71E390E234099 Time : 0.0 sec. user=mdettweiler [2015-11-20 02:11:33] 765*2^1415497-1 is not prime. Res64: 7812E9C7A0D51065 Time : 0.0 sec. user=mdettweiler [2015-11-20 02:11:33] 801*2^1415497-1 is not prime. Res64: 92DDE6E4A24A58F2 Time : 0.0 sec. user=mdettweiler [2015-11-20 02:15:33] 829*2^1415497-1 is not prime. Res64: 29BE328E2CF5B1B4 Time : 0.0 sec. user=mdettweiler [2015-11-20 02:15:33] 885*2^1415497-1 is not prime. Res64: C7E1B4B0456BA5C8 Time : 0.0 sec. user=mdettweiler [2015-11-20 02:17:41] 909*2^1415497-1 is not prime. Res64: 1DE43B51BA2F1032 Time : 0.0 sec. user=mdettweiler [2015-11-20 02:17:42] 671*2^1415498-1 is not prime. Res64: 254AAB2245403A4B Time : 0.0 sec. user=mdettweiler [2015-11-20 02:17:52] 707*2^1415498-1 is not prime. Res64: 4D4C39F354F7803B Time : 0.0 sec. user=mdettweiler [2015-11-20 02:17:53] 743*2^1415498-1 is not prime. Res64: 84AE656C14F71B35 Time : 0.0 sec. user=mdettweiler [2015-11-20 02:29:38] 813*2^1415498-1 is not prime. Res64: BADA493F546A1BD3 Time : 0.0 sec. user=mdettweiler [2015-11-20 02:29:38] 857*2^1415498-1 is not prime. Res64: 2D88614ADA3F201D Time : 0.0 sec. user=mdettweiler [2015-11-20 02:33:39] 951*2^1415498-1 is not prime. Res64: C5E7827F0FCD5C9F Time : 0.0 sec. user=mdettweiler [2015-11-20 02:33:40] 971*2^1415498-1 is not prime. Res64: 5FF401BEE896C192 Time : 0.0 sec. user=mdettweiler [2015-11-20 02:35:46] 679*2^1415499-1 is not prime. Res64: 0C5C56E591330A54 Time : 0.0 sec. user=mdettweiler [2015-11-20 02:35:46] 705*2^1415499-1 is not prime. Res64: 95CB14E8300C8206 Time : 0.0 sec. user=mdettweiler [2015-11-20 02:35:59] 751*2^1415499-1 is not prime. Res64: 45D50D58EF59800C Time : 0.0 sec. user=mdettweiler [2015-11-20 02:35:59] 823*2^1415499-1 is not prime. Res64: 643A31212FBA8B05 Time : 0.0 sec. user=mdettweiler [2015-11-20 02:47:55] 961*2^1415499-1 is not prime. Res64: 46565A98D0FA771B Time : 0.0 sec. user=mdettweiler [2015-11-20 02:47:56] 985*2^1415499-1 is not prime. Res64: 2EAA60F3BDC62BFC Time : 0.0 sec. user=mdettweiler [2015-11-20 02:51:45] 603*2^1415500-1 is not prime. Res64: FC9108001C283B20 Time : 0.0 sec. user=mdettweiler [2015-11-20 02:51:45] 693*2^1415500-1 is not prime. Res64: 8296EE85043F5C2A Time : 0.0 sec. user=mdettweiler [2015-11-20 02:53:49] 797*2^1415500-1 is not prime. Res64: 2508086C55C713CD Time : 0.0 sec. user=mdettweiler [2015-11-20 02:53:50] 803*2^1415500-1 is not prime. Res64: 8EF275A7E7E2436D Time : 0.0 sec. user=mdettweiler [2015-11-20 02:54:02] 833*2^1415500-1 is not prime. Res64: 0CBECF51A5A76A0B Time : 0.0 sec. user=mdettweiler [2015-11-20 02:54:03] 899*2^1415500-1 is not prime. Res64: 14A00035C074A56D Time : 0.0 sec. user=mdettweiler [2015-11-20 03:05:56] 909*2^1415500-1 is not prime. Res64: 6E36EB0590FE1EDB Time : 0.0 sec. user=mdettweiler [2015-11-20 03:05:57] 615*2^1415501-1 is not prime. Res64: 0D4A2585A60C1E2A Time : 0.0 sec. user=mdettweiler [2015-11-20 03:09:47] 769*2^1415501-1 is not prime. Res64: 233C19754550B7AA Time : 0.0 sec. user=mdettweiler [2015-11-20 03:09:47] 777*2^1415501-1 is not prime. Res64: 3ABEA039D74B825A Time : 0.0 sec. user=mdettweiler [2015-11-20 03:11:48] 789*2^1415501-1 is not prime. Res64: CB9FDEC59212DEB4 Time : 0.0 sec. user=mdettweiler [2015-11-20 03:11:49] 795*2^1415501-1 is not prime. Res64: 392D4F8D2AA37359 Time : 0.0 sec. user=mdettweiler [2015-11-20 03:12:10] 861*2^1415501-1 is not prime. Res64: D7016B50D53BBB8A Time : 0.0 sec. user=mdettweiler [2015-11-20 03:12:10] 957*2^1415501-1 is not prime. Res64: E2AA101BD4DC1029 Time : 0.0 sec. user=mdettweiler [2015-11-20 03:25:14] 611*2^1415502-1 is not prime. Res64: 38648C06509D36B4 Time : 0.0 sec. user=mdettweiler [2015-11-20 03:25:15] 957*2^1415502-1 is not prime. Res64: CF9589A452AB3F4B Time : 0.0 sec. user=mdettweiler [2015-11-20 03:28:51] 975*2^1415502-1 is not prime. Res64: E3B50EACEC24979E Time : 0.0 sec. user=mdettweiler [2015-11-20 03:28:52] 649*2^1415503-1 is not prime. Res64: 2B2BDC0AC54E6469 Time : 0.0 sec. user=mdettweiler [2015-11-20 03:31:21] 849*2^1415503-1 is not prime. Res64: A802202EBDEA3BFF Time : 0.0 sec. user=mdettweiler [2015-11-20 03:31:22] 853*2^1415503-1 is not prime. Res64: 26642DE857D1E749 Time : 0.0 sec. user=mdettweiler [2015-11-20 03:31:46] 729*2^1415503-1 is not prime. Res64: 7E1C0A1846E0330A Time : 0.0 sec. user=mdettweiler [2015-11-20 03:31:48] 775*2^1415503-1 is not prime. Res64: 5DC7568AE114DFED Time : 0.0 sec. user=mdettweiler [2015-11-20 03:43:29] 891*2^1415503-1 is not prime. Res64: 8B1842FCD6AD33E7 Time : 0.0 sec. user=mdettweiler [2015-11-20 03:43:29] 969*2^1415503-1 is not prime. Res64: 3BA6FF6B0B958139 Time : 0.0 sec. user=mdettweiler [2015-11-20 03:47:09] 683*2^1415504-1 is not prime. Res64: 5D7091693A0A8B13 Time : 0.0 sec. user=mdettweiler [2015-11-20 03:47:11] 747*2^1415504-1 is not prime. Res64: 0FB1235554C19E84 Time : 0.0 sec. user=mdettweiler [2015-11-20 03:49:38] 983*2^1415504-1 is not prime. Res64: 8D3102A6DABE7624 Time : 0.0 sec. user=mdettweiler [2015-11-20 03:49:40] 727*2^1415505-1 is not prime. Res64: 3127275F3A97BB9D Time : 0.0 sec. user=mdettweiler [2015-11-20 03:49:58] 861*2^1415505-1 is not prime. Res64: 8B3ACA9CFB9AB1FA Time : 0.0 sec. user=mdettweiler [2015-11-20 03:49:59] 891*2^1415505-1 is not prime. Res64: C59886C427FF6D65 Time : 0.0 sec. user=mdettweiler [2015-11-20 04:01:49] 937*2^1415505-1 is not prime. Res64: F8B8CBE5383718FD Time : 0.0 sec. user=mdettweiler [2015-11-20 04:01:50] 651*2^1415506-1 is not prime. Res64: 5691460C3F0CD765 Time : 0.0 sec. user=mdettweiler [2015-11-20 04:05:08] 663*2^1415506-1 is not prime. Res64: E75C78D5D78B7695 Time : 0.0 sec. user=mdettweiler [2015-11-20 04:05:09] 705*2^1415506-1 is not prime. Res64: A29405263E5A1EAE Time : 0.0 sec. user=mdettweiler [2015-11-20 04:07:59] 765*2^1415506-1 is not prime. Res64: BDCDA03BEAD3F4A2 Time : 0.0 sec. user=mdettweiler [2015-11-20 04:08:00] 777*2^1415506-1 is not prime. Res64: B40CE8DA7B45C168 Time : 0.0 sec. user=mdettweiler [2015-11-20 04:08:19] 917*2^1415506-1 is not prime. Res64: 3E0ED40DDAD472B7 Time : 0.0 sec. user=mdettweiler [2015-11-20 04:08:19] 603*2^1415507-1 is not prime. Res64: C6D9DFD1A0F6600E Time : 0.0 sec. user=mdettweiler [2015-11-20 04:20:10] 609*2^1415507-1 is not prime. Res64: 21105C47F7A4EA2D Time : 0.0 sec. user=mdettweiler [2015-11-20 04:20:11] 645*2^1415507-1 is not prime. Res64: D9CE876C61EBF1C4 Time : 0.0 sec. user=mdettweiler [2015-11-20 04:23:13] 669*2^1415507-1 is not prime. Res64: C28DD2306040B8FB Time : 0.0 sec. user=mdettweiler [2015-11-20 04:23:13] 693*2^1415507-1 is not prime. Res64: A357D794A0212D0D Time : 0.0 sec. user=mdettweiler [2015-11-20 04:26:03] 735*2^1415507-1 is not prime. Res64: E5E414B4B0CA9695 Time : 0.0 sec. user=mdettweiler [2015-11-20 04:26:03] 813*2^1415507-1 is not prime. Res64: 09FC5124459A6B0D Time : 0.0 sec. user=mdettweiler [2015-11-20 04:26:16] 909*2^1415507-1 is not prime. Res64: 0D41B4929A61D4AC Time : 0.0 sec. user=mdettweiler [2015-11-20 04:26:17] 963*2^1415507-1 is not prime. Res64: 50EAC9F9D84876B5 Time : 0.0 sec. user=mdettweiler [2015-11-20 04:38:15] 647*2^1415508-1 is not prime. Res64: 59E31F8B9B22C849 Time : 0.0 sec. user=mdettweiler [2015-11-20 04:38:16] 707*2^1415508-1 is not prime. Res64: 091B12C709F5C88B Time : 0.0 sec. user=mdettweiler [2015-11-20 04:41:14] 899*2^1415508-1 is not prime. Res64: BA7223384E4F40FC Time : 0.0 sec. user=mdettweiler [2015-11-20 04:41:14] 747*2^1415509-1 is not prime. Res64: 91B34F072DBE5056 Time : 0.0 sec. user=mdettweiler [2015-11-20 04:44:01] 847*2^1415509-1 is not prime. Res64: 4AA70703B8D46C51 Time : 0.0 sec. user=mdettweiler [2015-11-20 04:44:01] 957*2^1415509-1 is not prime. Res64: B6524E70076553F9 Time : 0.0 sec. user=mdettweiler [2015-11-20 04:44:22] 967*2^1415509-1 is not prime. Res64: FD2E5BE93281C260 Time : 0.0 sec. user=mdettweiler [2015-11-20 04:44:22] 651*2^1415510-1 is not prime. Res64: 4BD809A1EDF665FD Time : 0.0 sec. user=mdettweiler [2015-11-20 04:56:19] 687*2^1415510-1 is not prime. Res64: 502FFAFF7B676792 Time : 0.0 sec. user=mdettweiler [2015-11-20 04:56:19] 711*2^1415510-1 is not prime. Res64: 23E113279C515C96 Time : 0.0 sec. user=mdettweiler [2015-11-20 04:59:20] 741*2^1415510-1 is not prime. Res64: 14A48B0FF74B717C Time : 0.0 sec. user=mdettweiler [2015-11-20 04:59:21] 747*2^1415510-1 is not prime. Res64: 0C5F61AD5F9FB0CB Time : 0.0 sec. user=mdettweiler [2015-11-20 05:02:12] 797*2^1415510-1 is not prime. Res64: 6E88415E411F3F6C Time : 0.0 sec. user=mdettweiler [2015-11-20 05:02:13] 861*2^1415510-1 is not prime. Res64: 3657863E105A0EBC Time : 0.0 sec. user=mdettweiler [2015-11-20 05:02:36] 867*2^1415510-1 is not prime. Res64: D898CBF3DC044764 Time : 0.0 sec. user=mdettweiler [2015-11-20 05:02:37] 945*2^1415510-1 is not prime. Res64: 08AC2BD1EEF38C7B Time : 0.0 sec. user=mdettweiler [2015-11-20 05:14:22] 651*2^1415511-1 is not prime. Res64: 89C84C544C04EFC6 Time : 0.0 sec. user=mdettweiler [2015-11-20 05:14:22] 823*2^1415511-1 is not prime. Res64: 4DE6BAA22EB34F3F Time : 0.0 sec. user=mdettweiler [2015-11-20 05:17:25] 859*2^1415511-1 is not prime. Res64: A5B4EA7AC0BD8B00 Time : 0.0 sec. user=mdettweiler [2015-11-20 05:17:25] 861*2^1415511-1 is not prime. Res64: D4760590B43590BF Time : 0.0 sec. user=mdettweiler [2015-11-20 05:20:24] 635*2^1415512-1 is not prime. Res64: 7D9AC6C5A79D7BC7 Time : 0.0 sec. user=mdettweiler [2015-11-20 05:20:24] 645*2^1415512-1 is not prime. Res64: F65BB92151371ADA Time : 0.0 sec. user=mdettweiler [2015-11-20 05:20:53] 863*2^1415512-1 is not prime. Res64: 4492ACA54E973BB3 Time : 0.0 sec. user=mdettweiler [2015-11-20 05:20:54] 869*2^1415512-1 is not prime. Res64: B7AE59EF402CB184 Time : 0.0 sec. user=mdettweiler [2015-11-20 05:32:40] 939*2^1415512-1 is not prime. Res64: 115F7A55BFBCE484 Time : 0.0 sec. user=mdettweiler [2015-11-20 05:32:41] 975*2^1415512-1 is not prime. Res64: 411A878055FD4B06 Time : 0.0 sec. user=mdettweiler [2015-11-20 05:35:34] 651*2^1415513-1 is not prime. Res64: C5B9F9DFD77F0B77 Time : 0.0 sec. user=mdettweiler [2015-11-20 05:35:34] 669*2^1415513-1 is not prime. Res64: 5596B174C28AE912 Time : 0.0 sec. user=mdettweiler [2015-11-20 05:38:51] 745*2^1415513-1 is not prime. Res64: 556AE6390FC652A0 Time : 0.0 sec. user=mdettweiler [2015-11-20 05:38:51] 787*2^1415513-1 is not prime. Res64: 303EA1B4198EB47D Time : 0.0 sec. user=mdettweiler [2015-11-20 05:39:09] 861*2^1415513-1 is not prime. Res64: 9356BD168AC6E929 Time : 0.0 sec. user=mdettweiler [2015-11-20 05:39:10] 635*2^1415514-1 is not prime. Res64: 07AA39CCF542D0DF Time : 0.0 sec. user=mdettweiler [2015-11-20 05:50:46] 671*2^1415514-1 is not prime. Res64: E1F4D9097DA9E898 Time : 0.0 sec. user=mdettweiler [2015-11-20 05:50:46] 723*2^1415514-1 is not prime. Res64: 0D99F389541EF858 Time : 0.0 sec. user=mdettweiler [2015-11-20 05:53:40] 825*2^1415514-1 is not prime. Res64: 116EE322FE55BC8D Time : 0.0 sec. user=mdettweiler [2015-11-20 05:53:40] 891*2^1415514-1 is not prime. Res64: D2E31AD9EF48DDBC Time : 0.0 sec. user=mdettweiler [2015-11-20 05:57:05] 945*2^1415514-1 is not prime. Res64: 095B83553294E744 Time : 0.0 sec. user=mdettweiler [2015-11-20 05:57:05] 625*2^1415515-1 is not prime. Res64: 4238C84C9724F745 Time : 0.0 sec. user=mdettweiler [2015-11-20 05:57:19] 759*2^1415515-1 is not prime. Res64: 7E8EC64685CF5A8F Time : 0.0 sec. user=mdettweiler [2015-11-20 05:57:20] 783*2^1415515-1 is not prime. Res64: 8225AB48A952D304 Time : 0.0 sec. user=mdettweiler [2015-11-20 06:08:57] 659*2^1415516-1 is not prime. Res64: FA3896C559B07EB3 Time : 0.0 sec. user=mdettweiler [2015-11-20 06:08:57] 789*2^1415516-1 is not prime. Res64: 885FDADEFE26981F Time : 0.0 sec. user=mdettweiler [2015-11-20 06:11:52] 837*2^1415516-1 is not prime. Res64: 529ECFA73EF7F0E7 Time : 0.0 sec. user=mdettweiler [2015-11-20 06:11:52] 855*2^1415516-1 is not prime. Res64: ABE6728A7E645002 Time : 0.0 sec. user=mdettweiler [2015-11-20 06:15:07] 869*2^1415516-1 is not prime. Res64: 4E19C2377B0E9D5E Time : 0.0 sec. user=mdettweiler [2015-11-20 06:15:08] 963*2^1415516-1 is not prime. Res64: CD0A8D0E95C2045B Time : 0.0 sec. user=mdettweiler [2015-11-20 06:15:37] 999*2^1415516-1 is not prime. Res64: 15CE6BF4BCEA6CF8 Time : 0.0 sec. user=mdettweiler [2015-11-20 06:15:37] 609*2^1415517-1 is not prime. Res64: 819B024B6C7F5F20 Time : 0.0 sec. user=mdettweiler [2015-11-20 06:27:06] 655*2^1415517-1 is not prime. Res64: 98543FE3F85E6A81 Time : 0.0 sec. user=mdettweiler [2015-11-20 06:27:07] 669*2^1415517-1 is not prime. Res64: 89CD557120BBBF6A Time : 0.0 sec. user=mdettweiler [2015-11-20 06:29:58] 691*2^1415517-1 is not prime. Res64: 815BDE1B6C9109ED Time : 0.0 sec. user=mdettweiler [2015-11-20 06:29:58] 747*2^1415517-1 is not prime. Res64: CD3F37BA09C6FB03 Time : 0.0 sec. user=mdettweiler [2015-11-20 06:33:08] 819*2^1415517-1 is not prime. Res64: EA1982587C429AA0 Time : 0.0 sec. user=mdettweiler [2015-11-20 06:33:08] 891*2^1415517-1 is not prime. Res64: D42957A96AB622F2 Time : 0.0 sec. user=mdettweiler [2015-11-20 06:33:42] 895*2^1415517-1 is not prime. Res64: D133135651227460 Time : 0.0 sec. user=mdettweiler [2015-11-20 06:33:42] 611*2^1415518-1 is not prime. Res64: 245E8704AAE75DF7 Time : 0.0 sec. user=mdettweiler [2015-11-20 06:45:12] 645*2^1415518-1 is not prime. Res64: 92427883C80B1B0A Time : 0.0 sec. user=mdettweiler [2015-11-20 06:45:12] 663*2^1415518-1 is not prime. Res64: 7A44749A9AB8744A Time : 0.0 sec. user=mdettweiler [2015-11-20 06:48:30] 863*2^1415518-1 is not prime. Res64: 84D25D9C9B1D364D Time : 0.0 sec. user=mdettweiler [2015-11-20 06:48:30] 867*2^1415518-1 is not prime. Res64: 089E6C8E594008AE Time : 0.0 sec. user=mdettweiler [2015-11-20 06:51:43] 881*2^1415518-1 is not prime. Res64: A6B8C7FBAC613952 Time : 0.0 sec. user=mdettweiler [2015-11-20 06:51:45] 679*2^1415519-1 is not prime. Res64: A32A0E66A240A14B Time : 0.0 sec. user=mdettweiler [2015-11-20 06:52:08] 741*2^1415519-1 is not prime. Res64: EADC60CD8E405585 Time : 0.0 sec. user=mdettweiler [2015-11-20 06:52:08] 759*2^1415519-1 is not prime. Res64: 857265D0B28C5E9A Time : 0.0 sec. user=mdettweiler [2015-11-20 07:04:01] 789*2^1415519-1 is not prime. Res64: 61B40A96C41F021A Time : 0.0 sec. user=mdettweiler [2015-11-20 07:04:03] 811*2^1415519-1 is not prime. Res64: 96025B20B6C13B91 Time : 0.0 sec. user=mdettweiler [2015-11-20 07:07:11] 939*2^1415519-1 is not prime. Res64: 6B2FD96680C533AA Time : 0.0 sec. user=mdettweiler [2015-11-20 07:07:11] 991*2^1415519-1 is not prime. Res64: BD9F87B632DE8ED1 Time : 0.0 sec. user=mdettweiler [2015-11-20 07:10:24] 627*2^1415520-1 is not prime. Res64: 11E07CE0153891C8 Time : 0.0 sec. user=mdettweiler [2015-11-20 07:10:25] 693*2^1415520-1 is not prime. Res64: 3DD9D0529543AFAC Time : 0.0 sec. user=mdettweiler [2015-11-20 07:10:42] 753*2^1415520-1 is not prime. Res64: 08D9AB1E02AE9571 Time : 0.0 sec. user=mdettweiler [2015-11-20 07:10:43] 809*2^1415520-1 is not prime. Res64: 73C9A62E57132809 Time : 0.0 sec. user=mdettweiler [2015-11-20 07:22:40] 917*2^1415520-1 is not prime. Res64: 9F5F3281FCA95D3E Time : 0.0 sec. user=mdettweiler [2015-11-20 07:22:41] 923*2^1415520-1 is not prime. Res64: 129F3922E632CC50 Time : 0.0 sec. user=mdettweiler [2015-11-20 07:25:30] 999*2^1415520-1 is not prime. Res64: 5EABF46C9CD369A2 Time : 0.0 sec. user=mdettweiler [2015-11-20 07:25:31] 619*2^1415521-1 is not prime. Res64: 9521FAC8A12F4BAA Time : 0.0 sec. user=mdettweiler [2015-11-20 07:28:42] 741*2^1415521-1 is not prime. Res64: BF50DC69628985DA Time : 0.0 sec. user=mdettweiler [2015-11-20 07:28:43] 771*2^1415521-1 is not prime. Res64: 332564CEC95F081B Time : 0.0 sec. user=mdettweiler [2015-11-20 07:28:57] 777*2^1415521-1 is not prime. Res64: EEB2ED13433F8BF7 Time : 0.0 sec. user=mdettweiler [2015-11-20 07:28:57] 855*2^1415521-1 is not prime. Res64: C4A6D86BEF090726 Time : 0.0 sec. user=mdettweiler [2015-11-20 07:40:48] 861*2^1415521-1 is not prime. Res64: FFE7EB09AE222074 Time : 0.0 sec. user=mdettweiler [2015-11-20 07:40:49] 937*2^1415521-1 is not prime. Res64: 120A0B69FBE2D0E6 Time : 0.0 sec. user=mdettweiler [2015-11-20 07:43:42] 617*2^1415522-1 is not prime. Res64: FC41BB0F487FD538 Time : 0.0 sec. user=mdettweiler [2015-11-20 07:43:43] 827*2^1415522-1 is not prime. Res64: 5AF49A0DD7A199F7 Time : 0.0 sec. user=mdettweiler [2015-11-20 07:46:48] 857*2^1415522-1 is not prime. Res64: E65784134CC1B2EE Time : 0.0 sec. user=mdettweiler [2015-11-20 07:46:49] 875*2^1415522-1 is not prime. Res64: DB53E76492E892BB Time : 0.0 sec. user=mdettweiler [2015-11-20 07:46:57] 619*2^1415523-1 is not prime. Res64: 105369C1B443FAD1 Time : 0.0 sec. user=mdettweiler [2015-11-20 07:46:58] 675*2^1415523-1 is not prime. Res64: 8F987978D9EBAD01 Time : 0.0 sec. user=mdettweiler [2015-11-20 07:58:47] 691*2^1415523-1 is not prime. Res64: FA4A72333E5543B1 Time : 0.0 sec. user=mdettweiler [2015-11-20 07:58:48] 781*2^1415523-1 is not prime. Res64: 120E8CA90AF86724 Time : 0.0 sec. user=mdettweiler [2015-11-20 08:01:49] 789*2^1415523-1 is not prime. Res64: 1F71FE9B71D6C292 Time : 0.0 sec. user=mdettweiler [2015-11-20 08:01:51] 835*2^1415523-1 is not prime. Res64: 46891F71410CEFC3 Time : 0.0 sec. user=mdettweiler [2015-11-20 08:04:54] 629*2^1415524-1 is not prime. Res64: 7F695672A7843C8F Time : 0.0 sec. user=mdettweiler [2015-11-20 08:04:58] 657*2^1415524-1 is not prime. Res64: B1026B5084FF015C Time : 0.0 sec. user=mdettweiler [2015-11-20 08:04:59] 921*2^1415523-1 is not prime. Res64: 6B90744D705D520F Time : 0.0 sec. user=mdettweiler [2015-11-20 08:05:02] 963*2^1415523-1 is not prime. Res64: 413872FA36FD5DB3 Time : 0.0 sec. user=mdettweiler [2015-11-20 08:16:46] 765*2^1415524-1 is not prime. Res64: 173DBEC819E3478A Time : 0.0 sec. user=mdettweiler [2015-11-20 08:16:47] 773*2^1415524-1 is not prime. Res64: 51E179ABA4C35C2E Time : 0.0 sec. user=mdettweiler [2015-11-20 08:19:54] 959*2^1415524-1 is not prime. Res64: FFDAAEEDE0224C81 Time : 0.0 sec. user=mdettweiler [2015-11-20 08:19:55] 645*2^1415525-1 is not prime. Res64: 67C289FB6C292B29 Time : 0.0 sec. user=mdettweiler [2015-11-20 08:23:35] 699*2^1415525-1 is not prime. Res64: 609147502B84540E Time : 0.0 sec. user=mdettweiler [2015-11-20 08:23:36] 711*2^1415525-1 is not prime. Res64: CEC5AF1FF068E5C3 Time : 0.0 sec. user=mdettweiler [2015-11-20 08:23:37] 775*2^1415525-1 is not prime. Res64: 761B34D312712561 Time : 0.0 sec. user=mdettweiler [2015-11-20 08:23:38] 871*2^1415525-1 is not prime. Res64: C224CB0AE16ED7E4 Time : 0.0 sec. user=mdettweiler [2015-11-20 08:34:49] 925*2^1415525-1 is not prime. Res64: B85ACA65F1CFE69E Time : 0.0 sec. user=mdettweiler [2015-11-20 08:34:50] 951*2^1415525-1 is not prime. Res64: 5A614F55035F6A43 Time : 0.0 sec. user=mdettweiler [2015-11-20 08:37:52] 969*2^1415525-1 is not prime. Res64: 5AFB213AEB768989 Time : 0.0 sec. user=mdettweiler [2015-11-20 08:37:52] 707*2^1415526-1 is not prime. Res64: 7DD7C908DA562C6E Time : 0.0 sec. user=mdettweiler [2015-11-20 08:41:42] 725*2^1415526-1 is not prime. Res64: C0A17050773BDE8B Time : 0.0 sec. user=mdettweiler [2015-11-20 08:41:42] 755*2^1415526-1 is not prime. Res64: 9B7A5F5B0B7EA0B1 Time : 0.0 sec. user=mdettweiler [2015-11-20 08:41:43] 881*2^1415526-1 is not prime. Res64: 0B25F46A520F12B0 Time : 0.0 sec. user=mdettweiler [2015-11-20 08:41:44] 941*2^1415526-1 is not prime. Res64: EDE7FFDBF1633447 Time : 0.0 sec. user=mdettweiler [2015-11-20 08:52:49] 971*2^1415526-1 is not prime. Res64: 0CBC5AC1E6B4B41D Time : 0.0 sec. user=mdettweiler [2015-11-20 08:52:49] 625*2^1415527-1 is not prime. Res64: FD127B2131D35386 Time : 0.0 sec. user=mdettweiler [2015-11-20 08:56:01] 651*2^1415527-1 is not prime. Res64: 5B9D3A50517C1FA3 Time : 0.0 sec. user=mdettweiler [2015-11-20 08:56:01] 685*2^1415527-1 is not prime. Res64: BC8F38625C93EDF8 Time : 0.0 sec. user=mdettweiler [2015-11-20 08:59:36] 715*2^1415527-1 is not prime. Res64: E1E1183BDB3FA71B Time : 0.0 sec. user=mdettweiler [2015-11-20 08:59:36] 873*2^1415527-1 is not prime. Res64: D0EE0A71213E73C3 Time : 0.0 sec. user=mdettweiler [2015-11-20 08:59:51] 951*2^1415527-1 is not prime. Res64: 057F6FF7A88B7086 Time : 0.0 sec. user=mdettweiler [2015-11-20 08:59:51] 973*2^1415527-1 is not prime. Res64: F3EC6A5AD190D0E2 Time : 0.0 sec. user=mdettweiler [2015-11-20 09:10:52] 603*2^1415528-1 is not prime. Res64: 4CD155A53FE7FF3C Time : 0.0 sec. user=mdettweiler [2015-11-20 09:10:53] 683*2^1415528-1 is not prime. Res64: 6CABBAE487229347 Time : 0.0 sec. user=mdettweiler [2015-11-20 09:14:11] 687*2^1415528-1 is not prime. Res64: 960FD58C229F211A Time : 0.0 sec. user=mdettweiler [2015-11-20 09:14:11] 689*2^1415528-1 is not prime. Res64: 7A50F0F2EC715E01 Time : 0.0 sec. user=mdettweiler [2015-11-20 09:17:38] 813*2^1415528-1 is not prime. Res64: 14B782EBC094A677 Time : 0.0 sec. user=mdettweiler [2015-11-20 09:17:39] 827*2^1415528-1 is not prime. Res64: F787C40F45BC3961 Time : 0.0 sec. user=mdettweiler [2015-11-20 09:18:05] 915*2^1415528-1 is not prime. Res64: EA647BA2CFA01990 Time : 0.0 sec. user=mdettweiler [2015-11-20 09:18:06] 637*2^1415529-1 is not prime. Res64: 503FCCC41A856F7C Time : 0.0 sec. user=mdettweiler [2015-11-20 09:29:11] 679*2^1415529-1 is not prime. Res64: 0C26B7B3DF2FB6A5 Time : 0.0 sec. user=mdettweiler [2015-11-20 09:29:11] 741*2^1415529-1 is not prime. Res64: 584E366E2E660E86 Time : 0.0 sec. user=mdettweiler [2015-11-20 09:32:21] 955*2^1415529-1 is not prime. Res64: 8AAD1EDCB4B53AE9 Time : 0.0 sec. user=mdettweiler [2015-11-20 09:32:22] 997*2^1415529-1 is not prime. Res64: AB57D9E83525D01E Time : 0.0 sec. user=mdettweiler [2015-11-20 09:35:50] 603*2^1415530-1 is not prime. Res64: 633694AD07315707 Time : 0.0 sec. user=mdettweiler [2015-11-20 09:35:51] 681*2^1415530-1 is not prime. Res64: EB656ED2CF16AEB5 Time : 0.0 sec. user=mdettweiler [2015-11-20 09:36:18] 701*2^1415530-1 is not prime. Res64: 8192D3BE4601F40D Time : 0.0 sec. user=mdettweiler [2015-11-20 09:36:19] 735*2^1415530-1 is not prime. Res64: 4A47A6CF597CE76A Time : 0.0 sec. user=mdettweiler [2015-11-20 09:47:23] 801*2^1415530-1 is not prime. Res64: 0389FD88E896E6FB Time : 0.0 sec. user=mdettweiler [2015-11-20 09:47:24] 803*2^1415530-1 is not prime. Res64: 81F7D9EEED5BB1D2 Time : 0.0 sec. user=mdettweiler [2015-11-20 09:50:30] 857*2^1415530-1 is not prime. Res64: 733AFA433B980F52 Time : 0.0 sec. user=mdettweiler [2015-11-20 09:50:30] 867*2^1415530-1 is not prime. Res64: B0054BADADED6543 Time : 0.0 sec. user=mdettweiler [2015-11-20 09:53:54] 873*2^1415530-1 is not prime. Res64: ACCE71A43E68F9EB Time : 0.0 sec. user=mdettweiler [2015-11-20 09:53:55] 885*2^1415530-1 is not prime. Res64: FAFA52EABB070763 Time : 0.0 sec. user=mdettweiler [2015-11-20 09:54:37] 917*2^1415530-1 is not prime. Res64: C3870AB7C6503214 Time : 0.0 sec. user=mdettweiler [2015-11-20 09:54:38] 663*2^1415531-1 is not prime. Res64: DE8D1E44B9A82FB1 Time : 0.0 sec. user=mdettweiler [2015-11-20 10:05:35] 805*2^1415531-1 is not prime. Res64: 22AB4963F4AAB43F Time : 0.0 sec. user=mdettweiler [2015-11-20 10:05:36] 921*2^1415531-1 is not prime. Res64: CD462C3C114CBBDB Time : 0.0 sec. user=mdettweiler [2015-11-20 10:08:27] 955*2^1415531-1 is not prime. Res64: 6290907F44823057 Time : 0.0 sec. user=mdettweiler [2015-11-20 10:08:27] 999*2^1415531-1 is not prime. Res64: 2F4A95BE31A50CF8 Time : 0.0 sec. user=mdettweiler [2015-11-20 10:12:08] 665*2^1415532-1 is not prime. Res64: B2E694453D4FEF14 Time : 0.0 sec. user=mdettweiler [2015-11-20 10:12:09] 689*2^1415532-1 is not prime. Res64: 4767059B2736A500 Time : 0.0 sec. user=mdettweiler [2015-11-20 10:12:36] 779*2^1415532-1 is not prime. Res64: B95C680BCB5A9B32 Time : 0.0 sec. user=mdettweiler [2015-11-20 10:12:36] 797*2^1415532-1 is not prime. Res64: 2119386C879420E1 Time : 0.0 sec. user=mdettweiler [2015-11-20 10:23:55] 825*2^1415532-1 is not prime. Res64: 82902C99A287945A Time : 0.0 sec. user=mdettweiler [2015-11-20 10:23:56] 899*2^1415532-1 is not prime. Res64: D5523BA4A277A8F1 Time : 0.0 sec. user=mdettweiler [2015-11-20 10:26:33] 945*2^1415532-1 is not prime. Res64: 62D947CEB9D3085A Time : 0.0 sec. user=mdettweiler [2015-11-20 10:26:33] 983*2^1415532-1 is not prime. Res64: CFB4CFFEDFB50795 Time : 0.0 sec. user=mdettweiler [2015-11-20 10:30:12] 609*2^1415533-1 is not prime. Res64: 308AE82866C8F9CA Time : 0.0 sec. user=mdettweiler [2015-11-20 10:30:12] 769*2^1415533-1 is not prime. Res64: 0DE82A010B5B8C23 Time : 0.0 sec. user=mdettweiler [2015-11-20 10:30:33] 877*2^1415533-1 is not prime. Res64: C507D5359882F9C3 Time : 0.0 sec. user=mdettweiler [2015-11-20 10:30:33] 951*2^1415533-1 is not prime. Res64: 0B1C2E5049B80CF5 Time : 0.0 sec. user=mdettweiler [2015-11-20 10:41:58] 617*2^1415534-1 is not prime. Res64: 482875693DAFC92D Time : 0.0 sec. user=mdettweiler [2015-11-20 10:41:58] 663*2^1415534-1 is not prime. Res64: B4D4B7739C91CB89 Time : 0.0 sec. user=mdettweiler [2015-11-20 10:44:39] 861*2^1415534-1 is not prime. Res64: 8592B7F7D5C3B2CF Time : 0.0 sec. user=mdettweiler [2015-11-20 10:44:39] 873*2^1415534-1 is not prime. Res64: 795080DD057C6410 Time : 0.0 sec. user=mdettweiler [2015-11-20 10:48:19] 875*2^1415534-1 is not prime. Res64: 31C028ED9C804DAE Time : 0.0 sec. user=mdettweiler [2015-11-20 10:48:20] 917*2^1415534-1 is not prime. Res64: BD0C2FE9A7F59B70 Time : 0.0 sec. user=mdettweiler [2015-11-20 10:48:39] 935*2^1415534-1 is not prime. Res64: 90E74B6AF46859E2 Time : 0.0 sec. user=mdettweiler [2015-11-20 10:48:39] 613*2^1415535-1 is not prime. Res64: 9F0930492079976E Time : 0.0 sec. user=mdettweiler [2015-11-20 11:00:09] 831*2^1415535-1 is not prime. Res64: DF7FB58DA53BED7F Time : 0.0 sec. user=mdettweiler [2015-11-20 11:00:10] 853*2^1415535-1 is not prime. Res64: 200192C39CC69D7C Time : 0.0 sec. user=mdettweiler [2015-11-20 11:02:50] 985*2^1415535-1 is not prime. Res64: 3BCC9BCD66FE83D1 Time : 0.0 sec. user=mdettweiler [2015-11-20 11:02:53] 603*2^1415536-1 is not prime. Res64: BF60A920617D4DFF Time : 0.0 sec. user=mdettweiler [2015-11-20 11:06:18] 623*2^1415536-1 is not prime. Res64: C845749FCA0FEE84 Time : 0.0 sec. user=mdettweiler [2015-11-20 11:06:19] 719*2^1415536-1 is not prime. Res64: D9A99E2F96BC5410 Time : 0.0 sec. user=mdettweiler [2015-11-20 11:06:42] 779*2^1415536-1 is not prime. Res64: BF0B539CB4A715E0 Time : 0.0 sec. user=mdettweiler [2015-11-20 11:06:42] 869*2^1415536-1 is not prime. Res64: A7D7D881DBF1BC38 Time : 0.0 sec. user=mdettweiler [2015-11-20 11:18:20] 999*2^1415536-1 is not prime. Res64: 4CBBDF59B5CF062F Time : 0.0 sec. user=mdettweiler [2015-11-20 11:18:21] 669*2^1415537-1 is not prime. Res64: 391C632F2FD60EB9 Time : 0.0 sec. user=mdettweiler [2015-11-20 11:21:02] 759*2^1415537-1 is not prime. Res64: 2474B54FBB135CE2 Time : 0.0 sec. user=mdettweiler [2015-11-20 11:21:03] 769*2^1415537-1 is not prime. Res64: 52BDB0754D2A4272 Time : 0.0 sec. user=mdettweiler [2015-11-20 11:24:19] 865*2^1415537-1 is not prime. Res64: CA4D5C215C5AE356 Time : 0.0 sec. user=mdettweiler [2015-11-20 11:24:20] 915*2^1415537-1 is not prime. Res64: 8CBEC8577EF895BE Time : 0.0 sec. user=mdettweiler [2015-11-20 11:24:49] 621*2^1415538-1 is not prime. Res64: 0D5F33C7B915EEB9 Time : 0.0 sec. user=mdettweiler [2015-11-20 11:24:50] 681*2^1415538-1 is not prime. Res64: 75942853019D9ED7 Time : 0.0 sec. user=mdettweiler [2015-11-20 11:36:21] 725*2^1415538-1 is not prime. Res64: 99AB33AB69952793 Time : 0.0 sec. user=mdettweiler [2015-11-20 11:36:22] 755*2^1415538-1 is not prime. Res64: C5472141AB33CAA3 Time : 0.0 sec. user=mdettweiler [2015-11-20 11:39:07] 773*2^1415538-1 is not prime. Res64: 610D20E2D6081069 Time : 0.0 sec. user=mdettweiler [2015-11-20 11:39:08] 945*2^1415538-1 is not prime. Res64: B0A79C945B5DFF73 Time : 0.0 sec. user=mdettweiler [2015-11-20 11:42:23] 741*2^1415539-1 is not prime. Res64: 8CD105FDDDC648B1 Time : 0.0 sec. user=mdettweiler [2015-11-20 11:42:24] 813*2^1415539-1 is not prime. Res64: 8AF8D9351722B623 Time : 0.0 sec. user=mdettweiler [2015-11-20 11:43:00] 861*2^1415539-1 is not prime. Res64: DE40037CA6CBD4CC Time : 0.0 sec. user=mdettweiler [2015-11-20 11:43:01] 885*2^1415539-1 is not prime. Res64: BA7E4EC671D872D1 Time : 0.0 sec. user=mdettweiler [2015-11-20 11:54:23] 889*2^1415539-1 is not prime. Res64: 745BBA59BD67A7E1 Time : 0.0 sec. user=mdettweiler [2015-11-20 11:54:24] 895*2^1415539-1 is not prime. Res64: 1E3B1F2F5C990174 Time : 0.0 sec. user=mdettweiler [2015-11-20 11:57:08] 931*2^1415539-1 is not prime. Res64: 818A35AA7D1235ED Time : 0.0 sec. user=mdettweiler [2015-11-20 11:57:09] 985*2^1415539-1 is not prime. Res64: 4D85851AF69B7D06 Time : 0.0 sec. user=mdettweiler [2015-11-20 12:00:30] 615*2^1415540-1 is not prime. Res64: D9623B9D50021288 Time : 0.0 sec. user=mdettweiler [2015-11-20 12:00:31] 647*2^1415540-1 is not prime. Res64: 49A4F30C9F9DEBE6 Time : 0.0 sec. user=mdettweiler [2015-11-20 12:01:13] 789*2^1415540-1 is not prime. Res64: 5EE2C5F721EB378A Time : 0.0 sec. user=mdettweiler [2015-11-20 12:01:15] 819*2^1415540-1 is not prime. Res64: 809E0B62E3D2B86A Time : 0.0 sec. user=mdettweiler [2015-11-20 12:12:28] 945*2^1415540-1 is not prime. Res64: 459093F6ABADE6DB Time : 0.0 sec. user=mdettweiler [2015-11-20 12:12:29] 953*2^1415540-1 is not prime. Res64: B6A4D751088868C5 Time : 0.0 sec. user=mdettweiler [2015-11-20 12:15:25] 709*2^1415541-1 is not prime. Res64: 0E777FD89E517140 Time : 0.0 sec. user=mdettweiler [2015-11-20 12:15:26] 717*2^1415541-1 is not prime. Res64: 9AF1346F7DC5C47C Time : 0.0 sec. user=mdettweiler [2015-11-20 12:18:40] 747*2^1415541-1 is not prime. Res64: 8BE3E400C7C27860 Time : 0.0 sec. user=mdettweiler [2015-11-20 12:18:41] 751*2^1415541-1 is not prime. Res64: 52C5C9EC678E7937 Time : 0.0 sec. user=mdettweiler [2015-11-20 12:19:27] 789*2^1415541-1 is not prime. Res64: 983D5289D76D69C7 Time : 0.0 sec. user=mdettweiler [2015-11-20 12:19:28] 825*2^1415541-1 is not prime. Res64: 38D70C466D72F44B Time : 0.0 sec. user=mdettweiler [2015-11-20 12:30:40] 861*2^1415541-1 is not prime. Res64: 21A1CB166FE3B02C Time : 0.0 sec. user=mdettweiler [2015-11-20 12:30:40] 921*2^1415541-1 is not prime. Res64: CC943E56D48CA31F Time : 0.0 sec. user=mdettweiler [2015-11-20 12:33:31] 991*2^1415541-1 is not prime. Res64: A37D6ED8B2E3EFA5 Time : 0.0 sec. user=mdettweiler [2015-11-20 12:33:32] 611*2^1415542-1 is not prime. Res64: 1A9989FD3E5FC081 Time : 0.0 sec. user=mdettweiler [2015-11-20 12:36:50] 635*2^1415542-1 is not prime. Res64: 3B55F4BD7AD9E6DA Time : 0.0 sec. user=mdettweiler [2015-11-20 12:36:51] 645*2^1415542-1 is not prime. Res64: A4B1733B05BC831E Time : 0.0 sec. user=mdettweiler [2015-11-20 12:37:43] 755*2^1415542-1 is not prime. Res64: F8FB7DE023826A75 Time : 0.0 sec. user=mdettweiler [2015-11-20 12:37:44] 833*2^1415542-1 is not prime. Res64: BF0023FC24D20F72 Time : 0.0 sec. user=mdettweiler [2015-11-20 12:48:48] 987*2^1415542-1 is not prime. Res64: C9F9CB034CEA52B2 Time : 0.0 sec. user=mdettweiler [2015-11-20 12:48:48] 739*2^1415543-1 is not prime. Res64: B3DD8A4C71B7BA9B Time : 0.0 sec. user=mdettweiler [2015-11-20 12:51:53] 943*2^1415543-1 is not prime. Res64: AF70D620FF1EB9D0 Time : 0.0 sec. user=mdettweiler [2015-11-20 12:51:53] 945*2^1415543-1 is not prime. Res64: 9FAC559BCDEAAA7C Time : 0.0 sec. user=mdettweiler [2015-11-20 12:55:06] 615*2^1415544-1 is not prime. Res64: 9FCD9EEBCE49845C Time : 0.0 sec. user=mdettweiler [2015-11-20 12:55:07] 689*2^1415544-1 is not prime. Res64: 08FAB5802E50588D Time : 0.0 sec. user=mdettweiler [2015-11-20 12:55:57] 693*2^1415544-1 is not prime. Res64: D954870DBC89D281 Time : 0.0 sec. user=mdettweiler [2015-11-20 12:55:58] 705*2^1415544-1 is not prime. Res64: EF6DAFDCB46A6AFD Time : 0.0 sec. user=mdettweiler [2015-11-20 13:06:52] 707*2^1415544-1 is not prime. Res64: 46CA3A4AAB3EE26F Time : 0.0 sec. user=mdettweiler [2015-11-20 13:06:53] 773*2^1415544-1 is not prime. Res64: 56B39EEFC8F6E5BA Time : 0.0 sec. user=mdettweiler [2015-11-20 13:09:57] 873*2^1415544-1 is not prime. Res64: 62EA58CDBE6F44DF Time : 0.0 sec. user=mdettweiler [2015-11-20 13:09:57] 975*2^1415544-1 is not prime. Res64: 8E34D173039D1917 Time : 0.0 sec. user=mdettweiler [2015-11-20 13:13:08] 841*2^1415545-1 is not prime. Res64: F2799FFA404073A2 Time : 0.0 sec. user=mdettweiler [2015-11-20 13:13:09] 635*2^1415546-1 is not prime. Res64: 56F5AE256630BF43 Time : 0.0 sec. user=mdettweiler [2015-11-20 13:14:12] 831*2^1415546-1 is not prime. Res64: 2E5D3F31CDA62389 Time : 0.0 sec. user=mdettweiler [2015-11-20 13:14:12] 851*2^1415546-1 is not prime. Res64: 29B96A816095830E Time : 0.0 sec. user=mdettweiler [2015-11-20 13:24:54] 873*2^1415546-1 is not prime. Res64: F306B3E8F6917E9F Time : 0.0 sec. user=mdettweiler [2015-11-20 13:24:55] 911*2^1415546-1 is not prime. Res64: 4B6DA85A230AFFD3 Time : 0.0 sec. user=mdettweiler [2015-11-20 13:28:02] 971*2^1415546-1 is not prime. Res64: 1AC976F0C06CB6CE Time : 0.0 sec. user=mdettweiler [2015-11-20 13:28:02] 619*2^1415547-1 is not prime. Res64: F73EF47A272D19EB Time : 0.0 sec. user=mdettweiler [2015-11-20 13:31:12] 625*2^1415547-1 is not prime. Res64: 4E8B39B386E56E72 Time : 0.0 sec. user=mdettweiler [2015-11-20 13:31:13] 639*2^1415547-1 is not prime. Res64: 4F0B82D1D1882D8A Time : 0.0 sec. user=mdettweiler [2015-11-20 13:32:38] 849*2^1415547-1 is not prime. Res64: F943206855C29A72 Time : 0.0 sec. user=mdettweiler [2015-11-20 13:32:38] 903*2^1415547-1 is not prime. Res64: 5BA7D580A308C0CD Time : 0.0 sec. user=mdettweiler [2015-11-20 13:43:14] 913*2^1415547-1 is not prime. Res64: FE4AEEAF4901AB86 Time : 0.0 sec. user=mdettweiler [2015-11-20 13:43:15] 985*2^1415547-1 is not prime. Res64: 1075C7563A629262 Time : 0.0 sec. user=mdettweiler [2015-11-20 13:46:11] 707*2^1415548-1 is not prime. Res64: 89CED14DC7A64E80 Time : 0.0 sec. user=mdettweiler [2015-11-20 13:46:12] 735*2^1415548-1 is not prime. Res64: 69D1A737019F2BBC Time : 0.0 sec. user=mdettweiler [2015-11-20 13:49:25] 803*2^1415548-1 is not prime. Res64: D69D9B7FC4DA51C5 Time : 0.0 sec. user=mdettweiler [2015-11-20 13:49:25] 909*2^1415548-1 is not prime. Res64: E9AA71952BE8E3FE Time : 0.0 sec. user=mdettweiler [2015-11-20 13:50:43] 691*2^1415549-1 is not prime. Res64: B77DAC0875A35609 Time : 0.0 sec. user=mdettweiler [2015-11-20 13:50:43] 765*2^1415550-1 is not prime. Res64: 7E088147CC917773 Time : 0.0 sec. user=mdettweiler [2015-11-20 14:01:16] 861*2^1415550-1 is not prime. Res64: B8AD35B6C8F89A38 Time : 0.0 sec. user=mdettweiler [2015-11-20 14:01:18] 873*2^1415550-1 is not prime. Res64: 7DEDE685165CF530 Time : 0.0 sec. user=mdettweiler [2015-11-20 14:04:11] 965*2^1415550-1 is not prime. Res64: A00654398C055AE2 Time : 0.0 sec. user=mdettweiler [2015-11-20 14:04:12] 709*2^1415551-1 is not prime. Res64: 018A3A49159AE037 Time : 0.0 sec. user=mdettweiler [2015-11-20 14:07:31] 759*2^1415551-1 is not prime. Res64: E31B5AC441719F1D Time : 0.0 sec. user=mdettweiler [2015-11-20 14:07:32] 763*2^1415551-1 is not prime. Res64: 4B1453D5DBBDA9E1 Time : 0.0 sec. user=mdettweiler [2015-11-20 14:08:50] 819*2^1415551-1 is not prime. Res64: 54D624F1020A6685 Time : 0.0 sec. user=mdettweiler [2015-11-20 14:08:51] 843*2^1415551-1 is not prime. Res64: 310951BB598236E0 Time : 0.0 sec. user=mdettweiler [2015-11-20 14:19:30] 931*2^1415551-1 is not prime. Res64: D8A4F098EADF64B8 Time : 0.0 sec. user=mdettweiler [2015-11-20 14:19:31] 975*2^1415551-1 is not prime. Res64: E4B4C662AEC28CE4 Time : 0.0 sec. user=mdettweiler [2015-11-20 14:22:14] 993*2^1415551-1 is not prime. Res64: 14B061892186775F Time : 0.0 sec. user=mdettweiler [2015-11-20 14:22:14] 999*2^1415551-1 is not prime. Res64: 233808DE5397387E Time : 0.0 sec. user=mdettweiler [2015-11-20 14:25:42] 623*2^1415552-1 is not prime. Res64: 0C14C3BA801E8BE8 Time : 0.0 sec. user=mdettweiler [2015-11-20 14:25:43] 635*2^1415552-1 is not prime. Res64: F436EBF734E0F2D1 Time : 0.0 sec. user=mdettweiler [2015-11-20 14:27:09] 689*2^1415552-1 is not prime. Res64: 82F02A70A1E97E04 Time : 0.0 sec. user=mdettweiler [2015-11-20 14:27:10] 803*2^1415552-1 is not prime. Res64: C50C7E4896B85D29 Time : 0.0 sec. user=mdettweiler [2015-11-20 14:37:36] 855*2^1415552-1 is not prime. Res64: D0D45DF394E438DE Time : 0.0 sec. user=mdettweiler [2015-11-20 14:37:37] 915*2^1415552-1 is not prime. Res64: 41E2B5CFF35F5FA3 Time : 0.0 sec. user=mdettweiler [2015-11-20 14:40:22] 959*2^1415552-1 is not prime. Res64: FE42BA26BF99F97E Time : 0.0 sec. user=mdettweiler [2015-11-20 14:40:23] 977*2^1415552-1 is not prime. Res64: 5B9FA7048FDC9324 Time : 0.0 sec. user=mdettweiler [2015-11-20 14:43:51] 627*2^1415553-1 is not prime. Res64: 5B272F47C835E57B Time : 0.0 sec. user=mdettweiler [2015-11-20 14:43:52] 649*2^1415553-1 is not prime. Res64: E62BD50379144850 Time : 0.0 sec. user=mdettweiler [2015-11-20 14:45:08] 657*2^1415553-1 is not prime. Res64: 456262B2DD04FCC5 Time : 0.0 sec. user=mdettweiler [2015-11-20 14:45:09] 679*2^1415553-1 is not prime. Res64: 4BE74E963080D292 Time : 0.0 sec. user=mdettweiler [2015-11-20 14:56:00] 691*2^1415553-1 is not prime. Res64: 40CA2E51BB3420C2 Time : 0.0 sec. user=mdettweiler [2015-11-20 14:56:00] 765*2^1415553-1 is not prime. Res64: 83BC007AC83E76C0 Time : 0.0 sec. user=mdettweiler [2015-11-20 14:58:39] 885*2^1415553-1 is not prime. Res64: 3020304A68714444 Time : 0.0 sec. user=mdettweiler [2015-11-20 14:58:39] 937*2^1415553-1 is not prime. Res64: 0C9511A38A53B51A Time : 0.0 sec. user=mdettweiler [2015-11-20 15:02:03] 949*2^1415553-1 is not prime. Res64: EEEC1394F8D0371E Time : 0.0 sec. user=mdettweiler [2015-11-20 15:02:04] 663*2^1415554-1 is not prime. Res64: 79FA52BF3826BF29 Time : 0.0 sec. user=mdettweiler [2015-11-20 15:03:21] 681*2^1415554-1 is not prime. Res64: D5032D3A273D3719 Time : 0.0 sec. user=mdettweiler [2015-11-20 15:03:23] 731*2^1415554-1 is not prime. Res64: F353DDC30D2FFBA0 Time : 0.0 sec. user=mdettweiler [2015-11-20 15:14:01] 755*2^1415554-1 is not prime. Res64: 14F4E5950C4D62E9 Time : 0.0 sec. user=mdettweiler [2015-11-20 15:14:02] 887*2^1415554-1 is not prime. Res64: AEA211E1E6A4EE96 Time : 0.0 sec. user=mdettweiler [2015-11-20 15:16:41] 1001*2^1415554-1 is not prime. Res64: DD2A8528EED173B1 Time : 0.0 sec. user=mdettweiler [2015-11-20 15:16:41] 663*2^1415555-1 is not prime. Res64: 60C66D96098F62DA Time : 0.0 sec. user=mdettweiler [2015-11-20 15:20:12] 693*2^1415555-1 is not prime. Res64: B673254C7043869B Time : 0.0 sec. user=mdettweiler [2015-11-20 15:20:13] 733*2^1415555-1 is not prime. Res64: 84BD6D3CC4D19520 Time : 0.0 sec. user=mdettweiler [2015-11-20 15:21:32] 633*2^1415556-1 is not prime. Res64: 8D5C0A25A329DDA8 Time : 0.0 sec. user=mdettweiler [2015-11-20 15:21:33] 693*2^1415556-1 is not prime. Res64: 2926D6CA301EE728 Time : 0.0 sec. user=mdettweiler [2015-11-20 15:32:06] 705*2^1415556-1 is not prime. Res64: 9BE9BB4056F5D7AD Time : 0.0 sec. user=mdettweiler [2015-11-20 15:32:06] 923*2^1415556-1 is not prime. Res64: 2F38146073D53303 Time : 0.0 sec. user=mdettweiler [2015-11-20 15:34:40] 819*2^1415557-1 is not prime. Res64: A5ED466AE984E446 Time : 0.0 sec. user=mdettweiler [2015-11-20 15:34:40] 919*2^1415557-1 is not prime. Res64: 5E6606A1346E5920 Time : 0.0 sec. user=mdettweiler [2015-11-20 15:38:19] 931*2^1415557-1 is not prime. Res64: C840109E6888A5E5 Time : 0.0 sec. user=mdettweiler [2015-11-20 15:38:20] 711*2^1415558-1 is not prime. Res64: C253796056193E58 Time : 0.0 sec. user=mdettweiler [2015-11-20 15:39:41] 827*2^1415558-1 is not prime. Res64: D13141C90D29DC9C Time : 0.0 sec. user=mdettweiler [2015-11-20 15:39:41] 831*2^1415558-1 is not prime. Res64: 3E701276978233BC Time : 0.0 sec. user=mdettweiler [2015-11-20 15:50:18] 861*2^1415558-1 is not prime. Res64: 4268669F8D085C7B Time : 0.0 sec. user=mdettweiler [2015-11-20 15:50:18] 887*2^1415558-1 is not prime. Res64: 1C603A2D2B397202 Time : 0.0 sec. user=mdettweiler [2015-11-20 15:52:52] 893*2^1415558-1 is not prime. Res64: F23829C69E52D6ED Time : 0.0 sec. user=mdettweiler [2015-11-20 15:52:53] 923*2^1415558-1 is not prime. Res64: 2F37FC0EAA6E2C4B Time : 0.0 sec. user=mdettweiler [2015-11-20 15:56:31] 951*2^1415558-1 is not prime. Res64: A70F26ACD4E5E6E6 Time : 0.0 sec. user=mdettweiler [2015-11-20 15:56:31] 987*2^1415558-1 is not prime. Res64: 74841AC9073D6962 Time : 0.0 sec. user=mdettweiler [2015-11-20 15:57:39] 723*2^1415559-1 is not prime. Res64: 03FF1104FC63401E Time : 0.0 sec. user=mdettweiler [2015-11-20 15:57:39] 793*2^1415559-1 is not prime. Res64: 36D35CD48A5E3C32 Time : 0.0 sec. user=mdettweiler [2015-11-20 16:08:29] 873*2^1415559-1 is not prime. Res64: 20C8625BD23B12CD Time : 0.0 sec. user=mdettweiler [2015-11-20 16:08:30] 629*2^1415560-1 is not prime. Res64: B2FE16AF919F8258 Time : 0.0 sec. user=mdettweiler [2015-11-20 16:11:05] 833*2^1415560-1 is not prime. Res64: 12E36D02A2FBBF20 Time : 0.0 sec. user=mdettweiler [2015-11-20 16:11:06] 933*2^1415560-1 is not prime. Res64: D7A9580B03460C0F Time : 0.0 sec. user=mdettweiler [2015-11-20 16:14:40] 965*2^1415560-1 is not prime. Res64: 5C9539BD5933FA07 Time : 0.0 sec. user=mdettweiler [2015-11-20 16:14:41] 741*2^1415561-1 is not prime. Res64: 3D99AE00DF119347 Time : 0.0 sec. user=mdettweiler [2015-11-20 16:15:48] 907*2^1415561-1 is not prime. Res64: 7036C995838EEF2F Time : 0.0 sec. user=mdettweiler [2015-11-20 16:15:49] 939*2^1415561-1 is not prime. Res64: 4B844A4ED770DD79 Time : 0.0 sec. user=mdettweiler [2015-11-20 16:26:36] 955*2^1415561-1 is not prime. Res64: 5223CDD4CFEACC98 Time : 0.0 sec. user=mdettweiler [2015-11-20 16:26:36] 987*2^1415561-1 is not prime. Res64: D3D5026660225CA0 Time : 0.0 sec. user=mdettweiler [2015-11-20 16:29:10] 683*2^1415562-1 is not prime. Res64: BB380A2FB5EFF648 Time : 0.0 sec. user=mdettweiler [2015-11-20 16:29:10] 735*2^1415562-1 is not prime. Res64: A1A0EEBABA7F9D6F Time : 0.0 sec. user=mdettweiler [2015-11-20 16:32:45] 765*2^1415562-1 is not prime. Res64: 76C55A3CDED0EDB0 Time : 0.0 sec. user=mdettweiler [2015-11-20 16:32:46] 815*2^1415562-1 is not prime. Res64: 213165B201164CE5 Time : 0.0 sec. user=mdettweiler [2015-11-20 16:33:52] 873*2^1415562-1 is not prime. Res64: 4FF95EC512A6F474 Time : 0.0 sec. user=mdettweiler [2015-11-20 16:33:52] 917*2^1415562-1 is not prime. Res64: A6379DA3DD325AF5 Time : 0.0 sec. user=mdettweiler [2015-11-20 16:44:36] 951*2^1415562-1 is not prime. Res64: 4BD35045B5FF56A6 Time : 0.0 sec. user=mdettweiler [2015-11-20 16:44:36] 615*2^1415563-1 is not prime. Res64: 8C271897EF3A4F9E Time : 0.0 sec. user=mdettweiler [2015-11-20 16:47:22] 751*2^1415563-1 is not prime. Res64: D1613297863EF942 Time : 0.0 sec. user=mdettweiler [2015-11-20 16:47:22] 771*2^1415563-1 is not prime. Res64: 224D77D8BE56C833 Time : 0.0 sec. user=mdettweiler [2015-11-20 16:50:53] 793*2^1415563-1 is not prime. Res64: 39378B780E1C9D63 Time : 0.0 sec. user=mdettweiler [2015-11-20 16:50:53] 855*2^1415563-1 is not prime. Res64: 38E06D4F54B59EF2 Time : 0.0 sec. user=mdettweiler [2015-11-20 16:51:54] 943*2^1415563-1 is not prime. Res64: 014AF9C4F8107B41 Time : 0.0 sec. user=mdettweiler [2015-11-20 16:51:54] 961*2^1415563-1 is not prime. Res64: F1442D240C2F8555 Time : 0.0 sec. user=mdettweiler [2015-11-20 17:02:44] 665*2^1415564-1 is not prime. Res64: 97D1663659589446 Time : 0.0 sec. user=mdettweiler [2015-11-20 17:02:45] 677*2^1415564-1 is not prime. Res64: B9009C96365EA56B Time : 0.0 sec. user=mdettweiler [2015-11-20 17:05:29] 707*2^1415564-1 is not prime. Res64: 04DCC3F499775FBD Time : 0.0 sec. user=mdettweiler [2015-11-20 17:05:31] 749*2^1415564-1 is not prime. Res64: 341EE37AF329EEFC Time : 0.0 sec. user=mdettweiler [2015-11-20 17:08:59] 767*2^1415564-1 is not prime. Res64: 0EAF7A179D8D1895 Time : 0.0 sec. user=mdettweiler [2015-11-20 17:09:00] 935*2^1415564-1 is not prime. Res64: 3DDF86576E0016E0 Time : 0.0 sec. user=mdettweiler [2015-11-20 17:09:49] 679*2^1415565-1 is not prime. Res64: 5493150251C2C772 Time : 0.0 sec. user=mdettweiler [2015-11-20 17:09:50] 795*2^1415565-1 is not prime. Res64: 61591331CF20178C Time : 0.0 sec. user=mdettweiler [2015-11-20 17:20:54] 861*2^1415565-1 is not prime. Res64: 5EB07E6A3F7144B5 Time : 0.0 sec. user=mdettweiler [2015-11-20 17:20:55] 889*2^1415565-1 is not prime. Res64: A5F5984C8E8DCEF0 Time : 0.0 sec. user=mdettweiler [2015-11-20 17:23:46] 603*2^1415566-1 is not prime. Res64: 69B040370D2351E8 Time : 0.0 sec. user=mdettweiler [2015-11-20 17:23:46] 647*2^1415566-1 is not prime. Res64: FC0B2BDEC418C2C9 Time : 0.0 sec. user=mdettweiler [2015-11-20 17:27:04] 917*2^1415566-1 is not prime. Res64: 4D2F98B39E8BF1BA Time : 0.0 sec. user=mdettweiler [2015-11-20 17:27:04] 615*2^1415567-1 is not prime. Res64: F9660C780E92AD10 Time : 0.0 sec. user=mdettweiler [2015-11-20 17:27:51] 661*2^1415567-1 is not prime. Res64: 266E8C4CBEE043FF Time : 0.0 sec. user=mdettweiler [2015-11-20 17:27:51] 693*2^1415567-1 is not prime. Res64: BFBE923A0A14AA65 Time : 0.0 sec. user=mdettweiler [2015-11-20 17:38:54] 841*2^1415567-1 is not prime. Res64: BEA126EFEDC44098 Time : 0.0 sec. user=mdettweiler [2015-11-20 17:38:55] 865*2^1415567-1 is not prime. Res64: 46E7AACBE3FD1091 Time : 0.0 sec. user=mdettweiler [2015-11-20 17:41:51] 985*2^1415567-1 is not prime. Res64: 487FB6CCE8AEE96A Time : 0.0 sec. user=mdettweiler [2015-11-20 17:41:51] 669*2^1415568-1 is not prime. Res64: 6023088BFFACF9ED Time : 0.0 sec. user=mdettweiler [2015-11-20 17:45:06] 695*2^1415568-1 is not prime. Res64: 41956BDFC001E059 Time : 0.0 sec. user=mdettweiler [2015-11-20 17:45:06] 789*2^1415568-1 is not prime. Res64: 0D508E3BF19CD4B9 Time : 0.0 sec. user=mdettweiler [2015-11-20 17:45:53] 959*2^1415568-1 is not prime. Res64: 496BB46A6BEBD263 Time : 0.0 sec. user=mdettweiler [2015-11-20 17:45:54] 619*2^1415569-1 is not prime. Res64: DD3E628DC685CFD5 Time : 0.0 sec. user=mdettweiler [2015-11-20 17:57:00] 765*2^1415569-1 is not prime. Res64: 45343B6105CF0B1D Time : 0.0 sec. user=mdettweiler [2015-11-20 17:57:01] 789*2^1415569-1 is not prime. Res64: D58C5F03EC213B29 Time : 0.0 sec. user=mdettweiler [2015-11-20 17:59:55] 867*2^1415569-1 is not prime. Res64: 9A56DF505A6B6DFC Time : 0.0 sec. user=mdettweiler [2015-11-20 17:59:56] 877*2^1415569-1 is not prime. Res64: 29388E4BFED96E4F Time : 0.0 sec. user=mdettweiler [2015-11-20 18:03:21] 931*2^1415569-1 is not prime. Res64: 3E0D8B6FC986D6C0 Time : 0.0 sec. user=mdettweiler [2015-11-20 18:03:22] 731*2^1415570-1 is not prime. Res64: EF9902B74D648FA3 Time : 0.0 sec. user=mdettweiler [2015-11-20 18:04:04] 885*2^1415570-1 is not prime. Res64: 8F4D01C4F7D5679D Time : 0.0 sec. user=mdettweiler [2015-11-20 18:04:05] 917*2^1415570-1 is not prime. Res64: 9A500EE03528609F Time : 0.0 sec. user=mdettweiler [2015-11-20 18:15:07] 619*2^1415571-1 is not prime. Res64: 804885DBD92D3D29 Time : 0.0 sec. user=mdettweiler [2015-11-20 18:15:08] 639*2^1415571-1 is not prime. Res64: FCBDC4D0EBBC75EC Time : 0.0 sec. user=mdettweiler [2015-11-20 18:17:59] 741*2^1415571-1 is not prime. Res64: 8EF6177628E1E5A2 Time : 0.0 sec. user=mdettweiler [2015-11-20 18:17:59] 745*2^1415571-1 is not prime. Res64: 6BA648AC2B223250 Time : 0.0 sec. user=mdettweiler [2015-11-20 18:21:26] 793*2^1415571-1 is not prime. Res64: 6C04C578F3E3A6FF Time : 0.0 sec. user=mdettweiler [2015-11-20 18:21:27] 819*2^1415571-1 is not prime. Res64: DECE73BD6A8B8770 Time : 0.0 sec. user=mdettweiler [2015-11-20 18:22:18] 829*2^1415571-1 is not prime. Res64: D0F671F8DA21BB2C Time : 0.0 sec. user=mdettweiler [2015-11-20 18:22:18] 949*2^1415571-1 is not prime. Res64: 58A7A163E9764E52 Time : 0.0 sec. user=mdettweiler [2015-11-20 18:33:19] 639*2^1415572-1 is not prime. Res64: 87CFB01E2367C164 Time : 0.0 sec. user=mdettweiler [2015-11-20 18:33:19] 665*2^1415572-1 is not prime. Res64: 52DB2F48A12A7D0D Time : 0.0 sec. user=mdettweiler [2015-11-20 18:36:04] 675*2^1415572-1 is not prime. Res64: 0C077458613785D6 Time : 0.0 sec. user=mdettweiler [2015-11-20 18:36:04] 689*2^1415572-1 is not prime. Res64: 7C348CDB3E89E63E Time : 0.0 sec. user=mdettweiler [2015-11-20 18:39:32] 777*2^1415572-1 is not prime. Res64: 591308A1F9F3F87E Time : 0.0 sec. user=mdettweiler [2015-11-20 18:39:32] 873*2^1415572-1 is not prime. Res64: 7E8D1DEB5726E005 Time : 0.0 sec. user=mdettweiler [2015-11-20 18:40:23] 899*2^1415572-1 is not prime. Res64: 38B24D79BFAE0A85 Time : 0.0 sec. user=mdettweiler [2015-11-20 18:40:23] 983*2^1415572-1 is not prime. Res64: C8265FF70226E62C Time : 0.0 sec. user=mdettweiler [2015-11-20 18:51:23] 999*2^1415572-1 is not prime. Res64: 5FA7CBE03B571FF6 Time : 0.0 sec. user=mdettweiler [2015-11-20 18:51:23] 649*2^1415573-1 is not prime. Res64: 87EC4CD85535E598 Time : 0.0 sec. user=mdettweiler [2015-11-20 18:54:03] 697*2^1415573-1 is not prime. Res64: D0E97CBA068E29C1 Time : 0.0 sec. user=mdettweiler [2015-11-20 18:54:04] 795*2^1415573-1 is not prime. Res64: 1A13DBE28F07F762 Time : 0.0 sec. user=mdettweiler [2015-11-20 18:57:38] 847*2^1415573-1 is not prime. Res64: 4E022E2C2B4AD7CE Time : 0.0 sec. user=mdettweiler [2015-11-20 18:57:38] 885*2^1415573-1 is not prime. Res64: 80F3E61FF9F371C4 Time : 0.0 sec. user=mdettweiler [2015-11-20 18:58:17] 693*2^1415574-1 is not prime. Res64: 991CBAC2C21CEFD8 Time : 0.0 sec. user=mdettweiler [2015-11-20 18:58:17] 717*2^1415574-1 is not prime. Res64: 4D77F05E5CF9A2A0 Time : 0.0 sec. user=mdettweiler [2015-11-20 19:09:26] 765*2^1415574-1 is not prime. Res64: 10C0EC0444F0F6E0 Time : 0.0 sec. user=mdettweiler [2015-11-20 19:09:26] 825*2^1415574-1 is not prime. Res64: DD80A28ADEA662D7 Time : 0.0 sec. user=mdettweiler [2015-11-20 19:12:03] 863*2^1415574-1 is not prime. Res64: 39A2653BCA1CA309 Time : 0.0 sec. user=mdettweiler [2015-11-20 19:12:04] 923*2^1415574-1 is not prime. Res64: 20BD4555F9E392B6 Time : 0.0 sec. user=mdettweiler [2015-11-20 19:15:44] 947*2^1415574-1 is not prime. Res64: FEEEC9B3939948BA Time : 0.0 sec. user=mdettweiler [2015-11-20 19:15:45] 1001*2^1415574-1 is not prime. Res64: 96FF020B89CD4FD6 Time : 0.0 sec. user=mdettweiler [2015-11-20 19:16:25] 661*2^1415575-1 is not prime. Res64: BF7BB85E1614346F Time : 0.0 sec. user=mdettweiler [2015-11-20 19:16:25] 973*2^1415575-1 is not prime. Res64: 3FF75C5C1778A945 Time : 0.0 sec. user=mdettweiler [2015-11-20 19:27:35] 645*2^1415576-1 is not prime. Res64: F75E487CFEE7FC85 Time : 0.0 sec. user=mdettweiler [2015-11-20 19:27:36] 717*2^1415576-1 is not prime. Res64: 1FA32348ADCF44F4 Time : 0.0 sec. user=mdettweiler [2015-11-20 19:30:10] 867*2^1415576-1 is not prime. Res64: C6CE295CF76302B0 Time : 0.0 sec. user=mdettweiler [2015-11-20 19:30:11] 875*2^1415576-1 is not prime. Res64: 46FA2F5BEED4F107 Time : 0.0 sec. user=mdettweiler [2015-11-20 19:33:48] 969*2^1415576-1 is not prime. Res64: 9B2983869E132D3C Time : 0.0 sec. user=mdettweiler [2015-11-20 19:33:49] 691*2^1415577-1 is not prime. Res64: 4779F227A4150308 Time : 0.0 sec. user=mdettweiler [2015-11-20 19:34:25] 699*2^1415577-1 is not prime. Res64: C8D6374C90C993FC Time : 0.0 sec. user=mdettweiler [2015-11-20 19:34:25] 777*2^1415577-1 is not prime. Res64: B25744384E5E1283 Time : 0.0 sec. user=mdettweiler [2015-11-20 19:45:35] 817*2^1415577-1 is not prime. Res64: C6D946ED10674BFE Time : 0.0 sec. user=mdettweiler [2015-11-20 19:45:35] 603*2^1415578-1 is not prime. Res64: A91150EFF6E63AC4 Time : 0.0 sec. user=mdettweiler [2015-11-20 19:48:22] 735*2^1415578-1 is not prime. Res64: F82EE780DE1BB55A Time : 0.0 sec. user=mdettweiler [2015-11-20 19:48:22] 815*2^1415578-1 is not prime. Res64: 370BD79F520465C5 Time : 0.0 sec. user=mdettweiler [2015-11-20 19:51:50] 845*2^1415578-1 is not prime. Res64: 889CFA52C56983CB Time : 0.0 sec. user=mdettweiler [2015-11-20 19:51:50] 891*2^1415578-1 is not prime. Res64: 9AA80FE3A06CB9D0 Time : 0.0 sec. user=mdettweiler [2015-11-20 19:52:29] 911*2^1415578-1 is not prime. Res64: 9E400B431BB41AA0 Time : 0.0 sec. user=mdettweiler [2015-11-20 19:52:30] 655*2^1415579-1 is not prime. Res64: DB67B08E261612C0 Time : 0.0 sec. user=mdettweiler [2015-11-20 20:03:45] 711*2^1415579-1 is not prime. Res64: 06F3C78F4B398A6C Time : 0.0 sec. user=mdettweiler [2015-11-20 20:03:47] 813*2^1415579-1 is not prime. Res64: 7821147E064F0BC4 Time : 0.0 sec. user=mdettweiler [2015-11-20 20:06:29] 895*2^1415579-1 is not prime. Res64: 29CF9B109FF94C02 Time : 0.0 sec. user=mdettweiler [2015-11-20 20:06:30] 647*2^1415580-1 is not prime. Res64: 24EE77655F9681F8 Time : 0.0 sec. user=mdettweiler [2015-11-20 20:10:11] 653*2^1415580-1 is not prime. Res64: 78CED023D5541C56 Time : 0.0 sec. user=mdettweiler [2015-11-20 20:10:12] 845*2^1415580-1 is not prime. Res64: 684DFBB604860213 Time : 0.0 sec. user=mdettweiler [2015-11-20 20:10:35] 867*2^1415580-1 is not prime. Res64: D71C1FE6B1B41E4C Time : 0.0 sec. user=mdettweiler [2015-11-20 20:10:35] 905*2^1415580-1 is not prime. Res64: 6FD27D87550BFAD4 Time : 0.0 sec. user=mdettweiler [2015-11-20 20:22:01] 983*2^1415580-1 is not prime. Res64: FED75244FF6CC6A2 Time : 0.0 sec. user=mdettweiler [2015-11-20 20:22:01] 639*2^1415581-1 is not prime. Res64: 5D4ECF548B0C0B31 Time : 0.0 sec. user=mdettweiler [2015-11-20 20:24:41] 681*2^1415581-1 is not prime. Res64: C971647C9FFCF55F Time : 0.0 sec. user=mdettweiler [2015-11-20 20:24:41] 691*2^1415581-1 is not prime. Res64: C658C4205B85E8DD Time : 0.0 sec. user=mdettweiler [2015-11-20 20:28:21] 741*2^1415581-1 is not prime. Res64: 918447F41F9DAB57 Time : 0.0 sec. user=mdettweiler [2015-11-20 20:28:22] 987*2^1415581-1 is not prime. Res64: 303AF93F9D3FC475 Time : 0.0 sec. user=mdettweiler [2015-11-20 20:28:42] 665*2^1415582-1 is not prime. Res64: DD15EF9ED5962408 Time : 0.0 sec. user=mdettweiler [2015-11-20 20:28:43] 705*2^1415582-1 is not prime. Res64: 570AE498320FCB59 Time : 0.0 sec. user=mdettweiler [2015-11-20 20:40:00] 731*2^1415582-1 is not prime. Res64: 1F2756656957AEC4 Time : 0.0 sec. user=mdettweiler [2015-11-20 20:40:00] 741*2^1415582-1 is not prime. Res64: E24A7444D349511E Time : 0.0 sec. user=mdettweiler [2015-11-20 20:42:50] 771*2^1415582-1 is not prime. Res64: 52F1A70B20B8B4A0 Time : 0.0 sec. user=mdettweiler [2015-11-20 20:42:51] 797*2^1415582-1 is not prime. Res64: 59830871666C2C64 Time : 0.0 sec. user=mdettweiler [2015-11-20 20:46:36] 827*2^1415582-1 is not prime. Res64: EF5F2DD65848B120 Time : 0.0 sec. user=mdettweiler [2015-11-20 20:46:36] 885*2^1415582-1 is not prime. Res64: 5CB89317957D1907 Time : 0.0 sec. user=mdettweiler [2015-11-20 20:47:03] 893*2^1415582-1 is not prime. Res64: 6B7C0281D94F55D6 Time : 0.0 sec. user=mdettweiler [2015-11-20 20:47:04] 921*2^1415582-1 is not prime. Res64: EB7AEC4631701361 Time : 0.0 sec. user=mdettweiler [2015-11-20 20:58:00] 945*2^1415582-1 is not prime. Res64: BB9EDE016775786F Time : 0.0 sec. user=mdettweiler [2015-11-20 20:58:00] 691*2^1415583-1 is not prime. Res64: D29AB0E181E04671 Time : 0.0 sec. user=mdettweiler [2015-11-20 21:00:50] 723*2^1415583-1 is not prime. Res64: AED5AC63A43445C0 Time : 0.0 sec. user=mdettweiler [2015-11-20 21:00:51] 745*2^1415583-1 is not prime. Res64: B594D7644D4072F2 Time : 0.0 sec. user=mdettweiler [2015-11-20 21:04:36] 805*2^1415583-1 is not prime. Res64: 2F7941449C38E548 Time : 0.0 sec. user=mdettweiler [2015-11-20 21:04:37] 901*2^1415583-1 is not prime. Res64: 8C40F0CD11604AD8 Time : 0.0 sec. user=mdettweiler [2015-11-20 21:05:05] 827*2^1415584-1 is not prime. Res64: 265AC64AB10A9E70 Time : 0.0 sec. user=mdettweiler [2015-11-20 21:05:07] 833*2^1415584-1 is not prime. Res64: 7F2611971A800D11 Time : 0.0 sec. user=mdettweiler [2015-11-20 21:16:06] 843*2^1415584-1 is not prime. Res64: CE4ABC9E63D46311 Time : 0.0 sec. user=mdettweiler [2015-11-20 21:16:06] 905*2^1415584-1 is not prime. Res64: CE450361E2DCE59F Time : 0.0 sec. user=mdettweiler [2015-11-20 21:18:57] 929*2^1415584-1 is not prime. Res64: A5C2B42C8963D648 Time : 0.0 sec. user=mdettweiler [2015-11-20 21:18:58] 939*2^1415584-1 is not prime. Res64: 069BF63C05B11B1F Time : 0.0 sec. user=mdettweiler [2015-11-20 21:22:54] 601*2^1415585-1 is not prime. Res64: 44FC7C02FD1F85D0 Time : 0.0 sec. user=mdettweiler [2015-11-20 21:22:54] 691*2^1415585-1 is not prime. Res64: 547D03D437CC088E Time : 0.0 sec. user=mdettweiler [2015-11-20 21:23:26] 697*2^1415585-1 is not prime. Res64: D3531B96FEBF009F Time : 0.0 sec. user=mdettweiler [2015-11-20 21:23:26] 759*2^1415585-1 is not prime. Res64: E45294EB5E0D84EB Time : 0.0 sec. user=mdettweiler [2015-11-20 21:34:08] 771*2^1415585-1 is not prime. Res64: FB7651988586ADA5 Time : 0.0 sec. user=mdettweiler [2015-11-20 21:34:08] 819*2^1415585-1 is not prime. Res64: B1B85E7F82871CD3 Time : 0.0 sec. user=mdettweiler [2015-11-20 21:37:00] 855*2^1415585-1 is not prime. Res64: 9239BCF9E3ECB025 Time : 0.0 sec. user=mdettweiler [2015-11-20 21:37:01] 871*2^1415585-1 is not prime. Res64: 1162E862063A7AF1 Time : 0.0 sec. user=mdettweiler [2015-11-20 21:41:04] 985*2^1415585-1 is not prime. Res64: AEC0D5875A7DFC81 Time : 0.0 sec. user=mdettweiler [2015-11-20 21:41:04] 633*2^1415586-1 is not prime. Res64: CBEE3D7A7E678DB5 Time : 0.0 sec. user=mdettweiler [2015-11-20 21:41:30] 657*2^1415586-1 is not prime. Res64: F37ACCC60E7AD532 Time : 0.0 sec. user=mdettweiler [2015-11-20 21:41:30] 717*2^1415586-1 is not prime. Res64: CD4A6A477B688287 Time : 0.0 sec. user=mdettweiler [2015-11-20 21:52:04] 825*2^1415586-1 is not prime. Res64: 4FEDB3DFEA66E468 Time : 0.0 sec. user=mdettweiler [2015-11-20 21:52:04] 875*2^1415586-1 is not prime. Res64: A5ECCC2A824380ED Time : 0.0 sec. user=mdettweiler [2015-11-20 21:55:09] 905*2^1415586-1 is not prime. Res64: 7DC39455EB196081 Time : 0.0 sec. user=mdettweiler [2015-11-20 21:55:10] 993*2^1415586-1 is not prime. Res64: 77F288D589DB5505 Time : 0.0 sec. user=mdettweiler [2015-11-20 21:59:07] 633*2^1415587-1 is not prime. Res64: 3184E22E0588EA8E Time : 0.0 sec. user=mdettweiler [2015-11-20 21:59:07] 645*2^1415587-1 is not prime. Res64: 0B57A810FA360267 Time : 0.0 sec. user=mdettweiler [2015-11-20 21:59:35] 681*2^1415587-1 is not prime. Res64: 0A4A69A0CDC42BAC Time : 0.0 sec. user=mdettweiler [2015-11-20 21:59:35] 685*2^1415587-1 is not prime. Res64: 5E2951EDC59D71B6 Time : 0.0 sec. user=mdettweiler [2015-11-20 22:10:16] 693*2^1415587-1 is not prime. Res64: 12AC49BB1791831D Time : 0.0 sec. user=mdettweiler [2015-11-20 22:10:17] 733*2^1415587-1 is not prime. Res64: 7C93E80868E1491B Time : 0.0 sec. user=mdettweiler [2015-11-20 22:13:12] 769*2^1415587-1 is not prime. Res64: EB30B848A390BA80 Time : 0.0 sec. user=mdettweiler [2015-11-20 22:13:13] 873*2^1415587-1 is not prime. Res64: 77E72C14DBB2AFEB Time : 0.0 sec. user=mdettweiler [2015-11-20 22:17:15] 885*2^1415587-1 is not prime. Res64: 7DB30F9AD48E4066 Time : 0.0 sec. user=mdettweiler [2015-11-20 22:17:15] 931*2^1415587-1 is not prime. Res64: 95BA5F54AF04F075 Time : 0.0 sec. user=mdettweiler [2015-11-20 22:17:52] 993*2^1415587-1 is not prime. Res64: 6C8E65899530EE95 Time : 0.0 sec. user=mdettweiler [2015-11-20 22:17:52] 603*2^1415588-1 is not prime. Res64: 533364A908998443 Time : 0.0 sec. user=mdettweiler [2015-11-20 22:28:26] 615*2^1415588-1 is not prime. Res64: F91DD58FE41FE8DB Time : 0.0 sec. user=mdettweiler [2015-11-20 22:28:26] 773*2^1415588-1 is not prime. Res64: A33AFF4553B93DFA Time : 0.0 sec. user=mdettweiler [2015-11-20 22:31:18] 777*2^1415588-1 is not prime. Res64: 5CD1A75CE7167AA6 Time : 0.0 sec. user=mdettweiler [2015-11-20 22:31:18] 879*2^1415588-1 is not prime. Res64: C03529E6C2AC6DD9 Time : 0.0 sec. user=mdettweiler [2015-11-20 22:35:21] 957*2^1415588-1 is not prime. Res64: F000F940F2BC90B4 Time : 0.0 sec. user=mdettweiler [2015-11-20 22:35:22] 657*2^1415589-1 is not prime. Res64: C79A5F1480389C5C Time : 0.0 sec. user=mdettweiler [2015-11-20 22:36:00] 751*2^1415589-1 is not prime. Res64: 40C2E914B3887F6F Time : 0.0 sec. user=mdettweiler [2015-11-20 22:36:01] 759*2^1415589-1 is not prime. Res64: 7267656C38AC8ECB Time : 0.0 sec. user=mdettweiler [2015-11-20 22:46:39] 765*2^1415589-1 is not prime. Res64: 494ED11500A685E0 Time : 0.0 sec. user=mdettweiler [2015-11-20 22:46:40] 829*2^1415589-1 is not prime. Res64: 70AB6C8ACD11E1E6 Time : 0.0 sec. user=mdettweiler [2015-11-20 22:49:27] 847*2^1415589-1 is not prime. Res64: 7880442F4A648127 Time : 0.0 sec. user=mdettweiler [2015-11-20 22:49:27] 889*2^1415589-1 is not prime. Res64: B626FEE61F489BA8 Time : 0.0 sec. user=mdettweiler [2015-11-20 22:53:35] 985*2^1415589-1 is not prime. Res64: 383354483C3B9029 Time : 0.0 sec. user=mdettweiler [2015-11-20 22:53:36] 657*2^1415590-1 is not prime. Res64: 93150A98B34EB422 Time : 0.0 sec. user=mdettweiler [2015-11-20 22:54:06] 801*2^1415590-1 is not prime. Res64: 806F292FE8AB0C08 Time : 0.0 sec. user=mdettweiler [2015-11-20 22:54:06] 825*2^1415590-1 is not prime. Res64: F405BAAEB9A54E0E Time : 0.0 sec. user=mdettweiler [2015-11-20 23:04:42] 957*2^1415590-1 is not prime. Res64: ED230F220B5F17CF Time : 0.0 sec. user=mdettweiler [2015-11-20 23:04:43] 643*2^1415591-1 is not prime. Res64: B21998F3CB790EF6 Time : 0.0 sec. user=mdettweiler [2015-11-20 23:07:38] 685*2^1415591-1 is not prime. Res64: 1124B4EF694FC799 Time : 0.0 sec. user=mdettweiler [2015-11-20 23:07:38] 693*2^1415591-1 is not prime. Res64: F8924AD5D12C58E1 Time : 0.0 sec. user=mdettweiler [2015-11-20 23:11:42] 711*2^1415591-1 is not prime. Res64: AF6B46C9FB223A91 Time : 0.0 sec. user=mdettweiler [2015-11-20 23:11:43] 841*2^1415591-1 is not prime. Res64: 434A4D1116F8F36D Time : 0.0 sec. user=mdettweiler [2015-11-20 23:12:09] 949*2^1415591-1 is not prime. Res64: A89DCDC2628B9C3D Time : 0.0 sec. user=mdettweiler [2015-11-20 23:12:11] 615*2^1415592-1 is not prime. Res64: A2B49684A9BC7EC2 Time : 0.0 sec. user=mdettweiler [2015-11-20 23:22:49] 639*2^1415592-1 is not prime. Res64: 4419ED9F2614382E Time : 0.0 sec. user=mdettweiler [2015-11-20 23:22:50] 753*2^1415592-1 is not prime. Res64: 83D347A40F5928CB Time : 0.0 sec. user=mdettweiler [2015-11-20 23:25:50] 887*2^1415592-1 is not prime. Res64: 5B9853A6BAAC212D Time : 0.0 sec. user=mdettweiler [2015-11-20 23:25:51] 909*2^1415592-1 is not prime. Res64: 0AA4027391FD33D6 Time : 0.0 sec. user=mdettweiler [2015-11-20 23:30:05] 959*2^1415592-1 is not prime. Res64: 3FE905247CC994C8 Time : 0.0 sec. user=mdettweiler [2015-11-20 23:30:05] 691*2^1415593-1 is not prime. Res64: EF981A2F251AC250 Time : 0.0 sec. user=mdettweiler [2015-11-20 23:30:26] 747*2^1415593-1 is not prime. Res64: 3226F91EC4643B64 Time : 0.0 sec. user=mdettweiler [2015-11-20 23:30:27] 769*2^1415593-1 is not prime. Res64: E4C79E783D631B92 Time : 0.0 sec. user=mdettweiler [2015-11-20 23:40:58] 775*2^1415593-1 is not prime. Res64: 5BABCFB4ED2D7F7C Time : 0.0 sec. user=mdettweiler [2015-11-20 23:40:58] 819*2^1415593-1 is not prime. Res64: FDD49A49EDFD32C1 Time : 0.0 sec. user=mdettweiler [2015-11-20 23:43:57] 937*2^1415593-1 is not prime. Res64: 450449680E0D2274 Time : 0.0 sec. user=mdettweiler [2015-11-20 23:43:57] 623*2^1415594-1 is not prime. Res64: 28E72E440C4904BF Time : 0.0 sec. user=mdettweiler [2015-11-20 23:48:16] 683*2^1415594-1 is not prime. Res64: 3147527637326BDB Time : 0.0 sec. user=mdettweiler [2015-11-20 23:48:16] 753*2^1415594-1 is not prime. Res64: 45691031B996FAD8 Time : 0.0 sec. user=mdettweiler [2015-11-20 23:48:33] 813*2^1415594-1 is not prime. Res64: AC69C1EC63A83A28 Time : 0.0 sec. user=mdettweiler [2015-11-20 23:48:33] 825*2^1415594-1 is not prime. Res64: 96628111F8C5D815 Time : 0.0 sec. user=mdettweiler [2015-11-20 23:59:19] 857*2^1415594-1 is not prime. Res64: D2C24F27DFE1413E Time : 0.0 sec. user=mdettweiler [2015-11-20 23:59:19] 861*2^1415594-1 is not prime. Res64: 0C71980D14AF17AB Time : 0.0 sec.