user=mdettweiler [2015-09-05 00:16:37] 767*2^1408442-1 is not prime. Res64: 9F8C9F847272F90E Time : 0.0 sec. user=mdettweiler [2015-09-05 00:16:37] 675*2^1408442-1 is not prime. Res64: 857F68DB351304E4 Time : 0.0 sec. user=mdettweiler [2015-09-05 00:16:37] 813*2^1408442-1 is not prime. Res64: 6B2D475622CE2E3C Time : 0.0 sec. user=mdettweiler [2015-09-05 00:16:37] 735*2^1408442-1 is not prime. Res64: 0E4D31F6EC05B51E Time : 0.0 sec. user=mdettweiler [2015-09-05 00:17:12] 827*2^1408442-1 is not prime. Res64: 38FC38A03A6422E2 Time : 0.0 sec. user=mdettweiler [2015-09-05 00:17:13] 941*2^1408442-1 is not prime. Res64: 2FEE68A39233D9EC Time : 0.0 sec. user=mdettweiler [2015-09-05 00:17:33] 963*2^1408442-1 is not prime. Res64: AF7346CE83D8FCE9 Time : 0.0 sec. user=mdettweiler [2015-09-05 00:17:33] 783*2^1408443-1 is not prime. Res64: 3A47FAAC69154529 Time : 0.0 sec. user=mdettweiler [2015-09-05 00:34:28] 801*2^1408443-1 is not prime. Res64: 937155748EB09647 Time : 0.0 sec. user=mdettweiler [2015-09-05 00:34:29] 805*2^1408443-1 is not prime. Res64: 16CE5CCBD090F021 Time : 0.0 sec. user=mdettweiler [2015-09-05 00:34:31] 829*2^1408443-1 is not prime. Res64: B7419665F6F8948C Time : 0.0 sec. user=mdettweiler [2015-09-05 00:34:31] 921*2^1408443-1 is not prime. Res64: 655A826A3FFA6468 Time : 0.0 sec. user=mdettweiler [2015-09-05 00:34:54] 955*2^1408443-1 is not prime. Res64: DD233BA8FABC2150 Time : 0.0 sec. user=mdettweiler [2015-09-05 00:34:54] 985*2^1408443-1 is not prime. Res64: 68862293780F3CB5 Time : 0.0 sec. user=mdettweiler [2015-09-05 00:35:16] 605*2^1408444-1 is not prime. Res64: 302682E4E950969F Time : 0.0 sec. user=mdettweiler [2015-09-05 00:35:16] 687*2^1408444-1 is not prime. Res64: 617EBCF0339B4AE9 Time : 0.0 sec. user=S_K_ [2015-09-05 00:47:34] 957*2^1408441-1 is not prime. Res64: 6796FD5FECCAB4BF Time : 0.0 sec. user=mdettweiler [2015-09-05 00:52:08] 827*2^1408444-1 is not prime. Res64: 8597F15437AF466A Time : 0.0 sec. user=mdettweiler [2015-09-05 00:52:08] 843*2^1408444-1 is not prime. Res64: 11F93F3FE929DAD5 Time : 0.0 sec. user=mdettweiler [2015-09-05 00:52:12] 705*2^1408444-1 is not prime. Res64: 6A3436F7F53BA41B Time : 0.0 sec. user=mdettweiler [2015-09-05 00:52:13] 723*2^1408444-1 is not prime. Res64: EAB7B8EEB9C70226 Time : 0.0 sec. user=mdettweiler [2015-09-05 00:52:30] 899*2^1408444-1 is not prime. Res64: 46D936B16C0B5714 Time : 0.0 sec. user=mdettweiler [2015-09-05 00:52:31] 915*2^1408444-1 is not prime. Res64: 334BB94A916F1327 Time : 0.0 sec. user=mdettweiler [2015-09-05 00:52:54] 965*2^1408444-1 is not prime. Res64: 870E904CE17F5028 Time : 0.0 sec. user=mdettweiler [2015-09-05 00:52:55] 655*2^1408445-1 is not prime. Res64: 66EF719CF68FF048 Time : 0.0 sec. user=mdettweiler [2015-09-05 01:09:47] 657*2^1408445-1 is not prime. Res64: 40E86DE81641C605 Time : 0.0 sec. user=mdettweiler [2015-09-05 01:09:47] 729*2^1408445-1 is not prime. Res64: AD2BB97D0C1274DE Time : 0.0 sec. user=mdettweiler [2015-09-05 01:09:54] 771*2^1408445-1 is not prime. Res64: 5BF6465A90DD0C57 Time : 0.0 sec. user=mdettweiler [2015-09-05 01:09:54] 787*2^1408445-1 is not prime. Res64: 1AF2E304D7FF5B05 Time : 0.0 sec. user=mdettweiler [2015-09-05 01:10:14] 825*2^1408445-1 is not prime. Res64: B6D8953F893E3534 Time : 0.0 sec. user=mdettweiler [2015-09-05 01:10:15] 695*2^1408446-1 is not prime. Res64: 576AF59B0B07374A Time : 0.0 sec. user=mdettweiler [2015-09-05 01:10:32] 815*2^1408446-1 is not prime. Res64: 09A0B45CB0C5F367 Time : 0.0 sec. user=mdettweiler [2015-09-05 01:10:32] 971*2^1408446-1 is not prime. Res64: 63DA10B67A154C68 Time : 0.0 sec. user=mdettweiler [2015-09-05 01:27:33] 983*2^1408446-1 is not prime. Res64: 03A55CB117E7335E Time : 0.0 sec. user=mdettweiler [2015-09-05 01:27:34] 663*2^1408447-1 is not prime. Res64: E525AB1040C474DD Time : 0.0 sec. user=mdettweiler [2015-09-05 01:27:41] 883*2^1408447-1 is not prime. Res64: BB25FA8E64083207 Time : 0.0 sec. user=mdettweiler [2015-09-05 01:27:42] 915*2^1408447-1 is not prime. Res64: 9A4147E72AE48DCD Time : 0.0 sec. user=mdettweiler [2015-09-05 01:27:58] 999*2^1408447-1 is not prime. Res64: E328E6DA67F82CC2 Time : 0.0 sec. user=mdettweiler [2015-09-05 01:27:59] 827*2^1408448-1 is not prime. Res64: D5735658428E6EBC Time : 0.0 sec. user=mdettweiler [2015-09-05 01:28:27] 969*2^1408448-1 is not prime. Res64: 11D85D77971BB4FB Time : 0.0 sec. user=mdettweiler [2015-09-05 01:28:28] 745*2^1408449-1 is not prime. Res64: 163FBD82942A68BD Time : 0.0 sec. user=mdettweiler [2015-09-05 01:45:28] 835*2^1408449-1 is not prime. Res64: 9DB537E9A521C95A Time : 0.0 sec. user=mdettweiler [2015-09-05 01:45:28] 861*2^1408449-1 is not prime. Res64: 152EF6FCCC09D852 Time : 0.0 sec. user=mdettweiler [2015-09-05 01:45:32] 997*2^1408449-1 is not prime. Res64: D08C62958A4F8C69 Time : 0.0 sec. user=mdettweiler [2015-09-05 01:45:33] 635*2^1408450-1 is not prime. Res64: B9F2D86E00B63404 Time : 0.0 sec. user=mdettweiler [2015-09-05 01:45:44] 645*2^1408450-1 is not prime. Res64: E9A952ECC0C70D5B Time : 0.0 sec. user=mdettweiler [2015-09-05 01:45:44] 647*2^1408450-1 is not prime. Res64: 65E3112AF2A5D225 Time : 0.0 sec. user=mdettweiler [2015-09-05 01:46:06] 665*2^1408450-1 is not prime. Res64: 224EF976D769F61D Time : 0.0 sec. user=mdettweiler [2015-09-05 01:46:07] 713*2^1408450-1 is not prime. Res64: 860540E56AB7DEAE Time : 0.0 sec. user=mdettweiler [2015-09-05 02:03:11] 923*2^1408450-1 is not prime. Res64: 4764464432A2CA9C Time : 0.0 sec. user=mdettweiler [2015-09-05 02:03:12] 833*2^1408450-1 is not prime. Res64: 3DD56EA12FFF7A4E Time : 0.0 sec. user=mdettweiler [2015-09-05 02:03:13] 603*2^1408451-1 is not prime. Res64: B086CCEA08D87F95 Time : 0.0 sec. user=mdettweiler [2015-09-05 02:03:13] 867*2^1408450-1 is not prime. Res64: 3E2B3D02905D5214 Time : 0.0 sec. user=mdettweiler [2015-09-05 02:03:21] 619*2^1408451-1 is not prime. Res64: E3C07C74FC752638 Time : 0.0 sec. user=mdettweiler [2015-09-05 02:03:23] 643*2^1408451-1 is not prime. Res64: EAB13C58347B246F Time : 0.0 sec. user=mdettweiler [2015-09-05 02:03:43] 685*2^1408451-1 is not prime. Res64: 7DC7857E45DC8687 Time : 0.0 sec. user=mdettweiler [2015-09-05 02:03:43] 855*2^1408451-1 is not prime. Res64: 5A936688DEC94C3C Time : 0.0 sec. user=mdettweiler [2015-09-05 02:21:20] 981*2^1408451-1 is not prime. Res64: 1E50F2B0E36A8BD9 Time : 0.0 sec. user=mdettweiler [2015-09-05 02:21:20] 767*2^1408452-1 is not prime. Res64: 6B2A57D36890C67F Time : 0.0 sec. user=mdettweiler [2015-09-05 02:21:21] 909*2^1408451-1 is not prime. Res64: 11D3D8C9B47C71BC Time : 0.0 sec. user=mdettweiler [2015-09-05 02:21:22] 605*2^1408452-1 is not prime. Res64: E681C15D9E9E30FC Time : 0.0 sec. user=mdettweiler [2015-09-05 02:21:32] 615*2^1408452-1 is not prime. Res64: D6D04D65381D5C9D Time : 0.0 sec. user=mdettweiler [2015-09-05 02:21:33] 759*2^1408452-1 is not prime. Res64: D9E49713E2C68F82 Time : 0.0 sec. user=mdettweiler [2015-09-05 02:21:36] 837*2^1408452-1 is not prime. Res64: A06D20ECD510EE3A Time : 0.0 sec. user=mdettweiler [2015-09-05 02:21:36] 947*2^1408452-1 is not prime. Res64: 48D01D408DBF2111 Time : 0.0 sec. user=mdettweiler [2015-09-05 02:39:01] 721*2^1408453-1 is not prime. Res64: B8AFEF6C24AEF648 Time : 0.0 sec. user=mdettweiler [2015-09-05 02:39:03] 751*2^1408453-1 is not prime. Res64: 679CBFB7EFA4F793 Time : 0.0 sec. user=mdettweiler [2015-09-05 02:39:04] 609*2^1408453-1 is not prime. Res64: BE2E3602B7282F16 Time : 0.0 sec. user=mdettweiler [2015-09-05 02:39:05] 615*2^1408453-1 is not prime. Res64: C4E1392A852171D6 Time : 0.0 sec. user=mdettweiler [2015-09-05 02:39:09] 867*2^1408453-1 is not prime. Res64: 19FCEBF311173469 Time : 0.0 sec. user=mdettweiler [2015-09-05 02:39:10] 925*2^1408453-1 is not prime. Res64: 63FF993559FF0FCC Time : 0.0 sec. user=mdettweiler [2015-09-05 02:39:15] 939*2^1408453-1 is not prime. Res64: 2117D0455887209C Time : 0.0 sec. user=mdettweiler [2015-09-05 02:39:15] 717*2^1408454-1 is not prime. Res64: 68DFB1F11CEA8E2F Time : 0.0 sec. user=S_K_ [2015-09-05 02:48:24] 987*2^1408452-1 is not prime. Res64: 72DD535C64955CC7 Time : 0.0 sec. user=mdettweiler [2015-09-05 02:56:42] 887*2^1408454-1 is not prime. Res64: 35659F4942D16BF2 Time : 0.0 sec. user=mdettweiler [2015-09-05 02:56:43] 945*2^1408454-1 is not prime. Res64: 06F6ED0840F5EED4 Time : 0.0 sec. user=mdettweiler [2015-09-05 02:56:43] 625*2^1408455-1 is not prime. Res64: 1A16B9BFA1949AFA Time : 0.0 sec. user=mdettweiler [2015-09-05 02:56:44] 773*2^1408454-1 is not prime. Res64: 2870452411360042 Time : 0.0 sec. user=mdettweiler [2015-09-05 02:56:44] 691*2^1408455-1 is not prime. Res64: 824DB4DE80821965 Time : 0.0 sec. user=mdettweiler [2015-09-05 02:56:44] 875*2^1408454-1 is not prime. Res64: A416D58A8F4CBEDF Time : 0.0 sec. user=mdettweiler [2015-09-05 02:56:55] 739*2^1408455-1 is not prime. Res64: F5FDAA744556C293 Time : 0.0 sec. user=mdettweiler [2015-09-05 02:56:55] 805*2^1408455-1 is not prime. Res64: BE367AC92979B53D Time : 0.0 sec. user=mdettweiler [2015-09-05 03:14:27] 629*2^1408456-1 is not prime. Res64: EBCBBD9517C5BC4C Time : 0.0 sec. user=mdettweiler [2015-09-05 03:14:28] 653*2^1408456-1 is not prime. Res64: A3E0323E715DB421 Time : 0.0 sec. user=mdettweiler [2015-09-05 03:14:30] 829*2^1408455-1 is not prime. Res64: CC31140521649331 Time : 0.0 sec. user=mdettweiler [2015-09-05 03:14:31] 623*2^1408456-1 is not prime. Res64: 24288A63E5976C53 Time : 0.0 sec. user=mdettweiler [2015-09-05 03:14:34] 627*2^1408457-1 is not prime. Res64: 9514AE9AC582C978 Time : 0.0 sec. user=mdettweiler [2015-09-05 03:14:35] 909*2^1408457-1 is not prime. Res64: 4F7251B13293D8A0 Time : 0.0 sec. user=mdettweiler [2015-09-05 03:14:38] 719*2^1408456-1 is not prime. Res64: E8E055456DBEB377 Time : 0.0 sec. user=mdettweiler [2015-09-05 03:14:39] 993*2^1408456-1 is not prime. Res64: D1A130B9BBED535B Time : 0.0 sec. user=mdettweiler [2015-09-05 03:32:44] 815*2^1408458-1 is not prime. Res64: B50F4FDD73FE9288 Time : 0.0 sec. user=mdettweiler [2015-09-05 03:32:44] 955*2^1408457-1 is not prime. Res64: 179C8876E977C750 Time : 0.0 sec. user=mdettweiler [2015-09-05 03:32:46] 875*2^1408458-1 is not prime. Res64: CEC485F49137CC51 Time : 0.0 sec. user=mdettweiler [2015-09-05 03:32:47] 605*2^1408458-1 is not prime. Res64: 6F0DF7F2F7E2A075 Time : 0.0 sec. user=mdettweiler [2015-09-05 03:33:10] 885*2^1408458-1 is not prime. Res64: 57795051E3648E6A Time : 0.0 sec. user=mdettweiler [2015-09-05 03:33:11] 887*2^1408458-1 is not prime. Res64: D0BFBBC37CDB7197 Time : 0.0 sec. user=mdettweiler [2015-09-05 03:33:19] 651*2^1408458-1 is not prime. Res64: E82F0EC4FAE7A783 Time : 0.0 sec. user=mdettweiler [2015-09-05 03:33:22] 777*2^1408458-1 is not prime. Res64: 3C505FAA0402DCE4 Time : 0.0 sec. user=mdettweiler [2015-09-05 03:51:00] 703*2^1408459-1 is not prime. Res64: FA4DD08836908571 Time : 0.0 sec. user=mdettweiler [2015-09-05 03:51:02] 873*2^1408459-1 is not prime. Res64: AD61F4625F048D7E Time : 0.0 sec. user=mdettweiler [2015-09-05 03:51:11] 677*2^1408460-1 is not prime. Res64: 495ED4ACD06E9F26 Time : 0.0 sec. user=mdettweiler [2015-09-05 03:51:12] 777*2^1408460-1 is not prime. Res64: 8DA2719A8388938E Time : 0.0 sec. user=mdettweiler [2015-09-05 03:51:13] 753*2^1408460-1 is not prime. Res64: 08BF8E8C6EF0FF20 Time : 0.0 sec. user=mdettweiler [2015-09-05 03:51:14] 789*2^1408460-1 is not prime. Res64: A69F245AC34F6BFB Time : 0.0 sec. user=mdettweiler [2015-09-05 03:51:17] 889*2^1408459-1 is not prime. Res64: EF00DE382E4C8F99 Time : 0.0 sec. user=mdettweiler [2015-09-05 03:51:18] 961*2^1408459-1 is not prime. Res64: AA593A3BE2B4A884 Time : 0.0 sec. user=mdettweiler [2015-09-05 04:08:57] 893*2^1408460-1 is not prime. Res64: 225A1AB971985CD7 Time : 0.0 sec. user=mdettweiler [2015-09-05 04:08:58] 747*2^1408461-1 is not prime. Res64: 8B82406A9C74736A Time : 0.0 sec. user=mdettweiler [2015-09-05 04:08:59] 937*2^1408461-1 is not prime. Res64: CCD622695BEC561F Time : 0.0 sec. user=mdettweiler [2015-09-05 04:09:00] 969*2^1408461-1 is not prime. Res64: B595427C0CFFD38E Time : 0.0 sec. user=mdettweiler [2015-09-05 04:09:09] 839*2^1408460-1 is not prime. Res64: 4FCF01B596714D45 Time : 0.0 sec. user=mdettweiler [2015-09-05 04:09:09] 649*2^1408461-1 is not prime. Res64: BAEE378D5F4F9B45 Time : 0.0 sec. user=mdettweiler [2015-09-05 04:09:11] 817*2^1408461-1 is not prime. Res64: 6C737C3740AC8E35 Time : 0.0 sec. user=mdettweiler [2015-09-05 04:09:12] 835*2^1408461-1 is not prime. Res64: 94549435EE9986E5 Time : 0.0 sec. user=mdettweiler [2015-09-05 04:27:00] 621*2^1408462-1 is not prime. Res64: 662E87D1A8535E27 Time : 0.0 sec. user=mdettweiler [2015-09-05 04:27:00] 747*2^1408462-1 is not prime. Res64: DC74E9D901607D76 Time : 0.0 sec. user=mdettweiler [2015-09-05 04:27:04] 863*2^1408462-1 is not prime. Res64: 204A989EF3BCEACB Time : 0.0 sec. user=mdettweiler [2015-09-05 04:27:04] 915*2^1408462-1 is not prime. Res64: 5894615C656CADDD Time : 0.0 sec. user=mdettweiler [2015-09-05 04:27:04] 881*2^1408462-1 is not prime. Res64: 8EBE6D013E2C6B0E Time : 0.0 sec. user=mdettweiler [2015-09-05 04:27:04] 995*2^1408462-1 is not prime. Res64: AB1FB483B7CB4C8D Time : 0.0 sec. user=mdettweiler [2015-09-05 04:27:07] 775*2^1408463-1 is not prime. Res64: D89D8ADE16AD638B Time : 0.0 sec. user=mdettweiler [2015-09-05 04:27:07] 823*2^1408463-1 is not prime. Res64: 7B7EB661A54FF42E Time : 0.0 sec. user=mdettweiler [2015-09-05 04:44:42] 985*2^1408463-1 is not prime. Res64: D356564CE00F888E Time : 0.0 sec. user=mdettweiler [2015-09-05 04:44:43] 665*2^1408464-1 is not prime. Res64: 19548C69748B3529 Time : 0.0 sec. user=mdettweiler [2015-09-05 04:44:46] 707*2^1408464-1 is not prime. Res64: 53B456442CB0DF32 Time : 0.0 sec. user=mdettweiler [2015-09-05 04:44:46] 759*2^1408464-1 is not prime. Res64: C2E5BDDCF3E98A4A Time : 0.0 sec. user=mdettweiler [2015-09-05 04:44:47] 717*2^1408464-1 is not prime. Res64: 5C98CFEFE9E98370 Time : 0.0 sec. user=mdettweiler [2015-09-05 04:44:47] 969*2^1408464-1 is not prime. Res64: CA444F289754ADE4 Time : 0.0 sec. user=mdettweiler [2015-09-05 04:44:47] 843*2^1408464-1 is not prime. Res64: 46BA8343E71B2749 Time : 0.0 sec. user=mdettweiler [2015-09-05 04:44:47] 983*2^1408464-1 is not prime. Res64: AD6FA2831D50E2F9 Time : 0.0 sec. user=mdettweiler [2015-09-05 05:02:25] 679*2^1408465-1 is not prime. Res64: 207AF6CD1B06A985 Time : 0.0 sec. user=mdettweiler [2015-09-05 05:02:26] 715*2^1408465-1 is not prime. Res64: F8C5DA51E5EEBBF6 Time : 0.0 sec. user=mdettweiler [2015-09-05 05:02:26] 897*2^1408465-1 is not prime. Res64: F81E41A970341D9B Time : 0.0 sec. user=mdettweiler [2015-09-05 05:02:26] 993*2^1408464-1 is not prime. Res64: 131821DFA611503E Time : 0.0 sec. user=mdettweiler [2015-09-05 05:02:27] 951*2^1408465-1 is not prime. Res64: 5A6E858A9204B659 Time : 0.0 sec. user=mdettweiler [2015-09-05 05:02:27] 661*2^1408465-1 is not prime. Res64: E8BBCA44559E789E Time : 0.0 sec. user=mdettweiler [2015-09-05 05:02:32] 765*2^1408465-1 is not prime. Res64: E2E35E8F0235A275 Time : 0.0 sec. user=mdettweiler [2015-09-05 05:02:33] 805*2^1408465-1 is not prime. Res64: 02C5BBF155057321 Time : 0.0 sec. user=S_K_ [2015-09-05 05:02:42] 861*2^1408463-1 is not prime. Res64: A014277A4C405589 Time : 0.0 sec. user=mdettweiler [2015-09-05 05:20:35] 999*2^1408465-1 is not prime. Res64: 35E6F7D1206C3CE8 Time : 0.0 sec. user=mdettweiler [2015-09-05 05:20:36] 675*2^1408466-1 is not prime. Res64: 9ECB18F47DFAC2A0 Time : 0.0 sec. user=mdettweiler [2015-09-05 05:20:39] 735*2^1408466-1 is not prime. Res64: D0408A8338880E33 Time : 0.0 sec. user=mdettweiler [2015-09-05 05:20:40] 901*2^1408467-1 is not prime. Res64: CB10722FC9C7C10C Time : 0.0 sec. user=mdettweiler [2015-09-05 05:20:40] 801*2^1408467-1 is not prime. Res64: 604635137DE3B627 Time : 0.0 sec. user=mdettweiler [2015-09-05 05:20:41] 859*2^1408467-1 is not prime. Res64: 5B076B81322B0414 Time : 0.0 sec. user=mdettweiler [2015-09-05 05:20:46] 843*2^1408466-1 is not prime. Res64: ABCF0D5B99D660CB Time : 0.0 sec. user=mdettweiler [2015-09-05 05:20:47] 711*2^1408467-1 is not prime. Res64: 1EC50BA234FCA4A4 Time : 0.0 sec. user=mdettweiler [2015-09-05 05:38:14] 919*2^1408467-1 is not prime. Res64: B627D47D7F06DEE3 Time : 0.0 sec. user=mdettweiler [2015-09-05 05:38:15] 973*2^1408467-1 is not prime. Res64: F2D9BFFCCD90C1D1 Time : 0.0 sec. user=mdettweiler [2015-09-05 05:38:18] 979*2^1408467-1 is not prime. Res64: 6FF2E4C76A40BFB8 Time : 0.0 sec. user=mdettweiler [2015-09-05 05:38:19] 777*2^1408468-1 is not prime. Res64: 8C8E7D08E420C51A Time : 0.0 sec. user=mdettweiler [2015-09-05 05:38:25] 735*2^1408469-1 is not prime. Res64: C385696E6B9D5BDA Time : 0.0 sec. user=mdettweiler [2015-09-05 05:38:25] 675*2^1408469-1 is not prime. Res64: 63A95F43D0BC614F Time : 0.0 sec. user=mdettweiler [2015-09-05 05:38:26] 771*2^1408469-1 is not prime. Res64: EC24157B2A9334C1 Time : 0.0 sec. user=mdettweiler [2015-09-05 05:38:26] 691*2^1408469-1 is not prime. Res64: 93BFFEFD50F399FB Time : 0.0 sec. user=mdettweiler [2015-09-05 05:55:58] 811*2^1408469-1 is not prime. Res64: F2481188630D944B Time : 0.0 sec. user=mdettweiler [2015-09-05 05:55:59] 865*2^1408469-1 is not prime. Res64: D1FCCADF24601C36 Time : 0.0 sec. user=mdettweiler [2015-09-05 05:56:02] 879*2^1408469-1 is not prime. Res64: 78E17A23AF50A26E Time : 0.0 sec. user=mdettweiler [2015-09-05 05:56:03] 907*2^1408469-1 is not prime. Res64: 05F693BBADCCB357 Time : 0.0 sec. user=mdettweiler [2015-09-05 05:56:04] 635*2^1408470-1 is not prime. Res64: 0F5E72C1AC2E7EBB Time : 0.0 sec. user=mdettweiler [2015-09-05 05:56:05] 651*2^1408470-1 is not prime. Res64: 7F87139FCC26CD8C Time : 0.0 sec. user=mdettweiler [2015-09-05 05:56:13] 747*2^1408470-1 is not prime. Res64: C119C2A6FE2E7CF2 Time : 0.0 sec. user=mdettweiler [2015-09-05 05:56:14] 833*2^1408470-1 is not prime. Res64: 9D7F0D155602B8E5 Time : 0.0 sec. user=mdettweiler [2015-09-05 06:13:32] 709*2^1408471-1 is not prime. Res64: AF11EEFA7FC20A39 Time : 0.0 sec. user=mdettweiler [2015-09-05 06:13:32] 741*2^1408471-1 is not prime. Res64: D7F70DC9D4C9AC3D Time : 0.0 sec. user=mdettweiler [2015-09-05 06:13:39] 819*2^1408471-1 is not prime. Res64: F8D4CE6F6145ABEB Time : 0.0 sec. user=mdettweiler [2015-09-05 06:13:39] 933*2^1408471-1 is not prime. Res64: 46B0FFA7D114CD5B Time : 0.0 sec. user=mdettweiler [2015-09-05 06:13:45] 789*2^1408471-1 is not prime. Res64: 8225AF9EA6E50355 Time : 0.0 sec. user=mdettweiler [2015-09-05 06:13:46] 811*2^1408471-1 is not prime. Res64: 3854E21F35B6D917 Time : 0.0 sec. user=mdettweiler [2015-09-05 06:13:55] 617*2^1408472-1 is not prime. Res64: D6D824773FAB0EA9 Time : 0.0 sec. user=mdettweiler [2015-09-05 06:13:55] 717*2^1408472-1 is not prime. Res64: 79367028E9055D9E Time : 0.0 sec. user=mdettweiler [2015-09-05 06:31:17] 767*2^1408472-1 is not prime. Res64: CD7003AF07F89B69 Time : 0.0 sec. user=mdettweiler [2015-09-05 06:31:17] 825*2^1408472-1 is not prime. Res64: 882B0001026739BD Time : 0.0 sec. user=mdettweiler [2015-09-05 06:31:19] 753*2^1408472-1 is not prime. Res64: 7B2CB0696C69E385 Time : 0.0 sec. user=mdettweiler [2015-09-05 06:31:20] 759*2^1408472-1 is not prime. Res64: 5202528DE4F915A0 Time : 0.0 sec. user=mdettweiler [2015-09-05 06:31:32] 857*2^1408472-1 is not prime. Res64: BCAF11110457308E Time : 0.0 sec. user=mdettweiler [2015-09-05 06:31:32] 999*2^1408472-1 is not prime. Res64: 61C78C55988196F0 Time : 0.0 sec. user=mdettweiler [2015-09-05 06:31:35] 615*2^1408473-1 is not prime. Res64: 6978D3D05BC3EBAF Time : 0.0 sec. user=mdettweiler [2015-09-05 06:31:36] 637*2^1408473-1 is not prime. Res64: 20955E3E87830FC9 Time : 0.0 sec. user=mdettweiler [2015-09-05 06:48:59] 707*2^1408474-1 is not prime. Res64: 69F605D63E3C9B33 Time : 0.0 sec. user=mdettweiler [2015-09-05 06:49:00] 765*2^1408474-1 is not prime. Res64: CC78ED6D05B40918 Time : 0.0 sec. user=mdettweiler [2015-09-05 06:49:04] 789*2^1408473-1 is not prime. Res64: 9AD7E26148E7C203 Time : 0.0 sec. user=mdettweiler [2015-09-05 06:49:05] 657*2^1408474-1 is not prime. Res64: 3011FC8AA0BBD2C1 Time : 0.0 sec. user=mdettweiler [2015-09-05 06:49:18] 983*2^1408474-1 is not prime. Res64: 9BA7E8AB4BF91E07 Time : 0.0 sec. user=mdettweiler [2015-09-05 06:49:18] 675*2^1408475-1 is not prime. Res64: 3A539F0BAD4AACC8 Time : 0.0 sec. user=mdettweiler [2015-09-05 06:49:19] 803*2^1408474-1 is not prime. Res64: 289215739069F9EB Time : 0.0 sec. user=mdettweiler [2015-09-05 06:49:20] 833*2^1408474-1 is not prime. Res64: A9E6FB08022FFE9B Time : 0.0 sec. user=mdettweiler [2015-09-05 07:06:43] 753*2^1408475-1 is not prime. Res64: FE57C7446D974D23 Time : 0.0 sec. user=mdettweiler [2015-09-05 07:06:44] 669*2^1408476-1 is not prime. Res64: 3CABE4291115D52D Time : 0.0 sec. user=mdettweiler [2015-09-05 07:06:45] 705*2^1408476-1 is not prime. Res64: 4480293B36A418D4 Time : 0.0 sec. user=mdettweiler [2015-09-05 07:06:46] 735*2^1408476-1 is not prime. Res64: 53F5F65C95F21099 Time : 0.0 sec. user=mdettweiler [2015-09-05 07:07:00] 779*2^1408476-1 is not prime. Res64: 9563BBB85ADF1D40 Time : 0.0 sec. user=mdettweiler [2015-09-05 07:07:01] 839*2^1408476-1 is not prime. Res64: 73F2E5D455F960A3 Time : 0.0 sec. user=mdettweiler [2015-09-05 07:07:01] 783*2^1408476-1 is not prime. Res64: B5C806457A517FC9 Time : 0.0 sec. user=mdettweiler [2015-09-05 07:07:02] 903*2^1408476-1 is not prime. Res64: 59A6CBB3E4B9848F Time : 0.0 sec. user=mdettweiler [2015-09-05 07:24:48] 625*2^1408477-1 is not prime. Res64: 1735F746D2B94D9F Time : 0.0 sec. user=mdettweiler [2015-09-05 07:24:49] 901*2^1408477-1 is not prime. Res64: 113713DD6FB72EDC Time : 0.0 sec. user=mdettweiler [2015-09-05 07:24:51] 927*2^1408478-1 is not prime. Res64: 378E77264754F9A5 Time : 0.0 sec. user=mdettweiler [2015-09-05 07:24:52] 601*2^1408479-1 is not prime. Res64: 5C3C70FD7AB85EFE Time : 0.0 sec. user=mdettweiler [2015-09-05 07:24:53] 609*2^1408477-1 is not prime. Res64: 847464D4BA36BF61 Time : 0.0 sec. user=mdettweiler [2015-09-05 07:24:53] 699*2^1408477-1 is not prime. Res64: EA79FFDB06779E32 Time : 0.0 sec. user=mdettweiler [2015-09-05 07:24:54] 957*2^1408477-1 is not prime. Res64: 0160AEB3069A372E Time : 0.0 sec. user=mdettweiler [2015-09-05 07:24:54] 603*2^1408478-1 is not prime. Res64: BDA7105B9CA3B2E0 Time : 0.0 sec. user=S_K_ [2015-09-05 07:41:22] 693*2^1408471-1 is not prime. Res64: 5872FB1A4A938B59 Time : 0.0 sec. user=mdettweiler [2015-09-05 07:42:35] 619*2^1408479-1 is not prime. Res64: D3195D29816586C7 Time : 0.0 sec. user=mdettweiler [2015-09-05 07:42:35] 785*2^1408480-1 is not prime. Res64: ACDC01D7DA408192 Time : 0.0 sec. user=mdettweiler [2015-09-05 07:42:35] 873*2^1408480-1 is not prime. Res64: 0E3CBDB76DC35404 Time : 0.0 sec. user=mdettweiler [2015-09-05 07:42:35] 685*2^1408479-1 is not prime. Res64: 14C17538957EB250 Time : 0.0 sec. user=mdettweiler [2015-09-05 07:42:36] 983*2^1408480-1 is not prime. Res64: 7A7A9E3AE60A5BD6 Time : 0.0 sec. user=mdettweiler [2015-09-05 07:42:36] 989*2^1408480-1 is not prime. Res64: C2D37352ECF32419 Time : 0.0 sec. user=mdettweiler [2015-09-05 07:42:44] 859*2^1408479-1 is not prime. Res64: 57E04120A1AE1E9F Time : 0.0 sec. user=mdettweiler [2015-09-05 07:42:44] 777*2^1408480-1 is not prime. Res64: A844A7AD39086FD7 Time : 0.0 sec. user=mdettweiler [2015-09-05 08:00:26] 657*2^1408481-1 is not prime. Res64: D99B0275EF0344B5 Time : 0.0 sec. user=mdettweiler [2015-09-05 08:00:28] 715*2^1408481-1 is not prime. Res64: 731188AF1EF8AA2D Time : 0.0 sec. user=mdettweiler [2015-09-05 08:00:28] 741*2^1408481-1 is not prime. Res64: 80495ED6602DE857 Time : 0.0 sec. user=mdettweiler [2015-09-05 08:00:29] 747*2^1408481-1 is not prime. Res64: 888394E85B852D60 Time : 0.0 sec. user=mdettweiler [2015-09-05 08:00:31] 769*2^1408481-1 is not prime. Res64: 79122CBFA1E79D63 Time : 0.0 sec. user=mdettweiler [2015-09-05 08:00:32] 867*2^1408481-1 is not prime. Res64: A3AC1AA220319ACF Time : 0.0 sec. user=mdettweiler [2015-09-05 08:00:33] 955*2^1408481-1 is not prime. Res64: 3B2AE6243DF1E01F Time : 0.0 sec. user=mdettweiler [2015-09-05 08:00:34] 611*2^1408482-1 is not prime. Res64: D5D05D05C353C244 Time : 0.0 sec. user=juhehe [2015-09-05 08:15:17] 607*2^1408481-1 is not prime. Res64: 22309F734429526E Time : 0.0 sec. user=mdettweiler [2015-09-05 08:18:09] 683*2^1408482-1 is not prime. Res64: 7BF8FD50FFE3D004 Time : 0.0 sec. user=mdettweiler [2015-09-05 08:18:10] 815*2^1408482-1 is not prime. Res64: F88C97F22EAA0636 Time : 0.0 sec. user=mdettweiler [2015-09-05 08:18:18] 649*2^1408483-1 is not prime. Res64: 6872328FC6499401 Time : 0.0 sec. user=mdettweiler [2015-09-05 08:18:18] 769*2^1408483-1 is not prime. Res64: 86436ADE23FF0AA4 Time : 0.0 sec. user=mdettweiler [2015-09-05 08:18:23] 833*2^1408482-1 is not prime. Res64: 2233D821EB6B1B17 Time : 0.0 sec. user=mdettweiler [2015-09-05 08:18:24] 867*2^1408482-1 is not prime. Res64: 4FFE1D9C7A9AF14D Time : 0.0 sec. user=mdettweiler [2015-09-05 08:18:24] 871*2^1408483-1 is not prime. Res64: 38D0D7A66DD3FA78 Time : 0.0 sec. user=mdettweiler [2015-09-05 08:18:25] 609*2^1408484-1 is not prime. Res64: 89F5AB454DD7AD0D Time : 0.0 sec. user=mdettweiler [2015-09-05 08:35:45] 869*2^1408484-1 is not prime. Res64: 8FFF07FC208E9CAF Time : 0.0 sec. user=mdettweiler [2015-09-05 08:35:45] 893*2^1408484-1 is not prime. Res64: A8B37CC8A1B95DA9 Time : 0.0 sec. user=mdettweiler [2015-09-05 08:35:56] 607*2^1408485-1 is not prime. Res64: FF0DF43F801B3748 Time : 0.0 sec. user=mdettweiler [2015-09-05 08:35:57] 717*2^1408485-1 is not prime. Res64: 546FA9CDCCE69330 Time : 0.0 sec. user=mdettweiler [2015-09-05 08:36:06] 951*2^1408485-1 is not prime. Res64: 3A6B20D1E68143DF Time : 0.0 sec. user=mdettweiler [2015-09-05 08:36:06] 969*2^1408485-1 is not prime. Res64: 9D80C0F3871C5011 Time : 0.0 sec. user=mdettweiler [2015-09-05 08:36:09] 781*2^1408485-1 is not prime. Res64: 69DC02465F6715FF Time : 0.0 sec. user=mdettweiler [2015-09-05 08:36:09] 937*2^1408485-1 is not prime. Res64: 1E0EF0CDCACCD4BC Time : 0.0 sec. user=mdettweiler [2015-09-05 08:53:27] 801*2^1408486-1 is not prime. Res64: 637DA3D2AC8F05F3 Time : 0.0 sec. user=mdettweiler [2015-09-05 08:53:28] 891*2^1408486-1 is not prime. Res64: A1E1E85EDB21EC58 Time : 0.0 sec. user=mdettweiler [2015-09-05 08:53:35] 1001*2^1408486-1 is not prime. Res64: FCFB7036C29BEC4B Time : 0.0 sec. user=mdettweiler [2015-09-05 08:53:36] 609*2^1408487-1 is not prime. Res64: 33A22613B863C66A Time : 0.0 sec. user=mdettweiler [2015-09-05 08:53:40] 643*2^1408487-1 is not prime. Res64: 206ABC979A20B1A5 Time : 0.0 sec. user=mdettweiler [2015-09-05 08:53:41] 663*2^1408487-1 is not prime. Res64: 8D258F39AFD37257 Time : 0.0 sec. user=mdettweiler [2015-09-05 08:53:47] 675*2^1408487-1 is not prime. Res64: 97C6A9AF028B4F6A Time : 0.0 sec. user=mdettweiler [2015-09-05 08:53:48] 775*2^1408487-1 is not prime. Res64: 33078A58F07CB98D Time : 0.0 sec. user=mdettweiler [2015-09-05 09:11:02] 813*2^1408487-1 is not prime. Res64: FCAF357563581700 Time : 0.0 sec. user=mdettweiler [2015-09-05 09:11:03] 895*2^1408487-1 is not prime. Res64: 39EFEE1C502A5C2E Time : 0.0 sec. user=mdettweiler [2015-09-05 09:11:12] 909*2^1408487-1 is not prime. Res64: 14E710B01CF63C15 Time : 0.0 sec. user=mdettweiler [2015-09-05 09:11:13] 999*2^1408487-1 is not prime. Res64: E35E6C3309D57445 Time : 0.0 sec. user=mdettweiler [2015-09-05 09:11:15] 605*2^1408488-1 is not prime. Res64: 3F8D05ED32131F86 Time : 0.0 sec. user=mdettweiler [2015-09-05 09:11:16] 627*2^1408488-1 is not prime. Res64: B3CE614BCD6389CE Time : 0.0 sec. user=mdettweiler [2015-09-05 09:11:28] 635*2^1408488-1 is not prime. Res64: 4C479C9D972B288D Time : 0.0 sec. user=mdettweiler [2015-09-05 09:11:29] 669*2^1408488-1 is not prime. Res64: ED18289ED392C8CC Time : 0.0 sec. user=mdettweiler [2015-09-05 09:28:45] 819*2^1408488-1 is not prime. Res64: 1C00132DB9D8D5C3 Time : 0.0 sec. user=mdettweiler [2015-09-05 09:28:46] 837*2^1408488-1 is not prime. Res64: 0285CE63B7FF8711 Time : 0.0 sec. user=mdettweiler [2015-09-05 09:28:52] 839*2^1408488-1 is not prime. Res64: 5B3D9D4E1E635D9D Time : 0.0 sec. user=mdettweiler [2015-09-05 09:28:53] 915*2^1408488-1 is not prime. Res64: 01F61A067954CEFB Time : 0.0 sec. user=mdettweiler [2015-09-05 09:28:56] 765*2^1408489-1 is not prime. Res64: 675ABF79B916C629 Time : 0.0 sec. user=mdettweiler [2015-09-05 09:28:56] 951*2^1408489-1 is not prime. Res64: FF63CC80AC8D3432 Time : 0.0 sec. user=mdettweiler [2015-09-05 09:29:08] 633*2^1408490-1 is not prime. Res64: 0B28B37D20F16C5F Time : 0.0 sec. user=mdettweiler [2015-09-05 09:29:09] 635*2^1408490-1 is not prime. Res64: AE4BA957A594D89B Time : 0.0 sec. user=juhehe [2015-09-05 09:41:24] 705*2^1408488-1 is not prime. Res64: 4D43517F95752DCD Time : 0.0 sec. user=mdettweiler [2015-09-05 09:46:32] 677*2^1408490-1 is not prime. Res64: 06CBE472AF100FB9 Time : 0.0 sec. user=mdettweiler [2015-09-05 09:46:32] 851*2^1408490-1 is not prime. Res64: 1562CFF2D3154711 Time : 0.0 sec. user=mdettweiler [2015-09-05 09:46:39] 735*2^1408491-1 is not prime. Res64: DC56F8DCD01A0E8D Time : 0.0 sec. user=mdettweiler [2015-09-05 09:46:39] 895*2^1408491-1 is not prime. Res64: C89993DF18FBDA02 Time : 0.0 sec. user=mdettweiler [2015-09-05 09:46:47] 957*2^1408490-1 is not prime. Res64: 7C6BEC96799E8AD5 Time : 0.0 sec. user=mdettweiler [2015-09-05 09:46:48] 669*2^1408491-1 is not prime. Res64: E9CD2FB4984A2CFF Time : 0.0 sec. user=mdettweiler [2015-09-05 09:46:56] 615*2^1408492-1 is not prime. Res64: DEB610759D5CEC0E Time : 0.0 sec. user=mdettweiler [2015-09-05 09:46:56] 873*2^1408492-1 is not prime. Res64: E191A98ABDFB3AED Time : 0.0 sec. user=mdettweiler [2015-09-05 10:04:18] 929*2^1408492-1 is not prime. Res64: 3FAA2C3265F7A0F9 Time : 0.0 sec. user=mdettweiler [2015-09-05 10:04:20] 619*2^1408493-1 is not prime. Res64: 7AD338016AE9CE8C Time : 0.0 sec. user=mdettweiler [2015-09-05 10:04:22] 801*2^1408493-1 is not prime. Res64: 203500CF11334588 Time : 0.0 sec. user=mdettweiler [2015-09-05 10:04:23] 811*2^1408493-1 is not prime. Res64: 5EC26187F3FCE606 Time : 0.0 sec. user=mdettweiler [2015-09-05 10:04:26] 675*2^1408493-1 is not prime. Res64: EA80C8DA21F84E20 Time : 0.0 sec. user=mdettweiler [2015-09-05 10:04:27] 795*2^1408493-1 is not prime. Res64: 89E8F39013828ACE Time : 0.0 sec. user=mdettweiler [2015-09-05 10:04:42] 847*2^1408493-1 is not prime. Res64: D69AE2B07E7757CC Time : 0.0 sec. user=mdettweiler [2015-09-05 10:04:44] 859*2^1408493-1 is not prime. Res64: 2B553F7F82B405A1 Time : 0.0 sec. user=mdettweiler [2015-09-05 10:22:28] 861*2^1408493-1 is not prime. Res64: E194687FC6F72F06 Time : 0.0 sec. user=mdettweiler [2015-09-05 10:22:28] 755*2^1408494-1 is not prime. Res64: E9EE06511A635C67 Time : 0.0 sec. user=mdettweiler [2015-09-05 10:22:30] 821*2^1408494-1 is not prime. Res64: DA4C1D147984E04D Time : 0.0 sec. user=mdettweiler [2015-09-05 10:22:30] 861*2^1408494-1 is not prime. Res64: CF6D5D046DB6FB16 Time : 0.0 sec. user=mdettweiler [2015-09-05 10:22:32] 603*2^1408495-1 is not prime. Res64: 826B46BA53DF9701 Time : 0.0 sec. user=mdettweiler [2015-09-05 10:22:32] 625*2^1408495-1 is not prime. Res64: 744AEE12E26D38B8 Time : 0.0 sec. user=mdettweiler [2015-09-05 10:22:35] 741*2^1408494-1 is not prime. Res64: 79ADF43E585FD9B0 Time : 0.0 sec. user=mdettweiler [2015-09-05 10:22:35] 971*2^1408494-1 is not prime. Res64: 3DFA7BC3A22830BE Time : 0.0 sec. user=mdettweiler [2015-09-05 10:40:11] 649*2^1408495-1 is not prime. Res64: 02B7E16025AADB39 Time : 0.0 sec. user=mdettweiler [2015-09-05 10:40:11] 675*2^1408495-1 is not prime. Res64: 0B1223653AE58955 Time : 0.0 sec. user=mdettweiler [2015-09-05 10:40:15] 759*2^1408495-1 is not prime. Res64: 5E96C2C221968BAD Time : 0.0 sec. user=mdettweiler [2015-09-05 10:40:15] 805*2^1408495-1 is not prime. Res64: 587F38C5AB0EA3ED Time : 0.0 sec. user=mdettweiler [2015-09-05 10:40:16] 705*2^1408495-1 is not prime. Res64: C9A21754CB0CC496 Time : 0.0 sec. user=mdettweiler [2015-09-05 10:40:16] 741*2^1408495-1 is not prime. Res64: 193B0D38AF5F0FA5 Time : 0.0 sec. user=mdettweiler [2015-09-05 10:40:17] 873*2^1408495-1 is not prime. Res64: DE5AAE3548275608 Time : 0.0 sec. user=mdettweiler [2015-09-05 10:40:17] 885*2^1408495-1 is not prime. Res64: F3D4350E7EDEB1F7 Time : 0.0 sec. user=mdettweiler [2015-09-05 10:57:47] 629*2^1408496-1 is not prime. Res64: 088C6BD90C03D6CC Time : 0.0 sec. user=mdettweiler [2015-09-05 10:57:48] 827*2^1408496-1 is not prime. Res64: BAD4976D36923D07 Time : 0.0 sec. user=mdettweiler [2015-09-05 10:57:51] 839*2^1408496-1 is not prime. Res64: FC68A04ABF34FC01 Time : 0.0 sec. user=mdettweiler [2015-09-05 10:57:52] 843*2^1408496-1 is not prime. Res64: 8CFE0F90B5676334 Time : 0.0 sec. user=mdettweiler [2015-09-05 10:57:54] 879*2^1408496-1 is not prime. Res64: 7D364C7423B810B2 Time : 0.0 sec. user=mdettweiler [2015-09-05 10:57:54] 899*2^1408496-1 is not prime. Res64: 47337452CD9271FC Time : 0.0 sec. user=mdettweiler [2015-09-05 10:57:59] 615*2^1408497-1 is not prime. Res64: 42D9CDFDA430C876 Time : 0.0 sec. user=mdettweiler [2015-09-05 10:57:59] 625*2^1408497-1 is not prime. Res64: 179AE29601B5B47F Time : 0.0 sec. user=juhehe [2015-09-05 11:07:52] 603*2^1408496-1 is not prime. Res64: 0ACA8F6E6B64DEB4 Time : 0.0 sec. user=mdettweiler [2015-09-05 11:15:30] 617*2^1408498-1 is not prime. Res64: 0D53A797FAEE45DF Time : 0.0 sec. user=mdettweiler [2015-09-05 11:15:30] 681*2^1408498-1 is not prime. Res64: 470781423C2D1626 Time : 0.0 sec. user=mdettweiler [2015-09-05 11:15:32] 687*2^1408498-1 is not prime. Res64: 0EA23F01D34A7C44 Time : 0.0 sec. user=mdettweiler [2015-09-05 11:15:33] 731*2^1408498-1 is not prime. Res64: CCB0162CF3C3904F Time : 0.0 sec. user=mdettweiler [2015-09-05 11:15:39] 795*2^1408497-1 is not prime. Res64: 053941EB549CB935 Time : 0.0 sec. user=mdettweiler [2015-09-05 11:15:39] 735*2^1408498-1 is not prime. Res64: 527F492EF5AB7D48 Time : 0.0 sec. user=mdettweiler [2015-09-05 11:15:39] 937*2^1408497-1 is not prime. Res64: 2AD4C9AD278FD4B8 Time : 0.0 sec. user=mdettweiler [2015-09-05 11:15:39] 747*2^1408498-1 is not prime. Res64: 11ED9385C5AEB0C2 Time : 0.0 sec. user=mdettweiler [2015-09-05 11:33:11] 845*2^1408498-1 is not prime. Res64: F3090BD5EE778D3C Time : 0.0 sec. user=mdettweiler [2015-09-05 11:33:12] 885*2^1408498-1 is not prime. Res64: 4921411794BFBA61 Time : 0.0 sec. user=mdettweiler [2015-09-05 11:33:14] 891*2^1408498-1 is not prime. Res64: 701BC22CF4A21725 Time : 0.0 sec. user=mdettweiler [2015-09-05 11:33:14] 951*2^1408498-1 is not prime. Res64: DCB24736F82F4AA9 Time : 0.0 sec. user=mdettweiler [2015-09-05 11:33:22] 615*2^1408499-1 is not prime. Res64: 5C220A4FE0FA5619 Time : 0.0 sec. user=mdettweiler [2015-09-05 11:33:23] 883*2^1408499-1 is not prime. Res64: E9D0BF96FD7DE46E Time : 0.0 sec. user=mdettweiler [2015-09-05 11:33:29] 957*2^1408498-1 is not prime. Res64: 720A3A2651BA7AFE Time : 0.0 sec. user=mdettweiler [2015-09-05 11:33:30] 1001*2^1408498-1 is not prime. Res64: 419B60D4E9F14B58 Time : 0.0 sec. user=juhehe [2015-09-05 11:50:45] 777*2^1408498-1 is not prime. Res64: A4B3A8FD70A566B6 Time : 0.0 sec. user=mdettweiler [2015-09-05 11:50:51] 773*2^1408500-1 is not prime. Res64: 7FFDD9AB967FAE94 Time : 0.0 sec. user=mdettweiler [2015-09-05 11:50:52] 795*2^1408500-1 is not prime. Res64: 011616F2C955E35D Time : 0.0 sec. user=mdettweiler [2015-09-05 11:50:53] 845*2^1408500-1 is not prime. Res64: 51338434B3BE6CFB Time : 0.0 sec. user=mdettweiler [2015-09-05 11:50:54] 893*2^1408500-1 is not prime. Res64: 2AE70375F864D473 Time : 0.0 sec. user=mdettweiler [2015-09-05 11:50:59] 923*2^1408500-1 is not prime. Res64: 97348934521FC6EF Time : 0.0 sec. user=mdettweiler [2015-09-05 11:50:59] 983*2^1408500-1 is not prime. Res64: C0ED54DADCCF231F Time : 0.0 sec. user=mdettweiler [2015-09-05 11:51:07] 687*2^1408501-1 is not prime. Res64: 5332EA4B07791FD9 Time : 0.0 sec. user=mdettweiler [2015-09-05 11:51:07] 819*2^1408501-1 is not prime. Res64: 32031B79902ACEC1 Time : 0.0 sec. user=mdettweiler [2015-09-05 12:08:37] 819*2^1408503-1 is not prime. Res64: 85FDB40268CC0D0D Time : 0.0 sec. user=mdettweiler [2015-09-05 12:08:38] 901*2^1408503-1 is not prime. Res64: E2E09A44F6870882 Time : 0.0 sec. user=mdettweiler [2015-09-05 12:08:38] 951*2^1408501-1 is not prime. Res64: 8389149FE446FB1B Time : 0.0 sec. user=mdettweiler [2015-09-05 12:08:38] 771*2^1408502-1 is not prime. Res64: 3DD24755EAF87B56 Time : 0.0 sec. user=mdettweiler [2015-09-05 12:08:40] 663*2^1408503-1 is not prime. Res64: 2CCD2D84ADD7DBB8 Time : 0.0 sec. user=mdettweiler [2015-09-05 12:08:40] 781*2^1408503-1 is not prime. Res64: 733B4DA451629F99 Time : 0.0 sec. user=mdettweiler [2015-09-05 12:08:55] 919*2^1408503-1 is not prime. Res64: DBAAC782751A6560 Time : 0.0 sec. user=mdettweiler [2015-09-05 12:08:55] 921*2^1408503-1 is not prime. Res64: 575BA4D764863FC2 Time : 0.0 sec. user=mdettweiler [2015-09-05 12:26:17] 693*2^1408504-1 is not prime. Res64: 6853B9D030BEE3F0 Time : 0.0 sec. user=mdettweiler [2015-09-05 12:26:17] 719*2^1408504-1 is not prime. Res64: 46AA2D0ADBD7C3FE Time : 0.0 sec. user=mdettweiler [2015-09-05 12:26:18] 657*2^1408505-1 is not prime. Res64: F25F3531C763B1F5 Time : 0.0 sec. user=mdettweiler [2015-09-05 12:26:18] 735*2^1408505-1 is not prime. Res64: 6128B11F91134111 Time : 0.0 sec. user=mdettweiler [2015-09-05 12:26:21] 849*2^1408504-1 is not prime. Res64: AF02F6496F85C5E9 Time : 0.0 sec. user=mdettweiler [2015-09-05 12:26:23] 857*2^1408504-1 is not prime. Res64: BF80CC4C09C37F40 Time : 0.0 sec. user=mdettweiler [2015-09-05 12:26:32] 789*2^1408505-1 is not prime. Res64: AAD22AAF5623DFC1 Time : 0.0 sec. user=mdettweiler [2015-09-05 12:26:33] 805*2^1408505-1 is not prime. Res64: C5D2FC9068FFDBCE Time : 0.0 sec. user=mdettweiler [2015-09-05 12:43:58] 939*2^1408505-1 is not prime. Res64: 8F03F9C65CAD1320 Time : 0.0 sec. user=mdettweiler [2015-09-05 12:43:59] 611*2^1408506-1 is not prime. Res64: AA887A22715F0BA4 Time : 0.0 sec. user=mdettweiler [2015-09-05 12:44:04] 627*2^1408506-1 is not prime. Res64: 1F7CC2D3BD045F69 Time : 0.0 sec. user=mdettweiler [2015-09-05 12:44:04] 755*2^1408506-1 is not prime. Res64: A4ED27C19996F367 Time : 0.0 sec. user=mdettweiler [2015-09-05 12:44:15] 777*2^1408506-1 is not prime. Res64: 39612C62B91CABA7 Time : 0.0 sec. user=mdettweiler [2015-09-05 12:44:15] 917*2^1408506-1 is not prime. Res64: 40B8AE4FD42BA5F9 Time : 0.0 sec. user=mdettweiler [2015-09-05 12:44:19] 861*2^1408505-1 is not prime. Res64: DA4AB5B0899F9146 Time : 0.0 sec. user=mdettweiler [2015-09-05 12:44:20] 937*2^1408505-1 is not prime. Res64: B91F3B2007C77F19 Time : 0.0 sec. user=mdettweiler [2015-09-05 13:01:41] 945*2^1408507-1 is not prime. Res64: 003D1D53FB60D8F5 Time : 0.0 sec. user=mdettweiler [2015-09-05 13:01:42] 973*2^1408507-1 is not prime. Res64: C929D89C865B8EFE Time : 0.0 sec. user=mdettweiler [2015-09-05 13:01:44] 715*2^1408507-1 is not prime. Res64: EEB639F3F9162D9C Time : 0.0 sec. user=mdettweiler [2015-09-05 13:01:44] 805*2^1408507-1 is not prime. Res64: 430F3242FC6155C8 Time : 0.0 sec. user=mdettweiler [2015-09-05 13:01:59] 979*2^1408507-1 is not prime. Res64: 7664798DE9D1789C Time : 0.0 sec. user=mdettweiler [2015-09-05 13:02:00] 743*2^1408508-1 is not prime. Res64: 513A0D5D3E52E43F Time : 0.0 sec. user=mdettweiler [2015-09-05 13:02:03] 795*2^1408508-1 is not prime. Res64: DD23B7BAF3D833AF Time : 0.0 sec. user=mdettweiler [2015-09-05 13:02:04] 827*2^1408508-1 is not prime. Res64: D0D62309426B174F Time : 0.0 sec. user=mdettweiler [2015-09-05 13:19:31] 927*2^1408508-1 is not prime. Res64: C660562D4E77FC10 Time : 0.0 sec. user=mdettweiler [2015-09-05 13:19:31] 969*2^1408508-1 is not prime. Res64: 43BF72A0CB41DCC7 Time : 0.0 sec. user=mdettweiler [2015-09-05 13:19:37] 999*2^1408508-1 is not prime. Res64: 50EFB3D6C9ABA4CE Time : 0.0 sec. user=mdettweiler [2015-09-05 13:19:37] 609*2^1408509-1 is not prime. Res64: FB6B073FA7BD7C6D Time : 0.0 sec. user=mdettweiler [2015-09-05 13:19:46] 621*2^1408509-1 is not prime. Res64: 6C7414CF24E0EE2A Time : 0.0 sec. user=mdettweiler [2015-09-05 13:19:46] 625*2^1408509-1 is not prime. Res64: 5D1E297EE3BFE8A1 Time : 0.0 sec. user=mdettweiler [2015-09-05 13:19:49] 661*2^1408509-1 is not prime. Res64: 9F9520BED140199C Time : 0.0 sec. user=mdettweiler [2015-09-05 13:19:49] 817*2^1408509-1 is not prime. Res64: 816F1551427B72ED Time : 0.0 sec. user=juhehe [2015-09-05 13:22:55] 615*2^1408507-1 is not prime. Res64: AB3C2767F7BC3FC0 Time : 0.0 sec. user=S_K_ [2015-09-05 13:34:59] 609*2^1408507-1 is not prime. Res64: 6C62BDC4D8AF3304 Time : 0.0 sec. user=mdettweiler [2015-09-05 13:37:08] 889*2^1408509-1 is not prime. Res64: 030EE7874F33878A Time : 0.0 sec. user=mdettweiler [2015-09-05 13:37:08] 991*2^1408509-1 is not prime. Res64: 759395E21776F0DB Time : 0.0 sec. user=mdettweiler [2015-09-05 13:37:31] 999*2^1408509-1 is not prime. Res64: A0F2043A8C8D35BA Time : 0.0 sec. user=mdettweiler [2015-09-05 13:37:31] 687*2^1408510-1 is not prime. Res64: 8F59DCCD6DC0E49E Time : 0.0 sec. user=mdettweiler [2015-09-05 13:37:31] 647*2^1408510-1 is not prime. Res64: A54EFD3E6E5DEB48 Time : 0.0 sec. user=mdettweiler [2015-09-05 13:37:31] 723*2^1408510-1 is not prime. Res64: A1F8539433FFC8D2 Time : 0.0 sec. user=mdettweiler [2015-09-05 13:37:35] 765*2^1408510-1 is not prime. Res64: 183A7B612565DD4E Time : 0.0 sec. user=mdettweiler [2015-09-05 13:37:36] 831*2^1408510-1 is not prime. Res64: E1EFC07236138AFE Time : 0.0 sec. user=mdettweiler [2015-09-05 13:54:54] 609*2^1408511-1 is not prime. Res64: 4AFC95AA07EF5C0B Time : 0.0 sec. user=mdettweiler [2015-09-05 13:54:55] 645*2^1408511-1 is not prime. Res64: FE55C91375334086 Time : 0.0 sec. user=mdettweiler [2015-09-05 13:55:12] 909*2^1408511-1 is not prime. Res64: 9B8A32876473E175 Time : 0.0 sec. user=mdettweiler [2015-09-05 13:55:13] 693*2^1408512-1 is not prime. Res64: 0A62AA60359CBECF Time : 0.0 sec. user=mdettweiler [2015-09-05 13:55:14] 815*2^1408512-1 is not prime. Res64: 07B151E9668A444D Time : 0.0 sec. user=mdettweiler [2015-09-05 13:55:15] 909*2^1408512-1 is not prime. Res64: 016EAE19C339E421 Time : 0.0 sec. user=mdettweiler [2015-09-05 13:55:23] 651*2^1408511-1 is not prime. Res64: B3F3570800BBC9DF Time : 0.0 sec. user=mdettweiler [2015-09-05 13:55:23] 693*2^1408511-1 is not prime. Res64: 4BF6FBEB5C63A1CC Time : 0.0 sec. user=juhehe [2015-09-05 14:05:56] 923*2^1408510-1 is not prime. Res64: 48E503CB956A8AA0 Time : 0.0 sec. user=mdettweiler [2015-09-05 14:12:34] 923*2^1408512-1 is not prime. Res64: 87310202FFF13E83 Time : 0.0 sec. user=mdettweiler [2015-09-05 14:12:35] 675*2^1408513-1 is not prime. Res64: 31528EBEFD5A61C8 Time : 0.0 sec. user=mdettweiler [2015-09-05 14:12:48] 679*2^1408513-1 is not prime. Res64: F7D4CDC27113AF00 Time : 0.0 sec. user=mdettweiler [2015-09-05 14:12:49] 801*2^1408513-1 is not prime. Res64: 13D5358C44EA6853 Time : 0.0 sec. user=mdettweiler [2015-09-05 14:12:57] 895*2^1408513-1 is not prime. Res64: 615C5AAB43BE73D4 Time : 0.0 sec. user=mdettweiler [2015-09-05 14:12:57] 979*2^1408513-1 is not prime. Res64: 9DC4CC938C3B4E2C Time : 0.0 sec. user=mdettweiler [2015-09-05 14:13:02] 617*2^1408514-1 is not prime. Res64: F9758A175477C746 Time : 0.0 sec. user=mdettweiler [2015-09-05 14:13:02] 671*2^1408514-1 is not prime. Res64: 63A86BD0E18B16D1 Time : 0.0 sec. user=mdettweiler [2015-09-05 14:30:18] 741*2^1408514-1 is not prime. Res64: CC6A33A9A85E7C17 Time : 0.0 sec. user=mdettweiler [2015-09-05 14:30:19] 783*2^1408514-1 is not prime. Res64: B2404D5BA2BD1790 Time : 0.0 sec. user=mdettweiler [2015-09-05 14:30:28] 791*2^1408514-1 is not prime. Res64: 1909047D5298BE30 Time : 0.0 sec. user=mdettweiler [2015-09-05 14:30:28] 837*2^1408514-1 is not prime. Res64: B0549DE87F356C27 Time : 0.0 sec. user=mdettweiler [2015-09-05 14:30:41] 953*2^1408514-1 is not prime. Res64: 1699F604886DDF7E Time : 0.0 sec. user=mdettweiler [2015-09-05 14:30:41] 993*2^1408514-1 is not prime. Res64: 0D3F7700E2C24C05 Time : 0.0 sec. user=mdettweiler [2015-09-05 14:30:41] 633*2^1408515-1 is not prime. Res64: 2B8838FEE615337B Time : 0.0 sec. user=mdettweiler [2015-09-05 14:30:42] 859*2^1408515-1 is not prime. Res64: 34CAE7DD0DDE8AF9 Time : 0.0 sec. user=mdettweiler [2015-09-05 14:47:57] 903*2^1408515-1 is not prime. Res64: 6CC659E1303DB5C3 Time : 0.0 sec. user=mdettweiler [2015-09-05 14:47:57] 639*2^1408516-1 is not prime. Res64: DB1C5CB911C9500A Time : 0.0 sec. user=mdettweiler [2015-09-05 14:48:06] 675*2^1408516-1 is not prime. Res64: A708D08795D42B36 Time : 0.0 sec. user=mdettweiler [2015-09-05 14:48:06] 875*2^1408516-1 is not prime. Res64: 85355AF5B1873950 Time : 0.0 sec. user=mdettweiler [2015-09-05 14:48:15] 601*2^1408517-1 is not prime. Res64: 7B59558F6F05EC39 Time : 0.0 sec. user=mdettweiler [2015-09-05 14:48:16] 631*2^1408517-1 is not prime. Res64: 08A0A89432B3A125 Time : 0.0 sec. user=mdettweiler [2015-09-05 14:48:18] 903*2^1408516-1 is not prime. Res64: 31BABF2663291E8C Time : 0.0 sec. user=mdettweiler [2015-09-05 14:48:18] 983*2^1408516-1 is not prime. Res64: AB55A7F15F95A2A1 Time : 0.0 sec. user=mdettweiler [2015-09-05 15:05:40] 669*2^1408517-1 is not prime. Res64: 8E25F08EDB99FAD4 Time : 0.0 sec. user=mdettweiler [2015-09-05 15:05:42] 685*2^1408517-1 is not prime. Res64: 01ACB31D96393EDC Time : 0.0 sec. user=mdettweiler [2015-09-05 15:05:49] 757*2^1408517-1 is not prime. Res64: 19C4886A9B4B1CD8 Time : 0.0 sec. user=mdettweiler [2015-09-05 15:05:52] 825*2^1408517-1 is not prime. Res64: C333FE3A4BA52035 Time : 0.0 sec. user=mdettweiler [2015-09-05 15:05:57] 861*2^1408517-1 is not prime. Res64: B9B590C6D206FB79 Time : 0.0 sec. user=mdettweiler [2015-09-05 15:05:59] 915*2^1408517-1 is not prime. Res64: A9F99BAD662D1839 Time : 0.0 sec. user=mdettweiler [2015-09-05 15:06:05] 931*2^1408517-1 is not prime. Res64: 4E8A62F770997613 Time : 0.0 sec. user=mdettweiler [2015-09-05 15:06:10] 663*2^1408518-1 is not prime. Res64: 51578532F359C647 Time : 0.0 sec. user=mdettweiler [2015-09-05 15:23:50] 755*2^1408518-1 is not prime. Res64: 4FA47DD889B3B3C8 Time : 0.0 sec. user=mdettweiler [2015-09-05 15:23:50] 765*2^1408518-1 is not prime. Res64: 5FC8B2EEF82CFB92 Time : 0.0 sec. user=mdettweiler [2015-09-05 15:24:00] 957*2^1408518-1 is not prime. Res64: B60807193F01EA62 Time : 0.0 sec. user=mdettweiler [2015-09-05 15:24:01] 625*2^1408519-1 is not prime. Res64: 14125C0EB81341BD Time : 0.0 sec. user=mdettweiler [2015-09-05 15:24:01] 881*2^1408518-1 is not prime. Res64: 64512FCBB0C75441 Time : 0.0 sec. user=mdettweiler [2015-09-05 15:24:01] 759*2^1408519-1 is not prime. Res64: 4D98C7C9E79C3AD4 Time : 0.0 sec. user=mdettweiler [2015-09-05 15:24:02] 885*2^1408518-1 is not prime. Res64: F4D5A679E30C669C Time : 0.0 sec. user=mdettweiler [2015-09-05 15:24:02] 813*2^1408519-1 is not prime. Res64: B5E6ED6BDEEC68C1 Time : 0.0 sec. user=juhehe [2015-09-05 15:31:49] 707*2^1408518-1 is not prime. Res64: DB4672E5C13B3095 Time : 0.0 sec. user=mdettweiler [2015-09-05 15:41:30] 925*2^1408519-1 is not prime. Res64: 1F4607DE708C7D32 Time : 0.0 sec. user=mdettweiler [2015-09-05 15:41:30] 951*2^1408519-1 is not prime. Res64: 2887E735007DD716 Time : 0.0 sec. user=mdettweiler [2015-09-05 15:41:39] 999*2^1408519-1 is not prime. Res64: 6AC44C8B1B529E0C Time : 0.0 sec. user=mdettweiler [2015-09-05 15:41:40] 615*2^1408520-1 is not prime. Res64: 55A3FC1C8B5ADC30 Time : 0.0 sec. user=mdettweiler [2015-09-05 15:41:41] 945*2^1408520-1 is not prime. Res64: 05764090049B65ED Time : 0.0 sec. user=mdettweiler [2015-09-05 15:41:41] 983*2^1408520-1 is not prime. Res64: B5E969DA2F353E9C Time : 0.0 sec. user=mdettweiler [2015-09-05 15:41:44] 665*2^1408520-1 is not prime. Res64: 05A5C8D8C87424BD Time : 0.0 sec. user=mdettweiler [2015-09-05 15:41:45] 743*2^1408520-1 is not prime. Res64: 56FDF7F4E168B447 Time : 0.0 sec. user=mdettweiler [2015-09-05 15:59:16] 649*2^1408521-1 is not prime. Res64: 0915B77DE3DDDFF2 Time : 0.0 sec. user=mdettweiler [2015-09-05 15:59:16] 861*2^1408521-1 is not prime. Res64: 1A5DDC7D01E22A7C Time : 0.0 sec. user=mdettweiler [2015-09-05 15:59:24] 889*2^1408521-1 is not prime. Res64: 16348A1DA0368EB5 Time : 0.0 sec. user=mdettweiler [2015-09-05 15:59:24] 895*2^1408521-1 is not prime. Res64: F69A589E79486B21 Time : 0.0 sec. user=mdettweiler [2015-09-05 15:59:35] 975*2^1408521-1 is not prime. Res64: EEC4D71557F24A93 Time : 0.0 sec. user=mdettweiler [2015-09-05 15:59:35] 657*2^1408522-1 is not prime. Res64: 1C24B24385F81EBE Time : 0.0 sec. user=mdettweiler [2015-09-05 15:59:40] 907*2^1408521-1 is not prime. Res64: 47A4E16344721AF6 Time : 0.0 sec. user=mdettweiler [2015-09-05 15:59:41] 949*2^1408521-1 is not prime. Res64: DB4714182A3C4DE5 Time : 0.0 sec. user=juhehe [2015-09-05 16:10:58] 627*2^1408521-1 is not prime. Res64: EE56A008B6949682 Time : 0.0 sec. user=mdettweiler [2015-09-05 16:16:50] 675*2^1408522-1 is not prime. Res64: B275EB52801DAC66 Time : 0.0 sec. user=mdettweiler [2015-09-05 16:16:50] 741*2^1408522-1 is not prime. Res64: 06AC2D59B9996F7B Time : 0.0 sec. user=mdettweiler [2015-09-05 16:17:01] 831*2^1408522-1 is not prime. Res64: AF845CD87A1C68A4 Time : 0.0 sec. user=mdettweiler [2015-09-05 16:17:02] 911*2^1408522-1 is not prime. Res64: 5F4926D896CE76FA Time : 0.0 sec. user=mdettweiler [2015-09-05 16:17:10] 947*2^1408522-1 is not prime. Res64: 8CE296F05DC2B1A9 Time : 0.0 sec. user=mdettweiler [2015-09-05 16:17:11] 951*2^1408522-1 is not prime. Res64: FECA935D9A63CF74 Time : 0.0 sec. user=mdettweiler [2015-09-05 16:17:19] 983*2^1408522-1 is not prime. Res64: AF84BAF91C192EBC Time : 0.0 sec. user=mdettweiler [2015-09-05 16:17:19] 621*2^1408523-1 is not prime. Res64: F25AB936AD90FBBA Time : 0.0 sec. user=S_K_ [2015-09-05 16:19:10] 853*2^1408519-1 is not prime. Res64: 2A4BAECE0407C426 Time : 0.0 sec. user=mdettweiler [2015-09-05 16:34:35] 669*2^1408523-1 is not prime. Res64: 13ADD2C9BC5DD9ED Time : 0.0 sec. user=mdettweiler [2015-09-05 16:34:35] 685*2^1408523-1 is not prime. Res64: 2C2A94C9B271D54D Time : 0.0 sec. user=mdettweiler [2015-09-05 16:34:45] 735*2^1408523-1 is not prime. Res64: 6036B14390301C6E Time : 0.0 sec. user=mdettweiler [2015-09-05 16:34:46] 901*2^1408523-1 is not prime. Res64: 0ACE783F71EC044D Time : 0.0 sec. user=mdettweiler [2015-09-05 16:34:50] 981*2^1408523-1 is not prime. Res64: 1D7D2A1646212ABE Time : 0.0 sec. user=mdettweiler [2015-09-05 16:34:51] 737*2^1408524-1 is not prime. Res64: BF02AA761CD094CD Time : 0.0 sec. user=mdettweiler [2015-09-05 16:34:54] 767*2^1408524-1 is not prime. Res64: 184CE0FDE60E2C73 Time : 0.0 sec. user=mdettweiler [2015-09-05 16:34:55] 795*2^1408524-1 is not prime. Res64: 72E9C51783687EE5 Time : 0.0 sec. user=mdettweiler [2015-09-05 16:52:19] 905*2^1408524-1 is not prime. Res64: AEF3F6CE80C2D9EB Time : 0.0 sec. user=mdettweiler [2015-09-05 16:52:19] 909*2^1408524-1 is not prime. Res64: B4AF266678D75FCE Time : 0.0 sec. user=mdettweiler [2015-09-05 16:52:24] 685*2^1408525-1 is not prime. Res64: 088DB19B6FBE273F Time : 0.0 sec. user=mdettweiler [2015-09-05 16:52:24] 687*2^1408525-1 is not prime. Res64: 293B90BEE8368549 Time : 0.0 sec. user=mdettweiler [2015-09-05 16:52:31] 825*2^1408525-1 is not prime. Res64: A834B2644E887FCD Time : 0.0 sec. user=mdettweiler [2015-09-05 16:52:31] 831*2^1408525-1 is not prime. Res64: 56B04D56E01E7DDA Time : 0.0 sec. user=mdettweiler [2015-09-05 16:52:35] 867*2^1408525-1 is not prime. Res64: CCCCF749C22FB20D Time : 0.0 sec. user=mdettweiler [2015-09-05 16:52:35] 705*2^1408526-1 is not prime. Res64: B1DBB3307134D21A Time : 0.0 sec. user=juhehe [2015-09-05 16:58:14] 825*2^1408524-1 is not prime. Res64: 2609D83D07ED6391 Time : 0.0 sec. user=mdettweiler [2015-09-05 17:09:59] 675*2^1408527-1 is not prime. Res64: 462D6B64427030F9 Time : 0.0 sec. user=mdettweiler [2015-09-05 17:09:59] 703*2^1408527-1 is not prime. Res64: F2837D0BB2483B33 Time : 0.0 sec. user=mdettweiler [2015-09-05 17:10:07] 829*2^1408527-1 is not prime. Res64: E37DD37AAC56493D Time : 0.0 sec. user=mdettweiler [2015-09-05 17:10:07] 831*2^1408527-1 is not prime. Res64: A536D2E68A5C6EFC Time : 0.0 sec. user=mdettweiler [2015-09-05 17:10:10] 615*2^1408528-1 is not prime. Res64: D6D5035A34206777 Time : 0.0 sec. user=mdettweiler [2015-09-05 17:10:11] 723*2^1408528-1 is not prime. Res64: 981CA1C0A25740BC Time : 0.0 sec. user=mdettweiler [2015-09-05 17:10:18] 773*2^1408528-1 is not prime. Res64: 5F65BA0B96272676 Time : 0.0 sec. user=mdettweiler [2015-09-05 17:10:18] 843*2^1408528-1 is not prime. Res64: E61A690207A6608D Time : 0.0 sec. user=mdettweiler [2015-09-05 17:27:43] 849*2^1408528-1 is not prime. Res64: FC6A39B1D501DEF4 Time : 0.0 sec. user=mdettweiler [2015-09-05 17:27:43] 899*2^1408528-1 is not prime. Res64: 7260C2F958BFDD34 Time : 0.0 sec. user=mdettweiler [2015-09-05 17:27:52] 915*2^1408528-1 is not prime. Res64: CD37EE1309FEDED1 Time : 0.0 sec. user=mdettweiler [2015-09-05 17:27:52] 995*2^1408528-1 is not prime. Res64: EFBC8A27E2B03262 Time : 0.0 sec. user=mdettweiler [2015-09-05 17:27:58] 741*2^1408529-1 is not prime. Res64: DA465927183716FF Time : 0.0 sec. user=mdettweiler [2015-09-05 17:27:58] 985*2^1408529-1 is not prime. Res64: A4984E90C5DDD36D Time : 0.0 sec. user=juhehe [2015-09-05 17:28:01] 833*2^1408526-1 is not prime. Res64: 277F2BD8EF7FC1F5 Time : 0.0 sec. user=mdettweiler [2015-09-05 17:28:05] 991*2^1408529-1 is not prime. Res64: A4D3EAFBF0729F16 Time : 0.0 sec. user=mdettweiler [2015-09-05 17:28:05] 747*2^1408530-1 is not prime. Res64: 949DBBA0EA04A5D5 Time : 0.0 sec. user=mdettweiler [2015-09-05 17:45:24] 755*2^1408530-1 is not prime. Res64: 242B275DAE07B463 Time : 0.0 sec. user=mdettweiler [2015-09-05 17:45:25] 861*2^1408530-1 is not prime. Res64: 9B8FE52A6C277CD8 Time : 0.0 sec. user=mdettweiler [2015-09-05 17:45:33] 905*2^1408530-1 is not prime. Res64: 868EB4371B3052BF Time : 0.0 sec. user=mdettweiler [2015-09-05 17:45:33] 963*2^1408530-1 is not prime. Res64: AC6B1C7090C324E7 Time : 0.0 sec. user=mdettweiler [2015-09-05 17:45:38] 649*2^1408531-1 is not prime. Res64: E6F6166E1606CFE1 Time : 0.0 sec. user=mdettweiler [2015-09-05 17:45:38] 691*2^1408531-1 is not prime. Res64: 169D477D478D2216 Time : 0.0 sec. user=mdettweiler [2015-09-05 17:45:43] 805*2^1408531-1 is not prime. Res64: 039B60539C4C8798 Time : 0.0 sec. user=mdettweiler [2015-09-05 17:45:44] 885*2^1408531-1 is not prime. Res64: F79FB145C1D334E7 Time : 0.0 sec. user=mdettweiler [2015-09-05 18:03:05] 913*2^1408531-1 is not prime. Res64: 0F1F555980065FA3 Time : 0.0 sec. user=mdettweiler [2015-09-05 18:03:07] 939*2^1408531-1 is not prime. Res64: DAD1BBE63C91DE74 Time : 0.0 sec. user=mdettweiler [2015-09-05 18:03:22] 687*2^1408532-1 is not prime. Res64: 220D871AD8DCFBA8 Time : 0.0 sec. user=mdettweiler [2015-09-05 18:03:23] 699*2^1408532-1 is not prime. Res64: 452BC3E149CD03E0 Time : 0.0 sec. user=mdettweiler [2015-09-05 18:03:26] 647*2^1408532-1 is not prime. Res64: E63431F228BE24BE Time : 0.0 sec. user=mdettweiler [2015-09-05 18:03:27] 665*2^1408532-1 is not prime. Res64: 926F04CEAC184EB2 Time : 0.0 sec. user=mdettweiler [2015-09-05 18:03:28] 903*2^1408532-1 is not prime. Res64: 61F0120A2CB2CF37 Time : 0.0 sec. user=mdettweiler [2015-09-05 18:03:29] 915*2^1408532-1 is not prime. Res64: 03CB86992F1C8914 Time : 0.0 sec. user=juhehe [2015-09-05 18:07:43] 705*2^1408531-1 is not prime. Res64: A4E2D89C22C92BEB Time : 0.0 sec. user=mdettweiler [2015-09-05 18:20:54] 721*2^1408533-1 is not prime. Res64: 688412FC7E570224 Time : 0.0 sec. user=mdettweiler [2015-09-05 18:20:55] 819*2^1408533-1 is not prime. Res64: A5B90DCF6A25CC74 Time : 0.0 sec. user=mdettweiler [2015-09-05 18:20:59] 867*2^1408533-1 is not prime. Res64: 77BB68B3FA4ACF3D Time : 0.0 sec. user=mdettweiler [2015-09-05 18:20:59] 889*2^1408533-1 is not prime. Res64: 347919B04C413256 Time : 0.0 sec. user=mdettweiler [2015-09-05 18:21:10] 895*2^1408533-1 is not prime. Res64: DE39773A4B68A63F Time : 0.0 sec. user=mdettweiler [2015-09-05 18:21:10] 617*2^1408534-1 is not prime. Res64: FD5059D3E5787490 Time : 0.0 sec. user=mdettweiler [2015-09-05 18:21:15] 717*2^1408534-1 is not prime. Res64: E607A234BF89F52A Time : 0.0 sec. user=mdettweiler [2015-09-05 18:21:15] 915*2^1408534-1 is not prime. Res64: 80CA6BB1455CA048 Time : 0.0 sec. user=mdettweiler [2015-09-05 18:38:42] 941*2^1408534-1 is not prime. Res64: F58CD1DE5B9EFD94 Time : 0.0 sec. user=mdettweiler [2015-09-05 18:38:42] 971*2^1408534-1 is not prime. Res64: 01D7BDE31269E511 Time : 0.0 sec. user=mdettweiler [2015-09-05 18:38:46] 983*2^1408534-1 is not prime. Res64: 1337CB5628EA156B Time : 0.0 sec. user=mdettweiler [2015-09-05 18:38:47] 993*2^1408534-1 is not prime. Res64: 1851F693E3F62DB3 Time : 0.0 sec. user=mdettweiler [2015-09-05 18:39:00] 603*2^1408535-1 is not prime. Res64: 6A09D51D4707AEA9 Time : 0.0 sec. user=mdettweiler [2015-09-05 18:39:00] 609*2^1408535-1 is not prime. Res64: BD11DF49473CCF6B Time : 0.0 sec. user=mdettweiler [2015-09-05 18:39:08] 651*2^1408535-1 is not prime. Res64: 00E88C6344B26973 Time : 0.0 sec. user=mdettweiler [2015-09-05 18:39:08] 661*2^1408535-1 is not prime. Res64: 6886AA475E74A9B0 Time : 0.0 sec. user=mdettweiler [2015-09-05 18:56:27] 831*2^1408535-1 is not prime. Res64: 670A1A6E6BF3E06B Time : 0.0 sec. user=mdettweiler [2015-09-05 18:56:27] 843*2^1408535-1 is not prime. Res64: 7A66E16DCAACE249 Time : 0.0 sec. user=mdettweiler [2015-09-05 18:56:33] 949*2^1408535-1 is not prime. Res64: 6484A6B7AC3978C0 Time : 0.0 sec. user=mdettweiler [2015-09-05 18:56:33] 969*2^1408535-1 is not prime. Res64: 87CB1136A8324756 Time : 0.0 sec. user=mdettweiler [2015-09-05 18:56:46] 999*2^1408535-1 is not prime. Res64: D47631F57E45A7BD Time : 0.0 sec. user=mdettweiler [2015-09-05 18:56:47] 615*2^1408536-1 is not prime. Res64: E0E41C5D20EF3E36 Time : 0.0 sec. user=mdettweiler [2015-09-05 18:56:52] 633*2^1408536-1 is not prime. Res64: D5F7A7DE75C4A491 Time : 0.0 sec. user=mdettweiler [2015-09-05 18:56:52] 843*2^1408536-1 is not prime. Res64: 321C928D3FB9675E Time : 0.0 sec. user=mdettweiler [2015-09-05 19:14:23] 975*2^1408536-1 is not prime. Res64: 133945A694F2BBED Time : 0.0 sec. user=mdettweiler [2015-09-05 19:14:23] 993*2^1408536-1 is not prime. Res64: 7CFAC52D0F0771E6 Time : 0.0 sec. user=mdettweiler [2015-09-05 19:14:25] 893*2^1408536-1 is not prime. Res64: 1736C651CD8966F1 Time : 0.0 sec. user=mdettweiler [2015-09-05 19:14:26] 933*2^1408536-1 is not prime. Res64: BC6F4C8C26A64B4B Time : 0.0 sec. user=mdettweiler [2015-09-05 19:14:29] 661*2^1408537-1 is not prime. Res64: 8741906047CF6729 Time : 0.0 sec. user=mdettweiler [2015-09-05 19:14:30] 691*2^1408537-1 is not prime. Res64: D5D8A96DD1AA8619 Time : 0.0 sec. user=mdettweiler [2015-09-05 19:14:41] 775*2^1408537-1 is not prime. Res64: 00C27F5607397EDB Time : 0.0 sec. user=mdettweiler [2015-09-05 19:14:41] 831*2^1408537-1 is not prime. Res64: 7005C15A92AA2C8D Time : 0.0 sec. user=juhehe [2015-09-05 19:24:59] 845*2^1408536-1 is not prime. Res64: 71039AFC582BDE7C Time : 0.0 sec. user=mdettweiler [2015-09-05 19:32:04] 937*2^1408537-1 is not prime. Res64: 0A49A7C04AFB1C93 Time : 0.0 sec. user=mdettweiler [2015-09-05 19:32:04] 967*2^1408537-1 is not prime. Res64: B299C92BEDC71402 Time : 0.0 sec. user=mdettweiler [2015-09-05 19:32:07] 843*2^1408538-1 is not prime. Res64: 1A2890F32516DCC4 Time : 0.0 sec. user=mdettweiler [2015-09-05 19:32:08] 911*2^1408538-1 is not prime. Res64: 746416BBDEFEB705 Time : 0.0 sec. user=mdettweiler [2015-09-05 19:32:11] 895*2^1408537-1 is not prime. Res64: 838BD2A3496D47A3 Time : 0.0 sec. user=mdettweiler [2015-09-05 19:32:11] 919*2^1408537-1 is not prime. Res64: F4559A33BD0A4177 Time : 0.0 sec. user=mdettweiler [2015-09-05 19:32:29] 921*2^1408538-1 is not prime. Res64: BCDB6DBD801652C5 Time : 0.0 sec. user=mdettweiler [2015-09-05 19:32:30] 941*2^1408538-1 is not prime. Res64: CD6FCA84913D328F Time : 0.0 sec. user=mdettweiler [2015-09-05 19:49:45] 723*2^1408539-1 is not prime. Res64: B69B6D247D92CFC6 Time : 0.0 sec. user=mdettweiler [2015-09-05 19:49:45] 825*2^1408539-1 is not prime. Res64: 003C0AB2DE29FD66 Time : 0.0 sec. user=mdettweiler [2015-09-05 19:49:56] 873*2^1408539-1 is not prime. Res64: 4556D95EAC50B760 Time : 0.0 sec. user=mdettweiler [2015-09-05 19:49:56] 605*2^1408540-1 is not prime. Res64: F867E90BFB6C0A42 Time : 0.0 sec. user=mdettweiler [2015-09-05 19:50:01] 825*2^1408540-1 is not prime. Res64: 5622A7263C2F5A04 Time : 0.0 sec. user=mdettweiler [2015-09-05 19:50:01] 855*2^1408540-1 is not prime. Res64: 75622D316D4E8A2D Time : 0.0 sec. user=mdettweiler [2015-09-05 19:50:14] 875*2^1408540-1 is not prime. Res64: DCFFD870D3565D1C Time : 0.0 sec. user=mdettweiler [2015-09-05 19:50:14] 619*2^1408541-1 is not prime. Res64: 9BA9695BB7F2438A Time : 0.0 sec. user=juhehe [2015-09-05 20:03:55] 963*2^1408538-1 is not prime. Res64: 824198B8C5B42A0B Time : 0.0 sec. user=mdettweiler [2015-09-05 20:07:55] 697*2^1408541-1 is not prime. Res64: A23FF435DE5CD502 Time : 0.0 sec. user=mdettweiler [2015-09-05 20:07:57] 727*2^1408541-1 is not prime. Res64: 92A47F9FF9C97610 Time : 0.0 sec. user=mdettweiler [2015-09-05 20:08:05] 741*2^1408541-1 is not prime. Res64: 1302022DB4896DFB Time : 0.0 sec. user=mdettweiler [2015-09-05 20:08:07] 825*2^1408541-1 is not prime. Res64: D9A225D131F2B6F6 Time : 0.0 sec. user=mdettweiler [2015-09-05 20:08:31] 907*2^1408541-1 is not prime. Res64: 0317B7D414E8C1FC Time : 0.0 sec. user=mdettweiler [2015-09-05 20:08:33] 939*2^1408541-1 is not prime. Res64: 5B3FFDF02F0BA847 Time : 0.0 sec. user=mdettweiler [2015-09-05 20:08:36] 945*2^1408541-1 is not prime. Res64: E0A916B0026A6002 Time : 0.0 sec. user=mdettweiler [2015-09-05 20:08:41] 979*2^1408541-1 is not prime. Res64: 5B5ED9F014D73E55 Time : 0.0 sec. user=mdettweiler [2015-09-05 20:27:45] 635*2^1408542-1 is not prime. Res64: 4E11DB0A91577C62 Time : 0.0 sec. user=mdettweiler [2015-09-05 20:27:45] 705*2^1408542-1 is not prime. Res64: DA27E9A74FDA0DF2 Time : 0.0 sec. user=mdettweiler [2015-09-05 20:27:53] 725*2^1408542-1 is not prime. Res64: 2E09186E6B3A5FE4 Time : 0.0 sec. user=mdettweiler [2015-09-05 20:27:53] 945*2^1408542-1 is not prime. Res64: 24EA8E4A8AD22953 Time : 0.0 sec. user=mdettweiler [2015-09-05 20:28:08] 765*2^1408542-1 is not prime. Res64: 9BB2F7CBC9EBE926 Time : 0.0 sec. user=mdettweiler [2015-09-05 20:28:08] 833*2^1408542-1 is not prime. Res64: 244CCDE0CEF31CC8 Time : 0.0 sec. user=mdettweiler [2015-09-05 20:28:10] 711*2^1408542-1 is not prime. Res64: CE0D3F0010C1F5CB Time : 0.0 sec. user=mdettweiler [2015-09-05 20:28:11] 975*2^1408542-1 is not prime. Res64: EF46003375704C4D Time : 0.0 sec. user=mdettweiler [2015-09-05 20:46:30] 625*2^1408543-1 is not prime. Res64: 16C40125B3FC8594 Time : 0.0 sec. user=mdettweiler [2015-09-05 20:46:30] 681*2^1408543-1 is not prime. Res64: F43ECB0A00F12FDB Time : 0.0 sec. user=mdettweiler [2015-09-05 20:46:42] 745*2^1408543-1 is not prime. Res64: 040FB5857D20928B Time : 0.0 sec. user=mdettweiler [2015-09-05 20:46:43] 885*2^1408543-1 is not prime. Res64: 17BB35F8A9314783 Time : 0.0 sec. user=mdettweiler [2015-09-05 20:46:59] 913*2^1408543-1 is not prime. Res64: 804484D544B70DCD Time : 0.0 sec. user=mdettweiler [2015-09-05 20:47:00] 717*2^1408544-1 is not prime. Res64: 9D96E5591A9399D8 Time : 0.0 sec. user=mdettweiler [2015-09-05 20:47:03] 753*2^1408544-1 is not prime. Res64: 19444BCAA84E9373 Time : 0.0 sec. user=mdettweiler [2015-09-05 20:47:04] 759*2^1408544-1 is not prime. Res64: E7981CF23CB2198B Time : 0.0 sec. user=mdettweiler [2015-09-05 21:05:15] 855*2^1408544-1 is not prime. Res64: 1D97B90A5F29FA06 Time : 0.0 sec. user=mdettweiler [2015-09-05 21:05:16] 957*2^1408544-1 is not prime. Res64: 15E56DB5E646AE82 Time : 0.0 sec. user=mdettweiler [2015-09-05 21:05:36] 705*2^1408545-1 is not prime. Res64: 8D0325E714511FC5 Time : 0.0 sec. user=mdettweiler [2015-09-05 21:05:37] 781*2^1408545-1 is not prime. Res64: 4DBDD8B583E241C0 Time : 0.0 sec. user=mdettweiler [2015-09-05 21:05:44] 805*2^1408545-1 is not prime. Res64: B05FCAB995D3BBC9 Time : 0.0 sec. user=mdettweiler [2015-09-05 21:05:45] 817*2^1408545-1 is not prime. Res64: 2B7EC1B8ACBDEF05 Time : 0.0 sec. user=mdettweiler [2015-09-05 21:05:51] 979*2^1408545-1 is not prime. Res64: B950B2D46497E19B Time : 0.0 sec. user=mdettweiler [2015-09-05 21:05:51] 611*2^1408546-1 is not prime. Res64: 146F35A3DA91FCA5 Time : 0.0 sec. user=juhehe [2015-09-05 21:23:01] 785*2^1408544-1 is not prime. Res64: C137C45EDE9EC244 Time : 0.0 sec. user=mdettweiler [2015-09-05 21:24:02] 651*2^1408546-1 is not prime. Res64: 0C005AFF3ED2E8AD Time : 0.0 sec. user=mdettweiler [2015-09-05 21:24:03] 695*2^1408546-1 is not prime. Res64: 9AA59AE354975631 Time : 0.0 sec. user=mdettweiler [2015-09-05 21:24:10] 923*2^1408546-1 is not prime. Res64: D6095E413250A3F9 Time : 0.0 sec. user=mdettweiler [2015-09-05 21:24:10] 615*2^1408547-1 is not prime. Res64: 90C8C87605BA78AD Time : 0.0 sec. user=mdettweiler [2015-09-05 21:24:23] 741*2^1408546-1 is not prime. Res64: F4ECA78DFD0FC518 Time : 0.0 sec. user=mdettweiler [2015-09-05 21:24:23] 843*2^1408546-1 is not prime. Res64: EFBD1807CBC1C21C Time : 0.0 sec. user=mdettweiler [2015-09-05 21:24:32] 673*2^1408547-1 is not prime. Res64: C65AFE2C8053E924 Time : 0.0 sec. user=mdettweiler [2015-09-05 21:24:33] 775*2^1408547-1 is not prime. Res64: ADC671C38FBA602C Time : 0.0 sec. user=mdettweiler [2015-09-05 21:42:39] 635*2^1408548-1 is not prime. Res64: A9E4136E5B50856E Time : 0.0 sec. user=mdettweiler [2015-09-05 21:42:39] 647*2^1408548-1 is not prime. Res64: 1EF920278AE71217 Time : 0.0 sec. user=mdettweiler [2015-09-05 21:42:50] 657*2^1408548-1 is not prime. Res64: E03BAB71E5368B78 Time : 0.0 sec. user=mdettweiler [2015-09-05 21:42:50] 759*2^1408548-1 is not prime. Res64: D62A1216E7F142D4 Time : 0.0 sec. user=mdettweiler [2015-09-05 21:43:07] 879*2^1408548-1 is not prime. Res64: 95216043F06E1D3B Time : 0.0 sec. user=mdettweiler [2015-09-05 21:43:08] 933*2^1408548-1 is not prime. Res64: BB59192741548833 Time : 0.0 sec. user=mdettweiler [2015-09-05 21:43:15] 619*2^1408549-1 is not prime. Res64: 8210FD7B98F57E4D Time : 0.0 sec. user=mdettweiler [2015-09-05 21:43:15] 765*2^1408549-1 is not prime. Res64: CE835BCCB31631DB Time : 0.0 sec. user=juhehe [2015-09-05 22:00:51] 973*2^1408547-1 is not prime. Res64: 974DDD757CDB7073 Time : 0.0 sec. user=mdettweiler [2015-09-05 22:01:39] 801*2^1408549-1 is not prime. Res64: D37DC7F64C322821 Time : 0.0 sec. user=mdettweiler [2015-09-05 22:01:39] 817*2^1408549-1 is not prime. Res64: CCA68459272C80A3 Time : 0.0 sec. user=mdettweiler [2015-09-05 22:01:50] 951*2^1408549-1 is not prime. Res64: EE14CAF5436C7F0E Time : 0.0 sec. user=mdettweiler [2015-09-05 22:01:51] 975*2^1408549-1 is not prime. Res64: 3399AEB6A7BBA30A Time : 0.0 sec. user=mdettweiler [2015-09-05 22:02:05] 731*2^1408550-1 is not prime. Res64: 2340451B033B037B Time : 0.0 sec. user=mdettweiler [2015-09-05 22:02:06] 743*2^1408550-1 is not prime. Res64: 2D9126437E999395 Time : 0.0 sec. user=mdettweiler [2015-09-05 22:02:23] 753*2^1408550-1 is not prime. Res64: A1F11360BFC948A8 Time : 0.0 sec. user=mdettweiler [2015-09-05 22:02:23] 791*2^1408550-1 is not prime. Res64: C4BC04C9206BE063 Time : 0.0 sec. user=mdettweiler [2015-09-05 22:20:10] 801*2^1408550-1 is not prime. Res64: 0729FA82279744DD Time : 0.0 sec. user=mdettweiler [2015-09-05 22:20:10] 843*2^1408550-1 is not prime. Res64: 394333CA53252568 Time : 0.0 sec. user=mdettweiler [2015-09-05 22:20:18] 981*2^1408550-1 is not prime. Res64: 608BA727C9CBA796 Time : 0.0 sec. user=mdettweiler [2015-09-05 22:20:19] 995*2^1408550-1 is not prime. Res64: 507DE70B765876DC Time : 0.0 sec. user=mdettweiler [2015-09-05 22:20:38] 625*2^1408551-1 is not prime. Res64: 32296EC0F91202BF Time : 0.0 sec. user=mdettweiler [2015-09-05 22:20:39] 829*2^1408551-1 is not prime. Res64: 61C0EFD2433B6517 Time : 0.0 sec. user=mdettweiler [2015-09-05 22:20:50] 945*2^1408551-1 is not prime. Res64: E5B03EABA84829CE Time : 0.0 sec. user=mdettweiler [2015-09-05 22:20:50] 665*2^1408552-1 is not prime. Res64: BF89AA4674A65013 Time : 0.0 sec. user=mdettweiler [2015-09-05 22:37:47] 693*2^1408552-1 is not prime. Res64: C015F3119DE4C136 Time : 0.0 sec. user=mdettweiler [2015-09-05 22:37:48] 855*2^1408552-1 is not prime. Res64: 2AD678DE800CB874 Time : 0.0 sec. user=mdettweiler [2015-09-05 22:38:06] 933*2^1408552-1 is not prime. Res64: 264B4968FA794779 Time : 0.0 sec. user=mdettweiler [2015-09-05 22:38:06] 989*2^1408552-1 is not prime. Res64: 6B2B728A918F4D01 Time : 0.0 sec. user=mdettweiler [2015-09-05 22:38:21] 619*2^1408553-1 is not prime. Res64: F98DC2B887DC351C Time : 0.0 sec. user=mdettweiler [2015-09-05 22:38:21] 649*2^1408553-1 is not prime. Res64: 6423857A1A15D6FE Time : 0.0 sec. user=mdettweiler [2015-09-05 22:38:40] 657*2^1408553-1 is not prime. Res64: 9AB0C09D980C3D73 Time : 0.0 sec. user=mdettweiler [2015-09-05 22:38:41] 675*2^1408553-1 is not prime. Res64: B3CA674ACFDAF27D Time : 0.0 sec. user=mdettweiler [2015-09-05 22:55:25] 697*2^1408553-1 is not prime. Res64: B976B4BC63151B16 Time : 0.0 sec. user=mdettweiler [2015-09-05 22:55:26] 727*2^1408553-1 is not prime. Res64: 545CA244F8F16465 Time : 0.0 sec. user=mdettweiler [2015-09-05 22:55:51] 735*2^1408553-1 is not prime. Res64: 874F588F4416095B Time : 0.0 sec. user=mdettweiler [2015-09-05 22:55:51] 851*2^1408554-1 is not prime. Res64: 211E93D17C5E5109 Time : 0.0 sec. user=mdettweiler [2015-09-05 22:56:15] 975*2^1408554-1 is not prime. Res64: 18B52C2B62C79E42 Time : 0.0 sec. user=mdettweiler [2015-09-05 22:56:15] 645*2^1408555-1 is not prime. Res64: 0E63A4756F987A17 Time : 0.0 sec. user=mdettweiler [2015-09-05 22:56:19] 709*2^1408555-1 is not prime. Res64: 133F74D16CC650ED Time : 0.0 sec. user=mdettweiler [2015-09-05 22:56:20] 909*2^1408555-1 is not prime. Res64: 9E52F539A44470DD Time : 0.0 sec. user=mdettweiler [2015-09-05 23:13:10] 629*2^1408556-1 is not prime. Res64: DAE8FE0CA312191F Time : 0.0 sec. user=mdettweiler [2015-09-05 23:13:11] 743*2^1408556-1 is not prime. Res64: A84E5E6C94247FD7 Time : 0.0 sec. user=mdettweiler [2015-09-05 23:13:29] 953*2^1408556-1 is not prime. Res64: A90F8FDB6709A756 Time : 0.0 sec. user=mdettweiler [2015-09-05 23:13:29] 607*2^1408557-1 is not prime. Res64: 9D6A0F8586800548 Time : 0.0 sec. user=mdettweiler [2015-09-05 23:13:57] 621*2^1408557-1 is not prime. Res64: 5B24838E325CBE3D Time : 0.0 sec. user=mdettweiler [2015-09-05 23:13:57] 655*2^1408557-1 is not prime. Res64: 597E93E7E4F20169 Time : 0.0 sec. user=mdettweiler [2015-09-05 23:14:03] 765*2^1408557-1 is not prime. Res64: D2D61C8A4BDC41FA Time : 0.0 sec. user=mdettweiler [2015-09-05 23:14:03] 795*2^1408557-1 is not prime. Res64: D910B7A5B46A8392 Time : 0.0 sec. user=juhehe [2015-09-05 23:18:22] 969*2^1408555-1 is not prime. Res64: A41F6FCF3419BD4A Time : 0.0 sec. user=mdettweiler [2015-09-05 23:30:55] 861*2^1408557-1 is not prime. Res64: A76A296F1C747046 Time : 0.0 sec. user=mdettweiler [2015-09-05 23:30:55] 611*2^1408558-1 is not prime. Res64: A05E204F8FA1D03E Time : 0.0 sec. user=mdettweiler [2015-09-05 23:31:11] 681*2^1408558-1 is not prime. Res64: AF69D9E0AA3A3E29 Time : 0.0 sec. user=mdettweiler [2015-09-05 23:31:11] 731*2^1408558-1 is not prime. Res64: 512E5A1F9FEBA5B3 Time : 0.0 sec. user=mdettweiler [2015-09-05 23:31:43] 845*2^1408558-1 is not prime. Res64: DC85B1C8C0A7D3E6 Time : 0.0 sec. user=mdettweiler [2015-09-05 23:31:44] 601*2^1408559-1 is not prime. Res64: DA62ED9B90F2FBE0 Time : 0.0 sec. user=mdettweiler [2015-09-05 23:31:44] 923*2^1408558-1 is not prime. Res64: 8B0F8A83E1F5C87E Time : 0.0 sec. user=mdettweiler [2015-09-05 23:31:44] 615*2^1408559-1 is not prime. Res64: FEE075CAC5A2C3B0 Time : 0.0 sec. user=mdettweiler [2015-09-05 23:48:45] 735*2^1408559-1 is not prime. Res64: C0F51FD2B7FC4A8B Time : 0.0 sec. user=mdettweiler [2015-09-05 23:48:45] 939*2^1408559-1 is not prime. Res64: DAD409FBC4B2D27D Time : 0.0 sec. user=mdettweiler [2015-09-05 23:48:53] 653*2^1408560-1 is not prime. Res64: 1D1A2D3242D1C88F Time : 0.0 sec. user=mdettweiler [2015-09-05 23:48:54] 867*2^1408560-1 is not prime. Res64: 3D974CF2424DD502 Time : 0.0 sec. user=mdettweiler [2015-09-05 23:49:24] 909*2^1408560-1 is not prime. Res64: 5A825E3EFFC27B95 Time : 0.0 sec. user=mdettweiler [2015-09-05 23:49:24] 927*2^1408560-1 is not prime. Res64: D8B6A7942A39B514 Time : 0.0 sec. user=mdettweiler [2015-09-05 23:49:33] 975*2^1408560-1 is not prime. Res64: 778603CD5A4041B5 Time : 0.0 sec. user=mdettweiler [2015-09-05 23:49:34] 607*2^1408561-1 is not prime. Res64: 4A6F79104A88A28F Time : 0.0 sec. user=juhehe [2015-09-05 23:56:54] 693*2^1408559-1 is not prime. Res64: 136A6EC75C8C3562 Time : 0.0 sec.