user=juhehe
[2013-02-12 00:22:37]
487*2^1167257-1 is not prime.  Res64: BE43D445EC674D1B  Time : 0.0 sec.
user=juhehe
[2013-02-12 01:16:56]
501*2^1167257-1 is not prime.  Res64: C96130AA99E9646A  Time : 0.0 sec.
user=juhehe
[2013-02-12 02:11:11]
567*2^1167257-1 is not prime.  Res64: 25E9F2F2FA1ED173  Time : 0.0 sec.
user=juhehe
[2013-02-12 03:05:51]
431*2^1167258-1 is not prime.  Res64: 7B1A22A0865B3D5E  Time : 0.0 sec.
user=juhehe
[2013-02-12 04:00:46]
461*2^1167258-1 is not prime.  Res64: 6892B414DD07C65C  Time : 0.0 sec.
user=juhehe
[2013-02-12 04:55:56]
465*2^1167258-1 is not prime.  Res64: E775800B854F727C  Time : 0.0 sec.
user=juhehe
[2013-02-12 05:50:49]
507*2^1167258-1 is not prime.  Res64: 6C12C305145FDC2F  Time : 0.0 sec.
user=juhehe
[2013-02-12 06:46:10]
563*2^1167258-1 is not prime.  Res64: E2B2959F406B3027  Time : 0.0 sec.
user=juhehe
[2013-02-12 07:40:58]
585*2^1167258-1 is not prime.  Res64: 7C4565F0684AEC74  Time : 0.0 sec.
user=juhehe
[2013-02-12 08:35:59]
441*2^1167259-1 is not prime.  Res64: CEF34F4F5F216177  Time : 0.0 sec.
user=juhehe
[2013-02-12 09:31:05]
523*2^1167259-1 is not prime.  Res64: E6DF29166F30A1D2  Time : 0.0 sec.
user=juhehe
[2013-02-12 10:52:59]
473*2^1167260-1 is not prime.  Res64: 0F7ABB4826C3A541  Time : 0.0 sec.
user=juhehe
[2013-02-12 11:46:39]
495*2^1167260-1 is not prime.  Res64: 5B7CD50266A6DD13  Time : 0.0 sec.
user=juhehe
[2013-02-12 12:47:57]
537*2^1167260-1 is not prime.  Res64: 5D520F04C9826A9A  Time : 0.0 sec.
user=juhehe
[2013-02-12 13:48:32]
469*2^1167261-1 is not prime.  Res64: 82FFA36F55CD8684  Time : 0.0 sec.
user=juhehe
[2013-02-12 21:20:39]
529*2^1167261-1 is not prime.  Res64: F15C0E686ED4ABD1  Time : 0.0 sec.
user=juhehe
[2013-02-12 22:17:29]
531*2^1167261-1 is not prime.  Res64: 85B520AADB18092C  Time : 0.0 sec.
user=juhehe
[2013-02-12 23:12:04]
423*2^1167262-1 is not prime.  Res64: 8A16E2CF4F81BBA7  Time : 0.0 sec.