user=vaughan
[2009-07-01 00:01:38]
469*2^702019-1 is not prime.  Res64: EE80E28C552EB7DF  Time : 5598.0 sec.
user=gd_barnes
[2009-07-01 00:02:20]
585*2^702023-1 is not prime.  Res64: C25FBA517E7F9C38  Time : 3318.0 sec.
user=vaughan
[2009-07-01 00:05:20]
553*2^702019-1 is not prime.  Res64: 63E53A4A0B95C12B  Time : 5627.0 sec.
user=vaughan
[2009-07-01 00:11:10]
567*2^702020-1 is not prime.  Res64: 7A7AFD6D8C031479  Time : 5623.0 sec.
user=gd_barnes
[2009-07-01 00:13:23]
525*2^702024-1 is not prime.  Res64: F52BDBA26C60C658  Time : 3318.0 sec.
user=vaughan
[2009-07-01 00:14:38]
415*2^702021-1 is not prime.  Res64: 4CE95BB695D66147  Time : 5641.0 sec.
user=vaughan
[2009-07-01 00:15:29]
565*2^702027-1 is not prime.  Res64: 251EA11D04A85685  Time : 1535.0 sec.
user=vaughan
[2009-07-01 00:20:22]
537*2^702021-1 is not prime.  Res64: B7D15281DA6482C9  Time : 5611.0 sec.
user=vaughan
[2009-07-01 00:24:03]
401*2^702022-1 is not prime.  Res64: 30079946A03944DF  Time : 5638.0 sec.
user=gd_barnes
[2009-07-01 00:24:28]
437*2^702026-1 is not prime.  Res64: F483789421C64743  Time : 3319.0 sec.
user=vaughan
[2009-07-01 00:29:39]
411*2^702023-1 is not prime.  Res64: C58054787AA78A97  Time : 5596.0 sec.
user=vaughan
[2009-07-01 00:33:02]
439*2^702023-1 is not prime.  Res64: AEDEC8D79DDEA14A  Time : 5612.0 sec.
user=gd_barnes
[2009-07-01 00:35:36]
567*2^702026-1 is not prime.  Res64: BA385323FBC74455  Time : 3323.0 sec.
user=vaughan
[2009-07-01 00:39:24]
559*2^702023-1 is not prime.  Res64: 1593012CB54CE753  Time : 5625.0 sec.
user=vaughan
[2009-07-01 00:40:16]
567*2^702029-1 is not prime.  Res64: C8D76E7C9888E205  Time : 1487.0 sec.
user=vaughan
[2009-07-01 00:42:36]
413*2^702024-1 is not prime.  Res64: EDD3120A9DC98621  Time : 5639.0 sec.
user=gd_barnes
[2009-07-01 00:46:45]
405*2^702028-1 is not prime.  Res64: C994744AD1540104  Time : 3329.0 sec.
user=vaughan
[2009-07-01 00:48:46]
437*2^702024-1 is not prime.  Res64: 84F81DA3AACB0157  Time : 5621.0 sec.
user=vaughan
[2009-07-01 00:51:40]
497*2^702024-1 is not prime.  Res64: AF02133EB7C35AE9  Time : 5628.0 sec.
user=gd_barnes
[2009-07-01 00:57:54]
497*2^702028-1 is not prime.  Res64: 59E360F1E770CB74  Time : 3334.0 sec.
user=vaughan
[2009-07-01 00:58:17]
427*2^702025-1 is not prime.  Res64: 00EA37729DEA3D2B  Time : 5631.0 sec.
user=vaughan
[2009-07-01 01:00:51]
565*2^702025-1 is not prime.  Res64: 4234AFBAC811F239  Time : 5593.0 sec.
user=vaughan
[2009-07-01 01:04:34]
405*2^702031-1 is not prime.  Res64: 5D03DD5D7B5829FF  Time : 1458.0 sec.
user=vaughan
[2009-07-01 01:07:22]
447*2^702026-1 is not prime.  Res64: AD42CD8298FFE2C5  Time : 5605.0 sec.
user=gd_barnes
[2009-07-01 01:09:01]
435*2^702029-1 is not prime.  Res64: 6C3E7E5257923BD3  Time : 3338.0 sec.
user=vaughan
[2009-07-01 01:10:13]
531*2^702026-1 is not prime.  Res64: BA66DCEE3FEA087F  Time : 5588.0 sec.
user=vaughan
[2009-07-01 01:16:43]
573*2^702026-1 is not prime.  Res64: 63D9B52969B3E516  Time : 5615.0 sec.
user=vaughan
[2009-07-01 01:19:57]
513*2^702027-1 is not prime.  Res64: 26916E20BC1CA2CC  Time : 5626.0 sec.
user=gd_barnes
[2009-07-01 01:20:05]
465*2^702030-1 is not prime.  Res64: 5F295BF826ABE084  Time : 3337.0 sec.
user=vaughan
[2009-07-01 01:25:58]
413*2^702028-1 is not prime.  Res64: 876CF855A3210730  Time : 5623.0 sec.
user=vaughan
[2009-07-01 01:29:19]
419*2^702028-1 is not prime.  Res64: 17F4066ACB373629  Time : 5629.0 sec.
user=vaughan
[2009-07-01 01:29:39]
459*2^702032-1 is not prime.  Res64: F106C36D31B496C2  Time : 1505.0 sec.
user=gd_barnes
[2009-07-01 01:31:10]
543*2^702030-1 is not prime.  Res64: D69A3DAA6A9C2ED9  Time : 3334.0 sec.
user=vaughan
[2009-07-01 01:35:06]
443*2^702028-1 is not prime.  Res64: D37EC9A8A1D38FCF  Time : 5608.0 sec.
user=vaughan
[2009-07-01 01:38:31]
533*2^702028-1 is not prime.  Res64: 1DAA95E8E89D4C1C  Time : 5592.0 sec.
user=gd_barnes
[2009-07-01 01:42:14]
483*2^702031-1 is not prime.  Res64: DE1309F258D33E0F  Time : 3329.0 sec.
user=vaughan
[2009-07-01 01:44:20]
569*2^702028-1 is not prime.  Res64: EA89B8B8731DAB1F  Time : 5590.0 sec.
user=vaughan
[2009-07-01 01:48:25]
469*2^702029-1 is not prime.  Res64: 6EFB76612D0F1034  Time : 5627.0 sec.
user=gd_barnes
[2009-07-01 01:53:19]
555*2^702031-1 is not prime.  Res64: 9702A6CB66C65ECA  Time : 3325.0 sec.
user=vaughan
[2009-07-01 01:53:51]
413*2^702030-1 is not prime.  Res64: 29A6A7A957210500  Time : 5609.0 sec.
user=vaughan
[2009-07-01 01:54:51]
561*2^702034-1 is not prime.  Res64: 050619A4BD755DD7  Time : 1513.0 sec.
user=vaughan
[2009-07-01 01:57:59]
443*2^702030-1 is not prime.  Res64: F15DD23443738036  Time : 5636.0 sec.
user=vaughan
[2009-07-01 02:03:27]
513*2^702030-1 is not prime.  Res64: 5610C70B78CE6C61  Time : 5628.0 sec.
user=gd_barnes
[2009-07-01 02:04:23]
573*2^702032-1 is not prime.  Res64: 96DC9E3BE85588C8  Time : 3322.0 sec.
user=vaughan
[2009-07-01 02:07:47]
537*2^702030-1 is not prime.  Res64: AE120A181356509B  Time : 5685.0 sec.
user=vaughan
[2009-07-01 02:13:14]
567*2^702030-1 is not prime.  Res64: 537A87ACBD5C28EB  Time : 5630.0 sec.
user=gd_barnes
[2009-07-01 02:15:27]
565*2^702033-1 is not prime.  Res64: 25F0051005291F7F  Time : 3322.0 sec.
user=vaughan
[2009-07-01 02:17:28]
423*2^702031-1 is not prime.  Res64: 64C72047F7A135ED  Time : 5692.0 sec.
user=vaughan
[2009-07-01 02:18:34]
515*2^702038-1 is not prime.  Res64: BE4FBA901A4B8301  Time : 1424.0 sec.
user=vaughan
[2009-07-01 02:22:54]
489*2^702031-1 is not prime.  Res64: DCCC356E0890C2C4  Time : 5648.0 sec.
user=gd_barnes
[2009-07-01 02:26:32]
403*2^702035-1 is not prime.  Res64: 9A5E8C7154DECCCD  Time : 3322.0 sec.
user=vaughan
[2009-07-01 02:26:46]
541*2^702031-1 is not prime.  Res64: 5C07032846A94045  Time : 5706.0 sec.
user=vaughan
[2009-07-01 02:31:59]
573*2^702031-1 is not prime.  Res64: 58A2AC9AF8BD3548  Time : 5622.0 sec.
user=vaughan
[2009-07-01 02:35:55]
425*2^702032-1 is not prime.  Res64: 78E598419F43A6ED  Time : 5704.0 sec.
user=gd_barnes
[2009-07-01 02:37:35]
513*2^702036-1 is not prime.  Res64: 48BE1F8C608D2763  Time : 3321.0 sec.
user=vaughan
[2009-07-01 02:41:09]
507*2^702032-1 is not prime.  Res64: 615C8A2F526B0E87  Time : 5627.0 sec.
user=vaughan
[2009-07-01 02:43:44]
559*2^702039-1 is not prime.  Res64: 6267A8571937E361  Time : 1510.0 sec.
user=vaughan
[2009-07-01 02:45:10]
471*2^702033-1 is not prime.  Res64: 723B76D791B7E1EF  Time : 5698.0 sec.
user=gd_barnes
[2009-07-01 02:48:40]
577*2^702037-1 is not prime.  Res64: C0D277D1B082B800  Time : 3321.0 sec.
user=vaughan
[2009-07-01 02:50:45]
495*2^702033-1 is not prime.  Res64: 5A3914A0CC688199  Time : 5643.0 sec.
user=vaughan
[2009-07-01 02:54:34]
501*2^702033-1 is not prime.  Res64: D82266D11A27DB6D  Time : 5678.0 sec.
user=gd_barnes
[2009-07-01 02:59:45]
439*2^702039-1 is not prime.  Res64: 9EB80B214E2C2BC8  Time : 3322.0 sec.
user=vaughan
[2009-07-01 03:00:10]
437*2^702034-1 is not prime.  Res64: 3FA9D0CA40EEE62A  Time : 5652.0 sec.
user=vaughan
[2009-07-01 03:04:29]
477*2^702034-1 is not prime.  Res64: 07D52BA61DBB84C4  Time : 5711.0 sec.
user=vaughan
[2009-07-01 03:09:12]
579*2^702041-1 is not prime.  Res64: 328CDDA23AB9F6A5  Time : 1528.0 sec.
user=vaughan
[2009-07-01 03:09:39]
493*2^702035-1 is not prime.  Res64: F0FA58F7ACD79B51  Time : 5673.0 sec.
user=gd_barnes
[2009-07-01 03:11:26]
549*2^702039-1 is not prime.  Res64: 80FB4102E0F54216  Time : 3359.0 sec.
user=vaughan
[2009-07-01 03:13:50]
511*2^702035-1 is not prime.  Res64: F86FB7E3E4186FBD  Time : 5719.0 sec.
user=vaughan
[2009-07-01 03:19:15]
405*2^702037-1 is not prime.  Res64: 4B58F30EEDED7F9A  Time : 5695.0 sec.
user=vaughan
[2009-07-01 03:22:54]
499*2^702037-1 is not prime.  Res64: 0E65355D40F3689E  Time : 5669.0 sec.
user=gd_barnes
[2009-07-01 03:23:59]
573*2^702039-1 is not prime.  Res64: 673E9E3E52D87FA1  Time : 3447.0 sec.
user=vaughan
[2009-07-01 03:28:20]
437*2^702038-1 is not prime.  Res64: EB5B22C798A1D519  Time : 5669.0 sec.
user=vaughan
[2009-07-01 03:32:01]
533*2^702038-1 is not prime.  Res64: 9030C5D87F454139  Time : 5642.0 sec.
user=vaughan
[2009-07-01 03:35:02]
511*2^702043-1 is not prime.  Res64: 546ECCE21625556C  Time : 1551.0 sec.
user=vaughan
[2009-07-01 03:37:43]
423*2^702039-1 is not prime.  Res64: E4848F597413E808  Time : 5656.0 sec.
user=gd_barnes
[2009-07-01 03:40:42]
465*2^702041-1 is not prime.  Res64: E4D05F1579C67712  Time : 3787.0 sec.
user=vaughan
[2009-07-01 03:41:18]
481*2^702039-1 is not prime.  Res64: 6848B8D9905A2729  Time : 5611.0 sec.
user=vaughan
[2009-07-01 03:47:13]
523*2^702039-1 is not prime.  Res64: 63F7612146BFA6FA  Time : 5640.0 sec.
user=vaughan
[2009-07-01 03:50:54]
553*2^702039-1 is not prime.  Res64: 43B95AD53FC46F47  Time : 5606.0 sec.
user=vaughan
[2009-07-01 03:56:40]
571*2^702039-1 is not prime.  Res64: D8C80135ECB1E92B  Time : 5626.0 sec.
user=gd_barnes
[2009-07-01 03:57:17]
471*2^702042-1 is not prime.  Res64: 379B36781D60E1BD  Time : 4117.0 sec.
user=vaughan
[2009-07-01 04:00:19]
429*2^702040-1 is not prime.  Res64: 146AA75154DC862D  Time : 5613.0 sec.
user=vaughan
[2009-07-01 04:00:31]
591*2^702045-1 is not prime.  Res64: 2E235873F6466347  Time : 1529.0 sec.
user=vaughan
[2009-07-01 04:06:02]
453*2^702040-1 is not prime.  Res64: 6B095D73C9A5169A  Time : 5643.0 sec.
user=vaughan
[2009-07-01 04:10:04]
441*2^702041-1 is not prime.  Res64: 2810BFF355F186AC  Time : 5649.0 sec.
user=gd_barnes
[2009-07-01 04:13:57]
567*2^702042-1 is not prime.  Res64: D1105A962B203222  Time : 4453.0 sec.
user=vaughan
[2009-07-01 04:15:43]
475*2^702041-1 is not prime.  Res64: 81A98EA8FB4179F2  Time : 5674.0 sec.
user=vaughan
[2009-07-01 04:19:38]
437*2^702042-1 is not prime.  Res64: AC69CCDA942FBF29  Time : 5668.0 sec.
user=vaughan
[2009-07-01 04:24:42]
495*2^702042-1 is not prime.  Res64: 9EEBDADD70E3DC1F  Time : 5637.0 sec.
user=vaughan
[2009-07-01 04:26:35]
415*2^702049-1 is not prime.  Res64: 8A999B2B533CDD80  Time : 1564.0 sec.
user=vaughan
[2009-07-01 04:29:14]
503*2^702042-1 is not prime.  Res64: 80933DBB8700114E  Time : 5680.0 sec.
user=gd_barnes
[2009-07-01 04:30:38]
589*2^702043-1 is not prime.  Res64: 07C98D217442146B  Time : 4752.0 sec.
user=vaughan
[2009-07-01 04:34:07]
439*2^702043-1 is not prime.  Res64: 8A0BA6115563DF67  Time : 5637.0 sec.
user=vaughan
[2009-07-01 04:38:45]
441*2^702043-1 is not prime.  Res64: 8EBF8FA70D54451A  Time : 5656.0 sec.
user=vaughan
[2009-07-01 04:43:36]
573*2^702043-1 is not prime.  Res64: 55837B4DB4A5108B  Time : 5637.0 sec.
user=gd_barnes
[2009-07-01 04:47:25]
475*2^702045-1 is not prime.  Res64: 88EF5C3EFAE98054  Time : 5006.0 sec.
user=vaughan
[2009-07-01 04:48:19]
447*2^702044-1 is not prime.  Res64: 6C065545D5B15D50  Time : 5670.0 sec.
user=vaughan
[2009-07-01 04:52:34]
439*2^702051-1 is not prime.  Res64: FCC67455B33098E0  Time : 1559.0 sec.
user=vaughan
[2009-07-01 04:53:06]
579*2^702044-1 is not prime.  Res64: 1FDE6284E157AA05  Time : 5632.0 sec.
user=vaughan
[2009-07-01 04:57:50]
599*2^702044-1 is not prime.  Res64: DD65F4DB58F238B9  Time : 5696.0 sec.
user=vaughan
[2009-07-01 05:02:14]
525*2^702045-1 is not prime.  Res64: 5E25455BEFF92C0B  Time : 5635.0 sec.
user=gd_barnes
[2009-07-01 05:04:06]
575*2^702046-1 is not prime.  Res64: 15896E8A68EDB0DC  Time : 5004.0 sec.
user=vaughan
[2009-07-01 05:07:08]
579*2^702045-1 is not prime.  Res64: 1C43ACE74E87BAA0  Time : 5707.0 sec.
user=vaughan
[2009-07-01 05:11:31]
437*2^702046-1 is not prime.  Res64: 5DE506BD46839403  Time : 5628.0 sec.
user=vaughan
[2009-07-01 05:16:08]
421*2^702053-1 is not prime.  Res64: 775D896C1A64F12D  Time : 1414.0 sec.
user=vaughan
[2009-07-01 05:16:18]
593*2^702046-1 is not prime.  Res64: 1963122C1194F624  Time : 5700.0 sec.
user=gd_barnes
[2009-07-01 05:20:38]
585*2^702047-1 is not prime.  Res64: 0EA1B08EB6AB6077  Time : 5001.0 sec.
user=vaughan
[2009-07-01 05:21:02]
441*2^702047-1 is not prime.  Res64: 9BEE9C13B85564F6  Time : 5629.0 sec.
user=vaughan
[2009-07-01 05:26:01]
465*2^702047-1 is not prime.  Res64: 7F8D73158C327FF6  Time : 5707.0 sec.
user=vaughan
[2009-07-01 05:30:17]
531*2^702047-1 is not prime.  Res64: 684DF7CAC040DFEE  Time : 5617.0 sec.
user=vaughan
[2009-07-01 05:35:38]
419*2^702048-1 is not prime.  Res64: D435DD67EEBD2A23  Time : 5719.0 sec.
user=gd_barnes
[2009-07-01 05:37:19]
511*2^702049-1 is not prime.  Res64: 55461A6C7984D96D  Time : 5002.0 sec.
user=vaughan
[2009-07-01 05:39:34]
435*2^702049-1 is not prime.  Res64: 18893283E1F26FBB  Time : 5612.0 sec.
user=vaughan
[2009-07-01 05:42:02]
431*2^702054-1 is not prime.  Res64: 966EC9466A709C61  Time : 1554.0 sec.
user=vaughan
[2009-07-01 05:44:54]
481*2^702049-1 is not prime.  Res64: D3DB7C40E07BB690  Time : 5690.0 sec.
user=vaughan
[2009-07-01 05:48:38]
589*2^702049-1 is not prime.  Res64: F645611D54F169B7  Time : 5575.0 sec.
user=gd_barnes
[2009-07-01 05:53:55]
489*2^702051-1 is not prime.  Res64: 14F0E64284B53110  Time : 4998.0 sec.
user=vaughan
[2009-07-01 05:54:09]
423*2^702050-1 is not prime.  Res64: ECA5E616A6F4D566  Time : 5672.0 sec.
user=vaughan
[2009-07-01 05:58:16]
483*2^702050-1 is not prime.  Res64: CF78B281E006B446  Time : 5614.0 sec.
user=vaughan
[2009-07-01 06:03:51]
465*2^702051-1 is not prime.  Res64: A37D61919047027B  Time : 5677.0 sec.
user=vaughan
[2009-07-01 06:06:54]
449*2^702056-1 is not prime.  Res64: 285871DE3D3468E5  Time : 1492.0 sec.
user=vaughan
[2009-07-01 06:07:40]
549*2^702051-1 is not prime.  Res64: D648D246C6E7AE73  Time : 5613.0 sec.
user=gd_barnes
[2009-07-01 06:10:28]
549*2^702052-1 is not prime.  Res64: 8FE124867FB9580E  Time : 4983.0 sec.
user=vaughan
[2009-07-01 06:13:18]
595*2^702051-1 is not prime.  Res64: B3B488A5D2DF2D02  Time : 5674.0 sec.
user=vaughan
[2009-07-01 06:16:54]
513*2^702052-1 is not prime.  Res64: 3E5DAE7539FFDA70  Time : 5599.0 sec.
user=vaughan
[2009-07-01 06:23:24]
573*2^702052-1 is not prime.  Res64: 24A7A30D26DE804A  Time : 5705.0 sec.
user=vaughan
[2009-07-01 06:26:17]
435*2^702053-1 is not prime.  Res64: 8E0092344848E542  Time : 5591.0 sec.
user=gd_barnes
[2009-07-01 06:27:01]
567*2^702053-1 is not prime.  Res64: 1D325B2BC172BC49  Time : 4975.0 sec.
user=vaughan
[2009-07-01 06:31:51]
471*2^702058-1 is not prime.  Res64: ED06B58A28C60527  Time : 1497.0 sec.
user=vaughan
[2009-07-01 06:32:31]
529*2^702053-1 is not prime.  Res64: E8F7037ADD36B846  Time : 5682.0 sec.
user=vaughan
[2009-07-01 06:35:28]
537*2^702053-1 is not prime.  Res64: F1D7F394AE644206  Time : 5594.0 sec.
user=vaughan
[2009-07-01 06:41:53]
589*2^702053-1 is not prime.  Res64: 3689000318279C2B  Time : 5685.0 sec.
user=gd_barnes
[2009-07-01 06:43:35]
453*2^702054-1 is not prime.  Res64: 216CBE15D151D74B  Time : 4977.0 sec.
user=vaughan
[2009-07-01 06:44:47]
423*2^702054-1 is not prime.  Res64: 06245A5C54F2FB96  Time : 5596.0 sec.
user=vaughan
[2009-07-01 06:51:01]
447*2^702054-1 is not prime.  Res64: 4B0067A0D2F85DDC  Time : 5683.0 sec.
user=vaughan
[2009-07-01 06:54:00]
501*2^702054-1 is not prime.  Res64: 565A04FB8ABDDA13  Time : 5578.0 sec.
user=vaughan
[2009-07-01 06:57:05]
409*2^702061-1 is not prime.  Res64: 4317EF7C282214F5  Time : 1514.0 sec.
user=gd_barnes
[2009-07-01 07:00:16]
413*2^702056-1 is not prime.  Res64: 9EBB1055E29D8D2E  Time : 4977.0 sec.
user=vaughan
[2009-07-01 07:00:31]
525*2^702054-1 is not prime.  Res64: 3F12F9990872724C  Time : 5670.0 sec.
user=vaughan
[2009-07-01 07:03:14]
555*2^702054-1 is not prime.  Res64: 7F5E2C1EC2D24CE6  Time : 5577.0 sec.
user=vaughan
[2009-07-01 07:09:52]
469*2^702055-1 is not prime.  Res64: 8EC82CFEF7E41570  Time : 5654.0 sec.
user=vaughan
[2009-07-01 07:12:16]
447*2^702056-1 is not prime.  Res64: A8AB363779A87EDE  Time : 5563.0 sec.
user=gd_barnes
[2009-07-01 07:16:52]
573*2^702056-1 is not prime.  Res64: 543BCD0F3AF2DECE  Time : 4977.0 sec.
user=vaughan
[2009-07-01 07:19:39]
455*2^702056-1 is not prime.  Res64: 73F3D2FAE058D911  Time : 5685.0 sec.
user=vaughan
[2009-07-01 07:21:42]
507*2^702056-1 is not prime.  Res64: 688A3EE60363F01F  Time : 5584.0 sec.
user=vaughan
[2009-07-01 07:22:36]
567*2^702062-1 is not prime.  Res64: A8C19BADC87BC89C  Time : 1531.0 sec.
user=vaughan
[2009-07-01 07:29:06]
445*2^702057-1 is not prime.  Res64: 181AB343F606D44C  Time : 5697.0 sec.
user=vaughan
[2009-07-01 07:30:52]
517*2^702057-1 is not prime.  Res64: 5DA1AD2D3E503588  Time : 5556.0 sec.
user=gd_barnes
[2009-07-01 07:33:36]
411*2^702059-1 is not prime.  Res64: 6EB3892CD63A7FB4  Time : 4988.0 sec.
user=vaughan
[2009-07-01 07:38:27]
595*2^702057-1 is not prime.  Res64: 57603559A58BBDF8  Time : 5676.0 sec.
user=vaughan
[2009-07-01 07:40:08]
525*2^702058-1 is not prime.  Res64: 2DE8E6604AB25755  Time : 5548.0 sec.
user=vaughan
[2009-07-01 07:47:22]
421*2^702065-1 is not prime.  Res64: D2B1F0AA3DA815E7  Time : 1486.0 sec.
user=vaughan
[2009-07-01 07:47:29]
531*2^702059-1 is not prime.  Res64: C41D464CE85787B0  Time : 5651.0 sec.
user=vaughan
[2009-07-01 07:49:27]
405*2^702060-1 is not prime.  Res64: E035702E011F3322  Time : 5553.0 sec.
user=gd_barnes
[2009-07-01 07:50:18]
597*2^702060-1 is not prime.  Res64: 9DA3D833F3A366CE  Time : 4997.0 sec.
user=vaughan
[2009-07-01 07:56:35]
447*2^702060-1 is not prime.  Res64: 3C6D62A6D8CC11F0  Time : 5591.0 sec.
user=vaughan
[2009-07-01 07:58:45]
515*2^702060-1 is not prime.  Res64: 890ED05338891623  Time : 5548.0 sec.
user=vaughan
[2009-07-01 08:06:10]
447*2^702061-1 is not prime.  Res64: 9646A494D8FA563B  Time : 5619.0 sec.
user=gd_barnes
[2009-07-01 08:06:50]
565*2^702061-1 is not prime.  Res64: 099751844A79613D  Time : 4995.0 sec.
user=vaughan
[2009-07-01 08:08:17]
465*2^702061-1 is not prime.  Res64: E7ACB0B83391CEF6  Time : 5570.0 sec.
user=vaughan
[2009-07-01 08:11:51]
473*2^702066-1 is not prime.  Res64: DBC4F9DD5C7DB6B2  Time : 1469.0 sec.
user=vaughan
[2009-07-01 08:15:32]
477*2^702061-1 is not prime.  Res64: FD5E3D90FDCBA7C8  Time : 5619.0 sec.
user=vaughan
[2009-07-01 08:17:42]
447*2^702062-1 is not prime.  Res64: C00CE1CA38BE617F  Time : 5575.0 sec.
user=gd_barnes
[2009-07-01 08:23:29]
581*2^702062-1 is not prime.  Res64: B0CD67B8F389504D  Time : 4993.0 sec.
user=vaughan
[2009-07-01 08:24:41]
461*2^702062-1 is not prime.  Res64: 85267B037D71B4F8  Time : 5620.0 sec.
user=vaughan
[2009-07-01 08:27:13]
467*2^702062-1 is not prime.  Res64: 35E772A5B72433BA  Time : 5593.0 sec.
user=vaughan
[2009-07-01 08:34:39]
409*2^702063-1 is not prime.  Res64: E3A2F73F6691C12A  Time : 5648.0 sec.
user=vaughan
[2009-07-01 08:36:32]
433*2^702063-1 is not prime.  Res64: 42B300E03C625B3C  Time : 5599.0 sec.
user=vaughan
[2009-07-01 08:36:34]
471*2^702069-1 is not prime.  Res64: DF055185907D7E24  Time : 1484.0 sec.
user=gd_barnes
[2009-07-01 08:40:04]
455*2^702064-1 is not prime.  Res64: A4F85DEAC6584C08  Time : 4992.0 sec.
user=vaughan
[2009-07-01 08:43:36]
441*2^702063-1 is not prime.  Res64: E7BFCA59A0902F9B  Time : 5625.0 sec.
user=vaughan
[2009-07-01 08:45:34]
481*2^702063-1 is not prime.  Res64: DC4600287EEB8C17  Time : 5598.0 sec.
user=vaughan
[2009-07-01 08:52:48]
533*2^702064-1 is not prime.  Res64: 70C7FA4F3DF95327  Time : 5590.0 sec.
user=vaughan
[2009-07-01 08:54:50]
597*2^702064-1 is not prime.  Res64: C31548D386997B4D  Time : 5588.0 sec.
user=gd_barnes
[2009-07-01 08:56:29]
469*2^702065-1 is not prime.  Res64: 11836F42DF502F01  Time : 4974.0 sec.
user=vaughan
[2009-07-01 09:00:39]
471*2^702070-1 is not prime.  Res64: 10FC05892B135F87  Time : 1446.0 sec.
user=vaughan
[2009-07-01 09:02:00]
441*2^702065-1 is not prime.  Res64: 28876B7F534DCCE6  Time : 5574.0 sec.
user=vaughan
[2009-07-01 09:04:00]
459*2^702065-1 is not prime.  Res64: 278B3AC75AD24759  Time : 5588.0 sec.
user=vaughan
[2009-07-01 09:11:34]
477*2^702065-1 is not prime.  Res64: 8C1EE6F5D7CB4441  Time : 5587.0 sec.
user=gd_barnes
[2009-07-01 09:13:13]
553*2^702067-1 is not prime.  Res64: 66A4BE0B8557731A  Time : 4976.0 sec.
user=vaughan
[2009-07-01 09:13:41]
411*2^702066-1 is not prime.  Res64: 6B2477F1023B2FA9  Time : 5614.0 sec.
user=vaughan
[2009-07-01 09:20:59]
551*2^702066-1 is not prime.  Res64: 77FE0B0EA66B18FE  Time : 5610.0 sec.
user=vaughan
[2009-07-01 09:22:41]
451*2^702067-1 is not prime.  Res64: 732FF622F55CA679  Time : 5594.0 sec.
user=vaughan
[2009-07-01 09:24:49]
565*2^702071-1 is not prime.  Res64: 125A286B570D7FDD  Time : 1450.0 sec.
user=gd_barnes
[2009-07-01 09:30:03]
429*2^702069-1 is not prime.  Res64: 428F1DDB26D7EF9F  Time : 4993.0 sec.
user=vaughan
[2009-07-01 09:30:28]
579*2^702067-1 is not prime.  Res64: A9A940B9346C5A48  Time : 5634.0 sec.
user=vaughan
[2009-07-01 09:32:07]
589*2^702067-1 is not prime.  Res64: 923274F226560376  Time : 5602.0 sec.
user=vaughan
[2009-07-01 09:40:07]
579*2^702068-1 is not prime.  Res64: 7832CA2EAF50FD09  Time : 5637.0 sec.
user=vaughan
[2009-07-01 09:41:45]
459*2^702069-1 is not prime.  Res64: DFB71B518B277754  Time : 5608.0 sec.
user=gd_barnes
[2009-07-01 09:46:40]
571*2^702069-1 is not prime.  Res64: AB37BC10195A2280  Time : 4991.0 sec.
user=vaughan
[2009-07-01 09:49:30]
549*2^702069-1 is not prime.  Res64: 885C463CC820E294  Time : 5638.0 sec.
user=vaughan
[2009-07-01 09:49:49]
511*2^702073-1 is not prime.  Res64: 4860B94A450FDB24  Time : 1500.0 sec.
user=vaughan
[2009-07-01 09:51:01]
555*2^702069-1 is not prime.  Res64: 6916CAEBFEC21DD6  Time : 5599.0 sec.
user=vaughan
[2009-07-01 09:58:53]
401*2^702070-1 is not prime.  Res64: B5B475EE380A718B  Time : 5652.0 sec.
user=vaughan
[2009-07-01 10:00:17]
405*2^702070-1 is not prime.  Res64: 88CF2A9CE6B6631E  Time : 5584.0 sec.
user=gd_barnes
[2009-07-01 10:03:26]
575*2^702070-1 is not prime.  Res64: E800C301D81F3877  Time : 5002.0 sec.
user=vaughan
[2009-07-01 10:08:07]
447*2^702070-1 is not prime.  Res64: C9530F9E685DEB81  Time : 5608.0 sec.
user=vaughan
[2009-07-01 10:09:40]
465*2^702070-1 is not prime.  Res64: 15E5F283ED5825F2  Time : 5589.0 sec.
user=vaughan
[2009-07-01 10:13:48]
523*2^702075-1 is not prime.  Res64: 69AEAB047797B1D5  Time : 1439.0 sec.
user=vaughan
[2009-07-01 10:17:14]
591*2^702070-1 is not prime.  Res64: A23BC443467172FC  Time : 5618.0 sec.
user=vaughan
[2009-07-01 10:18:47]
597*2^702070-1 is not prime.  Res64: 4D16F154083894A6  Time : 5593.0 sec.
user=gd_barnes
[2009-07-01 10:20:13]
531*2^702071-1 is not prime.  Res64: 40A3E3CD6003F4BB  Time : 5024.0 sec.
user=vaughan
[2009-07-01 10:26:31]
433*2^702071-1 is not prime.  Res64: 1288DBEA899A7E4A  Time : 5624.0 sec.
user=vaughan
[2009-07-01 10:28:00]
493*2^702071-1 is not prime.  Res64: 970981CBC249F0E8  Time : 5590.0 sec.
user=vaughan
[2009-07-01 10:35:53]
579*2^702071-1 is not prime.  Res64: 87201F67A74B4904  Time : 5633.0 sec.
user=gd_barnes
[2009-07-01 10:37:09]
503*2^702072-1 is not prime.  Res64: B676EF7C69A4EAB6  Time : 5036.0 sec.
user=vaughan
[2009-07-01 10:37:39]
585*2^702071-1 is not prime.  Res64: 17C86A239F9BAF7B  Time : 5620.0 sec.
user=vaughan
[2009-07-01 10:38:33]
567*2^702077-1 is not prime.  Res64: 139BF23CA824DFB8  Time : 1485.0 sec.
user=vaughan
[2009-07-01 10:44:59]
595*2^702071-1 is not prime.  Res64: 76AE6F2FAFC90F24  Time : 5605.0 sec.
user=vaughan
[2009-07-01 10:47:00]
557*2^702072-1 is not prime.  Res64: 52AF8EBD020F29C1  Time : 5599.0 sec.
user=gd_barnes
[2009-07-01 10:53:42]
547*2^702073-1 is not prime.  Res64: 9329AC720C38459E  Time : 5019.0 sec.
user=vaughan
[2009-07-01 10:54:17]
477*2^702073-1 is not prime.  Res64: BBEEB6001D016BF6  Time : 5598.0 sec.
user=vaughan
[2009-07-01 10:56:26]
499*2^702073-1 is not prime.  Res64: 087961D5A697F016  Time : 5625.0 sec.
user=vaughan
[2009-07-01 11:03:41]
549*2^702073-1 is not prime.  Res64: 98EF7FCF623B9C1D  Time : 5593.0 sec.
user=vaughan
[2009-07-01 11:05:25]
465*2^702079-1 is not prime.  Res64: DB96B14AFE980797  Time : 1612.0 sec.
user=vaughan
[2009-07-01 11:05:48]
453*2^702074-1 is not prime.  Res64: 339CA88DA5D1FCFE  Time : 5621.0 sec.
user=gd_barnes
[2009-07-01 11:10:22]
545*2^702074-1 is not prime.  Res64: 63C8403C00A59A05  Time : 5022.0 sec.
user=vaughan
[2009-07-01 11:13:04]
477*2^702074-1 is not prime.  Res64: F4F4B44E6C3A355B  Time : 5577.0 sec.
user=vaughan
[2009-07-01 11:15:22]
501*2^702074-1 is not prime.  Res64: C91AF300AD99F7CE  Time : 5617.0 sec.
user=vaughan
[2009-07-01 11:22:47]
513*2^702075-1 is not prime.  Res64: ED9361CD0B2C37F8  Time : 5597.0 sec.
user=vaughan
[2009-07-01 11:24:53]
483*2^702076-1 is not prime.  Res64: 31A548616673B8AB  Time : 5632.0 sec.
user=gd_barnes
[2009-07-01 11:26:51]
573*2^702076-1 is not prime.  Res64: 5033B4499B373A3C  Time : 5005.0 sec.
user=vaughan
[2009-07-01 11:29:48]
511*2^702081-1 is not prime.  Res64: B45B687F599C7114  Time : 1463.0 sec.
user=vaughan
[2009-07-01 11:32:17]
507*2^702076-1 is not prime.  Res64: 94EB0F490242DB5A  Time : 5604.0 sec.
user=vaughan
[2009-07-01 11:34:40]
567*2^702076-1 is not prime.  Res64: 9D6D9F65C47A798B  Time : 5663.0 sec.
user=vaughan
[2009-07-01 11:41:52]
465*2^702077-1 is not prime.  Res64: E9CFFDD51B483810  Time : 5625.0 sec.
user=gd_barnes
[2009-07-01 11:43:30]
485*2^702078-1 is not prime.  Res64: E6336DCAF80CCE61  Time : 4997.0 sec.
user=vaughan
[2009-07-01 11:44:13]
537*2^702077-1 is not prime.  Res64: 409F80AF72553E57  Time : 5673.0 sec.
user=vaughan
[2009-07-01 11:51:28]
571*2^702077-1 is not prime.  Res64: FA1A9D6287D42EF7  Time : 5654.0 sec.
user=vaughan
[2009-07-01 11:53:16]
413*2^702084-1 is not prime.  Res64: D9700851357896B5  Time : 1408.0 sec.
user=vaughan
[2009-07-01 11:53:50]
589*2^702077-1 is not prime.  Res64: B4A77D3188C27B2B  Time : 5704.0 sec.
user=gd_barnes
[2009-07-01 12:00:06]
415*2^702079-1 is not prime.  Res64: B3E1E0B600D016B5  Time : 4977.0 sec.
user=vaughan
[2009-07-01 12:01:16]
495*2^702078-1 is not prime.  Res64: 6773655B13C28FA4  Time : 5685.0 sec.
user=vaughan
[2009-07-01 12:03:18]
501*2^702078-1 is not prime.  Res64: 64A47B30EDBEDCBA  Time : 5718.0 sec.
user=vaughan
[2009-07-01 12:11:06]
563*2^702078-1 is not prime.  Res64: 0F8BC5F96203AF4F  Time : 5713.0 sec.
user=vaughan
[2009-07-01 12:12:46]
463*2^702079-1 is not prime.  Res64: 6F5BA0F6FDCD53F4  Time : 5708.0 sec.
user=gd_barnes
[2009-07-01 12:16:37]
405*2^702080-1 is not prime.  Res64: 903DEB2610D2F87E  Time : 4975.0 sec.
user=vaughan
[2009-07-01 12:17:30]
547*2^702085-1 is not prime.  Res64: 9721F3D1EE6ACFF9  Time : 1454.0 sec.
user=vaughan
[2009-07-01 12:20:29]
523*2^702079-1 is not prime.  Res64: 5614EA0E774ECAC5  Time : 5730.0 sec.
user=vaughan
[2009-07-01 12:21:58]
559*2^702079-1 is not prime.  Res64: 0DC72AD575CED341  Time : 5698.0 sec.
user=vaughan
[2009-07-01 12:29:32]
459*2^702080-1 is not prime.  Res64: E6701527BCA8B8B9  Time : 5715.0 sec.
user=vaughan
[2009-07-01 12:31:04]
503*2^702080-1 is not prime.  Res64: C5E267F022924F9F  Time : 5678.0 sec.
user=gd_barnes
[2009-07-01 12:33:18]
561*2^702082-1 is not prime.  Res64: 0F85BE7431E651A1  Time : 4976.0 sec.
user=vaughan
[2009-07-01 12:39:24]
415*2^702081-1 is not prime.  Res64: 316495FF17510BF4  Time : 5743.0 sec.
user=vaughan
[2009-07-01 12:40:35]
517*2^702081-1 is not prime.  Res64: CC45812AB9701C6C  Time : 5687.0 sec.
user=vaughan
[2009-07-01 12:41:48]
489*2^702087-1 is not prime.  Res64: 4467340F5940372D  Time : 1459.0 sec.
user=vaughan
[2009-07-01 12:49:12]
581*2^702082-1 is not prime.  Res64: 24F1E679DC068AD2  Time : 5768.0 sec.
user=vaughan
[2009-07-01 12:49:49]
411*2^702083-1 is not prime.  Res64: 81358B757B6E7ECA  Time : 5667.0 sec.
user=gd_barnes
[2009-07-01 12:49:55]
553*2^702083-1 is not prime.  Res64: 4AD2A4E41417F5E0  Time : 4984.0 sec.
user=vaughan
[2009-07-01 12:59:05]
505*2^702083-1 is not prime.  Res64: 3E0E9E975B44700C  Time : 5779.0 sec.
user=vaughan
[2009-07-01 12:59:12]
523*2^702083-1 is not prime.  Res64: ACE10FFC087EE351  Time : 5659.0 sec.
user=vaughan
[2009-07-01 13:05:21]
567*2^702089-1 is not prime.  Res64: 899978493C3285DB  Time : 1414.0 sec.
user=gd_barnes
[2009-07-01 13:06:35]
585*2^702084-1 is not prime.  Res64: 5A76B11D5867B1EC  Time : 4985.0 sec.
user=vaughan
[2009-07-01 13:08:13]
453*2^702084-1 is not prime.  Res64: 96A94A18C8BCFEFD  Time : 5756.0 sec.
user=vaughan
[2009-07-01 13:08:16]
455*2^702084-1 is not prime.  Res64: AE97AB56B7D5116C  Time : 5616.0 sec.
user=vaughan
[2009-07-01 13:17:26]
557*2^702084-1 is not prime.  Res64: 1063F9308E28F227  Time : 5734.0 sec.
user=vaughan
[2009-07-01 13:17:28]
415*2^702085-1 is not prime.  Res64: 3BC14BAE409D7264  Time : 5595.0 sec.
user=gd_barnes
[2009-07-01 13:23:04]
501*2^702086-1 is not prime.  Res64: E936B75DC08DF882  Time : 4978.0 sec.
user=vaughan
[2009-07-01 13:26:42]
417*2^702086-1 is not prime.  Res64: 7DACDDA8925AFDBD  Time : 5572.0 sec.
user=vaughan
[2009-07-01 13:26:55]
429*2^702085-1 is not prime.  Res64: 73BC1FED858B31CC  Time : 5728.0 sec.
user=vaughan
[2009-07-01 13:31:18]
543*2^702090-1 is not prime.  Res64: 2F4DAD175A4537B4  Time : 1557.0 sec.
user=vaughan
[2009-07-01 13:36:08]
581*2^702086-1 is not prime.  Res64: ED1716F862DF58AE  Time : 5570.0 sec.
user=vaughan
[2009-07-01 13:36:43]
537*2^702086-1 is not prime.  Res64: 035282E7F33FFEF1  Time : 5727.0 sec.
user=gd_barnes
[2009-07-01 13:39:40]
469*2^702087-1 is not prime.  Res64: 603392852948FC1B  Time : 4983.0 sec.
user=vaughan
[2009-07-01 13:45:13]
433*2^702087-1 is not prime.  Res64: B54AB5E6A1FE3516  Time : 5548.0 sec.
user=vaughan
[2009-07-01 13:45:54]
593*2^702086-1 is not prime.  Res64: 9BFE3C1B23B3EE7A  Time : 5688.0 sec.
user=vaughan
[2009-07-01 13:54:22]
465*2^702088-1 is not prime.  Res64: A8A997F5F4A2D761  Time : 5545.0 sec.
user=vaughan
[2009-07-01 13:55:11]
555*2^702087-1 is not prime.  Res64: A1C874BA4564DAF6  Time : 5683.0 sec.
user=gd_barnes
[2009-07-01 13:56:06]
563*2^702088-1 is not prime.  Res64: 01F192DBE334A923  Time : 4968.0 sec.
user=vaughan
[2009-07-01 13:56:46]
481*2^702093-1 is not prime.  Res64: 0972166DCEC02C01  Time : 1528.0 sec.
user=vaughan
[2009-07-01 14:03:33]
537*2^702088-1 is not prime.  Res64: 719BD96610A13050  Time : 5550.0 sec.
user=vaughan
[2009-07-01 14:04:38]
533*2^702088-1 is not prime.  Res64: 3BA3B86D82AFDB8A  Time : 5706.0 sec.
user=gd_barnes
[2009-07-01 14:12:46]
417*2^702090-1 is not prime.  Res64: D4FEEEC122C51C78  Time : 4971.0 sec.
user=vaughan
[2009-07-01 14:12:55]
565*2^702089-1 is not prime.  Res64: C4E5B88BFE8FBCFB  Time : 5540.0 sec.
user=vaughan
[2009-07-01 14:14:12]
481*2^702089-1 is not prime.  Res64: AC891236FB59DC54  Time : 5689.0 sec.
user=vaughan
[2009-07-01 14:21:19]
489*2^702095-1 is not prime.  Res64: A64E11C263F5E635  Time : 1473.0 sec.
user=vaughan
[2009-07-01 14:22:15]
411*2^702090-1 is not prime.  Res64: 1B5C1105C5CFAA0E  Time : 5546.0 sec.
user=vaughan
[2009-07-01 14:23:35]
589*2^702089-1 is not prime.  Res64: 54C99F4B5B55267B  Time : 5663.0 sec.
user=gd_barnes
[2009-07-01 14:29:21]
493*2^702091-1 is not prime.  Res64: DF5624692A094363  Time : 4966.0 sec.
user=vaughan
[2009-07-01 14:31:41]
447*2^702090-1 is not prime.  Res64: 0D2A7C9E9820F3DA  Time : 5549.0 sec.
user=vaughan
[2009-07-01 14:33:04]
425*2^702090-1 is not prime.  Res64: 26DC7001481B3716  Time : 5639.0 sec.
user=vaughan
[2009-07-01 14:40:58]
405*2^702092-1 is not prime.  Res64: 3E0957D6D76D20C8  Time : 5562.0 sec.
user=vaughan
[2009-07-01 14:42:24]
549*2^702091-1 is not prime.  Res64: D7D2690CDA943A54  Time : 5651.0 sec.
user=gd_barnes
[2009-07-01 14:45:51]
585*2^702092-1 is not prime.  Res64: F63CE513CCC2BAA4  Time : 4967.0 sec.
user=vaughan
[2009-07-01 14:46:26]
441*2^702097-1 is not prime.  Res64: DF9246840454BD51  Time : 1507.0 sec.
user=vaughan
[2009-07-01 14:50:03]
519*2^702092-1 is not prime.  Res64: 28300E86AC4257BB  Time : 5556.0 sec.
user=vaughan
[2009-07-01 14:51:18]
449*2^702092-1 is not prime.  Res64: FCE28422BACD354F  Time : 5632.0 sec.
user=vaughan
[2009-07-01 14:59:07]
427*2^702093-1 is not prime.  Res64: 551E97E8A6ED4C3E  Time : 5545.0 sec.
user=vaughan
[2009-07-01 15:00:36]
439*2^702093-1 is not prime.  Res64: 5239A11C209AED6D  Time : 5621.0 sec.
user=gd_barnes
[2009-07-01 15:02:38]
537*2^702093-1 is not prime.  Res64: 6C21FF13BB92E931  Time : 4978.0 sec.
user=vaughan
[2009-07-01 15:08:33]
495*2^702093-1 is not prime.  Res64: 04B06C4E9B9BE884  Time : 5545.0 sec.
user=vaughan
[2009-07-01 15:10:01]
529*2^702093-1 is not prime.  Res64: 18ED2244D8A7CF3A  Time : 5598.0 sec.
user=vaughan
[2009-07-01 15:10:33]
527*2^702100-1 is not prime.  Res64: F2A5F848A78D7FF3  Time : 1447.0 sec.
user=vaughan
[2009-07-01 15:17:42]
423*2^702094-1 is not prime.  Res64: 8FC9D01F24C10407  Time : 5549.0 sec.
user=gd_barnes
[2009-07-01 15:19:12]
465*2^702095-1 is not prime.  Res64: 646A70C29E3FFA11  Time : 4986.0 sec.
user=vaughan
[2009-07-01 15:19:17]
435*2^702094-1 is not prime.  Res64: D1F9BCCBEE7F12E2  Time : 5603.0 sec.
user=vaughan
[2009-07-01 15:26:36]
447*2^702094-1 is not prime.  Res64: 301FA68C03F71047  Time : 5534.0 sec.
user=vaughan
[2009-07-01 15:28:22]
521*2^702094-1 is not prime.  Res64: 917D6D22C90B6983  Time : 5591.0 sec.
user=vaughan
[2009-07-01 15:34:27]
495*2^702102-1 is not prime.  Res64: 31CFD434B55B2A3F  Time : 1434.0 sec.
user=vaughan
[2009-07-01 15:34:52]
553*2^702095-1 is not prime.  Res64: 891B9F2B4F097E88  Time : 5479.0 sec.
user=gd_barnes
[2009-07-01 15:35:47]
479*2^702096-1 is not prime.  Res64: 13CC3D07643FD999  Time : 4981.0 sec.
user=vaughan
[2009-07-01 15:36:57]
405*2^702096-1 is not prime.  Res64: 9680542FB189532F  Time : 5539.0 sec.
user=vaughan
[2009-07-01 15:44:03]
539*2^702096-1 is not prime.  Res64: 56169B668A33E28D  Time : 5468.0 sec.
user=vaughan
[2009-07-01 15:45:47]
585*2^702096-1 is not prime.  Res64: C1B3226497F59EB8  Time : 5495.0 sec.
user=gd_barnes
[2009-07-01 15:52:20]
417*2^702098-1 is not prime.  Res64: 03B5CC674ABAB6CE  Time : 4980.0 sec.
user=vaughan
[2009-07-01 15:53:18]
447*2^702097-1 is not prime.  Res64: 6BA9E67B5D6490AB  Time : 5463.0 sec.
user=vaughan
[2009-07-01 15:54:57]
469*2^702097-1 is not prime.  Res64: 7DB103C4D770FFC9  Time : 5482.0 sec.
user=vaughan
[2009-07-01 15:59:48]
493*2^702103-1 is not prime.  Res64: E6AE75CCFFC69522  Time : 1521.0 sec.
user=vaughan
[2009-07-01 16:02:30]
515*2^702098-1 is not prime.  Res64: BD17CF80A75017AB  Time : 5450.0 sec.
user=vaughan
[2009-07-01 16:03:51]
411*2^702099-1 is not prime.  Res64: 6CE60F1D712A57CB  Time : 5447.0 sec.
user=gd_barnes
[2009-07-01 16:08:51]
495*2^702100-1 is not prime.  Res64: D3558EA7B75B7AB1  Time : 4980.0 sec.
user=vaughan
[2009-07-01 16:11:08]
501*2^702099-1 is not prime.  Res64: 74CF2BF435B157F6  Time : 5411.0 sec.
user=vaughan
[2009-07-01 16:12:38]
583*2^702099-1 is not prime.  Res64: 96BDE07C06AFC4A8  Time : 5414.0 sec.
user=vaughan
[2009-07-01 16:20:32]
447*2^702101-1 is not prime.  Res64: 435A80A9991E1A7C  Time : 5429.0 sec.
user=vaughan
[2009-07-01 16:22:07]
475*2^702101-1 is not prime.  Res64: 9AF7CADCF601D278  Time : 5449.0 sec.
user=vaughan
[2009-07-01 16:23:51]
453*2^702106-1 is not prime.  Res64: 328CC3470315844A  Time : 1443.0 sec.
user=gd_barnes
[2009-07-01 16:25:32]
561*2^702101-1 is not prime.  Res64: B9672ED27DCADD65  Time : 4974.0 sec.
user=vaughan
[2009-07-01 16:29:50]
517*2^702101-1 is not prime.  Res64: 8853B839BBD86E06  Time : 5443.0 sec.
user=vaughan
[2009-07-01 16:31:31]
529*2^702101-1 is not prime.  Res64: 480DB3C776901253  Time : 5455.0 sec.
user=vaughan
[2009-07-01 16:38:49]
577*2^702101-1 is not prime.  Res64: 0E33DF446C11FAA1  Time : 5416.0 sec.
user=vaughan
[2009-07-01 16:41:15]
447*2^702102-1 is not prime.  Res64: 4BF17F65B4F5F8F8  Time : 5475.0 sec.
user=gd_barnes
[2009-07-01 16:42:05]
585*2^702102-1 is not prime.  Res64: 86B08A229593162E  Time : 4973.0 sec.
user=vaughan
[2009-07-01 16:47:56]
555*2^702102-1 is not prime.  Res64: AFE1D200BEDE9B2C  Time : 5414.0 sec.
user=vaughan
[2009-07-01 16:47:59]
495*2^702107-1 is not prime.  Res64: 43721CAADAC6C37D  Time : 1448.0 sec.
user=vaughan
[2009-07-01 16:50:39]
415*2^702103-1 is not prime.  Res64: 2CB3C2BCB9C7FA3F  Time : 5482.0 sec.
user=vaughan
[2009-07-01 16:57:06]
465*2^702103-1 is not prime.  Res64: 7CE71CDD0D6FF0DB  Time : 5430.0 sec.
user=gd_barnes
[2009-07-01 16:58:42]
495*2^702104-1 is not prime.  Res64: 5E6E242D5D88277A  Time : 4975.0 sec.
user=vaughan
[2009-07-01 17:00:08]
489*2^702103-1 is not prime.  Res64: FD122728D350F9B8  Time : 5506.0 sec.
user=vaughan
[2009-07-01 17:05:30]
523*2^702103-1 is not prime.  Res64: 60871B017A6E45ED  Time : 5439.0 sec.
user=vaughan
[2009-07-01 17:08:57]
557*2^702104-1 is not prime.  Res64: 2803956B60B18EC1  Time : 5521.0 sec.
user=vaughan
[2009-07-01 17:11:01]
499*2^702109-1 is not prime.  Res64: CF2B11B72A9399DC  Time : 1383.0 sec.
user=vaughan
[2009-07-01 17:14:37]
573*2^702104-1 is not prime.  Res64: 0FDECCCDFB5D0748  Time : 5434.0 sec.
user=gd_barnes
[2009-07-01 17:15:17]
447*2^702105-1 is not prime.  Res64: 5201F6C69A7A7AB4  Time : 4978.0 sec.
user=vaughan
[2009-07-01 17:18:07]
587*2^702104-1 is not prime.  Res64: 704A48826E700CA2  Time : 5540.0 sec.
user=vaughan
[2009-07-01 17:24:07]
511*2^702105-1 is not prime.  Res64: 7A68DAA2EE4561EC  Time : 5449.0 sec.
user=vaughan
[2009-07-01 17:27:06]
425*2^702106-1 is not prime.  Res64: A85489DD04135954  Time : 5529.0 sec.
user=gd_barnes
[2009-07-01 17:32:04]
525*2^702106-1 is not prime.  Res64: 0BCDCA9B33F5BD52  Time : 4993.0 sec.
user=vaughan
[2009-07-01 17:33:11]
491*2^702106-1 is not prime.  Res64: 39C89E1AB0852ACA  Time : 5442.0 sec.
user=vaughan
[2009-07-01 17:34:01]
549*2^702111-1 is not prime.  Res64: 643E10EB4538C902  Time : 1381.0 sec.
user=vaughan
[2009-07-01 17:36:07]
513*2^702106-1 is not prime.  Res64: D11330F060920522  Time : 5536.0 sec.
user=vaughan
[2009-07-01 17:41:56]
531*2^702106-1 is not prime.  Res64: 2027B32069608A10  Time : 5448.0 sec.
user=vaughan
[2009-07-01 17:45:02]
561*2^702106-1 is not prime.  Res64: 49F1BAEEACE78DF4  Time : 5545.0 sec.
user=gd_barnes
[2009-07-01 17:48:37]
501*2^702107-1 is not prime.  Res64: E1125549581899BC  Time : 4985.0 sec.
user=vaughan
[2009-07-01 17:50:50]
597*2^702106-1 is not prime.  Res64: 9EC7C88D8CA05B15  Time : 5419.0 sec.
user=vaughan
[2009-07-01 17:54:04]
469*2^702107-1 is not prime.  Res64: 607448DDBA779ECD  Time : 5517.0 sec.
user=vaughan
[2009-07-01 17:56:40]
517*2^702113-1 is not prime.  Res64: 4AA4DD23F3593395  Time : 1359.0 sec.
user=vaughan
[2009-07-01 18:00:01]
543*2^702107-1 is not prime.  Res64: 31F99794175A4DBF  Time : 5411.0 sec.
user=vaughan
[2009-07-01 18:03:06]
585*2^702107-1 is not prime.  Res64: B020B5F5994B1C07  Time : 5496.0 sec.
user=gd_barnes
[2009-07-01 18:05:15]
555*2^702108-1 is not prime.  Res64: 81EBAAADD430EA78  Time : 4990.0 sec.
user=vaughan
[2009-07-01 18:09:18]
479*2^702108-1 is not prime.  Res64: 464B2462D4532DC5  Time : 5429.0 sec.
user=vaughan
[2009-07-01 18:12:36]
527*2^702108-1 is not prime.  Res64: 9828F970CE372A7A  Time : 5481.0 sec.
user=vaughan
[2009-07-01 18:18:27]
569*2^702108-1 is not prime.  Res64: 21E314E16731951A  Time : 5431.0 sec.
user=vaughan
[2009-07-01 18:19:31]
497*2^702114-1 is not prime.  Res64: 7995F9FCB7D7C598  Time : 1371.0 sec.
user=gd_barnes
[2009-07-01 18:21:56]
597*2^702109-1 is not prime.  Res64: 3BA32F17485DE013  Time : 4994.0 sec.
user=vaughan
[2009-07-01 18:22:16]
517*2^702109-1 is not prime.  Res64: 76E4EC715906F57F  Time : 5498.0 sec.
user=vaughan
[2009-07-01 18:27:33]
549*2^702109-1 is not prime.  Res64: FBF30E09B0C143AD  Time : 5427.0 sec.
user=vaughan
[2009-07-01 18:31:58]
563*2^702110-1 is not prime.  Res64: B10B4A406C979C43  Time : 5510.0 sec.
user=vaughan
[2009-07-01 18:36:50]
441*2^702111-1 is not prime.  Res64: 005859A905AC0238  Time : 5480.0 sec.
user=gd_barnes
[2009-07-01 18:38:37]
437*2^702112-1 is not prime.  Res64: D95F3B2C2932DAE0  Time : 5000.0 sec.
user=vaughan
[2009-07-01 18:41:25]
535*2^702111-1 is not prime.  Res64: 8D3733D8CB8C9544  Time : 5548.0 sec.
user=vaughan
[2009-07-01 18:42:19]
493*2^702115-1 is not prime.  Res64: E931EFDCF964B917  Time : 1368.0 sec.
user=vaughan
[2009-07-01 18:45:56]
429*2^702112-1 is not prime.  Res64: D2ACF9191DF6A50A  Time : 5479.0 sec.
user=vaughan
[2009-07-01 18:50:55]
483*2^702112-1 is not prime.  Res64: 80BD8F325CF08F7F  Time : 5568.0 sec.
user=gd_barnes
[2009-07-01 18:55:13]
445*2^702113-1 is not prime.  Res64: F249D5B6EADBA4E2  Time : 4989.0 sec.
user=vaughan
[2009-07-01 18:55:13]
533*2^702112-1 is not prime.  Res64: 55469AAE84295D6B  Time : 5466.0 sec.
user=vaughan
[2009-07-01 19:00:36]
439*2^702113-1 is not prime.  Res64: FE3B107A5C4D8034  Time : 5610.0 sec.
user=vaughan
[2009-07-01 19:04:31]
511*2^702113-1 is not prime.  Res64: 5C25307E127F4498  Time : 5480.0 sec.
user=vaughan
[2009-07-01 19:05:04]
507*2^702117-1 is not prime.  Res64: 6B4ECB11422CD8C1  Time : 1365.0 sec.
user=vaughan
[2009-07-01 19:09:32]
525*2^702113-1 is not prime.  Res64: 8AF6FA825B6140C2  Time : 5605.0 sec.
user=gd_barnes
[2009-07-01 19:11:51]
443*2^702114-1 is not prime.  Res64: 05434EF5801AA626  Time : 4995.0 sec.
user=vaughan
[2009-07-01 19:13:55]
567*2^702113-1 is not prime.  Res64: E6549BB63C6F646F  Time : 5520.0 sec.
user=vaughan
[2009-07-01 19:19:29]
411*2^702114-1 is not prime.  Res64: 087B266230E367C9  Time : 5668.0 sec.
user=vaughan
[2009-07-01 19:23:04]
447*2^702114-1 is not prime.  Res64: 865581D969AEFA42  Time : 5534.0 sec.
user=vaughan
[2009-07-01 19:27:48]
435*2^702119-1 is not prime.  Res64: 54DF356F386E9551  Time : 1365.0 sec.
user=gd_barnes
[2009-07-01 19:28:33]
415*2^702115-1 is not prime.  Res64: 41814FB64D3EC045  Time : 4998.0 sec.
user=vaughan
[2009-07-01 19:29:01]
485*2^702114-1 is not prime.  Res64: E7E7926642D20CC6  Time : 5697.0 sec.
user=vaughan
[2009-07-01 19:32:21]
587*2^702114-1 is not prime.  Res64: ECE8171E0E99D706  Time : 5541.0 sec.
user=vaughan
[2009-07-01 19:38:48]
405*2^702115-1 is not prime.  Res64: 638389AA15E0C60A  Time : 5743.0 sec.
user=vaughan
[2009-07-01 19:41:27]
441*2^702115-1 is not prime.  Res64: B10C08CB7A767ABD  Time : 5529.0 sec.
user=gd_barnes
[2009-07-01 19:45:12]
535*2^702115-1 is not prime.  Res64: 87C10F51D3009A89  Time : 4996.0 sec.
user=vaughan
[2009-07-01 19:48:28]
465*2^702115-1 is not prime.  Res64: 9DF7D8DA36F1BD67  Time : 5752.0 sec.
user=vaughan
[2009-07-01 19:50:27]
531*2^702121-1 is not prime.  Res64: 1F08EE142923D08D  Time : 1359.0 sec.
user=vaughan
[2009-07-01 19:50:39]
469*2^702115-1 is not prime.  Res64: 50F8DEF154CE89F6  Time : 5532.0 sec.
user=vaughan
[2009-07-01 19:57:44]
541*2^702115-1 is not prime.  Res64: 090966E047A2DC53  Time : 5728.0 sec.
user=vaughan
[2009-07-01 19:59:41]
573*2^702115-1 is not prime.  Res64: 1711BAA15071080F  Time : 5528.0 sec.
user=gd_barnes
[2009-07-01 20:01:52]
471*2^702117-1 is not prime.  Res64: 6C50BC580262161A  Time : 4995.0 sec.
user=vaughan
[2009-07-01 20:07:01]
495*2^702116-1 is not prime.  Res64: 54A32925FF9015DB  Time : 5703.0 sec.
user=vaughan
[2009-07-01 20:08:45]
503*2^702116-1 is not prime.  Res64: FB1CD890710F53D2  Time : 5515.0 sec.
user=vaughan
[2009-07-01 20:13:06]
465*2^702125-1 is not prime.  Res64: C9641B459BD03771  Time : 1360.0 sec.
user=vaughan
[2009-07-01 20:15:06]
499*2^702117-1 is not prime.  Res64: FFED3A7BDEEDCE9E  Time : 5621.0 sec.
user=vaughan
[2009-07-01 20:16:34]
529*2^702117-1 is not prime.  Res64: 9AC998F71C0D227F  Time : 5438.0 sec.
user=gd_barnes
[2009-07-01 20:18:27]
555*2^702117-1 is not prime.  Res64: 9D58AB13EC7F49D4  Time : 4994.0 sec.
user=vaughan
[2009-07-01 20:23:28]
537*2^702117-1 is not prime.  Res64: ADBCBEA27377710A  Time : 5553.0 sec.
user=vaughan
[2009-07-01 20:25:06]
467*2^702118-1 is not prime.  Res64: B2A96377F0408CE9  Time : 5393.0 sec.
user=vaughan
[2009-07-01 20:32:36]
591*2^702118-1 is not prime.  Res64: B5DCECF785D32D79  Time : 5520.0 sec.
user=vaughan
[2009-07-01 20:34:03]
411*2^702119-1 is not prime.  Res64: 4E69BF62918C0E99  Time : 5372.0 sec.
user=gd_barnes
[2009-07-01 20:35:01]
527*2^702120-1 is not prime.  Res64: 373EE8855A06D661  Time : 4990.0 sec.
user=vaughan
[2009-07-01 20:35:45]
425*2^702126-1 is not prime.  Res64: 3F19D61B9812973A  Time : 1359.0 sec.
user=vaughan
[2009-07-01 20:41:55]
413*2^702120-1 is not prime.  Res64: 71681724F102AF29  Time : 5543.0 sec.
user=vaughan
[2009-07-01 20:43:09]
543*2^702120-1 is not prime.  Res64: 96473C47CF57A6A8  Time : 5355.0 sec.
user=vaughan
[2009-07-01 20:50:18]
593*2^702120-1 is not prime.  Res64: BB683B7A95830C32  Time : 5449.0 sec.
user=vaughan
[2009-07-01 20:51:26]
465*2^702121-1 is not prime.  Res64: 75418DB635AE510E  Time : 5302.0 sec.
user=gd_barnes
[2009-07-01 20:51:40]
549*2^702121-1 is not prime.  Res64: EEEA064CE91F7126  Time : 4987.0 sec.
user=vaughan
[2009-07-01 20:58:27]
589*2^702127-1 is not prime.  Res64: 792396D4729056B2  Time : 1363.0 sec.
user=vaughan
[2009-07-01 20:58:59]
415*2^702123-1 is not prime.  Res64: 66521F8B0BB0182A  Time : 5398.0 sec.
user=vaughan
[2009-07-01 21:00:11]
439*2^702123-1 is not prime.  Res64: 84D8F9E8037CF733  Time : 5270.0 sec.
user=vaughan
[2009-07-01 21:07:48]
553*2^702123-1 is not prime.  Res64: D9F6470210C296E0  Time : 5340.0 sec.
user=gd_barnes
[2009-07-01 21:08:20]
539*2^702124-1 is not prime.  Res64: 35F7E9A2B6E40006  Time : 4989.0 sec.
user=vaughan
[2009-07-01 21:09:22]
437*2^702124-1 is not prime.  Res64: 7213D37D67EDD788  Time : 5275.0 sec.
user=vaughan
[2009-07-01 21:16:47]
563*2^702124-1 is not prime.  Res64: 0F4DBEEA2A8007C2  Time : 5299.0 sec.
user=vaughan
[2009-07-01 21:18:10]
475*2^702125-1 is not prime.  Res64: 2A428795553FB551  Time : 5252.0 sec.
user=vaughan
[2009-07-01 21:21:09]
571*2^702129-1 is not prime.  Res64: 2566DD465379E9C3  Time : 1362.0 sec.
user=gd_barnes
[2009-07-01 21:24:51]
577*2^702125-1 is not prime.  Res64: F437D4B48250BB79  Time : 4979.0 sec.
user=vaughan
[2009-07-01 21:25:36]
507*2^702125-1 is not prime.  Res64: 1DAB8D15F8668AF3  Time : 5272.0 sec.
user=vaughan
[2009-07-01 21:27:02]
537*2^702125-1 is not prime.  Res64: 8F18E980874C2110  Time : 5242.0 sec.
user=vaughan
[2009-07-01 21:34:50]
579*2^702125-1 is not prime.  Res64: 85D21AC8000027C3  Time : 5270.0 sec.
user=vaughan
[2009-07-01 21:36:00]
589*2^702125-1 is not prime.  Res64: 1D593FD16C4B24CF  Time : 5235.0 sec.
user=gd_barnes
[2009-07-01 21:41:33]
557*2^702126-1 is not prime.  Res64: EDB7A5234830333E  Time : 4986.0 sec.
user=vaughan
[2009-07-01 21:43:53]
411*2^702133-1 is not prime.  Res64: 8845C2F0DABBFB75  Time : 1364.0 sec.
user=vaughan
[2009-07-01 21:44:30]
431*2^702126-1 is not prime.  Res64: 7E945CB5F0786EDC  Time : 5364.0 sec.
user=vaughan
[2009-07-01 21:45:16]
473*2^702126-1 is not prime.  Res64: 41EE6AE98E74719E  Time : 5322.0 sec.
user=vaughan
[2009-07-01 21:54:03]
593*2^702126-1 is not prime.  Res64: ADEC82D18B8C31A5  Time : 5435.0 sec.
user=vaughan
[2009-07-01 21:54:25]
405*2^702127-1 is not prime.  Res64: 93FC482BF44A67E9  Time : 5359.0 sec.
user=gd_barnes
[2009-07-01 21:58:09]
559*2^702127-1 is not prime.  Res64: 671B67818C8E5C7A  Time : 4988.0 sec.
user=vaughan
[2009-07-01 22:02:54]
471*2^702127-1 is not prime.  Res64: 50C6298FCB6FBD15  Time : 5418.0 sec.
user=vaughan
[2009-07-01 22:03:40]
541*2^702127-1 is not prime.  Res64: F03883F783AD7A75  Time : 5377.0 sec.
user=vaughan
[2009-07-01 22:06:27]
555*2^702135-1 is not prime.  Res64: 6C48D306422EBF96  Time : 1354.0 sec.
user=vaughan
[2009-07-01 22:12:08]
435*2^702128-1 is not prime.  Res64: 86EE594E64E63421  Time : 5413.0 sec.
user=vaughan
[2009-07-01 22:12:57]
507*2^702128-1 is not prime.  Res64: BA0CA2E8E212E606  Time : 5389.0 sec.
user=gd_barnes
[2009-07-01 22:14:44]
567*2^702128-1 is not prime.  Res64: 9F5A193FCDFD216E  Time : 4984.0 sec.
user=vaughan
[2009-07-01 22:21:17]
519*2^702128-1 is not prime.  Res64: 122DCE4080DE56A2  Time : 5459.0 sec.
user=vaughan
[2009-07-01 22:22:29]
539*2^702128-1 is not prime.  Res64: 0D3797C7B7433FA7  Time : 5463.0 sec.
user=vaughan
[2009-07-01 22:29:51]
421*2^702137-1 is not prime.  Res64: 8E295A7BBC6376D7  Time : 1404.0 sec.
user=vaughan
[2009-07-01 22:30:50]
579*2^702129-1 is not prime.  Res64: DEC130785EC83D3A  Time : 5511.0 sec.
user=gd_barnes
[2009-07-01 22:31:18]
593*2^702130-1 is not prime.  Res64: 2BB0F9DBEC4572A2  Time : 4979.0 sec.
user=vaughan
[2009-07-01 22:32:06]
471*2^702130-1 is not prime.  Res64: 8F6E4ECFD6C536BF  Time : 5515.0 sec.
user=vaughan
[2009-07-01 22:40:14]
587*2^702130-1 is not prime.  Res64: CA9EC3CABE40DAE9  Time : 5546.0 sec.
user=vaughan
[2009-07-01 22:41:18]
493*2^702131-1 is not prime.  Res64: 1E5E3706B3AD263E  Time : 5516.0 sec.
user=gd_barnes
[2009-07-01 22:47:55]
429*2^702133-1 is not prime.  Res64: 5436CFD7B199B49D  Time : 4984.0 sec.
user=vaughan
[2009-07-01 22:49:02]
479*2^702132-1 is not prime.  Res64: 3ADC1AA87E153ED5  Time : 5535.0 sec.
user=vaughan
[2009-07-01 22:50:27]
537*2^702132-1 is not prime.  Res64: A508A7A2C6A6BF20  Time : 5537.0 sec.
user=vaughan
[2009-07-01 22:53:44]
447*2^702138-1 is not prime.  Res64: 785489C7207C05F6  Time : 1433.0 sec.
user=vaughan
[2009-07-01 22:58:00]
439*2^702133-1 is not prime.  Res64: 05DBF5E401DB56EF  Time : 5544.0 sec.
user=vaughan
[2009-07-01 22:59:15]
477*2^702133-1 is not prime.  Res64: BAA2B048F8337869  Time : 5533.0 sec.
user=gd_barnes
[2009-07-01 23:04:31]
441*2^702135-1 is not prime.  Res64: F692C062806A3F7B  Time : 4978.0 sec.
user=vaughan
[2009-07-01 23:07:26]
549*2^702133-1 is not prime.  Res64: DF0C326167EA4F66  Time : 5557.0 sec.
user=vaughan
[2009-07-01 23:08:37]
407*2^702134-1 is not prime.  Res64: 2517285E575D1414  Time : 5557.0 sec.
user=vaughan
[2009-07-01 23:16:25]
435*2^702136-1 is not prime.  Res64: E85BC64B54B2A682  Time : 5515.0 sec.
user=vaughan
[2009-07-01 23:16:41]
537*2^702140-1 is not prime.  Res64: F8E4688D77A58D47  Time : 1377.0 sec.
user=vaughan
[2009-07-01 23:17:22]
495*2^702136-1 is not prime.  Res64: C9C6D79EFE63D81F  Time : 5526.0 sec.
user=gd_barnes
[2009-07-01 23:21:15]
525*2^702136-1 is not prime.  Res64: BDCAB5DBB2D6D827  Time : 4986.0 sec.
user=vaughan
[2009-07-01 23:25:38]
507*2^702136-1 is not prime.  Res64: F4C3E23F8923B9B7  Time : 5495.0 sec.
user=vaughan
[2009-07-01 23:26:10]
509*2^702136-1 is not prime.  Res64: 89C766262F04A70B  Time : 5505.0 sec.
user=vaughan
[2009-07-01 23:34:32]
539*2^702136-1 is not prime.  Res64: E194DF2CB3F565A3  Time : 5498.0 sec.
user=vaughan
[2009-07-01 23:35:06]
569*2^702136-1 is not prime.  Res64: D6E89F2D47AB3824  Time : 5487.0 sec.
user=gd_barnes
[2009-07-01 23:38:07]
511*2^702137-1 is not prime.  Res64: A9535A55EEBB9E1C  Time : 5003.0 sec.
user=vaughan
[2009-07-01 23:39:22]
491*2^702142-1 is not prime.  Res64: ECD06CD5DF233AF7  Time : 1361.0 sec.
user=vaughan
[2009-07-01 23:43:37]
477*2^702137-1 is not prime.  Res64: E53F94B17817D8EC  Time : 5489.0 sec.
user=vaughan
[2009-07-01 23:43:50]
501*2^702137-1 is not prime.  Res64: 5CEEBF350D153D80  Time : 5453.0 sec.
user=vaughan
[2009-07-01 23:52:07]
571*2^702137-1 is not prime.  Res64: 04E19B3D902BE825  Time : 5450.0 sec.
user=vaughan
[2009-07-01 23:52:34]
401*2^702138-1 is not prime.  Res64: 8D9EDED08BF5655D  Time : 5405.0 sec.
user=gd_barnes
[2009-07-01 23:54:42]
513*2^702138-1 is not prime.  Res64: AE90D562A4FF5097  Time : 5004.0 sec.