user=mdettweiler [2015-11-12 00:12:17] 979*2^1414655-1 is not prime. Res64: 2CADAA4B1439DF84 Time : 0.0 sec. user=mdettweiler [2015-11-12 00:12:17] 981*2^1414655-1 is not prime. Res64: CE9F1EF09B042CDC Time : 0.0 sec. user=mdettweiler [2015-11-12 00:12:27] 759*2^1414655-1 is not prime. Res64: F5EF8AB9E96EF06D Time : 0.0 sec. user=mdettweiler [2015-11-12 00:12:27] 823*2^1414655-1 is not prime. Res64: 31E28E3F7B651EFD Time : 0.0 sec. user=mdettweiler [2015-11-12 00:16:09] 985*2^1414655-1 is not prime. Res64: 942E8F647DE75CD1 Time : 0.0 sec. user=mdettweiler [2015-11-12 00:16:09] 675*2^1414656-1 is not prime. Res64: 738885A288187352 Time : 0.0 sec. user=mdettweiler [2015-11-12 00:18:07] 707*2^1414656-1 is not prime. Res64: 1166370931E2C08F Time : 0.0 sec. user=mdettweiler [2015-11-12 00:18:07] 717*2^1414656-1 is not prime. Res64: B6B6ED52A0A002D0 Time : 0.0 sec. user=mdettweiler [2015-11-12 00:30:37] 825*2^1414656-1 is not prime. Res64: 78E83AC7D2379AE7 Time : 0.0 sec. user=mdettweiler [2015-11-12 00:30:38] 923*2^1414656-1 is not prime. Res64: B74C2C442B2BF25D Time : 0.0 sec. user=mdettweiler [2015-11-12 00:30:44] 759*2^1414656-1 is not prime. Res64: F16FD4935ACA26A7 Time : 0.0 sec. user=mdettweiler [2015-11-12 00:30:45] 809*2^1414656-1 is not prime. Res64: E068FBE30A940FF7 Time : 0.0 sec. user=mdettweiler [2015-11-12 00:34:32] 947*2^1414656-1 is not prime. Res64: 0F26F271B07A6337 Time : 0.0 sec. user=mdettweiler [2015-11-12 00:34:32] 957*2^1414656-1 is not prime. Res64: 5C0CD0FACE68DD8C Time : 0.0 sec. user=mdettweiler [2015-11-12 00:36:19] 999*2^1414656-1 is not prime. Res64: 8AC19DD8222E33ED Time : 0.0 sec. user=mdettweiler [2015-11-12 00:36:19] 625*2^1414657-1 is not prime. Res64: CA5CD9C9D8B2D68B Time : 0.0 sec. user=mdettweiler [2015-11-12 00:48:49] 649*2^1414657-1 is not prime. Res64: 3A9E5646098EF245 Time : 0.0 sec. user=mdettweiler [2015-11-12 00:48:50] 835*2^1414657-1 is not prime. Res64: 239DFC11AA2ACE1E Time : 0.0 sec. user=mdettweiler [2015-11-12 00:49:04] 901*2^1414657-1 is not prime. Res64: 489AC9C4E0661C0A Time : 0.0 sec. user=mdettweiler [2015-11-12 00:49:05] 915*2^1414657-1 is not prime. Res64: 63A02499F2E96EB2 Time : 0.0 sec. user=mdettweiler [2015-11-12 00:52:41] 623*2^1414658-1 is not prime. Res64: 78F3B29292896F30 Time : 0.0 sec. user=mdettweiler [2015-11-12 00:52:42] 635*2^1414658-1 is not prime. Res64: 70AEC04AC0B015EE Time : 0.0 sec. user=mdettweiler [2015-11-12 00:54:20] 665*2^1414658-1 is not prime. Res64: C5AD775ABED32F04 Time : 0.0 sec. user=mdettweiler [2015-11-12 00:54:20] 915*2^1414658-1 is not prime. Res64: C4FE27D6B68252F7 Time : 0.0 sec. user=mdettweiler [2015-11-12 01:06:27] 945*2^1414658-1 is not prime. Res64: 09853034B5B2A839 Time : 0.0 sec. user=mdettweiler [2015-11-12 01:06:28] 971*2^1414658-1 is not prime. Res64: 80821A95C447EA89 Time : 0.0 sec. user=mdettweiler [2015-11-12 01:06:48] 619*2^1414659-1 is not prime. Res64: C4446BBBF45A2743 Time : 0.0 sec. user=mdettweiler [2015-11-12 01:06:48] 675*2^1414659-1 is not prime. Res64: ACD3A962C815DBF8 Time : 0.0 sec. user=mdettweiler [2015-11-12 01:10:28] 895*2^1414659-1 is not prime. Res64: 3A561CA1B3E0952A Time : 0.0 sec. user=mdettweiler [2015-11-12 01:10:29] 985*2^1414659-1 is not prime. Res64: 69A220BAE3AA433B Time : 0.0 sec. user=mdettweiler [2015-11-12 01:12:01] 665*2^1414660-1 is not prime. Res64: BDE4AF610BBE4561 Time : 0.0 sec. user=mdettweiler [2015-11-12 01:12:01] 735*2^1414660-1 is not prime. Res64: 81BAF0E3F872056E Time : 0.0 sec. user=mdettweiler [2015-11-12 01:24:20] 765*2^1414660-1 is not prime. Res64: FC8F9A9CB75ACA5E Time : 0.0 sec. user=mdettweiler [2015-11-12 01:24:20] 855*2^1414660-1 is not prime. Res64: B0467B111D52DA51 Time : 0.0 sec. user=mdettweiler [2015-11-12 01:24:37] 857*2^1414660-1 is not prime. Res64: 6E980A5C25F61060 Time : 0.0 sec. user=mdettweiler [2015-11-12 01:24:38] 927*2^1414660-1 is not prime. Res64: 7A5C5219F0DAD927 Time : 0.0 sec. user=mdettweiler [2015-11-12 01:28:20] 601*2^1414661-1 is not prime. Res64: AFA87C4CF0289FF0 Time : 0.0 sec. user=mdettweiler [2015-11-12 01:28:23] 645*2^1414661-1 is not prime. Res64: 101A08B9648D6168 Time : 0.0 sec. user=mdettweiler [2015-11-12 01:29:45] 951*2^1414661-1 is not prime. Res64: A19754689EA85893 Time : 0.0 sec. user=mdettweiler [2015-11-12 01:29:46] 955*2^1414661-1 is not prime. Res64: B2E861F157D5D156 Time : 0.0 sec. user=mdettweiler [2015-11-12 01:42:02] 957*2^1414661-1 is not prime. Res64: AF0DC0C5427AD934 Time : 0.0 sec. user=mdettweiler [2015-11-12 01:42:02] 651*2^1414662-1 is not prime. Res64: FE2E0DCCF08FA8F2 Time : 0.0 sec. user=mdettweiler [2015-11-12 01:42:24] 671*2^1414662-1 is not prime. Res64: 013AB3BF789F4A23 Time : 0.0 sec. user=mdettweiler [2015-11-12 01:42:25] 731*2^1414662-1 is not prime. Res64: EEC1F6440158E9F2 Time : 0.0 sec. user=mdettweiler [2015-11-12 01:46:20] 765*2^1414662-1 is not prime. Res64: 4E0B174A7428BE33 Time : 0.0 sec. user=mdettweiler [2015-11-12 01:46:21] 945*2^1414662-1 is not prime. Res64: FAA19EA8C93BAFC2 Time : 0.0 sec. user=mdettweiler [2015-11-12 01:47:26] 951*2^1414662-1 is not prime. Res64: DE8304047FF7C672 Time : 0.0 sec. user=mdettweiler [2015-11-12 01:47:26] 609*2^1414663-1 is not prime. Res64: 9393285697239CDD Time : 0.0 sec. user=mdettweiler [2015-11-12 01:59:44] 681*2^1414663-1 is not prime. Res64: 30551CB90ABFFC06 Time : 0.0 sec. user=mdettweiler [2015-11-12 01:59:44] 705*2^1414663-1 is not prime. Res64: B6841BB9752BD33F Time : 0.0 sec. user=mdettweiler [2015-11-12 02:00:09] 805*2^1414663-1 is not prime. Res64: 029CAA3A59A09AF2 Time : 0.0 sec. user=mdettweiler [2015-11-12 02:00:09] 855*2^1414663-1 is not prime. Res64: ECD38505BC158122 Time : 0.0 sec. user=mdettweiler [2015-11-12 02:04:22] 919*2^1414663-1 is not prime. Res64: FC2E31B3694B29E9 Time : 0.0 sec. user=mdettweiler [2015-11-12 02:04:24] 933*2^1414663-1 is not prime. Res64: ECFB5833709EA45E Time : 0.0 sec. user=mdettweiler [2015-11-12 02:05:09] 993*2^1414663-1 is not prime. Res64: CA582A12F92420D3 Time : 0.0 sec. user=mdettweiler [2015-11-12 02:05:10] 689*2^1414664-1 is not prime. Res64: 7CAE004E26F61444 Time : 0.0 sec. user=mdettweiler [2015-11-12 02:17:34] 795*2^1414664-1 is not prime. Res64: 791DBF0171C8CCF3 Time : 0.0 sec. user=mdettweiler [2015-11-12 02:17:34] 803*2^1414664-1 is not prime. Res64: 7014912836331B15 Time : 0.0 sec. user=mdettweiler [2015-11-12 02:17:50] 857*2^1414664-1 is not prime. Res64: 526CA584C100C84B Time : 0.0 sec. user=mdettweiler [2015-11-12 02:17:51] 927*2^1414664-1 is not prime. Res64: A6D9EE32DD22BF46 Time : 0.0 sec. user=mdettweiler [2015-11-12 02:22:03] 735*2^1414665-1 is not prime. Res64: AD06C7ACBAE82922 Time : 0.0 sec. user=mdettweiler [2015-11-12 02:22:03] 909*2^1414665-1 is not prime. Res64: 195B2194ABCB9247 Time : 0.0 sec. user=mdettweiler [2015-11-12 02:22:58] 915*2^1414665-1 is not prime. Res64: 62AD9EAF9F1AC587 Time : 0.0 sec. user=mdettweiler [2015-11-12 02:22:58] 951*2^1414665-1 is not prime. Res64: 07B1B1074CDABE79 Time : 0.0 sec. user=mdettweiler [2015-11-12 02:35:27] 611*2^1414666-1 is not prime. Res64: 500D5F4D329367B5 Time : 0.0 sec. user=mdettweiler [2015-11-12 02:35:27] 633*2^1414666-1 is not prime. Res64: B5813918EB1CAE7C Time : 0.0 sec. user=mdettweiler [2015-11-12 02:35:30] 651*2^1414666-1 is not prime. Res64: 2E914BD5A4C96BD7 Time : 0.0 sec. user=mdettweiler [2015-11-12 02:35:30] 705*2^1414666-1 is not prime. Res64: 543CDE492E0B1B43 Time : 0.0 sec. user=mdettweiler [2015-11-12 02:39:44] 723*2^1414666-1 is not prime. Res64: 5EF3AC83075BED86 Time : 0.0 sec. user=mdettweiler [2015-11-12 02:39:44] 741*2^1414666-1 is not prime. Res64: FBA68343B0C06DDC Time : 0.0 sec. user=mdettweiler [2015-11-12 02:40:39] 765*2^1414666-1 is not prime. Res64: C5411451E3D9BCB1 Time : 0.0 sec. user=mdettweiler [2015-11-12 02:40:39] 873*2^1414666-1 is not prime. Res64: F13C47179F9D64E2 Time : 0.0 sec. user=mdettweiler [2015-11-12 02:53:12] 923*2^1414666-1 is not prime. Res64: 4034C59FC317F4BB Time : 0.0 sec. user=mdettweiler [2015-11-12 02:53:12] 941*2^1414666-1 is not prime. Res64: 8A2E7ED57C5355E6 Time : 0.0 sec. user=mdettweiler [2015-11-12 02:53:18] 945*2^1414666-1 is not prime. Res64: 1505A49024EB349B Time : 0.0 sec. user=mdettweiler [2015-11-12 02:53:18] 609*2^1414667-1 is not prime. Res64: F3DC30C4B4BFE444 Time : 0.0 sec. user=mdettweiler [2015-11-12 02:57:28] 703*2^1414667-1 is not prime. Res64: CDD51ED9C7BC112E Time : 0.0 sec. user=mdettweiler [2015-11-12 02:57:29] 813*2^1414667-1 is not prime. Res64: 83DD0088AB9423A4 Time : 0.0 sec. user=mdettweiler [2015-11-12 02:58:23] 915*2^1414667-1 is not prime. Res64: E95751A146FEEBB2 Time : 0.0 sec. user=mdettweiler [2015-11-12 02:58:24] 939*2^1414667-1 is not prime. Res64: 85167EA85C6C395B Time : 0.0 sec. user=mdettweiler [2015-11-12 03:10:57] 963*2^1414667-1 is not prime. Res64: B0D74F54FB8FE76C Time : 0.0 sec. user=mdettweiler [2015-11-12 03:10:58] 979*2^1414667-1 is not prime. Res64: 1E544FA84F6BC77C Time : 0.0 sec. user=mdettweiler [2015-11-12 03:11:08] 795*2^1414668-1 is not prime. Res64: 3EE29FFECBDCB659 Time : 0.0 sec. user=mdettweiler [2015-11-12 03:11:08] 837*2^1414668-1 is not prime. Res64: AB528FAC34161856 Time : 0.0 sec. user=mdettweiler [2015-11-12 03:15:20] 945*2^1414668-1 is not prime. Res64: 7A7E0A72BEA21E79 Time : 0.0 sec. user=mdettweiler [2015-11-12 03:15:20] 609*2^1414669-1 is not prime. Res64: E42321F48074D7BA Time : 0.0 sec. user=mdettweiler [2015-11-12 03:16:07] 699*2^1414669-1 is not prime. Res64: 47F48A1554BB025E Time : 0.0 sec. user=mdettweiler [2015-11-12 03:16:08] 721*2^1414669-1 is not prime. Res64: 87D33871912EA8CB Time : 0.0 sec. user=mdettweiler [2015-11-12 03:29:14] 747*2^1414669-1 is not prime. Res64: C8A03B7AAA436F9D Time : 0.0 sec. user=mdettweiler [2015-11-12 03:29:17] 759*2^1414669-1 is not prime. Res64: 697C73D09CDECFA9 Time : 0.0 sec. user=mdettweiler [2015-11-12 03:29:49] 769*2^1414669-1 is not prime. Res64: 44498EED10C50FD2 Time : 0.0 sec. user=mdettweiler [2015-11-12 03:29:51] 987*2^1414669-1 is not prime. Res64: 66B1AAB1B7EEF0ED Time : 0.0 sec. user=mdettweiler [2015-11-12 03:34:16] 615*2^1414670-1 is not prime. Res64: 4DC5C4AC92572BBC Time : 0.0 sec. user=mdettweiler [2015-11-12 03:34:17] 635*2^1414670-1 is not prime. Res64: 97801F068D5ED3CC Time : 0.0 sec. user=mdettweiler [2015-11-12 03:34:27] 707*2^1414670-1 is not prime. Res64: 7639470AF5EE5924 Time : 0.0 sec. user=mdettweiler [2015-11-12 03:34:28] 731*2^1414670-1 is not prime. Res64: 5CEDE370179388DD Time : 0.0 sec. user=mdettweiler [2015-11-12 03:47:39] 785*2^1414670-1 is not prime. Res64: 8F9DBC11E5F847AE Time : 0.0 sec. user=mdettweiler [2015-11-12 03:47:40] 851*2^1414670-1 is not prime. Res64: BABF7BAB46DEAE02 Time : 0.0 sec. user=mdettweiler [2015-11-12 03:47:56] 867*2^1414670-1 is not prime. Res64: B5154B0FE18DD705 Time : 0.0 sec. user=mdettweiler [2015-11-12 03:47:57] 601*2^1414671-1 is not prime. Res64: 0E5A04DFEB5A2AA0 Time : 0.0 sec. user=mdettweiler [2015-11-12 03:52:31] 735*2^1414671-1 is not prime. Res64: 9993BD0BC3065B53 Time : 0.0 sec. user=mdettweiler [2015-11-12 03:52:32] 745*2^1414671-1 is not prime. Res64: 634E39BE053375F0 Time : 0.0 sec. user=mdettweiler [2015-11-12 03:52:35] 829*2^1414671-1 is not prime. Res64: 19D6286110F0A23D Time : 0.0 sec. user=mdettweiler [2015-11-12 03:52:36] 635*2^1414672-1 is not prime. Res64: D2D326F482F90893 Time : 0.0 sec. user=mdettweiler [2015-11-12 04:05:52] 657*2^1414672-1 is not prime. Res64: 6624738ED616602B Time : 0.0 sec. user=mdettweiler [2015-11-12 04:05:54] 675*2^1414672-1 is not prime. Res64: 284E7B0BF8693AC5 Time : 0.0 sec. user=mdettweiler [2015-11-12 04:06:00] 695*2^1414672-1 is not prime. Res64: 29F4696F8B422365 Time : 0.0 sec. user=mdettweiler [2015-11-12 04:06:03] 785*2^1414672-1 is not prime. Res64: 010A47643C69EF44 Time : 0.0 sec. user=mdettweiler [2015-11-12 04:10:24] 887*2^1414672-1 is not prime. Res64: 1F76BCAA8EBAEEA4 Time : 0.0 sec. user=mdettweiler [2015-11-12 04:10:25] 803*2^1414672-1 is not prime. Res64: FD46B3D8B055CF2F Time : 0.0 sec. user=mdettweiler [2015-11-12 04:10:25] 959*2^1414672-1 is not prime. Res64: 3FA676635100045D Time : 0.0 sec. user=mdettweiler [2015-11-12 04:10:25] 843*2^1414672-1 is not prime. Res64: 2A4EDABB628D5609 Time : 0.0 sec. user=mdettweiler [2015-11-12 04:23:59] 965*2^1414672-1 is not prime. Res64: 572447C0E090B021 Time : 0.0 sec. user=mdettweiler [2015-11-12 04:23:59] 691*2^1414673-1 is not prime. Res64: 0775D1443085BE80 Time : 0.0 sec. user=mdettweiler [2015-11-12 04:23:59] 697*2^1414673-1 is not prime. Res64: 761BDBC6BE309A9F Time : 0.0 sec. user=mdettweiler [2015-11-12 04:24:00] 879*2^1414673-1 is not prime. Res64: F42FC52F2EDF81E1 Time : 0.0 sec. user=mdettweiler [2015-11-12 04:28:09] 663*2^1414674-1 is not prime. Res64: BFE1A07AE75E1C4C Time : 0.0 sec. user=mdettweiler [2015-11-12 04:28:09] 755*2^1414674-1 is not prime. Res64: B853AD100C6DCB21 Time : 0.0 sec. user=mdettweiler [2015-11-12 04:28:12] 957*2^1414673-1 is not prime. Res64: 346DF6BF2722BD0F Time : 0.0 sec. user=mdettweiler [2015-11-12 04:28:13] 991*2^1414673-1 is not prime. Res64: EA24CAE81A01A20F Time : 0.0 sec. user=mdettweiler [2015-11-12 04:41:43] 975*2^1414674-1 is not prime. Res64: 9B1F9E850AFAD698 Time : 0.0 sec. user=mdettweiler [2015-11-12 04:41:43] 993*2^1414674-1 is not prime. Res64: 416AF71D4468BF4F Time : 0.0 sec. user=mdettweiler [2015-11-12 04:41:46] 773*2^1414674-1 is not prime. Res64: 15146FE37E341749 Time : 0.0 sec. user=mdettweiler [2015-11-12 04:41:46] 861*2^1414674-1 is not prime. Res64: 1D7489BCF221DDCC Time : 0.0 sec. user=mdettweiler [2015-11-12 04:45:52] 633*2^1414675-1 is not prime. Res64: 9B1C1937B61DB24C Time : 0.0 sec. user=mdettweiler [2015-11-12 04:45:53] 645*2^1414675-1 is not prime. Res64: 46AC38748791CB66 Time : 0.0 sec. user=mdettweiler [2015-11-12 04:45:56] 601*2^1414675-1 is not prime. Res64: 5E1F6A0A2262F327 Time : 0.0 sec. user=mdettweiler [2015-11-12 04:45:56] 609*2^1414675-1 is not prime. Res64: 8C671B7465AC8CD6 Time : 0.0 sec. user=mdettweiler [2015-11-12 04:59:23] 691*2^1414675-1 is not prime. Res64: 349DDE45B4BD6922 Time : 0.0 sec. user=mdettweiler [2015-11-12 04:59:23] 709*2^1414675-1 is not prime. Res64: 8CD7FD021EDFE5DF Time : 0.0 sec. user=mdettweiler [2015-11-12 04:59:28] 783*2^1414675-1 is not prime. Res64: CD06C20BB9B22063 Time : 0.0 sec. user=mdettweiler [2015-11-12 04:59:28] 829*2^1414675-1 is not prime. Res64: 547E22C3B28AFE66 Time : 0.0 sec. user=mdettweiler [2015-11-12 05:03:37] 871*2^1414675-1 is not prime. Res64: 5AF15FDC555BB15E Time : 0.0 sec. user=mdettweiler [2015-11-12 05:03:38] 617*2^1414676-1 is not prime. Res64: CD1480CC4FF4AA21 Time : 0.0 sec. user=mdettweiler [2015-11-12 05:03:46] 707*2^1414676-1 is not prime. Res64: FD51221B409C8C82 Time : 0.0 sec. user=mdettweiler [2015-11-12 05:03:51] 759*2^1414676-1 is not prime. Res64: EE8AA32794489165 Time : 0.0 sec. user=mdettweiler [2015-11-12 05:17:05] 789*2^1414676-1 is not prime. Res64: BD5701CA9320BE4B Time : 0.0 sec. user=mdettweiler [2015-11-12 05:17:05] 825*2^1414676-1 is not prime. Res64: 856CD9300F122D5E Time : 0.0 sec. user=mdettweiler [2015-11-12 05:17:08] 875*2^1414676-1 is not prime. Res64: 28197FAE042F166D Time : 0.0 sec. user=mdettweiler [2015-11-12 05:17:08] 927*2^1414676-1 is not prime. Res64: 3C531C2D9898F47E Time : 0.0 sec. user=mdettweiler [2015-11-12 05:21:57] 609*2^1414677-1 is not prime. Res64: 26557C9DBC75272F Time : 0.0 sec. user=mdettweiler [2015-11-12 05:21:58] 621*2^1414677-1 is not prime. Res64: 9B1EB8132EAE725B Time : 0.0 sec. user=mdettweiler [2015-11-12 05:21:58] 969*2^1414676-1 is not prime. Res64: 91B92BD21E1AD56E Time : 0.0 sec. user=mdettweiler [2015-11-12 05:21:59] 987*2^1414676-1 is not prime. Res64: 284077C39DB8326C Time : 0.0 sec. user=mdettweiler [2015-11-12 05:34:52] 627*2^1414677-1 is not prime. Res64: 5F40ECFA5516094A Time : 0.0 sec. user=mdettweiler [2015-11-12 05:34:53] 819*2^1414677-1 is not prime. Res64: 7C06C4BAAAF7AFC3 Time : 0.0 sec. user=mdettweiler [2015-11-12 05:35:02] 945*2^1414677-1 is not prime. Res64: BE409788B5C84247 Time : 0.0 sec. user=mdettweiler [2015-11-12 05:35:02] 949*2^1414677-1 is not prime. Res64: 9D87AA4F1CB155DF Time : 0.0 sec. user=mdettweiler [2015-11-12 05:39:41] 777*2^1414678-1 is not prime. Res64: C51D3CB3D4C7C241 Time : 0.0 sec. user=mdettweiler [2015-11-12 05:39:42] 855*2^1414678-1 is not prime. Res64: E434607CDA910F6D Time : 0.0 sec. user=mdettweiler [2015-11-12 05:39:47] 955*2^1414677-1 is not prime. Res64: A77CA69DEBEE7D13 Time : 0.0 sec. user=mdettweiler [2015-11-12 05:39:47] 713*2^1414678-1 is not prime. Res64: 06883BAAD3B53271 Time : 0.0 sec. user=mdettweiler [2015-11-12 05:52:29] 615*2^1414679-1 is not prime. Res64: FB3EE06C06A6FD2A Time : 0.0 sec. user=mdettweiler [2015-11-12 05:52:30] 885*2^1414679-1 is not prime. Res64: C9C7BD8CB3F127D4 Time : 0.0 sec. user=mdettweiler [2015-11-12 05:52:39] 943*2^1414679-1 is not prime. Res64: 66B6C93B9584ABBF Time : 0.0 sec. user=mdettweiler [2015-11-12 05:52:39] 955*2^1414679-1 is not prime. Res64: 2EDB96A2CAFCC76D Time : 0.0 sec. user=mdettweiler [2015-11-12 05:57:16] 635*2^1414680-1 is not prime. Res64: 2AC97342421B4F67 Time : 0.0 sec. user=mdettweiler [2015-11-12 05:57:16] 753*2^1414680-1 is not prime. Res64: 42B23E4ED7F1F2CF Time : 0.0 sec. user=mdettweiler [2015-11-12 05:57:24] 759*2^1414680-1 is not prime. Res64: E3FA61B2F1287DD7 Time : 0.0 sec. user=mdettweiler [2015-11-12 05:57:25] 765*2^1414680-1 is not prime. Res64: 2D07AE6F83E78367 Time : 0.0 sec. user=mdettweiler [2015-11-12 06:10:11] 845*2^1414680-1 is not prime. Res64: 5C2C60F347878D83 Time : 0.0 sec. user=mdettweiler [2015-11-12 06:10:11] 915*2^1414680-1 is not prime. Res64: 062188A4B6AF9FB0 Time : 0.0 sec. user=mdettweiler [2015-11-12 06:10:16] 625*2^1414681-1 is not prime. Res64: ECE9429B202D5FDC Time : 0.0 sec. user=mdettweiler [2015-11-12 06:10:16] 675*2^1414681-1 is not prime. Res64: A6E308DE7D4FB9F5 Time : 0.0 sec. user=mdettweiler [2015-11-12 06:14:51] 687*2^1414681-1 is not prime. Res64: 42BA3CC9CFBCBAEC Time : 0.0 sec. user=mdettweiler [2015-11-12 06:14:52] 747*2^1414681-1 is not prime. Res64: F53E13B5064E4082 Time : 0.0 sec. user=mdettweiler [2015-11-12 06:15:05] 801*2^1414681-1 is not prime. Res64: FFBDF58B5A8593A9 Time : 0.0 sec. user=mdettweiler [2015-11-12 06:15:05] 657*2^1414682-1 is not prime. Res64: CAED5EC2DE77D6B4 Time : 0.0 sec. user=mdettweiler [2015-11-12 06:27:56] 875*2^1414682-1 is not prime. Res64: 261304D82D62DF74 Time : 0.0 sec. user=mdettweiler [2015-11-12 06:27:57] 963*2^1414682-1 is not prime. Res64: 8E51968964A77CB4 Time : 0.0 sec. user=mdettweiler [2015-11-12 06:27:58] 713*2^1414682-1 is not prime. Res64: 108A122EFEF6866A Time : 0.0 sec. user=mdettweiler [2015-11-12 06:27:59] 843*2^1414682-1 is not prime. Res64: F5B4847D0F7E02CC Time : 0.0 sec. user=mdettweiler [2015-11-12 06:32:36] 615*2^1414683-1 is not prime. Res64: C46C4F43FC4F9655 Time : 0.0 sec. user=mdettweiler [2015-11-12 06:32:37] 649*2^1414683-1 is not prime. Res64: 6ED5E29215882FB1 Time : 0.0 sec. user=mdettweiler [2015-11-12 06:32:45] 741*2^1414683-1 is not prime. Res64: D566101F5F88AD2F Time : 0.0 sec. user=mdettweiler [2015-11-12 06:32:45] 781*2^1414683-1 is not prime. Res64: ECCA741BBA36564B Time : 0.0 sec. user=mdettweiler [2015-11-12 06:45:32] 789*2^1414683-1 is not prime. Res64: AB4D0F82B650D43A Time : 0.0 sec. user=mdettweiler [2015-11-12 06:45:33] 829*2^1414683-1 is not prime. Res64: C5929224ED56F99C Time : 0.0 sec. user=mdettweiler [2015-11-12 06:45:45] 871*2^1414683-1 is not prime. Res64: 79739DFEF54B464B Time : 0.0 sec. user=mdettweiler [2015-11-12 06:45:45] 921*2^1414683-1 is not prime. Res64: 81639BACA63CD0A9 Time : 0.0 sec. user=mdettweiler [2015-11-12 06:50:19] 675*2^1414684-1 is not prime. Res64: F90C49C2201FB3E3 Time : 0.0 sec. user=mdettweiler [2015-11-12 06:50:20] 717*2^1414684-1 is not prime. Res64: 55AC375952FEB7D9 Time : 0.0 sec. user=mdettweiler [2015-11-12 06:50:26] 785*2^1414684-1 is not prime. Res64: CDDBB5C30F76FE19 Time : 0.0 sec. user=mdettweiler [2015-11-12 06:50:27] 827*2^1414684-1 is not prime. Res64: CDB683E7DC9002FF Time : 0.0 sec. user=mdettweiler [2015-11-12 07:03:20] 909*2^1414684-1 is not prime. Res64: 0680A2BE72421AFD Time : 0.0 sec. user=mdettweiler [2015-11-12 07:03:21] 965*2^1414684-1 is not prime. Res64: 575C2DF4C8CB0CCF Time : 0.0 sec. user=mdettweiler [2015-11-12 07:03:22] 983*2^1414684-1 is not prime. Res64: 4FCCE5D82754F175 Time : 0.0 sec. user=mdettweiler [2015-11-12 07:03:23] 685*2^1414685-1 is not prime. Res64: 9D7AED0866656C14 Time : 0.0 sec. user=mdettweiler [2015-11-12 07:07:58] 715*2^1414685-1 is not prime. Res64: A4DA6014A378BB5F Time : 0.0 sec. user=mdettweiler [2015-11-12 07:07:59] 759*2^1414685-1 is not prime. Res64: 3EA058AF9B059B44 Time : 0.0 sec. user=mdettweiler [2015-11-12 07:08:07] 795*2^1414685-1 is not prime. Res64: 0B8C5BB4519E38F5 Time : 0.0 sec. user=mdettweiler [2015-11-12 07:08:07] 805*2^1414685-1 is not prime. Res64: F108C9B3BC369345 Time : 0.0 sec. user=mdettweiler [2015-11-12 07:21:33] 811*2^1414685-1 is not prime. Res64: 8CE577A2212BAD03 Time : 0.0 sec. user=mdettweiler [2015-11-12 07:21:34] 969*2^1414685-1 is not prime. Res64: 92DB24D8D89C8605 Time : 0.0 sec. user=mdettweiler [2015-11-12 07:21:35] 657*2^1414686-1 is not prime. Res64: 20CAD1F9BEC7500B Time : 0.0 sec. user=mdettweiler [2015-11-12 07:21:35] 737*2^1414686-1 is not prime. Res64: 491A4C977C16676D Time : 0.0 sec. user=mdettweiler [2015-11-12 07:25:40] 761*2^1414686-1 is not prime. Res64: 726579E0A461FD5E Time : 0.0 sec. user=mdettweiler [2015-11-12 07:25:40] 887*2^1414686-1 is not prime. Res64: FDDDDD32592C604C Time : 0.0 sec. user=mdettweiler [2015-11-12 07:25:47] 893*2^1414686-1 is not prime. Res64: 70AFCA827B39BDCB Time : 0.0 sec. user=mdettweiler [2015-11-12 07:25:47] 603*2^1414687-1 is not prime. Res64: 28AC64E5725686E3 Time : 0.0 sec. user=mdettweiler [2015-11-12 07:39:10] 729*2^1414687-1 is not prime. Res64: DC7F95AC0963CA46 Time : 0.0 sec. user=mdettweiler [2015-11-12 07:39:10] 859*2^1414687-1 is not prime. Res64: 1FCD2970A5089E50 Time : 0.0 sec. user=mdettweiler [2015-11-12 07:39:11] 633*2^1414687-1 is not prime. Res64: B48E23864749EBAB Time : 0.0 sec. user=mdettweiler [2015-11-12 07:39:11] 663*2^1414687-1 is not prime. Res64: 1036ABFF96F1102E Time : 0.0 sec. user=mdettweiler [2015-11-12 07:43:15] 889*2^1414687-1 is not prime. Res64: AF8CA88B2FE279BE Time : 0.0 sec. user=mdettweiler [2015-11-12 07:43:16] 891*2^1414687-1 is not prime. Res64: A93851122A917B3F Time : 0.0 sec. user=mdettweiler [2015-11-12 07:43:26] 951*2^1414687-1 is not prime. Res64: 63CA643F1C7B9191 Time : 0.0 sec. user=mdettweiler [2015-11-12 07:43:26] 985*2^1414687-1 is not prime. Res64: D7C9E7AD07DA70EF Time : 0.0 sec. user=mdettweiler [2015-11-12 07:56:48] 615*2^1414688-1 is not prime. Res64: 7C68650FD93B179A Time : 0.0 sec. user=mdettweiler [2015-11-12 07:56:48] 999*2^1414687-1 is not prime. Res64: 942784B6F3BE9314 Time : 0.0 sec. user=mdettweiler [2015-11-12 07:56:48] 687*2^1414688-1 is not prime. Res64: BBFFC9AEA4C342A2 Time : 0.0 sec. user=mdettweiler [2015-11-12 07:56:48] 603*2^1414688-1 is not prime. Res64: E06EEDA37CCFEBB8 Time : 0.0 sec. user=mdettweiler [2015-11-12 08:00:57] 827*2^1414688-1 is not prime. Res64: BBA8F2BB9A4A36CE Time : 0.0 sec. user=mdettweiler [2015-11-12 08:00:58] 855*2^1414688-1 is not prime. Res64: 627CF185D26211BE Time : 0.0 sec. user=mdettweiler [2015-11-12 08:01:13] 915*2^1414688-1 is not prime. Res64: 210576BBDC4F2921 Time : 0.0 sec. user=mdettweiler [2015-11-12 08:01:14] 959*2^1414688-1 is not prime. Res64: 976F1E1010EE5C07 Time : 0.0 sec. user=mdettweiler [2015-11-12 08:14:24] 995*2^1414688-1 is not prime. Res64: 6D7010832749B356 Time : 0.0 sec. user=mdettweiler [2015-11-12 08:14:24] 625*2^1414689-1 is not prime. Res64: 50440BD57D7B76D1 Time : 0.0 sec. user=mdettweiler [2015-11-12 08:14:32] 639*2^1414689-1 is not prime. Res64: F00E2E27101B92E6 Time : 0.0 sec. user=mdettweiler [2015-11-12 08:14:33] 657*2^1414689-1 is not prime. Res64: F3319290616E0FC9 Time : 0.0 sec. user=mdettweiler [2015-11-12 08:18:42] 675*2^1414689-1 is not prime. Res64: 86CDC6F2ED31BA21 Time : 0.0 sec. user=mdettweiler [2015-11-12 08:18:43] 829*2^1414689-1 is not prime. Res64: 91FBDD1C90C93E45 Time : 0.0 sec. user=mdettweiler [2015-11-12 08:18:57] 847*2^1414689-1 is not prime. Res64: 4B743CE08A96F414 Time : 0.0 sec. user=mdettweiler [2015-11-12 08:18:57] 921*2^1414689-1 is not prime. Res64: 0B89E73191D0E764 Time : 0.0 sec. user=mdettweiler [2015-11-12 08:32:13] 945*2^1414689-1 is not prime. Res64: DA1BCCC08550E8F6 Time : 0.0 sec. user=mdettweiler [2015-11-12 08:32:13] 991*2^1414689-1 is not prime. Res64: A3DE927DE0E93869 Time : 0.0 sec. user=mdettweiler [2015-11-12 08:32:26] 999*2^1414689-1 is not prime. Res64: 612D344EDB61E0C8 Time : 0.0 sec. user=mdettweiler [2015-11-12 08:32:26] 605*2^1414690-1 is not prime. Res64: DFCCB2BDDBB685A1 Time : 0.0 sec. user=mdettweiler [2015-11-12 08:36:41] 663*2^1414690-1 is not prime. Res64: ADA884BA47D62FE5 Time : 0.0 sec. user=mdettweiler [2015-11-12 08:36:41] 747*2^1414690-1 is not prime. Res64: E8C616134C24FF40 Time : 0.0 sec. user=mdettweiler [2015-11-12 08:36:50] 777*2^1414690-1 is not prime. Res64: FB4673D9F12B6EC5 Time : 0.0 sec. user=mdettweiler [2015-11-12 08:36:51] 791*2^1414690-1 is not prime. Res64: 542D693DC4C97268 Time : 0.0 sec. user=mdettweiler [2015-11-12 08:49:54] 1001*2^1414690-1 is not prime. Res64: F18CA92D018265F3 Time : 0.0 sec. user=mdettweiler [2015-11-12 08:49:54] 999*2^1414691-1 is not prime. Res64: B64E033F6BDFF40E Time : 0.0 sec. user=mdettweiler [2015-11-12 08:50:06] 629*2^1414692-1 is not prime. Res64: 58359F6BE20E349D Time : 0.0 sec. user=mdettweiler [2015-11-12 08:50:06] 695*2^1414692-1 is not prime. Res64: 96214705C3FF5C72 Time : 0.0 sec. user=mdettweiler [2015-11-12 08:54:23] 737*2^1414692-1 is not prime. Res64: F96E70233792618D Time : 0.0 sec. user=mdettweiler [2015-11-12 08:54:24] 867*2^1414692-1 is not prime. Res64: FCE6E1D27FC8BA1E Time : 0.0 sec. user=mdettweiler [2015-11-12 08:54:31] 903*2^1414692-1 is not prime. Res64: 14C3E8DF860E3D3D Time : 0.0 sec. user=mdettweiler [2015-11-12 08:54:31] 935*2^1414692-1 is not prime. Res64: 30649F771260DBAB Time : 0.0 sec. user=mdettweiler [2015-11-12 09:07:41] 609*2^1414693-1 is not prime. Res64: D089570468B31425 Time : 0.0 sec. user=mdettweiler [2015-11-12 09:07:42] 615*2^1414693-1 is not prime. Res64: 6933F289E443A98E Time : 0.0 sec. user=mdettweiler [2015-11-12 09:07:52] 699*2^1414693-1 is not prime. Res64: A13B1D2855CBF960 Time : 0.0 sec. user=mdettweiler [2015-11-12 09:07:52] 721*2^1414693-1 is not prime. Res64: D595103BAA6B5144 Time : 0.0 sec. user=mdettweiler [2015-11-12 09:12:11] 811*2^1414693-1 is not prime. Res64: 0085F36A85AE71DE Time : 0.0 sec. user=mdettweiler [2015-11-12 09:12:12] 817*2^1414693-1 is not prime. Res64: 97C112E3415736A8 Time : 0.0 sec. user=mdettweiler [2015-11-12 09:12:19] 819*2^1414693-1 is not prime. Res64: 204ACEBCA9D56FB2 Time : 0.0 sec. user=mdettweiler [2015-11-12 09:12:19] 889*2^1414693-1 is not prime. Res64: 59727D1D62A513BC Time : 0.0 sec. user=mdettweiler [2015-11-12 09:25:32] 645*2^1414694-1 is not prime. Res64: E4C451F11C5A1A8E Time : 0.0 sec. user=mdettweiler [2015-11-12 09:25:33] 687*2^1414694-1 is not prime. Res64: 08FB16DFDA635719 Time : 0.0 sec. user=mdettweiler [2015-11-12 09:25:36] 741*2^1414694-1 is not prime. Res64: 57942D8541C91A83 Time : 0.0 sec. user=mdettweiler [2015-11-12 09:25:36] 875*2^1414694-1 is not prime. Res64: D806385643B4C316 Time : 0.0 sec. user=mdettweiler [2015-11-12 09:29:50] 897*2^1414694-1 is not prime. Res64: F6D3AF20F8FFEE66 Time : 0.0 sec. user=mdettweiler [2015-11-12 09:29:50] 693*2^1414695-1 is not prime. Res64: 99664CC031251BB7 Time : 0.0 sec. user=mdettweiler [2015-11-12 09:30:06] 741*2^1414695-1 is not prime. Res64: B528B83AAD8E6AC2 Time : 0.0 sec. user=mdettweiler [2015-11-12 09:30:07] 861*2^1414695-1 is not prime. Res64: DCBC0036F6D5357F Time : 0.0 sec. user=mdettweiler [2015-11-12 09:43:08] 969*2^1414695-1 is not prime. Res64: 9457DFCB53465EC5 Time : 0.0 sec. user=mdettweiler [2015-11-12 09:43:08] 719*2^1414696-1 is not prime. Res64: 1AE7498AEAFEE9F2 Time : 0.0 sec. user=mdettweiler [2015-11-12 09:43:10] 765*2^1414696-1 is not prime. Res64: 169A914C3A4E1246 Time : 0.0 sec. user=mdettweiler [2015-11-12 09:43:11] 839*2^1414696-1 is not prime. Res64: C5640BD429A5901C Time : 0.0 sec. user=mdettweiler [2015-11-12 09:47:30] 849*2^1414696-1 is not prime. Res64: 61062142CF2FB837 Time : 0.0 sec. user=mdettweiler [2015-11-12 09:47:30] 927*2^1414696-1 is not prime. Res64: 83BC8B2976C65348 Time : 0.0 sec. user=mdettweiler [2015-11-12 09:47:40] 989*2^1414696-1 is not prime. Res64: 4029385FFCD80ACC Time : 0.0 sec. user=mdettweiler [2015-11-12 09:47:40] 699*2^1414697-1 is not prime. Res64: 64FDC3895A95AFC7 Time : 0.0 sec. user=mdettweiler [2015-11-12 10:00:46] 747*2^1414697-1 is not prime. Res64: 7E3CC6E8E58474E3 Time : 0.0 sec. user=mdettweiler [2015-11-12 10:00:46] 795*2^1414697-1 is not prime. Res64: 13751392641F52F2 Time : 0.0 sec. user=mdettweiler [2015-11-12 10:00:55] 651*2^1414698-1 is not prime. Res64: 563DE009CE814535 Time : 0.0 sec. user=mdettweiler [2015-11-12 10:00:57] 891*2^1414698-1 is not prime. Res64: EC785DB47AE0136D Time : 0.0 sec. user=mdettweiler [2015-11-12 10:05:15] 601*2^1414699-1 is not prime. Res64: 0EF37004896A92D1 Time : 0.0 sec. user=mdettweiler [2015-11-12 10:05:16] 771*2^1414699-1 is not prime. Res64: 56E0AF3DE8045642 Time : 0.0 sec. user=mdettweiler [2015-11-12 10:05:20] 835*2^1414699-1 is not prime. Res64: EA91427C8C04ED20 Time : 0.0 sec. user=mdettweiler [2015-11-12 10:05:21] 979*2^1414699-1 is not prime. Res64: DD7BB202273B5B98 Time : 0.0 sec. user=mdettweiler [2015-11-12 10:18:28] 609*2^1414700-1 is not prime. Res64: D35ED2CCDE7F332E Time : 0.0 sec. user=mdettweiler [2015-11-12 10:18:28] 677*2^1414700-1 is not prime. Res64: 8AB5220F352E86BF Time : 0.0 sec. user=mdettweiler [2015-11-12 10:18:35] 687*2^1414700-1 is not prime. Res64: 98164FD4167D1E37 Time : 0.0 sec. user=mdettweiler [2015-11-12 10:18:36] 699*2^1414700-1 is not prime. Res64: 880AF4ED6F92FD08 Time : 0.0 sec. user=mdettweiler [2015-11-12 10:22:58] 753*2^1414700-1 is not prime. Res64: 8DAB5986CC466FC3 Time : 0.0 sec. user=mdettweiler [2015-11-12 10:22:58] 857*2^1414700-1 is not prime. Res64: F2E66B5F38A0B485 Time : 0.0 sec. user=mdettweiler [2015-11-12 10:23:07] 717*2^1414700-1 is not prime. Res64: 6E9BDDA749A2A82B Time : 0.0 sec. user=mdettweiler [2015-11-12 10:23:08] 743*2^1414700-1 is not prime. Res64: 176DDBDBC3FA3942 Time : 0.0 sec. user=mdettweiler [2015-11-12 10:36:16] 615*2^1414701-1 is not prime. Res64: 0D279190253256E1 Time : 0.0 sec. user=mdettweiler [2015-11-12 10:36:17] 717*2^1414701-1 is not prime. Res64: 963A9027C36BBCA1 Time : 0.0 sec. user=mdettweiler [2015-11-12 10:36:20] 795*2^1414701-1 is not prime. Res64: 7B7A906CE6E16179 Time : 0.0 sec. user=mdettweiler [2015-11-12 10:36:20] 819*2^1414701-1 is not prime. Res64: D4B41BB0058BB82A Time : 0.0 sec. user=mdettweiler [2015-11-12 10:40:48] 945*2^1414701-1 is not prime. Res64: C20579468413536C Time : 0.0 sec. user=mdettweiler [2015-11-12 10:40:48] 955*2^1414701-1 is not prime. Res64: BBD2AAC0592B1FC4 Time : 0.0 sec. user=mdettweiler [2015-11-12 10:40:56] 623*2^1414702-1 is not prime. Res64: BBB4450885CE10E0 Time : 0.0 sec. user=mdettweiler [2015-11-12 10:40:56] 665*2^1414702-1 is not prime. Res64: 0A44D08D168738EB Time : 0.0 sec. user=mdettweiler [2015-11-12 10:54:04] 761*2^1414702-1 is not prime. Res64: 9A0423B210A7E8BD Time : 0.0 sec. user=mdettweiler [2015-11-12 10:54:05] 815*2^1414702-1 is not prime. Res64: 0044C15AA226D2D1 Time : 0.0 sec. user=mdettweiler [2015-11-12 10:54:09] 723*2^1414702-1 is not prime. Res64: 260B158F6846E374 Time : 0.0 sec. user=mdettweiler [2015-11-12 10:54:10] 755*2^1414702-1 is not prime. Res64: A55BA12D3EE32B7B Time : 0.0 sec. user=mdettweiler [2015-11-12 10:58:31] 857*2^1414702-1 is not prime. Res64: 421CF69EA14FEB73 Time : 0.0 sec. user=mdettweiler [2015-11-12 10:58:31] 897*2^1414702-1 is not prime. Res64: DED827F08532FD9B Time : 0.0 sec. user=mdettweiler [2015-11-12 10:58:38] 643*2^1414703-1 is not prime. Res64: F8A39AFE5CB504DC Time : 0.0 sec. user=mdettweiler [2015-11-12 10:58:39] 735*2^1414703-1 is not prime. Res64: 4B7C7374A3E1D7D5 Time : 0.0 sec. user=mdettweiler [2015-11-12 11:11:49] 771*2^1414703-1 is not prime. Res64: 07CFF7B4DACBD95C Time : 0.0 sec. user=mdettweiler [2015-11-12 11:11:49] 805*2^1414703-1 is not prime. Res64: B77E89C92FE40331 Time : 0.0 sec. user=mdettweiler [2015-11-12 11:11:50] 775*2^1414703-1 is not prime. Res64: CAA6EE9909D19D6E Time : 0.0 sec. user=mdettweiler [2015-11-12 11:11:50] 981*2^1414703-1 is not prime. Res64: C87D32CE8E872F95 Time : 0.0 sec. user=mdettweiler [2015-11-12 11:16:02] 993*2^1414703-1 is not prime. Res64: 09F37D38ACDA4AB0 Time : 0.0 sec. user=mdettweiler [2015-11-12 11:16:03] 609*2^1414704-1 is not prime. Res64: 51CC2B067A39A925 Time : 0.0 sec. user=mdettweiler [2015-11-12 11:16:22] 717*2^1414704-1 is not prime. Res64: 2A88DCEDFEE20981 Time : 0.0 sec. user=mdettweiler [2015-11-12 11:16:23] 825*2^1414704-1 is not prime. Res64: E4B420B1D4F3E999 Time : 0.0 sec. user=mdettweiler [2015-11-12 11:29:37] 837*2^1414704-1 is not prime. Res64: 71B2164851CB3C9D Time : 0.0 sec. user=mdettweiler [2015-11-12 11:29:37] 983*2^1414704-1 is not prime. Res64: EFF3821EDD05C894 Time : 0.0 sec. user=mdettweiler [2015-11-12 11:29:40] 609*2^1414705-1 is not prime. Res64: C2F88E1668D0975F Time : 0.0 sec. user=mdettweiler [2015-11-12 11:29:41] 679*2^1414705-1 is not prime. Res64: 1A28810811BC51A1 Time : 0.0 sec. user=mdettweiler [2015-11-12 11:33:52] 687*2^1414705-1 is not prime. Res64: C2918079E2B93BFC Time : 0.0 sec. user=mdettweiler [2015-11-12 11:33:52] 765*2^1414705-1 is not prime. Res64: 2B7F6A977CF22ECE Time : 0.0 sec. user=mdettweiler [2015-11-12 11:34:05] 841*2^1414705-1 is not prime. Res64: 279B3121617EF572 Time : 0.0 sec. user=mdettweiler [2015-11-12 11:34:05] 867*2^1414705-1 is not prime. Res64: 5D3DB6B8601E3BAF Time : 0.0 sec. user=mdettweiler [2015-11-12 11:47:19] 877*2^1414705-1 is not prime. Res64: 0BBB2090D2315AB4 Time : 0.0 sec. user=mdettweiler [2015-11-12 11:47:19] 915*2^1414705-1 is not prime. Res64: 8ECE62F7E1C48C78 Time : 0.0 sec. user=mdettweiler [2015-11-12 11:47:22] 987*2^1414705-1 is not prime. Res64: 9EEF5B77DAB5E9B7 Time : 0.0 sec. user=mdettweiler [2015-11-12 11:47:22] 603*2^1414706-1 is not prime. Res64: 59EE0ABC517DF8A6 Time : 0.0 sec. user=mdettweiler [2015-11-12 11:51:34] 623*2^1414706-1 is not prime. Res64: A24EA97CA41DEEF2 Time : 0.0 sec. user=mdettweiler [2015-11-12 11:51:34] 635*2^1414706-1 is not prime. Res64: 312128C7D28D049A Time : 0.0 sec. user=mdettweiler [2015-11-12 11:51:44] 671*2^1414706-1 is not prime. Res64: 1BB2A9B156DE2F80 Time : 0.0 sec. user=mdettweiler [2015-11-12 11:51:45] 717*2^1414706-1 is not prime. Res64: 1D0F07FD48017865 Time : 0.0 sec. user=mdettweiler [2015-11-12 12:04:59] 735*2^1414706-1 is not prime. Res64: 1331E5F74D7CB78A Time : 0.0 sec. user=mdettweiler [2015-11-12 12:05:01] 741*2^1414706-1 is not prime. Res64: C82BDC3CD7B35CDA Time : 0.0 sec. user=mdettweiler [2015-11-12 12:05:03] 843*2^1414706-1 is not prime. Res64: 002E5CB066144FCC Time : 0.0 sec. user=mdettweiler [2015-11-12 12:05:05] 857*2^1414706-1 is not prime. Res64: AC5EFF95764CDD2F Time : 0.0 sec. user=mdettweiler [2015-11-12 12:09:17] 945*2^1414706-1 is not prime. Res64: 33077C51E6CB8E57 Time : 0.0 sec. user=mdettweiler [2015-11-12 12:09:17] 751*2^1414707-1 is not prime. Res64: 0B1A6B8455E1FB94 Time : 0.0 sec. user=mdettweiler [2015-11-12 12:09:24] 909*2^1414707-1 is not prime. Res64: 9C32023ACB2E8672 Time : 0.0 sec. user=mdettweiler [2015-11-12 12:09:24] 961*2^1414707-1 is not prime. Res64: F1996257D2880F94 Time : 0.0 sec. user=mdettweiler [2015-11-12 12:23:08] 985*2^1414707-1 is not prime. Res64: D6CF506C96DCF4BA Time : 0.0 sec. user=mdettweiler [2015-11-12 12:23:09] 605*2^1414708-1 is not prime. Res64: 86EF69F187C9F00E Time : 0.0 sec. user=mdettweiler [2015-11-12 12:23:11] 617*2^1414708-1 is not prime. Res64: AF734FD04F81EEDC Time : 0.0 sec. user=mdettweiler [2015-11-12 12:23:12] 833*2^1414708-1 is not prime. Res64: C50CDA26DD1DBA9C Time : 0.0 sec. user=mdettweiler [2015-11-12 12:27:01] 923*2^1414708-1 is not prime. Res64: FF6CBB5C98066681 Time : 0.0 sec. user=mdettweiler [2015-11-12 12:27:07] 975*2^1414708-1 is not prime. Res64: F61FD9D4986451CA Time : 0.0 sec. user=mdettweiler [2015-11-12 12:27:09] 735*2^1414709-1 is not prime. Res64: 20733BEB68E21DA1 Time : 0.0 sec. user=mdettweiler [2015-11-12 12:27:09] 795*2^1414709-1 is not prime. Res64: E67D0E7AFCC799E8 Time : 0.0 sec. user=mdettweiler [2015-11-12 12:40:46] 831*2^1414709-1 is not prime. Res64: EFE75D13AC928CA3 Time : 0.0 sec. user=mdettweiler [2015-11-12 12:40:47] 885*2^1414709-1 is not prime. Res64: 396C9E088E2EBF60 Time : 0.0 sec. user=mdettweiler [2015-11-12 12:40:53] 931*2^1414709-1 is not prime. Res64: 61B134D601E6F32F Time : 0.0 sec. user=mdettweiler [2015-11-12 12:40:53] 845*2^1414710-1 is not prime. Res64: 83C8798EDE7EE35B Time : 0.0 sec. user=mdettweiler [2015-11-12 12:44:48] 805*2^1414711-1 is not prime. Res64: 4209605C3BE93FF6 Time : 0.0 sec. user=mdettweiler [2015-11-12 12:44:48] 843*2^1414711-1 is not prime. Res64: AC1474A517DBB89C Time : 0.0 sec. user=mdettweiler [2015-11-12 12:44:50] 963*2^1414710-1 is not prime. Res64: F5EFA7C33057F61B Time : 0.0 sec. user=mdettweiler [2015-11-12 12:44:50] 639*2^1414711-1 is not prime. Res64: D3BC8FF8CFF20A96 Time : 0.0 sec. user=mdettweiler [2015-11-12 12:58:26] 861*2^1414711-1 is not prime. Res64: 3317A342A7CEF3A5 Time : 0.0 sec. user=mdettweiler [2015-11-12 12:58:26] 873*2^1414711-1 is not prime. Res64: DFAA91C7ABE41EF2 Time : 0.0 sec. user=mdettweiler [2015-11-12 12:58:39] 951*2^1414711-1 is not prime. Res64: BA15871926F50A94 Time : 0.0 sec. user=mdettweiler [2015-11-12 12:58:40] 635*2^1414712-1 is not prime. Res64: 634024BE6E5D4564 Time : 0.0 sec. user=mdettweiler [2015-11-12 13:02:30] 627*2^1414713-1 is not prime. Res64: 19F9DAB9E7EAE261 Time : 0.0 sec. user=mdettweiler [2015-11-12 13:02:31] 649*2^1414713-1 is not prime. Res64: D39D23EBBD4028EB Time : 0.0 sec. user=mdettweiler [2015-11-12 13:02:37] 843*2^1414712-1 is not prime. Res64: 39D096B1F002BB51 Time : 0.0 sec. user=mdettweiler [2015-11-12 13:02:38] 959*2^1414712-1 is not prime. Res64: D11C2B78C95F202D Time : 0.0 sec. user=mdettweiler [2015-11-12 13:16:07] 805*2^1414713-1 is not prime. Res64: 5185ECD916AD2A30 Time : 0.0 sec. user=mdettweiler [2015-11-12 13:16:08] 987*2^1414713-1 is not prime. Res64: AEE7B87E9AFD315E Time : 0.0 sec. user=mdettweiler [2015-11-12 13:16:27] 675*2^1414714-1 is not prime. Res64: 42CB8143953F9A61 Time : 0.0 sec. user=mdettweiler [2015-11-12 13:16:27] 701*2^1414714-1 is not prime. Res64: C39FEC2263277CBC Time : 0.0 sec. user=mdettweiler [2015-11-12 13:20:19] 783*2^1414714-1 is not prime. Res64: 6FAAE697488ED739 Time : 0.0 sec. user=mdettweiler [2015-11-12 13:20:20] 945*2^1414714-1 is not prime. Res64: B932AF13B534B25C Time : 0.0 sec. user=mdettweiler [2015-11-12 13:20:21] 983*2^1414714-1 is not prime. Res64: 09D05E85AA34EEEF Time : 0.0 sec. user=mdettweiler [2015-11-12 13:20:22] 633*2^1414715-1 is not prime. Res64: 1286CA404D898610 Time : 0.0 sec. user=mdettweiler [2015-11-12 13:33:58] 675*2^1414715-1 is not prime. Res64: 6BB6373646366EA0 Time : 0.0 sec. user=mdettweiler [2015-11-12 13:33:58] 735*2^1414715-1 is not prime. Res64: 44227460F26FA45D Time : 0.0 sec. user=mdettweiler [2015-11-12 13:34:20] 771*2^1414715-1 is not prime. Res64: 400E3CAE143D1B0A Time : 0.0 sec. user=mdettweiler [2015-11-12 13:34:21] 825*2^1414715-1 is not prime. Res64: 37B80679B86F078C Time : 0.0 sec. user=mdettweiler [2015-11-12 13:38:14] 883*2^1414715-1 is not prime. Res64: 464D2CA65A87EDC9 Time : 0.0 sec. user=mdettweiler [2015-11-12 13:38:15] 981*2^1414715-1 is not prime. Res64: 49E803059CF034B3 Time : 0.0 sec. user=mdettweiler [2015-11-12 13:38:38] 705*2^1414716-1 is not prime. Res64: 9A2774B9AF31AE9C Time : 0.0 sec. user=mdettweiler [2015-11-12 13:38:38] 719*2^1414716-1 is not prime. Res64: 9E151E885555C50B Time : 0.0 sec. user=mdettweiler [2015-11-12 13:52:28] 607*2^1414717-1 is not prime. Res64: 67B49388289E35D0 Time : 0.0 sec. user=mdettweiler [2015-11-12 13:52:28] 779*2^1414716-1 is not prime. Res64: 14A620C15A7D269B Time : 0.0 sec. user=mdettweiler [2015-11-12 13:52:28] 609*2^1414717-1 is not prime. Res64: D4052034875D404A Time : 0.0 sec. user=mdettweiler [2015-11-12 13:52:28] 945*2^1414716-1 is not prime. Res64: 110078B229A093EA Time : 0.0 sec. user=mdettweiler [2015-11-12 13:56:16] 717*2^1414717-1 is not prime. Res64: 6163595BF75CFEAE Time : 0.0 sec. user=mdettweiler [2015-11-12 13:56:16] 759*2^1414717-1 is not prime. Res64: 14336428B6331125 Time : 0.0 sec. user=mdettweiler [2015-11-12 13:57:15] 819*2^1414717-1 is not prime. Res64: AC2557BEAEAE7823 Time : 0.0 sec. user=mdettweiler [2015-11-12 13:57:16] 847*2^1414717-1 is not prime. Res64: 172DF4289CCAF5F6 Time : 0.0 sec. user=mdettweiler [2015-11-12 14:10:34] 861*2^1414717-1 is not prime. Res64: BC67FB88F125ACB2 Time : 0.0 sec. user=mdettweiler [2015-11-12 14:10:34] 671*2^1414718-1 is not prime. Res64: 1A872FFEDE46FAA9 Time : 0.0 sec. user=mdettweiler [2015-11-12 14:10:43] 731*2^1414718-1 is not prime. Res64: 8158340CF8DF195B Time : 0.0 sec. user=mdettweiler [2015-11-12 14:10:44] 755*2^1414718-1 is not prime. Res64: 6A2823E64EC9D2AE Time : 0.0 sec. user=mdettweiler [2015-11-12 14:14:28] 927*2^1414718-1 is not prime. Res64: 8E212937F6003D67 Time : 0.0 sec. user=mdettweiler [2015-11-12 14:14:28] 963*2^1414718-1 is not prime. Res64: 0500DEEB9BC97981 Time : 0.0 sec. user=mdettweiler [2015-11-12 14:15:17] 1001*2^1414718-1 is not prime. Res64: 94C3178778D0B019 Time : 0.0 sec. user=mdettweiler [2015-11-12 14:15:18] 615*2^1414719-1 is not prime. Res64: 68BC5CA399AD2830 Time : 0.0 sec. user=mdettweiler [2015-11-12 14:29:41] 691*2^1414719-1 is not prime. Res64: FE41C6876787B159 Time : 0.0 sec. user=mdettweiler [2015-11-12 14:29:41] 711*2^1414719-1 is not prime. Res64: E352D6EC4E8D45C2 Time : 0.0 sec. user=mdettweiler [2015-11-12 14:30:01] 769*2^1414719-1 is not prime. Res64: 7C373159FEABC8A0 Time : 0.0 sec. user=mdettweiler [2015-11-12 14:30:03] 879*2^1414719-1 is not prime. Res64: B9EB2A069FD74655 Time : 0.0 sec. user=mdettweiler [2015-11-12 14:34:21] 921*2^1414719-1 is not prime. Res64: D3E4E9D37D05859A Time : 0.0 sec. user=mdettweiler [2015-11-12 14:34:21] 717*2^1414720-1 is not prime. Res64: 6011B37AF01A736D Time : 0.0 sec. user=mdettweiler [2015-11-12 14:35:32] 723*2^1414720-1 is not prime. Res64: B0DC8E38468DAE27 Time : 0.0 sec. user=mdettweiler [2015-11-12 14:35:32] 827*2^1414720-1 is not prime. Res64: 3CE81F8D937D2B65 Time : 0.0 sec. user=mdettweiler [2015-11-12 14:48:29] 843*2^1414720-1 is not prime. Res64: F1685F0C92047443 Time : 0.0 sec. user=mdettweiler [2015-11-12 14:48:29] 855*2^1414720-1 is not prime. Res64: 6632279E9D54370E Time : 0.0 sec. user=mdettweiler [2015-11-12 14:49:17] 777*2^1414721-1 is not prime. Res64: E692C87D8AA34F9A Time : 0.0 sec. user=mdettweiler [2015-11-12 14:49:17] 955*2^1414721-1 is not prime. Res64: 227038F63BAAA3B3 Time : 0.0 sec. user=mdettweiler [2015-11-12 14:52:14] 923*2^1414722-1 is not prime. Res64: E95DC64D7A232212 Time : 0.0 sec. user=mdettweiler [2015-11-12 14:52:15] 945*2^1414722-1 is not prime. Res64: 31A4F7DA2DBA00E0 Time : 0.0 sec. user=mdettweiler [2015-11-12 14:53:23] 951*2^1414722-1 is not prime. Res64: B934EB1FAC04DFBD Time : 0.0 sec. user=mdettweiler [2015-11-12 14:53:23] 625*2^1414723-1 is not prime. Res64: E22D1000D727764C Time : 0.0 sec. user=mdettweiler [2015-11-12 15:06:16] 639*2^1414723-1 is not prime. Res64: 45C45506C021D13F Time : 0.0 sec. user=mdettweiler [2015-11-12 15:06:17] 769*2^1414723-1 is not prime. Res64: 62284FDA2534AF2B Time : 0.0 sec. user=mdettweiler [2015-11-12 15:06:59] 805*2^1414723-1 is not prime. Res64: 54898E92DC8532FC Time : 0.0 sec. user=mdettweiler [2015-11-12 15:07:01] 861*2^1414723-1 is not prime. Res64: C763D0E730729D6E Time : 0.0 sec. user=mdettweiler [2015-11-12 15:09:54] 889*2^1414723-1 is not prime. Res64: 41210A9FA87D4508 Time : 0.0 sec. user=mdettweiler [2015-11-12 15:09:55] 973*2^1414723-1 is not prime. Res64: 804E97E70738288D Time : 0.0 sec. user=mdettweiler [2015-11-12 15:11:04] 617*2^1414724-1 is not prime. Res64: 8443D7F381ABEB7B Time : 0.0 sec. user=mdettweiler [2015-11-12 15:11:04] 665*2^1414724-1 is not prime. Res64: 6D311A9B01039A14 Time : 0.0 sec. user=mdettweiler [2015-11-12 15:24:19] 677*2^1414724-1 is not prime. Res64: A5B320CA4CE6BAC7 Time : 0.0 sec. user=mdettweiler [2015-11-12 15:24:19] 707*2^1414724-1 is not prime. Res64: 2012FD87C89FC877 Time : 0.0 sec. user=mdettweiler [2015-11-12 15:24:49] 893*2^1414724-1 is not prime. Res64: 7E2347B7CD26376F Time : 0.0 sec. user=mdettweiler [2015-11-12 15:24:49] 945*2^1414724-1 is not prime. Res64: B60D8BDEA457AF44 Time : 0.0 sec. user=mdettweiler [2015-11-12 15:27:34] 717*2^1414725-1 is not prime. Res64: 58BCA8BEFED5F7AF Time : 0.0 sec. user=mdettweiler [2015-11-12 15:27:34] 789*2^1414725-1 is not prime. Res64: E6A0F03D4F775C00 Time : 0.0 sec. user=mdettweiler [2015-11-12 15:28:50] 861*2^1414725-1 is not prime. Res64: F6BF78E0C2E46770 Time : 0.0 sec. user=mdettweiler [2015-11-12 15:28:51] 969*2^1414725-1 is not prime. Res64: 30DA61EF2F2CD7CC Time : 0.0 sec. user=mdettweiler [2015-11-12 15:42:29] 617*2^1414726-1 is not prime. Res64: 50C5BB31CC7C8D78 Time : 0.0 sec. user=mdettweiler [2015-11-12 15:42:29] 653*2^1414726-1 is not prime. Res64: E8FF816CF961155F Time : 0.0 sec. user=mdettweiler [2015-11-12 15:42:47] 737*2^1414726-1 is not prime. Res64: 90E24F3DB4C968CD Time : 0.0 sec. user=mdettweiler [2015-11-12 15:42:47] 761*2^1414726-1 is not prime. Res64: 06D5252DBDF5B808 Time : 0.0 sec. user=mdettweiler [2015-11-12 15:45:23] 873*2^1414726-1 is not prime. Res64: 50983139B9EC3EAB Time : 0.0 sec. user=mdettweiler [2015-11-12 15:45:24] 957*2^1414726-1 is not prime. Res64: 46D9E0216D5612BD Time : 0.0 sec. user=mdettweiler [2015-11-12 15:46:47] 971*2^1414726-1 is not prime. Res64: 57A41DB7DE6726A7 Time : 0.0 sec. user=mdettweiler [2015-11-12 15:46:47] 987*2^1414726-1 is not prime. Res64: 36CE566336454079 Time : 0.0 sec. user=mdettweiler [2015-11-12 16:00:25] 633*2^1414727-1 is not prime. Res64: 834D1307B0E4C873 Time : 0.0 sec. user=mdettweiler [2015-11-12 16:00:26] 739*2^1414727-1 is not prime. Res64: CBCC91448F8580C0 Time : 0.0 sec. user=mdettweiler [2015-11-12 16:00:32] 741*2^1414727-1 is not prime. Res64: AA2E78C627DC865E Time : 0.0 sec. user=mdettweiler [2015-11-12 16:00:32] 909*2^1414727-1 is not prime. Res64: A7B338A407A8E0D6 Time : 0.0 sec. user=mdettweiler [2015-11-12 16:03:19] 945*2^1414727-1 is not prime. Res64: 2AE4AAE82524783B Time : 0.0 sec. user=mdettweiler [2015-11-12 16:03:22] 981*2^1414727-1 is not prime. Res64: 709687D4331FE694 Time : 0.0 sec. user=mdettweiler [2015-11-12 16:04:41] 735*2^1414728-1 is not prime. Res64: CD8EE82C2628465C Time : 0.0 sec. user=mdettweiler [2015-11-12 16:04:42] 825*2^1414728-1 is not prime. Res64: 2D677A0B897DB055 Time : 0.0 sec. user=mdettweiler [2015-11-12 16:18:17] 845*2^1414728-1 is not prime. Res64: 3DE675BD978C9C2A Time : 0.0 sec. user=mdettweiler [2015-11-12 16:18:18] 915*2^1414728-1 is not prime. Res64: E99EF1B98AF2A803 Time : 0.0 sec. user=mdettweiler [2015-11-12 16:18:28] 661*2^1414729-1 is not prime. Res64: EE0584DCF14E8077 Time : 0.0 sec. user=mdettweiler [2015-11-12 16:18:29] 705*2^1414729-1 is not prime. Res64: 84E236AE362D3F80 Time : 0.0 sec. user=mdettweiler [2015-11-12 16:21:25] 729*2^1414729-1 is not prime. Res64: 82D92B6E2DBBED3A Time : 0.0 sec. user=mdettweiler [2015-11-12 16:21:25] 741*2^1414729-1 is not prime. Res64: 32CF4E2DAD2411AB Time : 0.0 sec. user=mdettweiler [2015-11-12 16:22:33] 765*2^1414729-1 is not prime. Res64: AB92592EE5BE1E31 Time : 0.0 sec. user=mdettweiler [2015-11-12 16:22:34] 799*2^1414729-1 is not prime. Res64: F2F41085695A3A8F Time : 0.0 sec. user=mdettweiler [2015-11-12 16:37:15] 867*2^1414729-1 is not prime. Res64: 49F6A6DD581B2286 Time : 0.0 sec. user=mdettweiler [2015-11-12 16:37:15] 931*2^1414729-1 is not prime. Res64: 726022C69F4CA94D Time : 0.0 sec. user=mdettweiler [2015-11-12 16:37:21] 675*2^1414730-1 is not prime. Res64: ABEC3C7248E631DD Time : 0.0 sec. user=mdettweiler [2015-11-12 16:37:21] 677*2^1414730-1 is not prime. Res64: ABFF322AFF848204 Time : 0.0 sec. user=mdettweiler [2015-11-12 16:40:27] 707*2^1414730-1 is not prime. Res64: FABECF289E9ACA63 Time : 0.0 sec. user=mdettweiler [2015-11-12 16:40:27] 735*2^1414730-1 is not prime. Res64: 8206A5C2702D362D Time : 0.0 sec. user=mdettweiler [2015-11-12 16:41:40] 801*2^1414730-1 is not prime. Res64: DDD8B91BA05EE939 Time : 0.0 sec. user=mdettweiler [2015-11-12 16:41:40] 827*2^1414730-1 is not prime. Res64: 7A9E082B9648DABC Time : 0.0 sec. user=mdettweiler [2015-11-12 16:55:09] 981*2^1414730-1 is not prime. Res64: 57B7AEFD9BE46ECB Time : 0.0 sec. user=mdettweiler [2015-11-12 16:55:09] 875*2^1414730-1 is not prime. Res64: 9B728A27145CA9D5 Time : 0.0 sec. user=mdettweiler [2015-11-12 16:55:09] 751*2^1414731-1 is not prime. Res64: 805F67B711AE1F20 Time : 0.0 sec. user=mdettweiler [2015-11-12 16:55:09] 945*2^1414730-1 is not prime. Res64: 730C495F5E00D083 Time : 0.0 sec. user=mdettweiler [2015-11-12 16:58:17] 901*2^1414731-1 is not prime. Res64: 379862BB154A304C Time : 0.0 sec. user=mdettweiler [2015-11-12 16:58:17] 999*2^1414731-1 is not prime. Res64: 3D1DE8CD1CF9CE8B Time : 0.0 sec. user=mdettweiler [2015-11-12 16:59:35] 749*2^1414732-1 is not prime. Res64: F09966439499AD18 Time : 0.0 sec. user=mdettweiler [2015-11-12 16:59:36] 869*2^1414732-1 is not prime. Res64: 4F4618EA6DEA2E28 Time : 0.0 sec. user=mdettweiler [2015-11-12 17:13:00] 621*2^1414733-1 is not prime. Res64: 53294BC737C3CE7C Time : 0.0 sec. user=mdettweiler [2015-11-12 17:13:00] 697*2^1414733-1 is not prime. Res64: 0B85BC4A79F54143 Time : 0.0 sec. user=mdettweiler [2015-11-12 17:13:01] 923*2^1414732-1 is not prime. Res64: A77FDFC431143A53 Time : 0.0 sec. user=mdettweiler [2015-11-12 17:13:02] 607*2^1414733-1 is not prime. Res64: 890ECEA81C4A9E59 Time : 0.0 sec. user=mdettweiler [2015-11-12 17:16:10] 715*2^1414733-1 is not prime. Res64: 69EAD52053342800 Time : 0.0 sec. user=mdettweiler [2015-11-12 17:16:11] 721*2^1414733-1 is not prime. Res64: 34301FD1E0B77746 Time : 0.0 sec. user=mdettweiler [2015-11-12 17:17:34] 847*2^1414733-1 is not prime. Res64: 4AD3A1F5A60BA98B Time : 0.0 sec. user=mdettweiler [2015-11-12 17:17:35] 871*2^1414733-1 is not prime. Res64: 1B7D65198790278E Time : 0.0 sec. user=mdettweiler [2015-11-12 17:30:53] 651*2^1414734-1 is not prime. Res64: 7A1C124924D725BA Time : 0.0 sec. user=mdettweiler [2015-11-12 17:30:53] 717*2^1414734-1 is not prime. Res64: F8940C5F2B9EF5B6 Time : 0.0 sec. user=mdettweiler [2015-11-12 17:31:13] 987*2^1414733-1 is not prime. Res64: D06936FEB7E0A6DB Time : 0.0 sec. user=mdettweiler [2015-11-12 17:31:14] 615*2^1414734-1 is not prime. Res64: 0B3BC08DF742BFB8 Time : 0.0 sec. user=mdettweiler [2015-11-12 17:34:04] 731*2^1414734-1 is not prime. Res64: CA84A272045FBE94 Time : 0.0 sec. user=mdettweiler [2015-11-12 17:34:04] 833*2^1414734-1 is not prime. Res64: E42C862936E8D11D Time : 0.0 sec. user=mdettweiler [2015-11-12 17:35:41] 863*2^1414734-1 is not prime. Res64: D3D89F40B2E9380B Time : 0.0 sec. user=mdettweiler [2015-11-12 17:35:41] 951*2^1414734-1 is not prime. Res64: ED4305BC24355069 Time : 0.0 sec. user=mdettweiler [2015-11-12 17:48:50] 1001*2^1414734-1 is not prime. Res64: 81F0972C9F6681EC Time : 0.0 sec. user=mdettweiler [2015-11-12 17:48:50] 639*2^1414735-1 is not prime. Res64: 6127C44E5A1FB0FF Time : 0.0 sec. user=mdettweiler [2015-11-12 17:49:06] 735*2^1414735-1 is not prime. Res64: 53EEF2925EBD5556 Time : 0.0 sec. user=mdettweiler [2015-11-12 17:49:07] 741*2^1414735-1 is not prime. Res64: FC213D6A708A482F Time : 0.0 sec. user=mdettweiler [2015-11-12 17:52:03] 751*2^1414735-1 is not prime. Res64: 7221B937E1338BD7 Time : 0.0 sec. user=mdettweiler [2015-11-12 17:52:04] 841*2^1414735-1 is not prime. Res64: D56BB947F1E8ABA3 Time : 0.0 sec. user=mdettweiler [2015-11-12 17:53:33] 873*2^1414735-1 is not prime. Res64: 3FC8976D86C79D41 Time : 0.0 sec. user=mdettweiler [2015-11-12 17:53:33] 913*2^1414735-1 is not prime. Res64: F782C0617333E953 Time : 0.0 sec. user=mdettweiler [2015-11-12 18:06:48] 617*2^1414736-1 is not prime. Res64: 48A57B981DF06C43 Time : 0.0 sec. user=mdettweiler [2015-11-12 18:06:48] 669*2^1414736-1 is not prime. Res64: 81BC3491DEDF3DAD Time : 0.0 sec. user=mdettweiler [2015-11-12 18:07:10] 677*2^1414736-1 is not prime. Res64: 612F94A5A304B639 Time : 0.0 sec. user=mdettweiler [2015-11-12 18:07:11] 689*2^1414736-1 is not prime. Res64: 2E82E45FE35F04D1 Time : 0.0 sec. user=mdettweiler [2015-11-12 18:10:06] 693*2^1414736-1 is not prime. Res64: FD8FB2BD87BB1AF6 Time : 0.0 sec. user=mdettweiler [2015-11-12 18:10:06] 767*2^1414736-1 is not prime. Res64: 7CC5446A6B85EB17 Time : 0.0 sec. user=mdettweiler [2015-11-12 18:11:31] 825*2^1414736-1 is not prime. Res64: 06A48A17CD9AB718 Time : 0.0 sec. user=mdettweiler [2015-11-12 18:11:32] 833*2^1414736-1 is not prime. Res64: 2DAD64D0CDD90DBD Time : 0.0 sec. user=mdettweiler [2015-11-12 18:24:45] 879*2^1414736-1 is not prime. Res64: 2E2C38D193DD83AC Time : 0.0 sec. user=mdettweiler [2015-11-12 18:24:45] 649*2^1414737-1 is not prime. Res64: 1DBF8B314C4DD9B9 Time : 0.0 sec. user=mdettweiler [2015-11-12 18:25:04] 669*2^1414737-1 is not prime. Res64: EBE0FF6CD14E75F3 Time : 0.0 sec. user=mdettweiler [2015-11-12 18:25:05] 739*2^1414737-1 is not prime. Res64: C53A153046C508F0 Time : 0.0 sec. user=mdettweiler [2015-11-12 18:27:59] 819*2^1414737-1 is not prime. Res64: 281639831181FC7E Time : 0.0 sec. user=mdettweiler [2015-11-12 18:28:00] 831*2^1414737-1 is not prime. Res64: D69DF23D516CC3B5 Time : 0.0 sec. user=mdettweiler [2015-11-12 18:29:26] 837*2^1414737-1 is not prime. Res64: BEA0639F74511A04 Time : 0.0 sec. user=mdettweiler [2015-11-12 18:29:26] 847*2^1414737-1 is not prime. Res64: 7F3C044398FAD308 Time : 0.0 sec. user=mdettweiler [2015-11-12 18:42:42] 895*2^1414737-1 is not prime. Res64: BA87BD01DB13AA17 Time : 0.0 sec. user=mdettweiler [2015-11-12 18:42:42] 937*2^1414737-1 is not prime. Res64: 4B63CF94192D25C6 Time : 0.0 sec. user=mdettweiler [2015-11-12 18:43:13] 645*2^1414738-1 is not prime. Res64: 251FFB0424A31E5A Time : 0.0 sec. user=mdettweiler [2015-11-12 18:43:13] 827*2^1414738-1 is not prime. Res64: 71983C8505E7B0D5 Time : 0.0 sec. user=mdettweiler [2015-11-12 18:45:51] 887*2^1414738-1 is not prime. Res64: 3D5A6860DCDF3298 Time : 0.0 sec. user=mdettweiler [2015-11-12 18:45:52] 759*2^1414739-1 is not prime. Res64: 9860394338A32D8F Time : 0.0 sec. user=mdettweiler [2015-11-12 18:47:30] 811*2^1414739-1 is not prime. Res64: 6DDC2F72DA8D3B68 Time : 0.0 sec. user=mdettweiler [2015-11-12 18:47:31] 829*2^1414739-1 is not prime. Res64: D0BE7F7E6BFE99E8 Time : 0.0 sec. user=mdettweiler [2015-11-12 19:00:27] 843*2^1414739-1 is not prime. Res64: 57E856DE0F38DFC4 Time : 0.0 sec. user=mdettweiler [2015-11-12 19:00:28] 883*2^1414739-1 is not prime. Res64: 7C53005C01FE08CE Time : 0.0 sec. user=mdettweiler [2015-11-12 19:01:04] 939*2^1414739-1 is not prime. Res64: 075889F1AD0ACE0F Time : 0.0 sec. user=mdettweiler [2015-11-12 19:01:05] 845*2^1414740-1 is not prime. Res64: 3E57FDE57C953F69 Time : 0.0 sec. user=mdettweiler [2015-11-12 19:03:46] 857*2^1414740-1 is not prime. Res64: 673510D7F2C448FF Time : 0.0 sec. user=mdettweiler [2015-11-12 19:03:48] 945*2^1414740-1 is not prime. Res64: 20C577F28CD5DE0C Time : 0.0 sec. user=mdettweiler [2015-11-12 19:05:27] 619*2^1414741-1 is not prime. Res64: FC2922DE20E30103 Time : 0.0 sec. user=mdettweiler [2015-11-12 19:05:29] 691*2^1414741-1 is not prime. Res64: 4E6D27D5DBE650B2 Time : 0.0 sec. user=mdettweiler [2015-11-12 19:18:25] 751*2^1414741-1 is not prime. Res64: 3513889F45C35761 Time : 0.0 sec. user=mdettweiler [2015-11-12 19:18:25] 937*2^1414741-1 is not prime. Res64: 7ECD970EF1BCD9A0 Time : 0.0 sec. user=mdettweiler [2015-11-12 19:18:57] 657*2^1414742-1 is not prime. Res64: F79D8E045A197910 Time : 0.0 sec. user=mdettweiler [2015-11-12 19:18:58] 671*2^1414742-1 is not prime. Res64: 38EE3CA9DFD45D04 Time : 0.0 sec. user=mdettweiler [2015-11-12 19:21:46] 693*2^1414742-1 is not prime. Res64: AB2DFCBFC9DDA34A Time : 0.0 sec. user=mdettweiler [2015-11-12 19:21:47] 741*2^1414742-1 is not prime. Res64: 93FC91145A451407 Time : 0.0 sec. user=mdettweiler [2015-11-12 19:23:26] 743*2^1414742-1 is not prime. Res64: 36B402ECBEEBA689 Time : 0.0 sec. user=mdettweiler [2015-11-12 19:23:27] 825*2^1414742-1 is not prime. Res64: 5530D0D614FBF7A8 Time : 0.0 sec. user=mdettweiler [2015-11-12 19:36:38] 875*2^1414742-1 is not prime. Res64: 11E491CE8E374FF2 Time : 0.0 sec. user=mdettweiler [2015-11-12 19:36:39] 893*2^1414742-1 is not prime. Res64: FF4687DA409B878A Time : 0.0 sec. user=mdettweiler [2015-11-12 19:37:09] 921*2^1414742-1 is not prime. Res64: C44AF94EF8F4B283 Time : 0.0 sec. user=mdettweiler [2015-11-12 19:37:10] 951*2^1414742-1 is not prime. Res64: 5EC3F291652FEEF6 Time : 0.0 sec. user=mdettweiler [2015-11-12 19:40:02] 643*2^1414743-1 is not prime. Res64: 0327394B63C900F7 Time : 0.0 sec. user=mdettweiler [2015-11-12 19:40:02] 709*2^1414743-1 is not prime. Res64: FB270BA43D153F74 Time : 0.0 sec. user=mdettweiler [2015-11-12 19:41:57] 775*2^1414743-1 is not prime. Res64: 8213A9957F4897AE Time : 0.0 sec. user=mdettweiler [2015-11-12 19:41:58] 795*2^1414743-1 is not prime. Res64: 92B13E77816CB1CC Time : 0.0 sec. user=mdettweiler [2015-11-12 19:55:39] 849*2^1414743-1 is not prime. Res64: F1B1EC9DA246EBBE Time : 0.0 sec. user=mdettweiler [2015-11-12 19:55:39] 879*2^1414743-1 is not prime. Res64: C415965288042BEC Time : 0.0 sec. user=mdettweiler [2015-11-12 19:55:53] 969*2^1414743-1 is not prime. Res64: 0CC7A4881D7CA8C4 Time : 0.0 sec. user=mdettweiler [2015-11-12 19:55:54] 615*2^1414744-1 is not prime. Res64: 1C239085CFB2DDFB Time : 0.0 sec. user=mdettweiler [2015-11-12 19:58:49] 629*2^1414744-1 is not prime. Res64: B69558DE9D7A1ADD Time : 0.0 sec. user=mdettweiler [2015-11-12 19:58:49] 855*2^1414744-1 is not prime. Res64: 606E18152D85074D Time : 0.0 sec. user=mdettweiler [2015-11-12 20:00:38] 899*2^1414744-1 is not prime. Res64: 2FD0DCC7B8E637CD Time : 0.0 sec. user=mdettweiler [2015-11-12 20:00:39] 923*2^1414744-1 is not prime. Res64: 9335D3237836F52F Time : 0.0 sec. user=mdettweiler [2015-11-12 20:13:32] 983*2^1414744-1 is not prime. Res64: 9832DD7151A9D60A Time : 0.0 sec. user=mdettweiler [2015-11-12 20:13:32] 721*2^1414745-1 is not prime. Res64: 922A272735FF1347 Time : 0.0 sec. user=mdettweiler [2015-11-12 20:13:48] 727*2^1414745-1 is not prime. Res64: FCB2202F06D9B417 Time : 0.0 sec. user=mdettweiler [2015-11-12 20:13:48] 831*2^1414745-1 is not prime. Res64: 83332A1500FA1764 Time : 0.0 sec. user=mdettweiler [2015-11-12 20:16:43] 837*2^1414745-1 is not prime. Res64: 611EBA2ADD27BAAA Time : 0.0 sec. user=mdettweiler [2015-11-12 20:16:44] 847*2^1414745-1 is not prime. Res64: DF795AC9F24B48DC Time : 0.0 sec. user=mdettweiler [2015-11-12 20:18:31] 871*2^1414745-1 is not prime. Res64: 96AF88DFFD663E73 Time : 0.0 sec. user=mdettweiler [2015-11-12 20:18:31] 987*2^1414745-1 is not prime. Res64: FB1A7EAE4330D656 Time : 0.0 sec. user=mdettweiler [2015-11-12 20:31:25] 641*2^1414746-1 is not prime. Res64: 178DFFCE268E4B0D Time : 0.0 sec. user=mdettweiler [2015-11-12 20:31:25] 815*2^1414746-1 is not prime. Res64: 31DC11EFC26D96C6 Time : 0.0 sec. user=mdettweiler [2015-11-12 20:31:39] 825*2^1414746-1 is not prime. Res64: DAF91B53266022A8 Time : 0.0 sec. user=mdettweiler [2015-11-12 20:31:40] 867*2^1414746-1 is not prime. Res64: 6197DC2043C51D7A Time : 0.0 sec. user=mdettweiler [2015-11-12 20:34:42] 903*2^1414746-1 is not prime. Res64: BD4FD3C4E01EDD19 Time : 0.0 sec. user=mdettweiler [2015-11-12 20:34:42] 941*2^1414746-1 is not prime. Res64: C86E6CC72D65B115 Time : 0.0 sec. user=mdettweiler [2015-11-12 20:36:21] 645*2^1414747-1 is not prime. Res64: 004885465E2C5558 Time : 0.0 sec. user=mdettweiler [2015-11-12 20:36:22] 673*2^1414747-1 is not prime. Res64: 3EA1242187055D99 Time : 0.0 sec. user=mdettweiler [2015-11-12 20:49:40] 849*2^1414747-1 is not prime. Res64: 7EB9175C55C6A9F9 Time : 0.0 sec. user=mdettweiler [2015-11-12 20:49:40] 663*2^1414748-1 is not prime. Res64: 77B87693D66F4621 Time : 0.0 sec. user=mdettweiler [2015-11-12 20:50:12] 741*2^1414747-1 is not prime. Res64: 6AD87CBE538F256F Time : 0.0 sec. user=mdettweiler [2015-11-12 20:50:13] 765*2^1414747-1 is not prime. Res64: 9D36356E915EC9EA Time : 0.0 sec. user=mdettweiler [2015-11-12 20:52:47] 669*2^1414748-1 is not prime. Res64: EA395F26F7437500 Time : 0.0 sec. user=mdettweiler [2015-11-12 20:52:47] 683*2^1414748-1 is not prime. Res64: 6188DC339DD516BF Time : 0.0 sec. user=mdettweiler [2015-11-12 20:54:34] 753*2^1414748-1 is not prime. Res64: 1D54DF4045310B5B Time : 0.0 sec. user=mdettweiler [2015-11-12 20:54:34] 813*2^1414748-1 is not prime. Res64: 8F84258BB9452073 Time : 0.0 sec. user=mdettweiler [2015-11-12 21:07:24] 909*2^1414748-1 is not prime. Res64: B57881323410C7DD Time : 0.0 sec. user=mdettweiler [2015-11-12 21:07:25] 999*2^1414748-1 is not prime. Res64: 4A66FA2612444C00 Time : 0.0 sec. user=mdettweiler [2015-11-12 21:08:03] 759*2^1414749-1 is not prime. Res64: A3EAC9AA796D5F66 Time : 0.0 sec. user=mdettweiler [2015-11-12 21:08:03] 987*2^1414749-1 is not prime. Res64: 1838655E5CDD9777 Time : 0.0 sec. user=mdettweiler [2015-11-12 21:10:35] 991*2^1414749-1 is not prime. Res64: 0F8F66B1800ADA02 Time : 0.0 sec. user=mdettweiler [2015-11-12 21:10:35] 647*2^1414750-1 is not prime. Res64: F215D099CA61809C Time : 0.0 sec. user=mdettweiler [2015-11-12 21:12:16] 651*2^1414750-1 is not prime. Res64: AC08A8D33039E162 Time : 0.0 sec. user=mdettweiler [2015-11-12 21:12:17] 657*2^1414750-1 is not prime. Res64: FD15D65A32C489FB Time : 0.0 sec. user=mdettweiler [2015-11-12 21:25:22] 675*2^1414750-1 is not prime. Res64: A29771F286E71234 Time : 0.0 sec. user=mdettweiler [2015-11-12 21:25:23] 723*2^1414750-1 is not prime. Res64: 8950067BB46F4E3F Time : 0.0 sec. user=mdettweiler [2015-11-12 21:25:52] 783*2^1414750-1 is not prime. Res64: E9A57650B2C02BC9 Time : 0.0 sec. user=mdettweiler [2015-11-12 21:25:53] 827*2^1414750-1 is not prime. Res64: 3FEB9D5295584356 Time : 0.0 sec. user=mdettweiler [2015-11-12 21:28:25] 873*2^1414750-1 is not prime. Res64: AE13DC9AC83A98D8 Time : 0.0 sec. user=mdettweiler [2015-11-12 21:28:26] 891*2^1414750-1 is not prime. Res64: 278CFB1D4A701560 Time : 0.0 sec. user=mdettweiler [2015-11-12 21:30:01] 923*2^1414750-1 is not prime. Res64: 6423F31F7B000A06 Time : 0.0 sec. user=mdettweiler [2015-11-12 21:30:02] 645*2^1414751-1 is not prime. Res64: 12771BFCCC8C082E Time : 0.0 sec. user=mdettweiler [2015-11-12 21:43:09] 669*2^1414751-1 is not prime. Res64: 024FDA1469DA8D13 Time : 0.0 sec. user=mdettweiler [2015-11-12 21:43:09] 741*2^1414751-1 is not prime. Res64: 389D4D5FE2B7C595 Time : 0.0 sec. user=mdettweiler [2015-11-12 21:43:38] 855*2^1414751-1 is not prime. Res64: 004F962C32306C3B Time : 0.0 sec. user=mdettweiler [2015-11-12 21:43:38] 865*2^1414751-1 is not prime. Res64: 2A6DD4216BC57931 Time : 0.0 sec. user=mdettweiler [2015-11-12 21:46:14] 633*2^1414752-1 is not prime. Res64: 345B0B04AE214FB3 Time : 0.0 sec. user=mdettweiler [2015-11-12 21:46:15] 675*2^1414752-1 is not prime. Res64: 6E7601C488D41F28 Time : 0.0 sec. user=mdettweiler [2015-11-12 21:47:49] 713*2^1414752-1 is not prime. Res64: BAA416D221104C6E Time : 0.0 sec. user=mdettweiler [2015-11-12 21:47:50] 765*2^1414752-1 is not prime. Res64: BB406E37FF5D82F9 Time : 0.0 sec. user=mdettweiler [2015-11-12 22:01:01] 815*2^1414752-1 is not prime. Res64: F6F34524A593BB80 Time : 0.0 sec. user=mdettweiler [2015-11-12 22:01:02] 959*2^1414752-1 is not prime. Res64: A182E52F3B144654 Time : 0.0 sec. user=mdettweiler [2015-11-12 22:01:22] 615*2^1414753-1 is not prime. Res64: 29ABFC08508D137C Time : 0.0 sec. user=mdettweiler [2015-11-12 22:01:23] 637*2^1414753-1 is not prime. Res64: 62002931509BA374 Time : 0.0 sec. user=mdettweiler [2015-11-12 22:04:03] 745*2^1414753-1 is not prime. Res64: 68F2C88983CF7220 Time : 0.0 sec. user=mdettweiler [2015-11-12 22:04:05] 751*2^1414753-1 is not prime. Res64: DDD380285FA86B1F Time : 0.0 sec. user=mdettweiler [2015-11-12 22:05:42] 805*2^1414753-1 is not prime. Res64: 43973CFE694BCF09 Time : 0.0 sec. user=mdettweiler [2015-11-12 22:05:44] 831*2^1414753-1 is not prime. Res64: 5AB1D09C1D04D0E2 Time : 0.0 sec. user=mdettweiler [2015-11-12 22:19:02] 895*2^1414753-1 is not prime. Res64: F87A877A4520A768 Time : 0.0 sec. user=mdettweiler [2015-11-12 22:19:02] 615*2^1414754-1 is not prime. Res64: 2E5FFD6686F42022 Time : 0.0 sec. user=mdettweiler [2015-11-12 22:19:14] 791*2^1414754-1 is not prime. Res64: E2DA5333B2A9A76A Time : 0.0 sec. user=mdettweiler [2015-11-12 22:19:15] 797*2^1414754-1 is not prime. Res64: 7B2DD9404814F3BE Time : 0.0 sec. user=mdettweiler [2015-11-12 22:22:01] 833*2^1414754-1 is not prime. Res64: 6D28139184E8DC93 Time : 0.0 sec. user=mdettweiler [2015-11-12 22:22:01] 873*2^1414754-1 is not prime. Res64: EB6A572415FF2035 Time : 0.0 sec. user=mdettweiler [2015-11-12 22:23:42] 885*2^1414754-1 is not prime. Res64: 4CF642884C2E0026 Time : 0.0 sec. user=mdettweiler [2015-11-12 22:23:42] 601*2^1414755-1 is not prime. Res64: 269F808BA75A701E Time : 0.0 sec. user=mdettweiler [2015-11-12 22:36:51] 651*2^1414755-1 is not prime. Res64: 70794A40F367210D Time : 0.0 sec. user=mdettweiler [2015-11-12 22:36:52] 823*2^1414755-1 is not prime. Res64: 84B7473BAACFDD5E Time : 0.0 sec. user=mdettweiler [2015-11-12 22:36:59] 895*2^1414755-1 is not prime. Res64: 6376AAE579D7F078 Time : 0.0 sec. user=mdettweiler [2015-11-12 22:36:59] 979*2^1414755-1 is not prime. Res64: 9957A91BDCC18B9F Time : 0.0 sec. user=mdettweiler [2015-11-12 22:39:57] 803*2^1414756-1 is not prime. Res64: 518620A7BC497F89 Time : 0.0 sec. user=mdettweiler [2015-11-12 22:39:57] 873*2^1414756-1 is not prime. Res64: E90F0AD3BF3BD21F Time : 0.0 sec. user=mdettweiler [2015-11-12 22:41:31] 875*2^1414756-1 is not prime. Res64: 301591AE590B0F1A Time : 0.0 sec. user=mdettweiler [2015-11-12 22:41:31] 607*2^1414757-1 is not prime. Res64: A25A41B1ADC200D0 Time : 0.0 sec. user=mdettweiler [2015-11-12 22:54:33] 615*2^1414757-1 is not prime. Res64: 50A062296BD1FEC8 Time : 0.0 sec. user=mdettweiler [2015-11-12 22:54:34] 619*2^1414757-1 is not prime. Res64: 7C977924E802A35A Time : 0.0 sec. user=mdettweiler [2015-11-12 22:54:36] 621*2^1414757-1 is not prime. Res64: 3B89DEBC65EDA134 Time : 0.0 sec. user=mdettweiler [2015-11-12 22:54:36] 655*2^1414757-1 is not prime. Res64: 7BF852FB5619F1B0 Time : 0.0 sec. user=mdettweiler [2015-11-12 22:57:36] 715*2^1414757-1 is not prime. Res64: A11337E4E8BB1811 Time : 0.0 sec. user=mdettweiler [2015-11-12 22:57:37] 729*2^1414757-1 is not prime. Res64: 90E5335356BC0CBB Time : 0.0 sec. user=mdettweiler [2015-11-12 22:59:14] 871*2^1414757-1 is not prime. Res64: 7B68A8F36736AF4F Time : 0.0 sec. user=mdettweiler [2015-11-12 22:59:14] 671*2^1414758-1 is not prime. Res64: 3DCDBA26DA59BB1F Time : 0.0 sec. user=mdettweiler [2015-11-12 23:12:37] 761*2^1414758-1 is not prime. Res64: 60B1D54CD2078F1C Time : 0.0 sec. user=mdettweiler [2015-11-12 23:12:38] 945*2^1414758-1 is not prime. Res64: 8354CA9A247BC68A Time : 0.0 sec. user=mdettweiler [2015-11-12 23:12:41] 713*2^1414758-1 is not prime. Res64: 8481DD8DCB597EF9 Time : 0.0 sec. user=mdettweiler [2015-11-12 23:12:41] 755*2^1414758-1 is not prime. Res64: E3067923BB269A5C Time : 0.0 sec. user=mdettweiler [2015-11-12 23:15:34] 625*2^1414759-1 is not prime. Res64: CEBE4C0EF03166EC Time : 0.0 sec. user=mdettweiler [2015-11-12 23:15:34] 793*2^1414759-1 is not prime. Res64: E6845FBD12EAD805 Time : 0.0 sec. user=mdettweiler [2015-11-12 23:18:11] 831*2^1414759-1 is not prime. Res64: 0BF0FD5285C3FD3B Time : 0.0 sec. user=mdettweiler [2015-11-12 23:18:11] 665*2^1414760-1 is not prime. Res64: 5FBB14F9F80C5E68 Time : 0.0 sec. user=mdettweiler [2015-11-12 23:35:34] 927*2^1414760-1 is not prime. Res64: C2B8F63FB046DF21 Time : 0.0 sec. user=mdettweiler [2015-11-12 23:35:34] 959*2^1414760-1 is not prime. Res64: 9604B226ED7137B9 Time : 0.0 sec. user=mdettweiler [2015-11-12 23:35:52] 797*2^1414760-1 is not prime. Res64: B72F7B04BA2D1A94 Time : 0.0 sec. user=mdettweiler [2015-11-12 23:35:53] 839*2^1414760-1 is not prime. Res64: 0CEA0F8A71ABCC47 Time : 0.0 sec. user=mdettweiler [2015-11-12 23:38:18] 819*2^1414761-1 is not prime. Res64: DA3E340C5460517A Time : 0.0 sec. user=mdettweiler [2015-11-12 23:38:19] 829*2^1414761-1 is not prime. Res64: 60D08A8CA7FAC529 Time : 0.0 sec. user=mdettweiler [2015-11-12 23:41:54] 837*2^1414761-1 is not prime. Res64: 510B7266F3CADDB3 Time : 0.0 sec. user=mdettweiler [2015-11-12 23:41:54] 865*2^1414761-1 is not prime. Res64: 84014285761D0C8E Time : 0.0 sec.