user=Sloth
[2010-12-14 00:01:27]
649*2^860295-1 is not prime.  Res64: 541CCBE8D5EB3F34  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:01:33]
729*2^860287-1 is not prime.  Res64: 309C0F7E0FE26739  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:02:34]
695*2^860296-1 is not prime.  Res64: B1AE99A325C8B8F2  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:03:43]
741*2^860287-1 is not prime.  Res64: 2DB74B3F68F325C9  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:05:00]
649*2^860291-1 is not prime.  Res64: E911412B3A566406  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:06:07]
685*2^860291-1 is not prime.  Res64: 9C6992FB8F0E1F1B  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:07:04]
773*2^860294-1 is not prime.  Res64: B59862508A2BB3E9  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:10:13]
779*2^860292-1 is not prime.  Res64: 7AC08D3905822407  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:10:34]
617*2^860294-1 is not prime.  Res64: B3DC05896172F7FA  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:10:36]
601*2^860297-1 is not prime.  Res64: 61721899FA9B23B9  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:10:36]
633*2^860299-1 is not prime.  Res64: 51054F1C7E561E7E  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:11:08]
677*2^860300-1 is not prime.  Res64: C026AE99C36AA5F3  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:11:14]
647*2^860300-1 is not prime.  Res64: 68DB24C2F636BF8B  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:11:15]
665*2^860300-1 is not prime.  Res64: F6552F2C0B353AFB  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:11:23]
735*2^860299-1 is not prime.  Res64: 3E92AEDBD2579F1B  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:11:44]
699*2^860297-1 is not prime.  Res64: F16213BD38FEEA4E  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:12:45]
737*2^860302-1 is not prime.  Res64: 0EF965A00327F189  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:13:17]
663*2^860294-1 is not prime.  Res64: C9719161EB29529F  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:13:45]
797*2^860298-1 is not prime.  Res64: FED3D27E4E95FB55  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:13:53]
645*2^860302-1 is not prime.  Res64: 78C1BD4A42B94CFE  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:15:18]
765*2^860296-1 is not prime.  Res64: 68EAA782705A6F9B  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:15:46]
681*2^860299-1 is not prime.  Res64: FC9E26F95DB2F463  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:15:51]
615*2^860306-1 is not prime.  Res64: 4AC6108095F61F1D  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:17:03]
623*2^860306-1 is not prime.  Res64: 432AD9274D237B0B  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:19:09]
781*2^860303-1 is not prime.  Res64: E63962A928BF4804  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:19:48]
785*2^860300-1 is not prime.  Res64: 18FF8D4A616CDFB7  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:20:34]
759*2^860299-1 is not prime.  Res64: 245E2EBBC2E30D64  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:20:34]
675*2^860304-1 is not prime.  Res64: E3AD55633610CA3C  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:21:01]
767*2^860300-1 is not prime.  Res64: 5711727BD2E05A56  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:21:42]
777*2^860285-1 is not prime.  Res64: 77F7AD71BEC031AD  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:21:42]
783*2^860284-1 is not prime.  Res64: 972EE05DC9F9E523  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:21:42]
795*2^860285-1 is not prime.  Res64: D9562A137112FBA0  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:21:43]
799*2^860285-1 is not prime.  Res64: BDEC6931A948C403  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:21:43]
605*2^860290-1 is not prime.  Res64: 006993B91A798395  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:22:15]
651*2^860306-1 is not prime.  Res64: 0056AAF76A46C8EA  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:22:55]
789*2^860299-1 is not prime.  Res64: 7572553DC4EF8E39  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:23:03]
661*2^860301-1 is not prime.  Res64: 28EF7639F36CC48A  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:23:22]
661*2^860303-1 is not prime.  Res64: 91A34449D40A180A  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:24:05]
681*2^860302-1 is not prime.  Res64: 53DF4737DFD6AC6A  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:24:50]
797*2^860300-1 is not prime.  Res64: 7F003F7083D6F81F  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:26:08]
721*2^860305-1 is not prime.  Res64: C39D9CC7CCA230BF  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:26:14]
625*2^860307-1 is not prime.  Res64: 12ED45C5063BE4A7  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:26:30]
645*2^860309-1 is not prime.  Res64: DD0F733EC64D77A8  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:26:31]
631*2^860309-1 is not prime.  Res64: 59E101C4B3A259A2  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:26:48]
635*2^860310-1 is not prime.  Res64: EAB2B93E9F49E3A0  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:27:01]
693*2^860310-1 is not prime.  Res64: 6B8EC781D23A7503  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:27:07]
663*2^860308-1 is not prime.  Res64: B4B4C36C97716F15  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:28:45]
657*2^860306-1 is not prime.  Res64: 0919D0FB85021DBE  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:29:14]
665*2^860304-1 is not prime.  Res64: B7C638A84E8B2435  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:29:27]
735*2^860308-1 is not prime.  Res64: ED711E73F485AA7E  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:29:34]
743*2^860308-1 is not prime.  Res64: E7DB8356333D8FCC  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:30:09]
793*2^860307-1 is not prime.  Res64: FDD24E3680D696CB  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:30:10]
789*2^860309-1 is not prime.  Res64: 2F209F5EC3ECB036  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:34:12]
713*2^860306-1 is not prime.  Res64: 92D8E058552D369B  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:34:45]
795*2^860304-1 is not prime.  Res64: 823C740883E09D54  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:34:58]
673*2^860311-1 is not prime.  Res64: E20404CDF55650BE  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:35:03]
619*2^860307-1 is not prime.  Res64: 43B5B7DE9DCFD48D  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:36:44]
699*2^860307-1 is not prime.  Res64: 9881C705F4843A7F  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:38:24]
639*2^860311-1 is not prime.  Res64: FF26F48BF9F85A3D  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:38:43]
765*2^860307-1 is not prime.  Res64: CD35122179C9E85C  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:39:04]
651*2^860311-1 is not prime.  Res64: EEA64C6885A62B49  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:40:00]
765*2^860310-1 is not prime.  Res64: 89CDA6FB7AFC65CE  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:40:51]
641*2^860318-1 is not prime.  Res64: DB71F0D168792BE0  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:41:20]
755*2^860314-1 is not prime.  Res64: 3A15E449FDF21249  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:41:32]
749*2^860316-1 is not prime.  Res64: 5B38334D1C2100BE  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:41:38]
799*2^860315-1 is not prime.  Res64: 7A74C899C6AF69CF  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:41:50]
601*2^860319-1 is not prime.  Res64: F502AE9877513A2B  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:42:14]
603*2^860320-1 is not prime.  Res64: E8F76F56525765C4  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:42:22]
607*2^860317-1 is not prime.  Res64: 976D57469E169EE6  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:43:10]
743*2^860318-1 is not prime.  Res64: E5831805C6508E6F  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:44:31]
663*2^860311-1 is not prime.  Res64: 827E3EB80FCAB891  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:44:41]
759*2^860317-1 is not prime.  Res64: 9742CBF6DA2320C0  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:45:04]
691*2^860319-1 is not prime.  Res64: 745844BCF241F10F  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:45:11]
695*2^860320-1 is not prime.  Res64: 2E25C81BDCBDFD8F  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:45:18]
709*2^860311-1 is not prime.  Res64: AD0970FD0BA217BD  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:45:59]
759*2^860313-1 is not prime.  Res64: 0680AA35FDE4E722  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:46:13]
765*2^860313-1 is not prime.  Res64: 94D8EFB6DFE7475E  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:46:31]
669*2^860315-1 is not prime.  Res64: 2E2649DFEC9B8652  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:46:52]
797*2^860312-1 is not prime.  Res64: 71162BBE80A70DC5  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:46:59]
675*2^860316-1 is not prime.  Res64: 439A326BBFC933CC  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:48:44]
663*2^860323-1 is not prime.  Res64: E348159920442FFB  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:48:45]
723*2^860314-1 is not prime.  Res64: AC4D049FEA6B3032  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:52:47]
669*2^860319-1 is not prime.  Res64: AF4C91EB04FE0713  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:52:55]
797*2^860318-1 is not prime.  Res64: D2A18184D3967152  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:53:23]
671*2^860318-1 is not prime.  Res64: 065EBA36D184B9E1  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:55:05]
777*2^860322-1 is not prime.  Res64: 9F52388AFC6F4162  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:56:27]
783*2^860323-1 is not prime.  Res64: DB837196DE212C43  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:56:47]
705*2^860326-1 is not prime.  Res64: 8969F10D074B38AF  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:56:54]
791*2^860322-1 is not prime.  Res64: 274B0441841EC3BD  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:57:06]
707*2^860324-1 is not prime.  Res64: CA399016887355C2  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:57:20]
615*2^860327-1 is not prime.  Res64: 48278E20810795E0  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:57:34]
741*2^860325-1 is not prime.  Res64: 39F62AAF08139E21  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:57:40]
601*2^860327-1 is not prime.  Res64: 0E7F472C02F03C13  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:57:46]
679*2^860323-1 is not prime.  Res64: 2E08C90FCABDEA8D  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:58:05]
633*2^860327-1 is not prime.  Res64: 5A6E9666D87876C7  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:58:19]
697*2^860321-1 is not prime.  Res64: 07C5546DDBC76369  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:58:52]
795*2^860318-1 is not prime.  Res64: B9AC8F373A61A5B7  Time : 0.0 sec.
user=Sloth
[2010-12-14 00:59:30]
631*2^860321-1 is not prime.  Res64: 43C39384FA5792A4  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:00:38]
639*2^860329-1 is not prime.  Res64: 78E35B8F69BD3ED7  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:00:45]
663*2^860328-1 is not prime.  Res64: D318C4E4C4B22D17  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:00:51]
671*2^860322-1 is not prime.  Res64: 177A6186CE933922  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:02:38]
685*2^860321-1 is not prime.  Res64: ED5E0AED537DFA86  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:02:57]
675*2^860331-1 is not prime.  Res64: 33DFCFD5E2475E8F  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:03:49]
693*2^860327-1 is not prime.  Res64: D62E4E35F85D5C56  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:04:05]
751*2^860323-1 is not prime.  Res64: EAFC31C03005A3EF  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:08:27]
625*2^860329-1 is not prime.  Res64: 6B06E5612868DC2E  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:09:21]
673*2^860327-1 is not prime.  Res64: 3B506B6A1B5AA358  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:09:29]
681*2^860329-1 is not prime.  Res64: 4ACD2F023CC3652C  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:09:35]
695*2^860332-1 is not prime.  Res64: 8539233982D6F9BB  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:10:33]
623*2^860332-1 is not prime.  Res64: 80DBE6A3F359339F  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:10:38]
707*2^860330-1 is not prime.  Res64: C2087B2908B9CCF6  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:10:46]
735*2^860327-1 is not prime.  Res64: AE8CBB7B0BEBF24D  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:11:00]
783*2^860331-1 is not prime.  Res64: 1704E4E77964231A  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:11:07]
663*2^860334-1 is not prime.  Res64: E137B33ED7BA3D62  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:11:31]
715*2^860333-1 is not prime.  Res64: C6F677B5E88BF3BF  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:11:53]
741*2^860333-1 is not prime.  Res64: 209C281BF9F50FB5  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:12:20]
745*2^860331-1 is not prime.  Res64: 3F8F8909BA6B91E7  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:12:26]
753*2^860330-1 is not prime.  Res64: E31C801EA6D9588D  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:12:58]
649*2^860335-1 is not prime.  Res64: DCCC56A45B800DB0  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:13:04]
603*2^860335-1 is not prime.  Res64: 74B518D13B6A9797  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:13:12]
657*2^860332-1 is not prime.  Res64: 3A6F5136E8FBB7C7  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:13:49]
741*2^860294-1 is not prime.  Res64: 5DE338A7B8A0CE3A  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:13:50]
755*2^860294-1 is not prime.  Res64: FE44D691F8900BF2  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:13:50]
759*2^860296-1 is not prime.  Res64: 326AB64761DFF810  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:16:12]
609*2^860337-1 is not prime.  Res64: EA9230AB9B01F030  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:16:19]
669*2^860339-1 is not prime.  Res64: 7C2EF7AE387C689F  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:16:40]
679*2^860331-1 is not prime.  Res64: 5FF4028308FBD29A  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:17:01]
675*2^860333-1 is not prime.  Res64: 835EADBA29AD8854  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:17:02]
651*2^860334-1 is not prime.  Res64: 88A2875B3E439BAB  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:17:09]
689*2^860340-1 is not prime.  Res64: 78085B249418CDB5  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:17:17]
603*2^860312-1 is not prime.  Res64: 29DDD5D27353B181  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:17:18]
693*2^860312-1 is not prime.  Res64: 6388355979275DEE  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:17:18]
699*2^860313-1 is not prime.  Res64: 0808ED786E744888  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:17:18]
725*2^860312-1 is not prime.  Res64: 9E354EF74FA7E41C  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:17:18]
759*2^860312-1 is not prime.  Res64: 865B4E4403341803  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:17:24]
691*2^860333-1 is not prime.  Res64: 959D86017E41C36D  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:17:44]
675*2^860335-1 is not prime.  Res64: 49E6638A2D4C88CA  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:21:33]
683*2^860334-1 is not prime.  Res64: F530E58BC1F10F77  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:23:08]
735*2^860335-1 is not prime.  Res64: CE43BE715EFB3559  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:23:40]
613*2^860343-1 is not prime.  Res64: 1304E75740A72FF8  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:24:25]
677*2^860338-1 is not prime.  Res64: 586202C67841D232  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:24:45]
741*2^860343-1 is not prime.  Res64: 27F718F0B5885A2E  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:25:16]
751*2^860343-1 is not prime.  Res64: D5009927FF7537BF  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:26:12]
685*2^860339-1 is not prime.  Res64: F14888A5ACF61FB6  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:26:25]
771*2^860341-1 is not prime.  Res64: 51D54516CA5C930F  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:26:48]
795*2^860340-1 is not prime.  Res64: CD253CA37AC66C0D  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:27:19]
711*2^860337-1 is not prime.  Res64: 9A49E062F2CEED51  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:27:28]
797*2^860342-1 is not prime.  Res64: B712EADAC4B12422  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:27:35]
635*2^860346-1 is not prime.  Res64: C4C982F6A1F2221B  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:27:41]
735*2^860339-1 is not prime.  Res64: 2F8E9720B6AB1F8E  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:28:09]
645*2^860345-1 is not prime.  Res64: A731705686E8850E  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:28:28]
663*2^860344-1 is not prime.  Res64: BF36F97E5AD11256  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:31:29]
747*2^860337-1 is not prime.  Res64: 45153ABDBDF6A8C9  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:31:39]
717*2^860346-1 is not prime.  Res64: BDFD6CB39185EBC9  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:31:45]
755*2^860344-1 is not prime.  Res64: 83858B312DAD7063  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:32:16]
753*2^860339-1 is not prime.  Res64: 4C066AB0D5D33498  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:32:22]
773*2^860338-1 is not prime.  Res64: 5EE442ED7810652B  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:32:37]
639*2^860341-1 is not prime.  Res64: 209247A27C077DAC  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:33:53]
681*2^860341-1 is not prime.  Res64: C554B0D5E455BD5F  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:33:59]
663*2^860343-1 is not prime.  Res64: A72A0E576DDBDD66  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:36:16]
657*2^860345-1 is not prime.  Res64: A5E6AA14BD1DFF2E  Time : 0.0 sec.
user=Sloth
[2010-12-14 01:39:47]
765*2^860344-1 is not prime.  Res64: AF716FFA84B60FF2  Time : 0.0 sec.
user=Sloth
[2010-12-14 02:12:55]
767*2^860346-1 is not prime.  Res64: 2CC56A9E1DD9EEA7  Time : 0.0 sec.
user=Sloth
[2010-12-14 02:12:55]
623*2^860348-1 is not prime.  Res64: 4882048AF7D0DC80  Time : 0.0 sec.
user=Sloth
[2010-12-14 02:12:56]
645*2^860347-1 is not prime.  Res64: 64373A3387C04AC7  Time : 0.0 sec.
user=Sloth
[2010-12-14 02:12:56]
647*2^860350-1 is not prime.  Res64: 0E4E2CAAD3084EA2  Time : 0.0 sec.
user=Sloth
[2010-12-14 02:12:56]
657*2^860350-1 is not prime.  Res64: 6AB0BF67E0D4CB16  Time : 0.0 sec.
user=Sloth
[2010-12-14 02:35:30]
677*2^860344-1 is not prime.  Res64: D3D43111295553C9  Time : 0.0 sec.
user=Sloth
[2010-12-14 02:35:30]
683*2^860346-1 is not prime.  Res64: 84D0D28CBAF1D214  Time : 0.0 sec.
user=Sloth
[2010-12-14 02:35:31]
711*2^860346-1 is not prime.  Res64: C10647416B6F5C5F  Time : 0.0 sec.
user=Sloth
[2010-12-14 03:08:32]
663*2^860347-1 is not prime.  Res64: DAA2FCF3623165FC  Time : 0.0 sec.
user=Sloth
[2010-12-14 03:08:32]
681*2^860347-1 is not prime.  Res64: 23E1207F5A763598  Time : 0.0 sec.
user=Sloth
[2010-12-14 03:08:33]
765*2^860349-1 is not prime.  Res64: 7AF24AD35E1B8CAC  Time : 0.0 sec.
user=Sloth
[2010-12-14 03:08:33]
769*2^860347-1 is not prime.  Res64: AC4FA6A95166610C  Time : 0.0 sec.
user=Sloth
[2010-12-14 03:08:33]
781*2^860349-1 is not prime.  Res64: F33E6ABF950DB585  Time : 0.0 sec.
user=Sloth
[2010-12-14 03:59:02]
787*2^860349-1 is not prime.  Res64: 12F5305A302668F8  Time : 0.0 sec.
user=Sloth
[2010-12-14 03:59:02]
621*2^860351-1 is not prime.  Res64: DA0A3E7424CF969E  Time : 0.0 sec.
user=Sloth
[2010-12-14 03:59:03]
661*2^860351-1 is not prime.  Res64: 26EC04DF5CC09017  Time : 0.0 sec.
user=Sloth
[2010-12-14 04:04:14]
669*2^860352-1 is not prime.  Res64: A93C2725A1DE6F57  Time : 0.0 sec.
user=Sloth
[2010-12-14 04:04:15]
679*2^860351-1 is not prime.  Res64: 6B64F226FF7F1D5D  Time : 0.0 sec.
user=Sloth
[2010-12-14 04:04:16]
687*2^860353-1 is not prime.  Res64: C1C9CFA77ED5DC3C  Time : 0.0 sec.
user=Sloth
[2010-12-14 04:04:16]
703*2^860351-1 is not prime.  Res64: E8802B6D495B3197  Time : 0.0 sec.
user=Sloth
[2010-12-14 04:04:16]
717*2^860350-1 is not prime.  Res64: C1068701F400E16A  Time : 0.0 sec.
user=Sloth
[2010-12-14 05:00:02]
765*2^860352-1 is not prime.  Res64: 986D4BC21C8F0DA2  Time : 0.0 sec.
user=Sloth
[2010-12-14 05:00:03]
775*2^860351-1 is not prime.  Res64: BE5D6F18DA27AC39  Time : 0.0 sec.
user=Sloth
[2010-12-14 05:00:03]
777*2^860350-1 is not prime.  Res64: 2B001F66BF482E9D  Time : 0.0 sec.
user=Sloth
[2010-12-14 05:00:03]
783*2^860350-1 is not prime.  Res64: 51411053C319084D  Time : 0.0 sec.
user=Sloth
[2010-12-14 05:00:04]
605*2^860354-1 is not prime.  Res64: A9E7430B4BDC4F09  Time : 0.0 sec.
user=Sloth
[2010-12-14 05:21:27]
719*2^860352-1 is not prime.  Res64: 7F808395A88E61ED  Time : 0.0 sec.
user=Sloth
[2010-12-14 05:21:27]
723*2^860352-1 is not prime.  Res64: 85D1DE8D9613C676  Time : 0.0 sec.
user=Sloth
[2010-12-14 05:21:28]
743*2^860350-1 is not prime.  Res64: B1404451B887B5B0  Time : 0.0 sec.
user=Sloth
[2010-12-14 05:55:41]
657*2^860354-1 is not prime.  Res64: AC803A3028AED60A  Time : 0.0 sec.
user=Sloth
[2010-12-14 05:55:41]
675*2^860354-1 is not prime.  Res64: D9ADDA9047AFF479  Time : 0.0 sec.
user=Sloth
[2010-12-14 05:55:41]
687*2^860354-1 is not prime.  Res64: 67E5DB5206BF2A9F  Time : 0.0 sec.
user=Sloth
[2010-12-14 05:55:41]
705*2^860354-1 is not prime.  Res64: 4E9B5BD9C4274155  Time : 0.0 sec.
user=Sloth
[2010-12-14 05:55:41]
709*2^860355-1 is not prime.  Res64: 695B11FC65EA139E  Time : 0.0 sec.
user=Sloth
[2010-12-14 06:51:18]
603*2^860360-1 is not prime.  Res64: 0D41D01F3B9F2B4E  Time : 0.0 sec.
user=Sloth
[2010-12-14 06:51:18]
647*2^860358-1 is not prime.  Res64: CFDE0E454066AE39  Time : 0.0 sec.
user=Sloth
[2010-12-14 06:51:18]
663*2^860359-1 is not prime.  Res64: 0071F61E8B13ED59  Time : 0.0 sec.
user=Sloth
[2010-12-14 06:51:18]
675*2^860360-1 is not prime.  Res64: 441CC96CCFDBB225  Time : 0.0 sec.
user=Sloth
[2010-12-14 06:51:19]
681*2^860358-1 is not prime.  Res64: B60C2AC0F8CE9CB7  Time : 0.0 sec.
user=Sloth
[2010-12-14 07:48:50]
693*2^860359-1 is not prime.  Res64: 073C0C5B544C86A4  Time : 0.0 sec.
user=Sloth
[2010-12-14 07:48:50]
697*2^860357-1 is not prime.  Res64: 6CFB57993BAD8795  Time : 0.0 sec.
user=Sloth
[2010-12-14 07:48:51]
729*2^860359-1 is not prime.  Res64: 26D362DE1C49A9B4  Time : 0.0 sec.
user=Sloth
[2010-12-14 07:48:51]
759*2^860359-1 is not prime.  Res64: 7C09BBFD792C4F5E  Time : 0.0 sec.
user=Sloth
[2010-12-14 07:48:51]
771*2^860357-1 is not prime.  Res64: 69193336988C868C  Time : 0.0 sec.
user=Sloth
[2010-12-14 08:45:17]
625*2^860361-1 is not prime.  Res64: 5627E71DB7CD36DD  Time : 0.0 sec.
user=Sloth
[2010-12-14 08:45:17]
627*2^860361-1 is not prime.  Res64: 174D078A7B2232B8  Time : 0.0 sec.
user=Sloth
[2010-12-14 08:45:17]
657*2^860362-1 is not prime.  Res64: 0484443F9525B653  Time : 0.0 sec.
user=Sloth
[2010-12-14 08:45:17]
675*2^860363-1 is not prime.  Res64: 0706014D9534B853  Time : 0.0 sec.
user=Sloth
[2010-12-14 08:45:18]
679*2^860361-1 is not prime.  Res64: C3EE782113918594  Time : 0.0 sec.
user=Sloth
[2010-12-14 09:41:07]
695*2^860362-1 is not prime.  Res64: 2BFD5071958A4BF4  Time : 0.0 sec.
user=Sloth
[2010-12-14 09:41:07]
713*2^860362-1 is not prime.  Res64: 59939EACFFAF0818  Time : 0.0 sec.
user=Sloth
[2010-12-14 09:41:08]
717*2^860362-1 is not prime.  Res64: 90E8109627DE131F  Time : 0.0 sec.
user=Sloth
[2010-12-14 09:41:08]
739*2^860361-1 is not prime.  Res64: 9CCAF42D3AD75074  Time : 0.0 sec.
user=Sloth
[2010-12-14 09:41:08]
739*2^860363-1 is not prime.  Res64: 38F2229AC836BD6A  Time : 0.0 sec.
user=Sloth
[2010-12-14 10:37:28]
773*2^860360-1 is not prime.  Res64: 6B9544CDEABEF692  Time : 0.0 sec.
user=Sloth
[2010-12-14 10:37:28]
775*2^860363-1 is not prime.  Res64: 67C274816DB9EAFB  Time : 0.0 sec.
user=Sloth
[2010-12-14 10:37:28]
781*2^860361-1 is not prime.  Res64: 1C26D18EAA718692  Time : 0.0 sec.
user=Sloth
[2010-12-14 10:37:29]
795*2^860361-1 is not prime.  Res64: 09F17C9EB77A64D1  Time : 0.0 sec.
user=Sloth
[2010-12-14 10:37:29]
625*2^860365-1 is not prime.  Res64: 070B53F052DB6E17  Time : 0.0 sec.
user=MyDogBuster
[2010-12-14 11:05:29]
789*2^860364-1 is not prime.  Res64: 7E9B3FCFE2756067  Time : 0.0 sec.
user=MyDogBuster
[2010-12-14 11:11:14]
631*2^860369-1 is not prime.  Res64: C0AA911FB48BE3BA  Time : 0.0 sec.
user=MyDogBuster
[2010-12-14 11:13:34]
705*2^860367-1 is not prime.  Res64: EE7750D1FA2C81DE  Time : 0.0 sec.
user=MyDogBuster
[2010-12-14 11:14:53]
645*2^860368-1 is not prime.  Res64: A5AE393915D01A21  Time : 0.0 sec.
user=MyDogBuster
[2010-12-14 11:15:04]
641*2^860370-1 is not prime.  Res64: E0A9F1C652B56596  Time : 0.0 sec.
user=MyDogBuster
[2010-12-14 11:15:22]
769*2^860367-1 is not prime.  Res64: 99D6946363D0962F  Time : 0.0 sec.
user=MyDogBuster
[2010-12-14 11:15:28]
651*2^860370-1 is not prime.  Res64: 7A744257E399F588  Time : 0.0 sec.
user=MyDogBuster
[2010-12-14 11:16:41]
727*2^860369-1 is not prime.  Res64: 8CB96ED7888CCB3E  Time : 0.0 sec.
user=Sloth
[2010-12-14 11:33:39]
675*2^860364-1 is not prime.  Res64: 15F38ADA4641017B  Time : 0.0 sec.
user=Sloth
[2010-12-14 11:33:39]
695*2^860364-1 is not prime.  Res64: 434E70FF0CA96266  Time : 0.0 sec.
user=Sloth
[2010-12-14 11:33:40]
705*2^860364-1 is not prime.  Res64: A890E05B146D9517  Time : 0.0 sec.
user=Sloth
[2010-12-14 11:33:40]
705*2^860366-1 is not prime.  Res64: F8A1AEA0278EFB64  Time : 0.0 sec.
user=Sloth
[2010-12-14 11:33:40]
773*2^860366-1 is not prime.  Res64: 5B6FFF0DD13066AC  Time : 0.0 sec.
user=Sloth
[2010-12-14 12:29:49]
777*2^860368-1 is not prime.  Res64: FD554107C71A43F7  Time : 0.0 sec.
user=Sloth
[2010-12-14 12:29:50]
781*2^860367-1 is not prime.  Res64: 01297B1CB33F46C7  Time : 0.0 sec.
user=Sloth
[2010-12-14 12:29:50]
797*2^860368-1 is not prime.  Res64: 8C1E68EECE3C10CD  Time : 0.0 sec.
user=Sloth
[2010-12-14 12:29:50]
615*2^860373-1 is not prime.  Res64: 05069AB4B2137663  Time : 0.0 sec.
user=Sloth
[2010-12-14 12:29:50]
629*2^860372-1 is not prime.  Res64: 5F28378106A55FDE  Time : 0.0 sec.
user=Sloth
[2010-12-14 13:26:01]
633*2^860372-1 is not prime.  Res64: 1E0D1BBD05F2547B  Time : 0.0 sec.
user=Sloth
[2010-12-14 13:26:01]
639*2^860373-1 is not prime.  Res64: 629DECDB3CAE4B95  Time : 0.0 sec.
user=Sloth
[2010-12-14 13:26:01]
649*2^860371-1 is not prime.  Res64: CC7F71C9C41E49E9  Time : 0.0 sec.
user=Sloth
[2010-12-14 13:26:01]
677*2^860372-1 is not prime.  Res64: D16BCB462260DDCD  Time : 0.0 sec.
user=Sloth
[2010-12-14 13:26:02]
681*2^860373-1 is not prime.  Res64: B7499D934FBF5027  Time : 0.0 sec.
user=Sloth
[2010-12-14 14:22:17]
709*2^860371-1 is not prime.  Res64: DDA2A94448B841D4  Time : 0.0 sec.
user=Sloth
[2010-12-14 14:22:17]
713*2^860370-1 is not prime.  Res64: C487275711652FA8  Time : 0.0 sec.
user=Sloth
[2010-12-14 14:22:17]
725*2^860372-1 is not prime.  Res64: 52D1F1B506415229  Time : 0.0 sec.
user=Sloth
[2010-12-14 14:22:17]
735*2^860372-1 is not prime.  Res64: 7C2446BF5BADC239  Time : 0.0 sec.
user=Sloth
[2010-12-14 14:22:18]
765*2^860370-1 is not prime.  Res64: 7E76D9F439CD23C8  Time : 0.0 sec.
user=Sloth
[2010-12-14 15:18:24]
789*2^860373-1 is not prime.  Res64: 352FB99374F4044C  Time : 0.0 sec.
user=Sloth
[2010-12-14 15:18:25]
609*2^860376-1 is not prime.  Res64: CBEA8558671F28CA  Time : 0.0 sec.
user=Sloth
[2010-12-14 15:18:25]
663*2^860375-1 is not prime.  Res64: 729AB3983515ADD9  Time : 0.0 sec.
user=Sloth
[2010-12-14 15:18:25]
693*2^860375-1 is not prime.  Res64: 2824BE1F60809C6D  Time : 0.0 sec.
user=Sloth
[2010-12-14 15:18:25]
723*2^860376-1 is not prime.  Res64: 172C0FDC4FA6AEA2  Time : 0.0 sec.
user=Sloth
[2010-12-14 16:14:32]
753*2^860375-1 is not prime.  Res64: A45E3E001F453499  Time : 0.0 sec.
user=Sloth
[2010-12-14 16:14:32]
771*2^860375-1 is not prime.  Res64: FD87891A3C28EF07  Time : 0.0 sec.
user=Sloth
[2010-12-14 16:14:33]
775*2^860375-1 is not prime.  Res64: 293F7EFC9E07E561  Time : 0.0 sec.
user=Sloth
[2010-12-14 16:14:33]
615*2^860377-1 is not prime.  Res64: 2BB4153C6EA584AD  Time : 0.0 sec.
user=Sloth
[2010-12-14 16:14:33]
615*2^860379-1 is not prime.  Res64: 96C627EDECE16F5A  Time : 0.0 sec.
user=Sloth
[2010-12-14 17:00:01]
747*2^860354-1 is not prime.  Res64: 5F43843859600747  Time : 0.0 sec.
user=Sloth
[2010-12-14 17:10:38]
625*2^860377-1 is not prime.  Res64: E869D40F1EDE3B13  Time : 0.0 sec.
user=Sloth
[2010-12-14 17:10:38]
635*2^860378-1 is not prime.  Res64: 81234C5CFFD3D196  Time : 0.0 sec.
user=Sloth
[2010-12-14 17:10:39]
753*2^860378-1 is not prime.  Res64: E47DA80D5F0D06B8  Time : 0.0 sec.
user=Sloth
[2010-12-14 17:10:39]
771*2^860378-1 is not prime.  Res64: 9EC607ACC9E103C0  Time : 0.0 sec.
user=Sloth
[2010-12-14 17:10:39]
775*2^860377-1 is not prime.  Res64: D871A7ED7E1C3A12  Time : 0.0 sec.
user=Sloth
[2010-12-14 18:06:44]
619*2^860379-1 is not prime.  Res64: E127BC125BB5FC7A  Time : 0.0 sec.
user=Sloth
[2010-12-14 18:06:45]
623*2^860380-1 is not prime.  Res64: BD23929EC54DF534  Time : 0.0 sec.
user=Sloth
[2010-12-14 18:06:45]
679*2^860379-1 is not prime.  Res64: 16BA21518859825B  Time : 0.0 sec.
user=Sloth
[2010-12-14 18:06:46]
741*2^860379-1 is not prime.  Res64: D3C18CB4AB9C1BD1  Time : 0.0 sec.
user=Sloth
[2010-12-14 18:06:46]
751*2^860379-1 is not prime.  Res64: 1BF442E2D6D7D822  Time : 0.0 sec.
user=Sloth
[2010-12-14 18:22:53]
791*2^860354-1 is not prime.  Res64: 5BA3ABAAA44387E3  Time : 0.0 sec.
user=Sloth
[2010-12-14 18:22:53]
795*2^860355-1 is not prime.  Res64: 15128FF361A4375C  Time : 0.0 sec.
user=Sloth
[2010-12-14 18:22:54]
797*2^860378-1 is not prime.  Res64: 667A97576EEA9451  Time : 0.0 sec.
user=Sloth
[2010-12-14 19:02:56]
607*2^860381-1 is not prime.  Res64: 0D2ED604A3F9A02D  Time : 0.0 sec.
user=Sloth
[2010-12-14 19:02:56]
621*2^860382-1 is not prime.  Res64: FE847E765CBCDB6C  Time : 0.0 sec.
user=Sloth
[2010-12-14 19:02:57]
625*2^860383-1 is not prime.  Res64: B6D91C90AADC5FA2  Time : 0.0 sec.
user=Sloth
[2010-12-14 19:02:57]
661*2^860383-1 is not prime.  Res64: 4B193C85C5C8FF42  Time : 0.0 sec.
user=Sloth
[2010-12-14 19:02:57]
665*2^860380-1 is not prime.  Res64: F6BFEC322B9909A8  Time : 0.0 sec.
user=Sloth
[2010-12-14 19:46:01]
675*2^860380-1 is not prime.  Res64: 7076618D50FAF116  Time : 0.0 sec.
user=Sloth
[2010-12-14 19:46:02]
681*2^860382-1 is not prime.  Res64: 499501059397E776  Time : 0.0 sec.
user=Sloth
[2010-12-14 19:46:02]
691*2^860381-1 is not prime.  Res64: 463AACE212A3F687  Time : 0.0 sec.
user=Sloth
[2010-12-14 19:59:43]
703*2^860383-1 is not prime.  Res64: EAEE523740E07C6B  Time : 0.0 sec.
user=Sloth
[2010-12-14 19:59:43]
719*2^860380-1 is not prime.  Res64: EC9B20BEEBD5F87D  Time : 0.0 sec.
user=Sloth
[2010-12-14 19:59:44]
723*2^860380-1 is not prime.  Res64: E293A7C580145365  Time : 0.0 sec.
user=Sloth
[2010-12-14 19:59:44]
769*2^860383-1 is not prime.  Res64: 02FB5D1CC61728B4  Time : 0.0 sec.
user=Sloth
[2010-12-14 19:59:44]
795*2^860381-1 is not prime.  Res64: 45E8C3F9D1767B48  Time : 0.0 sec.
user=Sloth
[2010-12-14 20:55:52]
645*2^860384-1 is not prime.  Res64: FCFD80EAD174B242  Time : 0.0 sec.
user=Sloth
[2010-12-14 20:55:53]
645*2^860386-1 is not prime.  Res64: FB3CE515E3C0968E  Time : 0.0 sec.
user=Sloth
[2010-12-14 20:55:53]
651*2^860385-1 is not prime.  Res64: CC8F00B4D2A48C96  Time : 0.0 sec.
user=Sloth
[2010-12-14 20:55:53]
657*2^860385-1 is not prime.  Res64: 18B88A229FBD972D  Time : 0.0 sec.
user=Sloth
[2010-12-14 20:55:53]
699*2^860384-1 is not prime.  Res64: 1AFA9FCE261D555C  Time : 0.0 sec.
user=Sloth
[2010-12-14 21:08:41]
607*2^860385-1 is not prime.  Res64: 0F0D31EAAAA091B5  Time : 0.0 sec.
user=Sloth
[2010-12-14 21:08:42]
609*2^860384-1 is not prime.  Res64: FFEF71699078F3D3  Time : 0.0 sec.
user=Sloth
[2010-12-14 21:08:43]
615*2^860384-1 is not prime.  Res64: EFE35FB70775464D  Time : 0.0 sec.
user=Sloth
[2010-12-14 21:53:25]
713*2^860386-1 is not prime.  Res64: DE4225B76B235EDA  Time : 0.0 sec.
user=Sloth
[2010-12-14 21:53:26]
727*2^860385-1 is not prime.  Res64: 8A74088AD67B1BE9  Time : 0.0 sec.
user=Sloth
[2010-12-14 21:53:26]
741*2^860386-1 is not prime.  Res64: C64175310CAD1A7F  Time : 0.0 sec.
user=Sloth
[2010-12-14 21:53:26]
601*2^860387-1 is not prime.  Res64: 7818FB0111D5344D  Time : 0.0 sec.
user=Sloth
[2010-12-14 21:53:26]
635*2^860388-1 is not prime.  Res64: 2A082CA8BECE1B95  Time : 0.0 sec.
user=Sloth
[2010-12-14 22:31:30]
639*2^860388-1 is not prime.  Res64: 12648FB5C0DB22A2  Time : 0.0 sec.
user=Sloth
[2010-12-14 22:31:31]
669*2^860388-1 is not prime.  Res64: 3588E71C90C4E5E3  Time : 0.0 sec.
user=Sloth
[2010-12-14 22:31:31]
675*2^860387-1 is not prime.  Res64: DCF3629B7CCB4C1B  Time : 0.0 sec.
user=Sloth
[2010-12-14 22:50:04]
685*2^860389-1 is not prime.  Res64: 3CD0394681B6B0B1  Time : 0.0 sec.
user=Sloth
[2010-12-14 22:50:04]
737*2^860388-1 is not prime.  Res64: 68E940A1A84D019E  Time : 0.0 sec.
user=Sloth
[2010-12-14 22:50:05]
747*2^860389-1 is not prime.  Res64: FFF9B54CDAB8D9AC  Time : 0.0 sec.
user=Sloth
[2010-12-14 22:50:05]
771*2^860389-1 is not prime.  Res64: 36AA8CA270DDF10B  Time : 0.0 sec.
user=Sloth
[2010-12-14 22:50:06]
797*2^860388-1 is not prime.  Res64: 1E3FF9FC7E420908  Time : 0.0 sec.
user=Sloth
[2010-12-14 23:45:53]
651*2^860393-1 is not prime.  Res64: B0F7AC4CE4AA885F  Time : 0.0 sec.
user=Sloth
[2010-12-14 23:45:53]
653*2^860392-1 is not prime.  Res64: 713AC110E291B648  Time : 0.0 sec.
user=Sloth
[2010-12-14 23:45:54]
697*2^860393-1 is not prime.  Res64: E434489665066E72  Time : 0.0 sec.
user=Sloth
[2010-12-14 23:45:54]
711*2^860390-1 is not prime.  Res64: 511862593C57E59D  Time : 0.0 sec.
user=Sloth
[2010-12-14 23:45:55]
721*2^860393-1 is not prime.  Res64: 5A1B45F538E7D860  Time : 0.0 sec.
user=Sloth
[2010-12-14 23:55:01]
799*2^860389-1 is not prime.  Res64: 9F99D89278038470  Time : 0.0 sec.
user=Sloth
[2010-12-14 23:55:01]
615*2^860393-1 is not prime.  Res64: DB4E09FB14F7051B  Time : 0.0 sec.
user=Sloth
[2010-12-14 23:55:02]
631*2^860393-1 is not prime.  Res64: C027EEF187FC537B  Time : 0.0 sec.