user=mdettweiler [2015-07-13 00:02:23] 693*2^1402859-1 is not prime. Res64: 9DF33DAE6AFD5213 Time : 0.0 sec. user=mdettweiler [2015-07-13 00:02:23] 703*2^1402859-1 is not prime. Res64: 75FD871767234EDF Time : 0.0 sec. user=mdettweiler [2015-07-13 00:09:50] 733*2^1402859-1 is not prime. Res64: CE04C81EE9217694 Time : 0.0 sec. user=mdettweiler [2015-07-13 00:09:50] 825*2^1402859-1 is not prime. Res64: E2B3E2AC3E8DED51 Time : 0.0 sec. user=mdettweiler [2015-07-13 00:09:55] 883*2^1402859-1 is not prime. Res64: 128D00B47F70EFC3 Time : 0.0 sec. user=mdettweiler [2015-07-13 00:09:55] 949*2^1402859-1 is not prime. Res64: 95C61C1B37F6FC91 Time : 0.0 sec. user=mdettweiler [2015-07-13 00:18:46] 623*2^1402860-1 is not prime. Res64: 4C6E18E0F13C2C91 Time : 0.0 sec. user=mdettweiler [2015-07-13 00:18:46] 627*2^1402860-1 is not prime. Res64: 458197656CB6B347 Time : 0.0 sec. user=mdettweiler [2015-07-13 00:20:01] 689*2^1402860-1 is not prime. Res64: 0EF6E19B5F49DA26 Time : 0.0 sec. user=mdettweiler [2015-07-13 00:20:01] 753*2^1402860-1 is not prime. Res64: A7FA7247226D47A7 Time : 0.0 sec. user=mdettweiler [2015-07-13 00:27:42] 879*2^1402860-1 is not prime. Res64: C1F327AECBB61E07 Time : 0.0 sec. user=mdettweiler [2015-07-13 00:27:42] 923*2^1402860-1 is not prime. Res64: 2393254B0FEA5733 Time : 0.0 sec. user=mdettweiler [2015-07-13 00:27:43] 777*2^1402860-1 is not prime. Res64: 5D0A64282DFDEC5A Time : 0.0 sec. user=mdettweiler [2015-07-13 00:27:43] 839*2^1402860-1 is not prime. Res64: 2554763027E1331B Time : 0.0 sec. user=juhehe [2015-07-13 00:28:27] 711*2^1402859-1 is not prime. Res64: 9928D7BE53E0A244 Time : 0.0 sec. user=juhehe [2015-07-13 00:32:07] 985*2^1402859-1 is not prime. Res64: 658E9E2A001A175E Time : 0.0 sec. user=mdettweiler [2015-07-13 00:36:25] 983*2^1402860-1 is not prime. Res64: 37A797A54DA4C26C Time : 0.0 sec. user=mdettweiler [2015-07-13 00:36:26] 601*2^1402861-1 is not prime. Res64: 814BBBB43B5D34C4 Time : 0.0 sec. user=mdettweiler [2015-07-13 00:37:40] 615*2^1402861-1 is not prime. Res64: 84F79C3615E9338F Time : 0.0 sec. user=mdettweiler [2015-07-13 00:37:40] 789*2^1402861-1 is not prime. Res64: F86C29D081666465 Time : 0.0 sec. user=mdettweiler [2015-07-13 00:45:18] 799*2^1402861-1 is not prime. Res64: 40C015537281A428 Time : 0.0 sec. user=mdettweiler [2015-07-13 00:45:19] 645*2^1402862-1 is not prime. Res64: 2BB46FF5D60A38F9 Time : 0.0 sec. user=mdettweiler [2015-07-13 00:45:26] 877*2^1402861-1 is not prime. Res64: E5F93FD870DA9943 Time : 0.0 sec. user=mdettweiler [2015-07-13 00:45:27] 931*2^1402861-1 is not prime. Res64: F33FC58AEDB640A7 Time : 0.0 sec. user=mdettweiler [2015-07-13 00:54:04] 657*2^1402862-1 is not prime. Res64: 9C722134A8D287AB Time : 0.0 sec. user=mdettweiler [2015-07-13 00:54:05] 713*2^1402862-1 is not prime. Res64: 453C34DBE62DE204 Time : 0.0 sec. user=mdettweiler [2015-07-13 00:55:23] 755*2^1402862-1 is not prime. Res64: 5037DF3849316A61 Time : 0.0 sec. user=mdettweiler [2015-07-13 00:55:23] 831*2^1402862-1 is not prime. Res64: DF87BBD0BD350D71 Time : 0.0 sec. user=mdettweiler [2015-07-13 01:03:01] 857*2^1402862-1 is not prime. Res64: 8D9BCD34F4F4A1AE Time : 0.0 sec. user=mdettweiler [2015-07-13 01:03:02] 609*2^1402863-1 is not prime. Res64: 207EC6A0AD8492A0 Time : 0.0 sec. user=mdettweiler [2015-07-13 01:03:03] 721*2^1402863-1 is not prime. Res64: 8D9910F1D17698FD Time : 0.0 sec. user=mdettweiler [2015-07-13 01:03:04] 739*2^1402863-1 is not prime. Res64: 7077601A6053C544 Time : 0.0 sec. user=mdettweiler [2015-07-13 01:11:41] 745*2^1402863-1 is not prime. Res64: 8E3C645EE1F77F0D Time : 0.0 sec. user=mdettweiler [2015-07-13 01:11:42] 751*2^1402863-1 is not prime. Res64: C84DF3A2DF8FE025 Time : 0.0 sec. user=mdettweiler [2015-07-13 01:13:04] 831*2^1402863-1 is not prime. Res64: 6B6C997D4DB46E6B Time : 0.0 sec. user=mdettweiler [2015-07-13 01:13:05] 985*2^1402863-1 is not prime. Res64: A6DBEE837A9345A1 Time : 0.0 sec. user=mdettweiler [2015-07-13 01:21:00] 663*2^1402864-1 is not prime. Res64: 2C5C80E540A825BB Time : 0.0 sec. user=mdettweiler [2015-07-13 01:21:01] 939*2^1402864-1 is not prime. Res64: 630539B5F0023628 Time : 0.0 sec. user=mdettweiler [2015-07-13 01:21:08] 609*2^1402864-1 is not prime. Res64: 0DFF220BF5420F46 Time : 0.0 sec. user=mdettweiler [2015-07-13 01:21:08] 615*2^1402864-1 is not prime. Res64: EDAAA8B54DD28C08 Time : 0.0 sec. user=mdettweiler [2015-07-13 01:29:25] 607*2^1402865-1 is not prime. Res64: 83BEF358FDB488D1 Time : 0.0 sec. user=mdettweiler [2015-07-13 01:29:28] 649*2^1402865-1 is not prime. Res64: 619515C7C7F3DB5F Time : 0.0 sec. user=mdettweiler [2015-07-13 01:30:42] 831*2^1402865-1 is not prime. Res64: 80483AAAF0C02922 Time : 0.0 sec. user=mdettweiler [2015-07-13 01:38:46] 657*2^1402866-1 is not prime. Res64: E263C181E4F63B86 Time : 0.0 sec. user=mdettweiler [2015-07-13 01:38:47] 705*2^1402866-1 is not prime. Res64: 51674ECC6EDAA4BD Time : 0.0 sec. user=mdettweiler [2015-07-13 01:38:47] 889*2^1402865-1 is not prime. Res64: 0D5FDA2FB021444C Time : 0.0 sec. user=mdettweiler [2015-07-13 01:38:48] 937*2^1402865-1 is not prime. Res64: B45EB63668C2A01F Time : 0.0 sec. user=juhehe [2015-07-13 01:43:55] 947*2^1402864-1 is not prime. Res64: 69341DA2E0B27049 Time : 0.0 sec. user=mdettweiler [2015-07-13 01:47:59] 867*2^1402866-1 is not prime. Res64: 8C6ACEF5ABBEA40D Time : 0.0 sec. user=mdettweiler [2015-07-13 01:48:00] 891*2^1402866-1 is not prime. Res64: 2AB7DD17FFD1EE79 Time : 0.0 sec. user=mdettweiler [2015-07-13 01:56:40] 945*2^1402866-1 is not prime. Res64: 54993CC2F74E511E Time : 0.0 sec. user=mdettweiler [2015-07-13 01:56:41] 947*2^1402866-1 is not prime. Res64: A3264E85694B0C3C Time : 0.0 sec. user=mdettweiler [2015-07-13 01:56:51] 609*2^1402867-1 is not prime. Res64: 3718663C0B913F7A Time : 0.0 sec. user=mdettweiler [2015-07-13 01:56:51] 639*2^1402867-1 is not prime. Res64: 1042FC75614B26F2 Time : 0.0 sec. user=mdettweiler [2015-07-13 02:05:56] 759*2^1402867-1 is not prime. Res64: 0630CA3F87F67B36 Time : 0.0 sec. user=mdettweiler [2015-07-13 02:05:58] 793*2^1402867-1 is not prime. Res64: C0A5E6567215AB0B Time : 0.0 sec. user=mdettweiler [2015-07-13 02:14:28] 849*2^1402867-1 is not prime. Res64: 6942A86F2BE445A0 Time : 0.0 sec. user=mdettweiler [2015-07-13 02:14:29] 883*2^1402867-1 is not prime. Res64: EED63D1D13A69E43 Time : 0.0 sec. user=mdettweiler [2015-07-13 02:14:49] 909*2^1402867-1 is not prime. Res64: 7A93A1012E2865FB Time : 0.0 sec. user=mdettweiler [2015-07-13 02:14:50] 707*2^1402868-1 is not prime. Res64: 79D02AFE5741FC90 Time : 0.0 sec. user=juhehe [2015-07-13 02:22:05] 685*2^1402867-1 is not prime. Res64: E7F639E4385F48D6 Time : 0.0 sec. user=mdettweiler [2015-07-13 02:24:16] 819*2^1402868-1 is not prime. Res64: E58F7F578D2139A4 Time : 0.0 sec. user=mdettweiler [2015-07-13 02:24:16] 833*2^1402868-1 is not prime. Res64: D97F1494AD99DE7B Time : 0.0 sec. user=mdettweiler [2015-07-13 02:28:00] 871*2^1402865-1 is not prime. Res64: 50ECC56619DF0D14 Time : 0.0 sec. user=mdettweiler [2015-07-13 02:32:18] 867*2^1402868-1 is not prime. Res64: 6C0EB16FC1167223 Time : 0.0 sec. user=mdettweiler [2015-07-13 02:32:20] 957*2^1402868-1 is not prime. Res64: AC8AE32180B4B419 Time : 0.0 sec. user=mdettweiler [2015-07-13 02:32:36] 963*2^1402868-1 is not prime. Res64: 16EB891F575A6347 Time : 0.0 sec. user=mdettweiler [2015-07-13 02:32:38] 621*2^1402869-1 is not prime. Res64: 0BAFE3E30C4D194F Time : 0.0 sec. user=mdettweiler [2015-07-13 02:42:02] 667*2^1402869-1 is not prime. Res64: 4C1E2BC116D3A8DE Time : 0.0 sec. user=mdettweiler [2015-07-13 02:42:03] 675*2^1402869-1 is not prime. Res64: 6F13D747E3A8CD45 Time : 0.0 sec. user=mdettweiler [2015-07-13 02:45:46] 679*2^1402869-1 is not prime. Res64: 73FB169BF50A2BF3 Time : 0.0 sec. user=mdettweiler [2015-07-13 02:45:46] 681*2^1402869-1 is not prime. Res64: 38FBD7D6B1444752 Time : 0.0 sec. user=mdettweiler [2015-07-13 02:50:27] 961*2^1402869-1 is not prime. Res64: 47C0CAE1B1B6DC12 Time : 0.0 sec. user=mdettweiler [2015-07-13 02:50:27] 997*2^1402869-1 is not prime. Res64: FCDDFC12929A8A69 Time : 0.0 sec. user=mdettweiler [2015-07-13 02:50:36] 685*2^1402869-1 is not prime. Res64: BBD39065F4395612 Time : 0.0 sec. user=mdettweiler [2015-07-13 02:50:36] 907*2^1402869-1 is not prime. Res64: F15A81128CE8E5C6 Time : 0.0 sec. user=mdettweiler [2015-07-13 02:59:47] 653*2^1402870-1 is not prime. Res64: E08316A6FD03D606 Time : 0.0 sec. user=mdettweiler [2015-07-13 02:59:47] 657*2^1402870-1 is not prime. Res64: 79FE0DEFE945B500 Time : 0.0 sec. user=mdettweiler [2015-07-13 03:03:34] 707*2^1402870-1 is not prime. Res64: 45B53FD76B686C3C Time : 0.0 sec. user=mdettweiler [2015-07-13 03:03:35] 713*2^1402870-1 is not prime. Res64: DBBE3382085A38E5 Time : 0.0 sec. user=mdettweiler [2015-07-13 03:08:10] 741*2^1402870-1 is not prime. Res64: 35AEA0E6D1258938 Time : 0.0 sec. user=mdettweiler [2015-07-13 03:08:11] 777*2^1402870-1 is not prime. Res64: 5AED8A9EC00BC9A6 Time : 0.0 sec. user=mdettweiler [2015-07-13 03:08:20] 831*2^1402870-1 is not prime. Res64: 8A14EDF814DD24F3 Time : 0.0 sec. user=mdettweiler [2015-07-13 03:08:20] 857*2^1402870-1 is not prime. Res64: 488379453926D055 Time : 0.0 sec. user=mdettweiler [2015-07-13 03:17:31] 873*2^1402870-1 is not prime. Res64: D9D1C67CDFE46679 Time : 0.0 sec. user=mdettweiler [2015-07-13 03:17:32] 957*2^1402870-1 is not prime. Res64: 8DC9A929B27ECC4F Time : 0.0 sec. user=mdettweiler [2015-07-13 03:21:21] 661*2^1402871-1 is not prime. Res64: 9908C18FFC0E8EED Time : 0.0 sec. user=mdettweiler [2015-07-13 03:21:21] 663*2^1402871-1 is not prime. Res64: 40E9F70A7A924F33 Time : 0.0 sec. user=mdettweiler [2015-07-13 03:25:50] 705*2^1402871-1 is not prime. Res64: D58EF9368424DE18 Time : 0.0 sec. user=mdettweiler [2015-07-13 03:25:51] 825*2^1402871-1 is not prime. Res64: CFD3D747B1BEFE8C Time : 0.0 sec. user=mdettweiler [2015-07-13 03:25:57] 999*2^1402871-1 is not prime. Res64: E1FC7F1F52E9537D Time : 0.0 sec. user=mdettweiler [2015-07-13 03:25:58] 605*2^1402872-1 is not prime. Res64: FE73368EF4F69A68 Time : 0.0 sec. user=mdettweiler [2015-07-13 03:35:14] 683*2^1402872-1 is not prime. Res64: 745F228A4F48A98B Time : 0.0 sec. user=mdettweiler [2015-07-13 03:35:16] 693*2^1402872-1 is not prime. Res64: 1396BC6EDDCA8E36 Time : 0.0 sec. user=juhehe [2015-07-13 03:38:44] 645*2^1402871-1 is not prime. Res64: 08545632228A120C Time : 0.0 sec. user=mdettweiler [2015-07-13 03:38:58] 713*2^1402872-1 is not prime. Res64: EE2C92F9323E240B Time : 0.0 sec. user=mdettweiler [2015-07-13 03:38:59] 887*2^1402872-1 is not prime. Res64: F2C99C30DA00EABF Time : 0.0 sec. user=mdettweiler [2015-07-13 03:43:38] 649*2^1402873-1 is not prime. Res64: 3847CFE17368FB1C Time : 0.0 sec. user=mdettweiler [2015-07-13 03:43:39] 687*2^1402873-1 is not prime. Res64: 2943CC1FB845E96A Time : 0.0 sec. user=mdettweiler [2015-07-13 03:43:45] 909*2^1402872-1 is not prime. Res64: AF701FB3FFDD5473 Time : 0.0 sec. user=mdettweiler [2015-07-13 03:43:45] 933*2^1402872-1 is not prime. Res64: 31520D403E095EF4 Time : 0.0 sec. user=mdettweiler [2015-07-13 03:54:21] 721*2^1402873-1 is not prime. Res64: 8E817F2F1F804871 Time : 0.0 sec. user=mdettweiler [2015-07-13 03:54:22] 847*2^1402873-1 is not prime. Res64: D70D4FD0C9431F5B Time : 0.0 sec. user=mdettweiler [2015-07-13 03:57:21] 897*2^1402873-1 is not prime. Res64: AD4F87ACE87F0025 Time : 0.0 sec. user=mdettweiler [2015-07-13 03:57:21] 937*2^1402873-1 is not prime. Res64: BA58D7956B6C8932 Time : 0.0 sec. user=mdettweiler [2015-07-13 04:02:06] 987*2^1402873-1 is not prime. Res64: CB8484C8D6902F8F Time : 0.0 sec. user=mdettweiler [2015-07-13 04:02:07] 641*2^1402874-1 is not prime. Res64: D0F2F3BCD1445F56 Time : 0.0 sec. user=mdettweiler [2015-07-13 04:02:18] 711*2^1402874-1 is not prime. Res64: 3F9B7B35606FB304 Time : 0.0 sec. user=mdettweiler [2015-07-13 04:02:19] 825*2^1402874-1 is not prime. Res64: C33AE6063292C2AE Time : 0.0 sec. user=mdettweiler [2015-07-13 04:12:06] 837*2^1402874-1 is not prime. Res64: 4AC706379C493895 Time : 0.0 sec. user=mdettweiler [2015-07-13 04:12:06] 945*2^1402874-1 is not prime. Res64: 48485E312D92EE97 Time : 0.0 sec. user=mdettweiler [2015-07-13 04:14:55] 669*2^1402875-1 is not prime. Res64: AB6DBA4C6BA83184 Time : 0.0 sec. user=mdettweiler [2015-07-13 04:14:55] 859*2^1402875-1 is not prime. Res64: 25BA8B3DAD45F099 Time : 0.0 sec. user=mdettweiler [2015-07-13 04:19:55] 891*2^1402875-1 is not prime. Res64: F1F8E1099C5321FE Time : 0.0 sec. user=mdettweiler [2015-07-13 04:19:56] 973*2^1402875-1 is not prime. Res64: 2DD969A389D1BF2D Time : 0.0 sec. user=mdettweiler [2015-07-13 04:20:01] 615*2^1402876-1 is not prime. Res64: 436640382D681933 Time : 0.0 sec. user=mdettweiler [2015-07-13 04:20:03] 677*2^1402876-1 is not prime. Res64: 46BAA8A211AD23BA Time : 0.0 sec. user=mdettweiler [2015-07-13 04:29:52] 705*2^1402876-1 is not prime. Res64: 1DF02F2B7ABD4EF8 Time : 0.0 sec. user=mdettweiler [2015-07-13 04:29:52] 707*2^1402876-1 is not prime. Res64: B2DCAE21C60F3471 Time : 0.0 sec. user=mdettweiler [2015-07-13 04:32:37] 785*2^1402876-1 is not prime. Res64: 4585BCEA25575A94 Time : 0.0 sec. user=mdettweiler [2015-07-13 04:32:38] 953*2^1402876-1 is not prime. Res64: 18A12D97908EECCD Time : 0.0 sec. user=mdettweiler [2015-07-13 04:37:42] 983*2^1402876-1 is not prime. Res64: 4AFB4453D2BDE778 Time : 0.0 sec. user=mdettweiler [2015-07-13 04:37:42] 999*2^1402876-1 is not prime. Res64: B3B43FF09533D51F Time : 0.0 sec. user=mdettweiler [2015-07-13 04:37:53] 615*2^1402877-1 is not prime. Res64: 625A764752DD7112 Time : 0.0 sec. user=mdettweiler [2015-07-13 04:37:53] 631*2^1402877-1 is not prime. Res64: 94CA26316702E500 Time : 0.0 sec. user=mdettweiler [2015-07-13 04:47:28] 675*2^1402877-1 is not prime. Res64: 08DFCC90EEE4D98D Time : 0.0 sec. user=mdettweiler [2015-07-13 04:47:29] 691*2^1402877-1 is not prime. Res64: 933F9F85328C4B0E Time : 0.0 sec. user=mdettweiler [2015-07-13 04:50:11] 697*2^1402877-1 is not prime. Res64: 57E7ED15A8FFC760 Time : 0.0 sec. user=mdettweiler [2015-07-13 04:50:11] 819*2^1402877-1 is not prime. Res64: 3A19AFF36DD7AAF1 Time : 0.0 sec. user=mdettweiler [2015-07-13 04:55:18] 981*2^1402877-1 is not prime. Res64: 1312473EB89CC6E9 Time : 0.0 sec. user=mdettweiler [2015-07-13 04:55:18] 647*2^1402878-1 is not prime. Res64: F646B18EAC8BE26D Time : 0.0 sec. user=mdettweiler [2015-07-13 04:55:33] 665*2^1402878-1 is not prime. Res64: 58BA3BD200D5CAFF Time : 0.0 sec. user=mdettweiler [2015-07-13 04:55:33] 695*2^1402878-1 is not prime. Res64: C9017D15C9EFE5CD Time : 0.0 sec. user=mdettweiler [2015-07-13 05:05:11] 705*2^1402878-1 is not prime. Res64: 6ACB64791E7B8ECA Time : 0.0 sec. user=mdettweiler [2015-07-13 05:05:12] 707*2^1402878-1 is not prime. Res64: B4643AAB77636EEC Time : 0.0 sec. user=mdettweiler [2015-07-13 05:07:49] 797*2^1402878-1 is not prime. Res64: EA15AF0C87570E55 Time : 0.0 sec. user=mdettweiler [2015-07-13 05:07:50] 821*2^1402878-1 is not prime. Res64: 56C548AEF5EF4034 Time : 0.0 sec. user=mdettweiler [2015-07-13 05:13:00] 861*2^1402878-1 is not prime. Res64: 4C7E7FACC0E1B25A Time : 0.0 sec. user=mdettweiler [2015-07-13 05:13:01] 941*2^1402878-1 is not prime. Res64: AD9FE2D2CF7AE5AC Time : 0.0 sec. user=mdettweiler [2015-07-13 05:13:10] 625*2^1402879-1 is not prime. Res64: 2D386D4FAFAC8455 Time : 0.0 sec. user=mdettweiler [2015-07-13 05:13:11] 703*2^1402879-1 is not prime. Res64: 82DB9119CA15A8E0 Time : 0.0 sec. user=mdettweiler [2015-07-13 05:22:56] 775*2^1402879-1 is not prime. Res64: DB26DDE9479726AB Time : 0.0 sec. user=mdettweiler [2015-07-13 05:22:56] 789*2^1402879-1 is not prime. Res64: 23AE38222ECBDDF5 Time : 0.0 sec. user=mdettweiler [2015-07-13 05:25:28] 813*2^1402879-1 is not prime. Res64: 67820DE2812BC6DB Time : 0.0 sec. user=mdettweiler [2015-07-13 05:25:29] 855*2^1402879-1 is not prime. Res64: 8BED43ACD7D03CF7 Time : 0.0 sec. user=mdettweiler [2015-07-13 05:30:50] 635*2^1402880-1 is not prime. Res64: 89291C96989DC912 Time : 0.0 sec. user=mdettweiler [2015-07-13 05:30:50] 893*2^1402880-1 is not prime. Res64: 49EA9FB63CE23D7F Time : 0.0 sec. user=mdettweiler [2015-07-13 05:30:53] 885*2^1402879-1 is not prime. Res64: 5FF408E6EA8FBA38 Time : 0.0 sec. user=mdettweiler [2015-07-13 05:30:54] 939*2^1402879-1 is not prime. Res64: C62C49BC66F021A5 Time : 0.0 sec. user=mdettweiler [2015-07-13 05:40:42] 669*2^1402881-1 is not prime. Res64: 44C0ABD509045961 Time : 0.0 sec. user=mdettweiler [2015-07-13 05:40:42] 789*2^1402881-1 is not prime. Res64: 8CB95A4BFA62A9C6 Time : 0.0 sec. user=mdettweiler [2015-07-13 05:43:16] 819*2^1402881-1 is not prime. Res64: E457BF46F4F7A17B Time : 0.0 sec. user=mdettweiler [2015-07-13 05:43:16] 829*2^1402881-1 is not prime. Res64: 8D96423AE68E62AD Time : 0.0 sec. user=mdettweiler [2015-07-13 05:48:31] 657*2^1402882-1 is not prime. Res64: F12D28FC6FAD3934 Time : 0.0 sec. user=mdettweiler [2015-07-13 05:48:32] 701*2^1402882-1 is not prime. Res64: 49B63F92AA21F459 Time : 0.0 sec. user=mdettweiler [2015-07-13 05:48:38] 837*2^1402881-1 is not prime. Res64: 5CE42F67F6BEEF0B Time : 0.0 sec. user=mdettweiler [2015-07-13 05:48:38] 651*2^1402882-1 is not prime. Res64: 7DAEE9DCA0A718C4 Time : 0.0 sec. user=mdettweiler [2015-07-13 05:58:16] 705*2^1402882-1 is not prime. Res64: 887EEA2899DA0A2B Time : 0.0 sec. user=mdettweiler [2015-07-13 05:58:16] 747*2^1402882-1 is not prime. Res64: C05ABE59DA010D4B Time : 0.0 sec. user=mdettweiler [2015-07-13 06:00:53] 785*2^1402882-1 is not prime. Res64: F71D455BAA098B0D Time : 0.0 sec. user=mdettweiler [2015-07-13 06:00:54] 833*2^1402882-1 is not prime. Res64: 0E4C691924D28791 Time : 0.0 sec. user=mdettweiler [2015-07-13 06:06:19] 981*2^1402882-1 is not prime. Res64: 71654FC55FF5E99E Time : 0.0 sec. user=mdettweiler [2015-07-13 06:06:22] 619*2^1402883-1 is not prime. Res64: 3AE0F2CAE11D1E31 Time : 0.0 sec. user=mdettweiler [2015-07-13 06:06:22] 663*2^1402883-1 is not prime. Res64: 0C9E17C52BF02DBB Time : 0.0 sec. user=mdettweiler [2015-07-13 06:06:23] 675*2^1402883-1 is not prime. Res64: 623344C91B3599FF Time : 0.0 sec. user=mdettweiler [2015-07-13 06:16:02] 699*2^1402883-1 is not prime. Res64: 9761C2D65E30ED59 Time : 0.0 sec. user=mdettweiler [2015-07-13 06:16:02] 825*2^1402883-1 is not prime. Res64: 69EE7057BB67347D Time : 0.0 sec. user=mdettweiler [2015-07-13 06:18:32] 871*2^1402883-1 is not prime. Res64: B8F32D97A0E21D70 Time : 0.0 sec. user=mdettweiler [2015-07-13 06:18:32] 939*2^1402883-1 is not prime. Res64: E98B39C0DEEF3ED4 Time : 0.0 sec. user=mdettweiler [2015-07-13 06:24:23] 955*2^1402883-1 is not prime. Res64: 35405700ED061A3A Time : 0.0 sec. user=mdettweiler [2015-07-13 06:24:23] 699*2^1402884-1 is not prime. Res64: 2C491B93C97C5CDB Time : 0.0 sec. user=mdettweiler [2015-07-13 06:24:23] 665*2^1402884-1 is not prime. Res64: E6F179E0643BC184 Time : 0.0 sec. user=mdettweiler [2015-07-13 06:24:23] 759*2^1402884-1 is not prime. Res64: 1C32A946E49C43DA Time : 0.0 sec. user=mdettweiler [2015-07-13 06:33:49] 773*2^1402884-1 is not prime. Res64: D0A466D537067DF0 Time : 0.0 sec. user=mdettweiler [2015-07-13 06:33:49] 959*2^1402884-1 is not prime. Res64: C1D845196AC9859F Time : 0.0 sec. user=mdettweiler [2015-07-13 06:36:09] 601*2^1402885-1 is not prime. Res64: DB0AA9C53912CCD9 Time : 0.0 sec. user=mdettweiler [2015-07-13 06:36:10] 741*2^1402885-1 is not prime. Res64: EAE8ADA4660D34A5 Time : 0.0 sec. user=mdettweiler [2015-07-13 06:42:00] 855*2^1402885-1 is not prime. Res64: DD5F520B9C9A359E Time : 0.0 sec. user=mdettweiler [2015-07-13 06:42:00] 877*2^1402885-1 is not prime. Res64: BEBAF958B94665DA Time : 0.0 sec. user=mdettweiler [2015-07-13 06:42:00] 895*2^1402885-1 is not prime. Res64: CC433C7D75F38656 Time : 0.0 sec. user=mdettweiler [2015-07-13 06:42:01] 641*2^1402886-1 is not prime. Res64: 8A4A6DC36AB22E71 Time : 0.0 sec. user=mdettweiler [2015-07-13 06:51:26] 795*2^1402886-1 is not prime. Res64: 1888B7828D3C66C5 Time : 0.0 sec. user=mdettweiler [2015-07-13 06:51:27] 825*2^1402886-1 is not prime. Res64: 70294596DB3A4187 Time : 0.0 sec. user=mdettweiler [2015-07-13 06:53:49] 851*2^1402886-1 is not prime. Res64: 8A43240F0AD7711E Time : 0.0 sec. user=mdettweiler [2015-07-13 06:53:49] 873*2^1402886-1 is not prime. Res64: AEB4EA2509414976 Time : 0.0 sec. user=mdettweiler [2015-07-13 06:59:40] 893*2^1402886-1 is not prime. Res64: 294728D7B24648ED Time : 0.0 sec. user=mdettweiler [2015-07-13 06:59:40] 987*2^1402886-1 is not prime. Res64: 045714FADFD8567C Time : 0.0 sec. user=mdettweiler [2015-07-13 06:59:43] 669*2^1402887-1 is not prime. Res64: 89B4C82A64A0A5EE Time : 0.0 sec. user=mdettweiler [2015-07-13 06:59:43] 705*2^1402887-1 is not prime. Res64: 70BDB9207B929312 Time : 0.0 sec. user=mdettweiler [2015-07-13 07:09:07] 711*2^1402887-1 is not prime. Res64: EE58E2C4DB9FCCA9 Time : 0.0 sec. user=mdettweiler [2015-07-13 07:09:07] 933*2^1402887-1 is not prime. Res64: 0BAE862BDD01C53C Time : 0.0 sec. user=mdettweiler [2015-07-13 07:11:31] 639*2^1402888-1 is not prime. Res64: 33AE26C027376F96 Time : 0.0 sec. user=mdettweiler [2015-07-13 07:11:31] 699*2^1402888-1 is not prime. Res64: DE3D7CF60FD1A524 Time : 0.0 sec. user=mdettweiler [2015-07-13 07:17:15] 875*2^1402888-1 is not prime. Res64: 4364608C7A75E4C3 Time : 0.0 sec. user=mdettweiler [2015-07-13 07:17:15] 699*2^1402889-1 is not prime. Res64: 041CB6496CBBBAE5 Time : 0.0 sec. user=mdettweiler [2015-07-13 07:17:21] 789*2^1402889-1 is not prime. Res64: 5DB6E4061A33550A Time : 0.0 sec. user=mdettweiler [2015-07-13 07:17:21] 861*2^1402889-1 is not prime. Res64: 35EB5C21930EEA3A Time : 0.0 sec. user=mdettweiler [2015-07-13 07:26:47] 885*2^1402889-1 is not prime. Res64: 3C4A7FAC85419BFF Time : 0.0 sec. user=mdettweiler [2015-07-13 07:26:47] 897*2^1402889-1 is not prime. Res64: B1396C10F7F564C7 Time : 0.0 sec. user=mdettweiler [2015-07-13 07:29:11] 931*2^1402889-1 is not prime. Res64: F1F822077F4D4C6E Time : 0.0 sec. user=mdettweiler [2015-07-13 07:29:11] 939*2^1402889-1 is not prime. Res64: F63D454F93461915 Time : 0.0 sec. user=mdettweiler [2015-07-13 07:34:52] 955*2^1402889-1 is not prime. Res64: EAE18263C18D704F Time : 0.0 sec. user=mdettweiler [2015-07-13 07:34:53] 941*2^1402890-1 is not prime. Res64: 3F17CCBB44282860 Time : 0.0 sec. user=mdettweiler [2015-07-13 07:34:53] 905*2^1402890-1 is not prime. Res64: 12DF3A0BF7FAAB1A Time : 0.0 sec. user=mdettweiler [2015-07-13 07:34:53] 945*2^1402890-1 is not prime. Res64: B7A96F321C5AAE74 Time : 0.0 sec. user=juhehe [2015-07-13 07:35:15] 839*2^1402888-1 is not prime. Res64: 4A56A4762D999695 Time : 0.0 sec. user=mdettweiler [2015-07-13 07:44:29] 609*2^1402891-1 is not prime. Res64: 52D8EBC3382732B1 Time : 0.0 sec. user=mdettweiler [2015-07-13 07:44:30] 645*2^1402891-1 is not prime. Res64: A3502D3014AE57AB Time : 0.0 sec. user=mdettweiler [2015-07-13 07:46:54] 673*2^1402891-1 is not prime. Res64: 96ADAC84BF35F775 Time : 0.0 sec. user=mdettweiler [2015-07-13 07:46:54] 783*2^1402891-1 is not prime. Res64: 898066D14CBC9A96 Time : 0.0 sec. user=mdettweiler [2015-07-13 07:52:34] 789*2^1402891-1 is not prime. Res64: 0EB43B76186249E2 Time : 0.0 sec. user=mdettweiler [2015-07-13 07:52:34] 931*2^1402891-1 is not prime. Res64: D444FCEF33D2C4AD Time : 0.0 sec. user=mdettweiler [2015-07-13 07:52:37] 943*2^1402891-1 is not prime. Res64: A317B7D9B3995977 Time : 0.0 sec. user=mdettweiler [2015-07-13 07:52:38] 979*2^1402891-1 is not prime. Res64: BBD1D2CF15F355A8 Time : 0.0 sec. user=mdettweiler [2015-07-13 08:02:16] 635*2^1402892-1 is not prime. Res64: B9C01166884DDF5F Time : 0.0 sec. user=mdettweiler [2015-07-13 08:02:18] 687*2^1402892-1 is not prime. Res64: AC8A19F8C3F68DA1 Time : 0.0 sec. user=mdettweiler [2015-07-13 08:04:35] 693*2^1402892-1 is not prime. Res64: E7AFAF23C52C9F15 Time : 0.0 sec. user=mdettweiler [2015-07-13 08:04:36] 755*2^1402892-1 is not prime. Res64: 6DABF77C94BCD549 Time : 0.0 sec. user=mdettweiler [2015-07-13 08:10:17] 977*2^1402892-1 is not prime. Res64: 05EA3A6E95C02A30 Time : 0.0 sec. user=mdettweiler [2015-07-13 08:10:18] 657*2^1402893-1 is not prime. Res64: 27974EC0698BEE4A Time : 0.0 sec. user=mdettweiler [2015-07-13 08:10:19] 699*2^1402893-1 is not prime. Res64: AD463B6E46BDBC96 Time : 0.0 sec. user=mdettweiler [2015-07-13 08:10:20] 747*2^1402893-1 is not prime. Res64: 0DE6E652D7E4D599 Time : 0.0 sec. user=juhehe [2015-07-13 08:12:58] 605*2^1402892-1 is not prime. Res64: CE8DD23EA01FCB84 Time : 0.0 sec. user=mdettweiler [2015-07-13 08:20:13] 811*2^1402893-1 is not prime. Res64: 094E80209C38C2CB Time : 0.0 sec. user=mdettweiler [2015-07-13 08:20:13] 837*2^1402893-1 is not prime. Res64: EBE9B9093C05EC44 Time : 0.0 sec. user=mdettweiler [2015-07-13 08:22:19] 961*2^1402893-1 is not prime. Res64: 5FB08EEA3391FAF4 Time : 0.0 sec. user=mdettweiler [2015-07-13 08:22:19] 815*2^1402894-1 is not prime. Res64: 1B47334DD87A8B7A Time : 0.0 sec. user=mdettweiler [2015-07-13 08:28:05] 975*2^1402894-1 is not prime. Res64: 07A301C3F530417D Time : 0.0 sec. user=mdettweiler [2015-07-13 08:28:05] 805*2^1402895-1 is not prime. Res64: C1597C1E494594FB Time : 0.0 sec. user=mdettweiler [2015-07-13 08:28:13] 861*2^1402894-1 is not prime. Res64: AF35D8D1D1DFAD6B Time : 0.0 sec. user=mdettweiler [2015-07-13 08:28:13] 917*2^1402894-1 is not prime. Res64: C7DCA3888437C008 Time : 0.0 sec. user=mdettweiler [2015-07-13 08:38:02] 913*2^1402895-1 is not prime. Res64: 96537F3F8BE12BD3 Time : 0.0 sec. user=mdettweiler [2015-07-13 08:38:03] 657*2^1402896-1 is not prime. Res64: 42EF2F0F5F4FA7ED Time : 0.0 sec. user=mdettweiler [2015-07-13 08:40:11] 923*2^1402896-1 is not prime. Res64: A611EAB7AF86E4CE Time : 0.0 sec. user=mdettweiler [2015-07-13 08:40:11] 741*2^1402897-1 is not prime. Res64: 7CDC28EB971AA599 Time : 0.0 sec. user=mdettweiler [2015-07-13 08:45:41] 751*2^1402897-1 is not prime. Res64: 2A9EFB94FE14D042 Time : 0.0 sec. user=mdettweiler [2015-07-13 08:45:41] 841*2^1402897-1 is not prime. Res64: 85083414E3364E87 Time : 0.0 sec. user=mdettweiler [2015-07-13 08:45:49] 939*2^1402897-1 is not prime. Res64: 1B4F207D08A7A438 Time : 0.0 sec. user=mdettweiler [2015-07-13 08:45:50] 633*2^1402898-1 is not prime. Res64: E0F67BEDCA7C71FC Time : 0.0 sec. user=mdettweiler [2015-07-13 08:55:51] 651*2^1402898-1 is not prime. Res64: A0CB6E2C764A8ED7 Time : 0.0 sec. user=mdettweiler [2015-07-13 08:55:51] 735*2^1402898-1 is not prime. Res64: 9D92C044930CEA24 Time : 0.0 sec. user=mdettweiler [2015-07-13 08:57:46] 743*2^1402898-1 is not prime. Res64: 44AECBD93F3B1CDF Time : 0.0 sec. user=mdettweiler [2015-07-13 08:57:47] 773*2^1402898-1 is not prime. Res64: D362D06A5057529B Time : 0.0 sec. user=mdettweiler [2015-07-13 09:03:28] 843*2^1402898-1 is not prime. Res64: 87A38F2039845B74 Time : 0.0 sec. user=mdettweiler [2015-07-13 09:03:29] 915*2^1402898-1 is not prime. Res64: 8726D8325A7960E4 Time : 0.0 sec. user=mdettweiler [2015-07-13 09:03:31] 963*2^1402898-1 is not prime. Res64: 0D2493FC6D45013B Time : 0.0 sec. user=mdettweiler [2015-07-13 09:03:32] 987*2^1402898-1 is not prime. Res64: 2EE9011E2BB89399 Time : 0.0 sec. user=mdettweiler [2015-07-13 09:13:44] 741*2^1402899-1 is not prime. Res64: 9067B436CBFC1E25 Time : 0.0 sec. user=mdettweiler [2015-07-13 09:13:45] 647*2^1402900-1 is not prime. Res64: B7CE3EF3A2025411 Time : 0.0 sec. user=mdettweiler [2015-07-13 09:15:33] 653*2^1402900-1 is not prime. Res64: 0D6F58A498B0B342 Time : 0.0 sec. user=mdettweiler [2015-07-13 09:15:33] 677*2^1402900-1 is not prime. Res64: 9E03706CE89FD58A Time : 0.0 sec. user=mdettweiler [2015-07-13 09:21:10] 723*2^1402900-1 is not prime. Res64: 0B44BD70BFB960D2 Time : 0.0 sec. user=mdettweiler [2015-07-13 09:21:11] 777*2^1402900-1 is not prime. Res64: B065710C35C05B8A Time : 0.0 sec. user=mdettweiler [2015-07-13 09:21:21] 827*2^1402900-1 is not prime. Res64: 6102995F0ABFF32A Time : 0.0 sec. user=mdettweiler [2015-07-13 09:21:21] 675*2^1402901-1 is not prime. Res64: 0C93B47595142921 Time : 0.0 sec. user=juhehe [2015-07-13 09:28:30] 663*2^1402899-1 is not prime. Res64: B8BBE38A4512EBA7 Time : 0.0 sec. user=mdettweiler [2015-07-13 09:31:23] 691*2^1402901-1 is not prime. Res64: 2BB6743A80FFDAA0 Time : 0.0 sec. user=mdettweiler [2015-07-13 09:31:24] 745*2^1402901-1 is not prime. Res64: CFB0E9307DA0589E Time : 0.0 sec. user=mdettweiler [2015-07-13 09:33:14] 795*2^1402901-1 is not prime. Res64: CDD14642AEC325AE Time : 0.0 sec. user=mdettweiler [2015-07-13 09:33:15] 811*2^1402901-1 is not prime. Res64: F294790F494C1B27 Time : 0.0 sec. user=mdettweiler [2015-07-13 09:38:47] 829*2^1402901-1 is not prime. Res64: EC9BB0FC9D265B31 Time : 0.0 sec. user=mdettweiler [2015-07-13 09:38:47] 837*2^1402901-1 is not prime. Res64: E06061B5F16D9F58 Time : 0.0 sec. user=mdettweiler [2015-07-13 09:38:58] 855*2^1402901-1 is not prime. Res64: 8FC771EA24F94BEF Time : 0.0 sec. user=mdettweiler [2015-07-13 09:38:58] 991*2^1402901-1 is not prime. Res64: 5295BE17AF8229B1 Time : 0.0 sec. user=mdettweiler [2015-07-13 09:49:03] 611*2^1402902-1 is not prime. Res64: 0F560EE979619897 Time : 0.0 sec. user=mdettweiler [2015-07-13 09:49:03] 615*2^1402902-1 is not prime. Res64: BFBF1FA72E08766B Time : 0.0 sec. user=mdettweiler [2015-07-13 09:50:55] 677*2^1402902-1 is not prime. Res64: 76D07E8CFCA290E9 Time : 0.0 sec. user=mdettweiler [2015-07-13 09:50:56] 843*2^1402902-1 is not prime. Res64: A3689FD38F59A990 Time : 0.0 sec. user=mdettweiler [2015-07-13 09:56:32] 679*2^1402903-1 is not prime. Res64: 83593AAFCB4F669D Time : 0.0 sec. user=mdettweiler [2015-07-13 09:56:32] 741*2^1402903-1 is not prime. Res64: 0C0C557CF959D5F2 Time : 0.0 sec. user=mdettweiler [2015-07-13 09:56:34] 859*2^1402903-1 is not prime. Res64: 6BBEF4497D21A635 Time : 0.0 sec. user=mdettweiler [2015-07-13 09:56:34] 683*2^1402904-1 is not prime. Res64: 884174BA3909D3D0 Time : 0.0 sec. user=mdettweiler [2015-07-13 10:06:40] 927*2^1402904-1 is not prime. Res64: 48917056610A7A05 Time : 0.0 sec. user=mdettweiler [2015-07-13 10:06:40] 995*2^1402904-1 is not prime. Res64: 0A641BC93F00DA70 Time : 0.0 sec. user=mdettweiler [2015-07-13 10:08:43] 649*2^1402905-1 is not prime. Res64: 40F41A5704D9E2A5 Time : 0.0 sec. user=mdettweiler [2015-07-13 10:08:43] 667*2^1402905-1 is not prime. Res64: 80BB9DF1BCC2B565 Time : 0.0 sec. user=mdettweiler [2015-07-13 10:14:13] 765*2^1402905-1 is not prime. Res64: 190FB9982A241F01 Time : 0.0 sec. user=mdettweiler [2015-07-13 10:14:13] 811*2^1402905-1 is not prime. Res64: 4C262E070767E4EC Time : 0.0 sec. user=mdettweiler [2015-07-13 10:14:22] 699*2^1402905-1 is not prime. Res64: EFF81BB4FF04E764 Time : 0.0 sec. user=mdettweiler [2015-07-13 10:14:23] 751*2^1402905-1 is not prime. Res64: F81203AFF1521753 Time : 0.0 sec. user=mdettweiler [2015-07-13 10:24:31] 817*2^1402905-1 is not prime. Res64: 1ECEF12E2CB46186 Time : 0.0 sec. user=mdettweiler [2015-07-13 10:24:31] 937*2^1402905-1 is not prime. Res64: 80CABEFCBBAFF6B5 Time : 0.0 sec. user=mdettweiler [2015-07-13 10:26:28] 651*2^1402906-1 is not prime. Res64: 5243A910680D34E5 Time : 0.0 sec. user=mdettweiler [2015-07-13 10:26:29] 653*2^1402906-1 is not prime. Res64: 702A99A974C3E14A Time : 0.0 sec. user=mdettweiler [2015-07-13 10:31:51] 701*2^1402906-1 is not prime. Res64: 1FC1F3BA9C43C228 Time : 0.0 sec. user=mdettweiler [2015-07-13 10:31:51] 857*2^1402906-1 is not prime. Res64: A1D387296A2E80B8 Time : 0.0 sec. user=mdettweiler [2015-07-13 10:32:00] 993*2^1402906-1 is not prime. Res64: 7EC21BB7E636CEFA Time : 0.0 sec. user=mdettweiler [2015-07-13 10:32:01] 603*2^1402907-1 is not prime. Res64: 12E7D635AAD57A20 Time : 0.0 sec. user=mdettweiler [2015-07-13 10:42:15] 669*2^1402907-1 is not prime. Res64: 2248BDE9155741D4 Time : 0.0 sec. user=mdettweiler [2015-07-13 10:42:16] 675*2^1402907-1 is not prime. Res64: EAA17E90ED8AF408 Time : 0.0 sec. user=mdettweiler [2015-07-13 10:44:11] 945*2^1402907-1 is not prime. Res64: 18CA27391B05E301 Time : 0.0 sec. user=mdettweiler [2015-07-13 10:44:11] 949*2^1402907-1 is not prime. Res64: 052B2175045C9B52 Time : 0.0 sec. user=juhehe [2015-07-13 10:45:05] 949*2^1402905-1 is not prime. Res64: EFAB5A435044A60E Time : 0.0 sec. user=mdettweiler [2015-07-13 10:49:50] 963*2^1402907-1 is not prime. Res64: 8228F9F46F9EECDC Time : 0.0 sec. user=mdettweiler [2015-07-13 10:49:51] 663*2^1402908-1 is not prime. Res64: 8111372671BA25C0 Time : 0.0 sec. user=mdettweiler [2015-07-13 10:49:56] 699*2^1402908-1 is not prime. Res64: AE33CEFA523B4633 Time : 0.0 sec. user=mdettweiler [2015-07-13 10:49:56] 759*2^1402908-1 is not prime. Res64: C24AB5B103ACC51F Time : 0.0 sec. user=mdettweiler [2015-07-13 11:00:45] 927*2^1402908-1 is not prime. Res64: B00752C868944181 Time : 0.0 sec. user=mdettweiler [2015-07-13 11:00:46] 977*2^1402908-1 is not prime. Res64: EACF1F0889FDF14B Time : 0.0 sec. user=mdettweiler [2015-07-13 11:02:47] 621*2^1402909-1 is not prime. Res64: E5306FDEDC0440D9 Time : 0.0 sec. user=mdettweiler [2015-07-13 11:02:48] 639*2^1402909-1 is not prime. Res64: F5BD05F9D85267FC Time : 0.0 sec. user=mdettweiler [2015-07-13 11:08:33] 741*2^1402909-1 is not prime. Res64: BB11D0126C487164 Time : 0.0 sec. user=mdettweiler [2015-07-13 11:08:34] 759*2^1402909-1 is not prime. Res64: FB08945DDB13B532 Time : 0.0 sec. user=mdettweiler [2015-07-13 11:08:49] 855*2^1402909-1 is not prime. Res64: 7E23D1F6DE617B67 Time : 0.0 sec. user=mdettweiler [2015-07-13 11:08:50] 867*2^1402909-1 is not prime. Res64: 4C59B94E7993343F Time : 0.0 sec. user=mdettweiler [2015-07-13 11:19:47] 885*2^1402909-1 is not prime. Res64: 179CA5AFE4C2FD2A Time : 0.0 sec. user=mdettweiler [2015-07-13 11:19:47] 919*2^1402909-1 is not prime. Res64: EE2A5AA809D70832 Time : 0.0 sec. user=mdettweiler [2015-07-13 11:21:40] 605*2^1402910-1 is not prime. Res64: B4EF0869AA894E0A Time : 0.0 sec. user=mdettweiler [2015-07-13 11:21:40] 675*2^1402910-1 is not prime. Res64: E53CE376DD8D87D3 Time : 0.0 sec. user=mdettweiler [2015-07-13 11:27:25] 945*2^1402910-1 is not prime. Res64: 4694A457FD5E2F83 Time : 0.0 sec. user=mdettweiler [2015-07-13 11:27:25] 957*2^1402910-1 is not prime. Res64: A4685C0ABEA3A1DA Time : 0.0 sec. user=mdettweiler [2015-07-13 11:27:35] 851*2^1402910-1 is not prime. Res64: 49FB7284D059B1DB Time : 0.0 sec. user=mdettweiler [2015-07-13 11:27:35] 927*2^1402910-1 is not prime. Res64: A9E642234DB458C4 Time : 0.0 sec. user=mdettweiler [2015-07-13 11:38:40] 977*2^1402910-1 is not prime. Res64: 94996620E4ED044A Time : 0.0 sec. user=mdettweiler [2015-07-13 11:38:41] 619*2^1402911-1 is not prime. Res64: 3A6B27145E322F5E Time : 0.0 sec. user=mdettweiler [2015-07-13 11:40:21] 705*2^1402911-1 is not prime. Res64: A418F78794F0EE15 Time : 0.0 sec. user=mdettweiler [2015-07-13 11:40:21] 723*2^1402911-1 is not prime. Res64: 790002F5806A2762 Time : 0.0 sec. user=mdettweiler [2015-07-13 11:46:05] 763*2^1402911-1 is not prime. Res64: 6E18EB83E9446C35 Time : 0.0 sec. user=mdettweiler [2015-07-13 11:46:05] 775*2^1402911-1 is not prime. Res64: 6ED560C113D45A89 Time : 0.0 sec. user=mdettweiler [2015-07-13 11:46:14] 829*2^1402911-1 is not prime. Res64: 87C593D8A6EEA37C Time : 0.0 sec. user=mdettweiler [2015-07-13 11:46:14] 865*2^1402911-1 is not prime. Res64: E8EC3092B6E1AEB5 Time : 0.0 sec. user=mdettweiler [2015-07-13 11:56:43] 913*2^1402911-1 is not prime. Res64: BEF15092D61A6274 Time : 0.0 sec. user=mdettweiler [2015-07-13 11:56:43] 955*2^1402911-1 is not prime. Res64: 374E47BC22F178E7 Time : 0.0 sec. user=mdettweiler [2015-07-13 11:58:13] 961*2^1402911-1 is not prime. Res64: 096C82939641880E Time : 0.0 sec. user=mdettweiler [2015-07-13 11:58:13] 975*2^1402911-1 is not prime. Res64: 741A09BFA1256FB2 Time : 0.0 sec. user=mdettweiler [2015-07-13 12:03:47] 645*2^1402912-1 is not prime. Res64: DDD628D5784841B0 Time : 0.0 sec. user=mdettweiler [2015-07-13 12:03:48] 713*2^1402912-1 is not prime. Res64: 31B31DF9A0F794A5 Time : 0.0 sec. user=mdettweiler [2015-07-13 12:03:57] 735*2^1402912-1 is not prime. Res64: 7461D5BDE9CD0588 Time : 0.0 sec. user=mdettweiler [2015-07-13 12:03:58] 819*2^1402912-1 is not prime. Res64: 629156CE24372C8A Time : 0.0 sec. user=mdettweiler [2015-07-13 12:14:40] 917*2^1402912-1 is not prime. Res64: 179DCC58BBC8D622 Time : 0.0 sec. user=mdettweiler [2015-07-13 12:14:40] 975*2^1402912-1 is not prime. Res64: 3FD3F3199CC8071E Time : 0.0 sec. user=mdettweiler [2015-07-13 12:16:02] 627*2^1402913-1 is not prime. Res64: 24320C2AE91685BF Time : 0.0 sec. user=mdettweiler [2015-07-13 12:16:03] 789*2^1402913-1 is not prime. Res64: 4CFA5A32A911440D Time : 0.0 sec. user=mdettweiler [2015-07-13 12:21:39] 855*2^1402913-1 is not prime. Res64: 3689EFAE2B77AC46 Time : 0.0 sec. user=mdettweiler [2015-07-13 12:21:39] 879*2^1402913-1 is not prime. Res64: 1F475A022DC3AA46 Time : 0.0 sec. user=mdettweiler [2015-07-13 12:21:51] 901*2^1402913-1 is not prime. Res64: D6462E7DAC4A8B6D Time : 0.0 sec. user=mdettweiler [2015-07-13 12:21:51] 957*2^1402913-1 is not prime. Res64: 649211A1ED5D0BDA Time : 0.0 sec. user=mdettweiler [2015-07-13 12:32:26] 641*2^1402914-1 is not prime. Res64: BDEC8FE1E599CDBD Time : 0.0 sec. user=mdettweiler [2015-07-13 12:32:27] 671*2^1402914-1 is not prime. Res64: E694D7F82AFDCEBA Time : 0.0 sec. user=mdettweiler [2015-07-13 12:33:48] 873*2^1402914-1 is not prime. Res64: 8ED50DC8FFFB30DE Time : 0.0 sec. user=mdettweiler [2015-07-13 12:33:49] 905*2^1402914-1 is not prime. Res64: E52B7F08860589F0 Time : 0.0 sec. user=mdettweiler [2015-07-13 12:39:26] 673*2^1402915-1 is not prime. Res64: 65A0AECD8F196CEA Time : 0.0 sec. user=mdettweiler [2015-07-13 12:39:27] 679*2^1402915-1 is not prime. Res64: 126F705FC7612F2C Time : 0.0 sec. user=mdettweiler [2015-07-13 12:39:48] 759*2^1402915-1 is not prime. Res64: 318BBCBC43063637 Time : 0.0 sec. user=mdettweiler [2015-07-13 12:39:48] 805*2^1402915-1 is not prime. Res64: 784FA4F46E75E45F Time : 0.0 sec. user=mdettweiler [2015-07-13 12:50:51] 885*2^1402915-1 is not prime. Res64: 07E888914674E8C8 Time : 0.0 sec. user=mdettweiler [2015-07-13 12:50:51] 895*2^1402915-1 is not prime. Res64: 7745FC3AA275196C Time : 0.0 sec. user=mdettweiler [2015-07-13 12:52:17] 913*2^1402915-1 is not prime. Res64: F1209D9B826757B9 Time : 0.0 sec. user=mdettweiler [2015-07-13 12:52:18] 915*2^1402915-1 is not prime. Res64: 46E3E5D1B9B014B7 Time : 0.0 sec. user=juhehe [2015-07-13 12:56:48] 633*2^1402915-1 is not prime. Res64: E208D7785CCAECF2 Time : 0.0 sec. user=mdettweiler [2015-07-13 12:57:59] 633*2^1402916-1 is not prime. Res64: 404D4AE6CC8CD8EE Time : 0.0 sec. user=mdettweiler [2015-07-13 12:57:59] 699*2^1402916-1 is not prime. Res64: B820EAFC3881BD83 Time : 0.0 sec. user=mdettweiler [2015-07-13 12:58:21] 725*2^1402916-1 is not prime. Res64: 69FBAA6DCFEEF992 Time : 0.0 sec. user=mdettweiler [2015-07-13 12:58:21] 813*2^1402916-1 is not prime. Res64: E0D299EDBA762E2B Time : 0.0 sec. user=mdettweiler [2015-07-13 13:09:33] 899*2^1402916-1 is not prime. Res64: 3D621D30FBA8351F Time : 0.0 sec. user=mdettweiler [2015-07-13 13:09:33] 615*2^1402917-1 is not prime. Res64: 35A6DEB890A4BA58 Time : 0.0 sec. user=mdettweiler [2015-07-13 13:11:01] 667*2^1402917-1 is not prime. Res64: 30452175D11ECBA0 Time : 0.0 sec. user=mdettweiler [2015-07-13 13:11:02] 681*2^1402917-1 is not prime. Res64: 9D42BE9341E8B40D Time : 0.0 sec. user=mdettweiler [2015-07-13 13:16:36] 861*2^1402917-1 is not prime. Res64: AC4EA915EC17A330 Time : 0.0 sec. user=mdettweiler [2015-07-13 13:16:36] 867*2^1402917-1 is not prime. Res64: F5F77BD6DCDF1DAE Time : 0.0 sec. user=mdettweiler [2015-07-13 13:17:03] 623*2^1402918-1 is not prime. Res64: 7D13390C4AFF4B1B Time : 0.0 sec. user=mdettweiler [2015-07-13 13:17:03] 705*2^1402918-1 is not prime. Res64: B83EA100BA4D893B Time : 0.0 sec. user=mdettweiler [2015-07-13 13:28:03] 791*2^1402918-1 is not prime. Res64: 4DD3677A83B458D0 Time : 0.0 sec. user=mdettweiler [2015-07-13 13:28:04] 825*2^1402918-1 is not prime. Res64: 247801FEFF9463ED Time : 0.0 sec. user=mdettweiler [2015-07-13 13:29:33] 827*2^1402918-1 is not prime. Res64: DE48E94CE359C921 Time : 0.0 sec. user=mdettweiler [2015-07-13 13:29:33] 881*2^1402918-1 is not prime. Res64: 56870CE74F4527A6 Time : 0.0 sec. user=mdettweiler [2015-07-13 13:34:47] 995*2^1402918-1 is not prime. Res64: 46CD4529C7F46BF5 Time : 0.0 sec. user=mdettweiler [2015-07-13 13:34:48] 711*2^1402919-1 is not prime. Res64: AFB9D3551CC14D56 Time : 0.0 sec. user=mdettweiler [2015-07-13 13:35:20] 729*2^1402919-1 is not prime. Res64: 48E5593D46525E58 Time : 0.0 sec. user=mdettweiler [2015-07-13 13:35:20] 745*2^1402919-1 is not prime. Res64: 11B3C2FE388F7BB6 Time : 0.0 sec. user=mdettweiler [2015-07-13 13:46:09] 811*2^1402919-1 is not prime. Res64: 8E1FFA91F27820D2 Time : 0.0 sec. user=mdettweiler [2015-07-13 13:46:09] 843*2^1402919-1 is not prime. Res64: EF8BFEBFAC3A87F1 Time : 0.0 sec. user=mdettweiler [2015-07-13 13:47:33] 615*2^1402920-1 is not prime. Res64: 61B2A80F76CE89D4 Time : 0.0 sec. user=mdettweiler [2015-07-13 13:47:33] 695*2^1402920-1 is not prime. Res64: FD33394CAEB837ED Time : 0.0 sec. user=mdettweiler [2015-07-13 13:52:40] 753*2^1402920-1 is not prime. Res64: 3459F83CB5C0AB87 Time : 0.0 sec. user=mdettweiler [2015-07-13 13:52:40] 789*2^1402920-1 is not prime. Res64: 9E937A6EAFD335EF Time : 0.0 sec. user=mdettweiler [2015-07-13 13:53:26] 839*2^1402920-1 is not prime. Res64: 367D9844CE9817C5 Time : 0.0 sec. user=mdettweiler [2015-07-13 13:53:27] 845*2^1402920-1 is not prime. Res64: 385848987702B243 Time : 0.0 sec. user=mdettweiler [2015-07-13 14:04:19] 899*2^1402920-1 is not prime. Res64: 2F4CA7D32EDF0BB1 Time : 0.0 sec. user=mdettweiler [2015-07-13 14:04:22] 917*2^1402920-1 is not prime. Res64: A3BF0C92017625D8 Time : 0.0 sec. user=mdettweiler [2015-07-13 14:05:38] 929*2^1402920-1 is not prime. Res64: D20ACA2142F5B635 Time : 0.0 sec. user=mdettweiler [2015-07-13 14:05:39] 935*2^1402920-1 is not prime. Res64: 5D2E875DDB3D30A2 Time : 0.0 sec. user=mdettweiler [2015-07-13 14:10:53] 983*2^1402920-1 is not prime. Res64: EABF0E028F5F33AE Time : 0.0 sec. user=mdettweiler [2015-07-13 14:10:53] 609*2^1402921-1 is not prime. Res64: 821E878BABFDF2D2 Time : 0.0 sec. user=mdettweiler [2015-07-13 14:11:33] 625*2^1402921-1 is not prime. Res64: 7EC9FBE2B42A2794 Time : 0.0 sec. user=mdettweiler [2015-07-13 14:11:33] 639*2^1402921-1 is not prime. Res64: F60731B19294C51D Time : 0.0 sec. user=mdettweiler [2015-07-13 14:23:03] 687*2^1402921-1 is not prime. Res64: 8C5752FA09B5EAE2 Time : 0.0 sec. user=mdettweiler [2015-07-13 14:23:04] 691*2^1402921-1 is not prime. Res64: 98B5FE55050FF977 Time : 0.0 sec. user=mdettweiler [2015-07-13 14:23:52] 769*2^1402921-1 is not prime. Res64: B5499E427B3C1C04 Time : 0.0 sec. user=mdettweiler [2015-07-13 14:23:53] 807*2^1402921-1 is not prime. Res64: 302257524ECFA58D Time : 0.0 sec. user=mdettweiler [2015-07-13 14:29:02] 817*2^1402921-1 is not prime. Res64: E871A5C3478A6E49 Time : 0.0 sec. user=mdettweiler [2015-07-13 14:29:02] 819*2^1402921-1 is not prime. Res64: F05F26ACC913C5C1 Time : 0.0 sec. user=mdettweiler [2015-07-13 14:29:42] 847*2^1402921-1 is not prime. Res64: 8B5A9605AB5B70C8 Time : 0.0 sec. user=mdettweiler [2015-07-13 14:29:42] 861*2^1402921-1 is not prime. Res64: C0269794CB9595F9 Time : 0.0 sec. user=juhehe [2015-07-13 14:35:55] 681*2^1402921-1 is not prime. Res64: 39D02F3D55076DAE Time : 0.0 sec. user=mdettweiler [2015-07-13 14:41:27] 895*2^1402921-1 is not prime. Res64: B504DB5A38AE5DAB Time : 0.0 sec. user=mdettweiler [2015-07-13 14:41:27] 931*2^1402921-1 is not prime. Res64: 42073D2905EA149E Time : 0.0 sec. user=mdettweiler [2015-07-13 14:42:02] 945*2^1402921-1 is not prime. Res64: D2D315EF8935A005 Time : 0.0 sec. user=mdettweiler [2015-07-13 14:42:03] 997*2^1402921-1 is not prime. Res64: A572C34712FDC0BA Time : 0.0 sec. user=mdettweiler [2015-07-13 14:47:23] 671*2^1402922-1 is not prime. Res64: 0A123940E46982A9 Time : 0.0 sec. user=mdettweiler [2015-07-13 14:47:23] 741*2^1402922-1 is not prime. Res64: 743CD828900EC85C Time : 0.0 sec. user=mdettweiler [2015-07-13 14:47:49] 831*2^1402922-1 is not prime. Res64: 5535634F5E2433EF Time : 0.0 sec. user=mdettweiler [2015-07-13 14:47:49] 867*2^1402922-1 is not prime. Res64: C7F1D2E93C3D0A4F Time : 0.0 sec. user=mdettweiler [2015-07-13 14:59:43] 977*2^1402922-1 is not prime. Res64: DE86EF77CDCBBB10 Time : 0.0 sec. user=mdettweiler [2015-07-13 14:59:43] 983*2^1402922-1 is not prime. Res64: B509349695502725 Time : 0.0 sec. user=mdettweiler [2015-07-13 15:00:15] 709*2^1402923-1 is not prime. Res64: D0C0856D2CF11847 Time : 0.0 sec. user=mdettweiler [2015-07-13 15:00:16] 745*2^1402923-1 is not prime. Res64: 486A3BF1D3F8BAB3 Time : 0.0 sec. user=mdettweiler [2015-07-13 15:06:08] 769*2^1402923-1 is not prime. Res64: 6E73A78B23AC800C Time : 0.0 sec. user=mdettweiler [2015-07-13 15:06:09] 789*2^1402923-1 is not prime. Res64: 7B7167FBACCECC9E Time : 0.0 sec. user=mdettweiler [2015-07-13 15:06:14] 853*2^1402923-1 is not prime. Res64: 821B41D92AE53539 Time : 0.0 sec. user=mdettweiler [2015-07-13 15:06:14] 859*2^1402923-1 is not prime. Res64: A0C56243B80E5D4B Time : 0.0 sec. user=juhehe [2015-07-13 15:14:00] 957*2^1402922-1 is not prime. Res64: 4F412EC416FDB8BF Time : 0.0 sec. user=mdettweiler [2015-07-13 15:18:15] 963*2^1402923-1 is not prime. Res64: 3504B678DD968A4F Time : 0.0 sec. user=mdettweiler [2015-07-13 15:18:15] 623*2^1402924-1 is not prime. Res64: 28EFE863DE124BEC Time : 0.0 sec. user=mdettweiler [2015-07-13 15:18:39] 635*2^1402924-1 is not prime. Res64: 12F9D2649828BD7F Time : 0.0 sec. user=mdettweiler [2015-07-13 15:18:40] 743*2^1402924-1 is not prime. Res64: 3F5920DCB3823ECC Time : 0.0 sec. user=mdettweiler [2015-07-13 15:24:39] 773*2^1402924-1 is not prime. Res64: 58B2349FC080EFA6 Time : 0.0 sec. user=mdettweiler [2015-07-13 15:24:39] 887*2^1402924-1 is not prime. Res64: E61FCD9BBF328EF4 Time : 0.0 sec. user=mdettweiler [2015-07-13 15:24:45] 909*2^1402924-1 is not prime. Res64: 7BAFEF1706822D12 Time : 0.0 sec. user=mdettweiler [2015-07-13 15:24:46] 699*2^1402925-1 is not prime. Res64: 1801A6F1E3B25A26 Time : 0.0 sec. user=mdettweiler [2015-07-13 15:36:59] 837*2^1402925-1 is not prime. Res64: B5695B962AADD690 Time : 0.0 sec. user=mdettweiler [2015-07-13 15:36:59] 871*2^1402925-1 is not prime. Res64: 6B218BE109187263 Time : 0.0 sec. user=mdettweiler [2015-07-13 15:37:14] 937*2^1402925-1 is not prime. Res64: 3191FB5C37C95331 Time : 0.0 sec. user=mdettweiler [2015-07-13 15:37:14] 707*2^1402926-1 is not prime. Res64: 495FBA3C3D3B9112 Time : 0.0 sec. user=mdettweiler [2015-07-13 15:43:28] 713*2^1402926-1 is not prime. Res64: 0261427E9ECEFAD5 Time : 0.0 sec. user=mdettweiler [2015-07-13 15:43:28] 741*2^1402926-1 is not prime. Res64: 90CE981D8F18E425 Time : 0.0 sec. user=mdettweiler [2015-07-13 15:43:35] 755*2^1402926-1 is not prime. Res64: 7169236CB57F96C4 Time : 0.0 sec. user=mdettweiler [2015-07-13 15:43:35] 917*2^1402926-1 is not prime. Res64: E9A810147A23A50A Time : 0.0 sec. user=mdettweiler [2015-07-13 15:55:23] 619*2^1402927-1 is not prime. Res64: 862CE12B5726F12C Time : 0.0 sec. user=mdettweiler [2015-07-13 15:55:23] 735*2^1402927-1 is not prime. Res64: CDCAD00F1CB810A3 Time : 0.0 sec. user=mdettweiler [2015-07-13 15:55:52] 871*2^1402927-1 is not prime. Res64: AC01F86513DDD213 Time : 0.0 sec. user=mdettweiler [2015-07-13 15:55:52] 873*2^1402927-1 is not prime. Res64: E2D443DC8AD08218 Time : 0.0 sec. user=mdettweiler [2015-07-13 16:01:59] 885*2^1402927-1 is not prime. Res64: A726420616C4132E Time : 0.0 sec. user=mdettweiler [2015-07-13 16:02:00] 975*2^1402927-1 is not prime. Res64: C57D321B333E3614 Time : 0.0 sec. user=mdettweiler [2015-07-13 16:02:07] 665*2^1402928-1 is not prime. Res64: 67B518FDDD2E46F1 Time : 0.0 sec. user=mdettweiler [2015-07-13 16:02:08] 725*2^1402928-1 is not prime. Res64: 779F67D046DC9FF1 Time : 0.0 sec. user=mdettweiler [2015-07-13 16:13:21] 915*2^1402928-1 is not prime. Res64: 905A8B0AF148721B Time : 0.0 sec. user=mdettweiler [2015-07-13 16:13:22] 963*2^1402928-1 is not prime. Res64: 76744A7AEBD78336 Time : 0.0 sec. user=mdettweiler [2015-07-13 16:13:54] 999*2^1402928-1 is not prime. Res64: 671E06A69AD97A67 Time : 0.0 sec. user=mdettweiler [2015-07-13 16:13:54] 649*2^1402929-1 is not prime. Res64: 27E929CAD5943AED Time : 0.0 sec. user=mdettweiler [2015-07-13 16:20:00] 795*2^1402929-1 is not prime. Res64: C55D3E3226321DDD Time : 0.0 sec. user=mdettweiler [2015-07-13 16:20:01] 955*2^1402929-1 is not prime. Res64: 0CE1F68696E31223 Time : 0.0 sec. user=mdettweiler [2015-07-13 16:20:09] 979*2^1402929-1 is not prime. Res64: 4B2182293CE489F3 Time : 0.0 sec. user=mdettweiler [2015-07-13 16:20:09] 645*2^1402930-1 is not prime. Res64: 629B0C4E8029DFA0 Time : 0.0 sec. user=mdettweiler [2015-07-13 16:31:11] 657*2^1402930-1 is not prime. Res64: C8E998FDF211CF93 Time : 0.0 sec. user=mdettweiler [2015-07-13 16:31:11] 663*2^1402930-1 is not prime. Res64: 7ECEA89FF4A46692 Time : 0.0 sec. user=mdettweiler [2015-07-13 16:31:48] 677*2^1402930-1 is not prime. Res64: BBE94426C68AB62E Time : 0.0 sec. user=mdettweiler [2015-07-13 16:31:48] 735*2^1402930-1 is not prime. Res64: 32F629355BF3C193 Time : 0.0 sec. user=mdettweiler [2015-07-13 16:37:52] 785*2^1402930-1 is not prime. Res64: 85DD64B95E8DF3D2 Time : 0.0 sec. user=mdettweiler [2015-07-13 16:37:52] 945*2^1402930-1 is not prime. Res64: 701E80D8AB5AA08A Time : 0.0 sec. user=mdettweiler [2015-07-13 16:37:57] 669*2^1402931-1 is not prime. Res64: 7C0050FCF8723DA3 Time : 0.0 sec. user=mdettweiler [2015-07-13 16:37:58] 735*2^1402931-1 is not prime. Res64: EAA0826D7AD1E350 Time : 0.0 sec. user=juhehe [2015-07-13 16:38:18] 875*2^1402928-1 is not prime. Res64: EDB308E23F10CC18 Time : 0.0 sec. user=mdettweiler [2015-07-13 16:49:04] 741*2^1402931-1 is not prime. Res64: F493B6CBA3B29010 Time : 0.0 sec. user=mdettweiler [2015-07-13 16:49:04] 913*2^1402931-1 is not prime. Res64: 696DF3C4E0D56B6B Time : 0.0 sec. user=mdettweiler [2015-07-13 16:49:35] 939*2^1402931-1 is not prime. Res64: B6B9D12B1900670C Time : 0.0 sec. user=mdettweiler [2015-07-13 16:49:35] 973*2^1402931-1 is not prime. Res64: F9558052212ED814 Time : 0.0 sec. user=mdettweiler [2015-07-13 16:55:32] 665*2^1402932-1 is not prime. Res64: 356B73729D84B386 Time : 0.0 sec. user=mdettweiler [2015-07-13 16:55:33] 777*2^1402932-1 is not prime. Res64: F9CBDCC3D0DE3F6F Time : 0.0 sec. user=mdettweiler [2015-07-13 16:55:44] 899*2^1402932-1 is not prime. Res64: B8F0CEB580E5A139 Time : 0.0 sec. user=mdettweiler [2015-07-13 16:55:45] 915*2^1402932-1 is not prime. Res64: A646F07A1C44503E Time : 0.0 sec. user=mdettweiler [2015-07-13 17:06:50] 607*2^1402933-1 is not prime. Res64: AD415079D2588FEA Time : 0.0 sec. user=mdettweiler [2015-07-13 17:06:50] 639*2^1402933-1 is not prime. Res64: C67ED8795A5FB5E4 Time : 0.0 sec. user=mdettweiler [2015-07-13 17:07:19] 729*2^1402933-1 is not prime. Res64: B1C96C9A5EB20D59 Time : 0.0 sec. user=mdettweiler [2015-07-13 17:07:19] 847*2^1402933-1 is not prime. Res64: E37FB047676756AF Time : 0.0 sec. user=mdettweiler [2015-07-13 17:13:16] 895*2^1402933-1 is not prime. Res64: 6DCAF61564DFEFE9 Time : 0.0 sec. user=mdettweiler [2015-07-13 17:13:16] 927*2^1402933-1 is not prime. Res64: B889E0DD16EFBBEC Time : 0.0 sec. user=mdettweiler [2015-07-13 17:13:25] 937*2^1402933-1 is not prime. Res64: 80503199F102CFB3 Time : 0.0 sec. user=mdettweiler [2015-07-13 17:13:25] 825*2^1402934-1 is not prime. Res64: 14D8206EC86A040B Time : 0.0 sec. user=mdettweiler [2015-07-13 17:24:45] 875*2^1402934-1 is not prime. Res64: F60822DCADF596A3 Time : 0.0 sec. user=mdettweiler [2015-07-13 17:24:45] 619*2^1402935-1 is not prime. Res64: 2E459250F7D3C9A1 Time : 0.0 sec. user=mdettweiler [2015-07-13 17:25:07] 643*2^1402935-1 is not prime. Res64: 1E76E73213E7BB79 Time : 0.0 sec. user=mdettweiler [2015-07-13 17:25:07] 741*2^1402935-1 is not prime. Res64: BE31AAA824291B4E Time : 0.0 sec. user=mdettweiler [2015-07-13 17:31:06] 829*2^1402935-1 is not prime. Res64: 74C60410DD0DBE16 Time : 0.0 sec. user=mdettweiler [2015-07-13 17:31:07] 861*2^1402935-1 is not prime. Res64: 69B28719E151CD0E Time : 0.0 sec. user=mdettweiler [2015-07-13 17:31:10] 783*2^1402935-1 is not prime. Res64: 6FF2E2C803A3AA27 Time : 0.0 sec. user=mdettweiler [2015-07-13 17:31:10] 793*2^1402935-1 is not prime. Res64: 2417CD5CFFF9DF62 Time : 0.0 sec. user=mdettweiler [2015-07-13 17:42:37] 961*2^1402935-1 is not prime. Res64: 7AE0684ED1B37ABF Time : 0.0 sec. user=mdettweiler [2015-07-13 17:42:38] 609*2^1402936-1 is not prime. Res64: 8671A2F3B54F85A6 Time : 0.0 sec. user=mdettweiler [2015-07-13 17:42:57] 617*2^1402936-1 is not prime. Res64: AB636310F211A055 Time : 0.0 sec. user=mdettweiler [2015-07-13 17:42:58] 645*2^1402936-1 is not prime. Res64: 3F76D87DBFF87389 Time : 0.0 sec. user=mdettweiler [2015-07-13 17:48:53] 657*2^1402936-1 is not prime. Res64: DCB4E960D4814E49 Time : 0.0 sec. user=mdettweiler [2015-07-13 17:48:53] 675*2^1402936-1 is not prime. Res64: A4E254F2113D7D76 Time : 0.0 sec. user=mdettweiler [2015-07-13 17:49:00] 689*2^1402936-1 is not prime. Res64: CA309811C59B4214 Time : 0.0 sec. user=mdettweiler [2015-07-13 17:49:01] 717*2^1402936-1 is not prime. Res64: 1AB73F094DBB5ACE Time : 0.0 sec. user=juhehe [2015-07-13 17:54:18] 895*2^1402935-1 is not prime. Res64: 2FD7EBBBCBE340F8 Time : 0.0 sec. user=mdettweiler [2015-07-13 18:00:31] 779*2^1402936-1 is not prime. Res64: D595DDE127356F8C Time : 0.0 sec. user=mdettweiler [2015-07-13 18:00:31] 957*2^1402936-1 is not prime. Res64: F45199B8D4252D1A Time : 0.0 sec. user=mdettweiler [2015-07-13 18:00:58] 715*2^1402937-1 is not prime. Res64: A796EEE41AE5155A Time : 0.0 sec. user=mdettweiler [2015-07-13 18:00:59] 717*2^1402937-1 is not prime. Res64: 6380E8E99C5329EA Time : 0.0 sec. user=mdettweiler [2015-07-13 18:06:46] 747*2^1402937-1 is not prime. Res64: E9B02E18033FDEB8 Time : 0.0 sec. user=mdettweiler [2015-07-13 18:06:46] 795*2^1402937-1 is not prime. Res64: 7B6AD719F693DDC3 Time : 0.0 sec. user=mdettweiler [2015-07-13 18:06:47] 777*2^1402937-1 is not prime. Res64: EAAC58BD6EC2EBA2 Time : 0.0 sec. user=mdettweiler [2015-07-13 18:06:47] 847*2^1402937-1 is not prime. Res64: 9D2A0FA525640D00 Time : 0.0 sec. user=mdettweiler [2015-07-13 18:19:02] 861*2^1402937-1 is not prime. Res64: B0ECB3E34CEEF684 Time : 0.0 sec. user=mdettweiler [2015-07-13 18:19:02] 957*2^1402937-1 is not prime. Res64: 450E53FF1A6F8F2B Time : 0.0 sec. user=mdettweiler [2015-07-13 18:19:29] 605*2^1402938-1 is not prime. Res64: 1E03EBA6D3BCF1D3 Time : 0.0 sec. user=mdettweiler [2015-07-13 18:19:29] 611*2^1402938-1 is not prime. Res64: 4DFD97DEF32F7ED5 Time : 0.0 sec. user=mdettweiler [2015-07-13 18:26:16] 657*2^1402938-1 is not prime. Res64: 975E13AF1E815F02 Time : 0.0 sec. user=mdettweiler [2015-07-13 18:26:16] 777*2^1402938-1 is not prime. Res64: 0F96F48B5D0F4359 Time : 0.0 sec. user=mdettweiler [2015-07-13 18:26:20] 867*2^1402938-1 is not prime. Res64: 2B6B90ED932A95D7 Time : 0.0 sec. user=mdettweiler [2015-07-13 18:26:20] 881*2^1402938-1 is not prime. Res64: 028561173E3C04B1 Time : 0.0 sec. user=mdettweiler [2015-07-13 18:37:55] 923*2^1402938-1 is not prime. Res64: A1D2568E9B315D7E Time : 0.0 sec. user=mdettweiler [2015-07-13 18:37:55] 1001*2^1402938-1 is not prime. Res64: E42E02F54933EB89 Time : 0.0 sec. user=mdettweiler [2015-07-13 18:38:23] 745*2^1402939-1 is not prime. Res64: 6CAB635AE834A2A4 Time : 0.0 sec. user=mdettweiler [2015-07-13 18:38:24] 859*2^1402939-1 is not prime. Res64: 3F92DABFE252846B Time : 0.0 sec. user=mdettweiler [2015-07-13 18:44:44] 889*2^1402939-1 is not prime. Res64: 444D6A70AF132E7B Time : 0.0 sec. user=mdettweiler [2015-07-13 18:44:44] 895*2^1402939-1 is not prime. Res64: 155DB2A5AC47B7C0 Time : 0.0 sec. user=mdettweiler [2015-07-13 18:45:04] 969*2^1402939-1 is not prime. Res64: D7691024AA0D1C33 Time : 0.0 sec. user=mdettweiler [2015-07-13 18:45:04] 973*2^1402939-1 is not prime. Res64: 86369402848E916A Time : 0.0 sec. user=mdettweiler [2015-07-13 18:55:49] 665*2^1402940-1 is not prime. Res64: 31F19795AA871CC6 Time : 0.0 sec. user=mdettweiler [2015-07-13 18:55:50] 669*2^1402940-1 is not prime. Res64: 9096F76D2CEF7A9C Time : 0.0 sec. user=mdettweiler [2015-07-13 18:56:25] 687*2^1402940-1 is not prime. Res64: C158F59F33576B60 Time : 0.0 sec. user=mdettweiler [2015-07-13 18:56:26] 825*2^1402940-1 is not prime. Res64: 1F7842E8A92E7F05 Time : 0.0 sec. user=mdettweiler [2015-07-13 19:02:57] 843*2^1402940-1 is not prime. Res64: 086D6FAF62EA73DF Time : 0.0 sec. user=mdettweiler [2015-07-13 19:02:58] 857*2^1402940-1 is not prime. Res64: 14CD98D9277BCEE7 Time : 0.0 sec. user=mdettweiler [2015-07-13 19:03:15] 909*2^1402940-1 is not prime. Res64: 8F858511D47C78CC Time : 0.0 sec. user=mdettweiler [2015-07-13 19:03:16] 609*2^1402941-1 is not prime. Res64: 7BBF5901C6B37843 Time : 0.0 sec. user=mdettweiler [2015-07-13 19:14:25] 661*2^1402941-1 is not prime. Res64: 793EE6D6F0285324 Time : 0.0 sec. user=mdettweiler [2015-07-13 19:14:25] 669*2^1402941-1 is not prime. Res64: 4B2345E70F5D26C2 Time : 0.0 sec. user=mdettweiler [2015-07-13 19:15:06] 777*2^1402941-1 is not prime. Res64: 460DAFF76D802E5D Time : 0.0 sec. user=mdettweiler [2015-07-13 19:15:07] 811*2^1402941-1 is not prime. Res64: C5DBC01D127D3D37 Time : 0.0 sec. user=mdettweiler [2015-07-13 19:21:36] 849*2^1402941-1 is not prime. Res64: 9CCF8973310F71A6 Time : 0.0 sec. user=mdettweiler [2015-07-13 19:21:37] 859*2^1402941-1 is not prime. Res64: DE3B4A8B553BDE7C Time : 0.0 sec. user=mdettweiler [2015-07-13 19:21:41] 877*2^1402941-1 is not prime. Res64: 06B1597D0790376C Time : 0.0 sec. user=mdettweiler [2015-07-13 19:21:41] 937*2^1402941-1 is not prime. Res64: F9C821D95D3CB7B6 Time : 0.0 sec. user=mdettweiler [2015-07-13 19:33:41] 999*2^1402941-1 is not prime. Res64: 59D8452E6B14D1BA Time : 0.0 sec. user=mdettweiler [2015-07-13 19:33:41] 611*2^1402942-1 is not prime. Res64: 543BC98EAC372F6C Time : 0.0 sec. user=mdettweiler [2015-07-13 19:34:15] 647*2^1402942-1 is not prime. Res64: 2748065A82CDE97C Time : 0.0 sec. user=mdettweiler [2015-07-13 19:34:16] 675*2^1402942-1 is not prime. Res64: D240783B70C4606C Time : 0.0 sec. user=mdettweiler [2015-07-13 19:41:39] 681*2^1402942-1 is not prime. Res64: 2EC2763600662814 Time : 0.0 sec. user=mdettweiler [2015-07-13 19:41:40] 717*2^1402942-1 is not prime. Res64: 3CF791A6602365AA Time : 0.0 sec. user=mdettweiler [2015-07-13 19:41:42] 723*2^1402942-1 is not prime. Res64: C00CDE8933D4342F Time : 0.0 sec. user=mdettweiler [2015-07-13 19:41:43] 825*2^1402942-1 is not prime. Res64: 46EF7CE5FC98BD2B Time : 0.0 sec. user=juhehe [2015-07-13 19:50:24] 979*2^1402941-1 is not prime. Res64: D0DF34F19B154404 Time : 0.0 sec. user=mdettweiler [2015-07-13 19:54:50] 833*2^1402942-1 is not prime. Res64: 6085E78D38E27DE9 Time : 0.0 sec. user=mdettweiler [2015-07-13 19:54:50] 843*2^1402942-1 is not prime. Res64: 4CB0BF6F39FFA330 Time : 0.0 sec. user=mdettweiler [2015-07-13 19:55:27] 911*2^1402942-1 is not prime. Res64: 4AA0BD5949AD5090 Time : 0.0 sec. user=mdettweiler [2015-07-13 19:55:28] 965*2^1402942-1 is not prime. Res64: F6F5274E8CD54964 Time : 0.0 sec. user=mdettweiler [2015-07-13 20:03:36] 721*2^1402943-1 is not prime. Res64: 91482104E37292D5 Time : 0.0 sec. user=mdettweiler [2015-07-13 20:03:38] 783*2^1402943-1 is not prime. Res64: E8E8BCB26DF93533 Time : 0.0 sec. user=mdettweiler [2015-07-13 20:03:51] 981*2^1402943-1 is not prime. Res64: 869414DBD58D3466 Time : 0.0 sec. user=mdettweiler [2015-07-13 20:03:52] 985*2^1402943-1 is not prime. Res64: 059667CACD5949F8 Time : 0.0 sec. user=mdettweiler [2015-07-13 20:14:48] 615*2^1402944-1 is not prime. Res64: 8B6DE4FE9740A300 Time : 0.0 sec. user=mdettweiler [2015-07-13 20:14:48] 725*2^1402944-1 is not prime. Res64: 7DD643C8D0EFCB01 Time : 0.0 sec. user=mdettweiler [2015-07-13 20:15:34] 747*2^1402944-1 is not prime. Res64: 76074C14C4C81C73 Time : 0.0 sec. user=mdettweiler [2015-07-13 20:15:34] 753*2^1402944-1 is not prime. Res64: 01615B58BE718913 Time : 0.0 sec. user=mdettweiler [2015-07-13 20:22:53] 843*2^1402944-1 is not prime. Res64: E8FF49C2C7CFF0AE Time : 0.0 sec. user=mdettweiler [2015-07-13 20:22:53] 875*2^1402944-1 is not prime. Res64: AE8149AD883A2499 Time : 0.0 sec. user=mdettweiler [2015-07-13 20:22:54] 767*2^1402944-1 is not prime. Res64: 8DCC3E5A7C40D4FF Time : 0.0 sec. user=mdettweiler [2015-07-13 20:22:54] 825*2^1402944-1 is not prime. Res64: 3419591EDD62ABE1 Time : 0.0 sec. user=mdettweiler [2015-07-13 20:34:36] 899*2^1402944-1 is not prime. Res64: 722181AC6B9707A2 Time : 0.0 sec. user=mdettweiler [2015-07-13 20:34:36] 903*2^1402944-1 is not prime. Res64: 24D49F1AF53A36BB Time : 0.0 sec. user=mdettweiler [2015-07-13 20:35:17] 601*2^1402945-1 is not prime. Res64: F3684FD3AE671662 Time : 0.0 sec. user=mdettweiler [2015-07-13 20:35:18] 811*2^1402945-1 is not prime. Res64: 2E8BABBD47F3D0E8 Time : 0.0 sec. user=mdettweiler [2015-07-13 20:43:31] 955*2^1402945-1 is not prime. Res64: 2CF5F07B40606A5A Time : 0.0 sec. user=mdettweiler [2015-07-13 20:43:31] 979*2^1402945-1 is not prime. Res64: F0BA86EF00183841 Time : 0.0 sec. user=mdettweiler [2015-07-13 20:43:44] 657*2^1402946-1 is not prime. Res64: BF9AB4B92ADC0D14 Time : 0.0 sec. user=mdettweiler [2015-07-13 20:43:45] 683*2^1402946-1 is not prime. Res64: B9B2088281BB52B3 Time : 0.0 sec. user=mdettweiler [2015-07-13 20:55:40] 705*2^1402946-1 is not prime. Res64: CDE9127F451F55A6 Time : 0.0 sec. user=mdettweiler [2015-07-13 20:55:40] 743*2^1402946-1 is not prime. Res64: 454F27C0217860B8 Time : 0.0 sec. user=mdettweiler [2015-07-13 20:55:53] 801*2^1402946-1 is not prime. Res64: 765C7285FC489555 Time : 0.0 sec. user=mdettweiler [2015-07-13 20:55:54] 825*2^1402946-1 is not prime. Res64: DB6B46A871BF83FD Time : 0.0 sec. user=mdettweiler [2015-07-13 21:03:11] 873*2^1402946-1 is not prime. Res64: 92E8081EDA65B325 Time : 0.0 sec. user=mdettweiler [2015-07-13 21:03:13] 953*2^1402946-1 is not prime. Res64: 8D7CC3EE8038F94E Time : 0.0 sec. user=mdettweiler [2015-07-13 21:03:36] 957*2^1402946-1 is not prime. Res64: 2EFD617C3ABA3958 Time : 0.0 sec. user=mdettweiler [2015-07-13 21:03:37] 691*2^1402947-1 is not prime. Res64: 7C10BAE2D1B16353 Time : 0.0 sec. user=mdettweiler [2015-07-13 21:15:03] 871*2^1402947-1 is not prime. Res64: 68C00900727842AE Time : 0.0 sec. user=mdettweiler [2015-07-13 21:15:03] 879*2^1402947-1 is not prime. Res64: CFA6C49C730C4C0C Time : 0.0 sec. user=mdettweiler [2015-07-13 21:15:44] 657*2^1402948-1 is not prime. Res64: 6A4B02481063ECDD Time : 0.0 sec. user=mdettweiler [2015-07-13 21:15:45] 665*2^1402948-1 is not prime. Res64: F8521DF50F5A09FC Time : 0.0 sec. user=mdettweiler [2015-07-13 21:23:21] 707*2^1402948-1 is not prime. Res64: F2D04365FBF95445 Time : 0.0 sec. user=mdettweiler [2015-07-13 21:23:22] 743*2^1402948-1 is not prime. Res64: 07D1617831636542 Time : 0.0 sec. user=mdettweiler [2015-07-13 21:23:33] 855*2^1402948-1 is not prime. Res64: 9FE9CD9F2646D8BE Time : 0.0 sec. user=mdettweiler [2015-07-13 21:23:33] 929*2^1402948-1 is not prime. Res64: 1BB24A7BD4ED5972 Time : 0.0 sec. user=mdettweiler [2015-07-13 21:34:29] 771*2^1402949-1 is not prime. Res64: B19494A7289B7CD4 Time : 0.0 sec. user=mdettweiler [2015-07-13 21:34:30] 825*2^1402949-1 is not prime. Res64: 6882C3E933E3C229 Time : 0.0 sec. user=mdettweiler [2015-07-13 21:35:14] 847*2^1402949-1 is not prime. Res64: 135C21AB296F770E Time : 0.0 sec. user=mdettweiler [2015-07-13 21:35:14] 861*2^1402949-1 is not prime. Res64: 382986E032D5B837 Time : 0.0 sec. user=mdettweiler [2015-07-13 21:42:46] 665*2^1402950-1 is not prime. Res64: 822AA61CD973A305 Time : 0.0 sec. user=mdettweiler [2015-07-13 21:42:46] 717*2^1402950-1 is not prime. Res64: D434A2777972DC46 Time : 0.0 sec. user=mdettweiler [2015-07-13 21:42:47] 885*2^1402949-1 is not prime. Res64: 66EC8AF992C10100 Time : 0.0 sec. user=mdettweiler [2015-07-13 21:42:47] 987*2^1402949-1 is not prime. Res64: 6BB1BECEB821764B Time : 0.0 sec. user=juhehe [2015-07-13 21:44:11] 975*2^1402948-1 is not prime. Res64: 35452363B8CFD6D7 Time : 0.0 sec. user=mdettweiler [2015-07-13 21:53:36] 773*2^1402950-1 is not prime. Res64: 605FE2DC95E31F6B Time : 0.0 sec. user=mdettweiler [2015-07-13 21:53:36] 663*2^1402951-1 is not prime. Res64: 6E656C0679B5AA2D Time : 0.0 sec. user=mdettweiler [2015-07-13 21:54:37] 745*2^1402951-1 is not prime. Res64: FF59BF6DA94584C5 Time : 0.0 sec. user=mdettweiler [2015-07-13 21:54:37] 819*2^1402951-1 is not prime. Res64: 8470CD4A6BB59B85 Time : 0.0 sec. user=mdettweiler [2015-07-13 22:01:12] 931*2^1402951-1 is not prime. Res64: 7BE26FDEE6D7FB44 Time : 0.0 sec. user=mdettweiler [2015-07-13 22:01:13] 675*2^1402952-1 is not prime. Res64: F159D495F50DB449 Time : 0.0 sec. user=mdettweiler [2015-07-13 22:01:13] 683*2^1402952-1 is not prime. Res64: 9BCD768A4591924D Time : 0.0 sec. user=mdettweiler [2015-07-13 22:01:14] 899*2^1402952-1 is not prime. Res64: C1CD00BB8F8E8EA6 Time : 0.0 sec. user=mdettweiler [2015-07-13 22:12:03] 923*2^1402952-1 is not prime. Res64: 558ED361A09F8939 Time : 0.0 sec. user=mdettweiler [2015-07-13 22:12:04] 963*2^1402952-1 is not prime. Res64: 7C882F660D1B283D Time : 0.0 sec. user=mdettweiler [2015-07-13 22:13:29] 639*2^1402953-1 is not prime. Res64: F7AB1156298C6C07 Time : 0.0 sec. user=mdettweiler [2015-07-13 22:13:29] 747*2^1402953-1 is not prime. Res64: F66ABEE1A444CECB Time : 0.0 sec. user=mdettweiler [2015-07-13 22:20:24] 663*2^1402954-1 is not prime. Res64: 9F9AA5FBA1FA2FA6 Time : 0.0 sec. user=mdettweiler [2015-07-13 22:20:25] 723*2^1402954-1 is not prime. Res64: 6470F6E6C0D1D72C Time : 0.0 sec. user=mdettweiler [2015-07-13 22:20:38] 849*2^1402953-1 is not prime. Res64: 1C2F1514D3D4A420 Time : 0.0 sec. user=mdettweiler [2015-07-13 22:20:38] 951*2^1402953-1 is not prime. Res64: 6F8CF1C621856ED3 Time : 0.0 sec. user=mdettweiler [2015-07-13 22:31:16] 765*2^1402954-1 is not prime. Res64: 0A66B0657C991F37 Time : 0.0 sec. user=mdettweiler [2015-07-13 22:31:16] 815*2^1402954-1 is not prime. Res64: 92A015239D2486CA Time : 0.0 sec. user=mdettweiler [2015-07-13 22:32:38] 827*2^1402954-1 is not prime. Res64: BCA6E06EF2EE3CEA Time : 0.0 sec. user=mdettweiler [2015-07-13 22:32:39] 945*2^1402954-1 is not prime. Res64: 630E9DD8B3DD0C64 Time : 0.0 sec. user=mdettweiler [2015-07-13 22:39:19] 735*2^1402955-1 is not prime. Res64: 615E6065BD518990 Time : 0.0 sec. user=mdettweiler [2015-07-13 22:39:19] 741*2^1402955-1 is not prime. Res64: AC4CB8AA45DB91EC Time : 0.0 sec. user=mdettweiler [2015-07-13 22:39:33] 983*2^1402954-1 is not prime. Res64: 03C91B83D1BDD7C0 Time : 0.0 sec. user=mdettweiler [2015-07-13 22:39:33] 675*2^1402955-1 is not prime. Res64: 655AC4E427856F4A Time : 0.0 sec. user=mdettweiler [2015-07-13 22:49:52] 799*2^1402955-1 is not prime. Res64: E540C3D36BB83281 Time : 0.0 sec. user=mdettweiler [2015-07-13 22:49:53] 885*2^1402955-1 is not prime. Res64: B6D10EE9576FB613 Time : 0.0 sec. user=mdettweiler [2015-07-13 22:51:26] 889*2^1402955-1 is not prime. Res64: 13FDD45AD792B276 Time : 0.0 sec. user=mdettweiler [2015-07-13 22:51:26] 669*2^1402956-1 is not prime. Res64: E01A602CD37924B5 Time : 0.0 sec. user=mdettweiler [2015-07-13 22:57:55] 725*2^1402956-1 is not prime. Res64: 265D8A5EDBBD4786 Time : 0.0 sec. user=mdettweiler [2015-07-13 22:57:55] 767*2^1402956-1 is not prime. Res64: EBEECF9E148E3F48 Time : 0.0 sec. user=mdettweiler [2015-07-13 22:58:00] 773*2^1402956-1 is not prime. Res64: C8CFE8631B3A1C08 Time : 0.0 sec. user=mdettweiler [2015-07-13 22:58:00] 779*2^1402956-1 is not prime. Res64: 1AA6EB6D0609AE00 Time : 0.0 sec. user=mdettweiler [2015-07-13 23:08:10] 839*2^1402956-1 is not prime. Res64: 1D75838F3AB8911C Time : 0.0 sec. user=mdettweiler [2015-07-13 23:08:11] 609*2^1402957-1 is not prime. Res64: EFFB3BE49FA54634 Time : 0.0 sec. user=mdettweiler [2015-07-13 23:09:30] 615*2^1402957-1 is not prime. Res64: 8F437049CC3ABCFB Time : 0.0 sec. user=mdettweiler [2015-07-13 23:09:30] 661*2^1402957-1 is not prime. Res64: D3703C9FB0A0BDA5 Time : 0.0 sec. user=mdettweiler [2015-07-13 23:15:50] 771*2^1402957-1 is not prime. Res64: DD701706787436E7 Time : 0.0 sec. user=mdettweiler [2015-07-13 23:15:53] 687*2^1402957-1 is not prime. Res64: 640FBF8583D89B0C Time : 0.0 sec. user=mdettweiler [2015-07-13 23:15:53] 835*2^1402957-1 is not prime. Res64: 68D8768C3CED41D8 Time : 0.0 sec. user=mdettweiler [2015-07-13 23:15:53] 741*2^1402957-1 is not prime. Res64: 50D724923281A11F Time : 0.0 sec. user=mdettweiler [2015-07-13 23:26:06] 937*2^1402957-1 is not prime. Res64: 973AFA449EA7F187 Time : 0.0 sec. user=mdettweiler [2015-07-13 23:26:06] 707*2^1402958-1 is not prime. Res64: EA67EAE1F61DC241 Time : 0.0 sec. user=mdettweiler [2015-07-13 23:27:25] 711*2^1402958-1 is not prime. Res64: A581007298686AC6 Time : 0.0 sec. user=mdettweiler [2015-07-13 23:27:26] 713*2^1402958-1 is not prime. Res64: 5A95BF8B7D9D39CB Time : 0.0 sec. user=mdettweiler [2015-07-13 23:33:38] 815*2^1402958-1 is not prime. Res64: 31F6F94239E5453B Time : 0.0 sec. user=mdettweiler [2015-07-13 23:33:38] 831*2^1402958-1 is not prime. Res64: 2994B2372C1FA6DF Time : 0.0 sec. user=mdettweiler [2015-07-13 23:33:50] 927*2^1402958-1 is not prime. Res64: A2766AA120FFF9D4 Time : 0.0 sec. user=mdettweiler [2015-07-13 23:33:50] 977*2^1402958-1 is not prime. Res64: 653047CB1DCF7005 Time : 0.0 sec. user=juhehe [2015-07-13 23:38:57] 915*2^1402957-1 is not prime. Res64: D253A02C32FD6BE0 Time : 0.0 sec. user=mdettweiler [2015-07-13 23:43:59] 685*2^1402959-1 is not prime. Res64: 3647DF02113EF61B Time : 0.0 sec. user=mdettweiler [2015-07-13 23:44:00] 711*2^1402959-1 is not prime. Res64: CC2F12B174E6AA84 Time : 0.0 sec. user=mdettweiler [2015-07-13 23:45:18] 665*2^1402960-1 is not prime. Res64: CD1E6C8FA4AB8A38 Time : 0.0 sec. user=mdettweiler [2015-07-13 23:45:18] 759*2^1402960-1 is not prime. Res64: 067BA81167D804C1 Time : 0.0 sec. user=mdettweiler [2015-07-13 23:51:26] 777*2^1402960-1 is not prime. Res64: 4A5E2C8949E569C5 Time : 0.0 sec. user=mdettweiler [2015-07-13 23:51:26] 939*2^1402960-1 is not prime. Res64: C1083FBCC425ADEF Time : 0.0 sec. user=mdettweiler [2015-07-13 23:51:37] 989*2^1402960-1 is not prime. Res64: B769EF9316721A97 Time : 0.0 sec. user=mdettweiler [2015-07-13 23:51:37] 627*2^1402961-1 is not prime. Res64: 5701EA58578E217C Time : 0.0 sec.