user=mdettweiler [2016-11-24 00:07:35] 841*2^1446751-1 is not prime. Res64: 494EE8BAB04CAB24 Time : 0.0 sec. user=mdettweiler [2016-11-24 00:07:36] 873*2^1446751-1 is not prime. Res64: 153CAE5272604142 Time : 0.0 sec. user=mdettweiler [2016-11-24 00:07:37] 883*2^1446751-1 is not prime. Res64: 44B2C5D712821CCE Time : 0.0 sec. user=mdettweiler [2016-11-24 00:07:38] 891*2^1446751-1 is not prime. Res64: C3EDFCB29A6B724C Time : 0.0 sec. user=mdettweiler [2016-11-24 00:07:39] 975*2^1446751-1 is not prime. Res64: 2F5773DC48F68A8C Time : 0.0 sec. user=mdettweiler [2016-11-24 00:08:18] 855*2^1446752-1 is not prime. Res64: FB12D68E86C8B35F Time : 0.0 sec. user=mdettweiler [2016-11-24 00:08:19] 995*2^1446752-1 is not prime. Res64: 5E641DD59A0FED5E Time : 0.0 sec. user=mdettweiler [2016-11-24 00:08:20] 627*2^1446753-1 is not prime. Res64: A092984B93B5310A Time : 0.0 sec. user=mdettweiler [2016-11-24 00:08:21] 657*2^1446753-1 is not prime. Res64: 87FF8053312A8C62 Time : 0.0 sec. user=mdettweiler [2016-11-24 00:08:22] 745*2^1446753-1 is not prime. Res64: 9A020463FD7391E2 Time : 0.0 sec. user=mdettweiler [2016-11-24 00:13:35] 751*2^1446753-1 is not prime. Res64: E1646CF2872AE6DD Time : 0.0 sec. user=mdettweiler [2016-11-24 00:13:36] 807*2^1446753-1 is not prime. Res64: 5473220B1AB07B44 Time : 0.0 sec. user=mdettweiler [2016-11-24 00:13:36] 835*2^1446753-1 is not prime. Res64: B339E5E67A1E0469 Time : 0.0 sec. user=mdettweiler [2016-11-24 00:13:37] 877*2^1446753-1 is not prime. Res64: 734622C386F4BDE2 Time : 0.0 sec. user=mdettweiler [2016-11-24 00:13:37] 949*2^1446753-1 is not prime. Res64: BCF63AE9969B3050 Time : 0.0 sec. user=mdettweiler [2016-11-24 00:41:37] 955*2^1446753-1 is not prime. Res64: C5CE466C16790767 Time : 0.0 sec. user=mdettweiler [2016-11-24 00:41:37] 621*2^1446754-1 is not prime. Res64: D930189EC87DEF71 Time : 0.0 sec. user=mdettweiler [2016-11-24 00:41:38] 705*2^1446754-1 is not prime. Res64: 4D081E81F0713B84 Time : 0.0 sec. user=mdettweiler [2016-11-24 00:41:38] 755*2^1446754-1 is not prime. Res64: DF2F360724934036 Time : 0.0 sec. user=mdettweiler [2016-11-24 00:41:38] 765*2^1446754-1 is not prime. Res64: 3426991077D7A262 Time : 0.0 sec. user=mdettweiler [2016-11-24 00:52:21] 813*2^1446754-1 is not prime. Res64: EF2E2690153AB78A Time : 0.0 sec. user=mdettweiler [2016-11-24 00:52:22] 815*2^1446754-1 is not prime. Res64: CC60611DEB687EB0 Time : 0.0 sec. user=mdettweiler [2016-11-24 00:52:22] 821*2^1446754-1 is not prime. Res64: 2B41841C6496C0DC Time : 0.0 sec. user=mdettweiler [2016-11-24 00:52:23] 947*2^1446754-1 is not prime. Res64: 9BE70389FFE445E8 Time : 0.0 sec. user=mdettweiler [2016-11-24 00:52:23] 603*2^1446755-1 is not prime. Res64: BAD594CAC93F684C Time : 0.0 sec. user=mdettweiler [2016-11-24 00:52:59] 715*2^1446755-1 is not prime. Res64: 7A94FB87CCC593D1 Time : 0.0 sec. user=mdettweiler [2016-11-24 00:52:59] 963*2^1446755-1 is not prime. Res64: D26CD399746F05F3 Time : 0.0 sec. user=mdettweiler [2016-11-24 00:53:00] 615*2^1446756-1 is not prime. Res64: F4793CF53310B9AD Time : 0.0 sec. user=mdettweiler [2016-11-24 00:53:00] 765*2^1446756-1 is not prime. Res64: 99D8C3ECC2CEB94F Time : 0.0 sec. user=mdettweiler [2016-11-24 00:53:00] 783*2^1446756-1 is not prime. Res64: 31C3D0397577CFD7 Time : 0.0 sec. user=mdettweiler [2016-11-24 00:59:00] 873*2^1446756-1 is not prime. Res64: 340B3CA672D2BBE1 Time : 0.0 sec. user=mdettweiler [2016-11-24 00:59:01] 887*2^1446756-1 is not prime. Res64: AE09B886F2C2E174 Time : 0.0 sec. user=mdettweiler [2016-11-24 00:59:01] 899*2^1446756-1 is not prime. Res64: 5A6E49D2FC9A5926 Time : 0.0 sec. user=mdettweiler [2016-11-24 00:59:01] 993*2^1446756-1 is not prime. Res64: B63A57578E0CD41F Time : 0.0 sec. user=mdettweiler [2016-11-24 00:59:02] 625*2^1446757-1 is not prime. Res64: 0A0341AC98E6ECEB Time : 0.0 sec. user=mdettweiler [2016-11-24 01:26:56] 645*2^1446757-1 is not prime. Res64: 10524E3DD9C57D2F Time : 0.0 sec. user=mdettweiler [2016-11-24 01:26:57] 685*2^1446757-1 is not prime. Res64: 0E3EEC40D03FFF38 Time : 0.0 sec. user=mdettweiler [2016-11-24 01:26:59] 741*2^1446757-1 is not prime. Res64: 6F0919B4262307A6 Time : 0.0 sec. user=mdettweiler [2016-11-24 01:27:01] 805*2^1446757-1 is not prime. Res64: 57B7AFB765202E83 Time : 0.0 sec. user=mdettweiler [2016-11-24 01:27:01] 939*2^1446757-1 is not prime. Res64: A5F1F2A273184487 Time : 0.0 sec. user=mdettweiler [2016-11-24 01:37:39] 945*2^1446757-1 is not prime. Res64: 87C234E8C8236B30 Time : 0.0 sec. user=mdettweiler [2016-11-24 01:37:40] 603*2^1446758-1 is not prime. Res64: 66DC0AFE7F882A75 Time : 0.0 sec. user=mdettweiler [2016-11-24 01:37:40] 627*2^1446758-1 is not prime. Res64: 16995A9DBB17859A Time : 0.0 sec. user=mdettweiler [2016-11-24 01:37:41] 677*2^1446758-1 is not prime. Res64: 2594E51C1B89269B Time : 0.0 sec. user=mdettweiler [2016-11-24 01:37:41] 711*2^1446758-1 is not prime. Res64: 961EE2C4E41AE0E5 Time : 0.0 sec. user=mdettweiler [2016-11-24 01:38:22] 791*2^1446758-1 is not prime. Res64: 9C505CB99537F17B Time : 0.0 sec. user=mdettweiler [2016-11-24 01:38:23] 843*2^1446758-1 is not prime. Res64: 673CB11F3062C169 Time : 0.0 sec. user=mdettweiler [2016-11-24 01:38:23] 857*2^1446758-1 is not prime. Res64: 050CF4B11B863872 Time : 0.0 sec. user=mdettweiler [2016-11-24 01:38:24] 867*2^1446758-1 is not prime. Res64: EE90BBFCA1A2AD84 Time : 0.0 sec. user=mdettweiler [2016-11-24 01:38:24] 941*2^1446758-1 is not prime. Res64: 4792097B30D05314 Time : 0.0 sec. user=mdettweiler [2016-11-24 01:43:38] 639*2^1446759-1 is not prime. Res64: AEC490E7F8BA039D Time : 0.0 sec. user=mdettweiler [2016-11-24 01:43:39] 691*2^1446759-1 is not prime. Res64: 84D642C277D38D6F Time : 0.0 sec. user=mdettweiler [2016-11-24 01:43:39] 913*2^1446759-1 is not prime. Res64: E421D6E188A6762D Time : 0.0 sec. user=mdettweiler [2016-11-24 01:43:39] 723*2^1446760-1 is not prime. Res64: A5BB3A66CB7E3FCE Time : 0.0 sec. user=mdettweiler [2016-11-24 01:43:40] 715*2^1446761-1 is not prime. Res64: FDD869C1C85E96AF Time : 0.0 sec. user=mdettweiler [2016-11-24 02:11:49] 745*2^1446761-1 is not prime. Res64: D4DB73FB9736B9DB Time : 0.0 sec. user=mdettweiler [2016-11-24 02:11:50] 805*2^1446761-1 is not prime. Res64: 04501DB7DB29597D Time : 0.0 sec. user=mdettweiler [2016-11-24 02:11:51] 633*2^1446762-1 is not prime. Res64: 9BEC793BDA261B28 Time : 0.0 sec. user=mdettweiler [2016-11-24 02:11:51] 683*2^1446762-1 is not prime. Res64: 5462FE68FB977FDC Time : 0.0 sec. user=mdettweiler [2016-11-24 02:11:52] 705*2^1446762-1 is not prime. Res64: A48923F5EBD7EB6A Time : 0.0 sec. user=mdettweiler [2016-11-24 02:22:21] 741*2^1446762-1 is not prime. Res64: 0F5D072CC9EC8C58 Time : 0.0 sec. user=mdettweiler [2016-11-24 02:22:21] 801*2^1446762-1 is not prime. Res64: 64B9D05C8881A828 Time : 0.0 sec. user=mdettweiler [2016-11-24 02:22:21] 803*2^1446762-1 is not prime. Res64: B649AA53AED39AD3 Time : 0.0 sec. user=mdettweiler [2016-11-24 02:22:22] 815*2^1446762-1 is not prime. Res64: 89D76CF2E24893B0 Time : 0.0 sec. user=mdettweiler [2016-11-24 02:22:22] 873*2^1446762-1 is not prime. Res64: 2FC0FF2A0A7B5D71 Time : 0.0 sec. user=mdettweiler [2016-11-24 02:23:15] 1001*2^1446762-1 is not prime. Res64: 5F09FDC085AEFD40 Time : 0.0 sec. user=mdettweiler [2016-11-24 02:23:15] 663*2^1446763-1 is not prime. Res64: D7F99470B0EEE518 Time : 0.0 sec. user=mdettweiler [2016-11-24 02:23:16] 693*2^1446763-1 is not prime. Res64: 72B3405401E913DE Time : 0.0 sec. user=mdettweiler [2016-11-24 02:23:16] 703*2^1446763-1 is not prime. Res64: 546D857A2EE461F3 Time : 0.0 sec. user=mdettweiler [2016-11-24 02:23:16] 745*2^1446763-1 is not prime. Res64: F20B799747062D31 Time : 0.0 sec. user=mdettweiler [2016-11-24 02:28:32] 771*2^1446763-1 is not prime. Res64: 1C39FEF86BC422E0 Time : 0.0 sec. user=mdettweiler [2016-11-24 02:28:33] 659*2^1446764-1 is not prime. Res64: 8C13DBD6D1D67C80 Time : 0.0 sec. user=mdettweiler [2016-11-24 02:28:34] 665*2^1446764-1 is not prime. Res64: E567A6133E063239 Time : 0.0 sec. user=mdettweiler [2016-11-24 02:28:35] 683*2^1446764-1 is not prime. Res64: 7D8A2BA7BF5CDBCF Time : 0.0 sec. user=mdettweiler [2016-11-24 02:28:36] 857*2^1446764-1 is not prime. Res64: 0A7D2950C9BBD30C Time : 0.0 sec. user=mdettweiler [2016-11-24 02:57:27] 873*2^1446764-1 is not prime. Res64: 58617E58ED4CD6D5 Time : 0.0 sec. user=mdettweiler [2016-11-24 02:57:28] 685*2^1446765-1 is not prime. Res64: BB77F5A987967002 Time : 0.0 sec. user=mdettweiler [2016-11-24 02:57:28] 741*2^1446765-1 is not prime. Res64: 47ECD511CEC3E756 Time : 0.0 sec. user=mdettweiler [2016-11-24 02:57:28] 759*2^1446765-1 is not prime. Res64: F30A84D8E9B256E0 Time : 0.0 sec. user=mdettweiler [2016-11-24 02:57:29] 781*2^1446765-1 is not prime. Res64: 3E277C886DEF3A7D Time : 0.0 sec. user=mdettweiler [2016-11-24 03:07:55] 871*2^1446765-1 is not prime. Res64: 2CA7CC387F26E5FC Time : 0.0 sec. user=mdettweiler [2016-11-24 03:07:57] 915*2^1446765-1 is not prime. Res64: 74A9C30B01E58FA7 Time : 0.0 sec. user=mdettweiler [2016-11-24 03:07:58] 999*2^1446765-1 is not prime. Res64: AB0870C776BBD7FC Time : 0.0 sec. user=mdettweiler [2016-11-24 03:08:00] 651*2^1446766-1 is not prime. Res64: 3B2F457122AA1E0E Time : 0.0 sec. user=mdettweiler [2016-11-24 03:08:02] 785*2^1446766-1 is not prime. Res64: 49595D4EB9B7FD9A Time : 0.0 sec. user=mdettweiler [2016-11-24 03:08:53] 843*2^1446766-1 is not prime. Res64: ADDB25B7A417E637 Time : 0.0 sec. user=mdettweiler [2016-11-24 03:08:56] 965*2^1446766-1 is not prime. Res64: A36D1818B9F03614 Time : 0.0 sec. user=mdettweiler [2016-11-24 03:09:00] 975*2^1446766-1 is not prime. Res64: 9A6C3F68B4DFC343 Time : 0.0 sec. user=mdettweiler [2016-11-24 03:09:06] 981*2^1446766-1 is not prime. Res64: 407E23BF34B809D6 Time : 0.0 sec. user=mdettweiler [2016-11-24 03:09:09] 1001*2^1446766-1 is not prime. Res64: ED07AA8DBF241AA6 Time : 0.0 sec. user=mdettweiler [2016-11-24 03:14:10] 621*2^1446767-1 is not prime. Res64: 7482DE2A02B0188D Time : 0.0 sec. user=mdettweiler [2016-11-24 03:14:11] 729*2^1446767-1 is not prime. Res64: 2A420D1419AB93ED Time : 0.0 sec. user=mdettweiler [2016-11-24 03:14:12] 885*2^1446767-1 is not prime. Res64: BDA23093133E2B85 Time : 0.0 sec. user=mdettweiler [2016-11-24 03:14:13] 913*2^1446767-1 is not prime. Res64: 5F5DEF8729ABD8DA Time : 0.0 sec. user=mdettweiler [2016-11-24 03:14:14] 931*2^1446767-1 is not prime. Res64: 63FB2C891D6FD70F Time : 0.0 sec. user=mdettweiler [2016-11-24 03:42:22] 985*2^1446767-1 is not prime. Res64: 918C0331F2933571 Time : 0.0 sec. user=mdettweiler [2016-11-24 03:42:23] 605*2^1446768-1 is not prime. Res64: 82D3CCE8F0215A58 Time : 0.0 sec. user=mdettweiler [2016-11-24 03:42:24] 627*2^1446768-1 is not prime. Res64: D3ACEAD738EF55D3 Time : 0.0 sec. user=mdettweiler [2016-11-24 03:42:25] 803*2^1446768-1 is not prime. Res64: 3A38B9801093C361 Time : 0.0 sec. user=mdettweiler [2016-11-24 03:42:26] 899*2^1446768-1 is not prime. Res64: 4A7A153A387B99BB Time : 0.0 sec. user=mdettweiler [2016-11-24 03:52:54] 609*2^1446769-1 is not prime. Res64: 96084A26365236F6 Time : 0.0 sec. user=mdettweiler [2016-11-24 03:52:54] 705*2^1446769-1 is not prime. Res64: 6C5422E67135DA9E Time : 0.0 sec. user=mdettweiler [2016-11-24 03:52:55] 747*2^1446769-1 is not prime. Res64: A87977822D0F6D64 Time : 0.0 sec. user=mdettweiler [2016-11-24 03:52:55] 817*2^1446769-1 is not prime. Res64: 2046F8B4520C5107 Time : 0.0 sec. user=mdettweiler [2016-11-24 03:52:56] 819*2^1446769-1 is not prime. Res64: 55F07AD282076A70 Time : 0.0 sec. user=mdettweiler [2016-11-24 03:54:07] 829*2^1446769-1 is not prime. Res64: 46CB97D42246081A Time : 0.0 sec. user=mdettweiler [2016-11-24 03:54:08] 895*2^1446769-1 is not prime. Res64: C249B8C1C6B58855 Time : 0.0 sec. user=mdettweiler [2016-11-24 03:54:09] 967*2^1446769-1 is not prime. Res64: 3864DAEB0948C0D9 Time : 0.0 sec. user=mdettweiler [2016-11-24 03:54:10] 641*2^1446770-1 is not prime. Res64: F34400A2FA66F333 Time : 0.0 sec. user=mdettweiler [2016-11-24 03:54:11] 677*2^1446770-1 is not prime. Res64: 0052781AF631F491 Time : 0.0 sec. user=mdettweiler [2016-11-24 03:58:59] 717*2^1446770-1 is not prime. Res64: A9EA112B676D5067 Time : 0.0 sec. user=mdettweiler [2016-11-24 03:59:00] 867*2^1446770-1 is not prime. Res64: 2E860F2FB60D6D22 Time : 0.0 sec. user=mdettweiler [2016-11-24 03:59:02] 875*2^1446770-1 is not prime. Res64: 1653D08F1F5D546C Time : 0.0 sec. user=mdettweiler [2016-11-24 03:59:04] 915*2^1446770-1 is not prime. Res64: D10FB6E3A757BF1E Time : 0.0 sec. user=mdettweiler [2016-11-24 03:59:06] 921*2^1446770-1 is not prime. Res64: BF6A65833C2083EE Time : 0.0 sec. user=mdettweiler [2016-11-24 04:27:07] 987*2^1446770-1 is not prime. Res64: 8B9DA8680ED7CDBC Time : 0.0 sec. user=mdettweiler [2016-11-24 04:27:08] 685*2^1446771-1 is not prime. Res64: F24FB8E09148E95F Time : 0.0 sec. user=mdettweiler [2016-11-24 04:27:08] 703*2^1446771-1 is not prime. Res64: 792A13728C1B4D06 Time : 0.0 sec. user=mdettweiler [2016-11-24 04:27:09] 769*2^1446771-1 is not prime. Res64: B601DCC891827DB8 Time : 0.0 sec. user=mdettweiler [2016-11-24 04:27:14] 973*2^1446771-1 is not prime. Res64: EC0F245469435468 Time : 0.0 sec. user=mdettweiler [2016-11-24 04:37:33] 979*2^1446771-1 is not prime. Res64: D425D6F2473DC896 Time : 0.0 sec. user=mdettweiler [2016-11-24 04:37:34] 603*2^1446772-1 is not prime. Res64: E2D2D447B0A001A8 Time : 0.0 sec. user=mdettweiler [2016-11-24 04:37:34] 717*2^1446772-1 is not prime. Res64: 2C0A781C5924F17E Time : 0.0 sec. user=mdettweiler [2016-11-24 04:37:34] 743*2^1446772-1 is not prime. Res64: 3E07A6EADD87B665 Time : 0.0 sec. user=mdettweiler [2016-11-24 04:37:35] 759*2^1446772-1 is not prime. Res64: 5DCC2E82F9B9C622 Time : 0.0 sec. user=mdettweiler [2016-11-24 04:38:51] 765*2^1446772-1 is not prime. Res64: 44751ECDABF13E04 Time : 0.0 sec. user=mdettweiler [2016-11-24 04:38:51] 803*2^1446772-1 is not prime. Res64: BA7F80A7115D95C4 Time : 0.0 sec. user=mdettweiler [2016-11-24 04:38:52] 857*2^1446772-1 is not prime. Res64: 529CFF60F61EF481 Time : 0.0 sec. user=mdettweiler [2016-11-24 04:38:52] 939*2^1446772-1 is not prime. Res64: 2EF48BED3615E57C Time : 0.0 sec. user=mdettweiler [2016-11-24 04:38:53] 995*2^1446772-1 is not prime. Res64: 1D4DB8AB6145ED30 Time : 0.0 sec. user=mdettweiler [2016-11-24 04:43:46] 735*2^1446773-1 is not prime. Res64: 27D06732A231E8A4 Time : 0.0 sec. user=mdettweiler [2016-11-24 04:43:47] 867*2^1446773-1 is not prime. Res64: 934339C8C7DE4525 Time : 0.0 sec. user=mdettweiler [2016-11-24 04:43:47] 951*2^1446773-1 is not prime. Res64: CFE6238747D358F2 Time : 0.0 sec. user=mdettweiler [2016-11-24 04:43:48] 651*2^1446774-1 is not prime. Res64: 0D4D4E0C0D66D9BB Time : 0.0 sec. user=mdettweiler [2016-11-24 04:43:48] 765*2^1446774-1 is not prime. Res64: DDBF29A2655DA2F9 Time : 0.0 sec. user=mdettweiler [2016-11-24 05:11:52] 921*2^1446774-1 is not prime. Res64: A75E65CDB942D79E Time : 0.0 sec. user=mdettweiler [2016-11-24 05:11:53] 941*2^1446774-1 is not prime. Res64: F0A7128893BFEDA9 Time : 0.0 sec. user=mdettweiler [2016-11-24 05:11:53] 951*2^1446774-1 is not prime. Res64: 6A2EF2C435C04DBB Time : 0.0 sec. user=mdettweiler [2016-11-24 05:11:54] 975*2^1446774-1 is not prime. Res64: E9AD0BA385AAF087 Time : 0.0 sec. user=mdettweiler [2016-11-24 05:11:54] 609*2^1446775-1 is not prime. Res64: 788D524C80B60F22 Time : 0.0 sec. user=mdettweiler [2016-11-24 05:22:12] 633*2^1446775-1 is not prime. Res64: 561303976FF2659C Time : 0.0 sec. user=mdettweiler [2016-11-24 05:22:13] 675*2^1446775-1 is not prime. Res64: 2E2B7DD0D189052E Time : 0.0 sec. user=mdettweiler [2016-11-24 05:22:13] 705*2^1446775-1 is not prime. Res64: DA1A9C4E3FE5FFDA Time : 0.0 sec. user=mdettweiler [2016-11-24 05:22:14] 765*2^1446775-1 is not prime. Res64: 5BCF4EFC15FD0959 Time : 0.0 sec. user=mdettweiler [2016-11-24 05:22:14] 771*2^1446775-1 is not prime. Res64: 1962B44C9641A187 Time : 0.0 sec. user=mdettweiler [2016-11-24 05:23:35] 841*2^1446775-1 is not prime. Res64: 744AEFE7B3EEDD72 Time : 0.0 sec. user=mdettweiler [2016-11-24 05:23:36] 849*2^1446775-1 is not prime. Res64: 02A82ADA289BB801 Time : 0.0 sec. user=mdettweiler [2016-11-24 05:23:36] 853*2^1446775-1 is not prime. Res64: B2B96AC65E93F9DF Time : 0.0 sec. user=mdettweiler [2016-11-24 05:23:37] 973*2^1446775-1 is not prime. Res64: 7D32899ED8478A13 Time : 0.0 sec. user=mdettweiler [2016-11-24 05:23:37] 985*2^1446775-1 is not prime. Res64: 47E69C49E378B427 Time : 0.0 sec. user=mdettweiler [2016-11-24 05:28:20] 657*2^1446776-1 is not prime. Res64: B717C5D82CF3D283 Time : 0.0 sec. user=mdettweiler [2016-11-24 05:28:20] 903*2^1446776-1 is not prime. Res64: 959119D8F5F7A504 Time : 0.0 sec. user=mdettweiler [2016-11-24 05:28:21] 945*2^1446776-1 is not prime. Res64: E2E93FC86EE5886B Time : 0.0 sec. user=mdettweiler [2016-11-24 05:28:22] 699*2^1446777-1 is not prime. Res64: 9CBE162F7084EBDE Time : 0.0 sec. user=mdettweiler [2016-11-24 05:28:23] 837*2^1446777-1 is not prime. Res64: 2F5EB4B8885F916A Time : 0.0 sec. user=mdettweiler [2016-11-24 05:56:33] 885*2^1446777-1 is not prime. Res64: ADC190E6DC34B273 Time : 0.0 sec. user=mdettweiler [2016-11-24 05:56:34] 889*2^1446777-1 is not prime. Res64: A89E4DCC0ED51E8A Time : 0.0 sec. user=mdettweiler [2016-11-24 05:56:34] 901*2^1446777-1 is not prime. Res64: B4C5DFD1CA363236 Time : 0.0 sec. user=mdettweiler [2016-11-24 05:56:35] 955*2^1446777-1 is not prime. Res64: FA2225FF952DA875 Time : 0.0 sec. user=mdettweiler [2016-11-24 05:56:35] 605*2^1446778-1 is not prime. Res64: 97C3146685937FF8 Time : 0.0 sec. user=mdettweiler [2016-11-24 06:07:02] 681*2^1446778-1 is not prime. Res64: 6FFB46F61D4D035A Time : 0.0 sec. user=mdettweiler [2016-11-24 06:07:05] 713*2^1446778-1 is not prime. Res64: 90EC5CD755BE33A6 Time : 0.0 sec. user=mdettweiler [2016-11-24 06:07:06] 777*2^1446778-1 is not prime. Res64: 11D9A92825063880 Time : 0.0 sec. user=mdettweiler [2016-11-24 06:07:08] 825*2^1446778-1 is not prime. Res64: CE5036BDEBC75020 Time : 0.0 sec. user=mdettweiler [2016-11-24 06:07:09] 867*2^1446778-1 is not prime. Res64: D3246B5771D133CD Time : 0.0 sec. user=mdettweiler [2016-11-24 06:08:08] 915*2^1446778-1 is not prime. Res64: B96F8D30D97EDFFF Time : 0.0 sec. user=mdettweiler [2016-11-24 06:08:11] 987*2^1446778-1 is not prime. Res64: 10A91E976170311B Time : 0.0 sec. user=mdettweiler [2016-11-24 06:08:13] 621*2^1446779-1 is not prime. Res64: E6903BED72FAC236 Time : 0.0 sec. user=mdettweiler [2016-11-24 06:08:14] 669*2^1446779-1 is not prime. Res64: 0C1F3C15A1AE7698 Time : 0.0 sec. user=mdettweiler [2016-11-24 06:08:15] 711*2^1446779-1 is not prime. Res64: 7451195726A73B7E Time : 0.0 sec. user=mdettweiler [2016-11-24 06:13:01] 733*2^1446779-1 is not prime. Res64: F109CD50FB94752F Time : 0.0 sec. user=mdettweiler [2016-11-24 06:13:02] 735*2^1446779-1 is not prime. Res64: FF75DE67CBA80169 Time : 0.0 sec. user=mdettweiler [2016-11-24 06:13:03] 753*2^1446779-1 is not prime. Res64: D204F6A7115F0285 Time : 0.0 sec. user=mdettweiler [2016-11-24 06:13:04] 819*2^1446779-1 is not prime. Res64: AE945664AF9EF98E Time : 0.0 sec. user=mdettweiler [2016-11-24 06:13:05] 883*2^1446779-1 is not prime. Res64: 0BB71BCD199339F0 Time : 0.0 sec. user=mdettweiler [2016-11-24 06:41:20] 955*2^1446779-1 is not prime. Res64: DF8DC2D31E0C23FC Time : 0.0 sec. user=mdettweiler [2016-11-24 06:41:21] 627*2^1446780-1 is not prime. Res64: 90683284A427B755 Time : 0.0 sec. user=mdettweiler [2016-11-24 06:41:21] 693*2^1446780-1 is not prime. Res64: 408F82A8500DCC0B Time : 0.0 sec. user=mdettweiler [2016-11-24 06:41:22] 803*2^1446780-1 is not prime. Res64: 0C9E11FC0A1F9BFE Time : 0.0 sec. user=mdettweiler [2016-11-24 06:41:22] 825*2^1446780-1 is not prime. Res64: FE53ECD899AAF0D0 Time : 0.0 sec. user=mdettweiler [2016-11-24 06:51:58] 845*2^1446780-1 is not prime. Res64: DEE929ADE34AD1E9 Time : 0.0 sec. user=mdettweiler [2016-11-24 06:51:59] 959*2^1446780-1 is not prime. Res64: 8811962BACF483BB Time : 0.0 sec. user=mdettweiler [2016-11-24 06:51:59] 983*2^1446780-1 is not prime. Res64: 1970216631A321EC Time : 0.0 sec. user=mdettweiler [2016-11-24 06:51:59] 619*2^1446781-1 is not prime. Res64: FF7A2672F943C6F3 Time : 0.0 sec. user=mdettweiler [2016-11-24 06:52:00] 717*2^1446781-1 is not prime. Res64: B0C19D37FF6F86AA Time : 0.0 sec. user=mdettweiler [2016-11-24 06:53:08] 801*2^1446781-1 is not prime. Res64: A1FE631B31A2D212 Time : 0.0 sec. user=mdettweiler [2016-11-24 06:53:09] 867*2^1446781-1 is not prime. Res64: E7AFD00A7AB3E4FD Time : 0.0 sec. user=mdettweiler [2016-11-24 06:53:09] 711*2^1446782-1 is not prime. Res64: 863B435B21357584 Time : 0.0 sec. user=mdettweiler [2016-11-24 06:53:09] 873*2^1446782-1 is not prime. Res64: A7803EEFB44FEE13 Time : 0.0 sec. user=mdettweiler [2016-11-24 06:53:10] 903*2^1446782-1 is not prime. Res64: 3AD0BE9164DFD02C Time : 0.0 sec. user=mdettweiler [2016-11-24 06:57:55] 615*2^1446783-1 is not prime. Res64: DB04E77FC2C94991 Time : 0.0 sec. user=mdettweiler [2016-11-24 06:57:55] 735*2^1446783-1 is not prime. Res64: 55215085EEF23093 Time : 0.0 sec. user=mdettweiler [2016-11-24 06:57:55] 891*2^1446783-1 is not prime. Res64: 3514E209EC8C6C60 Time : 0.0 sec. user=mdettweiler [2016-11-24 06:57:56] 663*2^1446784-1 is not prime. Res64: 4D05A8210D87E159 Time : 0.0 sec. user=mdettweiler [2016-11-24 06:57:56] 705*2^1446784-1 is not prime. Res64: 4A38B1FA1C1FA87B Time : 0.0 sec. user=mdettweiler [2016-11-24 07:26:22] 723*2^1446784-1 is not prime. Res64: D6F26AA109902E84 Time : 0.0 sec. user=mdettweiler [2016-11-24 07:26:23] 765*2^1446784-1 is not prime. Res64: 27A75E7B70F1D528 Time : 0.0 sec. user=mdettweiler [2016-11-24 07:26:25] 843*2^1446784-1 is not prime. Res64: 336D0BBD458A132D Time : 0.0 sec. user=mdettweiler [2016-11-24 07:26:26] 939*2^1446784-1 is not prime. Res64: F954DE8261DD107B Time : 0.0 sec. user=mdettweiler [2016-11-24 07:26:26] 989*2^1446784-1 is not prime. Res64: 11007B1701C515C0 Time : 0.0 sec. user=mdettweiler [2016-11-24 07:36:58] 657*2^1446785-1 is not prime. Res64: 21AC1C635069DEA3 Time : 0.0 sec. user=mdettweiler [2016-11-24 07:36:58] 679*2^1446785-1 is not prime. Res64: 827D1191804C4938 Time : 0.0 sec. user=mdettweiler [2016-11-24 07:36:58] 691*2^1446785-1 is not prime. Res64: 6CEF7112D33955D3 Time : 0.0 sec. user=mdettweiler [2016-11-24 07:36:59] 727*2^1446785-1 is not prime. Res64: D0BDA1BCB79E49ED Time : 0.0 sec. user=mdettweiler [2016-11-24 07:36:59] 729*2^1446785-1 is not prime. Res64: 55C6B3A2BAA0AC62 Time : 0.0 sec. user=mdettweiler [2016-11-24 07:38:01] 847*2^1446785-1 is not prime. Res64: 990FF9FE7F9A6B5F Time : 0.0 sec. user=mdettweiler [2016-11-24 07:38:01] 865*2^1446785-1 is not prime. Res64: 70A7F87C860AF3C1 Time : 0.0 sec. user=mdettweiler [2016-11-24 07:38:02] 627*2^1446786-1 is not prime. Res64: 6B50E7925D93A0FA Time : 0.0 sec. user=mdettweiler [2016-11-24 07:38:02] 677*2^1446786-1 is not prime. Res64: 07C4CFE3D7A12456 Time : 0.0 sec. user=mdettweiler [2016-11-24 07:38:02] 747*2^1446786-1 is not prime. Res64: DFCCC89EE9D26D5D Time : 0.0 sec. user=mdettweiler [2016-11-24 07:42:46] 755*2^1446786-1 is not prime. Res64: 0E50D44BC9B4DF23 Time : 0.0 sec. user=mdettweiler [2016-11-24 07:42:46] 803*2^1446786-1 is not prime. Res64: 51AA38F6D1614A8C Time : 0.0 sec. user=mdettweiler [2016-11-24 07:42:47] 851*2^1446786-1 is not prime. Res64: D2A85FED82A933F7 Time : 0.0 sec. user=mdettweiler [2016-11-24 07:42:47] 917*2^1446786-1 is not prime. Res64: 500893BAD09E7E05 Time : 0.0 sec. user=mdettweiler [2016-11-24 07:42:48] 945*2^1446786-1 is not prime. Res64: 2E049177F40675D0 Time : 0.0 sec. user=mdettweiler [2016-11-24 08:11:15] 947*2^1446786-1 is not prime. Res64: 3D70F69950038DD0 Time : 0.0 sec. user=mdettweiler [2016-11-24 08:11:16] 963*2^1446786-1 is not prime. Res64: 8FEB930171CF9B51 Time : 0.0 sec. user=mdettweiler [2016-11-24 08:11:16] 615*2^1446787-1 is not prime. Res64: 0C4AFAE1AECD9922 Time : 0.0 sec. user=mdettweiler [2016-11-24 08:11:16] 715*2^1446787-1 is not prime. Res64: E2ECE50FB45B3539 Time : 0.0 sec. user=mdettweiler [2016-11-24 08:11:17] 849*2^1446787-1 is not prime. Res64: 5B32ECEFAA963B50 Time : 0.0 sec. user=mdettweiler [2016-11-24 08:21:47] 859*2^1446787-1 is not prime. Res64: 5DE1B35144DDA9F0 Time : 0.0 sec. user=mdettweiler [2016-11-24 08:21:47] 915*2^1446787-1 is not prime. Res64: 78B28294A86B287D Time : 0.0 sec. user=mdettweiler [2016-11-24 08:21:48] 931*2^1446787-1 is not prime. Res64: FA973E3BCF2B58AC Time : 0.0 sec. user=mdettweiler [2016-11-24 08:21:48] 961*2^1446787-1 is not prime. Res64: 5678023D108AF888 Time : 0.0 sec. user=mdettweiler [2016-11-24 08:21:48] 669*2^1446788-1 is not prime. Res64: E5A15E963ABEA07A Time : 0.0 sec. user=mdettweiler [2016-11-24 08:22:53] 677*2^1446788-1 is not prime. Res64: 24938D3FE074B6A9 Time : 0.0 sec. user=mdettweiler [2016-11-24 08:22:53] 875*2^1446788-1 is not prime. Res64: C87E61B735994C24 Time : 0.0 sec. user=mdettweiler [2016-11-24 08:22:54] 885*2^1446788-1 is not prime. Res64: D4C50E8AAF703CFC Time : 0.0 sec. user=mdettweiler [2016-11-24 08:22:54] 923*2^1446788-1 is not prime. Res64: F6D4762E99DC32B3 Time : 0.0 sec. user=mdettweiler [2016-11-24 08:22:54] 953*2^1446788-1 is not prime. Res64: 35EBB1B2BE46B369 Time : 0.0 sec. user=mdettweiler [2016-11-24 08:27:29] 963*2^1446788-1 is not prime. Res64: 20C290D06FC66F87 Time : 0.0 sec. user=mdettweiler [2016-11-24 08:27:29] 609*2^1446789-1 is not prime. Res64: F725197217CEA6B1 Time : 0.0 sec. user=mdettweiler [2016-11-24 08:27:30] 649*2^1446789-1 is not prime. Res64: EF3C7808C726D84C Time : 0.0 sec. user=mdettweiler [2016-11-24 08:27:31] 655*2^1446789-1 is not prime. Res64: E41A6A4508135B20 Time : 0.0 sec. user=mdettweiler [2016-11-24 08:27:31] 745*2^1446789-1 is not prime. Res64: BEE6C3F5B91A163D Time : 0.0 sec. user=mdettweiler [2016-11-24 08:56:41] 759*2^1446789-1 is not prime. Res64: 183706E5A156EED9 Time : 0.0 sec. user=mdettweiler [2016-11-24 08:56:41] 861*2^1446789-1 is not prime. Res64: F9EE10DAD3407257 Time : 0.0 sec. user=mdettweiler [2016-11-24 08:56:41] 927*2^1446789-1 is not prime. Res64: 6B9047DC41379852 Time : 0.0 sec. user=mdettweiler [2016-11-24 08:56:42] 997*2^1446789-1 is not prime. Res64: 89981631C4DCF63B Time : 0.0 sec. user=mdettweiler [2016-11-24 08:56:42] 743*2^1446790-1 is not prime. Res64: 81AE3763E471B03B Time : 0.0 sec. user=mdettweiler [2016-11-24 09:07:14] 791*2^1446790-1 is not prime. Res64: 1BE71065D33C0522 Time : 0.0 sec. user=mdettweiler [2016-11-24 09:07:14] 801*2^1446790-1 is not prime. Res64: A45EA46499E4FABD Time : 0.0 sec. user=mdettweiler [2016-11-24 09:07:15] 857*2^1446790-1 is not prime. Res64: C4DE2A5AD47581CF Time : 0.0 sec. user=mdettweiler [2016-11-24 09:07:15] 911*2^1446790-1 is not prime. Res64: 43B1A5338B9EEDBD Time : 0.0 sec. user=mdettweiler [2016-11-24 09:07:15] 971*2^1446790-1 is not prime. Res64: 2FEC0F94B159F143 Time : 0.0 sec. user=mdettweiler [2016-11-24 09:08:34] 1001*2^1446790-1 is not prime. Res64: 90C6F1953F2FD100 Time : 0.0 sec. user=mdettweiler [2016-11-24 09:08:34] 645*2^1446791-1 is not prime. Res64: 8981A97B6C13A4F3 Time : 0.0 sec. user=mdettweiler [2016-11-24 09:08:35] 675*2^1446791-1 is not prime. Res64: 110926D4B4B37F4B Time : 0.0 sec. user=mdettweiler [2016-11-24 09:08:35] 745*2^1446791-1 is not prime. Res64: 867BD4DAD35915AD Time : 0.0 sec. user=mdettweiler [2016-11-24 09:08:35] 813*2^1446791-1 is not prime. Res64: 209E28023FA07B18 Time : 0.0 sec. user=mdettweiler [2016-11-24 09:12:39] 825*2^1446791-1 is not prime. Res64: DD81AA53ED672E3A Time : 0.0 sec. user=mdettweiler [2016-11-24 09:12:40] 843*2^1446791-1 is not prime. Res64: BAAD48FE29E0F765 Time : 0.0 sec. user=mdettweiler [2016-11-24 09:12:41] 931*2^1446791-1 is not prime. Res64: FD347EE3C86DCB26 Time : 0.0 sec. user=mdettweiler [2016-11-24 09:12:42] 979*2^1446791-1 is not prime. Res64: D96B1E1F39F869BD Time : 0.0 sec. user=mdettweiler [2016-11-24 09:12:42] 633*2^1446792-1 is not prime. Res64: FCAEE819FD61DE28 Time : 0.0 sec. user=mdettweiler [2016-11-24 09:41:34] 683*2^1446792-1 is not prime. Res64: 7629A4AFE14F3EE9 Time : 0.0 sec. user=mdettweiler [2016-11-24 09:41:34] 863*2^1446792-1 is not prime. Res64: D418E139C480F8B6 Time : 0.0 sec. user=mdettweiler [2016-11-24 09:41:34] 873*2^1446792-1 is not prime. Res64: 652A573133059E09 Time : 0.0 sec. user=mdettweiler [2016-11-24 09:41:35] 887*2^1446792-1 is not prime. Res64: 0C5C6C7040695092 Time : 0.0 sec. user=mdettweiler [2016-11-24 09:41:35] 983*2^1446792-1 is not prime. Res64: A1EA4BBFABFB0381 Time : 0.0 sec. user=mdettweiler [2016-11-24 09:52:06] 607*2^1446793-1 is not prime. Res64: 8B6129B416222646 Time : 0.0 sec. user=mdettweiler [2016-11-24 09:52:07] 925*2^1446793-1 is not prime. Res64: A5FE37A21C89B005 Time : 0.0 sec. user=mdettweiler [2016-11-24 09:52:07] 651*2^1446794-1 is not prime. Res64: B5BFD732819184E3 Time : 0.0 sec. user=mdettweiler [2016-11-24 09:52:08] 825*2^1446794-1 is not prime. Res64: A97CF82C0A073915 Time : 0.0 sec. user=mdettweiler [2016-11-24 09:52:09] 945*2^1446794-1 is not prime. Res64: 0A07E573BC47C0B7 Time : 0.0 sec. user=mdettweiler [2016-11-24 09:53:20] 685*2^1446795-1 is not prime. Res64: 9E4ACBACEA5AAE15 Time : 0.0 sec. user=mdettweiler [2016-11-24 09:53:20] 789*2^1446795-1 is not prime. Res64: FBD2A0E6F60A6CCD Time : 0.0 sec. user=mdettweiler [2016-11-24 09:53:20] 801*2^1446795-1 is not prime. Res64: 50D43A40048B5343 Time : 0.0 sec. user=mdettweiler [2016-11-24 09:53:21] 891*2^1446795-1 is not prime. Res64: 59C88E49ED931F54 Time : 0.0 sec. user=mdettweiler [2016-11-24 09:53:21] 955*2^1446795-1 is not prime. Res64: 2E27E51EF3AF1785 Time : 0.0 sec. user=mdettweiler [2016-11-24 09:57:41] 973*2^1446795-1 is not prime. Res64: FCFBECBF341E4E75 Time : 0.0 sec. user=mdettweiler [2016-11-24 09:57:41] 999*2^1446795-1 is not prime. Res64: C893779DFF0AB8B3 Time : 0.0 sec. user=mdettweiler [2016-11-24 09:57:42] 689*2^1446796-1 is not prime. Res64: 5AD23DCDFF1440D4 Time : 0.0 sec. user=mdettweiler [2016-11-24 09:57:42] 707*2^1446796-1 is not prime. Res64: 317625E10E03AFC3 Time : 0.0 sec. user=mdettweiler [2016-11-24 09:57:42] 825*2^1446796-1 is not prime. Res64: 632A59551F921174 Time : 0.0 sec. user=mdettweiler [2016-11-24 10:26:27] 857*2^1446796-1 is not prime. Res64: DD22419E6F603CD1 Time : 0.0 sec. user=mdettweiler [2016-11-24 10:26:28] 903*2^1446796-1 is not prime. Res64: 985A7ABCA51839D4 Time : 0.0 sec. user=mdettweiler [2016-11-24 10:26:28] 957*2^1446796-1 is not prime. Res64: FE2D056F8A5CD8C9 Time : 0.0 sec. user=mdettweiler [2016-11-24 10:26:28] 965*2^1446796-1 is not prime. Res64: 1E5C27921B6D830A Time : 0.0 sec. user=mdettweiler [2016-11-24 10:26:29] 989*2^1446796-1 is not prime. Res64: 6B3EFB7CFB939CCA Time : 0.0 sec. user=mdettweiler [2016-11-24 10:36:53] 607*2^1446797-1 is not prime. Res64: 84D83AE2ABADD82D Time : 0.0 sec. user=mdettweiler [2016-11-24 10:36:53] 649*2^1446797-1 is not prime. Res64: FEF58CC4416CBE8E Time : 0.0 sec. user=mdettweiler [2016-11-24 10:36:53] 655*2^1446797-1 is not prime. Res64: 612B761CD6532EC9 Time : 0.0 sec. user=mdettweiler [2016-11-24 10:36:54] 729*2^1446797-1 is not prime. Res64: 687F1FA49A8CD609 Time : 0.0 sec. user=mdettweiler [2016-11-24 10:36:54] 735*2^1446797-1 is not prime. Res64: 4F2DBA34BBDB6436 Time : 0.0 sec. user=mdettweiler [2016-11-24 10:38:03] 795*2^1446797-1 is not prime. Res64: 9D2D9287C7CF9127 Time : 0.0 sec. user=mdettweiler [2016-11-24 10:38:04] 801*2^1446797-1 is not prime. Res64: E90BB75515D46BD8 Time : 0.0 sec. user=mdettweiler [2016-11-24 10:38:04] 837*2^1446797-1 is not prime. Res64: 3A18EE6A655B4669 Time : 0.0 sec. user=mdettweiler [2016-11-24 10:38:05] 681*2^1446798-1 is not prime. Res64: AB729F070C6BED0A Time : 0.0 sec. user=mdettweiler [2016-11-24 10:38:06] 893*2^1446798-1 is not prime. Res64: 105DB193AB32685C Time : 0.0 sec. user=mdettweiler [2016-11-24 10:42:34] 921*2^1446798-1 is not prime. Res64: 8BCBF28F334EEA7E Time : 0.0 sec. user=mdettweiler [2016-11-24 10:42:34] 927*2^1446798-1 is not prime. Res64: C18BFB26A3FCE4FD Time : 0.0 sec. user=mdettweiler [2016-11-24 10:42:34] 933*2^1446798-1 is not prime. Res64: 81D3DCD56A2BFC4F Time : 0.0 sec. user=mdettweiler [2016-11-24 10:42:35] 951*2^1446798-1 is not prime. Res64: 64FDD3F08C3FDF8B Time : 0.0 sec. user=mdettweiler [2016-11-24 10:42:35] 619*2^1446799-1 is not prime. Res64: 082D840DA1955022 Time : 0.0 sec. user=mdettweiler [2016-11-24 11:11:17] 645*2^1446799-1 is not prime. Res64: 00A2D08040F261B5 Time : 0.0 sec. user=mdettweiler [2016-11-24 11:11:17] 663*2^1446799-1 is not prime. Res64: 3673702A2EAF54C4 Time : 0.0 sec. user=mdettweiler [2016-11-24 11:11:18] 729*2^1446799-1 is not prime. Res64: F1E206B626D50508 Time : 0.0 sec. user=mdettweiler [2016-11-24 11:11:18] 741*2^1446799-1 is not prime. Res64: E0794973E8D84883 Time : 0.0 sec. user=mdettweiler [2016-11-24 11:11:18] 793*2^1446799-1 is not prime. Res64: 32E0B3E6B4347DEC Time : 0.0 sec. user=mdettweiler [2016-11-24 11:21:49] 853*2^1446799-1 is not prime. Res64: 213BE3A7E898C846 Time : 0.0 sec. user=mdettweiler [2016-11-24 11:21:50] 931*2^1446799-1 is not prime. Res64: 6842BD35BD687700 Time : 0.0 sec. user=mdettweiler [2016-11-24 11:21:50] 943*2^1446799-1 is not prime. Res64: 410D2EDB0C8B3DE1 Time : 0.0 sec. user=mdettweiler [2016-11-24 11:21:51] 969*2^1446799-1 is not prime. Res64: EA5BDA56103C9B50 Time : 0.0 sec. user=mdettweiler [2016-11-24 11:21:52] 665*2^1446800-1 is not prime. Res64: ADFAF7986091175A Time : 0.0 sec. user=mdettweiler [2016-11-24 11:22:48] 689*2^1446800-1 is not prime. Res64: 0DB4156A0960776B Time : 0.0 sec. user=mdettweiler [2016-11-24 11:22:50] 843*2^1446800-1 is not prime. Res64: 24BB4F8E4F86E3D9 Time : 0.0 sec. user=mdettweiler [2016-11-24 11:22:52] 845*2^1446800-1 is not prime. Res64: 68104EA6D743B5D2 Time : 0.0 sec. user=mdettweiler [2016-11-24 11:22:53] 915*2^1446800-1 is not prime. Res64: 28516AE193F886F4 Time : 0.0 sec. user=mdettweiler [2016-11-24 11:22:54] 609*2^1446801-1 is not prime. Res64: C03C19713A141B2D Time : 0.0 sec. user=mdettweiler [2016-11-24 11:27:21] 685*2^1446801-1 is not prime. Res64: 16889BEA1DD0B7F6 Time : 0.0 sec. user=mdettweiler [2016-11-24 11:27:23] 741*2^1446801-1 is not prime. Res64: 421BDAD00CBEA96C Time : 0.0 sec. user=mdettweiler [2016-11-24 11:27:24] 861*2^1446801-1 is not prime. Res64: 97AA1402EA7EEBF5 Time : 0.0 sec. user=mdettweiler [2016-11-24 11:27:25] 865*2^1446801-1 is not prime. Res64: 7EDCE710B67D3D0B Time : 0.0 sec. user=mdettweiler [2016-11-24 11:27:26] 867*2^1446801-1 is not prime. Res64: D391C9D3D9433C87 Time : 0.0 sec. user=mdettweiler [2016-11-24 11:56:00] 909*2^1446801-1 is not prime. Res64: AE8D09417EE066AF Time : 0.0 sec. user=mdettweiler [2016-11-24 11:56:00] 635*2^1446802-1 is not prime. Res64: C742877A5916323C Time : 0.0 sec. user=mdettweiler [2016-11-24 11:56:01] 723*2^1446802-1 is not prime. Res64: 06603A9B273939DF Time : 0.0 sec. user=mdettweiler [2016-11-24 11:56:01] 741*2^1446802-1 is not prime. Res64: 4B82DFEBA3B49E62 Time : 0.0 sec. user=mdettweiler [2016-11-24 11:56:01] 803*2^1446802-1 is not prime. Res64: C738ABE2C1495F25 Time : 0.0 sec. user=mdettweiler [2016-11-24 12:06:43] 917*2^1446802-1 is not prime. Res64: A4FF66A78329EBE9 Time : 0.0 sec. user=mdettweiler [2016-11-24 12:06:43] 995*2^1446802-1 is not prime. Res64: 22F7E2EF99A3B4B1 Time : 0.0 sec. user=mdettweiler [2016-11-24 12:06:44] 663*2^1446803-1 is not prime. Res64: A502467F74D9EF4E Time : 0.0 sec. user=mdettweiler [2016-11-24 12:06:44] 673*2^1446803-1 is not prime. Res64: 7F73140C974559BC Time : 0.0 sec. user=mdettweiler [2016-11-24 12:06:45] 985*2^1446803-1 is not prime. Res64: BDD215B602780077 Time : 0.0 sec. user=mdettweiler [2016-11-24 12:07:46] 663*2^1446804-1 is not prime. Res64: FC94D5646E95ED49 Time : 0.0 sec. user=mdettweiler [2016-11-24 12:07:47] 675*2^1446804-1 is not prime. Res64: EB7940112D4C594B Time : 0.0 sec. user=mdettweiler [2016-11-24 12:07:47] 809*2^1446804-1 is not prime. Res64: 9F5A42B98BD80594 Time : 0.0 sec. user=mdettweiler [2016-11-24 12:07:48] 923*2^1446804-1 is not prime. Res64: 9EC00496DAA989F0 Time : 0.0 sec. user=mdettweiler [2016-11-24 12:07:48] 969*2^1446804-1 is not prime. Res64: EB40B8572EAC3E86 Time : 0.0 sec. user=mdettweiler [2016-11-24 12:12:22] 679*2^1446805-1 is not prime. Res64: 50E6F83A16941766 Time : 0.0 sec. user=mdettweiler [2016-11-24 12:12:23] 819*2^1446805-1 is not prime. Res64: F8353184F9306737 Time : 0.0 sec. user=mdettweiler [2016-11-24 12:12:24] 847*2^1446805-1 is not prime. Res64: BC77D8AC6931C4B1 Time : 0.0 sec. user=mdettweiler [2016-11-24 12:12:25] 849*2^1446805-1 is not prime. Res64: 0D1A8311AF7D0634 Time : 0.0 sec. user=mdettweiler [2016-11-24 12:12:26] 889*2^1446805-1 is not prime. Res64: 20AC4419A77184C0 Time : 0.0 sec. user=mdettweiler [2016-11-24 12:44:31] 939*2^1446805-1 is not prime. Res64: 377AF62323F6E51D Time : 0.0 sec. user=mdettweiler [2016-11-24 12:44:31] 635*2^1446806-1 is not prime. Res64: 1E541B93948D5682 Time : 0.0 sec. user=mdettweiler [2016-11-24 12:44:32] 675*2^1446806-1 is not prime. Res64: 433FE8C218F4B404 Time : 0.0 sec. user=mdettweiler [2016-11-24 12:44:32] 693*2^1446806-1 is not prime. Res64: 0DA6037D0841DA04 Time : 0.0 sec. user=mdettweiler [2016-11-24 12:44:32] 833*2^1446806-1 is not prime. Res64: 80C087C71F9FAA5A Time : 0.0 sec. user=mdettweiler [2016-11-24 12:55:32] 867*2^1446806-1 is not prime. Res64: 7BA09392D067BF20 Time : 0.0 sec. user=mdettweiler [2016-11-24 12:55:33] 903*2^1446806-1 is not prime. Res64: D54649D549EE87EC Time : 0.0 sec. user=mdettweiler [2016-11-24 12:55:33] 923*2^1446806-1 is not prime. Res64: 0A9E9A69AADF18BA Time : 0.0 sec. user=mdettweiler [2016-11-24 12:55:33] 941*2^1446806-1 is not prime. Res64: 3CE2196725A9DFD9 Time : 0.0 sec. user=mdettweiler [2016-11-24 12:55:34] 805*2^1446807-1 is not prime. Res64: 780F5BCC85AE3D74 Time : 0.0 sec. user=mdettweiler [2016-11-24 12:57:05] 895*2^1446807-1 is not prime. Res64: 2E553228E3CF9B4C Time : 0.0 sec. user=mdettweiler [2016-11-24 12:57:06] 963*2^1446807-1 is not prime. Res64: 659BC10BC68A7B84 Time : 0.0 sec. user=mdettweiler [2016-11-24 12:57:06] 617*2^1446808-1 is not prime. Res64: A69553DD8128CA1C Time : 0.0 sec. user=mdettweiler [2016-11-24 12:57:06] 687*2^1446808-1 is not prime. Res64: DCFA548832C7F4F2 Time : 0.0 sec. user=mdettweiler [2016-11-24 12:57:07] 855*2^1446808-1 is not prime. Res64: 08B7E8E4B4596618 Time : 0.0 sec. user=mdettweiler [2016-11-24 13:02:02] 863*2^1446808-1 is not prime. Res64: 50B64165D883CD72 Time : 0.0 sec. user=mdettweiler [2016-11-24 13:02:03] 869*2^1446808-1 is not prime. Res64: 915FE5609A9AFEE6 Time : 0.0 sec. user=mdettweiler [2016-11-24 13:02:04] 897*2^1446808-1 is not prime. Res64: 0A99B450C9FC51E3 Time : 0.0 sec. user=mdettweiler [2016-11-24 13:02:04] 933*2^1446808-1 is not prime. Res64: B1C42B6DCA2530E8 Time : 0.0 sec. user=mdettweiler [2016-11-24 13:02:04] 685*2^1446809-1 is not prime. Res64: DDEEA2909075C3C5 Time : 0.0 sec. user=mdettweiler [2016-11-24 13:31:47] 727*2^1446809-1 is not prime. Res64: 5A8C10DDAB4715FC Time : 0.0 sec. user=mdettweiler [2016-11-24 13:31:48] 847*2^1446809-1 is not prime. Res64: 86FB123BE91BDAA0 Time : 0.0 sec. user=mdettweiler [2016-11-24 13:31:48] 861*2^1446809-1 is not prime. Res64: 1BB0ACFE253BABC7 Time : 0.0 sec. user=mdettweiler [2016-11-24 13:31:49] 967*2^1446809-1 is not prime. Res64: 87BC7638EAA483EA Time : 0.0 sec. user=mdettweiler [2016-11-24 13:31:49] 791*2^1446810-1 is not prime. Res64: 4D3E6F88E886AFF1 Time : 0.0 sec. user=mdettweiler [2016-11-24 13:42:25] 845*2^1446810-1 is not prime. Res64: 0CD1A59C9089C156 Time : 0.0 sec. user=mdettweiler [2016-11-24 13:42:26] 977*2^1446810-1 is not prime. Res64: A4D3D1B9F0AC90BC Time : 0.0 sec. user=mdettweiler [2016-11-24 13:42:26] 625*2^1446811-1 is not prime. Res64: 02D3F479CAF26D17 Time : 0.0 sec. user=mdettweiler [2016-11-24 13:42:27] 673*2^1446811-1 is not prime. Res64: 736A35C51FE99C7A Time : 0.0 sec. user=mdettweiler [2016-11-24 13:42:27] 733*2^1446811-1 is not prime. Res64: B457FCB7A92D6C2D Time : 0.0 sec. user=mdettweiler [2016-11-24 13:44:43] 759*2^1446811-1 is not prime. Res64: AD410EFFA2AEECE0 Time : 0.0 sec. user=mdettweiler [2016-11-24 13:44:44] 835*2^1446811-1 is not prime. Res64: EEB399C45D546D99 Time : 0.0 sec. user=mdettweiler [2016-11-24 13:44:44] 841*2^1446811-1 is not prime. Res64: 0A63D863A932029A Time : 0.0 sec. user=mdettweiler [2016-11-24 13:44:44] 843*2^1446811-1 is not prime. Res64: 98115F02C7A11B61 Time : 0.0 sec. user=mdettweiler [2016-11-24 13:44:45] 979*2^1446811-1 is not prime. Res64: 2E717A250C94CF53 Time : 0.0 sec. user=mdettweiler [2016-11-24 13:48:24] 615*2^1446812-1 is not prime. Res64: 496345750112E975 Time : 0.0 sec. user=mdettweiler [2016-11-24 13:48:24] 693*2^1446812-1 is not prime. Res64: FFFDE34EF5241774 Time : 0.0 sec. user=mdettweiler [2016-11-24 13:48:25] 797*2^1446812-1 is not prime. Res64: FAC53563C4FD2590 Time : 0.0 sec. user=mdettweiler [2016-11-24 13:48:25] 825*2^1446812-1 is not prime. Res64: E71F18010B21D479 Time : 0.0 sec. user=mdettweiler [2016-11-24 13:48:29] 899*2^1446812-1 is not prime. Res64: E77AA6A2D7071E62 Time : 0.0 sec. user=mdettweiler [2016-11-24 14:19:27] 923*2^1446812-1 is not prime. Res64: 7290ADBE25418AE1 Time : 0.0 sec. user=mdettweiler [2016-11-24 14:19:28] 957*2^1446812-1 is not prime. Res64: CC37021434893705 Time : 0.0 sec. user=mdettweiler [2016-11-24 14:19:28] 977*2^1446812-1 is not prime. Res64: F8171121E4919143 Time : 0.0 sec. user=mdettweiler [2016-11-24 14:19:28] 983*2^1446812-1 is not prime. Res64: FC5F18012129C726 Time : 0.0 sec. user=mdettweiler [2016-11-24 14:19:29] 987*2^1446812-1 is not prime. Res64: B2B0D11F0242DF4E Time : 0.0 sec. user=mdettweiler [2016-11-24 14:34:00] 621*2^1446813-1 is not prime. Res64: 0F9E3D413DB7B4EF Time : 0.0 sec. user=mdettweiler [2016-11-24 14:34:00] 691*2^1446813-1 is not prime. Res64: 789524132967C203 Time : 0.0 sec. user=mdettweiler [2016-11-24 14:34:07] 765*2^1446813-1 is not prime. Res64: 452949FA7D91C0BF Time : 0.0 sec. user=mdettweiler [2016-11-24 14:34:07] 795*2^1446813-1 is not prime. Res64: D3493BAE6400AA56 Time : 0.0 sec. user=mdettweiler [2016-11-24 14:34:07] 817*2^1446813-1 is not prime. Res64: 766408A8DE1AFCCE Time : 0.0 sec. user=mdettweiler [2016-11-24 14:37:26] 837*2^1446813-1 is not prime. Res64: 81FBDE9E140E0985 Time : 0.0 sec. user=mdettweiler [2016-11-24 14:37:27] 859*2^1446813-1 is not prime. Res64: 7587221312C0C944 Time : 0.0 sec. user=mdettweiler [2016-11-24 14:37:27] 623*2^1446814-1 is not prime. Res64: BAFA2FCE535377D3 Time : 0.0 sec. user=mdettweiler [2016-11-24 14:37:27] 765*2^1446814-1 is not prime. Res64: C740EC7625B4135C Time : 0.0 sec. user=mdettweiler [2016-11-24 14:37:27] 945*2^1446814-1 is not prime. Res64: A92C9BE9743B0B01 Time : 0.0 sec. user=mdettweiler [2016-11-24 14:43:24] 651*2^1446815-1 is not prime. Res64: 80158EE58F2741C9 Time : 0.0 sec. user=mdettweiler [2016-11-24 14:43:24] 661*2^1446815-1 is not prime. Res64: E54F377C25CD4EF8 Time : 0.0 sec. user=mdettweiler [2016-11-24 14:43:24] 685*2^1446815-1 is not prime. Res64: 2D4C029ABF3D3E32 Time : 0.0 sec. user=mdettweiler [2016-11-24 14:43:25] 759*2^1446815-1 is not prime. Res64: 418F02DC1592F069 Time : 0.0 sec. user=mdettweiler [2016-11-24 14:43:25] 781*2^1446815-1 is not prime. Res64: 375E17B0852E65B7 Time : 0.0 sec. user=mdettweiler [2016-11-24 15:19:35] 861*2^1446815-1 is not prime. Res64: 2B41D508E95684B7 Time : 0.0 sec. user=mdettweiler [2016-11-24 15:19:36] 921*2^1446815-1 is not prime. Res64: 82112C8B23A15799 Time : 0.0 sec. user=mdettweiler [2016-11-24 15:19:36] 963*2^1446815-1 is not prime. Res64: 2B9FCE9941BC68FA Time : 0.0 sec. user=mdettweiler [2016-11-24 15:19:40] 969*2^1446815-1 is not prime. Res64: 124BB3778B72AD4E Time : 0.0 sec. user=mdettweiler [2016-11-24 15:19:41] 981*2^1446815-1 is not prime. Res64: F0969F36B68D75F2 Time : 0.0 sec. user=mdettweiler [2016-11-24 15:29:20] 633*2^1446816-1 is not prime. Res64: 8624D4395B6C734D Time : 0.0 sec. user=mdettweiler [2016-11-24 15:29:20] 695*2^1446816-1 is not prime. Res64: 1DE2DC7C05D3FAB7 Time : 0.0 sec. user=mdettweiler [2016-11-24 15:29:20] 717*2^1446816-1 is not prime. Res64: 74DA4EE7F3E2C3D5 Time : 0.0 sec. user=mdettweiler [2016-11-24 15:29:21] 719*2^1446816-1 is not prime. Res64: 70AF8924E8A90CB6 Time : 0.0 sec. user=mdettweiler [2016-11-24 15:29:21] 825*2^1446816-1 is not prime. Res64: 983727B3EF5FAF90 Time : 0.0 sec. user=mdettweiler [2016-11-24 15:32:47] 845*2^1446816-1 is not prime. Res64: 7E25A48DDE47DA95 Time : 0.0 sec. user=mdettweiler [2016-11-24 15:32:47] 887*2^1446816-1 is not prime. Res64: E8C1E516D134CE97 Time : 0.0 sec. user=mdettweiler [2016-11-24 15:32:48] 903*2^1446816-1 is not prime. Res64: 65D606B28F2C7AE6 Time : 0.0 sec. user=mdettweiler [2016-11-24 15:32:48] 923*2^1446816-1 is not prime. Res64: 43821A674537FB92 Time : 0.0 sec. user=mdettweiler [2016-11-24 15:32:48] 927*2^1446816-1 is not prime. Res64: 4B5502130C87D617 Time : 0.0 sec. user=mdettweiler [2016-11-24 15:35:52] 645*2^1446817-1 is not prime. Res64: D353439169A0B77D Time : 0.0 sec. user=mdettweiler [2016-11-24 15:35:52] 675*2^1446817-1 is not prime. Res64: 6052F808E4B256DB Time : 0.0 sec. user=mdettweiler [2016-11-24 15:35:52] 799*2^1446817-1 is not prime. Res64: 6979C9A61D218A7F Time : 0.0 sec. user=mdettweiler [2016-11-24 15:35:53] 829*2^1446817-1 is not prime. Res64: 7033D4515C9EEE45 Time : 0.0 sec. user=mdettweiler [2016-11-24 15:35:53] 897*2^1446817-1 is not prime. Res64: 9401A08463DEC838 Time : 0.0 sec. user=mdettweiler [2016-11-24 16:04:33] 915*2^1446817-1 is not prime. Res64: 534D49E6B4AACC0C Time : 0.0 sec. user=mdettweiler [2016-11-24 16:04:38] 705*2^1446818-1 is not prime. Res64: 7B3161496195400A Time : 0.0 sec. user=mdettweiler [2016-11-24 16:04:38] 791*2^1446818-1 is not prime. Res64: 58E01ABE55BA185A Time : 0.0 sec. user=mdettweiler [2016-11-24 16:04:43] 935*2^1446818-1 is not prime. Res64: E8320B0EDA477899 Time : 0.0 sec. user=mdettweiler [2016-11-24 16:04:44] 987*2^1446818-1 is not prime. Res64: 42DB987ECD2A6C43 Time : 0.0 sec. user=mdettweiler [2016-11-24 16:14:37] 601*2^1446819-1 is not prime. Res64: 61AA19B699371AF1 Time : 0.0 sec. user=mdettweiler [2016-11-24 16:14:38] 625*2^1446819-1 is not prime. Res64: 9E8BBB10378F3E9D Time : 0.0 sec. user=mdettweiler [2016-11-24 16:14:38] 663*2^1446819-1 is not prime. Res64: 2E7EF3DA06BD1406 Time : 0.0 sec. user=mdettweiler [2016-11-24 16:14:39] 835*2^1446819-1 is not prime. Res64: 0BBCCC15C3A40D35 Time : 0.0 sec. user=mdettweiler [2016-11-24 16:14:39] 909*2^1446819-1 is not prime. Res64: 7458D07D7E823BF0 Time : 0.0 sec. user=mdettweiler [2016-11-24 16:17:47] 609*2^1446820-1 is not prime. Res64: A70C2CA4E76DADF8 Time : 0.0 sec. user=mdettweiler [2016-11-24 16:17:47] 647*2^1446820-1 is not prime. Res64: 3FB1759255646DB3 Time : 0.0 sec. user=mdettweiler [2016-11-24 16:17:48] 677*2^1446820-1 is not prime. Res64: CB1C5D5C1189C013 Time : 0.0 sec. user=mdettweiler [2016-11-24 16:17:48] 765*2^1446820-1 is not prime. Res64: 56FB3194E7ABC18C Time : 0.0 sec. user=mdettweiler [2016-11-24 16:17:49] 797*2^1446820-1 is not prime. Res64: FC02E80946F97D9A Time : 0.0 sec. user=mdettweiler [2016-11-24 16:21:03] 905*2^1446820-1 is not prime. Res64: 7BED7D733431C2B1 Time : 0.0 sec. user=mdettweiler [2016-11-24 16:21:03] 621*2^1446821-1 is not prime. Res64: 9CBEF07EC8C40F16 Time : 0.0 sec. user=mdettweiler [2016-11-24 16:21:04] 631*2^1446821-1 is not prime. Res64: DE26EBB0C6E5ED69 Time : 0.0 sec. user=mdettweiler [2016-11-24 16:21:04] 685*2^1446821-1 is not prime. Res64: A021FFF801D55A53 Time : 0.0 sec. user=mdettweiler [2016-11-24 16:21:04] 757*2^1446821-1 is not prime. Res64: 40BFF41AFD6A3390 Time : 0.0 sec. user=mdettweiler [2016-11-24 16:49:54] 885*2^1446821-1 is not prime. Res64: 7028E31522134E7A Time : 0.0 sec. user=mdettweiler [2016-11-24 16:49:54] 931*2^1446821-1 is not prime. Res64: 80AD252313187EC6 Time : 0.0 sec. user=mdettweiler [2016-11-24 16:49:54] 987*2^1446821-1 is not prime. Res64: AE901B55D58454BA Time : 0.0 sec. user=mdettweiler [2016-11-24 16:49:55] 991*2^1446821-1 is not prime. Res64: 5129D1C6D7431CE4 Time : 0.0 sec. user=mdettweiler [2016-11-24 16:49:55] 657*2^1446822-1 is not prime. Res64: 5500B6439CF474C7 Time : 0.0 sec. user=mdettweiler [2016-11-24 16:59:38] 681*2^1446822-1 is not prime. Res64: 08313E9E9CBCE40F Time : 0.0 sec. user=mdettweiler [2016-11-24 16:59:38] 683*2^1446822-1 is not prime. Res64: FFEEA05B8C7C9AEA Time : 0.0 sec. user=mdettweiler [2016-11-24 16:59:39] 893*2^1446822-1 is not prime. Res64: 216D613EFD4AECD4 Time : 0.0 sec. user=mdettweiler [2016-11-24 16:59:39] 1001*2^1446822-1 is not prime. Res64: E6C1DF8A865F500E Time : 0.0 sec. user=mdettweiler [2016-11-24 16:59:39] 673*2^1446823-1 is not prime. Res64: 4A0A859A5A8A11F1 Time : 0.0 sec. user=mdettweiler [2016-11-24 17:02:47] 679*2^1446823-1 is not prime. Res64: D0D7723FF9C9F8F2 Time : 0.0 sec. user=mdettweiler [2016-11-24 17:02:47] 765*2^1446823-1 is not prime. Res64: 4C1816E5727FB66C Time : 0.0 sec. user=mdettweiler [2016-11-24 17:02:48] 805*2^1446823-1 is not prime. Res64: 9F6888BCA5CE82DB Time : 0.0 sec. user=mdettweiler [2016-11-24 17:02:49] 819*2^1446823-1 is not prime. Res64: 2F3B01FC351727EF Time : 0.0 sec. user=mdettweiler [2016-11-24 17:02:49] 831*2^1446823-1 is not prime. Res64: F818A8A4FEEBD835 Time : 0.0 sec. user=mdettweiler [2016-11-24 17:06:02] 853*2^1446823-1 is not prime. Res64: FD3BF34B0562E74F Time : 0.0 sec. user=mdettweiler [2016-11-24 17:06:04] 883*2^1446823-1 is not prime. Res64: 225C7CFF3FC65B4A Time : 0.0 sec. user=mdettweiler [2016-11-24 17:06:05] 969*2^1446823-1 is not prime. Res64: 246B89715D75E4A0 Time : 0.0 sec. user=mdettweiler [2016-11-24 17:06:06] 993*2^1446823-1 is not prime. Res64: 9EAFC6BBFB4C7587 Time : 0.0 sec. user=mdettweiler [2016-11-24 17:06:07] 605*2^1446824-1 is not prime. Res64: 5FC5FA8544A0BB32 Time : 0.0 sec. user=mdettweiler [2016-11-24 17:35:01] 635*2^1446824-1 is not prime. Res64: 544F90A8CFD9021F Time : 0.0 sec. user=mdettweiler [2016-11-24 17:35:02] 843*2^1446824-1 is not prime. Res64: E30E3294EC37635A Time : 0.0 sec. user=mdettweiler [2016-11-24 17:35:02] 735*2^1446825-1 is not prime. Res64: 3C5C3EA0928F8506 Time : 0.0 sec. user=mdettweiler [2016-11-24 17:35:03] 817*2^1446825-1 is not prime. Res64: 86E3873E7EECD923 Time : 0.0 sec. user=mdettweiler [2016-11-24 17:35:03] 861*2^1446825-1 is not prime. Res64: 91F320CB7F7D8606 Time : 0.0 sec. user=mdettweiler [2016-11-24 17:44:34] 915*2^1446825-1 is not prime. Res64: 9640B51DD765005B Time : 0.0 sec. user=mdettweiler [2016-11-24 17:44:35] 937*2^1446825-1 is not prime. Res64: 42A423CA02222C10 Time : 0.0 sec. user=mdettweiler [2016-11-24 17:44:35] 603*2^1446826-1 is not prime. Res64: C365F99371B560A1 Time : 0.0 sec. user=mdettweiler [2016-11-24 17:44:36] 623*2^1446826-1 is not prime. Res64: F49E1B402CA78ECE Time : 0.0 sec. user=mdettweiler [2016-11-24 17:44:36] 657*2^1446826-1 is not prime. Res64: 5B4203D51AF655D2 Time : 0.0 sec. user=mdettweiler [2016-11-24 17:47:54] 701*2^1446826-1 is not prime. Res64: B77BC7199C01B00A Time : 0.0 sec. user=mdettweiler [2016-11-24 17:47:55] 705*2^1446826-1 is not prime. Res64: 1886629CF55EBA39 Time : 0.0 sec. user=mdettweiler [2016-11-24 17:47:55] 735*2^1446826-1 is not prime. Res64: 4FD8178E63EE990B Time : 0.0 sec. user=mdettweiler [2016-11-24 17:47:55] 603*2^1446827-1 is not prime. Res64: FE7CB14424251B01 Time : 0.0 sec. user=mdettweiler [2016-11-24 17:47:56] 615*2^1446827-1 is not prime. Res64: 70CE323FA1224E3D Time : 0.0 sec. user=mdettweiler [2016-11-24 17:51:01] 651*2^1446827-1 is not prime. Res64: 924AFEDF29E73B13 Time : 0.0 sec. user=mdettweiler [2016-11-24 17:51:01] 669*2^1446827-1 is not prime. Res64: BDB685B63B94A1DC Time : 0.0 sec. user=mdettweiler [2016-11-24 17:51:01] 699*2^1446827-1 is not prime. Res64: F221E64D67021797 Time : 0.0 sec. user=mdettweiler [2016-11-24 17:51:02] 705*2^1446827-1 is not prime. Res64: 94870DBD16293758 Time : 0.0 sec. user=mdettweiler [2016-11-24 17:51:02] 735*2^1446827-1 is not prime. Res64: D92DF512503B8AB4 Time : 0.0 sec. user=mdettweiler [2016-11-24 18:20:13] 741*2^1446827-1 is not prime. Res64: E4B88863BBF188CD Time : 0.0 sec. user=mdettweiler [2016-11-24 18:20:13] 799*2^1446827-1 is not prime. Res64: 177CE10C6E6A1498 Time : 0.0 sec. user=mdettweiler [2016-11-24 18:20:14] 909*2^1446827-1 is not prime. Res64: 3E2B837BCDEF2DA2 Time : 0.0 sec. user=mdettweiler [2016-11-24 18:20:14] 985*2^1446827-1 is not prime. Res64: 0988CD01F9A75AE7 Time : 0.0 sec. user=mdettweiler [2016-11-24 18:20:15] 635*2^1446828-1 is not prime. Res64: CD230491CAF428B6 Time : 0.0 sec. user=mdettweiler [2016-11-24 18:29:42] 723*2^1446828-1 is not prime. Res64: 3EFC4F7A6A8F6090 Time : 0.0 sec. user=mdettweiler [2016-11-24 18:29:42] 867*2^1446828-1 is not prime. Res64: BD6B181CE1B22D2B Time : 0.0 sec. user=mdettweiler [2016-11-24 18:29:43] 875*2^1446828-1 is not prime. Res64: 300D87DE5479143D Time : 0.0 sec. user=mdettweiler [2016-11-24 18:29:43] 887*2^1446828-1 is not prime. Res64: AC3A10BF2BD15255 Time : 0.0 sec. user=mdettweiler [2016-11-24 18:29:48] 959*2^1446828-1 is not prime. Res64: BF8AACE498529629 Time : 0.0 sec. user=mdettweiler [2016-11-24 18:32:49] 681*2^1446829-1 is not prime. Res64: 0A0E1C91590A6B60 Time : 0.0 sec. user=mdettweiler [2016-11-24 18:32:50] 721*2^1446829-1 is not prime. Res64: 6332FF41961FC819 Time : 0.0 sec. user=mdettweiler [2016-11-24 18:32:50] 825*2^1446829-1 is not prime. Res64: 4F83BA26532DD38D Time : 0.0 sec. user=mdettweiler [2016-11-24 18:32:51] 831*2^1446829-1 is not prime. Res64: F5C1240D8E860760 Time : 0.0 sec. user=mdettweiler [2016-11-24 18:32:55] 999*2^1446829-1 is not prime. Res64: 7170D0B63816D6B0 Time : 0.0 sec. user=mdettweiler [2016-11-24 18:35:57] 627*2^1446830-1 is not prime. Res64: C97DD27A88A5716F Time : 0.0 sec. user=mdettweiler [2016-11-24 18:35:58] 893*2^1446830-1 is not prime. Res64: FAFB0BB30AFD77DF Time : 0.0 sec. user=mdettweiler [2016-11-24 18:35:58] 945*2^1446830-1 is not prime. Res64: 83CD1B1A3B1D7338 Time : 0.0 sec. user=mdettweiler [2016-11-24 18:35:59] 977*2^1446830-1 is not prime. Res64: 4CBFCA3D8FD74402 Time : 0.0 sec. user=mdettweiler [2016-11-24 18:35:59] 613*2^1446831-1 is not prime. Res64: 9662552A453A5AF2 Time : 0.0 sec. user=mdettweiler [2016-11-24 19:05:11] 741*2^1446831-1 is not prime. Res64: E4BD79CE5D10047F Time : 0.0 sec. user=mdettweiler [2016-11-24 19:05:13] 781*2^1446831-1 is not prime. Res64: 9A0BE7B575484F00 Time : 0.0 sec. user=mdettweiler [2016-11-24 19:05:18] 969*2^1446831-1 is not prime. Res64: 3513A8D84ABAFBB0 Time : 0.0 sec. user=mdettweiler [2016-11-24 19:05:19] 713*2^1446832-1 is not prime. Res64: F804A8C5131A5F51 Time : 0.0 sec. user=mdettweiler [2016-11-24 19:05:20] 777*2^1446832-1 is not prime. Res64: F1195D41CF1F4B4C Time : 0.0 sec. user=mdettweiler [2016-11-24 19:14:30] 825*2^1446832-1 is not prime. Res64: 357862F7CF2223B9 Time : 0.0 sec. user=mdettweiler [2016-11-24 19:14:31] 849*2^1446832-1 is not prime. Res64: 8B5369C2D83AF5B9 Time : 0.0 sec. user=mdettweiler [2016-11-24 19:14:37] 923*2^1446832-1 is not prime. Res64: 6C3B0035868B8CE3 Time : 0.0 sec. user=mdettweiler [2016-11-24 19:14:37] 947*2^1446832-1 is not prime. Res64: E67A9CC52C1816B4 Time : 0.0 sec. user=mdettweiler [2016-11-24 19:14:38] 983*2^1446832-1 is not prime. Res64: 6598C9CCE78BE72E Time : 0.0 sec. user=mdettweiler [2016-11-24 19:18:01] 729*2^1446833-1 is not prime. Res64: 9E25F941E40961AA Time : 0.0 sec. user=mdettweiler [2016-11-24 19:18:01] 901*2^1446833-1 is not prime. Res64: B5DE1BF295F338CE Time : 0.0 sec. user=mdettweiler [2016-11-24 19:18:07] 605*2^1446834-1 is not prime. Res64: C2FED355374B76D1 Time : 0.0 sec. user=mdettweiler [2016-11-24 19:18:08] 741*2^1446834-1 is not prime. Res64: 3F53C631C5614968 Time : 0.0 sec. user=mdettweiler [2016-11-24 19:18:08] 873*2^1446834-1 is not prime. Res64: 678A70A31E429CB5 Time : 0.0 sec. user=mdettweiler [2016-11-24 19:20:56] 885*2^1446834-1 is not prime. Res64: 9373032935A4F814 Time : 0.0 sec. user=mdettweiler [2016-11-24 19:20:56] 927*2^1446834-1 is not prime. Res64: 6AEE0E471967A478 Time : 0.0 sec. user=mdettweiler [2016-11-24 19:20:56] 993*2^1446834-1 is not prime. Res64: B51199CA07E051B3 Time : 0.0 sec. user=mdettweiler [2016-11-24 19:20:57] 873*2^1446835-1 is not prime. Res64: 96C8D7446DEF76CC Time : 0.0 sec. user=mdettweiler [2016-11-24 19:20:57] 785*2^1446836-1 is not prime. Res64: F096D838EAD644B9 Time : 0.0 sec. user=mdettweiler [2016-11-24 19:51:23] 875*2^1446836-1 is not prime. Res64: 36510A1818D20AC8 Time : 0.0 sec. user=mdettweiler [2016-11-24 19:51:23] 945*2^1446836-1 is not prime. Res64: 4C0D1563479FEB00 Time : 0.0 sec. user=mdettweiler [2016-11-24 19:51:24] 649*2^1446837-1 is not prime. Res64: A2B33344E9AF1893 Time : 0.0 sec. user=mdettweiler [2016-11-24 19:51:24] 651*2^1446837-1 is not prime. Res64: 6C03CFEE33E7A1F8 Time : 0.0 sec. user=mdettweiler [2016-11-24 19:51:24] 717*2^1446837-1 is not prime. Res64: 9D9C6ABA39797DA0 Time : 0.0 sec. user=mdettweiler [2016-11-24 20:01:21] 751*2^1446837-1 is not prime. Res64: BD7A37D398DB8CFA Time : 0.0 sec. user=mdettweiler [2016-11-24 20:01:22] 991*2^1446837-1 is not prime. Res64: DDCF02BD4B52286C Time : 0.0 sec. user=mdettweiler [2016-11-24 20:01:23] 663*2^1446838-1 is not prime. Res64: ECD00FC52EC0DCC0 Time : 0.0 sec. user=mdettweiler [2016-11-24 20:01:24] 825*2^1446838-1 is not prime. Res64: 41AEBD2D441043C8 Time : 0.0 sec. user=mdettweiler [2016-11-24 20:01:30] 827*2^1446838-1 is not prime. Res64: 71353568B40214B1 Time : 0.0 sec. user=mdettweiler [2016-11-24 20:05:40] 831*2^1446838-1 is not prime. Res64: DE0DE84AE842F772 Time : 0.0 sec. user=mdettweiler [2016-11-24 20:05:42] 923*2^1446838-1 is not prime. Res64: 08E64D984C2338F1 Time : 0.0 sec. user=mdettweiler [2016-11-24 20:05:43] 957*2^1446838-1 is not prime. Res64: 224F6D6CC791BBC2 Time : 0.0 sec. user=mdettweiler [2016-11-24 20:05:44] 663*2^1446839-1 is not prime. Res64: 143E7AC64CCA9EC1 Time : 0.0 sec. user=mdettweiler [2016-11-24 20:05:46] 789*2^1446839-1 is not prime. Res64: 4C3E2C112AC2EF26 Time : 0.0 sec. user=mdettweiler [2016-11-24 20:07:50] 811*2^1446839-1 is not prime. Res64: 895C74F71BEDB9AA Time : 0.0 sec. user=mdettweiler [2016-11-24 20:07:51] 843*2^1446839-1 is not prime. Res64: A80AB7A1B0D3C11E Time : 0.0 sec. user=mdettweiler [2016-11-24 20:07:52] 759*2^1446840-1 is not prime. Res64: BF88618AB80C35F4 Time : 0.0 sec. user=mdettweiler [2016-11-24 20:07:53] 809*2^1446840-1 is not prime. Res64: 752FD0BC7E39619F Time : 0.0 sec. user=mdettweiler [2016-11-24 20:07:54] 927*2^1446840-1 is not prime. Res64: DC66BDD6D77C2290 Time : 0.0 sec. user=mdettweiler [2016-11-24 20:49:26] 929*2^1446840-1 is not prime. Res64: 95C01E437052AF49 Time : 0.0 sec. user=mdettweiler [2016-11-24 20:49:26] 681*2^1446841-1 is not prime. Res64: 94847412A1A7DC94 Time : 0.0 sec. user=mdettweiler [2016-11-24 20:49:27] 687*2^1446841-1 is not prime. Res64: 2A623BDAA68C3934 Time : 0.0 sec. user=mdettweiler [2016-11-24 20:49:27] 777*2^1446841-1 is not prime. Res64: EED1F318001CAE40 Time : 0.0 sec. user=mdettweiler [2016-11-24 20:49:27] 847*2^1446841-1 is not prime. Res64: 73D6C74ED9F8E83B Time : 0.0 sec. user=mdettweiler [2016-11-24 20:59:31] 931*2^1446841-1 is not prime. Res64: 7D10F1CE1EFE12D6 Time : 0.0 sec. user=mdettweiler [2016-11-24 20:59:32] 747*2^1446842-1 is not prime. Res64: 09BB36FF5E18860D Time : 0.0 sec. user=mdettweiler [2016-11-24 20:59:32] 801*2^1446842-1 is not prime. Res64: 7C2E32142CCC8F9F Time : 0.0 sec. user=mdettweiler [2016-11-24 20:59:32] 775*2^1446843-1 is not prime. Res64: ABC56D76843115D4 Time : 0.0 sec. user=mdettweiler [2016-11-24 20:59:32] 789*2^1446843-1 is not prime. Res64: 21F056BB61862EBF Time : 0.0 sec. user=mdettweiler [2016-11-24 21:05:47] 835*2^1446843-1 is not prime. Res64: B9959425CA11FDCE Time : 0.0 sec. user=mdettweiler [2016-11-24 21:05:49] 961*2^1446843-1 is not prime. Res64: 4622407498116971 Time : 0.0 sec. user=mdettweiler [2016-11-24 21:05:50] 717*2^1446844-1 is not prime. Res64: F6CCD20963CEC266 Time : 0.0 sec. user=mdettweiler [2016-11-24 21:05:51] 749*2^1446844-1 is not prime. Res64: BD3B84CA84282631 Time : 0.0 sec. user=mdettweiler [2016-11-24 21:05:52] 827*2^1446844-1 is not prime. Res64: C23617E0694CB06D Time : 0.0 sec. user=mdettweiler [2016-11-24 21:07:22] 897*2^1446844-1 is not prime. Res64: 02E52FAA13A8D10F Time : 0.0 sec. user=mdettweiler [2016-11-24 21:07:22] 909*2^1446844-1 is not prime. Res64: F8591937F6E636C2 Time : 0.0 sec. user=mdettweiler [2016-11-24 21:07:22] 927*2^1446844-1 is not prime. Res64: 21C59B787D8DB5DD Time : 0.0 sec. user=mdettweiler [2016-11-24 21:07:22] 619*2^1446845-1 is not prime. Res64: 25974E330E4BDEEB Time : 0.0 sec. user=mdettweiler [2016-11-24 21:07:23] 757*2^1446845-1 is not prime. Res64: D9C9433EA5AD0C06 Time : 0.0 sec. user=mdettweiler [2016-11-24 21:47:03] 759*2^1446845-1 is not prime. Res64: 354428C8C35F5A6E Time : 0.0 sec. user=mdettweiler [2016-11-24 21:47:03] 847*2^1446845-1 is not prime. Res64: 0EA04FE710B81628 Time : 0.0 sec. user=mdettweiler [2016-11-24 21:47:03] 861*2^1446845-1 is not prime. Res64: ACF5078F9E87859E Time : 0.0 sec. user=mdettweiler [2016-11-24 21:47:03] 889*2^1446845-1 is not prime. Res64: 626BD090EFD6D7C4 Time : 0.0 sec. user=mdettweiler [2016-11-24 21:47:04] 955*2^1446845-1 is not prime. Res64: 3A64F8DF2F4E5420 Time : 0.0 sec. user=mdettweiler [2016-11-24 21:56:27] 647*2^1446846-1 is not prime. Res64: 5C02C2545C5FAC08 Time : 0.0 sec. user=mdettweiler [2016-11-24 21:56:27] 723*2^1446846-1 is not prime. Res64: 3C50FE788729BCFD Time : 0.0 sec. user=mdettweiler [2016-11-24 21:56:28] 833*2^1446846-1 is not prime. Res64: 9A43824F9D8D10B9 Time : 0.0 sec. user=mdettweiler [2016-11-24 21:56:28] 875*2^1446846-1 is not prime. Res64: 4A7B677059A45637 Time : 0.0 sec. user=mdettweiler [2016-11-24 21:56:28] 601*2^1446847-1 is not prime. Res64: D0C196ED97830E02 Time : 0.0 sec. user=mdettweiler [2016-11-24 22:01:48] 693*2^1446847-1 is not prime. Res64: D71B04BD64692E72 Time : 0.0 sec. user=mdettweiler [2016-11-24 22:01:49] 763*2^1446847-1 is not prime. Res64: 4214017C055A0EBA Time : 0.0 sec. user=mdettweiler [2016-11-24 22:01:50] 843*2^1446847-1 is not prime. Res64: B269889BD1982FF7 Time : 0.0 sec. user=mdettweiler [2016-11-24 22:01:55] 871*2^1446847-1 is not prime. Res64: 4DF1278EA55B7395 Time : 0.0 sec. user=mdettweiler [2016-11-24 22:01:56] 873*2^1446847-1 is not prime. Res64: C38EFC854444B3D7 Time : 0.0 sec. user=mdettweiler [2016-11-24 22:03:40] 913*2^1446847-1 is not prime. Res64: 158D3DAF0D9BD86A Time : 0.0 sec. user=mdettweiler [2016-11-24 22:03:41] 985*2^1446847-1 is not prime. Res64: AC2991DBAC2936BB Time : 0.0 sec. user=mdettweiler [2016-11-24 22:03:42] 603*2^1446848-1 is not prime. Res64: 0E580400DF668834 Time : 0.0 sec. user=mdettweiler [2016-11-24 22:03:42] 615*2^1446848-1 is not prime. Res64: 17505D45AF7C3AB8 Time : 0.0 sec. user=mdettweiler [2016-11-24 22:03:47] 725*2^1446848-1 is not prime. Res64: E357DCDE198710BF Time : 0.0 sec. user=mdettweiler [2016-11-24 22:44:33] 819*2^1446848-1 is not prime. Res64: 1298B2C951A12510 Time : 0.0 sec. user=mdettweiler [2016-11-24 22:44:33] 879*2^1446848-1 is not prime. Res64: B938398B6311FF31 Time : 0.0 sec. user=mdettweiler [2016-11-24 22:44:34] 899*2^1446848-1 is not prime. Res64: A5C7B024EA44AF08 Time : 0.0 sec. user=mdettweiler [2016-11-24 22:44:34] 915*2^1446848-1 is not prime. Res64: CEE9EEBFC1596731 Time : 0.0 sec. user=mdettweiler [2016-11-24 22:44:34] 923*2^1446848-1 is not prime. Res64: DAEA374ABFF831A8 Time : 0.0 sec. user=mdettweiler [2016-11-24 22:54:11] 969*2^1446848-1 is not prime. Res64: 3A92A4C8EE048681 Time : 0.0 sec. user=mdettweiler [2016-11-24 22:54:11] 601*2^1446849-1 is not prime. Res64: 0F01C2808CF3F3EB Time : 0.0 sec. user=mdettweiler [2016-11-24 22:54:11] 741*2^1446849-1 is not prime. Res64: 56EA96ECCE629C2B Time : 0.0 sec. user=mdettweiler [2016-11-24 22:54:12] 747*2^1446849-1 is not prime. Res64: FF61A18F5DF83909 Time : 0.0 sec. user=mdettweiler [2016-11-24 22:54:12] 945*2^1446849-1 is not prime. Res64: 2B513D318CC1CA96 Time : 0.0 sec. user=mdettweiler [2016-11-24 22:59:13] 675*2^1446850-1 is not prime. Res64: 67D695C54A260EE5 Time : 0.0 sec. user=mdettweiler [2016-11-24 22:59:14] 825*2^1446850-1 is not prime. Res64: 3BDCDD5A000B1741 Time : 0.0 sec. user=mdettweiler [2016-11-24 22:59:14] 843*2^1446850-1 is not prime. Res64: 5E7347A19670417D Time : 0.0 sec. user=mdettweiler [2016-11-24 22:59:14] 945*2^1446850-1 is not prime. Res64: A82546D556A9C6F7 Time : 0.0 sec. user=mdettweiler [2016-11-24 22:59:15] 675*2^1446851-1 is not prime. Res64: D6378B72B110DAC8 Time : 0.0 sec. user=mdettweiler [2016-11-24 23:00:35] 943*2^1446851-1 is not prime. Res64: FEC9D2BF91B55751 Time : 0.0 sec. user=mdettweiler [2016-11-24 23:00:36] 949*2^1446851-1 is not prime. Res64: 58097813EAFDF3DC Time : 0.0 sec. user=mdettweiler [2016-11-24 23:00:41] 999*2^1446851-1 is not prime. Res64: 20F382EC5FAD61E9 Time : 0.0 sec. user=mdettweiler [2016-11-24 23:00:42] 657*2^1446852-1 is not prime. Res64: 6E79BE3FAE7B24EA Time : 0.0 sec. user=mdettweiler [2016-11-24 23:00:43] 665*2^1446852-1 is not prime. Res64: EE17DEC0A4B9D1A7 Time : 0.0 sec. user=mdettweiler [2016-11-24 23:43:26] 825*2^1446852-1 is not prime. Res64: 8EB463D8A6036047 Time : 0.0 sec. user=mdettweiler [2016-11-24 23:43:27] 915*2^1446852-1 is not prime. Res64: E2018789B7921587 Time : 0.0 sec. user=mdettweiler [2016-11-24 23:43:27] 977*2^1446852-1 is not prime. Res64: 5E4884960C41477C Time : 0.0 sec. user=mdettweiler [2016-11-24 23:43:27] 999*2^1446852-1 is not prime. Res64: 18DA27EEE982B9E0 Time : 0.0 sec. user=mdettweiler [2016-11-24 23:43:32] 687*2^1446853-1 is not prime. Res64: A70D2E7B59799AFC Time : 0.0 sec. user=mdettweiler [2016-11-24 23:53:07] 715*2^1446853-1 is not prime. Res64: 12035F507211F8E4 Time : 0.0 sec. user=mdettweiler [2016-11-24 23:53:07] 945*2^1446853-1 is not prime. Res64: 085310B94F1F5FF3 Time : 0.0 sec. user=mdettweiler [2016-11-24 23:53:08] 623*2^1446854-1 is not prime. Res64: 464C638DAACA4F02 Time : 0.0 sec. user=mdettweiler [2016-11-24 23:53:08] 663*2^1446854-1 is not prime. Res64: 88E41138F1632FF5 Time : 0.0 sec. user=mdettweiler [2016-11-24 23:53:09] 693*2^1446854-1 is not prime. Res64: A6A3EF523DD466F1 Time : 0.0 sec. user=mdettweiler [2016-11-24 23:57:13] 711*2^1446854-1 is not prime. Res64: CCB74F49C4D77B90 Time : 0.0 sec. user=mdettweiler [2016-11-24 23:57:13] 785*2^1446854-1 is not prime. Res64: 4B19992409D373A4 Time : 0.0 sec. user=mdettweiler [2016-11-24 23:57:14] 951*2^1446854-1 is not prime. Res64: A391782A6E8A256E Time : 0.0 sec. user=mdettweiler [2016-11-24 23:57:14] 987*2^1446854-1 is not prime. Res64: D344F8E5FCB08737 Time : 0.0 sec. user=mdettweiler [2016-11-24 23:57:14] 625*2^1446855-1 is not prime. Res64: D04810E8D6453F42 Time : 0.0 sec. user=mdettweiler [2016-11-24 23:58:37] 691*2^1446855-1 is not prime. Res64: EE92307A4A8F9FB9 Time : 0.0 sec. user=mdettweiler [2016-11-24 23:58:38] 709*2^1446855-1 is not prime. Res64: ED6066541B23589D Time : 0.0 sec. user=mdettweiler [2016-11-24 23:58:38] 765*2^1446855-1 is not prime. Res64: 7CBD72877A2B5C32 Time : 0.0 sec. user=mdettweiler [2016-11-24 23:58:38] 853*2^1446855-1 is not prime. Res64: 4A44E4870B4F1928 Time : 0.0 sec. user=mdettweiler [2016-11-24 23:58:39] 871*2^1446855-1 is not prime. Res64: CB8E11C767D6FE4F Time : 0.0 sec.