user=mdettweiler [2019-02-21 00:16:38] 985*2^1535699-1 is not prime. Res64: FA5C0E61D475A760 Time : 0.0 sec. user=mdettweiler [2019-02-21 00:16:39] 993*2^1535699-1 is not prime. Res64: 28456FB041DF67EB Time : 0.0 sec. user=mdettweiler [2019-02-21 00:16:40] 623*2^1535700-1 is not prime. Res64: B7C5CA7C9C0D9BE3 Time : 0.0 sec. user=mdettweiler [2019-02-21 00:16:40] 675*2^1535700-1 is not prime. Res64: 022EB8E08DCBBF9F Time : 0.0 sec. user=mdettweiler [2019-02-21 00:16:41] 723*2^1535700-1 is not prime. Res64: 9181202DC813B9EE Time : 0.0 sec. user=mdettweiler [2019-02-21 00:29:28] 777*2^1535700-1 is not prime. Res64: 2E6517FAD9682581 Time : 0.0 sec. user=mdettweiler [2019-02-21 00:29:29] 805*2^1535701-1 is not prime. Res64: 05AC71E70D1E7920 Time : 0.0 sec. user=mdettweiler [2019-02-21 00:29:29] 829*2^1535701-1 is not prime. Res64: 7322BB38A06A4285 Time : 0.0 sec. user=mdettweiler [2019-02-21 00:29:30] 951*2^1535701-1 is not prime. Res64: 1D4E3768CF95BF63 Time : 0.0 sec. user=mdettweiler [2019-02-21 00:29:30] 975*2^1535701-1 is not prime. Res64: D176560CDB8089D7 Time : 0.0 sec. user=mdettweiler [2019-02-21 00:35:34] 997*2^1535701-1 is not prime. Res64: 4B4128CEA9EC144F Time : 0.0 sec. user=mdettweiler [2019-02-21 00:35:34] 999*2^1535701-1 is not prime. Res64: D73467B123696D2A Time : 0.0 sec. user=mdettweiler [2019-02-21 00:35:35] 645*2^1535702-1 is not prime. Res64: 932E0797FFFEF410 Time : 0.0 sec. user=mdettweiler [2019-02-21 00:35:35] 665*2^1535702-1 is not prime. Res64: 9CC583501932BC7A Time : 0.0 sec. user=mdettweiler [2019-02-21 00:35:36] 671*2^1535702-1 is not prime. Res64: 3277E338A01D299E Time : 0.0 sec. user=mdettweiler [2019-02-21 00:49:23] 771*2^1535702-1 is not prime. Res64: 61A91C5A84DBBE17 Time : 0.0 sec. user=mdettweiler [2019-02-21 00:49:23] 941*2^1535702-1 is not prime. Res64: A19DE3EF134E6462 Time : 0.0 sec. user=mdettweiler [2019-02-21 00:49:24] 995*2^1535702-1 is not prime. Res64: E4091FDAB208DFF1 Time : 0.0 sec. user=mdettweiler [2019-02-21 00:49:24] 663*2^1535703-1 is not prime. Res64: 2D70315E693BD0DC Time : 0.0 sec. user=mdettweiler [2019-02-21 00:49:25] 679*2^1535703-1 is not prime. Res64: BA640354ED25B4D4 Time : 0.0 sec. user=mdettweiler [2019-02-21 01:07:53] 685*2^1535703-1 is not prime. Res64: BAC62C0B2933FC6D Time : 0.0 sec. user=mdettweiler [2019-02-21 01:07:54] 919*2^1535703-1 is not prime. Res64: 1BF7CD1EACB6B72B Time : 0.0 sec. user=mdettweiler [2019-02-21 01:07:55] 945*2^1535703-1 is not prime. Res64: 9FA23326DFECBC0F Time : 0.0 sec. user=mdettweiler [2019-02-21 01:07:55] 609*2^1535704-1 is not prime. Res64: 4E9CE2AB963FE94F Time : 0.0 sec. user=mdettweiler [2019-02-21 01:07:56] 657*2^1535704-1 is not prime. Res64: 6B066833776A5CBB Time : 0.0 sec. user=mdettweiler [2019-02-21 01:20:39] 813*2^1535704-1 is not prime. Res64: 527BC182E282DECA Time : 0.0 sec. user=mdettweiler [2019-02-21 01:20:39] 833*2^1535704-1 is not prime. Res64: 636EC346E67C59CC Time : 0.0 sec. user=mdettweiler [2019-02-21 01:20:40] 619*2^1535705-1 is not prime. Res64: 7B4B5D0E584410C1 Time : 0.0 sec. user=mdettweiler [2019-02-21 01:20:40] 847*2^1535705-1 is not prime. Res64: 952C957CF5FD0CAA Time : 0.0 sec. user=mdettweiler [2019-02-21 01:20:41] 885*2^1535705-1 is not prime. Res64: DE1DB4F33605829C Time : 0.0 sec. user=mdettweiler [2019-02-21 01:26:48] 939*2^1535705-1 is not prime. Res64: D20F08E85B9F4DF3 Time : 0.0 sec. user=mdettweiler [2019-02-21 01:26:51] 717*2^1535706-1 is not prime. Res64: 96B6B5CD9074B466 Time : 0.0 sec. user=mdettweiler [2019-02-21 01:26:53] 765*2^1535706-1 is not prime. Res64: 0301C06A15F5A509 Time : 0.0 sec. user=mdettweiler [2019-02-21 01:26:56] 777*2^1535706-1 is not prime. Res64: 50D633F92B255DC4 Time : 0.0 sec. user=mdettweiler [2019-02-21 01:26:58] 783*2^1535706-1 is not prime. Res64: 9A7E8EE83EB354E4 Time : 0.0 sec. user=mdettweiler [2019-02-21 01:40:50] 923*2^1535706-1 is not prime. Res64: 76C466F847624EFB Time : 0.0 sec. user=mdettweiler [2019-02-21 01:40:51] 945*2^1535706-1 is not prime. Res64: 4696E0DA9932DC51 Time : 0.0 sec. user=mdettweiler [2019-02-21 01:40:52] 983*2^1535706-1 is not prime. Res64: 7E7126F1E10A740C Time : 0.0 sec. user=mdettweiler [2019-02-21 01:40:53] 649*2^1535707-1 is not prime. Res64: 2689810AC9C09D2E Time : 0.0 sec. user=mdettweiler [2019-02-21 01:40:53] 651*2^1535707-1 is not prime. Res64: B6A114E2A88073C6 Time : 0.0 sec. user=mdettweiler [2019-02-21 02:00:11] 733*2^1535707-1 is not prime. Res64: 510B798E2140B341 Time : 0.0 sec. user=mdettweiler [2019-02-21 02:00:12] 861*2^1535707-1 is not prime. Res64: 86F0A006BC86F796 Time : 0.0 sec. user=mdettweiler [2019-02-21 02:00:13] 975*2^1535707-1 is not prime. Res64: C74B32700C1B1993 Time : 0.0 sec. user=mdettweiler [2019-02-21 02:00:14] 669*2^1535708-1 is not prime. Res64: 2FA2D2A5B240C71A Time : 0.0 sec. user=mdettweiler [2019-02-21 02:00:15] 735*2^1535708-1 is not prime. Res64: FEDE977DDBFAE6AE Time : 0.0 sec. user=mdettweiler [2019-02-21 02:12:41] 795*2^1535708-1 is not prime. Res64: 498A80187D381E35 Time : 0.0 sec. user=mdettweiler [2019-02-21 02:12:41] 819*2^1535708-1 is not prime. Res64: A9F944C607ED928F Time : 0.0 sec. user=mdettweiler [2019-02-21 02:12:42] 953*2^1535708-1 is not prime. Res64: 596BCEC88BE5D721 Time : 0.0 sec. user=mdettweiler [2019-02-21 02:12:43] 759*2^1535709-1 is not prime. Res64: D14AEDB89DDF181F Time : 0.0 sec. user=mdettweiler [2019-02-21 02:12:43] 765*2^1535709-1 is not prime. Res64: 0ABC0D161AAD8D46 Time : 0.0 sec. user=mdettweiler [2019-02-21 02:20:06] 825*2^1535709-1 is not prime. Res64: DD48F25E3992AA17 Time : 0.0 sec. user=mdettweiler [2019-02-21 02:20:06] 835*2^1535709-1 is not prime. Res64: 868EE096F1650C86 Time : 0.0 sec. user=mdettweiler [2019-02-21 02:20:07] 657*2^1535710-1 is not prime. Res64: 8407FB80674D4964 Time : 0.0 sec. user=mdettweiler [2019-02-21 02:20:07] 723*2^1535710-1 is not prime. Res64: 786306992D5416F9 Time : 0.0 sec. user=mdettweiler [2019-02-21 02:20:08] 741*2^1535710-1 is not prime. Res64: 54587A785311EB5F Time : 0.0 sec. user=mdettweiler [2019-02-21 02:33:23] 755*2^1535710-1 is not prime. Res64: D517A92C518B9862 Time : 0.0 sec. user=mdettweiler [2019-02-21 02:33:24] 813*2^1535710-1 is not prime. Res64: 4991FF78F3E3E750 Time : 0.0 sec. user=mdettweiler [2019-02-21 02:33:25] 827*2^1535710-1 is not prime. Res64: E2CAC729546114DA Time : 0.0 sec. user=mdettweiler [2019-02-21 02:33:26] 923*2^1535710-1 is not prime. Res64: BFC9F96AB2544DBB Time : 0.0 sec. user=mdettweiler [2019-02-21 02:33:26] 933*2^1535710-1 is not prime. Res64: FCF989A709B58953 Time : 0.0 sec. user=mdettweiler [2019-02-21 02:53:11] 645*2^1535711-1 is not prime. Res64: 0DE8FF0ED9822477 Time : 0.0 sec. user=mdettweiler [2019-02-21 02:53:12] 685*2^1535711-1 is not prime. Res64: B43BFAC9FE868DF0 Time : 0.0 sec. user=mdettweiler [2019-02-21 02:53:13] 945*2^1535711-1 is not prime. Res64: E229F8C0F321BE67 Time : 0.0 sec. user=mdettweiler [2019-02-21 02:53:13] 981*2^1535711-1 is not prime. Res64: 35C4AD62F6D65DDD Time : 0.0 sec. user=mdettweiler [2019-02-21 02:53:14] 993*2^1535711-1 is not prime. Res64: 0E1CD650D71CD717 Time : 0.0 sec. user=mdettweiler [2019-02-21 03:05:03] 629*2^1535712-1 is not prime. Res64: 9DCC68C25177F264 Time : 0.0 sec. user=mdettweiler [2019-02-21 03:05:07] 669*2^1535712-1 is not prime. Res64: 7BF65EBAE1A83A79 Time : 0.0 sec. user=mdettweiler [2019-02-21 03:05:09] 767*2^1535712-1 is not prime. Res64: 556CE04A32956427 Time : 0.0 sec. user=mdettweiler [2019-02-21 03:05:12] 909*2^1535712-1 is not prime. Res64: 486975846C37C72A Time : 0.0 sec. user=mdettweiler [2019-02-21 03:05:14] 929*2^1535712-1 is not prime. Res64: 4A66B375B4A27A5D Time : 0.0 sec. user=mdettweiler [2019-02-21 03:12:13] 975*2^1535712-1 is not prime. Res64: 11F483FF6AC8D475 Time : 0.0 sec. user=mdettweiler [2019-02-21 03:12:16] 681*2^1535713-1 is not prime. Res64: A7E47456E4685E87 Time : 0.0 sec. user=mdettweiler [2019-02-21 03:12:18] 685*2^1535713-1 is not prime. Res64: 91EBD59229339F29 Time : 0.0 sec. user=mdettweiler [2019-02-21 03:12:18] 721*2^1535713-1 is not prime. Res64: 6502E269DD5F55DB Time : 0.0 sec. user=mdettweiler [2019-02-21 03:12:19] 769*2^1535713-1 is not prime. Res64: 6901EBC9B9C8AFE3 Time : 0.0 sec. user=mdettweiler [2019-02-21 03:25:44] 817*2^1535713-1 is not prime. Res64: 325ED8A6A5441F95 Time : 0.0 sec. user=mdettweiler [2019-02-21 03:25:45] 847*2^1535713-1 is not prime. Res64: DD5000D94EAA8F96 Time : 0.0 sec. user=mdettweiler [2019-02-21 03:25:46] 861*2^1535713-1 is not prime. Res64: 3E87DD6B341B62D2 Time : 0.0 sec. user=mdettweiler [2019-02-21 03:25:47] 939*2^1535713-1 is not prime. Res64: AFAE739C715956DD Time : 0.0 sec. user=mdettweiler [2019-02-21 03:25:48] 615*2^1535714-1 is not prime. Res64: F4FC6B0ED941960E Time : 0.0 sec. user=mdettweiler [2019-02-21 03:44:31] 623*2^1535714-1 is not prime. Res64: 2427EBE244B8A949 Time : 0.0 sec. user=mdettweiler [2019-02-21 03:44:33] 665*2^1535714-1 is not prime. Res64: 99D9DA0195078807 Time : 0.0 sec. user=mdettweiler [2019-02-21 03:44:36] 785*2^1535714-1 is not prime. Res64: 9278FF18C00DE133 Time : 0.0 sec. user=mdettweiler [2019-02-21 03:44:38] 813*2^1535714-1 is not prime. Res64: 76CA0EF4F7029938 Time : 0.0 sec. user=mdettweiler [2019-02-21 03:44:39] 935*2^1535714-1 is not prime. Res64: CDA3DEE6ABFAFD70 Time : 0.0 sec. user=mdettweiler [2019-02-21 03:58:33] 983*2^1535714-1 is not prime. Res64: 40A55C891F826791 Time : 0.0 sec. user=mdettweiler [2019-02-21 03:58:34] 601*2^1535715-1 is not prime. Res64: 7AA310D3357A9436 Time : 0.0 sec. user=mdettweiler [2019-02-21 03:58:35] 775*2^1535715-1 is not prime. Res64: 5986583E27D6DBD5 Time : 0.0 sec. user=mdettweiler [2019-02-21 03:58:35] 783*2^1535715-1 is not prime. Res64: E31DD8AF7693027B Time : 0.0 sec. user=mdettweiler [2019-02-21 03:58:36] 801*2^1535715-1 is not prime. Res64: 2C25F01976BC1B95 Time : 0.0 sec. user=mdettweiler [2019-02-21 04:04:09] 849*2^1535715-1 is not prime. Res64: 5AB090422CE22815 Time : 0.0 sec. user=mdettweiler [2019-02-21 04:04:15] 853*2^1535715-1 is not prime. Res64: D575C40146732440 Time : 0.0 sec. user=mdettweiler [2019-02-21 04:04:17] 943*2^1535715-1 is not prime. Res64: B7E9CE81715CAF6B Time : 0.0 sec. user=mdettweiler [2019-02-21 04:04:20] 955*2^1535715-1 is not prime. Res64: E63F5C189B011C6D Time : 0.0 sec. user=mdettweiler [2019-02-21 04:04:23] 985*2^1535715-1 is not prime. Res64: D36ED25C20FD158B Time : 0.0 sec. user=mdettweiler [2019-02-21 04:17:02] 615*2^1535716-1 is not prime. Res64: E22C7C21E2805DD3 Time : 0.0 sec. user=mdettweiler [2019-02-21 04:17:07] 719*2^1535716-1 is not prime. Res64: CD84992BFB9CCB10 Time : 0.0 sec. user=mdettweiler [2019-02-21 04:17:09] 843*2^1535716-1 is not prime. Res64: 2AEAB6A93190C3F9 Time : 0.0 sec. user=mdettweiler [2019-02-21 04:17:12] 855*2^1535716-1 is not prime. Res64: 730E7352219567CB Time : 0.0 sec. user=mdettweiler [2019-02-21 04:17:15] 927*2^1535716-1 is not prime. Res64: 38B98843898F2CE6 Time : 0.0 sec. user=mdettweiler [2019-02-21 04:36:56] 983*2^1535716-1 is not prime. Res64: 3A2509E04939BB8D Time : 0.0 sec. user=mdettweiler [2019-02-21 04:36:57] 989*2^1535716-1 is not prime. Res64: 295A2CBD12F4998A Time : 0.0 sec. user=mdettweiler [2019-02-21 04:36:58] 697*2^1535717-1 is not prime. Res64: ABFED3534F199887 Time : 0.0 sec. user=mdettweiler [2019-02-21 04:36:58] 801*2^1535717-1 is not prime. Res64: D7284B154F08E0EA Time : 0.0 sec. user=mdettweiler [2019-02-21 04:36:59] 837*2^1535717-1 is not prime. Res64: D12CE33C66ACA070 Time : 0.0 sec. user=mdettweiler [2019-02-21 04:50:05] 927*2^1535717-1 is not prime. Res64: 7B8BAB07880DD3A0 Time : 0.0 sec. user=mdettweiler [2019-02-21 04:50:06] 949*2^1535717-1 is not prime. Res64: BD1EABC3441E0353 Time : 0.0 sec. user=mdettweiler [2019-02-21 04:50:07] 605*2^1535718-1 is not prime. Res64: 7F4555A7A8F353B1 Time : 0.0 sec. user=mdettweiler [2019-02-21 04:50:08] 641*2^1535718-1 is not prime. Res64: C0C21313BA6F8B9D Time : 0.0 sec. user=mdettweiler [2019-02-21 04:50:08] 657*2^1535718-1 is not prime. Res64: 651ADBC225730C53 Time : 0.0 sec. user=mdettweiler [2019-02-21 04:56:23] 711*2^1535718-1 is not prime. Res64: 64FE2C01F307FD4C Time : 0.0 sec. user=mdettweiler [2019-02-21 04:56:23] 725*2^1535718-1 is not prime. Res64: DBC094F5CFB07A68 Time : 0.0 sec. user=mdettweiler [2019-02-21 04:56:24] 765*2^1535718-1 is not prime. Res64: 0B10EB2CD0690FE5 Time : 0.0 sec. user=mdettweiler [2019-02-21 04:56:24] 773*2^1535718-1 is not prime. Res64: 8A216006E2208B3A Time : 0.0 sec. user=mdettweiler [2019-02-21 04:56:25] 791*2^1535718-1 is not prime. Res64: 9FF1650A63096DF6 Time : 0.0 sec. user=mdettweiler [2019-02-21 05:09:11] 933*2^1535718-1 is not prime. Res64: AA52F20D99CB2988 Time : 0.0 sec. user=mdettweiler [2019-02-21 05:09:12] 705*2^1535719-1 is not prime. Res64: 758B22E47564EBBA Time : 0.0 sec. user=mdettweiler [2019-02-21 05:09:12] 745*2^1535719-1 is not prime. Res64: E5BC7B88BDF7A947 Time : 0.0 sec. user=mdettweiler [2019-02-21 05:09:13] 861*2^1535719-1 is not prime. Res64: DC5887C1A04E0AE3 Time : 0.0 sec. user=mdettweiler [2019-02-21 05:09:13] 717*2^1535720-1 is not prime. Res64: 11092AD2FB243C93 Time : 0.0 sec. user=mdettweiler [2019-02-21 05:28:03] 753*2^1535720-1 is not prime. Res64: 7CBB1181EE9A8D19 Time : 0.0 sec. user=mdettweiler [2019-02-21 05:28:04] 777*2^1535720-1 is not prime. Res64: 7A87D5DE8CD546C3 Time : 0.0 sec. user=mdettweiler [2019-02-21 05:28:04] 785*2^1535720-1 is not prime. Res64: 184A3750446F5979 Time : 0.0 sec. user=mdettweiler [2019-02-21 05:28:05] 845*2^1535720-1 is not prime. Res64: ECFA63D7598918A6 Time : 0.0 sec. user=mdettweiler [2019-02-21 05:28:05] 855*2^1535720-1 is not prime. Res64: 45590342B3C75FAD Time : 0.0 sec. user=mdettweiler [2019-02-21 05:41:31] 857*2^1535720-1 is not prime. Res64: 6DC090980B8D0212 Time : 0.0 sec. user=mdettweiler [2019-02-21 05:41:31] 929*2^1535720-1 is not prime. Res64: A5820A63D6D6CD1D Time : 0.0 sec. user=mdettweiler [2019-02-21 05:41:32] 607*2^1535721-1 is not prime. Res64: 54941C442EEC7371 Time : 0.0 sec. user=mdettweiler [2019-02-21 05:41:32] 627*2^1535721-1 is not prime. Res64: F92FB75E4EE5E51C Time : 0.0 sec. user=mdettweiler [2019-02-21 05:41:33] 705*2^1535721-1 is not prime. Res64: 408E394F77FDC980 Time : 0.0 sec. user=mdettweiler [2019-02-21 05:48:05] 709*2^1535721-1 is not prime. Res64: BD800683988002D3 Time : 0.0 sec. user=mdettweiler [2019-02-21 05:48:05] 805*2^1535721-1 is not prime. Res64: 83F01FFA079AB16F Time : 0.0 sec. user=mdettweiler [2019-02-21 05:48:06] 865*2^1535721-1 is not prime. Res64: A9F84220BB46A4B8 Time : 0.0 sec. user=mdettweiler [2019-02-21 05:48:06] 997*2^1535721-1 is not prime. Res64: 45CDB47BBA7FAC62 Time : 0.0 sec. user=mdettweiler [2019-02-21 05:48:07] 621*2^1535722-1 is prime! Time : 0.0 sec. user=mdettweiler [2019-02-21 06:00:38] 651*2^1535722-1 is not prime. Res64: E2D18FBCE39F9A6F Time : 0.0 sec. user=mdettweiler [2019-02-21 06:00:54] 675*2^1535722-1 is not prime. Res64: 2C6FF940DC2C8170 Time : 0.0 sec. user=mdettweiler [2019-02-21 06:20:11] 881*2^1535722-1 is not prime. Res64: 6354A91BB394BE83 Time : 0.0 sec. user=mdettweiler [2019-02-21 06:20:12] 911*2^1535722-1 is not prime. Res64: E03CCD2A8F940E8E Time : 0.0 sec. user=mdettweiler [2019-02-21 06:20:27] 915*2^1535722-1 is not prime. Res64: 938D0C84E9C83523 Time : 0.0 sec. user=mdettweiler [2019-02-21 06:34:18] 995*2^1535722-1 is not prime. Res64: 14FF839854ADDDC2 Time : 0.0 sec. user=mdettweiler [2019-02-21 06:34:19] 615*2^1535723-1 is not prime. Res64: 982806AE701E0185 Time : 0.0 sec. user=mdettweiler [2019-02-21 06:34:19] 685*2^1535723-1 is not prime. Res64: 1B46CF910736B6C8 Time : 0.0 sec. user=mdettweiler [2019-02-21 06:34:20] 703*2^1535723-1 is not prime. Res64: 4494800075DD865E Time : 0.0 sec. user=mdettweiler [2019-02-21 06:34:30] 955*2^1535723-1 is not prime. Res64: F1DA910795E14F33 Time : 0.0 sec. user=mdettweiler [2019-02-21 11:56:56] 985*2^1535723-1 is not prime. Res64: 6BDD9CF2E1E3837F Time : 0.0 sec. user=mdettweiler [2019-02-21 11:56:57] 991*2^1535723-1 is not prime. Res64: 3CF4B0C8D4447318 Time : 0.0 sec. user=mdettweiler [2019-02-21 11:56:58] 993*2^1535723-1 is not prime. Res64: 7FCF7B04252FB264 Time : 0.0 sec. user=mdettweiler [2019-02-21 11:56:59] 635*2^1535724-1 is not prime. Res64: 3A5ECB865EAA0613 Time : 0.0 sec. user=mdettweiler [2019-02-21 11:56:59] 665*2^1535724-1 is not prime. Res64: 549CE65CB696EE40 Time : 0.0 sec. user=mdettweiler [2019-02-21 12:32:49] 705*2^1535722-1 is not prime. Res64: AFC86C5A55FC9440 Time : 0.0 sec. user=mdettweiler [2019-02-21 12:32:50] 801*2^1535722-1 is not prime. Res64: D38A5A18FB8DBA2D Time : 0.0 sec. user=mdettweiler [2019-02-21 12:32:50] 831*2^1535722-1 is not prime. Res64: 1AB53D4FD48AE497 Time : 0.0 sec. user=mdettweiler [2019-02-21 12:55:50] 923*2^1535722-1 is not prime. Res64: AF1627ECABE25AA3 Time : 0.0 sec. user=mdettweiler [2019-02-21 12:55:50] 947*2^1535722-1 is not prime. Res64: ACC2CE3F7BA09783 Time : 0.0 sec. user=mdettweiler [2019-02-21 12:58:52] 707*2^1535724-1 is not prime. Res64: B2958932C77CB5FD Time : 0.0 sec. user=mdettweiler [2019-02-21 12:58:52] 753*2^1535724-1 is not prime. Res64: 8C248827AF734018 Time : 0.0 sec. user=mdettweiler [2019-02-21 12:59:03] 759*2^1535724-1 is not prime. Res64: 1C16F3EB20E5FBB6 Time : 0.0 sec. user=mdettweiler [2019-02-21 13:27:48] 965*2^1535724-1 is not prime. Res64: A71AF937FC27278A Time : 0.0 sec. user=mdettweiler [2019-02-21 13:27:49] 625*2^1535725-1 is not prime. Res64: 85224EFB64284300 Time : 0.0 sec. user=mdettweiler [2019-02-21 13:27:50] 771*2^1535725-1 is not prime. Res64: 0A8A8EBBFF354030 Time : 0.0 sec. user=mdettweiler [2019-02-21 13:27:50] 885*2^1535725-1 is not prime. Res64: 4EC573EAAC417DFA Time : 0.0 sec. user=mdettweiler [2019-02-21 13:27:51] 999*2^1535725-1 is not prime. Res64: F4B01537176BFA16 Time : 0.0 sec. user=mdettweiler [2019-02-21 13:34:22] 923*2^1535726-1 is not prime. Res64: DAD76217777B04BE Time : 0.0 sec. user=mdettweiler [2019-02-21 13:34:22] 971*2^1535726-1 is not prime. Res64: 1A02947B8F0ADBDB Time : 0.0 sec. user=mdettweiler [2019-02-21 13:34:23] 661*2^1535727-1 is not prime. Res64: 5E95204C4BBE9CD5 Time : 0.0 sec. user=mdettweiler [2019-02-21 13:34:23] 711*2^1535727-1 is not prime. Res64: C49B83FED76C721D Time : 0.0 sec. user=mdettweiler [2019-02-21 13:34:34] 741*2^1535727-1 is not prime. Res64: 1EA33B401812B4CC Time : 0.0 sec. user=mdettweiler [2019-02-21 13:48:13] 765*2^1535727-1 is not prime. Res64: FFB45F2FD11D52DA Time : 0.0 sec. user=mdettweiler [2019-02-21 13:48:14] 859*2^1535727-1 is not prime. Res64: 5C03FB063AFFCBFC Time : 0.0 sec. user=mdettweiler [2019-02-21 13:48:15] 871*2^1535727-1 is not prime. Res64: 4DA044E65748B1BF Time : 0.0 sec. user=mdettweiler [2019-02-21 13:48:15] 713*2^1535728-1 is not prime. Res64: C88DD04B33D4DF59 Time : 0.0 sec. user=mdettweiler [2019-02-21 13:48:25] 765*2^1535728-1 is not prime. Res64: F20D6681AF192D20 Time : 0.0 sec. user=mdettweiler [2019-02-21 14:21:26] 773*2^1535728-1 is not prime. Res64: 80EF28C16844D663 Time : 0.0 sec. user=mdettweiler [2019-02-21 18:59:23] 809*2^1535724-1 is not prime. Res64: 32252B58E847F8AC Time : 0.0 sec. user=mdettweiler [2019-02-21 20:25:26] 697*2^1535729-1 is not prime. Res64: B363CB0DF61505D1 Time : 0.0 sec. user=mdettweiler [2019-02-21 20:36:48] 777*2^1535728-1 is not prime. Res64: 72C15B22B906F8F9 Time : 0.0 sec. user=mdettweiler [2019-02-21 20:36:48] 843*2^1535728-1 is not prime. Res64: 45D9007AF66B83A1 Time : 0.0 sec. user=mdettweiler [2019-02-21 20:36:49] 863*2^1535728-1 is not prime. Res64: DBCE7ED3D722BE6F Time : 0.0 sec. user=mdettweiler [2019-02-21 20:36:49] 685*2^1535729-1 is not prime. Res64: 44BA6A0F10AE891F Time : 0.0 sec. user=mdettweiler [2019-02-21 20:39:34] 795*2^1535729-1 is not prime. Res64: DEC03C779D002D92 Time : 0.0 sec. user=mdettweiler [2019-02-21 20:39:35] 829*2^1535729-1 is not prime. Res64: 09531427B0BE1A1E Time : 0.0 sec. user=mdettweiler [2019-02-21 20:39:35] 831*2^1535729-1 is not prime. Res64: AE5702700892E03D Time : 0.0 sec. user=mdettweiler [2019-02-21 20:39:36] 837*2^1535729-1 is not prime. Res64: EA130E85D3D6967C Time : 0.0 sec. user=mdettweiler [2019-02-21 20:39:36] 841*2^1535729-1 is not prime. Res64: 2F6F0FE997754385 Time : 0.0 sec. user=mdettweiler [2019-02-21 21:29:48] 847*2^1535729-1 is not prime. Res64: B5DFE9F02F7CDB21 Time : 0.0 sec. user=mdettweiler [2019-02-21 21:32:58] 851*2^1535730-1 is not prime. Res64: 57B14366AB969351 Time : 0.0 sec. user=mdettweiler [2019-02-21 21:32:58] 873*2^1535730-1 is not prime. Res64: 2CB13EDE126A9277 Time : 0.0 sec. user=mdettweiler [2019-02-21 21:33:08] 941*2^1535730-1 is not prime. Res64: 834330F96D60AC84 Time : 0.0 sec.