user=mdettweiler [2015-09-11 00:09:45] 711*2^1408889-1 is not prime. Res64: 860BDBB78B393FD1 Time : 0.0 sec. user=mdettweiler [2015-09-11 00:09:46] 741*2^1408889-1 is not prime. Res64: 06AF9B016875F6F4 Time : 0.0 sec. user=mdettweiler [2015-09-11 00:10:55] 885*2^1408889-1 is not prime. Res64: 029F23E7AAF12768 Time : 0.0 sec. user=mdettweiler [2015-09-11 00:10:55] 957*2^1408889-1 is not prime. Res64: F49F759DB30802B2 Time : 0.0 sec. user=mdettweiler [2015-09-11 00:16:47] 997*2^1408889-1 is not prime. Res64: A38F9AA4A4653591 Time : 0.0 sec. user=mdettweiler [2015-09-11 00:16:47] 627*2^1408890-1 is not prime. Res64: 7DEBB82C47A4E284 Time : 0.0 sec. user=juhehe [2015-09-11 00:22:02] 649*2^1408889-1 is not prime. Res64: 399B9332255D3B6B Time : 0.0 sec. user=mdettweiler [2015-09-11 00:27:46] 647*2^1408890-1 is not prime. Res64: 15CAEA7903ABBA89 Time : 0.0 sec. user=mdettweiler [2015-09-11 00:27:46] 755*2^1408890-1 is not prime. Res64: 64BFDCF23ECB447A Time : 0.0 sec. user=mdettweiler [2015-09-11 00:28:53] 765*2^1408890-1 is not prime. Res64: CC326C185E16723B Time : 0.0 sec. user=mdettweiler [2015-09-11 00:28:53] 791*2^1408890-1 is not prime. Res64: 884E8D729F14A124 Time : 0.0 sec. user=mdettweiler [2015-09-11 00:34:39] 873*2^1408890-1 is not prime. Res64: 3474BF779A4F797A Time : 0.0 sec. user=mdettweiler [2015-09-11 00:34:40] 723*2^1408891-1 is not prime. Res64: 4B83242C759B8EFF Time : 0.0 sec. user=mdettweiler [2015-09-11 00:45:32] 769*2^1408891-1 is not prime. Res64: 1094A716429E123D Time : 0.0 sec. user=mdettweiler [2015-09-11 00:45:32] 973*2^1408891-1 is not prime. Res64: EB4B8E3D41667E00 Time : 0.0 sec. user=mdettweiler [2015-09-11 00:46:34] 975*2^1408891-1 is not prime. Res64: 9DAE1737E97BED08 Time : 0.0 sec. user=mdettweiler [2015-09-11 00:46:34] 617*2^1408892-1 is not prime. Res64: CAB33AB58F01946B Time : 0.0 sec. user=mdettweiler [2015-09-11 00:52:23] 735*2^1408892-1 is not prime. Res64: A31F51AA84B67CE4 Time : 0.0 sec. user=mdettweiler [2015-09-11 00:52:24] 743*2^1408892-1 is not prime. Res64: DBF9EDF80226B302 Time : 0.0 sec. user=mdettweiler [2015-09-11 01:03:21] 759*2^1408892-1 is not prime. Res64: 8D6D04F77857EA2A Time : 0.0 sec. user=mdettweiler [2015-09-11 01:03:22] 777*2^1408892-1 is not prime. Res64: 098F69D04C545CC4 Time : 0.0 sec. user=mdettweiler [2015-09-11 01:04:30] 797*2^1408892-1 is not prime. Res64: D5DABFBE4E7E54C9 Time : 0.0 sec. user=mdettweiler [2015-09-11 01:04:31] 873*2^1408892-1 is not prime. Res64: 0BD6A6D9CAE6D05C Time : 0.0 sec. user=mdettweiler [2015-09-11 01:10:55] 923*2^1408892-1 is not prime. Res64: 38E9BE9FFEF616CA Time : 0.0 sec. user=mdettweiler [2015-09-11 01:10:56] 625*2^1408893-1 is not prime. Res64: BCFBB8E71D7E078A Time : 0.0 sec. user=mdettweiler [2015-09-11 01:23:10] 759*2^1408893-1 is not prime. Res64: AB4605F80DF1084D Time : 0.0 sec. user=mdettweiler [2015-09-11 01:23:11] 795*2^1408893-1 is not prime. Res64: 5DB09EA1CADA665C Time : 0.0 sec. user=mdettweiler [2015-09-11 01:23:15] 691*2^1408893-1 is not prime. Res64: F8F3B563203A4BE6 Time : 0.0 sec. user=mdettweiler [2015-09-11 01:23:15] 751*2^1408893-1 is not prime. Res64: 5260928A1F59E0AB Time : 0.0 sec. user=mdettweiler [2015-09-11 01:29:16] 817*2^1408893-1 is not prime. Res64: FE5E47C85B3BC999 Time : 0.0 sec. user=mdettweiler [2015-09-11 01:29:18] 837*2^1408893-1 is not prime. Res64: 000FCE466E60EDC5 Time : 0.0 sec. user=mdettweiler [2015-09-11 01:40:55] 915*2^1408893-1 is not prime. Res64: A71E5365AFBCCC05 Time : 0.0 sec. user=mdettweiler [2015-09-11 01:40:55] 891*2^1408894-1 is not prime. Res64: 839C60562C6D44E9 Time : 0.0 sec. user=mdettweiler [2015-09-11 01:40:55] 861*2^1408894-1 is not prime. Res64: E985E2AE7193F7E5 Time : 0.0 sec. user=mdettweiler [2015-09-11 01:40:55] 965*2^1408894-1 is not prime. Res64: 232DEE422DB8D124 Time : 0.0 sec. user=mdettweiler [2015-09-11 01:47:09] 609*2^1408895-1 is not prime. Res64: F408CAF206C610E2 Time : 0.0 sec. user=mdettweiler [2015-09-11 01:47:09] 619*2^1408895-1 is not prime. Res64: 122D615D4708AEFE Time : 0.0 sec. user=mdettweiler [2015-09-11 01:58:44] 649*2^1408895-1 is not prime. Res64: C0E7C9EFF03FA7C9 Time : 0.0 sec. user=mdettweiler [2015-09-11 01:58:44] 775*2^1408895-1 is not prime. Res64: BF83413DF1ECB412 Time : 0.0 sec. user=mdettweiler [2015-09-11 01:58:44] 741*2^1408895-1 is not prime. Res64: 13AE8F43459FCF36 Time : 0.0 sec. user=mdettweiler [2015-09-11 01:58:44] 843*2^1408895-1 is not prime. Res64: C32AD35C97586CA8 Time : 0.0 sec. user=mdettweiler [2015-09-11 02:04:55] 859*2^1408895-1 is not prime. Res64: 1E9437E26BD436C9 Time : 0.0 sec. user=mdettweiler [2015-09-11 02:04:56] 963*2^1408895-1 is not prime. Res64: DB0DFB02CF2AE30B Time : 0.0 sec. user=mdettweiler [2015-09-11 02:16:28] 973*2^1408895-1 is not prime. Res64: 869814EE1A3376DE Time : 0.0 sec. user=mdettweiler [2015-09-11 02:16:28] 623*2^1408896-1 is not prime. Res64: D0238E8A99314DBF Time : 0.0 sec. user=mdettweiler [2015-09-11 02:16:29] 629*2^1408896-1 is not prime. Res64: 7C40CAF48CD5359C Time : 0.0 sec. user=mdettweiler [2015-09-11 02:16:29] 675*2^1408896-1 is not prime. Res64: 68102141C9969828 Time : 0.0 sec. user=mdettweiler [2015-09-11 02:22:40] 705*2^1408896-1 is not prime. Res64: D174D14D32FD1870 Time : 0.0 sec. user=mdettweiler [2015-09-11 02:22:40] 707*2^1408896-1 is not prime. Res64: 91B690ECD28C2ADA Time : 0.0 sec. user=mdettweiler [2015-09-11 02:34:08] 809*2^1408896-1 is not prime. Res64: 2FE01355A63FA49C Time : 0.0 sec. user=mdettweiler [2015-09-11 02:34:09] 661*2^1408897-1 is not prime. Res64: 83CCCC22853C6A08 Time : 0.0 sec. user=mdettweiler [2015-09-11 02:34:13] 667*2^1408897-1 is not prime. Res64: 0AA80DF5D62BE5F9 Time : 0.0 sec. user=mdettweiler [2015-09-11 02:34:13] 691*2^1408897-1 is not prime. Res64: 4E6BF5496BE36F75 Time : 0.0 sec. user=mdettweiler [2015-09-11 02:40:19] 807*2^1408897-1 is not prime. Res64: 27F2C45B4561F035 Time : 0.0 sec. user=mdettweiler [2015-09-11 02:40:19] 867*2^1408897-1 is not prime. Res64: 7E1DB3E329224748 Time : 0.0 sec. user=juhehe [2015-09-11 02:50:38] 719*2^1408896-1 is not prime. Res64: D4F4624ABB707F43 Time : 0.0 sec. user=mdettweiler [2015-09-11 02:51:59] 967*2^1408897-1 is not prime. Res64: 395B3A52C0302024 Time : 0.0 sec. user=mdettweiler [2015-09-11 02:51:59] 815*2^1408898-1 is not prime. Res64: 98546C71B141ADC5 Time : 0.0 sec. user=mdettweiler [2015-09-11 02:52:10] 871*2^1408897-1 is not prime. Res64: 510651FF8FF2450D Time : 0.0 sec. user=mdettweiler [2015-09-11 02:52:11] 885*2^1408897-1 is not prime. Res64: 7BDD472D024BF002 Time : 0.0 sec. user=mdettweiler [2015-09-11 02:58:03] 827*2^1408898-1 is not prime. Res64: C9871219695B525A Time : 0.0 sec. user=mdettweiler [2015-09-11 02:58:03] 951*2^1408898-1 is not prime. Res64: A4D72A5DFE2FCC4D Time : 0.0 sec. user=mdettweiler [2015-09-11 03:09:46] 633*2^1408899-1 is not prime. Res64: 6C4E96AFF953DECB Time : 0.0 sec. user=mdettweiler [2015-09-11 03:09:46] 679*2^1408899-1 is not prime. Res64: 88CC0F1E7D662A38 Time : 0.0 sec. user=mdettweiler [2015-09-11 03:09:56] 741*2^1408899-1 is not prime. Res64: 99B4BE3253308518 Time : 0.0 sec. user=mdettweiler [2015-09-11 03:09:57] 835*2^1408899-1 is not prime. Res64: C7930CC7A101C1EC Time : 0.0 sec. user=mdettweiler [2015-09-11 03:15:48] 885*2^1408899-1 is not prime. Res64: 71B7D65A9384E4F2 Time : 0.0 sec. user=mdettweiler [2015-09-11 03:15:49] 891*2^1408899-1 is not prime. Res64: C772B3C1210284A1 Time : 0.0 sec. user=mdettweiler [2015-09-11 03:27:28] 635*2^1408900-1 is not prime. Res64: A1FC9D5F23F279EF Time : 0.0 sec. user=mdettweiler [2015-09-11 03:27:30] 777*2^1408900-1 is not prime. Res64: 1D19282924D18697 Time : 0.0 sec. user=mdettweiler [2015-09-11 03:27:40] 607*2^1408901-1 is not prime. Res64: 4D93D172E740913F Time : 0.0 sec. user=mdettweiler [2015-09-11 03:27:41] 619*2^1408901-1 is not prime. Res64: 062F3F7799BEFA18 Time : 0.0 sec. user=mdettweiler [2015-09-11 03:33:29] 727*2^1408901-1 is not prime. Res64: 39DFE4086D72C259 Time : 0.0 sec. user=mdettweiler [2015-09-11 03:33:30] 741*2^1408901-1 is not prime. Res64: F8D01EF16F8D8B6B Time : 0.0 sec. user=mdettweiler [2015-09-11 03:45:22] 925*2^1408901-1 is not prime. Res64: 4D0E7A62D6A827B4 Time : 0.0 sec. user=mdettweiler [2015-09-11 03:45:23] 711*2^1408902-1 is not prime. Res64: 5CA99A5D8175C0A9 Time : 0.0 sec. user=mdettweiler [2015-09-11 03:45:59] 723*2^1408902-1 is not prime. Res64: 8701F969DF6FEEED Time : 0.0 sec. user=mdettweiler [2015-09-11 03:46:01] 791*2^1408902-1 is not prime. Res64: A31BFB889CE37733 Time : 0.0 sec. user=mdettweiler [2015-09-11 03:51:15] 663*2^1408903-1 is not prime. Res64: B9A24F886F10D394 Time : 0.0 sec. user=mdettweiler [2015-09-11 03:51:16] 735*2^1408903-1 is not prime. Res64: 84AAA6C9BBC24108 Time : 0.0 sec. user=mdettweiler [2015-09-11 04:03:35] 853*2^1408903-1 is not prime. Res64: B2B4ECC24CC12CD5 Time : 0.0 sec. user=mdettweiler [2015-09-11 04:03:37] 665*2^1408904-1 is not prime. Res64: C73CA495B177B778 Time : 0.0 sec. user=mdettweiler [2015-09-11 04:03:58] 683*2^1408904-1 is not prime. Res64: 1F7713584BF437E8 Time : 0.0 sec. user=mdettweiler [2015-09-11 04:03:59] 753*2^1408904-1 is not prime. Res64: 1BD00B3B63A70215 Time : 0.0 sec. user=juhehe [2015-09-11 04:06:17] 639*2^1408903-1 is not prime. Res64: BD75CE44018C7EBB Time : 0.0 sec. user=mdettweiler [2015-09-11 04:09:15] 795*2^1408904-1 is not prime. Res64: D9D39CB3C3C176FF Time : 0.0 sec. user=mdettweiler [2015-09-11 04:09:16] 843*2^1408904-1 is not prime. Res64: 7AAA73CC6A1446C5 Time : 0.0 sec. user=mdettweiler [2015-09-11 04:21:36] 915*2^1408904-1 is not prime. Res64: 375B69639C65583F Time : 0.0 sec. user=mdettweiler [2015-09-11 04:21:36] 627*2^1408905-1 is not prime. Res64: 342CC0C63685199A Time : 0.0 sec. user=mdettweiler [2015-09-11 04:21:52] 669*2^1408905-1 is not prime. Res64: 00D1A398811CAD29 Time : 0.0 sec. user=mdettweiler [2015-09-11 04:21:52] 751*2^1408905-1 is not prime. Res64: C2452395BE70C54E Time : 0.0 sec. user=mdettweiler [2015-09-11 04:27:00] 781*2^1408905-1 is not prime. Res64: B3C23EA0DEB2D743 Time : 0.0 sec. user=mdettweiler [2015-09-11 04:27:00] 783*2^1408906-1 is not prime. Res64: 232BA6D73E64E91D Time : 0.0 sec. user=mdettweiler [2015-09-11 04:39:21] 867*2^1408906-1 is not prime. Res64: DF21A184744A1674 Time : 0.0 sec. user=mdettweiler [2015-09-11 04:39:21] 905*2^1408906-1 is not prime. Res64: 0A310E5CE8840C7E Time : 0.0 sec. user=mdettweiler [2015-09-11 04:39:34] 911*2^1408906-1 is not prime. Res64: 1119B4B6D84D05FD Time : 0.0 sec. user=mdettweiler [2015-09-11 04:39:34] 917*2^1408906-1 is not prime. Res64: 1F9659F2C7E74736 Time : 0.0 sec. user=mdettweiler [2015-09-11 04:44:48] 945*2^1408906-1 is not prime. Res64: 9A72440450D7F92E Time : 0.0 sec. user=mdettweiler [2015-09-11 04:44:49] 705*2^1408907-1 is not prime. Res64: DF7D00D783FA3F62 Time : 0.0 sec. user=mdettweiler [2015-09-11 04:57:08] 741*2^1408907-1 is not prime. Res64: 83A4ACF9020D0B7A Time : 0.0 sec. user=mdettweiler [2015-09-11 04:57:09] 799*2^1408907-1 is not prime. Res64: A94366872289750B Time : 0.0 sec. user=mdettweiler [2015-09-11 04:57:21] 843*2^1408907-1 is not prime. Res64: FBC4EFD7EC65AA03 Time : 0.0 sec. user=mdettweiler [2015-09-11 04:57:22] 883*2^1408907-1 is not prime. Res64: 5F748200E6BEACBE Time : 0.0 sec. user=mdettweiler [2015-09-11 05:02:33] 895*2^1408907-1 is not prime. Res64: 3D8D5C21926AA4C7 Time : 0.0 sec. user=mdettweiler [2015-09-11 05:02:34] 981*2^1408907-1 is not prime. Res64: 8C9803FD33B772DA Time : 0.0 sec. user=mdettweiler [2015-09-11 05:14:54] 819*2^1408908-1 is not prime. Res64: D554A26987E03D88 Time : 0.0 sec. user=mdettweiler [2015-09-11 05:14:54] 839*2^1408908-1 is not prime. Res64: 8929E1FD3BB7721D Time : 0.0 sec. user=mdettweiler [2015-09-11 05:15:05] 845*2^1408908-1 is not prime. Res64: 2628D66E11758757 Time : 0.0 sec. user=mdettweiler [2015-09-11 05:15:05] 969*2^1408908-1 is not prime. Res64: 669D74D1864BFEC9 Time : 0.0 sec. user=mdettweiler [2015-09-11 05:20:21] 661*2^1408909-1 is not prime. Res64: 2D494F1A0E547B77 Time : 0.0 sec. user=mdettweiler [2015-09-11 05:20:21] 679*2^1408909-1 is not prime. Res64: C1E07076CDAD0723 Time : 0.0 sec. user=mdettweiler [2015-09-11 05:32:40] 721*2^1408909-1 is not prime. Res64: 93FB4CA3A9E2B0DD Time : 0.0 sec. user=mdettweiler [2015-09-11 05:32:40] 825*2^1408909-1 is not prime. Res64: 0C22EC4360EE804A Time : 0.0 sec. user=mdettweiler [2015-09-11 05:32:45] 919*2^1408909-1 is not prime. Res64: 30C1911662848D86 Time : 0.0 sec. user=mdettweiler [2015-09-11 05:32:46] 961*2^1408909-1 is not prime. Res64: DF6287B7A856CE28 Time : 0.0 sec. user=mdettweiler [2015-09-11 05:38:04] 711*2^1408910-1 is not prime. Res64: 19EB30796A27C5E2 Time : 0.0 sec. user=mdettweiler [2015-09-11 05:38:04] 743*2^1408910-1 is not prime. Res64: 8A98193099AAE522 Time : 0.0 sec. user=mdettweiler [2015-09-11 05:50:24] 851*2^1408910-1 is not prime. Res64: 61DF30E40EDF7461 Time : 0.0 sec. user=mdettweiler [2015-09-11 05:50:24] 857*2^1408910-1 is not prime. Res64: 0B2B6A4AF0314871 Time : 0.0 sec. user=mdettweiler [2015-09-11 05:50:26] 887*2^1408910-1 is not prime. Res64: 7FAEB6C01D2027A0 Time : 0.0 sec. user=mdettweiler [2015-09-11 05:50:26] 911*2^1408910-1 is not prime. Res64: 1F65B4F32BECDFD1 Time : 0.0 sec. user=mdettweiler [2015-09-11 05:55:46] 957*2^1408910-1 is not prime. Res64: D42C54CBBDC18D11 Time : 0.0 sec. user=mdettweiler [2015-09-11 05:55:46] 685*2^1408911-1 is not prime. Res64: 6316E0A58E2B1AC1 Time : 0.0 sec. user=juhehe [2015-09-11 06:00:53] 755*2^1408910-1 is not prime. Res64: 8ADEBC3EFE6BB379 Time : 0.0 sec. user=mdettweiler [2015-09-11 06:08:10] 739*2^1408911-1 is not prime. Res64: CD613C97100D39D9 Time : 0.0 sec. user=mdettweiler [2015-09-11 06:08:10] 775*2^1408911-1 is not prime. Res64: 09E6ECE405699EEC Time : 0.0 sec. user=mdettweiler [2015-09-11 06:08:13] 909*2^1408911-1 is not prime. Res64: 0B5DE71A5F5BE431 Time : 0.0 sec. user=mdettweiler [2015-09-11 06:08:13] 913*2^1408911-1 is not prime. Res64: 1D2AF4A3FAD84CA3 Time : 0.0 sec. user=mdettweiler [2015-09-11 06:13:31] 933*2^1408911-1 is not prime. Res64: BEE6A0F5E6CE62B3 Time : 0.0 sec. user=mdettweiler [2015-09-11 06:13:32] 961*2^1408911-1 is not prime. Res64: C00A9A3615F478A2 Time : 0.0 sec. user=mdettweiler [2015-09-11 06:25:57] 915*2^1408912-1 is not prime. Res64: 9E7B1C673C009277 Time : 0.0 sec. user=mdettweiler [2015-09-11 06:25:58] 923*2^1408912-1 is not prime. Res64: 7BA9F9F12126CC7F Time : 0.0 sec. user=mdettweiler [2015-09-11 06:26:00] 657*2^1408912-1 is not prime. Res64: C7836E02DEF3A216 Time : 0.0 sec. user=mdettweiler [2015-09-11 06:26:01] 813*2^1408912-1 is not prime. Res64: 6A62A6808744A36B Time : 0.0 sec. user=juhehe [2015-09-11 06:26:37] 705*2^1408911-1 is not prime. Res64: 7FA0CEC395B2917B Time : 0.0 sec. user=mdettweiler [2015-09-11 06:31:11] 989*2^1408912-1 is not prime. Res64: F6C956ABB7ACF0D7 Time : 0.0 sec. user=mdettweiler [2015-09-11 06:31:11] 631*2^1408913-1 is not prime. Res64: 2D0042AA88602F19 Time : 0.0 sec. user=mdettweiler [2015-09-11 06:43:39] 715*2^1408913-1 is not prime. Res64: 63F4FA9606248C03 Time : 0.0 sec. user=mdettweiler [2015-09-11 06:43:39] 729*2^1408913-1 is not prime. Res64: DFBA009C62C9A0C7 Time : 0.0 sec. user=mdettweiler [2015-09-11 06:43:43] 957*2^1408913-1 is not prime. Res64: 9BB00F27BC678313 Time : 0.0 sec. user=mdettweiler [2015-09-11 06:43:43] 657*2^1408914-1 is not prime. Res64: 6634F5EB9A7B95EF Time : 0.0 sec. user=mdettweiler [2015-09-11 06:48:52] 717*2^1408914-1 is not prime. Res64: 42B2027C837A17ED Time : 0.0 sec. user=mdettweiler [2015-09-11 06:48:52] 737*2^1408914-1 is not prime. Res64: E232BB0D16C90D34 Time : 0.0 sec. user=mdettweiler [2015-09-11 07:01:27] 891*2^1408914-1 is not prime. Res64: FC2CA7B56674BE57 Time : 0.0 sec. user=mdettweiler [2015-09-11 07:01:28] 927*2^1408914-1 is not prime. Res64: 9D751105DD399F7E Time : 0.0 sec. user=mdettweiler [2015-09-11 07:01:31] 625*2^1408915-1 is not prime. Res64: F63574F0FDC2A3EB Time : 0.0 sec. user=mdettweiler [2015-09-11 07:01:31] 645*2^1408915-1 is not prime. Res64: DECE4D46887E121E Time : 0.0 sec. user=mdettweiler [2015-09-11 07:06:35] 679*2^1408915-1 is not prime. Res64: FC9980D5FDB07968 Time : 0.0 sec. user=mdettweiler [2015-09-11 07:06:36] 699*2^1408915-1 is not prime. Res64: EA87F0866BEFB2BA Time : 0.0 sec. user=mdettweiler [2015-09-11 07:19:28] 819*2^1408915-1 is not prime. Res64: D42DB7E6BF887602 Time : 0.0 sec. user=mdettweiler [2015-09-11 07:19:29] 873*2^1408915-1 is not prime. Res64: D3020352D86EE2B6 Time : 0.0 sec. user=mdettweiler [2015-09-11 07:19:33] 735*2^1408915-1 is not prime. Res64: 732D4C8337B6FC1B Time : 0.0 sec. user=mdettweiler [2015-09-11 07:19:33] 759*2^1408915-1 is not prime. Res64: 8A1923F87426EF8F Time : 0.0 sec. user=mdettweiler [2015-09-11 07:24:22] 919*2^1408915-1 is not prime. Res64: 06708A15240398AD Time : 0.0 sec. user=mdettweiler [2015-09-11 07:24:22] 969*2^1408915-1 is not prime. Res64: 7A2B8546A751518F Time : 0.0 sec. user=mdettweiler [2015-09-11 07:37:11] 909*2^1408916-1 is not prime. Res64: 8047DF128DDA42C9 Time : 0.0 sec. user=mdettweiler [2015-09-11 07:37:11] 609*2^1408917-1 is not prime. Res64: 4978B12D1CBE1834 Time : 0.0 sec. user=mdettweiler [2015-09-11 07:37:18] 699*2^1408917-1 is not prime. Res64: 3911ABF50B48E8E7 Time : 0.0 sec. user=mdettweiler [2015-09-11 07:37:18] 765*2^1408917-1 is not prime. Res64: 0FAC4D366F8355E0 Time : 0.0 sec. user=mdettweiler [2015-09-11 07:42:05] 769*2^1408917-1 is not prime. Res64: 4F0333BAE765EAD2 Time : 0.0 sec. user=mdettweiler [2015-09-11 07:42:05] 861*2^1408917-1 is not prime. Res64: A49291FE2BC39437 Time : 0.0 sec. user=mdettweiler [2015-09-11 07:54:52] 919*2^1408917-1 is not prime. Res64: E3EDCFF72A787C96 Time : 0.0 sec. user=mdettweiler [2015-09-11 07:54:52] 945*2^1408917-1 is not prime. Res64: 6371BE5E978FD430 Time : 0.0 sec. user=mdettweiler [2015-09-11 07:55:04] 755*2^1408918-1 is not prime. Res64: 0A4A0FC38E80E338 Time : 0.0 sec. user=mdettweiler [2015-09-11 07:55:04] 845*2^1408918-1 is not prime. Res64: ACA079E8ED179969 Time : 0.0 sec. user=mdettweiler [2015-09-11 07:59:48] 857*2^1408918-1 is not prime. Res64: 8AE32C7F19B0E9BF Time : 0.0 sec. user=mdettweiler [2015-09-11 07:59:48] 867*2^1408918-1 is not prime. Res64: 41971346F735237C Time : 0.0 sec. user=juhehe [2015-09-11 08:06:18] 889*2^1408917-1 is not prime. Res64: 26C0BC4A299E676E Time : 0.0 sec. user=mdettweiler [2015-09-11 08:12:35] 897*2^1408918-1 is not prime. Res64: 35443FA81FC09A4F Time : 0.0 sec. user=mdettweiler [2015-09-11 08:12:35] 933*2^1408918-1 is not prime. Res64: 790544429571C90C Time : 0.0 sec. user=mdettweiler [2015-09-11 08:12:51] 941*2^1408918-1 is not prime. Res64: 5AC7CC604E8B5B6A Time : 0.0 sec. user=mdettweiler [2015-09-11 08:12:51] 619*2^1408919-1 is not prime. Res64: E67CDBC735C7922E Time : 0.0 sec. user=mdettweiler [2015-09-11 08:17:31] 721*2^1408919-1 is not prime. Res64: B64BB59BF8FB96D4 Time : 0.0 sec. user=mdettweiler [2015-09-11 08:17:31] 771*2^1408919-1 is not prime. Res64: 63CD3EA23DC2819C Time : 0.0 sec. user=mdettweiler [2015-09-11 08:30:13] 939*2^1408919-1 is not prime. Res64: B4BF58DC5BACFDD2 Time : 0.0 sec. user=mdettweiler [2015-09-11 08:30:13] 973*2^1408919-1 is not prime. Res64: E6378C79439C92CE Time : 0.0 sec. user=mdettweiler [2015-09-11 08:30:33] 999*2^1408919-1 is not prime. Res64: DF8D45A28E53A5E7 Time : 0.0 sec. user=mdettweiler [2015-09-11 08:30:33] 629*2^1408920-1 is not prime. Res64: D1BCCE5DA55033B4 Time : 0.0 sec. user=mdettweiler [2015-09-11 08:35:13] 767*2^1408920-1 is not prime. Res64: 118702696A627704 Time : 0.0 sec. user=mdettweiler [2015-09-11 08:35:14] 779*2^1408920-1 is not prime. Res64: 3BD41163BF6CA1BB Time : 0.0 sec. user=mdettweiler [2015-09-11 08:48:01] 849*2^1408920-1 is not prime. Res64: 1B70AD45C8B1EFD8 Time : 0.0 sec. user=mdettweiler [2015-09-11 08:48:01] 607*2^1408921-1 is not prime. Res64: 59876EFFE1416018 Time : 0.0 sec. user=mdettweiler [2015-09-11 08:48:18] 687*2^1408921-1 is not prime. Res64: E9D35A5F27A6A2FE Time : 0.0 sec. user=mdettweiler [2015-09-11 08:48:18] 799*2^1408921-1 is not prime. Res64: 9DD882DD1D12861A Time : 0.0 sec. user=mdettweiler [2015-09-11 08:52:58] 829*2^1408921-1 is not prime. Res64: 796D12DD5ACF651E Time : 0.0 sec. user=mdettweiler [2015-09-11 08:52:58] 957*2^1408921-1 is not prime. Res64: 33E9AE229177C659 Time : 0.0 sec. user=mdettweiler [2015-09-11 09:05:48] 635*2^1408922-1 is not prime. Res64: 00AC88DAAB3C2285 Time : 0.0 sec. user=mdettweiler [2015-09-11 09:05:49] 675*2^1408922-1 is not prime. Res64: EFEA65E86A83EB09 Time : 0.0 sec. user=mdettweiler [2015-09-11 09:06:03] 771*2^1408922-1 is not prime. Res64: FFBC5CAD57B73F09 Time : 0.0 sec. user=mdettweiler [2015-09-11 09:06:03] 785*2^1408922-1 is not prime. Res64: F91F380EAF9376B6 Time : 0.0 sec. user=mdettweiler [2015-09-11 09:10:45] 791*2^1408922-1 is not prime. Res64: 0DEFE39C833A8FA9 Time : 0.0 sec. user=mdettweiler [2015-09-11 09:10:45] 873*2^1408922-1 is not prime. Res64: 8B39B7C8006AE696 Time : 0.0 sec. user=mdettweiler [2015-09-11 09:23:34] 921*2^1408922-1 is not prime. Res64: 2BD91778429D7F86 Time : 0.0 sec. user=mdettweiler [2015-09-11 09:23:34] 935*2^1408922-1 is not prime. Res64: E7A9EE010777F6E5 Time : 0.0 sec. user=mdettweiler [2015-09-11 09:23:49] 953*2^1408922-1 is not prime. Res64: 18833340B6A946DF Time : 0.0 sec. user=mdettweiler [2015-09-11 09:23:50] 1001*2^1408922-1 is not prime. Res64: 7744493B30FABEC9 Time : 0.0 sec. user=juhehe [2015-09-11 09:24:16] 999*2^1408921-1 is not prime. Res64: 290AD51F6A07FBEB Time : 0.0 sec. user=mdettweiler [2015-09-11 09:28:26] 613*2^1408923-1 is not prime. Res64: B99748E8581EF971 Time : 0.0 sec. user=mdettweiler [2015-09-11 09:28:27] 753*2^1408923-1 is not prime. Res64: A0658914B6544A79 Time : 0.0 sec. user=mdettweiler [2015-09-11 09:41:17] 825*2^1408923-1 is not prime. Res64: 410BB7E0643A1F33 Time : 0.0 sec. user=mdettweiler [2015-09-11 09:41:17] 901*2^1408923-1 is not prime. Res64: 1293566A749EDAD9 Time : 0.0 sec. user=mdettweiler [2015-09-11 09:41:29] 639*2^1408924-1 is not prime. Res64: 7165E5851ECC6A49 Time : 0.0 sec. user=mdettweiler [2015-09-11 09:41:30] 855*2^1408924-1 is not prime. Res64: A40C16F2D77ECCEC Time : 0.0 sec. user=mdettweiler [2015-09-11 09:46:07] 869*2^1408924-1 is not prime. Res64: C50A9453431DD54A Time : 0.0 sec. user=mdettweiler [2015-09-11 09:46:07] 903*2^1408924-1 is not prime. Res64: 410D13BBA77CD434 Time : 0.0 sec. user=mdettweiler [2015-09-11 09:59:00] 993*2^1408924-1 is not prime. Res64: 9452EB0E69BC749B Time : 0.0 sec. user=mdettweiler [2015-09-11 09:59:00] 675*2^1408925-1 is not prime. Res64: B76680611A68FFEA Time : 0.0 sec. user=mdettweiler [2015-09-11 09:59:18] 777*2^1408925-1 is not prime. Res64: 8EF0FDFA9F6A7A97 Time : 0.0 sec. user=mdettweiler [2015-09-11 09:59:18] 819*2^1408925-1 is not prime. Res64: 28E5095A69DF51C4 Time : 0.0 sec. user=mdettweiler [2015-09-11 10:03:51] 837*2^1408925-1 is not prime. Res64: 6DC466FC920BFFA3 Time : 0.0 sec. user=mdettweiler [2015-09-11 10:03:52] 885*2^1408925-1 is not prime. Res64: F30BE3469DA09632 Time : 0.0 sec. user=mdettweiler [2015-09-11 10:16:44] 949*2^1408925-1 is not prime. Res64: B5ADF68CA9510C6B Time : 0.0 sec. user=mdettweiler [2015-09-11 10:16:44] 981*2^1408925-1 is not prime. Res64: 9B73C1DF2578058E Time : 0.0 sec. user=mdettweiler [2015-09-11 10:17:03] 713*2^1408926-1 is not prime. Res64: EF994C2BF3911E8E Time : 0.0 sec. user=mdettweiler [2015-09-11 10:17:03] 755*2^1408926-1 is not prime. Res64: 222DE73675526AA7 Time : 0.0 sec. user=mdettweiler [2015-09-11 10:21:43] 833*2^1408926-1 is not prime. Res64: 0BD1EB1BE56CBEBB Time : 0.0 sec. user=mdettweiler [2015-09-11 10:21:43] 873*2^1408926-1 is not prime. Res64: DE820668C37C9995 Time : 0.0 sec. user=mdettweiler [2015-09-11 10:34:30] 887*2^1408926-1 is not prime. Res64: DE80EC625D6E4EF7 Time : 0.0 sec. user=mdettweiler [2015-09-11 10:34:30] 893*2^1408926-1 is not prime. Res64: 4E36A93CB715CD63 Time : 0.0 sec. user=mdettweiler [2015-09-11 10:34:44] 933*2^1408926-1 is not prime. Res64: 8605207AD91F44F4 Time : 0.0 sec. user=mdettweiler [2015-09-11 10:34:45] 609*2^1408927-1 is not prime. Res64: C6C060A586C3B891 Time : 0.0 sec. user=mdettweiler [2015-09-11 10:39:36] 651*2^1408927-1 is not prime. Res64: 0719BC0FFAD3ACEA Time : 0.0 sec. user=mdettweiler [2015-09-11 10:39:36] 681*2^1408927-1 is not prime. Res64: 5FA515CCB3DD4939 Time : 0.0 sec. user=mdettweiler [2015-09-11 10:52:35] 741*2^1408927-1 is not prime. Res64: 7B63D644F737C4A4 Time : 0.0 sec. user=mdettweiler [2015-09-11 10:52:35] 793*2^1408927-1 is not prime. Res64: 7F26094A192F1B41 Time : 0.0 sec. user=mdettweiler [2015-09-11 10:53:03] 841*2^1408927-1 is not prime. Res64: 071252A9674FEA9D Time : 0.0 sec. user=mdettweiler [2015-09-11 10:53:03] 843*2^1408927-1 is not prime. Res64: 7DC06B64D214D424 Time : 0.0 sec. user=mdettweiler [2015-09-11 10:57:45] 919*2^1408927-1 is not prime. Res64: A2F4968DBC162535 Time : 0.0 sec. user=mdettweiler [2015-09-11 10:57:45] 633*2^1408928-1 is not prime. Res64: 0DE0C7912238343A Time : 0.0 sec. user=mdettweiler [2015-09-11 11:10:37] 897*2^1408928-1 is not prime. Res64: 7D1217A36D86C18C Time : 0.0 sec. user=mdettweiler [2015-09-11 11:10:38] 923*2^1408928-1 is not prime. Res64: BFE627DF4F16EFC6 Time : 0.0 sec. user=mdettweiler [2015-09-11 11:11:00] 935*2^1408928-1 is not prime. Res64: D6C4677E58F3B8F7 Time : 0.0 sec. user=mdettweiler [2015-09-11 11:11:01] 995*2^1408928-1 is not prime. Res64: 310D289EE6F263EA Time : 0.0 sec. user=mdettweiler [2015-09-11 11:15:41] 625*2^1408929-1 is not prime. Res64: 4D4086A6E25CC6A4 Time : 0.0 sec. user=mdettweiler [2015-09-11 11:15:41] 667*2^1408929-1 is not prime. Res64: 3137F6E366256544 Time : 0.0 sec. user=juhehe [2015-09-11 11:18:29] 713*2^1408928-1 is not prime. Res64: 784E82308360FE7D Time : 0.0 sec. user=mdettweiler [2015-09-11 11:28:47] 669*2^1408929-1 is not prime. Res64: D2659BF8B0C6CA48 Time : 0.0 sec. user=mdettweiler [2015-09-11 11:28:47] 705*2^1408929-1 is not prime. Res64: 66BF0747629F97B1 Time : 0.0 sec. user=mdettweiler [2015-09-11 11:29:09] 727*2^1408929-1 is not prime. Res64: D65C07FFBC72160C Time : 0.0 sec. user=mdettweiler [2015-09-11 11:29:10] 741*2^1408929-1 is not prime. Res64: EC97B201A38DCC2F Time : 0.0 sec. user=mdettweiler [2015-09-11 11:34:04] 765*2^1408929-1 is not prime. Res64: 91B0E1B874B0EFFB Time : 0.0 sec. user=mdettweiler [2015-09-11 11:34:05] 645*2^1408930-1 is not prime. Res64: 6B2F45BD6A4F8975 Time : 0.0 sec. user=mdettweiler [2015-09-11 11:47:17] 657*2^1408930-1 is not prime. Res64: D8CC6AE5F175A564 Time : 0.0 sec. user=mdettweiler [2015-09-11 11:47:17] 675*2^1408930-1 is not prime. Res64: 818FDADCAC903652 Time : 0.0 sec. user=mdettweiler [2015-09-11 11:47:33] 723*2^1408930-1 is not prime. Res64: 26789082E5676E25 Time : 0.0 sec. user=mdettweiler [2015-09-11 11:47:34] 773*2^1408930-1 is not prime. Res64: 2CF46B68E45A2F34 Time : 0.0 sec. user=mdettweiler [2015-09-11 11:52:07] 891*2^1408930-1 is not prime. Res64: 18CF3B0DD08EBDD2 Time : 0.0 sec. user=mdettweiler [2015-09-11 11:52:07] 933*2^1408930-1 is not prime. Res64: 325E69289463C7A8 Time : 0.0 sec. user=mdettweiler [2015-09-11 12:05:43] 957*2^1408930-1 is not prime. Res64: E8F760CA43577943 Time : 0.0 sec. user=mdettweiler [2015-09-11 12:05:45] 715*2^1408931-1 is not prime. Res64: 993E07DDC11A2CD4 Time : 0.0 sec. user=mdettweiler [2015-09-11 12:05:56] 741*2^1408931-1 is not prime. Res64: 5DD18FA94150066E Time : 0.0 sec. user=mdettweiler [2015-09-11 12:05:57] 759*2^1408931-1 is not prime. Res64: 20494F9858750512 Time : 0.0 sec. user=mdettweiler [2015-09-11 12:10:34] 801*2^1408931-1 is not prime. Res64: F6EC8BD527C18123 Time : 0.0 sec. user=mdettweiler [2015-09-11 12:10:35] 903*2^1408931-1 is not prime. Res64: 791B76E2DA5F98A3 Time : 0.0 sec. user=mdettweiler [2015-09-11 12:24:10] 939*2^1408931-1 is not prime. Res64: AE8DA472D25A8BBE Time : 0.0 sec. user=mdettweiler [2015-09-11 12:24:10] 657*2^1408932-1 is not prime. Res64: E6E6772CCF49389E Time : 0.0 sec. user=mdettweiler [2015-09-11 12:24:16] 737*2^1408932-1 is not prime. Res64: 392CBB465B8414C0 Time : 0.0 sec. user=mdettweiler [2015-09-11 12:24:17] 765*2^1408932-1 is not prime. Res64: AF82F5502EC74A57 Time : 0.0 sec. user=mdettweiler [2015-09-11 12:28:49] 779*2^1408932-1 is not prime. Res64: A9439E6F6A5C1679 Time : 0.0 sec. user=mdettweiler [2015-09-11 12:28:50] 819*2^1408932-1 is not prime. Res64: 04F85928B86713E7 Time : 0.0 sec. user=mdettweiler [2015-09-11 12:42:19] 899*2^1408932-1 is not prime. Res64: 1E3A492F3385339D Time : 0.0 sec. user=mdettweiler [2015-09-11 12:42:19] 681*2^1408933-1 is not prime. Res64: F24AF7435508CAB6 Time : 0.0 sec. user=mdettweiler [2015-09-11 12:42:31] 741*2^1408933-1 is not prime. Res64: 6DC9F69FCE9737E6 Time : 0.0 sec. user=mdettweiler [2015-09-11 12:42:31] 765*2^1408933-1 is not prime. Res64: CA41207875EA15A3 Time : 0.0 sec. user=mdettweiler [2015-09-11 12:46:55] 831*2^1408933-1 is not prime. Res64: 1881B8FCE9428DE0 Time : 0.0 sec. user=mdettweiler [2015-09-11 12:46:55] 675*2^1408934-1 is not prime. Res64: 113967504F2E22CE Time : 0.0 sec. user=mdettweiler [2015-09-11 13:00:26] 741*2^1408934-1 is not prime. Res64: 078DF2B77B5FC4AC Time : 0.0 sec. user=mdettweiler [2015-09-11 13:00:27] 923*2^1408934-1 is not prime. Res64: BB9D9A8A8428967F Time : 0.0 sec. user=mdettweiler [2015-09-11 13:00:45] 723*2^1408935-1 is not prime. Res64: 16E8C861A1A0E60B Time : 0.0 sec. user=mdettweiler [2015-09-11 13:00:45] 781*2^1408935-1 is not prime. Res64: D9A50EECCD3B1BD5 Time : 0.0 sec. user=mdettweiler [2015-09-11 13:05:05] 795*2^1408935-1 is not prime. Res64: F806C2967AFB8898 Time : 0.0 sec. user=mdettweiler [2015-09-11 13:05:06] 831*2^1408935-1 is not prime. Res64: BE4C14EF2D884BCD Time : 0.0 sec. user=juhehe [2015-09-11 13:13:38] 693*2^1408934-1 is not prime. Res64: D57B6931802BEAEA Time : 0.0 sec. user=mdettweiler [2015-09-11 13:18:16] 895*2^1408935-1 is not prime. Res64: 4DAA06B262407EAF Time : 0.0 sec. user=mdettweiler [2015-09-11 13:18:16] 919*2^1408935-1 is not prime. Res64: A008C5B101C6C36C Time : 0.0 sec. user=mdettweiler [2015-09-11 13:18:30] 951*2^1408935-1 is not prime. Res64: 5FA95C1874A28056 Time : 0.0 sec. user=mdettweiler [2015-09-11 13:18:30] 657*2^1408936-1 is not prime. Res64: 7A7B9680E0F355BE Time : 0.0 sec. user=mdettweiler [2015-09-11 13:22:50] 675*2^1408936-1 is not prime. Res64: 124261EB01347C24 Time : 0.0 sec. user=mdettweiler [2015-09-11 13:22:51] 773*2^1408936-1 is not prime. Res64: 588BBD47EA13A0A3 Time : 0.0 sec. user=mdettweiler [2015-09-11 13:36:01] 777*2^1408936-1 is not prime. Res64: 55516E9F82B503C7 Time : 0.0 sec. user=mdettweiler [2015-09-11 13:36:02] 849*2^1408936-1 is not prime. Res64: F55AF10EA6706270 Time : 0.0 sec. user=mdettweiler [2015-09-11 13:36:18] 965*2^1408936-1 is not prime. Res64: 2C0F7F13C37F5FAA Time : 0.0 sec. user=mdettweiler [2015-09-11 13:36:19] 841*2^1408937-1 is not prime. Res64: 341EAB4DF73BA782 Time : 0.0 sec. user=mdettweiler [2015-09-11 13:40:34] 871*2^1408937-1 is not prime. Res64: CE0AFED86F9FB666 Time : 0.0 sec. user=mdettweiler [2015-09-11 13:40:35] 879*2^1408937-1 is not prime. Res64: 3E66667A7EBF3E58 Time : 0.0 sec. user=mdettweiler [2015-09-11 13:53:42] 937*2^1408937-1 is not prime. Res64: 394D8073F6FA3101 Time : 0.0 sec. user=mdettweiler [2015-09-11 13:53:42] 979*2^1408937-1 is not prime. Res64: 0AABCAC2F33A28A5 Time : 0.0 sec. user=mdettweiler [2015-09-11 13:53:58] 611*2^1408938-1 is not prime. Res64: 69F4FF9A6F8B95EF Time : 0.0 sec. user=mdettweiler [2015-09-11 13:53:59] 713*2^1408938-1 is not prime. Res64: 432E55C6B92E195D Time : 0.0 sec. user=mdettweiler [2015-09-11 13:58:10] 765*2^1408938-1 is not prime. Res64: 30EBDB853124E0E6 Time : 0.0 sec. user=mdettweiler [2015-09-11 13:58:10] 797*2^1408938-1 is not prime. Res64: 2DCB46B07866BBBA Time : 0.0 sec. user=mdettweiler [2015-09-11 14:11:17] 915*2^1408938-1 is not prime. Res64: E5C316BD4103AE9C Time : 0.0 sec. user=mdettweiler [2015-09-11 14:11:18] 975*2^1408938-1 is not prime. Res64: C9D01F71BB6D44D3 Time : 0.0 sec. user=mdettweiler [2015-09-11 14:11:31] 675*2^1408939-1 is not prime. Res64: D2FE0856C39F01EA Time : 0.0 sec. user=mdettweiler [2015-09-11 14:11:32] 769*2^1408939-1 is not prime. Res64: 5373F0B15DE346B9 Time : 0.0 sec. user=mdettweiler [2015-09-11 14:15:49] 789*2^1408939-1 is not prime. Res64: 105DE6E4643FE248 Time : 0.0 sec. user=mdettweiler [2015-09-11 14:15:50] 843*2^1408939-1 is not prime. Res64: D0CB8940F704A648 Time : 0.0 sec. user=mdettweiler [2015-09-11 14:28:51] 913*2^1408939-1 is not prime. Res64: FC38CEF7F43304C6 Time : 0.0 sec. user=mdettweiler [2015-09-11 14:28:51] 939*2^1408939-1 is not prime. Res64: DF52528FEFC8FF74 Time : 0.0 sec. user=mdettweiler [2015-09-11 14:29:01] 973*2^1408939-1 is not prime. Res64: 790A74297E2FC081 Time : 0.0 sec. user=mdettweiler [2015-09-11 14:29:01] 975*2^1408939-1 is not prime. Res64: 8BBAFCF7DABCBBC3 Time : 0.0 sec. user=mdettweiler [2015-09-11 14:33:15] 999*2^1408939-1 is not prime. Res64: BAC39EA3570DD40E Time : 0.0 sec. user=mdettweiler [2015-09-11 14:33:16] 707*2^1408940-1 is not prime. Res64: 919216FBA04B536F Time : 0.0 sec. user=mdettweiler [2015-09-11 14:46:13] 803*2^1408940-1 is not prime. Res64: 7F9D044C698CDDF7 Time : 0.0 sec. user=mdettweiler [2015-09-11 14:46:14] 855*2^1408940-1 is not prime. Res64: F04814AFD5B3108A Time : 0.0 sec. user=mdettweiler [2015-09-11 14:46:24] 927*2^1408940-1 is not prime. Res64: 55F63C7F16836572 Time : 0.0 sec. user=mdettweiler [2015-09-11 14:46:24] 945*2^1408940-1 is not prime. Res64: 734CE980B2D1CB5C Time : 0.0 sec. user=mdettweiler [2015-09-11 14:50:41] 609*2^1408941-1 is not prime. Res64: 60D3BEC626959E25 Time : 0.0 sec. user=mdettweiler [2015-09-11 14:50:41] 781*2^1408941-1 is not prime. Res64: 42DB51A71608EB30 Time : 0.0 sec. user=mdettweiler [2015-09-11 15:03:42] 789*2^1408941-1 is not prime. Res64: 51B50A79F006FC35 Time : 0.0 sec. user=mdettweiler [2015-09-11 15:03:44] 889*2^1408941-1 is not prime. Res64: 0D0ECDFF2F5D823B Time : 0.0 sec. user=mdettweiler [2015-09-11 15:03:52] 927*2^1408941-1 is not prime. Res64: CE926B7328108955 Time : 0.0 sec. user=mdettweiler [2015-09-11 15:03:53] 961*2^1408941-1 is not prime. Res64: 8D10B398A435036B Time : 0.0 sec. user=juhehe [2015-09-11 15:07:39] 983*2^1408940-1 is not prime. Res64: 87AF4C07C1BFEDF2 Time : 0.0 sec. user=mdettweiler [2015-09-11 15:08:12] 991*2^1408941-1 is not prime. Res64: 7B91186FC096219D Time : 0.0 sec. user=mdettweiler [2015-09-11 15:08:13] 635*2^1408942-1 is not prime. Res64: C9A542279FC4D4E8 Time : 0.0 sec. user=mdettweiler [2015-09-11 15:21:17] 723*2^1408942-1 is not prime. Res64: F639AAD75821917A Time : 0.0 sec. user=mdettweiler [2015-09-11 15:21:17] 831*2^1408942-1 is not prime. Res64: 8DEE6C00C9EAED20 Time : 0.0 sec. user=mdettweiler [2015-09-11 15:21:19] 873*2^1408942-1 is not prime. Res64: 206610A037A59E11 Time : 0.0 sec. user=mdettweiler [2015-09-11 15:21:20] 987*2^1408942-1 is not prime. Res64: 943EA89028139C44 Time : 0.0 sec. user=mdettweiler [2015-09-11 15:25:39] 663*2^1408943-1 is not prime. Res64: 763EAF5213492980 Time : 0.0 sec. user=mdettweiler [2015-09-11 15:25:40] 715*2^1408943-1 is not prime. Res64: A00249EC98DE8AC9 Time : 0.0 sec. user=mdettweiler [2015-09-11 15:38:39] 879*2^1408943-1 is not prime. Res64: 6A2A23177AFEA719 Time : 0.0 sec. user=mdettweiler [2015-09-11 15:38:39] 955*2^1408943-1 is not prime. Res64: E068B612B77727EA Time : 0.0 sec. user=mdettweiler [2015-09-11 15:38:41] 707*2^1408944-1 is not prime. Res64: F4700E56D1091BC3 Time : 0.0 sec. user=mdettweiler [2015-09-11 15:38:41] 723*2^1408944-1 is not prime. Res64: 3928A41C39626177 Time : 0.0 sec. user=mdettweiler [2015-09-11 15:43:02] 753*2^1408944-1 is not prime. Res64: A5A5905B9C2CF989 Time : 0.0 sec. user=mdettweiler [2015-09-11 15:43:03] 815*2^1408944-1 is not prime. Res64: 94AB2D11BE485B9C Time : 0.0 sec. user=mdettweiler [2015-09-11 15:56:02] 927*2^1408944-1 is not prime. Res64: 0D186D03B9B567FC Time : 0.0 sec. user=mdettweiler [2015-09-11 15:56:02] 945*2^1408944-1 is not prime. Res64: F78EB655008C9DB8 Time : 0.0 sec. user=mdettweiler [2015-09-11 15:56:04] 717*2^1408945-1 is not prime. Res64: D59087E0DCA3CEA6 Time : 0.0 sec. user=mdettweiler [2015-09-11 15:56:04] 861*2^1408945-1 is not prime. Res64: D3E9D8E51879C23B Time : 0.0 sec. user=mdettweiler [2015-09-11 16:00:26] 919*2^1408945-1 is not prime. Res64: EFC24110AD38C04E Time : 0.0 sec. user=mdettweiler [2015-09-11 16:00:29] 985*2^1408945-1 is not prime. Res64: AFED0A5510FFCC27 Time : 0.0 sec. user=mdettweiler [2015-09-11 16:13:24] 987*2^1408945-1 is not prime. Res64: 9178B2BE4604AB67 Time : 0.0 sec. user=mdettweiler [2015-09-11 16:13:26] 923*2^1408946-1 is not prime. Res64: DFA71744CFD99485 Time : 0.0 sec. user=mdettweiler [2015-09-11 16:13:26] 857*2^1408946-1 is not prime. Res64: 8CE0B4AEB76889D1 Time : 0.0 sec. user=mdettweiler [2015-09-11 16:13:27] 795*2^1408947-1 is not prime. Res64: 5ABA728657574EDA Time : 0.0 sec. user=mdettweiler [2015-09-11 16:18:02] 859*2^1408947-1 is not prime. Res64: BB7CBF224F259C6D Time : 0.0 sec. user=mdettweiler [2015-09-11 16:18:02] 945*2^1408947-1 is not prime. Res64: B37901437A20BB38 Time : 0.0 sec. user=mdettweiler [2015-09-11 16:31:01] 979*2^1408947-1 is not prime. Res64: BE4B0B032F76103D Time : 0.0 sec. user=mdettweiler [2015-09-11 16:31:01] 615*2^1408948-1 is not prime. Res64: 745EF0065385F147 Time : 0.0 sec. user=mdettweiler [2015-09-11 16:31:01] 813*2^1408948-1 is not prime. Res64: 2B36E6F7D943FAB9 Time : 0.0 sec. user=mdettweiler [2015-09-11 16:31:01] 603*2^1408948-1 is not prime. Res64: 21B0C523E730D943 Time : 0.0 sec. user=mdettweiler [2015-09-11 16:35:25] 869*2^1408948-1 is not prime. Res64: 028269F6773990F7 Time : 0.0 sec. user=mdettweiler [2015-09-11 16:35:25] 621*2^1408949-1 is not prime. Res64: 9A79505040FB8992 Time : 0.0 sec. user=mdettweiler [2015-09-11 16:48:24] 795*2^1408949-1 is not prime. Res64: 6350F3300CF3DF06 Time : 0.0 sec. user=mdettweiler [2015-09-11 16:48:24] 889*2^1408949-1 is not prime. Res64: AB53FC10B665F083 Time : 0.0 sec. user=mdettweiler [2015-09-11 16:48:25] 735*2^1408949-1 is not prime. Res64: 3DAE0256D382DB79 Time : 0.0 sec. user=mdettweiler [2015-09-11 16:48:25] 741*2^1408949-1 is not prime. Res64: FC9007F8171DD210 Time : 0.0 sec. user=mdettweiler [2015-09-11 16:52:48] 955*2^1408949-1 is not prime. Res64: 9CF3F9189BAE1716 Time : 0.0 sec. user=mdettweiler [2015-09-11 16:52:48] 627*2^1408950-1 is not prime. Res64: B51D1D34700E7149 Time : 0.0 sec. user=juhehe [2015-09-11 17:03:18] 691*2^1408949-1 is not prime. Res64: BFBADC64328A3FBE Time : 0.0 sec. user=mdettweiler [2015-09-11 17:05:48] 851*2^1408950-1 is not prime. Res64: 6C96A5283C482821 Time : 0.0 sec. user=mdettweiler [2015-09-11 17:05:48] 893*2^1408950-1 is not prime. Res64: 8FF8565165B827D4 Time : 0.0 sec. user=mdettweiler [2015-09-11 17:05:51] 923*2^1408950-1 is not prime. Res64: CAE7CE6D8CE5D47C Time : 0.0 sec. user=mdettweiler [2015-09-11 17:05:52] 971*2^1408950-1 is not prime. Res64: D6D2193C22FC4391 Time : 0.0 sec. user=mdettweiler [2015-09-11 17:10:11] 741*2^1408951-1 is not prime. Res64: D678723778AF766A Time : 0.0 sec. user=mdettweiler [2015-09-11 17:10:11] 771*2^1408951-1 is not prime. Res64: 5ED0A6AF8B971F4E Time : 0.0 sec. user=mdettweiler [2015-09-11 17:23:13] 849*2^1408951-1 is not prime. Res64: C8346E0BD3F16AAC Time : 0.0 sec. user=mdettweiler [2015-09-11 17:23:13] 951*2^1408951-1 is not prime. Res64: 698BC3E7503893BE Time : 0.0 sec. user=mdettweiler [2015-09-11 17:23:15] 973*2^1408951-1 is not prime. Res64: A5CE4EF86B411247 Time : 0.0 sec. user=mdettweiler [2015-09-11 17:23:15] 687*2^1408952-1 is not prime. Res64: 5EDF544BCC6014A3 Time : 0.0 sec. user=mdettweiler [2015-09-11 17:27:35] 725*2^1408952-1 is not prime. Res64: D5444E7899F4AF17 Time : 0.0 sec. user=mdettweiler [2015-09-11 17:27:35] 827*2^1408952-1 is not prime. Res64: 8E105484861C5CA8 Time : 0.0 sec. user=mdettweiler [2015-09-11 17:40:35] 995*2^1408952-1 is not prime. Res64: A25FE1B00A81A59C Time : 0.0 sec. user=mdettweiler [2015-09-11 17:40:35] 607*2^1408953-1 is not prime. Res64: 2A401089C8824330 Time : 0.0 sec. user=mdettweiler [2015-09-11 17:40:36] 727*2^1408953-1 is not prime. Res64: 1A78DE4519200D67 Time : 0.0 sec. user=mdettweiler [2015-09-11 17:40:37] 735*2^1408953-1 is not prime. Res64: 5A9BE54EEB0E715E Time : 0.0 sec. user=mdettweiler [2015-09-11 17:44:59] 739*2^1408953-1 is not prime. Res64: 418A8A677035B1E3 Time : 0.0 sec. user=mdettweiler [2015-09-11 17:44:59] 741*2^1408953-1 is not prime. Res64: 2CB754B5A75F4005 Time : 0.0 sec. user=mdettweiler [2015-09-11 17:57:57] 807*2^1408953-1 is not prime. Res64: 13E4578C017331EE Time : 0.0 sec. user=mdettweiler [2015-09-11 17:57:57] 819*2^1408953-1 is not prime. Res64: C59034C1A970BC15 Time : 0.0 sec. user=mdettweiler [2015-09-11 17:58:00] 901*2^1408953-1 is not prime. Res64: A887838897953C26 Time : 0.0 sec. user=mdettweiler [2015-09-11 17:58:00] 921*2^1408953-1 is not prime. Res64: 5F823AAE9E133C68 Time : 0.0 sec. user=mdettweiler [2015-09-11 18:02:21] 987*2^1408953-1 is not prime. Res64: CFCF63A54E026DAF Time : 0.0 sec. user=mdettweiler [2015-09-11 18:02:22] 665*2^1408954-1 is not prime. Res64: 0DA447D13FE43EE8 Time : 0.0 sec. user=mdettweiler [2015-09-11 18:15:20] 707*2^1408954-1 is not prime. Res64: C93933385043E52A Time : 0.0 sec. user=mdettweiler [2015-09-11 18:15:22] 831*2^1408954-1 is not prime. Res64: F88FB19C8DA7BD4A Time : 0.0 sec. user=mdettweiler [2015-09-11 18:15:23] 941*2^1408954-1 is not prime. Res64: E1799D07FFA64100 Time : 0.0 sec. user=mdettweiler [2015-09-11 18:15:24] 601*2^1408955-1 is not prime. Res64: 7362BFA483204504 Time : 0.0 sec. user=mdettweiler [2015-09-11 18:19:45] 619*2^1408955-1 is not prime. Res64: F68E49D0060928BC Time : 0.0 sec. user=mdettweiler [2015-09-11 18:19:46] 771*2^1408955-1 is not prime. Res64: 18F8CF7834CB46B8 Time : 0.0 sec. user=juhehe [2015-09-11 18:24:27] 681*2^1408954-1 is not prime. Res64: D268FE917FAC568A Time : 0.0 sec. user=mdettweiler [2015-09-11 18:32:49] 859*2^1408955-1 is not prime. Res64: B02C9A5DC52B80B1 Time : 0.0 sec. user=mdettweiler [2015-09-11 18:32:50] 981*2^1408955-1 is not prime. Res64: 2D10CB77C6D7F396 Time : 0.0 sec. user=mdettweiler [2015-09-11 18:32:50] 913*2^1408955-1 is not prime. Res64: D651F1C320FF1073 Time : 0.0 sec. user=mdettweiler [2015-09-11 18:32:50] 909*2^1408956-1 is not prime. Res64: 4C7AFB3D10963F21 Time : 0.0 sec. user=mdettweiler [2015-09-11 18:37:09] 621*2^1408957-1 is not prime. Res64: EA1B8722DBCEE6F8 Time : 0.0 sec. user=mdettweiler [2015-09-11 18:37:09] 667*2^1408957-1 is not prime. Res64: EB0C9D11346B9875 Time : 0.0 sec. user=mdettweiler [2015-09-11 18:50:12] 777*2^1408957-1 is not prime. Res64: B04A3AC398DA031A Time : 0.0 sec. user=mdettweiler [2015-09-11 18:50:12] 835*2^1408957-1 is not prime. Res64: A0F3DFF6940FA1E9 Time : 0.0 sec. user=mdettweiler [2015-09-11 18:50:13] 915*2^1408957-1 is not prime. Res64: 583B47A9EDAD3B1E Time : 0.0 sec. user=mdettweiler [2015-09-11 18:50:13] 665*2^1408958-1 is not prime. Res64: 5A2E6FC219AE0724 Time : 0.0 sec. user=mdettweiler [2015-09-11 18:54:31] 677*2^1408958-1 is not prime. Res64: 80BBAE4A1ECA67F4 Time : 0.0 sec. user=mdettweiler [2015-09-11 18:54:31] 711*2^1408958-1 is not prime. Res64: D4AD2E1BA8869193 Time : 0.0 sec. user=juhehe [2015-09-11 18:58:31] 715*2^1408957-1 is not prime. Res64: B8037F9B185B4318 Time : 0.0 sec. user=mdettweiler [2015-09-11 19:07:35] 755*2^1408958-1 is not prime. Res64: E249CC55031E7224 Time : 0.0 sec. user=mdettweiler [2015-09-11 19:07:35] 761*2^1408958-1 is not prime. Res64: B067B938E6741A3A Time : 0.0 sec. user=mdettweiler [2015-09-11 19:07:38] 713*2^1408958-1 is not prime. Res64: B1CC0B880B0EB1FD Time : 0.0 sec. user=mdettweiler [2015-09-11 19:07:39] 743*2^1408958-1 is not prime. Res64: 1856DF937632B53E Time : 0.0 sec. user=mdettweiler [2015-09-11 19:11:54] 831*2^1408958-1 is not prime. Res64: A906446EF4F1C097 Time : 0.0 sec. user=mdettweiler [2015-09-11 19:11:55] 861*2^1408958-1 is not prime. Res64: 21986CFF61A35E29 Time : 0.0 sec. user=mdettweiler [2015-09-11 19:25:01] 977*2^1408958-1 is not prime. Res64: 20C16A81DBEDD4E5 Time : 0.0 sec. user=mdettweiler [2015-09-11 19:25:02] 625*2^1408959-1 is not prime. Res64: 32027B6608A344DA Time : 0.0 sec. user=mdettweiler [2015-09-11 19:25:03] 887*2^1408958-1 is not prime. Res64: 746BDD7C7C995715 Time : 0.0 sec. user=mdettweiler [2015-09-11 19:25:03] 921*2^1408958-1 is not prime. Res64: 8A61B47CC254A42D Time : 0.0 sec. user=mdettweiler [2015-09-11 19:29:18] 705*2^1408959-1 is not prime. Res64: 18C277105B7FFAA7 Time : 0.0 sec. user=mdettweiler [2015-09-11 19:29:18] 741*2^1408959-1 is not prime. Res64: 0F40F1B1C930A32A Time : 0.0 sec. user=mdettweiler [2015-09-11 19:42:24] 789*2^1408959-1 is not prime. Res64: 3337C57C1331DDB3 Time : 0.0 sec. user=mdettweiler [2015-09-11 19:42:24] 951*2^1408959-1 is not prime. Res64: 729675DEBED68EE3 Time : 0.0 sec. user=mdettweiler [2015-09-11 19:42:25] 635*2^1408960-1 is not prime. Res64: BD88B80F5A77A8C7 Time : 0.0 sec. user=mdettweiler [2015-09-11 19:42:26] 645*2^1408960-1 is not prime. Res64: 4B30DD5D28048C91 Time : 0.0 sec. user=mdettweiler [2015-09-11 19:46:41] 665*2^1408960-1 is not prime. Res64: AAD91D28BF2D781A Time : 0.0 sec. user=mdettweiler [2015-09-11 19:46:42] 699*2^1408960-1 is not prime. Res64: 5296B6F4DC270831 Time : 0.0 sec. user=mdettweiler [2015-09-11 19:59:47] 825*2^1408960-1 is not prime. Res64: D9BA6D3AB5C13480 Time : 0.0 sec. user=mdettweiler [2015-09-11 19:59:47] 839*2^1408960-1 is not prime. Res64: 6FFC8A2E516CF557 Time : 0.0 sec. user=mdettweiler [2015-09-11 19:59:48] 875*2^1408960-1 is not prime. Res64: 6AA6D055B02C872D Time : 0.0 sec. user=mdettweiler [2015-09-11 19:59:49] 601*2^1408961-1 is not prime. Res64: 240914B7D654615E Time : 0.0 sec. user=mdettweiler [2015-09-11 20:04:06] 627*2^1408961-1 is not prime. Res64: EAC1F83805228F97 Time : 0.0 sec. user=mdettweiler [2015-09-11 20:04:07] 645*2^1408961-1 is not prime. Res64: 2A6CF948795CE203 Time : 0.0 sec. user=juhehe [2015-09-11 20:14:20] 765*2^1408960-1 is not prime. Res64: 5AEAA10F480F4655 Time : 0.0 sec. user=mdettweiler [2015-09-11 20:17:09] 775*2^1408961-1 is not prime. Res64: C69479A514FEFAFB Time : 0.0 sec. user=mdettweiler [2015-09-11 20:17:09] 777*2^1408961-1 is not prime. Res64: EF1BC38FB568FB39 Time : 0.0 sec. user=mdettweiler [2015-09-11 20:17:10] 871*2^1408961-1 is not prime. Res64: C2E3D839072D453A Time : 0.0 sec. user=mdettweiler [2015-09-11 20:17:10] 909*2^1408961-1 is not prime. Res64: 9AB35E1B3A490DF3 Time : 0.0 sec. user=mdettweiler [2015-09-11 20:21:31] 791*2^1408962-1 is not prime. Res64: 2BC1D65307F81A8A Time : 0.0 sec. user=mdettweiler [2015-09-11 20:21:31] 837*2^1408962-1 is not prime. Res64: EEF5C9D164290AD1 Time : 0.0 sec. user=mdettweiler [2015-09-11 20:34:33] 945*2^1408962-1 is not prime. Res64: 8F4561472C6CC643 Time : 0.0 sec. user=mdettweiler [2015-09-11 20:34:34] 887*2^1408962-1 is not prime. Res64: 9947F099F5DC72FD Time : 0.0 sec. user=mdettweiler [2015-09-11 20:34:34] 947*2^1408962-1 is not prime. Res64: 6AF1FF18F051057E Time : 0.0 sec. user=mdettweiler [2015-09-11 20:34:34] 891*2^1408962-1 is not prime. Res64: 00CAC729A7B1E195 Time : 0.0 sec. user=mdettweiler [2015-09-11 20:38:57] 977*2^1408962-1 is not prime. Res64: 6C990AC469889D18 Time : 0.0 sec. user=mdettweiler [2015-09-11 20:38:57] 615*2^1408963-1 is not prime. Res64: 946BFE8CD98C641C Time : 0.0 sec. user=mdettweiler [2015-09-11 20:51:57] 723*2^1408963-1 is not prime. Res64: 0537DD201C158E93 Time : 0.0 sec. user=mdettweiler [2015-09-11 20:51:57] 819*2^1408963-1 is not prime. Res64: C6D3128788B3D08A Time : 0.0 sec. user=mdettweiler [2015-09-11 20:51:57] 771*2^1408963-1 is not prime. Res64: CEE80190B13D99D2 Time : 0.0 sec. user=mdettweiler [2015-09-11 20:51:57] 873*2^1408963-1 is not prime. Res64: 13DC1E508A56F00F Time : 0.0 sec. user=mdettweiler [2015-09-11 20:56:20] 891*2^1408963-1 is not prime. Res64: B254CD1A3B16890B Time : 0.0 sec. user=mdettweiler [2015-09-11 20:56:21] 961*2^1408963-1 is not prime. Res64: 7BF3048246193186 Time : 0.0 sec. user=mdettweiler [2015-09-11 21:09:21] 945*2^1408964-1 is not prime. Res64: BCC0A50BEB1F917D Time : 0.0 sec. user=mdettweiler [2015-09-11 21:09:21] 707*2^1408964-1 is not prime. Res64: 3F17626BF8BA15F5 Time : 0.0 sec. user=mdettweiler [2015-09-11 21:09:21] 953*2^1408964-1 is not prime. Res64: 4485A9DA7D1B68FD Time : 0.0 sec. user=mdettweiler [2015-09-11 21:09:22] 813*2^1408964-1 is not prime. Res64: F6D42D5B91244EA8 Time : 0.0 sec. user=mdettweiler [2015-09-11 21:13:43] 957*2^1408964-1 is not prime. Res64: 9621057B7B118F3E Time : 0.0 sec. user=mdettweiler [2015-09-11 21:13:44] 669*2^1408965-1 is not prime. Res64: 5905FD92208F6552 Time : 0.0 sec. user=mdettweiler [2015-09-11 21:26:48] 751*2^1408965-1 is not prime. Res64: B17271507BD1909E Time : 0.0 sec. user=mdettweiler [2015-09-11 21:26:48] 969*2^1408965-1 is not prime. Res64: 9EB754B5C3FE60D3 Time : 0.0 sec. user=mdettweiler [2015-09-11 21:26:48] 861*2^1408965-1 is not prime. Res64: A48A3217D057A49E Time : 0.0 sec. user=mdettweiler [2015-09-11 21:26:48] 617*2^1408966-1 is not prime. Res64: B959AE768424F3A7 Time : 0.0 sec. user=mdettweiler [2015-09-11 21:31:07] 651*2^1408966-1 is not prime. Res64: A0F4BBE2D670B871 Time : 0.0 sec. user=mdettweiler [2015-09-11 21:31:08] 723*2^1408966-1 is not prime. Res64: 908ADC564B1AC022 Time : 0.0 sec. user=mdettweiler [2015-09-11 21:44:10] 765*2^1408966-1 is not prime. Res64: D76A475B21582474 Time : 0.0 sec. user=mdettweiler [2015-09-11 21:44:10] 833*2^1408966-1 is not prime. Res64: 324E48F16F0F519B Time : 0.0 sec. user=mdettweiler [2015-09-11 21:44:10] 773*2^1408966-1 is not prime. Res64: E4567FEFD8DBD42D Time : 0.0 sec. user=mdettweiler [2015-09-11 21:44:10] 957*2^1408966-1 is not prime. Res64: F74600232165268B Time : 0.0 sec. user=mdettweiler [2015-09-11 21:48:29] 619*2^1408967-1 is not prime. Res64: DB062D1CE61AA919 Time : 0.0 sec. user=mdettweiler [2015-09-11 21:48:29] 621*2^1408967-1 is not prime. Res64: B0B3962F9FBBF603 Time : 0.0 sec. user=mdettweiler [2015-09-11 22:01:32] 735*2^1408967-1 is not prime. Res64: A57798A8D4853143 Time : 0.0 sec. user=mdettweiler [2015-09-11 22:01:33] 673*2^1408967-1 is not prime. Res64: ABC4C4B2B956F9F5 Time : 0.0 sec. user=mdettweiler [2015-09-11 22:01:33] 633*2^1408968-1 is not prime. Res64: 1011640814C4D55B Time : 0.0 sec. user=mdettweiler [2015-09-11 22:01:34] 729*2^1408967-1 is not prime. Res64: C3ED57430A0691C5 Time : 0.0 sec. user=mdettweiler [2015-09-11 22:05:51] 803*2^1408968-1 is not prime. Res64: ABA98F746A4CDF46 Time : 0.0 sec. user=mdettweiler [2015-09-11 22:05:51] 879*2^1408968-1 is not prime. Res64: DBEA0775B98DD697 Time : 0.0 sec. user=mdettweiler [2015-09-11 22:19:09] 609*2^1408969-1 is not prime. Res64: 1EB6D63EE44F4F96 Time : 0.0 sec. user=mdettweiler [2015-09-11 22:19:09] 615*2^1408969-1 is not prime. Res64: BEFC1D122A4FA570 Time : 0.0 sec. user=mdettweiler [2015-09-11 22:19:10] 909*2^1408968-1 is not prime. Res64: 03B782980A243C46 Time : 0.0 sec. user=mdettweiler [2015-09-11 22:19:11] 999*2^1408968-1 is not prime. Res64: 5A8BE84AA75C2F9A Time : 0.0 sec. user=juhehe [2015-09-11 22:22:53] 639*2^1408968-1 is not prime. Res64: 1C80FD19E697FDBF Time : 0.0 sec. user=mdettweiler [2015-09-11 22:23:12] 619*2^1408969-1 is not prime. Res64: 7F6209F571016946 Time : 0.0 sec. user=mdettweiler [2015-09-11 22:23:13] 811*2^1408969-1 is not prime. Res64: 98F83F766635838A Time : 0.0 sec. user=mdettweiler [2015-09-11 22:36:33] 635*2^1408970-1 is not prime. Res64: 8DCD1C68AACCBD2C Time : 0.0 sec. user=mdettweiler [2015-09-11 22:36:33] 773*2^1408970-1 is not prime. Res64: FF511BFEA9EAD727 Time : 0.0 sec. user=mdettweiler [2015-09-11 22:36:36] 791*2^1408970-1 is not prime. Res64: 029BD22B2F98EA46 Time : 0.0 sec. user=mdettweiler [2015-09-11 22:36:37] 813*2^1408970-1 is not prime. Res64: BA3AE1DAEDB5F0AF Time : 0.0 sec. user=mdettweiler [2015-09-11 22:40:35] 827*2^1408970-1 is not prime. Res64: 242C7203DEB9C1F3 Time : 0.0 sec. user=mdettweiler [2015-09-11 22:40:35] 621*2^1408971-1 is not prime. Res64: F8ABB668B8AE5286 Time : 0.0 sec. user=mdettweiler [2015-09-11 22:53:58] 669*2^1408971-1 is not prime. Res64: B3314DDD121E1660 Time : 0.0 sec. user=mdettweiler [2015-09-11 22:53:59] 741*2^1408971-1 is not prime. Res64: CE1B7772CED85467 Time : 0.0 sec. user=mdettweiler [2015-09-11 22:54:02] 751*2^1408971-1 is not prime. Res64: 7C7CD1B77A5FDCC7 Time : 0.0 sec. user=mdettweiler [2015-09-11 22:54:03] 769*2^1408971-1 is not prime. Res64: CBE3E44200509083 Time : 0.0 sec. user=mdettweiler [2015-09-11 22:57:57] 781*2^1408971-1 is not prime. Res64: 5AE11981967317A3 Time : 0.0 sec. user=mdettweiler [2015-09-11 22:57:57] 793*2^1408971-1 is not prime. Res64: 11A3FAEB133E0BF2 Time : 0.0 sec. user=mdettweiler [2015-09-11 23:11:21] 823*2^1408971-1 is not prime. Res64: 0C10AD191CBA9A04 Time : 0.0 sec. user=mdettweiler [2015-09-11 23:11:21] 901*2^1408971-1 is not prime. Res64: C1A6C7DEEC2BCBDF Time : 0.0 sec. user=mdettweiler [2015-09-11 23:11:24] 999*2^1408971-1 is not prime. Res64: F89F09C7C6AEEA16 Time : 0.0 sec. user=mdettweiler [2015-09-11 23:11:25] 693*2^1408972-1 is not prime. Res64: 020C0C4E0F48EF23 Time : 0.0 sec. user=mdettweiler [2015-09-11 23:15:20] 743*2^1408972-1 is not prime. Res64: CD5E62EFC1437AC7 Time : 0.0 sec. user=mdettweiler [2015-09-11 23:15:21] 777*2^1408972-1 is not prime. Res64: A124385080A3FC8F Time : 0.0 sec. user=mdettweiler [2015-09-11 23:28:48] 855*2^1408972-1 is not prime. Res64: D29953486C7A9FD2 Time : 0.0 sec. user=mdettweiler [2015-09-11 23:28:49] 995*2^1408972-1 is not prime. Res64: 405FD72622E0217C Time : 0.0 sec. user=mdettweiler [2015-09-11 23:28:49] 875*2^1408972-1 is not prime. Res64: 718B702B70990F47 Time : 0.0 sec. user=mdettweiler [2015-09-11 23:28:49] 721*2^1408973-1 is not prime. Res64: E288E2B3B62CE32C Time : 0.0 sec. user=mdettweiler [2015-09-11 23:32:50] 727*2^1408973-1 is not prime. Res64: C9B7070373950995 Time : 0.0 sec. user=mdettweiler [2015-09-11 23:32:50] 771*2^1408973-1 is not prime. Res64: 8EB659A07E1B00BC Time : 0.0 sec. user=mdettweiler [2015-09-11 23:46:13] 615*2^1408974-1 is not prime. Res64: ADD565AB2ABD858E Time : 0.0 sec. user=mdettweiler [2015-09-11 23:46:13] 811*2^1408973-1 is not prime. Res64: 79192D3CD614BE3A Time : 0.0 sec. user=mdettweiler [2015-09-11 23:46:13] 635*2^1408974-1 is not prime. Res64: E5B1566C3120EF6B Time : 0.0 sec. user=mdettweiler [2015-09-11 23:46:13] 605*2^1408974-1 is not prime. Res64: E269FCC0FCE31AA5 Time : 0.0 sec. user=mdettweiler [2015-09-11 23:50:12] 693*2^1408974-1 is not prime. Res64: 88A55E305EE4E8B6 Time : 0.0 sec. user=mdettweiler [2015-09-11 23:50:12] 747*2^1408974-1 is not prime. Res64: 9254A6265BFC326D Time : 0.0 sec.