user=mdettweiler [2013-06-04 00:01:54] 787*2^1246529-1 is not prime. Res64: EE986AAD41541728 Time : 0.0 sec. user=mdettweiler [2013-06-04 00:01:55] 795*2^1246529-1 is not prime. Res64: C01907D80E62B5D1 Time : 0.0 sec. user=mdettweiler [2013-06-04 00:06:58] 811*2^1246529-1 is not prime. Res64: FE92C81792F928EB Time : 0.0 sec. user=mdettweiler [2013-06-04 00:06:59] 837*2^1246529-1 is not prime. Res64: EB6565B0685992EE Time : 0.0 sec. user=mdettweiler [2013-06-04 00:19:52] 861*2^1246529-1 is not prime. Res64: 47FCDE7C4362ACA9 Time : 0.0 sec. user=mdettweiler [2013-06-04 00:24:44] 971*2^1246530-1 is not prime. Res64: 011D4FFDDF3EE189 Time : 0.0 sec. user=mdettweiler [2013-06-04 00:24:45] 631*2^1246531-1 is not prime. Res64: 14AAC096C2BABB9D Time : 0.0 sec. user=mdettweiler [2013-06-04 00:42:13] 639*2^1246531-1 is not prime. Res64: FE5463634B4F888F Time : 0.0 sec. user=mdettweiler [2013-06-04 00:42:14] 723*2^1246531-1 is not prime. Res64: CAF1D86B37A60E38 Time : 0.0 sec. user=mdettweiler [2013-06-04 00:51:05] 665*2^1246530-1 is not prime. Res64: 44A15E2570269E05 Time : 0.0 sec. user=mdettweiler [2013-06-04 01:00:48] 861*2^1246531-1 is not prime. Res64: F65698C68811B9CC Time : 0.0 sec. user=mdettweiler [2013-06-04 01:00:48] 975*2^1246531-1 is not prime. Res64: EF967221E94D5FE9 Time : 0.0 sec. user=mdettweiler [2013-06-04 01:18:52] 735*2^1246532-1 is not prime. Res64: 40691BC08C9B9780 Time : 0.0 sec. user=mdettweiler [2013-06-04 01:32:43] 749*2^1246532-1 is not prime. Res64: 679758E6F78E39A7 Time : 0.0 sec. user=mdettweiler [2013-06-04 01:46:25] 743*2^1246532-1 is not prime. Res64: 76AA3B9944BBDA13 Time : 0.0 sec. user=mdettweiler [2013-06-04 01:55:04] 825*2^1246532-1 is not prime. Res64: 6D4F3FF87C08248A Time : 0.0 sec. user=mdettweiler [2013-06-04 02:04:11] 873*2^1246532-1 is not prime. Res64: 31C6263C31BD048E Time : 0.0 sec. user=mdettweiler [2013-06-04 02:04:12] 963*2^1246532-1 is not prime. Res64: 3DAE2CF990AA2396 Time : 0.0 sec. user=mdettweiler [2013-06-04 02:21:55] 609*2^1246533-1 is not prime. Res64: D0902E94B9A49CFA Time : 0.0 sec. user=mdettweiler [2013-06-04 02:44:28] 675*2^1246533-1 is not prime. Res64: E3DFFD78B6EB4237 Time : 0.0 sec. user=mdettweiler [2013-06-04 02:46:20] 625*2^1246533-1 is not prime. Res64: 9373089E04C7EE5C Time : 0.0 sec. user=mdettweiler [2013-06-04 03:04:22] 789*2^1246533-1 is not prime. Res64: 6311AD19AB53DD23 Time : 0.0 sec. user=mdettweiler [2013-06-04 03:09:02] 727*2^1246533-1 is not prime. Res64: 68D14FDC735570F8 Time : 0.0 sec. user=mdettweiler [2013-06-04 03:26:12] 835*2^1246533-1 is not prime. Res64: 18D3D9CD30F97CE2 Time : 0.0 sec. user=mdettweiler [2013-06-04 03:26:33] 837*2^1246533-1 is not prime. Res64: 974CAF53F1FB7746 Time : 0.0 sec. user=mdettweiler [2013-06-04 03:26:33] 861*2^1246533-1 is not prime. Res64: 603D01E4D6ADA025 Time : 0.0 sec. user=mdettweiler [2013-06-04 03:44:19] 635*2^1246534-1 is not prime. Res64: CCF3619772CA9AC6 Time : 0.0 sec. user=mdettweiler [2013-06-04 03:44:20] 645*2^1246534-1 is not prime. Res64: 67A8FE5897C7E21E Time : 0.0 sec. user=mdettweiler [2013-06-04 03:44:43] 927*2^1246533-1 is not prime. Res64: 7D2603C36E40AF3A Time : 0.0 sec. user=mdettweiler [2013-06-04 03:44:44] 979*2^1246533-1 is not prime. Res64: 4CD2E4975B6015FD Time : 0.0 sec. user=mdettweiler [2013-06-04 04:02:43] 861*2^1246534-1 is not prime. Res64: 74CBEEA81CD0C44B Time : 0.0 sec. user=mdettweiler [2013-06-04 04:18:31] 755*2^1246534-1 is not prime. Res64: 5EC51CB769EF81FD Time : 0.0 sec. user=mdettweiler [2013-06-04 04:18:32] 827*2^1246534-1 is not prime. Res64: 0AC02DDD24C90BF0 Time : 0.0 sec. user=mdettweiler [2013-06-04 04:46:53] 603*2^1246535-1 is not prime. Res64: 2A04B2CE5C493D4C Time : 0.0 sec. user=mdettweiler [2013-06-04 05:11:21] 679*2^1246535-1 is not prime. Res64: 4B7363B174FC326F Time : 0.0 sec. user=mdettweiler [2013-06-04 05:11:22] 843*2^1246535-1 is not prime. Res64: D5D261B777103BE8 Time : 0.0 sec. user=mdettweiler [2013-06-04 05:29:06] 859*2^1246535-1 is not prime. Res64: 3B9DB2D0CA81FC97 Time : 0.0 sec. user=mdettweiler [2013-06-04 05:29:07] 861*2^1246535-1 is not prime. Res64: 6AEAE0400B6FB436 Time : 0.0 sec. user=mdettweiler [2013-06-04 05:43:01] 921*2^1246535-1 is not prime. Res64: 7426AECCB7217E73 Time : 0.0 sec. user=mdettweiler [2013-06-04 05:43:02] 633*2^1246536-1 is not prime. Res64: AFF05469FB9DA8E1 Time : 0.0 sec. user=mdettweiler [2013-06-04 05:46:40] 693*2^1246536-1 is not prime. Res64: 016476C5D4B97242 Time : 0.0 sec. user=mdettweiler [2013-06-04 05:46:40] 719*2^1246536-1 is not prime. Res64: 066E2524BC1A63F6 Time : 0.0 sec. user=mdettweiler [2013-06-04 06:00:56] 759*2^1246536-1 is not prime. Res64: 52DE28EEE4A89248 Time : 0.0 sec. user=mdettweiler [2013-06-04 06:29:06] 661*2^1246537-1 is not prime. Res64: 86F98B9BB4B306CD Time : 0.0 sec. user=mdettweiler [2013-06-04 06:43:15] 765*2^1246537-1 is not prime. Res64: CE08221C5FE9D5E6 Time : 0.0 sec. user=mdettweiler [2013-06-04 06:46:51] 861*2^1246537-1 is not prime. Res64: F998AD8379F2B286 Time : 0.0 sec. user=mdettweiler [2013-06-04 06:46:51] 871*2^1246537-1 is not prime. Res64: 2851CAC4A9B5006E Time : 0.0 sec. user=mdettweiler [2013-06-04 07:04:35] 897*2^1246537-1 is not prime. Res64: F53132031F301D4C Time : 0.0 sec. user=mdettweiler [2013-06-04 07:04:36] 633*2^1246538-1 is not prime. Res64: 458B34A3CFB6BB2A Time : 0.0 sec. user=mdettweiler [2013-06-04 07:21:08] 849*2^1246537-1 is not prime. Res64: C49855AE14767D3C Time : 0.0 sec. user=mdettweiler [2013-06-04 07:22:12] 735*2^1246538-1 is not prime. Res64: 42BEC1F32DABD418 Time : 0.0 sec. user=mdettweiler [2013-06-04 07:22:13] 747*2^1246538-1 is not prime. Res64: 0F17B111B40B1688 Time : 0.0 sec. user=mdettweiler [2013-06-04 07:38:47] 843*2^1246538-1 is not prime. Res64: 5CB10DE8AB570628 Time : 0.0 sec. user=mdettweiler [2013-06-04 07:39:52] 835*2^1246539-1 is not prime. Res64: AB70B2A3D12F2BFC Time : 0.0 sec. user=mdettweiler [2013-06-04 08:04:17] 861*2^1246539-1 is not prime. Res64: E22A7DB15730247C Time : 0.0 sec. user=mdettweiler [2013-06-04 08:17:11] 625*2^1246539-1 is not prime. Res64: 88A83666C5ADD1F5 Time : 0.0 sec. user=mdettweiler [2013-06-04 08:24:03] 653*2^1246540-1 is not prime. Res64: DA85B7919271629F Time : 0.0 sec. user=mdettweiler [2013-06-04 08:51:37] 819*2^1246540-1 is not prime. Res64: 6AD8B638ADB6A68C Time : 0.0 sec. user=mdettweiler [2013-06-04 09:10:28] 961*2^1246539-1 is not prime. Res64: E0B44BDE571525C7 Time : 0.0 sec. user=mdettweiler [2013-06-04 09:10:29] 615*2^1246540-1 is not prime. Res64: E570C81F527EFBF7 Time : 0.0 sec. user=mdettweiler [2013-06-04 09:27:31] 905*2^1246540-1 is not prime. Res64: EF684B7640A18F9D Time : 0.0 sec. user=mdettweiler [2013-06-04 09:27:32] 965*2^1246540-1 is not prime. Res64: 90059366DB25F724 Time : 0.0 sec. user=mdettweiler [2013-06-04 09:28:14] 619*2^1246541-1 is not prime. Res64: BD2B04C3A3F459C1 Time : 0.0 sec. user=mdettweiler [2013-06-04 09:28:14] 621*2^1246541-1 is not prime. Res64: 8D4E5ADE2D00AC9D Time : 0.0 sec. user=mdettweiler [2013-06-04 09:45:21] 657*2^1246541-1 is not prime. Res64: 60239CF8BC9895C3 Time : 0.0 sec. user=mdettweiler [2013-06-04 09:45:22] 795*2^1246541-1 is not prime. Res64: 54FBF126523A309D Time : 0.0 sec. user=mdettweiler [2013-06-04 09:46:04] 955*2^1246541-1 is not prime. Res64: E93CF69D9BB7DACF Time : 0.0 sec. user=mdettweiler [2013-06-04 09:46:04] 627*2^1246542-1 is not prime. Res64: 3F223F2FF3B164D8 Time : 0.0 sec. user=mdettweiler [2013-06-04 10:03:06] 717*2^1246542-1 is not prime. Res64: 00DD6F2472091D87 Time : 0.0 sec. user=mdettweiler [2013-06-04 10:03:25] 887*2^1246542-1 is not prime. Res64: 3507B897486EA4ED Time : 0.0 sec. user=mdettweiler [2013-06-04 10:03:49] 915*2^1246542-1 is not prime. Res64: 9989713048F74BF2 Time : 0.0 sec. user=mdettweiler [2013-06-04 10:03:50] 965*2^1246542-1 is not prime. Res64: B824C4D8FD679350 Time : 0.0 sec. user=mdettweiler [2013-06-04 10:22:30] 975*2^1246542-1 is not prime. Res64: D3BA61734B5B114F Time : 0.0 sec. user=mdettweiler [2013-06-04 10:22:30] 769*2^1246543-1 is not prime. Res64: 90945B17B098D13A Time : 0.0 sec. user=mdettweiler [2013-06-04 10:40:29] 829*2^1246543-1 is not prime. Res64: 31B0759360A1DF2F Time : 0.0 sec. user=mdettweiler [2013-06-04 10:40:29] 871*2^1246543-1 is not prime. Res64: 34E52581052C5A82 Time : 0.0 sec. user=mdettweiler [2013-06-04 10:48:58] 973*2^1246543-1 is not prime. Res64: B3B90A61CCC8FB75 Time : 0.0 sec. user=mdettweiler [2013-06-04 10:48:59] 623*2^1246544-1 is not prime. Res64: A72EBD317BAAFFA3 Time : 0.0 sec. user=mdettweiler [2013-06-04 10:58:36] 795*2^1246544-1 is not prime. Res64: 3812205ECDD20B8B Time : 0.0 sec. user=mdettweiler [2013-06-04 11:07:01] 935*2^1246544-1 is not prime. Res64: 51EE3AE72D39615A Time : 0.0 sec. user=mdettweiler [2013-06-04 11:23:39] 833*2^1246544-1 is not prime. Res64: F298E43D8CF3CE70 Time : 0.0 sec. user=mdettweiler [2013-06-04 11:31:26] 969*2^1246544-1 is not prime. Res64: B2FCB3DA39AF8784 Time : 0.0 sec. user=mdettweiler [2013-06-04 11:42:21] 983*2^1246544-1 is not prime. Res64: 1858ED096D3C3CF5 Time : 0.0 sec. user=mdettweiler [2013-06-04 11:42:22] 679*2^1246545-1 is not prime. Res64: 04E5FDB42C7674C5 Time : 0.0 sec. user=mdettweiler [2013-06-04 11:49:33] 847*2^1246545-1 is not prime. Res64: 0C2CCDE8B7F11FD9 Time : 0.0 sec. user=mdettweiler [2013-06-04 11:49:34] 867*2^1246545-1 is not prime. Res64: F33B671541C5C3B6 Time : 0.0 sec. user=mdettweiler [2013-06-04 12:00:18] 895*2^1246545-1 is not prime. Res64: 961A21ACDD08CC5E Time : 0.0 sec. user=mdettweiler [2013-06-04 12:00:19] 909*2^1246545-1 is not prime. Res64: E899A27341A5170C Time : 0.0 sec. user=mdettweiler [2013-06-04 12:07:31] 915*2^1246545-1 is not prime. Res64: 24A827D8F4E61C64 Time : 0.0 sec. user=mdettweiler [2013-06-04 12:07:32] 919*2^1246545-1 is not prime. Res64: AD266F44ACA523C6 Time : 0.0 sec. user=mdettweiler [2013-06-04 12:19:45] 979*2^1246545-1 is not prime. Res64: 2DFE38A720040007 Time : 0.0 sec. user=mdettweiler [2013-06-04 12:25:39] 671*2^1246546-1 is not prime. Res64: 9AAB5DE7337BF3A7 Time : 0.0 sec. user=mdettweiler [2013-06-04 12:51:57] 723*2^1246546-1 is not prime. Res64: BFA966588A98FED6 Time : 0.0 sec. user=mdettweiler [2013-06-04 12:59:47] 651*2^1246546-1 is not prime. Res64: 9E5B3FD317A000E3 Time : 0.0 sec. user=mdettweiler [2013-06-04 13:10:15] 783*2^1246546-1 is not prime. Res64: ECB174368CBE9D4F Time : 0.0 sec. user=mdettweiler [2013-06-04 13:10:16] 873*2^1246546-1 is not prime. Res64: 2E1828468783155C Time : 0.0 sec. user=mdettweiler [2013-06-04 13:28:25] 917*2^1246546-1 is not prime. Res64: 93A03C96F2A43402 Time : 0.0 sec. user=mdettweiler [2013-06-04 13:28:25] 945*2^1246546-1 is not prime. Res64: 29E5587F2C07197B Time : 0.0 sec. user=mdettweiler [2013-06-04 13:36:01] 983*2^1246546-1 is not prime. Res64: E3080670FABFDFDA Time : 0.0 sec. user=mdettweiler [2013-06-04 13:46:22] 669*2^1246547-1 is not prime. Res64: 53A680EF46A57D54 Time : 0.0 sec. user=mdettweiler [2013-06-04 14:02:39] 601*2^1246547-1 is not prime. Res64: 2620ED7BFBA6C19D Time : 0.0 sec. user=mdettweiler [2013-06-04 14:25:23] 715*2^1246547-1 is not prime. Res64: DC4A41CB0B41E5AB Time : 0.0 sec. user=mdettweiler [2013-06-04 14:39:54] 801*2^1246547-1 is not prime. Res64: DFCCFAD60F4FF190 Time : 0.0 sec. user=mdettweiler [2013-06-04 15:19:48] 889*2^1246547-1 is not prime. Res64: 57B28F18BF9D3490 Time : 0.0 sec. user=mdettweiler [2013-06-04 15:20:52] 895*2^1246547-1 is not prime. Res64: D50EFAFD697235AD Time : 0.0 sec. user=mdettweiler [2013-06-04 15:37:30] 633*2^1246548-1 is not prime. Res64: 972DD47E884B312D Time : 0.0 sec. user=mdettweiler [2013-06-04 15:37:30] 665*2^1246548-1 is not prime. Res64: B334F372F280DE93 Time : 0.0 sec. user=mdettweiler [2013-06-04 15:43:53] 979*2^1246547-1 is not prime. Res64: 839229DD97646C54 Time : 0.0 sec. user=mdettweiler [2013-06-04 15:55:28] 669*2^1246548-1 is not prime. Res64: 9DFADA018B37D3DD Time : 0.0 sec. user=mdettweiler [2013-06-04 15:55:47] 707*2^1246548-1 is not prime. Res64: 8A5D95D15D1183F1 Time : 0.0 sec. user=mdettweiler [2013-06-04 16:35:52] 803*2^1246548-1 is not prime. Res64: 3FCF6F59D099AF41 Time : 0.0 sec. user=mdettweiler [2013-06-04 16:35:53] 947*2^1246548-1 is not prime. Res64: 8B0F3CAE23A33AB3 Time : 0.0 sec. user=mdettweiler [2013-06-04 16:39:58] 977*2^1246548-1 is not prime. Res64: 970310552B13AC48 Time : 0.0 sec. user=mdettweiler [2013-06-04 16:39:58] 999*2^1246548-1 is not prime. Res64: ED93F036D94C74C0 Time : 0.0 sec. user=mdettweiler [2013-06-04 16:53:45] 649*2^1246549-1 is not prime. Res64: 6E402BDA096006FA Time : 0.0 sec. user=mdettweiler [2013-06-04 16:53:45] 675*2^1246549-1 is not prime. Res64: CDC16BB436D9FBE0 Time : 0.0 sec. user=mdettweiler [2013-06-04 16:57:41] 769*2^1246549-1 is not prime. Res64: E43BAE4A7F22BAA1 Time : 0.0 sec. user=mdettweiler [2013-06-04 16:57:41] 771*2^1246549-1 is not prime. Res64: 18648665110EDD00 Time : 0.0 sec. user=mdettweiler [2013-06-04 17:11:29] 829*2^1246549-1 is not prime. Res64: A57549F39DD83631 Time : 0.0 sec. user=mdettweiler [2013-06-04 17:11:30] 895*2^1246549-1 is not prime. Res64: FC8366F36E032773 Time : 0.0 sec. user=mdettweiler [2013-06-04 17:15:41] 623*2^1246550-1 is not prime. Res64: 2B2FAD27DDAFA3A5 Time : 0.0 sec. user=mdettweiler [2013-06-04 17:15:41] 651*2^1246550-1 is not prime. Res64: 75EAF83E98BDD82F Time : 0.0 sec. user=mdettweiler [2013-06-04 17:29:54] 671*2^1246550-1 is not prime. Res64: D60EAE15B3EC661F Time : 0.0 sec. user=mdettweiler [2013-06-04 17:33:24] 753*2^1246550-1 is not prime. Res64: EED84CE15BF0BAE5 Time : 0.0 sec. user=mdettweiler [2013-06-04 17:33:24] 957*2^1246550-1 is not prime. Res64: 494A83C2A1F6106B Time : 0.0 sec. user=mdettweiler [2013-06-04 17:51:40] 669*2^1246551-1 is not prime. Res64: 38A00EE8EDD0A695 Time : 0.0 sec. user=mdettweiler [2013-06-04 17:51:40] 735*2^1246551-1 is not prime. Res64: F98C1323F7505454 Time : 0.0 sec. user=mdettweiler [2013-06-04 18:02:33] 741*2^1246550-1 is not prime. Res64: 88EF430785193781 Time : 0.0 sec. user=mdettweiler [2013-06-04 18:09:22] 781*2^1246551-1 is not prime. Res64: D0D375DBA21ACE2E Time : 0.0 sec. user=mdettweiler [2013-06-04 18:09:23] 829*2^1246551-1 is not prime. Res64: D73F1F13ED44A984 Time : 0.0 sec. user=mdettweiler [2013-06-04 18:27:12] 891*2^1246551-1 is not prime. Res64: CB61F57ACCA1D198 Time : 0.0 sec. user=mdettweiler [2013-06-04 18:27:12] 951*2^1246551-1 is not prime. Res64: 9B6DB7E3B10AF7FC Time : 0.0 sec. user=mdettweiler [2013-06-04 18:44:52] 605*2^1246552-1 is not prime. Res64: AF85755B0672A646 Time : 0.0 sec. user=mdettweiler [2013-06-04 18:44:52] 639*2^1246552-1 is not prime. Res64: DC5A5D2452BC4B32 Time : 0.0 sec. user=mdettweiler [2013-06-04 18:53:38] 687*2^1246552-1 is not prime. Res64: 0CB48BF40DC9CC03 Time : 0.0 sec. user=mdettweiler [2013-06-04 19:02:49] 735*2^1246552-1 is not prime. Res64: 71E3612F0717BD3A Time : 0.0 sec. user=mdettweiler [2013-06-04 19:27:13] 723*2^1246552-1 is not prime. Res64: D9F9C54B98AC5C10 Time : 0.0 sec. user=mdettweiler [2013-06-04 19:40:54] 765*2^1246552-1 is not prime. Res64: FE7575C397F07543 Time : 0.0 sec. user=mdettweiler [2013-06-04 19:58:34] 875*2^1246552-1 is not prime. Res64: D285B655F1AE1D39 Time : 0.0 sec. user=mdettweiler [2013-06-04 19:58:35] 903*2^1246552-1 is not prime. Res64: A82C69732C42D645 Time : 0.0 sec. user=mdettweiler [2013-06-04 20:10:41] 909*2^1246552-1 is not prime. Res64: 1015D473B58DFA47 Time : 0.0 sec. user=mdettweiler [2013-06-04 20:16:32] 965*2^1246552-1 is not prime. Res64: C3910D43615AEA23 Time : 0.0 sec. user=mdettweiler [2013-06-04 20:16:33] 855*2^1246553-1 is not prime. Res64: 0872143879AC92C9 Time : 0.0 sec. user=mdettweiler [2013-06-04 20:34:37] 861*2^1246553-1 is not prime. Res64: DCBECE7F3C6F6E75 Time : 0.0 sec. user=mdettweiler [2013-06-04 20:34:37] 955*2^1246553-1 is not prime. Res64: 3D1C469777594E2E Time : 0.0 sec. user=mdettweiler [2013-06-04 20:49:48] 957*2^1246552-1 is not prime. Res64: 16B7CEF47AEFD5B4 Time : 0.0 sec. user=mdettweiler [2013-06-04 20:52:59] 957*2^1246553-1 is not prime. Res64: D14CC8DAB20B42E9 Time : 0.0 sec. user=mdettweiler [2013-06-04 20:52:59] 765*2^1246554-1 is not prime. Res64: C8864C0065DA653D Time : 0.0 sec. user=mdettweiler [2013-06-04 21:08:05] 861*2^1246554-1 is not prime. Res64: 14F47C9698BB0610 Time : 0.0 sec. user=mdettweiler [2013-06-04 21:08:06] 903*2^1246554-1 is not prime. Res64: 6748B76416C4AD42 Time : 0.0 sec. user=mdettweiler [2013-06-04 21:12:08] 983*2^1246554-1 is not prime. Res64: E2B56E1D7A27BE85 Time : 0.0 sec. user=mdettweiler [2013-06-04 21:26:03] 663*2^1246555-1 is not prime. Res64: 71BF4454BC32EAC9 Time : 0.0 sec. user=mdettweiler [2013-06-04 21:26:04] 723*2^1246555-1 is not prime. Res64: 38D0C474B14408CC Time : 0.0 sec. user=mdettweiler [2013-06-04 21:39:31] 651*2^1246555-1 is not prime. Res64: 87212897BCD52A2F Time : 0.0 sec. user=mdettweiler [2013-06-04 21:43:32] 783*2^1246555-1 is not prime. Res64: A3FD6DD9301B6EFC Time : 0.0 sec. user=mdettweiler [2013-06-04 21:43:32] 793*2^1246555-1 is not prime. Res64: 0B633A3399A814D2 Time : 0.0 sec. user=mdettweiler [2013-06-04 21:57:05] 891*2^1246555-1 is not prime. Res64: 5E38A6A9A83FFCD9 Time : 0.0 sec. user=mdettweiler [2013-06-04 21:57:06] 951*2^1246555-1 is not prime. Res64: BA900179113709B2 Time : 0.0 sec. user=mdettweiler [2013-06-04 22:01:31] 659*2^1246556-1 is not prime. Res64: 4141C7C442F7A908 Time : 0.0 sec. user=mdettweiler [2013-06-04 22:14:41] 909*2^1246556-1 is not prime. Res64: 1721FF314D9F545B Time : 0.0 sec. user=mdettweiler [2013-06-04 22:14:42] 885*2^1246557-1 is not prime. Res64: 04B8DA626047E3A5 Time : 0.0 sec. user=mdettweiler [2013-06-04 22:24:39] 707*2^1246556-1 is not prime. Res64: 0A71EF205B7801B3 Time : 0.0 sec. user=mdettweiler [2013-06-04 22:32:44] 889*2^1246557-1 is not prime. Res64: F1B1E2B94002A1AE Time : 0.0 sec. user=mdettweiler [2013-06-04 22:56:37] 919*2^1246557-1 is not prime. Res64: 90254E80438B8C25 Time : 0.0 sec. user=mdettweiler [2013-06-04 23:14:25] 791*2^1246558-1 is not prime. Res64: 2B3C6AAEE03C061F Time : 0.0 sec. user=mdettweiler [2013-06-04 23:18:19] 891*2^1246558-1 is not prime. Res64: 661B423298210F6B Time : 0.0 sec. user=mdettweiler [2013-06-04 23:37:11] 945*2^1246558-1 is not prime. Res64: 8DE9A523D6B7E113 Time : 0.0 sec. user=mdettweiler [2013-06-04 23:46:27] 831*2^1246558-1 is not prime. Res64: 745C69BE80FECD23 Time : 0.0 sec.