user=vaughan
[2009-05-26 00:00:37]
507*2^689276-1 is not prime.  Res64: 45007DAA55D3AD0C  Time : 444.0 sec.
user=vaughan
[2009-05-26 00:00:59]
473*2^689270-1 is not prime.  Res64: 99572A8BEEC52EE2  Time : 2394.0 sec.
user=vaughan
[2009-05-26 00:03:11]
521*2^689274-1 is not prime.  Res64: 70372B63C9F30737  Time : 713.0 sec.
user=vaughan
[2009-05-26 00:04:58]
525*2^689276-1 is not prime.  Res64: 4FDF13B0F43D4279  Time : 450.0 sec.
user=vaughan
[2009-05-26 00:08:02]
585*2^689276-1 is not prime.  Res64: 1C3B585148D2B856  Time : 446.0 sec.
user=vaughan
[2009-05-26 00:12:27]
529*2^689277-1 is not prime.  Res64: 503EE642B9964EA8  Time : 449.0 sec.
user=vaughan
[2009-05-26 00:14:09]
593*2^689274-1 is not prime.  Res64: 0D58EAB1442E3BEF  Time : 1352.0 sec.
user=vaughan
[2009-05-26 00:14:46]
405*2^689277-1 is not prime.  Res64: 96FBF46F719BBED1  Time : 696.0 sec.
user=vaughan
[2009-05-26 00:15:27]
531*2^689277-1 is not prime.  Res64: 0E08730C1A86ED5D  Time : 446.0 sec.
user=vaughan
[2009-05-26 00:18:43]
519*2^689276-1 is not prime.  Res64: E00E0A2A90527887  Time : 1384.0 sec.
user=vaughan
[2009-05-26 00:19:56]
471*2^689278-1 is not prime.  Res64: 4E5DEEC633958A98  Time : 449.0 sec.
user=SazanEyes
[2009-05-26 00:20:23]
579*2^689252-1 is not prime.  Res64: 0AF578AE9EDA2487  Time : 8673.0 sec.
user=SazanEyes
[2009-05-26 00:20:50]
409*2^689253-1 is not prime.  Res64: 1FE87C8E77411BE5  Time : 8667.0 sec.
user=vaughan
[2009-05-26 00:22:52]
561*2^689278-1 is not prime.  Res64: D3CE752571B4D6E6  Time : 446.0 sec.
user=vaughan
[2009-05-26 00:26:31]
551*2^689278-1 is not prime.  Res64: 575116069EF726C7  Time : 706.0 sec.
user=vaughan
[2009-05-26 00:27:03]
503*2^689274-1 is not prime.  Res64: 99138347249359CA  Time : 2373.0 sec.
user=vaughan
[2009-05-26 00:27:26]
423*2^689279-1 is not prime.  Res64: D25C4274EC9CD04C  Time : 450.0 sec.
user=vaughan
[2009-05-26 00:30:16]
565*2^689279-1 is not prime.  Res64: 1A0D2A0AF53FFD89  Time : 444.0 sec.
user=vaughan
[2009-05-26 00:34:55]
473*2^689280-1 is not prime.  Res64: 943B148A98725279  Time : 450.0 sec.
user=vaughan
[2009-05-26 00:36:58]
483*2^689278-1 is not prime.  Res64: 8DA8209E8BC4D537  Time : 1369.0 sec.
user=vaughan
[2009-05-26 00:37:41]
549*2^689280-1 is not prime.  Res64: 82E6871EAA483C6C  Time : 445.0 sec.
user=vaughan
[2009-05-26 00:38:02]
405*2^689280-1 is not prime.  Res64: F5D9275A61AC4809  Time : 691.0 sec.
user=vaughan
[2009-05-26 00:40:56]
587*2^689276-1 is not prime.  Res64: 6DBB913625554EBD  Time : 2397.0 sec.
user=vaughan
[2009-05-26 00:42:22]
411*2^689279-1 is not prime.  Res64: 3070908E5375A07B  Time : 1419.0 sec.
user=vaughan
[2009-05-26 00:42:24]
415*2^689281-1 is not prime.  Res64: 9075294703D6729F  Time : 449.0 sec.
user=vaughan
[2009-05-26 00:45:06]
549*2^689281-1 is not prime.  Res64: 777EF11109345CB7  Time : 445.0 sec.
user=SazanEyes
[2009-05-26 00:49:19]
415*2^689259-1 is not prime.  Res64: FCEB79B0D4CB70A7  Time : 8681.0 sec.
user=vaughan
[2009-05-26 00:49:46]
597*2^689281-1 is not prime.  Res64: 38405C4AC67F6BD4  Time : 704.0 sec.
user=vaughan
[2009-05-26 00:49:52]
501*2^689283-1 is not prime.  Res64: FA6D7B0ACA0C9560  Time : 448.0 sec.
user=SazanEyes
[2009-05-26 00:50:14]
459*2^689259-1 is not prime.  Res64: D3034EC3A187D8D6  Time : 8714.0 sec.
user=vaughan
[2009-05-26 00:52:31]
543*2^689283-1 is not prime.  Res64: F324B1D85C488F05  Time : 445.0 sec.
user=vaughan
[2009-05-26 00:57:21]
413*2^689284-1 is not prime.  Res64: 70554DB3A686ADA8  Time : 449.0 sec.
user=vaughan
[2009-05-26 00:59:36]
495*2^689281-1 is not prime.  Res64: 2626798EAA343C9B  Time : 1359.0 sec.
user=vaughan
[2009-05-26 00:59:56]
485*2^689284-1 is not prime.  Res64: CE88390302290AEF  Time : 445.0 sec.
user=vaughan
[2009-05-26 01:01:25]
591*2^689283-1 is not prime.  Res64: A0CEA33DE93F3F44  Time : 699.0 sec.
user=vaughan
[2009-05-26 01:04:51]
513*2^689284-1 is not prime.  Res64: 2C2D753E29B0B261  Time : 450.0 sec.
user=vaughan
[2009-05-26 01:05:31]
415*2^689283-1 is not prime.  Res64: FB3CF662BBC4E250  Time : 1390.0 sec.
user=vaughan
[2009-05-26 01:06:46]
447*2^689280-1 is not prime.  Res64: 161DECF63DC2BF0F  Time : 2383.0 sec.
user=vaughan
[2009-05-26 01:07:19]
575*2^689284-1 is not prime.  Res64: 91136E1381CBDCB9  Time : 443.0 sec.
user=vaughan
[2009-05-26 01:12:22]
447*2^689285-1 is not prime.  Res64: 7E4A272F293FC5B2  Time : 451.0 sec.
user=vaughan
[2009-05-26 01:13:41]
441*2^689285-1 is not prime.  Res64: 319DDCFFA5E62EA6  Time : 737.0 sec.
user=vaughan
[2009-05-26 01:14:43]
561*2^689285-1 is not prime.  Res64: 39A16EADDE80E163  Time : 445.0 sec.
user=SazanEyes
[2009-05-26 01:18:10]
507*2^689264-1 is not prime.  Res64: 404E386CFDFD4594  Time : 8707.0 sec.
user=SazanEyes
[2009-05-26 01:18:13]
539*2^689264-1 is not prime.  Res64: E183A5EDBCDA4614  Time : 8672.0 sec.
user=vaughan
[2009-05-26 01:19:50]
413*2^689286-1 is not prime.  Res64: 5DFF74CC8D8BBCF7  Time : 449.0 sec.
user=vaughan
[2009-05-26 01:21:27]
483*2^689282-1 is not prime.  Res64: 35EA5242599DFE4E  Time : 2431.0 sec.
user=vaughan
[2009-05-26 01:22:08]
557*2^689286-1 is not prime.  Res64: 06479056C2E29303  Time : 446.0 sec.
user=vaughan
[2009-05-26 01:22:18]
533*2^689284-1 is not prime.  Res64: 57DE5BDE7A1C5C25  Time : 1362.0 sec.
user=vaughan
[2009-05-26 01:25:41]
437*2^689286-1 is not prime.  Res64: 556B17F0CE1E980C  Time : 721.0 sec.
user=vaughan
[2009-05-26 01:27:19]
405*2^689287-1 is not prime.  Res64: FE1EBD409BF6497B  Time : 449.0 sec.
user=vaughan
[2009-05-26 01:29:08]
537*2^689285-1 is not prime.  Res64: 16F6085DB26A4CD1  Time : 1417.0 sec.
user=vaughan
[2009-05-26 01:29:33]
429*2^689287-1 is not prime.  Res64: 76A897C3E69FF2A9  Time : 445.0 sec.
user=vaughan
[2009-05-26 01:34:51]
541*2^689287-1 is not prime.  Res64: 057E512D5371DBE3  Time : 452.0 sec.
user=vaughan
[2009-05-26 01:36:59]
555*2^689287-1 is not prime.  Res64: 276D3998FE49BA00  Time : 446.0 sec.
user=vaughan
[2009-05-26 01:37:28]
523*2^689287-1 is not prime.  Res64: 12B48C697A4E2C0E  Time : 708.0 sec.
user=vaughan
[2009-05-26 01:42:22]
595*2^689287-1 is not prime.  Res64: 33DFD4754AC81F28  Time : 451.0 sec.
user=vaughan
[2009-05-26 01:44:24]
405*2^689288-1 is not prime.  Res64: ECD93A63FD56EC9E  Time : 446.0 sec.
user=vaughan
[2009-05-26 01:45:00]
433*2^689287-1 is not prime.  Res64: 1219C2D3140B8D86  Time : 1362.0 sec.
user=vaughan
[2009-05-26 01:46:45]
547*2^689285-1 is not prime.  Res64: F1D6C833D5C57D84  Time : 2399.0 sec.
user=SazanEyes
[2009-05-26 01:47:09]
453*2^689271-1 is not prime.  Res64: 375BF292640E9B19  Time : 8677.0 sec.
user=SazanEyes
[2009-05-26 01:47:30]
483*2^689270-1 is not prime.  Res64: B431832F50188BB2  Time : 8709.0 sec.
user=vaughan
[2009-05-26 01:49:28]
509*2^689288-1 is not prime.  Res64: A19D63B192E37661  Time : 720.0 sec.
user=vaughan
[2009-05-26 01:49:51]
465*2^689289-1 is not prime.  Res64: 8EA0C3101DDB78B4  Time : 449.0 sec.
user=vaughan
[2009-05-26 01:51:49]
471*2^689289-1 is not prime.  Res64: 2B5D7A7BA1E71666  Time : 446.0 sec.
user=vaughan
[2009-05-26 01:52:19]
553*2^689287-1 is not prime.  Res64: 4C9554926D1D1266  Time : 1391.0 sec.
user=vaughan
[2009-05-26 01:57:20]
475*2^689291-1 is not prime.  Res64: CC8C6C6498455D66  Time : 449.0 sec.
user=vaughan
[2009-05-26 01:59:13]
489*2^689291-1 is not prime.  Res64: AC438864961801ED  Time : 444.0 sec.
user=vaughan
[2009-05-26 02:01:30]
433*2^689291-1 is not prime.  Res64: A03EE67FBAAD7A2F  Time : 722.0 sec.
user=vaughan
[2009-05-26 02:01:43]
421*2^689287-1 is not prime.  Res64: 9E89BDE5FFB00BA0  Time : 2416.0 sec.
user=vaughan
[2009-05-26 02:04:53]
455*2^689292-1 is not prime.  Res64: E217D04050EAF59E  Time : 453.0 sec.
user=vaughan
[2009-05-26 02:06:39]
545*2^689294-1 is not prime.  Res64: 53C3FB8D147BC849  Time : 446.0 sec.
user=vaughan
[2009-05-26 02:07:41]
443*2^689290-1 is not prime.  Res64: 16CB07890C72F34B  Time : 1361.0 sec.
user=vaughan
[2009-05-26 02:12:25]
415*2^689295-1 is not prime.  Res64: 9E89CF1D6ED1EC76  Time : 452.0 sec.
user=vaughan
[2009-05-26 02:13:22]
567*2^689294-1 is not prime.  Res64: D548A7B2F90D9953  Time : 712.0 sec.
user=vaughan
[2009-05-26 02:14:01]
453*2^689295-1 is not prime.  Res64: 887EC43F97C5E90B  Time : 443.0 sec.
user=SazanEyes
[2009-05-26 02:16:05]
587*2^689274-1 is not prime.  Res64: 14E161C62D1AD338  Time : 8674.0 sec.
user=vaughan
[2009-05-26 02:16:06]
519*2^689291-1 is not prime.  Res64: FF2DFCC8F3E636CE  Time : 1427.0 sec.
user=SazanEyes
[2009-05-26 02:16:44]
471*2^689275-1 is not prime.  Res64: 6B848C6FA0912CB1  Time : 8705.0 sec.
user=vaughan
[2009-05-26 02:19:56]
523*2^689295-1 is not prime.  Res64: EEAA1E83FA835217  Time : 452.0 sec.
user=vaughan
[2009-05-26 02:21:23]
429*2^689296-1 is not prime.  Res64: BAC025BEB9E04732  Time : 443.0 sec.
user=vaughan
[2009-05-26 02:24:55]
553*2^689295-1 is not prime.  Res64: 602C44F229F973F8  Time : 693.0 sec.
user=vaughan
[2009-05-26 02:27:12]
513*2^689290-1 is not prime.  Res64: 6FB5C598FC8C818A  Time : 2427.0 sec.
user=vaughan
[2009-05-26 02:27:28]
597*2^689296-1 is not prime.  Res64: 2AF511B863DA9D5D  Time : 453.0 sec.
user=vaughan
[2009-05-26 02:28:45]
441*2^689297-1 is not prime.  Res64: DB2C7E28EC096814  Time : 443.0 sec.
user=vaughan
[2009-05-26 02:30:07]
511*2^689295-1 is not prime.  Res64: 753B6092B956BB30  Time : 1346.0 sec.
user=vaughan
[2009-05-26 02:35:00]
437*2^689298-1 is not prime.  Res64: 7008A38C4587074A  Time : 452.0 sec.
user=vaughan
[2009-05-26 02:36:10]
567*2^689298-1 is not prime.  Res64: A9E26E9EE14482F7  Time : 445.0 sec.
user=vaughan
[2009-05-26 02:37:11]
445*2^689297-1 is not prime.  Res64: EB318511BB6D787B  Time : 736.0 sec.
user=vaughan
[2009-05-26 02:38:26]
495*2^689296-1 is not prime.  Res64: 14932158040FCE8A  Time : 1340.0 sec.
user=vaughan
[2009-05-26 02:42:23]
593*2^689294-1 is not prime.  Res64: 7C87E2B57077C384  Time : 2441.0 sec.
user=vaughan
[2009-05-26 02:42:32]
421*2^689299-1 is not prime.  Res64: AE11F47A44F52395  Time : 452.0 sec.
user=vaughan
[2009-05-26 02:43:33]
465*2^689299-1 is not prime.  Res64: 5A3CF22AB0B091F2  Time : 443.0 sec.
user=SazanEyes
[2009-05-26 02:45:09]
441*2^689279-1 is not prime.  Res64: F0BEE5AD45357FA2  Time : 8686.0 sec.
user=SazanEyes
[2009-05-26 02:45:55]
525*2^689279-1 is not prime.  Res64: 1B21CC2F369792CF  Time : 8705.0 sec.
user=vaughan
[2009-05-26 02:49:54]
425*2^689300-1 is not prime.  Res64: 4E40B980CE028CAF  Time : 763.0 sec.
user=vaughan
[2009-05-26 02:50:03]
519*2^689300-1 is not prime.  Res64: 99B4E917D4A9191B  Time : 452.0 sec.
user=vaughan
[2009-05-26 02:50:55]
579*2^689300-1 is not prime.  Res64: 6E0905C0B75291C1  Time : 443.0 sec.
user=vaughan
[2009-05-26 02:52:42]
415*2^689299-1 is not prime.  Res64: 1CC667648D7EABD4  Time : 1355.0 sec.
user=vaughan
[2009-05-26 02:57:34]
499*2^689301-1 is not prime.  Res64: 502DE7421599D805  Time : 451.0 sec.
user=vaughan
[2009-05-26 02:58:17]
413*2^689302-1 is not prime.  Res64: 5D3714385AF10649  Time : 443.0 sec.
user=vaughan
[2009-05-26 03:02:05]
449*2^689300-1 is not prime.  Res64: 88CB721979D9331E  Time : 1419.0 sec.
user=vaughan
[2009-05-26 03:02:22]
475*2^689301-1 is not prime.  Res64: 7288ACDDBCAAA5C8  Time : 748.0 sec.
user=vaughan
[2009-05-26 03:05:03]
591*2^689302-1 is not prime.  Res64: 5CBE9D6A9B0EB880  Time : 449.0 sec.
user=vaughan
[2009-05-26 03:05:41]
433*2^689303-1 is not prime.  Res64: BB267E4E93D760E3  Time : 444.0 sec.
user=vaughan
[2009-05-26 03:06:38]
549*2^689297-1 is not prime.  Res64: 0FF83EC4167EF4B7  Time : 2366.0 sec.
user=vaughan
[2009-05-26 03:12:31]
505*2^689303-1 is not prime.  Res64: AFCE00C8FC2F88A7  Time : 448.0 sec.
user=vaughan
[2009-05-26 03:13:05]
591*2^689303-1 is not prime.  Res64: 8B9E30847E9AAF67  Time : 444.0 sec.
user=vaughan
[2009-05-26 03:14:02]
453*2^689303-1 is not prime.  Res64: F577973C5259FF41  Time : 700.0 sec.
user=SazanEyes
[2009-05-26 03:14:12]
571*2^689283-1 is not prime.  Res64: C1D168007D83DE65  Time : 8694.0 sec.
user=vaughan
[2009-05-26 03:15:15]
525*2^689302-1 is not prime.  Res64: 7D8B8068B239DCA9  Time : 1354.0 sec.
user=SazanEyes
[2009-05-26 03:15:15]
483*2^689284-1 is not prime.  Res64: 7CC19A2B67CB7891  Time : 8701.0 sec.
user=vaughan
[2009-05-26 03:19:59]
489*2^689304-1 is not prime.  Res64: 4182FB878AA554C2  Time : 448.0 sec.
user=vaughan
[2009-05-26 03:20:29]
527*2^689304-1 is not prime.  Res64: 8F766365802048C3  Time : 444.0 sec.
user=vaughan
[2009-05-26 03:21:17]
467*2^689300-1 is not prime.  Res64: 0B76CAF17BDEB3B8  Time : 2334.0 sec.
user=vaughan
[2009-05-26 03:24:39]
445*2^689303-1 is not prime.  Res64: 110CD84B294F43DF  Time : 1354.0 sec.
user=vaughan
[2009-05-26 03:26:36]
543*2^689304-1 is not prime.  Res64: A63B1CE3703D0FBE  Time : 754.0 sec.
user=vaughan
[2009-05-26 03:27:27]
427*2^689305-1 is not prime.  Res64: 498AA97C123262F3  Time : 448.0 sec.
user=vaughan
[2009-05-26 03:27:53]
457*2^689305-1 is not prime.  Res64: 436135F789F971E3  Time : 444.0 sec.
user=vaughan
[2009-05-26 03:34:58]
495*2^689306-1 is not prime.  Res64: 9F26CD527B3EB557  Time : 451.0 sec.
user=vaughan
[2009-05-26 03:35:19]
561*2^689306-1 is not prime.  Res64: 6D3B9ECDFF5AC6C3  Time : 446.0 sec.
user=vaughan
[2009-05-26 03:37:56]
597*2^689304-1 is not prime.  Res64: 4786BDD47CD1A2B5  Time : 1362.0 sec.
user=vaughan
[2009-05-26 03:38:17]
477*2^689306-1 is not prime.  Res64: 4A86FCD24AB6E72C  Time : 701.0 sec.
user=SazanEyes
[2009-05-26 03:42:06]
587*2^689286-1 is not prime.  Res64: 781C3E328935E14C  Time : 8633.0 sec.
user=vaughan
[2009-05-26 03:42:27]
593*2^689306-1 is not prime.  Res64: C3E14E7EEB784EFB  Time : 449.0 sec.
user=vaughan
[2009-05-26 03:42:44]
405*2^689307-1 is not prime.  Res64: A5F7111CA92DA253  Time : 446.0 sec.
user=SazanEyes
[2009-05-26 03:44:42]
585*2^689286-1 is not prime.  Res64: 986B5825BBB98C04  Time : 8792.0 sec.
user=vaughan
[2009-05-26 03:46:12]
595*2^689303-1 is not prime.  Res64: DC6290C7F41B20E4  Time : 2374.0 sec.
user=vaughan
[2009-05-26 03:48:37]
567*2^689305-1 is not prime.  Res64: 8F67D8527C00DF80  Time : 1438.0 sec.
user=vaughan
[2009-05-26 03:49:49]
451*2^689307-1 is not prime.  Res64: 63F774544BF0909A  Time : 692.0 sec.
user=vaughan
[2009-05-26 03:49:56]
513*2^689307-1 is not prime.  Res64: AD4E9449A5E3CE09  Time : 450.0 sec.
user=vaughan
[2009-05-26 03:50:08]
579*2^689307-1 is not prime.  Res64: 1E520DA0F019E9C3  Time : 445.0 sec.
user=vaughan
[2009-05-26 03:57:28]
451*2^689309-1 is not prime.  Res64: DA972B5E43853E9B  Time : 453.0 sec.
user=vaughan
[2009-05-26 03:57:30]
465*2^689309-1 is not prime.  Res64: B2D5CAE853D4FCBA  Time : 442.0 sec.
user=vaughan
[2009-05-26 04:00:20]
441*2^689307-1 is not prime.  Res64: 929688B5B042BD75  Time : 1344.0 sec.
user=vaughan
[2009-05-26 04:00:49]
535*2^689305-1 is not prime.  Res64: 75D51271B05EEB51  Time : 2372.0 sec.
user=vaughan
[2009-05-26 04:01:37]
533*2^689308-1 is not prime.  Res64: C9B04E23A7C6EAE8  Time : 708.0 sec.
user=vaughan
[2009-05-26 04:04:52]
577*2^689309-1 is not prime.  Res64: 96A75A72C28666B2  Time : 442.0 sec.
user=vaughan
[2009-05-26 04:05:00]
517*2^689309-1 is not prime.  Res64: D8117DCCBBACED96  Time : 453.0 sec.
user=vaughan
[2009-05-26 04:10:49]
435*2^689308-1 is not prime.  Res64: 08D7164AC6D8F810  Time : 1332.0 sec.
user=SazanEyes
[2009-05-26 04:11:08]
525*2^689290-1 is not prime.  Res64: 10A2CBEE3425EF78  Time : 8639.0 sec.
user=vaughan
[2009-05-26 04:12:15]
501*2^689310-1 is not prime.  Res64: C25B7F9CF87DAC02  Time : 443.0 sec.
user=vaughan
[2009-05-26 04:12:30]
525*2^689310-1 is not prime.  Res64: CA1F22CB647D1479  Time : 450.0 sec.
user=vaughan
[2009-05-26 04:13:12]
465*2^689310-1 is not prime.  Res64: D04B309E6C049987  Time : 695.0 sec.
user=SazanEyes
[2009-05-26 04:14:04]
575*2^689290-1 is not prime.  Res64: 1179D034C099184A  Time : 8794.0 sec.
user=vaughan
[2009-05-26 04:19:40]
463*2^689311-1 is not prime.  Res64: CB841B17B1F5F6C8  Time : 445.0 sec.
user=vaughan
[2009-05-26 04:19:59]
465*2^689311-1 is not prime.  Res64: 2F8477301C647965  Time : 449.0 sec.
user=vaughan
[2009-05-26 04:22:51]
453*2^689310-1 is not prime.  Res64: FEEA9A79F1DF2199  Time : 1351.0 sec.
user=vaughan
[2009-05-26 04:25:04]
511*2^689311-1 is not prime.  Res64: 30D7B0789725DAA7  Time : 712.0 sec.
user=vaughan
[2009-05-26 04:26:34]
405*2^689308-1 is not prime.  Res64: B8B5CC985A85EC08  Time : 2422.0 sec.
user=vaughan
[2009-05-26 04:27:02]
525*2^689312-1 is not prime.  Res64: 2358979820851E4A  Time : 443.0 sec.
user=vaughan
[2009-05-26 04:27:32]
539*2^689312-1 is not prime.  Res64: C12C37E885C891AA  Time : 453.0 sec.
user=vaughan
[2009-05-26 04:34:23]
537*2^689310-1 is not prime.  Res64: 5EC80D3009EE74CA  Time : 1414.0 sec.
user=vaughan
[2009-05-26 04:34:25]
471*2^689313-1 is not prime.  Res64: B0AAB88B85E9C755  Time : 444.0 sec.
user=vaughan
[2009-05-26 04:35:02]
517*2^689313-1 is not prime.  Res64: 931810BEE1C24963  Time : 451.0 sec.
user=vaughan
[2009-05-26 04:37:21]
445*2^689313-1 is not prime.  Res64: 8AD3E93CE7FFD056  Time : 737.0 sec.
user=SazanEyes
[2009-05-26 04:39:06]
455*2^689296-1 is not prime.  Res64: B75519209B2D396E  Time : 8582.0 sec.
user=vaughan
[2009-05-26 04:41:12]
461*2^689310-1 is not prime.  Res64: 241B83D451421920  Time : 2423.0 sec.
user=vaughan
[2009-05-26 04:41:49]
527*2^689314-1 is not prime.  Res64: 55F601A5650CA821  Time : 444.0 sec.
user=vaughan
[2009-05-26 04:42:31]
587*2^689314-1 is not prime.  Res64: 8CF6FFFFD101E833  Time : 450.0 sec.
user=SazanEyes
[2009-05-26 04:43:41]
537*2^689296-1 is not prime.  Res64: B7E21DA2D964F4C7  Time : 8817.0 sec.
user=vaughan
[2009-05-26 04:45:13]
409*2^689313-1 is not prime.  Res64: 7C9F5B2DE667B083  Time : 1342.0 sec.
user=vaughan
[2009-05-26 04:49:11]
453*2^689316-1 is not prime.  Res64: 86935F2C51742320  Time : 442.0 sec.
user=vaughan
[2009-05-26 04:49:40]
465*2^689315-1 is not prime.  Res64: 033FCA65184C72BC  Time : 739.0 sec.
user=vaughan
[2009-05-26 04:50:02]
465*2^689316-1 is not prime.  Res64: FD3DAD1D4D045470  Time : 451.0 sec.
user=vaughan
[2009-05-26 04:56:32]
597*2^689316-1 is not prime.  Res64: 7E7259ACB6205C1F  Time : 441.0 sec.
user=vaughan
[2009-05-26 04:56:45]
453*2^689314-1 is not prime.  Res64: E9A750BDE4D2BA0E  Time : 1342.0 sec.
user=vaughan
[2009-05-26 04:57:34]
451*2^689317-1 is not prime.  Res64: BB23369749EAA029  Time : 452.0 sec.
user=vaughan
[2009-05-26 05:01:55]
427*2^689317-1 is not prime.  Res64: 223C4DC9BB9C0452  Time : 736.0 sec.
user=vaughan
[2009-05-26 05:03:55]
499*2^689317-1 is not prime.  Res64: 4437DC34A2E9585B  Time : 443.0 sec.
user=vaughan
[2009-05-26 05:05:04]
595*2^689317-1 is not prime.  Res64: A60DAF3318224287  Time : 450.0 sec.
user=vaughan
[2009-05-26 05:06:18]
459*2^689313-1 is not prime.  Res64: F694E9A0B3205E3E  Time : 2384.0 sec.
user=vaughan
[2009-05-26 05:07:53]
537*2^689316-1 is not prime.  Res64: 51EDEEC6424AED2F  Time : 1360.0 sec.
user=SazanEyes
[2009-05-26 05:08:11]
447*2^689301-1 is not prime.  Res64: 0C6BE857B4220F35  Time : 8582.0 sec.
user=vaughan
[2009-05-26 05:11:19]
467*2^689318-1 is not prime.  Res64: 9DE686428E7772BF  Time : 444.0 sec.
user=vaughan
[2009-05-26 05:12:32]
507*2^689318-1 is not prime.  Res64: 3CB2037477CAD69D  Time : 449.0 sec.
user=SazanEyes
[2009-05-26 05:13:03]
459*2^689301-1 is not prime.  Res64: DA764508D93D24FA  Time : 8828.0 sec.
user=vaughan
[2009-05-26 05:14:42]
423*2^689318-1 is not prime.  Res64: 70F6D41B1B1028D8  Time : 768.0 sec.
user=vaughan
[2009-05-26 05:18:43]
423*2^689319-1 is not prime.  Res64: FC81E71A6231CEF6  Time : 444.0 sec.
user=vaughan
[2009-05-26 05:20:01]
555*2^689319-1 is not prime.  Res64: B75398D38390A5F2  Time : 450.0 sec.
user=vaughan
[2009-05-26 05:20:40]
505*2^689317-1 is not prime.  Res64: 224F51F960800509  Time : 1436.0 sec.
user=vaughan
[2009-05-26 05:21:03]
437*2^689316-1 is not prime.  Res64: D57A2C75D294F5F8  Time : 2391.0 sec.
user=vaughan
[2009-05-26 05:26:06]
489*2^689320-1 is not prime.  Res64: 6DC6FCA4F91CB3AD  Time : 443.0 sec.
user=vaughan
[2009-05-26 05:26:59]
405*2^689320-1 is not prime.  Res64: 72A8F5C3D62181EB  Time : 737.0 sec.
user=vaughan
[2009-05-26 05:27:32]
563*2^689320-1 is not prime.  Res64: 885873609E8E3BD4  Time : 451.0 sec.
user=vaughan
[2009-05-26 05:30:15]
545*2^689318-1 is not prime.  Res64: 82AEE5451C7C40E6  Time : 1342.0 sec.
user=vaughan
[2009-05-26 05:33:28]
517*2^689321-1 is not prime.  Res64: BA8BAE1EF98D9990  Time : 443.0 sec.
user=vaughan
[2009-05-26 05:35:03]
529*2^689321-1 is not prime.  Res64: 502BE55CE9FE4A05  Time : 451.0 sec.
user=SazanEyes
[2009-05-26 05:37:27]
587*2^689304-1 is not prime.  Res64: 96C4EDEBD2C40A6B  Time : 8595.0 sec.
user=vaughan
[2009-05-26 05:38:59]
525*2^689321-1 is not prime.  Res64: FF66D273E66FC50A  Time : 721.0 sec.
user=vaughan
[2009-05-26 05:40:50]
577*2^689321-1 is not prime.  Res64: AAB0A9B9AE3CDBCA  Time : 442.0 sec.
user=SazanEyes
[2009-05-26 05:41:16]
411*2^689305-1 is not prime.  Res64: 706DD60E891D2ACA  Time : 8761.0 sec.
user=vaughan
[2009-05-26 05:42:34]
447*2^689322-1 is not prime.  Res64: 7317357F5A57B2CB  Time : 451.0 sec.
user=vaughan
[2009-05-26 05:43:00]
409*2^689321-1 is not prime.  Res64: 9B0468AFD56683DE  Time : 1340.0 sec.
user=vaughan
[2009-05-26 05:45:52]
525*2^689318-1 is not prime.  Res64: 69271AEFE7DA7F5C  Time : 2375.0 sec.
user=vaughan
[2009-05-26 05:48:15]
593*2^689322-1 is not prime.  Res64: DEBB6FDB803546A5  Time : 445.0 sec.
user=vaughan
[2009-05-26 05:50:02]
451*2^689323-1 is not prime.  Res64: 8D09B7400A0ECD22  Time : 448.0 sec.
user=vaughan
[2009-05-26 05:50:15]
507*2^689322-1 is not prime.  Res64: 16D6BBD42CE2133E  Time : 677.0 sec.
user=vaughan
[2009-05-26 05:52:54]
559*2^689321-1 is not prime.  Res64: 3854C0A147452EED  Time : 1360.0 sec.
user=vaughan
[2009-05-26 05:55:39]
507*2^689324-1 is not prime.  Res64: 9BAD6AC44D84015A  Time : 444.0 sec.
user=vaughan
[2009-05-26 05:57:30]
525*2^689324-1 is not prime.  Res64: 792E4035AB9A904E  Time : 448.0 sec.
user=vaughan
[2009-05-26 06:00:46]
465*2^689321-1 is not prime.  Res64: AC57F6BFDF8A02E7  Time : 2384.0 sec.
user=vaughan
[2009-05-26 06:01:30]
465*2^689325-1 is not prime.  Res64: 33C9C200D2F09464  Time : 675.0 sec.
user=vaughan
[2009-05-26 06:03:03]
595*2^689325-1 is not prime.  Res64: 703F0668D4C86914  Time : 444.0 sec.
user=vaughan
[2009-05-26 06:05:00]
405*2^689326-1 is not prime.  Res64: 472D2B751135E992  Time : 450.0 sec.
user=vaughan
[2009-05-26 06:06:48]
561*2^689323-1 is not prime.  Res64: 48FFED4B235AE123  Time : 1428.0 sec.
user=SazanEyes
[2009-05-26 06:09:35]
489*2^689307-1 is not prime.  Res64: 4DC88CF5810B030E  Time : 8849.0 sec.
user=vaughan
[2009-05-26 06:10:26]
561*2^689326-1 is not prime.  Res64: 82723314C0CBFF5C  Time : 443.0 sec.
user=vaughan
[2009-05-26 06:12:31]
597*2^689326-1 is not prime.  Res64: D314A444D4846387  Time : 452.0 sec.
user=vaughan
[2009-05-26 06:12:44]
471*2^689326-1 is not prime.  Res64: D81FBBABD83B9C0E  Time : 675.0 sec.
user=vaughan
[2009-05-26 06:15:16]
469*2^689325-1 is not prime.  Res64: D268FAC15CEEFF19  Time : 1343.0 sec.
user=SazanEyes
[2009-05-26 06:16:19]
595*2^689307-1 is not prime.  Res64: BD88BEC0049DF606  Time : 9098.0 sec.
user=vaughan
[2009-05-26 06:17:50]
465*2^689327-1 is not prime.  Res64: F60CB5113AE7FDEF  Time : 445.0 sec.
user=vaughan
[2009-05-26 06:19:59]
489*2^689327-1 is not prime.  Res64: EEA8A249C62090F7  Time : 449.0 sec.
user=vaughan
[2009-05-26 06:23:57]
559*2^689327-1 is not prime.  Res64: 73D03395AABA765B  Time : 673.0 sec.
user=vaughan
[2009-05-26 06:25:14]
507*2^689328-1 is not prime.  Res64: B6EB9BB8DD67FA0B  Time : 444.0 sec.
user=vaughan
[2009-05-26 06:25:45]
435*2^689324-1 is not prime.  Res64: 40B1D15856731523  Time : 2393.0 sec.
user=vaughan
[2009-05-26 06:27:27]
527*2^689328-1 is not prime.  Res64: 8918FE06D79A3813  Time : 448.0 sec.
user=vaughan
[2009-05-26 06:29:18]
423*2^689327-1 is not prime.  Res64: 5E55D73360EE941A  Time : 1350.0 sec.
user=vaughan
[2009-05-26 06:32:39]
569*2^689328-1 is not prime.  Res64: CAF4976744188A11  Time : 445.0 sec.
user=vaughan
[2009-05-26 06:34:57]
457*2^689329-1 is not prime.  Res64: B0E9222ADBA7E019  Time : 450.0 sec.
user=vaughan
[2009-05-26 06:35:12]
555*2^689328-1 is not prime.  Res64: 1C775FA91B9500FE  Time : 675.0 sec.
user=vaughan
[2009-05-26 06:38:04]
453*2^689328-1 is not prime.  Res64: 78B12702C27C3568  Time : 1368.0 sec.
user=vaughan
[2009-05-26 06:40:01]
547*2^689329-1 is not prime.  Res64: 4110E16DF7BD8634  Time : 443.0 sec.
user=vaughan
[2009-05-26 06:40:04]
455*2^689326-1 is not prime.  Res64: 112512951EB56DDC  Time : 2358.0 sec.
user=vaughan
[2009-05-26 06:42:28]
417*2^689330-1 is not prime.  Res64: 083F0474060771F5  Time : 451.0 sec.
user=SazanEyes
[2009-05-26 06:43:15]
593*2^689310-1 is not prime.  Res64: 81BE4A3DBF3724B7  Time : 9127.0 sec.
user=vaughan
[2009-05-26 06:46:22]
501*2^689330-1 is not prime.  Res64: F8C2A9783A98A8B8  Time : 670.0 sec.
user=vaughan
[2009-05-26 06:47:22]
441*2^689331-1 is not prime.  Res64: A7363224C08EF9CF  Time : 441.0 sec.
user=vaughan
[2009-05-26 06:50:00]
541*2^689331-1 is not prime.  Res64: 2E7E7499AD99529B  Time : 452.0 sec.
user=SazanEyes
[2009-05-26 06:52:33]
489*2^689312-1 is not prime.  Res64: B3D0040C853ECC71  Time : 9509.0 sec.
user=vaughan
[2009-05-26 06:53:17]
511*2^689329-1 is not prime.  Res64: 576AA059231DCC69  Time : 1439.0 sec.
user=vaughan
[2009-05-26 06:54:45]
465*2^689333-1 is not prime.  Res64: CB1DAB83629DB523  Time : 443.0 sec.
user=vaughan
[2009-05-26 06:57:31]
533*2^689332-1 is not prime.  Res64: EAFD3B64E56DA4AC  Time : 669.0 sec.
user=vaughan
[2009-05-26 06:57:33]
481*2^689333-1 is not prime.  Res64: 55713F5E4720704A  Time : 453.0 sec.
user=vaughan
[2009-05-26 07:00:40]
439*2^689331-1 is not prime.  Res64: 5538A599A41E55A3  Time : 1357.0 sec.
user=vaughan
[2009-05-26 07:02:07]
425*2^689334-1 is not prime.  Res64: 8C7E1F303E6189FE  Time : 442.0 sec.
user=vaughan
[2009-05-26 07:05:04]
493*2^689335-1 is not prime.  Res64: 54CF6B082C794572  Time : 452.0 sec.
user=vaughan
[2009-05-26 07:05:21]
411*2^689329-1 is not prime.  Res64: D4CBB5458DAE54FF  Time : 2377.0 sec.
user=vaughan
[2009-05-26 07:08:39]
465*2^689334-1 is not prime.  Res64: C3F8690CD1C65C58  Time : 668.0 sec.
user=vaughan
[2009-05-26 07:09:29]
465*2^689337-1 is not prime.  Res64: 5CF07721BA8657BD  Time : 442.0 sec.
user=vaughan
[2009-05-26 07:12:35]
495*2^689337-1 is not prime.  Res64: 21E73CD43C5E6BE9  Time : 452.0 sec.
user=vaughan
[2009-05-26 07:16:17]
571*2^689333-1 is not prime.  Res64: 67E8E1A31E495174  Time : 1380.0 sec.
user=vaughan
[2009-05-26 07:16:51]
467*2^689338-1 is not prime.  Res64: A722B54593CAD092  Time : 442.0 sec.
user=SazanEyes
[2009-05-26 07:19:23]
511*2^689315-1 is not prime.  Res64: 6A07AE358276F766  Time : 9618.0 sec.
user=vaughan
[2009-05-26 07:19:51]
453*2^689338-1 is not prime.  Res64: B2818ADEB3C1C690  Time : 672.0 sec.
user=vaughan
[2009-05-26 07:19:52]
453*2^689331-1 is not prime.  Res64: CDA4B8789D5F389A  Time : 2388.0 sec.
user=vaughan
[2009-05-26 07:20:07]
533*2^689338-1 is not prime.  Res64: 989EB034E06ADB82  Time : 452.0 sec.
user=vaughan
[2009-05-26 07:23:20]
519*2^689336-1 is not prime.  Res64: 267D229D3DB9BF40  Time : 1360.0 sec.
user=vaughan
[2009-05-26 07:24:13]
495*2^689339-1 is not prime.  Res64: C0DAFB669130718A  Time : 442.0 sec.
user=SazanEyes
[2009-05-26 07:27:14]
485*2^689316-1 is not prime.  Res64: 711E385ADC92EC32  Time : 9813.0 sec.
user=vaughan
[2009-05-26 07:27:38]
477*2^689341-1 is not prime.  Res64: 6C44C050DA25D707  Time : 452.0 sec.
user=vaughan
[2009-05-26 07:31:07]
503*2^689340-1 is not prime.  Res64: CBFBD83EC1955B6E  Time : 676.0 sec.
user=vaughan
[2009-05-26 07:31:36]
547*2^689341-1 is not prime.  Res64: 2F81AE7C58D8EF4F  Time : 443.0 sec.
user=vaughan
[2009-05-26 07:35:09]
423*2^689342-1 is not prime.  Res64: 15AFA8AB83E404BB  Time : 451.0 sec.
user=vaughan
[2009-05-26 07:38:58]
411*2^689343-1 is not prime.  Res64: DBF58FAF4CAD3F3F  Time : 443.0 sec.
user=vaughan
[2009-05-26 07:40:11]
439*2^689339-1 is not prime.  Res64: 37C20330D6676FD6  Time : 1434.0 sec.
user=vaughan
[2009-05-26 07:42:25]
587*2^689342-1 is not prime.  Res64: A220C3E7D470BF4B  Time : 679.0 sec.
user=vaughan
[2009-05-26 07:42:41]
415*2^689343-1 is not prime.  Res64: A14DCA96100009C6  Time : 452.0 sec.
user=vaughan
[2009-05-26 07:45:11]
529*2^689337-1 is not prime.  Res64: 62A3714B9CF0E293  Time : 2390.0 sec.
user=vaughan
[2009-05-26 07:45:59]
495*2^689341-1 is not prime.  Res64: 2AA55A781D55192B  Time : 1359.0 sec.
user=vaughan
[2009-05-26 07:46:20]
441*2^689343-1 is not prime.  Res64: CEF4F43EC5E6BB65  Time : 443.0 sec.
user=SazanEyes
[2009-05-26 07:49:18]
585*2^689318-1 is not prime.  Res64: 031437D82DC6224F  Time : 9667.0 sec.
user=vaughan
[2009-05-26 07:50:12]
583*2^689343-1 is not prime.  Res64: ACA7D69A505F71CB  Time : 451.0 sec.
user=vaughan
[2009-05-26 07:53:42]
569*2^689344-1 is not prime.  Res64: B800CCCB376AC50B  Time : 442.0 sec.
user=vaughan
[2009-05-26 07:53:43]
553*2^689343-1 is not prime.  Res64: 6A931560F9658937  Time : 679.0 sec.
user=vaughan
[2009-05-26 07:57:44]
495*2^689345-1 is not prime.  Res64: 484552EE6AA28DE8  Time : 452.0 sec.
user=vaughan
[2009-05-26 07:59:22]
585*2^689340-1 is not prime.  Res64: A6223959A2AADDCB  Time : 2371.0 sec.
user=SazanEyes
[2009-05-26 07:59:43]
559*2^689319-1 is not prime.  Res64: F43D1DE3CCD267EE  Time : 10000.0 sec.
user=vaughan
[2009-05-26 08:01:05]
511*2^689345-1 is not prime.  Res64: 467FA5C970ED415A  Time : 443.0 sec.
user=vaughan
[2009-05-26 08:03:23]
471*2^689343-1 is not prime.  Res64: BCB70EFCC55DF1EA  Time : 1392.0 sec.
user=vaughan
[2009-05-26 08:05:14]
485*2^689346-1 is not prime.  Res64: F85A7C3F09F90D6D  Time : 451.0 sec.
user=vaughan
[2009-05-26 08:05:19]
473*2^689346-1 is not prime.  Res64: 95B1A29789F323D7  Time : 697.0 sec.
user=vaughan
[2009-05-26 08:08:27]
489*2^689347-1 is not prime.  Res64: 032F5F6662FBE7C8  Time : 442.0 sec.
user=vaughan
[2009-05-26 08:08:35]
539*2^689344-1 is not prime.  Res64: 99BFA29A4214595F  Time : 1357.0 sec.
user=vaughan
[2009-05-26 08:12:45]
405*2^689348-1 is not prime.  Res64: DF96805D4656210C  Time : 451.0 sec.
user=vaughan
[2009-05-26 08:15:49]
479*2^689348-1 is not prime.  Res64: D9156B1C34DFE2AB  Time : 442.0 sec.
user=vaughan
[2009-05-26 08:16:38]
449*2^689348-1 is not prime.  Res64: 772B9315FABDA128  Time : 680.0 sec.
user=vaughan
[2009-05-26 08:20:16]
537*2^689349-1 is not prime.  Res64: 44EDC26289CAE886  Time : 451.0 sec.
user=SazanEyes
[2009-05-26 08:22:10]
485*2^689322-1 is not prime.  Res64: A8EEE63DC248DD4B  Time : 9883.0 sec.
user=vaughan
[2009-05-26 08:23:11]
555*2^689349-1 is not prime.  Res64: 7AC2F767E313C55F  Time : 442.0 sec.
user=vaughan
[2009-05-26 08:24:44]
419*2^689344-1 is not prime.  Res64: 0BEF47672E1B1414  Time : 2373.0 sec.
user=vaughan
[2009-05-26 08:27:17]
519*2^689347-1 is not prime.  Res64: 5521CB1E703E1601  Time : 1435.0 sec.
user=vaughan
[2009-05-26 08:27:48]
425*2^689350-1 is not prime.  Res64: 971C020D05BA1DA6  Time : 452.0 sec.
user=vaughan
[2009-05-26 08:28:08]
559*2^689349-1 is not prime.  Res64: BBC32B23A00F9DF0  Time : 691.0 sec.
user=vaughan
[2009-05-26 08:30:34]
525*2^689350-1 is not prime.  Res64: BC2AED41151DDB12  Time : 443.0 sec.
user=vaughan
[2009-05-26 08:31:12]
557*2^689348-1 is not prime.  Res64: CE6C84A28F093175  Time : 1357.0 sec.
user=SazanEyes
[2009-05-26 08:32:53]
415*2^689323-1 is not prime.  Res64: 8331EACAE4DAB0E0  Time : 10297.0 sec.
user=vaughan
[2009-05-26 08:35:17]
423*2^689351-1 is not prime.  Res64: DF9903B596849F01  Time : 449.0 sec.
user=vaughan
[2009-05-26 08:37:58]
595*2^689351-1 is not prime.  Res64: 18CB7AAC493EED48  Time : 445.0 sec.
user=vaughan
[2009-05-26 08:38:37]
573*2^689346-1 is not prime.  Res64: 523FEB8CB4C6BA66  Time : 2355.0 sec.
user=vaughan
[2009-05-26 08:39:42]
493*2^689351-1 is not prime.  Res64: D800913228F89D2A  Time : 695.0 sec.
user=vaughan
[2009-05-26 08:42:45]
497*2^689352-1 is not prime.  Res64: 02669B195F5CBECB  Time : 448.0 sec.
user=vaughan
[2009-05-26 08:45:22]
549*2^689352-1 is not prime.  Res64: 1901C7B602BC86E7  Time : 444.0 sec.
user=vaughan
[2009-05-26 08:50:14]
407*2^689354-1 is not prime.  Res64: 8D5D5A0090EEDEC3  Time : 449.0 sec.
user=vaughan
[2009-05-26 08:50:21]
567*2^689350-1 is not prime.  Res64: D1CCFB21ECDC2307  Time : 1384.0 sec.
user=vaughan
[2009-05-26 08:51:05]
481*2^689353-1 is not prime.  Res64: 17B13FE7F2B5611C  Time : 683.0 sec.
user=vaughan
[2009-05-26 08:52:46]
417*2^689354-1 is not prime.  Res64: A163ED40BC51F3A7  Time : 444.0 sec.
user=SazanEyes
[2009-05-26 08:52:52]
453*2^689327-1 is not prime.  Res64: C636F69CC70D624B  Time : 9797.0 sec.
user=vaughan
[2009-05-26 08:53:55]
413*2^689352-1 is not prime.  Res64: E19C29315A5FF5F1  Time : 1363.0 sec.
user=vaughan
[2009-05-26 08:57:43]
447*2^689354-1 is not prime.  Res64: 182BDA6C893CAEFE  Time : 449.0 sec.
user=vaughan
[2009-05-26 09:00:11]
441*2^689355-1 is not prime.  Res64: 774D8691EDBA0257  Time : 445.0 sec.
user=SazanEyes
[2009-05-26 09:02:31]
467*2^689328-1 is not prime.  Res64: F64F2E20F8CAA10C  Time : 9972.0 sec.
user=vaughan
[2009-05-26 09:02:57]
567*2^689354-1 is not prime.  Res64: E82AC8A5DBFF7D17  Time : 712.0 sec.
user=vaughan
[2009-05-26 09:04:32]
533*2^689350-1 is not prime.  Res64: 95209C687DD03651  Time : 2388.0 sec.
user=vaughan
[2009-05-26 09:05:10]
437*2^689356-1 is not prime.  Res64: A1B0DA7634FCC14C  Time : 448.0 sec.
user=vaughan
[2009-05-26 09:07:35]
455*2^689356-1 is not prime.  Res64: 8DCA2E597DB57238  Time : 444.0 sec.
user=vaughan
[2009-05-26 09:12:38]
435*2^689357-1 is not prime.  Res64: 48AFA10DBB914E3F  Time : 448.0 sec.
user=vaughan
[2009-05-26 09:14:15]
501*2^689354-1 is not prime.  Res64: BEF8E4E4EB91D879  Time : 1434.0 sec.
user=vaughan
[2009-05-26 09:14:32]
563*2^689356-1 is not prime.  Res64: BACDC5345F072491  Time : 695.0 sec.
user=vaughan
[2009-05-26 09:15:00]
589*2^689357-1 is not prime.  Res64: 345975AA50B7328E  Time : 445.0 sec.
user=vaughan
[2009-05-26 09:16:35]
481*2^689355-1 is not prime.  Res64: D3F695AC6977C6A8  Time : 1360.0 sec.
user=vaughan
[2009-05-26 09:18:16]
567*2^689352-1 is not prime.  Res64: E05CFB0827EC6043  Time : 2379.0 sec.
user=vaughan
[2009-05-26 09:20:06]
461*2^689358-1 is not prime.  Res64: 276139BB90020C80  Time : 448.0 sec.
user=SazanEyes
[2009-05-26 09:22:18]
483*2^689332-1 is not prime.  Res64: D14BF9CDF9CA4D30  Time : 9543.0 sec.
user=vaughan
[2009-05-26 09:22:24]
593*2^689360-1 is not prime.  Res64: 771B2EB8AB56D7DB  Time : 445.0 sec.
user=vaughan
[2009-05-26 09:26:54]
421*2^689359-1 is not prime.  Res64: 1DD6661E88EAE77A  Time : 742.0 sec.
user=vaughan
[2009-05-26 09:27:36]
475*2^689361-1 is not prime.  Res64: 30394A1C421395FF  Time : 450.0 sec.
user=vaughan
[2009-05-26 09:29:49]
529*2^689361-1 is not prime.  Res64: 99165AD81B437B24  Time : 445.0 sec.
user=SazanEyes
[2009-05-26 09:34:41]
507*2^689333-1 is not prime.  Res64: 6F266D3168AC1A85  Time : 9728.0 sec.
user=vaughan
[2009-05-26 09:35:04]
525*2^689362-1 is not prime.  Res64: AC6BEE5A6B2ECB63  Time : 449.0 sec.
user=vaughan
[2009-05-26 09:37:15]
581*2^689362-1 is not prime.  Res64: FFB1783EA5BFC6A7  Time : 446.0 sec.
user=vaughan
[2009-05-26 09:38:09]
473*2^689358-1 is not prime.  Res64: 0B780E27F7F64A60  Time : 1434.0 sec.
user=vaughan
[2009-05-26 09:38:49]
461*2^689362-1 is not prime.  Res64: 81969E939168A804  Time : 715.0 sec.
user=vaughan
[2009-05-26 09:39:17]
429*2^689361-1 is not prime.  Res64: 6CA0CA5565020A68  Time : 1362.0 sec.
user=vaughan
[2009-05-26 09:42:31]
465*2^689363-1 is not prime.  Res64: 7B1E5856EF6A2EC0  Time : 447.0 sec.
user=vaughan
[2009-05-26 09:43:53]
405*2^689357-1 is not prime.  Res64: 9B37746AD85F5743  Time : 2361.0 sec.
user=vaughan
[2009-05-26 09:44:40]
495*2^689363-1 is not prime.  Res64: 87C3536EE6A6CD63  Time : 445.0 sec.
user=vaughan
[2009-05-26 09:49:59]
569*2^689364-1 is not prime.  Res64: C750D26C3393543D  Time : 448.0 sec.
user=vaughan
[2009-05-26 09:50:59]
525*2^689364-1 is not prime.  Res64: 23B039E0C438BE2D  Time : 730.0 sec.
user=vaughan
[2009-05-26 09:52:05]
415*2^689365-1 is not prime.  Res64: AF14F1A09B67299A  Time : 445.0 sec.
user=SazanEyes
[2009-05-26 09:55:35]
447*2^689340-1 is not prime.  Res64: 3BB5F8B5B3D8A89E  Time : 9372.0 sec.
user=vaughan
[2009-05-26 09:57:27]
427*2^689365-1 is not prime.  Res64: EBFB764AD2E23C4A  Time : 448.0 sec.
user=vaughan
[2009-05-26 09:57:45]
441*2^689361-1 is not prime.  Res64: 6B64679B7FD3AC86  Time : 2370.0 sec.
user=vaughan
[2009-05-26 09:59:30]
405*2^689366-1 is not prime.  Res64: 382A1F24F9B80FE1  Time : 446.0 sec.
user=vaughan
[2009-05-26 10:01:49]
563*2^689364-1 is not prime.  Res64: 50CB52891F6D7BAC  Time : 1352.0 sec.
user=vaughan
[2009-05-26 10:01:52]
503*2^689364-1 is not prime.  Res64: 4DC01B6FD5040407  Time : 1423.0 sec.
user=vaughan
[2009-05-26 10:02:23]
499*2^689365-1 is not prime.  Res64: 4BB0F385A8ECC603  Time : 684.0 sec.
user=vaughan
[2009-05-26 10:04:55]
521*2^689366-1 is not prime.  Res64: 692AFAD13BA1E57C  Time : 448.0 sec.
user=vaughan
[2009-05-26 10:06:54]
409*2^689367-1 is not prime.  Res64: 106963832F93C392  Time : 444.0 sec.
user=SazanEyes
[2009-05-26 10:10:15]
407*2^689342-1 is not prime.  Res64: F72EA242DA22E45A  Time : 9782.0 sec.
user=vaughan
[2009-05-26 10:12:23]
579*2^689367-1 is not prime.  Res64: A378445E3BD2778D  Time : 448.0 sec.
user=vaughan
[2009-05-26 10:13:55]
559*2^689367-1 is not prime.  Res64: 0E1242A918653128  Time : 692.0 sec.
user=vaughan
[2009-05-26 10:14:19]
465*2^689368-1 is not prime.  Res64: BAA7358D7C90351D  Time : 445.0 sec.
user=vaughan
[2009-05-26 10:19:51]
495*2^689368-1 is not prime.  Res64: 202528DF532D5E53  Time : 448.0 sec.
user=vaughan
[2009-05-26 10:21:26]
411*2^689365-1 is not prime.  Res64: D20A43380B203853  Time : 2254.0 sec.
user=vaughan
[2009-05-26 10:21:44]
569*2^689368-1 is not prime.  Res64: B150A0EDF942AACA  Time : 445.0 sec.
user=vaughan
[2009-05-26 10:24:17]
549*2^689367-1 is not prime.  Res64: 09471327ACEA72F7  Time : 1345.0 sec.
user=vaughan
[2009-05-26 10:24:30]
433*2^689367-1 is not prime.  Res64: 6F4671009EB24131  Time : 1361.0 sec.
user=vaughan
[2009-05-26 10:25:55]
549*2^689368-1 is not prime.  Res64: 575C76087629D259  Time : 720.0 sec.
user=vaughan
[2009-05-26 10:27:21]
579*2^689369-1 is not prime.  Res64: D480994734133CB8  Time : 450.0 sec.
user=vaughan
[2009-05-26 10:29:10]
447*2^689370-1 is not prime.  Res64: F0860ED1C240013E  Time : 446.0 sec.
user=SazanEyes
[2009-05-26 10:33:54]
411*2^689345-1 is not prime.  Res64: 55B1D2EBB9AEB6B0  Time : 9876.0 sec.
user=vaughan
[2009-05-26 10:34:50]
405*2^689371-1 is not prime.  Res64: AD46D4C5EB801290  Time : 450.0 sec.
user=vaughan
[2009-05-26 10:36:34]
411*2^689371-1 is not prime.  Res64: 697688885E9FD4B3  Time : 445.0 sec.
user=vaughan
[2009-05-26 10:37:18]
587*2^689370-1 is not prime.  Res64: C7D4D40D4FCB3503  Time : 683.0 sec.
user=vaughan
[2009-05-26 10:37:38]
563*2^689366-1 is not prime.  Res64: A5AB435A1F7F7FBC  Time : 2393.0 sec.
user=vaughan
[2009-05-26 10:42:18]
421*2^689371-1 is not prime.  Res64: F96961E61A700EDD  Time : 449.0 sec.
user=vaughan
[2009-05-26 10:43:59]
453*2^689371-1 is not prime.  Res64: 657802A55F9EC9EA  Time : 445.0 sec.
user=vaughan
[2009-05-26 10:47:01]
525*2^689370-1 is not prime.  Res64: A453B52E6B998AE4  Time : 1351.0 sec.
user=vaughan
[2009-05-26 10:47:47]
521*2^689370-1 is not prime.  Res64: 41C71D0056B68B5C  Time : 1410.0 sec.
user=vaughan
[2009-05-26 10:48:42]
499*2^689371-1 is not prime.  Res64: A7D1C69640225EEB  Time : 684.0 sec.
user=SazanEyes
[2009-05-26 10:48:47]
441*2^689347-1 is not prime.  Res64: D1011299D1E806AA  Time : 10144.0 sec.
user=vaughan
[2009-05-26 10:49:46]
405*2^689372-1 is not prime.  Res64: CD491034D317E3DB  Time : 448.0 sec.
user=vaughan
[2009-05-26 10:51:25]
437*2^689372-1 is not prime.  Res64: A6F6EE6408A5AAB5  Time : 446.0 sec.
user=vaughan
[2009-05-26 10:57:14]
491*2^689374-1 is not prime.  Res64: AD1645176B9E4011  Time : 448.0 sec.
user=vaughan
[2009-05-26 10:58:50]
567*2^689374-1 is not prime.  Res64: 23256841A4F4EDD1  Time : 446.0 sec.
user=vaughan
[2009-05-26 11:00:05]
591*2^689373-1 is not prime.  Res64: 362B308BBB92AF93  Time : 683.0 sec.
user=vaughan
[2009-05-26 11:01:40]
437*2^689370-1 is not prime.  Res64: B667210D28B0CA9F  Time : 2414.0 sec.
user=vaughan
[2009-05-26 11:04:43]
423*2^689375-1 is not prime.  Res64: 17DC9D7780A2075C  Time : 449.0 sec.
user=vaughan
[2009-05-26 11:06:14]
453*2^689375-1 is not prime.  Res64: 181DF95C296FCF81  Time : 445.0 sec.
user=SazanEyes
[2009-05-26 11:08:53]
453*2^689350-1 is not prime.  Res64: 303A000F5030BB6F  Time : 10003.0 sec.
user=vaughan
[2009-05-26 11:09:37]
533*2^689372-1 is not prime.  Res64: 33D3F3C362DBF149  Time : 1356.0 sec.
user=vaughan
[2009-05-26 11:11:23]
565*2^689373-1 is not prime.  Res64: 7FC4F416D3AA9BB8  Time : 1416.0 sec.
user=vaughan
[2009-05-26 11:11:54]
475*2^689375-1 is not prime.  Res64: B9A90778C7BB05F9  Time : 710.0 sec.
user=vaughan
[2009-05-26 11:12:11]
511*2^689375-1 is not prime.  Res64: 5BFCC64E1143E36D  Time : 448.0 sec.
user=vaughan
[2009-05-26 11:13:38]
519*2^689375-1 is not prime.  Res64: 011AFBDB5A248C07  Time : 444.0 sec.
user=vaughan
[2009-05-26 11:17:23]
531*2^689371-1 is not prime.  Res64: D302764517D9F168  Time : 2385.0 sec.
user=vaughan
[2009-05-26 11:19:40]
409*2^689377-1 is not prime.  Res64: 18E0891BE18F80BC  Time : 449.0 sec.
user=vaughan
[2009-05-26 11:21:03]
441*2^689377-1 is not prime.  Res64: 7396CFE9FD6031C3  Time : 445.0 sec.
user=vaughan
[2009-05-26 11:24:00]
567*2^689376-1 is not prime.  Res64: E96F2674B2D33DCD  Time : 727.0 sec.
user=SazanEyes
[2009-05-26 11:24:01]
455*2^689352-1 is not prime.  Res64: E1A983ED47A2201F  Time : 10268.0 sec.
user=vaughan
[2009-05-26 11:27:08]
531*2^689377-1 is not prime.  Res64: F92BFD4F84EA3083  Time : 448.0 sec.
user=vaughan
[2009-05-26 11:28:27]
549*2^689377-1 is not prime.  Res64: 3830AB93D24A2764  Time : 444.0 sec.
user=vaughan
[2009-05-26 11:32:13]
579*2^689375-1 is not prime.  Res64: 88B991C91BC2BBC2  Time : 1356.0 sec.
user=vaughan
[2009-05-26 11:34:36]
467*2^689378-1 is not prime.  Res64: 7D6B3BC829FC3FEB  Time : 448.0 sec.
user=vaughan
[2009-05-26 11:35:07]
585*2^689375-1 is not prime.  Res64: 8621084B5605DE59  Time : 1425.0 sec.
user=vaughan
[2009-05-26 11:35:49]
423*2^689378-1 is not prime.  Res64: 5D879455D84B02CC  Time : 710.0 sec.
user=vaughan
[2009-05-26 11:35:52]
507*2^689378-1 is not prime.  Res64: 69D6006D164216ED  Time : 445.0 sec.
user=vaughan
[2009-05-26 11:39:19]
481*2^689375-1 is not prime.  Res64: 51EDCC0F374D3105  Time : 2260.0 sec.
user=SazanEyes
[2009-05-26 11:40:39]
451*2^689355-1 is not prime.  Res64: AA5F735342B6ADC8  Time : 10067.0 sec.
user=vaughan
[2009-05-26 11:42:05]
481*2^689379-1 is not prime.  Res64: B580876015567B35  Time : 449.0 sec.
user=vaughan
[2009-05-26 11:43:17]
495*2^689380-1 is not prime.  Res64: FD0263C23F3D339C  Time : 445.0 sec.
user=vaughan
[2009-05-26 11:47:30]
531*2^689379-1 is not prime.  Res64: 228CD6A721548D5B  Time : 701.0 sec.
user=vaughan
[2009-05-26 11:49:33]
545*2^689380-1 is not prime.  Res64: 31D3D76ADCFB7D67  Time : 449.0 sec.
user=vaughan
[2009-05-26 11:50:42]
511*2^689381-1 is not prime.  Res64: FBB44D08A034A61C  Time : 445.0 sec.
user=vaughan
[2009-05-26 11:54:46]
465*2^689379-1 is not prime.  Res64: A72B767A32AA5270  Time : 1353.0 sec.
user=vaughan
[2009-05-26 11:57:01]
547*2^689381-1 is not prime.  Res64: 0A42100C3C2B43E7  Time : 449.0 sec.
user=vaughan
[2009-05-26 11:57:13]
523*2^689379-1 is not prime.  Res64: 0F747763094C26B1  Time : 1326.0 sec.
user=vaughan
[2009-05-26 11:57:29]
505*2^689377-1 is not prime.  Res64: 64893643A327BC4E  Time : 2406.0 sec.
user=SazanEyes
[2009-05-26 11:58:03]
507*2^689356-1 is not prime.  Res64: 78CC2B2483A8E581  Time : 10532.0 sec.
user=vaughan
[2009-05-26 11:58:07]
447*2^689382-1 is not prime.  Res64: 7B9C5317B9FABBC1  Time : 446.0 sec.
user=vaughan
[2009-05-26 11:59:41]
519*2^689381-1 is not prime.  Res64: B81F04ACD2A000EB  Time : 732.0 sec.
user=vaughan
[2009-05-26 12:04:29]
471*2^689382-1 is not prime.  Res64: E3C1FF04FDBE8451  Time : 448.0 sec.
user=vaughan
[2009-05-26 12:05:31]
411*2^689383-1 is not prime.  Res64: 9CCA448E1D1FE944  Time : 444.0 sec.
user=SazanEyes
[2009-05-26 12:11:49]
517*2^689361-1 is not prime.  Res64: 806904A90BE5FD0B  Time : 10171.0 sec.
user=vaughan
[2009-05-26 12:11:57]
519*2^689383-1 is not prime.  Res64: A4EFE90323E0D2F9  Time : 448.0 sec.
user=vaughan
[2009-05-26 12:12:55]
553*2^689383-1 is not prime.  Res64: 772E1B2DAB188A67  Time : 444.0 sec.
user=vaughan
[2009-05-26 12:15:37]
463*2^689383-1 is not prime.  Res64: 982E62A29D15A9F6  Time : 956.0 sec.
user=vaughan
[2009-05-26 12:17:28]
455*2^689382-1 is not prime.  Res64: 56A2B10CF0EA56C8  Time : 1362.0 sec.
user=vaughan
[2009-05-26 12:19:11]
519*2^689380-1 is not prime.  Res64: BD5954F635D10C0C  Time : 2392.0 sec.
user=vaughan
[2009-05-26 12:19:25]
483*2^689384-1 is not prime.  Res64: 6FE463D2073E199F  Time : 448.0 sec.
user=vaughan
[2009-05-26 12:20:19]
539*2^689384-1 is not prime.  Res64: 286E8D876E9FB3FC  Time : 444.0 sec.
user=vaughan
[2009-05-26 12:20:58]
501*2^689382-1 is not prime.  Res64: AE49CFA37209E695  Time : 1425.0 sec.
user=vaughan
[2009-05-26 12:26:53]
471*2^689385-1 is not prime.  Res64: 5949615ED1772E78  Time : 448.0 sec.
user=vaughan
[2009-05-26 12:27:44]
507*2^689385-1 is not prime.  Res64: 8F0AA888BC553E30  Time : 445.0 sec.
user=vaughan
[2009-05-26 12:30:13]
573*2^689384-1 is not prime.  Res64: CC8567E7B6320E46  Time : 876.0 sec.
user=SazanEyes
[2009-05-26 12:31:15]
453*2^689363-1 is not prime.  Res64: 911ECDAA4D7D21C3  Time : 10594.0 sec.
user=vaughan
[2009-05-26 12:34:22]
577*2^689385-1 is not prime.  Res64: 4D1AE9E60A7A5180  Time : 449.0 sec.
user=vaughan
[2009-05-26 12:35:09]
585*2^689385-1 is not prime.  Res64: F4AC502837A7F955  Time : 445.0 sec.
user=vaughan
[2009-05-26 12:37:07]
507*2^689382-1 is not prime.  Res64: A0EB84BB93B8A6B6  Time : 2378.0 sec.
user=vaughan
[2009-05-26 12:40:01]
441*2^689385-1 is not prime.  Res64: EA842B8B38F235BB  Time : 1353.0 sec.
user=vaughan
[2009-05-26 12:41:50]
447*2^689386-1 is not prime.  Res64: 1751379EC5EC5014  Time : 449.0 sec.
user=vaughan
[2009-05-26 12:42:33]
471*2^689386-1 is not prime.  Res64: F3387F3438997A47  Time : 444.0 sec.
user=vaughan
[2009-05-26 12:43:02]
529*2^689385-1 is not prime.  Res64: 6339221B7740062D  Time : 1324.0 sec.
user=SazanEyes
[2009-05-26 12:43:27]
477*2^689366-1 is not prime.  Res64: 232AF524E2ACE412  Time : 10072.0 sec.
user=vaughan
[2009-05-26 12:44:17]
595*2^689385-1 is not prime.  Res64: 9FBF675FB19C2879  Time : 844.0 sec.
user=vaughan
[2009-05-26 12:49:18]
581*2^689386-1 is not prime.  Res64: 5FC82B52EBA1E50B  Time : 449.0 sec.
user=vaughan
[2009-05-26 12:49:57]
439*2^689387-1 is not prime.  Res64: 209F7A8A745A35CC  Time : 444.0 sec.
user=vaughan
[2009-05-26 12:55:50]
405*2^689388-1 is not prime.  Res64: 439EC3ACCB801DEE  Time : 693.0 sec.
user=vaughan
[2009-05-26 12:56:48]
423*2^689388-1 is not prime.  Res64: 409081E45E935585  Time : 450.0 sec.
user=vaughan
[2009-05-26 12:57:02]
469*2^689385-1 is not prime.  Res64: 8F69EA266C0C1009  Time : 2271.0 sec.
user=vaughan
[2009-05-26 12:57:22]
527*2^689388-1 is not prime.  Res64: 056358859BBB2E5C  Time : 445.0 sec.
user=SazanEyes
[2009-05-26 13:02:18]
483*2^689368-1 is not prime.  Res64: 7D0E0271063B3305  Time : 10323.0 sec.
user=vaughan
[2009-05-26 13:02:39]
521*2^689386-1 is not prime.  Res64: AF578260C62D7EB3  Time : 1358.0 sec.
user=vaughan
[2009-05-26 13:04:17]
481*2^689389-1 is not prime.  Res64: 25CAEB6FAD811F63  Time : 450.0 sec.
user=vaughan
[2009-05-26 13:04:46]
555*2^689389-1 is not prime.  Res64: 2B58EDC30AB8376A  Time : 445.0 sec.
user=vaughan
[2009-05-26 13:06:42]
523*2^689387-1 is not prime.  Res64: DFFA49A4ED1898D1  Time : 1420.0 sec.
user=vaughan
[2009-05-26 13:07:29]
447*2^689389-1 is not prime.  Res64: A9B7BDF868A5767B  Time : 700.0 sec.
user=vaughan
[2009-05-26 13:11:45]
593*2^689390-1 is not prime.  Res64: AF4A5B617D3760AE  Time : 448.0 sec.
user=vaughan
[2009-05-26 13:12:11]
433*2^689391-1 is not prime.  Res64: C179A760B7CDCCB6  Time : 446.0 sec.
user=SazanEyes
[2009-05-26 13:14:39]
415*2^689371-1 is not prime.  Res64: 555347F549E85E02  Time : 9645.0 sec.
user=vaughan
[2009-05-26 13:16:59]
513*2^689386-1 is not prime.  Res64: 6D840B0CA8FA739B  Time : 2392.0 sec.
user=vaughan
[2009-05-26 13:19:15]
567*2^689392-1 is not prime.  Res64: 3C1DBF0A837FC574  Time : 450.0 sec.
user=vaughan
[2009-05-26 13:19:16]
495*2^689392-1 is not prime.  Res64: 5F62EB7C283DD467  Time : 708.0 sec.
user=vaughan
[2009-05-26 13:19:35]
405*2^689393-1 is not prime.  Res64: C499CC78D58FF493  Time : 444.0 sec.
user=vaughan
[2009-05-26 13:25:15]
589*2^689389-1 is not prime.  Res64: 136CA5E313F242C8  Time : 1356.0 sec.
user=vaughan
[2009-05-26 13:26:43]
563*2^689394-1 is not prime.  Res64: 294111F00CC09CE2  Time : 449.0 sec.
user=vaughan
[2009-05-26 13:27:00]
519*2^689395-1 is not prime.  Res64: 8F0C7A537743A332  Time : 445.0 sec.
user=vaughan
[2009-05-26 13:28:53]
447*2^689392-1 is not prime.  Res64: 4EB27321835420D5  Time : 1332.0 sec.
user=vaughan
[2009-05-26 13:30:56]
499*2^689395-1 is not prime.  Res64: 74F8B996754778DB  Time : 701.0 sec.
user=SazanEyes
[2009-05-26 13:31:48]
453*2^689374-1 is not prime.  Res64: 0622ADEE438FFB09  Time : 9781.0 sec.
user=vaughan
[2009-05-26 13:34:12]
553*2^689395-1 is not prime.  Res64: 4CC77417AED34096  Time : 449.0 sec.
user=vaughan
[2009-05-26 13:34:24]
573*2^689395-1 is not prime.  Res64: 92C5EA7639820A84  Time : 444.0 sec.
user=vaughan
[2009-05-26 13:37:04]
507*2^689389-1 is not prime.  Res64: ACA275D513D6F0B0  Time : 2403.0 sec.
user=vaughan
[2009-05-26 13:41:41]
557*2^689396-1 is not prime.  Res64: 79588A9D3D8A31F6  Time : 449.0 sec.
user=vaughan
[2009-05-26 13:41:49]
457*2^689397-1 is not prime.  Res64: E2412C2BBBD370BD  Time : 445.0 sec.
user=vaughan
[2009-05-26 13:42:36]
437*2^689396-1 is not prime.  Res64: 7BC897E7BFF2C5B5  Time : 701.0 sec.
user=SazanEyes
[2009-05-26 13:45:26]
543*2^689375-1 is not prime.  Res64: B1E27C666D31719E  Time : 9394.0 sec.
user=vaughan
[2009-05-26 13:47:52]
535*2^689395-1 is not prime.  Res64: BEF619E78B24D42E  Time : 1357.0 sec.
user=vaughan
[2009-05-26 13:49:10]
537*2^689397-1 is not prime.  Res64: 799377CCA3D39C9A  Time : 449.0 sec.
user=vaughan
[2009-05-26 13:49:14]
453*2^689398-1 is not prime.  Res64: 6BEFCB398B8B061B  Time : 446.0 sec.
user=vaughan
[2009-05-26 13:52:26]
435*2^689396-1 is not prime.  Res64: 67AC17518349271D  Time : 1413.0 sec.
user=vaughan
[2009-05-26 13:54:19]
525*2^689398-1 is not prime.  Res64: DB9147CF7E6D78F0  Time : 703.0 sec.
user=vaughan
[2009-05-26 13:56:35]
401*2^689394-1 is not prime.  Res64: 1976F667B69A7206  Time : 2376.0 sec.
user=vaughan
[2009-05-26 13:56:38]
463*2^689399-1 is not prime.  Res64: F4C2751BD654741C  Time : 445.0 sec.
user=vaughan
[2009-05-26 13:56:39]
445*2^689399-1 is not prime.  Res64: EA902C65E80527A7  Time : 449.0 sec.
user=SazanEyes
[2009-05-26 14:02:30]
435*2^689378-1 is not prime.  Res64: D4A5C546442D1050  Time : 9510.0 sec.
user=vaughan
[2009-05-26 14:04:03]
473*2^689400-1 is not prime.  Res64: 9F07EB6F17B9EE1B  Time : 446.0 sec.
user=vaughan
[2009-05-26 14:04:08]
549*2^689400-1 is not prime.  Res64: 917B40BEEA9FE0B2  Time : 449.0 sec.
user=vaughan
[2009-05-26 14:06:01]
523*2^689399-1 is not prime.  Res64: BD01ABCC9AF96BDC  Time : 702.0 sec.
user=vaughan
[2009-05-26 14:10:28]
423*2^689399-1 is not prime.  Res64: 3FD82E30F6C3124F  Time : 1356.0 sec.
user=vaughan
[2009-05-26 14:11:27]
415*2^689401-1 is not prime.  Res64: C11B4939E87A8289  Time : 444.0 sec.
user=vaughan
[2009-05-26 14:11:38]
421*2^689401-1 is not prime.  Res64: FDCE0706DBFB5C8F  Time : 450.0 sec.
user=vaughan
[2009-05-26 14:14:37]
501*2^689399-1 is not prime.  Res64: 4DCAC6D4913F7086  Time : 1331.0 sec.
user=vaughan
[2009-05-26 14:14:57]
487*2^689397-1 is not prime.  Res64: A3436B0B75E9D948  Time : 2273.0 sec.
user=SazanEyes
[2009-05-26 14:16:09]
533*2^689380-1 is not prime.  Res64: CD99461EA760D8CC  Time : 9330.0 sec.
user=vaughan
[2009-05-26 14:17:42]
429*2^689401-1 is not prime.  Res64: 401ACC4EECD7F95B  Time : 701.0 sec.
user=vaughan
[2009-05-26 14:18:51]
505*2^689401-1 is not prime.  Res64: D369851C6F607F88  Time : 444.0 sec.
user=vaughan
[2009-05-26 14:19:07]
525*2^689401-1 is not prime.  Res64: FAB34A5A9CE40FD6  Time : 450.0 sec.
user=vaughan
[2009-05-26 14:26:15]
525*2^689402-1 is not prime.  Res64: F36E81C44A5CDD79  Time : 444.0 sec.
user=vaughan
[2009-05-26 14:26:36]
545*2^689402-1 is not prime.  Res64: 692C050DA7F1EE0F  Time : 450.0 sec.
user=vaughan
[2009-05-26 14:29:17]
417*2^689402-1 is not prime.  Res64: 8A7B738AB0ACD22A  Time : 695.0 sec.
user=vaughan
[2009-05-26 14:33:02]
439*2^689401-1 is not prime.  Res64: 1149D83EC4DD0538  Time : 1354.0 sec.
user=vaughan
[2009-05-26 14:33:39]
563*2^689402-1 is not prime.  Res64: EE177567B0A04CEA  Time : 444.0 sec.
user=vaughan
[2009-05-26 14:34:05]
587*2^689402-1 is not prime.  Res64: 1CA047DDB4398B28  Time : 449.0 sec.
user=SazanEyes
[2009-05-26 14:35:54]
525*2^689382-1 is not prime.  Res64: 278CED047E8E400D  Time : 9471.0 sec.
user=vaughan
[2009-05-26 14:36:24]
531*2^689399-1 is not prime.  Res64: 9D42FEB80034FC9F  Time : 2389.0 sec.
user=vaughan
[2009-05-26 14:38:22]
535*2^689401-1 is not prime.  Res64: 25D83CE91EFC1D97  Time : 1425.0 sec.
user=vaughan
[2009-05-26 14:41:03]
555*2^689403-1 is not prime.  Res64: 8B314F5768753118  Time : 444.0 sec.
user=vaughan
[2009-05-26 14:41:04]
453*2^689403-1 is not prime.  Res64: 967CC962AA4C99F1  Time : 707.0 sec.
user=vaughan
[2009-05-26 14:41:34]
437*2^689404-1 is not prime.  Res64: A66407040D275C1D  Time : 449.0 sec.
user=vaughan
[2009-05-26 14:48:28]
573*2^689404-1 is not prime.  Res64: 8D397E9A7853AB66  Time : 445.0 sec.
user=SazanEyes
[2009-05-26 14:48:45]
465*2^689384-1 is not prime.  Res64: F1250F1672ACC643  Time : 9416.0 sec.
user=vaughan
[2009-05-26 14:49:04]
495*2^689405-1 is not prime.  Res64: 8E291D3C6EA1B69D  Time : 450.0 sec.
user=vaughan
[2009-05-26 14:52:51]
477*2^689405-1 is not prime.  Res64: C05E1E955DEBADD4  Time : 707.0 sec.
user=vaughan
[2009-05-26 14:55:10]
547*2^689401-1 is not prime.  Res64: E077B21A89E72B51  Time : 2414.0 sec.
user=vaughan
[2009-05-26 14:55:34]
483*2^689403-1 is not prime.  Res64: 6F558FFF4FE08B83  Time : 1352.0 sec.
user=vaughan
[2009-05-26 14:55:53]
529*2^689405-1 is not prime.  Res64: 8948464F1B56C5BC  Time : 446.0 sec.
user=vaughan
[2009-05-26 14:56:34]
447*2^689406-1 is not prime.  Res64: 1E2B3A7D703B82CA  Time : 450.0 sec.
user=vaughan
[2009-05-26 15:02:00]
539*2^689404-1 is not prime.  Res64: E7B000492365E65E  Time : 1418.0 sec.
user=vaughan
[2009-05-26 15:03:17]
495*2^689408-1 is not prime.  Res64: BEC3EFE96C8C6250  Time : 444.0 sec.
user=vaughan
[2009-05-26 15:04:05]
507*2^689408-1 is not prime.  Res64: D41F5C01657E6ED2  Time : 451.0 sec.
user=vaughan
[2009-05-26 15:04:55]
573*2^689406-1 is not prime.  Res64: 5E23E0E00E462AC2  Time : 724.0 sec.
user=SazanEyes
[2009-05-26 15:09:02]
425*2^689386-1 is not prime.  Res64: 94B131E82272CC75  Time : 9467.0 sec.
user=vaughan
[2009-05-26 15:10:41]
533*2^689408-1 is not prime.  Res64: B1B79117EECBDD53  Time : 444.0 sec.
user=vaughan
[2009-05-26 15:11:35]
465*2^689409-1 is not prime.  Res64: 1163186AA93AFAC1  Time : 451.0 sec.
user=vaughan
[2009-05-26 15:16:26]
507*2^689404-1 is not prime.  Res64: D5DF5FF5049B75D7  Time : 2402.0 sec.
user=vaughan
[2009-05-26 15:17:03]
501*2^689409-1 is not prime.  Res64: 47336E869A812527  Time : 728.0 sec.
user=vaughan
[2009-05-26 15:18:02]
489*2^689408-1 is not prime.  Res64: FF2C78EDD0C2E1E5  Time : 1348.0 sec.
user=vaughan
[2009-05-26 15:18:06]
559*2^689409-1 is not prime.  Res64: F87A48359B3B963F  Time : 445.0 sec.
user=vaughan
[2009-05-26 15:19:04]
413*2^689410-1 is not prime.  Res64: 7A30F534711E41AE  Time : 450.0 sec.
user=SazanEyes
[2009-05-26 15:19:57]
589*2^689387-1 is not prime.  Res64: CC5A5141D30811B0  Time : 9390.0 sec.
user=vaughan
[2009-05-26 15:25:30]
593*2^689410-1 is not prime.  Res64: 23D5052D74D9CE46  Time : 445.0 sec.
user=vaughan
[2009-05-26 15:25:39]
525*2^689408-1 is not prime.  Res64: C9EC960D89035238  Time : 1419.0 sec.
user=vaughan
[2009-05-26 15:26:33]
411*2^689411-1 is not prime.  Res64: 0C2E4BABD91E06FB  Time : 450.0 sec.
user=vaughan
[2009-05-26 15:29:17]
555*2^689410-1 is not prime.  Res64: B26A34B4F13DFAC9  Time : 734.0 sec.
user=vaughan
[2009-05-26 15:32:57]
465*2^689411-1 is not prime.  Res64: 01A79D28546B249D  Time : 448.0 sec.
user=vaughan
[2009-05-26 15:34:23]
405*2^689412-1 is not prime.  Res64: 28D9E7B1F94426CA  Time : 470.0 sec.
user=vaughan
[2009-05-26 15:35:28]
549*2^689407-1 is not prime.  Res64: FA0D51526CEB2EB2  Time : 2418.0 sec.
user=SazanEyes
[2009-05-26 15:37:05]
577*2^689389-1 is not prime.  Res64: D9037E78942C2158  Time : 9287.0 sec.
user=vaughan
[2009-05-26 15:40:19]
467*2^689412-1 is not prime.  Res64: 769974C284E3CE0F  Time : 442.0 sec.
user=vaughan
[2009-05-26 15:40:38]
561*2^689410-1 is not prime.  Res64: 9C71BBA4A4894B80  Time : 1356.0 sec.
user=vaughan
[2009-05-26 15:41:17]
419*2^689412-1 is not prime.  Res64: D4FF8632EED351E3  Time : 720.0 sec.
user=vaughan
[2009-05-26 15:41:54]
513*2^689412-1 is not prime.  Res64: 438830A1174A9436  Time : 451.0 sec.
user=vaughan
[2009-05-26 15:47:43]
429*2^689413-1 is not prime.  Res64: 015A21E34E0E2278  Time : 444.0 sec.
user=SazanEyes
[2009-05-26 15:47:59]
507*2^689393-1 is not prime.  Res64: F98B4B7439C59603  Time : 9200.0 sec.
user=vaughan
[2009-05-26 15:49:15]
573*2^689411-1 is not prime.  Res64: 9A60111B8A46B8F9  Time : 1416.0 sec.
user=vaughan
[2009-05-26 15:49:23]
519*2^689413-1 is not prime.  Res64: D3B8BC90A9AA20EE  Time : 449.0 sec.
user=vaughan
[2009-05-26 15:52:55]
471*2^689413-1 is not prime.  Res64: 149A516605BCC96F  Time : 699.0 sec.
user=vaughan
[2009-05-26 15:55:08]
555*2^689413-1 is not prime.  Res64: E2A6E15FD9F4659D  Time : 445.0 sec.
user=vaughan
[2009-05-26 15:56:35]
495*2^689410-1 is not prime.  Res64: 4A17568CCB36B8B6  Time : 2409.0 sec.
user=vaughan
[2009-05-26 15:57:01]
595*2^689413-1 is not prime.  Res64: 227A98953D1DCAD4  Time : 458.0 sec.
user=vaughan
[2009-05-26 16:02:34]
591*2^689415-1 is not prime.  Res64: A4450F7AEE5B59D8  Time : 446.0 sec.
user=vaughan
[2009-05-26 16:03:10]
451*2^689413-1 is not prime.  Res64: F5E53BC2666F2B16  Time : 1352.0 sec.
user=vaughan
[2009-05-26 16:04:31]
569*2^689416-1 is not prime.  Res64: 7E61858D610317BE  Time : 450.0 sec.
user=vaughan
[2009-05-26 16:04:33]
411*2^689414-1 is not prime.  Res64: 40E6AD9AFFCC3882  Time : 698.0 sec.
user=SazanEyes
[2009-05-26 16:05:30]
483*2^689396-1 is not prime.  Res64: 18AF7C80E83DC9BA  Time : 9223.0 sec.
user=vaughan
[2009-05-26 16:10:00]
573*2^689416-1 is not prime.  Res64: 1CE78524D28A29E7  Time : 446.0 sec.
user=vaughan
[2009-05-26 16:12:16]
469*2^689417-1 is not prime.  Res64: 954725271E56B783  Time : 465.0 sec.
user=vaughan
[2009-05-26 16:12:53]
565*2^689413-1 is not prime.  Res64: 1A4F28EB1165C1B5  Time : 1418.0 sec.
user=vaughan
[2009-05-26 16:15:38]
585*2^689412-1 is not prime.  Res64: E1C6668FC66DAED1  Time : 2411.0 sec.
user=vaughan
[2009-05-26 16:16:28]
489*2^689417-1 is not prime.  Res64: F444D2B091794B52  Time : 715.0 sec.
user=SazanEyes
[2009-05-26 16:17:00]
421*2^689399-1 is not prime.  Res64: 0760FFD05A4A6B17  Time : 9095.0 sec.
user=vaughan
[2009-05-26 16:17:28]
559*2^689417-1 is not prime.  Res64: D2A9C612137F74B2  Time : 449.0 sec.
user=vaughan
[2009-05-26 16:19:45]
565*2^689417-1 is not prime.  Res64: 8AAB0E3C4480609C  Time : 450.0 sec.
user=vaughan
[2009-05-26 16:24:53]
567*2^689418-1 is not prime.  Res64: FFE462340D3D79FB  Time : 446.0 sec.
user=vaughan
[2009-05-26 16:25:45]
447*2^689417-1 is not prime.  Res64: 45E14E9C356C7B2F  Time : 1355.0 sec.
user=vaughan
[2009-05-26 16:27:14]
581*2^689418-1 is not prime.  Res64: 711D56CE88AB78F3  Time : 449.0 sec.
user=vaughan
[2009-05-26 16:28:31]
471*2^689418-1 is not prime.  Res64: F960DE4815F75226  Time : 723.0 sec.
user=vaughan
[2009-05-26 16:32:17]
411*2^689419-1 is not prime.  Res64: 905466AC962EA3A0  Time : 444.0 sec.
user=vaughan
[2009-05-26 16:34:45]
549*2^689419-1 is not prime.  Res64: A06DEC0219720CE8  Time : 451.0 sec.
user=SazanEyes
[2009-05-26 16:35:15]
555*2^689400-1 is not prime.  Res64: F84B2CFAF1FE5762  Time : 9165.0 sec.
user=vaughan
[2009-05-26 16:36:20]
567*2^689416-1 is not prime.  Res64: 71DDFBE39D30A72C  Time : 2385.0 sec.
user=vaughan
[2009-05-26 16:36:33]
405*2^689418-1 is not prime.  Res64: F8AB0A3524BCD231  Time : 1420.0 sec.
user=vaughan
[2009-05-26 16:39:42]
507*2^689421-1 is not prime.  Res64: 417587F45075A1AD  Time : 445.0 sec.
user=vaughan
[2009-05-26 16:41:51]
553*2^689419-1 is not prime.  Res64: 97FD35BA38180D0B  Time : 800.0 sec.
user=vaughan
[2009-05-26 16:42:14]
511*2^689421-1 is not prime.  Res64: F1537810805C85F3  Time : 449.0 sec.
user=SazanEyes
[2009-05-26 16:46:07]
555*2^689401-1 is not prime.  Res64: 5DCA8AC3D9BE2468  Time : 8998.0 sec.
user=vaughan
[2009-05-26 16:47:06]
451*2^689423-1 is not prime.  Res64: 94FFB81F8EF5D48A  Time : 444.0 sec.
user=vaughan
[2009-05-26 16:48:24]
421*2^689419-1 is not prime.  Res64: 3A7D9075F87035C8  Time : 1359.0 sec.
user=vaughan
[2009-05-26 16:49:43]
473*2^689424-1 is not prime.  Res64: 0D4F7EC6353202A4  Time : 449.0 sec.
user=vaughan
[2009-05-26 16:54:32]
587*2^689424-1 is not prime.  Res64: DB86F726AE3402BC  Time : 446.0 sec.
user=vaughan
[2009-05-26 16:55:55]
461*2^689418-1 is not prime.  Res64: 4D1F1C7EC8A22214  Time : 2417.0 sec.
user=vaughan
[2009-05-26 16:56:18]
549*2^689423-1 is not prime.  Res64: 00770F100C332287  Time : 867.0 sec.
user=vaughan
[2009-05-26 16:57:11]
525*2^689425-1 is not prime.  Res64: 257AA21606191C6E  Time : 448.0 sec.
user=vaughan
[2009-05-26 17:00:17]
435*2^689423-1 is not prime.  Res64: F68F5F88206DEC99  Time : 1424.0 sec.
user=vaughan
[2009-05-26 17:01:55]
567*2^689425-1 is not prime.  Res64: 6C358A5EFE71F16C  Time : 444.0 sec.
user=vaughan
[2009-05-26 17:04:48]
563*2^689426-1 is not prime.  Res64: 8FAA2CD938066DEF  Time : 457.0 sec.
user=SazanEyes
[2009-05-26 17:04:50]
497*2^689404-1 is not prime.  Res64: 6745AC29E1A51B2F  Time : 8936.0 sec.
user=vaughan
[2009-05-26 17:09:21]
405*2^689427-1 is not prime.  Res64: E5054767365EAF6C  Time : 447.0 sec.
user=vaughan
[2009-05-26 17:10:18]
537*2^689426-1 is not prime.  Res64: F69292E8CCD9C15A  Time : 840.0 sec.
user=vaughan
[2009-05-26 17:10:55]
489*2^689425-1 is not prime.  Res64: 0966078717254151  Time : 1351.0 sec.
user=vaughan
[2009-05-26 17:12:16]
409*2^689427-1 is not prime.  Res64: 5CA0FB2D912CD616  Time : 449.0 sec.
user=SazanEyes
[2009-05-26 17:15:11]
591*2^689405-1 is not prime.  Res64: 3D33D204CBD4BC3F  Time : 8787.0 sec.
user=vaughan
[2009-05-26 17:16:23]
455*2^689422-1 is not prime.  Res64: 9902834409ACBC45  Time : 2403.0 sec.
user=vaughan
[2009-05-26 17:16:45]
511*2^689427-1 is not prime.  Res64: 47F941650FA81426  Time : 444.0 sec.
user=vaughan
[2009-05-26 17:19:45]
533*2^689428-1 is not prime.  Res64: 746BEF8C61E5D8D1  Time : 450.0 sec.
user=vaughan
[2009-05-26 17:23:53]
581*2^689426-1 is not prime.  Res64: 021184DA150C8D8B  Time : 1417.0 sec.
user=vaughan
[2009-05-26 17:24:09]
477*2^689429-1 is not prime.  Res64: CA00093BEB2D53D1  Time : 444.0 sec.
user=vaughan
[2009-05-26 17:24:29]
573*2^689427-1 is not prime.  Res64: 462D9E6F6CB4AE42  Time : 851.0 sec.
user=vaughan
[2009-05-26 17:27:16]
577*2^689429-1 is not prime.  Res64: 7F04676CF1FC1A85  Time : 452.0 sec.
user=vaughan
[2009-05-26 17:31:32]
513*2^689430-1 is not prime.  Res64: 3BC925B73ECBED2A  Time : 443.0 sec.
user=vaughan
[2009-05-26 17:33:30]
519*2^689428-1 is not prime.  Res64: 9A26D1DBB9D47BEE  Time : 1356.0 sec.
user=SazanEyes
[2009-05-26 17:34:35]
555*2^689409-1 is not prime.  Res64: 3034647BF0055A8B  Time : 8733.0 sec.
user=vaughan
[2009-05-26 17:34:52]
421*2^689431-1 is not prime.  Res64: 9922037DAA58E67A  Time : 456.0 sec.
user=vaughan
[2009-05-26 17:35:57]
497*2^689426-1 is not prime.  Res64: 41737FA5633895FE  Time : 2402.0 sec.
user=vaughan
[2009-05-26 17:37:17]
543*2^689430-1 is not prime.  Res64: DD20357E243DD7B4  Time : 768.0 sec.
user=vaughan
[2009-05-26 17:38:57]
441*2^689431-1 is not prime.  Res64: 3945CFAD0945A0CA  Time : 445.0 sec.
user=vaughan
[2009-05-26 17:42:21]
535*2^689431-1 is not prime.  Res64: C5E820A31898F68C  Time : 449.0 sec.
user=SazanEyes
[2009-05-26 17:44:16]
439*2^689411-1 is not prime.  Res64: 88C5001554242326  Time : 8659.0 sec.
user=vaughan
[2009-05-26 17:46:21]
573*2^689431-1 is not prime.  Res64: C7D576E8E42D395B  Time : 445.0 sec.
user=vaughan
[2009-05-26 17:47:28]
437*2^689430-1 is not prime.  Res64: F94D2EF1965FCA56  Time : 1416.0 sec.
user=vaughan
[2009-05-26 17:49:51]
437*2^689432-1 is not prime.  Res64: D5FE77168E67042D  Time : 450.0 sec.
user=vaughan
[2009-05-26 17:50:05]
559*2^689431-1 is not prime.  Res64: D0D8DEAE95E5C599  Time : 768.0 sec.
user=vaughan
[2009-05-26 17:53:45]
483*2^689432-1 is not prime.  Res64: 9D6A45287E9173F3  Time : 444.0 sec.
user=vaughan
[2009-05-26 17:55:59]
453*2^689431-1 is not prime.  Res64: FE44A9010FA14F1E  Time : 1349.0 sec.
user=vaughan
[2009-05-26 17:56:31]
441*2^689429-1 is not prime.  Res64: 79698A76700A9892  Time : 2408.0 sec.
user=vaughan
[2009-05-26 17:57:20]
539*2^689432-1 is not prime.  Res64: 6145BA18839D0330  Time : 450.0 sec.
user=vaughan
[2009-05-26 18:01:08]
529*2^689433-1 is not prime.  Res64: 65E2CC4D7395F22E  Time : 443.0 sec.
user=SazanEyes
[2009-05-26 18:02:57]
427*2^689413-1 is not prime.  Res64: 6B70A735FB20D6EA  Time : 8752.0 sec.
user=vaughan
[2009-05-26 18:03:00]
599*2^689432-1 is not prime.  Res64: 18CD45C7B413C95F  Time : 776.0 sec.
user=vaughan
[2009-05-26 18:04:51]
561*2^689434-1 is not prime.  Res64: 1E2347D6088A4327  Time : 452.0 sec.
user=vaughan
[2009-05-26 18:08:33]
567*2^689434-1 is not prime.  Res64: 4E1BD1C67801AF50  Time : 445.0 sec.
user=vaughan
[2009-05-26 18:10:52]
537*2^689432-1 is not prime.  Res64: A3CA5F34A1728AA9  Time : 1405.0 sec.
user=vaughan
[2009-05-26 18:12:20]
595*2^689435-1 is not prime.  Res64: 1984B1E3DC3BB1C6  Time : 450.0 sec.
user=SazanEyes
[2009-05-26 18:13:22]
561*2^689413-1 is not prime.  Res64: 15F9A968D4F13B20  Time : 8723.0 sec.
user=vaughan
[2009-05-26 18:15:59]
425*2^689436-1 is not prime.  Res64: 9408147BC8C4C4B5  Time : 446.0 sec.
user=vaughan
[2009-05-26 18:16:13]
481*2^689435-1 is not prime.  Res64: 73176797767CF548  Time : 793.0 sec.
user=vaughan
[2009-05-26 18:16:46]
555*2^689431-1 is not prime.  Res64: C3527B38802F4C01  Time : 2449.0 sec.
user=vaughan
[2009-05-26 18:18:24]
555*2^689433-1 is not prime.  Res64: A6EE30FB385B65B7  Time : 1346.0 sec.
user=vaughan
[2009-05-26 18:19:51]
563*2^689436-1 is not prime.  Res64: 0300A1BF04665720  Time : 451.0 sec.
user=vaughan
[2009-05-26 18:23:23]
425*2^689438-1 is not prime.  Res64: 274B659CCB18F291  Time : 445.0 sec.
user=vaughan
[2009-05-26 18:27:20]
429*2^689440-1 is not prime.  Res64: 9EFF7A579D644D3F  Time : 451.0 sec.
user=vaughan
[2009-05-26 18:29:02]
543*2^689439-1 is not prime.  Res64: 2F088BB342103E84  Time : 769.0 sec.
user=vaughan
[2009-05-26 18:30:48]
453*2^689440-1 is not prime.  Res64: 20E62E83EE05D696  Time : 445.0 sec.
user=SazanEyes
[2009-05-26 18:32:21]
501*2^689417-1 is not prime.  Res64: 9DF95D39D9021B0D  Time : 8811.0 sec.
user=vaughan
[2009-05-26 18:34:36]
539*2^689436-1 is not prime.  Res64: 0750802C854BDB65  Time : 1424.0 sec.
user=vaughan
[2009-05-26 18:34:48]
455*2^689440-1 is not prime.  Res64: C2CD5D2692E63D2B  Time : 448.0 sec.
user=vaughan
[2009-05-26 18:36:55]
435*2^689434-1 is not prime.  Res64: 8A2F4B80BE2899FA  Time : 2425.0 sec.
user=vaughan
[2009-05-26 18:38:13]
537*2^689440-1 is not prime.  Res64: F5EFEF1A07D505B9  Time : 445.0 sec.
user=vaughan
[2009-05-26 18:40:56]
573*2^689439-1 is not prime.  Res64: 720E28AD9352DB74  Time : 1352.0 sec.
user=vaughan
[2009-05-26 18:41:55]
513*2^689440-1 is not prime.  Res64: C8E1850EF385B16F  Time : 773.0 sec.
user=vaughan
[2009-05-26 18:42:17]
487*2^689441-1 is not prime.  Res64: 6DCE0677041B4555  Time : 449.0 sec.
user=SazanEyes
[2009-05-26 18:42:33]
513*2^689418-1 is not prime.  Res64: C4D285CF6592CCF3  Time : 8733.0 sec.
user=vaughan
[2009-05-26 18:45:36]
537*2^689441-1 is not prime.  Res64: 42B3290F7C750823  Time : 443.0 sec.
user=vaughan
[2009-05-26 18:49:48]
447*2^689442-1 is not prime.  Res64: CE5869D7C3FF1F34  Time : 451.0 sec.
user=vaughan
[2009-05-26 18:53:00]
429*2^689443-1 is not prime.  Res64: AAD306C2DED9E599  Time : 444.0 sec.
user=vaughan
[2009-05-26 18:54:55]
425*2^689442-1 is not prime.  Res64: 102AF8119A2205A4  Time : 780.0 sec.
user=vaughan
[2009-05-26 18:56:24]
553*2^689439-1 is not prime.  Res64: A6D31C4C18CCF554  Time : 2379.0 sec.
user=vaughan
[2009-05-26 18:57:19]
463*2^689443-1 is not prime.  Res64: 208E1D541720E4EF  Time : 451.0 sec.
user=vaughan
[2009-05-26 18:58:35]
477*2^689441-1 is not prime.  Res64: B6CB9E62009CE8FD  Time : 1439.0 sec.
user=vaughan
[2009-05-26 19:00:22]
465*2^689443-1 is not prime.  Res64: 2174C6D9586512D8  Time : 443.0 sec.
user=SazanEyes
[2009-05-26 19:00:22]
537*2^689421-1 is not prime.  Res64: CDA696C17B861E7A  Time : 8708.0 sec.
user=vaughan
[2009-05-26 19:03:34]
571*2^689441-1 is not prime.  Res64: DDDD3CF17107E173  Time : 1358.0 sec.
user=vaughan
[2009-05-26 19:04:51]
453*2^689446-1 is not prime.  Res64: CEF4FBABF2B746B5  Time : 452.0 sec.
user=vaughan
[2009-05-26 19:07:41]
557*2^689444-1 is not prime.  Res64: 8358B6A38C301032  Time : 766.0 sec.
user=vaughan
[2009-05-26 19:07:44]
513*2^689446-1 is not prime.  Res64: 64FBE5A9FA638C23  Time : 442.0 sec.
user=SazanEyes
[2009-05-26 19:11:39]
563*2^689424-1 is not prime.  Res64: 2FCAB7BE6EA4E4E6  Time : 8732.0 sec.
user=vaughan
[2009-05-26 19:12:24]
403*2^689447-1 is not prime.  Res64: B0FEB5BBAD9D90D3  Time : 454.0 sec.
user=vaughan
[2009-05-26 19:15:09]
505*2^689447-1 is not prime.  Res64: 537B67849E3B18FF  Time : 445.0 sec.
user=vaughan
[2009-05-26 19:16:34]
517*2^689441-1 is not prime.  Res64: 35E1D6CDA206A22C  Time : 2379.0 sec.
user=vaughan
[2009-05-26 19:19:53]
453*2^689448-1 is not prime.  Res64: 8AB4120AE124FBB9  Time : 449.0 sec.
user=vaughan
[2009-05-26 19:21:06]
435*2^689447-1 is not prime.  Res64: AB57089801A27AE7  Time : 806.0 sec.
user=vaughan
[2009-05-26 19:22:15]
477*2^689446-1 is not prime.  Res64: 983966E48D29DDE6  Time : 1420.0 sec.
user=vaughan
[2009-05-26 19:22:34]
473*2^689448-1 is not prime.  Res64: 836129093E107492  Time : 445.0 sec.
user=vaughan
[2009-05-26 19:26:03]
593*2^689446-1 is not prime.  Res64: 582C292653B2F0BA  Time : 1349.0 sec.
user=vaughan
[2009-05-26 19:27:23]
569*2^689448-1 is not prime.  Res64: B977E5809E0990C5  Time : 450.0 sec.
user=SazanEyes
[2009-05-26 19:29:55]
483*2^689427-1 is not prime.  Res64: 80083CCD529EDD6F  Time : 8705.0 sec.
user=vaughan
[2009-05-26 19:29:57]
515*2^689450-1 is not prime.  Res64: E5046F3B0F986E15  Time : 443.0 sec.
user=vaughan
[2009-05-26 19:34:39]
415*2^689449-1 is not prime.  Res64: 71D7FB791606645F  Time : 814.0 sec.
user=vaughan
[2009-05-26 19:34:54]
587*2^689450-1 is not prime.  Res64: 6485E3353ADFC039  Time : 451.0 sec.
user=vaughan
[2009-05-26 19:36:36]
577*2^689445-1 is not prime.  Res64: 013EC4E989B8F424  Time : 2413.0 sec.
user=vaughan
[2009-05-26 19:37:20]
511*2^689451-1 is not prime.  Res64: 99F95227CC83FD88  Time : 443.0 sec.
user=SazanEyes
[2009-05-26 19:40:57]
569*2^689428-1 is not prime.  Res64: 987FEAF769DD85C8  Time : 8746.0 sec.
user=vaughan
[2009-05-26 19:42:23]
437*2^689452-1 is not prime.  Res64: 4B798FAEBDB232C5  Time : 449.0 sec.
user=vaughan
[2009-05-26 19:44:45]
563*2^689452-1 is not prime.  Res64: A1E18A150D091170  Time : 445.0 sec.
user=vaughan
[2009-05-26 19:45:58]
435*2^689449-1 is not prime.  Res64: 6E10293BA972479C  Time : 1424.0 sec.
user=vaughan
[2009-05-26 19:48:03]
579*2^689451-1 is not prime.  Res64: 9F0666CB9B6FC542  Time : 804.0 sec.
user=vaughan
[2009-05-26 19:48:38]
563*2^689450-1 is not prime.  Res64: D98684AE0F8898BB  Time : 1355.0 sec.
user=vaughan
[2009-05-26 19:49:52]
567*2^689453-1 is not prime.  Res64: 0987DEA65668ADE1  Time : 449.0 sec.
user=vaughan
[2009-05-26 19:52:10]
425*2^689454-1 is not prime.  Res64: 8D1871DC72D9E94D  Time : 445.0 sec.
user=vaughan
[2009-05-26 19:56:55]
567*2^689448-1 is not prime.  Res64: 7AB79B22E12FA5F7  Time : 2421.0 sec.
user=vaughan
[2009-05-26 19:57:21]
489*2^689455-1 is not prime.  Res64: E1F49809C76E11FB  Time : 449.0 sec.
user=SazanEyes
[2009-05-26 19:58:39]
493*2^689431-1 is not prime.  Res64: C4A32EE7BEAACBB3  Time : 8644.0 sec.
user=vaughan
[2009-05-26 19:59:35]
493*2^689455-1 is not prime.  Res64: A6AEE53F4891331A  Time : 445.0 sec.
user=vaughan
[2009-05-26 20:01:33]
563*2^689454-1 is not prime.  Res64: C31B1CD4F09BDE7D  Time : 810.0 sec.
user=vaughan
[2009-05-26 20:04:51]
437*2^689456-1 is not prime.  Res64: 1DF14CC02D0FD169  Time : 451.0 sec.
user=vaughan
[2009-05-26 20:07:00]
567*2^689456-1 is not prime.  Res64: D293F09BBA330D16  Time : 445.0 sec.
user=vaughan
[2009-05-26 20:09:46]
473*2^689454-1 is not prime.  Res64: 412C2C51847EB02B  Time : 1429.0 sec.
user=SazanEyes
[2009-05-26 20:10:06]
479*2^689432-1 is not prime.  Res64: F605EE0A7F904F5C  Time : 8750.0 sec.
user=vaughan
[2009-05-26 20:11:17]
469*2^689455-1 is not prime.  Res64: 10DA1AB98BBCED49  Time : 1359.0 sec.
user=vaughan
[2009-05-26 20:12:19]
527*2^689458-1 is not prime.  Res64: F96872720CBCCEF8  Time : 448.0 sec.
user=vaughan
[2009-05-26 20:14:26]
575*2^689458-1 is not prime.  Res64: 575EF249482C1A20  Time : 446.0 sec.
user=vaughan
[2009-05-26 20:14:59]
453*2^689458-1 is not prime.  Res64: 3326DC8CD0A398D1  Time : 806.0 sec.
user=vaughan
[2009-05-26 20:16:28]
485*2^689452-1 is not prime.  Res64: 31724E0AA962EA07  Time : 2392.0 sec.
user=vaughan
[2009-05-26 20:19:47]
425*2^689460-1 is not prime.  Res64: 122B61EB43B13DA8  Time : 448.0 sec.
user=vaughan
[2009-05-26 20:21:51]
455*2^689460-1 is not prime.  Res64: 30621F5A4929D1EE  Time : 446.0 sec.
user=vaughan
[2009-05-26 20:27:15]
525*2^689460-1 is not prime.  Res64: FAA623C3321D94A3  Time : 448.0 sec.
user=vaughan
[2009-05-26 20:27:33]
465*2^689460-1 is not prime.  Res64: CF75E6AAD3E9A511  Time : 754.0 sec.
user=SazanEyes
[2009-05-26 20:28:25]
475*2^689435-1 is not prime.  Res64: 4FA1BDA6194DAE37  Time : 8728.0 sec.
user=vaughan
[2009-05-26 20:29:16]
539*2^689460-1 is not prime.  Res64: 715E33EF8150D0B9  Time : 446.0 sec.
user=vaughan
[2009-05-26 20:32:13]
465*2^689459-1 is not prime.  Res64: B5062617826A3104  Time : 1347.0 sec.
user=vaughan
[2009-05-26 20:33:54]
549*2^689459-1 is not prime.  Res64: 4B02A1AE61E173DC  Time : 1358.0 sec.
user=vaughan
[2009-05-26 20:34:44]
545*2^689460-1 is not prime.  Res64: B6F77C5250A8E04F  Time : 449.0 sec.
user=vaughan
[2009-05-26 20:36:19]
519*2^689455-1 is not prime.  Res64: FA9193A26B928B6D  Time : 2364.0 sec.
user=vaughan
[2009-05-26 20:36:41]
439*2^689461-1 is not prime.  Res64: 253E788DAAE91B51  Time : 445.0 sec.
user=vaughan
[2009-05-26 20:39:17]
549*2^689460-1 is not prime.  Res64: 68A543EF411AE19D  Time : 704.0 sec.
user=SazanEyes
[2009-05-26 20:39:23]
587*2^689436-1 is not prime.  Res64: 0B49C57FC490E7AE  Time : 8761.0 sec.
user=vaughan
[2009-05-26 20:42:15]
541*2^689461-1 is not prime.  Res64: 3BB58348B3BEBAE4  Time : 452.0 sec.
user=vaughan
[2009-05-26 20:44:06]
597*2^689461-1 is not prime.  Res64: 1377D9D3D34DF3A3  Time : 445.0 sec.
user=vaughan
[2009-05-26 20:49:44]
595*2^689463-1 is not prime.  Res64: 4FCF3CE5063D6CDC  Time : 449.0 sec.
user=vaughan
[2009-05-26 20:49:57]
501*2^689462-1 is not prime.  Res64: 485F08D32CCC841D  Time : 574.0 sec.
user=vaughan
[2009-05-26 20:49:57]
507*2^689462-1 is not prime.  Res64: AEEFC7EB5E632954  Time : 574.0 sec.
user=vaughan
[2009-05-26 20:50:58]
405*2^689462-1 is not prime.  Res64: 53EFA608FCCC6F85  Time : 702.0 sec.
user=vaughan
[2009-05-26 20:51:31]
413*2^689464-1 is not prime.  Res64: 31B8AA52342A65E2  Time : 445.0 sec.
user=vaughan
[2009-05-26 20:54:03]
477*2^689462-1 is not prime.  Res64: 0B8C70003660D6F7  Time : 820.0 sec.
user=vaughan
[2009-05-26 20:54:06]
441*2^689463-1 is not prime.  Res64: 1FB26062C25BC026  Time : 823.0 sec.
user=vaughan
[2009-05-26 20:55:53]
465*2^689461-1 is not prime.  Res64: 77819EDDCB12E2F5  Time : 1420.0 sec.
user=vaughan
[2009-05-26 20:56:17]
469*2^689461-1 is not prime.  Res64: 2A5D75E38DD71D42  Time : 1344.0 sec.
user=vaughan
[2009-05-26 20:56:29]
483*2^689460-1 is not prime.  Res64: 4AAD5F6883DF9EEE  Time : 2401.0 sec.
user=vaughan
[2009-05-26 20:57:13]
435*2^689464-1 is not prime.  Res64: A88ED0AB7B08603F  Time : 449.0 sec.
user=SazanEyes
[2009-05-26 20:58:38]
447*2^689441-1 is not prime.  Res64: 1E1E225094F41243  Time : 8777.0 sec.
user=vaughan
[2009-05-26 20:58:56]
409*2^689465-1 is not prime.  Res64: 162D862489446DC1  Time : 445.0 sec.
user=vaughan
[2009-05-26 21:02:38]
527*2^689464-1 is not prime.  Res64: A047B1FD5EFF389C  Time : 700.0 sec.
user=vaughan
[2009-05-26 21:04:42]
447*2^689466-1 is not prime.  Res64: CEF9E3067CB8F0E0  Time : 449.0 sec.
user=vaughan
[2009-05-26 21:06:20]
429*2^689467-1 is not prime.  Res64: FC84C9CEA67A7802  Time : 444.0 sec.
user=SazanEyes
[2009-05-26 21:09:30]
513*2^689442-1 is not prime.  Res64: 024614ED2A91B029  Time : 8817.0 sec.
user=vaughan
[2009-05-26 21:12:10]
493*2^689467-1 is not prime.  Res64: 12F1893D3BBB8089  Time : 448.0 sec.
user=vaughan
[2009-05-26 21:13:45]
499*2^689467-1 is not prime.  Res64: 926D726B73032D42  Time : 445.0 sec.
user=vaughan
[2009-05-26 21:14:23]
451*2^689467-1 is not prime.  Res64: 2035F861A93973BD  Time : 705.0 sec.
user=vaughan
[2009-05-26 21:16:35]
577*2^689461-1 is not prime.  Res64: 988AC416E468120E  Time : 2417.0 sec.
user=vaughan
[2009-05-26 21:18:44]
511*2^689465-1 is not prime.  Res64: 148D1CC32560539B  Time : 1372.0 sec.
user=vaughan
[2009-05-26 21:18:51]
525*2^689465-1 is not prime.  Res64: 69D064F8A2918DB0  Time : 1354.0 sec.
user=vaughan
[2009-05-26 21:19:38]
589*2^689467-1 is not prime.  Res64: 4AD15170CBFE7560  Time : 448.0 sec.
user=vaughan
[2009-05-26 21:21:11]
405*2^689468-1 is not prime.  Res64: D3FDC17A9289772D  Time : 446.0 sec.
user=vaughan
[2009-05-26 21:26:07]
413*2^689468-1 is not prime.  Res64: 2457CBAAC239BBAD  Time : 704.0 sec.
user=vaughan
[2009-05-26 21:27:07]
519*2^689468-1 is not prime.  Res64: 5FF34BE5C973E584  Time : 449.0 sec.
user=SazanEyes
[2009-05-26 21:28:32]
587*2^689446-1 is not prime.  Res64: 2EBCA7D2802B4315  Time : 8890.0 sec.
user=vaughan
[2009-05-26 21:28:36]
545*2^689468-1 is not prime.  Res64: 545CBCB7274EB8F6  Time : 446.0 sec.
user=vaughan
[2009-05-26 21:34:35]
459*2^689469-1 is not prime.  Res64: 79E58C2A93D41361  Time : 448.0 sec.
user=vaughan
[2009-05-26 21:36:01]
443*2^689470-1 is not prime.  Res64: 4AD915F721580FA7  Time : 446.0 sec.
user=vaughan
[2009-05-26 21:36:34]
437*2^689466-1 is not prime.  Res64: 57611186EAF5A312  Time : 2405.0 sec.
user=SazanEyes
[2009-05-26 21:37:34]
405*2^689448-1 is not prime.  Res64: 640C931EEE3EBD4F  Time : 8755.0 sec.
user=vaughan
[2009-05-26 21:37:49]
579*2^689468-1 is not prime.  Res64: F9AB7D1A8C691FB3  Time : 702.0 sec.
user=vaughan
[2009-05-26 21:41:10]
507*2^689468-1 is not prime.  Res64: 39DAD48CF826A729  Time : 1340.0 sec.
user=vaughan
[2009-05-26 21:42:04]
467*2^689470-1 is not prime.  Res64: 3DC43DD151C5B6DB  Time : 449.0 sec.
user=vaughan
[2009-05-26 21:42:19]
479*2^689468-1 is not prime.  Res64: 9C5A43B87A59E302  Time : 1415.0 sec.
user=vaughan
[2009-05-26 21:43:26]
483*2^689470-1 is not prime.  Res64: 9F751C4CB1DF622E  Time : 445.0 sec.
user=vaughan
[2009-05-26 21:49:34]
505*2^689471-1 is not prime.  Res64: 82614E2967BBCB31  Time : 450.0 sec.
user=vaughan
[2009-05-26 21:49:34]
533*2^689470-1 is not prime.  Res64: F366C4B5413235C7  Time : 705.0 sec.
user=vaughan
[2009-05-26 21:50:51]
549*2^689471-1 is not prime.  Res64: 51F33261BF88B3B1  Time : 445.0 sec.
user=vaughan
[2009-05-26 21:56:48]
437*2^689468-1 is not prime.  Res64: 8B351A1F3FB6B152  Time : 2413.0 sec.
user=vaughan
[2009-05-26 21:57:03]
571*2^689471-1 is not prime.  Res64: 67FE608830934A69  Time : 450.0 sec.
user=vaughan
[2009-05-26 21:58:16]
429*2^689472-1 is not prime.  Res64: 47FEBA840DF0921E  Time : 445.0 sec.
user=SazanEyes
[2009-05-26 21:58:26]
405*2^689451-1 is not prime.  Res64: D010D38FEC159EE0  Time : 8911.0 sec.
user=vaughan
[2009-05-26 22:01:22]
423*2^689472-1 is not prime.  Res64: C1E6FFB1BC10CF95  Time : 708.0 sec.
user=vaughan
[2009-05-26 22:03:48]
597*2^689470-1 is not prime.  Res64: 094CB08141D92F83  Time : 1359.0 sec.
user=vaughan
[2009-05-26 22:04:32]
489*2^689472-1 is not prime.  Res64: 16C950A3839589F9  Time : 450.0 sec.
user=vaughan
[2009-05-26 22:04:36]
525*2^689471-1 is not prime.  Res64: 3CFF0C672AB28EFB  Time : 1338.0 sec.
user=SazanEyes
[2009-05-26 22:05:30]
465*2^689453-1 is not prime.  Res64: 3C3F257E0C61EA4D  Time : 8673.0 sec.
user=vaughan
[2009-05-26 22:05:41]
497*2^689472-1 is not prime.  Res64: DEB15EBDCE4EAFC8  Time : 445.0 sec.
user=vaughan
[2009-05-26 22:12:01]
539*2^689472-1 is not prime.  Res64: FF3EE147C6891FAB  Time : 449.0 sec.
user=vaughan
[2009-05-26 22:13:06]
495*2^689474-1 is not prime.  Res64: A05077F44135A8C9  Time : 445.0 sec.
user=vaughan
[2009-05-26 22:13:12]
525*2^689472-1 is not prime.  Res64: E9D3B134799105C5  Time : 710.0 sec.
user=vaughan
[2009-05-26 22:16:35]
521*2^689470-1 is not prime.  Res64: 1A93F7ED06017A89  Time : 2401.0 sec.
user=vaughan
[2009-05-26 22:19:30]
503*2^689474-1 is not prime.  Res64: E7A384BD1BEDB2B8  Time : 449.0 sec.
user=vaughan
[2009-05-26 22:20:32]
507*2^689474-1 is not prime.  Res64: 2DA53300513EF2CB  Time : 446.0 sec.
user=vaughan
[2009-05-26 22:25:03]
533*2^689474-1 is not prime.  Res64: 9AE9C95A790FF236  Time : 711.0 sec.
user=vaughan
[2009-05-26 22:26:23]
537*2^689472-1 is not prime.  Res64: 4649DE856F3D5DD7  Time : 1355.0 sec.
user=vaughan
[2009-05-26 22:27:00]
451*2^689475-1 is not prime.  Res64: 5C1F6F80428AE89B  Time : 450.0 sec.
user=vaughan
[2009-05-26 22:27:57]
453*2^689475-1 is not prime.  Res64: BCD4DD36968A640D  Time : 446.0 sec.
user=SazanEyes
[2009-05-26 22:27:59]
539*2^689456-1 is not prime.  Res64: CC2EF2F2F55E7A69  Time : 8960.0 sec.
user=vaughan
[2009-05-26 22:28:28]
557*2^689472-1 is not prime.  Res64: F6C2D70E5BA2DF0E  Time : 1432.0 sec.
user=SazanEyes
[2009-05-26 22:33:25]
543*2^689459-1 is not prime.  Res64: A4166A542F1376A6  Time : 8599.0 sec.
user=vaughan
[2009-05-26 22:34:29]
573*2^689475-1 is not prime.  Res64: 00F39355E00586D8  Time : 450.0 sec.
user=vaughan
[2009-05-26 22:35:22]
437*2^689476-1 is not prime.  Res64: B0DE5FC160895905  Time : 446.0 sec.
user=vaughan
[2009-05-26 22:36:46]
485*2^689472-1 is not prime.  Res64: EF9C8CDD893D48F1  Time : 2398.0 sec.
user=vaughan
[2009-05-26 22:36:55]
513*2^689475-1 is not prime.  Res64: 412829DC4228AA0A  Time : 712.0 sec.
user=vaughan
[2009-05-26 22:41:58]
593*2^689476-1 is not prime.  Res64: C175C09DBD92AA1E  Time : 449.0 sec.
user=vaughan
[2009-05-26 22:42:47]
417*2^689477-1 is not prime.  Res64: C967685FB2CAEFCE  Time : 446.0 sec.
user=vaughan
[2009-05-26 22:48:50]
571*2^689477-1 is not prime.  Res64: 5085680A606F6F49  Time : 715.0 sec.
user=vaughan
[2009-05-26 22:48:54]
523*2^689475-1 is not prime.  Res64: E166EE6B84B97C26  Time : 1351.0 sec.
user=vaughan
[2009-05-26 22:49:27]
585*2^689477-1 is not prime.  Res64: 5F00E358AF6B7917  Time : 449.0 sec.
user=vaughan
[2009-05-26 22:50:12]
589*2^689477-1 is not prime.  Res64: 5C4C7CD1E5500D0D  Time : 445.0 sec.
user=vaughan
[2009-05-26 22:50:26]
575*2^689476-1 is not prime.  Res64: FA8A6103E4365D08  Time : 1319.0 sec.
user=SazanEyes
[2009-05-26 22:56:37]
557*2^689460-1 is not prime.  Res64: BB1F55CB2FCB7A9D  Time : 8892.0 sec.
user=vaughan
[2009-05-26 22:56:50]
551*2^689474-1 is not prime.  Res64: F9C729FE3995C232  Time : 2415.0 sec.
user=vaughan
[2009-05-26 22:56:56]
421*2^689479-1 is not prime.  Res64: 20B3449E0FFE94E2  Time : 449.0 sec.
user=vaughan
[2009-05-26 22:57:37]
441*2^689479-1 is not prime.  Res64: 2B82168E1FF71DF8  Time : 445.0 sec.
user=vaughan
[2009-05-26 23:00:41]
447*2^689478-1 is not prime.  Res64: 24A851BDB26F88AE  Time : 711.0 sec.
user=SazanEyes
[2009-05-26 23:01:25]
407*2^689462-1 is not prime.  Res64: 367F1D790CB5534B  Time : 8522.0 sec.
user=vaughan
[2009-05-26 23:04:25]
427*2^689481-1 is not prime.  Res64: 4A9D01D4F5311E04  Time : 449.0 sec.
user=vaughan
[2009-05-26 23:05:02]
535*2^689481-1 is not prime.  Res64: 0412EEC566907C38  Time : 445.0 sec.
user=vaughan
[2009-05-26 23:11:22]
515*2^689478-1 is not prime.  Res64: 88E9EB415045BE55  Time : 1348.0 sec.
user=vaughan
[2009-05-26 23:11:56]
425*2^689482-1 is not prime.  Res64: 970E0653396DDD2F  Time : 451.0 sec.
user=vaughan
[2009-05-26 23:12:27]
467*2^689482-1 is not prime.  Res64: 634712E9281B4CDD  Time : 445.0 sec.
user=vaughan
[2009-05-26 23:12:34]
597*2^689481-1 is not prime.  Res64: 87CCDBFE7890464F  Time : 713.0 sec.
user=vaughan
[2009-05-26 23:13:53]
525*2^689479-1 is not prime.  Res64: 64D6661561E413EE  Time : 1407.0 sec.
user=vaughan
[2009-05-26 23:16:58]
475*2^689477-1 is not prime.  Res64: 08DA4F332DAAB4FE  Time : 2413.0 sec.
user=vaughan
[2009-05-26 23:19:25]
513*2^689482-1 is not prime.  Res64: 1D77EFBDA550A3BD  Time : 450.0 sec.
user=vaughan
[2009-05-26 23:19:55]
453*2^689484-1 is not prime.  Res64: 2DFCAC05AC261796  Time : 448.0 sec.
user=vaughan
[2009-05-26 23:24:26]
455*2^689484-1 is not prime.  Res64: 9FAFD9BB5A44E463  Time : 713.0 sec.
user=SazanEyes
[2009-05-26 23:25:00]
551*2^689466-1 is not prime.  Res64: 6E0D2749A56BADFE  Time : 8782.0 sec.
user=vaughan
[2009-05-26 23:26:54]
525*2^689484-1 is not prime.  Res64: CC54C6B834D6375F  Time : 450.0 sec.
user=vaughan
[2009-05-26 23:27:19]
545*2^689484-1 is not prime.  Res64: C7F3CDC1E386F109  Time : 444.0 sec.
user=SazanEyes
[2009-05-26 23:30:24]
573*2^689467-1 is not prime.  Res64: 16B7CE378CB9A37C  Time : 8454.0 sec.
user=vaughan
[2009-05-26 23:33:35]
491*2^689482-1 is not prime.  Res64: 437957A5A1B0C188  Time : 1334.0 sec.
user=vaughan
[2009-05-26 23:34:24]
587*2^689484-1 is not prime.  Res64: D5F8116E3B818724  Time : 450.0 sec.
user=vaughan
[2009-05-26 23:34:44]
405*2^689485-1 is not prime.  Res64: 80E67DCD918E4DA9  Time : 445.0 sec.
user=vaughan
[2009-05-26 23:36:14]
549*2^689484-1 is not prime.  Res64: AAFC2585208D34BF  Time : 708.0 sec.
user=vaughan
[2009-05-26 23:36:29]
459*2^689484-1 is not prime.  Res64: 4674CD3E25C8E16D  Time : 1356.0 sec.
user=vaughan
[2009-05-26 23:37:47]
449*2^689480-1 is not prime.  Res64: F51F898049570D1B  Time : 2457.0 sec.
user=vaughan
[2009-05-26 23:41:54]
481*2^689485-1 is not prime.  Res64: E1FFDB9596D45591  Time : 450.0 sec.
user=vaughan
[2009-05-26 23:42:11]
591*2^689485-1 is not prime.  Res64: 5E959B68BD49AE25  Time : 447.0 sec.
user=vaughan
[2009-05-26 23:48:07]
447*2^689486-1 is not prime.  Res64: 355ECE7C5DC6B78D  Time : 713.0 sec.
user=vaughan
[2009-05-26 23:49:23]
573*2^689486-1 is not prime.  Res64: 484E64A2F85C8898  Time : 449.0 sec.
user=vaughan
[2009-05-26 23:49:36]
581*2^689486-1 is not prime.  Res64: 2BC0C597AAB4BE78  Time : 446.0 sec.
user=SazanEyes
[2009-05-26 23:54:44]
595*2^689469-1 is not prime.  Res64: A0B25CA63911B610  Time : 8772.0 sec.
user=vaughan
[2009-05-26 23:56:06]
441*2^689485-1 is not prime.  Res64: CF399FACF7E844AA  Time : 1351.0 sec.
user=vaughan
[2009-05-26 23:56:55]
583*2^689487-1 is not prime.  Res64: E082181A004186EC  Time : 452.0 sec.
user=vaughan
[2009-05-26 23:57:02]
405*2^689488-1 is not prime.  Res64: BA1061A803049E36  Time : 446.0 sec.
user=vaughan
[2009-05-26 23:57:34]
483*2^689484-1 is not prime.  Res64: B969C15920AA5A01  Time : 2436.0 sec.
user=SazanEyes
[2009-05-26 23:59:29]
525*2^689470-1 is not prime.  Res64: 1FA27160A62A2164  Time : 8515.0 sec.
user=vaughan
[2009-05-26 23:59:55]
471*2^689487-1 is not prime.  Res64: 37CDD3474A278F39  Time : 708.0 sec.