user=mdettweiler [2016-09-28 00:20:37] 797*2^1441014-1 is not prime. Res64: FCCE58344957A89A Time : 0.0 sec. user=mdettweiler [2016-09-28 00:20:37] 807*2^1441014-1 is not prime. Res64: ECCE487FF6F3BCAA Time : 0.0 sec. user=mdettweiler [2016-09-28 00:20:38] 833*2^1441014-1 is not prime. Res64: A2C21303FDFCAAB6 Time : 0.0 sec. user=mdettweiler [2016-09-28 00:20:38] 947*2^1441014-1 is not prime. Res64: E6BE7A896768D948 Time : 0.0 sec. user=mdettweiler [2016-09-28 00:20:38] 993*2^1441014-1 is not prime. Res64: 4C196984E8B01EF4 Time : 0.0 sec. user=mdettweiler [2016-09-28 00:21:12] 619*2^1441015-1 is not prime. Res64: 1E5B5A6FE7D959CC Time : 0.0 sec. user=mdettweiler [2016-09-28 00:21:12] 651*2^1441015-1 is not prime. Res64: FAD5667346745210 Time : 0.0 sec. user=mdettweiler [2016-09-28 00:21:13] 663*2^1441015-1 is not prime. Res64: 17FE942AC4E7FCA0 Time : 0.0 sec. user=mdettweiler [2016-09-28 00:21:13] 675*2^1441015-1 is not prime. Res64: BFEF8D2BD442BF13 Time : 0.0 sec. user=mdettweiler [2016-09-28 00:21:13] 705*2^1441015-1 is not prime. Res64: 07D868275E43F90F Time : 0.0 sec. user=mdettweiler [2016-09-28 00:21:15] 765*2^1441015-1 is not prime. Res64: 215ECB9F73B91454 Time : 0.0 sec. user=mdettweiler [2016-09-28 00:21:15] 859*2^1441015-1 is not prime. Res64: 1F0F3FFA2C59B536 Time : 0.0 sec. user=mdettweiler [2016-09-28 00:21:16] 939*2^1441015-1 is not prime. Res64: B919FFE145BF79B3 Time : 0.0 sec. user=mdettweiler [2016-09-28 00:21:16] 961*2^1441015-1 is not prime. Res64: F54DE00F30085944 Time : 0.0 sec. user=mdettweiler [2016-09-28 00:21:17] 603*2^1441016-1 is not prime. Res64: 84E9836F84D8323F Time : 0.0 sec. user=mdettweiler [2016-09-28 00:21:43] 699*2^1441016-1 is not prime. Res64: E9EB2F5D6B0A1BF4 Time : 0.0 sec. user=mdettweiler [2016-09-28 00:21:43] 785*2^1441016-1 is not prime. Res64: 5AF805C1E9167D24 Time : 0.0 sec. user=mdettweiler [2016-09-28 00:21:43] 873*2^1441016-1 is not prime. Res64: DF9D6D424B8C9F48 Time : 0.0 sec. user=mdettweiler [2016-09-28 00:21:44] 899*2^1441016-1 is not prime. Res64: 698A2AD69936AB94 Time : 0.0 sec. user=mdettweiler [2016-09-28 00:21:44] 935*2^1441016-1 is not prime. Res64: 941E7CEBBE8B1FA2 Time : 0.0 sec. user=mdettweiler [2016-09-28 01:06:40] 963*2^1441016-1 is not prime. Res64: F5733C91ECD0A4E9 Time : 0.0 sec. user=mdettweiler [2016-09-28 01:06:42] 609*2^1441017-1 is not prime. Res64: 7613A65DD59F865F Time : 0.0 sec. user=mdettweiler [2016-09-28 01:06:43] 651*2^1441017-1 is not prime. Res64: AB7B83D94BCFC0E7 Time : 0.0 sec. user=mdettweiler [2016-09-28 01:06:45] 661*2^1441017-1 is not prime. Res64: 724C9D7495F59F1D Time : 0.0 sec. user=mdettweiler [2016-09-28 01:06:46] 691*2^1441017-1 is not prime. Res64: 308A7C577A573780 Time : 0.0 sec. user=mdettweiler [2016-09-28 01:07:04] 777*2^1441018-1 is not prime. Res64: 0B03548FB4AA1012 Time : 0.0 sec. user=mdettweiler [2016-09-28 01:07:04] 887*2^1441018-1 is not prime. Res64: 730C5F91DAE09A0C Time : 0.0 sec. user=mdettweiler [2016-09-28 01:07:05] 981*2^1441018-1 is not prime. Res64: 56BA70C0D0B127CC Time : 0.0 sec. user=mdettweiler [2016-09-28 01:07:06] 601*2^1441019-1 is not prime. Res64: E04665F73EABD838 Time : 0.0 sec. user=mdettweiler [2016-09-28 01:07:07] 609*2^1441019-1 is not prime. Res64: 1B425E896C803025 Time : 0.0 sec. user=mdettweiler [2016-09-28 01:07:19] 847*2^1441017-1 is not prime. Res64: 6CCF3430AC1460F9 Time : 0.0 sec. user=mdettweiler [2016-09-28 01:07:20] 605*2^1441018-1 is not prime. Res64: EA4048E4EFC44073 Time : 0.0 sec. user=mdettweiler [2016-09-28 01:07:21] 645*2^1441018-1 is not prime. Res64: 42A26349C8D68E5B Time : 0.0 sec. user=mdettweiler [2016-09-28 01:07:22] 651*2^1441018-1 is not prime. Res64: A8A7DB8CB6A24E30 Time : 0.0 sec. user=mdettweiler [2016-09-28 01:07:23] 723*2^1441018-1 is not prime. Res64: CE04691684403460 Time : 0.0 sec. user=mdettweiler [2016-09-28 01:07:46] 711*2^1441019-1 is not prime. Res64: D32ECFAAB3AA931F Time : 0.0 sec. user=mdettweiler [2016-09-28 01:07:47] 861*2^1441019-1 is not prime. Res64: 32DA8D8DDBCD49E2 Time : 0.0 sec. user=mdettweiler [2016-09-28 01:07:49] 913*2^1441019-1 is not prime. Res64: F7C25D99D1ED3B34 Time : 0.0 sec. user=mdettweiler [2016-09-28 01:07:50] 921*2^1441019-1 is not prime. Res64: 0C73B0250CF34055 Time : 0.0 sec. user=mdettweiler [2016-09-28 01:07:51] 955*2^1441019-1 is not prime. Res64: 229623958237E954 Time : 0.0 sec. user=mdettweiler [2016-09-28 01:53:31] 669*2^1441020-1 is not prime. Res64: 4D9821523DBA823E Time : 0.0 sec. user=mdettweiler [2016-09-28 01:53:32] 693*2^1441020-1 is not prime. Res64: 812F065387B75FCB Time : 0.0 sec. user=mdettweiler [2016-09-28 01:53:32] 759*2^1441020-1 is not prime. Res64: A21FD2C03A97D4F9 Time : 0.0 sec. user=mdettweiler [2016-09-28 01:53:33] 803*2^1441020-1 is not prime. Res64: C8836CC088D9F06E Time : 0.0 sec. user=mdettweiler [2016-09-28 01:53:33] 839*2^1441020-1 is not prime. Res64: D4BC47AF71D8A2C5 Time : 0.0 sec. user=mdettweiler [2016-09-28 01:53:51] 899*2^1441020-1 is not prime. Res64: 3B462865FFC87EA1 Time : 0.0 sec. user=mdettweiler [2016-09-28 01:53:51] 681*2^1441021-1 is not prime. Res64: 1F33CF31F09BB06F Time : 0.0 sec. user=mdettweiler [2016-09-28 01:53:52] 691*2^1441021-1 is not prime. Res64: F2EBE9DD7E9239BF Time : 0.0 sec. user=mdettweiler [2016-09-28 01:53:52] 789*2^1441021-1 is not prime. Res64: D7E494A2960A42FC Time : 0.0 sec. user=mdettweiler [2016-09-28 01:53:53] 805*2^1441021-1 is not prime. Res64: E40FBFD86FDCC59E Time : 0.0 sec. user=mdettweiler [2016-09-28 01:54:05] 861*2^1441021-1 is not prime. Res64: F78E737AC6A9825C Time : 0.0 sec. user=mdettweiler [2016-09-28 01:54:05] 867*2^1441021-1 is not prime. Res64: 77A02E3B27D616B3 Time : 0.0 sec. user=mdettweiler [2016-09-28 01:54:06] 871*2^1441021-1 is not prime. Res64: 72FE63E929D907E2 Time : 0.0 sec. user=mdettweiler [2016-09-28 01:54:06] 901*2^1441021-1 is not prime. Res64: FB4DFE7D070C1D39 Time : 0.0 sec. user=mdettweiler [2016-09-28 01:54:06] 755*2^1441022-1 is not prime. Res64: 271FAC0BC7A8B45A Time : 0.0 sec. user=mdettweiler [2016-09-28 01:54:47] 857*2^1441022-1 is not prime. Res64: 6D0425BE122F0399 Time : 0.0 sec. user=mdettweiler [2016-09-28 01:54:47] 615*2^1441023-1 is not prime. Res64: 849616E67EBA380F Time : 0.0 sec. user=mdettweiler [2016-09-28 01:54:48] 775*2^1441023-1 is not prime. Res64: 0CDFD55AEED31A56 Time : 0.0 sec. user=mdettweiler [2016-09-28 01:54:48] 783*2^1441023-1 is not prime. Res64: F308B5DFDAA32ADE Time : 0.0 sec. user=mdettweiler [2016-09-28 01:54:49] 985*2^1441023-1 is not prime. Res64: 7111BE6A3CF96D1B Time : 0.0 sec. user=mdettweiler [2016-09-28 02:39:17] 635*2^1441024-1 is not prime. Res64: 71DD5761F70DFEBF Time : 0.0 sec. user=mdettweiler [2016-09-28 02:39:19] 855*2^1441024-1 is not prime. Res64: 82638F5B95C30019 Time : 0.0 sec. user=mdettweiler [2016-09-28 02:39:20] 875*2^1441024-1 is not prime. Res64: DB092F4DFE62FDCE Time : 0.0 sec. user=mdettweiler [2016-09-28 02:39:21] 923*2^1441024-1 is not prime. Res64: E644F470F3B37300 Time : 0.0 sec. user=mdettweiler [2016-09-28 02:39:22] 939*2^1441024-1 is not prime. Res64: 2ACC084BDB06C105 Time : 0.0 sec. user=mdettweiler [2016-09-28 02:39:28] 947*2^1441024-1 is not prime. Res64: EBD26AEEDA5793DE Time : 0.0 sec. user=mdettweiler [2016-09-28 02:39:29] 607*2^1441025-1 is not prime. Res64: 18E78475A40965D7 Time : 0.0 sec. user=mdettweiler [2016-09-28 02:39:30] 679*2^1441025-1 is not prime. Res64: 0B2A512895774AC3 Time : 0.0 sec. user=mdettweiler [2016-09-28 02:39:31] 699*2^1441025-1 is not prime. Res64: 5953DF74748A28B5 Time : 0.0 sec. user=mdettweiler [2016-09-28 02:39:33] 715*2^1441025-1 is not prime. Res64: FFF854721C2AAC10 Time : 0.0 sec. user=mdettweiler [2016-09-28 02:39:46] 759*2^1441025-1 is not prime. Res64: 4FDF4985E61D619F Time : 0.0 sec. user=mdettweiler [2016-09-28 02:39:47] 771*2^1441025-1 is not prime. Res64: 2ACD114934A559A5 Time : 0.0 sec. user=mdettweiler [2016-09-28 02:39:48] 837*2^1441025-1 is not prime. Res64: 2B9395B4AAC772E7 Time : 0.0 sec. user=mdettweiler [2016-09-28 02:39:49] 633*2^1441026-1 is not prime. Res64: 13DA8B325F53D749 Time : 0.0 sec. user=mdettweiler [2016-09-28 02:39:49] 821*2^1441026-1 is not prime. Res64: F9E7D692D7703114 Time : 0.0 sec. user=mdettweiler [2016-09-28 02:40:32] 945*2^1441026-1 is not prime. Res64: 9BAC1AFC919561C7 Time : 0.0 sec. user=mdettweiler [2016-09-28 02:40:32] 1001*2^1441026-1 is not prime. Res64: AAC2396287EC6C48 Time : 0.0 sec. user=mdettweiler [2016-09-28 02:40:33] 609*2^1441027-1 is not prime. Res64: 74B1B710CC4AF1EB Time : 0.0 sec. user=mdettweiler [2016-09-28 02:40:34] 691*2^1441027-1 is not prime. Res64: FA0E7941AA526F97 Time : 0.0 sec. user=mdettweiler [2016-09-28 02:40:35] 775*2^1441027-1 is not prime. Res64: C8FA79DEAE5430CA Time : 0.0 sec. user=mdettweiler [2016-09-28 03:25:06] 741*2^1441029-1 is not prime. Res64: 88F2D75E57E8899C Time : 0.0 sec. user=mdettweiler [2016-09-28 03:25:08] 745*2^1441029-1 is not prime. Res64: 32E024E6D170DF35 Time : 0.0 sec. user=mdettweiler [2016-09-28 03:25:08] 781*2^1441029-1 is not prime. Res64: 7E6973BE6B7DE6D0 Time : 0.0 sec. user=mdettweiler [2016-09-28 03:25:09] 847*2^1441029-1 is not prime. Res64: DFC50055127C9154 Time : 0.0 sec. user=mdettweiler [2016-09-28 03:25:10] 889*2^1441029-1 is not prime. Res64: 8EBA6E7BD41FB11E Time : 0.0 sec. user=mdettweiler [2016-09-28 03:25:11] 975*2^1441027-1 is not prime. Res64: 6AD2050FB56C7429 Time : 0.0 sec. user=mdettweiler [2016-09-28 03:25:12] 753*2^1441028-1 is not prime. Res64: 75122C3BEBFDC6DD Time : 0.0 sec. user=mdettweiler [2016-09-28 03:25:14] 845*2^1441028-1 is not prime. Res64: F0128EADB8EB54C3 Time : 0.0 sec. user=mdettweiler [2016-09-28 03:25:15] 957*2^1441028-1 is not prime. Res64: 741856B134192913 Time : 0.0 sec. user=mdettweiler [2016-09-28 03:25:16] 963*2^1441028-1 is not prime. Res64: E1F3D22138F4575D Time : 0.0 sec. user=mdettweiler [2016-09-28 03:25:23] 891*2^1441029-1 is not prime. Res64: B5D338DBF9DFB8E9 Time : 0.0 sec. user=mdettweiler [2016-09-28 03:25:24] 895*2^1441029-1 is not prime. Res64: 0A66D6E478947B8A Time : 0.0 sec. user=mdettweiler [2016-09-28 03:25:25] 951*2^1441029-1 is not prime. Res64: B42781929E49A32D Time : 0.0 sec. user=mdettweiler [2016-09-28 03:25:25] 653*2^1441030-1 is not prime. Res64: 337BB11988167926 Time : 0.0 sec. user=mdettweiler [2016-09-28 03:25:26] 723*2^1441030-1 is not prime. Res64: F1D2B499559DF3BA Time : 0.0 sec. user=mdettweiler [2016-09-28 03:26:16] 731*2^1441030-1 is not prime. Res64: 467FDBB7EE1A0593 Time : 0.0 sec. user=mdettweiler [2016-09-28 03:26:17] 743*2^1441030-1 is not prime. Res64: 5DBE88908BF125CD Time : 0.0 sec. user=mdettweiler [2016-09-28 03:26:17] 777*2^1441030-1 is not prime. Res64: 1F2E8510B7E8861E Time : 0.0 sec. user=mdettweiler [2016-09-28 03:26:18] 843*2^1441030-1 is not prime. Res64: 383126A68B3B4DC3 Time : 0.0 sec. user=mdettweiler [2016-09-28 03:26:19] 885*2^1441030-1 is not prime. Res64: 2AF97049482C1D4B Time : 0.0 sec. user=mdettweiler [2016-09-28 04:10:47] 891*2^1441030-1 is not prime. Res64: FD1012F05DCB195E Time : 0.0 sec. user=mdettweiler [2016-09-28 04:10:48] 945*2^1441030-1 is not prime. Res64: 353BB3C5CA454714 Time : 0.0 sec. user=mdettweiler [2016-09-28 04:10:48] 619*2^1441031-1 is not prime. Res64: 5C7AC0961D3BB4D1 Time : 0.0 sec. user=mdettweiler [2016-09-28 04:10:49] 661*2^1441031-1 is not prime. Res64: 6E6B2CE906FBD3F8 Time : 0.0 sec. user=mdettweiler [2016-09-28 04:10:49] 675*2^1441031-1 is not prime. Res64: DB97097A6BC56853 Time : 0.0 sec. user=mdettweiler [2016-09-28 04:11:02] 649*2^1441033-1 is not prime. Res64: 4CE4837A835B3F53 Time : 0.0 sec. user=mdettweiler [2016-09-28 04:11:02] 685*2^1441033-1 is not prime. Res64: 47BBCD6A502D0DCC Time : 0.0 sec. user=mdettweiler [2016-09-28 04:11:03] 751*2^1441033-1 is not prime. Res64: 73060D9040BDD2D8 Time : 0.0 sec. user=mdettweiler [2016-09-28 04:11:03] 805*2^1441033-1 is not prime. Res64: 4DA7AB2862C6C5A6 Time : 0.0 sec. user=mdettweiler [2016-09-28 04:11:03] 817*2^1441033-1 is not prime. Res64: F7EF87FDAA844F32 Time : 0.0 sec. user=mdettweiler [2016-09-28 04:11:10] 715*2^1441031-1 is not prime. Res64: 8A3EF8ADD9D87910 Time : 0.0 sec. user=mdettweiler [2016-09-28 04:11:10] 841*2^1441031-1 is not prime. Res64: 3D8F69D48E2D41F8 Time : 0.0 sec. user=mdettweiler [2016-09-28 04:11:11] 699*2^1441032-1 is not prime. Res64: 7DF03166FD24BE6A Time : 0.0 sec. user=mdettweiler [2016-09-28 04:11:11] 857*2^1441032-1 is not prime. Res64: C7F74A764E855DC2 Time : 0.0 sec. user=mdettweiler [2016-09-28 04:11:12] 903*2^1441032-1 is not prime. Res64: 087C495BA9A82E34 Time : 0.0 sec. user=mdettweiler [2016-09-28 04:11:51] 861*2^1441033-1 is not prime. Res64: 53F837C0B8A72E62 Time : 0.0 sec. user=mdettweiler [2016-09-28 04:11:51] 877*2^1441033-1 is not prime. Res64: 6091C1E692388968 Time : 0.0 sec. user=mdettweiler [2016-09-28 04:11:52] 885*2^1441033-1 is not prime. Res64: 0BD2F162C7B4C0E1 Time : 0.0 sec. user=mdettweiler [2016-09-28 04:11:52] 945*2^1441033-1 is not prime. Res64: AFF68F38FB067755 Time : 0.0 sec. user=mdettweiler [2016-09-28 04:11:52] 615*2^1441034-1 is not prime. Res64: C0ED5A43FC32DE92 Time : 0.0 sec. user=mdettweiler [2016-09-28 04:56:04] 705*2^1441034-1 is not prime. Res64: ECF0A91EA688D808 Time : 0.0 sec. user=mdettweiler [2016-09-28 04:56:05] 797*2^1441034-1 is not prime. Res64: 28EF83C0E79A5B1E Time : 0.0 sec. user=mdettweiler [2016-09-28 04:56:05] 917*2^1441034-1 is not prime. Res64: 7B3B45F9B4ED3A58 Time : 0.0 sec. user=mdettweiler [2016-09-28 04:56:06] 981*2^1441034-1 is not prime. Res64: 057345A1E452D5D4 Time : 0.0 sec. user=mdettweiler [2016-09-28 04:56:06] 983*2^1441034-1 is not prime. Res64: 3BF81C6A96FF22E4 Time : 0.0 sec. user=mdettweiler [2016-09-28 04:56:11] 609*2^1441035-1 is not prime. Res64: F830D7B53AC4AF40 Time : 0.0 sec. user=mdettweiler [2016-09-28 04:56:11] 625*2^1441035-1 is not prime. Res64: 7CCD79674F2E63B3 Time : 0.0 sec. user=mdettweiler [2016-09-28 04:56:12] 795*2^1441035-1 is not prime. Res64: 4B089CB9E0FA9825 Time : 0.0 sec. user=mdettweiler [2016-09-28 04:56:12] 823*2^1441035-1 is not prime. Res64: 63E17B61E79E3A0C Time : 0.0 sec. user=mdettweiler [2016-09-28 04:56:13] 849*2^1441035-1 is not prime. Res64: CBD104BD1157B5F1 Time : 0.0 sec. user=mdettweiler [2016-09-28 04:56:15] 921*2^1441035-1 is not prime. Res64: 242E9C971CBAB901 Time : 0.0 sec. user=mdettweiler [2016-09-28 04:56:16] 951*2^1441035-1 is not prime. Res64: C2C2CA1E69346C4E Time : 0.0 sec. user=mdettweiler [2016-09-28 04:56:16] 963*2^1441035-1 is not prime. Res64: B932824C8BA1E326 Time : 0.0 sec. user=mdettweiler [2016-09-28 04:56:16] 639*2^1441036-1 is not prime. Res64: 666A1A32A8A94E77 Time : 0.0 sec. user=mdettweiler [2016-09-28 04:56:17] 717*2^1441036-1 is not prime. Res64: DAB54D630C439CC0 Time : 0.0 sec. user=mdettweiler [2016-09-28 04:57:11] 755*2^1441036-1 is not prime. Res64: A0384BED7297AC66 Time : 0.0 sec. user=mdettweiler [2016-09-28 04:57:11] 813*2^1441036-1 is not prime. Res64: 7239CF646E8EB360 Time : 0.0 sec. user=mdettweiler [2016-09-28 04:57:12] 843*2^1441036-1 is not prime. Res64: EE3EF4123A776F7A Time : 0.0 sec. user=mdettweiler [2016-09-28 04:57:12] 899*2^1441036-1 is not prime. Res64: EA302313245968C0 Time : 0.0 sec. user=mdettweiler [2016-09-28 04:57:12] 933*2^1441036-1 is not prime. Res64: C412A7786EF97DA3 Time : 0.0 sec. user=mdettweiler [2016-09-28 05:41:22] 879*2^1441037-1 is not prime. Res64: 9A8721C5FFD0363B Time : 0.0 sec. user=mdettweiler [2016-09-28 05:41:23] 937*2^1441037-1 is not prime. Res64: D37EFD511A2BE0BD Time : 0.0 sec. user=mdettweiler [2016-09-28 05:41:23] 605*2^1441038-1 is not prime. Res64: D0A182B9F2D433ED Time : 0.0 sec. user=mdettweiler [2016-09-28 05:41:23] 677*2^1441038-1 is not prime. Res64: 54A4B0FFC8C7B4B7 Time : 0.0 sec. user=mdettweiler [2016-09-28 05:41:24] 713*2^1441038-1 is not prime. Res64: 2CEA5DAC13AD915A Time : 0.0 sec. user=mdettweiler [2016-09-28 05:41:24] 965*2^1441036-1 is not prime. Res64: 3288589B1D602FAA Time : 0.0 sec. user=mdettweiler [2016-09-28 05:41:25] 601*2^1441037-1 is not prime. Res64: D2692FE518459322 Time : 0.0 sec. user=mdettweiler [2016-09-28 05:41:25] 759*2^1441037-1 is not prime. Res64: D1A7AC172C13E3D7 Time : 0.0 sec. user=mdettweiler [2016-09-28 05:41:26] 825*2^1441037-1 is not prime. Res64: 2A85598CDDDEE9B5 Time : 0.0 sec. user=mdettweiler [2016-09-28 05:41:26] 829*2^1441037-1 is not prime. Res64: 3BDA7049B302E96F Time : 0.0 sec. user=mdettweiler [2016-09-28 05:41:37] 893*2^1441038-1 is not prime. Res64: 06CD8F25F966A866 Time : 0.0 sec. user=mdettweiler [2016-09-28 05:41:37] 971*2^1441038-1 is not prime. Res64: E9C542C3FB6AB77E Time : 0.0 sec. user=mdettweiler [2016-09-28 05:41:38] 675*2^1441039-1 is not prime. Res64: ADA1128A151D23C7 Time : 0.0 sec. user=mdettweiler [2016-09-28 05:41:38] 843*2^1441039-1 is not prime. Res64: AD7D9298B0527113 Time : 0.0 sec. user=mdettweiler [2016-09-28 05:41:38] 885*2^1441039-1 is not prime. Res64: B52C18C912979BEA Time : 0.0 sec. user=mdettweiler [2016-09-28 05:42:27] 913*2^1441039-1 is not prime. Res64: 864FA03381219263 Time : 0.0 sec. user=mdettweiler [2016-09-28 05:42:27] 993*2^1441039-1 is not prime. Res64: 6E72BC925EF54EBF Time : 0.0 sec. user=mdettweiler [2016-09-28 05:42:28] 603*2^1441040-1 is not prime. Res64: 5012631B3838B5CE Time : 0.0 sec. user=mdettweiler [2016-09-28 05:42:28] 635*2^1441040-1 is not prime. Res64: 38740AE9F71E828F Time : 0.0 sec. user=mdettweiler [2016-09-28 05:42:28] 879*2^1441040-1 is not prime. Res64: 4D7093D58147A609 Time : 0.0 sec. user=mdettweiler [2016-09-28 06:26:30] 927*2^1441040-1 is not prime. Res64: 59FB0F9A5241A2DF Time : 0.0 sec. user=mdettweiler [2016-09-28 06:26:31] 609*2^1441041-1 is not prime. Res64: 6CBAD3EB1E0B449C Time : 0.0 sec. user=mdettweiler [2016-09-28 06:26:31] 651*2^1441041-1 is not prime. Res64: 82C80A8B7CD9FAB2 Time : 0.0 sec. user=mdettweiler [2016-09-28 06:26:32] 739*2^1441041-1 is not prime. Res64: 812AB28306EBEAD8 Time : 0.0 sec. user=mdettweiler [2016-09-28 06:26:32] 909*2^1441041-1 is not prime. Res64: 482FEEB34130079F Time : 0.0 sec. user=mdettweiler [2016-09-28 06:26:33] 991*2^1441041-1 is not prime. Res64: 6C09CF4823DC7858 Time : 0.0 sec. user=mdettweiler [2016-09-28 06:26:33] 777*2^1441042-1 is not prime. Res64: 87D81C2DAD31B7D1 Time : 0.0 sec. user=mdettweiler [2016-09-28 06:26:33] 813*2^1441042-1 is not prime. Res64: 27A146E2085F8676 Time : 0.0 sec. user=mdettweiler [2016-09-28 06:26:34] 815*2^1441042-1 is not prime. Res64: 408C9A299181C94F Time : 0.0 sec. user=mdettweiler [2016-09-28 06:26:34] 951*2^1441042-1 is not prime. Res64: D9158F20E1BEC1E5 Time : 0.0 sec. user=mdettweiler [2016-09-28 06:26:52] 995*2^1441042-1 is not prime. Res64: 76C7F81BFD2681E2 Time : 0.0 sec. user=mdettweiler [2016-09-28 06:26:52] 859*2^1441043-1 is not prime. Res64: 1D84CF1C3135AB58 Time : 0.0 sec. user=mdettweiler [2016-09-28 06:26:53] 889*2^1441043-1 is not prime. Res64: 969EE43EB156126D Time : 0.0 sec. user=mdettweiler [2016-09-28 06:26:53] 615*2^1441044-1 is not prime. Res64: A516F97E3E82A3C5 Time : 0.0 sec. user=mdettweiler [2016-09-28 06:26:54] 627*2^1441044-1 is not prime. Res64: 35986E8D21768FFC Time : 0.0 sec. user=mdettweiler [2016-09-28 06:27:44] 629*2^1441044-1 is not prime. Res64: B62BC81C0039D444 Time : 0.0 sec. user=mdettweiler [2016-09-28 06:27:45] 663*2^1441044-1 is not prime. Res64: 31D188A753114A67 Time : 0.0 sec. user=mdettweiler [2016-09-28 06:27:46] 689*2^1441044-1 is not prime. Res64: 6665DA3AC12C6722 Time : 0.0 sec. user=mdettweiler [2016-09-28 06:27:47] 765*2^1441044-1 is not prime. Res64: CEF58F8CDBF4A36C Time : 0.0 sec. user=mdettweiler [2016-09-28 06:27:48] 789*2^1441044-1 is not prime. Res64: 3D08BABF944DC2D7 Time : 0.0 sec. user=mdettweiler [2016-09-28 07:11:53] 827*2^1441046-1 is not prime. Res64: F996BA63C64DFD10 Time : 0.0 sec. user=mdettweiler [2016-09-28 07:11:53] 873*2^1441046-1 is not prime. Res64: 5790794F0A04639F Time : 0.0 sec. user=mdettweiler [2016-09-28 07:11:54] 685*2^1441047-1 is not prime. Res64: E1F46C0750EA1A75 Time : 0.0 sec. user=mdettweiler [2016-09-28 07:11:54] 651*2^1441045-1 is not prime. Res64: 90C45FDC82E37D8D Time : 0.0 sec. user=mdettweiler [2016-09-28 07:11:54] 885*2^1441047-1 is not prime. Res64: EB6DF782924E4277 Time : 0.0 sec. user=mdettweiler [2016-09-28 07:11:54] 775*2^1441045-1 is not prime. Res64: 981CFB3F10998296 Time : 0.0 sec. user=mdettweiler [2016-09-28 07:11:54] 963*2^1441047-1 is not prime. Res64: 6A7B13FF9E2079B3 Time : 0.0 sec. user=mdettweiler [2016-09-28 07:11:54] 859*2^1441045-1 is not prime. Res64: AFDFB9F225CA5DB1 Time : 0.0 sec. user=mdettweiler [2016-09-28 07:11:55] 895*2^1441045-1 is not prime. Res64: 96684C6357989A5C Time : 0.0 sec. user=mdettweiler [2016-09-28 07:11:55] 623*2^1441046-1 is not prime. Res64: 6DD3C9292184733D Time : 0.0 sec. user=mdettweiler [2016-09-28 07:12:08] 803*2^1441044-1 is not prime. Res64: 055AF2FF0BF9DC32 Time : 0.0 sec. user=mdettweiler [2016-09-28 07:12:09] 887*2^1441044-1 is not prime. Res64: F9BEAF5618136FBC Time : 0.0 sec. user=mdettweiler [2016-09-28 07:12:09] 893*2^1441044-1 is not prime. Res64: EE5FF2DFA39A2F20 Time : 0.0 sec. user=mdettweiler [2016-09-28 07:12:09] 987*2^1441044-1 is not prime. Res64: 301669EDE4B18071 Time : 0.0 sec. user=mdettweiler [2016-09-28 07:12:10] 645*2^1441045-1 is not prime. Res64: DF8B9886F6415B0F Time : 0.0 sec. user=mdettweiler [2016-09-28 07:13:10] 765*2^1441048-1 is not prime. Res64: E30588E0AC221261 Time : 0.0 sec. user=mdettweiler [2016-09-28 07:13:11] 797*2^1441048-1 is not prime. Res64: AD523492F1AE263F Time : 0.0 sec. user=mdettweiler [2016-09-28 07:13:11] 863*2^1441048-1 is not prime. Res64: 945B6301E82B6262 Time : 0.0 sec. user=mdettweiler [2016-09-28 07:13:11] 875*2^1441048-1 is not prime. Res64: 2DAE4066441C5B09 Time : 0.0 sec. user=mdettweiler [2016-09-28 07:13:12] 923*2^1441048-1 is not prime. Res64: 16FA5921E9C01399 Time : 0.0 sec. user=mdettweiler [2016-09-28 07:57:00] 999*2^1441048-1 is not prime. Res64: 96D6F308BB5CBD0D Time : 0.0 sec. user=mdettweiler [2016-09-28 07:57:01] 615*2^1441049-1 is not prime. Res64: 8927CF23A82868AA Time : 0.0 sec. user=mdettweiler [2016-09-28 07:57:01] 645*2^1441049-1 is not prime. Res64: 0F61BC239370E4C9 Time : 0.0 sec. user=mdettweiler [2016-09-28 07:57:02] 697*2^1441049-1 is not prime. Res64: 1DC698FEB840CF20 Time : 0.0 sec. user=mdettweiler [2016-09-28 07:57:02] 745*2^1441049-1 is not prime. Res64: C4DED61C6A84BF26 Time : 0.0 sec. user=mdettweiler [2016-09-28 07:57:16] 711*2^1441050-1 is not prime. Res64: 7B00A8A41714F0F6 Time : 0.0 sec. user=mdettweiler [2016-09-28 07:57:16] 767*2^1441050-1 is not prime. Res64: 99F1AFACD72DE479 Time : 0.0 sec. user=mdettweiler [2016-09-28 07:57:16] 801*2^1441050-1 is not prime. Res64: 137AF77C223DB58B Time : 0.0 sec. user=mdettweiler [2016-09-28 07:57:17] 843*2^1441050-1 is not prime. Res64: 689F82211E285EBA Time : 0.0 sec. user=mdettweiler [2016-09-28 07:57:17] 875*2^1441050-1 is not prime. Res64: FFCB80733A59DFFC Time : 0.0 sec. user=mdettweiler [2016-09-28 07:57:31] 841*2^1441049-1 is not prime. Res64: BA3F3A7104106DEF Time : 0.0 sec. user=mdettweiler [2016-09-28 07:57:32] 861*2^1441049-1 is not prime. Res64: 649BBC1D4426B5B3 Time : 0.0 sec. user=mdettweiler [2016-09-28 07:57:32] 879*2^1441049-1 is not prime. Res64: 72789C767BF7B8DE Time : 0.0 sec. user=mdettweiler [2016-09-28 07:57:32] 951*2^1441049-1 is not prime. Res64: A96012767119C4E9 Time : 0.0 sec. user=mdettweiler [2016-09-28 07:57:33] 967*2^1441049-1 is not prime. Res64: FB90EEF19BE82A50 Time : 0.0 sec. user=mdettweiler [2016-09-28 07:58:26] 905*2^1441050-1 is not prime. Res64: EC3410E1B0595B4D Time : 0.0 sec. user=mdettweiler [2016-09-28 07:58:27] 663*2^1441051-1 is not prime. Res64: D8F4A596813983BD Time : 0.0 sec. user=mdettweiler [2016-09-28 07:58:27] 849*2^1441051-1 is not prime. Res64: F8488CE01D994655 Time : 0.0 sec. user=mdettweiler [2016-09-28 07:58:28] 871*2^1441051-1 is not prime. Res64: 70AE65C827FE7B69 Time : 0.0 sec. user=mdettweiler [2016-09-28 07:58:28] 961*2^1441051-1 is not prime. Res64: 83134FC0E034FC54 Time : 0.0 sec. user=mdettweiler [2016-09-28 08:42:08] 605*2^1441052-1 is not prime. Res64: F2F36CAB21A55D93 Time : 0.0 sec. user=mdettweiler [2016-09-28 08:42:09] 657*2^1441052-1 is not prime. Res64: 454ECF5A7ECB1BA9 Time : 0.0 sec. user=mdettweiler [2016-09-28 08:42:09] 677*2^1441052-1 is not prime. Res64: B27719D5EF3E8A97 Time : 0.0 sec. user=mdettweiler [2016-09-28 08:42:09] 867*2^1441052-1 is not prime. Res64: 418402C0F34B0607 Time : 0.0 sec. user=mdettweiler [2016-09-28 08:42:10] 873*2^1441052-1 is not prime. Res64: 92A385DBE606F74E Time : 0.0 sec. user=mdettweiler [2016-09-28 08:42:23] 621*2^1441053-1 is not prime. Res64: EC17E7B09D96A27D Time : 0.0 sec. user=mdettweiler [2016-09-28 08:42:24] 649*2^1441053-1 is not prime. Res64: FF40879C0F5A5985 Time : 0.0 sec. user=mdettweiler [2016-09-28 08:42:24] 651*2^1441053-1 is not prime. Res64: D2539B590E2BDCA5 Time : 0.0 sec. user=mdettweiler [2016-09-28 08:42:24] 745*2^1441053-1 is not prime. Res64: 472E79B2851BA65A Time : 0.0 sec. user=mdettweiler [2016-09-28 08:42:25] 867*2^1441053-1 is not prime. Res64: DB77C3C622795BD8 Time : 0.0 sec. user=mdettweiler [2016-09-28 08:42:34] 605*2^1441054-1 is not prime. Res64: 28382AEB264C1B5A Time : 0.0 sec. user=mdettweiler [2016-09-28 08:42:35] 611*2^1441054-1 is not prime. Res64: D12982ED2B12737B Time : 0.0 sec. user=mdettweiler [2016-09-28 08:42:35] 665*2^1441054-1 is not prime. Res64: 3F27C8242726BA6D Time : 0.0 sec. user=mdettweiler [2016-09-28 08:42:35] 813*2^1441054-1 is not prime. Res64: 031B7270A45616A5 Time : 0.0 sec. user=mdettweiler [2016-09-28 08:42:36] 857*2^1441054-1 is not prime. Res64: 418114C645B40403 Time : 0.0 sec. user=mdettweiler [2016-09-28 08:43:37] 881*2^1441054-1 is not prime. Res64: D3FC17AF07C50095 Time : 0.0 sec. user=mdettweiler [2016-09-28 08:43:38] 885*2^1441054-1 is not prime. Res64: 579418C367DCD1A4 Time : 0.0 sec. user=mdettweiler [2016-09-28 08:43:38] 903*2^1441054-1 is not prime. Res64: 432BC258D2A8507F Time : 0.0 sec. user=mdettweiler [2016-09-28 08:43:38] 975*2^1441054-1 is not prime. Res64: 3C8290E705B6F264 Time : 0.0 sec. user=mdettweiler [2016-09-28 08:43:39] 643*2^1441055-1 is not prime. Res64: 67EAEBE15C4F3CF7 Time : 0.0 sec. user=mdettweiler [2016-09-28 09:27:30] 721*2^1441055-1 is not prime. Res64: 2237FD9367FA8E70 Time : 0.0 sec. user=mdettweiler [2016-09-28 09:27:30] 939*2^1441055-1 is not prime. Res64: DEBE013B4408A093 Time : 0.0 sec. user=mdettweiler [2016-09-28 09:27:31] 985*2^1441055-1 is not prime. Res64: 64DF9D26CBA99FD5 Time : 0.0 sec. user=mdettweiler [2016-09-28 09:27:31] 627*2^1441056-1 is not prime. Res64: 629BE9CA290393CA Time : 0.0 sec. user=mdettweiler [2016-09-28 09:27:31] 765*2^1441056-1 is not prime. Res64: 918AF5309C9EFB6A Time : 0.0 sec. user=mdettweiler [2016-09-28 09:27:36] 875*2^1441056-1 is not prime. Res64: 1EF2CD3884EF4C41 Time : 0.0 sec. user=mdettweiler [2016-09-28 09:27:36] 903*2^1441056-1 is not prime. Res64: 45831497D229B5A0 Time : 0.0 sec. user=mdettweiler [2016-09-28 09:27:37] 945*2^1441056-1 is not prime. Res64: E3C0BEC29D550397 Time : 0.0 sec. user=mdettweiler [2016-09-28 09:27:37] 999*2^1441056-1 is not prime. Res64: 07482250C2AB9C9F Time : 0.0 sec. user=mdettweiler [2016-09-28 09:27:38] 609*2^1441057-1 is not prime. Res64: A73C2457312C38FE Time : 0.0 sec. user=mdettweiler [2016-09-28 09:27:51] 615*2^1441057-1 is not prime. Res64: E5550DEBA9886D38 Time : 0.0 sec. user=mdettweiler [2016-09-28 09:27:51] 747*2^1441057-1 is not prime. Res64: 2F3C259CF41C7D33 Time : 0.0 sec. user=mdettweiler [2016-09-28 09:27:52] 847*2^1441057-1 is not prime. Res64: 6258D9144E75C2E8 Time : 0.0 sec. user=mdettweiler [2016-09-28 09:27:52] 915*2^1441057-1 is not prime. Res64: 7DBFB4112FBA80E9 Time : 0.0 sec. user=mdettweiler [2016-09-28 09:27:53] 997*2^1441057-1 is not prime. Res64: DD8C5294146B7EC0 Time : 0.0 sec. user=mdettweiler [2016-09-28 09:28:55] 641*2^1441058-1 is not prime. Res64: 0519292A2B5208F5 Time : 0.0 sec. user=mdettweiler [2016-09-28 09:28:55] 683*2^1441058-1 is not prime. Res64: 798B8E2D78E073FF Time : 0.0 sec. user=mdettweiler [2016-09-28 09:28:56] 713*2^1441058-1 is not prime. Res64: 39D71D474798D4FF Time : 0.0 sec. user=mdettweiler [2016-09-28 09:28:56] 813*2^1441058-1 is not prime. Res64: 0C1EC3B8AD2F7916 Time : 0.0 sec. user=mdettweiler [2016-09-28 09:28:56] 887*2^1441058-1 is not prime. Res64: D5D827CBC9AB7E2C Time : 0.0 sec. user=mdettweiler [2016-09-28 10:12:56] 963*2^1441058-1 is not prime. Res64: AAB833430B90BDA9 Time : 0.0 sec. user=mdettweiler [2016-09-28 10:12:56] 663*2^1441059-1 is not prime. Res64: 0DB27D6A0AFACDA7 Time : 0.0 sec. user=mdettweiler [2016-09-28 10:12:57] 691*2^1441059-1 is not prime. Res64: FD75534565E4A822 Time : 0.0 sec. user=mdettweiler [2016-09-28 10:12:57] 753*2^1441059-1 is not prime. Res64: 385E14EAF88B8287 Time : 0.0 sec. user=mdettweiler [2016-09-28 10:12:57] 873*2^1441059-1 is not prime. Res64: 4D448A6E8E995669 Time : 0.0 sec. user=mdettweiler [2016-09-28 10:13:06] 961*2^1441059-1 is not prime. Res64: F03D55504785F07E Time : 0.0 sec. user=mdettweiler [2016-09-28 10:13:07] 985*2^1441059-1 is not prime. Res64: 6615AC225CA3F418 Time : 0.0 sec. user=mdettweiler [2016-09-28 10:13:07] 603*2^1441060-1 is not prime. Res64: 90594E8F44F11DE0 Time : 0.0 sec. user=mdettweiler [2016-09-28 10:13:07] 719*2^1441060-1 is not prime. Res64: 97E3184875154556 Time : 0.0 sec. user=mdettweiler [2016-09-28 10:13:08] 785*2^1441060-1 is not prime. Res64: CE9A49F375333ADB Time : 0.0 sec. user=mdettweiler [2016-09-28 10:13:18] 797*2^1441060-1 is not prime. Res64: 1CB6C91A1B69B227 Time : 0.0 sec. user=mdettweiler [2016-09-28 10:13:18] 873*2^1441060-1 is not prime. Res64: 6E412B698A5667F6 Time : 0.0 sec. user=mdettweiler [2016-09-28 10:13:19] 887*2^1441060-1 is not prime. Res64: B91162E4F5DF2486 Time : 0.0 sec. user=mdettweiler [2016-09-28 10:13:19] 939*2^1441060-1 is not prime. Res64: D7B2F29B9441CF54 Time : 0.0 sec. user=mdettweiler [2016-09-28 10:13:20] 747*2^1441061-1 is not prime. Res64: 3A08D5583DCF4BEB Time : 0.0 sec. user=mdettweiler [2016-09-28 10:14:22] 799*2^1441061-1 is not prime. Res64: 8BF2A6337E064E5C Time : 0.0 sec. user=mdettweiler [2016-09-28 10:14:23] 801*2^1441061-1 is not prime. Res64: EEF36A33A2997EB3 Time : 0.0 sec. user=mdettweiler [2016-09-28 10:14:23] 871*2^1441061-1 is not prime. Res64: 5BA6C3F8DC9E3487 Time : 0.0 sec. user=mdettweiler [2016-09-28 10:14:23] 889*2^1441061-1 is not prime. Res64: 9277AC7F578356AC Time : 0.0 sec. user=mdettweiler [2016-09-28 10:14:24] 611*2^1441062-1 is not prime. Res64: A1885D0F1882C2FC Time : 0.0 sec. user=mdettweiler [2016-09-28 10:59:58] 825*2^1441062-1 is not prime. Res64: D071C9456B0F9C03 Time : 0.0 sec. user=mdettweiler [2016-09-28 10:59:59] 833*2^1441062-1 is not prime. Res64: 915C601FA6BF1454 Time : 0.0 sec. user=mdettweiler [2016-09-28 10:59:59] 885*2^1441062-1 is not prime. Res64: 669C341D4982E1BF Time : 0.0 sec. user=mdettweiler [2016-09-28 10:59:59] 941*2^1441062-1 is not prime. Res64: 678AA25E04825F5E Time : 0.0 sec. user=mdettweiler [2016-09-28 11:00:00] 625*2^1441063-1 is not prime. Res64: 86EEB1E0FE9189A0 Time : 0.0 sec. user=mdettweiler [2016-09-28 11:00:14] 633*2^1441063-1 is not prime. Res64: D676112E47B206F9 Time : 0.0 sec. user=mdettweiler [2016-09-28 11:00:15] 649*2^1441063-1 is not prime. Res64: 85D213DD34D27C4F Time : 0.0 sec. user=mdettweiler [2016-09-28 11:00:16] 679*2^1441063-1 is not prime. Res64: 80FA1DD5E987B440 Time : 0.0 sec. user=mdettweiler [2016-09-28 11:00:16] 741*2^1441063-1 is not prime. Res64: 70F14BFCFDEA975A Time : 0.0 sec. user=mdettweiler [2016-09-28 11:00:17] 775*2^1441063-1 is not prime. Res64: 1C3970CDD7E1859F Time : 0.0 sec. user=mdettweiler [2016-09-28 11:00:26] 831*2^1441063-1 is not prime. Res64: 2C198560F6D3A0A0 Time : 0.0 sec. user=mdettweiler [2016-09-28 11:00:28] 663*2^1441064-1 is not prime. Res64: E7A76EAAFD14599E Time : 0.0 sec. user=mdettweiler [2016-09-28 11:00:28] 743*2^1441064-1 is not prime. Res64: 1574B86A0630E977 Time : 0.0 sec. user=mdettweiler [2016-09-28 11:00:29] 869*2^1441064-1 is not prime. Res64: EE1AE4D9758994E7 Time : 0.0 sec. user=mdettweiler [2016-09-28 11:00:30] 765*2^1441065-1 is not prime. Res64: 1866DBB1E7BEF654 Time : 0.0 sec. user=mdettweiler [2016-09-28 11:01:46] 877*2^1441065-1 is not prime. Res64: 8609DD700CBE04C7 Time : 0.0 sec. user=mdettweiler [2016-09-28 11:01:47] 885*2^1441065-1 is not prime. Res64: 7254E6382277817B Time : 0.0 sec. user=mdettweiler [2016-09-28 11:01:48] 657*2^1441066-1 is not prime. Res64: 22FCCF0701EAE1E4 Time : 0.0 sec. user=mdettweiler [2016-09-28 11:01:49] 695*2^1441066-1 is not prime. Res64: A6F550481B5B11C2 Time : 0.0 sec. user=mdettweiler [2016-09-28 11:01:49] 701*2^1441066-1 is not prime. Res64: 7B4AD7A830CC5034 Time : 0.0 sec. user=mdettweiler [2016-09-28 11:48:43] 823*2^1441067-1 is not prime. Res64: D79D71AF580FA978 Time : 0.0 sec. user=mdettweiler [2016-09-28 11:48:43] 841*2^1441067-1 is not prime. Res64: 50DEB8E8A1CB836B Time : 0.0 sec. user=mdettweiler [2016-09-28 11:48:43] 901*2^1441067-1 is not prime. Res64: 1461DFC4F571D2B3 Time : 0.0 sec. user=mdettweiler [2016-09-28 11:48:44] 993*2^1441067-1 is not prime. Res64: D80E46C564350F96 Time : 0.0 sec. user=mdettweiler [2016-09-28 11:48:44] 639*2^1441068-1 is not prime. Res64: 6C20C02B8B25C547 Time : 0.0 sec. user=mdettweiler [2016-09-28 11:48:59] 803*2^1441066-1 is not prime. Res64: EE2F31D15AE42699 Time : 0.0 sec. user=mdettweiler [2016-09-28 11:48:59] 905*2^1441066-1 is not prime. Res64: 8DF6479012D2D50D Time : 0.0 sec. user=mdettweiler [2016-09-28 11:48:59] 703*2^1441067-1 is not prime. Res64: EDC3D05F8469EDAB Time : 0.0 sec. user=mdettweiler [2016-09-28 11:49:00] 711*2^1441067-1 is not prime. Res64: 4A556FA5F0E1A487 Time : 0.0 sec. user=mdettweiler [2016-09-28 11:49:00] 805*2^1441067-1 is not prime. Res64: 48B219B8AA9A3680 Time : 0.0 sec. user=mdettweiler [2016-09-28 11:49:37] 723*2^1441068-1 is not prime. Res64: C86F9BF6A392801B Time : 0.0 sec. user=mdettweiler [2016-09-28 11:49:37] 819*2^1441068-1 is not prime. Res64: F0381136CB049524 Time : 0.0 sec. user=mdettweiler [2016-09-28 11:49:38] 837*2^1441068-1 is not prime. Res64: 0B25F818C688739C Time : 0.0 sec. user=mdettweiler [2016-09-28 11:49:38] 843*2^1441068-1 is not prime. Res64: 89CF8480DA0D0946 Time : 0.0 sec. user=mdettweiler [2016-09-28 11:49:38] 825*2^1441069-1 is not prime. Res64: A944FFB45321A240 Time : 0.0 sec. user=mdettweiler [2016-09-28 11:51:14] 835*2^1441069-1 is not prime. Res64: 99E1D262F481AA32 Time : 0.0 sec. user=mdettweiler [2016-09-28 11:51:14] 847*2^1441069-1 is not prime. Res64: 45191580008A9122 Time : 0.0 sec. user=mdettweiler [2016-09-28 11:51:14] 855*2^1441069-1 is not prime. Res64: CDF903C9D5D35281 Time : 0.0 sec. user=mdettweiler [2016-09-28 11:51:14] 997*2^1441069-1 is not prime. Res64: DECD8CAA399C6027 Time : 0.0 sec. user=mdettweiler [2016-09-28 11:51:15] 867*2^1441070-1 is not prime. Res64: A8FF5B1CDC8FC83E Time : 0.0 sec. user=mdettweiler [2016-09-28 12:35:39] 703*2^1441071-1 is not prime. Res64: 5199AE487E0DF35C Time : 0.0 sec. user=mdettweiler [2016-09-28 12:35:40] 781*2^1441071-1 is not prime. Res64: 25BEB74C85483209 Time : 0.0 sec. user=mdettweiler [2016-09-28 12:35:40] 789*2^1441071-1 is not prime. Res64: 1D8BE9DDF70AEB8A Time : 0.0 sec. user=mdettweiler [2016-09-28 12:35:41] 793*2^1441071-1 is not prime. Res64: 9104B3F02707A7C5 Time : 0.0 sec. user=mdettweiler [2016-09-28 12:35:41] 979*2^1441071-1 is not prime. Res64: ADC76F0F0006551A Time : 0.0 sec. user=mdettweiler [2016-09-28 12:35:45] 999*2^1441071-1 is not prime. Res64: AF539B2DEF564561 Time : 0.0 sec. user=mdettweiler [2016-09-28 12:35:45] 605*2^1441072-1 is not prime. Res64: 8873AC4993C9D9B7 Time : 0.0 sec. user=mdettweiler [2016-09-28 12:35:45] 719*2^1441072-1 is not prime. Res64: D1B6DAF7D28098DE Time : 0.0 sec. user=mdettweiler [2016-09-28 12:35:46] 735*2^1441072-1 is not prime. Res64: B100335FFE8E9141 Time : 0.0 sec. user=mdettweiler [2016-09-28 12:35:46] 797*2^1441072-1 is not prime. Res64: 299D01D6EB608ABC Time : 0.0 sec. user=mdettweiler [2016-09-28 12:37:14] 903*2^1441072-1 is not prime. Res64: BD7977969214924C Time : 0.0 sec. user=mdettweiler [2016-09-28 12:37:14] 965*2^1441072-1 is not prime. Res64: DE960A6565BED9C7 Time : 0.0 sec. user=mdettweiler [2016-09-28 12:37:14] 607*2^1441073-1 is not prime. Res64: C3CB8102FF44D388 Time : 0.0 sec. user=mdettweiler [2016-09-28 12:37:15] 771*2^1441073-1 is not prime. Res64: DCA992D3D4256CD3 Time : 0.0 sec. user=mdettweiler [2016-09-28 12:37:15] 915*2^1441073-1 is not prime. Res64: 1B49627E57237C11 Time : 0.0 sec. user=mdettweiler [2016-09-28 12:37:30] 893*2^1441070-1 is not prime. Res64: 017617B70DA8E101 Time : 0.0 sec. user=mdettweiler [2016-09-28 12:37:31] 911*2^1441070-1 is not prime. Res64: A0E89E2F07E2A8BB Time : 0.0 sec. user=mdettweiler [2016-09-28 12:37:31] 957*2^1441070-1 is not prime. Res64: 0477C035E2FAE2A0 Time : 0.0 sec. user=mdettweiler [2016-09-28 12:37:31] 977*2^1441070-1 is not prime. Res64: 4291CDD82C499D8C Time : 0.0 sec. user=mdettweiler [2016-09-28 12:37:32] 1001*2^1441070-1 is not prime. Res64: 6D51387406B9C965 Time : 0.0 sec. user=mdettweiler [2016-09-28 13:21:00] 737*2^1441074-1 is not prime. Res64: AA4AB60681CBB870 Time : 0.0 sec. user=mdettweiler [2016-09-28 13:21:00] 755*2^1441074-1 is not prime. Res64: 3FEEDDB29C6563F3 Time : 0.0 sec. user=mdettweiler [2016-09-28 13:21:01] 765*2^1441074-1 is not prime. Res64: 00D3A2893D2B7EEC Time : 0.0 sec. user=mdettweiler [2016-09-28 13:21:01] 783*2^1441074-1 is not prime. Res64: 9D8AAE0E52C5CBE2 Time : 0.0 sec. user=mdettweiler [2016-09-28 13:21:01] 803*2^1441074-1 is not prime. Res64: 3E14AFDFE88B4730 Time : 0.0 sec. user=mdettweiler [2016-09-28 13:21:07] 605*2^1441074-1 is not prime. Res64: 95A54FB1DE2C5AC5 Time : 0.0 sec. user=mdettweiler [2016-09-28 13:21:07] 657*2^1441074-1 is not prime. Res64: 629DC43982AFA081 Time : 0.0 sec. user=mdettweiler [2016-09-28 13:21:07] 663*2^1441074-1 is not prime. Res64: 2E278DEF4483F3A1 Time : 0.0 sec. user=mdettweiler [2016-09-28 13:21:08] 683*2^1441074-1 is not prime. Res64: 233F666ACFB75691 Time : 0.0 sec. user=mdettweiler [2016-09-28 13:21:08] 725*2^1441074-1 is not prime. Res64: 14CEBCC3635B192D Time : 0.0 sec. user=mdettweiler [2016-09-28 13:22:34] 837*2^1441074-1 is not prime. Res64: B9FBA5596B14BB7E Time : 0.0 sec. user=mdettweiler [2016-09-28 13:22:34] 851*2^1441074-1 is not prime. Res64: C149A9BB531BE5ED Time : 0.0 sec. user=mdettweiler [2016-09-28 13:22:35] 875*2^1441074-1 is not prime. Res64: 5708A18BA00E3587 Time : 0.0 sec. user=mdettweiler [2016-09-28 13:22:35] 917*2^1441074-1 is not prime. Res64: 71E0CC047B685772 Time : 0.0 sec. user=mdettweiler [2016-09-28 13:22:35] 639*2^1441075-1 is not prime. Res64: 4FB1B68D9BCE44E0 Time : 0.0 sec. user=mdettweiler [2016-09-28 13:22:49] 775*2^1441075-1 is not prime. Res64: CFCE09149EB13A19 Time : 0.0 sec. user=mdettweiler [2016-09-28 13:22:49] 951*2^1441075-1 is not prime. Res64: BB83AEB57DF545F9 Time : 0.0 sec. user=mdettweiler [2016-09-28 13:22:50] 633*2^1441076-1 is not prime. Res64: BA8FCA6E5925C3BF Time : 0.0 sec. user=mdettweiler [2016-09-28 13:22:50] 677*2^1441076-1 is not prime. Res64: D54305068E761FC2 Time : 0.0 sec. user=mdettweiler [2016-09-28 13:22:50] 707*2^1441076-1 is not prime. Res64: BD9C951906778415 Time : 0.0 sec. user=mdettweiler [2016-09-28 14:06:21] 749*2^1441076-1 is not prime. Res64: 05FC45272D836CDF Time : 0.0 sec. user=mdettweiler [2016-09-28 14:06:22] 927*2^1441076-1 is not prime. Res64: C8BB5C236F412740 Time : 0.0 sec. user=mdettweiler [2016-09-28 14:06:23] 827*2^1441076-1 is not prime. Res64: 3636E407444177B6 Time : 0.0 sec. user=mdettweiler [2016-09-28 14:06:24] 935*2^1441076-1 is not prime. Res64: B420A100CEFEDC08 Time : 0.0 sec. user=mdettweiler [2016-09-28 14:06:25] 855*2^1441076-1 is not prime. Res64: B90965FBCE19E0D8 Time : 0.0 sec. user=mdettweiler [2016-09-28 14:06:26] 957*2^1441076-1 is not prime. Res64: 2B2F5B28A4FF6FF1 Time : 0.0 sec. user=mdettweiler [2016-09-28 14:06:27] 873*2^1441076-1 is not prime. Res64: B4DD859FE2B4F565 Time : 0.0 sec. user=mdettweiler [2016-09-28 14:06:28] 607*2^1441077-1 is not prime. Res64: A8B5C93479A1D30C Time : 0.0 sec. user=mdettweiler [2016-09-28 14:06:30] 609*2^1441077-1 is not prime. Res64: 4BB312E2388FC556 Time : 0.0 sec. user=mdettweiler [2016-09-28 14:06:32] 903*2^1441076-1 is not prime. Res64: A2CA1E2C7D003EF6 Time : 0.0 sec. user=mdettweiler [2016-09-28 14:07:46] 741*2^1441077-1 is not prime. Res64: AD62193BEFC4A35E Time : 0.0 sec. user=mdettweiler [2016-09-28 14:07:47] 777*2^1441077-1 is not prime. Res64: ED21E9A6EC229673 Time : 0.0 sec. user=mdettweiler [2016-09-28 14:07:48] 819*2^1441077-1 is not prime. Res64: 0F3DF7D221881C35 Time : 0.0 sec. user=mdettweiler [2016-09-28 14:07:49] 915*2^1441077-1 is not prime. Res64: 55845ED732074C5A Time : 0.0 sec. user=mdettweiler [2016-09-28 14:07:50] 687*2^1441078-1 is not prime. Res64: 8B0688670B53E49E Time : 0.0 sec. user=mdettweiler [2016-09-28 14:08:11] 723*2^1441078-1 is not prime. Res64: 6F74BE56C35B7B89 Time : 0.0 sec. user=mdettweiler [2016-09-28 14:08:12] 743*2^1441078-1 is not prime. Res64: 156EF46E39638A7B Time : 0.0 sec. user=mdettweiler [2016-09-28 14:08:14] 765*2^1441078-1 is not prime. Res64: BFDA1D7232857BB2 Time : 0.0 sec. user=mdettweiler [2016-09-28 14:08:15] 773*2^1441078-1 is not prime. Res64: B9D97A37EABBC5C5 Time : 0.0 sec. user=mdettweiler [2016-09-28 14:08:17] 815*2^1441078-1 is not prime. Res64: 20DFF665F5EA31C9 Time : 0.0 sec. user=mdettweiler [2016-09-28 14:52:12] 913*2^1441079-1 is not prime. Res64: DD378AFD256B4161 Time : 0.0 sec. user=mdettweiler [2016-09-28 14:52:12] 931*2^1441079-1 is not prime. Res64: BF24697058CDEBC5 Time : 0.0 sec. user=mdettweiler [2016-09-28 14:52:12] 969*2^1441079-1 is not prime. Res64: A1FD6DAD0C0A282E Time : 0.0 sec. user=mdettweiler [2016-09-28 14:52:13] 991*2^1441079-1 is not prime. Res64: E4C9DCA49C4D1DA0 Time : 0.0 sec. user=mdettweiler [2016-09-28 14:52:13] 707*2^1441080-1 is not prime. Res64: 5B6B32F159F266B0 Time : 0.0 sec. user=mdettweiler [2016-09-28 14:52:23] 825*2^1441078-1 is not prime. Res64: 0C1BC7D96D8F7D7C Time : 0.0 sec. user=mdettweiler [2016-09-28 14:52:24] 911*2^1441078-1 is not prime. Res64: 9BDB3A066AC31DDF Time : 0.0 sec. user=mdettweiler [2016-09-28 14:52:24] 951*2^1441078-1 is not prime. Res64: 249AC6516B605C3D Time : 0.0 sec. user=mdettweiler [2016-09-28 14:52:25] 981*2^1441078-1 is not prime. Res64: 0BE7FFF832EEDC18 Time : 0.0 sec. user=mdettweiler [2016-09-28 14:52:25] 693*2^1441079-1 is not prime. Res64: 2A247069BC8D3E7C Time : 0.0 sec. user=mdettweiler [2016-09-28 14:53:18] 753*2^1441080-1 is not prime. Res64: 4372358F80A1D134 Time : 0.0 sec. user=mdettweiler [2016-09-28 14:53:18] 927*2^1441080-1 is not prime. Res64: 25A351D2203BD30A Time : 0.0 sec. user=mdettweiler [2016-09-28 14:53:18] 679*2^1441081-1 is not prime. Res64: 045E9D96765ACCCE Time : 0.0 sec. user=mdettweiler [2016-09-28 14:53:19] 705*2^1441081-1 is not prime. Res64: D14D8B80A3249B68 Time : 0.0 sec. user=mdettweiler [2016-09-28 14:53:19] 745*2^1441081-1 is not prime. Res64: DBD48B1DE0391A70 Time : 0.0 sec. user=mdettweiler [2016-09-28 14:53:47] 945*2^1441081-1 is not prime. Res64: 1719DF772585C5EE Time : 0.0 sec. user=mdettweiler [2016-09-28 14:53:47] 951*2^1441081-1 is not prime. Res64: 2FACADC357F74EED Time : 0.0 sec. user=mdettweiler [2016-09-28 14:53:48] 615*2^1441082-1 is not prime. Res64: 8AC5A9DE66E22C20 Time : 0.0 sec. user=mdettweiler [2016-09-28 14:53:48] 617*2^1441082-1 is not prime. Res64: 6E17B09685803950 Time : 0.0 sec. user=mdettweiler [2016-09-28 14:53:48] 633*2^1441082-1 is not prime. Res64: A0057F0DA87B01C6 Time : 0.0 sec. user=mdettweiler [2016-09-28 15:37:51] 735*2^1441082-1 is not prime. Res64: 13994EF6C8EF8550 Time : 0.0 sec. user=mdettweiler [2016-09-28 15:37:52] 767*2^1441082-1 is not prime. Res64: 9220E9C03F0F2285 Time : 0.0 sec. user=mdettweiler [2016-09-28 15:37:52] 887*2^1441082-1 is not prime. Res64: 256C7F9869968548 Time : 0.0 sec. user=mdettweiler [2016-09-28 15:37:52] 903*2^1441082-1 is not prime. Res64: 3D7AD11AE69EED7A Time : 0.0 sec. user=mdettweiler [2016-09-28 15:37:53] 613*2^1441083-1 is not prime. Res64: E54E8580E18752FB Time : 0.0 sec. user=mdettweiler [2016-09-28 15:38:10] 835*2^1441083-1 is not prime. Res64: 7D84AB04C9577CB9 Time : 0.0 sec. user=mdettweiler [2016-09-28 15:38:10] 963*2^1441083-1 is not prime. Res64: 9217799A5989F37D Time : 0.0 sec. user=mdettweiler [2016-09-28 15:38:10] 969*2^1441083-1 is not prime. Res64: 356F418E977DEA06 Time : 0.0 sec. user=mdettweiler [2016-09-28 15:38:11] 663*2^1441084-1 is not prime. Res64: 31FE678B40498C49 Time : 0.0 sec. user=mdettweiler [2016-09-28 15:38:11] 873*2^1441084-1 is not prime. Res64: D154B4969162C872 Time : 0.0 sec. user=mdettweiler [2016-09-28 15:38:59] 885*2^1441084-1 is not prime. Res64: 81E8044CD69E5363 Time : 0.0 sec. user=mdettweiler [2016-09-28 15:38:59] 897*2^1441084-1 is not prime. Res64: 964114844E8B4929 Time : 0.0 sec. user=mdettweiler [2016-09-28 15:39:00] 929*2^1441084-1 is not prime. Res64: 5B2FFF071F4683EE Time : 0.0 sec. user=mdettweiler [2016-09-28 15:39:00] 983*2^1441084-1 is not prime. Res64: 74C58B5D0F81B01C Time : 0.0 sec. user=mdettweiler [2016-09-28 15:39:01] 715*2^1441085-1 is not prime. Res64: 7F5C9191382E529D Time : 0.0 sec. user=mdettweiler [2016-09-28 15:39:24] 641*2^1441086-1 is not prime. Res64: F561A82E4AD587AE Time : 0.0 sec. user=mdettweiler [2016-09-28 15:39:25] 741*2^1441086-1 is not prime. Res64: 3417D54FD51BC188 Time : 0.0 sec. user=mdettweiler [2016-09-28 15:39:25] 807*2^1441086-1 is not prime. Res64: 26423A93CF15B0BB Time : 0.0 sec. user=mdettweiler [2016-09-28 15:39:26] 867*2^1441086-1 is not prime. Res64: 51022EBEF3DE7803 Time : 0.0 sec. user=mdettweiler [2016-09-28 15:39:26] 645*2^1441087-1 is not prime. Res64: D09FFE9E64CB109F Time : 0.0 sec. user=mdettweiler [2016-09-28 16:23:16] 759*2^1441087-1 is not prime. Res64: 2ECDB86DC57E5728 Time : 0.0 sec. user=mdettweiler [2016-09-28 16:23:17] 831*2^1441087-1 is not prime. Res64: 9EB23127DEA41648 Time : 0.0 sec. user=mdettweiler [2016-09-28 16:23:17] 883*2^1441087-1 is not prime. Res64: ECB9CC8111CF2E49 Time : 0.0 sec. user=mdettweiler [2016-09-28 16:23:18] 919*2^1441087-1 is not prime. Res64: 76412D1209A02F6F Time : 0.0 sec. user=mdettweiler [2016-09-28 16:23:18] 635*2^1441088-1 is not prime. Res64: C2CF3ECC4E8EA3CE Time : 0.0 sec. user=mdettweiler [2016-09-28 16:23:37] 665*2^1441088-1 is not prime. Res64: 9B7861AB877FD15F Time : 0.0 sec. user=mdettweiler [2016-09-28 16:23:38] 683*2^1441088-1 is not prime. Res64: 3EB1052A1900E36E Time : 0.0 sec. user=mdettweiler [2016-09-28 16:23:38] 687*2^1441088-1 is not prime. Res64: 01E88792BB03FD2A Time : 0.0 sec. user=mdettweiler [2016-09-28 16:23:38] 755*2^1441088-1 is not prime. Res64: 782D7970B0FD2498 Time : 0.0 sec. user=mdettweiler [2016-09-28 16:23:39] 813*2^1441088-1 is not prime. Res64: 27A321B291421072 Time : 0.0 sec. user=mdettweiler [2016-09-28 16:24:35] 897*2^1441088-1 is not prime. Res64: 1C8279946CF0D777 Time : 0.0 sec. user=mdettweiler [2016-09-28 16:24:35] 977*2^1441088-1 is not prime. Res64: E5F07CF4AE7C60FE Time : 0.0 sec. user=mdettweiler [2016-09-28 16:24:36] 615*2^1441089-1 is not prime. Res64: E0299E702D916363 Time : 0.0 sec. user=mdettweiler [2016-09-28 16:24:36] 649*2^1441089-1 is not prime. Res64: FB3504F95AECC00B Time : 0.0 sec. user=mdettweiler [2016-09-28 16:24:37] 667*2^1441089-1 is not prime. Res64: 1AE4EFB2686D4DE5 Time : 0.0 sec. user=mdettweiler [2016-09-28 16:24:44] 685*2^1441089-1 is not prime. Res64: 49D3539B6FB49B9D Time : 0.0 sec. user=mdettweiler [2016-09-28 16:24:44] 691*2^1441089-1 is not prime. Res64: 916403A91F8C369B Time : 0.0 sec. user=mdettweiler [2016-09-28 16:24:44] 885*2^1441089-1 is not prime. Res64: 755AECF2F0AA7ACA Time : 0.0 sec. user=mdettweiler [2016-09-28 16:24:45] 997*2^1441089-1 is not prime. Res64: 8B75BED92D82D98A Time : 0.0 sec. user=mdettweiler [2016-09-28 16:24:45] 633*2^1441090-1 is not prime. Res64: 3EC509CDFE7C0EE2 Time : 0.0 sec. user=mdettweiler [2016-09-28 17:08:42] 635*2^1441090-1 is not prime. Res64: CC0E2E64C14F20DA Time : 0.0 sec. user=mdettweiler [2016-09-28 17:08:42] 681*2^1441090-1 is not prime. Res64: 6B7CC4E0EE42DB49 Time : 0.0 sec. user=mdettweiler [2016-09-28 17:08:43] 723*2^1441090-1 is not prime. Res64: 2CABD5E781E7A5D5 Time : 0.0 sec. user=mdettweiler [2016-09-28 17:08:43] 741*2^1441090-1 is not prime. Res64: 2CBBE86056892F8F Time : 0.0 sec. user=mdettweiler [2016-09-28 17:08:44] 945*2^1441090-1 is not prime. Res64: A162578D71F19337 Time : 0.0 sec. user=mdettweiler [2016-09-28 17:09:04] 669*2^1441091-1 is not prime. Res64: B2ACD672515DED88 Time : 0.0 sec. user=mdettweiler [2016-09-28 17:09:05] 775*2^1441091-1 is not prime. Res64: C34A457631ED09A1 Time : 0.0 sec. user=mdettweiler [2016-09-28 17:09:05] 813*2^1441091-1 is not prime. Res64: 20EFC6C95C17A952 Time : 0.0 sec. user=mdettweiler [2016-09-28 17:09:06] 841*2^1441091-1 is not prime. Res64: 66BB4336635AE3B3 Time : 0.0 sec. user=mdettweiler [2016-09-28 17:09:06] 921*2^1441091-1 is not prime. Res64: 7067D3412D71D668 Time : 0.0 sec. user=mdettweiler [2016-09-28 17:10:00] 633*2^1441092-1 is not prime. Res64: A476B119CBA54D7C Time : 0.0 sec. user=mdettweiler [2016-09-28 17:10:01] 683*2^1441092-1 is not prime. Res64: A5B60C26B0EB65F4 Time : 0.0 sec. user=mdettweiler [2016-09-28 17:10:02] 737*2^1441092-1 is not prime. Res64: 4A0C43D29897BC1C Time : 0.0 sec. user=mdettweiler [2016-09-28 17:10:03] 765*2^1441092-1 is not prime. Res64: B65A8DF5AC20EDC8 Time : 0.0 sec. user=mdettweiler [2016-09-28 17:10:04] 803*2^1441092-1 is not prime. Res64: C36C9119BA50E885 Time : 0.0 sec. user=mdettweiler [2016-09-28 17:10:11] 873*2^1441092-1 is not prime. Res64: ACBD7913E517D314 Time : 0.0 sec. user=mdettweiler [2016-09-28 17:10:11] 893*2^1441092-1 is not prime. Res64: A108FEB5762CDEDA Time : 0.0 sec. user=mdettweiler [2016-09-28 17:10:13] 915*2^1441092-1 is not prime. Res64: 171BC41F5CCB4DDC Time : 0.0 sec. user=mdettweiler [2016-09-28 17:10:13] 609*2^1441093-1 is not prime. Res64: 3FE33AFBD183BB60 Time : 0.0 sec. user=mdettweiler [2016-09-28 17:10:14] 771*2^1441093-1 is not prime. Res64: 305D3A61FBE7D64F Time : 0.0 sec. user=mdettweiler [2016-09-28 17:54:20] 855*2^1441093-1 is not prime. Res64: D639FD226713E3FE Time : 0.0 sec. user=mdettweiler [2016-09-28 17:54:20] 889*2^1441093-1 is not prime. Res64: 450C93E5FE3DD7E6 Time : 0.0 sec. user=mdettweiler [2016-09-28 17:54:20] 955*2^1441093-1 is not prime. Res64: 70DC9354D4B5EF33 Time : 0.0 sec. user=mdettweiler [2016-09-28 17:54:21] 671*2^1441094-1 is not prime. Res64: 68A8E924305982DB Time : 0.0 sec. user=mdettweiler [2016-09-28 17:54:21] 693*2^1441094-1 is not prime. Res64: 23C4F3379272BD9C Time : 0.0 sec. user=mdettweiler [2016-09-28 17:54:39] 755*2^1441094-1 is not prime. Res64: 5EB0B01B46965862 Time : 0.0 sec. user=mdettweiler [2016-09-28 17:54:40] 915*2^1441094-1 is not prime. Res64: FA3EDEFA0C5531BC Time : 0.0 sec. user=mdettweiler [2016-09-28 17:54:40] 945*2^1441094-1 is not prime. Res64: 81CFB91DC83353F2 Time : 0.0 sec. user=mdettweiler [2016-09-28 17:54:40] 601*2^1441095-1 is not prime. Res64: B676121150FE33DF Time : 0.0 sec. user=mdettweiler [2016-09-28 17:54:41] 781*2^1441095-1 is not prime. Res64: A3D497B2ED6F572C Time : 0.0 sec. user=mdettweiler [2016-09-28 17:55:34] 871*2^1441095-1 is not prime. Res64: 491FC93D4EBF371E Time : 0.0 sec. user=mdettweiler [2016-09-28 17:55:35] 891*2^1441095-1 is not prime. Res64: 2A9AAAE7CFFDDA02 Time : 0.0 sec. user=mdettweiler [2016-09-28 17:55:35] 895*2^1441095-1 is not prime. Res64: 62E669724E9265CB Time : 0.0 sec. user=mdettweiler [2016-09-28 17:55:35] 909*2^1441095-1 is not prime. Res64: 65BADBD88B7F2447 Time : 0.0 sec. user=mdettweiler [2016-09-28 17:55:36] 979*2^1441095-1 is not prime. Res64: 57C1CBE804C31ABC Time : 0.0 sec. user=mdettweiler [2016-09-28 17:55:44] 615*2^1441096-1 is not prime. Res64: CFC5B9537F9B84F3 Time : 0.0 sec. user=mdettweiler [2016-09-28 17:55:44] 717*2^1441096-1 is not prime. Res64: AA69AD11F732681B Time : 0.0 sec. user=mdettweiler [2016-09-28 17:55:44] 747*2^1441096-1 is not prime. Res64: 7FC257940F153195 Time : 0.0 sec. user=mdettweiler [2016-09-28 17:55:45] 779*2^1441096-1 is not prime. Res64: 003D5DB392A58E3F Time : 0.0 sec. user=mdettweiler [2016-09-28 17:55:45] 785*2^1441096-1 is not prime. Res64: 9D224A11F7BA29A7 Time : 0.0 sec. user=mdettweiler [2016-09-28 18:39:52] 803*2^1441096-1 is not prime. Res64: BE3C2F8FD7A1E3A6 Time : 0.0 sec. user=mdettweiler [2016-09-28 18:39:52] 845*2^1441096-1 is not prime. Res64: 7F89D4641DA9918C Time : 0.0 sec. user=mdettweiler [2016-09-28 18:39:52] 927*2^1441096-1 is not prime. Res64: 91D768EAF62655E6 Time : 0.0 sec. user=mdettweiler [2016-09-28 18:39:53] 631*2^1441097-1 is not prime. Res64: C600F9D0AABFC57E Time : 0.0 sec. user=mdettweiler [2016-09-28 18:39:53] 651*2^1441097-1 is not prime. Res64: C137B82F8C6750B7 Time : 0.0 sec. user=mdettweiler [2016-09-28 18:40:15] 669*2^1441097-1 is not prime. Res64: F72F9E373721B140 Time : 0.0 sec. user=mdettweiler [2016-09-28 18:40:15] 711*2^1441097-1 is not prime. Res64: 7A82674F8B04D8BA Time : 0.0 sec. user=mdettweiler [2016-09-28 18:40:15] 727*2^1441097-1 is not prime. Res64: 3FAA33CA11FED712 Time : 0.0 sec. user=mdettweiler [2016-09-28 18:40:16] 841*2^1441097-1 is not prime. Res64: D44CE776C4163D68 Time : 0.0 sec. user=mdettweiler [2016-09-28 18:40:16] 879*2^1441097-1 is not prime. Res64: 269716BDAA1E1C86 Time : 0.0 sec. user=mdettweiler [2016-09-28 18:40:57] 949*2^1441097-1 is not prime. Res64: F167B555DABA2A73 Time : 0.0 sec. user=mdettweiler [2016-09-28 18:40:58] 611*2^1441098-1 is not prime. Res64: 8002371480295053 Time : 0.0 sec. user=mdettweiler [2016-09-28 18:40:58] 627*2^1441098-1 is not prime. Res64: C1FEBFA93452C3CC Time : 0.0 sec. user=mdettweiler [2016-09-28 18:40:59] 765*2^1441098-1 is not prime. Res64: 934BE6F3F9DCA06B Time : 0.0 sec. user=mdettweiler [2016-09-28 18:40:59] 797*2^1441098-1 is not prime. Res64: FA314BD84858B619 Time : 0.0 sec. user=mdettweiler [2016-09-28 18:41:09] 971*2^1441098-1 is not prime. Res64: E4F8D1793B0EDE9C Time : 0.0 sec. user=mdettweiler [2016-09-28 18:41:09] 993*2^1441098-1 is not prime. Res64: 72C39370E70D6DCB Time : 0.0 sec. user=mdettweiler [2016-09-28 18:41:10] 601*2^1441099-1 is not prime. Res64: 42C9FC75D79FDB7C Time : 0.0 sec. user=mdettweiler [2016-09-28 18:41:10] 859*2^1441099-1 is not prime. Res64: DD6B212E1B357F1B Time : 0.0 sec. user=mdettweiler [2016-09-28 18:41:10] 663*2^1441100-1 is not prime. Res64: 3DF888A97F589152 Time : 0.0 sec. user=mdettweiler [2016-09-28 19:26:13] 711*2^1441101-1 is not prime. Res64: AA9CC16CC8DD09E5 Time : 0.0 sec. user=mdettweiler [2016-09-28 19:26:13] 885*2^1441101-1 is not prime. Res64: D9D3895D795D545D Time : 0.0 sec. user=mdettweiler [2016-09-28 19:26:13] 975*2^1441101-1 is not prime. Res64: 8919D4DEDA52D357 Time : 0.0 sec. user=mdettweiler [2016-09-28 19:26:14] 651*2^1441102-1 is not prime. Res64: 168C8E5819E7749C Time : 0.0 sec. user=mdettweiler [2016-09-28 19:26:14] 665*2^1441102-1 is not prime. Res64: 04F423B483A2D3F5 Time : 0.0 sec. user=mdettweiler [2016-09-28 19:26:31] 731*2^1441102-1 is not prime. Res64: 5B4551909B1E01E2 Time : 0.0 sec. user=mdettweiler [2016-09-28 19:26:31] 761*2^1441102-1 is not prime. Res64: A2E4257F857DD34A Time : 0.0 sec. user=mdettweiler [2016-09-28 19:26:31] 777*2^1441102-1 is not prime. Res64: 8EC4A4B731A47E2C Time : 0.0 sec. user=mdettweiler [2016-09-28 19:26:32] 825*2^1441102-1 is not prime. Res64: 39B6E250A8C6C81E Time : 0.0 sec. user=mdettweiler [2016-09-28 19:26:32] 891*2^1441102-1 is not prime. Res64: 9C646A8348BF0C06 Time : 0.0 sec. user=mdettweiler [2016-09-28 19:26:46] 707*2^1441100-1 is not prime. Res64: 9B92836F3068E4D5 Time : 0.0 sec. user=mdettweiler [2016-09-28 19:26:46] 767*2^1441100-1 is not prime. Res64: A4170768D9D8E2BB Time : 0.0 sec. user=mdettweiler [2016-09-28 19:26:47] 797*2^1441100-1 is not prime. Res64: F7D0F67143CAFE2E Time : 0.0 sec. user=mdettweiler [2016-09-28 19:26:47] 963*2^1441100-1 is not prime. Res64: 1662FE7866C82654 Time : 0.0 sec. user=mdettweiler [2016-09-28 19:26:47] 977*2^1441100-1 is not prime. Res64: 3CAC7188B275693F Time : 0.0 sec. user=mdettweiler [2016-09-28 19:26:49] 917*2^1441102-1 is not prime. Res64: 800E52D18B1BF03A Time : 0.0 sec. user=mdettweiler [2016-09-28 19:26:49] 987*2^1441102-1 is not prime. Res64: 4367AA0E0EA73B27 Time : 0.0 sec. user=mdettweiler [2016-09-28 19:26:49] 643*2^1441103-1 is not prime. Res64: 7059590CFC36FC0B Time : 0.0 sec. user=mdettweiler [2016-09-28 19:26:50] 771*2^1441103-1 is not prime. Res64: FEAC7C33EB7D69C8 Time : 0.0 sec. user=mdettweiler [2016-09-28 19:26:50] 775*2^1441103-1 is not prime. Res64: 088985143DFA1F3C Time : 0.0 sec. user=mdettweiler [2016-09-28 20:11:27] 789*2^1441103-1 is not prime. Res64: 29A45DB23D01E451 Time : 0.0 sec. user=mdettweiler [2016-09-28 20:11:27] 895*2^1441103-1 is not prime. Res64: CA6D6E5FEFF2CCBF Time : 0.0 sec. user=mdettweiler [2016-09-28 20:11:28] 913*2^1441103-1 is not prime. Res64: 19D2642D02494648 Time : 0.0 sec. user=mdettweiler [2016-09-28 20:11:28] 629*2^1441104-1 is not prime. Res64: 34B154F89B57F373 Time : 0.0 sec. user=mdettweiler [2016-09-28 20:11:29] 719*2^1441104-1 is not prime. Res64: D67A56D8CB900FBD Time : 0.0 sec. user=mdettweiler [2016-09-28 20:11:47] 759*2^1441104-1 is not prime. Res64: FD12B42AEB68FBAE Time : 0.0 sec. user=mdettweiler [2016-09-28 20:11:47] 765*2^1441104-1 is not prime. Res64: FA5CA4D870982232 Time : 0.0 sec. user=mdettweiler [2016-09-28 20:11:48] 789*2^1441104-1 is not prime. Res64: 71725742EB326110 Time : 0.0 sec. user=mdettweiler [2016-09-28 20:11:48] 789*2^1441105-1 is not prime. Res64: D408B06EA4FA4166 Time : 0.0 sec. user=mdettweiler [2016-09-28 20:11:48] 819*2^1441105-1 is not prime. Res64: 085868C16DB19D17 Time : 0.0 sec. user=mdettweiler [2016-09-28 20:12:04] 847*2^1441105-1 is not prime. Res64: 707E8D06EBF889EE Time : 0.0 sec. user=mdettweiler [2016-09-28 20:12:04] 937*2^1441105-1 is not prime. Res64: 366C5438641FE207 Time : 0.0 sec. user=mdettweiler [2016-09-28 20:12:04] 979*2^1441105-1 is not prime. Res64: CF22534ACF2FF1D3 Time : 0.0 sec. user=mdettweiler [2016-09-28 20:12:05] 981*2^1441105-1 is not prime. Res64: C65AAC385205B89B Time : 0.0 sec. user=mdettweiler [2016-09-28 20:12:05] 615*2^1441106-1 is not prime. Res64: 8E44EA498C046207 Time : 0.0 sec. user=mdettweiler [2016-09-28 20:12:15] 657*2^1441106-1 is not prime. Res64: BA5A2FE8D8B613C1 Time : 0.0 sec. user=mdettweiler [2016-09-28 20:12:15] 711*2^1441106-1 is not prime. Res64: E74348E3ABE0C875 Time : 0.0 sec. user=mdettweiler [2016-09-28 20:12:15] 935*2^1441106-1 is not prime. Res64: 3B9EE595E9C96A17 Time : 0.0 sec. user=mdettweiler [2016-09-28 20:12:16] 953*2^1441106-1 is not prime. Res64: 1DBED5A49B31B94A Time : 0.0 sec. user=mdettweiler [2016-09-28 20:12:16] 971*2^1441106-1 is not prime. Res64: FA7BC2E11B2A9FE8 Time : 0.0 sec. user=mdettweiler [2016-09-28 20:57:10] 677*2^1441108-1 is not prime. Res64: F03AF102547C3E41 Time : 0.0 sec. user=mdettweiler [2016-09-28 20:57:11] 825*2^1441108-1 is not prime. Res64: 0779A6E7007C78D5 Time : 0.0 sec. user=mdettweiler [2016-09-28 20:57:12] 863*2^1441108-1 is not prime. Res64: E8134F6C05F2196C Time : 0.0 sec. user=mdettweiler [2016-09-28 20:57:12] 869*2^1441108-1 is not prime. Res64: 34F6F743DBEE0E2E Time : 0.0 sec. user=mdettweiler [2016-09-28 20:57:13] 909*2^1441108-1 is not prime. Res64: 9356AB2BEC4D8568 Time : 0.0 sec. user=mdettweiler [2016-09-28 20:57:39] 983*2^1441106-1 is not prime. Res64: 472A832B3C335B96 Time : 0.0 sec. user=mdettweiler [2016-09-28 20:57:40] 1001*2^1441106-1 is not prime. Res64: 9B7B1E62938135A9 Time : 0.0 sec. user=mdettweiler [2016-09-28 20:57:40] 643*2^1441107-1 is not prime. Res64: 3111CA53AD03205B Time : 0.0 sec. user=mdettweiler [2016-09-28 20:57:40] 901*2^1441107-1 is not prime. Res64: 9013CF72203E5FBA Time : 0.0 sec. user=mdettweiler [2016-09-28 20:57:41] 975*2^1441107-1 is not prime. Res64: 8899D50A9E12AEDE Time : 0.0 sec. user=mdettweiler [2016-09-28 20:57:49] 819*2^1441109-1 is not prime. Res64: 694AA9AF0629D4DB Time : 0.0 sec. user=mdettweiler [2016-09-28 20:57:49] 925*2^1441109-1 is not prime. Res64: 19E5366FA85759F7 Time : 0.0 sec. user=mdettweiler [2016-09-28 20:57:50] 647*2^1441110-1 is not prime. Res64: 4D6F319C33EC9CEA Time : 0.0 sec. user=mdettweiler [2016-09-28 20:57:50] 711*2^1441110-1 is not prime. Res64: 160DFEC2F54D549D Time : 0.0 sec. user=mdettweiler [2016-09-28 20:57:51] 791*2^1441110-1 is not prime. Res64: 6E46AB2C9F8959FB Time : 0.0 sec. user=mdettweiler [2016-09-28 20:58:14] 627*2^1441109-1 is not prime. Res64: F6223A4FFE71EB07 Time : 0.0 sec. user=mdettweiler [2016-09-28 20:58:15] 631*2^1441109-1 is not prime. Res64: 16735807375A5530 Time : 0.0 sec. user=mdettweiler [2016-09-28 20:58:15] 649*2^1441109-1 is not prime. Res64: D1947D1F7133F85A Time : 0.0 sec. user=mdettweiler [2016-09-28 20:58:16] 691*2^1441109-1 is not prime. Res64: 86C2B2B411A66679 Time : 0.0 sec. user=mdettweiler [2016-09-28 20:58:16] 711*2^1441109-1 is not prime. Res64: 811C2FF41E4A1154 Time : 0.0 sec. user=mdettweiler [2016-09-28 21:42:21] 825*2^1441110-1 is not prime. Res64: B6CE678E6C027A2E Time : 0.0 sec. user=mdettweiler [2016-09-28 21:42:22] 845*2^1441110-1 is not prime. Res64: A26A3DA8E4789F75 Time : 0.0 sec. user=mdettweiler [2016-09-28 21:42:22] 649*2^1441111-1 is not prime. Res64: 216FBC64D07E34DB Time : 0.0 sec. user=mdettweiler [2016-09-28 21:42:23] 913*2^1441111-1 is not prime. Res64: 9537BF81E4FF64DA Time : 0.0 sec. user=mdettweiler [2016-09-28 21:42:23] 993*2^1441111-1 is not prime. Res64: 2735B90C133910F4 Time : 0.0 sec. user=mdettweiler [2016-09-28 21:42:47] 675*2^1441112-1 is not prime. Res64: D0C89FBCBDA6A76D Time : 0.0 sec. user=mdettweiler [2016-09-28 21:42:47] 759*2^1441112-1 is not prime. Res64: 5A8D13C9EDFD74D9 Time : 0.0 sec. user=mdettweiler [2016-09-28 21:42:48] 785*2^1441112-1 is not prime. Res64: 7C12D54E548E83F2 Time : 0.0 sec. user=mdettweiler [2016-09-28 21:42:48] 827*2^1441112-1 is not prime. Res64: AC336555AFFCB4D8 Time : 0.0 sec. user=mdettweiler [2016-09-28 21:42:49] 897*2^1441112-1 is not prime. Res64: 650C4EF80EDD56BD Time : 0.0 sec. user=mdettweiler [2016-09-28 21:42:57] 625*2^1441113-1 is not prime. Res64: 45D4BED6DF573E01 Time : 0.0 sec. user=mdettweiler [2016-09-28 21:42:58] 639*2^1441113-1 is not prime. Res64: 2D68F52C368B63D0 Time : 0.0 sec. user=mdettweiler [2016-09-28 21:42:58] 649*2^1441113-1 is not prime. Res64: CC2BB99C8696B573 Time : 0.0 sec. user=mdettweiler [2016-09-28 21:42:58] 679*2^1441113-1 is not prime. Res64: 1B91C7E95EC4B852 Time : 0.0 sec. user=mdettweiler [2016-09-28 21:42:59] 741*2^1441113-1 is not prime. Res64: F23436F95E12C44F Time : 0.0 sec. user=mdettweiler [2016-09-28 21:43:31] 769*2^1441113-1 is not prime. Res64: D43E7DF9A566AB90 Time : 0.0 sec. user=mdettweiler [2016-09-28 21:43:32] 781*2^1441113-1 is not prime. Res64: 9C6F6E367C98548D Time : 0.0 sec. user=mdettweiler [2016-09-28 21:43:32] 807*2^1441113-1 is not prime. Res64: 8F5FDFA1C6283EFE Time : 0.0 sec. user=mdettweiler [2016-09-28 21:43:33] 895*2^1441113-1 is not prime. Res64: 7B7E4C60659D97FD Time : 0.0 sec. user=mdettweiler [2016-09-28 21:43:33] 951*2^1441113-1 is not prime. Res64: 31B02FBC9BC0F399 Time : 0.0 sec. user=mdettweiler [2016-09-28 22:27:38] 991*2^1441113-1 is not prime. Res64: AC6B133630B80399 Time : 0.0 sec. user=mdettweiler [2016-09-28 22:27:39] 675*2^1441114-1 is not prime. Res64: B14E8DC7A1BF7A86 Time : 0.0 sec. user=mdettweiler [2016-09-28 22:27:39] 741*2^1441114-1 is not prime. Res64: 02F81E35A6444065 Time : 0.0 sec. user=mdettweiler [2016-09-28 22:27:40] 827*2^1441114-1 is not prime. Res64: E6AB52BBEA930610 Time : 0.0 sec. user=mdettweiler [2016-09-28 22:27:40] 885*2^1441114-1 is not prime. Res64: E31E695F6869325E Time : 0.0 sec. user=mdettweiler [2016-09-28 22:27:51] 971*2^1441114-1 is not prime. Res64: 632123887A613583 Time : 0.0 sec. user=mdettweiler [2016-09-28 22:27:52] 975*2^1441114-1 is not prime. Res64: D57DCEDCFFACC3D6 Time : 0.0 sec. user=mdettweiler [2016-09-28 22:27:52] 651*2^1441115-1 is not prime. Res64: 0CC849024E151D1C Time : 0.0 sec. user=mdettweiler [2016-09-28 22:27:53] 679*2^1441115-1 is not prime. Res64: 756093C681BC97B9 Time : 0.0 sec. user=mdettweiler [2016-09-28 22:27:53] 843*2^1441115-1 is not prime. Res64: E2702A60BC566B5E Time : 0.0 sec. user=mdettweiler [2016-09-28 22:28:07] 903*2^1441115-1 is not prime. Res64: 004B9A4CD7252C66 Time : 0.0 sec. user=mdettweiler [2016-09-28 22:28:07] 913*2^1441115-1 is not prime. Res64: 547136801E0FA43B Time : 0.0 sec. user=mdettweiler [2016-09-28 22:28:08] 963*2^1441115-1 is not prime. Res64: F00672EA362FC02A Time : 0.0 sec. user=mdettweiler [2016-09-28 22:28:08] 969*2^1441115-1 is not prime. Res64: EB58811AA4DD715B Time : 0.0 sec. user=mdettweiler [2016-09-28 22:28:09] 717*2^1441116-1 is not prime. Res64: 582F52EB8B177260 Time : 0.0 sec. user=mdettweiler [2016-09-28 22:28:39] 803*2^1441116-1 is not prime. Res64: 7F7175BCA76EF363 Time : 0.0 sec. user=mdettweiler [2016-09-28 22:28:39] 887*2^1441116-1 is not prime. Res64: 63B526434EC7A6C1 Time : 0.0 sec. user=mdettweiler [2016-09-28 22:28:39] 927*2^1441116-1 is not prime. Res64: 882CEAEC0E8E2A13 Time : 0.0 sec. user=mdettweiler [2016-09-28 22:28:40] 933*2^1441116-1 is not prime. Res64: 79B097B97F470708 Time : 0.0 sec. user=mdettweiler [2016-09-28 22:28:40] 983*2^1441116-1 is not prime. Res64: 59CA73AA0EFC9C77 Time : 0.0 sec. user=mdettweiler [2016-09-28 23:13:32] 885*2^1441117-1 is not prime. Res64: 66EC375644051BD9 Time : 0.0 sec. user=mdettweiler [2016-09-28 23:13:33] 833*2^1441118-1 is not prime. Res64: C8B4A45D53C89D38 Time : 0.0 sec. user=mdettweiler [2016-09-28 23:13:33] 885*2^1441118-1 is not prime. Res64: 45EFD5EB419927D5 Time : 0.0 sec. user=mdettweiler [2016-09-28 23:13:33] 897*2^1441118-1 is not prime. Res64: CF90EFF50A674149 Time : 0.0 sec. user=mdettweiler [2016-09-28 23:13:34] 915*2^1441118-1 is not prime. Res64: 9D8CDB4843B19432 Time : 0.0 sec. user=mdettweiler [2016-09-28 23:13:36] 645*2^1441117-1 is not prime. Res64: 913082A7BC40FED0 Time : 0.0 sec. user=mdettweiler [2016-09-28 23:13:37] 777*2^1441117-1 is not prime. Res64: 577B1384C74C1E4C Time : 0.0 sec. user=mdettweiler [2016-09-28 23:13:37] 801*2^1441117-1 is not prime. Res64: 027E34284CB033B0 Time : 0.0 sec. user=mdettweiler [2016-09-28 23:13:38] 861*2^1441117-1 is not prime. Res64: 206347D2A88AED1E Time : 0.0 sec. user=mdettweiler [2016-09-28 23:13:38] 871*2^1441117-1 is not prime. Res64: A4698551B055686C Time : 0.0 sec. user=mdettweiler [2016-09-28 23:14:05] 957*2^1441118-1 is not prime. Res64: A7F2CBD137CF6A60 Time : 0.0 sec. user=mdettweiler [2016-09-28 23:14:05] 963*2^1441118-1 is not prime. Res64: 067273F12D77245A Time : 0.0 sec. user=mdettweiler [2016-09-28 23:14:06] 609*2^1441119-1 is not prime. Res64: BD9242C0FE462CD3 Time : 0.0 sec. user=mdettweiler [2016-09-28 23:14:07] 615*2^1441119-1 is not prime. Res64: E584A2382138D674 Time : 0.0 sec. user=mdettweiler [2016-09-28 23:14:07] 775*2^1441119-1 is not prime. Res64: 4E8E2A73577E7C13 Time : 0.0 sec. user=mdettweiler [2016-09-28 23:14:31] 831*2^1441119-1 is not prime. Res64: 9ADE4933AD2EAB05 Time : 0.0 sec. user=mdettweiler [2016-09-28 23:14:31] 873*2^1441119-1 is not prime. Res64: 6DFBCDD986B54FE5 Time : 0.0 sec. user=mdettweiler [2016-09-28 23:14:32] 909*2^1441119-1 is not prime. Res64: BB3343508218A740 Time : 0.0 sec. user=mdettweiler [2016-09-28 23:14:32] 609*2^1441120-1 is not prime. Res64: DDA96AF5F38E84C7 Time : 0.0 sec. user=mdettweiler [2016-09-28 23:14:33] 723*2^1441120-1 is not prime. Res64: 9D9F483B3ABB09B6 Time : 0.0 sec. user=mdettweiler [2016-09-29 00:00:08] 773*2^1441120-1 is not prime. Res64: C7BD7053BBE253C0 Time : 0.0 sec. user=mdettweiler [2016-09-29 00:00:08] 855*2^1441120-1 is not prime. Res64: E2793C84B08BA954 Time : 0.0 sec. user=mdettweiler [2016-09-29 00:00:09] 863*2^1441120-1 is not prime. Res64: 2CC07C59704BE439 Time : 0.0 sec. user=mdettweiler [2016-09-29 00:00:10] 887*2^1441120-1 is not prime. Res64: 43BAA3908CC50A05 Time : 0.0 sec. user=mdettweiler [2016-09-29 00:00:11] 929*2^1441120-1 is not prime. Res64: F9995F5AF444B122 Time : 0.0 sec. user=mdettweiler [2016-09-29 00:00:16] 631*2^1441121-1 is not prime. Res64: E71B2BDBA14668B8 Time : 0.0 sec. user=mdettweiler [2016-09-29 00:00:16] 657*2^1441121-1 is not prime. Res64: 73F78B8BCE0616E0 Time : 0.0 sec. user=mdettweiler [2016-09-29 00:00:17] 675*2^1441121-1 is not prime. Res64: 9EF15F5813FA82C1 Time : 0.0 sec. user=mdettweiler [2016-09-29 00:00:17] 775*2^1441121-1 is not prime. Res64: FC6B4B820CA886AA Time : 0.0 sec. user=mdettweiler [2016-09-29 00:00:18] 871*2^1441121-1 is not prime. Res64: EA9E69BD97C56907 Time : 0.0 sec. user=mdettweiler [2016-09-29 00:00:27] 885*2^1441121-1 is not prime. Res64: 64021D23762A6072 Time : 0.0 sec. user=mdettweiler [2016-09-29 00:00:28] 611*2^1441122-1 is not prime. Res64: 31A1833A90D851DF Time : 0.0 sec. user=mdettweiler [2016-09-29 00:00:29] 711*2^1441122-1 is not prime. Res64: C09D03FAF44558D6 Time : 0.0 sec. user=mdettweiler [2016-09-29 00:00:30] 737*2^1441122-1 is not prime. Res64: 1F27B95DA1263381 Time : 0.0 sec. user=mdettweiler [2016-09-29 00:00:30] 797*2^1441122-1 is not prime. Res64: 16BC3DB9DB062619 Time : 0.0 sec.