user=mdettweiler [2012-12-31 00:05:44] 631*2^1238357-1 is not prime. Res64: B2A69FA32B1D603A Time : 0.0 sec. user=mdettweiler [2012-12-31 00:05:45] 691*2^1238357-1 is not prime. Res64: B4F19A2789C0FBC4 Time : 0.0 sec. user=mdettweiler [2012-12-31 00:06:00] 805*2^1238357-1 is not prime. Res64: E0BB1DAC9BC37BD3 Time : 0.0 sec. user=mdettweiler [2012-12-31 00:06:01] 955*2^1238357-1 is not prime. Res64: 91BFE9E7F39E9916 Time : 0.0 sec. user=mdettweiler [2012-12-31 00:23:15] 635*2^1238358-1 is not prime. Res64: DA7EB2B1FD77B9D1 Time : 0.0 sec. user=mdettweiler [2012-12-31 00:23:16] 707*2^1238358-1 is not prime. Res64: 6127A5F62E43D3AE Time : 0.0 sec. user=mdettweiler [2012-12-31 00:23:24] 755*2^1238358-1 is not prime. Res64: 02E357F11DA8C5A4 Time : 0.0 sec. user=mdettweiler [2012-12-31 00:23:24] 777*2^1238358-1 is not prime. Res64: AA7D03F6E61D8333 Time : 0.0 sec. user=vaughan [2012-12-31 00:28:42] 611*2^1238358-1 is not prime. Res64: 0D033C4BF22479D3 Time : 0.0 sec. user=mdettweiler [2012-12-31 00:40:43] 825*2^1238358-1 is not prime. Res64: 4A52E9FA0DD68C75 Time : 0.0 sec. user=mdettweiler [2012-12-31 00:40:44] 893*2^1238358-1 is not prime. Res64: 1A81F2AA29ED1921 Time : 0.0 sec. user=mdettweiler [2012-12-31 00:40:47] 923*2^1238358-1 is not prime. Res64: A898CF46C21022D7 Time : 0.0 sec. user=mdettweiler [2012-12-31 00:40:48] 951*2^1238358-1 is not prime. Res64: 989F2503F30B6CEA Time : 0.0 sec. user=mdettweiler [2012-12-31 00:58:05] 853*2^1238359-1 is not prime. Res64: 34789D81DF40124D Time : 0.0 sec. user=mdettweiler [2012-12-31 00:58:06] 859*2^1238359-1 is not prime. Res64: 8AA3FD4961C587B4 Time : 0.0 sec. user=mdettweiler [2012-12-31 00:58:09] 919*2^1238359-1 is not prime. Res64: 9F009AC3A542AEB6 Time : 0.0 sec. user=mdettweiler [2012-12-31 00:58:10] 603*2^1238360-1 is not prime. Res64: E4FF99B41F87AE96 Time : 0.0 sec. user=vaughan [2012-12-31 01:06:32] 971*2^1238358-1 is not prime. Res64: B580F80D9B2061F8 Time : 0.0 sec. user=mdettweiler [2012-12-31 01:15:28] 633*2^1238360-1 is not prime. Res64: 592AF0EB68BE2982 Time : 0.0 sec. user=mdettweiler [2012-12-31 01:15:29] 759*2^1238360-1 is not prime. Res64: 3CD37EF03493DF82 Time : 0.0 sec. user=mdettweiler [2012-12-31 01:15:31] 827*2^1238360-1 is not prime. Res64: A6296EE02FB97251 Time : 0.0 sec. user=mdettweiler [2012-12-31 01:15:32] 963*2^1238360-1 is not prime. Res64: 41D0F989F099A2FE Time : 0.0 sec. user=mdettweiler [2012-12-31 01:32:51] 685*2^1238361-1 is not prime. Res64: EBE92A40D3427555 Time : 0.0 sec. user=mdettweiler [2012-12-31 01:32:51] 781*2^1238361-1 is not prime. Res64: E8AFBEB6F7A4554D Time : 0.0 sec. user=mdettweiler [2012-12-31 01:32:54] 835*2^1238361-1 is not prime. Res64: 9072FCE6D7149F7B Time : 0.0 sec. user=mdettweiler [2012-12-31 01:32:54] 837*2^1238361-1 is not prime. Res64: A22CB8FDD59F0852 Time : 0.0 sec. user=vaughan [2012-12-31 01:44:24] 669*2^1238361-1 is not prime. Res64: 284032AD160D1AB0 Time : 0.0 sec. user=mdettweiler [2012-12-31 01:50:12] 955*2^1238361-1 is not prime. Res64: 36BDA5FDA008F48C Time : 0.0 sec. user=mdettweiler [2012-12-31 01:50:13] 991*2^1238361-1 is not prime. Res64: 8D3FF296C1DC3817 Time : 0.0 sec. user=mdettweiler [2012-12-31 01:50:18] 997*2^1238361-1 is not prime. Res64: C8F93C36E7595A8A Time : 0.0 sec. user=mdettweiler [2012-12-31 01:50:19] 603*2^1238362-1 is not prime. Res64: EEE2E97A68521A8B Time : 0.0 sec. user=mdettweiler [2012-12-31 02:07:35] 705*2^1238362-1 is not prime. Res64: 15EE59D678993602 Time : 0.0 sec. user=mdettweiler [2012-12-31 02:07:36] 723*2^1238362-1 is not prime. Res64: 681723EC0D0C85A9 Time : 0.0 sec. user=mdettweiler [2012-12-31 02:07:40] 741*2^1238362-1 is not prime. Res64: EBEF24D1547E1BF8 Time : 0.0 sec. user=mdettweiler [2012-12-31 02:07:42] 813*2^1238362-1 is not prime. Res64: 7426F75D7148F59E Time : 0.0 sec. user=vaughan [2012-12-31 02:22:12] 617*2^1238362-1 is not prime. Res64: 31EBEEA44E992EF1 Time : 0.0 sec. user=mdettweiler [2012-12-31 02:25:10] 831*2^1238362-1 is not prime. Res64: 77D93D04909B048D Time : 0.0 sec. user=mdettweiler [2012-12-31 02:25:11] 603*2^1238363-1 is not prime. Res64: B0BEAC60CCF10670 Time : 0.0 sec. user=mdettweiler [2012-12-31 02:25:13] 643*2^1238363-1 is not prime. Res64: FEEBF5CBD5655B59 Time : 0.0 sec. user=mdettweiler [2012-12-31 02:25:14] 679*2^1238363-1 is not prime. Res64: 510DCB22EF4B3E12 Time : 0.0 sec. user=mdettweiler [2012-12-31 02:42:34] 949*2^1238363-1 is not prime. Res64: C2BF4056617B8CA0 Time : 0.0 sec. user=mdettweiler [2012-12-31 02:42:37] 963*2^1238363-1 is not prime. Res64: CC4532D037EB6F8F Time : 0.0 sec. user=mdettweiler [2012-12-31 02:42:38] 985*2^1238363-1 is not prime. Res64: 00EA80B1F7233AB4 Time : 0.0 sec. user=mdettweiler [2012-12-31 02:42:39] 991*2^1238363-1 is not prime. Res64: F0F94CBBA32D2311 Time : 0.0 sec. user=vaughan [2012-12-31 03:00:02] 775*2^1238363-1 is not prime. Res64: 1EFF10A864AF97D5 Time : 0.0 sec. user=mdettweiler [2012-12-31 03:00:06] 693*2^1238364-1 is not prime. Res64: 2AFE51B4D106931C Time : 0.0 sec. user=mdettweiler [2012-12-31 03:00:07] 725*2^1238364-1 is not prime. Res64: A48E781B87CCACD7 Time : 0.0 sec. user=mdettweiler [2012-12-31 03:00:09] 749*2^1238364-1 is not prime. Res64: 68EDAB8450F81B64 Time : 0.0 sec. user=mdettweiler [2012-12-31 03:00:11] 767*2^1238364-1 is not prime. Res64: 2F08B85EC9563A41 Time : 0.0 sec. user=mdettweiler [2012-12-31 03:17:44] 699*2^1238365-1 is not prime. Res64: B780984423714812 Time : 0.0 sec. user=mdettweiler [2012-12-31 03:17:45] 825*2^1238365-1 is not prime. Res64: 8FD2ECCFF0246E87 Time : 0.0 sec. user=mdettweiler [2012-12-31 03:17:53] 717*2^1238366-1 is not prime. Res64: D45218CC7B661A92 Time : 0.0 sec. user=mdettweiler [2012-12-31 03:17:53] 761*2^1238366-1 is not prime. Res64: 631FD26D467D1758 Time : 0.0 sec. user=mdettweiler [2012-12-31 03:35:06] 827*2^1238366-1 is not prime. Res64: F0B85586565F8950 Time : 0.0 sec. user=mdettweiler [2012-12-31 03:35:12] 861*2^1238366-1 is not prime. Res64: 0B1FDAACEFD860DD Time : 0.0 sec. user=mdettweiler [2012-12-31 03:35:15] 875*2^1238366-1 is not prime. Res64: 681CBAEB60C5B7E0 Time : 0.0 sec. user=mdettweiler [2012-12-31 03:35:22] 897*2^1238366-1 is not prime. Res64: 79DF1847603C28C6 Time : 0.0 sec. user=vaughan [2012-12-31 03:38:18] 855*2^1238365-1 is not prime. Res64: F8A1C5FCEA4C5873 Time : 0.0 sec. user=mdettweiler [2012-12-31 03:53:02] 923*2^1238366-1 is not prime. Res64: 2B4133E3F1EA6F84 Time : 0.0 sec. user=mdettweiler [2012-12-31 03:53:02] 981*2^1238366-1 is not prime. Res64: B54E9858CDD7130A Time : 0.0 sec. user=mdettweiler [2012-12-31 03:53:07] 983*2^1238366-1 is not prime. Res64: 5BE54D9D060D8DF9 Time : 0.0 sec. user=mdettweiler [2012-12-31 03:53:08] 685*2^1238367-1 is not prime. Res64: 2A8ABA3403276611 Time : 0.0 sec. user=mdettweiler [2012-12-31 04:10:23] 781*2^1238367-1 is not prime. Res64: 3F3AF31B903F6F45 Time : 0.0 sec. user=mdettweiler [2012-12-31 04:10:24] 879*2^1238367-1 is not prime. Res64: 300678521EA758D8 Time : 0.0 sec. user=mdettweiler [2012-12-31 04:10:26] 603*2^1238368-1 is not prime. Res64: E08DDE821882C525 Time : 0.0 sec. user=mdettweiler [2012-12-31 04:10:27] 657*2^1238368-1 is not prime. Res64: C159182F04F95640 Time : 0.0 sec. user=vaughan [2012-12-31 04:16:10] 765*2^1238367-1 is not prime. Res64: EEE05C74222D7F14 Time : 0.0 sec. user=mdettweiler [2012-12-31 04:27:44] 677*2^1238368-1 is not prime. Res64: 39DDA0129CAEC21F Time : 0.0 sec. user=mdettweiler [2012-12-31 04:27:46] 699*2^1238368-1 is not prime. Res64: 99653996743F0635 Time : 0.0 sec. user=mdettweiler [2012-12-31 04:27:48] 843*2^1238368-1 is not prime. Res64: 883912757711A7DB Time : 0.0 sec. user=mdettweiler [2012-12-31 04:27:51] 855*2^1238368-1 is not prime. Res64: 9311E20579E9A20F Time : 0.0 sec. user=mdettweiler [2012-12-31 04:45:19] 945*2^1238369-1 is not prime. Res64: 448270F9809D5DCE Time : 0.0 sec. user=mdettweiler [2012-12-31 04:45:19] 979*2^1238369-1 is not prime. Res64: BF46A0FEAA61FE76 Time : 0.0 sec. user=mdettweiler [2012-12-31 04:45:20] 635*2^1238370-1 is not prime. Res64: 55AF1686CBFDFFA2 Time : 0.0 sec. user=mdettweiler [2012-12-31 04:45:21] 681*2^1238370-1 is not prime. Res64: B882DFE169810170 Time : 0.0 sec. user=vaughan [2012-12-31 04:54:01] 675*2^1238369-1 is not prime. Res64: B33FA9FFBD98CF58 Time : 0.0 sec. user=mdettweiler [2012-12-31 05:02:40] 783*2^1238370-1 is not prime. Res64: C1358D97DEB7C8C4 Time : 0.0 sec. user=mdettweiler [2012-12-31 05:02:41] 851*2^1238370-1 is not prime. Res64: B0DBAC7BEAA97C13 Time : 0.0 sec. user=mdettweiler [2012-12-31 05:02:41] 875*2^1238370-1 is not prime. Res64: 6F8596EA810DC8F3 Time : 0.0 sec. user=mdettweiler [2012-12-31 05:02:42] 917*2^1238370-1 is not prime. Res64: 188E13977AABE1CE Time : 0.0 sec. user=mdettweiler [2012-12-31 05:20:06] 615*2^1238371-1 is not prime. Res64: F976CEF6DF911A28 Time : 0.0 sec. user=mdettweiler [2012-12-31 05:20:07] 625*2^1238371-1 is not prime. Res64: 02716F54D83E3AEE Time : 0.0 sec. user=mdettweiler [2012-12-31 05:20:09] 723*2^1238371-1 is not prime. Res64: 1C5BCF5BCDCDF104 Time : 0.0 sec. user=mdettweiler [2012-12-31 05:20:10] 783*2^1238371-1 is not prime. Res64: 4B296D83464EA526 Time : 0.0 sec. user=vaughan [2012-12-31 05:31:46] 945*2^1238370-1 is not prime. Res64: F0B7D68A34EEBBAC Time : 0.0 sec. user=mdettweiler [2012-12-31 05:37:26] 859*2^1238371-1 is not prime. Res64: EF1BBEA41A5AEC45 Time : 0.0 sec. user=mdettweiler [2012-12-31 05:37:27] 901*2^1238371-1 is not prime. Res64: 269409B3924CD769 Time : 0.0 sec. user=mdettweiler [2012-12-31 05:37:28] 939*2^1238371-1 is not prime. Res64: 9F040D12F8C91C7E Time : 0.0 sec. user=mdettweiler [2012-12-31 05:37:29] 951*2^1238371-1 is not prime. Res64: 9AE58AB56B1257B1 Time : 0.0 sec. user=mdettweiler [2012-12-31 05:54:47] 605*2^1238372-1 is not prime. Res64: DA61EA7EDCA9E06E Time : 0.0 sec. user=mdettweiler [2012-12-31 05:54:47] 825*2^1238372-1 is not prime. Res64: 8AC09B0071B40B44 Time : 0.0 sec. user=mdettweiler [2012-12-31 05:54:48] 893*2^1238372-1 is not prime. Res64: 7F341202F7FFEEA4 Time : 0.0 sec. user=mdettweiler [2012-12-31 05:54:49] 959*2^1238372-1 is not prime. Res64: E599D1D628403CAB Time : 0.0 sec. user=vaughan [2012-12-31 06:09:33] 975*2^1238371-1 is not prime. Res64: 56669F1D6473F66C Time : 0.0 sec. user=mdettweiler [2012-12-31 06:12:07] 625*2^1238373-1 is not prime. Res64: 24844E4A1518FE13 Time : 0.0 sec. user=mdettweiler [2012-12-31 06:12:08] 639*2^1238373-1 is not prime. Res64: B9DDFE65192F7B43 Time : 0.0 sec. user=mdettweiler [2012-12-31 06:12:09] 871*2^1238373-1 is not prime. Res64: DC900A131B188FAB Time : 0.0 sec. user=mdettweiler [2012-12-31 06:12:09] 889*2^1238373-1 is not prime. Res64: DF7FDCC481139A6C Time : 0.0 sec. user=mdettweiler [2012-12-31 06:29:27] 901*2^1238373-1 is not prime. Res64: 3D1FD9C34C5F2721 Time : 0.0 sec. user=mdettweiler [2012-12-31 06:29:28] 921*2^1238373-1 is not prime. Res64: 9E1B527669F6C170 Time : 0.0 sec. user=mdettweiler [2012-12-31 06:29:29] 783*2^1238374-1 is not prime. Res64: 262836CEA6AB8036 Time : 0.0 sec. user=mdettweiler [2012-12-31 06:29:29] 705*2^1238375-1 is not prime. Res64: 1BD355277DEEADDB Time : 0.0 sec. user=mdettweiler [2012-12-31 06:46:45] 763*2^1238375-1 is not prime. Res64: 20A947EF69B8248B Time : 0.0 sec. user=mdettweiler [2012-12-31 06:46:46] 841*2^1238375-1 is not prime. Res64: A1AD153CE7A45DC3 Time : 0.0 sec. user=mdettweiler [2012-12-31 06:46:47] 859*2^1238375-1 is not prime. Res64: 09724B976B8F0E99 Time : 0.0 sec. user=mdettweiler [2012-12-31 06:46:48] 915*2^1238375-1 is not prime. Res64: 2075154795382D87 Time : 0.0 sec. user=vaughan [2012-12-31 06:47:32] 891*2^1238373-1 is not prime. Res64: 75C914C712DDB4FA Time : 0.0 sec. user=mdettweiler [2012-12-31 07:04:04] 803*2^1238376-1 is not prime. Res64: 787DFD821662D3FE Time : 0.0 sec. user=mdettweiler [2012-12-31 07:04:05] 873*2^1238376-1 is not prime. Res64: EF273C96BA7703FE Time : 0.0 sec. user=mdettweiler [2012-12-31 07:04:07] 849*2^1238376-1 is not prime. Res64: D9BB205D02886632 Time : 0.0 sec. user=mdettweiler [2012-12-31 07:04:08] 947*2^1238376-1 is not prime. Res64: 986AF4D2904BBF08 Time : 0.0 sec. user=mdettweiler [2012-12-31 07:21:31] 747*2^1238377-1 is not prime. Res64: 158A09A69823F276 Time : 0.0 sec. user=mdettweiler [2012-12-31 07:21:32] 807*2^1238377-1 is not prime. Res64: C6D09EABAAFAFB22 Time : 0.0 sec. user=mdettweiler [2012-12-31 07:21:32] 955*2^1238377-1 is not prime. Res64: 937B80DA5CBABD36 Time : 0.0 sec. user=mdettweiler [2012-12-31 07:21:32] 975*2^1238377-1 is not prime. Res64: 76F718AC834FD735 Time : 0.0 sec. user=vaughan [2012-12-31 07:25:21] 975*2^1238376-1 is not prime. Res64: DD99D4668098B04B Time : 0.0 sec. user=mdettweiler [2012-12-31 07:38:51] 985*2^1238377-1 is not prime. Res64: 3D746E3E679D8732 Time : 0.0 sec. user=mdettweiler [2012-12-31 07:38:51] 641*2^1238378-1 is not prime. Res64: E2A39438E01F64F4 Time : 0.0 sec. user=mdettweiler [2012-12-31 07:38:52] 603*2^1238378-1 is not prime. Res64: 6976C93C8CC69169 Time : 0.0 sec. user=mdettweiler [2012-12-31 07:38:52] 705*2^1238378-1 is not prime. Res64: 2C79F7ACB95254C3 Time : 0.0 sec. user=mdettweiler [2012-12-31 07:56:09] 831*2^1238378-1 is not prime. Res64: BB0BC9852426BF8A Time : 0.0 sec. user=mdettweiler [2012-12-31 07:56:10] 857*2^1238378-1 is not prime. Res64: 2F0D4418D5C7C3C7 Time : 0.0 sec. user=mdettweiler [2012-12-31 07:56:11] 867*2^1238378-1 is not prime. Res64: CB00E0752DD34A99 Time : 0.0 sec. user=mdettweiler [2012-12-31 07:56:11] 615*2^1238379-1 is not prime. Res64: 34F318FD166AC157 Time : 0.0 sec. user=vaughan [2012-12-31 08:03:06] 767*2^1238378-1 is not prime. Res64: 3CF701198DE8EF10 Time : 0.0 sec. user=mdettweiler [2012-12-31 08:13:28] 639*2^1238379-1 is not prime. Res64: D16A4C57643FFE8B Time : 0.0 sec. user=mdettweiler [2012-12-31 08:13:28] 675*2^1238379-1 is not prime. Res64: AD244D5FDDF6B9D8 Time : 0.0 sec. user=mdettweiler [2012-12-31 08:13:33] 721*2^1238379-1 is not prime. Res64: DB95A2DCBF44218F Time : 0.0 sec. user=mdettweiler [2012-12-31 08:13:33] 801*2^1238379-1 is not prime. Res64: A6864297E2DDECB1 Time : 0.0 sec. user=mdettweiler [2012-12-31 08:30:48] 891*2^1238379-1 is not prime. Res64: 83B336A5336535DE Time : 0.0 sec. user=mdettweiler [2012-12-31 08:30:49] 623*2^1238380-1 is not prime. Res64: AD628114781953B5 Time : 0.0 sec. user=mdettweiler [2012-12-31 08:30:51] 635*2^1238380-1 is not prime. Res64: D5FDF164A08D9359 Time : 0.0 sec. user=mdettweiler [2012-12-31 08:30:52] 665*2^1238380-1 is not prime. Res64: 1FAF7DB75D0A4084 Time : 0.0 sec. user=vaughan [2012-12-31 08:40:55] 835*2^1238379-1 is not prime. Res64: 5C640AC2089C9BD7 Time : 0.0 sec. user=mdettweiler [2012-12-31 08:48:08] 677*2^1238380-1 is not prime. Res64: ACC6A57B9AAD2A04 Time : 0.0 sec. user=mdettweiler [2012-12-31 08:48:09] 777*2^1238380-1 is not prime. Res64: 70CC8675CA760B80 Time : 0.0 sec. user=mdettweiler [2012-12-31 08:48:10] 887*2^1238380-1 is not prime. Res64: 44D603289D298EA7 Time : 0.0 sec. user=mdettweiler [2012-12-31 08:48:11] 999*2^1238380-1 is not prime. Res64: E80E95F46A1ED16E Time : 0.0 sec. user=mdettweiler [2012-12-31 09:05:27] 657*2^1238381-1 is not prime. Res64: 0654EBBE025DF178 Time : 0.0 sec. user=mdettweiler [2012-12-31 09:05:29] 669*2^1238381-1 is not prime. Res64: 70C5C949BEE8C69C Time : 0.0 sec. user=mdettweiler [2012-12-31 09:05:30] 711*2^1238381-1 is not prime. Res64: F839EE9E3BD2005E Time : 0.0 sec. user=mdettweiler [2012-12-31 09:05:32] 741*2^1238381-1 is not prime. Res64: DC8270466C02F41E Time : 0.0 sec. user=vaughan [2012-12-31 09:18:44] 619*2^1238381-1 is not prime. Res64: F94649B1D43D4582 Time : 0.0 sec. user=mdettweiler [2012-12-31 09:23:10] 795*2^1238381-1 is not prime. Res64: 45DC80C2F1076B64 Time : 0.0 sec. user=mdettweiler [2012-12-31 09:23:10] 801*2^1238381-1 is not prime. Res64: 0A05E4AB6AD30FB5 Time : 0.0 sec. user=mdettweiler [2012-12-31 09:23:14] 837*2^1238381-1 is not prime. Res64: 6281DF5D743D85DC Time : 0.0 sec. user=mdettweiler [2012-12-31 09:23:14] 885*2^1238381-1 is not prime. Res64: F6D60489C15C4EC0 Time : 0.0 sec. user=mdettweiler [2012-12-31 09:40:28] 945*2^1238381-1 is not prime. Res64: 8ADAB7DEF8B24495 Time : 0.0 sec. user=mdettweiler [2012-12-31 09:40:29] 651*2^1238382-1 is not prime. Res64: 85F9665D7A41A792 Time : 0.0 sec. user=mdettweiler [2012-12-31 09:40:31] 717*2^1238382-1 is not prime. Res64: 64C708668380DA5B Time : 0.0 sec. user=mdettweiler [2012-12-31 09:40:32] 797*2^1238382-1 is not prime. Res64: 0DB7B43D70ADCBA1 Time : 0.0 sec. user=vaughan [2012-12-31 09:56:33] 937*2^1238381-1 is not prime. Res64: 18BBDBBCF04B8837 Time : 0.0 sec. user=mdettweiler [2012-12-31 09:57:49] 863*2^1238382-1 is not prime. Res64: FC201B7ECB531CC2 Time : 0.0 sec. user=mdettweiler [2012-12-31 09:57:49] 945*2^1238382-1 is not prime. Res64: 26CA8BFB38891112 Time : 0.0 sec. user=mdettweiler [2012-12-31 09:57:50] 965*2^1238382-1 is not prime. Res64: FCA49AFF1E463842 Time : 0.0 sec. user=mdettweiler [2012-12-31 09:57:50] 983*2^1238382-1 is not prime. Res64: 77EA12E6899781E3 Time : 0.0 sec. user=mdettweiler [2012-12-31 10:15:06] 871*2^1238383-1 is not prime. Res64: 095A28D6E611AF6C Time : 0.0 sec. user=mdettweiler [2012-12-31 10:15:06] 895*2^1238383-1 is not prime. Res64: 4E08AA1F9411712F Time : 0.0 sec. user=mdettweiler [2012-12-31 10:15:07] 945*2^1238383-1 is not prime. Res64: A596EF4FC3910054 Time : 0.0 sec. user=mdettweiler [2012-12-31 10:15:07] 617*2^1238384-1 is not prime. Res64: B1CACFB61A8CCFED Time : 0.0 sec. user=mdettweiler [2012-12-31 10:32:26] 923*2^1238384-1 is not prime. Res64: 6A8D69DDD2710398 Time : 0.0 sec. user=mdettweiler [2012-12-31 10:32:26] 623*2^1238384-1 is not prime. Res64: 1D6F1988CC96423E Time : 0.0 sec. user=mdettweiler [2012-12-31 10:32:26] 629*2^1238384-1 is not prime. Res64: 2015C7464CFF8930 Time : 0.0 sec. user=mdettweiler [2012-12-31 10:32:27] 983*2^1238384-1 is not prime. Res64: 26716A6D6AD61346 Time : 0.0 sec. user=vaughan [2012-12-31 10:34:19] 723*2^1238383-1 is not prime. Res64: 592137C594626D7E Time : 0.0 sec. user=mdettweiler [2012-12-31 10:49:44] 607*2^1238385-1 is not prime. Res64: BCADFCAD90D47008 Time : 0.0 sec. user=mdettweiler [2012-12-31 10:49:45] 669*2^1238385-1 is not prime. Res64: 4D9A3764F308EE2A Time : 0.0 sec. user=mdettweiler [2012-12-31 10:49:45] 691*2^1238385-1 is not prime. Res64: D662303F0F29C70F Time : 0.0 sec. user=mdettweiler [2012-12-31 10:49:46] 811*2^1238385-1 is not prime. Res64: AE827C62F526189A Time : 0.0 sec. user=mdettweiler [2012-12-31 11:07:02] 889*2^1238385-1 is not prime. Res64: 532E1BB16E2669D5 Time : 0.0 sec. user=mdettweiler [2012-12-31 11:07:03] 949*2^1238385-1 is not prime. Res64: 3B33047F001128BC Time : 0.0 sec. user=mdettweiler [2012-12-31 11:07:03] 951*2^1238385-1 is not prime. Res64: 72EA6E65856C8A84 Time : 0.0 sec. user=mdettweiler [2012-12-31 11:07:04] 975*2^1238385-1 is not prime. Res64: 070C3CF9AD58C5A0 Time : 0.0 sec. user=vaughan [2012-12-31 11:12:06] 871*2^1238385-1 is not prime. Res64: E23DAD7E75C3B4A3 Time : 0.0 sec. user=mdettweiler [2012-12-31 11:24:34] 675*2^1238386-1 is not prime. Res64: 86B0232C109B217D Time : 0.0 sec. user=mdettweiler [2012-12-31 11:24:34] 741*2^1238386-1 is not prime. Res64: F1A03A7211436E6D Time : 0.0 sec. user=mdettweiler [2012-12-31 11:24:34] 737*2^1238386-1 is not prime. Res64: 7AAAADEC8AE0C229 Time : 0.0 sec. user=mdettweiler [2012-12-31 11:24:35] 855*2^1238386-1 is not prime. Res64: 73C66B8BCAE71A9D Time : 0.0 sec. user=mdettweiler [2012-12-31 11:42:06] 645*2^1238387-1 is not prime. Res64: 6437A6EEF01FE125 Time : 0.0 sec. user=mdettweiler [2012-12-31 11:42:07] 703*2^1238387-1 is not prime. Res64: 150D6CA3B6709199 Time : 0.0 sec. user=mdettweiler [2012-12-31 11:42:14] 917*2^1238386-1 is not prime. Res64: 3C94204339AF203A Time : 0.0 sec. user=mdettweiler [2012-12-31 11:42:15] 941*2^1238386-1 is not prime. Res64: 4D7849A4E0AE7D7C Time : 0.0 sec. user=vaughan [2012-12-31 11:49:52] 867*2^1238386-1 is not prime. Res64: AAF3E2B38B1911F7 Time : 0.0 sec. user=mdettweiler [2012-12-31 11:59:42] 705*2^1238387-1 is not prime. Res64: 96DDC94E3F1732AF Time : 0.0 sec. user=mdettweiler [2012-12-31 11:59:42] 735*2^1238387-1 is not prime. Res64: ABE178F00DA3D872 Time : 0.0 sec. user=mdettweiler [2012-12-31 11:59:50] 689*2^1238388-1 is not prime. Res64: C29AE07C3E90DB7F Time : 0.0 sec. user=mdettweiler [2012-12-31 11:59:50] 749*2^1238388-1 is not prime. Res64: 034BA7451410064C Time : 0.0 sec. user=mdettweiler [2012-12-31 12:17:15] 887*2^1238388-1 is not prime. Res64: CA83368AF31216AB Time : 0.0 sec. user=mdettweiler [2012-12-31 12:17:15] 975*2^1238388-1 is not prime. Res64: 03155CD50E6353E3 Time : 0.0 sec. user=mdettweiler [2012-12-31 12:17:22] 675*2^1238389-1 is not prime. Res64: 2FE8C3FC179D6060 Time : 0.0 sec. user=mdettweiler [2012-12-31 12:17:22] 685*2^1238389-1 is not prime. Res64: F20A889B5A6B357E Time : 0.0 sec. user=vaughan [2012-12-31 12:27:40] 837*2^1238388-1 is not prime. Res64: 829A69FF512EB205 Time : 0.0 sec. user=mdettweiler [2012-12-31 12:34:46] 819*2^1238389-1 is not prime. Res64: 9E45A7C842D2E95A Time : 0.0 sec. user=mdettweiler [2012-12-31 12:34:46] 829*2^1238389-1 is not prime. Res64: CE64F9186864DB8D Time : 0.0 sec. user=mdettweiler [2012-12-31 12:34:51] 955*2^1238389-1 is not prime. Res64: 44644BE1B36EB3D0 Time : 0.0 sec. user=mdettweiler [2012-12-31 12:34:51] 603*2^1238390-1 is not prime. Res64: 8ED0C0DAFEC98595 Time : 0.0 sec. user=mdettweiler [2012-12-31 12:52:12] 665*2^1238390-1 is not prime. Res64: FAC3AA4162F126F9 Time : 0.0 sec. user=mdettweiler [2012-12-31 12:52:12] 743*2^1238390-1 is not prime. Res64: F4DA596071232FEE Time : 0.0 sec. user=mdettweiler [2012-12-31 12:52:18] 755*2^1238390-1 is not prime. Res64: B39F186BFC35E560 Time : 0.0 sec. user=mdettweiler [2012-12-31 12:52:18] 797*2^1238390-1 is not prime. Res64: BBEAB55A8466A6B0 Time : 0.0 sec. user=vaughan [2012-12-31 13:05:27] 627*2^1238390-1 is not prime. Res64: 6EA042D87CCE404D Time : 0.0 sec. user=mdettweiler [2012-12-31 13:09:59] 885*2^1238390-1 is not prime. Res64: 62BF8F452DCF5849 Time : 0.0 sec. user=mdettweiler [2012-12-31 13:10:00] 965*2^1238390-1 is not prime. Res64: E886F961E0A05A58 Time : 0.0 sec. user=mdettweiler [2012-12-31 13:10:07] 703*2^1238391-1 is not prime. Res64: C334E7CCC40254C4 Time : 0.0 sec. user=mdettweiler [2012-12-31 13:10:08] 751*2^1238391-1 is not prime. Res64: 525FA2D1BE7280E0 Time : 0.0 sec. user=mdettweiler [2012-12-31 13:27:30] 895*2^1238391-1 is not prime. Res64: 2B06BB5D2BE4FA45 Time : 0.0 sec. user=mdettweiler [2012-12-31 13:27:30] 951*2^1238391-1 is not prime. Res64: 8501E1E49F005119 Time : 0.0 sec. user=mdettweiler [2012-12-31 13:27:37] 975*2^1238391-1 is not prime. Res64: 3EDD23AFC13F19C3 Time : 0.0 sec. user=mdettweiler [2012-12-31 13:27:38] 653*2^1238392-1 is not prime. Res64: CED01F5A0E057E06 Time : 0.0 sec. user=vaughan [2012-12-31 13:43:16] 885*2^1238391-1 is not prime. Res64: 1AE03EE4B2BDBFD4 Time : 0.0 sec. user=mdettweiler [2012-12-31 13:44:55] 677*2^1238392-1 is not prime. Res64: 13991AEACBA2F7EC Time : 0.0 sec. user=mdettweiler [2012-12-31 13:44:55] 759*2^1238392-1 is not prime. Res64: C3233A72B663E3C4 Time : 0.0 sec. user=mdettweiler [2012-12-31 13:45:02] 819*2^1238392-1 is not prime. Res64: 958C4675DC49C0CA Time : 0.0 sec. user=mdettweiler [2012-12-31 13:45:02] 825*2^1238392-1 is not prime. Res64: 530DF35678B870E5 Time : 0.0 sec. user=mdettweiler [2012-12-31 14:02:20] 875*2^1238392-1 is not prime. Res64: CA041B83E48174FF Time : 0.0 sec. user=mdettweiler [2012-12-31 14:02:21] 989*2^1238392-1 is not prime. Res64: 20E666693410FF6C Time : 0.0 sec. user=mdettweiler [2012-12-31 14:02:25] 615*2^1238393-1 is not prime. Res64: E86C3F6AAE04E46E Time : 0.0 sec. user=mdettweiler [2012-12-31 14:02:26] 631*2^1238393-1 is not prime. Res64: 8672548FD177308F Time : 0.0 sec. user=mdettweiler [2012-12-31 14:20:16] 745*2^1238393-1 is not prime. Res64: A5979F7133B51E22 Time : 0.0 sec. user=mdettweiler [2012-12-31 14:20:16] 669*2^1238393-1 is not prime. Res64: EA60D5D78F066546 Time : 0.0 sec. user=mdettweiler [2012-12-31 14:20:16] 685*2^1238393-1 is not prime. Res64: 7C17FDB3317F69BF Time : 0.0 sec. user=mdettweiler [2012-12-31 14:20:17] 819*2^1238393-1 is not prime. Res64: 56BC461669978D97 Time : 0.0 sec. user=vaughan [2012-12-31 14:21:05] 827*2^1238392-1 is not prime. Res64: C3F152B880748C60 Time : 0.0 sec. user=mdettweiler [2012-12-31 14:38:04] 829*2^1238393-1 is not prime. Res64: EDA60A9DD4A3F2D8 Time : 0.0 sec. user=mdettweiler [2012-12-31 14:38:04] 861*2^1238393-1 is not prime. Res64: CC282EDE026FFF13 Time : 0.0 sec. user=mdettweiler [2012-12-31 14:38:04] 937*2^1238393-1 is not prime. Res64: 2B5A71A9BCBD74CD Time : 0.0 sec. user=mdettweiler [2012-12-31 14:38:05] 969*2^1238393-1 is not prime. Res64: 54406F8F05FFB83A Time : 0.0 sec. user=mdettweiler [2012-12-31 14:55:51] 663*2^1238394-1 is not prime. Res64: D27F179AA0227E19 Time : 0.0 sec. user=mdettweiler [2012-12-31 14:55:52] 773*2^1238394-1 is not prime. Res64: D4CB312486970576 Time : 0.0 sec. user=mdettweiler [2012-12-31 14:55:52] 783*2^1238394-1 is not prime. Res64: 29194A0DA2D849BD Time : 0.0 sec. user=mdettweiler [2012-12-31 14:55:52] 861*2^1238394-1 is not prime. Res64: 39CF0307BB9F8761 Time : 0.0 sec. user=vaughan [2012-12-31 14:58:51] 605*2^1238394-1 is not prime. Res64: B2EC6DEBED4D1AB3 Time : 0.0 sec. user=juhehe [2012-12-31 15:10:21] 627*2^1238394-1 is not prime. Res64: 4E4BCD8A5C94C08B Time : 0.0 sec. user=mdettweiler [2012-12-31 15:13:37] 875*2^1238394-1 is not prime. Res64: 6C1E5B2E3B301C61 Time : 0.0 sec. user=mdettweiler [2012-12-31 15:13:38] 921*2^1238394-1 is not prime. Res64: A2D575BE71052D3A Time : 0.0 sec. user=mdettweiler [2012-12-31 15:13:40] 945*2^1238394-1 is not prime. Res64: 4B4740DB8DAA4674 Time : 0.0 sec. user=mdettweiler [2012-12-31 15:13:40] 639*2^1238395-1 is not prime. Res64: D6ECCF754E4D6357 Time : 0.0 sec. user=mdettweiler [2012-12-31 15:31:26] 723*2^1238395-1 is not prime. Res64: DE5AB655F96E8F13 Time : 0.0 sec. user=mdettweiler [2012-12-31 15:31:26] 793*2^1238395-1 is not prime. Res64: 54A1DA3B8B7F0D8D Time : 0.0 sec. user=mdettweiler [2012-12-31 15:31:26] 843*2^1238395-1 is not prime. Res64: 961040E847162C2D Time : 0.0 sec. user=mdettweiler [2012-12-31 15:31:26] 961*2^1238395-1 is not prime. Res64: 0C1D8842B18458A6 Time : 0.0 sec. user=vaughan [2012-12-31 15:36:36] 693*2^1238395-1 is not prime. Res64: E55C4ED53906AD41 Time : 0.0 sec. user=mdettweiler [2012-12-31 15:49:12] 603*2^1238396-1 is not prime. Res64: FF625A97A589BE3F Time : 0.0 sec. user=mdettweiler [2012-12-31 15:49:12] 707*2^1238396-1 is not prime. Res64: FC05393257700FA6 Time : 0.0 sec. user=mdettweiler [2012-12-31 15:49:13] 855*2^1238396-1 is not prime. Res64: 2E3C494A579813FD Time : 0.0 sec. user=mdettweiler [2012-12-31 15:49:14] 879*2^1238396-1 is not prime. Res64: 2547CCB600D963C9 Time : 0.0 sec. user=mdettweiler [2012-12-31 16:06:59] 769*2^1238397-1 is not prime. Res64: 1444E149EB0E1BD1 Time : 0.0 sec. user=mdettweiler [2012-12-31 16:07:03] 831*2^1238397-1 is not prime. Res64: 6843B5502E2F0319 Time : 0.0 sec. user=mdettweiler [2012-12-31 16:07:06] 915*2^1238397-1 is not prime. Res64: C3087B2272BCF185 Time : 0.0 sec. user=mdettweiler [2012-12-31 16:07:09] 663*2^1238398-1 is not prime. Res64: F7D024760B763C1D Time : 0.0 sec. user=vaughan [2012-12-31 16:14:28] 927*2^1238396-1 is not prime. Res64: 6473E96DE6152CAE Time : 0.0 sec. user=mdettweiler [2012-12-31 16:25:25] 743*2^1238398-1 is not prime. Res64: D432DDAF605541FE Time : 0.0 sec. user=mdettweiler [2012-12-31 16:25:25] 777*2^1238398-1 is not prime. Res64: 9F54158F41B99D87 Time : 0.0 sec. user=mdettweiler [2012-12-31 16:25:28] 705*2^1238398-1 is not prime. Res64: 2FA8726E3D0D3E03 Time : 0.0 sec. user=mdettweiler [2012-12-31 16:25:29] 791*2^1238398-1 is not prime. Res64: 9AE3FBD249E6049C Time : 0.0 sec. user=mdettweiler [2012-12-31 16:43:12] 981*2^1238398-1 is not prime. Res64: 6D59BC538D87FE31 Time : 0.0 sec. user=mdettweiler [2012-12-31 16:43:13] 987*2^1238398-1 is not prime. Res64: 8F8AF8745B05DD22 Time : 0.0 sec. user=mdettweiler [2012-12-31 16:43:18] 615*2^1238399-1 is not prime. Res64: 95D7E234F61191FA Time : 0.0 sec. user=mdettweiler [2012-12-31 16:43:18] 619*2^1238399-1 is not prime. Res64: 8E265F92F1CBD769 Time : 0.0 sec. user=vaughan [2012-12-31 16:52:14] 815*2^1238398-1 is not prime. Res64: 2C2BC8B9CAC24E46 Time : 0.0 sec. user=mdettweiler [2012-12-31 17:01:01] 661*2^1238399-1 is not prime. Res64: CEB92D68531CCEB5 Time : 0.0 sec. user=mdettweiler [2012-12-31 17:01:02] 685*2^1238399-1 is not prime. Res64: 77DDB61A532E46B8 Time : 0.0 sec. user=mdettweiler [2012-12-31 17:01:06] 729*2^1238399-1 is not prime. Res64: FE397481E65FCB4D Time : 0.0 sec. user=mdettweiler [2012-12-31 17:01:08] 775*2^1238399-1 is not prime. Res64: 0BE72704922B7E10 Time : 0.0 sec. user=mdettweiler [2012-12-31 17:18:56] 831*2^1238399-1 is not prime. Res64: 7FE4D2F5B93B9136 Time : 0.0 sec. user=mdettweiler [2012-12-31 17:18:57] 843*2^1238399-1 is not prime. Res64: 3F84D01A784AB44E Time : 0.0 sec. user=mdettweiler [2012-12-31 17:18:59] 921*2^1238399-1 is not prime. Res64: C6262162175548D2 Time : 0.0 sec. user=mdettweiler [2012-12-31 17:18:59] 993*2^1238399-1 is not prime. Res64: 4C6364E01C4421F1 Time : 0.0 sec. user=vaughan [2012-12-31 17:30:02] 789*2^1238399-1 is not prime. Res64: ED8C471078217428 Time : 0.0 sec. user=mdettweiler [2012-12-31 17:36:23] 999*2^1238399-1 is not prime. Res64: E52BD5FE45479045 Time : 0.0 sec. user=mdettweiler [2012-12-31 17:36:24] 879*2^1238400-1 is not prime. Res64: 3A85FDF56F23B43D Time : 0.0 sec. user=mdettweiler [2012-12-31 17:36:24] 779*2^1238400-1 is not prime. Res64: 04949495E98C0E1C Time : 0.0 sec. user=mdettweiler [2012-12-31 17:36:24] 909*2^1238400-1 is not prime. Res64: 2A000CB91E5C304B Time : 0.0 sec. user=mdettweiler [2012-12-31 17:53:48] 945*2^1238400-1 is not prime. Res64: 5741B6FCF578AF63 Time : 0.0 sec. user=mdettweiler [2012-12-31 17:53:49] 639*2^1238401-1 is not prime. Res64: 661A2028045E61E4 Time : 0.0 sec. user=mdettweiler [2012-12-31 17:53:50] 649*2^1238401-1 is not prime. Res64: 4CE520F08E1287E9 Time : 0.0 sec. user=mdettweiler [2012-12-31 17:53:51] 895*2^1238401-1 is not prime. Res64: 158999157F7220E1 Time : 0.0 sec. user=vaughan [2012-12-31 18:07:54] 927*2^1238400-1 is not prime. Res64: A10919F6E9A8488B Time : 0.0 sec. user=mdettweiler [2012-12-31 18:11:16] 987*2^1238401-1 is not prime. Res64: 16646AFE0FCFE575 Time : 0.0 sec. user=mdettweiler [2012-12-31 18:11:16] 767*2^1238402-1 is not prime. Res64: E31D0E7372636991 Time : 0.0 sec. user=mdettweiler [2012-12-31 18:11:17] 635*2^1238402-1 is not prime. Res64: 58E4900E46BEBE70 Time : 0.0 sec. user=mdettweiler [2012-12-31 18:11:18] 791*2^1238402-1 is not prime. Res64: A72B4F1F46CB7793 Time : 0.0 sec. user=mdettweiler [2012-12-31 18:28:48] 957*2^1238402-1 is not prime. Res64: C8C6248BA7B2A092 Time : 0.0 sec. user=mdettweiler [2012-12-31 18:28:49] 675*2^1238403-1 is not prime. Res64: C42048E9FD37C381 Time : 0.0 sec. user=mdettweiler [2012-12-31 18:28:50] 741*2^1238403-1 is not prime. Res64: E3CE7A3FF87B5F72 Time : 0.0 sec. user=mdettweiler [2012-12-31 18:28:50] 823*2^1238403-1 is not prime. Res64: 3BD6205958FED0AD Time : 0.0 sec. user=vaughan [2012-12-31 18:45:47] 813*2^1238402-1 is not prime. Res64: B40D0770F60D0B2B Time : 0.0 sec. user=mdettweiler [2012-12-31 18:46:15] 825*2^1238403-1 is not prime. Res64: 4724E6DB14F81419 Time : 0.0 sec. user=mdettweiler [2012-12-31 18:46:16] 879*2^1238403-1 is not prime. Res64: ACF42790F9FDB9B1 Time : 0.0 sec. user=mdettweiler [2012-12-31 18:46:16] 665*2^1238404-1 is not prime. Res64: E128AD5184F4CF42 Time : 0.0 sec. user=mdettweiler [2012-12-31 18:46:16] 803*2^1238404-1 is not prime. Res64: 91AE95724BA9178F Time : 0.0 sec. user=mdettweiler [2012-12-31 19:03:44] 887*2^1238404-1 is not prime. Res64: 17217DA3AACABE9C Time : 0.0 sec. user=mdettweiler [2012-12-31 19:03:45] 993*2^1238404-1 is not prime. Res64: 89C5F1708F7FBB35 Time : 0.0 sec. user=mdettweiler [2012-12-31 19:03:46] 965*2^1238404-1 is not prime. Res64: 8D686F8F1F89491C Time : 0.0 sec. user=mdettweiler [2012-12-31 19:03:48] 759*2^1238405-1 is not prime. Res64: 84436AE86B2C4660 Time : 0.0 sec. user=mdettweiler [2012-12-31 19:21:34] 775*2^1238405-1 is not prime. Res64: 5833ED91599EF799 Time : 0.0 sec. user=mdettweiler [2012-12-31 19:21:34] 925*2^1238405-1 is not prime. Res64: 1BC4A7296B6EFE14 Time : 0.0 sec. user=mdettweiler [2012-12-31 19:21:36] 939*2^1238405-1 is not prime. Res64: 0C5E88DDCDC224EB Time : 0.0 sec. user=mdettweiler [2012-12-31 19:21:37] 641*2^1238406-1 is not prime. Res64: 0C10C82A6B2BEAF1 Time : 0.0 sec. user=vaughan [2012-12-31 19:23:37] 863*2^1238404-1 is not prime. Res64: 8A336D747E052485 Time : 0.0 sec. user=mdettweiler [2012-12-31 19:39:10] 821*2^1238406-1 is not prime. Res64: 5AC0FF01188B1E4C Time : 0.0 sec. user=mdettweiler [2012-12-31 19:39:11] 945*2^1238406-1 is not prime. Res64: B1CA66BF0F330B7C Time : 0.0 sec. user=mdettweiler [2012-12-31 19:39:11] 671*2^1238406-1 is not prime. Res64: 57F9D478AD21DC88 Time : 0.0 sec. user=mdettweiler [2012-12-31 19:39:12] 717*2^1238406-1 is not prime. Res64: 3BD97FE263DB1D09 Time : 0.0 sec. user=mdettweiler [2012-12-31 19:56:44] 615*2^1238407-1 is not prime. Res64: 2922F6B6C61F81E5 Time : 0.0 sec. user=mdettweiler [2012-12-31 19:56:44] 693*2^1238407-1 is not prime. Res64: 0D5D7446A1819F7E Time : 0.0 sec. user=mdettweiler [2012-12-31 19:56:44] 633*2^1238407-1 is not prime. Res64: CBD10D86B64BBD9C Time : 0.0 sec. user=mdettweiler [2012-12-31 19:56:45] 885*2^1238407-1 is not prime. Res64: E6A23AD018F3D6EC Time : 0.0 sec. user=vaughan [2012-12-31 20:01:20] 971*2^1238406-1 is not prime. Res64: FE80C239F95AF8C0 Time : 0.0 sec. user=mdettweiler [2012-12-31 20:14:19] 979*2^1238407-1 is not prime. Res64: 4021F00CF1E743D1 Time : 0.0 sec. user=mdettweiler [2012-12-31 20:14:22] 623*2^1238408-1 is not prime. Res64: 0C1848F54148C4FB Time : 0.0 sec. user=mdettweiler [2012-12-31 20:14:23] 985*2^1238407-1 is not prime. Res64: B10749232790B963 Time : 0.0 sec. user=mdettweiler [2012-12-31 20:14:24] 629*2^1238408-1 is not prime. Res64: 9F333A80366E8561 Time : 0.0 sec. user=mdettweiler [2012-12-31 20:32:31] 827*2^1238408-1 is not prime. Res64: 3B500408F9736896 Time : 0.0 sec. user=mdettweiler [2012-12-31 20:32:32] 845*2^1238408-1 is not prime. Res64: B45769FF9EFD50B6 Time : 0.0 sec. user=mdettweiler [2012-12-31 20:32:33] 615*2^1238409-1 is not prime. Res64: 4AE68D400DF7C4F4 Time : 0.0 sec. user=mdettweiler [2012-12-31 20:32:35] 741*2^1238409-1 is not prime. Res64: 6452D9989E7CB9C2 Time : 0.0 sec. user=vaughan [2012-12-31 20:42:37] 795*2^1238408-1 is not prime. Res64: FAEF5F64BD35E797 Time : 0.0 sec. user=mdettweiler [2012-12-31 20:50:18] 745*2^1238409-1 is not prime. Res64: DBA7F7E1B249557B Time : 0.0 sec. user=mdettweiler [2012-12-31 20:50:19] 847*2^1238409-1 is not prime. Res64: A4A082C2D6606B2B Time : 0.0 sec. user=mdettweiler [2012-12-31 20:50:20] 623*2^1238410-1 is not prime. Res64: B99BD8B8E96FB484 Time : 0.0 sec. user=mdettweiler [2012-12-31 20:50:20] 647*2^1238410-1 is not prime. Res64: 0892134530650E90 Time : 0.0 sec. user=mdettweiler [2012-12-31 21:07:57] 687*2^1238410-1 is not prime. Res64: 8642F5A4BF5F345D Time : 0.0 sec. user=mdettweiler [2012-12-31 21:07:58] 923*2^1238410-1 is not prime. Res64: C1AD411938450281 Time : 0.0 sec. user=mdettweiler [2012-12-31 21:08:01] 941*2^1238410-1 is not prime. Res64: D6B565D6DD51EE9D Time : 0.0 sec. user=mdettweiler [2012-12-31 21:08:02] 651*2^1238411-1 is not prime. Res64: 4F4CA2826701E1E5 Time : 0.0 sec. user=vaughan [2012-12-31 21:20:25] 665*2^1238410-1 is not prime. Res64: 5A69F422ADFC932C Time : 0.0 sec. user=mdettweiler [2012-12-31 21:25:44] 813*2^1238411-1 is not prime. Res64: 999046B251631A43 Time : 0.0 sec. user=mdettweiler [2012-12-31 21:25:45] 913*2^1238411-1 is not prime. Res64: BC1E4A46F23032B2 Time : 0.0 sec. user=mdettweiler [2012-12-31 21:25:53] 627*2^1238412-1 is not prime. Res64: 5337068AF81D3CE7 Time : 0.0 sec. user=mdettweiler [2012-12-31 21:25:54] 635*2^1238412-1 is not prime. Res64: 9D70C802718149F0 Time : 0.0 sec. user=mdettweiler [2012-12-31 21:43:20] 779*2^1238412-1 is not prime. Res64: B1B22F641F57D1B8 Time : 0.0 sec. user=mdettweiler [2012-12-31 21:43:21] 825*2^1238412-1 is not prime. Res64: 79814829283A7168 Time : 0.0 sec. user=mdettweiler [2012-12-31 21:43:29] 625*2^1238413-1 is not prime. Res64: 4E7F8897787ABDCC Time : 0.0 sec. user=mdettweiler [2012-12-31 21:43:30] 727*2^1238413-1 is not prime. Res64: C93115F6986C91BD Time : 0.0 sec. user=vaughan [2012-12-31 21:58:17] 647*2^1238412-1 is not prime. Res64: 3EDD4225D5830EB9 Time : 0.0 sec. user=mdettweiler [2012-12-31 22:00:49] 789*2^1238413-1 is not prime. Res64: 59CBD39E0846F797 Time : 0.0 sec. user=mdettweiler [2012-12-31 22:00:50] 801*2^1238413-1 is not prime. Res64: DFE7642CBA1D8F9D Time : 0.0 sec. user=mdettweiler [2012-12-31 22:00:58] 817*2^1238413-1 is not prime. Res64: 0BAD01CEA666BBA4 Time : 0.0 sec. user=mdettweiler [2012-12-31 22:00:59] 731*2^1238414-1 is not prime. Res64: 6814C1FCE835FC2B Time : 0.0 sec. user=mdettweiler [2012-12-31 22:18:19] 851*2^1238414-1 is not prime. Res64: 22BB8FF7D2CC9DBC Time : 0.0 sec. user=mdettweiler [2012-12-31 22:18:19] 915*2^1238414-1 is not prime. Res64: 5EA0EA88EF21551F Time : 0.0 sec. user=mdettweiler [2012-12-31 22:18:26] 609*2^1238415-1 is not prime. Res64: 4E451AB058DA6181 Time : 0.0 sec. user=mdettweiler [2012-12-31 22:18:27] 663*2^1238415-1 is not prime. Res64: 8D50734C651B3F00 Time : 0.0 sec. user=mdettweiler [2012-12-31 22:35:45] 669*2^1238415-1 is not prime. Res64: C1E6B4D4BB7B0912 Time : 0.0 sec. user=mdettweiler [2012-12-31 22:35:45] 679*2^1238415-1 is not prime. Res64: 2E05089C49B60E72 Time : 0.0 sec. user=mdettweiler [2012-12-31 22:35:55] 691*2^1238415-1 is not prime. Res64: DD5FDA388AB693CF Time : 0.0 sec. user=mdettweiler [2012-12-31 22:35:55] 859*2^1238415-1 is not prime. Res64: 52AE0AB30A3420BF Time : 0.0 sec. user=vaughan [2012-12-31 22:36:02] 767*2^1238414-1 is not prime. Res64: F1C55C8B7E058D39 Time : 0.0 sec. user=mdettweiler [2012-12-31 22:53:11] 951*2^1238415-1 is not prime. Res64: C75FD61CB7A65E43 Time : 0.0 sec. user=mdettweiler [2012-12-31 22:53:12] 645*2^1238416-1 is not prime. Res64: AAB16C31A23199DD Time : 0.0 sec. user=mdettweiler [2012-12-31 22:53:22] 813*2^1238416-1 is not prime. Res64: 33C7C9182251F68B Time : 0.0 sec. user=mdettweiler [2012-12-31 22:53:23] 843*2^1238416-1 is not prime. Res64: AAFFEC33A6FE5B81 Time : 0.0 sec. user=mdettweiler [2012-12-31 23:10:38] 975*2^1238416-1 is not prime. Res64: A39AEE1B0EBFAB2B Time : 0.0 sec. user=mdettweiler [2012-12-31 23:10:40] 637*2^1238417-1 is not prime. Res64: 10CB88F59ED403CE Time : 0.0 sec. user=mdettweiler [2012-12-31 23:10:49] 651*2^1238417-1 is not prime. Res64: C75B2C1E011061A3 Time : 0.0 sec. user=mdettweiler [2012-12-31 23:10:50] 691*2^1238417-1 is not prime. Res64: 3B82676ED5C2A258 Time : 0.0 sec. user=vaughan [2012-12-31 23:14:00] 909*2^1238416-1 is not prime. Res64: 299939062DE389C2 Time : 0.0 sec. user=mdettweiler [2012-12-31 23:28:12] 697*2^1238417-1 is not prime. Res64: 6D92AC91E685284F Time : 0.0 sec. user=mdettweiler [2012-12-31 23:28:13] 715*2^1238417-1 is not prime. Res64: 07E5DD3F423C1702 Time : 0.0 sec. user=mdettweiler [2012-12-31 23:28:17] 717*2^1238417-1 is not prime. Res64: 87C9E8A3B90B02EC Time : 0.0 sec. user=mdettweiler [2012-12-31 23:28:18] 771*2^1238417-1 is not prime. Res64: 04EE964914097128 Time : 0.0 sec. user=mdettweiler [2012-12-31 23:45:43] 799*2^1238417-1 is not prime. Res64: A140CB0FC8EC9BF0 Time : 0.0 sec. user=mdettweiler [2012-12-31 23:45:44] 831*2^1238417-1 is not prime. Res64: 8FF0AF6671CBF7CD Time : 0.0 sec. user=mdettweiler [2012-12-31 23:45:47] 879*2^1238417-1 is not prime. Res64: B55489E4D7766BE5 Time : 0.0 sec. user=mdettweiler [2012-12-31 23:45:48] 889*2^1238417-1 is not prime. Res64: 7340F5555B133EB9 Time : 0.0 sec.