user=vaughan
[2009-08-14 00:00:24]
507*2^709037-1 is not prime.  Res64: B099D3985E519A69  Time : 478.0 sec.
user=gd_barnes
[2009-08-14 00:02:50]
503*2^709028-1 is not prime.  Res64: E93F29ECB5208C21  Time : 3375.0 sec.
user=gd_barnes
[2009-08-14 00:03:04]
519*2^709028-1 is not prime.  Res64: EAC45130CDB86EFF  Time : 3379.0 sec.
user=gd_barnes
[2009-08-14 00:04:52]
533*2^709028-1 is not prime.  Res64: 4E193291D8E27195  Time : 3376.0 sec.
user=gd_barnes
[2009-08-14 00:05:29]
557*2^709028-1 is not prime.  Res64: D6068DC7D189EAE6  Time : 3380.0 sec.
user=vaughan
[2009-08-14 00:08:00]
465*2^709038-1 is not prime.  Res64: 8B7B0FE6A1784B12  Time : 625.0 sec.
user=gd_barnes
[2009-08-14 00:08:01]
465*2^709029-1 is not prime.  Res64: 22FFCC6C939375C7  Time : 3382.0 sec.
user=vaughan
[2009-08-14 00:08:21]
527*2^709038-1 is not prime.  Res64: F834601F05E59EE4  Time : 477.0 sec.
user=gd_barnes
[2009-08-14 00:14:05]
597*2^709029-1 is not prime.  Res64: 7754E73D16BD4E92  Time : 3375.0 sec.
user=gd_barnes
[2009-08-14 00:14:20]
533*2^709030-1 is not prime.  Res64: 0E9A4CCCCD63A26B  Time : 3379.0 sec.
user=gd_barnes
[2009-08-14 00:16:06]
465*2^709031-1 is not prime.  Res64: B3E7BC647E8F58BA  Time : 3376.0 sec.
user=vaughan
[2009-08-14 00:16:20]
415*2^709041-1 is not prime.  Res64: 6D6DFA166CAFA630  Time : 479.0 sec.
user=gd_barnes
[2009-08-14 00:16:45]
475*2^709031-1 is not prime.  Res64: 3154BD15CF74E72B  Time : 3380.0 sec.
user=gd_barnes
[2009-08-14 00:19:17]
591*2^709031-1 is not prime.  Res64: BCB7DEB4217A1074  Time : 3382.0 sec.
user=vaughan
[2009-08-14 00:20:09]
557*2^709040-1 is not prime.  Res64: F1CC46B950268EE8  Time : 730.0 sec.
user=vaughan
[2009-08-14 00:24:20]
579*2^709041-1 is not prime.  Res64: 78B4B63E558FEB73  Time : 480.0 sec.
user=gd_barnes
[2009-08-14 00:25:20]
537*2^709032-1 is not prime.  Res64: FFE7B2A99C94C73B  Time : 3374.0 sec.
user=gd_barnes
[2009-08-14 00:25:36]
405*2^709033-1 is not prime.  Res64: 28DE2BED0D908B6E  Time : 3379.0 sec.
user=gd_barnes
[2009-08-14 00:27:18]
465*2^709033-1 is not prime.  Res64: E207DA2D60DD4C56  Time : 3371.0 sec.
user=gd_barnes
[2009-08-14 00:28:01]
471*2^709033-1 is not prime.  Res64: B732EBC59F282253  Time : 3380.0 sec.
user=vaughan
[2009-08-14 00:30:31]
593*2^709042-1 is not prime.  Res64: 64CA34F7A354E725  Time : 622.0 sec.
user=gd_barnes
[2009-08-14 00:30:33]
555*2^709033-1 is not prime.  Res64: 3100481681084993  Time : 3381.0 sec.
user=vaughan
[2009-08-14 00:32:17]
435*2^709043-1 is not prime.  Res64: CC56E6E9169F9383  Time : 477.0 sec.
user=gd_barnes
[2009-08-14 00:36:36]
447*2^709034-1 is not prime.  Res64: 39798E411AB6E72C  Time : 3376.0 sec.
user=gd_barnes
[2009-08-14 00:36:51]
521*2^709034-1 is not prime.  Res64: 03CBA47DB7EBBDD9  Time : 3379.0 sec.
user=gd_barnes
[2009-08-14 00:38:31]
471*2^709035-1 is not prime.  Res64: 2F949A03E79ADB74  Time : 3371.0 sec.
user=gd_barnes
[2009-08-14 00:39:18]
501*2^709035-1 is not prime.  Res64: 71BB071FA805A6CA  Time : 3381.0 sec.
user=vaughan
[2009-08-14 00:40:20]
563*2^709044-1 is not prime.  Res64: F7C88D4A76903CFA  Time : 483.0 sec.
user=vaughan
[2009-08-14 00:41:12]
525*2^709044-1 is not prime.  Res64: 4C50CFFCEA12E517  Time : 641.0 sec.
user=gd_barnes
[2009-08-14 00:41:48]
585*2^709035-1 is not prime.  Res64: 8926B42D04BB6FDB  Time : 3380.0 sec.
user=gd_barnes
[2009-08-14 00:47:53]
519*2^709036-1 is not prime.  Res64: C397F06B800EEE64  Time : 3378.0 sec.
user=gd_barnes
[2009-08-14 00:48:08]
537*2^709036-1 is not prime.  Res64: 961747BDD456498E  Time : 3380.0 sec.
user=vaughan
[2009-08-14 00:48:22]
511*2^709045-1 is not prime.  Res64: FDA58D196AF774AD  Time : 482.0 sec.
user=gd_barnes
[2009-08-14 00:49:43]
511*2^709037-1 is not prime.  Res64: CC67530E8194DC08  Time : 3371.0 sec.
user=gd_barnes
[2009-08-14 00:50:34]
571*2^709037-1 is not prime.  Res64: 2EE98E03DD01FB9E  Time : 3380.0 sec.
user=gd_barnes
[2009-08-14 00:53:05]
405*2^709038-1 is not prime.  Res64: 18FF804AE4C28E8A  Time : 3381.0 sec.
user=vaughan
[2009-08-14 00:54:17]
561*2^709045-1 is not prime.  Res64: E3441B80F2DA3526  Time : 785.0 sec.
user=vaughan
[2009-08-14 00:56:29]
501*2^709046-1 is not prime.  Res64: 289A658FE47F6F4E  Time : 487.0 sec.
user=gd_barnes
[2009-08-14 00:59:08]
463*2^709039-1 is not prime.  Res64: 0AD8D21DA7EA84C4  Time : 3378.0 sec.
user=gd_barnes
[2009-08-14 00:59:24]
489*2^709039-1 is not prime.  Res64: 70849D1B6E1F6AE2  Time : 3380.0 sec.
user=gd_barnes
[2009-08-14 01:00:56]
437*2^709040-1 is not prime.  Res64: F9C05ADB45E2F2D0  Time : 3364.0 sec.
user=gd_barnes
[2009-08-14 01:01:51]
455*2^709040-1 is not prime.  Res64: D3E786B3CD066ABB  Time : 3382.0 sec.
user=vaughan
[2009-08-14 01:04:19]
489*2^709048-1 is not prime.  Res64: F1D665A2C69047A7  Time : 470.0 sec.
user=gd_barnes
[2009-08-14 01:04:21]
593*2^709040-1 is not prime.  Res64: 213EB9E9D5834BEB  Time : 3380.0 sec.
user=vaughan
[2009-08-14 01:05:04]
595*2^709047-1 is not prime.  Res64: 4BBF5C608DEE0492  Time : 647.0 sec.
user=gd_barnes
[2009-08-14 01:10:24]
471*2^709041-1 is not prime.  Res64: 4A7F56FDC1C3586F  Time : 3379.0 sec.
user=gd_barnes
[2009-08-14 01:10:39]
517*2^709041-1 is not prime.  Res64: 7271D5596A646C47  Time : 3379.0 sec.
user=gd_barnes
[2009-08-14 01:12:08]
549*2^709041-1 is not prime.  Res64: 3086B7B3B4B057DF  Time : 3363.0 sec.
user=vaughan
[2009-08-14 01:12:17]
421*2^709049-1 is not prime.  Res64: D2929DBE165A7A06  Time : 478.0 sec.
user=gd_barnes
[2009-08-14 01:13:08]
447*2^709042-1 is not prime.  Res64: B8312E49B5D2FE19  Time : 3383.0 sec.
user=gd_barnes
[2009-08-14 01:15:37]
491*2^709042-1 is not prime.  Res64: 2C9B02BE728217D9  Time : 3380.0 sec.
user=vaughan
[2009-08-14 01:18:16]
465*2^709049-1 is not prime.  Res64: 2247B58B2906F666  Time : 793.0 sec.
user=vaughan
[2009-08-14 01:20:15]
453*2^709050-1 is not prime.  Res64: 1E93A2CDDD5B7326  Time : 478.0 sec.
user=gd_barnes
[2009-08-14 01:21:40]
445*2^709043-1 is not prime.  Res64: C6C8762547841E3D  Time : 3380.0 sec.
user=gd_barnes
[2009-08-14 01:21:55]
489*2^709043-1 is not prime.  Res64: 12758CA355CBD0CD  Time : 3379.0 sec.
user=gd_barnes
[2009-08-14 01:23:21]
549*2^709043-1 is not prime.  Res64: E9F4D2277E4E1560  Time : 3363.0 sec.
user=gd_barnes
[2009-08-14 01:24:28]
479*2^709044-1 is not prime.  Res64: C7854A7BFC85BE56  Time : 3387.0 sec.
user=gd_barnes
[2009-08-14 01:26:53]
549*2^709044-1 is not prime.  Res64: 94E5714CC520C9F1  Time : 3380.0 sec.
user=vaughan
[2009-08-14 01:28:16]
411*2^709051-1 is not prime.  Res64: 37A9A785CDD7CF6B  Time : 481.0 sec.
user=vaughan
[2009-08-14 01:30:02]
563*2^709050-1 is not prime.  Res64: F1CAC67D9D15709E  Time : 706.0 sec.
user=gd_barnes
[2009-08-14 01:32:55]
567*2^709044-1 is not prime.  Res64: 8657775EDA4F2F10  Time : 3379.0 sec.
user=gd_barnes
[2009-08-14 01:33:10]
597*2^709044-1 is not prime.  Res64: BA2BDE6E9D23689D  Time : 3379.0 sec.
user=gd_barnes
[2009-08-14 01:34:34]
405*2^709045-1 is not prime.  Res64: 88B41636A6EC3561  Time : 3363.0 sec.
user=gd_barnes
[2009-08-14 01:35:41]
465*2^709045-1 is not prime.  Res64: 805FED7A072283D1  Time : 3383.0 sec.
user=vaughan
[2009-08-14 01:36:08]
483*2^709052-1 is not prime.  Res64: F3D5F156E92E4699  Time : 472.0 sec.
user=gd_barnes
[2009-08-14 01:38:09]
455*2^709046-1 is not prime.  Res64: D3725599A3D21153  Time : 3381.0 sec.
user=vaughan
[2009-08-14 01:40:45]
495*2^709052-1 is not prime.  Res64: 21D02A479DBB8B2B  Time : 643.0 sec.
user=vaughan
[2009-08-14 01:44:00]
465*2^709054-1 is not prime.  Res64: F0164AF1C8C669E4  Time : 472.0 sec.
user=gd_barnes
[2009-08-14 01:44:11]
461*2^709046-1 is not prime.  Res64: C6D64F09F8D50714  Time : 3378.0 sec.
user=gd_barnes
[2009-08-14 01:44:27]
477*2^709046-1 is not prime.  Res64: 201887BBB28BA9EA  Time : 3379.0 sec.
user=gd_barnes
[2009-08-14 01:45:50]
557*2^709046-1 is not prime.  Res64: 47F66AE223149977  Time : 3367.0 sec.
user=gd_barnes
[2009-08-14 01:46:57]
453*2^709047-1 is not prime.  Res64: F4FF1C00ABE1F0D8  Time : 3383.0 sec.
user=gd_barnes
[2009-08-14 01:49:25]
513*2^709047-1 is not prime.  Res64: C5ECCC7CE8F3A224  Time : 3380.0 sec.
user=vaughan
[2009-08-14 01:51:59]
573*2^709055-1 is not prime.  Res64: 2C856EBF966D05AC  Time : 674.0 sec.
user=vaughan
[2009-08-14 01:52:04]
429*2^709056-1 is not prime.  Res64: 7D2D3CE285146DA2  Time : 484.0 sec.
user=gd_barnes
[2009-08-14 01:55:26]
495*2^709048-1 is not prime.  Res64: ECF36F632455B4A1  Time : 3378.0 sec.
user=gd_barnes
[2009-08-14 01:55:42]
539*2^709048-1 is not prime.  Res64: 20BE0A7E25988D2A  Time : 3379.0 sec.
user=gd_barnes
[2009-08-14 01:57:06]
563*2^709048-1 is not prime.  Res64: 58EEA33C28AEECDE  Time : 3370.0 sec.
user=gd_barnes
[2009-08-14 01:58:14]
411*2^709049-1 is not prime.  Res64: 1A828E728F56027A  Time : 3383.0 sec.
user=vaughan
[2009-08-14 01:59:56]
505*2^709057-1 is not prime.  Res64: 73E5A093877C5E66  Time : 472.0 sec.
user=gd_barnes
[2009-08-14 02:00:40]
459*2^709049-1 is not prime.  Res64: E2A2D6E292973432  Time : 3379.0 sec.
user=vaughan
[2009-08-14 02:03:42]
465*2^709057-1 is not prime.  Res64: D8D44A62C15CD770  Time : 703.0 sec.
user=gd_barnes
[2009-08-14 02:06:43]
501*2^709049-1 is not prime.  Res64: 365593935167EC7E  Time : 3379.0 sec.
user=gd_barnes
[2009-08-14 02:06:58]
559*2^709049-1 is not prime.  Res64: 7C53BC6F78D65CD2  Time : 3379.0 sec.
user=vaughan
[2009-08-14 02:07:48]
503*2^709058-1 is not prime.  Res64: 1580316CCA36FF38  Time : 472.0 sec.
user=gd_barnes
[2009-08-14 02:08:21]
567*2^709049-1 is not prime.  Res64: 45C93AFECC786755  Time : 3373.0 sec.
user=gd_barnes
[2009-08-14 02:09:30]
461*2^709050-1 is not prime.  Res64: D0EB00D8E0B9C57E  Time : 3383.0 sec.
user=gd_barnes
[2009-08-14 02:11:57]
543*2^709050-1 is not prime.  Res64: BF031010370E2508  Time : 3380.0 sec.
user=vaughan
[2009-08-14 02:15:42]
449*2^709060-1 is not prime.  Res64: CEB59281FCE44186  Time : 474.0 sec.
user=vaughan
[2009-08-14 02:16:33]
465*2^709059-1 is not prime.  Res64: B688EC3DA0B20F45  Time : 771.0 sec.
user=gd_barnes
[2009-08-14 02:17:58]
451*2^709051-1 is not prime.  Res64: 004A12CEF03AE0D3  Time : 3378.0 sec.
user=gd_barnes
[2009-08-14 02:18:13]
453*2^709051-1 is not prime.  Res64: F602A65610CE462D  Time : 3378.0 sec.
user=gd_barnes
[2009-08-14 02:19:37]
495*2^709051-1 is not prime.  Res64: 65D1DBEA6183298B  Time : 3376.0 sec.
user=gd_barnes
[2009-08-14 02:20:47]
413*2^709052-1 is not prime.  Res64: CB5FA5EA365287C8  Time : 3380.0 sec.
user=gd_barnes
[2009-08-14 02:23:12]
447*2^709052-1 is not prime.  Res64: 2DDFBFE313D1EBCE  Time : 3380.0 sec.
user=vaughan
[2009-08-14 02:23:37]
549*2^709060-1 is not prime.  Res64: 1C61B63E29B9B4E6  Time : 475.0 sec.
user=vaughan
[2009-08-14 02:27:28]
579*2^709060-1 is not prime.  Res64: F345E410AF4F7CAF  Time : 655.0 sec.
user=gd_barnes
[2009-08-14 02:29:14]
557*2^709052-1 is not prime.  Res64: 7F535C626B44D810  Time : 3379.0 sec.
user=gd_barnes
[2009-08-14 02:29:29]
579*2^709052-1 is not prime.  Res64: C60BF93BCACF69DD  Time : 3379.0 sec.
user=gd_barnes
[2009-08-14 02:30:52]
599*2^709052-1 is not prime.  Res64: 58493AA449AB2A6A  Time : 3379.0 sec.
user=vaughan
[2009-08-14 02:31:27]
401*2^709062-1 is not prime.  Res64: 5CAAD108C672192D  Time : 470.0 sec.
user=gd_barnes
[2009-08-14 02:32:03]
487*2^709053-1 is not prime.  Res64: 0C962F1D0CC85857  Time : 3382.0 sec.
user=gd_barnes
[2009-08-14 02:34:28]
501*2^709055-1 is not prime.  Res64: 53884DA91551F762  Time : 3379.0 sec.
user=vaughan
[2009-08-14 02:39:19]
493*2^709063-1 is not prime.  Res64: 12F4D5C004134FF3  Time : 472.0 sec.
user=vaughan
[2009-08-14 02:40:17]
425*2^709062-1 is not prime.  Res64: C3CC087062664C4E  Time : 769.0 sec.
user=gd_barnes
[2009-08-14 02:40:30]
473*2^709056-1 is not prime.  Res64: CB4A20ACF4917578  Time : 3379.0 sec.
user=gd_barnes
[2009-08-14 02:40:46]
509*2^709056-1 is not prime.  Res64: 5F52FE92688237E9  Time : 3379.0 sec.
user=gd_barnes
[2009-08-14 02:42:11]
537*2^709056-1 is not prime.  Res64: 97E90C7A70135569  Time : 3381.0 sec.
user=gd_barnes
[2009-08-14 02:43:20]
587*2^709056-1 is not prime.  Res64: A881AB5C2920E8D9  Time : 3383.0 sec.
user=gd_barnes
[2009-08-14 02:45:44]
457*2^709057-1 is not prime.  Res64: AFFE700B7CD434F9  Time : 3379.0 sec.
user=vaughan
[2009-08-14 02:47:09]
417*2^709064-1 is not prime.  Res64: ECE1B950B6C67E7A  Time : 470.0 sec.
user=vaughan
[2009-08-14 02:50:18]
465*2^709064-1 is not prime.  Res64: 6A55D3B88F02546B  Time : 601.0 sec.
user=gd_barnes
[2009-08-14 02:51:46]
517*2^709057-1 is not prime.  Res64: B012B8206658638D  Time : 3380.0 sec.
user=gd_barnes
[2009-08-14 02:52:01]
565*2^709057-1 is not prime.  Res64: 61EC8F549776A3DC  Time : 3379.0 sec.
user=gd_barnes
[2009-08-14 02:53:26]
467*2^709058-1 is not prime.  Res64: 9BC952D7766A8492  Time : 3380.0 sec.
user=gd_barnes
[2009-08-14 02:54:38]
497*2^709058-1 is not prime.  Res64: D427373E0E87CD74  Time : 3384.0 sec.
user=vaughan
[2009-08-14 02:54:59]
461*2^709066-1 is not prime.  Res64: 1810218CF49C3419  Time : 470.0 sec.
user=gd_barnes
[2009-08-14 02:57:01]
415*2^709059-1 is not prime.  Res64: 53C1E59CC4A1E4EF  Time : 3381.0 sec.
user=vaughan
[2009-08-14 03:02:53]
553*2^709067-1 is not prime.  Res64: 4EFCDA56FA2F4746  Time : 474.0 sec.
user=gd_barnes
[2009-08-14 03:03:01]
553*2^709059-1 is not prime.  Res64: 60A5ACC68B45D8EF  Time : 3378.0 sec.
user=vaughan
[2009-08-14 03:03:06]
513*2^709066-1 is not prime.  Res64: 1C2CD6402B235C4D  Time : 769.0 sec.
user=gd_barnes
[2009-08-14 03:03:18]
423*2^709060-1 is not prime.  Res64: A5CF0FC3D7282693  Time : 3380.0 sec.
user=gd_barnes
[2009-08-14 03:04:40]
455*2^709060-1 is not prime.  Res64: F3DEB35EEBD93D02  Time : 3379.0 sec.
user=gd_barnes
[2009-08-14 03:05:54]
495*2^709060-1 is not prime.  Res64: 15A23B8B31C14B42  Time : 3384.0 sec.
user=gd_barnes
[2009-08-14 03:08:17]
539*2^709060-1 is not prime.  Res64: 9555F59E890A529F  Time : 3380.0 sec.
user=vaughan
[2009-08-14 03:10:46]
413*2^709068-1 is not prime.  Res64: 2ABB65A2F07AB2F5  Time : 473.0 sec.
user=gd_barnes
[2009-08-14 03:14:18]
597*2^709060-1 is not prime.  Res64: 500FE0DEB8DABF03  Time : 3380.0 sec.
user=gd_barnes
[2009-08-14 03:14:34]
489*2^709061-1 is not prime.  Res64: BFC68243FAD47BE7  Time : 3381.0 sec.
user=vaughan
[2009-08-14 03:15:18]
555*2^709068-1 is not prime.  Res64: 6919CEFADEF492ED  Time : 732.0 sec.
user=gd_barnes
[2009-08-14 03:15:58]
507*2^709061-1 is not prime.  Res64: BDACB3901824CC0C  Time : 3382.0 sec.
user=gd_barnes
[2009-08-14 03:17:12]
549*2^709061-1 is not prime.  Res64: 4C1C7A6B60E78028  Time : 3385.0 sec.
user=vaughan
[2009-08-14 03:18:39]
465*2^709071-1 is not prime.  Res64: 23C1BF3C2716F90D  Time : 473.0 sec.
user=gd_barnes
[2009-08-14 03:19:34]
561*2^709061-1 is not prime.  Res64: 90F4B815E19D0398  Time : 3382.0 sec.
user=gd_barnes
[2009-08-14 03:25:35]
431*2^709062-1 is not prime.  Res64: 266AD4484BC2D64F  Time : 3381.0 sec.
user=gd_barnes
[2009-08-14 03:25:50]
513*2^709062-1 is not prime.  Res64: 2BC8EE25DC071942  Time : 3381.0 sec.
user=vaughan
[2009-08-14 03:26:35]
511*2^709073-1 is not prime.  Res64: F740258C44642ACF  Time : 476.0 sec.
user=gd_barnes
[2009-08-14 03:27:12]
411*2^709063-1 is not prime.  Res64: 0708E77C6A2160A0  Time : 3380.0 sec.
user=gd_barnes
[2009-08-14 03:28:27]
499*2^709063-1 is not prime.  Res64: E474252268ADB91F  Time : 3384.0 sec.
user=vaughan
[2009-08-14 03:28:59]
429*2^709072-1 is not prime.  Res64: 242BA11D6E7E4053  Time : 821.0 sec.
user=gd_barnes
[2009-08-14 03:30:51]
595*2^709063-1 is not prime.  Res64: 5585E7320EF0B463  Time : 3383.0 sec.
user=vaughan
[2009-08-14 03:34:23]
531*2^709074-1 is not prime.  Res64: 7554A47B57B0CF2E  Time : 468.0 sec.
user=gd_barnes
[2009-08-14 03:36:51]
481*2^709065-1 is not prime.  Res64: B5E4EC3906AC54BE  Time : 3381.0 sec.
user=gd_barnes
[2009-08-14 03:37:06]
507*2^709065-1 is not prime.  Res64: 9E8A7E3154DD2AA9  Time : 3380.0 sec.
user=vaughan
[2009-08-14 03:38:07]
495*2^709075-1 is not prime.  Res64: CE4164BB8AD4FD70  Time : 548.0 sec.
user=gd_barnes
[2009-08-14 03:38:27]
555*2^709065-1 is not prime.  Res64: ACD658A4850E30A9  Time : 3376.0 sec.
user=gd_barnes
[2009-08-14 03:39:44]
411*2^709066-1 is not prime.  Res64: B743765C7CFD6F15  Time : 3384.0 sec.
user=gd_barnes
[2009-08-14 03:42:07]
443*2^709066-1 is not prime.  Res64: 1E9ECADFFC5A1A0A  Time : 3383.0 sec.
user=vaughan
[2009-08-14 03:42:08]
555*2^709075-1 is not prime.  Res64: A1441943BA0D2182  Time : 465.0 sec.
user=vaughan
[2009-08-14 03:48:01]
515*2^709076-1 is not prime.  Res64: 0F7291484CF8B8EA  Time : 594.0 sec.
user=gd_barnes
[2009-08-14 03:48:07]
545*2^709066-1 is not prime.  Res64: 1F8DBA261AA8E6ED  Time : 3381.0 sec.
user=gd_barnes
[2009-08-14 03:48:22]
587*2^709066-1 is not prime.  Res64: 7BB957208B488A76  Time : 3381.0 sec.
user=gd_barnes
[2009-08-14 03:49:46]
435*2^709067-1 is not prime.  Res64: 953C51BBCCA9AF91  Time : 3380.0 sec.
user=vaughan
[2009-08-14 03:50:01]
511*2^709077-1 is not prime.  Res64: 345898821F6A0B04  Time : 473.0 sec.
user=gd_barnes
[2009-08-14 03:51:00]
549*2^709067-1 is not prime.  Res64: 296CE064C68DF1D9  Time : 3383.0 sec.
user=gd_barnes
[2009-08-14 03:53:24]
405*2^709068-1 is not prime.  Res64: 23F2E443AFD77433  Time : 3383.0 sec.
user=vaughan
[2009-08-14 03:58:00]
555*2^709078-1 is not prime.  Res64: 2123214C27724134  Time : 479.0 sec.
user=gd_barnes
[2009-08-14 03:59:23]
525*2^709068-1 is not prime.  Res64: 579EBFE88983EC03  Time : 3382.0 sec.
user=gd_barnes
[2009-08-14 03:59:38]
457*2^709069-1 is not prime.  Res64: 55D8EA27480247E7  Time : 3380.0 sec.
user=vaughan
[2009-08-14 03:59:57]
549*2^709077-1 is not prime.  Res64: 3764CC4FDFA3C008  Time : 717.0 sec.
user=gd_barnes
[2009-08-14 04:01:05]
547*2^709069-1 is not prime.  Res64: A8BC81FBD28F8989  Time : 3385.0 sec.
user=gd_barnes
[2009-08-14 04:02:17]
521*2^709070-1 is not prime.  Res64: 7EB71FE6D2B9A741  Time : 3383.0 sec.
user=gd_barnes
[2009-08-14 04:04:41]
429*2^709071-1 is not prime.  Res64: 7C9828EB47187F86  Time : 3384.0 sec.
user=vaughan
[2009-08-14 04:05:59]
565*2^709079-1 is not prime.  Res64: 6BC073953C239454  Time : 479.0 sec.
user=vaughan
[2009-08-14 04:10:29]
527*2^709080-1 is not prime.  Res64: 462D0D8C0ACFDDCA  Time : 632.0 sec.
user=gd_barnes
[2009-08-14 04:10:38]
513*2^709071-1 is not prime.  Res64: 40948D4C75128527  Time : 3380.0 sec.
user=gd_barnes
[2009-08-14 04:10:54]
419*2^709072-1 is not prime.  Res64: 6CE49FD595E4A96B  Time : 3380.0 sec.
user=gd_barnes
[2009-08-14 04:12:22]
533*2^709072-1 is not prime.  Res64: 8CA16DAA0A3D3D96  Time : 3384.0 sec.
user=gd_barnes
[2009-08-14 04:13:33]
435*2^709073-1 is not prime.  Res64: 55637323A39492C4  Time : 3381.0 sec.
user=vaughan
[2009-08-14 04:13:51]
549*2^709081-1 is not prime.  Res64: 6ECE4102360B1A75  Time : 472.0 sec.
user=gd_barnes
[2009-08-14 04:15:56]
517*2^709073-1 is not prime.  Res64: E1307C07A5D1C16F  Time : 3382.0 sec.
user=vaughan
[2009-08-14 04:19:55]
431*2^709082-1 is not prime.  Res64: E8327977C991E158  Time : 566.0 sec.
user=vaughan
[2009-08-14 04:21:43]
581*2^709082-1 is not prime.  Res64: AC42FEB7F0449E3B  Time : 472.0 sec.
user=gd_barnes
[2009-08-14 04:21:55]
549*2^709073-1 is not prime.  Res64: BDE36DBE0BB24D5B  Time : 3381.0 sec.
user=gd_barnes
[2009-08-14 04:22:10]
577*2^709073-1 is not prime.  Res64: 526DF30148AE1E3D  Time : 3380.0 sec.
user=gd_barnes
[2009-08-14 04:23:38]
563*2^709074-1 is not prime.  Res64: F0B2CCC890C0EC70  Time : 3386.0 sec.
user=gd_barnes
[2009-08-14 04:24:50]
433*2^709075-1 is not prime.  Res64: 13781F16210CB15B  Time : 3383.0 sec.
user=gd_barnes
[2009-08-14 04:27:13]
511*2^709075-1 is not prime.  Res64: 7499E6FA6E0A5DE2  Time : 3382.0 sec.
user=vaughan
[2009-08-14 04:28:56]
471*2^709083-1 is not prime.  Res64: FCC20F0382711E6D  Time : 541.0 sec.
user=vaughan
[2009-08-14 04:29:32]
489*2^709083-1 is not prime.  Res64: EBA8F4C8475E6A66  Time : 469.0 sec.
user=gd_barnes
[2009-08-14 04:33:11]
589*2^709075-1 is not prime.  Res64: DB95E01014102D61  Time : 3380.0 sec.
user=gd_barnes
[2009-08-14 04:33:26]
595*2^709075-1 is not prime.  Res64: F864DE5E0A29E6F4  Time : 3380.0 sec.
user=gd_barnes
[2009-08-14 04:34:51]
573*2^709076-1 is not prime.  Res64: 667608E82ED71176  Time : 3384.0 sec.
user=gd_barnes
[2009-08-14 04:36:07]
417*2^709077-1 is not prime.  Res64: 5AC29A62EE0E518A  Time : 3383.0 sec.
user=vaughan
[2009-08-14 04:37:23]
513*2^709084-1 is not prime.  Res64: 243002916ECA6EAC  Time : 471.0 sec.
user=vaughan
[2009-08-14 04:37:43]
483*2^709084-1 is not prime.  Res64: A9865E20CEF23EE9  Time : 528.0 sec.
user=gd_barnes
[2009-08-14 04:38:29]
475*2^709077-1 is not prime.  Res64: 28EC39C2D3130648  Time : 3382.0 sec.
user=gd_barnes
[2009-08-14 04:44:27]
401*2^709078-1 is not prime.  Res64: C1AE620586DC44F8  Time : 3380.0 sec.
user=gd_barnes
[2009-08-14 04:44:41]
491*2^709078-1 is not prime.  Res64: C8A7B17F753B8FE1  Time : 3379.0 sec.
user=vaughan
[2009-08-14 04:45:05]
481*2^709085-1 is not prime.  Res64: 2A0F741F94DE6064  Time : 462.0 sec.
user=vaughan
[2009-08-14 04:45:55]
507*2^709085-1 is not prime.  Res64: A682197088B58F7F  Time : 492.0 sec.
user=gd_barnes
[2009-08-14 04:46:03]
533*2^709078-1 is not prime.  Res64: 4F8E04EC38F34369  Time : 3377.0 sec.
user=gd_barnes
[2009-08-14 04:47:22]
463*2^709079-1 is not prime.  Res64: 5B5F54AF4B94BF67  Time : 3382.0 sec.
user=gd_barnes
[2009-08-14 04:49:46]
559*2^709079-1 is not prime.  Res64: F53C219D067E2F90  Time : 3382.0 sec.
user=vaughan
[2009-08-14 04:52:46]
581*2^709086-1 is not prime.  Res64: D63DB08310D8C36E  Time : 461.0 sec.
user=vaughan
[2009-08-14 04:53:45]
591*2^709086-1 is not prime.  Res64: E866A86856BA0F2B  Time : 470.0 sec.
user=gd_barnes
[2009-08-14 04:55:44]
455*2^709080-1 is not prime.  Res64: 807AA3F7504D1F03  Time : 3381.0 sec.
user=gd_barnes
[2009-08-14 04:55:57]
465*2^709080-1 is not prime.  Res64: BA429EA3A69B4E9B  Time : 3380.0 sec.
user=gd_barnes
[2009-08-14 04:57:16]
557*2^709080-1 is not prime.  Res64: 64F796320F4167E3  Time : 3371.0 sec.
user=gd_barnes
[2009-08-14 04:58:39]
411*2^709081-1 is not prime.  Res64: 7F19DF4E5B46BDFB  Time : 3382.0 sec.
user=vaughan
[2009-08-14 05:00:27]
579*2^709087-1 is not prime.  Res64: 7E50741E9E2CC5FE  Time : 461.0 sec.
user=gd_barnes
[2009-08-14 05:01:03]
517*2^709081-1 is not prime.  Res64: 29FAC7287117D3FA  Time : 3383.0 sec.
user=vaughan
[2009-08-14 05:01:41]
489*2^709088-1 is not prime.  Res64: 78FDB19BED445BB4  Time : 476.0 sec.
user=gd_barnes
[2009-08-14 05:06:59]
447*2^709082-1 is not prime.  Res64: 87DE5E2514B08932  Time : 3381.0 sec.
user=gd_barnes
[2009-08-14 05:07:14]
501*2^709082-1 is not prime.  Res64: 9B201325D6F4C213  Time : 3380.0 sec.
user=vaughan
[2009-08-14 05:08:07]
571*2^709089-1 is not prime.  Res64: 72C386FC9436E087  Time : 460.0 sec.
user=gd_barnes
[2009-08-14 05:08:29]
563*2^709082-1 is not prime.  Res64: 3D3ABB5541D944D2  Time : 3367.0 sec.
user=vaughan
[2009-08-14 05:09:21]
425*2^709090-1 is not prime.  Res64: E5B2B5D43C071895  Time : 460.0 sec.
user=gd_barnes
[2009-08-14 05:09:55]
567*2^709082-1 is not prime.  Res64: 21ACA9C110546651  Time : 3382.0 sec.
user=gd_barnes
[2009-08-14 05:12:18]
415*2^709083-1 is not prime.  Res64: F634C3D9163A122F  Time : 3382.0 sec.
user=vaughan
[2009-08-14 05:15:48]
521*2^709090-1 is not prime.  Res64: DBEF7BD6E298AAE6  Time : 461.0 sec.
user=vaughan
[2009-08-14 05:17:38]
459*2^709091-1 is not prime.  Res64: C400404FD7917C39  Time : 497.0 sec.
user=gd_barnes
[2009-08-14 05:18:15]
523*2^709083-1 is not prime.  Res64: 9615ED1279AD1313  Time : 3380.0 sec.
user=gd_barnes
[2009-08-14 05:18:29]
571*2^709083-1 is not prime.  Res64: 09B8F6D0AA8351D7  Time : 3379.0 sec.
user=gd_barnes
[2009-08-14 05:19:44]
583*2^709083-1 is not prime.  Res64: BC13302438833A96  Time : 3366.0 sec.
user=gd_barnes
[2009-08-14 05:21:12]
447*2^709084-1 is not prime.  Res64: 7A48A7B5BB4A1D0E  Time : 3382.0 sec.
user=gd_barnes
[2009-08-14 05:23:35]
479*2^709084-1 is not prime.  Res64: 8013A55B94DB15FF  Time : 3382.0 sec.
user=vaughan
[2009-08-14 05:23:38]
453*2^709092-1 is not prime.  Res64: 63B37525740446EF  Time : 470.0 sec.
user=vaughan
[2009-08-14 05:27:51]
467*2^709092-1 is not prime.  Res64: EA6DB247AC5D69B2  Time : 613.0 sec.
user=gd_barnes
[2009-08-14 05:29:32]
549*2^709084-1 is not prime.  Res64: 0D267B372C505D91  Time : 3381.0 sec.
user=gd_barnes
[2009-08-14 05:29:45]
421*2^709085-1 is not prime.  Res64: D16EC77F5EC10B22  Time : 3380.0 sec.
user=gd_barnes
[2009-08-14 05:30:56]
441*2^709085-1 is not prime.  Res64: BDA7998B8D13D215  Time : 3366.0 sec.
user=vaughan
[2009-08-14 05:31:38]
425*2^709094-1 is not prime.  Res64: 8CC0DEC81AE15EB2  Time : 480.0 sec.
user=gd_barnes
[2009-08-14 05:32:29]
445*2^709085-1 is not prime.  Res64: 577A2B3367FFD413  Time : 3383.0 sec.
user=gd_barnes
[2009-08-14 05:34:50]
567*2^709085-1 is not prime.  Res64: F7A977D460E69F5C  Time : 3381.0 sec.
user=vaughan
[2009-08-14 05:39:27]
433*2^709095-1 is not prime.  Res64: 03F04353B6ED836E  Time : 696.0 sec.
user=vaughan
[2009-08-14 05:39:37]
569*2^709096-1 is not prime.  Res64: E28E467AB5F209C0  Time : 479.0 sec.
user=gd_barnes
[2009-08-14 05:40:47]
483*2^709086-1 is not prime.  Res64: 2A2EF756A03C7717  Time : 3380.0 sec.
user=gd_barnes
[2009-08-14 05:41:01]
513*2^709086-1 is not prime.  Res64: 5A251476B0032973  Time : 3380.0 sec.
user=gd_barnes
[2009-08-14 05:42:10]
405*2^709087-1 is not prime.  Res64: E4BAB13BAA8DCC97  Time : 3367.0 sec.
user=gd_barnes
[2009-08-14 05:43:46]
519*2^709087-1 is not prime.  Res64: 07E9E1D723DD0586  Time : 3384.0 sec.
user=gd_barnes
[2009-08-14 05:46:07]
573*2^709087-1 is not prime.  Res64: C6CBAA6F72BEEF5C  Time : 3381.0 sec.
user=vaughan
[2009-08-14 05:47:31]
437*2^709098-1 is not prime.  Res64: 3E12FA18275B2D37  Time : 474.0 sec.
user=vaughan
[2009-08-14 05:49:12]
431*2^709098-1 is not prime.  Res64: A2C87DE2A36C3DC2  Time : 585.0 sec.
user=gd_barnes
[2009-08-14 05:52:04]
525*2^709088-1 is not prime.  Res64: 27542A69A5580E3E  Time : 3381.0 sec.
user=gd_barnes
[2009-08-14 05:52:17]
563*2^709088-1 is not prime.  Res64: 0981EC17A81E1B63  Time : 3380.0 sec.
user=gd_barnes
[2009-08-14 05:53:26]
441*2^709089-1 is not prime.  Res64: 996BE8E9CF0BA5C1  Time : 3370.0 sec.
user=gd_barnes
[2009-08-14 05:55:03]
487*2^709089-1 is not prime.  Res64: 17D9D8900BEF61AB  Time : 3384.0 sec.
user=vaughan
[2009-08-14 05:55:28]
595*2^709099-1 is not prime.  Res64: CF5A3C0D8AEC50DC  Time : 477.0 sec.
user=gd_barnes
[2009-08-14 05:57:23]
413*2^709090-1 is not prime.  Res64: 33F444847F00B37B  Time : 3381.0 sec.
user=vaughan
[2009-08-14 05:59:55]
417*2^709100-1 is not prime.  Res64: 915AC39B7EFBE71A  Time : 643.0 sec.
user=gd_barnes
[2009-08-14 06:03:20]
443*2^709090-1 is not prime.  Res64: 8737DFB07D24B8A3  Time : 3381.0 sec.
user=vaughan
[2009-08-14 06:03:22]
465*2^709101-1 is not prime.  Res64: 95336CB0FB1AE39E  Time : 474.0 sec.
user=gd_barnes
[2009-08-14 06:03:34]
483*2^709090-1 is not prime.  Res64: DD8E5A99033FFF96  Time : 3380.0 sec.
user=gd_barnes
[2009-08-14 06:05:15]
561*2^709090-1 is not prime.  Res64: 8DDC6A7CE942C654  Time : 3406.0 sec.
user=gd_barnes
[2009-08-14 06:06:19]
465*2^709091-1 is not prime.  Res64: FB5B410ED4EB10B9  Time : 3384.0 sec.
user=gd_barnes
[2009-08-14 06:08:39]
571*2^709091-1 is not prime.  Res64: 956D8E530E9EE5AA  Time : 3381.0 sec.
user=vaughan
[2009-08-14 06:10:39]
507*2^709101-1 is not prime.  Res64: D7EF5CC146438DD2  Time : 645.0 sec.
user=vaughan
[2009-08-14 06:11:22]
579*2^709101-1 is not prime.  Res64: 7A027CB5897E42B0  Time : 480.0 sec.
user=gd_barnes
[2009-08-14 06:14:36]
503*2^709092-1 is not prime.  Res64: F4D62B56C9065EB9  Time : 3381.0 sec.
user=gd_barnes
[2009-08-14 06:14:48]
549*2^709092-1 is not prime.  Res64: 91898B127602C324  Time : 3379.0 sec.
user=gd_barnes
[2009-08-14 06:16:36]
579*2^709092-1 is not prime.  Res64: 56FDAB6D0416729B  Time : 3412.0 sec.
user=gd_barnes
[2009-08-14 06:17:37]
587*2^709092-1 is not prime.  Res64: 3C7143A3718674B1  Time : 3385.0 sec.
user=vaughan
[2009-08-14 06:19:17]
419*2^709104-1 is not prime.  Res64: 7DA5AD87E75760F9  Time : 475.0 sec.
user=gd_barnes
[2009-08-14 06:19:55]
481*2^709093-1 is not prime.  Res64: 9D71B7B8A3742592  Time : 3380.0 sec.
user=vaughan
[2009-08-14 06:21:17]
571*2^709103-1 is not prime.  Res64: B38300F548704CBE  Time : 638.0 sec.
user=gd_barnes
[2009-08-14 06:25:51]
511*2^709095-1 is not prime.  Res64: 8C0D076E6345C0A0  Time : 3379.0 sec.
user=gd_barnes
[2009-08-14 06:26:04]
483*2^709096-1 is not prime.  Res64: 53B02AA3699F8A15  Time : 3379.0 sec.
user=vaughan
[2009-08-14 06:27:12]
555*2^709104-1 is not prime.  Res64: DA628535933EAECC  Time : 475.0 sec.
user=gd_barnes
[2009-08-14 06:27:49]
537*2^709096-1 is not prime.  Res64: CA1D4183D6801241  Time : 3413.0 sec.
user=gd_barnes
[2009-08-14 06:28:54]
511*2^709097-1 is not prime.  Res64: 97551AFC5E07EE4B  Time : 3385.0 sec.
user=vaughan
[2009-08-14 06:30:40]
563*2^709104-1 is not prime.  Res64: FF71B892FFFA814E  Time : 563.0 sec.
user=gd_barnes
[2009-08-14 06:31:11]
589*2^709097-1 is not prime.  Res64: BE31EAB5CA07D303  Time : 3381.0 sec.
user=vaughan
[2009-08-14 06:35:09]
481*2^709105-1 is not prime.  Res64: 24B3EBA921D137D9  Time : 477.0 sec.
user=gd_barnes
[2009-08-14 06:37:07]
465*2^709098-1 is not prime.  Res64: 88B9DC2C94C38F8D  Time : 3380.0 sec.
user=gd_barnes
[2009-08-14 06:37:20]
503*2^709098-1 is not prime.  Res64: 1133533BE58FB788  Time : 3379.0 sec.
user=gd_barnes
[2009-08-14 06:39:05]
421*2^709099-1 is not prime.  Res64: C8FC034EAD34AF5B  Time : 3416.0 sec.
user=gd_barnes
[2009-08-14 06:40:11]
439*2^709099-1 is not prime.  Res64: 0F2D521AC89C32CF  Time : 3385.0 sec.
user=vaughan
[2009-08-14 06:41:45]
501*2^709106-1 is not prime.  Res64: D6922DC52E268C35  Time : 665.0 sec.
user=gd_barnes
[2009-08-14 06:42:27]
483*2^709099-1 is not prime.  Res64: 35FB71A6D97730C2  Time : 3380.0 sec.
user=vaughan
[2009-08-14 06:42:57]
545*2^709106-1 is not prime.  Res64: 6D0183EF7FE9BC3B  Time : 468.0 sec.
user=gd_barnes
[2009-08-14 06:48:24]
455*2^709100-1 is not prime.  Res64: C74550B67939B967  Time : 3380.0 sec.
user=gd_barnes
[2009-08-14 06:48:36]
585*2^709100-1 is not prime.  Res64: 3E8D2FF1AF89943A  Time : 3379.0 sec.
user=gd_barnes
[2009-08-14 06:50:24]
427*2^709101-1 is not prime.  Res64: 522A14A770EB31A4  Time : 3418.0 sec.
user=vaughan
[2009-08-14 06:50:26]
493*2^709107-1 is not prime.  Res64: 3809C6773F93900E  Time : 521.0 sec.
user=vaughan
[2009-08-14 06:50:43]
553*2^709107-1 is not prime.  Res64: 0834A49B6044CFAB  Time : 466.0 sec.
user=gd_barnes
[2009-08-14 06:51:27]
459*2^709101-1 is not prime.  Res64: 16773C1B7B5E9C12  Time : 3385.0 sec.
user=gd_barnes
[2009-08-14 06:53:43]
471*2^709101-1 is not prime.  Res64: E06953EA797686BC  Time : 3380.0 sec.
user=vaughan
[2009-08-14 06:58:32]
437*2^709108-1 is not prime.  Res64: AA5542942C243285  Time : 469.0 sec.
user=gd_barnes
[2009-08-14 06:59:39]
559*2^709101-1 is not prime.  Res64: 498FAD3FE86B3A78  Time : 3379.0 sec.
user=vaughan
[2009-08-14 06:59:43]
435*2^709108-1 is not prime.  Res64: CA17775F3BC99390  Time : 557.0 sec.
user=gd_barnes
[2009-08-14 06:59:52]
597*2^709101-1 is not prime.  Res64: 321C7D1D6E467CBC  Time : 3378.0 sec.
user=gd_barnes
[2009-08-14 07:01:42]
455*2^709102-1 is not prime.  Res64: 5E3B4B0F35BD9EF9  Time : 3387.0 sec.
user=gd_barnes
[2009-08-14 07:02:44]
523*2^709103-1 is not prime.  Res64: CA21B74F58394D34  Time : 3385.0 sec.
user=gd_barnes
[2009-08-14 07:04:59]
553*2^709103-1 is not prime.  Res64: AE93CCBDD86E44AE  Time : 3380.0 sec.
user=vaughan
[2009-08-14 07:06:18]
465*2^709108-1 is not prime.  Res64: 08848A7EE4F659C6  Time : 466.0 sec.
user=vaughan
[2009-08-14 07:09:03]
513*2^709108-1 is not prime.  Res64: D097921157C5DB3D  Time : 560.0 sec.
user=gd_barnes
[2009-08-14 07:10:56]
453*2^709104-1 is not prime.  Res64: 14378A95901D6783  Time : 3380.0 sec.
user=gd_barnes
[2009-08-14 07:11:08]
473*2^709104-1 is not prime.  Res64: E30FEC31DD3B41AD  Time : 3380.0 sec.
user=gd_barnes
[2009-08-14 07:13:03]
509*2^709104-1 is not prime.  Res64: 4CC0AC6EC6BBF066  Time : 3387.0 sec.
user=gd_barnes
[2009-08-14 07:14:02]
527*2^709104-1 is not prime.  Res64: 298F5251F47400F6  Time : 3385.0 sec.
user=vaughan
[2009-08-14 07:14:14]
481*2^709109-1 is not prime.  Res64: 5BC76C82718A73D9  Time : 476.0 sec.
user=gd_barnes
[2009-08-14 07:16:15]
557*2^709104-1 is not prime.  Res64: 3ECFF970DC948E21  Time : 3380.0 sec.
user=vaughan
[2009-08-14 07:17:58]
405*2^709110-1 is not prime.  Res64: C032E3A571D0D1CD  Time : 535.0 sec.
user=vaughan
[2009-08-14 07:22:03]
557*2^709110-1 is not prime.  Res64: D4199783009C8A8C  Time : 469.0 sec.
user=gd_barnes
[2009-08-14 07:22:11]
587*2^709104-1 is not prime.  Res64: 1E272F9274839689  Time : 3380.0 sec.
user=gd_barnes
[2009-08-14 07:22:23]
597*2^709104-1 is not prime.  Res64: 02396D3719826449  Time : 3379.0 sec.
user=gd_barnes
[2009-08-14 07:24:19]
525*2^709105-1 is not prime.  Res64: 5A5F0D034D44EB6A  Time : 3390.0 sec.
user=gd_barnes
[2009-08-14 07:25:18]
535*2^709105-1 is not prime.  Res64: E11A4C11E4C91365  Time : 3384.0 sec.
user=vaughan
[2009-08-14 07:27:08]
441*2^709111-1 is not prime.  Res64: E60C4DA58A7146F6  Time : 550.0 sec.
user=gd_barnes
[2009-08-14 07:27:31]
537*2^709106-1 is not prime.  Res64: EB742971A500BB06  Time : 3380.0 sec.
user=vaughan
[2009-08-14 07:29:50]
519*2^709111-1 is not prime.  Res64: 90DAF26C634524D0  Time : 467.0 sec.
user=gd_barnes
[2009-08-14 07:33:28]
403*2^709107-1 is not prime.  Res64: E45B99B7F7341850  Time : 3381.0 sec.
user=gd_barnes
[2009-08-14 07:33:38]
409*2^709107-1 is not prime.  Res64: 0C6354AF5CC73D7F  Time : 3378.0 sec.
user=gd_barnes
[2009-08-14 07:35:35]
439*2^709107-1 is not prime.  Res64: B6DFA507022ADE44  Time : 3390.0 sec.
user=vaughan
[2009-08-14 07:36:05]
597*2^709113-1 is not prime.  Res64: 86A9DE7A90E861EA  Time : 537.0 sec.
user=gd_barnes
[2009-08-14 07:36:35]
489*2^709107-1 is not prime.  Res64: D30A4F8EE0B62430  Time : 3384.0 sec.
user=vaughan
[2009-08-14 07:37:43]
435*2^709114-1 is not prime.  Res64: 176A41EB65AC4CDE  Time : 474.0 sec.
user=gd_barnes
[2009-08-14 07:38:48]
529*2^709107-1 is not prime.  Res64: 41C3955CA98A8F2C  Time : 3381.0 sec.
user=gd_barnes
[2009-08-14 07:44:44]
579*2^709107-1 is not prime.  Res64: 355FD4D3385EAEFD  Time : 3381.0 sec.
user=gd_barnes
[2009-08-14 07:44:54]
405*2^709108-1 is not prime.  Res64: 3285D61F5793E944  Time : 3379.0 sec.
user=vaughan
[2009-08-14 07:45:36]
479*2^709116-1 is not prime.  Res64: CECD72B813D1E36A  Time : 473.0 sec.
user=vaughan
[2009-08-14 07:45:42]
481*2^709115-1 is not prime.  Res64: 2406901F0DDA95D3  Time : 578.0 sec.
user=gd_barnes
[2009-08-14 07:46:55]
413*2^709108-1 is not prime.  Res64: B3888392E0907578  Time : 3391.0 sec.
user=gd_barnes
[2009-08-14 07:47:52]
443*2^709108-1 is not prime.  Res64: 5561769991237756  Time : 3385.0 sec.
user=gd_barnes
[2009-08-14 07:50:03]
453*2^709108-1 is not prime.  Res64: CC7EBB2DAE7F368D  Time : 3380.0 sec.
user=vaughan
[2009-08-14 07:53:32]
561*2^709117-1 is not prime.  Res64: 6E220D3D26B1C461  Time : 476.0 sec.
user=gd_barnes
[2009-08-14 07:56:01]
489*2^709108-1 is not prime.  Res64: DFE662ED8F55C63C  Time : 3382.0 sec.
user=gd_barnes
[2009-08-14 07:56:10]
421*2^709109-1 is not prime.  Res64: 72E8368CB5DD9C98  Time : 3378.0 sec.
user=vaughan
[2009-08-14 07:57:51]
589*2^709117-1 is not prime.  Res64: 09FC044CEF96080C  Time : 730.0 sec.
user=gd_barnes
[2009-08-14 07:58:09]
435*2^709109-1 is not prime.  Res64: 8EF4C8A16147A60B  Time : 3387.0 sec.
user=gd_barnes
[2009-08-14 07:59:09]
451*2^709109-1 is not prime.  Res64: B7C2BCA727E0FE99  Time : 3385.0 sec.
user=gd_barnes
[2009-08-14 08:01:20]
459*2^709109-1 is not prime.  Res64: ACCB93135F73BFA2  Time : 3381.0 sec.
user=vaughan
[2009-08-14 08:01:22]
451*2^709119-1 is not prime.  Res64: FA2C2B046B5CA504  Time : 470.0 sec.
user=gd_barnes
[2009-08-14 08:07:16]
473*2^709110-1 is not prime.  Res64: 709173BF09D48DAF  Time : 3380.0 sec.
user=gd_barnes
[2009-08-14 08:07:25]
501*2^709110-1 is not prime.  Res64: 33549306D7F2D0A5  Time : 3377.0 sec.
user=vaughan
[2009-08-14 08:07:32]
405*2^709120-1 is not prime.  Res64: 5BA9977491BB7A3A  Time : 582.0 sec.
user=vaughan
[2009-08-14 08:09:09]
487*2^709121-1 is not prime.  Res64: 2D8106E2CB5D9E26  Time : 467.0 sec.
user=gd_barnes
[2009-08-14 08:09:22]
503*2^709110-1 is not prime.  Res64: AA96E06A2AE80384  Time : 3379.0 sec.
user=gd_barnes
[2009-08-14 08:10:27]
543*2^709110-1 is not prime.  Res64: F0354C9F149668E9  Time : 3386.0 sec.
user=gd_barnes
[2009-08-14 08:12:36]
423*2^709111-1 is not prime.  Res64: 783043E342CDE7D4  Time : 3381.0 sec.
user=vaughan
[2009-08-14 08:16:58]
563*2^709122-1 is not prime.  Res64: C63CD223EB74A1D8  Time : 470.0 sec.
user=vaughan
[2009-08-14 08:17:55]
527*2^709122-1 is not prime.  Res64: C4EFAC278DC97135  Time : 624.0 sec.
user=gd_barnes
[2009-08-14 08:18:33]
459*2^709112-1 is not prime.  Res64: 178C9E4C4E5B3C65  Time : 3382.0 sec.
user=gd_barnes
[2009-08-14 08:18:41]
507*2^709112-1 is not prime.  Res64: 74E754AE577EE7FE  Time : 3378.0 sec.
user=gd_barnes
[2009-08-14 08:20:34]
515*2^709112-1 is not prime.  Res64: D69CF182EA40E787  Time : 3375.0 sec.
user=gd_barnes
[2009-08-14 08:21:43]
439*2^709113-1 is not prime.  Res64: 84269DAED17B12DE  Time : 3385.0 sec.
user=gd_barnes
[2009-08-14 08:23:52]
423*2^709114-1 is not prime.  Res64: BADC066E7E6532EA  Time : 3381.0 sec.
user=vaughan
[2009-08-14 08:24:49]
495*2^709123-1 is not prime.  Res64: E7BA86BEDD97316D  Time : 471.0 sec.
user=vaughan
[2009-08-14 08:28:20]
573*2^709123-1 is not prime.  Res64: 6D7EE18FD66BB60F  Time : 626.0 sec.
user=gd_barnes
[2009-08-14 08:29:49]
477*2^709114-1 is not prime.  Res64: 125C1AC780F79BF3  Time : 3381.0 sec.
user=gd_barnes
[2009-08-14 08:29:56]
491*2^709114-1 is not prime.  Res64: 92AB817D9547FBE5  Time : 3378.0 sec.
user=gd_barnes
[2009-08-14 08:31:47]
465*2^709115-1 is not prime.  Res64: D9C9DD656D0F52A4  Time : 3372.0 sec.
user=vaughan
[2009-08-14 08:32:40]
469*2^709125-1 is not prime.  Res64: 727905404900CFFB  Time : 471.0 sec.
user=gd_barnes
[2009-08-14 08:33:01]
511*2^709115-1 is not prime.  Res64: 71C591044B0C4F0E  Time : 3386.0 sec.
user=gd_barnes
[2009-08-14 08:35:08]
497*2^709116-1 is not prime.  Res64: C06FC01C6D8DA919  Time : 3381.0 sec.
user=vaughan
[2009-08-14 08:40:34]
597*2^709126-1 is not prime.  Res64: 790A7EB3289075B1  Time : 474.0 sec.
user=vaughan
[2009-08-14 08:40:50]
525*2^709125-1 is not prime.  Res64: 117F62C3ED49460F  Time : 751.0 sec.
user=gd_barnes
[2009-08-14 08:41:06]
513*2^709116-1 is not prime.  Res64: F244C759E45B5884  Time : 3382.0 sec.
user=gd_barnes
[2009-08-14 08:41:12]
465*2^709117-1 is not prime.  Res64: DA20E319A214A457  Time : 3378.0 sec.
user=gd_barnes
[2009-08-14 08:42:59]
433*2^709119-1 is not prime.  Res64: 49D1B1FC627792C3  Time : 3364.0 sec.
user=gd_barnes
[2009-08-14 08:44:18]
441*2^709119-1 is not prime.  Res64: 23751EEFCD76E8B1  Time : 3386.0 sec.
user=gd_barnes
[2009-08-14 08:46:24]
445*2^709119-1 is not prime.  Res64: 7C98CBF6A461FDE7  Time : 3381.0 sec.
user=vaughan
[2009-08-14 08:48:27]
519*2^709127-1 is not prime.  Res64: 465687CE8C3E9DDA  Time : 473.0 sec.
user=vaughan
[2009-08-14 08:51:38]
425*2^709128-1 is not prime.  Res64: 4336E742DBDB7EA3  Time : 648.0 sec.
user=gd_barnes
[2009-08-14 08:52:22]
481*2^709119-1 is not prime.  Res64: 3193CEB35F84FCAD  Time : 3381.0 sec.
user=gd_barnes
[2009-08-14 08:52:27]
595*2^709119-1 is not prime.  Res64: E885615D94B9C89A  Time : 3377.0 sec.
user=gd_barnes
[2009-08-14 08:54:12]
495*2^709120-1 is not prime.  Res64: 1E3771A2DEEFDE18  Time : 3363.0 sec.
user=gd_barnes
[2009-08-14 08:55:34]
549*2^709120-1 is not prime.  Res64: 36A1523CCA252CB0  Time : 3385.0 sec.
user=vaughan
[2009-08-14 08:56:16]
471*2^709129-1 is not prime.  Res64: 125701C808C54561  Time : 469.0 sec.
user=gd_barnes
[2009-08-14 08:57:40]
567*2^709120-1 is not prime.  Res64: 4BD40EC056AE353D  Time : 3380.0 sec.
user=vaughan
[2009-08-14 09:00:48]
547*2^709129-1 is not prime.  Res64: F47A80DEBA481657  Time : 550.0 sec.
user=gd_barnes
[2009-08-14 09:03:38]
431*2^709122-1 is not prime.  Res64: 60CA4F63D1D485CE  Time : 3382.0 sec.
user=gd_barnes
[2009-08-14 09:03:43]
485*2^709122-1 is not prime.  Res64: DB7D45AE420386E6  Time : 3378.0 sec.
user=vaughan
[2009-08-14 09:04:17]
529*2^709131-1 is not prime.  Res64: FEC10BD038FECCD0  Time : 482.0 sec.
user=gd_barnes
[2009-08-14 09:05:24]
573*2^709122-1 is not prime.  Res64: 8D8FE6C1FE375334  Time : 3362.0 sec.
user=gd_barnes
[2009-08-14 09:06:51]
489*2^709123-1 is not prime.  Res64: C73EA03401B405F9  Time : 3385.0 sec.
user=gd_barnes
[2009-08-14 09:08:56]
493*2^709123-1 is not prime.  Res64: 129204D10F36C72A  Time : 3380.0 sec.
user=vaughan
[2009-08-14 09:12:20]
579*2^709132-1 is not prime.  Res64: F18D418782F8A67A  Time : 484.0 sec.
user=vaughan
[2009-08-14 09:12:45]
483*2^709132-1 is not prime.  Res64: 97069303385C39A0  Time : 717.0 sec.
user=gd_barnes
[2009-08-14 09:14:55]
413*2^709124-1 is not prime.  Res64: 0FCFF07578746283  Time : 3382.0 sec.
user=gd_barnes
[2009-08-14 09:14:58]
437*2^709124-1 is not prime.  Res64: C787F6DF7B5E555A  Time : 3377.0 sec.
user=gd_barnes
[2009-08-14 09:16:37]
459*2^709124-1 is not prime.  Res64: 99AB3D1764913AD3  Time : 3363.0 sec.
user=gd_barnes
[2009-08-14 09:18:08]
539*2^709124-1 is not prime.  Res64: 6DEA12C7FA3FC2CD  Time : 3385.0 sec.
user=gd_barnes
[2009-08-14 09:20:13]
465*2^709125-1 is not prime.  Res64: 467DD22655A5B5B3  Time : 3381.0 sec.
user=vaughan
[2009-08-14 09:20:17]
567*2^709134-1 is not prime.  Res64: F0B0500E214A9923  Time : 478.0 sec.
user=vaughan
[2009-08-14 09:23:00]
405*2^709135-1 is not prime.  Res64: EB97FB392EB7A3FD  Time : 615.0 sec.
user=gd_barnes
[2009-08-14 09:26:11]
455*2^709126-1 is not prime.  Res64: 7EA0C077AEB50804  Time : 3382.0 sec.
user=gd_barnes
[2009-08-14 09:26:13]
495*2^709126-1 is not prime.  Res64: 272C81D193C4CEA7  Time : 3377.0 sec.
user=gd_barnes
[2009-08-14 09:27:50]
513*2^709126-1 is not prime.  Res64: 89AE26CA48DAE42A  Time : 3363.0 sec.
user=vaughan
[2009-08-14 09:28:14]
563*2^709136-1 is not prime.  Res64: 99650F588209B334  Time : 478.0 sec.
user=gd_barnes
[2009-08-14 09:29:25]
441*2^709127-1 is not prime.  Res64: 4FBF7D990F4C32FC  Time : 3384.0 sec.
user=gd_barnes
[2009-08-14 09:31:28]
505*2^709127-1 is not prime.  Res64: 82D9A7722929A44E  Time : 3380.0 sec.
user=vaughan
[2009-08-14 09:33:47]
585*2^709136-1 is not prime.  Res64: 2EE2AE1141BD3619  Time : 647.0 sec.
user=vaughan
[2009-08-14 09:36:14]
579*2^709137-1 is not prime.  Res64: 254BCCF7B6E4CD16  Time : 481.0 sec.
user=gd_barnes
[2009-08-14 09:37:27]
459*2^709128-1 is not prime.  Res64: 8E6546ABF7579CA1  Time : 3381.0 sec.
user=gd_barnes
[2009-08-14 09:37:29]
597*2^709128-1 is not prime.  Res64: 3B57963EA49D11FD  Time : 3377.0 sec.
user=gd_barnes
[2009-08-14 09:39:02]
435*2^709129-1 is not prime.  Res64: 74DA13AE724E5B2A  Time : 3363.0 sec.
user=gd_barnes
[2009-08-14 09:40:41]
439*2^709129-1 is not prime.  Res64: AF3029448CE2E9E3  Time : 3383.0 sec.
user=gd_barnes
[2009-08-14 09:42:45]
469*2^709129-1 is not prime.  Res64: A14B7A03E6DDA4AF  Time : 3381.0 sec.
user=vaughan
[2009-08-14 09:44:17]
555*2^709138-1 is not prime.  Res64: 5B90CC918985B9FD  Time : 484.0 sec.
user=vaughan
[2009-08-14 09:45:44]
545*2^709138-1 is not prime.  Res64: 0F2ACC9DBEC1CA60  Time : 717.0 sec.
user=gd_barnes
[2009-08-14 09:48:43]
405*2^709130-1 is not prime.  Res64: A2638FB7CA7BB433  Time : 3382.0 sec.
user=gd_barnes
[2009-08-14 09:48:45]
561*2^709130-1 is not prime.  Res64: 8D412274F8DC7E79  Time : 3378.0 sec.
user=gd_barnes
[2009-08-14 09:50:15]
563*2^709130-1 is not prime.  Res64: 5B7628698F096EF7  Time : 3363.0 sec.
user=gd_barnes
[2009-08-14 09:51:59]
587*2^709130-1 is not prime.  Res64: 256C842906E40527  Time : 3385.0 sec.
user=vaughan
[2009-08-14 09:52:18]
595*2^709139-1 is not prime.  Res64: ADA56AFAFF3D1164  Time : 482.0 sec.
user=gd_barnes
[2009-08-14 09:54:00]
535*2^709131-1 is not prime.  Res64: E5543D2E7BD6469E  Time : 3380.0 sec.
user=vaughan
[2009-08-14 09:56:08]
447*2^709140-1 is not prime.  Res64: AE937DF52295485B  Time : 624.0 sec.
user=gd_barnes
[2009-08-14 10:00:00]
545*2^709132-1 is not prime.  Res64: 7FEA301CA3DB88D5  Time : 3382.0 sec.
user=gd_barnes
[2009-08-14 10:00:00]
573*2^709132-1 is not prime.  Res64: E64C0A6A64484770  Time : 3377.0 sec.
user=vaughan
[2009-08-14 10:00:09]
465*2^709141-1 is not prime.  Res64: BE17110BA4210836  Time : 472.0 sec.
user=gd_barnes
[2009-08-14 10:01:29]
517*2^709133-1 is not prime.  Res64: E659F81BF82EEBD9  Time : 3365.0 sec.
user=gd_barnes
[2009-08-14 10:03:16]
443*2^709134-1 is not prime.  Res64: 83D5AB15C4EB7473  Time : 3385.0 sec.
user=gd_barnes
[2009-08-14 10:05:17]
507*2^709134-1 is not prime.  Res64: 81D3723BC05AAD52  Time : 3381.0 sec.
user=vaughan
[2009-08-14 10:05:34]
555*2^709141-1 is not prime.  Res64: 12310FDB3290C3C0  Time : 566.0 sec.
user=vaughan
[2009-08-14 10:08:15]
515*2^709142-1 is not prime.  Res64: B2753BA2BFBB3A20  Time : 487.0 sec.
user=gd_barnes
[2009-08-14 10:11:16]
489*2^709135-1 is not prime.  Res64: A319DC0B9A2E4257  Time : 3378.0 sec.
user=gd_barnes
[2009-08-14 10:11:17]
421*2^709135-1 is not prime.  Res64: BCBA65D3783C84A8  Time : 3382.0 sec.
user=gd_barnes
[2009-08-14 10:12:44]
493*2^709135-1 is not prime.  Res64: 37AE4B74CA3CFA5F  Time : 3367.0 sec.
user=gd_barnes
[2009-08-14 10:14:33]
405*2^709136-1 is not prime.  Res64: F1C6E0592F31BFC2  Time : 3385.0 sec.
user=vaughan
[2009-08-14 10:16:19]
567*2^709144-1 is not prime.  Res64: 7F3998C4FEB2BB92  Time : 485.0 sec.
user=gd_barnes
[2009-08-14 10:16:33]
455*2^709136-1 is not prime.  Res64: D3EACC33708B33EC  Time : 3381.0 sec.
user=vaughan
[2009-08-14 10:17:04]
453*2^709143-1 is not prime.  Res64: 26B20F6387EF82AF  Time : 690.0 sec.
user=gd_barnes
[2009-08-14 10:22:30]
529*2^709137-1 is not prime.  Res64: 821E3D642EBFB128  Time : 3377.0 sec.
user=gd_barnes
[2009-08-14 10:22:32]
499*2^709137-1 is not prime.  Res64: 2EF418BC9B4266C0  Time : 3381.0 sec.
user=gd_barnes
[2009-08-14 10:23:59]
571*2^709137-1 is not prime.  Res64: 1C7BA311CE1B7FDD  Time : 3369.0 sec.
user=vaughan
[2009-08-14 10:24:18]
561*2^709145-1 is not prime.  Res64: C3EF24C335E248D5  Time : 479.0 sec.
user=gd_barnes
[2009-08-14 10:25:50]
425*2^709138-1 is not prime.  Res64: 6EEB578AEB1DAA6D  Time : 3385.0 sec.
user=vaughan
[2009-08-14 10:26:44]
585*2^709145-1 is not prime.  Res64: 78E292C14A07461D  Time : 580.0 sec.
user=gd_barnes
[2009-08-14 10:27:49]
471*2^709138-1 is not prime.  Res64: 671337E1B90BB1FC  Time : 3381.0 sec.
user=vaughan
[2009-08-14 10:32:04]
405*2^709147-1 is not prime.  Res64: 5374FAFA09577A26  Time : 466.0 sec.
user=gd_barnes
[2009-08-14 10:33:46]
411*2^709139-1 is not prime.  Res64: 166FED2896E68B8C  Time : 3377.0 sec.
user=gd_barnes
[2009-08-14 10:33:49]
561*2^709138-1 is not prime.  Res64: 04CC67A6456E0A77  Time : 3382.0 sec.
user=gd_barnes
[2009-08-14 10:35:17]
435*2^709139-1 is not prime.  Res64: 95B51B16C9A71D71  Time : 3375.0 sec.
user=vaughan
[2009-08-14 10:35:36]
583*2^709147-1 is not prime.  Res64: 247E3D0BDC4BB314  Time : 533.0 sec.
user=gd_barnes
[2009-08-14 10:37:06]
505*2^709139-1 is not prime.  Res64: 15E1DBAC83DE97DC  Time : 3385.0 sec.
user=gd_barnes
[2009-08-14 10:39:05]
589*2^709139-1 is not prime.  Res64: C1ADAEF27C474A02  Time : 3380.0 sec.
user=vaughan
[2009-08-14 10:39:56]
465*2^709148-1 is not prime.  Res64: 97F0A15EA97FDF8D  Time : 472.0 sec.
user=gd_barnes
[2009-08-14 10:45:01]
503*2^709140-1 is not prime.  Res64: A1288DCB67D99D98  Time : 3377.0 sec.
user=gd_barnes
[2009-08-14 10:45:04]
467*2^709140-1 is not prime.  Res64: 65975BF998E7351C  Time : 3381.0 sec.
user=gd_barnes
[2009-08-14 10:46:31]
515*2^709140-1 is not prime.  Res64: 4763A14C07A61981  Time : 3376.0 sec.
user=vaughan
[2009-08-14 10:46:42]
595*2^709149-1 is not prime.  Res64: 906D4BA4FB01F7F5  Time : 667.0 sec.
user=vaughan
[2009-08-14 10:47:56]
555*2^709150-1 is not prime.  Res64: 4AC66926967E9E14  Time : 480.0 sec.
user=gd_barnes
[2009-08-14 10:48:23]
549*2^709140-1 is not prime.  Res64: 953952F5FFC0220B  Time : 3384.0 sec.
user=gd_barnes
[2009-08-14 10:50:21]
477*2^709141-1 is not prime.  Res64: BE7A28908FED6D83  Time : 3381.0 sec.
user=vaughan
[2009-08-14 10:55:51]
503*2^709152-1 is not prime.  Res64: 31513D9DBA760438  Time : 475.0 sec.
user=gd_barnes
[2009-08-14 10:56:17]
483*2^709142-1 is not prime.  Res64: 4863C6EB64422B96  Time : 3377.0 sec.
user=gd_barnes
[2009-08-14 10:56:21]
435*2^709142-1 is not prime.  Res64: 13640DA13C168C63  Time : 3381.0 sec.
user=vaughan
[2009-08-14 10:57:35]
485*2^709152-1 is not prime.  Res64: F61006E900663DCF  Time : 654.0 sec.
user=gd_barnes
[2009-08-14 10:57:47]
545*2^709142-1 is not prime.  Res64: EB1C446AEDFFEE75  Time : 3378.0 sec.
user=gd_barnes
[2009-08-14 10:59:40]
561*2^709142-1 is not prime.  Res64: 001970B77333FCD4  Time : 3384.0 sec.
user=gd_barnes
[2009-08-14 11:01:37]
591*2^709142-1 is not prime.  Res64: 272C4A8C70A058D1  Time : 3380.0 sec.
user=vaughan
[2009-08-14 11:03:44]
569*2^709152-1 is not prime.  Res64: 4C9B619C6292DDD7  Time : 473.0 sec.
user=vaughan
[2009-08-14 11:06:36]
507*2^709153-1 is not prime.  Res64: 8CF8063C3A83DAA9  Time : 542.0 sec.
user=gd_barnes
[2009-08-14 11:07:32]
597*2^709144-1 is not prime.  Res64: 9C585BA66D361F22  Time : 3376.0 sec.
user=gd_barnes
[2009-08-14 11:07:36]
465*2^709145-1 is not prime.  Res64: 0CDE14082FE935D9  Time : 3380.0 sec.
user=gd_barnes
[2009-08-14 11:09:01]
517*2^709145-1 is not prime.  Res64: F47465606BDBFA10  Time : 3377.0 sec.
user=gd_barnes
[2009-08-14 11:10:57]
535*2^709145-1 is not prime.  Res64: 365F31E98D9B4E8D  Time : 3384.0 sec.
user=vaughan
[2009-08-14 11:11:39]
533*2^709154-1 is not prime.  Res64: 04E3E6CE2B151732  Time : 475.0 sec.
user=gd_barnes
[2009-08-14 11:12:53]
565*2^709145-1 is not prime.  Res64: 14AA4F7B684C355D  Time : 3381.0 sec.
user=vaughan
[2009-08-14 11:16:11]
405*2^709155-1 is not prime.  Res64: 8C58EFAA1BD00A11  Time : 576.0 sec.
user=gd_barnes
[2009-08-14 11:18:48]
417*2^709146-1 is not prime.  Res64: 08C0B205F0675EC7  Time : 3378.0 sec.
user=gd_barnes
[2009-08-14 11:18:53]
425*2^709146-1 is not prime.  Res64: 35B0637C96C6A78F  Time : 3381.0 sec.
user=vaughan
[2009-08-14 11:19:28]
595*2^709155-1 is not prime.  Res64: 1F66383376E71BF5  Time : 472.0 sec.
user=gd_barnes
[2009-08-14 11:20:15]
587*2^709146-1 is not prime.  Res64: E563839701B51621  Time : 3376.0 sec.
user=gd_barnes
[2009-08-14 11:22:14]
489*2^709147-1 is not prime.  Res64: 93AD343376A962A0  Time : 3384.0 sec.
user=gd_barnes
[2009-08-14 11:24:09]
435*2^709148-1 is not prime.  Res64: 04949C71D0EEE6A8  Time : 3380.0 sec.
user=vaughan
[2009-08-14 11:24:23]
469*2^709157-1 is not prime.  Res64: B7D93CF7A8D45F04  Time : 493.0 sec.
user=vaughan
[2009-08-14 11:27:12]
473*2^709158-1 is not prime.  Res64: 55F83B58E1ECE27D  Time : 464.0 sec.
user=gd_barnes
[2009-08-14 11:30:02]
519*2^709148-1 is not prime.  Res64: 879E346D7C380D87  Time : 3376.0 sec.
user=gd_barnes
[2009-08-14 11:30:10]
439*2^709149-1 is not prime.  Res64: D20DF9EE3F7E8DEC  Time : 3381.0 sec.
user=gd_barnes
[2009-08-14 11:31:36]
481*2^709149-1 is not prime.  Res64: 79A3F99598DAECD8  Time : 3380.0 sec.
user=gd_barnes
[2009-08-14 11:33:30]
401*2^709150-1 is not prime.  Res64: A547425F045791B0  Time : 3384.0 sec.
user=vaughan
[2009-08-14 11:33:40]
425*2^709160-1 is not prime.  Res64: 35707AC477465E80  Time : 558.0 sec.
user=vaughan
[2009-08-14 11:35:06]
467*2^709160-1 is not prime.  Res64: 19A8652598CBC582  Time : 474.0 sec.
user=gd_barnes
[2009-08-14 11:35:26]
461*2^709150-1 is not prime.  Res64: 50375A99E2895383  Time : 3381.0 sec.
user=gd_barnes
[2009-08-14 11:41:18]
575*2^709150-1 is not prime.  Res64: B5BE1D95B82B2A2E  Time : 3377.0 sec.
user=gd_barnes
[2009-08-14 11:41:25]
593*2^709150-1 is not prime.  Res64: A63EEE555997E95A  Time : 3381.0 sec.
user=gd_barnes
[2009-08-14 11:42:55]
433*2^709151-1 is not prime.  Res64: 551FE0B187B62F7C  Time : 3384.0 sec.
user=vaughan
[2009-08-14 11:42:57]
507*2^709161-1 is not prime.  Res64: 8F1A75AA1252383A  Time : 471.0 sec.
user=vaughan
[2009-08-14 11:44:47]
495*2^709161-1 is not prime.  Res64: CF0B122D488DA78D  Time : 668.0 sec.
user=gd_barnes
[2009-08-14 11:44:49]
527*2^709152-1 is not prime.  Res64: 092E97DCB925A786  Time : 3386.0 sec.
user=gd_barnes
[2009-08-14 11:46:42]
563*2^709152-1 is not prime.  Res64: 20867920A7581F4A  Time : 3381.0 sec.
user=vaughan
[2009-08-14 11:50:47]
495*2^709162-1 is not prime.  Res64: 64F19705555E46DD  Time : 470.0 sec.
user=gd_barnes
[2009-08-14 11:52:33]
435*2^709153-1 is not prime.  Res64: 244D9E81F8C02035  Time : 3376.0 sec.
user=gd_barnes
[2009-08-14 11:52:42]
477*2^709153-1 is not prime.  Res64: 6F0D4C0785DD6ABB  Time : 3381.0 sec.
user=gd_barnes
[2009-08-14 11:54:08]
561*2^709153-1 is not prime.  Res64: 47D6202357591BE0  Time : 3381.0 sec.
user=vaughan
[2009-08-14 11:55:20]
497*2^709162-1 is not prime.  Res64: 3AC7E588BAFA10BF  Time : 633.0 sec.
user=gd_barnes
[2009-08-14 11:56:05]
407*2^709154-1 is not prime.  Res64: FF2ED3FE64B2D50C  Time : 3386.0 sec.
user=gd_barnes
[2009-08-14 11:57:58]
503*2^709154-1 is not prime.  Res64: 393AD8D6A42D8C03  Time : 3381.0 sec.
user=vaughan
[2009-08-14 11:58:39]
493*2^709163-1 is not prime.  Res64: B51C0E969EBAFB2A  Time : 472.0 sec.
user=gd_barnes
[2009-08-14 12:03:49]
411*2^709155-1 is not prime.  Res64: 42E1A7A5FE4362A5  Time : 3377.0 sec.
user=gd_barnes
[2009-08-14 12:03:58]
441*2^709155-1 is not prime.  Res64: 646E7282F7A7899E  Time : 3382.0 sec.
user=vaughan
[2009-08-14 12:05:10]
513*2^709164-1 is not prime.  Res64: A0F02650D723BB26  Time : 591.0 sec.
user=gd_barnes
[2009-08-14 12:05:19]
471*2^709155-1 is not prime.  Res64: 53B3F3AABFE7AD6D  Time : 3378.0 sec.
user=vaughan
[2009-08-14 12:06:29]
503*2^709166-1 is not prime.  Res64: 14306544AA84B6CD  Time : 470.0 sec.
user=gd_barnes
[2009-08-14 12:07:22]
481*2^709155-1 is not prime.  Res64: 09572D7FBE09032D  Time : 3385.0 sec.
user=gd_barnes
[2009-08-14 12:09:15]
539*2^709156-1 is not prime.  Res64: CDA62EDF05CC664F  Time : 3382.0 sec.
user=vaughan
[2009-08-14 12:14:21]
489*2^709167-1 is not prime.  Res64: F5E5989AE5FF98C6  Time : 472.0 sec.
user=gd_barnes
[2009-08-14 12:15:05]
507*2^709157-1 is not prime.  Res64: BD49FB8226AD466C  Time : 3377.0 sec.
user=gd_barnes
[2009-08-14 12:15:14]
561*2^709157-1 is not prime.  Res64: 23B315625D3F7A0B  Time : 3381.0 sec.
user=vaughan
[2009-08-14 12:15:15]
587*2^709166-1 is not prime.  Res64: 9E7D49C09F6D3704  Time : 605.0 sec.
user=gd_barnes
[2009-08-14 12:16:37]
451*2^709159-1 is not prime.  Res64: A2327468FFD7E54C  Time : 3382.0 sec.
user=gd_barnes
[2009-08-14 12:18:39]
493*2^709159-1 is not prime.  Res64: 725C48C4551D8D86  Time : 3385.0 sec.
user=gd_barnes
[2009-08-14 12:20:30]
523*2^709159-1 is not prime.  Res64: ABE4CBDEB8E91E3E  Time : 3381.0 sec.
user=vaughan
[2009-08-14 12:22:11]
527*2^709168-1 is not prime.  Res64: EFEEAAD70855C88B  Time : 470.0 sec.
user=vaughan
[2009-08-14 12:25:27]
537*2^709169-1 is not prime.  Res64: 9364D82E985F483B  Time : 612.0 sec.
user=gd_barnes
[2009-08-14 12:26:20]
479*2^709160-1 is not prime.  Res64: C08379F5A9A240E1  Time : 3378.0 sec.
user=gd_barnes
[2009-08-14 12:26:31]
503*2^709160-1 is not prime.  Res64: 016870E81C7D1410  Time : 3381.0 sec.
user=gd_barnes
[2009-08-14 12:27:53]
537*2^709160-1 is not prime.  Res64: 607D6DFE05D4AECA  Time : 3378.0 sec.
user=gd_barnes
[2009-08-14 12:29:57]
447*2^709161-1 is not prime.  Res64: 8C1456391F337C11  Time : 3387.0 sec.
user=vaughan
[2009-08-14 12:29:59]
405*2^709172-1 is not prime.  Res64: 58CD6646EE39E02B  Time : 468.0 sec.
user=gd_barnes
[2009-08-14 12:31:46]
591*2^709161-1 is not prime.  Res64: 1F8C7B78759DD4D6  Time : 3380.0 sec.
user=vaughan
[2009-08-14 12:33:55]
417*2^709172-1 is not prime.  Res64: 7346676346B83762  Time : 508.0 sec.
user=gd_barnes
[2009-08-14 12:37:36]
435*2^709162-1 is not prime.  Res64: A709CA8C01007C02  Time : 3378.0 sec.
user=vaughan
[2009-08-14 12:37:40]
545*2^709172-1 is not prime.  Res64: 34B7BF7A68AEE542  Time : 461.0 sec.
user=gd_barnes
[2009-08-14 12:37:47]
447*2^709162-1 is not prime.  Res64: E37B4FF9BDABC3B4  Time : 3382.0 sec.
user=gd_barnes
[2009-08-14 12:39:12]
477*2^709162-1 is not prime.  Res64: B2345EA15891ECB2  Time : 3377.0 sec.
user=gd_barnes
[2009-08-14 12:41:14]
513*2^709162-1 is not prime.  Res64: 5D67DC782213FA81  Time : 3386.0 sec.
user=gd_barnes
[2009-08-14 12:43:03]
435*2^709163-1 is not prime.  Res64: 80F56504E1CE0273  Time : 3381.0 sec.
user=vaughan
[2009-08-14 12:43:26]
429*2^709173-1 is not prime.  Res64: DD0ABA6E744AF956  Time : 571.0 sec.
user=vaughan
[2009-08-14 12:45:27]
517*2^709173-1 is not prime.  Res64: 5DA1604E01EA9DAC  Time : 467.0 sec.
user=gd_barnes
[2009-08-14 12:48:52]
511*2^709163-1 is not prime.  Res64: 08DB98FAFF5FFBA3  Time : 3379.0 sec.
user=gd_barnes
[2009-08-14 12:49:03]
595*2^709163-1 is not prime.  Res64: 5A250E5D2630C075  Time : 3381.0 sec.
user=gd_barnes
[2009-08-14 12:50:30]
453*2^709164-1 is not prime.  Res64: 5A191454B8134657  Time : 3382.0 sec.
user=gd_barnes
[2009-08-14 12:52:31]
555*2^709164-1 is not prime.  Res64: E228D045426BAAC6  Time : 3386.0 sec.
user=vaughan
[2009-08-14 12:53:16]
477*2^709174-1 is not prime.  Res64: 64FA4EAE9BD5FC13  Time : 469.0 sec.
user=gd_barnes
[2009-08-14 12:54:18]
567*2^709165-1 is not prime.  Res64: F9EC7106D50792EA  Time : 3380.0 sec.
user=vaughan
[2009-08-14 12:57:37]
461*2^709174-1 is not prime.  Res64: 582BCDE308ACB85B  Time : 851.0 sec.
user=gd_barnes
[2009-08-14 13:00:09]
521*2^709166-1 is not prime.  Res64: B2BC85E35F6F85EB  Time : 3380.0 sec.
user=gd_barnes
[2009-08-14 13:00:22]
581*2^709166-1 is not prime.  Res64: F220950BCDD05CDE  Time : 3384.0 sec.
user=vaughan
[2009-08-14 13:01:05]
537*2^709176-1 is not prime.  Res64: 444CF935BE1F1D10  Time : 469.0 sec.
user=gd_barnes
[2009-08-14 13:01:47]
469*2^709167-1 is not prime.  Res64: 176DBF1A99F61BD2  Time : 3388.0 sec.
user=gd_barnes
[2009-08-14 13:03:48]
501*2^709167-1 is not prime.  Res64: 5F914CFB423D423E  Time : 3386.0 sec.
user=gd_barnes
[2009-08-14 13:05:35]
435*2^709168-1 is not prime.  Res64: 49921FB9B9633663  Time : 3381.0 sec.
user=vaughan
[2009-08-14 13:08:54]
595*2^709177-1 is not prime.  Res64: 9B5786BD2E9553AE  Time : 469.0 sec.
user=vaughan
[2009-08-14 13:10:49]
567*2^709176-1 is not prime.  Res64: EED01A74843D0F62  Time : 792.0 sec.
user=gd_barnes
[2009-08-14 13:11:22]
537*2^709168-1 is not prime.  Res64: 7F096A9B19957FBB  Time : 3377.0 sec.
user=gd_barnes
[2009-08-14 13:11:35]
445*2^709169-1 is not prime.  Res64: 05C211E1C49AA192  Time : 3381.0 sec.
user=gd_barnes
[2009-08-14 13:13:04]
515*2^709170-1 is not prime.  Res64: 68D1A937952D59CF  Time : 3387.0 sec.
user=gd_barnes
[2009-08-14 13:15:04]
415*2^709171-1 is not prime.  Res64: 1C44C93797A6ED06  Time : 3385.0 sec.
user=vaughan
[2009-08-14 13:16:49]
545*2^709178-1 is not prime.  Res64: 10A036797D1F7E51  Time : 476.0 sec.
user=gd_barnes
[2009-08-14 13:16:50]
561*2^709171-1 is not prime.  Res64: 456DE95BB9F1122F  Time : 3380.0 sec.
user=gd_barnes
[2009-08-14 13:22:38]
437*2^709172-1 is not prime.  Res64: 6B8EB0DD3D86F4A2  Time : 3378.0 sec.
user=gd_barnes
[2009-08-14 13:22:53]
455*2^709172-1 is not prime.  Res64: 7CD4F74EE5D9AB8E  Time : 3382.0 sec.
user=gd_barnes
[2009-08-14 13:24:21]
459*2^709172-1 is not prime.  Res64: 49F3EC066428A96C  Time : 3388.0 sec.
user=vaughan
[2009-08-14 13:24:46]
455*2^709180-1 is not prime.  Res64: 2F236C23E25EE2F2  Time : 477.0 sec.
user=vaughan
[2009-08-14 13:24:57]
411*2^709179-1 is not prime.  Res64: D4F4EFEEEC210C10  Time : 848.0 sec.
user=gd_barnes
[2009-08-14 13:26:22]
539*2^709172-1 is not prime.  Res64: 659F1D3D6CA61006  Time : 3385.0 sec.
user=gd_barnes
[2009-08-14 13:28:07]
573*2^709172-1 is not prime.  Res64: 6A4FA79A21C5A616  Time : 3381.0 sec.
user=vaughan
[2009-08-14 13:32:40]
417*2^709181-1 is not prime.  Res64: 0A39A06B5B23A4BC  Time : 474.0 sec.
user=gd_barnes
[2009-08-14 13:33:54]
499*2^709173-1 is not prime.  Res64: 08FF5CB0A832719C  Time : 3378.0 sec.
user=gd_barnes
[2009-08-14 13:34:08]
571*2^709173-1 is not prime.  Res64: 71D6926354A541D9  Time : 3381.0 sec.
user=gd_barnes
[2009-08-14 13:35:36]
595*2^709173-1 is not prime.  Res64: BA8E7D1EF577277C  Time : 3385.0 sec.
user=gd_barnes
[2009-08-14 13:37:39]
597*2^709173-1 is not prime.  Res64: E3ABFAA7A10C61D8  Time : 3386.0 sec.
user=vaughan
[2009-08-14 13:38:47]
475*2^709181-1 is not prime.  Res64: C7E182DADC029580  Time : 830.0 sec.
user=gd_barnes
[2009-08-14 13:39:24]
455*2^709174-1 is not prime.  Res64: E462ED3F251EA4B0  Time : 3382.0 sec.
user=vaughan
[2009-08-14 13:40:34]
561*2^709181-1 is not prime.  Res64: 6D4E26E27D585D3B  Time : 474.0 sec.
user=gd_barnes
[2009-08-14 13:45:09]
545*2^709174-1 is not prime.  Res64: CA84CBEFE79341A4  Time : 3378.0 sec.
user=gd_barnes
[2009-08-14 13:45:25]
433*2^709175-1 is not prime.  Res64: D6649766C00D0313  Time : 3382.0 sec.
user=gd_barnes
[2009-08-14 13:46:57]
441*2^709175-1 is not prime.  Res64: E8027A58E0CF914F  Time : 3387.0 sec.
user=vaughan
[2009-08-14 13:48:29]
539*2^709184-1 is not prime.  Res64: C97F926B39839B9F  Time : 475.0 sec.
user=gd_barnes
[2009-08-14 13:48:56]
503*2^709176-1 is not prime.  Res64: 7F8D88A3C2344F52  Time : 3385.0 sec.
user=gd_barnes
[2009-08-14 13:50:39]
563*2^709176-1 is not prime.  Res64: ABBBEA1428282878  Time : 3381.0 sec.
user=vaughan
[2009-08-14 13:52:30]
503*2^709184-1 is not prime.  Res64: FDBBEE5258CBE8C3  Time : 823.0 sec.
user=gd_barnes
[2009-08-14 13:56:25]
409*2^709177-1 is not prime.  Res64: 97FFF118AEBB18B0  Time : 3376.0 sec.
user=vaughan
[2009-08-14 13:56:26]
503*2^709186-1 is not prime.  Res64: A62372D63AE36465  Time : 478.0 sec.
user=gd_barnes
[2009-08-14 13:56:41]
589*2^709177-1 is not prime.  Res64: 93F8755A673D9BA7  Time : 3379.0 sec.
user=gd_barnes
[2009-08-14 13:58:17]
447*2^709178-1 is not prime.  Res64: B1C284E2BA8EE2FA  Time : 3390.0 sec.
user=gd_barnes
[2009-08-14 14:00:13]
467*2^709178-1 is not prime.  Res64: 8220BC4027A2B78F  Time : 3385.0 sec.
user=gd_barnes
[2009-08-14 14:01:56]
503*2^709178-1 is not prime.  Res64: 1721263C97BC6DA1  Time : 3381.0 sec.
user=vaughan
[2009-08-14 14:04:20]
585*2^709187-1 is not prime.  Res64: 336A2C300A6435D4  Time : 475.0 sec.
user=vaughan
[2009-08-14 14:06:52]
523*2^709187-1 is not prime.  Res64: F7858133D56E7F3B  Time : 862.0 sec.
user=gd_barnes
[2009-08-14 14:07:40]
469*2^709179-1 is not prime.  Res64: A53002954EB2B22E  Time : 3378.0 sec.
user=gd_barnes
[2009-08-14 14:07:57]
471*2^709179-1 is not prime.  Res64: 5C883A36AE537EBD  Time : 3382.0 sec.
user=gd_barnes
[2009-08-14 14:09:40]
501*2^709179-1 is not prime.  Res64: 21D0949215A75ECD  Time : 3396.0 sec.
user=gd_barnes
[2009-08-14 14:11:30]
531*2^709179-1 is not prime.  Res64: 3D3962AF3637E076  Time : 3386.0 sec.
user=vaughan
[2009-08-14 14:12:15]
427*2^709189-1 is not prime.  Res64: 449D0A3DCE29B73D  Time : 475.0 sec.
user=gd_barnes
[2009-08-14 14:13:12]
533*2^709180-1 is not prime.  Res64: 0808ED1CB4023335  Time : 3382.0 sec.
user=gd_barnes
[2009-08-14 14:18:55]
545*2^709180-1 is not prime.  Res64: CAED23861A49A1CB  Time : 3377.0 sec.
user=gd_barnes
[2009-08-14 14:19:14]
563*2^709180-1 is not prime.  Res64: AC09076CD96C3D28  Time : 3381.0 sec.
user=vaughan
[2009-08-14 14:19:36]
511*2^709189-1 is not prime.  Res64: 9420B953C48F0CA2  Time : 764.0 sec.
user=vaughan
[2009-08-14 14:20:17]
501*2^709190-1 is not prime.  Res64: 5F05186FCF178B74  Time : 482.0 sec.
user=gd_barnes
[2009-08-14 14:20:59]
587*2^709180-1 is not prime.  Res64: 8F4555261CF3A903  Time : 3399.0 sec.
user=gd_barnes
[2009-08-14 14:22:47]
495*2^709181-1 is not prime.  Res64: C00641CC927E67F2  Time : 3385.0 sec.
user=gd_barnes
[2009-08-14 14:24:28]
529*2^709181-1 is not prime.  Res64: 20DC6854F092706B  Time : 3381.0 sec.
user=vaughan
[2009-08-14 14:28:15]
453*2^709194-1 is not prime.  Res64: 7411A45DF7034BC8  Time : 478.0 sec.
user=gd_barnes
[2009-08-14 14:30:12]
565*2^709181-1 is not prime.  Res64: 680B92F71C23E123  Time : 3378.0 sec.
user=gd_barnes
[2009-08-14 14:30:29]
425*2^709182-1 is not prime.  Res64: 87ADF1810C8A4FEF  Time : 3381.0 sec.
user=vaughan
[2009-08-14 14:30:59]
417*2^709194-1 is not prime.  Res64: EB6EF51F8C896544  Time : 683.0 sec.
user=gd_barnes
[2009-08-14 14:32:18]
513*2^709182-1 is not prime.  Res64: 8BDB20FC67521D4D  Time : 3402.0 sec.
user=gd_barnes
[2009-08-14 14:34:04]
505*2^709183-1 is not prime.  Res64: 7E0FCC686CDE7420  Time : 3385.0 sec.
user=gd_barnes
[2009-08-14 14:35:45]
519*2^709184-1 is not prime.  Res64: 4FED38E6498F236E  Time : 3382.0 sec.
user=vaughan
[2009-08-14 14:36:18]
531*2^709194-1 is not prime.  Res64: EF0C4153108DF7ED  Time : 483.0 sec.
user=gd_barnes
[2009-08-14 14:41:26]
563*2^709184-1 is not prime.  Res64: E0694C625AF35019  Time : 3377.0 sec.
user=gd_barnes
[2009-08-14 14:41:46]
567*2^709184-1 is not prime.  Res64: C3EDC953023A2268  Time : 3381.0 sec.
user=vaughan
[2009-08-14 14:43:22]
451*2^709195-1 is not prime.  Res64: 0FEDB8FAC6915290  Time : 743.0 sec.
user=gd_barnes
[2009-08-14 14:43:37]
579*2^709185-1 is not prime.  Res64: 3BF876273B3F5959  Time : 3400.0 sec.
user=vaughan
[2009-08-14 14:44:19]
427*2^709197-1 is not prime.  Res64: 075BE22F0A3DACC2  Time : 481.0 sec.
user=gd_barnes
[2009-08-14 14:45:21]
587*2^709186-1 is not prime.  Res64: CED243E4BA393FAD  Time : 3385.0 sec.
user=gd_barnes
[2009-08-14 14:47:00]
441*2^709187-1 is not prime.  Res64: 5FDAE5AFA95E6FB0  Time : 3381.0 sec.
user=vaughan
[2009-08-14 14:52:27]
501*2^709199-1 is not prime.  Res64: 5A8A96C483A3F790  Time : 488.0 sec.
user=gd_barnes
[2009-08-14 14:52:42]
553*2^709187-1 is not prime.  Res64: C6841F81696FC623  Time : 3377.0 sec.
user=gd_barnes
[2009-08-14 14:53:03]
595*2^709187-1 is not prime.  Res64: 8791E23B66602B74  Time : 3383.0 sec.
user=gd_barnes
[2009-08-14 14:54:56]
557*2^709188-1 is not prime.  Res64: 551D44DD40EBA422  Time : 3399.0 sec.
user=vaughan
[2009-08-14 14:56:07]
411*2^709199-1 is not prime.  Res64: BE3CC313587D66C1  Time : 766.0 sec.
user=gd_barnes
[2009-08-14 14:56:37]
569*2^709188-1 is not prime.  Res64: 87DBA811CAFB7957  Time : 3384.0 sec.
user=gd_barnes
[2009-08-14 14:58:17]
415*2^709189-1 is not prime.  Res64: F0F28D784295B043  Time : 3381.0 sec.
user=vaughan
[2009-08-14 15:00:31]
573*2^709199-1 is not prime.  Res64: E1AB022C3F017FCD  Time : 484.0 sec.
user=gd_barnes
[2009-08-14 15:03:58]
525*2^709189-1 is not prime.  Res64: 2394042B43E7458C  Time : 3378.0 sec.
user=gd_barnes
[2009-08-14 15:04:18]
549*2^709189-1 is not prime.  Res64: 92A38D951A539782  Time : 3381.0 sec.
user=gd_barnes
[2009-08-14 15:06:13]
559*2^709189-1 is not prime.  Res64: 18C81E84D60D459A  Time : 3393.0 sec.
user=gd_barnes
[2009-08-14 15:07:55]
595*2^709189-1 is not prime.  Res64: 9560FA90614192EE  Time : 3385.0 sec.
user=vaughan
[2009-08-14 15:08:31]
421*2^709201-1 is not prime.  Res64: D047FCC5643089C3  Time : 480.0 sec.
user=vaughan
[2009-08-14 15:08:39]
569*2^709200-1 is not prime.  Res64: C2B99837AC92CB72  Time : 753.0 sec.
user=gd_barnes
[2009-08-14 15:09:32]
561*2^709190-1 is not prime.  Res64: 49F2A135606FF9A4  Time : 3380.0 sec.
user=gd_barnes
[2009-08-14 15:15:12]
571*2^709191-1 is not prime.  Res64: FDBF2200D44BEBD1  Time : 3377.0 sec.
user=gd_barnes
[2009-08-14 15:15:35]
485*2^709192-1 is not prime.  Res64: F7D056041BFF4453  Time : 3381.0 sec.
user=vaughan
[2009-08-14 15:16:34]
417*2^709202-1 is not prime.  Res64: 1831BBB9E6799121  Time : 483.0 sec.
user=gd_barnes
[2009-08-14 15:17:35]
461*2^709194-1 is not prime.  Res64: 8EB1B011AA6B5588  Time : 3396.0 sec.
user=gd_barnes
[2009-08-14 15:19:12]
473*2^709194-1 is not prime.  Res64: 561FDED8C3BAAC72  Time : 3386.0 sec.
user=gd_barnes
[2009-08-14 15:20:48]
495*2^709194-1 is not prime.  Res64: 593DDCF4A8EDC36D  Time : 3380.0 sec.
user=vaughan
[2009-08-14 15:20:58]
453*2^709202-1 is not prime.  Res64: A3FF78DF5071A52D  Time : 739.0 sec.
user=vaughan
[2009-08-14 15:24:37]
583*2^709203-1 is not prime.  Res64: DFBA284BE0C89889  Time : 484.0 sec.
user=gd_barnes
[2009-08-14 15:26:28]
555*2^709194-1 is not prime.  Res64: 590F219AA965FF50  Time : 3377.0 sec.
user=gd_barnes
[2009-08-14 15:26:51]
411*2^709195-1 is not prime.  Res64: 5AB31D05C4382140  Time : 3382.0 sec.
user=gd_barnes
[2009-08-14 15:28:48]
579*2^709195-1 is not prime.  Res64: 96211DCE06EEDEAA  Time : 3391.0 sec.
user=gd_barnes
[2009-08-14 15:30:29]
425*2^709196-1 is not prime.  Res64: F72B9AEE81EC25E9  Time : 3385.0 sec.
user=gd_barnes
[2009-08-14 15:32:05]
525*2^709196-1 is not prime.  Res64: 289E25B6050B8A37  Time : 3381.0 sec.
user=vaughan
[2009-08-14 15:32:37]
507*2^709204-1 is not prime.  Res64: 83D3F77C7EB67C06  Time : 480.0 sec.
user=vaughan
[2009-08-14 15:33:04]
483*2^709204-1 is not prime.  Res64: 96A1244BE67B0CF1  Time : 726.0 sec.
user=gd_barnes
[2009-08-14 15:37:44]
565*2^709197-1 is not prime.  Res64: A6F13BD469BF6049  Time : 3378.0 sec.
user=gd_barnes
[2009-08-14 15:38:07]
595*2^709197-1 is not prime.  Res64: 3E924B42344EAC85  Time : 3381.0 sec.
user=gd_barnes
[2009-08-14 15:40:05]
489*2^709199-1 is not prime.  Res64: C14625BD7CBA64C7  Time : 3388.0 sec.
user=vaughan
[2009-08-14 15:40:37]
443*2^709206-1 is not prime.  Res64: 7AD831CE61298DB8  Time : 480.0 sec.
user=gd_barnes
[2009-08-14 15:41:45]
511*2^709199-1 is not prime.  Res64: 2D1A95C31963E67F  Time : 3384.0 sec.
user=gd_barnes
[2009-08-14 15:43:21]
549*2^709199-1 is not prime.  Res64: 60F46BFFAF190829  Time : 3381.0 sec.
user=vaughan
[2009-08-14 15:45:41]
471*2^709206-1 is not prime.  Res64: F3EB245DE798D611  Time : 757.0 sec.
user=vaughan
[2009-08-14 15:48:41]
429*2^709207-1 is not prime.  Res64: FA0E8C0178F74E8F  Time : 484.0 sec.
user=gd_barnes
[2009-08-14 15:48:59]
595*2^709199-1 is not prime.  Res64: 9828F47A118540FE  Time : 3377.0 sec.
user=gd_barnes
[2009-08-14 15:49:23]
525*2^709200-1 is not prime.  Res64: 044A62FCBE63FD80  Time : 3381.0 sec.
user=gd_barnes
[2009-08-14 15:51:23]
567*2^709200-1 is not prime.  Res64: 61571002369407E6  Time : 3387.0 sec.
user=gd_barnes
[2009-08-14 15:53:02]
411*2^709201-1 is not prime.  Res64: 33B5EA0037779F85  Time : 3385.0 sec.
user=gd_barnes
[2009-08-14 15:54:37]
415*2^709201-1 is not prime.  Res64: 597E7D1E56DD4C37  Time : 3380.0 sec.
user=vaughan
[2009-08-14 15:56:46]
499*2^709207-1 is not prime.  Res64: 3AC7A237E96F656E  Time : 485.0 sec.
user=vaughan
[2009-08-14 15:58:31]
465*2^709207-1 is not prime.  Res64: AAC68119D5D9608D  Time : 770.0 sec.
user=gd_barnes
[2009-08-14 16:00:16]
525*2^709201-1 is not prime.  Res64: 5D30D67C4DC90432  Time : 3378.0 sec.
user=gd_barnes
[2009-08-14 16:00:40]
541*2^709201-1 is not prime.  Res64: B55B02ADEFC5F5EF  Time : 3382.0 sec.
user=gd_barnes
[2009-08-14 16:02:45]
559*2^709201-1 is not prime.  Res64: AF5F0370011CBE97  Time : 3392.0 sec.
user=gd_barnes
[2009-08-14 16:04:19]
591*2^709201-1 is not prime.  Res64: 8DE8A20BBF9E80E0  Time : 3384.0 sec.
user=vaughan
[2009-08-14 16:04:41]
427*2^709209-1 is not prime.  Res64: F3B3986575EC9F35  Time : 475.0 sec.
user=gd_barnes
[2009-08-14 16:05:53]
567*2^709202-1 is not prime.  Res64: 487C5DF01B1604D6  Time : 3381.0 sec.
user=vaughan
[2009-08-14 16:10:44]
511*2^709209-1 is not prime.  Res64: 8595E46BFADA4310  Time : 734.0 sec.
user=gd_barnes
[2009-08-14 16:11:29]
409*2^709203-1 is not prime.  Res64: 64B7B6DDE5393A01  Time : 3377.0 sec.
user=gd_barnes
[2009-08-14 16:11:56]
433*2^709203-1 is not prime.  Res64: E7416D0C6F23BE5E  Time : 3381.0 sec.
user=vaughan
[2009-08-14 16:12:27]
549*2^709211-1 is not prime.  Res64: DFDFE2F9F8566B53  Time : 466.0 sec.
user=gd_barnes
[2009-08-14 16:14:06]
585*2^709203-1 is not prime.  Res64: 19D7F153DC130152  Time : 3391.0 sec.
user=gd_barnes
[2009-08-14 16:15:37]
429*2^709204-1 is not prime.  Res64: 5FBB817A762AA617  Time : 3385.0 sec.
user=gd_barnes
[2009-08-14 16:17:10]
453*2^709204-1 is not prime.  Res64: 4728C711B94A268F  Time : 3382.0 sec.
user=vaughan
[2009-08-14 16:18:26]
447*2^709212-1 is not prime.  Res64: B8043972140208F3  Time : 462.0 sec.
user=vaughan
[2009-08-14 16:20:09]
555*2^709212-1 is not prime.  Res64: 3E0CF18069D73C76  Time : 462.0 sec.
user=gd_barnes
[2009-08-14 16:22:45]
539*2^709204-1 is not prime.  Res64: 307FA9D0040C6CBF  Time : 3377.0 sec.
user=gd_barnes
[2009-08-14 16:23:12]
567*2^709204-1 is not prime.  Res64: 275692DC6D201CB7  Time : 3381.0 sec.
user=gd_barnes
[2009-08-14 16:25:22]
597*2^709204-1 is not prime.  Res64: 2D79B238F4908D89  Time : 3394.0 sec.
user=gd_barnes
[2009-08-14 16:26:54]
475*2^709205-1 is not prime.  Res64: 5B2135A579DEBB04  Time : 3385.0 sec.
user=vaughan
[2009-08-14 16:28:03]
433*2^709215-1 is not prime.  Res64: 1BA7173E6F44044D  Time : 474.0 sec.
user=gd_barnes
[2009-08-14 16:28:25]
507*2^709205-1 is not prime.  Res64: B73946509EB4ED98  Time : 3381.0 sec.
user=vaughan
[2009-08-14 16:30:01]
503*2^709214-1 is not prime.  Res64: 96D994C470EE9E49  Time : 695.0 sec.
user=gd_barnes
[2009-08-14 16:34:02]
507*2^709206-1 is not prime.  Res64: 2F6B650F5AB622FD  Time : 3379.0 sec.
user=gd_barnes
[2009-08-14 16:34:29]
405*2^709207-1 is not prime.  Res64: C2BCC637AE36F8E6  Time : 3382.0 sec.
user=vaughan
[2009-08-14 16:35:51]
507*2^709216-1 is not prime.  Res64: EBADCF93AE3187A6  Time : 469.0 sec.
user=gd_barnes
[2009-08-14 16:36:41]
421*2^709207-1 is not prime.  Res64: EC1674B5494D51C8  Time : 3396.0 sec.
user=gd_barnes
[2009-08-14 16:38:11]
453*2^709207-1 is not prime.  Res64: 9DCC9DF1076DA8C7  Time : 3386.0 sec.
user=gd_barnes
[2009-08-14 16:39:42]
463*2^709207-1 is not prime.  Res64: 4AA8CA1428A0EA03  Time : 3382.0 sec.
user=vaughan
[2009-08-14 16:40:42]
525*2^709216-1 is not prime.  Res64: 70AEF5028682B60B  Time : 641.0 sec.
user=vaughan
[2009-08-14 16:43:44]
567*2^709216-1 is not prime.  Res64: EA8CAF8C84405FFB  Time : 473.0 sec.
user=gd_barnes
[2009-08-14 16:45:16]
541*2^709207-1 is not prime.  Res64: C5DAE74E0AABAA7F  Time : 3377.0 sec.
user=gd_barnes
[2009-08-14 16:45:45]
555*2^709207-1 is not prime.  Res64: 71B8737DE7199748  Time : 3382.0 sec.
user=gd_barnes
[2009-08-14 16:48:02]
449*2^709208-1 is not prime.  Res64: 553FD9AFE0A4E997  Time : 3399.0 sec.
user=gd_barnes
[2009-08-14 16:49:28]
533*2^709208-1 is not prime.  Res64: 64E740E02D65CEFF  Time : 3386.0 sec.
user=vaughan
[2009-08-14 16:50:29]
453*2^709218-1 is not prime.  Res64: FE6B9CE9F111AD77  Time : 587.0 sec.
user=gd_barnes
[2009-08-14 16:50:58]
557*2^709208-1 is not prime.  Res64: 2FCBDE9D4BE0F4BE  Time : 3381.0 sec.
user=vaughan
[2009-08-14 16:51:31]
465*2^709218-1 is not prime.  Res64: 58FE67B676341050  Time : 467.0 sec.
user=gd_barnes
[2009-08-14 16:56:32]
571*2^709209-1 is not prime.  Res64: 075748C2046B6C1F  Time : 3377.0 sec.
user=gd_barnes
[2009-08-14 16:57:02]
579*2^709209-1 is not prime.  Res64: A5C36DA51F16BC74  Time : 3382.0 sec.
user=gd_barnes
[2009-08-14 16:59:16]
467*2^709210-1 is not prime.  Res64: 6A9427AA07186C90  Time : 3392.0 sec.
user=vaughan
[2009-08-14 16:59:22]
465*2^709220-1 is not prime.  Res64: E2097EE6005E09D8  Time : 471.0 sec.
user=vaughan
[2009-08-14 17:00:25]
579*2^709219-1 is not prime.  Res64: 0F57541AA3B43503  Time : 596.0 sec.
user=gd_barnes
[2009-08-14 17:00:45]
597*2^709210-1 is not prime.  Res64: 9E9E28F628331EF0  Time : 3386.0 sec.
user=gd_barnes
[2009-08-14 17:02:14]
413*2^709212-1 is not prime.  Res64: F7D8A54772E23AE7  Time : 3381.0 sec.
user=vaughan
[2009-08-14 17:07:12]
531*2^709221-1 is not prime.  Res64: 85DA45DFB8A74D79  Time : 470.0 sec.
user=gd_barnes
[2009-08-14 17:07:48]
503*2^709212-1 is not prime.  Res64: C2402017225C317B  Time : 3379.0 sec.
user=gd_barnes
[2009-08-14 17:08:18]
537*2^709212-1 is not prime.  Res64: 5C610FD5BECAC5BF  Time : 3383.0 sec.
user=gd_barnes
[2009-08-14 17:10:32]
585*2^709212-1 is not prime.  Res64: C1CA0BA7CE4B3211  Time : 3386.0 sec.
user=vaughan
[2009-08-14 17:11:31]
571*2^709221-1 is not prime.  Res64: 15EEBDACC7EB79D5  Time : 667.0 sec.
user=gd_barnes
[2009-08-14 17:12:05]
547*2^709213-1 is not prime.  Res64: 74FE03D0541BBCA4  Time : 3388.0 sec.
user=gd_barnes
[2009-08-14 17:13:31]
561*2^709213-1 is not prime.  Res64: 41C4DB146AB29F21  Time : 3382.0 sec.
user=vaughan
[2009-08-14 17:15:00]
595*2^709223-1 is not prime.  Res64: 23B4724D04685FAE  Time : 468.0 sec.
user=gd_barnes
[2009-08-14 17:19:03]
511*2^709215-1 is not prime.  Res64: F3594DCB8968AEDD  Time : 3378.0 sec.
user=gd_barnes
[2009-08-14 17:19:34]
573*2^709215-1 is not prime.  Res64: 258F24E036C3D54B  Time : 3382.0 sec.
user=vaughan
[2009-08-14 17:20:29]
477*2^709225-1 is not prime.  Res64: D45B5C0154BBC86B  Time : 538.0 sec.
user=gd_barnes
[2009-08-14 17:21:49]
449*2^709216-1 is not prime.  Res64: 29C975D4E028E867  Time : 3387.0 sec.
user=vaughan
[2009-08-14 17:22:50]
545*2^709226-1 is not prime.  Res64: FE32A31FC2DAD6EB  Time : 470.0 sec.
user=gd_barnes
[2009-08-14 17:23:19]
483*2^709216-1 is not prime.  Res64: 58282841CD422AD5  Time : 3385.0 sec.
user=gd_barnes
[2009-08-14 17:24:47]
509*2^709216-1 is not prime.  Res64: 32ADAD329FC56EE3  Time : 3382.0 sec.
user=vaughan
[2009-08-14 17:29:17]
571*2^709227-1 is not prime.  Res64: A2FBDFD9D3F6A32A  Time : 528.0 sec.
user=gd_barnes
[2009-08-14 17:30:19]
527*2^709216-1 is not prime.  Res64: FC33889C022DC0F0  Time : 3377.0 sec.
user=vaughan
[2009-08-14 17:30:45]
435*2^709228-1 is not prime.  Res64: 4D9E68E74F953DD3  Time : 476.0 sec.
user=gd_barnes
[2009-08-14 17:30:51]
563*2^709216-1 is not prime.  Res64: C65BB18E3C666205  Time : 3382.0 sec.
user=gd_barnes
[2009-08-14 17:33:05]
487*2^709217-1 is not prime.  Res64: D728945C51B25061  Time : 3385.0 sec.
user=gd_barnes
[2009-08-14 17:34:36]
401*2^709218-1 is not prime.  Res64: C0C216F6A8860E43  Time : 3385.0 sec.
user=gd_barnes
[2009-08-14 17:36:03]
423*2^709218-1 is not prime.  Res64: 7BDAEA926EA820A5  Time : 3381.0 sec.
user=vaughan
[2009-08-14 17:38:44]
421*2^709229-1 is not prime.  Res64: 5AF8B24901B86A97  Time : 479.0 sec.
user=vaughan
[2009-08-14 17:40:45]
525*2^709228-1 is not prime.  Res64: CE1F9402BB5150D2  Time : 688.0 sec.
user=gd_barnes
[2009-08-14 17:41:35]
515*2^709218-1 is not prime.  Res64: E904F5B0D3BFAC51  Time : 3379.0 sec.
user=gd_barnes
[2009-08-14 17:42:06]
433*2^709219-1 is not prime.  Res64: 0D98458D0D560496  Time : 3381.0 sec.
user=gd_barnes
[2009-08-14 17:44:27]
531*2^709219-1 is not prime.  Res64: FA8AB3551BBCF870  Time : 3385.0 sec.
user=gd_barnes
[2009-08-14 17:45:53]
549*2^709219-1 is not prime.  Res64: 7B8E63478DC35A43  Time : 3385.0 sec.
user=vaughan
[2009-08-14 17:46:46]
443*2^709230-1 is not prime.  Res64: 4E759E28B5A8FC2D  Time : 482.0 sec.
user=gd_barnes
[2009-08-14 17:47:20]
459*2^709220-1 is not prime.  Res64: 518C1897C7A52A02  Time : 3383.0 sec.
user=vaughan
[2009-08-14 17:52:22]
585*2^709230-1 is not prime.  Res64: 0E086746387FB6B0  Time : 697.0 sec.
user=gd_barnes
[2009-08-14 17:52:50]
467*2^709220-1 is not prime.  Res64: D4B4778E0590B54C  Time : 3378.0 sec.
user=gd_barnes
[2009-08-14 17:53:23]
557*2^709220-1 is not prime.  Res64: 41E55B024D2532D6  Time : 3382.0 sec.
user=vaughan
[2009-08-14 17:54:44]
507*2^709232-1 is not prime.  Res64: 9707EDF9D3A95A1B  Time : 478.0 sec.
user=gd_barnes
[2009-08-14 17:55:49]
599*2^709220-1 is not prime.  Res64: C3C079B106B90954  Time : 3393.0 sec.
user=gd_barnes
[2009-08-14 17:57:10]
467*2^709222-1 is not prime.  Res64: 20D9ACB48D12C573  Time : 3385.0 sec.
user=gd_barnes
[2009-08-14 17:58:36]
527*2^709222-1 is not prime.  Res64: BBC09ED7706C5C62  Time : 3382.0 sec.
user=vaughan
[2009-08-14 18:02:36]
413*2^709234-1 is not prime.  Res64: 8909139FC7754AC9  Time : 472.0 sec.
user=gd_barnes
[2009-08-14 18:04:06]
453*2^709224-1 is not prime.  Res64: CBF321BAAF6E1B2C  Time : 3378.0 sec.
user=gd_barnes
[2009-08-14 18:04:39]
455*2^709224-1 is not prime.  Res64: 1DA3485C78B71FB4  Time : 3381.0 sec.
user=vaughan
[2009-08-14 18:05:07]
517*2^709233-1 is not prime.  Res64: FA2469FDAFDE0B88  Time : 765.0 sec.
user=gd_barnes
[2009-08-14 18:07:09]
555*2^709224-1 is not prime.  Res64: E9D52CF728BC745F  Time : 3397.0 sec.
user=gd_barnes
[2009-08-14 18:08:27]
511*2^709225-1 is not prime.  Res64: 1C844ADDC50FC866  Time : 3382.0 sec.
user=gd_barnes
[2009-08-14 18:09:52]
537*2^709226-1 is not prime.  Res64: 3602C4389314A9C9  Time : 3381.0 sec.
user=vaughan
[2009-08-14 18:10:27]
411*2^709235-1 is not prime.  Res64: 0F94778AF0D4D7BB  Time : 471.0 sec.
user=vaughan
[2009-08-14 18:14:12]
413*2^709236-1 is not prime.  Res64: FE88682AECEEA659  Time : 545.0 sec.
user=gd_barnes
[2009-08-14 18:15:23]
433*2^709227-1 is not prime.  Res64: F95FB8AE762D6D6A  Time : 3380.0 sec.
user=gd_barnes
[2009-08-14 18:15:55]
511*2^709227-1 is not prime.  Res64: 45254CC86F8F2219  Time : 3381.0 sec.
user=vaughan
[2009-08-14 18:18:14]
499*2^709237-1 is not prime.  Res64: D60E62CE4C6657D2  Time : 467.0 sec.
user=gd_barnes
[2009-08-14 18:18:26]
583*2^709227-1 is not prime.  Res64: 60A89CB7152953DF  Time : 3397.0 sec.
user=gd_barnes
[2009-08-14 18:19:46]
483*2^709228-1 is not prime.  Res64: 9BB1C067ADC271F1  Time : 3387.0 sec.
user=gd_barnes
[2009-08-14 18:21:09]
519*2^709228-1 is not prime.  Res64: F6BFD657B2136C2B  Time : 3383.0 sec.
user=vaughan
[2009-08-14 18:26:05]
573*2^709238-1 is not prime.  Res64: 84FADF0BC135E099  Time : 471.0 sec.
user=gd_barnes
[2009-08-14 18:26:38]
575*2^709228-1 is not prime.  Res64: 3B93A63BEFF9E438  Time : 3379.0 sec.
user=vaughan
[2009-08-14 18:26:50]
531*2^709237-1 is not prime.  Res64: FCD40B9AD1449A5F  Time : 758.0 sec.
user=gd_barnes
[2009-08-14 18:27:15]
439*2^709229-1 is not prime.  Res64: 0F014876224792CA  Time : 3385.0 sec.
user=gd_barnes
[2009-08-14 18:29:46]
537*2^709229-1 is not prime.  Res64: 625ABBBAFAE62396  Time : 3401.0 sec.
user=gd_barnes
[2009-08-14 18:31:04]
417*2^709230-1 is not prime.  Res64: 8AAB0B96CD37F510  Time : 3388.0 sec.
user=gd_barnes
[2009-08-14 18:32:25]
437*2^709230-1 is not prime.  Res64: B1FA885C9F983510  Time : 3382.0 sec.
user=vaughan
[2009-08-14 18:33:53]
453*2^709242-1 is not prime.  Res64: 237337BB87D7A5A7  Time : 468.0 sec.
user=vaughan
[2009-08-14 18:37:22]
525*2^709242-1 is not prime.  Res64: 56D4DC0BF2CF43AC  Time : 632.0 sec.
user=gd_barnes
[2009-08-14 18:37:54]
535*2^709231-1 is not prime.  Res64: A59DCCA9AF246C89  Time : 3380.0 sec.
user=gd_barnes
[2009-08-14 18:38:28]
405*2^709232-1 is not prime.  Res64: 93AA1C40AABA1CFB  Time : 3382.0 sec.
user=gd_barnes
[2009-08-14 18:41:01]
479*2^709232-1 is not prime.  Res64: 4E2A7752DE0DB594  Time : 3394.0 sec.
user=vaughan
[2009-08-14 18:41:43]
519*2^709243-1 is not prime.  Res64: 6ABEBF2D96B304FD  Time : 470.0 sec.
user=gd_barnes
[2009-08-14 18:42:21]
489*2^709232-1 is not prime.  Res64: 79DB33D1B9F6E8BB  Time : 3388.0 sec.
user=gd_barnes
[2009-08-14 18:43:41]
441*2^709233-1 is not prime.  Res64: 4ED58B58FD4F3CB9  Time : 3381.0 sec.
user=vaughan
[2009-08-14 18:48:21]
553*2^709243-1 is not prime.  Res64: EE96ECF2C76A4BA0  Time : 659.0 sec.
user=gd_barnes
[2009-08-14 18:49:09]
549*2^709233-1 is not prime.  Res64: 5186A46596DF6A3E  Time : 3379.0 sec.
user=vaughan
[2009-08-14 18:49:32]
459*2^709244-1 is not prime.  Res64: 1878C716CB786431  Time : 469.0 sec.
user=gd_barnes
[2009-08-14 18:49:44]
591*2^709233-1 is not prime.  Res64: 4A34412E337939F3  Time : 3381.0 sec.
user=gd_barnes
[2009-08-14 18:52:20]
447*2^709234-1 is not prime.  Res64: 4419E9B8FECF4896  Time : 3391.0 sec.
user=gd_barnes
[2009-08-14 18:53:38]
477*2^709234-1 is not prime.  Res64: 2F3B475B1B0802EA  Time : 3388.0 sec.
user=gd_barnes
[2009-08-14 18:54:58]
525*2^709234-1 is not prime.  Res64: 4B718DBE9C744046  Time : 3383.0 sec.
user=vaughan
[2009-08-14 18:57:23]
593*2^709244-1 is not prime.  Res64: 1F647478133CBC1F  Time : 471.0 sec.
user=gd_barnes
[2009-08-14 19:00:24]
421*2^709235-1 is not prime.  Res64: 772C3788F5FB279E  Time : 3378.0 sec.
user=vaughan
[2009-08-14 19:00:34]
533*2^709244-1 is not prime.  Res64: B378353449B118F9  Time : 733.0 sec.
user=gd_barnes
[2009-08-14 19:00:59]
511*2^709235-1 is not prime.  Res64: 612DE51823F78CCD  Time : 3380.0 sec.
user=gd_barnes
[2009-08-14 19:03:43]
503*2^709236-1 is not prime.  Res64: 55B60EE70D9014D2  Time : 3394.0 sec.
user=gd_barnes
[2009-08-14 19:04:55]
427*2^709237-1 is not prime.  Res64: FC21FBE1F6BEBEF3  Time : 3388.0 sec.
user=vaughan
[2009-08-14 19:05:14]
477*2^709246-1 is not prime.  Res64: 2ACB27EE5232D529  Time : 471.0 sec.
user=gd_barnes
[2009-08-14 19:06:15]
439*2^709237-1 is not prime.  Res64: ED881A2C5837BD0C  Time : 3383.0 sec.
user=vaughan
[2009-08-14 19:11:24]
525*2^709246-1 is not prime.  Res64: 9B4FF3242AFCE555  Time : 650.0 sec.
user=gd_barnes
[2009-08-14 19:11:40]
425*2^709238-1 is not prime.  Res64: 2405CFD0BDFF8054  Time : 3377.0 sec.
user=gd_barnes
[2009-08-14 19:12:15]
557*2^709238-1 is not prime.  Res64: A502A992688BC1E8  Time : 3380.0 sec.
user=vaughan
[2009-08-14 19:13:05]
519*2^709247-1 is not prime.  Res64: FAD45F7DCDE81922  Time : 471.0 sec.
user=gd_barnes
[2009-08-14 19:15:01]
471*2^709239-1 is not prime.  Res64: 0C31199D1F3E99FE  Time : 3395.0 sec.
user=gd_barnes
[2009-08-14 19:16:12]
429*2^709240-1 is not prime.  Res64: DB1A15D0E4B395D9  Time : 3386.0 sec.
user=gd_barnes
[2009-08-14 19:17:30]
489*2^709241-1 is not prime.  Res64: A3BF27C403AC3C71  Time : 3381.0 sec.
user=vaughan
[2009-08-14 19:20:57]
503*2^709248-1 is not prime.  Res64: C3B4B1464B6EB55C  Time : 472.0 sec.
user=gd_barnes
[2009-08-14 19:22:55]
501*2^709242-1 is not prime.  Res64: FCB5B9CEF1238871  Time : 3377.0 sec.
user=vaughan
[2009-08-14 19:23:26]
419*2^709248-1 is not prime.  Res64: AA190579528D8F29  Time : 722.0 sec.
user=gd_barnes
[2009-08-14 19:23:31]
587*2^709242-1 is not prime.  Res64: C620294A4158E069  Time : 3376.0 sec.
user=gd_barnes
[2009-08-14 19:26:24]
593*2^709242-1 is not prime.  Res64: C9E7512F20E4819F  Time : 3398.0 sec.
user=gd_barnes
[2009-08-14 19:27:29]
429*2^709243-1 is not prime.  Res64: 5A1291CD922CEE31  Time : 3385.0 sec.
user=gd_barnes
[2009-08-14 19:28:47]
441*2^709243-1 is not prime.  Res64: 4D1A799A71A789BC  Time : 3382.0 sec.
user=vaughan
[2009-08-14 19:28:51]
547*2^709249-1 is not prime.  Res64: B1D29C8D14AC4D7D  Time : 474.0 sec.
user=gd_barnes
[2009-08-14 19:34:11]
413*2^709244-1 is not prime.  Res64: 2580E0EDC87754CC  Time : 3378.0 sec.
user=gd_barnes
[2009-08-14 19:34:50]
423*2^709244-1 is not prime.  Res64: 6C6A2CCB4EAEE28F  Time : 3382.0 sec.
user=vaughan
[2009-08-14 19:35:00]
559*2^709249-1 is not prime.  Res64: 0533BC3DBE0725DA  Time : 694.0 sec.
user=vaughan
[2009-08-14 19:36:54]
549*2^709251-1 is not prime.  Res64: E89D9FB2DE577EBC  Time : 483.0 sec.
user=gd_barnes
[2009-08-14 19:37:41]
447*2^709244-1 is not prime.  Res64: A78AC965E98DB01F  Time : 3400.0 sec.
user=gd_barnes
[2009-08-14 19:38:47]
483*2^709244-1 is not prime.  Res64: 51A67A74B08FE843  Time : 3386.0 sec.
user=gd_barnes
[2009-08-14 19:40:04]
519*2^709244-1 is not prime.  Res64: CED79F3C0DAFBCC9  Time : 3383.0 sec.
user=vaughan
[2009-08-14 19:44:51]
527*2^709252-1 is not prime.  Res64: 073AE1C2D39137A5  Time : 478.0 sec.
user=gd_barnes
[2009-08-14 19:45:26]
579*2^709244-1 is not prime.  Res64: CE7064A93D41247F  Time : 3377.0 sec.
user=vaughan
[2009-08-14 19:45:53]
525*2^709252-1 is not prime.  Res64: C3929AC9B9EFD242  Time : 653.0 sec.
user=gd_barnes
[2009-08-14 19:46:02]
447*2^709245-1 is not prime.  Res64: 2BA02C67EAC05B60  Time : 3379.0 sec.
user=gd_barnes
[2009-08-14 19:49:00]
565*2^709245-1 is not prime.  Res64: 26926C271115FC41  Time : 3400.0 sec.
user=gd_barnes
[2009-08-14 19:50:03]
405*2^709246-1 is not prime.  Res64: FEE2E68D74F3DD14  Time : 3385.0 sec.
user=gd_barnes
[2009-08-14 19:51:21]
443*2^709246-1 is not prime.  Res64: ACE502D00AD11297  Time : 3383.0 sec.
user=vaughan
[2009-08-14 19:52:43]
441*2^709253-1 is not prime.  Res64: BA75543D0A36D015  Time : 473.0 sec.
user=gd_barnes
[2009-08-14 19:56:42]
483*2^709246-1 is not prime.  Res64: 87471F0FD2FD835A  Time : 3378.0 sec.
user=gd_barnes
[2009-08-14 19:57:19]
441*2^709247-1 is not prime.  Res64: 87CF6552FE03B11C  Time : 3380.0 sec.
user=vaughan
[2009-08-14 19:58:19]
507*2^709253-1 is not prime.  Res64: 64067EEDBA3A55B3  Time : 746.0 sec.
user=gd_barnes
[2009-08-14 20:00:19]
453*2^709247-1 is not prime.  Res64: 8108D54420873BBA  Time : 3396.0 sec.
user=vaughan
[2009-08-14 20:00:37]
543*2^709254-1 is not prime.  Res64: 5744B72AF62A553C  Time : 474.0 sec.
user=gd_barnes
[2009-08-14 20:01:20]
505*2^709247-1 is not prime.  Res64: 405220905125F9B5  Time : 3385.0 sec.
user=gd_barnes
[2009-08-14 20:02:36]
531*2^709247-1 is not prime.  Res64: 295330BED89879DE  Time : 3381.0 sec.
user=gd_barnes
[2009-08-14 20:07:58]
423*2^709248-1 is not prime.  Res64: 33886C102E696B1A  Time : 3378.0 sec.
user=vaughan
[2009-08-14 20:08:30]
553*2^709255-1 is not prime.  Res64: F9F0760ED2ABE5AC  Time : 473.0 sec.
user=gd_barnes
[2009-08-14 20:08:38]
467*2^709248-1 is not prime.  Res64: E5842ACDC96D66DF  Time : 3383.0 sec.
user=vaughan
[2009-08-14 20:11:03]
493*2^709255-1 is not prime.  Res64: 7C6E59770FE48E2B  Time : 764.0 sec.
user=gd_barnes
[2009-08-14 20:11:38]
567*2^709248-1 is not prime.  Res64: 149130C444BAD322  Time : 3398.0 sec.
user=gd_barnes
[2009-08-14 20:12:37]
569*2^709248-1 is not prime.  Res64: F490255FA9806330  Time : 3385.0 sec.
user=gd_barnes
[2009-08-14 20:13:53]
415*2^709249-1 is not prime.  Res64: AE60B7615BB259F6  Time : 3383.0 sec.
user=vaughan
[2009-08-14 20:16:23]
473*2^709256-1 is not prime.  Res64: BD5479C12F6E15BE  Time : 473.0 sec.
user=gd_barnes
[2009-08-14 20:19:12]
549*2^709249-1 is not prime.  Res64: 89C4068635AEC1F6  Time : 3377.0 sec.
user=gd_barnes
[2009-08-14 20:19:51]
545*2^709250-1 is not prime.  Res64: 12FD09371E18A978  Time : 3380.0 sec.
user=vaughan
[2009-08-14 20:22:05]
465*2^709257-1 is not prime.  Res64: D16ABAD7516A4DA6  Time : 662.0 sec.
user=gd_barnes
[2009-08-14 20:22:52]
415*2^709251-1 is not prime.  Res64: 8A2C9D296EAF60D8  Time : 3388.0 sec.
user=gd_barnes
[2009-08-14 20:23:53]
531*2^709251-1 is not prime.  Res64: 860A7F4857E6A32A  Time : 3384.0 sec.
user=vaughan
[2009-08-14 20:24:15]
581*2^709258-1 is not prime.  Res64: 4D2F4268ACB68F72  Time : 472.0 sec.
user=gd_barnes
[2009-08-14 20:25:10]
535*2^709251-1 is not prime.  Res64: 0DA989DCB9930FE4  Time : 3383.0 sec.
user=gd_barnes
[2009-08-14 20:30:28]
483*2^709252-1 is not prime.  Res64: 32BA4A2CCD1BE25B  Time : 3377.0 sec.
user=gd_barnes
[2009-08-14 20:31:07]
485*2^709252-1 is not prime.  Res64: F1F2C71008435674  Time : 3377.0 sec.
user=vaughan
[2009-08-14 20:32:07]
577*2^709261-1 is not prime.  Res64: BADB50C2555AADC9  Time : 472.0 sec.
user=gd_barnes
[2009-08-14 20:34:08]
549*2^709252-1 is not prime.  Res64: 9578348BEE0E2E28  Time : 3387.0 sec.
user=vaughan
[2009-08-14 20:34:36]
511*2^709259-1 is not prime.  Res64: FB3E6DCF9B931DF6  Time : 751.0 sec.
user=gd_barnes
[2009-08-14 20:35:10]
569*2^709252-1 is not prime.  Res64: B5D91C0C447299E3  Time : 3384.0 sec.
user=gd_barnes
[2009-08-14 20:36:27]
573*2^709252-1 is not prime.  Res64: C8015C71A6B6F197  Time : 3383.0 sec.
user=vaughan
[2009-08-14 20:40:05]
423*2^709263-1 is not prime.  Res64: B1FE0670988015DF  Time : 478.0 sec.
user=gd_barnes
[2009-08-14 20:41:44]
445*2^709253-1 is not prime.  Res64: 4461EB3C6FD670CC  Time : 3378.0 sec.
user=gd_barnes
[2009-08-14 20:42:24]
511*2^709253-1 is not prime.  Res64: 9DC654798BC0A2BF  Time : 3382.0 sec.
user=vaughan
[2009-08-14 20:44:50]
541*2^709263-1 is not prime.  Res64: 07E708205F2A13CE  Time : 614.0 sec.
user=gd_barnes
[2009-08-14 20:45:22]
585*2^709253-1 is not prime.  Res64: E23E95D2ED5C670D  Time : 3382.0 sec.
user=gd_barnes
[2009-08-14 20:46:26]
411*2^709254-1 is not prime.  Res64: DE9E55053C791978  Time : 3383.0 sec.
user=gd_barnes
[2009-08-14 20:47:43]
485*2^709254-1 is not prime.  Res64: E52F4F3F325330A3  Time : 3382.0 sec.
user=vaughan
[2009-08-14 20:47:59]
513*2^709264-1 is not prime.  Res64: 7A043F2EE8006CB4  Time : 475.0 sec.
user=gd_barnes
[2009-08-14 20:53:00]
563*2^709254-1 is not prime.  Res64: 805C872C28954F07  Time : 3378.0 sec.
user=gd_barnes
[2009-08-14 20:53:40]
411*2^709255-1 is not prime.  Res64: BDD91C35883AEC35  Time : 3381.0 sec.
user=vaughan
[2009-08-14 20:54:59]
469*2^709265-1 is not prime.  Res64: 87FCEEB05D4E2A42  Time : 609.0 sec.
user=vaughan
[2009-08-14 20:56:00]
473*2^709266-1 is not prime.  Res64: ABB40CC1C6556AEC  Time : 481.0 sec.
user=gd_barnes
[2009-08-14 20:56:36]
525*2^709255-1 is not prime.  Res64: 140940A65258A107  Time : 3378.0 sec.
user=gd_barnes
[2009-08-14 20:57:43]
589*2^709255-1 is not prime.  Res64: CB325D8AEDFAF31D  Time : 3383.0 sec.
user=gd_barnes
[2009-08-14 20:59:00]
595*2^709255-1 is not prime.  Res64: 64D96D454CE419E8  Time : 3384.0 sec.
user=vaughan
[2009-08-14 21:03:53]
521*2^709266-1 is not prime.  Res64: 609EAA157D93514E  Time : 473.0 sec.
user=gd_barnes
[2009-08-14 21:04:15]
405*2^709256-1 is not prime.  Res64: 1CA8CC18FB279E5F  Time : 3377.0 sec.
user=gd_barnes
[2009-08-14 21:04:56]
409*2^709257-1 is not prime.  Res64: 7224160C3E3D9D71  Time : 3378.0 sec.
user=gd_barnes
[2009-08-14 21:07:51]
401*2^709258-1 is not prime.  Res64: 910126863EF94535  Time : 3373.0 sec.
user=vaughan
[2009-08-14 21:08:03]
503*2^709266-1 is not prime.  Res64: D8242587A081BFA1  Time : 785.0 sec.
user=gd_barnes
[2009-08-14 21:09:00]
423*2^709258-1 is not prime.  Res64: BAAB378A030962ED  Time : 3384.0 sec.
user=gd_barnes
[2009-08-14 21:10:16]
545*2^709258-1 is not prime.  Res64: CA53A1A21E66C504  Time : 3383.0 sec.
user=vaughan
[2009-08-14 21:11:44]
523*2^709267-1 is not prime.  Res64: DFFCEE129A893C59  Time : 471.0 sec.
user=gd_barnes
[2009-08-14 21:15:31]
465*2^709259-1 is not prime.  Res64: 8DFE348AA8825B3C  Time : 3379.0 sec.
user=gd_barnes
[2009-08-14 21:16:13]
489*2^709259-1 is not prime.  Res64: 093466372D74BB79  Time : 3382.0 sec.
user=gd_barnes
[2009-08-14 21:19:10]
531*2^709259-1 is not prime.  Res64: 45F15DCB459111B7  Time : 3378.0 sec.
user=vaughan
[2009-08-14 21:19:34]
447*2^709269-1 is not prime.  Res64: 7C37CE90936DFA4F  Time : 470.0 sec.
user=gd_barnes
[2009-08-14 21:20:26]
515*2^709260-1 is not prime.  Res64: 9B4A22D700806201  Time : 3393.0 sec.
user=vaughan
[2009-08-14 21:20:30]
437*2^709268-1 is not prime.  Res64: 3604A01203A229D8  Time : 748.0 sec.
user=gd_barnes
[2009-08-14 21:21:32]
567*2^709262-1 is not prime.  Res64: 067472C7608DF85A  Time : 3382.0 sec.
user=gd_barnes
[2009-08-14 21:26:47]
585*2^709262-1 is not prime.  Res64: 44DD5FB4D89ED1A9  Time : 3379.0 sec.
user=vaughan
[2009-08-14 21:27:27]
421*2^709271-1 is not prime.  Res64: 1A095751FFB8A6F7  Time : 473.0 sec.
user=gd_barnes
[2009-08-14 21:27:29]
415*2^709263-1 is not prime.  Res64: 33A1009D6B50404A  Time : 3382.0 sec.
user=gd_barnes
[2009-08-14 21:30:29]
523*2^709263-1 is not prime.  Res64: 09A3189915EB96B0  Time : 3381.0 sec.
user=gd_barnes
[2009-08-14 21:31:34]
543*2^709263-1 is not prime.  Res64: CA02D8D2365DBBFD  Time : 3384.0 sec.
user=gd_barnes
[2009-08-14 21:32:49]
553*2^709263-1 is not prime.  Res64: 962EF7BA8DC39D67  Time : 3383.0 sec.
user=vaughan
[2009-08-14 21:33:22]
595*2^709271-1 is not prime.  Res64: 357A4E11BC9A4EC9  Time : 773.0 sec.
user=vaughan
[2009-08-14 21:35:20]
485*2^709272-1 is not prime.  Res64: 24767EBA00B320C2  Time : 473.0 sec.
user=gd_barnes
[2009-08-14 21:38:02]
519*2^709264-1 is not prime.  Res64: 3F98DF5B6690ED96  Time : 3378.0 sec.
user=gd_barnes
[2009-08-14 21:38:45]
549*2^709264-1 is not prime.  Res64: 1B1F620B8E4EA443  Time : 3381.0 sec.
user=gd_barnes
[2009-08-14 21:41:48]
579*2^709265-1 is not prime.  Res64: D2FB6F35E63ECCEA  Time : 3386.0 sec.
user=gd_barnes
[2009-08-14 21:42:51]
595*2^709265-1 is not prime.  Res64: 652D4AE29379CAB6  Time : 3385.0 sec.
user=vaughan
[2009-08-14 21:43:21]
489*2^709273-1 is not prime.  Res64: 4DC0BB6A8D4372DF  Time : 481.0 sec.
user=gd_barnes
[2009-08-14 21:44:06]
447*2^709266-1 is not prime.  Res64: 41AEDBEFEF33081B  Time : 3383.0 sec.
user=vaughan
[2009-08-14 21:45:47]
429*2^709273-1 is not prime.  Res64: EDFE97687153CF5D  Time : 745.0 sec.
user=gd_barnes
[2009-08-14 21:49:19]
483*2^709266-1 is not prime.  Res64: DB523B525101021D  Time : 3380.0 sec.
user=gd_barnes
[2009-08-14 21:50:02]
485*2^709266-1 is not prime.  Res64: A0C44E761ABD0630  Time : 3383.0 sec.
user=vaughan
[2009-08-14 21:51:21]
523*2^709275-1 is not prime.  Res64: C0CE0582D092E7F4  Time : 481.0 sec.
user=gd_barnes
[2009-08-14 21:53:04]
581*2^709266-1 is not prime.  Res64: B29188E13F70CE4F  Time : 3388.0 sec.
user=gd_barnes
[2009-08-14 21:54:07]
493*2^709267-1 is not prime.  Res64: CC14D858C000FCCB  Time : 3384.0 sec.
user=gd_barnes
[2009-08-14 21:55:21]
511*2^709267-1 is not prime.  Res64: F2F4BD293547D337  Time : 3381.0 sec.
user=vaughan
[2009-08-14 21:58:59]
447*2^709276-1 is not prime.  Res64: 34C9A12E9B3BDDA9  Time : 792.0 sec.
user=vaughan
[2009-08-14 21:59:19]
593*2^709276-1 is not prime.  Res64: 59B2303FF31E01DB  Time : 479.0 sec.
user=gd_barnes
[2009-08-14 22:00:36]
541*2^709267-1 is not prime.  Res64: AFCFC393EA20B88F  Time : 3381.0 sec.
user=gd_barnes
[2009-08-14 22:01:18]
573*2^709267-1 is not prime.  Res64: 6D4869FA45ADBF2D  Time : 3382.0 sec.
user=gd_barnes
[2009-08-14 22:04:18]
417*2^709268-1 is not prime.  Res64: 19FBCC438C5FC4D9  Time : 3388.0 sec.
user=gd_barnes
[2009-08-14 22:05:24]
519*2^709268-1 is not prime.  Res64: 7572DBA8302B0E5D  Time : 3384.0 sec.
user=gd_barnes
[2009-08-14 22:06:38]
537*2^709268-1 is not prime.  Res64: 8644B004C895FE43  Time : 3383.0 sec.
user=vaughan
[2009-08-14 22:07:10]
413*2^709278-1 is not prime.  Res64: 1EF91F52B162744F  Time : 472.0 sec.
user=vaughan
[2009-08-14 22:09:48]
567*2^709277-1 is not prime.  Res64: 00F3C8886B3BC427  Time : 649.0 sec.
user=gd_barnes
[2009-08-14 22:11:52]
555*2^709269-1 is not prime.  Res64: 64C35742EF424076  Time : 3381.0 sec.
user=gd_barnes
[2009-08-14 22:12:35]
471*2^709270-1 is not prime.  Res64: AA6D9C8CC8D5CD1A  Time : 3382.0 sec.
user=vaughan
[2009-08-14 22:15:06]
405*2^709280-1 is not prime.  Res64: 8D876AC9BBF62208  Time : 476.0 sec.
user=gd_barnes
[2009-08-14 22:15:34]
545*2^709270-1 is not prime.  Res64: 2CDA8B5C5FCC7F2C  Time : 3384.0 sec.
user=gd_barnes
[2009-08-14 22:16:40]
451*2^709271-1 is not prime.  Res64: E3D8A52815EB6D26  Time : 3374.0 sec.
user=gd_barnes
[2009-08-14 22:17:55]
405*2^709272-1 is not prime.  Res64: 68EDFFF9711207D0  Time : 3383.0 sec.
user=vaughan
[2009-08-14 22:22:25]
413*2^709280-1 is not prime.  Res64: 10A5CA39815BDCE9  Time : 757.0 sec.
user=vaughan
[2009-08-14 22:23:01]
429*2^709281-1 is not prime.  Res64: 48C7EBBC7BC3CA18  Time : 475.0 sec.
user=gd_barnes
[2009-08-14 22:23:08]
429*2^709272-1 is not prime.  Res64: 40764FC1B124A90B  Time : 3381.0 sec.
user=gd_barnes
[2009-08-14 22:23:52]
497*2^709272-1 is not prime.  Res64: 6B29DD57A5A2F315  Time : 3383.0 sec.
user=gd_barnes
[2009-08-14 22:26:53]
507*2^709272-1 is not prime.  Res64: 8B81865645EBBFBA  Time : 3384.0 sec.
user=gd_barnes
[2009-08-14 22:27:56]
539*2^709272-1 is not prime.  Res64: 2303869329B5F8DF  Time : 3382.0 sec.
user=gd_barnes
[2009-08-14 22:29:12]
569*2^709272-1 is not prime.  Res64: FA74515A870722BD  Time : 3383.0 sec.
user=vaughan
[2009-08-14 22:31:03]
425*2^709282-1 is not prime.  Res64: DB0A07040DC9103C  Time : 482.0 sec.
user=gd_barnes
[2009-08-14 22:34:23]
437*2^709274-1 is not prime.  Res64: 1B7A2F33F9CF22D1  Time : 3381.0 sec.
user=vaughan
[2009-08-14 22:34:41]
413*2^709282-1 is not prime.  Res64: 54ECC1C043DAC7A5  Time : 737.0 sec.
user=gd_barnes
[2009-08-14 22:35:08]
567*2^709274-1 is not prime.  Res64: B09C5B78037C0855  Time : 3383.0 sec.
user=gd_barnes
[2009-08-14 22:38:07]
587*2^709274-1 is not prime.  Res64: E9ABAB2950F35735  Time : 3379.0 sec.
user=vaughan
[2009-08-14 22:39:04]
567*2^709282-1 is not prime.  Res64: E5EB2C133FB07513  Time : 481.0 sec.
user=gd_barnes
[2009-08-14 22:39:12]
513*2^709275-1 is not prime.  Res64: A934FECA5F7008E6  Time : 3382.0 sec.
user=gd_barnes
[2009-08-14 22:40:28]
437*2^709276-1 is not prime.  Res64: BAA094B81B6E1104  Time : 3383.0 sec.
user=vaughan
[2009-08-14 22:45:31]
423*2^709284-1 is not prime.  Res64: A6820EA1F7D69B7E  Time : 650.0 sec.
user=gd_barnes
[2009-08-14 22:45:39]
479*2^709276-1 is not prime.  Res64: 9BB9D00CD5E68F61  Time : 3380.0 sec.
user=gd_barnes
[2009-08-14 22:46:24]
507*2^709276-1 is not prime.  Res64: B0167FDF652CB623  Time : 3382.0 sec.
user=vaughan
[2009-08-14 22:47:07]
585*2^709284-1 is not prime.  Res64: 54B61D25ADC30F1E  Time : 483.0 sec.
user=gd_barnes
[2009-08-14 22:49:21]
477*2^709277-1 is not prime.  Res64: C3FEC126B51CC84C  Time : 3377.0 sec.
user=gd_barnes
[2009-08-14 22:50:29]
511*2^709277-1 is not prime.  Res64: A997ABC7A4366DE0  Time : 3382.0 sec.
user=gd_barnes
[2009-08-14 22:51:44]
559*2^709277-1 is not prime.  Res64: 0B4736230944D552  Time : 3383.0 sec.
user=vaughan
[2009-08-14 22:55:05]
407*2^709286-1 is not prime.  Res64: 157E3000FC1A6728  Time : 478.0 sec.
user=vaughan
[2009-08-14 22:56:41]
499*2^709285-1 is not prime.  Res64: 409A885C7D98D7D2  Time : 670.0 sec.
user=gd_barnes
[2009-08-14 22:56:55]
453*2^709278-1 is not prime.  Res64: 653132C0DFE5C9FE  Time : 3379.0 sec.
user=gd_barnes
[2009-08-14 22:57:41]
423*2^709279-1 is not prime.  Res64: 9A095AFFD2B3A79E  Time : 3383.0 sec.
user=gd_barnes
[2009-08-14 23:00:37]
463*2^709279-1 is not prime.  Res64: DF1E0C71F7411CF2  Time : 3379.0 sec.
user=gd_barnes
[2009-08-14 23:01:45]
469*2^709279-1 is not prime.  Res64: B450FCBA02979F4C  Time : 3381.0 sec.
user=vaughan
[2009-08-14 23:02:49]
429*2^709287-1 is not prime.  Res64: 7BAB0899219C7DC1  Time : 464.0 sec.
user=gd_barnes
[2009-08-14 23:03:01]
595*2^709279-1 is not prime.  Res64: B49D56583E41BB06  Time : 3383.0 sec.
user=vaughan
[2009-08-14 23:04:24]
441*2^709287-1 is not prime.  Res64: EA23C6099E668D5D  Time : 463.0 sec.
user=gd_barnes
[2009-08-14 23:08:10]
453*2^709280-1 is not prime.  Res64: DC777A2B14C99A77  Time : 3378.0 sec.
user=gd_barnes
[2009-08-14 23:08:57]
543*2^709280-1 is not prime.  Res64: 71CD26FABC786142  Time : 3382.0 sec.
user=vaughan
[2009-08-14 23:10:31]
525*2^709288-1 is not prime.  Res64: BCAA79DE055319B0  Time : 462.0 sec.
user=gd_barnes
[2009-08-14 23:11:48]
465*2^709281-1 is not prime.  Res64: A17C6574050CF10A  Time : 3374.0 sec.
user=vaughan
[2009-08-14 23:12:06]
459*2^709289-1 is not prime.  Res64: AA8FED7B1BDD5D7C  Time : 462.0 sec.
user=gd_barnes
[2009-08-14 23:13:01]
471*2^709281-1 is not prime.  Res64: 5E689AAAF8A6F4B5  Time : 3382.0 sec.
user=gd_barnes
[2009-08-14 23:14:17]
517*2^709281-1 is not prime.  Res64: 93C61CDCD90356DC  Time : 3382.0 sec.
user=vaughan
[2009-08-14 23:18:13]
431*2^709290-1 is not prime.  Res64: D939364450B7DF3E  Time : 462.0 sec.
user=gd_barnes
[2009-08-14 23:19:25]
435*2^709282-1 is not prime.  Res64: C8DA8208857272DF  Time : 3378.0 sec.
user=vaughan
[2009-08-14 23:19:48]
503*2^709290-1 is not prime.  Res64: 3C7741DE38A041FB  Time : 462.0 sec.
user=gd_barnes
[2009-08-14 23:20:14]
437*2^709282-1 is not prime.  Res64: CB08A7D5BEEEE2F7  Time : 3382.0 sec.
user=gd_barnes
[2009-08-14 23:23:00]
483*2^709282-1 is not prime.  Res64: F15E0173FBEB563B  Time : 3367.0 sec.
user=gd_barnes
[2009-08-14 23:24:18]
513*2^709282-1 is not prime.  Res64: F89A95ACA0F047D2  Time : 3382.0 sec.
user=gd_barnes
[2009-08-14 23:25:33]
561*2^709282-1 is not prime.  Res64: B2EF5DE7277AF8A2  Time : 3381.0 sec.
user=vaughan
[2009-08-14 23:25:58]
405*2^709292-1 is not prime.  Res64: F8CF05212A9B3928  Time : 465.0 sec.
user=vaughan
[2009-08-14 23:27:31]
599*2^709292-1 is not prime.  Res64: E0209F97856A5349  Time : 463.0 sec.
user=gd_barnes
[2009-08-14 23:30:41]
505*2^709283-1 is not prime.  Res64: 1EA8CEBB8337F562  Time : 3378.0 sec.
user=gd_barnes
[2009-08-14 23:31:30]
455*2^709284-1 is not prime.  Res64: 80318746F00B54F4  Time : 3382.0 sec.
user=vaughan
[2009-08-14 23:33:40]
483*2^709294-1 is not prime.  Res64: D92E79390063F659  Time : 462.0 sec.
user=gd_barnes
[2009-08-14 23:34:10]
567*2^709284-1 is not prime.  Res64: EA162E389F7CCFBE  Time : 3363.0 sec.
user=vaughan
[2009-08-14 23:35:14]
545*2^709294-1 is not prime.  Res64: 5F1D86F3A4E0E85D  Time : 463.0 sec.
user=gd_barnes
[2009-08-14 23:35:34]
441*2^709285-1 is not prime.  Res64: DA302D025126F6D7  Time : 3382.0 sec.
user=gd_barnes
[2009-08-14 23:36:50]
495*2^709285-1 is not prime.  Res64: 26EAAE015097BCE0  Time : 3382.0 sec.
user=vaughan
[2009-08-14 23:41:22]
445*2^709295-1 is not prime.  Res64: 05B85052A6D365A8  Time : 462.0 sec.
user=gd_barnes
[2009-08-14 23:41:57]
577*2^709285-1 is not prime.  Res64: 06FDB84A4312C34A  Time : 3378.0 sec.
user=gd_barnes
[2009-08-14 23:42:47]
591*2^709285-1 is not prime.  Res64: 98FFA8CCC9FFFE11  Time : 3383.0 sec.
user=vaughan
[2009-08-14 23:42:58]
437*2^709296-1 is not prime.  Res64: 1071E2836DFA2BC4  Time : 464.0 sec.
user=gd_barnes
[2009-08-14 23:45:22]
417*2^709286-1 is not prime.  Res64: 80169B30DBCDE2DD  Time : 3361.0 sec.
user=gd_barnes
[2009-08-14 23:46:51]
437*2^709286-1 is not prime.  Res64: D3552BD99D4D25E8  Time : 3382.0 sec.
user=gd_barnes
[2009-08-14 23:48:06]
501*2^709286-1 is not prime.  Res64: 848BC78C0048FFD2  Time : 3382.0 sec.
user=vaughan
[2009-08-14 23:49:05]
499*2^709297-1 is not prime.  Res64: 0742C4E7AF7935F5  Time : 463.0 sec.
user=vaughan
[2009-08-14 23:50:41]
431*2^709298-1 is not prime.  Res64: 9240420A5C537F78  Time : 464.0 sec.
user=gd_barnes
[2009-08-14 23:53:11]
549*2^709287-1 is not prime.  Res64: 336CB8F802FF2445  Time : 3376.0 sec.
user=gd_barnes
[2009-08-14 23:54:03]
565*2^709287-1 is not prime.  Res64: 8FF300A11CA89F65  Time : 3382.0 sec.
user=gd_barnes
[2009-08-14 23:56:34]
437*2^709288-1 is not prime.  Res64: FC5EDFF709FF73FC  Time : 3357.0 sec.
user=vaughan
[2009-08-14 23:56:47]
429*2^709299-1 is not prime.  Res64: E2EB030CAC61E24D  Time : 462.0 sec.
user=gd_barnes
[2009-08-14 23:58:07]
509*2^709288-1 is not prime.  Res64: 400637A4F5BE591C  Time : 3382.0 sec.
user=vaughan
[2009-08-14 23:58:23]
469*2^709299-1 is not prime.  Res64: E408366A6E6E726D  Time : 462.0 sec.
user=gd_barnes
[2009-08-14 23:59:23]
573*2^709288-1 is not prime.  Res64: C81210FBB0AD8E6F  Time : 3382.0 sec.