user=vaughan
[2009-07-17 00:01:20]
467*2^703568-1 is not prime.  Res64: 18F5753E7B35C9A4  Time : 4578.0 sec.
user=kar_bon
[2009-07-17 00:01:57]
485*2^703572-1 is not prime.  Res64: 5132E48689C959AC  Time : 1533.0 sec.
user=vaughan
[2009-07-17 00:07:12]
509*2^703568-1 is not prime.  Res64: 51291D100CD4CB06  Time : 4544.0 sec.
user=vaughan
[2009-07-17 00:09:00]
535*2^703569-1 is not prime.  Res64: 36E569B33C7257B0  Time : 4578.0 sec.
user=kar_bon
[2009-07-17 00:13:23]
557*2^703572-1 is not prime.  Res64: 13E45F0928037BDE  Time : 1424.0 sec.
user=vaughan
[2009-07-17 00:14:47]
559*2^703569-1 is not prime.  Res64: 098224D36E1D3B13  Time : 4544.0 sec.
user=vaughan
[2009-07-17 00:16:38]
571*2^703569-1 is not prime.  Res64: 83D0D0B5A22D5E8A  Time : 4581.0 sec.
user=vaughan
[2009-07-17 00:22:23]
461*2^703570-1 is not prime.  Res64: 1019995DD7A131A4  Time : 4546.0 sec.
user=vaughan
[2009-07-17 00:24:18]
495*2^703570-1 is not prime.  Res64: 1B8FD17ABEB5F08E  Time : 4584.0 sec.
user=kar_bon
[2009-07-17 00:24:39]
495*2^703573-1 is not prime.  Res64: 96E628DCBAE1393E  Time : 1362.0 sec.
user=vaughan
[2009-07-17 00:29:56]
575*2^703570-1 is not prime.  Res64: 05B97A2C3DE6B371  Time : 4544.0 sec.
user=vaughan
[2009-07-17 00:31:55]
451*2^703571-1 is not prime.  Res64: 4D8B9F4F5E6168C4  Time : 4583.0 sec.
user=kar_bon
[2009-07-17 00:35:52]
477*2^703574-1 is not prime.  Res64: 83C84278F4F33EF5  Time : 1350.0 sec.
user=vaughan
[2009-07-17 00:37:31]
493*2^703571-1 is not prime.  Res64: F395A8306E1A655C  Time : 4545.0 sec.
user=vaughan
[2009-07-17 00:39:34]
549*2^703571-1 is not prime.  Res64: 59F41F89B030284F  Time : 4585.0 sec.
user=vaughan
[2009-07-17 00:45:04]
419*2^703572-1 is not prime.  Res64: F94F7ACCEB72603E  Time : 4543.0 sec.
user=kar_bon
[2009-07-17 00:47:05]
513*2^703575-1 is not prime.  Res64: 789292C90F965B9B  Time : 1346.0 sec.
user=vaughan
[2009-07-17 00:47:12]
423*2^703572-1 is not prime.  Res64: 26D09A3687778947  Time : 4584.0 sec.
user=vaughan
[2009-07-17 00:52:40]
489*2^703572-1 is not prime.  Res64: FAD96BA2604B4EC7  Time : 4544.0 sec.
user=vaughan
[2009-07-17 00:54:55]
503*2^703572-1 is not prime.  Res64: B6086EC84A20AB82  Time : 4591.0 sec.
user=kar_bon
[2009-07-17 00:58:15]
453*2^703576-1 is not prime.  Res64: 5741496B282BF7AC  Time : 1343.0 sec.
user=vaughan
[2009-07-17 01:00:14]
513*2^703572-1 is not prime.  Res64: 093CD0BF3D3FE37A  Time : 4544.0 sec.
user=vaughan
[2009-07-17 01:02:34]
555*2^703572-1 is not prime.  Res64: F2B67EF113B46739  Time : 4591.0 sec.
user=vaughan
[2009-07-17 01:07:47]
409*2^703573-1 is not prime.  Res64: 1EB2ED2FCC85EEA0  Time : 4544.0 sec.
user=kar_bon
[2009-07-17 01:09:28]
567*2^703577-1 is not prime.  Res64: 74EB24E262AC4BB3  Time : 1343.0 sec.
user=vaughan
[2009-07-17 01:10:13]
421*2^703573-1 is not prime.  Res64: 9BA87775D77B9219  Time : 4592.0 sec.
user=vaughan
[2009-07-17 01:15:22]
439*2^703573-1 is not prime.  Res64: E2B2F4D6C4FD03F9  Time : 4544.0 sec.
user=vaughan
[2009-07-17 01:17:53]
451*2^703573-1 is not prime.  Res64: 51436DE22D1532A4  Time : 4593.0 sec.
user=kar_bon
[2009-07-17 01:20:40]
527*2^703578-1 is not prime.  Res64: 67660DC4AAF07C00  Time : 1345.0 sec.
user=vaughan
[2009-07-17 01:22:57]
559*2^703573-1 is not prime.  Res64: 36CBDB998FA9EF1C  Time : 4545.0 sec.
user=vaughan
[2009-07-17 01:25:31]
407*2^703574-1 is not prime.  Res64: A942906BD2B8544F  Time : 4592.0 sec.
user=vaughan
[2009-07-17 01:30:31]
503*2^703574-1 is not prime.  Res64: 1276F33BC0FBC4DB  Time : 4545.0 sec.
user=kar_bon
[2009-07-17 01:31:52]
531*2^703579-1 is not prime.  Res64: 5F33B363D681C46C  Time : 1344.0 sec.
user=vaughan
[2009-07-17 01:33:10]
563*2^703574-1 is not prime.  Res64: 878127C02CB861FC  Time : 4592.0 sec.
user=vaughan
[2009-07-17 01:38:05]
405*2^703575-1 is not prime.  Res64: 38B2EF8EC6EA6512  Time : 4542.0 sec.
user=vaughan
[2009-07-17 01:40:49]
409*2^703575-1 is not prime.  Res64: 764D759CF4E9AEA9  Time : 4591.0 sec.
user=kar_bon
[2009-07-17 01:43:04]
511*2^703581-1 is not prime.  Res64: 4C317AE35C57D5FF  Time : 1344.0 sec.
user=vaughan
[2009-07-17 01:45:40]
591*2^703575-1 is not prime.  Res64: 3CBFDDF0D479F080  Time : 4544.0 sec.
user=vaughan
[2009-07-17 01:48:25]
413*2^703576-1 is not prime.  Res64: BBE4263CA511E106  Time : 4591.0 sec.
user=vaughan
[2009-07-17 01:53:14]
563*2^703576-1 is not prime.  Res64: F1627469AF4A9E33  Time : 4543.0 sec.
user=kar_bon
[2009-07-17 01:54:17]
423*2^703582-1 is not prime.  Res64: E55FC5CA41B1CDF0  Time : 1346.0 sec.
user=vaughan
[2009-07-17 01:56:03]
587*2^703576-1 is not prime.  Res64: 7D609447AA67C929  Time : 4589.0 sec.
user=vaughan
[2009-07-17 02:00:49]
529*2^703577-1 is not prime.  Res64: 8D0A372064ABB2D0  Time : 4545.0 sec.
user=vaughan
[2009-07-17 02:03:43]
443*2^703578-1 is not prime.  Res64: 768B0324A19DA726  Time : 4591.0 sec.
user=kar_bon
[2009-07-17 02:05:30]
545*2^703582-1 is not prime.  Res64: CB67EEC16DFAF642  Time : 1346.0 sec.
user=vaughan
[2009-07-17 02:08:23]
473*2^703578-1 is not prime.  Res64: 3D210C35600FA7D6  Time : 4543.0 sec.
user=vaughan
[2009-07-17 02:11:26]
495*2^703578-1 is not prime.  Res64: 9C23F65BC20C6034  Time : 4591.0 sec.
user=vaughan
[2009-07-17 02:15:57]
555*2^703578-1 is not prime.  Res64: C8467B597FD63BD6  Time : 4543.0 sec.
user=kar_bon
[2009-07-17 02:16:45]
425*2^703584-1 is not prime.  Res64: 71E1F1611686B653  Time : 1348.0 sec.
user=vaughan
[2009-07-17 02:19:07]
563*2^703578-1 is not prime.  Res64: FB5EBCF7F4169E49  Time : 4593.0 sec.
user=vaughan
[2009-07-17 02:23:31]
523*2^703579-1 is not prime.  Res64: 5273F4C4562010D5  Time : 4544.0 sec.
user=vaughan
[2009-07-17 02:26:49]
417*2^703580-1 is not prime.  Res64: 5D51C5D44F2B5AE3  Time : 4596.0 sec.
user=kar_bon
[2009-07-17 02:27:56]
415*2^703585-1 is not prime.  Res64: 5FAAB98A24DC3611  Time : 1346.0 sec.
user=vaughan
[2009-07-17 02:31:04]
425*2^703580-1 is not prime.  Res64: 742ACE56726FC957  Time : 4543.0 sec.
user=vaughan
[2009-07-17 02:34:29]
459*2^703581-1 is not prime.  Res64: 7E5C739B24F1CF39  Time : 4597.0 sec.
user=vaughan
[2009-07-17 02:38:52]
517*2^703581-1 is not prime.  Res64: F585F97FC36BFA74  Time : 4555.0 sec.
user=kar_bon
[2009-07-17 02:39:08]
433*2^703587-1 is not prime.  Res64: 91C80D8C6A9245F5  Time : 1344.0 sec.
user=vaughan
[2009-07-17 02:42:44]
565*2^703581-1 is not prime.  Res64: 62AF0946FA74B9B2  Time : 4634.0 sec.
user=vaughan
[2009-07-17 02:46:35]
579*2^703581-1 is not prime.  Res64: 3EABA6825283B375  Time : 4564.0 sec.
user=kar_bon
[2009-07-17 02:50:19]
449*2^703588-1 is not prime.  Res64: 26A77FC5D25DB2E6  Time : 1343.0 sec.
user=vaughan
[2009-07-17 02:50:24]
467*2^703582-1 is not prime.  Res64: 2CB5E29392FBBAE2  Time : 4635.0 sec.
user=vaughan
[2009-07-17 02:54:13]
471*2^703582-1 is not prime.  Res64: 7CDBD957C580E611  Time : 4568.0 sec.
user=vaughan
[2009-07-17 02:58:04]
533*2^703582-1 is not prime.  Res64: 82F9D59996EB9FF2  Time : 4635.0 sec.
user=kar_bon
[2009-07-17 03:01:31]
527*2^703588-1 is not prime.  Res64: 959C7978D4D56AC7  Time : 1343.0 sec.
user=vaughan
[2009-07-17 03:01:44]
441*2^703583-1 is not prime.  Res64: 39FCC094D6930CC8  Time : 4564.0 sec.
user=vaughan
[2009-07-17 03:05:43]
453*2^703583-1 is not prime.  Res64: 2F4B8B51A87B38E9  Time : 4638.0 sec.
user=vaughan
[2009-07-17 03:09:18]
585*2^703583-1 is not prime.  Res64: F3B2EBF835A95039  Time : 4564.0 sec.
user=kar_bon
[2009-07-17 03:12:43]
481*2^703589-1 is not prime.  Res64: 8866BD8386F748EE  Time : 1344.0 sec.
user=vaughan
[2009-07-17 03:13:24]
455*2^703584-1 is not prime.  Res64: 98B26113ED8232AB  Time : 4641.0 sec.
user=vaughan
[2009-07-17 03:16:51]
503*2^703584-1 is not prime.  Res64: F8F106DEE44EBFE9  Time : 4562.0 sec.
user=vaughan
[2009-07-17 03:18:38]
531*2^703591-1 is not prime.  Res64: 6211CB12884A92EE  Time : 1231.0 sec.
user=vaughan
[2009-07-17 03:19:56]
549*2^703591-1 is not prime.  Res64: A8465DB1D9B891BD  Time : 1309.0 sec.
user=vaughan
[2009-07-17 03:19:58]
501*2^703590-1 is not prime.  Res64: A56E0F989922C17A  Time : 1311.0 sec.
user=vaughan
[2009-07-17 03:20:45]
483*2^703591-1 is not prime.  Res64: DE26CDFC86BDD97A  Time : 1358.0 sec.
user=vaughan
[2009-07-17 03:21:02]
525*2^703584-1 is not prime.  Res64: 2B7848ABE6177667  Time : 4639.0 sec.
user=kar_bon
[2009-07-17 03:23:55]
489*2^703592-1 is not prime.  Res64: 086EF24D8767E34A  Time : 1344.0 sec.
user=vaughan
[2009-07-17 03:24:25]
457*2^703585-1 is not prime.  Res64: 7D447C941CAA2FBA  Time : 4562.0 sec.
user=vaughan
[2009-07-17 03:28:42]
501*2^703586-1 is not prime.  Res64: 18BBDF6E034F79DB  Time : 4636.0 sec.
user=vaughan
[2009-07-17 03:32:00]
525*2^703586-1 is not prime.  Res64: 71971E70ACBB6C5D  Time : 4563.0 sec.
user=kar_bon
[2009-07-17 03:35:06]
495*2^703593-1 is not prime.  Res64: 3DD84AC0261D9571  Time : 1343.0 sec.
user=vaughan
[2009-07-17 03:36:19]
439*2^703587-1 is not prime.  Res64: FEAD2FB79AF7B3F6  Time : 4632.0 sec.
user=vaughan
[2009-07-17 03:39:34]
565*2^703587-1 is not prime.  Res64: 18A46EB1C8FAA294  Time : 4563.0 sec.
user=vaughan
[2009-07-17 03:43:58]
571*2^703587-1 is not prime.  Res64: B47AB6A510BCFD64  Time : 4629.0 sec.
user=vaughan
[2009-07-17 03:47:08]
483*2^703588-1 is not prime.  Res64: C924DB5A00B4FC57  Time : 4564.0 sec.
user=vaughan
[2009-07-17 03:51:39]
489*2^703588-1 is not prime.  Res64: CC57C559186FFE04  Time : 4630.0 sec.
user=vaughan
[2009-07-17 03:54:42]
495*2^703588-1 is not prime.  Res64: 8E1744110A2CBCD7  Time : 4551.0 sec.
user=vaughan
[2009-07-17 03:59:19]
537*2^703588-1 is not prime.  Res64: 5B15B42E4495646C  Time : 4595.0 sec.
user=vaughan
[2009-07-17 04:02:16]
441*2^703589-1 is not prime.  Res64: F361A446FA56527B  Time : 4541.0 sec.
user=vaughan
[2009-07-17 04:06:58]
589*2^703589-1 is not prime.  Res64: ED942D4D622B6991  Time : 4594.0 sec.
user=vaughan
[2009-07-17 04:09:51]
437*2^703590-1 is not prime.  Res64: 395FB22FF5153684  Time : 4539.0 sec.
user=vaughan
[2009-07-17 04:14:38]
495*2^703590-1 is not prime.  Res64: 162052D1CEBE0752  Time : 4594.0 sec.
user=kar_bon
[2009-07-17 04:15:12]
571*2^703593-1 is not prime.  Res64: BB9C435D727D417A  Time : 3078.0 sec.
user=vaughan
[2009-07-17 04:17:25]
533*2^703592-1 is not prime.  Res64: 8D4913D39BCA5BF0  Time : 4541.0 sec.
user=vaughan
[2009-07-17 04:22:18]
557*2^703592-1 is not prime.  Res64: D5604A11F882EFBF  Time : 4595.0 sec.
user=vaughan
[2009-07-17 04:24:58]
441*2^703593-1 is not prime.  Res64: 53D0A37EBA58C22C  Time : 4540.0 sec.
user=vaughan
[2009-07-17 04:29:57]
511*2^703593-1 is not prime.  Res64: D4AD8C6CB3EB6770  Time : 4594.0 sec.
user=kar_bon
[2009-07-17 04:31:15]
495*2^703595-1 is not prime.  Res64: 3F5F7D3CE01C1994  Time : 3369.0 sec.
user=vaughan
[2009-07-17 04:32:33]
525*2^703593-1 is not prime.  Res64: F75A18DFF85444A8  Time : 4542.0 sec.
user=vaughan
[2009-07-17 04:37:37]
537*2^703593-1 is not prime.  Res64: 493962055050DA03  Time : 4595.0 sec.
user=vaughan
[2009-07-17 04:40:08]
567*2^703594-1 is not prime.  Res64: 26195FFDAF61C986  Time : 4543.0 sec.
user=kar_bon
[2009-07-17 04:42:30]
589*2^703597-1 is not prime.  Res64: 878461B8B520D3A7  Time : 1638.0 sec.
user=vaughan
[2009-07-17 04:45:16]
459*2^703595-1 is not prime.  Res64: 9CE39BE8F0BEDE3F  Time : 4594.0 sec.
user=vaughan
[2009-07-17 04:47:41]
469*2^703595-1 is not prime.  Res64: 2B6A17D5D3AAC2A3  Time : 4542.0 sec.
user=vaughan
[2009-07-17 04:52:56]
511*2^703595-1 is not prime.  Res64: 4DF7F3039679155B  Time : 4597.0 sec.
user=kar_bon
[2009-07-17 04:53:48]
447*2^703600-1 is not prime.  Res64: 23004A0147E0D110  Time : 1353.0 sec.
user=vaughan
[2009-07-17 04:55:15]
553*2^703595-1 is not prime.  Res64: 3F3B3C883F8B55E9  Time : 4542.0 sec.
user=vaughan
[2009-07-17 05:00:35]
579*2^703595-1 is not prime.  Res64: B52581625D9190C1  Time : 4597.0 sec.
user=vaughan
[2009-07-17 05:02:49]
405*2^703596-1 is not prime.  Res64: E098D5A7BD1A2452  Time : 4542.0 sec.
user=kar_bon
[2009-07-17 05:05:05]
549*2^703600-1 is not prime.  Res64: CD799D531FC2BB77  Time : 1355.0 sec.
user=vaughan
[2009-07-17 05:08:14]
459*2^703596-1 is not prime.  Res64: CF8E5F237DDAB07B  Time : 4595.0 sec.
user=vaughan
[2009-07-17 05:10:23]
557*2^703596-1 is not prime.  Res64: 7393F043B2CA0397  Time : 4541.0 sec.
user=vaughan
[2009-07-17 05:15:53]
585*2^703596-1 is not prime.  Res64: B221EB08842BDEA1  Time : 4594.0 sec.
user=kar_bon
[2009-07-17 05:16:18]
513*2^703602-1 is not prime.  Res64: E3476DF8834A4AE3  Time : 1351.0 sec.
user=vaughan
[2009-07-17 05:17:57]
587*2^703596-1 is not prime.  Res64: 156CD77B8C1DD186  Time : 4541.0 sec.
user=vaughan
[2009-07-17 05:23:32]
451*2^703597-1 is not prime.  Res64: FFE149F8AF2F9D2C  Time : 4594.0 sec.
user=vaughan
[2009-07-17 05:25:31]
465*2^703597-1 is not prime.  Res64: 3A9C72AB33E7E5C8  Time : 4540.0 sec.
user=kar_bon
[2009-07-17 05:27:29]
489*2^703604-1 is not prime.  Res64: 8E2F3C6972E189C7  Time : 1344.0 sec.
user=vaughan
[2009-07-17 05:31:12]
511*2^703597-1 is not prime.  Res64: 0BB3A1BB6781DFDE  Time : 4594.0 sec.
user=vaughan
[2009-07-17 05:33:05]
551*2^703598-1 is not prime.  Res64: DCF85F7C7E20608D  Time : 4540.0 sec.
user=kar_bon
[2009-07-17 05:38:42]
475*2^703605-1 is not prime.  Res64: B976125D6E404503  Time : 1344.0 sec.
user=vaughan
[2009-07-17 05:38:53]
523*2^703599-1 is not prime.  Res64: B837AAA7793DCA3E  Time : 4595.0 sec.
user=vaughan
[2009-07-17 05:40:39]
573*2^703599-1 is not prime.  Res64: 3BC4F2DF3E482820  Time : 4541.0 sec.
user=vaughan
[2009-07-17 05:46:33]
437*2^703600-1 is not prime.  Res64: 89BE7417909BCB28  Time : 4596.0 sec.
user=vaughan
[2009-07-17 05:48:13]
465*2^703600-1 is not prime.  Res64: 292F54549DE51068  Time : 4541.0 sec.
user=kar_bon
[2009-07-17 05:49:54]
441*2^703607-1 is not prime.  Res64: 01D5EEEED5C96775  Time : 1345.0 sec.
user=vaughan
[2009-07-17 05:54:12]
489*2^703600-1 is not prime.  Res64: 5F1432F7AD472ECD  Time : 4595.0 sec.
user=vaughan
[2009-07-17 05:55:49]
537*2^703600-1 is not prime.  Res64: 22783699D087425C  Time : 4542.0 sec.
user=kar_bon
[2009-07-17 06:01:06]
589*2^703607-1 is not prime.  Res64: 85986E8D51B379E9  Time : 1345.0 sec.
user=vaughan
[2009-07-17 06:01:52]
569*2^703600-1 is not prime.  Res64: BE0504FA442D7070  Time : 4596.0 sec.
user=vaughan
[2009-07-17 06:03:23]
475*2^703601-1 is not prime.  Res64: E34E2612B60A7B0D  Time : 4542.0 sec.
user=vaughan
[2009-07-17 06:09:30]
437*2^703602-1 is not prime.  Res64: F6E1C05335B084F0  Time : 4594.0 sec.
user=vaughan
[2009-07-17 06:10:58]
543*2^703602-1 is not prime.  Res64: BFFE88BD7908D44D  Time : 4543.0 sec.
user=kar_bon
[2009-07-17 06:12:19]
515*2^703608-1 is not prime.  Res64: F709997A8889109E  Time : 1345.0 sec.
user=vaughan
[2009-07-17 06:17:11]
411*2^703603-1 is not prime.  Res64: 931D9E29D2FA4A0A  Time : 4596.0 sec.
user=vaughan
[2009-07-17 06:18:32]
451*2^703603-1 is not prime.  Res64: 033202C2C973049E  Time : 4543.0 sec.
user=kar_bon
[2009-07-17 06:23:31]
505*2^703609-1 is not prime.  Res64: C2FDA027D894AD89  Time : 1345.0 sec.
user=vaughan
[2009-07-17 06:24:52]
533*2^703604-1 is not prime.  Res64: 6C68F205CDBE1A97  Time : 4598.0 sec.
user=vaughan
[2009-07-17 06:26:07]
409*2^703605-1 is not prime.  Res64: 93479028734C729E  Time : 4544.0 sec.
user=vaughan
[2009-07-17 06:32:32]
441*2^703605-1 is not prime.  Res64: F77CB466117A7C51  Time : 4599.0 sec.
user=vaughan
[2009-07-17 06:33:42]
483*2^703606-1 is not prime.  Res64: BD27918E83D0C567  Time : 4545.0 sec.
user=kar_bon
[2009-07-17 06:34:43]
525*2^703610-1 is not prime.  Res64: C140199439CE89D7  Time : 1345.0 sec.
user=vaughan
[2009-07-17 06:40:11]
525*2^703606-1 is not prime.  Res64: 9A9B3BE6F443D0EC  Time : 4599.0 sec.
user=vaughan
[2009-07-17 06:41:15]
551*2^703606-1 is not prime.  Res64: 64D06E7B3E9961AD  Time : 4544.0 sec.
user=kar_bon
[2009-07-17 06:45:55]
595*2^703611-1 is not prime.  Res64: 333118B7FD436172  Time : 1344.0 sec.
user=vaughan
[2009-07-17 06:47:50]
501*2^703607-1 is not prime.  Res64: 2F927BDDF4086429  Time : 4598.0 sec.
user=vaughan
[2009-07-17 06:48:50]
531*2^703607-1 is not prime.  Res64: ECB074DC6E5515BD  Time : 4545.0 sec.
user=vaughan
[2009-07-17 06:55:30]
595*2^703607-1 is not prime.  Res64: 94817777766D012E  Time : 4598.0 sec.
user=vaughan
[2009-07-17 06:56:25]
465*2^703608-1 is not prime.  Res64: 45C075C403ABE630  Time : 4546.0 sec.
user=kar_bon
[2009-07-17 06:57:08]
477*2^703613-1 is not prime.  Res64: BC6CBC8B24764D2C  Time : 1345.0 sec.
user=vaughan
[2009-07-17 07:03:10]
479*2^703608-1 is not prime.  Res64: 3CC942BEF8EF791E  Time : 4597.0 sec.
user=vaughan
[2009-07-17 07:04:00]
503*2^703608-1 is not prime.  Res64: E34BB50EC50DA1F2  Time : 4547.0 sec.
user=kar_bon
[2009-07-17 07:09:01]
517*2^703613-1 is not prime.  Res64: 33E3712A0506E118  Time : 1386.0 sec.
user=vaughan
[2009-07-17 07:10:49]
525*2^703608-1 is not prime.  Res64: C5B963A8DC5DECC0  Time : 4597.0 sec.
user=vaughan
[2009-07-17 07:11:34]
429*2^703609-1 is not prime.  Res64: 39ADDFE51CFC05FA  Time : 4545.0 sec.
user=vaughan
[2009-07-17 07:18:28]
535*2^703609-1 is not prime.  Res64: 393BA15AA3AEB1A6  Time : 4596.0 sec.
user=vaughan
[2009-07-17 07:19:09]
555*2^703609-1 is not prime.  Res64: FFBDB56F4D40F56F  Time : 4546.0 sec.
user=kar_bon
[2009-07-17 07:20:50]
437*2^703614-1 is not prime.  Res64: 7CA448F9F0545AA1  Time : 1423.0 sec.
user=vaughan
[2009-07-17 07:26:08]
411*2^703610-1 is not prime.  Res64: DFA21678B17F2F9E  Time : 4598.0 sec.
user=vaughan
[2009-07-17 07:26:43]
521*2^703610-1 is not prime.  Res64: F8848C8BE176FACB  Time : 4545.0 sec.
user=kar_bon
[2009-07-17 07:32:20]
567*2^703614-1 is not prime.  Res64: 5FE8AF0AF51F4BC0  Time : 1399.0 sec.
user=vaughan
[2009-07-17 07:33:47]
469*2^703611-1 is not prime.  Res64: FD628C1EE1FDB298  Time : 4596.0 sec.
user=vaughan
[2009-07-17 07:34:17]
513*2^703611-1 is not prime.  Res64: 4A3168C237563D5C  Time : 4545.0 sec.
user=vaughan
[2009-07-17 07:41:25]
419*2^703612-1 is not prime.  Res64: BEFA8CE24AD02E2A  Time : 4593.0 sec.
user=vaughan
[2009-07-17 07:41:52]
423*2^703612-1 is not prime.  Res64: 00507039326D7D5D  Time : 4545.0 sec.
user=kar_bon
[2009-07-17 07:43:36]
525*2^703615-1 is not prime.  Res64: 93AE26EC7C96F09B  Time : 1366.0 sec.
user=vaughan
[2009-07-17 07:49:05]
447*2^703612-1 is not prime.  Res64: 76E1B315E6E3DF9F  Time : 4593.0 sec.
user=vaughan
[2009-07-17 07:49:27]
465*2^703613-1 is not prime.  Res64: A36524E4A4D88010  Time : 4545.0 sec.
user=kar_bon
[2009-07-17 07:54:48]
447*2^703616-1 is not prime.  Res64: 703EDD4B5214CF0A  Time : 1348.0 sec.
user=vaughan
[2009-07-17 07:56:45]
481*2^703613-1 is not prime.  Res64: A8BD7D1C6BD83C47  Time : 4594.0 sec.
user=vaughan
[2009-07-17 07:57:02]
507*2^703613-1 is not prime.  Res64: 801A1A2972EAAA4D  Time : 4547.0 sec.
user=vaughan
[2009-07-17 08:04:24]
519*2^703613-1 is not prime.  Res64: 469B40D4AA871C58  Time : 4594.0 sec.
user=vaughan
[2009-07-17 08:04:36]
529*2^703613-1 is not prime.  Res64: EF39BDCF6EA37B1F  Time : 4546.0 sec.
user=kar_bon
[2009-07-17 08:06:00]
585*2^703617-1 is not prime.  Res64: CFDDC148E7AF70D6  Time : 1345.0 sec.
user=vaughan
[2009-07-17 08:12:03]
559*2^703613-1 is not prime.  Res64: C096986900851340  Time : 4593.0 sec.
user=vaughan
[2009-07-17 08:12:11]
401*2^703614-1 is not prime.  Res64: D50FA3858B8EA2F7  Time : 4547.0 sec.
user=kar_bon
[2009-07-17 08:17:13]
507*2^703618-1 is not prime.  Res64: 29B52670FDAC2F97  Time : 1346.0 sec.
user=vaughan
[2009-07-17 08:19:42]
513*2^703614-1 is not prime.  Res64: A27A2E98A2F3EF19  Time : 4592.0 sec.
user=vaughan
[2009-07-17 08:19:46]
551*2^703614-1 is not prime.  Res64: 3DB136D9848BDCC2  Time : 4546.0 sec.
user=vaughan
[2009-07-17 08:27:20]
453*2^703615-1 is not prime.  Res64: 11554652BB73C198  Time : 4546.0 sec.
user=vaughan
[2009-07-17 08:27:23]
411*2^703615-1 is not prime.  Res64: 14470C5C035BC449  Time : 4594.0 sec.
user=kar_bon
[2009-07-17 08:28:33]
589*2^703619-1 is not prime.  Res64: DAE7B61994DC2B85  Time : 1353.0 sec.
user=vaughan
[2009-07-17 08:34:54]
499*2^703615-1 is not prime.  Res64: 5C9FD01EE65A23CE  Time : 4545.0 sec.
user=vaughan
[2009-07-17 08:35:02]
493*2^703615-1 is not prime.  Res64: 184E79937CB354CC  Time : 4594.0 sec.
user=kar_bon
[2009-07-17 08:39:46]
525*2^703620-1 is not prime.  Res64: 4031A8F0707771D4  Time : 1354.0 sec.
user=vaughan
[2009-07-17 08:42:28]
437*2^703616-1 is not prime.  Res64: BF3824C16D2A986A  Time : 4545.0 sec.
user=vaughan
[2009-07-17 08:42:42]
579*2^703615-1 is not prime.  Res64: 8A79BBF474909C34  Time : 4594.0 sec.
user=vaughan
[2009-07-17 08:50:03]
573*2^703616-1 is not prime.  Res64: CB26AB2743C9E0A5  Time : 4546.0 sec.
user=vaughan
[2009-07-17 08:50:23]
479*2^703616-1 is not prime.  Res64: 7DDAE81CE7192CD3  Time : 4596.0 sec.
user=kar_bon
[2009-07-17 08:51:02]
455*2^703622-1 is not prime.  Res64: CEE17C1402D6B8B8  Time : 1349.0 sec.
user=vaughan
[2009-07-17 08:57:37]
511*2^703617-1 is not prime.  Res64: A012527BA20A4CD3  Time : 4545.0 sec.
user=vaughan
[2009-07-17 08:58:04]
585*2^703616-1 is not prime.  Res64: EAB9BC75EF0F3DA2  Time : 4599.0 sec.
user=kar_bon
[2009-07-17 09:02:20]
557*2^703622-1 is not prime.  Res64: C529D9C3DEEF5A49  Time : 1354.0 sec.
user=vaughan
[2009-07-17 09:05:13]
467*2^703618-1 is not prime.  Res64: 799C9B0E18CA66E8  Time : 4546.0 sec.
user=vaughan
[2009-07-17 09:05:43]
413*2^703618-1 is not prime.  Res64: 2F9AB4967F54E5B6  Time : 4598.0 sec.
user=vaughan
[2009-07-17 09:12:48]
495*2^703619-1 is not prime.  Res64: 70040C6DD4BF5137  Time : 4546.0 sec.
user=vaughan
[2009-07-17 09:13:22]
459*2^703619-1 is not prime.  Res64: 768C14A146C891DB  Time : 4598.0 sec.
user=kar_bon
[2009-07-17 09:13:38]
555*2^703623-1 is not prime.  Res64: 17CB54202E9E0CAB  Time : 1357.0 sec.
user=vaughan
[2009-07-17 09:20:23]
531*2^703619-1 is not prime.  Res64: F934E2E63C86D723  Time : 4547.0 sec.
user=vaughan
[2009-07-17 09:21:01]
501*2^703619-1 is not prime.  Res64: AD56C1CAC1843451  Time : 4598.0 sec.
user=kar_bon
[2009-07-17 09:24:57]
407*2^703624-1 is not prime.  Res64: 386E574670201AA4  Time : 1357.0 sec.
user=vaughan
[2009-07-17 09:27:58]
465*2^703620-1 is not prime.  Res64: E5E2A47368C3528C  Time : 4548.0 sec.
user=vaughan
[2009-07-17 09:28:41]
425*2^703620-1 is not prime.  Res64: EA230FBDACAA7169  Time : 4599.0 sec.
user=vaughan
[2009-07-17 09:35:33]
517*2^703621-1 is not prime.  Res64: 26E1E78760BEDF1F  Time : 4547.0 sec.
user=kar_bon
[2009-07-17 09:36:14]
575*2^703624-1 is not prime.  Res64: 64FD96805E2710D5  Time : 1356.0 sec.
user=vaughan
[2009-07-17 09:36:21]
471*2^703621-1 is not prime.  Res64: 550BE4799D3C29E7  Time : 4599.0 sec.
user=vaughan
[2009-07-17 09:43:10]
549*2^703621-1 is not prime.  Res64: 90759197CDF01483  Time : 4550.0 sec.
user=vaughan
[2009-07-17 09:44:00]
555*2^703621-1 is not prime.  Res64: BE4A1CEEE8AFFC06  Time : 4597.0 sec.
user=kar_bon
[2009-07-17 09:47:31]
567*2^703625-1 is not prime.  Res64: 4211031984FB3525  Time : 1355.0 sec.
user=vaughan
[2009-07-17 09:50:45]
467*2^703622-1 is not prime.  Res64: 1DD5A6C278C7CDA7  Time : 4551.0 sec.
user=vaughan
[2009-07-17 09:51:41]
551*2^703622-1 is not prime.  Res64: A0F8C361418DD777  Time : 4599.0 sec.
user=vaughan
[2009-07-17 09:58:19]
433*2^703623-1 is not prime.  Res64: 06834677C861EA34  Time : 4551.0 sec.
user=kar_bon
[2009-07-17 09:58:49]
465*2^703626-1 is not prime.  Res64: 6313D3A36A2A7A5D  Time : 1355.0 sec.
user=vaughan
[2009-07-17 09:59:21]
439*2^703623-1 is not prime.  Res64: A57919997F6C20F1  Time : 4599.0 sec.
user=vaughan
[2009-07-17 10:05:53]
501*2^703623-1 is not prime.  Res64: C6E3428D8920C353  Time : 4550.0 sec.
user=vaughan
[2009-07-17 10:07:01]
553*2^703623-1 is not prime.  Res64: 38992981BEF7FD85  Time : 4598.0 sec.
user=kar_bon
[2009-07-17 10:10:04]
593*2^703626-1 is not prime.  Res64: B29AAA2BF61A038B  Time : 1353.0 sec.
user=vaughan
[2009-07-17 10:13:28]
559*2^703623-1 is not prime.  Res64: D5EF3FFCE1991B92  Time : 4551.0 sec.
user=vaughan
[2009-07-17 10:14:42]
585*2^703623-1 is not prime.  Res64: FA49A952EE53CAA8  Time : 4599.0 sec.
user=vaughan
[2009-07-17 10:21:02]
419*2^703624-1 is not prime.  Res64: B48A0BA95BF0F1C4  Time : 4549.0 sec.
user=kar_bon
[2009-07-17 10:21:18]
489*2^703627-1 is not prime.  Res64: 2A99815602941960  Time : 1349.0 sec.
user=vaughan
[2009-07-17 10:22:21]
437*2^703624-1 is not prime.  Res64: C03BD1D8C723D4C5  Time : 4598.0 sec.
user=vaughan
[2009-07-17 10:28:37]
453*2^703624-1 is not prime.  Res64: AD466C5B8182837E  Time : 4549.0 sec.
user=vaughan
[2009-07-17 10:30:00]
483*2^703624-1 is not prime.  Res64: 4593791CDF8C587A  Time : 4598.0 sec.
user=kar_bon
[2009-07-17 10:32:32]
453*2^703628-1 is not prime.  Res64: 8D7799DC3F1150C6  Time : 1349.0 sec.
user=vaughan
[2009-07-17 10:36:11]
487*2^703625-1 is not prime.  Res64: DD51DC0A58DA704B  Time : 4548.0 sec.
user=vaughan
[2009-07-17 10:37:41]
517*2^703625-1 is not prime.  Res64: 9389DD0D4D58059F  Time : 4600.0 sec.
user=kar_bon
[2009-07-17 10:43:45]
451*2^703629-1 is not prime.  Res64: FC7F536E7CA689AA  Time : 1348.0 sec.
user=vaughan
[2009-07-17 10:43:46]
589*2^703625-1 is not prime.  Res64: 66B5D94AE18BE3EB  Time : 4548.0 sec.
user=vaughan
[2009-07-17 10:45:21]
591*2^703625-1 is not prime.  Res64: 5831B745F29FF012  Time : 4600.0 sec.
user=vaughan
[2009-07-17 10:51:20]
453*2^703626-1 is not prime.  Res64: 7F6D7FC149CD2A7F  Time : 4547.0 sec.
user=vaughan
[2009-07-17 10:53:01]
471*2^703626-1 is not prime.  Res64: 0D7483157EB88C9A  Time : 4600.0 sec.
user=kar_bon
[2009-07-17 10:55:00]
453*2^703630-1 is not prime.  Res64: 9884B5594B85E749  Time : 1348.0 sec.
user=vaughan
[2009-07-17 10:58:55]
483*2^703626-1 is not prime.  Res64: 71496607C7FA2EAA  Time : 4546.0 sec.
user=vaughan
[2009-07-17 11:00:40]
485*2^703626-1 is not prime.  Res64: 4E5D5755ADA331CC  Time : 4600.0 sec.
user=kar_bon
[2009-07-17 11:06:16]
581*2^703630-1 is not prime.  Res64: 71EC80F3FFC75DF7  Time : 1351.0 sec.
user=vaughan
[2009-07-17 11:06:30]
405*2^703627-1 is not prime.  Res64: 3F46633F1A096F7A  Time : 4546.0 sec.
user=vaughan
[2009-07-17 11:08:21]
441*2^703627-1 is not prime.  Res64: 02B4D63A8DE202D2  Time : 4600.0 sec.
user=vaughan
[2009-07-17 11:14:06]
463*2^703627-1 is not prime.  Res64: D52CA13FD6C79EED  Time : 4548.0 sec.
user=vaughan
[2009-07-17 11:16:00]
531*2^703627-1 is not prime.  Res64: 6D69FCA0C59C004E  Time : 4599.0 sec.
user=kar_bon
[2009-07-17 11:17:33]
419*2^703632-1 is not prime.  Res64: B8FC1DB86B119BFE  Time : 1353.0 sec.
user=vaughan
[2009-07-17 11:21:38]
405*2^703628-1 is not prime.  Res64: A5FA1EF22DF08C4E  Time : 4545.0 sec.
user=vaughan
[2009-07-17 11:23:39]
437*2^703628-1 is not prime.  Res64: 767C39EC0009A0CC  Time : 4598.0 sec.
user=kar_bon
[2009-07-17 11:28:47]
517*2^703633-1 is not prime.  Res64: C8508D84FB1B2085  Time : 1351.0 sec.
user=vaughan
[2009-07-17 11:29:12]
515*2^703628-1 is not prime.  Res64: 906636725FDB38B2  Time : 4544.0 sec.
user=vaughan
[2009-07-17 11:31:19]
545*2^703628-1 is not prime.  Res64: 7695A4C08FA2D0ED  Time : 4598.0 sec.
user=vaughan
[2009-07-17 11:36:46]
557*2^703628-1 is not prime.  Res64: D89CB310AC3104CD  Time : 4544.0 sec.
user=vaughan
[2009-07-17 11:38:58]
481*2^703629-1 is not prime.  Res64: 864C98637CDDEE07  Time : 4598.0 sec.
user=kar_bon
[2009-07-17 11:40:04]
563*2^703634-1 is not prime.  Res64: B99D946FD33B98C6  Time : 1352.0 sec.
user=vaughan
[2009-07-17 11:44:21]
559*2^703629-1 is not prime.  Res64: FA540E0F43F09D4A  Time : 4544.0 sec.
user=vaughan
[2009-07-17 11:46:39]
597*2^703629-1 is not prime.  Res64: FB6B3942432E29C6  Time : 4599.0 sec.
user=kar_bon
[2009-07-17 11:51:19]
493*2^703635-1 is not prime.  Res64: 4355D2F41C479012  Time : 1352.0 sec.
user=vaughan
[2009-07-17 11:51:55]
477*2^703630-1 is not prime.  Res64: 4C56901B96EC1E19  Time : 4544.0 sec.
user=vaughan
[2009-07-17 11:54:18]
483*2^703630-1 is not prime.  Res64: C72DAC43CA9F541A  Time : 4597.0 sec.
user=vaughan
[2009-07-17 11:59:29]
403*2^703631-1 is not prime.  Res64: DAA497006C9D556B  Time : 4543.0 sec.
user=vaughan
[2009-07-17 12:01:57]
453*2^703631-1 is not prime.  Res64: 4337CB8B30ACF7F4  Time : 4596.0 sec.
user=kar_bon
[2009-07-17 12:02:34]
443*2^703636-1 is not prime.  Res64: 3A461240178000C4  Time : 1350.0 sec.
user=vaughan
[2009-07-17 12:07:04]
511*2^703631-1 is not prime.  Res64: 62A34164C2768A51  Time : 4544.0 sec.
user=vaughan
[2009-07-17 12:09:36]
573*2^703631-1 is not prime.  Res64: 59AFC6E4E86245CA  Time : 4595.0 sec.
user=kar_bon
[2009-07-17 12:13:48]
537*2^703636-1 is not prime.  Res64: 8752AD7FAF42F608  Time : 1349.0 sec.
user=vaughan
[2009-07-17 12:14:39]
441*2^703633-1 is not prime.  Res64: 0DB6F1AC28EE63D8  Time : 4544.0 sec.
user=vaughan
[2009-07-17 12:17:16]
471*2^703633-1 is not prime.  Res64: 568FB131249F6004  Time : 4596.0 sec.
user=vaughan
[2009-07-17 12:22:13]
561*2^703633-1 is not prime.  Res64: 71A27BA66727B83F  Time : 4543.0 sec.
user=vaughan
[2009-07-17 12:24:55]
567*2^703633-1 is not prime.  Res64: B2A91332770FA49F  Time : 4594.0 sec.
user=kar_bon
[2009-07-17 12:24:59]
495*2^703637-1 is not prime.  Res64: A13D4423BB1C64DC  Time : 1345.0 sec.
user=vaughan
[2009-07-17 12:29:48]
431*2^703634-1 is not prime.  Res64: 8116C602F15B38BA  Time : 4543.0 sec.
user=vaughan
[2009-07-17 12:32:35]
533*2^703634-1 is not prime.  Res64: C8647D0010DC3673  Time : 4595.0 sec.
user=kar_bon
[2009-07-17 12:36:11]
411*2^703639-1 is not prime.  Res64: 749892219D79F10B  Time : 1344.0 sec.
user=vaughan
[2009-07-17 12:37:20]
433*2^703635-1 is not prime.  Res64: 434EF6B4B3D5E99E  Time : 4542.0 sec.
user=vaughan
[2009-07-17 12:40:16]
453*2^703635-1 is not prime.  Res64: D6EEDAF5BE6D8AD4  Time : 4597.0 sec.
user=vaughan
[2009-07-17 12:44:53]
553*2^703635-1 is not prime.  Res64: 9EB8329F7CB7ABE8  Time : 4541.0 sec.
user=kar_bon
[2009-07-17 12:47:22]
489*2^703640-1 is not prime.  Res64: 0B000236F38937E6  Time : 1343.0 sec.
user=vaughan
[2009-07-17 12:47:59]
555*2^703635-1 is not prime.  Res64: FE2D138F217C65DF  Time : 4600.0 sec.
user=vaughan
[2009-07-17 12:52:24]
405*2^703636-1 is not prime.  Res64: 45CD6B654D7BB4AD  Time : 4538.0 sec.
user=vaughan
[2009-07-17 12:55:41]
435*2^703636-1 is not prime.  Res64: A15FB68772C03D2D  Time : 4603.0 sec.
user=vaughan
[2009-07-17 12:59:57]
495*2^703636-1 is not prime.  Res64: 38E0C7D25629DEBB  Time : 4536.0 sec.
user=vaughan
[2009-07-17 13:03:23]
497*2^703636-1 is not prime.  Res64: 7227CAFAD834FC99  Time : 4604.0 sec.
user=vaughan
[2009-07-17 13:07:29]
539*2^703636-1 is not prime.  Res64: 92278C4D2FA2216E  Time : 4534.0 sec.
user=vaughan
[2009-07-17 13:11:05]
597*2^703636-1 is not prime.  Res64: 4232971A2576AB4C  Time : 4607.0 sec.
user=vaughan
[2009-07-17 13:15:01]
445*2^703637-1 is not prime.  Res64: E6167DAE179D69DC  Time : 4532.0 sec.
user=vaughan
[2009-07-17 13:18:46]
451*2^703637-1 is not prime.  Res64: 518625C33DC2C5C4  Time : 4609.0 sec.
user=vaughan
[2009-07-17 13:22:34]
465*2^703638-1 is not prime.  Res64: 1AB5EFE87AF544CD  Time : 4531.0 sec.
user=vaughan
[2009-07-17 13:26:28]
567*2^703638-1 is not prime.  Res64: 1B961598DA237732  Time : 4612.0 sec.
user=vaughan
[2009-07-17 13:30:06]
433*2^703639-1 is not prime.  Res64: 20CE077EB749793D  Time : 4528.0 sec.
user=kar_bon
[2009-07-17 13:30:44]
441*2^703641-1 is not prime.  Res64: 4820C50DEA143952  Time : 3273.0 sec.
user=vaughan
[2009-07-17 13:34:11]
481*2^703639-1 is not prime.  Res64: C31FA9EBB068164E  Time : 4615.0 sec.
user=vaughan
[2009-07-17 13:37:38]
511*2^703639-1 is not prime.  Res64: 2C1F1D40700B1D8F  Time : 4526.0 sec.
user=vaughan
[2009-07-17 13:41:51]
479*2^703640-1 is not prime.  Res64: 88D45232DF85E933  Time : 4616.0 sec.
user=kar_bon
[2009-07-17 13:41:58]
511*2^703641-1 is not prime.  Res64: 252CBC18AAD1BD91  Time : 3276.0 sec.
user=vaughan
[2009-07-17 13:45:12]
533*2^703640-1 is not prime.  Res64: 9EC22C64841D0FAE  Time : 4525.0 sec.
user=vaughan
[2009-07-17 13:49:30]
539*2^703640-1 is not prime.  Res64: C0AD104681CCAC56  Time : 4615.0 sec.
user=vaughan
[2009-07-17 13:52:47]
447*2^703641-1 is not prime.  Res64: 746B5741CE940ECE  Time : 4527.0 sec.
user=kar_bon
[2009-07-17 13:53:11]
571*2^703643-1 is not prime.  Res64: 6B4265830620E93B  Time : 1348.0 sec.
user=vaughan
[2009-07-17 13:57:09]
459*2^703641-1 is not prime.  Res64: 12F42BCAFCAA94E4  Time : 4613.0 sec.
user=vaughan
[2009-07-17 14:00:23]
471*2^703641-1 is not prime.  Res64: 0206E14BEE5D9814  Time : 4531.0 sec.
user=kar_bon
[2009-07-17 14:04:26]
539*2^703644-1 is not prime.  Res64: 7CE6B8AC128D4838  Time : 1349.0 sec.
user=vaughan
[2009-07-17 14:04:47]
549*2^703641-1 is not prime.  Res64: 1F2D3A37B2FE84EE  Time : 4609.0 sec.
user=vaughan
[2009-07-17 14:07:56]
559*2^703641-1 is not prime.  Res64: FBD0680551AFEABA  Time : 4532.0 sec.
user=vaughan
[2009-07-17 14:12:26]
577*2^703641-1 is not prime.  Res64: 27C231FB153572B8  Time : 4605.0 sec.
user=vaughan
[2009-07-17 14:15:31]
447*2^703642-1 is not prime.  Res64: B8B55B04CAF6E9E7  Time : 4534.0 sec.
user=kar_bon
[2009-07-17 14:17:58]
525*2^703645-1 is not prime.  Res64: C949F65D949C201B  Time : 1487.0 sec.
user=vaughan
[2009-07-17 14:20:04]
453*2^703642-1 is not prime.  Res64: CAD95E49842EDCD0  Time : 4601.0 sec.
user=vaughan
[2009-07-17 14:23:05]
477*2^703642-1 is not prime.  Res64: 14A7109C68ED4A30  Time : 4536.0 sec.
user=vaughan
[2009-07-17 14:27:43]
483*2^703642-1 is not prime.  Res64: E2D00CF6CAC80F54  Time : 4598.0 sec.
user=kar_bon
[2009-07-17 14:30:01]
525*2^703646-1 is not prime.  Res64: 96EC9073D5E87678  Time : 1535.0 sec.
user=vaughan
[2009-07-17 14:30:40]
491*2^703642-1 is not prime.  Res64: 2670639E0F99BFF3  Time : 4539.0 sec.
user=vaughan
[2009-07-17 14:35:20]
409*2^703643-1 is not prime.  Res64: 7B9166E6D17E39A2  Time : 4594.0 sec.
user=vaughan
[2009-07-17 14:38:14]
411*2^703643-1 is not prime.  Res64: FBCFFAF8C2B20835  Time : 4540.0 sec.
user=kar_bon
[2009-07-17 14:41:15]
405*2^703648-1 is not prime.  Res64: 73876E8FFBF0F51D  Time : 1397.0 sec.
user=vaughan
[2009-07-17 14:42:58]
481*2^703643-1 is not prime.  Res64: 65AC51ACD0EFBFE5  Time : 4590.0 sec.
user=vaughan
[2009-07-17 14:45:48]
501*2^703643-1 is not prime.  Res64: C8BAC443C8C5E82D  Time : 4543.0 sec.
user=vaughan
[2009-07-17 14:50:37]
423*2^703644-1 is not prime.  Res64: FECBC1601267725E  Time : 4587.0 sec.
user=kar_bon
[2009-07-17 14:52:28]
569*2^703648-1 is not prime.  Res64: 562893825587D8A9  Time : 1348.0 sec.
user=vaughan
[2009-07-17 14:53:22]
473*2^703644-1 is not prime.  Res64: B4C5218351EFFB72  Time : 4545.0 sec.
user=vaughan
[2009-07-17 14:58:16]
489*2^703644-1 is not prime.  Res64: C42359EC964A584D  Time : 4586.0 sec.
user=vaughan
[2009-07-17 15:00:57]
555*2^703644-1 is not prime.  Res64: A5E4634C472A6418  Time : 4545.0 sec.
user=kar_bon
[2009-07-17 15:03:43]
437*2^703650-1 is not prime.  Res64: 5455EDDF9767D609  Time : 1348.0 sec.
user=vaughan
[2009-07-17 15:05:55]
557*2^703644-1 is not prime.  Res64: C9D65B52FA7D2326  Time : 4585.0 sec.
user=vaughan
[2009-07-17 15:08:31]
579*2^703644-1 is not prime.  Res64: D04C380CE1D56882  Time : 4545.0 sec.
user=vaughan
[2009-07-17 15:13:37]
541*2^703645-1 is not prime.  Res64: 27440E3289A43310  Time : 4588.0 sec.
user=kar_bon
[2009-07-17 15:14:59]
525*2^703650-1 is not prime.  Res64: D654852787416B41  Time : 1351.0 sec.
user=vaughan
[2009-07-17 15:16:05]
589*2^703645-1 is not prime.  Res64: A5B393005242CACD  Time : 4543.0 sec.
user=vaughan
[2009-07-17 15:21:19]
537*2^703646-1 is not prime.  Res64: D5A54E0C912548BB  Time : 4592.0 sec.
user=vaughan
[2009-07-17 15:23:36]
573*2^703646-1 is not prime.  Res64: 62E76581A51AD982  Time : 4540.0 sec.
user=kar_bon
[2009-07-17 15:26:13]
549*2^703651-1 is not prime.  Res64: 464275383BFDEFB0  Time : 1350.0 sec.
user=vaughan
[2009-07-17 15:29:01]
405*2^703647-1 is not prime.  Res64: 63E6C6A64189329A  Time : 4595.0 sec.
user=vaughan
[2009-07-17 15:31:08]
471*2^703647-1 is not prime.  Res64: BFF08F1427CCED5B  Time : 4537.0 sec.
user=vaughan
[2009-07-17 15:36:43]
453*2^703648-1 is not prime.  Res64: 5F5E98F1A43E9C76  Time : 4599.0 sec.
user=kar_bon
[2009-07-17 15:37:31]
479*2^703652-1 is not prime.  Res64: C01167A3234EA213  Time : 1353.0 sec.
user=vaughan
[2009-07-17 15:38:41]
527*2^703648-1 is not prime.  Res64: 22B125293194A2C5  Time : 4536.0 sec.
user=vaughan
[2009-07-17 15:44:24]
563*2^703648-1 is not prime.  Res64: 13469B0607AC8AF5  Time : 4601.0 sec.
user=vaughan
[2009-07-17 15:46:15]
573*2^703648-1 is not prime.  Res64: 22B2014C9EA75D15  Time : 4535.0 sec.
user=kar_bon
[2009-07-17 15:48:46]
481*2^703653-1 is not prime.  Res64: ADD42CE64402C1C1  Time : 1353.0 sec.
user=vaughan
[2009-07-17 15:52:05]
575*2^703648-1 is not prime.  Res64: E443F67860769FEF  Time : 4605.0 sec.
user=vaughan
[2009-07-17 15:53:49]
589*2^703649-1 is not prime.  Res64: 61BE060575E8F501  Time : 4535.0 sec.
user=vaughan
[2009-07-17 15:59:44]
447*2^703650-1 is not prime.  Res64: 8070D45D361641DC  Time : 4606.0 sec.
user=kar_bon
[2009-07-17 16:00:00]
401*2^703654-1 is not prime.  Res64: 5F64CD07AFCDD668  Time : 1349.0 sec.
user=vaughan
[2009-07-17 16:01:24]
473*2^703650-1 is not prime.  Res64: 583E68776FC5A6B7  Time : 4536.0 sec.
user=vaughan
[2009-07-17 16:07:23]
483*2^703650-1 is not prime.  Res64: 54E50EE1797D80B4  Time : 4606.0 sec.
user=vaughan
[2009-07-17 16:08:58]
405*2^703651-1 is not prime.  Res64: E9D5F40A97E9AD54  Time : 4536.0 sec.
user=kar_bon
[2009-07-17 16:11:15]
533*2^703654-1 is not prime.  Res64: 1F9E904FE5E91FE8  Time : 1349.0 sec.
user=vaughan
[2009-07-17 16:15:03]
411*2^703651-1 is not prime.  Res64: B4A1D78B567CE45F  Time : 4607.0 sec.
user=vaughan
[2009-07-17 16:16:31]
415*2^703651-1 is not prime.  Res64: CE201322EAED38D4  Time : 4535.0 sec.
user=kar_bon
[2009-07-17 16:22:31]
507*2^703656-1 is not prime.  Res64: E0085AA002302860  Time : 1351.0 sec.
user=vaughan
[2009-07-17 16:22:41]
561*2^703651-1 is not prime.  Res64: 81627D84C5A244BB  Time : 4606.0 sec.
user=vaughan
[2009-07-17 16:24:06]
435*2^703652-1 is not prime.  Res64: 2E734A02D2313F74  Time : 4535.0 sec.
user=vaughan
[2009-07-17 16:30:19]
447*2^703652-1 is not prime.  Res64: 90E69C00B82F0D4A  Time : 4602.0 sec.
user=vaughan
[2009-07-17 16:31:41]
579*2^703652-1 is not prime.  Res64: 0CB5CD54320927A1  Time : 4536.0 sec.
user=kar_bon
[2009-07-17 16:33:50]
489*2^703657-1 is not prime.  Res64: 5212C475A24B7032  Time : 1355.0 sec.
user=vaughan
[2009-07-17 16:37:59]
599*2^703652-1 is not prime.  Res64: 4B51D73CA44D9E73  Time : 4600.0 sec.
user=vaughan
[2009-07-17 16:39:15]
427*2^703653-1 is not prime.  Res64: 11CF9CADCA1887B9  Time : 4539.0 sec.
user=kar_bon
[2009-07-17 16:45:18]
555*2^703657-1 is not prime.  Res64: 03120EE9A78D9977  Time : 1367.0 sec.
user=vaughan
[2009-07-17 16:45:42]
495*2^703653-1 is not prime.  Res64: 729F2D564EEDDD27  Time : 4601.0 sec.
user=vaughan
[2009-07-17 16:46:47]
499*2^703653-1 is not prime.  Res64: B884391E60BD4AE3  Time : 4539.0 sec.
user=vaughan
[2009-07-17 16:53:23]
525*2^703653-1 is not prime.  Res64: 32A85F1010023766  Time : 4600.0 sec.
user=vaughan
[2009-07-17 16:54:19]
425*2^703654-1 is not prime.  Res64: F229746430E1E2CD  Time : 4538.0 sec.
user=kar_bon
[2009-07-17 16:56:42]
481*2^703659-1 is not prime.  Res64: F2B39F58CA407C77  Time : 1372.0 sec.
user=vaughan
[2009-07-17 17:01:07]
443*2^703654-1 is not prime.  Res64: 923BE9F378652F10  Time : 4603.0 sec.
user=vaughan
[2009-07-17 17:01:51]
465*2^703654-1 is not prime.  Res64: 52AA3C8E6C9472C3  Time : 4536.0 sec.
user=vaughan
[2009-07-17 17:08:48]
551*2^703654-1 is not prime.  Res64: DC7A1CA6E668E5D5  Time : 4603.0 sec.
user=vaughan
[2009-07-17 17:09:23]
567*2^703654-1 is not prime.  Res64: 61B326762722B59D  Time : 4535.0 sec.
user=vaughan
[2009-07-17 17:16:32]
425*2^703656-1 is not prime.  Res64: 8AECD2708C2A3CD4  Time : 4608.0 sec.
user=vaughan
[2009-07-17 17:16:55]
567*2^703656-1 is not prime.  Res64: 155DE1659413AF76  Time : 4532.0 sec.
user=vaughan
[2009-07-17 17:24:15]
405*2^703657-1 is not prime.  Res64: D2FACE8127442544  Time : 4612.0 sec.
user=vaughan
[2009-07-17 17:24:27]
469*2^703657-1 is not prime.  Res64: 64E294D0F017DD14  Time : 4529.0 sec.
user=vaughan
[2009-07-17 17:31:59]
495*2^703657-1 is not prime.  Res64: ADC8EB2E2AAFB724  Time : 4616.0 sec.
user=vaughan
[2009-07-17 17:31:59]
517*2^703657-1 is not prime.  Res64: 6E106B981BB6B72C  Time : 4528.0 sec.
user=vaughan
[2009-07-17 17:39:32]
431*2^703658-1 is not prime.  Res64: E36AF58BCCD689A3  Time : 4526.0 sec.
user=vaughan
[2009-07-17 17:39:42]
565*2^703657-1 is not prime.  Res64: F0365BBE967736E0  Time : 4621.0 sec.
user=vaughan
[2009-07-17 17:47:06]
445*2^703659-1 is not prime.  Res64: 1FA31F016C026CBD  Time : 4525.0 sec.
user=vaughan
[2009-07-17 17:47:24]
585*2^703658-1 is not prime.  Res64: A6986269B484EB22  Time : 4625.0 sec.
user=vaughan
[2009-07-17 17:54:42]
543*2^703659-1 is not prime.  Res64: 810B30D78B32EC79  Time : 4527.0 sec.
user=vaughan
[2009-07-17 17:55:02]
511*2^703659-1 is not prime.  Res64: 68315775DC62A5C8  Time : 4623.0 sec.
user=kar_bon
[2009-07-17 17:57:55]
565*2^703659-1 is not prime.  Res64: DEEE6E444AA39149  Time : 4357.0 sec.
user=vaughan
[2009-07-17 18:02:17]
411*2^703661-1 is not prime.  Res64: BEBE8806B4BB0F2E  Time : 4531.0 sec.
user=vaughan
[2009-07-17 18:02:44]
437*2^703660-1 is not prime.  Res64: CD08719B0503CFF1  Time : 4623.0 sec.
user=kar_bon
[2009-07-17 18:09:18]
529*2^703661-1 is not prime.  Res64: 0F9951668DBF98DA  Time : 4356.0 sec.
user=vaughan
[2009-07-17 18:09:50]
477*2^703661-1 is not prime.  Res64: 2AF9FA85E473B986  Time : 4532.0 sec.
user=vaughan
[2009-07-17 18:10:24]
475*2^703661-1 is not prime.  Res64: 2BC5BA90BA81E90E  Time : 4622.0 sec.
user=vaughan
[2009-07-17 18:17:26]
585*2^703662-1 is not prime.  Res64: 4A891D9D27873144  Time : 4536.0 sec.
user=vaughan
[2009-07-17 18:18:06]
537*2^703661-1 is not prime.  Res64: C87C618BDF7E80C4  Time : 4619.0 sec.
user=kar_bon
[2009-07-17 18:20:34]
467*2^703668-1 is not prime.  Res64: 46CC66C5AD5D4EA5  Time : 1359.0 sec.
user=vaughan
[2009-07-17 18:24:59]
429*2^703663-1 is not prime.  Res64: DFE3DBEC933AAF9A  Time : 4536.0 sec.
user=vaughan
[2009-07-17 18:25:47]
423*2^703663-1 is not prime.  Res64: E7FCB14AA8B5C744  Time : 4619.0 sec.
user=kar_bon
[2009-07-17 18:31:50]
411*2^703669-1 is not prime.  Res64: 68A20076F6F3ED94  Time : 1353.0 sec.
user=vaughan
[2009-07-17 18:32:35]
533*2^703664-1 is not prime.  Res64: D89AD7012991B4BF  Time : 4540.0 sec.
user=vaughan
[2009-07-17 18:33:28]
503*2^703664-1 is not prime.  Res64: 1691D83B1D046286  Time : 4616.0 sec.
user=vaughan
[2009-07-17 18:40:10]
563*2^703664-1 is not prime.  Res64: BCF6D26EF2A69478  Time : 4543.0 sec.
user=vaughan
[2009-07-17 18:41:11]
539*2^703664-1 is not prime.  Res64: E15D992246879606  Time : 4617.0 sec.
user=kar_bon
[2009-07-17 18:43:04]
423*2^703670-1 is not prime.  Res64: 213520D6DD61BB07  Time : 1350.0 sec.
user=vaughan
[2009-07-17 18:47:44]
517*2^703665-1 is not prime.  Res64: 42B04A965A8E0C31  Time : 4545.0 sec.
user=vaughan
[2009-07-17 18:48:52]
441*2^703665-1 is not prime.  Res64: 1FC1AC063367BEF6  Time : 4614.0 sec.
user=kar_bon
[2009-07-17 18:54:18]
581*2^703670-1 is not prime.  Res64: BB4FFD344F92F7B3  Time : 1348.0 sec.
user=vaughan
[2009-07-17 18:55:16]
577*2^703665-1 is not prime.  Res64: 3757E4B5927890B8  Time : 4544.0 sec.
user=vaughan
[2009-07-17 18:56:37]
443*2^703666-1 is not prime.  Res64: 58E01B5CD7CAF741  Time : 4616.0 sec.
user=vaughan
[2009-07-17 19:02:48]
513*2^703666-1 is not prime.  Res64: 6C1197F035281FCC  Time : 4542.0 sec.
user=vaughan
[2009-07-17 19:04:19]
551*2^703666-1 is not prime.  Res64: 4F177D003789D586  Time : 4616.0 sec.
user=kar_bon
[2009-07-17 19:05:31]
533*2^703672-1 is not prime.  Res64: 4A95E7503A0C46A2  Time : 1347.0 sec.
user=vaughan
[2009-07-17 19:10:21]
571*2^703667-1 is not prime.  Res64: 1A7EBA61015953CE  Time : 4539.0 sec.
user=vaughan
[2009-07-17 19:12:02]
413*2^703668-1 is not prime.  Res64: 774CD0A2F934D5B0  Time : 4620.0 sec.
user=kar_bon
[2009-07-17 19:16:44]
481*2^703673-1 is not prime.  Res64: 7C6BE092C49614BA  Time : 1346.0 sec.
user=vaughan
[2009-07-17 19:17:53]
503*2^703668-1 is not prime.  Res64: 8A30F4C8CCB051B0  Time : 4537.0 sec.
user=vaughan
[2009-07-17 19:19:46]
569*2^703668-1 is not prime.  Res64: D3FF5BF49543022D  Time : 4622.0 sec.
user=vaughan
[2009-07-17 19:25:25]
427*2^703669-1 is not prime.  Res64: 9A89D2E1B67DC33C  Time : 4535.0 sec.
user=vaughan
[2009-07-17 19:27:30]
435*2^703669-1 is not prime.  Res64: 2C11C148C8DCE318  Time : 4626.0 sec.
user=kar_bon
[2009-07-17 19:27:58]
453*2^703674-1 is not prime.  Res64: 32241B23ECC7A9B1  Time : 1347.0 sec.
user=vaughan
[2009-07-17 19:32:58]
511*2^703669-1 is not prime.  Res64: AAF5FCDD5F7248B6  Time : 4532.0 sec.
user=vaughan
[2009-07-17 19:35:12]
517*2^703669-1 is not prime.  Res64: CD05F1AC0BB56CDF  Time : 4626.0 sec.
user=kar_bon
[2009-07-17 19:39:12]
531*2^703674-1 is not prime.  Res64: 9D13DD05D7B19AD9  Time : 1348.0 sec.
user=vaughan
[2009-07-17 19:40:32]
473*2^703670-1 is not prime.  Res64: 816622B4065D50C9  Time : 4533.0 sec.
user=vaughan
[2009-07-17 19:42:55]
525*2^703670-1 is not prime.  Res64: FF6CA8406663FD6A  Time : 4628.0 sec.
user=vaughan
[2009-07-17 19:48:04]
405*2^703671-1 is not prime.  Res64: C15D3C7FABF37626  Time : 4529.0 sec.
user=kar_bon
[2009-07-17 19:50:24]
495*2^703675-1 is not prime.  Res64: 244579070BEE7F40  Time : 1346.0 sec.
user=vaughan
[2009-07-17 19:50:37]
493*2^703671-1 is not prime.  Res64: F25E2C98B0D57B77  Time : 4629.0 sec.
user=vaughan
[2009-07-17 19:55:35]
583*2^703671-1 is not prime.  Res64: 74018D60065EE048  Time : 4525.0 sec.
user=vaughan
[2009-07-17 19:58:21]
419*2^703672-1 is not prime.  Res64: 75617EABADB40266  Time : 4630.0 sec.
user=kar_bon
[2009-07-17 20:01:36]
455*2^703676-1 is not prime.  Res64: AB1F576C33A692FD  Time : 1345.0 sec.
user=vaughan
[2009-07-17 20:03:08]
573*2^703672-1 is not prime.  Res64: 9E97614A40205BB0  Time : 4524.0 sec.
user=vaughan
[2009-07-17 20:06:03]
441*2^703673-1 is not prime.  Res64: 3802DA540DC56E3C  Time : 4631.0 sec.
user=vaughan
[2009-07-17 20:10:40]
525*2^703673-1 is not prime.  Res64: 58E9698F4F5C3036  Time : 4524.0 sec.
user=vaughan
[2009-07-17 20:13:46]
537*2^703673-1 is not prime.  Res64: 3AA3034F7841C6C1  Time : 4629.0 sec.
user=vaughan
[2009-07-17 20:18:12]
559*2^703673-1 is not prime.  Res64: C359182D1744FC22  Time : 4524.0 sec.
user=vaughan
[2009-07-17 20:21:29]
447*2^703674-1 is not prime.  Res64: A6DD8F83AF79D764  Time : 4630.0 sec.
user=vaughan
[2009-07-17 20:25:44]
461*2^703674-1 is not prime.  Res64: 3EB333AC2FFAE0F3  Time : 4523.0 sec.
user=vaughan
[2009-07-17 20:29:12]
501*2^703674-1 is not prime.  Res64: EB4D6BF6FA6999B9  Time : 4630.0 sec.
user=vaughan
[2009-07-17 20:33:16]
405*2^703675-1 is not prime.  Res64: 2F8194727EF9029F  Time : 4523.0 sec.
user=vaughan
[2009-07-17 20:36:54]
415*2^703675-1 is not prime.  Res64: E05A73692AD9CDC0  Time : 4628.0 sec.
user=vaughan
[2009-07-17 20:40:49]
433*2^703675-1 is not prime.  Res64: 39784903B96E0DD1  Time : 4524.0 sec.
user=vaughan
[2009-07-17 20:44:33]
493*2^703675-1 is not prime.  Res64: D2FB5AE0757E61F1  Time : 4623.0 sec.
user=kar_bon
[2009-07-17 20:46:46]
507*2^703677-1 is not prime.  Res64: 27AA1BEC023F856F  Time : 3382.0 sec.
user=vaughan
[2009-07-17 20:48:24]
553*2^703675-1 is not prime.  Res64: 0D0096FA1581720F  Time : 4526.0 sec.
user=vaughan
[2009-07-17 20:52:14]
435*2^703676-1 is not prime.  Res64: 9E877081905C4891  Time : 4622.0 sec.
user=vaughan
[2009-07-17 20:55:59]
567*2^703676-1 is not prime.  Res64: 2F279EE08CF97532  Time : 4527.0 sec.
user=kar_bon
[2009-07-17 20:58:01]
561*2^703678-1 is not prime.  Res64: 1F7A62E8D9015449  Time : 3385.0 sec.
user=vaughan
[2009-07-17 20:59:53]
573*2^703676-1 is not prime.  Res64: D9437EC9500C3B83  Time : 4618.0 sec.
user=vaughan
[2009-07-17 21:03:33]
417*2^703677-1 is not prime.  Res64: 91ED8EB9C6C78BD4  Time : 4529.0 sec.
user=vaughan
[2009-07-17 21:07:33]
531*2^703677-1 is not prime.  Res64: FA4D3DE07D1E3872  Time : 4616.0 sec.
user=kar_bon
[2009-07-17 21:09:14]
421*2^703681-1 is not prime.  Res64: 430FA26279F0C854  Time : 1348.0 sec.
user=vaughan
[2009-07-17 21:11:08]
465*2^703678-1 is not prime.  Res64: C5D0928A7013A8D3  Time : 4533.0 sec.
user=vaughan
[2009-07-17 21:15:14]
513*2^703678-1 is not prime.  Res64: 87FDA42D8D2B2717  Time : 4613.0 sec.
user=vaughan
[2009-07-17 21:18:42]
573*2^703678-1 is not prime.  Res64: 835426D88DB2D2E7  Time : 4534.0 sec.
user=kar_bon
[2009-07-17 21:20:27]
447*2^703682-1 is not prime.  Res64: C1E0BD10E9BC85D6  Time : 1346.0 sec.
user=vaughan
[2009-07-17 21:22:55]
403*2^703679-1 is not prime.  Res64: DB1592CB0F64C42F  Time : 4612.0 sec.
user=vaughan
[2009-07-17 21:26:17]
435*2^703679-1 is not prime.  Res64: C79C3808F64B79CB  Time : 4537.0 sec.
user=vaughan
[2009-07-17 21:30:35]
463*2^703679-1 is not prime.  Res64: 799654736E67A24B  Time : 4609.0 sec.
user=kar_bon
[2009-07-17 21:31:41]
411*2^703683-1 is not prime.  Res64: 485C45AF7E73B486  Time : 1348.0 sec.
user=vaughan
[2009-07-17 21:33:53]
571*2^703679-1 is not prime.  Res64: 923CA40CC59FB601  Time : 4541.0 sec.
user=vaughan
[2009-07-17 21:38:15]
413*2^703680-1 is not prime.  Res64: 1D9B05FE1255F0A8  Time : 4606.0 sec.
user=vaughan
[2009-07-17 21:41:26]
437*2^703680-1 is not prime.  Res64: 9AFB7355F71CFF3D  Time : 4542.0 sec.
user=kar_bon
[2009-07-17 21:42:57]
423*2^703684-1 is not prime.  Res64: 8F213300777876E2  Time : 1350.0 sec.
user=vaughan
[2009-07-17 21:45:56]
465*2^703680-1 is not prime.  Res64: 1ADB2B21CBCA73DA  Time : 4605.0 sec.
user=vaughan
[2009-07-17 21:49:01]
525*2^703680-1 is not prime.  Res64: 5C12542A7D4C01CB  Time : 4545.0 sec.
user=vaughan
[2009-07-17 21:53:35]
557*2^703680-1 is not prime.  Res64: CAB97BEA539A7300  Time : 4602.0 sec.
user=kar_bon
[2009-07-17 21:54:12]
597*2^703684-1 is not prime.  Res64: 1D9ED077A487E23A  Time : 1351.0 sec.
user=vaughan
[2009-07-17 21:56:35]
585*2^703680-1 is not prime.  Res64: 17641A4992C21C40  Time : 4546.0 sec.
user=vaughan
[2009-07-17 22:01:15]
409*2^703681-1 is not prime.  Res64: 922E70BF8CE77E7E  Time : 4602.0 sec.
user=vaughan
[2009-07-17 22:04:10]
537*2^703681-1 is not prime.  Res64: 452F1A8C1D46B345  Time : 4546.0 sec.
user=kar_bon
[2009-07-17 22:05:29]
507*2^703685-1 is not prime.  Res64: 6BE49EA7EFA979D7  Time : 1352.0 sec.
user=vaughan
[2009-07-17 22:08:55]
555*2^703681-1 is not prime.  Res64: D64CCC27C8541EA4  Time : 4601.0 sec.
user=vaughan
[2009-07-17 22:11:44]
559*2^703681-1 is not prime.  Res64: F9D7C7ED7040E52A  Time : 4545.0 sec.
user=vaughan
[2009-07-17 22:16:35]
533*2^703682-1 is not prime.  Res64: 21659C8103A45932  Time : 4602.0 sec.
user=kar_bon
[2009-07-17 22:16:44]
411*2^703686-1 is not prime.  Res64: 6CB422E83288F0AE  Time : 1352.0 sec.
user=vaughan
[2009-07-17 22:19:18]
537*2^703682-1 is not prime.  Res64: A7E7F53CC986A875  Time : 4545.0 sec.
user=vaughan
[2009-07-17 22:24:16]
561*2^703682-1 is not prime.  Res64: E187C29305A5C7F6  Time : 4604.0 sec.
user=vaughan
[2009-07-17 22:26:52]
483*2^703683-1 is not prime.  Res64: E94AF8A0760435C5  Time : 4544.0 sec.
user=kar_bon
[2009-07-17 22:27:59]
475*2^703687-1 is not prime.  Res64: 169ED43CAD0B2710  Time : 1351.0 sec.
user=vaughan
[2009-07-17 22:31:55]
553*2^703683-1 is not prime.  Res64: 764874BBD7A42610  Time : 4602.0 sec.
user=vaughan
[2009-07-17 22:34:27]
573*2^703683-1 is not prime.  Res64: 77D7D3080A5C3507  Time : 4545.0 sec.
user=kar_bon
[2009-07-17 22:39:15]
479*2^703688-1 is not prime.  Res64: 3BF34E7911088223  Time : 1351.0 sec.
user=vaughan
[2009-07-17 22:39:35]
435*2^703684-1 is not prime.  Res64: C0C0AF90428AE50E  Time : 4601.0 sec.
user=vaughan
[2009-07-17 22:42:01]
495*2^703684-1 is not prime.  Res64: 02077C4E23EF75CE  Time : 4544.0 sec.
user=vaughan
[2009-07-17 22:47:15]
497*2^703684-1 is not prime.  Res64: 35A2376E21487E96  Time : 4600.0 sec.
user=vaughan
[2009-07-17 22:49:36]
405*2^703685-1 is not prime.  Res64: C22B47E0987F3912  Time : 4543.0 sec.
user=kar_bon
[2009-07-17 22:50:32]
555*2^703689-1 is not prime.  Res64: 5E4808AE1A11C59B  Time : 1353.0 sec.
user=vaughan
[2009-07-17 22:54:55]
475*2^703685-1 is not prime.  Res64: 459707114F84C0DE  Time : 4600.0 sec.
user=vaughan
[2009-07-17 22:57:10]
495*2^703685-1 is not prime.  Res64: C9E9D9F9B6AAAD27  Time : 4544.0 sec.
user=kar_bon
[2009-07-17 23:01:49]
461*2^703690-1 is not prime.  Res64: 5C673F58DA5A2184  Time : 1354.0 sec.
user=vaughan
[2009-07-17 23:02:34]
529*2^703685-1 is not prime.  Res64: 3AAC161C6A4FF288  Time : 4598.0 sec.
user=vaughan
[2009-07-17 23:04:44]
537*2^703685-1 is not prime.  Res64: DB92B438C43D5B1B  Time : 4543.0 sec.
user=vaughan
[2009-07-17 23:10:14]
591*2^703685-1 is not prime.  Res64: 93AA7C10AC1712F1  Time : 4599.0 sec.
user=vaughan
[2009-07-17 23:12:18]
453*2^703686-1 is not prime.  Res64: 66F9962AA61D072B  Time : 4543.0 sec.
user=kar_bon
[2009-07-17 23:13:05]
571*2^703691-1 is not prime.  Res64: 4F32438028EDBD1D  Time : 1354.0 sec.
user=vaughan
[2009-07-17 23:17:55]
495*2^703686-1 is not prime.  Res64: 3CBD96467E50C30D  Time : 4600.0 sec.
user=vaughan
[2009-07-17 23:19:52]
507*2^703686-1 is not prime.  Res64: D35AC66ACA88F320  Time : 4542.0 sec.
user=kar_bon
[2009-07-17 23:24:18]
405*2^703692-1 is not prime.  Res64: A16A40944E688377  Time : 1349.0 sec.
user=vaughan
[2009-07-17 23:25:36]
553*2^703687-1 is not prime.  Res64: 9B1BAC74989BF888  Time : 4601.0 sec.
user=vaughan
[2009-07-17 23:27:26]
573*2^703687-1 is not prime.  Res64: 1003E619E6BC9E8B  Time : 4542.0 sec.
user=vaughan
[2009-07-17 23:33:15]
465*2^703688-1 is not prime.  Res64: 707A7712C8A67F92  Time : 4600.0 sec.
user=vaughan
[2009-07-17 23:35:00]
439*2^703689-1 is not prime.  Res64: 3E98242566107705  Time : 4542.0 sec.
user=kar_bon
[2009-07-17 23:35:49]
507*2^703693-1 is not prime.  Res64: 0C76D4D63A47A805  Time : 1364.0 sec.
user=AMDave
[2009-07-17 23:37:37]
411*2^703693-1 is not prime.  Res64: F7351E5C902D306F  Time : 1608.0 sec.
user=vaughan
[2009-07-17 23:40:56]
459*2^703689-1 is not prime.  Res64: B2EA666E8F6E8C0D  Time : 4601.0 sec.
user=vaughan
[2009-07-17 23:42:33]
465*2^703689-1 is not prime.  Res64: EACC7D6131A6591B  Time : 4541.0 sec.
user=kar_bon
[2009-07-17 23:47:12]
425*2^703694-1 is not prime.  Res64: CC6748C4292D82C8  Time : 1375.0 sec.
user=vaughan
[2009-07-17 23:48:38]
595*2^703689-1 is not prime.  Res64: 42C73C5AFC2750AA  Time : 4603.0 sec.
user=vaughan
[2009-07-17 23:50:04]
443*2^703690-1 is not prime.  Res64: 0A66065998E4CA19  Time : 4538.0 sec.
user=vaughan
[2009-07-17 23:56:22]
527*2^703690-1 is not prime.  Res64: DED39A956315C849  Time : 4607.0 sec.
user=vaughan
[2009-07-17 23:57:35]
567*2^703690-1 is not prime.  Res64: BCCB83520CE2387E  Time : 4535.0 sec.
user=kar_bon
[2009-07-17 23:58:41]
587*2^703694-1 is not prime.  Res64: A7B25A109AD8956B  Time : 1372.0 sec.