user=mdettweiler [2013-07-26 00:01:16] 777*2^1248040-1 is not prime. Res64: 0645238CAE3E7659 Time : 0.0 sec. user=mdettweiler [2013-07-26 00:01:16] 803*2^1248040-1 is not prime. Res64: 5CE7F45A6AEA880A Time : 0.0 sec. user=juhehe [2013-07-26 00:05:15] 699*2^1248040-1 is not prime. Res64: 3DF30682EFE251F8 Time : 0.0 sec. user=mdettweiler [2013-07-26 00:19:06] 965*2^1248040-1 is not prime. Res64: 73CAC496FB54C1D3 Time : 0.0 sec. user=mdettweiler [2013-07-26 00:19:07] 619*2^1248041-1 is not prime. Res64: 704B4AA3DEEEA471 Time : 0.0 sec. user=mdettweiler [2013-07-26 00:36:09] 651*2^1248041-1 is not prime. Res64: 75BBE357F76DFE73 Time : 0.0 sec. user=mdettweiler [2013-07-26 00:36:10] 781*2^1248041-1 is not prime. Res64: 401F7136A47FBE40 Time : 0.0 sec. user=mdettweiler [2013-07-26 00:54:03] 855*2^1248041-1 is not prime. Res64: C5AF2A4C5EF457AA Time : 0.0 sec. user=mdettweiler [2013-07-26 00:54:03] 967*2^1248041-1 is not prime. Res64: 212427E0076B365C Time : 0.0 sec. user=mdettweiler [2013-07-26 01:11:06] 677*2^1248042-1 is not prime. Res64: A04B8D0748746149 Time : 0.0 sec. user=mdettweiler [2013-07-26 01:11:07] 731*2^1248042-1 is not prime. Res64: 40A76CD63AE51A88 Time : 0.0 sec. user=mdettweiler [2013-07-26 01:28:13] 741*2^1248042-1 is not prime. Res64: 6A21FAE517516539 Time : 0.0 sec. user=mdettweiler [2013-07-26 01:28:13] 791*2^1248042-1 is not prime. Res64: 4FD488D0029E94D8 Time : 0.0 sec. user=mdettweiler [2013-07-26 01:45:15] 801*2^1248042-1 is not prime. Res64: A8555FAD14187FA5 Time : 0.0 sec. user=mdettweiler [2013-07-26 01:45:15] 807*2^1248042-1 is not prime. Res64: 7A4B04853FFC9D15 Time : 0.0 sec. user=mdettweiler [2013-07-26 02:02:18] 603*2^1248043-1 is not prime. Res64: 76F4433F2FD78C2F Time : 0.0 sec. user=mdettweiler [2013-07-26 02:02:19] 625*2^1248043-1 is not prime. Res64: B517A33C00363DAE Time : 0.0 sec. user=mdettweiler [2013-07-26 02:19:22] 699*2^1248043-1 is not prime. Res64: B4BDC4EBCC518033 Time : 0.0 sec. user=mdettweiler [2013-07-26 02:19:22] 703*2^1248043-1 is not prime. Res64: D103952917FCFB29 Time : 0.0 sec. user=juhehe [2013-07-26 02:34:40] 693*2^1248043-1 is not prime. Res64: 138D87731490E2DB Time : 0.0 sec. user=mdettweiler [2013-07-26 02:36:25] 813*2^1248043-1 is not prime. Res64: 8DE5D6C0494BAB38 Time : 0.0 sec. user=mdettweiler [2013-07-26 02:36:26] 861*2^1248043-1 is not prime. Res64: 5E9CB5F7E6D77F13 Time : 0.0 sec. user=mdettweiler [2013-07-26 02:54:37] 913*2^1248043-1 is not prime. Res64: C235F11B9E1458AC Time : 0.0 sec. user=mdettweiler [2013-07-26 02:54:38] 985*2^1248043-1 is not prime. Res64: D46540D957F1E834 Time : 0.0 sec. user=mdettweiler [2013-07-26 03:11:42] 615*2^1248044-1 is not prime. Res64: 0A5A8F4DAF900C4A Time : 0.0 sec. user=mdettweiler [2013-07-26 03:11:43] 657*2^1248044-1 is not prime. Res64: 6517A34DCF5E6108 Time : 0.0 sec. user=mdettweiler [2013-07-26 03:28:49] 675*2^1248044-1 is not prime. Res64: 29FBDFBADCA432C6 Time : 0.0 sec. user=mdettweiler [2013-07-26 03:28:50] 749*2^1248044-1 is not prime. Res64: 304B98566A0B9C3F Time : 0.0 sec. user=mdettweiler [2013-07-26 03:47:29] 959*2^1248044-1 is not prime. Res64: 5EAF0E8D8A3F2162 Time : 0.0 sec. user=mdettweiler [2013-07-26 03:47:29] 993*2^1248044-1 is not prime. Res64: C44DDD6A7D01091C Time : 0.0 sec. user=mdettweiler [2013-07-26 04:04:32] 607*2^1248045-1 is not prime. Res64: BF172E26B6B42CDF Time : 0.0 sec. user=mdettweiler [2013-07-26 04:04:33] 765*2^1248045-1 is not prime. Res64: EE3F79648BF602A9 Time : 0.0 sec. user=mdettweiler [2013-07-26 04:21:40] 805*2^1248045-1 is not prime. Res64: 2B01EEBC116E105D Time : 0.0 sec. user=mdettweiler [2013-07-26 04:21:40] 871*2^1248045-1 is not prime. Res64: C1E5138BEAA6BE7A Time : 0.0 sec. user=mdettweiler [2013-07-26 04:40:19] 975*2^1248045-1 is not prime. Res64: 85DA9815F0F29BAC Time : 0.0 sec. user=mdettweiler [2013-07-26 04:40:20] 991*2^1248045-1 is not prime. Res64: 3955FE013C7891F4 Time : 0.0 sec. user=mdettweiler [2013-07-26 04:59:02] 997*2^1248045-1 is not prime. Res64: 317DB0BF73C7DDDE Time : 0.0 sec. user=mdettweiler [2013-07-26 04:59:02] 999*2^1248045-1 is not prime. Res64: D6262CBAC61FD782 Time : 0.0 sec. user=mdettweiler [2013-07-26 05:16:03] 623*2^1248046-1 is not prime. Res64: 5774B268E0326270 Time : 0.0 sec. user=mdettweiler [2013-07-26 05:16:04] 645*2^1248046-1 is not prime. Res64: C4D31AE83F49BB5B Time : 0.0 sec. user=mdettweiler [2013-07-26 05:33:06] 801*2^1248046-1 is not prime. Res64: AB432349FAC09D21 Time : 0.0 sec. user=mdettweiler [2013-07-26 05:33:06] 815*2^1248046-1 is not prime. Res64: F36A276DD8546A36 Time : 0.0 sec. user=mdettweiler [2013-07-26 05:50:08] 825*2^1248046-1 is not prime. Res64: A583B59E9E6C9943 Time : 0.0 sec. user=mdettweiler [2013-07-26 05:50:09] 911*2^1248046-1 is not prime. Res64: 33D7CF551DB4F357 Time : 0.0 sec. user=mdettweiler [2013-07-26 06:07:11] 941*2^1248046-1 is not prime. Res64: 78E82B6F06859E26 Time : 0.0 sec. user=mdettweiler [2013-07-26 06:07:12] 673*2^1248047-1 is not prime. Res64: D77BC81EBB7967E2 Time : 0.0 sec. user=mdettweiler [2013-07-26 06:24:18] 703*2^1248047-1 is not prime. Res64: 069B39358AA1B2BA Time : 0.0 sec. user=mdettweiler [2013-07-26 06:24:19] 741*2^1248047-1 is not prime. Res64: 8682A2356035B233 Time : 0.0 sec. user=mdettweiler [2013-07-26 06:48:22] 753*2^1248047-1 is not prime. Res64: D7927615C47A20B8 Time : 0.0 sec. user=mdettweiler [2013-07-26 06:48:22] 841*2^1248047-1 is not prime. Res64: 23617A8C4384114A Time : 0.0 sec. user=mdettweiler [2013-07-26 07:05:23] 885*2^1248047-1 is not prime. Res64: 0AE323B48AC6AC4D Time : 0.0 sec. user=mdettweiler [2013-07-26 07:05:24] 913*2^1248047-1 is not prime. Res64: 14AA0C060806AA84 Time : 0.0 sec. user=mdettweiler [2013-07-26 07:22:36] 915*2^1248047-1 is not prime. Res64: 7386328E26B58685 Time : 0.0 sec. user=mdettweiler [2013-07-26 07:22:37] 931*2^1248047-1 is not prime. Res64: 164EEE544E1B5325 Time : 0.0 sec. user=mdettweiler [2013-07-26 07:39:38] 635*2^1248048-1 is not prime. Res64: E4EAFE955A66FC42 Time : 0.0 sec. user=mdettweiler [2013-07-26 07:39:39] 695*2^1248048-1 is not prime. Res64: 713F48A9985A9A33 Time : 0.0 sec. user=mdettweiler [2013-07-26 07:56:40] 753*2^1248048-1 is not prime. Res64: 6F38E2F21B254517 Time : 0.0 sec. user=mdettweiler [2013-07-26 07:56:40] 819*2^1248048-1 is not prime. Res64: 03FDC453A7F44B28 Time : 0.0 sec. user=mdettweiler [2013-07-26 08:15:16] 957*2^1248048-1 is not prime. Res64: 1202584D48CEAA8B Time : 0.0 sec. user=mdettweiler [2013-07-26 08:15:17] 993*2^1248048-1 is not prime. Res64: 4010DE42326AB217 Time : 0.0 sec. user=mdettweiler [2013-07-26 08:32:18] 819*2^1248049-1 is not prime. Res64: 3337AC9C7D8A5123 Time : 0.0 sec. user=mdettweiler [2013-07-26 08:32:18] 925*2^1248049-1 is not prime. Res64: E740122984FABCDB Time : 0.0 sec. user=mdettweiler [2013-07-26 08:50:55] 955*2^1248049-1 is not prime. Res64: 18EE72AC3C8B4FA7 Time : 0.0 sec. user=mdettweiler [2013-07-26 08:50:55] 975*2^1248049-1 is not prime. Res64: 974C40271A65CDB4 Time : 0.0 sec. user=mdettweiler [2013-07-26 09:07:56] 717*2^1248050-1 is not prime. Res64: D0EB2BAD6FAFFE05 Time : 0.0 sec. user=mdettweiler [2013-07-26 09:07:57] 843*2^1248050-1 is not prime. Res64: DF600E96FDD92929 Time : 0.0 sec. user=mdettweiler [2013-07-26 09:25:51] 927*2^1248050-1 is not prime. Res64: 4714DEA2676CF538 Time : 0.0 sec. user=mdettweiler [2013-07-26 09:25:51] 971*2^1248050-1 is not prime. Res64: BA219494187FAC9D Time : 0.0 sec. user=mdettweiler [2013-07-26 09:42:52] 619*2^1248051-1 is not prime. Res64: C90715C5C21A9660 Time : 0.0 sec. user=mdettweiler [2013-07-26 09:42:52] 669*2^1248051-1 is not prime. Res64: 4E6CB3D470BA2639 Time : 0.0 sec. user=mdettweiler [2013-07-26 09:59:54] 745*2^1248051-1 is not prime. Res64: D75E5B43D589553D Time : 0.0 sec. user=mdettweiler [2013-07-26 09:59:54] 751*2^1248051-1 is not prime. Res64: 6F9288AB92B4ED67 Time : 0.0 sec. user=mdettweiler [2013-07-26 10:16:55] 769*2^1248051-1 is not prime. Res64: 49409B4A1A50AB86 Time : 0.0 sec. user=mdettweiler [2013-07-26 10:16:56] 801*2^1248051-1 is not prime. Res64: 3B1F1D010E2382A7 Time : 0.0 sec. user=mdettweiler [2013-07-26 10:33:57] 895*2^1248051-1 is not prime. Res64: 9726CB12F191CE75 Time : 0.0 sec. user=mdettweiler [2013-07-26 10:33:58] 665*2^1248052-1 is not prime. Res64: FFF567649E4E96E2 Time : 0.0 sec. user=mdettweiler [2013-07-26 10:50:59] 857*2^1248052-1 is not prime. Res64: 70D311082D84AAE7 Time : 0.0 sec. user=mdettweiler [2013-07-26 10:50:59] 869*2^1248052-1 is not prime. Res64: D13A6E4989A49271 Time : 0.0 sec. user=mdettweiler [2013-07-26 11:08:49] 897*2^1248052-1 is not prime. Res64: B16FA05D0CED759E Time : 0.0 sec. user=mdettweiler [2013-07-26 11:08:51] 957*2^1248052-1 is not prime. Res64: F1C66C64CD5F9F0F Time : 0.0 sec. user=mdettweiler [2013-07-26 11:26:50] 995*2^1248052-1 is not prime. Res64: 04B158401C02860E Time : 0.0 sec. user=mdettweiler [2013-07-26 11:26:50] 631*2^1248053-1 is not prime. Res64: FD7745F592B9B128 Time : 0.0 sec. user=mdettweiler [2013-07-26 11:43:52] 745*2^1248053-1 is not prime. Res64: 38C0FA4C4287CA9C Time : 0.0 sec. user=mdettweiler [2013-07-26 11:43:53] 879*2^1248053-1 is not prime. Res64: 8A747B78104F756E Time : 0.0 sec. user=mdettweiler [2013-07-26 12:01:42] 937*2^1248053-1 is not prime. Res64: 3F55E62B8AEEA438 Time : 0.0 sec. user=mdettweiler [2013-07-26 12:01:43] 955*2^1248053-1 is not prime. Res64: 991730BD57DE4DE7 Time : 0.0 sec. user=mdettweiler [2013-07-26 12:18:58] 671*2^1248054-1 is not prime. Res64: 4EF77B2A0FDEE5F8 Time : 0.0 sec. user=mdettweiler [2013-07-26 12:20:25] 705*2^1248054-1 is not prime. Res64: 8398EA27EDBF4D5A Time : 0.0 sec. user=mdettweiler [2013-07-26 12:37:26] 741*2^1248054-1 is not prime. Res64: C0474C4BF10FF424 Time : 0.0 sec. user=mdettweiler [2013-07-26 12:37:27] 795*2^1248054-1 is not prime. Res64: AB6C2038E9272087 Time : 0.0 sec. user=mdettweiler [2013-07-26 12:56:18] 921*2^1248054-1 is not prime. Res64: 11F9F5FEAAD76D2F Time : 0.0 sec. user=mdettweiler [2013-07-26 12:56:18] 971*2^1248054-1 is not prime. Res64: A81AA564FA8DE09A Time : 0.0 sec. user=mdettweiler [2013-07-26 13:14:07] 763*2^1248055-1 is not prime. Res64: B761E237543B93D8 Time : 0.0 sec. user=mdettweiler [2013-07-26 13:14:07] 859*2^1248055-1 is not prime. Res64: E034B00231748638 Time : 0.0 sec. user=juhehe [2013-07-26 13:30:16] 723*2^1248055-1 is not prime. Res64: 5DC44FFD941F8500 Time : 0.0 sec. user=mdettweiler [2013-07-26 13:32:33] 871*2^1248055-1 is not prime. Res64: C222756DD211A568 Time : 0.0 sec. user=mdettweiler [2013-07-26 13:32:33] 885*2^1248055-1 is not prime. Res64: 2FCE6B9C99B075BC Time : 0.0 sec. user=mdettweiler [2013-07-26 13:51:05] 969*2^1248055-1 is not prime. Res64: 3D98605129FF9D49 Time : 0.0 sec. user=mdettweiler [2013-07-26 13:51:05] 693*2^1248056-1 is not prime. Res64: D4376C92D55F92B5 Time : 0.0 sec. user=mdettweiler [2013-07-26 14:08:08] 873*2^1248056-1 is not prime. Res64: 628412A7749788BB Time : 0.0 sec. user=mdettweiler [2013-07-26 14:08:09] 899*2^1248056-1 is not prime. Res64: 405346C20AB1351A Time : 0.0 sec. user=mdettweiler [2013-07-26 14:30:27] 903*2^1248056-1 is not prime. Res64: 782EB5280BED1E52 Time : 0.0 sec. user=mdettweiler [2013-07-26 14:30:27] 917*2^1248056-1 is not prime. Res64: 6E6828FEE9014278 Time : 0.0 sec. user=mdettweiler [2013-07-26 14:47:29] 615*2^1248057-1 is not prime. Res64: CF4FB9F8B054FE75 Time : 0.0 sec. user=mdettweiler [2013-07-26 14:47:30] 625*2^1248057-1 is not prime. Res64: 2D7A926B58EC0BDD Time : 0.0 sec. user=mdettweiler [2013-07-26 15:04:38] 711*2^1248057-1 is not prime. Res64: 9E1C68702C6D7723 Time : 0.0 sec. user=mdettweiler [2013-07-26 15:04:39] 717*2^1248057-1 is not prime. Res64: B0D4F223CD5EEBBB Time : 0.0 sec. user=mdettweiler [2013-07-26 15:21:44] 727*2^1248057-1 is not prime. Res64: E2B8CF5D6C553805 Time : 0.0 sec. user=mdettweiler [2013-07-26 15:21:45] 817*2^1248057-1 is not prime. Res64: F647B9C434C747FC Time : 0.0 sec. user=mdettweiler [2013-07-26 15:38:46] 865*2^1248057-1 is not prime. Res64: 5F18C7CECAE48ECB Time : 0.0 sec. user=mdettweiler [2013-07-26 15:38:46] 901*2^1248057-1 is not prime. Res64: FA107EE3BC0B7109 Time : 0.0 sec. user=mdettweiler [2013-07-26 15:55:47] 915*2^1248057-1 is not prime. Res64: D0959068B0704815 Time : 0.0 sec. user=mdettweiler [2013-07-26 15:55:48] 707*2^1248058-1 is not prime. Res64: A51AD71B10A934B9 Time : 0.0 sec. user=mdettweiler [2013-07-26 16:13:07] 887*2^1248058-1 is not prime. Res64: 26E6BFC0FC8763C0 Time : 0.0 sec. user=mdettweiler [2013-07-26 16:13:07] 905*2^1248058-1 is not prime. Res64: 4780DD1461BE06C4 Time : 0.0 sec. user=mdettweiler [2013-07-26 16:31:58] 971*2^1248058-1 is not prime. Res64: 8EDF84BE74B10BEC Time : 0.0 sec. user=mdettweiler [2013-07-26 16:31:59] 1001*2^1248058-1 is not prime. Res64: A4FC999A334D58B2 Time : 0.0 sec. user=juhehe [2013-07-26 16:48:36] 933*2^1248058-1 is not prime. Res64: EB31B6BE65A16DA2 Time : 0.0 sec. user=mdettweiler [2013-07-26 16:49:11] 615*2^1248059-1 is not prime. Res64: AFD0E5EE66696D83 Time : 0.0 sec. user=mdettweiler [2013-07-26 16:49:11] 619*2^1248059-1 is not prime. Res64: 2341914F1D8BA043 Time : 0.0 sec. user=mdettweiler [2013-07-26 17:06:24] 705*2^1248059-1 is not prime. Res64: B5A572CF5F4B0E4C Time : 0.0 sec. user=mdettweiler [2013-07-26 17:06:25] 775*2^1248059-1 is not prime. Res64: 41998C347162CCB8 Time : 0.0 sec. user=mdettweiler [2013-07-26 17:23:42] 799*2^1248059-1 is not prime. Res64: 01C70016DA425142 Time : 0.0 sec. user=mdettweiler [2013-07-26 17:23:43] 811*2^1248059-1 is not prime. Res64: DB88D48CDBEF7B59 Time : 0.0 sec. user=mdettweiler [2013-07-26 17:41:23] 861*2^1248059-1 is not prime. Res64: FC12C19558461499 Time : 0.0 sec. user=mdettweiler [2013-07-26 17:41:24] 885*2^1248059-1 is not prime. Res64: D0966100588D6057 Time : 0.0 sec. user=mdettweiler [2013-07-26 18:00:00] 939*2^1248059-1 is not prime. Res64: DCD7C63E3AAD6DF1 Time : 0.0 sec. user=mdettweiler [2013-07-26 18:00:01] 955*2^1248059-1 is not prime. Res64: 078001D7E3616083 Time : 0.0 sec. user=mdettweiler [2013-07-26 18:17:46] 629*2^1248060-1 is not prime. Res64: 1A21671E1A39166A Time : 0.0 sec. user=mdettweiler [2013-07-26 18:17:46] 635*2^1248060-1 is not prime. Res64: 9199C4F9D15ED8C3 Time : 0.0 sec. user=mdettweiler [2013-07-26 18:35:30] 773*2^1248060-1 is not prime. Res64: F9DEDEDC1442BC26 Time : 0.0 sec. user=mdettweiler [2013-07-26 18:35:31] 857*2^1248060-1 is not prime. Res64: 7A08A2FFD5F905FF Time : 0.0 sec. user=mdettweiler [2013-07-26 18:53:15] 863*2^1248060-1 is not prime. Res64: 2E92D4513FBC6DBA Time : 0.0 sec. user=mdettweiler [2013-07-26 18:53:15] 923*2^1248060-1 is not prime. Res64: 52AC3C8AF1141EFA Time : 0.0 sec. user=mdettweiler [2013-07-26 19:11:55] 929*2^1248060-1 is not prime. Res64: 356B9577A1D82722 Time : 0.0 sec. user=mdettweiler [2013-07-26 19:11:56] 965*2^1248060-1 is not prime. Res64: 6EB64BF34CF61F99 Time : 0.0 sec. user=mdettweiler [2013-07-26 19:29:41] 681*2^1248061-1 is not prime. Res64: DB03BBC92E10E4B7 Time : 0.0 sec. user=mdettweiler [2013-07-26 19:29:41] 687*2^1248061-1 is not prime. Res64: 35C4E9D04686D4EF Time : 0.0 sec. user=mdettweiler [2013-07-26 19:47:05] 829*2^1248061-1 is not prime. Res64: 99463C285858516B Time : 0.0 sec. user=mdettweiler [2013-07-26 19:47:05] 867*2^1248061-1 is not prime. Res64: CBC9A9234A448E5F Time : 0.0 sec. user=mdettweiler [2013-07-26 20:04:29] 877*2^1248061-1 is not prime. Res64: 7FC1BE797B8223E7 Time : 0.0 sec. user=mdettweiler [2013-07-26 20:04:30] 889*2^1248061-1 is not prime. Res64: F25028F32FA85EA2 Time : 0.0 sec. user=mdettweiler [2013-07-26 20:23:34] 957*2^1248061-1 is not prime. Res64: E495BAE0569FAE84 Time : 0.0 sec. user=mdettweiler [2013-07-26 20:23:35] 961*2^1248061-1 is not prime. Res64: 750B5036F51E6237 Time : 0.0 sec. user=mdettweiler [2013-07-26 20:40:59] 617*2^1248062-1 is not prime. Res64: 11EDB4DAC9542017 Time : 0.0 sec. user=mdettweiler [2013-07-26 20:40:59] 935*2^1248062-1 is not prime. Res64: A5E54DC86D6CC112 Time : 0.0 sec. user=mdettweiler [2013-07-26 20:58:22] 669*2^1248063-1 is not prime. Res64: 97E4FEE8C1F55ECE Time : 0.0 sec. user=mdettweiler [2013-07-26 20:58:23] 829*2^1248063-1 is not prime. Res64: 328DF732CE5B2B22 Time : 0.0 sec. user=mdettweiler [2013-07-26 21:15:46] 853*2^1248063-1 is not prime. Res64: FC3AC272D3187CEF Time : 0.0 sec. user=mdettweiler [2013-07-26 21:15:46] 861*2^1248063-1 is not prime. Res64: FA15ACA6334DC1EF Time : 0.0 sec. user=mdettweiler [2013-07-26 21:33:11] 873*2^1248063-1 is not prime. Res64: 855F6835A51A9EA7 Time : 0.0 sec. user=mdettweiler [2013-07-26 21:33:11] 933*2^1248063-1 is not prime. Res64: CF73714F0438C763 Time : 0.0 sec. user=mdettweiler [2013-07-26 21:51:26] 951*2^1248063-1 is not prime. Res64: 1067D27EDFA916E8 Time : 0.0 sec. user=mdettweiler [2013-07-26 21:51:26] 605*2^1248064-1 is not prime. Res64: 2D902869344C6CA3 Time : 0.0 sec. user=mdettweiler [2013-07-26 22:08:51] 635*2^1248064-1 is not prime. Res64: 707BAC7800C97A65 Time : 0.0 sec. user=mdettweiler [2013-07-26 22:08:52] 675*2^1248064-1 is not prime. Res64: 20CC2E8E3DEC5945 Time : 0.0 sec. user=mdettweiler [2013-07-26 22:27:08] 899*2^1248064-1 is not prime. Res64: AE02CF9B5D7ADEBC Time : 0.0 sec. user=mdettweiler [2013-07-26 22:27:08] 983*2^1248064-1 is not prime. Res64: 837FC91ABE640404 Time : 0.0 sec. user=mdettweiler [2013-07-26 22:45:00] 989*2^1248064-1 is not prime. Res64: 7874F9E56572803C Time : 0.0 sec. user=mdettweiler [2013-07-26 22:45:01] 675*2^1248065-1 is not prime. Res64: 8A03A045625291F9 Time : 0.0 sec. user=mdettweiler [2013-07-26 23:02:17] 697*2^1248065-1 is not prime. Res64: BF3157A59CDB6740 Time : 0.0 sec. user=mdettweiler [2013-07-26 23:02:18] 727*2^1248065-1 is not prime. Res64: 2354AEE660C4E8D4 Time : 0.0 sec. user=mdettweiler [2013-07-26 23:20:07] 741*2^1248065-1 is not prime. Res64: 9166DB5BAD627BA9 Time : 0.0 sec. user=mdettweiler [2013-07-26 23:20:07] 801*2^1248065-1 is not prime. Res64: 0EAD28FA3A17A420 Time : 0.0 sec. user=mdettweiler [2013-07-26 23:38:26] 925*2^1248065-1 is not prime. Res64: 5A6D82AFE778C748 Time : 0.0 sec. user=mdettweiler [2013-07-26 23:38:27] 957*2^1248065-1 is not prime. Res64: 74CDE00B8D526955 Time : 0.0 sec. user=mdettweiler [2013-07-26 23:55:34] 683*2^1248066-1 is not prime. Res64: B486428444CA982D Time : 0.0 sec. user=mdettweiler [2013-07-26 23:55:34] 717*2^1248066-1 is not prime. Res64: 596763E3D333231E Time : 0.0 sec.