user=juhehe
[2013-02-13 00:31:10]
461*2^1167262-1 is not prime.  Res64: B170604144231517  Time : 0.0 sec.
user=vaughan
[2013-02-13 01:06:15]
561*2^1167262-1 is not prime.  Res64: EBA5D04CEFD11BD8  Time : 0.0 sec.
user=juhehe
[2013-02-13 01:24:35]
567*2^1167262-1 is not prime.  Res64: FEFCB5BB88230CF0  Time : 0.0 sec.
user=juhehe
[2013-02-13 02:19:01]
511*2^1167263-1 is not prime.  Res64: 1FF90CBF89B5BB45  Time : 0.0 sec.
user=juhehe
[2013-02-13 03:13:28]
571*2^1167263-1 is not prime.  Res64: 58DBBFF5FE5BE4D4  Time : 0.0 sec.
user=juhehe
[2013-02-13 05:08:37]
425*2^1167264-1 is not prime.  Res64: CAE8082A6AAF305A  Time : 0.0 sec.
user=juhehe
[2013-02-13 06:01:44]
465*2^1167265-1 is not prime.  Res64: 5760FBC0DCE3D15B  Time : 0.0 sec.
user=juhehe
[2013-02-13 06:57:11]
511*2^1167265-1 is not prime.  Res64: 19CE739E37F883F0  Time : 0.0 sec.
user=juhehe
[2013-02-13 07:51:45]
525*2^1167265-1 is not prime.  Res64: 038C64B1BAC55C6A  Time : 0.0 sec.
user=juhehe
[2013-02-13 08:46:22]
567*2^1167265-1 is not prime.  Res64: 73435AF32FE83293  Time : 0.0 sec.
user=juhehe
[2013-02-13 09:41:07]
447*2^1167266-1 is not prime.  Res64: 892EB0AA163A6C9C  Time : 0.0 sec.
user=juhehe
[2013-02-13 11:09:29]
473*2^1167266-1 is not prime.  Res64: 69764824DC5484B9  Time : 0.0 sec.
user=mdettweiler
[2013-02-13 11:30:41]
409*2^1167267-1 is not prime.  Res64: D2BD77247E0C5DCE  Time : 0.0 sec.
user=juhehe
[2013-02-13 12:13:14]
561*2^1167266-1 is not prime.  Res64: C22DB7ADC550A161  Time : 0.0 sec.
user=juhehe
[2013-02-13 13:07:14]
451*2^1167267-1 is not prime.  Res64: 49355E2C35F3241D  Time : 0.0 sec.
user=juhehe
[2013-02-13 14:02:11]
453*2^1167267-1 is not prime.  Res64: 5F9F84248A670A38  Time : 0.0 sec.
user=juhehe
[2013-02-13 14:57:08]
483*2^1167267-1 is not prime.  Res64: 56E152212CDBEAAE  Time : 0.0 sec.
user=juhehe
[2013-02-13 15:51:53]
549*2^1167267-1 is not prime.  Res64: 1BB9BB1DEE391667  Time : 0.0 sec.
user=juhehe
[2013-02-13 17:37:32]
571*2^1167267-1 is not prime.  Res64: 7D0A717D397E29A5  Time : 0.0 sec.
user=mdettweiler
[2013-02-13 17:51:58]
429*2^1167268-1 is not prime.  Res64: 5B29B2FFF88A812A  Time : 0.0 sec.
user=mdettweiler
[2013-02-13 17:52:09]
411*2^1167269-1 is not prime.  Res64: AB50D9A04074F923  Time : 0.0 sec.
user=juhehe
[2013-02-13 18:31:43]
447*2^1167269-1 is not prime.  Res64: D4AB3A9BBE268E98  Time : 0.0 sec.
user=juhehe
[2013-02-13 18:36:31]
477*2^1167269-1 is not prime.  Res64: 5008CA9D841217BA  Time : 0.0 sec.
user=juhehe
[2013-02-13 19:31:26]
489*2^1167269-1 is not prime.  Res64: 3BF7376470EC3FB0  Time : 0.0 sec.
user=juhehe
[2013-02-13 19:41:28]
487*2^1167269-1 is not prime.  Res64: 1DC4ACD2D82B8AD2  Time : 0.0 sec.
user=juhehe
[2013-02-13 20:32:44]
589*2^1167269-1 is not prime.  Res64: F535AFF5E5B6914C  Time : 0.0 sec.
user=juhehe
[2013-02-13 20:36:44]
567*2^1167270-1 is not prime.  Res64: FC3A7A700EA9F54B  Time : 0.0 sec.
user=juhehe
[2013-02-13 21:32:06]
453*2^1167271-1 is not prime.  Res64: B645EF943AE53C6C  Time : 0.0 sec.
user=juhehe
[2013-02-13 22:26:24]
519*2^1167271-1 is not prime.  Res64: AD9FBEFF909FF0AC  Time : 0.0 sec.
user=juhehe
[2013-02-13 22:27:30]
531*2^1167271-1 is not prime.  Res64: 7AD8DFD2A9277308  Time : 0.0 sec.
user=juhehe
[2013-02-13 23:22:58]
515*2^1167272-1 is not prime.  Res64: 3912B503E11B442F  Time : 0.0 sec.