user=mdettweiler
[2013-04-28 00:08:18]
939*2^1245376-1 is not prime.  Res64: D556EBDC179B6E57  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 00:08:19]
969*2^1245376-1 is not prime.  Res64: A4C89E1AE4500296  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 00:08:58]
975*2^1245376-1 is not prime.  Res64: 41592FBF98426646  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 00:08:58]
619*2^1245377-1 is not prime.  Res64: 88568F38DDE65C73  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 00:25:59]
649*2^1245377-1 is not prime.  Res64: CDE17CFA58296BA8  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 00:25:59]
685*2^1245377-1 is not prime.  Res64: 7E7EB3AFA7C96526  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 00:26:37]
697*2^1245377-1 is not prime.  Res64: 4E8F2BB9AC4A6C78  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 00:26:37]
621*2^1245378-1 is not prime.  Res64: 8FFA2BFB49BCEE63  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 00:43:39]
633*2^1245378-1 is not prime.  Res64: 5974DCB56EAB2EFD  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 00:43:40]
647*2^1245378-1 is not prime.  Res64: AB8080762C8ECAE2  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 00:44:17]
657*2^1245378-1 is not prime.  Res64: EC08327B0B08709B  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 00:44:17]
663*2^1245378-1 is not prime.  Res64: 3EB513DE2A0DC00F  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 01:01:20]
711*2^1245378-1 is not prime.  Res64: 1A5C4AC82C4B3344  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 01:01:21]
777*2^1245378-1 is not prime.  Res64: 286CCE8348F6631E  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 01:01:56]
821*2^1245378-1 is not prime.  Res64: 70A0D529695E97BD  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 01:01:57]
893*2^1245378-1 is not prime.  Res64: 9B9CF83B0848F828  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 01:19:16]
923*2^1245378-1 is not prime.  Res64: C40E47B211ECC260  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 01:19:16]
941*2^1245378-1 is not prime.  Res64: EB633CBB1E196412  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 01:19:35]
663*2^1245379-1 is not prime.  Res64: 9AE63859D54F6FFE  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 01:19:36]
675*2^1245379-1 is not prime.  Res64: 536D1B26C89E55CA  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 01:36:58]
765*2^1245379-1 is not prime.  Res64: E2C2F800B852CCEB  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 01:36:58]
801*2^1245379-1 is not prime.  Res64: 4992F97388867676  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 01:37:16]
895*2^1245379-1 is not prime.  Res64: C261B8956384C574  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 01:37:16]
913*2^1245379-1 is not prime.  Res64: 4BDF3B4A53675C5A  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 01:54:36]
603*2^1245380-1 is not prime.  Res64: AFD407BA72F3EBF8  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 01:54:37]
633*2^1245380-1 is not prime.  Res64: C8F3C4EC28294782  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 01:54:55]
689*2^1245380-1 is not prime.  Res64: 325592F0B053147C  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 01:54:55]
717*2^1245380-1 is not prime.  Res64: 797F056DF3908C3E  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 02:12:16]
927*2^1245380-1 is not prime.  Res64: 894BA58AEE904E0C  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 02:12:16]
945*2^1245380-1 is not prime.  Res64: 71E6374FE00E7F0F  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 02:13:24]
999*2^1245380-1 is not prime.  Res64: FDED58ED84E7B594  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 02:13:24]
709*2^1245381-1 is not prime.  Res64: A409DA9A76E405DE  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 02:29:57]
819*2^1245381-1 is not prime.  Res64: 810C12E2E8FB60B4  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 02:29:57]
955*2^1245381-1 is not prime.  Res64: AA8FF970A50568BC  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 02:31:05]
975*2^1245381-1 is not prime.  Res64: 1D31F799913A18D8  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 02:31:06]
665*2^1245382-1 is not prime.  Res64: B54CD9A098431D71  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 02:47:38]
717*2^1245382-1 is not prime.  Res64: B08D36A23CB216F4  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 02:48:45]
815*2^1245382-1 is not prime.  Res64: 5485196401D50BD6  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 02:48:46]
891*2^1245382-1 is not prime.  Res64: 5BE8B320DBF486BE  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 02:56:49]
777*2^1245382-1 is not prime.  Res64: 9B0E7FBE5E604516  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 03:06:25]
951*2^1245382-1 is not prime.  Res64: E755F66493FCE2F2  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 03:06:26]
649*2^1245383-1 is not prime.  Res64: 17625902A340A3BD  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 03:14:33]
685*2^1245383-1 is not prime.  Res64: 6115E05C890F972B  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 03:14:34]
763*2^1245383-1 is not prime.  Res64: 307C6F2ABA7289BC  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 03:24:06]
783*2^1245383-1 is not prime.  Res64: 2BEAC1C8CE7C7C68  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 03:24:06]
949*2^1245383-1 is not prime.  Res64: 6654B90894C8F28C  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 03:32:17]
963*2^1245383-1 is not prime.  Res64: 02DC3B1411943881  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 03:32:19]
615*2^1245384-1 is not prime.  Res64: 25CD7D1B708EF7A3  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 03:41:46]
623*2^1245384-1 is not prime.  Res64: EA4ED7CD1BD6B0EF  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 03:41:46]
923*2^1245384-1 is not prime.  Res64: 0608A3B9D100FF3E  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 03:50:22]
741*2^1245385-1 is not prime.  Res64: BAFF87FA5B4B70B8  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 03:50:22]
811*2^1245385-1 is not prime.  Res64: 5A819E519065FD29  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 03:59:25]
861*2^1245385-1 is not prime.  Res64: 198DAAFBB830A265  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 03:59:26]
871*2^1245385-1 is not prime.  Res64: 564A6BB89B052CEE  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 04:08:04]
889*2^1245385-1 is not prime.  Res64: A44A910C82985773  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 04:08:05]
617*2^1245386-1 is not prime.  Res64: DE28F1EAA9164274  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 04:17:15]
633*2^1245386-1 is not prime.  Res64: 293F998FA62A1D88  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 04:17:15]
861*2^1245386-1 is not prime.  Res64: 8CEAA716D918597D  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 04:26:04]
887*2^1245386-1 is not prime.  Res64: 2073D2644A3FC2E6  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 04:26:05]
709*2^1245387-1 is not prime.  Res64: 82EADE48239EA1EC  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 04:35:10]
735*2^1245387-1 is not prime.  Res64: 674D4142B9B4689D  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 04:35:11]
751*2^1245387-1 is not prime.  Res64: 9A1B0831DA54310A  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 04:44:08]
843*2^1245387-1 is not prime.  Res64: 3F17DCC332974394  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 04:44:09]
895*2^1245387-1 is not prime.  Res64: 4E3A7AC36B48A78E  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 04:53:07]
617*2^1245388-1 is not prime.  Res64: 0C0C76C0C001D216  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 04:53:07]
843*2^1245388-1 is not prime.  Res64: 4E5730041E42DECB  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 05:02:04]
885*2^1245388-1 is not prime.  Res64: E177B1F6A0F7C30E  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 05:02:05]
959*2^1245388-1 is not prime.  Res64: 129E6E525229EA06  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 05:11:02]
987*2^1245388-1 is not prime.  Res64: C39AD944C9F58112  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 05:11:03]
615*2^1245389-1 is not prime.  Res64: 81E96BBD7D643F2B  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 05:20:00]
621*2^1245389-1 is not prime.  Res64: 5F66219FDAC702BD  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 05:20:01]
711*2^1245389-1 is not prime.  Res64: 305A3973FA3C23DF  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 05:29:00]
741*2^1245389-1 is not prime.  Res64: CB866D9605F8865F  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 05:29:01]
771*2^1245389-1 is not prime.  Res64: 42DDB5EAAC2B041A  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 05:37:57]
825*2^1245389-1 is not prime.  Res64: 6C9910FA9C507D7C  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 05:37:57]
831*2^1245389-1 is not prime.  Res64: 96929B845359F2E2  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 05:46:49]
837*2^1245389-1 is not prime.  Res64: B659EB420288473C  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 05:46:49]
867*2^1245389-1 is not prime.  Res64: FC4DD661068D076E  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 05:55:36]
611*2^1245390-1 is not prime.  Res64: 44ED2DBD4A5E0137  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 05:55:36]
723*2^1245390-1 is not prime.  Res64: CE4A6BAA12534F38  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 06:04:27]
725*2^1245390-1 is not prime.  Res64: F39B2BACFEC428BB  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 06:04:29]
755*2^1245390-1 is not prime.  Res64: 2075EF76EF6154FA  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 06:13:13]
801*2^1245390-1 is not prime.  Res64: ED830573CAF4FAAD  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 06:13:14]
965*2^1245390-1 is not prime.  Res64: 525019072BFCFE56  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 06:22:09]
615*2^1245391-1 is not prime.  Res64: B17A2BD898D1964D  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 06:22:09]
619*2^1245391-1 is not prime.  Res64: 97E37760588DAC78  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 06:30:51]
675*2^1245391-1 is not prime.  Res64: 2953CBEE4A9003D7  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 06:30:51]
681*2^1245391-1 is not prime.  Res64: 25BAB2D20BD42B0E  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 06:39:48]
843*2^1245391-1 is not prime.  Res64: B6BB05FB33E781F3  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 06:39:48]
873*2^1245391-1 is not prime.  Res64: 572A0F75D429EF5A  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 06:48:29]
925*2^1245391-1 is not prime.  Res64: C18EFD5CE5EE0D9D  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 06:48:29]
961*2^1245391-1 is not prime.  Res64: 124FEF50F5F2684A  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 06:57:26]
969*2^1245391-1 is not prime.  Res64: 96B43CE10DBD5BB9  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 06:57:26]
609*2^1245392-1 is not prime.  Res64: 30A8C56B3A1B70DE  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 07:06:08]
617*2^1245392-1 is not prime.  Res64: 994FE9E3EADCD994  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 07:06:08]
689*2^1245392-1 is not prime.  Res64: E13F6EFF01C1F5C4  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 07:15:05]
743*2^1245392-1 is not prime.  Res64: FBFFEB102CD64AF5  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 07:15:05]
755*2^1245392-1 is not prime.  Res64: 9D6DF2551E94DF53  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 07:23:46]
855*2^1245392-1 is not prime.  Res64: 9F746909196EAD70  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 07:23:46]
897*2^1245392-1 is not prime.  Res64: 2083809A2A4BF1BB  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 07:33:35]
957*2^1245392-1 is not prime.  Res64: 4BE3626ADD679D41  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 07:33:35]
995*2^1245392-1 is not prime.  Res64: 3994B25BF4E8E5EE  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 07:41:23]
727*2^1245393-1 is not prime.  Res64: 0D69729F1BD44DBA  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 07:41:23]
741*2^1245393-1 is not prime.  Res64: 8764454A62B94F3E  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 07:51:12]
937*2^1245393-1 is not prime.  Res64: FA59DF575C8E6813  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 07:51:13]
635*2^1245394-1 is not prime.  Res64: D4EBE01210731294  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 07:59:00]
861*2^1245394-1 is not prime.  Res64: DF31489FA63368C3  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 07:59:01]
881*2^1245394-1 is not prime.  Res64: A1E4228664B21D44  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 08:08:50]
951*2^1245394-1 is not prime.  Res64: 9E20D009183B3AEE  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 08:08:50]
699*2^1245395-1 is not prime.  Res64: DE1F240E4A0EAD94  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 08:16:38]
705*2^1245395-1 is not prime.  Res64: 4B029E32CEFFA9D0  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 08:16:39]
753*2^1245395-1 is not prime.  Res64: 08DDD626F7EBEA59  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 08:26:28]
759*2^1245395-1 is not prime.  Res64: 6D2B860773F9BECD  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 08:26:30]
781*2^1245395-1 is not prime.  Res64: 470B1FF52CAE8A91  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 08:34:16]
913*2^1245395-1 is not prime.  Res64: C622756B8F03D6A4  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 08:34:17]
633*2^1245396-1 is not prime.  Res64: 85F0514B87D04D76  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 08:44:11]
693*2^1245396-1 is not prime.  Res64: 48F257B21D5B3B14  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 08:44:11]
707*2^1245396-1 is not prime.  Res64: 6149CDE54BE23C82  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 08:51:54]
839*2^1245396-1 is not prime.  Res64: D45EAFC6ADB3E416  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 08:51:54]
899*2^1245396-1 is not prime.  Res64: 2013227EA153D665  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 09:01:49]
987*2^1245396-1 is not prime.  Res64: DD65B1CE979B6A25  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 09:01:49]
729*2^1245397-1 is not prime.  Res64: 60377345C9BB2745  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 09:09:32]
759*2^1245397-1 is not prime.  Res64: A1BC932FC1F86EFA  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 09:09:32]
771*2^1245397-1 is not prime.  Res64: 13A63A2203A54C05  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 09:19:28]
801*2^1245397-1 is not prime.  Res64: 1C2A9B2606E70BB4  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 09:19:28]
847*2^1245397-1 is not prime.  Res64: 17F66C3D4C8F047C  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 09:27:13]
931*2^1245397-1 is not prime.  Res64: EFB4D28B3506C432  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 09:27:13]
979*2^1245397-1 is not prime.  Res64: B5D6EA5D2561AD22  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 09:37:05]
623*2^1245398-1 is not prime.  Res64: 6CC019161D691B9B  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 09:37:05]
651*2^1245398-1 is not prime.  Res64: 04396F8ADA046033  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 09:44:51]
657*2^1245398-1 is not prime.  Res64: C2E5CA8E7295806A  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 09:44:51]
857*2^1245398-1 is not prime.  Res64: E958B5D7D89F0928  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 09:54:43]
663*2^1245399-1 is not prime.  Res64: 849EEDDA2C7F7649  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 09:54:43]
721*2^1245399-1 is not prime.  Res64: 65DB36999EAF0205  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 10:02:30]
735*2^1245399-1 is not prime.  Res64: 3F9B225E33534905  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 10:02:31]
853*2^1245399-1 is not prime.  Res64: 58B01CC85CFB98EF  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 10:12:20]
961*2^1245399-1 is not prime.  Res64: 2F33F7BBF4D96A77  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 10:12:20]
615*2^1245400-1 is not prime.  Res64: D3784CEE4DDC09D1  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 10:20:34]
623*2^1245400-1 is not prime.  Res64: 3B726AD98F7F5B0E  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 10:20:35]
653*2^1245400-1 is not prime.  Res64: D2DF20AE3ECE998C  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 10:29:57]
845*2^1245400-1 is not prime.  Res64: 210376D573CD3951  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 10:29:57]
933*2^1245400-1 is not prime.  Res64: AE2DBB34517A47A0  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 10:38:14]
649*2^1245401-1 is not prime.  Res64: 0367103968168F56  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 10:38:14]
717*2^1245401-1 is not prime.  Res64: ED7AEA3CE8DFF93F  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 10:47:35]
745*2^1245401-1 is not prime.  Res64: C4CF34AC869CE8B2  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 10:47:35]
795*2^1245401-1 is not prime.  Res64: 0E72DECDC99F466C  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 10:55:51]
829*2^1245401-1 is not prime.  Res64: BC8A60C5BBB53B7B  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 10:55:52]
909*2^1245401-1 is not prime.  Res64: 5AC2FAA7390A2DD4  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 11:05:12]
711*2^1245402-1 is not prime.  Res64: C784F8175FB81C23  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 11:05:13]
717*2^1245402-1 is not prime.  Res64: A3B8DC6E0D7B2518  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 11:13:34]
741*2^1245402-1 is not prime.  Res64: B0992C87413D44C4  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 11:13:35]
807*2^1245402-1 is not prime.  Res64: FC304BF33AE4A231  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 11:23:05]
923*2^1245402-1 is not prime.  Res64: 0B0CD62114D0167E  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 11:23:06]
663*2^1245403-1 is not prime.  Res64: 24053BDDBA56044A  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 11:31:54]
693*2^1245403-1 is not prime.  Res64: FA3EBDFB63B1F160  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 11:31:54]
769*2^1245403-1 is not prime.  Res64: A4492DEF5FFDBBD6  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 11:41:05]
793*2^1245403-1 is not prime.  Res64: F57A7381886F6CE8  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 11:41:06]
819*2^1245403-1 is not prime.  Res64: F3CDD09926D66EF8  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 11:50:11]
835*2^1245403-1 is not prime.  Res64: 98A3172F16BE8EC3  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 11:50:12]
919*2^1245403-1 is not prime.  Res64: 377002B046E50355  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 11:59:43]
973*2^1245403-1 is not prime.  Res64: D7F10ED11B163D56  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 11:59:43]
683*2^1245404-1 is not prime.  Res64: DED0FAFF3359E57E  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 12:08:37]
767*2^1245404-1 is not prime.  Res64: 125D463CCE183A6E  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 12:08:38]
857*2^1245404-1 is not prime.  Res64: 1723581FD9134796  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 12:17:47]
873*2^1245404-1 is not prime.  Res64: 43ACC5452FC252D2  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 12:17:47]
945*2^1245404-1 is not prime.  Res64: 4E69D883E1657B86  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 12:26:42]
959*2^1245404-1 is not prime.  Res64: B6CD48FEEB3F21EB  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 12:26:43]
607*2^1245405-1 is not prime.  Res64: 9B0AFCF5F99591EB  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 12:35:43]
699*2^1245405-1 is not prime.  Res64: CA428C07F28DB305  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 12:35:43]
759*2^1245405-1 is not prime.  Res64: CD9FDB3080AFE284  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 12:44:58]
777*2^1245405-1 is not prime.  Res64: 98DFCF3869459D70  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 12:44:58]
877*2^1245405-1 is not prime.  Res64: 0595261FCBC46200  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 12:53:51]
889*2^1245405-1 is not prime.  Res64: 024E13FD9BB9203D  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 12:53:52]
891*2^1245405-1 is not prime.  Res64: D57652820B33F22B  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 13:03:56]
937*2^1245405-1 is not prime.  Res64: 1F72ABCF72F37AB5  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 13:03:57]
999*2^1245405-1 is not prime.  Res64: E1CB8556011157DD  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 13:11:48]
657*2^1245406-1 is not prime.  Res64: E5F72CFF036CEA89  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 13:11:48]
713*2^1245406-1 is not prime.  Res64: A28CFFC9CCD498A5  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 13:21:55]
723*2^1245406-1 is not prime.  Res64: 1F9B98F9CED5E743  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 13:21:56]
867*2^1245406-1 is not prime.  Res64: 38D9C522E0A984CC  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 13:30:34]
945*2^1245406-1 is not prime.  Res64: 67FB96F40FDD24B5  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 13:30:34]
1001*2^1245406-1 is not prime.  Res64: 9BE3E93069400361  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 13:39:48]
663*2^1245407-1 is not prime.  Res64: FFAB906DECB3D4CF  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 13:39:49]
741*2^1245407-1 is not prime.  Res64: 63005B534907F328  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 13:48:24]
843*2^1245407-1 is not prime.  Res64: D0B32D9BED94B1E5  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 13:48:24]
885*2^1245407-1 is not prime.  Res64: E3D034BCEC609D68  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 13:57:38]
909*2^1245407-1 is not prime.  Res64: E0E4601CB982758F  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 13:57:38]
949*2^1245407-1 is not prime.  Res64: 6535404EFB6F41D4  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 14:06:17]
635*2^1245408-1 is not prime.  Res64: 4720E67B3D05CF0F  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 14:06:17]
639*2^1245408-1 is not prime.  Res64: 5281605B16EE631E  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 14:15:33]
707*2^1245408-1 is not prime.  Res64: 875E26BD856FB8D6  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 14:15:33]
887*2^1245408-1 is not prime.  Res64: 62270A3FED91367A  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 14:24:11]
959*2^1245408-1 is not prime.  Res64: 1BC863BCCAC5CD95  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 14:24:11]
687*2^1245409-1 is not prime.  Res64: 5A89DB6405E13B8C  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 14:33:27]
745*2^1245409-1 is not prime.  Res64: ECFE6D43B19822F5  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 14:33:27]
759*2^1245409-1 is not prime.  Res64: F9E44B08D37CF58E  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 14:42:00]
817*2^1245409-1 is not prime.  Res64: F203071A61E769C5  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 14:42:00]
855*2^1245409-1 is not prime.  Res64: 11C52F65E3C09753  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 14:51:09]
895*2^1245409-1 is not prime.  Res64: 751D3613C6709195  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 14:51:09]
939*2^1245409-1 is not prime.  Res64: E1161BA82F03BC08  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 14:59:50]
985*2^1245409-1 is not prime.  Res64: 555FDC5124670F99  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 14:59:50]
603*2^1245410-1 is not prime.  Res64: 5634B504FD62583D  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 15:09:01]
747*2^1245410-1 is not prime.  Res64: 3FE076FC328CCABF  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 15:09:03]
791*2^1245410-1 is not prime.  Res64: C2BEE94C42D0E524  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 15:17:30]
797*2^1245410-1 is not prime.  Res64: 8B97F5360EB7EB1A  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 15:17:31]
911*2^1245410-1 is not prime.  Res64: D5841940349943A2  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 15:27:33]
995*2^1245410-1 is not prime.  Res64: 5F6625949E30AA58  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 15:27:33]
679*2^1245411-1 is not prime.  Res64: FC60B36ECF0D0B8F  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 15:35:12]
705*2^1245411-1 is not prime.  Res64: 59CF224105CF30CD  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 15:35:12]
745*2^1245411-1 is not prime.  Res64: 248E520BF29A789E  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 15:46:04]
973*2^1245411-1 is not prime.  Res64: 9D0FA4360FD12447  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 15:46:05]
999*2^1245411-1 is not prime.  Res64: 191C314FDD4DDFD2  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 15:52:53]
687*2^1245412-1 is not prime.  Res64: 38A9C3F2DDCDE58D  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 15:52:53]
749*2^1245412-1 is not prime.  Res64: 5A029E3A836C8083  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 16:04:18]
819*2^1245412-1 is not prime.  Res64: 16F3A56F01019291  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 16:04:19]
825*2^1245412-1 is not prime.  Res64: D20860827F1EE868  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 16:11:49]
873*2^1245412-1 is not prime.  Res64: 0248355F9C10F85A  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 16:11:50]
965*2^1245412-1 is not prime.  Res64: 6541D3DAA81D4697  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 16:23:40]
615*2^1245413-1 is not prime.  Res64: C21ACBCB0258ABB1  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 16:23:40]
745*2^1245413-1 is not prime.  Res64: 12E94FEEF04D2D8C  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 16:30:33]
855*2^1245413-1 is not prime.  Res64: 019B6555DDB7A5AB  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 16:30:33]
915*2^1245413-1 is not prime.  Res64: AD5FBB355B17D875  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 16:41:37]
957*2^1245413-1 is not prime.  Res64: 9221BD1825C94142  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 16:41:37]
611*2^1245414-1 is not prime.  Res64: 982E0F13597784D4  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 16:48:16]
627*2^1245414-1 is not prime.  Res64: 2F2403830EEA7857  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 16:48:16]
737*2^1245414-1 is not prime.  Res64: 8B194131C8FD6E57  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 16:59:16]
783*2^1245414-1 is not prime.  Res64: A0B8630BE9DD6427  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 16:59:16]
807*2^1245414-1 is not prime.  Res64: E2A544CEDF69A079  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 17:05:54]
903*2^1245414-1 is not prime.  Res64: F968F91AF20EC2BF  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 17:05:55]
941*2^1245414-1 is not prime.  Res64: CF54C47884D99DF5  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 17:16:57]
971*2^1245414-1 is not prime.  Res64: 08E64D2A75CF474F  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 17:16:58]
679*2^1245415-1 is not prime.  Res64: 58F0254329BF94F2  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 17:20:25]
713*2^1245410-1 is not prime.  Res64: 53D60E72DE948F0F  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 17:20:25]
687*2^1245410-1 is not prime.  Res64: 03D78DDBD2577886  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 17:23:40]
775*2^1245415-1 is not prime.  Res64: 4FDDBC49EB7382CD  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 17:23:41]
855*2^1245415-1 is not prime.  Res64: 5C8F6A553F7B7FC2  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 17:34:36]
777*2^1245416-1 is not prime.  Res64: B53D2BE7B61809EC  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 17:34:36]
815*2^1245416-1 is not prime.  Res64: 81815DD79FC9C8B1  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 17:41:21]
855*2^1245416-1 is not prime.  Res64: D00C4C58A59F43A7  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 17:41:21]
875*2^1245416-1 is not prime.  Res64: C8952D3C1FA306FA  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 17:52:20]
879*2^1245416-1 is not prime.  Res64: 99690F8BA5D4E79A  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 17:52:20]
957*2^1245416-1 is not prime.  Res64: B3A88AFF489AC05B  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 17:59:17]
699*2^1245417-1 is not prime.  Res64: 5F1860CC123CCC35  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 17:59:17]
829*2^1245417-1 is not prime.  Res64: 4740953907F02F14  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 18:10:32]
861*2^1245417-1 is not prime.  Res64: CB5DED78697AF8B0  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 18:10:32]
979*2^1245417-1 is not prime.  Res64: CBB3B2E41157AD71  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 18:17:28]
713*2^1245418-1 is not prime.  Res64: 5D29A1AA6E9ADEA4  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 18:17:29]
731*2^1245418-1 is not prime.  Res64: 4EEB48F7AB08F679  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 18:28:58]
765*2^1245418-1 is not prime.  Res64: BE5DBF00DBD80D55  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 18:28:58]
971*2^1245418-1 is not prime.  Res64: 3B8C85CE47DBA3B6  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 18:35:51]
603*2^1245419-1 is not prime.  Res64: 7D6A40B60C502802  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 18:35:51]
619*2^1245419-1 is not prime.  Res64: EFEBD8B44D461A40  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 18:47:03]
733*2^1245419-1 is not prime.  Res64: 7228AEA74F564459  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 18:47:03]
841*2^1245419-1 is not prime.  Res64: 9794641A59528191  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 18:53:42]
943*2^1245419-1 is not prime.  Res64: A51C5515B987842D  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 18:53:43]
765*2^1245420-1 is not prime.  Res64: 87A82DED02D00A49  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 19:04:52]
809*2^1245420-1 is not prime.  Res64: 6C63E264AD4604F1  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 19:04:52]
839*2^1245420-1 is not prime.  Res64: E653067DF838C72E  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 19:11:28]
863*2^1245420-1 is not prime.  Res64: 61B0C0D94D28D9BC  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 19:11:29]
929*2^1245420-1 is not prime.  Res64: 9A86282EB4964F0B  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 19:22:46]
983*2^1245420-1 is not prime.  Res64: C44094BC2204A987  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 19:22:46]
625*2^1245421-1 is not prime.  Res64: 250A8AA92EDD2D5B  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 19:29:18]
645*2^1245421-1 is not prime.  Res64: CACD5E2FC9733550  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 19:29:19]
727*2^1245421-1 is not prime.  Res64: 6AB89784A602FA59  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 19:40:37]
745*2^1245421-1 is not prime.  Res64: 9CAC837D2C0B508B  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 19:40:37]
799*2^1245421-1 is not prime.  Res64: C7D15E5E2D62B193  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 19:47:07]
811*2^1245421-1 is not prime.  Res64: DBD959DD8AD75907  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 19:47:08]
855*2^1245421-1 is not prime.  Res64: 933504939121CA92  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 19:58:26]
895*2^1245421-1 is not prime.  Res64: 82FFD811C553C749  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 19:58:27]
945*2^1245421-1 is not prime.  Res64: 859D941CBEEF035B  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 20:04:57]
603*2^1245422-1 is not prime.  Res64: 258CCEFD7CB32684  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 20:04:58]
711*2^1245422-1 is not prime.  Res64: EAD0B543413D3857  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 20:16:12]
761*2^1245422-1 is not prime.  Res64: DFADAE9C60DB2961  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 20:16:12]
893*2^1245422-1 is not prime.  Res64: 5109C145DFED795E  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 20:22:46]
965*2^1245422-1 is not prime.  Res64: 4F7762484307471A  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 20:22:47]
977*2^1245422-1 is not prime.  Res64: 733F04E3430A76FE  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 20:34:02]
615*2^1245423-1 is not prime.  Res64: 2C4F2F51BD9F4DA9  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 20:34:02]
723*2^1245423-1 is not prime.  Res64: 8F9E1977A9A4959A  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 20:40:33]
763*2^1245423-1 is not prime.  Res64: B6A826D73149B500  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 20:40:33]
819*2^1245423-1 is not prime.  Res64: E377B9D92D27CEA9  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 20:51:54]
921*2^1245423-1 is not prime.  Res64: 7AD3D831A76638D6  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 20:51:54]
951*2^1245423-1 is not prime.  Res64: FAFC58E4F155A10D  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 20:58:27]
615*2^1245424-1 is not prime.  Res64: F5E8F60406DB662D  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 20:58:27]
623*2^1245424-1 is not prime.  Res64: D5AED1F9C8453007  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 21:09:50]
665*2^1245424-1 is not prime.  Res64: 4734770DE2E36C44  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 21:09:51]
693*2^1245424-1 is not prime.  Res64: FC74F8AA2910A7C5  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 21:16:23]
875*2^1245424-1 is not prime.  Res64: 3B7BDC1CCB2E1269  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 21:16:23]
923*2^1245424-1 is not prime.  Res64: 7D7EB450A05120D7  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 21:27:51]
927*2^1245424-1 is not prime.  Res64: 58F3A122DA27401F  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 21:27:52]
721*2^1245425-1 is not prime.  Res64: 0AA7A3EA6DFC5A02  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 21:34:18]
787*2^1245425-1 is not prime.  Res64: 44710E6CE3FB8A76  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 21:34:18]
795*2^1245425-1 is not prime.  Res64: 28A97B69C34C2D41  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 21:45:46]
683*2^1245426-1 is not prime.  Res64: 82A17D0B8FB94A32  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 21:45:47]
735*2^1245426-1 is not prime.  Res64: 8045BB4DC2FC3B49  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 21:52:08]
867*2^1245426-1 is not prime.  Res64: 104BB66CF9AAF19A  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 21:52:08]
891*2^1245426-1 is not prime.  Res64: 77A3654F8D36E3B9  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 22:03:36]
921*2^1245426-1 is not prime.  Res64: AFF7A9FF797F2CBE  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 22:03:37]
619*2^1245427-1 is not prime.  Res64: BDAA149B97F639F3  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 22:09:57]
633*2^1245427-1 is not prime.  Res64: 72FD4FD48AED3F7C  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 22:09:57]
645*2^1245427-1 is not prime.  Res64: A2F4851F09DCEAA8  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 22:21:35]
675*2^1245427-1 is not prime.  Res64: 1F447E082315366D  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 22:21:35]
703*2^1245427-1 is not prime.  Res64: C781E8867C19ED2F  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 22:27:43]
733*2^1245427-1 is not prime.  Res64: C1A5E4D232A3FFFC  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 22:27:43]
835*2^1245427-1 is not prime.  Res64: 16F05C3DD78827A6  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 22:39:23]
915*2^1245427-1 is not prime.  Res64: 6422C044696635EF  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 22:39:23]
919*2^1245427-1 is not prime.  Res64: B0336DD851D37DC7  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 22:46:19]
993*2^1245427-1 is not prime.  Res64: 6079394432D6662E  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 22:46:20]
845*2^1245428-1 is not prime.  Res64: 4F15C84625C34E52  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 22:57:10]
945*2^1245428-1 is not prime.  Res64: AF7DA8EF2D2F7C3F  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 22:57:10]
959*2^1245428-1 is not prime.  Res64: B06C4E2DE1134D10  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 23:04:05]
601*2^1245429-1 is not prime.  Res64: 43F6EB61AF405224  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 23:04:06]
711*2^1245429-1 is not prime.  Res64: ECED393A53019DF9  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 23:14:57]
735*2^1245429-1 is not prime.  Res64: 394A167DCD420784  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 23:14:58]
795*2^1245429-1 is not prime.  Res64: 1827B9854946B8B6  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 23:22:03]
847*2^1245429-1 is not prime.  Res64: B1E63E0DD5D9CA43  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 23:22:04]
895*2^1245429-1 is not prime.  Res64: 139BCCCB3E2E4D07  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 23:33:54]
945*2^1245429-1 is not prime.  Res64: 89D1EEFD4FE5F0A7  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 23:33:54]
997*2^1245429-1 is not prime.  Res64: BF87D2E612FEC512  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 23:39:52]
773*2^1245430-1 is not prime.  Res64: EFE80893BDD1A072  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 23:39:53]
923*2^1245430-1 is not prime.  Res64: 8793B2C88CB80431  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 23:51:42]
601*2^1245431-1 is not prime.  Res64: C89726647C6A1901  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 23:51:42]
685*2^1245431-1 is not prime.  Res64: 8A13EAF3E72DF310  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 23:57:39]
819*2^1245431-1 is not prime.  Res64: 9E485D9999782A99  Time : 0.0 sec.
user=mdettweiler
[2013-04-28 23:57:39]
841*2^1245431-1 is not prime.  Res64: 841FC99F657F5F82  Time : 0.0 sec.