user=mdettweiler [2016-05-08 00:08:01] 819*2^1428541-1 is not prime. Res64: 719F723134FE1273 Time : 0.0 sec. user=mdettweiler [2016-05-08 00:08:02] 835*2^1428541-1 is not prime. Res64: B8C64BD246705EE9 Time : 0.0 sec. user=mdettweiler [2016-05-08 00:08:02] 859*2^1428541-1 is not prime. Res64: 995F658795E7ABDF Time : 0.0 sec. user=mdettweiler [2016-05-08 00:08:02] 937*2^1428541-1 is not prime. Res64: A14E912BABE4B836 Time : 0.0 sec. user=mdettweiler [2016-05-08 00:08:03] 635*2^1428542-1 is not prime. Res64: 9EC7D7C7DE3DDA68 Time : 0.0 sec. user=mdettweiler [2016-05-08 00:10:05] 755*2^1428542-1 is not prime. Res64: 93C340B20BC92A8C Time : 0.0 sec. user=mdettweiler [2016-05-08 00:10:05] 801*2^1428542-1 is not prime. Res64: B6BC4D449F6A58E4 Time : 0.0 sec. user=mdettweiler [2016-05-08 00:10:05] 911*2^1428542-1 is not prime. Res64: 0F357D8AE6899D5B Time : 0.0 sec. user=mdettweiler [2016-05-08 00:10:06] 953*2^1428542-1 is not prime. Res64: C87BBBCE47CF49A5 Time : 0.0 sec. user=mdettweiler [2016-05-08 00:10:06] 661*2^1428543-1 is not prime. Res64: EAC3EADDF897C734 Time : 0.0 sec. user=mdettweiler [2016-05-08 00:37:00] 705*2^1428543-1 is not prime. Res64: 33DA2FA11263E57F Time : 0.0 sec. user=mdettweiler [2016-05-08 00:37:00] 709*2^1428543-1 is not prime. Res64: 83A52E85132A2E08 Time : 0.0 sec. user=mdettweiler [2016-05-08 00:37:01] 769*2^1428543-1 is not prime. Res64: 787ABB20B7828BCC Time : 0.0 sec. user=mdettweiler [2016-05-08 00:37:01] 901*2^1428543-1 is not prime. Res64: 1501A4B3DDD5B1D8 Time : 0.0 sec. user=mdettweiler [2016-05-08 00:37:02] 921*2^1428543-1 is not prime. Res64: A5AC483ECEC6A394 Time : 0.0 sec. user=mdettweiler [2016-05-08 00:42:12] 991*2^1428543-1 is not prime. Res64: 24623AD0B8716AAB Time : 0.0 sec. user=mdettweiler [2016-05-08 00:42:12] 623*2^1428544-1 is not prime. Res64: 1E1926C899028919 Time : 0.0 sec. user=mdettweiler [2016-05-08 00:42:13] 657*2^1428544-1 is not prime. Res64: 4A2447466AE699E6 Time : 0.0 sec. user=mdettweiler [2016-05-08 00:42:13] 827*2^1428544-1 is not prime. Res64: 6D40D5FE7FDC68BD Time : 0.0 sec. user=mdettweiler [2016-05-08 00:42:14] 843*2^1428544-1 is not prime. Res64: E865BE0169F6090F Time : 0.0 sec. user=mdettweiler [2016-05-08 00:53:46] 965*2^1428544-1 is not prime. Res64: 51B13C72B44FE072 Time : 0.0 sec. user=mdettweiler [2016-05-08 00:53:47] 669*2^1428545-1 is not prime. Res64: 2093CA0EC21331EB Time : 0.0 sec. user=mdettweiler [2016-05-08 00:53:47] 697*2^1428545-1 is not prime. Res64: 8E5B96E66235ECDB Time : 0.0 sec. user=mdettweiler [2016-05-08 00:53:48] 775*2^1428545-1 is not prime. Res64: 6F8E46EAFD68ABDD Time : 0.0 sec. user=mdettweiler [2016-05-08 00:53:48] 811*2^1428545-1 is not prime. Res64: FF9A1B0ABEFB1187 Time : 0.0 sec. user=mdettweiler [2016-05-08 00:55:43] 855*2^1428545-1 is not prime. Res64: 8F1EC3B479D761C0 Time : 0.0 sec. user=mdettweiler [2016-05-08 00:55:44] 611*2^1428546-1 is not prime. Res64: F5E4656B7E109C12 Time : 0.0 sec. user=mdettweiler [2016-05-08 00:55:44] 705*2^1428546-1 is not prime. Res64: FFB0DFCC438D6395 Time : 0.0 sec. user=mdettweiler [2016-05-08 00:55:45] 807*2^1428546-1 is not prime. Res64: E2BE93335B159B63 Time : 0.0 sec. user=mdettweiler [2016-05-08 00:55:45] 821*2^1428546-1 is not prime. Res64: E02A231DE5EF6ABB Time : 0.0 sec. user=mdettweiler [2016-05-08 01:22:40] 825*2^1428546-1 is not prime. Res64: 78E8996D204E2EEF Time : 0.0 sec. user=mdettweiler [2016-05-08 01:22:40] 875*2^1428546-1 is not prime. Res64: 2C208221E04C4FFB Time : 0.0 sec. user=mdettweiler [2016-05-08 01:22:41] 891*2^1428546-1 is not prime. Res64: EB1A5BD45EE09CE0 Time : 0.0 sec. user=mdettweiler [2016-05-08 01:22:41] 917*2^1428546-1 is not prime. Res64: BB864F84BC5988C0 Time : 0.0 sec. user=mdettweiler [2016-05-08 01:22:42] 971*2^1428546-1 is not prime. Res64: CC090F248948A2F2 Time : 0.0 sec. user=mdettweiler [2016-05-08 01:27:49] 619*2^1428547-1 is not prime. Res64: C4BF073A5CC4E99E Time : 0.0 sec. user=mdettweiler [2016-05-08 01:27:50] 765*2^1428547-1 is not prime. Res64: D76ED340B2574BBB Time : 0.0 sec. user=mdettweiler [2016-05-08 01:27:51] 919*2^1428547-1 is not prime. Res64: 84C69FE973AE978E Time : 0.0 sec. user=mdettweiler [2016-05-08 01:27:51] 629*2^1428548-1 is not prime. Res64: 5F23FD9E878B1FAE Time : 0.0 sec. user=mdettweiler [2016-05-08 01:27:52] 635*2^1428548-1 is not prime. Res64: D9AE1F07B85AE52D Time : 0.0 sec. user=mdettweiler [2016-05-08 01:39:25] 677*2^1428548-1 is not prime. Res64: 540281D035CC52A2 Time : 0.0 sec. user=mdettweiler [2016-05-08 01:39:26] 885*2^1428548-1 is not prime. Res64: FC456629110F1487 Time : 0.0 sec. user=mdettweiler [2016-05-08 01:39:26] 959*2^1428548-1 is not prime. Res64: 0C639003DD12499E Time : 0.0 sec. user=mdettweiler [2016-05-08 01:39:27] 963*2^1428548-1 is not prime. Res64: 9B6D762551E34883 Time : 0.0 sec. user=mdettweiler [2016-05-08 01:39:27] 669*2^1428549-1 is not prime. Res64: 3DCE6378B9AFFBDA Time : 0.0 sec. user=mdettweiler [2016-05-08 01:41:11] 877*2^1428549-1 is not prime. Res64: E9573BC5002F10D4 Time : 0.0 sec. user=mdettweiler [2016-05-08 01:41:11] 885*2^1428549-1 is not prime. Res64: F57FFB6AD877475D Time : 0.0 sec. user=mdettweiler [2016-05-08 01:41:11] 891*2^1428549-1 is not prime. Res64: EF4C3148EC957CA2 Time : 0.0 sec. user=mdettweiler [2016-05-08 01:41:12] 997*2^1428549-1 is not prime. Res64: B3F563DDA6417D83 Time : 0.0 sec. user=mdettweiler [2016-05-08 01:41:12] 657*2^1428550-1 is not prime. Res64: 4DA5ADBE6357EE99 Time : 0.0 sec. user=mdettweiler [2016-05-08 02:08:59] 731*2^1428550-1 is not prime. Res64: C028A40DB6ADE779 Time : 0.0 sec. user=mdettweiler [2016-05-08 02:08:59] 741*2^1428550-1 is not prime. Res64: 397C1FA1DFE0CA8C Time : 0.0 sec. user=mdettweiler [2016-05-08 02:09:00] 827*2^1428550-1 is not prime. Res64: 91FEDEB2902D9ECF Time : 0.0 sec. user=mdettweiler [2016-05-08 02:09:00] 845*2^1428550-1 is not prime. Res64: CC4543F49A2D78C9 Time : 0.0 sec. user=mdettweiler [2016-05-08 02:09:01] 917*2^1428550-1 is not prime. Res64: 0A62BFA5B895D5D1 Time : 0.0 sec. user=mdettweiler [2016-05-08 02:14:09] 933*2^1428550-1 is not prime. Res64: 6BFBA7A324E4DBE0 Time : 0.0 sec. user=mdettweiler [2016-05-08 02:14:09] 965*2^1428550-1 is not prime. Res64: 64E1B927F77975E6 Time : 0.0 sec. user=mdettweiler [2016-05-08 02:14:10] 609*2^1428551-1 is not prime. Res64: A9736299C3194BC6 Time : 0.0 sec. user=mdettweiler [2016-05-08 02:14:10] 645*2^1428551-1 is not prime. Res64: 3E4616FA7A3BC8D5 Time : 0.0 sec. user=mdettweiler [2016-05-08 02:14:10] 673*2^1428551-1 is not prime. Res64: 90C51BE3B97CC573 Time : 0.0 sec. user=mdettweiler [2016-05-08 02:25:35] 741*2^1428551-1 is not prime. Res64: F9AB347D97187095 Time : 0.0 sec. user=mdettweiler [2016-05-08 02:25:35] 855*2^1428551-1 is not prime. Res64: 5DF54DE25C47D85C Time : 0.0 sec. user=mdettweiler [2016-05-08 02:25:35] 945*2^1428551-1 is not prime. Res64: F5B0D7707B5B4D50 Time : 0.0 sec. user=mdettweiler [2016-05-08 02:25:36] 605*2^1428552-1 is not prime. Res64: 7E67516D6FD15B13 Time : 0.0 sec. user=mdettweiler [2016-05-08 02:25:36] 699*2^1428552-1 is not prime. Res64: 272067A9D99C54AC Time : 0.0 sec. user=mdettweiler [2016-05-08 02:27:17] 803*2^1428552-1 is not prime. Res64: B2956EDDC54D769E Time : 0.0 sec. user=mdettweiler [2016-05-08 02:27:17] 819*2^1428552-1 is not prime. Res64: 9CE89A6047A06867 Time : 0.0 sec. user=mdettweiler [2016-05-08 02:27:18] 915*2^1428552-1 is not prime. Res64: A68BF790EBDF48D2 Time : 0.0 sec. user=mdettweiler [2016-05-08 02:27:18] 957*2^1428552-1 is not prime. Res64: 5645D2AB9A6B79B8 Time : 0.0 sec. user=mdettweiler [2016-05-08 02:27:18] 699*2^1428553-1 is not prime. Res64: AC62FE031DE73BB8 Time : 0.0 sec. user=mdettweiler [2016-05-08 02:54:38] 745*2^1428553-1 is not prime. Res64: 74FB82E40BF22B00 Time : 0.0 sec. user=mdettweiler [2016-05-08 02:54:39] 835*2^1428553-1 is not prime. Res64: 3D35470F8897E8AA Time : 0.0 sec. user=mdettweiler [2016-05-08 02:54:40] 955*2^1428553-1 is not prime. Res64: A99CFA2F9EA515D0 Time : 0.0 sec. user=mdettweiler [2016-05-08 02:54:41] 683*2^1428554-1 is not prime. Res64: D3E9EC86A6E8B678 Time : 0.0 sec. user=mdettweiler [2016-05-08 02:54:41] 707*2^1428554-1 is not prime. Res64: 7F12CB908A2E8BDE Time : 0.0 sec. user=mdettweiler [2016-05-08 02:59:46] 711*2^1428554-1 is not prime. Res64: 4ABB0E495314646D Time : 0.0 sec. user=mdettweiler [2016-05-08 02:59:47] 783*2^1428554-1 is not prime. Res64: 500C711AF906D1B4 Time : 0.0 sec. user=mdettweiler [2016-05-08 02:59:47] 831*2^1428554-1 is not prime. Res64: A71BBFF7D919547C Time : 0.0 sec. user=mdettweiler [2016-05-08 02:59:48] 885*2^1428554-1 is not prime. Res64: 48B96820508C6746 Time : 0.0 sec. user=mdettweiler [2016-05-08 02:59:48] 887*2^1428554-1 is not prime. Res64: D1CB7F1313DAB0DC Time : 0.0 sec. user=mdettweiler [2016-05-08 03:11:08] 923*2^1428554-1 is not prime. Res64: 5CBAF25BACA31D4A Time : 0.0 sec. user=mdettweiler [2016-05-08 03:11:08] 941*2^1428554-1 is not prime. Res64: 291BC9EB513B103D Time : 0.0 sec. user=mdettweiler [2016-05-08 03:11:09] 945*2^1428554-1 is not prime. Res64: 63C069E221F9DD66 Time : 0.0 sec. user=mdettweiler [2016-05-08 03:11:09] 625*2^1428555-1 is not prime. Res64: AD6AC3536BBC25DD Time : 0.0 sec. user=mdettweiler [2016-05-08 03:11:10] 735*2^1428555-1 is not prime. Res64: 9B6E2B7447B1A810 Time : 0.0 sec. user=mdettweiler [2016-05-08 03:12:55] 751*2^1428555-1 is not prime. Res64: B8600041F19DD0FD Time : 0.0 sec. user=mdettweiler [2016-05-08 03:12:55] 765*2^1428555-1 is not prime. Res64: FA009409F07E5CB2 Time : 0.0 sec. user=mdettweiler [2016-05-08 03:12:56] 783*2^1428555-1 is not prime. Res64: 58709F97C3E53C1B Time : 0.0 sec. user=mdettweiler [2016-05-08 03:12:56] 819*2^1428555-1 is not prime. Res64: 8CA90A29E21AFEFA Time : 0.0 sec. user=mdettweiler [2016-05-08 03:12:57] 949*2^1428555-1 is not prime. Res64: 8A5899267E9984AB Time : 0.0 sec. user=mdettweiler [2016-05-08 03:40:21] 699*2^1428556-1 is not prime. Res64: FA925A912014CE2D Time : 0.0 sec. user=mdettweiler [2016-05-08 03:40:22] 759*2^1428556-1 is not prime. Res64: 4B718CE035BA2002 Time : 0.0 sec. user=mdettweiler [2016-05-08 03:40:23] 845*2^1428556-1 is not prime. Res64: D6E2831AF99FE8BD Time : 0.0 sec. user=mdettweiler [2016-05-08 03:40:24] 909*2^1428556-1 is not prime. Res64: E99CEE038A28CBD2 Time : 0.0 sec. user=mdettweiler [2016-05-08 03:40:26] 983*2^1428556-1 is not prime. Res64: C1BEE64B4FE359EB Time : 0.0 sec. user=mdettweiler [2016-05-08 03:45:53] 607*2^1428557-1 is not prime. Res64: 971137D56B1E56B7 Time : 0.0 sec. user=mdettweiler [2016-05-08 03:45:56] 655*2^1428557-1 is not prime. Res64: BCAB5781CA8E4A41 Time : 0.0 sec. user=mdettweiler [2016-05-08 03:45:57] 669*2^1428557-1 is not prime. Res64: 91D23BB471E44885 Time : 0.0 sec. user=mdettweiler [2016-05-08 03:45:58] 747*2^1428557-1 is not prime. Res64: 87E947A02044185D Time : 0.0 sec. user=mdettweiler [2016-05-08 03:45:59] 847*2^1428557-1 is not prime. Res64: 53374B978F41B5BC Time : 0.0 sec. user=mdettweiler [2016-05-08 03:56:59] 861*2^1428557-1 is not prime. Res64: 24CE457BB98D3206 Time : 0.0 sec. user=mdettweiler [2016-05-08 03:57:00] 925*2^1428557-1 is not prime. Res64: 2F4381FBE5EAAFE6 Time : 0.0 sec. user=mdettweiler [2016-05-08 03:57:00] 927*2^1428557-1 is not prime. Res64: B743F3F9BC47766D Time : 0.0 sec. user=mdettweiler [2016-05-08 03:57:01] 957*2^1428557-1 is not prime. Res64: 4ED254F0BE5975FE Time : 0.0 sec. user=mdettweiler [2016-05-08 03:57:01] 611*2^1428558-1 is not prime. Res64: F9F13988F6EC4398 Time : 0.0 sec. user=mdettweiler [2016-05-08 03:58:39] 627*2^1428558-1 is not prime. Res64: 0037C3BF2985B22A Time : 0.0 sec. user=mdettweiler [2016-05-08 03:58:40] 861*2^1428558-1 is not prime. Res64: 89F2A7F1335D925F Time : 0.0 sec. user=mdettweiler [2016-05-08 03:58:40] 915*2^1428558-1 is not prime. Res64: 5FA5A7689D9E0DE6 Time : 0.0 sec. user=mdettweiler [2016-05-08 03:58:40] 977*2^1428558-1 is not prime. Res64: 3303D827656076DA Time : 0.0 sec. user=mdettweiler [2016-05-08 03:58:41] 601*2^1428559-1 is not prime. Res64: CC3DEA868630D7E7 Time : 0.0 sec. user=mdettweiler [2016-05-08 04:28:12] 625*2^1428559-1 is not prime. Res64: DCDB504ADE26B76F Time : 0.0 sec. user=mdettweiler [2016-05-08 04:28:12] 639*2^1428559-1 is not prime. Res64: 46C8C798385A1691 Time : 0.0 sec. user=mdettweiler [2016-05-08 04:28:12] 663*2^1428559-1 is not prime. Res64: B3F834569702A93A Time : 0.0 sec. user=mdettweiler [2016-05-08 04:28:13] 675*2^1428559-1 is not prime. Res64: B3CA5BC23B9AF3E5 Time : 0.0 sec. user=mdettweiler [2016-05-08 04:28:13] 729*2^1428559-1 is not prime. Res64: BE687A1AC395B6C1 Time : 0.0 sec. user=mdettweiler [2016-05-08 04:33:13] 745*2^1428559-1 is not prime. Res64: 607B17B79EA29E9B Time : 0.0 sec. user=mdettweiler [2016-05-08 04:33:14] 789*2^1428559-1 is not prime. Res64: 421073199F8452FA Time : 0.0 sec. user=mdettweiler [2016-05-08 04:33:14] 811*2^1428559-1 is not prime. Res64: 597DE408EA7815C2 Time : 0.0 sec. user=mdettweiler [2016-05-08 04:33:14] 873*2^1428559-1 is not prime. Res64: 7F3FAC14B0111E2A Time : 0.0 sec. user=mdettweiler [2016-05-08 04:33:15] 919*2^1428559-1 is not prime. Res64: 6FE2CBF1292A2F9C Time : 0.0 sec. user=mdettweiler [2016-05-08 04:45:03] 999*2^1428559-1 is not prime. Res64: 94DF610920BB6D5C Time : 0.0 sec. user=mdettweiler [2016-05-08 04:45:04] 735*2^1428560-1 is not prime. Res64: 00D2E89461480DED Time : 0.0 sec. user=mdettweiler [2016-05-08 04:45:04] 747*2^1428560-1 is not prime. Res64: 06BCCA766308C44C Time : 0.0 sec. user=mdettweiler [2016-05-08 04:45:04] 797*2^1428560-1 is not prime. Res64: 9C01633F7BD08893 Time : 0.0 sec. user=mdettweiler [2016-05-08 04:45:05] 819*2^1428560-1 is not prime. Res64: E51C78FC22BD8AE4 Time : 0.0 sec. user=mdettweiler [2016-05-08 04:46:19] 927*2^1428560-1 is not prime. Res64: 866AA213EC0E31D7 Time : 0.0 sec. user=mdettweiler [2016-05-08 04:46:19] 625*2^1428561-1 is not prime. Res64: AA209485770198CB Time : 0.0 sec. user=mdettweiler [2016-05-08 04:46:20] 819*2^1428561-1 is not prime. Res64: 9D2EE6AFAAFBB905 Time : 0.0 sec. user=mdettweiler [2016-05-08 04:46:20] 867*2^1428561-1 is not prime. Res64: 5460A304A5A7E86A Time : 0.0 sec. user=mdettweiler [2016-05-08 04:46:21] 889*2^1428561-1 is not prime. Res64: A068A186E6518495 Time : 0.0 sec. user=mdettweiler [2016-05-08 05:14:48] 975*2^1428561-1 is not prime. Res64: D263A01AFEC0BD20 Time : 0.0 sec. user=mdettweiler [2016-05-08 05:14:49] 671*2^1428562-1 is not prime. Res64: 80C39EC759C0051C Time : 0.0 sec. user=mdettweiler [2016-05-08 05:14:49] 791*2^1428562-1 is not prime. Res64: 23266A55F5045374 Time : 0.0 sec. user=mdettweiler [2016-05-08 05:14:50] 801*2^1428562-1 is not prime. Res64: 022194455A5312F4 Time : 0.0 sec. user=mdettweiler [2016-05-08 05:14:50] 975*2^1428562-1 is not prime. Res64: 0DA876A6C6DE5303 Time : 0.0 sec. user=mdettweiler [2016-05-08 05:19:33] 983*2^1428562-1 is not prime. Res64: 5A71CEAF0A9EBCEF Time : 0.0 sec. user=mdettweiler [2016-05-08 05:19:33] 609*2^1428563-1 is not prime. Res64: D78BADF9CB948E39 Time : 0.0 sec. user=mdettweiler [2016-05-08 05:19:33] 615*2^1428563-1 is not prime. Res64: C28218488B9202A8 Time : 0.0 sec. user=mdettweiler [2016-05-08 05:19:34] 621*2^1428563-1 is not prime. Res64: 34B22E7A3D6DDB88 Time : 0.0 sec. user=mdettweiler [2016-05-08 05:19:34] 753*2^1428563-1 is not prime. Res64: A2BF540150E96793 Time : 0.0 sec. user=mdettweiler [2016-05-08 05:31:00] 819*2^1428563-1 is not prime. Res64: 46F42DDDF61FA58E Time : 0.0 sec. user=mdettweiler [2016-05-08 05:31:00] 859*2^1428563-1 is not prime. Res64: 21BAFA71B96CB646 Time : 0.0 sec. user=mdettweiler [2016-05-08 05:31:01] 963*2^1428563-1 is not prime. Res64: 4B421CBC97598367 Time : 0.0 sec. user=mdettweiler [2016-05-08 05:31:01] 627*2^1428564-1 is not prime. Res64: 86D836FE4673BDDD Time : 0.0 sec. user=mdettweiler [2016-05-08 05:31:01] 725*2^1428564-1 is not prime. Res64: 2421AEB82C4782B9 Time : 0.0 sec. user=mdettweiler [2016-05-08 05:32:05] 959*2^1428564-1 is not prime. Res64: 25B0F7987108EF61 Time : 0.0 sec. user=mdettweiler [2016-05-08 05:32:06] 975*2^1428564-1 is not prime. Res64: FF2AEF238C99B25A Time : 0.0 sec. user=mdettweiler [2016-05-08 05:32:06] 609*2^1428565-1 is not prime. Res64: 37D3A6666A072CA6 Time : 0.0 sec. user=mdettweiler [2016-05-08 05:32:06] 667*2^1428565-1 is not prime. Res64: E3C2D14C7B018C02 Time : 0.0 sec. user=mdettweiler [2016-05-08 05:32:07] 729*2^1428565-1 is not prime. Res64: 594CAB83A53C332D Time : 0.0 sec. user=mdettweiler [2016-05-08 06:00:31] 741*2^1428565-1 is not prime. Res64: FD021133C1C21666 Time : 0.0 sec. user=mdettweiler [2016-05-08 06:00:32] 759*2^1428565-1 is not prime. Res64: 39CA2F5F39D04E02 Time : 0.0 sec. user=mdettweiler [2016-05-08 06:00:32] 799*2^1428565-1 is not prime. Res64: B71214874E0590A3 Time : 0.0 sec. user=mdettweiler [2016-05-08 06:00:33] 871*2^1428565-1 is not prime. Res64: 4E279B792D0B29F6 Time : 0.0 sec. user=mdettweiler [2016-05-08 06:00:34] 889*2^1428565-1 is not prime. Res64: 318AFCB2AB8E25BC Time : 0.0 sec. user=mdettweiler [2016-05-08 06:05:14] 897*2^1428565-1 is not prime. Res64: FD3C9E9E9AE2DEA6 Time : 0.0 sec. user=mdettweiler [2016-05-08 06:05:15] 939*2^1428565-1 is not prime. Res64: 9998E8C008C584C3 Time : 0.0 sec. user=mdettweiler [2016-05-08 06:05:16] 997*2^1428565-1 is not prime. Res64: 082377C5B4D741A8 Time : 0.0 sec. user=mdettweiler [2016-05-08 06:05:17] 675*2^1428566-1 is not prime. Res64: 12C0F8A500796282 Time : 0.0 sec. user=mdettweiler [2016-05-08 06:05:17] 693*2^1428566-1 is not prime. Res64: 43DC9878E9121302 Time : 0.0 sec. user=mdettweiler [2016-05-08 06:16:33] 785*2^1428566-1 is not prime. Res64: F21C44F84C6ED2D3 Time : 0.0 sec. user=mdettweiler [2016-05-08 06:16:34] 893*2^1428566-1 is not prime. Res64: D3C40EDD87E43990 Time : 0.0 sec. user=mdettweiler [2016-05-08 06:16:34] 935*2^1428566-1 is not prime. Res64: 66D8AE938A83817A Time : 0.0 sec. user=mdettweiler [2016-05-08 06:16:34] 941*2^1428566-1 is not prime. Res64: E5DD5298545D7AA5 Time : 0.0 sec. user=mdettweiler [2016-05-08 06:16:35] 1001*2^1428566-1 is not prime. Res64: 2357EE68B227E3BF Time : 0.0 sec. user=mdettweiler [2016-05-08 06:17:54] 693*2^1428567-1 is not prime. Res64: 5F7F1D341A8A3088 Time : 0.0 sec. user=mdettweiler [2016-05-08 06:17:54] 793*2^1428567-1 is not prime. Res64: 2EF65D981E5FC05D Time : 0.0 sec. user=mdettweiler [2016-05-08 06:17:55] 831*2^1428567-1 is not prime. Res64: 888DC2ECAA3488B0 Time : 0.0 sec. user=mdettweiler [2016-05-08 06:17:55] 961*2^1428567-1 is not prime. Res64: E30A8B61F6FE01CD Time : 0.0 sec. user=mdettweiler [2016-05-08 06:17:55] 629*2^1428568-1 is not prime. Res64: 05152CC30BABC8E7 Time : 0.0 sec. user=mdettweiler [2016-05-08 06:46:10] 845*2^1428568-1 is not prime. Res64: CCACF30C39044421 Time : 0.0 sec. user=mdettweiler [2016-05-08 06:46:10] 915*2^1428568-1 is not prime. Res64: AD8044428095020A Time : 0.0 sec. user=mdettweiler [2016-05-08 06:46:10] 933*2^1428568-1 is not prime. Res64: F87FA05F949CD97D Time : 0.0 sec. user=mdettweiler [2016-05-08 06:46:11] 679*2^1428569-1 is not prime. Res64: 965E66C998E4E9AC Time : 0.0 sec. user=mdettweiler [2016-05-08 06:46:11] 727*2^1428569-1 is not prime. Res64: 73951DE61A06CD4E Time : 0.0 sec. user=mdettweiler [2016-05-08 06:50:38] 735*2^1428569-1 is not prime. Res64: C1854333C5C00BB1 Time : 0.0 sec. user=mdettweiler [2016-05-08 06:50:38] 795*2^1428569-1 is not prime. Res64: A70F3AB07BE7C19F Time : 0.0 sec. user=mdettweiler [2016-05-08 06:50:38] 829*2^1428569-1 is not prime. Res64: FEA189C2C6F37AE3 Time : 0.0 sec. user=mdettweiler [2016-05-08 06:50:39] 837*2^1428569-1 is not prime. Res64: 87102380C2B9E86B Time : 0.0 sec. user=mdettweiler [2016-05-08 06:50:39] 909*2^1428569-1 is not prime. Res64: 068EDA569734FAA4 Time : 0.0 sec. user=mdettweiler [2016-05-08 07:02:01] 987*2^1428569-1 is not prime. Res64: 81EB72F20CA489B3 Time : 0.0 sec. user=mdettweiler [2016-05-08 07:02:02] 725*2^1428570-1 is not prime. Res64: 4669237E43E90A9F Time : 0.0 sec. user=mdettweiler [2016-05-08 07:02:03] 917*2^1428570-1 is not prime. Res64: 1E4A926BE7D971D9 Time : 0.0 sec. user=mdettweiler [2016-05-08 07:02:04] 927*2^1428570-1 is not prime. Res64: B734C2D4CC8CCEAD Time : 0.0 sec. user=mdettweiler [2016-05-08 07:02:04] 971*2^1428570-1 is not prime. Res64: 883382862DF39E1C Time : 0.0 sec. user=mdettweiler [2016-05-08 07:03:20] 615*2^1428571-1 is not prime. Res64: BB56F82DF78A62BB Time : 0.0 sec. user=mdettweiler [2016-05-08 07:03:21] 663*2^1428571-1 is not prime. Res64: 3B7AFA74B727C8C1 Time : 0.0 sec. user=mdettweiler [2016-05-08 07:03:23] 709*2^1428571-1 is not prime. Res64: 15A17A950FF744C5 Time : 0.0 sec. user=mdettweiler [2016-05-08 07:03:25] 769*2^1428571-1 is not prime. Res64: 36AC2331F11CD250 Time : 0.0 sec. user=mdettweiler [2016-05-08 07:03:27] 895*2^1428571-1 is not prime. Res64: 10F6DEB135F69626 Time : 0.0 sec. user=mdettweiler [2016-05-08 07:31:31] 969*2^1428571-1 is not prime. Res64: 48F67D99B9FDBD79 Time : 0.0 sec. user=mdettweiler [2016-05-08 07:31:31] 973*2^1428571-1 is not prime. Res64: EE57A2D3817A5561 Time : 0.0 sec. user=mdettweiler [2016-05-08 07:31:32] 617*2^1428572-1 is not prime. Res64: 2AEC5FD1A84A2607 Time : 0.0 sec. user=mdettweiler [2016-05-08 07:31:32] 669*2^1428572-1 is not prime. Res64: 11C2DBAC3DF79C69 Time : 0.0 sec. user=mdettweiler [2016-05-08 07:31:32] 945*2^1428572-1 is not prime. Res64: E7724AD2A705FDC3 Time : 0.0 sec. user=mdettweiler [2016-05-08 07:36:08] 679*2^1428573-1 is not prime. Res64: 768F25AD53DA66B1 Time : 0.0 sec. user=mdettweiler [2016-05-08 07:36:09] 765*2^1428573-1 is not prime. Res64: 9FABC6BC1D8496AF Time : 0.0 sec. user=mdettweiler [2016-05-08 07:36:09] 811*2^1428573-1 is not prime. Res64: FFD16D7E4EEF7663 Time : 0.0 sec. user=mdettweiler [2016-05-08 07:36:09] 817*2^1428573-1 is not prime. Res64: E8150881127EFFA3 Time : 0.0 sec. user=mdettweiler [2016-05-08 07:36:10] 871*2^1428573-1 is not prime. Res64: 73682F7F859F1C63 Time : 0.0 sec. user=mdettweiler [2016-05-08 07:47:41] 617*2^1428574-1 is not prime. Res64: FBB25A0CF9A50944 Time : 0.0 sec. user=mdettweiler [2016-05-08 07:47:42] 723*2^1428574-1 is not prime. Res64: 7ABE79F5930300BB Time : 0.0 sec. user=mdettweiler [2016-05-08 07:47:42] 741*2^1428574-1 is not prime. Res64: F08FDF7410C1B781 Time : 0.0 sec. user=mdettweiler [2016-05-08 07:47:42] 765*2^1428574-1 is not prime. Res64: CA3AD5DDE7DBE828 Time : 0.0 sec. user=mdettweiler [2016-05-08 07:47:43] 815*2^1428574-1 is not prime. Res64: 0EAC4E93416893A8 Time : 0.0 sec. user=mdettweiler [2016-05-08 07:49:09] 863*2^1428574-1 is not prime. Res64: C7D4BA9076629B19 Time : 0.0 sec. user=mdettweiler [2016-05-08 07:49:10] 915*2^1428574-1 is not prime. Res64: 07BA80FE0CEFCE66 Time : 0.0 sec. user=mdettweiler [2016-05-08 07:49:10] 945*2^1428574-1 is not prime. Res64: 84D0D11FB79CD867 Time : 0.0 sec. user=mdettweiler [2016-05-08 07:49:11] 987*2^1428574-1 is not prime. Res64: A10F28C3570E49F9 Time : 0.0 sec. user=mdettweiler [2016-05-08 07:49:11] 663*2^1428575-1 is not prime. Res64: 87EE964B0595BA2C Time : 0.0 sec. user=mdettweiler [2016-05-08 08:16:45] 831*2^1428575-1 is not prime. Res64: 2F4F988C7E20630C Time : 0.0 sec. user=mdettweiler [2016-05-08 08:16:45] 861*2^1428575-1 is not prime. Res64: 9BD4A56CAA1B4591 Time : 0.0 sec. user=mdettweiler [2016-05-08 08:16:46] 909*2^1428575-1 is not prime. Res64: 453F6E567ED86163 Time : 0.0 sec. user=mdettweiler [2016-05-08 08:16:46] 943*2^1428575-1 is not prime. Res64: C341DE4C2C5E584E Time : 0.0 sec. user=mdettweiler [2016-05-08 08:16:47] 963*2^1428575-1 is not prime. Res64: 0C0FACCB98D788D6 Time : 0.0 sec. user=mdettweiler [2016-05-08 08:21:36] 973*2^1428575-1 is not prime. Res64: 777BE71D4F87CBCE Time : 0.0 sec. user=mdettweiler [2016-05-08 08:21:36] 999*2^1428575-1 is not prime. Res64: E0D4E7E9D61AA9FB Time : 0.0 sec. user=mdettweiler [2016-05-08 08:21:37] 609*2^1428576-1 is not prime. Res64: 9B54F8E8B8F8F8DC Time : 0.0 sec. user=mdettweiler [2016-05-08 08:21:37] 719*2^1428576-1 is not prime. Res64: 518017B89558CF16 Time : 0.0 sec. user=mdettweiler [2016-05-08 08:21:37] 737*2^1428576-1 is not prime. Res64: 7A8CE49CF2A9F617 Time : 0.0 sec. user=mdettweiler [2016-05-08 08:33:20] 917*2^1428576-1 is not prime. Res64: EBEFBE26E7D22023 Time : 0.0 sec. user=mdettweiler [2016-05-08 08:33:21] 927*2^1428576-1 is not prime. Res64: 0D14BEE1CE2BAA39 Time : 0.0 sec. user=mdettweiler [2016-05-08 08:33:21] 939*2^1428577-1 is not prime. Res64: 2B2C645514979D68 Time : 0.0 sec. user=mdettweiler [2016-05-08 08:33:21] 945*2^1428577-1 is not prime. Res64: 93813894DD656640 Time : 0.0 sec. user=mdettweiler [2016-05-08 08:33:22] 605*2^1428578-1 is not prime. Res64: 29C486CC89A7A9C9 Time : 0.0 sec. user=mdettweiler [2016-05-08 08:34:43] 747*2^1428578-1 is not prime. Res64: 391A5D863C296633 Time : 0.0 sec. user=mdettweiler [2016-05-08 08:34:44] 945*2^1428578-1 is not prime. Res64: 999AA975F33E8AF5 Time : 0.0 sec. user=mdettweiler [2016-05-08 08:34:44] 963*2^1428578-1 is not prime. Res64: 0A4BDF5FA43B4655 Time : 0.0 sec. user=mdettweiler [2016-05-08 08:34:44] 633*2^1428579-1 is not prime. Res64: C9D34FD3A2D403BA Time : 0.0 sec. user=mdettweiler [2016-05-08 08:34:45] 973*2^1428579-1 is not prime. Res64: 519BADAFE6C54641 Time : 0.0 sec. user=mdettweiler [2016-05-08 09:02:32] 723*2^1428580-1 is not prime. Res64: 12982703F7424780 Time : 0.0 sec. user=mdettweiler [2016-05-08 09:02:33] 735*2^1428580-1 is not prime. Res64: 04BAC3B33FD5D796 Time : 0.0 sec. user=mdettweiler [2016-05-08 09:02:34] 819*2^1428580-1 is not prime. Res64: 3B5087CE01BFB4A1 Time : 0.0 sec. user=mdettweiler [2016-05-08 09:02:35] 855*2^1428580-1 is not prime. Res64: 8E2624ED019FEA44 Time : 0.0 sec. user=mdettweiler [2016-05-08 09:02:35] 965*2^1428580-1 is not prime. Res64: 06202C5ADD0205BE Time : 0.0 sec. user=mdettweiler [2016-05-08 09:07:18] 627*2^1428581-1 is not prime. Res64: 5DE5E6D90013D997 Time : 0.0 sec. user=mdettweiler [2016-05-08 09:07:18] 651*2^1428581-1 is not prime. Res64: ED3917528DB2576A Time : 0.0 sec. user=mdettweiler [2016-05-08 09:07:18] 657*2^1428581-1 is not prime. Res64: 68B4D5A6825B5DEC Time : 0.0 sec. user=mdettweiler [2016-05-08 09:07:19] 727*2^1428581-1 is not prime. Res64: 5F363D34D7AB3E50 Time : 0.0 sec. user=mdettweiler [2016-05-08 09:07:19] 735*2^1428581-1 is not prime. Res64: 861260A6AD6F329A Time : 0.0 sec. user=mdettweiler [2016-05-08 09:19:06] 745*2^1428581-1 is not prime. Res64: 0C8E9BCABCF45829 Time : 0.0 sec. user=mdettweiler [2016-05-08 09:19:06] 775*2^1428581-1 is not prime. Res64: CF5DBDED71B7D186 Time : 0.0 sec. user=mdettweiler [2016-05-08 09:19:07] 889*2^1428581-1 is not prime. Res64: CDCACCC630E9C75E Time : 0.0 sec. user=mdettweiler [2016-05-08 09:19:07] 955*2^1428581-1 is not prime. Res64: 06157D9C46517254 Time : 0.0 sec. user=mdettweiler [2016-05-08 09:19:07] 957*2^1428581-1 is not prime. Res64: D8948A5B84025E0E Time : 0.0 sec. user=mdettweiler [2016-05-08 09:20:32] 987*2^1428581-1 is not prime. Res64: 6D0483D806045D8D Time : 0.0 sec. user=mdettweiler [2016-05-08 09:20:32] 621*2^1428582-1 is not prime. Res64: F162F5B516548361 Time : 0.0 sec. user=mdettweiler [2016-05-08 09:20:32] 791*2^1428582-1 is not prime. Res64: C221A8DFD32FCA24 Time : 0.0 sec. user=mdettweiler [2016-05-08 09:20:33] 887*2^1428582-1 is not prime. Res64: A3ACD35F0A009589 Time : 0.0 sec. user=mdettweiler [2016-05-08 09:20:33] 903*2^1428582-1 is not prime. Res64: D0D01B74CC9CC031 Time : 0.0 sec. user=mdettweiler [2016-05-08 09:47:59] 977*2^1428582-1 is not prime. Res64: 8DAAAC1835EACD86 Time : 0.0 sec. user=mdettweiler [2016-05-08 09:47:59] 609*2^1428583-1 is not prime. Res64: AC10340EE1EAB1A2 Time : 0.0 sec. user=mdettweiler [2016-05-08 09:47:59] 633*2^1428583-1 is not prime. Res64: 0ED4AFE1D319605D Time : 0.0 sec. user=mdettweiler [2016-05-08 09:48:00] 639*2^1428583-1 is not prime. Res64: D6CC7C4C868BCC97 Time : 0.0 sec. user=mdettweiler [2016-05-08 09:48:00] 649*2^1428583-1 is not prime. Res64: 11AF1C78EB5E093C Time : 0.0 sec. user=mdettweiler [2016-05-08 09:52:57] 685*2^1428583-1 is not prime. Res64: 50320AE4455C6AE9 Time : 0.0 sec. user=mdettweiler [2016-05-08 09:52:57] 855*2^1428583-1 is not prime. Res64: A0D91FEC88B20907 Time : 0.0 sec. user=mdettweiler [2016-05-08 09:52:57] 939*2^1428583-1 is not prime. Res64: 7701BD72CECE4FF7 Time : 0.0 sec. user=mdettweiler [2016-05-08 09:52:58] 659*2^1428584-1 is not prime. Res64: 17748FFBF82BA31B Time : 0.0 sec. user=mdettweiler [2016-05-08 09:52:58] 677*2^1428584-1 is not prime. Res64: AEF5F6BFE45C0087 Time : 0.0 sec. user=mdettweiler [2016-05-08 10:04:44] 687*2^1428584-1 is not prime. Res64: 4A7E33BA0F5AEEAD Time : 0.0 sec. user=mdettweiler [2016-05-08 10:04:46] 725*2^1428584-1 is not prime. Res64: 9D28826BD436B954 Time : 0.0 sec. user=mdettweiler [2016-05-08 10:04:47] 843*2^1428584-1 is not prime. Res64: 126382800678BA21 Time : 0.0 sec. user=mdettweiler [2016-05-08 10:04:48] 875*2^1428584-1 is not prime. Res64: 7F41F36763A3325D Time : 0.0 sec. user=mdettweiler [2016-05-08 10:04:49] 929*2^1428584-1 is not prime. Res64: 946302914E5A7498 Time : 0.0 sec. user=mdettweiler [2016-05-08 10:06:07] 607*2^1428585-1 is not prime. Res64: 2DB13D0B4C4E31FA Time : 0.0 sec. user=mdettweiler [2016-05-08 10:06:07] 667*2^1428585-1 is not prime. Res64: D87ECC54A8797014 Time : 0.0 sec. user=mdettweiler [2016-05-08 10:06:08] 685*2^1428585-1 is not prime. Res64: 3697FCAAC89B4247 Time : 0.0 sec. user=mdettweiler [2016-05-08 10:06:08] 691*2^1428585-1 is not prime. Res64: C930710BC942F6C2 Time : 0.0 sec. user=mdettweiler [2016-05-08 10:06:09] 721*2^1428585-1 is not prime. Res64: 3295061B3A922AA2 Time : 0.0 sec. user=mdettweiler [2016-05-08 10:33:18] 781*2^1428585-1 is not prime. Res64: 44A055806CF5AD17 Time : 0.0 sec. user=mdettweiler [2016-05-08 10:33:19] 861*2^1428585-1 is not prime. Res64: B99083820D2B54EB Time : 0.0 sec. user=mdettweiler [2016-05-08 10:33:19] 873*2^1428586-1 is not prime. Res64: B1D9A850D6D23084 Time : 0.0 sec. user=mdettweiler [2016-05-08 10:33:20] 881*2^1428586-1 is not prime. Res64: 9C99AEF9673BBBA4 Time : 0.0 sec. user=mdettweiler [2016-05-08 10:33:20] 945*2^1428586-1 is not prime. Res64: B4BF392E0D0E34FC Time : 0.0 sec. user=mdettweiler [2016-05-08 10:38:36] 957*2^1428586-1 is not prime. Res64: 4FF4CC70711411C3 Time : 0.0 sec. user=mdettweiler [2016-05-08 10:38:36] 987*2^1428586-1 is not prime. Res64: 811FA162D432FC28 Time : 0.0 sec. user=mdettweiler [2016-05-08 10:38:37] 643*2^1428587-1 is not prime. Res64: D083E33B99ED7007 Time : 0.0 sec. user=mdettweiler [2016-05-08 10:38:37] 909*2^1428587-1 is not prime. Res64: D21CC9C944B1339E Time : 0.0 sec. user=mdettweiler [2016-05-08 10:38:38] 963*2^1428587-1 is not prime. Res64: 84958DF51C7DE069 Time : 0.0 sec. user=mdettweiler [2016-05-08 10:50:32] 979*2^1428587-1 is not prime. Res64: 1D693BC6F5431674 Time : 0.0 sec. user=mdettweiler [2016-05-08 10:50:33] 985*2^1428587-1 is not prime. Res64: 7A9E3CD3C6EDAC72 Time : 0.0 sec. user=mdettweiler [2016-05-08 10:50:33] 915*2^1428588-1 is not prime. Res64: 10B7364EBB063B8C Time : 0.0 sec. user=mdettweiler [2016-05-08 10:50:33] 975*2^1428588-1 is not prime. Res64: 70F4E57EE372A305 Time : 0.0 sec. user=mdettweiler [2016-05-08 10:50:34] 775*2^1428589-1 is not prime. Res64: F86E9F733CD090C6 Time : 0.0 sec. user=mdettweiler [2016-05-08 10:51:32] 819*2^1428589-1 is not prime. Res64: 7ECB0F23F7320134 Time : 0.0 sec. user=mdettweiler [2016-05-08 10:51:33] 861*2^1428589-1 is not prime. Res64: 945E32C70ED1E775 Time : 0.0 sec. user=mdettweiler [2016-05-08 10:51:33] 931*2^1428589-1 is not prime. Res64: 5208CF1D76B9D8A8 Time : 0.0 sec. user=mdettweiler [2016-05-08 10:51:34] 645*2^1428590-1 is not prime. Res64: EB491AB8B0E041E5 Time : 0.0 sec. user=mdettweiler [2016-05-08 10:51:34] 743*2^1428590-1 is not prime. Res64: 83F25523C50CC064 Time : 0.0 sec. user=mdettweiler [2016-05-08 11:19:09] 897*2^1428590-1 is not prime. Res64: D42798CCC4E94A52 Time : 0.0 sec. user=mdettweiler [2016-05-08 11:19:09] 977*2^1428590-1 is not prime. Res64: 69AB2C6EE478B1CF Time : 0.0 sec. user=mdettweiler [2016-05-08 11:19:10] 619*2^1428591-1 is not prime. Res64: D5CD5402CB6416F4 Time : 0.0 sec. user=mdettweiler [2016-05-08 11:19:10] 693*2^1428591-1 is not prime. Res64: 6854B871D84D604F Time : 0.0 sec. user=mdettweiler [2016-05-08 11:19:10] 711*2^1428591-1 is not prime. Res64: BA2C9C93FD781784 Time : 0.0 sec. user=mdettweiler [2016-05-08 11:24:20] 745*2^1428591-1 is not prime. Res64: A80B851FDCFCAA3B Time : 0.0 sec. user=mdettweiler [2016-05-08 11:24:21] 769*2^1428591-1 is not prime. Res64: E1E3EED3A278FBB2 Time : 0.0 sec. user=mdettweiler [2016-05-08 11:24:21] 789*2^1428591-1 is not prime. Res64: 8F9B6310338B30C8 Time : 0.0 sec. user=mdettweiler [2016-05-08 11:24:22] 869*2^1428592-1 is not prime. Res64: 3507B581739B542E Time : 0.0 sec. user=mdettweiler [2016-05-08 11:24:22] 915*2^1428592-1 is not prime. Res64: B098AE39CBF46A5B Time : 0.0 sec. user=mdettweiler [2016-05-08 11:36:24] 989*2^1428592-1 is not prime. Res64: 4BCD7C66D2C750B7 Time : 0.0 sec. user=mdettweiler [2016-05-08 11:36:24] 607*2^1428593-1 is not prime. Res64: 88717FC38C4B2A0C Time : 0.0 sec. user=mdettweiler [2016-05-08 11:36:24] 747*2^1428593-1 is not prime. Res64: C2CBF8F2A37D76C7 Time : 0.0 sec. user=mdettweiler [2016-05-08 11:36:25] 781*2^1428593-1 is not prime. Res64: CF6DAAB7B1F1FCE5 Time : 0.0 sec. user=mdettweiler [2016-05-08 11:36:25] 789*2^1428593-1 is not prime. Res64: ED351D0B1D760F89 Time : 0.0 sec. user=mdettweiler [2016-05-08 11:37:09] 867*2^1428593-1 is not prime. Res64: 8490B88043C94DFA Time : 0.0 sec. user=mdettweiler [2016-05-08 11:37:10] 987*2^1428593-1 is not prime. Res64: 49D6D3A06517D535 Time : 0.0 sec. user=mdettweiler [2016-05-08 11:37:10] 791*2^1428594-1 is not prime. Res64: 105493C94B9843A4 Time : 0.0 sec. user=mdettweiler [2016-05-08 11:37:10] 983*2^1428594-1 is not prime. Res64: 6519B79D23C11EDD Time : 0.0 sec. user=mdettweiler [2016-05-08 11:37:11] 735*2^1428595-1 is not prime. Res64: E63CA6D847A8FA3B Time : 0.0 sec. user=mdettweiler [2016-05-08 12:04:57] 951*2^1428595-1 is not prime. Res64: 7F49468D4C88BDA7 Time : 0.0 sec. user=mdettweiler [2016-05-08 12:04:58] 961*2^1428595-1 is not prime. Res64: 52BFA6318D1F8042 Time : 0.0 sec. user=mdettweiler [2016-05-08 12:04:59] 873*2^1428596-1 is not prime. Res64: 8C8A966B7A1159E5 Time : 0.0 sec. user=mdettweiler [2016-05-08 12:05:00] 935*2^1428596-1 is not prime. Res64: 7B8C9BA997952908 Time : 0.0 sec. user=mdettweiler [2016-05-08 12:05:01] 885*2^1428597-1 is not prime. Res64: 3376899303BCE5C7 Time : 0.0 sec. user=mdettweiler [2016-05-08 12:09:57] 895*2^1428597-1 is not prime. Res64: DBC04D58EAFACCF7 Time : 0.0 sec. user=mdettweiler [2016-05-08 12:09:58] 901*2^1428597-1 is not prime. Res64: 89DC103FE3116832 Time : 0.0 sec. user=mdettweiler [2016-05-08 12:09:58] 937*2^1428597-1 is not prime. Res64: EBF096EA67CA00D6 Time : 0.0 sec. user=mdettweiler [2016-05-08 12:09:59] 677*2^1428598-1 is not prime. Res64: E85449C48AC73D28 Time : 0.0 sec. user=mdettweiler [2016-05-08 12:09:59] 695*2^1428598-1 is not prime. Res64: 417E35F69E04646A Time : 0.0 sec. user=mdettweiler [2016-05-08 12:22:12] 815*2^1428598-1 is not prime. Res64: 33AD0918D8E89B57 Time : 0.0 sec. user=mdettweiler [2016-05-08 12:22:12] 915*2^1428598-1 is not prime. Res64: 697AC2EFB4000752 Time : 0.0 sec. user=mdettweiler [2016-05-08 12:22:13] 957*2^1428598-1 is not prime. Res64: BEB197B5A40189B2 Time : 0.0 sec. user=mdettweiler [2016-05-08 12:22:13] 971*2^1428598-1 is not prime. Res64: 6D4B8FCB098B1A71 Time : 0.0 sec. user=mdettweiler [2016-05-08 12:22:13] 993*2^1428598-1 is not prime. Res64: E542AC25416B4D3A Time : 0.0 sec. user=mdettweiler [2016-05-08 12:22:58] 663*2^1428599-1 is not prime. Res64: 24D205BAC4FB0A74 Time : 0.0 sec. user=mdettweiler [2016-05-08 12:22:58] 789*2^1428599-1 is not prime. Res64: 988468A07BFA6CA4 Time : 0.0 sec. user=mdettweiler [2016-05-08 12:22:59] 955*2^1428599-1 is not prime. Res64: 47C2C510256C1AD3 Time : 0.0 sec. user=mdettweiler [2016-05-08 12:22:59] 623*2^1428600-1 is not prime. Res64: 8524C0309C9595FA Time : 0.0 sec. user=mdettweiler [2016-05-08 12:22:59] 915*2^1428600-1 is not prime. Res64: FEC4A2EB570ED556 Time : 0.0 sec. user=mdettweiler [2016-05-08 12:50:44] 927*2^1428600-1 is not prime. Res64: 6C491EE235954FDF Time : 0.0 sec. user=mdettweiler [2016-05-08 12:50:44] 975*2^1428600-1 is not prime. Res64: 58DE250A23DC959F Time : 0.0 sec. user=mdettweiler [2016-05-08 12:50:45] 687*2^1428601-1 is not prime. Res64: 13331EE6A5814AF8 Time : 0.0 sec. user=mdettweiler [2016-05-08 12:50:45] 889*2^1428601-1 is not prime. Res64: 71AA187C2321522C Time : 0.0 sec. user=mdettweiler [2016-05-08 12:50:45] 931*2^1428601-1 is not prime. Res64: E51C66E7D0EFD953 Time : 0.0 sec. user=mdettweiler [2016-05-08 12:55:38] 987*2^1428601-1 is not prime. Res64: 9AB896C4432869A0 Time : 0.0 sec. user=mdettweiler [2016-05-08 12:55:38] 997*2^1428601-1 is not prime. Res64: 53B17A88A7E8CF49 Time : 0.0 sec. user=mdettweiler [2016-05-08 12:55:39] 657*2^1428602-1 is not prime. Res64: 017BFBB2E67AAFF2 Time : 0.0 sec. user=mdettweiler [2016-05-08 12:55:39] 671*2^1428602-1 is not prime. Res64: 7F3F70536DC5D73C Time : 0.0 sec. user=mdettweiler [2016-05-08 12:55:39] 797*2^1428602-1 is not prime. Res64: C4B44BCEEE4E529C Time : 0.0 sec. user=mdettweiler [2016-05-08 13:07:52] 963*2^1428602-1 is not prime. Res64: B8A3031B5D9CCB91 Time : 0.0 sec. user=mdettweiler [2016-05-08 13:07:52] 1001*2^1428602-1 is not prime. Res64: D5FA76097A4DDA98 Time : 0.0 sec. user=mdettweiler [2016-05-08 13:07:53] 663*2^1428603-1 is not prime. Res64: CBFD96ABC84F417E Time : 0.0 sec. user=mdettweiler [2016-05-08 13:07:53] 675*2^1428603-1 is not prime. Res64: 3CA9B81DF9F44798 Time : 0.0 sec. user=mdettweiler [2016-05-08 13:07:54] 709*2^1428603-1 is not prime. Res64: A5FD5A5FD4AE7FA4 Time : 0.0 sec. user=mdettweiler [2016-05-08 13:08:41] 723*2^1428603-1 is not prime. Res64: C5C75265359FC59E Time : 0.0 sec. user=mdettweiler [2016-05-08 13:08:41] 735*2^1428603-1 is not prime. Res64: B9DCD3052EE9503D Time : 0.0 sec. user=mdettweiler [2016-05-08 13:08:42] 985*2^1428603-1 is not prime. Res64: 5F9FFEA7E68DEF9E Time : 0.0 sec. user=mdettweiler [2016-05-08 13:08:42] 813*2^1428604-1 is not prime. Res64: D0692D6A9AF787E8 Time : 0.0 sec. user=mdettweiler [2016-05-08 13:08:42] 899*2^1428604-1 is not prime. Res64: 31531E28A3A9E5E0 Time : 0.0 sec. user=mdettweiler [2016-05-08 13:36:16] 777*2^1428605-1 is not prime. Res64: 1ABBBB222358E741 Time : 0.0 sec. user=mdettweiler [2016-05-08 13:36:16] 871*2^1428605-1 is not prime. Res64: 5E1DAF30B13D64E8 Time : 0.0 sec. user=mdettweiler [2016-05-08 13:36:16] 765*2^1428606-1 is not prime. Res64: 7D2AFC26F98E6A77 Time : 0.0 sec. user=mdettweiler [2016-05-08 13:36:17] 801*2^1428606-1 is not prime. Res64: B715DC34C42F3D36 Time : 0.0 sec. user=mdettweiler [2016-05-08 13:36:17] 815*2^1428606-1 is not prime. Res64: 2FF02375110E735D Time : 0.0 sec. user=mdettweiler [2016-05-08 13:41:10] 825*2^1428606-1 is not prime. Res64: 49AC38C96A2F2C2F Time : 0.0 sec. user=mdettweiler [2016-05-08 13:41:10] 843*2^1428606-1 is not prime. Res64: 35621E9F5F0C3A0A Time : 0.0 sec. user=mdettweiler [2016-05-08 13:41:11] 1001*2^1428606-1 is not prime. Res64: DAA92AB687B2CABF Time : 0.0 sec. user=mdettweiler [2016-05-08 13:41:11] 603*2^1428607-1 is not prime. Res64: 91075CD34C26735D Time : 0.0 sec. user=mdettweiler [2016-05-08 13:41:12] 609*2^1428607-1 is not prime. Res64: A0F139C61559C097 Time : 0.0 sec. user=mdettweiler [2016-05-08 13:53:34] 615*2^1428607-1 is not prime. Res64: EEBCCD3621B8E35C Time : 0.0 sec. user=mdettweiler [2016-05-08 13:53:34] 685*2^1428607-1 is not prime. Res64: DCF3B313BE7BC58C Time : 0.0 sec. user=mdettweiler [2016-05-08 13:53:35] 729*2^1428607-1 is not prime. Res64: 8578CF2480DF9D12 Time : 0.0 sec. user=mdettweiler [2016-05-08 13:53:35] 741*2^1428607-1 is not prime. Res64: 9FF203B36254DEB4 Time : 0.0 sec. user=mdettweiler [2016-05-08 13:53:35] 769*2^1428607-1 is not prime. Res64: 126A8B82099FDE31 Time : 0.0 sec. user=mdettweiler [2016-05-08 13:54:32] 793*2^1428607-1 is not prime. Res64: 61AEBAED62CB930F Time : 0.0 sec. user=mdettweiler [2016-05-08 13:54:32] 931*2^1428607-1 is not prime. Res64: E51F01C3E842F7F5 Time : 0.0 sec. user=mdettweiler [2016-05-08 13:54:33] 603*2^1428608-1 is not prime. Res64: 59AA5C196EA7424D Time : 0.0 sec. user=mdettweiler [2016-05-08 13:54:33] 617*2^1428608-1 is not prime. Res64: 98F7698AF2606BEC Time : 0.0 sec. user=mdettweiler [2016-05-08 13:54:33] 623*2^1428608-1 is not prime. Res64: F71EED26175BEF3A Time : 0.0 sec. user=mdettweiler [2016-05-08 14:22:30] 677*2^1428608-1 is not prime. Res64: 2541A5A49EBB62FB Time : 0.0 sec. user=mdettweiler [2016-05-08 14:22:30] 813*2^1428608-1 is not prime. Res64: D277FCA4CB580F24 Time : 0.0 sec. user=mdettweiler [2016-05-08 14:22:31] 893*2^1428608-1 is not prime. Res64: 2F5F8940178B99F0 Time : 0.0 sec. user=mdettweiler [2016-05-08 14:22:31] 649*2^1428609-1 is not prime. Res64: A57D9ADF7B332CE9 Time : 0.0 sec. user=mdettweiler [2016-05-08 14:22:31] 681*2^1428609-1 is not prime. Res64: 25D9E4BEA5BDA8FC Time : 0.0 sec. user=mdettweiler [2016-05-08 14:27:23] 741*2^1428609-1 is not prime. Res64: F5B5D5FCE41377B5 Time : 0.0 sec. user=mdettweiler [2016-05-08 14:27:23] 847*2^1428609-1 is not prime. Res64: AF919B29A85437A0 Time : 0.0 sec. user=mdettweiler [2016-05-08 14:27:24] 865*2^1428609-1 is not prime. Res64: 298957264D5560B3 Time : 0.0 sec. user=mdettweiler [2016-05-08 14:27:24] 909*2^1428609-1 is not prime. Res64: B1C1F808C0C13BB7 Time : 0.0 sec. user=mdettweiler [2016-05-08 14:27:24] 999*2^1428609-1 is not prime. Res64: 2A3A75C9B8F38C1E Time : 0.0 sec. user=mdettweiler [2016-05-08 14:39:53] 635*2^1428610-1 is not prime. Res64: 5CF02C9A385C5922 Time : 0.0 sec. user=mdettweiler [2016-05-08 14:39:54] 773*2^1428610-1 is not prime. Res64: 367C898FFBA75B7D Time : 0.0 sec. user=mdettweiler [2016-05-08 14:39:54] 831*2^1428610-1 is not prime. Res64: D8BA203A03B51995 Time : 0.0 sec. user=mdettweiler [2016-05-08 14:39:55] 885*2^1428610-1 is not prime. Res64: AF0A4606F1EFDFFE Time : 0.0 sec. user=mdettweiler [2016-05-08 14:39:55] 945*2^1428610-1 is not prime. Res64: 11AFE60F1F191187 Time : 0.0 sec. user=mdettweiler [2016-05-08 14:40:32] 651*2^1428611-1 is not prime. Res64: A30E36B018D488C8 Time : 0.0 sec. user=mdettweiler [2016-05-08 14:40:32] 711*2^1428611-1 is not prime. Res64: AAE382B2F3183097 Time : 0.0 sec. user=mdettweiler [2016-05-08 14:40:33] 715*2^1428611-1 is not prime. Res64: B1C812768D13AEA3 Time : 0.0 sec. user=mdettweiler [2016-05-08 14:40:33] 741*2^1428611-1 is not prime. Res64: 38DA31573773E97C Time : 0.0 sec. user=mdettweiler [2016-05-08 14:40:34] 843*2^1428611-1 is not prime. Res64: 3618B8DC13D52B17 Time : 0.0 sec. user=mdettweiler [2016-05-08 15:08:15] 855*2^1428611-1 is not prime. Res64: 43E53782D3FDFAA2 Time : 0.0 sec. user=mdettweiler [2016-05-08 15:08:16] 895*2^1428611-1 is not prime. Res64: ED168258F02ED355 Time : 0.0 sec. user=mdettweiler [2016-05-08 15:08:16] 909*2^1428611-1 is not prime. Res64: 3CE55DBA1FCFB737 Time : 0.0 sec. user=mdettweiler [2016-05-08 15:08:17] 949*2^1428611-1 is not prime. Res64: A5AC01896B22DC90 Time : 0.0 sec. user=mdettweiler [2016-05-08 15:08:17] 969*2^1428611-1 is not prime. Res64: 134BE3351FA7BACA Time : 0.0 sec. user=mdettweiler [2016-05-08 15:13:10] 777*2^1428612-1 is not prime. Res64: A94581B5FD3CDE05 Time : 0.0 sec. user=mdettweiler [2016-05-08 15:13:10] 875*2^1428612-1 is not prime. Res64: 6F18F7E7A93D32B4 Time : 0.0 sec. user=mdettweiler [2016-05-08 15:13:11] 929*2^1428612-1 is not prime. Res64: 5FDF4F757F10A273 Time : 0.0 sec. user=mdettweiler [2016-05-08 15:13:11] 959*2^1428612-1 is not prime. Res64: 10BEEF614252418A Time : 0.0 sec. user=mdettweiler [2016-05-08 15:13:12] 691*2^1428613-1 is not prime. Res64: 6A1E46C47410A1B2 Time : 0.0 sec. user=mdettweiler [2016-05-08 15:25:44] 751*2^1428613-1 is not prime. Res64: 58397316A2A6C0EB Time : 0.0 sec. user=mdettweiler [2016-05-08 15:25:44] 867*2^1428613-1 is not prime. Res64: 8F93E0F9970AF892 Time : 0.0 sec. user=mdettweiler [2016-05-08 15:25:45] 937*2^1428613-1 is not prime. Res64: 4F79BA928B8FF99E Time : 0.0 sec. user=mdettweiler [2016-05-08 15:25:45] 961*2^1428613-1 is not prime. Res64: 595EAAEE5A04A18F Time : 0.0 sec. user=mdettweiler [2016-05-08 15:25:45] 985*2^1428613-1 is not prime. Res64: 9BDA38F56ECB0E07 Time : 0.0 sec. user=mdettweiler [2016-05-08 15:25:54] 675*2^1428614-1 is not prime. Res64: A88BAE164ABEB75C Time : 0.0 sec. user=mdettweiler [2016-05-08 15:25:55] 677*2^1428614-1 is not prime. Res64: 8BCF233C138A398D Time : 0.0 sec. user=mdettweiler [2016-05-08 15:25:55] 743*2^1428614-1 is not prime. Res64: B7949A9094B8164A Time : 0.0 sec. user=mdettweiler [2016-05-08 15:25:56] 825*2^1428614-1 is not prime. Res64: 5BA542E1BE67CAF1 Time : 0.0 sec. user=mdettweiler [2016-05-08 15:25:56] 917*2^1428614-1 is not prime. Res64: EEB9258FB6F23065 Time : 0.0 sec. user=mdettweiler [2016-05-08 15:54:05] 941*2^1428614-1 is not prime. Res64: 540F251EA3442077 Time : 0.0 sec. user=mdettweiler [2016-05-08 15:54:05] 693*2^1428615-1 is not prime. Res64: E87B0CC361DD9CEE Time : 0.0 sec. user=mdettweiler [2016-05-08 15:54:06] 763*2^1428615-1 is not prime. Res64: 86822F7355BB3D62 Time : 0.0 sec. user=mdettweiler [2016-05-08 15:54:06] 783*2^1428615-1 is not prime. Res64: 3C0E97E2EC9ECE39 Time : 0.0 sec. user=mdettweiler [2016-05-08 15:54:06] 861*2^1428615-1 is not prime. Res64: 2E1C38A54225736F Time : 0.0 sec. user=mdettweiler [2016-05-08 15:58:50] 871*2^1428615-1 is not prime. Res64: 9CC7019DF732EAE4 Time : 0.0 sec. user=mdettweiler [2016-05-08 15:58:51] 943*2^1428615-1 is not prime. Res64: 5DC8FC691B6A3B90 Time : 0.0 sec. user=mdettweiler [2016-05-08 15:58:51] 735*2^1428616-1 is not prime. Res64: 6CDFE80EA07AE363 Time : 0.0 sec. user=mdettweiler [2016-05-08 15:58:51] 849*2^1428616-1 is not prime. Res64: 8A4E306931FE107E Time : 0.0 sec. user=mdettweiler [2016-05-08 15:58:52] 887*2^1428616-1 is not prime. Res64: 8ACD50EE85498DF5 Time : 0.0 sec. user=mdettweiler [2016-05-08 16:11:28] 675*2^1428617-1 is not prime. Res64: F7F02942D4EB7A81 Time : 0.0 sec. user=mdettweiler [2016-05-08 16:11:28] 691*2^1428617-1 is not prime. Res64: 00267FD77CE1C4D0 Time : 0.0 sec. user=mdettweiler [2016-05-08 16:11:29] 841*2^1428617-1 is not prime. Res64: 36B3F1AF8F8FADAA Time : 0.0 sec. user=mdettweiler [2016-05-08 16:11:29] 909*2^1428617-1 is not prime. Res64: 38781A9E7AB7EC04 Time : 0.0 sec. user=mdettweiler [2016-05-08 16:11:30] 937*2^1428617-1 is not prime. Res64: 14735D3939610439 Time : 0.0 sec. user=mdettweiler [2016-05-08 16:11:32] 899*2^1428616-1 is not prime. Res64: AD06F2D35BC3E636 Time : 0.0 sec. user=mdettweiler [2016-05-08 16:11:32] 917*2^1428616-1 is not prime. Res64: 0F0DF901E590308C Time : 0.0 sec. user=mdettweiler [2016-05-08 16:11:33] 923*2^1428616-1 is not prime. Res64: 55362E67FDD7E1FF Time : 0.0 sec. user=mdettweiler [2016-05-08 16:11:33] 927*2^1428616-1 is not prime. Res64: 37D3102106DE3102 Time : 0.0 sec. user=mdettweiler [2016-05-08 16:11:34] 619*2^1428617-1 is not prime. Res64: 649ADC0C9CC02338 Time : 0.0 sec. user=mdettweiler [2016-05-08 16:39:34] 949*2^1428617-1 is not prime. Res64: 716EB57E78A6AFC3 Time : 0.0 sec. user=mdettweiler [2016-05-08 16:39:34] 985*2^1428617-1 is not prime. Res64: 60421C7B37F3DD40 Time : 0.0 sec. user=mdettweiler [2016-05-08 16:39:34] 633*2^1428618-1 is not prime. Res64: 6F9D201E063AF4B5 Time : 0.0 sec. user=mdettweiler [2016-05-08 16:39:35] 651*2^1428618-1 is not prime. Res64: ACAD516E4FCF26EA Time : 0.0 sec. user=mdettweiler [2016-05-08 16:39:35] 755*2^1428618-1 is not prime. Res64: A86118E1F77B0965 Time : 0.0 sec. user=mdettweiler [2016-05-08 16:44:26] 1001*2^1428618-1 is not prime. Res64: 409B7E7C8C0E041C Time : 0.0 sec. user=mdettweiler [2016-05-08 16:44:27] 603*2^1428619-1 is not prime. Res64: A3770B13DDA252B0 Time : 0.0 sec. user=mdettweiler [2016-05-08 16:44:27] 663*2^1428619-1 is not prime. Res64: EFD1B5C14D5CF1A8 Time : 0.0 sec. user=mdettweiler [2016-05-08 16:44:28] 775*2^1428619-1 is not prime. Res64: 3EF6B7DE813694B3 Time : 0.0 sec. user=mdettweiler [2016-05-08 16:44:28] 979*2^1428619-1 is not prime. Res64: B1C19F93EF2CFAE7 Time : 0.0 sec. user=mdettweiler [2016-05-08 16:57:14] 661*2^1428621-1 is not prime. Res64: 2677904AFCE73AA3 Time : 0.0 sec. user=mdettweiler [2016-05-08 16:57:15] 789*2^1428621-1 is not prime. Res64: 1BBEEDE6EBB178FF Time : 0.0 sec. user=mdettweiler [2016-05-08 16:57:15] 877*2^1428621-1 is not prime. Res64: 98E1422640F65116 Time : 0.0 sec. user=mdettweiler [2016-05-08 16:57:15] 603*2^1428622-1 is not prime. Res64: 83A3B1AC32FA8491 Time : 0.0 sec. user=mdettweiler [2016-05-08 16:57:16] 647*2^1428622-1 is not prime. Res64: A1E3B013C294F7B0 Time : 0.0 sec. user=mdettweiler [2016-05-08 16:57:21] 773*2^1428620-1 is not prime. Res64: 939C399A1D1E759C Time : 0.0 sec. user=mdettweiler [2016-05-08 16:57:22] 777*2^1428620-1 is not prime. Res64: 6F6D52B77E5D670F Time : 0.0 sec. user=mdettweiler [2016-05-08 16:57:22] 843*2^1428620-1 is not prime. Res64: 9A5C73D78F99F1AC Time : 0.0 sec. user=mdettweiler [2016-05-08 16:57:23] 879*2^1428620-1 is not prime. Res64: 2D91B410CD6466F0 Time : 0.0 sec. user=mdettweiler [2016-05-08 16:57:23] 615*2^1428621-1 is not prime. Res64: 87A4C9DC5DDAE36B Time : 0.0 sec. user=mdettweiler [2016-05-08 17:25:30] 671*2^1428622-1 is not prime. Res64: A2B5CC8DB60EB75D Time : 0.0 sec. user=mdettweiler [2016-05-08 17:25:30] 717*2^1428622-1 is not prime. Res64: FF19D42A42948149 Time : 0.0 sec. user=mdettweiler [2016-05-08 17:25:31] 843*2^1428622-1 is not prime. Res64: 66E684467A422A5B Time : 0.0 sec. user=mdettweiler [2016-05-08 17:25:31] 863*2^1428622-1 is not prime. Res64: 83369DE1CB3A197F Time : 0.0 sec. user=mdettweiler [2016-05-08 17:25:32] 981*2^1428622-1 is not prime. Res64: A94F5A794E30CBCE Time : 0.0 sec. user=mdettweiler [2016-05-08 17:30:13] 775*2^1428623-1 is not prime. Res64: 780FC607562CA7B1 Time : 0.0 sec. user=mdettweiler [2016-05-08 17:30:13] 825*2^1428623-1 is not prime. Res64: 61EC9230DE4B68E7 Time : 0.0 sec. user=mdettweiler [2016-05-08 17:30:14] 913*2^1428623-1 is not prime. Res64: 42C65B73AAFA4374 Time : 0.0 sec. user=mdettweiler [2016-05-08 17:30:14] 887*2^1428624-1 is not prime. Res64: B692C3F19E2DBDD9 Time : 0.0 sec. user=mdettweiler [2016-05-08 17:30:14] 929*2^1428624-1 is not prime. Res64: 5351D13BE891BDF8 Time : 0.0 sec. user=mdettweiler [2016-05-08 17:43:13] 801*2^1428625-1 is not prime. Res64: 7C16A0B206CDB8B8 Time : 0.0 sec. user=mdettweiler [2016-05-08 17:43:13] 817*2^1428625-1 is not prime. Res64: 1B1F0EA4623B5B50 Time : 0.0 sec. user=mdettweiler [2016-05-08 17:43:14] 841*2^1428625-1 is not prime. Res64: 86324A0B9E83C1BB Time : 0.0 sec. user=mdettweiler [2016-05-08 17:43:14] 871*2^1428625-1 is not prime. Res64: B14FF144ECA1CF2A Time : 0.0 sec. user=mdettweiler [2016-05-08 17:43:14] 895*2^1428625-1 is not prime. Res64: 94309214A70A60DD Time : 0.0 sec. user=mdettweiler [2016-05-08 17:43:31] 983*2^1428624-1 is not prime. Res64: 9036A19D77749D65 Time : 0.0 sec. user=mdettweiler [2016-05-08 17:43:31] 607*2^1428625-1 is not prime. Res64: 19497B161119DB54 Time : 0.0 sec. user=mdettweiler [2016-05-08 17:43:32] 741*2^1428625-1 is not prime. Res64: 4A0767DAD7CC2B0D Time : 0.0 sec. user=mdettweiler [2016-05-08 17:43:32] 765*2^1428625-1 is not prime. Res64: F0C892F528545472 Time : 0.0 sec. user=mdettweiler [2016-05-08 17:43:32] 799*2^1428625-1 is not prime. Res64: 0234919FB451B428 Time : 0.0 sec. user=mdettweiler [2016-05-08 18:12:12] 623*2^1428626-1 is not prime. Res64: 80ABB6BFA4D79CE0 Time : 0.0 sec. user=mdettweiler [2016-05-08 18:12:13] 827*2^1428626-1 is not prime. Res64: 8DF5986406368917 Time : 0.0 sec. user=mdettweiler [2016-05-08 18:12:13] 861*2^1428626-1 is not prime. Res64: 3D0736FB7E0DE98C Time : 0.0 sec. user=mdettweiler [2016-05-08 18:12:13] 609*2^1428627-1 is not prime. Res64: B3D308685D9C515D Time : 0.0 sec. user=mdettweiler [2016-05-08 18:12:14] 685*2^1428627-1 is not prime. Res64: CD88438C8BEAD829 Time : 0.0 sec. user=mdettweiler [2016-05-08 18:16:53] 703*2^1428627-1 is not prime. Res64: F3057353E88C2F29 Time : 0.0 sec. user=mdettweiler [2016-05-08 18:16:53] 741*2^1428627-1 is not prime. Res64: 5B7B876095AFD839 Time : 0.0 sec. user=mdettweiler [2016-05-08 18:16:54] 793*2^1428627-1 is not prime. Res64: 0CF3B653EC0A218E Time : 0.0 sec. user=mdettweiler [2016-05-08 18:16:54] 873*2^1428627-1 is not prime. Res64: D3B038402C2886FF Time : 0.0 sec. user=mdettweiler [2016-05-08 18:16:54] 603*2^1428628-1 is not prime. Res64: DE18A147AEB40B83 Time : 0.0 sec. user=mdettweiler [2016-05-08 18:30:59] 617*2^1428628-1 is not prime. Res64: 492052EA2A49DE04 Time : 0.0 sec. user=mdettweiler [2016-05-08 18:31:00] 695*2^1428628-1 is not prime. Res64: 6E644D18B8F5B874 Time : 0.0 sec. user=mdettweiler [2016-05-08 18:31:00] 765*2^1428628-1 is not prime. Res64: 63CA241068592AA7 Time : 0.0 sec. user=mdettweiler [2016-05-08 18:31:01] 869*2^1428628-1 is not prime. Res64: 8A4DA16A72FCA3F5 Time : 0.0 sec. user=mdettweiler [2016-05-08 18:31:01] 685*2^1428629-1 is not prime. Res64: 40978D51BFCC393E Time : 0.0 sec. user=mdettweiler [2016-05-08 18:31:15] 697*2^1428629-1 is not prime. Res64: 32BCCC05A9E49894 Time : 0.0 sec. user=mdettweiler [2016-05-08 18:31:15] 727*2^1428629-1 is not prime. Res64: CF001BC74E1F4E1C Time : 0.0 sec. user=mdettweiler [2016-05-08 18:31:16] 735*2^1428629-1 is not prime. Res64: 19B35DEBE425000F Time : 0.0 sec. user=mdettweiler [2016-05-08 18:31:16] 741*2^1428629-1 is not prime. Res64: 8B333956BE100EEB Time : 0.0 sec. user=mdettweiler [2016-05-08 18:31:16] 775*2^1428629-1 is not prime. Res64: E17F2F5406D639F0 Time : 0.0 sec. user=mdettweiler [2016-05-08 19:01:36] 615*2^1428630-1 is not prime. Res64: 48157E10D6E8A654 Time : 0.0 sec. user=mdettweiler [2016-05-08 19:01:37] 791*2^1428630-1 is not prime. Res64: EEE3A9990CF2F97D Time : 0.0 sec. user=mdettweiler [2016-05-08 19:01:37] 833*2^1428630-1 is not prime. Res64: D0657D4EAD6669C3 Time : 0.0 sec. user=mdettweiler [2016-05-08 19:01:38] 843*2^1428630-1 is not prime. Res64: 9C377D6001D4E3DA Time : 0.0 sec. user=mdettweiler [2016-05-08 19:01:39] 867*2^1428630-1 is not prime. Res64: E411B45CFE589D7B Time : 0.0 sec. user=mdettweiler [2016-05-08 19:05:50] 921*2^1428630-1 is not prime. Res64: C3736B26E41746FA Time : 0.0 sec. user=mdettweiler [2016-05-08 19:05:51] 651*2^1428631-1 is not prime. Res64: FACC554AC8FCFAC1 Time : 0.0 sec. user=mdettweiler [2016-05-08 19:05:52] 741*2^1428631-1 is not prime. Res64: 3173AD4684AD538A Time : 0.0 sec. user=mdettweiler [2016-05-08 19:05:52] 783*2^1428631-1 is not prime. Res64: DD3802DD959EA4C4 Time : 0.0 sec. user=mdettweiler [2016-05-08 19:05:53] 829*2^1428631-1 is not prime. Res64: 4FAE40ACB9F7570A Time : 0.0 sec. user=mdettweiler [2016-05-08 19:20:22] 943*2^1428631-1 is not prime. Res64: B79D25DE8700C48C Time : 0.0 sec. user=mdettweiler [2016-05-08 19:20:23] 629*2^1428632-1 is not prime. Res64: DBA9F913E3428FD7 Time : 0.0 sec. user=mdettweiler [2016-05-08 19:20:23] 857*2^1428632-1 is not prime. Res64: 059533428A79DF95 Time : 0.0 sec. user=mdettweiler [2016-05-08 19:20:23] 899*2^1428632-1 is not prime. Res64: F526FEC3D9CA29B7 Time : 0.0 sec. user=mdettweiler [2016-05-08 19:20:24] 681*2^1428633-1 is not prime. Res64: 5AB30DF8A48BA4FB Time : 0.0 sec. user=mdettweiler [2016-05-08 19:20:31] 705*2^1428633-1 is not prime. Res64: DC8EDADFBEF7F95F Time : 0.0 sec. user=mdettweiler [2016-05-08 19:20:31] 885*2^1428633-1 is not prime. Res64: CAA4A7549A11DB3C Time : 0.0 sec. user=mdettweiler [2016-05-08 19:20:31] 889*2^1428633-1 is not prime. Res64: B0CE5F820A87F3E4 Time : 0.0 sec. user=mdettweiler [2016-05-08 19:20:32] 895*2^1428633-1 is not prime. Res64: 95D01C3D8AEF9EED Time : 0.0 sec. user=mdettweiler [2016-05-08 19:20:32] 623*2^1428634-1 is not prime. Res64: 2514002A05B9C919 Time : 0.0 sec.