user=juhehe
[2013-02-20 00:06:21]
413*2^1167342-1 is not prime.  Res64: FD97E1450397117F  Time : 0.0 sec.
user=juhehe
[2013-02-20 00:44:47]
483*2^1167342-1 is not prime.  Res64: FCB231D12C926E81  Time : 0.0 sec.
user=juhehe
[2013-02-20 01:08:42]
503*2^1167342-1 is not prime.  Res64: CD22790B9FD6895A  Time : 0.0 sec.
user=juhehe
[2013-02-20 01:37:57]
527*2^1167342-1 is not prime.  Res64: 8F4B966C45CBE488  Time : 0.0 sec.
user=juhehe
[2013-02-20 02:07:28]
439*2^1167343-1 is not prime.  Res64: B2A53D275253DD92  Time : 0.0 sec.
user=juhehe
[2013-02-20 02:30:43]
489*2^1167343-1 is not prime.  Res64: 89EA85FDE41FC3D0  Time : 0.0 sec.
user=juhehe
[2013-02-20 03:15:33]
493*2^1167343-1 is not prime.  Res64: F2D79B4081E4A6FE  Time : 0.0 sec.
user=juhehe
[2013-02-20 03:24:06]
519*2^1167344-1 is not prime.  Res64: 82C4A64398C5790A  Time : 0.0 sec.
user=juhehe
[2013-02-20 04:08:06]
543*2^1167344-1 is not prime.  Res64: 7A7AAF96B2B64AE1  Time : 0.0 sec.
user=juhehe
[2013-02-20 04:17:50]
441*2^1167345-1 is not prime.  Res64: BFAAA6010399BA44  Time : 0.0 sec.
user=juhehe
[2013-02-20 05:11:04]
517*2^1167345-1 is not prime.  Res64: 1F0C9EFA2B101FE8  Time : 0.0 sec.
user=juhehe
[2013-02-20 05:16:46]
529*2^1167345-1 is not prime.  Res64: 8EE0F0C583A51851  Time : 0.0 sec.
user=juhehe
[2013-02-20 06:04:12]
471*2^1167346-1 is not prime.  Res64: 84A0C358587AACF5  Time : 0.0 sec.
user=juhehe
[2013-02-20 06:08:38]
437*2^1167346-1 is not prime.  Res64: D9FEBC3F2A465630  Time : 0.0 sec.
user=juhehe
[2013-02-20 06:57:21]
513*2^1167346-1 is not prime.  Res64: 316A467BFE70DB77  Time : 0.0 sec.
user=juhehe
[2013-02-20 07:17:57]
561*2^1167346-1 is not prime.  Res64: 9D58F8F45CA0193C  Time : 0.0 sec.
user=juhehe
[2013-02-20 07:50:56]
593*2^1167346-1 is not prime.  Res64: 065DB739FA7A2430  Time : 0.0 sec.
user=juhehe
[2013-02-20 08:09:33]
453*2^1167347-1 is not prime.  Res64: 91D4C77E063FD016  Time : 0.0 sec.
user=juhehe
[2013-02-20 08:45:18]
531*2^1167347-1 is not prime.  Res64: 869E237AD49799BF  Time : 0.0 sec.
user=juhehe
[2013-02-20 09:17:54]
405*2^1167348-1 is not prime.  Res64: CA6634D55C2A651E  Time : 0.0 sec.
user=juhehe
[2013-02-20 09:39:25]
473*2^1167348-1 is not prime.  Res64: EBDAEDCA45FEEFA6  Time : 0.0 sec.
user=juhehe
[2013-02-20 10:10:55]
513*2^1167348-1 is not prime.  Res64: F57B31686E566992  Time : 0.0 sec.
user=juhehe
[2013-02-20 10:33:21]
555*2^1167348-1 is not prime.  Res64: 226D1E6F52FC518F  Time : 0.0 sec.
user=juhehe
[2013-02-20 11:19:01]
517*2^1167349-1 is not prime.  Res64: 5EBC0A37B5F18A29  Time : 0.0 sec.
user=juhehe
[2013-02-20 11:26:52]
423*2^1167350-1 is not prime.  Res64: 5D21777DAE0F782F  Time : 0.0 sec.
user=juhehe
[2013-02-20 12:11:52]
405*2^1167352-1 is not prime.  Res64: 0D58B5EE085C39BC  Time : 0.0 sec.
user=juhehe
[2013-02-20 12:20:02]
519*2^1167352-1 is not prime.  Res64: 6BAE6055256B5ECB  Time : 0.0 sec.
user=juhehe
[2013-02-20 13:12:58]
549*2^1167352-1 is not prime.  Res64: F0E6B5BF3E54A72F  Time : 0.0 sec.
user=juhehe
[2013-02-20 13:19:43]
569*2^1167352-1 is not prime.  Res64: 27735F5C189A6B6B  Time : 0.0 sec.
user=juhehe
[2013-02-20 14:05:45]
465*2^1167353-1 is not prime.  Res64: BD648684AF3657F6  Time : 0.0 sec.
user=juhehe
[2013-02-20 14:12:22]
413*2^1167354-1 is not prime.  Res64: 2670C49958474FFF  Time : 0.0 sec.
user=juhehe
[2013-02-20 14:58:12]
431*2^1167354-1 is not prime.  Res64: 6ABCBEDC67EB8A90  Time : 0.0 sec.
user=juhehe
[2013-02-20 15:20:55]
461*2^1167354-1 is not prime.  Res64: 6C5FEBE9C9DB7852  Time : 0.0 sec.
user=juhehe
[2013-02-20 15:50:32]
465*2^1167354-1 is not prime.  Res64: 51E952C7E12BBF18  Time : 0.0 sec.
user=juhehe
[2013-02-20 16:12:42]
513*2^1167354-1 is not prime.  Res64: 33D744885C3F8DC3  Time : 0.0 sec.
user=juhehe
[2013-02-20 16:42:47]
543*2^1167354-1 is not prime.  Res64: 36DE0642D357F774  Time : 0.0 sec.
user=juhehe
[2013-02-20 17:21:37]
563*2^1167354-1 is not prime.  Res64: 51B9EC507E902BBB  Time : 0.0 sec.
user=juhehe
[2013-02-20 17:34:30]
421*2^1167355-1 is not prime.  Res64: 4B10CE3CF804FA77  Time : 0.0 sec.
user=juhehe
[2013-02-20 18:20:02]
441*2^1167355-1 is not prime.  Res64: 6B764C5A14D5E0C0  Time : 0.0 sec.
user=juhehe
[2013-02-20 18:26:01]
451*2^1167355-1 is not prime.  Res64: 143DD850E8586707  Time : 0.0 sec.
user=juhehe
[2013-02-20 19:18:10]
493*2^1167355-1 is not prime.  Res64: 88D3966E47A233B7  Time : 0.0 sec.
user=juhehe
[2013-02-20 19:22:22]
463*2^1167355-1 is not prime.  Res64: CEC81FF0850682A0  Time : 0.0 sec.
user=juhehe
[2013-02-20 20:09:19]
437*2^1167356-1 is not prime.  Res64: 9139B7E12678C78D  Time : 0.0 sec.
user=juhehe
[2013-02-20 20:27:40]
455*2^1167356-1 is not prime.  Res64: 27DA466416B75327  Time : 0.0 sec.
user=juhehe
[2013-02-20 21:00:26]
445*2^1167357-1 is not prime.  Res64: A8B7857DA69FF73C  Time : 0.0 sec.
user=juhehe
[2013-02-20 21:22:30]
457*2^1167357-1 is not prime.  Res64: 684B374B9160C4F0  Time : 0.0 sec.
user=juhehe
[2013-02-20 21:26:31]
475*2^1167357-1 is not prime.  Res64: 10CFEE6546AF8DD9  Time : 0.0 sec.
user=juhehe
[2013-02-20 21:51:17]
549*2^1167357-1 is not prime.  Res64: 4FE7279F3F3B1B38  Time : 0.0 sec.
user=juhehe
[2013-02-20 22:21:02]
595*2^1167357-1 is not prime.  Res64: A942926AF8180171  Time : 0.0 sec.
user=juhehe
[2013-02-20 22:41:39]
453*2^1167358-1 is not prime.  Res64: 63A974CBDF90928B  Time : 0.0 sec.
user=juhehe
[2013-02-20 23:26:58]
591*2^1167358-1 is not prime.  Res64: FEFA4250C0C8E7A0  Time : 0.0 sec.
user=juhehe
[2013-02-20 23:31:42]
441*2^1167359-1 is not prime.  Res64: BFBF80DB15474C59  Time : 0.0 sec.