user=mdettweiler [2015-08-10 00:02:20] 857*2^1405862-1 is not prime. Res64: 339349CADEF88876 Time : 0.0 sec. user=mdettweiler [2015-08-10 00:02:22] 885*2^1405862-1 is not prime. Res64: 2ED41D77541F7CC3 Time : 0.0 sec. user=mdettweiler [2015-08-10 00:15:33] 977*2^1405862-1 is not prime. Res64: EAA5D92FF2424347 Time : 0.0 sec. user=mdettweiler [2015-08-10 00:15:35] 981*2^1405862-1 is not prime. Res64: 20BD91676FECB4DA Time : 0.0 sec. user=mdettweiler [2015-08-10 00:15:45] 685*2^1405863-1 is not prime. Res64: 9CFD02973538D17F Time : 0.0 sec. user=mdettweiler [2015-08-10 00:15:45] 703*2^1405863-1 is not prime. Res64: F1C41C1E208A8B7B Time : 0.0 sec. user=mdettweiler [2015-08-10 00:18:20] 763*2^1405863-1 is not prime. Res64: 4FA24A727136226A Time : 0.0 sec. user=mdettweiler [2015-08-10 00:18:20] 973*2^1405863-1 is not prime. Res64: FB5ADCF7D9C7CE21 Time : 0.0 sec. user=mdettweiler [2015-08-10 00:22:02] 629*2^1405864-1 is not prime. Res64: B1F01710C4C60F6E Time : 0.0 sec. user=mdettweiler [2015-08-10 00:22:02] 677*2^1405864-1 is not prime. Res64: 6EC87C087994905C Time : 0.0 sec. user=mdettweiler [2015-08-10 00:34:48] 975*2^1405864-1 is not prime. Res64: E863774C27A7DD25 Time : 0.0 sec. user=mdettweiler [2015-08-10 00:34:48] 705*2^1405864-1 is not prime. Res64: F16E1F2BDF2CC19F Time : 0.0 sec. user=mdettweiler [2015-08-10 00:34:48] 995*2^1405864-1 is not prime. Res64: 7DD3972642D15919 Time : 0.0 sec. user=mdettweiler [2015-08-10 00:34:48] 905*2^1405864-1 is not prime. Res64: B9B88E00E07045CF Time : 0.0 sec. user=mdettweiler [2015-08-10 00:37:08] 691*2^1405865-1 is not prime. Res64: D1AE11F51511BEBD Time : 0.0 sec. user=mdettweiler [2015-08-10 00:37:08] 985*2^1405865-1 is not prime. Res64: BEB3D359576B4943 Time : 0.0 sec. user=mdettweiler [2015-08-10 00:41:05] 711*2^1405866-1 is not prime. Res64: 10BBBB8CB6FC83B7 Time : 0.0 sec. user=mdettweiler [2015-08-10 00:41:06] 735*2^1405866-1 is not prime. Res64: 8BC66CD162F2B715 Time : 0.0 sec. user=mdettweiler [2015-08-10 00:53:44] 733*2^1405867-1 is not prime. Res64: 10F8C54C2A88FDE5 Time : 0.0 sec. user=mdettweiler [2015-08-10 00:53:44] 755*2^1405866-1 is not prime. Res64: B46C5FD7A5090D79 Time : 0.0 sec. user=mdettweiler [2015-08-10 00:53:44] 769*2^1405867-1 is not prime. Res64: A259E59073CF3CA5 Time : 0.0 sec. user=mdettweiler [2015-08-10 00:53:44] 625*2^1405867-1 is not prime. Res64: BC96071105890C2A Time : 0.0 sec. user=mdettweiler [2015-08-10 00:55:58] 889*2^1405867-1 is not prime. Res64: 58E25FA161A2953C Time : 0.0 sec. user=mdettweiler [2015-08-10 00:55:59] 973*2^1405867-1 is not prime. Res64: B90E96D836FE482B Time : 0.0 sec. user=mdettweiler [2015-08-10 00:59:58] 843*2^1405868-1 is not prime. Res64: 10039A09E16A868A Time : 0.0 sec. user=mdettweiler [2015-08-10 00:59:58] 875*2^1405868-1 is not prime. Res64: 92D86F2E6396E6D8 Time : 0.0 sec. user=mdettweiler [2015-08-10 01:12:23] 667*2^1405869-1 is not prime. Res64: 9196DCFE329AB2CD Time : 0.0 sec. user=mdettweiler [2015-08-10 01:12:23] 709*2^1405869-1 is not prime. Res64: 168F8387E429EE85 Time : 0.0 sec. user=mdettweiler [2015-08-10 01:12:24] 615*2^1405869-1 is not prime. Res64: 283793F5F6C04791 Time : 0.0 sec. user=mdettweiler [2015-08-10 01:12:25] 649*2^1405869-1 is not prime. Res64: 6A09E2ABC9F3F301 Time : 0.0 sec. user=mdettweiler [2015-08-10 01:14:35] 817*2^1405869-1 is not prime. Res64: 77265756C7906D44 Time : 0.0 sec. user=mdettweiler [2015-08-10 01:14:36] 889*2^1405869-1 is not prime. Res64: 461ABB70C57DFD6E Time : 0.0 sec. user=mdettweiler [2015-08-10 01:18:46] 675*2^1405870-1 is not prime. Res64: 2CB879D6DC3BB971 Time : 0.0 sec. user=mdettweiler [2015-08-10 01:18:47] 741*2^1405870-1 is not prime. Res64: FAAB5B5664422CFB Time : 0.0 sec. user=mdettweiler [2015-08-10 01:31:14] 785*2^1405870-1 is not prime. Res64: 35FD8AA6FD0C4A68 Time : 0.0 sec. user=mdettweiler [2015-08-10 01:31:18] 861*2^1405870-1 is not prime. Res64: 6CD0B63085F0AFB1 Time : 0.0 sec. user=mdettweiler [2015-08-10 01:31:21] 801*2^1405870-1 is not prime. Res64: 6547A40F11918BC6 Time : 0.0 sec. user=mdettweiler [2015-08-10 01:31:25] 885*2^1405870-1 is not prime. Res64: FCC49BF2E70C5EBF Time : 0.0 sec. user=mdettweiler [2015-08-10 01:33:21] 945*2^1405870-1 is not prime. Res64: 9F6D1F23212898B8 Time : 0.0 sec. user=mdettweiler [2015-08-10 01:33:21] 975*2^1405870-1 is not prime. Res64: F88984312E8DE0A3 Time : 0.0 sec. user=mdettweiler [2015-08-10 01:37:20] 987*2^1405870-1 is not prime. Res64: 785EA15DC8F16E9B Time : 0.0 sec. user=mdettweiler [2015-08-10 01:37:20] 1001*2^1405870-1 is not prime. Res64: AB2DCA29B05A54C0 Time : 0.0 sec. user=mdettweiler [2015-08-10 01:50:18] 825*2^1405871-1 is not prime. Res64: 36ED0FCDF650D845 Time : 0.0 sec. user=mdettweiler [2015-08-10 01:50:19] 885*2^1405871-1 is not prime. Res64: E57F94F9EAEF3917 Time : 0.0 sec. user=mdettweiler [2015-08-10 01:50:24] 735*2^1405871-1 is not prime. Res64: 85C67E32B2F66F42 Time : 0.0 sec. user=mdettweiler [2015-08-10 01:50:24] 759*2^1405871-1 is not prime. Res64: 15B3F610ECC7931C Time : 0.0 sec. user=mdettweiler [2015-08-10 01:51:51] 981*2^1405871-1 is not prime. Res64: 897DC9D9E7EB229D Time : 0.0 sec. user=mdettweiler [2015-08-10 01:51:51] 993*2^1405871-1 is not prime. Res64: EDF859D1630E4FDF Time : 0.0 sec. user=mdettweiler [2015-08-10 01:56:16] 999*2^1405871-1 is not prime. Res64: 1E6D8FD28AD7BF37 Time : 0.0 sec. user=mdettweiler [2015-08-10 01:56:16] 669*2^1405872-1 is not prime. Res64: 19788FAEDEDD7CC8 Time : 0.0 sec. user=mdettweiler [2015-08-10 02:09:16] 689*2^1405872-1 is not prime. Res64: 749AEDC32F489A47 Time : 0.0 sec. user=mdettweiler [2015-08-10 02:09:17] 747*2^1405872-1 is not prime. Res64: 35F3F9B701F9E67D Time : 0.0 sec. user=mdettweiler [2015-08-10 02:09:24] 819*2^1405872-1 is not prime. Res64: A7F9FA6368B5B263 Time : 0.0 sec. user=mdettweiler [2015-08-10 02:09:26] 957*2^1405872-1 is not prime. Res64: 35B3ACCAC61C1FD8 Time : 0.0 sec. user=mdettweiler [2015-08-10 02:10:49] 715*2^1405873-1 is not prime. Res64: E9F4A71B08C0C9C1 Time : 0.0 sec. user=mdettweiler [2015-08-10 02:10:49] 847*2^1405873-1 is not prime. Res64: 6B11112D4E518DBB Time : 0.0 sec. user=mdettweiler [2015-08-10 02:15:16] 849*2^1405873-1 is not prime. Res64: 689012C4611B45E6 Time : 0.0 sec. user=mdettweiler [2015-08-10 02:15:16] 855*2^1405873-1 is not prime. Res64: BD2BD0FAAA5144A5 Time : 0.0 sec. user=mdettweiler [2015-08-10 02:28:09] 717*2^1405874-1 is not prime. Res64: 4AF4736FA205B496 Time : 0.0 sec. user=mdettweiler [2015-08-10 02:28:10] 797*2^1405874-1 is not prime. Res64: 0CEF8D6C5CA783BB Time : 0.0 sec. user=mdettweiler [2015-08-10 02:28:32] 987*2^1405873-1 is not prime. Res64: 807B7572F09DCB92 Time : 0.0 sec. user=mdettweiler [2015-08-10 02:28:32] 999*2^1405873-1 is not prime. Res64: B18C8538926D63A7 Time : 0.0 sec. user=mdettweiler [2015-08-10 02:29:21] 873*2^1405874-1 is not prime. Res64: E8238EEF83FD0606 Time : 0.0 sec. user=mdettweiler [2015-08-10 02:29:22] 875*2^1405874-1 is not prime. Res64: C960350729D14E1A Time : 0.0 sec. user=mdettweiler [2015-08-10 02:33:46] 765*2^1405875-1 is not prime. Res64: 6653FED6A689674E Time : 0.0 sec. user=mdettweiler [2015-08-10 02:33:47] 793*2^1405875-1 is not prime. Res64: 0120042D3FE3BE24 Time : 0.0 sec. user=mdettweiler [2015-08-10 02:46:51] 801*2^1405875-1 is not prime. Res64: 13B7A955938B751D Time : 0.0 sec. user=mdettweiler [2015-08-10 02:46:51] 895*2^1405875-1 is not prime. Res64: 7257664A049C12C2 Time : 0.0 sec. user=mdettweiler [2015-08-10 02:47:14] 973*2^1405875-1 is not prime. Res64: 16AA9A5C599A9C0A Time : 0.0 sec. user=mdettweiler [2015-08-10 02:47:15] 603*2^1405876-1 is not prime. Res64: 274D28AB82EE3CF2 Time : 0.0 sec. user=mdettweiler [2015-08-10 02:48:14] 629*2^1405876-1 is not prime. Res64: A05F00E839F9CBB6 Time : 0.0 sec. user=mdettweiler [2015-08-10 02:48:14] 639*2^1405876-1 is not prime. Res64: 281BF989C891E89B Time : 0.0 sec. user=mdettweiler [2015-08-10 02:52:33] 657*2^1405876-1 is not prime. Res64: 7CF87C786FE4E785 Time : 0.0 sec. user=mdettweiler [2015-08-10 02:52:34] 677*2^1405876-1 is not prime. Res64: 00F04A5B5097A6AC Time : 0.0 sec. user=mdettweiler [2015-08-10 03:05:41] 707*2^1405876-1 is not prime. Res64: E9E0FF2B44CE4ABA Time : 0.0 sec. user=mdettweiler [2015-08-10 03:05:42] 783*2^1405876-1 is not prime. Res64: 9B28416BC61784DC Time : 0.0 sec. user=mdettweiler [2015-08-10 03:05:54] 923*2^1405876-1 is not prime. Res64: AA7EB606590CB817 Time : 0.0 sec. user=mdettweiler [2015-08-10 03:05:55] 711*2^1405877-1 is not prime. Res64: 4CE433A942E1E90E Time : 0.0 sec. user=mdettweiler [2015-08-10 03:06:57] 757*2^1405877-1 is not prime. Res64: 7040DC9DA5A33FB6 Time : 0.0 sec. user=mdettweiler [2015-08-10 03:06:57] 837*2^1405877-1 is not prime. Res64: A842B938F19DE645 Time : 0.0 sec. user=mdettweiler [2015-08-10 03:11:24] 957*2^1405877-1 is not prime. Res64: CB12873D18C78073 Time : 0.0 sec. user=mdettweiler [2015-08-10 03:11:24] 621*2^1405878-1 is not prime. Res64: 8C74A6B216D103F1 Time : 0.0 sec. user=mdettweiler [2015-08-10 03:24:52] 713*2^1405878-1 is not prime. Res64: 22178BD3320B0069 Time : 0.0 sec. user=mdettweiler [2015-08-10 03:24:52] 731*2^1405878-1 is not prime. Res64: A1D0DB90369D142E Time : 0.0 sec. user=mdettweiler [2015-08-10 03:25:30] 663*2^1405878-1 is not prime. Res64: 97E2171FEB002983 Time : 0.0 sec. user=mdettweiler [2015-08-10 03:25:31] 707*2^1405878-1 is not prime. Res64: 15E485884A3E6D9D Time : 0.0 sec. user=mdettweiler [2015-08-10 03:25:55] 761*2^1405878-1 is not prime. Res64: 9F4E392F9EA035B6 Time : 0.0 sec. user=mdettweiler [2015-08-10 03:25:56] 801*2^1405878-1 is not prime. Res64: D07273F4E613168F Time : 0.0 sec. user=mdettweiler [2015-08-10 03:30:11] 887*2^1405878-1 is not prime. Res64: 65F19000FDB557E8 Time : 0.0 sec. user=mdettweiler [2015-08-10 03:30:14] 891*2^1405878-1 is not prime. Res64: 6F9FF668359BBA12 Time : 0.0 sec. user=mdettweiler [2015-08-10 03:42:43] 945*2^1405878-1 is not prime. Res64: 860BAD02C51160A7 Time : 0.0 sec. user=mdettweiler [2015-08-10 03:42:45] 975*2^1405878-1 is not prime. Res64: 3714AE720F3D042C Time : 0.0 sec. user=mdettweiler [2015-08-10 03:43:23] 619*2^1405879-1 is not prime. Res64: 9C40AB755E1BFA48 Time : 0.0 sec. user=mdettweiler [2015-08-10 03:43:25] 639*2^1405879-1 is not prime. Res64: 9FC25B5AD34EAD45 Time : 0.0 sec. user=mdettweiler [2015-08-10 03:43:50] 705*2^1405879-1 is not prime. Res64: 7319D1B965BA1660 Time : 0.0 sec. user=mdettweiler [2015-08-10 03:43:51] 709*2^1405879-1 is not prime. Res64: BDC2BCFBCF3A4C2A Time : 0.0 sec. user=mdettweiler [2015-08-10 03:48:44] 729*2^1405879-1 is not prime. Res64: A147B24CEA1CA51A Time : 0.0 sec. user=mdettweiler [2015-08-10 03:48:47] 741*2^1405879-1 is not prime. Res64: 1FB3DAF53EA903E5 Time : 0.0 sec. user=mdettweiler [2015-08-10 04:02:10] 687*2^1405880-1 is not prime. Res64: 507CBE4511D873F5 Time : 0.0 sec. user=mdettweiler [2015-08-10 04:02:11] 713*2^1405880-1 is not prime. Res64: 13BDC5A3EDF0C870 Time : 0.0 sec. user=mdettweiler [2015-08-10 04:02:16] 855*2^1405879-1 is not prime. Res64: C812E3255CBA5103 Time : 0.0 sec. user=mdettweiler [2015-08-10 04:02:17] 635*2^1405880-1 is not prime. Res64: 1BEC4797536AE575 Time : 0.0 sec. user=mdettweiler [2015-08-10 04:03:31] 797*2^1405880-1 is not prime. Res64: 8ACA04064D34F5EC Time : 0.0 sec. user=mdettweiler [2015-08-10 04:03:33] 819*2^1405880-1 is not prime. Res64: 39A4FC4AF8503682 Time : 0.0 sec. user=mdettweiler [2015-08-10 04:07:32] 959*2^1405880-1 is not prime. Res64: 51A8CB5F3ACE394E Time : 0.0 sec. user=mdettweiler [2015-08-10 04:07:33] 963*2^1405880-1 is not prime. Res64: 4F947E64B4AAB512 Time : 0.0 sec. user=mdettweiler [2015-08-10 04:20:36] 679*2^1405881-1 is not prime. Res64: 2B4B00687FA552F4 Time : 0.0 sec. user=mdettweiler [2015-08-10 04:20:36] 705*2^1405881-1 is not prime. Res64: 1BBC20CF01BA7537 Time : 0.0 sec. user=mdettweiler [2015-08-10 04:20:37] 627*2^1405881-1 is not prime. Res64: 02A9FEF233E41D48 Time : 0.0 sec. user=mdettweiler [2015-08-10 04:20:38] 669*2^1405881-1 is not prime. Res64: D6FF812C60D5288E Time : 0.0 sec. user=mdettweiler [2015-08-10 04:21:50] 717*2^1405881-1 is not prime. Res64: D879FC893B085F8A Time : 0.0 sec. user=mdettweiler [2015-08-10 04:21:50] 789*2^1405881-1 is not prime. Res64: CE3951EB47250E62 Time : 0.0 sec. user=mdettweiler [2015-08-10 04:25:19] 969*2^1405881-1 is not prime. Res64: E4520ABEF96A30EA Time : 0.0 sec. user=mdettweiler [2015-08-10 04:25:19] 991*2^1405881-1 is not prime. Res64: 31480AD47C831AD5 Time : 0.0 sec. user=mdettweiler [2015-08-10 04:38:18] 635*2^1405882-1 is not prime. Res64: 59ABFCD4A1ED04D3 Time : 0.0 sec. user=mdettweiler [2015-08-10 04:38:18] 695*2^1405882-1 is not prime. Res64: 6BE4B657D8391B54 Time : 0.0 sec. user=mdettweiler [2015-08-10 04:38:18] 801*2^1405882-1 is not prime. Res64: ECB8B98B84576C37 Time : 0.0 sec. user=mdettweiler [2015-08-10 04:38:18] 855*2^1405882-1 is not prime. Res64: 0F58CCB7AF133650 Time : 0.0 sec. user=mdettweiler [2015-08-10 04:39:41] 867*2^1405882-1 is not prime. Res64: DE999D5B997DD9D3 Time : 0.0 sec. user=mdettweiler [2015-08-10 04:39:42] 615*2^1405883-1 is not prime. Res64: 645A5AB3CA027D72 Time : 0.0 sec. user=mdettweiler [2015-08-10 04:43:00] 735*2^1405883-1 is not prime. Res64: D5F252123A183C93 Time : 0.0 sec. user=mdettweiler [2015-08-10 04:43:00] 789*2^1405883-1 is not prime. Res64: D4EFF9AB0B4436A1 Time : 0.0 sec. user=mdettweiler [2015-08-10 04:56:01] 811*2^1405883-1 is not prime. Res64: C707071284951382 Time : 0.0 sec. user=mdettweiler [2015-08-10 04:56:02] 819*2^1405883-1 is not prime. Res64: C25E075F72153AD4 Time : 0.0 sec. user=mdettweiler [2015-08-10 04:56:04] 915*2^1405883-1 is not prime. Res64: 6B5C387067251344 Time : 0.0 sec. user=mdettweiler [2015-08-10 04:56:04] 693*2^1405884-1 is not prime. Res64: 99548AB992AC2409 Time : 0.0 sec. user=mdettweiler [2015-08-10 04:57:28] 719*2^1405884-1 is not prime. Res64: 089D03F2D72155E0 Time : 0.0 sec. user=mdettweiler [2015-08-10 04:57:28] 987*2^1405884-1 is not prime. Res64: FF65D698B0AED812 Time : 0.0 sec. user=mdettweiler [2015-08-10 05:00:42] 867*2^1405885-1 is not prime. Res64: 62B5127F8C845AF8 Time : 0.0 sec. user=mdettweiler [2015-08-10 05:00:43] 889*2^1405885-1 is not prime. Res64: 7C5B4FE8A12CCE04 Time : 0.0 sec. user=mdettweiler [2015-08-10 05:13:42] 919*2^1405885-1 is not prime. Res64: 899611BC804C1AB3 Time : 0.0 sec. user=mdettweiler [2015-08-10 05:13:42] 641*2^1405886-1 is not prime. Res64: 4B0DEB7CF71A4715 Time : 0.0 sec. user=mdettweiler [2015-08-10 05:13:53] 657*2^1405886-1 is not prime. Res64: FBBE4FCE7CAE5470 Time : 0.0 sec. user=mdettweiler [2015-08-10 05:13:54] 773*2^1405886-1 is not prime. Res64: F18FBB072370750C Time : 0.0 sec. user=mdettweiler [2015-08-10 05:15:17] 893*2^1405886-1 is not prime. Res64: 1E63F2C6F9451157 Time : 0.0 sec. user=mdettweiler [2015-08-10 05:15:18] 911*2^1405886-1 is not prime. Res64: CB305AFC6E667EDB Time : 0.0 sec. user=mdettweiler [2015-08-10 05:18:26] 917*2^1405886-1 is not prime. Res64: 1D91EFDAE29617F1 Time : 0.0 sec. user=mdettweiler [2015-08-10 05:18:27] 963*2^1405886-1 is not prime. Res64: 130757F83A7B5642 Time : 0.0 sec. user=mdettweiler [2015-08-10 05:31:38] 609*2^1405887-1 is not prime. Res64: 08CB7CD37C3F3327 Time : 0.0 sec. user=mdettweiler [2015-08-10 05:31:38] 933*2^1405887-1 is not prime. Res64: D7EF71C23DDBE376 Time : 0.0 sec. user=mdettweiler [2015-08-10 05:31:38] 693*2^1405887-1 is not prime. Res64: 5244C6F4D3023707 Time : 0.0 sec. user=mdettweiler [2015-08-10 05:31:39] 657*2^1405888-1 is not prime. Res64: 345FB3BAB6CCA2D9 Time : 0.0 sec. user=mdettweiler [2015-08-10 05:33:04] 689*2^1405888-1 is not prime. Res64: D22D878EC6BEE007 Time : 0.0 sec. user=mdettweiler [2015-08-10 05:33:05] 909*2^1405888-1 is not prime. Res64: FF7EC0E869329049 Time : 0.0 sec. user=mdettweiler [2015-08-10 05:36:15] 999*2^1405888-1 is not prime. Res64: 3C6D230806AB51AC Time : 0.0 sec. user=mdettweiler [2015-08-10 05:36:16] 657*2^1405889-1 is not prime. Res64: 8CCA46351530FBAA Time : 0.0 sec. user=mdettweiler [2015-08-10 05:49:26] 675*2^1405889-1 is not prime. Res64: 76124DF7132DBB02 Time : 0.0 sec. user=mdettweiler [2015-08-10 05:49:26] 685*2^1405889-1 is not prime. Res64: 6B550CED12BB1592 Time : 0.0 sec. user=mdettweiler [2015-08-10 05:49:27] 711*2^1405889-1 is not prime. Res64: 407ED14CF38E6A79 Time : 0.0 sec. user=mdettweiler [2015-08-10 05:49:27] 829*2^1405889-1 is not prime. Res64: 3C281F8924CA4772 Time : 0.0 sec. user=mdettweiler [2015-08-10 05:50:47] 865*2^1405889-1 is not prime. Res64: 6A949997E8589F17 Time : 0.0 sec. user=mdettweiler [2015-08-10 05:50:47] 671*2^1405890-1 is not prime. Res64: 2102152B5D8D8C3A Time : 0.0 sec. user=mdettweiler [2015-08-10 05:54:04] 717*2^1405890-1 is not prime. Res64: 0637EAA04BE8FD61 Time : 0.0 sec. user=mdettweiler [2015-08-10 05:54:04] 803*2^1405890-1 is not prime. Res64: C546C9CA34AF1158 Time : 0.0 sec. user=mdettweiler [2015-08-10 06:07:09] 845*2^1405890-1 is not prime. Res64: D8E5B33DF7226407 Time : 0.0 sec. user=mdettweiler [2015-08-10 06:07:09] 917*2^1405890-1 is not prime. Res64: 8831DBF2AF846AFF Time : 0.0 sec. user=mdettweiler [2015-08-10 06:07:18] 927*2^1405890-1 is not prime. Res64: 283B7AEC39F4FC3E Time : 0.0 sec. user=mdettweiler [2015-08-10 06:07:19] 945*2^1405890-1 is not prime. Res64: 6F34E024D33EEA88 Time : 0.0 sec. user=mdettweiler [2015-08-10 06:08:35] 631*2^1405891-1 is not prime. Res64: DCF12298996AFCB4 Time : 0.0 sec. user=mdettweiler [2015-08-10 06:08:36] 639*2^1405891-1 is not prime. Res64: D876EFB6C376876E Time : 0.0 sec. user=mdettweiler [2015-08-10 06:12:01] 709*2^1405891-1 is not prime. Res64: 50036275C68721D5 Time : 0.0 sec. user=mdettweiler [2015-08-10 06:12:02] 801*2^1405891-1 is not prime. Res64: 8F258792C46CDB53 Time : 0.0 sec. user=mdettweiler [2015-08-10 06:24:56] 889*2^1405891-1 is not prime. Res64: BFCB20096B5D73B0 Time : 0.0 sec. user=mdettweiler [2015-08-10 06:24:56] 901*2^1405891-1 is not prime. Res64: 22718A203A548469 Time : 0.0 sec. user=mdettweiler [2015-08-10 06:25:03] 975*2^1405891-1 is not prime. Res64: 3375290CAE0E023E Time : 0.0 sec. user=mdettweiler [2015-08-10 06:25:03] 633*2^1405892-1 is not prime. Res64: CB126539BE548F3C Time : 0.0 sec. user=mdettweiler [2015-08-10 06:26:18] 797*2^1405892-1 is not prime. Res64: 1A54A0000C3A741F Time : 0.0 sec. user=mdettweiler [2015-08-10 06:26:18] 813*2^1405892-1 is not prime. Res64: 2ECBC918478F2F99 Time : 0.0 sec. user=mdettweiler [2015-08-10 06:29:44] 945*2^1405892-1 is not prime. Res64: 8E4A72031CD3A429 Time : 0.0 sec. user=mdettweiler [2015-08-10 06:29:45] 681*2^1405893-1 is not prime. Res64: AADC4C7F891C80DC Time : 0.0 sec. user=mdettweiler [2015-08-10 06:42:44] 765*2^1405893-1 is not prime. Res64: DBE30901E9EDA191 Time : 0.0 sec. user=mdettweiler [2015-08-10 06:42:45] 787*2^1405893-1 is not prime. Res64: 564FA31340AF9EA6 Time : 0.0 sec. user=mdettweiler [2015-08-10 06:42:47] 795*2^1405893-1 is not prime. Res64: CBACD9D2E6F22407 Time : 0.0 sec. user=mdettweiler [2015-08-10 06:42:47] 945*2^1405893-1 is not prime. Res64: 8B047798BED24F53 Time : 0.0 sec. user=mdettweiler [2015-08-10 06:43:59] 949*2^1405893-1 is not prime. Res64: EBDEDFE39D1C9646 Time : 0.0 sec. user=mdettweiler [2015-08-10 06:43:59] 951*2^1405893-1 is not prime. Res64: 722A473D70A36DF2 Time : 0.0 sec. user=mdettweiler [2015-08-10 06:47:27] 863*2^1405894-1 is not prime. Res64: 1B1132DFD75E9392 Time : 0.0 sec. user=mdettweiler [2015-08-10 06:47:27] 945*2^1405894-1 is not prime. Res64: 23401E2EE1A5D75F Time : 0.0 sec. user=mdettweiler [2015-08-10 07:00:31] 663*2^1405895-1 is not prime. Res64: 00EC6550A734D34D Time : 0.0 sec. user=mdettweiler [2015-08-10 07:00:32] 705*2^1405895-1 is not prime. Res64: 367C45441081AEDD Time : 0.0 sec. user=mdettweiler [2015-08-10 07:00:33] 965*2^1405894-1 is not prime. Res64: A8340D3DDBC00FA8 Time : 0.0 sec. user=mdettweiler [2015-08-10 07:00:34] 643*2^1405895-1 is not prime. Res64: F5E7B5FE6BF255F7 Time : 0.0 sec. user=mdettweiler [2015-08-10 07:01:41] 759*2^1405895-1 is not prime. Res64: 333D56B2EE01A7A9 Time : 0.0 sec. user=mdettweiler [2015-08-10 07:01:42] 771*2^1405895-1 is not prime. Res64: 93F3C4902D89226E Time : 0.0 sec. user=mdettweiler [2015-08-10 07:05:17] 883*2^1405895-1 is not prime. Res64: 0893E08DF38366FE Time : 0.0 sec. user=mdettweiler [2015-08-10 07:05:18] 949*2^1405895-1 is not prime. Res64: AA65854F141A041F Time : 0.0 sec. user=mdettweiler [2015-08-10 07:18:26] 725*2^1405896-1 is not prime. Res64: 996FE3210F8DE3E1 Time : 0.0 sec. user=mdettweiler [2015-08-10 07:18:27] 737*2^1405896-1 is not prime. Res64: 5CA66DD58DF8D829 Time : 0.0 sec. user=mdettweiler [2015-08-10 07:18:30] 609*2^1405896-1 is not prime. Res64: F7E19DD1A439D9BE Time : 0.0 sec. user=mdettweiler [2015-08-10 07:18:30] 635*2^1405896-1 is not prime. Res64: 11FB9C9DF48D1741 Time : 0.0 sec. user=mdettweiler [2015-08-10 07:19:26] 777*2^1405896-1 is not prime. Res64: 7F0364947FB2C474 Time : 0.0 sec. user=mdettweiler [2015-08-10 07:19:26] 815*2^1405896-1 is not prime. Res64: 66E99DBAE178BE7E Time : 0.0 sec. user=mdettweiler [2015-08-10 07:23:09] 849*2^1405896-1 is not prime. Res64: F317AC8A234DFAAB Time : 0.0 sec. user=mdettweiler [2015-08-10 07:23:10] 873*2^1405896-1 is not prime. Res64: 6FD1F837CEB93883 Time : 0.0 sec. user=mdettweiler [2015-08-10 07:36:12] 875*2^1405896-1 is not prime. Res64: 30D0F09D33FCD3BF Time : 0.0 sec. user=mdettweiler [2015-08-10 07:36:12] 799*2^1405897-1 is not prime. Res64: F08E675FC291BDAF Time : 0.0 sec. user=mdettweiler [2015-08-10 07:36:12] 645*2^1405897-1 is not prime. Res64: 04326668B398B55D Time : 0.0 sec. user=mdettweiler [2015-08-10 07:36:12] 861*2^1405897-1 is not prime. Res64: 160E74A6B74C95CE Time : 0.0 sec. user=mdettweiler [2015-08-10 07:37:16] 919*2^1405897-1 is not prime. Res64: 5DF20E2E9AA68B90 Time : 0.0 sec. user=mdettweiler [2015-08-10 07:37:17] 747*2^1405898-1 is not prime. Res64: FB49DA965DB24D6C Time : 0.0 sec. user=mdettweiler [2015-08-10 07:40:54] 771*2^1405898-1 is not prime. Res64: D832C5078EDDCD28 Time : 0.0 sec. user=mdettweiler [2015-08-10 07:40:54] 801*2^1405898-1 is not prime. Res64: 4AB596FD68730EFA Time : 0.0 sec. user=mdettweiler [2015-08-10 07:53:51] 833*2^1405898-1 is not prime. Res64: 0644D7BEB3CB5C5F Time : 0.0 sec. user=mdettweiler [2015-08-10 07:53:52] 837*2^1405898-1 is not prime. Res64: D725F0A9DD8DDBC0 Time : 0.0 sec. user=mdettweiler [2015-08-10 07:53:54] 923*2^1405898-1 is not prime. Res64: 96382AB4E35C8F3B Time : 0.0 sec. user=mdettweiler [2015-08-10 07:53:54] 601*2^1405899-1 is not prime. Res64: E2FA125B0CA4988D Time : 0.0 sec. user=mdettweiler [2015-08-10 07:54:57] 679*2^1405899-1 is not prime. Res64: 6D82F3E8B7E68F20 Time : 0.0 sec. user=mdettweiler [2015-08-10 07:54:58] 685*2^1405899-1 is not prime. Res64: 287D5429FD39E816 Time : 0.0 sec. user=mdettweiler [2015-08-10 07:58:31] 723*2^1405899-1 is not prime. Res64: 7EA820B477CC3938 Time : 0.0 sec. user=mdettweiler [2015-08-10 07:58:31] 793*2^1405899-1 is not prime. Res64: 6BBD4847D33BA7A0 Time : 0.0 sec. user=mdettweiler [2015-08-10 08:11:34] 909*2^1405899-1 is not prime. Res64: 67CB026654857A98 Time : 0.0 sec. user=mdettweiler [2015-08-10 08:11:34] 635*2^1405900-1 is not prime. Res64: 05778411838966D9 Time : 0.0 sec. user=mdettweiler [2015-08-10 08:11:39] 695*2^1405900-1 is not prime. Res64: 04A79A0052BD64D7 Time : 0.0 sec. user=mdettweiler [2015-08-10 08:11:39] 819*2^1405900-1 is not prime. Res64: 98C4527E4DCDD1B7 Time : 0.0 sec. user=mdettweiler [2015-08-10 08:12:42] 857*2^1405900-1 is not prime. Res64: FA5EEFCAFBA711D5 Time : 0.0 sec. user=mdettweiler [2015-08-10 08:12:43] 929*2^1405900-1 is not prime. Res64: BDD7CABABCF53BA9 Time : 0.0 sec. user=mdettweiler [2015-08-10 08:16:26] 939*2^1405900-1 is not prime. Res64: D3FD99135C937923 Time : 0.0 sec. user=mdettweiler [2015-08-10 08:16:26] 965*2^1405900-1 is not prime. Res64: 3B257E0BA23708D5 Time : 0.0 sec. user=mdettweiler [2015-08-10 08:29:19] 615*2^1405901-1 is not prime. Res64: 8068E41E81DE43C8 Time : 0.0 sec. user=mdettweiler [2015-08-10 08:29:19] 745*2^1405901-1 is not prime. Res64: D8E00832391ED124 Time : 0.0 sec. user=mdettweiler [2015-08-10 08:29:26] 889*2^1405901-1 is not prime. Res64: 55B22BDD8A0A1B8A Time : 0.0 sec. user=mdettweiler [2015-08-10 08:29:26] 671*2^1405902-1 is not prime. Res64: F7D9918A8278A508 Time : 0.0 sec. user=mdettweiler [2015-08-10 08:30:28] 681*2^1405902-1 is not prime. Res64: CFB2589B1B5A4960 Time : 0.0 sec. user=mdettweiler [2015-08-10 08:30:28] 777*2^1405902-1 is not prime. Res64: FE8F3E4E169CF927 Time : 0.0 sec. user=mdettweiler [2015-08-10 08:34:09] 825*2^1405902-1 is not prime. Res64: 1D78EC1A7B68E704 Time : 0.0 sec. user=mdettweiler [2015-08-10 08:34:10] 873*2^1405902-1 is not prime. Res64: 67CCF0BF9CFA1EBA Time : 0.0 sec. user=mdettweiler [2015-08-10 08:47:06] 829*2^1405903-1 is not prime. Res64: D235E73DEC649D76 Time : 0.0 sec. user=mdettweiler [2015-08-10 08:47:06] 771*2^1405903-1 is not prime. Res64: 6135CCE615A69FAC Time : 0.0 sec. user=mdettweiler [2015-08-10 08:47:06] 853*2^1405903-1 is not prime. Res64: 4163E3CED8B3B93A Time : 0.0 sec. user=mdettweiler [2015-08-10 08:47:06] 775*2^1405903-1 is not prime. Res64: 328160D69A720497 Time : 0.0 sec. user=mdettweiler [2015-08-10 08:48:13] 885*2^1405903-1 is not prime. Res64: F166B7C6DBF0EB9A Time : 0.0 sec. user=mdettweiler [2015-08-10 08:48:13] 919*2^1405903-1 is not prime. Res64: 418DC47DA4CC77CE Time : 0.0 sec. user=mdettweiler [2015-08-10 08:51:54] 939*2^1405903-1 is not prime. Res64: F6598EEF4BF07B62 Time : 0.0 sec. user=mdettweiler [2015-08-10 08:51:54] 985*2^1405903-1 is not prime. Res64: 43F5929384BEE8F9 Time : 0.0 sec. user=mdettweiler [2015-08-10 09:04:51] 615*2^1405904-1 is not prime. Res64: E1830AE8F83E0895 Time : 0.0 sec. user=mdettweiler [2015-08-10 09:04:53] 855*2^1405904-1 is not prime. Res64: 7E66D752F68F4147 Time : 0.0 sec. user=mdettweiler [2015-08-10 09:04:55] 893*2^1405904-1 is not prime. Res64: D58223D3C6B517E1 Time : 0.0 sec. user=mdettweiler [2015-08-10 09:04:56] 903*2^1405904-1 is not prime. Res64: 96AECCEA80B4EA37 Time : 0.0 sec. user=mdettweiler [2015-08-10 09:06:04] 667*2^1405905-1 is not prime. Res64: 2C35ABBF8C2FAFFD Time : 0.0 sec. user=mdettweiler [2015-08-10 09:06:05] 679*2^1405905-1 is not prime. Res64: 1B9D999D5A05BC17 Time : 0.0 sec. user=mdettweiler [2015-08-10 09:09:48] 795*2^1405905-1 is not prime. Res64: A57E9F52E58C4B20 Time : 0.0 sec. user=mdettweiler [2015-08-10 09:09:48] 871*2^1405905-1 is not prime. Res64: DD866DDC40CE4FDC Time : 0.0 sec. user=mdettweiler [2015-08-10 09:23:03] 915*2^1405905-1 is not prime. Res64: C0E214637FE2E45F Time : 0.0 sec. user=mdettweiler [2015-08-10 09:23:03] 955*2^1405905-1 is not prime. Res64: AD069993A8A1D54F Time : 0.0 sec. user=mdettweiler [2015-08-10 09:23:09] 635*2^1405906-1 is not prime. Res64: FB8513B2FD5297F3 Time : 0.0 sec. user=mdettweiler [2015-08-10 09:23:10] 777*2^1405906-1 is not prime. Res64: 3A9564C5BF965F54 Time : 0.0 sec. user=mdettweiler [2015-08-10 09:23:46] 803*2^1405906-1 is not prime. Res64: 8218F9EBBF4A5A98 Time : 0.0 sec. user=mdettweiler [2015-08-10 09:23:47] 825*2^1405906-1 is not prime. Res64: 93FF04F862EDEC70 Time : 0.0 sec. user=mdettweiler [2015-08-10 09:27:30] 933*2^1405906-1 is not prime. Res64: FB1F0AC9FCBCDFD6 Time : 0.0 sec. user=mdettweiler [2015-08-10 09:27:30] 1001*2^1405906-1 is not prime. Res64: DC6B47BAE16D3968 Time : 0.0 sec. user=mdettweiler [2015-08-10 09:41:08] 609*2^1405907-1 is not prime. Res64: FC938542846A17C4 Time : 0.0 sec. user=mdettweiler [2015-08-10 09:41:09] 619*2^1405907-1 is not prime. Res64: 51F4DE8005B68A6C Time : 0.0 sec. user=mdettweiler [2015-08-10 09:41:12] 643*2^1405907-1 is not prime. Res64: 91574D4BDE159F3B Time : 0.0 sec. user=mdettweiler [2015-08-10 09:41:12] 655*2^1405907-1 is not prime. Res64: 650C2604C850EB33 Time : 0.0 sec. user=mdettweiler [2015-08-10 09:42:01] 663*2^1405907-1 is not prime. Res64: A9ABA539BB691523 Time : 0.0 sec. user=mdettweiler [2015-08-10 09:42:02] 673*2^1405907-1 is not prime. Res64: 596363139EAFD37B Time : 0.0 sec. user=mdettweiler [2015-08-10 09:45:50] 685*2^1405907-1 is not prime. Res64: 5E6ED7960B793261 Time : 0.0 sec. user=mdettweiler [2015-08-10 09:45:51] 841*2^1405907-1 is not prime. Res64: 9E63F692EEF60E61 Time : 0.0 sec. user=mdettweiler [2015-08-10 09:59:12] 981*2^1405907-1 is not prime. Res64: 068561BC0A06C15B Time : 0.0 sec. user=mdettweiler [2015-08-10 09:59:12] 665*2^1405908-1 is not prime. Res64: 8D0EC481BE0EB906 Time : 0.0 sec. user=mdettweiler [2015-08-10 09:59:18] 909*2^1405907-1 is not prime. Res64: 730F8B75E498DE89 Time : 0.0 sec. user=mdettweiler [2015-08-10 09:59:18] 939*2^1405907-1 is not prime. Res64: 3F2CE24CA4EFAFED Time : 0.0 sec. user=mdettweiler [2015-08-10 10:00:09] 725*2^1405908-1 is not prime. Res64: 3C5A9036048DB38B Time : 0.0 sec. user=mdettweiler [2015-08-10 10:00:10] 825*2^1405908-1 is not prime. Res64: 3DD4A38E5E955018 Time : 0.0 sec. user=mdettweiler [2015-08-10 10:04:00] 957*2^1405908-1 is not prime. Res64: 4B77ADB011C9FBBA Time : 0.0 sec. user=mdettweiler [2015-08-10 10:04:03] 999*2^1405908-1 is not prime. Res64: F0C0F257052669AD Time : 0.0 sec. user=mdettweiler [2015-08-10 10:17:15] 677*2^1405910-1 is not prime. Res64: EAF12BB9AC2323D8 Time : 0.0 sec. user=mdettweiler [2015-08-10 10:17:15] 755*2^1405910-1 is not prime. Res64: 829DF706CAD5A25B Time : 0.0 sec. user=mdettweiler [2015-08-10 10:17:24] 887*2^1405910-1 is not prime. Res64: 7F530E0782F43D49 Time : 0.0 sec. user=mdettweiler [2015-08-10 10:17:24] 893*2^1405910-1 is not prime. Res64: A72B6B021CF2E9A0 Time : 0.0 sec. user=mdettweiler [2015-08-10 10:18:10] 923*2^1405910-1 is not prime. Res64: 8E55A2124215C662 Time : 0.0 sec. user=mdettweiler [2015-08-10 10:18:11] 977*2^1405910-1 is not prime. Res64: 7BCB7CE73E10BA91 Time : 0.0 sec. user=mdettweiler [2015-08-10 10:22:26] 661*2^1405911-1 is not prime. Res64: 2C02CD8EFCD1817E Time : 0.0 sec. user=mdettweiler [2015-08-10 10:22:26] 783*2^1405911-1 is not prime. Res64: B3FF9F1DB89B5CFA Time : 0.0 sec. user=mdettweiler [2015-08-10 10:35:25] 617*2^1405912-1 is not prime. Res64: 6C1B2FD15FE3C06F Time : 0.0 sec. user=mdettweiler [2015-08-10 10:35:25] 657*2^1405912-1 is not prime. Res64: 668808F2D44D408E Time : 0.0 sec. user=mdettweiler [2015-08-10 10:35:29] 827*2^1405912-1 is not prime. Res64: 5496240D9454A117 Time : 0.0 sec. user=mdettweiler [2015-08-10 10:35:29] 873*2^1405912-1 is not prime. Res64: 7C9FED509CFF2E80 Time : 0.0 sec. user=mdettweiler [2015-08-10 10:36:23] 933*2^1405912-1 is not prime. Res64: 43C62BF0A60C7B59 Time : 0.0 sec. user=mdettweiler [2015-08-10 10:36:23] 965*2^1405912-1 is not prime. Res64: 50AD6D66815DDAF3 Time : 0.0 sec. user=mdettweiler [2015-08-10 10:41:07] 675*2^1405913-1 is not prime. Res64: 1836344F17CCE614 Time : 0.0 sec. user=mdettweiler [2015-08-10 10:41:07] 759*2^1405913-1 is not prime. Res64: DC391205C6502D78 Time : 0.0 sec. user=mdettweiler [2015-08-10 10:54:03] 781*2^1405913-1 is not prime. Res64: FDE4C26EE1526720 Time : 0.0 sec. user=mdettweiler [2015-08-10 10:54:04] 615*2^1405914-1 is not prime. Res64: 28205B5738259C46 Time : 0.0 sec. user=mdettweiler [2015-08-10 10:54:13] 627*2^1405914-1 is not prime. Res64: 3ABF3B3F39264FCC Time : 0.0 sec. user=mdettweiler [2015-08-10 10:54:13] 633*2^1405914-1 is not prime. Res64: 3CB68379657A8EE8 Time : 0.0 sec. user=mdettweiler [2015-08-10 10:54:52] 705*2^1405914-1 is not prime. Res64: 51BDF1ADF08322FE Time : 0.0 sec. user=mdettweiler [2015-08-10 10:54:53] 903*2^1405914-1 is not prime. Res64: 031D3E410D9BD3CE Time : 0.0 sec. user=mdettweiler [2015-08-10 10:59:19] 905*2^1405914-1 is not prime. Res64: DF6F579129E4FA91 Time : 0.0 sec. user=mdettweiler [2015-08-10 10:59:20] 691*2^1405915-1 is not prime. Res64: B75215FB9B37CFAB Time : 0.0 sec. user=mdettweiler [2015-08-10 11:12:18] 793*2^1405915-1 is not prime. Res64: 3C75F98F78E6D10E Time : 0.0 sec. user=mdettweiler [2015-08-10 11:12:19] 855*2^1405915-1 is not prime. Res64: 1B0461B38185CA99 Time : 0.0 sec. user=mdettweiler [2015-08-10 11:12:32] 925*2^1405915-1 is not prime. Res64: 1D9DA1633B411D3E Time : 0.0 sec. user=mdettweiler [2015-08-10 11:12:32] 939*2^1405915-1 is not prime. Res64: 8E2551FEB845B86B Time : 0.0 sec. user=mdettweiler [2015-08-10 11:13:03] 609*2^1405916-1 is not prime. Res64: A31A90D54531620B Time : 0.0 sec. user=mdettweiler [2015-08-10 11:13:03] 867*2^1405916-1 is not prime. Res64: 1E4D9A727B11C91B Time : 0.0 sec. user=mdettweiler [2015-08-10 11:17:39] 873*2^1405916-1 is not prime. Res64: D29B601223964528 Time : 0.0 sec. user=mdettweiler [2015-08-10 11:17:40] 899*2^1405916-1 is not prime. Res64: 71A9509E393B6C15 Time : 0.0 sec. user=mdettweiler [2015-08-10 11:30:03] 625*2^1405917-1 is not prime. Res64: CA783A1C1368BCF4 Time : 0.0 sec. user=mdettweiler [2015-08-10 11:30:03] 661*2^1405917-1 is not prime. Res64: C49676C57305BC0D Time : 0.0 sec. user=mdettweiler [2015-08-10 11:30:16] 717*2^1405917-1 is not prime. Res64: B066B09E5A7E9189 Time : 0.0 sec. user=mdettweiler [2015-08-10 11:30:16] 805*2^1405917-1 is not prime. Res64: 07CAC395A3FC983C Time : 0.0 sec. user=mdettweiler [2015-08-10 11:30:48] 955*2^1405917-1 is not prime. Res64: 6D9E6D4B33A83AB4 Time : 0.0 sec. user=mdettweiler [2015-08-10 11:30:48] 723*2^1405918-1 is not prime. Res64: 2735BFDD5595EE49 Time : 0.0 sec. user=mdettweiler [2015-08-10 11:35:16] 843*2^1405918-1 is not prime. Res64: AA8879F14FE74E4F Time : 0.0 sec. user=mdettweiler [2015-08-10 11:35:16] 945*2^1405918-1 is not prime. Res64: 00AC6CC4524DAEB9 Time : 0.0 sec. user=mdettweiler [2015-08-10 11:47:56] 663*2^1405919-1 is not prime. Res64: 0C2D8D378C36E053 Time : 0.0 sec. user=mdettweiler [2015-08-10 11:47:56] 745*2^1405919-1 is not prime. Res64: ABCF07C32D7317CC Time : 0.0 sec. user=mdettweiler [2015-08-10 11:48:05] 799*2^1405919-1 is not prime. Res64: AD93B23630670622 Time : 0.0 sec. user=mdettweiler [2015-08-10 11:48:06] 861*2^1405919-1 is not prime. Res64: B77D660FA6BA0D3C Time : 0.0 sec. user=mdettweiler [2015-08-10 11:48:38] 883*2^1405919-1 is not prime. Res64: 0A6EAE247594F39D Time : 0.0 sec. user=mdettweiler [2015-08-10 11:48:38] 895*2^1405919-1 is not prime. Res64: E61FDC8C2B02687C Time : 0.0 sec. user=mdettweiler [2015-08-10 11:53:03] 939*2^1405919-1 is not prime. Res64: 1DA51DBAB9FD2B86 Time : 0.0 sec. user=mdettweiler [2015-08-10 11:53:03] 629*2^1405920-1 is not prime. Res64: 3F8D475E5F5AF709 Time : 0.0 sec. user=mdettweiler [2015-08-10 12:05:49] 759*2^1405920-1 is not prime. Res64: 328927661ABB129B Time : 0.0 sec. user=mdettweiler [2015-08-10 12:05:53] 689*2^1405920-1 is not prime. Res64: A0A2F7927F7F722B Time : 0.0 sec. user=mdettweiler [2015-08-10 12:05:55] 905*2^1405920-1 is not prime. Res64: 570E3C212A1A5001 Time : 0.0 sec. user=mdettweiler [2015-08-10 12:05:57] 719*2^1405920-1 is not prime. Res64: 9F9259D4F2C734EB Time : 0.0 sec. user=mdettweiler [2015-08-10 12:06:23] 909*2^1405920-1 is not prime. Res64: 211E80B576536D55 Time : 0.0 sec. user=mdettweiler [2015-08-10 12:06:26] 615*2^1405921-1 is not prime. Res64: 0A0A64495A3D7F89 Time : 0.0 sec. user=mdettweiler [2015-08-10 12:10:58] 945*2^1405921-1 is not prime. Res64: EDD7A9D3B24414AB Time : 0.0 sec. user=mdettweiler [2015-08-10 12:10:58] 785*2^1405922-1 is not prime. Res64: 7E426B80DDE6EE81 Time : 0.0 sec. user=mdettweiler [2015-08-10 12:24:54] 825*2^1405922-1 is not prime. Res64: 10B14F0AFFD684C6 Time : 0.0 sec. user=mdettweiler [2015-08-10 12:24:55] 911*2^1405922-1 is not prime. Res64: 4F6CA1BFCB894D67 Time : 0.0 sec. user=mdettweiler [2015-08-10 12:24:55] 941*2^1405922-1 is not prime. Res64: 6411E5F451D00B68 Time : 0.0 sec. user=mdettweiler [2015-08-10 12:24:55] 951*2^1405922-1 is not prime. Res64: 941E69086B7B607D Time : 0.0 sec. user=mdettweiler [2015-08-10 12:24:58] 953*2^1405922-1 is not prime. Res64: 290527027359AED4 Time : 0.0 sec. user=mdettweiler [2015-08-10 12:24:58] 669*2^1405923-1 is not prime. Res64: 6824807E351B893E Time : 0.0 sec. user=mdettweiler [2015-08-10 12:28:49] 685*2^1405923-1 is not prime. Res64: F912D266BD7D4A45 Time : 0.0 sec. user=mdettweiler [2015-08-10 12:28:50] 703*2^1405923-1 is not prime. Res64: 5C611F1CB79D37B5 Time : 0.0 sec. user=mdettweiler [2015-08-10 12:42:34] 879*2^1405923-1 is not prime. Res64: 45ADFD2B29562DF3 Time : 0.0 sec. user=mdettweiler [2015-08-10 12:42:35] 943*2^1405923-1 is not prime. Res64: D4C62E54991712A2 Time : 0.0 sec. user=mdettweiler [2015-08-10 12:42:46] 635*2^1405924-1 is not prime. Res64: FFD82934718B379B Time : 0.0 sec. user=mdettweiler [2015-08-10 12:42:46] 705*2^1405924-1 is not prime. Res64: AC3C54F7275D63F7 Time : 0.0 sec. user=mdettweiler [2015-08-10 12:42:46] 781*2^1405923-1 is not prime. Res64: 172F461D9F1C84FF Time : 0.0 sec. user=mdettweiler [2015-08-10 12:42:47] 783*2^1405923-1 is not prime. Res64: B1F06DD189912B37 Time : 0.0 sec. user=mdettweiler [2015-08-10 12:46:34] 607*2^1405925-1 is not prime. Res64: 793711F4AD7555ED Time : 0.0 sec. user=mdettweiler [2015-08-10 12:46:34] 649*2^1405925-1 is not prime. Res64: ADDA100E4BB66F34 Time : 0.0 sec. user=mdettweiler [2015-08-10 13:00:19] 777*2^1405925-1 is not prime. Res64: 16B14AFDFB4BFD93 Time : 0.0 sec. user=mdettweiler [2015-08-10 13:00:20] 925*2^1405925-1 is not prime. Res64: 3F24318915B3F08B Time : 0.0 sec. user=mdettweiler [2015-08-10 13:00:30] 795*2^1405926-1 is not prime. Res64: 7F8FF7B75E45023A Time : 0.0 sec. user=mdettweiler [2015-08-10 13:00:31] 807*2^1405926-1 is not prime. Res64: 79DB97FE7404500C Time : 0.0 sec. user=mdettweiler [2015-08-10 13:00:34] 937*2^1405925-1 is not prime. Res64: 443EBB9D10D5935D Time : 0.0 sec. user=mdettweiler [2015-08-10 13:00:35] 991*2^1405925-1 is not prime. Res64: E614E3C5B405F2E2 Time : 0.0 sec. user=mdettweiler [2015-08-10 13:04:25] 867*2^1405926-1 is not prime. Res64: 72DEA77978106DB7 Time : 0.0 sec. user=mdettweiler [2015-08-10 13:04:28] 873*2^1405926-1 is not prime. Res64: 1CD066321D3B57C7 Time : 0.0 sec. user=mdettweiler [2015-08-10 13:18:05] 891*2^1405926-1 is not prime. Res64: 883C38F33C649D20 Time : 0.0 sec. user=mdettweiler [2015-08-10 13:18:05] 921*2^1405926-1 is not prime. Res64: 6DFAAE0AD6689941 Time : 0.0 sec. user=mdettweiler [2015-08-10 13:18:19] 759*2^1405927-1 is not prime. Res64: 7FFA3DF172ABFDCD Time : 0.0 sec. user=mdettweiler [2015-08-10 13:18:19] 763*2^1405927-1 is not prime. Res64: E15010E95B937800 Time : 0.0 sec. user=mdettweiler [2015-08-10 13:18:21] 945*2^1405926-1 is not prime. Res64: 59243F3C3AD00D9E Time : 0.0 sec. user=mdettweiler [2015-08-10 13:18:22] 705*2^1405927-1 is not prime. Res64: 5E7ADFCB40C8597A Time : 0.0 sec. user=mdettweiler [2015-08-10 13:22:35] 765*2^1405927-1 is not prime. Res64: 07680CE9CC61B795 Time : 0.0 sec. user=mdettweiler [2015-08-10 13:22:36] 793*2^1405927-1 is not prime. Res64: 0C633F8FBEDEDB05 Time : 0.0 sec. user=mdettweiler [2015-08-10 13:35:51] 873*2^1405927-1 is not prime. Res64: 41B80951A761B2E6 Time : 0.0 sec. user=mdettweiler [2015-08-10 13:35:52] 915*2^1405927-1 is not prime. Res64: 372ADA6389519FD1 Time : 0.0 sec. user=mdettweiler [2015-08-10 13:36:00] 931*2^1405927-1 is not prime. Res64: 3D2E69A9D3429E6A Time : 0.0 sec. user=mdettweiler [2015-08-10 13:36:00] 933*2^1405927-1 is not prime. Res64: F988FAA1A2A58958 Time : 0.0 sec. user=mdettweiler [2015-08-10 13:36:07] 669*2^1405928-1 is not prime. Res64: 0E5360E4CA0267E7 Time : 0.0 sec. user=mdettweiler [2015-08-10 13:36:07] 755*2^1405928-1 is not prime. Res64: D48269E2FDBBB484 Time : 0.0 sec. user=mdettweiler [2015-08-10 13:40:29] 797*2^1405928-1 is not prime. Res64: 63A2A7EBBBBDA2BB Time : 0.0 sec. user=mdettweiler [2015-08-10 13:40:29] 839*2^1405928-1 is not prime. Res64: DC87DC068FA17E37 Time : 0.0 sec. user=mdettweiler [2015-08-10 13:53:35] 935*2^1405928-1 is not prime. Res64: 99C7470D61E382A9 Time : 0.0 sec. user=mdettweiler [2015-08-10 13:53:35] 945*2^1405928-1 is not prime. Res64: 5C4479D750FACE9F Time : 0.0 sec. user=mdettweiler [2015-08-10 13:53:45] 999*2^1405928-1 is not prime. Res64: F1DC11BB0872417E Time : 0.0 sec. user=mdettweiler [2015-08-10 13:53:46] 609*2^1405929-1 is not prime. Res64: ACF9C6545333D697 Time : 0.0 sec. user=mdettweiler [2015-08-10 13:53:54] 787*2^1405929-1 is not prime. Res64: 29A9696987B6D887 Time : 0.0 sec. user=mdettweiler [2015-08-10 13:53:54] 789*2^1405929-1 is not prime. Res64: A1594858A2FE5350 Time : 0.0 sec. user=mdettweiler [2015-08-10 13:58:16] 955*2^1405929-1 is not prime. Res64: 8360993551AB49C9 Time : 0.0 sec. user=mdettweiler [2015-08-10 13:58:16] 605*2^1405930-1 is not prime. Res64: B192E23295B61A79 Time : 0.0 sec. user=mdettweiler [2015-08-10 14:11:45] 681*2^1405930-1 is not prime. Res64: 3EC4C715DF1F9AB8 Time : 0.0 sec. user=mdettweiler [2015-08-10 14:11:46] 783*2^1405930-1 is not prime. Res64: AB9BCDFC14220C56 Time : 0.0 sec. user=mdettweiler [2015-08-10 14:11:55] 831*2^1405930-1 is not prime. Res64: D205FAD4EF6C572F Time : 0.0 sec. user=mdettweiler [2015-08-10 14:11:55] 833*2^1405930-1 is not prime. Res64: 0A0DA1D17D1AB492 Time : 0.0 sec. user=mdettweiler [2015-08-10 14:12:01] 891*2^1405930-1 is not prime. Res64: 09391119401F0E91 Time : 0.0 sec. user=mdettweiler [2015-08-10 14:12:02] 987*2^1405930-1 is not prime. Res64: 39429AF5D4FDEA37 Time : 0.0 sec. user=mdettweiler [2015-08-10 14:16:49] 621*2^1405931-1 is not prime. Res64: C095A533EB567119 Time : 0.0 sec. user=mdettweiler [2015-08-10 14:16:49] 781*2^1405931-1 is not prime. Res64: D43C989DAE3B7400 Time : 0.0 sec. user=mdettweiler [2015-08-10 14:30:13] 949*2^1405931-1 is not prime. Res64: 7610C280085FBAC6 Time : 0.0 sec. user=mdettweiler [2015-08-10 14:30:13] 647*2^1405932-1 is not prime. Res64: D8B1BC66EC875F51 Time : 0.0 sec. user=mdettweiler [2015-08-10 14:30:26] 767*2^1405932-1 is not prime. Res64: 2BAE66B5D517E8DC Time : 0.0 sec. user=mdettweiler [2015-08-10 14:30:26] 625*2^1405933-1 is not prime. Res64: F5455DAB392D953D Time : 0.0 sec. user=mdettweiler [2015-08-10 14:30:36] 649*2^1405933-1 is not prime. Res64: 601E6EE3C8FF7DA6 Time : 0.0 sec. user=mdettweiler [2015-08-10 14:30:36] 745*2^1405933-1 is not prime. Res64: FF3C361591567AF8 Time : 0.0 sec. user=S_K_ [2015-08-10 14:32:06] 615*2^1405931-1 is not prime. Res64: 56DEF96682642546 Time : 0.0 sec. user=mdettweiler [2015-08-10 14:34:50] 769*2^1405933-1 is not prime. Res64: 1A1EFE8C688C710B Time : 0.0 sec. user=mdettweiler [2015-08-10 14:34:51] 831*2^1405933-1 is not prime. Res64: 98FE4E3D328D80E6 Time : 0.0 sec. user=mdettweiler [2015-08-10 14:47:59] 877*2^1405933-1 is not prime. Res64: F362846FD12D2A1E Time : 0.0 sec. user=mdettweiler [2015-08-10 14:48:00] 939*2^1405933-1 is not prime. Res64: 260BC33493126D26 Time : 0.0 sec. user=mdettweiler [2015-08-10 14:48:16] 945*2^1405933-1 is not prime. Res64: 25ABC7C2E465DF82 Time : 0.0 sec. user=mdettweiler [2015-08-10 14:48:17] 665*2^1405934-1 is not prime. Res64: 650AD8B86F66C4B2 Time : 0.0 sec. user=mdettweiler [2015-08-10 14:48:23] 683*2^1405934-1 is not prime. Res64: FC20C5075BC917E4 Time : 0.0 sec. user=mdettweiler [2015-08-10 14:48:24] 711*2^1405934-1 is not prime. Res64: E3657187C5567B67 Time : 0.0 sec. user=mdettweiler [2015-08-10 14:52:42] 797*2^1405934-1 is not prime. Res64: 052D679AA1E125CA Time : 0.0 sec. user=mdettweiler [2015-08-10 14:52:42] 833*2^1405934-1 is not prime. Res64: EB71F9D5A9A6E38F Time : 0.0 sec. user=mdettweiler [2015-08-10 15:05:49] 897*2^1405934-1 is not prime. Res64: 02880E06C8E6465F Time : 0.0 sec. user=mdettweiler [2015-08-10 15:05:51] 941*2^1405934-1 is not prime. Res64: CDA09F41DC6B5743 Time : 0.0 sec. user=mdettweiler [2015-08-10 15:06:08] 945*2^1405934-1 is not prime. Res64: 1424766A72068BC8 Time : 0.0 sec. user=mdettweiler [2015-08-10 15:06:11] 1001*2^1405934-1 is not prime. Res64: DFBCE1820AF10604 Time : 0.0 sec. user=mdettweiler [2015-08-10 15:06:12] 649*2^1405935-1 is not prime. Res64: 1B136BB8BB1840FD Time : 0.0 sec. user=mdettweiler [2015-08-10 15:06:13] 685*2^1405935-1 is not prime. Res64: EC533E67C8867356 Time : 0.0 sec. user=S_K_ [2015-08-10 15:09:06] 731*2^1405934-1 is not prime. Res64: 9994CBD8000A1C10 Time : 0.0 sec. user=mdettweiler [2015-08-10 15:11:02] 829*2^1405935-1 is not prime. Res64: 71F50AB6A5378313 Time : 0.0 sec. user=mdettweiler [2015-08-10 15:11:03] 861*2^1405935-1 is not prime. Res64: 7A9A48E233F93C22 Time : 0.0 sec. user=mdettweiler [2015-08-10 15:25:14] 933*2^1405935-1 is not prime. Res64: A96594E22FFDD163 Time : 0.0 sec. user=mdettweiler [2015-08-10 15:25:14] 963*2^1405935-1 is not prime. Res64: 4F9BADA5725F4245 Time : 0.0 sec. user=mdettweiler [2015-08-10 15:25:20] 777*2^1405936-1 is not prime. Res64: FBFE1D855156427C Time : 0.0 sec. user=mdettweiler [2015-08-10 15:25:21] 843*2^1405936-1 is not prime. Res64: 7F35BA4B0CEB2032 Time : 0.0 sec. user=mdettweiler [2015-08-10 15:25:22] 609*2^1405936-1 is not prime. Res64: 9E65AEDC30D46551 Time : 0.0 sec. user=mdettweiler [2015-08-10 15:25:22] 677*2^1405936-1 is not prime. Res64: D6DF3137670E1BC6 Time : 0.0 sec. user=mdettweiler [2015-08-10 15:30:12] 875*2^1405936-1 is not prime. Res64: 22C0FD96B6820E57 Time : 0.0 sec. user=mdettweiler [2015-08-10 15:30:12] 899*2^1405936-1 is not prime. Res64: 76F3584C5FF40CE3 Time : 0.0 sec. user=mdettweiler [2015-08-10 15:43:52] 939*2^1405936-1 is not prime. Res64: C52E56C3BE3A31B7 Time : 0.0 sec. user=mdettweiler [2015-08-10 15:43:52] 607*2^1405937-1 is not prime. Res64: CC2EF03B9F9ABA8E Time : 0.0 sec. user=mdettweiler [2015-08-10 15:44:06] 677*2^1405938-1 is not prime. Res64: C360509CD9940677 Time : 0.0 sec. user=mdettweiler [2015-08-10 15:44:06] 765*2^1405938-1 is not prime. Res64: 8B2A37F7344E6B61 Time : 0.0 sec. user=mdettweiler [2015-08-10 15:44:08] 837*2^1405937-1 is not prime. Res64: F816017A18FC2975 Time : 0.0 sec. user=mdettweiler [2015-08-10 15:44:08] 955*2^1405937-1 is not prime. Res64: CD9662E8A585475C Time : 0.0 sec. user=S_K_ [2015-08-10 15:46:50] 855*2^1405936-1 is not prime. Res64: BC5B8C951A1BE601 Time : 0.0 sec. user=mdettweiler [2015-08-10 15:49:00] 885*2^1405939-1 is not prime. Res64: D5C8918CFAEA28BB Time : 0.0 sec. user=mdettweiler [2015-08-10 15:49:00] 909*2^1405939-1 is not prime. Res64: 5EBA4A00E584F31A Time : 0.0 sec. user=mdettweiler [2015-08-10 16:02:50] 961*2^1405939-1 is not prime. Res64: 6339A118C341903D Time : 0.0 sec. user=mdettweiler [2015-08-10 16:02:51] 607*2^1405941-1 is not prime. Res64: B8B7C11EA34BE694 Time : 0.0 sec. user=mdettweiler [2015-08-10 16:03:10] 937*2^1405941-1 is not prime. Res64: 15D98D458EC6FFE8 Time : 0.0 sec. user=mdettweiler [2015-08-10 16:03:10] 961*2^1405941-1 is not prime. Res64: 0E4A19B44B213EA5 Time : 0.0 sec. user=mdettweiler [2015-08-10 16:03:17] 657*2^1405941-1 is not prime. Res64: 7603988B1D9441AD Time : 0.0 sec. user=mdettweiler [2015-08-10 16:03:18] 877*2^1405941-1 is not prime. Res64: 533E2A27C196D6F8 Time : 0.0 sec. user=mdettweiler [2015-08-10 16:08:08] 969*2^1405941-1 is not prime. Res64: 1EC6CB928FC61246 Time : 0.0 sec. user=mdettweiler [2015-08-10 16:08:08] 979*2^1405941-1 is not prime. Res64: E5505F4209E01F8B Time : 0.0 sec. user=mdettweiler [2015-08-10 16:22:13] 987*2^1405941-1 is not prime. Res64: 5ABE1E923D9B91FC Time : 0.0 sec. user=mdettweiler [2015-08-10 16:22:13] 999*2^1405941-1 is not prime. Res64: B1A748B6E9D3F827 Time : 0.0 sec. user=mdettweiler [2015-08-10 16:22:20] 731*2^1405942-1 is not prime. Res64: 7AB36631F697584E Time : 0.0 sec. user=mdettweiler [2015-08-10 16:22:20] 741*2^1405942-1 is not prime. Res64: BD0896269BFB4604 Time : 0.0 sec. user=mdettweiler [2015-08-10 16:22:21] 635*2^1405942-1 is not prime. Res64: 8DEC3D485219FAA1 Time : 0.0 sec. user=mdettweiler [2015-08-10 16:22:22] 677*2^1405942-1 is not prime. Res64: F924F98C5391DAE0 Time : 0.0 sec. user=mdettweiler [2015-08-10 16:27:24] 765*2^1405942-1 is not prime. Res64: 13B0F9B6DF1EF32F Time : 0.0 sec. user=mdettweiler [2015-08-10 16:27:24] 777*2^1405942-1 is not prime. Res64: F7231DD42783F469 Time : 0.0 sec. user=mdettweiler [2015-08-10 16:40:46] 831*2^1405942-1 is not prime. Res64: DD67C8E699DFD909 Time : 0.0 sec. user=mdettweiler [2015-08-10 16:40:46] 915*2^1405942-1 is not prime. Res64: 732D33D3CAA77E15 Time : 0.0 sec. user=mdettweiler [2015-08-10 16:40:54] 685*2^1405943-1 is not prime. Res64: 98DB57643B24569B Time : 0.0 sec. user=mdettweiler [2015-08-10 16:40:54] 813*2^1405943-1 is not prime. Res64: EC8120481326C269 Time : 0.0 sec. user=mdettweiler [2015-08-10 16:41:00] 649*2^1405943-1 is not prime. Res64: 650D4F81E2BD3B61 Time : 0.0 sec. user=mdettweiler [2015-08-10 16:41:00] 673*2^1405943-1 is not prime. Res64: 1EBA99DBE9902E81 Time : 0.0 sec. user=mdettweiler [2015-08-10 16:45:28] 605*2^1405944-1 is not prime. Res64: E8388EB4D64C8232 Time : 0.0 sec. user=mdettweiler [2015-08-10 16:45:29] 615*2^1405944-1 is not prime. Res64: 67BA3BCD27C312C2 Time : 0.0 sec. user=mdettweiler [2015-08-10 16:58:44] 639*2^1405944-1 is not prime. Res64: 71C5AB52BC54EA38 Time : 0.0 sec. user=mdettweiler [2015-08-10 16:58:44] 657*2^1405944-1 is not prime. Res64: 43A8F131FD56CDBC Time : 0.0 sec. user=mdettweiler [2015-08-10 16:58:58] 857*2^1405944-1 is not prime. Res64: 5AD43BFBA6A4F74C Time : 0.0 sec. user=mdettweiler [2015-08-10 16:58:58] 915*2^1405944-1 is not prime. Res64: E8AE368CE4C3AD0A Time : 0.0 sec. user=mdettweiler [2015-08-10 16:59:02] 927*2^1405944-1 is not prime. Res64: F78DEAD015DC7188 Time : 0.0 sec. user=mdettweiler [2015-08-10 16:59:02] 957*2^1405944-1 is not prime. Res64: 53D2C7500B59BE39 Time : 0.0 sec. user=S_K_ [2015-08-10 17:01:18] 981*2^1405943-1 is not prime. Res64: 07920656457E8602 Time : 0.0 sec. user=mdettweiler [2015-08-10 17:04:12] 993*2^1405944-1 is not prime. Res64: 9943FFF533E16B4A Time : 0.0 sec. user=mdettweiler [2015-08-10 17:04:13] 607*2^1405945-1 is not prime. Res64: 395C014E331194B3 Time : 0.0 sec. user=mdettweiler [2015-08-10 17:17:33] 619*2^1405945-1 is not prime. Res64: AEA4AA34B8973F52 Time : 0.0 sec. user=mdettweiler [2015-08-10 17:17:33] 889*2^1405945-1 is not prime. Res64: FB1BD9A9A0C9C8CA Time : 0.0 sec. user=mdettweiler [2015-08-10 17:17:51] 919*2^1405945-1 is not prime. Res64: 23290D3C0F73DEBF Time : 0.0 sec. user=mdettweiler [2015-08-10 17:17:51] 937*2^1405945-1 is not prime. Res64: E727EC70F62081F5 Time : 0.0 sec. user=mdettweiler [2015-08-10 17:18:04] 711*2^1405946-1 is not prime. Res64: CE30FA8576BCB81B Time : 0.0 sec. user=mdettweiler [2015-08-10 17:18:04] 783*2^1405946-1 is not prime. Res64: C8332BA15A879812 Time : 0.0 sec. user=mdettweiler [2015-08-10 17:23:43] 851*2^1405946-1 is not prime. Res64: 9FB1160DAC83CBA8 Time : 0.0 sec. user=mdettweiler [2015-08-10 17:23:43] 857*2^1405946-1 is not prime. Res64: 02F0C41B9EC25485 Time : 0.0 sec. user=mdettweiler [2015-08-10 17:37:19] 987*2^1405946-1 is not prime. Res64: C21BF42F5966B721 Time : 0.0 sec. user=mdettweiler [2015-08-10 17:37:19] 619*2^1405947-1 is not prime. Res64: C2EA7F54D28EEBBF Time : 0.0 sec. user=mdettweiler [2015-08-10 17:37:51] 615*2^1405948-1 is not prime. Res64: 12DFE1676456ECA7 Time : 0.0 sec. user=mdettweiler [2015-08-10 17:37:51] 635*2^1405948-1 is not prime. Res64: 05B5B2BF4AAD61FE Time : 0.0 sec. user=mdettweiler [2015-08-10 17:37:53] 695*2^1405948-1 is not prime. Res64: D9A187EE4FD7E403 Time : 0.0 sec. user=mdettweiler [2015-08-10 17:37:54] 833*2^1405948-1 is not prime. Res64: EC3D4965969E74E7 Time : 0.0 sec. user=mdettweiler [2015-08-10 17:42:57] 887*2^1405948-1 is not prime. Res64: 302AB66FC86386C8 Time : 0.0 sec. user=mdettweiler [2015-08-10 17:42:57] 929*2^1405948-1 is not prime. Res64: 60101FD070243758 Time : 0.0 sec. user=mdettweiler [2015-08-10 17:56:29] 615*2^1405949-1 is not prime. Res64: F15F340B01B396EA Time : 0.0 sec. user=mdettweiler [2015-08-10 17:56:29] 741*2^1405949-1 is not prime. Res64: CBAC3C01A9A0FF73 Time : 0.0 sec. user=mdettweiler [2015-08-10 17:56:51] 747*2^1405949-1 is not prime. Res64: 1B705A1F83A3DC48 Time : 0.0 sec. user=mdettweiler [2015-08-10 17:56:52] 775*2^1405949-1 is not prime. Res64: A3F9EEC194890BA3 Time : 0.0 sec. user=mdettweiler [2015-08-10 17:56:59] 615*2^1405950-1 is not prime. Res64: E6D0D9DCB2AE8577 Time : 0.0 sec. user=mdettweiler [2015-08-10 17:57:00] 723*2^1405950-1 is not prime. Res64: 29B2C7629AA36F80 Time : 0.0 sec. user=mdettweiler [2015-08-10 18:01:46] 765*2^1405950-1 is not prime. Res64: 5DB65E9069F79F07 Time : 0.0 sec. user=mdettweiler [2015-08-10 18:01:47] 767*2^1405950-1 is not prime. Res64: 054F704F692451BC Time : 0.0 sec. user=mdettweiler [2015-08-10 18:15:14] 797*2^1405950-1 is not prime. Res64: 9D0D603AD94FF117 Time : 0.0 sec. user=mdettweiler [2015-08-10 18:15:15] 851*2^1405950-1 is not prime. Res64: B77074A3368C2F87 Time : 0.0 sec. user=mdettweiler [2015-08-10 18:15:38] 921*2^1405950-1 is not prime. Res64: 64F970FDFA27B9E0 Time : 0.0 sec. user=mdettweiler [2015-08-10 18:15:39] 971*2^1405950-1 is not prime. Res64: C93A6D4E05948A20 Time : 0.0 sec. user=mdettweiler [2015-08-10 18:15:56] 1001*2^1405950-1 is not prime. Res64: DECB932688F1EBFD Time : 0.0 sec. user=mdettweiler [2015-08-10 18:15:57] 673*2^1405951-1 is not prime. Res64: 6608FEFCCA3CB501 Time : 0.0 sec. user=mdettweiler [2015-08-10 18:20:57] 709*2^1405951-1 is not prime. Res64: 2107B3A4944AA517 Time : 0.0 sec. user=mdettweiler [2015-08-10 18:20:58] 759*2^1405951-1 is not prime. Res64: 9338E46C84709DCC Time : 0.0 sec. user=mdettweiler [2015-08-10 18:34:30] 609*2^1405952-1 is not prime. Res64: 8DFEE19F2F504911 Time : 0.0 sec. user=mdettweiler [2015-08-10 18:34:30] 677*2^1405952-1 is not prime. Res64: E71BFEAA44EEF83A Time : 0.0 sec. user=mdettweiler [2015-08-10 18:34:53] 725*2^1405952-1 is not prime. Res64: 93F72712676AABCA Time : 0.0 sec. user=mdettweiler [2015-08-10 18:34:53] 767*2^1405952-1 is not prime. Res64: 2711E0E134FE43EA Time : 0.0 sec. user=mdettweiler [2015-08-10 18:34:53] 883*2^1405951-1 is not prime. Res64: 6A3CD1AD16CB9786 Time : 0.0 sec. user=mdettweiler [2015-08-10 18:34:54] 891*2^1405951-1 is not prime. Res64: D39E51A760D0D524 Time : 0.0 sec. user=mdettweiler [2015-08-10 18:39:50] 879*2^1405952-1 is not prime. Res64: 282861AAD10E1D05 Time : 0.0 sec. user=mdettweiler [2015-08-10 18:39:50] 893*2^1405952-1 is not prime. Res64: 8E8013E789D2F0AA Time : 0.0 sec. user=mdettweiler [2015-08-10 18:52:49] 909*2^1405952-1 is not prime. Res64: 8F720C35B64D0C11 Time : 0.0 sec. user=mdettweiler [2015-08-10 18:52:49] 945*2^1405952-1 is not prime. Res64: 616ECB8CE3FFE6C8 Time : 0.0 sec. user=mdettweiler [2015-08-10 18:53:01] 999*2^1405952-1 is not prime. Res64: C1CDED1E68B72568 Time : 0.0 sec. user=mdettweiler [2015-08-10 18:53:01] 649*2^1405953-1 is not prime. Res64: BC35FBD204F27A85 Time : 0.0 sec. user=mdettweiler [2015-08-10 18:53:19] 691*2^1405953-1 is not prime. Res64: 1C36141149D197E0 Time : 0.0 sec. user=mdettweiler [2015-08-10 18:53:19] 727*2^1405953-1 is not prime. Res64: 4F4E39C325CC9629 Time : 0.0 sec. user=mdettweiler [2015-08-10 18:58:25] 745*2^1405953-1 is not prime. Res64: 7BB0C7A3501DE8ED Time : 0.0 sec. user=mdettweiler [2015-08-10 18:58:26] 849*2^1405953-1 is not prime. Res64: BCF86E0132B29C81 Time : 0.0 sec. user=mdettweiler [2015-08-10 19:12:04] 885*2^1405953-1 is not prime. Res64: 1839F48A46F337BD Time : 0.0 sec. user=mdettweiler [2015-08-10 19:12:04] 915*2^1405953-1 is not prime. Res64: 122864A854ED9B9E Time : 0.0 sec. user=mdettweiler [2015-08-10 19:12:04] 901*2^1405953-1 is not prime. Res64: 0FB0CD1D2B751AD4 Time : 0.0 sec. user=mdettweiler [2015-08-10 19:12:05] 937*2^1405953-1 is not prime. Res64: 6865C006DF42B1AE Time : 0.0 sec. user=mdettweiler [2015-08-10 19:12:28] 675*2^1405954-1 is not prime. Res64: BD62E04D15D484E6 Time : 0.0 sec. user=mdettweiler [2015-08-10 19:12:29] 741*2^1405954-1 is not prime. Res64: CFBF79021CB58F66 Time : 0.0 sec. user=mdettweiler [2015-08-10 19:17:38] 755*2^1405954-1 is not prime. Res64: EC79DB071C11DB38 Time : 0.0 sec. user=mdettweiler [2015-08-10 19:17:38] 765*2^1405954-1 is not prime. Res64: 1433E33A1BC1A7FD Time : 0.0 sec. user=mdettweiler [2015-08-10 19:31:20] 971*2^1405954-1 is not prime. Res64: 1BA26C5EB1FBAB94 Time : 0.0 sec. user=mdettweiler [2015-08-10 19:31:20] 993*2^1405954-1 is not prime. Res64: C720631746B0453B Time : 0.0 sec. user=mdettweiler [2015-08-10 19:31:27] 823*2^1405955-1 is not prime. Res64: D3EC89E5E784196E Time : 0.0 sec. user=mdettweiler [2015-08-10 19:31:27] 825*2^1405955-1 is not prime. Res64: 3CA93BDDCF3D6E00 Time : 0.0 sec. user=mdettweiler [2015-08-10 19:31:45] 859*2^1405955-1 is not prime. Res64: 9B6E89CA92FC9D64 Time : 0.0 sec. user=mdettweiler [2015-08-10 19:31:45] 883*2^1405955-1 is not prime. Res64: 3774C2CAF1AA0761 Time : 0.0 sec. user=mdettweiler [2015-08-10 19:37:07] 981*2^1405955-1 is not prime. Res64: A9FCE52086D7FEFC Time : 0.0 sec. user=mdettweiler [2015-08-10 19:37:07] 657*2^1405956-1 is not prime. Res64: 6B252A0AB74DB774 Time : 0.0 sec. user=mdettweiler [2015-08-10 19:50:50] 695*2^1405956-1 is not prime. Res64: F313CACE63217E85 Time : 0.0 sec. user=mdettweiler [2015-08-10 19:50:50] 887*2^1405956-1 is not prime. Res64: 5EC26E7BD27E8AA2 Time : 0.0 sec. user=mdettweiler [2015-08-10 19:51:04] 757*2^1405957-1 is not prime. Res64: 20168175EBA5B1F3 Time : 0.0 sec. user=mdettweiler [2015-08-10 19:51:04] 867*2^1405957-1 is not prime. Res64: 878EADE0364BD9E0 Time : 0.0 sec. user=mdettweiler [2015-08-10 19:51:12] 899*2^1405956-1 is not prime. Res64: 89D987E39571A0C9 Time : 0.0 sec. user=mdettweiler [2015-08-10 19:51:12] 751*2^1405957-1 is not prime. Res64: 35F443E3865AE183 Time : 0.0 sec. user=S_K_ [2015-08-10 19:56:31] 857*2^1405952-1 is not prime. Res64: 51998B6B7DD0449E Time : 0.0 sec. user=mdettweiler [2015-08-10 19:56:49] 603*2^1405958-1 is not prime. Res64: F1F77AC6C03122AD Time : 0.0 sec. user=mdettweiler [2015-08-10 19:56:49] 773*2^1405958-1 is not prime. Res64: 1EA384A61EE2086A Time : 0.0 sec. user=mdettweiler [2015-08-10 20:10:10] 951*2^1405958-1 is not prime. Res64: C4764D3F5C14FFD8 Time : 0.0 sec. user=mdettweiler [2015-08-10 20:10:10] 957*2^1405958-1 is not prime. Res64: FDAD29D613350335 Time : 0.0 sec. user=mdettweiler [2015-08-10 20:10:20] 791*2^1405958-1 is not prime. Res64: 2A4DE023BF1A8EDE Time : 0.0 sec. user=mdettweiler [2015-08-10 20:10:21] 867*2^1405958-1 is not prime. Res64: 8098D986CBE2F81B Time : 0.0 sec. user=mdettweiler [2015-08-10 20:10:39] 859*2^1405959-1 is not prime. Res64: A2FCC5C9A446057B Time : 0.0 sec. user=mdettweiler [2015-08-10 20:10:40] 629*2^1405960-1 is not prime. Res64: 8F6D4F000157A5DB Time : 0.0 sec. user=mdettweiler [2015-08-10 20:15:37] 813*2^1405960-1 is not prime. Res64: 1615C065C2F5B711 Time : 0.0 sec. user=mdettweiler [2015-08-10 20:15:37] 849*2^1405960-1 is not prime. Res64: F7588B7FA5BD0C89 Time : 0.0 sec. user=mdettweiler [2015-08-10 20:28:34] 875*2^1405960-1 is not prime. Res64: 0502ADB8DCB31271 Time : 0.0 sec. user=mdettweiler [2015-08-10 20:28:34] 607*2^1405961-1 is not prime. Res64: 02E33DC374F61C9D Time : 0.0 sec. user=mdettweiler [2015-08-10 20:28:45] 717*2^1405961-1 is not prime. Res64: 1B04C50BC39923E7 Time : 0.0 sec. user=mdettweiler [2015-08-10 20:28:46] 735*2^1405961-1 is not prime. Res64: AD0F87F420018599 Time : 0.0 sec. user=mdettweiler [2015-08-10 20:29:07] 865*2^1405961-1 is not prime. Res64: E844DCA1C7E9C000 Time : 0.0 sec. user=mdettweiler [2015-08-10 20:29:07] 987*2^1405961-1 is not prime. Res64: 89065C45B5E58A82 Time : 0.0 sec. user=mdettweiler [2015-08-10 20:34:03] 627*2^1405962-1 is not prime. Res64: 65ED36FF8D805243 Time : 0.0 sec. user=mdettweiler [2015-08-10 20:34:03] 717*2^1405962-1 is not prime. Res64: 2F030C89AF93FF07 Time : 0.0 sec. user=mdettweiler [2015-08-10 20:47:10] 755*2^1405962-1 is not prime. Res64: 1B7F34404FD7220D Time : 0.0 sec. user=mdettweiler [2015-08-10 20:47:11] 803*2^1405962-1 is not prime. Res64: EBADAA93D546927B Time : 0.0 sec. user=mdettweiler [2015-08-10 20:47:23] 843*2^1405962-1 is not prime. Res64: 958BDE58CBED184C Time : 0.0 sec. user=mdettweiler [2015-08-10 20:47:23] 631*2^1405963-1 is not prime. Res64: B88DD357863ADDFB Time : 0.0 sec. user=mdettweiler [2015-08-10 20:47:46] 735*2^1405963-1 is not prime. Res64: 896D9C5C31D6B577 Time : 0.0 sec. user=mdettweiler [2015-08-10 20:47:47] 783*2^1405963-1 is not prime. Res64: 32B5AB216D9E9F78 Time : 0.0 sec. user=mdettweiler [2015-08-10 20:52:44] 829*2^1405963-1 is not prime. Res64: 521D3923A03B806D Time : 0.0 sec. user=mdettweiler [2015-08-10 20:52:44] 853*2^1405963-1 is not prime. Res64: D7D88FD2C16220D5 Time : 0.0 sec. user=mdettweiler [2015-08-10 21:05:50] 961*2^1405963-1 is not prime. Res64: 24AAA5CE8C063BBD Time : 0.0 sec. user=mdettweiler [2015-08-10 21:05:51] 635*2^1405964-1 is not prime. Res64: CD3AFC697AF1FD0F Time : 0.0 sec. user=mdettweiler [2015-08-10 21:06:00] 677*2^1405964-1 is not prime. Res64: 55FA77BD5283131A Time : 0.0 sec. user=mdettweiler [2015-08-10 21:06:01] 707*2^1405964-1 is not prime. Res64: 2F58A0F94B4A34AB Time : 0.0 sec. user=mdettweiler [2015-08-10 21:06:24] 717*2^1405964-1 is not prime. Res64: D2D23413B4657BB9 Time : 0.0 sec. user=mdettweiler [2015-08-10 21:06:25] 719*2^1405964-1 is not prime. Res64: 093EC51D9B1F21A3 Time : 0.0 sec. user=mdettweiler [2015-08-10 21:11:23] 959*2^1405964-1 is not prime. Res64: 98230BFD4B59CADD Time : 0.0 sec. user=mdettweiler [2015-08-10 21:11:24] 649*2^1405965-1 is not prime. Res64: EAD666B49DE1554B Time : 0.0 sec. user=mdettweiler [2015-08-10 21:24:17] 635*2^1405966-1 is not prime. Res64: 02B2FDB5103DD3D7 Time : 0.0 sec. user=mdettweiler [2015-08-10 21:24:17] 651*2^1405966-1 is not prime. Res64: C661850F0A2F13B7 Time : 0.0 sec. user=mdettweiler [2015-08-10 21:24:25] 789*2^1405965-1 is not prime. Res64: 58092774C8729EF2 Time : 0.0 sec. user=mdettweiler [2015-08-10 21:24:25] 811*2^1405965-1 is not prime. Res64: 861F4EC548CCF743 Time : 0.0 sec. user=mdettweiler [2015-08-10 21:24:36] 773*2^1405966-1 is not prime. Res64: E330CA77C147D092 Time : 0.0 sec. user=mdettweiler [2015-08-10 21:24:36] 917*2^1405966-1 is not prime. Res64: 44F908177B08271D Time : 0.0 sec. user=mdettweiler [2015-08-10 21:29:20] 965*2^1405966-1 is not prime. Res64: D3AFBA3E63B7A16C Time : 0.0 sec. user=mdettweiler [2015-08-10 21:29:21] 609*2^1405967-1 is not prime. Res64: C8BC8F6A8AD37C29 Time : 0.0 sec. user=mdettweiler [2015-08-10 21:42:00] 775*2^1405967-1 is not prime. Res64: C781A05AEA354779 Time : 0.0 sec. user=mdettweiler [2015-08-10 21:42:01] 799*2^1405967-1 is not prime. Res64: 31EDD87A84A31EDC Time : 0.0 sec. user=mdettweiler [2015-08-10 21:42:08] 633*2^1405967-1 is not prime. Res64: 4482EA5C5CA75885 Time : 0.0 sec. user=mdettweiler [2015-08-10 21:42:09] 685*2^1405967-1 is not prime. Res64: EFFDA055078F4A6E Time : 0.0 sec. user=mdettweiler [2015-08-10 21:42:18] 841*2^1405967-1 is not prime. Res64: D80C5CB19D2202A0 Time : 0.0 sec. user=mdettweiler [2015-08-10 21:42:18] 993*2^1405967-1 is not prime. Res64: 27108FDDAB75DC4D Time : 0.0 sec. user=mdettweiler [2015-08-10 21:47:05] 639*2^1405968-1 is not prime. Res64: 1662968CFC6B389B Time : 0.0 sec. user=mdettweiler [2015-08-10 21:47:05] 669*2^1405968-1 is not prime. Res64: E9B3956A3E43A0F9 Time : 0.0 sec. user=mdettweiler [2015-08-10 22:00:15] 933*2^1405968-1 is not prime. Res64: 38F7715F141957D8 Time : 0.0 sec. user=mdettweiler [2015-08-10 22:00:16] 747*2^1405968-1 is not prime. Res64: AB16029386052F12 Time : 0.0 sec. user=mdettweiler [2015-08-10 22:00:17] 601*2^1405969-1 is not prime. Res64: 339FB14AB53E5F10 Time : 0.0 sec. user=mdettweiler [2015-08-10 22:00:17] 843*2^1405968-1 is not prime. Res64: 4FAEC557517550D4 Time : 0.0 sec. user=mdettweiler [2015-08-10 22:00:30] 609*2^1405969-1 is not prime. Res64: 6F6EFBDD7D715B98 Time : 0.0 sec. user=mdettweiler [2015-08-10 22:00:31] 681*2^1405969-1 is not prime. Res64: 061A5B8DCE410FC7 Time : 0.0 sec. user=mdettweiler [2015-08-10 22:05:20] 829*2^1405969-1 is not prime. Res64: 6EDCDF7A9C279B95 Time : 0.0 sec. user=mdettweiler [2015-08-10 22:05:23] 867*2^1405969-1 is not prime. Res64: D76F27FB7F4DE8F8 Time : 0.0 sec. user=mdettweiler [2015-08-10 22:18:42] 603*2^1405970-1 is not prime. Res64: C5C8B9ED0570B748 Time : 0.0 sec. user=mdettweiler [2015-08-10 22:18:43] 657*2^1405970-1 is not prime. Res64: BD807EAD2B3C4EE3 Time : 0.0 sec. user=mdettweiler [2015-08-10 22:19:05] 677*2^1405970-1 is not prime. Res64: BAB080D4C608882C Time : 0.0 sec. user=mdettweiler [2015-08-10 22:19:06] 767*2^1405970-1 is not prime. Res64: A95203CFA0723420 Time : 0.0 sec. user=mdettweiler [2015-08-10 22:19:15] 885*2^1405969-1 is not prime. Res64: 8EDCE28DC8396EB1 Time : 0.0 sec. user=mdettweiler [2015-08-10 22:19:15] 955*2^1405969-1 is not prime. Res64: B229BAE7027052E5 Time : 0.0 sec. user=mdettweiler [2015-08-10 22:24:19] 783*2^1405970-1 is not prime. Res64: ACB715E9B38A2584 Time : 0.0 sec. user=mdettweiler [2015-08-10 22:24:19] 851*2^1405970-1 is not prime. Res64: 51B795D71D31C1D0 Time : 0.0 sec. user=mdettweiler [2015-08-10 22:37:58] 857*2^1405970-1 is not prime. Res64: 312FD49BC27AAF50 Time : 0.0 sec. user=mdettweiler [2015-08-10 22:37:59] 885*2^1405970-1 is not prime. Res64: 3644ACD4695BFCC7 Time : 0.0 sec. user=mdettweiler [2015-08-10 22:38:01] 957*2^1405970-1 is not prime. Res64: 79DC1FF8DEF5DA76 Time : 0.0 sec. user=mdettweiler [2015-08-10 22:38:01] 971*2^1405970-1 is not prime. Res64: 4C54600F882A1A36 Time : 0.0 sec. user=mdettweiler [2015-08-10 22:38:02] 935*2^1405970-1 is not prime. Res64: 9670161E16E2014A Time : 0.0 sec. user=mdettweiler [2015-08-10 22:38:03] 941*2^1405970-1 is not prime. Res64: 118F9536FA2245B2 Time : 0.0 sec. user=mdettweiler [2015-08-10 22:43:00] 1001*2^1405970-1 is not prime. Res64: 9C8DA124DC96D114 Time : 0.0 sec. user=mdettweiler [2015-08-10 22:43:01] 625*2^1405971-1 is not prime. Res64: D90E568F6DA91688 Time : 0.0 sec. user=mdettweiler [2015-08-10 22:56:51] 605*2^1405972-1 is not prime. Res64: EAF0FC9CADFF549D Time : 0.0 sec. user=mdettweiler [2015-08-10 22:56:51] 615*2^1405972-1 is not prime. Res64: F6F2A012F8F3CD55 Time : 0.0 sec. user=mdettweiler [2015-08-10 22:56:58] 643*2^1405971-1 is not prime. Res64: 7E8985A6F3B99C85 Time : 0.0 sec. user=mdettweiler [2015-08-10 22:56:58] 783*2^1405971-1 is not prime. Res64: CCC3C58F4D371B2D Time : 0.0 sec. user=mdettweiler [2015-08-10 22:56:59] 969*2^1405971-1 is not prime. Res64: C410754D2F3FDCBB Time : 0.0 sec. user=mdettweiler [2015-08-10 22:57:00] 991*2^1405971-1 is not prime. Res64: 778A223C7693A9DA Time : 0.0 sec. user=mdettweiler [2015-08-10 23:01:54] 687*2^1405972-1 is not prime. Res64: 1FFAEB028324E5D6 Time : 0.0 sec. user=mdettweiler [2015-08-10 23:01:55] 689*2^1405972-1 is not prime. Res64: 029067793F4AD0DF Time : 0.0 sec. user=mdettweiler [2015-08-10 23:15:26] 735*2^1405972-1 is not prime. Res64: 2B7DDA9D8C7ABC93 Time : 0.0 sec. user=mdettweiler [2015-08-10 23:15:26] 875*2^1405972-1 is not prime. Res64: 4BEB70596593222F Time : 0.0 sec. user=mdettweiler [2015-08-10 23:15:35] 987*2^1405972-1 is not prime. Res64: 61066D68EC85DC7F Time : 0.0 sec. user=mdettweiler [2015-08-10 23:15:35] 649*2^1405973-1 is not prime. Res64: 4F92508329433DEE Time : 0.0 sec. user=mdettweiler [2015-08-10 23:15:39] 903*2^1405972-1 is not prime. Res64: 04919551E910D8E3 Time : 0.0 sec. user=mdettweiler [2015-08-10 23:15:40] 975*2^1405972-1 is not prime. Res64: D6BD4C7C34EF7A90 Time : 0.0 sec. user=mdettweiler [2015-08-10 23:20:58] 669*2^1405973-1 is not prime. Res64: 1D94106DFA0F5110 Time : 0.0 sec. user=mdettweiler [2015-08-10 23:20:59] 781*2^1405973-1 is not prime. Res64: 8819CC527CDB8E21 Time : 0.0 sec. user=mdettweiler [2015-08-10 23:34:13] 811*2^1405973-1 is not prime. Res64: 50DA58D27C215640 Time : 0.0 sec. user=mdettweiler [2015-08-10 23:34:13] 897*2^1405973-1 is not prime. Res64: F33AAE934FAE05B8 Time : 0.0 sec. user=mdettweiler [2015-08-10 23:34:25] 981*2^1405973-1 is not prime. Res64: 7CF49C85205F8A0D Time : 0.0 sec. user=mdettweiler [2015-08-10 23:34:25] 621*2^1405974-1 is not prime. Res64: 0C9E990991F96706 Time : 0.0 sec. user=mdettweiler [2015-08-10 23:34:35] 711*2^1405974-1 is not prime. Res64: FE95BF0B926C0DEE Time : 0.0 sec. user=mdettweiler [2015-08-10 23:34:35] 873*2^1405974-1 is not prime. Res64: 3AC26F2D0F64B057 Time : 0.0 sec. user=mdettweiler [2015-08-10 23:39:58] 875*2^1405974-1 is not prime. Res64: 1B453D9F0D3DCD3B Time : 0.0 sec. user=mdettweiler [2015-08-10 23:39:58] 887*2^1405974-1 is not prime. Res64: F257C84DA51B8931 Time : 0.0 sec. user=mdettweiler [2015-08-10 23:53:21] 971*2^1405974-1 is not prime. Res64: FA5E7CFD39AB37CE Time : 0.0 sec. user=mdettweiler [2015-08-10 23:53:22] 609*2^1405975-1 is not prime. Res64: 3B17FBB96B931899 Time : 0.0 sec. user=mdettweiler [2015-08-10 23:53:34] 649*2^1405975-1 is not prime. Res64: 4A5E1AF8DE2106E5 Time : 0.0 sec. user=mdettweiler [2015-08-10 23:53:34] 679*2^1405975-1 is not prime. Res64: 74CE53308ABB3E82 Time : 0.0 sec. user=mdettweiler [2015-08-10 23:53:34] 705*2^1405975-1 is not prime. Res64: 4A824E7B98FD381C Time : 0.0 sec. user=mdettweiler [2015-08-10 23:53:35] 723*2^1405975-1 is not prime. Res64: B0226BC14CF48F18 Time : 0.0 sec. user=mdettweiler [2015-08-10 23:58:43] 771*2^1405975-1 is not prime. Res64: 089AD3CBDD6FDBC5 Time : 0.0 sec. user=mdettweiler [2015-08-10 23:58:43] 805*2^1405975-1 is not prime. Res64: 7CDEFB909E451337 Time : 0.0 sec.