user=vaughan
[2009-07-24 00:03:04]
485*2^704388-1 is not prime.  Res64: 620C02CA30A2FB81  Time : 5029.0 sec.
user=vaughan
[2009-07-24 00:03:23]
483*2^704388-1 is not prime.  Res64: 280E2F3B0672B059  Time : 5055.0 sec.
user=vaughan
[2009-07-24 00:11:36]
441*2^704389-1 is not prime.  Res64: 36D6B28061091C3B  Time : 5038.0 sec.
user=vaughan
[2009-07-24 00:12:04]
439*2^704389-1 is not prime.  Res64: 2136ABE4DA1C7D99  Time : 5069.0 sec.
user=vaughan
[2009-07-24 00:20:01]
549*2^704389-1 is not prime.  Res64: EAC8C7842E062E2A  Time : 5041.0 sec.
user=vaughan
[2009-07-24 00:20:30]
457*2^704389-1 is not prime.  Res64: E485F14E4B832C9F  Time : 5070.0 sec.
user=vaughan
[2009-07-24 00:22:52]
447*2^704394-1 is not prime.  Res64: 1452FC3727E35E15  Time : 1505.0 sec.
user=vaughan
[2009-07-24 00:28:09]
567*2^704389-1 is not prime.  Res64: 3A145B398A832CD0  Time : 5027.0 sec.
user=vaughan
[2009-07-24 00:29:11]
577*2^704389-1 is not prime.  Res64: CCEE471FBD8D6D64  Time : 5085.0 sec.
user=vaughan
[2009-07-24 00:36:12]
431*2^704390-1 is not prime.  Res64: 966C5682D4C23995  Time : 5007.0 sec.
user=vaughan
[2009-07-24 00:37:11]
581*2^704390-1 is not prime.  Res64: 8AFFFB0E2DC90B3E  Time : 5061.0 sec.
user=vaughan
[2009-07-24 00:44:09]
475*2^704391-1 is not prime.  Res64: EE3C621C46FFEC6A  Time : 4982.0 sec.
user=vaughan
[2009-07-24 00:45:09]
489*2^704391-1 is not prime.  Res64: 024BCA1EDBA41D2C  Time : 5034.0 sec.
user=vaughan
[2009-07-24 00:47:57]
481*2^704395-1 is not prime.  Res64: 95F5E28C5B519468  Time : 1505.0 sec.
user=vaughan
[2009-07-24 00:52:05]
493*2^704391-1 is not prime.  Res64: D721B520844AED1C  Time : 4954.0 sec.
user=vaughan
[2009-07-24 00:53:04]
531*2^704391-1 is not prime.  Res64: EC544D0C5B30D19E  Time : 5004.0 sec.
user=vaughan
[2009-07-24 00:59:57]
595*2^704391-1 is not prime.  Res64: F48D05893E524131  Time : 4922.0 sec.
user=vaughan
[2009-07-24 01:00:59]
405*2^704392-1 is not prime.  Res64: DFC05F1322F7313B  Time : 4973.0 sec.
user=vaughan
[2009-07-24 01:07:51]
423*2^704392-1 is not prime.  Res64: B1FF6DCE32A6F709  Time : 4893.0 sec.
user=vaughan
[2009-07-24 01:08:54]
429*2^704392-1 is not prime.  Res64: 27DBD386E8572045  Time : 4942.0 sec.
user=vaughan
[2009-07-24 01:12:38]
557*2^704396-1 is not prime.  Res64: 7EFA05A4A0ED56BC  Time : 1481.0 sec.
user=vaughan
[2009-07-24 01:15:44]
565*2^704393-1 is not prime.  Res64: 9CB683D10416C13C  Time : 4863.0 sec.
user=vaughan
[2009-07-24 01:16:48]
589*2^704393-1 is not prime.  Res64: 308D855B84A8DDD7  Time : 4911.0 sec.
user=vaughan
[2009-07-24 01:23:38]
453*2^704394-1 is not prime.  Res64: B6C09E79F4DD7A39  Time : 4834.0 sec.
user=vaughan
[2009-07-24 01:24:43]
521*2^704394-1 is not prime.  Res64: E8DA7123BF2BBE64  Time : 4880.0 sec.
user=vaughan
[2009-07-24 01:31:30]
587*2^704394-1 is not prime.  Res64: 82B92C8D8BC2D964  Time : 4794.0 sec.
user=vaughan
[2009-07-24 01:32:40]
411*2^704395-1 is not prime.  Res64: C12586E45A1C13EF  Time : 4836.0 sec.
user=vaughan
[2009-07-24 01:37:12]
525*2^704398-1 is not prime.  Res64: 7E890FCA47F7D13F  Time : 1474.0 sec.
user=vaughan
[2009-07-24 01:39:23]
421*2^704395-1 is not prime.  Res64: 0F1120BBE58B175E  Time : 4762.0 sec.
user=vaughan
[2009-07-24 01:40:35]
469*2^704395-1 is not prime.  Res64: 573968305BA25410  Time : 4805.0 sec.
user=vaughan
[2009-07-24 01:47:16]
493*2^704395-1 is not prime.  Res64: 662086BA87F99B76  Time : 4747.0 sec.
user=vaughan
[2009-07-24 01:48:30]
583*2^704395-1 is not prime.  Res64: 69B4DA1CF77F0708  Time : 4759.0 sec.
user=vaughan
[2009-07-24 01:55:09]
447*2^704396-1 is not prime.  Res64: 0DFCD4941FE2A77A  Time : 4737.0 sec.
user=vaughan
[2009-07-24 01:56:26]
449*2^704396-1 is not prime.  Res64: 935CFDCD1FC5C81C  Time : 4756.0 sec.
user=vaughan
[2009-07-24 02:01:55]
537*2^704400-1 is not prime.  Res64: 7E6C16B094BC5E4D  Time : 1483.0 sec.
user=vaughan
[2009-07-24 02:03:03]
473*2^704396-1 is not prime.  Res64: 5B9CCC15F3E74161  Time : 4734.0 sec.
user=vaughan
[2009-07-24 02:04:20]
545*2^704396-1 is not prime.  Res64: 66F759553E7E4275  Time : 4751.0 sec.
user=vaughan
[2009-07-24 02:10:56]
439*2^704397-1 is not prime.  Res64: 287C9100FCC63E06  Time : 4732.0 sec.
user=vaughan
[2009-07-24 02:12:15]
441*2^704397-1 is not prime.  Res64: 6CAD7E598CB61143  Time : 4751.0 sec.
user=vaughan
[2009-07-24 02:18:45]
465*2^704397-1 is not prime.  Res64: 68219F8525F02AE5  Time : 4728.0 sec.
user=vaughan
[2009-07-24 02:20:13]
511*2^704397-1 is not prime.  Res64: 56CEF2FD262B5180  Time : 4754.0 sec.
user=vaughan
[2009-07-24 02:26:18]
489*2^704403-1 is not prime.  Res64: CBB4883A233D7D7D  Time : 1463.0 sec.
user=vaughan
[2009-07-24 02:26:38]
555*2^704397-1 is not prime.  Res64: 745CBD715296FB76  Time : 4727.0 sec.
user=vaughan
[2009-07-24 02:28:11]
401*2^704398-1 is not prime.  Res64: 900EE0EEBD33A4B3  Time : 4757.0 sec.
user=vaughan
[2009-07-24 02:34:32]
567*2^704398-1 is not prime.  Res64: AF0D6C3D9F3E627C  Time : 4728.0 sec.
user=vaughan
[2009-07-24 02:36:08]
411*2^704399-1 is not prime.  Res64: 006E6F4609B9DA78  Time : 4760.0 sec.
user=vaughan
[2009-07-24 02:42:25]
435*2^704399-1 is not prime.  Res64: 84A6F67935C94F53  Time : 4727.0 sec.
user=vaughan
[2009-07-24 02:44:04]
589*2^704399-1 is not prime.  Res64: 442C4B62A0E5049F  Time : 4761.0 sec.
user=vaughan
[2009-07-24 02:50:16]
413*2^704400-1 is not prime.  Res64: 4576C2A6AB6721FD  Time : 4726.0 sec.
user=vaughan
[2009-07-24 02:50:40]
525*2^704404-1 is not prime.  Res64: B524FE0411126920  Time : 1462.0 sec.
user=vaughan
[2009-07-24 02:52:02]
525*2^704400-1 is not prime.  Res64: 30987751CE451C18  Time : 4762.0 sec.
user=vaughan
[2009-07-24 02:58:07]
587*2^704400-1 is not prime.  Res64: 6774E29B99443CE1  Time : 4724.0 sec.
user=vaughan
[2009-07-24 03:00:00]
597*2^704400-1 is not prime.  Res64: 3C049EBD868D090E  Time : 4765.0 sec.
user=vaughan
[2009-07-24 03:05:58]
499*2^704401-1 is not prime.  Res64: 7F2EDAD30A5E05DD  Time : 4723.0 sec.
user=vaughan
[2009-07-24 03:07:59]
517*2^704401-1 is not prime.  Res64: C038BC9B88B2D0DF  Time : 4769.0 sec.
user=vaughan
[2009-07-24 03:13:48]
525*2^704401-1 is not prime.  Res64: 4A50EF2EDC4F31BC  Time : 4720.0 sec.
user=vaughan
[2009-07-24 03:15:03]
567*2^704406-1 is not prime.  Res64: 24ED6DC6BE6091A5  Time : 1463.0 sec.
user=vaughan
[2009-07-24 03:15:58]
549*2^704401-1 is not prime.  Res64: 7C5ABD1CC695B221  Time : 4772.0 sec.
user=vaughan
[2009-07-24 03:21:38]
523*2^704403-1 is not prime.  Res64: 72BC1A0F31B9CB13  Time : 4715.0 sec.
user=vaughan
[2009-07-24 03:23:55]
571*2^704403-1 is not prime.  Res64: 130468025BBDA56A  Time : 4775.0 sec.
user=vaughan
[2009-07-24 03:29:29]
573*2^704403-1 is not prime.  Res64: 2B4261FA5A36E997  Time : 4713.0 sec.
user=vaughan
[2009-07-24 03:31:53]
485*2^704404-1 is not prime.  Res64: 39A59F510053F942  Time : 4778.0 sec.
user=vaughan
[2009-07-24 03:37:19]
489*2^704404-1 is not prime.  Res64: 18139043CCB3D017  Time : 4714.0 sec.
user=vaughan
[2009-07-24 03:39:28]
511*2^704409-1 is not prime.  Res64: 07B1D9531BACB3E7  Time : 1465.0 sec.
user=vaughan
[2009-07-24 03:39:50]
495*2^704404-1 is not prime.  Res64: 992BD0F7A97A8349  Time : 4777.0 sec.
user=vaughan
[2009-07-24 03:45:08]
539*2^704404-1 is not prime.  Res64: 8CA836A1121211C8  Time : 4710.0 sec.
user=vaughan
[2009-07-24 03:47:47]
567*2^704404-1 is not prime.  Res64: 4319E13F82C2AF19  Time : 4776.0 sec.
user=vaughan
[2009-07-24 03:52:59]
593*2^704404-1 is not prime.  Res64: 9947D00AACB1723B  Time : 4707.0 sec.
user=vaughan
[2009-07-24 03:55:43]
459*2^704405-1 is not prime.  Res64: D59249EB5C0C70CC  Time : 4775.0 sec.
user=vaughan
[2009-07-24 04:00:58]
443*2^704406-1 is not prime.  Res64: 84111941E356C842  Time : 4714.0 sec.
user=vaughan
[2009-07-24 04:03:55]
483*2^704406-1 is not prime.  Res64: 92E512AC12628D84  Time : 4791.0 sec.
user=vaughan
[2009-07-24 04:03:58]
597*2^704410-1 is not prime.  Res64: 318FF2E1037A264A  Time : 1470.0 sec.
user=vaughan
[2009-07-24 04:09:01]
563*2^704406-1 is not prime.  Res64: BA466D4367F1F68A  Time : 4726.0 sec.
user=vaughan
[2009-07-24 04:12:10]
587*2^704406-1 is not prime.  Res64: B30E46CEB5EC2811  Time : 4808.0 sec.
user=vaughan
[2009-07-24 04:16:51]
453*2^704407-1 is not prime.  Res64: BF3D53CAC23CC0CD  Time : 4725.0 sec.
user=vaughan
[2009-07-24 04:20:33]
525*2^704408-1 is not prime.  Res64: B31C29D7E320B266  Time : 4833.0 sec.
user=vaughan
[2009-07-24 04:24:42]
533*2^704408-1 is not prime.  Res64: 4FE7BDA21EF4B3A9  Time : 4724.0 sec.
user=vaughan
[2009-07-24 04:28:38]
563*2^704412-1 is not prime.  Res64: 4E756D13044F0514  Time : 1480.0 sec.
user=vaughan
[2009-07-24 04:28:51]
585*2^704408-1 is not prime.  Res64: 3C615B812DF38CDF  Time : 4852.0 sec.
user=vaughan
[2009-07-24 04:32:44]
441*2^704409-1 is not prime.  Res64: AD25EEC3AC5A3E39  Time : 4736.0 sec.
user=vaughan
[2009-07-24 04:37:01]
425*2^704410-1 is not prime.  Res64: FA6AA80E1E056E97  Time : 4863.0 sec.
user=vaughan
[2009-07-24 04:40:49]
465*2^704410-1 is not prime.  Res64: 740597AB8889F877  Time : 4751.0 sec.
user=vaughan
[2009-07-24 04:45:09]
471*2^704410-1 is not prime.  Res64: 6A8BB1FB1F7FE716  Time : 4875.0 sec.
user=vaughan
[2009-07-24 04:48:55]
513*2^704410-1 is not prime.  Res64: 6E1C7D94B1C264E7  Time : 4766.0 sec.
user=vaughan
[2009-07-24 04:53:18]
531*2^704410-1 is not prime.  Res64: ED36ECB7F6195D6F  Time : 4885.0 sec.
user=vaughan
[2009-07-24 04:53:27]
483*2^704414-1 is not prime.  Res64: A79729DEFFBBAA57  Time : 1489.0 sec.
user=vaughan
[2009-07-24 04:57:00]
561*2^704410-1 is not prime.  Res64: B8DAFD23465ED6CE  Time : 4781.0 sec.
user=vaughan
[2009-07-24 05:01:26]
403*2^704411-1 is not prime.  Res64: 6B57C32229148E89  Time : 4896.0 sec.
user=vaughan
[2009-07-24 05:05:05]
421*2^704411-1 is not prime.  Res64: FD21A9260D887532  Time : 4797.0 sec.
user=vaughan
[2009-07-24 05:09:35]
595*2^704411-1 is not prime.  Res64: 1FA407332BC9C1F3  Time : 4908.0 sec.
user=vaughan
[2009-07-24 05:13:09]
405*2^704412-1 is not prime.  Res64: DFB95E014F4826C1  Time : 4810.0 sec.
user=vaughan
[2009-07-24 05:17:45]
425*2^704412-1 is not prime.  Res64: D30DFD7B2B72AB85  Time : 4922.0 sec.
user=vaughan
[2009-07-24 05:18:16]
535*2^704415-1 is not prime.  Res64: 1AE00EF65EB5BA30  Time : 1489.0 sec.
user=vaughan
[2009-07-24 05:21:13]
485*2^704412-1 is not prime.  Res64: 93C64C5D18DDA621  Time : 4815.0 sec.
user=vaughan
[2009-07-24 05:25:54]
555*2^704412-1 is not prime.  Res64: 1B0E6DF145B2A0FE  Time : 4919.0 sec.
user=vaughan
[2009-07-24 05:29:09]
569*2^704412-1 is not prime.  Res64: 7308E67E20F4202B  Time : 4808.0 sec.
user=vaughan
[2009-07-24 05:34:24]
405*2^704413-1 is not prime.  Res64: 225C105A13AAC65A  Time : 4934.0 sec.
user=vaughan
[2009-07-24 05:36:55]
465*2^704413-1 is not prime.  Res64: 5B6992972A0F9145  Time : 4804.0 sec.
user=vaughan
[2009-07-24 05:42:54]
481*2^704413-1 is not prime.  Res64: AFA3A8D7F9B7FB65  Time : 4942.0 sec.
user=vaughan
[2009-07-24 05:43:10]
589*2^704417-1 is not prime.  Res64: B8D34A18BE2125A3  Time : 1494.0 sec.
user=vaughan
[2009-07-24 05:44:42]
447*2^704414-1 is not prime.  Res64: C0E17F1CE1A8BC66  Time : 4800.0 sec.
user=vaughan
[2009-07-24 05:51:24]
501*2^704414-1 is not prime.  Res64: 462396B1871005D5  Time : 4954.0 sec.
user=vaughan
[2009-07-24 05:52:29]
503*2^704414-1 is not prime.  Res64: 822B004BCE4793E8  Time : 4785.0 sec.
user=vaughan
[2009-07-24 05:59:53]
433*2^704415-1 is not prime.  Res64: 9D8F7BCE83CF7A86  Time : 4973.0 sec.
user=vaughan
[2009-07-24 06:00:16]
441*2^704415-1 is not prime.  Res64: 520813F2444EE231  Time : 4767.0 sec.
user=vaughan
[2009-07-24 06:08:03]
589*2^704419-1 is not prime.  Res64: 25A69813A612C222  Time : 1493.0 sec.
user=vaughan
[2009-07-24 06:08:03]
459*2^704415-1 is not prime.  Res64: A237975EE03D0B14  Time : 4974.0 sec.
user=vaughan
[2009-07-24 06:08:20]
475*2^704415-1 is not prime.  Res64: 17DEE728D49ECA93  Time : 4765.0 sec.
user=vaughan
[2009-07-24 06:16:12]
501*2^704415-1 is not prime.  Res64: EF98C2850E8BED3D  Time : 4974.0 sec.
user=vaughan
[2009-07-24 06:16:23]
579*2^704415-1 is not prime.  Res64: AACCA50ABCA10D63  Time : 4763.0 sec.
user=vaughan
[2009-07-24 06:24:20]
591*2^704415-1 is not prime.  Res64: A68743A5ACEBBBF1  Time : 4974.0 sec.
user=vaughan
[2009-07-24 06:24:27]
485*2^704416-1 is not prime.  Res64: DBFD645F0FADAA11  Time : 4762.0 sec.
user=vaughan
[2009-07-24 06:32:29]
539*2^704416-1 is not prime.  Res64: DF01D657030C18A4  Time : 4974.0 sec.
user=vaughan
[2009-07-24 06:32:30]
597*2^704416-1 is not prime.  Res64: F0C687F3B9128FC5  Time : 4761.0 sec.
user=vaughan
[2009-07-24 06:33:00]
525*2^704422-1 is not prime.  Res64: 3B948B6DFB22687A  Time : 1497.0 sec.
user=vaughan
[2009-07-24 06:40:34]
405*2^704418-1 is not prime.  Res64: EFB57F502E433ED3  Time : 4761.0 sec.
user=vaughan
[2009-07-24 06:40:39]
511*2^704417-1 is not prime.  Res64: E5DE45753E83ECC1  Time : 4974.0 sec.
user=vaughan
[2009-07-24 06:48:39]
471*2^704418-1 is not prime.  Res64: 698E70E333F188EF  Time : 4770.0 sec.
user=vaughan
[2009-07-24 06:48:48]
465*2^704418-1 is not prime.  Res64: CD87520030E9852B  Time : 4974.0 sec.
user=vaughan
[2009-07-24 06:56:42]
463*2^704419-1 is not prime.  Res64: 28690888F7B4906E  Time : 4787.0 sec.
user=vaughan
[2009-07-24 06:56:57]
473*2^704418-1 is not prime.  Res64: 17303579B01034B9  Time : 4953.0 sec.
user=vaughan
[2009-07-24 06:57:58]
587*2^704424-1 is not prime.  Res64: 35F536C2EE622A60  Time : 1498.0 sec.
user=vaughan
[2009-07-24 07:04:46]
453*2^704420-1 is not prime.  Res64: FCB9F0E7FAE7A595  Time : 4804.0 sec.
user=vaughan
[2009-07-24 07:05:06]
489*2^704419-1 is not prime.  Res64: 7436252B0A5A261C  Time : 4932.0 sec.
user=vaughan
[2009-07-24 07:12:51]
445*2^704421-1 is not prime.  Res64: AC7F1B9DFEDA0BA0  Time : 4822.0 sec.
user=vaughan
[2009-07-24 07:13:16]
467*2^704420-1 is not prime.  Res64: 8E8554CEDBAB2B84  Time : 4912.0 sec.
user=vaughan
[2009-07-24 07:20:55]
571*2^704421-1 is not prime.  Res64: 28AD09943439710D  Time : 4839.0 sec.
user=vaughan
[2009-07-24 07:21:27]
499*2^704421-1 is not prime.  Res64: A889446288899934  Time : 4894.0 sec.
user=vaughan
[2009-07-24 07:22:59]
587*2^704426-1 is not prime.  Res64: 63FCE4E0E91B7183  Time : 1501.0 sec.
user=vaughan
[2009-07-24 07:28:58]
591*2^704422-1 is not prime.  Res64: 646FC2B100E59101  Time : 4838.0 sec.
user=vaughan
[2009-07-24 07:29:37]
551*2^704422-1 is not prime.  Res64: DF890E9CB1CB66C4  Time : 4894.0 sec.
user=vaughan
[2009-07-24 07:37:04]
505*2^704423-1 is not prime.  Res64: A822C586EBD8C701  Time : 4841.0 sec.
user=vaughan
[2009-07-24 07:37:46]
411*2^704423-1 is not prime.  Res64: 6E000F56423252E1  Time : 4894.0 sec.
user=vaughan
[2009-07-24 07:45:06]
473*2^704424-1 is not prime.  Res64: 88FC540B17079A94  Time : 4839.0 sec.
user=vaughan
[2009-07-24 07:46:00]
447*2^704424-1 is not prime.  Res64: 1905405A78ECB0F3  Time : 4900.0 sec.
user=vaughan
[2009-07-24 07:47:50]
519*2^704428-1 is not prime.  Res64: E3E636E16D113865  Time : 1491.0 sec.
user=vaughan
[2009-07-24 07:53:12]
557*2^704424-1 is not prime.  Res64: CCBAD35B7B2DB7B7  Time : 4842.0 sec.
user=vaughan
[2009-07-24 07:54:08]
555*2^704424-1 is not prime.  Res64: E107D7EE49B80D64  Time : 4899.0 sec.
user=vaughan
[2009-07-24 08:01:17]
411*2^704425-1 is not prime.  Res64: 7A6A8099DEB8643B  Time : 4843.0 sec.
user=vaughan
[2009-07-24 08:02:17]
541*2^704425-1 is not prime.  Res64: 357B16494B9752A3  Time : 4898.0 sec.
user=vaughan
[2009-07-24 08:09:21]
407*2^704426-1 is not prime.  Res64: FAD74AD464607CD3  Time : 4842.0 sec.
user=vaughan
[2009-07-24 08:10:28]
447*2^704426-1 is not prime.  Res64: A20C3C54B0BCDBDF  Time : 4900.0 sec.
user=vaughan
[2009-07-24 08:12:34]
423*2^704430-1 is not prime.  Res64: C1DECED00749A5C1  Time : 1484.0 sec.
user=vaughan
[2009-07-24 08:17:26]
501*2^704426-1 is not prime.  Res64: 82F83602904DCBFF  Time : 4844.0 sec.
user=vaughan
[2009-07-24 08:18:38]
531*2^704426-1 is not prime.  Res64: 83AE59B0C13B5A9F  Time : 4901.0 sec.
user=vaughan
[2009-07-24 08:25:31]
433*2^704427-1 is not prime.  Res64: F36862889A963B00  Time : 4845.0 sec.
user=vaughan
[2009-07-24 08:26:48]
465*2^704427-1 is not prime.  Res64: 4D7168818B192563  Time : 4902.0 sec.
user=vaughan
[2009-07-24 08:33:37]
469*2^704427-1 is not prime.  Res64: 15B8E5A4BAB6FA8A  Time : 4847.0 sec.
user=vaughan
[2009-07-24 08:34:58]
583*2^704427-1 is not prime.  Res64: A383F6F5E7BDB5DF  Time : 4902.0 sec.
user=vaughan
[2009-07-24 08:36:53]
525*2^704431-1 is not prime.  Res64: 9FE747BB32F36279  Time : 1460.0 sec.
user=vaughan
[2009-07-24 08:41:30]
595*2^704427-1 is not prime.  Res64: 30976A6682A10F64  Time : 4836.0 sec.
user=vaughan
[2009-07-24 08:43:21]
429*2^704428-1 is not prime.  Res64: F98D9CA22350E7F7  Time : 4914.0 sec.
user=vaughan
[2009-07-24 08:49:32]
569*2^704428-1 is not prime.  Res64: 4D8ED657F1586A33  Time : 4834.0 sec.
user=vaughan
[2009-07-24 08:51:29]
417*2^704429-1 is not prime.  Res64: 986087DE820C7676  Time : 4912.0 sec.
user=vaughan
[2009-07-24 08:57:37]
421*2^704429-1 is not prime.  Res64: BB709A3DA2E0539C  Time : 4833.0 sec.
user=vaughan
[2009-07-24 08:59:38]
465*2^704429-1 is not prime.  Res64: 9FC27550779B64AF  Time : 4912.0 sec.
user=vaughan
[2009-07-24 09:02:46]
533*2^704434-1 is not prime.  Res64: D54DD8105D46A32B  Time : 1554.0 sec.
user=vaughan
[2009-07-24 09:05:42]
481*2^704429-1 is not prime.  Res64: 3D6D6D6FB4B27112  Time : 4836.0 sec.
user=vaughan
[2009-07-24 09:07:48]
405*2^704430-1 is not prime.  Res64: A83604197E92CDD7  Time : 4909.0 sec.
user=vaughan
[2009-07-24 09:13:48]
447*2^704430-1 is not prime.  Res64: 87ECCA0802FA12AC  Time : 4836.0 sec.
user=vaughan
[2009-07-24 09:15:58]
525*2^704430-1 is not prime.  Res64: AD1D9D457F2B08B2  Time : 4910.0 sec.
user=vaughan
[2009-07-24 09:21:54]
415*2^704431-1 is not prime.  Res64: 1816C1729F7D162C  Time : 4837.0 sec.
user=vaughan
[2009-07-24 09:24:08]
433*2^704431-1 is not prime.  Res64: 0265924C98A7B718  Time : 4911.0 sec.
user=vaughan
[2009-07-24 09:29:59]
463*2^704431-1 is not prime.  Res64: A141632F121AD9F8  Time : 4838.0 sec.
user=vaughan
[2009-07-24 09:31:43]
497*2^704436-1 is not prime.  Res64: C32A52D073E3CCEB  Time : 1738.0 sec.
user=vaughan
[2009-07-24 09:32:20]
483*2^704431-1 is not prime.  Res64: 595AD7482EC69223  Time : 4912.0 sec.
user=vaughan
[2009-07-24 09:38:05]
405*2^704432-1 is not prime.  Res64: 6371285F629271AE  Time : 4839.0 sec.
user=vaughan
[2009-07-24 09:40:32]
539*2^704432-1 is not prime.  Res64: DC454A6D29243086  Time : 4914.0 sec.
user=vaughan
[2009-07-24 09:46:10]
595*2^704433-1 is not prime.  Res64: 12CAE209759E64A8  Time : 4839.0 sec.
user=vaughan
[2009-07-24 09:48:43]
401*2^704434-1 is not prime.  Res64: E37D8985E433A603  Time : 4915.0 sec.
user=vaughan
[2009-07-24 09:54:16]
423*2^704434-1 is not prime.  Res64: CFA376B5635F6AF2  Time : 4839.0 sec.
user=vaughan
[2009-07-24 09:54:27]
599*2^704432-1 is not prime.  Res64: 46B412CF0013EF9C  Time : 5356.0 sec.
user=vaughan
[2009-07-24 09:56:53]
495*2^704434-1 is not prime.  Res64: 46C4DECA251CF2E3  Time : 4915.0 sec.
user=vaughan
[2009-07-24 09:57:23]
587*2^704432-1 is not prime.  Res64: 50545DCE55C05DFF  Time : 5532.0 sec.
user=vaughan
[2009-07-24 09:58:28]
517*2^704433-1 is not prime.  Res64: FC173CD290CB1E0B  Time : 5597.0 sec.
user=vaughan
[2009-07-24 09:58:30]
441*2^704433-1 is not prime.  Res64: 52E3E03C603A19B9  Time : 5599.0 sec.
user=vaughan
[2009-07-24 10:01:45]
571*2^704439-1 is not prime.  Res64: 866A6124AEAD1313  Time : 1803.0 sec.
user=vaughan
[2009-07-24 10:02:20]
441*2^704435-1 is not prime.  Res64: AFD3433833A33D32  Time : 4851.0 sec.
user=vaughan
[2009-07-24 10:05:04]
475*2^704435-1 is not prime.  Res64: 5B453B8C23CE5247  Time : 4903.0 sec.
user=vaughan
[2009-07-24 10:10:26]
519*2^704435-1 is not prime.  Res64: 091FBE6F3476F963  Time : 4855.0 sec.
user=vaughan
[2009-07-24 10:13:15]
585*2^704435-1 is not prime.  Res64: 1342807EA6BE5CEC  Time : 4906.0 sec.
user=vaughan
[2009-07-24 10:18:32]
425*2^704436-1 is not prime.  Res64: DB74CD22FED1B6C8  Time : 4855.0 sec.
user=vaughan
[2009-07-24 10:21:26]
465*2^704436-1 is not prime.  Res64: 6F72E1D78925F6A8  Time : 4908.0 sec.
user=vaughan
[2009-07-24 10:26:37]
593*2^704436-1 is not prime.  Res64: 0D33F044E8E44FB5  Time : 4855.0 sec.
user=vaughan
[2009-07-24 10:29:35]
421*2^704437-1 is not prime.  Res64: 7767393D44CBA000  Time : 4907.0 sec.
user=vaughan
[2009-07-24 10:32:44]
421*2^704335-1 is not prime.  Res64: 0ACAC7D0F88F33CB  Time : 1860.0 sec.
user=vaughan
[2009-07-24 10:34:41]
423*2^704438-1 is not prime.  Res64: 321C33C841B1E4CB  Time : 4854.0 sec.
user=vaughan
[2009-07-24 10:37:43]
461*2^704438-1 is not prime.  Res64: EA9E131865A18BAB  Time : 4905.0 sec.
user=vaughan
[2009-07-24 10:42:46]
515*2^704438-1 is not prime.  Res64: 6141BACE13529766  Time : 4853.0 sec.
user=vaughan
[2009-07-24 10:45:51]
563*2^704438-1 is not prime.  Res64: B54DC455FE41B9A8  Time : 4903.0 sec.
user=vaughan
[2009-07-24 10:50:51]
451*2^704439-1 is not prime.  Res64: 0CE3F10700F73C81  Time : 4853.0 sec.
user=vaughan
[2009-07-24 10:53:58]
579*2^704439-1 is not prime.  Res64: 974EFB5B385D1267  Time : 4898.0 sec.
user=vaughan
[2009-07-24 10:58:56]
437*2^704440-1 is not prime.  Res64: C693DA1210828887  Time : 4852.0 sec.
user=vaughan
[2009-07-24 11:02:06]
479*2^704440-1 is not prime.  Res64: 98D9E4C79FD2F506  Time : 4894.0 sec.
user=vaughan
[2009-07-24 11:03:35]
429*2^704443-1 is not prime.  Res64: 45C15D6E562DEB20  Time : 1851.0 sec.
user=vaughan
[2009-07-24 11:07:00]
409*2^704441-1 is not prime.  Res64: 4D46958405CB8516  Time : 4851.0 sec.
user=vaughan
[2009-07-24 11:10:14]
411*2^704441-1 is not prime.  Res64: 13A621DCEE242EB4  Time : 4891.0 sec.
user=vaughan
[2009-07-24 11:15:06]
421*2^704441-1 is not prime.  Res64: 81CF503D452B2B59  Time : 4851.0 sec.
user=vaughan
[2009-07-24 11:18:22]
439*2^704441-1 is not prime.  Res64: F21CE8C93DDAB802  Time : 4889.0 sec.
user=vaughan
[2009-07-24 11:23:11]
447*2^704441-1 is not prime.  Res64: 1A1ABB2DDE497BBE  Time : 4852.0 sec.
user=vaughan
[2009-07-24 11:26:32]
547*2^704441-1 is not prime.  Res64: 6B041566D527EF6F  Time : 4888.0 sec.
user=vaughan
[2009-07-24 11:31:17]
549*2^704441-1 is not prime.  Res64: 609404A83F383192  Time : 4852.0 sec.
user=vaughan
[2009-07-24 11:34:41]
431*2^704442-1 is not prime.  Res64: 60D678CC9B9822C9  Time : 4887.0 sec.
user=vaughan
[2009-07-24 11:34:57]
495*2^704445-1 is not prime.  Res64: E70306EBD87F0C6B  Time : 1882.0 sec.
user=vaughan
[2009-07-24 11:39:22]
483*2^704442-1 is not prime.  Res64: 71C4DDFBBD8FE18F  Time : 4851.0 sec.
user=vaughan
[2009-07-24 11:42:50]
485*2^704442-1 is not prime.  Res64: 998893825CC3F24C  Time : 4884.0 sec.
user=vaughan
[2009-07-24 11:47:31]
525*2^704442-1 is not prime.  Res64: A9499A78DB923641  Time : 4855.0 sec.
user=vaughan
[2009-07-24 11:51:02]
585*2^704442-1 is not prime.  Res64: 27EB428E0E887F06  Time : 4887.0 sec.
user=vaughan
[2009-07-24 11:55:37]
489*2^704443-1 is not prime.  Res64: 94BC1277C0683F64  Time : 4857.0 sec.
user=vaughan
[2009-07-24 11:59:11]
589*2^704443-1 is not prime.  Res64: FB18232979FC8C17  Time : 4888.0 sec.
user=vaughan
[2009-07-24 12:03:42]
435*2^704444-1 is not prime.  Res64: BDABF7E121A4AB59  Time : 4857.0 sec.
user=vaughan
[2009-07-24 12:06:17]
405*2^704448-1 is not prime.  Res64: C5063C6E4CFABB36  Time : 1880.0 sec.
user=vaughan
[2009-07-24 12:07:21]
479*2^704444-1 is not prime.  Res64: D83D49CFEC820E28  Time : 4890.0 sec.
user=vaughan
[2009-07-24 12:11:45]
489*2^704444-1 is not prime.  Res64: 9AE1BD56991AE0C4  Time : 4855.0 sec.
user=vaughan
[2009-07-24 12:15:30]
563*2^704444-1 is not prime.  Res64: 34552D93B4F8B1D6  Time : 4892.0 sec.
user=vaughan
[2009-07-24 12:19:51]
457*2^704445-1 is not prime.  Res64: 7250F86B8001693D  Time : 4856.0 sec.
user=vaughan
[2009-07-24 12:23:39]
487*2^704445-1 is not prime.  Res64: 4C2111AD573BE5DA  Time : 4893.0 sec.
user=vaughan
[2009-07-24 12:27:56]
529*2^704445-1 is not prime.  Res64: B1AE27E6623E5970  Time : 4857.0 sec.
user=vaughan
[2009-07-24 12:31:48]
555*2^704445-1 is not prime.  Res64: A577A54443F1D3A0  Time : 4894.0 sec.
user=vaughan
[2009-07-24 12:36:03]
507*2^704446-1 is not prime.  Res64: 6E29E91D9B979BAA  Time : 4858.0 sec.
user=vaughan
[2009-07-24 12:37:31]
517*2^704449-1 is not prime.  Res64: 43F85CFBCA9E7EDE  Time : 1874.0 sec.
user=vaughan
[2009-07-24 12:39:58]
551*2^704446-1 is not prime.  Res64: E70AF0722D8D8E37  Time : 4896.0 sec.
user=vaughan
[2009-07-24 12:44:08]
573*2^704446-1 is not prime.  Res64: A960C3876B60ED4B  Time : 4858.0 sec.
user=vaughan
[2009-07-24 12:48:07]
575*2^704446-1 is not prime.  Res64: E917C8E99E39040F  Time : 4895.0 sec.
user=vaughan
[2009-07-24 12:52:13]
423*2^704447-1 is not prime.  Res64: C2909AA2ACD8C241  Time : 4857.0 sec.
user=vaughan
[2009-07-24 12:56:16]
489*2^704447-1 is not prime.  Res64: 34772F798508446E  Time : 4895.0 sec.
user=vaughan
[2009-07-24 13:00:18]
413*2^704448-1 is not prime.  Res64: 2784E117E98EABC2  Time : 4856.0 sec.
user=vaughan
[2009-07-24 13:04:26]
465*2^704448-1 is not prime.  Res64: 43AEDF15C5A8F5FB  Time : 4896.0 sec.
user=vaughan
[2009-07-24 13:08:23]
467*2^704448-1 is not prime.  Res64: FA969846E6F4B1C6  Time : 4852.0 sec.
user=vaughan
[2009-07-24 13:08:57]
437*2^704452-1 is not prime.  Res64: 3AC6FFA3133EE255  Time : 1886.0 sec.
user=vaughan
[2009-07-24 13:12:36]
513*2^704448-1 is not prime.  Res64: 519AE4ECD3954584  Time : 4894.0 sec.
user=vaughan
[2009-07-24 13:16:27]
525*2^704448-1 is not prime.  Res64: 90DCA63574BE137C  Time : 4850.0 sec.
user=vaughan
[2009-07-24 13:20:44]
411*2^704449-1 is not prime.  Res64: 4ED2E5A13A4B0F30  Time : 4893.0 sec.
user=vaughan
[2009-07-24 13:24:33]
477*2^704449-1 is not prime.  Res64: 8A4FE9F70A5EECE4  Time : 4851.0 sec.
user=vaughan
[2009-07-24 13:28:53]
549*2^704449-1 is not prime.  Res64: E629DAEDD60626FE  Time : 4892.0 sec.
user=vaughan
[2009-07-24 13:32:38]
483*2^704450-1 is not prime.  Res64: A46B7CD89AB2673D  Time : 4853.0 sec.
user=vaughan
[2009-07-24 13:37:02]
515*2^704450-1 is not prime.  Res64: 22D7A63CAF6B1FAE  Time : 4892.0 sec.
user=vaughan
[2009-07-24 13:40:13]
555*2^704455-1 is not prime.  Res64: 53F77CEC85AE1B81  Time : 1876.0 sec.
user=vaughan
[2009-07-24 13:40:44]
521*2^704450-1 is not prime.  Res64: 588F78B5C35D73D5  Time : 4853.0 sec.
user=vaughan
[2009-07-24 13:45:10]
545*2^704450-1 is not prime.  Res64: 36775B33A57954D8  Time : 4891.0 sec.
user=vaughan
[2009-07-24 13:48:48]
529*2^704451-1 is not prime.  Res64: D3EA2119EEFDD39B  Time : 4852.0 sec.
user=vaughan
[2009-07-24 13:53:19]
541*2^704451-1 is not prime.  Res64: E507513B8A842D67  Time : 4891.0 sec.
user=vaughan
[2009-07-24 13:56:53]
583*2^704451-1 is not prime.  Res64: DD270FCD7188BCD4  Time : 4851.0 sec.
user=vaughan
[2009-07-24 14:01:28]
497*2^704452-1 is not prime.  Res64: 6A4FDB74E06DD070  Time : 4890.0 sec.
user=vaughan
[2009-07-24 14:04:53]
593*2^704452-1 is not prime.  Res64: 7F5D1D98829BD518  Time : 4846.0 sec.
user=vaughan
[2009-07-24 14:09:48]
439*2^704453-1 is not prime.  Res64: 748E13C4D4E22DA2  Time : 4901.0 sec.
user=vaughan
[2009-07-24 14:11:53]
467*2^704458-1 is not prime.  Res64: 5BE69ED4A48D4361  Time : 1900.0 sec.
user=vaughan
[2009-07-24 14:12:43]
475*2^704453-1 is not prime.  Res64: 9AEB058AF5E82FFB  Time : 4831.0 sec.
user=vaughan
[2009-07-24 14:18:12]
507*2^704453-1 is not prime.  Res64: D5D990CF484825B6  Time : 4916.0 sec.
user=vaughan
[2009-07-24 14:20:34]
571*2^704453-1 is not prime.  Res64: BD51B79FC76076FE  Time : 4817.0 sec.
user=vaughan
[2009-07-24 14:26:35]
593*2^704454-1 is not prime.  Res64: AF8E14ED969AFA5B  Time : 4929.0 sec.
user=vaughan
[2009-07-24 14:28:26]
421*2^704455-1 is not prime.  Res64: 446BF8B58AB74AAB  Time : 4804.0 sec.
user=vaughan
[2009-07-24 14:34:44]
589*2^704455-1 is not prime.  Res64: F338EDB750DD52AA  Time : 4928.0 sec.
user=vaughan
[2009-07-24 14:36:31]
503*2^704456-1 is not prime.  Res64: 4F4A0A0967982FD1  Time : 4805.0 sec.
user=vaughan
[2009-07-24 14:42:31]
467*2^704460-1 is not prime.  Res64: 997E529A249F4DF8  Time : 1838.0 sec.
user=vaughan
[2009-07-24 14:42:53]
427*2^704457-1 is not prime.  Res64: 61F2631C03A4813F  Time : 4929.0 sec.
user=vaughan
[2009-07-24 14:44:36]
429*2^704457-1 is not prime.  Res64: 026C2383D0F7DBBB  Time : 4804.0 sec.
user=vaughan
[2009-07-24 14:51:02]
529*2^704457-1 is not prime.  Res64: 922552716105C578  Time : 4929.0 sec.
user=vaughan
[2009-07-24 14:52:41]
413*2^704458-1 is not prime.  Res64: 14CEEB1CBEFE69AD  Time : 4804.0 sec.
user=vaughan
[2009-07-24 14:59:11]
443*2^704458-1 is not prime.  Res64: 4D93FFC36AD06D67  Time : 4929.0 sec.
user=vaughan
[2009-07-24 15:00:46]
495*2^704458-1 is not prime.  Res64: C8BA918B55461341  Time : 4803.0 sec.
user=vaughan
[2009-07-24 15:07:21]
555*2^704458-1 is not prime.  Res64: 068982AE4B1B1822  Time : 4931.0 sec.
user=vaughan
[2009-07-24 15:08:51]
459*2^704459-1 is not prime.  Res64: 4436F36CAC4B2457  Time : 4804.0 sec.
user=vaughan
[2009-07-24 15:13:12]
565*2^704461-1 is not prime.  Res64: FD160D3CC4E9C8EE  Time : 1841.0 sec.
user=vaughan
[2009-07-24 15:15:30]
469*2^704459-1 is not prime.  Res64: 413AD3F76FDBA750  Time : 4931.0 sec.
user=vaughan
[2009-07-24 15:16:55]
495*2^704459-1 is not prime.  Res64: F76B5A2EDCAB05F6  Time : 4803.0 sec.
user=vaughan
[2009-07-24 15:23:38]
553*2^704459-1 is not prime.  Res64: D731A90729148AA7  Time : 4930.0 sec.
user=vaughan
[2009-07-24 15:24:59]
423*2^704460-1 is not prime.  Res64: CA124C8C00B31C9A  Time : 4807.0 sec.
user=vaughan
[2009-07-24 15:31:46]
453*2^704460-1 is not prime.  Res64: 7E173DD5E0B21295  Time : 4918.0 sec.
user=vaughan
[2009-07-24 15:33:05]
473*2^704460-1 is not prime.  Res64: 5C2635006AF4B85A  Time : 4822.0 sec.
user=vaughan
[2009-07-24 15:39:55]
569*2^704460-1 is not prime.  Res64: EBB5E3A87DAE6D57  Time : 4903.0 sec.
user=vaughan
[2009-07-24 15:41:09]
421*2^704461-1 is not prime.  Res64: 633072A8C068E701  Time : 4835.0 sec.
user=vaughan
[2009-07-24 15:43:58]
585*2^704465-1 is not prime.  Res64: 97D2181DE1EDA5EA  Time : 1846.0 sec.
user=vaughan
[2009-07-24 15:48:03]
429*2^704461-1 is not prime.  Res64: 07A3460F05594D0E  Time : 4888.0 sec.
user=vaughan
[2009-07-24 15:49:12]
471*2^704461-1 is not prime.  Res64: F29E659DF31729CC  Time : 4846.0 sec.
user=vaughan
[2009-07-24 15:56:12]
477*2^704461-1 is not prime.  Res64: ED552E08F6C78F87  Time : 4888.0 sec.
user=vaughan
[2009-07-24 15:57:18]
517*2^704461-1 is not prime.  Res64: 6770EB1CE3E07E52  Time : 4847.0 sec.
user=vaughan
[2009-07-24 16:04:20]
495*2^704462-1 is not prime.  Res64: CF3768070BE4BA03  Time : 4887.0 sec.
user=vaughan
[2009-07-24 16:05:22]
561*2^704462-1 is not prime.  Res64: B9E041A608EF15AC  Time : 4846.0 sec.
user=vaughan
[2009-07-24 16:12:29]
581*2^704462-1 is not prime.  Res64: CBD9A7E328A15305  Time : 4887.0 sec.
user=vaughan
[2009-07-24 16:13:26]
583*2^704463-1 is not prime.  Res64: D3E000BFEF235FF1  Time : 4845.0 sec.
user=vaughan
[2009-07-24 16:14:26]
515*2^704466-1 is not prime.  Res64: CB359A8D12EEE218  Time : 1828.0 sec.
user=vaughan
[2009-07-24 16:20:37]
527*2^704464-1 is not prime.  Res64: B5D2AE70299F54BF  Time : 4886.0 sec.
user=vaughan
[2009-07-24 16:21:29]
459*2^704465-1 is not prime.  Res64: 67FC5FBD16CD3778  Time : 4843.0 sec.
user=vaughan
[2009-07-24 16:28:47]
529*2^704465-1 is not prime.  Res64: A6CB60E4453A93F4  Time : 4886.0 sec.
user=vaughan
[2009-07-24 16:29:33]
567*2^704465-1 is not prime.  Res64: E62CC9439C2C81E2  Time : 4842.0 sec.
user=vaughan
[2009-07-24 16:36:56]
453*2^704466-1 is not prime.  Res64: BDA663F69A38603A  Time : 4886.0 sec.
user=vaughan
[2009-07-24 16:37:38]
465*2^704466-1 is not prime.  Res64: D5A14250830E50A0  Time : 4843.0 sec.
user=vaughan
[2009-07-24 16:44:45]
447*2^704469-1 is not prime.  Res64: F38DAA7AFAC6142E  Time : 1819.0 sec.
user=vaughan
[2009-07-24 16:45:16]
471*2^704466-1 is not prime.  Res64: 54E879E4C380C121  Time : 4898.0 sec.
user=vaughan
[2009-07-24 16:45:35]
485*2^704466-1 is not prime.  Res64: 2C699654D823770B  Time : 4836.0 sec.
user=vaughan
[2009-07-24 16:53:23]
501*2^704466-1 is not prime.  Res64: 38AD627A6053E711  Time : 4818.0 sec.
user=vaughan
[2009-07-24 16:53:44]
497*2^704466-1 is not prime.  Res64: 2C4FACA15A83D657  Time : 4918.0 sec.
user=vaughan
[2009-07-24 17:01:12]
513*2^704466-1 is not prime.  Res64: CE0DAEA748E6295D  Time : 4803.0 sec.
user=vaughan
[2009-07-24 17:02:13]
507*2^704466-1 is not prime.  Res64: 50CE7FB2C2EE73BD  Time : 4938.0 sec.
user=vaughan
[2009-07-24 17:09:01]
451*2^704467-1 is not prime.  Res64: 441F3E46B8A018F3  Time : 4789.0 sec.
user=vaughan
[2009-07-24 17:10:43]
593*2^704466-1 is not prime.  Res64: D42F02E2E5E6916B  Time : 4960.0 sec.
user=vaughan
[2009-07-24 17:15:20]
409*2^704471-1 is not prime.  Res64: D71A8BD66D587DE0  Time : 1835.0 sec.
user=vaughan
[2009-07-24 17:16:49]
405*2^704468-1 is not prime.  Res64: 4A2C35899E4F9659  Time : 4771.0 sec.
user=vaughan
[2009-07-24 17:19:11]
583*2^704467-1 is not prime.  Res64: C12B42584A7167F3  Time : 4979.0 sec.
user=vaughan
[2009-07-24 17:24:44]
437*2^704468-1 is not prime.  Res64: 3574ADC044C7CAEA  Time : 4762.0 sec.
user=vaughan
[2009-07-24 17:27:40]
435*2^704468-1 is not prime.  Res64: 5647C307FA6B26C8  Time : 5000.0 sec.
user=vaughan
[2009-07-24 17:32:42]
563*2^704468-1 is not prime.  Res64: 70C4970E0D9769E7  Time : 4756.0 sec.
user=vaughan
[2009-07-24 17:35:51]
519*2^704468-1 is not prime.  Res64: 15741A0570FDAC45  Time : 5002.0 sec.
user=vaughan
[2009-07-24 17:40:47]
549*2^704469-1 is not prime.  Res64: EFA33ACEA9328628  Time : 4758.0 sec.
user=vaughan
[2009-07-24 17:42:47]
511*2^704473-1 is not prime.  Res64: BAD5A61F3C846E60  Time : 1647.0 sec.
user=vaughan
[2009-07-24 17:44:03]
465*2^704469-1 is not prime.  Res64: 7ECD192E02A89DD8  Time : 5006.0 sec.
user=vaughan
[2009-07-24 17:48:52]
425*2^704470-1 is not prime.  Res64: 13EE0D4F964038EA  Time : 4759.0 sec.
user=vaughan
[2009-07-24 17:52:14]
571*2^704469-1 is not prime.  Res64: 91D36A11AC72889A  Time : 5008.0 sec.
user=vaughan
[2009-07-24 17:56:57]
545*2^704470-1 is not prime.  Res64: 9E8A49F2D88A7D94  Time : 4759.0 sec.
user=vaughan
[2009-07-24 18:00:25]
533*2^704470-1 is not prime.  Res64: DBFB6632B46AE085  Time : 5009.0 sec.
user=vaughan
[2009-07-24 18:05:02]
493*2^704471-1 is not prime.  Res64: 0418B36495D5C5F2  Time : 4768.0 sec.
user=vaughan
[2009-07-24 18:08:36]
475*2^704471-1 is not prime.  Res64: B0FC31B7C9FFC630  Time : 5001.0 sec.
user=vaughan
[2009-07-24 18:09:23]
563*2^704474-1 is not prime.  Res64: 896C75E02434B7E4  Time : 1596.0 sec.
user=vaughan
[2009-07-24 18:13:06]
565*2^704471-1 is not prime.  Res64: 9FBFBFEB5363013A  Time : 4783.0 sec.
user=vaughan
[2009-07-24 18:16:47]
413*2^704472-1 is not prime.  Res64: C27B7EF544A2D21A  Time : 4983.0 sec.
user=vaughan
[2009-07-24 18:21:11]
503*2^704472-1 is not prime.  Res64: 63D5B7A45410F303  Time : 4799.0 sec.
user=vaughan
[2009-07-24 18:24:57]
527*2^704472-1 is not prime.  Res64: 62A3D1D36A411455  Time : 4964.0 sec.
user=vaughan
[2009-07-24 18:29:11]
567*2^704472-1 is not prime.  Res64: B5184738A4D042D2  Time : 4810.0 sec.
user=vaughan
[2009-07-24 18:33:22]
587*2^704472-1 is not prime.  Res64: B1E26FB0F8CD2219  Time : 4959.0 sec.
user=vaughan
[2009-07-24 18:35:39]
437*2^704478-1 is not prime.  Res64: 20D360217300A1C7  Time : 1576.0 sec.
user=vaughan
[2009-07-24 18:36:58]
525*2^704473-1 is not prime.  Res64: 766ED338B3969C50  Time : 4809.0 sec.
user=vaughan
[2009-07-24 18:41:51]
565*2^704473-1 is not prime.  Res64: 54307A22430E8921  Time : 4960.0 sec.
user=vaughan
[2009-07-24 18:44:46]
567*2^704473-1 is not prime.  Res64: 148FAFB94BC1A7A9  Time : 4802.0 sec.
user=vaughan
[2009-07-24 18:50:19]
407*2^704474-1 is not prime.  Res64: 33FD48509AE09F83  Time : 4959.0 sec.
user=vaughan
[2009-07-24 18:52:36]
483*2^704474-1 is not prime.  Res64: 50F4F6C2F99C99DA  Time : 4794.0 sec.
user=vaughan
[2009-07-24 18:58:48]
503*2^704474-1 is not prime.  Res64: 4E2C90377C8740DA  Time : 4977.0 sec.
user=vaughan
[2009-07-24 19:00:24]
507*2^704474-1 is not prime.  Res64: 622AF1B050AE4E8B  Time : 4777.0 sec.
user=vaughan
[2009-07-24 19:02:14]
441*2^704479-1 is not prime.  Res64: 4D4C716D74A54F52  Time : 1595.0 sec.
user=vaughan
[2009-07-24 19:07:16]
469*2^704475-1 is not prime.  Res64: 6BAB40A922903675  Time : 4993.0 sec.
user=vaughan
[2009-07-24 19:08:13]
543*2^704475-1 is not prime.  Res64: DC0CF5B4489B18FD  Time : 4761.0 sec.
user=vaughan
[2009-07-24 19:15:42]
479*2^704476-1 is not prime.  Res64: CEF6E7F2B239A03F  Time : 5008.0 sec.
user=vaughan
[2009-07-24 19:16:06]
525*2^704476-1 is not prime.  Res64: E2451C5413B6C549  Time : 4749.0 sec.
user=vaughan
[2009-07-24 19:23:52]
573*2^704476-1 is not prime.  Res64: 4B7197FB08B421FA  Time : 5007.0 sec.
user=vaughan
[2009-07-24 19:24:11]
405*2^704477-1 is not prime.  Res64: AE7D72FBE86E2CF7  Time : 4750.0 sec.
user=vaughan
[2009-07-24 19:28:47]
549*2^704481-1 is not prime.  Res64: 7C6B642F776D2E34  Time : 1593.0 sec.
user=vaughan
[2009-07-24 19:32:06]
529*2^704477-1 is not prime.  Res64: 29210BC53A6009F9  Time : 5011.0 sec.
user=vaughan
[2009-07-24 19:32:17]
513*2^704478-1 is not prime.  Res64: F0DBA192821B6D23  Time : 4752.0 sec.
user=vaughan
[2009-07-24 19:40:15]
515*2^704478-1 is not prime.  Res64: BBC9A09B1C2ECEA3  Time : 5009.0 sec.
user=vaughan
[2009-07-24 19:40:22]
581*2^704478-1 is not prime.  Res64: ED92F5A4929C49A7  Time : 4752.0 sec.
user=vaughan
[2009-07-24 19:48:26]
591*2^704478-1 is not prime.  Res64: E860DE76EE4849D8  Time : 4755.0 sec.
user=vaughan
[2009-07-24 19:48:27]
585*2^704478-1 is not prime.  Res64: E9B991145974328D  Time : 5010.0 sec.
user=vaughan
[2009-07-24 19:55:46]
433*2^704483-1 is not prime.  Res64: 71408D9CFFD5AB4B  Time : 1619.0 sec.
user=vaughan
[2009-07-24 19:56:31]
425*2^704480-1 is not prime.  Res64: 88BD736B291419BD  Time : 4773.0 sec.
user=vaughan
[2009-07-24 19:56:40]
415*2^704479-1 is not prime.  Res64: 1CFCC7653F3C43AD  Time : 4998.0 sec.
user=vaughan
[2009-07-24 20:04:35]
495*2^704480-1 is not prime.  Res64: CE36784CF6D4AE08  Time : 4789.0 sec.
user=vaughan
[2009-07-24 20:04:50]
483*2^704480-1 is not prime.  Res64: 2D6312C72C0D5968  Time : 4979.0 sec.
user=vaughan
[2009-07-24 20:12:41]
593*2^704480-1 is not prime.  Res64: 1FBC803D01AE6DC2  Time : 4805.0 sec.
user=vaughan
[2009-07-24 20:13:01]
587*2^704480-1 is not prime.  Res64: 0872D81A92B77512  Time : 4962.0 sec.
user=vaughan
[2009-07-24 20:20:46]
475*2^704481-1 is not prime.  Res64: 5480C2F2E39F160E  Time : 4822.0 sec.
user=vaughan
[2009-07-24 20:21:11]
447*2^704481-1 is not prime.  Res64: EC804A387B6524DA  Time : 4943.0 sec.
user=vaughan
[2009-07-24 20:23:03]
483*2^704484-1 is not prime.  Res64: 4DD787F9105855F0  Time : 1637.0 sec.
user=vaughan
[2009-07-24 20:28:50]
467*2^704482-1 is not prime.  Res64: C012AFED76A84085  Time : 4837.0 sec.
user=vaughan
[2009-07-24 20:29:20]
555*2^704481-1 is not prime.  Res64: 4D58180C144983D2  Time : 4924.0 sec.
user=vaughan
[2009-07-24 20:36:46]
503*2^704482-1 is not prime.  Res64: 1E336D79F0C13FD7  Time : 4840.0 sec.
user=vaughan
[2009-07-24 20:37:17]
495*2^704482-1 is not prime.  Res64: B247D2ADD9B6CD04  Time : 4895.0 sec.
user=vaughan
[2009-07-24 20:44:41]
581*2^704482-1 is not prime.  Res64: ECA577C691F6325E  Time : 4830.0 sec.
user=vaughan
[2009-07-24 20:45:14]
513*2^704482-1 is not prime.  Res64: D0B8C26F06931439  Time : 4882.0 sec.
user=vaughan
[2009-07-24 20:50:33]
409*2^704487-1 is not prime.  Res64: E431D5B4D288B62F  Time : 1650.0 sec.
user=vaughan
[2009-07-24 20:52:35]
463*2^704483-1 is not prime.  Res64: 8E86B0395B3542B8  Time : 4818.0 sec.
user=vaughan
[2009-07-24 20:53:10]
441*2^704483-1 is not prime.  Res64: 754948084C22679D  Time : 4865.0 sec.
user=vaughan
[2009-07-24 21:00:31]
481*2^704483-1 is not prime.  Res64: 30C70A24D7D34A8B  Time : 4809.0 sec.
user=vaughan
[2009-07-24 21:01:07]
465*2^704483-1 is not prime.  Res64: 1213EB01AB4C88FF  Time : 4852.0 sec.
user=vaughan
[2009-07-24 21:08:27]
501*2^704483-1 is not prime.  Res64: 062C298F4AFDE5B8  Time : 4801.0 sec.
user=vaughan
[2009-07-24 21:09:03]
523*2^704483-1 is not prime.  Res64: 03C715DB12046DEA  Time : 4836.0 sec.
user=vaughan
[2009-07-24 21:16:22]
549*2^704484-1 is not prime.  Res64: 7B2C03BF3890BA19  Time : 4792.0 sec.
user=vaughan
[2009-07-24 21:16:58]
563*2^704484-1 is not prime.  Res64: D7E73EB3C94C0DB6  Time : 4819.0 sec.
user=vaughan
[2009-07-24 21:18:14]
549*2^704488-1 is not prime.  Res64: 20638CB490C62785  Time : 1661.0 sec.
user=vaughan
[2009-07-24 21:24:15]
569*2^704484-1 is not prime.  Res64: D806D73EFC7E5551  Time : 4781.0 sec.
user=vaughan
[2009-07-24 21:24:55]
587*2^704484-1 is not prime.  Res64: F4564699EC85C190  Time : 4806.0 sec.
user=vaughan
[2009-07-24 21:32:07]
519*2^704485-1 is not prime.  Res64: 3126F7E00D3E582F  Time : 4767.0 sec.
user=vaughan
[2009-07-24 21:32:53]
503*2^704486-1 is not prime.  Res64: 46CC307987D21838  Time : 4792.0 sec.
user=vaughan
[2009-07-24 21:39:59]
521*2^704486-1 is not prime.  Res64: 7B11F9CDC16DADC3  Time : 4754.0 sec.
user=vaughan
[2009-07-24 21:40:51]
567*2^704486-1 is not prime.  Res64: 8F04C7863F6E76EB  Time : 4780.0 sec.
user=vaughan
[2009-07-24 21:45:55]
489*2^704491-1 is not prime.  Res64: 09853ACCA7FF9124  Time : 1661.0 sec.
user=vaughan
[2009-07-24 21:47:51]
501*2^704487-1 is not prime.  Res64: 2AADB3F819F91F80  Time : 4742.0 sec.
user=vaughan
[2009-07-24 21:48:50]
553*2^704487-1 is not prime.  Res64: 5E7A44D0479856EE  Time : 4770.0 sec.
user=vaughan
[2009-07-24 21:55:42]
571*2^704487-1 is not prime.  Res64: 1250494C4C36EA1B  Time : 4737.0 sec.
user=vaughan
[2009-07-24 21:56:50]
579*2^704487-1 is not prime.  Res64: 15F321A14A115070  Time : 4773.0 sec.
user=vaughan
[2009-07-24 22:03:34]
467*2^704488-1 is not prime.  Res64: ED1AD58D34F81B81  Time : 4733.0 sec.
user=vaughan
[2009-07-24 22:04:49]
507*2^704488-1 is not prime.  Res64: 5827A8F1663853F8  Time : 4775.0 sec.
user=vaughan
[2009-07-24 22:11:26]
435*2^704489-1 is not prime.  Res64: 5AAFA837439C1E92  Time : 4731.0 sec.
user=vaughan
[2009-07-24 22:12:49]
477*2^704489-1 is not prime.  Res64: 430900FD87191EC5  Time : 4779.0 sec.
user=vaughan
[2009-07-24 22:14:10]
595*2^704493-1 is not prime.  Res64: 7858C1D2ACEB1AB7  Time : 1695.0 sec.
user=vaughan
[2009-07-24 22:19:18]
447*2^704490-1 is not prime.  Res64: C2F9166A0032BF25  Time : 4727.0 sec.
user=vaughan
[2009-07-24 22:20:49]
501*2^704490-1 is not prime.  Res64: 955FECB9BCE06449  Time : 4782.0 sec.
user=vaughan
[2009-07-24 22:27:09]
513*2^704490-1 is not prime.  Res64: 3F56250B0891C29F  Time : 4722.0 sec.
user=vaughan
[2009-07-24 22:28:48]
567*2^704490-1 is not prime.  Res64: DAC724BAEFC2C235  Time : 4785.0 sec.
user=vaughan
[2009-07-24 22:35:27]
439*2^704491-1 is not prime.  Res64: C9F0B5CB6E76A283  Time : 4746.0 sec.
user=vaughan
[2009-07-24 22:36:47]
465*2^704491-1 is not prime.  Res64: A6AFB9CFC8A71210  Time : 4789.0 sec.
user=vaughan
[2009-07-24 22:41:33]
439*2^704497-1 is not prime.  Res64: E1D493E6281BE2B1  Time : 1643.0 sec.
user=vaughan
[2009-07-24 23:08:32]
561*2^704498-1 is not prime.  Res64: 8F51A7E72AD23AD0  Time : 1619.0 sec.
user=vaughan
[2009-07-24 23:34:54]
465*2^704499-1 is not prime.  Res64: 0873A536AD105B9D  Time : 1582.0 sec.