user=mdettweiler [2013-09-15 00:04:00] 923*2^1253276-1 is not prime. Res64: DE8951BCA894A166 Time : 0.0 sec. user=mdettweiler [2013-09-15 00:04:01] 711*2^1253277-1 is not prime. Res64: 90E82C459BCC7EB3 Time : 0.0 sec. user=mdettweiler [2013-09-15 00:04:22] 869*2^1253276-1 is not prime. Res64: 293B574D61169A37 Time : 0.0 sec. user=mdettweiler [2013-09-15 00:04:22] 879*2^1253276-1 is not prime. Res64: 5E68EDE70BC7D1CD Time : 0.0 sec. user=mdettweiler [2013-09-15 00:05:44] 867*2^1253277-1 is not prime. Res64: 612472164416AB46 Time : 0.0 sec. user=mdettweiler [2013-09-15 00:05:44] 891*2^1253277-1 is not prime. Res64: 10EF129005D48681 Time : 0.0 sec. user=mdettweiler [2013-09-15 00:19:18] 955*2^1253277-1 is not prime. Res64: 5BDAB56BBDC07DFD Time : 0.0 sec. user=mdettweiler [2013-09-15 00:19:19] 979*2^1253277-1 is not prime. Res64: 6B87F84EF1F72F8D Time : 0.0 sec. user=mdettweiler [2013-09-15 00:24:05] 681*2^1253278-1 is not prime. Res64: CE0C50FDCCCC1E3E Time : 0.0 sec. user=mdettweiler [2013-09-15 00:24:06] 791*2^1253278-1 is not prime. Res64: 1620A6FD54EE590A Time : 0.0 sec. user=mdettweiler [2013-09-15 00:24:37] 999*2^1253277-1 is not prime. Res64: 2ED1DA28713A893F Time : 0.0 sec. user=mdettweiler [2013-09-15 00:24:37] 663*2^1253278-1 is not prime. Res64: FDF45347948BF1BA Time : 0.0 sec. user=mdettweiler [2013-09-15 00:25:25] 831*2^1253278-1 is not prime. Res64: B971022A92665BDB Time : 0.0 sec. user=mdettweiler [2013-09-15 00:25:25] 833*2^1253278-1 is not prime. Res64: 94CE77714671A2A0 Time : 0.0 sec. user=mdettweiler [2013-09-15 00:39:59] 857*2^1253278-1 is not prime. Res64: E570CE2B2C9279A4 Time : 0.0 sec. user=mdettweiler [2013-09-15 00:39:59] 911*2^1253278-1 is not prime. Res64: F20E86355A9EE55F Time : 0.0 sec. user=mdettweiler [2013-09-15 00:44:20] 615*2^1253279-1 is not prime. Res64: 8924526CF8AA7EFC Time : 0.0 sec. user=mdettweiler [2013-09-15 00:44:20] 693*2^1253279-1 is not prime. Res64: A143466C4CFD843C Time : 0.0 sec. user=mdettweiler [2013-09-15 00:45:04] 705*2^1253279-1 is not prime. Res64: DD9F2F3A0C36554D Time : 0.0 sec. user=mdettweiler [2013-09-15 00:45:05] 721*2^1253279-1 is not prime. Res64: 2F429A533C2A2FFE Time : 0.0 sec. user=mdettweiler [2013-09-15 00:45:40] 945*2^1253278-1 is not prime. Res64: 82DBB6DD7E578C61 Time : 0.0 sec. user=mdettweiler [2013-09-15 00:45:40] 957*2^1253278-1 is not prime. Res64: 61D9F5800BE8B176 Time : 0.0 sec. user=mdettweiler [2013-09-15 00:59:46] 753*2^1253279-1 is not prime. Res64: 6B816E5F451A0CB7 Time : 0.0 sec. user=mdettweiler [2013-09-15 00:59:46] 811*2^1253279-1 is not prime. Res64: 3FE019FB284B81F2 Time : 0.0 sec. user=mdettweiler [2013-09-15 01:05:25] 633*2^1253280-1 is not prime. Res64: 9E4F7EDA8814532D Time : 0.0 sec. user=mdettweiler [2013-09-15 01:05:26] 695*2^1253280-1 is not prime. Res64: 616121E2E6606F18 Time : 0.0 sec. user=mdettweiler [2013-09-15 01:05:55] 889*2^1253279-1 is not prime. Res64: FDC0588C3462A34D Time : 0.0 sec. user=mdettweiler [2013-09-15 01:05:56] 909*2^1253279-1 is not prime. Res64: F0487A1C024FF144 Time : 0.0 sec. user=mdettweiler [2013-09-15 01:06:40] 979*2^1253279-1 is not prime. Res64: 0977E06E931C1C68 Time : 0.0 sec. user=mdettweiler [2013-09-15 01:06:41] 993*2^1253279-1 is not prime. Res64: 19EF06727C7F05DA Time : 0.0 sec. user=mdettweiler [2013-09-15 01:19:27] 725*2^1253280-1 is not prime. Res64: 7E196BC37A727A8E Time : 0.0 sec. user=mdettweiler [2013-09-15 01:19:27] 737*2^1253280-1 is not prime. Res64: 1EFBD46E6B39A41C Time : 0.0 sec. user=mdettweiler [2013-09-15 01:25:41] 619*2^1253281-1 is not prime. Res64: 441BB4AACB6B6E53 Time : 0.0 sec. user=mdettweiler [2013-09-15 01:25:41] 649*2^1253281-1 is not prime. Res64: 2F25B8831245E361 Time : 0.0 sec. user=mdettweiler [2013-09-15 01:26:01] 857*2^1253280-1 is not prime. Res64: 58AEF7790814AAB3 Time : 0.0 sec. user=mdettweiler [2013-09-15 01:26:01] 887*2^1253280-1 is not prime. Res64: 94F39D49C494DAF8 Time : 0.0 sec. user=mdettweiler [2013-09-15 01:27:21] 855*2^1253281-1 is not prime. Res64: 429B3DE82D294248 Time : 0.0 sec. user=mdettweiler [2013-09-15 01:27:21] 901*2^1253281-1 is not prime. Res64: 411B00A383EFAA82 Time : 0.0 sec. user=mdettweiler [2013-09-15 01:41:06] 909*2^1253281-1 is not prime. Res64: 19E6DFC76CD24AD7 Time : 0.0 sec. user=mdettweiler [2013-09-15 01:41:06] 997*2^1253281-1 is not prime. Res64: 0A8B39E5166DDDD7 Time : 0.0 sec. user=mdettweiler [2013-09-15 01:45:22] 633*2^1253282-1 is not prime. Res64: AEC857E73D77A5D5 Time : 0.0 sec. user=mdettweiler [2013-09-15 01:45:22] 713*2^1253282-1 is not prime. Res64: 2ED8693059BE2F58 Time : 0.0 sec. user=mdettweiler [2013-09-15 01:46:44] 831*2^1253282-1 is not prime. Res64: 1FA13485ECFEE3B8 Time : 0.0 sec. user=mdettweiler [2013-09-15 01:46:44] 911*2^1253282-1 is not prime. Res64: 29A9E24F82964234 Time : 0.0 sec. user=mdettweiler [2013-09-15 01:46:58] 691*2^1253283-1 is not prime. Res64: 9097119BED0E667C Time : 0.0 sec. user=mdettweiler [2013-09-15 01:46:58] 699*2^1253283-1 is not prime. Res64: 3AFCFE03932EB64F Time : 0.0 sec. user=mdettweiler [2013-09-15 02:01:45] 913*2^1253283-1 is not prime. Res64: ACA12273521A4D17 Time : 0.0 sec. user=mdettweiler [2013-09-15 02:01:45] 615*2^1253284-1 is not prime. Res64: FE33DA1A32E6A340 Time : 0.0 sec. user=mdettweiler [2013-09-15 02:05:01] 677*2^1253284-1 is not prime. Res64: 0FA9AD1F8FA0D9C4 Time : 0.0 sec. user=mdettweiler [2013-09-15 02:05:02] 693*2^1253284-1 is not prime. Res64: EEF8589014EE1110 Time : 0.0 sec. user=mdettweiler [2013-09-15 02:06:39] 715*2^1253285-1 is not prime. Res64: E88012692DEBBEC8 Time : 0.0 sec. user=mdettweiler [2013-09-15 02:06:40] 787*2^1253285-1 is not prime. Res64: 7D7843E0F1A06A03 Time : 0.0 sec. user=mdettweiler [2013-09-15 02:07:16] 785*2^1253284-1 is not prime. Res64: 19EE9CCECD10B6A9 Time : 0.0 sec. user=mdettweiler [2013-09-15 02:07:17] 923*2^1253284-1 is not prime. Res64: BD36C883FBC4FC11 Time : 0.0 sec. user=mdettweiler [2013-09-15 02:22:32] 859*2^1253285-1 is not prime. Res64: 864C4BB4141D1719 Time : 0.0 sec. user=mdettweiler [2013-09-15 02:22:33] 907*2^1253285-1 is not prime. Res64: 092867DEE9EFD73D Time : 0.0 sec. user=mdettweiler [2013-09-15 02:25:39] 949*2^1253285-1 is not prime. Res64: EC7905CFA93D2273 Time : 0.0 sec. user=mdettweiler [2013-09-15 02:25:39] 677*2^1253286-1 is not prime. Res64: 2E0CA263DFB1F04C Time : 0.0 sec. user=mdettweiler [2013-09-15 02:26:22] 707*2^1253286-1 is not prime. Res64: 10EE378CD06460F6 Time : 0.0 sec. user=mdettweiler [2013-09-15 02:26:22] 713*2^1253286-1 is not prime. Res64: C7EF7EFE2FB014EE Time : 0.0 sec. user=mdettweiler [2013-09-15 02:26:57] 795*2^1253286-1 is not prime. Res64: 862E4C21C7464C30 Time : 0.0 sec. user=mdettweiler [2013-09-15 02:26:57] 821*2^1253286-1 is not prime. Res64: E5A220F30EB70A3E Time : 0.0 sec. user=mdettweiler [2013-09-15 02:43:15] 825*2^1253286-1 is not prime. Res64: 56AAE88C37BAEE70 Time : 0.0 sec. user=mdettweiler [2013-09-15 02:43:15] 921*2^1253286-1 is not prime. Res64: CEBE76E7E9662313 Time : 0.0 sec. user=mdettweiler [2013-09-15 02:45:59] 609*2^1253287-1 is not prime. Res64: C04054B9C36F210D Time : 0.0 sec. user=mdettweiler [2013-09-15 02:46:00] 705*2^1253287-1 is not prime. Res64: DD1F88094F367398 Time : 0.0 sec. user=mdettweiler [2013-09-15 02:46:37] 735*2^1253287-1 is not prime. Res64: 6DA6BDBBCD6AF40B Time : 0.0 sec. user=mdettweiler [2013-09-15 02:46:38] 775*2^1253287-1 is not prime. Res64: 41671DCF29A3385F Time : 0.0 sec. user=mdettweiler [2013-09-15 02:47:07] 941*2^1253286-1 is not prime. Res64: 7702F25A67A43972 Time : 0.0 sec. user=mdettweiler [2013-09-15 02:47:08] 975*2^1253286-1 is not prime. Res64: C71AE48E33E429CC Time : 0.0 sec. user=mdettweiler [2013-09-15 03:03:10] 813*2^1253287-1 is not prime. Res64: 85725DBA8CEB62BD Time : 0.0 sec. user=mdettweiler [2013-09-15 03:03:11] 849*2^1253287-1 is not prime. Res64: 611E479C8082D2DD Time : 0.0 sec. user=mdettweiler [2013-09-15 03:05:35] 861*2^1253287-1 is not prime. Res64: 28722207FC05ED1B Time : 0.0 sec. user=mdettweiler [2013-09-15 03:05:36] 725*2^1253288-1 is not prime. Res64: A811F7BC43835281 Time : 0.0 sec. user=mdettweiler [2013-09-15 03:06:14] 767*2^1253288-1 is not prime. Res64: 3A25BC5D97986C38 Time : 0.0 sec. user=mdettweiler [2013-09-15 03:06:15] 825*2^1253288-1 is not prime. Res64: 25735969C9DABFC3 Time : 0.0 sec. user=mdettweiler [2013-09-15 03:08:35] 867*2^1253288-1 is not prime. Res64: E6728227F17C9F9A Time : 0.0 sec. user=mdettweiler [2013-09-15 03:08:35] 927*2^1253288-1 is not prime. Res64: A81D26782027EDC3 Time : 0.0 sec. user=mdettweiler [2013-09-15 03:23:58] 963*2^1253288-1 is not prime. Res64: 79A64FF31C70B857 Time : 0.0 sec. user=mdettweiler [2013-09-15 03:23:59] 609*2^1253289-1 is not prime. Res64: 5225C5FAE712B842 Time : 0.0 sec. user=mdettweiler [2013-09-15 03:25:50] 741*2^1253290-1 is not prime. Res64: 01801F016E3353E8 Time : 0.0 sec. user=mdettweiler [2013-09-15 03:25:51] 831*2^1253290-1 is not prime. Res64: 11995DC5EA11B08F Time : 0.0 sec. user=mdettweiler [2013-09-15 03:27:01] 889*2^1253289-1 is not prime. Res64: B84F4AB341B2A041 Time : 0.0 sec. user=mdettweiler [2013-09-15 03:27:01] 969*2^1253289-1 is not prime. Res64: 5DEB5B3A81610672 Time : 0.0 sec. user=mdettweiler [2013-09-15 03:29:59] 911*2^1253290-1 is not prime. Res64: A590E82B31FFB9FE Time : 0.0 sec. user=mdettweiler [2013-09-15 03:29:59] 951*2^1253290-1 is not prime. Res64: 848911A16CDD664C Time : 0.0 sec. user=mdettweiler [2013-09-15 03:43:40] 603*2^1253291-1 is not prime. Res64: C2BA852A85072D25 Time : 0.0 sec. user=mdettweiler [2013-09-15 03:43:40] 621*2^1253291-1 is not prime. Res64: 17036FBF32ED2BF9 Time : 0.0 sec. user=mdettweiler [2013-09-15 03:45:36] 631*2^1253291-1 is not prime. Res64: 0E9837C00B781FA5 Time : 0.0 sec. user=mdettweiler [2013-09-15 03:45:36] 651*2^1253291-1 is not prime. Res64: 87F80FBEDC5E94F1 Time : 0.0 sec. user=mdettweiler [2013-09-15 03:46:44] 685*2^1253291-1 is not prime. Res64: 69324A722B224FDA Time : 0.0 sec. user=mdettweiler [2013-09-15 03:46:44] 859*2^1253291-1 is not prime. Res64: DB0CCDFA1BD08720 Time : 0.0 sec. user=mdettweiler [2013-09-15 03:50:41] 895*2^1253291-1 is not prime. Res64: BEB3C92497DE19D6 Time : 0.0 sec. user=mdettweiler [2013-09-15 03:50:41] 629*2^1253292-1 is not prime. Res64: D5CD7AD7B9C222AE Time : 0.0 sec. user=mdettweiler [2013-09-15 04:03:26] 669*2^1253292-1 is not prime. Res64: 38B997DC52E0F495 Time : 0.0 sec. user=mdettweiler [2013-09-15 04:03:27] 675*2^1253292-1 is not prime. Res64: 6AE858F47BEB3379 Time : 0.0 sec. user=mdettweiler [2013-09-15 04:05:31] 693*2^1253292-1 is not prime. Res64: 48758ED020FD0072 Time : 0.0 sec. user=mdettweiler [2013-09-15 04:05:31] 723*2^1253292-1 is not prime. Res64: C6C6B1EC83BB7908 Time : 0.0 sec. user=mdettweiler [2013-09-15 04:06:40] 749*2^1253292-1 is not prime. Res64: 5562F5D27E13FFA5 Time : 0.0 sec. user=mdettweiler [2013-09-15 04:06:41] 777*2^1253292-1 is not prime. Res64: E3F711E78238280F Time : 0.0 sec. user=mdettweiler [2013-09-15 04:12:45] 873*2^1253292-1 is not prime. Res64: 50CCEC0BC7F5C696 Time : 0.0 sec. user=mdettweiler [2013-09-15 04:12:45] 887*2^1253292-1 is not prime. Res64: 53917B2E165F5554 Time : 0.0 sec. user=mdettweiler [2013-09-15 04:24:56] 987*2^1253292-1 is not prime. Res64: 2F03E15927D3555D Time : 0.0 sec. user=mdettweiler [2013-09-15 04:24:57] 609*2^1253293-1 is not prime. Res64: A88259B837AC40FD Time : 0.0 sec. user=mdettweiler [2013-09-15 04:25:47] 625*2^1253293-1 is not prime. Res64: EAFC95C06B45BDA2 Time : 0.0 sec. user=mdettweiler [2013-09-15 04:25:47] 747*2^1253293-1 is not prime. Res64: 310303AF30096CAA Time : 0.0 sec. user=mdettweiler [2013-09-15 04:26:58] 817*2^1253293-1 is not prime. Res64: 1AD4F31C027AC429 Time : 0.0 sec. user=mdettweiler [2013-09-15 04:26:59] 855*2^1253293-1 is not prime. Res64: 12DC194C254E367F Time : 0.0 sec. user=mdettweiler [2013-09-15 04:34:34] 877*2^1253293-1 is not prime. Res64: 01C105B9232EC04D Time : 0.0 sec. user=mdettweiler [2013-09-15 04:34:34] 979*2^1253293-1 is not prime. Res64: C47AB0EC8CD48926 Time : 0.0 sec. user=mdettweiler [2013-09-15 04:44:33] 623*2^1253294-1 is not prime. Res64: D6D289E5738F3F61 Time : 0.0 sec. user=mdettweiler [2013-09-15 04:44:34] 755*2^1253294-1 is not prime. Res64: CE7234AF8F0C10F5 Time : 0.0 sec. user=mdettweiler [2013-09-15 04:46:20] 825*2^1253294-1 is not prime. Res64: 65EEF7CD90575973 Time : 0.0 sec. user=mdettweiler [2013-09-15 04:46:20] 887*2^1253294-1 is not prime. Res64: D3BBE6E866034623 Time : 0.0 sec. user=mdettweiler [2013-09-15 04:47:34] 763*2^1253295-1 is not prime. Res64: 7075073231182CBF Time : 0.0 sec. user=mdettweiler [2013-09-15 04:47:34] 895*2^1253295-1 is not prime. Res64: 307E575E3BDE70B8 Time : 0.0 sec. user=mdettweiler [2013-09-15 04:56:30] 955*2^1253295-1 is not prime. Res64: 3623CB544EAF5FA6 Time : 0.0 sec. user=mdettweiler [2013-09-15 04:56:31] 973*2^1253295-1 is not prime. Res64: D640D25369376F50 Time : 0.0 sec. user=mdettweiler [2013-09-15 05:05:17] 979*2^1253295-1 is not prime. Res64: E086CDA35B2BC5E6 Time : 0.0 sec. user=mdettweiler [2013-09-15 05:05:18] 603*2^1253296-1 is not prime. Res64: 93CC01640B5B7BA0 Time : 0.0 sec. user=mdettweiler [2013-09-15 05:06:01] 609*2^1253296-1 is not prime. Res64: F3E61F1A2E89ADED Time : 0.0 sec. user=mdettweiler [2013-09-15 05:06:01] 653*2^1253296-1 is not prime. Res64: 421B187B35133EC6 Time : 0.0 sec. user=mdettweiler [2013-09-15 05:07:16] 773*2^1253296-1 is not prime. Res64: C3A388CC561F4FFF Time : 0.0 sec. user=mdettweiler [2013-09-15 05:07:16] 803*2^1253296-1 is not prime. Res64: 6F59FF4A9CE8F363 Time : 0.0 sec. user=mdettweiler [2013-09-15 05:17:14] 849*2^1253296-1 is not prime. Res64: 7A14283FACE7CAF4 Time : 0.0 sec. user=mdettweiler [2013-09-15 05:17:15] 923*2^1253296-1 is not prime. Res64: 595D2C4228A04F1D Time : 0.0 sec. user=mdettweiler [2013-09-15 05:25:24] 645*2^1253297-1 is not prime. Res64: 4EE08660727E7EDB Time : 0.0 sec. user=mdettweiler [2013-09-15 05:25:24] 649*2^1253297-1 is not prime. Res64: C54D468A59F948FC Time : 0.0 sec. user=mdettweiler [2013-09-15 05:25:53] 691*2^1253297-1 is not prime. Res64: DA4BECF7CF8C17AE Time : 0.0 sec. user=mdettweiler [2013-09-15 05:25:54] 819*2^1253297-1 is not prime. Res64: 434C26572B20CAFE Time : 0.0 sec. user=mdettweiler [2013-09-15 05:28:05] 885*2^1253297-1 is not prime. Res64: A341E8EFD5D7F09B Time : 0.0 sec. user=mdettweiler [2013-09-15 05:28:05] 747*2^1253298-1 is not prime. Res64: 9E14651F379F1C4A Time : 0.0 sec. user=mdettweiler [2013-09-15 05:38:55] 875*2^1253298-1 is not prime. Res64: FFD1191586E5F5E8 Time : 0.0 sec. user=mdettweiler [2013-09-15 05:38:56] 951*2^1253298-1 is not prime. Res64: DFE94C037FE5B37F Time : 0.0 sec. user=mdettweiler [2013-09-15 05:45:09] 691*2^1253299-1 is not prime. Res64: 7DA3B827E98DDB8D Time : 0.0 sec. user=mdettweiler [2013-09-15 05:45:10] 769*2^1253299-1 is not prime. Res64: ECF71D008393A17F Time : 0.0 sec. user=mdettweiler [2013-09-15 05:45:36] 793*2^1253299-1 is not prime. Res64: A6BC78BE433710B4 Time : 0.0 sec. user=mdettweiler [2013-09-15 05:45:36] 859*2^1253299-1 is not prime. Res64: 8EB1F6FDF48D1974 Time : 0.0 sec. user=mdettweiler [2013-09-15 05:48:42] 919*2^1253299-1 is not prime. Res64: B02DEE7B66BF3196 Time : 0.0 sec. user=mdettweiler [2013-09-15 05:48:43] 675*2^1253300-1 is not prime. Res64: A9D8693FC9050B58 Time : 0.0 sec. user=mdettweiler [2013-09-15 06:00:28] 915*2^1253300-1 is not prime. Res64: A10FAD2717EFD33B Time : 0.0 sec. user=mdettweiler [2013-09-15 06:00:29] 927*2^1253300-1 is not prime. Res64: 2BB084EDAA9B52B7 Time : 0.0 sec. user=mdettweiler [2013-09-15 06:05:15] 651*2^1253301-1 is not prime. Res64: 1BA85BCA2B9BA002 Time : 0.0 sec. user=mdettweiler [2013-09-15 06:05:16] 751*2^1253301-1 is not prime. Res64: 44D495A6CA9863D6 Time : 0.0 sec. user=mdettweiler [2013-09-15 06:06:42] 963*2^1253300-1 is not prime. Res64: 21C41BDFB40671E1 Time : 0.0 sec. user=mdettweiler [2013-09-15 06:06:43] 983*2^1253300-1 is not prime. Res64: 5A9FD439D6185F0D Time : 0.0 sec. user=mdettweiler [2013-09-15 06:10:16] 895*2^1253301-1 is not prime. Res64: A82CE437891F7CAB Time : 0.0 sec. user=mdettweiler [2013-09-15 06:10:18] 951*2^1253301-1 is not prime. Res64: FCC515CEA13E43CF Time : 0.0 sec. user=mdettweiler [2013-09-15 06:22:07] 955*2^1253301-1 is not prime. Res64: 1A8B694673E60885 Time : 0.0 sec. user=mdettweiler [2013-09-15 06:22:07] 991*2^1253301-1 is not prime. Res64: F605279314655A60 Time : 0.0 sec. user=mdettweiler [2013-09-15 06:25:00] 813*2^1253302-1 is not prime. Res64: CEE04D4DBEF5172D Time : 0.0 sec. user=mdettweiler [2013-09-15 06:25:00] 831*2^1253302-1 is not prime. Res64: E524DD2E9485323E Time : 0.0 sec. user=mdettweiler [2013-09-15 06:27:12] 857*2^1253302-1 is not prime. Res64: 38FD90D90A3E32F0 Time : 0.0 sec. user=mdettweiler [2013-09-15 06:27:12] 947*2^1253302-1 is not prime. Res64: 61A45364561AF945 Time : 0.0 sec. user=mdettweiler [2013-09-15 06:31:48] 957*2^1253302-1 is not prime. Res64: DC9B8111B922B202 Time : 0.0 sec. user=mdettweiler [2013-09-15 06:31:49] 969*2^1253303-1 is not prime. Res64: BBB58CC287DAD2C8 Time : 0.0 sec. user=mdettweiler [2013-09-15 06:41:52] 645*2^1253305-1 is not prime. Res64: F600EB74BB8321BD Time : 0.0 sec. user=mdettweiler [2013-09-15 06:41:52] 661*2^1253305-1 is not prime. Res64: 74A47C341905A54E Time : 0.0 sec. user=mdettweiler [2013-09-15 06:44:49] 729*2^1253305-1 is not prime. Res64: 5F4278FA1DAA2A48 Time : 0.0 sec. user=mdettweiler [2013-09-15 06:44:49] 711*2^1253306-1 is not prime. Res64: F2DED97F3F386CCD Time : 0.0 sec. user=mdettweiler [2013-09-15 06:48:42] 887*2^1253306-1 is not prime. Res64: 36BCC90ECE7DB09A Time : 0.0 sec. user=mdettweiler [2013-09-15 06:48:42] 987*2^1253306-1 is not prime. Res64: 84EF4C80B91AADE0 Time : 0.0 sec. user=mdettweiler [2013-09-15 06:51:25] 699*2^1253307-1 is not prime. Res64: 5BDA54A4C45FB7FD Time : 0.0 sec. user=mdettweiler [2013-09-15 06:51:25] 711*2^1253307-1 is not prime. Res64: 6FAF8EA42E575AE2 Time : 0.0 sec. user=mdettweiler [2013-09-15 07:01:32] 775*2^1253307-1 is not prime. Res64: 09ABD7B840B2DBD9 Time : 0.0 sec. user=mdettweiler [2013-09-15 07:01:34] 795*2^1253307-1 is not prime. Res64: 00B6E16A1318226E Time : 0.0 sec. user=mdettweiler [2013-09-15 07:05:22] 859*2^1253307-1 is not prime. Res64: 7E412FD5CF32FBEA Time : 0.0 sec. user=mdettweiler [2013-09-15 07:05:23] 873*2^1253307-1 is not prime. Res64: 48388B0CDA25DB9F Time : 0.0 sec. user=mdettweiler [2013-09-15 07:10:09] 979*2^1253307-1 is not prime. Res64: FC243D9D12A77D33 Time : 0.0 sec. user=mdettweiler [2013-09-15 07:10:09] 985*2^1253307-1 is not prime. Res64: B94C617F9A510C7F Time : 0.0 sec. user=mdettweiler [2013-09-15 07:11:03] 617*2^1253308-1 is not prime. Res64: 8646991760514828 Time : 0.0 sec. user=mdettweiler [2013-09-15 07:11:04] 687*2^1253308-1 is not prime. Res64: 7DD56DCA75D01C87 Time : 0.0 sec. user=mdettweiler [2013-09-15 07:21:31] 743*2^1253308-1 is not prime. Res64: 743BE03E35EA9EF4 Time : 0.0 sec. user=mdettweiler [2013-09-15 07:21:31] 819*2^1253308-1 is not prime. Res64: C45A1D04D7878838 Time : 0.0 sec. user=mdettweiler [2013-09-15 07:26:59] 869*2^1253308-1 is not prime. Res64: 9D3141A66DDCA5F5 Time : 0.0 sec. user=mdettweiler [2013-09-15 07:27:00] 897*2^1253308-1 is not prime. Res64: BA23A7B9308EB041 Time : 0.0 sec. user=mdettweiler [2013-09-15 07:30:45] 675*2^1253309-1 is not prime. Res64: 5009488017FA8CFA Time : 0.0 sec. user=mdettweiler [2013-09-15 07:30:45] 697*2^1253309-1 is not prime. Res64: 79C3DC51DC9B06A8 Time : 0.0 sec. user=mdettweiler [2013-09-15 07:31:41] 915*2^1253308-1 is not prime. Res64: 0614A4256871B2F5 Time : 0.0 sec. user=mdettweiler [2013-09-15 07:31:41] 923*2^1253308-1 is not prime. Res64: 6AFE0BE5B3BE5DFE Time : 0.0 sec. user=mdettweiler [2013-09-15 07:41:16] 641*2^1253310-1 is not prime. Res64: DC3AA142080CC0E9 Time : 0.0 sec. user=mdettweiler [2013-09-15 07:41:16] 797*2^1253310-1 is not prime. Res64: 7C41B74A5623B01D Time : 0.0 sec. user=mdettweiler [2013-09-15 07:48:39] 875*2^1253310-1 is not prime. Res64: 5632AC2A18B1ACD8 Time : 0.0 sec. user=mdettweiler [2013-09-15 07:48:39] 891*2^1253310-1 is not prime. Res64: DAA8F1864338D6B4 Time : 0.0 sec. user=mdettweiler [2013-09-15 07:52:26] 675*2^1253311-1 is not prime. Res64: F1211871901E827C Time : 0.0 sec. user=mdettweiler [2013-09-15 07:52:26] 913*2^1253311-1 is not prime. Res64: 221B8B2EE410347F Time : 0.0 sec. user=mdettweiler [2013-09-15 07:52:31] 951*2^1253310-1 is not prime. Res64: 0EB3F2A32DF0F208 Time : 0.0 sec. user=mdettweiler [2013-09-15 07:52:31] 977*2^1253310-1 is not prime. Res64: D7AA5BC2016026C0 Time : 0.0 sec. user=mdettweiler [2013-09-15 08:01:54] 961*2^1253311-1 is not prime. Res64: 00947C8B13155258 Time : 0.0 sec. user=mdettweiler [2013-09-15 08:01:54] 605*2^1253312-1 is not prime. Res64: 9201D6A80443AD9A Time : 0.0 sec. user=mdettweiler [2013-09-15 08:08:27] 675*2^1253312-1 is not prime. Res64: 0CD3E014089A36A6 Time : 0.0 sec. user=mdettweiler [2013-09-15 08:08:28] 735*2^1253312-1 is not prime. Res64: E7B75C38D18906FD Time : 0.0 sec. user=mdettweiler [2013-09-15 08:12:05] 743*2^1253312-1 is not prime. Res64: 5BDAE8FD9470659B Time : 0.0 sec. user=mdettweiler [2013-09-15 08:12:06] 857*2^1253312-1 is not prime. Res64: 06ADAE8AF93BE2BE Time : 0.0 sec. user=mdettweiler [2013-09-15 08:14:04] 873*2^1253312-1 is not prime. Res64: B7C2AB0369095DE9 Time : 0.0 sec. user=mdettweiler [2013-09-15 08:14:05] 945*2^1253312-1 is not prime. Res64: 7AAB25CB668C6A72 Time : 0.0 sec. user=mdettweiler [2013-09-15 08:22:30] 999*2^1253312-1 is not prime. Res64: AA270BCA4C8D2C49 Time : 0.0 sec. user=mdettweiler [2013-09-15 08:22:30] 627*2^1253313-1 is not prime. Res64: 2962E2BFD7023C96 Time : 0.0 sec. user=mdettweiler [2013-09-15 08:28:03] 681*2^1253313-1 is not prime. Res64: 659548181A83591B Time : 0.0 sec. user=mdettweiler [2013-09-15 08:28:03] 765*2^1253313-1 is not prime. Res64: 811A99E91D69D5DE Time : 0.0 sec. user=mdettweiler [2013-09-15 08:31:37] 769*2^1253313-1 is not prime. Res64: D12817D8CA44E16F Time : 0.0 sec. user=mdettweiler [2013-09-15 08:31:38] 819*2^1253313-1 is not prime. Res64: 0738FAFF984AEC09 Time : 0.0 sec. user=mdettweiler [2013-09-15 08:34:32] 895*2^1253313-1 is not prime. Res64: 53AC22B33567E091 Time : 0.0 sec. user=mdettweiler [2013-09-15 08:34:32] 611*2^1253314-1 is not prime. Res64: 136B9509C1B9ABF7 Time : 0.0 sec. user=mdettweiler [2013-09-15 08:42:02] 633*2^1253314-1 is not prime. Res64: BF694116903F9D4A Time : 0.0 sec. user=mdettweiler [2013-09-15 08:42:03] 671*2^1253314-1 is not prime. Res64: 6140B418D12F1E1B Time : 0.0 sec. user=mdettweiler [2013-09-15 08:47:39] 675*2^1253314-1 is not prime. Res64: 995BDAADBD8BEF7F Time : 0.0 sec. user=mdettweiler [2013-09-15 08:47:39] 717*2^1253314-1 is not prime. Res64: 209808D307319AA8 Time : 0.0 sec. user=mdettweiler [2013-09-15 08:52:01] 785*2^1253314-1 is not prime. Res64: E6AC60002E4FA9D9 Time : 0.0 sec. user=mdettweiler [2013-09-15 08:52:01] 887*2^1253314-1 is not prime. Res64: 7459119F8F694E6C Time : 0.0 sec. user=mdettweiler [2013-09-15 08:55:55] 947*2^1253314-1 is not prime. Res64: 90B611F55689A6DC Time : 0.0 sec. user=mdettweiler [2013-09-15 08:55:55] 993*2^1253314-1 is not prime. Res64: 021FB0573D6BD816 Time : 0.0 sec. user=mdettweiler [2013-09-15 09:01:34] 609*2^1253315-1 is not prime. Res64: DF4061731AC23B3C Time : 0.0 sec. user=mdettweiler [2013-09-15 09:01:35] 699*2^1253315-1 is not prime. Res64: 4E6F31BAA3C83FFC Time : 0.0 sec. user=mdettweiler [2013-09-15 09:07:13] 759*2^1253315-1 is not prime. Res64: F0C6F150632043D6 Time : 0.0 sec. user=mdettweiler [2013-09-15 09:07:14] 823*2^1253315-1 is not prime. Res64: 1EB9F907FC79B4BC Time : 0.0 sec. user=mdettweiler [2013-09-15 09:12:44] 855*2^1253315-1 is not prime. Res64: 80554316AEA9D0B3 Time : 0.0 sec. user=mdettweiler [2013-09-15 09:12:44] 973*2^1253315-1 is not prime. Res64: 7BFD8FB9B7194E5C Time : 0.0 sec. user=mdettweiler [2013-09-15 09:16:24] 991*2^1253315-1 is not prime. Res64: 157610B078EBB0DA Time : 0.0 sec. user=mdettweiler [2013-09-15 09:16:24] 647*2^1253316-1 is not prime. Res64: 16B2A118A646A54B Time : 0.0 sec. user=mdettweiler [2013-09-15 09:21:05] 749*2^1253316-1 is not prime. Res64: 3E045B5E22F92C8D Time : 0.0 sec. user=mdettweiler [2013-09-15 09:21:06] 759*2^1253316-1 is not prime. Res64: 5BB8067627615C81 Time : 0.0 sec. user=mdettweiler [2013-09-15 09:27:50] 803*2^1253316-1 is not prime. Res64: A60C9B8CA75EDDD1 Time : 0.0 sec. user=mdettweiler [2013-09-15 09:27:50] 875*2^1253316-1 is not prime. Res64: D340520FA71642D2 Time : 0.0 sec. user=mdettweiler [2013-09-15 09:32:13] 615*2^1253317-1 is not prime. Res64: 5632DF561B6DEC4C Time : 0.0 sec. user=mdettweiler [2013-09-15 09:32:14] 699*2^1253317-1 is not prime. Res64: 86BD36EFD8AB73F8 Time : 0.0 sec. user=mdettweiler [2013-09-15 09:36:03] 747*2^1253317-1 is not prime. Res64: BCA77B97C50FE402 Time : 0.0 sec. user=mdettweiler [2013-09-15 09:36:04] 831*2^1253317-1 is not prime. Res64: 220FC89CA210027D Time : 0.0 sec. user=mdettweiler [2013-09-15 09:41:36] 997*2^1253317-1 is not prime. Res64: C6CB48F5318249F2 Time : 0.0 sec. user=mdettweiler [2013-09-15 09:41:36] 603*2^1253318-1 is not prime. Res64: DAA5781C4CCCEE3B Time : 0.0 sec. user=mdettweiler [2013-09-15 09:47:22] 693*2^1253318-1 is not prime. Res64: BB5A44877152BF2F Time : 0.0 sec. user=mdettweiler [2013-09-15 09:47:22] 731*2^1253318-1 is not prime. Res64: 72283D1D27CBB71F Time : 0.0 sec. user=mdettweiler [2013-09-15 09:53:33] 867*2^1253318-1 is not prime. Res64: 5B394009394F9D98 Time : 0.0 sec. user=mdettweiler [2013-09-15 09:53:33] 897*2^1253318-1 is not prime. Res64: EA178B061F6A96D3 Time : 0.0 sec. user=mdettweiler [2013-09-15 09:57:26] 923*2^1253318-1 is not prime. Res64: 54CC39B740FF3357 Time : 0.0 sec. user=mdettweiler [2013-09-15 09:57:26] 953*2^1253318-1 is not prime. Res64: C53F153388CED63E Time : 0.0 sec. user=mdettweiler [2013-09-15 10:02:55] 977*2^1253318-1 is not prime. Res64: 7BB6FD0329201824 Time : 0.0 sec. user=mdettweiler [2013-09-15 10:02:56] 987*2^1253318-1 is not prime. Res64: 5174C668D0BBE621 Time : 0.0 sec. user=mdettweiler [2013-09-15 10:07:49] 993*2^1253318-1 is not prime. Res64: E744F0B303FB8AE6 Time : 0.0 sec. user=mdettweiler [2013-09-15 10:07:51] 705*2^1253319-1 is not prime. Res64: EBC4F9EE86A2AB2D Time : 0.0 sec. user=mdettweiler [2013-09-15 10:13:05] 763*2^1253319-1 is not prime. Res64: 8E64DC9C9EAB729E Time : 0.0 sec. user=mdettweiler [2013-09-15 10:13:05] 829*2^1253319-1 is not prime. Res64: 712A30DFAF9FCA63 Time : 0.0 sec. user=mdettweiler [2013-09-15 10:18:50] 879*2^1253319-1 is not prime. Res64: 8FC4F63F07D0CF14 Time : 0.0 sec. user=mdettweiler [2013-09-15 10:18:51] 913*2^1253319-1 is not prime. Res64: E4B01612817CB57C Time : 0.0 sec. user=mdettweiler [2013-09-15 10:24:21] 951*2^1253319-1 is not prime. Res64: 4B2902FF275536C8 Time : 0.0 sec. user=mdettweiler [2013-09-15 10:24:21] 979*2^1253319-1 is not prime. Res64: 0D9722262E3C0D21 Time : 0.0 sec. user=mdettweiler [2013-09-15 10:27:21] 645*2^1253320-1 is not prime. Res64: B3854C3EF7DDF4F2 Time : 0.0 sec. user=mdettweiler [2013-09-15 10:27:21] 693*2^1253320-1 is not prime. Res64: A62CB76B407C3308 Time : 0.0 sec. user=mdettweiler [2013-09-15 10:32:31] 839*2^1253320-1 is not prime. Res64: C890C7D31D612C68 Time : 0.0 sec. user=mdettweiler [2013-09-15 10:32:32] 843*2^1253320-1 is not prime. Res64: B49FF81156B677A8 Time : 0.0 sec. user=mdettweiler [2013-09-15 10:38:22] 619*2^1253321-1 is not prime. Res64: 414E7E9D5124728E Time : 0.0 sec. user=mdettweiler [2013-09-15 10:38:22] 715*2^1253321-1 is not prime. Res64: 6FCA921DDB2DB61B Time : 0.0 sec. user=mdettweiler [2013-09-15 10:43:46] 717*2^1253321-1 is not prime. Res64: 8D0ADC6790B72433 Time : 0.0 sec. user=mdettweiler [2013-09-15 10:43:46] 811*2^1253321-1 is not prime. Res64: AF50279B9A5445D4 Time : 0.0 sec. user=mdettweiler [2013-09-15 10:46:46] 861*2^1253321-1 is not prime. Res64: BB86C18F87D55931 Time : 0.0 sec. user=mdettweiler [2013-09-15 10:46:47] 865*2^1253321-1 is not prime. Res64: 5DC563FE1E668C2B Time : 0.0 sec. user=mdettweiler [2013-09-15 10:53:46] 907*2^1253321-1 is not prime. Res64: E0813FB4C8E13654 Time : 0.0 sec. user=mdettweiler [2013-09-15 10:53:46] 939*2^1253321-1 is not prime. Res64: C1DB6804BE9635EC Time : 0.0 sec. user=mdettweiler [2013-09-15 10:57:53] 681*2^1253322-1 is not prime. Res64: 2D677FAB236F8227 Time : 0.0 sec. user=mdettweiler [2013-09-15 10:57:53] 711*2^1253322-1 is not prime. Res64: 9AAC7C16DCA90471 Time : 0.0 sec. user=mdettweiler [2013-09-15 11:03:14] 747*2^1253322-1 is not prime. Res64: F697D1A8392D5352 Time : 0.0 sec. user=mdettweiler [2013-09-15 11:03:15] 801*2^1253322-1 is not prime. Res64: 7FF8C2223F4BD9E4 Time : 0.0 sec. user=mdettweiler [2013-09-15 11:07:09] 833*2^1253322-1 is not prime. Res64: 11229D16FBA76D7C Time : 0.0 sec. user=mdettweiler [2013-09-15 11:07:10] 893*2^1253322-1 is not prime. Res64: 793954237B6D8FB0 Time : 0.0 sec. user=mdettweiler [2013-09-15 11:15:11] 975*2^1253322-1 is not prime. Res64: 34AE827F4242499B Time : 0.0 sec. user=mdettweiler [2013-09-15 11:15:12] 983*2^1253322-1 is not prime. Res64: 73107246F9C61AB9 Time : 0.0 sec. user=mdettweiler [2013-09-15 11:17:25] 609*2^1253323-1 is not prime. Res64: 8536F46AC657A71E Time : 0.0 sec. user=mdettweiler [2013-09-15 11:17:25] 709*2^1253323-1 is not prime. Res64: 9DAFB46CBF55F362 Time : 0.0 sec. user=mdettweiler [2013-09-15 11:22:52] 793*2^1253323-1 is not prime. Res64: CC129AD0977F45B2 Time : 0.0 sec. user=mdettweiler [2013-09-15 11:22:53] 829*2^1253323-1 is not prime. Res64: 5B02B55A54DC3AB3 Time : 0.0 sec. user=mdettweiler [2013-09-15 11:28:39] 883*2^1253323-1 is not prime. Res64: 9715C952CE62381D Time : 0.0 sec. user=mdettweiler [2013-09-15 11:28:40] 969*2^1253323-1 is not prime. Res64: 47CED47883785CA7 Time : 0.0 sec. user=mdettweiler [2013-09-15 11:34:49] 635*2^1253324-1 is not prime. Res64: 607F041075C2E632 Time : 0.0 sec. user=mdettweiler [2013-09-15 11:34:49] 657*2^1253324-1 is not prime. Res64: E59D6996D060D49B Time : 0.0 sec. user=mdettweiler [2013-09-15 11:37:02] 677*2^1253324-1 is not prime. Res64: 9B5F31FD321F3F8B Time : 0.0 sec. user=mdettweiler [2013-09-15 11:37:02] 707*2^1253324-1 is not prime. Res64: ECCCB7C9FA3D5D16 Time : 0.0 sec. user=mdettweiler [2013-09-15 11:43:14] 827*2^1253324-1 is not prime. Res64: 1CF332796662E4D3 Time : 0.0 sec. user=mdettweiler [2013-09-15 11:43:15] 909*2^1253324-1 is not prime. Res64: C9BF4C68E1AF20C4 Time : 0.0 sec. user=mdettweiler [2013-09-15 11:50:02] 945*2^1253324-1 is not prime. Res64: 0181AAE63B04508B Time : 0.0 sec. user=mdettweiler [2013-09-15 11:50:02] 953*2^1253324-1 is not prime. Res64: 2ABFD42C0004AC9C Time : 0.0 sec. user=mdettweiler [2013-09-15 11:54:21] 609*2^1253325-1 is not prime. Res64: 429988D91EC26E2B Time : 0.0 sec. user=mdettweiler [2013-09-15 11:54:22] 717*2^1253325-1 is not prime. Res64: C1B0A401403D5905 Time : 0.0 sec. user=mdettweiler [2013-09-15 11:57:34] 861*2^1253325-1 is not prime. Res64: 62C82DB3C170D11A Time : 0.0 sec. user=mdettweiler [2013-09-15 11:57:34] 937*2^1253325-1 is not prime. Res64: 03BE2FC260C733CD Time : 0.0 sec. user=mdettweiler [2013-09-15 12:04:38] 997*2^1253325-1 is not prime. Res64: 7AD3DDC9098E6162 Time : 0.0 sec. user=mdettweiler [2013-09-15 12:04:40] 999*2^1253325-1 is not prime. Res64: B183F3ECEE9F6CCC Time : 0.0 sec. user=mdettweiler [2013-09-15 12:09:37] 651*2^1253326-1 is not prime. Res64: 5B6BDECF085A60C8 Time : 0.0 sec. user=mdettweiler [2013-09-15 12:09:38] 717*2^1253326-1 is not prime. Res64: A98C90AA4DF00B33 Time : 0.0 sec. user=mdettweiler [2013-09-15 12:13:52] 737*2^1253326-1 is not prime. Res64: B0E163155BF7F7F6 Time : 0.0 sec. user=mdettweiler [2013-09-15 12:13:52] 777*2^1253326-1 is not prime. Res64: 3D7CB85F9B68CEA9 Time : 0.0 sec. user=mdettweiler [2013-09-15 12:18:09] 855*2^1253326-1 is not prime. Res64: 3E5B2C975A9ACBFA Time : 0.0 sec. user=mdettweiler [2013-09-15 12:18:09] 887*2^1253326-1 is not prime. Res64: B1E138B30EFCA37A Time : 0.0 sec. user=mdettweiler [2013-09-15 12:25:14] 891*2^1253326-1 is not prime. Res64: F40E71EE50C692B8 Time : 0.0 sec. user=mdettweiler [2013-09-15 12:25:15] 603*2^1253327-1 is not prime. Res64: DF09A7D29368BE06 Time : 0.0 sec. user=mdettweiler [2013-09-15 12:29:16] 693*2^1253327-1 is not prime. Res64: 88F89380002C9216 Time : 0.0 sec. user=mdettweiler [2013-09-15 12:29:16] 741*2^1253327-1 is not prime. Res64: 93E393DA2B697034 Time : 0.0 sec. user=mdettweiler [2013-09-15 12:33:22] 859*2^1253327-1 is not prime. Res64: 67CA892D027F3A8C Time : 0.0 sec. user=mdettweiler [2013-09-15 12:33:22] 627*2^1253328-1 is not prime. Res64: 1F7C10E8FCCE3FE5 Time : 0.0 sec. user=mdettweiler [2013-09-15 12:39:10] 663*2^1253328-1 is not prime. Res64: 721C7DDE46FB71FE Time : 0.0 sec. user=mdettweiler [2013-09-15 12:39:11] 927*2^1253328-1 is not prime. Res64: 35790B76C28CB54D Time : 0.0 sec. user=mdettweiler [2013-09-15 12:45:36] 685*2^1253329-1 is not prime. Res64: 3F07D5B7B1AE8FD4 Time : 0.0 sec. user=mdettweiler [2013-09-15 12:45:37] 751*2^1253329-1 is not prime. Res64: 47666B7690EED6CF Time : 0.0 sec. user=mdettweiler [2013-09-15 12:49:41] 769*2^1253329-1 is not prime. Res64: D0BFD680623A331E Time : 0.0 sec. user=mdettweiler [2013-09-15 12:49:41] 835*2^1253329-1 is not prime. Res64: 9375299FB293E697 Time : 0.0 sec. user=mdettweiler [2013-09-15 12:54:39] 861*2^1253329-1 is not prime. Res64: 12DEA90D8E6A21CC Time : 0.0 sec. user=mdettweiler [2013-09-15 12:54:39] 867*2^1253329-1 is not prime. Res64: 37D50B6848ED79D7 Time : 0.0 sec. user=mdettweiler [2013-09-15 12:59:19] 641*2^1253330-1 is not prime. Res64: FF41D1F7179315E5 Time : 0.0 sec. user=mdettweiler [2013-09-15 12:59:19] 783*2^1253330-1 is not prime. Res64: AEC034B3C2BF6E31 Time : 0.0 sec. user=mdettweiler [2013-09-15 13:05:23] 801*2^1253330-1 is not prime. Res64: E8A4E414D33938C8 Time : 0.0 sec. user=mdettweiler [2013-09-15 13:05:24] 827*2^1253330-1 is not prime. Res64: 76CBADFEEF0082F1 Time : 0.0 sec. user=mdettweiler [2013-09-15 13:11:20] 885*2^1253330-1 is not prime. Res64: F26780B6A47DEB00 Time : 0.0 sec. user=mdettweiler [2013-09-15 13:11:21] 981*2^1253330-1 is not prime. Res64: B5746537DEC46C43 Time : 0.0 sec. user=mdettweiler [2013-09-15 13:14:23] 639*2^1253331-1 is not prime. Res64: 7033804682A9B720 Time : 0.0 sec. user=mdettweiler [2013-09-15 13:14:23] 649*2^1253331-1 is not prime. Res64: 06264B5AE72F5B66 Time : 0.0 sec. user=mdettweiler [2013-09-15 13:20:06] 651*2^1253331-1 is not prime. Res64: B47708BD4CA6C5B9 Time : 0.0 sec. user=mdettweiler [2013-09-15 13:20:06] 675*2^1253331-1 is not prime. Res64: F7223D469369BC90 Time : 0.0 sec. user=mdettweiler [2013-09-15 13:25:48] 741*2^1253331-1 is not prime. Res64: B92F7ACDB193E738 Time : 0.0 sec. user=mdettweiler [2013-09-15 13:25:48] 769*2^1253331-1 is not prime. Res64: 96731A7AD9AC94DF Time : 0.0 sec. user=mdettweiler [2013-09-15 13:33:45] 955*2^1253331-1 is not prime. Res64: 052B4FB6BBB1C3D3 Time : 0.0 sec. user=mdettweiler [2013-09-15 13:33:45] 991*2^1253331-1 is not prime. Res64: C2EECE22DDA9C90C Time : 0.0 sec. user=mdettweiler [2013-09-15 13:35:22] 629*2^1253332-1 is not prime. Res64: 0F26297C5CD64E95 Time : 0.0 sec. user=mdettweiler [2013-09-15 13:35:23] 665*2^1253332-1 is not prime. Res64: B5926B2906EF652A Time : 0.0 sec. user=mdettweiler [2013-09-15 13:40:06] 699*2^1253332-1 is not prime. Res64: F221C8D4422C3336 Time : 0.0 sec. user=mdettweiler [2013-09-15 13:40:06] 749*2^1253332-1 is not prime. Res64: 30C6F5A4479B1074 Time : 0.0 sec. user=mdettweiler [2013-09-15 13:47:31] 875*2^1253332-1 is not prime. Res64: C444E50161FA9FD1 Time : 0.0 sec. user=mdettweiler [2013-09-15 13:47:32] 965*2^1253332-1 is not prime. Res64: 73EF5E5AA2249BB6 Time : 0.0 sec. user=mdettweiler [2013-09-15 13:53:29] 627*2^1253333-1 is not prime. Res64: 7FF4A4E949FCE03D Time : 0.0 sec. user=mdettweiler [2013-09-15 13:53:29] 781*2^1253333-1 is not prime. Res64: B69B191044EC7B40 Time : 0.0 sec. user=mdettweiler [2013-09-15 13:55:03] 801*2^1253333-1 is not prime. Res64: F7D3CAB73B447F55 Time : 0.0 sec. user=mdettweiler [2013-09-15 13:55:04] 855*2^1253333-1 is not prime. Res64: EF6E1D0051FE08A7 Time : 0.0 sec. user=mdettweiler [2013-09-15 14:01:38] 867*2^1253333-1 is not prime. Res64: 210E967A72FD63FE Time : 0.0 sec. user=mdettweiler [2013-09-15 14:01:39] 889*2^1253333-1 is not prime. Res64: C523CFE52A7F9E4C Time : 0.0 sec. user=mdettweiler [2013-09-15 14:08:10] 971*2^1253334-1 is not prime. Res64: 47F5834B44563B52 Time : 0.0 sec. user=mdettweiler [2013-09-15 14:08:11] 609*2^1253335-1 is not prime. Res64: DD37BFDB308F0512 Time : 0.0 sec. user=mdettweiler [2013-09-15 14:13:13] 639*2^1253335-1 is not prime. Res64: 3DA58EDB68E889C1 Time : 0.0 sec. user=mdettweiler [2013-09-15 14:13:14] 853*2^1253335-1 is not prime. Res64: 3FFC2F2A734D21C9 Time : 0.0 sec. user=mdettweiler [2013-09-15 14:14:46] 859*2^1253335-1 is not prime. Res64: 4EBF65C33FFFCA1E Time : 0.0 sec. user=mdettweiler [2013-09-15 14:14:46] 861*2^1253335-1 is not prime. Res64: 4BA8CD8440394CE3 Time : 0.0 sec. user=mdettweiler [2013-09-15 14:23:16] 871*2^1253335-1 is not prime. Res64: 3850F48B7B47565F Time : 0.0 sec. user=mdettweiler [2013-09-15 14:23:17] 933*2^1253335-1 is not prime. Res64: 916B7C6F67074631 Time : 0.0 sec. user=mdettweiler [2013-09-15 14:28:50] 979*2^1253335-1 is not prime. Res64: 1159025D97708730 Time : 0.0 sec. user=mdettweiler [2013-09-15 14:28:51] 615*2^1253336-1 is not prime. Res64: 0ADAADB0EC8D47DD Time : 0.0 sec. user=mdettweiler [2013-09-15 14:32:59] 629*2^1253336-1 is not prime. Res64: 05E238C53F06E2EA Time : 0.0 sec. user=mdettweiler [2013-09-15 14:32:59] 635*2^1253336-1 is not prime. Res64: D898CC7F85C4D834 Time : 0.0 sec. user=mdettweiler [2013-09-15 14:34:24] 663*2^1253336-1 is not prime. Res64: 4D36503D1128D1F3 Time : 0.0 sec. user=mdettweiler [2013-09-15 14:34:24] 735*2^1253336-1 is not prime. Res64: 66650687A8F73580 Time : 0.0 sec. user=mdettweiler [2013-09-15 14:43:51] 747*2^1253336-1 is not prime. Res64: 47007206CA15F996 Time : 0.0 sec. user=mdettweiler [2013-09-15 14:43:51] 875*2^1253336-1 is not prime. Res64: B381534FAC97EBC5 Time : 0.0 sec. user=mdettweiler [2013-09-15 14:50:29] 903*2^1253336-1 is not prime. Res64: F688BEC22808508D Time : 0.0 sec. user=mdettweiler [2013-09-15 14:50:30] 935*2^1253336-1 is not prime. Res64: 501F96FF0C63A930 Time : 0.0 sec. user=mdettweiler [2013-09-15 14:52:42] 651*2^1253337-1 is not prime. Res64: E81898103B11B15E Time : 0.0 sec. user=mdettweiler [2013-09-15 14:52:42] 747*2^1253337-1 is not prime. Res64: 2A7BE64370142DA1 Time : 0.0 sec. user=mdettweiler [2013-09-15 14:54:07] 805*2^1253337-1 is not prime. Res64: 4E3C9596D9BF830F Time : 0.0 sec. user=mdettweiler [2013-09-15 14:54:08] 829*2^1253337-1 is not prime. Res64: 111E6FADDF99D67A Time : 0.0 sec. user=mdettweiler [2013-09-15 15:05:23] 919*2^1253337-1 is not prime. Res64: 833811CA322A0540 Time : 0.0 sec. user=mdettweiler [2013-09-15 15:05:24] 945*2^1253337-1 is not prime. Res64: BD4299C13B317D69 Time : 0.0 sec. user=mdettweiler [2013-09-15 15:10:22] 605*2^1253338-1 is not prime. Res64: B20C71501A62C3A0 Time : 0.0 sec. user=mdettweiler [2013-09-15 15:10:22] 611*2^1253338-1 is not prime. Res64: C30451CAD2FF8358 Time : 0.0 sec. user=mdettweiler [2013-09-15 15:12:38] 623*2^1253338-1 is not prime. Res64: B0F8A905C87D86F7 Time : 0.0 sec. user=mdettweiler [2013-09-15 15:12:39] 705*2^1253338-1 is not prime. Res64: 869665FC5C397F8B Time : 0.0 sec. user=mdettweiler [2013-09-15 15:14:50] 773*2^1253338-1 is not prime. Res64: 2EF265101E21204F Time : 0.0 sec. user=mdettweiler [2013-09-15 15:14:51] 945*2^1253338-1 is not prime. Res64: AE34B8868BD2F887 Time : 0.0 sec. user=mdettweiler [2013-09-15 15:27:37] 971*2^1253338-1 is not prime. Res64: 8AB7F8B8D5F86050 Time : 0.0 sec. user=mdettweiler [2013-09-15 15:27:37] 975*2^1253338-1 is not prime. Res64: 3DBAE740C8C73F45 Time : 0.0 sec. user=mdettweiler [2013-09-15 15:31:29] 981*2^1253338-1 is not prime. Res64: ECD2319684E74E20 Time : 0.0 sec. user=mdettweiler [2013-09-15 15:31:29] 825*2^1253339-1 is not prime. Res64: DB3803543DD4A5B9 Time : 0.0 sec. user=mdettweiler [2013-09-15 15:34:06] 861*2^1253339-1 is not prime. Res64: 7035DFE465AA3873 Time : 0.0 sec. user=mdettweiler [2013-09-15 15:34:06] 879*2^1253339-1 is not prime. Res64: 18623CBE4310F2C3 Time : 0.0 sec. user=mdettweiler [2013-09-15 15:38:03] 903*2^1253339-1 is not prime. Res64: B35BA4639E620901 Time : 0.0 sec. user=mdettweiler [2013-09-15 15:38:03] 943*2^1253339-1 is not prime. Res64: 923ECEB3D85DC9FC Time : 0.0 sec. user=mdettweiler [2013-09-15 15:50:54] 735*2^1253340-1 is not prime. Res64: 9962F7BF5A3D50BA Time : 0.0 sec. user=mdettweiler [2013-09-15 15:50:54] 767*2^1253340-1 is not prime. Res64: C5DDB7340B372B4B Time : 0.0 sec. user=mdettweiler [2013-09-15 15:55:43] 857*2^1253340-1 is not prime. Res64: F6E924166A73B593 Time : 0.0 sec. user=mdettweiler [2013-09-15 15:55:43] 899*2^1253340-1 is not prime. Res64: 3BF0C359686820F5 Time : 0.0 sec. user=mdettweiler [2013-09-15 15:59:57] 923*2^1253340-1 is not prime. Res64: D7F55FF7F862EE39 Time : 0.0 sec. user=mdettweiler [2013-09-15 15:59:57] 957*2^1253340-1 is not prime. Res64: 254E6F38898F2D60 Time : 0.0 sec. user=mdettweiler [2013-09-15 16:01:50] 975*2^1253340-1 is not prime. Res64: E133E0CB5F926DCA Time : 0.0 sec. user=mdettweiler [2013-09-15 16:01:51] 625*2^1253341-1 is not prime. Res64: 3CB36F343706FF31 Time : 0.0 sec. user=mdettweiler [2013-09-15 16:12:22] 747*2^1253341-1 is not prime. Res64: FB84B16E3D5A29AF Time : 0.0 sec. user=mdettweiler [2013-09-15 16:12:22] 799*2^1253341-1 is not prime. Res64: 5ECC8D254EB7A92E Time : 0.0 sec. user=mdettweiler [2013-09-15 16:19:21] 871*2^1253341-1 is not prime. Res64: 8D54C7DFC8AEDFB8 Time : 0.0 sec. user=mdettweiler [2013-09-15 16:19:22] 925*2^1253341-1 is not prime. Res64: BFB308849431E82A Time : 0.0 sec. user=mdettweiler [2013-09-15 16:22:36] 945*2^1253341-1 is not prime. Res64: D63ED7CD9602AC3E Time : 0.0 sec. user=mdettweiler [2013-09-15 16:22:37] 741*2^1253342-1 is not prime. Res64: E4AF01DAE46533D1 Time : 0.0 sec. user=mdettweiler [2013-09-15 16:23:34] 747*2^1253342-1 is not prime. Res64: AED6DC226D2CCB1B Time : 0.0 sec. user=mdettweiler [2013-09-15 16:23:34] 827*2^1253342-1 is not prime. Res64: 1B3CBA27C2803919 Time : 0.0 sec. user=mdettweiler [2013-09-15 16:35:04] 897*2^1253342-1 is not prime. Res64: 2ACD226C28F5D495 Time : 0.0 sec. user=mdettweiler [2013-09-15 16:35:04] 649*2^1253343-1 is not prime. Res64: 2F1CBEBEFB3B7B98 Time : 0.0 sec. user=mdettweiler [2013-09-15 16:40:44] 703*2^1253343-1 is not prime. Res64: EDD4F3E653160C7D Time : 0.0 sec. user=mdettweiler [2013-09-15 16:40:44] 741*2^1253343-1 is not prime. Res64: E216DAC5B9566762 Time : 0.0 sec. user=mdettweiler [2013-09-15 16:44:40] 853*2^1253343-1 is not prime. Res64: 109CC73617306FEF Time : 0.0 sec. user=mdettweiler [2013-09-15 16:44:40] 901*2^1253343-1 is not prime. Res64: 144964239DB9CD03 Time : 0.0 sec. user=mdettweiler [2013-09-15 16:46:32] 933*2^1253343-1 is not prime. Res64: 1A9DB6871BEC6A6B Time : 0.0 sec. user=mdettweiler [2013-09-15 16:46:32] 985*2^1253343-1 is not prime. Res64: FCBC4ABC4B9DE0E1 Time : 0.0 sec. user=mdettweiler [2013-09-15 16:55:37] 615*2^1253344-1 is not prime. Res64: 485E5325FF2DB08B Time : 0.0 sec. user=mdettweiler [2013-09-15 16:55:38] 663*2^1253344-1 is not prime. Res64: 89175805E5910435 Time : 0.0 sec. user=mdettweiler [2013-09-15 17:01:22] 707*2^1253344-1 is not prime. Res64: E6C22B8D93CD0065 Time : 0.0 sec. user=mdettweiler [2013-09-15 17:01:23] 803*2^1253344-1 is not prime. Res64: EF0F0EE9F3B84D23 Time : 0.0 sec. user=mdettweiler [2013-09-15 17:06:41] 855*2^1253344-1 is not prime. Res64: 96652BB8F75B3300 Time : 0.0 sec. user=mdettweiler [2013-09-15 17:06:41] 897*2^1253344-1 is not prime. Res64: 905A26F930FB5069 Time : 0.0 sec. user=mdettweiler [2013-09-15 17:07:38] 645*2^1253345-1 is not prime. Res64: 6F50A98437BD959E Time : 0.0 sec. user=mdettweiler [2013-09-15 17:07:39] 657*2^1253345-1 is not prime. Res64: 133936EF4BCD1DD7 Time : 0.0 sec. user=mdettweiler [2013-09-15 17:16:45] 705*2^1253345-1 is not prime. Res64: B5962A45CAD3488D Time : 0.0 sec. user=mdettweiler [2013-09-15 17:16:45] 721*2^1253345-1 is not prime. Res64: 032A3BA41E105B35 Time : 0.0 sec. user=mdettweiler [2013-09-15 17:25:00] 909*2^1253345-1 is not prime. Res64: 325B921762BE751F Time : 0.0 sec. user=mdettweiler [2013-09-15 17:25:00] 969*2^1253345-1 is not prime. Res64: EF94BAB9970A31E3 Time : 0.0 sec. user=juhehe [2013-09-15 17:26:05] 813*2^1253344-1 is not prime. Res64: 3C16F5ED768CE516 Time : 0.0 sec. user=mdettweiler [2013-09-15 17:27:58] 635*2^1253346-1 is not prime. Res64: 755D3F6AD4276435 Time : 0.0 sec. user=mdettweiler [2013-09-15 17:27:58] 683*2^1253346-1 is not prime. Res64: 01CDFE861DA17A82 Time : 0.0 sec. user=mdettweiler [2013-09-15 17:28:59] 765*2^1253346-1 is not prime. Res64: 29C74E40CAEF349A Time : 0.0 sec. user=mdettweiler [2013-09-15 17:28:59] 843*2^1253346-1 is not prime. Res64: 4604D1AD70B3BBD8 Time : 0.0 sec. user=mdettweiler [2013-09-15 17:40:00] 887*2^1253346-1 is not prime. Res64: AFF9401EF0CD86E6 Time : 0.0 sec. user=mdettweiler [2013-09-15 17:40:01] 983*2^1253346-1 is not prime. Res64: 716F12F5DC3CB91A Time : 0.0 sec. user=mdettweiler [2013-09-15 17:46:12] 619*2^1253347-1 is not prime. Res64: A93D366751D60E78 Time : 0.0 sec. user=mdettweiler [2013-09-15 17:46:13] 649*2^1253347-1 is not prime. Res64: 7747343A997D5984 Time : 0.0 sec. user=mdettweiler [2013-09-15 17:50:06] 861*2^1253347-1 is not prime. Res64: E45E1EBA20CCB4B2 Time : 0.0 sec. user=mdettweiler [2013-09-15 17:50:07] 873*2^1253347-1 is not prime. Res64: FA92E0AC04B8F8EE Time : 0.0 sec. user=mdettweiler [2013-09-15 17:50:14] 647*2^1253348-1 is not prime. Res64: CA661029939B2853 Time : 0.0 sec. user=mdettweiler [2013-09-15 17:50:15] 677*2^1253348-1 is not prime. Res64: CC73C066E2575833 Time : 0.0 sec. user=mdettweiler [2013-09-15 18:03:00] 869*2^1253348-1 is not prime. Res64: B05E62D518E62B1F Time : 0.0 sec. user=mdettweiler [2013-09-15 18:03:01] 875*2^1253348-1 is not prime. Res64: 65083A8F4280E6F8 Time : 0.0 sec. user=mdettweiler [2013-09-15 18:08:51] 899*2^1253348-1 is not prime. Res64: 3BA51365DC3B1DB5 Time : 0.0 sec. user=mdettweiler [2013-09-15 18:08:51] 909*2^1253348-1 is not prime. Res64: 75775136CF04A0EF Time : 0.0 sec. user=mdettweiler [2013-09-15 18:10:40] 601*2^1253349-1 is not prime. Res64: B67194BC4CB51A64 Time : 0.0 sec. user=mdettweiler [2013-09-15 18:10:41] 685*2^1253349-1 is not prime. Res64: E4E3D1F595B24B68 Time : 0.0 sec. user=mdettweiler [2013-09-15 18:12:41] 927*2^1253349-1 is not prime. Res64: 803FEE2F4B1F0DA9 Time : 0.0 sec. user=mdettweiler [2013-09-15 18:12:41] 985*2^1253349-1 is not prime. Res64: D9D5A1D6B70433D5 Time : 0.0 sec. user=mdettweiler [2013-09-15 18:23:10] 755*2^1253350-1 is not prime. Res64: 8689A4218717E88F Time : 0.0 sec. user=mdettweiler [2013-09-15 18:23:11] 855*2^1253350-1 is not prime. Res64: FEA9095CF58C94F9 Time : 0.0 sec. user=mdettweiler [2013-09-15 18:30:47] 601*2^1253351-1 is not prime. Res64: 6362898E02AEADD7 Time : 0.0 sec. user=mdettweiler [2013-09-15 18:30:47] 711*2^1253351-1 is not prime. Res64: E7A61A448033FD06 Time : 0.0 sec. user=mdettweiler [2013-09-15 18:30:54] 873*2^1253350-1 is not prime. Res64: F5CE6C1C663E5C9A Time : 0.0 sec. user=mdettweiler [2013-09-15 18:30:54] 941*2^1253350-1 is not prime. Res64: 1CC664CE80BB8032 Time : 0.0 sec. user=mdettweiler [2013-09-15 18:32:45] 715*2^1253351-1 is not prime. Res64: C7DA84291E5D81CA Time : 0.0 sec. user=mdettweiler [2013-09-15 18:32:45] 745*2^1253351-1 is not prime. Res64: 4229F82E25D51A90 Time : 0.0 sec. user=mdettweiler [2013-09-15 18:44:16] 895*2^1253351-1 is not prime. Res64: 0AA98945E11475D9 Time : 0.0 sec. user=mdettweiler [2013-09-15 18:44:16] 629*2^1253352-1 is not prime. Res64: 63FDC0D419E36DBE Time : 0.0 sec. user=mdettweiler [2013-09-15 18:50:58] 607*2^1253353-1 is not prime. Res64: E41CA9BB4460A916 Time : 0.0 sec. user=mdettweiler [2013-09-15 18:50:58] 615*2^1253353-1 is not prime. Res64: F71CB4BE1F311A62 Time : 0.0 sec. user=mdettweiler [2013-09-15 18:51:49] 753*2^1253352-1 is not prime. Res64: 8FADC627F4CF61ED Time : 0.0 sec. user=mdettweiler [2013-09-15 18:51:49] 903*2^1253352-1 is not prime. Res64: 99E677474ADDED1D Time : 0.0 sec. user=mdettweiler [2013-09-15 18:52:47] 637*2^1253353-1 is not prime. Res64: 3962DA8EA62077FC Time : 0.0 sec. user=mdettweiler [2013-09-15 18:52:48] 649*2^1253353-1 is not prime. Res64: DAC69C1C8C4A3104 Time : 0.0 sec. user=juhehe [2013-09-15 18:54:30] 885*2^1253348-1 is not prime. Res64: 9D5671E42C92492B Time : 0.0 sec. user=mdettweiler [2013-09-15 19:04:16] 691*2^1253353-1 is not prime. Res64: 9144F6C744C45E51 Time : 0.0 sec. user=mdettweiler [2013-09-15 19:04:17] 807*2^1253353-1 is not prime. Res64: B202A02005F2312F Time : 0.0 sec. user=mdettweiler [2013-09-15 19:11:50] 617*2^1253354-1 is not prime. Res64: 0B7A7F6F87662090 Time : 0.0 sec. user=mdettweiler [2013-09-15 19:11:50] 627*2^1253354-1 is not prime. Res64: F1CAF7E5C4F328AA Time : 0.0 sec. user=mdettweiler [2013-09-15 19:11:59] 987*2^1253353-1 is not prime. Res64: 0F7D7CF0E52077DC Time : 0.0 sec. user=mdettweiler [2013-09-15 19:12:00] 615*2^1253354-1 is not prime. Res64: 1C5A970A4C12930C Time : 0.0 sec. user=mdettweiler [2013-09-15 19:13:01] 711*2^1253354-1 is not prime. Res64: 952A1EA8EB0D2363 Time : 0.0 sec. user=mdettweiler [2013-09-15 19:13:01] 753*2^1253354-1 is not prime. Res64: ACD3B20143452C14 Time : 0.0 sec. user=mdettweiler [2013-09-15 19:25:22] 767*2^1253354-1 is not prime. Res64: 29709D9EFF1CBF17 Time : 0.0 sec. user=mdettweiler [2013-09-15 19:25:23] 875*2^1253354-1 is not prime. Res64: 2DC921EF93D0170A Time : 0.0 sec. user=mdettweiler [2013-09-15 19:32:56] 951*2^1253354-1 is not prime. Res64: B6EE9D92854BC414 Time : 0.0 sec. user=mdettweiler [2013-09-15 19:32:57] 679*2^1253355-1 is not prime. Res64: 3A9D43FAB9C4ADF5 Time : 0.0 sec. user=mdettweiler [2013-09-15 19:33:02] 615*2^1253356-1 is not prime. Res64: 3E203826CF0B1DFF Time : 0.0 sec. user=mdettweiler [2013-09-15 19:33:02] 855*2^1253356-1 is not prime. Res64: D8C6A0A75A67ADFB Time : 0.0 sec. user=mdettweiler [2013-09-15 19:33:05] 823*2^1253355-1 is not prime. Res64: 59542D0C611E7B20 Time : 0.0 sec. user=mdettweiler [2013-09-15 19:33:06] 873*2^1253355-1 is not prime. Res64: F94B97A511400327 Time : 0.0 sec. user=mdettweiler [2013-09-15 19:47:17] 873*2^1253356-1 is not prime. Res64: FC9F577D42AD3D92 Time : 0.0 sec. user=mdettweiler [2013-09-15 19:47:18] 887*2^1253356-1 is not prime. Res64: C9AB2AF3DF6200E3 Time : 0.0 sec. user=mdettweiler [2013-09-15 19:53:52] 989*2^1253356-1 is not prime. Res64: 42D43AAC5FE1408E Time : 0.0 sec. user=mdettweiler [2013-09-15 19:53:53] 651*2^1253357-1 is not prime. Res64: 3D7F897B8F66DD67 Time : 0.0 sec. user=mdettweiler [2013-09-15 19:54:06] 697*2^1253357-1 is not prime. Res64: 3E355A9F15930B24 Time : 0.0 sec. user=mdettweiler [2013-09-15 19:54:06] 955*2^1253357-1 is not prime. Res64: 918ED9026F447741 Time : 0.0 sec. user=mdettweiler [2013-09-15 19:54:44] 899*2^1253356-1 is not prime. Res64: E6777A8293225093 Time : 0.0 sec. user=mdettweiler [2013-09-15 19:54:44] 909*2^1253356-1 is not prime. Res64: F42650A41EDD296A Time : 0.0 sec. user=mdettweiler [2013-09-15 20:08:08] 957*2^1253357-1 is not prime. Res64: 378636576FBF4285 Time : 0.0 sec. user=mdettweiler [2013-09-15 20:08:08] 651*2^1253358-1 is not prime. Res64: 61954CD926EEABD1 Time : 0.0 sec. user=mdettweiler [2013-09-15 20:13:47] 671*2^1253358-1 is not prime. Res64: 5FA014E6394AF611 Time : 0.0 sec. user=mdettweiler [2013-09-15 20:13:47] 713*2^1253358-1 is not prime. Res64: 982356635AC4CEB1 Time : 0.0 sec. user=mdettweiler [2013-09-15 20:14:05] 755*2^1253358-1 is not prime. Res64: 06F535C8F43868A3 Time : 0.0 sec. user=mdettweiler [2013-09-15 20:14:06] 767*2^1253358-1 is not prime. Res64: AD1DEB2931553143 Time : 0.0 sec. user=mdettweiler [2013-09-15 20:14:43] 615*2^1253359-1 is not prime. Res64: B6098B0AFF508701 Time : 0.0 sec. user=mdettweiler [2013-09-15 20:14:43] 811*2^1253359-1 is not prime. Res64: AF92B1BEE675FC03 Time : 0.0 sec. user=mdettweiler [2013-09-15 20:28:06] 831*2^1253359-1 is not prime. Res64: 8117738ECF463831 Time : 0.0 sec. user=mdettweiler [2013-09-15 20:28:06] 843*2^1253359-1 is not prime. Res64: A514A9320748F4E6 Time : 0.0 sec. user=mdettweiler [2013-09-15 20:34:03] 633*2^1253360-1 is not prime. Res64: 420A69CA893CE6B3 Time : 0.0 sec. user=mdettweiler [2013-09-15 20:34:04] 753*2^1253360-1 is not prime. Res64: 8DFC8D7C24D3B072 Time : 0.0 sec. user=mdettweiler [2013-09-15 20:35:40] 843*2^1253360-1 is not prime. Res64: 74B3582295C05258 Time : 0.0 sec. user=mdettweiler [2013-09-15 20:35:41] 923*2^1253360-1 is not prime. Res64: DA35401281395169 Time : 0.0 sec. user=mdettweiler [2013-09-15 20:35:45] 909*2^1253359-1 is not prime. Res64: 00AF1B56BD1A1185 Time : 0.0 sec. user=mdettweiler [2013-09-15 20:35:45] 939*2^1253359-1 is not prime. Res64: C3A81E5FC1BB3D6B Time : 0.0 sec. user=mdettweiler [2013-09-15 20:48:01] 607*2^1253361-1 is not prime. Res64: 4C0A0C9A4F694D5C Time : 0.0 sec. user=mdettweiler [2013-09-15 20:48:01] 679*2^1253361-1 is not prime. Res64: E2F133C0BA2623B7 Time : 0.0 sec. user=mdettweiler [2013-09-15 20:53:58] 705*2^1253361-1 is not prime. Res64: 4D295BD9B2E8C007 Time : 0.0 sec. user=mdettweiler [2013-09-15 20:53:58] 811*2^1253361-1 is not prime. Res64: B68DD2D1FFC804BA Time : 0.0 sec. user=mdettweiler [2013-09-15 20:55:35] 651*2^1253362-1 is not prime. Res64: 8CBE5E42E11F3BBB Time : 0.0 sec. user=mdettweiler [2013-09-15 20:55:35] 741*2^1253362-1 is not prime. Res64: 3B5FBF031C042B9D Time : 0.0 sec. user=mdettweiler [2013-09-15 20:55:52] 843*2^1253362-1 is not prime. Res64: 77C4330A75153D62 Time : 0.0 sec. user=mdettweiler [2013-09-15 20:55:52] 855*2^1253362-1 is not prime. Res64: 0F49449F40D20375 Time : 0.0 sec. user=mdettweiler [2013-09-15 21:09:12] 873*2^1253362-1 is not prime. Res64: EBF9D870864E449F Time : 0.0 sec. user=mdettweiler [2013-09-15 21:09:13] 615*2^1253363-1 is not prime. Res64: 71F52E72D1EA942B Time : 0.0 sec. user=mdettweiler [2013-09-15 21:13:53] 699*2^1253363-1 is not prime. Res64: C1DF2B0096C96922 Time : 0.0 sec. user=mdettweiler [2013-09-15 21:13:53] 703*2^1253363-1 is not prime. Res64: 50DD8294B6195201 Time : 0.0 sec. user=mdettweiler [2013-09-15 21:15:33] 715*2^1253363-1 is not prime. Res64: 2E26B3AD66781791 Time : 0.0 sec. user=mdettweiler [2013-09-15 21:15:34] 753*2^1253363-1 is not prime. Res64: FB60F9A3776215E3 Time : 0.0 sec. user=mdettweiler [2013-09-15 21:15:54] 805*2^1253363-1 is not prime. Res64: 5C6AE79B81325A5B Time : 0.0 sec. user=mdettweiler [2013-09-15 21:15:55] 861*2^1253363-1 is not prime. Res64: 3DC98C514CA252BB Time : 0.0 sec. user=mdettweiler [2013-09-15 21:31:01] 871*2^1253363-1 is not prime. Res64: 98CB4AA9210FDA0B Time : 0.0 sec. user=mdettweiler [2013-09-15 21:31:02] 993*2^1253363-1 is not prime. Res64: 41D7F168F21A27F5 Time : 0.0 sec. user=mdettweiler [2013-09-15 21:34:51] 999*2^1253363-1 is not prime. Res64: 320A1E2A8AACC2B5 Time : 0.0 sec. user=mdettweiler [2013-09-15 21:34:51] 705*2^1253364-1 is not prime. Res64: 95B8F9E5F6F06126 Time : 0.0 sec. user=mdettweiler [2013-09-15 21:35:37] 707*2^1253364-1 is not prime. Res64: EDF7972D23AC7DB4 Time : 0.0 sec. user=mdettweiler [2013-09-15 21:35:37] 825*2^1253364-1 is not prime. Res64: 215AF6EE221EAAE9 Time : 0.0 sec. user=mdettweiler [2013-09-15 21:37:45] 983*2^1253364-1 is not prime. Res64: C651482BF5ADE9BA Time : 0.0 sec. user=mdettweiler [2013-09-15 21:37:45] 993*2^1253364-1 is not prime. Res64: 8B079DC9A89670B8 Time : 0.0 sec. user=mdettweiler [2013-09-15 21:51:01] 777*2^1253365-1 is not prime. Res64: 33845ADB192F82B5 Time : 0.0 sec. user=mdettweiler [2013-09-15 21:51:01] 819*2^1253365-1 is not prime. Res64: 087755632056FD1F Time : 0.0 sec. user=mdettweiler [2013-09-15 21:55:41] 859*2^1253365-1 is not prime. Res64: D89F23554A40DE13 Time : 0.0 sec. user=mdettweiler [2013-09-15 21:55:41] 867*2^1253365-1 is not prime. Res64: 9E6AB1CF023B71A3 Time : 0.0 sec. user=mdettweiler [2013-09-15 21:57:28] 979*2^1253365-1 is not prime. Res64: F24AEA27D9373217 Time : 0.0 sec. user=mdettweiler [2013-09-15 21:57:28] 999*2^1253365-1 is not prime. Res64: 0134ACFA013DF046 Time : 0.0 sec. user=mdettweiler [2013-09-15 21:57:41] 603*2^1253366-1 is not prime. Res64: A8ADADA82D62AB81 Time : 0.0 sec. user=mdettweiler [2013-09-15 21:57:41] 623*2^1253366-1 is not prime. Res64: 970A0D732FA33287 Time : 0.0 sec. user=mdettweiler [2013-09-15 22:11:00] 675*2^1253366-1 is not prime. Res64: 7864759321638C5C Time : 0.0 sec. user=mdettweiler [2013-09-15 22:11:00] 705*2^1253366-1 is not prime. Res64: 4F664BB686DF8C5B Time : 0.0 sec. user=mdettweiler [2013-09-15 22:15:37] 711*2^1253366-1 is not prime. Res64: 7E2E9AE47809A31F Time : 0.0 sec. user=mdettweiler [2013-09-15 22:15:37] 713*2^1253366-1 is not prime. Res64: C887A736C19D54EF Time : 0.0 sec. user=mdettweiler [2013-09-15 22:17:22] 761*2^1253366-1 is not prime. Res64: D0AFF8C7223F9392 Time : 0.0 sec. user=mdettweiler [2013-09-15 22:17:22] 825*2^1253366-1 is not prime. Res64: 434201283C744297 Time : 0.0 sec. user=mdettweiler [2013-09-15 22:19:32] 903*2^1253366-1 is not prime. Res64: 932C6924D04D8770 Time : 0.0 sec. user=mdettweiler [2013-09-15 22:19:33] 935*2^1253366-1 is not prime. Res64: FF600D1B062D9BB4 Time : 0.0 sec. user=mdettweiler [2013-09-15 22:31:58] 953*2^1253366-1 is not prime. Res64: F506B22B0FA3F23A Time : 0.0 sec. user=mdettweiler [2013-09-15 22:31:59] 625*2^1253367-1 is not prime. Res64: FB7B23105297EC73 Time : 0.0 sec. user=mdettweiler [2013-09-15 22:35:41] 693*2^1253367-1 is not prime. Res64: 99E9B7B6AE2335E0 Time : 0.0 sec. user=mdettweiler [2013-09-15 22:35:42] 751*2^1253367-1 is not prime. Res64: AFDFD2BF88B95E42 Time : 0.0 sec. user=mdettweiler [2013-09-15 22:38:22] 775*2^1253367-1 is not prime. Res64: E894C0FE2D700556 Time : 0.0 sec. user=mdettweiler [2013-09-15 22:38:22] 913*2^1253367-1 is not prime. Res64: B8EDD9730F0EA988 Time : 0.0 sec. user=mdettweiler [2013-09-15 22:41:28] 979*2^1253367-1 is not prime. Res64: 85E957E51DD6B4D7 Time : 0.0 sec. user=mdettweiler [2013-09-15 22:41:29] 991*2^1253367-1 is not prime. Res64: 9537627EAB76DF12 Time : 0.0 sec. user=mdettweiler [2013-09-15 22:51:59] 747*2^1253368-1 is not prime. Res64: F90A2BFF15311CDD Time : 0.0 sec. user=mdettweiler [2013-09-15 22:51:59] 843*2^1253368-1 is not prime. Res64: D2ADDDA49589A57E Time : 0.0 sec. user=mdettweiler [2013-09-15 22:56:36] 957*2^1253368-1 is not prime. Res64: D2A8F8DEA77D893B Time : 0.0 sec. user=mdettweiler [2013-09-15 22:56:36] 601*2^1253369-1 is not prime. Res64: AAE22F260CBBA60B Time : 0.0 sec. user=mdettweiler [2013-09-15 22:58:23] 615*2^1253369-1 is not prime. Res64: 29CD5BFD66EBFA65 Time : 0.0 sec. user=mdettweiler [2013-09-15 22:58:24] 649*2^1253369-1 is not prime. Res64: 6F2671C9B2B7887D Time : 0.0 sec. user=mdettweiler [2013-09-15 23:01:27] 685*2^1253369-1 is not prime. Res64: 7185DE9F5A662DA7 Time : 0.0 sec. user=mdettweiler [2013-09-15 23:01:27] 699*2^1253369-1 is not prime. Res64: FDB32DE617200258 Time : 0.0 sec. user=mdettweiler [2013-09-15 23:13:04] 811*2^1253369-1 is not prime. Res64: A2139239AABD2CC1 Time : 0.0 sec. user=mdettweiler [2013-09-15 23:13:04] 865*2^1253369-1 is not prime. Res64: 19FC774800867F19 Time : 0.0 sec. user=mdettweiler [2013-09-15 23:18:38] 889*2^1253369-1 is not prime. Res64: 4D17CF8BC71FB063 Time : 0.0 sec. user=mdettweiler [2013-09-15 23:18:38] 939*2^1253369-1 is not prime. Res64: C46063C41B9BC3B5 Time : 0.0 sec. user=mdettweiler [2013-09-15 23:20:22] 949*2^1253369-1 is not prime. Res64: 9A5308854E5E8AC1 Time : 0.0 sec. user=mdettweiler [2013-09-15 23:20:22] 987*2^1253369-1 is not prime. Res64: BA43E8FD94FE131C Time : 0.0 sec. user=mdettweiler [2013-09-15 23:21:49] 695*2^1253370-1 is not prime. Res64: FD06D130C3427804 Time : 0.0 sec. user=mdettweiler [2013-09-15 23:21:49] 707*2^1253370-1 is not prime. Res64: 80AFED53D571A5D6 Time : 0.0 sec. user=mdettweiler [2013-09-15 23:34:06] 797*2^1253370-1 is not prime. Res64: 602F8D0642B9C975 Time : 0.0 sec. user=mdettweiler [2013-09-15 23:34:06] 887*2^1253370-1 is not prime. Res64: EE7C088B1FAAB575 Time : 0.0 sec. user=mdettweiler [2013-09-15 23:39:42] 977*2^1253370-1 is not prime. Res64: 8F747EC8F789F9E3 Time : 0.0 sec. user=mdettweiler [2013-09-15 23:39:42] 603*2^1253371-1 is not prime. Res64: EB81DC11BC5E0969 Time : 0.0 sec. user=mdettweiler [2013-09-15 23:40:24] 651*2^1253371-1 is not prime. Res64: 4CE12B5D8C1EAC39 Time : 0.0 sec. user=mdettweiler [2013-09-15 23:40:24] 703*2^1253371-1 is not prime. Res64: E927F7FA4AFDF8AD Time : 0.0 sec. user=mdettweiler [2013-09-15 23:41:49] 741*2^1253371-1 is not prime. Res64: 99F56F3974FE79C7 Time : 0.0 sec. user=mdettweiler [2013-09-15 23:41:49] 861*2^1253371-1 is not prime. Res64: 0C741A5993E083A7 Time : 0.0 sec. user=mdettweiler [2013-09-15 23:55:06] 939*2^1253371-1 is not prime. Res64: 9D21B98040F4AACB Time : 0.0 sec. user=mdettweiler [2013-09-15 23:55:06] 615*2^1253372-1 is not prime. Res64: 386ABD9DE3183B1B Time : 0.0 sec. user=mdettweiler [2013-09-16 00:00:28] 615*2^1253373-1 is not prime. Res64: 457B07D9EE33F6F9 Time : 0.0 sec. user=mdettweiler [2013-09-16 00:00:28] 651*2^1253373-1 is not prime. Res64: D879A0F3D5FB7D41 Time : 0.0 sec. user=mdettweiler [2013-09-16 00:00:40] 717*2^1253372-1 is not prime. Res64: AAD3AD5C1219D11D Time : 0.0 sec. user=mdettweiler [2013-09-16 00:00:41] 957*2^1253372-1 is not prime. Res64: 62F290DF312F899A Time : 0.0 sec.