user=vaughan
[2009-07-05 00:01:42]
513*2^702435-1 is not prime.  Res64: B06261E9082B7EF5  Time : 5752.0 sec.
user=vaughan
[2009-07-05 00:08:43]
531*2^702435-1 is not prime.  Res64: 6D6D022676FFD020  Time : 5665.0 sec.
user=vaughan
[2009-07-05 00:11:05]
417*2^702437-1 is not prime.  Res64: 7DC347F80466C0B4  Time : 5728.0 sec.
user=vaughan
[2009-07-05 00:18:01]
469*2^702437-1 is not prime.  Res64: 1F881DFCEAB1B900  Time : 5554.0 sec.
user=vaughan
[2009-07-05 00:21:08]
451*2^702437-1 is not prime.  Res64: 11E99C1467163942  Time : 5754.0 sec.
user=vaughan
[2009-07-05 00:27:34]
517*2^702437-1 is not prime.  Res64: 7FCE1223D710BEFF  Time : 5657.0 sec.
user=vaughan
[2009-07-05 00:30:48]
565*2^702437-1 is not prime.  Res64: 3031C5B4680FF363  Time : 5776.0 sec.
user=vaughan
[2009-07-05 00:36:56]
437*2^702438-1 is not prime.  Res64: ECEC07100B601D89  Time : 5638.0 sec.
user=vaughan
[2009-07-05 00:39:59]
525*2^702438-1 is not prime.  Res64: 4EDF3086231D30BC  Time : 5748.0 sec.
user=vaughan
[2009-07-05 00:46:13]
557*2^702438-1 is not prime.  Res64: 5692E669D73E09F8  Time : 5625.0 sec.
user=vaughan
[2009-07-05 00:49:16]
563*2^702438-1 is not prime.  Res64: A1237135A709A2A3  Time : 5708.0 sec.
user=vaughan
[2009-07-05 00:55:37]
585*2^702438-1 is not prime.  Res64: E2A5F6E5757F9937  Time : 5621.0 sec.
user=vaughan
[2009-07-05 00:58:44]
411*2^702439-1 is not prime.  Res64: 2DFD938C2643E8BC  Time : 5708.0 sec.
user=vaughan
[2009-07-05 01:04:36]
407*2^702440-1 is not prime.  Res64: 05D23B009798BC32  Time : 5586.0 sec.
user=vaughan
[2009-07-05 01:07:37]
519*2^702440-1 is not prime.  Res64: 0A4C60C8A59DA0CA  Time : 5669.0 sec.
user=vaughan
[2009-07-05 01:13:53]
563*2^702440-1 is not prime.  Res64: B74ABD0D91E892BA  Time : 5581.0 sec.
user=vaughan
[2009-07-05 01:16:52]
415*2^702441-1 is not prime.  Res64: F98B53B4FE463E75  Time : 5641.0 sec.
user=vaughan
[2009-07-05 01:23:00]
579*2^702441-1 is not prime.  Res64: 178CEA8AA5C6367B  Time : 5556.0 sec.
user=vaughan
[2009-07-05 01:26:08]
597*2^702441-1 is not prime.  Res64: D29A7C9E4B8B85FB  Time : 5618.0 sec.
user=vaughan
[2009-07-05 01:32:25]
477*2^702442-1 is not prime.  Res64: 3093DBAA97C5F31B  Time : 5574.0 sec.
user=vaughan
[2009-07-05 01:35:34]
483*2^702442-1 is not prime.  Res64: A3793C82FBC786BA  Time : 5633.0 sec.
user=vaughan
[2009-07-05 01:41:53]
561*2^702442-1 is not prime.  Res64: 7F5A2F898AFB54DE  Time : 5590.0 sec.
user=vaughan
[2009-07-05 01:45:08]
445*2^702443-1 is not prime.  Res64: 7B10AFC776154EDA  Time : 5644.0 sec.
user=vaughan
[2009-07-05 01:51:29]
511*2^702443-1 is not prime.  Res64: 35D6E2A7F4524AB4  Time : 5608.0 sec.
user=vaughan
[2009-07-05 01:54:39]
589*2^702443-1 is not prime.  Res64: B350CA88F138454A  Time : 5612.0 sec.
user=vaughan
[2009-07-05 02:00:37]
459*2^702444-1 is not prime.  Res64: B0A9B69D68DF4C0C  Time : 5584.0 sec.
user=vaughan
[2009-07-05 02:04:06]
465*2^702444-1 is not prime.  Res64: FD27589310586339  Time : 5598.0 sec.
user=vaughan
[2009-07-05 02:10:21]
497*2^702444-1 is not prime.  Res64: 415D9F87C71EC0A4  Time : 5605.0 sec.
user=vaughan
[2009-07-05 02:13:30]
555*2^702444-1 is not prime.  Res64: 686412DAE650155F  Time : 5611.0 sec.
user=vaughan
[2009-07-05 02:19:36]
587*2^702444-1 is not prime.  Res64: 98E0696C31B02598  Time : 5603.0 sec.
user=vaughan
[2009-07-05 02:22:50]
415*2^702445-1 is not prime.  Res64: C087C39925B982B7  Time : 5615.0 sec.
user=vaughan
[2009-07-05 02:28:52]
421*2^702445-1 is not prime.  Res64: 6659A6DB95477467  Time : 5595.0 sec.
user=vaughan
[2009-07-05 02:32:34]
589*2^702445-1 is not prime.  Res64: DE3267EE5222F014  Time : 5634.0 sec.
user=vaughan
[2009-07-05 02:37:45]
501*2^702446-1 is not prime.  Res64: BEAD9E02A6634A40  Time : 5590.0 sec.
user=vaughan
[2009-07-05 02:41:38]
503*2^702446-1 is not prime.  Res64: BB7B7A50979687BB  Time : 5641.0 sec.
user=vaughan
[2009-07-05 02:46:52]
585*2^702446-1 is not prime.  Res64: 97A73074EB4712F3  Time : 5579.0 sec.
user=vaughan
[2009-07-05 02:51:27]
451*2^702447-1 is not prime.  Res64: 3C563BEBC5B5A35E  Time : 5675.0 sec.
user=vaughan
[2009-07-05 02:56:18]
465*2^702447-1 is not prime.  Res64: 153171FB32BC0889  Time : 5599.0 sec.
user=vaughan
[2009-07-05 03:00:06]
475*2^702447-1 is not prime.  Res64: 5F9C737498D73148  Time : 5638.0 sec.
user=vaughan
[2009-07-05 03:04:34]
489*2^702447-1 is not prime.  Res64: 024BFABE90ADD6E9  Time : 5530.0 sec.
user=vaughan
[2009-07-05 03:09:45]
501*2^702447-1 is not prime.  Res64: A11798956AD025DD  Time : 5652.0 sec.
user=vaughan
[2009-07-05 03:13:47]
511*2^702447-1 is not prime.  Res64: 00EC293134B6B9FA  Time : 5514.0 sec.
user=vaughan
[2009-07-05 03:18:57]
435*2^702448-1 is not prime.  Res64: 26994EA601B844DE  Time : 5630.0 sec.
user=vaughan
[2009-07-05 03:22:48]
533*2^702448-1 is not prime.  Res64: 02722D3D44F8678A  Time : 5480.0 sec.
user=vaughan
[2009-07-05 03:28:02]
501*2^702449-1 is not prime.  Res64: 5546F1E2C500D2AC  Time : 5604.0 sec.
user=vaughan
[2009-07-05 03:32:26]
511*2^702449-1 is not prime.  Res64: 438765AF5BCD2D9B  Time : 5510.0 sec.
user=vaughan
[2009-07-05 03:37:39]
559*2^702449-1 is not prime.  Res64: C890E822D3299120  Time : 5613.0 sec.
user=vaughan
[2009-07-05 03:41:45]
411*2^702450-1 is not prime.  Res64: C77933D0CF85D156  Time : 5484.0 sec.
user=vaughan
[2009-07-05 03:46:49]
413*2^702450-1 is not prime.  Res64: B87732F36F2D2195  Time : 5599.0 sec.
user=vaughan
[2009-07-05 03:50:38]
465*2^702450-1 is not prime.  Res64: 680BB5EF120F1470  Time : 5462.0 sec.
user=vaughan
[2009-07-05 03:56:00]
501*2^702450-1 is not prime.  Res64: 9C24EDC13366E45A  Time : 5590.0 sec.
user=vaughan
[2009-07-05 03:59:35]
527*2^702450-1 is not prime.  Res64: 0B6316B786933F47  Time : 5443.0 sec.
user=vaughan
[2009-07-05 04:05:27]
421*2^702451-1 is not prime.  Res64: 7314CCF107A186A5  Time : 5573.0 sec.
user=vaughan
[2009-07-05 04:08:35]
441*2^702451-1 is not prime.  Res64: D819E21865216626  Time : 5450.0 sec.
user=vaughan
[2009-07-05 04:14:28]
463*2^702451-1 is not prime.  Res64: F9C4495597274EDD  Time : 5570.0 sec.
user=vaughan
[2009-07-05 04:17:46]
541*2^702451-1 is not prime.  Res64: 3A6DFCADCE22A352  Time : 5454.0 sec.
user=vaughan
[2009-07-05 04:23:50]
549*2^702451-1 is not prime.  Res64: D600F3910B4EEC7E  Time : 5543.0 sec.
user=vaughan
[2009-07-05 04:26:55]
583*2^702451-1 is not prime.  Res64: E5513AD170672202  Time : 5438.0 sec.
user=vaughan
[2009-07-05 04:33:23]
595*2^702451-1 is not prime.  Res64: EF87EB418EC9B39D  Time : 5597.0 sec.
user=vaughan
[2009-07-05 04:35:59]
479*2^702452-1 is not prime.  Res64: 3B362924A9D183A5  Time : 5485.0 sec.
user=vaughan
[2009-07-05 04:41:58]
557*2^702452-1 is not prime.  Res64: A72D3D68F3A53DFB  Time : 5534.0 sec.
user=vaughan
[2009-07-05 04:44:10]
459*2^702453-1 is not prime.  Res64: 242E268AFBC460C2  Time : 5424.0 sec.
user=vaughan
[2009-07-05 04:51:28]
591*2^702453-1 is not prime.  Res64: 49218DDE8C0D1966  Time : 5551.0 sec.
user=vaughan
[2009-07-05 04:53:33]
525*2^702454-1 is not prime.  Res64: A98481C516C7461A  Time : 5445.0 sec.
user=vaughan
[2009-07-05 05:00:43]
533*2^702454-1 is not prime.  Res64: 977C06A52457C06C  Time : 5561.0 sec.
user=vaughan
[2009-07-05 05:02:23]
545*2^702454-1 is not prime.  Res64: C80BA130BC328D8B  Time : 5397.0 sec.
user=vaughan
[2009-07-05 05:09:53]
555*2^702454-1 is not prime.  Res64: 00D6D17A0137F7A8  Time : 5535.0 sec.
user=vaughan
[2009-07-05 05:11:34]
451*2^702455-1 is not prime.  Res64: 9024228CA78B781A  Time : 5389.0 sec.
user=vaughan
[2009-07-05 05:19:25]
465*2^702455-1 is not prime.  Res64: CF170D769BB9F276  Time : 5557.0 sec.
user=vaughan
[2009-07-05 05:21:10]
481*2^702455-1 is not prime.  Res64: 3F56FE09BB4656E9  Time : 5433.0 sec.
user=vaughan
[2009-07-05 05:29:25]
425*2^702456-1 is not prime.  Res64: BB828DA928B606E3  Time : 5605.0 sec.
user=vaughan
[2009-07-05 05:30:53]
515*2^702456-1 is not prime.  Res64: D39B308C50B12A20  Time : 5478.0 sec.
user=vaughan
[2009-07-05 05:39:06]
537*2^702456-1 is not prime.  Res64: 2FD2C2D73AE00D0F  Time : 5619.0 sec.
user=vaughan
[2009-07-05 05:40:23]
563*2^702456-1 is not prime.  Res64: CFE52418D75CF682  Time : 5508.0 sec.
user=vaughan
[2009-07-05 05:48:51]
441*2^702457-1 is not prime.  Res64: 7F969D4D3C9C7C11  Time : 5663.0 sec.
user=vaughan
[2009-07-05 05:49:38]
507*2^702457-1 is not prime.  Res64: 7937E1E22F8D0CB4  Time : 5512.0 sec.
user=vaughan
[2009-07-05 05:57:26]
589*2^702457-1 is not prime.  Res64: EB3AD0325550C281  Time : 5617.0 sec.
user=vaughan
[2009-07-05 05:57:51]
501*2^702458-1 is not prime.  Res64: 5ADC57A08218973A  Time : 5457.0 sec.
user=vaughan
[2009-07-05 06:05:24]
515*2^702458-1 is not prime.  Res64: 3396BC6DC01B528C  Time : 5521.0 sec.
user=vaughan
[2009-07-05 06:05:40]
415*2^702459-1 is not prime.  Res64: 92A17466010A7459  Time : 5381.0 sec.
user=vaughan
[2009-07-05 06:13:21]
469*2^702459-1 is not prime.  Res64: 9A2CEFA4E0588CC6  Time : 5483.0 sec.
user=vaughan
[2009-07-05 06:13:31]
471*2^702459-1 is not prime.  Res64: B75222D7FAF03F01  Time : 5361.0 sec.
user=vaughan
[2009-07-05 06:21:15]
513*2^702459-1 is not prime.  Res64: FB8FE6D8DA5D44B2  Time : 5387.0 sec.
user=vaughan
[2009-07-05 06:21:20]
555*2^702459-1 is not prime.  Res64: 4C81AFD31EF19211  Time : 5267.0 sec.
user=vaughan
[2009-07-05 06:29:12]
479*2^702460-1 is not prime.  Res64: 2CC79BEF5C51B05A  Time : 5309.0 sec.
user=vaughan
[2009-07-05 06:29:15]
587*2^702460-1 is not prime.  Res64: 7EEA26AACF3743DA  Time : 5212.0 sec.
user=vaughan
[2009-07-05 06:37:09]
447*2^702461-1 is not prime.  Res64: 7C9750DD0899402A  Time : 5136.0 sec.
user=vaughan
[2009-07-05 06:37:10]
421*2^702461-1 is not prime.  Res64: C701ECC8526D1641  Time : 5238.0 sec.
user=vaughan
[2009-07-05 06:45:00]
571*2^702461-1 is not prime.  Res64: 85CCB4BF9A8F841C  Time : 5135.0 sec.
user=vaughan
[2009-07-05 06:45:07]
577*2^702461-1 is not prime.  Res64: 7C1DB79BCF7F3DD5  Time : 5038.0 sec.
user=vaughan
[2009-07-05 06:52:53]
405*2^702462-1 is not prime.  Res64: C8E494028979E4AD  Time : 5008.0 sec.
user=vaughan
[2009-07-05 06:53:03]
525*2^702462-1 is not prime.  Res64: 4BFB2C67F6890B4F  Time : 4930.0 sec.
user=vaughan
[2009-07-05 07:00:45]
453*2^702463-1 is not prime.  Res64: E21A51549F34684F  Time : 4900.0 sec.
user=vaughan
[2009-07-05 07:01:00]
493*2^702463-1 is not prime.  Res64: DB08924A7E6E7482  Time : 4837.0 sec.
user=vaughan
[2009-07-05 07:08:45]
499*2^702463-1 is not prime.  Res64: E145C09CDE6CD78D  Time : 4794.0 sec.
user=vaughan
[2009-07-05 07:08:52]
559*2^702463-1 is not prime.  Res64: E8EA7E68B1F46A52  Time : 4754.0 sec.
user=vaughan
[2009-07-05 07:16:40]
573*2^702463-1 is not prime.  Res64: 7CF20FFFF33B8498  Time : 4755.0 sec.
user=vaughan
[2009-07-05 07:16:40]
413*2^702464-1 is not prime.  Res64: 332FDE776C827F1F  Time : 4730.0 sec.
user=vaughan
[2009-07-05 07:24:32]
447*2^702464-1 is not prime.  Res64: 7BB0B7A4A50CCC0B  Time : 4733.0 sec.
user=vaughan
[2009-07-05 07:24:39]
437*2^702464-1 is not prime.  Res64: BAE786D25E500644  Time : 4755.0 sec.
user=vaughan
[2009-07-05 07:32:24]
503*2^702464-1 is not prime.  Res64: 4FD76D6A982CE296  Time : 4733.0 sec.
user=vaughan
[2009-07-05 07:32:40]
459*2^702464-1 is not prime.  Res64: 99AE0C0E05B15746  Time : 4759.0 sec.
user=vaughan
[2009-07-05 07:40:13]
533*2^702464-1 is not prime.  Res64: EEBED99425A1F14F  Time : 4733.0 sec.
user=vaughan
[2009-07-05 07:40:39]
525*2^702464-1 is not prime.  Res64: ED8687DB4276BA80  Time : 4764.0 sec.
user=vaughan
[2009-07-05 07:48:14]
429*2^702465-1 is not prime.  Res64: 8FD5282EEE9432D0  Time : 4739.0 sec.
user=vaughan
[2009-07-05 07:48:52]
557*2^702464-1 is not prime.  Res64: 6A9FAAA0F1B99ADC  Time : 4780.0 sec.
user=vaughan
[2009-07-05 07:57:12]
457*2^702465-1 is not prime.  Res64: 18EDF320DB99363A  Time : 4803.0 sec.
user=vaughan
[2009-07-05 07:57:56]
459*2^702465-1 is not prime.  Res64: 0C912EBA5F76C990  Time : 4847.0 sec.
user=vaughan
[2009-07-05 08:06:31]
529*2^702465-1 is not prime.  Res64: 4889C8929E8BDC20  Time : 4884.0 sec.
user=vaughan
[2009-07-05 08:07:10]
475*2^702465-1 is not prime.  Res64: 0A5473994D76D9EC  Time : 4930.0 sec.
user=vaughan
[2009-07-05 08:16:05]
545*2^702466-1 is not prime.  Res64: 728E004D536E13DA  Time : 4982.0 sec.
user=vaughan
[2009-07-05 08:17:07]
531*2^702465-1 is not prime.  Res64: F1E820B9AB3A8C36  Time : 5055.0 sec.
user=vaughan
[2009-07-05 08:25:24]
495*2^702467-1 is not prime.  Res64: A0801D5787726A7C  Time : 5065.0 sec.
user=vaughan
[2009-07-05 08:26:24]
469*2^702467-1 is not prime.  Res64: 4F9B2E08B5F4B035  Time : 5139.0 sec.
user=vaughan
[2009-07-05 08:34:39]
595*2^702467-1 is not prime.  Res64: B610DFB0BD781CD8  Time : 5147.0 sec.
user=vaughan
[2009-07-05 08:35:47]
523*2^702467-1 is not prime.  Res64: 79C8C5AA2D20B632  Time : 5222.0 sec.
user=vaughan
[2009-07-05 08:43:47]
473*2^702468-1 is not prime.  Res64: 969823367DEEDD6B  Time : 5227.0 sec.
user=vaughan
[2009-07-05 08:45:09]
467*2^702468-1 is not prime.  Res64: DC2EA81ABA82EC4E  Time : 5309.0 sec.
user=vaughan
[2009-07-05 08:53:11]
567*2^702468-1 is not prime.  Res64: 2C680FA42622CC00  Time : 5320.0 sec.
user=vaughan
[2009-07-05 08:54:50]
427*2^702469-1 is not prime.  Res64: AF0E9229323B5ED9  Time : 5412.0 sec.
user=vaughan
[2009-07-05 09:02:24]
559*2^702469-1 is not prime.  Res64: 2C5EC3B95E1D509B  Time : 5400.0 sec.
user=vaughan
[2009-07-05 09:04:15]
405*2^702470-1 is not prime.  Res64: 3A62620884EB3E19  Time : 5495.0 sec.
user=vaughan
[2009-07-05 09:11:42]
407*2^702470-1 is not prime.  Res64: 5740A4AD6766B883  Time : 5489.0 sec.
user=vaughan
[2009-07-05 09:13:45]
495*2^702470-1 is not prime.  Res64: D89D70697BF9DE9E  Time : 5586.0 sec.
user=vaughan
[2009-07-05 09:21:14]
515*2^702470-1 is not prime.  Res64: F26BC10597138334  Time : 5580.0 sec.
user=vaughan
[2009-07-05 09:23:21]
533*2^702470-1 is not prime.  Res64: EEB45C8EA8627CFB  Time : 5669.0 sec.
user=vaughan
[2009-07-05 09:30:44]
439*2^702471-1 is not prime.  Res64: 67A2F079948D3771  Time : 5613.0 sec.
user=vaughan
[2009-07-05 09:33:11]
441*2^702471-1 is not prime.  Res64: 9B9DA6B7C7BE1E0A  Time : 5715.0 sec.
user=vaughan
[2009-07-05 09:40:20]
445*2^702471-1 is not prime.  Res64: 632661D9EC570ED9  Time : 5629.0 sec.
user=vaughan
[2009-07-05 09:43:09]
489*2^702471-1 is not prime.  Res64: F1029648BA7538DE  Time : 5759.0 sec.
user=vaughan
[2009-07-05 09:50:06]
511*2^702471-1 is not prime.  Res64: F4034E16225EE8C1  Time : 5641.0 sec.
user=vaughan
[2009-07-05 09:52:38]
559*2^702471-1 is not prime.  Res64: 690532C0183408C0  Time : 5731.0 sec.
user=vaughan
[2009-07-05 09:59:45]
565*2^702471-1 is not prime.  Res64: 4020470ED41394B2  Time : 5662.0 sec.
user=vaughan
[2009-07-05 10:02:24]
465*2^702473-1 is not prime.  Res64: 0F8E9E8629F95BD1  Time : 5760.0 sec.
user=vaughan
[2009-07-05 10:09:31]
487*2^702473-1 is not prime.  Res64: 025B70CAAFBF7B6E  Time : 5692.0 sec.
user=vaughan
[2009-07-05 10:11:46]
537*2^702473-1 is not prime.  Res64: 3D96DCFFC2D47856  Time : 5759.0 sec.
user=vaughan
[2009-07-05 10:18:48]
411*2^702474-1 is not prime.  Res64: 5346F62AF8020A64  Time : 5701.0 sec.
user=vaughan
[2009-07-05 10:20:58]
425*2^702474-1 is not prime.  Res64: 2EE42928AEC122FB  Time : 5750.0 sec.
user=vaughan
[2009-07-05 10:28:38]
431*2^702474-1 is not prime.  Res64: E043CB436184BC58  Time : 5727.0 sec.
user=vaughan
[2009-07-05 10:31:06]
443*2^702474-1 is not prime.  Res64: 2E880A5F97B7689F  Time : 5776.0 sec.
user=vaughan
[2009-07-05 10:38:14]
447*2^702474-1 is not prime.  Res64: 1F34AF6C9ED56009  Time : 5750.0 sec.
user=vaughan
[2009-07-05 10:40:39]
465*2^702474-1 is not prime.  Res64: F88EDCA1E17963B1  Time : 5784.0 sec.
user=vaughan
[2009-07-05 10:47:29]
473*2^702474-1 is not prime.  Res64: B0082A5F458AED54  Time : 5747.0 sec.
user=vaughan
[2009-07-05 10:50:03]
531*2^702474-1 is not prime.  Res64: D3CB7DDBA8189924  Time : 5778.0 sec.
user=vaughan
[2009-07-05 10:57:17]
405*2^702475-1 is not prime.  Res64: 1154340E052C4A8C  Time : 5764.0 sec.
user=vaughan
[2009-07-05 10:59:39]
429*2^702475-1 is not prime.  Res64: E481DE632C4837B5  Time : 5779.0 sec.
user=vaughan
[2009-07-05 11:06:28]
453*2^702475-1 is not prime.  Res64: 1CDB70104E15B0DF  Time : 5744.0 sec.
user=vaughan
[2009-07-05 11:09:06]
507*2^702476-1 is not prime.  Res64: 367C5C31BEA936F8  Time : 5755.0 sec.
user=vaughan
[2009-07-05 11:15:51]
539*2^702476-1 is not prime.  Res64: 5A6B828BCD2A0C0E  Time : 5731.0 sec.
user=vaughan
[2009-07-05 11:18:45]
557*2^702476-1 is not prime.  Res64: FCD0AA37E0CA7A86  Time : 5737.0 sec.
user=vaughan
[2009-07-05 11:25:05]
405*2^702477-1 is not prime.  Res64: 750AB0E4FCBEFD0B  Time : 5700.0 sec.
user=vaughan
[2009-07-05 11:27:32]
429*2^702477-1 is not prime.  Res64: B911ECC5D75B427A  Time : 5694.0 sec.
user=vaughan
[2009-07-05 11:34:14]
465*2^702477-1 is not prime.  Res64: 3F64BBDCE5BBF702  Time : 5669.0 sec.
user=vaughan
[2009-07-05 11:36:31]
507*2^702477-1 is not prime.  Res64: 6F35A836EDA0D92C  Time : 5648.0 sec.
user=vaughan
[2009-07-05 11:43:31]
511*2^702477-1 is not prime.  Res64: 9BD66B08311D0831  Time : 5640.0 sec.
user=vaughan
[2009-07-05 11:45:51]
423*2^702478-1 is not prime.  Res64: 943A672E49607337  Time : 5645.0 sec.
user=vaughan
[2009-07-05 11:52:56]
459*2^702479-1 is not prime.  Res64: EA2028E55F9AAACC  Time : 5648.0 sec.
user=vaughan
[2009-07-05 11:55:25]
423*2^702480-1 is not prime.  Res64: F361A74DAD2F3D05  Time : 5667.0 sec.
user=vaughan
[2009-07-05 12:02:24]
453*2^702480-1 is not prime.  Res64: FCB1FEE4D9EA879B  Time : 5627.0 sec.
user=vaughan
[2009-07-05 12:04:59]
513*2^702480-1 is not prime.  Res64: E3124DC120BA9AD7  Time : 5633.0 sec.
user=vaughan
[2009-07-05 12:12:02]
543*2^702480-1 is not prime.  Res64: C8DEBCBEDAAF52F4  Time : 5628.0 sec.
user=vaughan
[2009-07-05 12:14:43]
585*2^702480-1 is not prime.  Res64: 6B860D01F1CEDD16  Time : 5644.0 sec.
user=vaughan
[2009-07-05 12:21:24]
471*2^702481-1 is not prime.  Res64: 611D13E5E493BF3B  Time : 5636.0 sec.
user=vaughan
[2009-07-05 12:23:56]
477*2^702481-1 is not prime.  Res64: DD94A311B8CACD35  Time : 5633.0 sec.
user=vaughan
[2009-07-05 12:30:33]
537*2^702481-1 is not prime.  Res64: 156C1CBF9D926880  Time : 5596.0 sec.
user=vaughan
[2009-07-05 12:33:24]
547*2^702481-1 is not prime.  Res64: FE55EEFA5F7687F7  Time : 5625.0 sec.
user=vaughan
[2009-07-05 12:40:04]
565*2^702481-1 is not prime.  Res64: 682C56850D21FD76  Time : 5616.0 sec.
user=vaughan
[2009-07-05 12:43:09]
423*2^702482-1 is not prime.  Res64: 6AD4DFBFCF701FBC  Time : 5644.0 sec.
user=vaughan
[2009-07-05 12:49:15]
501*2^702482-1 is not prime.  Res64: 8C7DD1A89AA1A6F8  Time : 5605.0 sec.
user=vaughan
[2009-07-05 12:51:58]
503*2^702482-1 is not prime.  Res64: FF38940E33A749B8  Time : 5594.0 sec.
user=vaughan
[2009-07-05 12:57:59]
537*2^702482-1 is not prime.  Res64: 0C5A0A2F52099A44  Time : 5574.0 sec.
user=vaughan
[2009-07-05 13:00:50]
561*2^702482-1 is not prime.  Res64: 21BF140963605CF7  Time : 5599.0 sec.
user=vaughan
[2009-07-05 13:07:25]
439*2^702483-1 is not prime.  Res64: 5157935E311263FE  Time : 5591.0 sec.
user=vaughan
[2009-07-05 13:10:28]
573*2^702483-1 is not prime.  Res64: B1A3D65EFE8B957F  Time : 5637.0 sec.
user=vaughan
[2009-07-05 13:16:25]
413*2^702484-1 is not prime.  Res64: 951A5B74EF17AC14  Time : 5575.0 sec.
user=vaughan
[2009-07-05 13:19:32]
507*2^702484-1 is not prime.  Res64: A190EAC75A7F3E2A  Time : 5621.0 sec.
user=vaughan
[2009-07-05 13:25:37]
563*2^702484-1 is not prime.  Res64: 955B81F9A8070DF4  Time : 5562.0 sec.
user=vaughan
[2009-07-05 13:28:49]
569*2^702484-1 is not prime.  Res64: 3D313EA8E4CB160E  Time : 5604.0 sec.
user=vaughan
[2009-07-05 13:35:14]
409*2^702485-1 is not prime.  Res64: 430FCEBABEFDD9D9  Time : 5570.0 sec.
user=vaughan
[2009-07-05 13:38:40]
475*2^702485-1 is not prime.  Res64: 349BE8976C760398  Time : 5621.0 sec.
user=vaughan
[2009-07-05 13:44:39]
507*2^702485-1 is not prime.  Res64: 18D4F369BD6344BE  Time : 5558.0 sec.
user=vaughan
[2009-07-05 13:47:52]
517*2^702485-1 is not prime.  Res64: F4B5F7595D51FEEC  Time : 5589.0 sec.
user=vaughan
[2009-07-05 13:54:04]
529*2^702485-1 is not prime.  Res64: 7D99454D69B0EBBE  Time : 5560.0 sec.
user=vaughan
[2009-07-05 13:57:49]
417*2^702486-1 is not prime.  Res64: CCB83E9F0DFAA38D  Time : 5633.0 sec.
user=vaughan
[2009-07-05 14:03:40]
447*2^702486-1 is not prime.  Res64: 1AA8693BCCC3539C  Time : 5587.0 sec.
user=vaughan
[2009-07-05 14:07:32]
513*2^702486-1 is not prime.  Res64: 51A6F32F42D96C83  Time : 5648.0 sec.
user=vaughan
[2009-07-05 14:13:12]
593*2^702486-1 is not prime.  Res64: 7D5AF2602EE97A92  Time : 5588.0 sec.
user=vaughan
[2009-07-05 14:17:22]
405*2^702488-1 is not prime.  Res64: 5259B457AE1683E7  Time : 5654.0 sec.
user=vaughan
[2009-07-05 14:22:32]
417*2^702488-1 is not prime.  Res64: C8C4ADD5826D087C  Time : 5597.0 sec.
user=vaughan
[2009-07-05 14:26:14]
473*2^702488-1 is not prime.  Res64: DFCCFB924323AC9F  Time : 5656.0 sec.
user=vaughan
[2009-07-05 14:31:53]
507*2^702488-1 is not prime.  Res64: 7849738C352BFEB2  Time : 5634.0 sec.
user=vaughan
[2009-07-05 14:35:51]
549*2^702489-1 is not prime.  Res64: E9DDE6604A673B36  Time : 5701.0 sec.
user=vaughan
[2009-07-05 14:41:01]
411*2^702490-1 is not prime.  Res64: A441F4463E274E7E  Time : 5616.0 sec.
user=vaughan
[2009-07-05 14:45:03]
545*2^702490-1 is not prime.  Res64: 7D3A6511EF74E9AA  Time : 5675.0 sec.
user=vaughan
[2009-07-05 14:50:40]
587*2^702490-1 is not prime.  Res64: C86288F9C50197AE  Time : 5655.0 sec.
user=vaughan
[2009-07-05 14:54:27]
455*2^702492-1 is not prime.  Res64: 0BA9DB0957DF15C5  Time : 5695.0 sec.
user=vaughan
[2009-07-05 14:59:53]
489*2^702492-1 is not prime.  Res64: 9DBFB77DAB6EDBB3  Time : 5656.0 sec.
user=vaughan
[2009-07-05 15:03:51]
557*2^702492-1 is not prime.  Res64: C728D491F88CF48D  Time : 5702.0 sec.
user=vaughan
[2009-07-05 15:09:21]
563*2^702492-1 is not prime.  Res64: C7D45D7C86FFCDC4  Time : 5647.0 sec.
user=vaughan
[2009-07-05 15:13:03]
567*2^702492-1 is not prime.  Res64: DA7F7F321D4C9787  Time : 5664.0 sec.
user=vaughan
[2009-07-05 15:18:39]
411*2^702493-1 is not prime.  Res64: 9FF92B2E9324DD60  Time : 5641.0 sec.
user=vaughan
[2009-07-05 15:21:58]
427*2^702493-1 is not prime.  Res64: 18215C9E7E63EB14  Time : 5646.0 sec.
user=vaughan
[2009-07-05 15:27:45]
565*2^702493-1 is not prime.  Res64: 8373392F4C310569  Time : 5622.0 sec.
user=vaughan
[2009-07-05 15:31:22]
437*2^702494-1 is not prime.  Res64: 243D7E74944AEB89  Time : 5613.0 sec.
user=vaughan
[2009-07-05 15:37:12]
503*2^702494-1 is not prime.  Res64: F467368B38A1CAEB  Time : 5612.0 sec.
user=vaughan
[2009-07-05 15:40:20]
563*2^702494-1 is not prime.  Res64: 15072DE889F0241D  Time : 5568.0 sec.
user=vaughan
[2009-07-05 15:46:40]
585*2^702494-1 is not prime.  Res64: D5C1FF7921A8F16D  Time : 5608.0 sec.
user=vaughan
[2009-07-05 15:50:08]
449*2^702496-1 is not prime.  Res64: 02D6EF0EC7759BD9  Time : 5567.0 sec.
user=vaughan
[2009-07-05 15:55:50]
507*2^702496-1 is not prime.  Res64: B1BA0C84540FDA27  Time : 5599.0 sec.
user=vaughan
[2009-07-05 15:59:32]
525*2^702496-1 is not prime.  Res64: CF20E2E0C296FE6D  Time : 5598.0 sec.
user=vaughan
[2009-07-05 16:05:03]
405*2^702497-1 is not prime.  Res64: 2647E9E66305223F  Time : 5590.0 sec.
user=vaughan
[2009-07-05 16:09:07]
421*2^702497-1 is not prime.  Res64: 852A42C6BB0C95A3  Time : 5597.0 sec.
user=vaughan
[2009-07-05 16:14:34]
529*2^702497-1 is not prime.  Res64: BFA326B05A5298E1  Time : 5613.0 sec.
user=vaughan
[2009-07-05 16:19:16]
437*2^702498-1 is not prime.  Res64: A1A45C201D2D17DF  Time : 5654.0 sec.
user=vaughan
[2009-07-05 16:24:09]
443*2^702498-1 is not prime.  Res64: 8BE3EAE397614E1D  Time : 5610.0 sec.
user=vaughan
[2009-07-05 16:29:06]
485*2^702498-1 is not prime.  Res64: ACDBF719908669B0  Time : 5679.0 sec.
user=vaughan
[2009-07-05 16:33:35]
507*2^702498-1 is not prime.  Res64: 24CE4C20FE515BC1  Time : 5622.0 sec.
user=vaughan
[2009-07-05 16:38:35]
411*2^702499-1 is not prime.  Res64: 04879C558FA266E3  Time : 5684.0 sec.
user=vaughan
[2009-07-05 16:43:08]
421*2^702499-1 is not prime.  Res64: 756401EA4AA56785  Time : 5627.0 sec.
user=vaughan
[2009-07-05 16:48:27]
589*2^702499-1 is not prime.  Res64: 1CF472BD1D66D4DF  Time : 5724.0 sec.
user=vaughan
[2009-07-05 16:52:41]
425*2^702500-1 is not prime.  Res64: 48926B477C5EDBFF  Time : 5642.0 sec.
user=vaughan
[2009-07-05 16:58:11]
455*2^702500-1 is not prime.  Res64: D2C846DF17B9B8EA  Time : 5773.0 sec.
user=vaughan
[2009-07-05 17:01:57]
489*2^702500-1 is not prime.  Res64: EF8B32A3489D8557  Time : 5652.0 sec.
user=vaughan
[2009-07-05 17:07:04]
533*2^702500-1 is not prime.  Res64: 06E6352B51522DB0  Time : 5743.0 sec.
user=vaughan
[2009-07-05 17:10:17]
447*2^702501-1 is not prime.  Res64: D24D5E6D429EDBBF  Time : 5585.0 sec.
user=vaughan
[2009-07-05 17:16:04]
451*2^702501-1 is not prime.  Res64: 05615B901914F560  Time : 5744.0 sec.
user=vaughan
[2009-07-05 17:19:20]
471*2^702501-1 is not prime.  Res64: 9AA5DC9ADD226FFF  Time : 5560.0 sec.
user=vaughan
[2009-07-05 17:26:16]
487*2^702501-1 is not prime.  Res64: D5123F65104C7729  Time : 5768.0 sec.
user=vaughan
[2009-07-05 17:29:02]
529*2^702501-1 is not prime.  Res64: 6CA230C582C89C55  Time : 5592.0 sec.
user=vaughan
[2009-07-05 17:35:59]
455*2^702502-1 is not prime.  Res64: 15AB124C05089003  Time : 5788.0 sec.
user=vaughan
[2009-07-05 17:38:26]
503*2^702502-1 is not prime.  Res64: 7BCEB83BB56F3008  Time : 5603.0 sec.
user=vaughan
[2009-07-05 17:45:24]
561*2^702502-1 is not prime.  Res64: 02805C5CF85A8BDA  Time : 5777.0 sec.
user=vaughan
[2009-07-05 17:47:47]
525*2^702503-1 is not prime.  Res64: ED6A7197357B8332  Time : 5594.0 sec.
user=vaughan
[2009-07-05 17:54:27]
565*2^702503-1 is not prime.  Res64: B998532AE01E6F00  Time : 5712.0 sec.
user=vaughan
[2009-07-05 17:56:20]
447*2^702504-1 is not prime.  Res64: 9D570423BC27B07C  Time : 5531.0 sec.
user=vaughan
[2009-07-05 18:03:40]
479*2^702504-1 is not prime.  Res64: 4312492C1478D9EE  Time : 5674.0 sec.
user=vaughan
[2009-07-05 18:05:20]
525*2^702504-1 is not prime.  Res64: E4F328BD8B8B78EF  Time : 5505.0 sec.
user=vaughan
[2009-07-05 18:12:39]
549*2^702504-1 is not prime.  Res64: 624509010D9CBCAC  Time : 5644.0 sec.
user=vaughan
[2009-07-05 18:14:28]
557*2^702504-1 is not prime.  Res64: EA03D25147D35213  Time : 5480.0 sec.
user=vaughan
[2009-07-05 18:22:01]
567*2^702504-1 is not prime.  Res64: DC603585A9A38516  Time : 5614.0 sec.
user=vaughan
[2009-07-05 18:23:32]
421*2^702505-1 is not prime.  Res64: CF76F10E24DFEF11  Time : 5451.0 sec.
user=vaughan
[2009-07-05 18:31:37]
429*2^702505-1 is not prime.  Res64: 81FA0D9066401276  Time : 5606.0 sec.
user=vaughan
[2009-07-05 18:33:01]
465*2^702505-1 is not prime.  Res64: 76CDE4A404F82DA7  Time : 5464.0 sec.
user=vaughan
[2009-07-05 18:40:39]
469*2^702505-1 is not prime.  Res64: 290CECEB5ECCB035  Time : 5615.0 sec.
user=vaughan
[2009-07-05 18:41:53]
437*2^702506-1 is not prime.  Res64: 6C22863595C04191  Time : 5496.0 sec.
user=vaughan
[2009-07-05 18:49:02]
453*2^702506-1 is not prime.  Res64: 5056258298A30D29  Time : 5578.0 sec.
user=vaughan
[2009-07-05 18:50:18]
473*2^702506-1 is not prime.  Res64: CE247F4CCCF79795  Time : 5458.0 sec.
user=vaughan
[2009-07-05 18:58:11]
531*2^702506-1 is not prime.  Res64: 7CB1A0BFDFDC69EA  Time : 5515.0 sec.
user=vaughan
[2009-07-05 18:58:52]
433*2^702507-1 is not prime.  Res64: 204918C87A605689  Time : 5390.0 sec.
user=vaughan
[2009-07-05 19:07:36]
451*2^702507-1 is not prime.  Res64: 0957BD80592D112B  Time : 5498.0 sec.
user=vaughan
[2009-07-05 19:07:55]
553*2^702507-1 is not prime.  Res64: E94D1571A02A06E3  Time : 5369.0 sec.
user=vaughan
[2009-07-05 19:16:36]
479*2^702508-1 is not prime.  Res64: F761FC88392BE184  Time : 5329.0 sec.
user=vaughan
[2009-07-05 19:16:40]
429*2^702508-1 is not prime.  Res64: 0753327E855CD6EA  Time : 5476.0 sec.
user=vaughan
[2009-07-05 19:25:26]
597*2^702508-1 is not prime.  Res64: FA3D13C559194FA5  Time : 5346.0 sec.
user=vaughan
[2009-07-05 19:25:45]
497*2^702508-1 is not prime.  Res64: C6EB8FF356A12821  Time : 5478.0 sec.
user=vaughan
[2009-07-05 19:34:47]
411*2^702509-1 is not prime.  Res64: AFC2E607026FF814  Time : 5467.0 sec.
user=vaughan
[2009-07-05 19:34:48]
441*2^702509-1 is not prime.  Res64: 10673468CAB51487  Time : 5368.0 sec.
user=vaughan
[2009-07-05 19:42:44]
465*2^702509-1 is not prime.  Res64: 9CBE9FD31356360B  Time : 5405.0 sec.
user=vaughan
[2009-07-05 19:42:48]
559*2^702509-1 is not prime.  Res64: 1FAD3A20BA107244  Time : 5300.0 sec.
user=vaughan
[2009-07-05 19:50:39]
401*2^702510-1 is not prime.  Res64: 35832E6825CD026C  Time : 5318.0 sec.
user=vaughan
[2009-07-05 19:50:45]
453*2^702510-1 is not prime.  Res64: E653F40D23FF5A7B  Time : 5233.0 sec.
user=vaughan
[2009-07-05 19:59:41]
471*2^702510-1 is not prime.  Res64: 84BC7A4AEA916593  Time : 5284.0 sec.
user=vaughan
[2009-07-05 19:59:48]
537*2^702510-1 is not prime.  Res64: B6961DFCA2B5D387  Time : 5207.0 sec.
user=vaughan
[2009-07-05 20:08:28]
415*2^702511-1 is not prime.  Res64: 9DEAAC7F50862E8B  Time : 5195.0 sec.
user=vaughan
[2009-07-05 20:08:30]
405*2^702511-1 is not prime.  Res64: 944A30AD6764B92E  Time : 5272.0 sec.
user=vaughan
[2009-07-05 20:17:07]
429*2^702511-1 is not prime.  Res64: 070CE2730CFC1DEE  Time : 5210.0 sec.
user=vaughan
[2009-07-05 20:17:13]
421*2^702511-1 is not prime.  Res64: 03DE956B73A81C57  Time : 5291.0 sec.
user=vaughan
[2009-07-05 20:26:21]
511*2^702511-1 is not prime.  Res64: 5CF3DECF029EE094  Time : 5249.0 sec.
user=vaughan
[2009-07-05 20:26:31]
463*2^702511-1 is not prime.  Res64: 4901323C23CEA316  Time : 5300.0 sec.
user=vaughan
[2009-07-05 20:34:57]
561*2^702511-1 is not prime.  Res64: 512D0F9B1776DD81  Time : 5222.0 sec.
user=vaughan
[2009-07-05 20:35:32]
535*2^702511-1 is not prime.  Res64: 66E015EA1E7735C8  Time : 5276.0 sec.
user=vaughan
[2009-07-05 20:43:00]
519*2^702512-1 is not prime.  Res64: 5B071DC2890AD0BA  Time : 5184.0 sec.
user=vaughan
[2009-07-05 20:43:48]
481*2^702513-1 is not prime.  Res64: 7D142FBCF2CE6EE0  Time : 5228.0 sec.
user=vaughan
[2009-07-05 20:52:02]
555*2^702513-1 is not prime.  Res64: 245ED098D5016B0F  Time : 5196.0 sec.
user=vaughan
[2009-07-05 20:52:47]
437*2^702514-1 is not prime.  Res64: CCDA0953E121EDAC  Time : 5222.0 sec.
user=vaughan
[2009-07-05 21:01:03]
551*2^702514-1 is not prime.  Res64: E34E9D029BB05190  Time : 5176.0 sec.
user=vaughan
[2009-07-05 21:02:03]
477*2^702514-1 is not prime.  Res64: CC533A58D2ED65B6  Time : 5236.0 sec.
user=vaughan
[2009-07-05 21:10:12]
411*2^702515-1 is not prime.  Res64: 044E3E8DA7F648D8  Time : 5244.0 sec.
user=vaughan
[2009-07-05 21:11:40]
575*2^702514-1 is not prime.  Res64: C8D6DD036453BB66  Time : 5337.0 sec.
user=vaughan
[2009-07-05 21:19:22]
453*2^702516-1 is not prime.  Res64: F3D1640A304D77DC  Time : 5317.0 sec.
user=vaughan
[2009-07-05 21:20:31]
459*2^702515-1 is not prime.  Res64: 2C3A8D2FDE0A92A8  Time : 5392.0 sec.
user=vaughan
[2009-07-05 21:28:17]
465*2^702516-1 is not prime.  Res64: FF25E591DF121A73  Time : 5309.0 sec.
user=vaughan
[2009-07-05 21:29:33]
455*2^702516-1 is not prime.  Res64: 62D48C9E5855F820  Time : 5392.0 sec.
user=vaughan
[2009-07-05 21:37:39]
597*2^702516-1 is not prime.  Res64: D2FC837F655A7408  Time : 5352.0 sec.
user=vaughan
[2009-07-05 21:39:10]
405*2^702517-1 is not prime.  Res64: 473E2B92D042AF5B  Time : 5441.0 sec.
user=vaughan
[2009-07-05 21:46:27]
471*2^702517-1 is not prime.  Res64: 4338A1548E51D88B  Time : 5360.0 sec.
user=vaughan
[2009-07-05 21:47:49]
531*2^702517-1 is not prime.  Res64: EC1CEF811BF2AFAF  Time : 5436.0 sec.
user=vaughan
[2009-07-05 21:55:30]
537*2^702517-1 is not prime.  Res64: 37B7D31006D628C8  Time : 5349.0 sec.
user=vaughan
[2009-07-05 21:57:00]
549*2^702517-1 is not prime.  Res64: DA9FE7B66D45F7B2  Time : 5429.0 sec.
user=vaughan
[2009-07-05 22:04:06]
561*2^702517-1 is not prime.  Res64: DC61C503695ACDC4  Time : 5350.0 sec.
user=vaughan
[2009-07-05 22:05:32]
431*2^702518-1 is not prime.  Res64: 94C8CCBE02F62C01  Time : 5400.0 sec.
user=vaughan
[2009-07-05 22:12:15]
411*2^702519-1 is not prime.  Res64: 833B1441E3B9AE99  Time : 5355.0 sec.
user=vaughan
[2009-07-05 22:13:51]
469*2^702519-1 is not prime.  Res64: 6D9E368E8D36108E  Time : 5404.0 sec.
user=vaughan
[2009-07-05 22:21:20]
501*2^702519-1 is not prime.  Res64: CB809F8177A3EA28  Time : 5359.0 sec.
user=vaughan
[2009-07-05 22:23:07]
511*2^702519-1 is not prime.  Res64: 857B1FDB76C0D22C  Time : 5420.0 sec.
user=vaughan
[2009-07-05 22:30:01]
595*2^702519-1 is not prime.  Res64: 67ED901D9DBDE118  Time : 5338.0 sec.
user=vaughan
[2009-07-05 22:31:59]
429*2^702520-1 is not prime.  Res64: 59D98F997A44CB27  Time : 5396.0 sec.
user=vaughan
[2009-07-05 22:38:54]
495*2^702520-1 is not prime.  Res64: 4B614176B7BC6873  Time : 5322.0 sec.
user=vaughan
[2009-07-05 22:40:40]
533*2^702520-1 is not prime.  Res64: 8CBC6D11634693BD  Time : 5340.0 sec.
user=vaughan
[2009-07-05 22:47:46]
567*2^702520-1 is not prime.  Res64: 33C95FB1D16442ED  Time : 5305.0 sec.
user=vaughan
[2009-07-05 22:49:39]
517*2^702521-1 is not prime.  Res64: AA785FA883D9EF22  Time : 5348.0 sec.
user=vaughan
[2009-07-05 22:56:47]
559*2^702521-1 is not prime.  Res64: 5042D194DBABB0E7  Time : 5310.0 sec.
user=vaughan
[2009-07-05 22:58:50]
579*2^702521-1 is not prime.  Res64: 920B4DAB86161F53  Time : 5357.0 sec.
user=vaughan
[2009-07-05 23:05:53]
401*2^702522-1 is not prime.  Res64: FEAC687EA08E3DEB  Time : 5295.0 sec.
user=vaughan
[2009-07-05 23:07:58]
417*2^702522-1 is not prime.  Res64: 411822A0A0331D09  Time : 5328.0 sec.
user=vaughan
[2009-07-05 23:14:42]
447*2^702522-1 is not prime.  Res64: 74B3044D7C64270F  Time : 5295.0 sec.
user=vaughan
[2009-07-05 23:17:05]
587*2^702522-1 is not prime.  Res64: 751A563F4FC3D2CD  Time : 5356.0 sec.
user=vaughan
[2009-07-05 23:22:40]
415*2^702523-1 is not prime.  Res64: 847F5CFB8B66F679  Time : 5231.0 sec.
user=vaughan
[2009-07-05 23:25:12]
463*2^702523-1 is not prime.  Res64: 28475E68411D03A5  Time : 5292.0 sec.
user=vaughan
[2009-07-05 23:31:01]
495*2^702523-1 is not prime.  Res64: 074445BDDBE9E814  Time : 5216.0 sec.
user=vaughan
[2009-07-05 23:33:38]
549*2^702523-1 is not prime.  Res64: 8C57A35BE136358D  Time : 5287.0 sec.
user=vaughan
[2009-07-05 23:39:36]
589*2^702523-1 is not prime.  Res64: 8539745DB6BF76C1  Time : 5241.0 sec.
user=vaughan
[2009-07-05 23:42:42]
413*2^702524-1 is not prime.  Res64: D27A9FFD4004A589  Time : 5331.0 sec.
user=vaughan
[2009-07-05 23:48:36]
417*2^702524-1 is not prime.  Res64: A97F6E38D979837F  Time : 5236.0 sec.
user=vaughan
[2009-07-05 23:51:44]
459*2^702524-1 is not prime.  Res64: 3DF0A65EC6FBE29F  Time : 5317.0 sec.
user=vaughan
[2009-07-05 23:56:39]
477*2^702524-1 is not prime.  Res64: 389074ACABA1CB8A  Time : 5198.0 sec.