user=juhehe
[2012-07-24 00:35:25]
567*2^1135750-1 is not prime.  Res64: 9148960DDA4BBE33  Time : 0.0 sec.
user=juhehe
[2012-07-24 00:46:42]
533*2^1135750-1 is not prime.  Res64: DDFEEF3B2A4AE009  Time : 0.0 sec.
user=juhehe
[2012-07-24 02:09:32]
593*2^1135750-1 is not prime.  Res64: 22653723D2BCDE33  Time : 0.0 sec.
user=vaughan
[2012-07-24 03:13:01]
425*2^1135752-1 is not prime.  Res64: 94883176707D4ED1  Time : 0.0 sec.
user=juhehe
[2012-07-24 03:32:14]
405*2^1135752-1 is not prime.  Res64: A4409A2AEEF7E2A3  Time : 0.0 sec.
user=vaughan
[2012-07-24 04:05:36]
503*2^1135752-1 is not prime.  Res64: 8BD87CA17090AEDA  Time : 0.0 sec.
user=juhehe
[2012-07-24 04:38:52]
539*2^1135752-1 is not prime.  Res64: 5C7A525FD24D0C2F  Time : 0.0 sec.
user=juhehe
[2012-07-24 04:54:55]
465*2^1135753-1 is not prime.  Res64: 9E8CBC0B1FABB603  Time : 0.0 sec.
user=vaughan
[2012-07-24 05:50:14]
447*2^1135754-1 is not prime.  Res64: E880A7C78E5AD102  Time : 0.0 sec.
user=juhehe
[2012-07-24 06:17:43]
431*2^1135754-1 is not prime.  Res64: C8776023F591572D  Time : 0.0 sec.
user=vaughan
[2012-07-24 07:34:14]
545*2^1135754-1 is not prime.  Res64: AE347CD179FA3E7E  Time : 0.0 sec.
user=juhehe
[2012-07-24 07:40:25]
495*2^1135754-1 is not prime.  Res64: 2E51FF5915610693  Time : 0.0 sec.
user=vaughan
[2012-07-24 08:23:14]
429*2^1135755-1 is not prime.  Res64: 22E71938E869B33F  Time : 0.0 sec.
user=juhehe
[2012-07-24 09:02:54]
441*2^1135755-1 is not prime.  Res64: 36BCBD9F92ECF2F5  Time : 0.0 sec.
user=juhehe
[2012-07-24 10:06:51]
591*2^1135755-1 is not prime.  Res64: 8832538EADFA5F28  Time : 0.0 sec.
user=juhehe
[2012-07-24 10:25:35]
447*2^1135756-1 is not prime.  Res64: E52D2FEAD34E0C6A  Time : 0.0 sec.
user=vaughan
[2012-07-24 11:02:32]
479*2^1135756-1 is not prime.  Res64: AB60EE8CE11F3AE3  Time : 0.0 sec.
user=juhehe
[2012-07-24 11:48:07]
525*2^1135756-1 is not prime.  Res64: 7436A63E83A5A815  Time : 0.0 sec.
user=vaughan
[2012-07-24 12:47:19]
477*2^1135757-1 is not prime.  Res64: 9C444D43E03CD92B  Time : 0.0 sec.
user=juhehe
[2012-07-24 13:10:32]
567*2^1135756-1 is not prime.  Res64: 392A427EF1F3900A  Time : 0.0 sec.
user=juhehe
[2012-07-24 14:33:23]
519*2^1135757-1 is not prime.  Res64: A5DCE778C8F3D85C  Time : 0.0 sec.
user=juhehe
[2012-07-24 15:56:07]
567*2^1135757-1 is not prime.  Res64: AEB7865C0B0E83EB  Time : 0.0 sec.
user=vaughan
[2012-07-24 16:21:51]
571*2^1135757-1 is not prime.  Res64: F113F2A25A7F35AC  Time : 0.0 sec.
user=juhehe
[2012-07-24 17:18:42]
465*2^1135758-1 is not prime.  Res64: BBB687E63ABE7C5A  Time : 0.0 sec.
user=gd_barnes
[2012-07-24 17:39:24]
555*2^1135758-1 is not prime.  Res64: BAEC3D5D98E65BE6  Time : 0.0 sec.
user=gd_barnes
[2012-07-24 17:41:26]
513*2^1135758-1 is not prime.  Res64: 0FFADFC44F677189  Time : 0.0 sec.
user=vaughan
[2012-07-24 18:06:12]
485*2^1135758-1 is not prime.  Res64: CAD6362EB2D1DA8E  Time : 0.0 sec.
user=juhehe
[2012-07-24 18:41:14]
585*2^1135758-1 is not prime.  Res64: 9E68AEB5D09AD3A7  Time : 0.0 sec.
user=vaughan
[2012-07-24 19:53:39]
421*2^1135759-1 is not prime.  Res64: F7F65A358069BA1D  Time : 0.0 sec.
user=juhehe
[2012-07-24 20:04:56]
591*2^1135758-1 is not prime.  Res64: 7EA53F345AA76C35  Time : 0.0 sec.
user=juhehe
[2012-07-24 21:27:30]
423*2^1135759-1 is not prime.  Res64: 50DD85222CF3E200  Time : 0.0 sec.
user=vaughan
[2012-07-24 22:32:49]
425*2^1135760-1 is not prime.  Res64: 2F287E5C18416AEE  Time : 0.0 sec.
user=juhehe
[2012-07-24 22:50:08]
595*2^1135759-1 is not prime.  Res64: A76030C7F3457D4B  Time : 0.0 sec.