user=vaughan
[2009-07-30 00:02:08]
483*2^705002-1 is not prime.  Res64: 808E945C016C8683  Time : 456.0 sec.
user=vaughan
[2009-07-30 00:02:53]
497*2^705002-1 is not prime.  Res64: 0750153ED9482AE2  Time : 461.0 sec.
user=vaughan
[2009-07-30 00:09:41]
467*2^705002-1 is not prime.  Res64: FD89207D25389B90  Time : 1039.0 sec.
user=vaughan
[2009-07-30 00:09:42]
507*2^705002-1 is not prime.  Res64: DD7FFF0A8AB25C66  Time : 455.0 sec.
user=vaughan
[2009-07-30 00:10:35]
525*2^705002-1 is not prime.  Res64: EFCD791F0F72BD85  Time : 462.0 sec.
user=vaughan
[2009-07-30 00:12:21]
453*2^704991-1 is not prime.  Res64: 33291E49D2C0137A  Time : 7433.0 sec.
user=vaughan
[2009-07-30 00:17:17]
465*2^705004-1 is not prime.  Res64: 9E05F2856D3325A2  Time : 455.0 sec.
user=vaughan
[2009-07-30 00:18:16]
527*2^705004-1 is not prime.  Res64: 69102092BEE7DA70  Time : 462.0 sec.
user=vaughan
[2009-07-30 00:24:52]
587*2^705004-1 is not prime.  Res64: 8ECC69535C6CEEBD  Time : 455.0 sec.
user=vaughan
[2009-07-30 00:25:57]
597*2^705004-1 is not prime.  Res64: B123FB6FE83F1AB8  Time : 461.0 sec.
user=vaughan
[2009-07-30 00:27:03]
593*2^705002-1 is not prime.  Res64: 774DB7059E78043E  Time : 1042.0 sec.
user=vaughan
[2009-07-30 00:32:27]
441*2^705005-1 is not prime.  Res64: 70DB7DCC0D2CA534  Time : 455.0 sec.
user=vaughan
[2009-07-30 00:33:38]
487*2^705005-1 is not prime.  Res64: FAFBD4ACB3DB784D  Time : 461.0 sec.
user=vaughan
[2009-07-30 00:40:03]
507*2^705005-1 is not prime.  Res64: 6DDA79C1BF21BE1C  Time : 456.0 sec.
user=vaughan
[2009-07-30 00:41:27]
567*2^705005-1 is not prime.  Res64: B071DFFC09C176F4  Time : 469.0 sec.
user=vaughan
[2009-07-30 00:47:38]
453*2^705006-1 is not prime.  Res64: 73B4825D46DA7C57  Time : 455.0 sec.
user=vaughan
[2009-07-30 00:49:08]
421*2^705007-1 is not prime.  Res64: 0B7312AC0E88103F  Time : 461.0 sec.
user=vaughan
[2009-07-30 00:51:38]
489*2^705005-1 is not prime.  Res64: 1A17DEF64445741B  Time : 1476.0 sec.
user=vaughan
[2009-07-30 00:55:13]
493*2^705007-1 is not prime.  Res64: 6EBDA13C9034998D  Time : 455.0 sec.
user=vaughan
[2009-07-30 00:56:50]
553*2^705007-1 is not prime.  Res64: 73CAB27EB37ACC7E  Time : 462.0 sec.
user=vaughan
[2009-07-30 01:02:48]
585*2^705008-1 is not prime.  Res64: F495B6FC0C29AB9F  Time : 455.0 sec.
user=vaughan
[2009-07-30 01:04:32]
465*2^705009-1 is not prime.  Res64: 92FF8ACD56A4E3E3  Time : 462.0 sec.
user=vaughan
[2009-07-30 01:07:24]
557*2^705008-1 is not prime.  Res64: 2EEB4D08EB8FF2A8  Time : 946.0 sec.
user=vaughan
[2009-07-30 01:10:23]
511*2^705009-1 is not prime.  Res64: 85C7A7C33393C7B8  Time : 455.0 sec.
user=vaughan
[2009-07-30 01:12:14]
535*2^705009-1 is not prime.  Res64: BA10E6F15800B421  Time : 462.0 sec.
user=vaughan
[2009-07-30 01:18:00]
425*2^705010-1 is not prime.  Res64: C1FE970A139132BC  Time : 457.0 sec.
user=vaughan
[2009-07-30 01:19:56]
453*2^705010-1 is not prime.  Res64: 20AC1EAAECC1BBFC  Time : 462.0 sec.
user=vaughan
[2009-07-30 01:23:11]
571*2^705009-1 is not prime.  Res64: CA6D4D47589A7208  Time : 947.0 sec.
user=vaughan
[2009-07-30 01:25:35]
503*2^705010-1 is not prime.  Res64: 4DC0D01CC4BCBCB8  Time : 456.0 sec.
user=vaughan
[2009-07-30 01:27:38]
513*2^705010-1 is not prime.  Res64: F8CED44306F61ADF  Time : 462.0 sec.
user=vaughan
[2009-07-30 01:33:10]
445*2^705011-1 is not prime.  Res64: 4EE08AFC414E1992  Time : 456.0 sec.
user=vaughan
[2009-07-30 01:34:00]
569*2^705004-1 is not prime.  Res64: CA0BCFC54F98254F  Time : 4900.0 sec.
user=vaughan
[2009-07-30 01:35:19]
451*2^705011-1 is not prime.  Res64: 7EF33B6E0D25347B  Time : 461.0 sec.
user=vaughan
[2009-07-30 01:38:59]
409*2^705011-1 is not prime.  Res64: D81CC564E962C783  Time : 949.0 sec.
user=vaughan
[2009-07-30 01:40:45]
565*2^705011-1 is not prime.  Res64: B0FA3630C8F8C386  Time : 455.0 sec.
user=vaughan
[2009-07-30 01:42:59]
459*2^705012-1 is not prime.  Res64: 17BD2A67FEFA4DC4  Time : 460.0 sec.
user=vaughan
[2009-07-30 01:48:20]
513*2^705012-1 is not prime.  Res64: D40F7520E96DFCC5  Time : 455.0 sec.
user=vaughan
[2009-07-30 01:50:39]
579*2^705012-1 is not prime.  Res64: F5747A94530093A1  Time : 460.0 sec.
user=vaughan
[2009-07-30 01:54:48]
503*2^705012-1 is not prime.  Res64: C7525A46BC55CEE6  Time : 950.0 sec.
user=vaughan
[2009-07-30 01:55:55]
585*2^705012-1 is not prime.  Res64: 2F91510616E3C78A  Time : 455.0 sec.
user=vaughan
[2009-07-30 01:58:20]
427*2^705013-1 is not prime.  Res64: 86936348989E6105  Time : 461.0 sec.
user=vaughan
[2009-07-30 02:01:38]
425*2^705012-1 is not prime.  Res64: E72C92435EE7E311  Time : 1658.0 sec.
user=vaughan
[2009-07-30 02:03:30]
477*2^705013-1 is not prime.  Res64: 187C1DDCC2FD6E7F  Time : 455.0 sec.
user=vaughan
[2009-07-30 02:06:01]
517*2^705013-1 is not prime.  Res64: CEB02ECFCF7C7BC7  Time : 461.0 sec.
user=vaughan
[2009-07-30 02:10:36]
429*2^705013-1 is not prime.  Res64: FD351B9EB486B073  Time : 949.0 sec.
user=vaughan
[2009-07-30 02:11:04]
533*2^705014-1 is not prime.  Res64: 90373044BD5E413A  Time : 454.0 sec.
user=vaughan
[2009-07-30 02:13:42]
445*2^705015-1 is not prime.  Res64: D30448444E18E5CE  Time : 461.0 sec.
user=vaughan
[2009-07-30 02:18:39]
501*2^705015-1 is not prime.  Res64: C1E1E0035F99D328  Time : 455.0 sec.
user=vaughan
[2009-07-30 02:21:22]
541*2^705015-1 is not prime.  Res64: 4641B51037F83913  Time : 460.0 sec.
user=vaughan
[2009-07-30 02:26:14]
573*2^705015-1 is not prime.  Res64: E07DC600E1461631  Time : 455.0 sec.
user=vaughan
[2009-07-30 02:26:25]
469*2^705015-1 is not prime.  Res64: F11CE41A3C348D58  Time : 950.0 sec.
user=vaughan
[2009-07-30 02:29:02]
583*2^705015-1 is not prime.  Res64: CDF185B865AFED2E  Time : 460.0 sec.
user=vaughan
[2009-07-30 02:29:37]
521*2^705014-1 is not prime.  Res64: 44EA88AC3B9CBC52  Time : 1679.0 sec.
user=vaughan
[2009-07-30 02:33:48]
595*2^705015-1 is not prime.  Res64: A4FD201246C0EFBF  Time : 454.0 sec.
user=vaughan
[2009-07-30 02:36:42]
509*2^705016-1 is not prime.  Res64: 5812D8854DAC87B2  Time : 460.0 sec.
user=vaughan
[2009-07-30 02:41:23]
575*2^705016-1 is not prime.  Res64: 6F9AE3A8AF6707CD  Time : 455.0 sec.
user=vaughan
[2009-07-30 02:42:14]
507*2^705016-1 is not prime.  Res64: 2373A375ADE5A47E  Time : 950.0 sec.
user=vaughan
[2009-07-30 02:44:22]
421*2^705017-1 is not prime.  Res64: EDFDE52EF0F2562A  Time : 460.0 sec.
user=vaughan
[2009-07-30 02:48:58]
567*2^705017-1 is not prime.  Res64: F7B4208E44276D2B  Time : 455.0 sec.
user=vaughan
[2009-07-30 02:52:02]
413*2^705018-1 is not prime.  Res64: 43E588FE05C1DF0D  Time : 460.0 sec.
user=vaughan
[2009-07-30 02:56:33]
549*2^705019-1 is not prime.  Res64: D745D715E2536814  Time : 455.0 sec.
user=vaughan
[2009-07-30 02:57:53]
537*2^705016-1 is not prime.  Res64: 2E92B426D5D2463A  Time : 1696.0 sec.
user=vaughan
[2009-07-30 02:58:02]
401*2^705018-1 is not prime.  Res64: A7B3FFC7B571F140  Time : 949.0 sec.
user=vaughan
[2009-07-30 02:59:42]
405*2^705020-1 is not prime.  Res64: A37565017169141E  Time : 460.0 sec.
user=vaughan
[2009-07-30 03:04:08]
467*2^705020-1 is not prime.  Res64: 96138C77B5606CF1  Time : 455.0 sec.
user=vaughan
[2009-07-30 03:07:22]
539*2^705020-1 is not prime.  Res64: 9F0381DA069201EC  Time : 460.0 sec.
user=vaughan
[2009-07-30 03:11:43]
469*2^705021-1 is not prime.  Res64: 943036DF07D30A0D  Time : 455.0 sec.
user=vaughan
[2009-07-30 03:13:51]
495*2^705020-1 is not prime.  Res64: 19A1F72F75768B35  Time : 950.0 sec.
user=vaughan
[2009-07-30 03:15:05]
537*2^705021-1 is not prime.  Res64: A941FB24581EBDBF  Time : 463.0 sec.
user=vaughan
[2009-07-30 03:19:18]
565*2^705021-1 is not prime.  Res64: F4BDB85BCC4F35F7  Time : 455.0 sec.
user=vaughan
[2009-07-30 03:22:45]
527*2^705022-1 is not prime.  Res64: 7EE629A2965A5FAF  Time : 460.0 sec.
user=vaughan
[2009-07-30 03:25:48]
489*2^705020-1 is not prime.  Res64: 279759B1C7164F20  Time : 1675.0 sec.
user=vaughan
[2009-07-30 03:26:53]
423*2^705023-1 is not prime.  Res64: 3896545D7BE9B238  Time : 455.0 sec.
user=vaughan
[2009-07-30 03:29:40]
401*2^705022-1 is not prime.  Res64: 65C7C7CBC69F9654  Time : 950.0 sec.
user=vaughan
[2009-07-30 03:30:25]
489*2^705023-1 is not prime.  Res64: BC6F757BF6D72618  Time : 460.0 sec.
user=vaughan
[2009-07-30 03:34:28]
559*2^705023-1 is not prime.  Res64: 4A4DAE78A9CD40F5  Time : 455.0 sec.
user=vaughan
[2009-07-30 03:38:05]
465*2^705024-1 is not prime.  Res64: F590AEB9F8390D15  Time : 460.0 sec.
user=vaughan
[2009-07-30 03:42:03]
479*2^705024-1 is not prime.  Res64: ED65D7284B875588  Time : 455.0 sec.
user=vaughan
[2009-07-30 03:45:31]
423*2^705024-1 is not prime.  Res64: F8057246A915B815  Time : 951.0 sec.
user=vaughan
[2009-07-30 03:45:46]
543*2^705024-1 is not prime.  Res64: 7B3BCFC65453A2C6  Time : 461.0 sec.
user=vaughan
[2009-07-30 03:49:38]
507*2^705025-1 is not prime.  Res64: 53F6FDE717937ABE  Time : 455.0 sec.
user=vaughan
[2009-07-30 03:53:26]
531*2^705025-1 is not prime.  Res64: 972C1628D7B957D5  Time : 460.0 sec.
user=vaughan
[2009-07-30 03:57:13]
565*2^705025-1 is not prime.  Res64: E0F7157DF9933B83  Time : 455.0 sec.
user=vaughan
[2009-07-30 04:01:06]
597*2^705025-1 is not prime.  Res64: B62CDBB6745FA799  Time : 460.0 sec.
user=vaughan
[2009-07-30 04:01:21]
511*2^705025-1 is not prime.  Res64: 3A1C424C9E318D47  Time : 950.0 sec.
user=vaughan
[2009-07-30 04:04:50]
447*2^705026-1 is not prime.  Res64: 7E166DDA19E36BCE  Time : 457.0 sec.
user=vaughan
[2009-07-30 04:08:46]
473*2^705026-1 is not prime.  Res64: E24C3470FD0027A2  Time : 461.0 sec.
user=vaughan
[2009-07-30 04:12:25]
563*2^705026-1 is not prime.  Res64: B62E33F61BD363E2  Time : 456.0 sec.
user=vaughan
[2009-07-30 04:16:26]
585*2^705026-1 is not prime.  Res64: 82874581057003CA  Time : 461.0 sec.
user=vaughan
[2009-07-30 04:17:11]
503*2^705026-1 is not prime.  Res64: ED7D9B4CA7DD6265  Time : 950.0 sec.
user=vaughan
[2009-07-30 04:20:00]
403*2^705027-1 is not prime.  Res64: 4C2D8E0E8E5EBF8E  Time : 455.0 sec.
user=vaughan
[2009-07-30 04:24:07]
489*2^705027-1 is not prime.  Res64: 98407E5C717A3B7B  Time : 462.0 sec.
user=vaughan
[2009-07-30 04:27:34]
513*2^705027-1 is not prime.  Res64: 1548A6657BBB4911  Time : 454.0 sec.
user=vaughan
[2009-07-30 04:30:45]
511*2^705023-1 is not prime.  Res64: C8A94A84306AF53F  Time : 3897.0 sec.
user=vaughan
[2009-07-30 04:31:48]
579*2^705027-1 is not prime.  Res64: 0BA461D7EB0AE4B7  Time : 462.0 sec.
user=vaughan
[2009-07-30 04:33:02]
511*2^705027-1 is not prime.  Res64: 154B7002BE34F0D3  Time : 951.0 sec.
user=vaughan
[2009-07-30 04:35:09]
429*2^705028-1 is not prime.  Res64: 1B31AF2C19C3054B  Time : 455.0 sec.
user=vaughan
[2009-07-30 04:39:29]
485*2^705028-1 is not prime.  Res64: 00D4AB7225E86A17  Time : 462.0 sec.
user=vaughan
[2009-07-30 04:42:45]
589*2^705029-1 is not prime.  Res64: 4C3D28671E6E04D0  Time : 456.0 sec.
user=vaughan
[2009-07-30 04:47:10]
521*2^705030-1 is not prime.  Res64: BBF6395D444ED997  Time : 462.0 sec.
user=vaughan
[2009-07-30 04:48:54]
495*2^705029-1 is not prime.  Res64: 4828B0E51A25881A  Time : 952.0 sec.
user=vaughan
[2009-07-30 04:50:19]
489*2^705031-1 is not prime.  Res64: 8DEA94D80D456B90  Time : 455.0 sec.
user=vaughan
[2009-07-30 04:54:50]
531*2^705031-1 is not prime.  Res64: 7A68D0AB106BC3D3  Time : 461.0 sec.
user=vaughan
[2009-07-30 04:56:03]
465*2^705028-1 is not prime.  Res64: C979F93A6FE2F045  Time : 1518.0 sec.
user=vaughan
[2009-07-30 04:57:54]
593*2^705032-1 is not prime.  Res64: 3BA0E42C479AF5F7  Time : 455.0 sec.
user=vaughan
[2009-07-30 05:02:30]
405*2^705033-1 is not prime.  Res64: 896564EC66D36AEE  Time : 460.0 sec.
user=vaughan
[2009-07-30 05:04:45]
515*2^705032-1 is not prime.  Res64: 3CDB720DF6531DA5  Time : 951.0 sec.
user=vaughan
[2009-07-30 05:05:30]
459*2^705033-1 is not prime.  Res64: 83058F2EC30C1C19  Time : 456.0 sec.
user=vaughan
[2009-07-30 05:10:10]
507*2^705033-1 is not prime.  Res64: 31B80782E3501461  Time : 460.0 sec.
user=vaughan
[2009-07-30 05:13:05]
423*2^705034-1 is not prime.  Res64: E3C012763A07718D  Time : 455.0 sec.
user=vaughan
[2009-07-30 05:17:52]
483*2^705034-1 is not prime.  Res64: 355D50A928B6840E  Time : 462.0 sec.
user=vaughan
[2009-07-30 05:20:37]
595*2^705033-1 is not prime.  Res64: 1C6B26E206C9547E  Time : 952.0 sec.
user=vaughan
[2009-07-30 05:20:40]
593*2^705034-1 is not prime.  Res64: A9B0327B375404CE  Time : 455.0 sec.
user=vaughan
[2009-07-30 05:21:17]
457*2^705033-1 is not prime.  Res64: 3EEE35CE94F90D98  Time : 1514.0 sec.
user=vaughan
[2009-07-30 05:25:33]
421*2^705035-1 is not prime.  Res64: E0F607CA15DC2426  Time : 462.0 sec.
user=vaughan
[2009-07-30 05:28:15]
437*2^705036-1 is not prime.  Res64: 7EDF863FFE7219C3  Time : 455.0 sec.
user=vaughan
[2009-07-30 05:33:14]
485*2^705036-1 is not prime.  Res64: F07C4DF1490A4E3E  Time : 462.0 sec.
user=vaughan
[2009-07-30 05:35:51]
515*2^705036-1 is not prime.  Res64: 734B4FB87297A12D  Time : 456.0 sec.
user=vaughan
[2009-07-30 05:36:30]
445*2^705035-1 is not prime.  Res64: 1245D3F118BE21E5  Time : 954.0 sec.
user=vaughan
[2009-07-30 05:40:57]
525*2^705036-1 is not prime.  Res64: 024B1FA817C97073  Time : 464.0 sec.
user=vaughan
[2009-07-30 05:43:27]
593*2^705036-1 is not prime.  Res64: 2A042A5121C33A4D  Time : 456.0 sec.
user=vaughan
[2009-07-30 05:48:37]
465*2^705037-1 is not prime.  Res64: EA6CDA4966E6ABD4  Time : 461.0 sec.
user=vaughan
[2009-07-30 05:51:02]
517*2^705037-1 is not prime.  Res64: 579C5EEF7976D202  Time : 456.0 sec.
user=vaughan
[2009-07-30 05:52:22]
429*2^705037-1 is not prime.  Res64: BF0025352500A4CA  Time : 953.0 sec.
user=vaughan
[2009-07-30 05:56:17]
577*2^705037-1 is not prime.  Res64: D8032ABE464AF409  Time : 461.0 sec.
user=vaughan
[2009-07-30 05:58:37]
405*2^705038-1 is not prime.  Res64: 29EC560B491BFF3B  Time : 456.0 sec.
user=vaughan
[2009-07-30 06:03:58]
575*2^705038-1 is not prime.  Res64: A449B1196D40015C  Time : 461.0 sec.
user=vaughan
[2009-07-30 06:06:12]
429*2^705039-1 is not prime.  Res64: DA35E26B1A484754  Time : 456.0 sec.
user=vaughan
[2009-07-30 06:08:11]
435*2^705038-1 is not prime.  Res64: B6C7EEF723220E8B  Time : 950.0 sec.
user=vaughan
[2009-07-30 06:11:38]
441*2^705039-1 is not prime.  Res64: 34335ECF4A2D3693  Time : 460.0 sec.
user=vaughan
[2009-07-30 06:13:47]
471*2^705039-1 is not prime.  Res64: B866104A099186CF  Time : 456.0 sec.
user=vaughan
[2009-07-30 06:19:18]
511*2^705039-1 is not prime.  Res64: 2AB2D7AD7C583740  Time : 460.0 sec.
user=vaughan
[2009-07-30 06:21:22]
513*2^705039-1 is not prime.  Res64: 76EE07B1551C916D  Time : 455.0 sec.
user=vaughan
[2009-07-30 06:24:02]
489*2^705039-1 is not prime.  Res64: 9D2C85410817F180  Time : 951.0 sec.
user=vaughan
[2009-07-30 06:27:01]
523*2^705039-1 is not prime.  Res64: 21C8BD1EEA6F2D32  Time : 463.0 sec.
user=vaughan
[2009-07-30 06:28:57]
543*2^705039-1 is not prime.  Res64: CA04C1CF08EEB9C0  Time : 455.0 sec.
user=vaughan
[2009-07-30 06:34:41]
525*2^705040-1 is not prime.  Res64: E9C8E763137B9AF2  Time : 460.0 sec.
user=vaughan
[2009-07-30 06:36:33]
527*2^705040-1 is not prime.  Res64: 0338AAC6A807DEEE  Time : 456.0 sec.
user=vaughan
[2009-07-30 06:39:52]
549*2^705039-1 is not prime.  Res64: DA35F9FD6C9A7AC5  Time : 951.0 sec.
user=vaughan
[2009-07-30 06:42:22]
487*2^705041-1 is not prime.  Res64: FE6321B623B00042  Time : 461.0 sec.
user=vaughan
[2009-07-30 06:44:08]
489*2^705041-1 is not prime.  Res64: 39320203DE72DD71  Time : 455.0 sec.
user=vaughan
[2009-07-30 06:50:02]
559*2^705041-1 is not prime.  Res64: 3B7DA83F48411D83  Time : 460.0 sec.
user=vaughan
[2009-07-30 06:51:43]
417*2^705042-1 is not prime.  Res64: 49F56E714A4394E2  Time : 455.0 sec.
user=vaughan
[2009-07-30 06:55:42]
547*2^705041-1 is not prime.  Res64: 8E2F3291F11AFA58  Time : 951.0 sec.
user=vaughan
[2009-07-30 06:57:41]
483*2^705042-1 is not prime.  Res64: A513E442572549C6  Time : 459.0 sec.
user=vaughan
[2009-07-30 06:59:19]
525*2^705042-1 is not prime.  Res64: A78531589108BD81  Time : 456.0 sec.
user=vaughan
[2009-07-30 07:05:23]
429*2^705043-1 is not prime.  Res64: A8054A58AFDD420E  Time : 462.0 sec.
user=vaughan
[2009-07-30 07:06:54]
493*2^705043-1 is not prime.  Res64: 067205E83610E065  Time : 456.0 sec.
user=vaughan
[2009-07-30 07:11:30]
551*2^705042-1 is not prime.  Res64: 43B05F091C0AB632  Time : 949.0 sec.
user=vaughan
[2009-07-30 07:13:07]
583*2^705043-1 is not prime.  Res64: FA4121B4B3F5BB79  Time : 465.0 sec.
user=vaughan
[2009-07-30 07:14:29]
425*2^705044-1 is not prime.  Res64: 44367AE4D584B04F  Time : 455.0 sec.
user=vaughan
[2009-07-30 07:20:48]
525*2^705044-1 is not prime.  Res64: F9365D610A9B5D06  Time : 462.0 sec.
user=vaughan
[2009-07-30 07:22:05]
587*2^705044-1 is not prime.  Res64: F2D1A5544682284F  Time : 456.0 sec.
user=vaughan
[2009-07-30 07:27:20]
507*2^705044-1 is not prime.  Res64: 86998FC23B50468E  Time : 950.0 sec.
user=vaughan
[2009-07-30 07:28:29]
459*2^705045-1 is not prime.  Res64: F03D6E175AAE4BE8  Time : 461.0 sec.
user=vaughan
[2009-07-30 07:29:42]
471*2^705045-1 is not prime.  Res64: 342E4469EC12E114  Time : 457.0 sec.
user=vaughan
[2009-07-30 07:36:13]
465*2^705046-1 is not prime.  Res64: F5F16DF5D6D20F84  Time : 464.0 sec.
user=vaughan
[2009-07-30 07:37:17]
477*2^705046-1 is not prime.  Res64: 93E325EF561B44E6  Time : 456.0 sec.
user=vaughan
[2009-07-30 07:43:11]
565*2^705045-1 is not prime.  Res64: F9C87BF9278967D0  Time : 951.0 sec.
user=vaughan
[2009-07-30 07:43:52]
483*2^705046-1 is not prime.  Res64: 49C25BF77A6D942F  Time : 460.0 sec.
user=vaughan
[2009-07-30 07:44:53]
525*2^705046-1 is not prime.  Res64: DD298356FAFBE63F  Time : 456.0 sec.
user=vaughan
[2009-07-30 07:51:31]
591*2^705046-1 is not prime.  Res64: 2800586FAE457A68  Time : 459.0 sec.
user=vaughan
[2009-07-30 07:52:29]
463*2^705047-1 is not prime.  Res64: 7EEAF4C25E682167  Time : 456.0 sec.
user=vaughan
[2009-07-30 07:59:01]
561*2^705046-1 is not prime.  Res64: 35F0F8B580C788B7  Time : 951.0 sec.
user=vaughan
[2009-07-30 07:59:12]
469*2^705047-1 is not prime.  Res64: 08FF6DECFFCCF1AD  Time : 461.0 sec.
user=vaughan
[2009-07-30 08:00:06]
523*2^705047-1 is not prime.  Res64: 73E638FD62E3E1DD  Time : 457.0 sec.
user=vaughan
[2009-07-30 08:06:55]
559*2^705047-1 is not prime.  Res64: 9A469E9D447C8B65  Time : 463.0 sec.
user=vaughan
[2009-07-30 08:07:42]
419*2^705048-1 is not prime.  Res64: DA34BEF2E8F6B86B  Time : 456.0 sec.
user=vaughan
[2009-07-30 08:14:34]
437*2^705048-1 is not prime.  Res64: BDC3520986F60235  Time : 460.0 sec.
user=vaughan
[2009-07-30 08:14:51]
553*2^705047-1 is not prime.  Res64: AF751B4199391A94  Time : 950.0 sec.
user=vaughan
[2009-07-30 08:15:19]
453*2^705048-1 is not prime.  Res64: 63DC3E8EB2D235EA  Time : 457.0 sec.
user=vaughan
[2009-07-30 08:22:13]
479*2^705048-1 is not prime.  Res64: F983CCEFADC4408E  Time : 459.0 sec.
user=vaughan
[2009-07-30 08:22:55]
569*2^705048-1 is not prime.  Res64: 9B881E35A9761B26  Time : 457.0 sec.
user=vaughan
[2009-07-30 08:29:53]
585*2^705048-1 is not prime.  Res64: 8EB6DFA00819F4B9  Time : 460.0 sec.
user=vaughan
[2009-07-30 08:30:30]
421*2^705049-1 is not prime.  Res64: D987975639AAC8F7  Time : 455.0 sec.
user=vaughan
[2009-07-30 08:30:40]
549*2^705048-1 is not prime.  Res64: DCCFAF114C462D40  Time : 949.0 sec.
user=vaughan
[2009-07-30 08:37:33]
469*2^705049-1 is not prime.  Res64: F8F8CF9E0F908613  Time : 460.0 sec.
user=vaughan
[2009-07-30 08:38:05]
499*2^705049-1 is not prime.  Res64: 8E47B547D1813C15  Time : 455.0 sec.
user=vaughan
[2009-07-30 08:45:13]
597*2^705049-1 is not prime.  Res64: E82FF88C50926DD0  Time : 460.0 sec.
user=vaughan
[2009-07-30 08:45:41]
407*2^705050-1 is not prime.  Res64: 100CD4727A8374FC  Time : 456.0 sec.
user=vaughan
[2009-07-30 08:46:29]
559*2^705049-1 is not prime.  Res64: 847855D8422CA478  Time : 949.0 sec.
user=vaughan
[2009-07-30 08:52:53]
447*2^705050-1 is not prime.  Res64: 7D39874E71F3B940  Time : 460.0 sec.
user=vaughan
[2009-07-30 08:53:17]
521*2^705050-1 is not prime.  Res64: D1ACB8B3A0DC64EB  Time : 456.0 sec.
user=vaughan
[2009-07-30 09:00:33]
545*2^705050-1 is not prime.  Res64: 43459DF06E633468  Time : 460.0 sec.
user=vaughan
[2009-07-30 09:00:52]
563*2^705050-1 is not prime.  Res64: F873182BA33F06A7  Time : 455.0 sec.
user=vaughan
[2009-07-30 09:02:18]
525*2^705050-1 is not prime.  Res64: 57B0C676B00E006A  Time : 949.0 sec.
user=vaughan
[2009-07-30 09:08:13]
415*2^705051-1 is not prime.  Res64: 8575C89F9879A079  Time : 460.0 sec.
user=vaughan
[2009-07-30 09:08:27]
433*2^705051-1 is not prime.  Res64: 44F6174EC910B7EB  Time : 455.0 sec.
user=vaughan
[2009-07-30 09:15:53]
571*2^705051-1 is not prime.  Res64: 16B080BA2E4806EE  Time : 460.0 sec.
user=vaughan
[2009-07-30 09:16:03]
579*2^705051-1 is not prime.  Res64: 06B8B1BA6C8B54A1  Time : 456.0 sec.
user=vaughan
[2009-07-30 09:18:08]
495*2^705051-1 is not prime.  Res64: 4921362E313A3205  Time : 950.0 sec.
user=vaughan
[2009-07-30 09:23:33]
485*2^705052-1 is not prime.  Res64: CF0448C0D4F7CB1D  Time : 460.0 sec.
user=vaughan
[2009-07-30 09:23:39]
507*2^705052-1 is not prime.  Res64: 4D42C92202E4C39E  Time : 456.0 sec.
user=vaughan
[2009-07-30 09:31:13]
537*2^705052-1 is not prime.  Res64: CA7ABC73E6BFF075  Time : 460.0 sec.
user=vaughan
[2009-07-30 09:31:15]
549*2^705052-1 is not prime.  Res64: 0D9575E9EA6DD1DD  Time : 456.0 sec.
user=vaughan
[2009-07-30 09:33:57]
519*2^705052-1 is not prime.  Res64: 573353AEFD2F173A  Time : 949.0 sec.
user=vaughan
[2009-07-30 09:38:50]
529*2^705053-1 is not prime.  Res64: D4DEA103876A034A  Time : 455.0 sec.
user=vaughan
[2009-07-30 09:38:54]
409*2^705053-1 is not prime.  Res64: E263E0F36A480BBD  Time : 461.0 sec.
user=vaughan
[2009-07-30 09:46:25]
453*2^705054-1 is not prime.  Res64: F5A44A0DD0A112E3  Time : 455.0 sec.
user=vaughan
[2009-07-30 09:46:34]
473*2^705054-1 is not prime.  Res64: 5A38B2A06E6B1861  Time : 460.0 sec.
user=vaughan
[2009-07-30 09:49:45]
423*2^705054-1 is not prime.  Res64: 891E215A2B5D52F0  Time : 948.0 sec.
user=vaughan
[2009-07-30 09:54:00]
495*2^705054-1 is not prime.  Res64: 1A0C0CBC4BCBADC0  Time : 455.0 sec.
user=vaughan
[2009-07-30 09:54:15]
551*2^705054-1 is not prime.  Res64: A764C8BBF7FDFB68  Time : 461.0 sec.
user=vaughan
[2009-07-30 10:01:36]
563*2^705054-1 is not prime.  Res64: 65D17C6EE93504EF  Time : 456.0 sec.
user=vaughan
[2009-07-30 10:01:55]
405*2^705056-1 is not prime.  Res64: 67EE3A53DBBDABBE  Time : 460.0 sec.
user=vaughan
[2009-07-30 10:05:35]
555*2^705054-1 is not prime.  Res64: 9B37A7EF7CB8060E  Time : 950.0 sec.
user=vaughan
[2009-07-30 10:09:11]
437*2^705056-1 is not prime.  Res64: 47950E42734247D9  Time : 456.0 sec.
user=vaughan
[2009-07-30 10:09:36]
459*2^705056-1 is not prime.  Res64: 4CD919AD51447439  Time : 461.0 sec.
user=vaughan
[2009-07-30 10:16:46]
475*2^705057-1 is not prime.  Res64: 7DCEC736FCB71933  Time : 455.0 sec.
user=vaughan
[2009-07-30 10:17:16]
487*2^705057-1 is not prime.  Res64: 280CB7A43FCB792F  Time : 461.0 sec.
user=vaughan
[2009-07-30 10:21:25]
563*2^705056-1 is not prime.  Res64: 18EFB248B4FE80AD  Time : 950.0 sec.
user=vaughan
[2009-07-30 10:24:22]
529*2^705057-1 is not prime.  Res64: FC4BED7475B12D41  Time : 456.0 sec.
user=vaughan
[2009-07-30 10:24:56]
577*2^705057-1 is not prime.  Res64: 5B51BBFF811AD8F7  Time : 461.0 sec.
user=vaughan
[2009-07-30 10:31:57]
453*2^705058-1 is not prime.  Res64: A595E1FC93AD5310  Time : 455.0 sec.
user=vaughan
[2009-07-30 10:32:36]
527*2^705058-1 is not prime.  Res64: 835A4D57EE84563F  Time : 460.0 sec.
user=vaughan
[2009-07-30 10:37:14]
437*2^705058-1 is not prime.  Res64: F81C5AC2CB89F2EC  Time : 949.0 sec.
user=vaughan
[2009-07-30 10:39:32]
567*2^705058-1 is not prime.  Res64: F4FA63D234912DC8  Time : 455.0 sec.
user=vaughan
[2009-07-30 10:40:16]
433*2^705059-1 is not prime.  Res64: 5E0F853AAA2C7671  Time : 460.0 sec.
user=vaughan
[2009-07-30 10:47:07]
453*2^705060-1 is not prime.  Res64: 6013DDF068BAEA29  Time : 455.0 sec.
user=vaughan
[2009-07-30 10:47:58]
539*2^705060-1 is not prime.  Res64: 5604BBBDD5CFEA18  Time : 462.0 sec.
user=vaughan
[2009-07-30 10:53:04]
451*2^705059-1 is not prime.  Res64: C2F9B3D0DBA235D5  Time : 950.0 sec.
user=vaughan
[2009-07-30 10:54:42]
563*2^705060-1 is not prime.  Res64: 3CCC07E75F864486  Time : 455.0 sec.
user=vaughan
[2009-07-30 10:55:39]
567*2^705060-1 is not prime.  Res64: 47BEE4E1D48C74EA  Time : 462.0 sec.
user=vaughan
[2009-07-30 11:02:17]
415*2^705061-1 is not prime.  Res64: 48BB35DA87774549  Time : 455.0 sec.
user=vaughan
[2009-07-30 11:03:19]
427*2^705061-1 is not prime.  Res64: 5E8946BB9CC05D71  Time : 461.0 sec.
user=vaughan
[2009-07-30 11:08:55]
597*2^705060-1 is not prime.  Res64: 8CB553511B84C266  Time : 951.0 sec.
user=vaughan
[2009-07-30 11:09:52]
465*2^705061-1 is not prime.  Res64: E4B3B83CD11AFD67  Time : 455.0 sec.
user=vaughan
[2009-07-30 11:11:00]
477*2^705061-1 is not prime.  Res64: F1CB1D5B10A05716  Time : 462.0 sec.
user=vaughan
[2009-07-30 11:17:28]
407*2^705062-1 is not prime.  Res64: DDD838998F2FB145  Time : 456.0 sec.
user=vaughan
[2009-07-30 11:18:40]
495*2^705062-1 is not prime.  Res64: 63A3B7714CB017EA  Time : 461.0 sec.
user=vaughan
[2009-07-30 11:24:45]
531*2^705061-1 is not prime.  Res64: 2B1DB4450AEC9E2D  Time : 951.0 sec.
user=vaughan
[2009-07-30 11:25:04]
501*2^705062-1 is not prime.  Res64: C256C659B668464F  Time : 456.0 sec.
user=vaughan
[2009-07-30 11:26:20]
451*2^705063-1 is not prime.  Res64: 02E17BD34F4B6B12  Time : 461.0 sec.
user=vaughan
[2009-07-30 11:32:40]
481*2^705063-1 is not prime.  Res64: 04E031D513AFA53E  Time : 457.0 sec.
user=vaughan
[2009-07-30 11:34:00]
501*2^705063-1 is not prime.  Res64: F23E4C3B85B99915  Time : 461.0 sec.
user=vaughan
[2009-07-30 11:40:20]
585*2^705063-1 is not prime.  Res64: 94D266AFB5757101  Time : 460.0 sec.
user=vaughan
[2009-07-30 11:40:35]
471*2^705063-1 is not prime.  Res64: 11FCFC645394023F  Time : 951.0 sec.
user=vaughan
[2009-07-30 11:41:43]
419*2^705064-1 is not prime.  Res64: 57B7FEEE9B6FF330  Time : 464.0 sec.
user=vaughan
[2009-07-30 11:47:55]
483*2^705064-1 is not prime.  Res64: 038FE562BC51877C  Time : 455.0 sec.
user=vaughan
[2009-07-30 11:49:24]
547*2^705065-1 is not prime.  Res64: B5A3E8C852055C11  Time : 462.0 sec.
user=vaughan
[2009-07-30 11:55:30]
471*2^705066-1 is not prime.  Res64: FEFE36937D28F2A6  Time : 455.0 sec.
user=vaughan
[2009-07-30 11:56:25]
593*2^705064-1 is not prime.  Res64: A733A677D25E3FDC  Time : 950.0 sec.
user=vaughan
[2009-07-30 11:57:04]
473*2^705066-1 is not prime.  Res64: 1075BB29B6C548F3  Time : 461.0 sec.
user=vaughan
[2009-07-30 12:03:06]
495*2^705066-1 is not prime.  Res64: 5256196C8E180EC7  Time : 456.0 sec.
user=vaughan
[2009-07-30 12:04:44]
537*2^705066-1 is not prime.  Res64: A52CCC8427DD2A35  Time : 460.0 sec.
user=vaughan
[2009-07-30 12:10:42]
585*2^705066-1 is not prime.  Res64: DC097151244BA2A9  Time : 456.0 sec.
user=vaughan
[2009-07-30 12:12:15]
507*2^705066-1 is not prime.  Res64: 4B37F853D5CC5063  Time : 950.0 sec.
user=vaughan
[2009-07-30 12:12:24]
519*2^705067-1 is not prime.  Res64: 7AA8EAAFAA56DD6D  Time : 460.0 sec.
user=vaughan
[2009-07-30 12:18:17]
413*2^705068-1 is not prime.  Res64: 9C319935E2B5F8D9  Time : 456.0 sec.
user=vaughan
[2009-07-30 12:20:05]
423*2^705068-1 is not prime.  Res64: EC881084CC698BCA  Time : 461.0 sec.
user=vaughan
[2009-07-30 12:25:52]
507*2^705068-1 is not prime.  Res64: 5455B35930B82CA0  Time : 456.0 sec.
user=vaughan
[2009-07-30 12:27:45]
537*2^705068-1 is not prime.  Res64: 2ACC574C98E0EA92  Time : 460.0 sec.
user=vaughan
[2009-07-30 12:28:04]
417*2^705068-1 is not prime.  Res64: D057451E893C540B  Time : 949.0 sec.
user=vaughan
[2009-07-30 12:33:28]
599*2^705068-1 is not prime.  Res64: 362F194613968739  Time : 457.0 sec.
user=vaughan
[2009-07-30 12:35:25]
465*2^705069-1 is not prime.  Res64: 1DA33A06EDF1E10F  Time : 460.0 sec.
user=vaughan
[2009-07-30 12:41:04]
443*2^705070-1 is not prime.  Res64: 29C373E1ED34CE2A  Time : 457.0 sec.
user=vaughan
[2009-07-30 12:43:06]
467*2^705070-1 is not prime.  Res64: 6A7C46B9D6DC8CD2  Time : 461.0 sec.
user=vaughan
[2009-07-30 12:43:54]
437*2^705070-1 is not prime.  Res64: 565A7007D60C73C2  Time : 950.0 sec.
user=vaughan
[2009-07-30 12:48:40]
483*2^705070-1 is not prime.  Res64: 4F2C46D1204C7E0F  Time : 457.0 sec.
user=vaughan
[2009-07-30 12:50:46]
581*2^705070-1 is not prime.  Res64: 970394D0AA948F62  Time : 460.0 sec.
user=vaughan
[2009-07-30 12:56:16]
445*2^705071-1 is not prime.  Res64: B06213C617AEFC97  Time : 457.0 sec.
user=vaughan
[2009-07-30 12:58:29]
453*2^705071-1 is not prime.  Res64: CBC16445A5E58DAB  Time : 463.0 sec.
user=vaughan
[2009-07-30 12:59:51]
441*2^705071-1 is not prime.  Res64: C8A5422DF1476B8B  Time : 957.0 sec.
user=vaughan
[2009-07-30 13:03:52]
571*2^705071-1 is not prime.  Res64: AF19238F63294D12  Time : 457.0 sec.
user=vaughan
[2009-07-30 13:06:09]
423*2^705072-1 is not prime.  Res64: 10A2C28BD80440B7  Time : 460.0 sec.
user=vaughan
[2009-07-30 13:11:29]
427*2^705073-1 is not prime.  Res64: 3D5B97AC16900863  Time : 458.0 sec.
user=vaughan
[2009-07-30 13:13:49]
439*2^705073-1 is not prime.  Res64: 1E66D359ACB19C97  Time : 460.0 sec.
user=vaughan
[2009-07-30 13:15:41]
409*2^705073-1 is not prime.  Res64: CBDE543BE31EF121  Time : 951.0 sec.
user=vaughan
[2009-07-30 13:19:05]
465*2^705073-1 is not prime.  Res64: 8664116042CE00BF  Time : 457.0 sec.
user=vaughan
[2009-07-30 13:21:30]
541*2^705073-1 is not prime.  Res64: D1586493A7A802C9  Time : 461.0 sec.
user=vaughan
[2009-07-30 13:26:41]
435*2^705074-1 is not prime.  Res64: A94550F2D238A5AE  Time : 457.0 sec.
user=vaughan
[2009-07-30 13:29:12]
477*2^705074-1 is not prime.  Res64: 360F7618831EC6B7  Time : 462.0 sec.
user=vaughan
[2009-07-30 13:31:31]
425*2^705074-1 is not prime.  Res64: CEB31AAC38B879D9  Time : 951.0 sec.
user=vaughan
[2009-07-30 13:34:20]
501*2^705074-1 is not prime.  Res64: FBA5588C255D3032  Time : 460.0 sec.
user=vaughan
[2009-07-30 13:36:57]
507*2^705074-1 is not prime.  Res64: 9FCF0E81B596C379  Time : 465.0 sec.
user=vaughan
[2009-07-30 13:41:53]
533*2^705074-1 is not prime.  Res64: 79010EF778DC42DD  Time : 454.0 sec.
user=vaughan
[2009-07-30 13:44:41]
563*2^705074-1 is not prime.  Res64: 23B7BA854404CD67  Time : 464.0 sec.
user=vaughan
[2009-07-30 13:47:21]
521*2^705074-1 is not prime.  Res64: C02F3B852C491FF0  Time : 951.0 sec.
user=vaughan
[2009-07-30 13:49:26]
593*2^705074-1 is not prime.  Res64: 2F1F6B0CABEE041E  Time : 453.0 sec.
user=vaughan
[2009-07-30 13:52:24]
441*2^705075-1 is not prime.  Res64: 60E2222574B3DFEF  Time : 463.0 sec.
user=vaughan
[2009-07-30 13:56:58]
437*2^705076-1 is not prime.  Res64: 0EB3D8D9D4CC5853  Time : 452.0 sec.
user=vaughan
[2009-07-30 14:00:07]
447*2^705076-1 is not prime.  Res64: B202B76B642F5961  Time : 463.0 sec.
user=vaughan
[2009-07-30 14:03:11]
541*2^705075-1 is not prime.  Res64: A7B9EBA38C791B50  Time : 951.0 sec.
user=vaughan
[2009-07-30 14:04:31]
465*2^705076-1 is not prime.  Res64: B4C8CCA49E0B4527  Time : 453.0 sec.
user=vaughan
[2009-07-30 14:07:50]
519*2^705076-1 is not prime.  Res64: 981459D4D3ACF47F  Time : 463.0 sec.
user=vaughan
[2009-07-30 14:12:04]
507*2^705077-1 is not prime.  Res64: 200F49BC3D8FC538  Time : 453.0 sec.
user=vaughan
[2009-07-30 14:15:34]
549*2^705077-1 is not prime.  Res64: D8C4883E2D69541E  Time : 464.0 sec.
user=vaughan
[2009-07-30 14:19:00]
597*2^705076-1 is not prime.  Res64: 5CE527C6ACEDB8B5  Time : 950.0 sec.
user=vaughan
[2009-07-30 14:19:37]
567*2^705077-1 is not prime.  Res64: 5093EAC0738997B7  Time : 453.0 sec.
user=vaughan
[2009-07-30 14:23:19]
401*2^705078-1 is not prime.  Res64: 5429E306539696DA  Time : 465.0 sec.
user=vaughan
[2009-07-30 14:27:12]
447*2^705078-1 is not prime.  Res64: DDED53852B8C723A  Time : 455.0 sec.
user=vaughan
[2009-07-30 14:31:12]
473*2^705078-1 is not prime.  Res64: BF182798612CCF8E  Time : 473.0 sec.
user=vaughan
[2009-07-30 14:34:45]
485*2^705078-1 is not prime.  Res64: D72C7A4309862BF4  Time : 453.0 sec.
user=vaughan
[2009-07-30 14:34:48]
405*2^705078-1 is not prime.  Res64: 73108126D5A0DBCB  Time : 949.0 sec.
user=vaughan
[2009-07-30 14:38:55]
581*2^705078-1 is not prime.  Res64: 77FA4D31A78C97CD  Time : 463.0 sec.
user=vaughan
[2009-07-30 14:42:19]
421*2^705079-1 is not prime.  Res64: CD51383F9C2F4D83  Time : 454.0 sec.
user=vaughan
[2009-07-30 14:46:38]
405*2^705080-1 is not prime.  Res64: 9A5EE7532489E03B  Time : 463.0 sec.
user=vaughan
[2009-07-30 14:49:51]
413*2^705080-1 is not prime.  Res64: 5CF09F06C07BB458  Time : 453.0 sec.
user=vaughan
[2009-07-30 14:50:36]
583*2^705079-1 is not prime.  Res64: A361FD673F8FCDE0  Time : 948.0 sec.
user=vaughan
[2009-07-30 14:54:22]
447*2^705080-1 is not prime.  Res64: EAB25F3CA0F39A34  Time : 464.0 sec.
user=vaughan
[2009-07-30 14:57:23]
459*2^705080-1 is not prime.  Res64: 0411020913E35639  Time : 452.0 sec.
user=vaughan
[2009-07-30 15:02:07]
587*2^705080-1 is not prime.  Res64: 53B271C6FD75B02E  Time : 465.0 sec.
user=vaughan
[2009-07-30 15:04:57]
439*2^705081-1 is not prime.  Res64: D591CEFAD129B66C  Time : 454.0 sec.
user=vaughan
[2009-07-30 15:06:24]
557*2^705080-1 is not prime.  Res64: 5AF3B06EBC7EA92D  Time : 948.0 sec.
user=vaughan
[2009-07-30 15:09:50]
441*2^705081-1 is not prime.  Res64: 0724313B1DBCCE7C  Time : 463.0 sec.
user=vaughan
[2009-07-30 15:12:30]
465*2^705081-1 is not prime.  Res64: CB888F9ED21C88A6  Time : 454.0 sec.
user=vaughan
[2009-07-30 15:17:33]
471*2^705082-1 is not prime.  Res64: A31754182B8A2FEC  Time : 463.0 sec.
user=vaughan
[2009-07-30 15:20:03]
525*2^705082-1 is not prime.  Res64: 59295A3DAC1CA576  Time : 454.0 sec.
user=vaughan
[2009-07-30 15:22:12]
565*2^705081-1 is not prime.  Res64: BD7393E0E25B7FB8  Time : 948.0 sec.
user=vaughan
[2009-07-30 15:25:16]
465*2^705084-1 is not prime.  Res64: 852E4D2E902AA998  Time : 463.0 sec.
user=vaughan
[2009-07-30 15:27:36]
451*2^705085-1 is not prime.  Res64: 92A2F8B32F8293C0  Time : 453.0 sec.
user=vaughan
[2009-07-30 15:32:57]
565*2^705085-1 is not prime.  Res64: 9C406A8BC6F3CC19  Time : 461.0 sec.
user=vaughan
[2009-07-30 15:35:11]
567*2^705085-1 is not prime.  Res64: 0C29E09F45AA8404  Time : 455.0 sec.
user=vaughan
[2009-07-30 15:38:02]
477*2^705085-1 is not prime.  Res64: C5F9F49AC47F5F59  Time : 950.0 sec.
user=vaughan
[2009-07-30 15:40:38]
577*2^705085-1 is not prime.  Res64: 30EDA212447EEED5  Time : 461.0 sec.
user=vaughan
[2009-07-30 15:42:45]
451*2^705087-1 is not prime.  Res64: ABFEA6F803A5D268  Time : 454.0 sec.
user=vaughan
[2009-07-30 15:48:19]
419*2^705088-1 is not prime.  Res64: 04FCF3BBDC14FDF0  Time : 461.0 sec.
user=vaughan
[2009-07-30 15:50:20]
495*2^705088-1 is not prime.  Res64: 93A94D653ED76572  Time : 455.0 sec.
user=vaughan
[2009-07-30 15:53:50]
583*2^705087-1 is not prime.  Res64: B99B294DB7EAF3C7  Time : 948.0 sec.
user=vaughan
[2009-07-30 15:56:00]
527*2^705088-1 is not prime.  Res64: AADC5C546C4CBEF8  Time : 461.0 sec.
user=vaughan
[2009-07-30 15:57:55]
533*2^705088-1 is not prime.  Res64: CDE03EE066D05A13  Time : 455.0 sec.
user=vaughan
[2009-07-30 16:03:40]
573*2^705088-1 is not prime.  Res64: D957827B45C03569  Time : 460.0 sec.
user=vaughan
[2009-07-30 16:05:31]
567*2^705089-1 is not prime.  Res64: E6F9A563C55DBF47  Time : 456.0 sec.
user=vaughan
[2009-07-30 16:09:39]
567*2^705088-1 is not prime.  Res64: 740BBED2BAD8AE9C  Time : 949.0 sec.
user=vaughan
[2009-07-30 16:11:21]
411*2^705090-1 is not prime.  Res64: 4D52CC4D5DDF9FF5  Time : 461.0 sec.
user=vaughan
[2009-07-30 16:13:07]
431*2^705090-1 is not prime.  Res64: 597B4BEFAF742FD5  Time : 456.0 sec.
user=vaughan
[2009-07-30 16:19:01]
473*2^705090-1 is not prime.  Res64: 30B35BEBDF8267E7  Time : 460.0 sec.
user=vaughan
[2009-07-30 16:20:42]
525*2^705090-1 is not prime.  Res64: 012CF6370F8CDD38  Time : 455.0 sec.
user=vaughan
[2009-07-30 16:25:28]
453*2^705090-1 is not prime.  Res64: FBBB1BFE8C8687BC  Time : 949.0 sec.
user=vaughan
[2009-07-30 16:26:42]
531*2^705090-1 is not prime.  Res64: FC9BB9257B4FCAD9  Time : 461.0 sec.
user=vaughan
[2009-07-30 16:28:17]
483*2^705091-1 is not prime.  Res64: C9F62B849D90017F  Time : 455.0 sec.
user=vaughan
[2009-07-30 16:34:24]
557*2^705092-1 is not prime.  Res64: D22B42FB65F72342  Time : 462.0 sec.
user=vaughan
[2009-07-30 16:35:52]
563*2^705092-1 is not prime.  Res64: 02AB3ED0B5FA26C4  Time : 455.0 sec.
user=vaughan
[2009-07-30 16:41:15]
525*2^705092-1 is not prime.  Res64: 84A2E050B55FE3BA  Time : 947.0 sec.
user=vaughan
[2009-07-30 16:42:05]
585*2^705092-1 is not prime.  Res64: 127F896123EEEF2A  Time : 462.0 sec.
user=vaughan
[2009-07-30 16:43:27]
593*2^705092-1 is not prime.  Res64: 7E1DC71B4D1DE95B  Time : 455.0 sec.
user=vaughan
[2009-07-30 16:49:45]
571*2^705093-1 is not prime.  Res64: 54557E4444657021  Time : 461.0 sec.
user=vaughan
[2009-07-30 16:51:02]
591*2^705093-1 is not prime.  Res64: 96FE15096700B3AF  Time : 455.0 sec.
user=vaughan
[2009-07-30 16:57:03]
549*2^705093-1 is not prime.  Res64: FA18E6A23CD8A615  Time : 948.0 sec.
user=vaughan
[2009-07-30 16:57:24]
495*2^705094-1 is not prime.  Res64: 0F0E06231434C566  Time : 460.0 sec.
user=vaughan
[2009-07-30 16:58:37]
525*2^705094-1 is not prime.  Res64: C6345931ED1A33C9  Time : 455.0 sec.
user=vaughan
[2009-07-30 17:05:04]
575*2^705094-1 is not prime.  Res64: 407AD48972A5BA71  Time : 461.0 sec.
user=vaughan
[2009-07-30 17:06:12]
543*2^705095-1 is not prime.  Res64: 36004B22B236907C  Time : 455.0 sec.
user=vaughan
[2009-07-30 17:12:44]
473*2^705096-1 is not prime.  Res64: C0B2AF349C3443A6  Time : 461.0 sec.
user=vaughan
[2009-07-30 17:12:51]
527*2^705094-1 is not prime.  Res64: 4AFCDB71FAF977A7  Time : 948.0 sec.
user=vaughan
[2009-07-30 17:13:47]
507*2^705096-1 is not prime.  Res64: 87E3A3730604A294  Time : 455.0 sec.
user=vaughan
[2009-07-30 17:20:23]
469*2^705097-1 is not prime.  Res64: 8960526D88F3584B  Time : 460.0 sec.
user=vaughan
[2009-07-30 17:21:22]
517*2^705097-1 is not prime.  Res64: A15033F0D89A2315  Time : 455.0 sec.
user=vaughan
[2009-07-30 17:28:03]
549*2^705097-1 is not prime.  Res64: 124E747EA784302C  Time : 461.0 sec.
user=vaughan
[2009-07-30 17:28:39]
471*2^705097-1 is not prime.  Res64: 22AA8236CB176113  Time : 948.0 sec.
user=vaughan
[2009-07-30 17:28:57]
589*2^705097-1 is not prime.  Res64: 52947730D3E122E9  Time : 455.0 sec.
user=vaughan
[2009-07-30 17:35:45]
447*2^705098-1 is not prime.  Res64: 08DE2429B906E0AE  Time : 462.0 sec.
user=vaughan
[2009-07-30 17:36:32]
445*2^705099-1 is not prime.  Res64: BC3749DE27749472  Time : 455.0 sec.
user=vaughan
[2009-07-30 17:43:27]
511*2^705099-1 is not prime.  Res64: 2DDE7C394C73F881  Time : 463.0 sec.
user=vaughan
[2009-07-30 17:44:07]
523*2^705099-1 is not prime.  Res64: CFC1087EEAE71728  Time : 455.0 sec.
user=vaughan
[2009-07-30 17:44:27]
497*2^705098-1 is not prime.  Res64: B776C74D47C07E8A  Time : 948.0 sec.
user=vaughan
[2009-07-30 17:51:08]
573*2^705099-1 is not prime.  Res64: 3F8A039799610EF6  Time : 461.0 sec.
user=vaughan
[2009-07-30 17:51:42]
447*2^705100-1 is not prime.  Res64: D9F85F143518152A  Time : 455.0 sec.
user=vaughan
[2009-07-30 17:58:50]
563*2^705100-1 is not prime.  Res64: 8E9FEEEC37D6CE0B  Time : 462.0 sec.
user=vaughan
[2009-07-30 17:59:17]
569*2^705100-1 is not prime.  Res64: F54CA7AD636AD3C9  Time : 455.0 sec.
user=vaughan
[2009-07-30 18:00:15]
539*2^705100-1 is not prime.  Res64: 62A390F594414D28  Time : 948.0 sec.
user=vaughan
[2009-07-30 18:06:31]
579*2^705100-1 is not prime.  Res64: A909703313AFAC2D  Time : 461.0 sec.
user=vaughan
[2009-07-30 18:06:52]
587*2^705100-1 is not prime.  Res64: 5D64FC8778FB4DED  Time : 455.0 sec.
user=vaughan
[2009-07-30 18:14:12]
401*2^705102-1 is not prime.  Res64: 4D1701D98C451B98  Time : 461.0 sec.
user=vaughan
[2009-07-30 18:14:27]
507*2^705102-1 is not prime.  Res64: 84D14C0046E3F544  Time : 455.0 sec.
user=vaughan
[2009-07-30 18:16:03]
411*2^705101-1 is not prime.  Res64: 2FDAF08373397B6E  Time : 948.0 sec.
user=vaughan
[2009-07-30 18:21:53]
563*2^705102-1 is not prime.  Res64: 5BD76A9989BA9A67  Time : 461.0 sec.
user=vaughan
[2009-07-30 18:22:02]
567*2^705102-1 is not prime.  Res64: 6E39D4477F1278FA  Time : 455.0 sec.
user=vaughan
[2009-07-30 18:29:33]
499*2^705103-1 is not prime.  Res64: 9B0FF3C22ABE12BE  Time : 460.0 sec.
user=vaughan
[2009-07-30 18:29:36]
541*2^705103-1 is not prime.  Res64: 5A36AB2EB6027ECB  Time : 454.0 sec.
user=vaughan
[2009-07-30 18:31:52]
453*2^705103-1 is not prime.  Res64: CA4D17F1CCEF2150  Time : 950.0 sec.
user=vaughan
[2009-07-30 18:37:11]
425*2^705106-1 is not prime.  Res64: 39027238B998336A  Time : 455.0 sec.
user=vaughan
[2009-07-30 18:37:13]
589*2^705103-1 is not prime.  Res64: 99EAFCE17D71DDD1  Time : 460.0 sec.
user=vaughan
[2009-07-30 18:44:46]
495*2^705106-1 is not prime.  Res64: 82E739157073A4DA  Time : 455.0 sec.
user=vaughan
[2009-07-30 18:44:53]
497*2^705106-1 is not prime.  Res64: 06E40630FF2C9203  Time : 460.0 sec.
user=vaughan
[2009-07-30 18:47:40]
461*2^705106-1 is not prime.  Res64: 790591258A3D7572  Time : 949.0 sec.
user=vaughan
[2009-07-30 18:52:20]
525*2^705106-1 is not prime.  Res64: DAB899CA40ACAAAE  Time : 454.0 sec.
user=vaughan
[2009-07-30 18:52:34]
597*2^705106-1 is not prime.  Res64: 14BB0AB189DEDD52  Time : 461.0 sec.
user=vaughan
[2009-07-30 18:59:56]
495*2^705107-1 is not prime.  Res64: D367FCFC56B30CFF  Time : 456.0 sec.
user=vaughan
[2009-07-30 19:00:23]
483*2^705108-1 is not prime.  Res64: E196753CC9F3BBF0  Time : 469.0 sec.
user=vaughan
[2009-07-30 19:05:02]
403*2^705107-1 is not prime.  Res64: 04C6010DBEA08134  Time : 1043.0 sec.
user=vaughan
[2009-07-30 19:07:31]
513*2^705108-1 is not prime.  Res64: AB231436B6E17DE9  Time : 455.0 sec.
user=vaughan
[2009-07-30 19:08:04]
527*2^705108-1 is not prime.  Res64: F22218ADB7E63993  Time : 461.0 sec.
user=vaughan
[2009-07-30 19:15:06]
549*2^705108-1 is not prime.  Res64: B290333F022104CF  Time : 455.0 sec.
user=vaughan
[2009-07-30 19:15:44]
555*2^705108-1 is not prime.  Res64: 3298A6B1CAA292F6  Time : 460.0 sec.
user=vaughan
[2009-07-30 19:22:41]
585*2^705108-1 is not prime.  Res64: 0984590A250A7E26  Time : 455.0 sec.
user=vaughan
[2009-07-30 19:23:24]
439*2^705109-1 is not prime.  Res64: 33C3C25028B49533  Time : 460.0 sec.
user=vaughan
[2009-07-30 19:30:16]
457*2^705109-1 is not prime.  Res64: EA5170A054F83C2B  Time : 455.0 sec.
user=vaughan
[2009-07-30 19:31:07]
481*2^705109-1 is not prime.  Res64: 57B0559CF05F5306  Time : 463.0 sec.
user=vaughan
[2009-07-30 19:37:51]
417*2^705110-1 is not prime.  Res64: 0AE8F8B869329513  Time : 455.0 sec.
user=vaughan
[2009-07-30 19:38:48]
501*2^705110-1 is not prime.  Res64: 7D6B9C378852262E  Time : 461.0 sec.
user=vaughan
[2009-07-30 19:45:25]
515*2^705110-1 is not prime.  Res64: F0E13D2ACCA057E3  Time : 454.0 sec.
user=vaughan
[2009-07-30 19:46:29]
561*2^705110-1 is not prime.  Res64: 644DB2D9FD1E6733  Time : 461.0 sec.
user=vaughan
[2009-07-30 19:52:59]
575*2^705110-1 is not prime.  Res64: CA51A243936808FB  Time : 454.0 sec.
user=vaughan
[2009-07-30 19:54:09]
593*2^705110-1 is not prime.  Res64: A21A103664F412A8  Time : 460.0 sec.
user=vaughan
[2009-07-30 20:00:34]
441*2^705111-1 is not prime.  Res64: E5024D62B6AF623F  Time : 455.0 sec.
user=vaughan
[2009-07-30 20:01:50]
453*2^705111-1 is not prime.  Res64: 3E0BE10228330DD3  Time : 461.0 sec.
user=vaughan
[2009-07-30 20:08:08]
571*2^705111-1 is not prime.  Res64: 810BF98518728B52  Time : 454.0 sec.
user=vaughan
[2009-07-30 20:09:30]
567*2^705112-1 is not prime.  Res64: 00575C4FA97E01F9  Time : 461.0 sec.
user=vaughan
[2009-07-30 20:15:43]
409*2^705113-1 is not prime.  Res64: 265230BB88CFE0F4  Time : 455.0 sec.
user=vaughan
[2009-07-30 20:17:10]
465*2^705113-1 is not prime.  Res64: 5A6235104BC1D966  Time : 460.0 sec.
user=vaughan
[2009-07-30 20:18:10]
475*2^705111-1 is not prime.  Res64: EF02991581EA1703  Time : 1059.0 sec.
user=vaughan
[2009-07-30 20:18:11]
583*2^705111-1 is not prime.  Res64: 368366DB8AB0D949  Time : 1057.0 sec.
user=vaughan
[2009-07-30 20:18:17]
533*2^705112-1 is not prime.  Res64: ABF7E66CBFAB9234  Time : 1055.0 sec.
user=vaughan
[2009-07-30 20:18:18]
423*2^705112-1 is not prime.  Res64: 56A50C76D2292CEB  Time : 1059.0 sec.
user=vaughan
[2009-07-30 20:23:19]
525*2^705113-1 is not prime.  Res64: 0283B828931D5ACF  Time : 456.0 sec.
user=vaughan
[2009-07-30 20:24:57]
571*2^705113-1 is not prime.  Res64: 310A680DFE05A336  Time : 467.0 sec.
user=vaughan
[2009-07-30 20:30:54]
583*2^705115-1 is not prime.  Res64: F801DAC351361578  Time : 455.0 sec.
user=vaughan
[2009-07-30 20:32:37]
545*2^705116-1 is not prime.  Res64: 449614FDEB1DEDAA  Time : 460.0 sec.
user=vaughan
[2009-07-30 20:35:56]
587*2^705114-1 is not prime.  Res64: 4B6E6EBCE39157D5  Time : 1059.0 sec.
user=vaughan
[2009-07-30 20:36:06]
527*2^705114-1 is not prime.  Res64: 88A04D34A2E5DBA4  Time : 1075.0 sec.
user=vaughan
[2009-07-30 20:36:12]
585*2^705113-1 is not prime.  Res64: AA9F6ADD0811DFFE  Time : 1083.0 sec.
user=vaughan
[2009-07-30 20:36:23]
415*2^705115-1 is not prime.  Res64: AED4A367DF273AD9  Time : 1085.0 sec.
user=vaughan
[2009-07-30 20:38:28]
405*2^705117-1 is not prime.  Res64: F39824D1379ADF3B  Time : 454.0 sec.
user=vaughan
[2009-07-30 20:40:17]
549*2^705117-1 is not prime.  Res64: BCD960A360A3960C  Time : 460.0 sec.
user=vaughan
[2009-07-30 20:46:03]
491*2^705118-1 is not prime.  Res64: 70D4F79E3574B60F  Time : 455.0 sec.
user=vaughan
[2009-07-30 20:47:57]
495*2^705118-1 is not prime.  Res64: F1D43C5A8811BA54  Time : 460.0 sec.
user=vaughan
[2009-07-30 20:53:05]
559*2^705117-1 is not prime.  Res64: E087CD82F1419E51  Time : 1029.0 sec.
user=vaughan
[2009-07-30 20:53:08]
565*2^705117-1 is not prime.  Res64: 854DC5CED8F0FF5F  Time : 1022.0 sec.
user=vaughan
[2009-07-30 20:53:15]
447*2^705118-1 is not prime.  Res64: 464AE2D84CD37A90  Time : 1024.0 sec.
user=vaughan
[2009-07-30 20:53:37]
581*2^705118-1 is not prime.  Res64: A6130702D3C4E37D  Time : 454.0 sec.
user=vaughan
[2009-07-30 20:53:40]
467*2^705118-1 is not prime.  Res64: 3DEE7431702CBBE9  Time : 1038.0 sec.
user=vaughan
[2009-07-30 20:55:37]
411*2^705119-1 is not prime.  Res64: F5E658B2DB0E38B4  Time : 460.0 sec.
user=vaughan
[2009-07-30 21:01:12]
479*2^705120-1 is not prime.  Res64: 939459803244F61A  Time : 455.0 sec.
user=vaughan
[2009-07-30 21:03:18]
539*2^705120-1 is not prime.  Res64: CD4C416FA35EF967  Time : 461.0 sec.
user=vaughan
[2009-07-30 21:08:47]
477*2^705121-1 is not prime.  Res64: 9982C043D935F88C  Time : 455.0 sec.
user=vaughan
[2009-07-30 21:10:09]
433*2^705119-1 is not prime.  Res64: 41203480B9137B04  Time : 1024.0 sec.
user=vaughan
[2009-07-30 21:10:31]
579*2^705119-1 is not prime.  Res64: BBEE8566CB61930E  Time : 1036.0 sec.
user=vaughan
[2009-07-30 21:10:39]
469*2^705119-1 is not prime.  Res64: 3E117EC28DBAC3DF  Time : 1051.0 sec.
user=vaughan
[2009-07-30 21:10:59]
495*2^705121-1 is not prime.  Res64: 469D7A1469603714  Time : 461.0 sec.
user=vaughan
[2009-07-30 21:11:05]
503*2^705120-1 is not prime.  Res64: 273398C139043CEE  Time : 1045.0 sec.
user=vaughan
[2009-07-30 21:16:22]
565*2^705121-1 is not prime.  Res64: 2FDD7C6439870D31  Time : 455.0 sec.
user=vaughan
[2009-07-30 21:18:40]
525*2^705122-1 is not prime.  Res64: 21EB0248DD27A903  Time : 461.0 sec.
user=vaughan
[2009-07-30 21:23:57]
483*2^705123-1 is not prime.  Res64: E72F67A5574C3305  Time : 455.0 sec.
user=vaughan
[2009-07-30 21:26:21]
419*2^705124-1 is not prime.  Res64: 575D983FD216D23D  Time : 461.0 sec.
user=vaughan
[2009-07-30 21:27:06]
407*2^705122-1 is not prime.  Res64: 45D984635CD3A690  Time : 1017.0 sec.
user=vaughan
[2009-07-30 21:27:55]
431*2^705122-1 is not prime.  Res64: 93E9A3145714432F  Time : 1044.0 sec.
user=vaughan
[2009-07-30 21:27:57]
447*2^705122-1 is not prime.  Res64: 41D59F7A36E43A99  Time : 1038.0 sec.
user=vaughan
[2009-07-30 21:28:03]
481*2^705123-1 is not prime.  Res64: 3E5F8CB4A3A7882C  Time : 1018.0 sec.
user=vaughan
[2009-07-30 21:31:33]
429*2^705124-1 is not prime.  Res64: 0887ADA78BDACEA3  Time : 456.0 sec.
user=vaughan
[2009-07-30 21:34:03]
455*2^705124-1 is not prime.  Res64: FE59B7880A2DF839  Time : 462.0 sec.
user=vaughan
[2009-07-30 21:39:07]
507*2^705125-1 is not prime.  Res64: 29964F1B8E6AE1CB  Time : 455.0 sec.
user=vaughan
[2009-07-30 21:41:44]
511*2^705125-1 is not prime.  Res64: B44FBCD728DED9CD  Time : 461.0 sec.
user=vaughan
[2009-07-30 21:44:45]
569*2^705124-1 is not prime.  Res64: 0F68B42095B44C57  Time : 1059.0 sec.
user=vaughan
[2009-07-30 21:45:39]
469*2^705125-1 is not prime.  Res64: 46D8944E424F2871  Time : 1064.0 sec.
user=vaughan
[2009-07-30 21:45:41]
487*2^705125-1 is not prime.  Res64: 9BC9A779621BFDC7  Time : 1059.0 sec.
user=vaughan
[2009-07-30 21:46:08]
481*2^705125-1 is not prime.  Res64: 0DE93DCC17695AED  Time : 1091.0 sec.
user=vaughan
[2009-07-30 21:46:42]
529*2^705125-1 is not prime.  Res64: 6C0D2958E4622DE7  Time : 455.0 sec.
user=vaughan
[2009-07-30 21:49:24]
585*2^705125-1 is not prime.  Res64: 4703A9FFCF6B9C38  Time : 460.0 sec.
user=vaughan
[2009-07-30 21:54:18]
465*2^705126-1 is not prime.  Res64: 75EED14CDD8B262F  Time : 456.0 sec.
user=vaughan
[2009-07-30 21:57:05]
525*2^705126-1 is not prime.  Res64: EB1C9380BBBB0F5C  Time : 461.0 sec.
user=vaughan
[2009-07-30 22:01:53]
563*2^705126-1 is not prime.  Res64: 74FF685245EE50C2  Time : 455.0 sec.
user=vaughan
[2009-07-30 22:02:08]
591*2^705125-1 is not prime.  Res64: 4E3D476575CA449C  Time : 1043.0 sec.
user=vaughan
[2009-07-30 22:02:57]
405*2^705126-1 is not prime.  Res64: F8F9F485B83DC602  Time : 1039.0 sec.
user=vaughan
[2009-07-30 22:03:16]
431*2^705126-1 is not prime.  Res64: BFF73C14CBC83058  Time : 1055.0 sec.
user=vaughan
[2009-07-30 22:03:35]
437*2^705126-1 is not prime.  Res64: 0B532914C0A93F91  Time : 1047.0 sec.
user=vaughan
[2009-07-30 22:04:46]
587*2^705126-1 is not prime.  Res64: 4D400E785436BBA9  Time : 461.0 sec.
user=vaughan
[2009-07-30 22:09:28]
405*2^705127-1 is not prime.  Res64: 85918EE6AF46B1EE  Time : 455.0 sec.
user=vaughan
[2009-07-30 22:12:27]
495*2^705128-1 is not prime.  Res64: 4A6C6BE3E0A523AB  Time : 461.0 sec.
user=vaughan
[2009-07-30 22:17:03]
525*2^705128-1 is not prime.  Res64: 2E6E53B3CDC8683B  Time : 455.0 sec.
user=vaughan
[2009-07-30 22:19:35]
423*2^705127-1 is not prime.  Res64: C0BCBB1B6EE8729E  Time : 1048.0 sec.
user=vaughan
[2009-07-30 22:20:06]
533*2^705128-1 is not prime.  Res64: E7B45128C8A2AB79  Time : 460.0 sec.
user=vaughan
[2009-07-30 22:20:20]
441*2^705127-1 is not prime.  Res64: A91CC6D14468BFD2  Time : 1043.0 sec.
user=vaughan
[2009-07-30 22:20:34]
519*2^705127-1 is not prime.  Res64: 85555C2B0171612B  Time : 1038.0 sec.
user=vaughan
[2009-07-30 22:20:52]
579*2^705127-1 is not prime.  Res64: 22AC785BF70B4B16  Time : 1038.0 sec.
user=vaughan
[2009-07-30 22:24:38]
539*2^705128-1 is not prime.  Res64: DF027BAE62D3B1D3  Time : 455.0 sec.
user=vaughan
[2009-07-30 22:27:47]
471*2^705129-1 is not prime.  Res64: 058E2F1B66E8B26C  Time : 462.0 sec.
user=vaughan
[2009-07-30 22:32:11]
413*2^705132-1 is not prime.  Res64: EB1BC922B03384C2  Time : 453.0 sec.
user=vaughan
[2009-07-30 22:35:29]
489*2^705132-1 is not prime.  Res64: B9432401A5175594  Time : 463.0 sec.
user=vaughan
[2009-07-30 22:36:41]
585*2^705128-1 is not prime.  Res64: 2110C1BA52214005  Time : 1026.0 sec.
user=vaughan
[2009-07-30 22:37:40]
487*2^705129-1 is not prime.  Res64: ED7730D7230B9443  Time : 1040.0 sec.
user=vaughan
[2009-07-30 22:37:59]
465*2^705130-1 is not prime.  Res64: A1145D22949BB5D4  Time : 1045.0 sec.
user=vaughan
[2009-07-30 22:38:08]
585*2^705131-1 is not prime.  Res64: CB736C4AE2265DD0  Time : 1036.0 sec.
user=vaughan
[2009-07-30 22:39:44]
507*2^705132-1 is not prime.  Res64: 254B3A3820A51EC7  Time : 453.0 sec.
user=vaughan
[2009-07-30 22:43:13]
515*2^705132-1 is not prime.  Res64: F18D9E16AA7917BF  Time : 465.0 sec.
user=vaughan
[2009-07-30 22:47:16]
435*2^705133-1 is not prime.  Res64: 6BCC47A0621ED98D  Time : 452.0 sec.
user=vaughan
[2009-07-30 22:50:56]
477*2^705133-1 is not prime.  Res64: 306D18CE2A35C909  Time : 464.0 sec.
user=vaughan
[2009-07-30 22:53:48]
527*2^705132-1 is not prime.  Res64: 23CF7B0161E51F7B  Time : 1027.0 sec.
user=vaughan
[2009-07-30 22:54:48]
489*2^705133-1 is not prime.  Res64: 0226A0638639577A  Time : 452.0 sec.
user=vaughan
[2009-07-30 22:54:58]
405*2^705133-1 is not prime.  Res64: 238D3731E9F4C158  Time : 1038.0 sec.
user=vaughan
[2009-07-30 22:55:11]
411*2^705133-1 is not prime.  Res64: 585F140EC1445B89  Time : 1033.0 sec.
user=vaughan
[2009-07-30 22:55:33]
429*2^705133-1 is not prime.  Res64: 3F95C734C0698ED9  Time : 1045.0 sec.
user=vaughan
[2009-07-30 22:58:39]
499*2^705133-1 is not prime.  Res64: 0B5A45CA94A46E11  Time : 464.0 sec.
user=vaughan
[2009-07-30 23:02:21]
567*2^705133-1 is not prime.  Res64: 9BBC8283021C77A1  Time : 453.0 sec.
user=vaughan
[2009-07-30 23:06:21]
561*2^705134-1 is not prime.  Res64: 5155EEF51D593151  Time : 463.0 sec.
user=vaughan
[2009-07-30 23:09:54]
563*2^705134-1 is not prime.  Res64: 39568A718D2DFFF8  Time : 453.0 sec.
user=vaughan
[2009-07-30 23:11:17]
517*2^705133-1 is not prime.  Res64: D398CB14570A7DCB  Time : 1049.0 sec.
user=vaughan
[2009-07-30 23:12:21]
503*2^705134-1 is not prime.  Res64: A54D1BDE87897951  Time : 1043.0 sec.
user=vaughan
[2009-07-30 23:12:39]
545*2^705134-1 is not prime.  Res64: B1DFC9130030FF57  Time : 1048.0 sec.
user=vaughan
[2009-07-30 23:13:02]
551*2^705134-1 is not prime.  Res64: 93428699AB498C54  Time : 1050.0 sec.
user=vaughan
[2009-07-30 23:14:04]
511*2^705135-1 is not prime.  Res64: 4EE2166DAFD87C23  Time : 463.0 sec.
user=vaughan
[2009-07-30 23:17:27]
595*2^705135-1 is not prime.  Res64: 8E0B97991D509C1F  Time : 453.0 sec.
user=vaughan
[2009-07-30 23:21:47]
441*2^705137-1 is not prime.  Res64: D0A802B7D41927CE  Time : 463.0 sec.
user=vaughan
[2009-07-30 23:25:00]
489*2^705137-1 is not prime.  Res64: C168BEDB62814E9E  Time : 453.0 sec.
user=vaughan
[2009-07-30 23:28:26]
437*2^705136-1 is not prime.  Res64: 2C13DADC778AD5C2  Time : 1029.0 sec.
user=vaughan
[2009-07-30 23:29:28]
501*2^705137-1 is not prime.  Res64: 44A7961CA60802A0  Time : 461.0 sec.
user=vaughan
[2009-07-30 23:29:39]
573*2^705136-1 is not prime.  Res64: 037A229F0DDD7378  Time : 1038.0 sec.
user=vaughan
[2009-07-30 23:29:57]
593*2^705136-1 is not prime.  Res64: FA467CCF3AFC925D  Time : 1038.0 sec.
user=vaughan
[2009-07-30 23:30:18]
405*2^705137-1 is not prime.  Res64: FFC616A8E88920F1  Time : 1036.0 sec.
user=vaughan
[2009-07-30 23:32:35]
511*2^705137-1 is not prime.  Res64: 0873490F46138C3E  Time : 455.0 sec.
user=vaughan
[2009-07-30 23:37:07]
471*2^705138-1 is not prime.  Res64: 66FDFCE472715B76  Time : 459.0 sec.
user=vaughan
[2009-07-30 23:40:10]
415*2^705139-1 is not prime.  Res64: 61E16ACA7091A291  Time : 455.0 sec.
user=vaughan
[2009-07-30 23:44:47]
489*2^705139-1 is not prime.  Res64: 7ADA863974A4BACF  Time : 460.0 sec.
user=vaughan
[2009-07-30 23:45:42]
453*2^705138-1 is not prime.  Res64: 65435382AC437277  Time : 1036.0 sec.
user=vaughan
[2009-07-30 23:47:19]
527*2^705138-1 is not prime.  Res64: 3A873294631D2C65  Time : 1061.0 sec.
user=vaughan
[2009-07-30 23:47:30]
563*2^705138-1 is not prime.  Res64: FB4EEDAC19591C94  Time : 1053.0 sec.
user=vaughan
[2009-07-30 23:47:45]
493*2^705139-1 is not prime.  Res64: 4673AA27AF75F483  Time : 455.0 sec.
user=vaughan
[2009-07-30 23:47:56]
411*2^705139-1 is not prime.  Res64: C64C91E834847E7F  Time : 1058.0 sec.
user=vaughan
[2009-07-30 23:52:27]
531*2^705139-1 is not prime.  Res64: D3A1120D07BC20EB  Time : 460.0 sec.
user=vaughan
[2009-07-30 23:55:20]
427*2^705141-1 is not prime.  Res64: 95CBC559ADDBC2BC  Time : 455.0 sec.