user=mdettweiler
[2012-08-04 00:02:11]
727*2^1225665-1 is not prime.  Res64: 41DCF8A5ACF52FED  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 00:02:12]
741*2^1225665-1 is not prime.  Res64: DDFD04B7A9499A74  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 00:09:37]
909*2^1225664-1 is not prime.  Res64: 391BBDE8045B6D8C  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 00:09:42]
649*2^1225665-1 is not prime.  Res64: A4F2DBB9CB6AD792  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 00:12:58]
787*2^1225665-1 is not prime.  Res64: E50016D06E3E2187  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 00:12:59]
805*2^1225665-1 is not prime.  Res64: BFC70ACAA6AE57D2  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 00:23:08]
985*2^1225665-1 is not prime.  Res64: D81296F6284D37FB  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 00:23:09]
633*2^1225666-1 is not prime.  Res64: 5829CBE5F2748FC1  Time : 0.0 sec.
user=vaughan
[2012-08-04 00:23:10]
765*2^1225665-1 is not prime.  Res64: F3352F8C4DB18BD7  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 00:33:43]
713*2^1225666-1 is not prime.  Res64: 5D1FEDD1CE7A5A67  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 00:33:43]
801*2^1225666-1 is not prime.  Res64: 1BF7FE852ED34AB9  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 00:41:10]
645*2^1225666-1 is not prime.  Res64: 9F8728EA0E390C51  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 00:41:11]
705*2^1225666-1 is not prime.  Res64: 372B3784ED82E84B  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 00:43:42]
923*2^1225666-1 is not prime.  Res64: B7E492C7676AFBCF  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 00:43:43]
631*2^1225667-1 is not prime.  Res64: 424B58A2D381FF88  Time : 0.0 sec.
user=gd_barnes
[2012-08-04 00:46:21]
917*2^1225666-1 is not prime.  Res64: AEC1A7B4B2792091  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 00:54:18]
629*2^1225668-1 is not prime.  Res64: 5A6D6B18AD5C6CDF  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 00:54:19]
765*2^1225668-1 is not prime.  Res64: 04B3944A5A9966DB  Time : 0.0 sec.
user=vaughan
[2012-08-04 01:00:32]
883*2^1225667-1 is not prime.  Res64: F909F2D581993BB3  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 01:04:16]
909*2^1225668-1 is not prime.  Res64: C599F2EAA16C0088  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 01:04:18]
959*2^1225668-1 is not prime.  Res64: F270E846F9230A02  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 01:11:52]
839*2^1225668-1 is not prime.  Res64: 3973E23322ADEBD0  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 01:11:55]
879*2^1225668-1 is not prime.  Res64: 223B8FCD5B186D66  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 01:14:52]
987*2^1225668-1 is not prime.  Res64: 4213F1684C6855FB  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 01:14:53]
729*2^1225669-1 is not prime.  Res64: 1B91FABBE8114C0D  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 01:25:09]
985*2^1225669-1 is not prime.  Res64: B4E74A64705B30B4  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 01:25:10]
999*2^1225669-1 is not prime.  Res64: 9F501E237ECF7F96  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 01:35:27]
755*2^1225670-1 is not prime.  Res64: 89EF33FAF6FD9FEE  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 01:35:28]
773*2^1225670-1 is not prime.  Res64: 2103FE80983F63E0  Time : 0.0 sec.
user=vaughan
[2012-08-04 01:37:56]
789*2^1225669-1 is not prime.  Res64: 2902CC09ADA2EBD1  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 01:42:27]
663*2^1225670-1 is not prime.  Res64: 1E126B07418B8465  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 01:42:32]
627*2^1225670-1 is not prime.  Res64: 8C695DA9C2A99CBE  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 01:45:45]
851*2^1225670-1 is not prime.  Res64: E7551FF46288C51C  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 01:45:46]
917*2^1225670-1 is not prime.  Res64: 1AD3F9CBF4275528  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 01:56:00]
945*2^1225670-1 is not prime.  Res64: D44D1DF89C012EE6  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 01:56:00]
953*2^1225670-1 is not prime.  Res64: 31130E6D035C970B  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 02:06:21]
661*2^1225671-1 is not prime.  Res64: A66D863B3BFD57A0  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 02:06:24]
685*2^1225671-1 is not prime.  Res64: AE6283B26B6258F3  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 02:13:01]
1001*2^1225670-1 is not prime.  Res64: 6180CC1A6DA4A879  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 02:13:05]
625*2^1225671-1 is not prime.  Res64: D50DD4072EF990B3  Time : 0.0 sec.
user=vaughan
[2012-08-04 02:15:28]
981*2^1225670-1 is not prime.  Res64: A49CBCA04E3178BF  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 02:16:33]
735*2^1225671-1 is not prime.  Res64: 0FA62FE4DA15B81B  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 02:16:34]
739*2^1225671-1 is not prime.  Res64: 121999862BF600D6  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 02:27:20]
861*2^1225671-1 is not prime.  Res64: 35F91988C536740F  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 02:27:20]
951*2^1225671-1 is not prime.  Res64: C563D3666187E065  Time : 0.0 sec.
user=gd_barnes
[2012-08-04 02:34:20]
745*2^1225671-1 is not prime.  Res64: 3A059720386F7CD3  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 02:37:07]
777*2^1225672-1 is not prime.  Res64: 58BB6D33F6606266  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 02:37:08]
803*2^1225672-1 is not prime.  Res64: 426921D707F5697F  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 02:43:34]
615*2^1225672-1 is not prime.  Res64: B7E6A0F631DFD234  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 02:43:40]
645*2^1225672-1 is not prime.  Res64: A22068EDBB7DAB3A  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 02:47:57]
899*2^1225672-1 is not prime.  Res64: DCF01D0AB10B811F  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 02:47:58]
939*2^1225672-1 is not prime.  Res64: F1410476ABCE0186  Time : 0.0 sec.
user=vaughan
[2012-08-04 02:52:52]
653*2^1225672-1 is not prime.  Res64: AFA2E0E44F6DE7F5  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 02:57:43]
649*2^1225673-1 is not prime.  Res64: F50983C5621963CC  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 02:57:44]
651*2^1225673-1 is not prime.  Res64: 0AF32F1D97AC852A  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 03:08:46]
969*2^1225673-1 is not prime.  Res64: AA386627ADA526E0  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 03:08:48]
635*2^1225674-1 is not prime.  Res64: 07ED16AA800106C5  Time : 0.0 sec.
user=gd_barnes
[2012-08-04 03:10:45]
879*2^1225673-1 is not prime.  Res64: FA67CA46A42666F5  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 03:14:38]
691*2^1225673-1 is not prime.  Res64: F67986B1F2A43F7B  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 03:14:45]
771*2^1225673-1 is not prime.  Res64: 1540464CF8B628C7  Time : 0.0 sec.
user=gd_barnes
[2012-08-04 03:16:29]
795*2^1225673-1 is not prime.  Res64: 4EED93F29FEBAFB0  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 03:18:17]
677*2^1225674-1 is not prime.  Res64: FA3FE2604E18F5BA  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 03:18:17]
707*2^1225674-1 is not prime.  Res64: FFB95135EA8427F6  Time : 0.0 sec.
user=gd_barnes
[2012-08-04 03:19:23]
861*2^1225673-1 is not prime.  Res64: 4D139447F3FBCC9D  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 03:29:31]
927*2^1225674-1 is not prime.  Res64: 468961A8E42D8650  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 03:29:32]
625*2^1225675-1 is not prime.  Res64: F820E3973FA365FD  Time : 0.0 sec.
user=vaughan
[2012-08-04 03:30:15]
663*2^1225674-1 is not prime.  Res64: 7DFC2B918574FAB0  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 03:38:51]
883*2^1225675-1 is not prime.  Res64: 8ED6F0584AFA5568  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 03:38:51]
707*2^1225676-1 is not prime.  Res64: 394A8C04876D7A54  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 03:46:06]
631*2^1225675-1 is not prime.  Res64: 33E4ABF4957207D3  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 03:46:14]
685*2^1225675-1 is not prime.  Res64: 327EF80670733842  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 03:50:09]
735*2^1225676-1 is not prime.  Res64: 485D437F83DC9E70  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 03:50:10]
833*2^1225676-1 is not prime.  Res64: 0706E790DDB5146F  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 03:59:25]
867*2^1225676-1 is not prime.  Res64: FD12E76BA50E78CA  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 03:59:26]
649*2^1225677-1 is not prime.  Res64: 90E220293129CAAC  Time : 0.0 sec.
user=vaughan
[2012-08-04 04:07:37]
855*2^1225676-1 is not prime.  Res64: 4DD4C7C4D5953D6D  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 04:10:43]
777*2^1225677-1 is not prime.  Res64: E359EBA0F0E5A4CD  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 04:10:45]
795*2^1225677-1 is not prime.  Res64: 41006C4529E11546  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 04:17:15]
669*2^1225677-1 is not prime.  Res64: 7281BEE1699D830D  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 04:17:24]
685*2^1225677-1 is not prime.  Res64: AFA84324166A0984  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 04:20:00]
889*2^1225677-1 is not prime.  Res64: B3B5AF9FAE02CBDE  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 04:20:01]
927*2^1225677-1 is not prime.  Res64: 9E91B193556D91D2  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 04:31:23]
603*2^1225678-1 is not prime.  Res64: C5960FD9D34FF0AB  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 04:31:25]
617*2^1225678-1 is not prime.  Res64: A0B1C749D136BDC4  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 04:40:35]
723*2^1225678-1 is not prime.  Res64: 288E6CA6ACD0CF3A  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 04:40:36]
773*2^1225678-1 is not prime.  Res64: 6A68536D6495696C  Time : 0.0 sec.
user=vaughan
[2012-08-04 04:45:19]
961*2^1225677-1 is not prime.  Res64: D21B10210A987A94  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 04:48:27]
621*2^1225678-1 is not prime.  Res64: F5FF8B95FD9B5102  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 04:48:34]
707*2^1225678-1 is not prime.  Res64: C70D1097058B18BD  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 04:52:10]
813*2^1225678-1 is not prime.  Res64: 3A7955CDA665A153  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 04:52:11]
825*2^1225678-1 is not prime.  Res64: F0FF3A5BE9E0A302  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 05:01:11]
833*2^1225678-1 is not prime.  Res64: 079E7DE21CFE0725  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 05:01:12]
1001*2^1225678-1 is not prime.  Res64: 51E1FECF815564BD  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 05:12:44]
855*2^1225679-1 is not prime.  Res64: 18C8C1CF7E4F19F7  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 05:12:45]
879*2^1225679-1 is not prime.  Res64: 89ACCBB0F04EAEDE  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 05:19:25]
619*2^1225679-1 is not prime.  Res64: E45F53B5EE4BB3D9  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 05:19:39]
741*2^1225679-1 is not prime.  Res64: 854797B935E95348  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 05:21:59]
773*2^1225680-1 is not prime.  Res64: 5CFB31AA693BCAD3  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 05:22:00]
797*2^1225680-1 is not prime.  Res64: BD9641DAB7AC8361  Time : 0.0 sec.
user=vaughan
[2012-08-04 05:22:38]
609*2^1225679-1 is not prime.  Res64: 61000BD10B605963  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 05:33:26]
867*2^1225680-1 is not prime.  Res64: AE7D4773B1734803  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 05:33:27]
905*2^1225680-1 is not prime.  Res64: 232205336AC8465E  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 05:42:33]
717*2^1225681-1 is not prime.  Res64: 4BDAA1C2F2791FB7  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 05:42:34]
741*2^1225681-1 is not prime.  Res64: 1DEB9A807109F3C8  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 05:50:07]
615*2^1225681-1 is not prime.  Res64: 249538F95A9AA443  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 05:50:12]
685*2^1225681-1 is not prime.  Res64: B3231CF8A4DFB9C7  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 05:54:01]
945*2^1225681-1 is not prime.  Res64: AA27267F2C8A5406  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 05:54:01]
615*2^1225682-1 is not prime.  Res64: C3A8B62D92D4955D  Time : 0.0 sec.
user=vaughan
[2012-08-04 05:59:56]
895*2^1225681-1 is not prime.  Res64: C7E46338FFA8290B  Time : 0.0 sec.
user=gd_barnes
[2012-08-04 06:00:24]
937*2^1225681-1 is not prime.  Res64: 1BEF82E09005FCE9  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 06:03:09]
645*2^1225682-1 is not prime.  Res64: B1495C0AE6FA9954  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 06:03:11]
741*2^1225682-1 is not prime.  Res64: 46B93C00B9D8E757  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 06:14:35]
977*2^1225682-1 is not prime.  Res64: DDD770F2F7790F82  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 06:14:35]
649*2^1225683-1 is not prime.  Res64: BDD625175B4596D3  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 06:20:42]
827*2^1225682-1 is not prime.  Res64: 293B4189F102FE96  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 06:20:50]
893*2^1225682-1 is not prime.  Res64: A64A2205DFC2D76A  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 06:23:49]
805*2^1225683-1 is not prime.  Res64: A4C94B935C67DF71  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 06:23:50]
921*2^1225683-1 is not prime.  Res64: 7BBB66AF827279AA  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 06:35:13]
905*2^1225684-1 is not prime.  Res64: 1801A885D35CFB7D  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 06:35:14]
601*2^1225685-1 is not prime.  Res64: D3E037A02DB99165  Time : 0.0 sec.
user=vaughan
[2012-08-04 06:37:15]
741*2^1225683-1 is not prime.  Res64: FC94A81B7978D971  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 06:44:23]
721*2^1225685-1 is not prime.  Res64: F37E351A5C88D588  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 06:44:23]
801*2^1225685-1 is not prime.  Res64: C664DA08651BEC4F  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 06:51:18]
649*2^1225685-1 is not prime.  Res64: 5992155EE0D1FB9F  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 06:51:22]
699*2^1225685-1 is not prime.  Res64: C8E52DAF3A573D48  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 06:55:51]
871*2^1225685-1 is not prime.  Res64: 1440593D8E7591A5  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 06:55:51]
957*2^1225685-1 is not prime.  Res64: 67EE135AD010E11C  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 07:04:58]
893*2^1225686-1 is not prime.  Res64: ED7749323F5C8AFB  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 07:04:59]
993*2^1225686-1 is not prime.  Res64: CD3D38015E80EC0C  Time : 0.0 sec.
user=vaughan
[2012-08-04 07:14:35]
985*2^1225685-1 is not prime.  Res64: 2EB0B0C549B8DDFD  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 07:16:25]
873*2^1225687-1 is not prime.  Res64: 2837225D39E22B47  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 07:16:26]
889*2^1225687-1 is not prime.  Res64: B6CE9F1C30B248A1  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 07:21:59]
603*2^1225687-1 is not prime.  Res64: 63DD4696865BE77A  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 07:22:03]
663*2^1225687-1 is not prime.  Res64: C3E673F290345190  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 07:25:47]
623*2^1225688-1 is not prime.  Res64: 1853E34CD38A6C74  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 07:25:48]
665*2^1225688-1 is not prime.  Res64: 4646C81731A110E7  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 07:36:59]
825*2^1225688-1 is not prime.  Res64: EB259D980690BD95  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 07:37:00]
879*2^1225688-1 is not prime.  Res64: B05A442946AFF31C  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 07:46:41]
781*2^1225689-1 is not prime.  Res64: CFA9AE0F84467F04  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 07:46:41]
861*2^1225689-1 is not prime.  Res64: C52D57F7D4E6C754  Time : 0.0 sec.
user=vaughan
[2012-08-04 07:52:13]
713*2^1225688-1 is not prime.  Res64: 43662F52509829AF  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 07:52:34]
929*2^1225688-1 is not prime.  Res64: C8E134DA5FCF7430  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 07:52:38]
969*2^1225688-1 is not prime.  Res64: CA763A6173B7FC2D  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 07:57:34]
919*2^1225689-1 is not prime.  Res64: 66D4DC29C525F744  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 07:57:34]
603*2^1225690-1 is not prime.  Res64: A2D8D1B985452E8D  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 08:07:16]
663*2^1225690-1 is not prime.  Res64: F776981030DCA058  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 08:07:18]
665*2^1225690-1 is not prime.  Res64: 4336BD32505338A5  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 08:18:08]
831*2^1225690-1 is not prime.  Res64: 002ABE816859CB17  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 08:18:10]
703*2^1225691-1 is not prime.  Res64: 84F3313E6C3C2B93  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 08:23:04]
755*2^1225690-1 is not prime.  Res64: 6EE36C48E62DCF8F  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 08:23:10]
803*2^1225690-1 is not prime.  Res64: CADCBB09A997C842  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 08:28:08]
913*2^1225691-1 is not prime.  Res64: 6552298141340AF7  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 08:28:09]
949*2^1225691-1 is not prime.  Res64: 7B8A497CF8844B3D  Time : 0.0 sec.
user=vaughan
[2012-08-04 08:29:34]
675*2^1225690-1 is not prime.  Res64: 2303BC209F985907  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 08:38:46]
665*2^1225692-1 is not prime.  Res64: 4264863C2684D86B  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 08:38:47]
717*2^1225692-1 is not prime.  Res64: B23CDC0AF964022E  Time : 0.0 sec.
user=gd_barnes
[2012-08-04 08:42:58]
993*2^1225691-1 is not prime.  Res64: 61FB943A212A4170  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 08:48:46]
609*2^1225693-1 is not prime.  Res64: EA116590FD3B4186  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 08:48:47]
831*2^1225693-1 is not prime.  Res64: A24000FB02F5C2F8  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 08:53:39]
765*2^1225692-1 is not prime.  Res64: A0B8AE161D4E1E61  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 08:53:46]
977*2^1225692-1 is not prime.  Res64: ACFE158B7047947A  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 08:59:21]
955*2^1225693-1 is not prime.  Res64: 32B95D52739C82EC  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 08:59:21]
961*2^1225693-1 is not prime.  Res64: 8A3A48C08E8A66D8  Time : 0.0 sec.
user=vaughan
[2012-08-04 09:06:57]
937*2^1225693-1 is not prime.  Res64: 2A960F89C0E885CE  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 09:09:23]
999*2^1225693-1 is not prime.  Res64: 31CD365EABCD9E17  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 09:09:24]
663*2^1225694-1 is not prime.  Res64: AE1A2A8EBA5B2FD0  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 09:19:56]
857*2^1225694-1 is not prime.  Res64: F90B223C5FE5491F  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 09:19:57]
887*2^1225694-1 is not prime.  Res64: 9840D8D048104EBD  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 09:24:13]
671*2^1225694-1 is not prime.  Res64: 3D3F2F5E2F182DD8  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 09:24:20]
717*2^1225694-1 is not prime.  Res64: A2D8426FCA18C026  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 09:29:59]
981*2^1225694-1 is not prime.  Res64: 624B74754FDAADB3  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 09:29:59]
983*2^1225694-1 is not prime.  Res64: 4BE10C8BB30C461B  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 09:40:39]
693*2^1225695-1 is not prime.  Res64: 588108C3D0B3306B  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 09:40:39]
775*2^1225695-1 is not prime.  Res64: 44D90A5BBAEA186B  Time : 0.0 sec.
user=vaughan
[2012-08-04 09:44:29]
971*2^1225694-1 is not prime.  Res64: 54B123CED55592BF  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 09:50:34]
693*2^1225696-1 is not prime.  Res64: FE2B6D7D76F756B1  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 09:50:34]
759*2^1225696-1 is not prime.  Res64: 452E9F508F031963  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 09:54:47]
895*2^1225695-1 is not prime.  Res64: 6A80970FCC85E2A5  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 09:54:53]
909*2^1225695-1 is not prime.  Res64: BC24C24F367B5FFF  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 10:01:15]
779*2^1225696-1 is not prime.  Res64: 15AA1C675379F497  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 10:01:17]
873*2^1225696-1 is not prime.  Res64: 6CAA0DF69CBD6B9B  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 10:11:08]
909*2^1225696-1 is not prime.  Res64: 3B95CB54A4E1013C  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 10:11:09]
927*2^1225696-1 is not prime.  Res64: 774173AE8B7C4655  Time : 0.0 sec.
user=vaughan
[2012-08-04 10:21:53]
875*2^1225696-1 is not prime.  Res64: A450FD911B7C9A1F  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 10:22:17]
735*2^1225697-1 is not prime.  Res64: 85C9562D0E938347  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 10:22:18]
781*2^1225697-1 is not prime.  Res64: 0CEAB48BF00E4783  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 10:25:25]
999*2^1225696-1 is not prime.  Res64: D639E43AB471C2A7  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 10:25:30]
685*2^1225697-1 is not prime.  Res64: 01A17588EB745645  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 10:31:49]
879*2^1225697-1 is not prime.  Res64: A5EECEF70532A906  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 10:31:50]
925*2^1225697-1 is not prime.  Res64: B760A86A18B3C965  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 10:42:52]
755*2^1225698-1 is not prime.  Res64: E567CE43BAC89DDB  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 10:42:52]
767*2^1225698-1 is not prime.  Res64: 956152BCBA888A03  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 10:52:26]
881*2^1225698-1 is not prime.  Res64: 56BECBE5550C065B  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 10:52:26]
633*2^1225699-1 is not prime.  Res64: A6E879FFFBAA1D29  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 10:56:01]
803*2^1225698-1 is not prime.  Res64: 218EC09892C87AF2  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 10:56:06]
815*2^1225698-1 is not prime.  Res64: C827CB016A5558B2  Time : 0.0 sec.
user=vaughan
[2012-08-04 10:59:17]
611*2^1225698-1 is not prime.  Res64: 5FBCEF7D2644538C  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 11:03:28]
681*2^1225699-1 is not prime.  Res64: 627562770C180466  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 11:03:36]
769*2^1225699-1 is not prime.  Res64: 30B58434925CDC77  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 11:13:01]
771*2^1225699-1 is not prime.  Res64: F9D8D586ECDBEBC2  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 11:13:02]
855*2^1225699-1 is not prime.  Res64: CAC5F8C50B61383F  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 11:24:18]
687*2^1225700-1 is not prime.  Res64: C5AE377EF1593733  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 11:24:19]
729*2^1225700-1 is not prime.  Res64: 54C3A01AF7B05820  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 11:26:40]
951*2^1225699-1 is not prime.  Res64: 0DDEB4EEB87B44AB  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 11:26:43]
665*2^1225700-1 is not prime.  Res64: 05C94158AAA81E1D  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 11:33:44]
899*2^1225700-1 is not prime.  Res64: B3524A26D2E725C4  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 11:33:45]
909*2^1225700-1 is not prime.  Res64: 1B77668DF33613A0  Time : 0.0 sec.
user=vaughan
[2012-08-04 11:36:39]
675*2^1225700-1 is not prime.  Res64: 3E158AA76BFA68EB  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 11:44:55]
953*2^1225700-1 is not prime.  Res64: 461370EEBE24D910  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 11:44:56]
963*2^1225700-1 is not prime.  Res64: A3317B9DAA21BCF1  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 11:54:19]
831*2^1225702-1 is not prime.  Res64: 49DEC9B18FB8804A  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 11:54:19]
881*2^1225702-1 is not prime.  Res64: AF4B153B8E033C20  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 11:57:13]
747*2^1225701-1 is not prime.  Res64: 2A72281878A2B9DF  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 11:57:23]
991*2^1225701-1 is not prime.  Res64: DD57EBBBF6B7144C  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 12:05:31]
917*2^1225702-1 is not prime.  Res64: 834974097B61DFCF  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 12:05:33]
621*2^1225703-1 is not prime.  Res64: 8975337583BC7B88  Time : 0.0 sec.
user=vaughan
[2012-08-04 12:14:01]
911*2^1225702-1 is not prime.  Res64: 387DFEE6B3A6F660  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 12:14:53]
693*2^1225703-1 is not prime.  Res64: E334BBAA59B06CB7  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 12:14:53]
729*2^1225703-1 is not prime.  Res64: 340B9D6E493C0F80  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 12:26:21]
915*2^1225703-1 is not prime.  Res64: 61235949D34FB1BC  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 12:26:21]
921*2^1225703-1 is not prime.  Res64: 16351AA1A520231C  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 12:28:24]
741*2^1225703-1 is not prime.  Res64: 1B2C0E8938E77A7E  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 12:28:41]
889*2^1225703-1 is not prime.  Res64: 8A906FB67D8A02F2  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 12:35:34]
985*2^1225703-1 is not prime.  Res64: 62E0136DCF67293A  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 12:35:35]
675*2^1225704-1 is not prime.  Res64: 788E781EFE5D5664  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 12:47:00]
693*2^1225704-1 is not prime.  Res64: 516A50FD6DAD981A  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 12:47:00]
737*2^1225704-1 is not prime.  Res64: 29A8473DE3C37AB0  Time : 0.0 sec.
user=vaughan
[2012-08-04 12:51:28]
969*2^1225703-1 is not prime.  Res64: 0DDDCE2FCC9862BE  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 12:56:10]
873*2^1225704-1 is not prime.  Res64: F29CAF7FA40AC2EE  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 12:56:11]
929*2^1225704-1 is not prime.  Res64: 42ACA3ED3A1C724B  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 12:59:09]
765*2^1225704-1 is not prime.  Res64: 14980A80D512D3E6  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 12:59:33]
815*2^1225704-1 is not prime.  Res64: A7D612D5E408F7AD  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 13:07:35]
945*2^1225704-1 is not prime.  Res64: F9C5349C263B6AFA  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 13:07:38]
609*2^1225705-1 is not prime.  Res64: A03250376FB4C827  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 13:16:45]
741*2^1225705-1 is not prime.  Res64: A3263520762C6BF1  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 13:16:46]
617*2^1225706-1 is not prime.  Res64: 0D8E9B819FFA7AAB  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 13:28:48]
783*2^1225706-1 is not prime.  Res64: 8988C9FAEBB36AEE  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 13:28:48]
785*2^1225706-1 is not prime.  Res64: EC564EF272C0D9B9  Time : 0.0 sec.
user=vaughan
[2012-08-04 13:28:49]
625*2^1225705-1 is not prime.  Res64: 5219580419DA3451  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 13:29:48]
635*2^1225706-1 is not prime.  Res64: 95BF9094F2E72E9E  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 13:30:08]
713*2^1225706-1 is not prime.  Res64: 7FD22AD1E964C752  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 13:38:08]
825*2^1225706-1 is not prime.  Res64: 79B4FAF4C1DFDADD  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 13:38:09]
957*2^1225706-1 is not prime.  Res64: F9FEAB1E430849D5  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 13:49:44]
981*2^1225706-1 is not prime.  Res64: 4ADE54143F5552F9  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 13:49:45]
609*2^1225707-1 is not prime.  Res64: A1AC7050830F1ECC  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 13:58:47]
871*2^1225707-1 is not prime.  Res64: 0BB1A3F8C66E6166  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 13:58:47]
931*2^1225707-1 is not prime.  Res64: BB19ACE6852F339B  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 14:00:36]
699*2^1225707-1 is not prime.  Res64: 291754A62C9ED56F  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 14:00:44]
741*2^1225707-1 is not prime.  Res64: A5EBC86B7D008030  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 14:10:24]
975*2^1225707-1 is not prime.  Res64: 464D66DAA0A147DE  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 14:10:27]
735*2^1225708-1 is not prime.  Res64: 6FC38B13F10562D6  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 14:19:26]
863*2^1225708-1 is not prime.  Res64: 3D954AE9DDD3B18B  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 14:19:27]
887*2^1225708-1 is not prime.  Res64: 1FC2EE85FC353147  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 14:31:10]
993*2^1225708-1 is not prime.  Res64: 76136E6F35BCAB60  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 14:31:11]
691*2^1225709-1 is not prime.  Res64: B59117F45E728422  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 14:31:25]
927*2^1225708-1 is not prime.  Res64: 2E7392B87EBFE904  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 14:31:35]
929*2^1225708-1 is not prime.  Res64: FF3421D2B6D2CDBF  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 14:40:09]
741*2^1225709-1 is not prime.  Res64: AE502725B5E7D237  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 14:40:10]
769*2^1225709-1 is not prime.  Res64: D864AD0087FA9796  Time : 0.0 sec.
user=vaughan
[2012-08-04 14:43:48]
933*2^1225708-1 is not prime.  Res64: 358AD80A84883D70  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 14:51:50]
855*2^1225709-1 is not prime.  Res64: 57D7402BDD3EE3DD  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 14:51:51]
865*2^1225709-1 is not prime.  Res64: F1629ED893132120  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 15:00:50]
821*2^1225710-1 is not prime.  Res64: 7236D50300D3D392  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 15:00:51]
845*2^1225710-1 is not prime.  Res64: A260D293FED57D1F  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 15:01:58]
717*2^1225710-1 is not prime.  Res64: 465F4C2C8A6EA039  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 15:02:09]
777*2^1225710-1 is not prime.  Res64: ED1EE12BE5B327CC  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 15:12:30]
933*2^1225710-1 is not prime.  Res64: E3E0844942B1FB94  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 15:12:33]
971*2^1225710-1 is not prime.  Res64: 24BD5EE01B145FD0  Time : 0.0 sec.
user=vaughan
[2012-08-04 15:21:11]
917*2^1225710-1 is not prime.  Res64: 7CB78C298B817D67  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 15:21:47]
639*2^1225711-1 is not prime.  Res64: EC30CC3A7C9B165F  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 15:21:48]
709*2^1225711-1 is not prime.  Res64: AD1CA96E394139EF  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 15:32:30]
819*2^1225711-1 is not prime.  Res64: 856FF745F647F59C  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 15:32:35]
855*2^1225711-1 is not prime.  Res64: 4CAB391BB80FB941  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 15:33:18]
889*2^1225711-1 is not prime.  Res64: 216ABF91D0263AC4  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 15:33:19]
909*2^1225711-1 is not prime.  Res64: 5CB1C898C371D045  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 15:42:26]
635*2^1225712-1 is not prime.  Res64: F9F1F0B864F19AF7  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 15:42:26]
687*2^1225712-1 is not prime.  Res64: 9FB7E7CDA83C30A8  Time : 0.0 sec.
user=gd_barnes
[2012-08-04 15:45:31]
603*2^1225712-1 is not prime.  Res64: 1E3B97535B1FEF20  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 15:53:57]
825*2^1225712-1 is not prime.  Res64: 972F5A61DF394DC7  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 15:53:57]
833*2^1225712-1 is not prime.  Res64: CF6AE257C18723F3  Time : 0.0 sec.
user=vaughan
[2012-08-04 15:58:37]
623*2^1225712-1 is not prime.  Res64: 8F02827D228C46C1  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 16:03:05]
915*2^1225712-1 is not prime.  Res64: EB628BD79A2BAEAA  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 16:03:06]
627*2^1225713-1 is not prime.  Res64: 3643EFE96C2B11A0  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 16:05:15]
797*2^1225712-1 is not prime.  Res64: 9117591106716E9E  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 16:05:37]
753*2^1225712-1 is not prime.  Res64: CBDAE8CDD1EE2A4B  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 16:14:37]
747*2^1225713-1 is not prime.  Res64: A367A9A3F37F4E89  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 16:14:40]
751*2^1225713-1 is not prime.  Res64: 6B8DFD1CA1299FE5  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 16:23:43]
919*2^1225713-1 is not prime.  Res64: C08DD53AC41AC71E  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 16:23:44]
945*2^1225713-1 is not prime.  Res64: C0A4C8F882B59DB0  Time : 0.0 sec.
user=vaughan
[2012-08-04 16:36:01]
811*2^1225713-1 is not prime.  Res64: B06EF16F87488F69  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 16:36:23]
949*2^1225713-1 is not prime.  Res64: 1FAB9DD41110A7DA  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 16:36:30]
723*2^1225714-1 is not prime.  Res64: 6ACC4B42BEF8E75C  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 16:36:30]
825*2^1225714-1 is not prime.  Res64: C8F8C086DC6C2A2D  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 16:36:38]
663*2^1225714-1 is not prime.  Res64: 95F4B303ABF824A6  Time : 0.0 sec.
user=gd_barnes
[2012-08-04 16:43:04]
855*2^1225714-1 is not prime.  Res64: CD1C24C277347DC5  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 16:44:24]
917*2^1225714-1 is not prime.  Res64: F2F28BAFDE67DC7B  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 16:44:24]
941*2^1225714-1 is not prime.  Res64: 27FAEF00126B731B  Time : 0.0 sec.
user=gd_barnes
[2012-08-04 16:47:43]
687*2^1225714-1 is not prime.  Res64: 0E8D0E688F703918  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 16:57:11]
885*2^1225715-1 is not prime.  Res64: AA95B2AAA25B1FE4  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 16:57:12]
909*2^1225715-1 is not prime.  Res64: 8B6A664F7927BD3A  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 17:05:06]
609*2^1225716-1 is not prime.  Res64: A4504BDD2841A961  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 17:05:08]
633*2^1225716-1 is not prime.  Res64: D7E901E98B63A645  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 17:07:32]
963*2^1225715-1 is not prime.  Res64: 150128B218F38C98  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 17:07:40]
1001*2^1225714-1 is not prime.  Res64: E7EF221620261C92  Time : 0.0 sec.
user=vaughan
[2012-08-04 17:13:26]
951*2^1225714-1 is not prime.  Res64: 8DCEFAD0B550F9A7  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 17:17:52]
719*2^1225716-1 is not prime.  Res64: 2820538FB6C9A786  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 17:17:52]
765*2^1225716-1 is not prime.  Res64: 98DA1DEC19ADFEAD  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 17:25:57]
783*2^1225716-1 is not prime.  Res64: F0CDE7D13AA167D9  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 17:25:57]
789*2^1225716-1 is not prime.  Res64: 2139E3DC88EE2973  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 17:38:09]
837*2^1225716-1 is not prime.  Res64: 39454C66A7EEB42E  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 17:38:19]
845*2^1225716-1 is not prime.  Res64: 1A773016ECD0394B  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 17:38:30]
727*2^1225717-1 is not prime.  Res64: CEC34D7A069350D8  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 17:38:30]
835*2^1225717-1 is not prime.  Res64: 3DDFFC78D275DF75  Time : 0.0 sec.
user=gd_barnes
[2012-08-04 17:44:42]
691*2^1225717-1 is not prime.  Res64: 8D5EAD3839749329  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 17:46:38]
885*2^1225717-1 is not prime.  Res64: 18E0D93F53CCAA66  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 17:46:38]
919*2^1225717-1 is not prime.  Res64: A1679180C186ECD1  Time : 0.0 sec.
user=vaughan
[2012-08-04 17:51:14]
875*2^1225716-1 is not prime.  Res64: 156C1B2A87FC88F5  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 17:59:08]
731*2^1225718-1 is not prime.  Res64: E9FDEE51F9B6C1CE  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 17:59:08]
923*2^1225718-1 is not prime.  Res64: 9993E527BCE108AD  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 18:07:17]
649*2^1225719-1 is not prime.  Res64: 2FA1C505659899FD  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 18:07:20]
789*2^1225719-1 is not prime.  Res64: 24F976DD90F8AA00  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 18:08:40]
693*2^1225718-1 is not prime.  Res64: 7183182DA2273453  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 18:08:51]
711*2^1225718-1 is not prime.  Res64: 63099CAEB47341CC  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 18:19:50]
885*2^1225719-1 is not prime.  Res64: 5C2F2E166F459CD5  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 18:19:51]
955*2^1225719-1 is not prime.  Res64: 896E549F34D66249  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 18:28:06]
609*2^1225720-1 is not prime.  Res64: 1F2D9960DD5602ED  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 18:28:06]
629*2^1225720-1 is not prime.  Res64: ACF5EB42A3D70070  Time : 0.0 sec.
user=vaughan
[2012-08-04 18:28:37]
825*2^1225719-1 is not prime.  Res64: AC323639CAFF1F98  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 18:39:15]
677*2^1225720-1 is not prime.  Res64: 370BB6FD015F164E  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 18:39:27]
699*2^1225720-1 is not prime.  Res64: 8AFEC54F17D06E30  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 18:40:40]
707*2^1225720-1 is not prime.  Res64: DAEE1F1644633C47  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 18:40:40]
743*2^1225720-1 is not prime.  Res64: 350A9818256B93FE  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 18:48:52]
843*2^1225720-1 is not prime.  Res64: 17E90E2B79C01705  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 18:48:53]
873*2^1225720-1 is not prime.  Res64: 17E16A70E6F8E636  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 19:01:25]
715*2^1225721-1 is not prime.  Res64: C41EA099A3881727  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 19:01:26]
741*2^1225721-1 is not prime.  Res64: 6532E24D68A036B5  Time : 0.0 sec.
user=vaughan
[2012-08-04 19:06:00]
875*2^1225720-1 is not prime.  Res64: 61B6593F8BB35A9A  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 19:09:38]
745*2^1225721-1 is not prime.  Res64: D35A227005219EF5  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 19:09:38]
867*2^1225721-1 is not prime.  Res64: 4DC0B4A74CC25902  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 19:09:59]
989*2^1225720-1 is not prime.  Res64: 7DBE87AFDA1C47A0  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 19:10:11]
651*2^1225721-1 is not prime.  Res64: 22A82BFEE1FEEA7A  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 19:22:18]
997*2^1225721-1 is not prime.  Res64: 8EB8611C8EFC6505  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 19:22:18]
681*2^1225722-1 is not prime.  Res64: 8CFF8B3C79C313FB  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 19:30:29]
815*2^1225722-1 is not prime.  Res64: A485C79194A1094C  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 19:30:30]
825*2^1225722-1 is not prime.  Res64: 95A06649DF6E1692  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 19:40:39]
977*2^1225722-1 is not prime.  Res64: 1831F4AEE91BBDC8  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 19:40:50]
633*2^1225723-1 is not prime.  Res64: 2736CEC69E768AC7  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 19:43:07]
745*2^1225723-1 is not prime.  Res64: EF028A9751A6F2A3  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 19:43:07]
913*2^1225723-1 is not prime.  Res64: 5ABF469F8670B59E  Time : 0.0 sec.
user=vaughan
[2012-08-04 19:43:26]
803*2^1225722-1 is not prime.  Res64: 0381080A6C53C000  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 19:51:15]
973*2^1225723-1 is not prime.  Res64: B3390F865E57C11D  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 19:51:15]
609*2^1225724-1 is not prime.  Res64: 8F29CBD996E19E37  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 20:03:53]
927*2^1225724-1 is not prime.  Res64: 7F10704261C11D8B  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 20:03:55]
929*2^1225724-1 is not prime.  Res64: 4B0B9E10842454D8  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 20:11:14]
675*2^1225724-1 is not prime.  Res64: FC27C3FCF539584A  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 20:11:45]
789*2^1225724-1 is not prime.  Res64: BCBA95FF50407886  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 20:12:10]
667*2^1225725-1 is not prime.  Res64: 313D14082F814FAC  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 20:12:11]
817*2^1225725-1 is not prime.  Res64: 8CB07C4858327DB3  Time : 0.0 sec.
user=vaughan
[2012-08-04 20:20:49]
601*2^1225725-1 is not prime.  Res64: 73AFEEE525C6C6E8  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 20:25:16]
861*2^1225725-1 is not prime.  Res64: AEE4269E76BB1596  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 20:25:17]
871*2^1225725-1 is not prime.  Res64: 96E0675738AE9844  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 20:33:00]
747*2^1225726-1 is not prime.  Res64: 4ADDD8CA6FB73BBE  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 20:33:01]
815*2^1225726-1 is not prime.  Res64: B355F362B57278D9  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 20:42:11]
999*2^1225725-1 is not prime.  Res64: 3694B657ED57C881  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 20:42:32]
653*2^1225726-1 is not prime.  Res64: CEAC95768106E83A  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 20:46:14]
891*2^1225726-1 is not prime.  Res64: 886506838D6DAAFA  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 20:46:14]
703*2^1225727-1 is not prime.  Res64: 1AA2657E439047DC  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 20:53:36]
823*2^1225727-1 is not prime.  Res64: 1BA2AF49423A20AB  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 20:53:37]
713*2^1225728-1 is not prime.  Res64: F114F7E29EAD3DAF  Time : 0.0 sec.
user=vaughan
[2012-08-04 20:58:11]
881*2^1225726-1 is not prime.  Res64: 5E798DF461BAD7F6  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 21:06:49]
845*2^1225728-1 is not prime.  Res64: 38E5697DFE9A35DF  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 21:06:50]
639*2^1225729-1 is not prime.  Res64: 4C779C2ED9BCD0AD  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 21:12:53]
747*2^1225728-1 is not prime.  Res64: EB146F73442ECFD7  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 21:13:17]
839*2^1225728-1 is not prime.  Res64: C497C88D5CBF1799  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 21:14:10]
867*2^1225729-1 is not prime.  Res64: BF1983967B759AF2  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 21:14:11]
895*2^1225729-1 is not prime.  Res64: 5AE63230790964FD  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 21:27:33]
967*2^1225729-1 is not prime.  Res64: 732BBD94AD805072  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 21:27:33]
615*2^1225730-1 is not prime.  Res64: 53A783940ABFF6D0  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 21:34:48]
701*2^1225730-1 is not prime.  Res64: 4F91D59EE501E89C  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 21:34:49]
861*2^1225730-1 is not prime.  Res64: B870DC5179CBAD7B  Time : 0.0 sec.
user=vaughan
[2012-08-04 21:35:34]
951*2^1225729-1 is not prime.  Res64: B8CCFAABBCE5F6B4  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 21:43:35]
677*2^1225730-1 is not prime.  Res64: 7A378170441FEBEB  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 21:44:03]
687*2^1225730-1 is not prime.  Res64: AB5043EA5A8D8AD7  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 21:48:10]
893*2^1225730-1 is not prime.  Res64: 27C6D9D7E211E907  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 21:48:11]
911*2^1225730-1 is not prime.  Res64: 5CF9EE6812EEC5A3  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 21:55:23]
951*2^1225730-1 is not prime.  Res64: D47657D7995602B5  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 21:55:23]
987*2^1225730-1 is not prime.  Res64: 90D2A9C82316B8EF  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 22:08:45]
879*2^1225731-1 is not prime.  Res64: 9DC3ADBFEA21BC7A  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 22:08:45]
901*2^1225731-1 is not prime.  Res64: 30B54C4D579BF5FC  Time : 0.0 sec.
user=vaughan
[2012-08-04 22:12:56]
783*2^1225731-1 is not prime.  Res64: 5A204B4EF472310E  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 22:14:13]
805*2^1225731-1 is not prime.  Res64: 7DB605691AB54265  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 22:14:33]
859*2^1225731-1 is not prime.  Res64: C20D24D8FDF6187C  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 22:15:58]
975*2^1225731-1 is not prime.  Res64: 5394A5F9138C9B72  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 22:15:58]
665*2^1225732-1 is not prime.  Res64: 67D0579FC6157348  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 22:29:24]
887*2^1225732-1 is not prime.  Res64: FB9DC88711535B18  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 22:29:25]
965*2^1225732-1 is not prime.  Res64: 5661609A323C641A  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 22:36:31]
847*2^1225733-1 is not prime.  Res64: 2EDE2430A2F91B76  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 22:36:32]
871*2^1225733-1 is not prime.  Res64: 1D3B4D291F997F15  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 22:44:47]
657*2^1225733-1 is not prime.  Res64: B746472E5215D7D8  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 22:45:06]
781*2^1225733-1 is not prime.  Res64: 57462B8448190AD9  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 22:49:59]
937*2^1225733-1 is not prime.  Res64: 65AB06F699F61483  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 22:50:00]
651*2^1225734-1 is not prime.  Res64: 6A87A997E43181F5  Time : 0.0 sec.
user=vaughan
[2012-08-04 22:50:26]
987*2^1225732-1 is not prime.  Res64: 899621D43D79F19A  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 22:57:05]
663*2^1225734-1 is not prime.  Res64: 92BC2ECEEA33B015  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 22:57:06]
683*2^1225734-1 is not prime.  Res64: EE19B3C90763D035  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 23:10:34]
893*2^1225734-1 is not prime.  Res64: 899EA4C18317292B  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 23:10:36]
903*2^1225734-1 is not prime.  Res64: 73C9D3012D43197F  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 23:15:24]
705*2^1225734-1 is not prime.  Res64: E1F8DD4B6BEB326B  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 23:15:42]
731*2^1225734-1 is not prime.  Res64: 018C44217156A03D  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 23:17:40]
965*2^1225734-1 is not prime.  Res64: 9CBD2A020EE8B277  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 23:17:40]
983*2^1225734-1 is not prime.  Res64: 3DF7C7283F0883C6  Time : 0.0 sec.
user=vaughan
[2012-08-04 23:27:50]
927*2^1225734-1 is not prime.  Res64: D988E86C3F5F801D  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 23:31:17]
705*2^1225735-1 is not prime.  Res64: 5705038952FBD2F2  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 23:31:17]
709*2^1225735-1 is not prime.  Res64: 56DA095D1BA9B0C3  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 23:38:14]
759*2^1225735-1 is not prime.  Res64: 074F102F5D85B98A  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 23:38:15]
765*2^1225735-1 is not prime.  Res64: E1ED2886F14E2F9B  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 23:46:24]
715*2^1225735-1 is not prime.  Res64: 6AC2C8165250F951  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 23:46:39]
723*2^1225735-1 is not prime.  Res64: E50E1DC1923414A1  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 23:51:51]
819*2^1225735-1 is not prime.  Res64: FFA7718A97D649B4  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 23:51:51]
873*2^1225735-1 is not prime.  Res64: A18E4DFD768061DA  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 23:58:49]
919*2^1225735-1 is not prime.  Res64: 184C7C5AC8533E3F  Time : 0.0 sec.
user=mdettweiler
[2012-08-04 23:58:50]
973*2^1225735-1 is not prime.  Res64: 998BB24A8B28B087  Time : 0.0 sec.