user=kar_bon
[2009-07-17 00:00:36]
761*2^697390-1 is not prime.  Res64: 65CC2A2A0AB0A226  Time : 1435.0 sec.
user=Zachariassen
[2009-07-17 00:02:37]
707*2^697386-1 is not prime.  Res64: DB49E9A9BC929EAA  Time : 2410.0 sec.
user=Zachariassen
[2009-07-17 00:04:07]
603*2^697387-1 is not prime.  Res64: 0CBF6D8F02537DB8  Time : 2430.0 sec.
user=Zachariassen
[2009-07-17 00:05:16]
699*2^697387-1 is not prime.  Res64: AFF6F85AE09CB9F8  Time : 2432.0 sec.
user=Zachariassen
[2009-07-17 00:08:49]
661*2^697389-1 is not prime.  Res64: 44D31FB85A2D64E1  Time : 2425.0 sec.
user=kar_bon
[2009-07-17 00:10:25]
685*2^697391-1 is not prime.  Res64: B2A168E110AF47EE  Time : 1444.0 sec.
user=vaughan
[2009-07-17 00:10:37]
615*2^697393-1 is not prime.  Res64: 18BE130D719F6AE6  Time : 679.0 sec.
user=kar_bon
[2009-07-17 00:11:49]
759*2^697392-1 is not prime.  Res64: 2070A079E40A9918  Time : 1383.0 sec.
user=kar_bon
[2009-07-17 00:21:34]
609*2^697393-1 is not prime.  Res64: 62AEEC78BF3029FD  Time : 1350.0 sec.
user=vaughan
[2009-07-17 00:21:56]
723*2^697395-1 is not prime.  Res64: 3A1F1BFFE908EA9A  Time : 679.0 sec.
user=kar_bon
[2009-07-17 00:22:55]
651*2^697393-1 is not prime.  Res64: BD4B9570DAF82E81  Time : 1339.0 sec.
user=Zachariassen
[2009-07-17 00:22:58]
621*2^697391-1 is not prime.  Res64: BA21ACA33731CF06  Time : 2424.0 sec.
user=Zachariassen
[2009-07-17 00:24:23]
649*2^697391-1 is not prime.  Res64: 119193CA8CD8F05D  Time : 2428.0 sec.
user=Zachariassen
[2009-07-17 00:25:18]
669*2^697391-1 is not prime.  Res64: 4E63370B9D3F5A31  Time : 2428.0 sec.
user=Zachariassen
[2009-07-17 00:25:41]
649*2^697389-1 is not prime.  Res64: 949C705EFCD5B731  Time : 3558.0 sec.
user=Zachariassen
[2009-07-17 00:29:09]
753*2^697391-1 is not prime.  Res64: 2CADD592A5F722B4  Time : 2435.0 sec.
user=kar_bon
[2009-07-17 00:32:41]
705*2^697395-1 is not prime.  Res64: E1EA3D98892C1F0E  Time : 1337.0 sec.
user=vaughan
[2009-07-17 00:33:35]
663*2^697396-1 is not prime.  Res64: 0DFE84E08E540186  Time : 699.0 sec.
user=kar_bon
[2009-07-17 00:33:56]
735*2^697395-1 is not prime.  Res64: E9C1E20CDA6A6D6B  Time : 1327.0 sec.
user=Zachariassen
[2009-07-17 00:43:04]
727*2^697393-1 is not prime.  Res64: 2D5AF2E77EBA0008  Time : 2427.0 sec.
user=kar_bon
[2009-07-17 00:43:49]
657*2^697396-1 is not prime.  Res64: 5DB9578C1ADE0F50  Time : 1335.0 sec.
user=Zachariassen
[2009-07-17 00:44:34]
771*2^697393-1 is not prime.  Res64: 8EC3131D50F80A86  Time : 2428.0 sec.
user=kar_bon
[2009-07-17 00:44:58]
675*2^697396-1 is not prime.  Res64: 44AD4F9BA67C5C5C  Time : 1324.0 sec.
user=Zachariassen
[2009-07-17 00:45:11]
633*2^697394-1 is not prime.  Res64: 9240199B41C43BD8  Time : 2395.0 sec.
user=vaughan
[2009-07-17 00:46:16]
795*2^697397-1 is not prime.  Res64: 100582215CB169BC  Time : 761.0 sec.
user=Zachariassen
[2009-07-17 00:49:37]
791*2^697394-1 is not prime.  Res64: AA4C547449382D35  Time : 2449.0 sec.
user=kar_bon
[2009-07-17 00:54:58]
757*2^697397-1 is not prime.  Res64: 98937F498D55CDD6  Time : 1337.0 sec.
user=kar_bon
[2009-07-17 00:56:02]
641*2^697398-1 is not prime.  Res64: 86805798EA9DAEF6  Time : 1326.0 sec.
user=Zachariassen
[2009-07-17 00:56:33]
779*2^697392-1 is not prime.  Res64: 0AABCB9255C4830D  Time : 3634.0 sec.
user=vaughan
[2009-07-17 00:58:23]
725*2^697400-1 is not prime.  Res64: CAB5BE82112A8036  Time : 727.0 sec.
user=Zachariassen
[2009-07-17 01:03:28]
707*2^697396-1 is not prime.  Res64: BB46D02A6B0AFD91  Time : 2430.0 sec.
user=Zachariassen
[2009-07-17 01:04:37]
717*2^697396-1 is not prime.  Res64: AD6552B49143EFFD  Time : 2414.0 sec.
user=Zachariassen
[2009-07-17 01:05:39]
749*2^697396-1 is not prime.  Res64: C8E4E8958152F842  Time : 2422.0 sec.
user=kar_bon
[2009-07-17 01:06:06]
777*2^697398-1 is not prime.  Res64: 4A9ECC1187F8EC20  Time : 1337.0 sec.
user=kar_bon
[2009-07-17 01:07:06]
723*2^697399-1 is not prime.  Res64: 7FA88762B5256AE4  Time : 1328.0 sec.
user=Zachariassen
[2009-07-17 01:09:52]
615*2^697397-1 is not prime.  Res64: 8976BC14AC0DF317  Time : 2444.0 sec.
user=vaughan
[2009-07-17 01:10:31]
747*2^697401-1 is not prime.  Res64: 6C343F0BAFD5AC56  Time : 728.0 sec.
user=kar_bon
[2009-07-17 01:17:13]
601*2^697401-1 is not prime.  Res64: D6A4A76A90F5B671  Time : 1336.0 sec.
user=kar_bon
[2009-07-17 01:18:09]
637*2^697401-1 is not prime.  Res64: D4708570488A2B88  Time : 1327.0 sec.
user=vaughan
[2009-07-17 01:23:29]
741*2^697403-1 is not prime.  Res64: 38ACF65C56C0B23D  Time : 778.0 sec.
user=Zachariassen
[2009-07-17 01:23:52]
737*2^697398-1 is not prime.  Res64: E2A71DC62B758DD5  Time : 2449.0 sec.
user=Zachariassen
[2009-07-17 01:24:49]
621*2^697399-1 is not prime.  Res64: 33E5C50574D07ECA  Time : 2415.0 sec.
user=Zachariassen
[2009-07-17 01:25:44]
763*2^697399-1 is not prime.  Res64: FCC90C4C8AC60E70  Time : 2433.0 sec.
user=Zachariassen
[2009-07-17 01:26:56]
601*2^697397-1 is not prime.  Res64: F17E3A910C1B4733  Time : 3675.0 sec.
user=kar_bon
[2009-07-17 01:28:21]
741*2^697402-1 is not prime.  Res64: 4EEA06286ECBCBFE  Time : 1335.0 sec.
user=kar_bon
[2009-07-17 01:29:14]
621*2^697403-1 is not prime.  Res64: 6499980FCC6F68CA  Time : 1328.0 sec.
user=Zachariassen
[2009-07-17 01:30:05]
747*2^697400-1 is not prime.  Res64: 2BE9CC00B4F850D7  Time : 2429.0 sec.
user=vaughan
[2009-07-17 01:36:54]
783*2^697403-1 is not prime.  Res64: E442366BC8E8715A  Time : 805.0 sec.
user=kar_bon
[2009-07-17 01:39:28]
775*2^697403-1 is not prime.  Res64: 94CDF0C4B1461405  Time : 1335.0 sec.
user=kar_bon
[2009-07-17 01:40:17]
781*2^697403-1 is not prime.  Res64: 7C8A24AB59E3AE7B  Time : 1328.0 sec.
user=Zachariassen
[2009-07-17 01:44:03]
777*2^697401-1 is not prime.  Res64: 1FD876FC2288EF13  Time : 2436.0 sec.
user=Zachariassen
[2009-07-17 01:45:12]
665*2^697402-1 is not prime.  Res64: 97AF9246605A9C9F  Time : 2436.0 sec.
user=Zachariassen
[2009-07-17 01:46:07]
723*2^697402-1 is not prime.  Res64: C9FCFEBC001A3E29  Time : 2428.0 sec.
user=Zachariassen
[2009-07-17 01:50:17]
715*2^697403-1 is not prime.  Res64: DB4E763F8ED1CE50  Time : 2426.0 sec.
user=kar_bon
[2009-07-17 01:50:35]
717*2^697405-1 is not prime.  Res64: 2EFE40F3363D3EB7  Time : 1335.0 sec.
user=vaughan
[2009-07-17 01:51:04]
663*2^697406-1 is not prime.  Res64: DAC86DD677A3B089  Time : 850.0 sec.
user=kar_bon
[2009-07-17 01:51:21]
615*2^697406-1 is not prime.  Res64: C514CE13DBA9394E  Time : 1328.0 sec.
user=Zachariassen
[2009-07-17 01:56:42]
745*2^697401-1 is not prime.  Res64: 88A6A70846D0AD71  Time : 3610.0 sec.
user=kar_bon
[2009-07-17 02:01:43]
671*2^697406-1 is not prime.  Res64: 056B9CF72AA5228A  Time : 1335.0 sec.
user=kar_bon
[2009-07-17 02:02:23]
713*2^697406-1 is not prime.  Res64: 438F51A2B207FA0F  Time : 1326.0 sec.
user=Zachariassen
[2009-07-17 02:04:18]
683*2^697404-1 is not prime.  Res64: 30E57416EE5C87AB  Time : 2426.0 sec.
user=Zachariassen
[2009-07-17 02:05:13]
725*2^697404-1 is not prime.  Res64: ABE3DB2640D9CAF1  Time : 2424.0 sec.
user=vaughan
[2009-07-17 02:06:01]
615*2^697409-1 is not prime.  Res64: 9C656E6A6FA8EBAF  Time : 897.0 sec.
user=Zachariassen
[2009-07-17 02:06:23]
783*2^697404-1 is not prime.  Res64: B39FA07018E96D7A  Time : 2439.0 sec.
user=Zachariassen
[2009-07-17 02:10:24]
623*2^697406-1 is not prime.  Res64: 264479FE6DC47475  Time : 2419.0 sec.
user=kar_bon
[2009-07-17 02:12:49]
747*2^697408-1 is not prime.  Res64: 6125491BDB19AC12  Time : 1335.0 sec.
user=kar_bon
[2009-07-17 02:13:26]
735*2^697409-1 is not prime.  Res64: 2F5A9B394A09DC8B  Time : 1325.0 sec.
user=vaughan
[2009-07-17 02:19:00]
619*2^697411-1 is not prime.  Res64: 59A8DFA93F46B899  Time : 779.0 sec.
user=kar_bon
[2009-07-17 02:23:57]
771*2^697409-1 is not prime.  Res64: D117AB895AF7ECFD  Time : 1334.0 sec.
user=Zachariassen
[2009-07-17 02:24:14]
735*2^697407-1 is not prime.  Res64: D7FDBF639D454E55  Time : 2411.0 sec.
user=kar_bon
[2009-07-17 02:24:28]
765*2^697410-1 is not prime.  Res64: 3106CE45C1089DEF  Time : 1325.0 sec.
user=Zachariassen
[2009-07-17 02:25:31]
751*2^697407-1 is not prime.  Res64: 6B8D984EB33306D4  Time : 2419.0 sec.
user=Zachariassen
[2009-07-17 02:26:23]
603*2^697408-1 is not prime.  Res64: B56997EDB6ACA282  Time : 2417.0 sec.
user=Zachariassen
[2009-07-17 02:26:25]
679*2^697405-1 is not prime.  Res64: A9A6D82A1B7AD523  Time : 3570.0 sec.
user=Zachariassen
[2009-07-17 02:30:21]
689*2^697408-1 is not prime.  Res64: 42217B920658155E  Time : 2404.0 sec.
user=vaughan
[2009-07-17 02:31:53]
769*2^697411-1 is not prime.  Res64: 392A398CE4E7E875  Time : 773.0 sec.
user=kar_bon
[2009-07-17 02:35:05]
685*2^697411-1 is not prime.  Res64: 6F7167724056D081  Time : 1336.0 sec.
user=kar_bon
[2009-07-17 02:35:33]
745*2^697411-1 is not prime.  Res64: 8DD4AD6CE388A860  Time : 1327.0 sec.
user=Zachariassen
[2009-07-17 02:44:22]
783*2^697410-1 is not prime.  Res64: 4083C8B48E1A3669  Time : 2404.0 sec.
user=vaughan
[2009-07-17 02:44:37]
681*2^697413-1 is not prime.  Res64: 0CB8C0B4AD0CAC9D  Time : 764.0 sec.
user=Zachariassen
[2009-07-17 02:45:56]
791*2^697410-1 is not prime.  Res64: 52389D22D93CB2D7  Time : 2443.0 sec.
user=kar_bon
[2009-07-17 02:46:13]
771*2^697411-1 is not prime.  Res64: 322EB11B2B6A490F  Time : 1336.0 sec.
user=kar_bon
[2009-07-17 02:46:38]
669*2^697412-1 is not prime.  Res64: 97B58B5AA679D9BC  Time : 1330.0 sec.
user=Zachariassen
[2009-07-17 02:46:45]
639*2^697411-1 is not prime.  Res64: 20693D00E757E4CC  Time : 2423.0 sec.
user=Zachariassen
[2009-07-17 02:50:33]
663*2^697411-1 is not prime.  Res64: B7DBBFA4AB47E2B6  Time : 2410.0 sec.
user=Zachariassen
[2009-07-17 02:55:57]
747*2^697409-1 is not prime.  Res64: 4CC1BEEFF66D7791  Time : 3555.0 sec.
user=kar_bon
[2009-07-17 02:57:20]
741*2^697413-1 is not prime.  Res64: F9929AA90652E651  Time : 1335.0 sec.
user=vaughan
[2009-07-17 02:57:32]
663*2^697414-1 is not prime.  Res64: 1CB9C9F911E15CE4  Time : 775.0 sec.
user=kar_bon
[2009-07-17 02:57:42]
745*2^697413-1 is not prime.  Res64: B49B1D92675087F0  Time : 1329.0 sec.
user=Zachariassen
[2009-07-17 03:04:41]
629*2^697412-1 is not prime.  Res64: C48065868B02687A  Time : 2427.0 sec.
user=Zachariassen
[2009-07-17 03:06:08]
767*2^697412-1 is not prime.  Res64: 64748B679C096C84  Time : 2437.0 sec.
user=Zachariassen
[2009-07-17 03:07:01]
777*2^697412-1 is not prime.  Res64: 18DF00E54E164C90  Time : 2439.0 sec.
user=kar_bon
[2009-07-17 03:08:30]
741*2^697414-1 is not prime.  Res64: 86C3E181ACF22F32  Time : 1337.0 sec.
user=kar_bon
[2009-07-17 03:08:47]
791*2^697414-1 is not prime.  Res64: 7881ACCA4888D463  Time : 1329.0 sec.
user=vaughan
[2009-07-17 03:10:44]
783*2^697415-1 is not prime.  Res64: 87EA1D18CE51A6B6  Time : 793.0 sec.
user=Zachariassen
[2009-07-17 03:10:47]
625*2^697413-1 is not prime.  Res64: 71AB7DA7528F08A5  Time : 2426.0 sec.
user=kar_bon
[2009-07-17 03:19:36]
781*2^697415-1 is not prime.  Res64: 2263C6F1B53E9796  Time : 1336.0 sec.
user=kar_bon
[2009-07-17 03:19:51]
653*2^697416-1 is not prime.  Res64: 76492D3A17647B06  Time : 1330.0 sec.
user=vaughan
[2009-07-17 03:23:39]
609*2^697417-1 is not prime.  Res64: BD57D80B166D7AE2  Time : 775.0 sec.
user=Zachariassen
[2009-07-17 03:24:55]
617*2^697414-1 is not prime.  Res64: 1B3EF46E99FB065D  Time : 2434.0 sec.
user=Zachariassen
[2009-07-17 03:25:34]
607*2^697413-1 is not prime.  Res64: 8C1F72F76CDC4DB1  Time : 3549.0 sec.
user=Zachariassen
[2009-07-17 03:26:22]
665*2^697414-1 is not prime.  Res64: 4D9F568E25873EDC  Time : 2427.0 sec.
user=Zachariassen
[2009-07-17 03:27:19]
601*2^697415-1 is not prime.  Res64: AB83EFF21F4B5C40  Time : 2435.0 sec.
user=kar_bon
[2009-07-17 03:30:45]
767*2^697416-1 is not prime.  Res64: 5ED85EF340779277  Time : 1335.0 sec.
user=Zachariassen
[2009-07-17 03:30:55]
721*2^697415-1 is not prime.  Res64: 8FA49F4A8D718D0A  Time : 2422.0 sec.
user=kar_bon
[2009-07-17 03:30:56]
779*2^697416-1 is not prime.  Res64: 73490453368CEE9F  Time : 1329.0 sec.
user=vaughan
[2009-07-17 03:36:17]
713*2^697418-1 is not prime.  Res64: CB48E5DAABE788CC  Time : 758.0 sec.
user=kar_bon
[2009-07-17 03:41:52]
605*2^697418-1 is not prime.  Res64: E7D45B8895960522  Time : 1336.0 sec.
user=kar_bon
[2009-07-17 03:41:57]
711*2^697418-1 is not prime.  Res64: 60A7E8BE6AC4C7D4  Time : 1326.0 sec.
user=Zachariassen
[2009-07-17 03:45:09]
699*2^697416-1 is not prime.  Res64: 446BBE8F57399BFB  Time : 2429.0 sec.
user=Zachariassen
[2009-07-17 03:46:37]
707*2^697416-1 is not prime.  Res64: 2DD0884C060FD8F3  Time : 2429.0 sec.
user=Zachariassen
[2009-07-17 03:47:29]
737*2^697416-1 is not prime.  Res64: 211D8531D9319715  Time : 2428.0 sec.
user=vaughan
[2009-07-17 03:49:59]
623*2^697420-1 is not prime.  Res64: DA65C49A9B2AA962  Time : 822.0 sec.
user=Zachariassen
[2009-07-17 03:51:07]
747*2^697417-1 is not prime.  Res64: 0DC106CC33FD5C6C  Time : 2420.0 sec.
user=Zachariassen
[2009-07-17 03:55:13]
741*2^697415-1 is not prime.  Res64: BD4F76976E8C7E44  Time : 3556.0 sec.
user=vaughan
[2009-07-17 04:03:35]
745*2^697421-1 is not prime.  Res64: 700DDB26FBAC6B36  Time : 816.0 sec.
user=Zachariassen
[2009-07-17 04:05:27]
743*2^697418-1 is not prime.  Res64: 89C159FDA7A7E2C1  Time : 2432.0 sec.
user=Zachariassen
[2009-07-17 04:06:54]
705*2^697419-1 is not prime.  Res64: D15124FD3CA092AB  Time : 2432.0 sec.
user=Zachariassen
[2009-07-17 04:07:33]
709*2^697419-1 is not prime.  Res64: 0792E132492783FB  Time : 2414.0 sec.
user=Zachariassen
[2009-07-17 04:11:25]
751*2^697419-1 is not prime.  Res64: 82FBA437F74B7F4C  Time : 2430.0 sec.
user=vaughan
[2009-07-17 04:16:17]
723*2^697422-1 is not prime.  Res64: 673FAC2B8B9C5E40  Time : 762.0 sec.
user=Zachariassen
[2009-07-17 04:24:51]
797*2^697418-1 is not prime.  Res64: D6F64C218EEF30B7  Time : 3558.0 sec.
user=Zachariassen
[2009-07-17 04:25:33]
649*2^697421-1 is not prime.  Res64: E59095AC374741EE  Time : 2424.0 sec.
user=kar_bon
[2009-07-17 04:25:55]
603*2^697420-1 is not prime.  Res64: 5A41E2D4EC6B6A99  Time : 3300.0 sec.
user=kar_bon
[2009-07-17 04:26:26]
741*2^697419-1 is not prime.  Res64: F7AFEC32483456C9  Time : 3341.0 sec.
user=Zachariassen
[2009-07-17 04:27:01]
651*2^697421-1 is not prime.  Res64: 87E53D7BDF7BE858  Time : 2424.0 sec.
user=Zachariassen
[2009-07-17 04:27:44]
657*2^697421-1 is not prime.  Res64: B0DA018093B529F5  Time : 2416.0 sec.
user=vaughan
[2009-07-17 04:29:12]
635*2^697424-1 is not prime.  Res64: 7EFB9AA05EFF5A8B  Time : 775.0 sec.
user=Zachariassen
[2009-07-17 04:31:39]
795*2^697421-1 is not prime.  Res64: C36D09C4195FB41B  Time : 2432.0 sec.
user=kar_bon
[2009-07-17 04:37:00]
631*2^697421-1 is not prime.  Res64: C2E76F1593FF3498  Time : 3303.0 sec.
user=kar_bon
[2009-07-17 04:37:32]
677*2^697420-1 is not prime.  Res64: D204AC6F69E6C2B4  Time : 3340.0 sec.
user=vaughan
[2009-07-17 04:41:48]
617*2^697426-1 is not prime.  Res64: 9B9FC430818F8A39  Time : 756.0 sec.
user=Zachariassen
[2009-07-17 04:45:51]
777*2^697422-1 is not prime.  Res64: 0345923E31C7683D  Time : 2425.0 sec.
user=Zachariassen
[2009-07-17 04:47:22]
703*2^697423-1 is not prime.  Res64: 187D19A7D89EF176  Time : 2428.0 sec.
user=Zachariassen
[2009-07-17 04:47:42]
705*2^697423-1 is not prime.  Res64: C2A40ECB805A9363  Time : 2410.0 sec.
user=kar_bon
[2009-07-17 04:48:09]
725*2^697424-1 is not prime.  Res64: 12F4233B5D78E99C  Time : 1334.0 sec.
user=kar_bon
[2009-07-17 04:48:42]
747*2^697424-1 is not prime.  Res64: 6674292B8E0D762E  Time : 1336.0 sec.
user=Zachariassen
[2009-07-17 04:52:02]
741*2^697423-1 is not prime.  Res64: 720E84BDA99A22D7  Time : 2437.0 sec.
user=Zachariassen
[2009-07-17 04:54:23]
695*2^697422-1 is not prime.  Res64: 6F6EBC80144657F1  Time : 3550.0 sec.
user=vaughan
[2009-07-17 04:54:51]
621*2^697427-1 is not prime.  Res64: BF79A5D79D5360E9  Time : 783.0 sec.
user=kar_bon
[2009-07-17 04:59:18]
723*2^697426-1 is not prime.  Res64: 12EE542A59383722  Time : 1338.0 sec.
user=kar_bon
[2009-07-17 04:59:50]
609*2^697427-1 is not prime.  Res64: E2DEFD0BADBEFBBC  Time : 1338.0 sec.
user=Zachariassen
[2009-07-17 05:06:02]
683*2^697424-1 is not prime.  Res64: BF1A2926FF385FA7  Time : 2429.0 sec.
user=Zachariassen
[2009-07-17 05:07:46]
773*2^697424-1 is not prime.  Res64: 3D424C96CED8A819  Time : 2445.0 sec.
user=Zachariassen
[2009-07-17 05:08:00]
649*2^697425-1 is not prime.  Res64: C01CE21568EA3DF8  Time : 2417.0 sec.
user=vaughan
[2009-07-17 05:09:52]
651*2^697431-1 is not prime.  Res64: 39DEB8490F98F7A8  Time : 901.0 sec.
user=kar_bon
[2009-07-17 05:10:27]
663*2^697428-1 is not prime.  Res64: B2C24B2EEDE3D0CF  Time : 1338.0 sec.
user=kar_bon
[2009-07-17 05:11:00]
735*2^697428-1 is not prime.  Res64: 89257AF230824220  Time : 1339.0 sec.
user=Zachariassen
[2009-07-17 05:11:56]
671*2^697426-1 is not prime.  Res64: 120D11805C861511  Time : 2417.0 sec.
user=kar_bon
[2009-07-17 05:21:31]
609*2^697432-1 is not prime.  Res64: C95C24CC8DB06DE0  Time : 1334.0 sec.
user=kar_bon
[2009-07-17 05:22:08]
653*2^697432-1 is not prime.  Res64: 7CD9F41B153F6CD1  Time : 1338.0 sec.
user=Zachariassen
[2009-07-17 05:23:54]
665*2^697424-1 is not prime.  Res64: 5FC3500F922B3743  Time : 3543.0 sec.
user=vaughan
[2009-07-17 05:25:10]
779*2^697432-1 is not prime.  Res64: CE1CEE5456721B9C  Time : 918.0 sec.
user=Zachariassen
[2009-07-17 05:25:29]
703*2^697427-1 is not prime.  Res64: 4AA15F1C6BED93D3  Time : 2379.0 sec.
user=Zachariassen
[2009-07-17 05:26:53]
799*2^697427-1 is not prime.  Res64: F14E915F48F26101  Time : 2351.0 sec.
user=Zachariassen
[2009-07-17 05:26:54]
741*2^697427-1 is not prime.  Res64: 8C9630B43A4F24C7  Time : 2373.0 sec.
user=Zachariassen
[2009-07-17 05:30:55]
687*2^697429-1 is not prime.  Res64: 4BE6787C2F2D53D1  Time : 2333.0 sec.
user=kar_bon
[2009-07-17 05:32:36]
615*2^697433-1 is not prime.  Res64: 7950AC0177D95689  Time : 1329.0 sec.
user=kar_bon
[2009-07-17 05:33:15]
685*2^697433-1 is not prime.  Res64: 0D719147514390EE  Time : 1336.0 sec.
user=vaughan
[2009-07-17 05:40:14]
681*2^697434-1 is not prime.  Res64: 03C50AAF387490D5  Time : 904.0 sec.
user=kar_bon
[2009-07-17 05:43:40]
747*2^697433-1 is not prime.  Res64: 99F89A7B4D28C6EA  Time : 1329.0 sec.
user=kar_bon
[2009-07-17 05:44:22]
787*2^697433-1 is not prime.  Res64: 7463DC365BE118A3  Time : 1334.0 sec.
user=Zachariassen
[2009-07-17 05:44:29]
665*2^697432-1 is not prime.  Res64: E181B3663A5FA83C  Time : 2307.0 sec.
user=Zachariassen
[2009-07-17 05:45:53]
735*2^697432-1 is not prime.  Res64: 043E12D9D0CC65A6  Time : 2273.0 sec.
user=Zachariassen
[2009-07-17 05:45:55]
695*2^697432-1 is not prime.  Res64: 4B68C29B60255EBA  Time : 2289.0 sec.
user=Zachariassen
[2009-07-17 05:50:08]
735*2^697433-1 is not prime.  Res64: 2055DDE175BDA66A  Time : 2292.0 sec.
user=Zachariassen
[2009-07-17 05:53:32]
623*2^697430-1 is not prime.  Res64: BAFB05FA71ACFE6D  Time : 3550.0 sec.
user=kar_bon
[2009-07-17 05:54:41]
755*2^697436-1 is not prime.  Res64: 0757FBE801078BB4  Time : 1325.0 sec.
user=vaughan
[2009-07-17 05:54:58]
639*2^697437-1 is not prime.  Res64: 5D92AFB45CE679BB  Time : 884.0 sec.
user=kar_bon
[2009-07-17 05:55:30]
615*2^697437-1 is not prime.  Res64: E48C77728ED3BCC3  Time : 1335.0 sec.
user=Zachariassen
[2009-07-17 06:03:11]
603*2^697436-1 is not prime.  Res64: 2CBA475E4348F666  Time : 2262.0 sec.
user=Zachariassen
[2009-07-17 06:04:25]
635*2^697436-1 is not prime.  Res64: 78E7A306DCC85115  Time : 2251.0 sec.
user=Zachariassen
[2009-07-17 06:04:32]
609*2^697436-1 is not prime.  Res64: 4FD7CF85AD7E6F22  Time : 2259.0 sec.
user=kar_bon
[2009-07-17 06:05:42]
717*2^697437-1 is not prime.  Res64: 44E73B4CEC7D52A2  Time : 1323.0 sec.
user=kar_bon
[2009-07-17 06:06:38]
727*2^697437-1 is not prime.  Res64: 7A29EA62FCCDD8AC  Time : 1336.0 sec.
user=Zachariassen
[2009-07-17 06:08:18]
699*2^697436-1 is not prime.  Res64: A1EC9C1778F6AB62  Time : 2243.0 sec.
user=vaughan
[2009-07-17 06:10:17]
711*2^697439-1 is not prime.  Res64: 07CA5AD14BDE015C  Time : 919.0 sec.
user=kar_bon
[2009-07-17 06:16:44]
669*2^697439-1 is not prime.  Res64: 8140A31D6876BDE2  Time : 1323.0 sec.
user=kar_bon
[2009-07-17 06:17:45]
771*2^697439-1 is not prime.  Res64: B43634B3E2570F6E  Time : 1336.0 sec.
user=Zachariassen
[2009-07-17 06:20:42]
735*2^697437-1 is not prime.  Res64: 5C4CD8826643599E  Time : 2174.0 sec.
user=Zachariassen
[2009-07-17 06:21:57]
619*2^697439-1 is not prime.  Res64: E539AADB4E121F2A  Time : 2163.0 sec.
user=Zachariassen
[2009-07-17 06:22:08]
647*2^697438-1 is not prime.  Res64: 56C78FC5A6CADFCB  Time : 2175.0 sec.
user=Zachariassen
[2009-07-17 06:22:55]
671*2^697434-1 is not prime.  Res64: F8D377F8118B0683  Time : 3542.0 sec.
user=vaughan
[2009-07-17 06:25:04]
681*2^697441-1 is not prime.  Res64: 8940320B507F8144  Time : 887.0 sec.
user=Zachariassen
[2009-07-17 06:25:35]
645*2^697439-1 is not prime.  Res64: 1D0D90855F712973  Time : 2127.0 sec.
user=kar_bon
[2009-07-17 06:27:46]
753*2^697440-1 is not prime.  Res64: 714D47CFE33F4FB7  Time : 1324.0 sec.
user=kar_bon
[2009-07-17 06:28:54]
779*2^697440-1 is not prime.  Res64: 6168F31C6CF51771  Time : 1336.0 sec.
user=vaughan
[2009-07-17 06:37:52]
699*2^697443-1 is not prime.  Res64: 6E082EBCC3271A7A  Time : 769.0 sec.
user=Zachariassen
[2009-07-17 06:38:07]
775*2^697439-1 is not prime.  Res64: 1ECE4AE589D81B25  Time : 2096.0 sec.
user=kar_bon
[2009-07-17 06:38:47]
751*2^697441-1 is not prime.  Res64: 2958D25271F8D929  Time : 1323.0 sec.
user=Zachariassen
[2009-07-17 06:39:20]
629*2^697440-1 is not prime.  Res64: 08055B0414867D67  Time : 2088.0 sec.
user=Zachariassen
[2009-07-17 06:39:24]
799*2^697439-1 is not prime.  Res64: 9811F6FF1B560A52  Time : 2099.0 sec.
user=kar_bon
[2009-07-17 06:40:00]
771*2^697441-1 is not prime.  Res64: 78C069DEFC840D7D  Time : 1335.0 sec.
user=Zachariassen
[2009-07-17 06:43:05]
649*2^697441-1 is not prime.  Res64: 9ED240FA27CD477F  Time : 2087.0 sec.
user=kar_bon
[2009-07-17 06:49:48]
615*2^697444-1 is not prime.  Res64: 96E2F5F5B3692896  Time : 1323.0 sec.
user=kar_bon
[2009-07-17 06:51:08]
677*2^697444-1 is not prime.  Res64: 50FD7E8BDC049C68  Time : 1335.0 sec.
user=vaughan
[2009-07-17 06:51:10]
691*2^697445-1 is not prime.  Res64: 83E3848239274C5C  Time : 798.0 sec.
user=Zachariassen
[2009-07-17 06:52:21]
661*2^697439-1 is not prime.  Res64: 2E61114629B75ABA  Time : 3529.0 sec.
user=Zachariassen
[2009-07-17 06:55:10]
777*2^697441-1 is not prime.  Res64: 80A482D5451F9355  Time : 2068.0 sec.
user=Zachariassen
[2009-07-17 06:56:49]
615*2^697442-1 is not prime.  Res64: 5E07EC1039F076EE  Time : 2092.0 sec.
user=Zachariassen
[2009-07-17 06:57:06]
711*2^697442-1 is not prime.  Res64: 5BC41545201858E0  Time : 2099.0 sec.
user=Zachariassen
[2009-07-17 07:00:42]
751*2^697443-1 is not prime.  Res64: A545A179D666586B  Time : 2107.0 sec.
user=kar_bon
[2009-07-17 07:00:52]
759*2^697445-1 is not prime.  Res64: 4252A9D513046DAD  Time : 1325.0 sec.
user=kar_bon
[2009-07-17 07:02:35]
713*2^697446-1 is not prime.  Res64: FB7D7E5E2D83626F  Time : 1355.0 sec.
user=vaughan
[2009-07-17 07:04:24]
729*2^697447-1 is not prime.  Res64: 42CC163E3D79E817  Time : 795.0 sec.
user=kar_bon
[2009-07-17 07:12:16]
639*2^697447-1 is not prime.  Res64: AA0D8551A3EA4637  Time : 1348.0 sec.
user=Zachariassen
[2009-07-17 07:12:46]
721*2^697445-1 is not prime.  Res64: 11892880A0DE1B0B  Time : 2079.0 sec.
user=kar_bon
[2009-07-17 07:14:11]
673*2^697447-1 is not prime.  Res64: 8298D4E750E4F548  Time : 1383.0 sec.
user=Zachariassen
[2009-07-17 07:14:15]
611*2^697446-1 is not prime.  Res64: 59825F2DB13D9A22  Time : 2095.0 sec.
user=Zachariassen
[2009-07-17 07:14:26]
683*2^697446-1 is not prime.  Res64: 17193562308A7961  Time : 2102.0 sec.
user=vaughan
[2009-07-17 07:18:10]
649*2^697449-1 is not prime.  Res64: 5CE81B51800453FE  Time : 826.0 sec.
user=Zachariassen
[2009-07-17 07:18:19]
619*2^697447-1 is not prime.  Res64: 4CAEEC842A29F7CB  Time : 2114.0 sec.
user=Zachariassen
[2009-07-17 07:22:06]
713*2^697442-1 is not prime.  Res64: F15F52015B1D81C2  Time : 3551.0 sec.
user=kar_bon
[2009-07-17 07:23:55]
713*2^697448-1 is not prime.  Res64: 83FE67C48B79030F  Time : 1384.0 sec.
user=kar_bon
[2009-07-17 07:25:57]
789*2^697448-1 is not prime.  Res64: B218F913707BE6D2  Time : 1403.0 sec.
user=Zachariassen
[2009-07-17 07:30:04]
633*2^697448-1 is not prime.  Res64: 0631801795DD5ADC  Time : 2095.0 sec.
user=Zachariassen
[2009-07-17 07:31:58]
687*2^697448-1 is not prime.  Res64: B4952856CF41ED6F  Time : 2093.0 sec.
user=Zachariassen
[2009-07-17 07:32:11]
669*2^697448-1 is not prime.  Res64: 6BE9429388A6679E  Time : 2122.0 sec.
user=vaughan
[2009-07-17 07:32:17]
713*2^697450-1 is not prime.  Res64: C7155442F98DDAAA  Time : 847.0 sec.
user=kar_bon
[2009-07-17 07:35:09]
709*2^697449-1 is not prime.  Res64: 326831CAFDC22B35  Time : 1373.0 sec.
user=Zachariassen
[2009-07-17 07:35:28]
699*2^697448-1 is not prime.  Res64: 69AB7945E51FA704  Time : 2087.0 sec.
user=kar_bon
[2009-07-17 07:37:11]
657*2^697450-1 is not prime.  Res64: 18DDED57ABBD84E6  Time : 1380.0 sec.
user=kar_bon
[2009-07-17 07:46:18]
693*2^697451-1 is not prime.  Res64: 9168042680F9E863  Time : 1343.0 sec.
user=vaughan
[2009-07-17 07:47:20]
693*2^697452-1 is not prime.  Res64: 141A0ABB74351E44  Time : 904.0 sec.
user=Zachariassen
[2009-07-17 07:47:33]
787*2^697449-1 is not prime.  Res64: 6B4315AA45BDD602  Time : 2087.0 sec.
user=kar_bon
[2009-07-17 07:48:21]
735*2^697451-1 is not prime.  Res64: CCBEBA071B13017D  Time : 1344.0 sec.
user=Zachariassen
[2009-07-17 07:49:26]
665*2^697450-1 is not prime.  Res64: 8CBD2F82241F1D59  Time : 2111.0 sec.
user=Zachariassen
[2009-07-17 07:49:52]
687*2^697450-1 is not prime.  Res64: 661023899DCF5F95  Time : 2127.0 sec.
user=Zachariassen
[2009-07-17 07:51:41]
759*2^697447-1 is not prime.  Res64: C0B8CD52D68F2A40  Time : 3560.0 sec.
user=Zachariassen
[2009-07-17 07:52:43]
723*2^697450-1 is not prime.  Res64: 0B7F9A7D49F2DF87  Time : 2064.0 sec.
user=kar_bon
[2009-07-17 07:57:22]
699*2^697452-1 is not prime.  Res64: 6504936760B77346  Time : 1333.0 sec.
user=kar_bon
[2009-07-17 07:59:29]
685*2^697453-1 is not prime.  Res64: 518DA5C2AD123894  Time : 1339.0 sec.
user=vaughan
[2009-07-17 08:01:58]
741*2^697454-1 is not prime.  Res64: FC14E5AD1486F8F3  Time : 878.0 sec.
user=Zachariassen
[2009-07-17 08:04:57]
745*2^697451-1 is not prime.  Res64: A889A4BCDCB9B756  Time : 2093.0 sec.
user=Zachariassen
[2009-07-17 08:06:45]
783*2^697451-1 is not prime.  Res64: 8702E8B6F9B84C37  Time : 2088.0 sec.
user=Zachariassen
[2009-07-17 08:07:26]
653*2^697452-1 is not prime.  Res64: 7C96A4E0A3DC1E42  Time : 2116.0 sec.
user=kar_bon
[2009-07-17 08:08:27]
741*2^697453-1 is not prime.  Res64: 0E7949F693CD2F71  Time : 1330.0 sec.
user=kar_bon
[2009-07-17 08:10:37]
739*2^697455-1 is not prime.  Res64: F64702A8BEDF0CE4  Time : 1336.0 sec.
user=Zachariassen
[2009-07-17 08:10:40]
779*2^697452-1 is not prime.  Res64: 85838ED8974B32B8  Time : 2113.0 sec.
user=vaughan
[2009-07-17 08:16:34]
733*2^697459-1 is not prime.  Res64: 9E2FFF47FF5120A2  Time : 876.0 sec.
user=kar_bon
[2009-07-17 08:19:31]
645*2^697459-1 is not prime.  Res64: 90CDBE81C13EF00C  Time : 1329.0 sec.
user=Zachariassen
[2009-07-17 08:21:25]
615*2^697451-1 is not prime.  Res64: 9FED4C677BBD997B  Time : 3559.0 sec.
user=kar_bon
[2009-07-17 08:21:49]
685*2^697459-1 is not prime.  Res64: 424E3DAB35641AE7  Time : 1340.0 sec.
user=Zachariassen
[2009-07-17 08:22:08]
663*2^697455-1 is not prime.  Res64: 1EF0F70B8743A05B  Time : 2075.0 sec.
user=Zachariassen
[2009-07-17 08:24:19]
711*2^697457-1 is not prime.  Res64: 2BA480AB475DC1FB  Time : 2093.0 sec.
user=Zachariassen
[2009-07-17 08:24:54]
781*2^697457-1 is not prime.  Res64: 566EF327C3FC4353  Time : 2102.0 sec.
user=Zachariassen
[2009-07-17 08:28:16]
681*2^697458-1 is not prime.  Res64: CC58933B84348DEE  Time : 2134.0 sec.
user=kar_bon
[2009-07-17 08:30:41]
785*2^697460-1 is not prime.  Res64: C05D05CEE329A136  Time : 1334.0 sec.
user=vaughan
[2009-07-17 08:31:03]
681*2^697462-1 is not prime.  Res64: 31C03B2F5C49A9B9  Time : 870.0 sec.
user=kar_bon
[2009-07-17 08:33:03]
709*2^697461-1 is not prime.  Res64: C2783B31A7947524  Time : 1346.0 sec.
user=Zachariassen
[2009-07-17 08:39:09]
741*2^697459-1 is not prime.  Res64: 9E2784B92C6B668B  Time : 2053.0 sec.
user=kar_bon
[2009-07-17 08:41:45]
717*2^697462-1 is not prime.  Res64: E6D3DFFEBEA026CA  Time : 1334.0 sec.
user=Zachariassen
[2009-07-17 08:41:58]
669*2^697460-1 is not prime.  Res64: 9A826A5DAD1ADA51  Time : 2113.0 sec.
user=Zachariassen
[2009-07-17 08:42:31]
767*2^697460-1 is not prime.  Res64: E40978B94DFAF8E1  Time : 2106.0 sec.
user=kar_bon
[2009-07-17 08:44:12]
649*2^697463-1 is not prime.  Res64: 78BF8A7C1DE254C1  Time : 1344.0 sec.
user=vaughan
[2009-07-17 08:45:27]
737*2^697464-1 is not prime.  Res64: 0C31F9BCDA8C6D58  Time : 864.0 sec.
user=Zachariassen
[2009-07-17 08:45:49]
747*2^697461-1 is not prime.  Res64: D8BF69CAED866FBA  Time : 2110.0 sec.
user=Zachariassen
[2009-07-17 08:51:03]
635*2^697458-1 is not prime.  Res64: F77BA11A97922642  Time : 3562.0 sec.
user=kar_bon
[2009-07-17 08:52:54]
725*2^697464-1 is not prime.  Res64: 57172647C34CF3E4  Time : 1333.0 sec.
user=kar_bon
[2009-07-17 08:55:23]
767*2^697464-1 is not prime.  Res64: 11F43B4337BC5606  Time : 1340.0 sec.
user=Zachariassen
[2009-07-17 08:56:21]
771*2^697463-1 is not prime.  Res64: E23A65632420A8EF  Time : 2053.0 sec.
user=vaughan
[2009-07-17 08:58:54]
675*2^697466-1 is not prime.  Res64: DACE66B7E3D647EE  Time : 807.0 sec.
user=Zachariassen
[2009-07-17 08:59:37]
623*2^697464-1 is not prime.  Res64: 8EAC7DA1ED6DA910  Time : 2118.0 sec.
user=Zachariassen
[2009-07-17 08:59:51]
635*2^697464-1 is not prime.  Res64: 2C51199A66A0EC54  Time : 2098.0 sec.
user=Zachariassen
[2009-07-17 09:03:01]
657*2^697464-1 is not prime.  Res64: 3BA85B5E369FB41B  Time : 2086.0 sec.
user=kar_bon
[2009-07-17 09:04:04]
679*2^697465-1 is not prime.  Res64: 80DFFCEC07299276  Time : 1339.0 sec.
user=kar_bon
[2009-07-17 09:06:35]
633*2^697466-1 is not prime.  Res64: 917724FC2AF1E78F  Time : 1343.0 sec.
user=vaughan
[2009-07-17 09:11:52]
677*2^697468-1 is not prime.  Res64: BB59060EA32D2F07  Time : 778.0 sec.
user=Zachariassen
[2009-07-17 09:12:54]
649*2^697465-1 is not prime.  Res64: 0D19EF7F4D2C0E55  Time : 2026.0 sec.
user=kar_bon
[2009-07-17 09:15:15]
623*2^697276-1 is not prime.  Res64: 1FC4DA4A5DE87EC3  Time : 1342.0 sec.
user=Zachariassen
[2009-07-17 09:15:15]
729*2^697465-1 is not prime.  Res64: A65EA92B5880E0F2  Time : 1997.0 sec.
user=Zachariassen
[2009-07-17 09:16:12]
741*2^697465-1 is not prime.  Res64: 6A0FE1EB6CF3E0D3  Time : 2021.0 sec.
user=kar_bon
[2009-07-17 09:17:46]
615*2^697468-1 is not prime.  Res64: B39C26EDF7570CE5  Time : 1344.0 sec.
user=Zachariassen
[2009-07-17 09:18:58]
781*2^697467-1 is not prime.  Res64: 76CCE51FDF188129  Time : 1989.0 sec.
user=Zachariassen
[2009-07-17 09:20:40]
741*2^697462-1 is not prime.  Res64: 3ED6219D357E017D  Time : 3555.0 sec.
user=vaughan
[2009-07-17 09:24:27]
631*2^697469-1 is not prime.  Res64: 66ED2C682A064D8D  Time : 756.0 sec.
user=kar_bon
[2009-07-17 09:26:26]
777*2^697468-1 is not prime.  Res64: 1EC3CDD82E1D6D76  Time : 1342.0 sec.
user=kar_bon
[2009-07-17 09:28:57]
797*2^697468-1 is not prime.  Res64: B06F78CA6263FBA0  Time : 1342.0 sec.
user=Zachariassen
[2009-07-17 09:29:24]
623*2^697468-1 is not prime.  Res64: 60FBA400D7C0B1DD  Time : 1983.0 sec.
user=Zachariassen
[2009-07-17 09:30:58]
749*2^697468-1 is not prime.  Res64: 75EDE8FE8D994417  Time : 1882.0 sec.
user=Zachariassen
[2009-07-17 09:32:43]
773*2^697468-1 is not prime.  Res64: 9338CFA2E8AE0988  Time : 1973.0 sec.
user=Zachariassen
[2009-07-17 09:34:51]
611*2^697278-1 is not prime.  Res64: 41436C9B878CF3A2  Time : 1910.0 sec.
user=vaughan
[2009-07-17 09:37:05]
649*2^697471-1 is not prime.  Res64: 876F014E147073A6  Time : 759.0 sec.
user=kar_bon
[2009-07-17 09:37:36]
787*2^697469-1 is not prime.  Res64: 6042233870F14EE8  Time : 1341.0 sec.
user=kar_bon
[2009-07-17 09:40:08]
783*2^697470-1 is not prime.  Res64: D57D3FBE31651105  Time : 1343.0 sec.
user=Zachariassen
[2009-07-17 09:45:14]
691*2^697469-1 is not prime.  Res64: 93291E262EB9F563  Time : 1940.0 sec.
user=Zachariassen
[2009-07-17 09:46:54]
671*2^697470-1 is not prime.  Res64: 9E73FC2931945E0B  Time : 1899.0 sec.
user=kar_bon
[2009-07-17 09:48:46]
651*2^697471-1 is not prime.  Res64: 0DF460A78B7DCAC9  Time : 1341.0 sec.
user=Zachariassen
[2009-07-17 09:49:02]
765*2^697470-1 is not prime.  Res64: D29E00B6008D05C5  Time : 1970.0 sec.
user=Zachariassen
[2009-07-17 09:50:31]
603*2^697468-1 is not prime.  Res64: 7CA160672F14D329  Time : 3568.0 sec.
user=vaughan
[2009-07-17 09:50:52]
687*2^697472-1 is not prime.  Res64: 8C382EE484618208  Time : 828.0 sec.
user=Zachariassen
[2009-07-17 09:50:56]
791*2^697470-1 is not prime.  Res64: 37F4DA1D0E69B1CC  Time : 1918.0 sec.
user=kar_bon
[2009-07-17 09:51:20]
705*2^697471-1 is not prime.  Res64: A716E125C9FA1A1B  Time : 1343.0 sec.
user=kar_bon
[2009-07-17 09:59:56]
689*2^697472-1 is not prime.  Res64: AA33830938656B8A  Time : 1340.0 sec.
user=Zachariassen
[2009-07-17 10:01:03]
709*2^697471-1 is not prime.  Res64: BA1CC0765EB3BAFC  Time : 1899.0 sec.
user=kar_bon
[2009-07-17 10:02:30]
725*2^697472-1 is not prime.  Res64: 1B2A1B0BE7D33FB4  Time : 1343.0 sec.
user=Zachariassen
[2009-07-17 10:02:50]
723*2^697471-1 is not prime.  Res64: 2F5B1BE762C7E608  Time : 1912.0 sec.
user=vaughan
[2009-07-17 10:04:54]
751*2^697473-1 is not prime.  Res64: A8DA0B38219A0C51  Time : 843.0 sec.
user=Zachariassen
[2009-07-17 10:05:11]
789*2^697471-1 is not prime.  Res64: 58D7F1496D25FAFA  Time : 1949.0 sec.
user=Zachariassen
[2009-07-17 10:06:58]
657*2^697472-1 is not prime.  Res64: 4A87FDAE1DD2C611  Time : 1927.0 sec.
user=kar_bon
[2009-07-17 10:11:00]
649*2^697473-1 is not prime.  Res64: 31E2421BA8D83C1E  Time : 1334.0 sec.
user=kar_bon
[2009-07-17 10:13:38]
747*2^697474-1 is not prime.  Res64: 6921DFC04E7B9450  Time : 1338.0 sec.
user=Zachariassen
[2009-07-17 10:17:21]
755*2^697472-1 is not prime.  Res64: 2FD6C2477B517282  Time : 1927.0 sec.
user=vaughan
[2009-07-17 10:18:46]
675*2^697475-1 is not prime.  Res64: 8129CC18FC233600  Time : 832.0 sec.
user=Zachariassen
[2009-07-17 10:18:47]
759*2^697472-1 is not prime.  Res64: D2D3F7AE32747875  Time : 1913.0 sec.
user=Zachariassen
[2009-07-17 10:20:12]
645*2^697471-1 is not prime.  Res64: 60E7EEF415B7DCFE  Time : 3572.0 sec.
user=Zachariassen
[2009-07-17 10:21:16]
735*2^697473-1 is not prime.  Res64: 4BB9577354363FCF  Time : 1934.0 sec.
user=tnerual
[2009-07-17 10:22:03]
765*2^697474-1 is not prime.  Res64: 4B568FA219C79336  Time : 1772.0 sec.
user=kar_bon
[2009-07-17 10:22:06]
601*2^697475-1 is not prime.  Res64: C84D1C8CAA26DB62  Time : 1330.0 sec.
user=Zachariassen
[2009-07-17 10:22:32]
605*2^697474-1 is not prime.  Res64: 229F98A9F5465D05  Time : 1896.0 sec.
user=kar_bon
[2009-07-17 10:24:47]
655*2^697475-1 is not prime.  Res64: 3D3FB09C67A413A4  Time : 1337.0 sec.
user=vaughan
[2009-07-17 10:32:16]
737*2^697476-1 is not prime.  Res64: C1A07D6C823372B2  Time : 811.0 sec.
user=kar_bon
[2009-07-17 10:33:14]
695*2^697476-1 is not prime.  Res64: 6DC90781FFD3AA54  Time : 1335.0 sec.
user=Zachariassen
[2009-07-17 10:33:21]
619*2^697475-1 is not prime.  Res64: F496BAB00AB3602C  Time : 1939.0 sec.
user=Zachariassen
[2009-07-17 10:34:54]
663*2^697475-1 is not prime.  Res64: AA4090CDDC46193E  Time : 1924.0 sec.
user=kar_bon
[2009-07-17 10:35:58]
719*2^697476-1 is not prime.  Res64: B702C0C0DBCF1CFF  Time : 1340.0 sec.
user=Zachariassen
[2009-07-17 10:36:59]
705*2^697475-1 is not prime.  Res64: 76CE587339EAD229  Time : 1909.0 sec.
user=Zachariassen
[2009-07-17 10:38:40]
689*2^697476-1 is not prime.  Res64: 8EBA1E7BB802B5B4  Time : 1903.0 sec.
user=kar_bon
[2009-07-17 10:44:20]
685*2^697477-1 is not prime.  Res64: 8DEF35790CA8A010  Time : 1334.0 sec.
user=vaughan
[2009-07-17 10:46:59]
641*2^697478-1 is not prime.  Res64: 2D84DE77B0CF13FB  Time : 884.0 sec.
user=kar_bon
[2009-07-17 10:47:05]
715*2^697477-1 is not prime.  Res64: 49FF9167C21F9513  Time : 1338.0 sec.
user=Zachariassen
[2009-07-17 10:49:34]
725*2^697476-1 is not prime.  Res64: EF84B3ACE3340272  Time : 1934.0 sec.
user=Zachariassen
[2009-07-17 10:49:49]
741*2^697473-1 is not prime.  Res64: 9CA0F5C3A8716961  Time : 3558.0 sec.
user=Zachariassen
[2009-07-17 10:50:38]
601*2^697477-1 is not prime.  Res64: 43FC8DDE374055CA  Time : 1911.0 sec.
user=tnerual
[2009-07-17 10:51:35]
651*2^697477-1 is not prime.  Res64: 46181F44ACF30BE6  Time : 1772.0 sec.
user=Zachariassen
[2009-07-17 10:53:19]
649*2^697477-1 is not prime.  Res64: AC557AC549D159B6  Time : 1923.0 sec.
user=Zachariassen
[2009-07-17 10:54:26]
699*2^697477-1 is not prime.  Res64: D19FF11DA7966654  Time : 1914.0 sec.
user=kar_bon
[2009-07-17 10:55:26]
707*2^697478-1 is not prime.  Res64: F8AFED06CBF349E6  Time : 1332.0 sec.
user=kar_bon
[2009-07-17 10:58:09]
663*2^697479-1 is not prime.  Res64: B26CB3CC1FC19F19  Time : 1332.0 sec.
user=vaughan
[2009-07-17 11:03:11]
631*2^697481-1 is not prime.  Res64: EA93955AFC4E86D9  Time : 972.0 sec.
user=Zachariassen
[2009-07-17 11:05:48]
613*2^697479-1 is not prime.  Res64: 78812EA76073A2F1  Time : 1947.0 sec.
user=kar_bon
[2009-07-17 11:06:32]
795*2^697479-1 is not prime.  Res64: 62E07545D23BE3E2  Time : 1332.0 sec.
user=Zachariassen
[2009-07-17 11:06:54]
625*2^697479-1 is not prime.  Res64: 5E635E3DD9A88965  Time : 1920.0 sec.
user=Zachariassen
[2009-07-17 11:08:54]
679*2^697479-1 is not prime.  Res64: 195EC3C3F7AB5D9D  Time : 1915.0 sec.
user=kar_bon
[2009-07-17 11:09:13]
691*2^697481-1 is not prime.  Res64: BA6A683C2080DD4C  Time : 1328.0 sec.
user=Zachariassen
[2009-07-17 11:10:03]
703*2^697479-1 is not prime.  Res64: 9439289EACE47CB6  Time : 1883.0 sec.
user=kar_bon
[2009-07-17 11:17:38]
755*2^697482-1 is not prime.  Res64: 884A91921649654F  Time : 1332.0 sec.
user=vaughan
[2009-07-17 11:18:45]
691*2^697483-1 is not prime.  Res64: 9F4CBC9F75036226  Time : 934.0 sec.
user=Zachariassen
[2009-07-17 11:19:35]
639*2^697477-1 is not prime.  Res64: F143745CFF9DFDD0  Time : 3564.0 sec.
user=kar_bon
[2009-07-17 11:20:18]
791*2^697482-1 is not prime.  Res64: CC2188562D74D10E  Time : 1329.0 sec.
user=tnerual
[2009-07-17 11:21:08]
713*2^697482-1 is not prime.  Res64: 25797E2047CD5986  Time : 1773.0 sec.
user=Zachariassen
[2009-07-17 11:21:18]
717*2^697481-1 is not prime.  Res64: CE1EB179EA55C505  Time : 1904.0 sec.
user=Zachariassen
[2009-07-17 11:23:09]
611*2^697482-1 is not prime.  Res64: 7BDFEF8585677B73  Time : 1951.0 sec.
user=Zachariassen
[2009-07-17 11:24:45]
717*2^697482-1 is not prime.  Res64: 07EE4CC97CD75577  Time : 1887.0 sec.
user=Zachariassen
[2009-07-17 11:26:23]
741*2^697482-1 is not prime.  Res64: 6A081FD33ABA0D33  Time : 1918.0 sec.
user=kar_bon
[2009-07-17 11:28:44]
723*2^697483-1 is not prime.  Res64: 7EA743E6886F467F  Time : 1333.0 sec.
user=kar_bon
[2009-07-17 11:31:23]
759*2^697484-1 is not prime.  Res64: 4AD9AB021BB6B555  Time : 1330.0 sec.
user=vaughan
[2009-07-17 11:34:08]
759*2^697485-1 is not prime.  Res64: 1D03D9E1BF5FD5AA  Time : 923.0 sec.
user=Zachariassen
[2009-07-17 11:37:06]
693*2^697483-1 is not prime.  Res64: 851970FE5A823E60  Time : 1878.0 sec.
user=Zachariassen
[2009-07-17 11:39:21]
663*2^697484-1 is not prime.  Res64: ECD99FE3BA9C7050  Time : 1947.0 sec.
user=kar_bon
[2009-07-17 11:39:51]
741*2^697485-1 is not prime.  Res64: B7BCDCA6BD8CD58D  Time : 1333.0 sec.
user=Zachariassen
[2009-07-17 11:40:26]
755*2^697484-1 is not prime.  Res64: 3271936F10D3FB55  Time : 1893.0 sec.
user=Zachariassen
[2009-07-17 11:42:12]
657*2^697485-1 is not prime.  Res64: D872CF5F3B7F7D60  Time : 1929.0 sec.
user=kar_bon
[2009-07-17 11:42:29]
617*2^697486-1 is not prime.  Res64: 7B0E5230C5B0C32F  Time : 1332.0 sec.
user=Zachariassen
[2009-07-17 11:49:24]
777*2^697481-1 is not prime.  Res64: 63D03505B6F2F82E  Time : 3576.0 sec.
user=vaughan
[2009-07-17 11:49:26]
663*2^697488-1 is not prime.  Res64: B09FAB54B81AACF6  Time : 919.0 sec.
user=tnerual
[2009-07-17 11:50:41]
675*2^697486-1 is not prime.  Res64: 3F01C3B864191BE4  Time : 1773.0 sec.
user=kar_bon
[2009-07-17 11:50:58]
741*2^697487-1 is not prime.  Res64: 6A77E74027BD42C8  Time : 1334.0 sec.
user=Zachariassen
[2009-07-17 11:52:51]
695*2^697486-1 is not prime.  Res64: 869DED5888E42271  Time : 1893.0 sec.
user=kar_bon
[2009-07-17 11:53:33]
639*2^697488-1 is not prime.  Res64: 5740A90F671361A1  Time : 1330.0 sec.
user=Zachariassen
[2009-07-17 11:55:30]
723*2^697486-1 is not prime.  Res64: 0769F5FD000AD55A  Time : 1942.0 sec.
user=Zachariassen
[2009-07-17 11:56:29]
615*2^697487-1 is not prime.  Res64: 9998D7F2F70D9D97  Time : 1905.0 sec.
user=Zachariassen
[2009-07-17 11:58:15]
619*2^697487-1 is not prime.  Res64: C71964E745932DB3  Time : 1913.0 sec.
user=kar_bon
[2009-07-17 12:02:04]
639*2^697489-1 is not prime.  Res64: F16973B0E60896CE  Time : 1333.0 sec.
user=vaughan
[2009-07-17 12:03:26]
645*2^697490-1 is not prime.  Res64: 081F7761774DC29D  Time : 841.0 sec.
user=kar_bon
[2009-07-17 12:04:37]
603*2^697490-1 is not prime.  Res64: 4733113DC45E7CA4  Time : 1329.0 sec.
user=Zachariassen
[2009-07-17 12:08:52]
747*2^697488-1 is not prime.  Res64: EA0C47FDFDD7DE9F  Time : 1906.0 sec.
user=Zachariassen
[2009-07-17 12:11:31]
759*2^697488-1 is not prime.  Res64: 92EE304D37A0C503  Time : 1930.0 sec.
user=Zachariassen
[2009-07-17 12:12:14]
721*2^697489-1 is not prime.  Res64: 851334D247CC1EBE  Time : 1908.0 sec.
user=kar_bon
[2009-07-17 12:13:10]
731*2^697490-1 is not prime.  Res64: A3F6BB3E38F3E04C  Time : 1333.0 sec.
user=Zachariassen
[2009-07-17 12:14:09]
745*2^697489-1 is not prime.  Res64: 9C76DF1CCE3FDF4E  Time : 1918.0 sec.
user=kar_bon
[2009-07-17 12:15:45]
785*2^697490-1 is not prime.  Res64: 37F33BAF001E14EF  Time : 1332.0 sec.
user=vaughan
[2009-07-17 12:16:29]
653*2^697492-1 is not prime.  Res64: 7FE8CB3246C4A983  Time : 784.0 sec.
user=Zachariassen
[2009-07-17 12:19:12]
611*2^697486-1 is not prime.  Res64: 49EC5D078B5FB80D  Time : 3577.0 sec.
user=tnerual
[2009-07-17 12:20:15]
717*2^697490-1 is not prime.  Res64: 4086206E1B872BF8  Time : 1774.0 sec.
user=kar_bon
[2009-07-17 12:24:15]
753*2^697491-1 is not prime.  Res64: C189628576A4B8CE  Time : 1332.0 sec.
user=Zachariassen
[2009-07-17 12:24:44]
783*2^697490-1 is not prime.  Res64: D0ABBAB57EA2CB44  Time : 1913.0 sec.
user=kar_bon
[2009-07-17 12:26:53]
765*2^697492-1 is not prime.  Res64: 94EAC0DCD7E7A59C  Time : 1336.0 sec.
user=Zachariassen
[2009-07-17 12:27:37]
649*2^697491-1 is not prime.  Res64: C45D61E9B792CE55  Time : 1927.0 sec.
user=Zachariassen
[2009-07-17 12:28:31]
735*2^697491-1 is not prime.  Res64: A35FAF121928B7EE  Time : 1922.0 sec.
user=vaughan
[2009-07-17 12:29:22]
715*2^697495-1 is not prime.  Res64: DA16405859485056  Time : 773.0 sec.
user=Zachariassen
[2009-07-17 12:30:16]
751*2^697491-1 is not prime.  Res64: 792EA0AA329CEE67  Time : 1921.0 sec.
user=kar_bon
[2009-07-17 12:35:19]
765*2^697494-1 is not prime.  Res64: 868A40E8A87A20C9  Time : 1329.0 sec.
user=kar_bon
[2009-07-17 12:38:01]
705*2^697495-1 is not prime.  Res64: 312760CC71728295  Time : 1337.0 sec.
user=Zachariassen
[2009-07-17 12:40:26]
691*2^697493-1 is not prime.  Res64: 4AF74649912BADED  Time : 1894.0 sec.
user=vaughan
[2009-07-17 12:42:22]
699*2^697497-1 is not prime.  Res64: EF878012D4F7FABF  Time : 780.0 sec.
user=Zachariassen
[2009-07-17 12:44:00]
727*2^697493-1 is not prime.  Res64: DDDDB059F391408B  Time : 1949.0 sec.
user=Zachariassen
[2009-07-17 12:44:19]
741*2^697494-1 is not prime.  Res64: 85A97FBB0F5CDE05  Time : 1927.0 sec.
user=Zachariassen
[2009-07-17 12:46:07]
649*2^697495-1 is not prime.  Res64: 6767D76E6FE431AE  Time : 1918.0 sec.
user=kar_bon
[2009-07-17 12:46:24]
683*2^697496-1 is not prime.  Res64: 7B17E9E06621ACC2  Time : 1330.0 sec.
user=Zachariassen
[2009-07-17 12:49:05]
615*2^697490-1 is not prime.  Res64: A9FD1E59FFA858AF  Time : 3581.0 sec.
user=tnerual
[2009-07-17 12:49:48]
657*2^697496-1 is not prime.  Res64: 70D70FE8DDD5581A  Time : 1773.0 sec.
user=kar_bon
[2009-07-17 12:52:04]
607*2^697497-1 is not prime.  Res64: 0AE8F95A1BEC09FF  Time : 1512.0 sec.
user=Zachariassen
[2009-07-17 12:56:18]
689*2^697496-1 is not prime.  Res64: 03C56005262C830F  Time : 1894.0 sec.
user=vaughan
[2009-07-17 12:57:09]
657*2^697498-1 is not prime.  Res64: 68ABAE8631029577  Time : 887.0 sec.
user=Zachariassen
[2009-07-17 13:00:01]
615*2^697497-1 is not prime.  Res64: 58685AB53C4E6CF3  Time : 1944.0 sec.
user=Zachariassen
[2009-07-17 13:00:29]
649*2^697497-1 is not prime.  Res64: 2604E60724277637  Time : 1918.0 sec.
user=Zachariassen
[2009-07-17 13:02:15]
777*2^697497-1 is not prime.  Res64: A93725305596FB91  Time : 1920.0 sec.
user=Zachariassen
[2009-07-17 13:12:19]
651*2^697498-1 is not prime.  Res64: 231A32FC71E28638  Time : 1914.0 sec.
user=vaughan
[2009-07-17 13:12:48]
707*2^697500-1 is not prime.  Res64: C3E7E217FEB70AB3  Time : 940.0 sec.
user=Zachariassen
[2009-07-17 13:16:11]
677*2^697498-1 is not prime.  Res64: 6B00BCB5DB2F2B72  Time : 1931.0 sec.
user=Zachariassen
[2009-07-17 13:16:22]
687*2^697498-1 is not prime.  Res64: 22DF8EBBA913B09B  Time : 1923.0 sec.
user=Zachariassen
[2009-07-17 13:18:04]
695*2^697498-1 is not prime.  Res64: C90028D6FFBAA6F1  Time : 1917.0 sec.
user=Zachariassen
[2009-07-17 13:18:45]
763*2^697495-1 is not prime.  Res64: A36902B67CDEC455  Time : 3573.0 sec.
user=tnerual
[2009-07-17 13:19:22]
649*2^697499-1 is not prime.  Res64: 56BFBA5ED2ED4E77  Time : 1774.0 sec.
user=Zachariassen
[2009-07-17 13:28:16]
627*2^697500-1 is not prime.  Res64: F35C60B0BC504C6C  Time : 1918.0 sec.
user=kar_bon
[2009-07-17 13:28:46]
781*2^697497-1 is not prime.  Res64: 6BF46A0D890C0691  Time : 3207.0 sec.
user=vaughan
[2009-07-17 13:28:49]
799*2^697501-1 is not prime.  Res64: F92A6DCA0E6D7F71  Time : 961.0 sec.
user=Zachariassen
[2009-07-17 13:32:06]
719*2^697500-1 is not prime.  Res64: 8C10CD9AB6DD4FC8  Time : 1926.0 sec.
user=kar_bon
[2009-07-17 13:32:11]
603*2^697498-1 is not prime.  Res64: 87636BDB4D436F99  Time : 3250.0 sec.
user=Zachariassen
[2009-07-17 13:32:31]
735*2^697500-1 is not prime.  Res64: BAB78DBD444AD7E4  Time : 1922.0 sec.
user=Zachariassen
[2009-07-17 13:34:05]
767*2^697500-1 is not prime.  Res64: 7B654729572464F6  Time : 1910.0 sec.
user=kar_bon
[2009-07-17 13:39:51]
735*2^697498-1 is not prime.  Res64: F91C862E76F00851  Time : 3207.0 sec.
user=kar_bon
[2009-07-17 13:43:18]
655*2^697499-1 is not prime.  Res64: F37C7AFDF04554BF  Time : 3083.0 sec.
user=Zachariassen
[2009-07-17 13:44:14]
607*2^697501-1 is not prime.  Res64: 9E039F2F72840672  Time : 1915.0 sec.
user=vaughan
[2009-07-17 13:44:28]
719*2^697504-1 is not prime.  Res64: 7E6E5B7C4B5C0729  Time : 939.0 sec.
user=Zachariassen
[2009-07-17 13:48:03]
603*2^697502-1 is not prime.  Res64: A08E28B3246C2775  Time : 1912.0 sec.
user=Zachariassen
[2009-07-17 13:48:21]
671*2^697502-1 is not prime.  Res64: 883480AA4187F200  Time : 1919.0 sec.
user=Zachariassen
[2009-07-17 13:48:28]
615*2^697499-1 is not prime.  Res64: C9868A137318B9DA  Time : 3563.0 sec.
user=tnerual
[2009-07-17 13:48:56]
723*2^697503-1 is not prime.  Res64: 0952A0691A597BF3  Time : 1774.0 sec.
user=Zachariassen
[2009-07-17 13:50:04]
649*2^697503-1 is not prime.  Res64: DA9D0CDA03670BF2  Time : 1920.0 sec.
user=kar_bon
[2009-07-17 13:50:53]
707*2^697504-1 is not prime.  Res64: 1D2A705F97D5298E  Time : 1328.0 sec.
user=kar_bon
[2009-07-17 13:54:25]
601*2^697505-1 is not prime.  Res64: D86E34154882F734  Time : 1335.0 sec.
user=vaughan
[2009-07-17 13:59:36]
681*2^697507-1 is not prime.  Res64: 23D6FABF0147CC5E  Time : 908.0 sec.
user=Zachariassen
[2009-07-17 14:00:11]
781*2^697503-1 is not prime.  Res64: F3B4A8F95F134731  Time : 1916.0 sec.
user=kar_bon
[2009-07-17 14:01:58]
635*2^697506-1 is not prime.  Res64: 61DE1E40816930FD  Time : 1327.0 sec.
user=Zachariassen
[2009-07-17 14:04:01]
765*2^697504-1 is not prime.  Res64: 9519F997C1740A43  Time : 1916.0 sec.
user=Zachariassen
[2009-07-17 14:04:18]
691*2^697505-1 is not prime.  Res64: DD07217BA310D02C  Time : 1908.0 sec.
user=kar_bon
[2009-07-17 14:05:35]
713*2^697506-1 is not prime.  Res64: 37581162C3193E94  Time : 1338.0 sec.
user=Zachariassen
[2009-07-17 14:06:15]
705*2^697505-1 is not prime.  Res64: AAD1CAA56368E2BA  Time : 1930.0 sec.
user=vaughan
[2009-07-17 14:12:32]
765*2^697509-1 is not prime.  Res64: D409B549D8ACE667  Time : 776.0 sec.
user=kar_bon
[2009-07-17 14:13:04]
795*2^697508-1 is not prime.  Res64: 38F6A765A7CF9DC7  Time : 1331.0 sec.
user=Zachariassen
[2009-07-17 14:16:09]
747*2^697506-1 is not prime.  Res64: 5481079FF9FBC104  Time : 1915.0 sec.
user=Zachariassen
[2009-07-17 14:18:13]
685*2^697503-1 is not prime.  Res64: CB0CA0C6B9C7A493  Time : 3568.0 sec.
user=kar_bon
[2009-07-17 14:18:23]
601*2^697509-1 is not prime.  Res64: 94D8509D9CC3742B  Time : 1438.0 sec.
user=tnerual
[2009-07-17 14:18:28]
743*2^697508-1 is not prime.  Res64: 41B9032BADBD456C  Time : 1772.0 sec.
user=Zachariassen
[2009-07-17 14:20:11]
765*2^697507-1 is not prime.  Res64: FB1EF9D81B80E044  Time : 1929.0 sec.
user=Zachariassen
[2009-07-17 14:20:23]
647*2^697508-1 is not prime.  Res64: 20815EFE10FD1C19  Time : 1922.0 sec.
user=Zachariassen
[2009-07-17 14:22:01]
749*2^697508-1 is not prime.  Res64: 1A5D90A47819C4D2  Time : 1917.0 sec.
user=vaughan
[2009-07-17 14:24:32]
685*2^697511-1 is not prime.  Res64: 771CE4CFC2BD290D  Time : 721.0 sec.
user=kar_bon
[2009-07-17 14:24:45]
653*2^697510-1 is not prime.  Res64: CC1E88F6AAC0E022  Time : 1367.0 sec.
user=kar_bon
[2009-07-17 14:30:15]
619*2^697511-1 is not prime.  Res64: E4705677644EB789  Time : 1480.0 sec.
user=Zachariassen
[2009-07-17 14:31:43]
647*2^697510-1 is not prime.  Res64: F9E182170FA59619  Time : 1892.0 sec.
user=kar_bon
[2009-07-17 14:35:52]
703*2^697511-1 is not prime.  Res64: BC4B1A91BFE1C468  Time : 1368.0 sec.
user=Zachariassen
[2009-07-17 14:36:11]
717*2^697510-1 is not prime.  Res64: 73253BFDB9976948  Time : 1930.0 sec.
user=Zachariassen
[2009-07-17 14:36:18]
755*2^697510-1 is not prime.  Res64: BE66ED2AF8495530  Time : 1920.0 sec.
user=vaughan
[2009-07-17 14:36:39]
657*2^697512-1 is not prime.  Res64: 4558BFC3232B6EDF  Time : 728.0 sec.
user=Zachariassen
[2009-07-17 14:38:07]
663*2^697511-1 is not prime.  Res64: 4F1284CF81835403  Time : 1913.0 sec.
user=kar_bon
[2009-07-17 14:41:24]
759*2^697511-1 is not prime.  Res64: DF22C5363F4E720E  Time : 1381.0 sec.
user=kar_bon
[2009-07-17 14:46:57]
675*2^697512-1 is not prime.  Res64: F49701A8472D52B9  Time : 1332.0 sec.
user=Zachariassen
[2009-07-17 14:47:36]
705*2^697511-1 is not prime.  Res64: 0C012B641207DBC2  Time : 1887.0 sec.
user=Zachariassen
[2009-07-17 14:47:46]
665*2^697508-1 is not prime.  Res64: 864A2CB4D98DEB25  Time : 3559.0 sec.
user=tnerual
[2009-07-17 14:48:02]
763*2^697511-1 is not prime.  Res64: 9876164AFE93AFA8  Time : 1774.0 sec.
user=vaughan
[2009-07-17 14:49:24]
687*2^697513-1 is not prime.  Res64: 7B75A6E704688AE2  Time : 765.0 sec.
user=Zachariassen
[2009-07-17 14:52:05]
609*2^697512-1 is not prime.  Res64: 38F86CC4570F5699  Time : 1914.0 sec.
user=Zachariassen
[2009-07-17 14:52:21]
633*2^697512-1 is not prime.  Res64: F0DE9C683DA80F77  Time : 1918.0 sec.
user=kar_bon
[2009-07-17 14:52:33]
683*2^697512-1 is not prime.  Res64: AAEC35135B667C05  Time : 1339.0 sec.
user=Zachariassen
[2009-07-17 14:53:46]
635*2^697512-1 is not prime.  Res64: DB824C634F552D7E  Time : 1906.0 sec.
user=kar_bon
[2009-07-17 14:58:02]
777*2^697512-1 is not prime.  Res64: FA868753148D6121  Time : 1331.0 sec.
user=vaughan
[2009-07-17 15:02:03]
707*2^697514-1 is not prime.  Res64: 79C4DDE327BDBB10  Time : 759.0 sec.
user=kar_bon
[2009-07-17 15:03:42]
751*2^697513-1 is not prime.  Res64: 5A08DDD95BF89DF4  Time : 1338.0 sec.
user=Zachariassen
[2009-07-17 15:03:52]
693*2^697512-1 is not prime.  Res64: 3A8F5A430D40D634  Time : 1930.0 sec.
user=Zachariassen
[2009-07-17 15:08:12]
609*2^697513-1 is not prime.  Res64: A893EA2CD28480B2  Time : 1921.0 sec.
user=Zachariassen
[2009-07-17 15:08:22]
681*2^697513-1 is not prime.  Res64: 0EA2DD0A5804DE10  Time : 1924.0 sec.
user=kar_bon
[2009-07-17 15:09:10]
765*2^697513-1 is not prime.  Res64: FD0EF815E19630ED  Time : 1333.0 sec.
user=Zachariassen
[2009-07-17 15:09:50]
747*2^697513-1 is not prime.  Res64: 72F6AFB746927691  Time : 1904.0 sec.
user=vaughan
[2009-07-17 15:13:52]
741*2^697515-1 is not prime.  Res64: FA52EEE320179BED  Time : 709.0 sec.
user=kar_bon
[2009-07-17 15:14:51]
609*2^697515-1 is not prime.  Res64: 962D12CDBF061CF4  Time : 1338.0 sec.
user=tnerual
[2009-07-17 15:17:34]
675*2^697514-1 is not prime.  Res64: A0F0168C47F36BA6  Time : 1772.0 sec.
user=Zachariassen
[2009-07-17 15:17:54]
741*2^697511-1 is not prime.  Res64: FC5A8336824250BB  Time : 3582.0 sec.
user=Zachariassen
[2009-07-17 15:19:42]
617*2^697514-1 is not prime.  Res64: 8E3488736569E34A  Time : 1926.0 sec.
user=kar_bon
[2009-07-17 15:20:13]
699*2^697515-1 is not prime.  Res64: 7261E538761691C2  Time : 1331.0 sec.
user=Zachariassen
[2009-07-17 15:24:10]
741*2^697514-1 is not prime.  Res64: D47D81428851E882  Time : 1925.0 sec.
user=Zachariassen
[2009-07-17 15:24:25]
797*2^697514-1 is not prime.  Res64: 27B954FBE0B61174  Time : 1924.0 sec.
user=vaughan
[2009-07-17 15:25:16]
627*2^697518-1 is not prime.  Res64: 47AB202834A3DACF  Time : 684.0 sec.
user=Zachariassen
[2009-07-17 15:25:59]
625*2^697515-1 is not prime.  Res64: 35BCC05887E9A165  Time : 1933.0 sec.
user=kar_bon
[2009-07-17 15:26:01]
789*2^697515-1 is not prime.  Res64: 5A1317C866BC91BD  Time : 1339.0 sec.
user=kar_bon
[2009-07-17 15:31:22]
691*2^697517-1 is not prime.  Res64: 9369C77E277941E0  Time : 1333.0 sec.
user=Zachariassen
[2009-07-17 15:35:52]
677*2^697516-1 is not prime.  Res64: C068C8F9F8EE3A8D  Time : 1921.0 sec.
user=vaughan
[2009-07-17 15:36:48]
723*2^697519-1 is not prime.  Res64: 270A47F774070B6D  Time : 692.0 sec.
user=kar_bon
[2009-07-17 15:37:10]
663*2^697518-1 is not prime.  Res64: 4E7B9423DD40D6D4  Time : 1339.0 sec.
user=Zachariassen
[2009-07-17 15:40:14]
723*2^697516-1 is not prime.  Res64: 99F5708655AD017C  Time : 1922.0 sec.
user=Zachariassen
[2009-07-17 15:40:27]
685*2^697517-1 is not prime.  Res64: F5E44DD99F5F181A  Time : 1925.0 sec.
user=Zachariassen
[2009-07-17 15:41:46]
711*2^697517-1 is not prime.  Res64: FB27092FCF93C427  Time : 1916.0 sec.
user=kar_bon
[2009-07-17 15:42:30]
639*2^697519-1 is not prime.  Res64: 14D24C91D1D53B2B  Time : 1337.0 sec.
user=tnerual
[2009-07-17 15:47:07]
671*2^697518-1 is not prime.  Res64: 23C67CBDBAD3B18B  Time : 1773.0 sec.
user=Zachariassen
[2009-07-17 15:47:34]
627*2^697514-1 is not prime.  Res64: B178830BBE5D0DBE  Time : 3588.0 sec.
user=kar_bon
[2009-07-17 15:48:20]
717*2^697520-1 is not prime.  Res64: F3D2350B432A903F  Time : 1340.0 sec.
user=vaughan
[2009-07-17 15:48:22]
759*2^697520-1 is not prime.  Res64: 3C3105F5D2B74BBB  Time : 695.0 sec.
user=Zachariassen
[2009-07-17 15:51:32]
791*2^697518-1 is not prime.  Res64: A3B510F7C908A100  Time : 1910.0 sec.
user=kar_bon
[2009-07-17 15:53:37]
743*2^697520-1 is not prime.  Res64: D3244EDE931B1FB7  Time : 1335.0 sec.
user=Zachariassen
[2009-07-17 15:56:12]
645*2^697519-1 is not prime.  Res64: 8213E5DC6836B1BC  Time : 1922.0 sec.
user=Zachariassen
[2009-07-17 15:56:17]
705*2^697519-1 is not prime.  Res64: 6F9F1842B22DB4AA  Time : 1913.0 sec.
user=Zachariassen
[2009-07-17 15:57:49]
665*2^697520-1 is not prime.  Res64: 1D1BCAA046B88D2D  Time : 1910.0 sec.
user=kar_bon
[2009-07-17 15:59:28]
727*2^697521-1 is not prime.  Res64: 0C596929229E7F43  Time : 1338.0 sec.
user=vaughan
[2009-07-17 15:59:47]
693*2^697523-1 is not prime.  Res64: 0758F6D06949D884  Time : 685.0 sec.
user=kar_bon
[2009-07-17 16:04:42]
657*2^697522-1 is not prime.  Res64: D616DCD1DD26AD08  Time : 1333.0 sec.
user=Zachariassen
[2009-07-17 16:07:06]
755*2^697520-1 is not prime.  Res64: CEE5D7CA4A6F2D9D  Time : 1875.0 sec.
user=kar_bon
[2009-07-17 16:10:39]
609*2^697523-1 is not prime.  Res64: 6FDE25B322AE4E2D  Time : 1339.0 sec.
user=vaughan
[2009-07-17 16:11:10]
795*2^697524-1 is not prime.  Res64: 0B4C21BC85A42DA4  Time : 683.0 sec.
user=Zachariassen
[2009-07-17 16:12:09]
795*2^697521-1 is not prime.  Res64: 9ED983B046E531E7  Time : 1903.0 sec.
user=Zachariassen
[2009-07-17 16:12:31]
739*2^697521-1 is not prime.  Res64: 08F2B75F493F2DC1  Time : 1938.0 sec.
user=Zachariassen
[2009-07-17 16:14:01]
645*2^697522-1 is not prime.  Res64: B93989807FAD1B14  Time : 1935.0 sec.
user=kar_bon
[2009-07-17 16:15:48]
741*2^697523-1 is not prime.  Res64: 9F8A61F50DF23EE4  Time : 1331.0 sec.
user=tnerual
[2009-07-17 16:16:39]
701*2^697522-1 is not prime.  Res64: D23C1C42F3A2B019  Time : 1773.0 sec.
user=Zachariassen
[2009-07-17 16:17:11]
777*2^697518-1 is not prime.  Res64: 77274CA593AE1499  Time : 3558.0 sec.
user=kar_bon
[2009-07-17 16:21:48]
789*2^697524-1 is not prime.  Res64: E40A393C6A00B5E1  Time : 1340.0 sec.
user=Zachariassen
[2009-07-17 16:22:33]
703*2^697523-1 is not prime.  Res64: 14793BDF638B4682  Time : 1861.0 sec.
user=vaughan
[2009-07-17 16:22:40]
635*2^697526-1 is not prime.  Res64: 5BBA9C08BC55F988  Time : 690.0 sec.
user=kar_bon
[2009-07-17 16:26:57]
675*2^697525-1 is not prime.  Res64: D4556BF5ADFB1E9E  Time : 1335.0 sec.
user=Zachariassen
[2009-07-17 16:28:16]
775*2^697523-1 is not prime.  Res64: F460B72B83FC97AC  Time : 1920.0 sec.
user=Zachariassen
[2009-07-17 16:28:42]
771*2^697523-1 is not prime.  Res64: 0A75F9FF844DBC4E  Time : 1950.0 sec.
user=Zachariassen
[2009-07-17 16:29:49]
615*2^697524-1 is not prime.  Res64: 8570A84D416BB0A6  Time : 1920.0 sec.
user=kar_bon
[2009-07-17 16:32:58]
623*2^697526-1 is not prime.  Res64: CBB0C79447EA71A3  Time : 1340.0 sec.
user=vaughan
[2009-07-17 16:34:17]
657*2^697528-1 is not prime.  Res64: 39BEFC07896C1D0E  Time : 697.0 sec.
user=kar_bon
[2009-07-17 16:38:11]
643*2^697527-1 is not prime.  Res64: F80F1E2D2CBB9D45  Time : 1343.0 sec.
user=Zachariassen
[2009-07-17 16:38:16]
799*2^697525-1 is not prime.  Res64: 445938758C8D1EFE  Time : 1870.0 sec.
user=kar_bon
[2009-07-17 16:44:23]
775*2^697527-1 is not prime.  Res64: 7E24FAFAEDAEC6A0  Time : 1355.0 sec.
user=Zachariassen
[2009-07-17 16:44:28]
717*2^697526-1 is not prime.  Res64: 18A13B990B3ADCDF  Time : 1939.0 sec.
user=Zachariassen
[2009-07-17 16:44:43]
741*2^697526-1 is not prime.  Res64: 7C1E3BC3EFA91E15  Time : 1932.0 sec.
user=vaughan
[2009-07-17 16:45:42]
733*2^697531-1 is not prime.  Res64: 3DA55324BC1E02AB  Time : 685.0 sec.
user=Zachariassen
[2009-07-17 16:45:43]
795*2^697526-1 is not prime.  Res64: 2E3D0B50E0A92959  Time : 1902.0 sec.
user=tnerual
[2009-07-17 16:46:11]
669*2^697527-1 is not prime.  Res64: 5E7F68A8049C8D93  Time : 1772.0 sec.
user=Zachariassen
[2009-07-17 16:46:44]
743*2^697522-1 is not prime.  Res64: E453E1A7D5B4ED86  Time : 3551.0 sec.
user=kar_bon
[2009-07-17 16:49:25]
697*2^697529-1 is not prime.  Res64: 8BFA0613E1F41081  Time : 1349.0 sec.
user=Zachariassen
[2009-07-17 16:54:24]
793*2^697527-1 is not prime.  Res64: 284CFAB67883DED7  Time : 1911.0 sec.
user=kar_bon
[2009-07-17 16:55:45]
797*2^697530-1 is not prime.  Res64: A55244EBF2EB3B8F  Time : 1367.0 sec.
user=vaughan
[2009-07-17 16:57:05]
669*2^697533-1 is not prime.  Res64: FBCFF67499955380  Time : 684.0 sec.
user=Zachariassen
[2009-07-17 17:00:34]
677*2^697530-1 is not prime.  Res64: B325131FCADA9B28  Time : 1912.0 sec.
user=Zachariassen
[2009-07-17 17:00:49]
657*2^697530-1 is not prime.  Res64: 6FD018F245F20C07  Time : 1954.0 sec.
user=Zachariassen
[2009-07-17 17:01:37]
711*2^697530-1 is not prime.  Res64: EE34D1F16E2047F4  Time : 1909.0 sec.
user=vaughan
[2009-07-17 17:08:32]
717*2^697534-1 is not prime.  Res64: 8A57FC8A9067F242  Time : 687.0 sec.
user=Zachariassen
[2009-07-17 17:10:18]
771*2^697531-1 is not prime.  Res64: 97D83CEE03087C9F  Time : 1922.0 sec.
user=tnerual
[2009-07-17 17:15:44]
721*2^697533-1 is not prime.  Res64: EB4309245C36E331  Time : 1773.0 sec.
user=Zachariassen
[2009-07-17 17:15:52]
609*2^697533-1 is not prime.  Res64: 4565A32DFC0D2DEA  Time : 1870.0 sec.
user=Zachariassen
[2009-07-17 17:16:10]
693*2^697527-1 is not prime.  Res64: 3B0CC594DA538A77  Time : 3540.0 sec.
user=Zachariassen
[2009-07-17 17:16:30]
629*2^697532-1 is not prime.  Res64: 68AA92F9AD45A197  Time : 1923.0 sec.
user=Zachariassen
[2009-07-17 17:17:31]
691*2^697533-1 is not prime.  Res64: 058F018229A31B3F  Time : 1908.0 sec.
user=vaughan
[2009-07-17 17:20:08]
661*2^697535-1 is not prime.  Res64: 1DC7471F48047FA1  Time : 696.0 sec.
user=kar_bon
[2009-07-17 17:20:17]
769*2^697531-1 is not prime.  Res64: CA077581CAE75C9E  Time : 2526.0 sec.
user=Zachariassen
[2009-07-17 17:24:56]
617*2^697534-1 is not prime.  Res64: D97C3D13144F19AB  Time : 1832.0 sec.
user=Zachariassen
[2009-07-17 17:30:36]
723*2^697534-1 is not prime.  Res64: FA4A677B2C9FBD20  Time : 1802.0 sec.
user=Zachariassen
[2009-07-17 17:31:05]
731*2^697534-1 is not prime.  Res64: F7B41ED25EECD771  Time : 1817.0 sec.
user=vaughan
[2009-07-17 17:31:37]
741*2^697537-1 is not prime.  Res64: 3E85847B90806BC9  Time : 689.0 sec.
user=Zachariassen
[2009-07-17 17:32:06]
741*2^697534-1 is not prime.  Res64: 9AA3EE6D0D363D91  Time : 1829.0 sec.
user=Zachariassen
[2009-07-17 17:39:38]
679*2^697535-1 is not prime.  Res64: F751D413EA125695  Time : 1760.0 sec.
user=vaughan
[2009-07-17 17:43:02]
645*2^697538-1 is not prime.  Res64: A0ACC7BC94484C06  Time : 685.0 sec.
user=Zachariassen
[2009-07-17 17:45:11]
615*2^697536-1 is not prime.  Res64: AAFA4CB96C0226BA  Time : 1760.0 sec.
user=tnerual
[2009-07-17 17:45:18]
775*2^697535-1 is not prime.  Res64: 5CBFD4CA1A941010  Time : 1775.0 sec.
user=Zachariassen
[2009-07-17 17:45:33]
741*2^697533-1 is not prime.  Res64: C5BAC63154D6D8FD  Time : 3529.0 sec.
user=Zachariassen
[2009-07-17 17:45:45]
633*2^697536-1 is not prime.  Res64: 1EE3C845213A4347  Time : 1755.0 sec.
user=Zachariassen
[2009-07-17 17:46:38]
717*2^697536-1 is not prime.  Res64: D13F1D68F949C9B3  Time : 1748.0 sec.
user=Zachariassen
[2009-07-17 17:54:12]
799*2^697537-1 is not prime.  Res64: 5F0B3659C12DA322  Time : 1757.0 sec.
user=vaughan
[2009-07-17 17:54:27]
743*2^697538-1 is not prime.  Res64: 3C04C24E1893EF75  Time : 686.0 sec.
user=kar_bon
[2009-07-17 17:56:59]
793*2^697531-1 is not prime.  Res64: 0E47DE988962242E  Time : 4357.0 sec.
user=Zachariassen
[2009-07-17 17:59:44]
603*2^697538-1 is not prime.  Res64: A907E96196DCB630  Time : 1748.0 sec.
user=Zachariassen
[2009-07-17 18:00:26]
635*2^697538-1 is not prime.  Res64: 501D49F24EA5CFD4  Time : 1761.0 sec.
user=Zachariassen
[2009-07-17 18:01:06]
665*2^697538-1 is not prime.  Res64: 26E6A937905710F1  Time : 1741.0 sec.
user=kar_bon
[2009-07-17 18:01:15]
765*2^697533-1 is not prime.  Res64: 443A8C193F25C7FD  Time : 4310.0 sec.
user=vaughan
[2009-07-17 18:06:01]
607*2^697541-1 is not prime.  Res64: A6542C367199DADA  Time : 694.0 sec.
user=kar_bon
[2009-07-17 18:08:19]
635*2^697534-1 is not prime.  Res64: 7DAE74EC46C0ACBD  Time : 4354.0 sec.
user=Zachariassen
[2009-07-17 18:08:49]
713*2^697538-1 is not prime.  Res64: F48A41A94E960240  Time : 1752.0 sec.
user=kar_bon
[2009-07-17 18:12:24]
765*2^697537-1 is not prime.  Res64: 6B9DFD901322794C  Time : 3128.0 sec.
user=Zachariassen
[2009-07-17 18:14:19]
773*2^697538-1 is not prime.  Res64: D2436A99A60D1499  Time : 1748.0 sec.
user=Zachariassen
[2009-07-17 18:15:00]
663*2^697539-1 is not prime.  Res64: 42E1EBCA116D29DA  Time : 1755.0 sec.
user=Zachariassen
[2009-07-17 18:15:11]
623*2^697536-1 is not prime.  Res64: 72B7F194596F5D08  Time : 3542.0 sec.
user=Zachariassen
[2009-07-17 18:15:48]
603*2^697540-1 is not prime.  Res64: 7AF4ADB334946D95  Time : 1751.0 sec.
user=vaughan
[2009-07-17 18:17:36]
705*2^697542-1 is not prime.  Res64: AFC63C6B27A174EE  Time : 695.0 sec.
user=kar_bon
[2009-07-17 18:19:26]
631*2^697541-1 is not prime.  Res64: 69E7A3BB965096D3  Time : 1348.0 sec.
user=Zachariassen
[2009-07-17 18:23:24]
647*2^697540-1 is not prime.  Res64: 2B5BA45AA4BAC257  Time : 1753.0 sec.
user=kar_bon
[2009-07-17 18:23:31]
683*2^697542-1 is not prime.  Res64: 0FA05EE2AB173A5B  Time : 1336.0 sec.
user=tnerual
[2009-07-17 18:24:14]
609*2^697539-1 is not prime.  Res64: 6B6776FC0BC80BAE  Time : 2336.0 sec.
user=vaughan
[2009-07-17 18:29:02]
691*2^697545-1 is not prime.  Res64: 003C58457A81B9A4  Time : 686.0 sec.
user=Zachariassen
[2009-07-17 18:29:10]
715*2^697541-1 is not prime.  Res64: 6C3CCB3AF16F92E5  Time : 1766.0 sec.
user=Zachariassen
[2009-07-17 18:29:35]
741*2^697541-1 is not prime.  Res64: BB3BE49A5EEB73F5  Time : 1750.0 sec.
user=Zachariassen
[2009-07-17 18:30:21]
745*2^697541-1 is not prime.  Res64: E84A2476510D7A76  Time : 1756.0 sec.
user=kar_bon
[2009-07-17 18:30:31]
639*2^697543-1 is not prime.  Res64: 4FE1FB9D8A993A5A  Time : 1332.0 sec.
user=kar_bon
[2009-07-17 18:34:38]
685*2^697543-1 is not prime.  Res64: 4419140D480B603F  Time : 1334.0 sec.
user=Zachariassen
[2009-07-17 18:38:05]
675*2^697543-1 is not prime.  Res64: 65CED104A028B181  Time : 1756.0 sec.
user=vaughan
[2009-07-17 18:40:30]
713*2^697546-1 is not prime.  Res64: FC680A3C1B46D9CF  Time : 688.0 sec.
user=kar_bon
[2009-07-17 18:41:39]
741*2^697545-1 is not prime.  Res64: 61875DE762DD9F14  Time : 1333.0 sec.
user=Zachariassen
[2009-07-17 18:43:46]
735*2^697543-1 is not prime.  Res64: 9E6890E50F96AC66  Time : 1767.0 sec.
user=Zachariassen
[2009-07-17 18:43:49]
609*2^697544-1 is not prime.  Res64: C7772C0D0BD8CB30  Time : 1730.0 sec.
user=Zachariassen
[2009-07-17 18:44:50]
613*2^697539-1 is not prime.  Res64: A0986FED750E47FE  Time : 3557.0 sec.
user=Zachariassen
[2009-07-17 18:45:04]
639*2^697545-1 is not prime.  Res64: 9FA67016E9AF3247  Time : 1757.0 sec.
user=kar_bon
[2009-07-17 18:45:40]
787*2^697545-1 is not prime.  Res64: F96B87A5256F037E  Time : 1329.0 sec.
user=vaughan
[2009-07-17 18:52:36]
795*2^697548-1 is not prime.  Res64: F552B8009BDF0189  Time : 726.0 sec.
user=Zachariassen
[2009-07-17 18:52:46]
777*2^697545-1 is not prime.  Res64: 93E7A29298491ABB  Time : 1763.0 sec.
user=kar_bon
[2009-07-17 18:52:47]
635*2^697548-1 is not prime.  Res64: 6C8B9AD85CD8512B  Time : 1336.0 sec.
user=kar_bon
[2009-07-17 18:56:41]
689*2^697548-1 is not prime.  Res64: 02C3F1F41AE1A4CE  Time : 1324.0 sec.
user=Zachariassen
[2009-07-17 18:58:12]
631*2^697547-1 is not prime.  Res64: ED14878D9419F659  Time : 1742.0 sec.
user=Zachariassen
[2009-07-17 18:58:39]
753*2^697547-1 is not prime.  Res64: 9FC2F4FCA68BBCCD  Time : 1744.0 sec.
user=Zachariassen
[2009-07-17 18:59:30]
627*2^697548-1 is not prime.  Res64: 3EE0281A11D7DB01  Time : 1749.0 sec.
user=kar_bon
[2009-07-17 19:03:55]
601*2^697549-1 is not prime.  Res64: 4CC6544D2FA41F4F  Time : 1337.0 sec.
user=vaughan
[2009-07-17 19:04:29]
767*2^697550-1 is not prime.  Res64: 8F7D5CCAE774775E  Time : 713.0 sec.
user=Zachariassen
[2009-07-17 19:07:11]
789*2^697548-1 is not prime.  Res64: 1FEC67F75E33ABB5  Time : 1747.0 sec.
user=kar_bon
[2009-07-17 19:07:42]
635*2^697550-1 is not prime.  Res64: 020E28EAD6C0F6D3  Time : 1323.0 sec.
user=Zachariassen
[2009-07-17 19:13:05]
615*2^697549-1 is not prime.  Res64: 4897554A635EDD2E  Time : 1760.0 sec.
user=Zachariassen
[2009-07-17 19:13:14]
729*2^697549-1 is not prime.  Res64: B4935E8666EB2FA5  Time : 1765.0 sec.
user=Zachariassen
[2009-07-17 19:14:04]
615*2^697550-1 is not prime.  Res64: 7D9ED85E7A647999  Time : 1741.0 sec.
user=Zachariassen
[2009-07-17 19:14:35]
677*2^697544-1 is not prime.  Res64: CBA5BD91DBF0E39E  Time : 3564.0 sec.
user=kar_bon
[2009-07-17 19:15:02]
639*2^697551-1 is not prime.  Res64: D832298C53F71475  Time : 1335.0 sec.
user=tnerual
[2009-07-17 19:15:58]
633*2^697546-1 is not prime.  Res64: A4C119B30D7FB01D  Time : 3104.0 sec.
user=vaughan
[2009-07-17 19:16:37]
779*2^697552-1 is not prime.  Res64: C6F0DC4B6AA74707  Time : 728.0 sec.
user=kar_bon
[2009-07-17 19:18:45]
669*2^697551-1 is not prime.  Res64: CDFCD43905994612  Time : 1324.0 sec.
user=Zachariassen
[2009-07-17 19:21:39]
619*2^697551-1 is not prime.  Res64: A42343B56A95E7D0  Time : 1733.0 sec.
user=kar_bon
[2009-07-17 19:26:10]
713*2^697552-1 is not prime.  Res64: 36DA3C1CEA56C99B  Time : 1335.0 sec.
user=Zachariassen
[2009-07-17 19:27:52]
653*2^697552-1 is not prime.  Res64: 2F374E1F5ADB2D28  Time : 1753.0 sec.
user=Zachariassen
[2009-07-17 19:27:58]
775*2^697551-1 is not prime.  Res64: 00B00803841942A5  Time : 1786.0 sec.
user=Zachariassen
[2009-07-17 19:28:34]
693*2^697552-1 is not prime.  Res64: E3A2BC584A8039C5  Time : 1744.0 sec.
user=vaughan
[2009-07-17 19:28:51]
747*2^697554-1 is not prime.  Res64: 30E0205C491DE559  Time : 734.0 sec.
user=kar_bon
[2009-07-17 19:29:45]
721*2^697553-1 is not prime.  Res64: 4FB2FEC06A4E28E9  Time : 1323.0 sec.
user=Zachariassen
[2009-07-17 19:36:15]
697*2^697553-1 is not prime.  Res64: 394FD412E5ECA8C3  Time : 1744.0 sec.
user=kar_bon
[2009-07-17 19:37:18]
663*2^697554-1 is not prime.  Res64: 59819B8CBC7A82B8  Time : 1336.0 sec.
user=kar_bon
[2009-07-17 19:40:48]
619*2^697555-1 is not prime.  Res64: A962F8F74DC400C9  Time : 1324.0 sec.
user=vaughan
[2009-07-17 19:41:25]
775*2^697555-1 is not prime.  Res64: 66FF0DD077810334  Time : 754.0 sec.
user=Zachariassen
[2009-07-17 19:42:25]
759*2^697553-1 is not prime.  Res64: 9C65FA85CFF6B7AD  Time : 1752.0 sec.
user=Zachariassen
[2009-07-17 19:42:31]
735*2^697553-1 is not prime.  Res64: 5AC31F29BFD9F1A1  Time : 1767.0 sec.
user=Zachariassen
[2009-07-17 19:43:10]
621*2^697554-1 is not prime.  Res64: B5FF20BB0985EE1B  Time : 1746.0 sec.
user=Zachariassen
[2009-07-17 19:44:05]
775*2^697549-1 is not prime.  Res64: B040F92D61BF4955  Time : 3555.0 sec.
user=tnerual
[2009-07-17 19:45:32]
677*2^697554-1 is not prime.  Res64: C4024354CA59E964  Time : 1774.0 sec.
user=kar_bon
[2009-07-17 19:48:26]
645*2^697555-1 is not prime.  Res64: F85FA63707202636  Time : 1337.0 sec.
user=Zachariassen
[2009-07-17 19:50:46]
631*2^697555-1 is not prime.  Res64: 30F7D0E83C58975D  Time : 1747.0 sec.
user=kar_bon
[2009-07-17 19:51:49]
609*2^697556-1 is not prime.  Res64: 4263FA36E3567EBA  Time : 1324.0 sec.
user=vaughan
[2009-07-17 19:54:22]
693*2^697556-1 is not prime.  Res64: 615AF20555D55CF1  Time : 778.0 sec.
user=Zachariassen
[2009-07-17 19:56:55]
693*2^697555-1 is not prime.  Res64: 22BB57C0D84024FE  Time : 1737.0 sec.
user=Zachariassen
[2009-07-17 19:57:16]
649*2^697555-1 is not prime.  Res64: F9507BB13AF84B4F  Time : 1764.0 sec.
user=Zachariassen
[2009-07-17 19:57:42]
705*2^697555-1 is not prime.  Res64: E7AC470AA514B075  Time : 1748.0 sec.
user=kar_bon
[2009-07-17 19:59:34]
629*2^697556-1 is not prime.  Res64: FAB1AD764F479E83  Time : 1337.0 sec.
user=kar_bon
[2009-07-17 20:02:52]
669*2^697556-1 is not prime.  Res64: B1019D53A9F6157C  Time : 1325.0 sec.
user=Zachariassen
[2009-07-17 20:05:16]
617*2^697556-1 is not prime.  Res64: A4566A5CE39A2FBF  Time : 1741.0 sec.
user=vaughan
[2009-07-17 20:06:47]
705*2^697558-1 is not prime.  Res64: CAC0B131B27B2DA2  Time : 746.0 sec.
user=Zachariassen
[2009-07-17 20:11:08]
627*2^697557-1 is not prime.  Res64: 7FE79E8399F096CB  Time : 1718.0 sec.
user=Zachariassen
[2009-07-17 20:12:01]
743*2^697556-1 is not prime.  Res64: 8098241FE498B39F  Time : 1777.0 sec.
user=Zachariassen
[2009-07-17 20:12:31]
651*2^697557-1 is not prime.  Res64: 663B79443066DCFC  Time : 1762.0 sec.
user=Zachariassen
[2009-07-17 20:13:39]
657*2^697554-1 is not prime.  Res64: 2AFB1621E665A706  Time : 3544.0 sec.
user=tnerual
[2009-07-17 20:15:05]
717*2^697557-1 is not prime.  Res64: B2C9D1A5298D2C81  Time : 1773.0 sec.
user=vaughan
[2009-07-17 20:19:48]
693*2^697559-1 is not prime.  Res64: 6545E302A90B953D  Time : 782.0 sec.
user=Zachariassen
[2009-07-17 20:19:48]
735*2^697557-1 is not prime.  Res64: C3F04017D2031A60  Time : 1743.0 sec.
user=Zachariassen
[2009-07-17 20:25:58]
737*2^697558-1 is not prime.  Res64: 1CD01B04B2B5D93E  Time : 1743.0 sec.
user=Zachariassen
[2009-07-17 20:26:32]
755*2^697558-1 is not prime.  Res64: E582D3CA0796E524  Time : 1757.0 sec.
user=Zachariassen
[2009-07-17 20:26:59]
609*2^697559-1 is not prime.  Res64: 4320F51E1839D3C7  Time : 1757.0 sec.
user=vaughan
[2009-07-17 20:32:56]
751*2^697561-1 is not prime.  Res64: BF8D2BB3896EC5A6  Time : 788.0 sec.
user=Zachariassen
[2009-07-17 20:34:19]
675*2^697559-1 is not prime.  Res64: 3A4B5F0094346894  Time : 1743.0 sec.
user=Zachariassen
[2009-07-17 20:40:46]
721*2^697559-1 is not prime.  Res64: 89687728B0835E9B  Time : 1778.0 sec.
user=Zachariassen
[2009-07-17 20:41:06]
753*2^697560-1 is not prime.  Res64: B30ADD2A966B912B  Time : 1746.0 sec.
user=Zachariassen
[2009-07-17 20:41:42]
619*2^697561-1 is not prime.  Res64: 8D9798DC7F22DC83  Time : 1752.0 sec.
user=Zachariassen
[2009-07-17 20:43:07]
667*2^697557-1 is not prime.  Res64: 9C052147BFEE2BEA  Time : 3542.0 sec.
user=kar_bon
[2009-07-17 20:44:17]
727*2^697557-1 is not prime.  Res64: 93707B556A919309  Time : 3351.0 sec.
user=tnerual
[2009-07-17 20:44:37]
741*2^697561-1 is not prime.  Res64: 1D3CDB5A7700C20F  Time : 1772.0 sec.
user=vaughan
[2009-07-17 20:45:56]
685*2^697563-1 is not prime.  Res64: B31FA80AE5E7E532  Time : 781.0 sec.
user=kar_bon
[2009-07-17 20:47:05]
781*2^697557-1 is not prime.  Res64: 5146B29A2202B0C4  Time : 3316.0 sec.
user=Zachariassen
[2009-07-17 20:49:01]
651*2^697562-1 is not prime.  Res64: CFF1B1E50D1F12CA  Time : 1753.0 sec.
user=Zachariassen
[2009-07-17 20:55:17]
753*2^697562-1 is not prime.  Res64: F7C6DDC3266E4993  Time : 1759.0 sec.
user=kar_bon
[2009-07-17 20:55:28]
615*2^697559-1 is not prime.  Res64: 6E2491405A57AE60  Time : 3354.0 sec.
user=Zachariassen
[2009-07-17 20:55:38]
791*2^697562-1 is not prime.  Res64: E5595BA37EEB10F1  Time : 1747.0 sec.
user=Zachariassen
[2009-07-17 20:56:12]
797*2^697562-1 is not prime.  Res64: BE58D9550D675390  Time : 1753.0 sec.
user=kar_bon
[2009-07-17 20:58:11]
669*2^697559-1 is not prime.  Res64: B72DF066CC6C1DE2  Time : 3319.0 sec.
user=vaughan
[2009-07-17 20:59:26]
715*2^697565-1 is not prime.  Res64: CECFE2AE58886EA1  Time : 810.0 sec.
user=Zachariassen
[2009-07-17 21:03:27]
703*2^697563-1 is not prime.  Res64: F2F989CA54B6D707  Time : 1748.0 sec.
user=kar_bon
[2009-07-17 21:06:36]
627*2^697565-1 is not prime.  Res64: E01EAFC640A8A1A9  Time : 1339.0 sec.
user=kar_bon
[2009-07-17 21:09:16]
721*2^697565-1 is not prime.  Res64: 631FAFB0DB362C90  Time : 1331.0 sec.
user=Zachariassen
[2009-07-17 21:10:02]
709*2^697563-1 is not prime.  Res64: B4AEF5B997A232A6  Time : 1757.0 sec.
user=Zachariassen
[2009-07-17 21:10:16]
635*2^697564-1 is not prime.  Res64: 6174083ABB6E590E  Time : 1751.0 sec.
user=Zachariassen
[2009-07-17 21:10:49]
665*2^697564-1 is not prime.  Res64: 7C1A68A5B1C32428  Time : 1748.0 sec.
user=Zachariassen
[2009-07-17 21:12:38]
625*2^697561-1 is not prime.  Res64: FE903BCBD5EEF48D  Time : 3539.0 sec.
user=vaughan
[2009-07-17 21:12:43]
763*2^697567-1 is not prime.  Res64: EAC7E66E9E86A21A  Time : 798.0 sec.
user=tnerual
[2009-07-17 21:14:10]
697*2^697565-1 is not prime.  Res64: 2A7418B0FD7BF897  Time : 1773.0 sec.
user=kar_bon
[2009-07-17 21:17:45]
783*2^697566-1 is not prime.  Res64: F2F7BAFB557DA14A  Time : 1337.0 sec.
user=Zachariassen
[2009-07-17 21:17:53]
775*2^697565-1 is not prime.  Res64: 909D89B6986F4E25  Time : 1732.0 sec.
user=kar_bon
[2009-07-17 21:20:21]
759*2^697567-1 is not prime.  Res64: 0ED69A0C665AC898  Time : 1330.0 sec.
user=vaughan
[2009-07-17 21:24:40]
747*2^697569-1 is not prime.  Res64: B6DBE94F365F6FD9  Time : 718.0 sec.
user=Zachariassen
[2009-07-17 21:24:46]
787*2^697565-1 is not prime.  Res64: C2EBFF75B132476B  Time : 1769.0 sec.
user=Zachariassen
[2009-07-17 21:24:52]
633*2^697567-1 is not prime.  Res64: 9DCDF41DC7EF8186  Time : 1754.0 sec.
user=Zachariassen
[2009-07-17 21:25:19]
729*2^697567-1 is not prime.  Res64: AC0B861A4952104D  Time : 1748.0 sec.
user=kar_bon
[2009-07-17 21:28:56]
603*2^697568-1 is not prime.  Res64: 1848317C178C1C3E  Time : 1340.0 sec.
user=kar_bon
[2009-07-17 21:31:28]
689*2^697568-1 is not prime.  Res64: 4469AAA144425E5F  Time : 1332.0 sec.
user=Zachariassen
[2009-07-17 21:32:41]
769*2^697567-1 is not prime.  Res64: 7217D478F7FAF5FD  Time : 1754.0 sec.
user=vaughan
[2009-07-17 21:36:12]
703*2^697571-1 is not prime.  Res64: 513B800E700915A7  Time : 693.0 sec.
user=Zachariassen
[2009-07-17 21:39:19]
773*2^697568-1 is not prime.  Res64: 96292F6CA2B3E54C  Time : 1758.0 sec.
user=Zachariassen
[2009-07-17 21:39:40]
675*2^697569-1 is not prime.  Res64: 82E963C5D5706A9F  Time : 1764.0 sec.
user=Zachariassen
[2009-07-17 21:39:55]
705*2^697569-1 is not prime.  Res64: 176CEED218C31AAA  Time : 1746.0 sec.
user=kar_bon
[2009-07-17 21:40:07]
603*2^697571-1 is not prime.  Res64: EF5B6BD5CE6AC743  Time : 1342.0 sec.
user=Zachariassen
[2009-07-17 21:42:20]
723*2^697564-1 is not prime.  Res64: 1DA9D509E99F7432  Time : 3553.0 sec.
user=kar_bon
[2009-07-17 21:42:37]
685*2^697571-1 is not prime.  Res64: 14EB21949CD8789A  Time : 1336.0 sec.
user=tnerual
[2009-07-17 21:46:36]
735*2^697570-1 is not prime.  Res64: 87D050FF0E9AF1C1  Time : 1946.0 sec.
user=vaughan
[2009-07-17 21:47:26]
695*2^697572-1 is not prime.  Res64: EB1534706E763C30  Time : 674.0 sec.
user=Zachariassen
[2009-07-17 21:49:05]
615*2^697571-1 is not prime.  Res64: 5548D513106BD703  Time : 1872.0 sec.
user=kar_bon
[2009-07-17 21:51:18]
753*2^697571-1 is not prime.  Res64: 6602FAB5A0F4B5CE  Time : 1343.0 sec.
user=kar_bon
[2009-07-17 21:53:46]
615*2^697572-1 is not prime.  Res64: C4E0E32F7402258C  Time : 1338.0 sec.
user=Zachariassen
[2009-07-17 21:58:01]
711*2^697571-1 is not prime.  Res64: 6E0DBACF20301CC7  Time : 1995.0 sec.
user=Zachariassen
[2009-07-17 21:58:21]
733*2^697571-1 is not prime.  Res64: 0C4BDECC64DA7DDE  Time : 2010.0 sec.
user=vaughan
[2009-07-17 21:58:43]
635*2^697574-1 is not prime.  Res64: BD521EFAC15FCA7A  Time : 678.0 sec.
user=Zachariassen
[2009-07-17 21:59:13]
735*2^697571-1 is not prime.  Res64: 643DB32A2EB82F2D  Time : 2035.0 sec.
user=kar_bon
[2009-07-17 22:02:30]
615*2^697573-1 is not prime.  Res64: E49B4C12E9DC6D86  Time : 1343.0 sec.
user=kar_bon
[2009-07-17 22:04:55]
745*2^697573-1 is not prime.  Res64: 5B354630A9C516E5  Time : 1338.0 sec.
user=Zachariassen
[2009-07-17 22:09:14]
669*2^697572-1 is not prime.  Res64: 9D84F42CAC7B1E5E  Time : 2194.0 sec.
user=vaughan
[2009-07-17 22:09:58]
675*2^697575-1 is not prime.  Res64: 63DF2995222D7983  Time : 675.0 sec.
user=Zachariassen
[2009-07-17 22:12:06]
709*2^697569-1 is not prime.  Res64: 306CF406CC714ADB  Time : 3568.0 sec.
user=kar_bon
[2009-07-17 22:13:42]
743*2^697574-1 is not prime.  Res64: A44CD36DE9B98F46  Time : 1344.0 sec.
user=kar_bon
[2009-07-17 22:16:04]
795*2^697574-1 is not prime.  Res64: D93D856C7AD7A14D  Time : 1339.0 sec.
user=tnerual
[2009-07-17 22:17:19]
757*2^697573-1 is not prime.  Res64: 6F6BDD9831B72B16  Time : 1843.0 sec.
user=Zachariassen
[2009-07-17 22:18:18]
725*2^697572-1 is not prime.  Res64: 56489E856E6ECC71  Time : 2340.0 sec.
user=Zachariassen
[2009-07-17 22:18:44]
765*2^697572-1 is not prime.  Res64: 98C818DB63699D6D  Time : 2344.0 sec.
user=Zachariassen
[2009-07-17 22:19:10]
609*2^697573-1 is not prime.  Res64: 38C696BC0661A582  Time : 2356.0 sec.
user=vaughan
[2009-07-17 22:21:10]
631*2^697577-1 is not prime.  Res64: D2ED762D758DB0FC  Time : 672.0 sec.
user=kar_bon
[2009-07-17 22:24:53]
751*2^697575-1 is not prime.  Res64: 02983DE95BA863FD  Time : 1343.0 sec.
user=kar_bon
[2009-07-17 22:27:12]
781*2^697575-1 is not prime.  Res64: 344B61E67F86FB0A  Time : 1337.0 sec.
user=Zachariassen
[2009-07-17 22:29:22]
677*2^697574-1 is not prime.  Res64: ACE09F078C8AB4D1  Time : 2417.0 sec.
user=vaughan
[2009-07-17 22:32:45]
669*2^697580-1 is not prime.  Res64: FD183A73709A16F0  Time : 695.0 sec.
user=kar_bon
[2009-07-17 22:36:05]
717*2^697577-1 is not prime.  Res64: ECBA418A63FBF225  Time : 1344.0 sec.
user=kar_bon
[2009-07-17 22:38:21]
747*2^697577-1 is not prime.  Res64: 180310C5B1F0192F  Time : 1337.0 sec.
user=Zachariassen
[2009-07-17 22:38:29]
633*2^697575-1 is not prime.  Res64: D1E5721D567036A8  Time : 2429.0 sec.
user=Zachariassen
[2009-07-17 22:38:49]
651*2^697575-1 is not prime.  Res64: 3FE0EBE7D7463A28  Time : 2428.0 sec.
user=Zachariassen
[2009-07-17 22:39:24]
711*2^697575-1 is not prime.  Res64: 7FEC0D3F1EF5BCCB  Time : 2412.0 sec.
user=Zachariassen
[2009-07-17 22:41:45]
651*2^697573-1 is not prime.  Res64: 5C1181DE39426F12  Time : 3565.0 sec.
user=vaughan
[2009-07-17 22:44:24]
711*2^697581-1 is not prime.  Res64: 7752CF7D87A40ECA  Time : 700.0 sec.
user=kar_bon
[2009-07-17 22:47:17]
797*2^697580-1 is not prime.  Res64: 13756EB770F49A15  Time : 1344.0 sec.
user=kar_bon
[2009-07-17 22:49:31]
669*2^697581-1 is not prime.  Res64: 3C902EE58282275B  Time : 1339.0 sec.
user=Zachariassen
[2009-07-17 22:49:32]
601*2^697577-1 is not prime.  Res64: F25D6ABD1C6589A3  Time : 2418.0 sec.
user=vaughan
[2009-07-17 22:58:07]
609*2^697584-1 is not prime.  Res64: C1C6601262A81849  Time : 823.0 sec.
user=kar_bon
[2009-07-17 22:58:29]
751*2^697581-1 is not prime.  Res64: 7AEADBC6596FE663  Time : 1344.0 sec.
user=Zachariassen
[2009-07-17 22:58:40]
633*2^697579-1 is not prime.  Res64: 7D3D16DE97AA9B9C  Time : 2422.0 sec.
user=Zachariassen
[2009-07-17 22:58:56]
735*2^697579-1 is not prime.  Res64: EC8FB7E3258F85DC  Time : 2413.0 sec.
user=Zachariassen
[2009-07-17 22:59:24]
759*2^697579-1 is not prime.  Res64: 7ABC22B4264F6CE4  Time : 2414.0 sec.
user=kar_bon
[2009-07-17 23:00:40]
611*2^697582-1 is not prime.  Res64: E67DFD87D9D9FC4D  Time : 1339.0 sec.
user=tnerual
[2009-07-17 23:03:15]
777*2^697578-1 is not prime.  Res64: 249D3CE1F814784F  Time : 2756.0 sec.
user=kar_bon
[2009-07-17 23:09:42]
623*2^697584-1 is not prime.  Res64: C4606FA098536FDF  Time : 1346.0 sec.
user=Zachariassen
[2009-07-17 23:09:51]
691*2^697581-1 is not prime.  Res64: FD7870CC59FC3AB3  Time : 2429.0 sec.
user=Zachariassen
[2009-07-17 23:10:57]
685*2^697577-1 is not prime.  Res64: 018F87869618B7B0  Time : 3531.0 sec.
user=vaughan
[2009-07-17 23:11:08]
717*2^697584-1 is not prime.  Res64: 118FB8C9E47BC535  Time : 781.0 sec.
user=kar_bon
[2009-07-17 23:11:47]
627*2^697584-1 is not prime.  Res64: CDC9E6265E42D4FE  Time : 1336.0 sec.
user=Zachariassen
[2009-07-17 23:18:43]
635*2^697582-1 is not prime.  Res64: ED41FC0B9C54437F  Time : 2414.0 sec.
user=Zachariassen
[2009-07-17 23:19:01]
681*2^697582-1 is not prime.  Res64: E03BB795A5B879B0  Time : 2412.0 sec.
user=Zachariassen
[2009-07-17 23:19:18]
741*2^697582-1 is not prime.  Res64: 13D836F05152E00D  Time : 2394.0 sec.
user=kar_bon
[2009-07-17 23:20:52]
747*2^697584-1 is not prime.  Res64: 6B6341E018ACE3B5  Time : 1343.0 sec.
user=kar_bon
[2009-07-17 23:22:52]
715*2^697585-1 is not prime.  Res64: A8154682059B820E  Time : 1332.0 sec.
user=vaughan
[2009-07-17 23:24:21]
783*2^697586-1 is not prime.  Res64: CE84D5B178C3972B  Time : 793.0 sec.
user=Zachariassen
[2009-07-17 23:30:05]
705*2^697584-1 is not prime.  Res64: 5C6B14F8B4BFFF5B  Time : 2433.0 sec.
user=kar_bon
[2009-07-17 23:32:10]
701*2^697586-1 is not prime.  Res64: E94161C0CE17937C  Time : 1348.0 sec.
user=kar_bon
[2009-07-17 23:34:05]
609*2^697587-1 is not prime.  Res64: 9A44165B4561787D  Time : 1338.0 sec.
user=vaughan
[2009-07-17 23:37:22]
749*2^697588-1 is not prime.  Res64: 9DCF717E6E2C8C7B  Time : 781.0 sec.
user=Zachariassen
[2009-07-17 23:39:03]
645*2^697585-1 is not prime.  Res64: 76FF96988F403343  Time : 2424.0 sec.
user=Zachariassen
[2009-07-17 23:39:04]
661*2^697585-1 is not prime.  Res64: 33F1D49C055AE8C0  Time : 2408.0 sec.
user=Zachariassen
[2009-07-17 23:39:18]
685*2^697585-1 is not prime.  Res64: 2B944A51145F86B0  Time : 2396.0 sec.
user=Zachariassen
[2009-07-17 23:39:52]
763*2^697583-1 is not prime.  Res64: 94D45C900EF4FA77  Time : 3487.0 sec.
user=kar_bon
[2009-07-17 23:43:18]
741*2^697587-1 is not prime.  Res64: F032B0F99443146E  Time : 1347.0 sec.
user=kar_bon
[2009-07-17 23:45:16]
751*2^697587-1 is not prime.  Res64: CB7C42FE1A1760F5  Time : 1344.0 sec.
user=tnerual
[2009-07-17 23:48:22]
677*2^697586-1 is not prime.  Res64: FEE6EC5732429E80  Time : 2707.0 sec.
user=Zachariassen
[2009-07-17 23:50:11]
713*2^697586-1 is not prime.  Res64: 89E14EFA31A99CC3  Time : 2421.0 sec.
user=vaughan
[2009-07-17 23:50:31]
611*2^697590-1 is not prime.  Res64: 4FCAB0A8B9707346  Time : 789.0 sec.
user=kar_bon
[2009-07-17 23:54:31]
745*2^697589-1 is not prime.  Res64: 217254C4649633CF  Time : 1341.0 sec.
user=kar_bon
[2009-07-17 23:56:29]
795*2^697589-1 is not prime.  Res64: 87D4D6CDB2698356  Time : 1344.0 sec.
user=Zachariassen
[2009-07-17 23:59:11]
675*2^697587-1 is not prime.  Res64: 4E1D2FC2EC7A1511  Time : 2410.0 sec.
user=Zachariassen
[2009-07-17 23:59:12]
615*2^697587-1 is not prime.  Res64: FB1AB09D144E64F7  Time : 2429.0 sec.
user=Zachariassen
[2009-07-17 23:59:29]
709*2^697587-1 is not prime.  Res64: DAA25452E86D4BE2  Time : 2411.0 sec.