user=mdettweiler
[2013-06-09 00:10:24]
735*2^1246682-1 is not prime.  Res64: ED85CE9839FE77D8  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 00:16:30]
603*2^1246682-1 is not prime.  Res64: 9CC68390DEC93E71  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 00:34:24]
867*2^1246682-1 is not prime.  Res64: D97EA027BDB77366  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 01:03:04]
669*2^1246683-1 is not prime.  Res64: 36260960E75BDDA9  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 01:03:06]
735*2^1246683-1 is not prime.  Res64: E14D23725F88BEA4  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 01:03:55]
873*2^1246682-1 is not prime.  Res64: 31EF5A3569563E61  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 01:20:41]
769*2^1246683-1 is not prime.  Res64: 17AE60E2317AA7AC  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 01:20:42]
793*2^1246683-1 is not prime.  Res64: 8BD673DED4E2AD56  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 01:21:24]
801*2^1246683-1 is not prime.  Res64: 418C2EA1BFCADF5A  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 01:21:25]
853*2^1246683-1 is not prime.  Res64: 9A6093E126E1585F  Time : 0.0 sec.
user=vaughan
[2013-06-09 01:21:46]
915*2^1246682-1 is not prime.  Res64: 13D9BBFA360D9514  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 01:38:32]
861*2^1246683-1 is not prime.  Res64: 9D810A20F5CD098C  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 01:38:32]
895*2^1246683-1 is not prime.  Res64: 5033C85E6B68EFB3  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 01:38:54]
945*2^1246683-1 is not prime.  Res64: 90EC1033EB2EDDCB  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 01:38:54]
617*2^1246684-1 is not prime.  Res64: 92EF5E618259D470  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 01:56:26]
869*2^1246684-1 is not prime.  Res64: D6FFF458A4D0C193  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 01:56:26]
693*2^1246684-1 is not prime.  Res64: 921F759BEA80ED83  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 01:56:26]
897*2^1246684-1 is not prime.  Res64: A1AEBC01FC90B84F  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 02:14:52]
959*2^1246684-1 is not prime.  Res64: 1C08FFF25D00277F  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 02:14:53]
987*2^1246684-1 is not prime.  Res64: 604CF89D6A7BE04C  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 02:30:14]
843*2^1246684-1 is not prime.  Res64: 8AE2FAA7EA4522B2  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 02:32:46]
795*2^1246685-1 is not prime.  Res64: ACFB576EC85A5956  Time : 0.0 sec.
user=vaughan
[2013-06-09 02:38:11]
727*2^1246685-1 is not prime.  Res64: 4006F235BBD0F074  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 02:48:09]
831*2^1246685-1 is not prime.  Res64: 4045D73A0CE7E548  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 02:57:39]
805*2^1246685-1 is not prime.  Res64: 5429372C5D953D76  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 03:16:12]
981*2^1246685-1 is not prime.  Res64: 26B292BFF48B9087  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 03:16:37]
861*2^1246685-1 is not prime.  Res64: 521A1E77586FC7A9  Time : 0.0 sec.
user=vaughan
[2013-06-09 03:21:57]
957*2^1246685-1 is not prime.  Res64: 45B17F6549D5FA5F  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 03:34:20]
653*2^1246686-1 is not prime.  Res64: E71A8ACA90D58696  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 03:34:40]
741*2^1246686-1 is not prime.  Res64: 8409915CB8721DCC  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 03:53:18]
635*2^1246686-1 is not prime.  Res64: 492FADCF9C0CED80  Time : 0.0 sec.
user=vaughan
[2013-06-09 04:00:18]
815*2^1246686-1 is not prime.  Res64: 9CFEAB5B57902182  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 04:10:58]
609*2^1246687-1 is not prime.  Res64: 08141F7DF7F0CD79  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 04:10:59]
735*2^1246687-1 is not prime.  Res64: CD30C053CA6807A4  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 04:28:48]
741*2^1246687-1 is not prime.  Res64: 1ABD5A81DD58848B  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 04:28:49]
871*2^1246687-1 is not prime.  Res64: 16F4C006E7475799  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 04:30:31]
901*2^1246687-1 is not prime.  Res64: 6B8A0F0B90820265  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 04:30:32]
915*2^1246687-1 is not prime.  Res64: B41B3E4372EAA33F  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 04:47:16]
961*2^1246687-1 is not prime.  Res64: 8B3E157D5382307B  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 04:47:16]
999*2^1246687-1 is not prime.  Res64: 94183A84F99A5922  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 04:48:00]
615*2^1246688-1 is not prime.  Res64: 8331F544768B92B2  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 04:48:00]
747*2^1246688-1 is not prime.  Res64: 69EBE597DCBF82DC  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 05:05:08]
657*2^1246690-1 is not prime.  Res64: E5C42363799751BF  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 05:05:51]
933*2^1246690-1 is not prime.  Res64: 7106BE4AB1C69BF0  Time : 0.0 sec.
user=vaughan
[2013-06-09 05:16:37]
813*2^1246688-1 is not prime.  Res64: C2571F0A3CD7FB09  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 05:30:26]
855*2^1246690-1 is not prime.  Res64: AC979D92234BD998  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 05:32:33]
951*2^1246690-1 is not prime.  Res64: BF63D77DD8CAE6C3  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 05:48:16]
651*2^1246691-1 is not prime.  Res64: 6624E36996B81E1E  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 05:48:16]
711*2^1246691-1 is not prime.  Res64: 41F866DF6E601159  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 05:50:25]
811*2^1246691-1 is not prime.  Res64: A977CBAD0AD27BCA  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 05:50:26]
859*2^1246691-1 is not prime.  Res64: E604E5D416EE66B0  Time : 0.0 sec.
user=vaughan
[2013-06-09 05:54:45]
601*2^1246691-1 is not prime.  Res64: FE25C537DCD8C2D5  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 06:06:00]
885*2^1246691-1 is not prime.  Res64: 1D348CA58ADFE663  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 06:06:02]
909*2^1246691-1 is not prime.  Res64: C6C20AF0E95F810F  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 06:09:49]
973*2^1246691-1 is not prime.  Res64: 079B3930CE7CEB3A  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 06:09:50]
993*2^1246691-1 is not prime.  Res64: 595ED01106232332  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 06:23:35]
723*2^1246692-1 is not prime.  Res64: 9A3BCF65C53FE2B0  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 06:23:36]
737*2^1246692-1 is not prime.  Res64: 15AC19C4AB359F11  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 06:27:26]
759*2^1246692-1 is not prime.  Res64: 107127135E118DA8  Time : 0.0 sec.
user=vaughan
[2013-06-09 06:32:57]
669*2^1246692-1 is not prime.  Res64: 031B2CF09F02C22C  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 06:41:28]
779*2^1246692-1 is not prime.  Res64: D83C57EEF442C756  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 06:41:29]
899*2^1246692-1 is not prime.  Res64: 720711B27A571731  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 06:58:15]
765*2^1246692-1 is not prime.  Res64: 6D8B88ED60290A67  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 07:00:00]
977*2^1246692-1 is not prime.  Res64: 14D40229F90088A8  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 07:15:43]
751*2^1246693-1 is not prime.  Res64: A244BDC1B81BCB45  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 07:15:43]
741*2^1246694-1 is not prime.  Res64: 47793B78D58E4913  Time : 0.0 sec.
user=vaughan
[2013-06-09 07:16:30]
903*2^1246692-1 is not prime.  Res64: C3892BBAFDD5FB94  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 07:32:24]
607*2^1246693-1 is not prime.  Res64: 5AC18507C42C0A0A  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 07:33:32]
897*2^1246694-1 is not prime.  Res64: 3A82F577AF14AEE6  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 07:33:33]
921*2^1246694-1 is not prime.  Res64: 2165D85BB2C3D3F7  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 07:50:04]
923*2^1246694-1 is not prime.  Res64: 1BD9751662D4E98F  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 07:51:48]
751*2^1246695-1 is not prime.  Res64: CDEDDDDD8EAF0339  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 07:51:49]
979*2^1246695-1 is not prime.  Res64: E3E33F48A745B860  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 08:10:31]
985*2^1246695-1 is not prime.  Res64: D655BD66B753563C  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 08:10:32]
743*2^1246696-1 is not prime.  Res64: D773B68480C18C06  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 08:13:51]
945*2^1246694-1 is not prime.  Res64: 95D7B1602B48BE9A  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 08:28:17]
777*2^1246696-1 is not prime.  Res64: 3FF4CE09E8BE6992  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 08:28:18]
873*2^1246696-1 is not prime.  Res64: 6B42F8BC4D8CA764  Time : 0.0 sec.
user=vaughan
[2013-06-09 08:33:14]
765*2^1246696-1 is not prime.  Res64: A60522CA4932D7DE  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 08:47:06]
887*2^1246696-1 is not prime.  Res64: D28A41D3B5947AF2  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 09:06:43]
619*2^1246697-1 is not prime.  Res64: 5F40D28E17980BE3  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 09:06:44]
669*2^1246697-1 is not prime.  Res64: 40EF87F25C2892BA  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 09:24:27]
685*2^1246697-1 is not prime.  Res64: E831BF84F648A74F  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 09:24:27]
729*2^1246697-1 is not prime.  Res64: D44E1F6BC723FF0D  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 09:28:37]
999*2^1246696-1 is not prime.  Res64: 000B06199737EC29  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 09:42:17]
795*2^1246697-1 is not prime.  Res64: AFEC59360F208F4B  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 09:42:17]
915*2^1246697-1 is not prime.  Res64: D60590A1BAA2E25D  Time : 0.0 sec.
user=vaughan
[2013-06-09 09:49:16]
759*2^1246697-1 is not prime.  Res64: 7495FA887FE88877  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 10:02:12]
985*2^1246697-1 is not prime.  Res64: 6F48A3FB0F21221E  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 10:15:42]
867*2^1246698-1 is not prime.  Res64: 229FF0347A249F1C  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 10:15:43]
745*2^1246699-1 is not prime.  Res64: C4B47F486871E3D0  Time : 0.0 sec.
user=vaughan
[2013-06-09 10:27:44]
833*2^1246698-1 is not prime.  Res64: 12796456046F4CB8  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 10:33:43]
769*2^1246699-1 is not prime.  Res64: 4CBBE2C470CC6E6B  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 10:33:44]
801*2^1246699-1 is not prime.  Res64: A892FEAD6ECD62E8  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 10:38:29]
991*2^1246697-1 is not prime.  Res64: 4C80ABA79F3595CE  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 10:52:20]
975*2^1246699-1 is not prime.  Res64: 82A7D4519B740A4B  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 10:52:20]
797*2^1246700-1 is not prime.  Res64: B3367A21078C32C0  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 10:56:50]
885*2^1246700-1 is not prime.  Res64: 3133D482A1F28DF8  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 10:56:51]
983*2^1246700-1 is not prime.  Res64: A72C62C216DB7EF3  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 11:09:55]
625*2^1246701-1 is not prime.  Res64: 8C6D4E0E84EA2199  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 11:09:57]
781*2^1246701-1 is not prime.  Res64: F063BEF4B4B98B5D  Time : 0.0 sec.
user=vaughan
[2013-06-09 11:10:59]
895*2^1246699-1 is not prime.  Res64: 667A8BC9CBE29E63  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 11:14:32]
789*2^1246701-1 is not prime.  Res64: 59B4A9622C2F3518  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 11:27:43]
849*2^1246701-1 is not prime.  Res64: 51B39233A24F6265  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 11:27:44]
955*2^1246701-1 is not prime.  Res64: B9576C3172A2D886  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 11:45:39]
621*2^1246702-1 is not prime.  Res64: 64B9625B2C6B4897  Time : 0.0 sec.
user=vaughan
[2013-06-09 11:49:09]
617*2^1246702-1 is not prime.  Res64: 9CD9E86ABF50B2AC  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 11:53:09]
805*2^1246701-1 is not prime.  Res64: 4D2B8CEC4D3871D3  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 12:04:25]
731*2^1246702-1 is not prime.  Res64: F2503970412DE6F3  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 12:10:43]
843*2^1246702-1 is not prime.  Res64: AC0D0FDA055B6123  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 12:10:44]
885*2^1246702-1 is not prime.  Res64: 8FE2CE63D1133C7A  Time : 0.0 sec.
user=vaughan
[2013-06-09 12:27:22]
815*2^1246702-1 is not prime.  Res64: B6912587901109DE  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 12:28:32]
923*2^1246702-1 is not prime.  Res64: 8A69933B0D1F81DF  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 12:28:32]
965*2^1246702-1 is not prime.  Res64: FBFE0BEC708AFE8F  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 12:46:56]
783*2^1246703-1 is not prime.  Res64: A871716503A70580  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 12:46:57]
969*2^1246703-1 is not prime.  Res64: 21E398C3828A53B4  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 12:49:24]
981*2^1246703-1 is not prime.  Res64: CF72B905026315A4  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 13:04:36]
683*2^1246704-1 is not prime.  Res64: 88602D49A21AD3F8  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 13:04:37]
753*2^1246704-1 is not prime.  Res64: 04AE28EFBE6C9DD5  Time : 0.0 sec.
user=vaughan
[2013-06-09 13:05:41]
661*2^1246703-1 is not prime.  Res64: CC8D9BFCB645AB5F  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 13:22:30]
759*2^1246704-1 is not prime.  Res64: E16FFE24C646C055  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 13:22:31]
899*2^1246704-1 is not prime.  Res64: E5F0B01F06EC0F74  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 13:26:54]
615*2^1246704-1 is not prime.  Res64: 7C619587C521B4CE  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 13:40:31]
925*2^1246705-1 is not prime.  Res64: 55E0D119939FE560  Time : 0.0 sec.
user=vaughan
[2013-06-09 13:44:05]
751*2^1246705-1 is not prime.  Res64: D08DECE49CC3A234  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 14:03:21]
951*2^1246705-1 is not prime.  Res64: 90B65E6B71C827CF  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 14:10:58]
603*2^1246706-1 is not prime.  Res64: D00EF582A3D91DC8  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 14:10:59]
675*2^1246706-1 is not prime.  Res64: 858AEADFC989FFCB  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 14:21:05]
743*2^1246706-1 is not prime.  Res64: C3A7C3B668055D59  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 14:29:27]
813*2^1246706-1 is not prime.  Res64: 3948A0A1B63411B8  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 14:29:27]
639*2^1246707-1 is not prime.  Res64: C99894F2CF7D9DB8  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 14:47:15]
649*2^1246707-1 is not prime.  Res64: 4DD3FF9271C4BBEB  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 14:47:16]
651*2^1246707-1 is not prime.  Res64: 7956D55BF1E1ECBC  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 14:58:09]
755*2^1246706-1 is not prime.  Res64: C62A170995377FB3  Time : 0.0 sec.
user=vaughan
[2013-06-09 15:00:39]
773*2^1246706-1 is not prime.  Res64: 08AAABEF11290E4C  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 15:05:31]
765*2^1246707-1 is not prime.  Res64: AEFE371EA7C190ED  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 15:05:32]
769*2^1246707-1 is not prime.  Res64: FDBA15D9072BF7A3  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 15:17:10]
795*2^1246707-1 is not prime.  Res64: 1041CE5D89AA2062  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 15:24:30]
849*2^1246707-1 is not prime.  Res64: 46F5C4765FA0344B  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 15:24:31]
951*2^1246707-1 is not prime.  Res64: 38B4D449590E2580  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 15:43:00]
689*2^1246708-1 is not prime.  Res64: 1493AD01E34B4EC9  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 15:58:54]
819*2^1246707-1 is not prime.  Res64: 21550ADD20AA7E5B  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 16:04:40]
749*2^1246708-1 is not prime.  Res64: 66B64A96FD8CAAA6  Time : 0.0 sec.
user=vaughan
[2013-06-09 16:21:55]
915*2^1246708-1 is not prime.  Res64: A3901B29E36B82A2  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 16:42:05]
947*2^1246708-1 is not prime.  Res64: 52F6B4781220FA7A  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 16:48:31]
615*2^1246709-1 is not prime.  Res64: 9E5ADE9A6E71BD2A  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 16:48:32]
631*2^1246709-1 is not prime.  Res64: 09C23E1A0D0C66A7  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 16:54:27]
999*2^1246708-1 is not prime.  Res64: 7F5CDE149B3C5023  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 17:06:31]
645*2^1246709-1 is not prime.  Res64: 93E9BED4BE4C7DB7  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 17:06:32]
649*2^1246709-1 is not prime.  Res64: 81BAE3F111C6660F  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 17:12:27]
697*2^1246709-1 is not prime.  Res64: 6D297ABD688903ED  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 17:12:28]
745*2^1246709-1 is not prime.  Res64: D629FC42B99C9023  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 17:24:21]
847*2^1246709-1 is not prime.  Res64: B154EF6EB50C3F32  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 17:24:22]
855*2^1246709-1 is not prime.  Res64: 9D9FD754EF279C2B  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 17:30:23]
861*2^1246709-1 is not prime.  Res64: 4D078C58B8CE956D  Time : 0.0 sec.
user=vaughan
[2013-06-09 17:38:04]
825*2^1246709-1 is not prime.  Res64: 655F4DD1E3B2851C  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 17:42:31]
897*2^1246709-1 is not prime.  Res64: 029C1374BFBC1A46  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 17:42:31]
677*2^1246710-1 is not prime.  Res64: 8469A2BF0BF58749  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 17:54:51]
889*2^1246709-1 is not prime.  Res64: BA1E8A803A124D58  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 18:00:35]
707*2^1246710-1 is not prime.  Res64: 81E3DF3163825747  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 18:00:35]
711*2^1246710-1 is not prime.  Res64: B9F54AA48CFE9763  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 18:18:49]
723*2^1246710-1 is not prime.  Res64: 17C568B11030D4D1  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 18:19:06]
765*2^1246710-1 is not prime.  Res64: 991F92BBAD891291  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 18:41:58]
885*2^1246710-1 is not prime.  Res64: CECAC6177D851F5D  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 18:41:59]
951*2^1246710-1 is not prime.  Res64: 5A206847A4CBF2E1  Time : 0.0 sec.
user=vaughan
[2013-06-09 18:54:28]
795*2^1246710-1 is not prime.  Res64: 6B729756497AF439  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 18:59:48]
645*2^1246711-1 is not prime.  Res64: 8DDEB3115C1E2CD1  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 18:59:48]
663*2^1246711-1 is not prime.  Res64: A68498E1228A3BC3  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 19:09:40]
759*2^1246711-1 is not prime.  Res64: F9620764D67E9044  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 19:18:04]
943*2^1246711-1 is not prime.  Res64: 286703411E21ACAE  Time : 0.0 sec.
user=vaughan
[2013-06-09 19:37:42]
895*2^1246711-1 is not prime.  Res64: 08AC3E8DBC0B311C  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 19:39:48]
805*2^1246711-1 is not prime.  Res64: 84DBFF9A20EE55BD  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 19:43:38]
951*2^1246711-1 is not prime.  Res64: D7D3335E69905B7F  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 19:58:24]
699*2^1246712-1 is not prime.  Res64: CD77029AB7DAC251  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 19:58:24]
753*2^1246712-1 is not prime.  Res64: 0560A02788563620  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 20:02:33]
857*2^1246712-1 is not prime.  Res64: 1461446C3364AF13  Time : 0.0 sec.
user=vaughan
[2013-06-09 20:15:55]
657*2^1246712-1 is not prime.  Res64: 2D8F185D39D821D8  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 20:16:10]
935*2^1246712-1 is not prime.  Res64: D7696A74DC49D43A  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 20:16:11]
957*2^1246712-1 is not prime.  Res64: AAED9BBFC82EDBAB  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 20:33:39]
639*2^1246713-1 is not prime.  Res64: 5E1C20F958749983  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 20:33:39]
691*2^1246713-1 is not prime.  Res64: 44DDA0821049C385  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 20:39:34]
929*2^1246712-1 is not prime.  Res64: 4B135C98CB80D6AD  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 20:51:29]
721*2^1246713-1 is not prime.  Res64: 7EBD250C261B32FD  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 20:51:29]
759*2^1246713-1 is not prime.  Res64: EADA394D336EE7F3  Time : 0.0 sec.
user=vaughan
[2013-06-09 20:59:17]
983*2^1246712-1 is not prime.  Res64: 303312926EF57B8B  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 21:09:14]
817*2^1246713-1 is not prime.  Res64: 2DE0F849A9561D15  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 21:09:15]
921*2^1246713-1 is not prime.  Res64: DDA5BACD130F121C  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 21:16:05]
951*2^1246713-1 is not prime.  Res64: F3313861F14A8DA2  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 21:27:12]
773*2^1246714-1 is not prime.  Res64: DD42AEE94E280AA4  Time : 0.0 sec.
user=vaughan
[2013-06-09 21:37:44]
701*2^1246714-1 is not prime.  Res64: 3F02B98C0EC80EA7  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 21:49:21]
825*2^1246714-1 is not prime.  Res64: 72889338C7B2BD5D  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 21:50:20]
675*2^1246714-1 is not prime.  Res64: 78B5C5A5919C6613  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 22:07:14]
857*2^1246714-1 is not prime.  Res64: 36C87C267F696486  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 22:08:10]
923*2^1246714-1 is not prime.  Res64: 9DC7899A8F4A49CE  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 22:31:09]
891*2^1246714-1 is not prime.  Res64: 5A032308B1AA41AD  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 22:32:56]
941*2^1246714-1 is not prime.  Res64: 5357BAC0A814EDB4  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 22:48:43]
603*2^1246715-1 is not prime.  Res64: DC64C73283EC81A9  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 22:48:44]
619*2^1246715-1 is not prime.  Res64: 8B28DBDB3845C3A5  Time : 0.0 sec.
user=vaughan
[2013-06-09 22:54:08]
601*2^1246715-1 is not prime.  Res64: B3209E57ACF5506F  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 23:06:42]
679*2^1246715-1 is not prime.  Res64: 8F4087946E0AF6DD  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 23:28:22]
915*2^1246715-1 is not prime.  Res64: 2FE9103A76B1BA14  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 23:28:23]
943*2^1246715-1 is not prime.  Res64: E060323394229019  Time : 0.0 sec.
user=vaughan
[2013-06-09 23:32:16]
799*2^1246715-1 is not prime.  Res64: 77AAB8715CF12437  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 23:34:42]
715*2^1246715-1 is not prime.  Res64: D9CAEF9A7C1460D0  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 23:46:45]
981*2^1246715-1 is not prime.  Res64: D40DE114543AA94F  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 23:46:46]
623*2^1246716-1 is not prime.  Res64: 94E58EDD2565F0E6  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 23:52:13]
765*2^1246716-1 is not prime.  Res64: F75ED579CF547112  Time : 0.0 sec.
user=mdettweiler
[2013-06-09 23:52:14]
825*2^1246716-1 is not prime.  Res64: CA612CD771CB3710  Time : 0.0 sec.