user=mdettweiler [2015-11-24 00:04:47] 689*2^1415924-1 is not prime. Res64: 2E1715D92A4358E0 Time : 0.0 sec. user=mdettweiler [2015-11-24 00:04:49] 753*2^1415924-1 is not prime. Res64: AE6A694D9E96B88A Time : 0.0 sec. user=mdettweiler [2015-11-24 00:06:23] 773*2^1415924-1 is not prime. Res64: 2AA5CD3DCD69BB62 Time : 0.0 sec. user=mdettweiler [2015-11-24 00:06:24] 959*2^1415924-1 is not prime. Res64: 9680B66DD8994D03 Time : 0.0 sec. user=mdettweiler [2015-11-24 00:07:39] 969*2^1415924-1 is not prime. Res64: 05D6A19A2BDC3E8C Time : 0.0 sec. user=mdettweiler [2015-11-24 00:07:41] 995*2^1415924-1 is not prime. Res64: 90A40E59E43CC07A Time : 0.0 sec. user=mdettweiler [2015-11-24 00:14:22] 609*2^1415925-1 is not prime. Res64: 61823C9E067D062E Time : 0.0 sec. user=mdettweiler [2015-11-24 00:14:22] 627*2^1415925-1 is not prime. Res64: 613A82EE2EA63BAA Time : 0.0 sec. user=mdettweiler [2015-11-24 00:23:07] 651*2^1415925-1 is not prime. Res64: D63B52223C87AC01 Time : 0.0 sec. user=mdettweiler [2015-11-24 00:23:08] 691*2^1415925-1 is not prime. Res64: 7FEAE8297D7E5FD7 Time : 0.0 sec. user=mdettweiler [2015-11-24 00:24:26] 765*2^1415925-1 is not prime. Res64: 531010C9FED65E53 Time : 0.0 sec. user=mdettweiler [2015-11-24 00:24:27] 787*2^1415925-1 is not prime. Res64: 26B242F95B5D1273 Time : 0.0 sec. user=mdettweiler [2015-11-24 00:25:57] 847*2^1415925-1 is not prime. Res64: DC085A5CDD06A16D Time : 0.0 sec. user=mdettweiler [2015-11-24 00:25:57] 867*2^1415925-1 is not prime. Res64: 2C31E69A3157F671 Time : 0.0 sec. user=mdettweiler [2015-11-24 00:32:40] 991*2^1415925-1 is not prime. Res64: E1738BD6DB85CBD4 Time : 0.0 sec. user=mdettweiler [2015-11-24 00:32:40] 999*2^1415925-1 is not prime. Res64: 496C4930B90A3E8B Time : 0.0 sec. user=mdettweiler [2015-11-24 00:41:03] 603*2^1415926-1 is not prime. Res64: C1219CAEADDD4067 Time : 0.0 sec. user=mdettweiler [2015-11-24 00:41:04] 761*2^1415926-1 is not prime. Res64: FEBAD2194F4CBE1B Time : 0.0 sec. user=mdettweiler [2015-11-24 00:42:23] 783*2^1415926-1 is not prime. Res64: E141F9B6B918774B Time : 0.0 sec. user=mdettweiler [2015-11-24 00:42:24] 813*2^1415926-1 is not prime. Res64: A19D50913E6F2556 Time : 0.0 sec. user=mdettweiler [2015-11-24 00:43:59] 825*2^1415926-1 is not prime. Res64: 03AA68E767E0A515 Time : 0.0 sec. user=mdettweiler [2015-11-24 00:43:59] 981*2^1415926-1 is not prime. Res64: EC0B3E739309641B Time : 0.0 sec. user=mdettweiler [2015-11-24 00:50:45] 643*2^1415927-1 is not prime. Res64: 677A1FDCEF175C32 Time : 0.0 sec. user=mdettweiler [2015-11-24 00:50:45] 675*2^1415927-1 is not prime. Res64: 439DB8D39638014B Time : 0.0 sec. user=mdettweiler [2015-11-24 00:59:01] 703*2^1415927-1 is not prime. Res64: 13B8A41818090F0C Time : 0.0 sec. user=mdettweiler [2015-11-24 00:59:01] 735*2^1415927-1 is not prime. Res64: 231073D705BC6395 Time : 0.0 sec. user=mdettweiler [2015-11-24 01:00:22] 759*2^1415927-1 is not prime. Res64: CAF28A2793F15AA9 Time : 0.0 sec. user=mdettweiler [2015-11-24 01:00:23] 825*2^1415927-1 is not prime. Res64: D63D08A2903E96EE Time : 0.0 sec. user=mdettweiler [2015-11-24 01:02:05] 981*2^1415927-1 is not prime. Res64: 2D07D93641516AF5 Time : 0.0 sec. user=mdettweiler [2015-11-24 01:02:06] 991*2^1415927-1 is not prime. Res64: 9977D568D2939E1E Time : 0.0 sec. user=mdettweiler [2015-11-24 01:08:52] 993*2^1415927-1 is not prime. Res64: 2EF8D5EDCBBCBDE6 Time : 0.0 sec. user=mdettweiler [2015-11-24 01:08:53] 657*2^1415928-1 is not prime. Res64: 54319C1536D5F7A9 Time : 0.0 sec. user=mdettweiler [2015-11-24 01:17:05] 665*2^1415928-1 is not prime. Res64: D817A936D0A45BED Time : 0.0 sec. user=mdettweiler [2015-11-24 01:17:06] 689*2^1415928-1 is not prime. Res64: 18EBCBBDD053E045 Time : 0.0 sec. user=mdettweiler [2015-11-24 01:18:32] 695*2^1415928-1 is not prime. Res64: F630BA4CC0618105 Time : 0.0 sec. user=mdettweiler [2015-11-24 01:18:32] 759*2^1415928-1 is not prime. Res64: 4F6F24410A419760 Time : 0.0 sec. user=mdettweiler [2015-11-24 01:20:21] 803*2^1415928-1 is not prime. Res64: 0EE3E0E050720681 Time : 0.0 sec. user=mdettweiler [2015-11-24 01:20:22] 879*2^1415928-1 is not prime. Res64: 9CECC9CB7C3D1E8E Time : 0.0 sec. user=mdettweiler [2015-11-24 01:27:02] 893*2^1415928-1 is not prime. Res64: 5E73379606EB4DAB Time : 0.0 sec. user=mdettweiler [2015-11-24 01:27:03] 927*2^1415928-1 is not prime. Res64: F82873F5C347315E Time : 0.0 sec. user=mdettweiler [2015-11-24 01:35:02] 977*2^1415928-1 is not prime. Res64: 08EDF776A4017A7A Time : 0.0 sec. user=mdettweiler [2015-11-24 01:35:03] 993*2^1415928-1 is not prime. Res64: AA3E5F35EC416F83 Time : 0.0 sec. user=mdettweiler [2015-11-24 01:36:28] 687*2^1415929-1 is not prime. Res64: 1937742B9F12631A Time : 0.0 sec. user=mdettweiler [2015-11-24 01:36:28] 691*2^1415929-1 is not prime. Res64: 56C524BA6FAEF260 Time : 0.0 sec. user=mdettweiler [2015-11-24 01:38:18] 699*2^1415929-1 is not prime. Res64: 78ED841B8F8D6391 Time : 0.0 sec. user=mdettweiler [2015-11-24 01:38:19] 789*2^1415929-1 is not prime. Res64: B043156ECDE486B9 Time : 0.0 sec. user=mdettweiler [2015-11-24 01:45:13] 829*2^1415929-1 is not prime. Res64: 3CC0963F759189DF Time : 0.0 sec. user=mdettweiler [2015-11-24 01:45:14] 945*2^1415929-1 is not prime. Res64: 0F01043ED20A4B3B Time : 0.0 sec. user=mdettweiler [2015-11-24 01:53:08] 979*2^1415929-1 is not prime. Res64: 15A76A0B0AA29181 Time : 0.0 sec. user=mdettweiler [2015-11-24 01:53:08] 627*2^1415930-1 is not prime. Res64: 5014EC4510EA6DFD Time : 0.0 sec. user=mdettweiler [2015-11-24 01:54:24] 645*2^1415930-1 is not prime. Res64: 7B96F3472CB10C69 Time : 0.0 sec. user=mdettweiler [2015-11-24 01:54:24] 791*2^1415930-1 is not prime. Res64: 9E4F75476BECFE0B Time : 0.0 sec. user=mdettweiler [2015-11-24 01:56:12] 843*2^1415930-1 is not prime. Res64: A67694DD3DB00387 Time : 0.0 sec. user=mdettweiler [2015-11-24 01:56:13] 917*2^1415930-1 is not prime. Res64: 7E1B0C005BACE66E Time : 0.0 sec. user=mdettweiler [2015-11-24 02:03:19] 921*2^1415930-1 is not prime. Res64: DED5D2CB84467E3D Time : 0.0 sec. user=mdettweiler [2015-11-24 02:03:20] 927*2^1415930-1 is not prime. Res64: 81DCCCB277FD2C12 Time : 0.0 sec. user=mdettweiler [2015-11-24 02:11:07] 935*2^1415930-1 is not prime. Res64: 7CAFE8AAE521CD77 Time : 0.0 sec. user=mdettweiler [2015-11-24 02:11:07] 971*2^1415930-1 is not prime. Res64: C393770E91A085FC Time : 0.0 sec. user=mdettweiler [2015-11-24 02:12:30] 987*2^1415930-1 is not prime. Res64: 31BF01333CF02967 Time : 0.0 sec. user=mdettweiler [2015-11-24 02:12:30] 739*2^1415931-1 is not prime. Res64: 960569345636410E Time : 0.0 sec. user=mdettweiler [2015-11-24 02:14:11] 775*2^1415931-1 is not prime. Res64: 45505FDF7ADA5F00 Time : 0.0 sec. user=mdettweiler [2015-11-24 02:14:11] 859*2^1415931-1 is not prime. Res64: 99BA49C1C59ABA1E Time : 0.0 sec. user=mdettweiler [2015-11-24 02:21:17] 913*2^1415931-1 is not prime. Res64: BD75CFA842D6DAB1 Time : 0.0 sec. user=mdettweiler [2015-11-24 02:21:17] 609*2^1415932-1 is not prime. Res64: 95A21BED4118B230 Time : 0.0 sec. user=mdettweiler [2015-11-24 02:29:13] 617*2^1415932-1 is not prime. Res64: 9169C6E11A502BEB Time : 0.0 sec. user=mdettweiler [2015-11-24 02:29:13] 687*2^1415932-1 is not prime. Res64: A95B6602796B2176 Time : 0.0 sec. user=mdettweiler [2015-11-24 02:30:41] 803*2^1415932-1 is not prime. Res64: 457E7566ED4351CF Time : 0.0 sec. user=mdettweiler [2015-11-24 02:30:42] 741*2^1415933-1 is not prime. Res64: 9FEB8960F5F25E45 Time : 0.0 sec. user=mdettweiler [2015-11-24 02:32:12] 759*2^1415933-1 is not prime. Res64: 979524D3BB1D522E Time : 0.0 sec. user=mdettweiler [2015-11-24 02:32:12] 801*2^1415933-1 is not prime. Res64: 06221A556630F44F Time : 0.0 sec. user=mdettweiler [2015-11-24 02:39:15] 663*2^1415934-1 is not prime. Res64: EC31F76B3361997E Time : 0.0 sec. user=mdettweiler [2015-11-24 02:39:15] 671*2^1415934-1 is not prime. Res64: 37915B0A61FEA7CC Time : 0.0 sec. user=mdettweiler [2015-11-24 02:47:22] 807*2^1415934-1 is not prime. Res64: 420E079F468F41FC Time : 0.0 sec. user=mdettweiler [2015-11-24 02:47:22] 861*2^1415934-1 is not prime. Res64: 3CD907621C7729EF Time : 0.0 sec. user=mdettweiler [2015-11-24 02:48:43] 927*2^1415934-1 is not prime. Res64: 5A2415C8FEAF3644 Time : 0.0 sec. user=mdettweiler [2015-11-24 02:48:43] 975*2^1415934-1 is not prime. Res64: C19DA69F6B34624C Time : 0.0 sec. user=mdettweiler [2015-11-24 02:50:13] 603*2^1415935-1 is not prime. Res64: D457241C314DC20E Time : 0.0 sec. user=mdettweiler [2015-11-24 02:50:13] 619*2^1415935-1 is not prime. Res64: 660EDFDA982D93BD Time : 0.0 sec. user=mdettweiler [2015-11-24 02:57:23] 633*2^1415935-1 is not prime. Res64: FD05D0F330C8207A Time : 0.0 sec. user=mdettweiler [2015-11-24 02:57:25] 645*2^1415935-1 is not prime. Res64: D753C7EFD2FFDAF5 Time : 0.0 sec. user=mdettweiler [2015-11-24 03:05:27] 673*2^1415935-1 is not prime. Res64: 2EB43AEEFA224C9F Time : 0.0 sec. user=mdettweiler [2015-11-24 03:05:30] 679*2^1415935-1 is not prime. Res64: 712D56396095E2CC Time : 0.0 sec. user=mdettweiler [2015-11-24 03:06:54] 723*2^1415935-1 is not prime. Res64: 824311A93858188E Time : 0.0 sec. user=mdettweiler [2015-11-24 03:06:58] 775*2^1415935-1 is not prime. Res64: 1FFBC3F2F90295AC Time : 0.0 sec. user=mdettweiler [2015-11-24 03:08:18] 849*2^1415935-1 is not prime. Res64: FB7B62D3FDE42FBA Time : 0.0 sec. user=mdettweiler [2015-11-24 03:08:21] 889*2^1415935-1 is not prime. Res64: 1BFACB071F42EF5D Time : 0.0 sec. user=mdettweiler [2015-11-24 03:15:49] 919*2^1415935-1 is not prime. Res64: B38A383F1148081C Time : 0.0 sec. user=mdettweiler [2015-11-24 03:15:51] 609*2^1415936-1 is not prime. Res64: FA62A1B69E63464E Time : 0.0 sec. user=mdettweiler [2015-11-24 03:25:01] 615*2^1415936-1 is not prime. Res64: 51B9C04093678E95 Time : 0.0 sec. user=mdettweiler [2015-11-24 03:25:02] 699*2^1415936-1 is not prime. Res64: FAAE68BECEADE888 Time : 0.0 sec. user=mdettweiler [2015-11-24 03:27:02] 903*2^1415936-1 is not prime. Res64: 2F1611881015E6F7 Time : 0.0 sec. user=mdettweiler [2015-11-24 03:27:04] 927*2^1415936-1 is not prime. Res64: 313CC992E52081E9 Time : 0.0 sec. user=mdettweiler [2015-11-24 03:27:45] 675*2^1415937-1 is not prime. Res64: 6BF6C81A8F81EBC7 Time : 0.0 sec. user=mdettweiler [2015-11-24 03:27:47] 691*2^1415937-1 is not prime. Res64: 93E81F07441B3311 Time : 0.0 sec. user=mdettweiler [2015-11-24 03:34:38] 765*2^1415937-1 is not prime. Res64: 95BC220EFD6380C1 Time : 0.0 sec. user=mdettweiler [2015-11-24 03:34:40] 817*2^1415937-1 is not prime. Res64: BE54A675A75EC860 Time : 0.0 sec. user=mdettweiler [2015-11-24 03:43:17] 819*2^1415937-1 is not prime. Res64: BC36779191DDC600 Time : 0.0 sec. user=mdettweiler [2015-11-24 03:43:19] 847*2^1415937-1 is not prime. Res64: 93621DE89CF18028 Time : 0.0 sec. user=mdettweiler [2015-11-24 03:45:15] 891*2^1415937-1 is not prime. Res64: 0D6648DA30D93B85 Time : 0.0 sec. user=mdettweiler [2015-11-24 03:45:17] 915*2^1415937-1 is not prime. Res64: 80ECC5E577D7C55E Time : 0.0 sec. user=mdettweiler [2015-11-24 03:45:59] 937*2^1415937-1 is not prime. Res64: 7269F4E3AD397D2F Time : 0.0 sec. user=mdettweiler [2015-11-24 03:46:02] 663*2^1415938-1 is not prime. Res64: 4F1A115D2A607FE9 Time : 0.0 sec. user=mdettweiler [2015-11-24 03:52:52] 723*2^1415938-1 is not prime. Res64: 38FA8EE6014A8B92 Time : 0.0 sec. user=mdettweiler [2015-11-24 03:52:54] 945*2^1415938-1 is not prime. Res64: 9125B4B9085CECB2 Time : 0.0 sec. user=mdettweiler [2015-11-24 04:01:45] 643*2^1415939-1 is not prime. Res64: 2E089B4739C24C01 Time : 0.0 sec. user=mdettweiler [2015-11-24 04:01:47] 703*2^1415939-1 is not prime. Res64: 3440EC5767D0D76A Time : 0.0 sec. user=mdettweiler [2015-11-24 04:03:39] 733*2^1415939-1 is not prime. Res64: AA8F7DB9E822DD63 Time : 0.0 sec. user=mdettweiler [2015-11-24 04:03:41] 775*2^1415939-1 is not prime. Res64: CEB090820E4F2EE6 Time : 0.0 sec. user=mdettweiler [2015-11-24 04:04:18] 811*2^1415939-1 is not prime. Res64: EAFFCCEA908C631E Time : 0.0 sec. user=mdettweiler [2015-11-24 04:04:20] 861*2^1415939-1 is not prime. Res64: 8670906EF22A49B4 Time : 0.0 sec. user=mdettweiler [2015-11-24 04:11:16] 895*2^1415939-1 is not prime. Res64: 182FCECAF28F8B5A Time : 0.0 sec. user=mdettweiler [2015-11-24 04:11:17] 669*2^1415940-1 is not prime. Res64: A54C917B4D82F47B Time : 0.0 sec. user=mdettweiler [2015-11-24 04:19:55] 689*2^1415940-1 is not prime. Res64: 4B684258B816E761 Time : 0.0 sec. user=mdettweiler [2015-11-24 04:19:57] 723*2^1415940-1 is not prime. Res64: 1ADFFC3E0C5B67C9 Time : 0.0 sec. user=mdettweiler [2015-11-24 04:21:52] 735*2^1415940-1 is not prime. Res64: 5FBE652D9965550E Time : 0.0 sec. user=mdettweiler [2015-11-24 04:21:53] 753*2^1415940-1 is not prime. Res64: F2BC99714A25F296 Time : 0.0 sec. user=mdettweiler [2015-11-24 04:22:36] 945*2^1415940-1 is not prime. Res64: 7CBE4D8BE5C769DE Time : 0.0 sec. user=mdettweiler [2015-11-24 04:22:36] 965*2^1415940-1 is not prime. Res64: 416BCA34E6C44E95 Time : 0.0 sec. user=mdettweiler [2015-11-24 04:29:29] 987*2^1415940-1 is not prime. Res64: 1A6CD33D7A5D152A Time : 0.0 sec. user=mdettweiler [2015-11-24 04:29:30] 615*2^1415941-1 is not prime. Res64: B0E0B86BF8C4B28D Time : 0.0 sec. user=mdettweiler [2015-11-24 04:38:07] 619*2^1415941-1 is not prime. Res64: F0C7769914B8D17D Time : 0.0 sec. user=mdettweiler [2015-11-24 04:38:08] 799*2^1415941-1 is not prime. Res64: 3CF910E4936A7E5E Time : 0.0 sec. user=mdettweiler [2015-11-24 04:40:05] 859*2^1415941-1 is not prime. Res64: 6FD433509EDE4AA3 Time : 0.0 sec. user=mdettweiler [2015-11-24 04:40:06] 951*2^1415941-1 is not prime. Res64: 12C408794B755966 Time : 0.0 sec. user=mdettweiler [2015-11-24 04:40:55] 967*2^1415941-1 is not prime. Res64: 87FF31B031E00A07 Time : 0.0 sec. user=mdettweiler [2015-11-24 04:40:56] 997*2^1415941-1 is not prime. Res64: ACCA3797659A23CA Time : 0.0 sec. user=mdettweiler [2015-11-24 04:47:34] 623*2^1415942-1 is not prime. Res64: 8D9C9FC4059DA313 Time : 0.0 sec. user=mdettweiler [2015-11-24 04:47:35] 693*2^1415942-1 is not prime. Res64: FA5A3596CAE0C682 Time : 0.0 sec. user=mdettweiler [2015-11-24 04:56:32] 731*2^1415942-1 is not prime. Res64: 0A705E4CBFA1DABE Time : 0.0 sec. user=mdettweiler [2015-11-24 04:56:33] 741*2^1415942-1 is not prime. Res64: 2D75098AE8D1C7EC Time : 0.0 sec. user=mdettweiler [2015-11-24 04:58:14] 753*2^1415942-1 is not prime. Res64: 95AC0E564930CAE7 Time : 0.0 sec. user=mdettweiler [2015-11-24 04:58:16] 755*2^1415942-1 is not prime. Res64: 76D278F35D384E26 Time : 0.0 sec. user=mdettweiler [2015-11-24 04:59:18] 791*2^1415942-1 is not prime. Res64: 46D9773AB0F68BBA Time : 0.0 sec. user=mdettweiler [2015-11-24 04:59:19] 887*2^1415942-1 is not prime. Res64: E82B528CA41112A7 Time : 0.0 sec. user=mdettweiler [2015-11-24 05:05:48] 957*2^1415942-1 is not prime. Res64: 4118F9C4EECD2DA4 Time : 0.0 sec. user=mdettweiler [2015-11-24 05:05:51] 703*2^1415943-1 is not prime. Res64: 448804261D06A1CA Time : 0.0 sec. user=mdettweiler [2015-11-24 05:14:46] 709*2^1415943-1 is not prime. Res64: A60277E8023D9574 Time : 0.0 sec. user=mdettweiler [2015-11-24 05:14:47] 885*2^1415943-1 is not prime. Res64: B0B7F8A1A6FF4E78 Time : 0.0 sec. user=mdettweiler [2015-11-24 05:16:20] 961*2^1415943-1 is not prime. Res64: B3DEE52C5F94A325 Time : 0.0 sec. user=mdettweiler [2015-11-24 05:16:21] 963*2^1415943-1 is not prime. Res64: 7EF4D5E0822A85BE Time : 0.0 sec. user=mdettweiler [2015-11-24 05:17:34] 985*2^1415943-1 is not prime. Res64: 379745895C273408 Time : 0.0 sec. user=mdettweiler [2015-11-24 05:17:35] 609*2^1415944-1 is not prime. Res64: 823652BDF16D194C Time : 0.0 sec. user=mdettweiler [2015-11-24 05:24:23] 635*2^1415944-1 is not prime. Res64: A836D026802BA76F Time : 0.0 sec. user=mdettweiler [2015-11-24 05:24:24] 705*2^1415944-1 is not prime. Res64: A700AC40421D87DA Time : 0.0 sec. user=mdettweiler [2015-11-24 05:33:10] 755*2^1415944-1 is not prime. Res64: 27EB5F7692EF8280 Time : 0.0 sec. user=mdettweiler [2015-11-24 05:33:11] 813*2^1415944-1 is not prime. Res64: 54FF6C21EFB999C6 Time : 0.0 sec. user=mdettweiler [2015-11-24 05:34:33] 825*2^1415944-1 is not prime. Res64: 4877BBA2E6A33ACC Time : 0.0 sec. user=mdettweiler [2015-11-24 05:34:34] 863*2^1415944-1 is not prime. Res64: 0FCA54EFD082EFB3 Time : 0.0 sec. user=mdettweiler [2015-11-24 05:35:45] 649*2^1415945-1 is not prime. Res64: 2E458A8E288B0DD1 Time : 0.0 sec. user=mdettweiler [2015-11-24 05:35:46] 735*2^1415945-1 is not prime. Res64: 73115738711A85A4 Time : 0.0 sec. user=mdettweiler [2015-11-24 05:42:25] 759*2^1415945-1 is not prime. Res64: E9E71D3F49743D26 Time : 0.0 sec. user=mdettweiler [2015-11-24 05:42:26] 939*2^1415945-1 is not prime. Res64: 60F333CBFB23289D Time : 0.0 sec. user=mdettweiler [2015-11-24 05:51:35] 783*2^1415946-1 is not prime. Res64: 03F1BDE3B330058F Time : 0.0 sec. user=mdettweiler [2015-11-24 05:51:36] 963*2^1415946-1 is not prime. Res64: 898770AA510DC4C4 Time : 0.0 sec. user=mdettweiler [2015-11-24 05:52:50] 673*2^1415947-1 is not prime. Res64: 2CEC27DBFDC44826 Time : 0.0 sec. user=mdettweiler [2015-11-24 05:52:51] 693*2^1415947-1 is not prime. Res64: ED07C58CACCE4D0D Time : 0.0 sec. user=mdettweiler [2015-11-24 05:54:03] 769*2^1415947-1 is not prime. Res64: 28D2F5349334B8C4 Time : 0.0 sec. user=mdettweiler [2015-11-24 05:54:04] 871*2^1415947-1 is not prime. Res64: 7B42B6645FDAE292 Time : 0.0 sec. user=mdettweiler [2015-11-24 06:00:42] 951*2^1415947-1 is not prime. Res64: E2C1B0B33D900555 Time : 0.0 sec. user=mdettweiler [2015-11-24 06:00:44] 979*2^1415947-1 is not prime. Res64: A5950AB132DA9B22 Time : 0.0 sec. user=mdettweiler [2015-11-24 06:09:47] 985*2^1415947-1 is not prime. Res64: FAD9F190028659BC Time : 0.0 sec. user=mdettweiler [2015-11-24 06:09:47] 603*2^1415948-1 is not prime. Res64: B6FFFBD1D9834265 Time : 0.0 sec. user=mdettweiler [2015-11-24 06:11:02] 669*2^1415948-1 is not prime. Res64: 87C6F80B30F26305 Time : 0.0 sec. user=mdettweiler [2015-11-24 06:11:03] 755*2^1415948-1 is not prime. Res64: 84B9C19E6E8CE314 Time : 0.0 sec. user=mdettweiler [2015-11-24 06:12:12] 845*2^1415948-1 is not prime. Res64: 36507CCDE0322CE5 Time : 0.0 sec. user=mdettweiler [2015-11-24 06:12:13] 855*2^1415948-1 is not prime. Res64: FBFBEE11A0E7059A Time : 0.0 sec. user=mdettweiler [2015-11-24 06:19:03] 953*2^1415948-1 is not prime. Res64: C39C6721135A280F Time : 0.0 sec. user=mdettweiler [2015-11-24 06:19:04] 625*2^1415949-1 is not prime. Res64: 5CB56167F66F06EF Time : 0.0 sec. user=mdettweiler [2015-11-24 06:27:54] 679*2^1415949-1 is not prime. Res64: B4D59EB8B3D4C258 Time : 0.0 sec. user=mdettweiler [2015-11-24 06:27:55] 891*2^1415949-1 is not prime. Res64: DE57354647431920 Time : 0.0 sec. user=mdettweiler [2015-11-24 06:29:06] 919*2^1415949-1 is not prime. Res64: 47817478F5AF111F Time : 0.0 sec. user=mdettweiler [2015-11-24 06:29:07] 945*2^1415949-1 is not prime. Res64: F227B4E4F606541F Time : 0.0 sec. user=mdettweiler [2015-11-24 06:30:13] 961*2^1415949-1 is not prime. Res64: E9FECD3B88B86DD4 Time : 0.0 sec. user=mdettweiler [2015-11-24 06:30:14] 979*2^1415949-1 is not prime. Res64: 400657B7024A96B5 Time : 0.0 sec. user=mdettweiler [2015-11-24 06:37:10] 997*2^1415949-1 is not prime. Res64: A52CB6069B8E075B Time : 0.0 sec. user=mdettweiler [2015-11-24 06:37:11] 999*2^1415949-1 is not prime. Res64: F9BB06065CF98B12 Time : 0.0 sec. user=mdettweiler [2015-11-24 06:46:07] 645*2^1415950-1 is not prime. Res64: CF3AAD641A08AED2 Time : 0.0 sec. user=mdettweiler [2015-11-24 06:46:08] 663*2^1415950-1 is not prime. Res64: A148DA13714A3130 Time : 0.0 sec. user=mdettweiler [2015-11-24 06:47:19] 717*2^1415950-1 is not prime. Res64: 70D5006E6B52343F Time : 0.0 sec. user=mdettweiler [2015-11-24 06:47:20] 731*2^1415950-1 is not prime. Res64: A24BBDE8F6B66138 Time : 0.0 sec. user=mdettweiler [2015-11-24 06:48:24] 827*2^1415950-1 is not prime. Res64: F034CE139681927B Time : 0.0 sec. user=mdettweiler [2015-11-24 06:48:26] 833*2^1415950-1 is not prime. Res64: 9F0A3982BBBC0F58 Time : 0.0 sec. user=mdettweiler [2015-11-24 06:55:17] 873*2^1415950-1 is not prime. Res64: 28AC3F138A4D90B8 Time : 0.0 sec. user=mdettweiler [2015-11-24 06:55:18] 885*2^1415950-1 is not prime. Res64: A505B2015C2A64CE Time : 0.0 sec. user=mdettweiler [2015-11-24 07:04:17] 609*2^1415951-1 is not prime. Res64: 8F54478DE1332850 Time : 0.0 sec. user=mdettweiler [2015-11-24 07:04:19] 703*2^1415951-1 is not prime. Res64: 5DDD302FD4710853 Time : 0.0 sec. user=mdettweiler [2015-11-24 07:05:22] 605*2^1415952-1 is not prime. Res64: C44E4FDA6624509D Time : 0.0 sec. user=mdettweiler [2015-11-24 07:05:24] 635*2^1415952-1 is not prime. Res64: A7BDEE4932067EC7 Time : 0.0 sec. user=mdettweiler [2015-11-24 07:06:30] 717*2^1415952-1 is not prime. Res64: 8515849020D87B66 Time : 0.0 sec. user=mdettweiler [2015-11-24 07:06:32] 767*2^1415952-1 is not prime. Res64: C28E562EB3CDF63E Time : 0.0 sec. user=mdettweiler [2015-11-24 07:13:27] 893*2^1415952-1 is not prime. Res64: 8ACED0FF14D9C062 Time : 0.0 sec. user=mdettweiler [2015-11-24 07:13:28] 639*2^1415953-1 is not prime. Res64: B5C1B6BDF0A8F149 Time : 0.0 sec. user=mdettweiler [2015-11-24 07:22:51] 741*2^1415953-1 is not prime. Res64: A7503F5BF37F084C Time : 0.0 sec. user=mdettweiler [2015-11-24 07:22:52] 747*2^1415953-1 is not prime. Res64: 27811BFAE0BAE095 Time : 0.0 sec. user=mdettweiler [2015-11-24 07:23:43] 801*2^1415953-1 is not prime. Res64: 990DDD18E044DD4C Time : 0.0 sec. user=mdettweiler [2015-11-24 07:23:44] 807*2^1415953-1 is not prime. Res64: 061C28C7F6BAD72B Time : 0.0 sec. user=mdettweiler [2015-11-24 07:24:40] 819*2^1415953-1 is not prime. Res64: 2011933D0224B036 Time : 0.0 sec. user=mdettweiler [2015-11-24 07:24:40] 847*2^1415953-1 is not prime. Res64: 0C0DBF9D17893E8D Time : 0.0 sec. user=mdettweiler [2015-11-24 07:31:45] 855*2^1415953-1 is not prime. Res64: C38AEB61E3676F50 Time : 0.0 sec. user=mdettweiler [2015-11-24 07:31:45] 889*2^1415953-1 is not prime. Res64: 827232172F96B4BD Time : 0.0 sec. user=mdettweiler [2015-11-24 07:40:58] 675*2^1415954-1 is not prime. Res64: CD3DB38DB8A358E8 Time : 0.0 sec. user=mdettweiler [2015-11-24 07:40:59] 747*2^1415954-1 is not prime. Res64: AA73759B3FE4E25B Time : 0.0 sec. user=mdettweiler [2015-11-24 07:41:47] 773*2^1415954-1 is not prime. Res64: 32A3AC5D1778C5B3 Time : 0.0 sec. user=mdettweiler [2015-11-24 07:41:48] 791*2^1415954-1 is not prime. Res64: 939C5A45E6C9489C Time : 0.0 sec. user=mdettweiler [2015-11-24 07:42:58] 797*2^1415954-1 is not prime. Res64: DBC09D0D7191CE2D Time : 0.0 sec. user=mdettweiler [2015-11-24 07:42:59] 813*2^1415954-1 is not prime. Res64: 13C960A9B5E5721C Time : 0.0 sec. user=mdettweiler [2015-11-24 07:49:53] 857*2^1415954-1 is not prime. Res64: D0540A4419E7EA9A Time : 0.0 sec. user=mdettweiler [2015-11-24 07:49:54] 875*2^1415954-1 is not prime. Res64: 0A67F5A94524C740 Time : 0.0 sec. user=mdettweiler [2015-11-24 07:59:05] 619*2^1415955-1 is not prime. Res64: 3FD8D15433B945F2 Time : 0.0 sec. user=mdettweiler [2015-11-24 07:59:06] 663*2^1415955-1 is not prime. Res64: BF937A098B49249A Time : 0.0 sec. user=mdettweiler [2015-11-24 08:00:07] 691*2^1415955-1 is not prime. Res64: D82AAD46FA93AFFC Time : 0.0 sec. user=mdettweiler [2015-11-24 08:00:09] 775*2^1415955-1 is not prime. Res64: 4F55CD3A7B1E5AEB Time : 0.0 sec. user=mdettweiler [2015-11-24 08:01:26] 783*2^1415955-1 is not prime. Res64: 2496A51D05E06A1A Time : 0.0 sec. user=mdettweiler [2015-11-24 08:01:28] 805*2^1415955-1 is not prime. Res64: 2533A412DD638871 Time : 0.0 sec. user=mdettweiler [2015-11-24 08:08:00] 825*2^1415955-1 is not prime. Res64: 9A299B72D4884272 Time : 0.0 sec. user=mdettweiler [2015-11-24 08:08:03] 871*2^1415955-1 is not prime. Res64: 3555EC1BCC2B71C6 Time : 0.0 sec. user=mdettweiler [2015-11-24 08:17:30] 951*2^1415955-1 is not prime. Res64: 8C3F0902F532ED27 Time : 0.0 sec. user=mdettweiler [2015-11-24 08:17:31] 617*2^1415956-1 is not prime. Res64: ECA8622288712457 Time : 0.0 sec. user=mdettweiler [2015-11-24 08:18:21] 699*2^1415956-1 is not prime. Res64: 9D27FDF7571EA291 Time : 0.0 sec. user=mdettweiler [2015-11-24 08:18:22] 707*2^1415956-1 is not prime. Res64: A6564C4ADC7AD2C4 Time : 0.0 sec. user=mdettweiler [2015-11-24 08:19:37] 887*2^1415956-1 is not prime. Res64: AC15089FE8250473 Time : 0.0 sec. user=mdettweiler [2015-11-24 08:19:38] 729*2^1415957-1 is not prime. Res64: 1BA8172FE9495B97 Time : 0.0 sec. user=mdettweiler [2015-11-24 08:26:23] 741*2^1415957-1 is not prime. Res64: 786AD6B07C85325D Time : 0.0 sec. user=mdettweiler [2015-11-24 08:26:24] 805*2^1415957-1 is not prime. Res64: 83F7E97C84EDE49D Time : 0.0 sec. user=mdettweiler [2015-11-24 08:35:47] 889*2^1415957-1 is not prime. Res64: C0C7D14439A0706B Time : 0.0 sec. user=mdettweiler [2015-11-24 08:35:48] 901*2^1415957-1 is not prime. Res64: 7A602B4EF19E2A27 Time : 0.0 sec. user=mdettweiler [2015-11-24 08:36:39] 927*2^1415957-1 is not prime. Res64: 04F727BB4C9E9A71 Time : 0.0 sec. user=mdettweiler [2015-11-24 08:36:40] 937*2^1415957-1 is not prime. Res64: 3CD860C2AC782845 Time : 0.0 sec. user=mdettweiler [2015-11-24 08:37:42] 621*2^1415958-1 is not prime. Res64: B1EAFE169CA50776 Time : 0.0 sec. user=mdettweiler [2015-11-24 08:37:43] 641*2^1415958-1 is not prime. Res64: E2FEC721495529DB Time : 0.0 sec. user=mdettweiler [2015-11-24 08:44:33] 681*2^1415958-1 is not prime. Res64: DDB0B465E28CF57E Time : 0.0 sec. user=mdettweiler [2015-11-24 08:44:35] 713*2^1415958-1 is not prime. Res64: 0A68995B744B1C88 Time : 0.0 sec. user=mdettweiler [2015-11-24 08:54:13] 725*2^1415958-1 is not prime. Res64: 566382693BEB6571 Time : 0.0 sec. user=mdettweiler [2015-11-24 08:54:14] 977*2^1415958-1 is not prime. Res64: 29E44A41E487904A Time : 0.0 sec. user=mdettweiler [2015-11-24 08:54:48] 639*2^1415959-1 is not prime. Res64: 05DB2D30CBF87554 Time : 0.0 sec. user=mdettweiler [2015-11-24 08:54:49] 675*2^1415959-1 is not prime. Res64: D27285E1B3386399 Time : 0.0 sec. user=mdettweiler [2015-11-24 08:55:47] 841*2^1415959-1 is not prime. Res64: 720653EB11AD3539 Time : 0.0 sec. user=mdettweiler [2015-11-24 08:55:48] 961*2^1415959-1 is not prime. Res64: D4D2CB50F755B88C Time : 0.0 sec. user=mdettweiler [2015-11-24 09:02:45] 999*2^1415959-1 is not prime. Res64: EAE165E3B9D427E2 Time : 0.0 sec. user=mdettweiler [2015-11-24 09:02:47] 675*2^1415960-1 is not prime. Res64: 8424F5040F311E4F Time : 0.0 sec. user=mdettweiler [2015-11-24 09:12:29] 717*2^1415960-1 is not prime. Res64: C3286260C075497E Time : 0.0 sec. user=mdettweiler [2015-11-24 09:12:30] 843*2^1415960-1 is not prime. Res64: 2A3DBFD1482096E1 Time : 0.0 sec. user=mdettweiler [2015-11-24 09:13:01] 983*2^1415960-1 is not prime. Res64: D4636C05D6FDB03A Time : 0.0 sec. user=mdettweiler [2015-11-24 09:13:02] 999*2^1415960-1 is not prime. Res64: 38BFBB065C7D1C51 Time : 0.0 sec. user=mdettweiler [2015-11-24 09:13:49] 681*2^1415961-1 is not prime. Res64: DB029EC9890F005D Time : 0.0 sec. user=mdettweiler [2015-11-24 09:13:50] 741*2^1415961-1 is not prime. Res64: D24CF91047747F83 Time : 0.0 sec. user=mdettweiler [2015-11-24 09:21:12] 777*2^1415961-1 is not prime. Res64: A6EF2FD8ED0CF77A Time : 0.0 sec. user=mdettweiler [2015-11-24 09:21:13] 781*2^1415961-1 is not prime. Res64: 683682F4D4F6ABAA Time : 0.0 sec. user=mdettweiler [2015-11-24 09:30:41] 789*2^1415961-1 is not prime. Res64: 19B8C29F86353C00 Time : 0.0 sec. user=mdettweiler [2015-11-24 09:30:42] 805*2^1415961-1 is not prime. Res64: 9B63A42BC74525B6 Time : 0.0 sec. user=mdettweiler [2015-11-24 09:31:20] 633*2^1415962-1 is not prime. Res64: 42DEC0B34E539BFC Time : 0.0 sec. user=mdettweiler [2015-11-24 09:31:21] 647*2^1415962-1 is not prime. Res64: EF0D6DEB6D0BB3FC Time : 0.0 sec. user=mdettweiler [2015-11-24 09:31:57] 713*2^1415962-1 is not prime. Res64: B977851B3214EA9A Time : 0.0 sec. user=mdettweiler [2015-11-24 09:31:58] 723*2^1415962-1 is not prime. Res64: 851BF5FED768D6C8 Time : 0.0 sec. user=mdettweiler [2015-11-24 09:39:34] 827*2^1415962-1 is not prime. Res64: 7EF4321435928634 Time : 0.0 sec. user=mdettweiler [2015-11-24 09:39:34] 881*2^1415962-1 is not prime. Res64: 3658929C820B5CA2 Time : 0.0 sec. user=mdettweiler [2015-11-24 09:48:48] 911*2^1415962-1 is not prime. Res64: D5E8831872D8444A Time : 0.0 sec. user=mdettweiler [2015-11-24 09:48:49] 995*2^1415962-1 is not prime. Res64: 9A0ED4C8D83F8F38 Time : 0.0 sec. user=mdettweiler [2015-11-24 09:49:31] 703*2^1415963-1 is not prime. Res64: E5B55EABC70FAE5A Time : 0.0 sec. user=mdettweiler [2015-11-24 09:49:32] 745*2^1415963-1 is not prime. Res64: BB2DB2FD5841CF08 Time : 0.0 sec. user=mdettweiler [2015-11-24 09:50:03] 783*2^1415963-1 is not prime. Res64: F6198AE1A9CE5936 Time : 0.0 sec. user=mdettweiler [2015-11-24 09:50:04] 889*2^1415963-1 is not prime. Res64: 3AD0CFA27B9E5F41 Time : 0.0 sec. user=mdettweiler [2015-11-24 09:57:46] 901*2^1415963-1 is not prime. Res64: 35C6F89C516EE4FF Time : 0.0 sec. user=mdettweiler [2015-11-24 09:57:47] 949*2^1415963-1 is not prime. Res64: 9BDE71BAD3C03F3F Time : 0.0 sec. user=mdettweiler [2015-11-24 10:06:56] 837*2^1415964-1 is not prime. Res64: AC8178575DB49DF6 Time : 0.0 sec. user=mdettweiler [2015-11-24 10:06:57] 947*2^1415964-1 is not prime. Res64: 1DDA5DD5CFE535ED Time : 0.0 sec. user=mdettweiler [2015-11-24 10:07:38] 959*2^1415964-1 is not prime. Res64: DCC26D7E8E07A10F Time : 0.0 sec. user=mdettweiler [2015-11-24 10:07:39] 609*2^1415965-1 is not prime. Res64: FDBFDC79136C9297 Time : 0.0 sec. user=mdettweiler [2015-11-24 10:08:09] 777*2^1415965-1 is not prime. Res64: F34FE4A10CA49EB6 Time : 0.0 sec. user=mdettweiler [2015-11-24 10:08:09] 897*2^1415965-1 is not prime. Res64: 5233843AD150609D Time : 0.0 sec. user=mdettweiler [2015-11-24 10:15:48] 961*2^1415965-1 is not prime. Res64: 97D6B96907990D9B Time : 0.0 sec. user=mdettweiler [2015-11-24 10:15:48] 975*2^1415965-1 is not prime. Res64: A8264432E47AD768 Time : 0.0 sec. user=mdettweiler [2015-11-24 10:25:03] 997*2^1415965-1 is not prime. Res64: 437BF899F13A8CC2 Time : 0.0 sec. user=mdettweiler [2015-11-24 10:25:04] 635*2^1415966-1 is not prime. Res64: 2183DA74EE730303 Time : 0.0 sec. user=mdettweiler [2015-11-24 10:25:36] 645*2^1415966-1 is not prime. Res64: 239C913756FE562C Time : 0.0 sec. user=mdettweiler [2015-11-24 10:25:36] 657*2^1415966-1 is not prime. Res64: 2B6D8EDEE88C8EB1 Time : 0.0 sec. user=mdettweiler [2015-11-24 10:26:15] 755*2^1415966-1 is not prime. Res64: 27235614E5CED607 Time : 0.0 sec. user=mdettweiler [2015-11-24 10:26:15] 813*2^1415966-1 is not prime. Res64: 13820F59AEE3D9BA Time : 0.0 sec. user=mdettweiler [2015-11-24 10:33:47] 867*2^1415966-1 is not prime. Res64: 46893F62039EC6FC Time : 0.0 sec. user=mdettweiler [2015-11-24 10:33:47] 923*2^1415966-1 is not prime. Res64: BC56DD2A382E4103 Time : 0.0 sec. user=mdettweiler [2015-11-24 10:43:13] 963*2^1415966-1 is not prime. Res64: 254B5BC68D7C0250 Time : 0.0 sec. user=mdettweiler [2015-11-24 10:43:14] 793*2^1415967-1 is not prime. Res64: 1DA2EDF7B959E4AA Time : 0.0 sec. user=mdettweiler [2015-11-24 10:43:40] 871*2^1415967-1 is not prime. Res64: 8C6AE9A93A985BB7 Time : 0.0 sec. user=mdettweiler [2015-11-24 10:43:40] 979*2^1415967-1 is not prime. Res64: 8F74D643F8B7ED43 Time : 0.0 sec. user=mdettweiler [2015-11-24 10:44:28] 605*2^1415968-1 is not prime. Res64: DE4AC8C67A9DA802 Time : 0.0 sec. user=mdettweiler [2015-11-24 10:44:28] 629*2^1415968-1 is not prime. Res64: D9E7222BCB8ACA3B Time : 0.0 sec. user=mdettweiler [2015-11-24 10:51:59] 665*2^1415968-1 is not prime. Res64: FBEC40D936B41D8E Time : 0.0 sec. user=mdettweiler [2015-11-24 10:51:59] 705*2^1415968-1 is not prime. Res64: E875856F55AECB74 Time : 0.0 sec. user=mdettweiler [2015-11-24 11:01:19] 755*2^1415968-1 is not prime. Res64: 3D8ED5B92C9E5E0C Time : 0.0 sec. user=mdettweiler [2015-11-24 11:01:20] 797*2^1415968-1 is not prime. Res64: FE1E1BEFFFCAEB89 Time : 0.0 sec. user=mdettweiler [2015-11-24 11:01:50] 849*2^1415968-1 is not prime. Res64: 59357F7ECC86FA65 Time : 0.0 sec. user=mdettweiler [2015-11-24 11:01:51] 915*2^1415968-1 is not prime. Res64: C4863350985F77A7 Time : 0.0 sec. user=mdettweiler [2015-11-24 11:02:33] 975*2^1415968-1 is not prime. Res64: D3FAE4C7435754F8 Time : 0.0 sec. user=mdettweiler [2015-11-24 11:02:34] 989*2^1415968-1 is not prime. Res64: 3D443F651BA9C289 Time : 0.0 sec. user=mdettweiler [2015-11-24 11:10:10] 993*2^1415968-1 is not prime. Res64: 7189D62FE4C60636 Time : 0.0 sec. user=mdettweiler [2015-11-24 11:10:10] 999*2^1415968-1 is not prime. Res64: DBD42037167CEEE1 Time : 0.0 sec. user=mdettweiler [2015-11-24 11:19:18] 831*2^1415969-1 is not prime. Res64: B4B9B467D0426D77 Time : 0.0 sec. user=mdettweiler [2015-11-24 11:19:18] 841*2^1415969-1 is not prime. Res64: 24CC2862E8DEE43A Time : 0.0 sec. user=mdettweiler [2015-11-24 11:19:55] 897*2^1415969-1 is not prime. Res64: A828F9084FD17EE2 Time : 0.0 sec. user=mdettweiler [2015-11-24 11:19:55] 955*2^1415969-1 is not prime. Res64: 780438DC76D465CF Time : 0.0 sec. user=mdettweiler [2015-11-24 11:20:55] 695*2^1415970-1 is not prime. Res64: 5DFAC258A2BDC83C Time : 0.0 sec. user=mdettweiler [2015-11-24 11:20:55] 735*2^1415970-1 is not prime. Res64: 56063A33E3FC6B8E Time : 0.0 sec. user=mdettweiler [2015-11-24 11:28:12] 797*2^1415970-1 is not prime. Res64: 1B20E5784476EA0A Time : 0.0 sec. user=mdettweiler [2015-11-24 11:28:13] 821*2^1415970-1 is not prime. Res64: 72B6A26CFABC5C08 Time : 0.0 sec. user=mdettweiler [2015-11-24 11:37:25] 851*2^1415970-1 is not prime. Res64: E5C67F7B273B3644 Time : 0.0 sec. user=mdettweiler [2015-11-24 11:37:25] 963*2^1415970-1 is not prime. Res64: CC65269EE5429BF3 Time : 0.0 sec. user=mdettweiler [2015-11-24 11:38:08] 631*2^1415971-1 is not prime. Res64: E8EB5774D47B0BA2 Time : 0.0 sec. user=mdettweiler [2015-11-24 11:38:09] 649*2^1415971-1 is not prime. Res64: 1C5F4520B6EF04CC Time : 0.0 sec. user=mdettweiler [2015-11-24 11:38:50] 693*2^1415971-1 is not prime. Res64: A5377A9C61D3A7F8 Time : 0.0 sec. user=mdettweiler [2015-11-24 11:38:50] 705*2^1415971-1 is not prime. Res64: A0AE3445DE5F5994 Time : 0.0 sec. user=mdettweiler [2015-11-24 11:46:14] 723*2^1415971-1 is not prime. Res64: 62B977C578028741 Time : 0.0 sec. user=mdettweiler [2015-11-24 11:46:15] 769*2^1415971-1 is not prime. Res64: 851E3D071DC5450F Time : 0.0 sec. user=mdettweiler [2015-11-24 11:55:43] 805*2^1415971-1 is not prime. Res64: 56EABA22163576FD Time : 0.0 sec. user=mdettweiler [2015-11-24 11:55:43] 829*2^1415971-1 is not prime. Res64: D72ADED1DAD21F43 Time : 0.0 sec. user=mdettweiler [2015-11-24 11:56:29] 835*2^1415971-1 is not prime. Res64: DDB40F17CDA75D55 Time : 0.0 sec. user=mdettweiler [2015-11-24 11:56:29] 677*2^1415972-1 is not prime. Res64: 64278F0081E4654E Time : 0.0 sec. user=mdettweiler [2015-11-24 11:57:03] 759*2^1415972-1 is not prime. Res64: 504CA1EF584F242D Time : 0.0 sec. user=mdettweiler [2015-11-24 11:57:03] 855*2^1415972-1 is not prime. Res64: CB3FD15340EFA02E Time : 0.0 sec. user=mdettweiler [2015-11-24 12:04:33] 903*2^1415972-1 is not prime. Res64: 36A792DFC192A1F7 Time : 0.0 sec. user=mdettweiler [2015-11-24 12:04:35] 923*2^1415972-1 is not prime. Res64: F6C61B0F96B335F2 Time : 0.0 sec. user=mdettweiler [2015-11-24 12:13:44] 657*2^1415973-1 is not prime. Res64: E779EE11F7FF417D Time : 0.0 sec. user=mdettweiler [2015-11-24 12:13:44] 691*2^1415973-1 is not prime. Res64: 83501D568AE8F2C7 Time : 0.0 sec. user=mdettweiler [2015-11-24 12:14:30] 861*2^1415973-1 is not prime. Res64: E6E773373A197E79 Time : 0.0 sec. user=mdettweiler [2015-11-24 12:14:30] 915*2^1415973-1 is not prime. Res64: D2E78D9FFEE9A156 Time : 0.0 sec. user=mdettweiler [2015-11-24 12:15:08] 827*2^1415974-1 is not prime. Res64: 3A8042DEF166CF8E Time : 0.0 sec. user=mdettweiler [2015-11-24 12:15:09] 915*2^1415974-1 is not prime. Res64: E1E686DEA9D778FC Time : 0.0 sec. user=mdettweiler [2015-11-24 12:22:46] 643*2^1415975-1 is not prime. Res64: BE213E5CD50BF322 Time : 0.0 sec. user=mdettweiler [2015-11-24 12:22:46] 679*2^1415975-1 is not prime. Res64: C8F617A9C010B2FA Time : 0.0 sec. user=mdettweiler [2015-11-24 12:31:48] 705*2^1415975-1 is not prime. Res64: 2E53C9797C7DA1B5 Time : 0.0 sec. user=mdettweiler [2015-11-24 12:31:48] 735*2^1415975-1 is not prime. Res64: A17BA85C46D58BAD Time : 0.0 sec. user=mdettweiler [2015-11-24 12:32:37] 789*2^1415975-1 is not prime. Res64: DE8DC2227231481D Time : 0.0 sec. user=mdettweiler [2015-11-24 12:32:37] 859*2^1415975-1 is not prime. Res64: 581CEA66F9F3765F Time : 0.0 sec. user=mdettweiler [2015-11-24 12:33:18] 635*2^1415976-1 is not prime. Res64: 9284C716159C0C08 Time : 0.0 sec. user=mdettweiler [2015-11-24 12:33:18] 843*2^1415976-1 is not prime. Res64: 5EC821EB210A31DF Time : 0.0 sec. user=mdettweiler [2015-11-24 12:40:54] 917*2^1415976-1 is not prime. Res64: CC57D0AFF023581F Time : 0.0 sec. user=mdettweiler [2015-11-24 12:40:54] 667*2^1415977-1 is not prime. Res64: 7112949546C7F4A2 Time : 0.0 sec. user=mdettweiler [2015-11-24 12:49:52] 835*2^1415977-1 is not prime. Res64: 79E2BB70DB96D8EE Time : 0.0 sec. user=mdettweiler [2015-11-24 12:49:52] 847*2^1415977-1 is not prime. Res64: D70F44A2C9B6F0EC Time : 0.0 sec. user=mdettweiler [2015-11-24 12:50:40] 945*2^1415977-1 is not prime. Res64: AFCE25C252A3AAF0 Time : 0.0 sec. user=mdettweiler [2015-11-24 12:50:40] 755*2^1415978-1 is not prime. Res64: EF2406F5F98BE236 Time : 0.0 sec. user=mdettweiler [2015-11-24 12:51:28] 867*2^1415978-1 is not prime. Res64: EE94CD011B1FCBF2 Time : 0.0 sec. user=mdettweiler [2015-11-24 12:51:28] 887*2^1415978-1 is not prime. Res64: E875145025F98409 Time : 0.0 sec. user=mdettweiler [2015-11-24 12:59:00] 927*2^1415978-1 is not prime. Res64: 50B28BD71479D2B2 Time : 0.0 sec. user=mdettweiler [2015-11-24 12:59:00] 953*2^1415978-1 is not prime. Res64: 62AB4EE95D3AC030 Time : 0.0 sec. user=mdettweiler [2015-11-24 13:07:53] 801*2^1415979-1 is not prime. Res64: B2CEC96D13FB22B2 Time : 0.0 sec. user=mdettweiler [2015-11-24 13:07:53] 903*2^1415979-1 is not prime. Res64: 86AE1AE228030E3B Time : 0.0 sec. user=mdettweiler [2015-11-24 13:08:48] 991*2^1415979-1 is not prime. Res64: E5F85CCBCC223B87 Time : 0.0 sec. user=mdettweiler [2015-11-24 13:08:49] 623*2^1415980-1 is not prime. Res64: EB5A1C9CE6379D1C Time : 0.0 sec. user=mdettweiler [2015-11-24 13:09:26] 647*2^1415980-1 is not prime. Res64: 5BB0BD6F8D428F9E Time : 0.0 sec. user=mdettweiler [2015-11-24 13:09:26] 675*2^1415980-1 is not prime. Res64: CF0531EE344AC720 Time : 0.0 sec. user=mdettweiler [2015-11-24 13:17:07] 699*2^1415980-1 is not prime. Res64: 2D9EBB0615C8CE20 Time : 0.0 sec. user=mdettweiler [2015-11-24 13:17:08] 783*2^1415980-1 is not prime. Res64: 3BB2F88B5F2098A1 Time : 0.0 sec. user=mdettweiler [2015-11-24 13:26:03] 839*2^1415980-1 is not prime. Res64: D8D4DD48286B56FF Time : 0.0 sec. user=mdettweiler [2015-11-24 13:26:03] 975*2^1415980-1 is not prime. Res64: 7D8A52DC80A88A27 Time : 0.0 sec. user=mdettweiler [2015-11-24 13:26:55] 675*2^1415981-1 is not prime. Res64: EE20B61224B9F8FF Time : 0.0 sec. user=mdettweiler [2015-11-24 13:26:56] 777*2^1415981-1 is not prime. Res64: 4628DBB5D7503A4C Time : 0.0 sec. user=mdettweiler [2015-11-24 13:27:25] 901*2^1415981-1 is not prime. Res64: 9BBEC573068A899E Time : 0.0 sec. user=mdettweiler [2015-11-24 13:27:25] 611*2^1415982-1 is not prime. Res64: E44754D80B5A41AE Time : 0.0 sec. user=mdettweiler [2015-11-24 13:35:04] 621*2^1415982-1 is not prime. Res64: 1A0F30BDCF1794E1 Time : 0.0 sec. user=mdettweiler [2015-11-24 13:35:04] 725*2^1415982-1 is not prime. Res64: 647F9798A75F72E4 Time : 0.0 sec. user=mdettweiler [2015-11-24 13:44:15] 741*2^1415982-1 is not prime. Res64: 1F0D5D7497492F3E Time : 0.0 sec. user=mdettweiler [2015-11-24 13:44:15] 777*2^1415982-1 is not prime. Res64: FC3D1FB55D6F7437 Time : 0.0 sec. user=mdettweiler [2015-11-24 13:45:08] 825*2^1415982-1 is not prime. Res64: 5FDDD0FFC4E5745B Time : 0.0 sec. user=mdettweiler [2015-11-24 13:45:08] 893*2^1415982-1 is not prime. Res64: 733DCF09888ECBFF Time : 0.0 sec. user=mdettweiler [2015-11-24 13:45:35] 917*2^1415982-1 is not prime. Res64: 79C4977B35243FF9 Time : 0.0 sec. user=mdettweiler [2015-11-24 13:45:35] 603*2^1415983-1 is not prime. Res64: BBF56C2B08FE0FA1 Time : 0.0 sec. user=mdettweiler [2015-11-24 13:53:10] 619*2^1415983-1 is not prime. Res64: EC0DF5C39E22650D Time : 0.0 sec. user=mdettweiler [2015-11-24 13:53:11] 633*2^1415983-1 is not prime. Res64: E499DE0DD34A45A5 Time : 0.0 sec. user=mdettweiler [2015-11-24 14:02:10] 639*2^1415983-1 is not prime. Res64: F72892A82109C8B1 Time : 0.0 sec. user=mdettweiler [2015-11-24 14:02:12] 673*2^1415983-1 is not prime. Res64: F4FF2AFAD71E6537 Time : 0.0 sec. user=mdettweiler [2015-11-24 14:03:06] 709*2^1415983-1 is not prime. Res64: 4BF2F5F3DEED85F2 Time : 0.0 sec. user=mdettweiler [2015-11-24 14:03:07] 805*2^1415983-1 is not prime. Res64: 33B85739292C59FB Time : 0.0 sec. user=mdettweiler [2015-11-24 14:03:32] 819*2^1415983-1 is not prime. Res64: D75C90A95AFAED17 Time : 0.0 sec. user=mdettweiler [2015-11-24 14:03:34] 913*2^1415983-1 is not prime. Res64: CE0FCDCFA1B78011 Time : 0.0 sec. user=mdettweiler [2015-11-24 14:11:18] 993*2^1415983-1 is not prime. Res64: 33D129E248DAA244 Time : 0.0 sec. user=mdettweiler [2015-11-24 14:11:19] 615*2^1415984-1 is not prime. Res64: 4C2733D2425EFAC5 Time : 0.0 sec. user=mdettweiler [2015-11-24 14:20:26] 755*2^1415984-1 is not prime. Res64: D390328A2977615E Time : 0.0 sec. user=mdettweiler [2015-11-24 14:20:28] 813*2^1415984-1 is not prime. Res64: F27F612A60C5154A Time : 0.0 sec. user=mdettweiler [2015-11-24 14:21:18] 825*2^1415984-1 is not prime. Res64: D4A78AB77FB388F7 Time : 0.0 sec. user=mdettweiler [2015-11-24 14:21:19] 827*2^1415984-1 is not prime. Res64: 3BD65346E5EBB53B Time : 0.0 sec. user=mdettweiler [2015-11-24 14:21:43] 869*2^1415984-1 is not prime. Res64: 41AE18E1A6C8996F Time : 0.0 sec. user=mdettweiler [2015-11-24 14:21:44] 657*2^1415985-1 is not prime. Res64: 3E0B93C75FDD3D2F Time : 0.0 sec. user=mdettweiler [2015-11-24 14:29:58] 705*2^1415985-1 is not prime. Res64: E6405A778B0D0DCC Time : 0.0 sec. user=mdettweiler [2015-11-24 14:29:58] 709*2^1415985-1 is not prime. Res64: F4AF019717BBC421 Time : 0.0 sec. user=mdettweiler [2015-11-24 14:39:19] 735*2^1415985-1 is not prime. Res64: 3A6ED3566C50B999 Time : 0.0 sec. user=mdettweiler [2015-11-24 14:39:20] 817*2^1415985-1 is not prime. Res64: 3490C13C058DCED5 Time : 0.0 sec. user=mdettweiler [2015-11-24 14:40:04] 861*2^1415985-1 is not prime. Res64: F75C364FB8F59D3E Time : 0.0 sec. user=mdettweiler [2015-11-24 14:40:04] 909*2^1415985-1 is not prime. Res64: ED7AC9EC6A296B7E Time : 0.0 sec. user=mdettweiler [2015-11-24 14:40:24] 717*2^1415986-1 is not prime. Res64: A087A47153570930 Time : 0.0 sec. user=mdettweiler [2015-11-24 14:40:24] 857*2^1415986-1 is not prime. Res64: 37EC03481E46FD71 Time : 0.0 sec. user=mdettweiler [2015-11-24 14:48:33] 873*2^1415986-1 is not prime. Res64: E33CD077933711F6 Time : 0.0 sec. user=mdettweiler [2015-11-24 14:48:34] 957*2^1415986-1 is not prime. Res64: 242EBB139DA773C2 Time : 0.0 sec. user=mdettweiler [2015-11-24 14:57:49] 1001*2^1415986-1 is not prime. Res64: D268A947EB83AC83 Time : 0.0 sec. user=mdettweiler [2015-11-24 14:57:49] 619*2^1415987-1 is not prime. Res64: E902B7D2D21599F8 Time : 0.0 sec. user=mdettweiler [2015-11-24 14:58:50] 703*2^1415987-1 is not prime. Res64: E9B87B12A8F9B263 Time : 0.0 sec. user=mdettweiler [2015-11-24 14:58:51] 735*2^1415987-1 is not prime. Res64: A86811CC972B57B1 Time : 0.0 sec. user=mdettweiler [2015-11-24 14:59:14] 879*2^1415987-1 is not prime. Res64: 80B8302B0B04CBFB Time : 0.0 sec. user=mdettweiler [2015-11-24 14:59:15] 883*2^1415987-1 is not prime. Res64: 79C0195B72066063 Time : 0.0 sec. user=mdettweiler [2015-11-24 15:07:25] 981*2^1415987-1 is not prime. Res64: FBA4398E57626273 Time : 0.0 sec. user=mdettweiler [2015-11-24 15:07:25] 629*2^1415988-1 is not prime. Res64: F6DC8C09BBAA4F1C Time : 0.0 sec. user=mdettweiler [2015-11-24 15:16:16] 735*2^1415988-1 is not prime. Res64: A60E2D9B27F00984 Time : 0.0 sec. user=mdettweiler [2015-11-24 15:16:17] 789*2^1415988-1 is not prime. Res64: 5D821073F6D2C82A Time : 0.0 sec. user=mdettweiler [2015-11-24 15:17:18] 935*2^1415988-1 is not prime. Res64: D9679FF1F59C43B0 Time : 0.0 sec. user=mdettweiler [2015-11-24 15:17:18] 999*2^1415988-1 is not prime. Res64: 865280DA2C0A9C45 Time : 0.0 sec. user=mdettweiler [2015-11-24 15:17:20] 839*2^1415988-1 is not prime. Res64: 78134D6D5E6D5FB1 Time : 0.0 sec. user=mdettweiler [2015-11-24 15:17:20] 843*2^1415988-1 is not prime. Res64: 8BC7D78A09B2B2BB Time : 0.0 sec. user=mdettweiler [2015-11-24 15:25:27] 609*2^1415989-1 is not prime. Res64: B5FE18E91B44D235 Time : 0.0 sec. user=mdettweiler [2015-11-24 15:25:27] 895*2^1415989-1 is not prime. Res64: 5E872C251B4FA46A Time : 0.0 sec. user=mdettweiler [2015-11-24 15:34:41] 951*2^1415989-1 is not prime. Res64: 6B056838D3DF7C31 Time : 0.0 sec. user=mdettweiler [2015-11-24 15:34:41] 955*2^1415989-1 is not prime. Res64: 4412E9A823D01195 Time : 0.0 sec. user=mdettweiler [2015-11-24 15:35:31] 967*2^1415989-1 is not prime. Res64: D3D68153E7CC5654 Time : 0.0 sec. user=mdettweiler [2015-11-24 15:35:32] 663*2^1415990-1 is not prime. Res64: 92E950A3EDFB6417 Time : 0.0 sec. user=mdettweiler [2015-11-24 15:35:53] 713*2^1415990-1 is not prime. Res64: E9DF5D576ACEB0F0 Time : 0.0 sec. user=mdettweiler [2015-11-24 15:35:54] 827*2^1415990-1 is not prime. Res64: A08D8888895B6F87 Time : 0.0 sec. user=mdettweiler [2015-11-24 15:44:38] 857*2^1415990-1 is not prime. Res64: 49D00E60AFE68DDF Time : 0.0 sec. user=mdettweiler [2015-11-24 15:44:38] 915*2^1415990-1 is not prime. Res64: 6D9B700A44DC7A55 Time : 0.0 sec. user=mdettweiler [2015-11-24 15:53:50] 987*2^1415990-1 is not prime. Res64: 85C33EC78D4C379A Time : 0.0 sec. user=mdettweiler [2015-11-24 15:53:50] 1001*2^1415990-1 is not prime. Res64: 22D65C51333CAAE0 Time : 0.0 sec. user=mdettweiler [2015-11-24 15:54:47] 745*2^1415991-1 is not prime. Res64: D07100FFAB53AE26 Time : 0.0 sec. user=mdettweiler [2015-11-24 15:54:48] 775*2^1415991-1 is not prime. Res64: AEFB6428C6C4919E Time : 0.0 sec. user=mdettweiler [2015-11-24 15:55:31] 805*2^1415991-1 is not prime. Res64: 1532AF04A9FF036E Time : 0.0 sec. user=mdettweiler [2015-11-24 15:55:31] 895*2^1415991-1 is not prime. Res64: A0B0683534E03AE4 Time : 0.0 sec. user=mdettweiler [2015-11-24 16:03:44] 921*2^1415991-1 is not prime. Res64: D2F483D8C09F97BC Time : 0.0 sec. user=mdettweiler [2015-11-24 16:03:46] 945*2^1415991-1 is not prime. Res64: 405388A3480A7438 Time : 0.0 sec. user=mdettweiler [2015-11-24 16:12:33] 955*2^1415991-1 is not prime. Res64: 81FC46A3BD0DA75A Time : 0.0 sec. user=mdettweiler [2015-11-24 16:12:34] 609*2^1415992-1 is not prime. Res64: 7936FD6E94D13643 Time : 0.0 sec. user=mdettweiler [2015-11-24 16:13:26] 617*2^1415992-1 is not prime. Res64: 249BFC1748BF9EE6 Time : 0.0 sec. user=mdettweiler [2015-11-24 16:13:26] 743*2^1415992-1 is not prime. Res64: E9B65599DD2C40FC Time : 0.0 sec. user=mdettweiler [2015-11-24 16:14:25] 777*2^1415992-1 is not prime. Res64: 566F4E590BA71235 Time : 0.0 sec. user=mdettweiler [2015-11-24 16:14:26] 869*2^1415992-1 is not prime. Res64: 4082C208838DEE26 Time : 0.0 sec. user=mdettweiler [2015-11-24 16:22:50] 909*2^1415992-1 is not prime. Res64: AFE9F3073BA4824C Time : 0.0 sec. user=mdettweiler [2015-11-24 16:22:50] 939*2^1415992-1 is not prime. Res64: 641E646EBEA58058 Time : 0.0 sec. user=mdettweiler [2015-11-24 16:31:26] 811*2^1415993-1 is not prime. Res64: 201857C7A485BC93 Time : 0.0 sec. user=mdettweiler [2015-11-24 16:31:26] 939*2^1415993-1 is not prime. Res64: 75711FA1F2124BDC Time : 0.0 sec. user=mdettweiler [2015-11-24 16:32:21] 945*2^1415993-1 is not prime. Res64: B10C885CF547ACB2 Time : 0.0 sec. user=mdettweiler [2015-11-24 16:32:21] 979*2^1415993-1 is not prime. Res64: 94DE60C4EDC1CA3D Time : 0.0 sec. user=mdettweiler [2015-11-24 16:33:28] 615*2^1415994-1 is not prime. Res64: 728B5AE0070404EC Time : 0.0 sec. user=mdettweiler [2015-11-24 16:33:28] 711*2^1415994-1 is not prime. Res64: 4D671F47EA2EB280 Time : 0.0 sec. user=mdettweiler [2015-11-24 16:41:58] 765*2^1415994-1 is not prime. Res64: 059C4699C31F23D6 Time : 0.0 sec. user=mdettweiler [2015-11-24 16:41:59] 803*2^1415994-1 is not prime. Res64: D49E8EC86E447E8D Time : 0.0 sec. user=mdettweiler [2015-11-24 16:50:50] 893*2^1415994-1 is not prime. Res64: 75D5CE73982AE1C2 Time : 0.0 sec. user=mdettweiler [2015-11-24 16:50:50] 645*2^1415995-1 is not prime. Res64: 3F55D6CEBDDEC766 Time : 0.0 sec. user=mdettweiler [2015-11-24 16:51:47] 759*2^1415995-1 is not prime. Res64: 2EC88C0EA3F435FD Time : 0.0 sec. user=mdettweiler [2015-11-24 16:51:47] 885*2^1415995-1 is not prime. Res64: 97033273564D0E47 Time : 0.0 sec. user=mdettweiler [2015-11-24 16:52:34] 939*2^1415995-1 is not prime. Res64: 5FBDE015E341DA0A Time : 0.0 sec. user=mdettweiler [2015-11-24 16:52:35] 825*2^1415996-1 is not prime. Res64: 2B0DE8199CC31FA0 Time : 0.0 sec. user=mdettweiler [2015-11-24 17:00:47] 857*2^1415996-1 is not prime. Res64: 67106A2B1DA7B595 Time : 0.0 sec. user=mdettweiler [2015-11-24 17:00:47] 875*2^1415996-1 is not prime. Res64: F007B6EA79C7F711 Time : 0.0 sec. user=mdettweiler [2015-11-24 17:09:08] 903*2^1415996-1 is not prime. Res64: 693F896BFC74B82F Time : 0.0 sec. user=mdettweiler [2015-11-24 17:09:09] 969*2^1415996-1 is not prime. Res64: 23B29499F248EAE0 Time : 0.0 sec. user=mdettweiler [2015-11-24 17:09:50] 999*2^1415996-1 is not prime. Res64: 408BEB4D40AC1FEB Time : 0.0 sec. user=mdettweiler [2015-11-24 17:09:50] 661*2^1415997-1 is not prime. Res64: 8C0120CC1EB2CFBB Time : 0.0 sec. user=mdettweiler [2015-11-24 17:10:49] 741*2^1415997-1 is not prime. Res64: 75701C6F5525C25C Time : 0.0 sec. user=mdettweiler [2015-11-24 17:10:50] 805*2^1415997-1 is not prime. Res64: 2F9009241419CE20 Time : 0.0 sec. user=mdettweiler [2015-11-24 17:18:56] 819*2^1415997-1 is not prime. Res64: 48DEA8C76BE76A90 Time : 0.0 sec. user=mdettweiler [2015-11-24 17:18:56] 945*2^1415997-1 is not prime. Res64: 7227E85C519C004E Time : 0.0 sec. user=mdettweiler [2015-11-24 17:27:14] 635*2^1415998-1 is not prime. Res64: 12F51ACC8F7258F2 Time : 0.0 sec. user=mdettweiler [2015-11-24 17:27:14] 707*2^1415998-1 is not prime. Res64: AF89C9C439E936F1 Time : 0.0 sec. user=mdettweiler [2015-11-24 17:27:51] 915*2^1415998-1 is not prime. Res64: 25B4171F7138971A Time : 0.0 sec. user=mdettweiler [2015-11-24 17:27:52] 945*2^1415998-1 is not prime. Res64: 9FC9F333D9609A0F Time : 0.0 sec. user=mdettweiler [2015-11-24 17:28:56] 975*2^1415998-1 is not prime. Res64: 81E79EF8B6249E8F Time : 0.0 sec. user=mdettweiler [2015-11-24 17:28:57] 987*2^1415998-1 is not prime. Res64: FB808E7CAB79F590 Time : 0.0 sec. user=mdettweiler [2015-11-24 17:37:01] 615*2^1415999-1 is not prime. Res64: 1B3765FC52E1B0EF Time : 0.0 sec. user=mdettweiler [2015-11-24 17:37:02] 621*2^1415999-1 is not prime. Res64: 3F6090A13EA30213 Time : 0.0 sec. user=mdettweiler [2015-11-24 17:45:23] 633*2^1415999-1 is not prime. Res64: 518482A7B7002A01 Time : 0.0 sec. user=mdettweiler [2015-11-24 17:45:24] 669*2^1415999-1 is not prime. Res64: 40F576EE4E196459 Time : 0.0 sec. user=mdettweiler [2015-11-24 17:46:03] 735*2^1415999-1 is not prime. Res64: FB00CE9F539AAF1B Time : 0.0 sec. user=mdettweiler [2015-11-24 17:46:04] 759*2^1415999-1 is not prime. Res64: 5510983263BB6FFE Time : 0.0 sec. user=mdettweiler [2015-11-24 17:47:06] 823*2^1415999-1 is not prime. Res64: 6501626A9202AAD2 Time : 0.0 sec. user=mdettweiler [2015-11-24 17:47:07] 885*2^1415999-1 is not prime. Res64: F0AF659F42A0C03F Time : 0.0 sec. user=mdettweiler [2015-11-24 17:55:17] 895*2^1415999-1 is not prime. Res64: 1F017F898D64D30A Time : 0.0 sec. user=mdettweiler [2015-11-24 17:55:17] 991*2^1415999-1 is not prime. Res64: 5083DACE99EDDA9C Time : 0.0 sec. user=mdettweiler [2015-11-24 18:03:38] 633*2^1416000-1 is not prime. Res64: 3AEF49CE91DE0201 Time : 0.0 sec. user=mdettweiler [2015-11-24 18:03:39] 737*2^1416000-1 is not prime. Res64: A463124072927A5B Time : 0.0 sec. user=mdettweiler [2015-11-24 18:04:17] 819*2^1416000-1 is not prime. Res64: C8338A69029BBE54 Time : 0.0 sec. user=mdettweiler [2015-11-24 18:04:19] 999*2^1416000-1 is not prime. Res64: 13CF1AAD26C24D97 Time : 0.0 sec. user=mdettweiler [2015-11-24 18:05:23] 619*2^1416001-1 is not prime. Res64: E888703367C5E7F5 Time : 0.0 sec. user=mdettweiler [2015-11-24 18:05:24] 645*2^1416001-1 is not prime. Res64: 7A7CDC117BD359C9 Time : 0.0 sec. user=mdettweiler [2015-11-24 18:13:28] 769*2^1416001-1 is not prime. Res64: 2E02015BA0E9D7A8 Time : 0.0 sec. user=mdettweiler [2015-11-24 18:13:29] 847*2^1416001-1 is not prime. Res64: 7D354F97BE471651 Time : 0.0 sec. user=mdettweiler [2015-11-24 18:22:00] 877*2^1416001-1 is not prime. Res64: 8E1674385D036B49 Time : 0.0 sec. user=mdettweiler [2015-11-24 18:22:00] 931*2^1416001-1 is not prime. Res64: CDDD4F1387EED4D0 Time : 0.0 sec. user=mdettweiler [2015-11-24 18:22:25] 957*2^1416001-1 is not prime. Res64: 4126A445D0A22A42 Time : 0.0 sec. user=mdettweiler [2015-11-24 18:22:25] 615*2^1416002-1 is not prime. Res64: 5D19351044998A47 Time : 0.0 sec. user=mdettweiler [2015-11-24 18:23:37] 635*2^1416002-1 is not prime. Res64: FF826569547CDBEF Time : 0.0 sec. user=mdettweiler [2015-11-24 18:23:37] 741*2^1416002-1 is not prime. Res64: 9D238DE9D70E9BAA Time : 0.0 sec. user=mdettweiler [2015-11-24 18:31:29] 755*2^1416002-1 is not prime. Res64: 2F07E990EB246B93 Time : 0.0 sec. user=mdettweiler [2015-11-24 18:31:30] 797*2^1416002-1 is not prime. Res64: A27830BB0243726A Time : 0.0 sec. user=mdettweiler [2015-11-24 18:40:03] 873*2^1416002-1 is not prime. Res64: 1FB8EB89B759544F Time : 0.0 sec. user=mdettweiler [2015-11-24 18:40:03] 935*2^1416002-1 is not prime. Res64: 19B761DA97C32612 Time : 0.0 sec. user=mdettweiler [2015-11-24 18:40:35] 957*2^1416002-1 is not prime. Res64: F1C5A6FC01A7E7CE Time : 0.0 sec. user=mdettweiler [2015-11-24 18:40:35] 721*2^1416003-1 is not prime. Res64: 8F4E94E02A32A66B Time : 0.0 sec. user=mdettweiler [2015-11-24 18:41:46] 751*2^1416003-1 is not prime. Res64: 867CA54DD87CC1ED Time : 0.0 sec. user=mdettweiler [2015-11-24 18:41:47] 775*2^1416003-1 is not prime. Res64: 1880CD904E1C71C1 Time : 0.0 sec. user=mdettweiler [2015-11-24 18:49:40] 789*2^1416003-1 is not prime. Res64: E8F993E094BB074A Time : 0.0 sec. user=mdettweiler [2015-11-24 18:49:40] 617*2^1416004-1 is not prime. Res64: 8227C8352BAC08BC Time : 0.0 sec. user=mdettweiler [2015-11-24 18:58:00] 635*2^1416004-1 is not prime. Res64: F4A4F3DB78ADE61A Time : 0.0 sec. user=mdettweiler [2015-11-24 18:58:01] 803*2^1416004-1 is not prime. Res64: B4B27A17E0ADF15D Time : 0.0 sec. user=mdettweiler [2015-11-24 18:58:30] 825*2^1416004-1 is not prime. Res64: 4E47CB6A5C445CC0 Time : 0.0 sec. user=mdettweiler [2015-11-24 18:58:31] 869*2^1416004-1 is not prime. Res64: 60BFD80A845669DA Time : 0.0 sec. user=mdettweiler [2015-11-24 18:59:47] 903*2^1416004-1 is not prime. Res64: 5E50D7E731AFB970 Time : 0.0 sec. user=mdettweiler [2015-11-24 18:59:48] 601*2^1416005-1 is not prime. Res64: CC6540046AF06AAD Time : 0.0 sec. user=mdettweiler [2015-11-24 19:07:47] 649*2^1416005-1 is not prime. Res64: 156F00E0EFB610A1 Time : 0.0 sec. user=mdettweiler [2015-11-24 19:07:50] 655*2^1416005-1 is not prime. Res64: 38FDAF203FE51CE0 Time : 0.0 sec. user=mdettweiler [2015-11-24 19:16:06] 669*2^1416005-1 is not prime. Res64: CBEE1E285C00874E Time : 0.0 sec. user=mdettweiler [2015-11-24 19:16:07] 717*2^1416005-1 is not prime. Res64: 0789DFF892293C3B Time : 0.0 sec. user=mdettweiler [2015-11-24 19:16:29] 831*2^1416005-1 is not prime. Res64: 5C9F9D5F62B0F198 Time : 0.0 sec. user=mdettweiler [2015-11-24 19:16:30] 915*2^1416005-1 is not prime. Res64: 69DF4B7F4A33D821 Time : 0.0 sec. user=mdettweiler [2015-11-24 19:17:47] 807*2^1416006-1 is not prime. Res64: 306C57E4E4EB687A Time : 0.0 sec. user=mdettweiler [2015-11-24 19:17:47] 833*2^1416006-1 is not prime. Res64: F3D5EB3ABD45361F Time : 0.0 sec. user=mdettweiler [2015-11-24 19:26:03] 917*2^1416006-1 is not prime. Res64: 9F0AD01952BBCC1F Time : 0.0 sec. user=mdettweiler [2015-11-24 19:26:03] 819*2^1416007-1 is not prime. Res64: 68BCB3391CDE1E54 Time : 0.0 sec. user=mdettweiler [2015-11-24 19:34:09] 883*2^1416007-1 is not prime. Res64: 70459739950B607A Time : 0.0 sec. user=mdettweiler [2015-11-24 19:34:09] 895*2^1416007-1 is not prime. Res64: FE79FBDBB6BB1012 Time : 0.0 sec. user=mdettweiler [2015-11-24 19:34:34] 623*2^1416008-1 is not prime. Res64: 42E608C9B907413C Time : 0.0 sec. user=mdettweiler [2015-11-24 19:34:34] 659*2^1416008-1 is not prime. Res64: 2DA908935857B803 Time : 0.0 sec. user=mdettweiler [2015-11-24 19:35:46] 677*2^1416008-1 is not prime. Res64: 1B9705DF3E307903 Time : 0.0 sec. user=mdettweiler [2015-11-24 19:35:46] 753*2^1416008-1 is not prime. Res64: FAF8994DE0F5C217 Time : 0.0 sec. user=mdettweiler [2015-11-24 19:44:03] 963*2^1416008-1 is not prime. Res64: F69B8AF9679A8777 Time : 0.0 sec. user=mdettweiler [2015-11-24 19:44:03] 969*2^1416008-1 is not prime. Res64: 930025D674E8992E Time : 0.0 sec. user=mdettweiler [2015-11-24 19:52:06] 609*2^1416009-1 is not prime. Res64: D61DA756723990AC Time : 0.0 sec. user=mdettweiler [2015-11-24 19:52:06] 627*2^1416009-1 is not prime. Res64: 7A1D6C3AC602F722 Time : 0.0 sec. user=mdettweiler [2015-11-24 19:52:31] 661*2^1416009-1 is not prime. Res64: 55035AAD06CEE4CB Time : 0.0 sec. user=mdettweiler [2015-11-24 19:52:32] 681*2^1416009-1 is not prime. Res64: 218D0C1D8415801F Time : 0.0 sec. user=mdettweiler [2015-11-24 19:53:44] 727*2^1416009-1 is not prime. Res64: 1E2BF0C2DB9C083E Time : 0.0 sec. user=mdettweiler [2015-11-24 19:53:44] 745*2^1416009-1 is not prime. Res64: EAA9A04C48FEA0A8 Time : 0.0 sec. user=mdettweiler [2015-11-24 20:02:03] 807*2^1416009-1 is not prime. Res64: 365EF330C0AA61F3 Time : 0.0 sec. user=mdettweiler [2015-11-24 20:02:03] 861*2^1416009-1 is not prime. Res64: 4772AFDF680D42C1 Time : 0.0 sec. user=mdettweiler [2015-11-24 20:10:12] 651*2^1416010-1 is not prime. Res64: F51211613C985F51 Time : 0.0 sec. user=mdettweiler [2015-11-24 20:10:13] 713*2^1416010-1 is not prime. Res64: 1381E0FC94BDF5A5 Time : 0.0 sec. user=mdettweiler [2015-11-24 20:10:30] 777*2^1416010-1 is not prime. Res64: EF2D564AEB3FB318 Time : 0.0 sec. user=mdettweiler [2015-11-24 20:10:31] 801*2^1416010-1 is not prime. Res64: 8AA769E454FA6462 Time : 0.0 sec. user=mdettweiler [2015-11-24 20:11:48] 887*2^1416010-1 is not prime. Res64: 4F7C94442CA1F7B1 Time : 0.0 sec. user=mdettweiler [2015-11-24 20:11:49] 941*2^1416010-1 is not prime. Res64: 4BA592D5E3E65C9F Time : 0.0 sec. user=mdettweiler [2015-11-24 20:20:15] 705*2^1416011-1 is not prime. Res64: 706FE7B87707EF3E Time : 0.0 sec. user=mdettweiler [2015-11-24 20:20:16] 901*2^1416011-1 is not prime. Res64: 1AEC696BEAC9A917 Time : 0.0 sec. user=mdettweiler [2015-11-24 20:28:18] 909*2^1416011-1 is not prime. Res64: 62F2E0F5204B8261 Time : 0.0 sec. user=mdettweiler [2015-11-24 20:28:18] 939*2^1416011-1 is not prime. Res64: 82A0FE313F2F010B Time : 0.0 sec. user=mdettweiler [2015-11-24 20:28:36] 949*2^1416011-1 is not prime. Res64: 331DFCCEFDAA6BA5 Time : 0.0 sec. user=mdettweiler [2015-11-24 20:28:36] 647*2^1416012-1 is not prime. Res64: 8B905C2C190AF079 Time : 0.0 sec. user=mdettweiler [2015-11-24 20:29:49] 653*2^1416012-1 is not prime. Res64: D21D890770630695 Time : 0.0 sec. user=mdettweiler [2015-11-24 20:29:50] 693*2^1416012-1 is not prime. Res64: 7B73F3990FB3B850 Time : 0.0 sec. user=mdettweiler [2015-11-24 20:38:22] 725*2^1416012-1 is not prime. Res64: 4B018DFFCED941FA Time : 0.0 sec. user=mdettweiler [2015-11-24 20:38:22] 779*2^1416012-1 is not prime. Res64: 26EDFD42A411331E Time : 0.0 sec. user=mdettweiler [2015-11-24 20:46:28] 797*2^1416012-1 is not prime. Res64: 5DDABA7DC39696AE Time : 0.0 sec. user=mdettweiler [2015-11-24 20:46:28] 893*2^1416012-1 is not prime. Res64: A9C209BC8C6027C2 Time : 0.0 sec. user=mdettweiler [2015-11-24 20:46:44] 909*2^1416012-1 is not prime. Res64: E7FAA3A8F898C8C7 Time : 0.0 sec. user=mdettweiler [2015-11-24 20:46:44] 615*2^1416013-1 is not prime. Res64: DC7B2E3F608144BE Time : 0.0 sec. user=mdettweiler [2015-11-24 20:48:00] 715*2^1416013-1 is not prime. Res64: 98E58E52D996D68D Time : 0.0 sec. user=mdettweiler [2015-11-24 20:48:00] 741*2^1416013-1 is not prime. Res64: 9F9E1118BC856175 Time : 0.0 sec. user=mdettweiler [2015-11-24 20:56:35] 635*2^1416014-1 is not prime. Res64: 1FA0A77F062B41D8 Time : 0.0 sec. user=mdettweiler [2015-11-24 20:56:35] 677*2^1416014-1 is not prime. Res64: 79A4FDB1A51083C6 Time : 0.0 sec. user=mdettweiler [2015-11-24 21:04:31] 687*2^1416014-1 is not prime. Res64: 1B28DAC7D521652A Time : 0.0 sec. user=mdettweiler [2015-11-24 21:04:32] 705*2^1416014-1 is not prime. Res64: F6264AD69B031739 Time : 0.0 sec. user=mdettweiler [2015-11-24 21:04:45] 753*2^1416014-1 is not prime. Res64: 6CF2023D43292427 Time : 0.0 sec. user=mdettweiler [2015-11-24 21:04:46] 785*2^1416014-1 is not prime. Res64: 8FD31B9602F72196 Time : 0.0 sec. user=mdettweiler [2015-11-24 21:06:09] 851*2^1416014-1 is not prime. Res64: 920D141D1F3F3089 Time : 0.0 sec. user=mdettweiler [2015-11-24 21:06:09] 917*2^1416014-1 is not prime. Res64: 6E91BC39F15E0F70 Time : 0.0 sec. user=mdettweiler [2015-11-24 21:14:32] 945*2^1416014-1 is not prime. Res64: 1427A74D59E0387A Time : 0.0 sec. user=mdettweiler [2015-11-24 21:14:32] 971*2^1416014-1 is not prime. Res64: 319A6F4FAFC3ABC7 Time : 0.0 sec. user=mdettweiler [2015-11-24 21:22:44] 1001*2^1416014-1 is not prime. Res64: EBE898DDA3C10DCD Time : 0.0 sec. user=mdettweiler [2015-11-24 21:22:44] 663*2^1416015-1 is not prime. Res64: 4D401DB4C1368714 Time : 0.0 sec. user=mdettweiler [2015-11-24 21:22:58] 765*2^1416015-1 is not prime. Res64: 099CA67CF34E6D14 Time : 0.0 sec. user=mdettweiler [2015-11-24 21:22:59] 781*2^1416015-1 is not prime. Res64: CFC64F1FF35C8F9D Time : 0.0 sec. user=mdettweiler [2015-11-24 21:24:13] 795*2^1416015-1 is not prime. Res64: 0DDAFF103A875E0F Time : 0.0 sec. user=mdettweiler [2015-11-24 21:24:13] 885*2^1416015-1 is not prime. Res64: FD40D98F11F3F37C Time : 0.0 sec. user=mdettweiler [2015-11-24 21:32:34] 933*2^1416015-1 is not prime. Res64: E5899463E12BFEE7 Time : 0.0 sec. user=mdettweiler [2015-11-24 21:32:35] 961*2^1416015-1 is not prime. Res64: F8267778EC3A2759 Time : 0.0 sec. user=mdettweiler [2015-11-24 21:40:54] 969*2^1416015-1 is not prime. Res64: 20B5D2AB53D513DC Time : 0.0 sec. user=mdettweiler [2015-11-24 21:40:55] 985*2^1416015-1 is not prime. Res64: 10959BE0E3A76869 Time : 0.0 sec. user=mdettweiler [2015-11-24 21:40:59] 719*2^1416016-1 is not prime. Res64: 17D7258FF53DF045 Time : 0.0 sec. user=mdettweiler [2015-11-24 21:40:59] 759*2^1416016-1 is not prime. Res64: EBC715DD4AF55591 Time : 0.0 sec. user=mdettweiler [2015-11-24 21:42:20] 875*2^1416016-1 is not prime. Res64: 2BEC54F826E395BF Time : 0.0 sec. user=mdettweiler [2015-11-24 21:42:21] 887*2^1416016-1 is not prime. Res64: AF8EE0F973AA9E32 Time : 0.0 sec. user=mdettweiler [2015-11-24 21:50:44] 939*2^1416016-1 is not prime. Res64: B14F3333E6A729AE Time : 0.0 sec. user=mdettweiler [2015-11-24 21:50:44] 957*2^1416016-1 is not prime. Res64: 67C288408996900F Time : 0.0 sec. user=mdettweiler [2015-11-24 21:59:26] 675*2^1416017-1 is not prime. Res64: F166922E666C043C Time : 0.0 sec. user=mdettweiler [2015-11-24 21:59:26] 715*2^1416017-1 is not prime. Res64: 96F7E52AAA70AB55 Time : 0.0 sec. user=mdettweiler [2015-11-24 21:59:47] 601*2^1416017-1 is not prime. Res64: 193F76403B67B591 Time : 0.0 sec. user=mdettweiler [2015-11-24 21:59:47] 615*2^1416017-1 is not prime. Res64: 74147466EE5A8D80 Time : 0.0 sec. user=mdettweiler [2015-11-24 22:00:57] 727*2^1416017-1 is not prime. Res64: BC2094882CC284E1 Time : 0.0 sec. user=mdettweiler [2015-11-24 22:01:00] 861*2^1416017-1 is not prime. Res64: D2E09D0EAABD6E2B Time : 0.0 sec. user=mdettweiler [2015-11-24 22:10:12] 915*2^1416017-1 is not prime. Res64: 461EDEDA7FD5D18A Time : 0.0 sec. user=mdettweiler [2015-11-24 22:10:12] 949*2^1416017-1 is not prime. Res64: CCB6A3DC374355FB Time : 0.0 sec. user=mdettweiler [2015-11-24 22:18:50] 621*2^1416018-1 is not prime. Res64: 0D50C2025519E6F0 Time : 0.0 sec. user=mdettweiler [2015-11-24 22:18:50] 635*2^1416018-1 is not prime. Res64: 6DA8F97ED21DACED Time : 0.0 sec. user=mdettweiler [2015-11-24 22:19:53] 713*2^1416018-1 is not prime. Res64: 119793C966DF4323 Time : 0.0 sec. user=mdettweiler [2015-11-24 22:19:54] 963*2^1416018-1 is not prime. Res64: 9CCAF9D89FCA4C2E Time : 0.0 sec. user=mdettweiler [2015-11-24 22:20:33] 679*2^1416019-1 is not prime. Res64: 508AAFE6B6B27BB4 Time : 0.0 sec. user=mdettweiler [2015-11-24 22:20:33] 681*2^1416019-1 is not prime. Res64: 3915585EEB438831 Time : 0.0 sec. user=mdettweiler [2015-11-24 22:29:37] 703*2^1416019-1 is not prime. Res64: B7C517BD1D97CA41 Time : 0.0 sec. user=mdettweiler [2015-11-24 22:29:37] 705*2^1416019-1 is not prime. Res64: B7FDF0C74748D048 Time : 0.0 sec. user=mdettweiler [2015-11-24 22:38:16] 813*2^1416019-1 is not prime. Res64: B15F538977935938 Time : 0.0 sec. user=mdettweiler [2015-11-24 22:38:16] 843*2^1416019-1 is not prime. Res64: 6190CD67580BC0E8 Time : 0.0 sec. user=mdettweiler [2015-11-24 22:39:34] 873*2^1416019-1 is not prime. Res64: B5D6F4FD22A7CB8F Time : 0.0 sec. user=mdettweiler [2015-11-24 22:39:35] 675*2^1416020-1 is not prime. Res64: BEACF788C6CA66F0 Time : 0.0 sec. user=mdettweiler [2015-11-24 22:39:47] 677*2^1416020-1 is not prime. Res64: 6CEFC31E38D39069 Time : 0.0 sec. user=mdettweiler [2015-11-24 22:39:47] 707*2^1416020-1 is not prime. Res64: D3D55B676B7720FE Time : 0.0 sec. user=mdettweiler [2015-11-24 22:48:45] 777*2^1416020-1 is not prime. Res64: E90A8BF5B411A6EB Time : 0.0 sec. user=mdettweiler [2015-11-24 22:48:45] 785*2^1416020-1 is not prime. Res64: 33E03E65E33EA9E3 Time : 0.0 sec. user=mdettweiler [2015-11-24 22:57:22] 855*2^1416020-1 is not prime. Res64: 69E88B8740706043 Time : 0.0 sec. user=mdettweiler [2015-11-24 22:57:22] 879*2^1416020-1 is not prime. Res64: FE7327D68322ED2F Time : 0.0 sec. user=mdettweiler [2015-11-24 22:58:33] 609*2^1416021-1 is not prime. Res64: 4EC9DEF9A77E9E33 Time : 0.0 sec. user=mdettweiler [2015-11-24 22:58:34] 625*2^1416021-1 is not prime. Res64: 710EDE09E779A051 Time : 0.0 sec. user=mdettweiler [2015-11-24 22:58:50] 709*2^1416021-1 is not prime. Res64: 5E8ADE0707B98F0C Time : 0.0 sec. user=mdettweiler [2015-11-24 22:58:50] 871*2^1416021-1 is not prime. Res64: 6932BAC99CDB690F Time : 0.0 sec. user=mdettweiler [2015-11-24 23:07:13] 877*2^1416021-1 is not prime. Res64: 8A8B0E9972F61C60 Time : 0.0 sec. user=mdettweiler [2015-11-24 23:07:14] 895*2^1416021-1 is not prime. Res64: 006AB576216C527F Time : 0.0 sec. user=mdettweiler [2015-11-24 23:15:38] 987*2^1416021-1 is not prime. Res64: DC58A06BEC9BB3F8 Time : 0.0 sec. user=mdettweiler [2015-11-24 23:15:39] 999*2^1416021-1 is not prime. Res64: E140477157A45C17 Time : 0.0 sec. user=mdettweiler [2015-11-24 23:16:45] 617*2^1416022-1 is not prime. Res64: C97AD561837D2B67 Time : 0.0 sec. user=mdettweiler [2015-11-24 23:16:45] 623*2^1416022-1 is not prime. Res64: F477C1B610421DF1 Time : 0.0 sec. user=mdettweiler [2015-11-24 23:16:49] 653*2^1416022-1 is not prime. Res64: DB40C6A9C94FE2AC Time : 0.0 sec. user=mdettweiler [2015-11-24 23:16:49] 741*2^1416022-1 is not prime. Res64: 5D8F4046067EBCA5 Time : 0.0 sec. user=mdettweiler [2015-11-24 23:25:30] 863*2^1416022-1 is not prime. Res64: 446CCF0C51125A63 Time : 0.0 sec. user=mdettweiler [2015-11-24 23:25:30] 867*2^1416022-1 is not prime. Res64: 621DFA458D88F38F Time : 0.0 sec. user=mdettweiler [2015-11-24 23:33:47] 945*2^1416022-1 is not prime. Res64: 9D36B1184E0E2299 Time : 0.0 sec. user=mdettweiler [2015-11-24 23:33:47] 951*2^1416022-1 is not prime. Res64: 287DCB03220BAB98 Time : 0.0 sec. user=mdettweiler [2015-11-24 23:34:48] 609*2^1416023-1 is not prime. Res64: B887DEAA0A3B3AE2 Time : 0.0 sec. user=mdettweiler [2015-11-24 23:34:48] 621*2^1416023-1 is not prime. Res64: 17E7F6B4445C1BC4 Time : 0.0 sec. user=mdettweiler [2015-11-24 23:34:52] 759*2^1416023-1 is not prime. Res64: 7C47A70B5EBE696A Time : 0.0 sec. user=mdettweiler [2015-11-24 23:34:52] 813*2^1416023-1 is not prime. Res64: 0A2E1AA98EF5B00E Time : 0.0 sec. user=mdettweiler [2015-11-24 23:43:37] 605*2^1416024-1 is not prime. Res64: 810F0FA3C4BEC8C1 Time : 0.0 sec. user=mdettweiler [2015-11-24 23:43:38] 693*2^1416024-1 is not prime. Res64: 3799E3D9996CF781 Time : 0.0 sec. user=mdettweiler [2015-11-24 23:51:58] 843*2^1416024-1 is not prime. Res64: A9B3458176C93435 Time : 0.0 sec. user=mdettweiler [2015-11-24 23:51:58] 975*2^1416024-1 is not prime. Res64: 3A805FBBEE480915 Time : 0.0 sec. user=mdettweiler [2015-11-24 23:52:51] 993*2^1416024-1 is not prime. Res64: 284E60997D98C3A7 Time : 0.0 sec. user=mdettweiler [2015-11-24 23:52:51] 619*2^1416025-1 is not prime. Res64: 95738E6056890D87 Time : 0.0 sec. user=mdettweiler [2015-11-24 23:53:08] 651*2^1416025-1 is not prime. Res64: 4E1A838A2A86E100 Time : 0.0 sec. user=mdettweiler [2015-11-24 23:53:08] 705*2^1416025-1 is not prime. Res64: 71295FAA251B8E21 Time : 0.0 sec.