user=mdettweiler [2013-05-29 00:01:10] 951*2^1246350-1 is not prime. Res64: C31FEBE9D0D8720F Time : 0.0 sec. user=mdettweiler [2013-05-29 00:01:52] 603*2^1246351-1 is not prime. Res64: B1E942F02B88A601 Time : 0.0 sec. user=mdettweiler [2013-05-29 00:01:53] 673*2^1246351-1 is not prime. Res64: 63190EC90F9AB5D4 Time : 0.0 sec. user=mdettweiler [2013-05-29 00:19:44] 715*2^1246351-1 is not prime. Res64: CEEEDA3872C8F7FF Time : 0.0 sec. user=mdettweiler [2013-05-29 00:19:44] 789*2^1246351-1 is not prime. Res64: B8A8A3FAA03AFF30 Time : 0.0 sec. user=mdettweiler [2013-05-29 00:31:00] 1001*2^1246350-1 is not prime. Res64: 481E99BE66EE1F7F Time : 0.0 sec. user=mdettweiler [2013-05-29 00:37:50] 889*2^1246351-1 is not prime. Res64: F28AA9D38C08F84F Time : 0.0 sec. user=mdettweiler [2013-05-29 00:49:07] 939*2^1246351-1 is not prime. Res64: D0F12E51D3C58059 Time : 0.0 sec. user=mdettweiler [2013-05-29 01:13:49] 891*2^1246351-1 is not prime. Res64: 520E22FCC0777E14 Time : 0.0 sec. user=mdettweiler [2013-05-29 01:22:15] 961*2^1246351-1 is not prime. Res64: D01DC3CB316F5929 Time : 0.0 sec. user=mdettweiler [2013-05-29 02:08:02] 665*2^1246352-1 is not prime. Res64: 56C2FF4B0FCBCFED Time : 0.0 sec. user=mdettweiler [2013-05-29 02:08:03] 735*2^1246352-1 is not prime. Res64: B01FD8D03B971845 Time : 0.0 sec. user=mdettweiler [2013-05-29 02:21:03] 827*2^1246352-1 is not prime. Res64: 263AA071F91BD05B Time : 0.0 sec. user=mdettweiler [2013-05-29 02:21:04] 959*2^1246352-1 is not prime. Res64: 470C95EFE0F62076 Time : 0.0 sec. user=mdettweiler [2013-05-29 02:25:56] 753*2^1246352-1 is not prime. Res64: FFD66FBD9CE968EB Time : 0.0 sec. user=mdettweiler [2013-05-29 02:25:57] 607*2^1246353-1 is not prime. Res64: 0F344A999D878AA4 Time : 0.0 sec. user=mdettweiler [2013-05-29 02:38:57] 781*2^1246353-1 is not prime. Res64: E94F0030C7DACB64 Time : 0.0 sec. user=mdettweiler [2013-05-29 02:38:58] 837*2^1246353-1 is not prime. Res64: F52877B39D2E35D6 Time : 0.0 sec. user=mdettweiler [2013-05-29 02:43:46] 847*2^1246353-1 is not prime. Res64: 85D1C1223B3A8C50 Time : 0.0 sec. user=mdettweiler [2013-05-29 02:43:47] 867*2^1246353-1 is not prime. Res64: CA3AE5C26CF22F71 Time : 0.0 sec. user=mdettweiler [2013-05-29 02:56:55] 877*2^1246353-1 is not prime. Res64: 214D39758CE8C97B Time : 0.0 sec. user=mdettweiler [2013-05-29 03:01:30] 949*2^1246353-1 is not prime. Res64: 0A90E23B8CB50B33 Time : 0.0 sec. user=mdettweiler [2013-05-29 03:23:09] 915*2^1246353-1 is not prime. Res64: 02599FD7FF43DA43 Time : 0.0 sec. user=mdettweiler [2013-05-29 03:23:50] 605*2^1246354-1 is not prime. Res64: 0E23198053D0433C Time : 0.0 sec. user=mdettweiler [2013-05-29 03:41:12] 695*2^1246354-1 is not prime. Res64: 9A552D2574204F5D Time : 0.0 sec. user=mdettweiler [2013-05-29 03:42:15] 947*2^1246354-1 is not prime. Res64: 374A3E4870FBB010 Time : 0.0 sec. user=mdettweiler [2013-05-29 03:42:15] 983*2^1246354-1 is not prime. Res64: 25BBACFC9CD7AD9D Time : 0.0 sec. user=mdettweiler [2013-05-29 04:01:11] 1001*2^1246354-1 is not prime. Res64: 1620DE4D78EAD64D Time : 0.0 sec. user=mdettweiler [2013-05-29 04:23:53] 669*2^1246355-1 is not prime. Res64: B908384CEB6B29EC Time : 0.0 sec. user=mdettweiler [2013-05-29 04:32:46] 825*2^1246354-1 is not prime. Res64: A8AB30B00CA07DDF Time : 0.0 sec. user=mdettweiler [2013-05-29 04:41:34] 679*2^1246355-1 is not prime. Res64: A0FC253F228D32D7 Time : 0.0 sec. user=mdettweiler [2013-05-29 04:41:34] 759*2^1246355-1 is not prime. Res64: DB282CE7990857D6 Time : 0.0 sec. user=mdettweiler [2013-05-29 04:50:41] 775*2^1246355-1 is not prime. Res64: D7D1E48E8F7F68F7 Time : 0.0 sec. user=mdettweiler [2013-05-29 04:50:41] 859*2^1246355-1 is not prime. Res64: 063C6C80F950D16B Time : 0.0 sec. user=mdettweiler [2013-05-29 05:00:25] 903*2^1246355-1 is not prime. Res64: 0439D6813F5C307C Time : 0.0 sec. user=PCZ [2013-05-29 05:04:02] 719*2^1246356-1 is not prime. Res64: 6A239267E3254044 Time : 0.0 sec. user=PCZ [2013-05-29 05:04:02] 759*2^1246356-1 is not prime. Res64: 05F2EDB2D0CD0898 Time : 0.0 sec. user=PCZ [2013-05-29 05:04:02] 695*2^1246356-1 is not prime. Res64: 37A3BB536DF356BE Time : 0.0 sec. user=PCZ [2013-05-29 05:04:02] 683*2^1246356-1 is not prime. Res64: A31F54F34BEC09D6 Time : 0.0 sec. user=PCZ [2013-05-29 05:04:02] 707*2^1246356-1 is not prime. Res64: 6E4189E3DCB49D82 Time : 0.0 sec. user=PCZ [2013-05-29 05:04:26] 727*2^1246357-1 is not prime. Res64: AC62A1073BC7E491 Time : 0.0 sec. user=PCZ [2013-05-29 05:04:26] 893*2^1246356-1 is not prime. Res64: 0BDB5FBAEC3E421B Time : 0.0 sec. user=PCZ [2013-05-29 05:04:27] 839*2^1246356-1 is not prime. Res64: 5AAD5A765071DD51 Time : 0.0 sec. user=PCZ [2013-05-29 05:04:27] 615*2^1246357-1 is not prime. Res64: EDF202356CDEFBFB Time : 0.0 sec. user=PCZ [2013-05-29 05:04:49] 991*2^1246355-1 is not prime. Res64: A0C43F9A6731E990 Time : 0.0 sec. user=PCZ [2013-05-29 05:04:49] 999*2^1246355-1 is not prime. Res64: 4B9C4584E104D2F7 Time : 0.0 sec. user=PCZ [2013-05-29 05:05:11] 993*2^1246356-1 is not prime. Res64: D6203BA5194DA8DB Time : 0.0 sec. user=mdettweiler [2013-05-29 05:08:32] 747*2^1246357-1 is not prime. Res64: 5C576ED21CDD91CB Time : 0.0 sec. user=mdettweiler [2013-05-29 05:08:33] 831*2^1246357-1 is not prime. Res64: 9D92299A440BBACD Time : 0.0 sec. user=mdettweiler [2013-05-29 05:26:34] 759*2^1246360-1 is not prime. Res64: 6DACE7AB7DCBD32C Time : 0.0 sec. user=mdettweiler [2013-05-29 05:28:40] 979*2^1246355-1 is not prime. Res64: ABC4EDF3A080558A Time : 0.0 sec. user=mdettweiler [2013-05-29 05:45:13] 773*2^1246360-1 is not prime. Res64: BEA9493286C0B8E7 Time : 0.0 sec. user=mdettweiler [2013-05-29 06:02:44] 825*2^1246360-1 is not prime. Res64: 46D505EAD32187AA Time : 0.0 sec. user=mdettweiler [2013-05-29 06:02:45] 855*2^1246360-1 is not prime. Res64: 371AFFD01609AB3B Time : 0.0 sec. user=mdettweiler [2013-05-29 06:20:42] 917*2^1246360-1 is not prime. Res64: B3B7544A5E657C37 Time : 0.0 sec. user=mdettweiler [2013-05-29 06:20:42] 939*2^1246360-1 is not prime. Res64: 9B1F337117C20C4D Time : 0.0 sec. user=mdettweiler [2013-05-29 06:23:23] 983*2^1246360-1 is not prime. Res64: 4158E9708ACBC580 Time : 0.0 sec. user=mdettweiler [2013-05-29 06:38:47] 775*2^1246361-1 is not prime. Res64: CD850CD0C091CD8D Time : 0.0 sec. user=mdettweiler [2013-05-29 06:49:28] 711*2^1246361-1 is not prime. Res64: DFDB8962591F8690 Time : 0.0 sec. user=juhehe [2013-05-29 07:03:22] 693*2^1246339-1 is not prime. Res64: 343130E2CB9CAAAC Time : 0.0 sec. user=mdettweiler [2013-05-29 07:06:31] 789*2^1246361-1 is not prime. Res64: B688202E39994D46 Time : 0.0 sec. user=mdettweiler [2013-05-29 07:07:14] 865*2^1246361-1 is not prime. Res64: 3FA2DC2CCFF00270 Time : 0.0 sec. user=mdettweiler [2013-05-29 07:24:19] 909*2^1246361-1 is not prime. Res64: 80E6E668E974644A Time : 0.0 sec. user=mdettweiler [2013-05-29 07:24:20] 951*2^1246361-1 is not prime. Res64: B94C05EE1C1AA737 Time : 0.0 sec. user=mdettweiler [2013-05-29 07:29:03] 867*2^1246361-1 is not prime. Res64: 7171954622BB8804 Time : 0.0 sec. user=mdettweiler [2013-05-29 07:42:08] 957*2^1246361-1 is not prime. Res64: 2AE24F43C6D05542 Time : 0.0 sec. user=mdettweiler [2013-05-29 07:42:09] 651*2^1246362-1 is not prime. Res64: 56B520D5CD9BF1FF Time : 0.0 sec. user=mdettweiler [2013-05-29 07:46:39] 653*2^1246362-1 is not prime. Res64: 3AAE52F7EB712B3C Time : 0.0 sec. user=mdettweiler [2013-05-29 07:46:40] 615*2^1246363-1 is not prime. Res64: D3637B50ED650F29 Time : 0.0 sec. user=mdettweiler [2013-05-29 08:00:03] 771*2^1246363-1 is not prime. Res64: C640BCAC6FE8032E Time : 0.0 sec. user=mdettweiler [2013-05-29 08:04:22] 853*2^1246363-1 is not prime. Res64: F63C8B25C3F2B16C Time : 0.0 sec. user=mdettweiler [2013-05-29 08:26:48] 811*2^1246363-1 is not prime. Res64: 30FA75DCDF281479 Time : 0.0 sec. user=mdettweiler [2013-05-29 08:36:54] 861*2^1246363-1 is not prime. Res64: 77C1E32434C6DA77 Time : 0.0 sec. user=juhehe [2013-05-29 08:38:51] 961*2^1246363-1 is not prime. Res64: EA190DBB4FFD21B6 Time : 0.0 sec. user=mdettweiler [2013-05-29 08:54:41] 609*2^1246364-1 is not prime. Res64: B11CE650ADF0474F Time : 0.0 sec. user=mdettweiler [2013-05-29 08:54:42] 657*2^1246364-1 is not prime. Res64: 03837C31782B3590 Time : 0.0 sec. user=mdettweiler [2013-05-29 09:03:00] 869*2^1246364-1 is not prime. Res64: F0A95FF0B2ED8178 Time : 0.0 sec. user=mdettweiler [2013-05-29 09:03:01] 893*2^1246364-1 is not prime. Res64: 1800A64F32828AA6 Time : 0.0 sec. user=mdettweiler [2013-05-29 09:12:29] 897*2^1246364-1 is not prime. Res64: B52A91BA80E1642C Time : 0.0 sec. user=mdettweiler [2013-05-29 09:12:30] 899*2^1246364-1 is not prime. Res64: 601076FC2931EA65 Time : 0.0 sec. user=mdettweiler [2013-05-29 09:20:51] 935*2^1246364-1 is not prime. Res64: 2A70DDFA08AE165D Time : 0.0 sec. user=mdettweiler [2013-05-29 09:20:52] 945*2^1246364-1 is not prime. Res64: B27DD2FC59F6F90D Time : 0.0 sec. user=mdettweiler [2013-05-29 09:30:15] 655*2^1246365-1 is not prime. Res64: 535873D811702018 Time : 0.0 sec. user=mdettweiler [2013-05-29 09:38:26] 777*2^1246365-1 is not prime. Res64: D385EA4CD26223B4 Time : 0.0 sec. user=mdettweiler [2013-05-29 09:38:27] 781*2^1246365-1 is not prime. Res64: F21A2D71BA92DAB4 Time : 0.0 sec. user=mdettweiler [2013-05-29 09:42:25] 765*2^1246365-1 is not prime. Res64: 2EA48FE622C665C7 Time : 0.0 sec. user=mdettweiler [2013-05-29 09:56:23] 811*2^1246365-1 is not prime. Res64: C121FA4CB2D4DFE4 Time : 0.0 sec. user=mdettweiler [2013-05-29 09:56:23] 915*2^1246365-1 is not prime. Res64: ED53B1FB793F7CC4 Time : 0.0 sec. user=mdettweiler [2013-05-29 10:00:52] 975*2^1246365-1 is not prime. Res64: 9EDB5E23E1311630 Time : 0.0 sec. user=mdettweiler [2013-05-29 10:00:53] 635*2^1246366-1 is not prime. Res64: EE285CA36597DB87 Time : 0.0 sec. user=juhehe [2013-05-29 10:09:34] 761*2^1246366-1 is not prime. Res64: 85325F3932B8D61B Time : 0.0 sec. user=mdettweiler [2013-05-29 10:14:39] 821*2^1246366-1 is not prime. Res64: E3E5E016836356D5 Time : 0.0 sec. user=mdettweiler [2013-05-29 10:20:04] 993*2^1246366-1 is not prime. Res64: 19659184EAD9CDA2 Time : 0.0 sec. user=mdettweiler [2013-05-29 10:20:04] 601*2^1246367-1 is not prime. Res64: 495548B734F6D0DD Time : 0.0 sec. user=mdettweiler [2013-05-29 10:37:58] 615*2^1246367-1 is not prime. Res64: BF972BB1FBC5194F Time : 0.0 sec. user=mdettweiler [2013-05-29 10:37:59] 663*2^1246367-1 is not prime. Res64: B131C91AB3599A67 Time : 0.0 sec. user=mdettweiler [2013-05-29 10:41:22] 825*2^1246366-1 is not prime. Res64: 0CCBBA288309AA7D Time : 0.0 sec. user=mdettweiler [2013-05-29 10:55:39] 705*2^1246367-1 is not prime. Res64: 9A98723EEA2109BF Time : 0.0 sec. user=mdettweiler [2013-05-29 10:55:39] 741*2^1246367-1 is not prime. Res64: 24A3382E4CC07B6A Time : 0.0 sec. user=mdettweiler [2013-05-29 10:59:01] 775*2^1246367-1 is not prime. Res64: AE357B98EBC93DD2 Time : 0.0 sec. user=mdettweiler [2013-05-29 10:59:18] 819*2^1246367-1 is not prime. Res64: 99D0761543EC80D8 Time : 0.0 sec. user=mdettweiler [2013-05-29 11:13:18] 753*2^1246368-1 is not prime. Res64: 5C2EC230EE390692 Time : 0.0 sec. user=mdettweiler [2013-05-29 11:13:19] 837*2^1246368-1 is not prime. Res64: B5BDE596FA7AA383 Time : 0.0 sec. user=mdettweiler [2013-05-29 11:31:08] 839*2^1246368-1 is not prime. Res64: 26F98E8E4FE00C5F Time : 0.0 sec. user=juhehe [2013-05-29 11:40:25] 887*2^1246368-1 is not prime. Res64: 6266F7740EF00E6E Time : 0.0 sec. user=mdettweiler [2013-05-29 11:46:07] 909*2^1246368-1 is not prime. Res64: 8A8C39B35EDA79FB Time : 0.0 sec. user=mdettweiler [2013-05-29 11:46:07] 947*2^1246368-1 is not prime. Res64: EC5DBE1E2345E517 Time : 0.0 sec. user=mdettweiler [2013-05-29 12:05:02] 993*2^1246368-1 is not prime. Res64: 72ABD3CA9B8F82F4 Time : 0.0 sec. user=mdettweiler [2013-05-29 12:05:04] 721*2^1246369-1 is not prime. Res64: 7CC82EAFFA7A7A66 Time : 0.0 sec. user=mdettweiler [2013-05-29 12:07:15] 849*2^1246368-1 is not prime. Res64: 55FDF82AE75C307F Time : 0.0 sec. user=mdettweiler [2013-05-29 12:23:21] 759*2^1246369-1 is not prime. Res64: 4DDA624F89EA4ED9 Time : 0.0 sec. user=mdettweiler [2013-05-29 12:23:22] 765*2^1246369-1 is not prime. Res64: 604C23DB45B9F419 Time : 0.0 sec. user=mdettweiler [2013-05-29 12:25:14] 769*2^1246369-1 is not prime. Res64: 121212F81C11932D Time : 0.0 sec. user=mdettweiler [2013-05-29 12:25:15] 817*2^1246369-1 is not prime. Res64: 7FCE5133B53C971F Time : 0.0 sec. user=mdettweiler [2013-05-29 12:41:10] 603*2^1246370-1 is not prime. Res64: 3DFBF62A3E8308A7 Time : 0.0 sec. user=mdettweiler [2013-05-29 12:41:11] 635*2^1246370-1 is not prime. Res64: AA4239AC3B56F804 Time : 0.0 sec. user=mdettweiler [2013-05-29 12:42:58] 735*2^1246370-1 is not prime. Res64: 35D1481215BA244F Time : 0.0 sec. user=mdettweiler [2013-05-29 12:42:58] 843*2^1246370-1 is not prime. Res64: 0FBA04D47C1F3719 Time : 0.0 sec. user=mdettweiler [2013-05-29 12:58:50] 615*2^1246371-1 is not prime. Res64: 08E224AB06FE36EA Time : 0.0 sec. user=mdettweiler [2013-05-29 12:58:50] 625*2^1246371-1 is not prime. Res64: 85DE1A9207693BAA Time : 0.0 sec. user=mdettweiler [2013-05-29 13:00:37] 679*2^1246371-1 is not prime. Res64: 66DE8AF4909DEBE7 Time : 0.0 sec. user=mdettweiler [2013-05-29 13:00:54] 709*2^1246371-1 is not prime. Res64: F628D3ACF6488540 Time : 0.0 sec. user=juhehe [2013-05-29 13:11:38] 751*2^1246371-1 is not prime. Res64: 50D1E07E4FF9AC1C Time : 0.0 sec. user=mdettweiler [2013-05-29 13:16:52] 801*2^1246371-1 is not prime. Res64: 1AE2760576FEC778 Time : 0.0 sec. user=mdettweiler [2013-05-29 13:16:53] 805*2^1246371-1 is not prime. Res64: 243B03B465558DBD Time : 0.0 sec. user=mdettweiler [2013-05-29 13:35:05] 943*2^1246371-1 is not prime. Res64: F57DC404BDCCE413 Time : 0.0 sec. user=mdettweiler [2013-05-29 13:51:24] 675*2^1246372-1 is not prime. Res64: 51344090CCE80BA8 Time : 0.0 sec. user=mdettweiler [2013-05-29 13:51:24] 689*2^1246372-1 is not prime. Res64: A3736077673CA891 Time : 0.0 sec. user=mdettweiler [2013-05-29 14:09:37] 785*2^1246372-1 is not prime. Res64: 7DC9C69F11E28269 Time : 0.0 sec. user=mdettweiler [2013-05-29 14:09:38] 803*2^1246372-1 is not prime. Res64: C7AD94B616B8372C Time : 0.0 sec. user=mdettweiler [2013-05-29 14:14:09] 665*2^1246372-1 is not prime. Res64: 41FDD959EF848C07 Time : 0.0 sec. user=mdettweiler [2013-05-29 14:27:47] 939*2^1246372-1 is not prime. Res64: C2CDA296C7B69A31 Time : 0.0 sec. user=mdettweiler [2013-05-29 14:27:48] 619*2^1246373-1 is not prime. Res64: 2CC29A8F57531DD0 Time : 0.0 sec. user=mdettweiler [2013-05-29 14:32:17] 649*2^1246373-1 is not prime. Res64: 40EBF10525CB67C1 Time : 0.0 sec. user=mdettweiler [2013-05-29 14:45:31] 757*2^1246373-1 is not prime. Res64: 207D3F07F49C93AE Time : 0.0 sec. user=mdettweiler [2013-05-29 14:45:32] 769*2^1246373-1 is not prime. Res64: 7CABC74516617041 Time : 0.0 sec. user=mdettweiler [2013-05-29 15:03:39] 889*2^1246373-1 is not prime. Res64: FD43994F707DB86C Time : 0.0 sec. user=mdettweiler [2013-05-29 15:10:21] 741*2^1246373-1 is not prime. Res64: 93BADAFB960BD758 Time : 0.0 sec. user=mdettweiler [2013-05-29 15:16:01] 957*2^1246373-1 is not prime. Res64: 78A18555AA7D9827 Time : 0.0 sec. user=mdettweiler [2013-05-29 15:28:25] 969*2^1246373-1 is not prime. Res64: 559E57B310841941 Time : 0.0 sec. user=mdettweiler [2013-05-29 15:33:52] 807*2^1246374-1 is not prime. Res64: 97856119C49F9EB2 Time : 0.0 sec. user=mdettweiler [2013-05-29 15:33:53] 903*2^1246374-1 is not prime. Res64: C4F191B5AC6A6BEA Time : 0.0 sec. user=mdettweiler [2013-05-29 15:52:14] 971*2^1246374-1 is not prime. Res64: F4F539B0242B0DFC Time : 0.0 sec. user=mdettweiler [2013-05-29 15:52:14] 975*2^1246374-1 is not prime. Res64: 0197B36C2A3AA1C4 Time : 0.0 sec. user=mdettweiler [2013-05-29 15:53:22] 783*2^1246374-1 is not prime. Res64: 8004C7A24EA3E43B Time : 0.0 sec. user=mdettweiler [2013-05-29 16:10:13] 609*2^1246375-1 is not prime. Res64: B66DF43B73FDDD03 Time : 0.0 sec. user=mdettweiler [2013-05-29 16:34:35] 619*2^1246375-1 is not prime. Res64: 6F31DCB482BEA5AC Time : 0.0 sec. user=mdettweiler [2013-05-29 16:36:02] 853*2^1246375-1 is not prime. Res64: 8F5C8FA364B1C8DA Time : 0.0 sec. user=mdettweiler [2013-05-29 16:52:02] 743*2^1246376-1 is not prime. Res64: 9F7BB093286E7B99 Time : 0.0 sec. user=mdettweiler [2013-05-29 16:52:02] 815*2^1246376-1 is not prime. Res64: AEBEBE3954EDDE60 Time : 0.0 sec. user=mdettweiler [2013-05-29 16:58:20] 645*2^1246376-1 is not prime. Res64: 7A94F4D22F21997D Time : 0.0 sec. user=mdettweiler [2013-05-29 17:10:06] 843*2^1246376-1 is not prime. Res64: 33CC97D095D43C8D Time : 0.0 sec. user=mdettweiler [2013-05-29 17:16:37] 983*2^1246376-1 is not prime. Res64: EEF614BAD0A0F26A Time : 0.0 sec. user=mdettweiler [2013-05-29 17:16:37] 849*2^1246377-1 is not prime. Res64: D0ABCA697705EAFB Time : 0.0 sec. user=mdettweiler [2013-05-29 17:34:09] 617*2^1246378-1 is not prime. Res64: C943160942B97952 Time : 0.0 sec. user=mdettweiler [2013-05-29 17:34:10] 623*2^1246378-1 is not prime. Res64: 5AD66B94F84A0BAB Time : 0.0 sec. user=mdettweiler [2013-05-29 17:46:57] 855*2^1246376-1 is not prime. Res64: 1A09028A5A522AE3 Time : 0.0 sec. user=mdettweiler [2013-05-29 17:52:00] 635*2^1246378-1 is not prime. Res64: 4C5C0A0FD0913F34 Time : 0.0 sec. user=mdettweiler [2013-05-29 17:52:00] 663*2^1246378-1 is not prime. Res64: EAFAF1EB0195C329 Time : 0.0 sec. user=mdettweiler [2013-05-29 18:04:24] 681*2^1246378-1 is not prime. Res64: 3BB8F1372C8322A0 Time : 0.0 sec. user=mdettweiler [2013-05-29 18:04:42] 743*2^1246378-1 is not prime. Res64: 6D1D8D9B0CC3571B Time : 0.0 sec. user=mdettweiler [2013-05-29 18:10:12] 773*2^1246378-1 is not prime. Res64: B8682EBCE7D94F68 Time : 0.0 sec. user=mdettweiler [2013-05-29 18:35:11] 911*2^1246378-1 is not prime. Res64: 743FA1E4B6EE54E1 Time : 0.0 sec. user=mdettweiler [2013-05-29 18:41:10] 951*2^1246378-1 is not prime. Res64: 1414ABB9EBBC6386 Time : 0.0 sec. user=mdettweiler [2013-05-29 18:41:10] 957*2^1246378-1 is not prime. Res64: C8A9771245062538 Time : 0.0 sec. user=mdettweiler [2013-05-29 18:53:28] 987*2^1246378-1 is not prime. Res64: 8CECBB5AAD7F2E3D Time : 0.0 sec. user=mdettweiler [2013-05-29 18:53:28] 633*2^1246379-1 is not prime. Res64: EA3BA70B10593BA1 Time : 0.0 sec. user=mdettweiler [2013-05-29 18:58:53] 679*2^1246379-1 is not prime. Res64: A08A5029A6179C79 Time : 0.0 sec. user=mdettweiler [2013-05-29 18:58:54] 771*2^1246379-1 is not prime. Res64: 34897EFF973A80D7 Time : 0.0 sec. user=mdettweiler [2013-05-29 19:12:09] 823*2^1246379-1 is not prime. Res64: 57C21D2C3BBFE45A Time : 0.0 sec. user=mdettweiler [2013-05-29 19:16:38] 765*2^1246380-1 is not prime. Res64: 9E365FC4959D8597 Time : 0.0 sec. user=mdettweiler [2013-05-29 19:16:38] 875*2^1246380-1 is not prime. Res64: 5BACC5FD69A3A87D Time : 0.0 sec. user=mdettweiler [2013-05-29 19:35:40] 893*2^1246380-1 is not prime. Res64: 285CAF7C824C6717 Time : 0.0 sec. user=mdettweiler [2013-05-29 19:35:41] 975*2^1246380-1 is not prime. Res64: 4832D2CB0672A9ED Time : 0.0 sec. user=mdettweiler [2013-05-29 19:35:41] 979*2^1246379-1 is not prime. Res64: 2CBDB215298591FB Time : 0.0 sec. user=mdettweiler [2013-05-29 19:53:39] 601*2^1246381-1 is not prime. Res64: 25641EC1A3FB41B8 Time : 0.0 sec. user=mdettweiler [2013-05-29 19:53:39] 681*2^1246381-1 is not prime. Res64: 41F509CA782E274C Time : 0.0 sec. user=mdettweiler [2013-05-29 19:53:39] 621*2^1246381-1 is not prime. Res64: 7253226C83515716 Time : 0.0 sec. user=mdettweiler [2013-05-29 19:53:39] 717*2^1246381-1 is not prime. Res64: 0B7FC7BA0BCEF303 Time : 0.0 sec. user=mdettweiler [2013-05-29 20:11:55] 769*2^1246381-1 is not prime. Res64: 42545BE31A87F316 Time : 0.0 sec. user=mdettweiler [2013-05-29 20:12:58] 967*2^1246381-1 is not prime. Res64: D7FFF8098354E095 Time : 0.0 sec. user=mdettweiler [2013-05-29 20:39:03] 877*2^1246381-1 is not prime. Res64: 37E7173F66EAC3CF Time : 0.0 sec. user=mdettweiler [2013-05-29 20:46:50] 997*2^1246381-1 is not prime. Res64: CA75089C2B618652 Time : 0.0 sec. user=mdettweiler [2013-05-29 20:58:20] 999*2^1246381-1 is not prime. Res64: 6BD10BB400473B9A Time : 0.0 sec. user=mdettweiler [2013-05-29 21:21:42] 713*2^1246382-1 is not prime. Res64: 7A195E1B9966DED9 Time : 0.0 sec. user=mdettweiler [2013-05-29 21:29:35] 785*2^1246382-1 is not prime. Res64: 9AA83ABE32C2767E Time : 0.0 sec. user=mdettweiler [2013-05-29 21:29:35] 831*2^1246382-1 is not prime. Res64: 739AEFAB3A5598C7 Time : 0.0 sec. user=mdettweiler [2013-05-29 21:40:53] 1001*2^1246382-1 is not prime. Res64: 58DEEF8513A9B191 Time : 0.0 sec. user=mdettweiler [2013-05-29 21:47:46] 675*2^1246383-1 is not prime. Res64: 5CA05E2FB1399C7B Time : 0.0 sec. user=mdettweiler [2013-05-29 22:06:29] 703*2^1246383-1 is not prime. Res64: 9651BEEC6CC65B4B Time : 0.0 sec. user=mdettweiler [2013-05-29 22:08:38] 609*2^1246383-1 is not prime. Res64: D794C7D553E3CE26 Time : 0.0 sec. user=mdettweiler [2013-05-29 22:24:06] 723*2^1246383-1 is not prime. Res64: 371A32ABF42D1996 Time : 0.0 sec. user=mdettweiler [2013-05-29 22:24:07] 963*2^1246383-1 is not prime. Res64: 95E437406174A130 Time : 0.0 sec. user=mdettweiler [2013-05-29 22:26:13] 973*2^1246383-1 is not prime. Res64: 6590B769E43E42DE Time : 0.0 sec. user=mdettweiler [2013-05-29 22:26:14] 609*2^1246384-1 is not prime. Res64: BA76A60141EC1340 Time : 0.0 sec. user=mdettweiler [2013-05-29 22:41:57] 723*2^1246384-1 is not prime. Res64: D94F3E016AD28048 Time : 0.0 sec. user=mdettweiler [2013-05-29 22:41:58] 863*2^1246384-1 is not prime. Res64: 09CE2619799F40A9 Time : 0.0 sec. user=mdettweiler [2013-05-29 22:44:46] 887*2^1246384-1 is not prime. Res64: F07414930EA7D64A Time : 0.0 sec. user=mdettweiler [2013-05-29 22:44:46] 983*2^1246384-1 is not prime. Res64: 4B557B847408B161 Time : 0.0 sec. user=mdettweiler [2013-05-29 22:59:41] 635*2^1246386-1 is not prime. Res64: 2189A1FB0C9D25E4 Time : 0.0 sec. user=mdettweiler [2013-05-29 22:59:42] 695*2^1246386-1 is not prime. Res64: 158A8B48A9856AAA Time : 0.0 sec. user=mdettweiler [2013-05-29 23:02:35] 891*2^1246386-1 is not prime. Res64: 7F668891F5D03B8B Time : 0.0 sec. user=mdettweiler [2013-05-29 23:02:36] 945*2^1246386-1 is not prime. Res64: C43D3CF9FF5CB925 Time : 0.0 sec. user=mdettweiler [2013-05-29 23:17:41] 619*2^1246387-1 is not prime. Res64: 2FC808ACE029E874 Time : 0.0 sec. user=mdettweiler [2013-05-29 23:20:29] 693*2^1246387-1 is not prime. Res64: 320D2FEDC88A3083 Time : 0.0 sec. user=mdettweiler [2013-05-29 23:20:29] 741*2^1246387-1 is not prime. Res64: FE4F13B6A79B4706 Time : 0.0 sec. user=mdettweiler [2013-05-29 23:36:17] 631*2^1246387-1 is not prime. Res64: 2AF2699F0CA16210 Time : 0.0 sec. user=mdettweiler [2013-05-29 23:38:12] 909*2^1246387-1 is not prime. Res64: E0C693D4A9ED8878 Time : 0.0 sec. user=mdettweiler [2013-05-29 23:38:12] 617*2^1246388-1 is not prime. Res64: 8B7D1ED3CCFEE7F4 Time : 0.0 sec. user=mdettweiler [2013-05-29 23:54:04] 677*2^1246388-1 is not prime. Res64: 4D0F3C5313F6699B Time : 0.0 sec. user=mdettweiler [2013-05-29 23:55:41] 969*2^1246388-1 is not prime. Res64: 84AC83A4E293F3F3 Time : 0.0 sec. user=mdettweiler [2013-05-29 23:55:42] 669*2^1246389-1 is not prime. Res64: D562CF9A0EC699E2 Time : 0.0 sec.