user=mdettweiler
[2013-03-26 00:12:12]
909*2^1243407-1 is not prime.  Res64: A0F275D278F219FB  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 00:12:13]
985*2^1243407-1 is not prime.  Res64: FBE783E5E97967F0  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 00:14:42]
635*2^1243408-1 is not prime.  Res64: EFC43F7DAB0C3355  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 00:14:42]
713*2^1243408-1 is not prime.  Res64: B5E72A181DCF8F6F  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 00:29:47]
897*2^1243408-1 is not prime.  Res64: 7B2DE34999DC9FB1  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 00:29:48]
989*2^1243408-1 is not prime.  Res64: 871ABD78B72845BD  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 00:32:15]
999*2^1243408-1 is not prime.  Res64: ECDDB35C86F134A1  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 00:32:16]
727*2^1243409-1 is not prime.  Res64: E1750919D78D8ED9  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 00:47:23]
831*2^1243409-1 is not prime.  Res64: F1CD8A1F7050E22C  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 00:47:24]
867*2^1243409-1 is not prime.  Res64: 9E3EF7058C6E0549  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 00:49:49]
985*2^1243409-1 is not prime.  Res64: 2D26AEE726F05C51  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 00:49:49]
651*2^1243410-1 is not prime.  Res64: 796003AB20EF9919  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 01:04:59]
717*2^1243410-1 is not prime.  Res64: 4DF4471F40781EFF  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 01:05:00]
945*2^1243410-1 is not prime.  Res64: EE2B897E72CDE606  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 01:07:24]
977*2^1243410-1 is not prime.  Res64: 0D3EFE9EC2D62750  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 01:07:25]
679*2^1243411-1 is not prime.  Res64: 58B0A9369CE2B870  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 01:22:34]
741*2^1243411-1 is not prime.  Res64: 30C561040DE6EAC4  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 01:22:35]
759*2^1243411-1 is not prime.  Res64: 1F92CC1D4198A092  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 01:24:59]
849*2^1243411-1 is not prime.  Res64: 6C5BB3E1B89222E7  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 01:24:59]
871*2^1243411-1 is not prime.  Res64: 369B3939B83FCF7E  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 01:40:09]
939*2^1243411-1 is not prime.  Res64: 71702E1CBE0AC47C  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 01:40:10]
813*2^1243412-1 is not prime.  Res64: 4B949E5948FE60F7  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 01:42:33]
875*2^1243412-1 is not prime.  Res64: 74FF69660C696724  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 01:42:33]
987*2^1243412-1 is not prime.  Res64: 55EA35D33EA78B52  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 01:57:43]
609*2^1243413-1 is not prime.  Res64: 97C2F077A8FA2C04  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 01:57:44]
747*2^1243413-1 is not prime.  Res64: 85FFFF98E0719D12  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 02:00:07]
781*2^1243413-1 is not prime.  Res64: 083F1ADB3B5FE243  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 02:00:08]
789*2^1243413-1 is not prime.  Res64: 1B1A09CC52CA1371  Time : 0.0 sec.
user=juhehe
[2013-03-26 02:01:54]
715*2^1243411-1 is not prime.  Res64: 0D1ABB16D19B405C  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 02:15:19]
819*2^1243413-1 is not prime.  Res64: 830AB98D29B65F39  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 02:15:20]
885*2^1243413-1 is not prime.  Res64: 1FFCD5E35DBEFA3A  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 02:27:05]
937*2^1243413-1 is not prime.  Res64: EC4F36364CBC21FF  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 02:27:05]
663*2^1243414-1 is not prime.  Res64: E0DC743ECDAB2817  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 02:35:32]
741*2^1243414-1 is not prime.  Res64: D5D1689D7E479A09  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 02:35:33]
917*2^1243414-1 is not prime.  Res64: BC316186317CB1FD  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 02:44:29]
633*2^1243415-1 is not prime.  Res64: B13B318E1E7D7767  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 02:44:30]
651*2^1243415-1 is not prime.  Res64: 2B762EDE7C3ECB85  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 02:53:09]
655*2^1243415-1 is not prime.  Res64: 0D225000CD6EA045  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 02:53:09]
759*2^1243415-1 is not prime.  Res64: 7A6CC6F0046A993B  Time : 0.0 sec.
user=juhehe
[2013-03-26 02:55:38]
795*2^1243413-1 is not prime.  Res64: 7219E3FCF8B0B6D7  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 03:01:57]
861*2^1243415-1 is not prime.  Res64: B73D826A3E9A2E36  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 03:01:58]
669*2^1243416-1 is not prime.  Res64: 0A16BC2CE6D950FC  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 03:10:37]
725*2^1243416-1 is not prime.  Res64: 25E2392EE30508FB  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 03:10:37]
737*2^1243416-1 is not prime.  Res64: 1B1DF5CF057508EC  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 03:19:24]
759*2^1243416-1 is not prime.  Res64: 786B005F6E97D0B5  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 03:19:25]
765*2^1243416-1 is not prime.  Res64: 54732DE68FC06D0D  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 03:28:05]
909*2^1243416-1 is not prime.  Res64: FEEB36418E62098B  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 03:28:06]
651*2^1243417-1 is not prime.  Res64: 9DC9FECDCFBC7CA2  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 03:36:49]
691*2^1243417-1 is not prime.  Res64: EC324713AEBA23CE  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 03:36:50]
729*2^1243417-1 is not prime.  Res64: 32A3C05A3DED34AE  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 03:45:30]
765*2^1243417-1 is not prime.  Res64: BF2CCA21AA84BF0B  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 03:45:31]
801*2^1243417-1 is not prime.  Res64: 3A813650C8ADDCA5  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 03:54:14]
805*2^1243417-1 is not prime.  Res64: B35EC3F01414DBC9  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 03:54:15]
871*2^1243417-1 is not prime.  Res64: A75CBD84930DBD2A  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 04:02:56]
897*2^1243417-1 is not prime.  Res64: 89540A78BAE43004  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 04:02:57]
931*2^1243417-1 is not prime.  Res64: CB03DE38A101108D  Time : 0.0 sec.
user=juhehe
[2013-03-26 04:09:38]
849*2^1243416-1 is not prime.  Res64: 4961E9960A602BB7  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 04:11:39]
979*2^1243417-1 is not prime.  Res64: 7BA01D0163A9632C  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 04:11:39]
603*2^1243418-1 is not prime.  Res64: 4769543EC264EBB2  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 04:20:22]
683*2^1243418-1 is not prime.  Res64: 347B54B803F0CA16  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 04:20:23]
771*2^1243418-1 is not prime.  Res64: EC15C7469CB84DA2  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 04:29:04]
825*2^1243418-1 is not prime.  Res64: 65FE746DBFC1C343  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 04:29:04]
827*2^1243418-1 is not prime.  Res64: BEE983C68FAEE6B2  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 04:37:47]
845*2^1243418-1 is not prime.  Res64: 178D93B509CB1D88  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 04:37:48]
927*2^1243418-1 is not prime.  Res64: 6C204A25D35C650B  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 04:46:28]
675*2^1243419-1 is not prime.  Res64: 342F26DD2353F943  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 04:46:29]
735*2^1243419-1 is not prime.  Res64: A568C1BC3627FF6C  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 04:55:11]
745*2^1243419-1 is not prime.  Res64: 16B6A278C2F8A8CC  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 04:55:12]
751*2^1243419-1 is not prime.  Res64: 5246A5F0B09E3641  Time : 0.0 sec.
user=juhehe
[2013-03-26 05:03:43]
635*2^1243418-1 is not prime.  Res64: 29DBE38BDFBBD686  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 05:03:53]
829*2^1243419-1 is not prime.  Res64: 4480E6DD85880C96  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 05:03:54]
895*2^1243419-1 is not prime.  Res64: AFC405129D718CB3  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 05:12:36]
653*2^1243420-1 is not prime.  Res64: 61E95AFD960FFFC4  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 05:12:36]
687*2^1243420-1 is not prime.  Res64: 24D8D2A025541B86  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 05:21:20]
803*2^1243420-1 is not prime.  Res64: 95330198EA47905E  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 05:21:20]
909*2^1243420-1 is not prime.  Res64: C15F6DC78A0A9582  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 05:30:01]
987*2^1243420-1 is not prime.  Res64: 9534B6D15AFBB22B  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 05:30:03]
607*2^1243421-1 is not prime.  Res64: 44C9C6B2DA4B5EFC  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 05:38:44]
621*2^1243421-1 is not prime.  Res64: 6DDBB283516E4DE0  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 05:38:45]
631*2^1243421-1 is not prime.  Res64: C3153930C0007AB6  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 05:47:30]
657*2^1243421-1 is not prime.  Res64: AE589C986F1E3E9D  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 05:47:30]
685*2^1243421-1 is not prime.  Res64: B0A9A95F923AF27B  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 05:56:08]
735*2^1243421-1 is not prime.  Res64: 88EDC86C93553132  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 05:56:09]
859*2^1243421-1 is not prime.  Res64: F4DA4FFC8CDDA27B  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 06:04:55]
635*2^1243422-1 is not prime.  Res64: 283A266BA0F674A4  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 06:04:56]
651*2^1243422-1 is not prime.  Res64: CAD1FAAC050E3E9A  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 06:13:33]
767*2^1243422-1 is not prime.  Res64: 23F0113FC80F2C23  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 06:13:34]
885*2^1243422-1 is not prime.  Res64: E296B7EE0BC38EF9  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 06:22:21]
673*2^1243423-1 is not prime.  Res64: F27EDE079CE35038  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 06:22:22]
681*2^1243423-1 is not prime.  Res64: A418749D4FD90BE3  Time : 0.0 sec.
user=juhehe
[2013-03-26 06:23:53]
965*2^1243420-1 is not prime.  Res64: CDBBDDBEB70B213E  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 06:30:58]
763*2^1243423-1 is not prime.  Res64: 0C6FF10F59198A1B  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 06:30:59]
765*2^1243423-1 is not prime.  Res64: 8ACDDA44DD91AC0E  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 06:39:46]
783*2^1243423-1 is not prime.  Res64: C7ED2FDAB4606A5A  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 06:39:47]
873*2^1243423-1 is not prime.  Res64: 4661B1B26AD18BF9  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 06:48:23]
969*2^1243423-1 is not prime.  Res64: 3B54C2ABE95C9092  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 06:48:23]
993*2^1243423-1 is not prime.  Res64: BA339F8CAB236154  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 06:57:11]
999*2^1243423-1 is not prime.  Res64: 9C6C1719A85ACA78  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 06:57:12]
605*2^1243424-1 is not prime.  Res64: F9C5EF76701E22B2  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 07:05:47]
759*2^1243424-1 is not prime.  Res64: 61CD891441CD1C88  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 07:05:48]
857*2^1243424-1 is not prime.  Res64: 2C6AD96F52BB5FB8  Time : 0.0 sec.
user=juhehe
[2013-03-26 07:11:40]
709*2^1243423-1 is not prime.  Res64: BEE8B6C8717655A4  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 07:14:37]
873*2^1243424-1 is not prime.  Res64: C8C55E74E9010BC2  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 07:14:37]
927*2^1243424-1 is not prime.  Res64: 6FC2C498DB456E00  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 07:23:14]
935*2^1243424-1 is not prime.  Res64: C1E53FEA0ADE55DD  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 07:23:14]
957*2^1243424-1 is not prime.  Res64: 0D85ABA894E75FE0  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 07:32:02]
969*2^1243424-1 is not prime.  Res64: 68571092A8991596  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 07:32:03]
983*2^1243424-1 is not prime.  Res64: F0DDB4D842DC2A2A  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 07:40:39]
625*2^1243425-1 is not prime.  Res64: 2B131DD156835403  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 07:40:39]
717*2^1243425-1 is not prime.  Res64: 014FCA539C3789ED  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 07:49:28]
811*2^1243425-1 is not prime.  Res64: A5AF9F2210986CF5  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 07:49:29]
819*2^1243425-1 is not prime.  Res64: 31B7EB77292F25DC  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 07:58:04]
847*2^1243425-1 is not prime.  Res64: B0C202F5358EFB13  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 07:58:04]
975*2^1243425-1 is not prime.  Res64: 8A894CA671196236  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 08:06:54]
999*2^1243425-1 is not prime.  Res64: 5146236D9904C8F3  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 08:06:55]
635*2^1243426-1 is not prime.  Res64: FC396288E9F84920  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 08:15:29]
645*2^1243426-1 is not prime.  Res64: 35B2FFC4E857029C  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 08:15:29]
647*2^1243426-1 is not prime.  Res64: C19EF6E875408FBB  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 08:24:21]
653*2^1243426-1 is not prime.  Res64: 2B7BA95A9303271C  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 08:24:22]
743*2^1243426-1 is not prime.  Res64: 1547417C039C42C4  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 08:32:53]
833*2^1243426-1 is not prime.  Res64: 589C3BD3933F8C82  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 08:32:54]
873*2^1243426-1 is not prime.  Res64: BA7AA765377B13D8  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 08:41:46]
669*2^1243427-1 is not prime.  Res64: D1F09421F2EFAFAD  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 08:41:47]
693*2^1243427-1 is not prime.  Res64: F561A031E1D53941  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 08:50:18]
753*2^1243427-1 is not prime.  Res64: D33BB3A26C1A69AB  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 08:50:19]
883*2^1243427-1 is not prime.  Res64: 27A4EFE5BD6C91DF  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 08:59:10]
753*2^1243428-1 is not prime.  Res64: C52DD58104647293  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 08:59:11]
839*2^1243428-1 is not prime.  Res64: 6AAE8E0D9EAFAE77  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 09:07:43]
975*2^1243428-1 is not prime.  Res64: BE1D34269A67D040  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 09:07:44]
609*2^1243429-1 is not prime.  Res64: CDFF43BCF96978DB  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 09:16:36]
819*2^1243429-1 is not prime.  Res64: FB0B826BB1619A09  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 09:16:36]
825*2^1243429-1 is not prime.  Res64: C774CD3E48FB8E9E  Time : 0.0 sec.
user=juhehe
[2013-03-26 09:18:11]
825*2^1243426-1 is not prime.  Res64: F6E3DF2B2F4B64B8  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 09:25:11]
867*2^1243429-1 is not prime.  Res64: 17D941ACC7C674B8  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 09:25:11]
945*2^1243429-1 is not prime.  Res64: 69130B140F77B30F  Time : 0.0 sec.
user=juhehe
[2013-03-26 09:31:50]
699*2^1243427-1 is not prime.  Res64: 8B01CFEF94BB7195  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 09:34:01]
955*2^1243429-1 is not prime.  Res64: 5A2ADEC86623AAE7  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 09:34:02]
717*2^1243430-1 is not prime.  Res64: 55A58CE30641ED5E  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 09:42:35]
831*2^1243430-1 is not prime.  Res64: 136659F81C754C71  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 09:42:36]
917*2^1243430-1 is not prime.  Res64: C8379EE5F30994CB  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 09:51:26]
977*2^1243430-1 is not prime.  Res64: 5E519C852330383D  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 09:51:26]
991*2^1243431-1 is not prime.  Res64: 72791A451489A09B  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 10:00:01]
639*2^1243432-1 is not prime.  Res64: D8C7083CCA857B56  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 10:00:01]
657*2^1243432-1 is not prime.  Res64: 233B49DABD021CA0  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 10:08:51]
665*2^1243432-1 is not prime.  Res64: 2A6ABEA2BF8437F0  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 10:08:51]
687*2^1243432-1 is not prime.  Res64: A0BB3855DC8093C0  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 10:17:30]
827*2^1243432-1 is not prime.  Res64: CF298FD8AAE39571  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 10:17:31]
855*2^1243432-1 is not prime.  Res64: 6947E19F45C13F34  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 10:26:17]
875*2^1243432-1 is not prime.  Res64: 57ECC2A8D1ECD6E0  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 10:26:18]
933*2^1243432-1 is not prime.  Res64: D91F95F607725499  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 10:34:57]
669*2^1243433-1 is not prime.  Res64: D51D52E319419168  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 10:34:57]
715*2^1243433-1 is not prime.  Res64: 54C6EE33F71C08E3  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 10:43:42]
861*2^1243433-1 is not prime.  Res64: 70E2C97180BA7056  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 10:43:42]
915*2^1243433-1 is not prime.  Res64: 5EEC3270658B2C1B  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 10:52:21]
987*2^1243433-1 is not prime.  Res64: 151A5B607A8F9D4B  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 10:52:21]
605*2^1243434-1 is not prime.  Res64: 47E933996E6D66B4  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 11:01:14]
657*2^1243434-1 is not prime.  Res64: 868F9E587B04497B  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 11:01:15]
677*2^1243434-1 is not prime.  Res64: C22947D0B678547E  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 11:10:10]
825*2^1243258-1 is not prime.  Res64: 7B751BF20E0877A8  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 11:10:11]
773*2^1243434-1 is not prime.  Res64: 378D4377449B15F6  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 11:19:30]
861*2^1243434-1 is not prime.  Res64: DA5D583927567377  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 11:19:31]
887*2^1243434-1 is not prime.  Res64: 105D152ABC96AF5D  Time : 0.0 sec.
user=juhehe
[2013-03-26 11:25:41]
721*2^1243433-1 is not prime.  Res64: 82367A68607922CB  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 11:28:19]
917*2^1243434-1 is not prime.  Res64: 0096E61A35281B7C  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 11:28:20]
619*2^1243435-1 is not prime.  Res64: 38A333FDEFCAD692  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 11:37:10]
633*2^1243435-1 is not prime.  Res64: 98B806673DF60C40  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 11:37:11]
679*2^1243435-1 is not prime.  Res64: E05459C831D44866  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 11:45:49]
771*2^1243435-1 is not prime.  Res64: 10F1709914044A27  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 11:45:50]
819*2^1243435-1 is not prime.  Res64: 5F163C52A4D3BF09  Time : 0.0 sec.
user=juhehe
[2013-03-26 11:45:59]
957*2^1243433-1 is not prime.  Res64: B419BEBC9D5A6014  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 11:54:39]
843*2^1243435-1 is not prime.  Res64: 714E178A5121B5A4  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 11:54:40]
919*2^1243435-1 is not prime.  Res64: 58A219AB69824B7E  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 12:03:35]
951*2^1243435-1 is not prime.  Res64: D556D631FB137354  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 12:03:36]
969*2^1243435-1 is not prime.  Res64: DF5CB972F18E8012  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 12:12:24]
755*2^1243436-1 is not prime.  Res64: 6F435629BE193D9F  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 12:12:25]
987*2^1243436-1 is not prime.  Res64: 96D8E47B6486ACBC  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 12:21:52]
615*2^1243437-1 is not prime.  Res64: 1ECD67B55A3CCF36  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 12:21:52]
699*2^1243437-1 is not prime.  Res64: 21FF18A35EC25E67  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 12:29:57]
805*2^1243437-1 is not prime.  Res64: 91DB0A62CD7775F2  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 12:29:58]
831*2^1243437-1 is not prime.  Res64: 537526F9E418C7BB  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 12:39:36]
961*2^1243437-1 is not prime.  Res64: 00FDD79B56FB581C  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 12:39:37]
657*2^1243438-1 is not prime.  Res64: EA94DEB4CA306C5A  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 12:47:26]
731*2^1243438-1 is not prime.  Res64: DF18CA682161CEA0  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 12:47:27]
791*2^1243438-1 is not prime.  Res64: 8C368ECE674C6896  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 12:57:06]
815*2^1243438-1 is not prime.  Res64: 22603DBDA9DA3CD2  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 12:57:06]
891*2^1243438-1 is not prime.  Res64: 18BB008560AC3988  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 13:04:55]
987*2^1243438-1 is not prime.  Res64: 90E918D62C1B3F40  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 13:04:56]
711*2^1243439-1 is not prime.  Res64: 057397A358824C24  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 13:14:35]
629*2^1243440-1 is not prime.  Res64: B45B8DEBB0F0B52A  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 13:14:36]
633*2^1243440-1 is not prime.  Res64: DC5A6B67F612F476  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 13:22:36]
675*2^1243440-1 is not prime.  Res64: CA9507DBA3A833B7  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 13:22:36]
759*2^1243440-1 is not prime.  Res64: C7E06E8258BB668B  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 13:32:11]
779*2^1243440-1 is not prime.  Res64: BDA9187692B9E91C  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 13:32:11]
863*2^1243440-1 is not prime.  Res64: 249AA6726E807F4D  Time : 0.0 sec.
user=juhehe
[2013-03-26 13:33:20]
663*2^1243438-1 is not prime.  Res64: 5D7257CB82F9D92F  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 13:40:32]
917*2^1243440-1 is not prime.  Res64: A54607298D2DF297  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 13:40:33]
933*2^1243440-1 is not prime.  Res64: A6335B8AA7A5E2AC  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 13:49:42]
983*2^1243440-1 is not prime.  Res64: 993DC9D1F4574C4C  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 13:49:42]
999*2^1243440-1 is not prime.  Res64: C5550245C316C60B  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 13:58:59]
607*2^1243441-1 is not prime.  Res64: EE7A1ABA59C79EB9  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 13:58:59]
691*2^1243441-1 is not prime.  Res64: 9F775B4317B8D316  Time : 0.0 sec.
user=juhehe
[2013-03-26 13:59:44]
943*2^1243439-1 is not prime.  Res64: 036728075A46F63E  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 14:07:17]
741*2^1243441-1 is not prime.  Res64: 2F438E66FEA18D75  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 14:07:18]
745*2^1243441-1 is not prime.  Res64: C6D90431231806C4  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 14:16:43]
747*2^1243441-1 is not prime.  Res64: 7CFC153CCC03B06B  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 14:16:43]
951*2^1243441-1 is not prime.  Res64: 1554EB1A1CE55661  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 14:25:19]
997*2^1243441-1 is not prime.  Res64: 1A9320B30DEC0EA3  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 14:25:20]
623*2^1243442-1 is not prime.  Res64: 2FC5DBA6D45AADE3  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 14:34:52]
801*2^1243442-1 is not prime.  Res64: 5A9909CEF004D838  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 14:34:53]
827*2^1243442-1 is not prime.  Res64: 0C5AABFCBC51570A  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 14:43:00]
867*2^1243442-1 is not prime.  Res64: 88E8394B93F6A5EA  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 14:43:01]
873*2^1243442-1 is not prime.  Res64: 6570D431CFB16C86  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 14:52:28]
885*2^1243442-1 is not prime.  Res64: 6FEEC22C8DCB621F  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 14:52:29]
915*2^1243442-1 is not prime.  Res64: 77FA5E644342D89C  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 15:00:32]
705*2^1243443-1 is not prime.  Res64: 7699F0FD96D7AF7D  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 15:00:34]
723*2^1243443-1 is not prime.  Res64: 5D64832273409540  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 15:10:05]
789*2^1243443-1 is not prime.  Res64: 82432283E58F77D8  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 15:10:05]
795*2^1243443-1 is not prime.  Res64: F5EA6F38B859D519  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 15:18:25]
859*2^1243443-1 is not prime.  Res64: 4E122969435A8C81  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 15:18:26]
891*2^1243443-1 is not prime.  Res64: 4C4BDE483BE29E57  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 15:27:44]
963*2^1243443-1 is not prime.  Res64: C89148EFC3A109D2  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 15:27:44]
609*2^1243444-1 is not prime.  Res64: A86B2C694B6C2776  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 15:36:05]
623*2^1243444-1 is not prime.  Res64: CF614700D6028EF4  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 15:36:06]
707*2^1243444-1 is not prime.  Res64: 836054BC20884839  Time : 0.0 sec.
user=juhehe
[2013-03-26 15:42:09]
921*2^1243442-1 is not prime.  Res64: 52917E422615C275  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 15:45:23]
723*2^1243444-1 is not prime.  Res64: 708DA0634781A5EA  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 15:45:24]
827*2^1243444-1 is not prime.  Res64: CD4B41888CA0CD50  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 15:53:45]
873*2^1243444-1 is not prime.  Res64: CCA5707A1A5DFE41  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 15:53:46]
885*2^1243444-1 is not prime.  Res64: F3241DA3B46020C1  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 16:03:03]
989*2^1243444-1 is not prime.  Res64: 650C37A76A24B8DC  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 16:03:04]
645*2^1243445-1 is not prime.  Res64: 38F3E1B48D3F51E2  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 16:11:41]
691*2^1243445-1 is not prime.  Res64: 6E53D4778A252FF5  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 16:11:42]
757*2^1243445-1 is not prime.  Res64: 854B6751B63751FC  Time : 0.0 sec.
user=juhehe
[2013-03-26 16:14:33]
961*2^1243443-1 is not prime.  Res64: BB2E694ACD64D3C4  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 16:20:47]
759*2^1243445-1 is not prime.  Res64: 6741C431A2DD3C5F  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 16:20:47]
861*2^1243445-1 is not prime.  Res64: F360AED1263F69BE  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 16:29:19]
867*2^1243445-1 is not prime.  Res64: 58972D03A4A21FED  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 16:29:20]
897*2^1243445-1 is not prime.  Res64: C600AE24C9838492  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 16:38:21]
627*2^1243446-1 is not prime.  Res64: 3209EA711612FE90  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 16:38:21]
741*2^1243446-1 is not prime.  Res64: 2BD9F68F4C9892E7  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 16:46:53]
843*2^1243446-1 is not prime.  Res64: DBEC41FF00098B7E  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 16:46:53]
891*2^1243446-1 is not prime.  Res64: 837EF768B5513B8E  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 16:55:54]
703*2^1243447-1 is not prime.  Res64: 8188CA5161297E18  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 16:55:55]
735*2^1243447-1 is not prime.  Res64: 000E6F7E3C7A21AF  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 17:04:28]
871*2^1243447-1 is not prime.  Res64: 9B525D393F55495F  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 17:04:29]
985*2^1243447-1 is not prime.  Res64: 21A766A08E7D155C  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 17:13:28]
623*2^1243448-1 is not prime.  Res64: FE529C53C7F592B5  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 17:13:28]
657*2^1243448-1 is not prime.  Res64: 2FC3EFC5BFD5D71B  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 17:22:03]
753*2^1243448-1 is not prime.  Res64: 453BA902DE048EF0  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 17:22:04]
759*2^1243448-1 is not prime.  Res64: 7D575BC2359B76F1  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 17:31:03]
935*2^1243448-1 is not prime.  Res64: 6C369EEC902524E9  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 17:31:04]
959*2^1243448-1 is not prime.  Res64: 3EA414367C57449B  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 17:39:45]
995*2^1243448-1 is not prime.  Res64: 4164B966D3905F22  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 17:39:45]
711*2^1243449-1 is not prime.  Res64: 3B91FFE5651353B1  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 17:48:36]
781*2^1243449-1 is not prime.  Res64: 2CD2122EFAB38E2A  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 17:48:36]
603*2^1243450-1 is not prime.  Res64: 8153816820A2539A  Time : 0.0 sec.
user=juhehe
[2013-03-26 17:49:05]
805*2^1243447-1 is not prime.  Res64: 9D8E86AB0C4332D8  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 17:57:18]
713*2^1243450-1 is not prime.  Res64: B1741178EF48CDCD  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 17:57:19]
765*2^1243450-1 is not prime.  Res64: E3E3908638B160CF  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 18:06:10]
911*2^1243450-1 is not prime.  Res64: 62199649878C0007  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 18:06:11]
933*2^1243450-1 is not prime.  Res64: 046C3A2F193C1934  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 18:14:52]
601*2^1243451-1 is not prime.  Res64: 9D681968CB467EE3  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 18:14:53]
619*2^1243451-1 is not prime.  Res64: CC762638CDE1AB8C  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 18:23:45]
621*2^1243451-1 is not prime.  Res64: 461DA34F79BAF4C5  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 18:23:45]
643*2^1243451-1 is not prime.  Res64: 5DE787C7F68184FF  Time : 0.0 sec.
user=juhehe
[2013-03-26 18:28:17]
969*2^1243448-1 is not prime.  Res64: F93B31962AB9F1A4  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 18:32:27]
711*2^1243451-1 is not prime.  Res64: 4B5E4A26B3911675  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 18:32:27]
735*2^1243451-1 is not prime.  Res64: 0C98A11130FEACB2  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 18:41:18]
745*2^1243451-1 is not prime.  Res64: AAF764BA6272B458  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 18:41:19]
859*2^1243451-1 is not prime.  Res64: 0FFD085B3B0278A2  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 18:50:01]
969*2^1243451-1 is not prime.  Res64: A7C97B504E3A9A91  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 18:50:01]
605*2^1243452-1 is not prime.  Res64: 9CF3D0C5C0FAD366  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 18:58:56]
723*2^1243452-1 is not prime.  Res64: 5591B70E0D60FF07  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 18:58:56]
779*2^1243452-1 is not prime.  Res64: FF855FA5E497E47B  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 19:07:41]
903*2^1243452-1 is not prime.  Res64: 9DEB37312685DA98  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 19:07:42]
681*2^1243453-1 is not prime.  Res64: D8ADB1484DD534C7  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 19:16:33]
747*2^1243453-1 is not prime.  Res64: DE04C48984C8CB97  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 19:16:33]
771*2^1243453-1 is not prime.  Res64: E3FC89E455629884  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 19:25:20]
847*2^1243453-1 is not prime.  Res64: 45D4D2C36167762D  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 19:25:21]
859*2^1243453-1 is not prime.  Res64: 16FF0EDABB296ED6  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 19:34:10]
897*2^1243453-1 is not prime.  Res64: F3183BADD2C92A50  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 19:34:11]
915*2^1243453-1 is not prime.  Res64: 038658085E8ED362  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 19:42:54]
951*2^1243453-1 is not prime.  Res64: C31EE50C4FA37EAD  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 19:42:55]
623*2^1243454-1 is not prime.  Res64: D720DB92AB47D039  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 19:51:45]
825*2^1243454-1 is not prime.  Res64: B8AF72464A560C60  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 19:51:45]
857*2^1243454-1 is not prime.  Res64: 731B29B506DA7A89  Time : 0.0 sec.
user=juhehe
[2013-03-26 19:56:35]
741*2^1243453-1 is not prime.  Res64: C02EB46F5464A3F0  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 20:00:38]
941*2^1243454-1 is not prime.  Res64: E7A30F24C160A13D  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 20:00:39]
945*2^1243454-1 is not prime.  Res64: 49EAA98B67C10E8F  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 20:09:32]
953*2^1243454-1 is not prime.  Res64: B668866C22721F9F  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 20:09:33]
691*2^1243455-1 is not prime.  Res64: F6943B3782F0A80E  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 20:18:26]
853*2^1243455-1 is not prime.  Res64: 885780EDC5966247  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 20:18:26]
743*2^1243456-1 is not prime.  Res64: CA25902384D35D6B  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 20:27:19]
755*2^1243456-1 is not prime.  Res64: 82238A735F51524F  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 20:27:19]
843*2^1243456-1 is not prime.  Res64: 9EF01A76F7169C55  Time : 0.0 sec.
user=juhehe
[2013-03-26 20:35:06]
741*2^1243454-1 is not prime.  Res64: A86CBE01CC1D3659  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 20:36:11]
857*2^1243456-1 is not prime.  Res64: 76B643EA780FBA3D  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 20:36:12]
873*2^1243456-1 is not prime.  Res64: 19D6B7C9F7F83D6A  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 20:45:03]
899*2^1243456-1 is not prime.  Res64: 6AA80C4513E4DF93  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 20:45:03]
903*2^1243456-1 is not prime.  Res64: F02CFB1B3FFD9663  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 20:53:56]
645*2^1243457-1 is not prime.  Res64: DD08AA2D00FB76C5  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 20:53:56]
865*2^1243457-1 is not prime.  Res64: 8784398E75262891  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 21:02:47]
925*2^1243457-1 is not prime.  Res64: 798384249CF1431E  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 21:02:48]
931*2^1243457-1 is not prime.  Res64: 82E1F64BDE7979A1  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 21:11:42]
937*2^1243457-1 is not prime.  Res64: 471140CAED540501  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 21:11:42]
955*2^1243457-1 is not prime.  Res64: 8932800F06CB335B  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 21:20:35]
773*2^1243458-1 is not prime.  Res64: 6F28AAC03F814468  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 21:20:35]
777*2^1243458-1 is not prime.  Res64: E908E361C827D1D8  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 21:29:28]
791*2^1243458-1 is not prime.  Res64: 430D7BB9D9262D53  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 21:29:28]
893*2^1243458-1 is not prime.  Res64: 0560E59FD9A25A13  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 21:38:21]
905*2^1243458-1 is not prime.  Res64: 2B0AE98055F19EEC  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 21:38:22]
963*2^1243458-1 is not prime.  Res64: AC7399FFE1D42574  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 21:47:13]
971*2^1243458-1 is not prime.  Res64: 6E5DDA05822DC474  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 21:47:14]
993*2^1243458-1 is not prime.  Res64: 0808C419B00BB5E6  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 21:56:07]
685*2^1243459-1 is not prime.  Res64: 8B8C948D3B9DE66E  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 21:56:08]
709*2^1243459-1 is not prime.  Res64: 093294D3DF69DDAE  Time : 0.0 sec.
user=juhehe
[2013-03-26 22:02:48]
767*2^1243458-1 is not prime.  Res64: AC387B8371EAC515  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 22:04:59]
769*2^1243459-1 is not prime.  Res64: D90A9B2A92A6480B  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 22:05:00]
855*2^1243459-1 is not prime.  Res64: 0FEB08AE0F368D07  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 22:13:53]
925*2^1243459-1 is not prime.  Res64: FD16608DDE21BBD2  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 22:13:54]
975*2^1243459-1 is not prime.  Res64: F0CE8C8FD8092EB3  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 22:22:47]
985*2^1243459-1 is not prime.  Res64: C0C0D9083044783B  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 22:22:47]
605*2^1243460-1 is not prime.  Res64: 55970CD172424EEE  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 22:31:42]
825*2^1243460-1 is not prime.  Res64: F230CE840266231F  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 22:31:42]
845*2^1243460-1 is not prime.  Res64: 440C4C01D43F93BA  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 22:40:43]
935*2^1243460-1 is not prime.  Res64: 3F61A5346C725A40  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 22:40:44]
963*2^1243460-1 is not prime.  Res64: D1B0C3E8186C5E45  Time : 0.0 sec.
user=juhehe
[2013-03-26 22:41:37]
615*2^1243459-1 is not prime.  Res64: CFA556FC6DAC03D9  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 22:49:39]
995*2^1243460-1 is not prime.  Res64: FB72FAF814F46D68  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 22:49:39]
999*2^1243460-1 is not prime.  Res64: CE28845E099073F7  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 22:58:53]
745*2^1243461-1 is not prime.  Res64: 58A76D92F25632A7  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 22:58:54]
747*2^1243461-1 is not prime.  Res64: BE451035C2977163  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 23:07:43]
987*2^1243461-1 is not prime.  Res64: 9BDDB197E01359E8  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 23:07:44]
731*2^1243462-1 is not prime.  Res64: 54E0AB1B7A170C6E  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 23:16:28]
957*2^1243462-1 is not prime.  Res64: 0A89512C4F62BA8F  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 23:16:28]
615*2^1243464-1 is not prime.  Res64: 8944C0B1E8419E54  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 23:25:12]
759*2^1243465-1 is not prime.  Res64: 720F74C142C57C26  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 23:25:13]
855*2^1243465-1 is not prime.  Res64: 8DACE51432391936  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 23:33:53]
895*2^1243465-1 is not prime.  Res64: CAAB40B8AEEBF812  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 23:33:54]
937*2^1243465-1 is not prime.  Res64: 5505D0DA3FEFAFEC  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 23:42:40]
951*2^1243465-1 is not prime.  Res64: 762F7ED705603E1B  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 23:42:40]
641*2^1243466-1 is not prime.  Res64: 333F4AA4F451093B  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 23:51:21]
707*2^1243466-1 is not prime.  Res64: D5C60F41C8BEFFB9  Time : 0.0 sec.
user=mdettweiler
[2013-03-26 23:51:22]
747*2^1243466-1 is not prime.  Res64: 06FD6D780A7854E2  Time : 0.0 sec.
user=mdettweiler
[2013-03-27 00:00:05]
873*2^1243466-1 is not prime.  Res64: 04BC6EC4D4ADD067  Time : 0.0 sec.
user=mdettweiler
[2013-03-27 00:00:06]
893*2^1243466-1 is not prime.  Res64: 8F4A5E209B0DC1D7  Time : 0.0 sec.