user=mdettweiler [2015-07-29 00:09:48] 601*2^1404591-1 is not prime. Res64: 217D4D7C43594C69 Time : 0.0 sec. user=mdettweiler [2015-07-29 00:09:49] 685*2^1404591-1 is not prime. Res64: 987042E9E847683B Time : 0.0 sec. user=mdettweiler [2015-07-29 00:12:06] 705*2^1404591-1 is not prime. Res64: FB33F2DBFE76FAF3 Time : 0.0 sec. user=mdettweiler [2015-07-29 00:12:06] 805*2^1404591-1 is not prime. Res64: 72DFF2E283E31C32 Time : 0.0 sec. user=mdettweiler [2015-07-29 00:12:22] 865*2^1404591-1 is not prime. Res64: 72A0A74E7D549513 Time : 0.0 sec. user=mdettweiler [2015-07-29 00:12:22] 979*2^1404591-1 is not prime. Res64: 3710E9A802A048BD Time : 0.0 sec. user=mdettweiler [2015-07-29 00:15:07] 609*2^1404592-1 is not prime. Res64: 8A1320E5B6F0BB0D Time : 0.0 sec. user=mdettweiler [2015-07-29 00:15:07] 803*2^1404592-1 is not prime. Res64: D5F993D11D1E838E Time : 0.0 sec. user=mdettweiler [2015-07-29 00:29:31] 873*2^1404592-1 is not prime. Res64: CDD6A4EEDB55620A Time : 0.0 sec. user=mdettweiler [2015-07-29 00:29:31] 631*2^1404593-1 is not prime. Res64: FF39E3393838A388 Time : 0.0 sec. user=mdettweiler [2015-07-29 00:31:42] 637*2^1404593-1 is not prime. Res64: 7319EB8896F16FB8 Time : 0.0 sec. user=mdettweiler [2015-07-29 00:31:43] 679*2^1404593-1 is not prime. Res64: 3612846305732285 Time : 0.0 sec. user=mdettweiler [2015-07-29 00:32:19] 721*2^1404593-1 is not prime. Res64: 44B2BA8AB9D854C1 Time : 0.0 sec. user=mdettweiler [2015-07-29 00:32:19] 727*2^1404593-1 is not prime. Res64: 9818163FE2B5E7C8 Time : 0.0 sec. user=mdettweiler [2015-07-29 00:34:46] 795*2^1404593-1 is not prime. Res64: 9150B9C5641D2B6D Time : 0.0 sec. user=mdettweiler [2015-07-29 00:34:46] 945*2^1404593-1 is not prime. Res64: 6C5D8294099EBCF8 Time : 0.0 sec. user=mdettweiler [2015-07-29 00:48:27] 991*2^1404593-1 is not prime. Res64: 03604210A295E7D5 Time : 0.0 sec. user=mdettweiler [2015-07-29 00:48:27] 651*2^1404594-1 is not prime. Res64: ED9F15FD76F0FCB7 Time : 0.0 sec. user=mdettweiler [2015-07-29 00:50:31] 803*2^1404594-1 is not prime. Res64: 19B313D46D4095E9 Time : 0.0 sec. user=mdettweiler [2015-07-29 00:50:31] 971*2^1404594-1 is not prime. Res64: AE8C0AB3EE6143DF Time : 0.0 sec. user=mdettweiler [2015-07-29 00:51:06] 691*2^1404595-1 is not prime. Res64: C5B19D2AC75AE910 Time : 0.0 sec. user=mdettweiler [2015-07-29 00:51:06] 829*2^1404595-1 is not prime. Res64: 73A7ED4D4E66F6B4 Time : 0.0 sec. user=mdettweiler [2015-07-29 00:53:27] 859*2^1404595-1 is not prime. Res64: 05E19E57309EBF18 Time : 0.0 sec. user=mdettweiler [2015-07-29 00:53:27] 883*2^1404595-1 is not prime. Res64: B5CE8B2D9D396AA8 Time : 0.0 sec. user=mdettweiler [2015-07-29 01:07:37] 623*2^1404596-1 is not prime. Res64: 9E8DB6D9D7CD42EF Time : 0.0 sec. user=mdettweiler [2015-07-29 01:07:38] 855*2^1404596-1 is not prime. Res64: F55886B763BE7FEF Time : 0.0 sec. user=mdettweiler [2015-07-29 01:09:34] 927*2^1404596-1 is not prime. Res64: 2FA970B014F92D99 Time : 0.0 sec. user=mdettweiler [2015-07-29 01:09:34] 969*2^1404596-1 is not prime. Res64: 977A9137E5704FF6 Time : 0.0 sec. user=mdettweiler [2015-07-29 01:10:01] 681*2^1404597-1 is not prime. Res64: 153AE84D5EB58AED Time : 0.0 sec. user=mdettweiler [2015-07-29 01:10:01] 685*2^1404597-1 is not prime. Res64: 18EC8F0906429106 Time : 0.0 sec. user=mdettweiler [2015-07-29 01:12:34] 711*2^1404597-1 is not prime. Res64: 00707A3A4B31F1E6 Time : 0.0 sec. user=mdettweiler [2015-07-29 01:12:34] 781*2^1404597-1 is not prime. Res64: 0CB364C3576838E1 Time : 0.0 sec. user=mdettweiler [2015-07-29 01:26:48] 795*2^1404597-1 is not prime. Res64: 6D24E4C1F3DA6CCD Time : 0.0 sec. user=mdettweiler [2015-07-29 01:26:48] 891*2^1404597-1 is not prime. Res64: DD8AAADE01579464 Time : 0.0 sec. user=mdettweiler [2015-07-29 01:28:44] 901*2^1404597-1 is not prime. Res64: 38CAA088F4BD76C7 Time : 0.0 sec. user=mdettweiler [2015-07-29 01:28:45] 657*2^1404598-1 is not prime. Res64: 5BF17F203F5D7EBE Time : 0.0 sec. user=mdettweiler [2015-07-29 01:29:30] 705*2^1404598-1 is not prime. Res64: C3A1C87C5812C32C Time : 0.0 sec. user=mdettweiler [2015-07-29 01:29:30] 827*2^1404598-1 is not prime. Res64: 18891434C54B2F05 Time : 0.0 sec. user=mdettweiler [2015-07-29 01:31:40] 1001*2^1404598-1 is not prime. Res64: 34DA7EADB36486AF Time : 0.0 sec. user=mdettweiler [2015-07-29 01:31:40] 729*2^1404599-1 is not prime. Res64: 283C320CF9C6067C Time : 0.0 sec. user=mdettweiler [2015-07-29 01:45:55] 745*2^1404599-1 is not prime. Res64: 0A1CBD321ACFC911 Time : 0.0 sec. user=mdettweiler [2015-07-29 01:45:55] 775*2^1404599-1 is not prime. Res64: 6F4D720AF611258C Time : 0.0 sec. user=mdettweiler [2015-07-29 01:47:39] 811*2^1404599-1 is not prime. Res64: 29C2C99558E8105D Time : 0.0 sec. user=mdettweiler [2015-07-29 01:47:40] 909*2^1404599-1 is not prime. Res64: 5B9B35CB996915F4 Time : 0.0 sec. user=mdettweiler [2015-07-29 01:48:26] 949*2^1404599-1 is not prime. Res64: 58CAD2046E6172E6 Time : 0.0 sec. user=mdettweiler [2015-07-29 01:48:26] 969*2^1404599-1 is not prime. Res64: C6973B9C0797742D Time : 0.0 sec. user=mdettweiler [2015-07-29 01:50:35] 627*2^1404600-1 is not prime. Res64: 77DB29AE48BE5166 Time : 0.0 sec. user=mdettweiler [2015-07-29 01:50:35] 629*2^1404600-1 is not prime. Res64: 84DCBF84E516A235 Time : 0.0 sec. user=mdettweiler [2015-07-29 02:05:12] 635*2^1404600-1 is not prime. Res64: F9EC6EB7D80DDC3C Time : 0.0 sec. user=mdettweiler [2015-07-29 02:05:15] 839*2^1404600-1 is not prime. Res64: 3B0BB50C6DFC7DCC Time : 0.0 sec. user=mdettweiler [2015-07-29 02:06:50] 879*2^1404600-1 is not prime. Res64: C25B5BB56A2850C7 Time : 0.0 sec. user=mdettweiler [2015-07-29 02:06:50] 917*2^1404600-1 is not prime. Res64: F689A9F245119EDB Time : 0.0 sec. user=mdettweiler [2015-07-29 02:07:46] 959*2^1404600-1 is not prime. Res64: 0E30F92BFA8868B7 Time : 0.0 sec. user=mdettweiler [2015-07-29 02:07:46] 975*2^1404600-1 is not prime. Res64: A668CB9965D7940D Time : 0.0 sec. user=mdettweiler [2015-07-29 02:10:08] 637*2^1404601-1 is not prime. Res64: D3CB498670E85AF0 Time : 0.0 sec. user=mdettweiler [2015-07-29 02:10:09] 777*2^1404601-1 is not prime. Res64: 7515AAD9C722E6E3 Time : 0.0 sec. user=mdettweiler [2015-07-29 02:35:59] 859*2^1404603-1 is not prime. Res64: 301CCB67A229AD14 Time : 0.0 sec. user=mdettweiler [2015-07-29 02:36:00] 913*2^1404603-1 is not prime. Res64: 28EDF4242BF6C9F3 Time : 0.0 sec. user=mdettweiler [2015-07-29 02:36:12] 649*2^1404603-1 is not prime. Res64: 3DF72E44730A422B Time : 0.0 sec. user=mdettweiler [2015-07-29 02:36:12] 735*2^1404603-1 is not prime. Res64: 933AF4EAD52851D9 Time : 0.0 sec. user=mdettweiler [2015-07-29 02:36:25] 885*2^1404602-1 is not prime. Res64: 2BF9DF067D5ACAC6 Time : 0.0 sec. user=mdettweiler [2015-07-29 02:36:25] 995*2^1404602-1 is not prime. Res64: DA55C9DE07220EA6 Time : 0.0 sec. user=mdettweiler [2015-07-29 02:36:31] 645*2^1404602-1 is not prime. Res64: D044C3CC18FD3B03 Time : 0.0 sec. user=mdettweiler [2015-07-29 02:36:32] 813*2^1404602-1 is not prime. Res64: 20CD040800791E32 Time : 0.0 sec. user=mdettweiler [2015-07-29 02:58:37] 609*2^1404604-1 is not prime. Res64: 0F562E4A51C15525 Time : 0.0 sec. user=mdettweiler [2015-07-29 02:58:37] 635*2^1404604-1 is not prime. Res64: 9DE9AE18D061BEB3 Time : 0.0 sec. user=mdettweiler [2015-07-29 02:58:45] 887*2^1404604-1 is not prime. Res64: 361FBD1F1A26C734 Time : 0.0 sec. user=mdettweiler [2015-07-29 02:58:46] 995*2^1404604-1 is not prime. Res64: 9B122EE75AD4871C Time : 0.0 sec. user=mdettweiler [2015-07-29 02:58:58] 685*2^1404605-1 is not prime. Res64: 42DE077C16081052 Time : 0.0 sec. user=mdettweiler [2015-07-29 02:58:58] 715*2^1404605-1 is not prime. Res64: AB5BD1E03F05EE18 Time : 0.0 sec. user=mdettweiler [2015-07-29 03:00:06] 729*2^1404605-1 is not prime. Res64: B85725010E159692 Time : 0.0 sec. user=mdettweiler [2015-07-29 03:00:06] 885*2^1404605-1 is not prime. Res64: 28845C3AD3192A10 Time : 0.0 sec. user=mdettweiler [2015-07-29 03:18:32] 937*2^1404605-1 is not prime. Res64: 44581EC242FF6605 Time : 0.0 sec. user=mdettweiler [2015-07-29 03:18:32] 761*2^1404606-1 is not prime. Res64: 445D6E96A1CC9958 Time : 0.0 sec. user=mdettweiler [2015-07-29 03:18:49] 603*2^1404607-1 is not prime. Res64: 86EFC3FA50411332 Time : 0.0 sec. user=mdettweiler [2015-07-29 03:18:50] 633*2^1404607-1 is not prime. Res64: B9C56D5A88ABF6F7 Time : 0.0 sec. user=mdettweiler [2015-07-29 03:19:07] 825*2^1404606-1 is not prime. Res64: 4CEA669622F1C062 Time : 0.0 sec. user=mdettweiler [2015-07-29 03:19:08] 993*2^1404606-1 is not prime. Res64: CFCFA0E9EED91461 Time : 0.0 sec. user=mdettweiler [2015-07-29 03:19:42] 765*2^1404607-1 is not prime. Res64: A72BFE48CB85FCB0 Time : 0.0 sec. user=mdettweiler [2015-07-29 03:19:43] 775*2^1404607-1 is not prime. Res64: 5F014D7507468A74 Time : 0.0 sec. user=mdettweiler [2015-07-29 03:36:26] 819*2^1404607-1 is not prime. Res64: B07FC2868F83476C Time : 0.0 sec. user=mdettweiler [2015-07-29 03:36:28] 931*2^1404607-1 is not prime. Res64: FCBD473F998A28FE Time : 0.0 sec. user=mdettweiler [2015-07-29 03:36:38] 951*2^1404607-1 is not prime. Res64: 4BCAB3B1EFB070A6 Time : 0.0 sec. user=mdettweiler [2015-07-29 03:36:42] 985*2^1404607-1 is not prime. Res64: 8D964F790C79F25C Time : 0.0 sec. user=mdettweiler [2015-07-29 03:37:12] 725*2^1404608-1 is not prime. Res64: D14A0ECE82F9AB77 Time : 0.0 sec. user=mdettweiler [2015-07-29 03:37:13] 789*2^1404608-1 is not prime. Res64: 0A99E3D88C5313BD Time : 0.0 sec. user=mdettweiler [2015-07-29 03:37:27] 797*2^1404608-1 is not prime. Res64: 5E8B086150DC1A34 Time : 0.0 sec. user=mdettweiler [2015-07-29 03:37:27] 815*2^1404608-1 is not prime. Res64: C554376908C31B85 Time : 0.0 sec. user=mdettweiler [2015-07-29 03:54:39] 977*2^1404608-1 is not prime. Res64: FE2E192FC0AA9151 Time : 0.0 sec. user=mdettweiler [2015-07-29 03:54:40] 999*2^1404608-1 is not prime. Res64: 4B9213BB7970BA33 Time : 0.0 sec. user=mdettweiler [2015-07-29 03:54:42] 649*2^1404609-1 is not prime. Res64: 646C5AA550F2A918 Time : 0.0 sec. user=mdettweiler [2015-07-29 03:54:43] 667*2^1404609-1 is not prime. Res64: 4C8E007E6126DAA2 Time : 0.0 sec. user=mdettweiler [2015-07-29 03:55:01] 735*2^1404609-1 is not prime. Res64: 1148CB8F673F98E1 Time : 0.0 sec. user=mdettweiler [2015-07-29 03:55:02] 741*2^1404609-1 is not prime. Res64: 526D62B533EA7CE6 Time : 0.0 sec. user=mdettweiler [2015-07-29 03:55:10] 861*2^1404609-1 is not prime. Res64: 183CFB2F4FAFB998 Time : 0.0 sec. user=mdettweiler [2015-07-29 03:55:10] 877*2^1404609-1 is not prime. Res64: 9B18FA54F75E257A Time : 0.0 sec. user=mdettweiler [2015-07-29 04:12:28] 889*2^1404609-1 is not prime. Res64: B85C720479AD886E Time : 0.0 sec. user=mdettweiler [2015-07-29 04:12:28] 999*2^1404609-1 is not prime. Res64: 5887FA6BF21423EC Time : 0.0 sec. user=mdettweiler [2015-07-29 04:12:53] 907*2^1404609-1 is not prime. Res64: FC115D8576D429A5 Time : 0.0 sec. user=mdettweiler [2015-07-29 04:12:54] 921*2^1404609-1 is not prime. Res64: CFA890A2F5E0833C Time : 0.0 sec. user=mdettweiler [2015-07-29 04:13:08] 603*2^1404610-1 is not prime. Res64: D68A70233E251DD7 Time : 0.0 sec. user=mdettweiler [2015-07-29 04:13:08] 677*2^1404610-1 is not prime. Res64: 1F334E826F39ED3B Time : 0.0 sec. user=mdettweiler [2015-07-29 04:13:15] 827*2^1404610-1 is not prime. Res64: 94AD1813B1161E93 Time : 0.0 sec. user=mdettweiler [2015-07-29 04:13:15] 867*2^1404610-1 is not prime. Res64: 3B4FDA2D3D6D73BC Time : 0.0 sec. user=mdettweiler [2015-07-29 04:29:51] 957*2^1404610-1 is not prime. Res64: C02D8733C9B7CC81 Time : 0.0 sec. user=mdettweiler [2015-07-29 04:29:52] 987*2^1404610-1 is not prime. Res64: 4F696A93E2B6F56F Time : 0.0 sec. user=mdettweiler [2015-07-29 04:30:14] 645*2^1404611-1 is not prime. Res64: F793BE1FE97B1801 Time : 0.0 sec. user=mdettweiler [2015-07-29 04:30:15] 663*2^1404611-1 is not prime. Res64: 1E4487BCA14B88AC Time : 0.0 sec. user=mdettweiler [2015-07-29 04:30:34] 673*2^1404611-1 is not prime. Res64: C06112CA9FE5349C Time : 0.0 sec. user=mdettweiler [2015-07-29 04:30:34] 675*2^1404611-1 is not prime. Res64: 06F7EFA3F4B6CADB Time : 0.0 sec. user=mdettweiler [2015-07-29 04:30:42] 679*2^1404611-1 is not prime. Res64: 76DDCEB9863D2D05 Time : 0.0 sec. user=mdettweiler [2015-07-29 04:30:43] 703*2^1404611-1 is not prime. Res64: 6C000030B057C0E3 Time : 0.0 sec. user=mdettweiler [2015-07-29 04:47:17] 711*2^1404611-1 is not prime. Res64: EA18D1F626AE65B0 Time : 0.0 sec. user=mdettweiler [2015-07-29 04:47:18] 949*2^1404611-1 is not prime. Res64: 27539EFBAD465EFF Time : 0.0 sec. user=mdettweiler [2015-07-29 04:47:45] 973*2^1404611-1 is not prime. Res64: 9AE635C62E2AD79A Time : 0.0 sec. user=mdettweiler [2015-07-29 04:47:45] 695*2^1404612-1 is not prime. Res64: 413F679D24C7D7C6 Time : 0.0 sec. user=mdettweiler [2015-07-29 04:48:15] 619*2^1404613-1 is not prime. Res64: CD3060345F5A5AFC Time : 0.0 sec. user=mdettweiler [2015-07-29 04:48:15] 699*2^1404613-1 is not prime. Res64: 9273226700E361FB Time : 0.0 sec. user=mdettweiler [2015-07-29 04:48:52] 767*2^1404612-1 is not prime. Res64: E2B0C9BA223255E9 Time : 0.0 sec. user=mdettweiler [2015-07-29 04:48:53] 933*2^1404612-1 is not prime. Res64: FCA9E6BB332BD9A7 Time : 0.0 sec. user=mdettweiler [2015-07-29 05:04:48] 729*2^1404613-1 is not prime. Res64: A618473B681EB513 Time : 0.0 sec. user=mdettweiler [2015-07-29 05:04:49] 747*2^1404613-1 is not prime. Res64: 02CE124436B8C87B Time : 0.0 sec. user=mdettweiler [2015-07-29 05:05:13] 835*2^1404613-1 is not prime. Res64: 76C7D843EDB6B5F1 Time : 0.0 sec. user=mdettweiler [2015-07-29 05:05:15] 867*2^1404613-1 is not prime. Res64: 8027F4B34D11D0E3 Time : 0.0 sec. user=mdettweiler [2015-07-29 05:05:47] 707*2^1404614-1 is not prime. Res64: 5FCA27A1A3206512 Time : 0.0 sec. user=mdettweiler [2015-07-29 05:05:48] 741*2^1404614-1 is not prime. Res64: 7F29092263BCDB55 Time : 0.0 sec. user=mdettweiler [2015-07-29 05:06:31] 619*2^1404615-1 is not prime. Res64: 5A2274CB93E33F6B Time : 0.0 sec. user=mdettweiler [2015-07-29 05:06:31] 633*2^1404615-1 is not prime. Res64: 8F74E94D81C7E538 Time : 0.0 sec. user=mdettweiler [2015-07-29 05:22:39] 781*2^1404615-1 is not prime. Res64: 0C25C8D46FE95475 Time : 0.0 sec. user=mdettweiler [2015-07-29 05:22:39] 885*2^1404615-1 is not prime. Res64: E87CF589A7D8B318 Time : 0.0 sec. user=mdettweiler [2015-07-29 05:22:42] 909*2^1404615-1 is not prime. Res64: 9D0DAD5C01CE370B Time : 0.0 sec. user=mdettweiler [2015-07-29 05:22:43] 919*2^1404615-1 is not prime. Res64: F64D820DF93A8381 Time : 0.0 sec. user=mdettweiler [2015-07-29 05:23:23] 961*2^1404615-1 is not prime. Res64: 41BBFE44B3FBBA5F Time : 0.0 sec. user=mdettweiler [2015-07-29 05:23:23] 963*2^1404615-1 is not prime. Res64: 87AFCB563E8FCFB9 Time : 0.0 sec. user=mdettweiler [2015-07-29 05:23:51] 603*2^1404616-1 is not prime. Res64: 31A991E8E8F1497E Time : 0.0 sec. user=mdettweiler [2015-07-29 05:23:52] 623*2^1404616-1 is not prime. Res64: 4FB5FF77C55525AD Time : 0.0 sec. user=mdettweiler [2015-07-29 05:40:07] 717*2^1404616-1 is not prime. Res64: A9E03FC99FCB3433 Time : 0.0 sec. user=mdettweiler [2015-07-29 05:40:07] 779*2^1404616-1 is not prime. Res64: C6886436E6B21F0E Time : 0.0 sec. user=mdettweiler [2015-07-29 05:40:10] 843*2^1404616-1 is not prime. Res64: 52D1ED504DE672D8 Time : 0.0 sec. user=mdettweiler [2015-07-29 05:40:10] 903*2^1404616-1 is not prime. Res64: 064EF2AD485C608B Time : 0.0 sec. user=mdettweiler [2015-07-29 05:40:55] 747*2^1404617-1 is not prime. Res64: E818730D6377D79E Time : 0.0 sec. user=mdettweiler [2015-07-29 05:40:55] 871*2^1404617-1 is not prime. Res64: 1458789A506C318F Time : 0.0 sec. user=mdettweiler [2015-07-29 05:41:18] 939*2^1404617-1 is not prime. Res64: 96A04E1B7E332129 Time : 0.0 sec. user=mdettweiler [2015-07-29 05:41:18] 955*2^1404617-1 is not prime. Res64: 258827B954F9FEC5 Time : 0.0 sec. user=mdettweiler [2015-07-29 05:57:37] 711*2^1404618-1 is not prime. Res64: 806F992ECE13919E Time : 0.0 sec. user=mdettweiler [2015-07-29 05:57:37] 615*2^1404618-1 is not prime. Res64: 810E0245809CDE16 Time : 0.0 sec. user=mdettweiler [2015-07-29 05:57:37] 765*2^1404618-1 is not prime. Res64: F33336F9FFB40553 Time : 0.0 sec. user=mdettweiler [2015-07-29 05:57:38] 681*2^1404618-1 is not prime. Res64: 80B0E0837FA59E82 Time : 0.0 sec. user=mdettweiler [2015-07-29 05:58:29] 843*2^1404618-1 is not prime. Res64: FA4B535049D1D552 Time : 0.0 sec. user=mdettweiler [2015-07-29 05:58:29] 867*2^1404618-1 is not prime. Res64: 6F336ACB6E4767CD Time : 0.0 sec. user=mdettweiler [2015-07-29 05:58:49] 875*2^1404618-1 is not prime. Res64: 90F995DF89882EF9 Time : 0.0 sec. user=mdettweiler [2015-07-29 05:58:49] 887*2^1404618-1 is not prime. Res64: 7708D643925DA6C2 Time : 0.0 sec. user=mdettweiler [2015-07-29 06:15:12] 645*2^1404619-1 is not prime. Res64: 707C762752A4D42F Time : 0.0 sec. user=mdettweiler [2015-07-29 06:15:12] 685*2^1404619-1 is not prime. Res64: 3AA980DF56754A2E Time : 0.0 sec. user=mdettweiler [2015-07-29 06:15:14] 971*2^1404618-1 is not prime. Res64: BC22C05A98F8FD6F Time : 0.0 sec. user=mdettweiler [2015-07-29 06:15:14] 609*2^1404619-1 is not prime. Res64: FF80265133CC150D Time : 0.0 sec. user=mdettweiler [2015-07-29 06:16:06] 693*2^1404619-1 is not prime. Res64: 2035E4A8C8B99CF0 Time : 0.0 sec. user=mdettweiler [2015-07-29 06:16:07] 703*2^1404619-1 is not prime. Res64: 4E58728607753A97 Time : 0.0 sec. user=mdettweiler [2015-07-29 06:16:21] 709*2^1404619-1 is not prime. Res64: 41522EEAB8163FC3 Time : 0.0 sec. user=mdettweiler [2015-07-29 06:16:22] 853*2^1404619-1 is not prime. Res64: EE7FE79C7C8C8E0B Time : 0.0 sec. user=mdettweiler [2015-07-29 06:32:38] 951*2^1404619-1 is not prime. Res64: 48C9D6AC004E9FA8 Time : 0.0 sec. user=mdettweiler [2015-07-29 06:32:39] 827*2^1404620-1 is not prime. Res64: B76040712D5C25FF Time : 0.0 sec. user=mdettweiler [2015-07-29 06:32:41] 839*2^1404620-1 is not prime. Res64: E2A0B822072D33B7 Time : 0.0 sec. user=mdettweiler [2015-07-29 06:32:42] 845*2^1404620-1 is not prime. Res64: 9A95E1F2C5C5F89D Time : 0.0 sec. user=mdettweiler [2015-07-29 06:33:28] 963*2^1404620-1 is not prime. Res64: 4F3C4056CDD3925C Time : 0.0 sec. user=mdettweiler [2015-07-29 06:33:29] 727*2^1404621-1 is not prime. Res64: 1A2786CE798E79FA Time : 0.0 sec. user=mdettweiler [2015-07-29 06:33:55] 849*2^1404621-1 is not prime. Res64: CDD5C5781349D025 Time : 0.0 sec. user=mdettweiler [2015-07-29 06:33:55] 865*2^1404621-1 is not prime. Res64: 80712B3C9C9594FC Time : 0.0 sec. user=mdettweiler [2015-07-29 06:50:05] 907*2^1404621-1 is not prime. Res64: AEC3DDEE2D925BA2 Time : 0.0 sec. user=mdettweiler [2015-07-29 06:50:05] 671*2^1404622-1 is not prime. Res64: 8268CBC77809B02C Time : 0.0 sec. user=mdettweiler [2015-07-29 06:50:10] 705*2^1404622-1 is not prime. Res64: 0BDF493E5CC67C62 Time : 0.0 sec. user=mdettweiler [2015-07-29 06:50:10] 821*2^1404622-1 is not prime. Res64: F06959ED6B13DCD7 Time : 0.0 sec. user=mdettweiler [2015-07-29 06:50:52] 917*2^1404622-1 is not prime. Res64: 0FC2342E263D66F7 Time : 0.0 sec. user=mdettweiler [2015-07-29 06:50:52] 987*2^1404622-1 is not prime. Res64: 244BF52C131D5980 Time : 0.0 sec. user=mdettweiler [2015-07-29 06:51:23] 1001*2^1404622-1 is not prime. Res64: 6A06178454AFAA77 Time : 0.0 sec. user=mdettweiler [2015-07-29 06:51:23] 619*2^1404623-1 is not prime. Res64: D55352EB74B03EE2 Time : 0.0 sec. user=mdettweiler [2015-07-29 07:07:30] 669*2^1404623-1 is not prime. Res64: EE09241B69CC27F9 Time : 0.0 sec. user=mdettweiler [2015-07-29 07:07:31] 673*2^1404623-1 is not prime. Res64: D637684C4E37BC32 Time : 0.0 sec. user=mdettweiler [2015-07-29 07:07:34] 685*2^1404623-1 is not prime. Res64: 2977D750510C63E7 Time : 0.0 sec. user=mdettweiler [2015-07-29 07:07:35] 693*2^1404623-1 is not prime. Res64: 2E8967D5DC469177 Time : 0.0 sec. user=mdettweiler [2015-07-29 07:08:21] 745*2^1404623-1 is not prime. Res64: 750CB801C856F41E Time : 0.0 sec. user=mdettweiler [2015-07-29 07:08:22] 949*2^1404623-1 is not prime. Res64: A0B4C98C0CE5D03B Time : 0.0 sec. user=mdettweiler [2015-07-29 07:08:46] 981*2^1404623-1 is not prime. Res64: 962B08ECCAF001E5 Time : 0.0 sec. user=mdettweiler [2015-07-29 07:08:47] 683*2^1404624-1 is not prime. Res64: 5A990B551BB21ED7 Time : 0.0 sec. user=mdettweiler [2015-07-29 07:25:17] 947*2^1404624-1 is not prime. Res64: FC92B0A47D795F66 Time : 0.0 sec. user=mdettweiler [2015-07-29 07:25:17] 645*2^1404625-1 is not prime. Res64: 9EE5D64F67FAC265 Time : 0.0 sec. user=mdettweiler [2015-07-29 07:26:08] 775*2^1404625-1 is not prime. Res64: F5530D094A22A390 Time : 0.0 sec. user=mdettweiler [2015-07-29 07:26:08] 805*2^1404625-1 is not prime. Res64: 347B6CC7DA7C80D7 Time : 0.0 sec. user=mdettweiler [2015-07-29 07:26:40] 817*2^1404625-1 is not prime. Res64: D07B42C8705D998B Time : 0.0 sec. user=mdettweiler [2015-07-29 07:26:40] 939*2^1404625-1 is not prime. Res64: F7BF704A30FD5CCA Time : 0.0 sec. user=mdettweiler [2015-07-29 07:28:04] 707*2^1404624-1 is not prime. Res64: AA25F9840E7E5C81 Time : 0.0 sec. user=mdettweiler [2015-07-29 07:28:05] 719*2^1404624-1 is not prime. Res64: 216C399854722B9F Time : 0.0 sec. user=mdettweiler [2015-07-29 07:43:31] 987*2^1404625-1 is not prime. Res64: BA67F67119C35007 Time : 0.0 sec. user=mdettweiler [2015-07-29 07:43:31] 603*2^1404626-1 is not prime. Res64: 07FE284328142A89 Time : 0.0 sec. user=mdettweiler [2015-07-29 07:45:15] 677*2^1404626-1 is not prime. Res64: 995972D0E373D867 Time : 0.0 sec. user=mdettweiler [2015-07-29 07:45:16] 705*2^1404626-1 is not prime. Res64: 6DB49C14594D4592 Time : 0.0 sec. user=mdettweiler [2015-07-29 07:47:13] 633*2^1404626-1 is not prime. Res64: D43843CFC04BE4CE Time : 0.0 sec. user=mdettweiler [2015-07-29 07:47:14] 651*2^1404626-1 is not prime. Res64: C8E73A298799A948 Time : 0.0 sec. user=mdettweiler [2015-07-29 07:51:00] 713*2^1404626-1 is not prime. Res64: 7680CF76F925052E Time : 0.0 sec. user=mdettweiler [2015-07-29 07:51:01] 717*2^1404626-1 is not prime. Res64: 456C8AC328E0467D Time : 0.0 sec. user=mdettweiler [2015-07-29 08:01:09] 741*2^1404626-1 is not prime. Res64: 94AFCA734BAD9C7A Time : 0.0 sec. user=mdettweiler [2015-07-29 08:01:10] 743*2^1404626-1 is not prime. Res64: C96F1CF81120E948 Time : 0.0 sec. user=mdettweiler [2015-07-29 08:02:51] 755*2^1404626-1 is not prime. Res64: A69424CC3A4C598B Time : 0.0 sec. user=mdettweiler [2015-07-29 08:02:52] 801*2^1404626-1 is not prime. Res64: 3D5C7974A91D7DA7 Time : 0.0 sec. user=mdettweiler [2015-07-29 08:04:53] 911*2^1404626-1 is not prime. Res64: 812C4F4B7CE9ED57 Time : 0.0 sec. user=mdettweiler [2015-07-29 08:04:55] 957*2^1404626-1 is not prime. Res64: B17FD865D46970EA Time : 0.0 sec. user=mdettweiler [2015-07-29 08:08:36] 669*2^1404627-1 is not prime. Res64: 1A2C22123F2E7283 Time : 0.0 sec. user=mdettweiler [2015-07-29 08:08:37] 691*2^1404627-1 is not prime. Res64: D33DC79ECAED0EBD Time : 0.0 sec. user=mdettweiler [2015-07-29 08:18:51] 781*2^1404627-1 is not prime. Res64: 8AC0E856089E3F4E Time : 0.0 sec. user=mdettweiler [2015-07-29 08:18:51] 885*2^1404627-1 is not prime. Res64: 91DCC171A482ECCA Time : 0.0 sec. user=mdettweiler [2015-07-29 08:20:21] 647*2^1404628-1 is not prime. Res64: DC3587B29671F9CA Time : 0.0 sec. user=mdettweiler [2015-07-29 08:20:22] 657*2^1404628-1 is not prime. Res64: 0FA53D3593EB09E7 Time : 0.0 sec. user=mdettweiler [2015-07-29 08:22:47] 705*2^1404628-1 is not prime. Res64: CD296A09F00DCF30 Time : 0.0 sec. user=mdettweiler [2015-07-29 08:22:47] 735*2^1404628-1 is not prime. Res64: 9F3F8950F6E29B4E Time : 0.0 sec. user=mdettweiler [2015-07-29 08:26:17] 833*2^1404628-1 is not prime. Res64: 3AB01A41DE86BB5C Time : 0.0 sec. user=mdettweiler [2015-07-29 08:26:17] 875*2^1404628-1 is not prime. Res64: 051288193BDB166B Time : 0.0 sec. user=mdettweiler [2015-07-29 08:37:05] 899*2^1404628-1 is not prime. Res64: 3EA42F641DBA8D4A Time : 0.0 sec. user=mdettweiler [2015-07-29 08:37:05] 909*2^1404628-1 is not prime. Res64: 8C95F49DC28DD534 Time : 0.0 sec. user=mdettweiler [2015-07-29 08:38:25] 601*2^1404629-1 is not prime. Res64: 2FD0D339D8216E9C Time : 0.0 sec. user=mdettweiler [2015-07-29 08:38:25] 645*2^1404629-1 is not prime. Res64: 21C0414864F8AD8E Time : 0.0 sec. user=mdettweiler [2015-07-29 08:44:15] 771*2^1404629-1 is not prime. Res64: 06A82CD3A2422EEC Time : 0.0 sec. user=mdettweiler [2015-07-29 08:44:15] 717*2^1404630-1 is not prime. Res64: 7300EE480E7C5B79 Time : 0.0 sec. user=mdettweiler [2015-07-29 08:44:45] 657*2^1404629-1 is not prime. Res64: 40E43CFEE67AD3A4 Time : 0.0 sec. user=mdettweiler [2015-07-29 08:44:45] 691*2^1404629-1 is not prime. Res64: 89969C8263F066B2 Time : 0.0 sec. user=mdettweiler [2015-07-29 08:55:00] 725*2^1404630-1 is not prime. Res64: 2B0A65C08AFBF041 Time : 0.0 sec. user=mdettweiler [2015-07-29 08:55:01] 845*2^1404630-1 is not prime. Res64: C9B84FC8C8C45B43 Time : 0.0 sec. user=mdettweiler [2015-07-29 08:56:10] 861*2^1404630-1 is not prime. Res64: 6FBCEE6CF5F04FA2 Time : 0.0 sec. user=mdettweiler [2015-07-29 08:56:10] 885*2^1404630-1 is not prime. Res64: CB83257D4C79BBE5 Time : 0.0 sec. user=mdettweiler [2015-07-29 09:01:47] 921*2^1404630-1 is not prime. Res64: 4D87594FB82E33FB Time : 0.0 sec. user=mdettweiler [2015-07-29 09:01:48] 927*2^1404630-1 is not prime. Res64: 04E94983FC3925C4 Time : 0.0 sec. user=mdettweiler [2015-07-29 09:02:14] 971*2^1404630-1 is not prime. Res64: 7231EEDA2D3305C6 Time : 0.0 sec. user=mdettweiler [2015-07-29 09:02:15] 639*2^1404631-1 is not prime. Res64: D1AEEA32E657C796 Time : 0.0 sec. user=mdettweiler [2015-07-29 09:12:23] 673*2^1404631-1 is not prime. Res64: C85C204A1AD95957 Time : 0.0 sec. user=mdettweiler [2015-07-29 09:12:23] 715*2^1404631-1 is not prime. Res64: B5293E3D50CD5ED6 Time : 0.0 sec. user=mdettweiler [2015-07-29 09:13:41] 735*2^1404631-1 is not prime. Res64: 2B4E4BC5A1B1738F Time : 0.0 sec. user=mdettweiler [2015-07-29 09:13:42] 861*2^1404631-1 is not prime. Res64: A05DDFE4518BA964 Time : 0.0 sec. user=mdettweiler [2015-07-29 09:19:55] 871*2^1404631-1 is not prime. Res64: 4F5BFB6024090154 Time : 0.0 sec. user=mdettweiler [2015-07-29 09:19:55] 873*2^1404631-1 is not prime. Res64: 314E93314F6B00B7 Time : 0.0 sec. user=mdettweiler [2015-07-29 09:19:59] 645*2^1404632-1 is not prime. Res64: 1DC2A341831EEB9C Time : 0.0 sec. user=mdettweiler [2015-07-29 09:20:00] 935*2^1404632-1 is not prime. Res64: 05C593D303B6C3D1 Time : 0.0 sec. user=mdettweiler [2015-07-29 09:30:03] 957*2^1404632-1 is not prime. Res64: 06B4FA37AA5DC492 Time : 0.0 sec. user=mdettweiler [2015-07-29 09:30:04] 649*2^1404633-1 is not prime. Res64: 70EE9FDA69CFAA4E Time : 0.0 sec. user=mdettweiler [2015-07-29 09:31:18] 765*2^1404633-1 is not prime. Res64: 32B03E6C19C768F4 Time : 0.0 sec. user=mdettweiler [2015-07-29 09:31:19] 769*2^1404633-1 is not prime. Res64: 036D450507B95F2D Time : 0.0 sec. user=mdettweiler [2015-07-29 09:37:18] 817*2^1404633-1 is not prime. Res64: A1E9E63831EE767C Time : 0.0 sec. user=mdettweiler [2015-07-29 09:37:19] 949*2^1404633-1 is not prime. Res64: E05CF9861645BBBB Time : 0.0 sec. user=mdettweiler [2015-07-29 09:37:22] 979*2^1404633-1 is not prime. Res64: EA294E9E987A87F4 Time : 0.0 sec. user=mdettweiler [2015-07-29 09:37:22] 605*2^1404634-1 is not prime. Res64: 6F184B738C27D95C Time : 0.0 sec. user=mdettweiler [2015-07-29 09:47:36] 621*2^1404634-1 is not prime. Res64: 0CE8998859ECD19A Time : 0.0 sec. user=mdettweiler [2015-07-29 09:47:37] 623*2^1404634-1 is not prime. Res64: 2A28C8356B4C93DF Time : 0.0 sec. user=mdettweiler [2015-07-29 09:48:50] 765*2^1404634-1 is not prime. Res64: 8907CBA69F6BD713 Time : 0.0 sec. user=mdettweiler [2015-07-29 09:48:50] 803*2^1404634-1 is not prime. Res64: 54CFF51248257436 Time : 0.0 sec. user=mdettweiler [2015-07-29 09:54:50] 987*2^1404634-1 is not prime. Res64: 0FEBE9D317B0A241 Time : 0.0 sec. user=mdettweiler [2015-07-29 09:54:50] 733*2^1404635-1 is not prime. Res64: CB166A0D29483F94 Time : 0.0 sec. user=mdettweiler [2015-07-29 09:54:50] 1001*2^1404634-1 is not prime. Res64: 4CA93D492FAEDFDE Time : 0.0 sec. user=mdettweiler [2015-07-29 09:54:51] 841*2^1404635-1 is not prime. Res64: C0BE75D9CC07C4B3 Time : 0.0 sec. user=mdettweiler [2015-07-29 10:05:01] 921*2^1404635-1 is not prime. Res64: 4F1D6083790CE069 Time : 0.0 sec. user=mdettweiler [2015-07-29 10:05:02] 647*2^1404636-1 is not prime. Res64: BA2F40218C3994A9 Time : 0.0 sec. user=mdettweiler [2015-07-29 10:06:12] 653*2^1404636-1 is not prime. Res64: FE7AFEDA1963E926 Time : 0.0 sec. user=mdettweiler [2015-07-29 10:06:13] 759*2^1404636-1 is not prime. Res64: C880C821DC2C6E47 Time : 0.0 sec. user=mdettweiler [2015-07-29 10:12:14] 773*2^1404636-1 is not prime. Res64: E06A9FB81A46D6CC Time : 0.0 sec. user=mdettweiler [2015-07-29 10:12:15] 783*2^1404636-1 is not prime. Res64: CC11ED84105F6F21 Time : 0.0 sec. user=mdettweiler [2015-07-29 10:12:20] 845*2^1404636-1 is not prime. Res64: 815B5041AEBBAE11 Time : 0.0 sec. user=mdettweiler [2015-07-29 10:12:21] 621*2^1404637-1 is not prime. Res64: CB1B300A15023E45 Time : 0.0 sec. user=mdettweiler [2015-07-29 10:22:45] 835*2^1404637-1 is not prime. Res64: DD47422D73E84AF7 Time : 0.0 sec. user=mdettweiler [2015-07-29 10:22:45] 847*2^1404637-1 is not prime. Res64: 16F1D15934379838 Time : 0.0 sec. user=mdettweiler [2015-07-29 10:23:36] 981*2^1404637-1 is not prime. Res64: 200D98C7DF94F193 Time : 0.0 sec. user=mdettweiler [2015-07-29 10:23:36] 997*2^1404637-1 is not prime. Res64: F0E49A9D779AEF3B Time : 0.0 sec. user=mdettweiler [2015-07-29 10:29:43] 623*2^1404638-1 is not prime. Res64: FC22E016A485DA26 Time : 0.0 sec. user=mdettweiler [2015-07-29 10:29:44] 641*2^1404638-1 is not prime. Res64: 33C31325A33BEB22 Time : 0.0 sec. user=mdettweiler [2015-07-29 10:29:49] 677*2^1404638-1 is not prime. Res64: 88DD34CC722DD24C Time : 0.0 sec. user=mdettweiler [2015-07-29 10:29:49] 791*2^1404638-1 is not prime. Res64: FAC946DA3C71688E Time : 0.0 sec. user=mdettweiler [2015-07-29 10:40:12] 825*2^1404638-1 is not prime. Res64: F960DA3DFF0C7897 Time : 0.0 sec. user=mdettweiler [2015-07-29 10:40:13] 843*2^1404638-1 is not prime. Res64: 8059F7684303E1DA Time : 0.0 sec. user=mdettweiler [2015-07-29 10:41:06] 861*2^1404638-1 is not prime. Res64: 8F64B753090C852C Time : 0.0 sec. user=mdettweiler [2015-07-29 10:41:07] 649*2^1404639-1 is not prime. Res64: 9597EC87EA42A329 Time : 0.0 sec. user=mdettweiler [2015-07-29 10:47:09] 663*2^1404639-1 is not prime. Res64: 07F1DB9363CD40A1 Time : 0.0 sec. user=mdettweiler [2015-07-29 10:47:09] 709*2^1404639-1 is not prime. Res64: FA50D7065B51C98D Time : 0.0 sec. user=mdettweiler [2015-07-29 10:47:15] 745*2^1404639-1 is not prime. Res64: DCE85CED9EF5A9AF Time : 0.0 sec. user=mdettweiler [2015-07-29 10:47:15] 895*2^1404639-1 is not prime. Res64: 408A7623E970EDF4 Time : 0.0 sec. user=mdettweiler [2015-07-29 10:57:47] 909*2^1404639-1 is not prime. Res64: E60A36D24D29B519 Time : 0.0 sec. user=mdettweiler [2015-07-29 10:57:48] 921*2^1404639-1 is not prime. Res64: 0862024D65A0ED46 Time : 0.0 sec. user=mdettweiler [2015-07-29 10:58:37] 955*2^1404639-1 is not prime. Res64: 5AB526908B3F3388 Time : 0.0 sec. user=mdettweiler [2015-07-29 10:58:38] 999*2^1404639-1 is not prime. Res64: EF384C990C3E9961 Time : 0.0 sec. user=mdettweiler [2015-07-29 11:04:40] 717*2^1404640-1 is not prime. Res64: CA4E2CCD9C393186 Time : 0.0 sec. user=mdettweiler [2015-07-29 11:04:41] 803*2^1404640-1 is not prime. Res64: 8CA43B5E1933A57E Time : 0.0 sec. user=mdettweiler [2015-07-29 11:04:47] 813*2^1404640-1 is not prime. Res64: 0792A9F9A394CDBC Time : 0.0 sec. user=mdettweiler [2015-07-29 11:04:48] 897*2^1404640-1 is not prime. Res64: 817A723158F9E51A Time : 0.0 sec. user=mdettweiler [2015-07-29 11:15:12] 899*2^1404640-1 is not prime. Res64: C3723B407AD9316D Time : 0.0 sec. user=mdettweiler [2015-07-29 11:15:12] 909*2^1404640-1 is not prime. Res64: CDC0674BB78DD933 Time : 0.0 sec. user=mdettweiler [2015-07-29 11:16:05] 915*2^1404640-1 is not prime. Res64: 1B921A751FCC83EA Time : 0.0 sec. user=mdettweiler [2015-07-29 11:16:05] 927*2^1404640-1 is not prime. Res64: 2FFF9915168C1AE5 Time : 0.0 sec. user=mdettweiler [2015-07-29 11:22:08] 983*2^1404640-1 is not prime. Res64: 3369E431516248F4 Time : 0.0 sec. user=mdettweiler [2015-07-29 11:22:08] 615*2^1404641-1 is not prime. Res64: 2CF80CE2317EC210 Time : 0.0 sec. user=mdettweiler [2015-07-29 11:22:15] 769*2^1404641-1 is not prime. Res64: 15A76050776BB540 Time : 0.0 sec. user=mdettweiler [2015-07-29 11:22:16] 811*2^1404641-1 is not prime. Res64: CA5D5110FDBBCD2E Time : 0.0 sec. user=mdettweiler [2015-07-29 11:32:46] 837*2^1404641-1 is not prime. Res64: 2A64919E180C8AA0 Time : 0.0 sec. user=mdettweiler [2015-07-29 11:32:46] 967*2^1404641-1 is not prime. Res64: 0947A1A5819F75C2 Time : 0.0 sec. user=mdettweiler [2015-07-29 11:33:36] 987*2^1404641-1 is not prime. Res64: B66C951CACF23A0D Time : 0.0 sec. user=mdettweiler [2015-07-29 11:33:37] 621*2^1404642-1 is not prime. Res64: 38AEA091356A6DF0 Time : 0.0 sec. user=mdettweiler [2015-07-29 11:39:41] 765*2^1404642-1 is not prime. Res64: 73472959EEF01709 Time : 0.0 sec. user=mdettweiler [2015-07-29 11:39:41] 797*2^1404642-1 is not prime. Res64: 3A2C0709CB29525C Time : 0.0 sec. user=mdettweiler [2015-07-29 11:39:48] 735*2^1404642-1 is not prime. Res64: FAA6D20ED88C1C0A Time : 0.0 sec. user=mdettweiler [2015-07-29 11:39:48] 741*2^1404642-1 is not prime. Res64: 80E082BBDFC2C541 Time : 0.0 sec. user=mdettweiler [2015-07-29 11:50:42] 873*2^1404642-1 is not prime. Res64: 3551325A0FD7F202 Time : 0.0 sec. user=mdettweiler [2015-07-29 11:50:42] 977*2^1404642-1 is not prime. Res64: 2FF6B3CFCB560D1D Time : 0.0 sec. user=mdettweiler [2015-07-29 11:50:59] 741*2^1404643-1 is not prime. Res64: 783551C20569B3B8 Time : 0.0 sec. user=mdettweiler [2015-07-29 11:50:59] 745*2^1404643-1 is not prime. Res64: 2AAB66DB617DD0B7 Time : 0.0 sec. user=mdettweiler [2015-07-29 11:57:09] 771*2^1404643-1 is not prime. Res64: 717AEBD4343F295A Time : 0.0 sec. user=mdettweiler [2015-07-29 11:57:09] 859*2^1404643-1 is not prime. Res64: 7E077B4308171D76 Time : 0.0 sec. user=mdettweiler [2015-07-29 11:57:13] 939*2^1404643-1 is not prime. Res64: C3BAC441576CCAAA Time : 0.0 sec. user=mdettweiler [2015-07-29 11:57:13] 743*2^1404644-1 is not prime. Res64: 450131AADA95A778 Time : 0.0 sec. user=mdettweiler [2015-07-29 12:08:04] 785*2^1404644-1 is not prime. Res64: 19FDE85B214F3156 Time : 0.0 sec. user=mdettweiler [2015-07-29 12:08:05] 923*2^1404644-1 is not prime. Res64: 7F632897AE91EF12 Time : 0.0 sec. user=mdettweiler [2015-07-29 12:08:32] 935*2^1404644-1 is not prime. Res64: 1FED27B0AA90CABB Time : 0.0 sec. user=mdettweiler [2015-07-29 12:08:33] 735*2^1404645-1 is not prime. Res64: 30FE8B85C744287B Time : 0.0 sec. user=mdettweiler [2015-07-29 12:14:31] 861*2^1404645-1 is not prime. Res64: 42E500A8B1319A31 Time : 0.0 sec. user=mdettweiler [2015-07-29 12:14:32] 871*2^1404645-1 is not prime. Res64: 9F6321DB8D2BE377 Time : 0.0 sec. user=mdettweiler [2015-07-29 12:14:36] 919*2^1404645-1 is not prime. Res64: 4C116C5F9F5C2042 Time : 0.0 sec. user=mdettweiler [2015-07-29 12:14:37] 955*2^1404645-1 is not prime. Res64: 12596E45B6428EDE Time : 0.0 sec. user=mdettweiler [2015-07-29 12:25:31] 985*2^1404645-1 is not prime. Res64: EACC21DD42941605 Time : 0.0 sec. user=mdettweiler [2015-07-29 12:25:32] 645*2^1404646-1 is not prime. Res64: A5462180FA844707 Time : 0.0 sec. user=mdettweiler [2015-07-29 12:25:54] 705*2^1404646-1 is not prime. Res64: 6377D6CB16BFAFF1 Time : 0.0 sec. user=mdettweiler [2015-07-29 12:25:55] 743*2^1404646-1 is not prime. Res64: 42940DE8DC7C621B Time : 0.0 sec. user=mdettweiler [2015-07-29 12:31:55] 755*2^1404646-1 is not prime. Res64: 78F591F1BEC67A22 Time : 0.0 sec. user=mdettweiler [2015-07-29 12:31:55] 843*2^1404646-1 is not prime. Res64: B02AB5D7D8B6F700 Time : 0.0 sec. user=mdettweiler [2015-07-29 12:32:01] 857*2^1404646-1 is not prime. Res64: E42A68E5CB4648B7 Time : 0.0 sec. user=mdettweiler [2015-07-29 12:32:01] 941*2^1404646-1 is not prime. Res64: 873695D63C070B3A Time : 0.0 sec. user=mdettweiler [2015-07-29 12:42:53] 947*2^1404646-1 is not prime. Res64: 9386A36BE5F3992C Time : 0.0 sec. user=mdettweiler [2015-07-29 12:42:53] 975*2^1404646-1 is not prime. Res64: 11633BA996342FC0 Time : 0.0 sec. user=mdettweiler [2015-07-29 12:43:14] 981*2^1404646-1 is not prime. Res64: CBFB5BE66592CFB0 Time : 0.0 sec. user=mdettweiler [2015-07-29 12:43:15] 987*2^1404646-1 is not prime. Res64: 8CA9178F685BD438 Time : 0.0 sec. user=mdettweiler [2015-07-29 12:49:38] 711*2^1404647-1 is not prime. Res64: 7AD43CE0DD9DA105 Time : 0.0 sec. user=mdettweiler [2015-07-29 12:49:39] 715*2^1404647-1 is not prime. Res64: CCCD263AF412D20D Time : 0.0 sec. user=mdettweiler [2015-07-29 12:49:48] 675*2^1404647-1 is not prime. Res64: BA5E11BC0E79668A Time : 0.0 sec. user=mdettweiler [2015-07-29 12:49:48] 693*2^1404647-1 is not prime. Res64: 8227ACA98CA49565 Time : 0.0 sec. user=mdettweiler [2015-07-29 13:00:19] 799*2^1404647-1 is not prime. Res64: D7840E9A8BEC61D6 Time : 0.0 sec. user=mdettweiler [2015-07-29 13:00:20] 883*2^1404647-1 is not prime. Res64: CB83774213A461E1 Time : 0.0 sec. user=mdettweiler [2015-07-29 13:00:59] 913*2^1404647-1 is not prime. Res64: B0594DF7E62D0C97 Time : 0.0 sec. user=mdettweiler [2015-07-29 13:01:00] 931*2^1404647-1 is not prime. Res64: 3DB3FF374E5A57B7 Time : 0.0 sec. user=mdettweiler [2015-07-29 13:07:02] 713*2^1404648-1 is not prime. Res64: 1EB1F2CF859F55A8 Time : 0.0 sec. user=mdettweiler [2015-07-29 13:07:03] 725*2^1404648-1 is not prime. Res64: A552AEA5176AF312 Time : 0.0 sec. user=mdettweiler [2015-07-29 13:07:16] 777*2^1404648-1 is not prime. Res64: D0144A466A536FF7 Time : 0.0 sec. user=mdettweiler [2015-07-29 13:07:16] 803*2^1404648-1 is not prime. Res64: 29FDA61DBB7E4B64 Time : 0.0 sec. user=mdettweiler [2015-07-29 13:17:47] 809*2^1404648-1 is not prime. Res64: 5E6F6AD2D5D28329 Time : 0.0 sec. user=mdettweiler [2015-07-29 13:17:48] 843*2^1404648-1 is not prime. Res64: 9B482ACF045C5AEF Time : 0.0 sec. user=mdettweiler [2015-07-29 13:18:32] 915*2^1404648-1 is not prime. Res64: CD23EDF1391A1228 Time : 0.0 sec. user=mdettweiler [2015-07-29 13:18:32] 601*2^1404649-1 is not prime. Res64: C1394AF4A0FDA233 Time : 0.0 sec. user=mdettweiler [2015-07-29 13:24:34] 775*2^1404649-1 is not prime. Res64: D70678B264E0E96D Time : 0.0 sec. user=mdettweiler [2015-07-29 13:24:35] 835*2^1404649-1 is not prime. Res64: C74A06DEF3668868 Time : 0.0 sec. user=mdettweiler [2015-07-29 13:24:47] 861*2^1404649-1 is not prime. Res64: 7D121555E08C40C0 Time : 0.0 sec. user=mdettweiler [2015-07-29 13:24:47] 897*2^1404649-1 is not prime. Res64: AE1A97E572E64210 Time : 0.0 sec. user=mdettweiler [2015-07-29 13:35:12] 931*2^1404649-1 is not prime. Res64: E07403DAA8C27E55 Time : 0.0 sec. user=mdettweiler [2015-07-29 13:35:13] 999*2^1404649-1 is not prime. Res64: 4DE969A14C6D4729 Time : 0.0 sec. user=mdettweiler [2015-07-29 13:35:53] 641*2^1404650-1 is not prime. Res64: 2D7C946869FF1637 Time : 0.0 sec. user=mdettweiler [2015-07-29 13:35:54] 783*2^1404650-1 is not prime. Res64: 2B37A8E8A39D14AD Time : 0.0 sec. user=mdettweiler [2015-07-29 13:42:09] 619*2^1404651-1 is not prime. Res64: B149A2ADB7EF985E Time : 0.0 sec. user=mdettweiler [2015-07-29 13:42:10] 679*2^1404651-1 is not prime. Res64: FF7C978F043D1C98 Time : 0.0 sec. user=mdettweiler [2015-07-29 13:42:11] 685*2^1404651-1 is not prime. Res64: BD7A01A473D3CEE6 Time : 0.0 sec. user=mdettweiler [2015-07-29 13:42:12] 705*2^1404651-1 is not prime. Res64: B4AAADBD093DB51E Time : 0.0 sec. user=mdettweiler [2015-07-29 13:52:51] 783*2^1404651-1 is not prime. Res64: FA6F3757B41C4076 Time : 0.0 sec. user=mdettweiler [2015-07-29 13:52:52] 825*2^1404651-1 is not prime. Res64: B45DAF365EA8DFC1 Time : 0.0 sec. user=mdettweiler [2015-07-29 13:53:21] 859*2^1404651-1 is not prime. Res64: 06D361FB29B21FE0 Time : 0.0 sec. user=mdettweiler [2015-07-29 13:53:22] 861*2^1404651-1 is not prime. Res64: 222C6933D9F0176A Time : 0.0 sec. user=mdettweiler [2015-07-29 13:59:32] 871*2^1404651-1 is not prime. Res64: 1843B92718F7ED5C Time : 0.0 sec. user=mdettweiler [2015-07-29 13:59:32] 735*2^1404652-1 is not prime. Res64: F64D6A8D8D844510 Time : 0.0 sec. user=mdettweiler [2015-07-29 13:59:34] 765*2^1404652-1 is not prime. Res64: C71F570B35D38BFE Time : 0.0 sec. user=mdettweiler [2015-07-29 13:59:34] 855*2^1404652-1 is not prime. Res64: 0CB3777253687B97 Time : 0.0 sec. user=mdettweiler [2015-07-29 14:10:24] 929*2^1404652-1 is not prime. Res64: AD1B616A84FF93A7 Time : 0.0 sec. user=mdettweiler [2015-07-29 14:10:25] 889*2^1404653-1 is not prime. Res64: B24B5C2784550307 Time : 0.0 sec. user=mdettweiler [2015-07-29 14:10:48] 897*2^1404653-1 is not prime. Res64: FCDBE560891E6261 Time : 0.0 sec. user=mdettweiler [2015-07-29 14:10:49] 681*2^1404654-1 is not prime. Res64: F7B3604B6858453C Time : 0.0 sec. user=mdettweiler [2015-07-29 14:17:02] 747*2^1404654-1 is not prime. Res64: ACFAAB83EABEE33B Time : 0.0 sec. user=mdettweiler [2015-07-29 14:17:02] 765*2^1404654-1 is not prime. Res64: ABDECB605C65E689 Time : 0.0 sec. user=mdettweiler [2015-07-29 14:17:03] 707*2^1404654-1 is not prime. Res64: ED8543E83903B316 Time : 0.0 sec. user=mdettweiler [2015-07-29 14:17:03] 711*2^1404654-1 is not prime. Res64: F13391AACA8ACF93 Time : 0.0 sec. user=mdettweiler [2015-07-29 14:27:58] 917*2^1404654-1 is not prime. Res64: 3099BFBAC673E4D1 Time : 0.0 sec. user=mdettweiler [2015-07-29 14:27:59] 921*2^1404654-1 is not prime. Res64: ED18722818B1ADC3 Time : 0.0 sec. user=mdettweiler [2015-07-29 14:28:25] 709*2^1404655-1 is not prime. Res64: 942EFB9561B8D1D6 Time : 0.0 sec. user=mdettweiler [2015-07-29 14:28:25] 831*2^1404655-1 is not prime. Res64: BBDCA79CB4043924 Time : 0.0 sec. user=mdettweiler [2015-07-29 14:34:23] 969*2^1404655-1 is not prime. Res64: 6CAF0F5A754E189A Time : 0.0 sec. user=mdettweiler [2015-07-29 14:34:24] 999*2^1404655-1 is not prime. Res64: C5E4BCD5D29DEA73 Time : 0.0 sec. user=mdettweiler [2015-07-29 14:34:33] 629*2^1404656-1 is not prime. Res64: 09302F3B98F88984 Time : 0.0 sec. user=mdettweiler [2015-07-29 14:34:34] 635*2^1404656-1 is not prime. Res64: 9969B0AD5D3E3D9B Time : 0.0 sec. user=mdettweiler [2015-07-29 14:45:19] 657*2^1404656-1 is not prime. Res64: 59C88000016CAB81 Time : 0.0 sec. user=mdettweiler [2015-07-29 14:45:20] 803*2^1404656-1 is not prime. Res64: 05C27881C21E89C9 Time : 0.0 sec. user=mdettweiler [2015-07-29 14:45:53] 813*2^1404656-1 is not prime. Res64: BE7C253E8CF5B102 Time : 0.0 sec. user=mdettweiler [2015-07-29 14:45:54] 855*2^1404656-1 is not prime. Res64: 1973BFB6A3814086 Time : 0.0 sec. user=mdettweiler [2015-07-29 14:51:45] 873*2^1404656-1 is not prime. Res64: 0CEE80E3E708CE22 Time : 0.0 sec. user=mdettweiler [2015-07-29 14:51:46] 685*2^1404657-1 is not prime. Res64: B31A40975F3B7D19 Time : 0.0 sec. user=mdettweiler [2015-07-29 14:51:54] 711*2^1404657-1 is not prime. Res64: B6431FE983A6AEEB Time : 0.0 sec. user=mdettweiler [2015-07-29 14:51:55] 765*2^1404657-1 is not prime. Res64: 1A6267434F5D551C Time : 0.0 sec. user=mdettweiler [2015-07-29 15:02:43] 919*2^1404657-1 is not prime. Res64: 03F53C522BA9E0A7 Time : 0.0 sec. user=mdettweiler [2015-07-29 15:02:44] 979*2^1404657-1 is not prime. Res64: 8ABEEFE1AB364F94 Time : 0.0 sec. user=mdettweiler [2015-07-29 15:03:14] 603*2^1404658-1 is not prime. Res64: 83B916BC860E93A4 Time : 0.0 sec. user=mdettweiler [2015-07-29 15:03:15] 773*2^1404658-1 is not prime. Res64: 3E0A646D10DD2C08 Time : 0.0 sec. user=mdettweiler [2015-07-29 15:09:11] 791*2^1404658-1 is not prime. Res64: 8F41A6DAA1A30FF8 Time : 0.0 sec. user=mdettweiler [2015-07-29 15:09:11] 887*2^1404658-1 is not prime. Res64: 6890371716091733 Time : 0.0 sec. user=mdettweiler [2015-07-29 15:09:16] 933*2^1404658-1 is not prime. Res64: 53DF33D254122D2F Time : 0.0 sec. user=mdettweiler [2015-07-29 15:09:17] 975*2^1404658-1 is not prime. Res64: 2EEB29E434680F4A Time : 0.0 sec. user=mdettweiler [2015-07-29 15:20:08] 631*2^1404659-1 is not prime. Res64: 3ED4CAB3E81FB755 Time : 0.0 sec. user=mdettweiler [2015-07-29 15:20:09] 813*2^1404659-1 is not prime. Res64: C092459A92D3B6FB Time : 0.0 sec. user=mdettweiler [2015-07-29 15:20:38] 921*2^1404659-1 is not prime. Res64: 59692AAB65FB28F0 Time : 0.0 sec. user=mdettweiler [2015-07-29 15:20:39] 783*2^1404660-1 is not prime. Res64: 165464EC97962A25 Time : 0.0 sec. user=mdettweiler [2015-07-29 15:26:40] 819*2^1404660-1 is not prime. Res64: 69428A27687321CA Time : 0.0 sec. user=mdettweiler [2015-07-29 15:26:40] 927*2^1404660-1 is not prime. Res64: D41E4B4D6F5DCBEA Time : 0.0 sec. user=mdettweiler [2015-07-29 15:26:53] 805*2^1404661-1 is not prime. Res64: A34990FD83DA1646 Time : 0.0 sec. user=mdettweiler [2015-07-29 15:26:53] 877*2^1404661-1 is not prime. Res64: FF6141B51F8F05E8 Time : 0.0 sec. user=mdettweiler [2015-07-29 15:37:34] 895*2^1404661-1 is not prime. Res64: 72486EA494EB46D0 Time : 0.0 sec. user=mdettweiler [2015-07-29 15:37:35] 939*2^1404661-1 is not prime. Res64: 5BE9869BBADF470A Time : 0.0 sec. user=mdettweiler [2015-07-29 15:38:07] 957*2^1404661-1 is not prime. Res64: 1657EB00FB4563B5 Time : 0.0 sec. user=mdettweiler [2015-07-29 15:38:08] 635*2^1404662-1 is not prime. Res64: B95D02993A3EB3A6 Time : 0.0 sec. user=mdettweiler [2015-07-29 15:44:04] 797*2^1404662-1 is not prime. Res64: C63021F8C865D7C0 Time : 0.0 sec. user=mdettweiler [2015-07-29 15:44:04] 893*2^1404662-1 is not prime. Res64: 20589EB889940027 Time : 0.0 sec. user=mdettweiler [2015-07-29 15:44:17] 953*2^1404662-1 is not prime. Res64: A7A952F73305A917 Time : 0.0 sec. user=mdettweiler [2015-07-29 15:44:17] 957*2^1404662-1 is not prime. Res64: AC122E6592B21BB4 Time : 0.0 sec. user=mdettweiler [2015-07-29 15:55:00] 685*2^1404663-1 is not prime. Res64: EAD362DDC88861DE Time : 0.0 sec. user=mdettweiler [2015-07-29 15:55:00] 781*2^1404663-1 is not prime. Res64: 08687BF548B3CB81 Time : 0.0 sec. user=mdettweiler [2015-07-29 15:55:41] 831*2^1404663-1 is not prime. Res64: C739A0FDB968F83E Time : 0.0 sec. user=mdettweiler [2015-07-29 15:55:42] 719*2^1404664-1 is not prime. Res64: 08517F206D90D459 Time : 0.0 sec. user=mdettweiler [2015-07-29 16:01:27] 755*2^1404664-1 is not prime. Res64: 64F6F21FF908943D Time : 0.0 sec. user=mdettweiler [2015-07-29 16:01:28] 827*2^1404664-1 is not prime. Res64: 9CEEF0D97FD1ACE5 Time : 0.0 sec. user=mdettweiler [2015-07-29 16:01:42] 869*2^1404664-1 is not prime. Res64: 92A20E98C733C31A Time : 0.0 sec. user=mdettweiler [2015-07-29 16:01:43] 899*2^1404664-1 is not prime. Res64: 0D60B21A761EA2E7 Time : 0.0 sec. user=mdettweiler [2015-07-29 16:12:35] 923*2^1404664-1 is not prime. Res64: 711A5A6B3EFDFA56 Time : 0.0 sec. user=mdettweiler [2015-07-29 16:12:35] 983*2^1404664-1 is not prime. Res64: 8C967ABE4F1EE634 Time : 0.0 sec. user=mdettweiler [2015-07-29 16:13:07] 699*2^1404665-1 is not prime. Res64: 5705E0A1AC1DC56E Time : 0.0 sec. user=mdettweiler [2015-07-29 16:13:07] 727*2^1404665-1 is not prime. Res64: 214D44C194B4A799 Time : 0.0 sec. user=mdettweiler [2015-07-29 16:19:04] 735*2^1404665-1 is not prime. Res64: 2FA71A81512AB9EB Time : 0.0 sec. user=mdettweiler [2015-07-29 16:19:04] 787*2^1404665-1 is not prime. Res64: B0C317708C2E6FF5 Time : 0.0 sec. user=mdettweiler [2015-07-29 16:19:07] 811*2^1404665-1 is not prime. Res64: FC3A5C06502C0A78 Time : 0.0 sec. user=mdettweiler [2015-07-29 16:19:07] 909*2^1404665-1 is not prime. Res64: 29F7D86A8F2E7D08 Time : 0.0 sec. user=mdettweiler [2015-07-29 16:30:06] 627*2^1404666-1 is not prime. Res64: 066FD5363413CA69 Time : 0.0 sec. user=mdettweiler [2015-07-29 16:30:07] 725*2^1404666-1 is not prime. Res64: C8EFFE760CD76E34 Time : 0.0 sec. user=mdettweiler [2015-07-29 16:30:46] 843*2^1404666-1 is not prime. Res64: D441AFBAAE05ABBE Time : 0.0 sec. user=mdettweiler [2015-07-29 16:30:46] 861*2^1404666-1 is not prime. Res64: 19E49C560AAF284C Time : 0.0 sec. user=mdettweiler [2015-07-29 16:36:49] 881*2^1404666-1 is not prime. Res64: 60EBCADB87102453 Time : 0.0 sec. user=mdettweiler [2015-07-29 16:36:49] 619*2^1404667-1 is not prime. Res64: 6B43C305B846EE94 Time : 0.0 sec. user=mdettweiler [2015-07-29 16:36:53] 651*2^1404667-1 is not prime. Res64: 35309B6A26C62C6A Time : 0.0 sec. user=mdettweiler [2015-07-29 16:36:54] 835*2^1404667-1 is not prime. Res64: 9A00CD5D2DD62966 Time : 0.0 sec. user=mdettweiler [2015-07-29 16:47:33] 885*2^1404667-1 is not prime. Res64: 4312EE7FCC4144A1 Time : 0.0 sec. user=mdettweiler [2015-07-29 16:47:33] 931*2^1404667-1 is not prime. Res64: 893DDE774DCF5AA5 Time : 0.0 sec. user=mdettweiler [2015-07-29 16:48:14] 961*2^1404667-1 is not prime. Res64: 357701E333FCF96F Time : 0.0 sec. user=mdettweiler [2015-07-29 16:48:15] 647*2^1404668-1 is not prime. Res64: 54BB6A35E729E949 Time : 0.0 sec. user=mdettweiler [2015-07-29 16:54:17] 969*2^1404668-1 is not prime. Res64: 6359997738099586 Time : 0.0 sec. user=mdettweiler [2015-07-29 16:54:18] 625*2^1404669-1 is not prime. Res64: D4E6EB52461998DF Time : 0.0 sec. user=mdettweiler [2015-07-29 16:54:22] 663*2^1404668-1 is not prime. Res64: 364254D0AE8A5C4C Time : 0.0 sec. user=mdettweiler [2015-07-29 16:54:22] 869*2^1404668-1 is not prime. Res64: 852894FE6A79C7D4 Time : 0.0 sec. user=mdettweiler [2015-07-29 17:05:07] 657*2^1404669-1 is not prime. Res64: 7DAA508F1B7BCB6E Time : 0.0 sec. user=mdettweiler [2015-07-29 17:05:08] 669*2^1404669-1 is not prime. Res64: CDD0DBBDCF79607D Time : 0.0 sec. user=mdettweiler [2015-07-29 17:05:45] 895*2^1404669-1 is not prime. Res64: F9EF11A17E9A7455 Time : 0.0 sec. user=mdettweiler [2015-07-29 17:05:46] 951*2^1404669-1 is not prime. Res64: 4112D9E07F9DAC51 Time : 0.0 sec. user=mdettweiler [2015-07-29 17:11:41] 975*2^1404669-1 is not prime. Res64: 8300F5A5BDFFCD67 Time : 0.0 sec. user=mdettweiler [2015-07-29 17:11:42] 665*2^1404670-1 is not prime. Res64: B7F84E6AE840687A Time : 0.0 sec. user=mdettweiler [2015-07-29 17:11:57] 743*2^1404670-1 is not prime. Res64: 8C2698983CACDEF6 Time : 0.0 sec. user=mdettweiler [2015-07-29 17:11:57] 801*2^1404670-1 is not prime. Res64: 3FF371AC997020AE Time : 0.0 sec. user=mdettweiler [2015-07-29 17:22:49] 987*2^1404670-1 is not prime. Res64: E596121389BEC169 Time : 0.0 sec. user=mdettweiler [2015-07-29 17:22:50] 651*2^1404671-1 is not prime. Res64: 91356FB0B1466D59 Time : 0.0 sec. user=mdettweiler [2015-07-29 17:23:10] 913*2^1404671-1 is not prime. Res64: 17F301E7D3336EEB Time : 0.0 sec. user=mdettweiler [2015-07-29 17:23:11] 969*2^1404671-1 is not prime. Res64: 76D90C4B3B619F6E Time : 0.0 sec. user=mdettweiler [2015-07-29 17:29:06] 981*2^1404671-1 is not prime. Res64: E504CA9105028E7C Time : 0.0 sec. user=mdettweiler [2015-07-29 17:29:07] 837*2^1404672-1 is not prime. Res64: 622FD9375A80D66F Time : 0.0 sec. user=mdettweiler [2015-07-29 17:29:24] 867*2^1404672-1 is not prime. Res64: 4FDD459095BFCC99 Time : 0.0 sec. user=mdettweiler [2015-07-29 17:29:25] 887*2^1404672-1 is not prime. Res64: 5D69BCB8DB9F1F2A Time : 0.0 sec. user=mdettweiler [2015-07-29 17:40:17] 691*2^1404673-1 is not prime. Res64: 3883F645D07D0B69 Time : 0.0 sec. user=mdettweiler [2015-07-29 17:40:18] 741*2^1404673-1 is not prime. Res64: C7932C0D285D56DC Time : 0.0 sec. user=mdettweiler [2015-07-29 17:40:40] 861*2^1404673-1 is not prime. Res64: 2F70E01C2BD48329 Time : 0.0 sec. user=mdettweiler [2015-07-29 17:40:40] 925*2^1404673-1 is not prime. Res64: 36E8180DA16215E4 Time : 0.0 sec. user=mdettweiler [2015-07-29 17:46:47] 939*2^1404673-1 is not prime. Res64: 0AC8A08F5C2EE4F8 Time : 0.0 sec. user=mdettweiler [2015-07-29 17:46:48] 987*2^1404673-1 is not prime. Res64: DC0E9474BBF491EA Time : 0.0 sec. user=mdettweiler [2015-07-29 17:46:50] 605*2^1404674-1 is not prime. Res64: 7B8C2DBCB3A2DE85 Time : 0.0 sec. user=mdettweiler [2015-07-29 17:46:51] 623*2^1404674-1 is not prime. Res64: 0580E95E55680FA5 Time : 0.0 sec. user=mdettweiler [2015-07-29 17:58:22] 717*2^1404674-1 is not prime. Res64: EEF4AB1DEA0CD5B7 Time : 0.0 sec. user=mdettweiler [2015-07-29 17:58:23] 731*2^1404674-1 is not prime. Res64: 26AD89F4396F27CD Time : 0.0 sec. user=mdettweiler [2015-07-29 17:58:42] 851*2^1404674-1 is not prime. Res64: 01DA04D82E869B9C Time : 0.0 sec. user=mdettweiler [2015-07-29 17:58:42] 857*2^1404674-1 is not prime. Res64: 610CD0B563325A23 Time : 0.0 sec. user=mdettweiler [2015-07-29 18:05:01] 921*2^1404674-1 is not prime. Res64: BE443178EDF9C517 Time : 0.0 sec. user=mdettweiler [2015-07-29 18:05:03] 1001*2^1404674-1 is not prime. Res64: B36653CACDDA77D5 Time : 0.0 sec. user=mdettweiler [2015-07-29 18:05:11] 633*2^1404675-1 is not prime. Res64: 0DD7CB3336EA1A8D Time : 0.0 sec. user=mdettweiler [2015-07-29 18:05:12] 639*2^1404675-1 is not prime. Res64: BFDC31F52BCB186E Time : 0.0 sec. user=mdettweiler [2015-07-29 18:25:36] 709*2^1404675-1 is not prime. Res64: 061C26384CF0B010 Time : 0.0 sec. user=mdettweiler [2015-07-29 18:25:37] 723*2^1404675-1 is not prime. Res64: 1ED6955A7A47C638 Time : 0.0 sec. user=mdettweiler [2015-07-29 18:25:51] 829*2^1404675-1 is not prime. Res64: 934CA137A54E1BF6 Time : 0.0 sec. user=mdettweiler [2015-07-29 18:25:52] 943*2^1404675-1 is not prime. Res64: 986011DC1AAF23E7 Time : 0.0 sec. user=mdettweiler [2015-07-29 18:26:26] 843*2^1404676-1 is not prime. Res64: 3E43F484E584E4DE Time : 0.0 sec. user=mdettweiler [2015-07-29 18:26:26] 873*2^1404676-1 is not prime. Res64: B73794D1675E14EA Time : 0.0 sec. user=mdettweiler [2015-07-29 18:26:40] 647*2^1404676-1 is not prime. Res64: E6DF1A93E57047AD Time : 0.0 sec. user=mdettweiler [2015-07-29 18:26:41] 833*2^1404676-1 is not prime. Res64: 8EF7A9798AA1CFCB Time : 0.0 sec. user=mdettweiler [2015-07-29 18:44:31] 627*2^1404677-1 is not prime. Res64: 2B1F75B428553DCA Time : 0.0 sec. user=mdettweiler [2015-07-29 18:44:31] 675*2^1404677-1 is not prime. Res64: 11BD85773FCC1F33 Time : 0.0 sec. user=mdettweiler [2015-07-29 18:44:43] 969*2^1404676-1 is not prime. Res64: 8B14B7DB1FEBE029 Time : 0.0 sec. user=mdettweiler [2015-07-29 18:44:43] 619*2^1404677-1 is not prime. Res64: E9542D39AA65D032 Time : 0.0 sec. user=mdettweiler [2015-07-29 18:45:17] 759*2^1404677-1 is not prime. Res64: 92DBE4047308EE2E Time : 0.0 sec. user=mdettweiler [2015-07-29 18:45:17] 927*2^1404677-1 is not prime. Res64: 96B1E461DAF93D2B Time : 0.0 sec. user=mdettweiler [2015-07-29 18:45:38] 697*2^1404677-1 is not prime. Res64: 78BD81786EA65F16 Time : 0.0 sec. user=mdettweiler [2015-07-29 18:45:39] 747*2^1404677-1 is not prime. Res64: AB34511D24B7B73B Time : 0.0 sec. user=mdettweiler [2015-07-29 19:03:20] 937*2^1404677-1 is not prime. Res64: 13B16CC7A30F0BE2 Time : 0.0 sec. user=mdettweiler [2015-07-29 19:03:22] 957*2^1404677-1 is not prime. Res64: 372217FB3BD490DB Time : 0.0 sec. user=mdettweiler [2015-07-29 19:03:23] 605*2^1404678-1 is not prime. Res64: 40BE95C85D14A711 Time : 0.0 sec. user=mdettweiler [2015-07-29 19:03:24] 627*2^1404678-1 is not prime. Res64: B6AAEA77D09104BD Time : 0.0 sec. user=mdettweiler [2015-07-29 19:04:05] 681*2^1404678-1 is not prime. Res64: 4D9C411B660A1C0C Time : 0.0 sec. user=mdettweiler [2015-07-29 19:04:06] 705*2^1404678-1 is not prime. Res64: 4DFA9F46D4851964 Time : 0.0 sec. user=mdettweiler [2015-07-29 19:04:20] 725*2^1404678-1 is not prime. Res64: 0F3712446AB3FDBF Time : 0.0 sec. user=mdettweiler [2015-07-29 19:04:21] 765*2^1404678-1 is not prime. Res64: BFBFE8645FA706F6 Time : 0.0 sec. user=mdettweiler [2015-07-29 19:21:28] 923*2^1404678-1 is not prime. Res64: 75660DFDBF3FCE0C Time : 0.0 sec. user=mdettweiler [2015-07-29 19:21:28] 993*2^1404678-1 is not prime. Res64: 4826C8DE7FAAFCB0 Time : 0.0 sec. user=mdettweiler [2015-07-29 19:21:33] 1001*2^1404678-1 is not prime. Res64: D561B1CBFB4A1225 Time : 0.0 sec. user=mdettweiler [2015-07-29 19:21:33] 813*2^1404679-1 is not prime. Res64: 526FCFFB8B1C7023 Time : 0.0 sec. user=mdettweiler [2015-07-29 19:21:39] 861*2^1404679-1 is not prime. Res64: 3D4DEF73E6C107F0 Time : 0.0 sec. user=mdettweiler [2015-07-29 19:21:40] 895*2^1404679-1 is not prime. Res64: 505CB3CC28C6564B Time : 0.0 sec. user=mdettweiler [2015-07-29 19:22:00] 933*2^1404679-1 is not prime. Res64: 197FF5E79A04E319 Time : 0.0 sec. user=mdettweiler [2015-07-29 19:22:00] 677*2^1404680-1 is not prime. Res64: F89DA0F5C64B1733 Time : 0.0 sec. user=mdettweiler [2015-07-29 19:39:02] 717*2^1404680-1 is not prime. Res64: 4AA34FD835E6CF59 Time : 0.0 sec. user=mdettweiler [2015-07-29 19:39:03] 753*2^1404680-1 is not prime. Res64: 5AF26FBA0553ADDF Time : 0.0 sec. user=mdettweiler [2015-07-29 19:39:04] 777*2^1404680-1 is not prime. Res64: FD1092F51585EB90 Time : 0.0 sec. user=mdettweiler [2015-07-29 19:39:04] 845*2^1404680-1 is not prime. Res64: 1C89BB330DD17963 Time : 0.0 sec. user=mdettweiler [2015-07-29 19:39:11] 899*2^1404680-1 is not prime. Res64: F12FACB362CECD23 Time : 0.0 sec. user=mdettweiler [2015-07-29 19:39:11] 915*2^1404680-1 is not prime. Res64: 34DAA42C229AACE2 Time : 0.0 sec. user=mdettweiler [2015-07-29 19:39:31] 927*2^1404680-1 is not prime. Res64: E10A40B3A68B9F2F Time : 0.0 sec. user=mdettweiler [2015-07-29 19:39:31] 709*2^1404681-1 is not prime. Res64: FA393A3EA4CAEFF0 Time : 0.0 sec. user=mdettweiler [2015-07-29 19:56:36] 895*2^1404681-1 is not prime. Res64: 3CB7B5F8E8294BA3 Time : 0.0 sec. user=mdettweiler [2015-07-29 19:56:37] 951*2^1404681-1 is not prime. Res64: 4901A03497771FCA Time : 0.0 sec. user=mdettweiler [2015-07-29 19:56:37] 979*2^1404681-1 is not prime. Res64: BC6C3F09BCE5AFA3 Time : 0.0 sec. user=mdettweiler [2015-07-29 19:56:37] 621*2^1404682-1 is not prime. Res64: E9C6A7ACCB34F2CB Time : 0.0 sec. user=mdettweiler [2015-07-29 19:56:45] 635*2^1404682-1 is not prime. Res64: 3609716EEB97ADD0 Time : 0.0 sec. user=mdettweiler [2015-07-29 19:56:46] 747*2^1404682-1 is not prime. Res64: A05A98A38270D18F Time : 0.0 sec. user=mdettweiler [2015-07-29 19:57:00] 843*2^1404682-1 is not prime. Res64: C787A74AC5F3328D Time : 0.0 sec. user=mdettweiler [2015-07-29 19:57:01] 609*2^1404683-1 is not prime. Res64: 954A6A47B610D520 Time : 0.0 sec. user=mdettweiler [2015-07-29 20:14:14] 717*2^1404684-1 is not prime. Res64: 665C1DA5EFBA1FB6 Time : 0.0 sec. user=mdettweiler [2015-07-29 20:14:15] 737*2^1404684-1 is not prime. Res64: 845C6093ED22C9D6 Time : 0.0 sec. user=mdettweiler [2015-07-29 20:14:15] 813*2^1404683-1 is not prime. Res64: 365DA220AC77A9B4 Time : 0.0 sec. user=mdettweiler [2015-07-29 20:14:16] 689*2^1404684-1 is not prime. Res64: 45733BABDA68340C Time : 0.0 sec. user=mdettweiler [2015-07-29 20:14:23] 809*2^1404684-1 is not prime. Res64: 750C4C9D3B17B753 Time : 0.0 sec. user=mdettweiler [2015-07-29 20:14:23] 857*2^1404684-1 is not prime. Res64: FB9402D36546019C Time : 0.0 sec. user=mdettweiler [2015-07-29 20:14:37] 863*2^1404684-1 is not prime. Res64: ABD30453D4EB1CD3 Time : 0.0 sec. user=mdettweiler [2015-07-29 20:14:38] 945*2^1404684-1 is not prime. Res64: 308612E13961E804 Time : 0.0 sec. user=mdettweiler [2015-07-29 20:31:48] 993*2^1404684-1 is not prime. Res64: D48590A635A94664 Time : 0.0 sec. user=mdettweiler [2015-07-29 20:31:48] 609*2^1404685-1 is not prime. Res64: CF3A2624E870AC56 Time : 0.0 sec. user=mdettweiler [2015-07-29 20:31:53] 721*2^1404685-1 is not prime. Res64: 14667533856188A5 Time : 0.0 sec. user=mdettweiler [2015-07-29 20:31:54] 861*2^1404685-1 is not prime. Res64: EDCACE0B98E236BD Time : 0.0 sec. user=mdettweiler [2015-07-29 20:31:59] 715*2^1404685-1 is not prime. Res64: E86297D5C7C2D02C Time : 0.0 sec. user=mdettweiler [2015-07-29 20:31:59] 717*2^1404685-1 is not prime. Res64: 209A7FC24B5A3582 Time : 0.0 sec. user=mdettweiler [2015-07-29 20:32:12] 885*2^1404685-1 is not prime. Res64: 8C63119A37821836 Time : 0.0 sec. user=mdettweiler [2015-07-29 20:32:13] 895*2^1404685-1 is not prime. Res64: 80558CE72E1F1A80 Time : 0.0 sec. user=mdettweiler [2015-07-29 20:49:27] 645*2^1404686-1 is not prime. Res64: 5C5D92637233BAF4 Time : 0.0 sec. user=mdettweiler [2015-07-29 20:49:28] 683*2^1404686-1 is not prime. Res64: 08C9DD9119A62CA0 Time : 0.0 sec. user=mdettweiler [2015-07-29 20:49:31] 919*2^1404685-1 is not prime. Res64: 1314149AE08DF680 Time : 0.0 sec. user=mdettweiler [2015-07-29 20:49:31] 987*2^1404685-1 is not prime. Res64: 5818143FF448F140 Time : 0.0 sec. user=mdettweiler [2015-07-29 20:49:42] 705*2^1404686-1 is not prime. Res64: 90FD67A273F88A48 Time : 0.0 sec. user=mdettweiler [2015-07-29 20:49:42] 707*2^1404686-1 is not prime. Res64: 1E681AF621D48F04 Time : 0.0 sec. user=mdettweiler [2015-07-29 20:49:59] 903*2^1404686-1 is not prime. Res64: 69571051D20B2D7C Time : 0.0 sec. user=mdettweiler [2015-07-29 20:49:59] 873*2^1404687-1 is not prime. Res64: 021DC5311F39B542 Time : 0.0 sec. user=mdettweiler [2015-07-29 21:07:00] 879*2^1404687-1 is not prime. Res64: 505452BDA42D05B5 Time : 0.0 sec. user=mdettweiler [2015-07-29 21:07:01] 635*2^1404688-1 is not prime. Res64: 21C80278744CE0BB Time : 0.0 sec. user=mdettweiler [2015-07-29 21:07:15] 869*2^1404688-1 is not prime. Res64: F6913FA8F6DB6D7D Time : 0.0 sec. user=mdettweiler [2015-07-29 21:07:15] 601*2^1404689-1 is not prime. Res64: 82C41D247BBD06D7 Time : 0.0 sec. user=mdettweiler [2015-07-29 21:07:16] 699*2^1404688-1 is not prime. Res64: 6DB3EBA8327CE345 Time : 0.0 sec. user=mdettweiler [2015-07-29 21:07:17] 755*2^1404688-1 is not prime. Res64: CFC3B2F941C50833 Time : 0.0 sec. user=mdettweiler [2015-07-29 21:07:33] 627*2^1404689-1 is not prime. Res64: 9396A1F15266DE02 Time : 0.0 sec. user=mdettweiler [2015-07-29 21:07:33] 705*2^1404689-1 is not prime. Res64: 3E4609A81B0D4F5D Time : 0.0 sec. user=mdettweiler [2015-07-29 21:24:42] 711*2^1404689-1 is not prime. Res64: 4BAC3AB1A9E736CE Time : 0.0 sec. user=mdettweiler [2015-07-29 21:24:43] 721*2^1404689-1 is not prime. Res64: 054A7F73741BDB77 Time : 0.0 sec. user=mdettweiler [2015-07-29 21:24:57] 811*2^1404689-1 is not prime. Res64: 6A378C1CC8D8CEA6 Time : 0.0 sec. user=mdettweiler [2015-07-29 21:24:57] 861*2^1404689-1 is not prime. Res64: FF3620ADDB33648E Time : 0.0 sec. user=mdettweiler [2015-07-29 21:25:03] 713*2^1404690-1 is not prime. Res64: 1CD46E3DD246FB1D Time : 0.0 sec. user=mdettweiler [2015-07-29 21:25:03] 717*2^1404690-1 is not prime. Res64: 972658BFB146DED5 Time : 0.0 sec. user=mdettweiler [2015-07-29 21:25:21] 891*2^1404690-1 is not prime. Res64: 3955DC76CED824E3 Time : 0.0 sec. user=mdettweiler [2015-07-29 21:25:21] 917*2^1404690-1 is not prime. Res64: 9810EAAD8CE70A4F Time : 0.0 sec. user=mdettweiler [2015-07-29 21:43:23] 619*2^1404691-1 is not prime. Res64: D7CACFF69EF0FB40 Time : 0.0 sec. user=mdettweiler [2015-07-29 21:43:23] 723*2^1404691-1 is not prime. Res64: C879E5DA75377312 Time : 0.0 sec. user=mdettweiler [2015-07-29 21:43:24] 609*2^1404692-1 is not prime. Res64: 04DA27ABBEDE29AF Time : 0.0 sec. user=mdettweiler [2015-07-29 21:43:25] 623*2^1404692-1 is not prime. Res64: 7922E170B8F0B3B7 Time : 0.0 sec. user=mdettweiler [2015-07-29 21:43:36] 961*2^1404691-1 is not prime. Res64: D10E69CC521F0ACA Time : 0.0 sec. user=mdettweiler [2015-07-29 21:43:37] 605*2^1404692-1 is not prime. Res64: 904DB94BA3178B77 Time : 0.0 sec. user=mdettweiler [2015-07-29 21:43:59] 749*2^1404692-1 is not prime. Res64: 257FB30A56E06313 Time : 0.0 sec. user=mdettweiler [2015-07-29 21:43:59] 875*2^1404692-1 is not prime. Res64: A40A5FB3A01D89FE Time : 0.0 sec. user=mdettweiler [2015-07-29 22:01:45] 781*2^1404693-1 is not prime. Res64: 4A613743BFC06986 Time : 0.0 sec. user=mdettweiler [2015-07-29 22:01:45] 819*2^1404693-1 is not prime. Res64: 2C7008245BFAC394 Time : 0.0 sec. user=mdettweiler [2015-07-29 22:02:04] 615*2^1404693-1 is not prime. Res64: 5A3D86089C6C73E5 Time : 0.0 sec. user=mdettweiler [2015-07-29 22:02:05] 621*2^1404693-1 is not prime. Res64: 2EE394E58800A3F5 Time : 0.0 sec. user=mdettweiler [2015-07-29 22:02:11] 847*2^1404693-1 is not prime. Res64: 7DC2845C2108A3CA Time : 0.0 sec. user=mdettweiler [2015-07-29 22:02:11] 889*2^1404693-1 is not prime. Res64: 4522467A04ACF05F Time : 0.0 sec. user=mdettweiler [2015-07-29 22:02:30] 921*2^1404693-1 is not prime. Res64: 8333E11512314DCE Time : 0.0 sec. user=mdettweiler [2015-07-29 22:02:31] 999*2^1404693-1 is not prime. Res64: 055FCCA98EA6927A Time : 0.0 sec. user=mdettweiler [2015-07-29 22:20:48] 681*2^1404694-1 is not prime. Res64: B329A16203C36D4F Time : 0.0 sec. user=mdettweiler [2015-07-29 22:20:49] 737*2^1404694-1 is not prime. Res64: 43D97010DA9F849B Time : 0.0 sec. user=mdettweiler [2015-07-29 22:21:00] 831*2^1404694-1 is not prime. Res64: D17F74EE13BAD773 Time : 0.0 sec. user=mdettweiler [2015-07-29 22:21:00] 881*2^1404694-1 is not prime. Res64: 45FB11006AC96055 Time : 0.0 sec. user=mdettweiler [2015-07-29 22:21:01] 755*2^1404694-1 is not prime. Res64: 0DFAC2FEF6565EE5 Time : 0.0 sec. user=mdettweiler [2015-07-29 22:21:02] 827*2^1404694-1 is not prime. Res64: B3A5D5822AB54FE0 Time : 0.0 sec. user=mdettweiler [2015-07-29 22:21:31] 885*2^1404694-1 is not prime. Res64: 376024BA52FEFE60 Time : 0.0 sec. user=mdettweiler [2015-07-29 22:21:32] 947*2^1404694-1 is not prime. Res64: BF34CEFF22274534 Time : 0.0 sec. user=mdettweiler [2015-07-29 22:39:22] 971*2^1404694-1 is not prime. Res64: 3FB6BFDEB0C09F92 Time : 0.0 sec. user=mdettweiler [2015-07-29 22:39:22] 619*2^1404695-1 is not prime. Res64: 87A4B9DDE222D486 Time : 0.0 sec. user=mdettweiler [2015-07-29 22:39:41] 825*2^1404695-1 is not prime. Res64: 9691287FFF79E08D Time : 0.0 sec. user=mdettweiler [2015-07-29 22:39:41] 855*2^1404695-1 is not prime. Res64: ADD8DEA247E7D3CA Time : 0.0 sec. user=mdettweiler [2015-07-29 22:39:43] 669*2^1404695-1 is not prime. Res64: 94DB4AD8DCC42D24 Time : 0.0 sec. user=mdettweiler [2015-07-29 22:39:43] 675*2^1404695-1 is not prime. Res64: 4B6BA0715FC5950F Time : 0.0 sec. user=mdettweiler [2015-07-29 22:40:11] 921*2^1404695-1 is not prime. Res64: CAEF9ECCAD8555C9 Time : 0.0 sec. user=mdettweiler [2015-07-29 22:40:11] 615*2^1404697-1 is not prime. Res64: 12D7D9EAC85166C5 Time : 0.0 sec. user=mdettweiler [2015-07-29 22:58:30] 747*2^1404697-1 is not prime. Res64: D84B57E4E355EE9F Time : 0.0 sec. user=mdettweiler [2015-07-29 22:58:31] 841*2^1404697-1 is not prime. Res64: 97C54579D0ABF1A0 Time : 0.0 sec. user=mdettweiler [2015-07-29 22:58:31] 861*2^1404697-1 is not prime. Res64: 98717D9BA1414E99 Time : 0.0 sec. user=mdettweiler [2015-07-29 22:58:31] 867*2^1404697-1 is not prime. Res64: 2527E9D065318798 Time : 0.0 sec. user=mdettweiler [2015-07-29 22:58:46] 651*2^1404697-1 is not prime. Res64: 7132CA1A35B86105 Time : 0.0 sec. user=mdettweiler [2015-07-29 22:58:46] 661*2^1404697-1 is not prime. Res64: 42A94AEF9293494D Time : 0.0 sec. user=mdettweiler [2015-07-29 22:59:08] 979*2^1404697-1 is not prime. Res64: 9CF4F644AD07E01F Time : 0.0 sec. user=mdettweiler [2015-07-29 22:59:08] 683*2^1404698-1 is not prime. Res64: 18FF3AEE4B0093F3 Time : 0.0 sec. user=mdettweiler [2015-07-29 23:17:11] 825*2^1404698-1 is not prime. Res64: C06DE97BD8C9E6BD Time : 0.0 sec. user=mdettweiler [2015-07-29 23:17:12] 827*2^1404698-1 is not prime. Res64: 35DF145EC5DA5D39 Time : 0.0 sec. user=mdettweiler [2015-07-29 23:17:14] 867*2^1404698-1 is not prime. Res64: 368F15C628DD4FCF Time : 0.0 sec. user=mdettweiler [2015-07-29 23:17:14] 875*2^1404698-1 is not prime. Res64: F7F1D4C2D9483BAD Time : 0.0 sec. user=mdettweiler [2015-07-29 23:17:31] 915*2^1404698-1 is not prime. Res64: B013E951655828DF Time : 0.0 sec. user=mdettweiler [2015-07-29 23:17:31] 957*2^1404698-1 is not prime. Res64: D10CAFEFCFDC23AA Time : 0.0 sec. user=mdettweiler [2015-07-29 23:17:57] 735*2^1404699-1 is not prime. Res64: CA65211B45118758 Time : 0.0 sec. user=mdettweiler [2015-07-29 23:17:57] 793*2^1404699-1 is not prime. Res64: 47DB982A577274FD Time : 0.0 sec. user=mdettweiler [2015-07-29 23:35:53] 943*2^1404699-1 is not prime. Res64: 887C1D3307F44F21 Time : 0.0 sec. user=mdettweiler [2015-07-29 23:35:53] 647*2^1404700-1 is not prime. Res64: B821B6B26B259024 Time : 0.0 sec. user=mdettweiler [2015-07-29 23:35:55] 801*2^1404699-1 is not prime. Res64: 832EF6778B152D01 Time : 0.0 sec. user=mdettweiler [2015-07-29 23:35:56] 891*2^1404699-1 is not prime. Res64: E8DCF1558153E0BD Time : 0.0 sec. user=mdettweiler [2015-07-29 23:36:16] 665*2^1404700-1 is not prime. Res64: DD5B82403C2FCE30 Time : 0.0 sec. user=mdettweiler [2015-07-29 23:36:16] 677*2^1404700-1 is not prime. Res64: 660EB8E087893D70 Time : 0.0 sec. user=mdettweiler [2015-07-29 23:36:39] 717*2^1404700-1 is not prime. Res64: 547CDB7F55DF88D2 Time : 0.0 sec. user=mdettweiler [2015-07-29 23:36:39] 607*2^1404701-1 is not prime. Res64: EB3EE58100C09151 Time : 0.0 sec. user=mdettweiler [2015-07-29 23:54:01] 811*2^1404701-1 is not prime. Res64: E0098EF517E621C1 Time : 0.0 sec. user=mdettweiler [2015-07-29 23:54:02] 931*2^1404701-1 is not prime. Res64: 1581753466A3CBC0 Time : 0.0 sec. user=mdettweiler [2015-07-29 23:54:07] 619*2^1404701-1 is not prime. Res64: 8469D9081CFB7AA2 Time : 0.0 sec. user=mdettweiler [2015-07-29 23:54:08] 631*2^1404701-1 is not prime. Res64: 34C852CE48BE8D29 Time : 0.0 sec. user=mdettweiler [2015-07-29 23:54:29] 987*2^1404701-1 is not prime. Res64: B9D12A2F9E408C3C Time : 0.0 sec. user=mdettweiler [2015-07-29 23:54:30] 991*2^1404701-1 is not prime. Res64: F4011493594A9D39 Time : 0.0 sec. user=mdettweiler [2015-07-29 23:54:43] 651*2^1404702-1 is not prime. Res64: 5916E76B214ADE33 Time : 0.0 sec. user=mdettweiler [2015-07-29 23:54:43] 681*2^1404702-1 is not prime. Res64: 7898F52359EEBA42 Time : 0.0 sec.