user=mdettweiler [2013-09-07 00:01:45] 999*2^1252545-1 is not prime. Res64: 3C9AE8A2ADA58F66 Time : 0.0 sec. user=mdettweiler [2013-09-07 00:01:46] 677*2^1252546-1 is not prime. Res64: 9CD6FD63B58195AC Time : 0.0 sec. user=mdettweiler [2013-09-07 00:04:19] 917*2^1252546-1 is not prime. Res64: 060D082A27D89368 Time : 0.0 sec. user=mdettweiler [2013-09-07 00:04:21] 655*2^1252547-1 is not prime. Res64: 75B19022683DD81F Time : 0.0 sec. user=mdettweiler [2013-09-07 00:09:00] 703*2^1252547-1 is not prime. Res64: 7BF22FAB4621D5A0 Time : 0.0 sec. user=mdettweiler [2013-09-07 00:09:01] 753*2^1252547-1 is not prime. Res64: 215BA1CF75FBB0C1 Time : 0.0 sec. user=mdettweiler [2013-09-07 00:18:20] 759*2^1252547-1 is not prime. Res64: 08CFF161B5C6E19B Time : 0.0 sec. user=mdettweiler [2013-09-07 00:18:20] 775*2^1252547-1 is not prime. Res64: 76F94156677D761B Time : 0.0 sec. user=mdettweiler [2013-09-07 00:21:39] 825*2^1252547-1 is not prime. Res64: DA5E249272D4FD09 Time : 0.0 sec. user=mdettweiler [2013-09-07 00:21:39] 843*2^1252547-1 is not prime. Res64: 7B4CE777B541BC97 Time : 0.0 sec. user=mdettweiler [2013-09-07 00:26:02] 949*2^1252547-1 is not prime. Res64: 0C58C534D236C155 Time : 0.0 sec. user=mdettweiler [2013-09-07 00:26:03] 909*2^1252548-1 is not prime. Res64: A1D376D077B58A52 Time : 0.0 sec. user=mdettweiler [2013-09-07 00:28:44] 661*2^1252549-1 is not prime. Res64: 4439F39A90FBE4AD Time : 0.0 sec. user=mdettweiler [2013-09-07 00:28:44] 769*2^1252549-1 is not prime. Res64: 48907E90F5248AD2 Time : 0.0 sec. user=mdettweiler [2013-09-07 00:38:54] 835*2^1252549-1 is not prime. Res64: 8E13BC1A49C22270 Time : 0.0 sec. user=mdettweiler [2013-09-07 00:38:55] 877*2^1252549-1 is not prime. Res64: 4722A378846663D6 Time : 0.0 sec. user=mdettweiler [2013-09-07 00:42:15] 987*2^1252549-1 is not prime. Res64: 0B6992C288EEAEEE Time : 0.0 sec. user=mdettweiler [2013-09-07 00:42:15] 675*2^1252550-1 is not prime. Res64: 351E2DB311DD3723 Time : 0.0 sec. user=mdettweiler [2013-09-07 00:45:45] 707*2^1252550-1 is not prime. Res64: 14EE3F9380669C8E Time : 0.0 sec. user=mdettweiler [2013-09-07 00:45:45] 743*2^1252550-1 is not prime. Res64: 4EBE6B87B3D6D444 Time : 0.0 sec. user=mdettweiler [2013-09-07 00:48:23] 753*2^1252550-1 is not prime. Res64: EC68C8BB01A2CF40 Time : 0.0 sec. user=mdettweiler [2013-09-07 00:48:23] 813*2^1252550-1 is not prime. Res64: B82059FBC9515400 Time : 0.0 sec. user=mdettweiler [2013-09-07 01:00:30] 945*2^1252550-1 is not prime. Res64: 88ED420F22EDD938 Time : 0.0 sec. user=mdettweiler [2013-09-07 01:00:31] 981*2^1252550-1 is not prime. Res64: 38207DD8420CBECF Time : 0.0 sec. user=mdettweiler [2013-09-07 01:01:50] 679*2^1252551-1 is not prime. Res64: B8B64E7C80F02056 Time : 0.0 sec. user=mdettweiler [2013-09-07 01:01:51] 723*2^1252551-1 is not prime. Res64: EC0EB65748278BB4 Time : 0.0 sec. user=mdettweiler [2013-09-07 01:05:29] 745*2^1252551-1 is not prime. Res64: 9AC230087BFC3468 Time : 0.0 sec. user=mdettweiler [2013-09-07 01:05:30] 751*2^1252551-1 is not prime. Res64: 7D28093156ED6749 Time : 0.0 sec. user=mdettweiler [2013-09-07 01:09:01] 763*2^1252551-1 is not prime. Res64: C3C13B176C9DD4C4 Time : 0.0 sec. user=mdettweiler [2013-09-07 01:09:02] 945*2^1252551-1 is not prime. Res64: 6418E9AF9BA5C1E9 Time : 0.0 sec. user=mdettweiler [2013-09-07 01:21:11] 999*2^1252551-1 is not prime. Res64: C569889D85223C5B Time : 0.0 sec. user=mdettweiler [2013-09-07 01:21:11] 617*2^1252552-1 is not prime. Res64: 60F7EE7D041E3FA3 Time : 0.0 sec. user=mdettweiler [2013-09-07 01:21:41] 623*2^1252552-1 is not prime. Res64: 99976B60A09BC4C7 Time : 0.0 sec. user=mdettweiler [2013-09-07 01:21:42] 693*2^1252552-1 is not prime. Res64: BDD361BC8F685303 Time : 0.0 sec. user=mdettweiler [2013-09-07 01:25:12] 779*2^1252552-1 is not prime. Res64: 67A305D225EE1337 Time : 0.0 sec. user=mdettweiler [2013-09-07 01:25:12] 803*2^1252552-1 is not prime. Res64: D5EFB4F32723704C Time : 0.0 sec. user=mdettweiler [2013-09-07 01:28:46] 657*2^1252553-1 is not prime. Res64: C14694512F22793B Time : 0.0 sec. user=mdettweiler [2013-09-07 01:28:46] 705*2^1252553-1 is not prime. Res64: 806872FC6F39903F Time : 0.0 sec. user=mdettweiler [2013-09-07 01:40:58] 729*2^1252553-1 is not prime. Res64: A2A124D23E7C82BB Time : 0.0 sec. user=mdettweiler [2013-09-07 01:40:58] 741*2^1252553-1 is not prime. Res64: 701669BB5FD279DC Time : 0.0 sec. user=mdettweiler [2013-09-07 01:42:26] 861*2^1252553-1 is not prime. Res64: 8FDD71A70911DA00 Time : 0.0 sec. user=mdettweiler [2013-09-07 01:42:26] 879*2^1252553-1 is not prime. Res64: 5E357698050AEAE6 Time : 0.0 sec. user=mdettweiler [2013-09-07 01:45:52] 955*2^1252553-1 is not prime. Res64: D9E1989D01988B79 Time : 0.0 sec. user=mdettweiler [2013-09-07 01:45:52] 635*2^1252554-1 is not prime. Res64: E23F5E9711E98659 Time : 0.0 sec. user=mdettweiler [2013-09-07 01:49:26] 783*2^1252554-1 is not prime. Res64: FDF7229CBFDF4E9B Time : 0.0 sec. user=mdettweiler [2013-09-07 01:49:27] 941*2^1252554-1 is not prime. Res64: 937A58B84E193CEA Time : 0.0 sec. user=mdettweiler [2013-09-07 02:00:41] 625*2^1252555-1 is not prime. Res64: ECF6B845006DBC35 Time : 0.0 sec. user=mdettweiler [2013-09-07 02:00:42] 645*2^1252555-1 is not prime. Res64: 7111A0C49876EDFE Time : 0.0 sec. user=mdettweiler [2013-09-07 02:02:06] 735*2^1252555-1 is not prime. Res64: 4DFC506E98A34C92 Time : 0.0 sec. user=mdettweiler [2013-09-07 02:02:07] 771*2^1252555-1 is not prime. Res64: 6A0D2D1E930F5B44 Time : 0.0 sec. user=mdettweiler [2013-09-07 02:05:30] 793*2^1252555-1 is not prime. Res64: FA60100CDC1F6CC0 Time : 0.0 sec. user=mdettweiler [2013-09-07 02:05:31] 633*2^1252556-1 is not prime. Res64: 436F1F3B3E633C87 Time : 0.0 sec. user=mdettweiler [2013-09-07 02:09:04] 647*2^1252556-1 is not prime. Res64: 39202531C0D7EC99 Time : 0.0 sec. user=mdettweiler [2013-09-07 02:09:04] 683*2^1252556-1 is not prime. Res64: 8D9B670848514137 Time : 0.0 sec. user=mdettweiler [2013-09-07 02:21:22] 993*2^1252556-1 is not prime. Res64: 302F06B797271B4E Time : 0.0 sec. user=mdettweiler [2013-09-07 02:21:23] 699*2^1252557-1 is not prime. Res64: DE8AEEC5C6B66222 Time : 0.0 sec. user=mdettweiler [2013-09-07 02:21:49] 751*2^1252557-1 is not prime. Res64: FD8B4355E262048E Time : 0.0 sec. user=mdettweiler [2013-09-07 02:21:50] 859*2^1252557-1 is not prime. Res64: CA71FCE8A2392EFB Time : 0.0 sec. user=mdettweiler [2013-09-07 02:25:14] 605*2^1252558-1 is not prime. Res64: BCCAD53CAB054E7B Time : 0.0 sec. user=mdettweiler [2013-09-07 02:25:14] 723*2^1252558-1 is not prime. Res64: 22493FEB105583C2 Time : 0.0 sec. user=mdettweiler [2013-09-07 02:28:46] 755*2^1252558-1 is not prime. Res64: AD5A8522E7C115B2 Time : 0.0 sec. user=mdettweiler [2013-09-07 02:28:47] 833*2^1252558-1 is not prime. Res64: 49623D5275617E91 Time : 0.0 sec. user=mdettweiler [2013-09-07 02:41:59] 855*2^1252558-1 is not prime. Res64: 42BA6F327ED7CF4C Time : 0.0 sec. user=mdettweiler [2013-09-07 02:42:00] 885*2^1252558-1 is not prime. Res64: 9E8D108F28F6F52E Time : 0.0 sec. user=mdettweiler [2013-09-07 02:43:24] 897*2^1252558-1 is not prime. Res64: 7AE194AE31D71B95 Time : 0.0 sec. user=mdettweiler [2013-09-07 02:43:25] 911*2^1252558-1 is not prime. Res64: 468185F7598F8A42 Time : 0.0 sec. user=mdettweiler [2013-09-07 02:45:51] 971*2^1252558-1 is not prime. Res64: 20C5FAE82F79E4A8 Time : 0.0 sec. user=mdettweiler [2013-09-07 02:45:52] 621*2^1252559-1 is not prime. Res64: 2CBC76DE670C33E1 Time : 0.0 sec. user=mdettweiler [2013-09-07 02:48:29] 661*2^1252559-1 is not prime. Res64: 180B9F777E2BC8EB Time : 0.0 sec. user=mdettweiler [2013-09-07 02:48:30] 703*2^1252559-1 is not prime. Res64: 45B5B22BFAFAE695 Time : 0.0 sec. user=mdettweiler [2013-09-07 03:01:49] 825*2^1252559-1 is not prime. Res64: 01432CE01402578A Time : 0.0 sec. user=mdettweiler [2013-09-07 03:01:51] 861*2^1252559-1 is not prime. Res64: B67597DA7ACF7FB3 Time : 0.0 sec. user=mdettweiler [2013-09-07 03:04:03] 993*2^1252559-1 is not prime. Res64: 97280FDC4498BE54 Time : 0.0 sec. user=mdettweiler [2013-09-07 03:04:04] 609*2^1252560-1 is not prime. Res64: 5075F4AF3F17DB67 Time : 0.0 sec. user=mdettweiler [2013-09-07 03:05:30] 675*2^1252560-1 is not prime. Res64: 4C76885275210EAA Time : 0.0 sec. user=mdettweiler [2013-09-07 03:05:31] 875*2^1252560-1 is not prime. Res64: D589C6E645ABF3A9 Time : 0.0 sec. user=mdettweiler [2013-09-07 03:10:05] 887*2^1252560-1 is not prime. Res64: E546DFBA11F1385C Time : 0.0 sec. user=mdettweiler [2013-09-07 03:10:06] 927*2^1252560-1 is not prime. Res64: 830B81DB6BBCFAE6 Time : 0.0 sec. user=mdettweiler [2013-09-07 03:22:00] 807*2^1252561-1 is not prime. Res64: 782EB4734D8C39D6 Time : 0.0 sec. user=mdettweiler [2013-09-07 03:22:01] 817*2^1252561-1 is not prime. Res64: EE1EAB25FABDB99D Time : 0.0 sec. user=mdettweiler [2013-09-07 03:24:45] 861*2^1252561-1 is not prime. Res64: A2663615A56B2DBA Time : 0.0 sec. user=mdettweiler [2013-09-07 03:24:45] 951*2^1252561-1 is not prime. Res64: EA62801262E6D533 Time : 0.0 sec. user=mdettweiler [2013-09-07 03:27:04] 955*2^1252561-1 is not prime. Res64: 7942B31F720FF490 Time : 0.0 sec. user=mdettweiler [2013-09-07 03:27:04] 975*2^1252561-1 is not prime. Res64: 72FAB540E35F6B04 Time : 0.0 sec. user=mdettweiler [2013-09-07 03:29:53] 635*2^1252562-1 is not prime. Res64: 0EE03BE6A5D07346 Time : 0.0 sec. user=mdettweiler [2013-09-07 03:29:54] 665*2^1252562-1 is not prime. Res64: 46902D1B7458DBEA Time : 0.0 sec. user=mdettweiler [2013-09-07 03:41:50] 671*2^1252562-1 is not prime. Res64: E73EA35600FAAF3F Time : 0.0 sec. user=mdettweiler [2013-09-07 03:41:51] 731*2^1252562-1 is not prime. Res64: 2E0AE18913F50864 Time : 0.0 sec. user=mdettweiler [2013-09-07 03:45:21] 815*2^1252562-1 is not prime. Res64: 007E801B6C0F575B Time : 0.0 sec. user=mdettweiler [2013-09-07 03:45:22] 885*2^1252562-1 is not prime. Res64: 4224801BF8BC4941 Time : 0.0 sec. user=mdettweiler [2013-09-07 03:48:37] 887*2^1252562-1 is not prime. Res64: AFAFE9BE31F88E67 Time : 0.0 sec. user=mdettweiler [2013-09-07 03:48:38] 945*2^1252562-1 is not prime. Res64: D66EF1D433120849 Time : 0.0 sec. user=mdettweiler [2013-09-07 03:50:26] 977*2^1252562-1 is not prime. Res64: D311867DC22D27C5 Time : 0.0 sec. user=mdettweiler [2013-09-07 03:50:27] 615*2^1252563-1 is not prime. Res64: FBEAF535B9A1E50A Time : 0.0 sec. user=mdettweiler [2013-09-07 04:01:29] 649*2^1252563-1 is not prime. Res64: AC10CC0BD5DC530E Time : 0.0 sec. user=mdettweiler [2013-09-07 04:01:30] 685*2^1252563-1 is not prime. Res64: 8AB0CB21CFC66619 Time : 0.0 sec. user=mdettweiler [2013-09-07 04:04:58] 723*2^1252563-1 is not prime. Res64: 573E16A31E0D468A Time : 0.0 sec. user=mdettweiler [2013-09-07 04:04:59] 753*2^1252563-1 is not prime. Res64: 3AF77E3B35283B35 Time : 0.0 sec. user=mdettweiler [2013-09-07 04:08:14] 781*2^1252563-1 is not prime. Res64: 488A017A474D02AD Time : 0.0 sec. user=mdettweiler [2013-09-07 04:08:15] 801*2^1252563-1 is not prime. Res64: 6819CA3B306933B9 Time : 0.0 sec. user=mdettweiler [2013-09-07 04:11:50] 885*2^1252563-1 is not prime. Res64: B9FE07C7E41B3D78 Time : 0.0 sec. user=mdettweiler [2013-09-07 04:11:52] 913*2^1252563-1 is not prime. Res64: B14B17D98951E5CE Time : 0.0 sec. user=mdettweiler [2013-09-07 04:23:24] 945*2^1252563-1 is not prime. Res64: 5F013CBA5FE4F2AC Time : 0.0 sec. user=mdettweiler [2013-09-07 04:23:24] 963*2^1252563-1 is not prime. Res64: 81227B349F737B38 Time : 0.0 sec. user=mdettweiler [2013-09-07 04:25:36] 985*2^1252563-1 is not prime. Res64: 05AEF4D230C31DD5 Time : 0.0 sec. user=mdettweiler [2013-09-07 04:25:37] 609*2^1252564-1 is not prime. Res64: F30E8AC473149566 Time : 0.0 sec. user=mdettweiler [2013-09-07 04:27:55] 833*2^1252564-1 is not prime. Res64: A45CA2DAA52E0F9B Time : 0.0 sec. user=mdettweiler [2013-09-07 04:27:55] 873*2^1252564-1 is not prime. Res64: 44A3218BA81FE2D9 Time : 0.0 sec. user=mdettweiler [2013-09-07 04:31:31] 679*2^1252565-1 is not prime. Res64: FC9116E633A3B5F2 Time : 0.0 sec. user=mdettweiler [2013-09-07 04:31:32] 697*2^1252565-1 is not prime. Res64: 5E33841300ED12B3 Time : 0.0 sec. user=mdettweiler [2013-09-07 04:44:01] 735*2^1252565-1 is not prime. Res64: BEAE33168C3AC80E Time : 0.0 sec. user=mdettweiler [2013-09-07 04:44:01] 907*2^1252565-1 is not prime. Res64: 0436BEB547B95AEF Time : 0.0 sec. user=mdettweiler [2013-09-07 04:47:05] 937*2^1252565-1 is not prime. Res64: 63887F08CC8FDBE5 Time : 0.0 sec. user=mdettweiler [2013-09-07 04:47:06] 981*2^1252565-1 is not prime. Res64: 64902133FE067754 Time : 0.0 sec. user=mdettweiler [2013-09-07 04:48:28] 985*2^1252565-1 is not prime. Res64: B1A577B80AA7F8B4 Time : 0.0 sec. user=mdettweiler [2013-09-07 04:48:28] 641*2^1252566-1 is not prime. Res64: 4498F8BF2AE870DF Time : 0.0 sec. user=mdettweiler [2013-09-07 04:51:12] 713*2^1252566-1 is not prime. Res64: CDCE48AEFD32AF41 Time : 0.0 sec. user=mdettweiler [2013-09-07 04:51:12] 815*2^1252566-1 is not prime. Res64: 3869FB0280B414E6 Time : 0.0 sec. user=mdettweiler [2013-09-07 05:03:39] 851*2^1252566-1 is not prime. Res64: 5482BF476D5AF37D Time : 0.0 sec. user=mdettweiler [2013-09-07 05:03:41] 873*2^1252566-1 is not prime. Res64: A3F1F180C9B726D1 Time : 0.0 sec. user=mdettweiler [2013-09-07 05:07:41] 941*2^1252566-1 is not prime. Res64: 7045D64832B313C8 Time : 0.0 sec. user=mdettweiler [2013-09-07 05:07:42] 633*2^1252567-1 is not prime. Res64: 44CAF95E0F50939D Time : 0.0 sec. user=mdettweiler [2013-09-07 05:08:04] 705*2^1252567-1 is not prime. Res64: 584AB13A68AEFA5C Time : 0.0 sec. user=mdettweiler [2013-09-07 05:08:05] 735*2^1252567-1 is not prime. Res64: 6120778462E5AE4E Time : 0.0 sec. user=mdettweiler [2013-09-07 05:10:47] 871*2^1252567-1 is not prime. Res64: 04431F1F29FAD4C9 Time : 0.0 sec. user=mdettweiler [2013-09-07 05:10:48] 873*2^1252567-1 is not prime. Res64: E0E7C02B12573401 Time : 0.0 sec. user=mdettweiler [2013-09-07 05:25:17] 885*2^1252567-1 is not prime. Res64: C5E7E8C6998B2B56 Time : 0.0 sec. user=mdettweiler [2013-09-07 05:25:17] 931*2^1252567-1 is not prime. Res64: 1E6458467DABAA76 Time : 0.0 sec. user=mdettweiler [2013-09-07 05:28:16] 975*2^1252567-1 is not prime. Res64: 63D3C0C666724848 Time : 0.0 sec. user=mdettweiler [2013-09-07 05:28:16] 659*2^1252568-1 is not prime. Res64: CDFAFDC7D90DB445 Time : 0.0 sec. user=mdettweiler [2013-09-07 05:28:49] 999*2^1252568-1 is not prime. Res64: 95079F076AB1EF81 Time : 0.0 sec. user=mdettweiler [2013-09-07 05:28:50] 681*2^1252569-1 is not prime. Res64: FF8E1EA8A428D1A3 Time : 0.0 sec. user=mdettweiler [2013-09-07 05:32:24] 885*2^1252569-1 is not prime. Res64: 5BF989188827AD4D Time : 0.0 sec. user=mdettweiler [2013-09-07 05:32:25] 889*2^1252569-1 is not prime. Res64: 44C841389A896EED Time : 0.0 sec. user=mdettweiler [2013-09-07 05:46:44] 909*2^1252569-1 is not prime. Res64: 07F720F870D4E565 Time : 0.0 sec. user=mdettweiler [2013-09-07 05:46:44] 919*2^1252569-1 is not prime. Res64: 42C1B8D6099ED037 Time : 0.0 sec. user=mdettweiler [2013-09-07 05:48:29] 657*2^1252570-1 is not prime. Res64: 3676EBD0B55108FD Time : 0.0 sec. user=mdettweiler [2013-09-07 05:48:29] 677*2^1252570-1 is not prime. Res64: 05CB8E16E2CC1B50 Time : 0.0 sec. user=mdettweiler [2013-09-07 05:49:44] 921*2^1252569-1 is not prime. Res64: 3BEF58E5040A6D14 Time : 0.0 sec. user=mdettweiler [2013-09-07 05:49:45] 979*2^1252569-1 is not prime. Res64: FA0B21149A8C89C7 Time : 0.0 sec. user=mdettweiler [2013-09-07 05:52:07] 701*2^1252570-1 is not prime. Res64: A3BB929D623541E9 Time : 0.0 sec. user=mdettweiler [2013-09-07 05:52:07] 755*2^1252570-1 is not prime. Res64: 39FB918398A71923 Time : 0.0 sec. user=mdettweiler [2013-09-07 06:06:25] 735*2^1252571-1 is not prime. Res64: A37435D2521E29BF Time : 0.0 sec. user=mdettweiler [2013-09-07 06:06:26] 759*2^1252571-1 is not prime. Res64: 652BAA7E2D515BEA Time : 0.0 sec. user=mdettweiler [2013-09-07 06:09:05] 825*2^1252571-1 is not prime. Res64: 0AE777474F39B6AC Time : 0.0 sec. user=mdettweiler [2013-09-07 06:09:06] 949*2^1252571-1 is not prime. Res64: E162C660D1D31468 Time : 0.0 sec. user=mdettweiler [2013-09-07 06:10:16] 969*2^1252571-1 is not prime. Res64: CDE7DA9DF2F8DF63 Time : 0.0 sec. user=mdettweiler [2013-09-07 06:10:18] 635*2^1252572-1 is not prime. Res64: 99543A77CDCE5177 Time : 0.0 sec. user=mdettweiler [2013-09-07 06:11:43] 647*2^1252572-1 is not prime. Res64: B589C558E4F94D17 Time : 0.0 sec. user=mdettweiler [2013-09-07 06:11:44] 689*2^1252572-1 is not prime. Res64: 9959076F8E6F2B85 Time : 0.0 sec. user=mdettweiler [2013-09-07 06:26:07] 759*2^1252572-1 is not prime. Res64: 13E609034E0A5143 Time : 0.0 sec. user=mdettweiler [2013-09-07 06:26:07] 797*2^1252572-1 is not prime. Res64: C1A384C6FC761CA7 Time : 0.0 sec. user=mdettweiler [2013-09-07 06:28:43] 825*2^1252572-1 is not prime. Res64: F540600DF3E54883 Time : 0.0 sec. user=mdettweiler [2013-09-07 06:28:43] 873*2^1252572-1 is not prime. Res64: 25F7A0272BCE2364 Time : 0.0 sec. user=mdettweiler [2013-09-07 06:31:18] 649*2^1252573-1 is not prime. Res64: 47A33C424C8CB7D9 Time : 0.0 sec. user=mdettweiler [2013-09-07 06:31:18] 727*2^1252573-1 is not prime. Res64: 61C6D7BD631865DE Time : 0.0 sec. user=mdettweiler [2013-09-07 06:31:45] 879*2^1252572-1 is not prime. Res64: DCE84C8B7DCBC75E Time : 0.0 sec. user=mdettweiler [2013-09-07 06:31:46] 977*2^1252572-1 is not prime. Res64: 0751EDBA0B578F44 Time : 0.0 sec. user=mdettweiler [2013-09-07 06:45:47] 811*2^1252573-1 is not prime. Res64: 7C6687CF54391084 Time : 0.0 sec. user=mdettweiler [2013-09-07 06:45:48] 861*2^1252573-1 is not prime. Res64: 7D35449AAC273FC8 Time : 0.0 sec. user=mdettweiler [2013-09-07 06:50:21] 939*2^1252573-1 is not prime. Res64: 78FFD71C3CC21474 Time : 0.0 sec. user=mdettweiler [2013-09-07 06:50:21] 955*2^1252573-1 is not prime. Res64: BBD8C38F9674FBB0 Time : 0.0 sec. user=mdettweiler [2013-09-07 06:51:27] 605*2^1252574-1 is not prime. Res64: 1870F8DC7B831FEC Time : 0.0 sec. user=mdettweiler [2013-09-07 06:51:28] 683*2^1252574-1 is not prime. Res64: BB561822D63A3A7E Time : 0.0 sec. user=mdettweiler [2013-09-07 06:52:50] 987*2^1252573-1 is not prime. Res64: 41D8AC6EBF3D817F Time : 0.0 sec. user=mdettweiler [2013-09-07 06:52:51] 999*2^1252573-1 is not prime. Res64: 5FAB9BEAFFA71909 Time : 0.0 sec. user=mdettweiler [2013-09-07 07:05:33] 687*2^1252574-1 is not prime. Res64: 7DE41A9EF38417D8 Time : 0.0 sec. user=mdettweiler [2013-09-07 07:05:34] 705*2^1252574-1 is not prime. Res64: C9D7F2F779397021 Time : 0.0 sec. user=mdettweiler [2013-09-07 07:11:00] 785*2^1252574-1 is not prime. Res64: 4C2CAC446D6DA371 Time : 0.0 sec. user=mdettweiler [2013-09-07 07:11:01] 917*2^1252574-1 is not prime. Res64: 264345CBE68AA3AC Time : 0.0 sec. user=mdettweiler [2013-09-07 07:13:07] 941*2^1252574-1 is not prime. Res64: BCDC0EF1606C4950 Time : 0.0 sec. user=mdettweiler [2013-09-07 07:13:07] 965*2^1252574-1 is not prime. Res64: F4CB6EF2D97ADB2C Time : 0.0 sec. user=mdettweiler [2013-09-07 07:13:27] 983*2^1252574-1 is not prime. Res64: FD47BC2F1C5EB32D Time : 0.0 sec. user=mdettweiler [2013-09-07 07:13:27] 601*2^1252575-1 is not prime. Res64: D1EF7866AF5FE2EA Time : 0.0 sec. user=mdettweiler [2013-09-07 07:26:19] 783*2^1252575-1 is not prime. Res64: 7986FACB8F94A738 Time : 0.0 sec. user=mdettweiler [2013-09-07 07:26:20] 885*2^1252575-1 is not prime. Res64: 609AC93A954690F5 Time : 0.0 sec. user=mdettweiler [2013-09-07 07:32:33] 933*2^1252575-1 is not prime. Res64: A50317BCC09002F3 Time : 0.0 sec. user=mdettweiler [2013-09-07 07:32:33] 973*2^1252575-1 is not prime. Res64: 0E311DED0641D097 Time : 0.0 sec. user=mdettweiler [2013-09-07 07:34:05] 999*2^1252576-1 is not prime. Res64: DF16F2CC1953D0C5 Time : 0.0 sec. user=mdettweiler [2013-09-07 07:34:06] 615*2^1252577-1 is not prime. Res64: 057392FB3BE735DA Time : 0.0 sec. user=mdettweiler [2013-09-07 07:34:38] 897*2^1252576-1 is not prime. Res64: 532324C85B941807 Time : 0.0 sec. user=mdettweiler [2013-09-07 07:34:39] 983*2^1252576-1 is not prime. Res64: 2D919EE97920E1CA Time : 0.0 sec. user=mdettweiler [2013-09-07 07:46:04] 627*2^1252577-1 is not prime. Res64: 6126606DA9A0653F Time : 0.0 sec. user=mdettweiler [2013-09-07 07:46:04] 651*2^1252577-1 is not prime. Res64: CD408E3E4D8BFB39 Time : 0.0 sec. user=mdettweiler [2013-09-07 07:54:06] 909*2^1252577-1 is not prime. Res64: 3678A8D1B7F05313 Time : 0.0 sec. user=mdettweiler [2013-09-07 07:54:06] 925*2^1252577-1 is not prime. Res64: 64223661EC4A7019 Time : 0.0 sec. user=mdettweiler [2013-09-07 07:54:30] 651*2^1252578-1 is not prime. Res64: B9CEC4511D90C827 Time : 0.0 sec. user=mdettweiler [2013-09-07 07:54:31] 731*2^1252578-1 is not prime. Res64: 62E89F26A2B40F66 Time : 0.0 sec. user=mdettweiler [2013-09-07 07:54:43] 937*2^1252577-1 is not prime. Res64: BCB59BF574B1244C Time : 0.0 sec. user=mdettweiler [2013-09-07 07:54:44] 605*2^1252578-1 is not prime. Res64: FC483B0782171B18 Time : 0.0 sec. user=juhehe [2013-09-07 08:03:30] 829*2^1252577-1 is not prime. Res64: 8F79D6EBBFDB32BB Time : 0.0 sec. user=mdettweiler [2013-09-07 08:06:44] 833*2^1252578-1 is not prime. Res64: 5E47E4B1424C9D20 Time : 0.0 sec. user=mdettweiler [2013-09-07 08:06:45] 891*2^1252578-1 is not prime. Res64: 618CB9B4BB2846E3 Time : 0.0 sec. user=mdettweiler [2013-09-07 08:13:50] 703*2^1252579-1 is not prime. Res64: BD96D866A782D269 Time : 0.0 sec. user=mdettweiler [2013-09-07 08:13:51] 723*2^1252579-1 is not prime. Res64: C949A67C972D86AB Time : 0.0 sec. user=mdettweiler [2013-09-07 08:14:12] 829*2^1252579-1 is not prime. Res64: DBDDE5CC955860A5 Time : 0.0 sec. user=mdettweiler [2013-09-07 08:14:12] 861*2^1252579-1 is not prime. Res64: 1EA5360A81C1ECA3 Time : 0.0 sec. user=mdettweiler [2013-09-07 08:16:17] 913*2^1252579-1 is not prime. Res64: 00310E1B2DA29F4D Time : 0.0 sec. user=mdettweiler [2013-09-07 08:16:17] 919*2^1252579-1 is not prime. Res64: C67C74893E96EBFF Time : 0.0 sec. user=mdettweiler [2013-09-07 08:27:20] 975*2^1252579-1 is not prime. Res64: 027903414F5409A7 Time : 0.0 sec. user=mdettweiler [2013-09-07 08:27:20] 635*2^1252580-1 is not prime. Res64: 170C0252BE7A6138 Time : 0.0 sec. user=mdettweiler [2013-09-07 08:33:46] 651*2^1252581-1 is not prime. Res64: 0A1799D66C5564FF Time : 0.0 sec. user=mdettweiler [2013-09-07 08:33:46] 679*2^1252581-1 is not prime. Res64: DB22F88C973AC5BC Time : 0.0 sec. user=mdettweiler [2013-09-07 08:35:19] 957*2^1252580-1 is not prime. Res64: 9EB9F8D5930D7E28 Time : 0.0 sec. user=mdettweiler [2013-09-07 08:35:19] 999*2^1252580-1 is not prime. Res64: 3ED6C7C1585D24FB Time : 0.0 sec. user=mdettweiler [2013-09-07 08:35:53] 717*2^1252581-1 is not prime. Res64: F02B8270E3D1D6C1 Time : 0.0 sec. user=mdettweiler [2013-09-07 08:35:54] 789*2^1252581-1 is not prime. Res64: D564A0DE1F705996 Time : 0.0 sec. user=mdettweiler [2013-09-07 08:47:55] 819*2^1252581-1 is not prime. Res64: 7738E8A3F164C9C1 Time : 0.0 sec. user=mdettweiler [2013-09-07 08:47:55] 889*2^1252581-1 is not prime. Res64: 49EA82335B87D9EF Time : 0.0 sec. user=mdettweiler [2013-09-07 08:54:20] 999*2^1252581-1 is not prime. Res64: A3BAAFCCBF5BD330 Time : 0.0 sec. user=mdettweiler [2013-09-07 08:54:21] 815*2^1252582-1 is not prime. Res64: 9BB5C5E3CCFBED92 Time : 0.0 sec. user=mdettweiler [2013-09-07 08:56:00] 843*2^1252582-1 is not prime. Res64: 6856BB0F786DC751 Time : 0.0 sec. user=mdettweiler [2013-09-07 08:56:00] 881*2^1252582-1 is not prime. Res64: 7616662B6B3DE952 Time : 0.0 sec. user=mdettweiler [2013-09-07 08:57:22] 947*2^1252582-1 is not prime. Res64: B0DFA99476AD1041 Time : 0.0 sec. user=mdettweiler [2013-09-07 08:57:22] 975*2^1252582-1 is not prime. Res64: E5F20C7BF175B2C2 Time : 0.0 sec. user=mdettweiler [2013-09-07 09:08:33] 995*2^1252582-1 is not prime. Res64: A8A107D360BF9B71 Time : 0.0 sec. user=mdettweiler [2013-09-07 09:08:34] 735*2^1252583-1 is not prime. Res64: D8A3D186D8633746 Time : 0.0 sec. user=mdettweiler [2013-09-07 09:14:01] 759*2^1252583-1 is not prime. Res64: 805AD0B49E5547DA Time : 0.0 sec. user=mdettweiler [2013-09-07 09:14:01] 771*2^1252583-1 is not prime. Res64: ECC162C9370B61AC Time : 0.0 sec. user=mdettweiler [2013-09-07 09:16:37] 813*2^1252583-1 is not prime. Res64: E5870ECE2BB8CC1A Time : 0.0 sec. user=mdettweiler [2013-09-07 09:16:38] 945*2^1252583-1 is not prime. Res64: 5BB9E6BAE70034DA Time : 0.0 sec. user=mdettweiler [2013-09-07 09:17:50] 969*2^1252583-1 is not prime. Res64: 641A0027AF42BFEF Time : 0.0 sec. user=mdettweiler [2013-09-07 09:17:51] 705*2^1252584-1 is not prime. Res64: 7E56AB27EBA556E4 Time : 0.0 sec. user=mdettweiler [2013-09-07 09:28:13] 719*2^1252584-1 is not prime. Res64: 228F50C15FB33A92 Time : 0.0 sec. user=mdettweiler [2013-09-07 09:28:13] 737*2^1252584-1 is not prime. Res64: 3A88311D82FEE246 Time : 0.0 sec. user=mdettweiler [2013-09-07 09:33:44] 759*2^1252584-1 is not prime. Res64: 76C75E124FDF7F3C Time : 0.0 sec. user=mdettweiler [2013-09-07 09:33:45] 765*2^1252584-1 is not prime. Res64: 0253DB4BFDC8ECBD Time : 0.0 sec. user=mdettweiler [2013-09-07 09:37:13] 767*2^1252584-1 is not prime. Res64: ED1F28F543D31125 Time : 0.0 sec. user=mdettweiler [2013-09-07 09:37:13] 917*2^1252584-1 is not prime. Res64: 953618E249FD3413 Time : 0.0 sec. user=mdettweiler [2013-09-07 09:37:38] 667*2^1252585-1 is not prime. Res64: 93345AA4BF3D0951 Time : 0.0 sec. user=mdettweiler [2013-09-07 09:37:39] 867*2^1252585-1 is not prime. Res64: 4E4584EE91F9CB35 Time : 0.0 sec. user=mdettweiler [2013-09-07 09:48:51] 925*2^1252585-1 is not prime. Res64: 33A4DE5267584D5F Time : 0.0 sec. user=mdettweiler [2013-09-07 09:48:51] 635*2^1252586-1 is not prime. Res64: 1EF0E5C7A255027B Time : 0.0 sec. user=mdettweiler [2013-09-07 09:53:26] 707*2^1252586-1 is not prime. Res64: FF01188F8DC78C7E Time : 0.0 sec. user=mdettweiler [2013-09-07 09:53:26] 773*2^1252586-1 is not prime. Res64: BC2E526079A03426 Time : 0.0 sec. user=mdettweiler [2013-09-07 09:57:51] 857*2^1252586-1 is not prime. Res64: 2A9F900F6EDE8B8B Time : 0.0 sec. user=mdettweiler [2013-09-07 09:57:51] 923*2^1252586-1 is not prime. Res64: F97ADDF52305B4A8 Time : 0.0 sec. user=mdettweiler [2013-09-07 09:59:07] 935*2^1252586-1 is not prime. Res64: 055AF224A3FDB53A Time : 0.0 sec. user=mdettweiler [2013-09-07 09:59:07] 971*2^1252586-1 is not prime. Res64: 6277A07652A31FF0 Time : 0.0 sec. user=juhehe [2013-09-07 10:04:31] 831*2^1252586-1 is not prime. Res64: 315AB4210E5D616A Time : 0.0 sec. user=mdettweiler [2013-09-07 10:08:31] 703*2^1252587-1 is not prime. Res64: B1F09C9E5B8D1984 Time : 0.0 sec. user=mdettweiler [2013-09-07 10:08:32] 711*2^1252587-1 is not prime. Res64: CD667783F9A6987A Time : 0.0 sec. user=mdettweiler [2013-09-07 10:13:13] 739*2^1252587-1 is not prime. Res64: 4E36927F53559B86 Time : 0.0 sec. user=mdettweiler [2013-09-07 10:13:14] 795*2^1252587-1 is not prime. Res64: 25B01005897CD7CF Time : 0.0 sec. user=mdettweiler [2013-09-07 10:18:34] 823*2^1252587-1 is not prime. Res64: C92E2856F5604D40 Time : 0.0 sec. user=mdettweiler [2013-09-07 10:18:35] 895*2^1252587-1 is not prime. Res64: EB2B829AA6C8D330 Time : 0.0 sec. user=mdettweiler [2013-09-07 10:19:44] 919*2^1252587-1 is not prime. Res64: 08B45A5D49BBEC8C Time : 0.0 sec. user=mdettweiler [2013-09-07 10:19:44] 723*2^1252588-1 is not prime. Res64: BE421195271DAA58 Time : 0.0 sec. user=mdettweiler [2013-09-07 10:30:06] 915*2^1252588-1 is not prime. Res64: FAD69FAB4E727EC5 Time : 0.0 sec. user=mdettweiler [2013-09-07 10:30:07] 923*2^1252588-1 is not prime. Res64: B0AF24F529E9EB4C Time : 0.0 sec. user=mdettweiler [2013-09-07 10:32:50] 615*2^1252589-1 is not prime. Res64: B57A8086BB64323A Time : 0.0 sec. user=mdettweiler [2013-09-07 10:32:50] 685*2^1252589-1 is not prime. Res64: 6EF80C4002508265 Time : 0.0 sec. user=mdettweiler [2013-09-07 10:38:14] 745*2^1252589-1 is not prime. Res64: 1CA3E1DED2B605EA Time : 0.0 sec. user=mdettweiler [2013-09-07 10:38:14] 825*2^1252589-1 is not prime. Res64: EECBA92109ECB76D Time : 0.0 sec. user=mdettweiler [2013-09-07 10:40:19] 837*2^1252589-1 is not prime. Res64: 63F5C59821574283 Time : 0.0 sec. user=mdettweiler [2013-09-07 10:40:19] 949*2^1252589-1 is not prime. Res64: 631E5684E06CA9F0 Time : 0.0 sec. user=mdettweiler [2013-09-07 10:50:51] 957*2^1252589-1 is not prime. Res64: 1ED15D0E3C8C32CE Time : 0.0 sec. user=mdettweiler [2013-09-07 10:50:51] 647*2^1252590-1 is not prime. Res64: 5487BFD036FF9A26 Time : 0.0 sec. user=mdettweiler [2013-09-07 10:52:44] 723*2^1252590-1 is not prime. Res64: 4B195D0F8A6709D0 Time : 0.0 sec. user=mdettweiler [2013-09-07 10:52:44] 843*2^1252590-1 is not prime. Res64: 73CBA805451DAC44 Time : 0.0 sec. user=mdettweiler [2013-09-07 10:59:25] 845*2^1252590-1 is not prime. Res64: 52F7B47A9E0DA522 Time : 0.0 sec. user=mdettweiler [2013-09-07 10:59:25] 977*2^1252590-1 is not prime. Res64: C94E840DBD0CF2C0 Time : 0.0 sec. user=mdettweiler [2013-09-07 11:00:27] 673*2^1252591-1 is not prime. Res64: 5E7FF5BAD6CFB83E Time : 0.0 sec. user=mdettweiler [2013-09-07 11:00:28] 741*2^1252591-1 is not prime. Res64: 418885F33EE327F8 Time : 0.0 sec. user=mdettweiler [2013-09-07 11:12:24] 793*2^1252591-1 is not prime. Res64: 9C840A0198273DB8 Time : 0.0 sec. user=mdettweiler [2013-09-07 11:12:25] 885*2^1252591-1 is not prime. Res64: 6C4BAF8ABDCFF0D7 Time : 0.0 sec. user=mdettweiler [2013-09-07 11:13:30] 609*2^1252592-1 is not prime. Res64: 6DA031D6947C1B34 Time : 0.0 sec. user=mdettweiler [2013-09-07 11:13:31] 677*2^1252592-1 is not prime. Res64: 3AA75249F2A119FC Time : 0.0 sec. user=mdettweiler [2013-09-07 11:19:57] 717*2^1252592-1 is not prime. Res64: DF0A03A101E3B069 Time : 0.0 sec. user=mdettweiler [2013-09-07 11:19:57] 753*2^1252592-1 is not prime. Res64: 635F8303DB54B40A Time : 0.0 sec. user=mdettweiler [2013-09-07 11:21:10] 797*2^1252592-1 is not prime. Res64: 10F9424E25F2B13B Time : 0.0 sec. user=mdettweiler [2013-09-07 11:21:10] 803*2^1252592-1 is not prime. Res64: 0BB24EA686A3D5FD Time : 0.0 sec. user=mdettweiler [2013-09-07 11:33:15] 867*2^1252592-1 is not prime. Res64: 2998D9D68E6DAFC1 Time : 0.0 sec. user=mdettweiler [2013-09-07 11:33:15] 983*2^1252592-1 is not prime. Res64: 538BCD70A3BEBE2A Time : 0.0 sec. user=mdettweiler [2013-09-07 11:34:27] 995*2^1252592-1 is not prime. Res64: F042B4B256132BD1 Time : 0.0 sec. user=mdettweiler [2013-09-07 11:34:27] 639*2^1252593-1 is not prime. Res64: CCA12226FFF6316A Time : 0.0 sec. user=mdettweiler [2013-09-07 11:39:49] 787*2^1252593-1 is not prime. Res64: D9146051CC67229D Time : 0.0 sec. user=mdettweiler [2013-09-07 11:39:49] 837*2^1252593-1 is not prime. Res64: 2A87C06BA9834381 Time : 0.0 sec. user=mdettweiler [2013-09-07 11:41:03] 847*2^1252593-1 is not prime. Res64: F9CD14DC208C875E Time : 0.0 sec. user=mdettweiler [2013-09-07 11:41:04] 849*2^1252593-1 is not prime. Res64: EE56B2AF0D534A63 Time : 0.0 sec. user=mdettweiler [2013-09-07 11:53:58] 915*2^1252593-1 is not prime. Res64: 113CF9150C6727C6 Time : 0.0 sec. user=mdettweiler [2013-09-07 11:53:58] 663*2^1252594-1 is not prime. Res64: 950BE7967DF8312C Time : 0.0 sec. user=mdettweiler [2013-09-07 11:54:14] 723*2^1252594-1 is not prime. Res64: 5A7B34A97F298E97 Time : 0.0 sec. user=mdettweiler [2013-09-07 11:54:14] 803*2^1252594-1 is not prime. Res64: F3C3CA8629E71142 Time : 0.0 sec. user=mdettweiler [2013-09-07 12:00:39] 827*2^1252594-1 is not prime. Res64: EFB29256E7F18A8E Time : 0.0 sec. user=mdettweiler [2013-09-07 12:00:40] 917*2^1252594-1 is not prime. Res64: AC3C4D56136C6799 Time : 0.0 sec. user=mdettweiler [2013-09-07 12:02:41] 987*2^1252594-1 is not prime. Res64: 23EB205471EA4D7A Time : 0.0 sec. user=mdettweiler [2013-09-07 12:02:42] 1001*2^1252594-1 is not prime. Res64: DB052ED224BAB177 Time : 0.0 sec. user=mdettweiler [2013-09-07 12:13:55] 775*2^1252595-1 is not prime. Res64: 416F0C9D10EF7087 Time : 0.0 sec. user=mdettweiler [2013-09-07 12:13:55] 781*2^1252595-1 is not prime. Res64: 3E817803A4105CF3 Time : 0.0 sec. user=mdettweiler [2013-09-07 12:14:56] 819*2^1252595-1 is not prime. Res64: 30BD94DACB60A67B Time : 0.0 sec. user=mdettweiler [2013-09-07 12:14:56] 909*2^1252595-1 is not prime. Res64: 25DFA3DC788296E5 Time : 0.0 sec. user=mdettweiler [2013-09-07 12:22:20] 921*2^1252595-1 is not prime. Res64: 84381888F88321E6 Time : 0.0 sec. user=mdettweiler [2013-09-07 12:22:20] 949*2^1252595-1 is not prime. Res64: 127A2AB86CE6F111 Time : 0.0 sec. user=mdettweiler [2013-09-07 12:24:16] 973*2^1252595-1 is not prime. Res64: 9AE96C47E5525E78 Time : 0.0 sec. user=mdettweiler [2013-09-07 12:24:16] 979*2^1252595-1 is not prime. Res64: D5F5C4A107155296 Time : 0.0 sec. user=mdettweiler [2013-09-07 12:33:49] 675*2^1252596-1 is not prime. Res64: 6599AE14878AA716 Time : 0.0 sec. user=mdettweiler [2013-09-07 12:33:49] 737*2^1252596-1 is not prime. Res64: 40318F955C7825A0 Time : 0.0 sec. user=mdettweiler [2013-09-07 12:34:43] 817*2^1252597-1 is not prime. Res64: 2FC2ED864353897E Time : 0.0 sec. user=mdettweiler [2013-09-07 12:34:43] 829*2^1252597-1 is not prime. Res64: 3AF6DB4966767912 Time : 0.0 sec. user=mdettweiler [2013-09-07 12:43:05] 867*2^1252597-1 is not prime. Res64: 9FDD2C05ACC07BA3 Time : 0.0 sec. user=mdettweiler [2013-09-07 12:43:06] 955*2^1252597-1 is not prime. Res64: 72881ED1BF8A99E3 Time : 0.0 sec. user=mdettweiler [2013-09-07 12:44:03] 665*2^1252598-1 is not prime. Res64: 98F06A639C357EC9 Time : 0.0 sec. user=mdettweiler [2013-09-07 12:44:03] 771*2^1252598-1 is not prime. Res64: 08E17854D61DC199 Time : 0.0 sec. user=mdettweiler [2013-09-07 12:53:39] 773*2^1252598-1 is not prime. Res64: D531A8D94E6D96B3 Time : 0.0 sec. user=mdettweiler [2013-09-07 12:53:39] 797*2^1252598-1 is not prime. Res64: 9108809E2D47969C Time : 0.0 sec. user=mdettweiler [2013-09-07 12:54:26] 613*2^1252599-1 is not prime. Res64: 14FD0670E4269FF8 Time : 0.0 sec. user=mdettweiler [2013-09-07 12:54:26] 663*2^1252599-1 is not prime. Res64: 3E0081042769BDF8 Time : 0.0 sec. user=mdettweiler [2013-09-07 13:02:49] 741*2^1252599-1 is not prime. Res64: 1D4C89B8152D2C70 Time : 0.0 sec. user=mdettweiler [2013-09-07 13:02:50] 763*2^1252599-1 is not prime. Res64: F24CD20858D7D678 Time : 0.0 sec. user=mdettweiler [2013-09-07 13:03:43] 859*2^1252599-1 is not prime. Res64: 0E0AE0BA52D332D6 Time : 0.0 sec. user=mdettweiler [2013-09-07 13:03:44] 865*2^1252599-1 is not prime. Res64: BEEEA93F356E10AD Time : 0.0 sec. user=mdettweiler [2013-09-07 13:14:06] 609*2^1252600-1 is not prime. Res64: 57B60E855D01FDDE Time : 0.0 sec. user=mdettweiler [2013-09-07 13:14:06] 645*2^1252600-1 is not prime. Res64: 1B122C320A11A1D5 Time : 0.0 sec. user=mdettweiler [2013-09-07 13:15:12] 885*2^1252599-1 is not prime. Res64: BC5BD076C22EC516 Time : 0.0 sec. user=mdettweiler [2013-09-07 13:15:13] 975*2^1252599-1 is not prime. Res64: B49F8E06D8DCCF46 Time : 0.0 sec. user=mdettweiler [2013-09-07 13:22:32] 717*2^1252600-1 is not prime. Res64: 1E6D6B3D053104CC Time : 0.0 sec. user=mdettweiler [2013-09-07 13:22:33] 827*2^1252600-1 is not prime. Res64: 61F5855FF7B541E4 Time : 0.0 sec. user=mdettweiler [2013-09-07 13:24:21] 839*2^1252600-1 is not prime. Res64: DCF2169BB23481AA Time : 0.0 sec. user=mdettweiler [2013-09-07 13:24:21] 975*2^1252600-1 is not prime. Res64: 49BC3B2A7B5439F7 Time : 0.0 sec. user=mdettweiler [2013-09-07 13:34:01] 631*2^1252601-1 is not prime. Res64: 7F575AB6B2558B69 Time : 0.0 sec. user=mdettweiler [2013-09-07 13:34:02] 669*2^1252601-1 is not prime. Res64: B3210E7B5B89B74F Time : 0.0 sec. user=mdettweiler [2013-09-07 13:34:59] 745*2^1252601-1 is not prime. Res64: 80AE797C53E11865 Time : 0.0 sec. user=mdettweiler [2013-09-07 13:34:59] 657*2^1252602-1 is not prime. Res64: 89741B6D74FB3D21 Time : 0.0 sec. user=mdettweiler [2013-09-07 13:43:11] 797*2^1252602-1 is not prime. Res64: C318DD960B7368D1 Time : 0.0 sec. user=mdettweiler [2013-09-07 13:43:11] 885*2^1252602-1 is not prime. Res64: EDBFC3E31FBFFFA5 Time : 0.0 sec. user=mdettweiler [2013-09-07 13:45:59] 891*2^1252602-1 is not prime. Res64: D4A7480173AB0FCB Time : 0.0 sec. user=mdettweiler [2013-09-07 13:45:59] 903*2^1252602-1 is not prime. Res64: B5E9ECE1C8F8E2C5 Time : 0.0 sec. user=mdettweiler [2013-09-07 13:53:47] 649*2^1252603-1 is not prime. Res64: 7FB3B5584FA19447 Time : 0.0 sec. user=mdettweiler [2013-09-07 13:53:47] 735*2^1252603-1 is not prime. Res64: 4F6ABBDCAC30DB79 Time : 0.0 sec. user=mdettweiler [2013-09-07 13:54:38] 741*2^1252603-1 is not prime. Res64: 175091DDB43409F9 Time : 0.0 sec. user=mdettweiler [2013-09-07 13:54:39] 859*2^1252603-1 is not prime. Res64: 80072969A42E39B2 Time : 0.0 sec. user=mdettweiler [2013-09-07 14:04:46] 915*2^1252603-1 is not prime. Res64: D6B34EA90391BF26 Time : 0.0 sec. user=mdettweiler [2013-09-07 14:04:47] 925*2^1252603-1 is not prime. Res64: 4A206BED73171351 Time : 0.0 sec. user=mdettweiler [2013-09-07 14:06:37] 999*2^1252603-1 is not prime. Res64: A33F399AFA9883E8 Time : 0.0 sec. user=mdettweiler [2013-09-07 14:06:38] 617*2^1252604-1 is not prime. Res64: 3F5B9F38992F9C85 Time : 0.0 sec. user=mdettweiler [2013-09-07 14:13:29] 753*2^1252604-1 is not prime. Res64: 4DD39967EDB6008C Time : 0.0 sec. user=mdettweiler [2013-09-07 14:13:29] 843*2^1252604-1 is not prime. Res64: 845C3D5781A4C727 Time : 0.0 sec. user=mdettweiler [2013-09-07 14:16:09] 903*2^1252604-1 is not prime. Res64: 0572FFE77964091C Time : 0.0 sec. user=mdettweiler [2013-09-07 14:16:09] 959*2^1252604-1 is not prime. Res64: 4129E2EDFF69A38A Time : 0.0 sec. user=mdettweiler [2013-09-07 14:24:30] 657*2^1252605-1 is not prime. Res64: F765FB6C10A898F9 Time : 0.0 sec. user=mdettweiler [2013-09-07 14:24:30] 759*2^1252605-1 is not prime. Res64: F6DDAD2B1885DC98 Time : 0.0 sec. user=mdettweiler [2013-09-07 14:28:11] 889*2^1252605-1 is not prime. Res64: EDD96555C1FE93E2 Time : 0.0 sec. user=mdettweiler [2013-09-07 14:28:11] 937*2^1252605-1 is not prime. Res64: 075C170CAB6EDB64 Time : 0.0 sec. user=mdettweiler [2013-09-07 14:33:25] 635*2^1252606-1 is not prime. Res64: D234EF58FA83D609 Time : 0.0 sec. user=mdettweiler [2013-09-07 14:33:25] 713*2^1252606-1 is not prime. Res64: 71B815EA521A8D7E Time : 0.0 sec. user=mdettweiler [2013-09-07 14:36:14] 743*2^1252606-1 is not prime. Res64: 3B4FC7CDA996FF15 Time : 0.0 sec. user=mdettweiler [2013-09-07 14:36:15] 765*2^1252606-1 is not prime. Res64: D5883D641EC1778D Time : 0.0 sec. user=mdettweiler [2013-09-07 14:44:48] 815*2^1252606-1 is not prime. Res64: EF215820968C15EC Time : 0.0 sec. user=mdettweiler [2013-09-07 14:44:49] 857*2^1252606-1 is not prime. Res64: FA16B452BA3F8C13 Time : 0.0 sec. user=mdettweiler [2013-09-07 14:50:47] 941*2^1252606-1 is not prime. Res64: 56C0B0AECC6DA626 Time : 0.0 sec. user=mdettweiler [2013-09-07 14:50:47] 945*2^1252606-1 is not prime. Res64: EAB7E5848C0B1275 Time : 0.0 sec. user=mdettweiler [2013-09-07 14:55:02] 971*2^1252606-1 is not prime. Res64: FF7BB1E5EA8B2D19 Time : 0.0 sec. user=mdettweiler [2013-09-07 14:55:02] 601*2^1252607-1 is not prime. Res64: 3DBE4AB9A1939C00 Time : 0.0 sec. user=mdettweiler [2013-09-07 14:57:59] 655*2^1252607-1 is not prime. Res64: 54B8EC46115DCFFE Time : 0.0 sec. user=mdettweiler [2013-09-07 14:58:00] 883*2^1252607-1 is not prime. Res64: 1C0C0DA7BC84664F Time : 0.0 sec. user=mdettweiler [2013-09-07 15:06:35] 931*2^1252607-1 is not prime. Res64: 27172B6707B32D45 Time : 0.0 sec. user=mdettweiler [2013-09-07 15:06:35] 629*2^1252608-1 is not prime. Res64: EFF6196C9B89EC91 Time : 0.0 sec. user=mdettweiler [2013-09-07 15:11:23] 725*2^1252608-1 is not prime. Res64: 167A4A14E5C51BDE Time : 0.0 sec. user=mdettweiler [2013-09-07 15:11:24] 735*2^1252608-1 is not prime. Res64: E60773CB3D385ABE Time : 0.0 sec. user=mdettweiler [2013-09-07 15:16:29] 815*2^1252608-1 is not prime. Res64: D6E5C8A37CB17583 Time : 0.0 sec. user=mdettweiler [2013-09-07 15:16:29] 933*2^1252608-1 is not prime. Res64: E66FA8CB4294E97F Time : 0.0 sec. user=mdettweiler [2013-09-07 15:20:26] 945*2^1252608-1 is not prime. Res64: 2134FC5EA3E68662 Time : 0.0 sec. user=mdettweiler [2013-09-07 15:20:26] 975*2^1252608-1 is not prime. Res64: 882CD49C8178ABE8 Time : 0.0 sec. user=mdettweiler [2013-09-07 15:27:21] 685*2^1252609-1 is not prime. Res64: 7A4A5045CC0644B1 Time : 0.0 sec. user=mdettweiler [2013-09-07 15:27:21] 691*2^1252609-1 is not prime. Res64: 133AC20F81D5DD7B Time : 0.0 sec. user=mdettweiler [2013-09-07 15:32:58] 729*2^1252609-1 is not prime. Res64: 215E1E62C16EEA9D Time : 0.0 sec. user=mdettweiler [2013-09-07 15:32:58] 801*2^1252609-1 is not prime. Res64: 1C760519A92CB8B0 Time : 0.0 sec. user=mdettweiler [2013-09-07 15:37:59] 831*2^1252609-1 is not prime. Res64: 0291B6683966C464 Time : 0.0 sec. user=mdettweiler [2013-09-07 15:38:00] 855*2^1252609-1 is not prime. Res64: 7D47A2E41093AEE8 Time : 0.0 sec. user=mdettweiler [2013-09-07 15:42:35] 861*2^1252609-1 is not prime. Res64: C93393843F663055 Time : 0.0 sec. user=mdettweiler [2013-09-07 15:42:36] 955*2^1252609-1 is not prime. Res64: 654BDFE5160D2A24 Time : 0.0 sec. user=mdettweiler [2013-09-07 15:49:17] 999*2^1252609-1 is not prime. Res64: 1BF14850934D298A Time : 0.0 sec. user=mdettweiler [2013-09-07 15:49:17] 605*2^1252610-1 is not prime. Res64: 406986480F3B1648 Time : 0.0 sec. user=mdettweiler [2013-09-07 15:53:16] 767*2^1252610-1 is not prime. Res64: 1D16B338796F2805 Time : 0.0 sec. user=mdettweiler [2013-09-07 15:53:17] 833*2^1252610-1 is not prime. Res64: 3E0DFA263AA7FA94 Time : 0.0 sec. user=mdettweiler [2013-09-07 15:59:18] 893*2^1252610-1 is not prime. Res64: B3A1555B049178E7 Time : 0.0 sec. user=mdettweiler [2013-09-07 15:59:19] 679*2^1252611-1 is not prime. Res64: 257DC64CC4BD4433 Time : 0.0 sec. user=mdettweiler [2013-09-07 16:04:52] 955*2^1252611-1 is not prime. Res64: 6E2A525A009AFF9B Time : 0.0 sec. user=mdettweiler [2013-09-07 16:04:53] 961*2^1252611-1 is not prime. Res64: C9AEE826BAC2EBBF Time : 0.0 sec. user=mdettweiler [2013-09-07 16:10:33] 991*2^1252611-1 is not prime. Res64: 5FFF493177028B90 Time : 0.0 sec. user=mdettweiler [2013-09-07 16:10:33] 657*2^1252612-1 is not prime. Res64: 42FCB3FF4130A845 Time : 0.0 sec. user=mdettweiler [2013-09-07 16:13:28] 689*2^1252612-1 is not prime. Res64: A578FCC210D0A77E Time : 0.0 sec. user=mdettweiler [2013-09-07 16:13:29] 813*2^1252612-1 is not prime. Res64: A36BBAB97F0E60BD Time : 0.0 sec. user=mdettweiler [2013-09-07 16:21:22] 933*2^1252612-1 is not prime. Res64: C60EA4C8A13D85CE Time : 0.0 sec. user=mdettweiler [2013-09-07 16:21:22] 987*2^1252612-1 is not prime. Res64: 24E75347DA6ADEC9 Time : 0.0 sec. user=mdettweiler [2013-09-07 16:25:03] 627*2^1252613-1 is not prime. Res64: 19D8E32F4AB8D4BA Time : 0.0 sec. user=mdettweiler [2013-09-07 16:25:03] 631*2^1252613-1 is not prime. Res64: 89522C4012BF7E80 Time : 0.0 sec. user=mdettweiler [2013-09-07 16:30:50] 741*2^1252613-1 is not prime. Res64: 904E9854B18860FE Time : 0.0 sec. user=mdettweiler [2013-09-07 16:30:50] 819*2^1252613-1 is not prime. Res64: 3B605A20ABA01AC0 Time : 0.0 sec. user=mdettweiler [2013-09-07 16:35:11] 837*2^1252613-1 is not prime. Res64: 48A0788693F289BE Time : 0.0 sec. user=mdettweiler [2013-09-07 16:35:11] 885*2^1252613-1 is not prime. Res64: DE24887B7FDEE0F0 Time : 0.0 sec. user=mdettweiler [2013-09-07 16:42:57] 889*2^1252613-1 is not prime. Res64: 6E9534C2D104DF2F Time : 0.0 sec. user=mdettweiler [2013-09-07 16:42:57] 741*2^1252614-1 is not prime. Res64: F85E36A69FB252D7 Time : 0.0 sec. user=mdettweiler [2013-09-07 16:45:50] 821*2^1252614-1 is not prime. Res64: 4B7993835C90965E Time : 0.0 sec. user=mdettweiler [2013-09-07 16:45:50] 645*2^1252615-1 is not prime. Res64: D2E57201D3860E7F Time : 0.0 sec. user=mdettweiler [2013-09-07 16:51:23] 651*2^1252615-1 is not prime. Res64: 8A7AD14210D0EC4E Time : 0.0 sec. user=mdettweiler [2013-09-07 16:51:23] 709*2^1252615-1 is not prime. Res64: 5E6B04A331855089 Time : 0.0 sec. user=mdettweiler [2013-09-07 16:56:47] 723*2^1252615-1 is not prime. Res64: AA7204DF568B165B Time : 0.0 sec. user=mdettweiler [2013-09-07 16:56:47] 885*2^1252615-1 is not prime. Res64: D29359E3D178A190 Time : 0.0 sec. user=mdettweiler [2013-09-07 17:03:42] 815*2^1252616-1 is not prime. Res64: DDCF5F29810F9AC6 Time : 0.0 sec. user=mdettweiler [2013-09-07 17:03:42] 875*2^1252616-1 is not prime. Res64: 105299F022DA14C7 Time : 0.0 sec. user=mdettweiler [2013-09-07 17:08:24] 897*2^1252616-1 is not prime. Res64: 0D8288A508F8A901 Time : 0.0 sec. user=mdettweiler [2013-09-07 17:08:24] 923*2^1252616-1 is not prime. Res64: 55E448D8211CED6B Time : 0.0 sec. user=mdettweiler [2013-09-07 17:14:05] 927*2^1252616-1 is not prime. Res64: 5D4B7CFBEDCA4E68 Time : 0.0 sec. user=mdettweiler [2013-09-07 17:14:06] 993*2^1252616-1 is not prime. Res64: AF036B06CC2F204B Time : 0.0 sec. user=mdettweiler [2013-09-07 17:17:34] 607*2^1252617-1 is not prime. Res64: FFEE2E18BF7095E9 Time : 0.0 sec. user=mdettweiler [2013-09-07 17:17:34] 615*2^1252617-1 is not prime. Res64: 8C9DAF3077EE7EF2 Time : 0.0 sec. user=mdettweiler [2013-09-07 17:25:04] 625*2^1252617-1 is not prime. Res64: F130369A24953160 Time : 0.0 sec. user=mdettweiler [2013-09-07 17:25:04] 661*2^1252617-1 is not prime. Res64: 83F0F815D237C9AF Time : 0.0 sec. user=mdettweiler [2013-09-07 17:30:50] 865*2^1252617-1 is not prime. Res64: 4FD917AE8D8D6A48 Time : 0.0 sec. user=mdettweiler [2013-09-07 17:30:50] 909*2^1252617-1 is not prime. Res64: 80DDEB5FEB0C55B2 Time : 0.0 sec. user=mdettweiler [2013-09-07 17:35:41] 647*2^1252618-1 is not prime. Res64: 281A4582F0571481 Time : 0.0 sec. user=mdettweiler [2013-09-07 17:35:41] 765*2^1252618-1 is not prime. Res64: 1C6E80267527F65C Time : 0.0 sec. user=mdettweiler [2013-09-07 17:39:29] 801*2^1252618-1 is not prime. Res64: ECE06F0C595CC86A Time : 0.0 sec. user=mdettweiler [2013-09-07 17:39:29] 843*2^1252618-1 is not prime. Res64: DC86FF07CEBAC2B9 Time : 0.0 sec. user=mdettweiler [2013-09-07 17:49:40] 911*2^1252618-1 is not prime. Res64: E9BAF3583283BE11 Time : 0.0 sec. user=mdettweiler [2013-09-07 17:49:40] 923*2^1252618-1 is not prime. Res64: 303208B29A8CE215 Time : 0.0 sec. user=mdettweiler [2013-09-07 17:54:14] 811*2^1252619-1 is not prime. Res64: E208A966B58FF769 Time : 0.0 sec. user=mdettweiler [2013-09-07 17:54:15] 903*2^1252619-1 is not prime. Res64: 2964476D42800451 Time : 0.0 sec. user=mdettweiler [2013-09-07 17:59:05] 943*2^1252619-1 is not prime. Res64: 104BC22852205CB0 Time : 0.0 sec. user=mdettweiler [2013-09-07 17:59:05] 665*2^1252620-1 is not prime. Res64: 81414C09199807A4 Time : 0.0 sec. user=mdettweiler [2013-09-07 18:02:05] 737*2^1252620-1 is not prime. Res64: 4B5551139D009A40 Time : 0.0 sec. user=mdettweiler [2013-09-07 18:02:06] 773*2^1252620-1 is not prime. Res64: B33EE0B691EDE0CC Time : 0.0 sec. user=mdettweiler [2013-09-07 18:12:25] 819*2^1252620-1 is not prime. Res64: B0BB5C12A398AFFF Time : 0.0 sec. user=mdettweiler [2013-09-07 18:12:25] 905*2^1252620-1 is not prime. Res64: 52AF6936959062C7 Time : 0.0 sec. user=mdettweiler [2013-09-07 18:16:12] 715*2^1252621-1 is not prime. Res64: 19312AB7A7B2A120 Time : 0.0 sec. user=mdettweiler [2013-09-07 18:16:12] 741*2^1252621-1 is not prime. Res64: 8ED802A1B7582770 Time : 0.0 sec. user=mdettweiler [2013-09-07 18:20:10] 747*2^1252621-1 is not prime. Res64: 5F72324B32F18FD7 Time : 0.0 sec. user=mdettweiler [2013-09-07 18:20:11] 829*2^1252621-1 is not prime. Res64: 61A2DF74B20BD888 Time : 0.0 sec. user=mdettweiler [2013-09-07 18:23:31] 855*2^1252621-1 is not prime. Res64: 662DB6274E232F3E Time : 0.0 sec. user=mdettweiler [2013-09-07 18:23:31] 791*2^1252622-1 is not prime. Res64: 03620654CEEA945D Time : 0.0 sec. user=mdettweiler [2013-09-07 18:34:00] 831*2^1252622-1 is not prime. Res64: 60476F8F5B1DF458 Time : 0.0 sec. user=mdettweiler [2013-09-07 18:34:00] 897*2^1252622-1 is not prime. Res64: 74876542DA96123A Time : 0.0 sec. user=mdettweiler [2013-09-07 18:38:47] 921*2^1252622-1 is not prime. Res64: BF41B119C0A04E20 Time : 0.0 sec. user=mdettweiler [2013-09-07 18:38:47] 935*2^1252622-1 is not prime. Res64: B808A6749D4F248D Time : 0.0 sec. user=mdettweiler [2013-09-07 18:40:43] 789*2^1252623-1 is not prime. Res64: D87F3CB3822EB614 Time : 0.0 sec. user=mdettweiler [2013-09-07 18:40:43] 665*2^1252624-1 is not prime. Res64: 5B76E59643D09C35 Time : 0.0 sec. user=mdettweiler [2013-09-07 18:43:51] 719*2^1252624-1 is not prime. Res64: 22F60ED26F1EB164 Time : 0.0 sec. user=mdettweiler [2013-09-07 18:43:51] 759*2^1252624-1 is not prime. Res64: E450ACAC7836BB6C Time : 0.0 sec. user=mdettweiler [2013-09-07 18:55:01] 909*2^1252624-1 is not prime. Res64: 6694F768C98D9690 Time : 0.0 sec. user=mdettweiler [2013-09-07 18:55:01] 679*2^1252625-1 is not prime. Res64: F1BF88110F860114 Time : 0.0 sec. user=mdettweiler [2013-09-07 18:58:51] 711*2^1252625-1 is not prime. Res64: 96482400F002DE7D Time : 0.0 sec. user=mdettweiler [2013-09-07 18:58:51] 775*2^1252625-1 is not prime. Res64: E85F7ED5B2AC78A3 Time : 0.0 sec. user=mdettweiler [2013-09-07 19:01:49] 861*2^1252625-1 is not prime. Res64: 1C2CA553E80D3817 Time : 0.0 sec. user=mdettweiler [2013-09-07 19:01:50] 979*2^1252625-1 is not prime. Res64: 7C060F2F558C08AE Time : 0.0 sec. user=mdettweiler [2013-09-07 19:03:55] 671*2^1252626-1 is not prime. Res64: 46567C11A175666F Time : 0.0 sec. user=mdettweiler [2013-09-07 19:03:55] 717*2^1252626-1 is not prime. Res64: C6E08EECA498D525 Time : 0.0 sec. user=mdettweiler [2013-09-07 19:15:07] 783*2^1252626-1 is not prime. Res64: 4B36E31A67F06AAE Time : 0.0 sec. user=mdettweiler [2013-09-07 19:15:07] 837*2^1252626-1 is not prime. Res64: 743BDF26D4CC32A9 Time : 0.0 sec. user=mdettweiler [2013-09-07 19:20:51] 983*2^1252626-1 is not prime. Res64: 86364C5E8CA901F8 Time : 0.0 sec. user=mdettweiler [2013-09-07 19:20:51] 993*2^1252626-1 is not prime. Res64: A151D52F89EE2267 Time : 0.0 sec. user=mdettweiler [2013-09-07 19:22:00] 619*2^1252627-1 is not prime. Res64: C108084DCE49B008 Time : 0.0 sec. user=mdettweiler [2013-09-07 19:22:00] 681*2^1252627-1 is not prime. Res64: D188334873F0DA04 Time : 0.0 sec. user=mdettweiler [2013-09-07 19:23:59] 693*2^1252627-1 is not prime. Res64: AC6C661C1AC40826 Time : 0.0 sec. user=mdettweiler [2013-09-07 19:23:59] 735*2^1252627-1 is not prime. Res64: E195A572B0404563 Time : 0.0 sec. user=mdettweiler [2013-09-07 19:35:16] 759*2^1252627-1 is not prime. Res64: 86FDB34073373614 Time : 0.0 sec. user=mdettweiler [2013-09-07 19:35:16] 835*2^1252627-1 is not prime. Res64: 210EC02F1D4511BD Time : 0.0 sec. user=mdettweiler [2013-09-07 19:40:52] 861*2^1252627-1 is not prime. Res64: 4B09AE538791768C Time : 0.0 sec. user=mdettweiler [2013-09-07 19:40:52] 873*2^1252627-1 is not prime. Res64: 3C90E4B77A7A0880 Time : 0.0 sec. user=mdettweiler [2013-09-07 19:43:56] 931*2^1252627-1 is not prime. Res64: AAD37EC310F1B452 Time : 0.0 sec. user=mdettweiler [2013-09-07 19:43:56] 999*2^1252627-1 is not prime. Res64: 32631A7FFF4A2B11 Time : 0.0 sec. user=mdettweiler [2013-09-07 19:44:01] 603*2^1252628-1 is not prime. Res64: 22FE535BD10D16F2 Time : 0.0 sec. user=mdettweiler [2013-09-07 19:44:01] 665*2^1252628-1 is not prime. Res64: 88531CE562BB8D8F Time : 0.0 sec. user=mdettweiler [2013-09-07 19:56:07] 759*2^1252628-1 is not prime. Res64: 43F140003EFD21AF Time : 0.0 sec. user=mdettweiler [2013-09-07 19:56:07] 795*2^1252628-1 is not prime. Res64: 17CCE0E7B0A63FFD Time : 0.0 sec. user=mdettweiler [2013-09-07 20:02:45] 819*2^1252628-1 is not prime. Res64: D55452D4EADE5CB5 Time : 0.0 sec. user=mdettweiler [2013-09-07 20:02:46] 833*2^1252628-1 is not prime. Res64: FC3DBAEE0514C586 Time : 0.0 sec. user=mdettweiler [2013-09-07 20:05:46] 609*2^1252629-1 is not prime. Res64: 4D823ADE6519522D Time : 0.0 sec. user=mdettweiler [2013-09-07 20:05:47] 655*2^1252629-1 is not prime. Res64: 0FECABAB82B10893 Time : 0.0 sec. user=mdettweiler [2013-09-07 20:07:08] 837*2^1252628-1 is not prime. Res64: 828AF0CC03C25969 Time : 0.0 sec. user=mdettweiler [2013-09-07 20:07:09] 915*2^1252628-1 is not prime. Res64: 63E251FCB1741282 Time : 0.0 sec. user=mdettweiler [2013-09-07 20:17:57] 661*2^1252629-1 is not prime. Res64: 14378CBCC6891E28 Time : 0.0 sec. user=mdettweiler [2013-09-07 20:17:57] 667*2^1252629-1 is not prime. Res64: 1E29B306567BAE49 Time : 0.0 sec. user=mdettweiler [2013-09-07 20:24:10] 681*2^1252629-1 is not prime. Res64: 99B74AD864677F5D Time : 0.0 sec. user=mdettweiler [2013-09-07 20:24:11] 741*2^1252629-1 is not prime. Res64: DC19F8A7F938463A Time : 0.0 sec. user=mdettweiler [2013-09-07 20:28:02] 829*2^1252629-1 is not prime. Res64: E4AB2288690E35CF Time : 0.0 sec. user=mdettweiler [2013-09-07 20:28:02] 951*2^1252629-1 is not prime. Res64: 25794E585CB030A5 Time : 0.0 sec. user=mdettweiler [2013-09-07 20:30:09] 991*2^1252629-1 is not prime. Res64: 7901F5F691FACC98 Time : 0.0 sec. user=mdettweiler [2013-09-07 20:30:10] 999*2^1252629-1 is not prime. Res64: 3103E1AA087AA33B Time : 0.0 sec. user=mdettweiler [2013-09-07 20:38:31] 657*2^1252630-1 is not prime. Res64: AEBCCA233888B8E8 Time : 0.0 sec. user=mdettweiler [2013-09-07 20:38:31] 665*2^1252630-1 is not prime. Res64: 221E4351874F572A Time : 0.0 sec. user=mdettweiler [2013-09-07 20:44:45] 707*2^1252630-1 is not prime. Res64: 47824ECCEB567D23 Time : 0.0 sec. user=mdettweiler [2013-09-07 20:44:45] 723*2^1252630-1 is not prime. Res64: 1CC290EBB2891F3A Time : 0.0 sec. user=mdettweiler [2013-09-07 20:48:42] 831*2^1252630-1 is not prime. Res64: B8DF5BA222429F63 Time : 0.0 sec. user=mdettweiler [2013-09-07 20:48:42] 857*2^1252630-1 is not prime. Res64: 76EEB9B98DDB7C97 Time : 0.0 sec. user=mdettweiler [2013-09-07 20:51:27] 923*2^1252630-1 is not prime. Res64: AD7C2C33E6D83A6F Time : 0.0 sec. user=mdettweiler [2013-09-07 20:51:27] 669*2^1252631-1 is not prime. Res64: F6C870F9C31769C7 Time : 0.0 sec. user=mdettweiler [2013-09-07 20:59:01] 693*2^1252631-1 is not prime. Res64: 5DA4278941891125 Time : 0.0 sec. user=mdettweiler [2013-09-07 20:59:01] 781*2^1252631-1 is not prime. Res64: 10DC62FD374D4172 Time : 0.0 sec. user=mdettweiler [2013-09-07 21:05:32] 813*2^1252631-1 is not prime. Res64: 78F83064023A1F3D Time : 0.0 sec. user=mdettweiler [2013-09-07 21:05:33] 825*2^1252631-1 is not prime. Res64: 0171546C41DBDEFD Time : 0.0 sec. user=mdettweiler [2013-09-07 21:09:34] 841*2^1252631-1 is not prime. Res64: D5C9F6CD7A4ED9C7 Time : 0.0 sec. user=mdettweiler [2013-09-07 21:09:34] 855*2^1252631-1 is not prime. Res64: 45987E625426E237 Time : 0.0 sec. user=mdettweiler [2013-09-07 21:13:00] 859*2^1252631-1 is not prime. Res64: 3802EB2A9F98141E Time : 0.0 sec. user=mdettweiler [2013-09-07 21:13:00] 955*2^1252631-1 is not prime. Res64: 4C1FE45BB69B4E81 Time : 0.0 sec. user=mdettweiler [2013-09-07 21:19:22] 629*2^1252632-1 is not prime. Res64: 0EF80D344F780449 Time : 0.0 sec. user=mdettweiler [2013-09-07 21:19:22] 669*2^1252632-1 is not prime. Res64: 36735CFAE806FBE5 Time : 0.0 sec. user=mdettweiler [2013-09-07 21:26:03] 693*2^1252632-1 is not prime. Res64: 3C5F6B98CFFD1DEC Time : 0.0 sec. user=mdettweiler [2013-09-07 21:26:03] 737*2^1252632-1 is not prime. Res64: BBC313D422001E65 Time : 0.0 sec. user=mdettweiler [2013-09-07 21:29:54] 815*2^1252632-1 is not prime. Res64: CB41DDD1F9336922 Time : 0.0 sec. user=mdettweiler [2013-09-07 21:29:54] 607*2^1252633-1 is not prime. Res64: 48C165BEB833A36B Time : 0.0 sec. user=mdettweiler [2013-09-07 21:33:12] 639*2^1252633-1 is not prime. Res64: B250D08DBFB7C9AF Time : 0.0 sec. user=mdettweiler [2013-09-07 21:33:12] 771*2^1252633-1 is not prime. Res64: 25428F4508103D90 Time : 0.0 sec. user=mdettweiler [2013-09-07 21:40:35] 801*2^1252633-1 is not prime. Res64: E530B60CB51F3599 Time : 0.0 sec. user=mdettweiler [2013-09-07 21:40:36] 889*2^1252633-1 is not prime. Res64: 9C36FF85FAEB9554 Time : 0.0 sec. user=mdettweiler [2013-09-07 21:48:04] 957*2^1252633-1 is not prime. Res64: 1A30FDB9997CA1EC Time : 0.0 sec. user=mdettweiler [2013-09-07 21:48:04] 623*2^1252634-1 is not prime. Res64: 39B2C4969BA5A3E8 Time : 0.0 sec. user=mdettweiler [2013-09-07 21:51:06] 675*2^1252634-1 is not prime. Res64: 2ED67B7BB756569F Time : 0.0 sec. user=mdettweiler [2013-09-07 21:51:06] 701*2^1252634-1 is not prime. Res64: CF3E25B3D914C387 Time : 0.0 sec. user=mdettweiler [2013-09-07 21:54:13] 707*2^1252634-1 is not prime. Res64: 08CC989F61255416 Time : 0.0 sec. user=mdettweiler [2013-09-07 21:54:13] 753*2^1252634-1 is not prime. Res64: B5C477F6D6424F0D Time : 0.0 sec. user=mdettweiler [2013-09-07 22:04:01] 831*2^1252634-1 is not prime. Res64: 1411BA014F90DA97 Time : 0.0 sec. user=mdettweiler [2013-09-07 22:04:02] 887*2^1252634-1 is not prime. Res64: CC4BFB16E6E2F45D Time : 0.0 sec. user=mdettweiler [2013-09-07 22:10:59] 995*2^1252634-1 is not prime. Res64: D73B02B6249BC76E Time : 0.0 sec. user=mdettweiler [2013-09-07 22:11:00] 643*2^1252635-1 is not prime. Res64: 7699CFF658DD5C87 Time : 0.0 sec. user=mdettweiler [2013-09-07 22:12:41] 765*2^1252635-1 is not prime. Res64: 3BBBD5E385C84E98 Time : 0.0 sec. user=mdettweiler [2013-09-07 22:12:41] 781*2^1252635-1 is not prime. Res64: 2C73D16C1BA4A81E Time : 0.0 sec. user=juhehe [2013-09-07 22:14:35] 645*2^1252634-1 is not prime. Res64: E8910E80FB77802F Time : 0.0 sec. user=mdettweiler [2013-09-07 22:15:57] 789*2^1252635-1 is not prime. Res64: B94319842DD88FA2 Time : 0.0 sec. user=mdettweiler [2013-09-07 22:15:57] 801*2^1252635-1 is not prime. Res64: 4097E6DECC8286D4 Time : 0.0 sec. user=mdettweiler [2013-09-07 22:27:08] 895*2^1252635-1 is not prime. Res64: BEC6787EAB931DFA Time : 0.0 sec. user=mdettweiler [2013-09-07 22:27:08] 609*2^1252636-1 is not prime. Res64: C6C7172BAA784FA8 Time : 0.0 sec. user=juhehe [2013-09-07 22:33:25] 741*2^1252635-1 is not prime. Res64: 3D4709875AA31346 Time : 0.0 sec. user=mdettweiler [2013-09-07 22:33:31] 647*2^1252636-1 is not prime. Res64: C6778B52371EA02F Time : 0.0 sec. user=mdettweiler [2013-09-07 22:33:31] 695*2^1252636-1 is not prime. Res64: B0EC2058E58B3D5A Time : 0.0 sec. user=mdettweiler [2013-09-07 22:35:13] 825*2^1252636-1 is not prime. Res64: C0A6C1EBFF9B30CA Time : 0.0 sec. user=mdettweiler [2013-09-07 22:35:13] 855*2^1252636-1 is not prime. Res64: CEE5F41A039578B0 Time : 0.0 sec. user=mdettweiler [2013-09-07 22:39:48] 923*2^1252636-1 is not prime. Res64: F99412B6A36FE18B Time : 0.0 sec. user=mdettweiler [2013-09-07 22:39:49] 607*2^1252637-1 is not prime. Res64: 0DB929C6C90300F8 Time : 0.0 sec. user=mdettweiler [2013-09-07 22:49:03] 619*2^1252637-1 is not prime. Res64: 6716F77CE9A507CF Time : 0.0 sec. user=mdettweiler [2013-09-07 22:49:04] 645*2^1252637-1 is not prime. Res64: AA687A90421220E0 Time : 0.0 sec. user=mdettweiler [2013-09-07 22:54:33] 717*2^1252637-1 is not prime. Res64: CC675722F4CC28F9 Time : 0.0 sec. user=mdettweiler [2013-09-07 22:54:34] 741*2^1252637-1 is not prime. Res64: 8C9A006208D12BE5 Time : 0.0 sec. user=mdettweiler [2013-09-07 22:56:58] 861*2^1252637-1 is not prime. Res64: 4F8E9D4EFC5C31F2 Time : 0.0 sec. user=mdettweiler [2013-09-07 22:56:58] 967*2^1252637-1 is not prime. Res64: D1ACB73AFA1691ED Time : 0.0 sec. user=mdettweiler [2013-09-07 23:01:18] 985*2^1252637-1 is not prime. Res64: 9B83F867338A1A63 Time : 0.0 sec. user=mdettweiler [2013-09-07 23:01:19] 605*2^1252638-1 is not prime. Res64: 655F8D700E41A223 Time : 0.0 sec. user=mdettweiler [2013-09-07 23:09:15] 611*2^1252638-1 is not prime. Res64: EE936104526D6EDF Time : 0.0 sec. user=mdettweiler [2013-09-07 23:09:16] 635*2^1252638-1 is not prime. Res64: 81133BA965FE454F Time : 0.0 sec. user=mdettweiler [2013-09-07 23:15:00] 693*2^1252638-1 is not prime. Res64: F1FDDAED491DB08E Time : 0.0 sec. user=mdettweiler [2013-09-07 23:15:00] 705*2^1252638-1 is not prime. Res64: F6E554E79A16442A Time : 0.0 sec. user=mdettweiler [2013-09-07 23:16:59] 725*2^1252638-1 is not prime. Res64: 98A90B8A961193B1 Time : 0.0 sec. user=mdettweiler [2013-09-07 23:17:00] 773*2^1252638-1 is not prime. Res64: 83ABEB6D313C62C6 Time : 0.0 sec. user=mdettweiler [2013-09-07 23:22:12] 791*2^1252638-1 is not prime. Res64: DB2EE418FFC7F8F1 Time : 0.0 sec. user=mdettweiler [2013-09-07 23:22:13] 971*2^1252638-1 is not prime. Res64: 261C9D9C5247E469 Time : 0.0 sec. user=mdettweiler [2013-09-07 23:30:17] 975*2^1252638-1 is not prime. Res64: F9BF53B605190C0B Time : 0.0 sec. user=mdettweiler [2013-09-07 23:30:18] 709*2^1252639-1 is not prime. Res64: C0E7B7DAEBCBA18C Time : 0.0 sec. user=mdettweiler [2013-09-07 23:36:07] 925*2^1252639-1 is not prime. Res64: 6BC1D32BBA5EEC12 Time : 0.0 sec. user=mdettweiler [2013-09-07 23:36:08] 635*2^1252640-1 is not prime. Res64: 493207820A053B42 Time : 0.0 sec. user=mdettweiler [2013-09-07 23:37:01] 645*2^1252640-1 is not prime. Res64: 9D7F316A7DAF4E45 Time : 0.0 sec. user=mdettweiler [2013-09-07 23:37:01] 789*2^1252640-1 is not prime. Res64: 7601C60863E8BE70 Time : 0.0 sec. user=mdettweiler [2013-09-07 23:42:11] 797*2^1252640-1 is not prime. Res64: 165BADAF01FCD7D6 Time : 0.0 sec. user=mdettweiler [2013-09-07 23:42:12] 833*2^1252640-1 is not prime. Res64: 9DAC13749475A279 Time : 0.0 sec. user=mdettweiler [2013-09-07 23:50:15] 855*2^1252640-1 is not prime. Res64: 2452F0C19D32A35B Time : 0.0 sec. user=mdettweiler [2013-09-07 23:50:16] 857*2^1252640-1 is not prime. Res64: C0483196AD5A2AAC Time : 0.0 sec. user=mdettweiler [2013-09-07 23:57:06] 675*2^1252641-1 is not prime. Res64: DDB4E1B81E22A60E Time : 0.0 sec. user=mdettweiler [2013-09-07 23:57:07] 709*2^1252641-1 is not prime. Res64: BDE063CE001BF179 Time : 0.0 sec. user=mdettweiler [2013-09-07 23:58:01] 927*2^1252640-1 is not prime. Res64: AB2236A50B5723ED Time : 0.0 sec. user=mdettweiler [2013-09-07 23:58:02] 995*2^1252640-1 is not prime. Res64: 747ED3C8305CC300 Time : 0.0 sec.