user=mdettweiler [2013-01-03 00:03:48] 907*2^1238541-1 is not prime. Res64: C2A73607F58E054C Time : 0.0 sec. user=mdettweiler [2013-01-03 00:03:50] 921*2^1238541-1 is not prime. Res64: 3C1E50D91B3DF53A Time : 0.0 sec. user=mdettweiler [2013-01-03 00:04:06] 949*2^1238541-1 is not prime. Res64: D1DD122F272A4811 Time : 0.0 sec. user=mdettweiler [2013-01-03 00:04:07] 991*2^1238541-1 is not prime. Res64: C0C170D98E1B081F Time : 0.0 sec. user=mdettweiler [2013-01-03 00:21:19] 815*2^1238542-1 is not prime. Res64: 7D1BAB4C85A74396 Time : 0.0 sec. user=mdettweiler [2013-01-03 00:21:20] 863*2^1238542-1 is not prime. Res64: 448EE6D1ECEC083D Time : 0.0 sec. user=mdettweiler [2013-01-03 00:21:30] 885*2^1238542-1 is not prime. Res64: 79877B9491775D76 Time : 0.0 sec. user=mdettweiler [2013-01-03 00:21:32] 891*2^1238542-1 is not prime. Res64: 15DC12D29BADD671 Time : 0.0 sec. user=vaughan [2013-01-03 00:24:35] 997*2^1238541-1 is not prime. Res64: F4A98E9E0A53A620 Time : 0.0 sec. user=mdettweiler [2013-01-03 00:38:51] 917*2^1238542-1 is not prime. Res64: 1252F1CF16E7BB2E Time : 0.0 sec. user=mdettweiler [2013-01-03 00:38:52] 965*2^1238542-1 is not prime. Res64: 75BBC21FC9C42003 Time : 0.0 sec. user=mdettweiler [2013-01-03 00:38:53] 693*2^1238543-1 is not prime. Res64: 859104D227C33A30 Time : 0.0 sec. user=mdettweiler [2013-01-03 00:38:54] 745*2^1238543-1 is not prime. Res64: 3110F41B856B2F32 Time : 0.0 sec. user=mdettweiler [2013-01-03 00:56:11] 627*2^1238544-1 is not prime. Res64: BD9338EF283B4DE3 Time : 0.0 sec. user=mdettweiler [2013-01-03 00:56:12] 629*2^1238544-1 is not prime. Res64: 5ECE56366C26178B Time : 0.0 sec. user=mdettweiler [2013-01-03 00:56:13] 699*2^1238544-1 is not prime. Res64: 91B3619751D8BAF4 Time : 0.0 sec. user=mdettweiler [2013-01-03 00:56:13] 719*2^1238544-1 is not prime. Res64: 05529022FE1EABDE Time : 0.0 sec. user=vaughan [2013-01-03 01:02:23] 991*2^1238543-1 is not prime. Res64: 548FFE7E18839A28 Time : 0.0 sec. user=mdettweiler [2013-01-03 01:13:30] 747*2^1238544-1 is not prime. Res64: 7252859CE41B61D9 Time : 0.0 sec. user=mdettweiler [2013-01-03 01:13:31] 893*2^1238544-1 is not prime. Res64: 56DA3E6849B06D03 Time : 0.0 sec. user=mdettweiler [2013-01-03 01:13:32] 917*2^1238544-1 is not prime. Res64: 9556EE87AEBCC700 Time : 0.0 sec. user=mdettweiler [2013-01-03 01:13:33] 715*2^1238545-1 is not prime. Res64: 3B054FA8E0285D74 Time : 0.0 sec. user=mdettweiler [2013-01-03 01:30:53] 849*2^1238545-1 is not prime. Res64: C5BB4D8872590643 Time : 0.0 sec. user=mdettweiler [2013-01-03 01:30:54] 889*2^1238545-1 is not prime. Res64: 268EBF8B979AB6F0 Time : 0.0 sec. user=mdettweiler [2013-01-03 01:30:54] 915*2^1238545-1 is not prime. Res64: 0938E942F28D337A Time : 0.0 sec. user=mdettweiler [2013-01-03 01:30:55] 939*2^1238545-1 is not prime. Res64: 88C9A5A7A9CB3DC1 Time : 0.0 sec. user=vaughan [2013-01-03 01:40:12] 741*2^1238545-1 is not prime. Res64: EE005249ACAB3213 Time : 0.0 sec. user=mdettweiler [2013-01-03 01:48:15] 861*2^1238546-1 is not prime. Res64: 870522EB44755CD3 Time : 0.0 sec. user=mdettweiler [2013-01-03 01:48:15] 975*2^1238545-1 is not prime. Res64: 8B81F240DED32BEC Time : 0.0 sec. user=mdettweiler [2013-01-03 01:48:15] 941*2^1238546-1 is not prime. Res64: 941B9A09F0802387 Time : 0.0 sec. user=mdettweiler [2013-01-03 01:48:15] 825*2^1238546-1 is not prime. Res64: 7FE9D1A2432DFCE1 Time : 0.0 sec. user=mdettweiler [2013-01-03 02:05:35] 801*2^1238547-1 is not prime. Res64: 011D1871F81F1BC8 Time : 0.0 sec. user=mdettweiler [2013-01-03 02:05:36] 871*2^1238547-1 is not prime. Res64: CD66952008BBE90D Time : 0.0 sec. user=mdettweiler [2013-01-03 02:05:39] 885*2^1238547-1 is not prime. Res64: 91C1A6B6EE46E683 Time : 0.0 sec. user=mdettweiler [2013-01-03 02:05:40] 895*2^1238547-1 is not prime. Res64: 173142082157D461 Time : 0.0 sec. user=vaughan [2013-01-03 02:17:58] 691*2^1238547-1 is not prime. Res64: 3EE6183DE849B5EB Time : 0.0 sec. user=mdettweiler [2013-01-03 02:22:59] 635*2^1238548-1 is not prime. Res64: DA3B9B58BE117F3C Time : 0.0 sec. user=mdettweiler [2013-01-03 02:23:00] 657*2^1238548-1 is not prime. Res64: B04D9CC95DFD9F09 Time : 0.0 sec. user=mdettweiler [2013-01-03 02:23:04] 959*2^1238548-1 is not prime. Res64: 2F5C9D550F54A0C3 Time : 0.0 sec. user=mdettweiler [2013-01-03 02:23:04] 621*2^1238549-1 is not prime. Res64: 5368A86A121CB3B7 Time : 0.0 sec. user=mdettweiler [2013-01-03 02:40:20] 925*2^1238549-1 is not prime. Res64: 14E77B95186A9187 Time : 0.0 sec. user=mdettweiler [2013-01-03 02:40:23] 951*2^1238549-1 is not prime. Res64: EFBB3AEC93BCBBAC Time : 0.0 sec. user=mdettweiler [2013-01-03 02:40:28] 681*2^1238550-1 is not prime. Res64: E130E664B48653C7 Time : 0.0 sec. user=mdettweiler [2013-01-03 02:40:30] 693*2^1238550-1 is not prime. Res64: 4317755301C81E51 Time : 0.0 sec. user=vaughan [2013-01-03 02:55:46] 741*2^1238549-1 is not prime. Res64: 949831FD2F24FC71 Time : 0.0 sec. user=mdettweiler [2013-01-03 02:58:16] 851*2^1238550-1 is not prime. Res64: 055E1F3D1CABB4F6 Time : 0.0 sec. user=mdettweiler [2013-01-03 02:58:17] 873*2^1238550-1 is not prime. Res64: A3C88DAA30E7AFE5 Time : 0.0 sec. user=mdettweiler [2013-01-03 02:58:20] 927*2^1238550-1 is not prime. Res64: 0EBB1384CAD1E4AC Time : 0.0 sec. user=mdettweiler [2013-01-03 02:58:22] 951*2^1238550-1 is not prime. Res64: 7FDB80D1423D0FF2 Time : 0.0 sec. user=mdettweiler [2013-01-03 03:15:41] 615*2^1238551-1 is not prime. Res64: 2374C4FE8FE5498A Time : 0.0 sec. user=mdettweiler [2013-01-03 03:15:41] 651*2^1238551-1 is not prime. Res64: 5A0DE6FA3C54C502 Time : 0.0 sec. user=mdettweiler [2013-01-03 03:15:42] 639*2^1238551-1 is not prime. Res64: 5FFBC69D205EE34B Time : 0.0 sec. user=mdettweiler [2013-01-03 03:15:42] 735*2^1238551-1 is not prime. Res64: 185381CC7D00BCFF Time : 0.0 sec. user=mdettweiler [2013-01-03 03:33:04] 615*2^1238552-1 is not prime. Res64: D9E1FBC59F7B9F35 Time : 0.0 sec. user=mdettweiler [2013-01-03 03:33:08] 783*2^1238551-1 is not prime. Res64: A0C9AA9D08375F00 Time : 0.0 sec. user=mdettweiler [2013-01-03 03:33:09] 657*2^1238552-1 is not prime. Res64: 56FF598645459DAA Time : 0.0 sec. user=mdettweiler [2013-01-03 03:33:10] 829*2^1238551-1 is not prime. Res64: BF2FBA527977A987 Time : 0.0 sec. user=vaughan [2013-01-03 03:33:38] 1001*2^1238550-1 is not prime. Res64: CCD4DEF284C9892B Time : 0.0 sec. user=mdettweiler [2013-01-03 03:51:07] 687*2^1238552-1 is not prime. Res64: 87E0C4EE549B7346 Time : 0.0 sec. user=mdettweiler [2013-01-03 03:51:08] 855*2^1238552-1 is not prime. Res64: 26692C7F34FCB2E7 Time : 0.0 sec. user=mdettweiler [2013-01-03 03:51:12] 649*2^1238553-1 is not prime. Res64: 60BD5FE5A96EB161 Time : 0.0 sec. user=mdettweiler [2013-01-03 03:51:13] 679*2^1238553-1 is not prime. Res64: 8DD3561750F4EF50 Time : 0.0 sec. user=mdettweiler [2013-01-03 04:08:28] 811*2^1238553-1 is not prime. Res64: F1BB1C1C5F8A6F5A Time : 0.0 sec. user=mdettweiler [2013-01-03 04:08:32] 829*2^1238553-1 is not prime. Res64: 3A3310CB20F5EB64 Time : 0.0 sec. user=mdettweiler [2013-01-03 04:08:33] 937*2^1238553-1 is not prime. Res64: E6C4321B6CF1B0C2 Time : 0.0 sec. user=mdettweiler [2013-01-03 04:08:34] 623*2^1238554-1 is not prime. Res64: 1A4E989EEF5B6DB6 Time : 0.0 sec. user=vaughan [2013-01-03 04:11:46] 765*2^1238553-1 is not prime. Res64: E6B447CB190AD868 Time : 0.0 sec. user=mdettweiler [2013-01-03 04:25:55] 701*2^1238554-1 is not prime. Res64: FF1F1422BC048CBF Time : 0.0 sec. user=mdettweiler [2013-01-03 04:25:58] 765*2^1238554-1 is not prime. Res64: 99A88315A97777D1 Time : 0.0 sec. user=mdettweiler [2013-01-03 04:25:58] 821*2^1238554-1 is not prime. Res64: 405560D9C01696E1 Time : 0.0 sec. user=mdettweiler [2013-01-03 04:26:02] 831*2^1238554-1 is not prime. Res64: A8D37537C8571013 Time : 0.0 sec. user=mdettweiler [2013-01-03 04:43:47] 733*2^1238555-1 is not prime. Res64: 8F3569F2066A06F3 Time : 0.0 sec. user=mdettweiler [2013-01-03 04:43:47] 775*2^1238555-1 is not prime. Res64: D4EF12D056CE8C82 Time : 0.0 sec. user=mdettweiler [2013-01-03 04:43:51] 819*2^1238555-1 is not prime. Res64: 096048385096B28D Time : 0.0 sec. user=mdettweiler [2013-01-03 04:43:52] 825*2^1238555-1 is not prime. Res64: 6EED5A9CFDF4AF73 Time : 0.0 sec. user=vaughan [2013-01-03 04:49:36] 941*2^1238554-1 is not prime. Res64: 17BF40E811FB56CA Time : 0.0 sec. user=mdettweiler [2013-01-03 05:01:09] 609*2^1238556-1 is not prime. Res64: A17D304B72340503 Time : 0.0 sec. user=mdettweiler [2013-01-03 05:01:11] 627*2^1238556-1 is not prime. Res64: 23B5A2231E98461E Time : 0.0 sec. user=mdettweiler [2013-01-03 05:01:12] 683*2^1238556-1 is not prime. Res64: 4AB046DF695C60DA Time : 0.0 sec. user=mdettweiler [2013-01-03 05:01:13] 695*2^1238556-1 is not prime. Res64: 355C91F9F8DEEB77 Time : 0.0 sec. user=mdettweiler [2013-01-03 05:18:45] 923*2^1238556-1 is not prime. Res64: 423E2F6A26589383 Time : 0.0 sec. user=mdettweiler [2013-01-03 05:18:46] 945*2^1238556-1 is not prime. Res64: ADFD7F5EFAD24CD7 Time : 0.0 sec. user=mdettweiler [2013-01-03 05:18:47] 975*2^1238556-1 is not prime. Res64: CE4EAA41B404A3A3 Time : 0.0 sec. user=mdettweiler [2013-01-03 05:18:48] 609*2^1238557-1 is not prime. Res64: 04FAB6D5D4E594AC Time : 0.0 sec. user=vaughan [2013-01-03 05:27:24] 717*2^1238556-1 is not prime. Res64: CCD4517AEF35D969 Time : 0.0 sec. user=mdettweiler [2013-01-03 05:36:11] 895*2^1238557-1 is not prime. Res64: 7695F8C62DAC11B4 Time : 0.0 sec. user=mdettweiler [2013-01-03 05:36:11] 753*2^1238558-1 is not prime. Res64: C1C1F90842B621C6 Time : 0.0 sec. user=mdettweiler [2013-01-03 05:36:14] 827*2^1238558-1 is not prime. Res64: 0C45D82C54BDB518 Time : 0.0 sec. user=mdettweiler [2013-01-03 05:36:14] 867*2^1238558-1 is not prime. Res64: BD686AD0E87862C0 Time : 0.0 sec. user=mdettweiler [2013-01-03 05:53:30] 661*2^1238559-1 is not prime. Res64: 9E2BC768C8262287 Time : 0.0 sec. user=mdettweiler [2013-01-03 05:53:31] 721*2^1238559-1 is not prime. Res64: 26EEB8FEB3C883D7 Time : 0.0 sec. user=mdettweiler [2013-01-03 05:53:34] 949*2^1238559-1 is not prime. Res64: 2D4BD13113DDC3A3 Time : 0.0 sec. user=mdettweiler [2013-01-03 05:53:34] 951*2^1238559-1 is not prime. Res64: 660607FD0020197F Time : 0.0 sec. user=vaughan [2013-01-03 06:05:09] 1001*2^1238558-1 is not prime. Res64: A1948E3FB92F5DEC Time : 0.0 sec. user=mdettweiler [2013-01-03 06:10:51] 653*2^1238560-1 is not prime. Res64: 7C6A9722088A049E Time : 0.0 sec. user=mdettweiler [2013-01-03 06:10:51] 717*2^1238560-1 is not prime. Res64: A306D08DB1F9B100 Time : 0.0 sec. user=mdettweiler [2013-01-03 06:10:53] 755*2^1238560-1 is not prime. Res64: A0500057608B77EF Time : 0.0 sec. user=mdettweiler [2013-01-03 06:10:54] 839*2^1238560-1 is not prime. Res64: 7E23290366B1CE52 Time : 0.0 sec. user=mdettweiler [2013-01-03 06:28:12] 601*2^1238561-1 is not prime. Res64: 237060BA56F53173 Time : 0.0 sec. user=mdettweiler [2013-01-03 06:28:13] 649*2^1238561-1 is not prime. Res64: B7CA0611716830D4 Time : 0.0 sec. user=mdettweiler [2013-01-03 06:28:13] 715*2^1238561-1 is not prime. Res64: 4A11DC5B97E72DB5 Time : 0.0 sec. user=mdettweiler [2013-01-03 06:28:14] 741*2^1238561-1 is not prime. Res64: C95107E041569800 Time : 0.0 sec. user=vaughan [2013-01-03 06:43:18] 857*2^1238560-1 is not prime. Res64: 9F42156F3631C612 Time : 0.0 sec. user=mdettweiler [2013-01-03 06:45:33] 795*2^1238561-1 is not prime. Res64: 752039FBA506A1D0 Time : 0.0 sec. user=mdettweiler [2013-01-03 06:45:34] 799*2^1238561-1 is not prime. Res64: A51CFB0FD3EE9335 Time : 0.0 sec. user=mdettweiler [2013-01-03 06:45:34] 829*2^1238561-1 is not prime. Res64: 713972E2298F763F Time : 0.0 sec. user=mdettweiler [2013-01-03 06:45:35] 879*2^1238561-1 is not prime. Res64: FBDEB99E492FA81F Time : 0.0 sec. user=mdettweiler [2013-01-03 07:02:55] 725*2^1238562-1 is not prime. Res64: 060B7E4C4B030F37 Time : 0.0 sec. user=mdettweiler [2013-01-03 07:02:55] 777*2^1238562-1 is not prime. Res64: 3AAD502E467FD513 Time : 0.0 sec. user=mdettweiler [2013-01-03 07:02:56] 657*2^1238562-1 is not prime. Res64: 5D3943EA910ED9DB Time : 0.0 sec. user=mdettweiler [2013-01-03 07:02:57] 713*2^1238562-1 is not prime. Res64: C183EB6B595AEE20 Time : 0.0 sec. user=mdettweiler [2013-01-03 07:20:19] 815*2^1238562-1 is not prime. Res64: 9D8F54225F08C76C Time : 0.0 sec. user=mdettweiler [2013-01-03 07:20:20] 603*2^1238563-1 is not prime. Res64: 69BF669C0E3EDB6C Time : 0.0 sec. user=mdettweiler [2013-01-03 07:20:21] 633*2^1238563-1 is not prime. Res64: A43E14E3BB801A0C Time : 0.0 sec. user=mdettweiler [2013-01-03 07:20:21] 699*2^1238563-1 is not prime. Res64: F0417B7B20CB5F3B Time : 0.0 sec. user=vaughan [2013-01-03 07:21:04] 621*2^1238562-1 is not prime. Res64: 8D53FA8E2B6F9D1F Time : 0.0 sec. user=mdettweiler [2013-01-03 07:37:40] 709*2^1238563-1 is not prime. Res64: D64D1578C1641419 Time : 0.0 sec. user=mdettweiler [2013-01-03 07:37:42] 873*2^1238563-1 is not prime. Res64: D8049904596FC04F Time : 0.0 sec. user=mdettweiler [2013-01-03 07:37:44] 623*2^1238564-1 is not prime. Res64: 60E8EB209B26A19F Time : 0.0 sec. user=mdettweiler [2013-01-03 07:37:45] 677*2^1238564-1 is not prime. Res64: E4E3FE34F41474E1 Time : 0.0 sec. user=mdettweiler [2013-01-03 07:55:02] 825*2^1238564-1 is not prime. Res64: 0E4CC8C8D80D7BC8 Time : 0.0 sec. user=mdettweiler [2013-01-03 07:55:03] 833*2^1238564-1 is not prime. Res64: 9CCB153E8B08DA71 Time : 0.0 sec. user=mdettweiler [2013-01-03 07:55:08] 873*2^1238564-1 is not prime. Res64: 7A15B1B042D5E40E Time : 0.0 sec. user=mdettweiler [2013-01-03 07:55:08] 651*2^1238565-1 is not prime. Res64: 027E3B16B3ABA951 Time : 0.0 sec. user=vaughan [2013-01-03 07:58:55] 707*2^1238564-1 is not prime. Res64: AAD8F1DE2CA960B3 Time : 0.0 sec. user=mdettweiler [2013-01-03 08:12:22] 655*2^1238565-1 is not prime. Res64: 5FEC33F0E7FB3258 Time : 0.0 sec. user=mdettweiler [2013-01-03 08:12:22] 667*2^1238565-1 is not prime. Res64: CC055EFC2920D8B2 Time : 0.0 sec. user=mdettweiler [2013-01-03 08:12:33] 675*2^1238565-1 is not prime. Res64: D2887E077D2BF2AB Time : 0.0 sec. user=mdettweiler [2013-01-03 08:12:34] 699*2^1238565-1 is not prime. Res64: 2191543F0AD4CAEE Time : 0.0 sec. user=mdettweiler [2013-01-03 08:29:44] 921*2^1238565-1 is not prime. Res64: CA4C3C19FAE91F2C Time : 0.0 sec. user=mdettweiler [2013-01-03 08:29:45] 951*2^1238565-1 is not prime. Res64: 18B7F9D8B6F834FF Time : 0.0 sec. user=mdettweiler [2013-01-03 08:29:54] 705*2^1238566-1 is not prime. Res64: D1726F28D2FD9CB5 Time : 0.0 sec. user=mdettweiler [2013-01-03 08:29:54] 717*2^1238566-1 is not prime. Res64: 60810624FB3E7C30 Time : 0.0 sec. user=vaughan [2013-01-03 08:36:43] 795*2^1238565-1 is not prime. Res64: 861F8F564022DC90 Time : 0.0 sec. user=mdettweiler [2013-01-03 08:47:04] 867*2^1238566-1 is not prime. Res64: 42F04C048BFA862E Time : 0.0 sec. user=mdettweiler [2013-01-03 08:47:04] 911*2^1238566-1 is not prime. Res64: 0443B5F4F7F70B2D Time : 0.0 sec. user=mdettweiler [2013-01-03 08:47:13] 993*2^1238566-1 is not prime. Res64: DCBAE60D0F3ADF4F Time : 0.0 sec. user=mdettweiler [2013-01-03 08:47:14] 619*2^1238567-1 is not prime. Res64: 28196E6C8B02DBC9 Time : 0.0 sec. user=mdettweiler [2013-01-03 09:04:24] 703*2^1238567-1 is not prime. Res64: 004D6E7D9D18F52C Time : 0.0 sec. user=mdettweiler [2013-01-03 09:04:27] 715*2^1238567-1 is not prime. Res64: FF2C592A67C96B20 Time : 0.0 sec. user=mdettweiler [2013-01-03 09:04:33] 729*2^1238567-1 is not prime. Res64: 67CB9EA1CAFA4816 Time : 0.0 sec. user=mdettweiler [2013-01-03 09:04:36] 813*2^1238567-1 is not prime. Res64: B91BC9AE46360ABA Time : 0.0 sec. user=vaughan [2013-01-03 09:14:30] 669*2^1238567-1 is not prime. Res64: 261B4019B570A5E9 Time : 0.0 sec. user=mdettweiler [2013-01-03 09:22:00] 823*2^1238567-1 is not prime. Res64: DDDA68BA45DB31A2 Time : 0.0 sec. user=mdettweiler [2013-01-03 09:22:01] 993*2^1238567-1 is not prime. Res64: AE46DEAC393BC232 Time : 0.0 sec. user=mdettweiler [2013-01-03 09:22:04] 689*2^1238568-1 is not prime. Res64: 5DC2A0707C9C7558 Time : 0.0 sec. user=mdettweiler [2013-01-03 09:22:05] 705*2^1238568-1 is not prime. Res64: C3A7139FF7DE7730 Time : 0.0 sec. user=mdettweiler [2013-01-03 09:39:20] 899*2^1238568-1 is not prime. Res64: 346B11A47A3AAAA8 Time : 0.0 sec. user=mdettweiler [2013-01-03 09:39:21] 929*2^1238568-1 is not prime. Res64: 845284602354CE27 Time : 0.0 sec. user=mdettweiler [2013-01-03 09:39:25] 745*2^1238569-1 is not prime. Res64: F151CFAC13C6535F Time : 0.0 sec. user=mdettweiler [2013-01-03 09:39:25] 771*2^1238569-1 is not prime. Res64: 9052EA582A790999 Time : 0.0 sec. user=vaughan [2013-01-03 09:52:22] 767*2^1238568-1 is not prime. Res64: 92EBDE35EE6B4A60 Time : 0.0 sec. user=mdettweiler [2013-01-03 09:56:40] 885*2^1238569-1 is not prime. Res64: D9B0BA76CBF03B5B Time : 0.0 sec. user=mdettweiler [2013-01-03 09:56:40] 987*2^1238569-1 is not prime. Res64: 62D7029F14DDCF40 Time : 0.0 sec. user=mdettweiler [2013-01-03 09:56:44] 997*2^1238569-1 is not prime. Res64: 87743CC5B03F3AC7 Time : 0.0 sec. user=mdettweiler [2013-01-03 09:56:45] 651*2^1238570-1 is not prime. Res64: DDBD9C87001336D8 Time : 0.0 sec. user=mdettweiler [2013-01-03 10:13:59] 711*2^1238570-1 is not prime. Res64: AF1EFF624A56209B Time : 0.0 sec. user=mdettweiler [2013-01-03 10:14:00] 731*2^1238570-1 is not prime. Res64: D064528083620CBF Time : 0.0 sec. user=mdettweiler [2013-01-03 10:14:04] 741*2^1238570-1 is not prime. Res64: 15540AE9903ED146 Time : 0.0 sec. user=mdettweiler [2013-01-03 10:14:05] 747*2^1238570-1 is not prime. Res64: 3D066B61CD57BD6C Time : 0.0 sec. user=vaughan [2013-01-03 10:30:10] 671*2^1238570-1 is not prime. Res64: 28CA609839E718FB Time : 0.0 sec. user=mdettweiler [2013-01-03 10:31:22] 783*2^1238570-1 is not prime. Res64: 1004F7420E3DBD8D Time : 0.0 sec. user=mdettweiler [2013-01-03 10:31:22] 797*2^1238570-1 is not prime. Res64: AFA7DF0892F578B9 Time : 0.0 sec. user=mdettweiler [2013-01-03 10:31:24] 875*2^1238570-1 is not prime. Res64: 3163D454553A1C3B Time : 0.0 sec. user=mdettweiler [2013-01-03 10:31:25] 941*2^1238570-1 is not prime. Res64: A35979BF2CD9EBA9 Time : 0.0 sec. user=mdettweiler [2013-01-03 10:48:42] 825*2^1238571-1 is not prime. Res64: 40714B07E906F4DA Time : 0.0 sec. user=mdettweiler [2013-01-03 10:48:43] 859*2^1238571-1 is not prime. Res64: C2AA1038A0D80934 Time : 0.0 sec. user=mdettweiler [2013-01-03 10:48:44] 871*2^1238571-1 is not prime. Res64: 591303BB536B9209 Time : 0.0 sec. user=mdettweiler [2013-01-03 10:48:45] 945*2^1238571-1 is not prime. Res64: CBDA21AA556D534C Time : 0.0 sec. user=mdettweiler [2013-01-03 11:06:03] 615*2^1238572-1 is not prime. Res64: 496B1AB2E03BF691 Time : 0.0 sec. user=mdettweiler [2013-01-03 11:06:03] 665*2^1238572-1 is not prime. Res64: 4D3CC0EA17B2D36F Time : 0.0 sec. user=mdettweiler [2013-01-03 11:06:04] 699*2^1238572-1 is not prime. Res64: 5AA66666735D5D5B Time : 0.0 sec. user=mdettweiler [2013-01-03 11:06:06] 765*2^1238572-1 is not prime. Res64: 34C7E398BC0E66C6 Time : 0.0 sec. user=vaughan [2013-01-03 11:07:58] 669*2^1238571-1 is not prime. Res64: FB6A38DAD60217E9 Time : 0.0 sec. user=mdettweiler [2013-01-03 11:23:29] 899*2^1238572-1 is not prime. Res64: E334585D1379275A Time : 0.0 sec. user=mdettweiler [2013-01-03 11:23:30] 873*2^1238572-1 is not prime. Res64: 1CD3CEB49E4B942B Time : 0.0 sec. user=mdettweiler [2013-01-03 11:23:30] 983*2^1238572-1 is not prime. Res64: 4816CE1046F01330 Time : 0.0 sec. user=mdettweiler [2013-01-03 11:23:30] 781*2^1238573-1 is not prime. Res64: 78DACF3293602D8D Time : 0.0 sec. user=mdettweiler [2013-01-03 11:41:02] 885*2^1238573-1 is not prime. Res64: 6ABD9362585FCB1C Time : 0.0 sec. user=mdettweiler [2013-01-03 11:41:03] 901*2^1238573-1 is not prime. Res64: E6210D0D96B8CD17 Time : 0.0 sec. user=mdettweiler [2013-01-03 11:41:10] 957*2^1238573-1 is not prime. Res64: E0F41CB3F949A71F Time : 0.0 sec. user=mdettweiler [2013-01-03 11:41:10] 621*2^1238574-1 is not prime. Res64: C061D7BBA882F48A Time : 0.0 sec. user=vaughan [2013-01-03 11:45:47] 801*2^1238573-1 is not prime. Res64: 9D1A9F2CAD4D058E Time : 0.0 sec. user=mdettweiler [2013-01-03 11:58:22] 627*2^1238574-1 is not prime. Res64: 22462764BE6B32D8 Time : 0.0 sec. user=mdettweiler [2013-01-03 11:58:23] 807*2^1238574-1 is not prime. Res64: 0C660C17643C6F4D Time : 0.0 sec. user=mdettweiler [2013-01-03 11:58:30] 833*2^1238574-1 is not prime. Res64: 55FBA2B88A846CD3 Time : 0.0 sec. user=mdettweiler [2013-01-03 11:58:30] 885*2^1238574-1 is not prime. Res64: 3CF31A12416DE1A6 Time : 0.0 sec. user=mdettweiler [2013-01-03 12:15:45] 705*2^1238575-1 is not prime. Res64: AB9D9C8ED0F34161 Time : 0.0 sec. user=mdettweiler [2013-01-03 12:15:46] 789*2^1238575-1 is not prime. Res64: 8EB2EAAA067686C2 Time : 0.0 sec. user=mdettweiler [2013-01-03 12:15:50] 871*2^1238575-1 is not prime. Res64: 579531A3830AD679 Time : 0.0 sec. user=mdettweiler [2013-01-03 12:15:50] 943*2^1238575-1 is not prime. Res64: 9B219CC96A9FCDC0 Time : 0.0 sec. user=vaughan [2013-01-03 12:23:36] 679*2^1238575-1 is not prime. Res64: 7ACB41CB16608137 Time : 0.0 sec. user=mdettweiler [2013-01-03 12:33:08] 603*2^1238576-1 is not prime. Res64: C8879E9F3B069CE5 Time : 0.0 sec. user=mdettweiler [2013-01-03 12:33:09] 669*2^1238576-1 is not prime. Res64: 9FD17D3E1EC47B3B Time : 0.0 sec. user=mdettweiler [2013-01-03 12:33:10] 677*2^1238576-1 is not prime. Res64: 2516752349E1327B Time : 0.0 sec. user=mdettweiler [2013-01-03 12:33:11] 777*2^1238576-1 is not prime. Res64: DCD9363875BF2FFE Time : 0.0 sec. user=mdettweiler [2013-01-03 12:50:28] 843*2^1238576-1 is not prime. Res64: 78C6848F211A0596 Time : 0.0 sec. user=mdettweiler [2013-01-03 12:50:28] 873*2^1238576-1 is not prime. Res64: DCEC6214C1185DE6 Time : 0.0 sec. user=mdettweiler [2013-01-03 12:50:30] 875*2^1238576-1 is not prime. Res64: FBC5101D06244AA1 Time : 0.0 sec. user=mdettweiler [2013-01-03 12:50:32] 879*2^1238576-1 is not prime. Res64: F91E0BC06B164338 Time : 0.0 sec. user=vaughan [2013-01-03 13:01:23] 789*2^1238576-1 is not prime. Res64: DCE9420F052B9F22 Time : 0.0 sec. user=mdettweiler [2013-01-03 13:07:48] 917*2^1238576-1 is not prime. Res64: 886C96394DDF56BB Time : 0.0 sec. user=mdettweiler [2013-01-03 13:07:49] 935*2^1238576-1 is not prime. Res64: D3B4D08669D7567E Time : 0.0 sec. user=mdettweiler [2013-01-03 13:07:52] 963*2^1238576-1 is not prime. Res64: DFB982DA9B4B348E Time : 0.0 sec. user=mdettweiler [2013-01-03 13:07:53] 649*2^1238577-1 is not prime. Res64: C0A2D66F0F037700 Time : 0.0 sec. user=mdettweiler [2013-01-03 13:25:12] 781*2^1238577-1 is not prime. Res64: D52EC4A5F292BAEF Time : 0.0 sec. user=mdettweiler [2013-01-03 13:25:13] 805*2^1238577-1 is not prime. Res64: FB979878249204AF Time : 0.0 sec. user=mdettweiler [2013-01-03 13:25:15] 909*2^1238577-1 is not prime. Res64: 0FEA70AEB5923D4D Time : 0.0 sec. user=mdettweiler [2013-01-03 13:25:16] 605*2^1238578-1 is not prime. Res64: 16AF20C3C4A00B15 Time : 0.0 sec. user=vaughan [2013-01-03 13:39:29] 717*2^1238577-1 is not prime. Res64: 6CCDEA4D3F64B7A5 Time : 0.0 sec. user=mdettweiler [2013-01-03 13:42:39] 621*2^1238578-1 is not prime. Res64: A1A52F6D7EDB7C2D Time : 0.0 sec. user=mdettweiler [2013-01-03 13:42:39] 677*2^1238578-1 is not prime. Res64: E2E3E515944DF054 Time : 0.0 sec. user=mdettweiler [2013-01-03 13:42:41] 705*2^1238578-1 is not prime. Res64: 776E496761A3D382 Time : 0.0 sec. user=mdettweiler [2013-01-03 13:42:42] 747*2^1238578-1 is not prime. Res64: F399A488E26CC19A Time : 0.0 sec. user=mdettweiler [2013-01-03 14:00:01] 923*2^1238578-1 is not prime. Res64: 3AB3F282B5EE6FBA Time : 0.0 sec. user=mdettweiler [2013-01-03 14:00:01] 951*2^1238578-1 is not prime. Res64: BE96834360D64016 Time : 0.0 sec. user=mdettweiler [2013-01-03 14:00:01] 615*2^1238579-1 is not prime. Res64: AF75D72AB58CA1BD Time : 0.0 sec. user=mdettweiler [2013-01-03 14:00:02] 663*2^1238579-1 is not prime. Res64: EEAA2EF8A18EFC74 Time : 0.0 sec. user=vaughan [2013-01-03 14:17:15] 915*2^1238578-1 is not prime. Res64: 88A84B8497A377FC Time : 0.0 sec. user=mdettweiler [2013-01-03 14:17:21] 703*2^1238579-1 is not prime. Res64: 6297AA8C133C1C8D Time : 0.0 sec. user=mdettweiler [2013-01-03 14:17:22] 753*2^1238579-1 is not prime. Res64: 67C5CFA879CC563F Time : 0.0 sec. user=mdettweiler [2013-01-03 14:17:23] 801*2^1238579-1 is not prime. Res64: 31A856A157FA2071 Time : 0.0 sec. user=mdettweiler [2013-01-03 14:17:23] 841*2^1238579-1 is not prime. Res64: C3B866A08ADD7C3A Time : 0.0 sec. user=mdettweiler [2013-01-03 14:34:53] 861*2^1238579-1 is not prime. Res64: F8627B381E35CE63 Time : 0.0 sec. user=mdettweiler [2013-01-03 14:34:53] 889*2^1238579-1 is not prime. Res64: 9DA695A28E4DF563 Time : 0.0 sec. user=mdettweiler [2013-01-03 14:34:54] 943*2^1238579-1 is not prime. Res64: B04DC439E611DECF Time : 0.0 sec. user=mdettweiler [2013-01-03 14:34:54] 885*2^1238579-1 is not prime. Res64: A0E25578EEAF7B8C Time : 0.0 sec. user=mdettweiler [2013-01-03 14:52:22] 615*2^1238580-1 is not prime. Res64: E6C1CA21C8EBC7FF Time : 0.0 sec. user=mdettweiler [2013-01-03 14:52:22] 635*2^1238580-1 is not prime. Res64: 2AAA63B5403DFCC2 Time : 0.0 sec. user=mdettweiler [2013-01-03 14:52:23] 717*2^1238580-1 is not prime. Res64: ABA01297FF33BEE1 Time : 0.0 sec. user=mdettweiler [2013-01-03 14:52:24] 735*2^1238580-1 is not prime. Res64: 94427B5624FA5C4B Time : 0.0 sec. user=vaughan [2013-01-03 14:55:03] 859*2^1238579-1 is not prime. Res64: C557799DEEF0D077 Time : 0.0 sec. user=mdettweiler [2013-01-03 15:09:54] 795*2^1238580-1 is not prime. Res64: 39E527EBF78B4CC7 Time : 0.0 sec. user=mdettweiler [2013-01-03 15:09:55] 803*2^1238580-1 is not prime. Res64: 307D2ACBDC919A32 Time : 0.0 sec. user=mdettweiler [2013-01-03 15:09:55] 863*2^1238580-1 is not prime. Res64: 2FD4659ABD1ECDC0 Time : 0.0 sec. user=mdettweiler [2013-01-03 15:09:56] 909*2^1238580-1 is not prime. Res64: 85F0F630D1CB53F9 Time : 0.0 sec. user=mdettweiler [2013-01-03 15:27:50] 651*2^1238581-1 is not prime. Res64: 02C3FA4B906986ED Time : 0.0 sec. user=mdettweiler [2013-01-03 15:27:50] 681*2^1238581-1 is not prime. Res64: A40A43FB3EB25892 Time : 0.0 sec. user=mdettweiler [2013-01-03 15:27:53] 717*2^1238581-1 is not prime. Res64: B4E26D9CD137F608 Time : 0.0 sec. user=mdettweiler [2013-01-03 15:27:53] 741*2^1238581-1 is not prime. Res64: 1BC924D7BF2B6C9C Time : 0.0 sec. user=vaughan [2013-01-03 15:32:54] 959*2^1238580-1 is not prime. Res64: BDC3F1A5C43696C9 Time : 0.0 sec. user=mdettweiler [2013-01-03 15:45:38] 871*2^1238581-1 is not prime. Res64: 9B21648F86EDFF94 Time : 0.0 sec. user=mdettweiler [2013-01-03 15:45:38] 889*2^1238581-1 is not prime. Res64: 4FF0774D575F6811 Time : 0.0 sec. user=mdettweiler [2013-01-03 15:45:40] 901*2^1238581-1 is not prime. Res64: 7A0197634CC33C07 Time : 0.0 sec. user=mdettweiler [2013-01-03 15:45:40] 945*2^1238581-1 is not prime. Res64: 944D74CD1694DA75 Time : 0.0 sec. user=mdettweiler [2013-01-03 16:03:26] 711*2^1238582-1 is not prime. Res64: 48B5F4CDD8A112D1 Time : 0.0 sec. user=mdettweiler [2013-01-03 16:03:28] 771*2^1238582-1 is not prime. Res64: 2CDDDD719EAA1E33 Time : 0.0 sec. user=mdettweiler [2013-01-03 16:03:30] 893*2^1238582-1 is not prime. Res64: C75F7D5BF1BC0C06 Time : 0.0 sec. user=mdettweiler [2013-01-03 16:03:31] 1001*2^1238582-1 is not prime. Res64: 286DB9CB8AF030BD Time : 0.0 sec. user=vaughan [2013-01-03 16:10:42] 645*2^1238582-1 is not prime. Res64: AC3CDA9094695B06 Time : 0.0 sec. user=mdettweiler [2013-01-03 16:21:30] 675*2^1238583-1 is not prime. Res64: EAEE53F4EC4662CA Time : 0.0 sec. user=mdettweiler [2013-01-03 16:21:30] 679*2^1238583-1 is not prime. Res64: 94673B88D3F820A1 Time : 0.0 sec. user=mdettweiler [2013-01-03 16:21:31] 709*2^1238583-1 is not prime. Res64: 9DCA77C76CD2C418 Time : 0.0 sec. user=mdettweiler [2013-01-03 16:21:31] 739*2^1238583-1 is not prime. Res64: 2AA368C540373748 Time : 0.0 sec. user=mdettweiler [2013-01-03 16:39:20] 793*2^1238583-1 is not prime. Res64: 2735C3F316F66044 Time : 0.0 sec. user=mdettweiler [2013-01-03 16:39:20] 955*2^1238583-1 is not prime. Res64: 66754F6B3570760B Time : 0.0 sec. user=mdettweiler [2013-01-03 16:39:20] 825*2^1238583-1 is not prime. Res64: 2D0C6761066DAEFC Time : 0.0 sec. user=mdettweiler [2013-01-03 16:39:20] 609*2^1238584-1 is not prime. Res64: 3FDD3C873668E814 Time : 0.0 sec. user=vaughan [2013-01-03 16:48:35] 789*2^1238583-1 is not prime. Res64: 165E6C78FCE76E71 Time : 0.0 sec. user=mdettweiler [2013-01-03 16:57:09] 615*2^1238584-1 is not prime. Res64: 42BD067FD094CCBC Time : 0.0 sec. user=mdettweiler [2013-01-03 16:57:09] 675*2^1238584-1 is not prime. Res64: 0F73B7390C8C6704 Time : 0.0 sec. user=mdettweiler [2013-01-03 16:57:09] 765*2^1238584-1 is not prime. Res64: 133DE0FE6D2404CF Time : 0.0 sec. user=mdettweiler [2013-01-03 16:57:10] 849*2^1238584-1 is not prime. Res64: 6495CC15CF28F204 Time : 0.0 sec. user=mdettweiler [2013-01-03 17:14:56] 875*2^1238584-1 is not prime. Res64: FA80D51BFA9F5597 Time : 0.0 sec. user=mdettweiler [2013-01-03 17:14:57] 983*2^1238584-1 is not prime. Res64: C06C6AE92ED45E15 Time : 0.0 sec. user=mdettweiler [2013-01-03 17:14:57] 909*2^1238584-1 is not prime. Res64: 8A824301ACF9C861 Time : 0.0 sec. user=mdettweiler [2013-01-03 17:14:57] 995*2^1238584-1 is not prime. Res64: BCCDAAA4DB12D77D Time : 0.0 sec. user=vaughan [2013-01-03 17:26:23] 857*2^1238584-1 is not prime. Res64: CE29FCA84F2D9712 Time : 0.0 sec. user=mdettweiler [2013-01-03 17:32:33] 771*2^1238585-1 is not prime. Res64: ACD172F52455EABA Time : 0.0 sec. user=mdettweiler [2013-01-03 17:32:34] 871*2^1238585-1 is not prime. Res64: AFE2F25D92BDC6F4 Time : 0.0 sec. user=mdettweiler [2013-01-03 17:32:35] 777*2^1238585-1 is not prime. Res64: CFDFE6DDF8260525 Time : 0.0 sec. user=mdettweiler [2013-01-03 17:32:35] 987*2^1238585-1 is not prime. Res64: 3F0162A7F5BE3C34 Time : 0.0 sec. user=mdettweiler [2013-01-03 17:50:09] 777*2^1238586-1 is not prime. Res64: B4CF20CD76DCC0B9 Time : 0.0 sec. user=mdettweiler [2013-01-03 17:50:09] 801*2^1238586-1 is not prime. Res64: EFB18071BC0E66B0 Time : 0.0 sec. user=mdettweiler [2013-01-03 17:50:11] 861*2^1238586-1 is not prime. Res64: 76FB6D31DF9592CA Time : 0.0 sec. user=mdettweiler [2013-01-03 17:50:11] 971*2^1238586-1 is not prime. Res64: BD4ABBE9B71C2C96 Time : 0.0 sec. user=vaughan [2013-01-03 18:04:12] 711*2^1238586-1 is not prime. Res64: A5B34DD3AA538C53 Time : 0.0 sec. user=mdettweiler [2013-01-03 18:07:36] 993*2^1238586-1 is not prime. Res64: F94E876445B11C1C Time : 0.0 sec. user=mdettweiler [2013-01-03 18:07:37] 619*2^1238587-1 is not prime. Res64: 7EC89FAFB3316BCE Time : 0.0 sec. user=mdettweiler [2013-01-03 18:07:38] 645*2^1238587-1 is not prime. Res64: 2F27BF6B2854B1C9 Time : 0.0 sec. user=mdettweiler [2013-01-03 18:07:39] 681*2^1238587-1 is not prime. Res64: 847190E7A79A00E8 Time : 0.0 sec. user=mdettweiler [2013-01-03 18:25:05] 861*2^1238587-1 is not prime. Res64: 6C37A3C9AAB0C354 Time : 0.0 sec. user=mdettweiler [2013-01-03 18:25:06] 885*2^1238587-1 is not prime. Res64: D7CFD39565609C0A Time : 0.0 sec. user=mdettweiler [2013-01-03 18:25:07] 975*2^1238587-1 is not prime. Res64: ED62E5DF453D980A Time : 0.0 sec. user=mdettweiler [2013-01-03 18:25:07] 615*2^1238588-1 is not prime. Res64: 71DAADD6636C9682 Time : 0.0 sec. user=vaughan [2013-01-03 18:42:08] 849*2^1238587-1 is not prime. Res64: 783952765AB81407 Time : 0.0 sec. user=mdettweiler [2013-01-03 18:42:31] 683*2^1238588-1 is not prime. Res64: A7E60500D14D9F88 Time : 0.0 sec. user=mdettweiler [2013-01-03 18:42:31] 909*2^1238588-1 is not prime. Res64: E28A7D3ED033E69A Time : 0.0 sec. user=mdettweiler [2013-01-03 18:42:32] 957*2^1238588-1 is not prime. Res64: 6EC48DB636225ACC Time : 0.0 sec. user=mdettweiler [2013-01-03 18:42:33] 977*2^1238588-1 is not prime. Res64: 0B8C68C00E901608 Time : 0.0 sec. user=mdettweiler [2013-01-03 18:59:55] 811*2^1238589-1 is not prime. Res64: 5ED36F11F44875E8 Time : 0.0 sec. user=mdettweiler [2013-01-03 18:59:55] 907*2^1238589-1 is not prime. Res64: 095C1967452DF5B2 Time : 0.0 sec. user=mdettweiler [2013-01-03 18:59:56] 727*2^1238589-1 is not prime. Res64: 5352CFA60F12E770 Time : 0.0 sec. user=mdettweiler [2013-01-03 18:59:57] 741*2^1238589-1 is not prime. Res64: D996EDB048E40F79 Time : 0.0 sec. user=mdettweiler [2013-01-03 19:17:18] 979*2^1238589-1 is not prime. Res64: 414511C6AA14A893 Time : 0.0 sec. user=mdettweiler [2013-01-03 19:17:19] 635*2^1238590-1 is not prime. Res64: 31D1BCFA3B68D971 Time : 0.0 sec. user=mdettweiler [2013-01-03 19:17:22] 653*2^1238590-1 is not prime. Res64: AE8FD5D147F6D823 Time : 0.0 sec. user=mdettweiler [2013-01-03 19:17:23] 681*2^1238590-1 is not prime. Res64: 834643CFFF4B58D9 Time : 0.0 sec. user=vaughan [2013-01-03 19:19:56] 999*2^1238588-1 is not prime. Res64: B8DDB42904DFEDC9 Time : 0.0 sec. user=mdettweiler [2013-01-03 19:34:45] 741*2^1238590-1 is not prime. Res64: F731A3546BE0899C Time : 0.0 sec. user=mdettweiler [2013-01-03 19:34:46] 801*2^1238590-1 is not prime. Res64: 8D62B95B41179FDE Time : 0.0 sec. user=mdettweiler [2013-01-03 19:34:46] 813*2^1238590-1 is not prime. Res64: C1E32B8FD415F951 Time : 0.0 sec. user=mdettweiler [2013-01-03 19:34:47] 619*2^1238591-1 is not prime. Res64: EB2F99B18174F0E2 Time : 0.0 sec. user=mdettweiler [2013-01-03 19:52:09] 661*2^1238591-1 is not prime. Res64: E9D49299328B24A1 Time : 0.0 sec. user=mdettweiler [2013-01-03 19:52:10] 705*2^1238591-1 is not prime. Res64: 7584CE9DA4B100AD Time : 0.0 sec. user=mdettweiler [2013-01-03 19:52:10] 703*2^1238591-1 is not prime. Res64: C1437CE549B10997 Time : 0.0 sec. user=mdettweiler [2013-01-03 19:52:10] 753*2^1238591-1 is not prime. Res64: F0132ADBEE47F496 Time : 0.0 sec. user=vaughan [2013-01-03 19:57:44] 651*2^1238591-1 is not prime. Res64: 0C59742F0FE649BE Time : 0.0 sec. user=mdettweiler [2013-01-03 20:09:36] 813*2^1238591-1 is not prime. Res64: 1DF1577C1384BB0A Time : 0.0 sec. user=mdettweiler [2013-01-03 20:09:38] 859*2^1238591-1 is not prime. Res64: FA0EB14BE6A84D90 Time : 0.0 sec. user=mdettweiler [2013-01-03 20:09:38] 819*2^1238591-1 is not prime. Res64: F2A284019A881BA0 Time : 0.0 sec. user=mdettweiler [2013-01-03 20:09:39] 885*2^1238591-1 is not prime. Res64: C02C0955C7B4A873 Time : 0.0 sec. user=mdettweiler [2013-01-03 20:27:15] 993*2^1238591-1 is not prime. Res64: B25019624CC929DA Time : 0.0 sec. user=mdettweiler [2013-01-03 20:27:16] 725*2^1238592-1 is not prime. Res64: 7A82FE8F8972252E Time : 0.0 sec. user=mdettweiler [2013-01-03 20:27:19] 753*2^1238592-1 is not prime. Res64: CF9D76BA975C2BAD Time : 0.0 sec. user=mdettweiler [2013-01-03 20:27:19] 809*2^1238592-1 is not prime. Res64: 968D27D1C4AAF5B8 Time : 0.0 sec. user=vaughan [2013-01-03 20:35:32] 955*2^1238591-1 is not prime. Res64: 9FF7A74A2B857A48 Time : 0.0 sec. user=mdettweiler [2013-01-03 20:44:42] 825*2^1238592-1 is not prime. Res64: 6E9CE31FF7FA1F19 Time : 0.0 sec. user=mdettweiler [2013-01-03 20:44:42] 933*2^1238592-1 is not prime. Res64: 29B1BEE5CADA9D52 Time : 0.0 sec. user=mdettweiler [2013-01-03 20:44:44] 983*2^1238592-1 is not prime. Res64: ED9BD8482E8861F7 Time : 0.0 sec. user=mdettweiler [2013-01-03 20:44:45] 625*2^1238593-1 is not prime. Res64: 61689DC8CF39DF63 Time : 0.0 sec. user=mdettweiler [2013-01-03 21:02:09] 877*2^1238593-1 is not prime. Res64: 6441AB0B0EB7A872 Time : 0.0 sec. user=mdettweiler [2013-01-03 21:02:10] 633*2^1238594-1 is not prime. Res64: 7845CAE13BD2EA72 Time : 0.0 sec. user=mdettweiler [2013-01-03 21:02:11] 651*2^1238594-1 is not prime. Res64: 4AB4F756D454F09B Time : 0.0 sec. user=mdettweiler [2013-01-03 21:02:12] 683*2^1238594-1 is not prime. Res64: 40F8A7BD9FE2C421 Time : 0.0 sec. user=vaughan [2013-01-03 21:13:20] 801*2^1238593-1 is not prime. Res64: 65D6A30C2F16AC45 Time : 0.0 sec. user=mdettweiler [2013-01-03 21:19:46] 797*2^1238594-1 is not prime. Res64: CD18215AD6234F5D Time : 0.0 sec. user=mdettweiler [2013-01-03 21:19:47] 935*2^1238594-1 is not prime. Res64: 48E9CFBE4E9AC4FF Time : 0.0 sec. user=mdettweiler [2013-01-03 21:19:47] 887*2^1238594-1 is not prime. Res64: E3C25554F02FD7EB Time : 0.0 sec. user=mdettweiler [2013-01-03 21:19:48] 941*2^1238594-1 is not prime. Res64: 38D5FD4E4CAE05BB Time : 0.0 sec. user=mdettweiler [2013-01-03 21:37:19] 1001*2^1238594-1 is not prime. Res64: A2431ABA2B851C36 Time : 0.0 sec. user=mdettweiler [2013-01-03 21:37:19] 601*2^1238595-1 is not prime. Res64: 175E8AA06C7FC597 Time : 0.0 sec. user=mdettweiler [2013-01-03 21:37:25] 639*2^1238595-1 is not prime. Res64: 98916D29338AFB53 Time : 0.0 sec. user=mdettweiler [2013-01-03 21:37:26] 643*2^1238595-1 is not prime. Res64: 8A9E144799279DBB Time : 0.0 sec. user=vaughan [2013-01-03 21:51:09] 951*2^1238594-1 is not prime. Res64: B8A6F1AD78769C63 Time : 0.0 sec. user=mdettweiler [2013-01-03 21:54:44] 651*2^1238595-1 is not prime. Res64: CF96FB1C229EE3BE Time : 0.0 sec. user=mdettweiler [2013-01-03 21:54:45] 663*2^1238595-1 is not prime. Res64: 224EDCEA9E78C4EE Time : 0.0 sec. user=mdettweiler [2013-01-03 21:54:53] 685*2^1238595-1 is not prime. Res64: 71758BB9AF8D66CA Time : 0.0 sec. user=mdettweiler [2013-01-03 21:54:54] 691*2^1238595-1 is not prime. Res64: 603D387220924D06 Time : 0.0 sec. user=mdettweiler [2013-01-03 22:12:04] 789*2^1238595-1 is not prime. Res64: EA8AF9769D61DCBB Time : 0.0 sec. user=mdettweiler [2013-01-03 22:12:05] 819*2^1238595-1 is not prime. Res64: 43669FABD76C1B2B Time : 0.0 sec. user=mdettweiler [2013-01-03 22:12:12] 859*2^1238595-1 is not prime. Res64: 2A34E4687E31CCE0 Time : 0.0 sec. user=mdettweiler [2013-01-03 22:12:13] 873*2^1238595-1 is not prime. Res64: 5B270F683898AF39 Time : 0.0 sec. user=vaughan [2013-01-03 22:29:00] 709*2^1238595-1 is not prime. Res64: 8076C5918BD1F97E Time : 0.0 sec. user=mdettweiler [2013-01-03 22:29:27] 955*2^1238595-1 is not prime. Res64: AD47F399377B8780 Time : 0.0 sec. user=mdettweiler [2013-01-03 22:29:27] 615*2^1238596-1 is not prime. Res64: 812D88CB43FA5972 Time : 0.0 sec. user=mdettweiler [2013-01-03 22:29:32] 693*2^1238596-1 is not prime. Res64: E32BCF1479F48A81 Time : 0.0 sec. user=mdettweiler [2013-01-03 22:29:32] 839*2^1238596-1 is not prime. Res64: B776A223E4166215 Time : 0.0 sec. user=mdettweiler [2013-01-03 22:46:48] 909*2^1238596-1 is not prime. Res64: 92058B993DA9AD99 Time : 0.0 sec. user=mdettweiler [2013-01-03 22:46:48] 933*2^1238596-1 is not prime. Res64: 6D56593603B05E9A Time : 0.0 sec. user=mdettweiler [2013-01-03 22:46:52] 975*2^1238596-1 is not prime. Res64: 90C573ACEB694B51 Time : 0.0 sec. user=mdettweiler [2013-01-03 22:46:53] 717*2^1238597-1 is not prime. Res64: 97791E1F0AC26B0A Time : 0.0 sec. user=mdettweiler [2013-01-03 23:04:09] 759*2^1238597-1 is not prime. Res64: A95AD8042AF31BAB Time : 0.0 sec. user=mdettweiler [2013-01-03 23:04:13] 847*2^1238597-1 is not prime. Res64: 6B18010A03EDE997 Time : 0.0 sec. user=mdettweiler [2013-01-03 23:04:14] 865*2^1238597-1 is not prime. Res64: B2B363A60A1FD5CF Time : 0.0 sec. user=mdettweiler [2013-01-03 23:04:15] 925*2^1238597-1 is not prime. Res64: A7BC754F09E66C34 Time : 0.0 sec. user=vaughan [2013-01-03 23:06:48] 855*2^1238596-1 is not prime. Res64: A2C6C52AB1785607 Time : 0.0 sec. user=mdettweiler [2013-01-03 23:21:58] 939*2^1238597-1 is not prime. Res64: FDEC2F30A9AF91B7 Time : 0.0 sec. user=mdettweiler [2013-01-03 23:21:59] 945*2^1238597-1 is not prime. Res64: 0EE45DFAA6022481 Time : 0.0 sec. user=mdettweiler [2013-01-03 23:22:07] 949*2^1238597-1 is not prime. Res64: 9F9ADFEC9772FE67 Time : 0.0 sec. user=mdettweiler [2013-01-03 23:22:07] 981*2^1238597-1 is not prime. Res64: 4F1B6B24DEB0BC6F Time : 0.0 sec. user=mdettweiler [2013-01-03 23:39:20] 777*2^1238598-1 is not prime. Res64: C86B408BA043CC1D Time : 0.0 sec. user=mdettweiler [2013-01-03 23:39:20] 791*2^1238598-1 is not prime. Res64: 79D7AB51561B2B9E Time : 0.0 sec. user=mdettweiler [2013-01-03 23:39:27] 963*2^1238598-1 is not prime. Res64: 74D987F2C60928E0 Time : 0.0 sec. user=mdettweiler [2013-01-03 23:39:28] 1001*2^1238598-1 is not prime. Res64: 4CB3CAC16093D1C6 Time : 0.0 sec. user=vaughan [2013-01-03 23:44:40] 747*2^1238598-1 is not prime. Res64: 940D791D8D31A402 Time : 0.0 sec. user=mdettweiler [2013-01-03 23:56:40] 601*2^1238599-1 is not prime. Res64: 7BA939DE73DF8F28 Time : 0.0 sec. user=mdettweiler [2013-01-03 23:56:40] 649*2^1238599-1 is not prime. Res64: DAFEC49233B33A94 Time : 0.0 sec. user=mdettweiler [2013-01-03 23:56:47] 661*2^1238599-1 is not prime. Res64: 68E4F18C8B8E1940 Time : 0.0 sec. user=mdettweiler [2013-01-03 23:56:48] 729*2^1238599-1 is not prime. Res64: 871249AC38C41431 Time : 0.0 sec.