user=mdettweiler [2015-10-07 00:01:33] 735*2^1411266-1 is not prime. Res64: CEEFC7EC4837E358 Time : 0.0 sec. user=mdettweiler [2015-10-07 00:01:33] 887*2^1411266-1 is not prime. Res64: 133104E273B97540 Time : 0.0 sec. user=mdettweiler [2015-10-07 00:01:40] 891*2^1411266-1 is not prime. Res64: 13F454FE69C4FA12 Time : 0.0 sec. user=mdettweiler [2015-10-07 00:01:40] 903*2^1411266-1 is not prime. Res64: A310CEBDC7E50F80 Time : 0.0 sec. user=mdettweiler [2015-10-07 00:01:42] 673*2^1411267-1 is not prime. Res64: E55D314E86C665D8 Time : 0.0 sec. user=mdettweiler [2015-10-07 00:01:43] 675*2^1411267-1 is not prime. Res64: DE48C900586EED45 Time : 0.0 sec. user=mdettweiler [2015-10-07 00:02:28] 919*2^1411267-1 is not prime. Res64: DBA1647FC71FAD2A Time : 0.0 sec. user=mdettweiler [2015-10-07 00:02:28] 961*2^1411267-1 is not prime. Res64: 7733CC6583A3AA84 Time : 0.0 sec. user=mdettweiler [2015-10-07 00:19:33] 687*2^1411268-1 is not prime. Res64: 7B9BCF032FA0FCC9 Time : 0.0 sec. user=mdettweiler [2015-10-07 00:19:34] 797*2^1411268-1 is not prime. Res64: 22ABD724A6C69B15 Time : 0.0 sec. user=mdettweiler [2015-10-07 00:19:36] 615*2^1411269-1 is not prime. Res64: A76F1C0F0DF6C63E Time : 0.0 sec. user=mdettweiler [2015-10-07 00:19:36] 639*2^1411269-1 is not prime. Res64: E8BD98209239926A Time : 0.0 sec. user=mdettweiler [2015-10-07 00:19:41] 657*2^1411269-1 is not prime. Res64: AF8142C3420B8F65 Time : 0.0 sec. user=mdettweiler [2015-10-07 00:19:41] 667*2^1411269-1 is not prime. Res64: 17D35C34385BBB60 Time : 0.0 sec. user=mdettweiler [2015-10-07 00:20:34] 751*2^1411269-1 is not prime. Res64: 9D5CA83A35EC0A59 Time : 0.0 sec. user=mdettweiler [2015-10-07 00:20:34] 817*2^1411269-1 is not prime. Res64: A19C57202778E8DE Time : 0.0 sec. user=mdettweiler [2015-10-07 00:37:35] 885*2^1411269-1 is not prime. Res64: F97FC1291BA0C4A9 Time : 0.0 sec. user=mdettweiler [2015-10-07 00:37:36] 889*2^1411269-1 is not prime. Res64: 2A16FED39C96831C Time : 0.0 sec. user=mdettweiler [2015-10-07 00:37:37] 921*2^1411269-1 is not prime. Res64: 69E34ADBEFC94492 Time : 0.0 sec. user=mdettweiler [2015-10-07 00:37:37] 951*2^1411269-1 is not prime. Res64: 8ADB2DAB439E076A Time : 0.0 sec. user=mdettweiler [2015-10-07 00:37:40] 975*2^1411269-1 is not prime. Res64: 7AA5DA38A58D4BFA Time : 0.0 sec. user=mdettweiler [2015-10-07 00:37:40] 645*2^1411270-1 is not prime. Res64: 2AAF76104BA1D151 Time : 0.0 sec. user=mdettweiler [2015-10-07 00:38:32] 755*2^1411270-1 is not prime. Res64: 31E85653B62B4B4C Time : 0.0 sec. user=mdettweiler [2015-10-07 00:38:32] 891*2^1411270-1 is not prime. Res64: 50372620E68C3EBB Time : 0.0 sec. user=mdettweiler [2015-10-07 00:56:13] 915*2^1411270-1 is not prime. Res64: 965885EAB4379210 Time : 0.0 sec. user=mdettweiler [2015-10-07 00:56:14] 651*2^1411271-1 is not prime. Res64: 567B0400F91D265F Time : 0.0 sec. user=mdettweiler [2015-10-07 00:56:18] 735*2^1411271-1 is not prime. Res64: 8CD08EFA71F6EEC4 Time : 0.0 sec. user=mdettweiler [2015-10-07 00:56:19] 763*2^1411271-1 is not prime. Res64: C81095B3BB7D76D4 Time : 0.0 sec. user=mdettweiler [2015-10-07 00:56:52] 823*2^1411271-1 is not prime. Res64: D449D5A2AEA194CD Time : 0.0 sec. user=mdettweiler [2015-10-07 00:56:53] 879*2^1411271-1 is not prime. Res64: 5920A31CBE0B93AE Time : 0.0 sec. user=mdettweiler [2015-10-07 00:57:08] 991*2^1411271-1 is not prime. Res64: 20E85AB8E9B4FF7A Time : 0.0 sec. user=mdettweiler [2015-10-07 00:57:08] 623*2^1411272-1 is not prime. Res64: C77C3B331DB46D2F Time : 0.0 sec. user=mdettweiler [2015-10-07 01:14:49] 665*2^1411272-1 is not prime. Res64: 27858D9E1015F8B9 Time : 0.0 sec. user=mdettweiler [2015-10-07 01:14:50] 693*2^1411272-1 is not prime. Res64: A42693A4DB957D8A Time : 0.0 sec. user=mdettweiler [2015-10-07 01:15:04] 863*2^1411272-1 is not prime. Res64: 3F69506BD3E4A9D0 Time : 0.0 sec. user=mdettweiler [2015-10-07 01:15:04] 879*2^1411272-1 is not prime. Res64: 33CAB7C6A2F39F5A Time : 0.0 sec. user=mdettweiler [2015-10-07 01:15:26] 639*2^1411273-1 is not prime. Res64: 2CF0CDC872517A0E Time : 0.0 sec. user=mdettweiler [2015-10-07 01:15:27] 687*2^1411273-1 is not prime. Res64: 412CE6BF802296A6 Time : 0.0 sec. user=mdettweiler [2015-10-07 01:15:40] 929*2^1411272-1 is not prime. Res64: AE7763D136783E81 Time : 0.0 sec. user=mdettweiler [2015-10-07 01:15:41] 999*2^1411272-1 is not prime. Res64: 9EC6999266CDAAD3 Time : 0.0 sec. user=mdettweiler [2015-10-07 01:32:50] 867*2^1411273-1 is not prime. Res64: D32075F1DEA3F340 Time : 0.0 sec. user=mdettweiler [2015-10-07 01:32:50] 885*2^1411273-1 is not prime. Res64: 281F920D8EA2F51A Time : 0.0 sec. user=mdettweiler [2015-10-07 01:32:52] 915*2^1411273-1 is not prime. Res64: 062905174DBB6F4C Time : 0.0 sec. user=mdettweiler [2015-10-07 01:32:53] 999*2^1411273-1 is not prime. Res64: 60C74F78112D71B4 Time : 0.0 sec. user=mdettweiler [2015-10-07 01:33:14] 605*2^1411274-1 is not prime. Res64: 286D77280197CAF7 Time : 0.0 sec. user=mdettweiler [2015-10-07 01:33:15] 623*2^1411274-1 is not prime. Res64: FB294AECF07076C0 Time : 0.0 sec. user=mdettweiler [2015-10-07 01:33:25] 707*2^1411274-1 is not prime. Res64: 88CA24B60A581B6D Time : 0.0 sec. user=mdettweiler [2015-10-07 01:33:26] 717*2^1411274-1 is not prime. Res64: 9CE50C2E7545F87A Time : 0.0 sec. user=mdettweiler [2015-10-07 01:50:43] 831*2^1411274-1 is not prime. Res64: 1ABA730B73E0C0B9 Time : 0.0 sec. user=mdettweiler [2015-10-07 01:50:44] 833*2^1411274-1 is not prime. Res64: 24E11562169E3C13 Time : 0.0 sec. user=mdettweiler [2015-10-07 01:50:46] 743*2^1411274-1 is not prime. Res64: 173E435EF2A7120D Time : 0.0 sec. user=mdettweiler [2015-10-07 01:50:47] 797*2^1411274-1 is not prime. Res64: 3531A5EB36FD1545 Time : 0.0 sec. user=mdettweiler [2015-10-07 01:51:11] 837*2^1411274-1 is not prime. Res64: 5BED7B7762B906BA Time : 0.0 sec. user=mdettweiler [2015-10-07 01:51:12] 921*2^1411274-1 is not prime. Res64: 3CB4D2897A3A266D Time : 0.0 sec. user=mdettweiler [2015-10-07 01:51:20] 927*2^1411274-1 is not prime. Res64: 004DE1A607A4662B Time : 0.0 sec. user=mdettweiler [2015-10-07 01:51:20] 705*2^1411275-1 is not prime. Res64: 30838CF6AEBA9E0B Time : 0.0 sec. user=mdettweiler [2015-10-07 02:08:55] 711*2^1411275-1 is not prime. Res64: 39C221D1B9357EFE Time : 0.0 sec. user=mdettweiler [2015-10-07 02:08:55] 773*2^1411276-1 is not prime. Res64: 2A6303808AA9AE13 Time : 0.0 sec. user=mdettweiler [2015-10-07 02:08:58] 675*2^1411276-1 is not prime. Res64: D67931C28D5044BC Time : 0.0 sec. user=mdettweiler [2015-10-07 02:08:59] 869*2^1411276-1 is not prime. Res64: C12BCE3E6D3583E0 Time : 0.0 sec. user=mdettweiler [2015-10-07 02:09:22] 611*2^1411278-1 is not prime. Res64: BC330A3A5CE0CD99 Time : 0.0 sec. user=mdettweiler [2015-10-07 02:09:24] 641*2^1411278-1 is not prime. Res64: B63FAF368C9D4E62 Time : 0.0 sec. user=mdettweiler [2015-10-07 02:09:26] 897*2^1411276-1 is not prime. Res64: 28077A4B6C48A5C5 Time : 0.0 sec. user=mdettweiler [2015-10-07 02:09:26] 735*2^1411277-1 is not prime. Res64: 3A95D7E9FF35D4A1 Time : 0.0 sec. user=mdettweiler [2015-10-07 02:27:57] 663*2^1411278-1 is not prime. Res64: 558B1F0717DF0283 Time : 0.0 sec. user=mdettweiler [2015-10-07 02:27:58] 707*2^1411278-1 is not prime. Res64: DAB000DC3CB011A3 Time : 0.0 sec. user=mdettweiler [2015-10-07 02:28:02] 619*2^1411279-1 is not prime. Res64: 6A5FE045F4C69408 Time : 0.0 sec. user=mdettweiler [2015-10-07 02:28:02] 649*2^1411279-1 is not prime. Res64: BCCCE7421941AEB9 Time : 0.0 sec. user=mdettweiler [2015-10-07 02:28:28] 815*2^1411278-1 is not prime. Res64: CDA07462F5FAD946 Time : 0.0 sec. user=mdettweiler [2015-10-07 02:28:29] 933*2^1411278-1 is not prime. Res64: 4C1C775959DA0569 Time : 0.0 sec. user=mdettweiler [2015-10-07 02:28:45] 681*2^1411278-1 is not prime. Res64: 81F8A4ABA11FE814 Time : 0.0 sec. user=mdettweiler [2015-10-07 02:28:45] 859*2^1411279-1 is not prime. Res64: 9F78DFDDADFB81E1 Time : 0.0 sec. user=mdettweiler [2015-10-07 02:46:24] 985*2^1411279-1 is not prime. Res64: 90A687D6817C7B29 Time : 0.0 sec. user=mdettweiler [2015-10-07 02:46:25] 993*2^1411279-1 is not prime. Res64: 80A6094DA673EDF3 Time : 0.0 sec. user=mdettweiler [2015-10-07 02:46:29] 999*2^1411279-1 is not prime. Res64: E120128AC0596B2C Time : 0.0 sec. user=mdettweiler [2015-10-07 02:46:29] 633*2^1411280-1 is not prime. Res64: AF377593FF865F23 Time : 0.0 sec. user=mdettweiler [2015-10-07 02:46:54] 767*2^1411280-1 is not prime. Res64: 91FBDED856D594F6 Time : 0.0 sec. user=mdettweiler [2015-10-07 02:46:55] 627*2^1411281-1 is not prime. Res64: 14F5ADE1DF0092FD Time : 0.0 sec. user=mdettweiler [2015-10-07 02:46:56] 669*2^1411280-1 is not prime. Res64: 4E2267EF8DA8F1CB Time : 0.0 sec. user=mdettweiler [2015-10-07 02:46:57] 689*2^1411280-1 is not prime. Res64: B80B385D1198A37D Time : 0.0 sec. user=mdettweiler [2015-10-07 03:04:20] 639*2^1411281-1 is not prime. Res64: 6E0DD4F64DAE4FE9 Time : 0.0 sec. user=mdettweiler [2015-10-07 03:04:21] 711*2^1411281-1 is not prime. Res64: ED59AB9D8298EC42 Time : 0.0 sec. user=mdettweiler [2015-10-07 03:04:26] 777*2^1411281-1 is not prime. Res64: 702F1740965B6F66 Time : 0.0 sec. user=mdettweiler [2015-10-07 03:04:28] 847*2^1411281-1 is not prime. Res64: 39C5D4C7D8E392EB Time : 0.0 sec. user=mdettweiler [2015-10-07 03:04:46] 999*2^1411281-1 is not prime. Res64: 523BF4FE5838981E Time : 0.0 sec. user=mdettweiler [2015-10-07 03:04:46] 955*2^1411281-1 is not prime. Res64: FFEC5D3921CC486D Time : 0.0 sec. user=mdettweiler [2015-10-07 03:04:49] 675*2^1411282-1 is not prime. Res64: E8864D648C31401B Time : 0.0 sec. user=mdettweiler [2015-10-07 03:04:49] 991*2^1411281-1 is not prime. Res64: 661499814F2224BF Time : 0.0 sec. user=mdettweiler [2015-10-07 03:22:25] 777*2^1411282-1 is not prime. Res64: 2DCC75E6674F79B7 Time : 0.0 sec. user=mdettweiler [2015-10-07 03:22:25] 815*2^1411282-1 is not prime. Res64: 6EA87947A4A85E43 Time : 0.0 sec. user=mdettweiler [2015-10-07 03:22:28] 695*2^1411282-1 is not prime. Res64: 66AB7562704CED2A Time : 0.0 sec. user=mdettweiler [2015-10-07 03:22:29] 741*2^1411282-1 is not prime. Res64: 3B7EFB1E0E381D79 Time : 0.0 sec. user=mdettweiler [2015-10-07 03:22:43] 945*2^1411282-1 is not prime. Res64: 44B505B726AF4779 Time : 0.0 sec. user=mdettweiler [2015-10-07 03:22:44] 981*2^1411282-1 is not prime. Res64: F014D9FB9F3BE140 Time : 0.0 sec. user=mdettweiler [2015-10-07 03:22:48] 827*2^1411282-1 is not prime. Res64: 2152254A779950A9 Time : 0.0 sec. user=mdettweiler [2015-10-07 03:22:49] 873*2^1411282-1 is not prime. Res64: 0B6256AEE2BA1254 Time : 0.0 sec. user=mdettweiler [2015-10-07 03:40:19] 987*2^1411282-1 is not prime. Res64: 3B401F46A0C13E23 Time : 0.0 sec. user=mdettweiler [2015-10-07 03:40:20] 699*2^1411283-1 is not prime. Res64: 4BC4FD42D92D724A Time : 0.0 sec. user=mdettweiler [2015-10-07 03:40:26] 705*2^1411283-1 is not prime. Res64: 3CE697F0CD661F91 Time : 0.0 sec. user=mdettweiler [2015-10-07 03:40:27] 735*2^1411283-1 is not prime. Res64: 56F9A67FC00EFD28 Time : 0.0 sec. user=mdettweiler [2015-10-07 03:40:36] 913*2^1411283-1 is not prime. Res64: 6557AE64A5C6ACF9 Time : 0.0 sec. user=mdettweiler [2015-10-07 03:40:37] 657*2^1411284-1 is not prime. Res64: F7C3DFA39463F2D8 Time : 0.0 sec. user=mdettweiler [2015-10-07 03:40:46] 753*2^1411283-1 is not prime. Res64: ADB6D2E1C47C967B Time : 0.0 sec. user=mdettweiler [2015-10-07 03:40:48] 771*2^1411283-1 is not prime. Res64: 32A64C5B94AEB600 Time : 0.0 sec. user=mdettweiler [2015-10-07 03:58:13] 693*2^1411284-1 is not prime. Res64: 5A03EF5E9543E8ED Time : 0.0 sec. user=mdettweiler [2015-10-07 03:58:14] 719*2^1411284-1 is not prime. Res64: A71F062FBFBE0A64 Time : 0.0 sec. user=mdettweiler [2015-10-07 03:58:26] 723*2^1411284-1 is not prime. Res64: 919D7662B8FEACF9 Time : 0.0 sec. user=mdettweiler [2015-10-07 03:58:26] 737*2^1411284-1 is not prime. Res64: 0A70DA13BD5F800C Time : 0.0 sec. user=mdettweiler [2015-10-07 03:58:28] 945*2^1411284-1 is not prime. Res64: DFC5A9D67FD5769D Time : 0.0 sec. user=mdettweiler [2015-10-07 03:58:29] 649*2^1411285-1 is not prime. Res64: BFFFF0A56290784F Time : 0.0 sec. user=mdettweiler [2015-10-07 03:58:43] 661*2^1411285-1 is not prime. Res64: 5E7A66A5990D936F Time : 0.0 sec. user=mdettweiler [2015-10-07 03:58:43] 685*2^1411285-1 is not prime. Res64: 670D179C2BD2B392 Time : 0.0 sec. user=mdettweiler [2015-10-07 04:16:03] 757*2^1411285-1 is not prime. Res64: 910AB632F75C0E14 Time : 0.0 sec. user=mdettweiler [2015-10-07 04:16:03] 789*2^1411285-1 is not prime. Res64: C6F910043AFFAD37 Time : 0.0 sec. user=mdettweiler [2015-10-07 04:16:18] 847*2^1411285-1 is not prime. Res64: 1904C65ED154EAA1 Time : 0.0 sec. user=mdettweiler [2015-10-07 04:16:19] 861*2^1411285-1 is not prime. Res64: 8FE084580B44F1D5 Time : 0.0 sec. user=mdettweiler [2015-10-07 04:16:30] 897*2^1411285-1 is not prime. Res64: D9A9891536F534A2 Time : 0.0 sec. user=mdettweiler [2015-10-07 04:16:31] 919*2^1411285-1 is not prime. Res64: 5620A7D832A63128 Time : 0.0 sec. user=mdettweiler [2015-10-07 04:16:31] 937*2^1411285-1 is not prime. Res64: 03BFDAB1DAB548C7 Time : 0.0 sec. user=mdettweiler [2015-10-07 04:16:32] 979*2^1411285-1 is not prime. Res64: 40059206E7FFFCAB Time : 0.0 sec. user=mdettweiler [2015-10-07 04:33:48] 603*2^1411286-1 is not prime. Res64: A558200D93D59319 Time : 0.0 sec. user=mdettweiler [2015-10-07 04:33:48] 615*2^1411286-1 is not prime. Res64: 3C310B319604DC24 Time : 0.0 sec. user=mdettweiler [2015-10-07 04:34:18] 617*2^1411286-1 is not prime. Res64: 2B1D6C80DF5BBB3D Time : 0.0 sec. user=mdettweiler [2015-10-07 04:34:18] 641*2^1411286-1 is not prime. Res64: 3504F8F30DAF9F14 Time : 0.0 sec. user=mdettweiler [2015-10-07 04:34:19] 683*2^1411286-1 is not prime. Res64: 4DBCA4177237685C Time : 0.0 sec. user=mdettweiler [2015-10-07 04:34:20] 693*2^1411286-1 is not prime. Res64: 784D0EBA6554036A Time : 0.0 sec. user=mdettweiler [2015-10-07 04:34:35] 717*2^1411286-1 is not prime. Res64: 209D8A120A363AB3 Time : 0.0 sec. user=mdettweiler [2015-10-07 04:34:36] 755*2^1411286-1 is not prime. Res64: C183C7F350595A91 Time : 0.0 sec. user=mdettweiler [2015-10-07 04:51:37] 773*2^1411286-1 is not prime. Res64: A703C192AFF08964 Time : 0.0 sec. user=mdettweiler [2015-10-07 04:51:37] 911*2^1411286-1 is not prime. Res64: BD895F7F49CC0058 Time : 0.0 sec. user=mdettweiler [2015-10-07 04:52:06] 923*2^1411286-1 is not prime. Res64: D119C4A8B540430E Time : 0.0 sec. user=mdettweiler [2015-10-07 04:52:07] 935*2^1411286-1 is not prime. Res64: 4E1EAB06676AD575 Time : 0.0 sec. user=mdettweiler [2015-10-07 04:52:12] 1001*2^1411286-1 is not prime. Res64: EA0981F4BFAE3CC9 Time : 0.0 sec. user=mdettweiler [2015-10-07 04:52:13] 691*2^1411287-1 is not prime. Res64: 740E410EA2D06A72 Time : 0.0 sec. user=mdettweiler [2015-10-07 04:52:24] 739*2^1411287-1 is not prime. Res64: 1DE5B0F78F966F20 Time : 0.0 sec. user=mdettweiler [2015-10-07 04:52:25] 781*2^1411287-1 is not prime. Res64: C0B09EB7FC525EAD Time : 0.0 sec. user=mdettweiler [2015-10-07 05:09:29] 859*2^1411287-1 is not prime. Res64: 8DE4A2242BB61957 Time : 0.0 sec. user=mdettweiler [2015-10-07 05:09:29] 895*2^1411287-1 is not prime. Res64: 9899A997DFA2404A Time : 0.0 sec. user=mdettweiler [2015-10-07 05:09:56] 931*2^1411287-1 is not prime. Res64: B3150BF47ECECF53 Time : 0.0 sec. user=mdettweiler [2015-10-07 05:09:56] 985*2^1411287-1 is not prime. Res64: A650FCE70B757DB2 Time : 0.0 sec. user=mdettweiler [2015-10-07 05:09:58] 713*2^1411288-1 is not prime. Res64: 4B7CAA4BBDC65C26 Time : 0.0 sec. user=mdettweiler [2015-10-07 05:09:58] 839*2^1411288-1 is not prime. Res64: 3C1324FC9232A441 Time : 0.0 sec. user=mdettweiler [2015-10-07 05:10:15] 849*2^1411288-1 is not prime. Res64: F344B4A84EF8AAFD Time : 0.0 sec. user=mdettweiler [2015-10-07 05:10:15] 869*2^1411288-1 is not prime. Res64: E2BD151A00005AF3 Time : 0.0 sec. user=mdettweiler [2015-10-07 05:27:16] 747*2^1411289-1 is not prime. Res64: BA1B382DF6B83E9A Time : 0.0 sec. user=mdettweiler [2015-10-07 05:27:16] 811*2^1411289-1 is not prime. Res64: A50C0A995E362F4B Time : 0.0 sec. user=mdettweiler [2015-10-07 05:27:46] 711*2^1411290-1 is not prime. Res64: DD483C4A97A71EE8 Time : 0.0 sec. user=mdettweiler [2015-10-07 05:27:47] 927*2^1411290-1 is not prime. Res64: 6A492BE5DD9BD7D6 Time : 0.0 sec. user=mdettweiler [2015-10-07 05:27:48] 847*2^1411289-1 is not prime. Res64: 0BB96900B8097150 Time : 0.0 sec. user=mdettweiler [2015-10-07 05:27:48] 681*2^1411290-1 is not prime. Res64: 1926E98273205810 Time : 0.0 sec. user=mdettweiler [2015-10-07 05:28:04] 679*2^1411291-1 is not prime. Res64: 28C357C5DDC941FC Time : 0.0 sec. user=mdettweiler [2015-10-07 05:28:04] 775*2^1411291-1 is not prime. Res64: DBA863838E7D0579 Time : 0.0 sec. user=mdettweiler [2015-10-07 05:45:11] 855*2^1411291-1 is not prime. Res64: 692359BE04E74264 Time : 0.0 sec. user=mdettweiler [2015-10-07 05:45:12] 901*2^1411291-1 is not prime. Res64: 42F92368628A3322 Time : 0.0 sec. user=mdettweiler [2015-10-07 05:45:38] 951*2^1411291-1 is not prime. Res64: 449250A19378D4E6 Time : 0.0 sec. user=mdettweiler [2015-10-07 05:45:38] 975*2^1411291-1 is not prime. Res64: 0D97D396E2D7877F Time : 0.0 sec. user=mdettweiler [2015-10-07 05:45:40] 743*2^1411292-1 is not prime. Res64: 34C2BC4C358C6131 Time : 0.0 sec. user=mdettweiler [2015-10-07 05:45:40] 753*2^1411292-1 is not prime. Res64: 07CD681ED62308D8 Time : 0.0 sec. user=mdettweiler [2015-10-07 05:46:00] 825*2^1411292-1 is not prime. Res64: 2AB236AEE34CD68B Time : 0.0 sec. user=mdettweiler [2015-10-07 05:46:01] 983*2^1411292-1 is not prime. Res64: 431C310E68D3DA20 Time : 0.0 sec. user=mdettweiler [2015-10-07 06:03:01] 999*2^1411292-1 is not prime. Res64: 0B27762E6D05EDC3 Time : 0.0 sec. user=mdettweiler [2015-10-07 06:03:02] 699*2^1411293-1 is not prime. Res64: 091502F05E5428B1 Time : 0.0 sec. user=mdettweiler [2015-10-07 06:03:28] 769*2^1411293-1 is not prime. Res64: 213385D9F4BD1B74 Time : 0.0 sec. user=mdettweiler [2015-10-07 06:03:30] 787*2^1411293-1 is not prime. Res64: 83ACFBF6A46C8255 Time : 0.0 sec. user=mdettweiler [2015-10-07 06:03:39] 877*2^1411293-1 is not prime. Res64: 081757AAB66BCA25 Time : 0.0 sec. user=mdettweiler [2015-10-07 06:03:40] 937*2^1411293-1 is not prime. Res64: C7F55A2F5AF540DC Time : 0.0 sec. user=mdettweiler [2015-10-07 06:03:53] 681*2^1411294-1 is not prime. Res64: 15C1718B7640886F Time : 0.0 sec. user=mdettweiler [2015-10-07 06:03:54] 885*2^1411294-1 is not prime. Res64: 1D3B61DCEDF61B8B Time : 0.0 sec. user=mdettweiler [2015-10-07 06:20:49] 987*2^1411294-1 is not prime. Res64: 1282F03EC6C799D7 Time : 0.0 sec. user=mdettweiler [2015-10-07 06:20:49] 619*2^1411295-1 is not prime. Res64: 9B30FDA35C35A167 Time : 0.0 sec. user=mdettweiler [2015-10-07 06:21:24] 693*2^1411295-1 is not prime. Res64: 9BCD2DD462D26D6C Time : 0.0 sec. user=mdettweiler [2015-10-07 06:21:24] 841*2^1411295-1 is not prime. Res64: F8795710DE5B6F09 Time : 0.0 sec. user=mdettweiler [2015-10-07 06:21:35] 855*2^1411295-1 is not prime. Res64: 78D825A613DB20BC Time : 0.0 sec. user=mdettweiler [2015-10-07 06:21:36] 865*2^1411295-1 is not prime. Res64: 113086F337B6404A Time : 0.0 sec. user=mdettweiler [2015-10-07 06:21:47] 909*2^1411295-1 is not prime. Res64: D313F4F07CEC0498 Time : 0.0 sec. user=mdettweiler [2015-10-07 06:21:48] 623*2^1411296-1 is not prime. Res64: 4506103C995AFB73 Time : 0.0 sec. user=mdettweiler [2015-10-07 06:38:44] 669*2^1411296-1 is not prime. Res64: 811091DF91ED6AEC Time : 0.0 sec. user=mdettweiler [2015-10-07 06:38:44] 693*2^1411296-1 is not prime. Res64: 33DE61F965DD85A5 Time : 0.0 sec. user=mdettweiler [2015-10-07 06:39:27] 705*2^1411296-1 is not prime. Res64: E64771EC0A8F46C6 Time : 0.0 sec. user=mdettweiler [2015-10-07 06:39:28] 737*2^1411296-1 is not prime. Res64: 98909B921B1294A8 Time : 0.0 sec. user=mdettweiler [2015-10-07 06:39:32] 875*2^1411296-1 is not prime. Res64: F6DF3DD1D2168062 Time : 0.0 sec. user=mdettweiler [2015-10-07 06:39:33] 945*2^1411296-1 is not prime. Res64: 873089390B110FAC Time : 0.0 sec. user=mdettweiler [2015-10-07 06:39:39] 667*2^1411297-1 is not prime. Res64: 56E05F2254176432 Time : 0.0 sec. user=mdettweiler [2015-10-07 06:39:39] 685*2^1411297-1 is not prime. Res64: CEC22C796220A515 Time : 0.0 sec. user=mdettweiler [2015-10-07 06:56:30] 729*2^1411297-1 is not prime. Res64: 97B227856AA0392D Time : 0.0 sec. user=mdettweiler [2015-10-07 06:56:31] 829*2^1411297-1 is not prime. Res64: FDD455303EF9AFCA Time : 0.0 sec. user=mdettweiler [2015-10-07 06:57:20] 635*2^1411298-1 is not prime. Res64: 6437AC94E4CFC31E Time : 0.0 sec. user=mdettweiler [2015-10-07 06:57:21] 657*2^1411298-1 is not prime. Res64: A0DB03124B03A23F Time : 0.0 sec. user=mdettweiler [2015-10-07 06:57:23] 871*2^1411297-1 is not prime. Res64: C033EB9C8C2C03E9 Time : 0.0 sec. user=mdettweiler [2015-10-07 06:57:23] 981*2^1411297-1 is not prime. Res64: 7927B0F3A96A4BE7 Time : 0.0 sec. user=mdettweiler [2015-10-07 06:57:31] 705*2^1411298-1 is not prime. Res64: 61BF7EB7CBDF32C8 Time : 0.0 sec. user=mdettweiler [2015-10-07 06:57:31] 735*2^1411298-1 is not prime. Res64: 2AC7544524E1B9BB Time : 0.0 sec. user=mdettweiler [2015-10-07 07:14:24] 791*2^1411298-1 is not prime. Res64: F551DA80579B78F8 Time : 0.0 sec. user=mdettweiler [2015-10-07 07:14:25] 837*2^1411298-1 is not prime. Res64: 880CB81CE5F5B5B1 Time : 0.0 sec. user=mdettweiler [2015-10-07 07:15:18] 953*2^1411298-1 is not prime. Res64: DAF77951EAE72A81 Time : 0.0 sec. user=mdettweiler [2015-10-07 07:15:19] 829*2^1411299-1 is not prime. Res64: B15C48BA32486BB1 Time : 0.0 sec. user=mdettweiler [2015-10-07 07:15:22] 931*2^1411299-1 is not prime. Res64: 7075A8A0EEC94596 Time : 0.0 sec. user=mdettweiler [2015-10-07 07:15:23] 999*2^1411299-1 is not prime. Res64: 6EF1EB00399419D0 Time : 0.0 sec. user=mdettweiler [2015-10-07 07:15:26] 605*2^1411300-1 is not prime. Res64: 165E514C93D5DF99 Time : 0.0 sec. user=mdettweiler [2015-10-07 07:15:26] 665*2^1411300-1 is not prime. Res64: EA07FE9D8F9A8FD8 Time : 0.0 sec. user=mdettweiler [2015-10-07 07:32:10] 857*2^1411300-1 is not prime. Res64: ACCAD3F8EB371BDB Time : 0.0 sec. user=mdettweiler [2015-10-07 07:32:11] 873*2^1411300-1 is not prime. Res64: BC74F97D10630E34 Time : 0.0 sec. user=mdettweiler [2015-10-07 07:33:03] 899*2^1411300-1 is not prime. Res64: C045CC41A3C5107C Time : 0.0 sec. user=mdettweiler [2015-10-07 07:33:04] 983*2^1411300-1 is not prime. Res64: D4B8844018E1E44B Time : 0.0 sec. user=mdettweiler [2015-10-07 07:33:11] 999*2^1411300-1 is not prime. Res64: AFFE49654E63EF91 Time : 0.0 sec. user=mdettweiler [2015-10-07 07:33:11] 649*2^1411301-1 is not prime. Res64: 0B48FAFC633422A1 Time : 0.0 sec. user=mdettweiler [2015-10-07 07:33:20] 829*2^1411301-1 is not prime. Res64: 3EAC6905F6C8247A Time : 0.0 sec. user=mdettweiler [2015-10-07 07:33:20] 885*2^1411301-1 is not prime. Res64: 090248E41F3BC055 Time : 0.0 sec. user=mdettweiler [2015-10-07 07:50:07] 889*2^1411301-1 is not prime. Res64: E884D90317C8196E Time : 0.0 sec. user=mdettweiler [2015-10-07 07:50:07] 997*2^1411301-1 is not prime. Res64: D9945226168699C0 Time : 0.0 sec. user=mdettweiler [2015-10-07 07:51:01] 703*2^1411303-1 is not prime. Res64: 33142B15C9A3F6E1 Time : 0.0 sec. user=mdettweiler [2015-10-07 07:51:01] 615*2^1411304-1 is not prime. Res64: B4B231B45243C2ED Time : 0.0 sec. user=mdettweiler [2015-10-07 07:51:03] 713*2^1411302-1 is not prime. Res64: 2E84DA2B897E912B Time : 0.0 sec. user=mdettweiler [2015-10-07 07:51:03] 977*2^1411302-1 is not prime. Res64: 9840513C9493C9A8 Time : 0.0 sec. user=mdettweiler [2015-10-07 07:51:21] 663*2^1411304-1 is not prime. Res64: 78A5E8776C4C6ADC Time : 0.0 sec. user=mdettweiler [2015-10-07 07:51:22] 789*2^1411304-1 is not prime. Res64: CA2165BB1DBC51F0 Time : 0.0 sec. user=mdettweiler [2015-10-07 08:08:00] 869*2^1411304-1 is not prime. Res64: 29119C8C285909EA Time : 0.0 sec. user=mdettweiler [2015-10-07 08:08:01] 609*2^1411305-1 is not prime. Res64: AFBE196A4AAFC79D Time : 0.0 sec. user=mdettweiler [2015-10-07 08:09:01] 759*2^1411305-1 is not prime. Res64: 760A960647DE3D1E Time : 0.0 sec. user=mdettweiler [2015-10-07 08:09:02] 781*2^1411305-1 is not prime. Res64: 0D0FB4CD656CF603 Time : 0.0 sec. user=mdettweiler [2015-10-07 08:09:10] 861*2^1411305-1 is not prime. Res64: A61301B453AE488D Time : 0.0 sec. user=mdettweiler [2015-10-07 08:09:10] 603*2^1411306-1 is not prime. Res64: 174C4E8D0D1DC749 Time : 0.0 sec. user=mdettweiler [2015-10-07 08:09:15] 699*2^1411305-1 is not prime. Res64: 133B1F1C9E66C597 Time : 0.0 sec. user=mdettweiler [2015-10-07 08:09:16] 721*2^1411305-1 is not prime. Res64: B039A5413E80D11A Time : 0.0 sec. user=mdettweiler [2015-10-07 08:25:50] 611*2^1411306-1 is not prime. Res64: 806FD1F5CD949C65 Time : 0.0 sec. user=mdettweiler [2015-10-07 08:25:51] 657*2^1411306-1 is not prime. Res64: B9E6A5E0646AA718 Time : 0.0 sec. user=mdettweiler [2015-10-07 08:26:56] 923*2^1411306-1 is not prime. Res64: D9105D6DB276E2F2 Time : 0.0 sec. user=mdettweiler [2015-10-07 08:26:57] 603*2^1411307-1 is not prime. Res64: EBA29644A7660DD8 Time : 0.0 sec. user=mdettweiler [2015-10-07 08:27:04] 701*2^1411306-1 is not prime. Res64: 77EC51AE1097D1C2 Time : 0.0 sec. user=mdettweiler [2015-10-07 08:27:05] 867*2^1411306-1 is not prime. Res64: 0F8FA8E2811A839A Time : 0.0 sec. user=mdettweiler [2015-10-07 08:27:18] 649*2^1411307-1 is not prime. Res64: ABC6980177184E11 Time : 0.0 sec. user=mdettweiler [2015-10-07 08:27:18] 663*2^1411307-1 is not prime. Res64: 925EFD8EAB530C54 Time : 0.0 sec. user=mdettweiler [2015-10-07 08:43:42] 669*2^1411307-1 is not prime. Res64: EB55953DA34C0C6B Time : 0.0 sec. user=mdettweiler [2015-10-07 08:43:42] 739*2^1411307-1 is not prime. Res64: AEEAA78490A96D7D Time : 0.0 sec. user=mdettweiler [2015-10-07 08:44:37] 915*2^1411307-1 is not prime. Res64: 09BBA4C0B8D1B894 Time : 0.0 sec. user=mdettweiler [2015-10-07 08:44:37] 945*2^1411307-1 is not prime. Res64: 6496C8EB241B93DF Time : 0.0 sec. user=mdettweiler [2015-10-07 08:44:56] 985*2^1411307-1 is not prime. Res64: 61B1F280588D83D2 Time : 0.0 sec. user=mdettweiler [2015-10-07 08:44:56] 633*2^1411308-1 is not prime. Res64: 8A437C6B34C89232 Time : 0.0 sec. user=mdettweiler [2015-10-07 08:45:13] 789*2^1411308-1 is not prime. Res64: C1CDD84D515AB4D0 Time : 0.0 sec. user=mdettweiler [2015-10-07 08:45:14] 819*2^1411308-1 is not prime. Res64: EEF045CE48846905 Time : 0.0 sec. user=mdettweiler [2015-10-07 09:01:34] 893*2^1411308-1 is not prime. Res64: ACA54C9854C0331D Time : 0.0 sec. user=mdettweiler [2015-10-07 09:01:35] 895*2^1411309-1 is not prime. Res64: 1C5FC40C837644B5 Time : 0.0 sec. user=mdettweiler [2015-10-07 09:02:29] 925*2^1411309-1 is not prime. Res64: B083AF66F90BB003 Time : 0.0 sec. user=mdettweiler [2015-10-07 09:02:29] 957*2^1411309-1 is not prime. Res64: D383C59C251E18AF Time : 0.0 sec. user=mdettweiler [2015-10-07 09:02:46] 967*2^1411309-1 is not prime. Res64: B07ED322B5DD27B4 Time : 0.0 sec. user=mdettweiler [2015-10-07 09:02:47] 999*2^1411309-1 is not prime. Res64: AD3C5961CA8ECCEA Time : 0.0 sec. user=mdettweiler [2015-10-07 09:03:01] 875*2^1411310-1 is not prime. Res64: C3A90B0DCC54005A Time : 0.0 sec. user=mdettweiler [2015-10-07 09:03:02] 885*2^1411310-1 is not prime. Res64: D0CE99FB012E9485 Time : 0.0 sec. user=mdettweiler [2015-10-07 09:19:28] 965*2^1411310-1 is not prime. Res64: ADB7D85CE7A1D188 Time : 0.0 sec. user=mdettweiler [2015-10-07 09:19:29] 621*2^1411311-1 is not prime. Res64: 1A7A61994550CCE6 Time : 0.0 sec. user=mdettweiler [2015-10-07 09:20:19] 735*2^1411311-1 is not prime. Res64: 9E54DEA8D86B1D4D Time : 0.0 sec. user=mdettweiler [2015-10-07 09:20:19] 751*2^1411311-1 is not prime. Res64: 8DC9E5BB594B598C Time : 0.0 sec. user=mdettweiler [2015-10-07 09:20:41] 849*2^1411311-1 is not prime. Res64: 47495244D259EBF4 Time : 0.0 sec. user=mdettweiler [2015-10-07 09:20:42] 909*2^1411311-1 is not prime. Res64: 42F0BFC94EFF7B6F Time : 0.0 sec. user=mdettweiler [2015-10-07 09:20:59] 975*2^1411311-1 is not prime. Res64: 2D158CE1A76E7FED Time : 0.0 sec. user=mdettweiler [2015-10-07 09:21:00] 605*2^1411312-1 is not prime. Res64: 22AE9971662E6398 Time : 0.0 sec. user=mdettweiler [2015-10-07 09:37:14] 675*2^1411312-1 is not prime. Res64: CE81B911869CA85E Time : 0.0 sec. user=mdettweiler [2015-10-07 09:37:15] 693*2^1411312-1 is not prime. Res64: BDFFB978C1356858 Time : 0.0 sec. user=mdettweiler [2015-10-07 09:38:10] 695*2^1411312-1 is not prime. Res64: D5E42AB16D63BA74 Time : 0.0 sec. user=mdettweiler [2015-10-07 09:38:11] 705*2^1411312-1 is not prime. Res64: D9DF24BC8BB401B1 Time : 0.0 sec. user=mdettweiler [2015-10-07 09:38:41] 717*2^1411312-1 is not prime. Res64: 170215CC5B9D6422 Time : 0.0 sec. user=mdettweiler [2015-10-07 09:38:42] 759*2^1411312-1 is not prime. Res64: D06F6E753246F54C Time : 0.0 sec. user=mdettweiler [2015-10-07 09:38:58] 843*2^1411312-1 is not prime. Res64: 5BAEA1CCE780F404 Time : 0.0 sec. user=mdettweiler [2015-10-07 09:38:58] 903*2^1411312-1 is not prime. Res64: 72B813917864D04B Time : 0.0 sec. user=mdettweiler [2015-10-07 09:55:02] 939*2^1411312-1 is not prime. Res64: 7A6D15BD9DD57654 Time : 0.0 sec. user=mdettweiler [2015-10-07 09:55:03] 691*2^1411313-1 is not prime. Res64: 0B323348A33B0873 Time : 0.0 sec. user=mdettweiler [2015-10-07 09:55:54] 781*2^1411313-1 is not prime. Res64: 1CAE19E90ECF8D55 Time : 0.0 sec. user=mdettweiler [2015-10-07 09:55:54] 829*2^1411313-1 is not prime. Res64: 16351CB68135F82F Time : 0.0 sec. user=mdettweiler [2015-10-07 09:56:28] 847*2^1411313-1 is not prime. Res64: 5C693F4A47E30A7B Time : 0.0 sec. user=mdettweiler [2015-10-07 09:56:29] 867*2^1411313-1 is not prime. Res64: 861AE94CD0CB7690 Time : 0.0 sec. user=mdettweiler [2015-10-07 09:56:43] 945*2^1411313-1 is not prime. Res64: B0F03D02080F3BA9 Time : 0.0 sec. user=mdettweiler [2015-10-07 09:56:43] 783*2^1411314-1 is not prime. Res64: 7299D66810D843DC Time : 0.0 sec. user=mdettweiler [2015-10-07 10:12:49] 791*2^1411314-1 is not prime. Res64: A8A6C5AC0678D243 Time : 0.0 sec. user=mdettweiler [2015-10-07 10:12:49] 807*2^1411314-1 is not prime. Res64: 90A0E72ABE4A7EED Time : 0.0 sec. user=mdettweiler [2015-10-07 10:13:45] 873*2^1411314-1 is not prime. Res64: E344F42986E0A00C Time : 0.0 sec. user=mdettweiler [2015-10-07 10:13:46] 927*2^1411314-1 is not prime. Res64: 4FC50774545A9E10 Time : 0.0 sec. user=mdettweiler [2015-10-07 10:14:08] 633*2^1411315-1 is not prime. Res64: 125CBFD3FCA8E001 Time : 0.0 sec. user=mdettweiler [2015-10-07 10:14:09] 805*2^1411315-1 is not prime. Res64: A08E76D23E8E271D Time : 0.0 sec. user=mdettweiler [2015-10-07 10:14:32] 843*2^1411315-1 is not prime. Res64: 39E9709DE0F8458F Time : 0.0 sec. user=mdettweiler [2015-10-07 10:14:33] 913*2^1411315-1 is not prime. Res64: 132E4C44BD43F8CC Time : 0.0 sec. user=mdettweiler [2015-10-07 10:30:41] 689*2^1411316-1 is not prime. Res64: 3E2BB5F10A40678C Time : 0.0 sec. user=mdettweiler [2015-10-07 10:30:41] 707*2^1411316-1 is not prime. Res64: 4312DA1AA901497E Time : 0.0 sec. user=mdettweiler [2015-10-07 10:31:30] 845*2^1411316-1 is not prime. Res64: 679EF3A86C539304 Time : 0.0 sec. user=mdettweiler [2015-10-07 10:31:31] 867*2^1411316-1 is not prime. Res64: 94C88834A9733247 Time : 0.0 sec. user=mdettweiler [2015-10-07 10:31:56] 923*2^1411316-1 is not prime. Res64: 761EE476BD571E9E Time : 0.0 sec. user=mdettweiler [2015-10-07 10:31:56] 625*2^1411317-1 is not prime. Res64: 957E9E6C4F0FBE18 Time : 0.0 sec. user=mdettweiler [2015-10-07 10:32:21] 669*2^1411317-1 is not prime. Res64: 562FB1B2D83EDC9F Time : 0.0 sec. user=mdettweiler [2015-10-07 10:32:21] 867*2^1411317-1 is not prime. Res64: 30AF77194F7CD973 Time : 0.0 sec. user=mdettweiler [2015-10-07 10:48:35] 885*2^1411317-1 is not prime. Res64: 3B4289F7A0FF4E62 Time : 0.0 sec. user=mdettweiler [2015-10-07 10:48:36] 889*2^1411317-1 is not prime. Res64: D85BD7AD5A7780A3 Time : 0.0 sec. user=mdettweiler [2015-10-07 10:49:17] 895*2^1411317-1 is not prime. Res64: 31A5A3EC9CA14402 Time : 0.0 sec. user=mdettweiler [2015-10-07 10:49:17] 955*2^1411317-1 is not prime. Res64: B4B56FC070CF6409 Time : 0.0 sec. user=mdettweiler [2015-10-07 10:49:46] 657*2^1411318-1 is not prime. Res64: 218669E6D5B77F07 Time : 0.0 sec. user=mdettweiler [2015-10-07 10:49:46] 681*2^1411318-1 is not prime. Res64: EC8ABB7431D94410 Time : 0.0 sec. user=mdettweiler [2015-10-07 10:50:14] 705*2^1411318-1 is not prime. Res64: 31CA76673A85F91E Time : 0.0 sec. user=mdettweiler [2015-10-07 10:50:14] 897*2^1411318-1 is not prime. Res64: C801BC1B95BA85C1 Time : 0.0 sec. user=mdettweiler [2015-10-07 11:06:30] 911*2^1411318-1 is not prime. Res64: 725C2755BE4893EA Time : 0.0 sec. user=mdettweiler [2015-10-07 11:06:31] 923*2^1411318-1 is not prime. Res64: BA4EB7C074BDABFD Time : 0.0 sec. user=mdettweiler [2015-10-07 11:07:06] 945*2^1411318-1 is not prime. Res64: F68C7A83AE069564 Time : 0.0 sec. user=mdettweiler [2015-10-07 11:07:06] 957*2^1411318-1 is not prime. Res64: FAF03686355EDC26 Time : 0.0 sec. user=mdettweiler [2015-10-07 11:07:36] 991*2^1411319-1 is not prime. Res64: 5BEA3DCDBFBC0DE2 Time : 0.0 sec. user=mdettweiler [2015-10-07 11:07:36] 905*2^1411320-1 is not prime. Res64: D43044D1BDE99E5D Time : 0.0 sec. user=mdettweiler [2015-10-07 11:08:02] 999*2^1411320-1 is not prime. Res64: F44A6DAFD93A7B0E Time : 0.0 sec. user=mdettweiler [2015-10-07 11:08:03] 601*2^1411321-1 is not prime. Res64: A3F53A994914B30D Time : 0.0 sec. user=mdettweiler [2015-10-07 11:24:23] 637*2^1411321-1 is not prime. Res64: 920E1B245EFE7350 Time : 0.0 sec. user=mdettweiler [2015-10-07 11:24:24] 675*2^1411321-1 is not prime. Res64: 65180FF03C2EAB3C Time : 0.0 sec. user=mdettweiler [2015-10-07 11:25:01] 775*2^1411321-1 is not prime. Res64: 0FAE22F7C7216BE4 Time : 0.0 sec. user=mdettweiler [2015-10-07 11:25:02] 861*2^1411321-1 is not prime. Res64: C1AD592FB4C645F8 Time : 0.0 sec. user=mdettweiler [2015-10-07 11:25:31] 603*2^1411322-1 is not prime. Res64: 613FECD2E65703AA Time : 0.0 sec. user=mdettweiler [2015-10-07 11:25:31] 797*2^1411322-1 is not prime. Res64: 6511FE6010368389 Time : 0.0 sec. user=mdettweiler [2015-10-07 11:25:50] 827*2^1411322-1 is not prime. Res64: F713375508BD460B Time : 0.0 sec. user=mdettweiler [2015-10-07 11:25:50] 887*2^1411322-1 is not prime. Res64: 3BE7B5259663BBB4 Time : 0.0 sec. user=mdettweiler [2015-10-07 11:42:06] 953*2^1411322-1 is not prime. Res64: 2AB7801DB6588FBC Time : 0.0 sec. user=mdettweiler [2015-10-07 11:42:06] 609*2^1411323-1 is not prime. Res64: D115D70D445BA15D Time : 0.0 sec. user=mdettweiler [2015-10-07 11:42:48] 615*2^1411323-1 is not prime. Res64: 495E75688B650E03 Time : 0.0 sec. user=mdettweiler [2015-10-07 11:42:48] 663*2^1411323-1 is not prime. Res64: 7AA4BAE65A6A5BDA Time : 0.0 sec. user=mdettweiler [2015-10-07 11:43:18] 699*2^1411323-1 is not prime. Res64: 05B085A5A67ECFDA Time : 0.0 sec. user=mdettweiler [2015-10-07 11:43:19] 795*2^1411323-1 is not prime. Res64: D2B47933A58460C2 Time : 0.0 sec. user=mdettweiler [2015-10-07 11:43:35] 829*2^1411323-1 is not prime. Res64: C6FB3B9280A85D33 Time : 0.0 sec. user=mdettweiler [2015-10-07 11:43:36] 879*2^1411323-1 is not prime. Res64: 16D97F3D03BA4D01 Time : 0.0 sec. user=mdettweiler [2015-10-07 11:59:55] 675*2^1411324-1 is not prime. Res64: D9A6DBADF6198AD0 Time : 0.0 sec. user=mdettweiler [2015-10-07 11:59:56] 693*2^1411324-1 is not prime. Res64: A899E1654CA30B27 Time : 0.0 sec. user=mdettweiler [2015-10-07 12:00:33] 705*2^1411324-1 is not prime. Res64: B5E6D44F12193656 Time : 0.0 sec. user=mdettweiler [2015-10-07 12:00:33] 885*2^1411324-1 is not prime. Res64: D19CB3B757B088D5 Time : 0.0 sec. user=mdettweiler [2015-10-07 12:01:16] 899*2^1411324-1 is not prime. Res64: 00A622C8CC57DF94 Time : 0.0 sec. user=mdettweiler [2015-10-07 12:01:17] 619*2^1411325-1 is not prime. Res64: FDD9507AE9DE9568 Time : 0.0 sec. user=mdettweiler [2015-10-07 12:01:26] 685*2^1411325-1 is not prime. Res64: 0E98C36075789ADE Time : 0.0 sec. user=mdettweiler [2015-10-07 12:01:27] 691*2^1411325-1 is not prime. Res64: 844C174E1FD0AAD3 Time : 0.0 sec. user=mdettweiler [2015-10-07 12:17:35] 715*2^1411325-1 is not prime. Res64: 9ED9171531F9531B Time : 0.0 sec. user=mdettweiler [2015-10-07 12:17:36] 735*2^1411325-1 is not prime. Res64: 9D7ABACD0EFCD817 Time : 0.0 sec. user=mdettweiler [2015-10-07 12:18:32] 787*2^1411325-1 is not prime. Res64: AA2B593DFA81077A Time : 0.0 sec. user=mdettweiler [2015-10-07 12:18:33] 867*2^1411325-1 is not prime. Res64: BBD28C9C84D180FE Time : 0.0 sec. user=mdettweiler [2015-10-07 12:19:21] 985*2^1411325-1 is not prime. Res64: C1142FAAFB4D930A Time : 0.0 sec. user=mdettweiler [2015-10-07 12:19:22] 987*2^1411325-1 is not prime. Res64: FF207F0E83FF68E0 Time : 0.0 sec. user=mdettweiler [2015-10-07 12:19:27] 671*2^1411326-1 is not prime. Res64: 65C96DBDD224A41F Time : 0.0 sec. user=mdettweiler [2015-10-07 12:19:27] 705*2^1411326-1 is not prime. Res64: 31832E8BA5574908 Time : 0.0 sec. user=mdettweiler [2015-10-07 12:35:22] 821*2^1411326-1 is not prime. Res64: 643E2D2F9DCF99E3 Time : 0.0 sec. user=mdettweiler [2015-10-07 12:35:23] 867*2^1411326-1 is not prime. Res64: 042EB6219AAAFE9C Time : 0.0 sec. user=mdettweiler [2015-10-07 12:36:22] 957*2^1411326-1 is not prime. Res64: 4C0691DD2524B41F Time : 0.0 sec. user=mdettweiler [2015-10-07 12:36:23] 715*2^1411327-1 is not prime. Res64: 1ED77E9B7017C84A Time : 0.0 sec. user=mdettweiler [2015-10-07 12:37:08] 735*2^1411327-1 is not prime. Res64: 517AE327F6A80D18 Time : 0.0 sec. user=mdettweiler [2015-10-07 12:37:09] 741*2^1411327-1 is not prime. Res64: ABF6E10221464A26 Time : 0.0 sec. user=mdettweiler [2015-10-07 12:37:15] 805*2^1411327-1 is not prime. Res64: 80BAFD29E3D2AC44 Time : 0.0 sec. user=mdettweiler [2015-10-07 12:37:15] 841*2^1411327-1 is not prime. Res64: D5883F526151E5C9 Time : 0.0 sec. user=mdettweiler [2015-10-07 12:53:14] 873*2^1411327-1 is not prime. Res64: C22C4ACCE1E72DDE Time : 0.0 sec. user=mdettweiler [2015-10-07 12:53:14] 895*2^1411327-1 is not prime. Res64: B2D69F01111B67BA Time : 0.0 sec. user=mdettweiler [2015-10-07 12:54:16] 909*2^1411327-1 is not prime. Res64: 13DECF69E7AE56AA Time : 0.0 sec. user=mdettweiler [2015-10-07 12:54:17] 919*2^1411327-1 is not prime. Res64: AF10201D1B0D85C6 Time : 0.0 sec. user=mdettweiler [2015-10-07 12:54:57] 945*2^1411327-1 is not prime. Res64: AAE325307B8C8769 Time : 0.0 sec. user=mdettweiler [2015-10-07 12:54:57] 999*2^1411327-1 is not prime. Res64: A540687DF47688B1 Time : 0.0 sec. user=mdettweiler [2015-10-07 12:55:12] 669*2^1411328-1 is not prime. Res64: 84C458E8CEC11996 Time : 0.0 sec. user=mdettweiler [2015-10-07 12:55:13] 735*2^1411328-1 is not prime. Res64: 490DF5A47A02B3F2 Time : 0.0 sec. user=mdettweiler [2015-10-07 13:10:56] 843*2^1411328-1 is not prime. Res64: 722DC0C512BCF989 Time : 0.0 sec. user=mdettweiler [2015-10-07 13:10:57] 867*2^1411328-1 is not prime. Res64: B7A96D6BB2D351EE Time : 0.0 sec. user=mdettweiler [2015-10-07 13:12:07] 959*2^1411328-1 is not prime. Res64: 61027E44B5F4BF64 Time : 0.0 sec. user=mdettweiler [2015-10-07 13:12:07] 751*2^1411329-1 is not prime. Res64: 079DB919D5B6F35C Time : 0.0 sec. user=mdettweiler [2015-10-07 13:12:44] 795*2^1411329-1 is not prime. Res64: 0C711F76357EEEF3 Time : 0.0 sec. user=mdettweiler [2015-10-07 13:12:44] 807*2^1411329-1 is not prime. Res64: 113EB97DA8022351 Time : 0.0 sec. user=mdettweiler [2015-10-07 13:13:01] 847*2^1411329-1 is not prime. Res64: 3B8B002F53156FA4 Time : 0.0 sec. user=mdettweiler [2015-10-07 13:13:01] 885*2^1411329-1 is not prime. Res64: 0AD6BB392E033660 Time : 0.0 sec. user=mdettweiler [2015-10-07 13:28:52] 945*2^1411329-1 is not prime. Res64: 3B89AE8874ACCBC2 Time : 0.0 sec. user=mdettweiler [2015-10-07 13:28:53] 623*2^1411330-1 is not prime. Res64: C01D0038A7CD0754 Time : 0.0 sec. user=mdettweiler [2015-10-07 13:30:01] 635*2^1411330-1 is not prime. Res64: 2ACEE43FECC1A4C6 Time : 0.0 sec. user=mdettweiler [2015-10-07 13:30:01] 665*2^1411330-1 is not prime. Res64: 319AB07004D57038 Time : 0.0 sec. user=mdettweiler [2015-10-07 13:30:36] 783*2^1411330-1 is not prime. Res64: E0DCE668BD3E3809 Time : 0.0 sec. user=mdettweiler [2015-10-07 13:30:36] 803*2^1411330-1 is not prime. Res64: C92A34D0E736A691 Time : 0.0 sec. user=mdettweiler [2015-10-07 13:30:53] 827*2^1411330-1 is not prime. Res64: 75752B77588072E6 Time : 0.0 sec. user=mdettweiler [2015-10-07 13:30:53] 885*2^1411330-1 is not prime. Res64: 7500F646B42A82CB Time : 0.0 sec. user=mdettweiler [2015-10-07 13:46:42] 957*2^1411330-1 is not prime. Res64: BD25264D82833014 Time : 0.0 sec. user=mdettweiler [2015-10-07 13:46:42] 971*2^1411330-1 is not prime. Res64: 6C09C50F69E44D81 Time : 0.0 sec. user=mdettweiler [2015-10-07 13:48:02] 615*2^1411331-1 is not prime. Res64: 23E49F44C7D76EC6 Time : 0.0 sec. user=mdettweiler [2015-10-07 13:48:02] 651*2^1411331-1 is not prime. Res64: BFBBD8B6434482AB Time : 0.0 sec. user=mdettweiler [2015-10-07 13:48:28] 693*2^1411331-1 is not prime. Res64: 69CD0C56ED59A33B Time : 0.0 sec. user=mdettweiler [2015-10-07 13:48:29] 823*2^1411331-1 is not prime. Res64: 51C0776B5076AF26 Time : 0.0 sec. user=mdettweiler [2015-10-07 13:48:47] 859*2^1411331-1 is not prime. Res64: D48E434A5E8DFF63 Time : 0.0 sec. user=mdettweiler [2015-10-07 13:48:47] 931*2^1411331-1 is not prime. Res64: 06BA74A53F1231C0 Time : 0.0 sec. user=mdettweiler [2015-10-07 14:05:00] 939*2^1411331-1 is not prime. Res64: F1CAD0E1A5D7160E Time : 0.0 sec. user=mdettweiler [2015-10-07 14:05:03] 969*2^1411331-1 is not prime. Res64: 07EBF4E967082FB5 Time : 0.0 sec. user=mdettweiler [2015-10-07 14:06:16] 981*2^1411331-1 is not prime. Res64: 815426CE462ECCB1 Time : 0.0 sec. user=mdettweiler [2015-10-07 14:06:17] 635*2^1411332-1 is not prime. Res64: F114221B8895E803 Time : 0.0 sec. user=mdettweiler [2015-10-07 14:06:35] 675*2^1411332-1 is not prime. Res64: C63F57BDB8DFFC61 Time : 0.0 sec. user=mdettweiler [2015-10-07 14:06:36] 699*2^1411332-1 is not prime. Res64: E47CEF42AAF41BF0 Time : 0.0 sec. user=mdettweiler [2015-10-07 14:06:52] 737*2^1411332-1 is not prime. Res64: 7F33B3F79058DAB0 Time : 0.0 sec. user=mdettweiler [2015-10-07 14:06:52] 779*2^1411332-1 is not prime. Res64: 3826F55C708E8DB7 Time : 0.0 sec. user=mdettweiler [2015-10-07 14:23:00] 873*2^1411332-1 is not prime. Res64: 59E7856346B18FA0 Time : 0.0 sec. user=mdettweiler [2015-10-07 14:23:00] 893*2^1411332-1 is not prime. Res64: A971B1E8BF2D0AC2 Time : 0.0 sec. user=mdettweiler [2015-10-07 14:24:18] 915*2^1411332-1 is not prime. Res64: B8B945673D9F1CD2 Time : 0.0 sec. user=mdettweiler [2015-10-07 14:24:18] 933*2^1411332-1 is not prime. Res64: 9157DD96567E19D3 Time : 0.0 sec. user=mdettweiler [2015-10-07 14:24:43] 959*2^1411332-1 is not prime. Res64: 66F28815DBA99BD0 Time : 0.0 sec. user=mdettweiler [2015-10-07 14:24:43] 977*2^1411332-1 is not prime. Res64: 9B98D80CFC8AA34F Time : 0.0 sec. user=mdettweiler [2015-10-07 14:24:44] 727*2^1411333-1 is not prime. Res64: 109D9D0FE87C1872 Time : 0.0 sec. user=mdettweiler [2015-10-07 14:24:45] 729*2^1411333-1 is not prime. Res64: DD1AB553A82B5098 Time : 0.0 sec. user=mdettweiler [2015-10-07 14:41:05] 819*2^1411333-1 is not prime. Res64: DA6D837991E8F129 Time : 0.0 sec. user=mdettweiler [2015-10-07 14:41:05] 987*2^1411333-1 is not prime. Res64: 920318A39E382EAC Time : 0.0 sec. user=mdettweiler [2015-10-07 14:42:18] 999*2^1411333-1 is not prime. Res64: 8BD53EFFE57511A9 Time : 0.0 sec. user=mdettweiler [2015-10-07 14:42:18] 743*2^1411334-1 is not prime. Res64: 3A3509CCE2DC6C38 Time : 0.0 sec. user=mdettweiler [2015-10-07 14:42:43] 651*2^1411335-1 is not prime. Res64: 108185BFD197CFA7 Time : 0.0 sec. user=mdettweiler [2015-10-07 14:42:43] 735*2^1411335-1 is not prime. Res64: 928CD03EA3A72589 Time : 0.0 sec. user=mdettweiler [2015-10-07 14:42:47] 851*2^1411334-1 is not prime. Res64: BDDAEAFEF47E4F53 Time : 0.0 sec. user=mdettweiler [2015-10-07 14:42:47] 917*2^1411334-1 is not prime. Res64: C9E3EB79D1333D6C Time : 0.0 sec. user=mdettweiler [2015-10-07 15:01:24] 781*2^1411335-1 is not prime. Res64: 5E58DA64909C2FFE Time : 0.0 sec. user=mdettweiler [2015-10-07 15:01:25] 853*2^1411335-1 is not prime. Res64: 5F1A4A301F388BA3 Time : 0.0 sec. user=mdettweiler [2015-10-07 15:03:30] 963*2^1411335-1 is not prime. Res64: 19DBD19EE0803638 Time : 0.0 sec. user=mdettweiler [2015-10-07 15:03:32] 603*2^1411336-1 is not prime. Res64: F051C1F0DFE9653C Time : 0.0 sec. user=mdettweiler [2015-10-07 15:03:42] 705*2^1411336-1 is not prime. Res64: 67D9EAAF6CE566D4 Time : 0.0 sec. user=mdettweiler [2015-10-07 15:03:43] 765*2^1411336-1 is not prime. Res64: 5F38294ECDAA1242 Time : 0.0 sec. user=mdettweiler [2015-10-07 15:04:23] 779*2^1411336-1 is not prime. Res64: 4BFCA8685D95A0B8 Time : 0.0 sec. user=mdettweiler [2015-10-07 15:04:24] 631*2^1411337-1 is not prime. Res64: AAD0165C01E94646 Time : 0.0 sec. user=mdettweiler [2015-10-07 15:29:37] 649*2^1411337-1 is not prime. Res64: 9B8B6D5851F9784F Time : 0.0 sec. user=mdettweiler [2015-10-07 15:29:38] 685*2^1411337-1 is not prime. Res64: 699D880145221EE7 Time : 0.0 sec. user=mdettweiler [2015-10-07 15:31:06] 697*2^1411337-1 is not prime. Res64: B8CF869647222774 Time : 0.0 sec. user=mdettweiler [2015-10-07 15:31:07] 741*2^1411337-1 is not prime. Res64: C63675C43DC2F1BF Time : 0.0 sec. user=mdettweiler [2015-10-07 15:31:31] 769*2^1411337-1 is not prime. Res64: 1F70B09047F3CCDF Time : 0.0 sec. user=mdettweiler [2015-10-07 15:31:31] 819*2^1411337-1 is not prime. Res64: 12FC3D9A5E1FE3BE Time : 0.0 sec. user=mdettweiler [2015-10-07 15:32:45] 829*2^1411337-1 is not prime. Res64: 12D39741ECA42821 Time : 0.0 sec. user=mdettweiler [2015-10-07 15:32:46] 889*2^1411337-1 is not prime. Res64: 14A8EB3E6BFD6B85 Time : 0.0 sec. user=mdettweiler [2015-10-07 15:51:49] 681*2^1411338-1 is not prime. Res64: 1D20917FAB0A85BB Time : 0.0 sec. user=mdettweiler [2015-10-07 15:51:49] 705*2^1411338-1 is not prime. Res64: AE4E14A3C2FB1712 Time : 0.0 sec. user=mdettweiler [2015-10-07 15:53:10] 707*2^1411338-1 is not prime. Res64: BC7E469857C43A34 Time : 0.0 sec. user=mdettweiler [2015-10-07 15:53:10] 825*2^1411338-1 is not prime. Res64: 40F7C9FA1AD5D31E Time : 0.0 sec. user=mdettweiler [2015-10-07 15:53:54] 885*2^1411338-1 is not prime. Res64: 10A4DE0D13CD8035 Time : 0.0 sec. user=mdettweiler [2015-10-07 15:53:54] 921*2^1411338-1 is not prime. Res64: 4C00DDAD6BEF7577 Time : 0.0 sec. user=mdettweiler [2015-10-07 15:54:34] 945*2^1411338-1 is not prime. Res64: 8677D660DC3F7554 Time : 0.0 sec. user=mdettweiler [2015-10-07 15:54:35] 1001*2^1411338-1 is not prime. Res64: 1D2151AF5AAF7A85 Time : 0.0 sec. user=mdettweiler [2015-10-07 16:10:34] 619*2^1411339-1 is not prime. Res64: E49AB37C1AD8BC38 Time : 0.0 sec. user=mdettweiler [2015-10-07 16:10:35] 663*2^1411339-1 is not prime. Res64: 8D7835C65CD3B2EA Time : 0.0 sec. user=mdettweiler [2015-10-07 16:11:48] 895*2^1411339-1 is not prime. Res64: CE1DD5DC7DA7664E Time : 0.0 sec. user=mdettweiler [2015-10-07 16:11:49] 909*2^1411339-1 is not prime. Res64: 2E2497A213D4D17F Time : 0.0 sec. user=mdettweiler [2015-10-07 16:12:34] 951*2^1411339-1 is not prime. Res64: ED9DC2DA2B3547D5 Time : 0.0 sec. user=mdettweiler [2015-10-07 16:12:34] 979*2^1411339-1 is not prime. Res64: 9A2ACFCA00282046 Time : 0.0 sec. user=mdettweiler [2015-10-07 16:13:11] 609*2^1411340-1 is not prime. Res64: 4667668DA1A2F187 Time : 0.0 sec. user=mdettweiler [2015-10-07 16:13:11] 633*2^1411340-1 is not prime. Res64: 654BA1FAE4BA8F3F Time : 0.0 sec. user=mdettweiler [2015-10-07 16:28:45] 687*2^1411340-1 is not prime. Res64: DF5F1F34418E527F Time : 0.0 sec. user=mdettweiler [2015-10-07 16:28:45] 777*2^1411340-1 is not prime. Res64: 05A632833EF30E36 Time : 0.0 sec. user=mdettweiler [2015-10-07 16:29:49] 843*2^1411340-1 is not prime. Res64: 3F765DD736F2AF46 Time : 0.0 sec. user=mdettweiler [2015-10-07 16:29:50] 845*2^1411340-1 is not prime. Res64: F1978C893C5348DC Time : 0.0 sec. user=mdettweiler [2015-10-07 16:30:43] 879*2^1411340-1 is not prime. Res64: 742F96DDB71E67EF Time : 0.0 sec. user=mdettweiler [2015-10-07 16:30:43] 601*2^1411341-1 is not prime. Res64: 6EF28862831B8762 Time : 0.0 sec. user=mdettweiler [2015-10-07 16:31:22] 669*2^1411341-1 is not prime. Res64: DA0C430AEAA7A719 Time : 0.0 sec. user=mdettweiler [2015-10-07 16:31:22] 727*2^1411341-1 is not prime. Res64: 4E7F7749ED24F271 Time : 0.0 sec. user=mdettweiler [2015-10-07 16:48:08] 805*2^1411341-1 is not prime. Res64: D1C6C75E5F0AF296 Time : 0.0 sec. user=mdettweiler [2015-10-07 16:48:08] 895*2^1411341-1 is not prime. Res64: 07781B64458946F7 Time : 0.0 sec. user=mdettweiler [2015-10-07 16:49:03] 665*2^1411342-1 is not prime. Res64: 6BAF80BA985A6D75 Time : 0.0 sec. user=mdettweiler [2015-10-07 16:49:04] 827*2^1411342-1 is not prime. Res64: 05301E4BE416B203 Time : 0.0 sec. user=mdettweiler [2015-10-07 16:50:29] 885*2^1411342-1 is not prime. Res64: DFBADE37BCF88CBF Time : 0.0 sec. user=mdettweiler [2015-10-07 16:50:29] 981*2^1411342-1 is not prime. Res64: CDE0164C9695C029 Time : 0.0 sec. user=mdettweiler [2015-10-07 16:50:59] 603*2^1411343-1 is not prime. Res64: 933AAB6DB73B59C4 Time : 0.0 sec. user=mdettweiler [2015-10-07 16:50:59] 633*2^1411343-1 is not prime. Res64: 5C7614F6D566D85C Time : 0.0 sec. user=mdettweiler [2015-10-07 17:08:40] 741*2^1411343-1 is not prime. Res64: 59349ED5F6858A9E Time : 0.0 sec. user=mdettweiler [2015-10-07 17:08:41] 775*2^1411343-1 is not prime. Res64: 89B3575C3CBD9D01 Time : 0.0 sec. user=mdettweiler [2015-10-07 17:09:41] 859*2^1411343-1 is not prime. Res64: 554A450AC24665CA Time : 0.0 sec. user=mdettweiler [2015-10-07 17:09:41] 871*2^1411343-1 is not prime. Res64: BF23261289DE15BB Time : 0.0 sec. user=mdettweiler [2015-10-07 17:11:06] 915*2^1411343-1 is not prime. Res64: 0F40CC79CE89E127 Time : 0.0 sec. user=mdettweiler [2015-10-07 17:11:07] 921*2^1411343-1 is not prime. Res64: CA97D76C21847487 Time : 0.0 sec. user=mdettweiler [2015-10-07 17:11:54] 949*2^1411343-1 is not prime. Res64: D67B6F6E96768E4E Time : 0.0 sec. user=mdettweiler [2015-10-07 17:11:54] 635*2^1411344-1 is not prime. Res64: 4D70A0ED51629186 Time : 0.0 sec. user=mdettweiler [2015-10-07 17:26:55] 717*2^1411345-1 is not prime. Res64: A6B50F53E367D5DB Time : 0.0 sec. user=mdettweiler [2015-10-07 17:26:56] 741*2^1411345-1 is not prime. Res64: 542040618763B4E2 Time : 0.0 sec. user=mdettweiler [2015-10-07 17:28:03] 799*2^1411345-1 is not prime. Res64: C468BC53E5D3CFC1 Time : 0.0 sec. user=mdettweiler [2015-10-07 17:28:03] 919*2^1411345-1 is not prime. Res64: 85224F616C661D0B Time : 0.0 sec. user=mdettweiler [2015-10-07 17:29:10] 951*2^1411345-1 is not prime. Res64: 39849753E7655E2B Time : 0.0 sec. user=mdettweiler [2015-10-07 17:29:11] 623*2^1411346-1 is not prime. Res64: 997141D97782D65B Time : 0.0 sec. user=mdettweiler [2015-10-07 17:29:43] 635*2^1411346-1 is not prime. Res64: 47378EB1814C8572 Time : 0.0 sec. user=mdettweiler [2015-10-07 17:29:43] 675*2^1411346-1 is not prime. Res64: 0AE41F97A42F9A74 Time : 0.0 sec. user=mdettweiler [2015-10-07 17:44:48] 935*2^1411346-1 is not prime. Res64: DD90307288E00959 Time : 0.0 sec. user=mdettweiler [2015-10-07 17:44:49] 711*2^1411347-1 is not prime. Res64: DD9029C3A876D9EA Time : 0.0 sec. user=mdettweiler [2015-10-07 17:45:55] 751*2^1411347-1 is not prime. Res64: 6BBA9F8B4EB958C4 Time : 0.0 sec. user=mdettweiler [2015-10-07 17:45:56] 769*2^1411347-1 is not prime. Res64: B58F90EA76155587 Time : 0.0 sec. user=mdettweiler [2015-10-07 17:47:04] 775*2^1411347-1 is not prime. Res64: 23792203564917EC Time : 0.0 sec. user=mdettweiler [2015-10-07 17:47:04] 795*2^1411347-1 is not prime. Res64: AE4B362E6CEC2540 Time : 0.0 sec. user=mdettweiler [2015-10-07 17:47:35] 835*2^1411347-1 is not prime. Res64: F2615B32E4B798B9 Time : 0.0 sec. user=mdettweiler [2015-10-07 17:47:36] 843*2^1411347-1 is not prime. Res64: AA596D40A83CCFB0 Time : 0.0 sec. user=mdettweiler [2015-10-07 18:02:43] 885*2^1411347-1 is not prime. Res64: 54FF07FE7BC95065 Time : 0.0 sec. user=mdettweiler [2015-10-07 18:02:44] 919*2^1411347-1 is not prime. Res64: 060EA6386805E00B Time : 0.0 sec. user=mdettweiler [2015-10-07 18:03:45] 931*2^1411347-1 is not prime. Res64: 6A2F7AA2314E8E81 Time : 0.0 sec. user=mdettweiler [2015-10-07 18:03:46] 985*2^1411347-1 is not prime. Res64: B6D8144014B9A3E3 Time : 0.0 sec. user=mdettweiler [2015-10-07 18:05:01] 687*2^1411348-1 is not prime. Res64: 851F10A3EA4A269A Time : 0.0 sec. user=mdettweiler [2015-10-07 18:05:02] 705*2^1411348-1 is not prime. Res64: 1881C82507B07538 Time : 0.0 sec. user=mdettweiler [2015-10-07 18:05:35] 833*2^1411348-1 is not prime. Res64: DAFDC9515B2A4465 Time : 0.0 sec. user=mdettweiler [2015-10-07 18:05:36] 875*2^1411348-1 is not prime. Res64: E7F20C772CD9D93B Time : 0.0 sec. user=mdettweiler [2015-10-07 18:20:31] 885*2^1411348-1 is not prime. Res64: 37816B34EC9E3C06 Time : 0.0 sec. user=mdettweiler [2015-10-07 18:20:32] 915*2^1411348-1 is not prime. Res64: C45A0FA9F8E319C7 Time : 0.0 sec. user=mdettweiler [2015-10-07 18:21:38] 957*2^1411348-1 is not prime. Res64: 63322BFB21A9C780 Time : 0.0 sec. user=mdettweiler [2015-10-07 18:21:38] 655*2^1411349-1 is not prime. Res64: D12C02DA739C4D44 Time : 0.0 sec. user=mdettweiler [2015-10-07 18:23:02] 691*2^1411349-1 is not prime. Res64: DE19B86E682E6339 Time : 0.0 sec. user=mdettweiler [2015-10-07 18:23:02] 727*2^1411349-1 is not prime. Res64: F843E8D8F499E4C8 Time : 0.0 sec. user=mdettweiler [2015-10-07 18:23:32] 769*2^1411349-1 is not prime. Res64: 2B1257886A3F71A2 Time : 0.0 sec. user=mdettweiler [2015-10-07 18:23:33] 775*2^1411349-1 is not prime. Res64: 29A38901DF688441 Time : 0.0 sec. user=mdettweiler [2015-10-07 18:38:45] 825*2^1411349-1 is not prime. Res64: 171D51303DFBE2F8 Time : 0.0 sec. user=mdettweiler [2015-10-07 18:38:45] 897*2^1411349-1 is not prime. Res64: F2A364E418879621 Time : 0.0 sec. user=mdettweiler [2015-10-07 18:39:45] 979*2^1411349-1 is not prime. Res64: F05BEDCED7D6ABCE Time : 0.0 sec. user=mdettweiler [2015-10-07 18:39:45] 641*2^1411350-1 is not prime. Res64: 3C93E7D84F51D87A Time : 0.0 sec. user=mdettweiler [2015-10-07 18:41:00] 693*2^1411350-1 is not prime. Res64: C5A9E59C3D4A29CB Time : 0.0 sec. user=mdettweiler [2015-10-07 18:41:01] 821*2^1411350-1 is not prime. Res64: 15464544ABE85F57 Time : 0.0 sec. user=mdettweiler [2015-10-07 18:41:35] 875*2^1411350-1 is not prime. Res64: 2356FAACD007DCD8 Time : 0.0 sec. user=mdettweiler [2015-10-07 18:41:36] 915*2^1411350-1 is not prime. Res64: 6A8F708BD25A8575 Time : 0.0 sec. user=mdettweiler [2015-10-07 18:56:32] 645*2^1411351-1 is not prime. Res64: 89DDC7B9A7DE4A09 Time : 0.0 sec. user=mdettweiler [2015-10-07 18:56:32] 703*2^1411351-1 is not prime. Res64: D6C3DB4E48E47857 Time : 0.0 sec. user=mdettweiler [2015-10-07 18:57:34] 759*2^1411351-1 is not prime. Res64: F51C834034E2A2D1 Time : 0.0 sec. user=mdettweiler [2015-10-07 18:57:34] 841*2^1411351-1 is not prime. Res64: 3A6893436D17304E Time : 0.0 sec. user=mdettweiler [2015-10-07 18:58:57] 883*2^1411351-1 is not prime. Res64: 72A0239742127676 Time : 0.0 sec. user=mdettweiler [2015-10-07 18:58:58] 931*2^1411351-1 is not prime. Res64: AEC481D358E1FCEA Time : 0.0 sec. user=mdettweiler [2015-10-07 18:59:30] 933*2^1411351-1 is not prime. Res64: 1B2EC0A062EB8047 Time : 0.0 sec. user=mdettweiler [2015-10-07 18:59:30] 603*2^1411352-1 is not prime. Res64: B4E4F7A3D8D7D39D Time : 0.0 sec. user=mdettweiler [2015-10-07 19:14:41] 713*2^1411352-1 is not prime. Res64: E3EB7EFAB772485F Time : 0.0 sec. user=mdettweiler [2015-10-07 19:14:42] 725*2^1411352-1 is not prime. Res64: CB118AFF95C39BFA Time : 0.0 sec. user=mdettweiler [2015-10-07 19:15:31] 797*2^1411352-1 is not prime. Res64: 140ABC5E18DF251B Time : 0.0 sec. user=mdettweiler [2015-10-07 19:15:31] 873*2^1411352-1 is not prime. Res64: 6C6F075E13E5A9BB Time : 0.0 sec. user=mdettweiler [2015-10-07 19:17:04] 897*2^1411352-1 is not prime. Res64: 98DE5B47FC5FD1D3 Time : 0.0 sec. user=mdettweiler [2015-10-07 19:17:04] 963*2^1411352-1 is not prime. Res64: 78830EF9B55E6651 Time : 0.0 sec. user=mdettweiler [2015-10-07 19:17:37] 999*2^1411352-1 is not prime. Res64: BA8BE9E180FF7FB9 Time : 0.0 sec. user=mdettweiler [2015-10-07 19:17:38] 919*2^1411353-1 is not prime. Res64: 21F2404080BCF588 Time : 0.0 sec. user=mdettweiler [2015-10-07 19:32:49] 633*2^1411354-1 is not prime. Res64: 652FFCE514E12E2E Time : 0.0 sec. user=mdettweiler [2015-10-07 19:32:50] 635*2^1411354-1 is not prime. Res64: 2089D59265DEAEBD Time : 0.0 sec. user=mdettweiler [2015-10-07 19:33:27] 657*2^1411354-1 is not prime. Res64: 51B9FD181E5949B7 Time : 0.0 sec. user=mdettweiler [2015-10-07 19:33:27] 701*2^1411354-1 is not prime. Res64: 4ADBB02B3123430C Time : 0.0 sec. user=mdettweiler [2015-10-07 19:35:04] 737*2^1411354-1 is not prime. Res64: FA1DC0012FC38A39 Time : 0.0 sec. user=mdettweiler [2015-10-07 19:35:05] 765*2^1411354-1 is not prime. Res64: 7E85D5E759A09896 Time : 0.0 sec. user=mdettweiler [2015-10-07 19:35:47] 887*2^1411354-1 is not prime. Res64: 448C9B2BAED90C2C Time : 0.0 sec. user=mdettweiler [2015-10-07 19:35:48] 923*2^1411354-1 is not prime. Res64: 155AC064D30AF04E Time : 0.0 sec. user=mdettweiler [2015-10-07 19:50:46] 983*2^1411354-1 is not prime. Res64: 58BC26A1AD512077 Time : 0.0 sec. user=mdettweiler [2015-10-07 19:50:46] 693*2^1411355-1 is not prime. Res64: 9D1BBDCA1D436765 Time : 0.0 sec. user=mdettweiler [2015-10-07 19:51:20] 705*2^1411355-1 is not prime. Res64: DFB66631A19E5448 Time : 0.0 sec. user=mdettweiler [2015-10-07 19:51:21] 909*2^1411355-1 is not prime. Res64: 723206B98FD4B001 Time : 0.0 sec. user=mdettweiler [2015-10-07 19:52:59] 915*2^1411355-1 is not prime. Res64: EE2D2BAC1E97F2F9 Time : 0.0 sec. user=mdettweiler [2015-10-07 19:53:00] 939*2^1411355-1 is not prime. Res64: 2CD12CEC0CA72B2A Time : 0.0 sec. user=mdettweiler [2015-10-07 19:53:43] 979*2^1411355-1 is not prime. Res64: 908150AE0EC0437E Time : 0.0 sec. user=mdettweiler [2015-10-07 19:53:43] 693*2^1411356-1 is not prime. Res64: 83BAAFF53AA62C28 Time : 0.0 sec. user=mdettweiler [2015-10-07 20:08:30] 707*2^1411356-1 is not prime. Res64: 1AA0FFB849144AFF Time : 0.0 sec. user=mdettweiler [2015-10-07 20:08:30] 737*2^1411356-1 is not prime. Res64: E8F5A7D15A9AB460 Time : 0.0 sec. user=mdettweiler [2015-10-07 20:09:14] 999*2^1411356-1 is not prime. Res64: 5338900E66F6A931 Time : 0.0 sec. user=mdettweiler [2015-10-07 20:09:14] 609*2^1411357-1 is not prime. Res64: 64505144D7782030 Time : 0.0 sec. user=mdettweiler [2015-10-07 20:10:49] 615*2^1411357-1 is not prime. Res64: B730BAB852DD3683 Time : 0.0 sec. user=mdettweiler [2015-10-07 20:10:50] 639*2^1411357-1 is not prime. Res64: 212198E52E25FDA7 Time : 0.0 sec. user=mdettweiler [2015-10-07 20:11:32] 727*2^1411357-1 is not prime. Res64: 3D2CADBC52560420 Time : 0.0 sec. user=mdettweiler [2015-10-07 20:11:33] 871*2^1411357-1 is not prime. Res64: 465938ACA11EAD2A Time : 0.0 sec. user=mdettweiler [2015-10-07 20:26:29] 997*2^1411357-1 is not prime. Res64: CAFBC858FB8C6FA8 Time : 0.0 sec. user=mdettweiler [2015-10-07 20:26:29] 617*2^1411358-1 is not prime. Res64: EDED8994CA5789AA Time : 0.0 sec. user=mdettweiler [2015-10-07 20:27:09] 663*2^1411358-1 is not prime. Res64: 69033A041ABFF2E1 Time : 0.0 sec. user=mdettweiler [2015-10-07 20:27:09] 893*2^1411358-1 is not prime. Res64: 1E5BA9DBAE08E334 Time : 0.0 sec. user=mdettweiler [2015-10-07 20:28:37] 951*2^1411358-1 is not prime. Res64: B5F9641D081F68DD Time : 0.0 sec. user=mdettweiler [2015-10-07 20:28:37] 977*2^1411358-1 is not prime. Res64: 0E02F7E4DA428770 Time : 0.0 sec. user=mdettweiler [2015-10-07 20:29:30] 693*2^1411359-1 is not prime. Res64: 0ECE696D221E528C Time : 0.0 sec. user=mdettweiler [2015-10-07 20:29:30] 763*2^1411359-1 is not prime. Res64: 6C341F7077B2D6E1 Time : 0.0 sec. user=mdettweiler [2015-10-07 20:44:27] 853*2^1411359-1 is not prime. Res64: CF96957C2CAC380E Time : 0.0 sec. user=mdettweiler [2015-10-07 20:44:27] 921*2^1411359-1 is not prime. Res64: 0476C470CB590350 Time : 0.0 sec. user=mdettweiler [2015-10-07 20:45:03] 949*2^1411359-1 is not prime. Res64: 673BFA26DB8562FB Time : 0.0 sec. user=mdettweiler [2015-10-07 20:45:04] 961*2^1411359-1 is not prime. Res64: F1FE4DDDF048232A Time : 0.0 sec. user=mdettweiler [2015-10-07 20:46:30] 677*2^1411360-1 is not prime. Res64: B1E09D30080A06D4 Time : 0.0 sec. user=mdettweiler [2015-10-07 20:46:30] 857*2^1411360-1 is not prime. Res64: 0146A4CA80CC27B4 Time : 0.0 sec. user=mdettweiler [2015-10-07 20:47:30] 975*2^1411360-1 is not prime. Res64: CF9E6D9A80ACAE3C Time : 0.0 sec. user=mdettweiler [2015-10-07 20:47:31] 615*2^1411361-1 is not prime. Res64: 48C5E85B40603CF2 Time : 0.0 sec. user=mdettweiler [2015-10-07 21:02:22] 651*2^1411361-1 is not prime. Res64: D1F694DB98D56DEE Time : 0.0 sec. user=mdettweiler [2015-10-07 21:02:23] 657*2^1411361-1 is not prime. Res64: 90E81CFF256ACD02 Time : 0.0 sec. user=mdettweiler [2015-10-07 21:02:57] 741*2^1411361-1 is not prime. Res64: 019C10FAE5A662BD Time : 0.0 sec. user=mdettweiler [2015-10-07 21:02:58] 801*2^1411361-1 is not prime. Res64: E01379874349588B Time : 0.0 sec. user=mdettweiler [2015-10-07 21:04:21] 829*2^1411361-1 is not prime. Res64: E838C884D41D540E Time : 0.0 sec. user=mdettweiler [2015-10-07 21:04:22] 867*2^1411361-1 is not prime. Res64: 15F123D92FB32C02 Time : 0.0 sec. user=mdettweiler [2015-10-07 21:05:24] 889*2^1411361-1 is not prime. Res64: 2ECBDA36E5F5FB6D Time : 0.0 sec. user=mdettweiler [2015-10-07 21:05:25] 909*2^1411361-1 is not prime. Res64: 98C933C22D506FB7 Time : 0.0 sec. user=mdettweiler [2015-10-07 21:20:36] 925*2^1411361-1 is not prime. Res64: 70F93DB0D0A609FB Time : 0.0 sec. user=mdettweiler [2015-10-07 21:20:36] 937*2^1411361-1 is not prime. Res64: 9653354EF939BDD9 Time : 0.0 sec. user=mdettweiler [2015-10-07 21:20:44] 807*2^1411362-1 is not prime. Res64: 88C89C089228915E Time : 0.0 sec. user=mdettweiler [2015-10-07 21:20:44] 825*2^1411362-1 is not prime. Res64: F4A9599EA2C54E8F Time : 0.0 sec. user=mdettweiler [2015-10-07 21:22:30] 957*2^1411362-1 is not prime. Res64: 9A878B320F9235F8 Time : 0.0 sec. user=mdettweiler [2015-10-07 21:22:30] 603*2^1411363-1 is not prime. Res64: 8D4B4528E780D741 Time : 0.0 sec. user=mdettweiler [2015-10-07 21:23:35] 609*2^1411363-1 is not prime. Res64: 593D2B4DB87A9632 Time : 0.0 sec. user=mdettweiler [2015-10-07 21:23:35] 633*2^1411363-1 is not prime. Res64: B996F915633FDFE9 Time : 0.0 sec. user=mdettweiler [2015-10-07 21:39:18] 679*2^1411363-1 is not prime. Res64: BBAF05F9C7991C71 Time : 0.0 sec. user=mdettweiler [2015-10-07 21:39:19] 723*2^1411363-1 is not prime. Res64: 4BDB84CB76FD974C Time : 0.0 sec. user=mdettweiler [2015-10-07 21:39:26] 801*2^1411363-1 is not prime. Res64: 64E4CA77E8DFDF45 Time : 0.0 sec. user=mdettweiler [2015-10-07 21:39:26] 805*2^1411363-1 is not prime. Res64: D2FAF3E7473AC4A6 Time : 0.0 sec. user=mdettweiler [2015-10-07 21:41:37] 861*2^1411363-1 is not prime. Res64: 533A919CB626C0DE Time : 0.0 sec. user=mdettweiler [2015-10-07 21:41:37] 885*2^1411363-1 is not prime. Res64: A4928EDFE12E224F Time : 0.0 sec. user=mdettweiler [2015-10-07 21:42:35] 939*2^1411363-1 is not prime. Res64: B05BCADB95F823FD Time : 0.0 sec. user=mdettweiler [2015-10-07 21:42:35] 617*2^1411364-1 is not prime. Res64: FDB985BE5610A9E9 Time : 0.0 sec. user=mdettweiler [2015-10-07 22:00:50] 635*2^1411364-1 is not prime. Res64: 6106D780CD7D3488 Time : 0.0 sec. user=mdettweiler [2015-10-07 22:00:51] 795*2^1411364-1 is not prime. Res64: 9AEE3D46846FA071 Time : 0.0 sec. user=mdettweiler [2015-10-07 22:01:21] 843*2^1411364-1 is not prime. Res64: C36F141B5A4AEF02 Time : 0.0 sec. user=mdettweiler [2015-10-07 22:01:22] 893*2^1411364-1 is not prime. Res64: 0BF35387A530032F Time : 0.0 sec. user=mdettweiler [2015-10-07 22:03:07] 903*2^1411364-1 is not prime. Res64: D3D048AC931ACF6A Time : 0.0 sec. user=mdettweiler [2015-10-07 22:03:09] 651*2^1411365-1 is not prime. Res64: 384790B8FB0099A2 Time : 0.0 sec. user=mdettweiler [2015-10-07 22:04:07] 741*2^1411365-1 is not prime. Res64: 5C853B90937B1728 Time : 0.0 sec. user=mdettweiler [2015-10-07 22:04:08] 787*2^1411365-1 is not prime. Res64: 797951266021DA9D Time : 0.0 sec. user=mdettweiler [2015-10-07 22:23:20] 915*2^1411365-1 is not prime. Res64: DE526E73E707464A Time : 0.0 sec. user=mdettweiler [2015-10-07 22:23:20] 919*2^1411365-1 is not prime. Res64: 65F679914545DAE4 Time : 0.0 sec. user=mdettweiler [2015-10-07 22:23:24] 949*2^1411365-1 is not prime. Res64: 1FAED4F4F06C3D2B Time : 0.0 sec. user=mdettweiler [2015-10-07 22:23:24] 969*2^1411365-1 is not prime. Res64: 2DD572D89BC0480B Time : 0.0 sec. user=mdettweiler [2015-10-07 22:25:31] 999*2^1411365-1 is not prime. Res64: 4785D4063A815F33 Time : 0.0 sec. user=mdettweiler [2015-10-07 22:25:31] 623*2^1411366-1 is not prime. Res64: 415ECDF6B79A252A Time : 0.0 sec. user=mdettweiler [2015-10-07 22:26:38] 653*2^1411366-1 is not prime. Res64: 7A9A4CD98FC622F3 Time : 0.0 sec. user=mdettweiler [2015-10-07 22:26:39] 705*2^1411366-1 is not prime. Res64: 0C50E3F96032659E Time : 0.0 sec. user=mdettweiler [2015-10-07 22:41:13] 1001*2^1411366-1 is not prime. Res64: 42FD4FF498A2C88A Time : 0.0 sec. user=mdettweiler [2015-10-07 22:41:13] 603*2^1411367-1 is not prime. Res64: 097C077659E9494E Time : 0.0 sec. user=mdettweiler [2015-10-07 22:41:17] 873*2^1411366-1 is not prime. Res64: 39FDD8A4D34C5227 Time : 0.0 sec. user=mdettweiler [2015-10-07 22:41:18] 933*2^1411366-1 is not prime. Res64: 6B302207D9E65D37 Time : 0.0 sec. user=mdettweiler [2015-10-07 22:43:29] 645*2^1411367-1 is not prime. Res64: DC3B8C24B099D50C Time : 0.0 sec. user=mdettweiler [2015-10-07 22:43:30] 661*2^1411367-1 is not prime. Res64: 1A870C34957CDF29 Time : 0.0 sec. user=mdettweiler [2015-10-07 22:44:35] 703*2^1411367-1 is not prime. Res64: ACEF9C85D1B42DB0 Time : 0.0 sec. user=mdettweiler [2015-10-07 22:44:35] 705*2^1411367-1 is not prime. Res64: BAB45CCC0C348691 Time : 0.0 sec. user=mdettweiler [2015-10-07 22:59:14] 805*2^1411367-1 is not prime. Res64: 1C559F190B6D8488 Time : 0.0 sec. user=mdettweiler [2015-10-07 22:59:15] 879*2^1411367-1 is not prime. Res64: 4707384E000EBDC0 Time : 0.0 sec. user=mdettweiler [2015-10-07 22:59:17] 945*2^1411367-1 is not prime. Res64: D72D1B8AA86BAC73 Time : 0.0 sec. user=mdettweiler [2015-10-07 22:59:18] 605*2^1411368-1 is not prime. Res64: 6CE1FC3AD1F450D7 Time : 0.0 sec. user=mdettweiler [2015-10-07 23:01:25] 633*2^1411368-1 is not prime. Res64: C3E3F15EC405D991 Time : 0.0 sec. user=mdettweiler [2015-10-07 23:01:25] 669*2^1411368-1 is not prime. Res64: 06605F0936F0ABB3 Time : 0.0 sec. user=mdettweiler [2015-10-07 23:02:32] 683*2^1411368-1 is not prime. Res64: 771E0EE2F80E83FC Time : 0.0 sec. user=mdettweiler [2015-10-07 23:02:32] 735*2^1411368-1 is not prime. Res64: 459246BD56C85996 Time : 0.0 sec. user=mdettweiler [2015-10-07 23:17:06] 959*2^1411368-1 is not prime. Res64: A248B40A7D356A60 Time : 0.0 sec. user=mdettweiler [2015-10-07 23:17:06] 625*2^1411369-1 is not prime. Res64: 95562D888CA198A7 Time : 0.0 sec. user=mdettweiler [2015-10-07 23:17:11] 789*2^1411368-1 is not prime. Res64: 50D67F3833BA6C2E Time : 0.0 sec. user=mdettweiler [2015-10-07 23:17:12] 797*2^1411368-1 is not prime. Res64: 9B30B85DD23A96A2 Time : 0.0 sec. user=mdettweiler [2015-10-07 23:19:19] 685*2^1411369-1 is not prime. Res64: D7C6F9F000A156FE Time : 0.0 sec. user=mdettweiler [2015-10-07 23:19:20] 817*2^1411369-1 is not prime. Res64: 01F46D1ABEA4D44B Time : 0.0 sec. user=mdettweiler [2015-10-07 23:20:31] 835*2^1411369-1 is not prime. Res64: 03920BF80E987ECB Time : 0.0 sec. user=mdettweiler [2015-10-07 23:20:31] 867*2^1411369-1 is not prime. Res64: 709E91E2962D8F2B Time : 0.0 sec. user=mdettweiler [2015-10-07 23:35:03] 945*2^1411369-1 is not prime. Res64: 66D17A7202727435 Time : 0.0 sec. user=mdettweiler [2015-10-07 23:35:04] 999*2^1411369-1 is not prime. Res64: F9C836F003C31984 Time : 0.0 sec. user=mdettweiler [2015-10-07 23:35:04] 677*2^1411370-1 is not prime. Res64: 7A5868CECC50EC56 Time : 0.0 sec. user=mdettweiler [2015-10-07 23:35:05] 735*2^1411370-1 is not prime. Res64: 9C21820B4887518C Time : 0.0 sec. user=mdettweiler [2015-10-07 23:37:19] 755*2^1411370-1 is not prime. Res64: 49D52FAD502F5A5D Time : 0.0 sec. user=mdettweiler [2015-10-07 23:37:19] 791*2^1411370-1 is not prime. Res64: 60F34611F91EAECE Time : 0.0 sec. user=mdettweiler [2015-10-07 23:38:28] 831*2^1411370-1 is not prime. Res64: C9A234D20D0B3196 Time : 0.0 sec. user=mdettweiler [2015-10-07 23:38:29] 875*2^1411370-1 is not prime. Res64: F1E4C21D0BB013D5 Time : 0.0 sec. user=mdettweiler [2015-10-07 23:52:58] 917*2^1411370-1 is not prime. Res64: CD058AB7B429F827 Time : 0.0 sec. user=mdettweiler [2015-10-07 23:52:58] 709*2^1411371-1 is not prime. Res64: 0E9C52DD35CC9EA9 Time : 0.0 sec. user=mdettweiler [2015-10-07 23:53:00] 903*2^1411371-1 is not prime. Res64: 4D6F963BC51CAC72 Time : 0.0 sec. user=mdettweiler [2015-10-07 23:53:00] 909*2^1411371-1 is not prime. Res64: 8FFD4E0771864850 Time : 0.0 sec. user=mdettweiler [2015-10-07 23:55:17] 913*2^1411371-1 is not prime. Res64: 6FDFDFA3361DE6CC Time : 0.0 sec. user=mdettweiler [2015-10-07 23:55:17] 999*2^1411371-1 is not prime. Res64: 0B6182EDC86B8461 Time : 0.0 sec. user=mdettweiler [2015-10-07 23:56:27] 623*2^1411372-1 is not prime. Res64: 76DB3FAC28A1D8EE Time : 0.0 sec. user=mdettweiler [2015-10-07 23:56:28] 657*2^1411372-1 is not prime. Res64: 3278E0B3BAB77315 Time : 0.0 sec.