user=vaughan
[2009-08-23 00:01:15]
445*2^711221-1 is not prime.  Res64: 4C9C3A04C2AEB349  Time : 487.0 sec.
user=vaughan
[2009-08-23 00:01:22]
545*2^711220-1 is not prime.  Res64: 0ADB5DC29717A948  Time : 870.0 sec.
user=gd_barnes
[2009-08-23 00:04:46]
595*2^711217-1 is not prime.  Res64: BC98923593775D3C  Time : 3385.0 sec.
user=vaughan
[2009-08-23 00:09:29]
487*2^711221-1 is not prime.  Res64: 258C4AA641FDC983  Time : 494.0 sec.
user=vaughan
[2009-08-23 00:15:27]
417*2^711222-1 is not prime.  Res64: 4A8165CCD9F526DE  Time : 846.0 sec.
user=gd_barnes
[2009-08-23 00:16:01]
561*2^711218-1 is not prime.  Res64: 1ED8FA0C18815EC1  Time : 3383.0 sec.
user=vaughan
[2009-08-23 00:18:13]
447*2^711222-1 is not prime.  Res64: CF873353A89C0D78  Time : 524.0 sec.
user=vaughan
[2009-08-23 00:26:30]
573*2^711222-1 is not prime.  Res64: E66F6E3EEF363136  Time : 497.0 sec.
user=gd_barnes
[2009-08-23 00:27:14]
553*2^711219-1 is not prime.  Res64: 81F6AE5355155920  Time : 3379.0 sec.
user=vaughan
[2009-08-23 00:28:08]
495*2^711222-1 is not prime.  Res64: 0C3E6E3B1D9462A3  Time : 761.0 sec.
user=vaughan
[2009-08-23 00:35:21]
421*2^711223-1 is not prime.  Res64: EACBEFF9B9ECA233  Time : 531.0 sec.
user=gd_barnes
[2009-08-23 00:38:29]
595*2^711219-1 is not prime.  Res64: A184D020DACBF72E  Time : 3377.0 sec.
user=vaughan
[2009-08-23 00:40:50]
481*2^711223-1 is not prime.  Res64: A75CBA2043B8E559  Time : 762.0 sec.
user=vaughan
[2009-08-23 00:43:58]
423*2^711224-1 is not prime.  Res64: DA0A33E4F4A84477  Time : 517.0 sec.
user=gd_barnes
[2009-08-23 00:49:43]
451*2^711221-1 is not prime.  Res64: 41246B7172D98A8B  Time : 3373.0 sec.
user=vaughan
[2009-08-23 00:52:23]
483*2^711224-1 is not prime.  Res64: FA53D7BD4A063641  Time : 506.0 sec.
user=vaughan
[2009-08-23 00:53:43]
447*2^711224-1 is not prime.  Res64: 2748B7638965F846  Time : 774.0 sec.
user=gd_barnes
[2009-08-23 01:00:58]
437*2^711222-1 is not prime.  Res64: D8A35756DCC5242F  Time : 3372.0 sec.
user=vaughan
[2009-08-23 01:01:00]
543*2^711224-1 is not prime.  Res64: DCEF0EA5933A2430  Time : 517.0 sec.
user=vaughan
[2009-08-23 01:07:24]
565*2^711225-1 is not prime.  Res64: 6EAADD5D15200D06  Time : 821.0 sec.
user=vaughan
[2009-08-23 01:09:07]
453*2^711227-1 is not prime.  Res64: 279B59857AF52606  Time : 487.0 sec.
user=gd_barnes
[2009-08-23 01:12:13]
521*2^711222-1 is not prime.  Res64: 7EE3D0DFA9A26ED4  Time : 3372.0 sec.
user=vaughan
[2009-08-23 01:17:15]
543*2^711227-1 is not prime.  Res64: 87E1DA2CBCE33FD6  Time : 488.0 sec.
user=vaughan
[2009-08-23 01:21:43]
465*2^711227-1 is not prime.  Res64: 2752A1FA70D66744  Time : 859.0 sec.
user=gd_barnes
[2009-08-23 01:23:27]
429*2^711223-1 is not prime.  Res64: C459973FF874EF6D  Time : 3373.0 sec.
user=vaughan
[2009-08-23 01:25:57]
595*2^711227-1 is not prime.  Res64: 48C4F1441C0D23FA  Time : 522.0 sec.
user=vaughan
[2009-08-23 01:34:32]
479*2^711228-1 is not prime.  Res64: C82AF43C6D30E60C  Time : 769.0 sec.
user=vaughan
[2009-08-23 01:34:32]
545*2^711228-1 is not prime.  Res64: 662E8257CCBA4EE3  Time : 516.0 sec.
user=gd_barnes
[2009-08-23 01:34:42]
425*2^711224-1 is not prime.  Res64: 4141067FE72ABD7F  Time : 3373.0 sec.
user=vaughan
[2009-08-23 01:42:51]
555*2^711229-1 is not prime.  Res64: 179B352E2EBA217D  Time : 499.0 sec.
user=gd_barnes
[2009-08-23 01:45:56]
533*2^711224-1 is not prime.  Res64: E4B4EFB943005D09  Time : 3373.0 sec.
user=vaughan
[2009-08-23 01:47:27]
549*2^711228-1 is not prime.  Res64: 5F6B975458C206E3  Time : 775.0 sec.
user=vaughan
[2009-08-23 01:51:21]
425*2^711230-1 is not prime.  Res64: 81777F034E7CA4B1  Time : 510.0 sec.
user=gd_barnes
[2009-08-23 01:57:11]
495*2^711226-1 is not prime.  Res64: 94CF504E7CD661D7  Time : 3373.0 sec.
user=vaughan
[2009-08-23 01:59:54]
473*2^711230-1 is not prime.  Res64: 282F3F0F4BA23D91  Time : 514.0 sec.
user=vaughan
[2009-08-23 02:00:29]
461*2^711230-1 is not prime.  Res64: B6DC6D2A00F7F984  Time : 782.0 sec.
user=vaughan
[2009-08-23 02:08:15]
521*2^711230-1 is not prime.  Res64: A18633B810823498  Time : 501.0 sec.
user=gd_barnes
[2009-08-23 02:08:25]
585*2^711227-1 is not prime.  Res64: 46D0F3A48F80F206  Time : 3373.0 sec.
user=vaughan
[2009-08-23 02:13:46]
533*2^711230-1 is not prime.  Res64: EBC2C44183E4FC2B  Time : 797.0 sec.
user=vaughan
[2009-08-23 02:16:36]
575*2^711230-1 is not prime.  Res64: 27BA3EBB36D5390F  Time : 502.0 sec.
user=gd_barnes
[2009-08-23 02:19:40]
503*2^711228-1 is not prime.  Res64: 5222EDB3831307E8  Time : 3373.0 sec.
user=vaughan
[2009-08-23 02:25:13]
593*2^711230-1 is not prime.  Res64: B23320528B9A2CF8  Time : 518.0 sec.
user=vaughan
[2009-08-23 02:27:07]
585*2^711230-1 is not prime.  Res64: F59098D1939C2247  Time : 801.0 sec.
user=gd_barnes
[2009-08-23 02:30:54]
405*2^711230-1 is not prime.  Res64: 4C298CACAF0854CE  Time : 3372.0 sec.
user=vaughan
[2009-08-23 02:33:49]
453*2^711231-1 is not prime.  Res64: ED0B7116165D13DE  Time : 516.0 sec.
user=vaughan
[2009-08-23 02:40:49]
465*2^711231-1 is not prime.  Res64: 05C35B08B4929C2C  Time : 822.0 sec.
user=gd_barnes
[2009-08-23 02:42:08]
455*2^711230-1 is not prime.  Res64: ECADE191D5518E39  Time : 3372.0 sec.
user=vaughan
[2009-08-23 02:42:30]
535*2^711231-1 is not prime.  Res64: A9BAB85A3F48B980  Time : 521.0 sec.
user=vaughan
[2009-08-23 02:51:30]
489*2^711232-1 is not prime.  Res64: F29C935F86AE5979  Time : 540.0 sec.
user=gd_barnes
[2009-08-23 02:53:23]
503*2^711230-1 is not prime.  Res64: 3409BBE8EA88FF52  Time : 3372.0 sec.
user=vaughan
[2009-08-23 02:53:47]
579*2^711231-1 is not prime.  Res64: 351FC2A234800626  Time : 778.0 sec.
user=vaughan
[2009-08-23 02:59:45]
549*2^711232-1 is not prime.  Res64: D497BEA46E6D6982  Time : 495.0 sec.
user=gd_barnes
[2009-08-23 03:04:37]
581*2^711230-1 is not prime.  Res64: 205C974A0BA4CC4A  Time : 3372.0 sec.
user=vaughan
[2009-08-23 03:06:32]
489*2^711233-1 is not prime.  Res64: 2BEDB82C70E6F658  Time : 766.0 sec.
user=vaughan
[2009-08-23 03:08:07]
525*2^711233-1 is not prime.  Res64: BA8E52B9DE2055DB  Time : 502.0 sec.
user=gd_barnes
[2009-08-23 03:15:52]
423*2^711231-1 is not prime.  Res64: B1BCD350C7EAD814  Time : 3372.0 sec.
user=vaughan
[2009-08-23 03:17:02]
571*2^711233-1 is not prime.  Res64: AF35F26E12028233  Time : 535.0 sec.
user=vaughan
[2009-08-23 03:19:24]
559*2^711233-1 is not prime.  Res64: 9ED7E7AAE1F349A7  Time : 772.0 sec.
user=vaughan
[2009-08-23 03:25:35]
423*2^711234-1 is not prime.  Res64: D89F3ED20F363E57  Time : 513.0 sec.
user=gd_barnes
[2009-08-23 03:27:07]
489*2^711231-1 is not prime.  Res64: 5613A9800BFB807E  Time : 3374.0 sec.
user=vaughan
[2009-08-23 03:32:06]
437*2^711234-1 is not prime.  Res64: 8A36D2E3A6066F42  Time : 762.0 sec.
user=vaughan
[2009-08-23 03:33:46]
483*2^711234-1 is not prime.  Res64: E6D6DBB92980B39C  Time : 491.0 sec.
user=gd_barnes
[2009-08-23 03:38:20]
435*2^711232-1 is not prime.  Res64: 83F1301E23E546B1  Time : 3372.0 sec.
user=vaughan
[2009-08-23 03:42:34]
463*2^711235-1 is not prime.  Res64: 50B9A5982F970D3F  Time : 528.0 sec.
user=vaughan
[2009-08-23 03:45:56]
593*2^711234-1 is not prime.  Res64: 520F00441859DBCD  Time : 830.0 sec.
user=gd_barnes
[2009-08-23 03:49:35]
411*2^711233-1 is not prime.  Res64: 247FFEE3A8013C4A  Time : 3372.0 sec.
user=vaughan
[2009-08-23 03:51:14]
541*2^711235-1 is not prime.  Res64: 09A5707A06783BDE  Time : 521.0 sec.
user=vaughan
[2009-08-23 03:59:25]
455*2^711236-1 is not prime.  Res64: FBE414A4871C97A1  Time : 491.0 sec.
user=vaughan
[2009-08-23 04:00:30]
405*2^711236-1 is not prime.  Res64: D997DA41AA7B1991  Time : 874.0 sec.
user=gd_barnes
[2009-08-23 04:00:49]
549*2^711233-1 is not prime.  Res64: 7514BD9B63DFC12A  Time : 3372.0 sec.
user=vaughan
[2009-08-23 04:07:46]
495*2^711236-1 is not prime.  Res64: 028858C683D470EF  Time : 501.0 sec.
user=gd_barnes
[2009-08-23 04:12:04]
585*2^711233-1 is not prime.  Res64: 0EE2E5FCF9795BC8  Time : 3372.0 sec.
user=vaughan
[2009-08-23 04:14:54]
557*2^711236-1 is not prime.  Res64: 16BE9C9B724C7FDF  Time : 864.0 sec.
user=vaughan
[2009-08-23 04:15:50]
465*2^711237-1 is not prime.  Res64: D2786368E031FE72  Time : 485.0 sec.
user=gd_barnes
[2009-08-23 04:23:19]
485*2^711234-1 is not prime.  Res64: F851C871BB23D985  Time : 3372.0 sec.
user=vaughan
[2009-08-23 04:24:27]
495*2^711238-1 is not prime.  Res64: 4FDB083CEF83EECA  Time : 518.0 sec.
user=vaughan
[2009-08-23 04:29:35]
453*2^711238-1 is not prime.  Res64: 6FD7A0527299278B  Time : 881.0 sec.
user=vaughan
[2009-08-23 04:33:12]
561*2^711238-1 is not prime.  Res64: A9F4D15257BE1463  Time : 525.0 sec.
user=gd_barnes
[2009-08-23 04:34:33]
511*2^711235-1 is not prime.  Res64: 55DEB42484E13DC9  Time : 3373.0 sec.
user=vaughan
[2009-08-23 04:41:25]
463*2^711239-1 is not prime.  Res64: 6EDC4A1579B41624  Time : 493.0 sec.
user=vaughan
[2009-08-23 04:44:10]
451*2^711239-1 is not prime.  Res64: 904C5C983DAA06F8  Time : 875.0 sec.
user=gd_barnes
[2009-08-23 04:45:48]
417*2^711236-1 is not prime.  Res64: 0BC16F559F2EC77C  Time : 3373.0 sec.
user=vaughan
[2009-08-23 04:49:49]
405*2^711240-1 is not prime.  Res64: 5E365A55D7B290FC  Time : 504.0 sec.
user=gd_barnes
[2009-08-23 04:57:02]
587*2^711236-1 is not prime.  Res64: 08617B44407D0E6B  Time : 3373.0 sec.
user=vaughan
[2009-08-23 04:57:51]
569*2^711240-1 is not prime.  Res64: E668080F0ED6CE73  Time : 482.0 sec.
user=vaughan
[2009-08-23 04:58:13]
473*2^711240-1 is not prime.  Res64: AEF011CD52777950  Time : 843.0 sec.
user=vaughan
[2009-08-23 05:06:07]
405*2^711241-1 is not prime.  Res64: B615A1107A6F1F3B  Time : 496.0 sec.
user=gd_barnes
[2009-08-23 05:08:17]
585*2^711237-1 is not prime.  Res64: D395CBB22BD8266F  Time : 3373.0 sec.
user=vaughan
[2009-08-23 05:10:27]
465*2^711241-1 is not prime.  Res64: 24D528E70831C4D5  Time : 734.0 sec.
user=vaughan
[2009-08-23 05:14:57]
477*2^711241-1 is not prime.  Res64: 6EF47E21F687A9BB  Time : 530.0 sec.
user=gd_barnes
[2009-08-23 05:19:31]
555*2^711238-1 is not prime.  Res64: 2E52C53F2764C4F4  Time : 3373.0 sec.
user=vaughan
[2009-08-23 05:22:56]
559*2^711241-1 is not prime.  Res64: 01968FBE7F94401E  Time : 749.0 sec.
user=vaughan
[2009-08-23 05:23:19]
425*2^711242-1 is not prime.  Res64: 9A1B69E31D688596  Time : 502.0 sec.
user=gd_barnes
[2009-08-23 05:30:46]
523*2^711239-1 is not prime.  Res64: D3D50B84323E4573  Time : 3373.0 sec.
user=vaughan
[2009-08-23 05:32:00]
501*2^711242-1 is not prime.  Res64: D9148518193EF847  Time : 521.0 sec.
user=vaughan
[2009-08-23 05:37:01]
467*2^711242-1 is not prime.  Res64: 786995A6E35BA1A7  Time : 845.0 sec.
user=vaughan
[2009-08-23 05:40:29]
453*2^711243-1 is not prime.  Res64: EE8A4386FDA8B81E  Time : 510.0 sec.
user=gd_barnes
[2009-08-23 05:42:00]
503*2^711240-1 is not prime.  Res64: C290A591A0798665  Time : 3373.0 sec.
user=vaughan
[2009-08-23 05:48:50]
483*2^711243-1 is not prime.  Res64: 393BE2F401ACB40C  Time : 501.0 sec.
user=vaughan
[2009-08-23 05:51:31]
481*2^711243-1 is not prime.  Res64: 9F949D47C7FCF05D  Time : 871.0 sec.
user=gd_barnes
[2009-08-23 05:53:15]
597*2^711240-1 is not prime.  Res64: 5E07DA8B58F6C1C6  Time : 3373.0 sec.
user=vaughan
[2009-08-23 05:57:09]
455*2^711244-1 is not prime.  Res64: 65B0BCE2E5D6762C  Time : 499.0 sec.
user=vaughan
[2009-08-23 06:04:25]
507*2^711244-1 is not prime.  Res64: 2B0536EFBE1B62F8  Time : 774.0 sec.
user=gd_barnes
[2009-08-23 06:04:29]
535*2^711241-1 is not prime.  Res64: ED20937D1932476A  Time : 3372.0 sec.
user=vaughan
[2009-08-23 06:05:51]
549*2^711244-1 is not prime.  Res64: 87D1E58BE2C2A0B1  Time : 523.0 sec.
user=vaughan
[2009-08-23 06:14:11]
519*2^711245-1 is not prime.  Res64: B6D5E25D798A8C8E  Time : 500.0 sec.
user=gd_barnes
[2009-08-23 06:15:44]
437*2^711242-1 is not prime.  Res64: FF1E091926F54C64  Time : 3373.0 sec.
user=vaughan
[2009-08-23 06:16:42]
597*2^711244-1 is not prime.  Res64: 558B8BB066A922E0  Time : 737.0 sec.
user=vaughan
[2009-08-23 06:22:33]
529*2^711245-1 is not prime.  Res64: CB8A5453062B12BF  Time : 502.0 sec.
user=gd_barnes
[2009-08-23 06:26:59]
503*2^711242-1 is not prime.  Res64: DD3EADC832698C92  Time : 3373.0 sec.
user=vaughan
[2009-08-23 06:29:12]
577*2^711245-1 is not prime.  Res64: 392C5590EBF9A0E0  Time : 750.0 sec.
user=vaughan
[2009-08-23 06:31:25]
417*2^711246-1 is not prime.  Res64: 4BA897DB65D69C0E  Time : 532.0 sec.
user=gd_barnes
[2009-08-23 06:38:13]
443*2^711244-1 is not prime.  Res64: 9324C01D75914CCE  Time : 3373.0 sec.
user=vaughan
[2009-08-23 06:40:02]
521*2^711246-1 is not prime.  Res64: 8FAB9D8BD18B9569  Time : 517.0 sec.
user=vaughan
[2009-08-23 06:41:44]
495*2^711246-1 is not prime.  Res64: 46D480DE9E8DC620  Time : 752.0 sec.
user=vaughan
[2009-08-23 06:48:21]
451*2^711247-1 is not prime.  Res64: 2EE671826720D516  Time : 500.0 sec.
user=gd_barnes
[2009-08-23 06:49:28]
513*2^711244-1 is not prime.  Res64: 8DEDDE177E61EC6C  Time : 3373.0 sec.
user=vaughan
[2009-08-23 06:54:09]
475*2^711247-1 is not prime.  Res64: 4B9101EFFF7C829B  Time : 745.0 sec.
user=vaughan
[2009-08-23 06:57:01]
519*2^711247-1 is not prime.  Res64: E30F77967AA7E100  Time : 521.0 sec.
user=gd_barnes
[2009-08-23 07:00:42]
469*2^711245-1 is not prime.  Res64: CD1DC4533064DEDA  Time : 3373.0 sec.
user=vaughan
[2009-08-23 07:05:32]
489*2^711248-1 is not prime.  Res64: 635A4DD32E3CC79C  Time : 511.0 sec.
user=vaughan
[2009-08-23 07:08:10]
425*2^711248-1 is not prime.  Res64: EBCFBD9AEB5582FB  Time : 841.0 sec.
user=gd_barnes
[2009-08-23 07:11:57]
567*2^711245-1 is not prime.  Res64: 13EEFAEF194B7D8E  Time : 3373.0 sec.
user=vaughan
[2009-08-23 07:13:37]
509*2^711248-1 is not prime.  Res64: 7B66A2A7504F0912  Time : 486.0 sec.
user=vaughan
[2009-08-23 07:21:50]
459*2^711249-1 is not prime.  Res64: 1EBDEFA96DB29CC6  Time : 493.0 sec.
user=vaughan
[2009-08-23 07:22:46]
439*2^711249-1 is not prime.  Res64: D93231AE6194B81C  Time : 877.0 sec.
user=gd_barnes
[2009-08-23 07:23:12]
443*2^711246-1 is not prime.  Res64: 4241B20F25693EED  Time : 3374.0 sec.
user=vaughan
[2009-08-23 07:30:16]
595*2^711249-1 is not prime.  Res64: 595C4F165D1C3DF0  Time : 506.0 sec.
user=gd_barnes
[2009-08-23 07:34:25]
585*2^711246-1 is not prime.  Res64: 8F3C3D71F4A5415F  Time : 3372.0 sec.
user=vaughan
[2009-08-23 07:37:31]
405*2^711250-1 is not prime.  Res64: 694CD846E0580926  Time : 886.0 sec.
user=vaughan
[2009-08-23 07:38:19]
443*2^711250-1 is not prime.  Res64: D56E52C62FF3782D  Time : 483.0 sec.
user=gd_barnes
[2009-08-23 07:45:40]
531*2^711247-1 is not prime.  Res64: 532EE124E5FB77B5  Time : 3372.0 sec.
user=vaughan
[2009-08-23 07:46:41]
567*2^711250-1 is not prime.  Res64: CD6CFC18C3F6BB50  Time : 502.0 sec.
user=vaughan
[2009-08-23 07:52:04]
531*2^711250-1 is not prime.  Res64: ED5ECF363F966AA6  Time : 873.0 sec.
user=vaughan
[2009-08-23 07:54:50]
581*2^711250-1 is not prime.  Res64: A6BF1D45C7D91A4E  Time : 489.0 sec.
user=gd_barnes
[2009-08-23 07:56:55]
507*2^711248-1 is not prime.  Res64: A2355BB19F59C5DB  Time : 3373.0 sec.
user=vaughan
[2009-08-23 08:02:50]
493*2^711251-1 is not prime.  Res64: 3635D40351CBF22F  Time : 480.0 sec.
user=vaughan
[2009-08-23 08:06:37]
475*2^711251-1 is not prime.  Res64: AF4227C553F38E8F  Time : 873.0 sec.
user=gd_barnes
[2009-08-23 08:08:09]
441*2^711249-1 is not prime.  Res64: 6E764773851DC6D7  Time : 3372.0 sec.
user=vaughan
[2009-08-23 08:10:57]
497*2^711252-1 is not prime.  Res64: E3D41B9B4B3782CA  Time : 488.0 sec.
user=vaughan
[2009-08-23 08:19:18]
465*2^711253-1 is not prime.  Res64: 4CDFBD876DC6B9E8  Time : 501.0 sec.
user=gd_barnes
[2009-08-23 08:19:24]
423*2^711250-1 is not prime.  Res64: 8D316F47D4220C9D  Time : 3372.0 sec.
user=vaughan
[2009-08-23 08:21:02]
513*2^711252-1 is not prime.  Res64: D93E1B6E21F8DEEA  Time : 866.0 sec.
user=vaughan
[2009-08-23 08:27:40]
499*2^711253-1 is not prime.  Res64: E14E129BE2861554  Time : 502.0 sec.
user=gd_barnes
[2009-08-23 08:30:37]
525*2^711250-1 is not prime.  Res64: A5BE5D68FFBF4423  Time : 3372.0 sec.
user=vaughan
[2009-08-23 08:35:30]
447*2^711254-1 is not prime.  Res64: D2FD12B8AD04BF4F  Time : 868.0 sec.
user=vaughan
[2009-08-23 08:36:00]
521*2^711254-1 is not prime.  Res64: DA951473CBCF199C  Time : 501.0 sec.
user=gd_barnes
[2009-08-23 08:41:52]
575*2^711250-1 is not prime.  Res64: 105919EDB0EFEE73  Time : 3372.0 sec.
user=vaughan
[2009-08-23 08:44:27]
409*2^711255-1 is not prime.  Res64: 8FA4CCAD6BF2FA39  Time : 507.0 sec.
user=vaughan
[2009-08-23 08:50:07]
573*2^711254-1 is not prime.  Res64: CBA96304B46E166F  Time : 877.0 sec.
user=vaughan
[2009-08-23 08:52:51]
479*2^711256-1 is not prime.  Res64: 28432250B212F83D  Time : 504.0 sec.
user=gd_barnes
[2009-08-23 08:53:05]
585*2^711251-1 is not prime.  Res64: 85E6D6D24B8319DA  Time : 3371.0 sec.
user=vaughan
[2009-08-23 09:01:00]
485*2^711256-1 is not prime.  Res64: C8F75A044CD3AE98  Time : 489.0 sec.
user=gd_barnes
[2009-08-23 09:04:20]
549*2^711252-1 is not prime.  Res64: FC7D2B5B50AE6565  Time : 3371.0 sec.
user=vaughan
[2009-08-23 09:04:32]
483*2^711256-1 is not prime.  Res64: 9B6B7B6593637E90  Time : 865.0 sec.
user=vaughan
[2009-08-23 09:09:19]
569*2^711256-1 is not prime.  Res64: AFB47CF9E183363C  Time : 499.0 sec.
user=gd_barnes
[2009-08-23 09:15:37]
555*2^711253-1 is not prime.  Res64: ECEB55FD22335A9D  Time : 3373.0 sec.
user=vaughan
[2009-08-23 09:17:31]
559*2^711257-1 is not prime.  Res64: CDCAE04E6A28D203  Time : 493.0 sec.
user=vaughan
[2009-08-23 09:19:03]
511*2^711257-1 is not prime.  Res64: 59FAEEF60CA7FD4A  Time : 872.0 sec.
user=vaughan
[2009-08-23 09:25:43]
503*2^711258-1 is not prime.  Res64: DD5EF721654EBCBF  Time : 492.0 sec.
user=gd_barnes
[2009-08-23 09:26:54]
567*2^711254-1 is not prime.  Res64: 0506E13DD249A2F6  Time : 3377.0 sec.
user=vaughan
[2009-08-23 09:33:29]
585*2^711258-1 is not prime.  Res64: 05BFE7272B5DE139  Time : 866.0 sec.
user=vaughan
[2009-08-23 09:34:04]
411*2^711259-1 is not prime.  Res64: BBCFA4C7667BC3E8  Time : 501.0 sec.
user=gd_barnes
[2009-08-23 09:38:11]
471*2^711255-1 is not prime.  Res64: 02A2860F4E709815  Time : 3379.0 sec.
user=vaughan
[2009-08-23 09:42:07]
495*2^711259-1 is not prime.  Res64: B8E12530CEE2CEE1  Time : 483.0 sec.
user=vaughan
[2009-08-23 09:42:35]
465*2^711259-1 is not prime.  Res64: 49C6EDE82FD16F3C  Time : 546.0 sec.
user=gd_barnes
[2009-08-23 09:49:27]
539*2^711256-1 is not prime.  Res64: 9CE5297E3190E8AB  Time : 3382.0 sec.
user=vaughan
[2009-08-23 09:50:18]
573*2^711259-1 is not prime.  Res64: 722AA3C77AD7B5E6  Time : 491.0 sec.
user=vaughan
[2009-08-23 09:54:16]
589*2^711259-1 is not prime.  Res64: 01E9AF59778F3B92  Time : 701.0 sec.
user=vaughan
[2009-08-23 09:58:39]
405*2^711262-1 is not prime.  Res64: F87F6D53E4AF0911  Time : 502.0 sec.
user=gd_barnes
[2009-08-23 10:00:45]
469*2^711257-1 is not prime.  Res64: AFC877493EBC11CD  Time : 3385.0 sec.
user=vaughan
[2009-08-23 10:07:06]
561*2^711262-1 is not prime.  Res64: 1B9808DED9861ECB  Time : 507.0 sec.
user=vaughan
[2009-08-23 10:08:51]
555*2^711262-1 is not prime.  Res64: FEBAC68A065EB647  Time : 875.0 sec.
user=gd_barnes
[2009-08-23 10:11:57]
473*2^711258-1 is not prime.  Res64: B290EF79FD4B58A5  Time : 3381.0 sec.
user=vaughan
[2009-08-23 10:15:28]
445*2^711263-1 is not prime.  Res64: 914642A5F4253A6E  Time : 502.0 sec.
user=gd_barnes
[2009-08-23 10:23:12]
463*2^711259-1 is not prime.  Res64: AC25D2070083320A  Time : 3378.0 sec.
user=vaughan
[2009-08-23 10:23:31]
453*2^711263-1 is not prime.  Res64: 252191C6DE15A688  Time : 881.0 sec.
user=vaughan
[2009-08-23 10:23:50]
573*2^711263-1 is not prime.  Res64: CDF10C9C9E94C9A1  Time : 503.0 sec.
user=vaughan
[2009-08-23 10:32:15]
507*2^711264-1 is not prime.  Res64: 6EEEE151CB3BA2FB  Time : 505.0 sec.
user=gd_barnes
[2009-08-23 10:34:28]
553*2^711259-1 is not prime.  Res64: 30158BE6FF4E3DB0  Time : 3378.0 sec.
user=vaughan
[2009-08-23 10:38:09]
465*2^711264-1 is not prime.  Res64: 53AF2FA82E4C5311  Time : 878.0 sec.
user=vaughan
[2009-08-23 10:40:25]
557*2^711264-1 is not prime.  Res64: CD3C821F019FD871  Time : 490.0 sec.
user=gd_barnes
[2009-08-23 10:45:42]
437*2^711260-1 is not prime.  Res64: B196E5863B01E3D1  Time : 3375.0 sec.
user=vaughan
[2009-08-23 10:48:34]
411*2^711265-1 is not prime.  Res64: 0C45AE70C4C273A1  Time : 489.0 sec.
user=vaughan
[2009-08-23 10:52:50]
405*2^711265-1 is not prime.  Res64: 1EDF80D4680546CF  Time : 881.0 sec.
user=vaughan
[2009-08-23 10:56:51]
437*2^711266-1 is not prime.  Res64: 47527B048DFCBD94  Time : 497.0 sec.
user=gd_barnes
[2009-08-23 10:56:57]
591*2^711262-1 is not prime.  Res64: 5C75AA2CC40BDE67  Time : 3372.0 sec.
user=vaughan
[2009-08-23 11:05:12]
465*2^711267-1 is not prime.  Res64: C86EA797D65E454F  Time : 501.0 sec.
user=vaughan
[2009-08-23 11:06:58]
473*2^711266-1 is not prime.  Res64: 049EC817DB302384  Time : 848.0 sec.
user=gd_barnes
[2009-08-23 11:08:10]
525*2^711263-1 is not prime.  Res64: FB53B7D89CD3B3F4  Time : 3373.0 sec.
user=vaughan
[2009-08-23 11:13:41]
523*2^711267-1 is not prime.  Res64: 56C639652E0A4847  Time : 510.0 sec.
user=gd_barnes
[2009-08-23 11:19:24]
447*2^711264-1 is not prime.  Res64: C21368310C26BE71  Time : 3372.0 sec.
user=vaughan
[2009-08-23 11:19:47]
531*2^711267-1 is not prime.  Res64: 6EC8A77C74513A70  Time : 769.0 sec.
user=vaughan
[2009-08-23 11:21:56]
579*2^711267-1 is not prime.  Res64: 39FE426A1FAC9D6D  Time : 495.0 sec.
user=vaughan
[2009-08-23 11:30:13]
419*2^711268-1 is not prime.  Res64: CF473396558D3ED7  Time : 497.0 sec.
user=gd_barnes
[2009-08-23 11:30:39]
563*2^711264-1 is not prime.  Res64: F6DC0BA4705BAF0B  Time : 3372.0 sec.
user=vaughan
[2009-08-23 11:32:06]
405*2^711268-1 is not prime.  Res64: EEE55597247EB428  Time : 740.0 sec.
user=vaughan
[2009-08-23 11:38:52]
485*2^711268-1 is not prime.  Res64: 3B5D89ED475D6B28  Time : 519.0 sec.
user=gd_barnes
[2009-08-23 11:41:55]
537*2^711265-1 is not prime.  Res64: C4AAFC6B2FE2F050  Time : 3373.0 sec.
user=vaughan
[2009-08-23 11:44:38]
527*2^711268-1 is not prime.  Res64: 5D5A5BEC31B44F48  Time : 752.0 sec.
user=vaughan
[2009-08-23 11:47:23]
533*2^711268-1 is not prime.  Res64: CEFFE0070CCD1990  Time : 511.0 sec.
user=gd_barnes
[2009-08-23 11:53:08]
489*2^711267-1 is not prime.  Res64: 19ACA866DB1D9903  Time : 3371.0 sec.
user=vaughan
[2009-08-23 11:55:46]
469*2^711269-1 is not prime.  Res64: F11FB7B5A3F25A8D  Time : 504.0 sec.
user=vaughan
[2009-08-23 11:57:16]
465*2^711269-1 is not prime.  Res64: 02505C7403020FFD  Time : 758.0 sec.
user=vaughan
[2009-08-23 12:04:11]
517*2^711269-1 is not prime.  Res64: E00DE61ADD84F2C4  Time : 506.0 sec.
user=gd_barnes
[2009-08-23 12:04:22]
565*2^711267-1 is not prime.  Res64: E4045978B1D7548C  Time : 3372.0 sec.
user=vaughan
[2009-08-23 12:11:55]
567*2^711269-1 is not prime.  Res64: 0595625DC190865A  Time : 879.0 sec.
user=vaughan
[2009-08-23 12:12:15]
425*2^711270-1 is not prime.  Res64: EB84F48536F11328  Time : 484.0 sec.
user=gd_barnes
[2009-08-23 12:15:36]
595*2^711267-1 is not prime.  Res64: 0782C978F9F97AA0  Time : 3372.0 sec.
user=vaughan
[2009-08-23 12:20:39]
543*2^711270-1 is not prime.  Res64: 04C15B3B65FC5698  Time : 505.0 sec.
user=vaughan
[2009-08-23 12:26:37]
537*2^711270-1 is not prime.  Res64: 3C1267981C7F03ED  Time : 882.0 sec.
user=gd_barnes
[2009-08-23 12:26:51]
519*2^711268-1 is not prime.  Res64: 9012B29FF84ADE99  Time : 3372.0 sec.
user=vaughan
[2009-08-23 12:28:40]
505*2^711271-1 is not prime.  Res64: E36C6464D9058E40  Time : 481.0 sec.
user=vaughan
[2009-08-23 12:36:31]
541*2^711271-1 is not prime.  Res64: 8D778238E8850B07  Time : 471.0 sec.
user=gd_barnes
[2009-08-23 12:38:05]
417*2^711269-1 is not prime.  Res64: 4DF1913B0B0BBB66  Time : 3370.0 sec.
user=vaughan
[2009-08-23 12:41:16]
511*2^711271-1 is not prime.  Res64: D2D8048B9CCB9D4D  Time : 879.0 sec.
user=vaughan
[2009-08-23 12:44:21]
583*2^711271-1 is not prime.  Res64: B96EB2172E4A9270  Time : 470.0 sec.
user=gd_barnes
[2009-08-23 12:49:20]
507*2^711269-1 is not prime.  Res64: DC634129DB0B406E  Time : 3372.0 sec.
user=vaughan
[2009-08-23 12:52:23]
507*2^711272-1 is not prime.  Res64: 68AD0FA3E493FFB6  Time : 482.0 sec.
user=vaughan
[2009-08-23 12:55:51]
467*2^711272-1 is not prime.  Res64: CD88493683607E85  Time : 875.0 sec.
user=gd_barnes
[2009-08-23 13:00:34]
501*2^711270-1 is not prime.  Res64: C0DF611305BA8B37  Time : 3372.0 sec.
user=vaughan
[2009-08-23 13:00:44]
409*2^711273-1 is not prime.  Res64: 7596F038AF542EE7  Time : 502.0 sec.
user=vaughan
[2009-08-23 13:09:13]
499*2^711273-1 is not prime.  Res64: FAF14236E9300CC2  Time : 509.0 sec.
user=vaughan
[2009-08-23 13:10:30]
441*2^711273-1 is not prime.  Res64: 39B2B58DC6263E53  Time : 879.0 sec.
user=gd_barnes
[2009-08-23 13:11:48]
453*2^711271-1 is not prime.  Res64: C3552889AAE537FC  Time : 3372.0 sec.
user=vaughan
[2009-08-23 13:17:40]
507*2^711273-1 is not prime.  Res64: FB209328EF0928A2  Time : 508.0 sec.
user=gd_barnes
[2009-08-23 13:23:02]
531*2^711271-1 is not prime.  Res64: BF42A3ADFDD574C2  Time : 3371.0 sec.
user=vaughan
[2009-08-23 13:25:06]
565*2^711273-1 is not prime.  Res64: 759893837BAD6517  Time : 876.0 sec.
user=vaughan
[2009-08-23 13:26:04]
597*2^711273-1 is not prime.  Res64: E896CC961F7468E7  Time : 504.0 sec.
user=gd_barnes
[2009-08-23 13:34:17]
459*2^711272-1 is not prime.  Res64: D6AE1B982F50EC41  Time : 3372.0 sec.
user=vaughan
[2009-08-23 13:34:27]
497*2^711274-1 is not prime.  Res64: 16F8385735A53622  Time : 504.0 sec.
user=vaughan
[2009-08-23 13:39:42]
495*2^711274-1 is not prime.  Res64: 3A17D4ADE997F425  Time : 876.0 sec.
user=vaughan
[2009-08-23 13:42:46]
475*2^711275-1 is not prime.  Res64: 26389C03D856C759  Time : 499.0 sec.
user=gd_barnes
[2009-08-23 13:45:32]
533*2^711272-1 is not prime.  Res64: 1F541EC0B539544C  Time : 3372.0 sec.
user=vaughan
[2009-08-23 13:51:04]
553*2^711275-1 is not prime.  Res64: 46DE0703DB492024  Time : 498.0 sec.
user=vaughan
[2009-08-23 13:54:07]
531*2^711275-1 is not prime.  Res64: F812BE3F33414C5F  Time : 865.0 sec.
user=gd_barnes
[2009-08-23 13:56:46]
481*2^711273-1 is not prime.  Res64: 4062103846F81BFD  Time : 3372.0 sec.
user=vaughan
[2009-08-23 13:59:05]
473*2^711276-1 is not prime.  Res64: ED0234B34B1F2228  Time : 481.0 sec.
user=vaughan
[2009-08-23 14:07:13]
513*2^711276-1 is not prime.  Res64: 452C4385DF6EE5A3  Time : 488.0 sec.
user=gd_barnes
[2009-08-23 14:08:00]
595*2^711273-1 is not prime.  Res64: BF41DB56DDF2BD53  Time : 3372.0 sec.
user=vaughan
[2009-08-23 14:08:34]
483*2^711276-1 is not prime.  Res64: 13F7658366837DD3  Time : 867.0 sec.
user=vaughan
[2009-08-23 14:15:28]
539*2^711276-1 is not prime.  Res64: 5F09202C8E7BA36E  Time : 495.0 sec.
user=gd_barnes
[2009-08-23 14:19:14]
435*2^711274-1 is not prime.  Res64: 50AE2A90F5DB2CBA  Time : 3372.0 sec.
user=vaughan
[2009-08-23 14:23:05]
567*2^711276-1 is not prime.  Res64: 325737FFBACE53D8  Time : 871.0 sec.
user=vaughan
[2009-08-23 14:23:32]
537*2^711277-1 is not prime.  Res64: 93D27FA194A603C6  Time : 484.0 sec.
user=gd_barnes
[2009-08-23 14:30:28]
445*2^711275-1 is not prime.  Res64: 19FEA6FAEE1E6949  Time : 3371.0 sec.
user=vaughan
[2009-08-23 14:31:47]
561*2^711278-1 is not prime.  Res64: 540D5808554783FD  Time : 496.0 sec.
user=vaughan
[2009-08-23 14:37:28]
507*2^711278-1 is not prime.  Res64: 9150CEB14CA0C1A3  Time : 864.0 sec.
user=vaughan
[2009-08-23 14:39:50]
575*2^711278-1 is not prime.  Res64: 2FEA57EB804AF396  Time : 483.0 sec.
user=gd_barnes
[2009-08-23 14:41:43]
579*2^711275-1 is not prime.  Res64: 35299D979880D0B9  Time : 3371.0 sec.
user=vaughan
[2009-08-23 14:48:05]
433*2^711279-1 is not prime.  Res64: B34EDC9DFBCEB841  Time : 495.0 sec.
user=vaughan
[2009-08-23 14:50:59]
429*2^711279-1 is not prime.  Res64: CC9946629EA2A2D6  Time : 811.0 sec.
user=gd_barnes
[2009-08-23 14:52:57]
503*2^711276-1 is not prime.  Res64: 36D54D928588578C  Time : 3371.0 sec.
user=vaughan
[2009-08-23 14:56:31]
429*2^711280-1 is not prime.  Res64: F03818FCE9CE25C8  Time : 506.0 sec.
user=vaughan
[2009-08-23 15:03:32]
447*2^711280-1 is not prime.  Res64: E19DD79005DF48C4  Time : 753.0 sec.
user=gd_barnes
[2009-08-23 15:04:11]
545*2^711276-1 is not prime.  Res64: 62D5B1E56DF2E5F1  Time : 3371.0 sec.
user=vaughan
[2009-08-23 15:04:57]
519*2^711280-1 is not prime.  Res64: 487ADB1DEC38C010  Time : 506.0 sec.
user=vaughan
[2009-08-23 15:13:29]
587*2^711280-1 is not prime.  Res64: 7681791ADF5409BA  Time : 512.0 sec.
user=gd_barnes
[2009-08-23 15:15:25]
503*2^711278-1 is not prime.  Res64: B2D5CCFB856E77B5  Time : 3371.0 sec.
user=vaughan
[2009-08-23 15:16:04]
525*2^711280-1 is not prime.  Res64: 23634C6060CB337F  Time : 752.0 sec.
user=vaughan
[2009-08-23 15:21:48]
487*2^711281-1 is not prime.  Res64: EB66632FC168ABCB  Time : 499.0 sec.
user=gd_barnes
[2009-08-23 15:26:40]
573*2^711278-1 is not prime.  Res64: 3BB2202CB494FDD7  Time : 3372.0 sec.
user=vaughan
[2009-08-23 15:28:22]
547*2^711281-1 is not prime.  Res64: F095C2AF38246F95  Time : 739.0 sec.
user=vaughan
[2009-08-23 15:30:11]
521*2^711282-1 is not prime.  Res64: E586CD1A59F5A104  Time : 503.0 sec.
user=gd_barnes
[2009-08-23 15:37:54]
451*2^711279-1 is not prime.  Res64: F74E6758278D24B5  Time : 3371.0 sec.
user=vaughan
[2009-08-23 15:38:32]
587*2^711282-1 is not prime.  Res64: D21E9819B55EBA36  Time : 501.0 sec.
user=vaughan
[2009-08-23 15:40:49]
567*2^711282-1 is not prime.  Res64: 162CBABC04E2E88E  Time : 748.0 sec.
user=vaughan
[2009-08-23 15:46:57]
413*2^711284-1 is not prime.  Res64: F7C6BC510F6885A3  Time : 505.0 sec.
user=gd_barnes
[2009-08-23 15:49:08]
455*2^711280-1 is not prime.  Res64: EC1A001F6E8B79DB  Time : 3372.0 sec.
user=vaughan
[2009-08-23 15:53:24]
473*2^711284-1 is not prime.  Res64: 2EB8EB73BD35F967  Time : 755.0 sec.
user=vaughan
[2009-08-23 15:55:18]
469*2^711285-1 is not prime.  Res64: AE87F636C24C80CC  Time : 501.0 sec.
user=gd_barnes
[2009-08-23 16:00:24]
563*2^711280-1 is not prime.  Res64: E4F03D19A513EA87  Time : 3373.0 sec.
user=vaughan
[2009-08-23 16:03:51]
455*2^711286-1 is not prime.  Res64: A3E50E4558266DA4  Time : 514.0 sec.
user=vaughan
[2009-08-23 16:06:08]
585*2^711285-1 is not prime.  Res64: 48032484DDB4945C  Time : 764.0 sec.
user=gd_barnes
[2009-08-23 16:11:36]
495*2^711281-1 is not prime.  Res64: 3B8B9ED03D77F1CD  Time : 3371.0 sec.
user=vaughan
[2009-08-23 16:12:19]
575*2^711286-1 is not prime.  Res64: 9507343D80DABADF  Time : 508.0 sec.
user=vaughan
[2009-08-23 16:19:10]
441*2^711287-1 is not prime.  Res64: 13B00B420CB74F40  Time : 782.0 sec.
user=vaughan
[2009-08-23 16:20:44]
469*2^711287-1 is not prime.  Res64: AA4C4CEB3D59F54A  Time : 505.0 sec.
user=gd_barnes
[2009-08-23 16:22:51]
551*2^711282-1 is not prime.  Res64: 2DB0C2F8F6907267  Time : 3371.0 sec.
user=vaughan
[2009-08-23 16:29:18]
589*2^711287-1 is not prime.  Res64: F0901D4215211D25  Time : 516.0 sec.
user=vaughan
[2009-08-23 16:32:12]
489*2^711287-1 is not prime.  Res64: 9A3E88E8F03FFF13  Time : 783.0 sec.
user=gd_barnes
[2009-08-23 16:34:05]
481*2^711283-1 is not prime.  Res64: 6762CE247FC0D15E  Time : 3371.0 sec.
user=vaughan
[2009-08-23 16:37:51]
411*2^711289-1 is not prime.  Res64: 80222BD4C7C2F5A8  Time : 513.0 sec.
user=gd_barnes
[2009-08-23 16:45:19]
475*2^711285-1 is not prime.  Res64: 04C00A6E19FCBB93  Time : 3371.0 sec.
user=vaughan
[2009-08-23 16:45:28]
421*2^711289-1 is not prime.  Res64: 3B596A16C5D7CC35  Time : 796.0 sec.
user=vaughan
[2009-08-23 16:46:07]
507*2^711289-1 is not prime.  Res64: 542E10976AC66E02  Time : 496.0 sec.
user=vaughan
[2009-08-23 16:54:31]
563*2^711290-1 is not prime.  Res64: 18F735D6690E21EE  Time : 504.0 sec.
user=gd_barnes
[2009-08-23 16:56:33]
507*2^711286-1 is not prime.  Res64: B3F85CEAF2697E20  Time : 3369.0 sec.
user=vaughan
[2009-08-23 16:59:58]
501*2^711290-1 is not prime.  Res64: 02537B6F5349ECC3  Time : 870.0 sec.
user=vaughan
[2009-08-23 17:02:43]
445*2^711291-1 is not prime.  Res64: DF259E20DEDB5230  Time : 492.0 sec.
user=gd_barnes
[2009-08-23 17:07:47]
451*2^711287-1 is not prime.  Res64: B64991BD97DFF2F4  Time : 3371.0 sec.
user=vaughan
[2009-08-23 17:10:47]
595*2^711291-1 is not prime.  Res64: B90AB0F36918031C  Time : 484.0 sec.
user=vaughan
[2009-08-23 17:14:34]
583*2^711291-1 is not prime.  Res64: 1C1FE493851088A7  Time : 877.0 sec.
user=gd_barnes
[2009-08-23 17:19:02]
525*2^711288-1 is not prime.  Res64: 7D257ACEBCD36FEE  Time : 3371.0 sec.
user=vaughan
[2009-08-23 17:19:11]
435*2^711292-1 is not prime.  Res64: D399CC32BA2718E9  Time : 505.0 sec.
user=vaughan
[2009-08-23 17:27:39]
533*2^711292-1 is not prime.  Res64: 46FB495AA29CDC5C  Time : 508.0 sec.
user=vaughan
[2009-08-23 17:29:24]
479*2^711292-1 is not prime.  Res64: D9187B3712CE933C  Time : 890.0 sec.
user=gd_barnes
[2009-08-23 17:30:16]
439*2^711289-1 is not prime.  Res64: 7FC33DEF77BB1CDF  Time : 3371.0 sec.
user=vaughan
[2009-08-23 17:35:56]
529*2^711293-1 is not prime.  Res64: B80C68E94DACD467  Time : 497.0 sec.
user=gd_barnes
[2009-08-23 17:41:30]
447*2^711290-1 is not prime.  Res64: BC6B834344FC4C29  Time : 3371.0 sec.
user=vaughan
[2009-08-23 17:44:02]
567*2^711293-1 is not prime.  Res64: B1950FBC2361D018  Time : 878.0 sec.
user=vaughan
[2009-08-23 17:44:23]
453*2^711294-1 is not prime.  Res64: D9D070519174E93A  Time : 507.0 sec.
user=gd_barnes
[2009-08-23 17:52:44]
555*2^711291-1 is not prime.  Res64: B48A4C7F389C4AFF  Time : 3371.0 sec.
user=vaughan
[2009-08-23 17:52:49]
553*2^711295-1 is not prime.  Res64: B49C613E7E1B0B47  Time : 506.0 sec.
user=vaughan
[2009-08-23 17:57:21]
507*2^711294-1 is not prime.  Res64: 77A35397031961D1  Time : 799.0 sec.
user=vaughan
[2009-08-23 18:01:14]
573*2^711296-1 is not prime.  Res64: A70B1042055D437A  Time : 506.0 sec.
user=gd_barnes
[2009-08-23 18:03:58]
423*2^711292-1 is not prime.  Res64: 1FA72963805D642F  Time : 3371.0 sec.
user=vaughan
[2009-08-23 18:09:48]
499*2^711297-1 is not prime.  Res64: 4E29021E0CC2D2AF  Time : 514.0 sec.
user=vaughan
[2009-08-23 18:10:22]
445*2^711297-1 is not prime.  Res64: 97DE52E03B1C55F4  Time : 782.0 sec.
user=gd_barnes
[2009-08-23 18:15:12]
527*2^711292-1 is not prime.  Res64: EC8C71EC0052C458  Time : 3370.0 sec.
user=vaughan
[2009-08-23 18:18:01]
423*2^711298-1 is not prime.  Res64: DE6A2774327D678E  Time : 493.0 sec.
user=vaughan
[2009-08-23 18:23:06]
551*2^711298-1 is not prime.  Res64: 7A4E5AD82BE85CD4  Time : 764.0 sec.
user=gd_barnes
[2009-08-23 18:26:27]
447*2^711294-1 is not prime.  Res64: 84007145B128E45F  Time : 3372.0 sec.
user=vaughan
[2009-08-23 18:26:47]
439*2^711299-1 is not prime.  Res64: 6702DE4C1F4C1FB4  Time : 527.0 sec.
user=vaughan
[2009-08-23 18:35:09]
473*2^711300-1 is not prime.  Res64: 4F1ACFF9C268CCD3  Time : 502.0 sec.
user=vaughan
[2009-08-23 18:35:54]
465*2^711299-1 is not prime.  Res64: 32EE8DE99A9EA0E7  Time : 768.0 sec.
user=gd_barnes
[2009-08-23 18:37:42]
503*2^711294-1 is not prime.  Res64: 4E462D2CAA43FC02  Time : 3372.0 sec.
user=vaughan
[2009-08-23 18:43:49]
513*2^711300-1 is not prime.  Res64: 53226F781659F525  Time : 520.0 sec.
user=vaughan
[2009-08-23 18:48:39]
549*2^711300-1 is not prime.  Res64: 307E6283774A3EE7  Time : 765.0 sec.
user=gd_barnes
[2009-08-23 18:48:56]
583*2^711295-1 is not prime.  Res64: 2C82AD3B1BEF43FB  Time : 3372.0 sec.
user=vaughan
[2009-08-23 18:52:21]
409*2^711301-1 is not prime.  Res64: FD1A9A286FDACE18  Time : 512.0 sec.
user=gd_barnes
[2009-08-23 19:00:12]
577*2^711297-1 is not prime.  Res64: B209B61DCCEDFB40  Time : 3374.0 sec.
user=vaughan
[2009-08-23 19:00:57]
477*2^711301-1 is not prime.  Res64: B4985D46FFCB632B  Time : 517.0 sec.
user=vaughan
[2009-08-23 19:01:51]
447*2^711301-1 is not prime.  Res64: F800700EB75C5B66  Time : 792.0 sec.
user=vaughan
[2009-08-23 19:09:14]
577*2^711301-1 is not prime.  Res64: 399B6539101709B6  Time : 497.0 sec.
user=gd_barnes
[2009-08-23 19:11:24]
421*2^711299-1 is not prime.  Res64: F1D3CE8478E1EA5C  Time : 3372.0 sec.
user=vaughan
[2009-08-23 19:16:28]
477*2^711302-1 is not prime.  Res64: 8AAD378C018A2E29  Time : 877.0 sec.
user=vaughan
[2009-08-23 19:17:43]
495*2^711302-1 is not prime.  Res64: 34E2104A4BB8329A  Time : 509.0 sec.
user=gd_barnes
[2009-08-23 19:22:38]
447*2^711300-1 is not prime.  Res64: 5F40B57BEFCFA663  Time : 3371.0 sec.
user=vaughan
[2009-08-23 19:25:49]
591*2^711302-1 is not prime.  Res64: 8EDD935139E5C80C  Time : 486.0 sec.
user=vaughan
[2009-08-23 19:31:14]
587*2^711302-1 is not prime.  Res64: 3DD797C1F5B8CB00  Time : 886.0 sec.
user=gd_barnes
[2009-08-23 19:33:53]
597*2^711300-1 is not prime.  Res64: 99FA48481C3347C9  Time : 3371.0 sec.
user=vaughan
[2009-08-23 19:34:14]
453*2^711304-1 is not prime.  Res64: 9C43A10DBC0B1A19  Time : 505.0 sec.
user=vaughan
[2009-08-23 19:42:48]
573*2^711304-1 is not prime.  Res64: 30220FF81D67B52E  Time : 514.0 sec.
user=gd_barnes
[2009-08-23 19:45:06]
471*2^711301-1 is not prime.  Res64: 12A4B7C85CD3CD5F  Time : 3370.0 sec.
user=vaughan
[2009-08-23 19:45:07]
465*2^711304-1 is not prime.  Res64: ECADF7CEF431B044  Time : 833.0 sec.
user=vaughan
[2009-08-23 19:51:10]
475*2^711305-1 is not prime.  Res64: ABD0F8BA629D8041  Time : 502.0 sec.
user=gd_barnes
[2009-08-23 19:56:21]
555*2^711301-1 is not prime.  Res64: FD90D851640CCBE0  Time : 3369.0 sec.
user=vaughan
[2009-08-23 19:58:15]
431*2^711306-1 is not prime.  Res64: B1BBFFCAEE98581F  Time : 789.0 sec.
user=vaughan
[2009-08-23 19:59:47]
551*2^711306-1 is not prime.  Res64: 6402D9716FB6F30C  Time : 517.0 sec.
user=gd_barnes
[2009-08-23 20:07:36]
507*2^711302-1 is not prime.  Res64: 6731269ECABC758A  Time : 3372.0 sec.
user=vaughan
[2009-08-23 20:08:11]
465*2^711307-1 is not prime.  Res64: F1A26197592958DE  Time : 504.0 sec.
user=vaughan
[2009-08-23 20:12:41]
433*2^711307-1 is not prime.  Res64: 839B56167FEF8936  Time : 866.0 sec.
user=vaughan
[2009-08-23 20:16:23]
495*2^711307-1 is not prime.  Res64: 64C34E0DE5D4BDB7  Time : 493.0 sec.
user=gd_barnes
[2009-08-23 20:18:49]
433*2^711303-1 is not prime.  Res64: C76763E86F829F59  Time : 3371.0 sec.
user=vaughan
[2009-08-23 20:24:42]
467*2^711308-1 is not prime.  Res64: DA08EF4568E5A110  Time : 499.0 sec.
user=vaughan
[2009-08-23 20:27:13]
541*2^711307-1 is not prime.  Res64: 7F678EB02DE9AFC1  Time : 872.0 sec.
user=gd_barnes
[2009-08-23 20:30:03]
533*2^711304-1 is not prime.  Res64: B857399362CB7CF8  Time : 3371.0 sec.
user=vaughan
[2009-08-23 20:32:49]
415*2^711309-1 is not prime.  Res64: FD121B0CC0C276B5  Time : 487.0 sec.
user=vaughan
[2009-08-23 20:41:03]
495*2^711309-1 is not prime.  Res64: 876A5518805F9F7B  Time : 495.0 sec.
user=gd_barnes
[2009-08-23 20:41:18]
513*2^711306-1 is not prime.  Res64: 37EE8403553BF1AE  Time : 3372.0 sec.
user=vaughan
[2009-08-23 20:41:46]
427*2^711309-1 is not prime.  Res64: 438EA88031D1640F  Time : 873.0 sec.
user=vaughan
[2009-08-23 20:49:36]
565*2^711309-1 is not prime.  Res64: 227B32F89A6AFAA0  Time : 513.0 sec.
user=gd_barnes
[2009-08-23 20:52:32]
405*2^711307-1 is not prime.  Res64: FFEE23B22DE6C2C4  Time : 3371.0 sec.
user=vaughan
[2009-08-23 20:56:33]
447*2^711310-1 is not prime.  Res64: 09A60236AC0DBA9E  Time : 887.0 sec.
user=vaughan
[2009-08-23 20:58:05]
471*2^711310-1 is not prime.  Res64: 675D4D37F3385E5B  Time : 509.0 sec.
user=gd_barnes
[2009-08-23 21:03:46]
493*2^711307-1 is not prime.  Res64: CC68AF1153B38701  Time : 3371.0 sec.
user=vaughan
[2009-08-23 21:06:21]
411*2^711311-1 is not prime.  Res64: 4B9627E298218C26  Time : 497.0 sec.
user=vaughan
[2009-08-23 21:11:13]
581*2^711310-1 is not prime.  Res64: 295BE3DD4BFCC2DC  Time : 880.0 sec.
user=vaughan
[2009-08-23 21:14:17]
519*2^711311-1 is not prime.  Res64: DA02CD09AD749271  Time : 476.0 sec.
user=gd_barnes
[2009-08-23 21:15:01]
533*2^711308-1 is not prime.  Res64: D491DB7F077A91FC  Time : 3372.0 sec.
user=vaughan
[2009-08-23 21:22:28]
595*2^711311-1 is not prime.  Res64: 9ACD5B3F23CA412D  Time : 491.0 sec.
user=vaughan
[2009-08-23 21:25:18]
579*2^711311-1 is not prime.  Res64: 3AD1EAAE5DB6374F  Time : 845.0 sec.
user=gd_barnes
[2009-08-23 21:26:16]
465*2^711309-1 is not prime.  Res64: ACBF9B5CF1F47CF8  Time : 3373.0 sec.
user=vaughan
[2009-08-23 21:30:51]
447*2^711312-1 is not prime.  Res64: 9D495B01E93646EA  Time : 503.0 sec.
user=gd_barnes
[2009-08-23 21:37:30]
425*2^711310-1 is not prime.  Res64: 372D992414091241  Time : 3372.0 sec.
user=vaughan
[2009-08-23 21:39:22]
455*2^711312-1 is not prime.  Res64: 2644E8E2A2C06F2B  Time : 844.0 sec.
user=vaughan
[2009-08-23 21:39:28]
539*2^711312-1 is not prime.  Res64: 1347816204F152E2  Time : 518.0 sec.
user=vaughan
[2009-08-23 21:47:49]
477*2^711313-1 is not prime.  Res64: A62DB993784B6E78  Time : 501.0 sec.
user=gd_barnes
[2009-08-23 21:48:45]
533*2^711310-1 is not prime.  Res64: 9CDDFDBD6A54DC3F  Time : 3373.0 sec.
user=vaughan
[2009-08-23 21:53:49]
569*2^711312-1 is not prime.  Res64: 53D9B70547448837  Time : 867.0 sec.
user=vaughan
[2009-08-23 21:56:10]
567*2^711313-1 is not prime.  Res64: 7923CE6BAB3D73E0  Time : 501.0 sec.
user=gd_barnes
[2009-08-23 21:59:58]
445*2^711311-1 is not prime.  Res64: 3463CCBA6D1AB1D4  Time : 3372.0 sec.
user=vaughan
[2009-08-23 22:04:33]
501*2^711314-1 is not prime.  Res64: E5CD9D85D32BA877  Time : 503.0 sec.
user=vaughan
[2009-08-23 22:06:46]
411*2^711314-1 is not prime.  Res64: E2451A96AEDA7128  Time : 778.0 sec.
user=gd_barnes
[2009-08-23 22:11:13]
423*2^711312-1 is not prime.  Res64: 52158F0C5E613A84  Time : 3372.0 sec.
user=vaughan
[2009-08-23 22:13:16]
469*2^711315-1 is not prime.  Res64: CB20F50C3A5D91C2  Time : 523.0 sec.
user=vaughan
[2009-08-23 22:19:54]
495*2^711315-1 is not prime.  Res64: 9A30520A24D651EC  Time : 788.0 sec.
user=vaughan
[2009-08-23 22:21:40]
573*2^711315-1 is not prime.  Res64: 495678DA028D49DC  Time : 504.0 sec.
user=gd_barnes
[2009-08-23 22:22:27]
489*2^711312-1 is not prime.  Res64: 1269FDD449DC4A5A  Time : 3372.0 sec.
user=vaughan
[2009-08-23 22:29:22]
441*2^711209-1 is not prime.  Res64: B0A05967DAC53B32  Time : 568.0 sec.
user=vaughan
[2009-08-23 22:29:42]
495*2^711209-1 is not prime.  Res64: 99F558A0BAA96313  Time : 483.0 sec.
user=gd_barnes
[2009-08-23 22:33:53]
549*2^711312-1 is not prime.  Res64: D98BC5096D774F1E  Time : 3383.0 sec.
user=vaughan
[2009-08-23 22:37:11]
531*2^711210-1 is not prime.  Res64: 37FCDFA0C83E3EDE  Time : 469.0 sec.
user=vaughan
[2009-08-23 22:37:39]
429*2^711316-1 is not prime.  Res64: 46477F2ACEC3E6FC  Time : 477.0 sec.
user=vaughan
[2009-08-23 22:45:02]
405*2^711212-1 is not prime.  Res64: B811ED7E51500DC1  Time : 471.0 sec.
user=gd_barnes
[2009-08-23 22:45:12]
591*2^711313-1 is not prime.  Res64: DD9DEA30382AFB88  Time : 3387.0 sec.
user=vaughan
[2009-08-23 22:45:33]
425*2^711212-1 is not prime.  Res64: 27A492F85A822D8F  Time : 474.0 sec.
user=vaughan
[2009-08-23 22:52:51]
519*2^711212-1 is not prime.  Res64: 6F7B25BABD8F8C48  Time : 469.0 sec.
user=vaughan
[2009-08-23 22:53:30]
425*2^711214-1 is not prime.  Res64: FABDAB812591E707  Time : 477.0 sec.
user=gd_barnes
[2009-08-23 22:56:39]
545*2^711314-1 is not prime.  Res64: AF5A3307DF873A01  Time : 3401.0 sec.
user=vaughan
[2009-08-23 23:00:42]
435*2^711214-1 is not prime.  Res64: 6C53064133651729  Time : 471.0 sec.
user=vaughan
[2009-08-23 23:01:27]
453*2^711214-1 is not prime.  Res64: 41791C281147F970  Time : 477.0 sec.
user=gd_barnes
[2009-08-23 23:07:54]
523*2^711315-1 is not prime.  Res64: E05917B2E7212992  Time : 3401.0 sec.
user=vaughan
[2009-08-23 23:08:30]
453*2^711215-1 is not prime.  Res64: F4A72DEC85F19ADE  Time : 469.0 sec.
user=vaughan
[2009-08-23 23:09:26]
485*2^711216-1 is not prime.  Res64: E59344BC3884346A  Time : 480.0 sec.
user=vaughan
[2009-08-23 23:16:17]
505*2^711217-1 is not prime.  Res64: 345C7AC0FD2A39F9  Time : 468.0 sec.
user=vaughan
[2009-08-23 23:17:22]
549*2^711217-1 is not prime.  Res64: E2214EC4C902578F  Time : 476.0 sec.
user=gd_barnes
[2009-08-23 23:19:14]
405*2^711210-1 is not prime.  Res64: 8526744185FD0264  Time : 3407.0 sec.
user=vaughan
[2009-08-23 23:24:08]
555*2^711217-1 is not prime.  Res64: 70603C13774ED0DB  Time : 471.0 sec.
user=vaughan
[2009-08-23 23:25:19]
567*2^711217-1 is not prime.  Res64: C1205DE50DEA3040  Time : 477.0 sec.
user=gd_barnes
[2009-08-23 23:30:28]
463*2^711211-1 is not prime.  Res64: 69FCF46556FE4614  Time : 3395.0 sec.
user=vaughan
[2009-08-23 23:31:58]
593*2^711316-1 is not prime.  Res64: B1389E4E94DFD4D6  Time : 471.0 sec.
user=vaughan
[2009-08-23 23:33:18]
597*2^711316-1 is not prime.  Res64: B95D5AFC6E521D2C  Time : 479.0 sec.
user=vaughan
[2009-08-23 23:39:47]
529*2^711317-1 is not prime.  Res64: CE94CBF7CFA5DC93  Time : 470.0 sec.
user=vaughan
[2009-08-23 23:41:13]
465*2^711318-1 is not prime.  Res64: 4DD1178820846059  Time : 476.0 sec.
user=gd_barnes
[2009-08-23 23:41:43]
413*2^711214-1 is not prime.  Res64: DA14DAE57FF1C95A  Time : 3391.0 sec.
user=vaughan
[2009-08-23 23:47:36]
495*2^711318-1 is not prime.  Res64: 8472E1326F30FCBB  Time : 470.0 sec.
user=vaughan
[2009-08-23 23:49:07]
581*2^711318-1 is not prime.  Res64: 48FD0B8F1EE72C60  Time : 474.0 sec.
user=gd_barnes
[2009-08-23 23:52:56]
527*2^711214-1 is not prime.  Res64: 871281AE8C120971  Time : 3377.0 sec.
user=vaughan
[2009-08-23 23:55:26]
505*2^711319-1 is not prime.  Res64: 44776A0566EF557C  Time : 470.0 sec.
user=vaughan
[2009-08-23 23:57:03]
555*2^711319-1 is not prime.  Res64: A805D10EDD76EECC  Time : 476.0 sec.