user=mdettweiler [2013-05-14 00:07:10] 875*2^1245884-1 is not prime. Res64: 0CFF128DFA736A8D Time : 0.0 sec. user=mdettweiler [2013-05-14 00:07:11] 899*2^1245884-1 is not prime. Res64: 83FB8AF3C0633122 Time : 0.0 sec. user=mdettweiler [2013-05-14 00:24:44] 615*2^1245884-1 is not prime. Res64: C53E769DEEC29162 Time : 0.0 sec. user=mdettweiler [2013-05-14 00:25:26] 953*2^1245884-1 is not prime. Res64: CD9717B18743E9C6 Time : 0.0 sec. user=mdettweiler [2013-05-14 00:25:27] 969*2^1245884-1 is not prime. Res64: 4CFCA14FE82664C5 Time : 0.0 sec. user=mdettweiler [2013-05-14 00:42:50] 667*2^1245885-1 is not prime. Res64: 9C1CD6AF2ACA6C32 Time : 0.0 sec. user=mdettweiler [2013-05-14 00:43:32] 735*2^1245885-1 is not prime. Res64: B808C031ECB6100A Time : 0.0 sec. user=vaughan [2013-05-14 00:53:40] 657*2^1245885-1 is not prime. Res64: 174F71C2EE1BA3A2 Time : 0.0 sec. user=mdettweiler [2013-05-14 01:09:56] 679*2^1245885-1 is not prime. Res64: DE98153895D823AD Time : 0.0 sec. user=mdettweiler [2013-05-14 01:14:31] 781*2^1245885-1 is not prime. Res64: 23B5576D7CE52331 Time : 0.0 sec. user=vaughan [2013-05-14 01:32:00] 795*2^1245885-1 is not prime. Res64: 9E2C4D7E9215A51F Time : 0.0 sec. user=mdettweiler [2013-05-14 01:33:09] 871*2^1245885-1 is not prime. Res64: AA7BF205ECF23A98 Time : 0.0 sec. user=mdettweiler [2013-05-14 01:33:10] 885*2^1245885-1 is not prime. Res64: F440C7EEF4769D96 Time : 0.0 sec. user=mdettweiler [2013-05-14 01:47:00] 975*2^1245885-1 is not prime. Res64: F418DE734578BF19 Time : 0.0 sec. user=mdettweiler [2013-05-14 01:47:01] 603*2^1245886-1 is not prime. Res64: 48C15F7472EF4A5D Time : 0.0 sec. user=mdettweiler [2013-05-14 01:51:09] 675*2^1245886-1 is not prime. Res64: 534AEB7933A200CE Time : 0.0 sec. user=mdettweiler [2013-05-14 01:51:09] 723*2^1245886-1 is not prime. Res64: 23745A4B76F0957C Time : 0.0 sec. user=mdettweiler [2013-05-14 02:05:16] 785*2^1245886-1 is not prime. Res64: B4BFD3E07036B1A1 Time : 0.0 sec. user=mdettweiler [2013-05-14 02:10:04] 987*2^1245886-1 is not prime. Res64: 1F4E3A86C022704D Time : 0.0 sec. user=mdettweiler [2013-05-14 02:10:05] 651*2^1245887-1 is not prime. Res64: F0A9A2B906602267 Time : 0.0 sec. user=vaughan [2013-05-14 02:10:06] 617*2^1245886-1 is not prime. Res64: E66B387B85646880 Time : 0.0 sec. user=mdettweiler [2013-05-14 02:27:50] 881*2^1245886-1 is not prime. Res64: 013F36496E68FA6F Time : 0.0 sec. user=mdettweiler [2013-05-14 02:28:12] 661*2^1245887-1 is not prime. Res64: AFE2E242E8443B00 Time : 0.0 sec. user=mdettweiler [2013-05-14 02:28:12] 703*2^1245887-1 is not prime. Res64: F25ED745206BD5D9 Time : 0.0 sec. user=mdettweiler [2013-05-14 02:46:14] 799*2^1245887-1 is not prime. Res64: 01FEE4EB52018380 Time : 0.0 sec. user=mdettweiler [2013-05-14 02:46:15] 963*2^1245887-1 is not prime. Res64: 6C7F776BE1C33AEE Time : 0.0 sec. user=vaughan [2013-05-14 02:48:46] 715*2^1245887-1 is not prime. Res64: A9D308294F4F0643 Time : 0.0 sec. user=mdettweiler [2013-05-14 02:58:37] 633*2^1245888-1 is not prime. Res64: 975D2E5F67181561 Time : 0.0 sec. user=mdettweiler [2013-05-14 03:04:32] 797*2^1245888-1 is not prime. Res64: 6AACD8C67BC4EE6C Time : 0.0 sec. user=mdettweiler [2013-05-14 03:04:32] 615*2^1245889-1 is not prime. Res64: C324958BE951BBC7 Time : 0.0 sec. user=mdettweiler [2013-05-14 03:19:39] 735*2^1245888-1 is not prime. Res64: 9669803F9EA8AE75 Time : 0.0 sec. user=mdettweiler [2013-05-14 03:22:46] 721*2^1245889-1 is not prime. Res64: CF56F7D95439E1F8 Time : 0.0 sec. user=mdettweiler [2013-05-14 03:22:46] 741*2^1245889-1 is not prime. Res64: BCC310491A768372 Time : 0.0 sec. user=mdettweiler [2013-05-14 03:37:39] 765*2^1245889-1 is not prime. Res64: 475A911F83DEA8BB Time : 0.0 sec. user=mdettweiler [2013-05-14 03:37:40] 831*2^1245889-1 is not prime. Res64: 89CC64BEE83D8069 Time : 0.0 sec. user=mdettweiler [2013-05-14 03:40:50] 877*2^1245889-1 is not prime. Res64: A3899B19F0F1A593 Time : 0.0 sec. user=mdettweiler [2013-05-14 03:40:50] 967*2^1245889-1 is not prime. Res64: DEA316444673A72B Time : 0.0 sec. user=mdettweiler [2013-05-14 03:55:49] 755*2^1245890-1 is not prime. Res64: 227F157564CEC91B Time : 0.0 sec. user=mdettweiler [2013-05-14 03:58:57] 621*2^1245891-1 is not prime. Res64: E41B88E7E45D9EC2 Time : 0.0 sec. user=vaughan [2013-05-14 04:04:18] 687*2^1245890-1 is not prime. Res64: 2A94452FB5BFF2A7 Time : 0.0 sec. user=mdettweiler [2013-05-14 04:27:36] 675*2^1245891-1 is not prime. Res64: 4BFB9581A211D8F0 Time : 0.0 sec. user=mdettweiler [2013-05-14 04:33:46] 875*2^1245890-1 is not prime. Res64: 9BC6F8DD73CB5381 Time : 0.0 sec. user=mdettweiler [2013-05-14 04:45:32] 709*2^1245891-1 is not prime. Res64: 39EFBAA8499A7766 Time : 0.0 sec. user=mdettweiler [2013-05-14 04:45:32] 793*2^1245891-1 is not prime. Res64: ECF6F49AD961B1FB Time : 0.0 sec. user=mdettweiler [2013-05-14 04:51:58] 909*2^1245891-1 is not prime. Res64: B2E82D00CF404717 Time : 0.0 sec. user=mdettweiler [2013-05-14 04:51:58] 921*2^1245891-1 is not prime. Res64: 71621E9E640E24C5 Time : 0.0 sec. user=mdettweiler [2013-05-14 05:09:53] 717*2^1245892-1 is not prime. Res64: 95AE207B10297346 Time : 0.0 sec. user=mdettweiler [2013-05-14 05:09:54] 843*2^1245892-1 is not prime. Res64: D80F127F4F1B2C7E Time : 0.0 sec. user=mdettweiler [2013-05-14 05:26:39] 615*2^1245892-1 is not prime. Res64: 1752D16F37D04D18 Time : 0.0 sec. user=mdettweiler [2013-05-14 05:26:39] 693*2^1245892-1 is not prime. Res64: 12034F6DEF419057 Time : 0.0 sec. user=mdettweiler [2013-05-14 05:29:06] 915*2^1245892-1 is not prime. Res64: FA1DD723CD42C96C Time : 0.0 sec. user=mdettweiler [2013-05-14 05:44:47] 615*2^1245893-1 is not prime. Res64: 42D39A58E166A118 Time : 0.0 sec. user=vaughan [2013-05-14 05:57:18] 603*2^1245892-1 is not prime. Res64: BE0312CF33BEF003 Time : 0.0 sec. user=mdettweiler [2013-05-14 06:05:50] 995*2^1245892-1 is not prime. Res64: EBC08978723430B3 Time : 0.0 sec. user=mdettweiler [2013-05-14 06:22:24] 631*2^1245893-1 is not prime. Res64: 601418DA27104A36 Time : 0.0 sec. user=mdettweiler [2013-05-14 06:23:48] 679*2^1245893-1 is not prime. Res64: 7CC687B2A1E4A332 Time : 0.0 sec. user=mdettweiler [2013-05-14 06:23:49] 715*2^1245893-1 is not prime. Res64: 19D77B485853F261 Time : 0.0 sec. user=mdettweiler [2013-05-14 06:40:28] 787*2^1245893-1 is not prime. Res64: 8D53FB4447F7FD73 Time : 0.0 sec. user=mdettweiler [2013-05-14 06:40:28] 789*2^1245893-1 is not prime. Res64: 51343E6C690A5B5F Time : 0.0 sec. user=mdettweiler [2013-05-14 06:42:34] 847*2^1245893-1 is not prime. Res64: 8D96DE1D08C7548A Time : 0.0 sec. user=mdettweiler [2013-05-14 06:42:35] 987*2^1245893-1 is not prime. Res64: C65E8A2512C09534 Time : 0.0 sec. user=mdettweiler [2013-05-14 06:58:37] 705*2^1245894-1 is not prime. Res64: D5881586766BE004 Time : 0.0 sec. user=mdettweiler [2013-05-14 07:00:44] 755*2^1245894-1 is not prime. Res64: FDC0CFE4ACA53306 Time : 0.0 sec. user=vaughan [2013-05-14 07:13:02] 693*2^1245894-1 is not prime. Res64: E7DC46464DF4278F Time : 0.0 sec. user=mdettweiler [2013-05-14 07:25:31] 915*2^1245894-1 is not prime. Res64: F92440CC7C33DD5A Time : 0.0 sec. user=mdettweiler [2013-05-14 07:35:27] 707*2^1245894-1 is not prime. Res64: 487B024E0D6D3C8D Time : 0.0 sec. user=mdettweiler [2013-05-14 07:43:27] 975*2^1245894-1 is not prime. Res64: EFA0F7F4DDE381A6 Time : 0.0 sec. user=mdettweiler [2013-05-14 07:43:28] 625*2^1245895-1 is not prime. Res64: 835A520FD89D729E Time : 0.0 sec. user=mdettweiler [2013-05-14 07:53:38] 645*2^1245895-1 is not prime. Res64: 5735344218361E6E Time : 0.0 sec. user=mdettweiler [2013-05-14 07:53:38] 933*2^1245895-1 is not prime. Res64: 17B5408754AC46EE Time : 0.0 sec. user=mdettweiler [2013-05-14 08:02:29] 985*2^1245895-1 is not prime. Res64: 15C51F48C8AA691A Time : 0.0 sec. user=mdettweiler [2013-05-14 08:02:30] 615*2^1245896-1 is not prime. Res64: 5FEAA9FD7A1E7BA5 Time : 0.0 sec. user=mdettweiler [2013-05-14 08:11:35] 747*2^1245896-1 is not prime. Res64: 8D24FAA2D6B7B31A Time : 0.0 sec. user=mdettweiler [2013-05-14 08:11:35] 813*2^1245896-1 is not prime. Res64: EAC599D2A450778D Time : 0.0 sec. user=mdettweiler [2013-05-14 08:20:58] 825*2^1245896-1 is not prime. Res64: D9BD682D0EEEA294 Time : 0.0 sec. user=vaughan [2013-05-14 08:28:21] 725*2^1245896-1 is not prime. Res64: F7538C8A90651E75 Time : 0.0 sec. user=mdettweiler [2013-05-14 08:30:05] 855*2^1245896-1 is not prime. Res64: C70774753BD490F0 Time : 0.0 sec. user=mdettweiler [2013-05-14 08:42:59] 843*2^1245896-1 is not prime. Res64: C291A65ACE7BBBD1 Time : 0.0 sec. user=mdettweiler [2013-05-14 09:01:52] 993*2^1245896-1 is not prime. Res64: 934609B309C1D0EA Time : 0.0 sec. user=mdettweiler [2013-05-14 09:01:53] 615*2^1245897-1 is not prime. Res64: 64546AD7D7116ECF Time : 0.0 sec. user=vaughan [2013-05-14 09:06:59] 897*2^1245896-1 is not prime. Res64: 5EA2BE2FD2B07169 Time : 0.0 sec. user=mdettweiler [2013-05-14 09:08:03] 867*2^1245896-1 is not prime. Res64: 336A7C65BEE473C3 Time : 0.0 sec. user=mdettweiler [2013-05-14 09:20:18] 711*2^1245897-1 is not prime. Res64: 12341F0B392F432A Time : 0.0 sec. user=mdettweiler [2013-05-14 09:45:04] 741*2^1245897-1 is not prime. Res64: 4B931E493AED593A Time : 0.0 sec. user=mdettweiler [2013-05-14 09:53:29] 717*2^1245897-1 is not prime. Res64: 042F8A214050C4F1 Time : 0.0 sec. user=mdettweiler [2013-05-14 10:11:50] 895*2^1245897-1 is not prime. Res64: 967178135A73A507 Time : 0.0 sec. user=mdettweiler [2013-05-14 10:11:50] 955*2^1245897-1 is not prime. Res64: 965BC4CA241907BF Time : 0.0 sec. user=mdettweiler [2013-05-14 10:21:46] 817*2^1245897-1 is not prime. Res64: 6AB62E7E6483299B Time : 0.0 sec. user=vaughan [2013-05-14 10:22:28] 861*2^1245897-1 is not prime. Res64: 29CDC470C1802DFA Time : 0.0 sec. user=mdettweiler [2013-05-14 10:30:10] 975*2^1245897-1 is not prime. Res64: C71DE4446E546058 Time : 0.0 sec. user=mdettweiler [2013-05-14 10:30:11] 647*2^1245898-1 is not prime. Res64: 6DA3FAD43F4A2B94 Time : 0.0 sec. user=mdettweiler [2013-05-14 10:39:41] 705*2^1245898-1 is not prime. Res64: 67F9EDFE783B87AB Time : 0.0 sec. user=mdettweiler [2013-05-14 10:39:58] 755*2^1245898-1 is not prime. Res64: 34095B00A286AF77 Time : 0.0 sec. user=mdettweiler [2013-05-14 10:49:08] 993*2^1245898-1 is not prime. Res64: 8C445860387BB582 Time : 0.0 sec. user=vaughan [2013-05-14 11:00:52] 801*2^1245898-1 is not prime. Res64: B968B90610673DD7 Time : 0.0 sec. user=mdettweiler [2013-05-14 11:10:12] 633*2^1245899-1 is not prime. Res64: 45C390A85C43F0D9 Time : 0.0 sec. user=mdettweiler [2013-05-14 11:10:13] 711*2^1245899-1 is not prime. Res64: 340E54090678CA61 Time : 0.0 sec. user=mdettweiler [2013-05-14 11:12:19] 615*2^1245899-1 is not prime. Res64: 005D9A21053BACAF Time : 0.0 sec. user=mdettweiler [2013-05-14 11:28:37] 909*2^1245899-1 is not prime. Res64: E68D9023982230E0 Time : 0.0 sec. user=mdettweiler [2013-05-14 11:28:37] 943*2^1245899-1 is not prime. Res64: 1313C0B55091347E Time : 0.0 sec. user=vaughan [2013-05-14 11:39:06] 799*2^1245899-1 is not prime. Res64: D9CD8475A63E4E00 Time : 0.0 sec. user=mdettweiler [2013-05-14 11:47:07] 609*2^1245900-1 is not prime. Res64: 2C8AE79C456731E3 Time : 0.0 sec. user=mdettweiler [2013-05-14 12:08:35] 717*2^1245900-1 is not prime. Res64: 459843F1BEB724BC Time : 0.0 sec. user=mdettweiler [2013-05-14 12:08:36] 753*2^1245900-1 is not prime. Res64: 92E1D3728CC4EE8D Time : 0.0 sec. user=mdettweiler [2013-05-14 12:16:14] 627*2^1245900-1 is not prime. Res64: 3A8E26392C92EBD1 Time : 0.0 sec. user=vaughan [2013-05-14 12:17:36] 629*2^1245900-1 is not prime. Res64: 25E74C353DDAD0BC Time : 0.0 sec. user=mdettweiler [2013-05-14 12:27:15] 759*2^1245900-1 is not prime. Res64: EEC922AD881B0DA4 Time : 0.0 sec. user=mdettweiler [2013-05-14 12:27:16] 795*2^1245900-1 is not prime. Res64: 19F332B6E7631A3D Time : 0.0 sec. user=mdettweiler [2013-05-14 12:34:08] 803*2^1245900-1 is not prime. Res64: 1F2D898CD6A37C63 Time : 0.0 sec. user=mdettweiler [2013-05-14 12:34:09] 975*2^1245900-1 is not prime. Res64: F4849E2EDCA45C07 Time : 0.0 sec. user=mdettweiler [2013-05-14 12:45:10] 717*2^1245901-1 is not prime. Res64: 078A402B65253F50 Time : 0.0 sec. user=mdettweiler [2013-05-14 12:45:10] 799*2^1245901-1 is not prime. Res64: ADB3569C9CAA7CD3 Time : 0.0 sec. user=mdettweiler [2013-05-14 12:52:06] 805*2^1245901-1 is not prime. Res64: EE8C2413A0D75035 Time : 0.0 sec. user=mdettweiler [2013-05-14 12:52:07] 867*2^1245901-1 is not prime. Res64: 96A0C5FC17EAA407 Time : 0.0 sec. user=mdettweiler [2013-05-14 13:03:13] 877*2^1245901-1 is not prime. Res64: 2B9E547E37398CF4 Time : 0.0 sec. user=mdettweiler [2013-05-14 13:10:42] 885*2^1245902-1 is not prime. Res64: 8FEC7BA9FFF6B515 Time : 0.0 sec. user=mdettweiler [2013-05-14 13:25:15] 693*2^1245902-1 is not prime. Res64: 0088CFB69CEC7226 Time : 0.0 sec. user=vaughan [2013-05-14 13:33:09] 893*2^1245902-1 is not prime. Res64: 02F50DAE0C8EA4AD Time : 0.0 sec. user=mdettweiler [2013-05-14 13:43:09] 897*2^1245902-1 is not prime. Res64: C41C3CD246318878 Time : 0.0 sec. user=mdettweiler [2013-05-14 13:43:09] 911*2^1245902-1 is not prime. Res64: 226F8212A98EC5A6 Time : 0.0 sec. user=mdettweiler [2013-05-14 13:46:52] 887*2^1245902-1 is not prime. Res64: F79036A77891629B Time : 0.0 sec. user=mdettweiler [2013-05-14 14:01:01] 643*2^1245903-1 is not prime. Res64: 1F2446A826694CFF Time : 0.0 sec. user=mdettweiler [2013-05-14 14:01:01] 693*2^1245903-1 is not prime. Res64: 54FDF85DCD9BB5CB Time : 0.0 sec. user=vaughan [2013-05-14 14:16:34] 935*2^1245902-1 is not prime. Res64: 701C9AA818E0711A Time : 0.0 sec. user=mdettweiler [2013-05-14 14:19:17] 723*2^1245903-1 is not prime. Res64: D742505BBD4D6DF9 Time : 0.0 sec. user=mdettweiler [2013-05-14 14:19:17] 741*2^1245903-1 is not prime. Res64: 49616C18CFF0B13F Time : 0.0 sec. user=mdettweiler [2013-05-14 14:35:40] 823*2^1245903-1 is not prime. Res64: 62363367B33C296B Time : 0.0 sec. user=mdettweiler [2013-05-14 14:35:41] 849*2^1245903-1 is not prime. Res64: 0A5D454EA12DAB2A Time : 0.0 sec. user=mdettweiler [2013-05-14 14:38:14] 871*2^1245903-1 is not prime. Res64: 0448AB13ADFDC069 Time : 0.0 sec. user=mdettweiler [2013-05-14 14:53:51] 635*2^1245904-1 is not prime. Res64: F36EBFE6DBC07CEE Time : 0.0 sec. user=vaughan [2013-05-14 14:55:18] 781*2^1245903-1 is not prime. Res64: B28854C5216A3D34 Time : 0.0 sec. user=mdettweiler [2013-05-14 14:59:31] 963*2^1245903-1 is not prime. Res64: 0216675ED9C12F09 Time : 0.0 sec. user=mdettweiler [2013-05-14 15:16:21] 687*2^1245904-1 is not prime. Res64: 73D3AB2966DDCDD5 Time : 0.0 sec. user=mdettweiler [2013-05-14 15:34:21] 719*2^1245904-1 is not prime. Res64: 305BBE5B644357A3 Time : 0.0 sec. user=mdettweiler [2013-05-14 15:34:21] 777*2^1245905-1 is not prime. Res64: 309EEEBA549E73D0 Time : 0.0 sec. user=mdettweiler [2013-05-14 15:52:32] 957*2^1245905-1 is not prime. Res64: A0A8A8BD66325E3E Time : 0.0 sec. user=mdettweiler [2013-05-14 15:53:59] 725*2^1245906-1 is not prime. Res64: C3A214BA5087B60B Time : 0.0 sec. user=mdettweiler [2013-05-14 15:54:16] 755*2^1245906-1 is not prime. Res64: A612E82659EE35F2 Time : 0.0 sec. user=vaughan [2013-05-14 16:10:37] 811*2^1245905-1 is not prime. Res64: B3C936A1001E68AB Time : 0.0 sec. user=mdettweiler [2013-05-14 16:29:09] 671*2^1245906-1 is not prime. Res64: 35432897B12AE08C Time : 0.0 sec. user=mdettweiler [2013-05-14 16:35:05] 905*2^1245906-1 is not prime. Res64: 015A8B2CADB43F1C Time : 0.0 sec. user=vaughan [2013-05-14 16:49:00] 777*2^1245906-1 is not prime. Res64: 3770D506F2CBE44A Time : 0.0 sec. user=mdettweiler [2013-05-14 17:06:18] 921*2^1245906-1 is not prime. Res64: 547E4D5F97E949ED Time : 0.0 sec. user=mdettweiler [2013-05-14 17:09:51] 673*2^1245907-1 is not prime. Res64: FDAD09B22E85E7B8 Time : 0.0 sec. user=mdettweiler [2013-05-14 17:09:52] 733*2^1245907-1 is not prime. Res64: E2626EAACA150293 Time : 0.0 sec. user=mdettweiler [2013-05-14 17:24:11] 843*2^1245907-1 is not prime. Res64: 73BED975EAEC31D7 Time : 0.0 sec. user=mdettweiler [2013-05-14 17:27:43] 939*2^1245907-1 is not prime. Res64: 9444AB352B2F3716 Time : 0.0 sec. user=vaughan [2013-05-14 17:32:37] 1001*2^1245906-1 is not prime. Res64: DFD67592331976F2 Time : 0.0 sec. user=mdettweiler [2013-05-14 17:46:52] 909*2^1245907-1 is not prime. Res64: 3E508A74439C1540 Time : 0.0 sec. user=mdettweiler [2013-05-14 18:03:26] 629*2^1245908-1 is not prime. Res64: E1E1FACD93DE10F5 Time : 0.0 sec. user=mdettweiler [2013-05-14 18:05:23] 995*2^1245908-1 is not prime. Res64: 2CBF97D0CEA2AD5E Time : 0.0 sec. user=mdettweiler [2013-05-14 18:05:24] 741*2^1245909-1 is not prime. Res64: 5E239C5B8F0483BD Time : 0.0 sec. user=mdettweiler [2013-05-14 18:21:26] 751*2^1245909-1 is not prime. Res64: B2DB858269BFFFD7 Time : 0.0 sec. user=mdettweiler [2013-05-14 18:23:17] 889*2^1245909-1 is not prime. Res64: 50332E33ACC39356 Time : 0.0 sec. user=vaughan [2013-05-14 18:47:47] 635*2^1245910-1 is not prime. Res64: D89922CB8442B7A5 Time : 0.0 sec. user=mdettweiler [2013-05-14 18:47:51] 847*2^1245909-1 is not prime. Res64: 6CC61330CDEFCF6B Time : 0.0 sec. user=mdettweiler [2013-05-14 19:01:47] 927*2^1245909-1 is not prime. Res64: 7A4FBA64D581FCDE Time : 0.0 sec. user=mdettweiler [2013-05-14 19:05:45] 681*2^1245910-1 is not prime. Res64: 8F95DBC7231A8C17 Time : 0.0 sec. user=vaughan [2013-05-14 19:25:51] 645*2^1245910-1 is not prime. Res64: 92FB2073C18EDA03 Time : 0.0 sec. user=mdettweiler [2013-05-14 19:40:54] 723*2^1245910-1 is not prime. Res64: DBB9748FF996DD4E Time : 0.0 sec. user=mdettweiler [2013-05-14 19:42:39] 695*2^1245910-1 is not prime. Res64: 905CB398EBB3825A Time : 0.0 sec. user=mdettweiler [2013-05-14 20:02:44] 885*2^1245910-1 is not prime. Res64: F73DEDDF6C69DDFF Time : 0.0 sec. user=vaughan [2013-05-14 20:09:00] 933*2^1245910-1 is not prime. Res64: 55188E85F7D74FFE Time : 0.0 sec. user=mdettweiler [2013-05-14 20:21:33] 965*2^1245910-1 is not prime. Res64: E23B2C535ED4A680 Time : 0.0 sec. user=mdettweiler [2013-05-14 20:21:33] 987*2^1245910-1 is not prime. Res64: 080D9F31A8104FF3 Time : 0.0 sec. user=mdettweiler [2013-05-14 20:28:21] 645*2^1245911-1 is not prime. Res64: CF1C5DD7A358A817 Time : 0.0 sec. user=mdettweiler [2013-05-14 20:28:38] 693*2^1245911-1 is not prime. Res64: 2664A5F47E0A8C1F Time : 0.0 sec. user=mdettweiler [2013-05-14 20:39:13] 789*2^1245911-1 is not prime. Res64: 99B284F67705D228 Time : 0.0 sec. user=mdettweiler [2013-05-14 20:39:13] 813*2^1245911-1 is not prime. Res64: 5C3367322EE14430 Time : 0.0 sec. user=vaughan [2013-05-14 20:47:15] 609*2^1245911-1 is not prime. Res64: 9559C82DFCF6F606 Time : 0.0 sec. user=mdettweiler [2013-05-14 20:57:17] 909*2^1245911-1 is not prime. Res64: 28453B4EF9533BFD Time : 0.0 sec. user=mdettweiler [2013-05-14 20:57:17] 979*2^1245911-1 is not prime. Res64: 7FB2AF47CA897C44 Time : 0.0 sec. user=mdettweiler [2013-05-14 21:13:22] 653*2^1245912-1 is not prime. Res64: 78E8E40877DB7F05 Time : 0.0 sec. user=mdettweiler [2013-05-14 21:13:22] 669*2^1245912-1 is not prime. Res64: 36A0A9E80A2CC466 Time : 0.0 sec. user=mdettweiler [2013-05-14 21:15:46] 719*2^1245912-1 is not prime. Res64: 4E4CC8AE8BC88737 Time : 0.0 sec. user=mdettweiler [2013-05-14 21:31:02] 815*2^1245912-1 is not prime. Res64: 18EB7627662C151C Time : 0.0 sec. user=mdettweiler [2013-05-14 21:31:02] 933*2^1245912-1 is not prime. Res64: 79F85DECC3E5CBFD Time : 0.0 sec. user=mdettweiler [2013-05-14 21:31:47] 797*2^1245912-1 is not prime. Res64: 15EDBDE3EF441F93 Time : 0.0 sec. user=mdettweiler [2013-05-14 21:48:59] 715*2^1245913-1 is not prime. Res64: 41FC379741C34B29 Time : 0.0 sec. user=mdettweiler [2013-05-14 21:49:00] 721*2^1245913-1 is not prime. Res64: 2D00BEA72697589E Time : 0.0 sec. user=mdettweiler [2013-05-14 21:49:29] 765*2^1245913-1 is not prime. Res64: AD8076BEE644D343 Time : 0.0 sec. user=mdettweiler [2013-05-14 21:49:30] 771*2^1245913-1 is not prime. Res64: 491754DFD448E06D Time : 0.0 sec. user=vaughan [2013-05-14 22:02:23] 687*2^1245913-1 is not prime. Res64: DCD659047CE8784E Time : 0.0 sec. user=mdettweiler [2013-05-14 22:07:46] 877*2^1245913-1 is not prime. Res64: 1612F5CE32A1FDBB Time : 0.0 sec. user=mdettweiler [2013-05-14 22:08:10] 615*2^1245914-1 is not prime. Res64: 5379CFD52DB8A878 Time : 0.0 sec. user=mdettweiler [2013-05-14 22:31:11] 895*2^1245913-1 is not prime. Res64: 91F07C69DF874AE6 Time : 0.0 sec. user=vaughan [2013-05-14 22:40:38] 657*2^1245914-1 is not prime. Res64: 2DC83703F9CB59B0 Time : 0.0 sec. user=mdettweiler [2013-05-14 22:45:46] 645*2^1245914-1 is not prime. Res64: 7F6180C57BF46B0B Time : 0.0 sec. user=mdettweiler [2013-05-14 22:49:02] 665*2^1245914-1 is not prime. Res64: 506A16DE41DBD639 Time : 0.0 sec. user=mdettweiler [2013-05-14 23:03:41] 957*2^1245914-1 is not prime. Res64: CFED1E408FB224F8 Time : 0.0 sec. user=mdettweiler [2013-05-14 23:08:03] 683*2^1245914-1 is not prime. Res64: 9424CE028E881130 Time : 0.0 sec. user=vaughan [2013-05-14 23:18:58] 885*2^1245914-1 is not prime. Res64: 135F1A48F802C555 Time : 0.0 sec. user=mdettweiler [2013-05-14 23:39:31] 971*2^1245914-1 is not prime. Res64: 3990A5105D960A71 Time : 0.0 sec. user=vaughan [2013-05-14 23:57:11] 651*2^1245915-1 is not prime. Res64: 4F6101EE5AB9E04B Time : 0.0 sec. user=mdettweiler [2013-05-14 23:57:53] 685*2^1245915-1 is not prime. Res64: 3948FA8B5AA8ED74 Time : 0.0 sec.