user=mdettweiler [2019-12-19 00:28:38] 715*2^1551431-1 is not prime. Res64: 2DF1B41DC2DC81A1 Time : 0.0 sec. user=mdettweiler [2019-12-19 00:28:38] 775*2^1551431-1 is not prime. Res64: B3C2E856C3F24A5B Time : 0.0 sec. user=mdettweiler [2019-12-19 00:28:39] 969*2^1551431-1 is not prime. Res64: 924F59E321543CFA Time : 0.0 sec. user=mdettweiler [2019-12-19 00:28:39] 675*2^1551432-1 is not prime. Res64: 19B772459D96C68B Time : 0.0 sec. user=mdettweiler [2019-12-19 00:28:40] 819*2^1551432-1 is not prime. Res64: B43C1FAE1E6552DF Time : 0.0 sec. user=mdettweiler [2019-12-19 00:42:35] 849*2^1551432-1 is not prime. Res64: 19A7FB572D820D70 Time : 0.0 sec. user=mdettweiler [2019-12-19 00:42:36] 903*2^1551432-1 is not prime. Res64: D87FDC16BDC56042 Time : 0.0 sec. user=mdettweiler [2019-12-19 00:42:37] 637*2^1551433-1 is not prime. Res64: 9A7EA224769B3BEB Time : 0.0 sec. user=mdettweiler [2019-12-19 00:42:38] 639*2^1551433-1 is not prime. Res64: E08630DB834AE7D2 Time : 0.0 sec. user=mdettweiler [2019-12-19 00:42:39] 721*2^1551433-1 is not prime. Res64: 624EE5F7255C9AC6 Time : 0.0 sec. user=mdettweiler [2019-12-19 00:51:27] 847*2^1551433-1 is not prime. Res64: AD2E46E2839E7817 Time : 0.0 sec. user=mdettweiler [2019-12-19 00:51:28] 885*2^1551433-1 is not prime. Res64: A5A6B08DFFED4C95 Time : 0.0 sec. user=mdettweiler [2019-12-19 00:51:28] 937*2^1551433-1 is not prime. Res64: 650C7D1FB3660CB9 Time : 0.0 sec. user=mdettweiler [2019-12-19 00:51:29] 615*2^1551434-1 is not prime. Res64: C4ECDACBDE12835A Time : 0.0 sec. user=mdettweiler [2019-12-19 00:51:30] 665*2^1551434-1 is not prime. Res64: 36A7E00EE352352C Time : 0.0 sec. user=mdettweiler [2019-12-19 01:21:56] 927*2^1551434-1 is not prime. Res64: 80783E4172A1057B Time : 0.0 sec. user=mdettweiler [2019-12-19 01:21:57] 953*2^1551434-1 is not prime. Res64: 5CCC08B226D2F301 Time : 0.0 sec. user=mdettweiler [2019-12-19 01:21:58] 679*2^1551435-1 is not prime. Res64: 99109F56B3C364E6 Time : 0.0 sec. user=mdettweiler [2019-12-19 01:21:58] 795*2^1551435-1 is not prime. Res64: 9C9F30F7D17B458D Time : 0.0 sec. user=mdettweiler [2019-12-19 01:21:59] 801*2^1551435-1 is not prime. Res64: A92830B7E3B01036 Time : 0.0 sec. user=mdettweiler [2019-12-19 01:34:35] 819*2^1551435-1 is not prime. Res64: A3264F3589A80F01 Time : 0.0 sec. user=mdettweiler [2019-12-19 01:34:36] 823*2^1551435-1 is not prime. Res64: 5331A5BA27112CAD Time : 0.0 sec. user=mdettweiler [2019-12-19 01:34:36] 873*2^1551435-1 is not prime. Res64: E20213FEF923B0C6 Time : 0.0 sec. user=mdettweiler [2019-12-19 01:34:37] 609*2^1551436-1 is not prime. Res64: 02905D34E672AC19 Time : 0.0 sec. user=mdettweiler [2019-12-19 01:34:38] 647*2^1551436-1 is not prime. Res64: 3BFE628272E3197A Time : 0.0 sec. user=mdettweiler [2019-12-19 01:43:16] 719*2^1551436-1 is not prime. Res64: 8589B9C60E15EDEE Time : 0.0 sec. user=mdettweiler [2019-12-19 01:43:17] 765*2^1551436-1 is not prime. Res64: 526DCA1805521343 Time : 0.0 sec. user=mdettweiler [2019-12-19 01:43:18] 825*2^1551436-1 is not prime. Res64: D1C7E15539EC9327 Time : 0.0 sec. user=mdettweiler [2019-12-19 01:43:18] 899*2^1551436-1 is not prime. Res64: 2AF5C21A293E364E Time : 0.0 sec. user=mdettweiler [2019-12-19 01:43:19] 923*2^1551436-1 is not prime. Res64: 952E79600F164EE5 Time : 0.0 sec. user=mdettweiler [2019-12-19 02:15:55] 965*2^1551436-1 is not prime. Res64: 1B1426DD066BF16E Time : 0.0 sec. user=mdettweiler [2019-12-19 02:15:56] 987*2^1551436-1 is not prime. Res64: F7E7909DDFDFB68F Time : 0.0 sec. user=mdettweiler [2019-12-19 02:15:57] 645*2^1551437-1 is not prime. Res64: 2301B691B0D53434 Time : 0.0 sec. user=mdettweiler [2019-12-19 02:15:58] 651*2^1551437-1 is not prime. Res64: 7781C2E5FD8CCC95 Time : 0.0 sec. user=mdettweiler [2019-12-19 02:15:59] 861*2^1551437-1 is not prime. Res64: 675F3BC84D875C5F Time : 0.0 sec. user=mdettweiler [2019-12-19 02:27:11] 915*2^1551437-1 is not prime. Res64: C64F725C855C55BA Time : 0.0 sec. user=mdettweiler [2019-12-19 02:27:14] 945*2^1551437-1 is not prime. Res64: 1CF2898DABC39FC4 Time : 0.0 sec. user=mdettweiler [2019-12-19 02:27:16] 693*2^1551438-1 is not prime. Res64: 5F0A5E8B5176B5C0 Time : 0.0 sec. user=mdettweiler [2019-12-19 02:27:17] 711*2^1551438-1 is not prime. Res64: C269620BD0F452C0 Time : 0.0 sec. user=mdettweiler [2019-12-19 02:27:18] 725*2^1551438-1 is not prime. Res64: 17DAD8446D6615CF Time : 0.0 sec. user=mdettweiler [2019-12-19 02:36:01] 747*2^1551438-1 is not prime. Res64: C5CAB28E1CA48CA5 Time : 0.0 sec. user=mdettweiler [2019-12-19 02:36:04] 797*2^1551438-1 is not prime. Res64: 56F695309EBD57E6 Time : 0.0 sec. user=mdettweiler [2019-12-19 02:36:07] 971*2^1551438-1 is not prime. Res64: 35F5364FC31E055D Time : 0.0 sec. user=mdettweiler [2019-12-19 02:36:09] 603*2^1551439-1 is not prime. Res64: 6B97AD7C6D60FD40 Time : 0.0 sec. user=mdettweiler [2019-12-19 02:36:11] 609*2^1551439-1 is not prime. Res64: D953E3C7B4604E47 Time : 0.0 sec. user=mdettweiler [2019-12-19 03:07:17] 639*2^1551439-1 is not prime. Res64: 44BDC7C0306B87DF Time : 0.0 sec. user=mdettweiler [2019-12-19 03:07:20] 693*2^1551439-1 is not prime. Res64: 81B740F8C78C078C Time : 0.0 sec. user=mdettweiler [2019-12-19 03:07:24] 741*2^1551439-1 is not prime. Res64: 6B60B55E978BA604 Time : 0.0 sec. user=mdettweiler [2019-12-19 03:07:26] 841*2^1551439-1 is not prime. Res64: BAE69E82089EA675 Time : 0.0 sec. user=mdettweiler [2019-12-19 03:07:30] 635*2^1551440-1 is not prime. Res64: 622574406AE3671B Time : 0.0 sec. user=mdettweiler [2019-12-19 03:18:51] 717*2^1551440-1 is not prime. Res64: B8E4CEB0D4199E5F Time : 0.0 sec. user=mdettweiler [2019-12-19 03:18:52] 777*2^1551440-1 is not prime. Res64: 3F3867DDC38E9AEE Time : 0.0 sec. user=mdettweiler [2019-12-19 03:18:53] 845*2^1551440-1 is not prime. Res64: 794A91A861C20FE3 Time : 0.0 sec. user=mdettweiler [2019-12-19 03:18:54] 609*2^1551441-1 is not prime. Res64: F8D94857F7A7930D Time : 0.0 sec. user=mdettweiler [2019-12-19 03:18:55] 625*2^1551441-1 is not prime. Res64: DD23B766BC7FC85C Time : 0.0 sec. user=mdettweiler [2019-12-19 03:28:19] 649*2^1551441-1 is not prime. Res64: 96ACF7B5928A9818 Time : 0.0 sec. user=mdettweiler [2019-12-19 03:28:25] 741*2^1551441-1 is not prime. Res64: D775BBBE428E5C93 Time : 0.0 sec. user=mdettweiler [2019-12-19 03:28:28] 777*2^1551441-1 is not prime. Res64: 29E174FB15605EBD Time : 0.0 sec. user=mdettweiler [2019-12-19 03:28:32] 849*2^1551441-1 is not prime. Res64: 7B69C2446493CD82 Time : 0.0 sec. user=mdettweiler [2019-12-19 03:28:36] 877*2^1551441-1 is not prime. Res64: 2CDAFA5D01DDA4FA Time : 0.0 sec. user=mdettweiler [2019-12-19 04:00:17] 603*2^1551442-1 is not prime. Res64: D67131D103308B72 Time : 0.0 sec. user=mdettweiler [2019-12-19 04:00:19] 621*2^1551442-1 is not prime. Res64: 8237E453D01EDBCC Time : 0.0 sec. user=mdettweiler [2019-12-19 04:00:21] 831*2^1551442-1 is not prime. Res64: BFB951C93061EA1B Time : 0.0 sec. user=mdettweiler [2019-12-19 04:00:22] 833*2^1551442-1 is not prime. Res64: E7B8FFB2BF0C9810 Time : 0.0 sec. user=mdettweiler [2019-12-19 04:00:26] 843*2^1551442-1 is not prime. Res64: CBD56D8B2E90C107 Time : 0.0 sec. user=mdettweiler [2019-12-19 04:10:22] 867*2^1551442-1 is not prime. Res64: 9CA51C84B3AD691C Time : 0.0 sec. user=mdettweiler [2019-12-19 04:10:26] 615*2^1551443-1 is not prime. Res64: BBF5B7ADE4946A44 Time : 0.0 sec. user=mdettweiler [2019-12-19 04:10:31] 619*2^1551443-1 is not prime. Res64: F723F62386C033BE Time : 0.0 sec. user=mdettweiler [2019-12-19 04:10:38] 663*2^1551443-1 is not prime. Res64: 5B908A6B9367195B Time : 0.0 sec. user=mdettweiler [2019-12-19 04:10:44] 703*2^1551443-1 is not prime. Res64: 847FD9738349506F Time : 0.0 sec. user=mdettweiler [2019-12-19 04:20:31] 775*2^1551443-1 is not prime. Res64: 1F3FC9255B74F08A Time : 0.0 sec. user=mdettweiler [2019-12-19 04:20:38] 627*2^1551444-1 is not prime. Res64: 191D54E7CC83B8C7 Time : 0.0 sec. user=mdettweiler [2019-12-19 04:20:41] 629*2^1551444-1 is not prime. Res64: ADA0DF6E442FFE9C Time : 0.0 sec. user=mdettweiler [2019-12-19 04:20:48] 705*2^1551444-1 is not prime. Res64: 8B9122FF2B188235 Time : 0.0 sec. user=mdettweiler [2019-12-19 04:20:51] 765*2^1551444-1 is not prime. Res64: 5A8C9159064A62CE Time : 0.0 sec. user=mdettweiler [2019-12-19 04:54:12] 843*2^1551444-1 is not prime. Res64: D33EAA482B732AC0 Time : 0.0 sec. user=mdettweiler [2019-12-19 04:54:16] 667*2^1551445-1 is not prime. Res64: A2CAFE4834EC351A Time : 0.0 sec. user=mdettweiler [2019-12-19 04:54:19] 751*2^1551445-1 is not prime. Res64: 6A65426368F829DF Time : 0.0 sec. user=mdettweiler [2019-12-19 04:54:22] 771*2^1551445-1 is not prime. Res64: 6205BB09562ECC43 Time : 0.0 sec. user=mdettweiler [2019-12-19 04:54:25] 955*2^1551445-1 is not prime. Res64: 0AD94A0DD9CFAAF2 Time : 0.0 sec. user=mdettweiler [2019-12-19 05:05:00] 997*2^1551445-1 is not prime. Res64: A917E7347B99146C Time : 0.0 sec. user=mdettweiler [2019-12-19 05:05:04] 999*2^1551445-1 is not prime. Res64: 8930BDC860E7ECEA Time : 0.0 sec. user=mdettweiler [2019-12-19 05:05:06] 705*2^1551446-1 is not prime. Res64: 947F38FAE2B2E20D Time : 0.0 sec. user=mdettweiler [2019-12-19 05:05:08] 707*2^1551446-1 is not prime. Res64: BAAF72EDDDCE5824 Time : 0.0 sec. user=mdettweiler [2019-12-19 05:05:11] 711*2^1551446-1 is not prime. Res64: 14F9F0FF86DEE20F Time : 0.0 sec. user=mdettweiler [2019-12-19 05:14:46] 945*2^1551446-1 is not prime. Res64: 0A1EBA85EA0CDF0E Time : 0.0 sec. user=mdettweiler [2019-12-19 05:14:47] 971*2^1551446-1 is not prime. Res64: CED58E4D3FCA9ACA Time : 0.0 sec. user=mdettweiler [2019-12-19 05:14:48] 619*2^1551447-1 is not prime. Res64: 1166CFFCD87D1E69 Time : 0.0 sec. user=mdettweiler [2019-12-19 05:14:48] 661*2^1551447-1 is not prime. Res64: 32C3CB54D1A52098 Time : 0.0 sec. user=mdettweiler [2019-12-19 05:14:49] 693*2^1551447-1 is not prime. Res64: 0F70F958838753CA Time : 0.0 sec. user=mdettweiler [2019-12-19 05:46:26] 739*2^1551447-1 is not prime. Res64: E5E8035270C09497 Time : 0.0 sec. user=mdettweiler [2019-12-19 05:46:27] 781*2^1551447-1 is not prime. Res64: 54A7371995E33672 Time : 0.0 sec. user=mdettweiler [2019-12-19 05:46:27] 665*2^1551448-1 is not prime. Res64: 517BB299C2F83385 Time : 0.0 sec. user=mdettweiler [2019-12-19 05:46:28] 765*2^1551448-1 is not prime. Res64: 047F0A9EFCFBD3AA Time : 0.0 sec. user=mdettweiler [2019-12-19 05:46:29] 855*2^1551448-1 is not prime. Res64: ABD093646A8AECF2 Time : 0.0 sec. user=mdettweiler [2019-12-19 05:58:20] 887*2^1551448-1 is not prime. Res64: 9DA6001C062EC3F9 Time : 0.0 sec. user=mdettweiler [2019-12-19 05:58:21] 999*2^1551448-1 is not prime. Res64: 3A23DAB26550822E Time : 0.0 sec. user=mdettweiler [2019-12-19 05:58:21] 657*2^1551449-1 is not prime. Res64: B19DCBB1718FA9A8 Time : 0.0 sec. user=mdettweiler [2019-12-19 05:58:22] 685*2^1551449-1 is not prime. Res64: 6F740E3F4BF91DE5 Time : 0.0 sec. user=mdettweiler [2019-12-19 05:58:23] 789*2^1551449-1 is not prime. Res64: 959B0ACD351883E8 Time : 0.0 sec. user=mdettweiler [2019-12-19 06:10:34] 819*2^1551449-1 is not prime. Res64: 3203BF2CC948B82A Time : 0.0 sec. user=mdettweiler [2019-12-19 06:10:39] 841*2^1551449-1 is not prime. Res64: 0D4B2853C6F0B4D3 Time : 0.0 sec. user=mdettweiler [2019-12-19 06:10:42] 951*2^1551449-1 is not prime. Res64: 9DB1D69593129D6F Time : 0.0 sec. user=mdettweiler [2019-12-19 06:10:46] 955*2^1551449-1 is not prime. Res64: B5F72DD9A7A0C989 Time : 0.0 sec. user=mdettweiler [2019-12-19 06:10:50] 957*2^1551449-1 is not prime. Res64: 1CE2484D2E66CB80 Time : 0.0 sec. user=mdettweiler [2019-12-19 06:38:06] 635*2^1551450-1 is not prime. Res64: C068DC2C6DCBE810 Time : 0.0 sec. user=mdettweiler [2019-12-19 06:38:07] 647*2^1551450-1 is not prime. Res64: 00D5670B73E9FB86 Time : 0.0 sec. user=mdettweiler [2019-12-19 06:38:07] 717*2^1551450-1 is not prime. Res64: 5BF33C400C6259D1 Time : 0.0 sec. user=mdettweiler [2019-12-19 06:38:08] 873*2^1551450-1 is not prime. Res64: 701092210CCE5534 Time : 0.0 sec. user=mdettweiler [2019-12-19 06:38:09] 875*2^1551450-1 is not prime. Res64: E6112017A714F395 Time : 0.0 sec. user=mdettweiler [2019-12-19 06:49:52] 887*2^1551450-1 is not prime. Res64: B5D2AB604E5A1C80 Time : 0.0 sec. user=mdettweiler [2019-12-19 06:49:53] 917*2^1551450-1 is not prime. Res64: 97652545CAD6E772 Time : 0.0 sec. user=mdettweiler [2019-12-19 06:49:55] 615*2^1551451-1 is not prime. Res64: 8151B4380A0ADCD9 Time : 0.0 sec. user=mdettweiler [2019-12-19 06:49:56] 619*2^1551451-1 is not prime. Res64: 36A1BFC943988019 Time : 0.0 sec. user=mdettweiler [2019-12-19 06:49:57] 745*2^1551451-1 is not prime. Res64: A0AC0995BCEA299B Time : 0.0 sec. user=mdettweiler [2019-12-19 07:04:48] 769*2^1551451-1 is not prime. Res64: 6D2986EB6DE6FF4E Time : 0.0 sec. user=mdettweiler [2019-12-19 07:04:54] 771*2^1551451-1 is not prime. Res64: 2B05C689D7EC27FF Time : 0.0 sec. user=mdettweiler [2019-12-19 07:04:57] 789*2^1551451-1 is not prime. Res64: F09EB53A4770500A Time : 0.0 sec. user=mdettweiler [2019-12-19 07:04:59] 861*2^1551451-1 is not prime. Res64: 45260824DBAD87B8 Time : 0.0 sec. user=mdettweiler [2019-12-19 07:05:03] 999*2^1551451-1 is not prime. Res64: 96DAFCA17239478C Time : 0.0 sec. user=mdettweiler [2019-12-19 07:30:43] 629*2^1551452-1 is not prime. Res64: E7E5F46E3B6A5AA1 Time : 0.0 sec. user=mdettweiler [2019-12-19 07:30:44] 665*2^1551452-1 is not prime. Res64: 2B5B5E433C99F737 Time : 0.0 sec. user=mdettweiler [2019-12-19 07:30:44] 749*2^1551452-1 is not prime. Res64: 233F2E1EEFE40102 Time : 0.0 sec. user=mdettweiler [2019-12-19 07:30:45] 875*2^1551452-1 is not prime. Res64: 3292360A7E45EF88 Time : 0.0 sec. user=mdettweiler [2019-12-19 07:30:46] 995*2^1551452-1 is not prime. Res64: 19900AA96ED911AE Time : 0.0 sec. user=mdettweiler [2019-12-19 07:43:05] 625*2^1551453-1 is not prime. Res64: 805507F189E10615 Time : 0.0 sec. user=mdettweiler [2019-12-19 07:43:06] 721*2^1551453-1 is not prime. Res64: 0033443F6680B839 Time : 0.0 sec. user=mdettweiler [2019-12-19 07:43:07] 877*2^1551453-1 is not prime. Res64: 8164898B46B23C87 Time : 0.0 sec. user=mdettweiler [2019-12-19 07:43:08] 921*2^1551453-1 is not prime. Res64: F8BCC2A7BC70493C Time : 0.0 sec. user=mdettweiler [2019-12-19 07:43:08] 945*2^1551453-1 is not prime. Res64: EA37B7AAC0DC9918 Time : 0.0 sec. user=mdettweiler [2019-12-19 07:57:05] 605*2^1551454-1 is not prime. Res64: 5F13592F04545CF8 Time : 0.0 sec. user=mdettweiler [2019-12-19 07:57:06] 611*2^1551454-1 is not prime. Res64: F84C2068C1DCEE74 Time : 0.0 sec. user=mdettweiler [2019-12-19 07:57:07] 623*2^1551454-1 is not prime. Res64: 237AC837B7513AA9 Time : 0.0 sec. user=mdettweiler [2019-12-19 07:57:08] 705*2^1551454-1 is not prime. Res64: F1AD8DAD1AC74F4D Time : 0.0 sec. user=mdettweiler [2019-12-19 07:57:08] 731*2^1551454-1 is not prime. Res64: D71FE623FDE0BAB7 Time : 0.0 sec. user=mdettweiler [2019-12-19 08:24:23] 815*2^1551454-1 is not prime. Res64: AF38C2B5C699DBA8 Time : 0.0 sec. user=mdettweiler [2019-12-19 08:24:24] 857*2^1551454-1 is not prime. Res64: 232EF28DD4EF7B16 Time : 0.0 sec. user=mdettweiler [2019-12-19 08:24:24] 861*2^1551454-1 is not prime. Res64: 0402B6CB1484FAB5 Time : 0.0 sec. user=mdettweiler [2019-12-19 08:24:25] 903*2^1551454-1 is not prime. Res64: 7DB0FAAE24385557 Time : 0.0 sec. user=mdettweiler [2019-12-19 08:24:26] 945*2^1551454-1 is not prime. Res64: B35BCE85875E7744 Time : 0.0 sec. user=mdettweiler [2019-12-19 08:34:28] 685*2^1551455-1 is not prime. Res64: 028436CCA2C179AF Time : 0.0 sec. user=mdettweiler [2019-12-19 08:34:29] 693*2^1551455-1 is not prime. Res64: 5465EE909EDAC202 Time : 0.0 sec. user=mdettweiler [2019-12-19 08:34:29] 763*2^1551455-1 is not prime. Res64: 8608060F7E0AEE49 Time : 0.0 sec. user=mdettweiler [2019-12-19 08:34:30] 683*2^1551456-1 is not prime. Res64: 17F63A83601F4771 Time : 0.0 sec. user=mdettweiler [2019-12-19 08:34:31] 845*2^1551456-1 is not prime. Res64: EADC2402F8D3D7CB Time : 0.0 sec. user=mdettweiler [2019-12-19 08:48:59] 905*2^1551456-1 is not prime. Res64: A4C961A8E55D73BA Time : 0.0 sec. user=mdettweiler [2019-12-19 08:49:00] 687*2^1551457-1 is not prime. Res64: B92D4B2D91053044 Time : 0.0 sec. user=mdettweiler [2019-12-19 08:49:01] 741*2^1551457-1 is not prime. Res64: 4E8CC09FE0C84C7D Time : 0.0 sec. user=mdettweiler [2019-12-19 08:49:01] 807*2^1551457-1 is not prime. Res64: 3F86F183F873D461 Time : 0.0 sec. user=mdettweiler [2019-12-19 08:49:02] 849*2^1551457-1 is not prime. Res64: D9DEA770469D563C Time : 0.0 sec. user=mdettweiler [2019-12-19 09:17:26] 901*2^1551457-1 is not prime. Res64: 9742EC82EDA60901 Time : 0.0 sec. user=mdettweiler [2019-12-19 09:17:27] 671*2^1551458-1 is not prime. Res64: 26D12161D6F29D32 Time : 0.0 sec. user=mdettweiler [2019-12-19 09:17:28] 747*2^1551458-1 is not prime. Res64: 14E020074334A8FD Time : 0.0 sec. user=mdettweiler [2019-12-19 09:17:29] 893*2^1551458-1 is not prime. Res64: 80D84BC9EC1EF537 Time : 0.0 sec. user=mdettweiler [2019-12-19 09:17:29] 945*2^1551458-1 is not prime. Res64: 4BE4AC51BD834F30 Time : 0.0 sec. user=mdettweiler [2019-12-19 09:25:26] 609*2^1551459-1 is not prime. Res64: E0225CCD8A0EC3F9 Time : 0.0 sec. user=mdettweiler [2019-12-19 09:25:27] 619*2^1551459-1 is not prime. Res64: 487A8BC39019C664 Time : 0.0 sec. user=mdettweiler [2019-12-19 09:25:27] 669*2^1551459-1 is not prime. Res64: 6C357C7CCA495DCB Time : 0.0 sec. user=mdettweiler [2019-12-19 09:25:28] 703*2^1551459-1 is not prime. Res64: 7BB7A1AFF89C424A Time : 0.0 sec. user=mdettweiler [2019-12-19 09:25:29] 705*2^1551459-1 is not prime. Res64: 23808601BC7AD938 Time : 0.0 sec. user=mdettweiler [2019-12-19 09:43:17] 975*2^1551459-1 is not prime. Res64: 7C03BC0A49E4A502 Time : 0.0 sec. user=mdettweiler [2019-12-19 09:43:18] 991*2^1551459-1 is not prime. Res64: 4EB512383B8FD93A Time : 0.0 sec. user=mdettweiler [2019-12-19 09:43:20] 693*2^1551460-1 is not prime. Res64: E723B62F25F49855 Time : 0.0 sec. user=mdettweiler [2019-12-19 09:43:21] 813*2^1551460-1 is not prime. Res64: 4137AB34158F45AF Time : 0.0 sec. user=mdettweiler [2019-12-19 09:43:22] 827*2^1551460-1 is not prime. Res64: 07BE5630E2CCFE87 Time : 0.0 sec. user=mdettweiler [2019-12-19 10:10:13] 833*2^1551460-1 is not prime. Res64: 19C8D93324621AF2 Time : 0.0 sec. user=mdettweiler [2019-12-19 10:10:14] 999*2^1551460-1 is not prime. Res64: A52908AE7E26934B Time : 0.0 sec. user=mdettweiler [2019-12-19 10:10:15] 601*2^1551461-1 is not prime. Res64: 6C26E8D439B67D14 Time : 0.0 sec. user=mdettweiler [2019-12-19 10:10:15] 615*2^1551461-1 is not prime. Res64: E29A0F736F824274 Time : 0.0 sec. user=mdettweiler [2019-12-19 10:10:16] 619*2^1551461-1 is not prime. Res64: 837515E72B1C3A40 Time : 0.0 sec. user=mdettweiler [2019-12-19 10:17:20] 717*2^1551461-1 is not prime. Res64: 757135C674729871 Time : 0.0 sec. user=mdettweiler [2019-12-19 10:17:20] 745*2^1551461-1 is not prime. Res64: 501A87D73991E30D Time : 0.0 sec. user=mdettweiler [2019-12-19 10:17:21] 837*2^1551461-1 is not prime. Res64: A00998B951671F21 Time : 0.0 sec. user=mdettweiler [2019-12-19 10:17:22] 861*2^1551461-1 is not prime. Res64: D526B6BCABD4C572 Time : 0.0 sec. user=mdettweiler [2019-12-19 10:17:22] 865*2^1551461-1 is not prime. Res64: 821EDF7D26963403 Time : 0.0 sec. user=mdettweiler [2019-12-19 10:37:34] 879*2^1551461-1 is not prime. Res64: F4829EF56A945752 Time : 0.0 sec. user=mdettweiler [2019-12-19 10:37:35] 955*2^1551461-1 is not prime. Res64: A49FB8179E54D342 Time : 0.0 sec. user=mdettweiler [2019-12-19 10:37:36] 987*2^1551461-1 is not prime. Res64: 12C1D6A722FD4B4B Time : 0.0 sec. user=mdettweiler [2019-12-19 10:37:37] 723*2^1551462-1 is not prime. Res64: D81D0E66B59EF278 Time : 0.0 sec. user=mdettweiler [2019-12-19 10:37:38] 621*2^1551463-1 is not prime. Res64: 00495856C7B4F586 Time : 0.0 sec. user=mdettweiler [2019-12-19 11:04:35] 723*2^1551463-1 is not prime. Res64: 5D6072073959BA94 Time : 0.0 sec. user=mdettweiler [2019-12-19 11:04:38] 805*2^1551463-1 is not prime. Res64: 20D05528A1307960 Time : 0.0 sec. user=mdettweiler [2019-12-19 11:04:39] 933*2^1551463-1 is not prime. Res64: 23AAFEAB86EE716D Time : 0.0 sec. user=mdettweiler [2019-12-19 11:04:41] 943*2^1551463-1 is not prime. Res64: 2E1384E48A63B16B Time : 0.0 sec. user=mdettweiler [2019-12-19 11:04:42] 973*2^1551463-1 is not prime. Res64: 3B5661611894CB26 Time : 0.0 sec. user=mdettweiler [2019-12-19 11:10:19] 725*2^1551464-1 is not prime. Res64: CF2C264648FC0A32 Time : 0.0 sec. user=mdettweiler [2019-12-19 11:10:25] 795*2^1551464-1 is not prime. Res64: 5667828B60684ACF Time : 0.0 sec. user=mdettweiler [2019-12-19 11:10:29] 969*2^1551464-1 is not prime. Res64: A0B689FB295E54CB Time : 0.0 sec. user=mdettweiler [2019-12-19 11:10:36] 699*2^1551465-1 is not prime. Res64: 87D5C8A78AC228E4 Time : 0.0 sec. user=mdettweiler [2019-12-19 11:10:39] 795*2^1551465-1 is not prime. Res64: 5345C885479D8744 Time : 0.0 sec. user=mdettweiler [2019-12-19 11:30:05] 805*2^1551465-1 is not prime. Res64: 557980AE1062A999 Time : 0.0 sec. user=mdettweiler [2019-12-19 11:30:11] 867*2^1551465-1 is not prime. Res64: 47B404951CA421CF Time : 0.0 sec. user=mdettweiler [2019-12-19 11:30:12] 895*2^1551465-1 is not prime. Res64: 598A87DFE7EA3709 Time : 0.0 sec. user=mdettweiler [2019-12-19 11:30:13] 919*2^1551465-1 is not prime. Res64: E0D537FB537F2C34 Time : 0.0 sec. user=mdettweiler [2019-12-19 11:30:14] 937*2^1551465-1 is not prime. Res64: 31DDF2FB589DE022 Time : 0.0 sec. user=mdettweiler [2019-12-19 11:58:47] 997*2^1551465-1 is not prime. Res64: 20109A50513C4793 Time : 0.0 sec. user=mdettweiler [2019-12-19 11:58:48] 653*2^1551466-1 is not prime. Res64: A321D36C106BA893 Time : 0.0 sec. user=mdettweiler [2019-12-19 11:58:49] 705*2^1551466-1 is not prime. Res64: E4ACBE9BA8AB4FED Time : 0.0 sec. user=mdettweiler [2019-12-19 11:58:49] 723*2^1551466-1 is not prime. Res64: 066D59695A411747 Time : 0.0 sec. user=mdettweiler [2019-12-19 11:58:50] 737*2^1551466-1 is not prime. Res64: 18D50696706B9973 Time : 0.0 sec. user=mdettweiler [2019-12-19 12:06:37] 747*2^1551466-1 is not prime. Res64: 428241DC3D1FB95D Time : 0.0 sec. user=mdettweiler [2019-12-19 12:06:40] 773*2^1551466-1 is not prime. Res64: 28B8BDD6FC3F31D2 Time : 0.0 sec. user=mdettweiler [2019-12-19 12:06:42] 941*2^1551466-1 is not prime. Res64: A44648B4F452C2E4 Time : 0.0 sec. user=mdettweiler [2019-12-19 12:06:44] 987*2^1551466-1 is not prime. Res64: 06FFA05EEA34539E Time : 0.0 sec. user=mdettweiler [2019-12-19 12:06:45] 601*2^1551467-1 is not prime. Res64: A21ED53C10E0D6EA Time : 0.0 sec. user=mdettweiler [2019-12-19 12:24:41] 675*2^1551467-1 is not prime. Res64: 3943B63ACAA9B0C5 Time : 0.0 sec. user=mdettweiler [2019-12-19 12:24:42] 813*2^1551467-1 is not prime. Res64: 924BACFB628FBD28 Time : 0.0 sec. user=mdettweiler [2019-12-19 12:24:42] 861*2^1551467-1 is not prime. Res64: 74500A009382C80B Time : 0.0 sec. user=mdettweiler [2019-12-19 12:24:43] 949*2^1551467-1 is not prime. Res64: D35EEFE167FF791B Time : 0.0 sec. user=mdettweiler [2019-12-19 12:24:44] 633*2^1551468-1 is not prime. Res64: 5639F1107681AB1D Time : 0.0 sec. user=mdettweiler [2019-12-19 12:53:35] 915*2^1551468-1 is not prime. Res64: C3A0C590C3EA6C5D Time : 0.0 sec. user=mdettweiler [2019-12-19 12:53:36] 999*2^1551468-1 is not prime. Res64: CDCA139F97E253D0 Time : 0.0 sec. user=mdettweiler [2019-12-19 12:53:36] 789*2^1551469-1 is not prime. Res64: 1D6936DDD9CBC151 Time : 0.0 sec. user=mdettweiler [2019-12-19 12:53:37] 861*2^1551469-1 is not prime. Res64: 6B987ECE09AA5587 Time : 0.0 sec. user=mdettweiler [2019-12-19 12:53:37] 885*2^1551469-1 is not prime. Res64: C9AC6721949D189E Time : 0.0 sec. user=mdettweiler [2019-12-19 13:00:02] 627*2^1551470-1 is not prime. Res64: AC0A989A5B6B7A31 Time : 0.0 sec. user=mdettweiler [2019-12-19 13:00:03] 657*2^1551470-1 is not prime. Res64: 0AC7BFC33BD4896C Time : 0.0 sec. user=mdettweiler [2019-12-19 13:00:05] 665*2^1551470-1 is not prime. Res64: D645831A440C4787 Time : 0.0 sec. user=mdettweiler [2019-12-19 13:00:09] 867*2^1551470-1 is not prime. Res64: DC2944014193DDB6 Time : 0.0 sec. user=mdettweiler [2019-12-19 13:00:10] 875*2^1551470-1 is not prime. Res64: 1589C3D9A4EAB45C Time : 0.0 sec. user=mdettweiler [2019-12-19 13:18:18] 887*2^1551470-1 is not prime. Res64: F8018FDA02A63F91 Time : 0.0 sec. user=mdettweiler [2019-12-19 13:18:19] 957*2^1551470-1 is not prime. Res64: A106A7CCBAA0E70C Time : 0.0 sec. user=mdettweiler [2019-12-19 13:18:20] 643*2^1551471-1 is not prime. Res64: B3281077A4E952E4 Time : 0.0 sec. user=mdettweiler [2019-12-19 13:18:21] 669*2^1551471-1 is not prime. Res64: 90E26766E3B14DC4 Time : 0.0 sec. user=mdettweiler [2019-12-19 13:18:21] 685*2^1551471-1 is not prime. Res64: 2371E7EE74C2B1F3 Time : 0.0 sec. user=mdettweiler [2019-12-19 13:46:40] 709*2^1551471-1 is not prime. Res64: EA0DFA701E4DF605 Time : 0.0 sec. user=mdettweiler [2019-12-19 13:46:41] 955*2^1551471-1 is not prime. Res64: 687AFE332C93FAE8 Time : 0.0 sec. user=mdettweiler [2019-12-19 13:46:42] 705*2^1551472-1 is not prime. Res64: 35366DBA1681497E Time : 0.0 sec. user=mdettweiler [2019-12-19 13:46:42] 717*2^1551472-1 is not prime. Res64: 40CAC1F9AE4ACE36 Time : 0.0 sec. user=mdettweiler [2019-12-19 13:46:43] 777*2^1551472-1 is not prime. Res64: 41A6699DCCAB0226 Time : 0.0 sec. user=mdettweiler [2019-12-19 13:53:36] 875*2^1551472-1 is not prime. Res64: 0ECFCEACA3D960E5 Time : 0.0 sec. user=mdettweiler [2019-12-19 13:53:39] 903*2^1551472-1 is not prime. Res64: D2DC3181DABCE1A4 Time : 0.0 sec. user=mdettweiler [2019-12-19 13:53:41] 909*2^1551472-1 is not prime. Res64: AA471A45CA036655 Time : 0.0 sec. user=mdettweiler [2019-12-19 13:53:43] 915*2^1551472-1 is not prime. Res64: ACAFA636A9AC3F35 Time : 0.0 sec. user=mdettweiler [2019-12-19 13:53:44] 929*2^1551472-1 is not prime. Res64: DD203822B12B8B6A Time : 0.0 sec. user=mdettweiler [2019-12-19 14:12:43] 939*2^1551472-1 is not prime. Res64: 147C7958A9EDB8B3 Time : 0.0 sec. user=mdettweiler [2019-12-19 14:12:45] 685*2^1551473-1 is not prime. Res64: AB732D80597A6675 Time : 0.0 sec. user=mdettweiler [2019-12-19 14:12:45] 729*2^1551473-1 is not prime. Res64: 3FBC978FD4038A70 Time : 0.0 sec. user=mdettweiler [2019-12-19 14:12:46] 801*2^1551473-1 is not prime. Res64: D961B566590CE827 Time : 0.0 sec. user=mdettweiler [2019-12-19 14:12:47] 831*2^1551473-1 is not prime. Res64: C847AB7EA0C644E8 Time : 0.0 sec. user=mdettweiler [2019-12-19 14:43:38] 885*2^1551473-1 is not prime. Res64: 17EAAB132892D0F1 Time : 0.0 sec. user=mdettweiler [2019-12-19 14:43:39] 889*2^1551473-1 is not prime. Res64: 14E917AD12CC2797 Time : 0.0 sec. user=mdettweiler [2019-12-19 14:43:40] 955*2^1551473-1 is not prime. Res64: 125DCB4D7497D749 Time : 0.0 sec. user=mdettweiler [2019-12-19 14:43:41] 985*2^1551473-1 is not prime. Res64: D604C0CD6AF0B7B2 Time : 0.0 sec. user=mdettweiler [2019-12-19 14:43:41] 987*2^1551473-1 is not prime. Res64: 71204CAC20269F08 Time : 0.0 sec. user=mdettweiler [2019-12-19 14:47:34] 991*2^1551473-1 is not prime. Res64: 6870CFAFAE5453B2 Time : 0.0 sec. user=mdettweiler [2019-12-19 14:47:34] 621*2^1551474-1 is not prime. Res64: 04A9BC2D8D3DD6C9 Time : 0.0 sec. user=mdettweiler [2019-12-19 14:47:35] 663*2^1551474-1 is not prime. Res64: C36999AF63F4F0F7 Time : 0.0 sec. user=mdettweiler [2019-12-19 14:47:36] 695*2^1551474-1 is not prime. Res64: 956C8CCFD80180D1 Time : 0.0 sec. user=mdettweiler [2019-12-19 14:47:36] 765*2^1551474-1 is not prime. Res64: C131B8A8809B1123 Time : 0.0 sec. user=mdettweiler [2019-12-19 15:06:13] 791*2^1551474-1 is not prime. Res64: EBA054012F9675EF Time : 0.0 sec. user=mdettweiler [2019-12-19 15:06:19] 923*2^1551474-1 is not prime. Res64: 1976F5707F27EF9A Time : 0.0 sec. user=mdettweiler [2019-12-19 15:06:24] 945*2^1551474-1 is not prime. Res64: 21171077F094087E Time : 0.0 sec. user=mdettweiler [2019-12-19 15:06:30] 619*2^1551475-1 is not prime. Res64: CE1A607106B24985 Time : 0.0 sec. user=mdettweiler [2019-12-19 15:06:36] 733*2^1551475-1 is not prime. Res64: 3A50068C669D97CC Time : 0.0 sec. user=mdettweiler [2019-12-19 15:36:11] 793*2^1551475-1 is not prime. Res64: 8265E5F7E180AA25 Time : 0.0 sec. user=mdettweiler [2019-12-19 15:36:11] 805*2^1551475-1 is not prime. Res64: 31BBCA65C9362606 Time : 0.0 sec. user=mdettweiler [2019-12-19 15:36:12] 883*2^1551475-1 is not prime. Res64: EB170C05A9FAAC8F Time : 0.0 sec. user=mdettweiler [2019-12-19 15:36:13] 885*2^1551475-1 is not prime. Res64: A7A41AD45173B3BF Time : 0.0 sec. user=mdettweiler [2019-12-19 15:36:13] 889*2^1551475-1 is not prime. Res64: 6709FB6D4F53401E Time : 0.0 sec. user=mdettweiler [2019-12-19 15:40:13] 915*2^1551475-1 is not prime. Res64: 5D040616B276D33D Time : 0.0 sec. user=mdettweiler [2019-12-19 15:40:13] 969*2^1551475-1 is not prime. Res64: FC2974126B76DA35 Time : 0.0 sec. user=mdettweiler [2019-12-19 15:40:14] 629*2^1551476-1 is not prime. Res64: EE3903DE7EBFB0F0 Time : 0.0 sec. user=mdettweiler [2019-12-19 15:40:14] 607*2^1551477-1 is not prime. Res64: 8075E6CAE2F1287A Time : 0.0 sec. user=mdettweiler [2019-12-19 15:40:15] 669*2^1551477-1 is not prime. Res64: 992766C0CDE4B663 Time : 0.0 sec. user=mdettweiler [2019-12-19 16:01:26] 717*2^1551477-1 is not prime. Res64: BF62AC83C1CB284B Time : 0.0 sec. user=mdettweiler [2019-12-19 16:01:30] 805*2^1551477-1 is not prime. Res64: 538ABE841F7D35B8 Time : 0.0 sec. user=mdettweiler [2019-12-19 16:01:32] 949*2^1551477-1 is not prime. Res64: DA92222E4B94F60A Time : 0.0 sec. user=mdettweiler [2019-12-19 16:01:35] 605*2^1551478-1 is not prime. Res64: C09D7B83534ED00D Time : 0.0 sec. user=mdettweiler [2019-12-19 16:01:37] 623*2^1551478-1 is not prime. Res64: F396A69BC3096FB4 Time : 0.0 sec. user=mdettweiler [2019-12-19 16:27:45] 677*2^1551478-1 is not prime. Res64: BF51570825FAD64A Time : 0.0 sec. user=mdettweiler [2019-12-19 16:27:46] 713*2^1551478-1 is not prime. Res64: F64573FDDC1ECF55 Time : 0.0 sec. user=mdettweiler [2019-12-19 16:27:47] 755*2^1551478-1 is not prime. Res64: 337A7FF7C405327B Time : 0.0 sec. user=mdettweiler [2019-12-19 16:27:47] 825*2^1551478-1 is not prime. Res64: 6033AF53D69BDA17 Time : 0.0 sec. user=mdettweiler [2019-12-19 16:27:48] 843*2^1551478-1 is not prime. Res64: 35640807AE092F85 Time : 0.0 sec. user=mdettweiler [2019-12-19 16:32:47] 891*2^1551478-1 is not prime. Res64: 5EF1EC0C5A0910FE Time : 0.0 sec. user=mdettweiler [2019-12-19 16:32:47] 971*2^1551478-1 is not prime. Res64: 044E8564C15BFD6D Time : 0.0 sec. user=mdettweiler [2019-12-19 16:32:48] 603*2^1551479-1 is not prime. Res64: 3F667B3C04D0A577 Time : 0.0 sec. user=mdettweiler [2019-12-19 16:32:48] 609*2^1551479-1 is not prime. Res64: BDDE84FEF0D2C91D Time : 0.0 sec. user=mdettweiler [2019-12-19 16:32:49] 675*2^1551479-1 is not prime. Res64: DCD0231AAF2447DA Time : 0.0 sec. user=mdettweiler [2019-12-19 16:53:47] 685*2^1551479-1 is not prime. Res64: 71BAB7BF00B5A5F7 Time : 0.0 sec. user=mdettweiler [2019-12-19 16:53:48] 693*2^1551479-1 is not prime. Res64: 628654136E9CE15D Time : 0.0 sec. user=mdettweiler [2019-12-19 16:53:48] 721*2^1551479-1 is not prime. Res64: 79DD909925BE017D Time : 0.0 sec. user=mdettweiler [2019-12-19 16:53:49] 825*2^1551479-1 is not prime. Res64: 43429358550CAC3D Time : 0.0 sec. user=mdettweiler [2019-12-19 16:53:49] 885*2^1551479-1 is not prime. Res64: 74E9E9B80B73736C Time : 0.0 sec. user=mdettweiler [2019-12-19 17:19:24] 615*2^1551480-1 is not prime. Res64: F16B5DD62EACCCC9 Time : 0.0 sec. user=mdettweiler [2019-12-19 17:19:26] 629*2^1551480-1 is not prime. Res64: 487B0ACC4077197E Time : 0.0 sec. user=mdettweiler [2019-12-19 17:19:28] 779*2^1551480-1 is not prime. Res64: F24297DCECCF1CA9 Time : 0.0 sec. user=mdettweiler [2019-12-19 17:19:29] 819*2^1551480-1 is not prime. Res64: B31E69375663CC9A Time : 0.0 sec. user=mdettweiler [2019-12-19 17:19:31] 863*2^1551480-1 is not prime. Res64: FF757A14A42FF701 Time : 0.0 sec. user=mdettweiler [2019-12-19 17:24:44] 873*2^1551480-1 is not prime. Res64: B339C28FF8B0FE99 Time : 0.0 sec. user=mdettweiler [2019-12-19 17:24:45] 887*2^1551480-1 is not prime. Res64: E94630603C230F8F Time : 0.0 sec. user=mdettweiler [2019-12-19 17:24:46] 899*2^1551480-1 is not prime. Res64: D06D97F959E44EFE Time : 0.0 sec. user=mdettweiler [2019-12-19 17:24:47] 607*2^1551481-1 is not prime. Res64: EE924C92E52BA8F7 Time : 0.0 sec. user=mdettweiler [2019-12-19 17:24:49] 603*2^1551482-1 is not prime. Res64: 245C59B849ABEE2B Time : 0.0 sec. user=mdettweiler [2019-12-19 17:46:00] 665*2^1551482-1 is not prime. Res64: 081F35ECC04E2600 Time : 0.0 sec. user=mdettweiler [2019-12-19 17:46:01] 827*2^1551482-1 is not prime. Res64: 7EF83B74FDCA7A67 Time : 0.0 sec. user=mdettweiler [2019-12-19 17:46:01] 885*2^1551482-1 is not prime. Res64: E7BDC1265B392553 Time : 0.0 sec. user=mdettweiler [2019-12-19 17:46:02] 893*2^1551482-1 is not prime. Res64: EFB9CD50B5811C5B Time : 0.0 sec. user=mdettweiler [2019-12-19 17:46:03] 911*2^1551482-1 is not prime. Res64: 886D3C32E325A32F Time : 0.0 sec. user=mdettweiler [2019-12-19 18:12:22] 699*2^1551483-1 is not prime. Res64: CA69BC3456D7D332 Time : 0.0 sec. user=mdettweiler [2019-12-19 18:12:24] 739*2^1551483-1 is not prime. Res64: 275B985DAEA4A678 Time : 0.0 sec. user=mdettweiler [2019-12-19 18:12:25] 745*2^1551483-1 is not prime. Res64: BAF2DA0AD2787ACB Time : 0.0 sec. user=mdettweiler [2019-12-19 18:12:26] 943*2^1551483-1 is not prime. Res64: 644210F6B4CAF5BE Time : 0.0 sec. user=mdettweiler [2019-12-19 18:12:27] 623*2^1551484-1 is not prime. Res64: C6F932E463787413 Time : 0.0 sec. user=mdettweiler [2019-12-19 18:17:47] 719*2^1551484-1 is not prime. Res64: 42D80F33ADC455FA Time : 0.0 sec. user=mdettweiler [2019-12-19 18:17:47] 927*2^1551484-1 is not prime. Res64: 4A4874E8E60AC2B6 Time : 0.0 sec. user=mdettweiler [2019-12-19 18:17:48] 929*2^1551484-1 is not prime. Res64: D07ED65A5982529D Time : 0.0 sec. user=mdettweiler [2019-12-19 18:17:48] 987*2^1551484-1 is not prime. Res64: 591C038C4EEFEF89 Time : 0.0 sec. user=mdettweiler [2019-12-19 18:17:49] 627*2^1551485-1 is not prime. Res64: 2E0670538B381789 Time : 0.0 sec. user=mdettweiler [2019-12-19 18:37:55] 925*2^1551485-1 is not prime. Res64: 14D930D245678F94 Time : 0.0 sec. user=mdettweiler [2019-12-19 18:37:56] 677*2^1551486-1 is not prime. Res64: 62434C69CA8C683F Time : 0.0 sec. user=mdettweiler [2019-12-19 18:37:57] 713*2^1551486-1 is not prime. Res64: 450B89DEA46FF7D6 Time : 0.0 sec. user=mdettweiler [2019-12-19 18:37:57] 807*2^1551486-1 is not prime. Res64: 9F1925916716554C Time : 0.0 sec. user=mdettweiler [2019-12-19 18:37:58] 825*2^1551486-1 is not prime. Res64: D92AB70370209646 Time : 0.0 sec. user=mdettweiler [2019-12-19 19:04:56] 893*2^1551486-1 is not prime. Res64: 86F550938B7C6C99 Time : 0.0 sec. user=mdettweiler [2019-12-19 19:04:58] 921*2^1551486-1 is not prime. Res64: 12E7A90CC30137C8 Time : 0.0 sec. user=mdettweiler [2019-12-19 19:05:01] 681*2^1551487-1 is not prime. Res64: 10A887925945C051 Time : 0.0 sec. user=mdettweiler [2019-12-19 19:05:03] 805*2^1551487-1 is not prime. Res64: 0E70C7CD2A70251B Time : 0.0 sec. user=mdettweiler [2019-12-19 19:05:04] 871*2^1551487-1 is not prime. Res64: E1F7B2A28460FFD4 Time : 0.0 sec. user=mdettweiler [2019-12-19 19:12:28] 915*2^1551487-1 is not prime. Res64: 81BFDE0276A8EE7E Time : 0.0 sec. user=mdettweiler [2019-12-19 19:12:29] 931*2^1551487-1 is not prime. Res64: 2DC1D6935DBDE9FA Time : 0.0 sec. user=mdettweiler [2019-12-19 19:12:30] 951*2^1551487-1 is not prime. Res64: 2B93AAA74BA93C20 Time : 0.0 sec. user=mdettweiler [2019-12-19 19:12:31] 985*2^1551487-1 is not prime. Res64: 8EEECEE6E81AFEB3 Time : 0.0 sec. user=mdettweiler [2019-12-19 19:12:32] 797*2^1551488-1 is not prime. Res64: 559986C3F6BD85F6 Time : 0.0 sec. user=mdettweiler [2019-12-19 19:32:21] 927*2^1551488-1 is not prime. Res64: DB9541D75BF5A3E1 Time : 0.0 sec. user=mdettweiler [2019-12-19 19:32:22] 935*2^1551488-1 is not prime. Res64: A535EA39277BBBF9 Time : 0.0 sec. user=mdettweiler [2019-12-19 19:32:23] 977*2^1551488-1 is not prime. Res64: 073D53913DB68134 Time : 0.0 sec. user=mdettweiler [2019-12-19 19:32:23] 999*2^1551488-1 is not prime. Res64: 7EBE1862D3FE0A54 Time : 0.0 sec. user=mdettweiler [2019-12-19 19:32:24] 609*2^1551489-1 is not prime. Res64: 28FC724D6ED83263 Time : 0.0 sec. user=mdettweiler [2019-12-19 19:57:30] 669*2^1551489-1 is not prime. Res64: 781245E6202E03E4 Time : 0.0 sec. user=mdettweiler [2019-12-19 19:57:31] 679*2^1551489-1 is not prime. Res64: 3B3A0CA510B8179D Time : 0.0 sec. user=mdettweiler [2019-12-19 19:57:32] 969*2^1551489-1 is not prime. Res64: 4433238CBBEE2D13 Time : 0.0 sec. user=mdettweiler [2019-12-19 19:57:32] 687*2^1551490-1 is not prime. Res64: 3B1B7BC127C340F3 Time : 0.0 sec. user=mdettweiler [2019-12-19 19:57:33] 765*2^1551490-1 is not prime. Res64: 16A0BEDBF075AC6A Time : 0.0 sec. user=mdettweiler [2019-12-19 20:04:27] 777*2^1551490-1 is not prime. Res64: 0D3D3CEAF3A1A88D Time : 0.0 sec. user=mdettweiler [2019-12-19 20:04:32] 861*2^1551490-1 is not prime. Res64: 5A0E7CBA97FD486E Time : 0.0 sec. user=mdettweiler [2019-12-19 20:04:39] 733*2^1551491-1 is not prime. Res64: 587F57641923E1E3 Time : 0.0 sec. user=mdettweiler [2019-12-19 20:04:44] 903*2^1551491-1 is not prime. Res64: 42F8E34907564DEF Time : 0.0 sec. user=mdettweiler [2019-12-19 20:04:48] 909*2^1551491-1 is not prime. Res64: 3B585F0608D96C2F Time : 0.0 sec. user=mdettweiler [2019-12-19 20:27:28] 945*2^1551491-1 is not prime. Res64: 07F06B53A2865545 Time : 0.0 sec. user=mdettweiler [2019-12-19 20:27:29] 719*2^1551492-1 is not prime. Res64: AB4C0B50F9403AC7 Time : 0.0 sec. user=mdettweiler [2019-12-19 20:27:29] 737*2^1551492-1 is not prime. Res64: E2E2AF75E3981236 Time : 0.0 sec. user=mdettweiler [2019-12-19 20:27:30] 959*2^1551492-1 is not prime. Res64: 2E7D355FA006F195 Time : 0.0 sec. user=mdettweiler [2019-12-19 20:27:30] 975*2^1551492-1 is not prime. Res64: 8FFC22CCB480F4F5 Time : 0.0 sec. user=mdettweiler [2019-12-19 20:49:08] 687*2^1551493-1 is not prime. Res64: FC75A92A370C142A Time : 0.0 sec. user=mdettweiler [2019-12-19 20:49:09] 699*2^1551493-1 is not prime. Res64: BECF0E78F1EF809C Time : 0.0 sec. user=mdettweiler [2019-12-19 20:49:09] 741*2^1551493-1 is not prime. Res64: EC133AA2E0017DCE Time : 0.0 sec. user=mdettweiler [2019-12-19 20:49:10] 861*2^1551493-1 is not prime. Res64: FF2D1C98593D7149 Time : 0.0 sec. user=mdettweiler [2019-12-19 20:49:11] 889*2^1551493-1 is not prime. Res64: 59BC3B5F98C9282D Time : 0.0 sec. user=mdettweiler [2019-12-19 20:57:50] 937*2^1551493-1 is not prime. Res64: 0B907009095F7F68 Time : 0.0 sec. user=mdettweiler [2019-12-19 20:57:51] 683*2^1551494-1 is not prime. Res64: 8500107E07318567 Time : 0.0 sec. user=mdettweiler [2019-12-19 20:57:52] 705*2^1551494-1 is not prime. Res64: 6847B7F8B822A1DA Time : 0.0 sec. user=mdettweiler [2019-12-19 20:57:52] 827*2^1551494-1 is not prime. Res64: 34780A0F95810B38 Time : 0.0 sec. user=mdettweiler [2019-12-19 20:57:53] 851*2^1551494-1 is not prime. Res64: 3FBFF5D2E389C014 Time : 0.0 sec. user=mdettweiler [2019-12-19 21:20:50] 857*2^1551494-1 is not prime. Res64: BFAD924B4B684F83 Time : 0.0 sec. user=mdettweiler [2019-12-19 21:20:52] 875*2^1551494-1 is not prime. Res64: 6FCA3542ADFAEDB5 Time : 0.0 sec. user=mdettweiler [2019-12-19 21:20:54] 935*2^1551494-1 is not prime. Res64: EA3A71E13ABDE438 Time : 0.0 sec. user=mdettweiler [2019-12-19 21:20:54] 971*2^1551494-1 is not prime. Res64: F67459B048C8BAC5 Time : 0.0 sec. user=mdettweiler [2019-12-19 21:20:55] 685*2^1551495-1 is not prime. Res64: 355475D2D94A2220 Time : 0.0 sec. user=mdettweiler [2019-12-19 21:43:39] 793*2^1551495-1 is not prime. Res64: 752CCA6A84286FEE Time : 0.0 sec. user=mdettweiler [2019-12-19 21:43:40] 859*2^1551495-1 is not prime. Res64: 4BC25D6A72215218 Time : 0.0 sec. user=mdettweiler [2019-12-19 21:43:40] 949*2^1551495-1 is not prime. Res64: 88B0B3FC70D76BE5 Time : 0.0 sec. user=mdettweiler [2019-12-19 21:43:41] 951*2^1551495-1 is not prime. Res64: 1FF838637C5A09B6 Time : 0.0 sec. user=mdettweiler [2019-12-19 21:43:42] 677*2^1551496-1 is not prime. Res64: FFA2F0C4CA29C357 Time : 0.0 sec. user=mdettweiler [2019-12-19 21:49:45] 693*2^1551496-1 is not prime. Res64: 80FE7D641A9EDEB6 Time : 0.0 sec. user=mdettweiler [2019-12-19 21:49:45] 777*2^1551496-1 is not prime. Res64: F70C69EF7BA51505 Time : 0.0 sec. user=mdettweiler [2019-12-19 21:49:46] 849*2^1551496-1 is not prime. Res64: 4D4B3643755313FD Time : 0.0 sec. user=mdettweiler [2019-12-19 21:49:47] 923*2^1551496-1 is not prime. Res64: 5E098C8F77350653 Time : 0.0 sec. user=mdettweiler [2019-12-19 21:49:47] 927*2^1551496-1 is not prime. Res64: 2C1815B6E86FA678 Time : 0.0 sec. user=mdettweiler [2019-12-19 22:12:30] 933*2^1551496-1 is not prime. Res64: 6308B2C2AFC3AB99 Time : 0.0 sec. user=mdettweiler [2019-12-19 22:12:35] 645*2^1551497-1 is not prime. Res64: 884BC0F69F2F4CD4 Time : 0.0 sec. user=mdettweiler [2019-12-19 22:12:39] 675*2^1551497-1 is not prime. Res64: 38BBCCEFDB634071 Time : 0.0 sec. user=mdettweiler [2019-12-19 22:12:41] 699*2^1551497-1 is not prime. Res64: E770BDDE7CB6F677 Time : 0.0 sec. user=mdettweiler [2019-12-19 22:12:44] 729*2^1551497-1 is not prime. Res64: 9B5BCC0CE9CD304A Time : 0.0 sec. user=mdettweiler [2019-12-19 22:36:20] 747*2^1551497-1 is not prime. Res64: CD04B4899E0A977F Time : 0.0 sec. user=mdettweiler [2019-12-19 22:36:21] 759*2^1551497-1 is not prime. Res64: 2B561CA6E56431DD Time : 0.0 sec. user=mdettweiler [2019-12-19 22:36:22] 777*2^1551497-1 is not prime. Res64: 8B139D23D37561A9 Time : 0.0 sec. user=mdettweiler [2019-12-19 22:36:22] 909*2^1551497-1 is not prime. Res64: E35F396E9DA020CF Time : 0.0 sec. user=mdettweiler [2019-12-19 22:36:23] 979*2^1551497-1 is not prime. Res64: 4C0F862C17E445E4 Time : 0.0 sec. user=mdettweiler [2019-12-19 22:40:56] 731*2^1551498-1 is not prime. Res64: 0134A73DB99C3D9A Time : 0.0 sec. user=mdettweiler [2019-12-19 22:40:57] 755*2^1551498-1 is not prime. Res64: D5639CDC37DAC33C Time : 0.0 sec. user=mdettweiler [2019-12-19 22:40:58] 765*2^1551498-1 is not prime. Res64: 50082E112DDD434B Time : 0.0 sec. user=mdettweiler [2019-12-19 22:40:59] 773*2^1551498-1 is not prime. Res64: 4F3B04D575EC6BEB Time : 0.0 sec. user=mdettweiler [2019-12-19 22:41:00] 797*2^1551498-1 is not prime. Res64: 70F639635D0A2011 Time : 0.0 sec. user=mdettweiler [2019-12-19 23:05:05] 815*2^1551498-1 is not prime. Res64: BD4867238C12BBEE Time : 0.0 sec. user=mdettweiler [2019-12-19 23:05:09] 833*2^1551498-1 is not prime. Res64: B4779C19ADD7F4CB Time : 0.0 sec. user=mdettweiler [2019-12-19 23:05:14] 875*2^1551498-1 is not prime. Res64: FE5B0C3934E027A6 Time : 0.0 sec. user=mdettweiler [2019-12-19 23:05:16] 927*2^1551498-1 is not prime. Res64: 2D3EC63CD3A1A7E7 Time : 0.0 sec. user=mdettweiler [2019-12-19 23:05:18] 685*2^1551499-1 is not prime. Res64: 2E8A0A28E5DC02F1 Time : 0.0 sec. user=mdettweiler [2019-12-19 23:29:14] 691*2^1551499-1 is not prime. Res64: D0FB39F491836F27 Time : 0.0 sec. user=mdettweiler [2019-12-19 23:29:15] 891*2^1551499-1 is not prime. Res64: 11A18FA6CEC0A346 Time : 0.0 sec. user=mdettweiler [2019-12-19 23:29:15] 919*2^1551499-1 is not prime. Res64: 0640DE76834C8DB7 Time : 0.0 sec. user=mdettweiler [2019-12-19 23:29:15] 993*2^1551499-1 is not prime. Res64: 90F6E67E5773259F Time : 0.0 sec. user=mdettweiler [2019-12-19 23:29:16] 615*2^1551500-1 is not prime. Res64: 065C14B97C112E0A Time : 0.0 sec. user=mdettweiler [2019-12-19 23:32:13] 647*2^1551500-1 is not prime. Res64: 21B07FE0183C28BE Time : 0.0 sec. user=mdettweiler [2019-12-19 23:32:14] 665*2^1551500-1 is not prime. Res64: D44752910C4A494E Time : 0.0 sec. user=mdettweiler [2019-12-19 23:32:15] 669*2^1551500-1 is not prime. Res64: 924C657604319D59 Time : 0.0 sec. user=mdettweiler [2019-12-19 23:32:15] 719*2^1551500-1 is not prime. Res64: 2962AADC7282BD65 Time : 0.0 sec. user=mdettweiler [2019-12-19 23:32:16] 839*2^1551500-1 is not prime. Res64: 8F9D23CC2B962D11 Time : 0.0 sec.