user=juhehe
[2013-02-15 00:03:38]
533*2^1167280-1 is not prime.  Res64: 4E4115A036EACA07  Time : 0.0 sec.
user=mdettweiler
[2013-02-15 00:41:45]
573*2^1167278-1 is not prime.  Res64: F081374C13C6FEF2  Time : 0.0 sec.
user=juhehe
[2013-02-15 00:59:24]
459*2^1167281-1 is not prime.  Res64: AC137D587332A066  Time : 0.0 sec.
user=juhehe
[2013-02-15 01:55:46]
561*2^1167281-1 is not prime.  Res64: EA670CF3330D32CC  Time : 0.0 sec.
user=juhehe
[2013-02-15 01:56:42]
549*2^1167281-1 is not prime.  Res64: DF805F4DA6EA6611  Time : 0.0 sec.
user=juhehe
[2013-02-15 02:52:08]
571*2^1167281-1 is not prime.  Res64: 3A207F9706F8FB30  Time : 0.0 sec.
user=juhehe
[2013-02-15 03:48:36]
405*2^1167282-1 is not prime.  Res64: 8F9D98C33F6ABC33  Time : 0.0 sec.
user=juhehe
[2013-02-15 03:50:26]
493*2^1167283-1 is not prime.  Res64: 24C5057AD36E0C98  Time : 0.0 sec.
user=juhehe
[2013-02-15 04:44:47]
553*2^1167283-1 is not prime.  Res64: 686E37B3F6F91127  Time : 0.0 sec.
user=juhehe
[2013-02-15 05:41:15]
595*2^1167283-1 is not prime.  Res64: AE42DA42D67D78D4  Time : 0.0 sec.
user=juhehe
[2013-02-15 05:44:16]
479*2^1167284-1 is not prime.  Res64: 49BA80CA005FD51D  Time : 0.0 sec.
user=juhehe
[2013-02-15 06:37:41]
415*2^1167285-1 is not prime.  Res64: CE540D143FB3831C  Time : 0.0 sec.
user=juhehe
[2013-02-15 07:34:07]
453*2^1167286-1 is not prime.  Res64: C6845C49631D4C20  Time : 0.0 sec.
user=juhehe
[2013-02-15 07:37:40]
465*2^1167286-1 is not prime.  Res64: C4F988B4362EC33D  Time : 0.0 sec.
user=juhehe
[2013-02-15 08:33:17]
567*2^1167286-1 is not prime.  Res64: A139586271E143AE  Time : 0.0 sec.
user=juhehe
[2013-02-15 10:09:33]
591*2^1167286-1 is not prime.  Res64: CF89D914278F935C  Time : 0.0 sec.
user=juhehe
[2013-02-15 11:57:31]
597*2^1167286-1 is not prime.  Res64: 2746CB788AC1F146  Time : 0.0 sec.
user=juhehe
[2013-02-15 11:58:07]
475*2^1167287-1 is not prime.  Res64: 811CC072D7F1467E  Time : 0.0 sec.
user=juhehe
[2013-02-15 17:35:56]
501*2^1167287-1 is not prime.  Res64: 3E382819DD147804  Time : 0.0 sec.
user=juhehe
[2013-02-15 18:31:17]
523*2^1167287-1 is not prime.  Res64: 7B6122BCE309E70D  Time : 0.0 sec.
user=juhehe
[2013-02-15 18:37:27]
493*2^1167287-1 is not prime.  Res64: 583F0C043ED05018  Time : 0.0 sec.
user=juhehe
[2013-02-15 19:28:14]
419*2^1167288-1 is not prime.  Res64: 5588B2AFEC3A15DF  Time : 0.0 sec.
user=juhehe
[2013-02-15 19:32:39]
525*2^1167288-1 is not prime.  Res64: 3400320CEFFA2C62  Time : 0.0 sec.
user=juhehe
[2013-02-15 20:27:38]
557*2^1167288-1 is not prime.  Res64: C5ADD80AAF935F3C  Time : 0.0 sec.
user=juhehe
[2013-02-15 21:23:50]
415*2^1167289-1 is not prime.  Res64: 6622ABFEF3EDE788  Time : 0.0 sec.
user=juhehe
[2013-02-15 21:26:50]
421*2^1167289-1 is not prime.  Res64: 9D12418C7EDAA931  Time : 0.0 sec.
user=juhehe
[2013-02-15 22:20:03]
495*2^1167289-1 is not prime.  Res64: 4156893ED86CAF1B  Time : 0.0 sec.
user=juhehe
[2013-02-15 23:16:19]
507*2^1167289-1 is not prime.  Res64: 7611983251F5E760  Time : 0.0 sec.
user=juhehe
[2013-02-15 23:21:07]
549*2^1167289-1 is not prime.  Res64: A1E40CA3BAF5A843  Time : 0.0 sec.