user=mdettweiler [2016-06-28 00:02:27] 635*2^1433710-1 is not prime. Res64: 2339A8DCD6D7C41F Time : 0.0 sec. user=mdettweiler [2016-06-28 00:02:29] 657*2^1433710-1 is not prime. Res64: E203B7550A918C11 Time : 0.0 sec. user=mdettweiler [2016-06-28 00:02:29] 665*2^1433710-1 is not prime. Res64: 58ADAF063F098A8E Time : 0.0 sec. user=mdettweiler [2016-06-28 00:02:30] 681*2^1433710-1 is not prime. Res64: E1DF9732B1CD0A81 Time : 0.0 sec. user=mdettweiler [2016-06-28 00:02:31] 723*2^1433710-1 is not prime. Res64: 4AED5016555DBBE2 Time : 0.0 sec. user=mdettweiler [2016-06-28 00:04:57] 747*2^1433710-1 is not prime. Res64: 5572E06CF5824746 Time : 0.0 sec. user=mdettweiler [2016-06-28 00:04:59] 765*2^1433710-1 is not prime. Res64: 9A6345D906F88668 Time : 0.0 sec. user=mdettweiler [2016-06-28 00:05:00] 827*2^1433710-1 is not prime. Res64: 399374ABFE257FD4 Time : 0.0 sec. user=mdettweiler [2016-06-28 00:05:01] 601*2^1433711-1 is not prime. Res64: 864D0CA30FD34E01 Time : 0.0 sec. user=mdettweiler [2016-06-28 00:05:02] 619*2^1433711-1 is not prime. Res64: 03E9B59DB062BAAF Time : 0.0 sec. user=mdettweiler [2016-06-28 00:32:20] 645*2^1433711-1 is not prime. Res64: 9FE6661154B4E1F8 Time : 0.0 sec. user=mdettweiler [2016-06-28 00:32:21] 759*2^1433711-1 is not prime. Res64: E247CCCD0554A580 Time : 0.0 sec. user=mdettweiler [2016-06-28 00:32:21] 783*2^1433711-1 is not prime. Res64: 2EDE1AAFDE117F16 Time : 0.0 sec. user=mdettweiler [2016-06-28 00:32:22] 969*2^1433711-1 is not prime. Res64: DDAAD6A1C1FBC723 Time : 0.0 sec. user=mdettweiler [2016-06-28 00:32:22] 759*2^1433712-1 is not prime. Res64: 21B185CC40BB19DC Time : 0.0 sec. user=mdettweiler [2016-06-28 00:43:40] 779*2^1433712-1 is not prime. Res64: 2116DA7BB79D2276 Time : 0.0 sec. user=mdettweiler [2016-06-28 00:43:41] 797*2^1433712-1 is not prime. Res64: 893E9E42E40E1FE1 Time : 0.0 sec. user=mdettweiler [2016-06-28 00:43:41] 903*2^1433712-1 is not prime. Res64: FD28035DD56AC985 Time : 0.0 sec. user=mdettweiler [2016-06-28 00:43:42] 959*2^1433712-1 is not prime. Res64: 4415526EFAF498A0 Time : 0.0 sec. user=mdettweiler [2016-06-28 00:43:42] 705*2^1433713-1 is not prime. Res64: 29C3DAFDF4BEAF7E Time : 0.0 sec. user=mdettweiler [2016-06-28 00:47:27] 721*2^1433713-1 is not prime. Res64: 5B4300BCB19C6870 Time : 0.0 sec. user=mdettweiler [2016-06-28 00:47:31] 727*2^1433713-1 is not prime. Res64: 172C6CED21B7B3B2 Time : 0.0 sec. user=mdettweiler [2016-06-28 00:47:35] 807*2^1433713-1 is not prime. Res64: C78354A3AD70166D Time : 0.0 sec. user=mdettweiler [2016-06-28 00:47:41] 831*2^1433713-1 is not prime. Res64: 82A92C586DD91CEA Time : 0.0 sec. user=mdettweiler [2016-06-28 00:47:47] 867*2^1433713-1 is not prime. Res64: 39BA04834B284E9F Time : 0.0 sec. user=mdettweiler [2016-06-28 00:50:03] 623*2^1433714-1 is not prime. Res64: 1D6D891BE6865B6C Time : 0.0 sec. user=mdettweiler [2016-06-28 00:50:09] 701*2^1433714-1 is not prime. Res64: A0E9E66243EBEB4D Time : 0.0 sec. user=mdettweiler [2016-06-28 00:50:15] 705*2^1433714-1 is not prime. Res64: E2DB39D8CF9A0E46 Time : 0.0 sec. user=mdettweiler [2016-06-28 00:50:21] 783*2^1433714-1 is not prime. Res64: 430C3F2846AF285D Time : 0.0 sec. user=mdettweiler [2016-06-28 00:50:27] 915*2^1433714-1 is not prime. Res64: E4BBCC12304D47CB Time : 0.0 sec. user=mdettweiler [2016-06-28 01:17:04] 735*2^1433715-1 is not prime. Res64: 8F01D36E7432BA4A Time : 0.0 sec. user=mdettweiler [2016-06-28 01:17:04] 741*2^1433715-1 is not prime. Res64: AAEFCE4FA0474F3B Time : 0.0 sec. user=mdettweiler [2016-06-28 01:17:05] 781*2^1433715-1 is not prime. Res64: 77434449B4F8757B Time : 0.0 sec. user=mdettweiler [2016-06-28 01:17:05] 853*2^1433715-1 is not prime. Res64: 53B29666E82DE459 Time : 0.0 sec. user=mdettweiler [2016-06-28 01:17:06] 871*2^1433715-1 is not prime. Res64: AE148B84997BD860 Time : 0.0 sec. user=mdettweiler [2016-06-28 01:28:32] 885*2^1433715-1 is not prime. Res64: E2CA025BE3B10329 Time : 0.0 sec. user=mdettweiler [2016-06-28 01:28:42] 675*2^1433716-1 is not prime. Res64: E5F58ADFF29C802D Time : 0.0 sec. user=mdettweiler [2016-06-28 01:28:49] 719*2^1433716-1 is not prime. Res64: 98C29B629CB80B6D Time : 0.0 sec. user=mdettweiler [2016-06-28 01:28:56] 903*2^1433716-1 is not prime. Res64: 75BE21E9E01EC5D1 Time : 0.0 sec. user=mdettweiler [2016-06-28 01:29:03] 927*2^1433716-1 is not prime. Res64: 8D679914034CCED0 Time : 0.0 sec. user=mdettweiler [2016-06-28 01:32:48] 601*2^1433717-1 is not prime. Res64: D74014D9156317DC Time : 0.0 sec. user=mdettweiler [2016-06-28 01:32:54] 829*2^1433717-1 is not prime. Res64: 13AA6E8D748C4798 Time : 0.0 sec. user=mdettweiler [2016-06-28 01:32:58] 837*2^1433717-1 is not prime. Res64: 86D6161F756D5FD3 Time : 0.0 sec. user=mdettweiler [2016-06-28 01:33:03] 847*2^1433717-1 is not prime. Res64: 6617A5AE4FD2893F Time : 0.0 sec. user=mdettweiler [2016-06-28 01:33:07] 867*2^1433717-1 is not prime. Res64: AEB7CC48B7D3BBDA Time : 0.0 sec. user=mdettweiler [2016-06-28 01:35:27] 915*2^1433717-1 is not prime. Res64: 36694B9EAA26AA87 Time : 0.0 sec. user=mdettweiler [2016-06-28 01:35:31] 605*2^1433718-1 is not prime. Res64: BC20A0AC489D5510 Time : 0.0 sec. user=mdettweiler [2016-06-28 01:35:35] 657*2^1433718-1 is not prime. Res64: 5A45B47B5A74D169 Time : 0.0 sec. user=mdettweiler [2016-06-28 01:35:39] 677*2^1433718-1 is not prime. Res64: 03E25C02330FCF76 Time : 0.0 sec. user=mdettweiler [2016-06-28 01:35:43] 683*2^1433718-1 is not prime. Res64: 4517F40053B253FB Time : 0.0 sec. user=mdettweiler [2016-06-28 02:01:56] 825*2^1433718-1 is not prime. Res64: B61123788E10FBA9 Time : 0.0 sec. user=mdettweiler [2016-06-28 02:02:00] 927*2^1433718-1 is not prime. Res64: 0C60281EF2A86D5C Time : 0.0 sec. user=mdettweiler [2016-06-28 02:02:05] 957*2^1433718-1 is not prime. Res64: 8FBA49D15E06E77F Time : 0.0 sec. user=mdettweiler [2016-06-28 02:02:09] 1001*2^1433718-1 is not prime. Res64: E66C2203A514692E Time : 0.0 sec. user=mdettweiler [2016-06-28 02:02:14] 639*2^1433719-1 is not prime. Res64: 2B86951DBD665ABD Time : 0.0 sec. user=mdettweiler [2016-06-28 02:14:42] 723*2^1433719-1 is not prime. Res64: A7F61DDD3BC6929E Time : 0.0 sec. user=mdettweiler [2016-06-28 02:17:56] 845*2^1433720-1 is not prime. Res64: 054C19EA39476D93 Time : 0.0 sec. user=mdettweiler [2016-06-28 02:17:56] 649*2^1433721-1 is not prime. Res64: 6710340F279FDB7B Time : 0.0 sec. user=mdettweiler [2016-06-28 02:17:57] 675*2^1433721-1 is not prime. Res64: BEA0DAB8C3785601 Time : 0.0 sec. user=mdettweiler [2016-06-28 02:17:57] 681*2^1433721-1 is not prime. Res64: C924A6C30DD9D6C8 Time : 0.0 sec. user=mdettweiler [2016-06-28 02:17:57] 711*2^1433721-1 is not prime. Res64: 3A8020E8CBF0B488 Time : 0.0 sec. user=mdettweiler [2016-06-28 02:20:47] 807*2^1433721-1 is not prime. Res64: 9BA5AB2F3C9E1689 Time : 0.0 sec. user=mdettweiler [2016-06-28 02:20:48] 861*2^1433721-1 is not prime. Res64: 5AEF58AE82974345 Time : 0.0 sec. user=mdettweiler [2016-06-28 02:20:48] 895*2^1433721-1 is not prime. Res64: 507B4F36F3B92151 Time : 0.0 sec. user=mdettweiler [2016-06-28 02:20:49] 645*2^1433722-1 is not prime. Res64: DECDA53966874DEF Time : 0.0 sec. user=mdettweiler [2016-06-28 02:20:49] 777*2^1433722-1 is not prime. Res64: 0A142647C3FF9097 Time : 0.0 sec. user=mdettweiler [2016-06-28 02:47:37] 915*2^1433722-1 is not prime. Res64: C312CCE88FB6BDEE Time : 0.0 sec. user=mdettweiler [2016-06-28 02:47:41] 917*2^1433722-1 is not prime. Res64: E601DAF05DE07100 Time : 0.0 sec. user=mdettweiler [2016-06-28 02:47:46] 693*2^1433723-1 is not prime. Res64: 1B8CF96338FC831D Time : 0.0 sec. user=mdettweiler [2016-06-28 02:47:50] 699*2^1433723-1 is not prime. Res64: CF2108B2D6AE5764 Time : 0.0 sec. user=mdettweiler [2016-06-28 02:47:54] 789*2^1433723-1 is not prime. Res64: 9C911331C6187311 Time : 0.0 sec. user=mdettweiler [2016-06-28 03:03:49] 913*2^1433723-1 is not prime. Res64: 99768EFE0BBC595C Time : 0.0 sec. user=mdettweiler [2016-06-28 03:03:50] 993*2^1433723-1 is not prime. Res64: AB16E54C65139B83 Time : 0.0 sec. user=mdettweiler [2016-06-28 03:03:51] 623*2^1433724-1 is not prime. Res64: 83AA82370A9CC875 Time : 0.0 sec. user=mdettweiler [2016-06-28 03:03:52] 765*2^1433724-1 is not prime. Res64: 594123CFD8514B30 Time : 0.0 sec. user=mdettweiler [2016-06-28 03:03:53] 887*2^1433724-1 is not prime. Res64: F7BCF7BB1EB76999 Time : 0.0 sec. user=mdettweiler [2016-06-28 03:06:17] 945*2^1433724-1 is not prime. Res64: 6B89F545404DF257 Time : 0.0 sec. user=mdettweiler [2016-06-28 03:06:19] 609*2^1433725-1 is not prime. Res64: D0A40DFF3A06CD4B Time : 0.0 sec. user=mdettweiler [2016-06-28 03:06:20] 685*2^1433725-1 is not prime. Res64: E44925063AF2E7E3 Time : 0.0 sec. user=mdettweiler [2016-06-28 03:06:21] 721*2^1433725-1 is not prime. Res64: 6EBFD2E96791A8C4 Time : 0.0 sec. user=mdettweiler [2016-06-28 03:06:22] 727*2^1433725-1 is not prime. Res64: 2C73EEF45F5BF875 Time : 0.0 sec. user=mdettweiler [2016-06-28 03:33:42] 751*2^1433725-1 is not prime. Res64: 9BA5D692E3FBD1ED Time : 0.0 sec. user=mdettweiler [2016-06-28 03:33:43] 801*2^1433725-1 is not prime. Res64: 8E768E7330F7B30B Time : 0.0 sec. user=mdettweiler [2016-06-28 03:33:45] 831*2^1433725-1 is not prime. Res64: CD197971216471A2 Time : 0.0 sec. user=mdettweiler [2016-06-28 03:33:46] 925*2^1433725-1 is not prime. Res64: F6E62A2841B379F9 Time : 0.0 sec. user=mdettweiler [2016-06-28 03:33:47] 683*2^1433726-1 is not prime. Res64: BE751C0BB1DDDE3B Time : 0.0 sec. user=mdettweiler [2016-06-28 03:49:39] 705*2^1433726-1 is not prime. Res64: E3C6AB9D18CAA48F Time : 0.0 sec. user=mdettweiler [2016-06-28 03:49:43] 741*2^1433726-1 is not prime. Res64: 085DA57C72C1A420 Time : 0.0 sec. user=mdettweiler [2016-06-28 03:49:44] 761*2^1433726-1 is not prime. Res64: 2C24EB236F8D3616 Time : 0.0 sec. user=mdettweiler [2016-06-28 03:49:48] 857*2^1433726-1 is not prime. Res64: DF1A1F6EB214880B Time : 0.0 sec. user=mdettweiler [2016-06-28 03:49:53] 963*2^1433726-1 is not prime. Res64: A8A825453CC5ACEA Time : 0.0 sec. user=mdettweiler [2016-06-28 03:52:01] 609*2^1433727-1 is not prime. Res64: EC657A424CA8C52C Time : 0.0 sec. user=mdettweiler [2016-06-28 03:52:02] 651*2^1433727-1 is not prime. Res64: 237B5F225BDE06D6 Time : 0.0 sec. user=mdettweiler [2016-06-28 03:52:06] 703*2^1433727-1 is not prime. Res64: 3E0E2498E00FFD64 Time : 0.0 sec. user=mdettweiler [2016-06-28 03:52:10] 819*2^1433727-1 is not prime. Res64: 9247A911C5BD24FD Time : 0.0 sec. user=mdettweiler [2016-06-28 03:52:15] 933*2^1433727-1 is not prime. Res64: C9B5B252E0B849AE Time : 0.0 sec. user=mdettweiler [2016-06-28 04:19:25] 951*2^1433727-1 is not prime. Res64: B4FE025DAB9B77BE Time : 0.0 sec. user=mdettweiler [2016-06-28 04:19:25] 605*2^1433728-1 is not prime. Res64: 4C807E703D6D4222 Time : 0.0 sec. user=mdettweiler [2016-06-28 04:19:26] 635*2^1433728-1 is not prime. Res64: 30E139C347E3CA17 Time : 0.0 sec. user=mdettweiler [2016-06-28 04:19:26] 755*2^1433728-1 is not prime. Res64: 6A9833AAB79B93A7 Time : 0.0 sec. user=mdettweiler [2016-06-28 04:19:26] 825*2^1433728-1 is not prime. Res64: D25F7F19FA5D97EC Time : 0.0 sec. user=mdettweiler [2016-06-28 04:35:29] 863*2^1433728-1 is not prime. Res64: 3D532185396572BB Time : 0.0 sec. user=mdettweiler [2016-06-28 04:35:35] 969*2^1433728-1 is not prime. Res64: 1CA3E038DFBA1C77 Time : 0.0 sec. user=mdettweiler [2016-06-28 04:35:41] 649*2^1433729-1 is not prime. Res64: E5DCF3337DE7649F Time : 0.0 sec. user=mdettweiler [2016-06-28 04:35:48] 697*2^1433729-1 is not prime. Res64: FA5DBDD1ED70ECC1 Time : 0.0 sec. user=mdettweiler [2016-06-28 04:35:54] 847*2^1433729-1 is not prime. Res64: AD3E270EE5791330 Time : 0.0 sec. user=mdettweiler [2016-06-28 04:37:52] 861*2^1433729-1 is not prime. Res64: B1FA5314348BD978 Time : 0.0 sec. user=mdettweiler [2016-06-28 04:37:58] 879*2^1433729-1 is not prime. Res64: ED17555D32006B01 Time : 0.0 sec. user=mdettweiler [2016-06-28 04:38:04] 969*2^1433729-1 is not prime. Res64: 356F9A5523A00B00 Time : 0.0 sec. user=mdettweiler [2016-06-28 04:38:04] 985*2^1433729-1 is not prime. Res64: ADF2197D2D709028 Time : 0.0 sec. user=mdettweiler [2016-06-28 04:38:10] 665*2^1433730-1 is not prime. Res64: A8F4336375278766 Time : 0.0 sec. user=mdettweiler [2016-06-28 05:14:06] 853*2^1433719-1 is not prime. Res64: 077DF98BF82EE08D Time : 0.0 sec. user=mdettweiler [2016-06-28 05:14:10] 629*2^1433720-1 is not prime. Res64: E75E15341192209B Time : 0.0 sec. user=mdettweiler [2016-06-28 05:14:14] 797*2^1433720-1 is not prime. Res64: 26425AEA9B4180F9 Time : 0.0 sec. user=mdettweiler [2016-06-28 05:14:18] 813*2^1433720-1 is not prime. Res64: 418A060E0AD699F4 Time : 0.0 sec. user=mdettweiler [2016-06-28 05:23:20] 917*2^1433730-1 is not prime. Res64: 6977E20A3F39BAB6 Time : 0.0 sec. user=mdettweiler [2016-06-28 05:23:25] 927*2^1433730-1 is not prime. Res64: E9311DA7D9B88C08 Time : 0.0 sec. user=mdettweiler [2016-06-28 05:23:25] 603*2^1433731-1 is not prime. Res64: 38466948D681A8AA Time : 0.0 sec. user=mdettweiler [2016-06-28 05:23:32] 631*2^1433731-1 is not prime. Res64: 20C2BAEA3666E20C Time : 0.0 sec. user=mdettweiler [2016-06-28 05:23:37] 651*2^1433731-1 is not prime. Res64: 9E08A0BA2EFFCF5A Time : 0.0 sec. user=mdettweiler [2016-06-28 05:25:06] 855*2^1433731-1 is not prime. Res64: 2F5400B330EB8789 Time : 0.0 sec. user=mdettweiler [2016-06-28 05:25:12] 891*2^1433731-1 is not prime. Res64: 10B969F563BA16D4 Time : 0.0 sec. user=mdettweiler [2016-06-28 05:25:17] 687*2^1433732-1 is not prime. Res64: C44CB978B7A7F13E Time : 0.0 sec. user=mdettweiler [2016-06-28 05:25:23] 813*2^1433732-1 is not prime. Res64: FBBBB96F9D98AE6B Time : 0.0 sec. user=mdettweiler [2016-06-28 05:25:29] 963*2^1433732-1 is not prime. Res64: 7A5821B7DB936DF2 Time : 0.0 sec. user=mdettweiler [2016-06-28 05:59:31] 977*2^1433732-1 is not prime. Res64: 9A78798E22633EE7 Time : 0.0 sec. user=mdettweiler [2016-06-28 05:59:36] 607*2^1433733-1 is not prime. Res64: BF2A1E909E9DE787 Time : 0.0 sec. user=mdettweiler [2016-06-28 05:59:40] 609*2^1433733-1 is not prime. Res64: BD59DD52D2996FCC Time : 0.0 sec. user=mdettweiler [2016-06-28 05:59:44] 691*2^1433733-1 is not prime. Res64: D9B69FA4C11F8DD5 Time : 0.0 sec. user=mdettweiler [2016-06-28 05:59:48] 735*2^1433733-1 is not prime. Res64: 6CBFCF9CA9E13D1B Time : 0.0 sec. user=mdettweiler [2016-06-28 06:09:03] 741*2^1433733-1 is not prime. Res64: 0E5676CD178CFF17 Time : 0.0 sec. user=mdettweiler [2016-06-28 06:09:03] 837*2^1433733-1 is not prime. Res64: C1B5EE4E2BD2917F Time : 0.0 sec. user=mdettweiler [2016-06-28 06:09:04] 955*2^1433733-1 is not prime. Res64: 35CE8AE99F1B63E3 Time : 0.0 sec. user=mdettweiler [2016-06-28 06:09:04] 665*2^1433734-1 is not prime. Res64: A68E03CE8019B8AA Time : 0.0 sec. user=mdettweiler [2016-06-28 06:09:05] 813*2^1433734-1 is not prime. Res64: 2883D50D29503BC7 Time : 0.0 sec. user=mdettweiler [2016-06-28 06:10:53] 831*2^1433734-1 is not prime. Res64: E2A99DDF1C8D0559 Time : 0.0 sec. user=mdettweiler [2016-06-28 06:10:53] 833*2^1433734-1 is not prime. Res64: 197DDDCA99537DE7 Time : 0.0 sec. user=mdettweiler [2016-06-28 06:10:53] 923*2^1433734-1 is not prime. Res64: 15ED3752F8D8E2FD Time : 0.0 sec. user=mdettweiler [2016-06-28 06:10:54] 673*2^1433735-1 is not prime. Res64: D28EFFD7589F3BD9 Time : 0.0 sec. user=mdettweiler [2016-06-28 06:10:54] 679*2^1433735-1 is not prime. Res64: AEA24CCE35EF216A Time : 0.0 sec. user=mdettweiler [2016-06-28 06:45:09] 753*2^1433735-1 is not prime. Res64: 8A4A4E55B631D737 Time : 0.0 sec. user=mdettweiler [2016-06-28 06:45:10] 825*2^1433735-1 is not prime. Res64: 376F0557D05E42D8 Time : 0.0 sec. user=mdettweiler [2016-06-28 06:45:10] 949*2^1433735-1 is not prime. Res64: 50BC67AF71447629 Time : 0.0 sec. user=mdettweiler [2016-06-28 06:45:10] 991*2^1433735-1 is not prime. Res64: D58686DBD763BCF1 Time : 0.0 sec. user=mdettweiler [2016-06-28 06:45:11] 849*2^1433736-1 is not prime. Res64: 39B2C7E8BDFBFCC5 Time : 0.0 sec. user=mdettweiler [2016-06-28 06:54:28] 879*2^1433736-1 is not prime. Res64: 10641FFC50799666 Time : 0.0 sec. user=mdettweiler [2016-06-28 06:54:28] 909*2^1433736-1 is not prime. Res64: F3A553361D29E07D Time : 0.0 sec. user=mdettweiler [2016-06-28 06:54:29] 609*2^1433737-1 is not prime. Res64: C78CC2C21C6F9C3B Time : 0.0 sec. user=mdettweiler [2016-06-28 06:54:29] 687*2^1433737-1 is not prime. Res64: 82CD96F8F290B3E0 Time : 0.0 sec. user=mdettweiler [2016-06-28 06:54:30] 741*2^1433737-1 is not prime. Res64: C9E5094CD4A8E510 Time : 0.0 sec. user=mdettweiler [2016-06-28 06:56:10] 765*2^1433737-1 is not prime. Res64: 68326AF0E6385592 Time : 0.0 sec. user=mdettweiler [2016-06-28 06:56:14] 885*2^1433737-1 is not prime. Res64: 0D0E298CB98CD9C0 Time : 0.0 sec. user=mdettweiler [2016-06-28 06:56:18] 915*2^1433737-1 is not prime. Res64: C591F9C4D1A5D0F2 Time : 0.0 sec. user=mdettweiler [2016-06-28 06:56:22] 975*2^1433737-1 is not prime. Res64: 16F28B69E6F10FCB Time : 0.0 sec. user=mdettweiler [2016-06-28 06:56:26] 617*2^1433738-1 is not prime. Res64: 0ECB59080904553A Time : 0.0 sec. user=mdettweiler [2016-06-28 07:30:31] 623*2^1433738-1 is not prime. Res64: 1C80C9952814A730 Time : 0.0 sec. user=mdettweiler [2016-06-28 07:30:31] 665*2^1433738-1 is not prime. Res64: 62842F490E248B25 Time : 0.0 sec. user=mdettweiler [2016-06-28 07:30:32] 815*2^1433738-1 is not prime. Res64: 16602634A6F83272 Time : 0.0 sec. user=mdettweiler [2016-06-28 07:30:32] 995*2^1433738-1 is not prime. Res64: 9C1774BD3B51E26A Time : 0.0 sec. user=mdettweiler [2016-06-28 07:30:33] 633*2^1433739-1 is not prime. Res64: FF05D6852E712F32 Time : 0.0 sec. user=mdettweiler [2016-06-28 07:35:31] 755*2^1433730-1 is not prime. Res64: 1804A7F709314D8D Time : 0.0 sec. user=mdettweiler [2016-06-28 07:35:38] 777*2^1433730-1 is not prime. Res64: 2FACB6924197F611 Time : 0.0 sec. user=mdettweiler [2016-06-28 07:35:44] 797*2^1433730-1 is not prime. Res64: 0A9512281C3F1DD1 Time : 0.0 sec. user=mdettweiler [2016-06-28 07:35:50] 801*2^1433730-1 is not prime. Res64: 7089D28DC8401429 Time : 0.0 sec. user=mdettweiler [2016-06-28 07:35:56] 893*2^1433730-1 is not prime. Res64: 482C69D6AF4FB89D Time : 0.0 sec. user=mdettweiler [2016-06-28 07:40:16] 741*2^1433739-1 is not prime. Res64: 67A92F50F87CF6A2 Time : 0.0 sec. user=mdettweiler [2016-06-28 07:40:16] 895*2^1433739-1 is not prime. Res64: 7A1D83DBE8187C2C Time : 0.0 sec. user=mdettweiler [2016-06-28 07:40:22] 955*2^1433739-1 is not prime. Res64: 30D1B7A2562CF47D Time : 0.0 sec. user=mdettweiler [2016-06-28 07:40:23] 961*2^1433739-1 is not prime. Res64: 1CD2A2C625BE9E83 Time : 0.0 sec. user=mdettweiler [2016-06-28 07:40:28] 675*2^1433740-1 is not prime. Res64: 66017CBF5EC2E098 Time : 0.0 sec. user=mdettweiler [2016-06-28 07:41:43] 695*2^1433740-1 is not prime. Res64: B15F1FD079E157F1 Time : 0.0 sec. user=mdettweiler [2016-06-28 07:41:50] 707*2^1433740-1 is not prime. Res64: CBA55CA91621AECE Time : 0.0 sec. user=mdettweiler [2016-06-28 07:41:58] 857*2^1433740-1 is not prime. Res64: 7DBFED41C02CE29C Time : 0.0 sec. user=mdettweiler [2016-06-28 07:42:05] 863*2^1433740-1 is not prime. Res64: 58AF70A56AC942D5 Time : 0.0 sec. user=mdettweiler [2016-06-28 07:42:10] 989*2^1433740-1 is not prime. Res64: 508B345C7BAE5033 Time : 0.0 sec. user=mdettweiler [2016-06-28 08:15:35] 631*2^1433741-1 is not prime. Res64: A84EF7C62EB2C0A5 Time : 0.0 sec. user=mdettweiler [2016-06-28 08:15:39] 685*2^1433741-1 is not prime. Res64: A9332769D91A04BB Time : 0.0 sec. user=mdettweiler [2016-06-28 08:15:43] 727*2^1433741-1 is not prime. Res64: 573FE28AD3921BFC Time : 0.0 sec. user=mdettweiler [2016-06-28 08:15:47] 867*2^1433741-1 is not prime. Res64: CC9C47187FD41421 Time : 0.0 sec. user=mdettweiler [2016-06-28 08:15:51] 879*2^1433741-1 is not prime. Res64: 5C7F3B747B184301 Time : 0.0 sec. user=mdettweiler [2016-06-28 08:20:59] 997*2^1433741-1 is not prime. Res64: 6E9CB1AF521E4701 Time : 0.0 sec. user=mdettweiler [2016-06-28 08:21:05] 611*2^1433742-1 is not prime. Res64: 9837A093948D3CA1 Time : 0.0 sec. user=mdettweiler [2016-06-28 08:21:11] 647*2^1433742-1 is not prime. Res64: F5BC812C65BF38B8 Time : 0.0 sec. user=mdettweiler [2016-06-28 08:21:18] 755*2^1433742-1 is not prime. Res64: 5C7F835EA14F1505 Time : 0.0 sec. user=mdettweiler [2016-06-28 08:21:24] 797*2^1433742-1 is not prime. Res64: CCF242FCBF4D8577 Time : 0.0 sec. user=mdettweiler [2016-06-28 08:25:18] 873*2^1433742-1 is not prime. Res64: 987721CFB59291A9 Time : 0.0 sec. user=mdettweiler [2016-06-28 08:25:22] 887*2^1433742-1 is not prime. Res64: F183916CED343A45 Time : 0.0 sec. user=mdettweiler [2016-06-28 08:25:26] 893*2^1433742-1 is not prime. Res64: CA87C4DB3C6AA996 Time : 0.0 sec. user=mdettweiler [2016-06-28 08:25:30] 621*2^1433743-1 is not prime. Res64: 4FC220459B5608A8 Time : 0.0 sec. user=mdettweiler [2016-06-28 08:25:34] 625*2^1433743-1 is not prime. Res64: B9E953FA7A64DC76 Time : 0.0 sec. user=mdettweiler [2016-06-28 08:26:50] 633*2^1433743-1 is not prime. Res64: 8D98F7F65D0DBF95 Time : 0.0 sec. user=mdettweiler [2016-06-28 08:26:50] 723*2^1433743-1 is not prime. Res64: 3310FA64BE8CCE0C Time : 0.0 sec. user=mdettweiler [2016-06-28 08:26:51] 783*2^1433743-1 is not prime. Res64: 7280CFAA777D9037 Time : 0.0 sec. user=mdettweiler [2016-06-28 08:26:51] 789*2^1433743-1 is not prime. Res64: 4468029A060118AC Time : 0.0 sec. user=mdettweiler [2016-06-28 08:26:51] 871*2^1433743-1 is not prime. Res64: C2D43D188AF4614C Time : 0.0 sec. user=mdettweiler [2016-06-28 09:00:54] 623*2^1433744-1 is not prime. Res64: 99068EA65B59AF83 Time : 0.0 sec. user=mdettweiler [2016-06-28 09:00:56] 699*2^1433744-1 is not prime. Res64: 22A55414CD33F5E2 Time : 0.0 sec. user=mdettweiler [2016-06-28 09:00:57] 717*2^1433744-1 is not prime. Res64: E279806327476FFD Time : 0.0 sec. user=mdettweiler [2016-06-28 09:00:58] 725*2^1433744-1 is not prime. Res64: 398C8953168B98A5 Time : 0.0 sec. user=mdettweiler [2016-06-28 09:00:58] 753*2^1433744-1 is not prime. Res64: 8F536F34039177BD Time : 0.0 sec. user=mdettweiler [2016-06-28 09:06:21] 843*2^1433744-1 is not prime. Res64: A8E6B111C5DE6D70 Time : 0.0 sec. user=mdettweiler [2016-06-28 09:06:22] 917*2^1433744-1 is not prime. Res64: AC8A047958085336 Time : 0.0 sec. user=mdettweiler [2016-06-28 09:06:23] 609*2^1433745-1 is not prime. Res64: F322BDFE65CF4D14 Time : 0.0 sec. user=mdettweiler [2016-06-28 09:06:24] 667*2^1433745-1 is not prime. Res64: 3054E89832301F67 Time : 0.0 sec. user=mdettweiler [2016-06-28 09:06:25] 861*2^1433745-1 is not prime. Res64: 31363587D2838D23 Time : 0.0 sec. user=mdettweiler [2016-06-28 09:10:36] 919*2^1433745-1 is not prime. Res64: 9A48529CC6EBD916 Time : 0.0 sec. user=mdettweiler [2016-06-28 09:10:36] 969*2^1433745-1 is not prime. Res64: 194E63A166853584 Time : 0.0 sec. user=mdettweiler [2016-06-28 09:10:37] 971*2^1433746-1 is not prime. Res64: CED18B06474A2FF4 Time : 0.0 sec. user=mdettweiler [2016-06-28 09:10:37] 1001*2^1433746-1 is not prime. Res64: 820C6C40D1B1A55D Time : 0.0 sec. user=mdettweiler [2016-06-28 09:10:37] 669*2^1433747-1 is not prime. Res64: 22ABFD9D63E1D8A0 Time : 0.0 sec. user=mdettweiler [2016-06-28 09:11:49] 705*2^1433747-1 is not prime. Res64: 76FA8007F2613A38 Time : 0.0 sec. user=mdettweiler [2016-06-28 09:11:50] 735*2^1433747-1 is not prime. Res64: 9E67A20B9E4F9E3E Time : 0.0 sec. user=mdettweiler [2016-06-28 09:11:50] 801*2^1433747-1 is not prime. Res64: 6143E7E280B5287B Time : 0.0 sec. user=mdettweiler [2016-06-28 09:11:50] 841*2^1433747-1 is not prime. Res64: 46E5BEE1FC18F497 Time : 0.0 sec. user=mdettweiler [2016-06-28 09:11:51] 843*2^1433747-1 is not prime. Res64: 89F3DF9623739910 Time : 0.0 sec. user=mdettweiler [2016-06-28 09:45:53] 915*2^1433747-1 is not prime. Res64: 4C4DBF3B41F05108 Time : 0.0 sec. user=mdettweiler [2016-06-28 09:45:54] 973*2^1433747-1 is not prime. Res64: E5A9E3217E6BB5EE Time : 0.0 sec. user=mdettweiler [2016-06-28 09:45:54] 985*2^1433747-1 is not prime. Res64: D483534FCD7358C1 Time : 0.0 sec. user=mdettweiler [2016-06-28 09:45:54] 991*2^1433747-1 is not prime. Res64: 08393F4FEA795A27 Time : 0.0 sec. user=mdettweiler [2016-06-28 09:45:55] 633*2^1433748-1 is not prime. Res64: B3297E7DCD80D58B Time : 0.0 sec. user=mdettweiler [2016-06-28 09:51:19] 689*2^1433748-1 is not prime. Res64: 40B39598CD76D972 Time : 0.0 sec. user=mdettweiler [2016-06-28 09:51:19] 707*2^1433748-1 is not prime. Res64: 9649A10D74BC8AE2 Time : 0.0 sec. user=mdettweiler [2016-06-28 09:51:19] 759*2^1433748-1 is not prime. Res64: 71116E5527B2ED1B Time : 0.0 sec. user=mdettweiler [2016-06-28 09:51:20] 839*2^1433748-1 is not prime. Res64: 629E4ECD9513AACD Time : 0.0 sec. user=mdettweiler [2016-06-28 09:51:20] 899*2^1433748-1 is not prime. Res64: A63BF71F6F55867B Time : 0.0 sec. user=mdettweiler [2016-06-28 09:55:23] 915*2^1433748-1 is not prime. Res64: 4CBAEB249791CDD0 Time : 0.0 sec. user=mdettweiler [2016-06-28 09:55:29] 929*2^1433748-1 is not prime. Res64: 7A112AEFE4E306BB Time : 0.0 sec. user=mdettweiler [2016-06-28 09:55:29] 945*2^1433748-1 is not prime. Res64: 54CF6E2AB242D0B3 Time : 0.0 sec. user=mdettweiler [2016-06-28 09:55:35] 977*2^1433748-1 is not prime. Res64: D53F04CE5320A213 Time : 0.0 sec. user=mdettweiler [2016-06-28 09:55:42] 999*2^1433748-1 is not prime. Res64: 3A26392D98A56593 Time : 0.0 sec. user=mdettweiler [2016-06-28 09:56:39] 681*2^1433749-1 is not prime. Res64: 973BC8DF5715A15E Time : 0.0 sec. user=mdettweiler [2016-06-28 09:56:43] 765*2^1433749-1 is not prime. Res64: 247FB691F5D1E7AC Time : 0.0 sec. user=mdettweiler [2016-06-28 09:56:47] 801*2^1433749-1 is not prime. Res64: 4F4DBEE2BFB2BF7D Time : 0.0 sec. user=mdettweiler [2016-06-28 09:56:51] 627*2^1433750-1 is not prime. Res64: 722936B952AF7278 Time : 0.0 sec. user=mdettweiler [2016-06-28 09:56:55] 641*2^1433750-1 is not prime. Res64: EC0AFA7AC4466D9D Time : 0.0 sec. user=mdettweiler [2016-06-28 10:31:09] 671*2^1433750-1 is not prime. Res64: BEBC51F417149E7B Time : 0.0 sec. user=mdettweiler [2016-06-28 10:31:13] 677*2^1433750-1 is not prime. Res64: 95B2D0DA0B7383AB Time : 0.0 sec. user=mdettweiler [2016-06-28 10:31:18] 717*2^1433750-1 is not prime. Res64: E19B31665EEA1D2C Time : 0.0 sec. user=mdettweiler [2016-06-28 10:31:22] 743*2^1433750-1 is not prime. Res64: 725C4DC733D2A2A5 Time : 0.0 sec. user=mdettweiler [2016-06-28 10:31:26] 917*2^1433750-1 is not prime. Res64: E638AD51517C40A8 Time : 0.0 sec. user=mdettweiler [2016-06-28 10:36:17] 921*2^1433750-1 is not prime. Res64: BDAE028008F3F33B Time : 0.0 sec. user=mdettweiler [2016-06-28 10:36:21] 723*2^1433751-1 is not prime. Res64: 5DF5A4708D343984 Time : 0.0 sec. user=mdettweiler [2016-06-28 10:36:26] 793*2^1433751-1 is not prime. Res64: 87414552301C418C Time : 0.0 sec. user=mdettweiler [2016-06-28 10:36:30] 805*2^1433751-1 is not prime. Res64: 2D0A9C00C7A845AA Time : 0.0 sec. user=mdettweiler [2016-06-28 10:36:34] 849*2^1433751-1 is not prime. Res64: FB2C7D82CF601836 Time : 0.0 sec. user=mdettweiler [2016-06-28 10:40:38] 951*2^1433751-1 is not prime. Res64: 8226B506C8A38F1F Time : 0.0 sec. user=mdettweiler [2016-06-28 10:40:44] 969*2^1433751-1 is not prime. Res64: 1A8EFCB5B85305EA Time : 0.0 sec. user=mdettweiler [2016-06-28 10:40:50] 975*2^1433751-1 is not prime. Res64: 925D362AEF1FC7E7 Time : 0.0 sec. user=mdettweiler [2016-06-28 10:40:56] 609*2^1433752-1 is not prime. Res64: 394EAC01100A6CE2 Time : 0.0 sec. user=mdettweiler [2016-06-28 10:41:02] 657*2^1433752-1 is not prime. Res64: D7AC32C535E1FDC2 Time : 0.0 sec. user=mdettweiler [2016-06-28 10:41:46] 719*2^1433752-1 is not prime. Res64: BBB4E176954D6D22 Time : 0.0 sec. user=mdettweiler [2016-06-28 10:41:52] 803*2^1433752-1 is not prime. Res64: 829897BA95139EB8 Time : 0.0 sec. user=mdettweiler [2016-06-28 10:41:58] 887*2^1433752-1 is not prime. Res64: 4E31FA02098DE7B3 Time : 0.0 sec. user=mdettweiler [2016-06-28 10:42:04] 769*2^1433753-1 is not prime. Res64: FD898ED16E5AA244 Time : 0.0 sec. user=mdettweiler [2016-06-28 10:42:10] 829*2^1433753-1 is not prime. Res64: FEDA6DC2CB74F5E3 Time : 0.0 sec. user=mdettweiler [2016-06-28 11:16:13] 969*2^1433753-1 is not prime. Res64: E8718AA148ED4B4F Time : 0.0 sec. user=mdettweiler [2016-06-28 11:16:19] 773*2^1433754-1 is not prime. Res64: 673D6DC7841E8C11 Time : 0.0 sec. user=mdettweiler [2016-06-28 11:16:25] 807*2^1433754-1 is not prime. Res64: DABA615B850D28A9 Time : 0.0 sec. user=mdettweiler [2016-06-28 11:16:31] 917*2^1433754-1 is not prime. Res64: 316B44FF3099D861 Time : 0.0 sec. user=mdettweiler [2016-06-28 11:16:37] 983*2^1433754-1 is not prime. Res64: 7FCA0F17F5122C3A Time : 0.0 sec. user=mdettweiler [2016-06-28 11:21:27] 775*2^1433755-1 is not prime. Res64: F6E6C05A68F577A8 Time : 0.0 sec. user=mdettweiler [2016-06-28 11:21:31] 985*2^1433755-1 is not prime. Res64: 667124FF5B3EC455 Time : 0.0 sec. user=mdettweiler [2016-06-28 11:21:35] 725*2^1433756-1 is not prime. Res64: D96356CE038F883B Time : 0.0 sec. user=mdettweiler [2016-06-28 11:21:39] 825*2^1433756-1 is not prime. Res64: 78ED91024E238938 Time : 0.0 sec. user=mdettweiler [2016-06-28 11:21:43] 837*2^1433756-1 is not prime. Res64: 024C6D896BB10F97 Time : 0.0 sec. user=mdettweiler [2016-06-28 11:25:53] 855*2^1433756-1 is not prime. Res64: 8DBCA76B440C0E20 Time : 0.0 sec. user=mdettweiler [2016-06-28 11:25:57] 893*2^1433756-1 is not prime. Res64: 4E4ABE98EE69634B Time : 0.0 sec. user=mdettweiler [2016-06-28 11:26:01] 903*2^1433756-1 is not prime. Res64: B0F9A7FADE3815C7 Time : 0.0 sec. user=mdettweiler [2016-06-28 11:26:05] 735*2^1433757-1 is not prime. Res64: 894505CEACF9541C Time : 0.0 sec. user=mdettweiler [2016-06-28 11:26:09] 747*2^1433757-1 is not prime. Res64: 1E5E68FFCD95FF33 Time : 0.0 sec. user=mdettweiler [2016-06-28 11:27:18] 781*2^1433757-1 is not prime. Res64: BCAC60F8F8B48124 Time : 0.0 sec. user=mdettweiler [2016-06-28 11:27:18] 865*2^1433757-1 is not prime. Res64: 22D550F4C8EBC5A6 Time : 0.0 sec. user=mdettweiler [2016-06-28 11:27:18] 915*2^1433757-1 is not prime. Res64: CBF36C5B99AC66B0 Time : 0.0 sec. user=mdettweiler [2016-06-28 11:27:19] 919*2^1433757-1 is not prime. Res64: 7BF8CEB7F8AF0016 Time : 0.0 sec. user=mdettweiler [2016-06-28 11:27:19] 955*2^1433757-1 is not prime. Res64: B52CB41A88D4988C Time : 0.0 sec. user=mdettweiler [2016-06-28 12:02:22] 979*2^1433757-1 is not prime. Res64: FF40D237E94A777F Time : 0.0 sec. user=mdettweiler [2016-06-28 12:02:23] 611*2^1433758-1 is not prime. Res64: D310CE0CB2FAD894 Time : 0.0 sec. user=mdettweiler [2016-06-28 12:02:24] 681*2^1433758-1 is not prime. Res64: F020AF382B22110E Time : 0.0 sec. user=mdettweiler [2016-06-28 12:02:24] 827*2^1433758-1 is not prime. Res64: 6DB407FC25100D06 Time : 0.0 sec. user=mdettweiler [2016-06-28 12:02:25] 857*2^1433758-1 is not prime. Res64: D9173D09F5440F6F Time : 0.0 sec. user=mdettweiler [2016-06-28 12:07:28] 923*2^1433758-1 is not prime. Res64: 1866127612DCA856 Time : 0.0 sec. user=mdettweiler [2016-06-28 12:07:28] 941*2^1433758-1 is not prime. Res64: 987200505CE05317 Time : 0.0 sec. user=mdettweiler [2016-06-28 12:07:29] 1001*2^1433758-1 is not prime. Res64: CF700A821B7ACAEE Time : 0.0 sec. user=mdettweiler [2016-06-28 12:07:29] 693*2^1433759-1 is not prime. Res64: F419344524B0F115 Time : 0.0 sec. user=mdettweiler [2016-06-28 12:07:30] 861*2^1433759-1 is not prime. Res64: DEF59C59283C1540 Time : 0.0 sec. user=mdettweiler [2016-06-28 12:12:03] 879*2^1433759-1 is not prime. Res64: FD68C02D6501D2D4 Time : 0.0 sec. user=mdettweiler [2016-06-28 12:12:04] 993*2^1433759-1 is not prime. Res64: 3218D67E87CB789D Time : 0.0 sec. user=mdettweiler [2016-06-28 12:12:04] 999*2^1433759-1 is not prime. Res64: 5AE9AE07A5469A6A Time : 0.0 sec. user=mdettweiler [2016-06-28 12:12:04] 629*2^1433760-1 is not prime. Res64: 5B231DD753DE1065 Time : 0.0 sec. user=mdettweiler [2016-06-28 12:12:05] 713*2^1433760-1 is not prime. Res64: A59FBEDEFAF85E3B Time : 0.0 sec. user=mdettweiler [2016-06-28 12:13:20] 737*2^1433760-1 is not prime. Res64: 48982A06AF4B27C8 Time : 0.0 sec. user=mdettweiler [2016-06-28 12:13:20] 759*2^1433760-1 is not prime. Res64: 035EDF9B34EC6785 Time : 0.0 sec. user=mdettweiler [2016-06-28 12:13:20] 789*2^1433760-1 is not prime. Res64: 251E73662D3A16D0 Time : 0.0 sec. user=mdettweiler [2016-06-28 12:13:21] 843*2^1433760-1 is not prime. Res64: D3EBBB97E4D716F6 Time : 0.0 sec. user=mdettweiler [2016-06-28 12:13:21] 849*2^1433760-1 is not prime. Res64: 493604E109A14C9D Time : 0.0 sec. user=mdettweiler [2016-06-28 12:49:32] 639*2^1433761-1 is not prime. Res64: 97611AE5A7C47A16 Time : 0.0 sec. user=mdettweiler [2016-06-28 12:49:32] 705*2^1433761-1 is not prime. Res64: 29504CC5421BB07D Time : 0.0 sec. user=mdettweiler [2016-06-28 12:49:33] 741*2^1433761-1 is not prime. Res64: 4AD8B90950A281D4 Time : 0.0 sec. user=mdettweiler [2016-06-28 12:49:33] 801*2^1433761-1 is not prime. Res64: A1739067856F98BC Time : 0.0 sec. user=mdettweiler [2016-06-28 12:49:33] 861*2^1433761-1 is not prime. Res64: 58ED2769B127DB30 Time : 0.0 sec. user=mdettweiler [2016-06-28 12:54:05] 997*2^1433761-1 is not prime. Res64: 2F6D85DE0684C885 Time : 0.0 sec. user=mdettweiler [2016-06-28 12:54:06] 677*2^1433762-1 is not prime. Res64: A8E609CB6107AE3B Time : 0.0 sec. user=mdettweiler [2016-06-28 12:54:06] 813*2^1433762-1 is not prime. Res64: A48B7627E1839125 Time : 0.0 sec. user=mdettweiler [2016-06-28 12:54:06] 923*2^1433762-1 is not prime. Res64: 74DDC3E73292E31E Time : 0.0 sec. user=mdettweiler [2016-06-28 12:54:07] 935*2^1433762-1 is not prime. Res64: 853A9AF2F3797CA5 Time : 0.0 sec. user=mdettweiler [2016-06-28 12:59:31] 981*2^1433762-1 is not prime. Res64: 926B90034C99D28D Time : 0.0 sec. user=mdettweiler [2016-06-28 12:59:37] 669*2^1433763-1 is not prime. Res64: 81F569BD606158D0 Time : 0.0 sec. user=mdettweiler [2016-06-28 12:59:43] 769*2^1433763-1 is not prime. Res64: BE75933465AAA8BF Time : 0.0 sec. user=mdettweiler [2016-06-28 12:59:49] 793*2^1433763-1 is not prime. Res64: 955872778FF5B1F6 Time : 0.0 sec. user=mdettweiler [2016-06-28 12:59:55] 961*2^1433763-1 is not prime. Res64: 101FB3996A44FEFD Time : 0.0 sec. user=mdettweiler [2016-06-28 13:00:14] 705*2^1433764-1 is not prime. Res64: 9C6885DA055DA095 Time : 0.0 sec. user=mdettweiler [2016-06-28 13:00:21] 813*2^1433764-1 is not prime. Res64: 9DA69605FB516137 Time : 0.0 sec. user=mdettweiler [2016-06-28 13:00:21] 923*2^1433764-1 is not prime. Res64: AB3BF77157D5083B Time : 0.0 sec. user=mdettweiler [2016-06-28 13:00:31] 771*2^1433765-1 is not prime. Res64: A8E8D5CDCDA48825 Time : 0.0 sec. user=mdettweiler [2016-06-28 13:36:09] 925*2^1433765-1 is not prime. Res64: C1153F61051B8950 Time : 0.0 sec. user=mdettweiler [2016-06-28 13:36:09] 927*2^1433765-1 is not prime. Res64: B980ED86C9E2D5F3 Time : 0.0 sec. user=mdettweiler [2016-06-28 13:36:15] 957*2^1433765-1 is not prime. Res64: A87D2FDEEB09835D Time : 0.0 sec. user=mdettweiler [2016-06-28 13:36:20] 985*2^1433765-1 is not prime. Res64: 29DBC168F744D725 Time : 0.0 sec. user=mdettweiler [2016-06-28 13:36:24] 677*2^1433766-1 is not prime. Res64: 1A7176674F0D2483 Time : 0.0 sec. user=mdettweiler [2016-06-28 13:40:56] 683*2^1433766-1 is not prime. Res64: 53C56F1C67FFF8A8 Time : 0.0 sec. user=mdettweiler [2016-06-28 13:41:00] 755*2^1433766-1 is not prime. Res64: 5EF7D79D2A955F48 Time : 0.0 sec. user=mdettweiler [2016-06-28 13:41:04] 783*2^1433766-1 is not prime. Res64: 6C3CDC7FF0255901 Time : 0.0 sec. user=mdettweiler [2016-06-28 13:41:08] 801*2^1433766-1 is not prime. Res64: 836E01387976910C Time : 0.0 sec. user=mdettweiler [2016-06-28 13:41:12] 947*2^1433766-1 is not prime. Res64: 413DF40A87BC7D97 Time : 0.0 sec. user=mdettweiler [2016-06-28 13:47:28] 971*2^1433766-1 is not prime. Res64: 04FF460318332B91 Time : 0.0 sec. user=mdettweiler [2016-06-28 13:47:34] 633*2^1433767-1 is not prime. Res64: 4268CAF59928A1D8 Time : 0.0 sec. user=mdettweiler [2016-06-28 13:47:40] 673*2^1433767-1 is not prime. Res64: 7DEBF4FD6B8511D3 Time : 0.0 sec. user=mdettweiler [2016-06-28 13:47:46] 775*2^1433767-1 is not prime. Res64: 543B06F686D1BDDD Time : 0.0 sec. user=mdettweiler [2016-06-28 13:47:47] 829*2^1433767-1 is not prime. Res64: C8A6B4FAB5822AF2 Time : 0.0 sec. user=mdettweiler [2016-06-28 14:22:23] 861*2^1433767-1 is not prime. Res64: 487C1529C65B5D06 Time : 0.0 sec. user=mdettweiler [2016-06-28 14:22:27] 617*2^1433768-1 is not prime. Res64: 17329B4E12728FDC Time : 0.0 sec. user=mdettweiler [2016-06-28 14:22:31] 629*2^1433768-1 is not prime. Res64: A452C4E7D1E2387E Time : 0.0 sec. user=mdettweiler [2016-06-28 14:22:35] 677*2^1433768-1 is not prime. Res64: 58A35FD456C9D20D Time : 0.0 sec. user=mdettweiler [2016-06-28 14:22:39] 789*2^1433768-1 is not prime. Res64: 251E21C1963A6CF7 Time : 0.0 sec. user=mdettweiler [2016-06-28 14:27:20] 827*2^1433768-1 is not prime. Res64: 5517B7D5E974FDEA Time : 0.0 sec. user=mdettweiler [2016-06-28 14:27:21] 661*2^1433769-1 is not prime. Res64: 47B95E50B698323A Time : 0.0 sec. user=mdettweiler [2016-06-28 14:27:21] 679*2^1433769-1 is not prime. Res64: 9379269023764C1C Time : 0.0 sec. user=mdettweiler [2016-06-28 14:27:22] 691*2^1433769-1 is not prime. Res64: 9368BCC62337503D Time : 0.0 sec. user=mdettweiler [2016-06-28 14:27:22] 745*2^1433769-1 is not prime. Res64: BBD1CCE0EBDE10F1 Time : 0.0 sec. user=mdettweiler [2016-06-28 14:34:02] 765*2^1433769-1 is not prime. Res64: C4871AC60E88A777 Time : 0.0 sec. user=mdettweiler [2016-06-28 14:34:03] 795*2^1433769-1 is not prime. Res64: 12D7D11A822C03BB Time : 0.0 sec. user=mdettweiler [2016-06-28 14:34:03] 807*2^1433769-1 is not prime. Res64: 26A2141A984168E0 Time : 0.0 sec. user=mdettweiler [2016-06-28 14:34:04] 837*2^1433769-1 is not prime. Res64: CE65F84AABFDF6FF Time : 0.0 sec. user=mdettweiler [2016-06-28 14:34:04] 877*2^1433769-1 is not prime. Res64: BFE91F96EDD204D0 Time : 0.0 sec. user=mdettweiler [2016-06-28 15:08:37] 889*2^1433769-1 is not prime. Res64: 8A0A0118974C641B Time : 0.0 sec. user=mdettweiler [2016-06-28 15:08:38] 921*2^1433769-1 is not prime. Res64: F28EF7F72DD2D6E1 Time : 0.0 sec. user=mdettweiler [2016-06-28 15:08:38] 603*2^1433770-1 is not prime. Res64: 8157A27B01437226 Time : 0.0 sec. user=mdettweiler [2016-06-28 15:08:38] 687*2^1433770-1 is not prime. Res64: A51555AB748213B2 Time : 0.0 sec. user=mdettweiler [2016-06-28 15:08:39] 791*2^1433770-1 is not prime. Res64: F869E12D4D429200 Time : 0.0 sec. user=mdettweiler [2016-06-28 15:13:22] 861*2^1433770-1 is not prime. Res64: 0B7EFB5062815176 Time : 0.0 sec. user=mdettweiler [2016-06-28 15:13:23] 933*2^1433770-1 is not prime. Res64: D47830EFA6437874 Time : 0.0 sec. user=mdettweiler [2016-06-28 15:13:23] 945*2^1433770-1 is not prime. Res64: 9E74646AEE8B14E7 Time : 0.0 sec. user=mdettweiler [2016-06-28 15:13:23] 645*2^1433771-1 is not prime. Res64: EF1676D1471012DF Time : 0.0 sec. user=mdettweiler [2016-06-28 15:13:24] 675*2^1433771-1 is not prime. Res64: 269CD44ED9651B68 Time : 0.0 sec. user=mdettweiler [2016-06-28 15:20:12] 735*2^1433771-1 is not prime. Res64: 77802AD35D877146 Time : 0.0 sec. user=mdettweiler [2016-06-28 15:20:18] 825*2^1433771-1 is not prime. Res64: 3F3A5D467CFBB888 Time : 0.0 sec. user=mdettweiler [2016-06-28 15:20:19] 931*2^1433771-1 is not prime. Res64: 4E14FB64953ACBC9 Time : 0.0 sec. user=mdettweiler [2016-06-28 15:20:25] 945*2^1433771-1 is not prime. Res64: DAB7973C07E83F25 Time : 0.0 sec. user=mdettweiler [2016-06-28 15:20:26] 979*2^1433771-1 is not prime. Res64: 8AD1DB4102272763 Time : 0.0 sec. user=mdettweiler [2016-06-28 15:51:23] 777*2^1433765-1 is not prime. Res64: 3ABF24FE25A08E76 Time : 0.0 sec. user=mdettweiler [2016-06-28 15:54:53] 605*2^1433772-1 is not prime. Res64: 81C134CEAA84BFD3 Time : 0.0 sec. user=mdettweiler [2016-06-28 15:54:59] 639*2^1433772-1 is not prime. Res64: 96F2E6D10BE70359 Time : 0.0 sec. user=mdettweiler [2016-06-28 15:55:05] 909*2^1433772-1 is not prime. Res64: 7DC0E61E11C0DD92 Time : 0.0 sec. user=mdettweiler [2016-06-28 15:55:11] 933*2^1433772-1 is not prime. Res64: B92093C088FB36D4 Time : 0.0 sec. user=mdettweiler [2016-06-28 15:55:11] 935*2^1433772-1 is not prime. Res64: 7EC52EF83D02DE38 Time : 0.0 sec. user=mdettweiler [2016-06-28 15:59:17] 987*2^1433772-1 is not prime. Res64: E4823EBCB49C481C Time : 0.0 sec. user=mdettweiler [2016-06-28 15:59:24] 771*2^1433773-1 is not prime. Res64: B6366943CBDFAFFB Time : 0.0 sec. user=mdettweiler [2016-06-28 15:59:31] 849*2^1433773-1 is not prime. Res64: 96B39B873CD8F4EC Time : 0.0 sec. user=mdettweiler [2016-06-28 15:59:31] 867*2^1433773-1 is not prime. Res64: B5F5F86587F28B6B Time : 0.0 sec. user=mdettweiler [2016-06-28 15:59:38] 617*2^1433774-1 is not prime. Res64: 3BA5C3C37DC5358B Time : 0.0 sec. user=mdettweiler [2016-06-28 16:06:54] 755*2^1433774-1 is not prime. Res64: 55E37AFB224B04C0 Time : 0.0 sec. user=mdettweiler [2016-06-28 16:37:10] 691*2^1433775-1 is not prime. Res64: 04C97310F141A91B Time : 0.0 sec. user=mdettweiler [2016-06-28 16:37:14] 739*2^1433775-1 is not prime. Res64: A2FC3316E3E09A8A Time : 0.0 sec. user=mdettweiler [2016-06-28 16:37:18] 805*2^1433775-1 is not prime. Res64: 97950B4A7DD6DFC4 Time : 0.0 sec. user=mdettweiler [2016-06-28 16:37:22] 831*2^1433775-1 is not prime. Res64: 1C1868F301193673 Time : 0.0 sec. user=mdettweiler [2016-06-28 16:37:26] 755*2^1433776-1 is not prime. Res64: 4DED0CBD6959480F Time : 0.0 sec. user=mdettweiler [2016-06-28 16:40:59] 875*2^1433776-1 is not prime. Res64: 761A9DB75549A128 Time : 0.0 sec. user=mdettweiler [2016-06-28 16:41:03] 917*2^1433776-1 is not prime. Res64: 2BBE336A8C3F009E Time : 0.0 sec. user=mdettweiler [2016-06-28 16:41:07] 989*2^1433776-1 is not prime. Res64: FAC4C91340E398D3 Time : 0.0 sec. user=mdettweiler [2016-06-28 16:41:11] 607*2^1433777-1 is not prime. Res64: A390C039C5DCC0E7 Time : 0.0 sec. user=mdettweiler [2016-06-28 16:41:15] 619*2^1433777-1 is not prime. Res64: BA0752114223309C Time : 0.0 sec. user=mdettweiler [2016-06-28 16:45:28] 669*2^1433777-1 is not prime. Res64: 439201048ACBEFC2 Time : 0.0 sec. user=mdettweiler [2016-06-28 16:45:32] 699*2^1433777-1 is not prime. Res64: 1A69F2D4176B077B Time : 0.0 sec. user=mdettweiler [2016-06-28 16:45:36] 627*2^1433778-1 is not prime. Res64: 84B9527CB7CB0DD9 Time : 0.0 sec. user=mdettweiler [2016-06-28 16:45:40] 635*2^1433778-1 is not prime. Res64: 0E10F07707046A14 Time : 0.0 sec. user=mdettweiler [2016-06-28 16:45:44] 705*2^1433778-1 is not prime. Res64: C1D667064C63097A Time : 0.0 sec. user=mdettweiler [2016-06-28 17:23:56] 875*2^1433778-1 is not prime. Res64: 492C532A88027397 Time : 0.0 sec. user=mdettweiler [2016-06-28 17:24:02] 881*2^1433778-1 is not prime. Res64: B2AF46A9174E233D Time : 0.0 sec. user=mdettweiler [2016-06-28 17:24:08] 893*2^1433778-1 is not prime. Res64: E93E17602593DB87 Time : 0.0 sec. user=mdettweiler [2016-06-28 17:24:14] 951*2^1433778-1 is not prime. Res64: F66D555D0B89B440 Time : 0.0 sec. user=mdettweiler [2016-06-28 17:24:21] 977*2^1433778-1 is not prime. Res64: F22BFFDF791B9FD9 Time : 0.0 sec. user=mdettweiler [2016-06-28 17:27:29] 609*2^1433779-1 is not prime. Res64: 42C6716EC0D2750D Time : 0.0 sec. user=mdettweiler [2016-06-28 17:27:33] 619*2^1433779-1 is not prime. Res64: D0797631AD8DED6C Time : 0.0 sec. user=mdettweiler [2016-06-28 17:27:37] 691*2^1433779-1 is not prime. Res64: 02857970FB0A0EE4 Time : 0.0 sec. user=mdettweiler [2016-06-28 17:27:41] 693*2^1433779-1 is not prime. Res64: 44DECE9C47306DB1 Time : 0.0 sec. user=mdettweiler [2016-06-28 17:27:46] 723*2^1433779-1 is not prime. Res64: B5C7D03193DE1C81 Time : 0.0 sec. user=mdettweiler [2016-06-28 17:31:30] 751*2^1433779-1 is not prime. Res64: FE10C63231130EC6 Time : 0.0 sec. user=mdettweiler [2016-06-28 17:31:31] 789*2^1433779-1 is not prime. Res64: 8228361191DD3A41 Time : 0.0 sec. user=mdettweiler [2016-06-28 17:31:31] 793*2^1433779-1 is not prime. Res64: C07A3A9CBEBCAA42 Time : 0.0 sec. user=mdettweiler [2016-06-28 17:31:31] 873*2^1433779-1 is not prime. Res64: 52277B112BD3CFFB Time : 0.0 sec. user=mdettweiler [2016-06-28 17:31:32] 913*2^1433779-1 is not prime. Res64: 3B57D31264CB2C01 Time : 0.0 sec. user=mdettweiler [2016-06-28 18:10:32] 943*2^1433779-1 is not prime. Res64: 1512799B36142E7B Time : 0.0 sec. user=mdettweiler [2016-06-28 18:10:33] 985*2^1433779-1 is not prime. Res64: 8EAC0C2EFE76C6CF Time : 0.0 sec. user=mdettweiler [2016-06-28 18:10:33] 993*2^1433779-1 is not prime. Res64: 7DCD492BAD2064F2 Time : 0.0 sec. user=mdettweiler [2016-06-28 18:10:34] 999*2^1433779-1 is not prime. Res64: 9DF91F52A162F73D Time : 0.0 sec. user=mdettweiler [2016-06-28 18:10:34] 879*2^1433780-1 is not prime. Res64: 1E5168011E34ED6F Time : 0.0 sec. user=mdettweiler [2016-06-28 18:13:30] 909*2^1433780-1 is not prime. Res64: 4737CC0E8BB59B47 Time : 0.0 sec. user=mdettweiler [2016-06-28 18:13:31] 621*2^1433781-1 is not prime. Res64: F0C9CAB98FAA626D Time : 0.0 sec. user=mdettweiler [2016-06-28 18:13:31] 711*2^1433781-1 is not prime. Res64: 2FC80041A44B9B8B Time : 0.0 sec. user=mdettweiler [2016-06-28 18:13:31] 735*2^1433781-1 is not prime. Res64: B0C5C28C59D812E1 Time : 0.0 sec. user=mdettweiler [2016-06-28 18:13:32] 751*2^1433781-1 is not prime. Res64: E6C87004ED41B1F7 Time : 0.0 sec. user=mdettweiler [2016-06-28 18:17:19] 777*2^1433781-1 is not prime. Res64: D5EADB6B196F11AD Time : 0.0 sec. user=mdettweiler [2016-06-28 18:17:19] 961*2^1433781-1 is not prime. Res64: 96782673890EF9E9 Time : 0.0 sec. user=mdettweiler [2016-06-28 18:17:20] 647*2^1433782-1 is not prime. Res64: E0A7F48ED385D9A5 Time : 0.0 sec. user=mdettweiler [2016-06-28 18:17:20] 705*2^1433782-1 is not prime. Res64: F5B7A38EDC9A61FF Time : 0.0 sec. user=mdettweiler [2016-06-28 18:17:20] 755*2^1433782-1 is not prime. Res64: B825BBAE2EED509F Time : 0.0 sec. user=mdettweiler [2016-06-28 18:56:38] 815*2^1433782-1 is not prime. Res64: 207864EF73DB5470 Time : 0.0 sec. user=mdettweiler [2016-06-28 18:56:42] 833*2^1433782-1 is not prime. Res64: C6EFE8A56047A71F Time : 0.0 sec. user=mdettweiler [2016-06-28 18:56:46] 867*2^1433782-1 is not prime. Res64: 7956A86DACD56CB4 Time : 0.0 sec. user=mdettweiler [2016-06-28 18:56:50] 881*2^1433782-1 is not prime. Res64: DB4B8348CCE3797F Time : 0.0 sec. user=mdettweiler [2016-06-28 18:56:54] 917*2^1433782-1 is not prime. Res64: 6E9BE87E7A15D673 Time : 0.0 sec. user=mdettweiler [2016-06-28 18:59:23] 1001*2^1433782-1 is not prime. Res64: 81715A14FF871B48 Time : 0.0 sec. user=mdettweiler [2016-06-28 18:59:29] 619*2^1433783-1 is not prime. Res64: F8D787E95D0481E9 Time : 0.0 sec. user=mdettweiler [2016-06-28 18:59:35] 643*2^1433783-1 is not prime. Res64: A1D128A7B51FA91C Time : 0.0 sec. user=mdettweiler [2016-06-28 18:59:41] 661*2^1433783-1 is not prime. Res64: A2E2D887B6DCAF6F Time : 0.0 sec. user=mdettweiler [2016-06-28 18:59:48] 771*2^1433783-1 is not prime. Res64: 00E5B927E2616CF9 Time : 0.0 sec. user=mdettweiler [2016-06-28 19:00:44] 813*2^1433774-1 is not prime. Res64: B2B8115687CF8152 Time : 0.0 sec. user=mdettweiler [2016-06-28 19:00:51] 873*2^1433774-1 is not prime. Res64: D9D915288FF3909A Time : 0.0 sec. user=mdettweiler [2016-06-28 19:00:52] 903*2^1433774-1 is not prime. Res64: DB0FF91E2D758F94 Time : 0.0 sec. user=mdettweiler [2016-06-28 19:00:59] 685*2^1433775-1 is not prime. Res64: 096BE69203558D97 Time : 0.0 sec. user=mdettweiler [2016-06-28 19:03:04] 605*2^1433784-1 is not prime. Res64: 6BA74B0012831FEC Time : 0.0 sec. user=mdettweiler [2016-06-28 19:03:11] 665*2^1433784-1 is not prime. Res64: D3E4AF78526A9506 Time : 0.0 sec. user=mdettweiler [2016-06-28 19:03:12] 683*2^1433784-1 is not prime. Res64: C9F3F30582E4F23A Time : 0.0 sec. user=mdettweiler [2016-06-28 19:03:13] 837*2^1433784-1 is not prime. Res64: 94A2CE131BAA822D Time : 0.0 sec. user=mdettweiler [2016-06-28 19:03:15] 899*2^1433784-1 is not prime. Res64: 6CEAD76C7805EBD6 Time : 0.0 sec. user=mdettweiler [2016-06-28 19:41:54] 983*2^1433784-1 is not prime. Res64: 43CE85D9ACC76397 Time : 0.0 sec. user=mdettweiler [2016-06-28 19:41:54] 699*2^1433785-1 is not prime. Res64: 44F35A37A3C70CA1 Time : 0.0 sec. user=mdettweiler [2016-06-28 19:41:55] 877*2^1433785-1 is not prime. Res64: EE202D880CCBDEDA Time : 0.0 sec. user=mdettweiler [2016-06-28 19:41:55] 885*2^1433785-1 is not prime. Res64: 3440422D0C79957A Time : 0.0 sec. user=mdettweiler [2016-06-28 19:41:56] 985*2^1433785-1 is not prime. Res64: CA8BA0FEA56BD78F Time : 0.0 sec. user=mdettweiler [2016-06-28 19:44:58] 997*2^1433785-1 is not prime. Res64: CF51E973ECEF8BA6 Time : 0.0 sec. user=mdettweiler [2016-06-28 19:44:58] 617*2^1433786-1 is not prime. Res64: 26799CF45C38B4EE Time : 0.0 sec. user=mdettweiler [2016-06-28 19:44:58] 645*2^1433786-1 is not prime. Res64: 13B9694F6A57FACA Time : 0.0 sec. user=mdettweiler [2016-06-28 19:44:59] 713*2^1433786-1 is not prime. Res64: E6DFE4377B3C85D5 Time : 0.0 sec. user=mdettweiler [2016-06-28 19:44:59] 755*2^1433786-1 is not prime. Res64: C65F3B4B463D0C17 Time : 0.0 sec. user=mdettweiler [2016-06-28 19:46:16] 785*2^1433786-1 is not prime. Res64: 6A6246C001FB2B17 Time : 0.0 sec. user=mdettweiler [2016-06-28 19:46:16] 815*2^1433786-1 is not prime. Res64: 62CDA5093BF9350B Time : 0.0 sec. user=mdettweiler [2016-06-28 19:46:17] 843*2^1433786-1 is not prime. Res64: 5665517B30C3FE77 Time : 0.0 sec. user=mdettweiler [2016-06-28 19:46:17] 651*2^1433787-1 is not prime. Res64: DC2B415054D839C2 Time : 0.0 sec. user=mdettweiler [2016-06-28 19:46:17] 699*2^1433787-1 is not prime. Res64: 7F4E37FA4136EA1C Time : 0.0 sec. user=mdettweiler [2016-06-28 19:48:32] 735*2^1433787-1 is not prime. Res64: 290DC5426813BD4F Time : 0.0 sec. user=mdettweiler [2016-06-28 19:48:32] 823*2^1433787-1 is not prime. Res64: 5739101B932AD6EE Time : 0.0 sec. user=mdettweiler [2016-06-28 19:48:33] 859*2^1433787-1 is not prime. Res64: FD3D74CA4C7BC4E2 Time : 0.0 sec. user=mdettweiler [2016-06-28 19:48:33] 961*2^1433787-1 is not prime. Res64: 1C8AF1C0DD738581 Time : 0.0 sec. user=mdettweiler [2016-06-28 19:48:34] 963*2^1433787-1 is not prime. Res64: 604B9ED2E665C5CF Time : 0.0 sec. user=mdettweiler [2016-06-28 20:27:01] 603*2^1433788-1 is not prime. Res64: C8B4B7F040C76AAD Time : 0.0 sec. user=mdettweiler [2016-06-28 20:27:01] 777*2^1433788-1 is not prime. Res64: 010577375FAEC58F Time : 0.0 sec. user=mdettweiler [2016-06-28 20:27:02] 655*2^1433789-1 is not prime. Res64: B11773D0D6705F57 Time : 0.0 sec. user=mdettweiler [2016-06-28 20:27:02] 697*2^1433789-1 is not prime. Res64: 7409BB027C64DC83 Time : 0.0 sec. user=mdettweiler [2016-06-28 20:27:03] 889*2^1433789-1 is not prime. Res64: 7E450ACBE4EC7A79 Time : 0.0 sec. user=mdettweiler [2016-06-28 20:29:46] 967*2^1433789-1 is not prime. Res64: CACC69776E195FAF Time : 0.0 sec. user=mdettweiler [2016-06-28 20:29:47] 991*2^1433789-1 is not prime. Res64: DA0F7FF6F0526EE8 Time : 0.0 sec. user=mdettweiler [2016-06-28 20:29:47] 635*2^1433790-1 is not prime. Res64: CFB52F4091A15C16 Time : 0.0 sec. user=mdettweiler [2016-06-28 20:29:48] 707*2^1433790-1 is not prime. Res64: 3C129CE5DA50AF13 Time : 0.0 sec. user=mdettweiler [2016-06-28 20:29:48] 767*2^1433790-1 is not prime. Res64: FCBE509FAD86EAA4 Time : 0.0 sec. user=mdettweiler [2016-06-28 20:31:15] 783*2^1433790-1 is not prime. Res64: C53451561005FC99 Time : 0.0 sec. user=mdettweiler [2016-06-28 20:31:15] 843*2^1433790-1 is not prime. Res64: 72E3055D59D10322 Time : 0.0 sec. user=mdettweiler [2016-06-28 20:31:16] 867*2^1433790-1 is not prime. Res64: 558C93D98DDC3E46 Time : 0.0 sec. user=mdettweiler [2016-06-28 20:31:16] 921*2^1433790-1 is not prime. Res64: 3B27189739D6833B Time : 0.0 sec. user=mdettweiler [2016-06-28 20:31:16] 945*2^1433790-1 is not prime. Res64: 67211A55EF3AA237 Time : 0.0 sec. user=mdettweiler [2016-06-28 20:33:46] 977*2^1433790-1 is not prime. Res64: 805417C1224A712E Time : 0.0 sec. user=mdettweiler [2016-06-28 21:12:44] 759*2^1433792-1 is not prime. Res64: 47309EA05942FD5A Time : 0.0 sec. user=mdettweiler [2016-06-28 21:12:44] 893*2^1433792-1 is not prime. Res64: B0201522667E06F1 Time : 0.0 sec. user=mdettweiler [2016-06-28 21:12:50] 923*2^1433792-1 is not prime. Res64: FDA8E4B519C586ED Time : 0.0 sec. user=mdettweiler [2016-06-28 21:12:57] 745*2^1433793-1 is not prime. Res64: 4949E67625A9F3D4 Time : 0.0 sec. user=mdettweiler [2016-06-28 21:13:03] 819*2^1433793-1 is not prime. Res64: 9E515A0AAB8DA12B Time : 0.0 sec. user=mdettweiler [2016-06-28 21:15:35] 937*2^1433793-1 is not prime. Res64: 65CBB259D298C113 Time : 0.0 sec. user=mdettweiler [2016-06-28 21:15:41] 987*2^1433793-1 is not prime. Res64: D2B0150F5EFC97D3 Time : 0.0 sec. user=mdettweiler [2016-06-28 21:15:48] 617*2^1433794-1 is not prime. Res64: BCFD1C3E60BB2C92 Time : 0.0 sec. user=mdettweiler [2016-06-28 21:15:53] 783*2^1433794-1 is not prime. Res64: 1B2D2F2CBA16058A Time : 0.0 sec. user=mdettweiler [2016-06-28 21:15:58] 799*2^1433795-1 is not prime. Res64: D0DC514F34ACD42F Time : 0.0 sec. user=mdettweiler [2016-06-28 21:17:07] 823*2^1433795-1 is not prime. Res64: 9F274BB584CA5432 Time : 0.0 sec. user=mdettweiler [2016-06-28 21:17:07] 855*2^1433795-1 is not prime. Res64: 916EDE00FBE7ED8F Time : 0.0 sec. user=mdettweiler [2016-06-28 21:17:14] 859*2^1433795-1 is not prime. Res64: A49D4470735E9C5D Time : 0.0 sec. user=mdettweiler [2016-06-28 21:17:21] 969*2^1433795-1 is not prime. Res64: 02F8CBA786A075EC Time : 0.0 sec. user=mdettweiler [2016-06-28 21:17:29] 777*2^1433796-1 is not prime. Res64: 59E64F986121DA68 Time : 0.0 sec. user=mdettweiler [2016-06-28 21:58:52] 789*2^1433796-1 is not prime. Res64: 0E6FC4E01B382596 Time : 0.0 sec. user=mdettweiler [2016-06-28 21:58:56] 845*2^1433796-1 is not prime. Res64: 0FFBC1E07324EB91 Time : 0.0 sec. user=mdettweiler [2016-06-28 21:59:00] 645*2^1433797-1 is not prime. Res64: 65B863A895B9E5A2 Time : 0.0 sec. user=mdettweiler [2016-06-28 21:59:04] 675*2^1433797-1 is not prime. Res64: F2594BED5B4076B3 Time : 0.0 sec. user=mdettweiler [2016-06-28 21:59:08] 685*2^1433797-1 is not prime. Res64: 145809842A511D1E Time : 0.0 sec. user=mdettweiler [2016-06-28 22:01:52] 691*2^1433797-1 is not prime. Res64: 692A79AD002CD4F4 Time : 0.0 sec. user=mdettweiler [2016-06-28 22:01:53] 717*2^1433797-1 is not prime. Res64: 333E4F08110F3A44 Time : 0.0 sec. user=mdettweiler [2016-06-28 22:01:53] 759*2^1433797-1 is not prime. Res64: C6C30ABE8D3FD919 Time : 0.0 sec. user=mdettweiler [2016-06-28 22:01:54] 937*2^1433797-1 is not prime. Res64: B6AB6D50321997E5 Time : 0.0 sec. user=mdettweiler [2016-06-28 22:01:55] 939*2^1433797-1 is not prime. Res64: 0AE65244B29C27E2 Time : 0.0 sec. user=mdettweiler [2016-06-28 22:03:33] 887*2^1433798-1 is not prime. Res64: BD59FCDBA9A1AC86 Time : 0.0 sec. user=mdettweiler [2016-06-28 22:03:34] 685*2^1433799-1 is not prime. Res64: 9F5AF497147EBF8B Time : 0.0 sec. user=mdettweiler [2016-06-28 22:03:35] 693*2^1433799-1 is not prime. Res64: 18C8AE09A7FB87C1 Time : 0.0 sec. user=mdettweiler [2016-06-28 22:03:37] 865*2^1433799-1 is not prime. Res64: B6D27FD498C120FF Time : 0.0 sec. user=mdettweiler [2016-06-28 22:03:38] 885*2^1433799-1 is not prime. Res64: 36DBB300E8C25D17 Time : 0.0 sec. user=mdettweiler [2016-06-28 22:45:02] 895*2^1433799-1 is not prime. Res64: D46E9780EC07862D Time : 0.0 sec. user=mdettweiler [2016-06-28 22:45:03] 991*2^1433799-1 is not prime. Res64: E141F4A71505BF7E Time : 0.0 sec. user=mdettweiler [2016-06-28 22:45:03] 755*2^1433800-1 is not prime. Res64: 1729C29F3D221898 Time : 0.0 sec. user=mdettweiler [2016-06-28 22:45:04] 765*2^1433800-1 is not prime. Res64: 73596C604010A85A Time : 0.0 sec. user=mdettweiler [2016-06-28 22:45:04] 827*2^1433800-1 is not prime. Res64: 9858AECA75D0CA36 Time : 0.0 sec. user=mdettweiler [2016-06-28 22:47:36] 843*2^1433800-1 is not prime. Res64: 13DFB7D693A18444 Time : 0.0 sec. user=mdettweiler [2016-06-28 22:47:37] 855*2^1433800-1 is not prime. Res64: CA75DD1ED9B4BA93 Time : 0.0 sec. user=mdettweiler [2016-06-28 22:47:37] 905*2^1433800-1 is not prime. Res64: 2A475548A2DBDD55 Time : 0.0 sec. user=mdettweiler [2016-06-28 22:47:37] 995*2^1433800-1 is not prime. Res64: 93F4B3799882F96B Time : 0.0 sec. user=mdettweiler [2016-06-28 22:47:38] 651*2^1433801-1 is not prime. Res64: D2B195ED5CAF815B Time : 0.0 sec. user=mdettweiler [2016-06-28 22:49:35] 799*2^1433801-1 is not prime. Res64: AC70A5AAABBB1F21 Time : 0.0 sec. user=mdettweiler [2016-06-28 22:49:36] 981*2^1433801-1 is not prime. Res64: 0682411F1DDFA444 Time : 0.0 sec. user=mdettweiler [2016-06-28 22:49:36] 677*2^1433802-1 is not prime. Res64: EADE112E27F03277 Time : 0.0 sec. user=mdettweiler [2016-06-28 22:49:38] 681*2^1433802-1 is not prime. Res64: B753B7194064019A Time : 0.0 sec. user=mdettweiler [2016-06-28 22:49:40] 755*2^1433802-1 is not prime. Res64: 7F87BDD5F246D3C6 Time : 0.0 sec. user=mdettweiler [2016-06-28 23:27:38] 609*2^1433791-1 is not prime. Res64: DB1C9B732C5447E2 Time : 0.0 sec. user=mdettweiler [2016-06-28 23:27:38] 723*2^1433791-1 is not prime. Res64: 2801CB555C5D348A Time : 0.0 sec. user=mdettweiler [2016-06-28 23:27:39] 993*2^1433791-1 is not prime. Res64: 4817399EE54A51B2 Time : 0.0 sec. user=mdettweiler [2016-06-28 23:27:40] 999*2^1433791-1 is not prime. Res64: 4AA8CDCD8E337C3C Time : 0.0 sec. user=mdettweiler [2016-06-28 23:30:52] 797*2^1433802-1 is not prime. Res64: 1962015B9CEF1A5B Time : 0.0 sec. user=mdettweiler [2016-06-28 23:30:58] 807*2^1433802-1 is not prime. Res64: C1349B49748DF355 Time : 0.0 sec. user=mdettweiler [2016-06-28 23:31:05] 825*2^1433802-1 is not prime. Res64: F83ABE61ADF5F166 Time : 0.0 sec. user=mdettweiler [2016-06-28 23:31:11] 921*2^1433802-1 is not prime. Res64: B0DFE005A242844A Time : 0.0 sec. user=mdettweiler [2016-06-28 23:31:17] 941*2^1433802-1 is not prime. Res64: 4B6666422D318EF3 Time : 0.0 sec. user=mdettweiler [2016-06-28 23:33:01] 615*2^1433803-1 is not prime. Res64: FA1F292B120FB558 Time : 0.0 sec. user=mdettweiler [2016-06-28 23:33:07] 699*2^1433803-1 is not prime. Res64: 812BDADFC7A8D43A Time : 0.0 sec. user=mdettweiler [2016-06-28 23:33:08] 861*2^1433803-1 is not prime. Res64: 08A7C402BEC8943F Time : 0.0 sec. user=mdettweiler [2016-06-28 23:33:15] 999*2^1433803-1 is not prime. Res64: 7600322AD2A6E93E Time : 0.0 sec. user=mdettweiler [2016-06-28 23:33:22] 617*2^1433804-1 is not prime. Res64: E5BB7C8E525246E0 Time : 0.0 sec. user=mdettweiler [2016-06-28 23:35:16] 675*2^1433804-1 is not prime. Res64: 6A4074AACCE93332 Time : 0.0 sec. user=mdettweiler [2016-06-28 23:35:23] 753*2^1433804-1 is not prime. Res64: 95FA929EEE48AC8D Time : 0.0 sec. user=mdettweiler [2016-06-28 23:35:30] 899*2^1433804-1 is not prime. Res64: 5651FBFFB48E9FEF Time : 0.0 sec. user=mdettweiler [2016-06-28 23:35:36] 923*2^1433804-1 is not prime. Res64: 2EC948F6F8C70818 Time : 0.0 sec. user=mdettweiler [2016-06-28 23:35:43] 607*2^1433805-1 is not prime. Res64: 7EC2118411D336F3 Time : 0.0 sec.