user=juhehe
[2013-02-10 00:41:55]
487*2^1167209-1 is not prime.  Res64: C52FFE6B2F1030DC  Time : 0.0 sec.
user=juhehe
[2013-02-10 01:35:51]
525*2^1167209-1 is not prime.  Res64: C87E6069E56910A4  Time : 0.0 sec.
user=juhehe
[2013-02-10 02:29:29]
549*2^1167209-1 is not prime.  Res64: 8C297C0EC7F97644  Time : 0.0 sec.
user=juhehe
[2013-02-10 03:23:36]
567*2^1167209-1 is not prime.  Res64: 610B7BB0D44B3ECB  Time : 0.0 sec.
user=juhehe
[2013-02-10 04:17:43]
501*2^1167210-1 is not prime.  Res64: 3BE3B5EF44998FFF  Time : 0.0 sec.
user=juhehe
[2013-02-10 05:11:55]
463*2^1167211-1 is not prime.  Res64: D34A573035EBB6A7  Time : 0.0 sec.
user=juhehe
[2013-02-10 06:06:15]
469*2^1167211-1 is not prime.  Res64: 251694A8E5E1B23F  Time : 0.0 sec.
user=juhehe
[2013-02-10 07:01:34]
417*2^1167212-1 is not prime.  Res64: 98225B9F6CE337E7  Time : 0.0 sec.
user=juhehe
[2013-02-10 07:56:20]
567*2^1167212-1 is not prime.  Res64: 86759B5DD7CD31A5  Time : 0.0 sec.
user=henryzz
[2013-02-10 08:23:08]
455*2^1167206-1 is not prime.  Res64: 5CB2C9AE6EB76D7A  Time : 0.0 sec.
user=henryzz
[2013-02-10 08:31:09]
473*2^1167206-1 is not prime.  Res64: 29FC848776704B18  Time : 0.0 sec.
user=henryzz
[2013-02-10 08:47:00]
561*2^1167206-1 is not prime.  Res64: 143C724B0F57A4F0  Time : 0.0 sec.
user=juhehe
[2013-02-10 08:50:52]
599*2^1167212-1 is not prime.  Res64: EBCAE0143DE1CECB  Time : 0.0 sec.
user=henryzz
[2013-02-10 09:17:18]
517*2^1167213-1 is not prime.  Res64: 9A6C55A489179BBF  Time : 0.0 sec.
user=henryzz
[2013-02-10 09:31:15]
577*2^1167213-1 is not prime.  Res64: 53C3E1C51AB7ED88  Time : 0.0 sec.
user=henryzz
[2013-02-10 09:35:29]
495*2^1167214-1 is not prime.  Res64: ED588C22A09EA4AF  Time : 0.0 sec.
user=juhehe
[2013-02-10 09:45:50]
551*2^1167214-1 is not prime.  Res64: CA9562E97D6F0AC1  Time : 0.0 sec.
user=henryzz
[2013-02-10 10:09:15]
525*2^1167215-1 is not prime.  Res64: AC4C0BED6D4A18AC  Time : 0.0 sec.
user=henryzz
[2013-02-10 10:17:28]
553*2^1167215-1 is not prime.  Res64: D61105ABD8B5DCC0  Time : 0.0 sec.
user=henryzz
[2013-02-10 10:22:39]
405*2^1167216-1 is not prime.  Res64: 823E8D176A6691A5  Time : 0.0 sec.
user=juhehe
[2013-02-10 10:40:28]
425*2^1167216-1 is not prime.  Res64: 2C7300058121E160  Time : 0.0 sec.
user=henryzz
[2013-02-10 11:13:52]
539*2^1167216-1 is not prime.  Res64: C0EC6F1E1EA57073  Time : 0.0 sec.
user=henryzz
[2013-02-10 11:15:14]
417*2^1167218-1 is not prime.  Res64: 79A4C09E10C839C5  Time : 0.0 sec.
user=henryzz
[2013-02-10 11:18:39]
495*2^1167218-1 is not prime.  Res64: 9BC21F5B803D5A41  Time : 0.0 sec.
user=juhehe
[2013-02-10 11:35:22]
451*2^1167219-1 is not prime.  Res64: 180690A0C4079FDD  Time : 0.0 sec.
user=henryzz
[2013-02-10 12:17:07]
513*2^1167219-1 is not prime.  Res64: 76DE06CFF7ECD0EB  Time : 0.0 sec.
user=henryzz
[2013-02-10 12:17:25]
483*2^1167219-1 is not prime.  Res64: 5481046CC8BB1704  Time : 0.0 sec.
user=henryzz
[2013-02-10 12:17:56]
465*2^1167219-1 is not prime.  Res64: 7399F6CC9D0C1444  Time : 0.0 sec.
user=juhehe
[2013-02-10 12:31:10]
573*2^1167219-1 is not prime.  Res64: BF860F9E2E175F28  Time : 0.0 sec.
user=henryzz
[2013-02-10 13:07:40]
417*2^1167221-1 is not prime.  Res64: FF72794A131620C2  Time : 0.0 sec.
user=henryzz
[2013-02-10 13:08:31]
455*2^1167220-1 is not prime.  Res64: 7B1D90BD78716FDF  Time : 0.0 sec.
user=henryzz
[2013-02-10 13:08:48]
513*2^1167220-1 is not prime.  Res64: B53BDE9F55009055  Time : 0.0 sec.
user=juhehe
[2013-02-10 13:27:17]
527*2^1167222-1 is not prime.  Res64: 253BB13F9433F9B8  Time : 0.0 sec.
user=henryzz
[2013-02-10 14:11:57]
589*2^1167223-1 is not prime.  Res64: B914F1DCC977C5B8  Time : 0.0 sec.
user=henryzz
[2013-02-10 14:17:48]
581*2^1167222-1 is not prime.  Res64: A3E1E0210E32940E  Time : 0.0 sec.
user=henryzz
[2013-02-10 14:18:04]
563*2^1167222-1 is not prime.  Res64: 7C581636786E94E5  Time : 0.0 sec.
user=juhehe
[2013-02-10 14:23:20]
407*2^1167224-1 is not prime.  Res64: 36FBFA2E6EDC8074  Time : 0.0 sec.
user=henryzz
[2013-02-10 15:08:03]
573*2^1167224-1 is not prime.  Res64: 503A7B1C45E84725  Time : 0.0 sec.
user=henryzz
[2013-02-10 15:15:59]
469*2^1167225-1 is not prime.  Res64: 6FAD28903D7E97B8  Time : 0.0 sec.
user=henryzz
[2013-02-10 15:16:15]
535*2^1167225-1 is not prime.  Res64: E651570640F079FC  Time : 0.0 sec.
user=juhehe
[2013-02-10 15:18:48]
585*2^1167225-1 is not prime.  Res64: 1BF4BD28C3E5C93F  Time : 0.0 sec.
user=henryzz
[2013-02-10 16:10:56]
485*2^1167228-1 is not prime.  Res64: 43DD2DA5267C91E6  Time : 0.0 sec.
user=henryzz
[2013-02-10 16:12:04]
545*2^1167226-1 is not prime.  Res64: 70AD089DDE163D9A  Time : 0.0 sec.
user=juhehe
[2013-02-10 16:14:02]
597*2^1167228-1 is not prime.  Res64: 4CB3F762AE43352A  Time : 0.0 sec.
user=henryzz
[2013-02-10 16:14:55]
515*2^1167228-1 is not prime.  Res64: B5C397B60C539919  Time : 0.0 sec.
user=henryzz
[2013-02-10 16:59:47]
415*2^1167229-1 is not prime.  Res64: 811B6774F02C0920  Time : 0.0 sec.
user=henryzz
[2013-02-10 17:02:08]
441*2^1167229-1 is not prime.  Res64: E9DE04231C3F286D  Time : 0.0 sec.
user=henryzz
[2013-02-10 17:02:13]
411*2^1167230-1 is not prime.  Res64: B0140538F40B7315  Time : 0.0 sec.
user=juhehe
[2013-02-10 17:09:27]
559*2^1167229-1 is not prime.  Res64: 98FED4C6E727C02A  Time : 0.0 sec.
user=henryzz
[2013-02-10 17:48:48]
445*2^1167231-1 is not prime.  Res64: 97D76759E790CB8A  Time : 0.0 sec.
user=henryzz
[2013-02-10 17:48:48]
525*2^1167230-1 is not prime.  Res64: FA4A6F29DEF387FF  Time : 0.0 sec.
user=henryzz
[2013-02-10 17:51:21]
591*2^1167230-1 is not prime.  Res64: F8D340F0B35501CE  Time : 0.0 sec.
user=juhehe
[2013-02-10 18:04:44]
453*2^1167231-1 is not prime.  Res64: BBAB3A8831915567  Time : 0.0 sec.
user=henryzz
[2013-02-10 18:37:09]
513*2^1167231-1 is not prime.  Res64: 36B5AD83868463F3  Time : 0.0 sec.
user=juhehe
[2013-02-10 19:00:30]
563*2^1167232-1 is not prime.  Res64: 2DA1BE9AD115693E  Time : 0.0 sec.
user=juhehe
[2013-02-10 19:56:21]
445*2^1167233-1 is not prime.  Res64: 621A2F0D77DA69F0  Time : 0.0 sec.
user=juhehe
[2013-02-10 20:51:57]
465*2^1167233-1 is not prime.  Res64: 7AED056EF150D9E6  Time : 0.0 sec.
user=juhehe
[2013-02-10 21:47:37]
489*2^1167233-1 is not prime.  Res64: 60CFAF78C2F68889  Time : 0.0 sec.
user=juhehe
[2013-02-10 22:43:10]
525*2^1167233-1 is not prime.  Res64: F9412934604951B6  Time : 0.0 sec.
user=juhehe
[2013-02-10 23:38:32]
585*2^1167233-1 is not prime.  Res64: 1EB3533D99434F5B  Time : 0.0 sec.