user=mdettweiler [2015-12-20 00:12:19] 961*2^1417783-1 is not prime. Res64: 6BB8636400767707 Time : 0.0 sec. user=mdettweiler [2015-12-20 00:12:20] 969*2^1417783-1 is not prime. Res64: DC5A19B388B6B64F Time : 0.0 sec. user=mdettweiler [2015-12-20 00:12:23] 617*2^1417784-1 is not prime. Res64: 661EB1836E5440B6 Time : 0.0 sec. user=mdettweiler [2015-12-20 00:12:23] 659*2^1417784-1 is not prime. Res64: 943BEB6716B74921 Time : 0.0 sec. user=mdettweiler [2015-12-20 00:29:50] 677*2^1417784-1 is not prime. Res64: 933DB9D511E6C846 Time : 0.0 sec. user=mdettweiler [2015-12-20 00:29:51] 689*2^1417784-1 is not prime. Res64: AF817879C5C1CBC4 Time : 0.0 sec. user=mdettweiler [2015-12-20 00:29:51] 743*2^1417784-1 is not prime. Res64: 0DA45BF3314E4CAD Time : 0.0 sec. user=mdettweiler [2015-12-20 00:29:52] 873*2^1417784-1 is not prime. Res64: 777D1F3E22AA2895 Time : 0.0 sec. user=mdettweiler [2015-12-20 00:47:19] 917*2^1417784-1 is not prime. Res64: 688B49794E3A9F59 Time : 0.0 sec. user=mdettweiler [2015-12-20 00:47:19] 679*2^1417785-1 is not prime. Res64: C164CCA7CB69FD1B Time : 0.0 sec. user=mdettweiler [2015-12-20 00:47:21] 759*2^1417785-1 is not prime. Res64: 9F978B31220718E2 Time : 0.0 sec. user=mdettweiler [2015-12-20 00:47:22] 805*2^1417785-1 is not prime. Res64: 8DF45DDD90414624 Time : 0.0 sec. user=mdettweiler [2015-12-20 01:04:47] 831*2^1417785-1 is not prime. Res64: 7715475CFBF29854 Time : 0.0 sec. user=mdettweiler [2015-12-20 01:04:49] 921*2^1417785-1 is not prime. Res64: F0EE7040D8D2D6BB Time : 0.0 sec. user=mdettweiler [2015-12-20 01:04:50] 997*2^1417785-1 is not prime. Res64: 7044043EE53B8B72 Time : 0.0 sec. user=mdettweiler [2015-12-20 01:04:51] 677*2^1417786-1 is not prime. Res64: 9168FD71C7F748EC Time : 0.0 sec. user=mdettweiler [2015-12-20 01:22:35] 717*2^1417786-1 is not prime. Res64: 7A3E5E073B1EECDC Time : 0.0 sec. user=mdettweiler [2015-12-20 01:22:35] 747*2^1417786-1 is not prime. Res64: 2095B75783C57431 Time : 0.0 sec. user=mdettweiler [2015-12-20 01:22:36] 803*2^1417786-1 is not prime. Res64: 7B2278B4E5A9B7E0 Time : 0.0 sec. user=mdettweiler [2015-12-20 01:22:36] 741*2^1417786-1 is not prime. Res64: 1CEF6E5ADE1A7750 Time : 0.0 sec. user=mdettweiler [2015-12-20 01:40:08] 619*2^1417787-1 is not prime. Res64: BC87D531862D3B86 Time : 0.0 sec. user=mdettweiler [2015-12-20 01:40:08] 941*2^1417786-1 is not prime. Res64: FA56E6D6ECE17233 Time : 0.0 sec. user=mdettweiler [2015-12-20 01:40:09] 621*2^1417787-1 is not prime. Res64: DCD46D5D66084A73 Time : 0.0 sec. user=mdettweiler [2015-12-20 01:40:09] 603*2^1417787-1 is not prime. Res64: DDE2A02554326763 Time : 0.0 sec. user=mdettweiler [2015-12-20 01:57:39] 651*2^1417787-1 is not prime. Res64: 3A62AF07C2B04777 Time : 0.0 sec. user=mdettweiler [2015-12-20 01:57:40] 699*2^1417787-1 is not prime. Res64: A7F724B34DAF9F3A Time : 0.0 sec. user=mdettweiler [2015-12-20 01:57:40] 703*2^1417787-1 is not prime. Res64: C5ED07C47E01E500 Time : 0.0 sec. user=mdettweiler [2015-12-20 01:57:40] 825*2^1417787-1 is not prime. Res64: EBF88640F576CD2E Time : 0.0 sec. user=mdettweiler [2015-12-20 02:15:07] 883*2^1417787-1 is not prime. Res64: 40FDF04A38B82465 Time : 0.0 sec. user=mdettweiler [2015-12-20 02:15:08] 901*2^1417787-1 is not prime. Res64: 85B3392FDAF0EE33 Time : 0.0 sec. user=mdettweiler [2015-12-20 02:15:08] 909*2^1417787-1 is not prime. Res64: 5367CE9683638CA1 Time : 0.0 sec. user=mdettweiler [2015-12-20 02:15:08] 635*2^1417788-1 is not prime. Res64: 1715006CFF693D98 Time : 0.0 sec. user=mdettweiler [2015-12-20 02:32:38] 725*2^1417788-1 is not prime. Res64: 534B57785A401450 Time : 0.0 sec. user=mdettweiler [2015-12-20 02:32:39] 689*2^1417788-1 is not prime. Res64: A171E8BCA9E7A18A Time : 0.0 sec. user=mdettweiler [2015-12-20 02:32:39] 887*2^1417788-1 is not prime. Res64: 6F5340050A8A9879 Time : 0.0 sec. user=mdettweiler [2015-12-20 02:32:40] 695*2^1417788-1 is not prime. Res64: EF6E75D0ED82A3D1 Time : 0.0 sec. user=mdettweiler [2015-12-20 02:50:21] 681*2^1417789-1 is not prime. Res64: 5B49E56B367CC38F Time : 0.0 sec. user=mdettweiler [2015-12-20 02:50:21] 999*2^1417788-1 is not prime. Res64: E71AE7EEE4EFF224 Time : 0.0 sec. user=mdettweiler [2015-12-20 02:50:21] 817*2^1417789-1 is not prime. Res64: 80275AB48BFF45FB Time : 0.0 sec. user=mdettweiler [2015-12-20 02:50:21] 619*2^1417789-1 is not prime. Res64: 3B578878B2518DB3 Time : 0.0 sec. user=mdettweiler [2015-12-20 03:07:50] 825*2^1417789-1 is not prime. Res64: ADCFC6C22DAB7659 Time : 0.0 sec. user=mdettweiler [2015-12-20 03:07:50] 711*2^1417790-1 is not prime. Res64: 19879B3FD7CF0B35 Time : 0.0 sec. user=mdettweiler [2015-12-20 03:07:50] 895*2^1417789-1 is not prime. Res64: C5E0C3A17CAD3519 Time : 0.0 sec. user=mdettweiler [2015-12-20 03:07:50] 743*2^1417790-1 is not prime. Res64: 43C016BB1C1A800A Time : 0.0 sec. user=mdettweiler [2015-12-20 03:25:21] 831*2^1417790-1 is not prime. Res64: FACE71475777501A Time : 0.0 sec. user=mdettweiler [2015-12-20 03:25:23] 885*2^1417790-1 is not prime. Res64: 8C95B615D863C1A7 Time : 0.0 sec. user=mdettweiler [2015-12-20 03:25:23] 843*2^1417790-1 is not prime. Res64: DAD6CF606E106A36 Time : 0.0 sec. user=mdettweiler [2015-12-20 03:25:24] 609*2^1417791-1 is not prime. Res64: D9E90639AFBD1627 Time : 0.0 sec. user=mdettweiler [2015-12-20 03:42:55] 651*2^1417791-1 is not prime. Res64: A68A3C5EA962FC68 Time : 0.0 sec. user=mdettweiler [2015-12-20 03:42:56] 861*2^1417791-1 is not prime. Res64: 6DCB62DA1B526A0A Time : 0.0 sec. user=mdettweiler [2015-12-20 03:42:57] 669*2^1417791-1 is not prime. Res64: 5ECC50D57AECE005 Time : 0.0 sec. user=mdettweiler [2015-12-20 03:42:57] 879*2^1417791-1 is not prime. Res64: 01FE9EE520A703A7 Time : 0.0 sec. user=mdettweiler [2015-12-20 04:00:57] 609*2^1417792-1 is not prime. Res64: 278FC992C095B71A Time : 0.0 sec. user=mdettweiler [2015-12-20 04:00:58] 975*2^1417791-1 is not prime. Res64: D9969AC559C02F69 Time : 0.0 sec. user=mdettweiler [2015-12-20 04:00:59] 677*2^1417792-1 is not prime. Res64: C97BF3E3C7E6E304 Time : 0.0 sec. user=mdettweiler [2015-12-20 04:00:59] 603*2^1417792-1 is not prime. Res64: 80D20386DE02D1EE Time : 0.0 sec. user=mdettweiler [2015-12-20 04:18:48] 863*2^1417792-1 is not prime. Res64: E13D8E727F28D475 Time : 0.0 sec. user=mdettweiler [2015-12-20 04:18:49] 873*2^1417792-1 is not prime. Res64: 2FEEDD61A5B14F85 Time : 0.0 sec. user=mdettweiler [2015-12-20 04:18:49] 705*2^1417792-1 is not prime. Res64: B93F61335C42F378 Time : 0.0 sec. user=mdettweiler [2015-12-20 04:18:49] 723*2^1417792-1 is not prime. Res64: EED4F0651B7CDE77 Time : 0.0 sec. user=mdettweiler [2015-12-20 04:36:24] 847*2^1417793-1 is not prime. Res64: 4C7A24A247FFA04C Time : 0.0 sec. user=mdettweiler [2015-12-20 04:36:24] 631*2^1417793-1 is not prime. Res64: DF0FC623B73F55C7 Time : 0.0 sec. user=mdettweiler [2015-12-20 04:36:24] 651*2^1417794-1 is not prime. Res64: 0A2F654D9FB71751 Time : 0.0 sec. user=mdettweiler [2015-12-20 04:36:24] 721*2^1417793-1 is not prime. Res64: 8A5EFBE85E13B52E Time : 0.0 sec. user=mdettweiler [2015-12-20 04:54:00] 711*2^1417794-1 is not prime. Res64: 7B1602A88CF280AE Time : 0.0 sec. user=mdettweiler [2015-12-20 04:54:01] 663*2^1417794-1 is not prime. Res64: 23B943DD6D7ADCDE Time : 0.0 sec. user=mdettweiler [2015-12-20 04:54:01] 731*2^1417794-1 is not prime. Res64: 5CA3BF29DED22DAD Time : 0.0 sec. user=mdettweiler [2015-12-20 04:54:01] 671*2^1417794-1 is not prime. Res64: 85063D27FB93B997 Time : 0.0 sec. user=mdettweiler [2015-12-20 05:11:32] 881*2^1417794-1 is not prime. Res64: D2BE7AB1DE6E27CD Time : 0.0 sec. user=mdettweiler [2015-12-20 05:11:32] 765*2^1417794-1 is not prime. Res64: A526C4CCACB4D7FD Time : 0.0 sec. user=mdettweiler [2015-12-20 05:11:33] 893*2^1417794-1 is not prime. Res64: 592710CDFCE3FE7A Time : 0.0 sec. user=mdettweiler [2015-12-20 05:11:33] 783*2^1417794-1 is not prime. Res64: 1446720FE989473F Time : 0.0 sec. user=mdettweiler [2015-12-20 05:29:02] 603*2^1417795-1 is not prime. Res64: 5F8574B4D0B63517 Time : 0.0 sec. user=mdettweiler [2015-12-20 05:29:02] 649*2^1417795-1 is not prime. Res64: 8B9E420A013705B4 Time : 0.0 sec. user=mdettweiler [2015-12-20 05:29:02] 709*2^1417795-1 is not prime. Res64: 6BDF5BC303C093A7 Time : 0.0 sec. user=mdettweiler [2015-12-20 05:29:03] 871*2^1417795-1 is not prime. Res64: 486381D7E29F7516 Time : 0.0 sec. user=mdettweiler [2015-12-20 05:46:32] 683*2^1417796-1 is not prime. Res64: 2D4B0A483BA2F7F7 Time : 0.0 sec. user=mdettweiler [2015-12-20 05:46:32] 767*2^1417796-1 is not prime. Res64: B2D591D4E07D7449 Time : 0.0 sec. user=mdettweiler [2015-12-20 05:46:33] 633*2^1417796-1 is not prime. Res64: 49448E27463E02E9 Time : 0.0 sec. user=mdettweiler [2015-12-20 05:46:33] 669*2^1417796-1 is not prime. Res64: B6B7330F7705179A Time : 0.0 sec. user=mdettweiler [2015-12-20 06:04:01] 903*2^1417796-1 is not prime. Res64: 83D04FD1CA8F8E5F Time : 0.0 sec. user=mdettweiler [2015-12-20 06:04:01] 803*2^1417796-1 is not prime. Res64: CF5272858080BB60 Time : 0.0 sec. user=mdettweiler [2015-12-20 06:04:03] 691*2^1417797-1 is not prime. Res64: 0239674C067E41C9 Time : 0.0 sec. user=mdettweiler [2015-12-20 06:04:03] 875*2^1417796-1 is not prime. Res64: 87043422EC189462 Time : 0.0 sec. user=mdettweiler [2015-12-20 06:21:57] 711*2^1417797-1 is not prime. Res64: E9935F5EBAB8393D Time : 0.0 sec. user=mdettweiler [2015-12-20 06:21:58] 769*2^1417797-1 is not prime. Res64: 557843970982091D Time : 0.0 sec. user=mdettweiler [2015-12-20 06:21:58] 727*2^1417797-1 is not prime. Res64: D1C11F550257050D Time : 0.0 sec. user=mdettweiler [2015-12-20 06:21:58] 849*2^1417797-1 is not prime. Res64: BBFE4DCEFA374EF2 Time : 0.0 sec. user=mdettweiler [2015-12-20 06:39:27] 891*2^1417797-1 is not prime. Res64: AB521E5DA5F5BCA2 Time : 0.0 sec. user=mdettweiler [2015-12-20 06:39:27] 895*2^1417797-1 is not prime. Res64: 97A137A1D7E064D3 Time : 0.0 sec. user=mdettweiler [2015-12-20 06:39:28] 955*2^1417797-1 is not prime. Res64: 071898A0847E3B64 Time : 0.0 sec. user=mdettweiler [2015-12-20 06:39:28] 991*2^1417797-1 is not prime. Res64: 1322845F557A7D8E Time : 0.0 sec. user=mdettweiler [2015-12-20 06:56:56] 663*2^1417798-1 is not prime. Res64: ACE8054DE98EBC8B Time : 0.0 sec. user=mdettweiler [2015-12-20 06:56:56] 999*2^1417797-1 is not prime. Res64: 938B439254114DB1 Time : 0.0 sec. user=mdettweiler [2015-12-20 06:56:56] 603*2^1417798-1 is not prime. Res64: EEAF0C43724687B4 Time : 0.0 sec. user=mdettweiler [2015-12-20 06:56:56] 815*2^1417798-1 is not prime. Res64: C47F521F081AD795 Time : 0.0 sec. user=mdettweiler [2015-12-20 07:14:25] 971*2^1417798-1 is not prime. Res64: 89A4C790CA490EF8 Time : 0.0 sec. user=mdettweiler [2015-12-20 07:14:26] 825*2^1417798-1 is not prime. Res64: 19C04EDE9DB8495D Time : 0.0 sec. user=mdettweiler [2015-12-20 07:14:26] 615*2^1417799-1 is not prime. Res64: D2034FEDF523A134 Time : 0.0 sec. user=mdettweiler [2015-12-20 07:14:27] 933*2^1417798-1 is not prime. Res64: 44B981F140489A7F Time : 0.0 sec. user=mdettweiler [2015-12-20 07:32:13] 661*2^1417799-1 is not prime. Res64: CBADD377041ED88D Time : 0.0 sec. user=mdettweiler [2015-12-20 07:32:13] 693*2^1417799-1 is not prime. Res64: 77C4E7622BF096AA Time : 0.0 sec. user=mdettweiler [2015-12-20 07:32:14] 741*2^1417799-1 is not prime. Res64: 902B7DB8059671AE Time : 0.0 sec. user=mdettweiler [2015-12-20 07:32:15] 745*2^1417799-1 is not prime. Res64: 0ABF8A2D7E6F2093 Time : 0.0 sec. user=mdettweiler [2015-12-20 07:49:42] 859*2^1417799-1 is not prime. Res64: 61F6B182995B43DD Time : 0.0 sec. user=mdettweiler [2015-12-20 07:49:42] 943*2^1417799-1 is not prime. Res64: D27F42D75AD90168 Time : 0.0 sec. user=mdettweiler [2015-12-20 07:49:43] 949*2^1417799-1 is not prime. Res64: 2D52EBF48633C272 Time : 0.0 sec. user=mdettweiler [2015-12-20 07:49:43] 635*2^1417800-1 is not prime. Res64: 1A6CB8591C950AA2 Time : 0.0 sec. user=mdettweiler [2015-12-20 08:07:11] 689*2^1417800-1 is not prime. Res64: E8D08612D6788235 Time : 0.0 sec. user=mdettweiler [2015-12-20 08:07:12] 725*2^1417800-1 is not prime. Res64: 9376D06C3F5BE345 Time : 0.0 sec. user=mdettweiler [2015-12-20 08:07:12] 779*2^1417800-1 is not prime. Res64: 7CC0BDC548E0D931 Time : 0.0 sec. user=mdettweiler [2015-12-20 08:07:12] 983*2^1417800-1 is not prime. Res64: CD7D1EC3115C8F06 Time : 0.0 sec. user=mdettweiler [2015-12-20 08:24:43] 615*2^1417801-1 is not prime. Res64: 53BC58631AFC853C Time : 0.0 sec. user=mdettweiler [2015-12-20 08:24:43] 639*2^1417801-1 is not prime. Res64: 5BEA2FAC4EE02FF9 Time : 0.0 sec. user=mdettweiler [2015-12-20 08:24:43] 715*2^1417801-1 is not prime. Res64: 73969C6FD5755761 Time : 0.0 sec. user=mdettweiler [2015-12-20 08:24:44] 741*2^1417801-1 is not prime. Res64: 164628F740103781 Time : 0.0 sec. user=mdettweiler [2015-12-20 08:42:11] 747*2^1417801-1 is not prime. Res64: FF11FF0A0A97A55A Time : 0.0 sec. user=mdettweiler [2015-12-20 08:42:11] 789*2^1417801-1 is not prime. Res64: FB70CB6AB4B7A4CB Time : 0.0 sec. user=mdettweiler [2015-12-20 08:42:12] 931*2^1417801-1 is not prime. Res64: BD72E2E1FBFF3CE5 Time : 0.0 sec. user=mdettweiler [2015-12-20 08:42:12] 939*2^1417801-1 is not prime. Res64: C009001178D09A5C Time : 0.0 sec. user=mdettweiler [2015-12-20 08:59:40] 987*2^1417801-1 is not prime. Res64: EFF50AE214DB7F5C Time : 0.0 sec. user=mdettweiler [2015-12-20 08:59:41] 767*2^1417802-1 is not prime. Res64: 7F083A4A64169B77 Time : 0.0 sec. user=mdettweiler [2015-12-20 08:59:41] 785*2^1417802-1 is not prime. Res64: 0107D591ECB92085 Time : 0.0 sec. user=mdettweiler [2015-12-20 08:59:41] 797*2^1417802-1 is not prime. Res64: F369858440873CB5 Time : 0.0 sec. user=mdettweiler [2015-12-20 09:17:10] 867*2^1417802-1 is not prime. Res64: C02C38AFDA0ADE94 Time : 0.0 sec. user=mdettweiler [2015-12-20 09:17:10] 921*2^1417802-1 is not prime. Res64: C34751D432199E8D Time : 0.0 sec. user=mdettweiler [2015-12-20 09:17:10] 911*2^1417802-1 is not prime. Res64: 5BA87D838E211CC3 Time : 0.0 sec. user=mdettweiler [2015-12-20 09:17:10] 941*2^1417802-1 is not prime. Res64: 4A0C14656D57FA44 Time : 0.0 sec. user=mdettweiler [2015-12-20 09:34:42] 739*2^1417803-1 is not prime. Res64: 978C56929B0A6CAC Time : 0.0 sec. user=mdettweiler [2015-12-20 09:34:42] 801*2^1417803-1 is not prime. Res64: AC9AF4ACEE0FB0C3 Time : 0.0 sec. user=mdettweiler [2015-12-20 09:34:43] 675*2^1417803-1 is not prime. Res64: B341C603B1CA40F6 Time : 0.0 sec. user=mdettweiler [2015-12-20 09:34:43] 723*2^1417803-1 is not prime. Res64: F83A3F8D8A647F5D Time : 0.0 sec. user=mdettweiler [2015-12-20 09:52:12] 615*2^1417804-1 is not prime. Res64: 327844864B252EE0 Time : 0.0 sec. user=mdettweiler [2015-12-20 09:52:12] 891*2^1417803-1 is not prime. Res64: D5585625B082DB18 Time : 0.0 sec. user=mdettweiler [2015-12-20 09:52:12] 639*2^1417804-1 is not prime. Res64: CA3378D8980AF9AF Time : 0.0 sec. user=mdettweiler [2015-12-20 09:52:13] 913*2^1417803-1 is not prime. Res64: 398E71ADBC0068DA Time : 0.0 sec. user=mdettweiler [2015-12-20 10:09:41] 665*2^1417804-1 is not prime. Res64: 6D9F6F07840A75FE Time : 0.0 sec. user=mdettweiler [2015-12-20 10:09:41] 843*2^1417804-1 is not prime. Res64: BC201730D6E84E19 Time : 0.0 sec. user=mdettweiler [2015-12-20 10:09:42] 677*2^1417804-1 is not prime. Res64: 18F511B5B33EFABA Time : 0.0 sec. user=mdettweiler [2015-12-20 10:09:42] 869*2^1417804-1 is not prime. Res64: AE649BFD0BA8A4BE Time : 0.0 sec. user=mdettweiler [2015-12-20 10:27:13] 989*2^1417804-1 is not prime. Res64: 873FBE475CBDDAE5 Time : 0.0 sec. user=mdettweiler [2015-12-20 10:27:14] 607*2^1417805-1 is not prime. Res64: D1A2F52BC602AAC5 Time : 0.0 sec. user=mdettweiler [2015-12-20 10:27:14] 649*2^1417805-1 is not prime. Res64: 94E3CF5B68D60B8A Time : 0.0 sec. user=mdettweiler [2015-12-20 10:27:14] 757*2^1417805-1 is not prime. Res64: 827B3E24103EB199 Time : 0.0 sec. user=mdettweiler [2015-12-20 10:44:43] 915*2^1417805-1 is not prime. Res64: 463655C413B7AF64 Time : 0.0 sec. user=mdettweiler [2015-12-20 10:44:43] 981*2^1417805-1 is not prime. Res64: 11F414A288826A40 Time : 0.0 sec. user=mdettweiler [2015-12-20 10:44:46] 759*2^1417805-1 is not prime. Res64: BC43814ACBAD9EFF Time : 0.0 sec. user=mdettweiler [2015-12-20 10:44:46] 777*2^1417805-1 is not prime. Res64: DB41A9BDB2483358 Time : 0.0 sec. user=mdettweiler [2015-12-20 11:02:13] 677*2^1417806-1 is not prime. Res64: 715FB9A87256EAE1 Time : 0.0 sec. user=mdettweiler [2015-12-20 11:02:14] 601*2^1417807-1 is not prime. Res64: 48C81CB9F11A3A0D Time : 0.0 sec. user=mdettweiler [2015-12-20 11:02:15] 639*2^1417807-1 is not prime. Res64: 110ABE93CF420AD2 Time : 0.0 sec. user=mdettweiler [2015-12-20 11:02:16] 693*2^1417807-1 is not prime. Res64: F01E1B7934652697 Time : 0.0 sec. user=mdettweiler [2015-12-20 11:19:59] 829*2^1417807-1 is not prime. Res64: 337555599460504D Time : 0.0 sec. user=mdettweiler [2015-12-20 11:19:59] 841*2^1417807-1 is not prime. Res64: F4B1E8EEC03B7124 Time : 0.0 sec. user=mdettweiler [2015-12-20 11:20:00] 889*2^1417807-1 is not prime. Res64: F059220629EECDC9 Time : 0.0 sec. user=mdettweiler [2015-12-20 11:20:01] 951*2^1417807-1 is not prime. Res64: 6013981A9FD58CC7 Time : 0.0 sec. user=mdettweiler [2015-12-20 11:37:32] 657*2^1417808-1 is not prime. Res64: D13D6E300F192E2D Time : 0.0 sec. user=mdettweiler [2015-12-20 11:37:32] 615*2^1417808-1 is not prime. Res64: 00E60714AF1F6A39 Time : 0.0 sec. user=mdettweiler [2015-12-20 11:37:32] 773*2^1417808-1 is not prime. Res64: B6CA7B3B458081E6 Time : 0.0 sec. user=mdettweiler [2015-12-20 11:37:32] 617*2^1417808-1 is not prime. Res64: 79D88ADD3561F119 Time : 0.0 sec. user=mdettweiler [2015-12-20 11:55:00] 963*2^1417808-1 is not prime. Res64: 17F3ED780568FC12 Time : 0.0 sec. user=mdettweiler [2015-12-20 11:55:01] 781*2^1417809-1 is not prime. Res64: 2B84C0DDF318D701 Time : 0.0 sec. user=mdettweiler [2015-12-20 11:55:01] 845*2^1417808-1 is not prime. Res64: 1A8CE2B0E308F247 Time : 0.0 sec. user=mdettweiler [2015-12-20 11:55:02] 875*2^1417808-1 is not prime. Res64: C9041F71F6C1552F Time : 0.0 sec. user=mdettweiler [2015-12-20 12:12:29] 817*2^1417809-1 is not prime. Res64: 48D977A66C954F32 Time : 0.0 sec. user=mdettweiler [2015-12-20 12:12:30] 651*2^1417810-1 is not prime. Res64: 5F1061A6EF939926 Time : 0.0 sec. user=mdettweiler [2015-12-20 12:12:30] 731*2^1417810-1 is not prime. Res64: 4E93DDF614583515 Time : 0.0 sec. user=mdettweiler [2015-12-20 12:12:30] 801*2^1417810-1 is not prime. Res64: 0E190F623C00B2CF Time : 0.0 sec. user=mdettweiler [2015-12-20 12:30:02] 825*2^1417810-1 is not prime. Res64: C00AC33905496346 Time : 0.0 sec. user=mdettweiler [2015-12-20 12:30:02] 987*2^1417810-1 is not prime. Res64: 92DD04BAA5FD22E1 Time : 0.0 sec. user=mdettweiler [2015-12-20 12:30:03] 845*2^1417810-1 is not prime. Res64: 855DC2FC38521E21 Time : 0.0 sec. user=mdettweiler [2015-12-20 12:30:03] 603*2^1417811-1 is not prime. Res64: 8B66FA098AFD5041 Time : 0.0 sec. user=mdettweiler [2015-12-20 12:47:32] 759*2^1417811-1 is not prime. Res64: E8C2E2D61D8FD2CD Time : 0.0 sec. user=mdettweiler [2015-12-20 12:47:32] 943*2^1417811-1 is not prime. Res64: E98EA3A8373AE253 Time : 0.0 sec. user=mdettweiler [2015-12-20 12:47:33] 841*2^1417811-1 is not prime. Res64: 4A3717D1E22FB31C Time : 0.0 sec. user=mdettweiler [2015-12-20 12:47:33] 993*2^1417811-1 is not prime. Res64: 3FE765464D0E3346 Time : 0.0 sec. user=mdettweiler [2015-12-20 13:05:02] 779*2^1417812-1 is not prime. Res64: 360315C09ACA342F Time : 0.0 sec. user=mdettweiler [2015-12-20 13:05:02] 633*2^1417812-1 is not prime. Res64: BEE5AD3ED7BDF378 Time : 0.0 sec. user=mdettweiler [2015-12-20 13:05:03] 843*2^1417812-1 is not prime. Res64: 05264629539225D5 Time : 0.0 sec. user=mdettweiler [2015-12-20 13:05:04] 699*2^1417812-1 is not prime. Res64: A6A7C9B09D5F97DA Time : 0.0 sec. user=mdettweiler [2015-12-20 13:23:00] 607*2^1417813-1 is not prime. Res64: B92ADC268D64D631 Time : 0.0 sec. user=mdettweiler [2015-12-20 13:23:00] 621*2^1417813-1 is not prime. Res64: 600C31CDFBC4ECD6 Time : 0.0 sec. user=mdettweiler [2015-12-20 13:23:01] 625*2^1417813-1 is not prime. Res64: FCE8A16D44070827 Time : 0.0 sec. user=mdettweiler [2015-12-20 13:23:01] 721*2^1417813-1 is not prime. Res64: A393A812CA1B0E84 Time : 0.0 sec. user=mdettweiler [2015-12-20 13:40:30] 835*2^1417813-1 is not prime. Res64: B1B3FB7E35298D20 Time : 0.0 sec. user=mdettweiler [2015-12-20 13:40:30] 915*2^1417813-1 is not prime. Res64: 09E1E07430BF28C8 Time : 0.0 sec. user=mdettweiler [2015-12-20 13:40:31] 937*2^1417813-1 is not prime. Res64: DEC7FAD369966B19 Time : 0.0 sec. user=mdettweiler [2015-12-20 13:40:31] 885*2^1417813-1 is not prime. Res64: 4F801DC0B313048A Time : 0.0 sec. user=mdettweiler [2015-12-20 13:57:58] 979*2^1417813-1 is not prime. Res64: C49C6D137CCC8BEB Time : 0.0 sec. user=mdettweiler [2015-12-20 13:57:59] 987*2^1417813-1 is not prime. Res64: 791E202247294462 Time : 0.0 sec. user=mdettweiler [2015-12-20 13:57:59] 645*2^1417814-1 is not prime. Res64: CCD05DD3A5CAA2DD Time : 0.0 sec. user=mdettweiler [2015-12-20 13:57:59] 665*2^1417814-1 is not prime. Res64: 05C68F3750C96DF5 Time : 0.0 sec. user=mdettweiler [2015-12-20 14:15:28] 675*2^1417814-1 is not prime. Res64: 80A89240200BFC94 Time : 0.0 sec. user=mdettweiler [2015-12-20 14:15:28] 795*2^1417814-1 is not prime. Res64: 0FF535117DB5535C Time : 0.0 sec. user=mdettweiler [2015-12-20 14:15:28] 731*2^1417814-1 is not prime. Res64: E7712A631A7E2484 Time : 0.0 sec. user=mdettweiler [2015-12-20 14:15:28] 851*2^1417814-1 is not prime. Res64: 8F61F5CA905D17EC Time : 0.0 sec. user=mdettweiler [2015-12-20 14:32:56] 885*2^1417814-1 is not prime. Res64: 20C3F60464E21B9E Time : 0.0 sec. user=mdettweiler [2015-12-20 14:32:57] 645*2^1417816-1 is not prime. Res64: 99178138891131D2 Time : 0.0 sec. user=mdettweiler [2015-12-20 14:32:57] 741*2^1417815-1 is not prime. Res64: 2613261A26CE9FBB Time : 0.0 sec. user=mdettweiler [2015-12-20 14:32:57] 735*2^1417816-1 is not prime. Res64: F706F73B4869A863 Time : 0.0 sec. user=mdettweiler [2015-12-20 14:50:27] 855*2^1417816-1 is not prime. Res64: 8F2CBCC72907499F Time : 0.0 sec. user=mdettweiler [2015-12-20 14:50:27] 923*2^1417816-1 is not prime. Res64: B4437906BD6A330A Time : 0.0 sec. user=mdettweiler [2015-12-20 14:50:27] 857*2^1417816-1 is not prime. Res64: A0D43582ADF5788A Time : 0.0 sec. user=mdettweiler [2015-12-20 14:50:27] 939*2^1417816-1 is not prime. Res64: 228B5714EB0D7044 Time : 0.0 sec. user=mdettweiler [2015-12-20 15:07:58] 691*2^1417817-1 is not prime. Res64: 8F0366D13B05C4B4 Time : 0.0 sec. user=mdettweiler [2015-12-20 15:08:03] 969*2^1417816-1 is not prime. Res64: 83F5B47277EF1323 Time : 0.0 sec. user=mdettweiler [2015-12-20 15:08:05] 879*2^1417817-1 is not prime. Res64: 62B1FE622B94A46D Time : 0.0 sec. user=mdettweiler [2015-12-20 15:08:09] 999*2^1417816-1 is not prime. Res64: 12B72F6C2FFD5662 Time : 0.0 sec. user=mdettweiler [2015-12-20 15:26:29] 981*2^1417817-1 is not prime. Res64: BAD0B1B929185C36 Time : 0.0 sec. user=mdettweiler [2015-12-20 15:26:29] 605*2^1417818-1 is not prime. Res64: 0D078613B4584E29 Time : 0.0 sec. user=mdettweiler [2015-12-20 15:26:35] 627*2^1417818-1 is not prime. Res64: EDB672498E9A4469 Time : 0.0 sec. user=mdettweiler [2015-12-20 15:26:36] 773*2^1417818-1 is not prime. Res64: 95C84EC6F6193A27 Time : 0.0 sec. user=mdettweiler [2015-12-20 15:43:57] 885*2^1417818-1 is not prime. Res64: 61B89404DB4A9094 Time : 0.0 sec. user=mdettweiler [2015-12-20 15:43:58] 887*2^1417818-1 is not prime. Res64: 4AEC8690BF40E3F0 Time : 0.0 sec. user=mdettweiler [2015-12-20 15:44:04] 945*2^1417818-1 is not prime. Res64: FB98A3F6C7D1AE59 Time : 0.0 sec. user=mdettweiler [2015-12-20 15:44:05] 625*2^1417819-1 is not prime. Res64: 0051E12C47778319 Time : 0.0 sec. user=mdettweiler [2015-12-20 16:01:27] 675*2^1417819-1 is not prime. Res64: 48959037B0A55668 Time : 0.0 sec. user=mdettweiler [2015-12-20 16:01:29] 793*2^1417819-1 is not prime. Res64: 6D0AE17BC20F9B86 Time : 0.0 sec. user=mdettweiler [2015-12-20 16:01:34] 843*2^1417819-1 is not prime. Res64: 644FCA7579E2D8BE Time : 0.0 sec. user=mdettweiler [2015-12-20 16:01:35] 885*2^1417819-1 is not prime. Res64: 5F5F2106D8CC449A Time : 0.0 sec. user=mdettweiler [2015-12-20 16:19:10] 717*2^1417820-1 is not prime. Res64: A4CF0A95BE36C90C Time : 0.0 sec. user=mdettweiler [2015-12-20 16:19:11] 615*2^1417820-1 is not prime. Res64: 057A6FE5605E3027 Time : 0.0 sec. user=mdettweiler [2015-12-20 16:19:11] 743*2^1417820-1 is not prime. Res64: 4EA2DE76CD63DA90 Time : 0.0 sec. user=mdettweiler [2015-12-20 16:19:12] 777*2^1417820-1 is not prime. Res64: BDDB84965CED52E2 Time : 0.0 sec. user=mdettweiler [2015-12-20 16:36:41] 747*2^1417821-1 is not prime. Res64: 786BAFB380A7C7FF Time : 0.0 sec. user=mdettweiler [2015-12-20 16:36:41] 875*2^1417820-1 is not prime. Res64: F5F3ADC05CCDDCF8 Time : 0.0 sec. user=mdettweiler [2015-12-20 16:36:41] 777*2^1417821-1 is not prime. Res64: 213024F0891D391C Time : 0.0 sec. user=mdettweiler [2015-12-20 16:36:41] 661*2^1417821-1 is not prime. Res64: FE4551C880D76E40 Time : 0.0 sec. user=mdettweiler [2015-12-20 16:54:08] 837*2^1417821-1 is not prime. Res64: 9041B3CC2747AE15 Time : 0.0 sec. user=mdettweiler [2015-12-20 16:54:09] 849*2^1417821-1 is not prime. Res64: F63B22F30A87D2EC Time : 0.0 sec. user=mdettweiler [2015-12-20 16:54:11] 861*2^1417821-1 is not prime. Res64: 4CA5B2DA14E0DC6D Time : 0.0 sec. user=mdettweiler [2015-12-20 16:54:11] 979*2^1417821-1 is not prime. Res64: 728CA91A941EB6FF Time : 0.0 sec. user=mdettweiler [2015-12-20 17:11:39] 645*2^1417822-1 is not prime. Res64: D5635FD7570940A5 Time : 0.0 sec. user=mdettweiler [2015-12-20 17:11:40] 915*2^1417822-1 is not prime. Res64: 024B66B075E28CF5 Time : 0.0 sec. user=mdettweiler [2015-12-20 17:11:40] 741*2^1417822-1 is not prime. Res64: 28D8B14581F91B88 Time : 0.0 sec. user=mdettweiler [2015-12-20 17:11:40] 917*2^1417822-1 is not prime. Res64: B8FF76FE2ECA3E8E Time : 0.0 sec. user=mdettweiler [2015-12-20 17:29:10] 951*2^1417822-1 is not prime. Res64: 8CA9C41476FB9E14 Time : 0.0 sec. user=mdettweiler [2015-12-20 17:29:11] 975*2^1417822-1 is not prime. Res64: FBC2AE1B26F53F53 Time : 0.0 sec. user=mdettweiler [2015-12-20 17:29:11] 957*2^1417822-1 is not prime. Res64: 6AE11F40C85246BE Time : 0.0 sec. user=mdettweiler [2015-12-20 17:29:11] 995*2^1417822-1 is not prime. Res64: 3A5D00AB4BA9E938 Time : 0.0 sec. user=mdettweiler [2015-12-20 17:46:39] 745*2^1417823-1 is not prime. Res64: 96C0CF46BD0D8A4A Time : 0.0 sec. user=mdettweiler [2015-12-20 17:46:40] 679*2^1417823-1 is not prime. Res64: BF4246B2C5D74BA8 Time : 0.0 sec. user=mdettweiler [2015-12-20 17:46:40] 813*2^1417823-1 is not prime. Res64: 7AFD7AA3BB9A1BBE Time : 0.0 sec. user=mdettweiler [2015-12-20 17:46:40] 735*2^1417823-1 is not prime. Res64: FC450DAD734D342D Time : 0.0 sec. user=mdettweiler [2015-12-20 18:04:10] 871*2^1417823-1 is not prime. Res64: 2737EDECBDC5D6A7 Time : 0.0 sec. user=mdettweiler [2015-12-20 18:04:10] 943*2^1417823-1 is not prime. Res64: 0F6670C8FEB2E2F3 Time : 0.0 sec. user=mdettweiler [2015-12-20 18:04:11] 939*2^1417823-1 is not prime. Res64: FAFCFA95FAFE7C8A Time : 0.0 sec. user=mdettweiler [2015-12-20 18:04:13] 981*2^1417823-1 is not prime. Res64: 2BD609552B1A2CE2 Time : 0.0 sec. user=mdettweiler [2015-12-20 18:22:06] 717*2^1417824-1 is not prime. Res64: C6B0EBE87AE43074 Time : 0.0 sec. user=mdettweiler [2015-12-20 18:22:06] 999*2^1417823-1 is not prime. Res64: 2F71B0EC5DFB626A Time : 0.0 sec. user=mdettweiler [2015-12-20 18:22:06] 719*2^1417824-1 is not prime. Res64: B02BCFD730C4CEFD Time : 0.0 sec. user=mdettweiler [2015-12-20 18:22:06] 693*2^1417824-1 is not prime. Res64: A63E68FB7D06F966 Time : 0.0 sec. user=mdettweiler [2015-12-20 18:39:34] 771*2^1417825-1 is not prime. Res64: 4665F22DF715757A Time : 0.0 sec. user=mdettweiler [2015-12-20 18:39:34] 849*2^1417824-1 is not prime. Res64: AD364BD76C184961 Time : 0.0 sec. user=mdettweiler [2015-12-20 18:39:34] 855*2^1417825-1 is not prime. Res64: 36384BEC7C3EB4B3 Time : 0.0 sec. user=mdettweiler [2015-12-20 18:39:34] 607*2^1417825-1 is not prime. Res64: 29704675FB7A8EE0 Time : 0.0 sec. user=mdettweiler [2015-12-20 18:57:02] 617*2^1417826-1 is not prime. Res64: 66FB46C24FFB582A Time : 0.0 sec. user=mdettweiler [2015-12-20 18:57:02] 713*2^1417826-1 is not prime. Res64: 4DAE52B173C9C1E5 Time : 0.0 sec. user=mdettweiler [2015-12-20 18:57:03] 885*2^1417825-1 is not prime. Res64: D4BE9AEBFD97BAC8 Time : 0.0 sec. user=mdettweiler [2015-12-20 18:57:03] 919*2^1417825-1 is not prime. Res64: DD07E9438874BE29 Time : 0.0 sec. user=mdettweiler [2015-12-20 19:14:31] 675*2^1417827-1 is not prime. Res64: C454AAEE8069AB69 Time : 0.0 sec. user=mdettweiler [2015-12-20 19:14:31] 741*2^1417826-1 is not prime. Res64: 12F825DF75684CE2 Time : 0.0 sec. user=mdettweiler [2015-12-20 19:14:31] 709*2^1417827-1 is not prime. Res64: 87B5FCC22165036E Time : 0.0 sec. user=mdettweiler [2015-12-20 19:14:32] 861*2^1417826-1 is not prime. Res64: 65A7F0CA53645C81 Time : 0.0 sec. user=mdettweiler [2015-12-20 19:31:59] 711*2^1417827-1 is not prime. Res64: 1BAD7E7CB7E22EAC Time : 0.0 sec. user=mdettweiler [2015-12-20 19:31:59] 909*2^1417827-1 is not prime. Res64: BF593619204F5601 Time : 0.0 sec. user=mdettweiler [2015-12-20 19:32:00] 781*2^1417827-1 is not prime. Res64: 744716492512B6CD Time : 0.0 sec. user=mdettweiler [2015-12-20 19:32:00] 603*2^1417828-1 is not prime. Res64: 8BCCC57001C2EA11 Time : 0.0 sec. user=mdettweiler [2015-12-20 19:49:28] 999*2^1417828-1 is not prime. Res64: 2F37302AD43CE3E8 Time : 0.0 sec. user=mdettweiler [2015-12-20 19:49:29] 699*2^1417828-1 is not prime. Res64: 3E5C6E0DD7E4AE7B Time : 0.0 sec. user=mdettweiler [2015-12-20 19:49:29] 657*2^1417829-1 is not prime. Res64: 6BCC4D7E1D7045D0 Time : 0.0 sec. user=mdettweiler [2015-12-20 19:49:29] 887*2^1417828-1 is not prime. Res64: 8A6D0C841D42715E Time : 0.0 sec. user=mdettweiler [2015-12-20 20:06:57] 787*2^1417829-1 is not prime. Res64: B92E33BCAFC67E35 Time : 0.0 sec. user=mdettweiler [2015-12-20 20:06:58] 885*2^1417829-1 is not prime. Res64: 05D482799F1359D5 Time : 0.0 sec. user=mdettweiler [2015-12-20 20:06:58] 811*2^1417829-1 is not prime. Res64: 43E014242AC64033 Time : 0.0 sec. user=mdettweiler [2015-12-20 20:06:58] 925*2^1417829-1 is not prime. Res64: CA444C3B33A0E280 Time : 0.0 sec. user=mdettweiler [2015-12-20 20:24:27] 627*2^1417830-1 is not prime. Res64: 59809BBBEA103129 Time : 0.0 sec. user=mdettweiler [2015-12-20 20:24:28] 951*2^1417829-1 is not prime. Res64: 3D48E5807B7B0A58 Time : 0.0 sec. user=mdettweiler [2015-12-20 20:24:28] 635*2^1417830-1 is not prime. Res64: F70A4195CEED02F2 Time : 0.0 sec. user=mdettweiler [2015-12-20 20:24:28] 987*2^1417829-1 is not prime. Res64: 5D2252BDA2857CD0 Time : 0.0 sec. user=mdettweiler [2015-12-20 20:41:55] 921*2^1417830-1 is not prime. Res64: 2F6E90E05900796E Time : 0.0 sec. user=mdettweiler [2015-12-20 20:41:56] 833*2^1417830-1 is not prime. Res64: 63A2B6FBC804DDFC Time : 0.0 sec. user=mdettweiler [2015-12-20 20:41:56] 771*2^1417831-1 is not prime. Res64: 78B8AF7CC6ACDD17 Time : 0.0 sec. user=mdettweiler [2015-12-20 20:41:56] 851*2^1417830-1 is not prime. Res64: 81585669E732BDDE Time : 0.0 sec. user=mdettweiler [2015-12-20 20:59:23] 783*2^1417831-1 is not prime. Res64: E7E23C34AA6F5C34 Time : 0.0 sec. user=mdettweiler [2015-12-20 20:59:24] 789*2^1417831-1 is not prime. Res64: 977BAD893E4B6EA1 Time : 0.0 sec. user=mdettweiler [2015-12-20 20:59:24] 925*2^1417831-1 is not prime. Res64: 42C352F560187EDA Time : 0.0 sec. user=mdettweiler [2015-12-20 20:59:25] 933*2^1417831-1 is not prime. Res64: C5599AF50BA29C1A Time : 0.0 sec. user=mdettweiler [2015-12-20 21:16:52] 603*2^1417832-1 is not prime. Res64: 895073A456A1AD98 Time : 0.0 sec. user=mdettweiler [2015-12-20 21:16:53] 633*2^1417832-1 is not prime. Res64: 327908A7C25C2ECE Time : 0.0 sec. user=mdettweiler [2015-12-20 21:16:54] 689*2^1417832-1 is not prime. Res64: 2DCED487D25F4B61 Time : 0.0 sec. user=mdettweiler [2015-12-20 21:16:55] 699*2^1417832-1 is not prime. Res64: 53F64DD3877B13E8 Time : 0.0 sec. user=mdettweiler [2015-12-20 21:34:26] 797*2^1417832-1 is not prime. Res64: 840C46F6118FAB34 Time : 0.0 sec. user=mdettweiler [2015-12-20 21:34:27] 681*2^1417833-1 is not prime. Res64: 9533CD32209BA9FB Time : 0.0 sec. user=mdettweiler [2015-12-20 21:34:28] 789*2^1417833-1 is not prime. Res64: F49D44FBACC8CB8B Time : 0.0 sec. user=mdettweiler [2015-12-20 21:34:28] 805*2^1417833-1 is not prime. Res64: AE43A0054B5270E3 Time : 0.0 sec. user=mdettweiler [2015-12-20 21:51:56] 817*2^1417833-1 is not prime. Res64: C6448F7E9FE6AF87 Time : 0.0 sec. user=mdettweiler [2015-12-20 21:51:56] 819*2^1417833-1 is not prime. Res64: 6A697F1C99A7B376 Time : 0.0 sec. user=mdettweiler [2015-12-20 21:51:57] 829*2^1417833-1 is not prime. Res64: 9D0B25FD651D948C Time : 0.0 sec. user=mdettweiler [2015-12-20 21:51:57] 847*2^1417833-1 is not prime. Res64: BCA1B0C0937F3846 Time : 0.0 sec. user=mdettweiler [2015-12-20 22:09:25] 895*2^1417833-1 is not prime. Res64: 5C88C807C6A57B67 Time : 0.0 sec. user=mdettweiler [2015-12-20 22:09:25] 633*2^1417834-1 is not prime. Res64: 74049D042C5C4839 Time : 0.0 sec. user=mdettweiler [2015-12-20 22:09:25] 605*2^1417834-1 is not prime. Res64: EADD717DCCB24DA5 Time : 0.0 sec. user=mdettweiler [2015-12-20 22:09:26] 675*2^1417834-1 is not prime. Res64: 032DF2276BF7F5C9 Time : 0.0 sec. user=mdettweiler [2015-12-20 22:26:57] 723*2^1417834-1 is not prime. Res64: ED837D98BAA6C48D Time : 0.0 sec. user=mdettweiler [2015-12-20 22:26:57] 681*2^1417834-1 is not prime. Res64: A7B131FE87E08DF1 Time : 0.0 sec. user=mdettweiler [2015-12-20 22:26:58] 755*2^1417834-1 is not prime. Res64: 8BB66D3E8D0D9E36 Time : 0.0 sec. user=mdettweiler [2015-12-20 22:26:58] 687*2^1417834-1 is not prime. Res64: 3C242B1459F743CE Time : 0.0 sec. user=mdettweiler [2015-12-20 22:44:25] 905*2^1417834-1 is not prime. Res64: A5A3975D2E791B88 Time : 0.0 sec. user=mdettweiler [2015-12-20 22:44:26] 917*2^1417834-1 is not prime. Res64: 12FC409B909D9F86 Time : 0.0 sec. user=mdettweiler [2015-12-20 22:44:26] 791*2^1417834-1 is not prime. Res64: 71775B10A5B750A3 Time : 0.0 sec. user=mdettweiler [2015-12-20 22:44:27] 803*2^1417834-1 is not prime. Res64: 8ED767F7488F5C0D Time : 0.0 sec. user=mdettweiler [2015-12-20 23:01:56] 885*2^1417835-1 is not prime. Res64: D470DB75568A9E67 Time : 0.0 sec. user=mdettweiler [2015-12-20 23:01:56] 985*2^1417835-1 is not prime. Res64: 7FB1FA54A896A4EB Time : 0.0 sec. user=mdettweiler [2015-12-20 23:01:57] 949*2^1417835-1 is not prime. Res64: 8A3E44100BA2F8DA Time : 0.0 sec. user=mdettweiler [2015-12-20 23:01:58] 909*2^1417836-1 is not prime. Res64: 4FE80DAAD7A7356A Time : 0.0 sec. user=mdettweiler [2015-12-20 23:19:46] 639*2^1417837-1 is not prime. Res64: 44E868CE9B09FD0B Time : 0.0 sec. user=mdettweiler [2015-12-20 23:19:46] 675*2^1417837-1 is not prime. Res64: B140D0425F65F97E Time : 0.0 sec. user=mdettweiler [2015-12-20 23:19:46] 751*2^1417837-1 is not prime. Res64: 8E9579CFC91719AF Time : 0.0 sec. user=mdettweiler [2015-12-20 23:19:46] 649*2^1417837-1 is not prime. Res64: CAC657DC829F1661 Time : 0.0 sec. user=mdettweiler [2015-12-20 23:37:16] 799*2^1417837-1 is not prime. Res64: 07A610790343A585 Time : 0.0 sec. user=mdettweiler [2015-12-20 23:37:16] 931*2^1417837-1 is not prime. Res64: 3882C2EACE0B5350 Time : 0.0 sec. user=mdettweiler [2015-12-20 23:37:16] 805*2^1417837-1 is not prime. Res64: 2FC2F69982BB3FAD Time : 0.0 sec. user=mdettweiler [2015-12-20 23:37:17] 635*2^1417838-1 is not prime. Res64: DF7B964FE4C54E8A Time : 0.0 sec. user=mdettweiler [2015-12-20 23:54:55] 671*2^1417838-1 is not prime. Res64: 89AD496B6538771F Time : 0.0 sec. user=mdettweiler [2015-12-20 23:54:55] 813*2^1417838-1 is not prime. Res64: 6C0748E8DAA94DC8 Time : 0.0 sec. user=mdettweiler [2015-12-20 23:54:57] 815*2^1417838-1 is not prime. Res64: FFA1F2556141D36F Time : 0.0 sec. user=mdettweiler [2015-12-20 23:54:57] 825*2^1417838-1 is not prime. Res64: 4A98510EE9CB5F73 Time : 0.0 sec.