user=mdettweiler [2015-12-02 00:09:17] 829*2^1416593-1 is not prime. Res64: F726E9B66C8CC2EB Time : 0.0 sec. user=mdettweiler [2015-12-02 00:09:18] 967*2^1416593-1 is not prime. Res64: 8EE5D320DA517BD2 Time : 0.0 sec. user=mdettweiler [2015-12-02 00:09:20] 683*2^1416594-1 is not prime. Res64: A38DDFB36F410E92 Time : 0.0 sec. user=mdettweiler [2015-12-02 00:09:21] 783*2^1416594-1 is not prime. Res64: 9ADBC893A6C43098 Time : 0.0 sec. user=mdettweiler [2015-12-02 00:18:17] 851*2^1416594-1 is not prime. Res64: CD297CE820085C38 Time : 0.0 sec. user=mdettweiler [2015-12-02 00:18:17] 903*2^1416594-1 is not prime. Res64: 44FD2C6619271B17 Time : 0.0 sec. user=mdettweiler [2015-12-02 00:26:57] 793*2^1416595-1 is not prime. Res64: 3FA06296E8CC7098 Time : 0.0 sec. user=mdettweiler [2015-12-02 00:26:58] 853*2^1416595-1 is not prime. Res64: 08C56459E5064523 Time : 0.0 sec. user=mdettweiler [2015-12-02 00:26:58] 941*2^1416594-1 is not prime. Res64: D9D537D5956FEFD6 Time : 0.0 sec. user=mdettweiler [2015-12-02 00:26:59] 651*2^1416595-1 is not prime. Res64: 7FECF642B356C866 Time : 0.0 sec. user=mdettweiler [2015-12-02 00:35:53] 913*2^1416595-1 is not prime. Res64: 9D492B4558254A85 Time : 0.0 sec. user=mdettweiler [2015-12-02 00:35:54] 919*2^1416595-1 is not prime. Res64: FC7CD48AB40BF561 Time : 0.0 sec. user=mdettweiler [2015-12-02 00:44:42] 717*2^1416597-1 is not prime. Res64: C053AC4483D5B114 Time : 0.0 sec. user=mdettweiler [2015-12-02 00:44:42] 669*2^1416596-1 is not prime. Res64: F43027E75666788D Time : 0.0 sec. user=mdettweiler [2015-12-02 00:44:43] 735*2^1416597-1 is not prime. Res64: 1C19287E5504BA02 Time : 0.0 sec. user=mdettweiler [2015-12-02 00:44:43] 725*2^1416596-1 is not prime. Res64: 71EBFD66AEA19E01 Time : 0.0 sec. user=mdettweiler [2015-12-02 00:53:42] 751*2^1416597-1 is not prime. Res64: D0EFB20EFE773979 Time : 0.0 sec. user=mdettweiler [2015-12-02 00:53:42] 805*2^1416597-1 is not prime. Res64: 93B768D7A7A46228 Time : 0.0 sec. user=mdettweiler [2015-12-02 01:02:30] 915*2^1416597-1 is not prime. Res64: 844874E73D0A092A Time : 0.0 sec. user=mdettweiler [2015-12-02 01:02:31] 835*2^1416597-1 is not prime. Res64: 8BE6398286F4DABF Time : 0.0 sec. user=mdettweiler [2015-12-02 01:02:32] 955*2^1416597-1 is not prime. Res64: 8546F2AA07560DAF Time : 0.0 sec. user=mdettweiler [2015-12-02 01:02:33] 895*2^1416597-1 is not prime. Res64: 35B90048E463D886 Time : 0.0 sec. user=mdettweiler [2015-12-02 01:11:33] 651*2^1416598-1 is not prime. Res64: 4EDF7044B36FB2D4 Time : 0.0 sec. user=mdettweiler [2015-12-02 01:11:33] 663*2^1416598-1 is not prime. Res64: F24BB37A62B309CC Time : 0.0 sec. user=mdettweiler [2015-12-02 01:20:12] 737*2^1416598-1 is not prime. Res64: E0E3090BE4D773C9 Time : 0.0 sec. user=mdettweiler [2015-12-02 01:20:13] 791*2^1416598-1 is not prime. Res64: FCDEB12B3006C4FE Time : 0.0 sec. user=mdettweiler [2015-12-02 01:20:18] 801*2^1416598-1 is not prime. Res64: E7CD318A9D4ACDA2 Time : 0.0 sec. user=mdettweiler [2015-12-02 01:20:18] 827*2^1416598-1 is not prime. Res64: D2180F346B6629E4 Time : 0.0 sec. user=mdettweiler [2015-12-02 01:29:09] 845*2^1416598-1 is not prime. Res64: E0BC08B14DCF0E41 Time : 0.0 sec. user=mdettweiler [2015-12-02 01:29:10] 861*2^1416598-1 is not prime. Res64: 6A0C252C7560F53D Time : 0.0 sec. user=mdettweiler [2015-12-02 01:37:51] 887*2^1416598-1 is not prime. Res64: 9CF80AFD0EFEDB84 Time : 0.0 sec. user=mdettweiler [2015-12-02 01:37:51] 915*2^1416598-1 is not prime. Res64: DC47EA4C897CD2A1 Time : 0.0 sec. user=mdettweiler [2015-12-02 01:37:56] 855*2^1416599-1 is not prime. Res64: EA8B39880B4D9C81 Time : 0.0 sec. user=mdettweiler [2015-12-02 01:37:57] 669*2^1416600-1 is not prime. Res64: A5E68548C45911FB Time : 0.0 sec. user=mdettweiler [2015-12-02 01:46:53] 689*2^1416600-1 is not prime. Res64: 4ACCB2414264F0CE Time : 0.0 sec. user=mdettweiler [2015-12-02 01:46:53] 737*2^1416600-1 is not prime. Res64: 88D20E6D03B9E177 Time : 0.0 sec. user=mdettweiler [2015-12-02 01:55:31] 843*2^1416600-1 is not prime. Res64: 2CA8E283F63A27DE Time : 0.0 sec. user=mdettweiler [2015-12-02 01:55:31] 927*2^1416600-1 is not prime. Res64: A39A01A1B072A76B Time : 0.0 sec. user=mdettweiler [2015-12-02 01:55:35] 607*2^1416601-1 is not prime. Res64: 57938CF600770F24 Time : 0.0 sec. user=mdettweiler [2015-12-02 01:55:35] 651*2^1416601-1 is not prime. Res64: 8F214F9D5CDF9A3D Time : 0.0 sec. user=mdettweiler [2015-12-02 02:04:31] 687*2^1416601-1 is not prime. Res64: 22098F95A0DC4E80 Time : 0.0 sec. user=mdettweiler [2015-12-02 02:04:33] 867*2^1416601-1 is not prime. Res64: D3DF34AF1608D097 Time : 0.0 sec. user=mdettweiler [2015-12-02 02:13:10] 925*2^1416601-1 is not prime. Res64: A99661CAA6C68B88 Time : 0.0 sec. user=mdettweiler [2015-12-02 02:13:11] 701*2^1416602-1 is not prime. Res64: 9202F2A4780710BD Time : 0.0 sec. user=mdettweiler [2015-12-02 02:13:13] 711*2^1416602-1 is not prime. Res64: 3EFB301E7D6A31B8 Time : 0.0 sec. user=mdettweiler [2015-12-02 02:13:14] 743*2^1416602-1 is not prime. Res64: 58FC2693FD897E40 Time : 0.0 sec. user=mdettweiler [2015-12-02 02:22:23] 831*2^1416602-1 is not prime. Res64: E1A4289547821F4F Time : 0.0 sec. user=mdettweiler [2015-12-02 02:22:23] 621*2^1416603-1 is not prime. Res64: ABA9F7AF617EFFDD Time : 0.0 sec. user=mdettweiler [2015-12-02 02:30:51] 739*2^1416603-1 is not prime. Res64: 9FEFC8D85BA70511 Time : 0.0 sec. user=mdettweiler [2015-12-02 02:30:53] 775*2^1416603-1 is not prime. Res64: 243A31B0A5E0FA96 Time : 0.0 sec. user=mdettweiler [2015-12-02 02:30:59] 805*2^1416603-1 is not prime. Res64: E29D47D9F9A7A8F9 Time : 0.0 sec. user=mdettweiler [2015-12-02 02:31:02] 605*2^1416604-1 is not prime. Res64: 60187F7246F76867 Time : 0.0 sec. user=mdettweiler [2015-12-02 02:40:01] 609*2^1416604-1 is not prime. Res64: 4D5790CCECEBB6D8 Time : 0.0 sec. user=mdettweiler [2015-12-02 02:40:02] 617*2^1416604-1 is not prime. Res64: 026D811404EC4DDD Time : 0.0 sec. user=mdettweiler [2015-12-02 02:48:46] 635*2^1416604-1 is not prime. Res64: 2B5D5A4A461846FB Time : 0.0 sec. user=mdettweiler [2015-12-02 02:48:46] 707*2^1416604-1 is not prime. Res64: AE9DFE8D88036A36 Time : 0.0 sec. user=mdettweiler [2015-12-02 02:48:47] 723*2^1416604-1 is not prime. Res64: B6436141BAE44BDC Time : 0.0 sec. user=mdettweiler [2015-12-02 02:48:48] 749*2^1416604-1 is not prime. Res64: B7DF2D3307BE5765 Time : 0.0 sec. user=mdettweiler [2015-12-02 02:57:44] 875*2^1416604-1 is not prime. Res64: 65584A5E7E4B997C Time : 0.0 sec. user=mdettweiler [2015-12-02 02:57:45] 959*2^1416604-1 is not prime. Res64: 3F1A53E6DFABE045 Time : 0.0 sec. user=mdettweiler [2015-12-02 03:06:31] 965*2^1416604-1 is not prime. Res64: 8F271EF4DCB7470E Time : 0.0 sec. user=mdettweiler [2015-12-02 03:06:33] 717*2^1416605-1 is not prime. Res64: BE70ECBDC8258C10 Time : 0.0 sec. user=mdettweiler [2015-12-02 03:06:36] 627*2^1416605-1 is not prime. Res64: EDE5D1507CB3B3E8 Time : 0.0 sec. user=mdettweiler [2015-12-02 03:06:40] 795*2^1416605-1 is not prime. Res64: 5E92467845AB5B7C Time : 0.0 sec. user=mdettweiler [2015-12-02 03:15:28] 987*2^1416605-1 is not prime. Res64: 278967ECA51BCB6C Time : 0.0 sec. user=mdettweiler [2015-12-02 03:15:29] 641*2^1416606-1 is not prime. Res64: 91D36BF4B3D928F1 Time : 0.0 sec. user=mdettweiler [2015-12-02 03:24:56] 801*2^1416606-1 is not prime. Res64: E5F052A73C1BB28A Time : 0.0 sec. user=mdettweiler [2015-12-02 03:24:56] 821*2^1416606-1 is not prime. Res64: A20C3808C6CD1D51 Time : 0.0 sec. user=mdettweiler [2015-12-02 03:25:02] 861*2^1416606-1 is not prime. Res64: 5B0A93B09B285BD6 Time : 0.0 sec. user=mdettweiler [2015-12-02 03:25:02] 601*2^1416607-1 is not prime. Res64: 90B03920FE34617D Time : 0.0 sec. user=mdettweiler [2015-12-02 03:33:10] 625*2^1416607-1 is not prime. Res64: 750902596C9EC59B Time : 0.0 sec. user=mdettweiler [2015-12-02 03:33:11] 673*2^1416607-1 is not prime. Res64: BFA961F40BC6FF5A Time : 0.0 sec. user=mdettweiler [2015-12-02 03:42:32] 859*2^1416607-1 is not prime. Res64: CDBC029783E5427C Time : 0.0 sec. user=mdettweiler [2015-12-02 03:42:33] 871*2^1416607-1 is not prime. Res64: 342AE14DA014084E Time : 0.0 sec. user=mdettweiler [2015-12-02 03:42:39] 919*2^1416607-1 is not prime. Res64: 52464E3D4C7AE88B Time : 0.0 sec. user=mdettweiler [2015-12-02 03:42:41] 979*2^1416607-1 is not prime. Res64: C40460FDF214DF44 Time : 0.0 sec. user=mdettweiler [2015-12-02 03:51:01] 713*2^1416608-1 is not prime. Res64: 1A8BCDEF37504965 Time : 0.0 sec. user=mdettweiler [2015-12-02 03:51:02] 743*2^1416608-1 is not prime. Res64: 35E0294FB23D861B Time : 0.0 sec. user=mdettweiler [2015-12-02 04:00:19] 615*2^1416609-1 is not prime. Res64: C5847841DF3D5A39 Time : 0.0 sec. user=mdettweiler [2015-12-02 04:00:19] 819*2^1416608-1 is not prime. Res64: 85CE605BF5328419 Time : 0.0 sec. user=mdettweiler [2015-12-02 04:00:21] 669*2^1416609-1 is not prime. Res64: B7893C9B471E355F Time : 0.0 sec. user=mdettweiler [2015-12-02 04:00:21] 923*2^1416608-1 is not prime. Res64: 1F93EF23E3A0F46A Time : 0.0 sec. user=mdettweiler [2015-12-02 04:08:43] 705*2^1416609-1 is not prime. Res64: 9462C7DE1EE0560F Time : 0.0 sec. user=mdettweiler [2015-12-02 04:08:44] 747*2^1416609-1 is not prime. Res64: 448FF2C7E14BA1A5 Time : 0.0 sec. user=mdettweiler [2015-12-02 04:18:20] 895*2^1416609-1 is not prime. Res64: 95D7E3589D70D30E Time : 0.0 sec. user=mdettweiler [2015-12-02 04:18:20] 907*2^1416609-1 is not prime. Res64: 5AB2CB2F20FE630E Time : 0.0 sec. user=mdettweiler [2015-12-02 04:18:23] 969*2^1416609-1 is not prime. Res64: 4470AFCA1E6CE60B Time : 0.0 sec. user=mdettweiler [2015-12-02 04:18:23] 645*2^1416610-1 is not prime. Res64: 812C8B1D7299F396 Time : 0.0 sec. user=mdettweiler [2015-12-02 04:26:27] 647*2^1416610-1 is not prime. Res64: 177E7D4C24C03A98 Time : 0.0 sec. user=mdettweiler [2015-12-02 04:26:28] 713*2^1416610-1 is not prime. Res64: 7D3528FD5955315A Time : 0.0 sec. user=mdettweiler [2015-12-02 04:35:58] 995*2^1416610-1 is not prime. Res64: 38A72811D803D11E Time : 0.0 sec. user=mdettweiler [2015-12-02 04:35:59] 1001*2^1416610-1 is not prime. Res64: 337F3B1BC91E08E8 Time : 0.0 sec. user=mdettweiler [2015-12-02 04:35:59] 675*2^1416611-1 is not prime. Res64: 47EADCD57C819632 Time : 0.0 sec. user=mdettweiler [2015-12-02 04:35:59] 735*2^1416611-1 is not prime. Res64: 4EF7E9AE3171B0FA Time : 0.0 sec. user=mdettweiler [2015-12-02 04:44:05] 741*2^1416611-1 is not prime. Res64: 882891818BBBB8E1 Time : 0.0 sec. user=mdettweiler [2015-12-02 04:44:06] 943*2^1416611-1 is not prime. Res64: 5076B4EF0736384A Time : 0.0 sec. user=mdettweiler [2015-12-02 04:53:35] 647*2^1416612-1 is not prime. Res64: 59B636BF67F3BB6E Time : 0.0 sec. user=mdettweiler [2015-12-02 04:53:35] 779*2^1416612-1 is not prime. Res64: C0B5BB7FE1AC2155 Time : 0.0 sec. user=mdettweiler [2015-12-02 04:53:39] 979*2^1416611-1 is not prime. Res64: 31CB4020F0DF0592 Time : 0.0 sec. user=mdettweiler [2015-12-02 04:53:39] 635*2^1416612-1 is not prime. Res64: B9B2613B90D7442A Time : 0.0 sec. user=mdettweiler [2015-12-02 05:01:41] 887*2^1416612-1 is not prime. Res64: F395CFA4F0CDB282 Time : 0.0 sec. user=mdettweiler [2015-12-02 05:01:42] 607*2^1416613-1 is not prime. Res64: CD7172900DC1DF40 Time : 0.0 sec. user=mdettweiler [2015-12-02 05:11:10] 609*2^1416613-1 is not prime. Res64: 62AFF26EC98E4C74 Time : 0.0 sec. user=mdettweiler [2015-12-02 05:11:10] 649*2^1416613-1 is not prime. Res64: 78046669A10F9FD5 Time : 0.0 sec. user=mdettweiler [2015-12-02 05:11:15] 769*2^1416613-1 is not prime. Res64: FE2296EDEF8A3268 Time : 0.0 sec. user=mdettweiler [2015-12-02 05:11:15] 895*2^1416613-1 is not prime. Res64: D6784ED5FB14EACC Time : 0.0 sec. user=mdettweiler [2015-12-02 05:19:32] 915*2^1416613-1 is not prime. Res64: 339BC880816A43BF Time : 0.0 sec. user=mdettweiler [2015-12-02 05:19:32] 937*2^1416613-1 is not prime. Res64: FB416F7F5AD37E62 Time : 0.0 sec. user=mdettweiler [2015-12-02 05:28:56] 921*2^1416614-1 is not prime. Res64: A9FD80C46048F4A7 Time : 0.0 sec. user=mdettweiler [2015-12-02 05:28:56] 923*2^1416614-1 is not prime. Res64: B57DA7D832BA3A53 Time : 0.0 sec. user=mdettweiler [2015-12-02 05:28:58] 797*2^1416614-1 is not prime. Res64: 1893B863A2F6B169 Time : 0.0 sec. user=mdettweiler [2015-12-02 05:28:58] 917*2^1416614-1 is not prime. Res64: F30E20CF28DD625F Time : 0.0 sec. user=mdettweiler [2015-12-02 05:37:17] 951*2^1416614-1 is not prime. Res64: C160714F55177F1C Time : 0.0 sec. user=mdettweiler [2015-12-02 05:37:17] 625*2^1416615-1 is not prime. Res64: 66618E14473EAE96 Time : 0.0 sec. user=mdettweiler [2015-12-02 05:46:36] 789*2^1416615-1 is not prime. Res64: 7406F2FBDE2EE163 Time : 0.0 sec. user=mdettweiler [2015-12-02 05:46:36] 649*2^1416615-1 is not prime. Res64: 586A1B3CB63DF83A Time : 0.0 sec. user=mdettweiler [2015-12-02 05:46:36] 859*2^1416615-1 is not prime. Res64: 2021D4DD24407040 Time : 0.0 sec. user=mdettweiler [2015-12-02 05:46:36] 751*2^1416615-1 is not prime. Res64: ADB08D38D1663BDC Time : 0.0 sec. user=mdettweiler [2015-12-02 05:54:54] 885*2^1416615-1 is not prime. Res64: 67028A16FC6F49CD Time : 0.0 sec. user=mdettweiler [2015-12-02 05:54:54] 747*2^1416616-1 is not prime. Res64: 0F775F50E995B373 Time : 0.0 sec. user=mdettweiler [2015-12-02 06:04:11] 803*2^1416616-1 is not prime. Res64: 7A8FAB907A665F2C Time : 0.0 sec. user=mdettweiler [2015-12-02 06:04:12] 855*2^1416616-1 is not prime. Res64: FA32E587C444419C Time : 0.0 sec. user=mdettweiler [2015-12-02 06:04:12] 843*2^1416616-1 is not prime. Res64: 74F2CEEFBFD4C854 Time : 0.0 sec. user=mdettweiler [2015-12-02 06:04:13] 909*2^1416616-1 is not prime. Res64: FFDDC1256CF2BF8F Time : 0.0 sec. user=mdettweiler [2015-12-02 06:12:30] 933*2^1416616-1 is not prime. Res64: 6B8165D615706729 Time : 0.0 sec. user=mdettweiler [2015-12-02 06:12:30] 711*2^1416617-1 is not prime. Res64: 9E258B061B3A2DFE Time : 0.0 sec. user=mdettweiler [2015-12-02 06:21:52] 727*2^1416617-1 is not prime. Res64: BBAB7237F4536790 Time : 0.0 sec. user=mdettweiler [2015-12-02 06:21:52] 901*2^1416617-1 is not prime. Res64: 619334BFA9D7A9FA Time : 0.0 sec. user=mdettweiler [2015-12-02 06:21:53] 871*2^1416617-1 is not prime. Res64: A38FAEC2DFDD0679 Time : 0.0 sec. user=mdettweiler [2015-12-02 06:21:53] 915*2^1416617-1 is not prime. Res64: 887FD381FD2167CF Time : 0.0 sec. user=mdettweiler [2015-12-02 06:30:09] 925*2^1416617-1 is not prime. Res64: AECB1070CAB73337 Time : 0.0 sec. user=mdettweiler [2015-12-02 06:30:10] 945*2^1416617-1 is not prime. Res64: A07C3C385BB08117 Time : 0.0 sec. user=mdettweiler [2015-12-02 06:39:29] 981*2^1416617-1 is not prime. Res64: B5D0BFF83C2E6E19 Time : 0.0 sec. user=mdettweiler [2015-12-02 06:39:29] 663*2^1416618-1 is not prime. Res64: 98D4CE8ED993CF49 Time : 0.0 sec. user=mdettweiler [2015-12-02 06:39:29] 773*2^1416618-1 is not prime. Res64: 060504890040753C Time : 0.0 sec. user=mdettweiler [2015-12-02 06:39:29] 893*2^1416618-1 is not prime. Res64: 18E3EDC96174B3A7 Time : 0.0 sec. user=mdettweiler [2015-12-02 06:47:45] 971*2^1416618-1 is not prime. Res64: 55349A5B866150FA Time : 0.0 sec. user=mdettweiler [2015-12-02 06:47:46] 977*2^1416618-1 is not prime. Res64: EA09F0D7F23505C3 Time : 0.0 sec. user=mdettweiler [2015-12-02 06:57:04] 993*2^1416618-1 is not prime. Res64: 083F784851576CA1 Time : 0.0 sec. user=mdettweiler [2015-12-02 06:57:05] 631*2^1416619-1 is not prime. Res64: A3941B4A2D4BB31C Time : 0.0 sec. user=mdettweiler [2015-12-02 06:57:07] 633*2^1416619-1 is not prime. Res64: 2EE9C7B844D766A2 Time : 0.0 sec. user=mdettweiler [2015-12-02 06:57:08] 835*2^1416619-1 is not prime. Res64: CB2E04BD6D2E17F1 Time : 0.0 sec. user=mdettweiler [2015-12-02 07:05:24] 659*2^1416620-1 is not prime. Res64: 73FE626AE0D101BF Time : 0.0 sec. user=mdettweiler [2015-12-02 07:05:25] 743*2^1416620-1 is not prime. Res64: C09ED2924108E12D Time : 0.0 sec. user=mdettweiler [2015-12-02 07:14:41] 759*2^1416620-1 is not prime. Res64: F65ED633804B0C54 Time : 0.0 sec. user=mdettweiler [2015-12-02 07:14:41] 767*2^1416620-1 is not prime. Res64: 3F5ABE98393E8E34 Time : 0.0 sec. user=mdettweiler [2015-12-02 07:14:42] 825*2^1416620-1 is not prime. Res64: ADED60CC970E1BD3 Time : 0.0 sec. user=mdettweiler [2015-12-02 07:14:43] 983*2^1416620-1 is not prime. Res64: 69B78D78F9389437 Time : 0.0 sec. user=mdettweiler [2015-12-02 07:23:14] 609*2^1416621-1 is not prime. Res64: C45A4A31C13A610F Time : 0.0 sec. user=mdettweiler [2015-12-02 07:23:15] 709*2^1416621-1 is not prime. Res64: C64DF70BCA675701 Time : 0.0 sec. user=mdettweiler [2015-12-02 07:32:18] 727*2^1416621-1 is not prime. Res64: 954960321214B8B6 Time : 0.0 sec. user=mdettweiler [2015-12-02 07:32:18] 747*2^1416621-1 is not prime. Res64: 727342649FF00B14 Time : 0.0 sec. user=mdettweiler [2015-12-02 07:32:20] 865*2^1416621-1 is not prime. Res64: EBAA7C07CEEEBDEB Time : 0.0 sec. user=mdettweiler [2015-12-02 07:32:21] 635*2^1416622-1 is not prime. Res64: F6D942B08F9B261F Time : 0.0 sec. user=mdettweiler [2015-12-02 07:40:51] 645*2^1416622-1 is not prime. Res64: AB977FDB4D67E158 Time : 0.0 sec. user=mdettweiler [2015-12-02 07:40:52] 827*2^1416622-1 is not prime. Res64: 173FDC637FA70038 Time : 0.0 sec. user=mdettweiler [2015-12-02 07:49:54] 863*2^1416622-1 is not prime. Res64: 789492B2DAE75757 Time : 0.0 sec. user=mdettweiler [2015-12-02 07:49:54] 885*2^1416622-1 is not prime. Res64: 185327A34FBE7CDA Time : 0.0 sec. user=mdettweiler [2015-12-02 07:49:56] 945*2^1416622-1 is not prime. Res64: 6BDAC8A42D081FE3 Time : 0.0 sec. user=mdettweiler [2015-12-02 07:49:57] 965*2^1416622-1 is not prime. Res64: 0EF9FA371ED0E054 Time : 0.0 sec. user=mdettweiler [2015-12-02 07:58:29] 729*2^1416623-1 is not prime. Res64: 43D10F11838E615C Time : 0.0 sec. user=mdettweiler [2015-12-02 07:58:30] 759*2^1416623-1 is not prime. Res64: 64E7A19C9E2B98BE Time : 0.0 sec. user=mdettweiler [2015-12-02 08:07:32] 767*2^1416624-1 is not prime. Res64: 06B24B77358D282D Time : 0.0 sec. user=mdettweiler [2015-12-02 08:07:33] 873*2^1416624-1 is not prime. Res64: 4933D00F2F1A12A9 Time : 0.0 sec. user=mdettweiler [2015-12-02 08:07:34] 887*2^1416624-1 is not prime. Res64: CE98477D4DB32A86 Time : 0.0 sec. user=mdettweiler [2015-12-02 08:07:35] 945*2^1416624-1 is not prime. Res64: E7C10322E472FF4B Time : 0.0 sec. user=mdettweiler [2015-12-02 08:16:07] 959*2^1416624-1 is not prime. Res64: 3B93914EA697502F Time : 0.0 sec. user=mdettweiler [2015-12-02 08:16:08] 645*2^1416625-1 is not prime. Res64: 78D6449DD2088453 Time : 0.0 sec. user=mdettweiler [2015-12-02 08:25:13] 765*2^1416625-1 is not prime. Res64: AD12A51B02871821 Time : 0.0 sec. user=mdettweiler [2015-12-02 08:25:13] 925*2^1416625-1 is not prime. Res64: A5CB5A970B92039A Time : 0.0 sec. user=mdettweiler [2015-12-02 08:25:14] 741*2^1416625-1 is not prime. Res64: 81F765DF27C0CB8E Time : 0.0 sec. user=mdettweiler [2015-12-02 08:25:15] 759*2^1416625-1 is not prime. Res64: C43CA14A7E9C72A9 Time : 0.0 sec. user=mdettweiler [2015-12-02 08:33:44] 957*2^1416625-1 is not prime. Res64: BD4B052C184BE03C Time : 0.0 sec. user=mdettweiler [2015-12-02 08:33:45] 981*2^1416625-1 is not prime. Res64: 0B2A3E4A4A1BAFC0 Time : 0.0 sec. user=mdettweiler [2015-12-02 08:42:52] 657*2^1416626-1 is not prime. Res64: 8F9F64F7BEFE796B Time : 0.0 sec. user=mdettweiler [2015-12-02 08:42:52] 999*2^1416625-1 is not prime. Res64: 20745209DE2712A3 Time : 0.0 sec. user=mdettweiler [2015-12-02 08:42:52] 831*2^1416626-1 is not prime. Res64: 15BB1F33A30508EA Time : 0.0 sec. user=mdettweiler [2015-12-02 08:42:52] 635*2^1416626-1 is not prime. Res64: FF93E4612AA84DDF Time : 0.0 sec. user=mdettweiler [2015-12-02 08:51:27] 935*2^1416626-1 is not prime. Res64: CC2F5ECDB0479D47 Time : 0.0 sec. user=mdettweiler [2015-12-02 08:51:28] 981*2^1416626-1 is not prime. Res64: B7101EBF170674CE Time : 0.0 sec. user=mdettweiler [2015-12-02 09:00:28] 685*2^1416627-1 is not prime. Res64: B457C6A64AAD56AD Time : 0.0 sec. user=mdettweiler [2015-12-02 09:00:29] 843*2^1416627-1 is not prime. Res64: EC03DD88AF2CBA9F Time : 0.0 sec. user=mdettweiler [2015-12-02 09:00:29] 793*2^1416627-1 is not prime. Res64: 05A3CB8CCD150A62 Time : 0.0 sec. user=mdettweiler [2015-12-02 09:00:30] 951*2^1416627-1 is not prime. Res64: 34988F38915AF9F2 Time : 0.0 sec. user=mdettweiler [2015-12-02 09:09:05] 961*2^1416627-1 is not prime. Res64: F6AD5935FF3ECCB8 Time : 0.0 sec. user=mdettweiler [2015-12-02 09:09:06] 963*2^1416627-1 is not prime. Res64: 938855940664337B Time : 0.0 sec. user=mdettweiler [2015-12-02 09:18:09] 777*2^1416628-1 is not prime. Res64: 64D6B269F31DD0B6 Time : 0.0 sec. user=mdettweiler [2015-12-02 09:18:10] 797*2^1416628-1 is not prime. Res64: E72B7F9638A255ED Time : 0.0 sec. user=mdettweiler [2015-12-02 09:18:11] 803*2^1416628-1 is not prime. Res64: 62F691FA0ED6A4CD Time : 0.0 sec. user=mdettweiler [2015-12-02 09:18:12] 863*2^1416628-1 is not prime. Res64: 107FA5B3BA3AC3D6 Time : 0.0 sec. user=mdettweiler [2015-12-02 09:26:44] 993*2^1416628-1 is not prime. Res64: 5E1334F0E334C7A1 Time : 0.0 sec. user=mdettweiler [2015-12-02 09:26:45] 621*2^1416629-1 is not prime. Res64: A9CBC82ED4729B8F Time : 0.0 sec. user=mdettweiler [2015-12-02 09:35:46] 721*2^1416629-1 is not prime. Res64: EDA63575BABFC0B2 Time : 0.0 sec. user=mdettweiler [2015-12-02 09:35:46] 819*2^1416629-1 is not prime. Res64: 9F4C00E6AFB4844B Time : 0.0 sec. user=mdettweiler [2015-12-02 09:35:48] 939*2^1416629-1 is not prime. Res64: BF928F9906ED4276 Time : 0.0 sec. user=mdettweiler [2015-12-02 09:35:48] 957*2^1416629-1 is not prime. Res64: 80B01A64B3917958 Time : 0.0 sec. user=mdettweiler [2015-12-02 09:44:21] 969*2^1416629-1 is not prime. Res64: F957E8E9AA2EF92F Time : 0.0 sec. user=mdettweiler [2015-12-02 09:44:22] 681*2^1416630-1 is not prime. Res64: 7A7284BA146F541F Time : 0.0 sec. user=mdettweiler [2015-12-02 09:53:22] 723*2^1416630-1 is not prime. Res64: 75DE8CEAF2BAB733 Time : 0.0 sec. user=mdettweiler [2015-12-02 09:53:22] 783*2^1416630-1 is not prime. Res64: 7BBF123F0A0291B3 Time : 0.0 sec. user=mdettweiler [2015-12-02 09:53:23] 603*2^1416631-1 is not prime. Res64: 5FBBADC7C03024F7 Time : 0.0 sec. user=mdettweiler [2015-12-02 09:53:24] 625*2^1416631-1 is not prime. Res64: 4CD456A8A30C1DB7 Time : 0.0 sec. user=mdettweiler [2015-12-02 10:01:59] 651*2^1416631-1 is not prime. Res64: EE727782B888171B Time : 0.0 sec. user=mdettweiler [2015-12-02 10:01:59] 673*2^1416631-1 is not prime. Res64: F8762E71400AD38B Time : 0.0 sec. user=mdettweiler [2015-12-02 10:11:00] 829*2^1416631-1 is not prime. Res64: E791D1B120EE4A3D Time : 0.0 sec. user=mdettweiler [2015-12-02 10:11:00] 873*2^1416631-1 is not prime. Res64: 81D2BB8ED3A77F9D Time : 0.0 sec. user=mdettweiler [2015-12-02 10:11:05] 723*2^1416631-1 is not prime. Res64: 0E796BC048E53D56 Time : 0.0 sec. user=mdettweiler [2015-12-02 10:11:06] 813*2^1416631-1 is not prime. Res64: 06533424959E342B Time : 0.0 sec. user=mdettweiler [2015-12-02 10:19:39] 889*2^1416631-1 is not prime. Res64: 350A95182A1C9CB8 Time : 0.0 sec. user=mdettweiler [2015-12-02 10:19:39] 909*2^1416631-1 is not prime. Res64: 7C066A347DA27784 Time : 0.0 sec. user=mdettweiler [2015-12-02 10:28:36] 939*2^1416631-1 is not prime. Res64: 2ACDF9B0608C6EA8 Time : 0.0 sec. user=mdettweiler [2015-12-02 10:28:36] 943*2^1416631-1 is not prime. Res64: BD0562E367253C21 Time : 0.0 sec. user=mdettweiler [2015-12-02 10:28:45] 999*2^1416631-1 is not prime. Res64: 6495E8F319979993 Time : 0.0 sec. user=mdettweiler [2015-12-02 10:28:45] 615*2^1416632-1 is not prime. Res64: A51D130B41BA9F63 Time : 0.0 sec. user=mdettweiler [2015-12-02 10:37:14] 617*2^1416632-1 is not prime. Res64: 7C21BA8885890637 Time : 0.0 sec. user=mdettweiler [2015-12-02 10:37:16] 777*2^1416632-1 is not prime. Res64: 7793F14F98892330 Time : 0.0 sec. user=mdettweiler [2015-12-02 10:46:16] 875*2^1416632-1 is not prime. Res64: ECD6DC2CD5707DC4 Time : 0.0 sec. user=mdettweiler [2015-12-02 10:46:16] 657*2^1416633-1 is not prime. Res64: C1F50273EEFE431C Time : 0.0 sec. user=mdettweiler [2015-12-02 10:46:21] 751*2^1416633-1 is not prime. Res64: 70CA882B227677C6 Time : 0.0 sec. user=mdettweiler [2015-12-02 10:46:21] 781*2^1416633-1 is not prime. Res64: 80A5E0AAE5E02E37 Time : 0.0 sec. user=mdettweiler [2015-12-02 10:54:52] 867*2^1416633-1 is not prime. Res64: 9289F57E662D0755 Time : 0.0 sec. user=mdettweiler [2015-12-02 10:54:53] 915*2^1416633-1 is not prime. Res64: BEEFF97189DF2239 Time : 0.0 sec. user=mdettweiler [2015-12-02 11:03:52] 999*2^1416633-1 is not prime. Res64: 25C30AA0630006E4 Time : 0.0 sec. user=mdettweiler [2015-12-02 11:03:53] 701*2^1416634-1 is not prime. Res64: BC9370EAC77FA8FE Time : 0.0 sec. user=mdettweiler [2015-12-02 11:03:56] 755*2^1416634-1 is not prime. Res64: 9BC85852F765AF7B Time : 0.0 sec. user=mdettweiler [2015-12-02 11:03:57] 833*2^1416634-1 is not prime. Res64: 223AA612BA150E23 Time : 0.0 sec. user=mdettweiler [2015-12-02 11:12:27] 881*2^1416634-1 is not prime. Res64: 989D9954CBBF45F5 Time : 0.0 sec. user=mdettweiler [2015-12-02 11:12:28] 859*2^1416635-1 is not prime. Res64: B17F5DE09F169252 Time : 0.0 sec. user=mdettweiler [2015-12-02 11:21:43] 949*2^1416635-1 is not prime. Res64: B2C6F924AE7557C6 Time : 0.0 sec. user=mdettweiler [2015-12-02 11:21:44] 981*2^1416635-1 is not prime. Res64: 6356F4B7E11B7FFB Time : 0.0 sec. user=mdettweiler [2015-12-02 11:21:44] 693*2^1416636-1 is not prime. Res64: D5A50F5F9D4A411C Time : 0.0 sec. user=mdettweiler [2015-12-02 11:21:44] 705*2^1416636-1 is not prime. Res64: 0D9D63CA2C96B82D Time : 0.0 sec. user=mdettweiler [2015-12-02 11:30:06] 845*2^1416636-1 is not prime. Res64: 90564B1B5FBBF83B Time : 0.0 sec. user=mdettweiler [2015-12-02 11:30:07] 945*2^1416636-1 is not prime. Res64: 68F94E3F8AFEB374 Time : 0.0 sec. user=mdettweiler [2015-12-02 11:39:20] 885*2^1416637-1 is not prime. Res64: 4607AAF17B1AB25D Time : 0.0 sec. user=mdettweiler [2015-12-02 11:39:21] 955*2^1416637-1 is not prime. Res64: A17550B877F9C9FE Time : 0.0 sec. user=mdettweiler [2015-12-02 11:39:23] 777*2^1416637-1 is not prime. Res64: DB0FBEEB3E940016 Time : 0.0 sec. user=mdettweiler [2015-12-02 11:39:23] 799*2^1416637-1 is not prime. Res64: 7B36C41BABAC8241 Time : 0.0 sec. user=mdettweiler [2015-12-02 11:47:44] 663*2^1416638-1 is not prime. Res64: FE4AB82C77E55308 Time : 0.0 sec. user=mdettweiler [2015-12-02 11:47:45] 753*2^1416638-1 is not prime. Res64: 4A10BABE6CE77909 Time : 0.0 sec. user=mdettweiler [2015-12-02 11:56:57] 609*2^1416639-1 is not prime. Res64: CF05BD76976A022B Time : 0.0 sec. user=mdettweiler [2015-12-02 11:56:57] 661*2^1416639-1 is not prime. Res64: 6914BA23949E451A Time : 0.0 sec. user=mdettweiler [2015-12-02 11:57:03] 723*2^1416639-1 is not prime. Res64: B063885E26C20275 Time : 0.0 sec. user=mdettweiler [2015-12-02 11:57:03] 741*2^1416639-1 is not prime. Res64: D68036A1F4A4B4E2 Time : 0.0 sec. user=mdettweiler [2015-12-02 12:05:22] 775*2^1416639-1 is not prime. Res64: E18C59157E10B064 Time : 0.0 sec. user=mdettweiler [2015-12-02 12:05:23] 853*2^1416639-1 is not prime. Res64: 0BEDD7C8AA771655 Time : 0.0 sec. user=mdettweiler [2015-12-02 12:14:33] 973*2^1416639-1 is not prime. Res64: 5F17DD55C6B4A958 Time : 0.0 sec. user=mdettweiler [2015-12-02 12:14:34] 999*2^1416639-1 is not prime. Res64: 5228EAB49C0336F4 Time : 0.0 sec. user=mdettweiler [2015-12-02 12:14:38] 609*2^1416640-1 is not prime. Res64: 8D7BB2505FB4C4B1 Time : 0.0 sec. user=mdettweiler [2015-12-02 12:14:39] 695*2^1416640-1 is not prime. Res64: 6255B19B232754C7 Time : 0.0 sec. user=mdettweiler [2015-12-02 12:23:08] 713*2^1416640-1 is not prime. Res64: 3EBF36ADBDD25FAE Time : 0.0 sec. user=mdettweiler [2015-12-02 12:23:08] 723*2^1416640-1 is not prime. Res64: 74E58CB61A1E0A51 Time : 0.0 sec. user=mdettweiler [2015-12-02 12:32:15] 755*2^1416640-1 is not prime. Res64: 55971AE0212054EC Time : 0.0 sec. user=mdettweiler [2015-12-02 12:32:16] 863*2^1416640-1 is not prime. Res64: A199E33F9FD05352 Time : 0.0 sec. user=mdettweiler [2015-12-02 12:32:18] 909*2^1416640-1 is not prime. Res64: 148B8798B9B3A420 Time : 0.0 sec. user=mdettweiler [2015-12-02 12:32:18] 957*2^1416640-1 is not prime. Res64: 5BF5D9C0D1F4FF2B Time : 0.0 sec. user=mdettweiler [2015-12-02 12:40:45] 619*2^1416641-1 is not prime. Res64: 321D81398D1E9143 Time : 0.0 sec. user=mdettweiler [2015-12-02 12:40:46] 645*2^1416641-1 is not prime. Res64: DF5318AF9D2C46C5 Time : 0.0 sec. user=mdettweiler [2015-12-02 12:49:50] 679*2^1416641-1 is not prime. Res64: ECC8A678A5CAE262 Time : 0.0 sec. user=mdettweiler [2015-12-02 12:49:51] 697*2^1416641-1 is not prime. Res64: DC94EF735C820C76 Time : 0.0 sec. user=mdettweiler [2015-12-02 12:49:53] 931*2^1416641-1 is not prime. Res64: 81DDBD8AD08195E9 Time : 0.0 sec. user=mdettweiler [2015-12-02 12:49:53] 957*2^1416641-1 is not prime. Res64: D0FD47C79F25478F Time : 0.0 sec. user=mdettweiler [2015-12-02 12:58:21] 981*2^1416641-1 is not prime. Res64: 19CCAC6A0617B40D Time : 0.0 sec. user=mdettweiler [2015-12-02 12:58:21] 987*2^1416641-1 is not prime. Res64: 3585C901F91886DF Time : 0.0 sec. user=mdettweiler [2015-12-02 13:07:28] 705*2^1416642-1 is not prime. Res64: 42BB0483DB1E9DEB Time : 0.0 sec. user=mdettweiler [2015-12-02 13:07:29] 765*2^1416642-1 is not prime. Res64: 4DD2DF2ACEF07550 Time : 0.0 sec. user=mdettweiler [2015-12-02 13:07:30] 709*2^1416643-1 is not prime. Res64: DCE8E6CB1F44126F Time : 0.0 sec. user=mdettweiler [2015-12-02 13:07:31] 749*2^1416644-1 is not prime. Res64: 40C0FAF37CB1AF3D Time : 0.0 sec. user=mdettweiler [2015-12-02 13:16:02] 795*2^1416644-1 is not prime. Res64: 128F39F83B152A17 Time : 0.0 sec. user=mdettweiler [2015-12-02 13:16:02] 885*2^1416644-1 is not prime. Res64: 3C7B730828C5B935 Time : 0.0 sec. user=mdettweiler [2015-12-02 13:25:08] 765*2^1416645-1 is not prime. Res64: 59D2BCB410E02F8B Time : 0.0 sec. user=mdettweiler [2015-12-02 13:25:09] 805*2^1416645-1 is not prime. Res64: 948E4F446F8FBCD3 Time : 0.0 sec. user=mdettweiler [2015-12-02 13:25:10] 627*2^1416645-1 is not prime. Res64: 13D0373A8B3DD221 Time : 0.0 sec. user=mdettweiler [2015-12-02 13:25:10] 751*2^1416645-1 is not prime. Res64: 7130CFC3AF60548B Time : 0.0 sec. user=mdettweiler [2015-12-02 13:33:44] 849*2^1416645-1 is not prime. Res64: 4DFF28273863F6F7 Time : 0.0 sec. user=mdettweiler [2015-12-02 13:33:44] 915*2^1416645-1 is not prime. Res64: 4CD318C4A35C5599 Time : 0.0 sec. user=mdettweiler [2015-12-02 13:42:48] 927*2^1416645-1 is not prime. Res64: BBE6D1C0FA6F797E Time : 0.0 sec. user=mdettweiler [2015-12-02 13:42:49] 999*2^1416645-1 is not prime. Res64: ED86C6AE6FD113E4 Time : 0.0 sec. user=mdettweiler [2015-12-02 13:42:50] 611*2^1416646-1 is not prime. Res64: B07EFA9E14A6937F Time : 0.0 sec. user=mdettweiler [2015-12-02 13:42:50] 623*2^1416646-1 is not prime. Res64: 56F141DCE86394FB Time : 0.0 sec. user=mdettweiler [2015-12-02 13:51:23] 663*2^1416646-1 is not prime. Res64: 823EE11B1F578990 Time : 0.0 sec. user=mdettweiler [2015-12-02 13:51:23] 717*2^1416646-1 is not prime. Res64: 9E7723F33E785C87 Time : 0.0 sec. user=mdettweiler [2015-12-02 14:00:25] 761*2^1416646-1 is not prime. Res64: A214C31CC0512F54 Time : 0.0 sec. user=mdettweiler [2015-12-02 14:00:25] 867*2^1416646-1 is not prime. Res64: 945282EB9FB052E1 Time : 0.0 sec. user=mdettweiler [2015-12-02 14:00:27] 917*2^1416646-1 is not prime. Res64: D51B58815425209F Time : 0.0 sec. user=mdettweiler [2015-12-02 14:00:27] 945*2^1416646-1 is not prime. Res64: 3C2D7441C0446581 Time : 0.0 sec. user=mdettweiler [2015-12-02 14:09:01] 1001*2^1416646-1 is not prime. Res64: 6FD489F49D050A49 Time : 0.0 sec. user=mdettweiler [2015-12-02 14:09:02] 601*2^1416647-1 is not prime. Res64: CCE708B85F30545C Time : 0.0 sec. user=mdettweiler [2015-12-02 14:18:04] 985*2^1416647-1 is not prime. Res64: 514AC42957203D8F Time : 0.0 sec. user=mdettweiler [2015-12-02 14:18:05] 665*2^1416648-1 is not prime. Res64: EB2CC947347A4943 Time : 0.0 sec. user=mdettweiler [2015-12-02 14:18:06] 619*2^1416647-1 is not prime. Res64: 1DE0E53EEFC734A8 Time : 0.0 sec. user=mdettweiler [2015-12-02 14:18:06] 865*2^1416647-1 is not prime. Res64: ACCE4EF669185BDB Time : 0.0 sec. user=mdettweiler [2015-12-02 14:26:39] 683*2^1416648-1 is not prime. Res64: A758F66EDABB13D9 Time : 0.0 sec. user=mdettweiler [2015-12-02 14:26:39] 803*2^1416648-1 is not prime. Res64: 22175A57A3EEE1D5 Time : 0.0 sec. user=mdettweiler [2015-12-02 14:35:43] 845*2^1416648-1 is not prime. Res64: 68C4DBE2624766A3 Time : 0.0 sec. user=mdettweiler [2015-12-02 14:35:43] 999*2^1416648-1 is not prime. Res64: 55011B2CBF462915 Time : 0.0 sec. user=mdettweiler [2015-12-02 14:35:43] 825*2^1416648-1 is not prime. Res64: 7661351C939DECC2 Time : 0.0 sec. user=mdettweiler [2015-12-02 14:35:43] 839*2^1416648-1 is not prime. Res64: FDAF3DEDFAF68F07 Time : 0.0 sec. user=mdettweiler [2015-12-02 14:44:19] 609*2^1416649-1 is not prime. Res64: F60046279E67AC1F Time : 0.0 sec. user=mdettweiler [2015-12-02 14:44:20] 637*2^1416649-1 is not prime. Res64: 936D625F73F40F3B Time : 0.0 sec. user=mdettweiler [2015-12-02 14:53:24] 807*2^1416649-1 is not prime. Res64: 361AF978A6D27149 Time : 0.0 sec. user=mdettweiler [2015-12-02 14:53:24] 675*2^1416649-1 is not prime. Res64: 494790D9EB28E03F Time : 0.0 sec. user=mdettweiler [2015-12-02 14:53:24] 817*2^1416649-1 is not prime. Res64: 4C0ABED5603287AC Time : 0.0 sec. user=mdettweiler [2015-12-02 14:53:25] 741*2^1416649-1 is not prime. Res64: BA9DBAD2615FD4DA Time : 0.0 sec. user=mdettweiler [2015-12-02 15:02:01] 909*2^1416649-1 is not prime. Res64: E066A7AEC0E3F4B0 Time : 0.0 sec. user=mdettweiler [2015-12-02 15:02:02] 955*2^1416649-1 is not prime. Res64: EEBEB34B4B9B5981 Time : 0.0 sec. user=mdettweiler [2015-12-02 15:11:02] 615*2^1416650-1 is not prime. Res64: 8352CD664E234FF5 Time : 0.0 sec. user=mdettweiler [2015-12-02 15:11:02] 755*2^1416650-1 is not prime. Res64: 4CF5901FF932AAA3 Time : 0.0 sec. user=mdettweiler [2015-12-02 15:11:02] 623*2^1416650-1 is not prime. Res64: 00222079839CD229 Time : 0.0 sec. user=mdettweiler [2015-12-02 15:11:02] 767*2^1416650-1 is not prime. Res64: 7B6CC19056F5C05A Time : 0.0 sec. user=mdettweiler [2015-12-02 15:19:39] 845*2^1416650-1 is not prime. Res64: ADA5153F5A1352F9 Time : 0.0 sec. user=mdettweiler [2015-12-02 15:19:40] 861*2^1416650-1 is not prime. Res64: 1F786077DE199B30 Time : 0.0 sec. user=mdettweiler [2015-12-02 15:28:41] 745*2^1416651-1 is not prime. Res64: 4BC4979EC430A28C Time : 0.0 sec. user=mdettweiler [2015-12-02 15:28:41] 751*2^1416651-1 is not prime. Res64: 86F47595CCA19525 Time : 0.0 sec. user=mdettweiler [2015-12-02 15:28:42] 753*2^1416651-1 is not prime. Res64: DE590DBB541DF53B Time : 0.0 sec. user=mdettweiler [2015-12-02 15:28:42] 781*2^1416651-1 is not prime. Res64: EE7B62FA9C7BC8F3 Time : 0.0 sec. user=mdettweiler [2015-12-02 15:37:19] 859*2^1416651-1 is not prime. Res64: 1CA267037ADF5294 Time : 0.0 sec. user=mdettweiler [2015-12-02 15:37:20] 891*2^1416651-1 is not prime. Res64: 43B3B7E2E548E0A1 Time : 0.0 sec. user=mdettweiler [2015-12-02 15:46:21] 735*2^1416652-1 is not prime. Res64: A9B1A39D90920945 Time : 0.0 sec. user=mdettweiler [2015-12-02 15:46:21] 989*2^1416652-1 is not prime. Res64: E16F07FB7FB4E39C Time : 0.0 sec. user=mdettweiler [2015-12-02 15:46:23] 943*2^1416651-1 is not prime. Res64: 397761527C9DC9A4 Time : 0.0 sec. user=mdettweiler [2015-12-02 15:46:23] 657*2^1416652-1 is not prime. Res64: 0806660DADB5E5AC Time : 0.0 sec. user=mdettweiler [2015-12-02 15:54:58] 615*2^1416653-1 is not prime. Res64: DCFEAAE3E17F86B8 Time : 0.0 sec. user=mdettweiler [2015-12-02 15:54:58] 631*2^1416653-1 is not prime. Res64: 642AA72E1FDBAB50 Time : 0.0 sec. user=mdettweiler [2015-12-02 16:03:59] 685*2^1416653-1 is not prime. Res64: 9B7151565BA6634E Time : 0.0 sec. user=mdettweiler [2015-12-02 16:03:59] 735*2^1416653-1 is not prime. Res64: D346C5D0C2895569 Time : 0.0 sec. user=mdettweiler [2015-12-02 16:04:00] 715*2^1416653-1 is not prime. Res64: 93FE3598137098F2 Time : 0.0 sec. user=mdettweiler [2015-12-02 16:04:00] 837*2^1416653-1 is not prime. Res64: 40B862D7854A1F84 Time : 0.0 sec. user=mdettweiler [2015-12-02 16:12:34] 847*2^1416653-1 is not prime. Res64: C07CA4E38A8F9B8A Time : 0.0 sec. user=mdettweiler [2015-12-02 16:12:35] 885*2^1416653-1 is not prime. Res64: 70771A9F6624A228 Time : 0.0 sec. user=mdettweiler [2015-12-02 16:21:55] 955*2^1416653-1 is not prime. Res64: D68B38DA2C84636B Time : 0.0 sec. user=mdettweiler [2015-12-02 16:21:55] 717*2^1416654-1 is not prime. Res64: 1AE7ED7106F2F4D1 Time : 0.0 sec. user=mdettweiler [2015-12-02 16:21:56] 903*2^1416654-1 is not prime. Res64: 9033E04BF35AD9CC Time : 0.0 sec. user=mdettweiler [2015-12-02 16:21:56] 609*2^1416655-1 is not prime. Res64: C8F3C917D334A10C Time : 0.0 sec. user=mdettweiler [2015-12-02 16:30:13] 663*2^1416655-1 is not prime. Res64: E4D7BB33BB0DDB47 Time : 0.0 sec. user=mdettweiler [2015-12-02 16:30:13] 685*2^1416655-1 is not prime. Res64: A6399E719B91F7E4 Time : 0.0 sec. user=mdettweiler [2015-12-02 16:39:34] 759*2^1416655-1 is not prime. Res64: EDB5870C098ED380 Time : 0.0 sec. user=mdettweiler [2015-12-02 16:39:34] 859*2^1416655-1 is not prime. Res64: 7D097BC4CEA72D27 Time : 0.0 sec. user=mdettweiler [2015-12-02 16:39:34] 765*2^1416655-1 is not prime. Res64: 822D9CCDD6FEC794 Time : 0.0 sec. user=mdettweiler [2015-12-02 16:39:34] 919*2^1416655-1 is not prime. Res64: C1AC4CE5C3AA9E7F Time : 0.0 sec. user=mdettweiler [2015-12-02 16:47:51] 933*2^1416655-1 is not prime. Res64: 5F31C92167EEF496 Time : 0.0 sec. user=mdettweiler [2015-12-02 16:47:51] 609*2^1416656-1 is not prime. Res64: 50C935DBD14B2A5F Time : 0.0 sec. user=mdettweiler [2015-12-02 16:57:11] 633*2^1416656-1 is not prime. Res64: 55FA9B41B443D84B Time : 0.0 sec. user=mdettweiler [2015-12-02 16:57:12] 717*2^1416656-1 is not prime. Res64: 2B5BFCA59773BB8E Time : 0.0 sec. user=mdettweiler [2015-12-02 16:57:12] 777*2^1416656-1 is not prime. Res64: F67BCB8923FA6B0F Time : 0.0 sec. user=mdettweiler [2015-12-02 16:57:12] 789*2^1416656-1 is not prime. Res64: 5C7E413528B52D6C Time : 0.0 sec. user=mdettweiler [2015-12-02 17:05:28] 873*2^1416656-1 is not prime. Res64: D7F5A7CB38F9F2C3 Time : 0.0 sec. user=mdettweiler [2015-12-02 17:05:29] 903*2^1416656-1 is not prime. Res64: 2C221F20E5D70D33 Time : 0.0 sec. user=mdettweiler [2015-12-02 17:14:47] 741*2^1416657-1 is not prime. Res64: C882D012CC8D2945 Time : 0.0 sec. user=mdettweiler [2015-12-02 17:14:47] 747*2^1416657-1 is not prime. Res64: 16231F4F2DD90F9E Time : 0.0 sec. user=mdettweiler [2015-12-02 17:14:48] 607*2^1416657-1 is not prime. Res64: 0180DCA42695B3ED Time : 0.0 sec. user=mdettweiler [2015-12-02 17:14:48] 681*2^1416657-1 is not prime. Res64: 1B0D816F791D6B7D Time : 0.0 sec. user=mdettweiler [2015-12-02 17:23:05] 919*2^1416657-1 is not prime. Res64: 009E6307951850E3 Time : 0.0 sec. user=mdettweiler [2015-12-02 17:23:06] 611*2^1416658-1 is not prime. Res64: 5B3D6BEB53171456 Time : 0.0 sec. user=mdettweiler [2015-12-02 17:32:24] 617*2^1416658-1 is not prime. Res64: F85712A1335F6DE9 Time : 0.0 sec. user=mdettweiler [2015-12-02 17:32:25] 695*2^1416658-1 is not prime. Res64: 4412789416D879D6 Time : 0.0 sec. user=mdettweiler [2015-12-02 17:32:25] 705*2^1416658-1 is not prime. Res64: 273A621BFEA0C9C9 Time : 0.0 sec. user=mdettweiler [2015-12-02 17:32:25] 777*2^1416658-1 is not prime. Res64: 28E8C5628CBB86DE Time : 0.0 sec. user=mdettweiler [2015-12-02 17:40:54] 831*2^1416658-1 is not prime. Res64: 4072465269146F83 Time : 0.0 sec. user=mdettweiler [2015-12-02 17:40:54] 833*2^1416658-1 is not prime. Res64: BEC74A91862C1897 Time : 0.0 sec. user=mdettweiler [2015-12-02 17:50:03] 951*2^1416658-1 is not prime. Res64: 2BD6DF1A5EC04F1B Time : 0.0 sec. user=mdettweiler [2015-12-02 17:50:04] 655*2^1416659-1 is not prime. Res64: B66A27D6AB877AFC Time : 0.0 sec. user=mdettweiler [2015-12-02 17:50:07] 843*2^1416658-1 is not prime. Res64: 9953806F0DFB9B94 Time : 0.0 sec. user=mdettweiler [2015-12-02 17:50:08] 941*2^1416658-1 is not prime. Res64: 633EA32F01155B89 Time : 0.0 sec. user=mdettweiler [2015-12-02 17:58:30] 685*2^1416659-1 is not prime. Res64: 48AFD4AD0A994147 Time : 0.0 sec. user=mdettweiler [2015-12-02 17:58:30] 711*2^1416659-1 is not prime. Res64: 96CED6330089BD03 Time : 0.0 sec. user=mdettweiler [2015-12-02 18:07:42] 879*2^1416659-1 is not prime. Res64: 7B57D24CAE8DE882 Time : 0.0 sec. user=mdettweiler [2015-12-02 18:07:45] 955*2^1416659-1 is not prime. Res64: 5179E433A87DE6FA Time : 0.0 sec. user=mdettweiler [2015-12-02 18:07:47] 725*2^1416660-1 is not prime. Res64: 61D7C03942554FE2 Time : 0.0 sec. user=mdettweiler [2015-12-02 18:07:48] 735*2^1416660-1 is not prime. Res64: 3900E48B9261C99E Time : 0.0 sec. user=mdettweiler [2015-12-02 18:16:09] 765*2^1416660-1 is not prime. Res64: 5CF19C30F9B8A76C Time : 0.0 sec. user=mdettweiler [2015-12-02 18:16:09] 767*2^1416660-1 is not prime. Res64: 03BB045BF7952A5C Time : 0.0 sec. user=mdettweiler [2015-12-02 18:25:43] 777*2^1416660-1 is not prime. Res64: 3288E3BD1094CF20 Time : 0.0 sec. user=mdettweiler [2015-12-02 18:25:43] 839*2^1416660-1 is not prime. Res64: 3F79BBF9348A4300 Time : 0.0 sec. user=mdettweiler [2015-12-02 18:25:45] 867*2^1416660-1 is not prime. Res64: 845E0AE55B8485CD Time : 0.0 sec. user=mdettweiler [2015-12-02 18:25:45] 909*2^1416660-1 is not prime. Res64: B672A16E3D9764C1 Time : 0.0 sec. user=mdettweiler [2015-12-02 18:33:46] 789*2^1416661-1 is not prime. Res64: B19506801CC1A055 Time : 0.0 sec. user=mdettweiler [2015-12-02 18:33:47] 805*2^1416661-1 is not prime. Res64: 5DF6CFBC83E5D85E Time : 0.0 sec. user=mdettweiler [2015-12-02 18:43:21] 705*2^1416662-1 is not prime. Res64: D656A740691FECDC Time : 0.0 sec. user=mdettweiler [2015-12-02 18:43:21] 867*2^1416661-1 is not prime. Res64: 1A33CFA41A511CED Time : 0.0 sec. user=mdettweiler [2015-12-02 18:43:22] 711*2^1416662-1 is not prime. Res64: C38C47FDA6B3BAE5 Time : 0.0 sec. user=mdettweiler [2015-12-02 18:43:22] 623*2^1416662-1 is not prime. Res64: B46F135F65078A21 Time : 0.0 sec. user=mdettweiler [2015-12-02 18:51:24] 755*2^1416662-1 is not prime. Res64: 52E45CEF20B6A099 Time : 0.0 sec. user=mdettweiler [2015-12-02 18:51:24] 833*2^1416662-1 is not prime. Res64: D5F6CCE91A4767B0 Time : 0.0 sec. user=mdettweiler [2015-12-02 19:01:00] 675*2^1416663-1 is not prime. Res64: 959B005B95F18D93 Time : 0.0 sec. user=mdettweiler [2015-12-02 19:01:01] 945*2^1416662-1 is not prime. Res64: A28BD9B3EDAA0487 Time : 0.0 sec. user=mdettweiler [2015-12-02 19:01:01] 763*2^1416663-1 is not prime. Res64: 9315A3EA993767F7 Time : 0.0 sec. user=mdettweiler [2015-12-02 19:01:02] 643*2^1416663-1 is not prime. Res64: 06E30EBE14BC33CB Time : 0.0 sec. user=mdettweiler [2015-12-02 19:09:08] 793*2^1416663-1 is not prime. Res64: C769444B3B4FED4D Time : 0.0 sec. user=mdettweiler [2015-12-02 19:09:08] 795*2^1416663-1 is not prime. Res64: 811AFA031E5DE167 Time : 0.0 sec. user=mdettweiler [2015-12-02 19:19:11] 829*2^1416663-1 is not prime. Res64: B9AB71AC345AAB0D Time : 0.0 sec. user=mdettweiler [2015-12-02 19:19:11] 891*2^1416663-1 is not prime. Res64: 8FB0E1B99F579021 Time : 0.0 sec. user=mdettweiler [2015-12-02 19:19:16] 605*2^1416664-1 is not prime. Res64: D24C39BA0680572F Time : 0.0 sec. user=mdettweiler [2015-12-02 19:19:16] 677*2^1416664-1 is not prime. Res64: A92C8FAA4E376C5D Time : 0.0 sec. user=mdettweiler [2015-12-02 19:27:05] 813*2^1416664-1 is not prime. Res64: C08C3D220C938373 Time : 0.0 sec. user=mdettweiler [2015-12-02 19:27:06] 843*2^1416664-1 is not prime. Res64: 8DEF909027C4BC64 Time : 0.0 sec. user=mdettweiler [2015-12-02 19:37:07] 983*2^1416664-1 is not prime. Res64: 7E24C280CD160927 Time : 0.0 sec. user=mdettweiler [2015-12-02 19:37:07] 989*2^1416664-1 is not prime. Res64: 3F0969E235AF1865 Time : 0.0 sec. user=mdettweiler [2015-12-02 19:37:09] 993*2^1416664-1 is not prime. Res64: D24A56B43F7184FD Time : 0.0 sec. user=mdettweiler [2015-12-02 19:37:09] 627*2^1416665-1 is not prime. Res64: 5E8DE2BE5E9DC698 Time : 0.0 sec. user=mdettweiler [2015-12-02 19:44:56] 697*2^1416665-1 is not prime. Res64: 63D43CEDCAD29CB8 Time : 0.0 sec. user=mdettweiler [2015-12-02 19:44:56] 771*2^1416665-1 is not prime. Res64: 081CEF20C479A572 Time : 0.0 sec. user=mdettweiler [2015-12-02 19:54:50] 777*2^1416665-1 is not prime. Res64: 641069F89AF3CCAC Time : 0.0 sec. user=mdettweiler [2015-12-02 19:54:51] 789*2^1416665-1 is not prime. Res64: 96F702B583A5E449 Time : 0.0 sec. user=mdettweiler [2015-12-02 19:54:52] 925*2^1416665-1 is not prime. Res64: 7E0AFDB8F0618170 Time : 0.0 sec. user=mdettweiler [2015-12-02 19:54:52] 635*2^1416666-1 is not prime. Res64: D1967D97D22DD2DA Time : 0.0 sec. user=mdettweiler [2015-12-02 20:02:36] 657*2^1416666-1 is not prime. Res64: A6FCBE4DFAB52302 Time : 0.0 sec. user=mdettweiler [2015-12-02 20:02:37] 705*2^1416666-1 is not prime. Res64: AF07A45BDC95040A Time : 0.0 sec. user=mdettweiler [2015-12-02 20:12:29] 873*2^1416666-1 is not prime. Res64: D5064C74E08CFFBA Time : 0.0 sec. user=mdettweiler [2015-12-02 20:12:30] 893*2^1416666-1 is not prime. Res64: E0ACDB451F5266BD Time : 0.0 sec. user=mdettweiler [2015-12-02 20:12:30] 725*2^1416666-1 is not prime. Res64: 747741A9CEA34DF4 Time : 0.0 sec. user=mdettweiler [2015-12-02 20:12:31] 833*2^1416666-1 is not prime. Res64: DD0A9B49385AB5F1 Time : 0.0 sec. user=mdettweiler [2015-12-02 20:20:26] 923*2^1416666-1 is not prime. Res64: 4A3152E75B3F4748 Time : 0.0 sec. user=mdettweiler [2015-12-02 20:20:26] 963*2^1416666-1 is not prime. Res64: 03FE71E22D209D07 Time : 0.0 sec. user=mdettweiler [2015-12-02 20:30:08] 901*2^1416667-1 is not prime. Res64: 1DD2D4C98604B953 Time : 0.0 sec. user=mdettweiler [2015-12-02 20:30:09] 931*2^1416667-1 is not prime. Res64: 530EE9193036B4AA Time : 0.0 sec. user=mdettweiler [2015-12-02 20:30:10] 699*2^1416667-1 is not prime. Res64: A6FF75A608762C02 Time : 0.0 sec. user=mdettweiler [2015-12-02 20:30:10] 769*2^1416667-1 is not prime. Res64: 41727E27ECE11B44 Time : 0.0 sec. user=mdettweiler [2015-12-02 20:38:06] 939*2^1416667-1 is not prime. Res64: 960BFC73008081A7 Time : 0.0 sec. user=mdettweiler [2015-12-02 20:38:06] 615*2^1416668-1 is not prime. Res64: 008FFD85FC879093 Time : 0.0 sec. user=mdettweiler [2015-12-02 20:47:47] 635*2^1416668-1 is not prime. Res64: 175A6574F47DCEB9 Time : 0.0 sec. user=mdettweiler [2015-12-02 20:47:47] 813*2^1416668-1 is not prime. Res64: 3691E326009E6D62 Time : 0.0 sec. user=mdettweiler [2015-12-02 20:47:49] 837*2^1416668-1 is not prime. Res64: 45FC4B89E426D65D Time : 0.0 sec. user=mdettweiler [2015-12-02 20:47:49] 845*2^1416668-1 is not prime. Res64: 7E0F52548B22D70A Time : 0.0 sec. user=mdettweiler [2015-12-02 20:55:44] 935*2^1416668-1 is not prime. Res64: 79AB37D60948CD58 Time : 0.0 sec. user=mdettweiler [2015-12-02 20:55:44] 987*2^1416668-1 is not prime. Res64: E3915031F36B5424 Time : 0.0 sec. user=mdettweiler [2015-12-02 21:05:27] 657*2^1416669-1 is not prime. Res64: 25E0D6FF11626B41 Time : 0.0 sec. user=mdettweiler [2015-12-02 21:05:27] 999*2^1416668-1 is not prime. Res64: 62B8EFDF6289D50C Time : 0.0 sec. user=mdettweiler [2015-12-02 21:05:29] 709*2^1416669-1 is not prime. Res64: CC4595A65AE9C6EE Time : 0.0 sec. user=mdettweiler [2015-12-02 21:05:30] 609*2^1416669-1 is not prime. Res64: 62B5635AD9B96EF9 Time : 0.0 sec. user=mdettweiler [2015-12-02 21:13:25] 781*2^1416669-1 is not prime. Res64: 53648A3391A19C8B Time : 0.0 sec. user=mdettweiler [2015-12-02 21:13:25] 795*2^1416669-1 is not prime. Res64: 22D7CC230A4BD0D0 Time : 0.0 sec. user=mdettweiler [2015-12-02 21:23:27] 895*2^1416669-1 is not prime. Res64: A27E9603351443F6 Time : 0.0 sec. user=mdettweiler [2015-12-02 21:23:28] 919*2^1416669-1 is not prime. Res64: 77FB5F2D0F8B827D Time : 0.0 sec. user=mdettweiler [2015-12-02 21:23:28] 831*2^1416669-1 is not prime. Res64: 3826959651E85692 Time : 0.0 sec. user=mdettweiler [2015-12-02 21:23:28] 877*2^1416669-1 is not prime. Res64: 404F772EA76F9C19 Time : 0.0 sec. user=mdettweiler [2015-12-02 21:31:13] 999*2^1416669-1 is not prime. Res64: D2C159CB62D9A741 Time : 0.0 sec. user=mdettweiler [2015-12-02 21:31:13] 671*2^1416670-1 is not prime. Res64: 589E710A43CF2EF4 Time : 0.0 sec. user=mdettweiler [2015-12-02 21:41:07] 645*2^1416671-1 is not prime. Res64: D6C9E6C2F2B8CB76 Time : 0.0 sec. user=mdettweiler [2015-12-02 21:41:07] 703*2^1416671-1 is not prime. Res64: 96BAFFA3D751AB28 Time : 0.0 sec. user=mdettweiler [2015-12-02 21:41:08] 841*2^1416671-1 is not prime. Res64: 4A406845AC59CF81 Time : 0.0 sec. user=mdettweiler [2015-12-02 21:41:08] 939*2^1416671-1 is not prime. Res64: D0811E9B833FBF30 Time : 0.0 sec. user=mdettweiler [2015-12-02 21:48:50] 945*2^1416671-1 is not prime. Res64: 643EBF36B6BE5882 Time : 0.0 sec. user=mdettweiler [2015-12-02 21:48:51] 633*2^1416672-1 is not prime. Res64: 7E78FD011E45AEBE Time : 0.0 sec. user=mdettweiler [2015-12-02 21:58:45] 693*2^1416672-1 is not prime. Res64: 5160D1A233A21DCF Time : 0.0 sec. user=mdettweiler [2015-12-02 21:58:45] 753*2^1416672-1 is not prime. Res64: 19653983FBA713FE Time : 0.0 sec. user=mdettweiler [2015-12-02 21:58:47] 765*2^1416672-1 is not prime. Res64: 5527A1D2E5F1968D Time : 0.0 sec. user=mdettweiler [2015-12-02 21:58:47] 767*2^1416672-1 is not prime. Res64: F892B17A3A1FA9B3 Time : 0.0 sec. user=mdettweiler [2015-12-02 22:06:29] 819*2^1416672-1 is not prime. Res64: A8642EC2F867E4BB Time : 0.0 sec. user=mdettweiler [2015-12-02 22:06:31] 885*2^1416673-1 is not prime. Res64: D5063AA7BD3DEF77 Time : 0.0 sec. user=mdettweiler [2015-12-02 22:16:23] 951*2^1416673-1 is not prime. Res64: 8CC885CE1421F032 Time : 0.0 sec. user=mdettweiler [2015-12-02 22:16:24] 683*2^1416674-1 is not prime. Res64: 8C196EB8587E45B2 Time : 0.0 sec. user=mdettweiler [2015-12-02 22:16:26] 701*2^1416674-1 is not prime. Res64: 45865B17B547D9DA Time : 0.0 sec. user=mdettweiler [2015-12-02 22:16:26] 743*2^1416674-1 is not prime. Res64: 09B3907A616F7BA6 Time : 0.0 sec. user=mdettweiler [2015-12-02 22:24:28] 773*2^1416674-1 is not prime. Res64: 52D6D3911FBF5D81 Time : 0.0 sec. user=mdettweiler [2015-12-02 22:24:28] 887*2^1416674-1 is not prime. Res64: 48AC030A19B8F537 Time : 0.0 sec. user=mdettweiler [2015-12-02 22:34:03] 957*2^1416674-1 is not prime. Res64: 21BAEE0E66225904 Time : 0.0 sec. user=mdettweiler [2015-12-02 22:34:03] 983*2^1416674-1 is not prime. Res64: 8BEBF348AF520D25 Time : 0.0 sec. user=mdettweiler [2015-12-02 22:34:07] 1001*2^1416674-1 is not prime. Res64: 7203B69A2D201F82 Time : 0.0 sec. user=mdettweiler [2015-12-02 22:34:07] 619*2^1416675-1 is not prime. Res64: 5D1E8238C3A5D28F Time : 0.0 sec. user=mdettweiler [2015-12-02 22:42:08] 765*2^1416675-1 is not prime. Res64: BD84C2691B83FFBF Time : 0.0 sec. user=mdettweiler [2015-12-02 22:42:08] 783*2^1416675-1 is not prime. Res64: 17B739258B523962 Time : 0.0 sec. user=mdettweiler [2015-12-02 22:51:43] 985*2^1416675-1 is not prime. Res64: 78E94054ED1E362E Time : 0.0 sec. user=mdettweiler [2015-12-02 22:51:43] 705*2^1416676-1 is not prime. Res64: 49BF05253477A3E2 Time : 0.0 sec. user=mdettweiler [2015-12-02 22:51:46] 779*2^1416676-1 is not prime. Res64: BD7090A51A660797 Time : 0.0 sec. user=mdettweiler [2015-12-02 22:51:46] 783*2^1416676-1 is not prime. Res64: D958196476936EDE Time : 0.0 sec. user=mdettweiler [2015-12-02 22:59:47] 655*2^1416677-1 is not prime. Res64: 68AEA21FF816A0C8 Time : 0.0 sec. user=mdettweiler [2015-12-02 22:59:48] 711*2^1416677-1 is not prime. Res64: F8919A8DABC57B0F Time : 0.0 sec. user=mdettweiler [2015-12-02 23:09:22] 729*2^1416677-1 is not prime. Res64: 31435C38DF886509 Time : 0.0 sec. user=mdettweiler [2015-12-02 23:09:22] 757*2^1416677-1 is not prime. Res64: 6C22741FD673AA1F Time : 0.0 sec. user=mdettweiler [2015-12-02 23:09:25] 795*2^1416677-1 is not prime. Res64: 0AF898BCDBFF51A1 Time : 0.0 sec. user=mdettweiler [2015-12-02 23:09:26] 635*2^1416678-1 is not prime. Res64: F29FE49EE07CAD40 Time : 0.0 sec. user=mdettweiler [2015-12-02 23:17:29] 797*2^1416678-1 is not prime. Res64: 540BDC11EF22B530 Time : 0.0 sec. user=mdettweiler [2015-12-02 23:17:29] 963*2^1416678-1 is not prime. Res64: 051B50AEECA9E906 Time : 0.0 sec. user=mdettweiler [2015-12-02 23:27:11] 609*2^1416679-1 is not prime. Res64: 68C4F9379396D63F Time : 0.0 sec. user=mdettweiler [2015-12-02 23:27:12] 615*2^1416679-1 is not prime. Res64: B494DD1E73DC6B3B Time : 0.0 sec. user=mdettweiler [2015-12-02 23:27:15] 703*2^1416679-1 is not prime. Res64: 2CA99B3E08E2A0B3 Time : 0.0 sec. user=mdettweiler [2015-12-02 23:27:16] 723*2^1416679-1 is not prime. Res64: C0C7ED421329DBD0 Time : 0.0 sec. user=mdettweiler [2015-12-02 23:35:12] 873*2^1416679-1 is not prime. Res64: 987F002A3042872A Time : 0.0 sec. user=mdettweiler [2015-12-02 23:35:12] 603*2^1416680-1 is not prime. Res64: 3037D06AC6CC5970 Time : 0.0 sec. user=mdettweiler [2015-12-02 23:45:02] 713*2^1416680-1 is not prime. Res64: B0FF454B110DD4C2 Time : 0.0 sec. user=mdettweiler [2015-12-02 23:45:02] 755*2^1416680-1 is not prime. Res64: 24611677ADFBE1BF Time : 0.0 sec. user=mdettweiler [2015-12-02 23:45:04] 767*2^1416680-1 is not prime. Res64: 52CACDECD928E532 Time : 0.0 sec. user=mdettweiler [2015-12-02 23:45:05] 773*2^1416680-1 is not prime. Res64: 2B0437D2F61C76C0 Time : 0.0 sec. user=mdettweiler [2015-12-02 23:53:04] 897*2^1416680-1 is not prime. Res64: 8644831EF8F74B04 Time : 0.0 sec. user=mdettweiler [2015-12-02 23:53:05] 899*2^1416680-1 is not prime. Res64: 2004C32005BA3BCA Time : 0.0 sec.