user=mdettweiler
[2013-04-25 00:02:42]
711*2^1245209-1 is not prime.  Res64: 90F7D548A6D546B4  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 00:02:43]
727*2^1245209-1 is not prime.  Res64: A9DD93F36EBCF38A  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 00:03:05]
771*2^1245209-1 is not prime.  Res64: 25D6ECA42E46F648  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 00:03:06]
831*2^1245209-1 is not prime.  Res64: ED49E819D8085FC8  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 00:20:35]
907*2^1245209-1 is not prime.  Res64: D9FB611030AA6DD9  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 00:20:36]
985*2^1245209-1 is not prime.  Res64: 2095ADF999BAE392  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 00:20:50]
653*2^1245210-1 is not prime.  Res64: 6CDD861A53EF9FF2  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 00:20:50]
707*2^1245210-1 is not prime.  Res64: 3D2EDE5F2B6A0530  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 00:38:26]
783*2^1245210-1 is not prime.  Res64: 1194CC0D3A392F9B  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 00:38:26]
791*2^1245210-1 is not prime.  Res64: 63CCF1B7A340D45C  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 00:38:34]
927*2^1245210-1 is not prime.  Res64: BACA2F8057042A5B  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 00:38:35]
649*2^1245211-1 is not prime.  Res64: 0058D87E726DE84E  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 00:56:02]
709*2^1245211-1 is not prime.  Res64: 968E01DE7E26BB91  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 00:56:02]
759*2^1245211-1 is not prime.  Res64: 88C75ABE9CD20931  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 00:56:09]
901*2^1245211-1 is not prime.  Res64: 10F4DC60866BF88B  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 00:56:10]
939*2^1245211-1 is not prime.  Res64: 7DB053B5D8E12FB9  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 01:13:37]
647*2^1245212-1 is not prime.  Res64: 89E56E31C416161E  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 01:13:37]
657*2^1245212-1 is not prime.  Res64: 1B1936C8467F2C3E  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 01:14:19]
999*2^1245211-1 is not prime.  Res64: 8004D2E5BF8CB6F5  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 01:14:20]
623*2^1245212-1 is not prime.  Res64: 969B95B7A20927F1  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 01:31:08]
803*2^1245212-1 is not prime.  Res64: 11FE0F35545CF38E  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 01:31:08]
873*2^1245212-1 is not prime.  Res64: 71E30AA276FC5923  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 01:31:45]
639*2^1245213-1 is not prime.  Res64: D31A47301A609F0F  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 01:31:46]
747*2^1245213-1 is not prime.  Res64: 084AE8A2C0D47772  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 01:48:35]
769*2^1245213-1 is not prime.  Res64: EEB419AED869F66E  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 01:48:36]
805*2^1245213-1 is not prime.  Res64: 6719A103409F7F68  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 01:49:11]
817*2^1245213-1 is not prime.  Res64: 48AF8CABBDF39499  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 01:49:12]
833*2^1245214-1 is not prime.  Res64: E88A79C2A8EDDBE4  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 02:06:02]
609*2^1245215-1 is not prime.  Res64: 3864AB3D18584B2A  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 02:06:03]
661*2^1245215-1 is not prime.  Res64: B442EE4E579B8B2B  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 02:06:38]
693*2^1245215-1 is not prime.  Res64: 7136DD4756BF653C  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 02:06:39]
753*2^1245215-1 is not prime.  Res64: 91670942EB063C84  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 02:23:34]
969*2^1245215-1 is not prime.  Res64: 36A25A828B4FDCF4  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 02:23:34]
633*2^1245216-1 is not prime.  Res64: 44FA68552D8DD61A  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 02:24:04]
657*2^1245216-1 is not prime.  Res64: 489ECDB06E9FE87F  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 02:24:05]
717*2^1245216-1 is not prime.  Res64: 4C670DEB300F9518  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 02:41:03]
759*2^1245216-1 is not prime.  Res64: DFED6260941FF460  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 02:41:05]
789*2^1245216-1 is not prime.  Res64: 48E4DF1027BD2DFA  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 02:41:30]
893*2^1245216-1 is not prime.  Res64: 4FF9011A06592E59  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 02:41:31]
933*2^1245216-1 is not prime.  Res64: EA3466FED8E25E3B  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 02:58:46]
691*2^1245217-1 is not prime.  Res64: 34178E79675E18F2  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 02:58:47]
775*2^1245217-1 is not prime.  Res64: 96CEAD982C85916F  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 02:58:57]
817*2^1245217-1 is not prime.  Res64: A763E62D05AC728A  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 02:58:57]
931*2^1245217-1 is not prime.  Res64: F4EDC2D5E90D9DDB  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 03:16:23]
791*2^1245218-1 is not prime.  Res64: E56D91D1C3E46533  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 03:16:24]
843*2^1245218-1 is not prime.  Res64: 52576B5ADB3913C8  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 03:17:05]
937*2^1245217-1 is not prime.  Res64: 257426D1F2FC47D9  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 03:17:05]
997*2^1245217-1 is not prime.  Res64: F8DDA97CD53AAB94  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 03:33:54]
987*2^1245218-1 is not prime.  Res64: EE02143E1F4B51E0  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 03:33:55]
703*2^1245219-1 is not prime.  Res64: 95DE442642597CDA  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 03:34:30]
723*2^1245219-1 is not prime.  Res64: 1846F858424F9E73  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 03:34:31]
829*2^1245219-1 is not prime.  Res64: BA45B894A091DE65  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 03:51:44]
943*2^1245219-1 is not prime.  Res64: F95754DC389BB174  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 03:51:45]
985*2^1245219-1 is not prime.  Res64: 814DAF32ACBF01B3  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 03:51:57]
603*2^1245220-1 is not prime.  Res64: 07D032C1AB1DECC6  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 03:51:57]
605*2^1245220-1 is not prime.  Res64: F86F392861FBC5DB  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 04:09:12]
675*2^1245220-1 is not prime.  Res64: BC339943C42C7920  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 04:09:13]
689*2^1245220-1 is not prime.  Res64: B9B11397F2EAE2EE  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 04:09:23]
839*2^1245220-1 is not prime.  Res64: 0477489F31C5D7FD  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 04:09:23]
905*2^1245220-1 is not prime.  Res64: 988796D6F067F230  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 04:26:45]
649*2^1245221-1 is not prime.  Res64: FACA177EE18C014C  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 04:26:45]
657*2^1245221-1 is not prime.  Res64: 34616CF0E03C2A04  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 04:26:50]
717*2^1245221-1 is not prime.  Res64: 5E239776C050CE4B  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 04:26:50]
747*2^1245221-1 is not prime.  Res64: 3463D008E6A11849  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 04:44:12]
757*2^1245221-1 is not prime.  Res64: AF2C2AEC7055B6D2  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 04:44:13]
859*2^1245221-1 is not prime.  Res64: 95C74B8D3266183E  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 04:44:16]
885*2^1245221-1 is not prime.  Res64: 0BDAE84D0CC12CF6  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 04:44:16]
937*2^1245221-1 is not prime.  Res64: C0F0B98D8411F13A  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 05:01:42]
955*2^1245221-1 is not prime.  Res64: 5E45E47CCACC7F55  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 05:01:43]
695*2^1245222-1 is not prime.  Res64: C2AD3C0D5565D65B  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 05:01:43]
747*2^1245222-1 is not prime.  Res64: 4D369C5D1812AD2C  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 05:01:44]
765*2^1245222-1 is not prime.  Res64: 2F10126C79C1C38F  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 05:19:22]
801*2^1245222-1 is not prime.  Res64: AA3690765411FC10  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 05:19:22]
873*2^1245222-1 is not prime.  Res64: 1247233E137B4D80  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 05:19:23]
603*2^1245223-1 is not prime.  Res64: D1ED160B4ED32D7E  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 05:19:23]
649*2^1245223-1 is not prime.  Res64: E410AF2ABE723691  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 05:36:52]
855*2^1245223-1 is not prime.  Res64: 7D08BEBF3AFE2510  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 05:36:52]
973*2^1245223-1 is not prime.  Res64: 719C9B0F46C8511F  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 05:37:40]
999*2^1245223-1 is not prime.  Res64: 38B1557E71E7D13A  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 05:37:41]
657*2^1245224-1 is not prime.  Res64: 1AC5B64AD343316A  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 05:54:19]
683*2^1245224-1 is not prime.  Res64: 1A11C6B14AA34DFB  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 05:54:20]
747*2^1245224-1 is not prime.  Res64: 9D832B415F28A2E8  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 05:55:07]
855*2^1245224-1 is not prime.  Res64: 3540237C975D9FC0  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 05:55:07]
627*2^1245225-1 is not prime.  Res64: 6D08BAAF78704F90  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 06:11:46]
685*2^1245225-1 is not prime.  Res64: E8A4D999F1EBAEE9  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 06:11:47]
735*2^1245225-1 is not prime.  Res64: C61FC0E179145D6C  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 06:12:34]
811*2^1245225-1 is not prime.  Res64: 5CED9B377ED6DC7A  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 06:12:34]
885*2^1245225-1 is not prime.  Res64: 4310EC4EAD96129E  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 06:30:00]
603*2^1245226-1 is not prime.  Res64: 821C57519067006B  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 06:30:01]
663*2^1245226-1 is not prime.  Res64: FCF5BEDCA768B5DA  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 06:30:08]
915*2^1245225-1 is not prime.  Res64: 5BF8159A5D6E41D6  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 06:30:09]
999*2^1245225-1 is not prime.  Res64: 5245ED4C8D837365  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 06:47:37]
675*2^1245226-1 is not prime.  Res64: FC9789003012D134  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 06:47:38]
705*2^1245226-1 is not prime.  Res64: 3FB6EF04970ED0E0  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 06:47:42]
773*2^1245226-1 is not prime.  Res64: 091024D3445E1AD5  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 06:47:43]
843*2^1245226-1 is not prime.  Res64: 46016DA09FBFA76A  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 07:05:22]
663*2^1245227-1 is not prime.  Res64: 52B1FE3919DA0103  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 07:05:23]
843*2^1245227-1 is not prime.  Res64: 537593BE253D779F  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 07:06:07]
993*2^1245226-1 is not prime.  Res64: F1420394B0E8D682  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 07:06:09]
631*2^1245227-1 is not prime.  Res64: 9C0CD602B2B05EF9  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 07:23:18]
879*2^1245227-1 is not prime.  Res64: 9A6F7382CFDFF0D4  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 07:23:19]
963*2^1245227-1 is not prime.  Res64: 313206F4CAB01E3B  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 07:24:49]
999*2^1245227-1 is not prime.  Res64: EF2EA21FA09BC3B1  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 07:24:50]
627*2^1245228-1 is not prime.  Res64: EFD46C549787232B  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 07:40:49]
629*2^1245228-1 is not prime.  Res64: 174391DC9093CF3A  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 07:40:50]
723*2^1245228-1 is not prime.  Res64: 61D268827D286510  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 07:42:19]
753*2^1245228-1 is not prime.  Res64: 9641FBD67241A394  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 07:42:19]
899*2^1245228-1 is not prime.  Res64: 77A131FB3794E6E0  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 07:58:20]
601*2^1245229-1 is not prime.  Res64: 3C4D8CDA8232A061  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 07:58:20]
721*2^1245229-1 is not prime.  Res64: FE757D5EDCBFB509  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 07:59:48]
855*2^1245229-1 is not prime.  Res64: EAEBFF3501BA8023  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 07:59:49]
951*2^1245229-1 is not prime.  Res64: 9D94304DF91F85CE  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 08:15:50]
979*2^1245229-1 is not prime.  Res64: DF7EE0AA3C370834  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 08:15:51]
987*2^1245229-1 is not prime.  Res64: BA9A1B43F48CFA82  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 08:18:07]
997*2^1245229-1 is not prime.  Res64: 92BA7C8C19F16D42  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 08:18:07]
605*2^1245230-1 is not prime.  Res64: 813D36C136FAF868  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 08:33:23]
635*2^1245230-1 is not prime.  Res64: A184B8C4B76A1A53  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 08:33:24]
665*2^1245230-1 is not prime.  Res64: 49C7CDC91D9FA154  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 08:35:36]
761*2^1245230-1 is not prime.  Res64: 6205F34685A16170  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 08:35:37]
795*2^1245230-1 is not prime.  Res64: B2D28E6E7E56481C  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 08:50:53]
825*2^1245230-1 is not prime.  Res64: CDB1043F8A09C8D8  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 08:50:54]
867*2^1245230-1 is not prime.  Res64: 74B2553BC0587E1C  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 08:53:06]
941*2^1245230-1 is not prime.  Res64: D11F7E1317621C6A  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 08:53:06]
705*2^1245231-1 is not prime.  Res64: DF91A969B0EBACD1  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 09:08:24]
751*2^1245231-1 is not prime.  Res64: 21EEABED3D572EAA  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 09:08:25]
823*2^1245231-1 is not prime.  Res64: 2F096B157B1AA8D1  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 09:10:35]
849*2^1245231-1 is not prime.  Res64: A147703753CA7F21  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 09:10:36]
891*2^1245231-1 is not prime.  Res64: 6FBA8B1A71959D9D  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 09:25:59]
955*2^1245231-1 is not prime.  Res64: F660C1203F51426C  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 09:26:00]
605*2^1245232-1 is not prime.  Res64: 6F3422F554EC7B56  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 09:28:05]
609*2^1245232-1 is not prime.  Res64: D7304B0BEAC28BDE  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 09:28:05]
705*2^1245232-1 is not prime.  Res64: F68589C7194EBAF2  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 09:43:40]
825*2^1245232-1 is not prime.  Res64: C0CD04A4E1FB05AE  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 09:43:41]
903*2^1245232-1 is not prime.  Res64: 6A6B7FB44377B961  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 09:45:36]
923*2^1245232-1 is not prime.  Res64: D02BD0B79982813F  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 09:45:36]
939*2^1245232-1 is not prime.  Res64: 572A3C7D2BD15897  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 10:01:11]
721*2^1245233-1 is not prime.  Res64: B1308C279800F670  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 10:01:13]
741*2^1245233-1 is not prime.  Res64: 1C5DFD4C12D5E5BD  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 10:03:05]
775*2^1245233-1 is not prime.  Res64: 664C7F3FF3529B96  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 10:03:06]
787*2^1245233-1 is not prime.  Res64: 7FA393693228E782  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 10:18:58]
879*2^1245233-1 is not prime.  Res64: 2BB82D72C4F7EC61  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 10:18:59]
957*2^1245233-1 is not prime.  Res64: 1B338AB83651F5DE  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 10:20:36]
981*2^1245233-1 is not prime.  Res64: A9D867DE38BAB5B1  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 10:20:37]
681*2^1245234-1 is not prime.  Res64: A00E8C619EC4FD62  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 10:36:29]
765*2^1245234-1 is not prime.  Res64: 65A3D38F101DAE4F  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 10:36:30]
797*2^1245234-1 is not prime.  Res64: 2A0844F38545D4E2  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 10:38:07]
833*2^1245234-1 is not prime.  Res64: E0D05ED6ED965311  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 10:38:08]
837*2^1245234-1 is not prime.  Res64: 78987E6A645168EC  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 10:54:00]
631*2^1245235-1 is not prime.  Res64: CB2FA6C8AA0BBB5A  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 10:54:00]
633*2^1245235-1 is not prime.  Res64: 2EEECA3E370323F1  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 10:55:37]
675*2^1245235-1 is not prime.  Res64: 13D7E4601C12F715  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 10:55:38]
705*2^1245235-1 is not prime.  Res64: 5EEB01A2E03738ED  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 11:11:30]
759*2^1245235-1 is not prime.  Res64: C342920A20CF8426  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 11:11:31]
859*2^1245235-1 is not prime.  Res64: D2634F0B44C11482  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 11:13:07]
875*2^1245236-1 is not prime.  Res64: C503985941DCE3B7  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 11:13:07]
903*2^1245236-1 is not prime.  Res64: F570D3F499621378  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 11:29:04]
963*2^1245236-1 is not prime.  Res64: 1688775FB2B080F3  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 11:29:04]
607*2^1245237-1 is not prime.  Res64: A166DD1D97F8CB7A  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 11:30:37]
625*2^1245237-1 is not prime.  Res64: 5F6398F7E5B66ED7  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 11:30:37]
681*2^1245237-1 is not prime.  Res64: BB13F950E4CA6FC4  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 11:46:33]
685*2^1245237-1 is not prime.  Res64: 178221CB3A4E2207  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 11:46:34]
709*2^1245237-1 is not prime.  Res64: 08AF26A1F89CA532  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 11:48:06]
727*2^1245237-1 is not prime.  Res64: D74ACD0A5EC2C545  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 11:48:07]
735*2^1245237-1 is not prime.  Res64: 0BCA57B88DD29872  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 12:04:11]
741*2^1245237-1 is not prime.  Res64: D2FF987CCDCB6CA5  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 12:04:12]
805*2^1245237-1 is not prime.  Res64: 71BFE96048BB527A  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 12:05:44]
871*2^1245237-1 is not prime.  Res64: CB28F9875E7834FA  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 12:05:45]
885*2^1245237-1 is not prime.  Res64: 6F55C1529FA2EE74  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 12:22:44]
915*2^1245237-1 is not prime.  Res64: 16C970FE4F945E8D  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 12:22:44]
955*2^1245237-1 is not prime.  Res64: D44CCF92DC80A647  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 12:24:22]
975*2^1245237-1 is not prime.  Res64: 454DFFE0C7E00DB4  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 12:24:23]
617*2^1245238-1 is not prime.  Res64: 2B1B04D4BABAEA04  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 12:42:42]
723*2^1245238-1 is not prime.  Res64: BA474F0C93AB8D40  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 12:42:42]
765*2^1245238-1 is not prime.  Res64: 54CB83A1A7233D86  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 12:43:15]
801*2^1245238-1 is not prime.  Res64: E407C822B1AA3640  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 12:43:15]
861*2^1245238-1 is not prime.  Res64: 69A9EA72C8287757  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 13:00:56]
891*2^1245238-1 is not prime.  Res64: FA33F64D6A43C43E  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 13:00:56]
945*2^1245238-1 is not prime.  Res64: 74A405B040F428B5  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 13:01:27]
643*2^1245239-1 is not prime.  Res64: B577618B9E474995  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 13:01:27]
645*2^1245239-1 is not prime.  Res64: D00C06BDFD5C2F16  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 13:18:41]
753*2^1245239-1 is not prime.  Res64: 3E7B9359FA405234  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 13:18:42]
825*2^1245239-1 is not prime.  Res64: 2CFE1D65F4D7E42C  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 13:19:07]
855*2^1245239-1 is not prime.  Res64: 159E35CDDBC1D972  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 13:19:07]
949*2^1245239-1 is not prime.  Res64: A3E50576FB711FCE  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 13:36:46]
689*2^1245240-1 is not prime.  Res64: 05084A3D1CF6853F  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 13:36:46]
707*2^1245240-1 is not prime.  Res64: 877759ACAB4CD3EE  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 13:37:10]
999*2^1245239-1 is not prime.  Res64: 214F4849A089F27E  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 13:37:10]
623*2^1245240-1 is not prime.  Res64: 01585E767D6C8FE2  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 13:54:26]
767*2^1245240-1 is not prime.  Res64: E8C7D5F1D9796D3B  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 13:54:26]
909*2^1245240-1 is not prime.  Res64: ED415F18DD810470  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 13:54:49]
945*2^1245240-1 is not prime.  Res64: CF08FFC76B36E2DE  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 13:54:49]
609*2^1245241-1 is not prime.  Res64: 19860AFB65624EF7  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 14:12:06]
681*2^1245241-1 is not prime.  Res64: AFE5B84C5DA46BE8  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 14:12:07]
741*2^1245241-1 is not prime.  Res64: 0B3D68A9AE8846EA  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 14:12:28]
775*2^1245241-1 is not prime.  Res64: 0D42B11BB324D755  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 14:12:28]
805*2^1245241-1 is not prime.  Res64: ED88FF36B1B4D8D2  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 14:30:07]
633*2^1245242-1 is not prime.  Res64: 2C70E325022B17AA  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 14:30:07]
713*2^1245242-1 is not prime.  Res64: 96E1D852615AE7E1  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 14:30:38]
975*2^1245241-1 is not prime.  Res64: E2EB0E1EC42151AC  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 14:30:38]
999*2^1245241-1 is not prime.  Res64: 2601342F051A1CC1  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 14:47:59]
741*2^1245242-1 is not prime.  Res64: 80664427C76335DD  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 14:47:59]
885*2^1245242-1 is not prime.  Res64: 7042B3AB97BF07A5  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 14:48:28]
699*2^1245243-1 is not prime.  Res64: 36FAE6544CD5387E  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 14:48:28]
735*2^1245243-1 is not prime.  Res64: 040B0F404354C19F  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 15:05:50]
895*2^1245243-1 is not prime.  Res64: FF5F115C1C4B37F3  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 15:05:51]
919*2^1245243-1 is not prime.  Res64: F941B72CEDAC671A  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 15:06:18]
955*2^1245243-1 is not prime.  Res64: 5C5C00D97505E2C8  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 15:06:19]
843*2^1245244-1 is not prime.  Res64: 53AFEAA52A969FB1  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 15:24:01]
897*2^1245244-1 is not prime.  Res64: 5772FE577CB2F44D  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 15:24:01]
965*2^1245244-1 is not prime.  Res64: 11937B05BB8E3342  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 15:24:25]
989*2^1245244-1 is not prime.  Res64: 29223C5C491684A7  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 15:24:26]
787*2^1245245-1 is not prime.  Res64: 6B15F5B779564C6C  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 15:42:07]
795*2^1245245-1 is not prime.  Res64: 4288E596C9CDD655  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 15:42:07]
949*2^1245245-1 is not prime.  Res64: 5CF0AB96CF25BF50  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 15:42:29]
979*2^1245245-1 is not prime.  Res64: AF915BB6CE7C116B  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 15:42:30]
647*2^1245246-1 is not prime.  Res64: 87E497704CAF75C8  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 16:00:16]
693*2^1245246-1 is not prime.  Res64: BF08BE273CB39110  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 16:00:16]
707*2^1245246-1 is not prime.  Res64: 01EF4419CF61E34A  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 16:00:34]
713*2^1245246-1 is not prime.  Res64: 2022738D13F78DE3  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 16:00:35]
725*2^1245246-1 is not prime.  Res64: 6FE5641CBE01B88F  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 16:18:06]
795*2^1245246-1 is not prime.  Res64: E51E7D9DA298369A  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 16:18:06]
881*2^1245246-1 is not prime.  Res64: EFAD5187259805F1  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 16:18:23]
621*2^1245247-1 is not prime.  Res64: 0F5DC7D2905D4CF9  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 16:18:23]
681*2^1245247-1 is not prime.  Res64: 6E7B24598456E519  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 16:35:58]
841*2^1245247-1 is not prime.  Res64: FE9A984FF32966F9  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 16:35:59]
891*2^1245247-1 is not prime.  Res64: 7337E83928007FE0  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 16:36:11]
689*2^1245248-1 is not prime.  Res64: B5188F25D0DF9EDC  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 16:36:11]
767*2^1245248-1 is not prime.  Res64: 3C2A643B7A225A6E  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 16:53:47]
773*2^1245248-1 is not prime.  Res64: ADE7D194D70242D1  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 16:53:47]
797*2^1245248-1 is not prime.  Res64: 0216717B7A7633CE  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 16:53:58]
833*2^1245248-1 is not prime.  Res64: 8447FF740505FBAD  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 16:53:59]
909*2^1245248-1 is not prime.  Res64: 67AB09CCF74481B1  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 17:11:35]
675*2^1245249-1 is not prime.  Res64: 8920B80EE9E8A82C  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 17:11:36]
847*2^1245249-1 is not prime.  Res64: 1875EE341A627038  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 17:11:45]
867*2^1245249-1 is not prime.  Res64: 8A1BF6622FB8FFA7  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 17:11:46]
891*2^1245249-1 is not prime.  Res64: 9C0E1A6C3BAA22EE  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 17:29:27]
919*2^1245249-1 is not prime.  Res64: 6807AE004886A885  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 17:29:28]
663*2^1245250-1 is not prime.  Res64: 8BD4909A94ADDE31  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 17:29:34]
677*2^1245250-1 is not prime.  Res64: 2E1DD37AC7BBCCB2  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 17:29:35]
741*2^1245250-1 is not prime.  Res64: 57645EA55DCB5714  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 17:47:16]
813*2^1245250-1 is not prime.  Res64: 943E00A7B67A8963  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 17:47:16]
915*2^1245250-1 is not prime.  Res64: 602B91EF6B1F3A2B  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 17:47:22]
941*2^1245250-1 is not prime.  Res64: F4A47BD23CC57E21  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 17:47:22]
951*2^1245250-1 is not prime.  Res64: 8B972AB4A5BCC361  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 18:05:03]
669*2^1245251-1 is not prime.  Res64: FD14668F557CA962  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 18:05:04]
841*2^1245251-1 is not prime.  Res64: 3D8196F901FB4E59  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 18:05:11]
885*2^1245251-1 is not prime.  Res64: 4CB7593022FD6FCD  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 18:05:11]
973*2^1245251-1 is not prime.  Res64: 3FD59803CC1F4400  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 18:22:55]
991*2^1245251-1 is not prime.  Res64: 64810B0AAFC5E05A  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 18:22:56]
609*2^1245252-1 is not prime.  Res64: 1C665C81081F3568  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 18:22:59]
725*2^1245252-1 is not prime.  Res64: DF48C15C6683D596  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 18:22:59]
749*2^1245252-1 is not prime.  Res64: 57440B2F08E6B8F1  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 18:40:42]
825*2^1245252-1 is not prime.  Res64: 06AFB223F368CB07  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 18:40:42]
875*2^1245252-1 is not prime.  Res64: 8D705273CB67C081  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 18:40:43]
945*2^1245252-1 is not prime.  Res64: CCEE168BACC0C1B8  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 18:40:43]
965*2^1245252-1 is not prime.  Res64: 039D61604D8CD8E1  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 18:58:24]
919*2^1245253-1 is not prime.  Res64: 3C24767327C51C2C  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 18:58:24]
729*2^1245253-1 is not prime.  Res64: BA825A0FD4A4B63C  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 18:58:24]
617*2^1245254-1 is not prime.  Res64: 71CF22FB3CD896BF  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 18:58:24]
757*2^1245253-1 is not prime.  Res64: 0EE72D06845993B2  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 19:16:06]
885*2^1245254-1 is not prime.  Res64: B7D337A0BD7EBDF4  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 19:16:06]
707*2^1245254-1 is not prime.  Res64: 76EA4741FD44CD00  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 19:16:07]
613*2^1245255-1 is not prime.  Res64: 848AC2CCA9D59748  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 19:16:07]
785*2^1245254-1 is not prime.  Res64: 3AC709ABB3CDF367  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 19:33:51]
865*2^1245255-1 is not prime.  Res64: 3509755752B01729  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 19:33:51]
961*2^1245255-1 is not prime.  Res64: F5FD08FEA59E84D1  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 19:33:51]
751*2^1245255-1 is not prime.  Res64: BC0073035A9501CC  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 19:33:51]
831*2^1245255-1 is not prime.  Res64: 2EF0AF73572929D0  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 19:51:33]
985*2^1245255-1 is not prime.  Res64: 8EDDCA091751FA54  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 19:51:33]
693*2^1245256-1 is not prime.  Res64: 61F0EF70D16E5D9E  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 19:51:33]
839*2^1245256-1 is not prime.  Res64: 0CCAFE98593B1304  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 19:51:34]
875*2^1245256-1 is not prime.  Res64: 187A4BB1A5150834  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 20:09:28]
615*2^1245257-1 is not prime.  Res64: 7F2173568CB9CF69  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 20:09:29]
645*2^1245257-1 is not prime.  Res64: AFD313477FCE4E37  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 20:10:24]
975*2^1245256-1 is not prime.  Res64: 0ED7ACA39F1A3F20  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 20:10:25]
999*2^1245256-1 is not prime.  Res64: ADABCC4EA7D90DBF  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 20:28:55]
669*2^1245257-1 is not prime.  Res64: 8E98A32CF4254438  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 20:28:56]
685*2^1245257-1 is not prime.  Res64: 5FBCCF415E8A31A6  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 20:29:51]
691*2^1245257-1 is not prime.  Res64: 3265313325C02107  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 20:29:51]
697*2^1245257-1 is not prime.  Res64: E653DD5F7868941C  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 20:48:02]
711*2^1245257-1 is not prime.  Res64: A4382ABC46A33D9C  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 20:48:02]
865*2^1245257-1 is not prime.  Res64: 381FD3BFC7C93494  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 20:48:49]
915*2^1245257-1 is not prime.  Res64: 721AAFCB8F757136  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 20:48:50]
981*2^1245257-1 is not prime.  Res64: 551FCF0ABA93FD76  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 21:07:03]
985*2^1245257-1 is not prime.  Res64: BF004A4280099B4E  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 21:07:04]
683*2^1245258-1 is not prime.  Res64: 83EBE30EFDD2F5D3  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 21:07:53]
711*2^1245258-1 is not prime.  Res64: 8EE10C04E6AD7160  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 21:07:53]
725*2^1245258-1 is not prime.  Res64: D12CB3ADF21A9F43  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 21:25:23]
777*2^1245258-1 is not prime.  Res64: FE9DCD5521207D3C  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 21:25:23]
893*2^1245258-1 is not prime.  Res64: F846CF62FA7AFC1B  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 21:26:04]
905*2^1245258-1 is not prime.  Res64: 962435FDB6A82386  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 21:26:05]
915*2^1245258-1 is not prime.  Res64: D4266D12E34E92E8  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 21:43:39]
933*2^1245258-1 is not prime.  Res64: 3ADFEAE54379C1B2  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 21:43:40]
971*2^1245258-1 is not prime.  Res64: AAAC3CA1CD62CF10  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 21:44:20]
723*2^1245259-1 is not prime.  Res64: F3F4DB99EFB56AB0  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 21:44:21]
733*2^1245259-1 is not prime.  Res64: 3956B04A522F32B3  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 22:01:56]
745*2^1245259-1 is not prime.  Res64: 426E4052B4B0B636  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 22:01:57]
793*2^1245259-1 is not prime.  Res64: CAAAC9CBB122DEF6  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 22:02:37]
883*2^1245259-1 is not prime.  Res64: 61AC320FDD3A326B  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 22:02:37]
909*2^1245259-1 is not prime.  Res64: 9E881AD71246694F  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 22:20:04]
961*2^1245259-1 is not prime.  Res64: FE9036EAA6156CC8  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 22:20:05]
609*2^1245260-1 is not prime.  Res64: 6FBF2091E729B0AA  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 22:20:27]
659*2^1245260-1 is not prime.  Res64: E7572F52E07FA38C  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 22:20:28]
663*2^1245260-1 is not prime.  Res64: B0C2A1700058DEDC  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 22:37:33]
833*2^1245260-1 is not prime.  Res64: 5FAF76185E03C05A  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 22:37:33]
875*2^1245260-1 is not prime.  Res64: 6B7A59BC0F3EA664  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 22:38:43]
999*2^1245260-1 is not prime.  Res64: 62747608E1569DDA  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 22:38:43]
789*2^1245261-1 is not prime.  Res64: 95A14DADAC25C7CA  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 22:55:00]
817*2^1245261-1 is not prime.  Res64: D705C791B2163E7D  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 22:55:01]
871*2^1245261-1 is not prime.  Res64: 664C6BC728F9D9F3  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 22:56:09]
635*2^1245262-1 is not prime.  Res64: B75D00D6406999E4  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 22:56:10]
825*2^1245262-1 is not prime.  Res64: 9AA4077C496011CE  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 23:12:28]
827*2^1245262-1 is not prime.  Res64: CB12A8D835B292CC  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 23:12:28]
855*2^1245262-1 is not prime.  Res64: 12973537E64D55E9  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 23:13:35]
957*2^1245262-1 is not prime.  Res64: 9BBF17BD7C1AC9DE  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 23:13:36]
603*2^1245263-1 is not prime.  Res64: 8413AB52A780B877  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 23:29:57]
669*2^1245263-1 is not prime.  Res64: 0D4112CE54EAABAC  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 23:29:58]
705*2^1245263-1 is not prime.  Res64: EFA647EEAADC9A1A  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 23:31:51]
775*2^1245263-1 is not prime.  Res64: D58000EEC8389EAD  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 23:31:52]
993*2^1245263-1 is not prime.  Res64: F5862AF52E57DC13  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 23:47:28]
675*2^1245264-1 is not prime.  Res64: 015E79595128F5E5  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 23:47:28]
689*2^1245264-1 is not prime.  Res64: 8E723C7ABBE8CADE  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 23:49:18]
723*2^1245264-1 is not prime.  Res64: 49C84253710B2AFC  Time : 0.0 sec.
user=mdettweiler
[2013-04-25 23:49:18]
759*2^1245264-1 is not prime.  Res64: 5369246109656D9E  Time : 0.0 sec.