user=mdettweiler [2018-06-24 00:10:30] 719*2^1514212-1 is not prime. Res64: 671DCFCB66FA6877 Time : 0.0 sec. user=mdettweiler [2018-06-24 00:10:30] 765*2^1514212-1 is not prime. Res64: DF643C787649F243 Time : 0.0 sec. user=mdettweiler [2018-06-24 00:10:31] 785*2^1514212-1 is not prime. Res64: 2678CFF184B5B51E Time : 0.0 sec. user=mdettweiler [2018-06-24 00:10:31] 797*2^1514212-1 is not prime. Res64: D936B8B3F06C647F Time : 0.0 sec. user=mdettweiler [2018-06-24 00:10:32] 875*2^1514212-1 is not prime. Res64: FDC57CBECD7496BA Time : 0.0 sec. user=mdettweiler [2018-06-24 00:33:42] 899*2^1514212-1 is not prime. Res64: B38C4F6AEB6783AA Time : 0.0 sec. user=mdettweiler [2018-06-24 00:33:42] 965*2^1514212-1 is not prime. Res64: FA783BB03BB27346 Time : 0.0 sec. user=mdettweiler [2018-06-24 00:33:43] 651*2^1514213-1 is not prime. Res64: 2E6DE8BF19B66FFB Time : 0.0 sec. user=mdettweiler [2018-06-24 00:33:43] 747*2^1514213-1 is not prime. Res64: 78A4BE51AC609099 Time : 0.0 sec. user=mdettweiler [2018-06-24 00:33:44] 757*2^1514213-1 is not prime. Res64: 67FF8A9CF8D47369 Time : 0.0 sec. user=mdettweiler [2018-06-24 00:34:41] 829*2^1514213-1 is not prime. Res64: 2853FA9929807785 Time : 0.0 sec. user=mdettweiler [2018-06-24 00:34:42] 837*2^1514213-1 is not prime. Res64: 07F0CB601BCE07B5 Time : 0.0 sec. user=mdettweiler [2018-06-24 00:34:42] 879*2^1514213-1 is not prime. Res64: A1798C30055A8ABB Time : 0.0 sec. user=mdettweiler [2018-06-24 00:34:42] 927*2^1514213-1 is not prime. Res64: 97E41F651E3CC2A5 Time : 0.0 sec. user=mdettweiler [2018-06-24 00:34:43] 681*2^1514214-1 is not prime. Res64: 990D97AAC7C27383 Time : 0.0 sec. user=mdettweiler [2018-06-24 00:46:37] 683*2^1514214-1 is not prime. Res64: 646A286514EB9738 Time : 0.0 sec. user=mdettweiler [2018-06-24 00:46:38] 695*2^1514214-1 is not prime. Res64: 2A5261C2285A151E Time : 0.0 sec. user=mdettweiler [2018-06-24 00:46:38] 705*2^1514214-1 is not prime. Res64: 79FC337669E76A43 Time : 0.0 sec. user=mdettweiler [2018-06-24 00:46:38] 825*2^1514214-1 is not prime. Res64: D19058DCBB309B2F Time : 0.0 sec. user=mdettweiler [2018-06-24 00:46:39] 601*2^1514215-1 is not prime. Res64: BB54D88F56872FCA Time : 0.0 sec. user=mdettweiler [2018-06-24 01:03:33] 645*2^1514215-1 is not prime. Res64: C4BA2F4A49F327F7 Time : 0.0 sec. user=mdettweiler [2018-06-24 01:03:35] 763*2^1514215-1 is not prime. Res64: DD71AE63FB194246 Time : 0.0 sec. user=mdettweiler [2018-06-24 01:03:36] 805*2^1514215-1 is not prime. Res64: A0E2FF4720B09F12 Time : 0.0 sec. user=mdettweiler [2018-06-24 01:03:38] 859*2^1514215-1 is not prime. Res64: EE68928739A7907F Time : 0.0 sec. user=mdettweiler [2018-06-24 01:03:40] 861*2^1514215-1 is not prime. Res64: 6507FBDE729C153C Time : 0.0 sec. user=mdettweiler [2018-06-24 01:26:59] 871*2^1514215-1 is not prime. Res64: 9110E70517641DB2 Time : 0.0 sec. user=mdettweiler [2018-06-24 01:27:01] 873*2^1514215-1 is not prime. Res64: 91D3D552F33F1BCA Time : 0.0 sec. user=mdettweiler [2018-06-24 01:27:03] 925*2^1514215-1 is not prime. Res64: 71AFC7894FC09DBD Time : 0.0 sec. user=mdettweiler [2018-06-24 01:27:04] 985*2^1514215-1 is not prime. Res64: 29ED628AA65E10D9 Time : 0.0 sec. user=mdettweiler [2018-06-24 01:27:05] 633*2^1514216-1 is not prime. Res64: 658B76B61E5AB1BE Time : 0.0 sec. user=mdettweiler [2018-06-24 01:27:35] 659*2^1514216-1 is not prime. Res64: 1181DF0A29B85599 Time : 0.0 sec. user=mdettweiler [2018-06-24 01:27:38] 677*2^1514216-1 is not prime. Res64: BB4C988F05B1B831 Time : 0.0 sec. user=mdettweiler [2018-06-24 01:27:41] 789*2^1514216-1 is not prime. Res64: A86C9EC2B0797216 Time : 0.0 sec. user=mdettweiler [2018-06-24 01:27:44] 857*2^1514216-1 is not prime. Res64: 88F7B323CFA8A497 Time : 0.0 sec. user=mdettweiler [2018-06-24 01:27:47] 867*2^1514216-1 is not prime. Res64: 7DF89C2978E3787E Time : 0.0 sec. user=mdettweiler [2018-06-24 01:38:27] 869*2^1514216-1 is not prime. Res64: F69B7B1A2DC63239 Time : 0.0 sec. user=mdettweiler [2018-06-24 01:38:29] 893*2^1514216-1 is not prime. Res64: F0035974B8C2DEA6 Time : 0.0 sec. user=mdettweiler [2018-06-24 01:38:31] 781*2^1514217-1 is not prime. Res64: 7F9C5CF2F59FE0C0 Time : 0.0 sec. user=mdettweiler [2018-06-24 01:38:33] 861*2^1514217-1 is not prime. Res64: 390B90F4EEFE62A3 Time : 0.0 sec. user=mdettweiler [2018-06-24 01:38:35] 603*2^1514218-1 is not prime. Res64: 7BCFBC42A525DEDC Time : 0.0 sec. user=mdettweiler [2018-06-24 01:54:33] 611*2^1514218-1 is not prime. Res64: C9A683A2155B386C Time : 0.0 sec. user=mdettweiler [2018-06-24 01:54:33] 681*2^1514218-1 is not prime. Res64: 2B5BAD7A453E8A99 Time : 0.0 sec. user=mdettweiler [2018-06-24 01:54:34] 737*2^1514218-1 is not prime. Res64: 0F3A38EA744190A5 Time : 0.0 sec. user=mdettweiler [2018-06-24 01:54:34] 743*2^1514218-1 is not prime. Res64: 5CAAC50206CD2D81 Time : 0.0 sec. user=mdettweiler [2018-06-24 01:54:35] 845*2^1514218-1 is not prime. Res64: A91AF342E0A6C9A2 Time : 0.0 sec. user=mdettweiler [2018-06-24 02:18:44] 951*2^1514218-1 is not prime. Res64: 9716327732EB2600 Time : 0.0 sec. user=mdettweiler [2018-06-24 02:18:44] 621*2^1514219-1 is not prime. Res64: 255DE8E60006BAF7 Time : 0.0 sec. user=mdettweiler [2018-06-24 02:18:45] 669*2^1514219-1 is not prime. Res64: EE1AE97D3A6FC131 Time : 0.0 sec. user=mdettweiler [2018-06-24 02:18:46] 685*2^1514219-1 is not prime. Res64: A22D70BF4B483506 Time : 0.0 sec. user=mdettweiler [2018-06-24 02:18:46] 745*2^1514219-1 is not prime. Res64: 5FAE0F3E1C497447 Time : 0.0 sec. user=mdettweiler [2018-06-24 02:18:56] 775*2^1514219-1 is not prime. Res64: 538D9F2830EA7AFA Time : 0.0 sec. user=mdettweiler [2018-06-24 02:18:57] 825*2^1514219-1 is not prime. Res64: F346EDA40E928014 Time : 0.0 sec. user=mdettweiler [2018-06-24 02:18:57] 861*2^1514219-1 is not prime. Res64: B488BF6E0BB970FE Time : 0.0 sec. user=mdettweiler [2018-06-24 02:18:58] 999*2^1514219-1 is not prime. Res64: 30DE0A9D3CFC581D Time : 0.0 sec. user=mdettweiler [2018-06-24 02:18:58] 629*2^1514220-1 is not prime. Res64: EE79B09ED64B18F9 Time : 0.0 sec. user=mdettweiler [2018-06-24 02:30:05] 689*2^1514220-1 is not prime. Res64: C8955C422E903340 Time : 0.0 sec. user=mdettweiler [2018-06-24 02:30:09] 753*2^1514220-1 is not prime. Res64: DA6F812932678245 Time : 0.0 sec. user=mdettweiler [2018-06-24 02:30:11] 863*2^1514220-1 is not prime. Res64: 9B067CCC052E6B03 Time : 0.0 sec. user=mdettweiler [2018-06-24 02:30:13] 873*2^1514220-1 is not prime. Res64: 163EDA9710A32356 Time : 0.0 sec. user=mdettweiler [2018-06-24 02:30:14] 747*2^1514221-1 is not prime. Res64: 44AC2C3AC395B915 Time : 0.0 sec. user=mdettweiler [2018-06-24 02:46:24] 819*2^1514221-1 is not prime. Res64: 3FC904F3FFCE1F33 Time : 0.0 sec. user=mdettweiler [2018-06-24 02:46:25] 825*2^1514221-1 is not prime. Res64: B6ADA3EF61CC7191 Time : 0.0 sec. user=mdettweiler [2018-06-24 02:46:25] 979*2^1514221-1 is not prime. Res64: 6C48A6B5C562B525 Time : 0.0 sec. user=mdettweiler [2018-06-24 02:46:26] 997*2^1514221-1 is not prime. Res64: 83B3E2C3A83A6995 Time : 0.0 sec. user=mdettweiler [2018-06-24 02:46:26] 999*2^1514221-1 is not prime. Res64: 38B1124A1A9C171C Time : 0.0 sec. user=mdettweiler [2018-06-24 03:10:24] 983*2^1514222-1 is not prime. Res64: 09BDD2BE1EB86CFA Time : 0.0 sec. user=mdettweiler [2018-06-24 03:10:24] 609*2^1514223-1 is not prime. Res64: 664B613DCFE50300 Time : 0.0 sec. user=mdettweiler [2018-06-24 03:10:25] 663*2^1514223-1 is not prime. Res64: 6C3EE4C2C953DA97 Time : 0.0 sec. user=mdettweiler [2018-06-24 03:10:25] 693*2^1514223-1 is not prime. Res64: E17C8C624E7A0D92 Time : 0.0 sec. user=mdettweiler [2018-06-24 03:10:25] 805*2^1514223-1 is not prime. Res64: 4B44F78DC9587CDB Time : 0.0 sec. user=mdettweiler [2018-06-24 03:10:47] 665*2^1514222-1 is not prime. Res64: 914D1D688932B1CE Time : 0.0 sec. user=mdettweiler [2018-06-24 03:10:47] 713*2^1514222-1 is not prime. Res64: 7FDE6DB06ABCE3E2 Time : 0.0 sec. user=mdettweiler [2018-06-24 03:10:48] 731*2^1514222-1 is not prime. Res64: 5832774410A46472 Time : 0.0 sec. user=mdettweiler [2018-06-24 03:10:48] 797*2^1514222-1 is not prime. Res64: 9F393E0B28594B13 Time : 0.0 sec. user=mdettweiler [2018-06-24 03:10:49] 981*2^1514222-1 is not prime. Res64: DF28BD058C9DE2C1 Time : 0.0 sec. user=mdettweiler [2018-06-24 03:22:23] 895*2^1514223-1 is not prime. Res64: 11B8E7BF4009963D Time : 0.0 sec. user=mdettweiler [2018-06-24 03:22:24] 933*2^1514223-1 is not prime. Res64: 69AA18FF60D16AF2 Time : 0.0 sec. user=mdettweiler [2018-06-24 03:22:24] 677*2^1514224-1 is not prime. Res64: 20A32FBBA56BD984 Time : 0.0 sec. user=mdettweiler [2018-06-24 03:22:24] 897*2^1514224-1 is not prime. Res64: 5768C1B40846EA7E Time : 0.0 sec. user=mdettweiler [2018-06-24 03:22:25] 899*2^1514224-1 is not prime. Res64: 113771065FFFA2B1 Time : 0.0 sec. user=mdettweiler [2018-06-24 03:37:28] 965*2^1514224-1 is not prime. Res64: C816459F7EBD0E32 Time : 0.0 sec. user=mdettweiler [2018-06-24 03:37:32] 651*2^1514225-1 is not prime. Res64: CD07615810C7337A Time : 0.0 sec. user=mdettweiler [2018-06-24 03:37:36] 691*2^1514225-1 is not prime. Res64: 2A3BA2B7728C71E1 Time : 0.0 sec. user=mdettweiler [2018-06-24 03:37:46] 735*2^1514225-1 is not prime. Res64: 1DA754F53DF1CAA7 Time : 0.0 sec. user=mdettweiler [2018-06-24 03:37:54] 759*2^1514225-1 is not prime. Res64: 35DB4697F79B5A28 Time : 0.0 sec. user=mdettweiler [2018-06-24 04:00:51] 775*2^1514225-1 is not prime. Res64: 645F3EFAD14CED91 Time : 0.0 sec. user=mdettweiler [2018-06-24 04:01:00] 885*2^1514225-1 is not prime. Res64: BA76623F1D0A9477 Time : 0.0 sec. user=mdettweiler [2018-06-24 04:01:03] 957*2^1514225-1 is not prime. Res64: 38EA39DE3F31E405 Time : 0.0 sec. user=mdettweiler [2018-06-24 04:01:09] 635*2^1514226-1 is not prime. Res64: 69C46356811801A2 Time : 0.0 sec. user=mdettweiler [2018-06-24 04:01:10] 815*2^1514226-1 is not prime. Res64: DC1AFD3C5741F663 Time : 0.0 sec. user=mdettweiler [2018-06-24 04:01:15] 717*2^1514226-1 is not prime. Res64: DB33923046829BC6 Time : 0.0 sec. user=mdettweiler [2018-06-24 04:15:22] 673*2^1514227-1 is not prime. Res64: BC129BA9213D0871 Time : 0.0 sec. user=mdettweiler [2018-06-24 04:25:56] 895*2^1514229-1 is not prime. Res64: 1D987D9AA9F0F6AC Time : 0.0 sec. user=mdettweiler [2018-06-24 04:40:41] 797*2^1514228-1 is not prime. Res64: 8A14FBCDA038EE0C Time : 0.0 sec. user=mdettweiler [2018-06-24 04:40:43] 843*2^1514228-1 is not prime. Res64: E5920AA1F6606A9E Time : 0.0 sec. user=mdettweiler [2018-06-24 04:40:46] 845*2^1514228-1 is not prime. Res64: B154DFD77CE1E42B Time : 0.0 sec. user=mdettweiler [2018-06-24 04:40:48] 855*2^1514228-1 is not prime. Res64: 54000928489D8412 Time : 0.0 sec. user=mdettweiler [2018-06-24 04:40:49] 615*2^1514229-1 is not prime. Res64: B87CECF0A4F4B021 Time : 0.0 sec. user=mdettweiler [2018-06-24 05:00:07] 655*2^1514229-1 is not prime. Res64: 613130342DD85868 Time : 0.0 sec. user=mdettweiler [2018-06-24 05:00:08] 675*2^1514229-1 is not prime. Res64: ACF94BD874895CF2 Time : 0.0 sec. user=mdettweiler [2018-06-24 05:00:08] 831*2^1514229-1 is not prime. Res64: A4C5F2CD0AE44766 Time : 0.0 sec. user=mdettweiler [2018-06-24 05:00:09] 885*2^1514229-1 is not prime. Res64: 85190761958B3AF4 Time : 0.0 sec. user=mdettweiler [2018-06-24 05:00:09] 889*2^1514229-1 is not prime. Res64: B87E7D9D6677EB14 Time : 0.0 sec. user=mdettweiler [2018-06-24 05:38:29] 907*2^1514229-1 is not prime. Res64: F11445CBBF14AEFE Time : 0.0 sec. user=mdettweiler [2018-06-24 05:38:29] 991*2^1514229-1 is not prime. Res64: 8B2C8DE4391DD013 Time : 0.0 sec. user=mdettweiler [2018-06-24 05:38:30] 605*2^1514230-1 is not prime. Res64: 03215D5A32B2CDAA Time : 0.0 sec. user=mdettweiler [2018-06-24 05:38:30] 657*2^1514230-1 is not prime. Res64: 271AEF8C00246021 Time : 0.0 sec. user=mdettweiler [2018-06-24 05:38:31] 665*2^1514230-1 is not prime. Res64: 2D7A7FEB82486F7C Time : 0.0 sec. user=mdettweiler [2018-06-24 05:55:58] 677*2^1514230-1 is not prime. Res64: 1E093CF05D7FF790 Time : 0.0 sec. user=mdettweiler [2018-06-24 05:55:58] 825*2^1514230-1 is not prime. Res64: 423DE7CD748581ED Time : 0.0 sec. user=mdettweiler [2018-06-24 05:55:59] 857*2^1514230-1 is not prime. Res64: EAB650243861E658 Time : 0.0 sec. user=mdettweiler [2018-06-24 05:55:59] 975*2^1514230-1 is not prime. Res64: A566F51B50C7C844 Time : 0.0 sec. user=mdettweiler [2018-06-24 05:56:00] 603*2^1514231-1 is not prime. Res64: BB1B84E17983FB9A Time : 0.0 sec. user=mdettweiler [2018-06-24 06:33:55] 615*2^1514231-1 is not prime. Res64: 13285C98925F8A0C Time : 0.0 sec. user=mdettweiler [2018-06-24 06:33:56] 675*2^1514231-1 is not prime. Res64: 36BF0C5DE3129C03 Time : 0.0 sec. user=mdettweiler [2018-06-24 06:33:56] 735*2^1514231-1 is not prime. Res64: EBC9FCB58F52CAF3 Time : 0.0 sec. user=mdettweiler [2018-06-24 06:33:57] 991*2^1514231-1 is not prime. Res64: 1DB38FA97394EE61 Time : 0.0 sec. user=mdettweiler [2018-06-24 06:33:57] 623*2^1514232-1 is not prime. Res64: B01E336A5550B27D Time : 0.0 sec. user=mdettweiler [2018-06-24 06:51:27] 879*2^1514232-1 is not prime. Res64: 3EB83CB9F93D117F Time : 0.0 sec. user=mdettweiler [2018-06-24 06:51:28] 957*2^1514232-1 is not prime. Res64: 8D013A0EAEF7DAE1 Time : 0.0 sec. user=mdettweiler [2018-06-24 06:51:28] 983*2^1514232-1 is not prime. Res64: 700FE35E420B3748 Time : 0.0 sec. user=mdettweiler [2018-06-24 06:51:29] 639*2^1514233-1 is not prime. Res64: 74D41EA978DC6D23 Time : 0.0 sec. user=mdettweiler [2018-06-24 06:51:29] 747*2^1514233-1 is not prime. Res64: B14E598A26FE3611 Time : 0.0 sec. user=mdettweiler [2018-06-24 07:29:44] 801*2^1514233-1 is not prime. Res64: 99C9C3142FFD0208 Time : 0.0 sec. user=mdettweiler [2018-06-24 07:29:45] 897*2^1514233-1 is not prime. Res64: 47892F56D3C774F6 Time : 0.0 sec. user=mdettweiler [2018-06-24 07:29:45] 987*2^1514233-1 is not prime. Res64: 04A4B4811F3BF2AF Time : 0.0 sec. user=mdettweiler [2018-06-24 07:29:46] 617*2^1514234-1 is not prime. Res64: F1BC671BAEE9CB6D Time : 0.0 sec. user=mdettweiler [2018-06-24 07:29:46] 641*2^1514234-1 is not prime. Res64: F9898463C8F7571B Time : 0.0 sec. user=mdettweiler [2018-06-24 07:46:56] 671*2^1514234-1 is not prime. Res64: CD08332EEF2A818A Time : 0.0 sec. user=mdettweiler [2018-06-24 07:46:57] 797*2^1514234-1 is not prime. Res64: DD9609B313567EA8 Time : 0.0 sec. user=mdettweiler [2018-06-24 07:46:57] 813*2^1514234-1 is not prime. Res64: 4D901329BED8A372 Time : 0.0 sec. user=mdettweiler [2018-06-24 07:46:57] 815*2^1514234-1 is not prime. Res64: E23793351FDC9BFD Time : 0.0 sec. user=mdettweiler [2018-06-24 07:46:58] 825*2^1514234-1 is not prime. Res64: 4B80AE0E295B77C6 Time : 0.0 sec. user=mdettweiler [2018-06-24 08:25:04] 827*2^1514234-1 is not prime. Res64: 5278E7CA7EFF0169 Time : 0.0 sec. user=mdettweiler [2018-06-24 08:25:04] 903*2^1514234-1 is not prime. Res64: F2E96F01F9C7EEB6 Time : 0.0 sec. user=mdettweiler [2018-06-24 08:25:05] 927*2^1514234-1 is not prime. Res64: 9B279ECC7C54DAB9 Time : 0.0 sec. user=mdettweiler [2018-06-24 08:25:06] 945*2^1514234-1 is not prime. Res64: F8D983DEF18A68E0 Time : 0.0 sec. user=mdettweiler [2018-06-24 08:25:06] 609*2^1514235-1 is not prime. Res64: 06AF4E6991E83A29 Time : 0.0 sec. user=mdettweiler [2018-06-24 08:43:00] 751*2^1514235-1 is not prime. Res64: 83C78689C341A2C5 Time : 0.0 sec. user=mdettweiler [2018-06-24 08:43:00] 789*2^1514235-1 is not prime. Res64: 91AE1D085478EC67 Time : 0.0 sec. user=mdettweiler [2018-06-24 08:43:01] 819*2^1514235-1 is not prime. Res64: 0A38ED4F2E0FBE73 Time : 0.0 sec. user=mdettweiler [2018-06-24 08:43:01] 961*2^1514235-1 is not prime. Res64: AB9CBDB6200ACC6F Time : 0.0 sec. user=mdettweiler [2018-06-24 08:43:02] 707*2^1514236-1 is not prime. Res64: 6F81B3BD0B9965F2 Time : 0.0 sec. user=mdettweiler [2018-06-24 09:21:09] 777*2^1514236-1 is not prime. Res64: DCBA5DF9881024FC Time : 0.0 sec. user=mdettweiler [2018-06-24 09:21:09] 957*2^1514236-1 is not prime. Res64: 7FC86D6D381648D5 Time : 0.0 sec. user=mdettweiler [2018-06-24 09:21:09] 619*2^1514237-1 is not prime. Res64: A2A5A9C452C393CF Time : 0.0 sec. user=mdettweiler [2018-06-24 09:21:10] 655*2^1514237-1 is not prime. Res64: 1D9F1D3439837619 Time : 0.0 sec. user=mdettweiler [2018-06-24 09:21:10] 711*2^1514237-1 is not prime. Res64: A1AE7F3203531904 Time : 0.0 sec. user=mdettweiler [2018-06-24 09:27:45] 685*2^1514227-1 is not prime. Res64: 0AE756FBEB657074 Time : 0.0 sec. user=mdettweiler [2018-06-24 09:27:45] 693*2^1514227-1 is not prime. Res64: 8213A204FF94ECB1 Time : 0.0 sec. user=mdettweiler [2018-06-24 09:27:45] 961*2^1514227-1 is not prime. Res64: 7C17526C8CAE74BB Time : 0.0 sec. user=mdettweiler [2018-06-24 09:27:46] 687*2^1514228-1 is not prime. Res64: BEEA06E28368F4A3 Time : 0.0 sec. user=mdettweiler [2018-06-24 09:30:31] 873*2^1514226-1 is not prime. Res64: 16394516E50D2297 Time : 0.0 sec. user=mdettweiler [2018-06-24 09:30:32] 887*2^1514226-1 is not prime. Res64: 2D48263BA9D1696F Time : 0.0 sec. user=mdettweiler [2018-06-24 09:30:33] 603*2^1514227-1 is not prime. Res64: EADC5BC17C27A74F Time : 0.0 sec. user=mdettweiler [2018-06-24 09:30:33] 651*2^1514227-1 is not prime. Res64: 0F2317C3AD0A9E50 Time : 0.0 sec. user=mdettweiler [2018-06-24 09:37:35] 727*2^1514237-1 is not prime. Res64: A04D54C61E487E2B Time : 0.0 sec. user=mdettweiler [2018-06-24 09:37:36] 735*2^1514237-1 is not prime. Res64: EC53BB99248C6074 Time : 0.0 sec. user=mdettweiler [2018-06-24 09:37:36] 771*2^1514237-1 is not prime. Res64: A19AA97F81EE13E1 Time : 0.0 sec. user=mdettweiler [2018-06-24 09:37:36] 885*2^1514237-1 is not prime. Res64: C0ECF2DDDC648F25 Time : 0.0 sec. user=mdettweiler [2018-06-24 09:37:37] 939*2^1514237-1 is not prime. Res64: C8C807C5B1B36878 Time : 0.0 sec. user=mdettweiler [2018-06-24 10:12:39] 967*2^1514237-1 is not prime. Res64: 73499DDFCDA128D7 Time : 0.0 sec. user=mdettweiler [2018-06-24 10:12:39] 985*2^1514237-1 is not prime. Res64: 4F63DEDF12A0BDF7 Time : 0.0 sec. user=mdettweiler [2018-06-24 10:12:40] 765*2^1514238-1 is not prime. Res64: C2B4F8A867EED4DE Time : 0.0 sec. user=mdettweiler [2018-06-24 10:12:40] 843*2^1514238-1 is not prime. Res64: A0EA07D5DBAB48EF Time : 0.0 sec. user=mdettweiler [2018-06-24 10:12:41] 867*2^1514238-1 is not prime. Res64: A4D4C8D5282801FA Time : 0.0 sec. user=mdettweiler [2018-06-24 10:17:46] 971*2^1514238-1 is not prime. Res64: 7ACF642F5B1BC6FA Time : 0.0 sec. user=mdettweiler [2018-06-24 10:17:47] 609*2^1514239-1 is not prime. Res64: 2FBDAF3C88672443 Time : 0.0 sec. user=mdettweiler [2018-06-24 10:17:47] 621*2^1514239-1 is not prime. Res64: B140180A06ED0F6E Time : 0.0 sec. user=mdettweiler [2018-06-24 10:17:47] 675*2^1514239-1 is not prime. Res64: C9E95D6880C8888D Time : 0.0 sec. user=mdettweiler [2018-06-24 10:17:48] 729*2^1514239-1 is not prime. Res64: D54F3BAA8580AAE5 Time : 0.0 sec. user=mdettweiler [2018-06-24 10:21:11] 751*2^1514239-1 is not prime. Res64: 16C255632AE8C54C Time : 0.0 sec. user=mdettweiler [2018-06-24 10:21:11] 811*2^1514239-1 is not prime. Res64: 89E31E7CC662E6EC Time : 0.0 sec. user=mdettweiler [2018-06-24 10:21:12] 855*2^1514239-1 is not prime. Res64: EF2AD94655B95626 Time : 0.0 sec. user=mdettweiler [2018-06-24 10:21:12] 883*2^1514239-1 is not prime. Res64: 01E9CE8EF90BCAF3 Time : 0.0 sec. user=mdettweiler [2018-06-24 10:21:13] 885*2^1514239-1 is not prime. Res64: 145C17F05A5165F5 Time : 0.0 sec. user=mdettweiler [2018-06-24 10:28:10] 973*2^1514239-1 is not prime. Res64: 6B3C8D6EC9FB72C4 Time : 0.0 sec. user=mdettweiler [2018-06-24 10:28:11] 633*2^1514240-1 is not prime. Res64: 4B6E81255842A044 Time : 0.0 sec. user=mdettweiler [2018-06-24 10:28:11] 669*2^1514240-1 is not prime. Res64: 457E2F6A54F51581 Time : 0.0 sec. user=mdettweiler [2018-06-24 10:28:11] 677*2^1514240-1 is not prime. Res64: F8177BBE2604FB79 Time : 0.0 sec. user=mdettweiler [2018-06-24 10:28:12] 717*2^1514240-1 is not prime. Res64: 17121217C4DF5BA2 Time : 0.0 sec. user=mdettweiler [2018-06-24 11:03:46] 795*2^1514240-1 is not prime. Res64: DA86EBB926F98105 Time : 0.0 sec. user=mdettweiler [2018-06-24 11:03:47] 797*2^1514240-1 is not prime. Res64: EF23BA0E181E1826 Time : 0.0 sec. user=mdettweiler [2018-06-24 11:03:48] 819*2^1514240-1 is not prime. Res64: 0E40957D49FE2C26 Time : 0.0 sec. user=mdettweiler [2018-06-24 11:03:49] 827*2^1514240-1 is not prime. Res64: C38B3E2515A557C4 Time : 0.0 sec. user=mdettweiler [2018-06-24 11:03:50] 963*2^1514240-1 is not prime. Res64: FF157981142438BC Time : 0.0 sec. user=mdettweiler [2018-06-24 11:08:21] 639*2^1514241-1 is not prime. Res64: BD52C3884FD503C0 Time : 0.0 sec. user=mdettweiler [2018-06-24 11:08:27] 727*2^1514241-1 is not prime. Res64: DF3632E56F2F8E81 Time : 0.0 sec. user=mdettweiler [2018-06-24 11:08:29] 751*2^1514241-1 is not prime. Res64: 68DEAF5B12B5A347 Time : 0.0 sec. user=mdettweiler [2018-06-24 11:08:31] 865*2^1514241-1 is not prime. Res64: 30AE8DF1C7885601 Time : 0.0 sec. user=mdettweiler [2018-06-24 11:08:32] 901*2^1514241-1 is not prime. Res64: 6ABAF0B795CBFB2A Time : 0.0 sec. user=mdettweiler [2018-06-24 11:11:53] 999*2^1514241-1 is not prime. Res64: 248F8FA2FA0F0EAE Time : 0.0 sec. user=mdettweiler [2018-06-24 11:11:54] 723*2^1514242-1 is not prime. Res64: 9DD1F55672399C3C Time : 0.0 sec. user=mdettweiler [2018-06-24 11:11:54] 803*2^1514242-1 is not prime. Res64: 4EEC211AD703AAAB Time : 0.0 sec. user=mdettweiler [2018-06-24 11:11:55] 827*2^1514242-1 is not prime. Res64: F92D7A6B2B60AE39 Time : 0.0 sec. user=mdettweiler [2018-06-24 11:11:55] 643*2^1514243-1 is not prime. Res64: 2ED7AB34A35F82EC Time : 0.0 sec. user=mdettweiler [2018-06-24 11:18:33] 673*2^1514243-1 is not prime. Res64: D1BDE6E59E323F08 Time : 0.0 sec. user=mdettweiler [2018-06-24 11:18:34] 699*2^1514243-1 is not prime. Res64: A7435E31EBAEC800 Time : 0.0 sec. user=mdettweiler [2018-06-24 11:18:34] 859*2^1514243-1 is not prime. Res64: 86BCF9308DC9581F Time : 0.0 sec. user=mdettweiler [2018-06-24 11:18:35] 605*2^1514244-1 is not prime. Res64: 2EE7BBDBE6FF0F2F Time : 0.0 sec. user=mdettweiler [2018-06-24 11:18:35] 627*2^1514244-1 is not prime. Res64: A4F26E61C5399C36 Time : 0.0 sec. user=mdettweiler [2018-06-24 11:55:26] 675*2^1514244-1 is not prime. Res64: E880786B4DAB6BF4 Time : 0.0 sec. user=mdettweiler [2018-06-24 11:55:27] 683*2^1514244-1 is not prime. Res64: 3993E7CB331B1E10 Time : 0.0 sec. user=mdettweiler [2018-06-24 11:55:27] 693*2^1514244-1 is not prime. Res64: DEE9DB94F74F80D9 Time : 0.0 sec. user=mdettweiler [2018-06-24 11:55:28] 719*2^1514244-1 is not prime. Res64: E2006E5ABD77016B Time : 0.0 sec. user=mdettweiler [2018-06-24 11:55:28] 857*2^1514244-1 is not prime. Res64: 66243A71E18DDD00 Time : 0.0 sec. user=mdettweiler [2018-06-24 11:59:14] 915*2^1514244-1 is not prime. Res64: A3853B5CAF3797F4 Time : 0.0 sec. user=mdettweiler [2018-06-24 11:59:15] 609*2^1514245-1 is not prime. Res64: 632734B61079E49D Time : 0.0 sec. user=mdettweiler [2018-06-24 11:59:15] 645*2^1514245-1 is not prime. Res64: B62362D398EDCA56 Time : 0.0 sec. user=mdettweiler [2018-06-24 11:59:15] 721*2^1514245-1 is not prime. Res64: 2117FF9DEF13EB3A Time : 0.0 sec. user=mdettweiler [2018-06-24 11:59:16] 799*2^1514245-1 is not prime. Res64: 06415FD0F2D471B3 Time : 0.0 sec. user=mdettweiler [2018-06-24 12:02:52] 855*2^1514245-1 is not prime. Res64: 57019DC86B3BD35D Time : 0.0 sec. user=mdettweiler [2018-06-24 12:02:53] 861*2^1514245-1 is not prime. Res64: 48A0E551B7FE6692 Time : 0.0 sec. user=mdettweiler [2018-06-24 12:02:54] 915*2^1514245-1 is not prime. Res64: E28B0F4FEB80C8B5 Time : 0.0 sec. user=mdettweiler [2018-06-24 12:02:55] 997*2^1514245-1 is not prime. Res64: 92BE8A6E673AD5E7 Time : 0.0 sec. user=mdettweiler [2018-06-24 12:02:56] 887*2^1514246-1 is not prime. Res64: 9CA426A7F5AF1995 Time : 0.0 sec. user=mdettweiler [2018-06-24 12:09:18] 917*2^1514246-1 is not prime. Res64: 351C5B9BB1E427E8 Time : 0.0 sec. user=mdettweiler [2018-06-24 12:09:19] 923*2^1514246-1 is not prime. Res64: B4132207BB87881C Time : 0.0 sec. user=mdettweiler [2018-06-24 12:09:19] 945*2^1514246-1 is not prime. Res64: C72D786DF164FA24 Time : 0.0 sec. user=mdettweiler [2018-06-24 12:09:20] 643*2^1514247-1 is not prime. Res64: 95BC41B1BEB4C6D7 Time : 0.0 sec. user=mdettweiler [2018-06-24 12:09:21] 685*2^1514247-1 is not prime. Res64: 0749FF0DF334DB7C Time : 0.0 sec. user=mdettweiler [2018-06-24 12:46:32] 693*2^1514247-1 is not prime. Res64: 7E0D083EFB413006 Time : 0.0 sec. user=mdettweiler [2018-06-24 12:46:33] 705*2^1514247-1 is not prime. Res64: 280617C544F884B9 Time : 0.0 sec. user=mdettweiler [2018-06-24 12:46:33] 765*2^1514247-1 is not prime. Res64: 298208CC09656493 Time : 0.0 sec. user=mdettweiler [2018-06-24 12:46:33] 861*2^1514247-1 is not prime. Res64: DEE5D956A82534BD Time : 0.0 sec. user=mdettweiler [2018-06-24 12:46:34] 871*2^1514247-1 is not prime. Res64: 39265CD46BE9651E Time : 0.0 sec. user=mdettweiler [2018-06-24 12:50:18] 913*2^1514247-1 is not prime. Res64: 10BF2D219BC61BED Time : 0.0 sec. user=mdettweiler [2018-06-24 12:50:19] 687*2^1514248-1 is not prime. Res64: DDFE129C35515681 Time : 0.0 sec. user=mdettweiler [2018-06-24 12:50:19] 747*2^1514248-1 is not prime. Res64: 8BC318AB8787F056 Time : 0.0 sec. user=mdettweiler [2018-06-24 12:50:20] 827*2^1514248-1 is not prime. Res64: 6E7DBB5F1875563B Time : 0.0 sec. user=mdettweiler [2018-06-24 12:50:20] 833*2^1514248-1 is not prime. Res64: 0770A71C4AF98EF3 Time : 0.0 sec. user=mdettweiler [2018-06-24 12:53:24] 845*2^1514248-1 is not prime. Res64: 02AA8605E904DDD6 Time : 0.0 sec. user=mdettweiler [2018-06-24 12:53:25] 855*2^1514248-1 is not prime. Res64: 02563E86B1EA9603 Time : 0.0 sec. user=mdettweiler [2018-06-24 12:53:25] 637*2^1514249-1 is not prime. Res64: 52DD3F36C04F3BB6 Time : 0.0 sec. user=mdettweiler [2018-06-24 12:53:25] 675*2^1514249-1 is not prime. Res64: C23D3AE773153C8B Time : 0.0 sec. user=mdettweiler [2018-06-24 12:53:26] 679*2^1514249-1 is not prime. Res64: ED8D4DCBB70CC424 Time : 0.0 sec. user=mdettweiler [2018-06-24 13:00:28] 855*2^1514249-1 is not prime. Res64: DFC0088ECCE2692D Time : 0.0 sec. user=mdettweiler [2018-06-24 13:38:13] 723*2^1514251-1 is not prime. Res64: 4026139F37EB7A34 Time : 0.0 sec. user=mdettweiler [2018-06-24 13:38:14] 741*2^1514251-1 is not prime. Res64: 561BBF844B506075 Time : 0.0 sec. user=mdettweiler [2018-06-24 13:38:14] 771*2^1514251-1 is not prime. Res64: D038E9A7ED3FA1A5 Time : 0.0 sec. user=mdettweiler [2018-06-24 13:38:15] 813*2^1514251-1 is not prime. Res64: 19E0339C7E392C87 Time : 0.0 sec. user=mdettweiler [2018-06-24 13:38:15] 835*2^1514251-1 is not prime. Res64: E1D5F7C16F4686C0 Time : 0.0 sec. user=mdettweiler [2018-06-24 13:41:36] 859*2^1514251-1 is not prime. Res64: 5AFF4DF2C4189C2D Time : 0.0 sec. user=mdettweiler [2018-06-24 13:41:36] 939*2^1514251-1 is not prime. Res64: EC4662CFC237E3BA Time : 0.0 sec. user=mdettweiler [2018-06-24 13:41:37] 603*2^1514252-1 is not prime. Res64: BBFCC16E7F533E7B Time : 0.0 sec. user=mdettweiler [2018-06-24 13:41:37] 633*2^1514252-1 is not prime. Res64: 42B19FDC1958FA88 Time : 0.0 sec. user=mdettweiler [2018-06-24 13:41:38] 753*2^1514252-1 is not prime. Res64: 2D311821DAC92EA5 Time : 0.0 sec. user=mdettweiler [2018-06-24 13:45:58] 885*2^1514252-1 is not prime. Res64: 74B4221A5ED308A3 Time : 0.0 sec. user=mdettweiler [2018-06-24 13:45:58] 957*2^1514252-1 is not prime. Res64: 2BF02EDEB0E17FBE Time : 0.0 sec. user=mdettweiler [2018-06-24 13:45:59] 959*2^1514252-1 is not prime. Res64: 7DEEAC43B6F17F4D Time : 0.0 sec. user=mdettweiler [2018-06-24 13:45:59] 727*2^1514253-1 is not prime. Res64: 3065AEEB5D38F6E4 Time : 0.0 sec. user=mdettweiler [2018-06-24 13:45:59] 769*2^1514253-1 is not prime. Res64: E7A73C8E93EA51CB Time : 0.0 sec. user=mdettweiler [2018-06-24 14:36:14] 861*2^1514253-1 is not prime. Res64: 2084C4D6B092724A Time : 0.0 sec. user=mdettweiler [2018-06-24 14:36:15] 937*2^1514253-1 is not prime. Res64: A11A2ED7602FD025 Time : 0.0 sec. user=mdettweiler [2018-06-24 14:36:15] 623*2^1514254-1 is not prime. Res64: 12EB4CB319E18276 Time : 0.0 sec. user=mdettweiler [2018-06-24 14:36:16] 675*2^1514254-1 is not prime. Res64: 22BA6850DC02E870 Time : 0.0 sec. user=mdettweiler [2018-06-24 14:36:16] 737*2^1514254-1 is not prime. Res64: 8825C06BD14FC2D6 Time : 0.0 sec. user=mdettweiler [2018-06-24 14:42:18] 741*2^1514254-1 is not prime. Res64: A12AC5ECEA91711F Time : 0.0 sec. user=mdettweiler [2018-06-24 14:42:18] 885*2^1514254-1 is not prime. Res64: 519F4B91D7168317 Time : 0.0 sec. user=mdettweiler [2018-06-24 14:42:18] 951*2^1514254-1 is not prime. Res64: 8695D5426CAFD8C8 Time : 0.0 sec. user=mdettweiler [2018-06-24 14:42:19] 909*2^1514255-1 is not prime. Res64: 52C613FE80AAF3C6 Time : 0.0 sec. user=mdettweiler [2018-06-24 14:42:19] 939*2^1514255-1 is not prime. Res64: E2B3283EC1984FA6 Time : 0.0 sec. user=mdettweiler [2018-06-24 14:45:55] 609*2^1514256-1 is not prime. Res64: E9F94CA4636168C2 Time : 0.0 sec. user=mdettweiler [2018-06-24 14:45:55] 629*2^1514256-1 is not prime. Res64: 8F99C3481F258FCB Time : 0.0 sec. user=mdettweiler [2018-06-24 14:45:56] 675*2^1514256-1 is not prime. Res64: 14F04E6985EBC3B9 Time : 0.0 sec. user=mdettweiler [2018-06-24 14:45:56] 705*2^1514256-1 is not prime. Res64: 113FB0FE139C5AD0 Time : 0.0 sec. user=mdettweiler [2018-06-24 14:45:56] 707*2^1514256-1 is not prime. Res64: 2AED84C46B333B30 Time : 0.0 sec. user=mdettweiler [2018-06-24 15:36:34] 779*2^1514256-1 is not prime. Res64: A0108293CB81F0DB Time : 0.0 sec. user=mdettweiler [2018-06-24 15:36:34] 747*2^1514257-1 is not prime. Res64: 0EC7D8AF324548B3 Time : 0.0 sec. user=mdettweiler [2018-06-24 15:36:35] 819*2^1514257-1 is not prime. Res64: D792B77451FB9DA9 Time : 0.0 sec. user=mdettweiler [2018-06-24 15:36:35] 915*2^1514257-1 is not prime. Res64: A5BC0819C2D5CE62 Time : 0.0 sec. user=mdettweiler [2018-06-24 15:36:35] 937*2^1514257-1 is not prime. Res64: 4C1221546B1FCB15 Time : 0.0 sec. user=mdettweiler [2018-06-24 15:44:02] 683*2^1514258-1 is not prime. Res64: 279767D8B6E6929D Time : 0.0 sec. user=mdettweiler [2018-06-24 15:44:02] 731*2^1514258-1 is not prime. Res64: 8306D82AFC5023D9 Time : 0.0 sec. user=mdettweiler [2018-06-24 15:44:02] 747*2^1514258-1 is not prime. Res64: 780F6585FC9A2474 Time : 0.0 sec. user=mdettweiler [2018-06-24 15:44:03] 773*2^1514258-1 is not prime. Res64: 7E441FDFD161404C Time : 0.0 sec. user=mdettweiler [2018-06-24 15:44:03] 825*2^1514258-1 is not prime. Res64: 20E5855288A4AB15 Time : 0.0 sec. user=mdettweiler [2018-06-24 15:47:03] 833*2^1514258-1 is not prime. Res64: 474D560466D93C87 Time : 0.0 sec. user=mdettweiler [2018-06-24 15:47:03] 945*2^1514258-1 is not prime. Res64: 594324900FB40BFF Time : 0.0 sec. user=mdettweiler [2018-06-24 15:47:03] 957*2^1514258-1 is not prime. Res64: 973369C6C2A9EF7C Time : 0.0 sec. user=mdettweiler [2018-06-24 15:47:04] 977*2^1514258-1 is not prime. Res64: 8695930EB6020C55 Time : 0.0 sec. user=mdettweiler [2018-06-24 15:47:04] 663*2^1514259-1 is not prime. Res64: 55A6A83CB37D0F67 Time : 0.0 sec. user=juhehe [2018-06-24 16:12:32] 705*2^1514259-1 is not prime. Res64: 28E2D54A6DE282E6 Time : 0.0 sec. user=mdettweiler [2018-06-24 16:49:57] 735*2^1514259-1 is not prime. Res64: DE0A86ECA193D69C Time : 0.0 sec. user=mdettweiler [2018-06-24 16:49:57] 801*2^1514259-1 is not prime. Res64: 2EC8F3C8AB9708A8 Time : 0.0 sec. user=mdettweiler [2018-06-24 16:49:58] 629*2^1514260-1 is not prime. Res64: 1DC0445D915E1E89 Time : 0.0 sec. user=mdettweiler [2018-06-24 16:49:58] 735*2^1514260-1 is not prime. Res64: 0871F8CD14B88143 Time : 0.0 sec. user=mdettweiler [2018-06-24 16:49:58] 819*2^1514260-1 is not prime. Res64: 61C2FFF910847182 Time : 0.0 sec. user=mdettweiler [2018-06-24 16:53:35] 825*2^1514260-1 is not prime. Res64: 6AE724A73D7CA2FA Time : 0.0 sec. user=mdettweiler [2018-06-24 16:53:35] 839*2^1514260-1 is not prime. Res64: FE14CE8C6BF8DF9D Time : 0.0 sec. user=mdettweiler [2018-06-24 16:53:35] 897*2^1514260-1 is not prime. Res64: D374022004472012 Time : 0.0 sec. user=mdettweiler [2018-06-24 16:53:36] 929*2^1514260-1 is not prime. Res64: 24AB967E2AA66780 Time : 0.0 sec. user=mdettweiler [2018-06-24 16:53:36] 957*2^1514260-1 is not prime. Res64: 8656A228247362EF Time : 0.0 sec. user=mdettweiler [2018-06-24 16:57:29] 983*2^1514260-1 is not prime. Res64: 21E9F82DEB7A686A Time : 0.0 sec. user=mdettweiler [2018-06-24 16:57:29] 999*2^1514260-1 is not prime. Res64: 32C1C9E819257E3E Time : 0.0 sec. user=mdettweiler [2018-06-24 16:57:29] 615*2^1514261-1 is not prime. Res64: C7533B90DE10AC3F Time : 0.0 sec. user=mdettweiler [2018-06-24 16:57:29] 669*2^1514261-1 is not prime. Res64: 34005CBF29162FA3 Time : 0.0 sec. user=mdettweiler [2018-06-24 16:57:30] 801*2^1514261-1 is not prime. Res64: 3E7108D02C5BA202 Time : 0.0 sec. user=juhehe [2018-06-24 16:57:58] 837*2^1514261-1 is not prime. Res64: 0424168A7720700D Time : 0.0 sec. user=mdettweiler [2018-06-24 17:03:34] 949*2^1514249-1 is not prime. Res64: 7BB42DFDC758FB06 Time : 0.0 sec. user=mdettweiler [2018-06-24 17:03:35] 957*2^1514249-1 is not prime. Res64: 6970ACFF4EB8A70C Time : 0.0 sec. user=mdettweiler [2018-06-24 17:03:36] 843*2^1514250-1 is not prime. Res64: C13456F67E00D793 Time : 0.0 sec. user=mdettweiler [2018-06-24 17:03:37] 625*2^1514251-1 is not prime. Res64: 6D0FE85E9295D28D Time : 0.0 sec. user=juhehe [2018-06-24 17:43:13] 781*2^1514265-1 is not prime. Res64: 9AD7042169FF61F5 Time : 0.0 sec. user=mdettweiler [2018-06-24 17:46:55] 991*2^1514261-1 is not prime. Res64: FB09A39B51F51224 Time : 0.0 sec. user=mdettweiler [2018-06-24 17:46:55] 635*2^1514262-1 is not prime. Res64: 3B825AAFD7B0C05A Time : 0.0 sec. user=mdettweiler [2018-06-24 17:46:56] 671*2^1514262-1 is not prime. Res64: D3E4AB9ECBEFA250 Time : 0.0 sec. user=mdettweiler [2018-06-24 17:46:56] 717*2^1514262-1 is not prime. Res64: EA52BCD55A8A7040 Time : 0.0 sec. user=mdettweiler [2018-06-24 17:46:56] 887*2^1514262-1 is not prime. Res64: BA7F3F082ED43462 Time : 0.0 sec. user=mdettweiler [2018-06-24 17:48:30] 609*2^1514263-1 is not prime. Res64: 26885E39EA9E615E Time : 0.0 sec. user=mdettweiler [2018-06-24 17:48:31] 703*2^1514263-1 is not prime. Res64: 55FF3869FBA18FAF Time : 0.0 sec. user=mdettweiler [2018-06-24 17:48:31] 745*2^1514263-1 is not prime. Res64: 76FF84C7D1248ED1 Time : 0.0 sec. user=mdettweiler [2018-06-24 17:48:31] 635*2^1514264-1 is not prime. Res64: 63643C990D1A9E6F Time : 0.0 sec. user=mdettweiler [2018-06-24 17:48:31] 767*2^1514264-1 is not prime. Res64: D8277C789F5C2202 Time : 0.0 sec. user=mdettweiler [2018-06-24 17:52:20] 869*2^1514264-1 is not prime. Res64: B65B67BC1114C07B Time : 0.0 sec. user=mdettweiler [2018-06-24 17:52:20] 903*2^1514264-1 is not prime. Res64: C6835584E07432F8 Time : 0.0 sec. user=mdettweiler [2018-06-24 17:52:20] 927*2^1514264-1 is not prime. Res64: 601CAFB2CB409BC0 Time : 0.0 sec. user=mdettweiler [2018-06-24 17:52:21] 625*2^1514265-1 is not prime. Res64: 4113FDF7E0018A0C Time : 0.0 sec. user=mdettweiler [2018-06-24 17:52:21] 751*2^1514265-1 is not prime. Res64: F623819FE7CFD3F1 Time : 0.0 sec. user=mdettweiler [2018-06-24 17:57:47] 789*2^1514265-1 is not prime. Res64: 132792B582F12DAD Time : 0.0 sec. user=mdettweiler [2018-06-24 17:57:48] 831*2^1514265-1 is not prime. Res64: 0382D0A6557DAB3E Time : 0.0 sec. user=mdettweiler [2018-06-24 17:57:48] 895*2^1514265-1 is not prime. Res64: 557B200367194E06 Time : 0.0 sec. user=mdettweiler [2018-06-24 17:57:48] 909*2^1514265-1 is not prime. Res64: 1B2DB4733113B158 Time : 0.0 sec. user=mdettweiler [2018-06-24 17:57:48] 919*2^1514265-1 is not prime. Res64: A94AD1A571B69962 Time : 0.0 sec. user=juhehe [2018-06-24 18:28:30] 951*2^1514265-1 is not prime. Res64: 5430B3F1A1C06A6B Time : 0.0 sec. user=mdettweiler [2018-06-24 18:39:08] 955*2^1514265-1 is not prime. Res64: FA34FB424140F199 Time : 0.0 sec. user=mdettweiler [2018-06-24 18:39:09] 999*2^1514265-1 is not prime. Res64: 631BE5CF76703032 Time : 0.0 sec. user=mdettweiler [2018-06-24 18:39:09] 603*2^1514266-1 is not prime. Res64: F148C3402F984802 Time : 0.0 sec. user=mdettweiler [2018-06-24 18:39:09] 737*2^1514266-1 is not prime. Res64: 9FC974F44B682551 Time : 0.0 sec. user=mdettweiler [2018-06-24 18:39:09] 747*2^1514266-1 is not prime. Res64: 02F1D28525D58A0B Time : 0.0 sec. user=mdettweiler [2018-06-24 18:39:18] 801*2^1514266-1 is not prime. Res64: 814AC64CAA678E24 Time : 0.0 sec. user=mdettweiler [2018-06-24 18:39:18] 983*2^1514266-1 is not prime. Res64: 01427D01D285E022 Time : 0.0 sec. user=mdettweiler [2018-06-24 18:39:18] 603*2^1514267-1 is not prime. Res64: 102BCCC0CA0417E7 Time : 0.0 sec. user=mdettweiler [2018-06-24 18:39:19] 663*2^1514267-1 is not prime. Res64: 84EFA51F8E769BDB Time : 0.0 sec. user=mdettweiler [2018-06-24 18:39:19] 883*2^1514267-1 is not prime. Res64: 7FCD59BA76D43E4B Time : 0.0 sec. user=mdettweiler [2018-06-24 18:43:16] 915*2^1514267-1 is not prime. Res64: 4B1616964BB14B7A Time : 0.0 sec. user=mdettweiler [2018-06-24 18:43:16] 945*2^1514267-1 is not prime. Res64: 5AA5E316A900AD08 Time : 0.0 sec. user=mdettweiler [2018-06-24 18:43:17] 633*2^1514268-1 is not prime. Res64: 2EE032BAFAAE51C3 Time : 0.0 sec. user=mdettweiler [2018-06-24 18:43:17] 705*2^1514268-1 is not prime. Res64: 43387EEE6DF5EBE7 Time : 0.0 sec. user=mdettweiler [2018-06-24 18:43:17] 777*2^1514268-1 is not prime. Res64: D76D35EDF7D240BE Time : 0.0 sec. user=mdettweiler [2018-06-24 18:49:16] 795*2^1514268-1 is not prime. Res64: 2B2D67BD5FAEE178 Time : 0.0 sec. user=mdettweiler [2018-06-24 18:49:17] 879*2^1514268-1 is not prime. Res64: DB7BF686C7D3627F Time : 0.0 sec. user=mdettweiler [2018-06-24 18:49:17] 915*2^1514268-1 is not prime. Res64: 40368791D03BFD5E Time : 0.0 sec. user=mdettweiler [2018-06-24 18:49:17] 927*2^1514268-1 is not prime. Res64: 26739A4863232CAD Time : 0.0 sec. user=mdettweiler [2018-06-24 18:49:17] 969*2^1514268-1 is not prime. Res64: C7D0895FF7411E57 Time : 0.0 sec. user=juhehe [2018-06-24 19:04:11] 601*2^1514269-1 is not prime. Res64: 225D4E993608692B Time : 0.0 sec. user=mdettweiler [2018-06-24 19:30:18] 801*2^1514269-1 is not prime. Res64: B0ADCE6C917ABB5A Time : 0.0 sec. user=mdettweiler [2018-06-24 19:30:19] 819*2^1514269-1 is not prime. Res64: 97B25F53CFE4C17E Time : 0.0 sec. user=mdettweiler [2018-06-24 19:30:19] 829*2^1514269-1 is not prime. Res64: D1CC00BD6945D189 Time : 0.0 sec. user=mdettweiler [2018-06-24 19:30:19] 919*2^1514269-1 is not prime. Res64: 11BC0CF5D49040FE Time : 0.0 sec. user=mdettweiler [2018-06-24 19:30:20] 951*2^1514269-1 is not prime. Res64: D19BB3753695CCE8 Time : 0.0 sec. user=mdettweiler [2018-06-24 19:30:36] 713*2^1514270-1 is not prime. Res64: 40013DFF3598D340 Time : 0.0 sec. user=mdettweiler [2018-06-24 19:30:37] 717*2^1514270-1 is not prime. Res64: DC548EF46B4D23DC Time : 0.0 sec. user=mdettweiler [2018-06-24 19:30:37] 755*2^1514270-1 is not prime. Res64: 4F3DBD2A2FC8F862 Time : 0.0 sec. user=mdettweiler [2018-06-24 19:30:37] 887*2^1514270-1 is not prime. Res64: 7B7D47B549BA3BD9 Time : 0.0 sec. user=mdettweiler [2018-06-24 19:30:37] 893*2^1514270-1 is not prime. Res64: 21492D926C75DAE9 Time : 0.0 sec. user=mdettweiler [2018-06-24 19:34:04] 941*2^1514270-1 is not prime. Res64: CEBCC6F03767AC6B Time : 0.0 sec. user=mdettweiler [2018-06-24 19:34:04] 621*2^1514271-1 is not prime. Res64: 21419D14CC747C7A Time : 0.0 sec. user=mdettweiler [2018-06-24 19:34:04] 741*2^1514271-1 is not prime. Res64: 5414DB1FCB5B1081 Time : 0.0 sec. user=mdettweiler [2018-06-24 19:34:05] 873*2^1514271-1 is not prime. Res64: 7CBBD3E9318A5B52 Time : 0.0 sec. user=mdettweiler [2018-06-24 19:34:05] 759*2^1514272-1 is not prime. Res64: 98114078E07A47D9 Time : 0.0 sec. user=mdettweiler [2018-06-24 19:40:19] 797*2^1514272-1 is not prime. Res64: 5FC066F9F94B84F3 Time : 0.0 sec. user=mdettweiler [2018-06-24 19:40:19] 855*2^1514272-1 is not prime. Res64: 9FF1644E1E41D519 Time : 0.0 sec. user=mdettweiler [2018-06-24 19:40:19] 903*2^1514272-1 is not prime. Res64: 63DF842E8F85C171 Time : 0.0 sec. user=mdettweiler [2018-06-24 19:40:20] 923*2^1514272-1 is not prime. Res64: 891C94073F5E525A Time : 0.0 sec. user=mdettweiler [2018-06-24 19:40:20] 933*2^1514272-1 is not prime. Res64: DDB35C1C0F312198 Time : 0.0 sec. user=juhehe [2018-06-24 19:49:31] 983*2^1514272-1 is not prime. Res64: 1E48C2A0A8805206 Time : 0.0 sec. user=mdettweiler [2018-06-24 20:21:28] 861*2^1514273-1 is not prime. Res64: 1D78DBFE81A48C2D Time : 0.0 sec. user=mdettweiler [2018-06-24 20:21:29] 651*2^1514274-1 is not prime. Res64: 8BD6BDC5922BD2B4 Time : 0.0 sec. user=mdettweiler [2018-06-24 20:21:29] 671*2^1514274-1 is not prime. Res64: 0072DF9A0FB5EB0B Time : 0.0 sec. user=mdettweiler [2018-06-24 20:21:29] 705*2^1514274-1 is not prime. Res64: 7F733F41604B64B7 Time : 0.0 sec. user=mdettweiler [2018-06-24 20:21:29] 755*2^1514274-1 is not prime. Res64: AE15212487838E34 Time : 0.0 sec. user=mdettweiler [2018-06-24 20:21:33] 999*2^1514272-1 is not prime. Res64: 8A7EAE025D0B9D34 Time : 0.0 sec. user=mdettweiler [2018-06-24 20:21:34] 715*2^1514273-1 is not prime. Res64: 595407F5AD1DDC31 Time : 0.0 sec. user=mdettweiler [2018-06-24 20:21:34] 729*2^1514273-1 is not prime. Res64: 71916F32C8878F03 Time : 0.0 sec. user=mdettweiler [2018-06-24 20:21:34] 831*2^1514273-1 is not prime. Res64: 4AAC55B40E0FAC04 Time : 0.0 sec. user=mdettweiler [2018-06-24 20:21:35] 847*2^1514273-1 is not prime. Res64: 8C962486EFA16E14 Time : 0.0 sec. user=mdettweiler [2018-06-24 20:25:14] 837*2^1514274-1 is not prime. Res64: 3818F4B0E0C591F7 Time : 0.0 sec. user=mdettweiler [2018-06-24 20:25:14] 861*2^1514274-1 is not prime. Res64: 90B26AC588C70C5F Time : 0.0 sec. user=mdettweiler [2018-06-24 20:25:15] 903*2^1514274-1 is not prime. Res64: BF7FDAF5E9D5C5DD Time : 0.0 sec. user=mdettweiler [2018-06-24 20:25:15] 945*2^1514274-1 is not prime. Res64: 3CC5FB52C36BDDD4 Time : 0.0 sec. user=mdettweiler [2018-06-24 20:25:15] 947*2^1514274-1 is not prime. Res64: 4D4CE3BA78ED5526 Time : 0.0 sec. user=mdettweiler [2018-06-24 20:31:34] 975*2^1514274-1 is not prime. Res64: 70A9C3389F41AAA4 Time : 0.0 sec. user=mdettweiler [2018-06-24 20:31:34] 993*2^1514274-1 is not prime. Res64: 2873CA0EC39B40CC Time : 0.0 sec. user=mdettweiler [2018-06-24 20:31:34] 691*2^1514275-1 is not prime. Res64: 27D32D6E06111B8D Time : 0.0 sec. user=mdettweiler [2018-06-24 20:31:34] 789*2^1514275-1 is not prime. Res64: 3B0AA092E1E399F3 Time : 0.0 sec. user=mdettweiler [2018-06-24 20:31:35] 883*2^1514275-1 is not prime. Res64: F7F98EBA9F5492DC Time : 0.0 sec. user=juhehe [2018-06-24 20:34:49] 885*2^1514275-1 is not prime. Res64: 94D71517F03F539A Time : 0.0 sec. user=mdettweiler [2018-06-24 21:12:18] 707*2^1514276-1 is not prime. Res64: 2D55E4C8B66CA1DB Time : 0.0 sec. user=mdettweiler [2018-06-24 21:12:18] 803*2^1514276-1 is not prime. Res64: C4B4A95C63880DEC Time : 0.0 sec. user=mdettweiler [2018-06-24 21:12:19] 839*2^1514276-1 is not prime. Res64: 0147296653220486 Time : 0.0 sec. user=mdettweiler [2018-06-24 21:12:19] 621*2^1514277-1 is not prime. Res64: AF59E46D011E3881 Time : 0.0 sec. user=mdettweiler [2018-06-24 21:12:19] 627*2^1514277-1 is not prime. Res64: 1B7B69FE3EE85119 Time : 0.0 sec. user=mdettweiler [2018-06-24 21:12:32] 891*2^1514275-1 is not prime. Res64: B0DB88C192850198 Time : 0.0 sec. user=mdettweiler [2018-06-24 21:12:33] 925*2^1514275-1 is not prime. Res64: 6D31A151ADED431C Time : 0.0 sec. user=mdettweiler [2018-06-24 21:12:33] 939*2^1514275-1 is not prime. Res64: DD084E65D6F59666 Time : 0.0 sec. user=mdettweiler [2018-06-24 21:12:33] 999*2^1514275-1 is not prime. Res64: A9757963008B0544 Time : 0.0 sec. user=mdettweiler [2018-06-24 21:12:33] 617*2^1514276-1 is not prime. Res64: AF4F332A1BF4187C Time : 0.0 sec. user=mdettweiler [2018-06-24 21:15:52] 639*2^1514277-1 is not prime. Res64: 6D1F439C2C3C30FD Time : 0.0 sec. user=mdettweiler [2018-06-24 21:15:52] 685*2^1514277-1 is not prime. Res64: 64638C758AC4A677 Time : 0.0 sec. user=mdettweiler [2018-06-24 21:15:52] 955*2^1514277-1 is not prime. Res64: EF7154E7777A15A6 Time : 0.0 sec. user=mdettweiler [2018-06-24 21:15:53] 979*2^1514277-1 is not prime. Res64: 9CD1EB0D18CCA63A Time : 0.0 sec. user=mdettweiler [2018-06-24 21:15:53] 603*2^1514278-1 is not prime. Res64: E5278BDE063F94F4 Time : 0.0 sec. user=juhehe [2018-06-24 21:20:02] 951*2^1514278-1 is not prime. Res64: 331E1C3597921718 Time : 0.0 sec. user=mdettweiler [2018-06-24 21:23:02] 671*2^1514278-1 is not prime. Res64: EBDE070EB1F71951 Time : 0.0 sec. user=mdettweiler [2018-06-24 21:23:03] 677*2^1514278-1 is not prime. Res64: 0F10F11A73A7E3C8 Time : 0.0 sec. user=mdettweiler [2018-06-24 21:23:03] 705*2^1514278-1 is not prime. Res64: E4286BE7923B9382 Time : 0.0 sec. user=mdettweiler [2018-06-24 21:23:03] 723*2^1514278-1 is not prime. Res64: 4816E0F50C173373 Time : 0.0 sec. user=mdettweiler [2018-06-24 21:23:03] 813*2^1514278-1 is not prime. Res64: 2A9BA4AA04A369C4 Time : 0.0 sec. user=mdettweiler [2018-06-24 22:03:08] 981*2^1514278-1 is not prime. Res64: E6A564FA0B0635F4 Time : 0.0 sec. user=mdettweiler [2018-06-24 22:03:09] 993*2^1514278-1 is not prime. Res64: 930C100C8224EE79 Time : 0.0 sec. user=mdettweiler [2018-06-24 22:03:10] 615*2^1514279-1 is not prime. Res64: 89FF476505E14476 Time : 0.0 sec. user=mdettweiler [2018-06-24 22:03:11] 693*2^1514279-1 is not prime. Res64: 440FD9C81F5CA709 Time : 0.0 sec. user=mdettweiler [2018-06-24 22:03:11] 703*2^1514279-1 is not prime. Res64: C36E3E245F35D859 Time : 0.0 sec. user=mdettweiler [2018-06-24 22:03:23] 759*2^1514279-1 is not prime. Res64: E67E01F1C3DE0E08 Time : 0.0 sec. user=mdettweiler [2018-06-24 22:03:24] 909*2^1514279-1 is not prime. Res64: 7C2980180EFFD92F Time : 0.0 sec. user=mdettweiler [2018-06-24 22:03:25] 973*2^1514279-1 is not prime. Res64: A104E85E583AE6CA Time : 0.0 sec. user=mdettweiler [2018-06-24 22:03:26] 629*2^1514280-1 is not prime. Res64: EE8FFD1E8AD394D4 Time : 0.0 sec. user=mdettweiler [2018-06-24 22:03:28] 753*2^1514280-1 is not prime. Res64: A4ABB28ABF33B803 Time : 0.0 sec. user=juhehe [2018-06-24 22:05:24] 741*2^1514281-1 is not prime. Res64: 32C38CB355418F9B Time : 0.0 sec. user=mdettweiler [2018-06-24 22:07:16] 765*2^1514280-1 is not prime. Res64: E309D9FF5F192C40 Time : 0.0 sec. user=mdettweiler [2018-06-24 22:07:17] 773*2^1514280-1 is not prime. Res64: 2B23FEDA028564EE Time : 0.0 sec. user=mdettweiler [2018-06-24 22:07:18] 803*2^1514280-1 is not prime. Res64: B14702A5BFBD1A28 Time : 0.0 sec. user=mdettweiler [2018-06-24 22:07:19] 819*2^1514280-1 is not prime. Res64: 3913911661909500 Time : 0.0 sec. user=mdettweiler [2018-06-24 22:07:21] 879*2^1514280-1 is not prime. Res64: 690E02C483B9C9AF Time : 0.0 sec. user=mdettweiler [2018-06-24 22:13:25] 951*2^1514281-1 is not prime. Res64: 575E5A108D53691C Time : 0.0 sec. user=mdettweiler [2018-06-24 22:13:26] 627*2^1514282-1 is not prime. Res64: 76143D60710B815C Time : 0.0 sec. user=mdettweiler [2018-06-24 22:13:26] 657*2^1514282-1 is not prime. Res64: E4B16923F34AE94C Time : 0.0 sec. user=mdettweiler [2018-06-24 22:13:27] 705*2^1514282-1 is not prime. Res64: E576406CE4C5990D Time : 0.0 sec. user=mdettweiler [2018-06-24 22:13:27] 801*2^1514282-1 is not prime. Res64: 862DAD8415799A43 Time : 0.0 sec. user=juhehe [2018-06-24 22:50:43] 687*2^1514284-1 is not prime. Res64: 4C04150EDE073F69 Time : 0.0 sec. user=mdettweiler [2018-06-24 22:54:19] 957*2^1514282-1 is not prime. Res64: A65CCD54124F77FC Time : 0.0 sec. user=mdettweiler [2018-06-24 22:54:19] 613*2^1514283-1 is not prime. Res64: 27F9886697F299EE Time : 0.0 sec. user=mdettweiler [2018-06-24 22:54:19] 735*2^1514283-1 is not prime. Res64: 24D45B2C8C8430EE Time : 0.0 sec. user=mdettweiler [2018-06-24 22:54:20] 781*2^1514283-1 is not prime. Res64: 1FA695B84D660BDF Time : 0.0 sec. user=mdettweiler [2018-06-24 22:54:20] 801*2^1514283-1 is not prime. Res64: 279B99CA2CACC41D Time : 0.0 sec. user=mdettweiler [2018-06-24 22:54:44] 835*2^1514283-1 is not prime. Res64: 9E639683B8BA688B Time : 0.0 sec. user=mdettweiler [2018-06-24 22:54:44] 849*2^1514283-1 is not prime. Res64: B042BAB5A58BC109 Time : 0.0 sec. user=mdettweiler [2018-06-24 22:54:44] 891*2^1514283-1 is not prime. Res64: B95BA7A6E7B3BF6D Time : 0.0 sec. user=mdettweiler [2018-06-24 22:54:45] 945*2^1514283-1 is not prime. Res64: 4CD6CEAD8960C0F2 Time : 0.0 sec. user=mdettweiler [2018-06-24 22:54:45] 963*2^1514283-1 is not prime. Res64: 1FD096FD87E52DF5 Time : 0.0 sec. user=mdettweiler [2018-06-24 22:58:20] 749*2^1514284-1 is not prime. Res64: 28405121A054EBB4 Time : 0.0 sec. user=mdettweiler [2018-06-24 22:58:20] 827*2^1514284-1 is not prime. Res64: 60264E4C393E708F Time : 0.0 sec. user=mdettweiler [2018-06-24 22:58:21] 855*2^1514284-1 is not prime. Res64: 4D825EFAF11C8F49 Time : 0.0 sec. user=mdettweiler [2018-06-24 22:58:21] 875*2^1514284-1 is not prime. Res64: 2E10A00D15357320 Time : 0.0 sec. user=mdettweiler [2018-06-24 22:58:21] 909*2^1514284-1 is not prime. Res64: A4754475E18400B2 Time : 0.0 sec. user=mdettweiler [2018-06-24 23:04:59] 939*2^1514284-1 is not prime. Res64: DAA9ECC207F79A03 Time : 0.0 sec. user=mdettweiler [2018-06-24 23:05:01] 657*2^1514285-1 is not prime. Res64: A2AFAE9419124300 Time : 0.0 sec. user=mdettweiler [2018-06-24 23:05:02] 675*2^1514285-1 is not prime. Res64: A0D1D0A2AA157F6A Time : 0.0 sec. user=mdettweiler [2018-06-24 23:05:03] 717*2^1514285-1 is not prime. Res64: 162FC10E211C29A3 Time : 0.0 sec. user=mdettweiler [2018-06-24 23:05:04] 795*2^1514285-1 is not prime. Res64: 2E90068E70109A19 Time : 0.0 sec. user=juhehe [2018-06-24 23:35:58] 799*2^1514285-1 is not prime. Res64: E09FBD3CD7BA3FD5 Time : 0.0 sec. user=mdettweiler [2018-06-24 23:46:02] 825*2^1514286-1 is not prime. Res64: 39BDEBDA735905CC Time : 0.0 sec. user=mdettweiler [2018-06-24 23:46:03] 881*2^1514286-1 is not prime. Res64: 81642B9E8F605597 Time : 0.0 sec. user=mdettweiler [2018-06-24 23:46:03] 957*2^1514286-1 is not prime. Res64: 3E4E35E97BED3DEC Time : 0.0 sec. user=mdettweiler [2018-06-24 23:46:04] 983*2^1514286-1 is not prime. Res64: 23B088D65A4D874E Time : 0.0 sec. user=mdettweiler [2018-06-24 23:46:04] 651*2^1514287-1 is not prime. Res64: 468EE60D51D8DF93 Time : 0.0 sec. user=mdettweiler [2018-06-24 23:46:07] 885*2^1514285-1 is not prime. Res64: F747601327A7B933 Time : 0.0 sec. user=mdettweiler [2018-06-24 23:46:07] 889*2^1514285-1 is not prime. Res64: 85CE5C9414D6D9BB Time : 0.0 sec. user=mdettweiler [2018-06-24 23:46:08] 957*2^1514285-1 is not prime. Res64: 1381D446AB866104 Time : 0.0 sec. user=mdettweiler [2018-06-24 23:46:08] 991*2^1514285-1 is not prime. Res64: 843657176C632CB2 Time : 0.0 sec. user=mdettweiler [2018-06-24 23:46:08] 815*2^1514286-1 is not prime. Res64: 1242F5F9A409398A Time : 0.0 sec. user=mdettweiler [2018-06-24 23:49:10] 759*2^1514287-1 is not prime. Res64: 475A420A8E13AAFA Time : 0.0 sec. user=mdettweiler [2018-06-24 23:49:10] 603*2^1514288-1 is not prime. Res64: 51096F7146B61B01 Time : 0.0 sec. user=mdettweiler [2018-06-24 23:49:11] 615*2^1514288-1 is not prime. Res64: 2E4940743713040D Time : 0.0 sec. user=mdettweiler [2018-06-24 23:49:11] 663*2^1514288-1 is not prime. Res64: DEED4B9E055799B8 Time : 0.0 sec. user=mdettweiler [2018-06-24 23:49:11] 677*2^1514288-1 is not prime. Res64: C180292AD9BCAE8D Time : 0.0 sec. user=mdettweiler [2018-06-24 23:56:59] 773*2^1514288-1 is not prime. Res64: A41DF13E865AE0CF Time : 0.0 sec. user=mdettweiler [2018-06-24 23:56:59] 789*2^1514288-1 is not prime. Res64: A5973A6499DF690D Time : 0.0 sec. user=mdettweiler [2018-06-24 23:56:59] 843*2^1514288-1 is not prime. Res64: 64CAB044EE77251A Time : 0.0 sec. user=mdettweiler [2018-06-24 23:57:00] 867*2^1514288-1 is not prime. Res64: 613ABE988B330E36 Time : 0.0 sec. user=mdettweiler [2018-06-24 23:57:00] 893*2^1514288-1 is not prime. Res64: 701B84BA14C096F9 Time : 0.0 sec.