user=vaughan
[2009-08-10 00:00:32]
529*2^707897-1 is not prime.  Res64: CDA27ACB197D6F47  Time : 829.0 sec.
user=gd_barnes
[2009-08-10 00:02:57]
553*2^707887-1 is not prime.  Res64: BF3BFEDE15DD2EEE  Time : 3369.0 sec.
user=vaughan
[2009-08-10 00:03:05]
529*2^707901-1 is not prime.  Res64: 2C28FD4870C18DE3  Time : 457.0 sec.
user=vaughan
[2009-08-10 00:04:24]
455*2^707902-1 is not prime.  Res64: 2B42A56FC4075E8A  Time : 463.0 sec.
user=gd_barnes
[2009-08-10 00:05:30]
507*2^707888-1 is not prime.  Res64: 82CDF51B078C8E1E  Time : 3375.0 sec.
user=vaughan
[2009-08-10 00:06:00]
561*2^707899-1 is not prime.  Res64: 81153056A845F71D  Time : 977.0 sec.
user=vaughan
[2009-08-10 00:06:39]
549*2^707899-1 is not prime.  Res64: 8C674E6DFF0E8D9B  Time : 1020.0 sec.
user=vaughan
[2009-08-10 00:07:03]
563*2^707900-1 is not prime.  Res64: E8F09FFA9753C24B  Time : 858.0 sec.
user=gd_barnes
[2009-08-10 00:07:38]
481*2^707889-1 is not prime.  Res64: F7F3B750199D17F7  Time : 3376.0 sec.
user=gd_barnes
[2009-08-10 00:10:38]
411*2^707890-1 is not prime.  Res64: E885C3519FDC3498  Time : 3376.0 sec.
user=vaughan
[2009-08-10 00:10:43]
523*2^707903-1 is not prime.  Res64: 0C0A789C952637B2  Time : 458.0 sec.
user=vaughan
[2009-08-10 00:12:15]
559*2^707903-1 is not prime.  Res64: 67C6300F77F56223  Time : 471.0 sec.
user=gd_barnes
[2009-08-10 00:14:12]
465*2^707891-1 is not prime.  Res64: F1317989B289D75F  Time : 3371.0 sec.
user=vaughan
[2009-08-10 00:14:23]
495*2^707902-1 is not prime.  Res64: C5EC900C7A8F58E9  Time : 831.0 sec.
user=gd_barnes
[2009-08-10 00:16:45]
565*2^707891-1 is not prime.  Res64: B8B2E824B3459191  Time : 3375.0 sec.
user=vaughan
[2009-08-10 00:18:20]
555*2^707904-1 is not prime.  Res64: CB34069F2C2BD869  Time : 457.0 sec.
user=gd_barnes
[2009-08-10 00:18:53]
515*2^707892-1 is not prime.  Res64: 5C863FF35FD18715  Time : 3375.0 sec.
user=vaughan
[2009-08-10 00:19:58]
411*2^707905-1 is not prime.  Res64: 75770B88B93362BF  Time : 463.0 sec.
user=vaughan
[2009-08-10 00:21:16]
497*2^707904-1 is not prime.  Res64: 8EF5B108446A548E  Time : 853.0 sec.
user=gd_barnes
[2009-08-10 00:21:54]
511*2^707893-1 is not prime.  Res64: 8E54A21CB218B22E  Time : 3377.0 sec.
user=vaughan
[2009-08-10 00:22:13]
473*2^707904-1 is not prime.  Res64: B67B67732D229F17  Time : 974.0 sec.
user=vaughan
[2009-08-10 00:23:28]
479*2^707904-1 is not prime.  Res64: EA7D96813FBBBCB7  Time : 1010.0 sec.
user=gd_barnes
[2009-08-10 00:25:26]
537*2^707893-1 is not prime.  Res64: 536E8754766D2FA7  Time : 3370.0 sec.
user=vaughan
[2009-08-10 00:25:57]
567*2^707905-1 is not prime.  Res64: A1337F945863A20E  Time : 457.0 sec.
user=vaughan
[2009-08-10 00:27:41]
437*2^707906-1 is not prime.  Res64: 75EE036F8B45C5CF  Time : 463.0 sec.
user=gd_barnes
[2009-08-10 00:28:01]
597*2^707893-1 is not prime.  Res64: DA94ACACA5DE2E9F  Time : 3376.0 sec.
user=vaughan
[2009-08-10 00:28:16]
471*2^707905-1 is not prime.  Res64: 66B6AAFEF9AC856C  Time : 834.0 sec.
user=gd_barnes
[2009-08-10 00:30:07]
445*2^707895-1 is not prime.  Res64: B2823E058C938C74  Time : 3373.0 sec.
user=gd_barnes
[2009-08-10 00:33:09]
459*2^707895-1 is not prime.  Res64: E5E61027F1D6573E  Time : 3376.0 sec.
user=vaughan
[2009-08-10 00:33:34]
529*2^707907-1 is not prime.  Res64: E7374011D5EE989B  Time : 457.0 sec.
user=vaughan
[2009-08-10 00:35:23]
549*2^707907-1 is not prime.  Res64: 4B3755D00D76FA4C  Time : 462.0 sec.
user=vaughan
[2009-08-10 00:35:33]
473*2^707906-1 is not prime.  Res64: 5FB4A28C43EDFD80  Time : 857.0 sec.
user=gd_barnes
[2009-08-10 00:36:39]
525*2^707896-1 is not prime.  Res64: 2A2E7BE02D7B8A60  Time : 3369.0 sec.
user=vaughan
[2009-08-10 00:38:19]
567*2^707906-1 is not prime.  Res64: E8968249F0D421D0  Time : 966.0 sec.
user=gd_barnes
[2009-08-10 00:39:15]
477*2^707897-1 is not prime.  Res64: F995BA683CC5E638  Time : 3375.0 sec.
user=vaughan
[2009-08-10 00:40:23]
403*2^707907-1 is not prime.  Res64: 29EA6D8B66FA6791  Time : 1016.0 sec.
user=vaughan
[2009-08-10 00:41:11]
573*2^707908-1 is not prime.  Res64: 7B798FFA20DD4057  Time : 457.0 sec.
user=gd_barnes
[2009-08-10 00:41:22]
501*2^707897-1 is not prime.  Res64: 83BE8B7018EBB866  Time : 3373.0 sec.
user=vaughan
[2009-08-10 00:42:34]
485*2^707908-1 is not prime.  Res64: 61706ECEAE84335D  Time : 858.0 sec.
user=vaughan
[2009-08-10 00:43:06]
417*2^707909-1 is not prime.  Res64: 85C6B41E92F3EB07  Time : 463.0 sec.
user=gd_barnes
[2009-08-10 00:44:24]
405*2^707898-1 is not prime.  Res64: C92F7F77CA5FBEAC  Time : 3376.0 sec.
user=gd_barnes
[2009-08-10 00:47:53]
417*2^707900-1 is not prime.  Res64: 7ED63363118634AC  Time : 3370.0 sec.
user=vaughan
[2009-08-10 00:48:48]
475*2^707911-1 is not prime.  Res64: 95A917F8C3E0F6E1  Time : 457.0 sec.
user=vaughan
[2009-08-10 00:49:41]
435*2^707909-1 is not prime.  Res64: 1E85BD1ED36C8DE0  Time : 848.0 sec.
user=gd_barnes
[2009-08-10 00:50:31]
451*2^707901-1 is not prime.  Res64: 80C8561B518D07D0  Time : 3376.0 sec.
user=vaughan
[2009-08-10 00:50:50]
495*2^707912-1 is not prime.  Res64: 01305745FA67E2B0  Time : 464.0 sec.
user=gd_barnes
[2009-08-10 00:52:36]
531*2^707901-1 is not prime.  Res64: F12CA769B82C21AB  Time : 3373.0 sec.
user=vaughan
[2009-08-10 00:54:33]
453*2^707910-1 is not prime.  Res64: FB942B6594414FDF  Time : 974.0 sec.
user=gd_barnes
[2009-08-10 00:55:39]
477*2^707902-1 is not prime.  Res64: A47435714710636E  Time : 3375.0 sec.
user=vaughan
[2009-08-10 00:56:16]
489*2^707912-1 is not prime.  Res64: 2D93FCE1BC2BC91E  Time : 822.0 sec.
user=vaughan
[2009-08-10 00:56:26]
585*2^707912-1 is not prime.  Res64: F946CC2A75927639  Time : 458.0 sec.
user=vaughan
[2009-08-10 00:57:28]
463*2^707911-1 is not prime.  Res64: 7932A3D3D153C03C  Time : 1025.0 sec.
user=vaughan
[2009-08-10 00:58:33]
471*2^707913-1 is not prime.  Res64: DB72B9A23DDB4AB4  Time : 463.0 sec.
user=gd_barnes
[2009-08-10 00:59:08]
507*2^707902-1 is not prime.  Res64: 886C271230812200  Time : 3371.0 sec.
user=gd_barnes
[2009-08-10 01:01:47]
573*2^707903-1 is not prime.  Res64: 610F4850FDBC5155  Time : 3377.0 sec.
user=gd_barnes
[2009-08-10 01:03:52]
513*2^707904-1 is not prime.  Res64: 45412F8BAED21F7C  Time : 3374.0 sec.
user=vaughan
[2009-08-10 01:03:53]
427*2^707913-1 is not prime.  Res64: 46D3A8BC6962AE75  Time : 852.0 sec.
user=vaughan
[2009-08-10 01:04:03]
591*2^707913-1 is not prime.  Res64: BE6E8BBF1AC5C875  Time : 457.0 sec.
user=vaughan
[2009-08-10 01:06:19]
545*2^707914-1 is not prime.  Res64: BFE2C030B0133CE3  Time : 466.0 sec.
user=gd_barnes
[2009-08-10 01:06:54]
527*2^707904-1 is not prime.  Res64: CE854EB457543178  Time : 3376.0 sec.
user=gd_barnes
[2009-08-10 01:10:22]
427*2^707905-1 is not prime.  Res64: CC8F32FDE75F80C5  Time : 3370.0 sec.
user=vaughan
[2009-08-10 01:10:52]
507*2^707913-1 is not prime.  Res64: A1BB6947FA35079B  Time : 979.0 sec.
user=vaughan
[2009-08-10 01:10:57]
565*2^707913-1 is not prime.  Res64: 58D8E90A222CE1B5  Time : 881.0 sec.
user=vaughan
[2009-08-10 01:11:40]
455*2^707916-1 is not prime.  Res64: 52A66A06D219EB50  Time : 457.0 sec.
user=gd_barnes
[2009-08-10 01:13:02]
525*2^707905-1 is not prime.  Res64: F64A2E0F67C759DC  Time : 3377.0 sec.
user=vaughan
[2009-08-10 01:14:02]
479*2^707916-1 is not prime.  Res64: B10F71AB0BDAD706  Time : 463.0 sec.
user=vaughan
[2009-08-10 01:14:25]
461*2^707914-1 is not prime.  Res64: 07AB8C40653E7083  Time : 1017.0 sec.
user=gd_barnes
[2009-08-10 01:15:07]
595*2^707905-1 is not prime.  Res64: 351D6B488D3EF82E  Time : 3374.0 sec.
user=vaughan
[2009-08-10 01:17:58]
595*2^707915-1 is not prime.  Res64: 10D25586E917280C  Time : 845.0 sec.
user=gd_barnes
[2009-08-10 01:18:10]
525*2^707906-1 is not prime.  Res64: EB67056A7F161ADB  Time : 3376.0 sec.
user=vaughan
[2009-08-10 01:19:17]
425*2^707918-1 is not prime.  Res64: FC032286E1E2A9A2  Time : 457.0 sec.
user=gd_barnes
[2009-08-10 01:21:35]
483*2^707907-1 is not prime.  Res64: B275779D5D74AA37  Time : 3369.0 sec.
user=vaughan
[2009-08-10 01:21:45]
507*2^707918-1 is not prime.  Res64: 25A3442AF928E878  Time : 463.0 sec.
user=gd_barnes
[2009-08-10 01:24:17]
435*2^707908-1 is not prime.  Res64: E77089FCA861B7E7  Time : 3376.0 sec.
user=vaughan
[2009-08-10 01:25:13]
597*2^707916-1 is not prime.  Res64: 055B4EC93A3A9513  Time : 856.0 sec.
user=gd_barnes
[2009-08-10 01:26:21]
495*2^707908-1 is not prime.  Res64: 54F7EFDF250DB9B3  Time : 3374.0 sec.
user=vaughan
[2009-08-10 01:26:53]
423*2^707919-1 is not prime.  Res64: BAFB212C275186D4  Time : 456.0 sec.
user=vaughan
[2009-08-10 01:27:08]
593*2^707916-1 is not prime.  Res64: D653F62530886C5D  Time : 976.0 sec.
user=gd_barnes
[2009-08-10 01:29:26]
507*2^707908-1 is not prime.  Res64: 37769AED4CCE3CDF  Time : 3377.0 sec.
user=vaughan
[2009-08-10 01:29:27]
469*2^707919-1 is not prime.  Res64: 91E41863177E5E2E  Time : 462.0 sec.
user=vaughan
[2009-08-10 01:31:16]
515*2^707918-1 is not prime.  Res64: 9176F5C43C733EE5  Time : 1011.0 sec.
user=vaughan
[2009-08-10 01:32:08]
585*2^707918-1 is not prime.  Res64: 64A9C44BCD53A331  Time : 850.0 sec.
user=gd_barnes
[2009-08-10 01:32:50]
445*2^707909-1 is not prime.  Res64: CCFE2DDCAA382A01  Time : 3371.0 sec.
user=vaughan
[2009-08-10 01:34:30]
527*2^707920-1 is not prime.  Res64: B58BD0C4145D852D  Time : 457.0 sec.
user=gd_barnes
[2009-08-10 01:35:32]
453*2^707911-1 is not prime.  Res64: 1B55D19963F25A7A  Time : 3377.0 sec.
user=vaughan
[2009-08-10 01:37:10]
503*2^707922-1 is not prime.  Res64: 3F633F8CD2BD6764  Time : 463.0 sec.
user=gd_barnes
[2009-08-10 01:37:35]
499*2^707911-1 is not prime.  Res64: 56718AF85EF93C74  Time : 3373.0 sec.
user=vaughan
[2009-08-10 01:39:32]
573*2^707919-1 is not prime.  Res64: CFBA904329669075  Time : 859.0 sec.
user=gd_barnes
[2009-08-10 01:40:40]
525*2^707912-1 is not prime.  Res64: 4F4C3874F0D9D0FA  Time : 3377.0 sec.
user=vaughan
[2009-08-10 01:42:07]
481*2^707923-1 is not prime.  Res64: BB09B67F73C0412E  Time : 457.0 sec.
user=vaughan
[2009-08-10 01:43:29]
549*2^707920-1 is not prime.  Res64: 6F58A9FCA8CA9848  Time : 981.0 sec.
user=gd_barnes
[2009-08-10 01:44:05]
537*2^707912-1 is not prime.  Res64: DAD42DBD386DDE73  Time : 3372.0 sec.
user=vaughan
[2009-08-10 01:44:52]
413*2^707924-1 is not prime.  Res64: 4A9EE2886E9EB4EF  Time : 462.0 sec.
user=vaughan
[2009-08-10 01:46:21]
525*2^707922-1 is not prime.  Res64: 825FF5F42E002005  Time : 853.0 sec.
user=gd_barnes
[2009-08-10 01:46:48]
459*2^707913-1 is not prime.  Res64: 2E669D771B5A895C  Time : 3377.0 sec.
user=vaughan
[2009-08-10 01:48:15]
507*2^707922-1 is not prime.  Res64: 0348E497432E1B3A  Time : 1019.0 sec.
user=gd_barnes
[2009-08-10 01:48:50]
475*2^707913-1 is not prime.  Res64: D758155B77786BE6  Time : 3374.0 sec.
user=vaughan
[2009-08-10 01:49:45]
579*2^707924-1 is not prime.  Res64: D1522877553E4EC7  Time : 458.0 sec.
user=gd_barnes
[2009-08-10 01:51:56]
525*2^707913-1 is not prime.  Res64: E10A398E46A8F839  Time : 3377.0 sec.
user=vaughan
[2009-08-10 01:52:38]
447*2^707925-1 is not prime.  Res64: F6D3A27B5979D03A  Time : 466.0 sec.
user=vaughan
[2009-08-10 01:53:38]
533*2^707924-1 is not prime.  Res64: BAAF6DA597880C78  Time : 846.0 sec.
user=gd_barnes
[2009-08-10 01:55:19]
555*2^707914-1 is not prime.  Res64: 98442367303A9B26  Time : 3371.0 sec.
user=vaughan
[2009-08-10 01:57:23]
471*2^707926-1 is not prime.  Res64: A509224AD9ADC58D  Time : 458.0 sec.
user=gd_barnes
[2009-08-10 01:58:04]
433*2^707915-1 is not prime.  Res64: 31C40D2C9D482650  Time : 3377.0 sec.
user=vaughan
[2009-08-10 01:59:44]
585*2^707924-1 is not prime.  Res64: 348D5E9A0ABEECD1  Time : 975.0 sec.
user=gd_barnes
[2009-08-10 02:00:06]
445*2^707915-1 is not prime.  Res64: 7388901F2668BF53  Time : 3374.0 sec.
user=vaughan
[2009-08-10 02:00:25]
505*2^707927-1 is not prime.  Res64: 5D357D10F3A4ABCB  Time : 467.0 sec.
user=vaughan
[2009-08-10 02:00:32]
451*2^707925-1 is not prime.  Res64: 74E11EAAC6CC03F7  Time : 851.0 sec.
user=gd_barnes
[2009-08-10 02:03:12]
525*2^707916-1 is not prime.  Res64: A3F500DA020BCE1B  Time : 3378.0 sec.
user=vaughan
[2009-08-10 02:05:00]
473*2^707928-1 is not prime.  Res64: 058DC6190B36B852  Time : 457.0 sec.
user=vaughan
[2009-08-10 02:05:16]
511*2^707925-1 is not prime.  Res64: B1762D9C7185A9F3  Time : 1022.0 sec.
user=gd_barnes
[2009-08-10 02:06:33]
563*2^707916-1 is not prime.  Res64: 1EF1FEB41BA6C5CF  Time : 3371.0 sec.
user=vaughan
[2009-08-10 02:07:22]
589*2^707927-1 is not prime.  Res64: E902687612E86D57  Time : 824.0 sec.
user=vaughan
[2009-08-10 02:08:07]
407*2^707930-1 is not prime.  Res64: 720DFFEB87498095  Time : 462.0 sec.
user=gd_barnes
[2009-08-10 02:09:19]
473*2^707918-1 is not prime.  Res64: 3BB5365B6757BC8A  Time : 3377.0 sec.
user=gd_barnes
[2009-08-10 02:11:20]
563*2^707918-1 is not prime.  Res64: 1F2DCF963A9DD158  Time : 3373.0 sec.
user=vaughan
[2009-08-10 02:12:37]
575*2^707930-1 is not prime.  Res64: D4BB2256D2CA4048  Time : 457.0 sec.
user=gd_barnes
[2009-08-10 02:14:27]
591*2^707918-1 is not prime.  Res64: 0C0994B4D9937B9A  Time : 3377.0 sec.
user=vaughan
[2009-08-10 02:14:48]
425*2^707930-1 is not prime.  Res64: 70E804500A37332C  Time : 856.0 sec.
user=vaughan
[2009-08-10 02:15:50]
489*2^707931-1 is not prime.  Res64: 6457473F925A37B9  Time : 463.0 sec.
user=vaughan
[2009-08-10 02:16:08]
509*2^707928-1 is not prime.  Res64: 393F549E3306B865  Time : 984.0 sec.
user=gd_barnes
[2009-08-10 02:17:47]
441*2^707919-1 is not prime.  Res64: 9D9DEDA0AC1F0AE5  Time : 3372.0 sec.
user=vaughan
[2009-08-10 02:20:14]
591*2^707931-1 is not prime.  Res64: DA3E87D6EC77DFF0  Time : 457.0 sec.
user=gd_barnes
[2009-08-10 02:20:34]
481*2^707919-1 is not prime.  Res64: EC2D42BEEF432C02  Time : 3377.0 sec.
user=vaughan
[2009-08-10 02:21:02]
441*2^707931-1 is not prime.  Res64: E4B10BEEA2FC7A11  Time : 820.0 sec.
user=vaughan
[2009-08-10 02:22:19]
581*2^707930-1 is not prime.  Res64: 5EF51E9B60E83B5B  Time : 1023.0 sec.
user=gd_barnes
[2009-08-10 02:22:34]
437*2^707920-1 is not prime.  Res64: 146411DBEACF4B54  Time : 3373.0 sec.
user=vaughan
[2009-08-10 02:23:33]
497*2^707932-1 is not prime.  Res64: E5D31E820ED8D758  Time : 464.0 sec.
user=gd_barnes
[2009-08-10 02:25:42]
549*2^707921-1 is not prime.  Res64: AF17A72727ECFCD2  Time : 3377.0 sec.
user=vaughan
[2009-08-10 02:27:51]
511*2^707933-1 is not prime.  Res64: 941BC4B57A392A20  Time : 457.0 sec.
user=gd_barnes
[2009-08-10 02:29:01]
441*2^707923-1 is not prime.  Res64: B4978957E269A864  Time : 3371.0 sec.
user=vaughan
[2009-08-10 02:29:02]
495*2^707932-1 is not prime.  Res64: C27CC39B5EDE940A  Time : 855.0 sec.
user=vaughan
[2009-08-10 02:31:16]
441*2^707935-1 is not prime.  Res64: E6CA60C8360D27D5  Time : 463.0 sec.
user=gd_barnes
[2009-08-10 02:31:50]
555*2^707923-1 is not prime.  Res64: E2DA00803E915719  Time : 3378.0 sec.
user=vaughan
[2009-08-10 02:32:29]
525*2^707932-1 is not prime.  Res64: 998DA67DCF45D995  Time : 981.0 sec.
user=gd_barnes
[2009-08-10 02:33:49]
477*2^707924-1 is not prime.  Res64: 5B621802136092AD  Time : 3374.0 sec.
user=vaughan
[2009-08-10 02:35:09]
413*2^707934-1 is not prime.  Res64: 269D8A1593ABFA22  Time : 847.0 sec.
user=vaughan
[2009-08-10 02:35:29]
479*2^707936-1 is not prime.  Res64: A3A7E736421CFC7E  Time : 458.0 sec.
user=gd_barnes
[2009-08-10 02:36:58]
563*2^707924-1 is not prime.  Res64: 71E3481CF6B0A850  Time : 3378.0 sec.
user=vaughan
[2009-08-10 02:38:58]
487*2^707937-1 is not prime.  Res64: B746426F7274E5EC  Time : 462.0 sec.
user=vaughan
[2009-08-10 02:39:15]
443*2^707934-1 is not prime.  Res64: F56D0F1B39218D09  Time : 1016.0 sec.
user=gd_barnes
[2009-08-10 02:40:16]
405*2^707925-1 is not prime.  Res64: E3B8D96793D0EEA4  Time : 3371.0 sec.
user=gd_barnes
[2009-08-10 02:43:04]
475*2^707925-1 is not prime.  Res64: 895AF6D67CC53998  Time : 3376.0 sec.
user=vaughan
[2009-08-10 02:43:07]
513*2^707938-1 is not prime.  Res64: DFDDEE79FE0F1766  Time : 458.0 sec.
user=vaughan
[2009-08-10 02:43:16]
405*2^707937-1 is not prime.  Res64: 2239CF9224C21B42  Time : 854.0 sec.
user=gd_barnes
[2009-08-10 02:45:05]
531*2^707925-1 is not prime.  Res64: 296C5536D47067D6  Time : 3375.0 sec.
user=vaughan
[2009-08-10 02:46:40]
511*2^707939-1 is not prime.  Res64: 53CF8A9904F26244  Time : 463.0 sec.
user=gd_barnes
[2009-08-10 02:48:13]
593*2^707926-1 is not prime.  Res64: 516E9D0B3E08B7B7  Time : 3377.0 sec.
user=vaughan
[2009-08-10 02:48:56]
555*2^707937-1 is not prime.  Res64: DC0B1A8779AF7BCC  Time : 987.0 sec.
user=vaughan
[2009-08-10 02:49:01]
435*2^707938-1 is not prime.  Res64: 63C0386F908E1605  Time : 833.0 sec.
user=vaughan
[2009-08-10 02:50:45]
503*2^707940-1 is not prime.  Res64: C2276AA92A311821  Time : 459.0 sec.
user=gd_barnes
[2009-08-10 02:51:29]
595*2^707927-1 is not prime.  Res64: D1DEAF6F4709045D  Time : 3371.0 sec.
user=gd_barnes
[2009-08-10 02:54:20]
479*2^707928-1 is not prime.  Res64: 8E74D520EEF3ADF3  Time : 3377.0 sec.
user=vaughan
[2009-08-10 02:54:22]
465*2^707941-1 is not prime.  Res64: F030AFA2FCC669B4  Time : 463.0 sec.
user=vaughan
[2009-08-10 02:56:05]
549*2^707939-1 is not prime.  Res64: 76EBF82A2FFEBE18  Time : 1011.0 sec.
user=gd_barnes
[2009-08-10 02:56:19]
549*2^707928-1 is not prime.  Res64: 3DDC7B0F98FC313B  Time : 3374.0 sec.
user=vaughan
[2009-08-10 02:57:26]
545*2^707940-1 is not prime.  Res64: 97105F2D2A379CA2  Time : 850.0 sec.
user=vaughan
[2009-08-10 02:58:22]
547*2^707941-1 is not prime.  Res64: 91FBB28C035CF208  Time : 457.0 sec.
user=gd_barnes
[2009-08-10 02:59:28]
525*2^707930-1 is not prime.  Res64: B194C94662A4EEFA  Time : 3376.0 sec.
user=vaughan
[2009-08-10 03:02:04]
407*2^707942-1 is not prime.  Res64: 6C28538B8BB88D27  Time : 463.0 sec.
user=gd_barnes
[2009-08-10 03:02:44]
593*2^707930-1 is not prime.  Res64: 261B068AEF4FA306  Time : 3371.0 sec.
user=vaughan
[2009-08-10 03:03:12]
499*2^707941-1 is not prime.  Res64: 2D5DDD71CD1B7850  Time : 851.0 sec.
user=vaughan
[2009-08-10 03:05:13]
477*2^707941-1 is not prime.  Res64: 182FF9B63BD357DB  Time : 977.0 sec.
user=gd_barnes
[2009-08-10 03:05:35]
555*2^707931-1 is not prime.  Res64: 40796FAE7FC56FCC  Time : 3376.0 sec.
user=vaughan
[2009-08-10 03:06:00]
539*2^707944-1 is not prime.  Res64: 3807397F91F55A64  Time : 458.0 sec.
user=gd_barnes
[2009-08-10 03:07:33]
583*2^707931-1 is not prime.  Res64: BFCB4AABD5C2ABA4  Time : 3374.0 sec.
user=vaughan
[2009-08-10 03:09:47]
517*2^707945-1 is not prime.  Res64: A5332C6E28764F58  Time : 464.0 sec.
user=gd_barnes
[2009-08-10 03:10:44]
423*2^707932-1 is not prime.  Res64: CC6E11C771A14889  Time : 3378.0 sec.
user=vaughan
[2009-08-10 03:11:33]
435*2^707944-1 is not prime.  Res64: C89C03E72E2F7BF2  Time : 847.0 sec.
user=vaughan
[2009-08-10 03:12:57]
425*2^707942-1 is not prime.  Res64: 21E9A8C690326864  Time : 1012.0 sec.
user=vaughan
[2009-08-10 03:13:38]
437*2^707948-1 is not prime.  Res64: FA780EF693637C13  Time : 458.0 sec.
user=gd_barnes
[2009-08-10 03:13:58]
439*2^707933-1 is not prime.  Res64: 0D8DD5D017EEE060  Time : 3371.0 sec.
user=gd_barnes
[2009-08-10 03:16:51]
529*2^707933-1 is not prime.  Res64: 8C48C654E3B8AE4D  Time : 3377.0 sec.
user=vaughan
[2009-08-10 03:17:03]
525*2^707946-1 is not prime.  Res64: 8737A663ECA05E9E  Time : 831.0 sec.
user=vaughan
[2009-08-10 03:17:28]
533*2^707948-1 is not prime.  Res64: D171F9FA73BDEFD2  Time : 462.0 sec.
user=gd_barnes
[2009-08-10 03:18:49]
485*2^707934-1 is not prime.  Res64: FB38A400C11B3A91  Time : 3375.0 sec.
user=vaughan
[2009-08-10 03:21:16]
499*2^707949-1 is not prime.  Res64: F9FEBB6B84DCA4B6  Time : 458.0 sec.
user=vaughan
[2009-08-10 03:21:30]
555*2^707947-1 is not prime.  Res64: EF4F1F3E2EF16278  Time : 977.0 sec.
user=gd_barnes
[2009-08-10 03:21:59]
459*2^707936-1 is not prime.  Res64: B4FC67B63DE4BCDA  Time : 3377.0 sec.
user=vaughan
[2009-08-10 03:25:09]
409*2^707951-1 is not prime.  Res64: C251D6F90A256CCB  Time : 462.0 sec.
user=gd_barnes
[2009-08-10 03:25:13]
537*2^707936-1 is not prime.  Res64: 6A2D5DF804ABB74D  Time : 3372.0 sec.
user=vaughan
[2009-08-10 03:25:41]
459*2^707949-1 is not prime.  Res64: 2A3A5F64851DEF21  Time : 848.0 sec.
user=gd_barnes
[2009-08-10 03:28:06]
499*2^707937-1 is not prime.  Res64: 63EBE21F15BB5F7E  Time : 3376.0 sec.
user=vaughan
[2009-08-10 03:28:54]
439*2^707951-1 is not prime.  Res64: DF3E54FA49DFF17D  Time : 458.0 sec.
user=vaughan
[2009-08-10 03:29:49]
465*2^707949-1 is not prime.  Res64: BC36A9033EB6BDA9  Time : 1012.0 sec.
user=gd_barnes
[2009-08-10 03:30:03]
565*2^707937-1 is not prime.  Res64: 3DB27B079E800D13  Time : 3374.0 sec.
user=vaughan
[2009-08-10 03:31:15]
591*2^707950-1 is not prime.  Res64: 1B8C8DDB38AD8ABA  Time : 853.0 sec.
user=vaughan
[2009-08-10 03:32:51]
489*2^707952-1 is not prime.  Res64: CAECA71AAA1189D7  Time : 463.0 sec.
user=gd_barnes
[2009-08-10 03:33:14]
489*2^707939-1 is not prime.  Res64: 735C37B78D32212C  Time : 3376.0 sec.
user=gd_barnes
[2009-08-10 03:36:26]
589*2^707939-1 is not prime.  Res64: 423061F7D04780B0  Time : 3371.0 sec.
user=vaughan
[2009-08-10 03:36:31]
465*2^707953-1 is not prime.  Res64: D1FDEBAAF6590DF6  Time : 458.0 sec.
user=vaughan
[2009-08-10 03:37:44]
453*2^707951-1 is not prime.  Res64: 5C9E41F49D8C12F3  Time : 975.0 sec.
user=gd_barnes
[2009-08-10 03:39:21]
473*2^707940-1 is not prime.  Res64: 3315BC2AF852533F  Time : 3377.0 sec.
user=vaughan
[2009-08-10 03:39:53]
567*2^707952-1 is not prime.  Res64: 182F840EB74BA54E  Time : 852.0 sec.
user=vaughan
[2009-08-10 03:40:32]
559*2^707953-1 is not prime.  Res64: 06ADE150823D8BB2  Time : 462.0 sec.
user=gd_barnes
[2009-08-10 03:41:17]
567*2^707940-1 is not prime.  Res64: 92D5F83CCAC2B486  Time : 3372.0 sec.
user=vaughan
[2009-08-10 03:44:08]
497*2^707954-1 is not prime.  Res64: 5E30F2E4DA417600  Time : 457.0 sec.
user=gd_barnes
[2009-08-10 03:44:29]
469*2^707941-1 is not prime.  Res64: D61402352817AD5F  Time : 3376.0 sec.
user=vaughan
[2009-08-10 03:44:53]
549*2^707953-1 is not prime.  Res64: D77FDB46EE60B730  Time : 819.0 sec.
user=vaughan
[2009-08-10 03:46:43]
471*2^707953-1 is not prime.  Res64: D4002CE66CA98B79  Time : 1014.0 sec.
user=gd_barnes
[2009-08-10 03:47:41]
559*2^707941-1 is not prime.  Res64: B7A391685FD8CC75  Time : 3372.0 sec.
user=vaughan
[2009-08-10 03:48:15]
433*2^707955-1 is not prime.  Res64: 6ED733F3DEB368D8  Time : 463.0 sec.
user=gd_barnes
[2009-08-10 03:50:36]
405*2^707942-1 is not prime.  Res64: 2A4BDFB71666C41D  Time : 3376.0 sec.
user=vaughan
[2009-08-10 03:51:45]
459*2^707955-1 is not prime.  Res64: B2E3B7FB99D44349  Time : 457.0 sec.
user=gd_barnes
[2009-08-10 03:52:32]
563*2^707942-1 is not prime.  Res64: 97A75D9F9AA06CF3  Time : 3373.0 sec.
user=vaughan
[2009-08-10 03:54:08]
545*2^707954-1 is not prime.  Res64: A8099629FA2A3BDB  Time : 855.0 sec.
user=vaughan
[2009-08-10 03:54:09]
525*2^707954-1 is not prime.  Res64: EB4B565A41C7EB11  Time : 985.0 sec.
user=gd_barnes
[2009-08-10 03:55:44]
489*2^707945-1 is not prime.  Res64: 3A27285C762DFED1  Time : 3376.0 sec.
user=vaughan
[2009-08-10 03:55:58]
437*2^707958-1 is not prime.  Res64: 04F03327D0F67DE7  Time : 464.0 sec.
user=gd_barnes
[2009-08-10 03:58:55]
411*2^707946-1 is not prime.  Res64: 5F067A52407155C1  Time : 3371.0 sec.
user=vaughan
[2009-08-10 03:59:21]
579*2^707956-1 is not prime.  Res64: F83D856F6C94D8DD  Time : 868.0 sec.
user=vaughan
[2009-08-10 03:59:22]
507*2^707958-1 is not prime.  Res64: EA8FB659DB73754B  Time : 457.0 sec.
user=gd_barnes
[2009-08-10 04:01:52]
425*2^707948-1 is not prime.  Res64: 9EA4298C60FC19E6  Time : 3377.0 sec.
user=vaughan
[2009-08-10 04:03:34]
529*2^707957-1 is not prime.  Res64: 366F24850BA2BE24  Time : 1011.0 sec.
user=vaughan
[2009-08-10 04:03:40]
505*2^707959-1 is not prime.  Res64: 8B0F30C5940C4314  Time : 463.0 sec.
user=gd_barnes
[2009-08-10 04:03:47]
525*2^707948-1 is not prime.  Res64: 86382802287EE973  Time : 3374.0 sec.
user=vaughan
[2009-08-10 04:06:58]
579*2^707959-1 is not prime.  Res64: E2E323181AAC41EA  Time : 456.0 sec.
user=gd_barnes
[2009-08-10 04:07:00]
457*2^707949-1 is not prime.  Res64: 1825F4B065BCFFC2  Time : 3376.0 sec.
user=vaughan
[2009-08-10 04:08:26]
515*2^707958-1 is not prime.  Res64: AB9F51341D0F6056  Time : 858.0 sec.
user=gd_barnes
[2009-08-10 04:10:09]
443*2^707950-1 is not prime.  Res64: C0EB0F37B4B69A85  Time : 3371.0 sec.
user=vaughan
[2009-08-10 04:10:29]
581*2^707958-1 is not prime.  Res64: E0FCB6DF10EFF681  Time : 981.0 sec.
user=vaughan
[2009-08-10 04:11:23]
465*2^707960-1 is not prime.  Res64: 12B3F28CC672AB32  Time : 464.0 sec.
user=vaughan
[2009-08-10 04:12:47]
553*2^707959-1 is not prime.  Res64: 075A1609A67AC1C5  Time : 806.0 sec.
user=gd_barnes
[2009-08-10 04:13:07]
453*2^707950-1 is not prime.  Res64: BFD3008C66BB6DC1  Time : 3376.0 sec.
user=vaughan
[2009-08-10 04:14:35]
409*2^707961-1 is not prime.  Res64: 0628B9B1DD00C29C  Time : 457.0 sec.
user=gd_barnes
[2009-08-10 04:15:02]
421*2^707951-1 is not prime.  Res64: 43C97C891BB2FAD6  Time : 3373.0 sec.
user=gd_barnes
[2009-08-10 04:18:15]
549*2^707951-1 is not prime.  Res64: E30C496F8E7B11BC  Time : 3376.0 sec.
user=vaughan
[2009-08-10 04:19:08]
447*2^707962-1 is not prime.  Res64: 33D415093D9B4DD0  Time : 466.0 sec.
user=vaughan
[2009-08-10 04:20:12]
447*2^707960-1 is not prime.  Res64: 541737B4F3A64D4E  Time : 998.0 sec.
user=gd_barnes
[2009-08-10 04:21:23]
537*2^707952-1 is not prime.  Res64: D2C7CB0CA50EFE47  Time : 3371.0 sec.
user=vaughan
[2009-08-10 04:22:14]
521*2^707962-1 is not prime.  Res64: A5F28D2095654E5D  Time : 459.0 sec.
user=vaughan
[2009-08-10 04:22:27]
555*2^707961-1 is not prime.  Res64: 94FD8353A03D8582  Time : 841.0 sec.
user=gd_barnes
[2009-08-10 04:24:22]
411*2^707953-1 is not prime.  Res64: B49E0BD63F8CE85A  Time : 3376.0 sec.
user=gd_barnes
[2009-08-10 04:26:16]
511*2^707953-1 is not prime.  Res64: F5287C87112227E1  Time : 3373.0 sec.
user=vaughan
[2009-08-10 04:26:44]
597*2^707961-1 is not prime.  Res64: B324AF7184579D1B  Time : 976.0 sec.
user=vaughan
[2009-08-10 04:26:50]
493*2^707963-1 is not prime.  Res64: 86D9B726AD6F3BAE  Time : 462.0 sec.
user=vaughan
[2009-08-10 04:26:52]
461*2^707962-1 is not prime.  Res64: EF21C5710A8021DC  Time : 845.0 sec.
user=gd_barnes
[2009-08-10 04:29:30]
437*2^707954-1 is not prime.  Res64: BCC1EEE6456387D7  Time : 3376.0 sec.
user=vaughan
[2009-08-10 04:29:51]
423*2^707964-1 is not prime.  Res64: 05A2E5DD2E400FCB  Time : 458.0 sec.
user=gd_barnes
[2009-08-10 04:32:38]
477*2^707954-1 is not prime.  Res64: 17E67DE9747BEF35  Time : 3372.0 sec.
user=vaughan
[2009-08-10 04:34:33]
497*2^707964-1 is not prime.  Res64: C4F378544029FBD3  Time : 464.0 sec.
user=gd_barnes
[2009-08-10 04:35:39]
533*2^707954-1 is not prime.  Res64: 975511D08C7B0209  Time : 3378.0 sec.
user=vaughan
[2009-08-10 04:36:33]
437*2^707964-1 is not prime.  Res64: C2996EDF57233F38  Time : 847.0 sec.
user=vaughan
[2009-08-10 04:36:49]
505*2^707963-1 is not prime.  Res64: EA1038FC05CC1B9A  Time : 997.0 sec.
user=vaughan
[2009-08-10 04:37:28]
585*2^707964-1 is not prime.  Res64: C8503D6AEDCF6B75  Time : 458.0 sec.
user=gd_barnes
[2009-08-10 04:37:31]
451*2^707955-1 is not prime.  Res64: 2738ED7B93577B3D  Time : 3374.0 sec.
user=gd_barnes
[2009-08-10 04:40:45]
511*2^707955-1 is not prime.  Res64: B0B89C7931EB297F  Time : 3376.0 sec.
user=vaughan
[2009-08-10 04:40:48]
527*2^707964-1 is not prime.  Res64: 7AB8E7D0AC9FCAFF  Time : 837.0 sec.
user=vaughan
[2009-08-10 04:42:16]
537*2^707965-1 is not prime.  Res64: 3F988A2A1DAFDF85  Time : 464.0 sec.
user=vaughan
[2009-08-10 04:42:45]
479*2^707964-1 is not prime.  Res64: 5EC02951DF062251  Time : 961.0 sec.
user=gd_barnes
[2009-08-10 04:43:52]
589*2^707957-1 is not prime.  Res64: 7CFFF982D67C8DF8  Time : 3371.0 sec.
user=vaughan
[2009-08-10 04:45:06]
495*2^707966-1 is not prime.  Res64: 61FE81EA08F84F0A  Time : 459.0 sec.
user=gd_barnes
[2009-08-10 04:46:53]
485*2^707958-1 is not prime.  Res64: 6653CB1E8C53FD33  Time : 3377.0 sec.
user=gd_barnes
[2009-08-10 04:48:46]
513*2^707958-1 is not prime.  Res64: 9808930325BAAE36  Time : 3374.0 sec.
user=vaughan
[2009-08-10 04:49:58]
579*2^707967-1 is not prime.  Res64: C177080F330CE95B  Time : 463.0 sec.
user=vaughan
[2009-08-10 04:50:40]
591*2^707965-1 is not prime.  Res64: BACBE8C7AF88F85D  Time : 847.0 sec.
user=gd_barnes
[2009-08-10 04:52:01]
441*2^707959-1 is not prime.  Res64: 7E467B0FC165FB55  Time : 3377.0 sec.
user=vaughan
[2009-08-10 04:52:43]
469*2^707969-1 is not prime.  Res64: 4AA8F15D756A32B2  Time : 458.0 sec.
user=vaughan
[2009-08-10 04:53:20]
461*2^707966-1 is not prime.  Res64: A668DA1BD5219C19  Time : 991.0 sec.
user=vaughan
[2009-08-10 04:54:35]
511*2^707967-1 is not prime.  Res64: E1714276379B0319  Time : 827.0 sec.
user=gd_barnes
[2009-08-10 04:55:05]
511*2^707959-1 is not prime.  Res64: 5E0D265F39F32FA0  Time : 3370.0 sec.
user=vaughan
[2009-08-10 04:57:41]
525*2^707970-1 is not prime.  Res64: 6F5635E448D87BAD  Time : 464.0 sec.
user=gd_barnes
[2009-08-10 04:58:09]
417*2^707960-1 is not prime.  Res64: 9E61CE35342F637A  Time : 3377.0 sec.
user=vaughan
[2009-08-10 04:59:07]
539*2^707968-1 is not prime.  Res64: 1157CD78AE40DE56  Time : 982.0 sec.
user=gd_barnes
[2009-08-10 05:00:00]
509*2^707960-1 is not prime.  Res64: 8FA4CF379D12B23A  Time : 3373.0 sec.
user=vaughan
[2009-08-10 05:00:20]
421*2^707971-1 is not prime.  Res64: 532934D5826330AA  Time : 457.0 sec.
user=gd_barnes
[2009-08-10 05:03:15]
475*2^707961-1 is not prime.  Res64: F9E747D083AB123C  Time : 3375.0 sec.
user=vaughan
[2009-08-10 05:04:47]
581*2^707970-1 is not prime.  Res64: 9B3AA60B9D00AF6E  Time : 847.0 sec.
user=vaughan
[2009-08-10 05:05:23]
435*2^707972-1 is not prime.  Res64: 6F665200F26868A1  Time : 463.0 sec.
user=gd_barnes
[2009-08-10 05:06:20]
571*2^707961-1 is not prime.  Res64: C5884624BBBCDDF6  Time : 3371.0 sec.
user=vaughan
[2009-08-10 05:07:57]
529*2^707973-1 is not prime.  Res64: 06D65B68FE5A7A87  Time : 457.0 sec.
user=vaughan
[2009-08-10 05:08:37]
405*2^707972-1 is not prime.  Res64: 88A9856B341B280C  Time : 842.0 sec.
user=gd_barnes
[2009-08-10 05:09:25]
471*2^707962-1 is not prime.  Res64: 3620DDFA8740C833  Time : 3378.0 sec.
user=vaughan
[2009-08-10 05:10:05]
493*2^707971-1 is not prime.  Res64: 09CF1838FAF8C997  Time : 1005.0 sec.
user=gd_barnes
[2009-08-10 05:11:15]
555*2^707962-1 is not prime.  Res64: EF5449F0D83C571F  Time : 3374.0 sec.
user=vaughan
[2009-08-10 05:13:05]
513*2^707974-1 is not prime.  Res64: 6F03B23F9A90EA77  Time : 462.0 sec.
user=gd_barnes
[2009-08-10 05:14:31]
409*2^707963-1 is not prime.  Res64: 1E5A41827A5B2C9D  Time : 3377.0 sec.
user=vaughan
[2009-08-10 05:15:31]
573*2^707972-1 is not prime.  Res64: CD8133F82B700207  Time : 985.0 sec.
user=vaughan
[2009-08-10 05:15:35]
459*2^707975-1 is not prime.  Res64: 37B5ACB09678CF95  Time : 458.0 sec.
user=gd_barnes
[2009-08-10 05:17:34]
591*2^707963-1 is not prime.  Res64: 45343E668EA880C0  Time : 3371.0 sec.
user=vaughan
[2009-08-10 05:18:58]
503*2^707974-1 is not prime.  Res64: DB549A4E6499FD3A  Time : 852.0 sec.
user=gd_barnes
[2009-08-10 05:20:40]
459*2^707964-1 is not prime.  Res64: 540E365F7E444180  Time : 3378.0 sec.
user=vaughan
[2009-08-10 05:20:46]
465*2^707976-1 is not prime.  Res64: 26669D7D8880BCF0  Time : 461.0 sec.
user=vaughan
[2009-08-10 05:21:52]
469*2^707975-1 is not prime.  Res64: 54F279F8FF8F1371  Time : 795.0 sec.
user=gd_barnes
[2009-08-10 05:22:30]
465*2^707964-1 is not prime.  Res64: 0FAB7A5B220048B7  Time : 3374.0 sec.
user=vaughan
[2009-08-10 05:23:13]
597*2^707976-1 is not prime.  Res64: DBA5593E8F454011  Time : 458.0 sec.
user=gd_barnes
[2009-08-10 05:25:47]
579*2^707964-1 is not prime.  Res64: 1D8A9711DF32B029  Time : 3377.0 sec.
user=vaughan
[2009-08-10 05:25:49]
493*2^707975-1 is not prime.  Res64: 8B300016F82B3C0A  Time : 944.0 sec.
user=vaughan
[2009-08-10 05:28:28]
425*2^707978-1 is not prime.  Res64: 91AEC20A9F3A0885  Time : 462.0 sec.
user=gd_barnes
[2009-08-10 05:28:49]
597*2^707964-1 is not prime.  Res64: A575B452F9C70B0A  Time : 3371.0 sec.
user=vaughan
[2009-08-10 05:30:48]
563*2^707976-1 is not prime.  Res64: DD839FCDE0275037  Time : 917.0 sec.
user=vaughan
[2009-08-10 05:30:50]
471*2^707979-1 is not prime.  Res64: C4333CCC20685D88  Time : 457.0 sec.
user=gd_barnes
[2009-08-10 05:31:54]
555*2^707965-1 is not prime.  Res64: A472FE2D98301210  Time : 3376.0 sec.
user=vaughan
[2009-08-10 05:32:27]
555*2^707977-1 is not prime.  Res64: 098271429324BE54  Time : 809.0 sec.
user=gd_barnes
[2009-08-10 05:33:45]
585*2^707966-1 is not prime.  Res64: 9CD406B6AB6D9487  Time : 3374.0 sec.
user=vaughan
[2009-08-10 05:35:51]
561*2^707978-1 is not prime.  Res64: 7180D9C778488DBC  Time : 839.0 sec.
user=vaughan
[2009-08-10 05:36:10]
593*2^707980-1 is not prime.  Res64: 2C3D38AA1A3AD050  Time : 462.0 sec.
user=gd_barnes
[2009-08-10 05:37:02]
501*2^707967-1 is not prime.  Res64: 9395675DAA9C387C  Time : 3377.0 sec.
user=vaughan
[2009-08-10 05:38:27]
565*2^707981-1 is not prime.  Res64: CAF2F7459B415406  Time : 457.0 sec.
user=gd_barnes
[2009-08-10 05:40:03]
575*2^707968-1 is not prime.  Res64: 3B6A0419B4E6B227  Time : 3371.0 sec.
user=vaughan
[2009-08-10 05:42:04]
513*2^707980-1 is not prime.  Res64: 45E616FCC8D2EBC1  Time : 976.0 sec.
user=gd_barnes
[2009-08-10 05:43:10]
507*2^707969-1 is not prime.  Res64: E0D6F3A4D7993081  Time : 3377.0 sec.
user=vaughan
[2009-08-10 05:43:53]
423*2^707983-1 is not prime.  Res64: A5225D566C3C6EC4  Time : 463.0 sec.
user=gd_barnes
[2009-08-10 05:45:00]
525*2^707969-1 is not prime.  Res64: 0DBDB75427C061FD  Time : 3374.0 sec.
user=vaughan
[2009-08-10 05:46:04]
453*2^707983-1 is not prime.  Res64: 0448CE1C6699BFFA  Time : 457.0 sec.
user=vaughan
[2009-08-10 05:46:25]
563*2^707982-1 is not prime.  Res64: C12333787D4DC0CB  Time : 838.0 sec.
user=vaughan
[2009-08-10 05:46:40]
487*2^707981-1 is not prime.  Res64: 99D0B4FF857FC269  Time : 952.0 sec.
user=gd_barnes
[2009-08-10 05:48:18]
405*2^707971-1 is not prime.  Res64: 170CA14C35172667  Time : 3377.0 sec.
user=vaughan
[2009-08-10 05:50:17]
421*2^707983-1 is not prime.  Res64: 6F6C8EF648C5033B  Time : 866.0 sec.
user=gd_barnes
[2009-08-10 05:51:18]
417*2^707972-1 is not prime.  Res64: DB7E19E21BBE6511  Time : 3373.0 sec.
user=vaughan
[2009-08-10 05:51:36]
405*2^707985-1 is not prime.  Res64: F53031A2BF06E58E  Time : 463.0 sec.
user=vaughan
[2009-08-10 05:53:41]
507*2^707985-1 is not prime.  Res64: 4914394F377EAE8C  Time : 457.0 sec.
user=gd_barnes
[2009-08-10 05:54:25]
447*2^707972-1 is not prime.  Res64: D55584AAEAF9A62F  Time : 3376.0 sec.
user=gd_barnes
[2009-08-10 05:56:15]
439*2^707973-1 is not prime.  Res64: 28CE9077B7B050A4  Time : 3375.0 sec.
user=vaughan
[2009-08-10 05:58:36]
499*2^707983-1 is not prime.  Res64: 1643298B6B677BD3  Time : 993.0 sec.
user=vaughan
[2009-08-10 05:59:19]
561*2^707986-1 is not prime.  Res64: C90F11285586D6C6  Time : 463.0 sec.
user=gd_barnes
[2009-08-10 05:59:34]
453*2^707974-1 is not prime.  Res64: C98AEC7A973544B9  Time : 3379.0 sec.
user=vaughan
[2009-08-10 06:00:30]
577*2^707985-1 is not prime.  Res64: 3E1572F40E909EAC  Time : 845.0 sec.
user=vaughan
[2009-08-10 06:01:18]
495*2^707987-1 is not prime.  Res64: 73502C1D51B6930D  Time : 457.0 sec.
user=gd_barnes
[2009-08-10 06:02:32]
433*2^707975-1 is not prime.  Res64: F750D8DE83044CC8  Time : 3372.0 sec.
user=vaughan
[2009-08-10 06:02:49]
579*2^707985-1 is not prime.  Res64: 1B806D14EBBC4A4F  Time : 969.0 sec.
user=vaughan
[2009-08-10 06:04:07]
531*2^707986-1 is not prime.  Res64: 0B18708ADBA6B436  Time : 830.0 sec.
user=gd_barnes
[2009-08-10 06:05:39]
475*2^707975-1 is not prime.  Res64: D339FEB3C0A85871  Time : 3374.0 sec.
user=vaughan
[2009-08-10 06:07:02]
473*2^707988-1 is not prime.  Res64: C82A690168E39981  Time : 463.0 sec.
user=gd_barnes
[2009-08-10 06:07:30]
405*2^707976-1 is not prime.  Res64: 2E23F43D7654FD84  Time : 3375.0 sec.
user=vaughan
[2009-08-10 06:08:55]
515*2^707990-1 is not prime.  Res64: 2E422A08CB936392  Time : 457.0 sec.
user=gd_barnes
[2009-08-10 06:10:50]
515*2^707976-1 is not prime.  Res64: 53F5B14EB646746E  Time : 3379.0 sec.
user=gd_barnes
[2009-08-10 06:13:46]
549*2^707977-1 is not prime.  Res64: 4A5EF40D78F6CEB4  Time : 3372.0 sec.
user=vaughan
[2009-08-10 06:14:30]
565*2^707989-1 is not prime.  Res64: 82E707A9A2CF9AC0  Time : 841.0 sec.
user=vaughan
[2009-08-10 06:14:44]
423*2^707992-1 is not prime.  Res64: 9D47B29DE9882B70  Time : 462.0 sec.
user=vaughan
[2009-08-10 06:15:10]
419*2^707988-1 is not prime.  Res64: 2C4EE6FFD13FC383  Time : 994.0 sec.
user=vaughan
[2009-08-10 06:16:33]
519*2^707992-1 is not prime.  Res64: F30EB87BC5815250  Time : 458.0 sec.
user=gd_barnes
[2009-08-10 06:16:55]
595*2^707977-1 is not prime.  Res64: 90193238F0DDCD84  Time : 3376.0 sec.
user=gd_barnes
[2009-08-10 06:18:44]
469*2^707979-1 is not prime.  Res64: E19856FC51A172ED  Time : 3374.0 sec.
user=vaughan
[2009-08-10 06:18:53]
453*2^707991-1 is not prime.  Res64: 54215A0BC765C5E1  Time : 964.0 sec.
user=vaughan
[2009-08-10 06:19:03]
459*2^707991-1 is not prime.  Res64: B6CC20D9F92AA7F5  Time : 896.0 sec.
user=gd_barnes
[2009-08-10 06:22:06]
483*2^707979-1 is not prime.  Res64: 8E022978414595E1  Time : 3379.0 sec.
user=vaughan
[2009-08-10 06:22:26]
495*2^707993-1 is not prime.  Res64: 945BF49B3D1EB26F  Time : 462.0 sec.
user=vaughan
[2009-08-10 06:24:11]
559*2^707993-1 is not prime.  Res64: FE4DA417810C93BC  Time : 458.0 sec.
user=gd_barnes
[2009-08-10 06:25:00]
597*2^707980-1 is not prime.  Res64: B671644205C3CA4E  Time : 3371.0 sec.
user=gd_barnes
[2009-08-10 06:28:11]
579*2^707981-1 is not prime.  Res64: 5D73ADEE3D39A5D6  Time : 3377.0 sec.
user=vaughan
[2009-08-10 06:28:37]
481*2^707993-1 is not prime.  Res64: 98EA0842A53438C9  Time : 847.0 sec.
user=gd_barnes
[2009-08-10 06:29:59]
593*2^707982-1 is not prime.  Res64: A2F76804C7C1DD0C  Time : 3375.0 sec.
user=vaughan
[2009-08-10 06:30:08]
507*2^707994-1 is not prime.  Res64: 755C9D6CFCB54E41  Time : 462.0 sec.
user=vaughan
[2009-08-10 06:31:45]
525*2^707993-1 is not prime.  Res64: 394D2FAD22EA2DD4  Time : 996.0 sec.
user=vaughan
[2009-08-10 06:31:49]
527*2^707994-1 is not prime.  Res64: 89628384D80DDB53  Time : 458.0 sec.
user=vaughan
[2009-08-10 06:33:15]
423*2^707994-1 is not prime.  Res64: 9DD6DE38BFBBDB91  Time : 853.0 sec.
user=gd_barnes
[2009-08-10 06:33:20]
441*2^707983-1 is not prime.  Res64: 3C47233764ED05FA  Time : 3379.0 sec.
user=vaughan
[2009-08-10 06:34:59]
589*2^707993-1 is not prime.  Res64: 9B29B467B9467820  Time : 967.0 sec.
user=gd_barnes
[2009-08-10 06:36:13]
489*2^707983-1 is not prime.  Res64: 3C60AE3339AF8006  Time : 3370.0 sec.
user=vaughan
[2009-08-10 06:37:50]
555*2^707995-1 is not prime.  Res64: CA0DE02AECC7EBC9  Time : 462.0 sec.
user=gd_barnes
[2009-08-10 06:39:25]
549*2^707983-1 is not prime.  Res64: F4BBC55D5B008482  Time : 3375.0 sec.
user=vaughan
[2009-08-10 06:39:26]
473*2^707996-1 is not prime.  Res64: 2368D95253AFAFE0  Time : 457.0 sec.
user=gd_barnes
[2009-08-10 06:41:15]
415*2^707985-1 is not prime.  Res64: 8B80F50ADE4BC182  Time : 3375.0 sec.
user=vaughan
[2009-08-10 06:42:37]
531*2^707995-1 is not prime.  Res64: 1AB71E5DBE1F33B2  Time : 841.0 sec.
user=gd_barnes
[2009-08-10 06:44:36]
477*2^707986-1 is not prime.  Res64: 9DD868D533E33552  Time : 3378.0 sec.
user=vaughan
[2009-08-10 06:45:33]
439*2^707997-1 is not prime.  Res64: 1A0155066F1F03E7  Time : 463.0 sec.
user=vaughan
[2009-08-10 06:47:04]
435*2^707998-1 is not prime.  Res64: 67FBF8BFBE9533D9  Time : 458.0 sec.
user=gd_barnes
[2009-08-10 06:47:27]
551*2^707986-1 is not prime.  Res64: 51B1B1DEB863F683  Time : 3369.0 sec.
user=vaughan
[2009-08-10 06:47:53]
503*2^707996-1 is not prime.  Res64: CC29CE45D052C62C  Time : 878.0 sec.
user=vaughan
[2009-08-10 06:48:15]
465*2^707996-1 is not prime.  Res64: 94367A6BBF1EAB51  Time : 990.0 sec.
user=gd_barnes
[2009-08-10 06:50:40]
505*2^707987-1 is not prime.  Res64: 40BA45EF0138DF45  Time : 3375.0 sec.
user=vaughan
[2009-08-10 06:51:01]
525*2^707996-1 is not prime.  Res64: 06A9E23E235D998B  Time : 962.0 sec.
user=gd_barnes
[2009-08-10 06:52:30]
585*2^707987-1 is not prime.  Res64: 4F245A567D617CDD  Time : 3375.0 sec.
user=vaughan
[2009-08-10 06:53:16]
439*2^707999-1 is not prime.  Res64: A2E88FE009D183E7  Time : 463.0 sec.
user=vaughan
[2009-08-10 06:54:41]
525*2^707999-1 is not prime.  Res64: AD6F959F03AB0F85  Time : 457.0 sec.
user=gd_barnes
[2009-08-10 06:55:52]
489*2^707988-1 is not prime.  Res64: 908FE7FC0BD03BE0  Time : 3378.0 sec.
user=vaughan
[2009-08-10 06:56:30]
545*2^707998-1 is not prime.  Res64: 36B716DE00298479  Time : 834.0 sec.
user=gd_barnes
[2009-08-10 06:58:40]
403*2^707991-1 is not prime.  Res64: EFAE3327344EB00B  Time : 3368.0 sec.
user=vaughan
[2009-08-10 07:00:59]
495*2^708001-1 is not prime.  Res64: 66DB6569D82D92DA  Time : 464.0 sec.
user=gd_barnes
[2009-08-10 07:01:55]
565*2^707991-1 is not prime.  Res64: 69B697551AF1F687  Time : 3376.0 sec.
user=vaughan
[2009-08-10 07:02:19]
507*2^708001-1 is not prime.  Res64: EB69D42290591F87  Time : 458.0 sec.
user=vaughan
[2009-08-10 07:02:24]
423*2^708000-1 is not prime.  Res64: 363EF065E54A0739  Time : 872.0 sec.
user=gd_barnes
[2009-08-10 07:03:44]
483*2^707992-1 is not prime.  Res64: B7F7633C1404D323  Time : 3374.0 sec.
user=vaughan
[2009-08-10 07:04:38]
479*2^708000-1 is not prime.  Res64: E3B326F723688AB9  Time : 984.0 sec.
user=vaughan
[2009-08-10 07:07:04]
567*2^708000-1 is not prime.  Res64: 2452E515ED285270  Time : 963.0 sec.
user=gd_barnes
[2009-08-10 07:07:08]
527*2^707992-1 is not prime.  Res64: 0B58B44F857E0B0D  Time : 3378.0 sec.
user=vaughan
[2009-08-10 07:08:41]
417*2^708002-1 is not prime.  Res64: 29CDA12C0EA326CA  Time : 463.0 sec.
user=gd_barnes
[2009-08-10 07:09:54]
549*2^707992-1 is not prime.  Res64: FC5B15AC24ACFDD0  Time : 3369.0 sec.
user=vaughan
[2009-08-10 07:09:56]
431*2^708002-1 is not prime.  Res64: 5BE7CCA1E53E1AFE  Time : 457.0 sec.
user=vaughan
[2009-08-10 07:10:23]
541*2^708001-1 is not prime.  Res64: 9F4D2FEA354EFCF9  Time : 833.0 sec.
user=gd_barnes
[2009-08-10 07:13:09]
565*2^707993-1 is not prime.  Res64: 56986934C6FE1CD3  Time : 3374.0 sec.
user=gd_barnes
[2009-08-10 07:15:00]
577*2^707993-1 is not prime.  Res64: A90CC5D04A8700E4  Time : 3376.0 sec.
user=vaughan
[2009-08-10 07:16:13]
497*2^708002-1 is not prime.  Res64: 6AFBD7A9FF616C1B  Time : 829.0 sec.
user=vaughan
[2009-08-10 07:16:22]
501*2^708003-1 is not prime.  Res64: 88DE31FC7932293B  Time : 462.0 sec.
user=vaughan
[2009-08-10 07:17:34]
435*2^708004-1 is not prime.  Res64: 6408789E326B1245  Time : 458.0 sec.
user=gd_barnes
[2009-08-10 07:18:23]
425*2^707994-1 is not prime.  Res64: 3FE1C6D70FCB8721  Time : 3378.0 sec.
user=vaughan
[2009-08-10 07:21:08]
521*2^708002-1 is not prime.  Res64: 1F5BA48B14886C43  Time : 990.0 sec.
user=gd_barnes
[2009-08-10 07:21:08]
415*2^707995-1 is not prime.  Res64: DEC708AC56471869  Time : 3368.0 sec.
user=vaughan
[2009-08-10 07:23:07]
593*2^708002-1 is not prime.  Res64: 83D59DF137EB9669  Time : 963.0 sec.
user=vaughan
[2009-08-10 07:24:04]
409*2^708005-1 is not prime.  Res64: EDA197F6EE2B77B6  Time : 463.0 sec.
user=vaughan
[2009-08-10 07:24:19]
437*2^708004-1 is not prime.  Res64: 06296A4E173ADB29  Time : 837.0 sec.
user=gd_barnes
[2009-08-10 07:24:24]
493*2^707995-1 is not prime.  Res64: EF3EEDA8CE072A62  Time : 3374.0 sec.
user=vaughan
[2009-08-10 07:25:13]
507*2^708005-1 is not prime.  Res64: 0181DE4F2F683180  Time : 459.0 sec.
user=gd_barnes
[2009-08-10 07:26:15]
553*2^707995-1 is not prime.  Res64: A6BEBA2004FE7675  Time : 3376.0 sec.
user=gd_barnes
[2009-08-10 07:29:38]
507*2^707996-1 is not prime.  Res64: 178341CA30B5A46D  Time : 3378.0 sec.
user=vaughan
[2009-08-10 07:30:23]
527*2^708004-1 is not prime.  Res64: 0EB793ED66DBA8C5  Time : 850.0 sec.
user=vaughan
[2009-08-10 07:31:46]
493*2^708007-1 is not prime.  Res64: 560F5B34F9C3364D  Time : 463.0 sec.
user=gd_barnes
[2009-08-10 07:32:22]
405*2^707997-1 is not prime.  Res64: 92DAFF8D911412D8  Time : 3369.0 sec.
user=vaughan
[2009-08-10 07:32:50]
541*2^708007-1 is not prime.  Res64: D5E5247C584C531F  Time : 458.0 sec.
user=gd_barnes
[2009-08-10 07:35:39]
413*2^707998-1 is not prime.  Res64: 90D2AE866B229D02  Time : 3374.0 sec.
user=gd_barnes
[2009-08-10 07:37:30]
525*2^707998-1 is not prime.  Res64: 7FDAD25C29A4B4EA  Time : 3375.0 sec.
user=vaughan
[2009-08-10 07:37:45]
521*2^708006-1 is not prime.  Res64: AB8235F11D7766B6  Time : 998.0 sec.
user=vaughan
[2009-08-10 07:38:13]
519*2^708007-1 is not prime.  Res64: 30C7C589869C4272  Time : 834.0 sec.
user=vaughan
[2009-08-10 07:39:10]
451*2^708007-1 is not prime.  Res64: D0A3D60DEB001C85  Time : 963.0 sec.
user=vaughan
[2009-08-10 07:39:29]
571*2^708009-1 is not prime.  Res64: 7915F6D0F5DF2E50  Time : 464.0 sec.
user=vaughan
[2009-08-10 07:40:27]
465*2^708010-1 is not prime.  Res64: 80998454D5E5DC1E  Time : 457.0 sec.
user=gd_barnes
[2009-08-10 07:40:54]
555*2^707998-1 is not prime.  Res64: 3F1D5B3A21072796  Time : 3378.0 sec.
user=gd_barnes
[2009-08-10 07:43:35]
549*2^707999-1 is not prime.  Res64: 9B5F4D4AF1E5B722  Time : 3368.0 sec.
user=vaughan
[2009-08-10 07:44:39]
447*2^708009-1 is not prime.  Res64: 7395FC59315464BD  Time : 857.0 sec.
user=gd_barnes
[2009-08-10 07:46:53]
525*2^708000-1 is not prime.  Res64: 689437A9A62F0EE9  Time : 3373.0 sec.
user=vaughan
[2009-08-10 07:47:11]
485*2^708012-1 is not prime.  Res64: 602F8A504E740C8D  Time : 463.0 sec.
user=vaughan
[2009-08-10 07:48:04]
555*2^708012-1 is not prime.  Res64: B5815C5D3E73C638  Time : 457.0 sec.
user=gd_barnes
[2009-08-10 07:48:46]
441*2^708001-1 is not prime.  Res64: 21ADCC4A965B55E3  Time : 3377.0 sec.
user=gd_barnes
[2009-08-10 07:52:09]
511*2^708001-1 is not prime.  Res64: 917A574A44A23D7B  Time : 3377.0 sec.
user=vaughan
[2009-08-10 07:52:15]
505*2^708011-1 is not prime.  Res64: 930AC9C3760991A2  Time : 843.0 sec.
user=vaughan
[2009-08-10 07:54:13]
493*2^708011-1 is not prime.  Res64: DB9FB0C87707500F  Time : 989.0 sec.
user=gd_barnes
[2009-08-10 07:54:50]
407*2^708002-1 is not prime.  Res64: C4A437E949E3F21B  Time : 3370.0 sec.
user=vaughan
[2009-08-10 07:54:53]
547*2^708013-1 is not prime.  Res64: C66E693E60522727  Time : 463.0 sec.
user=vaughan
[2009-08-10 07:55:31]
479*2^708012-1 is not prime.  Res64: 38DC29635CBE56F3  Time : 981.0 sec.
user=vaughan
[2009-08-10 07:55:41]
561*2^708014-1 is not prime.  Res64: AEE6AA311724635C  Time : 457.0 sec.
user=gd_barnes
[2009-08-10 07:58:09]
425*2^708002-1 is not prime.  Res64: 574A0B7A35A099A0  Time : 3374.0 sec.
user=vaughan
[2009-08-10 07:58:31]
525*2^708013-1 is not prime.  Res64: BFB7AAC63CF7590B  Time : 832.0 sec.
user=gd_barnes
[2009-08-10 08:00:03]
515*2^708002-1 is not prime.  Res64: B785D492A76EE858  Time : 3379.0 sec.
user=vaughan
[2009-08-10 08:02:36]
483*2^708016-1 is not prime.  Res64: 05D72E23B2620650  Time : 463.0 sec.
user=vaughan
[2009-08-10 08:03:18]
441*2^708017-1 is not prime.  Res64: A04996A62307ABD7  Time : 457.0 sec.
user=gd_barnes
[2009-08-10 08:03:25]
489*2^708003-1 is not prime.  Res64: 827E07B6BC0A8E9A  Time : 3378.0 sec.
user=gd_barnes
[2009-08-10 08:06:03]
565*2^708003-1 is not prime.  Res64: 14370A002E574937  Time : 3369.0 sec.
user=vaughan
[2009-08-10 08:06:17]
471*2^708015-1 is not prime.  Res64: A53463D94CCD53AC  Time : 843.0 sec.
user=gd_barnes
[2009-08-10 08:09:24]
447*2^708004-1 is not prime.  Res64: 414CF6FBC4189386  Time : 3375.0 sec.
user=vaughan
[2009-08-10 08:10:18]
561*2^708017-1 is not prime.  Res64: 8CD97359138EEE81  Time : 462.0 sec.
user=vaughan
[2009-08-10 08:10:56]
405*2^708018-1 is not prime.  Res64: 464D0B9874F904A0  Time : 458.0 sec.
user=vaughan
[2009-08-10 08:10:57]
579*2^708015-1 is not prime.  Res64: 43317DF02D06DF9C  Time : 1004.0 sec.
user=gd_barnes
[2009-08-10 08:11:18]
519*2^708004-1 is not prime.  Res64: C01BB209B1208A0F  Time : 3378.0 sec.
user=vaughan
[2009-08-10 08:11:57]
509*2^708016-1 is not prime.  Res64: 19036858DC853A8A  Time : 987.0 sec.
user=vaughan
[2009-08-10 08:12:23]
495*2^708017-1 is not prime.  Res64: CA6F2CFD41E2FFB8  Time : 832.0 sec.
user=gd_barnes
[2009-08-10 08:14:41]
405*2^708006-1 is not prime.  Res64: 0A0E0F224119815D  Time : 3378.0 sec.
user=gd_barnes
[2009-08-10 08:17:17]
551*2^708006-1 is not prime.  Res64: 27C36C5622964185  Time : 3369.0 sec.
user=vaughan
[2009-08-10 08:17:59]
489*2^708019-1 is not prime.  Res64: 9687F5DE87837CFB  Time : 461.0 sec.
user=vaughan
[2009-08-10 08:18:33]
561*2^708019-1 is not prime.  Res64: 34E1479370828BE7  Time : 457.0 sec.
user=vaughan
[2009-08-10 08:20:29]
515*2^708018-1 is not prime.  Res64: 0D7BA2E9CA439D4E  Time : 852.0 sec.
user=gd_barnes
[2009-08-10 08:20:38]
531*2^708007-1 is not prime.  Res64: 4717D4DCA7621E1A  Time : 3374.0 sec.
user=gd_barnes
[2009-08-10 08:22:34]
503*2^708008-1 is not prime.  Res64: 982DE151370738AC  Time : 3379.0 sec.
user=vaughan
[2009-08-10 08:25:40]
433*2^708023-1 is not prime.  Res64: BD5AE6C3923FEAC8  Time : 461.0 sec.
user=gd_barnes
[2009-08-10 08:25:56]
429*2^708009-1 is not prime.  Res64: E1E6863579B6ECB0  Time : 3378.0 sec.
user=vaughan
[2009-08-10 08:26:11]
439*2^708023-1 is not prime.  Res64: E52A05FFE30A183E  Time : 458.0 sec.
user=vaughan
[2009-08-10 08:26:12]
465*2^708021-1 is not prime.  Res64: A3014F4F366A3C36  Time : 830.0 sec.
user=vaughan
[2009-08-10 08:27:42]
583*2^708019-1 is not prime.  Res64: 6484F1FD37154E73  Time : 1005.0 sec.
user=vaughan
[2009-08-10 08:28:22]
585*2^708020-1 is not prime.  Res64: C2E43F502242B6FA  Time : 985.0 sec.
user=gd_barnes
[2009-08-10 08:28:31]
443*2^708010-1 is not prime.  Res64: 5445BFE66D894439  Time : 3370.0 sec.
user=gd_barnes
[2009-08-10 08:31:53]
533*2^708010-1 is not prime.  Res64: 62557C0E1E3A8F5E  Time : 3374.0 sec.
user=vaughan
[2009-08-10 08:33:22]
573*2^708023-1 is not prime.  Res64: 8C11573413092460  Time : 462.0 sec.
user=vaughan
[2009-08-10 08:33:49]
419*2^708024-1 is not prime.  Res64: F380D33A0063C7A9  Time : 458.0 sec.
user=gd_barnes
[2009-08-10 08:33:49]
459*2^708011-1 is not prime.  Res64: B01E2E4800EFFA11  Time : 3379.0 sec.
user=vaughan
[2009-08-10 08:34:48]
505*2^708023-1 is not prime.  Res64: 5BE89F9E3820C616  Time : 859.0 sec.
user=gd_barnes
[2009-08-10 08:37:12]
563*2^708012-1 is not prime.  Res64: 5EAC50584F8A8896  Time : 3378.0 sec.
user=gd_barnes
[2009-08-10 08:39:45]
519*2^708013-1 is not prime.  Res64: 9A5B38BAB49E3156  Time : 3370.0 sec.
user=vaughan
[2009-08-10 08:40:02]
569*2^708024-1 is not prime.  Res64: 94431993DCDB13B0  Time : 831.0 sec.
user=vaughan
[2009-08-10 08:41:05]
525*2^708025-1 is not prime.  Res64: 32F56B0481A7F050  Time : 463.0 sec.
user=vaughan
[2009-08-10 08:41:26]
541*2^708025-1 is not prime.  Res64: 8C646E3C6B477DD9  Time : 458.0 sec.
user=gd_barnes
[2009-08-10 08:43:08]
541*2^708013-1 is not prime.  Res64: 761D0B171E9DDC8D  Time : 3375.0 sec.
user=vaughan
[2009-08-10 08:44:28]
411*2^708025-1 is not prime.  Res64: C3C21937FBB8B602  Time : 1006.0 sec.
user=vaughan
[2009-08-10 08:44:43]
421*2^708025-1 is not prime.  Res64: 8183643C976238F8  Time : 982.0 sec.
user=gd_barnes
[2009-08-10 08:45:05]
587*2^708014-1 is not prime.  Res64: 085C7EB80BF2B725  Time : 3379.0 sec.
user=gd_barnes
[2009-08-10 08:48:27]
433*2^708015-1 is not prime.  Res64: EBDF438590CE1811  Time : 3378.0 sec.
user=vaughan
[2009-08-10 08:48:48]
405*2^708027-1 is not prime.  Res64: 6F857B616CA20B3F  Time : 464.0 sec.
user=vaughan
[2009-08-10 08:49:03]
475*2^708027-1 is not prime.  Res64: 5D286B169C32C41B  Time : 457.0 sec.
user=vaughan
[2009-08-10 08:49:12]
501*2^708026-1 is not prime.  Res64: F5FB6ECAFD4595EB  Time : 864.0 sec.
user=gd_barnes
[2009-08-10 08:50:59]
585*2^708015-1 is not prime.  Res64: 98A364E00D681E4E  Time : 3369.0 sec.
user=vaughan
[2009-08-10 08:53:55]
587*2^708026-1 is not prime.  Res64: C8C13D2758A906EE  Time : 834.0 sec.
user=gd_barnes
[2009-08-10 08:54:23]
475*2^708017-1 is not prime.  Res64: 33A51D13257F5775  Time : 3374.0 sec.
user=gd_barnes
[2009-08-10 08:56:21]
517*2^708017-1 is not prime.  Res64: 80B57D3A71A6E82D  Time : 3379.0 sec.
user=vaughan
[2009-08-10 08:56:30]
453*2^708028-1 is not prime.  Res64: 3080885D5376063A  Time : 463.0 sec.
user=vaughan
[2009-08-10 08:56:41]
527*2^708028-1 is not prime.  Res64: E25607DB10A219B6  Time : 459.0 sec.
user=gd_barnes
[2009-08-10 08:59:43]
453*2^708018-1 is not prime.  Res64: 94AE5A5F6616A540  Time : 3378.0 sec.
user=vaughan
[2009-08-10 09:00:57]
429*2^708028-1 is not prime.  Res64: F02D80972B8129C8  Time : 975.0 sec.
user=vaughan
[2009-08-10 09:01:15]
583*2^708027-1 is not prime.  Res64: 4D74E4EA95418536  Time : 1008.0 sec.
user=gd_barnes
[2009-08-10 09:02:13]
483*2^708018-1 is not prime.  Res64: 7C11D22DF68807B6  Time : 3370.0 sec.
user=vaughan
[2009-08-10 09:03:25]
573*2^708028-1 is not prime.  Res64: 6EE9174661D69C9B  Time : 854.0 sec.
user=vaughan
[2009-08-10 09:04:12]
483*2^708030-1 is not prime.  Res64: 2BE1AC73D0AA799D  Time : 463.0 sec.
user=vaughan
[2009-08-10 09:04:18]
593*2^708030-1 is not prime.  Res64: 47225EBE3235F36A  Time : 458.0 sec.
user=gd_barnes
[2009-08-10 09:05:38]
573*2^708018-1 is not prime.  Res64: 1120012DED2D6B2D  Time : 3375.0 sec.
user=gd_barnes
[2009-08-10 09:07:35]
465*2^708020-1 is not prime.  Res64: 5F9D1E2F5E9FD7D6  Time : 3377.0 sec.
user=vaughan
[2009-08-10 09:07:54]
589*2^708029-1 is not prime.  Res64: 157E1F104028C962  Time : 839.0 sec.
user=gd_barnes
[2009-08-10 09:10:59]
571*2^708021-1 is not prime.  Res64: 9FDE1FD0845AA7B8  Time : 3379.0 sec.
user=vaughan
[2009-08-10 09:11:54]
587*2^708032-1 is not prime.  Res64: 0ABD1E297781A5E9  Time : 462.0 sec.
user=vaughan
[2009-08-10 09:11:56]
529*2^708033-1 is not prime.  Res64: BACE7E2357D0456D  Time : 459.0 sec.
user=gd_barnes
[2009-08-10 09:13:27]
551*2^708022-1 is not prime.  Res64: 5DDFFF869BF8B834  Time : 3370.0 sec.
user=gd_barnes
[2009-08-10 09:16:53]
549*2^708023-1 is not prime.  Res64: 3823B810271EF39A  Time : 3375.0 sec.
user=vaughan
[2009-08-10 09:17:17]
441*2^708031-1 is not prime.  Res64: 5BBA5AE8D1AFFCB0  Time : 981.0 sec.
user=vaughan
[2009-08-10 09:17:43]
483*2^708032-1 is not prime.  Res64: A78D897EDEAC4520  Time : 859.0 sec.
user=vaughan
[2009-08-10 09:18:04]
465*2^708031-1 is not prime.  Res64: F175CAEDA6E5BE48  Time : 1009.0 sec.
user=gd_barnes
[2009-08-10 09:18:51]
553*2^708023-1 is not prime.  Res64: 81916B70264485DF  Time : 3377.0 sec.
user=vaughan
[2009-08-10 09:19:33]
411*2^708035-1 is not prime.  Res64: 142AC3ED14B3775A  Time : 458.0 sec.
user=vaughan
[2009-08-10 09:19:37]
409*2^708035-1 is not prime.  Res64: 3746AF705315E044  Time : 463.0 sec.
user=gd_barnes
[2009-08-10 09:22:14]
591*2^708023-1 is not prime.  Res64: AD79BCC5647E1A6C  Time : 3378.0 sec.
user=vaughan
[2009-08-10 09:22:36]
483*2^708034-1 is not prime.  Res64: F4503D34963806E1  Time : 882.0 sec.
user=gd_barnes
[2009-08-10 09:24:43]
441*2^708025-1 is not prime.  Res64: 198613CFA846A375  Time : 3372.0 sec.
user=vaughan
[2009-08-10 09:27:09]
423*2^708038-1 is not prime.  Res64: 4DFFBDABB83846A6  Time : 457.0 sec.
user=vaughan
[2009-08-10 09:27:21]
483*2^708038-1 is not prime.  Res64: 926F2DEC2B5C17B0  Time : 464.0 sec.
user=gd_barnes
[2009-08-10 09:28:07]
481*2^708025-1 is not prime.  Res64: 7B337DE0C45A7601  Time : 3374.0 sec.
user=gd_barnes
[2009-08-10 09:30:05]
497*2^708026-1 is not prime.  Res64: E2F4ECD15AF8C48E  Time : 3376.0 sec.
user=vaughan
[2009-08-10 09:32:01]
527*2^708036-1 is not prime.  Res64: 3387C6D1D3A1EF20  Time : 859.0 sec.
user=gd_barnes
[2009-08-10 09:33:30]
537*2^708026-1 is not prime.  Res64: 649AE9806FA99903  Time : 3378.0 sec.
user=vaughan
[2009-08-10 09:33:40]
513*2^708036-1 is not prime.  Res64: 4DB6162D9FEF1A5B  Time : 983.0 sec.
user=vaughan
[2009-08-10 09:34:46]
411*2^708039-1 is not prime.  Res64: D7A2749AD15ADD6A  Time : 457.0 sec.
user=vaughan
[2009-08-10 09:34:54]
465*2^708037-1 is not prime.  Res64: 62D391F4F90520CA  Time : 1010.0 sec.
user=vaughan
[2009-08-10 09:35:03]
553*2^708039-1 is not prime.  Res64: 4617B4E0F0510CBA  Time : 462.0 sec.
user=gd_barnes
[2009-08-10 09:35:58]
561*2^708026-1 is not prime.  Res64: 5BB8C6DEE2579E28  Time : 3373.0 sec.
user=vaughan
[2009-08-10 09:36:38]
545*2^708038-1 is not prime.  Res64: 87D07645019BC5DC  Time : 842.0 sec.
user=gd_barnes
[2009-08-10 09:39:22]
573*2^708027-1 is not prime.  Res64: 6184449C67BC9A7C  Time : 3374.0 sec.
user=gd_barnes
[2009-08-10 09:41:21]
437*2^708028-1 is not prime.  Res64: D0AE878E29364CB9  Time : 3376.0 sec.
user=vaughan
[2009-08-10 09:42:24]
587*2^708040-1 is not prime.  Res64: 87BFCE88CC66CD66  Time : 458.0 sec.
user=vaughan
[2009-08-10 09:42:45]
405*2^708041-1 is not prime.  Res64: C9A55318807312D6  Time : 462.0 sec.
user=gd_barnes
[2009-08-10 09:44:46]
449*2^708028-1 is not prime.  Res64: 7094893F4842B579  Time : 3379.0 sec.
user=vaughan
[2009-08-10 09:46:13]
447*2^708040-1 is not prime.  Res64: 0A9EF103B0838A6B  Time : 852.0 sec.
user=gd_barnes
[2009-08-10 09:47:14]
487*2^708029-1 is not prime.  Res64: A3A937EAE1841B57  Time : 3375.0 sec.
user=vaughan
[2009-08-10 09:50:00]
567*2^708040-1 is not prime.  Res64: 3F05583F850C2205  Time : 980.0 sec.
user=vaughan
[2009-08-10 09:50:01]
579*2^708041-1 is not prime.  Res64: 9B876DE75EE68157  Time : 458.0 sec.
user=vaughan
[2009-08-10 09:50:27]
405*2^708042-1 is not prime.  Res64: DAEB1B624902401D  Time : 462.0 sec.
user=gd_barnes
[2009-08-10 09:50:36]
417*2^708030-1 is not prime.  Res64: 32528B0FB8C25E3C  Time : 3373.0 sec.
user=vaughan
[2009-08-10 09:51:08]
475*2^708041-1 is not prime.  Res64: 0DA3BC7FFDB0A159  Time : 870.0 sec.
user=vaughan
[2009-08-10 09:51:44]
597*2^708040-1 is not prime.  Res64: CF9D156E72D6D73D  Time : 1010.0 sec.
user=gd_barnes
[2009-08-10 09:52:37]
425*2^708030-1 is not prime.  Res64: 0A302015B6FED470  Time : 3376.0 sec.
user=gd_barnes
[2009-08-10 09:56:01]
411*2^708031-1 is not prime.  Res64: B787422229F93433  Time : 3378.0 sec.
user=vaughan
[2009-08-10 09:57:38]
483*2^708042-1 is not prime.  Res64: 87750A9B15E98D27  Time : 458.0 sec.
user=vaughan
[2009-08-10 09:58:09]
563*2^708042-1 is not prime.  Res64: 32CA3DAB604382A9  Time : 462.0 sec.
user=gd_barnes
[2009-08-10 09:58:29]
435*2^708032-1 is not prime.  Res64: 4A3CACB096716E9D  Time : 3377.0 sec.
user=vaughan
[2009-08-10 10:00:22]
423*2^708042-1 is not prime.  Res64: 2FED7D131C7BB609  Time : 849.0 sec.
user=gd_barnes
[2009-08-10 10:01:51]
413*2^708034-1 is not prime.  Res64: C3500C59397AE38E  Time : 3373.0 sec.
user=gd_barnes
[2009-08-10 10:03:51]
461*2^708034-1 is not prime.  Res64: E9F8CC680B235EBC  Time : 3376.0 sec.
user=vaughan
[2009-08-10 10:05:09]
587*2^708042-1 is not prime.  Res64: 2287240B3C1BE500  Time : 841.0 sec.
user=vaughan
[2009-08-10 10:05:15]
473*2^708044-1 is not prime.  Res64: CEC506A7B3E07C85  Time : 457.0 sec.
user=vaughan
[2009-08-10 10:05:52]
525*2^708044-1 is not prime.  Res64: DE2A82701789AF63  Time : 463.0 sec.
user=vaughan
[2009-08-10 10:06:22]
453*2^708042-1 is not prime.  Res64: AB1326CB78E3ABE1  Time : 982.0 sec.
user=gd_barnes
[2009-08-10 10:07:17]
587*2^708034-1 is not prime.  Res64: 2B4FFACC524E6E5E  Time : 3378.0 sec.
user=vaughan
[2009-08-10 10:08:25]
451*2^708043-1 is not prime.  Res64: E517B331F52990A4  Time : 1001.0 sec.
user=gd_barnes
[2009-08-10 10:09:45]
451*2^708035-1 is not prime.  Res64: 86EB9122CFDE03DA  Time : 3378.0 sec.
user=vaughan
[2009-08-10 10:12:52]
405*2^708046-1 is not prime.  Res64: 2271897AC6BFB58E  Time : 457.0 sec.
user=gd_barnes
[2009-08-10 10:13:06]
543*2^708035-1 is not prime.  Res64: 873E0C4CA8ED0E6A  Time : 3373.0 sec.
user=vaughan
[2009-08-10 10:13:35]
471*2^708046-1 is not prime.  Res64: E1AD57AEC025C4F8  Time : 463.0 sec.
user=vaughan
[2009-08-10 10:14:35]
429*2^708045-1 is not prime.  Res64: EFF8E41967D12101  Time : 853.0 sec.
user=gd_barnes
[2009-08-10 10:15:07]
511*2^708037-1 is not prime.  Res64: BC3A27D9F0513CA2  Time : 3376.0 sec.
user=gd_barnes
[2009-08-10 10:18:32]
525*2^708038-1 is not prime.  Res64: 08718A785941E24C  Time : 3378.0 sec.
user=vaughan
[2009-08-10 10:19:10]
531*2^708045-1 is not prime.  Res64: 3A29E4E5E63A440D  Time : 841.0 sec.
user=vaughan
[2009-08-10 10:20:29]
589*2^708047-1 is not prime.  Res64: 782CFF38ECD401F4  Time : 457.0 sec.
user=gd_barnes
[2009-08-10 10:20:59]
585*2^708038-1 is not prime.  Res64: FAB4D9D8FAA2EE93  Time : 3376.0 sec.
user=vaughan
[2009-08-10 10:21:18]
509*2^708048-1 is not prime.  Res64: 5A46C5FA9C91DB1D  Time : 464.0 sec.
user=vaughan
[2009-08-10 10:22:41]
491*2^708046-1 is not prime.  Res64: 2C9D3ABEED104777  Time : 979.0 sec.
user=gd_barnes
[2009-08-10 10:24:21]
559*2^708039-1 is not prime.  Res64: 3F2094DA25F55D6D  Time : 3374.0 sec.
user=vaughan
[2009-08-10 10:25:10]
453*2^708047-1 is not prime.  Res64: C9597014C534BF38  Time : 1005.0 sec.
user=gd_barnes
[2009-08-10 10:26:22]
429*2^708040-1 is not prime.  Res64: C0E3B54821B552EF  Time : 3377.0 sec.
user=vaughan
[2009-08-10 10:28:06]
477*2^708049-1 is not prime.  Res64: 2655CE06709BFB3D  Time : 457.0 sec.
user=vaughan
[2009-08-10 10:28:49]
555*2^708048-1 is not prime.  Res64: DA482120A42FF34D  Time : 854.0 sec.
user=vaughan
[2009-08-10 10:29:01]
577*2^708049-1 is not prime.  Res64: 5C6AF5DAD8B44C14  Time : 464.0 sec.
user=gd_barnes
[2009-08-10 10:29:47]
449*2^708040-1 is not prime.  Res64: 466F14F455DF357C  Time : 3377.0 sec.
user=gd_barnes
[2009-08-10 10:32:15]
439*2^708041-1 is not prime.  Res64: 75870087E9E548A9  Time : 3377.0 sec.
user=vaughan
[2009-08-10 10:33:10]
427*2^708049-1 is not prime.  Res64: F7CBAC4FA942BA1D  Time : 840.0 sec.
user=gd_barnes
[2009-08-10 10:35:35]
487*2^708041-1 is not prime.  Res64: E8B7D18EA5847BDD  Time : 3373.0 sec.
user=vaughan
[2009-08-10 10:35:43]
483*2^708051-1 is not prime.  Res64: 65B4F57867E8A5BA  Time : 457.0 sec.
user=vaughan
[2009-08-10 10:36:43]
531*2^708051-1 is not prime.  Res64: E5B15226A409D141  Time : 462.0 sec.
user=gd_barnes
[2009-08-10 10:37:36]
529*2^708041-1 is not prime.  Res64: E67ED088AA954EFF  Time : 3375.0 sec.
user=vaughan
[2009-08-10 10:38:55]
595*2^708049-1 is not prime.  Res64: DCCDEBAB918A0CC0  Time : 974.0 sec.
user=gd_barnes
[2009-08-10 10:41:02]
413*2^708042-1 is not prime.  Res64: F232BEC6CCCF2B1A  Time : 3377.0 sec.
user=vaughan
[2009-08-10 10:42:05]
585*2^708050-1 is not prime.  Res64: 747DE3851521DEA9  Time : 1016.0 sec.
user=vaughan
[2009-08-10 10:43:07]
493*2^708051-1 is not prime.  Res64: EF6B91B7206D27B4  Time : 858.0 sec.
user=vaughan
[2009-08-10 10:43:20]
537*2^708052-1 is not prime.  Res64: 286612B7A2BF0D82  Time : 457.0 sec.
user=gd_barnes
[2009-08-10 10:43:31]
431*2^708042-1 is not prime.  Res64: 039C58A3D540F12F  Time : 3377.0 sec.
user=vaughan
[2009-08-10 10:44:25]
563*2^708052-1 is not prime.  Res64: 9F19B74840006126  Time : 462.0 sec.
user=gd_barnes
[2009-08-10 10:46:50]
567*2^708042-1 is not prime.  Res64: 067F135BD678D14D  Time : 3374.0 sec.
user=vaughan
[2009-08-10 10:47:00]
583*2^708051-1 is not prime.  Res64: 0C9375A66C4AB07A  Time : 830.0 sec.
user=gd_barnes
[2009-08-10 10:48:51]
475*2^708043-1 is not prime.  Res64: E878FADAA2ADD084  Time : 3375.0 sec.
user=vaughan
[2009-08-10 10:50:57]
485*2^708054-1 is not prime.  Res64: 74AAE9831BB1E6CD  Time : 457.0 sec.
user=vaughan
[2009-08-10 10:52:07]
557*2^708054-1 is not prime.  Res64: CD9C9635D80978EC  Time : 462.0 sec.
user=gd_barnes
[2009-08-10 10:52:18]
499*2^708043-1 is not prime.  Res64: 1F300470F90679D9  Time : 3377.0 sec.
user=gd_barnes
[2009-08-10 10:54:46]
409*2^708045-1 is not prime.  Res64: C6E2E792A244C09E  Time : 3377.0 sec.
user=vaughan
[2009-08-10 10:55:16]
489*2^708053-1 is not prime.  Res64: B058AD85086FEA2F  Time : 981.0 sec.
user=vaughan
[2009-08-10 10:57:22]
483*2^708054-1 is not prime.  Res64: 4290BF16F4E7A64C  Time : 855.0 sec.
user=gd_barnes
[2009-08-10 10:58:04]
471*2^708045-1 is not prime.  Res64: 3C93954FEDF7B86C  Time : 3373.0 sec.
user=vaughan
[2009-08-10 10:58:34]
417*2^708056-1 is not prime.  Res64: CFD950A1EF308CFB  Time : 457.0 sec.
user=vaughan
[2009-08-10 10:58:48]
453*2^708054-1 is not prime.  Res64: 01F0B4FFEFB3EBA0  Time : 1004.0 sec.
user=vaughan
[2009-08-10 10:59:49]
509*2^708056-1 is not prime.  Res64: FF38B08E7EAF94DD  Time : 462.0 sec.
user=gd_barnes
[2009-08-10 11:00:06]
487*2^708045-1 is not prime.  Res64: 1EC35B5B8C9A1778  Time : 3375.0 sec.
user=vaughan
[2009-08-10 11:00:55]
451*2^708055-1 is not prime.  Res64: 0CC29BBCDEC21E62  Time : 835.0 sec.
user=gd_barnes
[2009-08-10 11:03:33]
441*2^708047-1 is not prime.  Res64: 11C833B64DB85074  Time : 3377.0 sec.
user=gd_barnes
[2009-08-10 11:06:02]
469*2^708047-1 is not prime.  Res64: 5C0D4ADE1994BFCD  Time : 3377.0 sec.
user=vaughan
[2009-08-10 11:06:11]
413*2^708058-1 is not prime.  Res64: A850CB71604377F9  Time : 457.0 sec.
user=vaughan
[2009-08-10 11:07:32]
491*2^708058-1 is not prime.  Res64: 6747557C910F9470  Time : 463.0 sec.
user=gd_barnes
[2009-08-10 11:09:20]
595*2^708047-1 is not prime.  Res64: 73DB9925EE3E44F6  Time : 3374.0 sec.
user=gd_barnes
[2009-08-10 11:11:21]
557*2^708048-1 is not prime.  Res64: AD0A81A96F8B6C81  Time : 3374.0 sec.
user=vaughan
[2009-08-10 11:11:38]
559*2^708057-1 is not prime.  Res64: 36267A681953A09B  Time : 856.0 sec.
user=vaughan
[2009-08-10 11:11:40]
471*2^708057-1 is not prime.  Res64: D6D3ED7E72A6D0B9  Time : 985.0 sec.
user=vaughan
[2009-08-10 11:13:48]
447*2^708060-1 is not prime.  Res64: A7C9CA13D6B58033  Time : 457.0 sec.
user=vaughan
[2009-08-10 11:14:49]
433*2^708059-1 is not prime.  Res64: AE7B73D913636AAA  Time : 834.0 sec.
user=gd_barnes
[2009-08-10 11:14:49]
569*2^708048-1 is not prime.  Res64: 9D2C299295A53C40  Time : 3377.0 sec.
user=vaughan
[2009-08-10 11:15:14]
455*2^708060-1 is not prime.  Res64: 9A956D2146EF381C  Time : 462.0 sec.
user=vaughan
[2009-08-10 11:15:44]
425*2^708058-1 is not prime.  Res64: AAC7D8B8DBDE380A  Time : 1016.0 sec.
user=gd_barnes
[2009-08-10 11:17:17]
559*2^708049-1 is not prime.  Res64: 3A9AF01649D79FE5  Time : 3378.0 sec.
user=gd_barnes
[2009-08-10 11:20:34]
417*2^708050-1 is not prime.  Res64: 7D85E064CC3B686F  Time : 3373.0 sec.
user=vaughan
[2009-08-10 11:21:25]
439*2^708061-1 is not prime.  Res64: 82D5D9E53D23F356  Time : 457.0 sec.
user=gd_barnes
[2009-08-10 11:22:37]
415*2^708051-1 is not prime.  Res64: B2D8B8C9A0F88D8C  Time : 3375.0 sec.
user=vaughan
[2009-08-10 11:22:57]
405*2^708062-1 is not prime.  Res64: A395837C3678DE2F  Time : 463.0 sec.
user=vaughan
[2009-08-10 11:25:59]
537*2^708060-1 is not prime.  Res64: 6AE767ED8FC112C7  Time : 861.0 sec.
user=gd_barnes
[2009-08-10 11:26:05]
535*2^708051-1 is not prime.  Res64: CFC23F537189F83B  Time : 3378.0 sec.
user=vaughan
[2009-08-10 11:28:04]
411*2^708061-1 is not prime.  Res64: 9E4A6D51BD6BCB3A  Time : 985.0 sec.
user=gd_barnes
[2009-08-10 11:28:33]
549*2^708051-1 is not prime.  Res64: 90C45B1ABED0791B  Time : 3378.0 sec.
user=vaughan
[2009-08-10 11:28:51]
505*2^708061-1 is not prime.  Res64: 338D147C22EDA455  Time : 842.0 sec.
user=vaughan
[2009-08-10 11:29:01]
465*2^708063-1 is not prime.  Res64: 790B01A924A61822  Time : 456.0 sec.
user=vaughan
[2009-08-10 11:30:39]
489*2^708063-1 is not prime.  Res64: E16780BD13885682  Time : 462.0 sec.
user=gd_barnes
[2009-08-10 11:31:49]
507*2^708052-1 is not prime.  Res64: 67EEA4AAEC9E696E  Time : 3374.0 sec.
user=vaughan
[2009-08-10 11:32:27]
501*2^708062-1 is not prime.  Res64: 1108EBB4159CCC77  Time : 1003.0 sec.
user=gd_barnes
[2009-08-10 11:33:52]
405*2^708053-1 is not prime.  Res64: D93BA6B2A96C06FC  Time : 3376.0 sec.
user=vaughan
[2009-08-10 11:36:38]
511*2^708065-1 is not prime.  Res64: 9524ED1FDF393D24  Time : 457.0 sec.
user=gd_barnes
[2009-08-10 11:37:20]
561*2^708053-1 is not prime.  Res64: DFD11ACD57E3ACC5  Time : 3378.0 sec.
user=vaughan
[2009-08-10 11:38:22]
517*2^708065-1 is not prime.  Res64: 9D69B109533EB103  Time : 463.0 sec.
user=gd_barnes
[2009-08-10 11:39:47]
501*2^708054-1 is not prime.  Res64: 841E123FF11CC7C1  Time : 3377.0 sec.
user=vaughan
[2009-08-10 11:40:14]
585*2^708063-1 is not prime.  Res64: A8613DE42C269AD8  Time : 855.0 sec.
user=vaughan
[2009-08-10 11:42:45]
411*2^708065-1 is not prime.  Res64: DB32BF9C19E6F9DA  Time : 834.0 sec.
user=gd_barnes
[2009-08-10 11:43:04]
405*2^708055-1 is not prime.  Res64: A8F73AB294AA7CC5  Time : 3374.0 sec.
user=vaughan
[2009-08-10 11:44:15]
473*2^708066-1 is not prime.  Res64: 2B4CF6C624565F3B  Time : 457.0 sec.
user=vaughan
[2009-08-10 11:44:22]
563*2^708064-1 is not prime.  Res64: B49A71B144E42144  Time : 978.0 sec.
user=gd_barnes
[2009-08-10 11:45:07]
573*2^708055-1 is not prime.  Res64: FA4C11D22430C567  Time : 3376.0 sec.
user=vaughan
[2009-08-10 11:46:05]
587*2^708066-1 is not prime.  Res64: D7FB4DDDCF05E665  Time : 463.0 sec.
user=gd_barnes
[2009-08-10 11:48:36]
525*2^708056-1 is not prime.  Res64: 160249C98C343083  Time : 3378.0 sec.
user=vaughan
[2009-08-10 11:49:19]
405*2^708066-1 is not prime.  Res64: A6127629CB7FC9A1  Time : 1012.0 sec.
user=gd_barnes
[2009-08-10 11:51:03]
593*2^708056-1 is not prime.  Res64: 9939BBAB680F07BA  Time : 3377.0 sec.
user=vaughan
[2009-08-10 11:51:52]
489*2^708067-1 is not prime.  Res64: 2E233FBBC919D9FD  Time : 457.0 sec.
user=vaughan
[2009-08-10 11:53:47]
435*2^708068-1 is not prime.  Res64: D8382A0FC4DC7D06  Time : 463.0 sec.
user=gd_barnes
[2009-08-10 11:54:19]
571*2^708057-1 is not prime.  Res64: EEFCD11FCB62476E  Time : 3375.0 sec.
user=vaughan
[2009-08-10 11:54:24]
405*2^708067-1 is not prime.  Res64: 754770306B366381  Time : 850.0 sec.
user=gd_barnes
[2009-08-10 11:56:22]
525*2^708058-1 is not prime.  Res64: EA8E4236A49349A3  Time : 3376.0 sec.
user=vaughan
[2009-08-10 11:56:56]
441*2^708067-1 is not prime.  Res64: 5333F284174DF35B  Time : 851.0 sec.
user=vaughan
[2009-08-10 11:59:29]
427*2^708069-1 is not prime.  Res64: 75D6C753A059F1A0  Time : 457.0 sec.
user=gd_barnes
[2009-08-10 11:59:51]
459*2^708059-1 is not prime.  Res64: 9B2051815B6E9CB6  Time : 3378.0 sec.
user=vaughan
[2009-08-10 12:00:39]
505*2^708067-1 is not prime.  Res64: D8D487EE107A6B5B  Time : 977.0 sec.
user=vaughan
[2009-08-10 12:01:35]
451*2^708069-1 is not prime.  Res64: 59044D93F141E8A0  Time : 469.0 sec.
user=gd_barnes
[2009-08-10 12:02:18]
579*2^708059-1 is not prime.  Res64: 53865A7C89A611B8  Time : 3376.0 sec.
user=gd_barnes
[2009-08-10 12:05:35]
479*2^708060-1 is not prime.  Res64: 761EDF9FA7A63815  Time : 3375.0 sec.
user=vaughan
[2009-08-10 12:06:04]
473*2^708068-1 is not prime.  Res64: C92911D4EF7B6C51  Time : 1005.0 sec.
user=vaughan
[2009-08-10 12:07:15]
483*2^708070-1 is not prime.  Res64: 403B19DC3DA895B7  Time : 466.0 sec.
user=gd_barnes
[2009-08-10 12:07:37]
513*2^708060-1 is not prime.  Res64: 539B0D2F4A16D4E8  Time : 3376.0 sec.
user=vaughan
[2009-08-10 12:08:32]
565*2^708069-1 is not prime.  Res64: E0B21E4BED4FCD84  Time : 848.0 sec.
user=vaughan
[2009-08-10 12:09:20]
597*2^708070-1 is not prime.  Res64: 27543A3BC01EE5B6  Time : 466.0 sec.
user=vaughan
[2009-08-10 12:10:48]
423*2^708070-1 is not prime.  Res64: 484678B2CF5BAC93  Time : 832.0 sec.
user=gd_barnes
[2009-08-10 12:11:07]
517*2^708061-1 is not prime.  Res64: 83FC09E5BB1E44D4  Time : 3378.0 sec.
user=gd_barnes
[2009-08-10 12:13:33]
561*2^708062-1 is not prime.  Res64: 19EB0A66C907624B  Time : 3376.0 sec.
user=vaughan
[2009-08-10 12:14:52]
409*2^708073-1 is not prime.  Res64: BB9436AB6A97502E  Time : 457.0 sec.
user=gd_barnes
[2009-08-10 12:16:50]
591*2^708062-1 is not prime.  Res64: 15BA8AD2D3ACB910  Time : 3376.0 sec.
user=vaughan
[2009-08-10 12:16:58]
567*2^708070-1 is not prime.  Res64: 69671A1E2E32D0F2  Time : 980.0 sec.
user=vaughan
[2009-08-10 12:17:02]
499*2^708073-1 is not prime.  Res64: AB11FC0B5AAEA6E9  Time : 463.0 sec.
user=gd_barnes
[2009-08-10 12:18:53]
481*2^708063-1 is not prime.  Res64: B71A43632DD42D8A  Time : 3376.0 sec.
user=gd_barnes
[2009-08-10 12:22:23]
507*2^708064-1 is not prime.  Res64: C0A5619E68A9AEFE  Time : 3378.0 sec.
user=vaughan
[2009-08-10 12:22:30]
595*2^708073-1 is not prime.  Res64: B5391116D8BDAB82  Time : 458.0 sec.
user=vaughan
[2009-08-10 12:22:39]
477*2^708073-1 is not prime.  Res64: 320CA4D17DB1A7FB  Time : 847.0 sec.
user=vaughan
[2009-08-10 12:22:52]
563*2^708072-1 is not prime.  Res64: 752B95845085A0EC  Time : 1008.0 sec.
user=vaughan
[2009-08-10 12:24:44]
411*2^708075-1 is not prime.  Res64: 482532BE1209EB22  Time : 463.0 sec.
user=gd_barnes
[2009-08-10 12:24:49]
567*2^708064-1 is not prime.  Res64: 372F75C47BEA2A9E  Time : 3376.0 sec.
user=vaughan
[2009-08-10 12:24:53]
525*2^708073-1 is not prime.  Res64: 65EED295C89C38A2  Time : 845.0 sec.
user=gd_barnes
[2009-08-10 12:28:06]
577*2^708065-1 is not prime.  Res64: C2699DA16D8D581B  Time : 3377.0 sec.
user=gd_barnes
[2009-08-10 12:30:08]
411*2^708066-1 is not prime.  Res64: 7F535F066C75E30E  Time : 3376.0 sec.
user=vaughan
[2009-08-10 12:30:08]
553*2^708075-1 is not prime.  Res64: E5F9C0EFB0E72C92  Time : 458.0 sec.
user=vaughan
[2009-08-10 12:32:27]
525*2^708076-1 is not prime.  Res64: CB711B578B1937EE  Time : 464.0 sec.
user=vaughan
[2009-08-10 12:33:22]
563*2^708074-1 is not prime.  Res64: B0B11DE10F6D1D2D  Time : 984.0 sec.
user=gd_barnes
[2009-08-10 12:33:39]
485*2^708066-1 is not prime.  Res64: 354862A2E3DC5373  Time : 3379.0 sec.
user=gd_barnes
[2009-08-10 12:36:04]
593*2^708066-1 is not prime.  Res64: E88B45F9A1A27D4E  Time : 3377.0 sec.
user=vaughan
[2009-08-10 12:37:00]
495*2^708076-1 is not prime.  Res64: 9A011C967BBB105F  Time : 862.0 sec.
user=vaughan
[2009-08-10 12:37:46]
423*2^708078-1 is not prime.  Res64: AFCB9CF6DC8EF7B4  Time : 458.0 sec.
user=vaughan
[2009-08-10 12:38:54]
573*2^708076-1 is not prime.  Res64: E1C48768D5E69EB3  Time : 841.0 sec.
user=gd_barnes
[2009-08-10 12:39:21]
471*2^708067-1 is not prime.  Res64: 663DF06B6EEFCDED  Time : 3377.0 sec.
user=vaughan
[2009-08-10 12:39:48]
519*2^708076-1 is not prime.  Res64: 3943BE4F115A1D02  Time : 1016.0 sec.
user=vaughan
[2009-08-10 12:40:08]
443*2^708078-1 is not prime.  Res64: 3CC3EC33B92D8307  Time : 462.0 sec.
user=gd_barnes
[2009-08-10 12:41:23]
531*2^708067-1 is not prime.  Res64: 0C207D465090F324  Time : 3376.0 sec.
user=gd_barnes
[2009-08-10 12:44:55]
437*2^708068-1 is not prime.  Res64: F2989AC736C68412  Time : 3379.0 sec.
user=vaughan
[2009-08-10 12:45:23]
405*2^708080-1 is not prime.  Res64: 79A230B9A9157103  Time : 458.0 sec.
user=gd_barnes
[2009-08-10 12:47:18]
525*2^708068-1 is not prime.  Res64: 61B15BA90C5E3F67  Time : 3375.0 sec.
user=vaughan
[2009-08-10 12:47:50]
529*2^708081-1 is not prime.  Res64: 14A414FE688FE9E9  Time : 462.0 sec.
user=vaughan
[2009-08-10 12:49:48]
447*2^708078-1 is not prime.  Res64: 9CF6CD59047A1DCF  Time : 987.0 sec.
user=gd_barnes
[2009-08-10 12:50:37]
511*2^708069-1 is not prime.  Res64: 59B255CB4AD6834F  Time : 3378.0 sec.
user=vaughan
[2009-08-10 12:51:21]
505*2^708079-1 is not prime.  Res64: 8E6EC12631CAD5C9  Time : 861.0 sec.
user=vaughan
[2009-08-10 12:52:25]
525*2^708080-1 is not prime.  Res64: 4E964161793DD9B1  Time : 811.0 sec.
user=gd_barnes
[2009-08-10 12:52:38]
401*2^708070-1 is not prime.  Res64: 7B74130453400DA8  Time : 3376.0 sec.
user=vaughan
[2009-08-10 12:53:00]
483*2^708082-1 is not prime.  Res64: 8FCBBE2220561E60  Time : 458.0 sec.
user=vaughan
[2009-08-10 12:55:31]
435*2^708083-1 is not prime.  Res64: 7CF1CDD795F4FC06  Time : 462.0 sec.
user=gd_barnes
[2009-08-10 12:56:10]
521*2^708070-1 is not prime.  Res64: EBC957C8660F61E0  Time : 3379.0 sec.
user=vaughan
[2009-08-10 12:56:49]
499*2^708081-1 is not prime.  Res64: F1182897D4BCA9E2  Time : 1021.0 sec.
user=gd_barnes
[2009-08-10 12:58:34]
405*2^708072-1 is not prime.  Res64: 0117CCC9E5D924AE  Time : 3376.0 sec.
user=vaughan
[2009-08-10 13:00:37]
587*2^708084-1 is not prime.  Res64: 8FFC033242EA9EC2  Time : 458.0 sec.
user=gd_barnes
[2009-08-10 13:01:52]
447*2^708072-1 is not prime.  Res64: 67756A221C9D94B1  Time : 3377.0 sec.
user=vaughan
[2009-08-10 13:03:13]
471*2^708085-1 is not prime.  Res64: 233D202C5CE59F44  Time : 462.0 sec.
user=gd_barnes
[2009-08-10 13:03:53]
441*2^708073-1 is not prime.  Res64: E1B3FE132FA5DD8F  Time : 3376.0 sec.
user=vaughan
[2009-08-10 13:05:42]
565*2^708083-1 is not prime.  Res64: 97C461E3852098DF  Time : 861.0 sec.
user=vaughan
[2009-08-10 13:06:12]
465*2^708083-1 is not prime.  Res64: 4FDF0006249882D1  Time : 984.0 sec.
user=vaughan
[2009-08-10 13:06:36]
497*2^708084-1 is not prime.  Res64: 2E0F73B77A413228  Time : 851.0 sec.
user=gd_barnes
[2009-08-10 13:07:26]
567*2^708073-1 is not prime.  Res64: 21F9B754136C70BB  Time : 3379.0 sec.
user=vaughan
[2009-08-10 13:08:14]
531*2^708085-1 is not prime.  Res64: 0673F778C6FB42F2  Time : 458.0 sec.
user=gd_barnes
[2009-08-10 13:09:49]
589*2^708073-1 is not prime.  Res64: EE54D394CB162678  Time : 3376.0 sec.
user=vaughan
[2009-08-10 13:10:54]
577*2^708085-1 is not prime.  Res64: 353E1526C2BF08F6  Time : 461.0 sec.
user=gd_barnes
[2009-08-10 13:13:08]
597*2^708073-1 is not prime.  Res64: BFA36ACCA80F7073  Time : 3378.0 sec.
user=vaughan
[2009-08-10 13:13:38]
499*2^708085-1 is not prime.  Res64: 7CC718ACCA2216F4  Time : 1009.0 sec.
user=gd_barnes
[2009-08-10 13:15:08]
429*2^708075-1 is not prime.  Res64: 8CC584060FEA0E79  Time : 3375.0 sec.
user=vaughan
[2009-08-10 13:15:51]
591*2^708086-1 is not prime.  Res64: 2CB3EAE49554FC27  Time : 457.0 sec.
user=vaughan
[2009-08-10 13:18:36]
453*2^708087-1 is not prime.  Res64: E8C19C3C31FACEA9  Time : 462.0 sec.
user=gd_barnes
[2009-08-10 13:18:41]
513*2^708075-1 is not prime.  Res64: 6A555121186F82E4  Time : 3378.0 sec.
user=vaughan
[2009-08-10 13:20:00]
431*2^708086-1 is not prime.  Res64: 151347CC42E926F9  Time : 858.0 sec.
user=vaughan
[2009-08-10 13:20:41]
503*2^708086-1 is not prime.  Res64: D3499D1B6ECF30A3  Time : 845.0 sec.
user=gd_barnes
[2009-08-10 13:21:03]
537*2^708076-1 is not prime.  Res64: ECE275A4BB03AD23  Time : 3374.0 sec.
user=vaughan
[2009-08-10 13:22:30]
477*2^708086-1 is not prime.  Res64: D21E8FD38FCACF72  Time : 979.0 sec.
user=vaughan
[2009-08-10 13:23:30]
533*2^708088-1 is not prime.  Res64: D7935DEF6E7C8075  Time : 459.0 sec.
user=gd_barnes
[2009-08-10 13:24:23]
417*2^708077-1 is not prime.  Res64: 3D22C8B05109715A  Time : 3377.0 sec.
user=vaughan
[2009-08-10 13:26:18]
563*2^708088-1 is not prime.  Res64: BBA30C84696C3090  Time : 462.0 sec.
user=gd_barnes
[2009-08-10 13:26:23]
437*2^708078-1 is not prime.  Res64: B406D877187205E8  Time : 3376.0 sec.
user=gd_barnes
[2009-08-10 13:29:57]
525*2^708078-1 is not prime.  Res64: CC06A2875DF7F7BC  Time : 3378.0 sec.
user=vaughan
[2009-08-10 13:30:33]
513*2^708087-1 is not prime.  Res64: 2B41D07B4601A8A6  Time : 1016.0 sec.
user=vaughan
[2009-08-10 13:31:07]
493*2^708091-1 is not prime.  Res64: DC9AD04B9F7A50C8  Time : 457.0 sec.
user=gd_barnes
[2009-08-10 13:32:17]
585*2^708078-1 is not prime.  Res64: 8E487CFBAB3A8D40  Time : 3373.0 sec.
user=vaughan
[2009-08-10 13:34:01]
425*2^708092-1 is not prime.  Res64: 8EB39A0B71DA8E09  Time : 463.0 sec.
user=vaughan
[2009-08-10 13:34:10]
527*2^708090-1 is not prime.  Res64: 76AFEEE1D993C35A  Time : 809.0 sec.
user=vaughan
[2009-08-10 13:34:19]
413*2^708090-1 is not prime.  Res64: 499499779E1BB719  Time : 859.0 sec.
user=gd_barnes
[2009-08-10 13:35:38]
487*2^708081-1 is not prime.  Res64: A356474EB8123F46  Time : 3377.0 sec.
user=gd_barnes
[2009-08-10 13:37:38]
577*2^708081-1 is not prime.  Res64: E634C2D9B2569D5E  Time : 3375.0 sec.
user=vaughan
[2009-08-10 13:38:44]
441*2^708093-1 is not prime.  Res64: 844B41F967312603  Time : 457.0 sec.
user=vaughan
[2009-08-10 13:39:04]
463*2^708091-1 is not prime.  Res64: F0513AFA34F5C066  Time : 994.0 sec.
user=gd_barnes
[2009-08-10 13:41:13]
477*2^708082-1 is not prime.  Res64: 309EFCF71A8786D1  Time : 3378.0 sec.
user=vaughan
[2009-08-10 13:41:43]
459*2^708093-1 is not prime.  Res64: 3F892BD04027F8D4  Time : 462.0 sec.
user=gd_barnes
[2009-08-10 13:43:30]
503*2^708082-1 is not prime.  Res64: AAF31A083A7B437A  Time : 3372.0 sec.
user=vaughan
[2009-08-10 13:46:21]
459*2^708096-1 is not prime.  Res64: 17D1F0C03C7C7BCF  Time : 457.0 sec.
user=gd_barnes
[2009-08-10 13:46:52]
549*2^708083-1 is not prime.  Res64: FD671113962E99F8  Time : 3375.0 sec.
user=vaughan
[2009-08-10 13:47:23]
539*2^708092-1 is not prime.  Res64: 5ACD7109F6FAF13B  Time : 1010.0 sec.
user=vaughan
[2009-08-10 13:48:39]
475*2^708093-1 is not prime.  Res64: C9AC853E39C16185  Time : 870.0 sec.
user=vaughan
[2009-08-10 13:48:40]
477*2^708094-1 is not prime.  Res64: DE4C0DA6B6E477E0  Time : 862.0 sec.
user=gd_barnes
[2009-08-10 13:48:54]
525*2^708084-1 is not prime.  Res64: DD10AB7553BB6F37  Time : 3376.0 sec.
user=vaughan
[2009-08-10 13:49:24]
405*2^708097-1 is not prime.  Res64: 27EB050D29E4ED86  Time : 461.0 sec.
user=gd_barnes
[2009-08-10 13:52:28]
495*2^708085-1 is not prime.  Res64: 8B6E255FFC9B0D4C  Time : 3378.0 sec.
user=vaughan
[2009-08-10 13:54:00]
517*2^708097-1 is not prime.  Res64: 02B78C853D626D48  Time : 459.0 sec.
user=gd_barnes
[2009-08-10 13:54:44]
507*2^708085-1 is not prime.  Res64: DB5F80341A01552F  Time : 3370.0 sec.
user=vaughan
[2009-08-10 13:55:33]
503*2^708096-1 is not prime.  Res64: AECC325AC8A36A20  Time : 989.0 sec.
user=vaughan
[2009-08-10 13:57:05]
411*2^708099-1 is not prime.  Res64: 63845169CD556F3E  Time : 461.0 sec.
user=gd_barnes
[2009-08-10 13:58:07]
541*2^708085-1 is not prime.  Res64: F4F62E312299350C  Time : 3375.0 sec.
user=gd_barnes
[2009-08-10 14:00:10]
405*2^708086-1 is not prime.  Res64: C87B7461371D7FFE  Time : 3377.0 sec.
user=vaughan
[2009-08-10 14:01:36]
553*2^708099-1 is not prime.  Res64: ED99DCE47C865647  Time : 457.0 sec.
user=vaughan
[2009-08-10 14:02:53]
533*2^708098-1 is not prime.  Res64: 654A2661FC98339D  Time : 853.0 sec.
user=vaughan
[2009-08-10 14:02:53]
467*2^708098-1 is not prime.  Res64: 8D48BAB257AFD677  Time : 854.0 sec.
user=gd_barnes
[2009-08-10 14:03:44]
545*2^708086-1 is not prime.  Res64: 5F22894A71C9AFF1  Time : 3378.0 sec.
user=vaughan
[2009-08-10 14:04:16]
447*2^708098-1 is not prime.  Res64: D8BAD8514780137D  Time : 1013.0 sec.
user=vaughan
[2009-08-10 14:04:47]
579*2^708100-1 is not prime.  Res64: 0A911CF415E34013  Time : 462.0 sec.
user=gd_barnes
[2009-08-10 14:05:58]
403*2^708087-1 is not prime.  Res64: 9A6FB2893582BB3C  Time : 3370.0 sec.
user=vaughan
[2009-08-10 14:09:15]
529*2^708101-1 is not prime.  Res64: 2BFC2423FD7E7EBC  Time : 459.0 sec.
user=gd_barnes
[2009-08-10 14:09:22]
511*2^708087-1 is not prime.  Res64: 973D66F826762FBC  Time : 3374.0 sec.
user=gd_barnes
[2009-08-10 14:11:25]
495*2^708088-1 is not prime.  Res64: 801F9D61DBC1BAD5  Time : 3377.0 sec.
user=vaughan
[2009-08-10 14:11:58]
563*2^708100-1 is not prime.  Res64: 945470A02677F7EE  Time : 985.0 sec.
user=vaughan
[2009-08-10 14:12:28]
423*2^708103-1 is not prime.  Res64: D042F4EF448414A9  Time : 461.0 sec.
user=gd_barnes
[2009-08-10 14:15:00]
579*2^708089-1 is not prime.  Res64: 4D83DC5FBD599259  Time : 3379.0 sec.
user=vaughan
[2009-08-10 14:16:53]
505*2^708103-1 is not prime.  Res64: 3B0A03B68BEF56A4  Time : 458.0 sec.
user=vaughan
[2009-08-10 14:17:10]
559*2^708101-1 is not prime.  Res64: 82CC4D424796212D  Time : 858.0 sec.
user=vaughan
[2009-08-10 14:17:10]
423*2^708102-1 is not prime.  Res64: 71CF662F6B3C7CB8  Time : 857.0 sec.
user=gd_barnes
[2009-08-10 14:17:11]
405*2^708091-1 is not prime.  Res64: 4CFC9932ABC14417  Time : 3368.0 sec.
user=vaughan
[2009-08-10 14:20:10]
483*2^708104-1 is not prime.  Res64: 3ACFE72E591C833C  Time : 462.0 sec.
user=gd_barnes
[2009-08-10 14:20:37]
549*2^708091-1 is not prime.  Res64: AF56C3B15CC0254C  Time : 3374.0 sec.
user=vaughan
[2009-08-10 14:21:05]
411*2^708103-1 is not prime.  Res64: 4315CE484C52552F  Time : 1009.0 sec.
user=gd_barnes
[2009-08-10 14:22:41]
455*2^708092-1 is not prime.  Res64: 03AEC5F9C8E7CF4D  Time : 3378.0 sec.
user=vaughan
[2009-08-10 14:24:31]
593*2^708104-1 is not prime.  Res64: F449E91C42B8B6C7  Time : 459.0 sec.
user=gd_barnes
[2009-08-10 14:26:16]
525*2^708092-1 is not prime.  Res64: 5617E6E68C61B5F1  Time : 3379.0 sec.
user=vaughan
[2009-08-10 14:27:52]
411*2^708106-1 is not prime.  Res64: BC1AE1A7B3537E41  Time : 462.0 sec.
user=vaughan
[2009-08-10 14:28:22]
437*2^708104-1 is not prime.  Res64: 92900C5E15453B5B  Time : 984.0 sec.
user=gd_barnes
[2009-08-10 14:28:26]
451*2^708093-1 is not prime.  Res64: 9EE8DAB3593090B1  Time : 3369.0 sec.
user=vaughan
[2009-08-10 14:31:30]
409*2^708105-1 is not prime.  Res64: 3E3DF18CA33AB161  Time : 860.0 sec.
user=vaughan
[2009-08-10 14:31:49]
465*2^708105-1 is not prime.  Res64: 23D211F42634FF25  Time : 879.0 sec.
user=gd_barnes
[2009-08-10 14:31:50]
423*2^708095-1 is not prime.  Res64: B39FE5C6B6D9CE96  Time : 3372.0 sec.
user=vaughan
[2009-08-10 14:32:08]
451*2^708107-1 is not prime.  Res64: F7CC5FA539C5E8A1  Time : 457.0 sec.
user=gd_barnes
[2009-08-10 14:33:57]
445*2^708095-1 is not prime.  Res64: 667BC3E8229F8E56  Time : 3379.0 sec.
user=vaughan
[2009-08-10 14:35:34]
453*2^708108-1 is not prime.  Res64: 5DB996C77CD7DD35  Time : 462.0 sec.
user=gd_barnes
[2009-08-10 14:37:32]
567*2^708096-1 is not prime.  Res64: 45D83AFC73E6B672  Time : 3379.0 sec.
user=vaughan
[2009-08-10 14:37:57]
597*2^708106-1 is not prime.  Res64: 731F82C6AA93322E  Time : 1013.0 sec.
user=gd_barnes
[2009-08-10 14:39:39]
441*2^708097-1 is not prime.  Res64: E4529DA5CCC2B276  Time : 3369.0 sec.
user=vaughan
[2009-08-10 14:39:45]
495*2^708109-1 is not prime.  Res64: 62FFF60185363346  Time : 457.0 sec.
user=gd_barnes
[2009-08-10 14:43:05]
425*2^708098-1 is not prime.  Res64: 688718ABC4B9A527  Time : 3373.0 sec.
user=vaughan
[2009-08-10 14:43:16]
565*2^708109-1 is not prime.  Res64: 7836C3CD7D6B66D1  Time : 462.0 sec.
user=vaughan
[2009-08-10 14:44:36]
479*2^708108-1 is not prime.  Res64: 8EE1141916B6A33F  Time : 974.0 sec.
user=gd_barnes
[2009-08-10 14:45:12]
575*2^708098-1 is not prime.  Res64: B2307EC1610411DB  Time : 3378.0 sec.
user=vaughan
[2009-08-10 14:45:43]
537*2^708108-1 is not prime.  Res64: DC1FC4FFC08A0A01  Time : 853.0 sec.
user=vaughan
[2009-08-10 14:45:51]
567*2^708108-1 is not prime.  Res64: 185801D86211CBDE  Time : 842.0 sec.
user=vaughan
[2009-08-10 14:47:22]
535*2^708111-1 is not prime.  Res64: 83B87F324A297275  Time : 457.0 sec.
user=gd_barnes
[2009-08-10 14:48:47]
531*2^708099-1 is not prime.  Res64: AD82159264DF968E  Time : 3379.0 sec.
user=gd_barnes
[2009-08-10 14:50:54]
527*2^708100-1 is not prime.  Res64: 4DB4AF6C6B129BB1  Time : 3370.0 sec.
user=vaughan
[2009-08-10 14:50:58]
571*2^708111-1 is not prime.  Res64: CA7140427357948D  Time : 462.0 sec.
user=gd_barnes
[2009-08-10 14:54:20]
451*2^708101-1 is not prime.  Res64: B2036DF7A2E09BEB  Time : 3373.0 sec.
user=vaughan
[2009-08-10 14:54:44]
467*2^708110-1 is not prime.  Res64: 6A9545D2D521AE69  Time : 1007.0 sec.
user=vaughan
[2009-08-10 14:55:00]
527*2^708112-1 is not prime.  Res64: B8100B19085C4514  Time : 458.0 sec.
user=gd_barnes
[2009-08-10 14:56:28]
475*2^708101-1 is not prime.  Res64: 2529832D558AC003  Time : 3378.0 sec.
user=vaughan
[2009-08-10 14:58:39]
589*2^708113-1 is not prime.  Res64: B37355C7E396AAC3  Time : 461.0 sec.
user=vaughan
[2009-08-10 14:59:41]
513*2^708112-1 is not prime.  Res64: 0821EC3BA60DBD29  Time : 830.0 sec.
user=vaughan
[2009-08-10 15:00:01]
485*2^708112-1 is not prime.  Res64: CBDD48887BA561FD  Time : 858.0 sec.
user=gd_barnes
[2009-08-10 15:00:03]
537*2^708102-1 is not prime.  Res64: B5BDAFD3E5822A07  Time : 3379.0 sec.
user=vaughan
[2009-08-10 15:00:57]
419*2^708112-1 is not prime.  Res64: D0DC60D079CD4764  Time : 981.0 sec.
user=gd_barnes
[2009-08-10 15:02:07]
489*2^708103-1 is not prime.  Res64: 1972F21EA0B16E25  Time : 3370.0 sec.
user=vaughan
[2009-08-10 15:02:38]
437*2^708114-1 is not prime.  Res64: 58E053BB1C6AD95B  Time : 458.0 sec.
user=gd_barnes
[2009-08-10 15:05:35]
425*2^708104-1 is not prime.  Res64: 5B18708D3469E5CD  Time : 3374.0 sec.
user=vaughan
[2009-08-10 15:06:21]
503*2^708114-1 is not prime.  Res64: 4B48E76D0582742F  Time : 462.0 sec.
user=gd_barnes
[2009-08-10 15:07:43]
435*2^708104-1 is not prime.  Res64: DFC661BC880B70FA  Time : 3378.0 sec.
user=vaughan
[2009-08-10 15:10:16]
465*2^708116-1 is not prime.  Res64: AEEE4F385ACA3DA1  Time : 458.0 sec.
user=gd_barnes
[2009-08-10 15:11:18]
525*2^708104-1 is not prime.  Res64: 7FFF6918CEDD3E5C  Time : 3378.0 sec.
user=vaughan
[2009-08-10 15:11:43]
423*2^708114-1 is not prime.  Res64: F2D95543160907DF  Time : 1019.0 sec.
user=gd_barnes
[2009-08-10 15:13:22]
511*2^708105-1 is not prime.  Res64: 5239F5B2CD24B130  Time : 3371.0 sec.
user=vaughan
[2009-08-10 15:13:23]
531*2^708114-1 is not prime.  Res64: 5CFFE730F86D9A75  Time : 822.0 sec.
user=vaughan
[2009-08-10 15:14:02]
545*2^708116-1 is not prime.  Res64: E20C937F634C03AE  Time : 461.0 sec.
user=vaughan
[2009-08-10 15:14:21]
563*2^708114-1 is not prime.  Res64: 4757FD45FFEBA455  Time : 860.0 sec.
user=gd_barnes
[2009-08-10 15:16:49]
465*2^708106-1 is not prime.  Res64: 1886B2EEC2EE052A  Time : 3372.0 sec.
user=vaughan
[2009-08-10 15:17:26]
499*2^708115-1 is not prime.  Res64: 51B537AEFB37B61D  Time : 989.0 sec.
user=vaughan
[2009-08-10 15:17:54]
435*2^708118-1 is not prime.  Res64: 69A3A8AF24D971B6  Time : 458.0 sec.
user=gd_barnes
[2009-08-10 15:18:59]
439*2^708107-1 is not prime.  Res64: 5348ADF914958FB2  Time : 3378.0 sec.
user=vaughan
[2009-08-10 15:21:43]
591*2^708118-1 is not prime.  Res64: 03ED94039AF7B07E  Time : 461.0 sec.
user=gd_barnes
[2009-08-10 15:22:35]
419*2^708108-1 is not prime.  Res64: 6AC8B7A853540ED5  Time : 3379.0 sec.
user=gd_barnes
[2009-08-10 15:24:36]
503*2^708108-1 is not prime.  Res64: BE926E40505E6228  Time : 3370.0 sec.
user=vaughan
[2009-08-10 15:25:32]
543*2^708120-1 is not prime.  Res64: 054BEFCAAB64E73B  Time : 458.0 sec.
user=vaughan
[2009-08-10 15:27:18]
561*2^708118-1 is not prime.  Res64: 9E0ED3744143A656  Time : 835.0 sec.
user=gd_barnes
[2009-08-10 15:28:04]
451*2^708109-1 is not prime.  Res64: C79E8D6DED3FC433  Time : 3374.0 sec.
user=vaughan
[2009-08-10 15:28:34]
597*2^708118-1 is not prime.  Res64: 32A4A5FF013D4517  Time : 853.0 sec.
user=vaughan
[2009-08-10 15:28:35]
527*2^708118-1 is not prime.  Res64: D27CF2C0F5206EB5  Time : 1012.0 sec.
user=vaughan
[2009-08-10 15:29:24]
429*2^708121-1 is not prime.  Res64: D11E6C4D2C299234  Time : 461.0 sec.
user=gd_barnes
[2009-08-10 15:30:15]
537*2^708109-1 is not prime.  Res64: 671B603D484CBF82  Time : 3379.0 sec.
user=vaughan
[2009-08-10 15:33:10]
555*2^708121-1 is not prime.  Res64: DF23A56A9AF26F8F  Time : 458.0 sec.
user=vaughan
[2009-08-10 15:33:45]
589*2^708119-1 is not prime.  Res64: 33F6C22C4C906382  Time : 979.0 sec.
user=gd_barnes
[2009-08-10 15:33:50]
447*2^708110-1 is not prime.  Res64: 29A905291E76BFDD  Time : 3379.0 sec.
user=gd_barnes
[2009-08-10 15:35:50]
521*2^708110-1 is not prime.  Res64: BC32F7413493A65F  Time : 3371.0 sec.
user=vaughan
[2009-08-10 15:37:07]
493*2^708123-1 is not prime.  Res64: 70B8A5C2D35D4AD9  Time : 463.0 sec.
user=gd_barnes
[2009-08-10 15:39:19]
565*2^708111-1 is not prime.  Res64: D5539F5269497C35  Time : 3374.0 sec.
user=vaughan
[2009-08-10 15:40:49]
507*2^708124-1 is not prime.  Res64: A046CFDF0C366BA5  Time : 459.0 sec.
user=vaughan
[2009-08-10 15:40:56]
477*2^708122-1 is not prime.  Res64: 65C5AE7C47857734  Time : 819.0 sec.
user=gd_barnes
[2009-08-10 15:41:30]
483*2^708112-1 is not prime.  Res64: 3E04DB3CDC187011  Time : 3378.0 sec.
user=vaughan
[2009-08-10 15:42:39]
439*2^708123-1 is not prime.  Res64: C43291A95126EAC5  Time : 845.0 sec.
user=vaughan
[2009-08-10 15:44:50]
481*2^708125-1 is not prime.  Res64: A34507F9208F3586  Time : 463.0 sec.
user=gd_barnes
[2009-08-10 15:45:06]
441*2^708113-1 is not prime.  Res64: BDC5322F34439D40  Time : 3379.0 sec.
user=vaughan
[2009-08-10 15:45:14]
445*2^708123-1 is not prime.  Res64: AE0EACC54EFC056B  Time : 1000.0 sec.
user=gd_barnes
[2009-08-10 15:47:04]
567*2^708113-1 is not prime.  Res64: F3E3CFE044C060A9  Time : 3370.0 sec.
user=vaughan
[2009-08-10 15:48:26]
591*2^708125-1 is not prime.  Res64: C4EDAA8F23A9CA81  Time : 457.0 sec.
user=vaughan
[2009-08-10 15:50:06]
539*2^708124-1 is not prime.  Res64: BC058C623A95C8BF  Time : 981.0 sec.
user=gd_barnes
[2009-08-10 15:50:33]
411*2^708114-1 is not prime.  Res64: C3C6B7A058AFFCD0  Time : 3373.0 sec.
user=vaughan
[2009-08-10 15:52:32]
521*2^708126-1 is not prime.  Res64: 031B74C3713A3290  Time : 462.0 sec.
user=gd_barnes
[2009-08-10 15:52:47]
495*2^708114-1 is not prime.  Res64: 2A1D5D157A3859AF  Time : 3379.0 sec.
user=vaughan
[2009-08-10 15:55:09]
453*2^708126-1 is not prime.  Res64: 638BE0C7CB93E670  Time : 853.0 sec.
user=vaughan
[2009-08-10 15:56:03]
463*2^708127-1 is not prime.  Res64: 885607788CDCE184  Time : 457.0 sec.
user=gd_barnes
[2009-08-10 15:56:22]
481*2^708115-1 is not prime.  Res64: 964B69B8A9CB7FFB  Time : 3379.0 sec.
user=vaughan
[2009-08-10 15:56:57]
501*2^708126-1 is not prime.  Res64: 93603940ABFC25BF  Time : 858.0 sec.
user=gd_barnes
[2009-08-10 15:58:19]
455*2^708116-1 is not prime.  Res64: F4D918413B88BECA  Time : 3372.0 sec.
user=vaughan
[2009-08-10 16:00:13]
511*2^708127-1 is not prime.  Res64: B83BBAADCEDC4479  Time : 461.0 sec.
user=gd_barnes
[2009-08-10 16:01:49]
503*2^708116-1 is not prime.  Res64: 10FC70D86F86A06C  Time : 3374.0 sec.
user=vaughan
[2009-08-10 16:02:05]
421*2^708127-1 is not prime.  Res64: 136D5E9B5CA5E187  Time : 1011.0 sec.
user=vaughan
[2009-08-10 16:03:40]
507*2^708128-1 is not prime.  Res64: BC01FBEECDFF0943  Time : 457.0 sec.
user=gd_barnes
[2009-08-10 16:04:02]
557*2^708116-1 is not prime.  Res64: D50243F6A13C920B  Time : 3379.0 sec.
user=vaughan
[2009-08-10 16:06:32]
469*2^708127-1 is not prime.  Res64: F1D1AC1E400EA1AB  Time : 986.0 sec.
user=gd_barnes
[2009-08-10 16:07:38]
471*2^708118-1 is not prime.  Res64: E8FC80E022E6CB12  Time : 3380.0 sec.
user=vaughan
[2009-08-10 16:07:55]
443*2^708130-1 is not prime.  Res64: DEB5211A7C33D859  Time : 462.0 sec.
user=vaughan
[2009-08-10 16:08:51]
423*2^708128-1 is not prime.  Res64: 2AC8EE542C2880A3  Time : 822.0 sec.
user=gd_barnes
[2009-08-10 16:09:33]
545*2^708118-1 is not prime.  Res64: 9335C708C47DE9E5  Time : 3371.0 sec.
user=vaughan
[2009-08-10 16:11:17]
581*2^708130-1 is not prime.  Res64: 08B4D4F5AF1DF66C  Time : 457.0 sec.
user=vaughan
[2009-08-10 16:11:17]
573*2^708128-1 is not prime.  Res64: BDA950E4D6389FE3  Time : 860.0 sec.
user=gd_barnes
[2009-08-10 16:13:02]
433*2^708119-1 is not prime.  Res64: 8AD104EC31254BF5  Time : 3373.0 sec.
user=gd_barnes
[2009-08-10 16:15:18]
557*2^708120-1 is not prime.  Res64: F5D6BE807903915D  Time : 3379.0 sec.
user=vaughan
[2009-08-10 16:15:36]
505*2^708131-1 is not prime.  Res64: 0CF5684106771A76  Time : 461.0 sec.
user=gd_barnes
[2009-08-10 16:18:54]
507*2^708121-1 is not prime.  Res64: A5B28B0AB0E74404  Time : 3379.0 sec.
user=vaughan
[2009-08-10 16:18:55]
437*2^708132-1 is not prime.  Res64: 3E03375CF241670E  Time : 458.0 sec.
user=vaughan
[2009-08-10 16:18:55]
533*2^708130-1 is not prime.  Res64: BFC392F03AD8EE29  Time : 1011.0 sec.
user=gd_barnes
[2009-08-10 16:20:47]
531*2^708121-1 is not prime.  Res64: 533AB943159485F6  Time : 3371.0 sec.
user=vaughan
[2009-08-10 16:22:55]
573*2^708131-1 is not prime.  Res64: FFEC6F5A37D567FF  Time : 844.0 sec.
user=vaughan
[2009-08-10 16:23:01]
453*2^708131-1 is not prime.  Res64: AE66F118A4265D2D  Time : 989.0 sec.
user=vaughan
[2009-08-10 16:23:19]
525*2^708133-1 is not prime.  Res64: EB977BFEEB9280B8  Time : 463.0 sec.
user=gd_barnes
[2009-08-10 16:24:17]
563*2^708122-1 is not prime.  Res64: 5E086F56C0B6A279  Time : 3373.0 sec.
user=vaughan
[2009-08-10 16:25:33]
483*2^708132-1 is not prime.  Res64: C01AFB602662E939  Time : 856.0 sec.
user=gd_barnes
[2009-08-10 16:26:33]
497*2^708124-1 is not prime.  Res64: 08E28A497C4A068C  Time : 3378.0 sec.
user=vaughan
[2009-08-10 16:26:33]
411*2^708135-1 is not prime.  Res64: 0FCDC14EC8C450A4  Time : 458.0 sec.
user=gd_barnes
[2009-08-10 16:30:09]
573*2^708124-1 is not prime.  Res64: 7BB1990D8A23C9A7  Time : 3379.0 sec.
user=vaughan
[2009-08-10 16:31:04]
447*2^708136-1 is not prime.  Res64: 7890F87A347E32FC  Time : 465.0 sec.
user=gd_barnes
[2009-08-10 16:32:03]
597*2^708124-1 is not prime.  Res64: A95CE60F001EB40C  Time : 3373.0 sec.
user=vaughan
[2009-08-10 16:34:12]
441*2^708137-1 is not prime.  Res64: F5EE6229DFEC4FA2  Time : 459.0 sec.
user=gd_barnes
[2009-08-10 16:35:31]
589*2^708125-1 is not prime.  Res64: DAF0B54D80092031  Time : 3373.0 sec.
user=vaughan
[2009-08-10 16:35:44]
465*2^708135-1 is not prime.  Res64: D2CF9AD228AA0ED3  Time : 1009.0 sec.
user=vaughan
[2009-08-10 16:37:10]
583*2^708135-1 is not prime.  Res64: AD3C3CBD96D89959  Time : 855.0 sec.
user=gd_barnes
[2009-08-10 16:37:48]
465*2^708126-1 is not prime.  Res64: 6A5324DC7F3FCB40  Time : 3378.0 sec.
user=vaughan
[2009-08-10 16:38:48]
487*2^708137-1 is not prime.  Res64: 33F2F6BA6793E5AE  Time : 464.0 sec.
user=vaughan
[2009-08-10 16:39:21]
591*2^708135-1 is not prime.  Res64: 6BFFE5F642DDB942  Time : 980.0 sec.
user=vaughan
[2009-08-10 16:39:47]
495*2^708136-1 is not prime.  Res64: A2B8697E75D14C8F  Time : 854.0 sec.
user=gd_barnes
[2009-08-10 16:41:25]
593*2^708126-1 is not prime.  Res64: D78FA322C8BA43CB  Time : 3379.0 sec.
user=vaughan
[2009-08-10 16:41:50]
585*2^708137-1 is not prime.  Res64: CCCFB9879BACEC19  Time : 458.0 sec.
user=gd_barnes
[2009-08-10 16:43:18]
441*2^708127-1 is not prime.  Res64: E899B810FF5C3B2A  Time : 3374.0 sec.
user=vaughan
[2009-08-10 16:46:29]
451*2^708139-1 is not prime.  Res64: 3078E6263F0D38FB  Time : 462.0 sec.
user=gd_barnes
[2009-08-10 16:46:47]
493*2^708127-1 is not prime.  Res64: 42DA5DC52D82A462  Time : 3374.0 sec.
user=gd_barnes
[2009-08-10 16:49:04]
589*2^708127-1 is not prime.  Res64: B9F9843B506126ED  Time : 3377.0 sec.
user=vaughan
[2009-08-10 16:49:27]
437*2^708140-1 is not prime.  Res64: E6429061C9C07AFE  Time : 457.0 sec.
user=vaughan
[2009-08-10 16:50:50]
555*2^708138-1 is not prime.  Res64: 4713035E24240CF6  Time : 821.0 sec.
user=vaughan
[2009-08-10 16:52:40]
525*2^708138-1 is not prime.  Res64: 0A0EE26861235B5C  Time : 1017.0 sec.
user=gd_barnes
[2009-08-10 16:52:41]
563*2^708128-1 is not prime.  Res64: 24B5094FDD00FF7C  Time : 3380.0 sec.
user=vaughan
[2009-08-10 16:54:12]
599*2^708140-1 is not prime.  Res64: 57215D50EBC2575D  Time : 463.0 sec.
user=vaughan
[2009-08-10 16:54:12]
583*2^708139-1 is not prime.  Res64: 891A6DA69D003878  Time : 865.0 sec.
user=gd_barnes
[2009-08-10 16:54:32]
405*2^708130-1 is not prime.  Res64: E3D25808072BC899  Time : 3373.0 sec.
user=vaughan
[2009-08-10 16:55:41]
549*2^708139-1 is not prime.  Res64: E68C949EFD15CDA8  Time : 981.0 sec.
user=vaughan
[2009-08-10 16:57:05]
459*2^708141-1 is not prime.  Res64: 20573835A306AE37  Time : 458.0 sec.
user=gd_barnes
[2009-08-10 16:58:01]
525*2^708130-1 is not prime.  Res64: 62E64A3156A35028  Time : 3372.0 sec.
user=gd_barnes
[2009-08-10 17:00:19]
433*2^708131-1 is not prime.  Res64: 885A23839AB68B24  Time : 3377.0 sec.
user=vaughan
[2009-08-10 17:01:54]
425*2^708142-1 is not prime.  Res64: 6753CC8925D6C9C4  Time : 463.0 sec.
user=gd_barnes
[2009-08-10 17:03:56]
475*2^708131-1 is not prime.  Res64: 2C05AB0267C721DB  Time : 3378.0 sec.
user=vaughan
[2009-08-10 17:04:43]
423*2^708143-1 is not prime.  Res64: DA01DB02A0B2E501  Time : 459.0 sec.
user=vaughan
[2009-08-10 17:04:47]
499*2^708141-1 is not prime.  Res64: E35EC9A1A42892AB  Time : 838.0 sec.
user=gd_barnes
[2009-08-10 17:05:46]
591*2^708131-1 is not prime.  Res64: 15A4630EEA049BCA  Time : 3373.0 sec.
user=vaughan
[2009-08-10 17:08:37]
447*2^708142-1 is not prime.  Res64: EFB123FEC897155A  Time : 865.0 sec.
user=gd_barnes
[2009-08-10 17:09:15]
579*2^708132-1 is not prime.  Res64: 849997B7E79F5D43  Time : 3373.0 sec.
user=vaughan
[2009-08-10 17:09:31]
529*2^708141-1 is not prime.  Res64: D950289986F4E230  Time : 1011.0 sec.
user=vaughan
[2009-08-10 17:09:36]
501*2^708143-1 is not prime.  Res64: 119197101590AFFA  Time : 462.0 sec.
user=gd_barnes
[2009-08-10 17:11:33]
429*2^708133-1 is not prime.  Res64: 217358386820E84B  Time : 3375.0 sec.
user=vaughan
[2009-08-10 17:12:05]
411*2^708143-1 is not prime.  Res64: 6E77F41E405CDDBB  Time : 984.0 sec.
user=vaughan
[2009-08-10 17:12:21]
559*2^708143-1 is not prime.  Res64: 94B717F117417A5D  Time : 459.0 sec.
user=gd_barnes
[2009-08-10 17:15:12]
561*2^708134-1 is not prime.  Res64: 11B71A287B609BDC  Time : 3378.0 sec.
user=gd_barnes
[2009-08-10 17:17:01]
535*2^708135-1 is not prime.  Res64: 7055CBF4A9CA64E4  Time : 3374.0 sec.
user=vaughan
[2009-08-10 17:17:18]
409*2^708145-1 is not prime.  Res64: D4FF51AA5FFE6315  Time : 462.0 sec.
user=vaughan
[2009-08-10 17:19:05]
585*2^708143-1 is not prime.  Res64: A575607AB539C639  Time : 858.0 sec.
user=vaughan
[2009-08-10 17:19:58]
495*2^708145-1 is not prime.  Res64: 90C3AD495BBDC1AA  Time : 458.0 sec.
user=gd_barnes
[2009-08-10 17:20:30]
465*2^708136-1 is not prime.  Res64: 8F6498FBFA36067B  Time : 3373.0 sec.
user=gd_barnes
[2009-08-10 17:22:49]
435*2^708137-1 is not prime.  Res64: 53872C6C78F657D4  Time : 3377.0 sec.
user=vaughan
[2009-08-10 17:22:54]
437*2^708144-1 is not prime.  Res64: 6FB08D7C03BDCF0D  Time : 858.0 sec.
user=vaughan
[2009-08-10 17:24:59]
407*2^708146-1 is not prime.  Res64: 49CC232EC248C3AA  Time : 461.0 sec.
user=vaughan
[2009-08-10 17:26:25]
405*2^708145-1 is not prime.  Res64: BDC6506230DC61E8  Time : 1014.0 sec.
user=gd_barnes
[2009-08-10 17:26:27]
447*2^708137-1 is not prime.  Res64: AD3BFE8F94A0AE3D  Time : 3378.0 sec.
user=vaughan
[2009-08-10 17:27:37]
501*2^708146-1 is not prime.  Res64: C0964785168BD844  Time : 459.0 sec.
user=gd_barnes
[2009-08-10 17:28:15]
529*2^708137-1 is not prime.  Res64: A7D873B5EF6124FD  Time : 3372.0 sec.
user=vaughan
[2009-08-10 17:28:28]
469*2^708145-1 is not prime.  Res64: 9F89D14A7892436A  Time : 983.0 sec.
user=gd_barnes
[2009-08-10 17:31:44]
401*2^708138-1 is not prime.  Res64: 2B54C8E001DED989  Time : 3373.0 sec.
user=vaughan
[2009-08-10 17:32:41]
523*2^708147-1 is not prime.  Res64: 95ADDA43DF9D3B02  Time : 462.0 sec.
user=vaughan
[2009-08-10 17:33:20]
483*2^708146-1 is not prime.  Res64: D1744CB1DF991951  Time : 855.0 sec.
user=gd_barnes
[2009-08-10 17:34:03]
573*2^708138-1 is not prime.  Res64: 63842FFA93201AEB  Time : 3375.0 sec.
user=vaughan
[2009-08-10 17:35:13]
583*2^708147-1 is not prime.  Res64: 448FC5F787FAFAEF  Time : 457.0 sec.
user=vaughan
[2009-08-10 17:37:12]
567*2^708146-1 is not prime.  Res64: 363DB2602EB9C82F  Time : 858.0 sec.
user=gd_barnes
[2009-08-10 17:37:44]
595*2^708139-1 is not prime.  Res64: A50E9D0736BEDC40  Time : 3379.0 sec.
user=gd_barnes
[2009-08-10 17:39:30]
539*2^708140-1 is not prime.  Res64: CB6EBA9D345AE3D8  Time : 3372.0 sec.
user=vaughan
[2009-08-10 17:40:25]
539*2^708148-1 is not prime.  Res64: 97CCC119E757757A  Time : 464.0 sec.
user=vaughan
[2009-08-10 17:42:47]
507*2^708149-1 is not prime.  Res64: 96C11353E4168601  Time : 455.0 sec.
user=gd_barnes
[2009-08-10 17:42:59]
415*2^708141-1 is not prime.  Res64: D1BBFD7B5F15C2D9  Time : 3372.0 sec.
user=vaughan
[2009-08-10 17:43:17]
529*2^708147-1 is not prime.  Res64: E0AFD1321805A811  Time : 1012.0 sec.
user=vaughan
[2009-08-10 17:44:59]
429*2^708148-1 is not prime.  Res64: 2E01870AD92C4B79  Time : 991.0 sec.
user=gd_barnes
[2009-08-10 17:45:19]
439*2^708141-1 is not prime.  Res64: AD9B4C3A6790B059  Time : 3376.0 sec.
user=vaughan
[2009-08-10 17:47:06]
567*2^708148-1 is not prime.  Res64: 9ED425CC566C452E  Time : 826.0 sec.
user=vaughan
[2009-08-10 17:48:10]
473*2^708150-1 is not prime.  Res64: 74D18E5A3A7EC4EB  Time : 465.0 sec.
user=gd_barnes
[2009-08-10 17:48:59]
565*2^708141-1 is not prime.  Res64: FC7F74D0D9728F78  Time : 3378.0 sec.
user=vaughan
[2009-08-10 17:50:22]
483*2^708150-1 is not prime.  Res64: 247040970B0E2549  Time : 455.0 sec.
user=gd_barnes
[2009-08-10 17:50:45]
581*2^708142-1 is not prime.  Res64: 682E1D208F2D285E  Time : 3373.0 sec.
user=vaughan
[2009-08-10 17:51:30]
401*2^708150-1 is not prime.  Res64: 28A10086B9702B62  Time : 858.0 sec.
user=gd_barnes
[2009-08-10 17:54:13]
445*2^708143-1 is not prime.  Res64: 5DBB934E38546655  Time : 3372.0 sec.
user=vaughan
[2009-08-10 17:55:55]
541*2^708151-1 is not prime.  Res64: 8911E30F3A6A66CB  Time : 465.0 sec.
user=gd_barnes
[2009-08-10 17:56:34]
451*2^708143-1 is not prime.  Res64: 98843A4F6103C2A4  Time : 3376.0 sec.
user=vaughan
[2009-08-10 17:57:58]
429*2^708153-1 is not prime.  Res64: 3B056FD2FCA4B423  Time : 456.0 sec.
user=vaughan
[2009-08-10 17:59:46]
581*2^708150-1 is not prime.  Res64: 2D58F78A71D6B855  Time : 990.0 sec.
user=gd_barnes
[2009-08-10 18:00:15]
549*2^708143-1 is not prime.  Res64: E9AFF7A7D9DB5EDE  Time : 3379.0 sec.
user=vaughan
[2009-08-10 18:00:31]
499*2^708151-1 is not prime.  Res64: BB32AB65466B5F90  Time : 805.0 sec.
user=vaughan
[2009-08-10 18:00:53]
415*2^708151-1 is not prime.  Res64: E9C528E32574E5D3  Time : 954.0 sec.
user=gd_barnes
[2009-08-10 18:01:59]
589*2^708143-1 is not prime.  Res64: C712F2A51FE535A1  Time : 3373.0 sec.
user=vaughan
[2009-08-10 18:03:39]
513*2^708154-1 is not prime.  Res64: 28989A8249F689CA  Time : 464.0 sec.
user=vaughan
[2009-08-10 18:05:01]
595*2^708153-1 is not prime.  Res64: 5572EF2C25C5F9C2  Time : 812.0 sec.
user=gd_barnes
[2009-08-10 18:05:28]
597*2^708144-1 is not prime.  Res64: 7241711F2558FC7D  Time : 3373.0 sec.
user=vaughan
[2009-08-10 18:05:32]
433*2^708155-1 is not prime.  Res64: 8BD360CE5D2D18A6  Time : 455.0 sec.
user=gd_barnes
[2009-08-10 18:07:49]
411*2^708145-1 is not prime.  Res64: A25250FDF6700770  Time : 3376.0 sec.
user=vaughan
[2009-08-10 18:11:24]
485*2^708156-1 is not prime.  Res64: EBDD4E50AC33BD6E  Time : 465.0 sec.
user=gd_barnes
[2009-08-10 18:11:31]
507*2^708145-1 is not prime.  Res64: 7DF9B3CD3242E9DD  Time : 3380.0 sec.
user=vaughan
[2009-08-10 18:13:07]
595*2^708157-1 is not prime.  Res64: E5E0A8DB1BD70757  Time : 456.0 sec.
user=gd_barnes
[2009-08-10 18:13:15]
561*2^708145-1 is not prime.  Res64: 535B68F6B8D14E14  Time : 3374.0 sec.
user=vaughan
[2009-08-10 18:14:29]
405*2^708156-1 is not prime.  Res64: 4E7ED73821CE5FEE  Time : 839.0 sec.
user=vaughan
[2009-08-10 18:16:11]
459*2^708155-1 is not prime.  Res64: 70A90B96488EB9B7  Time : 985.0 sec.
user=vaughan
[2009-08-10 18:16:42]
425*2^708156-1 is not prime.  Res64: FCBB1F3729C25B33  Time : 950.0 sec.
user=gd_barnes
[2009-08-10 18:16:43]
515*2^708146-1 is not prime.  Res64: 616B45B4E9825DC0  Time : 3373.0 sec.
user=vaughan
[2009-08-10 18:18:45]
451*2^708157-1 is not prime.  Res64: 6DA4AEE574202C50  Time : 824.0 sec.
user=gd_barnes
[2009-08-10 18:19:04]
545*2^708146-1 is not prime.  Res64: 269725A3BB4A0AAD  Time : 3375.0 sec.
user=vaughan
[2009-08-10 18:19:09]
483*2^708158-1 is not prime.  Res64: 131517482AF75470  Time : 465.0 sec.
user=vaughan
[2009-08-10 18:20:42]
501*2^708158-1 is not prime.  Res64: 86ACCEAEF1595859  Time : 455.0 sec.
user=vaughan
[2009-08-10 18:26:54]
527*2^708160-1 is not prime.  Res64: C0DE7E21B62F94B7  Time : 466.0 sec.
user=vaughan
[2009-08-10 18:28:04]
533*2^708158-1 is not prime.  Res64: 3423A3BAC2A4DDDF  Time : 815.0 sec.
user=vaughan
[2009-08-10 18:28:17]
441*2^708161-1 is not prime.  Res64: B64D2349815F45A7  Time : 455.0 sec.
user=vaughan
[2009-08-10 18:32:31]
429*2^708160-1 is not prime.  Res64: 6F93F89135D59046  Time : 827.0 sec.
user=vaughan
[2009-08-10 18:32:34]
451*2^708159-1 is not prime.  Res64: FA53B19512879478  Time : 983.0 sec.
user=vaughan
[2009-08-10 18:32:45]
513*2^708159-1 is not prime.  Res64: D703422D0F3CACED  Time : 963.0 sec.
user=vaughan
[2009-08-10 18:34:37]
445*2^708161-1 is not prime.  Res64: B3128B258DC0AA21  Time : 464.0 sec.
user=vaughan
[2009-08-10 18:35:51]
591*2^708161-1 is not prime.  Res64: C92483F384CE1721  Time : 454.0 sec.
user=vaughan
[2009-08-10 18:41:39]
537*2^708161-1 is not prime.  Res64: 08BD2D2E7AB6C23C  Time : 815.0 sec.
user=vaughan
[2009-08-10 18:42:21]
411*2^708163-1 is not prime.  Res64: 7B78028B13B92068  Time : 464.0 sec.
user=vaughan
[2009-08-10 18:43:26]
429*2^708163-1 is not prime.  Res64: 3082383E231FCB4C  Time : 455.0 sec.
user=vaughan
[2009-08-10 18:46:13]
471*2^708162-1 is not prime.  Res64: 8F36FDE17FB31FFE  Time : 822.0 sec.
user=vaughan
[2009-08-10 18:48:53]
525*2^708162-1 is not prime.  Res64: CBC9407D076ABC88  Time : 968.0 sec.
user=vaughan
[2009-08-10 18:49:04]
507*2^708162-1 is not prime.  Res64: 95FDFFCC6D5ED208  Time : 991.0 sec.
user=vaughan
[2009-08-10 18:50:06]
589*2^708163-1 is not prime.  Res64: 1353227C19FB80F4  Time : 465.0 sec.
user=vaughan
[2009-08-10 18:51:01]
447*2^708164-1 is not prime.  Res64: 84C91B39629F5AD1  Time : 455.0 sec.
user=vaughan
[2009-08-10 18:54:11]
511*2^708163-1 is not prime.  Res64: 770CC8B51526313F  Time : 752.0 sec.
user=vaughan
[2009-08-10 18:57:50]
475*2^708165-1 is not prime.  Res64: 6E6818F43E2B6215  Time : 464.0 sec.
user=gd_barnes
[2009-08-10 18:58:18]
543*2^708147-1 is not prime.  Res64: A514E6BF011FA8CB  Time : 5511.0 sec.
user=gd_barnes
[2009-08-10 18:58:18]
405*2^708150-1 is not prime.  Res64: A0E4C1895B9D4582  Time : 4834.0 sec.
user=vaughan
[2009-08-10 18:58:36]
481*2^708165-1 is not prime.  Res64: 63313C7417CF2344  Time : 455.0 sec.
user=gd_barnes
[2009-08-10 18:58:37]
413*2^708148-1 is not prime.  Res64: A60B418CF614E710  Time : 5422.0 sec.
user=gd_barnes
[2009-08-10 18:58:37]
437*2^708150-1 is not prime.  Res64: 0B3FD28DF62952B1  Time : 4747.0 sec.
user=gd_barnes
[2009-08-10 18:58:49]
411*2^708149-1 is not prime.  Res64: FC850752C9931B6D  Time : 5086.0 sec.
user=gd_barnes
[2009-08-10 18:58:49]
421*2^708151-1 is not prime.  Res64: 975CF83B95BFC8F7  Time : 4410.0 sec.
user=gd_barnes
[2009-08-10 18:58:53]
537*2^708148-1 is not prime.  Res64: D0119BF2DBEE5FDF  Time : 5229.0 sec.
user=gd_barnes
[2009-08-10 18:58:53]
567*2^708150-1 is not prime.  Res64: A9F154530551A7BC  Time : 4554.0 sec.
user=vaughan
[2009-08-10 18:59:57]
489*2^708164-1 is not prime.  Res64: EB9330AC1291621A  Time : 824.0 sec.
user=gd_barnes
[2009-08-10 18:59:59]
439*2^708153-1 is not prime.  Res64: 7417899D928ACA90  Time : 4155.0 sec.
user=gd_barnes
[2009-08-10 19:02:18]
497*2^708154-1 is not prime.  Res64: 9B7CDEA0B350D243  Time : 4086.0 sec.
user=vaughan
[2009-08-10 19:04:46]
415*2^708165-1 is not prime.  Res64: 16D85F180BCEEC2B  Time : 953.0 sec.
user=gd_barnes
[2009-08-10 19:05:13]
531*2^708154-1 is not prime.  Res64: 3DA43F3EDD242A6C  Time : 4119.0 sec.
user=vaughan
[2009-08-10 19:05:31]
427*2^708165-1 is not prime.  Res64: 9218C6395D99F9A2  Time : 988.0 sec.
user=vaughan
[2009-08-10 19:05:34]
477*2^708166-1 is not prime.  Res64: 0B6F965B84AA74F6  Time : 464.0 sec.
user=vaughan
[2009-08-10 19:06:11]
561*2^708166-1 is not prime.  Res64: A748B72276CC490C  Time : 455.0 sec.
user=vaughan
[2009-08-10 19:07:49]
517*2^708165-1 is not prime.  Res64: 6565693F39735485  Time : 819.0 sec.
user=gd_barnes
[2009-08-10 19:09:35]
599*2^708152-1 is not prime.  Res64: 7970682AB35D9841  Time : 4836.0 sec.
user=gd_barnes
[2009-08-10 19:11:15]
453*2^708156-1 is not prime.  Res64: 7CD1313BD7894686  Time : 4156.0 sec.
user=vaughan
[2009-08-10 19:13:18]
525*2^708169-1 is not prime.  Res64: 26B7EC836F507DF2  Time : 464.0 sec.
user=gd_barnes
[2009-08-10 19:13:34]
477*2^708157-1 is not prime.  Res64: 9595B8CEEAE07FC1  Time : 4086.0 sec.
user=vaughan
[2009-08-10 19:13:46]
547*2^708169-1 is not prime.  Res64: 99C7E2E9EF2C9CBF  Time : 455.0 sec.
user=vaughan
[2009-08-10 19:13:47]
437*2^708168-1 is not prime.  Res64: 51CF6A966896ADEB  Time : 830.0 sec.
user=gd_barnes
[2009-08-10 19:16:31]
425*2^708158-1 is not prime.  Res64: DCE5D11FEDFE851C  Time : 4122.0 sec.
user=vaughan
[2009-08-10 19:20:46]
565*2^708169-1 is not prime.  Res64: 4EF5FA19ACE8E09B  Time : 778.0 sec.
user=vaughan
[2009-08-10 19:20:50]
537*2^708168-1 is not prime.  Res64: FBA51A0CD711379D  Time : 965.0 sec.
user=gd_barnes
[2009-08-10 19:20:52]
595*2^708155-1 is not prime.  Res64: 81EB31C275A4BC05  Time : 4837.0 sec.
user=vaughan
[2009-08-10 19:21:03]
473*2^708170-1 is not prime.  Res64: 4BA09A4036AE4DF5  Time : 465.0 sec.
user=vaughan
[2009-08-10 19:21:21]
439*2^708171-1 is not prime.  Res64: 9F3F114E59692931  Time : 455.0 sec.
user=vaughan
[2009-08-10 19:22:01]
435*2^708169-1 is not prime.  Res64: 98D4287019A625C0  Time : 990.0 sec.
user=gd_barnes
[2009-08-10 19:22:31]
515*2^708158-1 is not prime.  Res64: 0A2E827BF785345C  Time : 4156.0 sec.
user=gd_barnes
[2009-08-10 19:24:52]
565*2^708159-1 is not prime.  Res64: 9D478460F6E4F77A  Time : 4089.0 sec.
user=vaughan
[2009-08-10 19:27:28]
459*2^708171-1 is not prime.  Res64: 9012D44B6232D537  Time : 822.0 sec.
user=gd_barnes
[2009-08-10 19:27:49]
455*2^708160-1 is not prime.  Res64: 6288C02F54B72E7A  Time : 4125.0 sec.
user=vaughan
[2009-08-10 19:28:48]
549*2^708172-1 is not prime.  Res64: F2B416DE58715EAD  Time : 465.0 sec.
user=vaughan
[2009-08-10 19:28:56]
573*2^708172-1 is not prime.  Res64: 34E2492B04029964  Time : 455.0 sec.
user=gd_barnes
[2009-08-10 19:32:09]
495*2^708158-1 is not prime.  Res64: F0ECF3D2C04C4295  Time : 4839.0 sec.
user=gd_barnes
[2009-08-10 19:33:47]
581*2^708166-1 is not prime.  Res64: 60B69734DEBEF2C4  Time : 2111.0 sec.
user=vaughan
[2009-08-10 19:34:15]
429*2^708172-1 is not prime.  Res64: 8210B2EE59E56C71  Time : 810.0 sec.
user=gd_barnes
[2009-08-10 19:36:07]
585*2^708167-1 is not prime.  Res64: CD45D054AB535FBE  Time : 2234.0 sec.
user=vaughan
[2009-08-10 19:36:30]
503*2^708174-1 is not prime.  Res64: 1BD6C0FF631CC54B  Time : 454.0 sec.
user=vaughan
[2009-08-10 19:36:34]
483*2^708174-1 is not prime.  Res64: DE7EA52A01AFEE06  Time : 466.0 sec.
user=vaughan
[2009-08-10 19:36:44]
525*2^708172-1 is not prime.  Res64: 3971D852E8F44BC4  Time : 955.0 sec.
user=vaughan
[2009-08-10 19:38:30]
411*2^708173-1 is not prime.  Res64: 46E5E00F55AF7554  Time : 989.0 sec.
user=gd_barnes
[2009-08-10 19:39:07]
409*2^708167-1 is not prime.  Res64: 139DB6205E567CB9  Time : 2419.0 sec.
user=vaughan
[2009-08-10 19:41:19]
495*2^708173-1 is not prime.  Res64: D00C8C7A7525D3AD  Time : 832.0 sec.
user=gd_barnes
[2009-08-10 19:43:28]
525*2^708166-1 is not prime.  Res64: 3AAFAA0379C32559  Time : 2711.0 sec.
user=vaughan
[2009-08-10 19:44:05]
417*2^708176-1 is not prime.  Res64: 04D460892507261B  Time : 455.0 sec.
user=vaughan
[2009-08-10 19:44:18]
437*2^708176-1 is not prime.  Res64: 78540CABFA714650  Time : 464.0 sec.
user=gd_barnes
[2009-08-10 19:45:01]
593*2^708166-1 is not prime.  Res64: 0F3EE497EED00658  Time : 2785.0 sec.
user=vaughan
[2009-08-10 19:47:16]
573*2^708174-1 is not prime.  Res64: 9D4B4273115157C1  Time : 781.0 sec.
user=gd_barnes
[2009-08-10 19:47:23]
423*2^708168-1 is not prime.  Res64: A2B8BCBC42950E52  Time : 2910.0 sec.
user=gd_barnes
[2009-08-10 19:50:25]
511*2^708167-1 is not prime.  Res64: 885A0C96CB481E88  Time : 3096.0 sec.
user=vaughan
[2009-08-10 19:51:40]
499*2^708177-1 is not prime.  Res64: 681CD4F0D52C6C49  Time : 455.0 sec.
user=vaughan
[2009-08-10 19:52:03]
531*2^708177-1 is not prime.  Res64: 765C99F7EDD840A2  Time : 465.0 sec.
user=vaughan
[2009-08-10 19:52:52]
447*2^708176-1 is not prime.  Res64: 436AE0CEF3AC8480  Time : 968.0 sec.
user=gd_barnes
[2009-08-10 19:54:46]
545*2^708166-1 is not prime.  Res64: CF1F61D6733A738E  Time : 3389.0 sec.
user=vaughan
[2009-08-10 19:54:51]
519*2^708176-1 is not prime.  Res64: 6143C8F31C7282E0  Time : 982.0 sec.
user=vaughan
[2009-08-10 19:55:04]
573*2^708176-1 is not prime.  Res64: F2FF535B3E422904  Time : 825.0 sec.
user=gd_barnes
[2009-08-10 19:56:17]
465*2^708168-1 is not prime.  Res64: 9690D998A44036B3  Time : 3378.0 sec.
user=gd_barnes
[2009-08-10 19:58:39]
467*2^708168-1 is not prime.  Res64: 147BA019E5AF1036  Time : 3381.0 sec.
user=vaughan
[2009-08-10 19:59:15]
551*2^708178-1 is not prime.  Res64: E232B6EC705B0A0B  Time : 455.0 sec.
user=vaughan
[2009-08-10 19:59:48]
567*2^708178-1 is not prime.  Res64: FAD3D77D2F5BE602  Time : 465.0 sec.
user=vaughan
[2009-08-10 20:00:20]
503*2^708178-1 is not prime.  Res64: D876353295F93549  Time : 784.0 sec.
user=gd_barnes
[2009-08-10 20:01:44]
567*2^708168-1 is not prime.  Res64: F0D655043E6277A8  Time : 3391.0 sec.
user=gd_barnes
[2009-08-10 20:06:04]
417*2^708170-1 is not prime.  Res64: B73C9F23A4E26468  Time : 3389.0 sec.
user=vaughan
[2009-08-10 20:06:50]
411*2^708181-1 is not prime.  Res64: B24BD85C18CFFD70  Time : 455.0 sec.
user=vaughan
[2009-08-10 20:07:31]
415*2^708181-1 is not prime.  Res64: 8FF76E603D5BEC19  Time : 464.0 sec.
user=gd_barnes
[2009-08-10 20:07:33]
467*2^708170-1 is not prime.  Res64: 8D60F75E6EE0AA87  Time : 3378.0 sec.
user=vaughan
[2009-08-10 20:08:40]
441*2^708179-1 is not prime.  Res64: 32C237E80AB3CEF9  Time : 948.0 sec.
user=vaughan
[2009-08-10 20:08:44]
405*2^708180-1 is not prime.  Res64: 48FAE2C7D87AA4D9  Time : 821.0 sec.
user=gd_barnes
[2009-08-10 20:09:55]
501*2^708170-1 is not prime.  Res64: E37EBC8B6685E2A5  Time : 3381.0 sec.
user=vaughan
[2009-08-10 20:11:10]
571*2^708179-1 is not prime.  Res64: FCB6B9D2ECEAE0C3  Time : 979.0 sec.
user=gd_barnes
[2009-08-10 20:13:01]
511*2^708171-1 is not prime.  Res64: C9FC7134494553E2  Time : 3390.0 sec.
user=vaughan
[2009-08-10 20:13:26]
525*2^708181-1 is not prime.  Res64: 0402BA0FE1DA7D91  Time : 786.0 sec.
user=vaughan
[2009-08-10 20:14:27]
503*2^708182-1 is not prime.  Res64: E6CC84CFEABCF76A  Time : 457.0 sec.
user=vaughan
[2009-08-10 20:15:11]
411*2^708183-1 is not prime.  Res64: 691B6027B04EF8E9  Time : 461.0 sec.
user=gd_barnes
[2009-08-10 20:17:21]
539*2^708172-1 is not prime.  Res64: DB8308A3B118942B  Time : 3389.0 sec.
user=gd_barnes
[2009-08-10 20:18:50]
451*2^708173-1 is not prime.  Res64: 50A1F974C01F560F  Time : 3379.0 sec.
user=gd_barnes
[2009-08-10 20:21:11]
489*2^708173-1 is not prime.  Res64: EAD44DC8995FDE86  Time : 3380.0 sec.
user=vaughan
[2009-08-10 20:22:04]
459*2^708185-1 is not prime.  Res64: B9851453ACEB17D9  Time : 457.0 sec.
user=vaughan
[2009-08-10 20:22:26]
465*2^708183-1 is not prime.  Res64: 47D780A885F88EBB  Time : 822.0 sec.
user=vaughan
[2009-08-10 20:22:51]
589*2^708185-1 is not prime.  Res64: 0A4DD0CBB79976EB  Time : 461.0 sec.
user=gd_barnes
[2009-08-10 20:24:20]
453*2^708174-1 is not prime.  Res64: BB43E32F9059B446  Time : 3391.0 sec.
user=vaughan
[2009-08-10 20:24:24]
453*2^708183-1 is not prime.  Res64: EADBEA89DB7D6F00  Time : 944.0 sec.
user=vaughan
[2009-08-10 20:26:27]
587*2^708184-1 is not prime.  Res64: B16E00FD6D784A78  Time : 781.0 sec.
user=vaughan
[2009-08-10 20:27:32]
455*2^708184-1 is not prime.  Res64: 331414EFA1D2922A  Time : 982.0 sec.
user=gd_barnes
[2009-08-10 20:28:39]
513*2^708174-1 is not prime.  Res64: BAF86F93AAF7E01C  Time : 3390.0 sec.
user=vaughan
[2009-08-10 20:29:40]
441*2^708187-1 is not prime.  Res64: 40DF816895A84FF2  Time : 456.0 sec.
user=gd_barnes
[2009-08-10 20:30:05]
551*2^708174-1 is not prime.  Res64: 7F4C914165B9B998  Time : 3378.0 sec.
user=vaughan
[2009-08-10 20:30:33]
541*2^708187-1 is not prime.  Res64: FC33455C8B2F5F06  Time : 463.0 sec.
user=gd_barnes
[2009-08-10 20:32:27]
595*2^708175-1 is not prime.  Res64: 59A24E053B2B3600  Time : 3380.0 sec.
user=gd_barnes
[2009-08-10 20:35:38]
567*2^708176-1 is not prime.  Res64: AB9647E93590396B  Time : 3391.0 sec.
user=vaughan
[2009-08-10 20:36:04]
495*2^708187-1 is not prime.  Res64: 4B48C6BF75DC1E2D  Time : 819.0 sec.
user=vaughan
[2009-08-10 20:37:18]
595*2^708189-1 is not prime.  Res64: 059918994F3409FA  Time : 458.0 sec.
user=vaughan
[2009-08-10 20:38:16]
453*2^708190-1 is not prime.  Res64: 30B053971342DD84  Time : 464.0 sec.
user=vaughan
[2009-08-10 20:39:23]
599*2^708188-1 is not prime.  Res64: 1E2EC345CEA0C18A  Time : 776.0 sec.
user=gd_barnes
[2009-08-10 20:39:56]
471*2^708177-1 is not prime.  Res64: BF58AD1AF14D20BD  Time : 3388.0 sec.
user=vaughan
[2009-08-10 20:40:12]
435*2^708188-1 is not prime.  Res64: 39E3A004ADB0462D  Time : 948.0 sec.
user=gd_barnes
[2009-08-10 20:41:21]
447*2^708178-1 is not prime.  Res64: 42BE3409191AD9C1  Time : 3380.0 sec.
user=gd_barnes
[2009-08-10 20:43:43]
525*2^708178-1 is not prime.  Res64: 5C813AFF92DED0EF  Time : 3380.0 sec.
user=vaughan
[2009-08-10 20:43:57]
427*2^708189-1 is not prime.  Res64: E687B394BF50E267  Time : 985.0 sec.
user=vaughan
[2009-08-10 20:44:54]
549*2^708191-1 is not prime.  Res64: 29D1DEA344BC9711  Time : 456.0 sec.
user=vaughan
[2009-08-10 20:45:58]
559*2^708191-1 is not prime.  Res64: 3906ED78B31563FD  Time : 462.0 sec.
user=gd_barnes
[2009-08-10 20:46:55]
545*2^708178-1 is not prime.  Res64: 9AB2ACFD1BD8E58A  Time : 3390.0 sec.
user=vaughan
[2009-08-10 20:49:39]
587*2^708190-1 is not prime.  Res64: 0F5718FB93A4887E  Time : 815.0 sec.
user=gd_barnes
[2009-08-10 20:51:14]
481*2^708179-1 is not prime.  Res64: E38DBF6D844CB6E1  Time : 3388.0 sec.
user=vaughan
[2009-08-10 20:52:31]
593*2^708194-1 is not prime.  Res64: F3C4709783EFB7FA  Time : 457.0 sec.
user=vaughan
[2009-08-10 20:52:36]
571*2^708191-1 is not prime.  Res64: 54D152254CBE7E8F  Time : 793.0 sec.
user=gd_barnes
[2009-08-10 20:52:36]
539*2^708180-1 is not prime.  Res64: 985E5071B0F269BC  Time : 3379.0 sec.
user=vaughan
[2009-08-10 20:53:39]
403*2^708195-1 is not prime.  Res64: 087C70A32D880CA3  Time : 461.0 sec.
user=vaughan
[2009-08-10 20:54:53]
479*2^708192-1 is not prime.  Res64: 883EA9B2DFCF8CBF  Time : 881.0 sec.
user=gd_barnes
[2009-08-10 20:54:59]
593*2^708180-1 is not prime.  Res64: F6C5768A2391B62A  Time : 3380.0 sec.
user=vaughan
[2009-08-10 20:58:10]
503*2^708194-1 is not prime.  Res64: 0760858C7F55CA39  Time : 854.0 sec.
user=gd_barnes
[2009-08-10 20:58:17]
537*2^708181-1 is not prime.  Res64: 1844A3F12903240D  Time : 3394.0 sec.
user=vaughan
[2009-08-10 21:00:08]
481*2^708195-1 is not prime.  Res64: 0D80BB1D38B85B90  Time : 457.0 sec.
user=vaughan
[2009-08-10 21:01:20]
563*2^708196-1 is not prime.  Res64: ED1BDE412283E11D  Time : 461.0 sec.
user=vaughan
[2009-08-10 21:01:21]
453*2^708195-1 is not prime.  Res64: 36599841769F9C8F  Time : 702.0 sec.
user=vaughan
[2009-08-10 21:04:06]
489*2^708195-1 is not prime.  Res64: EB868361E7BCB371  Time : 690.0 sec.
user=gd_barnes
[2009-08-10 21:04:22]
559*2^708181-1 is not prime.  Res64: A6439059C348BCBB  Time : 3498.0 sec.
user=gd_barnes
[2009-08-10 21:05:16]
441*2^708183-1 is not prime.  Res64: 8612ACBBC321954B  Time : 3463.0 sec.
user=gd_barnes
[2009-08-10 21:07:07]
565*2^708183-1 is not prime.  Res64: 3D9F80F0414BA358  Time : 3432.0 sec.
user=vaughan
[2009-08-10 21:07:24]
475*2^708197-1 is not prime.  Res64: 72263DF446C586A2  Time : 752.0 sec.
user=vaughan
[2009-08-10 21:07:45]
473*2^708198-1 is not prime.  Res64: 5EE814A8C8ABE43C  Time : 457.0 sec.
user=vaughan
[2009-08-10 21:09:03]
483*2^708198-1 is not prime.  Res64: 2BCC621170EA2714  Time : 463.0 sec.
user=vaughan
[2009-08-10 21:10:57]
447*2^708198-1 is not prime.  Res64: 94FC064B7140C526  Time : 768.0 sec.
user=gd_barnes
[2009-08-10 21:11:30]
479*2^708184-1 is not prime.  Res64: 3798C524AE1E1F5C  Time : 3509.0 sec.
user=vaughan
[2009-08-10 21:12:58]
503*2^708198-1 is not prime.  Res64: 8CFA14DB372C3BF4  Time : 697.0 sec.
user=vaughan
[2009-08-10 21:15:23]
539*2^708200-1 is not prime.  Res64: 2C622794BC8A43F2  Time : 458.0 sec.
user=vaughan
[2009-08-10 21:15:38]
499*2^708199-1 is not prime.  Res64: A1A992EC7007926F  Time : 692.0 sec.
user=gd_barnes
[2009-08-10 21:16:00]
465*2^708186-1 is not prime.  Res64: 256B1766D828B2D1  Time : 3519.0 sec.
user=vaughan
[2009-08-10 21:16:45]
471*2^708201-1 is not prime.  Res64: 09E32EB225A888A5  Time : 462.0 sec.
user=gd_barnes
[2009-08-10 21:16:54]
537*2^708186-1 is not prime.  Res64: 5A15614565F002CF  Time : 3484.0 sec.
user=gd_barnes
[2009-08-10 21:18:39]
433*2^708187-1 is not prime.  Res64: 837278449658475C  Time : 3448.0 sec.
user=vaughan
[2009-08-10 21:19:57]
483*2^708200-1 is not prime.  Res64: C762453216F96C0F  Time : 753.0 sec.
user=gd_barnes
[2009-08-10 21:22:53]
413*2^708188-1 is not prime.  Res64: 4490027A099E4D6F  Time : 3513.0 sec.
user=vaughan
[2009-08-10 21:23:00]
411*2^708203-1 is not prime.  Res64: 46862F344B6A8EEE  Time : 458.0 sec.
user=vaughan
[2009-08-10 21:23:45]
571*2^708201-1 is not prime.  Res64: EEB110DE37C68C66  Time : 768.0 sec.
user=vaughan
[2009-08-10 21:24:27]
505*2^708203-1 is not prime.  Res64: 944D139D178693F2  Time : 462.0 sec.
user=vaughan
[2009-08-10 21:24:33]
513*2^708202-1 is not prime.  Res64: 171556C1150BDBA8  Time : 696.0 sec.
user=vaughan
[2009-08-10 21:27:08]
433*2^708203-1 is not prime.  Res64: 42199B49D459CDEC  Time : 690.0 sec.
user=gd_barnes
[2009-08-10 21:27:14]
471*2^708189-1 is not prime.  Res64: DDE8F47CEB767A4F  Time : 3516.0 sec.
user=gd_barnes
[2009-08-10 21:28:12]
443*2^708190-1 is not prime.  Res64: C91DE2F5C94A22DD  Time : 3487.0 sec.
user=gd_barnes
[2009-08-10 21:29:56]
527*2^708190-1 is not prime.  Res64: 0E8D264EE28A9B54  Time : 3449.0 sec.
user=vaughan
[2009-08-10 21:30:36]
555*2^708204-1 is not prime.  Res64: E0D871C28740E27E  Time : 457.0 sec.
user=vaughan
[2009-08-10 21:32:06]
585*2^708204-1 is not prime.  Res64: 4A3899CBDAFB2A81  Time : 459.0 sec.
user=vaughan
[2009-08-10 21:32:32]
447*2^708204-1 is not prime.  Res64: 412E4A00981B3182  Time : 755.0 sec.
user=gd_barnes
[2009-08-10 21:34:09]
533*2^708190-1 is not prime.  Res64: 371995A124755E84  Time : 3512.0 sec.
user=vaughan
[2009-08-10 21:36:10]
587*2^708204-1 is not prime.  Res64: 7D3D448C4DB88B6E  Time : 697.0 sec.
user=vaughan
[2009-08-10 21:36:30]
567*2^708204-1 is not prime.  Res64: F4D4A89811CB010C  Time : 765.0 sec.
user=vaughan
[2009-08-10 21:38:13]
575*2^708206-1 is not prime.  Res64: 02936B9DEF43741A  Time : 457.0 sec.
user=gd_barnes
[2009-08-10 21:38:27]
405*2^708192-1 is not prime.  Res64: 970DA9D1A2822DEE  Time : 3511.0 sec.
user=vaughan
[2009-08-10 21:38:37]
411*2^708205-1 is not prime.  Res64: 9C846DDE5F7EC8DF  Time : 690.0 sec.
user=gd_barnes
[2009-08-10 21:39:28]
481*2^708193-1 is not prime.  Res64: D25A7141180B335E  Time : 3487.0 sec.
user=vaughan
[2009-08-10 21:39:48]
423*2^708207-1 is not prime.  Res64: BB5A889368F2F103  Time : 462.0 sec.
user=gd_barnes
[2009-08-10 21:41:10]
495*2^708194-1 is not prime.  Res64: E96D2533B9BDC86C  Time : 3447.0 sec.
user=vaughan
[2009-08-10 21:45:03]
429*2^708207-1 is not prime.  Res64: 48EF03D853687564  Time : 752.0 sec.
user=gd_barnes
[2009-08-10 21:45:24]
451*2^708195-1 is not prime.  Res64: 02EAAF7F1ABAB331  Time : 3509.0 sec.
user=vaughan
[2009-08-10 21:45:51]
405*2^708208-1 is not prime.  Res64: 67414274B479A2AE  Time : 458.0 sec.
user=vaughan
[2009-08-10 21:47:30]
435*2^708209-1 is not prime.  Res64: E046222E1FFF64B7  Time : 462.0 sec.
user=vaughan
[2009-08-10 21:47:49]
471*2^708207-1 is not prime.  Res64: 9586DA663A1461A8  Time : 699.0 sec.
user=vaughan
[2009-08-10 21:49:13]
523*2^708207-1 is not prime.  Res64: 6718DD6FC01B530A  Time : 764.0 sec.
user=gd_barnes
[2009-08-10 21:49:42]
475*2^708195-1 is not prime.  Res64: 8BFB53AF191255AD  Time : 3508.0 sec.
user=vaughan
[2009-08-10 21:50:09]
549*2^708208-1 is not prime.  Res64: FCBBDBD3256716E0  Time : 692.0 sec.
user=gd_barnes
[2009-08-10 21:50:43]
583*2^708195-1 is not prime.  Res64: 1E2896DA7A9B779A  Time : 3487.0 sec.
user=gd_barnes
[2009-08-10 21:52:24]
529*2^708197-1 is not prime.  Res64: B0D9AC592D55405E  Time : 3445.0 sec.
user=vaughan
[2009-08-10 21:53:29]
473*2^708210-1 is not prime.  Res64: 6AF3AAA70710271F  Time : 458.0 sec.
user=vaughan
[2009-08-10 21:55:11]
483*2^708211-1 is not prime.  Res64: F0DA0525261433D5  Time : 461.0 sec.
user=gd_barnes
[2009-08-10 21:56:40]
465*2^708198-1 is not prime.  Res64: E4F5D86B65F70D74  Time : 3503.0 sec.
user=vaughan
[2009-08-10 21:57:38]
565*2^708209-1 is not prime.  Res64: FED94A03340C63D3  Time : 755.0 sec.
user=vaughan
[2009-08-10 21:59:26]
489*2^708211-1 is not prime.  Res64: 9003AC94C9D212C4  Time : 697.0 sec.
user=gd_barnes
[2009-08-10 22:00:57]
523*2^708199-1 is not prime.  Res64: BB841F6A5F93BBBD  Time : 3395.0 sec.
user=vaughan
[2009-08-10 22:01:06]
533*2^708214-1 is not prime.  Res64: 309B3F07F9FC1880  Time : 457.0 sec.
user=vaughan
[2009-08-10 22:01:40]
405*2^708212-1 is not prime.  Res64: 5DC6A749725CAB45  Time : 691.0 sec.
user=gd_barnes
[2009-08-10 22:01:57]
555*2^708199-1 is not prime.  Res64: FD106FC8A2B9C1D5  Time : 3401.0 sec.
user=vaughan
[2009-08-10 22:01:58]
493*2^708211-1 is not prime.  Res64: 92146D5C038EE802  Time : 765.0 sec.
user=vaughan
[2009-08-10 22:02:50]
545*2^708214-1 is not prime.  Res64: 34F97AA5AD6DA79E  Time : 460.0 sec.
user=gd_barnes
[2009-08-10 22:03:39]
425*2^708200-1 is not prime.  Res64: 37BED63084F6D50F  Time : 3392.0 sec.
user=gd_barnes
[2009-08-10 22:04:04]
549*2^708213-1 is not prime.  Res64: 46CA3BFBBAB427C6  Time : 690.0 sec.
user=gd_barnes
[2009-08-10 22:07:55]
453*2^708202-1 is not prime.  Res64: 934280FE39CF6F39  Time : 3385.0 sec.
user=vaughan
[2009-08-10 22:08:43]
591*2^708215-1 is not prime.  Res64: 3D6E2A70533159EE  Time : 457.0 sec.
user=vaughan
[2009-08-10 22:10:09]
501*2^708215-1 is not prime.  Res64: 6EA0C7B50D4D9B91  Time : 752.0 sec.
user=vaughan
[2009-08-10 22:10:29]
515*2^708216-1 is not prime.  Res64: 8381165426A64E5A  Time : 460.0 sec.
user=vaughan
[2009-08-10 22:11:02]
531*2^708215-1 is not prime.  Res64: F022A0DB60CE2C60  Time : 697.0 sec.
user=gd_barnes
[2009-08-10 22:12:11]
463*2^708203-1 is not prime.  Res64: 313FEE58DF3CAB60  Time : 3371.0 sec.
user=vaughan
[2009-08-10 22:13:08]
425*2^708216-1 is not prime.  Res64: A303EC37FBA938D8  Time : 688.0 sec.
user=gd_barnes
[2009-08-10 22:13:14]
589*2^708203-1 is not prime.  Res64: B2618170E4BF7140  Time : 3380.0 sec.
user=vaughan
[2009-08-10 22:14:44]
465*2^708216-1 is not prime.  Res64: 0A32F9ACB69EFD44  Time : 766.0 sec.
user=gd_barnes
[2009-08-10 22:14:54]
419*2^708204-1 is not prime.  Res64: 4E6B2150F2131042  Time : 3375.0 sec.
user=gd_barnes
[2009-08-10 22:15:23]
465*2^708214-1 is not prime.  Res64: 404A24C7536FB66D  Time : 1369.0 sec.
user=vaughan
[2009-08-10 22:16:20]
465*2^708217-1 is not prime.  Res64: 249374B708C46811  Time : 457.0 sec.
user=vaughan
[2009-08-10 22:18:08]
423*2^708218-1 is not prime.  Res64: 96DF6D2BBAC6A579  Time : 460.0 sec.
user=gd_barnes
[2009-08-10 22:19:11]
473*2^708204-1 is not prime.  Res64: 787B58ACF5D7E2D4  Time : 3378.0 sec.
user=vaughan
[2009-08-10 22:22:38]
561*2^708218-1 is not prime.  Res64: 345BD7F7A1F790A4  Time : 696.0 sec.
user=vaughan
[2009-08-10 22:22:42]
505*2^708217-1 is not prime.  Res64: 40E270FA00FD612E  Time : 753.0 sec.
user=gd_barnes
[2009-08-10 22:23:27]
567*2^708205-1 is not prime.  Res64: E921BB813B22C080  Time : 3373.0 sec.
user=vaughan
[2009-08-10 22:23:57]
411*2^708221-1 is not prime.  Res64: 233F2DDD6C77D98D  Time : 457.0 sec.
user=gd_barnes
[2009-08-10 22:24:29]
483*2^708206-1 is not prime.  Res64: 57E1979985A3B99E  Time : 3377.0 sec.
user=vaughan
[2009-08-10 22:24:40]
441*2^708219-1 is not prime.  Res64: 7B5FF163F07630F3  Time : 692.0 sec.
user=vaughan
[2009-08-10 22:25:47]
441*2^708221-1 is not prime.  Res64: B825A74C03370C3B  Time : 459.0 sec.
user=gd_barnes
[2009-08-10 22:26:08]
501*2^708206-1 is not prime.  Res64: E2825C18810883AA  Time : 3372.0 sec.
user=gd_barnes
[2009-08-10 22:26:41]
483*2^708214-1 is not prime.  Res64: 1DB6C10A3C9CC704  Time : 2047.0 sec.
user=vaughan
[2009-08-10 22:27:30]
511*2^708219-1 is not prime.  Res64: E51D1BB89CF60CE3  Time : 766.0 sec.
user=gd_barnes
[2009-08-10 22:30:27]
469*2^708207-1 is not prime.  Res64: 72AB7689B67B8F12  Time : 3378.0 sec.
user=vaughan
[2009-08-10 22:31:34]
555*2^708222-1 is not prime.  Res64: 75C350FE9DEA77A5  Time : 457.0 sec.
user=vaughan
[2009-08-10 22:33:26]
489*2^708223-1 is not prime.  Res64: 43EDAF9D07D50BF3  Time : 459.0 sec.
user=gd_barnes
[2009-08-10 22:34:42]
489*2^708208-1 is not prime.  Res64: 2B4DE06DD59FEB29  Time : 3375.0 sec.
user=vaughan
[2009-08-10 22:34:55]
549*2^708221-1 is not prime.  Res64: B22FB946AC7A4389  Time : 738.0 sec.
user=gd_barnes
[2009-08-10 22:35:47]
567*2^708208-1 is not prime.  Res64: C2414BE2131F4A70  Time : 3379.0 sec.
user=vaughan
[2009-08-10 22:36:00]
559*2^708221-1 is not prime.  Res64: F04E26590F23C248  Time : 798.0 sec.
user=vaughan
[2009-08-10 22:36:56]
475*2^708223-1 is not prime.  Res64: E72EBF2D20FF356D  Time : 737.0 sec.
user=gd_barnes
[2009-08-10 22:37:24]
489*2^708209-1 is not prime.  Res64: 2A1FF73472DCE367  Time : 3374.0 sec.
user=gd_barnes
[2009-08-10 22:38:01]
513*2^708214-1 is not prime.  Res64: 48D67F9D7412DF34  Time : 2726.0 sec.
user=vaughan
[2009-08-10 22:39:12]
447*2^708224-1 is not prime.  Res64: EB9CFF7C3D07D518  Time : 458.0 sec.
user=vaughan
[2009-08-10 22:41:08]
495*2^708224-1 is not prime.  Res64: 0B08EEA489800057  Time : 462.0 sec.
user=gd_barnes
[2009-08-10 22:41:42]
437*2^708210-1 is not prime.  Res64: 95BE38B8B29C0B85  Time : 3378.0 sec.
user=vaughan
[2009-08-10 22:41:49]
435*2^708224-1 is not prime.  Res64: 4BCB295833DF6116  Time : 859.0 sec.
user=gd_barnes
[2009-08-10 22:45:58]
495*2^708211-1 is not prime.  Res64: C2EFBA1DE9903B83  Time : 3376.0 sec.
user=vaughan
[2009-08-10 22:46:49]
521*2^708226-1 is not prime.  Res64: F154897148C4D73A  Time : 458.0 sec.
user=gd_barnes
[2009-08-10 22:47:01]
439*2^708213-1 is not prime.  Res64: AFF71264E836402A  Time : 3378.0 sec.
user=vaughan
[2009-08-10 22:47:39]
405*2^708225-1 is not prime.  Res64: EC14167CF972F315  Time : 765.0 sec.
user=gd_barnes
[2009-08-10 22:48:38]
451*2^708213-1 is not prime.  Res64: 847332E1F2998730  Time : 3374.0 sec.
user=vaughan
[2009-08-10 22:48:51]
597*2^708226-1 is not prime.  Res64: 9EC820B609C4FC94  Time : 463.0 sec.
user=gd_barnes
[2009-08-10 22:49:18]
525*2^708214-1 is not prime.  Res64: 22FCB93E7F9A9B3B  Time : 3403.0 sec.
user=vaughan
[2009-08-10 22:49:19]
461*2^708226-1 is not prime.  Res64: E6FB8AF4DC3E8E14  Time : 743.0 sec.
user=vaughan
[2009-08-10 22:49:40]
585*2^708225-1 is not prime.  Res64: ECE46DA3B47E972F  Time : 820.0 sec.
user=gd_barnes
[2009-08-10 22:52:58]
411*2^708215-1 is not prime.  Res64: 56CC25ECFCFDB654  Time : 3378.0 sec.
user=vaughan
[2009-08-10 22:54:26]
429*2^708228-1 is not prime.  Res64: 32BA6EBE1AE2518D  Time : 458.0 sec.
user=vaughan
[2009-08-10 22:56:34]
471*2^708229-1 is not prime.  Res64: F85B1A288BA5FFDE  Time : 463.0 sec.
user=vaughan
[2009-08-10 22:56:56]
453*2^708227-1 is not prime.  Res64: 46B0C5FC63494896  Time : 907.0 sec.
user=gd_barnes
[2009-08-10 22:57:13]
585*2^708215-1 is not prime.  Res64: 1B56CCF374C65C0F  Time : 3377.0 sec.
user=gd_barnes
[2009-08-10 22:58:16]
455*2^708216-1 is not prime.  Res64: F3CA2D036B2DC5CB  Time : 3379.0 sec.
user=gd_barnes
[2009-08-10 22:59:54]
567*2^708216-1 is not prime.  Res64: 6AA8876DF80408D9  Time : 3375.0 sec.
user=gd_barnes
[2009-08-10 23:00:33]
597*2^708216-1 is not prime.  Res64: 8FF1ACFFD3766AD5  Time : 3389.0 sec.
user=vaughan
[2009-08-10 23:01:30]
539*2^708228-1 is not prime.  Res64: DBF869C8C906921F  Time : 831.0 sec.
user=vaughan
[2009-08-10 23:02:03]
423*2^708232-1 is not prime.  Res64: F2DE7031A76A529D  Time : 457.0 sec.
user=vaughan
[2009-08-10 23:03:40]
447*2^708230-1 is not prime.  Res64: AEA3608ADC638859  Time : 861.0 sec.
user=gd_barnes
[2009-08-10 23:04:14]
435*2^708217-1 is not prime.  Res64: 8AE55C5C68E93472  Time : 3379.0 sec.
user=vaughan
[2009-08-10 23:04:17]
429*2^708232-1 is not prime.  Res64: B83F46BDA1226EE2  Time : 463.0 sec.
user=vaughan
[2009-08-10 23:04:57]
593*2^708230-1 is not prime.  Res64: 72943580D18EF684  Time : 918.0 sec.
user=gd_barnes
[2009-08-10 23:08:28]
567*2^708218-1 is not prime.  Res64: 3FF94E895930A428  Time : 3377.0 sec.
user=gd_barnes
[2009-08-10 23:09:30]
501*2^708219-1 is not prime.  Res64: 8D8ED9FC78AEF48F  Time : 3376.0 sec.
user=vaughan
[2009-08-10 23:09:40]
497*2^708234-1 is not prime.  Res64: D0DE34DC8B6CC9B9  Time : 457.0 sec.
user=gd_barnes
[2009-08-10 23:11:08]
553*2^708219-1 is not prime.  Res64: 884654D40F8754C8  Time : 3375.0 sec.
user=gd_barnes
[2009-08-10 23:11:46]
455*2^708220-1 is not prime.  Res64: 16EFDF6A3E9BC56D  Time : 3383.0 sec.
user=vaughan
[2009-08-10 23:11:59]
453*2^708236-1 is not prime.  Res64: B5354F2E75DF6985  Time : 463.0 sec.
user=vaughan
[2009-08-10 23:13:13]
533*2^708232-1 is not prime.  Res64: BA0E035BB3F2E443  Time : 977.0 sec.
user=vaughan
[2009-08-10 23:14:58]
559*2^708233-1 is not prime.  Res64: 89917F2AE431CF6D  Time : 808.0 sec.
user=gd_barnes
[2009-08-10 23:15:29]
519*2^708221-1 is not prime.  Res64: EC34EC8E31A10347  Time : 3378.0 sec.
user=vaughan
[2009-08-10 23:17:18]
451*2^708237-1 is not prime.  Res64: 6AC48A7934D0DBC0  Time : 458.0 sec.
user=vaughan
[2009-08-10 23:17:46]
573*2^708235-1 is not prime.  Res64: 450C9A469A0B739A  Time : 846.0 sec.
user=vaughan
[2009-08-10 23:19:42]
577*2^708237-1 is not prime.  Res64: 39E2813B59DADC48  Time : 463.0 sec.
user=gd_barnes
[2009-08-10 23:19:43]
455*2^708222-1 is not prime.  Res64: 7EE6CE471C11D084  Time : 3376.0 sec.
user=vaughan
[2009-08-10 23:20:30]
459*2^708236-1 is not prime.  Res64: 4323AD929A7890B0  Time : 934.0 sec.
user=gd_barnes
[2009-08-10 23:20:47]
585*2^708222-1 is not prime.  Res64: 79BB21D516E1CF92  Time : 3378.0 sec.
user=gd_barnes
[2009-08-10 23:22:21]
511*2^708223-1 is not prime.  Res64: 708A5AC69689A7D5  Time : 3373.0 sec.
user=gd_barnes
[2009-08-10 23:23:03]
595*2^708223-1 is not prime.  Res64: 5D70D7F12EF3FFB7  Time : 3382.0 sec.
user=vaughan
[2009-08-10 23:24:55]
551*2^708238-1 is not prime.  Res64: 22AE43D07F2FA526  Time : 457.0 sec.
user=gd_barnes
[2009-08-10 23:26:45]
437*2^708224-1 is not prime.  Res64: 6A78CF1AB110D82F  Time : 3378.0 sec.
user=vaughan
[2009-08-10 23:27:24]
445*2^708239-1 is not prime.  Res64: 81ED77873C1EFE7C  Time : 462.0 sec.
user=vaughan
[2009-08-10 23:28:58]
483*2^708238-1 is not prime.  Res64: 674698A8EDAD1627  Time : 840.0 sec.
user=vaughan
[2009-08-10 23:30:04]
453*2^708238-1 is not prime.  Res64: EA3398E881226AA0  Time : 1011.0 sec.
user=gd_barnes
[2009-08-10 23:30:59]
563*2^708224-1 is not prime.  Res64: D2CBEB6811E5B5B5  Time : 3377.0 sec.
user=vaughan
[2009-08-10 23:31:34]
435*2^708239-1 is not prime.  Res64: FF1AA0F678501974  Time : 829.0 sec.
user=gd_barnes
[2009-08-10 23:32:01]
555*2^708225-1 is not prime.  Res64: 947049CAD7B21082  Time : 3374.0 sec.
user=vaughan
[2009-08-10 23:32:32]
563*2^708240-1 is not prime.  Res64: 028286A293D38188  Time : 457.0 sec.
user=gd_barnes
[2009-08-10 23:33:37]
477*2^708226-1 is not prime.  Res64: FC9623C45C74D2D4  Time : 3373.0 sec.
user=gd_barnes
[2009-08-10 23:34:22]
513*2^708226-1 is not prime.  Res64: 8B1D948946832CEB  Time : 3381.0 sec.
user=vaughan
[2009-08-10 23:35:09]
409*2^708241-1 is not prime.  Res64: BC50DB4F4C8FBDEB  Time : 465.0 sec.
user=vaughan
[2009-08-10 23:35:42]
549*2^708239-1 is not prime.  Res64: 0F4BC978D42418B4  Time : 912.0 sec.
user=gd_barnes
[2009-08-10 23:38:00]
435*2^708227-1 is not prime.  Res64: 7C2EAF36A509E440  Time : 3378.0 sec.
user=vaughan
[2009-08-10 23:40:09]
503*2^708242-1 is not prime.  Res64: C20EC0FA31C171D2  Time : 457.0 sec.
user=gd_barnes
[2009-08-10 23:42:14]
565*2^708227-1 is not prime.  Res64: 6A72809EA6600A6A  Time : 3376.0 sec.
user=vaughan
[2009-08-10 23:42:38]
499*2^708241-1 is not prime.  Res64: B89249EF1F029B0A  Time : 820.0 sec.
user=vaughan
[2009-08-10 23:42:54]
587*2^708242-1 is not prime.  Res64: FCA456975B396A7D  Time : 465.0 sec.
user=gd_barnes
[2009-08-10 23:43:16]
515*2^708228-1 is not prime.  Res64: 6E5AAE752FF5D025  Time : 3375.0 sec.
user=gd_barnes
[2009-08-10 23:44:51]
429*2^708229-1 is not prime.  Res64: 32E3FA2943F3AA31  Time : 3373.0 sec.
user=vaughan
[2009-08-10 23:45:11]
467*2^708242-1 is not prime.  Res64: 6FBE1B70C29B88CD  Time : 817.0 sec.
user=gd_barnes
[2009-08-10 23:45:38]
597*2^708229-1 is not prime.  Res64: 27E519F6AFFE3563  Time : 3380.0 sec.
user=vaughan
[2009-08-10 23:47:07]
535*2^708241-1 is not prime.  Res64: 662BEF473F06E797  Time : 1023.0 sec.
user=vaughan
[2009-08-10 23:47:47]
413*2^708244-1 is not prime.  Res64: F2DB2C121AA5EA35  Time : 458.0 sec.
user=gd_barnes
[2009-08-10 23:49:15]
531*2^708231-1 is not prime.  Res64: DC9557B2BA1686D1  Time : 3377.0 sec.
user=vaughan
[2009-08-10 23:50:37]
465*2^708244-1 is not prime.  Res64: 1C34CB4ED8850ECE  Time : 464.0 sec.
user=vaughan
[2009-08-10 23:51:43]
439*2^708243-1 is not prime.  Res64: 0CD81F1EA10CA0CA  Time : 961.0 sec.
user=gd_barnes
[2009-08-10 23:53:29]
593*2^708232-1 is not prime.  Res64: 015E73D5DA40038A  Time : 3376.0 sec.
user=gd_barnes
[2009-08-10 23:54:30]
411*2^708233-1 is not prime.  Res64: 42CECF797003C423  Time : 3374.0 sec.
user=vaughan
[2009-08-10 23:55:24]
567*2^708245-1 is not prime.  Res64: 6B700FBCCC98E55D  Time : 457.0 sec.
user=gd_barnes
[2009-08-10 23:56:06]
481*2^708233-1 is not prime.  Res64: B17417630C7EA843  Time : 3372.0 sec.
user=vaughan
[2009-08-10 23:56:22]
423*2^708244-1 is not prime.  Res64: 9800C97D58D34F41  Time : 824.0 sec.
user=gd_barnes
[2009-08-10 23:56:59]
529*2^708233-1 is not prime.  Res64: FB5856D495287345  Time : 3386.0 sec.
user=vaughan
[2009-08-10 23:58:21]
447*2^708246-1 is not prime.  Res64: C9E6C0D2EA57D8D3  Time : 464.0 sec.
user=vaughan
[2009-08-10 23:59:29]
409*2^708245-1 is not prime.  Res64: 9D663479F86F722B  Time : 858.0 sec.