user=mdettweiler [2016-04-01 00:26:05] 765*2^1424962-1 is not prime. Res64: EFD8238C06C20E97 Time : 0.0 sec. user=mdettweiler [2016-04-01 00:26:06] 801*2^1424962-1 is not prime. Res64: A858D26DBB55681C Time : 0.0 sec. user=mdettweiler [2016-04-01 00:26:06] 821*2^1424962-1 is not prime. Res64: 5BBA36E7FEE0ED5C Time : 0.0 sec. user=mdettweiler [2016-04-01 00:26:07] 881*2^1424962-1 is not prime. Res64: D79F82A64895BD72 Time : 0.0 sec. user=mdettweiler [2016-04-01 00:26:07] 911*2^1424962-1 is not prime. Res64: 0966F917ABCD4997 Time : 0.0 sec. user=mdettweiler [2016-04-01 00:28:02] 975*2^1424962-1 is not prime. Res64: 0B6E1BFB762C188F Time : 0.0 sec. user=mdettweiler [2016-04-01 00:28:02] 981*2^1424962-1 is not prime. Res64: 30A24476DBFB70F6 Time : 0.0 sec. user=mdettweiler [2016-04-01 00:28:03] 1001*2^1424962-1 is not prime. Res64: 50F4D94231A3E4E2 Time : 0.0 sec. user=mdettweiler [2016-04-01 00:28:03] 619*2^1424963-1 is not prime. Res64: A823943024B38309 Time : 0.0 sec. user=mdettweiler [2016-04-01 00:28:04] 705*2^1424963-1 is not prime. Res64: AE54A44D7426ABB7 Time : 0.0 sec. user=mdettweiler [2016-04-01 00:31:27] 781*2^1424963-1 is not prime. Res64: 92580D5A3C248D91 Time : 0.0 sec. user=mdettweiler [2016-04-01 00:31:28] 859*2^1424963-1 is not prime. Res64: 8CA4520BAC2F726B Time : 0.0 sec. user=mdettweiler [2016-04-01 00:31:28] 939*2^1424963-1 is not prime. Res64: D49B1DD119A1E395 Time : 0.0 sec. user=mdettweiler [2016-04-01 00:31:28] 969*2^1424963-1 is not prime. Res64: CDE6007DCA87DF3D Time : 0.0 sec. user=mdettweiler [2016-04-01 00:31:29] 665*2^1424964-1 is not prime. Res64: 497F1BA093581CB5 Time : 0.0 sec. user=mdettweiler [2016-04-01 00:34:09] 929*2^1424964-1 is not prime. Res64: EEB60F54EB8752F4 Time : 0.0 sec. user=mdettweiler [2016-04-01 00:34:09] 959*2^1424964-1 is not prime. Res64: 3878D15DA0CA6D7B Time : 0.0 sec. user=mdettweiler [2016-04-01 00:34:09] 675*2^1424965-1 is not prime. Res64: 98E62B0DA36CBC28 Time : 0.0 sec. user=mdettweiler [2016-04-01 00:34:10] 691*2^1424965-1 is not prime. Res64: F9660A9D2F576D18 Time : 0.0 sec. user=mdettweiler [2016-04-01 00:34:10] 757*2^1424965-1 is not prime. Res64: 8B8EC3EC4ABC7D7E Time : 0.0 sec. user=mdettweiler [2016-04-01 01:11:13] 765*2^1424965-1 is not prime. Res64: C6BD7D230402C473 Time : 0.0 sec. user=mdettweiler [2016-04-01 01:11:14] 915*2^1424965-1 is not prime. Res64: B93BB020BA629E56 Time : 0.0 sec. user=mdettweiler [2016-04-01 01:11:14] 999*2^1424965-1 is not prime. Res64: 8762A469435B4D57 Time : 0.0 sec. user=mdettweiler [2016-04-01 01:11:15] 615*2^1424966-1 is not prime. Res64: B0BCF6FA795ABA5F Time : 0.0 sec. user=mdettweiler [2016-04-01 01:11:15] 671*2^1424966-1 is not prime. Res64: 1D5C91020BC0C165 Time : 0.0 sec. user=mdettweiler [2016-04-01 01:13:10] 683*2^1424966-1 is not prime. Res64: 0A8A17E025611BC1 Time : 0.0 sec. user=mdettweiler [2016-04-01 01:13:10] 693*2^1424966-1 is not prime. Res64: 0C34923D1437897D Time : 0.0 sec. user=mdettweiler [2016-04-01 01:13:11] 711*2^1424966-1 is not prime. Res64: C996072B998FA8C9 Time : 0.0 sec. user=mdettweiler [2016-04-01 01:13:11] 903*2^1424966-1 is not prime. Res64: B41D94637AA2ECDB Time : 0.0 sec. user=mdettweiler [2016-04-01 01:13:12] 923*2^1424966-1 is not prime. Res64: 96AA78F2557CFC2C Time : 0.0 sec. user=mdettweiler [2016-04-01 01:16:44] 971*2^1424966-1 is not prime. Res64: 4D5046266E2377D1 Time : 0.0 sec. user=mdettweiler [2016-04-01 01:16:45] 1001*2^1424966-1 is not prime. Res64: AFA097FEDF22EB7B Time : 0.0 sec. user=mdettweiler [2016-04-01 01:16:45] 649*2^1424967-1 is not prime. Res64: 31026F0AB274DB69 Time : 0.0 sec. user=mdettweiler [2016-04-01 01:16:46] 861*2^1424967-1 is not prime. Res64: 50715D74AD0F1929 Time : 0.0 sec. user=mdettweiler [2016-04-01 01:16:46] 871*2^1424967-1 is not prime. Res64: 310A275B0E88F7AA Time : 0.0 sec. user=mdettweiler [2016-04-01 01:20:20] 945*2^1424967-1 is not prime. Res64: 6327E5C72C88C374 Time : 0.0 sec. user=mdettweiler [2016-04-01 01:20:20] 951*2^1424967-1 is not prime. Res64: E5777F0C2EB30618 Time : 0.0 sec. user=mdettweiler [2016-04-01 01:20:21] 765*2^1424968-1 is not prime. Res64: 139814464378BE88 Time : 0.0 sec. user=mdettweiler [2016-04-01 01:20:21] 845*2^1424968-1 is not prime. Res64: FAD68E813D30F2B5 Time : 0.0 sec. user=mdettweiler [2016-04-01 01:20:21] 999*2^1424968-1 is not prime. Res64: 057B0306763E623A Time : 0.0 sec. user=mdettweiler [2016-04-01 01:40:02] 957*2^1424972-1 is not prime. Res64: 39DAE21FD1E7A297 Time : 0.0 sec. user=mdettweiler [2016-04-01 01:56:19] 615*2^1424969-1 is not prime. Res64: 251D3EF853D636BD Time : 0.0 sec. user=mdettweiler [2016-04-01 01:56:20] 619*2^1424969-1 is not prime. Res64: C753E8E49A76F96E Time : 0.0 sec. user=mdettweiler [2016-04-01 01:56:20] 657*2^1424969-1 is not prime. Res64: 34D4E2A3A32C174E Time : 0.0 sec. user=mdettweiler [2016-04-01 01:56:21] 747*2^1424969-1 is not prime. Res64: DC05866FA2672F1A Time : 0.0 sec. user=mdettweiler [2016-04-01 01:56:21] 771*2^1424969-1 is not prime. Res64: DDAF5EC14FC2BA88 Time : 0.0 sec. user=mdettweiler [2016-04-01 01:58:19] 949*2^1424969-1 is not prime. Res64: A25CB83C0A37332C Time : 0.0 sec. user=mdettweiler [2016-04-01 01:58:19] 773*2^1424970-1 is not prime. Res64: EF88EB744AE905B6 Time : 0.0 sec. user=mdettweiler [2016-04-01 01:58:20] 803*2^1424970-1 is not prime. Res64: B5C8806220F84FDC Time : 0.0 sec. user=mdettweiler [2016-04-01 01:58:20] 867*2^1424970-1 is not prime. Res64: 27091A5A2C8417D1 Time : 0.0 sec. user=mdettweiler [2016-04-01 01:58:20] 923*2^1424970-1 is not prime. Res64: 362F51ABF065F4D9 Time : 0.0 sec. user=mdettweiler [2016-04-01 01:58:32] 959*2^1424972-1 is not prime. Res64: 0A85C8CDCB8BB6CB Time : 0.0 sec. user=mdettweiler [2016-04-01 02:01:32] 685*2^1424971-1 is not prime. Res64: 774F874A467328F4 Time : 0.0 sec. user=mdettweiler [2016-04-01 02:01:33] 735*2^1424971-1 is not prime. Res64: 4FA9A27D5820A18A Time : 0.0 sec. user=mdettweiler [2016-04-01 02:01:34] 861*2^1424971-1 is not prime. Res64: FA2080C7EFDAC484 Time : 0.0 sec. user=mdettweiler [2016-04-01 02:01:35] 885*2^1424971-1 is not prime. Res64: 7F2AEBC6AF19477C Time : 0.0 sec. user=mdettweiler [2016-04-01 02:01:36] 891*2^1424971-1 is not prime. Res64: F164C56F9E450951 Time : 0.0 sec. user=mdettweiler [2016-04-01 02:05:21] 603*2^1424972-1 is not prime. Res64: 4993F19859EC3A21 Time : 0.0 sec. user=mdettweiler [2016-04-01 02:05:22] 759*2^1424972-1 is not prime. Res64: 4BDA6E5C7951570D Time : 0.0 sec. user=mdettweiler [2016-04-01 02:05:22] 825*2^1424972-1 is not prime. Res64: 5176C2F1802510AB Time : 0.0 sec. user=mdettweiler [2016-04-01 02:05:23] 837*2^1424972-1 is not prime. Res64: 87C8CC90C98DD1DA Time : 0.0 sec. user=mdettweiler [2016-04-01 02:05:24] 929*2^1424972-1 is not prime. Res64: 8FE23E25B26E8EA5 Time : 0.0 sec. user=mdettweiler [2016-04-01 02:41:30] 811*2^1424973-1 is not prime. Res64: A8E49A84C315EA38 Time : 0.0 sec. user=mdettweiler [2016-04-01 02:41:31] 889*2^1424973-1 is not prime. Res64: C064475608168304 Time : 0.0 sec. user=mdettweiler [2016-04-01 02:41:31] 945*2^1424973-1 is not prime. Res64: 1F6258585FE57F84 Time : 0.0 sec. user=mdettweiler [2016-04-01 02:41:31] 999*2^1424973-1 is not prime. Res64: 2DCDA09D04E781BD Time : 0.0 sec. user=mdettweiler [2016-04-01 02:41:32] 675*2^1424974-1 is not prime. Res64: 23D4003B5D82E36B Time : 0.0 sec. user=mdettweiler [2016-04-01 02:43:59] 717*2^1424974-1 is not prime. Res64: 29B2527AA5E881AD Time : 0.0 sec. user=mdettweiler [2016-04-01 02:43:59] 731*2^1424974-1 is not prime. Res64: 58B52B34838CBC22 Time : 0.0 sec. user=mdettweiler [2016-04-01 02:43:59] 917*2^1424974-1 is not prime. Res64: CE09397C6D8B8117 Time : 0.0 sec. user=mdettweiler [2016-04-01 02:44:00] 965*2^1424974-1 is not prime. Res64: 753CB74EEE4B6F60 Time : 0.0 sec. user=mdettweiler [2016-04-01 02:44:00] 721*2^1424975-1 is not prime. Res64: 79AFC9D6BCD614FE Time : 0.0 sec. user=mdettweiler [2016-04-01 02:46:55] 823*2^1424975-1 is not prime. Res64: 6808EAEAEAC7EBEA Time : 0.0 sec. user=mdettweiler [2016-04-01 02:46:56] 831*2^1424975-1 is not prime. Res64: 38D297E58C31B1DB Time : 0.0 sec. user=mdettweiler [2016-04-01 02:46:56] 871*2^1424975-1 is not prime. Res64: 01329EBA8CA8F13C Time : 0.0 sec. user=mdettweiler [2016-04-01 02:46:57] 943*2^1424975-1 is not prime. Res64: 1F8D794FB80519AB Time : 0.0 sec. user=mdettweiler [2016-04-01 02:46:57] 767*2^1424976-1 is not prime. Res64: 4A516E3C3C27FD3C Time : 0.0 sec. user=mdettweiler [2016-04-01 02:51:04] 873*2^1424976-1 is not prime. Res64: 0511C214F14FF3A0 Time : 0.0 sec. user=mdettweiler [2016-04-01 02:51:04] 927*2^1424976-1 is not prime. Res64: 22F997FB9638BF0C Time : 0.0 sec. user=mdettweiler [2016-04-01 02:51:05] 619*2^1424977-1 is not prime. Res64: 55E295801EF11607 Time : 0.0 sec. user=mdettweiler [2016-04-01 02:51:06] 819*2^1424977-1 is not prime. Res64: 32907F440ED58F33 Time : 0.0 sec. user=mdettweiler [2016-04-01 02:51:07] 665*2^1424978-1 is not prime. Res64: F5D06E20A25A8E18 Time : 0.0 sec. user=mdettweiler [2016-04-01 03:26:24] 671*2^1424978-1 is not prime. Res64: E2A35840D4D9E8C2 Time : 0.0 sec. user=mdettweiler [2016-04-01 03:26:25] 797*2^1424978-1 is not prime. Res64: D070AC04EC0191DB Time : 0.0 sec. user=mdettweiler [2016-04-01 03:26:26] 801*2^1424978-1 is not prime. Res64: 46B4100DFA797E85 Time : 0.0 sec. user=mdettweiler [2016-04-01 03:26:27] 963*2^1424978-1 is not prime. Res64: A624B11F18E7C8FC Time : 0.0 sec. user=mdettweiler [2016-04-01 03:26:27] 601*2^1424979-1 is not prime. Res64: CA9C8425942CBD71 Time : 0.0 sec. user=mdettweiler [2016-04-01 03:28:46] 609*2^1424979-1 is not prime. Res64: 26E1559DE990785A Time : 0.0 sec. user=mdettweiler [2016-04-01 03:28:47] 615*2^1424979-1 is not prime. Res64: AA3AA839D8475550 Time : 0.0 sec. user=mdettweiler [2016-04-01 03:28:48] 669*2^1424979-1 is not prime. Res64: 5D7943D5F8CB7596 Time : 0.0 sec. user=mdettweiler [2016-04-01 03:28:48] 691*2^1424979-1 is not prime. Res64: 808444F0651CDDCE Time : 0.0 sec. user=mdettweiler [2016-04-01 03:28:50] 735*2^1424979-1 is not prime. Res64: 3E36E76767331F36 Time : 0.0 sec. user=mdettweiler [2016-04-01 03:31:40] 825*2^1424979-1 is not prime. Res64: 5BD8AFF8C5A165AB Time : 0.0 sec. user=mdettweiler [2016-04-01 03:31:41] 891*2^1424979-1 is not prime. Res64: 8AC2B4F1C9B42294 Time : 0.0 sec. user=mdettweiler [2016-04-01 03:31:43] 951*2^1424979-1 is not prime. Res64: 356051333DEDD387 Time : 0.0 sec. user=mdettweiler [2016-04-01 03:31:44] 615*2^1424980-1 is not prime. Res64: 892A3DA5D8A1A103 Time : 0.0 sec. user=mdettweiler [2016-04-01 03:31:46] 635*2^1424980-1 is not prime. Res64: 0A0068382441A81F Time : 0.0 sec. user=mdettweiler [2016-04-01 03:36:01] 783*2^1424980-1 is not prime. Res64: 1D0747CDBCDE9A8C Time : 0.0 sec. user=mdettweiler [2016-04-01 03:36:01] 785*2^1424980-1 is not prime. Res64: 6711AB7F21CE4419 Time : 0.0 sec. user=mdettweiler [2016-04-01 03:36:02] 863*2^1424980-1 is not prime. Res64: 8A5700A724615959 Time : 0.0 sec. user=mdettweiler [2016-04-01 03:36:03] 929*2^1424980-1 is not prime. Res64: 8D41441555BEE806 Time : 0.0 sec. user=mdettweiler [2016-04-01 03:36:04] 957*2^1424980-1 is not prime. Res64: A8964ABDA96F6DC3 Time : 0.0 sec. user=mdettweiler [2016-04-01 04:02:24] 677*2^1424984-1 is not prime. Res64: 08E9F454D7631102 Time : 0.0 sec. user=mdettweiler [2016-04-01 04:11:26] 983*2^1424980-1 is not prime. Res64: 15CFA1D0F039F625 Time : 0.0 sec. user=mdettweiler [2016-04-01 04:11:26] 989*2^1424980-1 is not prime. Res64: 22A302C132148816 Time : 0.0 sec. user=mdettweiler [2016-04-01 04:11:27] 999*2^1424980-1 is not prime. Res64: CBCF1C3A2D629341 Time : 0.0 sec. user=mdettweiler [2016-04-01 04:11:27] 615*2^1424981-1 is not prime. Res64: 1B718D47962AA64C Time : 0.0 sec. user=mdettweiler [2016-04-01 04:11:27] 781*2^1424981-1 is not prime. Res64: 9C43A40437D06BC4 Time : 0.0 sec. user=mdettweiler [2016-04-01 04:13:42] 837*2^1424981-1 is not prime. Res64: 97C05F42BFD33CA1 Time : 0.0 sec. user=mdettweiler [2016-04-01 04:13:44] 879*2^1424981-1 is not prime. Res64: 44EF13F600E476C5 Time : 0.0 sec. user=mdettweiler [2016-04-01 04:13:45] 949*2^1424981-1 is not prime. Res64: AD594BB1D004A7DF Time : 0.0 sec. user=mdettweiler [2016-04-01 04:13:46] 657*2^1424982-1 is not prime. Res64: 71E1F978E3357DC6 Time : 0.0 sec. user=mdettweiler [2016-04-01 04:13:46] 695*2^1424982-1 is not prime. Res64: B7B7E7FDAA7AE0A5 Time : 0.0 sec. user=mdettweiler [2016-04-01 04:16:26] 765*2^1424982-1 is not prime. Res64: 212553F7AC25F445 Time : 0.0 sec. user=mdettweiler [2016-04-01 04:16:27] 873*2^1424982-1 is not prime. Res64: 618D724D111C8C24 Time : 0.0 sec. user=mdettweiler [2016-04-01 04:16:27] 649*2^1424983-1 is not prime. Res64: E2AFBCC8A6DA4662 Time : 0.0 sec. user=mdettweiler [2016-04-01 04:16:27] 679*2^1424983-1 is not prime. Res64: F4085EF3620F9EEB Time : 0.0 sec. user=mdettweiler [2016-04-01 04:16:28] 745*2^1424983-1 is not prime. Res64: 839105A6405F150A Time : 0.0 sec. user=mdettweiler [2016-04-01 04:20:51] 891*2^1424983-1 is not prime. Res64: 72857279E15CFDEA Time : 0.0 sec. user=mdettweiler [2016-04-01 04:20:51] 933*2^1424983-1 is not prime. Res64: E213F079C05E6FAA Time : 0.0 sec. user=mdettweiler [2016-04-01 04:20:52] 939*2^1424983-1 is not prime. Res64: A6B97CC32E31498F Time : 0.0 sec. user=mdettweiler [2016-04-01 04:20:52] 969*2^1424983-1 is not prime. Res64: 74717448820C96B6 Time : 0.0 sec. user=mdettweiler [2016-04-01 04:20:53] 609*2^1424984-1 is not prime. Res64: 1D3D6EB00CB556F6 Time : 0.0 sec. user=mdettweiler [2016-04-01 04:56:23] 687*2^1424984-1 is not prime. Res64: 191102C2A51E4D46 Time : 0.0 sec. user=mdettweiler [2016-04-01 04:56:23] 759*2^1424984-1 is not prime. Res64: AC2061FF980549C7 Time : 0.0 sec. user=mdettweiler [2016-04-01 04:56:23] 785*2^1424984-1 is not prime. Res64: 3A458EBFF5C92E58 Time : 0.0 sec. user=mdettweiler [2016-04-01 04:56:24] 601*2^1424985-1 is not prime. Res64: CD6F5FCEDD9AC958 Time : 0.0 sec. user=mdettweiler [2016-04-01 04:56:24] 699*2^1424985-1 is not prime. Res64: A60C6DF1254478D0 Time : 0.0 sec. user=mdettweiler [2016-04-01 04:58:27] 705*2^1424985-1 is not prime. Res64: 75D90F815DB4A2D4 Time : 0.0 sec. user=mdettweiler [2016-04-01 04:58:27] 861*2^1424985-1 is not prime. Res64: 58097484120615DD Time : 0.0 sec. user=mdettweiler [2016-04-01 04:58:28] 885*2^1424985-1 is not prime. Res64: FD26F38549CEB5E1 Time : 0.0 sec. user=mdettweiler [2016-04-01 04:58:28] 617*2^1424986-1 is not prime. Res64: 22F4EDACE30A14CE Time : 0.0 sec. user=mdettweiler [2016-04-01 04:58:28] 635*2^1424986-1 is not prime. Res64: 0DA3F2F1DDCBC282 Time : 0.0 sec. user=mdettweiler [2016-04-01 05:01:02] 653*2^1424986-1 is not prime. Res64: 862B7F80DECD001E Time : 0.0 sec. user=mdettweiler [2016-04-01 05:01:03] 713*2^1424986-1 is not prime. Res64: A23D6C653D7BAE8C Time : 0.0 sec. user=mdettweiler [2016-04-01 05:01:04] 773*2^1424986-1 is not prime. Res64: A0A3DD5815C0A1EB Time : 0.0 sec. user=mdettweiler [2016-04-01 05:01:05] 993*2^1424986-1 is not prime. Res64: B8FEA8E3E1E3C279 Time : 0.0 sec. user=mdettweiler [2016-04-01 05:01:06] 603*2^1424987-1 is not prime. Res64: 3F59FE620B53B5AE Time : 0.0 sec. user=mdettweiler [2016-04-01 05:06:09] 885*2^1424987-1 is not prime. Res64: 3C0A16641E5F1899 Time : 0.0 sec. user=mdettweiler [2016-04-01 05:06:10] 627*2^1424988-1 is not prime. Res64: B79404229AE7E2A8 Time : 0.0 sec. user=mdettweiler [2016-04-01 05:06:11] 689*2^1424988-1 is not prime. Res64: 5A4F85391D3C265E Time : 0.0 sec. user=mdettweiler [2016-04-01 05:06:13] 825*2^1424988-1 is not prime. Res64: C715E319DC4260C5 Time : 0.0 sec. user=mdettweiler [2016-04-01 05:06:14] 923*2^1424988-1 is not prime. Res64: 17231E5184F8CBE5 Time : 0.0 sec. user=mdettweiler [2016-04-01 05:42:31] 625*2^1424989-1 is not prime. Res64: 866F583BC9016C07 Time : 0.0 sec. user=mdettweiler [2016-04-01 05:42:32] 661*2^1424989-1 is not prime. Res64: F44C074502A0CC36 Time : 0.0 sec. user=mdettweiler [2016-04-01 05:42:32] 679*2^1424989-1 is not prime. Res64: 1530256197E1691B Time : 0.0 sec. user=mdettweiler [2016-04-01 05:42:33] 741*2^1424989-1 is not prime. Res64: 72C99138BFD0C0FD Time : 0.0 sec. user=mdettweiler [2016-04-01 05:42:33] 825*2^1424989-1 is not prime. Res64: 1D2C94EA6F452E0D Time : 0.0 sec. user=mdettweiler [2016-04-01 05:44:26] 999*2^1424989-1 is not prime. Res64: A615C46758E188E5 Time : 0.0 sec. user=mdettweiler [2016-04-01 05:44:26] 635*2^1424990-1 is not prime. Res64: F95BE8A41E34DA0A Time : 0.0 sec. user=mdettweiler [2016-04-01 05:44:26] 687*2^1424990-1 is not prime. Res64: 772B67B967E5054E Time : 0.0 sec. user=mdettweiler [2016-04-01 05:44:27] 827*2^1424990-1 is not prime. Res64: 27D5C26D0917D463 Time : 0.0 sec. user=mdettweiler [2016-04-01 05:44:27] 875*2^1424990-1 is not prime. Res64: E34F58962814566A Time : 0.0 sec. user=mdettweiler [2016-04-01 05:46:44] 915*2^1424990-1 is not prime. Res64: 55A7DD53D9B7C3DC Time : 0.0 sec. user=mdettweiler [2016-04-01 05:46:44] 661*2^1424991-1 is not prime. Res64: 2D55571FE6887D37 Time : 0.0 sec. user=mdettweiler [2016-04-01 05:46:44] 789*2^1424991-1 is not prime. Res64: 45547A85C666BDBA Time : 0.0 sec. user=mdettweiler [2016-04-01 05:46:45] 871*2^1424991-1 is not prime. Res64: C35B54554E71666A Time : 0.0 sec. user=mdettweiler [2016-04-01 05:46:45] 891*2^1424991-1 is not prime. Res64: 985EEAF5AFE9F5D9 Time : 0.0 sec. user=mdettweiler [2016-04-01 05:51:41] 909*2^1424991-1 is not prime. Res64: F08BD2EC3F802AEB Time : 0.0 sec. user=mdettweiler [2016-04-01 05:51:41] 999*2^1424991-1 is not prime. Res64: F508EA0BA4F2D9DF Time : 0.0 sec. user=mdettweiler [2016-04-01 05:51:41] 603*2^1424992-1 is not prime. Res64: 40187BF066B03D47 Time : 0.0 sec. user=mdettweiler [2016-04-01 05:51:42] 609*2^1424992-1 is not prime. Res64: E806D8135DCE3EA5 Time : 0.0 sec. user=mdettweiler [2016-04-01 05:51:42] 615*2^1424992-1 is not prime. Res64: 8DBBAE0CD5F2A4E2 Time : 0.0 sec. user=mdettweiler [2016-04-01 06:27:30] 665*2^1424992-1 is not prime. Res64: 09254E8708B54ACD Time : 0.0 sec. user=mdettweiler [2016-04-01 06:27:30] 693*2^1424992-1 is not prime. Res64: 4A66B34FC4AE3EF6 Time : 0.0 sec. user=mdettweiler [2016-04-01 06:27:30] 759*2^1424992-1 is not prime. Res64: 34A9D2AA5F094803 Time : 0.0 sec. user=mdettweiler [2016-04-01 06:27:31] 887*2^1424992-1 is not prime. Res64: F7DCE470F9DE5B27 Time : 0.0 sec. user=mdettweiler [2016-04-01 06:27:31] 917*2^1424992-1 is not prime. Res64: C217C6059ACC871A Time : 0.0 sec. user=mdettweiler [2016-04-01 06:29:20] 983*2^1424992-1 is not prime. Res64: E60958867CBED07C Time : 0.0 sec. user=mdettweiler [2016-04-01 06:29:20] 619*2^1424993-1 is not prime. Res64: 6F07A4E6FD3E84CA Time : 0.0 sec. user=mdettweiler [2016-04-01 06:29:21] 721*2^1424993-1 is not prime. Res64: 6F75CAE178418A83 Time : 0.0 sec. user=mdettweiler [2016-04-01 06:29:21] 781*2^1424993-1 is not prime. Res64: 2B48137FBE36E0B5 Time : 0.0 sec. user=mdettweiler [2016-04-01 06:29:21] 789*2^1424993-1 is not prime. Res64: BF0B5BE4A81E5D1B Time : 0.0 sec. user=mdettweiler [2016-04-01 06:31:31] 795*2^1424993-1 is not prime. Res64: E424DE8EA017CAFD Time : 0.0 sec. user=mdettweiler [2016-04-01 06:31:31] 811*2^1424993-1 is not prime. Res64: 9FA1DB1850D81250 Time : 0.0 sec. user=mdettweiler [2016-04-01 06:31:32] 937*2^1424993-1 is not prime. Res64: DEDE8E8A54BC738E Time : 0.0 sec. user=mdettweiler [2016-04-01 06:31:32] 951*2^1424993-1 is not prime. Res64: F556BDB5199E5663 Time : 0.0 sec. user=mdettweiler [2016-04-01 06:31:32] 621*2^1424994-1 is not prime. Res64: 56723831FE426F31 Time : 0.0 sec. user=mdettweiler [2016-04-01 06:36:21] 671*2^1424994-1 is not prime. Res64: 5DAD4B9EF6572FC0 Time : 0.0 sec. user=mdettweiler [2016-04-01 06:36:21] 747*2^1424994-1 is not prime. Res64: 8F5757C5AF2BFA95 Time : 0.0 sec. user=mdettweiler [2016-04-01 06:36:22] 767*2^1424994-1 is not prime. Res64: 3D4A239C69E9E0A3 Time : 0.0 sec. user=mdettweiler [2016-04-01 06:36:22] 887*2^1424994-1 is not prime. Res64: 0514525721CA22DE Time : 0.0 sec. user=mdettweiler [2016-04-01 06:36:22] 971*2^1424994-1 is not prime. Res64: 595D385D69E19B51 Time : 0.0 sec. user=mdettweiler [2016-04-01 07:12:30] 983*2^1424994-1 is not prime. Res64: 2E31CE0153E5C87A Time : 0.0 sec. user=mdettweiler [2016-04-01 07:12:31] 741*2^1424995-1 is not prime. Res64: 34F5B2603DEE17D5 Time : 0.0 sec. user=mdettweiler [2016-04-01 07:12:31] 861*2^1424995-1 is not prime. Res64: 9DF34D61A0C04799 Time : 0.0 sec. user=mdettweiler [2016-04-01 07:12:31] 939*2^1424995-1 is not prime. Res64: 4FE8564637451B0B Time : 0.0 sec. user=mdettweiler [2016-04-01 07:12:32] 973*2^1424995-1 is not prime. Res64: A717417727184ECB Time : 0.0 sec. user=mdettweiler [2016-04-01 07:14:27] 999*2^1424995-1 is not prime. Res64: 5DAFBD32F4369B04 Time : 0.0 sec. user=mdettweiler [2016-04-01 07:14:27] 629*2^1424996-1 is not prime. Res64: 5FFB1FC758D4684F Time : 0.0 sec. user=mdettweiler [2016-04-01 07:14:27] 693*2^1424996-1 is not prime. Res64: C3468163F502B06D Time : 0.0 sec. user=mdettweiler [2016-04-01 07:14:28] 735*2^1424996-1 is not prime. Res64: 04CD580FF11B1710 Time : 0.0 sec. user=mdettweiler [2016-04-01 07:14:28] 743*2^1424996-1 is not prime. Res64: C44DD639D9CAE96C Time : 0.0 sec. user=mdettweiler [2016-04-01 07:16:16] 785*2^1424996-1 is not prime. Res64: E6FDAB2525286786 Time : 0.0 sec. user=mdettweiler [2016-04-01 07:16:17] 625*2^1424997-1 is not prime. Res64: 39A78E0104A3A026 Time : 0.0 sec. user=mdettweiler [2016-04-01 07:16:17] 655*2^1424997-1 is not prime. Res64: 0645399B78A6ABA1 Time : 0.0 sec. user=mdettweiler [2016-04-01 07:16:18] 685*2^1424997-1 is not prime. Res64: 185B314EE5F6A8AB Time : 0.0 sec. user=mdettweiler [2016-04-01 07:16:18] 717*2^1424997-1 is not prime. Res64: 495FB33B12947547 Time : 0.0 sec. user=mdettweiler [2016-04-01 07:21:17] 805*2^1424997-1 is not prime. Res64: AA6118B3A43F8D58 Time : 0.0 sec. user=mdettweiler [2016-04-01 07:21:17] 819*2^1424997-1 is not prime. Res64: F6C3751F23339E12 Time : 0.0 sec. user=mdettweiler [2016-04-01 07:21:17] 831*2^1424997-1 is not prime. Res64: 48621385571D8447 Time : 0.0 sec. user=mdettweiler [2016-04-01 07:21:18] 891*2^1424997-1 is not prime. Res64: D619125D4FD314CB Time : 0.0 sec. user=mdettweiler [2016-04-01 07:21:18] 705*2^1424998-1 is not prime. Res64: 4214EE52AD1BD230 Time : 0.0 sec. user=mdettweiler [2016-04-01 07:50:56] 615*2^1425002-1 is not prime. Res64: C32DB766FDE52696 Time : 0.0 sec. user=mdettweiler [2016-04-01 07:57:15] 761*2^1424998-1 is not prime. Res64: B88C236F7C3C2C1C Time : 0.0 sec. user=mdettweiler [2016-04-01 07:57:15] 791*2^1424998-1 is not prime. Res64: AC7DC720AF4C5B07 Time : 0.0 sec. user=mdettweiler [2016-04-01 07:57:16] 861*2^1424999-1 is not prime. Res64: 04A81395FD562872 Time : 0.0 sec. user=mdettweiler [2016-04-01 07:57:16] 889*2^1424999-1 is not prime. Res64: 7EFD705B31D9D8CB Time : 0.0 sec. user=mdettweiler [2016-04-01 07:57:17] 895*2^1424999-1 is not prime. Res64: BC177911EDAF2427 Time : 0.0 sec. user=mdettweiler [2016-04-01 07:59:15] 609*2^1425000-1 is not prime. Res64: 4692FFE9375CC706 Time : 0.0 sec. user=mdettweiler [2016-04-01 07:59:16] 675*2^1425000-1 is not prime. Res64: 64C0CC8EA5D6ABF1 Time : 0.0 sec. user=mdettweiler [2016-04-01 07:59:16] 693*2^1425000-1 is not prime. Res64: 0BE8561F372196C5 Time : 0.0 sec. user=mdettweiler [2016-04-01 07:59:16] 695*2^1425000-1 is not prime. Res64: 1D66F1CB20B39E8E Time : 0.0 sec. user=mdettweiler [2016-04-01 07:59:17] 717*2^1425000-1 is not prime. Res64: ECC35FCAE5439199 Time : 0.0 sec. user=mdettweiler [2016-04-01 08:00:57] 735*2^1425000-1 is not prime. Res64: 4B8C6005D2FA2661 Time : 0.0 sec. user=mdettweiler [2016-04-01 08:00:58] 879*2^1425000-1 is not prime. Res64: 214598A03AAC7C44 Time : 0.0 sec. user=mdettweiler [2016-04-01 08:00:58] 615*2^1425001-1 is not prime. Res64: 71250CEF45449073 Time : 0.0 sec. user=mdettweiler [2016-04-01 08:00:59] 637*2^1425001-1 is not prime. Res64: 97D3061A7DE3ED66 Time : 0.0 sec. user=mdettweiler [2016-04-01 08:01:00] 679*2^1425001-1 is not prime. Res64: 3EE66D9CE8B0D59A Time : 0.0 sec. user=mdettweiler [2016-04-01 08:05:46] 681*2^1425001-1 is not prime. Res64: 699EF16EA675F861 Time : 0.0 sec. user=mdettweiler [2016-04-01 08:05:47] 751*2^1425001-1 is not prime. Res64: 50198E762F1AB989 Time : 0.0 sec. user=mdettweiler [2016-04-01 08:05:48] 847*2^1425001-1 is not prime. Res64: 31CC52529DFF1D79 Time : 0.0 sec. user=mdettweiler [2016-04-01 08:05:49] 861*2^1425001-1 is not prime. Res64: C68B18E5BB83F0E9 Time : 0.0 sec. user=mdettweiler [2016-04-01 08:05:50] 987*2^1425001-1 is not prime. Res64: 6B142A2EBCAE19A1 Time : 0.0 sec. user=mdettweiler [2016-04-01 08:42:06] 701*2^1425002-1 is not prime. Res64: 1F4453513FB93329 Time : 0.0 sec. user=mdettweiler [2016-04-01 08:42:06] 771*2^1425002-1 is not prime. Res64: A20753448DB692BC Time : 0.0 sec. user=mdettweiler [2016-04-01 08:42:07] 797*2^1425002-1 is not prime. Res64: 889B5F9118411282 Time : 0.0 sec. user=mdettweiler [2016-04-01 08:42:07] 825*2^1425002-1 is not prime. Res64: CE6362C5FA17DE0E Time : 0.0 sec. user=mdettweiler [2016-04-01 08:42:08] 953*2^1425002-1 is not prime. Res64: AC50D3BAE200E877 Time : 0.0 sec. user=mdettweiler [2016-04-01 08:44:08] 981*2^1425002-1 is not prime. Res64: 4AB510EF1E20B7B2 Time : 0.0 sec. user=mdettweiler [2016-04-01 08:44:08] 619*2^1425003-1 is not prime. Res64: 01D906B9049D0B38 Time : 0.0 sec. user=mdettweiler [2016-04-01 08:44:09] 663*2^1425003-1 is not prime. Res64: A8A749069E46DFD1 Time : 0.0 sec. user=mdettweiler [2016-04-01 08:44:09] 699*2^1425003-1 is not prime. Res64: 214F38748AAF6901 Time : 0.0 sec. user=mdettweiler [2016-04-01 08:44:09] 705*2^1425003-1 is not prime. Res64: 4E63CE92EE9D1191 Time : 0.0 sec. user=mdettweiler [2016-04-01 08:45:45] 805*2^1425003-1 is not prime. Res64: C4CEC953FB487766 Time : 0.0 sec. user=mdettweiler [2016-04-01 08:45:46] 635*2^1425004-1 is not prime. Res64: D1C94A739218F66A Time : 0.0 sec. user=mdettweiler [2016-04-01 08:45:46] 719*2^1425004-1 is not prime. Res64: 92C616D8C34FE746 Time : 0.0 sec. user=mdettweiler [2016-04-01 08:45:46] 825*2^1425004-1 is not prime. Res64: E81D203B09112D7F Time : 0.0 sec. user=mdettweiler [2016-04-01 08:45:46] 857*2^1425004-1 is not prime. Res64: 51E4F4EE9AB9BE11 Time : 0.0 sec. user=mdettweiler [2016-04-01 08:50:43] 649*2^1425005-1 is not prime. Res64: 54DE0AD185BD4236 Time : 0.0 sec. user=mdettweiler [2016-04-01 08:50:43] 691*2^1425005-1 is not prime. Res64: 818B095E069ABBB0 Time : 0.0 sec. user=mdettweiler [2016-04-01 08:50:44] 799*2^1425005-1 is not prime. Res64: 5D86743524A19215 Time : 0.0 sec. user=mdettweiler [2016-04-01 08:50:44] 831*2^1425005-1 is not prime. Res64: 20ED8104ECB138DC Time : 0.0 sec. user=mdettweiler [2016-04-01 08:50:45] 865*2^1425005-1 is not prime. Res64: 35BED6F7E405BC9A Time : 0.0 sec. user=mdettweiler [2016-04-01 09:27:00] 867*2^1425005-1 is not prime. Res64: 53D8511E4A3DE4C6 Time : 0.0 sec. user=mdettweiler [2016-04-01 09:27:00] 627*2^1425006-1 is not prime. Res64: DB9568F174470A75 Time : 0.0 sec. user=mdettweiler [2016-04-01 09:27:01] 711*2^1425006-1 is not prime. Res64: D1E12962627938F6 Time : 0.0 sec. user=mdettweiler [2016-04-01 09:27:01] 619*2^1425007-1 is not prime. Res64: F48B55D6183F6EB7 Time : 0.0 sec. user=mdettweiler [2016-04-01 09:27:01] 741*2^1425007-1 is not prime. Res64: 1A032593594B40FE Time : 0.0 sec. user=mdettweiler [2016-04-01 09:29:10] 763*2^1425007-1 is not prime. Res64: EFD3A6B8FDF5D139 Time : 0.0 sec. user=mdettweiler [2016-04-01 09:29:10] 841*2^1425007-1 is not prime. Res64: 14401E15C54D7469 Time : 0.0 sec. user=mdettweiler [2016-04-01 09:29:10] 951*2^1425007-1 is not prime. Res64: 9BC6815682C9B426 Time : 0.0 sec. user=mdettweiler [2016-04-01 09:29:11] 659*2^1425008-1 is not prime. Res64: 58DABF01218F57E8 Time : 0.0 sec. user=mdettweiler [2016-04-01 09:29:11] 669*2^1425008-1 is not prime. Res64: 350A49E316E8B664 Time : 0.0 sec. user=mdettweiler [2016-04-01 09:30:31] 869*2^1425008-1 is not prime. Res64: 221839F4652FD9F1 Time : 0.0 sec. user=mdettweiler [2016-04-01 09:30:31] 625*2^1425009-1 is not prime. Res64: F409A9B386D5C973 Time : 0.0 sec. user=mdettweiler [2016-04-01 09:30:31] 679*2^1425009-1 is not prime. Res64: F25DE1947E947651 Time : 0.0 sec. user=mdettweiler [2016-04-01 09:30:32] 741*2^1425009-1 is not prime. Res64: CCE2255D39E183E3 Time : 0.0 sec. user=mdettweiler [2016-04-01 09:30:32] 759*2^1425009-1 is not prime. Res64: 614CC80E0F05ADBB Time : 0.0 sec. user=mdettweiler [2016-04-01 09:35:28] 795*2^1425009-1 is not prime. Res64: 1E25C9D55A5AB2D7 Time : 0.0 sec. user=mdettweiler [2016-04-01 09:35:29] 889*2^1425009-1 is not prime. Res64: 86F917A9759E22BA Time : 0.0 sec. user=mdettweiler [2016-04-01 09:35:29] 907*2^1425009-1 is not prime. Res64: 295E7501E07E688E Time : 0.0 sec. user=mdettweiler [2016-04-01 09:35:29] 949*2^1425009-1 is not prime. Res64: EA58368BC7C74850 Time : 0.0 sec. user=mdettweiler [2016-04-01 09:35:30] 987*2^1425009-1 is not prime. Res64: 0BF497744DD83CA6 Time : 0.0 sec. user=mdettweiler [2016-04-01 10:11:54] 723*2^1425010-1 is not prime. Res64: 09D524566358E599 Time : 0.0 sec. user=mdettweiler [2016-04-01 10:11:54] 777*2^1425010-1 is not prime. Res64: 3FA5C4077192B0D7 Time : 0.0 sec. user=mdettweiler [2016-04-01 10:11:55] 843*2^1425010-1 is not prime. Res64: ABA12B6D301E8DC4 Time : 0.0 sec. user=mdettweiler [2016-04-01 10:11:55] 857*2^1425010-1 is not prime. Res64: C76B1259502C6540 Time : 0.0 sec. user=mdettweiler [2016-04-01 10:11:56] 923*2^1425010-1 is not prime. Res64: 29F6A406BB98FF19 Time : 0.0 sec. user=mdettweiler [2016-04-01 10:14:00] 957*2^1425010-1 is not prime. Res64: 5493F632A05CA56C Time : 0.0 sec. user=mdettweiler [2016-04-01 10:14:01] 631*2^1425011-1 is not prime. Res64: 52E9B09D4C40B92E Time : 0.0 sec. user=mdettweiler [2016-04-01 10:14:01] 711*2^1425011-1 is not prime. Res64: 6E66C5C97BF31681 Time : 0.0 sec. user=mdettweiler [2016-04-01 10:14:02] 715*2^1425011-1 is not prime. Res64: 8AC50F309C329174 Time : 0.0 sec. user=mdettweiler [2016-04-01 10:14:02] 745*2^1425011-1 is not prime. Res64: AD1BBC088EBB2D29 Time : 0.0 sec. user=mdettweiler [2016-04-01 10:15:12] 871*2^1425011-1 is not prime. Res64: DE53AEE78B441EB6 Time : 0.0 sec. user=mdettweiler [2016-04-01 10:15:12] 885*2^1425011-1 is not prime. Res64: 730BD75C7EB1D6AA Time : 0.0 sec. user=mdettweiler [2016-04-01 10:15:12] 669*2^1425012-1 is not prime. Res64: 09751261F882C753 Time : 0.0 sec. user=mdettweiler [2016-04-01 10:15:13] 693*2^1425012-1 is not prime. Res64: 2F7BF183185A44F5 Time : 0.0 sec. user=mdettweiler [2016-04-01 10:15:13] 875*2^1425012-1 is not prime. Res64: 8D85EBDE39ADFE18 Time : 0.0 sec. user=mdettweiler [2016-04-01 10:20:16] 915*2^1425012-1 is not prime. Res64: 9333770E79717924 Time : 0.0 sec. user=mdettweiler [2016-04-01 10:20:16] 607*2^1425013-1 is not prime. Res64: 3D516E9974D25DDF Time : 0.0 sec. user=mdettweiler [2016-04-01 10:20:16] 691*2^1425013-1 is not prime. Res64: 21659CF04B3449CD Time : 0.0 sec. user=mdettweiler [2016-04-01 10:20:17] 765*2^1425013-1 is not prime. Res64: 4B412BB4A202AC32 Time : 0.0 sec. user=mdettweiler [2016-04-01 10:20:17] 805*2^1425013-1 is not prime. Res64: 909E895DB35A28CF Time : 0.0 sec. user=mdettweiler [2016-04-01 10:56:56] 831*2^1425013-1 is not prime. Res64: 013617B355CB31CA Time : 0.0 sec. user=mdettweiler [2016-04-01 10:56:56] 885*2^1425013-1 is not prime. Res64: 1FE6C4FDEF28892E Time : 0.0 sec. user=mdettweiler [2016-04-01 10:56:57] 897*2^1425013-1 is not prime. Res64: 85AA7519C868E742 Time : 0.0 sec. user=mdettweiler [2016-04-01 10:56:57] 919*2^1425013-1 is not prime. Res64: BACA1EC6D3D6708D Time : 0.0 sec. user=mdettweiler [2016-04-01 10:56:58] 961*2^1425013-1 is not prime. Res64: E24C04253D5D55C1 Time : 0.0 sec. user=mdettweiler [2016-04-01 10:59:07] 615*2^1425014-1 is not prime. Res64: 4E7BFC4D1642C95D Time : 0.0 sec. user=mdettweiler [2016-04-01 10:59:08] 627*2^1425014-1 is not prime. Res64: FED60AF0B916C501 Time : 0.0 sec. user=mdettweiler [2016-04-01 10:59:08] 693*2^1425014-1 is not prime. Res64: 1E502F0C0CFAB5A2 Time : 0.0 sec. user=mdettweiler [2016-04-01 10:59:09] 705*2^1425014-1 is not prime. Res64: 4DE15D17552DD0EE Time : 0.0 sec. user=mdettweiler [2016-04-01 10:59:09] 755*2^1425014-1 is not prime. Res64: 46CA46CF4CFC7531 Time : 0.0 sec. user=mdettweiler [2016-04-01 10:59:59] 857*2^1425014-1 is not prime. Res64: B37BF88A0D1F81D6 Time : 0.0 sec. user=mdettweiler [2016-04-01 10:59:59] 897*2^1425014-1 is not prime. Res64: DFE289CD35A0C694 Time : 0.0 sec. user=mdettweiler [2016-04-01 10:59:59] 921*2^1425014-1 is not prime. Res64: 480496AE326C1FDA Time : 0.0 sec. user=mdettweiler [2016-04-01 11:00:00] 953*2^1425014-1 is not prime. Res64: E0E5CFFE82303FFC Time : 0.0 sec. user=mdettweiler [2016-04-01 11:00:00] 971*2^1425014-1 is not prime. Res64: AA8256E8FAE5E6BF Time : 0.0 sec. user=mdettweiler [2016-04-01 11:05:26] 651*2^1425015-1 is not prime. Res64: B95D53925F21D93D Time : 0.0 sec. user=mdettweiler [2016-04-01 11:05:29] 741*2^1425015-1 is not prime. Res64: 07119E45C415EA99 Time : 0.0 sec. user=mdettweiler [2016-04-01 11:05:31] 793*2^1425015-1 is not prime. Res64: 52D45A06A09CB669 Time : 0.0 sec. user=mdettweiler [2016-04-01 11:05:33] 819*2^1425015-1 is not prime. Res64: 3DB12F8A20C1D5F9 Time : 0.0 sec. user=mdettweiler [2016-04-01 11:05:35] 961*2^1425015-1 is not prime. Res64: 4C5A8D3B7829453D Time : 0.0 sec. user=mdettweiler [2016-04-01 11:21:34] 859*2^1425019-1 is not prime. Res64: 295DF96BFC233246 Time : 0.0 sec. user=mdettweiler [2016-04-01 11:42:05] 615*2^1425016-1 is not prime. Res64: C8F324B3F57E9B31 Time : 0.0 sec. user=mdettweiler [2016-04-01 11:42:06] 695*2^1425016-1 is not prime. Res64: 965B5306B48244FE Time : 0.0 sec. user=mdettweiler [2016-04-01 11:42:06] 843*2^1425016-1 is not prime. Res64: F807ADDE3D2105FF Time : 0.0 sec. user=mdettweiler [2016-04-01 11:42:07] 857*2^1425016-1 is not prime. Res64: 9DF308EC1771916A Time : 0.0 sec. user=mdettweiler [2016-04-01 11:42:07] 909*2^1425016-1 is not prime. Res64: 9CF5F816A9C1E903 Time : 0.0 sec. user=mdettweiler [2016-04-01 11:43:57] 669*2^1425017-1 is not prime. Res64: F2A1C6A1B33CAC20 Time : 0.0 sec. user=mdettweiler [2016-04-01 11:43:58] 729*2^1425017-1 is not prime. Res64: C49CF05402029A65 Time : 0.0 sec. user=mdettweiler [2016-04-01 11:43:58] 879*2^1425017-1 is not prime. Res64: 91A710576EDF802F Time : 0.0 sec. user=mdettweiler [2016-04-01 11:43:59] 605*2^1425018-1 is not prime. Res64: CE292DE5E525DC1D Time : 0.0 sec. user=mdettweiler [2016-04-01 11:43:59] 611*2^1425018-1 is not prime. Res64: 1BE2CBEC300F4127 Time : 0.0 sec. user=mdettweiler [2016-04-01 11:44:34] 665*2^1425018-1 is not prime. Res64: 29FF58ADF468F8E6 Time : 0.0 sec. user=mdettweiler [2016-04-01 11:44:34] 683*2^1425018-1 is not prime. Res64: 2D2E8F8A01333D0C Time : 0.0 sec. user=mdettweiler [2016-04-01 11:44:35] 711*2^1425018-1 is not prime. Res64: 85A64712621B6750 Time : 0.0 sec. user=mdettweiler [2016-04-01 11:44:35] 747*2^1425018-1 is not prime. Res64: B65A36E3BEE3D673 Time : 0.0 sec. user=mdettweiler [2016-04-01 11:44:36] 639*2^1425019-1 is not prime. Res64: E9F89FC665871B8B Time : 0.0 sec. user=mdettweiler [2016-04-01 11:50:48] 693*2^1425019-1 is not prime. Res64: 74654EBA4599704C Time : 0.0 sec. user=mdettweiler [2016-04-01 11:50:48] 769*2^1425019-1 is not prime. Res64: 869BDF05598405D0 Time : 0.0 sec. user=mdettweiler [2016-04-01 11:50:48] 775*2^1425019-1 is not prime. Res64: 2E2C73A903C2673C Time : 0.0 sec. user=mdettweiler [2016-04-01 11:50:49] 789*2^1425019-1 is not prime. Res64: DE087B091DEAB824 Time : 0.0 sec. user=mdettweiler [2016-04-01 11:50:49] 813*2^1425019-1 is not prime. Res64: CE1309FA6577D227 Time : 0.0 sec. user=mdettweiler [2016-04-01 12:26:57] 885*2^1425019-1 is not prime. Res64: A24F1B7C36853BD3 Time : 0.0 sec. user=mdettweiler [2016-04-01 12:26:57] 931*2^1425019-1 is not prime. Res64: CF0DC8A29B82291C Time : 0.0 sec. user=mdettweiler [2016-04-01 12:26:58] 975*2^1425019-1 is not prime. Res64: 17B7994C840AA73F Time : 0.0 sec. user=mdettweiler [2016-04-01 12:26:58] 615*2^1425020-1 is not prime. Res64: 6EED1C9D4E7DF701 Time : 0.0 sec. user=mdettweiler [2016-04-01 12:26:59] 675*2^1425020-1 is not prime. Res64: BEC0BACDF53CB84A Time : 0.0 sec. user=mdettweiler [2016-04-01 12:28:51] 687*2^1425020-1 is not prime. Res64: 81E183A38578A029 Time : 0.0 sec. user=mdettweiler [2016-04-01 12:28:52] 825*2^1425020-1 is not prime. Res64: 21B75C48F64B55F6 Time : 0.0 sec. user=mdettweiler [2016-04-01 12:28:52] 899*2^1425020-1 is not prime. Res64: DFC94B0380F66DBB Time : 0.0 sec. user=mdettweiler [2016-04-01 12:28:52] 983*2^1425020-1 is not prime. Res64: C9636320BF1CADB6 Time : 0.0 sec. user=mdettweiler [2016-04-01 12:28:53] 607*2^1425021-1 is not prime. Res64: 9195993D0F333014 Time : 0.0 sec. user=mdettweiler [2016-04-01 12:29:25] 691*2^1425021-1 is not prime. Res64: 42BC413E0AA38A1E Time : 0.0 sec. user=mdettweiler [2016-04-01 12:29:26] 745*2^1425021-1 is not prime. Res64: F4D0C8329D358E98 Time : 0.0 sec. user=mdettweiler [2016-04-01 12:29:26] 997*2^1425021-1 is not prime. Res64: D0CA60C41BE9590D Time : 0.0 sec. user=mdettweiler [2016-04-01 12:29:27] 611*2^1425022-1 is not prime. Res64: 4A7314221908B582 Time : 0.0 sec. user=mdettweiler [2016-04-01 12:29:27] 675*2^1425022-1 is not prime. Res64: 4A47F4E46C20CABC Time : 0.0 sec. user=mdettweiler [2016-04-01 12:35:37] 825*2^1425022-1 is not prime. Res64: 1DB82DEEDF582B2B Time : 0.0 sec. user=mdettweiler [2016-04-01 12:35:37] 741*2^1425023-1 is not prime. Res64: 795C435596B82269 Time : 0.0 sec. user=mdettweiler [2016-04-01 12:35:38] 753*2^1425023-1 is not prime. Res64: 01A8E9BD37318FFB Time : 0.0 sec. user=mdettweiler [2016-04-01 12:35:38] 829*2^1425023-1 is not prime. Res64: EB70EE21FA942A16 Time : 0.0 sec. user=mdettweiler [2016-04-01 12:35:38] 901*2^1425023-1 is not prime. Res64: 9A41776269960BB2 Time : 0.0 sec. user=mdettweiler [2016-04-01 13:11:47] 615*2^1425024-1 is not prime. Res64: BA12B55889B04FEA Time : 0.0 sec. user=mdettweiler [2016-04-01 13:11:48] 635*2^1425024-1 is not prime. Res64: CDDE91EB00B632CB Time : 0.0 sec. user=mdettweiler [2016-04-01 13:11:48] 767*2^1425024-1 is not prime. Res64: D16BA9AC32F8852E Time : 0.0 sec. user=mdettweiler [2016-04-01 13:11:49] 607*2^1425025-1 is not prime. Res64: 54B6130D07025F34 Time : 0.0 sec. user=mdettweiler [2016-04-01 13:11:49] 661*2^1425025-1 is not prime. Res64: 9EB851B907D76012 Time : 0.0 sec. user=mdettweiler [2016-04-01 13:13:45] 729*2^1425025-1 is not prime. Res64: F077571CBAAF9F1C Time : 0.0 sec. user=mdettweiler [2016-04-01 13:13:46] 741*2^1425025-1 is not prime. Res64: 18225AC2CBF23833 Time : 0.0 sec. user=mdettweiler [2016-04-01 13:13:46] 765*2^1425025-1 is not prime. Res64: 17F02B301C8B437E Time : 0.0 sec. user=mdettweiler [2016-04-01 13:13:46] 771*2^1425025-1 is not prime. Res64: D16B9E115D6D5C05 Time : 0.0 sec. user=mdettweiler [2016-04-01 13:13:47] 877*2^1425025-1 is not prime. Res64: B1A8066F2D75D202 Time : 0.0 sec. user=mdettweiler [2016-04-01 13:14:17] 895*2^1425025-1 is not prime. Res64: 47EDFCDF013F735C Time : 0.0 sec. user=mdettweiler [2016-04-01 13:14:17] 999*2^1425025-1 is not prime. Res64: 5403B99ABB17D095 Time : 0.0 sec. user=mdettweiler [2016-04-01 13:14:18] 683*2^1425026-1 is not prime. Res64: 1032BA7C622CF878 Time : 0.0 sec. user=mdettweiler [2016-04-01 13:14:18] 941*2^1425026-1 is not prime. Res64: F1CA6D8FBDFEC65A Time : 0.0 sec. user=mdettweiler [2016-04-01 13:14:19] 691*2^1425027-1 is not prime. Res64: C1EFF77EBCC8F355 Time : 0.0 sec. user=mdettweiler [2016-04-01 13:20:28] 705*2^1425027-1 is not prime. Res64: 48D4B9DEFB3C665A Time : 0.0 sec. user=mdettweiler [2016-04-01 13:20:28] 769*2^1425027-1 is not prime. Res64: 15E7418624270DDA Time : 0.0 sec. user=mdettweiler [2016-04-01 13:20:29] 835*2^1425027-1 is not prime. Res64: 6FDAC379A102D279 Time : 0.0 sec. user=mdettweiler [2016-04-01 13:20:29] 639*2^1425028-1 is not prime. Res64: 44985BC121E40758 Time : 0.0 sec. user=mdettweiler [2016-04-01 13:20:29] 677*2^1425028-1 is not prime. Res64: 6CA6E9208E2635C7 Time : 0.0 sec. user=mdettweiler [2016-04-01 13:56:53] 749*2^1425028-1 is not prime. Res64: E52680FEE828F2AD Time : 0.0 sec. user=mdettweiler [2016-04-01 13:56:53] 845*2^1425028-1 is not prime. Res64: 70692749F4D9F6AF Time : 0.0 sec. user=mdettweiler [2016-04-01 13:56:54] 923*2^1425028-1 is not prime. Res64: FCCB0FE4B7D3F692 Time : 0.0 sec. user=mdettweiler [2016-04-01 13:56:54] 615*2^1425029-1 is not prime. Res64: 632DF32F59988FD4 Time : 0.0 sec. user=mdettweiler [2016-04-01 13:56:55] 627*2^1425029-1 is not prime. Res64: 52CF31A2D9E230B4 Time : 0.0 sec. user=mdettweiler [2016-04-01 13:58:51] 727*2^1425029-1 is not prime. Res64: FE20F997F8777885 Time : 0.0 sec. user=mdettweiler [2016-04-01 13:58:52] 735*2^1425029-1 is not prime. Res64: 7CBEB4FC92DBB612 Time : 0.0 sec. user=mdettweiler [2016-04-01 13:58:52] 829*2^1425029-1 is not prime. Res64: DC356AC63B431776 Time : 0.0 sec. user=mdettweiler [2016-04-01 13:58:52] 635*2^1425030-1 is not prime. Res64: 1737310211F33B7B Time : 0.0 sec. user=mdettweiler [2016-04-01 13:58:53] 755*2^1425030-1 is not prime. Res64: F9D4B16C064B85CE Time : 0.0 sec. user=mdettweiler [2016-04-01 13:59:15] 797*2^1425030-1 is not prime. Res64: B00EA803226DA655 Time : 0.0 sec. user=mdettweiler [2016-04-01 13:59:15] 861*2^1425030-1 is not prime. Res64: CCFEDF56138FC6A5 Time : 0.0 sec. user=mdettweiler [2016-04-01 13:59:15] 873*2^1425030-1 is not prime. Res64: C16192FDE25D62BD Time : 0.0 sec. user=mdettweiler [2016-04-01 13:59:16] 887*2^1425030-1 is not prime. Res64: F18F1E3DE9BD5F58 Time : 0.0 sec. user=mdettweiler [2016-04-01 13:59:16] 927*2^1425030-1 is not prime. Res64: 54756480EE3D47B8 Time : 0.0 sec. user=mdettweiler [2016-04-01 14:05:26] 945*2^1425030-1 is not prime. Res64: 476E76A2C89F6651 Time : 0.0 sec. user=mdettweiler [2016-04-01 14:05:27] 971*2^1425030-1 is not prime. Res64: DA7750109352EC2E Time : 0.0 sec. user=mdettweiler [2016-04-01 14:05:29] 603*2^1425031-1 is not prime. Res64: E06B4FC1CE22FF66 Time : 0.0 sec. user=mdettweiler [2016-04-01 14:05:31] 639*2^1425031-1 is not prime. Res64: 4E9F613D2EBBC7B9 Time : 0.0 sec. user=mdettweiler [2016-04-01 14:05:33] 679*2^1425031-1 is not prime. Res64: 89F986A632E9FA2A Time : 0.0 sec. user=mdettweiler [2016-04-01 14:35:33] 707*2^1425034-1 is not prime. Res64: 6AB0A3B0D9949E72 Time : 0.0 sec. user=mdettweiler [2016-04-01 14:42:43] 783*2^1425031-1 is not prime. Res64: D0D78221A30CD2C7 Time : 0.0 sec. user=mdettweiler [2016-04-01 14:42:44] 885*2^1425031-1 is not prime. Res64: 8C756D1648C9A6B9 Time : 0.0 sec. user=mdettweiler [2016-04-01 14:42:44] 961*2^1425031-1 is not prime. Res64: 9085C5CED58DA82E Time : 0.0 sec. user=mdettweiler [2016-04-01 14:42:44] 975*2^1425031-1 is not prime. Res64: 54E78E1E38DEF117 Time : 0.0 sec. user=mdettweiler [2016-04-01 14:42:44] 979*2^1425031-1 is not prime. Res64: D55FE6EC55244456 Time : 0.0 sec. user=mdettweiler [2016-04-01 14:45:04] 617*2^1425032-1 is not prime. Res64: 8667B2EDD0502BD1 Time : 0.0 sec. user=mdettweiler [2016-04-01 14:45:04] 635*2^1425032-1 is not prime. Res64: F731D38F5E9B61B4 Time : 0.0 sec. user=mdettweiler [2016-04-01 14:45:04] 675*2^1425032-1 is not prime. Res64: 79D3F1607C6BD943 Time : 0.0 sec. user=mdettweiler [2016-04-01 14:45:04] 677*2^1425032-1 is not prime. Res64: 07038945020EAE75 Time : 0.0 sec. user=mdettweiler [2016-04-01 14:45:05] 693*2^1425032-1 is not prime. Res64: 5B389FC45F43317B Time : 0.0 sec. user=mdettweiler [2016-04-01 14:45:06] 843*2^1425032-1 is not prime. Res64: AAD9432A8EC17520 Time : 0.0 sec. user=mdettweiler [2016-04-01 14:45:06] 875*2^1425032-1 is not prime. Res64: 0D8B5641A40D0C52 Time : 0.0 sec. user=mdettweiler [2016-04-01 14:45:06] 899*2^1425032-1 is not prime. Res64: 1AD35CBCD39C00C0 Time : 0.0 sec. user=mdettweiler [2016-04-01 14:45:06] 957*2^1425032-1 is not prime. Res64: 05FF0EE03A7CB46F Time : 0.0 sec. user=mdettweiler [2016-04-01 14:45:07] 963*2^1425032-1 is not prime. Res64: FB43A383B803ED19 Time : 0.0 sec. user=mdettweiler [2016-04-01 14:51:50] 627*2^1425033-1 is not prime. Res64: 715BE3622C36CFDB Time : 0.0 sec. user=mdettweiler [2016-04-01 14:51:50] 747*2^1425033-1 is not prime. Res64: E00B240F8DD76B7A Time : 0.0 sec. user=mdettweiler [2016-04-01 14:51:50] 795*2^1425033-1 is not prime. Res64: A5C8C6382C7306D0 Time : 0.0 sec. user=mdettweiler [2016-04-01 14:51:50] 955*2^1425033-1 is not prime. Res64: 835D91709A076A2D Time : 0.0 sec. user=mdettweiler [2016-04-01 14:51:50] 991*2^1425033-1 is not prime. Res64: DB021D38398C4EA6 Time : 0.0 sec. user=mdettweiler [2016-04-01 15:30:28] 855*2^1425034-1 is not prime. Res64: 55661CECABE54FF2 Time : 0.0 sec. user=mdettweiler [2016-04-01 15:30:28] 633*2^1425035-1 is not prime. Res64: 8DD00DEE8618CD4E Time : 0.0 sec. user=mdettweiler [2016-04-01 15:30:29] 645*2^1425035-1 is not prime. Res64: 9E2206C8C67EE849 Time : 0.0 sec. user=mdettweiler [2016-04-01 15:30:29] 669*2^1425035-1 is not prime. Res64: AC8F3C9FEAC20326 Time : 0.0 sec. user=mdettweiler [2016-04-01 15:30:29] 685*2^1425035-1 is not prime. Res64: A69E7B3C6BA9B4DD Time : 0.0 sec. user=mdettweiler [2016-04-01 15:32:18] 725*2^1425036-1 is not prime. Res64: 80E3D50FAC840A31 Time : 0.0 sec. user=mdettweiler [2016-04-01 15:32:18] 777*2^1425036-1 is not prime. Res64: D265CC48A163AC94 Time : 0.0 sec. user=mdettweiler [2016-04-01 15:32:19] 923*2^1425036-1 is not prime. Res64: 276F0D53645D62B8 Time : 0.0 sec. user=mdettweiler [2016-04-01 15:32:19] 649*2^1425037-1 is not prime. Res64: 25317EB0DBC7FF2F Time : 0.0 sec. user=mdettweiler [2016-04-01 15:32:19] 759*2^1425037-1 is not prime. Res64: 383EFD5D37102A60 Time : 0.0 sec. user=mdettweiler [2016-04-01 15:32:23] 771*2^1425035-1 is not prime. Res64: 22783FD99E58098E Time : 0.0 sec. user=mdettweiler [2016-04-01 15:32:23] 799*2^1425035-1 is not prime. Res64: 9C84F0D6236F8FD4 Time : 0.0 sec. user=mdettweiler [2016-04-01 15:32:23] 859*2^1425035-1 is not prime. Res64: E11953D1DE619031 Time : 0.0 sec. user=mdettweiler [2016-04-01 15:32:23] 943*2^1425035-1 is not prime. Res64: E1B4215373C7669B Time : 0.0 sec. user=mdettweiler [2016-04-01 15:32:24] 707*2^1425036-1 is not prime. Res64: 2A8CAD592C46079C Time : 0.0 sec. user=mdettweiler [2016-04-01 15:39:36] 915*2^1425037-1 is not prime. Res64: B748F2A3E85D59DD Time : 0.0 sec. user=mdettweiler [2016-04-01 15:39:37] 919*2^1425037-1 is not prime. Res64: E332749018297D79 Time : 0.0 sec. user=mdettweiler [2016-04-01 15:39:37] 635*2^1425038-1 is not prime. Res64: D2312680246BC805 Time : 0.0 sec. user=mdettweiler [2016-04-01 15:39:37] 671*2^1425038-1 is not prime. Res64: D958797122F2027A Time : 0.0 sec. user=mdettweiler [2016-04-01 15:39:38] 683*2^1425038-1 is not prime. Res64: 3346AF1435B5EF2C Time : 0.0 sec. user=mdettweiler [2016-04-01 15:46:12] 825*2^1425040-1 is not prime. Res64: 6FD9705F3145093A Time : 0.0 sec. user=mdettweiler [2016-04-01 16:03:49] 727*2^1425041-1 is not prime. Res64: 893DA68E3467A72D Time : 0.0 sec. user=mdettweiler [2016-04-01 16:16:50] 731*2^1425038-1 is not prime. Res64: 7BB04E316E680F6B Time : 0.0 sec. user=mdettweiler [2016-04-01 16:16:51] 791*2^1425038-1 is not prime. Res64: E59575A480A61539 Time : 0.0 sec. user=mdettweiler [2016-04-01 16:16:51] 801*2^1425038-1 is not prime. Res64: 4DFDAE0861627A6F Time : 0.0 sec. user=mdettweiler [2016-04-01 16:16:52] 813*2^1425038-1 is not prime. Res64: 7C5C6412BE17A6CF Time : 0.0 sec. user=mdettweiler [2016-04-01 16:16:52] 825*2^1425038-1 is not prime. Res64: 05DB39CA309B834A Time : 0.0 sec. user=mdettweiler [2016-04-01 16:18:31] 605*2^1425040-1 is not prime. Res64: 767620AA75BF0F19 Time : 0.0 sec. user=mdettweiler [2016-04-01 16:18:32] 615*2^1425040-1 is not prime. Res64: CFA8CC811F291D14 Time : 0.0 sec. user=mdettweiler [2016-04-01 16:18:32] 689*2^1425040-1 is not prime. Res64: 0E1B398DB9CE6286 Time : 0.0 sec. user=mdettweiler [2016-04-01 16:18:33] 735*2^1425040-1 is not prime. Res64: 83F8ADB4438CA050 Time : 0.0 sec. user=mdettweiler [2016-04-01 16:18:33] 813*2^1425040-1 is not prime. Res64: FC3E6D021F7B84C9 Time : 0.0 sec. user=mdettweiler [2016-04-01 16:18:43] 843*2^1425038-1 is not prime. Res64: 2755B39002AF67B1 Time : 0.0 sec. user=mdettweiler [2016-04-01 16:18:43] 911*2^1425038-1 is not prime. Res64: 2A59BF103E3BDD0D Time : 0.0 sec. user=mdettweiler [2016-04-01 16:18:44] 639*2^1425039-1 is not prime. Res64: 3683F2BD0CD2761C Time : 0.0 sec. user=mdettweiler [2016-04-01 16:18:44] 775*2^1425039-1 is not prime. Res64: 6D983229005B2B5F Time : 0.0 sec. user=mdettweiler [2016-04-01 16:18:44] 895*2^1425039-1 is not prime. Res64: 14CA041C07F24799 Time : 0.0 sec. user=mdettweiler [2016-04-01 16:25:35] 933*2^1425040-1 is not prime. Res64: 927A4BD90922DFC8 Time : 0.0 sec. user=mdettweiler [2016-04-01 16:25:35] 649*2^1425041-1 is not prime. Res64: 9CF2AAA90ABEBCD5 Time : 0.0 sec. user=mdettweiler [2016-04-01 16:25:35] 651*2^1425041-1 is not prime. Res64: 9F589F56D36DB462 Time : 0.0 sec. user=mdettweiler [2016-04-01 16:25:36] 675*2^1425041-1 is not prime. Res64: 4C63802DEB53BDA8 Time : 0.0 sec. user=mdettweiler [2016-04-01 16:25:36] 717*2^1425041-1 is not prime. Res64: 58340373C3A42A9F Time : 0.0 sec. user=mdettweiler [2016-04-01 17:03:20] 855*2^1425041-1 is not prime. Res64: BC6B7FD91D43ECB9 Time : 0.0 sec. user=mdettweiler [2016-04-01 17:03:21] 861*2^1425041-1 is not prime. Res64: 0A87A94E9D5EC965 Time : 0.0 sec. user=mdettweiler [2016-04-01 17:03:22] 955*2^1425041-1 is not prime. Res64: 55E64849644CBE48 Time : 0.0 sec. user=mdettweiler [2016-04-01 17:03:23] 611*2^1425042-1 is not prime. Res64: 23BADC0D1BF77D35 Time : 0.0 sec. user=mdettweiler [2016-04-01 17:03:23] 791*2^1425042-1 is not prime. Res64: 601F1727BBD78763 Time : 0.0 sec. user=mdettweiler [2016-04-01 17:04:51] 945*2^1425043-1 is not prime. Res64: 31729D5454B037BA Time : 0.0 sec. user=mdettweiler [2016-04-01 17:04:52] 609*2^1425044-1 is not prime. Res64: 2517DFD6989C0ADA Time : 0.0 sec. user=mdettweiler [2016-04-01 17:04:53] 615*2^1425044-1 is not prime. Res64: D1038217A4561DE7 Time : 0.0 sec. user=mdettweiler [2016-04-01 17:04:53] 617*2^1425044-1 is not prime. Res64: 1B2CBD323316BDF4 Time : 0.0 sec. user=mdettweiler [2016-04-01 17:04:54] 825*2^1425044-1 is not prime. Res64: 9BE9F3887BC4CD8B Time : 0.0 sec. user=mdettweiler [2016-04-01 17:05:06] 977*2^1425042-1 is not prime. Res64: 26D58202ED29F650 Time : 0.0 sec. user=mdettweiler [2016-04-01 17:05:07] 679*2^1425043-1 is not prime. Res64: 7AD62DF6408FC2A4 Time : 0.0 sec. user=mdettweiler [2016-04-01 17:05:08] 813*2^1425043-1 is not prime. Res64: 86337D4537EA06E8 Time : 0.0 sec. user=mdettweiler [2016-04-01 17:05:09] 835*2^1425043-1 is not prime. Res64: 162867F9704786EF Time : 0.0 sec. user=mdettweiler [2016-04-01 17:05:09] 871*2^1425043-1 is not prime. Res64: AF4602D68E06FD5F Time : 0.0 sec. user=mdettweiler [2016-04-01 17:11:34] 833*2^1425044-1 is not prime. Res64: 02EBF8B408FD853E Time : 0.0 sec. user=mdettweiler [2016-04-01 17:11:34] 875*2^1425044-1 is not prime. Res64: 2911F3E27E4116B0 Time : 0.0 sec. user=mdettweiler [2016-04-01 17:11:34] 885*2^1425044-1 is not prime. Res64: 92709D2098135F45 Time : 0.0 sec. user=mdettweiler [2016-04-01 17:11:35] 903*2^1425044-1 is not prime. Res64: 9CC90C3A190EFB9E Time : 0.0 sec. user=mdettweiler [2016-04-01 17:11:35] 923*2^1425044-1 is not prime. Res64: 87CEADE02C2EF1C2 Time : 0.0 sec. user=mdettweiler [2016-04-01 17:50:32] 667*2^1425045-1 is not prime. Res64: 48502A1D8D0FE738 Time : 0.0 sec. user=mdettweiler [2016-04-01 17:50:32] 691*2^1425045-1 is not prime. Res64: 12AEAC0E410D5D46 Time : 0.0 sec. user=mdettweiler [2016-04-01 17:50:33] 825*2^1425045-1 is not prime. Res64: 45A3C93C0C647AD9 Time : 0.0 sec. user=mdettweiler [2016-04-01 17:50:33] 927*2^1425045-1 is not prime. Res64: 49B70A87CAD85B77 Time : 0.0 sec. user=mdettweiler [2016-04-01 17:50:33] 933*2^1425046-1 is not prime. Res64: 50BBB129F0F6B225 Time : 0.0 sec. user=mdettweiler [2016-04-01 17:51:33] 767*2^1425048-1 is not prime. Res64: 99A9EEF6FFDA3826 Time : 0.0 sec. user=mdettweiler [2016-04-01 17:51:34] 843*2^1425048-1 is not prime. Res64: 6B4E6632FEE40D7F Time : 0.0 sec. user=mdettweiler [2016-04-01 17:51:34] 887*2^1425048-1 is not prime. Res64: 309BF802B15B76E3 Time : 0.0 sec. user=mdettweiler [2016-04-01 17:51:35] 909*2^1425048-1 is not prime. Res64: 63635A1E1BF938AC Time : 0.0 sec. user=mdettweiler [2016-04-01 17:51:35] 929*2^1425048-1 is not prime. Res64: E345EF090C7F57B6 Time : 0.0 sec. user=mdettweiler [2016-04-01 17:52:02] 941*2^1425046-1 is not prime. Res64: C850C21053AF4B94 Time : 0.0 sec. user=mdettweiler [2016-04-01 17:52:02] 643*2^1425047-1 is not prime. Res64: A43C70E8746399DB Time : 0.0 sec. user=mdettweiler [2016-04-01 17:52:02] 711*2^1425047-1 is not prime. Res64: B05AA07C9796C200 Time : 0.0 sec. user=mdettweiler [2016-04-01 17:52:03] 865*2^1425047-1 is not prime. Res64: 0CAB3736A1BCF7A6 Time : 0.0 sec. user=mdettweiler [2016-04-01 17:52:03] 985*2^1425047-1 is not prime. Res64: 669733016A364DF8 Time : 0.0 sec. user=mdettweiler [2016-04-01 17:58:10] 977*2^1425048-1 is not prime. Res64: 3FCAF75C937309F1 Time : 0.0 sec. user=mdettweiler [2016-04-01 17:58:11] 675*2^1425049-1 is not prime. Res64: 552B123837AC5D99 Time : 0.0 sec. user=mdettweiler [2016-04-01 17:58:11] 721*2^1425049-1 is not prime. Res64: 7D36F4EA68A125DF Time : 0.0 sec. user=mdettweiler [2016-04-01 17:58:12] 729*2^1425049-1 is not prime. Res64: 358EC29FC6103699 Time : 0.0 sec. user=mdettweiler [2016-04-01 17:58:12] 751*2^1425049-1 is not prime. Res64: 0B6D6171B23F542F Time : 0.0 sec. user=mdettweiler [2016-04-01 18:25:29] 979*2^1425051-1 is not prime. Res64: 6D07EC6165F8FA70 Time : 0.0 sec. user=mdettweiler [2016-04-01 18:35:38] 855*2^1425049-1 is not prime. Res64: 44D765DB0B36AF80 Time : 0.0 sec. user=mdettweiler [2016-04-01 18:35:38] 919*2^1425049-1 is not prime. Res64: 704918A51AC9919E Time : 0.0 sec. user=mdettweiler [2016-04-01 18:35:39] 931*2^1425049-1 is not prime. Res64: EA94BF6810FFC2D4 Time : 0.0 sec. user=mdettweiler [2016-04-01 18:35:39] 951*2^1425049-1 is not prime. Res64: 2939A34A1FB9754D Time : 0.0 sec. user=mdettweiler [2016-04-01 18:35:39] 985*2^1425049-1 is not prime. Res64: 0F63D7E9F8D48633 Time : 0.0 sec. user=mdettweiler [2016-04-01 18:36:27] 987*2^1425049-1 is not prime. Res64: ACDC115396F0066E Time : 0.0 sec. user=mdettweiler [2016-04-01 18:36:27] 999*2^1425049-1 is not prime. Res64: CF30E85E3E15FEDF Time : 0.0 sec. user=mdettweiler [2016-04-01 18:36:27] 633*2^1425050-1 is not prime. Res64: DB6F69F3317031AE Time : 0.0 sec. user=mdettweiler [2016-04-01 18:36:28] 665*2^1425050-1 is not prime. Res64: 42657960F2C29856 Time : 0.0 sec. user=mdettweiler [2016-04-01 18:36:28] 671*2^1425050-1 is not prime. Res64: F8DB99619B91695D Time : 0.0 sec. user=mdettweiler [2016-04-01 18:36:53] 677*2^1425050-1 is not prime. Res64: 81229BE83E74F8A6 Time : 0.0 sec. user=mdettweiler [2016-04-01 18:36:53] 825*2^1425050-1 is not prime. Res64: A678148B90C0F203 Time : 0.0 sec. user=mdettweiler [2016-04-01 18:36:54] 885*2^1425050-1 is not prime. Res64: 030403001DC66882 Time : 0.0 sec. user=mdettweiler [2016-04-01 18:36:54] 615*2^1425051-1 is not prime. Res64: 409C1D5D543E57BC Time : 0.0 sec. user=mdettweiler [2016-04-01 18:36:54] 651*2^1425051-1 is not prime. Res64: 250CC63B6B460863 Time : 0.0 sec. user=mdettweiler [2016-04-01 18:43:06] 781*2^1425051-1 is not prime. Res64: C149758A7EB102C6 Time : 0.0 sec. user=mdettweiler [2016-04-01 18:43:06] 795*2^1425051-1 is not prime. Res64: C7B2F1017288A556 Time : 0.0 sec. user=mdettweiler [2016-04-01 18:43:06] 819*2^1425051-1 is not prime. Res64: 5260DFE16A573AE4 Time : 0.0 sec. user=mdettweiler [2016-04-01 18:43:07] 823*2^1425051-1 is not prime. Res64: F5D2148313B68324 Time : 0.0 sec. user=mdettweiler [2016-04-01 18:43:07] 859*2^1425051-1 is not prime. Res64: B531F9E73CCC975B Time : 0.0 sec. user=mdettweiler [2016-04-01 19:21:44] 687*2^1425052-1 is not prime. Res64: 590030BD16C2AE13 Time : 0.0 sec. user=mdettweiler [2016-04-01 19:21:44] 705*2^1425052-1 is not prime. Res64: B9B0BE86B18AC41A Time : 0.0 sec. user=mdettweiler [2016-04-01 19:21:45] 825*2^1425052-1 is not prime. Res64: 7F55591CF1FD7E7A Time : 0.0 sec. user=mdettweiler [2016-04-01 19:21:45] 619*2^1425053-1 is not prime. Res64: 5FE178E111ACADCF Time : 0.0 sec. user=mdettweiler [2016-04-01 19:21:45] 691*2^1425053-1 is not prime. Res64: A662C2A777EE8FA9 Time : 0.0 sec. user=mdettweiler [2016-04-01 19:22:13] 735*2^1425053-1 is not prime. Res64: 442E872F1F8F9AD4 Time : 0.0 sec. user=mdettweiler [2016-04-01 19:22:14] 847*2^1425053-1 is not prime. Res64: 8FA9565FA9637887 Time : 0.0 sec. user=mdettweiler [2016-04-01 19:22:14] 861*2^1425053-1 is not prime. Res64: 960532E5693B7EFF Time : 0.0 sec. user=mdettweiler [2016-04-01 19:22:15] 967*2^1425053-1 is not prime. Res64: E0794F0331FA5386 Time : 0.0 sec. user=mdettweiler [2016-04-01 19:22:15] 621*2^1425054-1 is not prime. Res64: 7079B2BB65616B11 Time : 0.0 sec. user=mdettweiler [2016-04-01 19:23:16] 641*2^1425054-1 is not prime. Res64: 6BF9F0165D27ECD7 Time : 0.0 sec. user=mdettweiler [2016-04-01 19:23:16] 747*2^1425054-1 is not prime. Res64: 0301BCE8982F866A Time : 0.0 sec. user=mdettweiler [2016-04-01 19:23:17] 797*2^1425054-1 is not prime. Res64: 660520AD35028389 Time : 0.0 sec. user=mdettweiler [2016-04-01 19:23:17] 861*2^1425054-1 is not prime. Res64: EBB7F8E3F2A8F0AD Time : 0.0 sec. user=mdettweiler [2016-04-01 19:23:17] 873*2^1425054-1 is not prime. Res64: 08C6BD4ED4BB0D8A Time : 0.0 sec. user=mdettweiler [2016-04-01 19:29:41] 921*2^1425054-1 is not prime. Res64: 9528AEC9CD09645B Time : 0.0 sec. user=mdettweiler [2016-04-01 19:29:41] 927*2^1425054-1 is not prime. Res64: DA6BA6912E5EF8C9 Time : 0.0 sec. user=mdettweiler [2016-04-01 19:29:42] 983*2^1425054-1 is not prime. Res64: 2C39E12C15623C27 Time : 0.0 sec. user=mdettweiler [2016-04-01 19:29:42] 645*2^1425055-1 is not prime. Res64: BA463C004FBAB169 Time : 0.0 sec. user=mdettweiler [2016-04-01 19:29:43] 649*2^1425055-1 is not prime. Res64: B891871D3A1294A1 Time : 0.0 sec. user=mdettweiler [2016-04-01 20:06:50] 705*2^1425055-1 is not prime. Res64: 1A7BF42A60DF48D7 Time : 0.0 sec. user=mdettweiler [2016-04-01 20:08:41] 765*2^1425055-1 is not prime. Res64: CBC27AF2CD1AE120 Time : 0.0 sec. user=mdettweiler [2016-04-01 20:08:41] 861*2^1425055-1 is not prime. Res64: E0368BBADA69E211 Time : 0.0 sec. user=mdettweiler [2016-04-01 20:08:42] 919*2^1425055-1 is not prime. Res64: 9E1CB174CC8D20B5 Time : 0.0 sec. user=mdettweiler [2016-04-01 20:08:42] 635*2^1425056-1 is not prime. Res64: C9A8CD88004C3F6A Time : 0.0 sec. user=mdettweiler [2016-04-01 20:08:43] 813*2^1425056-1 is not prime. Res64: 85FE1EF393DEA509 Time : 0.0 sec. user=mdettweiler [2016-04-01 20:08:59] 855*2^1425056-1 is not prime. Res64: 0BFE5065D1463998 Time : 0.0 sec. user=mdettweiler [2016-04-01 20:09:00] 869*2^1425056-1 is not prime. Res64: F7BF1026BABEFC37 Time : 0.0 sec. user=mdettweiler [2016-04-01 20:09:00] 873*2^1425056-1 is not prime. Res64: AC553E79728C82CE Time : 0.0 sec. user=mdettweiler [2016-04-01 20:09:01] 805*2^1425057-1 is not prime. Res64: 34876774B330E5B1 Time : 0.0 sec. user=mdettweiler [2016-04-01 20:09:01] 603*2^1425058-1 is not prime. Res64: DD5206FEBA9DCC38 Time : 0.0 sec. user=mdettweiler [2016-04-01 20:10:25] 605*2^1425058-1 is not prime. Res64: 884EDA63907DA3BB Time : 0.0 sec. user=mdettweiler [2016-04-01 20:10:25] 647*2^1425058-1 is not prime. Res64: 82D1EE4E79433EDC Time : 0.0 sec. user=mdettweiler [2016-04-01 20:10:25] 651*2^1425058-1 is not prime. Res64: 8C2A5DA8DA726AFE Time : 0.0 sec. user=mdettweiler [2016-04-01 20:10:26] 713*2^1425058-1 is not prime. Res64: DE5B4B83C0096F38 Time : 0.0 sec. user=mdettweiler [2016-04-01 20:10:26] 791*2^1425058-1 is not prime. Res64: C66BEE8C8632AA17 Time : 0.0 sec. user=mdettweiler [2016-04-01 20:17:25] 825*2^1425058-1 is not prime. Res64: E6A86858A2420CA7 Time : 0.0 sec. user=mdettweiler [2016-04-01 20:17:26] 857*2^1425058-1 is not prime. Res64: B628790D2E4CE374 Time : 0.0 sec. user=mdettweiler [2016-04-01 20:17:26] 861*2^1425058-1 is not prime. Res64: 84FA6ABE3D052496 Time : 0.0 sec. user=mdettweiler [2016-04-01 20:17:27] 891*2^1425058-1 is not prime. Res64: 47F7F169C79D8E49 Time : 0.0 sec. user=mdettweiler [2016-04-01 20:17:27] 971*2^1425058-1 is not prime. Res64: E22D83CCAA0713E6 Time : 0.0 sec. user=mdettweiler [2016-04-01 20:55:04] 703*2^1425059-1 is not prime. Res64: C204AC375E6359C3 Time : 0.0 sec. user=mdettweiler [2016-04-01 20:55:05] 745*2^1425059-1 is not prime. Res64: 3466AB1EE28612E2 Time : 0.0 sec. user=mdettweiler [2016-04-01 20:55:05] 825*2^1425059-1 is not prime. Res64: 9E36F4FD7A689ACF Time : 0.0 sec. user=mdettweiler [2016-04-01 20:55:06] 943*2^1425059-1 is not prime. Res64: F781B0957D2E8E3D Time : 0.0 sec. user=mdettweiler [2016-04-01 20:55:06] 635*2^1425060-1 is not prime. Res64: C0173E34A12600E4 Time : 0.0 sec. user=mdettweiler [2016-04-01 20:55:34] 753*2^1425060-1 is not prime. Res64: C6BA910E43F69F76 Time : 0.0 sec. user=mdettweiler [2016-04-01 20:55:36] 783*2^1425060-1 is prime! Time : 0.0 sec. user=mdettweiler [2016-04-01 20:55:37] 615*2^1425061-1 is not prime. Res64: B9617162FFF2D7D1 Time : 0.0 sec. user=mdettweiler [2016-04-01 20:55:38] 639*2^1425061-1 is not prime. Res64: C469CB11857DF5F3 Time : 0.0 sec. user=mdettweiler [2016-04-01 20:55:38] 745*2^1425061-1 is not prime. Res64: D7FF6B7E37DF28FC Time : 0.0 sec. user=mdettweiler [2016-04-01 20:56:32] 747*2^1425061-1 is not prime. Res64: 5CFB836B50BC377D Time : 0.0 sec. user=mdettweiler [2016-04-01 20:56:32] 777*2^1425061-1 is not prime. Res64: 0697C5818D0FE842 Time : 0.0 sec. user=mdettweiler [2016-04-01 20:56:32] 799*2^1425061-1 is not prime. Res64: 9D63AFE9F2C1FBC8 Time : 0.0 sec. user=mdettweiler [2016-04-01 20:56:33] 859*2^1425061-1 is not prime. Res64: 4E2E078B6699BA98 Time : 0.0 sec. user=mdettweiler [2016-04-01 20:56:33] 635*2^1425062-1 is not prime. Res64: 22CAA179649A7868 Time : 0.0 sec. user=mdettweiler [2016-04-01 21:03:02] 645*2^1425062-1 is not prime. Res64: 0BDD06D5FAF18EC3 Time : 0.0 sec. user=mdettweiler [2016-04-01 21:03:03] 825*2^1425062-1 is not prime. Res64: 7322A2590EC0BE5B Time : 0.0 sec. user=mdettweiler [2016-04-01 21:03:04] 827*2^1425062-1 is not prime. Res64: 80188A5B18DA281D Time : 0.0 sec. user=mdettweiler [2016-04-01 21:03:05] 833*2^1425062-1 is not prime. Res64: AECD7AE3C6CAD650 Time : 0.0 sec. user=mdettweiler [2016-04-01 21:03:05] 977*2^1425062-1 is not prime. Res64: F5F50BCF81A814A4 Time : 0.0 sec. user=mdettweiler [2016-04-01 21:22:28] 741*2^1425066-1 is not prime. Res64: DD69E7811211E0E9 Time : 0.0 sec. user=mdettweiler [2016-04-01 21:40:35] 983*2^1425062-1 is not prime. Res64: 87CAC3B22D0F487E Time : 0.0 sec. user=mdettweiler [2016-04-01 21:40:36] 987*2^1425062-1 is not prime. Res64: D04364CA739FC9B5 Time : 0.0 sec. user=mdettweiler [2016-04-01 21:40:36] 685*2^1425063-1 is not prime. Res64: A2A9AE81E1CABB92 Time : 0.0 sec. user=mdettweiler [2016-04-01 21:40:37] 735*2^1425063-1 is not prime. Res64: 70333DA4F1410823 Time : 0.0 sec. user=mdettweiler [2016-04-01 21:40:37] 901*2^1425063-1 is not prime. Res64: 7D87B365DC7B3744 Time : 0.0 sec. user=mdettweiler [2016-04-01 21:40:50] 765*2^1425064-1 is not prime. Res64: D35A5498B4E79099 Time : 0.0 sec. user=mdettweiler [2016-04-01 21:40:51] 773*2^1425064-1 is not prime. Res64: 51EFAFC2906A7F6C Time : 0.0 sec. user=mdettweiler [2016-04-01 21:40:51] 813*2^1425064-1 is not prime. Res64: 0D0A59DEF156CCD9 Time : 0.0 sec. user=mdettweiler [2016-04-01 21:40:51] 887*2^1425064-1 is not prime. Res64: 8E64C8F8CF8ECB8E Time : 0.0 sec. user=mdettweiler [2016-04-01 21:40:52] 909*2^1425064-1 is not prime. Res64: E8F23A815F285E9D Time : 0.0 sec. user=mdettweiler [2016-04-01 21:41:21] 601*2^1425065-1 is not prime. Res64: 1D3C569FA3F2C4CE Time : 0.0 sec. user=mdettweiler [2016-04-01 21:41:22] 691*2^1425065-1 is not prime. Res64: 81CEEF5D57415411 Time : 0.0 sec. user=mdettweiler [2016-04-01 21:41:22] 711*2^1425065-1 is not prime. Res64: DD193B32F2EF3A1E Time : 0.0 sec. user=mdettweiler [2016-04-01 21:41:22] 781*2^1425065-1 is not prime. Res64: 2869E0E407F1F72A Time : 0.0 sec. user=mdettweiler [2016-04-01 21:41:23] 907*2^1425065-1 is not prime. Res64: 05FBD70070F0DF0B Time : 0.0 sec. user=mdettweiler [2016-04-01 21:48:11] 939*2^1425065-1 is not prime. Res64: 57358CC2A762A629 Time : 0.0 sec. user=mdettweiler [2016-04-01 21:48:11] 955*2^1425065-1 is not prime. Res64: 7ECBE286268CB59F Time : 0.0 sec. user=mdettweiler [2016-04-01 21:48:12] 987*2^1425065-1 is not prime. Res64: 76B161B58FA95AA9 Time : 0.0 sec. user=mdettweiler [2016-04-01 21:48:12] 611*2^1425066-1 is not prime. Res64: FA3BE979E0E924E6 Time : 0.0 sec. user=mdettweiler [2016-04-01 21:48:13] 707*2^1425066-1 is not prime. Res64: 70A058561A3A5496 Time : 0.0 sec. user=mdettweiler [2016-04-01 21:56:07] 611*2^1425070-1 is not prime. Res64: 45C702E970280EE4 Time : 0.0 sec. user=mdettweiler [2016-04-01 22:25:28] 765*2^1425066-1 is not prime. Res64: 47A512316C977EE5 Time : 0.0 sec. user=mdettweiler [2016-04-01 22:25:29] 843*2^1425066-1 is not prime. Res64: A9D040F29331EB5C Time : 0.0 sec. user=mdettweiler [2016-04-01 22:25:29] 851*2^1425066-1 is not prime. Res64: 4A9D0858C94393AE Time : 0.0 sec. user=mdettweiler [2016-04-01 22:25:30] 963*2^1425066-1 is not prime. Res64: 1291DF3A4763FF4B Time : 0.0 sec. user=mdettweiler [2016-04-01 22:25:30] 975*2^1425066-1 is not prime. Res64: 2DB36B86055D16BB Time : 0.0 sec. user=mdettweiler [2016-04-01 22:25:54] 673*2^1425067-1 is not prime. Res64: C6ED6C54240CF7A7 Time : 0.0 sec. user=mdettweiler [2016-04-01 22:25:54] 805*2^1425067-1 is not prime. Res64: 98C61DDC90CF5D60 Time : 0.0 sec. user=mdettweiler [2016-04-01 22:25:55] 951*2^1425067-1 is not prime. Res64: 18580D3B9B2A3C3B Time : 0.0 sec. user=mdettweiler [2016-04-01 22:25:55] 617*2^1425068-1 is not prime. Res64: 6C51E81F56ABDDF0 Time : 0.0 sec. user=mdettweiler [2016-04-01 22:25:56] 629*2^1425068-1 is not prime. Res64: 0B4F97E3983A9B92 Time : 0.0 sec. user=mdettweiler [2016-04-01 22:26:10] 635*2^1425068-1 is not prime. Res64: 9776DCCB1CB908C1 Time : 0.0 sec. user=mdettweiler [2016-04-01 22:26:11] 963*2^1425068-1 is not prime. Res64: A779298AEF7F8217 Time : 0.0 sec. user=mdettweiler [2016-04-01 22:26:11] 993*2^1425068-1 is not prime. Res64: B95FBF07C19EE94F Time : 0.0 sec. user=mdettweiler [2016-04-01 22:26:12] 601*2^1425069-1 is not prime. Res64: DF72131F4FE5773E Time : 0.0 sec. user=mdettweiler [2016-04-01 22:26:12] 609*2^1425069-1 is not prime. Res64: 7330F12479509AFA Time : 0.0 sec. user=mdettweiler [2016-04-01 22:31:46] 653*2^1425070-1 is not prime. Res64: DFA92AB99612F5F6 Time : 0.0 sec. user=mdettweiler [2016-04-01 22:33:02] 747*2^1425069-1 is not prime. Res64: 7B1962B28E49E1B6 Time : 0.0 sec. user=mdettweiler [2016-04-01 22:33:03] 787*2^1425069-1 is not prime. Res64: A32E9F3D4999BF4A Time : 0.0 sec. user=mdettweiler [2016-04-01 22:33:03] 847*2^1425069-1 is not prime. Res64: 042DFA8083914495 Time : 0.0 sec. user=mdettweiler [2016-04-01 22:33:03] 861*2^1425069-1 is not prime. Res64: E9AE997E1AD4AB9A Time : 0.0 sec. user=mdettweiler [2016-04-01 22:33:03] 895*2^1425069-1 is not prime. Res64: 1EAB13EF42569656 Time : 0.0 sec. user=mdettweiler [2016-04-01 23:10:27] 773*2^1425070-1 is not prime. Res64: 4AF24F5EC083926E Time : 0.0 sec. user=mdettweiler [2016-04-01 23:10:28] 945*2^1425070-1 is not prime. Res64: 1DC13D47A955CA82 Time : 0.0 sec. user=mdettweiler [2016-04-01 23:10:28] 609*2^1425071-1 is not prime. Res64: 1F7DFA52F48F7318 Time : 0.0 sec. user=mdettweiler [2016-04-01 23:10:29] 615*2^1425071-1 is not prime. Res64: 7FC68533B4E4C479 Time : 0.0 sec. user=mdettweiler [2016-04-01 23:10:29] 661*2^1425071-1 is not prime. Res64: AA5534BCFE4F25EF Time : 0.0 sec. user=mdettweiler [2016-04-01 23:10:52] 711*2^1425071-1 is not prime. Res64: 9EA446F078EAF3A4 Time : 0.0 sec. user=mdettweiler [2016-04-01 23:10:52] 741*2^1425071-1 is not prime. Res64: 9EB0B616C2877B8E Time : 0.0 sec. user=mdettweiler [2016-04-01 23:10:52] 753*2^1425071-1 is not prime. Res64: 731F61079C9FEF51 Time : 0.0 sec. user=mdettweiler [2016-04-01 23:10:53] 759*2^1425071-1 is not prime. Res64: 86FC5048B32B879D Time : 0.0 sec. user=mdettweiler [2016-04-01 23:10:53] 811*2^1425071-1 is not prime. Res64: 2E8551C8425777CB Time : 0.0 sec. user=mdettweiler [2016-04-01 23:10:58] 813*2^1425071-1 is not prime. Res64: 11E26A23FA645EFB Time : 0.0 sec. user=mdettweiler [2016-04-01 23:10:59] 855*2^1425071-1 is not prime. Res64: F3D464D0273FFB24 Time : 0.0 sec. user=mdettweiler [2016-04-01 23:10:59] 885*2^1425071-1 is not prime. Res64: 7B1C73A246903D8F Time : 0.0 sec. user=mdettweiler [2016-04-01 23:11:00] 889*2^1425071-1 is not prime. Res64: A01775F75AE58FF6 Time : 0.0 sec. user=mdettweiler [2016-04-01 23:11:00] 895*2^1425071-1 is not prime. Res64: 8887C09D204055E9 Time : 0.0 sec. user=mdettweiler [2016-04-01 23:17:55] 765*2^1425072-1 is not prime. Res64: 6DFC27FF11360984 Time : 0.0 sec. user=mdettweiler [2016-04-01 23:17:56] 873*2^1425072-1 is not prime. Res64: 617FAD2AE8E66014 Time : 0.0 sec. user=mdettweiler [2016-04-01 23:17:56] 879*2^1425072-1 is not prime. Res64: 7D7F732CFC90A9FC Time : 0.0 sec. user=mdettweiler [2016-04-01 23:17:56] 929*2^1425072-1 is not prime. Res64: 3ABB707F6A8BA887 Time : 0.0 sec. user=mdettweiler [2016-04-01 23:17:56] 625*2^1425073-1 is not prime. Res64: 206BE9DC81DAE9F2 Time : 0.0 sec. user=mdettweiler [2016-04-01 23:55:43] 651*2^1425073-1 is not prime. Res64: 76C952F291D91F4B Time : 0.0 sec. user=mdettweiler [2016-04-01 23:55:43] 681*2^1425073-1 is not prime. Res64: E4EBDDB873DB432F Time : 0.0 sec. user=mdettweiler [2016-04-01 23:55:43] 715*2^1425073-1 is not prime. Res64: D6202A4FFB498B40 Time : 0.0 sec. user=mdettweiler [2016-04-01 23:55:44] 769*2^1425073-1 is not prime. Res64: 19A106B671FAB4BF Time : 0.0 sec. user=mdettweiler [2016-04-01 23:55:44] 801*2^1425073-1 is not prime. Res64: BE7C37FA1E79C059 Time : 0.0 sec. user=mdettweiler [2016-04-01 23:56:09] 855*2^1425073-1 is not prime. Res64: CEA0B8404D04423E Time : 0.0 sec. user=mdettweiler [2016-04-01 23:56:09] 867*2^1425073-1 is not prime. Res64: 8CC449D8A940F6A8 Time : 0.0 sec. user=mdettweiler [2016-04-01 23:56:09] 895*2^1425073-1 is not prime. Res64: 323DBCDA80A12305 Time : 0.0 sec. user=mdettweiler [2016-04-01 23:56:09] 937*2^1425073-1 is not prime. Res64: 1FB87A4FF9CAFE7B Time : 0.0 sec. user=mdettweiler [2016-04-01 23:56:09] 951*2^1425073-1 is not prime. Res64: E9ECEE674204BA91 Time : 0.0 sec. user=mdettweiler [2016-04-01 23:56:22] 985*2^1425073-1 is not prime. Res64: 228DFD0E8FCD9C59 Time : 0.0 sec. user=mdettweiler [2016-04-01 23:56:22] 987*2^1425073-1 is not prime. Res64: 0A67D2DA088C2405 Time : 0.0 sec. user=mdettweiler [2016-04-01 23:56:22] 615*2^1425074-1 is not prime. Res64: C4B47E1A90551D13 Time : 0.0 sec. user=mdettweiler [2016-04-01 23:56:22] 731*2^1425074-1 is not prime. Res64: 6C740A521AE3CB1E Time : 0.0 sec. user=mdettweiler [2016-04-01 23:56:23] 741*2^1425074-1 is not prime. Res64: 0F04391E4E0832DB Time : 0.0 sec.