user=mdettweiler
[2015-04-03 00:05:23]
629*2^1396752-1 is not prime.  Res64: 4C55CB6C0F495741  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 00:05:24]
737*2^1396752-1 is not prime.  Res64: 50EE2EA7C36411EF  Time : 0.0 sec.
user=juhehe
[2015-04-03 00:06:54]
621*2^1396751-1 is not prime.  Res64: 4330C4537322D4D5  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 00:21:21]
815*2^1396752-1 is not prime.  Res64: D594826E47E03315  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 00:21:21]
843*2^1396752-1 is not prime.  Res64: 718DC2E3BD8908F9  Time : 0.0 sec.
user=juhehe
[2015-04-03 00:22:10]
767*2^1396752-1 is not prime.  Res64: E528D5430DB3CBFC  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 00:22:51]
873*2^1396752-1 is not prime.  Res64: A7E5BA6BCFD5D2CB  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 00:22:52]
875*2^1396752-1 is not prime.  Res64: 9A35799BC183AC59  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 00:23:34]
887*2^1396752-1 is not prime.  Res64: BA41DB3BD9F0B230  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 00:23:34]
893*2^1396752-1 is not prime.  Res64: 4B5489266127BD3D  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 00:32:14]
959*2^1396752-1 is not prime.  Res64: F2F5BDFB1CB28611  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 00:32:14]
649*2^1396753-1 is not prime.  Res64: 3238D2F4B2D1FFF2  Time : 0.0 sec.
user=juhehe
[2015-04-03 00:43:31]
685*2^1396753-1 is not prime.  Res64: B0DFBC2C59D92C1F  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 00:47:50]
721*2^1396753-1 is not prime.  Res64: E9284CA245E105A4  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 00:47:50]
747*2^1396753-1 is not prime.  Res64: BC6330DEC100DAA5  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 00:49:23]
805*2^1396753-1 is not prime.  Res64: CDC9F511E94C7353  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 00:49:23]
835*2^1396753-1 is not prime.  Res64: 6FFD9857AE8477F1  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 00:50:09]
937*2^1396753-1 is not prime.  Res64: 9C72A4321AF025EC  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 00:50:09]
945*2^1396753-1 is not prime.  Res64: B852F4C82C20C588  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 00:58:53]
967*2^1396753-1 is not prime.  Res64: D2DDFB789031B359  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 00:58:53]
999*2^1396753-1 is not prime.  Res64: CE02B0F33AD88082  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 01:14:19]
705*2^1396754-1 is not prime.  Res64: 9D0AE48D86F05875  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 01:14:19]
711*2^1396754-1 is not prime.  Res64: C301D10855405605  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 01:15:52]
773*2^1396754-1 is not prime.  Res64: 901397D5F121E7B7  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 01:15:52]
945*2^1396754-1 is not prime.  Res64: AA6AB86737B82392  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 01:16:37]
775*2^1396755-1 is not prime.  Res64: 4CF6ED4AB512D7FB  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 01:16:38]
891*2^1396755-1 is not prime.  Res64: 9C04DF63A33EDEB3  Time : 0.0 sec.
user=juhehe
[2015-04-03 01:18:59]
665*2^1396754-1 is not prime.  Res64: 7AF0794DB000C3BD  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 01:25:20]
963*2^1396755-1 is not prime.  Res64: 315D63D7FA6F00AE  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 01:25:21]
979*2^1396755-1 is not prime.  Res64: D24DFADECDE74849  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 01:40:52]
615*2^1396756-1 is not prime.  Res64: 9ED733F159070E50  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 01:40:52]
657*2^1396756-1 is not prime.  Res64: D9725233E05B9D95  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 01:42:21]
833*2^1396756-1 is not prime.  Res64: C60D62C9D2EF8770  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 01:42:22]
843*2^1396756-1 is not prime.  Res64: 871512132D2418F4  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 01:43:02]
903*2^1396756-1 is not prime.  Res64: CCD191C3034784AA  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 01:43:02]
939*2^1396756-1 is not prime.  Res64: FD980195EEF7B5AB  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 01:51:56]
953*2^1396756-1 is not prime.  Res64: 062D71C4F87C9667  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 01:51:57]
957*2^1396756-1 is not prime.  Res64: 6364F2201C87F7C5  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 02:07:20]
871*2^1396757-1 is not prime.  Res64: 48E285DF7A7AD7B4  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 02:07:20]
611*2^1396758-1 is not prime.  Res64: 3F2425907E222E2A  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 02:08:47]
731*2^1396758-1 is not prime.  Res64: FCD7F491C961A984  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 02:08:48]
791*2^1396758-1 is not prime.  Res64: E183FAFF7F31C1BA  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 02:09:21]
649*2^1396759-1 is not prime.  Res64: E1CC21752A23216C  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 02:09:21]
685*2^1396759-1 is not prime.  Res64: B4983F0FD7D9A90D  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 02:18:57]
703*2^1396759-1 is not prime.  Res64: 667E7F0D049867DB  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 02:18:57]
853*2^1396759-1 is not prime.  Res64: 3467C2A51108F8D7  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 02:35:01]
891*2^1396759-1 is not prime.  Res64: C5DDA4673711AC9D  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 02:35:01]
913*2^1396759-1 is not prime.  Res64: AF5A5B025146755F  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 02:36:31]
827*2^1396760-1 is not prime.  Res64: 2A071C613B4B3497  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 02:36:31]
929*2^1396760-1 is not prime.  Res64: 28A9B6C3CA0A757C  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 02:36:46]
983*2^1396760-1 is not prime.  Res64: 015C7E7347C8CE98  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 02:36:46]
651*2^1396761-1 is not prime.  Res64: F674C07BD6D657A3  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 02:46:14]
685*2^1396761-1 is not prime.  Res64: 76EA7C76E1AABC52  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 02:46:15]
735*2^1396761-1 is not prime.  Res64: AD6F2F8DCBE80DCD  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 03:01:34]
807*2^1396761-1 is not prime.  Res64: 212AE17D0EC5A7C4  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 03:01:35]
991*2^1396761-1 is not prime.  Res64: 11091C08725FFC52  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 03:02:55]
603*2^1396762-1 is not prime.  Res64: 6164952E4A5020B6  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 03:02:56]
623*2^1396762-1 is not prime.  Res64: 9455C7BE544C90A7  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 03:03:12]
713*2^1396762-1 is not prime.  Res64: 769FAF510EA75E43  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 03:03:13]
803*2^1396762-1 is not prime.  Res64: BF47780CE4B456AC  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 03:12:43]
885*2^1396762-1 is not prime.  Res64: AE02960E367AA2C0  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 03:12:44]
945*2^1396762-1 is not prime.  Res64: 5218CBF4A72250ED  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 03:28:19]
947*2^1396762-1 is not prime.  Res64: DB4792DADCFD5E5F  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 03:28:20]
975*2^1396762-1 is not prime.  Res64: 8CF07D620F212956  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 03:29:26]
621*2^1396763-1 is not prime.  Res64: C710B15C5A866B8D  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 03:29:27]
699*2^1396763-1 is not prime.  Res64: 5DB1436248F91989  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 03:29:40]
855*2^1396763-1 is not prime.  Res64: E54BDED41CAA6D93  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 03:29:41]
879*2^1396763-1 is not prime.  Res64: 9681EB6B18ECBB4F  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 03:39:18]
719*2^1396764-1 is not prime.  Res64: 37A345952C757719  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 03:39:20]
725*2^1396764-1 is not prime.  Res64: 76E3CD8BAA7460F2  Time : 0.0 sec.
user=juhehe
[2015-04-03 03:42:27]
999*2^1396763-1 is not prime.  Res64: 6D59A3A7AD615130  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 03:54:51]
767*2^1396764-1 is not prime.  Res64: 9CC4B8C9E59C42FE  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 03:54:52]
789*2^1396764-1 is not prime.  Res64: C5CCD9848656F998  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 03:55:58]
903*2^1396764-1 is not prime.  Res64: B0480BE458ADB68D  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 03:55:58]
661*2^1396765-1 is not prime.  Res64: E6FDF5DD684E5F0D  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 03:56:01]
687*2^1396765-1 is not prime.  Res64: 4A70956CBEC4E909  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 03:56:01]
699*2^1396765-1 is not prime.  Res64: D5DAD5F60EF612DA  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 04:05:49]
825*2^1396765-1 is not prime.  Res64: 21847335CF4A5836  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 04:05:50]
849*2^1396765-1 is not prime.  Res64: BD8FFB88C9554B7C  Time : 0.0 sec.
user=juhehe
[2015-04-03 04:18:27]
871*2^1396765-1 is not prime.  Res64: 5A590DD48FF58423  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 04:21:25]
919*2^1396765-1 is not prime.  Res64: 79AA5FC7869B29EF  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 04:21:26]
925*2^1396765-1 is not prime.  Res64: 8E56BB4C8B45AB37  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 04:22:22]
939*2^1396765-1 is not prime.  Res64: B749E52AF24A5937  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 04:22:22]
705*2^1396766-1 is not prime.  Res64: C3D247363BF9C9D4  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 04:22:29]
747*2^1396766-1 is not prime.  Res64: B2B0C084624EC9FE  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 04:22:29]
833*2^1396766-1 is not prime.  Res64: A2F922869A451957  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 04:32:30]
875*2^1396766-1 is not prime.  Res64: 71338C56E9267817  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 04:32:30]
893*2^1396766-1 is not prime.  Res64: 6AF69886C5ADDDF0  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 04:48:03]
691*2^1396767-1 is not prime.  Res64: 6E4353B266A0E3F4  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 04:48:04]
703*2^1396767-1 is not prime.  Res64: 727E4EEA22D76593  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 04:48:53]
861*2^1396767-1 is not prime.  Res64: 300FB53F759CFA56  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 04:48:54]
931*2^1396767-1 is not prime.  Res64: E747DFF841245054  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 04:49:02]
605*2^1396768-1 is not prime.  Res64: FDF08A159CB44341  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 04:49:02]
839*2^1396768-1 is not prime.  Res64: D5B3446F913070E5  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 04:59:03]
869*2^1396768-1 is not prime.  Res64: 44542238B4D181C1  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 04:59:04]
831*2^1396769-1 is not prime.  Res64: 64F60A095F570E65  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 05:14:49]
879*2^1396769-1 is not prime.  Res64: E99619895721D460  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 05:14:50]
651*2^1396770-1 is not prime.  Res64: AD376FC8510B4E7E  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 05:15:29]
653*2^1396770-1 is not prime.  Res64: F1836F23B91F8D2B  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 05:15:30]
767*2^1396770-1 is not prime.  Res64: 505DC289AFC8BBD8  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 05:15:56]
851*2^1396770-1 is not prime.  Res64: 2399F134FFD86793  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 05:15:57]
941*2^1396770-1 is not prime.  Res64: 9CE53A16CCFA7CC9  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 05:26:18]
963*2^1396770-1 is not prime.  Res64: 0541A0D9D7B7C6D9  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 05:26:19]
693*2^1396771-1 is not prime.  Res64: 9F62B5E2913D5AC9  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 05:41:49]
703*2^1396771-1 is not prime.  Res64: B5FDCEB4EFBA230A  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 05:41:49]
805*2^1396771-1 is not prime.  Res64: 5C8F9BA6FDE1A797  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 05:42:09]
819*2^1396771-1 is not prime.  Res64: 0BDD2080CA8380F2  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 05:42:10]
861*2^1396771-1 is not prime.  Res64: ADBAED8BF7157A1E  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 05:42:36]
873*2^1396771-1 is not prime.  Res64: 3DC96ECB0C1739CE  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 05:42:37]
973*2^1396771-1 is not prime.  Res64: 84C64E05774CD8C9  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 05:52:50]
689*2^1396772-1 is not prime.  Res64: B439AF437B3534BE  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 05:52:50]
825*2^1396772-1 is not prime.  Res64: 781EE115D900D253  Time : 0.0 sec.
user=juhehe
[2015-04-03 06:04:18]
963*2^1396772-1 is not prime.  Res64: F5C43427415C08B0  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 06:08:11]
627*2^1396773-1 is not prime.  Res64: 869EE828DF2701A5  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 06:08:12]
691*2^1396773-1 is not prime.  Res64: C3C599224CC2243F  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 06:08:34]
861*2^1396773-1 is not prime.  Res64: E65552024050F518  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 06:08:35]
891*2^1396773-1 is not prime.  Res64: 596A8081905082A2  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 06:08:59]
901*2^1396773-1 is not prime.  Res64: 6FB091982FABD1DF  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 06:08:59]
611*2^1396774-1 is not prime.  Res64: 50E07333EB4F70C4  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 06:19:15]
671*2^1396774-1 is not prime.  Res64: 485B5CAF9672F534  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 06:19:15]
737*2^1396774-1 is not prime.  Res64: B8E2899FAFE48C3B  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 06:34:37]
815*2^1396774-1 is not prime.  Res64: 4F0EF535FFC6B142  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 06:34:37]
821*2^1396774-1 is not prime.  Res64: 1B4B1B1EEA7DA5FA  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 06:35:00]
827*2^1396774-1 is not prime.  Res64: 9287CD1F54A7BC53  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 06:35:01]
887*2^1396774-1 is not prime.  Res64: AA9B4F623D7996D0  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 06:35:22]
947*2^1396774-1 is not prime.  Res64: 490EDE9946EBE6B7  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 06:35:23]
975*2^1396774-1 is not prime.  Res64: 9428B12D8EB72E01  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 06:45:43]
633*2^1396775-1 is not prime.  Res64: 562E666065E1DED8  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 06:45:43]
775*2^1396775-1 is not prime.  Res64: 1B3563BF929C9F7A  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 07:00:55]
999*2^1396775-1 is not prime.  Res64: 7BE2144C173C2669  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 07:00:56]
705*2^1396776-1 is not prime.  Res64: 5F83151FCDE7FF7B  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 07:01:13]
717*2^1396776-1 is not prime.  Res64: 1DEA4AF5537A009D  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 07:01:14]
765*2^1396776-1 is not prime.  Res64: 1A718B48ABAE9EEC  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 07:01:40]
779*2^1396776-1 is not prime.  Res64: 9CAC4219B85959C9  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 07:01:41]
849*2^1396776-1 is not prime.  Res64: 404B40FAC1587B26  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 07:11:55]
873*2^1396776-1 is not prime.  Res64: 41946C18C951D614  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 07:11:55]
609*2^1396777-1 is not prime.  Res64: C0EA3645BF8BEFC1  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 07:27:40]
685*2^1396777-1 is not prime.  Res64: 451C589FF65B22FA  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 07:27:40]
769*2^1396777-1 is not prime.  Res64: 047BF4FF567A130D  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 07:27:41]
805*2^1396777-1 is not prime.  Res64: C09267D3FCF047DE  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 07:27:41]
895*2^1396777-1 is not prime.  Res64: 0CE2F12027CA179C  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 07:28:00]
901*2^1396777-1 is not prime.  Res64: 141A8F4B68096EE3  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 07:28:01]
937*2^1396777-1 is not prime.  Res64: A01FCC6443BCA027  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 07:38:10]
651*2^1396778-1 is not prime.  Res64: CD9BC708AF349537  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 07:38:10]
705*2^1396778-1 is not prime.  Res64: 4C1E94A5BD1E7F77  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 07:53:51]
823*2^1396779-1 is not prime.  Res64: E0317DB7EF2A30F1  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 07:53:52]
903*2^1396779-1 is not prime.  Res64: 35C51E05AD017275  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 07:53:52]
857*2^1396778-1 is not prime.  Res64: 6FE77C934580E9C0  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 07:53:53]
735*2^1396779-1 is not prime.  Res64: 0C304FFB3FFFE2E8  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 07:54:19]
909*2^1396779-1 is not prime.  Res64: 5E2C9FD6DC28479E  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 07:54:20]
653*2^1396780-1 is not prime.  Res64: B9B4D51D9FE2B897  Time : 0.0 sec.
user=juhehe
[2015-04-03 07:57:04]
831*2^1396778-1 is not prime.  Res64: 2D8372976AF5C56B  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 08:04:26]
675*2^1396780-1 is not prime.  Res64: AAA264C65B64BED1  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 08:04:28]
687*2^1396780-1 is not prime.  Res64: CEC379E558CCFFD6  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 08:20:11]
777*2^1396780-1 is not prime.  Res64: AC0F2E5494A13546  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 08:20:12]
819*2^1396780-1 is not prime.  Res64: 6274AF9928C452F3  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 08:20:14]
863*2^1396780-1 is not prime.  Res64: B258D5A10AB93865  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 08:20:14]
899*2^1396780-1 is not prime.  Res64: 40030A973F0126BA  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 08:20:30]
927*2^1396780-1 is not prime.  Res64: E46A945008FEEDE0  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 08:20:30]
957*2^1396780-1 is not prime.  Res64: CF9BCDFB522CC8C9  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 08:31:04]
649*2^1396781-1 is not prime.  Res64: 2C374E7DDC6BFD28  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 08:31:04]
697*2^1396781-1 is not prime.  Res64: 27D131C6D34C8996  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 08:46:33]
717*2^1396781-1 is not prime.  Res64: 7E47950E0816D7FA  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 08:46:33]
829*2^1396781-1 is not prime.  Res64: 110C2486F9E5C4B0  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 08:46:39]
861*2^1396781-1 is not prime.  Res64: 5D0321DB19E5FE35  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 08:46:39]
945*2^1396781-1 is not prime.  Res64: A69FB4FBC27D1EA9  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 08:46:47]
621*2^1396782-1 is not prime.  Res64: C2F4639594A87F01  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 08:46:47]
651*2^1396782-1 is not prime.  Res64: 753DE807B7AC3E30  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 08:57:27]
797*2^1396782-1 is not prime.  Res64: 48BF9B728401E963  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 08:57:27]
801*2^1396782-1 is not prime.  Res64: 01DC03467932A445  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 09:12:56]
815*2^1396782-1 is not prime.  Res64: 5BDF6380111BBD2F  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 09:12:56]
825*2^1396782-1 is not prime.  Res64: 83A1C57CFED28E32  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 09:13:11]
609*2^1396783-1 is not prime.  Res64: FAFAC52B59368423  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 09:13:11]
741*2^1396783-1 is not prime.  Res64: F9340D624F3D2555  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 09:13:12]
745*2^1396783-1 is not prime.  Res64: E169BEA9BE0E7A2A  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 09:13:13]
859*2^1396783-1 is not prime.  Res64: D8F84BFBCCE6AD62  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 09:23:46]
925*2^1396783-1 is not prime.  Res64: 8517900BFFC28E4F  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 09:23:47]
635*2^1396784-1 is not prime.  Res64: DC161C4140020BC2  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 09:39:09]
747*2^1396784-1 is not prime.  Res64: 1078B32A3B933CE0  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 09:39:09]
773*2^1396784-1 is not prime.  Res64: 4DC5CD6F1CFED60E  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 09:39:26]
813*2^1396784-1 is not prime.  Res64: E55AF0A37C06FD01  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 09:39:26]
819*2^1396784-1 is not prime.  Res64: D452D8238E8A238E  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 09:39:30]
843*2^1396784-1 is not prime.  Res64: 3B852D1FFFCE66B7  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 09:39:30]
959*2^1396784-1 is not prime.  Res64: 11AB3EAF1D273F14  Time : 0.0 sec.
user=juhehe
[2015-04-03 09:45:08]
645*2^1396784-1 is not prime.  Res64: 48D0529A30842D3B  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 09:50:02]
667*2^1396785-1 is not prime.  Res64: 5447A6871BDF22E8  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 09:50:03]
781*2^1396785-1 is not prime.  Res64: D6ACDA9E33A27107  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 10:05:32]
969*2^1396785-1 is not prime.  Res64: DE1279E6A87EB746  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 10:05:32]
623*2^1396786-1 is not prime.  Res64: 37F65F84A996D684  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 10:05:42]
735*2^1396786-1 is not prime.  Res64: 1DF21BB11B223944  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 10:05:42]
971*2^1396786-1 is not prime.  Res64: 46D7462DD20D1187  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 10:05:53]
645*2^1396786-1 is not prime.  Res64: 0473F8EBFBA5C6FE  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 10:05:53]
723*2^1396786-1 is not prime.  Res64: 2FC827C8D0AA7FB3  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 10:16:24]
615*2^1396787-1 is not prime.  Res64: 62C8FA80D785678D  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 10:16:24]
675*2^1396787-1 is not prime.  Res64: 2267F91724F15AA0  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 10:31:58]
759*2^1396787-1 is not prime.  Res64: 4052B3A0A21B0AD9  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 10:31:59]
841*2^1396787-1 is not prime.  Res64: 473357D7CE8B0DDF  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 10:32:00]
669*2^1396788-1 is not prime.  Res64: 1EBF3503853C0F56  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 10:32:00]
683*2^1396788-1 is not prime.  Res64: 01765C4283C59FC0  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 10:32:18]
705*2^1396788-1 is not prime.  Res64: 6A9AB38F62373121  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 10:32:18]
753*2^1396788-1 is not prime.  Res64: 14979B274BA532DA  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 10:42:44]
759*2^1396788-1 is not prime.  Res64: 619394558A4949D0  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 10:42:44]
899*2^1396788-1 is not prime.  Res64: C7B13E3F27A5786D  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 10:58:17]
769*2^1396789-1 is not prime.  Res64: 81829CCDFD61A006  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 10:58:17]
819*2^1396789-1 is not prime.  Res64: 07FAAF91063269B2  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 10:58:22]
975*2^1396788-1 is not prime.  Res64: 5A34E14E1AAA54D0  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 10:58:22]
619*2^1396789-1 is not prime.  Res64: 6D857591C32BB337  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 10:58:34]
931*2^1396789-1 is not prime.  Res64: 95258509ABDEBCAD  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 10:58:34]
615*2^1396790-1 is not prime.  Res64: 941251F5E8BBD5E5  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 11:09:02]
671*2^1396790-1 is not prime.  Res64: 14B39C8DB3852625  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 11:09:03]
711*2^1396790-1 is not prime.  Res64: E36096A7260AB1EF  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 11:24:37]
651*2^1396791-1 is not prime.  Res64: CCF68EC8F427E9AE  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 11:24:37]
723*2^1396791-1 is not prime.  Res64: D89EB02FC23B108A  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 11:24:41]
887*2^1396790-1 is not prime.  Res64: 13731A7871EAEBE6  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 11:24:42]
917*2^1396790-1 is not prime.  Res64: D61ACCF578F28C4E  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 11:24:55]
745*2^1396791-1 is not prime.  Res64: 6A19EAAF08784FFA  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 11:24:55]
795*2^1396791-1 is not prime.  Res64: F9F2A02EF5418B06  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 11:35:31]
999*2^1396791-1 is not prime.  Res64: BC1AE01C06315446  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 11:35:31]
635*2^1396792-1 is not prime.  Res64: 8A964BA8CA84305D  Time : 0.0 sec.
user=juhehe
[2015-04-03 11:37:57]
943*2^1396791-1 is not prime.  Res64: E17C82DB84478CDB  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 11:50:52]
827*2^1396792-1 is not prime.  Res64: B56C36ED729674C9  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 11:50:53]
915*2^1396792-1 is not prime.  Res64: 9CB4F31DD8D39AA3  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 11:50:56]
917*2^1396792-1 is not prime.  Res64: FD4B90E556871603  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 11:50:56]
615*2^1396793-1 is not prime.  Res64: 722A479C427C5109  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 11:51:22]
741*2^1396793-1 is not prime.  Res64: AD06597467D60C22  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 11:51:22]
771*2^1396793-1 is not prime.  Res64: F0E4C8FF171D658F  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 12:01:49]
795*2^1396793-1 is not prime.  Res64: 3B0403A9E37EEA77  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 12:01:50]
829*2^1396793-1 is not prime.  Res64: 96FCC0E424DBFC96  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 12:17:10]
871*2^1396793-1 is not prime.  Res64: E646DA3A690B4DA4  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 12:17:11]
889*2^1396793-1 is not prime.  Res64: 6EFC44E00E5B159F  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 12:17:25]
925*2^1396793-1 is not prime.  Res64: 6DA5AA324C7BF39C  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 12:17:25]
951*2^1396793-1 is not prime.  Res64: 759E1BAD7FFA55E8  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 12:17:43]
663*2^1396794-1 is not prime.  Res64: D68E1733A47103C0  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 12:17:44]
803*2^1396794-1 is not prime.  Res64: C1CF37D6A16E0C69  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 12:28:22]
905*2^1396794-1 is not prime.  Res64: 77325513597D1904  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 12:28:23]
639*2^1396795-1 is not prime.  Res64: A68C90EFCF74D67D  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 12:43:31]
645*2^1396795-1 is not prime.  Res64: 7AD35B7F1DF438DF  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 12:43:32]
691*2^1396795-1 is not prime.  Res64: 72A9981A3BD0BDA2  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 12:43:52]
723*2^1396795-1 is not prime.  Res64: E23E068A499A4DBB  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 12:43:53]
819*2^1396795-1 is not prime.  Res64: 7F36C707CA566B07  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 12:44:07]
859*2^1396795-1 is not prime.  Res64: 3D9FC874A56DA148  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 12:44:07]
629*2^1396796-1 is not prime.  Res64: 0492760081C2693E  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 12:54:46]
633*2^1396796-1 is not prime.  Res64: 7E4789743A8FF340  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 12:54:47]
659*2^1396796-1 is not prime.  Res64: 54ABF45D6DE9FAA3  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 13:09:55]
755*2^1396796-1 is not prime.  Res64: 0317E6BB9E9AA9B8  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 13:09:56]
813*2^1396796-1 is not prime.  Res64: 9174DE8666E496B7  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 13:10:16]
825*2^1396796-1 is not prime.  Res64: 0273FF6E30712497  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 13:10:16]
857*2^1396796-1 is not prime.  Res64: 4C16403FB09BFB92  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 13:10:30]
963*2^1396796-1 is not prime.  Res64: 3A5FB15A3092EF7F  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 13:10:30]
717*2^1396797-1 is not prime.  Res64: 69C7FE05586295D4  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 13:21:07]
747*2^1396797-1 is not prime.  Res64: FC4A98B84D80723C  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 13:21:08]
765*2^1396797-1 is not prime.  Res64: 0ACFD5F42F75567E  Time : 0.0 sec.
user=juhehe
[2015-04-03 13:21:59]
735*2^1396797-1 is not prime.  Res64: E43DA9B7C784F6CA  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 13:36:18]
861*2^1396797-1 is not prime.  Res64: 088C490D5A68D01A  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 13:36:18]
871*2^1396797-1 is not prime.  Res64: 8ABFA390179F6C7E  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 13:36:43]
895*2^1396797-1 is not prime.  Res64: 601DF6D1CB3E93DF  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 13:36:43]
985*2^1396797-1 is not prime.  Res64: F043AAF94794C65F  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 13:36:51]
623*2^1396798-1 is not prime.  Res64: 3AA543B7C2404F40  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 13:36:52]
731*2^1396798-1 is not prime.  Res64: 94B22AF85579C096  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 13:47:25]
815*2^1396798-1 is not prime.  Res64: 33AE9BC71405D642  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 13:47:25]
825*2^1396798-1 is not prime.  Res64: C4E159C84D1439AC  Time : 0.0 sec.
user=juhehe
[2015-04-03 13:56:36]
755*2^1396798-1 is not prime.  Res64: 4F23818012715564  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 14:02:45]
861*2^1396798-1 is not prime.  Res64: 8F20C46C2066159A  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 14:02:46]
863*2^1396798-1 is not prime.  Res64: 812CB0DD5B3B5464  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 14:03:04]
887*2^1396798-1 is not prime.  Res64: B55DE23020BA9A14  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 14:03:05]
645*2^1396799-1 is not prime.  Res64: 31A5115D99BC6FC9  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 14:03:18]
693*2^1396799-1 is not prime.  Res64: FD4B2FF07096A4B2  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 14:03:19]
775*2^1396799-1 is not prime.  Res64: FF178C45790CB179  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 14:13:53]
811*2^1396799-1 is not prime.  Res64: 85B657B975858F8C  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 14:13:53]
949*2^1396799-1 is not prime.  Res64: 4B37A156C6AECC6F  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 14:29:16]
669*2^1396800-1 is not prime.  Res64: EB43C5674E76448A  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 14:29:17]
699*2^1396800-1 is not prime.  Res64: A4A5E2A85E749C8C  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 14:29:32]
759*2^1396800-1 is not prime.  Res64: 61427E9EAB19A3F8  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 14:29:32]
845*2^1396800-1 is not prime.  Res64: 3780C4624F3D7D26  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 14:29:52]
879*2^1396800-1 is not prime.  Res64: 943DF163D8DA7245  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 14:29:52]
887*2^1396800-1 is not prime.  Res64: 843A4B77F998907B  Time : 0.0 sec.
user=juhehe
[2015-04-03 14:37:47]
993*2^1396799-1 is not prime.  Res64: 41A0FB9FDA78DE31  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 14:40:25]
905*2^1396800-1 is not prime.  Res64: 7422444DA03D7E62  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 14:40:25]
933*2^1396800-1 is not prime.  Res64: 0F129453307A18B9  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 14:55:47]
945*2^1396800-1 is not prime.  Res64: F26CE9C2A2AE515C  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 14:55:48]
649*2^1396801-1 is not prime.  Res64: 66134E01C8443A24  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 14:55:52]
799*2^1396801-1 is not prime.  Res64: 9B36D978EB6F0A4F  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 14:55:52]
805*2^1396801-1 is not prime.  Res64: 3C45D6712F97F827  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 14:56:25]
999*2^1396801-1 is not prime.  Res64: 1C0C7FE2AC1FC98E  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 14:56:26]
665*2^1396802-1 is not prime.  Res64: F9C9F478A6AD1D2A  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 15:07:00]
797*2^1396802-1 is not prime.  Res64: 46F4BD2339B66041  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 15:07:00]
827*2^1396802-1 is not prime.  Res64: 1FBB8C3D78959C5C  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 15:22:10]
893*2^1396802-1 is not prime.  Res64: 56E41316B8A0BF96  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 15:22:10]
911*2^1396802-1 is not prime.  Res64: 54545820D030E466  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 15:22:18]
923*2^1396802-1 is not prime.  Res64: 84D7D65E199EF294  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 15:22:18]
935*2^1396802-1 is not prime.  Res64: 251A952064280EF8  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 15:22:55]
609*2^1396803-1 is not prime.  Res64: 91D862C1825E80D3  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 15:22:55]
625*2^1396803-1 is not prime.  Res64: 11090B6C72C40C8F  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 15:33:29]
669*2^1396803-1 is not prime.  Res64: 7D26D7994E6706CE  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 15:33:29]
675*2^1396803-1 is not prime.  Res64: 515B7596A5D5FAC1  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 15:48:43]
723*2^1396803-1 is not prime.  Res64: AC06D7D8B574990D  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 15:48:43]
765*2^1396803-1 is not prime.  Res64: 53F6F37E870F940F  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 15:48:56]
783*2^1396803-1 is not prime.  Res64: 0DCB1F0B0CEB46B4  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 15:48:57]
951*2^1396803-1 is not prime.  Res64: 6869A594BE00C5BD  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 15:49:26]
961*2^1396803-1 is not prime.  Res64: 30E713B136D192EE  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 15:49:27]
615*2^1396804-1 is not prime.  Res64: 7FF63B0600F8AA89  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 16:00:07]
717*2^1396804-1 is not prime.  Res64: 01F3C3A2B3A42FBB  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 16:00:07]
869*2^1396804-1 is not prime.  Res64: DE43D0BFBE420149  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 16:15:20]
909*2^1396804-1 is not prime.  Res64: EF96BBECE3063E23  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 16:15:20]
847*2^1396805-1 is not prime.  Res64: 984DF9C42C649F29  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 16:15:29]
865*2^1396805-1 is not prime.  Res64: 9F353F991A09A11B  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 16:15:29]
871*2^1396805-1 is not prime.  Res64: E6959706D68F0837  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 16:16:04]
889*2^1396805-1 is not prime.  Res64: 6838085CD79069D1  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 16:16:04]
987*2^1396805-1 is not prime.  Res64: CBAAC6A64AD7D6D2  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 16:26:46]
645*2^1396807-1 is not prime.  Res64: EB84FFAB24FCD795  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 16:26:46]
715*2^1396807-1 is not prime.  Res64: 04C4767539C1474B  Time : 0.0 sec.
user=juhehe
[2015-04-03 16:28:46]
1001*2^1396806-1 is not prime.  Res64: 9496EE58F64B8933  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 16:41:56]
729*2^1396807-1 is not prime.  Res64: 5B1B4DB94E1796DA  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 16:41:57]
871*2^1396807-1 is not prime.  Res64: B5047388D7A0A3B8  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 16:42:06]
873*2^1396807-1 is not prime.  Res64: 86AF7C8E6C485E97  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 16:42:07]
909*2^1396807-1 is not prime.  Res64: 4751BBE1CD6D4713  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 16:42:38]
629*2^1396808-1 is not prime.  Res64: B0E78B8A7BA91B55  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 16:42:39]
633*2^1396808-1 is not prime.  Res64: D5E94C843773AA58  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 16:53:20]
665*2^1396808-1 is not prime.  Res64: C75C5F66776C12C1  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 16:53:20]
687*2^1396808-1 is not prime.  Res64: 65954C148E8744BF  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 17:09:02]
765*2^1396809-1 is not prime.  Res64: DDB1CCFA28A10D64  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 17:09:03]
781*2^1396809-1 is not prime.  Res64: 4C148FBC9705A6D6  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 17:09:15]
741*2^1396809-1 is not prime.  Res64: 0EB1DE2CC366553F  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 17:09:15]
745*2^1396809-1 is not prime.  Res64: 4903DDB3BAD742F3  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 17:09:55]
829*2^1396809-1 is not prime.  Res64: 9CA1476763D22524  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 17:09:55]
623*2^1396810-1 is not prime.  Res64: C8CC410F30C4B6FF  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 17:20:58]
681*2^1396810-1 is not prime.  Res64: 57EB406438B479F2  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 17:20:58]
695*2^1396810-1 is not prime.  Res64: BEB8365A257278A3  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 17:36:27]
707*2^1396810-1 is not prime.  Res64: D5AE08CCB94274BB  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 17:36:27]
831*2^1396810-1 is not prime.  Res64: 7C93CDB203F7AFDA  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 17:36:42]
833*2^1396810-1 is not prime.  Res64: 9F118C3F58C3CEE1  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 17:36:43]
857*2^1396810-1 is not prime.  Res64: 29E7440C4801A189  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 17:37:24]
923*2^1396810-1 is not prime.  Res64: BBC721E8E8A91E2E  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 17:37:24]
933*2^1396810-1 is not prime.  Res64: FAD9DEB2B4216204  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 17:48:24]
645*2^1396811-1 is not prime.  Res64: 3EFD505CD1FF4DAC  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 17:48:24]
745*2^1396811-1 is not prime.  Res64: 4FD89069D6F46640  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 18:03:52]
825*2^1396812-1 is not prime.  Res64: 4E91796A48BBA73A  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 18:03:54]
983*2^1396812-1 is not prime.  Res64: E5EBE86292AF35CC  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 18:03:55]
909*2^1396811-1 is not prime.  Res64: 2F2AEF52F0F10F5F  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 18:03:56]
819*2^1396812-1 is not prime.  Res64: 6D454061EF9CFA98  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 18:04:33]
679*2^1396813-1 is not prime.  Res64: 9AF0E3653065FD15  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 18:04:34]
681*2^1396813-1 is not prime.  Res64: 4CB43F856CB85A81  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 18:15:39]
999*2^1396813-1 is not prime.  Res64: 470E89121405DC63  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 18:15:39]
617*2^1396814-1 is not prime.  Res64: F98D890BAA635AAC  Time : 0.0 sec.
user=juhehe
[2015-04-03 18:21:20]
867*2^1396813-1 is not prime.  Res64: 0500591079726E6E  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 18:31:43]
707*2^1396814-1 is not prime.  Res64: A2AB936487D84563  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 18:31:43]
739*2^1396815-1 is not prime.  Res64: 697C9EC22B6F7195  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 18:31:45]
793*2^1396815-1 is not prime.  Res64: A89BD4CBFC96F953  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 18:31:45]
819*2^1396815-1 is not prime.  Res64: E3DA0612420C24CA  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 18:31:49]
649*2^1396815-1 is not prime.  Res64: 3FD0D6A9B29B595F  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 18:31:49]
783*2^1396815-1 is not prime.  Res64: 82A190D4ABE03F8E  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 18:42:53]
663*2^1396816-1 is not prime.  Res64: 50B7E5586E043C98  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 18:42:54]
677*2^1396816-1 is not prime.  Res64: 709B0A157F491899  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 18:58:56]
717*2^1396816-1 is not prime.  Res64: 28A3B72F1B8C09DF  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 18:58:56]
765*2^1396816-1 is not prime.  Res64: 234FC15FE5A1D987  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 18:59:04]
813*2^1396816-1 is not prime.  Res64: 57B9FB2454BF1B25  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 18:59:04]
999*2^1396816-1 is not prime.  Res64: 3A9DAA78661E32FE  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 18:59:08]
645*2^1396817-1 is not prime.  Res64: FD6D695703F10F73  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 18:59:08]
669*2^1396817-1 is not prime.  Res64: 49B15129E8DDDB47  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 19:10:39]
697*2^1396817-1 is not prime.  Res64: 51D86E255C8A8CBD  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 19:10:39]
699*2^1396817-1 is not prime.  Res64: E661BD30337BC237  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 19:27:05]
837*2^1396817-1 is not prime.  Res64: 683EEAF02B994B87  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 19:27:05]
847*2^1396817-1 is not prime.  Res64: 0C615A70721A6D8E  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 19:27:09]
671*2^1396818-1 is not prime.  Res64: 8C1752DDE8F87165  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 19:27:09]
677*2^1396818-1 is not prime.  Res64: 4290E43AEA7CB9F2  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 19:27:15]
915*2^1396817-1 is not prime.  Res64: 6F26DA88C67A9C18  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 19:27:15]
611*2^1396818-1 is not prime.  Res64: 98387B5C35777431  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 19:38:34]
755*2^1396818-1 is not prime.  Res64: E9D315566D5DBA37  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 19:38:35]
957*2^1396818-1 is not prime.  Res64: B42E1D28E510B7AA  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 19:54:59]
619*2^1396819-1 is not prime.  Res64: 9598C8BEED4319D1  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 19:54:59]
663*2^1396819-1 is not prime.  Res64: 6CF8C4FF737083D2  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 19:55:19]
665*2^1396820-1 is not prime.  Res64: E1B0F9ECF9499B64  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 19:55:20]
687*2^1396820-1 is not prime.  Res64: 26F15744123893A3  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 19:55:24]
961*2^1396819-1 is not prime.  Res64: 1EA474F59D25C38D  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 19:55:24]
985*2^1396819-1 is not prime.  Res64: 9DF95CE5FFC04506  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 20:06:12]
813*2^1396820-1 is not prime.  Res64: D3FD4A0FD22DDEAB  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 20:06:13]
927*2^1396820-1 is not prime.  Res64: D19130BE8CA4667E  Time : 0.0 sec.
user=juhehe
[2015-04-03 20:11:47]
795*2^1396820-1 is not prime.  Res64: 30EE7FB997D77B80  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 20:23:22]
929*2^1396820-1 is not prime.  Res64: A2151E41ED3DFA4D  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 20:23:23]
983*2^1396820-1 is not prime.  Res64: 7B9EE3DA8189327C  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 20:23:46]
741*2^1396821-1 is not prime.  Res64: 5532B3968F598DDE  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 20:23:46]
747*2^1396821-1 is not prime.  Res64: ECE55EDA9F717881  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 20:23:50]
679*2^1396821-1 is not prime.  Res64: 8864313D450A200A  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 20:23:50]
711*2^1396821-1 is not prime.  Res64: A1B3335EAD8E0F75  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 20:34:52]
847*2^1396821-1 is not prime.  Res64: E31FCD2ACE394178  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 20:34:52]
849*2^1396821-1 is not prime.  Res64: 3F3766E43E0772CA  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 20:51:52]
927*2^1396821-1 is not prime.  Res64: 707DB01A24D29DC3  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 20:51:52]
969*2^1396821-1 is not prime.  Res64: 9A8B16ED0E092A38  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 20:51:53]
653*2^1396822-1 is not prime.  Res64: 12B457A2F1842604  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 20:51:53]
657*2^1396822-1 is not prime.  Res64: EAB33A40A58973C1  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 20:52:30]
975*2^1396821-1 is not prime.  Res64: 3CAF642000E94AD7  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 20:52:30]
611*2^1396822-1 is not prime.  Res64: F8E1632E19ADFB8F  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 21:03:51]
705*2^1396822-1 is not prime.  Res64: 608BA148099F4665  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 21:03:53]
813*2^1396822-1 is not prime.  Res64: 8127C6E6BA90BAA9  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 21:20:50]
923*2^1396822-1 is not prime.  Res64: FAB061ED8DD63106  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 21:20:50]
663*2^1396823-1 is not prime.  Res64: 349A135CC37D69F9  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 21:20:53]
891*2^1396822-1 is not prime.  Res64: 92CFDDFA3B38FE82  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 21:20:54]
917*2^1396822-1 is not prime.  Res64: EC5395FFF53B757D  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 21:21:26]
693*2^1396823-1 is not prime.  Res64: 5B8905E12230B982  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 21:21:26]
721*2^1396823-1 is not prime.  Res64: 3581299AF3B3788A  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 21:33:16]
781*2^1396823-1 is not prime.  Res64: D0B9BF2B10C851A3  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 21:33:16]
885*2^1396823-1 is not prime.  Res64: 7CEE92F19A457044  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 21:48:50]
993*2^1396823-1 is not prime.  Res64: CDD6D8650C20DF03  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 21:48:50]
815*2^1396824-1 is not prime.  Res64: A6772BCA0FEFC280  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 21:49:09]
949*2^1396823-1 is not prime.  Res64: 2314986EFC2592F7  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 21:49:09]
969*2^1396823-1 is not prime.  Res64: 77F14018B9C09407  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 21:49:28]
983*2^1396824-1 is not prime.  Res64: 102943CD315051BE  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 21:49:28]
741*2^1396825-1 is not prime.  Res64: B46B64380057C18F  Time : 0.0 sec.
user=juhehe
[2015-04-03 21:59:54]
603*2^1396826-1 is not prime.  Res64: 6CDB1E6CECEEFD83  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 22:00:21]
635*2^1396826-1 is not prime.  Res64: 2070C7379D489DE9  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 22:00:21]
671*2^1396826-1 is not prime.  Res64: BE64C29BB713B49D  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 22:15:27]
677*2^1396826-1 is not prime.  Res64: D5F5025D5735EE56  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 22:15:28]
741*2^1396826-1 is not prime.  Res64: BE10D3A138111BE9  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 22:15:49]
767*2^1396826-1 is not prime.  Res64: 699BDDD767E6889F  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 22:15:50]
831*2^1396826-1 is not prime.  Res64: 04D06B73093FA78F  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 22:16:15]
887*2^1396826-1 is not prime.  Res64: E00B08D3D569DE24  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 22:16:16]
921*2^1396826-1 is not prime.  Res64: 16024E6BF243F422  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 22:27:10]
953*2^1396826-1 is not prime.  Res64: AD0221EC1B3C14E7  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 22:27:10]
735*2^1396827-1 is not prime.  Res64: A033F916A6F68CD6  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 22:42:19]
891*2^1396827-1 is not prime.  Res64: 43B93E36B0A8FE94  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 22:42:19]
945*2^1396827-1 is not prime.  Res64: 8BFFA1C74FF8E59B  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 22:42:46]
961*2^1396827-1 is not prime.  Res64: 86ED78B7514443CB  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 22:42:47]
623*2^1396828-1 is not prime.  Res64: 3A32F5EE48410E60  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 22:42:59]
635*2^1396828-1 is not prime.  Res64: D1E416B396BB254B  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 22:43:00]
647*2^1396828-1 is not prime.  Res64: E2BBE6151B14D461  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 22:53:49]
665*2^1396828-1 is not prime.  Res64: 5E188661156F7C35  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 22:53:49]
677*2^1396828-1 is not prime.  Res64: 848FC15CAE272050  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 23:09:27]
875*2^1396828-1 is not prime.  Res64: D2BBFBB694E50BE1  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 23:09:27]
975*2^1396828-1 is not prime.  Res64: 18B103C7272EBE0D  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 23:10:10]
691*2^1396829-1 is not prime.  Res64: 939FB6BF915E0768  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 23:10:10]
775*2^1396829-1 is not prime.  Res64: 5B2B217BBF982E38  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 23:10:14]
801*2^1396829-1 is not prime.  Res64: DFC1F7D85A50BB4E  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 23:10:15]
879*2^1396829-1 is not prime.  Res64: 78EB4279FF54A9CD  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 23:21:03]
939*2^1396829-1 is not prime.  Res64: 18578DBE72170413  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 23:21:03]
987*2^1396829-1 is not prime.  Res64: 27D607E1AA208490  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 23:35:56]
681*2^1396830-1 is not prime.  Res64: 4E6C43AB1CCDEC22  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 23:35:56]
725*2^1396830-1 is not prime.  Res64: FCA9160A0B918EA3  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 23:36:42]
933*2^1396830-1 is not prime.  Res64: D5996861A729C425  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 23:36:42]
645*2^1396831-1 is not prime.  Res64: 447267D9485AFC07  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 23:36:42]
825*2^1396830-1 is not prime.  Res64: 79891D4AF091CC8D  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 23:36:42]
885*2^1396830-1 is not prime.  Res64: 2FD3D287BA0495C9  Time : 0.0 sec.
user=juhehe
[2015-04-03 23:47:15]
703*2^1396831-1 is not prime.  Res64: E0E4FA28BC4A49CE  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 23:47:27]
813*2^1396831-1 is not prime.  Res64: C856DF22A2524238  Time : 0.0 sec.
user=mdettweiler
[2015-04-03 23:47:27]
829*2^1396831-1 is not prime.  Res64: 6F31ACA2F8F0BCF0  Time : 0.0 sec.