user=vaughan
[2011-12-21 00:12:38]
413*2^1048712-1 is not prime.  Res64: CE44EE8CF9CD560B  Time : 2627.0 sec.
user=vaughan
[2011-12-21 00:56:27]
467*2^1048712-1 is not prime.  Res64: 87718A6EE2D617B6  Time : 2629.0 sec.
user=vaughan
[2011-12-21 01:40:17]
483*2^1048712-1 is not prime.  Res64: 50990D2784E1A253  Time : 2630.0 sec.
user=vaughan
[2011-12-21 02:24:08]
519*2^1048712-1 is not prime.  Res64: 5B2D2B9257E8E0EC  Time : 2632.0 sec.
user=vaughan
[2011-12-21 03:07:58]
555*2^1048713-1 is not prime.  Res64: 45B911D8ADC9AC03  Time : 2630.0 sec.
user=vaughan
[2011-12-21 03:51:47]
423*2^1048714-1 is not prime.  Res64: 7CB8099441C9AB22  Time : 2630.0 sec.
user=vaughan
[2011-12-21 04:35:35]
443*2^1048714-1 is not prime.  Res64: C1540A60F990524C  Time : 2628.0 sec.
user=vaughan
[2011-12-21 05:19:23]
421*2^1048715-1 is not prime.  Res64: 113FF02217B807CC  Time : 2628.0 sec.
user=vaughan
[2011-12-21 06:03:16]
459*2^1048716-1 is not prime.  Res64: AF043DD8651B05CF  Time : 2633.0 sec.
user=vaughan
[2011-12-21 06:47:02]
507*2^1048716-1 is not prime.  Res64: E431A9979E8B07B6  Time : 2627.0 sec.
user=vaughan
[2011-12-21 07:30:51]
527*2^1048716-1 is not prime.  Res64: DFAE41A2B2AF31E4  Time : 2629.0 sec.
user=vaughan
[2011-12-21 08:14:41]
557*2^1048716-1 is not prime.  Res64: 7BF46DCCDE05883B  Time : 2630.0 sec.
user=vaughan
[2011-12-21 08:58:31]
563*2^1048716-1 is not prime.  Res64: D010F8D2A11B59D3  Time : 2630.0 sec.
user=vaughan
[2011-12-21 09:42:21]
587*2^1048716-1 is not prime.  Res64: A80ABBCE4118A0A0  Time : 2630.0 sec.
user=vaughan
[2011-12-21 10:26:14]
465*2^1048717-1 is not prime.  Res64: 8ACCD3EAC2CBF469  Time : 2633.0 sec.
user=vaughan
[2011-12-21 11:10:03]
495*2^1048717-1 is not prime.  Res64: 272B72E1D6DD7EEB  Time : 2629.0 sec.
user=vaughan
[2011-12-21 11:53:50]
495*2^1048718-1 is not prime.  Res64: 2EC3D5467100D2C4  Time : 2627.0 sec.
user=vaughan
[2011-12-21 12:37:40]
573*2^1048719-1 is not prime.  Res64: 17512A97CDECB916  Time : 2630.0 sec.
user=vaughan
[2011-12-21 13:21:27]
437*2^1048720-1 is not prime.  Res64: 696CD8DAE4F5C76C  Time : 2628.0 sec.
user=vaughan
[2011-12-21 14:05:16]
597*2^1048720-1 is not prime.  Res64: E5D9B6F3E8299B7B  Time : 2629.0 sec.
user=vaughan
[2011-12-21 14:49:02]
439*2^1048721-1 is not prime.  Res64: 9BA15088F5FCB919  Time : 2626.0 sec.
user=vaughan
[2011-12-21 15:32:48]
445*2^1048721-1 is not prime.  Res64: FD013FA5D35511E8  Time : 2626.0 sec.
user=vaughan
[2011-12-21 16:16:33]
511*2^1048721-1 is not prime.  Res64: 69924BFE87DF014C  Time : 2625.0 sec.
user=vaughan
[2011-12-21 17:00:20]
565*2^1048721-1 is not prime.  Res64: DABA2E1FB168E017  Time : 2627.0 sec.
user=vaughan
[2011-12-21 17:44:06]
401*2^1048722-1 is not prime.  Res64: 0ED6F2EEEF10E20F  Time : 2627.0 sec.
user=vaughan
[2011-12-21 18:27:57]
417*2^1048722-1 is not prime.  Res64: 761BFDB3C01C5431  Time : 2631.0 sec.
user=vaughan
[2011-12-21 19:11:42]
437*2^1048722-1 is not prime.  Res64: 5717DA87190C8B55  Time : 2625.0 sec.
user=vaughan
[2011-12-21 19:55:28]
495*2^1048722-1 is not prime.  Res64: 28C35D16957C0BC8  Time : 2626.0 sec.
user=vaughan
[2011-12-21 20:39:13]
497*2^1048722-1 is not prime.  Res64: 98B29F31717F7C76  Time : 2625.0 sec.
user=vaughan
[2011-12-21 21:22:59]
503*2^1048722-1 is not prime.  Res64: 1AA3E3BBF587CBBC  Time : 2626.0 sec.
user=vaughan
[2011-12-21 22:06:47]
525*2^1048722-1 is not prime.  Res64: 952C2D312C4136BE  Time : 2629.0 sec.
user=vaughan
[2011-12-21 22:50:37]
563*2^1048722-1 is not prime.  Res64: E8C12A5C4E7C6873  Time : 2631.0 sec.
user=vaughan
[2011-12-21 23:34:29]
411*2^1048723-1 is not prime.  Res64: A98917A62160F1A4  Time : 2633.0 sec.