user=mdettweiler [2013-07-04 00:02:13] 861*2^1247385-1 is not prime. Res64: 5E731DE4E60DBBDD Time : 0.0 sec. user=mdettweiler [2013-07-04 00:02:15] 895*2^1247385-1 is not prime. Res64: 18614D9DDB8CC05C Time : 0.0 sec. user=mdettweiler [2013-07-04 00:19:45] 743*2^1247386-1 is not prime. Res64: EBA870B887BC270A Time : 0.0 sec. user=mdettweiler [2013-07-04 00:19:45] 777*2^1247386-1 is not prime. Res64: 46FD0941C991C990 Time : 0.0 sec. user=mdettweiler [2013-07-04 00:37:09] 887*2^1247386-1 is not prime. Res64: B80E949877086243 Time : 0.0 sec. user=mdettweiler [2013-07-04 00:37:10] 891*2^1247386-1 is not prime. Res64: 1A7FADEDFC233AB2 Time : 0.0 sec. user=mdettweiler [2013-07-04 00:54:13] 917*2^1247386-1 is not prime. Res64: 19668939743E98BB Time : 0.0 sec. user=mdettweiler [2013-07-04 00:54:13] 923*2^1247386-1 is not prime. Res64: 81000F40215FDC09 Time : 0.0 sec. user=mdettweiler [2013-07-04 01:11:18] 933*2^1247386-1 is not prime. Res64: DDB06172FA0C55CA Time : 0.0 sec. user=mdettweiler [2013-07-04 01:11:19] 957*2^1247386-1 is not prime. Res64: 23AEC8419087873B Time : 0.0 sec. user=mdettweiler [2013-07-04 01:28:22] 619*2^1247387-1 is not prime. Res64: 128752BE08ED804F Time : 0.0 sec. user=mdettweiler [2013-07-04 01:28:23] 655*2^1247387-1 is not prime. Res64: 5376489EF6642C4F Time : 0.0 sec. user=mdettweiler [2013-07-04 01:45:24] 703*2^1247387-1 is not prime. Res64: 506A91AA344E6E7E Time : 0.0 sec. user=mdettweiler [2013-07-04 01:45:24] 733*2^1247387-1 is not prime. Res64: E709E121D490D7A7 Time : 0.0 sec. user=mdettweiler [2013-07-04 02:02:27] 735*2^1247387-1 is not prime. Res64: DF1285473E551E2C Time : 0.0 sec. user=mdettweiler [2013-07-04 02:02:28] 813*2^1247387-1 is not prime. Res64: F66094E3B9F12E42 Time : 0.0 sec. user=mdettweiler [2013-07-04 02:19:48] 883*2^1247387-1 is not prime. Res64: 593C8678BA571A18 Time : 0.0 sec. user=mdettweiler [2013-07-04 02:19:49] 949*2^1247387-1 is not prime. Res64: 330BEDD4F568CF00 Time : 0.0 sec. user=mdettweiler [2013-07-04 02:38:27] 963*2^1247387-1 is not prime. Res64: AFCF64CF6B63F222 Time : 0.0 sec. user=mdettweiler [2013-07-04 02:38:28] 999*2^1247387-1 is not prime. Res64: 27612A6C194E0B77 Time : 0.0 sec. user=mdettweiler [2013-07-04 02:55:44] 783*2^1247388-1 is not prime. Res64: E7BDF6CACAFBE227 Time : 0.0 sec. user=mdettweiler [2013-07-04 02:55:45] 887*2^1247388-1 is not prime. Res64: DFBDAD6F9EBB3735 Time : 0.0 sec. user=mdettweiler [2013-07-04 03:12:47] 615*2^1247389-1 is not prime. Res64: 3DB1514A24E2E12D Time : 0.0 sec. user=mdettweiler [2013-07-04 03:12:47] 667*2^1247389-1 is not prime. Res64: A33AE53E43D2C1AE Time : 0.0 sec. user=mdettweiler [2013-07-04 03:29:50] 759*2^1247389-1 is not prime. Res64: 225E59B9C1D200D8 Time : 0.0 sec. user=mdettweiler [2013-07-04 03:29:51] 831*2^1247389-1 is not prime. Res64: 8B8EC3B5F70F0EF9 Time : 0.0 sec. user=mdettweiler [2013-07-04 03:46:56] 877*2^1247389-1 is not prime. Res64: C9A6ABD1918CFDB3 Time : 0.0 sec. user=mdettweiler [2013-07-04 03:46:56] 615*2^1247390-1 is not prime. Res64: 2EAA59CD55E8AE43 Time : 0.0 sec. user=mdettweiler [2013-07-04 04:04:01] 675*2^1247390-1 is not prime. Res64: 7490D0BD69456EAB Time : 0.0 sec. user=mdettweiler [2013-07-04 04:04:01] 713*2^1247390-1 is not prime. Res64: 9B3552F56C80B384 Time : 0.0 sec. user=mdettweiler [2013-07-04 04:21:08] 867*2^1247390-1 is not prime. Res64: 1633B642A355C715 Time : 0.0 sec. user=mdettweiler [2013-07-04 04:21:08] 875*2^1247390-1 is not prime. Res64: DF757249219B92D4 Time : 0.0 sec. user=mdettweiler [2013-07-04 04:38:10] 619*2^1247391-1 is not prime. Res64: 4E29E53983005904 Time : 0.0 sec. user=mdettweiler [2013-07-04 04:38:10] 643*2^1247391-1 is not prime. Res64: ED1635D9FECC1211 Time : 0.0 sec. user=mdettweiler [2013-07-04 04:55:15] 649*2^1247391-1 is not prime. Res64: 48001C686FFC14FA Time : 0.0 sec. user=mdettweiler [2013-07-04 04:55:16] 751*2^1247391-1 is not prime. Res64: 056EFEEF8AEC5598 Time : 0.0 sec. user=mdettweiler [2013-07-04 05:12:17] 879*2^1247391-1 is not prime. Res64: E54D544A48CF5ABA Time : 0.0 sec. user=mdettweiler [2013-07-04 05:12:18] 645*2^1247392-1 is not prime. Res64: 40D290EFAA22F2D7 Time : 0.0 sec. user=mdettweiler [2013-07-04 05:29:19] 755*2^1247392-1 is not prime. Res64: 1ADE3A8FCC745AC2 Time : 0.0 sec. user=mdettweiler [2013-07-04 05:29:20] 869*2^1247392-1 is not prime. Res64: 9AC8363C3555BDC7 Time : 0.0 sec. user=mdettweiler [2013-07-04 05:46:21] 899*2^1247392-1 is not prime. Res64: 70741AA15FDAED88 Time : 0.0 sec. user=mdettweiler [2013-07-04 05:46:21] 903*2^1247392-1 is not prime. Res64: 46A274BBAC4A02F4 Time : 0.0 sec. user=mdettweiler [2013-07-04 06:03:23] 631*2^1247393-1 is not prime. Res64: 9080C4F876E2C29E Time : 0.0 sec. user=mdettweiler [2013-07-04 06:03:24] 697*2^1247393-1 is not prime. Res64: 85765D317E71FBDA Time : 0.0 sec. user=mdettweiler [2013-07-04 06:20:37] 855*2^1247393-1 is not prime. Res64: 809F698612A3E860 Time : 0.0 sec. user=mdettweiler [2013-07-04 06:20:38] 879*2^1247393-1 is not prime. Res64: B042E337D2076390 Time : 0.0 sec. user=mdettweiler [2013-07-04 06:37:39] 889*2^1247393-1 is not prime. Res64: 87182AD13FB4B738 Time : 0.0 sec. user=mdettweiler [2013-07-04 06:37:40] 705*2^1247394-1 is not prime. Res64: C345B1DFFD0BB0FD Time : 0.0 sec. user=mdettweiler [2013-07-04 06:54:42] 773*2^1247394-1 is not prime. Res64: A04067340F9183BB Time : 0.0 sec. user=mdettweiler [2013-07-04 06:54:43] 803*2^1247394-1 is not prime. Res64: 6E49A0A4B5ED9798 Time : 0.0 sec. user=mdettweiler [2013-07-04 07:11:44] 815*2^1247394-1 is not prime. Res64: 7CDB28F53B309023 Time : 0.0 sec. user=mdettweiler [2013-07-04 07:11:45] 861*2^1247394-1 is not prime. Res64: 0E9D23DD243DF6AB Time : 0.0 sec. user=mdettweiler [2013-07-04 07:28:53] 885*2^1247394-1 is not prime. Res64: CF5B3AC3C13CC50A Time : 0.0 sec. user=mdettweiler [2013-07-04 07:28:54] 947*2^1247394-1 is not prime. Res64: 906CC6B2E806B257 Time : 0.0 sec. user=mdettweiler [2013-07-04 07:45:55] 679*2^1247395-1 is not prime. Res64: 9B6DF697E3A214AD Time : 0.0 sec. user=mdettweiler [2013-07-04 07:45:56] 741*2^1247395-1 is not prime. Res64: 5D0FD7607377660E Time : 0.0 sec. user=mdettweiler [2013-07-04 08:02:58] 891*2^1247395-1 is not prime. Res64: 2AF76C45F9C688C6 Time : 0.0 sec. user=mdettweiler [2013-07-04 08:02:59] 615*2^1247396-1 is not prime. Res64: 4178A75E6A1F5923 Time : 0.0 sec. user=mdettweiler [2013-07-04 08:20:20] 623*2^1247396-1 is not prime. Res64: CE8B9F2F32F7DAFF Time : 0.0 sec. user=mdettweiler [2013-07-04 08:20:20] 635*2^1247396-1 is not prime. Res64: C2308FD1D1248606 Time : 0.0 sec. user=mdettweiler [2013-07-04 08:37:22] 659*2^1247396-1 is not prime. Res64: 6299603964267391 Time : 0.0 sec. user=mdettweiler [2013-07-04 08:37:22] 675*2^1247396-1 is not prime. Res64: 4D9E8DAF56138F09 Time : 0.0 sec. user=mdettweiler [2013-07-04 08:54:24] 873*2^1247396-1 is not prime. Res64: AB52E7079DAA5C59 Time : 0.0 sec. user=mdettweiler [2013-07-04 08:54:24] 923*2^1247396-1 is not prime. Res64: 523F41492BCB5803 Time : 0.0 sec. user=mdettweiler [2013-07-04 09:12:14] 953*2^1247396-1 is not prime. Res64: 31C75DB668CA7690 Time : 0.0 sec. user=mdettweiler [2013-07-04 09:12:15] 957*2^1247396-1 is not prime. Res64: 197A1338559A7BF7 Time : 0.0 sec. user=mdettweiler [2013-07-04 09:29:16] 627*2^1247397-1 is not prime. Res64: EC86793AEEEF8175 Time : 0.0 sec. user=mdettweiler [2013-07-04 09:29:17] 649*2^1247397-1 is not prime. Res64: EBC52C2B8153D687 Time : 0.0 sec. user=mdettweiler [2013-07-04 09:46:17] 699*2^1247397-1 is not prime. Res64: BAACDB0713A6A0EC Time : 0.0 sec. user=mdettweiler [2013-07-04 09:46:18] 717*2^1247397-1 is not prime. Res64: BF634438EA3C66D1 Time : 0.0 sec. user=mdettweiler [2013-07-04 10:03:19] 735*2^1247397-1 is not prime. Res64: 38BFE70FD27C96D9 Time : 0.0 sec. user=mdettweiler [2013-07-04 10:03:21] 805*2^1247397-1 is not prime. Res64: 01CD558B8F486DE7 Time : 0.0 sec. user=mdettweiler [2013-07-04 10:20:41] 847*2^1247397-1 is not prime. Res64: CD8A985339DD9B41 Time : 0.0 sec. user=mdettweiler [2013-07-04 10:20:42] 895*2^1247397-1 is not prime. Res64: 5ECA5F2D5D69C2F9 Time : 0.0 sec. user=mdettweiler [2013-07-04 10:37:44] 927*2^1247397-1 is not prime. Res64: 8E4D5A891B99A49B Time : 0.0 sec. user=mdettweiler [2013-07-04 10:37:44] 945*2^1247397-1 is not prime. Res64: D36ACF6C2AC447B1 Time : 0.0 sec. user=mdettweiler [2013-07-04 10:54:46] 949*2^1247397-1 is not prime. Res64: 1FD915F060EBE2EC Time : 0.0 sec. user=mdettweiler [2013-07-04 10:54:46] 611*2^1247398-1 is not prime. Res64: 6A3B515799AAAA55 Time : 0.0 sec. user=mdettweiler [2013-07-04 11:11:52] 677*2^1247398-1 is not prime. Res64: D80B8708D72E2EFD Time : 0.0 sec. user=mdettweiler [2013-07-04 11:11:53] 777*2^1247398-1 is not prime. Res64: 36206955FEF14B02 Time : 0.0 sec. user=mdettweiler [2013-07-04 11:28:55] 813*2^1247398-1 is not prime. Res64: BBA20B65C69AE561 Time : 0.0 sec. user=mdettweiler [2013-07-04 11:28:55] 867*2^1247398-1 is not prime. Res64: C2A93DCF52FA2630 Time : 0.0 sec. user=mdettweiler [2013-07-04 11:45:57] 887*2^1247398-1 is not prime. Res64: EB66E0F7C2364FF8 Time : 0.0 sec. user=mdettweiler [2013-07-04 11:45:57] 911*2^1247398-1 is not prime. Res64: 4DC65ED40E729C21 Time : 0.0 sec. user=mdettweiler [2013-07-04 12:02:59] 923*2^1247398-1 is not prime. Res64: 09E05C1361D29429 Time : 0.0 sec. user=mdettweiler [2013-07-04 12:03:00] 933*2^1247398-1 is not prime. Res64: 9E658FFED6AAA00E Time : 0.0 sec. user=mdettweiler [2013-07-04 12:21:05] 951*2^1247398-1 is not prime. Res64: CEA789A1638307CA Time : 0.0 sec. user=mdettweiler [2013-07-04 12:21:06] 1001*2^1247398-1 is not prime. Res64: 62F0E42CBDCE0C5F Time : 0.0 sec. user=mdettweiler [2013-07-04 12:38:26] 661*2^1247399-1 is not prime. Res64: CBE2076973A6418C Time : 0.0 sec. user=mdettweiler [2013-07-04 12:38:26] 741*2^1247399-1 is not prime. Res64: 6A327DB73C54FB4E Time : 0.0 sec. user=mdettweiler [2013-07-04 12:55:32] 753*2^1247399-1 is not prime. Res64: 293E21F651202BD3 Time : 0.0 sec. user=mdettweiler [2013-07-04 12:55:32] 823*2^1247399-1 is not prime. Res64: 1431CD8D16455799 Time : 0.0 sec. user=mdettweiler [2013-07-04 13:12:33] 841*2^1247399-1 is not prime. Res64: 5037C130F95DEDA0 Time : 0.0 sec. user=mdettweiler [2013-07-04 13:12:34] 889*2^1247399-1 is not prime. Res64: 4BBB103F9011430C Time : 0.0 sec. user=mdettweiler [2013-07-04 13:30:24] 943*2^1247399-1 is not prime. Res64: 295952C2428F91AC Time : 0.0 sec. user=mdettweiler [2013-07-04 13:30:25] 985*2^1247399-1 is not prime. Res64: CFFFAE792DFDE421 Time : 0.0 sec. user=mdettweiler [2013-07-04 13:47:27] 627*2^1247400-1 is not prime. Res64: CB67640FB903491B Time : 0.0 sec. user=mdettweiler [2013-07-04 13:47:28] 635*2^1247400-1 is not prime. Res64: E08715DB1AD85ACD Time : 0.0 sec. user=mdettweiler [2013-07-04 14:04:30] 669*2^1247400-1 is not prime. Res64: E44C6E469781CA0B Time : 0.0 sec. user=mdettweiler [2013-07-04 14:04:30] 789*2^1247400-1 is not prime. Res64: D8AD7F64CB9F6FE3 Time : 0.0 sec. user=mdettweiler [2013-07-04 14:21:34] 857*2^1247400-1 is not prime. Res64: F11BF37D096C3A95 Time : 0.0 sec. user=mdettweiler [2013-07-04 14:21:35] 879*2^1247400-1 is not prime. Res64: 6A68F46C7E5B2A8B Time : 0.0 sec. user=mdettweiler [2013-07-04 14:38:38] 917*2^1247400-1 is not prime. Res64: BD94E4CB4B996E57 Time : 0.0 sec. user=mdettweiler [2013-07-04 14:38:39] 935*2^1247400-1 is not prime. Res64: EC311D4860003F41 Time : 0.0 sec. user=mdettweiler [2013-07-04 14:55:40] 615*2^1247401-1 is not prime. Res64: 6409D932492AAA07 Time : 0.0 sec. user=mdettweiler [2013-07-04 14:55:40] 619*2^1247401-1 is not prime. Res64: BD073F5B90CC8BE3 Time : 0.0 sec. user=mdettweiler [2013-07-04 15:12:42] 691*2^1247401-1 is not prime. Res64: 6E3FE5CCC0783EAE Time : 0.0 sec. user=mdettweiler [2013-07-04 15:12:43] 861*2^1247401-1 is not prime. Res64: B72C6D46868490C3 Time : 0.0 sec. user=mdettweiler [2013-07-04 15:30:33] 889*2^1247401-1 is not prime. Res64: 53C706B86550C2F1 Time : 0.0 sec. user=mdettweiler [2013-07-04 15:30:33] 987*2^1247401-1 is not prime. Res64: 8AFB6C10989ECF1A Time : 0.0 sec. user=mdettweiler [2013-07-04 15:47:34] 603*2^1247402-1 is not prime. Res64: 5CB322A76D67C7B1 Time : 0.0 sec. user=mdettweiler [2013-07-04 15:47:34] 671*2^1247402-1 is not prime. Res64: 6771FDA5522087EC Time : 0.0 sec. user=mdettweiler [2013-07-04 16:04:36] 701*2^1247402-1 is not prime. Res64: 4617D38867A73859 Time : 0.0 sec. user=mdettweiler [2013-07-04 16:04:37] 705*2^1247402-1 is not prime. Res64: 193D443CBEF1E6F3 Time : 0.0 sec. user=mdettweiler [2013-07-04 16:22:31] 767*2^1247402-1 is not prime. Res64: F1EAC636D51BF744 Time : 0.0 sec. user=mdettweiler [2013-07-04 16:22:32] 981*2^1247402-1 is not prime. Res64: 403A94599A4EEF78 Time : 0.0 sec. user=mdettweiler [2013-07-04 16:40:22] 1001*2^1247402-1 is not prime. Res64: B1B53247500B77BF Time : 0.0 sec. user=mdettweiler [2013-07-04 16:40:23] 685*2^1247403-1 is not prime. Res64: 1ED7BAC733890034 Time : 0.0 sec. user=mdettweiler [2013-07-04 16:57:24] 805*2^1247403-1 is not prime. Res64: FBB203E933A9283D Time : 0.0 sec. user=mdettweiler [2013-07-04 16:57:25] 853*2^1247403-1 is not prime. Res64: 493DA22F3A247535 Time : 0.0 sec. user=mdettweiler [2013-07-04 17:14:26] 951*2^1247403-1 is not prime. Res64: 6C21EB22B23D1309 Time : 0.0 sec. user=mdettweiler [2013-07-04 17:14:27] 635*2^1247404-1 is not prime. Res64: 73187FED04B54335 Time : 0.0 sec. user=mdettweiler [2013-07-04 17:31:29] 783*2^1247404-1 is not prime. Res64: FF75A0BAB580EEE8 Time : 0.0 sec. user=mdettweiler [2013-07-04 17:31:30] 807*2^1247404-1 is not prime. Res64: 89AA084E72274892 Time : 0.0 sec. user=mdettweiler [2013-07-04 17:48:31] 855*2^1247404-1 is not prime. Res64: 749D1854BB4E58AC Time : 0.0 sec. user=mdettweiler [2013-07-04 17:48:32] 873*2^1247404-1 is not prime. Res64: C6254E7CA3EDB36E Time : 0.0 sec. user=mdettweiler [2013-07-04 18:05:34] 953*2^1247404-1 is not prime. Res64: 5909C185F2DA7F63 Time : 0.0 sec. user=mdettweiler [2013-07-04 18:05:35] 825*2^1247405-1 is not prime. Res64: 5DB7D8158C778B37 Time : 0.0 sec. user=mdettweiler [2013-07-04 18:22:43] 683*2^1247406-1 is not prime. Res64: CDAB5F24052F6A5B Time : 0.0 sec. user=mdettweiler [2013-07-04 18:22:44] 881*2^1247406-1 is not prime. Res64: B7F324708D92E0FA Time : 0.0 sec. user=mdettweiler [2013-07-04 18:39:46] 887*2^1247406-1 is not prime. Res64: B49974044E109472 Time : 0.0 sec. user=mdettweiler [2013-07-04 18:39:46] 609*2^1247407-1 is not prime. Res64: 59385B0C67060792 Time : 0.0 sec. user=mdettweiler [2013-07-04 18:56:49] 649*2^1247407-1 is not prime. Res64: FF4BE55E8F8C01E6 Time : 0.0 sec. user=mdettweiler [2013-07-04 18:56:50] 673*2^1247407-1 is not prime. Res64: 81A2BC9E10153A20 Time : 0.0 sec. user=mdettweiler [2013-07-04 19:13:51] 693*2^1247407-1 is not prime. Res64: 74D743AF6D68BCE7 Time : 0.0 sec. user=mdettweiler [2013-07-04 19:13:52] 841*2^1247407-1 is not prime. Res64: 564E2C5CED7DAAF1 Time : 0.0 sec. user=mdettweiler [2013-07-04 19:30:54] 873*2^1247407-1 is not prime. Res64: 89D96A99E61A5AEE Time : 0.0 sec. user=mdettweiler [2013-07-04 19:30:54] 891*2^1247407-1 is not prime. Res64: 89C1FF31565744DE Time : 0.0 sec. user=mdettweiler [2013-07-04 19:47:56] 669*2^1247408-1 is not prime. Res64: 5D5D1F93B6DBB6F7 Time : 0.0 sec. user=mdettweiler [2013-07-04 19:47:57] 735*2^1247408-1 is not prime. Res64: 14234007B093B387 Time : 0.0 sec. user=mdettweiler [2013-07-04 20:04:58] 825*2^1247408-1 is not prime. Res64: 5DC41F9220B33621 Time : 0.0 sec. user=mdettweiler [2013-07-04 20:05:00] 855*2^1247408-1 is not prime. Res64: 95CBB8AE65F92A7A Time : 0.0 sec. user=mdettweiler [2013-07-04 20:22:54] 935*2^1247408-1 is not prime. Res64: E0D9F94451C34945 Time : 0.0 sec. user=mdettweiler [2013-07-04 20:22:55] 969*2^1247408-1 is not prime. Res64: EBD6B8B7DB667C36 Time : 0.0 sec. user=mdettweiler [2013-07-04 20:40:45] 999*2^1247408-1 is not prime. Res64: 6E5340804BB52D57 Time : 0.0 sec. user=mdettweiler [2013-07-04 20:40:45] 675*2^1247409-1 is not prime. Res64: 7928AA25EBE3157A Time : 0.0 sec. user=mdettweiler [2013-07-04 20:57:48] 711*2^1247409-1 is not prime. Res64: FAA1D65E3DDC58B7 Time : 0.0 sec. user=mdettweiler [2013-07-04 20:57:48] 891*2^1247409-1 is not prime. Res64: EF5213CB43FCFE15 Time : 0.0 sec. user=mdettweiler [2013-07-04 21:14:51] 951*2^1247409-1 is not prime. Res64: CC2015BE261C865A Time : 0.0 sec. user=mdettweiler [2013-07-04 21:14:52] 785*2^1247410-1 is not prime. Res64: D4D1881E77E35ABD Time : 0.0 sec. user=mdettweiler [2013-07-04 21:31:55] 791*2^1247410-1 is not prime. Res64: 6F7799A75E20CA07 Time : 0.0 sec. user=mdettweiler [2013-07-04 21:31:56] 843*2^1247410-1 is not prime. Res64: 399103F1E3599283 Time : 0.0 sec. user=mdettweiler [2013-07-04 21:48:57] 911*2^1247410-1 is not prime. Res64: 53CC0B046923FFC3 Time : 0.0 sec. user=mdettweiler [2013-07-04 21:48:58] 621*2^1247411-1 is not prime. Res64: 2F95B67FDD6384C0 Time : 0.0 sec. user=mdettweiler [2013-07-04 22:06:00] 651*2^1247411-1 is not prime. Res64: 2DA3FB8745C4489D Time : 0.0 sec. user=mdettweiler [2013-07-04 22:06:01] 703*2^1247411-1 is not prime. Res64: 8DBB199B6DE4F72D Time : 0.0 sec. user=mdettweiler [2013-07-04 22:23:07] 711*2^1247411-1 is not prime. Res64: 496AB72D8C3C87AE Time : 0.0 sec. user=mdettweiler [2013-07-04 22:23:08] 759*2^1247411-1 is not prime. Res64: 84A989C4F653375B Time : 0.0 sec. user=mdettweiler [2013-07-04 22:40:10] 819*2^1247411-1 is not prime. Res64: FE14CA241EE2C3F3 Time : 0.0 sec. user=mdettweiler [2013-07-04 22:40:11] 955*2^1247411-1 is not prime. Res64: 6B17DB2D762C88E9 Time : 0.0 sec. user=mdettweiler [2013-07-04 22:58:49] 973*2^1247411-1 is not prime. Res64: 08539C4D1A5455F1 Time : 0.0 sec. user=mdettweiler [2013-07-04 22:58:49] 991*2^1247411-1 is not prime. Res64: 83FD8EDFDBAE26F8 Time : 0.0 sec. user=mdettweiler [2013-07-04 23:15:51] 627*2^1247412-1 is not prime. Res64: 4E1EA90FCBBBF961 Time : 0.0 sec. user=mdettweiler [2013-07-04 23:15:52] 693*2^1247412-1 is not prime. Res64: A3CC3CE53AC6D292 Time : 0.0 sec. user=mdettweiler [2013-07-04 23:32:56] 879*2^1247412-1 is not prime. Res64: 8D450746DBC3201C Time : 0.0 sec. user=mdettweiler [2013-07-04 23:32:57] 699*2^1247413-1 is not prime. Res64: 6DF21F51DE703AA4 Time : 0.0 sec. user=mdettweiler [2013-07-04 23:49:59] 889*2^1247413-1 is not prime. Res64: B15DE6D4C04D2DEC Time : 0.0 sec. user=mdettweiler [2013-07-04 23:49:59] 895*2^1247413-1 is not prime. Res64: 2056533E61F04996 Time : 0.0 sec.