user=mdettweiler [2015-09-02 00:16:36] 927*2^1408110-1 is not prime. Res64: 8B2175BDC3A06107 Time : 0.0 sec. user=mdettweiler [2015-09-02 00:16:38] 649*2^1408111-1 is not prime. Res64: F5268139F4EEBD40 Time : 0.0 sec. user=mdettweiler [2015-09-02 00:16:42] 651*2^1408111-1 is not prime. Res64: 01EBDA11190959EE Time : 0.0 sec. user=mdettweiler [2015-09-02 00:16:43] 705*2^1408111-1 is not prime. Res64: 936C667A282E6F6F Time : 0.0 sec. user=mdettweiler [2015-09-02 00:16:50] 819*2^1408111-1 is not prime. Res64: E44DD42C95BD9049 Time : 0.0 sec. user=mdettweiler [2015-09-02 00:16:51] 841*2^1408111-1 is not prime. Res64: F7CF5A5B49CC1536 Time : 0.0 sec. user=mdettweiler [2015-09-02 00:17:03] 859*2^1408111-1 is not prime. Res64: 53A40C5F40B208C9 Time : 0.0 sec. user=mdettweiler [2015-09-02 00:17:04] 943*2^1408111-1 is not prime. Res64: C9318618BF40D474 Time : 0.0 sec. user=mdettweiler [2015-09-02 00:34:23] 813*2^1408112-1 is not prime. Res64: E84410191BBE44E5 Time : 0.0 sec. user=mdettweiler [2015-09-02 00:34:23] 909*2^1408112-1 is not prime. Res64: 59F5B25EAA93BBA7 Time : 0.0 sec. user=mdettweiler [2015-09-02 00:34:23] 635*2^1408112-1 is not prime. Res64: 6889D02DF52EAA30 Time : 0.0 sec. user=mdettweiler [2015-09-02 00:34:24] 669*2^1408112-1 is not prime. Res64: 343C0084409E9E0E Time : 0.0 sec. user=mdettweiler [2015-09-02 00:34:33] 637*2^1408113-1 is not prime. Res64: 2D42FDF8FE8776D1 Time : 0.0 sec. user=mdettweiler [2015-09-02 00:34:33] 807*2^1408113-1 is not prime. Res64: 9F1CF2B93421A81D Time : 0.0 sec. user=mdettweiler [2015-09-02 00:34:46] 829*2^1408113-1 is not prime. Res64: A485F60582354588 Time : 0.0 sec. user=mdettweiler [2015-09-02 00:34:46] 847*2^1408113-1 is not prime. Res64: 7203A39AB9B1F299 Time : 0.0 sec. user=mdettweiler [2015-09-02 00:52:16] 701*2^1408114-1 is not prime. Res64: 56DE3590C530890A Time : 0.0 sec. user=mdettweiler [2015-09-02 00:52:17] 705*2^1408114-1 is not prime. Res64: ABF58A2B8DBC7D7C Time : 0.0 sec. user=mdettweiler [2015-09-02 00:52:41] 741*2^1408114-1 is not prime. Res64: 13F5508F1762F951 Time : 0.0 sec. user=mdettweiler [2015-09-02 00:52:41] 747*2^1408114-1 is not prime. Res64: 17B95C221007D627 Time : 0.0 sec. user=mdettweiler [2015-09-02 00:52:59] 921*2^1408113-1 is not prime. Res64: 6BF42F33B9194DD7 Time : 0.0 sec. user=mdettweiler [2015-09-02 00:52:59] 671*2^1408114-1 is not prime. Res64: 138C0F4E532BE309 Time : 0.0 sec. user=mdettweiler [2015-09-02 00:53:04] 861*2^1408114-1 is not prime. Res64: FCD0B89330F892C7 Time : 0.0 sec. user=mdettweiler [2015-09-02 00:53:04] 885*2^1408114-1 is not prime. Res64: 7A5467C22D6BAD08 Time : 0.0 sec. user=mdettweiler [2015-09-02 01:10:15] 971*2^1408114-1 is not prime. Res64: CC50ED712EB7D4CA Time : 0.0 sec. user=mdettweiler [2015-09-02 01:10:15] 993*2^1408114-1 is not prime. Res64: 898EEE6B1532531D Time : 0.0 sec. user=mdettweiler [2015-09-02 01:11:01] 645*2^1408115-1 is not prime. Res64: 9375201FAD3151A0 Time : 0.0 sec. user=mdettweiler [2015-09-02 01:11:01] 705*2^1408115-1 is not prime. Res64: 400579E81B423E25 Time : 0.0 sec. user=mdettweiler [2015-09-02 01:11:09] 735*2^1408116-1 is not prime. Res64: 021073BCD762BC97 Time : 0.0 sec. user=mdettweiler [2015-09-02 01:11:09] 887*2^1408116-1 is not prime. Res64: BC694DFDCB2728B2 Time : 0.0 sec. user=mdettweiler [2015-09-02 01:11:14] 923*2^1408116-1 is not prime. Res64: 22E6CB9B9BB2FA6B Time : 0.0 sec. user=mdettweiler [2015-09-02 01:11:15] 999*2^1408116-1 is not prime. Res64: E85031E2E0F9F9CD Time : 0.0 sec. user=mdettweiler [2015-09-02 01:28:04] 649*2^1408117-1 is not prime. Res64: D2FE4C5AA6960367 Time : 0.0 sec. user=mdettweiler [2015-09-02 01:28:05] 741*2^1408117-1 is not prime. Res64: B93B204BD0465A55 Time : 0.0 sec. user=mdettweiler [2015-09-02 01:28:44] 757*2^1408117-1 is not prime. Res64: 961B238A228CBA0D Time : 0.0 sec. user=mdettweiler [2015-09-02 01:28:45] 765*2^1408117-1 is not prime. Res64: 495C8355A40CC53C Time : 0.0 sec. user=mdettweiler [2015-09-02 01:28:51] 859*2^1408117-1 is not prime. Res64: 93C93F93C31B4383 Time : 0.0 sec. user=mdettweiler [2015-09-02 01:28:52] 871*2^1408117-1 is not prime. Res64: 314A7A3FD2473C7D Time : 0.0 sec. user=mdettweiler [2015-09-02 01:28:55] 919*2^1408117-1 is not prime. Res64: 832BF1C5988EA919 Time : 0.0 sec. user=mdettweiler [2015-09-02 01:28:55] 927*2^1408117-1 is not prime. Res64: 0F22FF8578C4E3E8 Time : 0.0 sec. user=S_K_ [2015-09-02 01:36:59] 861*2^1408113-1 is not prime. Res64: EE442F989A7349F7 Time : 0.0 sec. user=mdettweiler [2015-09-02 01:45:51] 961*2^1408117-1 is not prime. Res64: 3004C769BE8B8B9A Time : 0.0 sec. user=mdettweiler [2015-09-02 01:45:51] 627*2^1408118-1 is not prime. Res64: 10FF3A4962C6A5D0 Time : 0.0 sec. user=mdettweiler [2015-09-02 01:46:28] 745*2^1408119-1 is not prime. Res64: 6E153DC42F16E7D2 Time : 0.0 sec. user=mdettweiler [2015-09-02 01:46:28] 861*2^1408119-1 is not prime. Res64: 779E4561DA2814CD Time : 0.0 sec. user=mdettweiler [2015-09-02 01:46:30] 771*2^1408118-1 is not prime. Res64: 054ED8698D362128 Time : 0.0 sec. user=mdettweiler [2015-09-02 01:46:30] 735*2^1408119-1 is not prime. Res64: EBBC09FE28547E83 Time : 0.0 sec. user=mdettweiler [2015-09-02 01:46:38] 865*2^1408119-1 is not prime. Res64: AE3C5D36019B7FC0 Time : 0.0 sec. user=mdettweiler [2015-09-02 01:46:38] 933*2^1408119-1 is not prime. Res64: F50F974CD0F4176F Time : 0.0 sec. user=mdettweiler [2015-09-02 02:03:35] 985*2^1408119-1 is not prime. Res64: FC688FEAB2E2F348 Time : 0.0 sec. user=mdettweiler [2015-09-02 02:03:36] 839*2^1408120-1 is not prime. Res64: 04A3B9C3D3F43311 Time : 0.0 sec. user=mdettweiler [2015-09-02 02:04:14] 927*2^1408120-1 is not prime. Res64: F07E8F0C4D9382C9 Time : 0.0 sec. user=mdettweiler [2015-09-02 02:04:15] 989*2^1408120-1 is not prime. Res64: 678ED90E3A63250D Time : 0.0 sec. user=mdettweiler [2015-09-02 02:04:17] 601*2^1408121-1 is not prime. Res64: 0117BFD1B720CF04 Time : 0.0 sec. user=mdettweiler [2015-09-02 02:04:19] 651*2^1408121-1 is not prime. Res64: C1D6976CA6CB7316 Time : 0.0 sec. user=mdettweiler [2015-09-02 02:04:22] 669*2^1408121-1 is not prime. Res64: 8574F1B10B0F8AB0 Time : 0.0 sec. user=mdettweiler [2015-09-02 02:04:23] 715*2^1408121-1 is not prime. Res64: 840EF6384CFDF339 Time : 0.0 sec. user=mdettweiler [2015-09-02 02:21:23] 789*2^1408121-1 is not prime. Res64: D462921D45D9B673 Time : 0.0 sec. user=mdettweiler [2015-09-02 02:21:23] 795*2^1408121-1 is not prime. Res64: 75D74C8674590343 Time : 0.0 sec. user=mdettweiler [2015-09-02 02:22:01] 681*2^1408122-1 is not prime. Res64: A1C79BCF518DBD92 Time : 0.0 sec. user=mdettweiler [2015-09-02 02:22:02] 713*2^1408122-1 is not prime. Res64: 7F0A3255F4A77E84 Time : 0.0 sec. user=mdettweiler [2015-09-02 02:22:09] 815*2^1408122-1 is not prime. Res64: AFD39A91DF3C4036 Time : 0.0 sec. user=mdettweiler [2015-09-02 02:22:09] 631*2^1408123-1 is not prime. Res64: 2467F25D817BA339 Time : 0.0 sec. user=mdettweiler [2015-09-02 02:22:11] 699*2^1408123-1 is not prime. Res64: F81D4A6E0201127E Time : 0.0 sec. user=mdettweiler [2015-09-02 02:22:12] 703*2^1408123-1 is not prime. Res64: 033D50B90B799AFB Time : 0.0 sec. user=mdettweiler [2015-09-02 02:39:11] 723*2^1408123-1 is not prime. Res64: 319386A070FAA4B0 Time : 0.0 sec. user=mdettweiler [2015-09-02 02:39:11] 999*2^1408123-1 is not prime. Res64: 6C1B80B83BAD2415 Time : 0.0 sec. user=mdettweiler [2015-09-02 02:39:37] 717*2^1408124-1 is not prime. Res64: 37769574B887FF2A Time : 0.0 sec. user=mdettweiler [2015-09-02 02:39:37] 813*2^1408124-1 is not prime. Res64: 9C0D5BB3E940298A Time : 0.0 sec. user=mdettweiler [2015-09-02 02:39:51] 837*2^1408124-1 is not prime. Res64: FE4D323B3C9E5077 Time : 0.0 sec. user=mdettweiler [2015-09-02 02:39:51] 929*2^1408124-1 is not prime. Res64: F75720EC80E227DF Time : 0.0 sec. user=mdettweiler [2015-09-02 02:39:55] 655*2^1408125-1 is not prime. Res64: 3DA4A0163394F5F0 Time : 0.0 sec. user=mdettweiler [2015-09-02 02:39:56] 685*2^1408125-1 is not prime. Res64: D3740952CF0AD8CB Time : 0.0 sec. user=mdettweiler [2015-09-02 02:56:49] 709*2^1408125-1 is not prime. Res64: 060C44DCE7EED2FD Time : 0.0 sec. user=mdettweiler [2015-09-02 02:56:50] 817*2^1408125-1 is not prime. Res64: BEB9FF46117FED84 Time : 0.0 sec. user=mdettweiler [2015-09-02 02:57:18] 895*2^1408125-1 is not prime. Res64: 47952C71A8563273 Time : 0.0 sec. user=mdettweiler [2015-09-02 02:57:19] 657*2^1408126-1 is not prime. Res64: 1010A4DE54C185FF Time : 0.0 sec. user=mdettweiler [2015-09-02 02:57:32] 983*2^1408126-1 is not prime. Res64: 7500BD745AB4368E Time : 0.0 sec. user=mdettweiler [2015-09-02 02:57:32] 693*2^1408127-1 is not prime. Res64: 9A627A33B8CD0743 Time : 0.0 sec. user=mdettweiler [2015-09-02 02:57:40] 703*2^1408127-1 is not prime. Res64: FDDD953B9EBA7836 Time : 0.0 sec. user=mdettweiler [2015-09-02 02:57:40] 729*2^1408127-1 is not prime. Res64: C590940D96642BB0 Time : 0.0 sec. user=mdettweiler [2015-09-02 03:14:39] 825*2^1408127-1 is not prime. Res64: F064F2D51A2BA85E Time : 0.0 sec. user=mdettweiler [2015-09-02 03:14:39] 841*2^1408127-1 is not prime. Res64: C4D61D06C17B8B6F Time : 0.0 sec. user=mdettweiler [2015-09-02 03:15:08] 931*2^1408127-1 is not prime. Res64: 75BE5D9A724EE776 Time : 0.0 sec. user=mdettweiler [2015-09-02 03:15:09] 663*2^1408128-1 is not prime. Res64: E289CE21C2997218 Time : 0.0 sec. user=mdettweiler [2015-09-02 03:15:10] 789*2^1408128-1 is not prime. Res64: 5AD643BC9520E2C9 Time : 0.0 sec. user=mdettweiler [2015-09-02 03:15:10] 769*2^1408129-1 is not prime. Res64: F01C657358C90ED4 Time : 0.0 sec. user=mdettweiler [2015-09-02 03:15:17] 829*2^1408129-1 is not prime. Res64: B272ACA9D899E982 Time : 0.0 sec. user=mdettweiler [2015-09-02 03:15:17] 885*2^1408129-1 is not prime. Res64: D0C80FF5A95072E3 Time : 0.0 sec. user=mdettweiler [2015-09-02 03:33:19] 895*2^1408129-1 is not prime. Res64: C025C6CC401C38D6 Time : 0.0 sec. user=mdettweiler [2015-09-02 03:33:20] 939*2^1408129-1 is not prime. Res64: E07E79B5C01C2D3B Time : 0.0 sec. user=mdettweiler [2015-09-02 03:33:27] 645*2^1408130-1 is not prime. Res64: 7B5E3EEA1AC5ACF6 Time : 0.0 sec. user=mdettweiler [2015-09-02 03:33:27] 783*2^1408130-1 is not prime. Res64: DD81770BE56FF658 Time : 0.0 sec. user=mdettweiler [2015-09-02 03:33:40] 861*2^1408130-1 is not prime. Res64: 953CDA6A68BFA044 Time : 0.0 sec. user=mdettweiler [2015-09-02 03:33:41] 911*2^1408130-1 is not prime. Res64: C7279B761B77B887 Time : 0.0 sec. user=mdettweiler [2015-09-02 03:33:46] 935*2^1408130-1 is not prime. Res64: 55A2CEEF5606BEF0 Time : 0.0 sec. user=mdettweiler [2015-09-02 03:33:47] 981*2^1408130-1 is not prime. Res64: F41509D500579C41 Time : 0.0 sec. user=mdettweiler [2015-09-02 03:51:02] 651*2^1408131-1 is not prime. Res64: 5D5E88CFB1E2A310 Time : 0.0 sec. user=mdettweiler [2015-09-02 03:51:02] 703*2^1408131-1 is not prime. Res64: 3FE00E661C7FF577 Time : 0.0 sec. user=mdettweiler [2015-09-02 03:51:07] 705*2^1408131-1 is not prime. Res64: 5AC5C3E3F5FC9F6C Time : 0.0 sec. user=mdettweiler [2015-09-02 03:51:08] 741*2^1408131-1 is not prime. Res64: 156D17D9F93FEF42 Time : 0.0 sec. user=mdettweiler [2015-09-02 03:51:23] 829*2^1408131-1 is not prime. Res64: 3C698B872C4B42B3 Time : 0.0 sec. user=mdettweiler [2015-09-02 03:51:24] 909*2^1408131-1 is not prime. Res64: 0E6C4A9A37B201C5 Time : 0.0 sec. user=mdettweiler [2015-09-02 03:51:27] 969*2^1408131-1 is not prime. Res64: EACC7FA7B3D8855B Time : 0.0 sec. user=mdettweiler [2015-09-02 03:51:28] 717*2^1408132-1 is not prime. Res64: 824C6D841E8ED478 Time : 0.0 sec. user=mdettweiler [2015-09-02 04:08:44] 719*2^1408132-1 is not prime. Res64: 84F5861AF6642DBC Time : 0.0 sec. user=mdettweiler [2015-09-02 04:08:45] 777*2^1408132-1 is not prime. Res64: 6F4412F6E4A8F61C Time : 0.0 sec. user=mdettweiler [2015-09-02 04:08:48] 857*2^1408132-1 is not prime. Res64: B86EB0A8B80E9499 Time : 0.0 sec. user=mdettweiler [2015-09-02 04:08:48] 939*2^1408132-1 is not prime. Res64: 3FA206EC389C750A Time : 0.0 sec. user=mdettweiler [2015-09-02 04:09:10] 847*2^1408133-1 is not prime. Res64: 648400E17BFBF148 Time : 0.0 sec. user=mdettweiler [2015-09-02 04:09:10] 615*2^1408133-1 is not prime. Res64: 7EBF7A8969F75EC6 Time : 0.0 sec. user=mdettweiler [2015-09-02 04:09:10] 855*2^1408133-1 is not prime. Res64: 6F9E864395CD8A07 Time : 0.0 sec. user=mdettweiler [2015-09-02 04:09:10] 619*2^1408133-1 is not prime. Res64: FB534FE78FBF5204 Time : 0.0 sec. user=mdettweiler [2015-09-02 04:26:25] 885*2^1408133-1 is not prime. Res64: 338BD84CEDFFC3E3 Time : 0.0 sec. user=mdettweiler [2015-09-02 04:26:25] 747*2^1408134-1 is not prime. Res64: E329EC886CBB671A Time : 0.0 sec. user=mdettweiler [2015-09-02 04:26:38] 875*2^1408134-1 is not prime. Res64: 0B49A58337FAA471 Time : 0.0 sec. user=mdettweiler [2015-09-02 04:26:39] 983*2^1408134-1 is not prime. Res64: FCE935D2766309FC Time : 0.0 sec. user=mdettweiler [2015-09-02 04:26:50] 679*2^1408135-1 is not prime. Res64: E360A7C6F5466B03 Time : 0.0 sec. user=mdettweiler [2015-09-02 04:26:50] 685*2^1408135-1 is not prime. Res64: D1F9D64F139885DC Time : 0.0 sec. user=mdettweiler [2015-09-02 04:26:56] 1001*2^1408134-1 is not prime. Res64: 30808911ECADDAF7 Time : 0.0 sec. user=mdettweiler [2015-09-02 04:26:56] 645*2^1408135-1 is not prime. Res64: 7284DD30DEBC7990 Time : 0.0 sec. user=mdettweiler [2015-09-02 04:44:09] 723*2^1408135-1 is not prime. Res64: EA1C9E828999C9E7 Time : 0.0 sec. user=mdettweiler [2015-09-02 04:44:09] 765*2^1408135-1 is not prime. Res64: 0F555EF470AF7D1B Time : 0.0 sec. user=mdettweiler [2015-09-02 04:44:25] 771*2^1408135-1 is not prime. Res64: AD4440CAF09618A2 Time : 0.0 sec. user=mdettweiler [2015-09-02 04:44:26] 853*2^1408135-1 is not prime. Res64: 06EAE88AEF6158BF Time : 0.0 sec. user=mdettweiler [2015-09-02 04:44:42] 961*2^1408135-1 is not prime. Res64: BB4586A2AA115459 Time : 0.0 sec. user=mdettweiler [2015-09-02 04:44:42] 693*2^1408136-1 is not prime. Res64: 9FE0A5CB06CF4338 Time : 0.0 sec. user=mdettweiler [2015-09-02 04:44:48] 759*2^1408136-1 is not prime. Res64: FCCA074ED14013C6 Time : 0.0 sec. user=mdettweiler [2015-09-02 04:44:48] 773*2^1408136-1 is not prime. Res64: D8A71C713AED4C90 Time : 0.0 sec. user=mdettweiler [2015-09-02 05:01:42] 777*2^1408136-1 is not prime. Res64: F56AC58D8402ED47 Time : 0.0 sec. user=mdettweiler [2015-09-02 05:01:43] 855*2^1408136-1 is not prime. Res64: 666DC258BC91D5E6 Time : 0.0 sec. user=mdettweiler [2015-09-02 05:02:05] 601*2^1408137-1 is not prime. Res64: 95AED6F1BD632007 Time : 0.0 sec. user=mdettweiler [2015-09-02 05:02:05] 609*2^1408137-1 is not prime. Res64: 0D6EB531813F7544 Time : 0.0 sec. user=mdettweiler [2015-09-02 05:02:32] 895*2^1408137-1 is not prime. Res64: 9AFE0B340CB142DB Time : 0.0 sec. user=mdettweiler [2015-09-02 05:02:33] 945*2^1408137-1 is not prime. Res64: 4CEA29CEA36B3EB3 Time : 0.0 sec. user=mdettweiler [2015-09-02 05:02:37] 849*2^1408137-1 is not prime. Res64: 09749F23937E9065 Time : 0.0 sec. user=mdettweiler [2015-09-02 05:02:38] 861*2^1408137-1 is not prime. Res64: B40A64ECCC141169 Time : 0.0 sec. user=mdettweiler [2015-09-02 05:19:27] 605*2^1408138-1 is not prime. Res64: F2D80C0F25B4AF30 Time : 0.0 sec. user=mdettweiler [2015-09-02 05:19:28] 611*2^1408138-1 is not prime. Res64: E6D4082A3053677E Time : 0.0 sec. user=mdettweiler [2015-09-02 05:19:44] 657*2^1408138-1 is not prime. Res64: 497CAC20052DD773 Time : 0.0 sec. user=mdettweiler [2015-09-02 05:19:44] 663*2^1408138-1 is not prime. Res64: A7CD29D19A19732F Time : 0.0 sec. user=mdettweiler [2015-09-02 05:20:13] 665*2^1408138-1 is not prime. Res64: 77E1F1A031FCF4B9 Time : 0.0 sec. user=mdettweiler [2015-09-02 05:20:14] 765*2^1408138-1 is not prime. Res64: 074B9F25DB9EF547 Time : 0.0 sec. user=mdettweiler [2015-09-02 05:20:19] 861*2^1408138-1 is not prime. Res64: DE70DF4E49D939B1 Time : 0.0 sec. user=mdettweiler [2015-09-02 05:20:19] 923*2^1408138-1 is not prime. Res64: F82529F4A93ED9CB Time : 0.0 sec. user=mdettweiler [2015-09-02 05:37:16] 703*2^1408139-1 is not prime. Res64: 22A73FF61565727F Time : 0.0 sec. user=mdettweiler [2015-09-02 05:37:16] 627*2^1408140-1 is not prime. Res64: 43010BD5C2FB909C Time : 0.0 sec. user=mdettweiler [2015-09-02 05:37:25] 699*2^1408140-1 is not prime. Res64: D1067CF91B812BAE Time : 0.0 sec. user=mdettweiler [2015-09-02 05:37:26] 719*2^1408140-1 is not prime. Res64: 15528B74356D0410 Time : 0.0 sec. user=mdettweiler [2015-09-02 05:37:56] 789*2^1408140-1 is not prime. Res64: 56D521D40FD1A289 Time : 0.0 sec. user=mdettweiler [2015-09-02 05:37:56] 795*2^1408140-1 is not prime. Res64: 0547AD42D05FF3A5 Time : 0.0 sec. user=mdettweiler [2015-09-02 05:38:00] 651*2^1408141-1 is not prime. Res64: E544A55BF371E94D Time : 0.0 sec. user=mdettweiler [2015-09-02 05:38:01] 769*2^1408141-1 is not prime. Res64: 75B4409AC91A4C4A Time : 0.0 sec. user=mdettweiler [2015-09-02 05:55:01] 819*2^1408141-1 is not prime. Res64: 97F10EA4C419E8E9 Time : 0.0 sec. user=mdettweiler [2015-09-02 05:55:02] 847*2^1408141-1 is not prime. Res64: DB68FFE018A83A02 Time : 0.0 sec. user=mdettweiler [2015-09-02 05:55:17] 603*2^1408142-1 is not prime. Res64: 02E30CB0FEECDF50 Time : 0.0 sec. user=mdettweiler [2015-09-02 05:55:18] 683*2^1408142-1 is not prime. Res64: 491654B234FD178B Time : 0.0 sec. user=mdettweiler [2015-09-02 05:55:37] 767*2^1408142-1 is not prime. Res64: 8DEC2766228B346C Time : 0.0 sec. user=mdettweiler [2015-09-02 05:55:37] 983*2^1408142-1 is not prime. Res64: 859763C21E0E3F2E Time : 0.0 sec. user=mdettweiler [2015-09-02 05:55:45] 609*2^1408143-1 is not prime. Res64: BEFAF0ABA1D58B07 Time : 0.0 sec. user=mdettweiler [2015-09-02 05:55:46] 685*2^1408143-1 is not prime. Res64: 91AD935DD03996D4 Time : 0.0 sec. user=mdettweiler [2015-09-02 06:12:39] 703*2^1408143-1 is not prime. Res64: 11F66EAA0CD63CB2 Time : 0.0 sec. user=mdettweiler [2015-09-02 06:12:40] 751*2^1408143-1 is not prime. Res64: EA2D8BEA9A76C5AF Time : 0.0 sec. user=mdettweiler [2015-09-02 06:13:02] 765*2^1408143-1 is not prime. Res64: 84046214C61EA0C3 Time : 0.0 sec. user=mdettweiler [2015-09-02 06:13:03] 861*2^1408143-1 is not prime. Res64: EC1B3426D534F15C Time : 0.0 sec. user=mdettweiler [2015-09-02 06:13:16] 949*2^1408143-1 is not prime. Res64: 16838F09B4AC2690 Time : 0.0 sec. user=mdettweiler [2015-09-02 06:13:17] 951*2^1408143-1 is not prime. Res64: 2FB2323A31207CF9 Time : 0.0 sec. user=mdettweiler [2015-09-02 06:13:28] 991*2^1408143-1 is not prime. Res64: 7A2D09C009246F74 Time : 0.0 sec. user=mdettweiler [2015-09-02 06:13:29] 615*2^1408144-1 is not prime. Res64: 7C29D78FE2371F22 Time : 0.0 sec. user=mdettweiler [2015-09-02 06:30:18] 743*2^1408144-1 is not prime. Res64: EF44DC8F9CA4EFED Time : 0.0 sec. user=mdettweiler [2015-09-02 06:30:19] 887*2^1408144-1 is not prime. Res64: F0FFF0B0512017DD Time : 0.0 sec. user=mdettweiler [2015-09-02 06:30:41] 657*2^1408145-1 is not prime. Res64: 271FFAB6DA3C4AB3 Time : 0.0 sec. user=mdettweiler [2015-09-02 06:30:41] 691*2^1408145-1 is not prime. Res64: 5FC2C6FBADE0A033 Time : 0.0 sec. user=mdettweiler [2015-09-02 06:30:59] 805*2^1408145-1 is not prime. Res64: 9E46518556BF1EBE Time : 0.0 sec. user=mdettweiler [2015-09-02 06:31:00] 871*2^1408145-1 is not prime. Res64: EF3E8A63373F3CF7 Time : 0.0 sec. user=mdettweiler [2015-09-02 06:31:17] 635*2^1408146-1 is not prime. Res64: D33EA42B01C60C14 Time : 0.0 sec. user=mdettweiler [2015-09-02 06:31:18] 755*2^1408146-1 is not prime. Res64: FE1BBB4F5BA8E415 Time : 0.0 sec. user=mdettweiler [2015-09-02 06:48:00] 783*2^1408146-1 is not prime. Res64: 65372D21FDA313DA Time : 0.0 sec. user=mdettweiler [2015-09-02 06:48:00] 837*2^1408146-1 is not prime. Res64: 8405999BACDCEF03 Time : 0.0 sec. user=mdettweiler [2015-09-02 06:48:29] 873*2^1408146-1 is not prime. Res64: 64EAD9CF5F7919A3 Time : 0.0 sec. user=mdettweiler [2015-09-02 06:48:29] 601*2^1408147-1 is not prime. Res64: B71CA51A3A83A515 Time : 0.0 sec. user=mdettweiler [2015-09-02 06:48:38] 631*2^1408147-1 is not prime. Res64: 38052E2D20E52289 Time : 0.0 sec. user=mdettweiler [2015-09-02 06:48:39] 835*2^1408147-1 is not prime. Res64: E6E8AE254BA220BE Time : 0.0 sec. user=mdettweiler [2015-09-02 06:49:10] 849*2^1408147-1 is not prime. Res64: ADBA118ABBFACEF1 Time : 0.0 sec. user=mdettweiler [2015-09-02 06:49:10] 915*2^1408147-1 is not prime. Res64: 8B97429F4C02EBB5 Time : 0.0 sec. user=mdettweiler [2015-09-02 07:05:40] 615*2^1408148-1 is not prime. Res64: 7FAA7BDDD52F5A88 Time : 0.0 sec. user=mdettweiler [2015-09-02 07:05:42] 635*2^1408148-1 is not prime. Res64: 1638C0BE6303692A Time : 0.0 sec. user=mdettweiler [2015-09-02 07:06:06] 759*2^1408148-1 is not prime. Res64: F4128836FA435326 Time : 0.0 sec. user=mdettweiler [2015-09-02 07:06:08] 843*2^1408148-1 is not prime. Res64: 83A2E50827859AAD Time : 0.0 sec. user=mdettweiler [2015-09-02 07:06:12] 867*2^1408148-1 is not prime. Res64: E5223EFE9F80C417 Time : 0.0 sec. user=mdettweiler [2015-09-02 07:06:13] 935*2^1408148-1 is not prime. Res64: 54760B674A778DBA Time : 0.0 sec. user=mdettweiler [2015-09-02 07:06:45] 963*2^1408148-1 is not prime. Res64: 7ED4DA6007E06EDC Time : 0.0 sec. user=mdettweiler [2015-09-02 07:06:47] 657*2^1408149-1 is not prime. Res64: 6D5A2851B1D666E2 Time : 0.0 sec. user=mdettweiler [2015-09-02 07:23:41] 817*2^1408149-1 is not prime. Res64: 263F92ED21AFF544 Time : 0.0 sec. user=mdettweiler [2015-09-02 07:23:42] 867*2^1408149-1 is not prime. Res64: 95ECC336A8DB3DFD Time : 0.0 sec. user=mdettweiler [2015-09-02 07:23:44] 661*2^1408149-1 is not prime. Res64: BCD1E829C202700D Time : 0.0 sec. user=mdettweiler [2015-09-02 07:23:45] 787*2^1408149-1 is not prime. Res64: A53FB52C3429D830 Time : 0.0 sec. user=mdettweiler [2015-09-02 07:23:57] 895*2^1408149-1 is not prime. Res64: 25409C38EFB3F6AE Time : 0.0 sec. user=mdettweiler [2015-09-02 07:23:58] 647*2^1408150-1 is not prime. Res64: B2923002732A3F97 Time : 0.0 sec. user=mdettweiler [2015-09-02 07:24:27] 695*2^1408150-1 is not prime. Res64: CB0D7D6F13492E6D Time : 0.0 sec. user=mdettweiler [2015-09-02 07:24:28] 713*2^1408150-1 is not prime. Res64: 233AB224F86334CD Time : 0.0 sec. user=mdettweiler [2015-09-02 07:41:26] 723*2^1408150-1 is not prime. Res64: 16CC0316061962BD Time : 0.0 sec. user=mdettweiler [2015-09-02 07:41:27] 981*2^1408150-1 is not prime. Res64: A2089EB65FC74732 Time : 0.0 sec. user=mdettweiler [2015-09-02 07:41:29] 621*2^1408151-1 is not prime. Res64: 864F9E5A7AF7F414 Time : 0.0 sec. user=mdettweiler [2015-09-02 07:41:29] 735*2^1408151-1 is not prime. Res64: E1C3AFAA6E43A2C9 Time : 0.0 sec. user=mdettweiler [2015-09-02 07:41:43] 805*2^1408151-1 is not prime. Res64: 3AC635F7C4DD5155 Time : 0.0 sec. user=mdettweiler [2015-09-02 07:41:44] 993*2^1408151-1 is not prime. Res64: 950A565C4291E403 Time : 0.0 sec. user=mdettweiler [2015-09-02 07:42:12] 689*2^1408152-1 is not prime. Res64: BE4BB621304723D9 Time : 0.0 sec. user=mdettweiler [2015-09-02 07:42:12] 873*2^1408152-1 is not prime. Res64: 38AC1328CB668353 Time : 0.0 sec. user=mdettweiler [2015-09-02 07:59:07] 879*2^1408152-1 is not prime. Res64: 89284ED5F29DB676 Time : 0.0 sec. user=mdettweiler [2015-09-02 07:59:07] 903*2^1408152-1 is not prime. Res64: D9F273AB6BD9CBF0 Time : 0.0 sec. user=mdettweiler [2015-09-02 07:59:07] 899*2^1408152-1 is not prime. Res64: BF990A5DD2FE8C4B Time : 0.0 sec. user=mdettweiler [2015-09-02 07:59:07] 607*2^1408153-1 is not prime. Res64: 75E89E2D1B76547B Time : 0.0 sec. user=mdettweiler [2015-09-02 07:59:18] 609*2^1408153-1 is not prime. Res64: 92A1ACBC301BA5A2 Time : 0.0 sec. user=mdettweiler [2015-09-02 07:59:19] 699*2^1408153-1 is not prime. Res64: BA0EC343138A25EB Time : 0.0 sec. user=mdettweiler [2015-09-02 07:59:50] 855*2^1408153-1 is not prime. Res64: 895555D2B9D79D67 Time : 0.0 sec. user=mdettweiler [2015-09-02 07:59:50] 915*2^1408153-1 is not prime. Res64: F3245648E99825F4 Time : 0.0 sec. user=mdettweiler [2015-09-02 08:16:57] 773*2^1408154-1 is not prime. Res64: D122AD4E591DE195 Time : 0.0 sec. user=mdettweiler [2015-09-02 08:16:57] 785*2^1408154-1 is not prime. Res64: AD4F8899E50F22A1 Time : 0.0 sec. user=mdettweiler [2015-09-02 08:17:01] 635*2^1408154-1 is not prime. Res64: C001860A21FF4FDD Time : 0.0 sec. user=mdettweiler [2015-09-02 08:17:02] 683*2^1408154-1 is not prime. Res64: 8D4C604B990F7BAA Time : 0.0 sec. user=mdettweiler [2015-09-02 08:17:14] 927*2^1408154-1 is not prime. Res64: ACBC59768146C8C9 Time : 0.0 sec. user=mdettweiler [2015-09-02 08:17:15] 993*2^1408154-1 is not prime. Res64: B4B8376A3E9DED58 Time : 0.0 sec. user=mdettweiler [2015-09-02 08:18:13] 639*2^1408155-1 is not prime. Res64: D556F9BBB7ABE7EE Time : 0.0 sec. user=mdettweiler [2015-09-02 08:18:14] 735*2^1408155-1 is not prime. Res64: 71890799BD5FA3B4 Time : 0.0 sec. user=mdettweiler [2015-09-02 08:34:35] 819*2^1408155-1 is not prime. Res64: 605302B392A2F908 Time : 0.0 sec. user=mdettweiler [2015-09-02 08:34:35] 913*2^1408155-1 is not prime. Res64: B9385C65BFDE27F5 Time : 0.0 sec. user=mdettweiler [2015-09-02 08:34:38] 739*2^1408155-1 is not prime. Res64: 2388E3CF1BA764DE Time : 0.0 sec. user=mdettweiler [2015-09-02 08:34:39] 751*2^1408155-1 is not prime. Res64: DF55A6ACA30D5D3E Time : 0.0 sec. user=mdettweiler [2015-09-02 08:34:48] 615*2^1408156-1 is not prime. Res64: AB1A3D7C3F6C728F Time : 0.0 sec. user=mdettweiler [2015-09-02 08:34:48] 653*2^1408156-1 is not prime. Res64: 57D1F8173BFE3459 Time : 0.0 sec. user=mdettweiler [2015-09-02 08:36:01] 833*2^1408156-1 is not prime. Res64: 219A5851F3BF390A Time : 0.0 sec. user=mdettweiler [2015-09-02 08:36:01] 869*2^1408156-1 is not prime. Res64: 036EC3EDE96699DE Time : 0.0 sec. user=mdettweiler [2015-09-02 08:52:15] 923*2^1408156-1 is not prime. Res64: 05C51C809B7B5FFB Time : 0.0 sec. user=mdettweiler [2015-09-02 08:52:15] 969*2^1408156-1 is not prime. Res64: 6B4554B1B4B8FCE0 Time : 0.0 sec. user=mdettweiler [2015-09-02 08:52:18] 675*2^1408157-1 is not prime. Res64: BD867B42447A23A4 Time : 0.0 sec. user=mdettweiler [2015-09-02 08:52:19] 717*2^1408157-1 is not prime. Res64: BCD4BCA5609F44CA Time : 0.0 sec. user=mdettweiler [2015-09-02 08:52:27] 747*2^1408157-1 is not prime. Res64: E4C7EFA3543858C1 Time : 0.0 sec. user=mdettweiler [2015-09-02 08:52:27] 829*2^1408157-1 is not prime. Res64: 0ED6C5E3B91C9202 Time : 0.0 sec. user=mdettweiler [2015-09-02 08:53:37] 847*2^1408157-1 is not prime. Res64: 135481885950D1D6 Time : 0.0 sec. user=mdettweiler [2015-09-02 08:53:37] 663*2^1408158-1 is not prime. Res64: DFCBE8ACD92AEBC4 Time : 0.0 sec. user=mdettweiler [2015-09-02 09:09:56] 755*2^1408158-1 is not prime. Res64: 12F3B6AED2841332 Time : 0.0 sec. user=mdettweiler [2015-09-02 09:09:57] 975*2^1408158-1 is not prime. Res64: 1DF3897AC1189F1E Time : 0.0 sec. user=mdettweiler [2015-09-02 09:09:57] 977*2^1408158-1 is not prime. Res64: 03E01CAF403C1429 Time : 0.0 sec. user=mdettweiler [2015-09-02 09:09:57] 603*2^1408159-1 is not prime. Res64: EA9991E7C8357F6E Time : 0.0 sec. user=mdettweiler [2015-09-02 09:10:05] 609*2^1408159-1 is not prime. Res64: A4A2546164F7E88C Time : 0.0 sec. user=mdettweiler [2015-09-02 09:10:06] 693*2^1408159-1 is not prime. Res64: 25EA02696B667074 Time : 0.0 sec. user=mdettweiler [2015-09-02 09:11:18] 729*2^1408159-1 is not prime. Res64: F91BC269EA10D594 Time : 0.0 sec. user=mdettweiler [2015-09-02 09:11:19] 741*2^1408159-1 is not prime. Res64: 3E81E6D838FE1558 Time : 0.0 sec. user=mdettweiler [2015-09-02 09:27:43] 725*2^1408160-1 is not prime. Res64: B828FFDDB452D797 Time : 0.0 sec. user=mdettweiler [2015-09-02 09:27:43] 909*2^1408159-1 is not prime. Res64: 5C9F45301B2F5517 Time : 0.0 sec. user=mdettweiler [2015-09-02 09:27:43] 795*2^1408160-1 is not prime. Res64: 456D890A4C1628C0 Time : 0.0 sec. user=mdettweiler [2015-09-02 09:27:44] 665*2^1408160-1 is not prime. Res64: A134DC3A99F10581 Time : 0.0 sec. user=mdettweiler [2015-09-02 09:27:52] 771*2^1408159-1 is not prime. Res64: E90EF57992B3C32F Time : 0.0 sec. user=mdettweiler [2015-09-02 09:27:52] 855*2^1408159-1 is not prime. Res64: AA0868615FD2A535 Time : 0.0 sec. user=mdettweiler [2015-09-02 09:28:58] 827*2^1408160-1 is not prime. Res64: 5792550FA8ABDCAE Time : 0.0 sec. user=mdettweiler [2015-09-02 09:28:59] 711*2^1408161-1 is not prime. Res64: 125F78966FBA825D Time : 0.0 sec. user=mdettweiler [2015-09-02 09:45:17] 745*2^1408161-1 is not prime. Res64: 6B3EF0F6FE934945 Time : 0.0 sec. user=mdettweiler [2015-09-02 09:45:18] 777*2^1408161-1 is not prime. Res64: 9591273A3E9BE876 Time : 0.0 sec. user=mdettweiler [2015-09-02 09:45:19] 717*2^1408161-1 is not prime. Res64: 1C79AA8CF03C4BF3 Time : 0.0 sec. user=mdettweiler [2015-09-02 09:45:20] 727*2^1408161-1 is not prime. Res64: 633F2412D9DA1B5B Time : 0.0 sec. user=mdettweiler [2015-09-02 09:45:27] 969*2^1408161-1 is not prime. Res64: FA23B56638F72C05 Time : 0.0 sec. user=mdettweiler [2015-09-02 09:45:28] 997*2^1408161-1 is not prime. Res64: 08C33C17530F652A Time : 0.0 sec. user=mdettweiler [2015-09-02 09:46:35] 645*2^1408162-1 is not prime. Res64: D8EAE497EB61DD33 Time : 0.0 sec. user=mdettweiler [2015-09-02 09:46:36] 735*2^1408162-1 is not prime. Res64: 2F46DB1717545B8A Time : 0.0 sec. user=mdettweiler [2015-09-02 10:03:28] 777*2^1408162-1 is not prime. Res64: 5020969B78F35158 Time : 0.0 sec. user=mdettweiler [2015-09-02 10:03:29] 833*2^1408162-1 is not prime. Res64: 8C8A80926DA885FA Time : 0.0 sec. user=mdettweiler [2015-09-02 10:03:29] 873*2^1408162-1 is not prime. Res64: C9060482B2B5827F Time : 0.0 sec. user=mdettweiler [2015-09-02 10:03:30] 715*2^1408163-1 is not prime. Res64: D2E645982C6FB510 Time : 0.0 sec. user=mdettweiler [2015-09-02 10:03:38] 825*2^1408163-1 is not prime. Res64: 91989357F3407337 Time : 0.0 sec. user=mdettweiler [2015-09-02 10:03:40] 859*2^1408163-1 is not prime. Res64: 0D57CD06327E4889 Time : 0.0 sec. user=mdettweiler [2015-09-02 10:04:59] 895*2^1408163-1 is not prime. Res64: B96831E02B8A0FCA Time : 0.0 sec. user=mdettweiler [2015-09-02 10:05:01] 939*2^1408163-1 is not prime. Res64: 15A52F07DCA03CAA Time : 0.0 sec. user=mdettweiler [2015-09-02 10:21:56] 789*2^1408164-1 is not prime. Res64: 7513CF4CE487E2C2 Time : 0.0 sec. user=mdettweiler [2015-09-02 10:21:56] 965*2^1408164-1 is not prime. Res64: A76FB1C7CACF1CD0 Time : 0.0 sec. user=mdettweiler [2015-09-02 10:21:58] 981*2^1408163-1 is not prime. Res64: 650A4897982A41F1 Time : 0.0 sec. user=mdettweiler [2015-09-02 10:21:58] 609*2^1408164-1 is not prime. Res64: B4A77F0DE1C4D118 Time : 0.0 sec. user=mdettweiler [2015-09-02 10:22:21] 627*2^1408164-1 is not prime. Res64: 9CE781131472D745 Time : 0.0 sec. user=mdettweiler [2015-09-02 10:22:21] 663*2^1408164-1 is not prime. Res64: E87120ABFA61D3EC Time : 0.0 sec. user=mdettweiler [2015-09-02 10:23:10] 607*2^1408165-1 is not prime. Res64: F5D356AFFE6CCA06 Time : 0.0 sec. user=mdettweiler [2015-09-02 10:23:11] 799*2^1408165-1 is not prime. Res64: 2185F374BFFA9514 Time : 0.0 sec. user=mdettweiler [2015-09-02 10:39:39] 871*2^1408165-1 is not prime. Res64: 2EEDB3069DC7A2E8 Time : 0.0 sec. user=mdettweiler [2015-09-02 10:39:39] 919*2^1408165-1 is not prime. Res64: 4A6527E1DB15EC63 Time : 0.0 sec. user=mdettweiler [2015-09-02 10:39:44] 831*2^1408165-1 is not prime. Res64: 025BB98F833D0FC7 Time : 0.0 sec. user=mdettweiler [2015-09-02 10:39:44] 861*2^1408165-1 is not prime. Res64: 099F1E109EE35291 Time : 0.0 sec. user=mdettweiler [2015-09-02 10:40:16] 997*2^1408165-1 is not prime. Res64: D7900B096E9D62CE Time : 0.0 sec. user=mdettweiler [2015-09-02 10:40:16] 785*2^1408166-1 is not prime. Res64: 4ECA0E43D91B67FF Time : 0.0 sec. user=mdettweiler [2015-09-02 10:41:02] 857*2^1408166-1 is not prime. Res64: 6622E1B0F92EB2B8 Time : 0.0 sec. user=mdettweiler [2015-09-02 10:41:02] 965*2^1408166-1 is not prime. Res64: C5081CBF6C62AAD0 Time : 0.0 sec. user=mdettweiler [2015-09-02 10:57:17] 979*2^1408167-1 is not prime. Res64: 0593A94F405003E5 Time : 0.0 sec. user=mdettweiler [2015-09-02 10:57:18] 629*2^1408168-1 is not prime. Res64: A95CB96C46664339 Time : 0.0 sec. user=mdettweiler [2015-09-02 10:57:18] 819*2^1408167-1 is not prime. Res64: 8537BB5677042669 Time : 0.0 sec. user=mdettweiler [2015-09-02 10:57:18] 901*2^1408167-1 is not prime. Res64: 6AFBAAA1091ED285 Time : 0.0 sec. user=mdettweiler [2015-09-02 10:57:54] 723*2^1408168-1 is not prime. Res64: 76C8E54D1D25179F Time : 0.0 sec. user=mdettweiler [2015-09-02 10:57:55] 813*2^1408168-1 is not prime. Res64: 4A0FCA27408DCDF8 Time : 0.0 sec. user=mdettweiler [2015-09-02 10:58:38] 819*2^1408168-1 is not prime. Res64: 2580570A98D44B30 Time : 0.0 sec. user=mdettweiler [2015-09-02 10:58:38] 855*2^1408168-1 is not prime. Res64: 567841EA31CD1719 Time : 0.0 sec. user=mdettweiler [2015-09-02 11:14:51] 615*2^1408169-1 is not prime. Res64: AC1B372934E20B82 Time : 0.0 sec. user=mdettweiler [2015-09-02 11:14:51] 627*2^1408170-1 is not prime. Res64: ADF0B976E53CFD8A Time : 0.0 sec. user=mdettweiler [2015-09-02 11:15:02] 651*2^1408170-1 is not prime. Res64: 403A7AB8AEC33D52 Time : 0.0 sec. user=mdettweiler [2015-09-02 11:15:03] 725*2^1408170-1 is not prime. Res64: E6F239741ADB977E Time : 0.0 sec. user=mdettweiler [2015-09-02 11:15:28] 797*2^1408170-1 is not prime. Res64: 51C09ADCB9746019 Time : 0.0 sec. user=mdettweiler [2015-09-02 11:15:28] 821*2^1408170-1 is not prime. Res64: B846B0A4C03DBB41 Time : 0.0 sec. user=mdettweiler [2015-09-02 11:16:17] 917*2^1408170-1 is not prime. Res64: FBF1341828114A26 Time : 0.0 sec. user=mdettweiler [2015-09-02 11:16:18] 951*2^1408170-1 is not prime. Res64: 85B7B841857D3353 Time : 0.0 sec. user=mdettweiler [2015-09-02 11:32:32] 601*2^1408171-1 is not prime. Res64: 640AA838CB2B499F Time : 0.0 sec. user=mdettweiler [2015-09-02 11:32:33] 625*2^1408171-1 is not prime. Res64: 7BFBA06EF2A41E26 Time : 0.0 sec. user=mdettweiler [2015-09-02 11:32:38] 639*2^1408171-1 is not prime. Res64: 0CDF6E270EF824E5 Time : 0.0 sec. user=mdettweiler [2015-09-02 11:32:38] 693*2^1408171-1 is not prime. Res64: D09751911AD746E0 Time : 0.0 sec. user=mdettweiler [2015-09-02 11:33:12] 703*2^1408171-1 is not prime. Res64: 4324669C706E1C19 Time : 0.0 sec. user=mdettweiler [2015-09-02 11:33:12] 871*2^1408171-1 is not prime. Res64: 4DD10DB2D69E8653 Time : 0.0 sec. user=mdettweiler [2015-09-02 11:34:04] 891*2^1408171-1 is not prime. Res64: C2CE76556E3A8EF4 Time : 0.0 sec. user=mdettweiler [2015-09-02 11:34:05] 951*2^1408171-1 is not prime. Res64: ED04E4753AEF1860 Time : 0.0 sec. user=mdettweiler [2015-09-02 11:50:13] 999*2^1408171-1 is not prime. Res64: 829BCEDDCE5B5A13 Time : 0.0 sec. user=mdettweiler [2015-09-02 11:50:13] 623*2^1408172-1 is not prime. Res64: B1E72FE05606754A Time : 0.0 sec. user=mdettweiler [2015-09-02 11:50:22] 725*2^1408172-1 is not prime. Res64: ED0F5457F271038F Time : 0.0 sec. user=mdettweiler [2015-09-02 11:50:23] 873*2^1408172-1 is not prime. Res64: 50B43C11047323E9 Time : 0.0 sec. user=mdettweiler [2015-09-02 11:50:55] 903*2^1408172-1 is not prime. Res64: AFC20C182B7FFF2B Time : 0.0 sec. user=mdettweiler [2015-09-02 11:50:56] 977*2^1408172-1 is not prime. Res64: D7466888988EFBA7 Time : 0.0 sec. user=mdettweiler [2015-09-02 11:51:48] 627*2^1408173-1 is not prime. Res64: EDA244201AC0D4E9 Time : 0.0 sec. user=mdettweiler [2015-09-02 11:51:48] 847*2^1408173-1 is not prime. Res64: FB1BEEA6B71413D6 Time : 0.0 sec. user=S_K_ [2015-09-02 11:53:54] 1001*2^1408170-1 is not prime. Res64: 0B64E77E5296AC99 Time : 0.0 sec. user=mdettweiler [2015-09-02 12:07:58] 919*2^1408173-1 is not prime. Res64: B97AA94DFA59BCF4 Time : 0.0 sec. user=mdettweiler [2015-09-02 12:07:59] 945*2^1408173-1 is not prime. Res64: 03F28F32EAC2F8A6 Time : 0.0 sec. user=mdettweiler [2015-09-02 12:08:00] 955*2^1408173-1 is not prime. Res64: B98FAECBDE2AF1CB Time : 0.0 sec. user=mdettweiler [2015-09-02 12:08:01] 611*2^1408174-1 is not prime. Res64: 73347D8BC1F855CE Time : 0.0 sec. user=mdettweiler [2015-09-02 12:08:39] 635*2^1408174-1 is not prime. Res64: 9B8327894011DF9D Time : 0.0 sec. user=mdettweiler [2015-09-02 12:08:39] 681*2^1408174-1 is not prime. Res64: B946EDE1B7CF670A Time : 0.0 sec. user=mdettweiler [2015-09-02 12:09:36] 705*2^1408174-1 is not prime. Res64: BF898733CC3D6262 Time : 0.0 sec. user=mdettweiler [2015-09-02 12:09:36] 827*2^1408174-1 is not prime. Res64: 147DF82EA241092F Time : 0.0 sec. user=mdettweiler [2015-09-02 12:25:39] 603*2^1408175-1 is not prime. Res64: 079547464868322A Time : 0.0 sec. user=mdettweiler [2015-09-02 12:25:39] 735*2^1408175-1 is not prime. Res64: 0AFB10818C7243A2 Time : 0.0 sec. user=mdettweiler [2015-09-02 12:25:56] 861*2^1408174-1 is not prime. Res64: C62153E6E3664711 Time : 0.0 sec. user=mdettweiler [2015-09-02 12:25:56] 945*2^1408174-1 is not prime. Res64: D26DDB740412063A Time : 0.0 sec. user=mdettweiler [2015-09-02 12:26:23] 789*2^1408175-1 is not prime. Res64: BEB880B8F056D98A Time : 0.0 sec. user=mdettweiler [2015-09-02 12:26:23] 825*2^1408175-1 is not prime. Res64: 1D65F442804F9155 Time : 0.0 sec. user=mdettweiler [2015-09-02 12:27:22] 939*2^1408175-1 is not prime. Res64: 913986CA6AFA9F7F Time : 0.0 sec. user=mdettweiler [2015-09-02 12:27:23] 943*2^1408175-1 is not prime. Res64: 44AA722895A0705D Time : 0.0 sec. user=S_K_ [2015-09-02 12:33:53] 831*2^1408174-1 is not prime. Res64: F20B9DFC68C05F6B Time : 0.0 sec. user=mdettweiler [2015-09-02 12:43:17] 705*2^1408176-1 is not prime. Res64: 935D1A2733F4BA9D Time : 0.0 sec. user=mdettweiler [2015-09-02 12:43:18] 765*2^1408176-1 is not prime. Res64: 1377E2E1F6F2882B Time : 0.0 sec. user=mdettweiler [2015-09-02 12:43:36] 843*2^1408176-1 is not prime. Res64: 1C6C75B1FC866E78 Time : 0.0 sec. user=mdettweiler [2015-09-02 12:43:37] 845*2^1408176-1 is not prime. Res64: 0C23892D85E08741 Time : 0.0 sec. user=mdettweiler [2015-09-02 12:44:05] 887*2^1408176-1 is not prime. Res64: EFDADE3F70863171 Time : 0.0 sec. user=mdettweiler [2015-09-02 12:44:05] 909*2^1408176-1 is not prime. Res64: 5F5DA9019D41C922 Time : 0.0 sec. user=mdettweiler [2015-09-02 12:45:04] 975*2^1408176-1 is not prime. Res64: C55D0542AD2032D0 Time : 0.0 sec. user=mdettweiler [2015-09-02 12:45:04] 619*2^1408177-1 is not prime. Res64: 7671F6B726DC12EF Time : 0.0 sec. user=mdettweiler [2015-09-02 13:00:59] 937*2^1408177-1 is not prime. Res64: 28B19A47039CB428 Time : 0.0 sec. user=mdettweiler [2015-09-02 13:00:59] 945*2^1408177-1 is not prime. Res64: 2D461231128B8AD3 Time : 0.0 sec. user=mdettweiler [2015-09-02 13:01:14] 633*2^1408178-1 is not prime. Res64: 764CCC569CA3DAFE Time : 0.0 sec. user=mdettweiler [2015-09-02 13:01:15] 755*2^1408178-1 is not prime. Res64: 5139981F53B3263A Time : 0.0 sec. user=mdettweiler [2015-09-02 13:01:45] 771*2^1408178-1 is not prime. Res64: 69C0F5156F596841 Time : 0.0 sec. user=mdettweiler [2015-09-02 13:01:46] 773*2^1408178-1 is not prime. Res64: A8DCD4693859B07C Time : 0.0 sec. user=mdettweiler [2015-09-02 13:02:45] 801*2^1408178-1 is not prime. Res64: 2C34EC4FF5DB03A9 Time : 0.0 sec. user=mdettweiler [2015-09-02 13:02:46] 833*2^1408178-1 is not prime. Res64: 06132A565A6A2E06 Time : 0.0 sec. user=S_K_ [2015-09-02 13:12:48] 691*2^1408177-1 is not prime. Res64: 84F5CD04EFD1D5D5 Time : 0.0 sec. user=mdettweiler [2015-09-02 13:18:38] 861*2^1408178-1 is not prime. Res64: B1D0022A97AA8235 Time : 0.0 sec. user=mdettweiler [2015-09-02 13:18:38] 1001*2^1408178-1 is not prime. Res64: 144BD661BA7F7B7D Time : 0.0 sec. user=mdettweiler [2015-09-02 13:19:00] 619*2^1408179-1 is not prime. Res64: 2D6034C36738D6A1 Time : 0.0 sec. user=mdettweiler [2015-09-02 13:19:01] 633*2^1408179-1 is not prime. Res64: B137E34B337DC187 Time : 0.0 sec. user=mdettweiler [2015-09-02 13:19:33] 795*2^1408179-1 is not prime. Res64: 02B844A79F342095 Time : 0.0 sec. user=mdettweiler [2015-09-02 13:19:33] 873*2^1408179-1 is not prime. Res64: 9F645B6B97A2095B Time : 0.0 sec. user=mdettweiler [2015-09-02 13:20:31] 949*2^1408179-1 is not prime. Res64: FD44C60B6C59FB3E Time : 0.0 sec. user=mdettweiler [2015-09-02 13:20:31] 615*2^1408180-1 is not prime. Res64: D8ED70DC3FCC2F86 Time : 0.0 sec. user=mdettweiler [2015-09-02 13:36:19] 699*2^1408180-1 is not prime. Res64: 6D62CC58E60EF54E Time : 0.0 sec. user=mdettweiler [2015-09-02 13:36:19] 819*2^1408180-1 is not prime. Res64: AEED524599AF8530 Time : 0.0 sec. user=mdettweiler [2015-09-02 13:36:52] 885*2^1408180-1 is not prime. Res64: F3B6368695A7531F Time : 0.0 sec. user=mdettweiler [2015-09-02 13:36:52] 939*2^1408180-1 is not prime. Res64: A6B9B6837E4F2A98 Time : 0.0 sec. user=mdettweiler [2015-09-02 13:37:11] 957*2^1408180-1 is not prime. Res64: A6330DE9FD46B650 Time : 0.0 sec. user=mdettweiler [2015-09-02 13:37:11] 675*2^1408181-1 is not prime. Res64: CBB40130EF2E3B75 Time : 0.0 sec. user=mdettweiler [2015-09-02 13:38:11] 717*2^1408181-1 is not prime. Res64: C850AF0B949A4C4E Time : 0.0 sec. user=mdettweiler [2015-09-02 13:38:11] 789*2^1408181-1 is not prime. Res64: 7B6B6CD91D9E9A58 Time : 0.0 sec. user=mdettweiler [2015-09-02 13:54:06] 859*2^1408181-1 is not prime. Res64: 1FC19B06D119E7E6 Time : 0.0 sec. user=mdettweiler [2015-09-02 13:54:06] 901*2^1408181-1 is not prime. Res64: 71E17B60054747A2 Time : 0.0 sec. user=mdettweiler [2015-09-02 13:54:56] 987*2^1408181-1 is not prime. Res64: 84BED29536A79C71 Time : 0.0 sec. user=mdettweiler [2015-09-02 13:54:57] 931*2^1408181-1 is not prime. Res64: 247A22EC02A74362 Time : 0.0 sec. user=mdettweiler [2015-09-02 13:54:57] 621*2^1408182-1 is not prime. Res64: 18DC553619A843A3 Time : 0.0 sec. user=mdettweiler [2015-09-02 13:54:57] 955*2^1408181-1 is not prime. Res64: 8132F1E610092D26 Time : 0.0 sec. user=mdettweiler [2015-09-02 13:55:55] 717*2^1408182-1 is not prime. Res64: 04EB348E259AEC2B Time : 0.0 sec. user=mdettweiler [2015-09-02 13:55:55] 765*2^1408182-1 is not prime. Res64: EA521D2C8CE50A0B Time : 0.0 sec. user=mdettweiler [2015-09-02 14:11:46] 801*2^1408182-1 is not prime. Res64: B5D395384000CE6D Time : 0.0 sec. user=mdettweiler [2015-09-02 14:11:47] 843*2^1408182-1 is not prime. Res64: D3E5A82B299037A4 Time : 0.0 sec. user=mdettweiler [2015-09-02 14:12:34] 983*2^1408182-1 is not prime. Res64: 9E601E9B79DC0DB4 Time : 0.0 sec. user=mdettweiler [2015-09-02 14:12:35] 649*2^1408183-1 is not prime. Res64: D0510410C438F858 Time : 0.0 sec. user=mdettweiler [2015-09-02 14:12:36] 685*2^1408183-1 is not prime. Res64: F139AA807E1FF3A1 Time : 0.0 sec. user=mdettweiler [2015-09-02 14:12:37] 709*2^1408183-1 is not prime. Res64: 35A78B332F222B3C Time : 0.0 sec. user=mdettweiler [2015-09-02 14:13:38] 723*2^1408183-1 is not prime. Res64: F75FB748EDC2D458 Time : 0.0 sec. user=mdettweiler [2015-09-02 14:13:38] 793*2^1408183-1 is not prime. Res64: 0DFFEEB79971F09E Time : 0.0 sec. user=mdettweiler [2015-09-02 14:29:25] 831*2^1408183-1 is not prime. Res64: 7AA9F6BDCEABF456 Time : 0.0 sec. user=mdettweiler [2015-09-02 14:29:25] 849*2^1408183-1 is not prime. Res64: 88F26358ADABF051 Time : 0.0 sec. user=mdettweiler [2015-09-02 14:30:18] 747*2^1408184-1 is not prime. Res64: D699171D1598DCEA Time : 0.0 sec. user=mdettweiler [2015-09-02 14:30:18] 899*2^1408184-1 is not prime. Res64: 86E74E5EE3D287B0 Time : 0.0 sec. user=mdettweiler [2015-09-02 14:30:19] 615*2^1408184-1 is not prime. Res64: 273D26205D253B5D Time : 0.0 sec. user=mdettweiler [2015-09-02 14:30:20] 689*2^1408184-1 is not prime. Res64: 7354A3692F3CA7DC Time : 0.0 sec. user=mdettweiler [2015-09-02 14:31:18] 903*2^1408184-1 is not prime. Res64: E8973E7D4FC92E75 Time : 0.0 sec. user=mdettweiler [2015-09-02 14:31:18] 649*2^1408185-1 is not prime. Res64: AA9F47DE33E57DF1 Time : 0.0 sec. user=mdettweiler [2015-09-02 14:47:08] 657*2^1408185-1 is not prime. Res64: C1A333330E897105 Time : 0.0 sec. user=mdettweiler [2015-09-02 14:47:09] 739*2^1408185-1 is not prime. Res64: F0AC9BA2CB325C2A Time : 0.0 sec. user=mdettweiler [2015-09-02 14:47:54] 773*2^1408186-1 is not prime. Res64: 3440619F45F15B26 Time : 0.0 sec. user=mdettweiler [2015-09-02 14:47:54] 821*2^1408186-1 is not prime. Res64: 7159E467E3CBCA36 Time : 0.0 sec. user=mdettweiler [2015-09-02 14:47:57] 819*2^1408185-1 is not prime. Res64: F938692D5FAB4801 Time : 0.0 sec. user=mdettweiler [2015-09-02 14:47:57] 919*2^1408185-1 is not prime. Res64: 01AAB1092E697D4E Time : 0.0 sec. user=mdettweiler [2015-09-02 14:49:00] 887*2^1408186-1 is not prime. Res64: 80D47E4330B98638 Time : 0.0 sec. user=mdettweiler [2015-09-02 14:49:00] 903*2^1408186-1 is not prime. Res64: D65EA88709A65EB3 Time : 0.0 sec. user=mdettweiler [2015-09-02 15:04:52] 619*2^1408187-1 is not prime. Res64: 2DEC3BA576D70992 Time : 0.0 sec. user=mdettweiler [2015-09-02 15:04:53] 631*2^1408187-1 is not prime. Res64: BDCFF5C4BFDBE109 Time : 0.0 sec. user=mdettweiler [2015-09-02 15:05:36] 889*2^1408187-1 is not prime. Res64: 516592C23900B228 Time : 0.0 sec. user=mdettweiler [2015-09-02 15:05:37] 973*2^1408187-1 is not prime. Res64: B6FF36E6F821D23E Time : 0.0 sec. user=mdettweiler [2015-09-02 15:05:43] 801*2^1408187-1 is not prime. Res64: 821D80FB4F49BCE3 Time : 0.0 sec. user=mdettweiler [2015-09-02 15:05:44] 885*2^1408187-1 is not prime. Res64: BF4209ECCC35A685 Time : 0.0 sec. user=mdettweiler [2015-09-02 15:06:42] 993*2^1408187-1 is not prime. Res64: 0C0E71C6E820EC45 Time : 0.0 sec. user=mdettweiler [2015-09-02 15:06:43] 627*2^1408188-1 is not prime. Res64: 4D629D6D00DAC55B Time : 0.0 sec. user=S_K_ [2015-09-02 15:17:22] 911*2^1408186-1 is not prime. Res64: 2401F0C6BF2042AF Time : 0.0 sec. user=mdettweiler [2015-09-02 15:22:51] 647*2^1408188-1 is not prime. Res64: 40958AB4AAB29C98 Time : 0.0 sec. user=mdettweiler [2015-09-02 15:22:51] 689*2^1408188-1 is not prime. Res64: 097BFFB321990916 Time : 0.0 sec. user=mdettweiler [2015-09-02 15:23:20] 797*2^1408188-1 is not prime. Res64: 830BCD6D3FD2A4C2 Time : 0.0 sec. user=mdettweiler [2015-09-02 15:23:20] 845*2^1408188-1 is not prime. Res64: 674CEED68429ED5A Time : 0.0 sec. user=mdettweiler [2015-09-02 15:23:27] 929*2^1408188-1 is not prime. Res64: 0E043D6061856421 Time : 0.0 sec. user=mdettweiler [2015-09-02 15:23:27] 933*2^1408188-1 is not prime. Res64: FCF5FD6E736731B7 Time : 0.0 sec. user=mdettweiler [2015-09-02 15:24:30] 945*2^1408188-1 is not prime. Res64: 04C913C67AD6683E Time : 0.0 sec. user=mdettweiler [2015-09-02 15:24:31] 609*2^1408189-1 is not prime. Res64: 61FBAFC4BEA0AA80 Time : 0.0 sec. user=mdettweiler [2015-09-02 15:40:31] 639*2^1408189-1 is not prime. Res64: FE5868558275EB4F Time : 0.0 sec. user=mdettweiler [2015-09-02 15:40:32] 685*2^1408189-1 is not prime. Res64: 256348FB06309188 Time : 0.0 sec. user=mdettweiler [2015-09-02 15:41:02] 759*2^1408189-1 is not prime. Res64: B17678970534B63C Time : 0.0 sec. user=mdettweiler [2015-09-02 15:41:02] 691*2^1408189-1 is not prime. Res64: 18E228D3AD68C0CC Time : 0.0 sec. user=mdettweiler [2015-09-02 15:41:02] 769*2^1408189-1 is not prime. Res64: 05440A3F0A1A66C6 Time : 0.0 sec. user=mdettweiler [2015-09-02 15:41:02] 699*2^1408189-1 is not prime. Res64: 2CA7A2B9B646EEC9 Time : 0.0 sec. user=mdettweiler [2015-09-02 15:42:14] 817*2^1408189-1 is not prime. Res64: 21E7590823B8555A Time : 0.0 sec. user=mdettweiler [2015-09-02 15:42:14] 951*2^1408189-1 is not prime. Res64: 849BDC6B00D92900 Time : 0.0 sec. user=mdettweiler [2015-09-02 15:58:16] 671*2^1408190-1 is not prime. Res64: E239F8BD0439A873 Time : 0.0 sec. user=mdettweiler [2015-09-02 15:58:16] 675*2^1408190-1 is not prime. Res64: DE193D1FA1C17947 Time : 0.0 sec. user=mdettweiler [2015-09-02 15:58:49] 609*2^1408191-1 is not prime. Res64: 93C2C05D63C007F3 Time : 0.0 sec. user=mdettweiler [2015-09-02 15:58:49] 615*2^1408191-1 is not prime. Res64: B2ACC83917BEEC02 Time : 0.0 sec. user=mdettweiler [2015-09-02 15:58:53] 707*2^1408190-1 is not prime. Res64: 375212593CCC75CF Time : 0.0 sec. user=mdettweiler [2015-09-02 15:58:53] 601*2^1408191-1 is not prime. Res64: 048E6444AF4CE1F1 Time : 0.0 sec. user=mdettweiler [2015-09-02 15:59:57] 619*2^1408191-1 is not prime. Res64: 1A79BBF6B8557009 Time : 0.0 sec. user=mdettweiler [2015-09-02 15:59:57] 685*2^1408191-1 is not prime. Res64: 60D88FBE7F9E2B24 Time : 0.0 sec. user=mdettweiler [2015-09-02 16:15:55] 741*2^1408191-1 is not prime. Res64: CCC15403497AC482 Time : 0.0 sec. user=mdettweiler [2015-09-02 16:15:55] 861*2^1408191-1 is not prime. Res64: 7DB497874E01FFDB Time : 0.0 sec. user=mdettweiler [2015-09-02 16:16:34] 609*2^1408192-1 is not prime. Res64: BD71614CC647C013 Time : 0.0 sec. user=mdettweiler [2015-09-02 16:16:34] 677*2^1408192-1 is not prime. Res64: 41369186E684A0E2 Time : 0.0 sec. user=mdettweiler [2015-09-02 16:16:36] 873*2^1408191-1 is not prime. Res64: 6B95E3F94415AAD0 Time : 0.0 sec. user=mdettweiler [2015-09-02 16:16:37] 921*2^1408191-1 is not prime. Res64: 1D581B8EBA676EF9 Time : 0.0 sec. user=mdettweiler [2015-09-02 16:17:34] 689*2^1408192-1 is not prime. Res64: B77CACBB3A01AFA3 Time : 0.0 sec. user=mdettweiler [2015-09-02 16:17:34] 693*2^1408192-1 is not prime. Res64: B8ED89E5F1D839B9 Time : 0.0 sec. user=mdettweiler [2015-09-02 16:33:30] 735*2^1408192-1 is not prime. Res64: 551154DE19449467 Time : 0.0 sec. user=mdettweiler [2015-09-02 16:33:30] 755*2^1408192-1 is not prime. Res64: 73528B5A9784BCE6 Time : 0.0 sec. user=mdettweiler [2015-09-02 16:34:16] 765*2^1408192-1 is not prime. Res64: 8B2EDCBC1BA0F09B Time : 0.0 sec. user=mdettweiler [2015-09-02 16:34:16] 797*2^1408192-1 is not prime. Res64: 04CEC161822EB909 Time : 0.0 sec. user=mdettweiler [2015-09-02 16:34:18] 825*2^1408192-1 is not prime. Res64: 00A0241785906139 Time : 0.0 sec. user=mdettweiler [2015-09-02 16:34:18] 929*2^1408192-1 is not prime. Res64: 3D9F84CA203BBFC5 Time : 0.0 sec. user=mdettweiler [2015-09-02 16:35:14] 615*2^1408193-1 is not prime. Res64: 891CF4CE69FEC4E7 Time : 0.0 sec. user=mdettweiler [2015-09-02 16:35:14] 619*2^1408193-1 is not prime. Res64: 94A7CC8B88913F1A Time : 0.0 sec. user=mdettweiler [2015-09-02 16:52:30] 747*2^1408193-1 is not prime. Res64: 7B08E4B5976AB95D Time : 0.0 sec. user=mdettweiler [2015-09-02 16:52:30] 769*2^1408193-1 is not prime. Res64: 2F55EA12BB35301D Time : 0.0 sec. user=mdettweiler [2015-09-02 16:53:01] 795*2^1408193-1 is not prime. Res64: FEE96F0F4CE8C39B Time : 0.0 sec. user=mdettweiler [2015-09-02 16:53:01] 829*2^1408193-1 is not prime. Res64: 09176BE9205B095B Time : 0.0 sec. user=mdettweiler [2015-09-02 16:53:27] 855*2^1408193-1 is not prime. Res64: 1FC9813AB4C85CCE Time : 0.0 sec. user=mdettweiler [2015-09-02 16:53:28] 901*2^1408193-1 is not prime. Res64: 44450D7085202F64 Time : 0.0 sec. user=mdettweiler [2015-09-02 16:54:16] 747*2^1408194-1 is not prime. Res64: 3FA1AA3D03603DC8 Time : 0.0 sec. user=mdettweiler [2015-09-02 16:54:17] 797*2^1408194-1 is not prime. Res64: DD17B93B68D49EB6 Time : 0.0 sec. user=mdettweiler [2015-09-02 17:13:05] 921*2^1408194-1 is not prime. Res64: C593C859F5415CB6 Time : 0.0 sec. user=mdettweiler [2015-09-02 17:13:05] 927*2^1408194-1 is not prime. Res64: C2B0149E25A1638B Time : 0.0 sec. user=mdettweiler [2015-09-02 17:13:34] 941*2^1408194-1 is not prime. Res64: BF620CD044EBB55C Time : 0.0 sec. user=mdettweiler [2015-09-02 17:13:34] 663*2^1408195-1 is not prime. Res64: D86B822388CA0555 Time : 0.0 sec. user=mdettweiler [2015-09-02 17:14:07] 723*2^1408195-1 is not prime. Res64: 1E508AA65F2D1FF0 Time : 0.0 sec. user=mdettweiler [2015-09-02 17:14:08] 819*2^1408195-1 is not prime. Res64: 787ED296CF6A66D5 Time : 0.0 sec. user=mdettweiler [2015-09-02 17:14:59] 891*2^1408195-1 is not prime. Res64: 775D7E01DB744554 Time : 0.0 sec. user=mdettweiler [2015-09-02 17:14:59] 915*2^1408195-1 is not prime. Res64: C85CCFB0BCBB6DAA Time : 0.0 sec. user=S_K_ [2015-09-02 17:18:50] 861*2^1408194-1 is not prime. Res64: 25735CAC0EA9A4C5 Time : 0.0 sec. user=mdettweiler [2015-09-02 17:31:03] 925*2^1408195-1 is not prime. Res64: 9EB5651C97883F96 Time : 0.0 sec. user=mdettweiler [2015-09-02 17:31:03] 603*2^1408196-1 is not prime. Res64: D817169DD21BF2BB Time : 0.0 sec. user=mdettweiler [2015-09-02 17:31:42] 659*2^1408196-1 is not prime. Res64: 2B065DE654357960 Time : 0.0 sec. user=mdettweiler [2015-09-02 17:31:42] 691*2^1408197-1 is not prime. Res64: F9230860AA60D973 Time : 0.0 sec. user=mdettweiler [2015-09-02 17:32:12] 949*2^1408197-1 is not prime. Res64: 1A1DE7F285C012A9 Time : 0.0 sec. user=mdettweiler [2015-09-02 17:32:12] 665*2^1408198-1 is not prime. Res64: 7879C66455D8AA2D Time : 0.0 sec. user=mdettweiler [2015-09-02 17:33:26] 755*2^1408198-1 is not prime. Res64: BE6205E561DB5B5E Time : 0.0 sec. user=mdettweiler [2015-09-02 17:33:26] 765*2^1408198-1 is not prime. Res64: 50A0E921F33829F5 Time : 0.0 sec. user=mdettweiler [2015-09-02 17:51:23] 815*2^1408198-1 is not prime. Res64: 3CF7F0C142B27706 Time : 0.0 sec. user=mdettweiler [2015-09-02 17:51:23] 825*2^1408198-1 is not prime. Res64: 14B4636A6D751782 Time : 0.0 sec. user=mdettweiler [2015-09-02 17:51:25] 897*2^1408198-1 is not prime. Res64: 0443D955F0BD6E8C Time : 0.0 sec. user=mdettweiler [2015-09-02 17:51:26] 615*2^1408199-1 is not prime. Res64: A1E8FBA6B3A75554 Time : 0.0 sec. user=mdettweiler [2015-09-02 17:52:30] 643*2^1408199-1 is not prime. Res64: D3FCBD3E3D4D956F Time : 0.0 sec. user=mdettweiler [2015-09-02 17:52:31] 705*2^1408199-1 is not prime. Res64: 2D95A10BF6EC9BC6 Time : 0.0 sec. user=mdettweiler [2015-09-02 17:53:18] 711*2^1408199-1 is not prime. Res64: 57936B96480AC518 Time : 0.0 sec. user=mdettweiler [2015-09-02 17:53:18] 735*2^1408199-1 is not prime. Res64: EB06CF1BB4AC280B Time : 0.0 sec. user=mdettweiler [2015-09-02 18:10:40] 895*2^1408199-1 is not prime. Res64: DB015657B21803B2 Time : 0.0 sec. user=mdettweiler [2015-09-02 18:10:40] 949*2^1408199-1 is not prime. Res64: 461741F87D90A024 Time : 0.0 sec. user=mdettweiler [2015-09-02 18:11:14] 811*2^1408199-1 is not prime. Res64: D4FC435D19CFA34A Time : 0.0 sec. user=mdettweiler [2015-09-02 18:11:15] 861*2^1408199-1 is not prime. Res64: 16E2E20958D3E8A1 Time : 0.0 sec. user=mdettweiler [2015-09-02 18:12:04] 689*2^1408200-1 is not prime. Res64: 4C8ED18503DAB3C6 Time : 0.0 sec. user=mdettweiler [2015-09-02 18:12:05] 875*2^1408200-1 is not prime. Res64: F0B9D1F2834D3592 Time : 0.0 sec. user=mdettweiler [2015-09-02 18:12:52] 639*2^1408201-1 is not prime. Res64: 905AA94955F8F0F4 Time : 0.0 sec. user=mdettweiler [2015-09-02 18:12:52] 649*2^1408201-1 is not prime. Res64: D2E794200A031018 Time : 0.0 sec. user=mdettweiler [2015-09-02 18:30:16] 651*2^1408201-1 is not prime. Res64: 315FC89A486CEC2D Time : 0.0 sec. user=mdettweiler [2015-09-02 18:30:16] 715*2^1408201-1 is not prime. Res64: C8DE877E03191934 Time : 0.0 sec. user=mdettweiler [2015-09-02 18:30:55] 717*2^1408201-1 is not prime. Res64: 2E6FDCF5B19DCA31 Time : 0.0 sec. user=mdettweiler [2015-09-02 18:30:55] 741*2^1408201-1 is not prime. Res64: 62D8EAE62A18B28D Time : 0.0 sec. user=mdettweiler [2015-09-02 18:31:50] 801*2^1408201-1 is not prime. Res64: 60D42E5439D6AFE6 Time : 0.0 sec. user=mdettweiler [2015-09-02 18:31:50] 945*2^1408201-1 is not prime. Res64: F3C58371C44C5F62 Time : 0.0 sec. user=mdettweiler [2015-09-02 18:32:29] 967*2^1408201-1 is not prime. Res64: ADDC2B4EDE79ACB8 Time : 0.0 sec. user=mdettweiler [2015-09-02 18:32:29] 987*2^1408201-1 is not prime. Res64: 000368E38622EE94 Time : 0.0 sec. user=mdettweiler [2015-09-02 18:48:48] 999*2^1408201-1 is not prime. Res64: 9921FE1AD46D2D4D Time : 0.0 sec. user=mdettweiler [2015-09-02 18:48:48] 651*2^1408202-1 is not prime. Res64: A8A844768B2F8EF8 Time : 0.0 sec. user=mdettweiler [2015-09-02 18:49:17] 677*2^1408202-1 is not prime. Res64: 255CF3D2EF9E8E35 Time : 0.0 sec. user=mdettweiler [2015-09-02 18:49:17] 753*2^1408202-1 is not prime. Res64: C2FF3DC51A767540 Time : 0.0 sec. user=mdettweiler [2015-09-02 18:50:18] 827*2^1408202-1 is not prime. Res64: 254635715A540222 Time : 0.0 sec. user=mdettweiler [2015-09-02 18:50:19] 911*2^1408202-1 is not prime. Res64: FD1704C26DB9EB4E Time : 0.0 sec. user=mdettweiler [2015-09-02 18:50:42] 953*2^1408202-1 is not prime. Res64: AC9051A71E30D0E0 Time : 0.0 sec. user=mdettweiler [2015-09-02 18:50:42] 775*2^1408203-1 is not prime. Res64: 0508B39577A57637 Time : 0.0 sec. user=mdettweiler [2015-09-02 19:06:47] 951*2^1408203-1 is not prime. Res64: DCAC406ED4AA5F81 Time : 0.0 sec. user=mdettweiler [2015-09-02 19:06:48] 609*2^1408204-1 is not prime. Res64: BFE87E796C2467A8 Time : 0.0 sec. user=mdettweiler [2015-09-02 19:07:11] 623*2^1408204-1 is not prime. Res64: 7BB637FCCBA941EB Time : 0.0 sec. user=mdettweiler [2015-09-02 19:07:13] 635*2^1408204-1 is not prime. Res64: 7FE27751597064ED Time : 0.0 sec. user=mdettweiler [2015-09-02 19:08:13] 675*2^1408204-1 is not prime. Res64: ED7AC2B6335BEF47 Time : 0.0 sec. user=mdettweiler [2015-09-02 19:08:16] 717*2^1408204-1 is not prime. Res64: E6531288E14A7C79 Time : 0.0 sec. user=mdettweiler [2015-09-02 19:08:44] 723*2^1408204-1 is not prime. Res64: 6BD6E332CC79D2DA Time : 0.0 sec. user=mdettweiler [2015-09-02 19:08:46] 729*2^1408204-1 is not prime. Res64: EFF02F2FF2DBF561 Time : 0.0 sec. user=mdettweiler [2015-09-02 19:24:49] 759*2^1408204-1 is not prime. Res64: E03D460C4CD3D882 Time : 0.0 sec. user=mdettweiler [2015-09-02 19:24:50] 819*2^1408204-1 is not prime. Res64: 6ACF941C739B44E9 Time : 0.0 sec. user=mdettweiler [2015-09-02 19:24:57] 897*2^1408204-1 is not prime. Res64: 9D142214550D3F97 Time : 0.0 sec. user=mdettweiler [2015-09-02 19:24:58] 619*2^1408205-1 is not prime. Res64: DC626AF78A5AC53F Time : 0.0 sec. user=mdettweiler [2015-09-02 19:25:57] 649*2^1408205-1 is not prime. Res64: FAD0BF7FD2335525 Time : 0.0 sec. user=mdettweiler [2015-09-02 19:25:57] 871*2^1408205-1 is not prime. Res64: 57FD5732165EF2ED Time : 0.0 sec. user=mdettweiler [2015-09-02 19:26:37] 927*2^1408205-1 is not prime. Res64: F92FE9E6548E9C60 Time : 0.0 sec. user=mdettweiler [2015-09-02 19:26:38] 937*2^1408205-1 is not prime. Res64: 634DC42ECCAF30D5 Time : 0.0 sec. user=mdettweiler [2015-09-02 19:42:36] 611*2^1408206-1 is not prime. Res64: 456B9D804AC52982 Time : 0.0 sec. user=mdettweiler [2015-09-02 19:42:36] 671*2^1408206-1 is not prime. Res64: E70753A12428575A Time : 0.0 sec. user=mdettweiler [2015-09-02 19:42:41] 695*2^1408206-1 is not prime. Res64: 74DC6440BBB6568F Time : 0.0 sec. user=mdettweiler [2015-09-02 19:42:41] 777*2^1408206-1 is not prime. Res64: FB53C3AAE4881431 Time : 0.0 sec. user=mdettweiler [2015-09-02 19:43:36] 801*2^1408206-1 is not prime. Res64: B4B06D387565F838 Time : 0.0 sec. user=mdettweiler [2015-09-02 19:43:36] 685*2^1408207-1 is not prime. Res64: 611154A0C84B28CE Time : 0.0 sec. user=mdettweiler [2015-09-02 19:44:27] 759*2^1408207-1 is not prime. Res64: 8B4181708CE94EDC Time : 0.0 sec. user=mdettweiler [2015-09-02 19:44:27] 895*2^1408207-1 is not prime. Res64: 73E2194D51D9291A Time : 0.0 sec. user=mdettweiler [2015-09-02 20:00:30] 979*2^1408207-1 is not prime. Res64: BBBFB2E79087A07B Time : 0.0 sec. user=mdettweiler [2015-09-02 20:00:30] 633*2^1408208-1 is not prime. Res64: BD2C19A1DF2C4AAA Time : 0.0 sec. user=mdettweiler [2015-09-02 20:00:36] 913*2^1408207-1 is not prime. Res64: 31757DB8BBEE5D99 Time : 0.0 sec. user=mdettweiler [2015-09-02 20:00:37] 975*2^1408207-1 is not prime. Res64: B8075C69C5C6B43E Time : 0.0 sec. user=mdettweiler [2015-09-02 20:01:27] 713*2^1408208-1 is not prime. Res64: C6F980B3974B735B Time : 0.0 sec. user=mdettweiler [2015-09-02 20:01:28] 927*2^1408208-1 is not prime. Res64: 3A3F6280573F5A3B Time : 0.0 sec. user=mdettweiler [2015-09-02 20:02:16] 957*2^1408208-1 is not prime. Res64: 9C62AF098F0BBB1C Time : 0.0 sec. user=mdettweiler [2015-09-02 20:02:17] 657*2^1408209-1 is not prime. Res64: 01834CDCFB5D9AC0 Time : 0.0 sec. user=mdettweiler [2015-09-02 20:19:09] 765*2^1408209-1 is not prime. Res64: 16DAEB42912BA523 Time : 0.0 sec. user=mdettweiler [2015-09-02 20:19:10] 865*2^1408209-1 is not prime. Res64: BEB07B05AF99060E Time : 0.0 sec. user=mdettweiler [2015-09-02 20:19:12] 951*2^1408209-1 is not prime. Res64: 8781533ED4FA92F4 Time : 0.0 sec. user=mdettweiler [2015-09-02 20:19:12] 991*2^1408209-1 is not prime. Res64: BEE84DF55C1F0883 Time : 0.0 sec. user=mdettweiler [2015-09-02 20:20:09] 611*2^1408210-1 is not prime. Res64: 65D574B7C4B19B93 Time : 0.0 sec. user=mdettweiler [2015-09-02 20:20:10] 623*2^1408210-1 is not prime. Res64: 62350C5BE6AB874D Time : 0.0 sec. user=mdettweiler [2015-09-02 20:20:57] 785*2^1408210-1 is not prime. Res64: B040CAD261D6D5FB Time : 0.0 sec. user=mdettweiler [2015-09-02 20:20:57] 827*2^1408210-1 is not prime. Res64: 59AE327308E86DCD Time : 0.0 sec. user=mdettweiler [2015-09-02 20:37:32] 831*2^1408210-1 is not prime. Res64: 5B50A65E68FAFD96 Time : 0.0 sec. user=mdettweiler [2015-09-02 20:37:33] 885*2^1408210-1 is not prime. Res64: 1F1C606E2DEF9F8E Time : 0.0 sec. user=mdettweiler [2015-09-02 20:37:39] 911*2^1408210-1 is not prime. Res64: E7661B11B7672BCE Time : 0.0 sec. user=mdettweiler [2015-09-02 20:37:40] 951*2^1408210-1 is not prime. Res64: 5C86453EB9695832 Time : 0.0 sec. user=mdettweiler [2015-09-02 20:38:28] 643*2^1408211-1 is not prime. Res64: D04262575191F1FB Time : 0.0 sec. user=mdettweiler [2015-09-02 20:38:28] 675*2^1408211-1 is not prime. Res64: C157668603FABE57 Time : 0.0 sec. user=mdettweiler [2015-09-02 20:39:19] 715*2^1408211-1 is not prime. Res64: A0C35A115A5CB0C0 Time : 0.0 sec. user=mdettweiler [2015-09-02 20:39:19] 753*2^1408211-1 is not prime. Res64: FDE181F1CA95180F Time : 0.0 sec. user=mdettweiler [2015-09-02 20:56:08] 969*2^1408211-1 is not prime. Res64: 42CA2C5A010BF4D4 Time : 0.0 sec. user=mdettweiler [2015-09-02 20:56:08] 979*2^1408211-1 is not prime. Res64: BFC81A37232DD063 Time : 0.0 sec. user=mdettweiler [2015-09-02 20:56:24] 855*2^1408211-1 is not prime. Res64: D2AB221A4B861BF1 Time : 0.0 sec. user=mdettweiler [2015-09-02 20:56:24] 913*2^1408211-1 is not prime. Res64: 1EBEC468BD14C9F3 Time : 0.0 sec. user=mdettweiler [2015-09-02 20:57:10] 675*2^1408212-1 is not prime. Res64: 30F4144C5E6EE182 Time : 0.0 sec. user=mdettweiler [2015-09-02 20:57:11] 683*2^1408212-1 is not prime. Res64: 8283385B3FA95766 Time : 0.0 sec. user=mdettweiler [2015-09-02 20:57:56] 857*2^1408212-1 is not prime. Res64: FF69EC609329BB08 Time : 0.0 sec. user=mdettweiler [2015-09-02 20:57:56] 863*2^1408212-1 is not prime. Res64: 81E0EFBA0BB7D309 Time : 0.0 sec. user=mdettweiler [2015-09-02 21:15:11] 867*2^1408212-1 is not prime. Res64: 42650F102A01D62E Time : 0.0 sec. user=mdettweiler [2015-09-02 21:15:12] 899*2^1408212-1 is not prime. Res64: 63CB0E192C399457 Time : 0.0 sec. user=mdettweiler [2015-09-02 21:15:31] 957*2^1408212-1 is not prime. Res64: 5D0010B8E9AFF1CD Time : 0.0 sec. user=mdettweiler [2015-09-02 21:15:32] 999*2^1408212-1 is not prime. Res64: 120C25D99A80E89A Time : 0.0 sec. user=mdettweiler [2015-09-02 21:16:12] 691*2^1408213-1 is not prime. Res64: 4CEEF858DD5E8CF6 Time : 0.0 sec. user=mdettweiler [2015-09-02 21:16:12] 729*2^1408213-1 is not prime. Res64: 952E80FE2AB0EE63 Time : 0.0 sec. user=mdettweiler [2015-09-02 21:17:07] 757*2^1408213-1 is not prime. Res64: C5027775B88E1BFE Time : 0.0 sec. user=mdettweiler [2015-09-02 21:17:07] 817*2^1408213-1 is not prime. Res64: DD5AF04C90A73897 Time : 0.0 sec. user=mdettweiler [2015-09-02 21:34:08] 919*2^1408213-1 is not prime. Res64: 0604363E11108084 Time : 0.0 sec. user=mdettweiler [2015-09-02 21:34:09] 641*2^1408214-1 is not prime. Res64: 5C608076C0EB4359 Time : 0.0 sec. user=mdettweiler [2015-09-02 21:34:14] 861*2^1408213-1 is not prime. Res64: 4DAAAC8E0D6A268A Time : 0.0 sec. user=mdettweiler [2015-09-02 21:34:14] 889*2^1408213-1 is not prime. Res64: 9AFCA6D1D7534295 Time : 0.0 sec. user=mdettweiler [2015-09-02 21:35:04] 755*2^1408214-1 is not prime. Res64: 306D22D07B5C27B3 Time : 0.0 sec. user=mdettweiler [2015-09-02 21:35:05] 923*2^1408214-1 is not prime. Res64: E911C5F941AEF533 Time : 0.0 sec. user=mdettweiler [2015-09-02 21:35:55] 619*2^1408215-1 is not prime. Res64: DA90EF6262BE6227 Time : 0.0 sec. user=mdettweiler [2015-09-02 21:35:56] 723*2^1408215-1 is not prime. Res64: 3168080382565696 Time : 0.0 sec. user=mdettweiler [2015-09-02 21:53:11] 617*2^1408216-1 is not prime. Res64: FBDB2787482B83CF Time : 0.0 sec. user=mdettweiler [2015-09-02 21:53:11] 707*2^1408216-1 is not prime. Res64: B98BFD27410986D4 Time : 0.0 sec. user=mdettweiler [2015-09-02 21:53:26] 933*2^1408215-1 is not prime. Res64: D6A2F41FC5CD77B2 Time : 0.0 sec. user=mdettweiler [2015-09-02 21:53:26] 999*2^1408215-1 is not prime. Res64: 604A7CD0DDAED39A Time : 0.0 sec. user=mdettweiler [2015-09-02 21:54:16] 813*2^1408216-1 is not prime. Res64: E5C1EB506C96CFED Time : 0.0 sec. user=mdettweiler [2015-09-02 21:54:17] 905*2^1408216-1 is not prime. Res64: 4EC6CEA6368A741B Time : 0.0 sec. user=mdettweiler [2015-09-02 21:54:48] 615*2^1408217-1 is not prime. Res64: 7924528B399AA639 Time : 0.0 sec. user=mdettweiler [2015-09-02 21:54:48] 619*2^1408217-1 is not prime. Res64: AEA018935B2E8307 Time : 0.0 sec. user=mdettweiler [2015-09-02 22:12:07] 711*2^1408217-1 is not prime. Res64: E408DD90C3B074B3 Time : 0.0 sec. user=mdettweiler [2015-09-02 22:12:08] 729*2^1408217-1 is not prime. Res64: EF91EAC8F81E3440 Time : 0.0 sec. user=mdettweiler [2015-09-02 22:12:18] 735*2^1408217-1 is not prime. Res64: 202D9EE36E043AE0 Time : 0.0 sec. user=mdettweiler [2015-09-02 22:12:18] 967*2^1408217-1 is not prime. Res64: 6D0C1B3F4CC100D8 Time : 0.0 sec. user=mdettweiler [2015-09-02 22:13:12] 981*2^1408217-1 is not prime. Res64: C8EF33CC83A62934 Time : 0.0 sec. user=mdettweiler [2015-09-02 22:13:12] 777*2^1408218-1 is not prime. Res64: 41B23271926F6203 Time : 0.0 sec. user=mdettweiler [2015-09-02 22:13:46] 815*2^1408218-1 is not prime. Res64: 1865A36BC0F34742 Time : 0.0 sec. user=mdettweiler [2015-09-02 22:13:47] 843*2^1408218-1 is not prime. Res64: B199A774E0898D6D Time : 0.0 sec. user=mdettweiler [2015-09-02 22:31:58] 771*2^1408219-1 is not prime. Res64: 178ED87866C67BF5 Time : 0.0 sec. user=mdettweiler [2015-09-02 22:31:58] 829*2^1408219-1 is not prime. Res64: 17ACB8B3832205FF Time : 0.0 sec. user=mdettweiler [2015-09-02 22:31:59] 633*2^1408219-1 is not prime. Res64: F8D6CD806A503023 Time : 0.0 sec. user=mdettweiler [2015-09-02 22:31:59] 649*2^1408219-1 is not prime. Res64: CAFDD6079B32E0E9 Time : 0.0 sec. user=mdettweiler [2015-09-02 22:33:12] 885*2^1408219-1 is not prime. Res64: 5F6A9AB49EEE758D Time : 0.0 sec. user=mdettweiler [2015-09-02 22:33:12] 985*2^1408219-1 is not prime. Res64: D502CF0E7967F3B8 Time : 0.0 sec. user=mdettweiler [2015-09-02 22:33:33] 609*2^1408220-1 is not prime. Res64: 62B8C79D55026D2A Time : 0.0 sec. user=mdettweiler [2015-09-02 22:33:33] 719*2^1408220-1 is not prime. Res64: B0622E2867C02103 Time : 0.0 sec. user=mdettweiler [2015-09-02 22:50:48] 735*2^1408220-1 is not prime. Res64: 30947410136BA77C Time : 0.0 sec. user=mdettweiler [2015-09-02 22:50:48] 915*2^1408220-1 is not prime. Res64: 0B94809FAF05B1D1 Time : 0.0 sec. user=mdettweiler [2015-09-02 22:51:03] 983*2^1408220-1 is not prime. Res64: 0F298663269AF75B Time : 0.0 sec. user=mdettweiler [2015-09-02 22:51:03] 829*2^1408221-1 is not prime. Res64: D3BE7FE12DCEB108 Time : 0.0 sec. user=mdettweiler [2015-09-02 22:52:18] 865*2^1408221-1 is not prime. Res64: E3A4CB9E60FC421D Time : 0.0 sec. user=mdettweiler [2015-09-02 22:52:18] 991*2^1408221-1 is not prime. Res64: 431A0EA218D0FC63 Time : 0.0 sec. user=mdettweiler [2015-09-02 22:52:26] 675*2^1408222-1 is not prime. Res64: 49B19C079827DB1D Time : 0.0 sec. user=mdettweiler [2015-09-02 22:52:26] 661*2^1408223-1 is not prime. Res64: 0BA0BFFBA2BDFFF1 Time : 0.0 sec. user=mdettweiler [2015-09-02 23:09:55] 735*2^1408223-1 is not prime. Res64: B585BADEEF6A8D0C Time : 0.0 sec. user=mdettweiler [2015-09-02 23:09:55] 745*2^1408223-1 is not prime. Res64: D7076FB87D3AEDD6 Time : 0.0 sec. user=mdettweiler [2015-09-02 23:10:27] 663*2^1408223-1 is not prime. Res64: 363FB47BC7461A0B Time : 0.0 sec. user=mdettweiler [2015-09-02 23:10:27] 721*2^1408223-1 is not prime. Res64: CD3AB441D9F61478 Time : 0.0 sec. user=mdettweiler [2015-09-02 23:11:10] 763*2^1408223-1 is not prime. Res64: 22D7DB1F49A9BEAE Time : 0.0 sec. user=mdettweiler [2015-09-02 23:11:10] 823*2^1408223-1 is not prime. Res64: BE906979B7725F9B Time : 0.0 sec. user=mdettweiler [2015-09-02 23:11:32] 981*2^1408223-1 is not prime. Res64: 05833AB74112BB3F Time : 0.0 sec. user=mdettweiler [2015-09-02 23:11:32] 663*2^1408224-1 is not prime. Res64: A7637C4E9126F5E8 Time : 0.0 sec. user=mdettweiler [2015-09-02 23:28:56] 875*2^1408224-1 is not prime. Res64: 1B82F5C10DB9A18B Time : 0.0 sec. user=mdettweiler [2015-09-02 23:28:57] 983*2^1408224-1 is not prime. Res64: 874493D05BC07DC8 Time : 0.0 sec. user=mdettweiler [2015-09-02 23:29:35] 691*2^1408225-1 is not prime. Res64: B56F3521DB0C52B3 Time : 0.0 sec. user=mdettweiler [2015-09-02 23:29:35] 751*2^1408225-1 is not prime. Res64: A5644D8D271DE030 Time : 0.0 sec. user=mdettweiler [2015-09-02 23:30:09] 771*2^1408225-1 is not prime. Res64: 332922D6412FC2E4 Time : 0.0 sec. user=mdettweiler [2015-09-02 23:30:10] 817*2^1408225-1 is not prime. Res64: C908983AB040F9D5 Time : 0.0 sec. user=mdettweiler [2015-09-02 23:30:33] 831*2^1408225-1 is not prime. Res64: CC775CBFDFA2E620 Time : 0.0 sec. user=mdettweiler [2015-09-02 23:30:34] 877*2^1408225-1 is not prime. Res64: C8F0D181F7D05E55 Time : 0.0 sec. user=mdettweiler [2015-09-02 23:47:12] 885*2^1408225-1 is not prime. Res64: E9BD5C404C56CEB9 Time : 0.0 sec. user=mdettweiler [2015-09-02 23:47:12] 975*2^1408225-1 is not prime. Res64: C9A6348D981A470B Time : 0.0 sec. user=mdettweiler [2015-09-02 23:48:02] 987*2^1408225-1 is not prime. Res64: 53EA05B8A2AB3994 Time : 0.0 sec. user=mdettweiler [2015-09-02 23:48:02] 617*2^1408226-1 is not prime. Res64: A14E9ED80BA55C6B Time : 0.0 sec. user=mdettweiler [2015-09-02 23:48:24] 633*2^1408226-1 is not prime. Res64: 0E3372A531510E9D Time : 0.0 sec. user=mdettweiler [2015-09-02 23:48:24] 635*2^1408226-1 is not prime. Res64: 5CAFFDE739A18A74 Time : 0.0 sec. user=mdettweiler [2015-09-02 23:48:59] 657*2^1408226-1 is not prime. Res64: 4F7F6846427CB5C5 Time : 0.0 sec. user=mdettweiler [2015-09-02 23:48:59] 701*2^1408226-1 is not prime. Res64: 521C08E3A6E03F99 Time : 0.0 sec.