user=vaughan
[2010-03-09 00:02:08]
1709*2^670636-1 is not prime.  Res64: D2EA2F8567168CF5  Time : 711.0 sec.
user=vaughan
[2010-03-09 00:02:46]
1667*2^670636-1 is not prime.  Res64: 0D3F2FCA5613D1D4  Time : 788.0 sec.
user=vaughan
[2010-03-09 00:02:46]
1619*2^670636-1 is not prime.  Res64: F6CFC3C94E543E53  Time : 789.0 sec.
user=vaughan
[2010-03-09 00:05:05]
1739*2^670636-1 is not prime.  Res64: AE18832309370B1C  Time : 725.0 sec.
user=vaughan
[2010-03-09 00:13:57]
1797*2^670636-1 is not prime.  Res64: C854142AE046DDF9  Time : 709.0 sec.
user=vaughan
[2010-03-09 00:16:00]
1925*2^670636-1 is not prime.  Res64: 9A928DA5E2F1EEFD  Time : 794.0 sec.
user=vaughan
[2010-03-09 00:16:01]
1417*2^670637-1 is not prime.  Res64: 665F4AACA52B289D  Time : 795.0 sec.
user=vaughan
[2010-03-09 00:17:04]
1489*2^670637-1 is not prime.  Res64: DE0F4F08F0BC9411  Time : 719.0 sec.
user=vaughan
[2010-03-09 00:25:42]
1491*2^670637-1 is not prime.  Res64: 5512826FE75868DD  Time : 705.0 sec.
user=vaughan
[2010-03-09 00:28:52]
1797*2^670637-1 is not prime.  Res64: 738B311B516B86F5  Time : 708.0 sec.
user=vaughan
[2010-03-09 00:28:58]
1777*2^670637-1 is not prime.  Res64: 35C776078F45DA3C  Time : 777.0 sec.
user=vaughan
[2010-03-09 00:29:03]
1677*2^670637-1 is not prime.  Res64: 93E161C87297C502  Time : 783.0 sec.
user=vaughan
[2010-03-09 00:37:41]
1821*2^670637-1 is not prime.  Res64: 8D1CD38DA9D36469  Time : 720.0 sec.
user=vaughan
[2010-03-09 00:41:03]
1849*2^670637-1 is not prime.  Res64: 82B93FAE4469125F  Time : 732.0 sec.
user=vaughan
[2010-03-09 00:42:39]
1875*2^670637-1 is not prime.  Res64: 3A4532B719703DBA  Time : 821.0 sec.
user=vaughan
[2010-03-09 00:42:41]
1915*2^670637-1 is not prime.  Res64: FF7BDB0E2479812B  Time : 818.0 sec.
user=vaughan
[2010-03-09 00:50:01]
1939*2^670637-1 is not prime.  Res64: 3B4581EB5D703AC4  Time : 740.0 sec.
user=vaughan
[2010-03-09 00:53:00]
1975*2^670637-1 is not prime.  Res64: FEC39479AB46B65F  Time : 717.0 sec.
user=vaughan
[2010-03-09 00:56:07]
1989*2^670637-1 is not prime.  Res64: B73EC12B27775F6C  Time : 808.0 sec.
user=vaughan
[2010-03-09 00:56:11]
1437*2^670638-1 is not prime.  Res64: 51DBAE6C07D2C6D8  Time : 811.0 sec.
user=vaughan
[2010-03-09 01:01:53]
1475*2^670638-1 is not prime.  Res64: 9EAE3CDECC17A83F  Time : 712.0 sec.
user=vaughan
[2010-03-09 01:04:48]
1493*2^670638-1 is not prime.  Res64: 7EF68752DF64C21E  Time : 709.0 sec.
user=vaughan
[2010-03-09 01:09:12]
1671*2^670638-1 is not prime.  Res64: 4A063E505938DC96  Time : 782.0 sec.
user=vaughan
[2010-03-09 01:09:12]
1557*2^670638-1 is not prime.  Res64: E1631BC0703F3207  Time : 785.0 sec.
user=vaughan
[2010-03-09 01:13:40]
1697*2^670638-1 is not prime.  Res64: CBC1485E73886DE1  Time : 708.0 sec.
user=vaughan
[2010-03-09 01:16:33]
1733*2^670638-1 is not prime.  Res64: 2D1EB95F648122F0  Time : 705.0 sec.
user=vaughan
[2010-03-09 01:22:14]
1763*2^670638-1 is not prime.  Res64: 576DD59C890F42C3  Time : 782.0 sec.
user=vaughan
[2010-03-09 01:22:17]
1805*2^670638-1 is not prime.  Res64: 7E2A903F13E6C225  Time : 785.0 sec.
user=vaughan
[2010-03-09 01:25:23]
1911*2^670638-1 is not prime.  Res64: 8C1F20157A2D0EB8  Time : 703.0 sec.
user=vaughan
[2010-03-09 01:28:20]
1935*2^670638-1 is not prime.  Res64: 094774582E2769EF  Time : 708.0 sec.
user=vaughan
[2010-03-09 01:35:09]
1441*2^670639-1 is not prime.  Res64: 14221142FC695BDC  Time : 775.0 sec.
user=vaughan
[2010-03-09 01:35:17]
1525*2^670639-1 is not prime.  Res64: A2F3E0B12145AE57  Time : 780.0 sec.
user=vaughan
[2010-03-09 01:37:04]
1573*2^670639-1 is not prime.  Res64: 8DB9AD150F239B1E  Time : 702.0 sec.
user=vaughan
[2010-03-09 01:40:03]
1591*2^670639-1 is not prime.  Res64: 9AF95F0636248D75  Time : 703.0 sec.
user=vaughan
[2010-03-09 01:48:07]
1653*2^670639-1 is not prime.  Res64: D5D7D056704E1588  Time : 778.0 sec.
user=vaughan
[2010-03-09 01:48:13]
1665*2^670639-1 is not prime.  Res64: 50561CDCBAA2443D  Time : 777.0 sec.
user=vaughan
[2010-03-09 01:48:37]
1701*2^670639-1 is not prime.  Res64: AD8BD53BCF581646  Time : 694.0 sec.
user=vaughan
[2010-03-09 01:51:45]
1713*2^670639-1 is not prime.  Res64: E715698BF42343F9  Time : 702.0 sec.
user=vaughan
[2010-03-09 02:00:17]
1545*2^670640-1 is not prime.  Res64: 487316DA9AD4AB77  Time : 701.0 sec.
user=vaughan
[2010-03-09 02:01:10]
1851*2^670639-1 is not prime.  Res64: 85EB1769C4F3DEA7  Time : 784.0 sec.
user=vaughan
[2010-03-09 02:01:15]
1445*2^670640-1 is not prime.  Res64: 5A529803EB7B735B  Time : 782.0 sec.
user=vaughan
[2010-03-09 02:03:39]
1635*2^670640-1 is not prime.  Res64: FC258235B8AB635E  Time : 714.0 sec.
user=vaughan
[2010-03-09 02:12:03]
1679*2^670640-1 is not prime.  Res64: 218C573604703219  Time : 706.0 sec.
user=vaughan
[2010-03-09 02:14:16]
1697*2^670640-1 is not prime.  Res64: DF694A5510B1A47A  Time : 787.0 sec.
user=vaughan
[2010-03-09 02:14:20]
1757*2^670640-1 is not prime.  Res64: BBD88A8A696B1ED6  Time : 785.0 sec.
user=vaughan
[2010-03-09 02:15:29]
1785*2^670640-1 is not prime.  Res64: 0C2605A5F59D009D  Time : 711.0 sec.
user=vaughan
[2010-03-09 02:23:37]
1793*2^670640-1 is not prime.  Res64: 308AF89D0A716FD6  Time : 694.0 sec.
user=vaughan
[2010-03-09 02:27:21]
1989*2^670640-1 is not prime.  Res64: 3701A9293EF1B78E  Time : 712.0 sec.
user=vaughan
[2010-03-09 02:27:24]
1895*2^670640-1 is not prime.  Res64: BD6F126FF917CED7  Time : 788.0 sec.
user=vaughan
[2010-03-09 02:27:30]
1943*2^670640-1 is not prime.  Res64: 280449F76A96DBA5  Time : 790.0 sec.
user=vaughan
[2010-03-09 02:36:09]
1459*2^670641-1 is not prime.  Res64: ED87DAFAFDE20301  Time : 753.0 sec.
user=vaughan
[2010-03-09 02:39:21]
1489*2^670641-1 is not prime.  Res64: 62A09BF23BA6FF7D  Time : 720.0 sec.
user=vaughan
[2010-03-09 02:40:15]
1537*2^670641-1 is not prime.  Res64: EDAD8E3107E92092  Time : 772.0 sec.
user=vaughan
[2010-03-09 02:40:22]
1575*2^670641-1 is not prime.  Res64: D847DBA0BAE10795  Time : 772.0 sec.
user=vaughan
[2010-03-09 02:46:58]
1617*2^670641-1 is not prime.  Res64: CFDA84EA64123C40  Time : 649.0 sec.
user=vaughan
[2010-03-09 02:50:07]
1729*2^670641-1 is not prime.  Res64: C1BCCC8C7E49B23F  Time : 646.0 sec.
user=vaughan
[2010-03-09 02:51:19]
1809*2^670641-1 is not prime.  Res64: 5F53D0B956324AEB  Time : 664.0 sec.
user=vaughan
[2010-03-09 02:51:25]
1839*2^670641-1 is not prime.  Res64: B232589D9AB98C4D  Time : 664.0 sec.
user=vaughan
[2010-03-09 02:57:46]
1855*2^670641-1 is not prime.  Res64: DC04A9B2965B941F  Time : 648.0 sec.
user=vaughan
[2010-03-09 03:00:54]
1897*2^670641-1 is not prime.  Res64: 35E64AF6E2F3AE01  Time : 647.0 sec.
user=vaughan
[2010-03-09 03:02:23]
1939*2^670641-1 is not prime.  Res64: 413AB23ADBABD8A1  Time : 664.0 sec.
user=vaughan
[2010-03-09 03:02:28]
1491*2^670642-1 is not prime.  Res64: CE7559881041A6F4  Time : 663.0 sec.
user=vaughan
[2010-03-09 03:08:34]
1547*2^670642-1 is not prime.  Res64: FD2A128DE465EFBE  Time : 648.0 sec.
user=vaughan
[2010-03-09 03:11:55]
1625*2^670642-1 is not prime.  Res64: 87AE61EA8706A4D9  Time : 662.0 sec.
user=vaughan
[2010-03-09 03:14:13]
1727*2^670642-1 is not prime.  Res64: C3572A51BBB42E06  Time : 710.0 sec.
user=vaughan
[2010-03-09 03:14:18]
1767*2^670642-1 is not prime.  Res64: F19C0A01E3C81D6F  Time : 710.0 sec.
user=vaughan
[2010-03-09 03:20:20]
1905*2^670642-1 is not prime.  Res64: D491CDA25D2895A3  Time : 707.0 sec.
user=vaughan
[2010-03-09 03:23:54]
1937*2^670642-1 is not prime.  Res64: 68F81ABD34975368  Time : 719.0 sec.
user=vaughan
[2010-03-09 03:27:19]
1977*2^670642-1 is not prime.  Res64: 83FAF2E3E21A5116  Time : 786.0 sec.
user=vaughan
[2010-03-09 03:27:26]
1425*2^670643-1 is not prime.  Res64: 5CC9BA8990E29A46  Time : 789.0 sec.
user=vaughan
[2010-03-09 03:31:55]
1491*2^670643-1 is not prime.  Res64: 8635FAF29FB0593A  Time : 696.0 sec.
user=vaughan
[2010-03-09 03:35:36]
1581*2^670643-1 is not prime.  Res64: 625C507D72905E92  Time : 703.0 sec.
user=vaughan
[2010-03-09 03:40:17]
1599*2^670643-1 is not prime.  Res64: CB10C38EEAFA1499  Time : 778.0 sec.
user=vaughan
[2010-03-09 03:40:26]
1623*2^670643-1 is not prime.  Res64: 7A4064C141C82D20  Time : 781.0 sec.
user=vaughan
[2010-03-09 03:43:31]
1651*2^670643-1 is not prime.  Res64: 1FA4131E2960EB95  Time : 696.0 sec.
user=vaughan
[2010-03-09 03:47:19]
1659*2^670643-1 is not prime.  Res64: A4589A65609EEB77  Time : 703.0 sec.
user=vaughan
[2010-03-09 03:53:15]
1683*2^670643-1 is not prime.  Res64: BF537EC5C268F5CB  Time : 778.0 sec.
user=vaughan
[2010-03-09 03:53:25]
1735*2^670643-1 is not prime.  Res64: 95D6CB01B8EE185C  Time : 779.0 sec.
user=vaughan
[2010-03-09 03:55:11]
1795*2^670643-1 is not prime.  Res64: D6DDDC246DC9C5EA  Time : 700.0 sec.
user=vaughan
[2010-03-09 03:59:08]
1821*2^670643-1 is not prime.  Res64: C325D80700A2B765  Time : 709.0 sec.
user=vaughan
[2010-03-09 04:06:15]
1825*2^670643-1 is not prime.  Res64: 5DABCFAAF80EA711  Time : 780.0 sec.
user=vaughan
[2010-03-09 04:06:29]
1863*2^670643-1 is not prime.  Res64: A5589177A70E0601  Time : 784.0 sec.
user=vaughan
[2010-03-09 04:06:49]
1875*2^670643-1 is not prime.  Res64: D24CED26DB864598  Time : 698.0 sec.
user=vaughan
[2010-03-09 04:10:57]
1893*2^670643-1 is not prime.  Res64: 74A042688170C2E3  Time : 709.0 sec.
user=vaughan
[2010-03-09 04:18:43]
1533*2^670644-1 is not prime.  Res64: 043C60181AC05668  Time : 715.0 sec.
user=vaughan
[2010-03-09 04:19:47]
1463*2^670644-1 is not prime.  Res64: 46C3B0290A90DD6B  Time : 812.0 sec.
user=vaughan
[2010-03-09 04:20:00]
1467*2^670644-1 is not prime.  Res64: 36FC65581A98F799  Time : 811.0 sec.
user=vaughan
[2010-03-09 04:23:04]
1577*2^670644-1 is not prime.  Res64: 685551ED74A0A24F  Time : 727.0 sec.
user=vaughan
[2010-03-09 04:30:49]
1589*2^670644-1 is not prime.  Res64: 3049E30D11686792  Time : 726.0 sec.
user=vaughan
[2010-03-09 04:33:17]
1595*2^670644-1 is not prime.  Res64: 5A4987597159C76A  Time : 811.0 sec.
user=vaughan
[2010-03-09 04:33:34]
1619*2^670644-1 is not prime.  Res64: 6195D9F83D394D1D  Time : 814.0 sec.
user=vaughan
[2010-03-09 04:35:03]
1797*2^670644-1 is not prime.  Res64: AB6FF74423FFBBD7  Time : 719.0 sec.
user=vaughan
[2010-03-09 04:42:26]
1799*2^670644-1 is not prime.  Res64: 0F25F49BAF07AFCA  Time : 697.0 sec.
user=vaughan
[2010-03-09 04:46:18]
1983*2^670644-1 is not prime.  Res64: 9271A2DC6B2DC2B5  Time : 781.0 sec.
user=vaughan
[2010-03-09 04:46:28]
1995*2^670644-1 is not prime.  Res64: 192C1826D3E9CFFF  Time : 774.0 sec.
user=vaughan
[2010-03-09 04:46:45]
1449*2^670645-1 is not prime.  Res64: 9BDF52337F836F95  Time : 702.0 sec.
user=vaughan
[2010-03-09 04:54:02]
1459*2^670645-1 is not prime.  Res64: 7E3D2265318CB9FF  Time : 697.0 sec.
user=vaughan
[2010-03-09 04:58:30]
1557*2^670645-1 is not prime.  Res64: FDD4DD1F468CF9A0  Time : 706.0 sec.
user=vaughan
[2010-03-09 04:59:16]
1501*2^670645-1 is not prime.  Res64: 0C419E95F402B375  Time : 779.0 sec.
user=vaughan
[2010-03-09 04:59:27]
1545*2^670645-1 is not prime.  Res64: B3430C8210C24F0D  Time : 779.0 sec.
user=vaughan
[2010-03-09 05:05:51]
1591*2^670645-1 is not prime.  Res64: D9A96871A2D52C91  Time : 710.0 sec.
user=vaughan
[2010-03-09 05:10:37]
1629*2^670645-1 is not prime.  Res64: B2DEC50C3BBDA277  Time : 727.0 sec.
user=vaughan
[2010-03-09 05:12:32]
1651*2^670645-1 is not prime.  Res64: 5E5D9786CAB419DB  Time : 797.0 sec.
user=vaughan
[2010-03-09 05:12:42]
1741*2^670645-1 is not prime.  Res64: 7C0C1F20C314A084  Time : 796.0 sec.
user=vaughan
[2010-03-09 05:17:45]
1819*2^670645-1 is not prime.  Res64: D7C1FB94C63BF960  Time : 714.0 sec.
user=vaughan
[2010-03-09 05:22:34]
1851*2^670645-1 is not prime.  Res64: 5B5B3C51FC847B22  Time : 717.0 sec.
user=vaughan
[2010-03-09 05:25:37]
1965*2^670645-1 is not prime.  Res64: 5C489BD4A34C927D  Time : 785.0 sec.
user=vaughan
[2010-03-09 05:25:44]
1425*2^670646-1 is not prime.  Res64: BCD0B124C090744B  Time : 782.0 sec.
user=vaughan
[2010-03-09 05:29:23]
1445*2^670646-1 is not prime.  Res64: 7DDB1DC7D0B5F8C1  Time : 699.0 sec.
user=vaughan
[2010-03-09 05:34:21]
1475*2^670646-1 is not prime.  Res64: 8650AE1749416F97  Time : 707.0 sec.
user=vaughan
[2010-03-09 05:38:35]
1533*2^670646-1 is not prime.  Res64: 004FA893829145F5  Time : 779.0 sec.
user=vaughan
[2010-03-09 05:38:44]
1617*2^670646-1 is not prime.  Res64: EE673A873497DD97  Time : 780.0 sec.
user=vaughan
[2010-03-09 05:40:55]
1641*2^670646-1 is not prime.  Res64: 109CBB8D12BF94E1  Time : 692.0 sec.
user=vaughan
[2010-03-09 05:46:10]
1751*2^670646-1 is not prime.  Res64: 54188241CA88AAFB  Time : 709.0 sec.
user=vaughan
[2010-03-09 05:51:44]
1757*2^670646-1 is not prime.  Res64: F314DAB84F40CC0F  Time : 789.0 sec.
user=vaughan
[2010-03-09 05:51:54]
1763*2^670646-1 is not prime.  Res64: 760D42033B6F6854  Time : 790.0 sec.
user=vaughan
[2010-03-09 05:52:42]
1793*2^670646-1 is not prime.  Res64: 31768A797CFB6CA9  Time : 707.0 sec.
user=vaughan
[2010-03-09 05:58:13]
1811*2^670646-1 is not prime.  Res64: 4646EAC379BEBA49  Time : 723.0 sec.
user=vaughan
[2010-03-09 06:04:34]
1489*2^670647-1 is not prime.  Res64: B274BA1A9103E38C  Time : 712.0 sec.
user=vaughan
[2010-03-09 06:04:58]
1901*2^670646-1 is not prime.  Res64: E6AFCCBA6FED5074  Time : 794.0 sec.
user=vaughan
[2010-03-09 06:05:06]
1455*2^670647-1 is not prime.  Res64: 315AF315E58C2673  Time : 792.0 sec.
user=vaughan
[2010-03-09 06:10:05]
1519*2^670647-1 is not prime.  Res64: B7CAD4288922CEC7  Time : 713.0 sec.
user=vaughan
[2010-03-09 06:16:49]
1521*2^670647-1 is not prime.  Res64: BDCD5236C96396ED  Time : 735.0 sec.
user=vaughan
[2010-03-09 06:18:31]
1575*2^670647-1 is not prime.  Res64: 57C11B47C4BA38C5  Time : 813.0 sec.
user=vaughan
[2010-03-09 06:18:34]
1615*2^670647-1 is not prime.  Res64: 16F5B165254A9C34  Time : 808.0 sec.
user=vaughan
[2010-03-09 06:22:24]
1921*2^670647-1 is not prime.  Res64: 2EE25CAAA80F4DEB  Time : 740.0 sec.
user=vaughan
[2010-03-09 06:28:41]
1939*2^670647-1 is not prime.  Res64: 013CFE140786A093  Time : 712.0 sec.
user=vaughan
[2010-03-09 06:31:38]
1505*2^670648-1 is not prime.  Res64: 0BD16F5D38BB1B18  Time : 788.0 sec.
user=vaughan
[2010-03-09 06:31:41]
1563*2^670648-1 is not prime.  Res64: 9E96E739AC6A9CCF  Time : 788.0 sec.
user=vaughan
[2010-03-09 06:34:05]
1629*2^670648-1 is not prime.  Res64: 7630E0DEDD95986D  Time : 701.0 sec.
user=vaughan
[2010-03-09 06:40:04]
1737*2^670648-1 is not prime.  Res64: 1CBCE65371BF4AB7  Time : 683.0 sec.
user=vaughan
[2010-03-09 06:43:40]
1739*2^670648-1 is not prime.  Res64: 0DB577120BC1A00C  Time : 722.0 sec.
user=vaughan
[2010-03-09 06:43:41]
1763*2^670648-1 is not prime.  Res64: 8A2A9E781D881998  Time : 721.0 sec.
user=vaughan
[2010-03-09 06:46:32]
1815*2^670648-1 is not prime.  Res64: 19797C825A4AFE4E  Time : 747.0 sec.
user=vaughan
[2010-03-09 06:55:49]
1839*2^670648-1 is not prime.  Res64: F36F1C98512627E1  Time : 945.0 sec.
user=vaughan
[2010-03-09 07:04:20]
1937*2^670648-1 is not prime.  Res64: 68E1C75F7EA5BE74  Time : 1068.0 sec.
user=vaughan
[2010-03-09 07:12:34]
1853*2^670648-1 is not prime.  Res64: 6A8E266CADF163A5  Time : 1734.0 sec.
user=vaughan
[2010-03-09 07:12:41]
1899*2^670648-1 is not prime.  Res64: 014B76FEAEEBCE19  Time : 1740.0 sec.
user=vaughan
[2010-03-09 07:13:37]
1997*2^670648-1 is not prime.  Res64: 7786A0E5CF813B19  Time : 1068.0 sec.
user=vaughan
[2010-03-09 07:22:08]
1407*2^670649-1 is not prime.  Res64: 7F0DD2D97DF3FEAA  Time : 1068.0 sec.
user=vaughan
[2010-03-09 07:30:07]
1569*2^670649-1 is not prime.  Res64: F9CD7CF957E2BB16  Time : 990.0 sec.
user=vaughan
[2010-03-09 07:35:16]
1435*2^670649-1 is not prime.  Res64: 8F77BEE6E03869E4  Time : 1362.0 sec.
user=vaughan
[2010-03-09 07:35:18]
1497*2^670649-1 is not prime.  Res64: 30467A000ABEA556  Time : 1358.0 sec.
user=vaughan
[2010-03-09 07:39:53]
1639*2^670649-1 is not prime.  Res64: 440E79915840E395  Time : 1065.0 sec.
user=vaughan
[2010-03-09 07:45:39]
1669*2^670649-1 is not prime.  Res64: 935CC8A814426390  Time : 932.0 sec.
user=vaughan
[2010-03-09 07:50:12]
1821*2^670649-1 is not prime.  Res64: 84AB4F332C139D52  Time : 896.0 sec.
user=vaughan
[2010-03-09 07:50:18]
1849*2^670649-1 is not prime.  Res64: 1903E7B0F0CEE304  Time : 900.0 sec.
user=vaughan
[2010-03-09 07:51:32]
1851*2^670649-1 is not prime.  Res64: 0FF610A12FC637C2  Time : 700.0 sec.
user=vaughan
[2010-03-09 07:56:25]
1867*2^670649-1 is not prime.  Res64: 13DAA463B05EF1BF  Time : 646.0 sec.
user=vaughan
[2010-03-09 08:01:14]
1915*2^670649-1 is not prime.  Res64: 19B334645338B41D  Time : 662.0 sec.
user=vaughan
[2010-03-09 08:01:19]
1951*2^670649-1 is not prime.  Res64: 0F601BEFF41B3965  Time : 662.0 sec.
user=vaughan
[2010-03-09 08:02:17]
1975*2^670649-1 is not prime.  Res64: 633B16FF69B940EB  Time : 645.0 sec.
user=vaughan
[2010-03-09 08:07:25]
1425*2^670650-1 is not prime.  Res64: 28BE5669C0376E5E  Time : 660.0 sec.
user=vaughan
[2010-03-09 08:12:50]
1433*2^670650-1 is not prime.  Res64: F14B1D9B464CAE7D  Time : 696.0 sec.
user=vaughan
[2010-03-09 08:12:56]
1473*2^670650-1 is not prime.  Res64: AA4B3C29257487B5  Time : 697.0 sec.
user=vaughan
[2010-03-09 08:13:33]
1571*2^670650-1 is not prime.  Res64: B71422225E63C682  Time : 676.0 sec.
user=vaughan
[2010-03-09 08:18:38]
1595*2^670650-1 is not prime.  Res64: F140873D059FA73F  Time : 673.0 sec.
user=vaughan
[2010-03-09 08:23:55]
1733*2^670650-1 is not prime.  Res64: 6C1C5AF6597546AD  Time : 666.0 sec.
user=vaughan
[2010-03-09 08:23:59]
1857*2^670650-1 is not prime.  Res64: 38E37765A41863A4  Time : 663.0 sec.
user=vaughan
[2010-03-09 08:24:19]
1881*2^670650-1 is not prime.  Res64: 965DF4FDEDBF7F17  Time : 647.0 sec.
user=vaughan
[2010-03-09 08:29:26]
1995*2^670650-1 is not prime.  Res64: AA280F7B754C6A65  Time : 648.0 sec.
user=vaughan
[2010-03-09 08:34:58]
1441*2^670651-1 is not prime.  Res64: 4868732FB09F23E8  Time : 664.0 sec.
user=vaughan
[2010-03-09 08:35:03]
1479*2^670651-1 is not prime.  Res64: EB6EB79BB6FC8F5E  Time : 664.0 sec.
user=vaughan
[2010-03-09 08:35:05]
1533*2^670651-1 is not prime.  Res64: D7BBCF59E54EDEC3  Time : 646.0 sec.
user=vaughan
[2010-03-09 08:40:13]
1585*2^670651-1 is not prime.  Res64: 307E7F4A2B0EAA57  Time : 648.0 sec.
user=vaughan
[2010-03-09 08:45:52]
1693*2^670651-1 is not prime.  Res64: 814E7B984644618E  Time : 647.0 sec.
user=vaughan
[2010-03-09 08:46:01]
1633*2^670651-1 is not prime.  Res64: 6D11F4008093ADBA  Time : 664.0 sec.
user=vaughan
[2010-03-09 08:46:06]
1651*2^670651-1 is not prime.  Res64: 9FFA8C501755318F  Time : 663.0 sec.
user=vaughan
[2010-03-09 08:51:01]
1869*2^670651-1 is not prime.  Res64: 7D109EDD661FDFC9  Time : 648.0 sec.
user=vaughan
[2010-03-09 08:56:37]
1903*2^670651-1 is not prime.  Res64: 53310BB9E78A93DF  Time : 646.0 sec.
user=vaughan
[2010-03-09 08:57:03]
1945*2^670651-1 is not prime.  Res64: 49830B21C3C9322A  Time : 662.0 sec.
user=vaughan
[2010-03-09 08:57:10]
1965*2^670651-1 is not prime.  Res64: 6E501DAE4CBCADCF  Time : 664.0 sec.
user=vaughan
[2010-03-09 09:01:49]
1983*2^670651-1 is not prime.  Res64: CFE7785FE9CF46E5  Time : 649.0 sec.
user=vaughan
[2010-03-09 09:07:24]
1443*2^670652-1 is not prime.  Res64: E580E10D41138881  Time : 647.0 sec.
user=vaughan
[2010-03-09 09:08:07]
1557*2^670652-1 is not prime.  Res64: A5778540AE4D10A3  Time : 664.0 sec.
user=vaughan
[2010-03-09 09:08:13]
1649*2^670652-1 is not prime.  Res64: 6A73194EDB797AF4  Time : 664.0 sec.
user=vaughan
[2010-03-09 09:12:36]
1655*2^670652-1 is not prime.  Res64: 2881584B08AE1DA5  Time : 647.0 sec.
user=vaughan
[2010-03-09 09:18:12]
1683*2^670652-1 is not prime.  Res64: DDC8FDBC74C1DC46  Time : 648.0 sec.
user=vaughan
[2010-03-09 09:19:11]
1707*2^670652-1 is not prime.  Res64: CDCE6FA795EED90F  Time : 665.0 sec.
user=vaughan
[2010-03-09 09:19:18]
1709*2^670652-1 is not prime.  Res64: 6097F403DA4F9240  Time : 665.0 sec.
user=vaughan
[2010-03-09 09:23:24]
1793*2^670652-1 is not prime.  Res64: 6454A02ABF789FD8  Time : 648.0 sec.
user=vaughan
[2010-03-09 09:28:57]
1877*2^670652-1 is not prime.  Res64: 983F160CD034DADA  Time : 646.0 sec.
user=vaughan
[2010-03-09 09:30:15]
1883*2^670652-1 is not prime.  Res64: FB2EF6495D892D77  Time : 664.0 sec.
user=vaughan
[2010-03-09 09:30:21]
1947*2^670652-1 is not prime.  Res64: 2FF7AB02D1EDD9CD  Time : 663.0 sec.
user=vaughan
[2010-03-09 09:34:13]
1407*2^670653-1 is not prime.  Res64: BE3C3C5BDC260803  Time : 649.0 sec.
user=vaughan
[2010-03-09 09:39:45]
1447*2^670653-1 is not prime.  Res64: 534384C4E8CBC718  Time : 648.0 sec.
user=vaughan
[2010-03-09 09:41:19]
1575*2^670653-1 is not prime.  Res64: 83799AA5B0557C12  Time : 664.0 sec.
user=vaughan
[2010-03-09 09:41:26]
1615*2^670653-1 is not prime.  Res64: 80405417015E03D1  Time : 665.0 sec.
user=vaughan
[2010-03-09 09:45:00]
1665*2^670653-1 is not prime.  Res64: 1B6BB8F00E926E74  Time : 648.0 sec.
user=vaughan
[2010-03-09 09:50:31]
1669*2^670653-1 is not prime.  Res64: 1664E3EEEB2645F9  Time : 647.0 sec.
user=vaughan
[2010-03-09 09:52:21]
1791*2^670653-1 is not prime.  Res64: 7138BA29354A98FF  Time : 663.0 sec.
user=vaughan
[2010-03-09 09:52:28]
1825*2^670653-1 is not prime.  Res64: 2E4275EC53F9D058  Time : 663.0 sec.
user=vaughan
[2010-03-09 09:55:47]
1915*2^670653-1 is not prime.  Res64: F8B5B82F893C5ACA  Time : 647.0 sec.
user=vaughan
[2010-03-09 10:01:24]
1427*2^670654-1 is not prime.  Res64: 0FE8FB9339B5D002  Time : 653.0 sec.
user=vaughan
[2010-03-09 10:03:39]
1437*2^670654-1 is not prime.  Res64: 6DB17C80844A348D  Time : 678.0 sec.
user=vaughan
[2010-03-09 10:03:48]
1455*2^670654-1 is not prime.  Res64: 29CC4CF5DA5EC623  Time : 680.0 sec.
user=vaughan
[2010-03-09 10:07:08]
1533*2^670654-1 is not prime.  Res64: E1D487C364430788  Time : 682.0 sec.
user=vaughan
[2010-03-09 10:12:33]
1547*2^670654-1 is not prime.  Res64: 4A0721148F2F3EBF  Time : 669.0 sec.
user=vaughan
[2010-03-09 10:14:59]
1563*2^670654-1 is not prime.  Res64: 1A54FA07160B03F5  Time : 681.0 sec.
user=vaughan
[2010-03-09 10:15:10]
1575*2^670654-1 is not prime.  Res64: ADA333D11A5196F5  Time : 682.0 sec.
user=vaughan
[2010-03-09 10:18:03]
1611*2^670654-1 is not prime.  Res64: C9F7DD21D6BFF780  Time : 655.0 sec.
user=vaughan
[2010-03-09 10:23:20]
1625*2^670654-1 is not prime.  Res64: CB24234A77D3CAF8  Time : 647.0 sec.
user=vaughan
[2010-03-09 10:26:04]
1683*2^670654-1 is not prime.  Res64: C0C5350CF19C32B4  Time : 665.0 sec.
user=vaughan
[2010-03-09 10:26:14]
1743*2^670654-1 is not prime.  Res64: C469064AFE07282B  Time : 664.0 sec.
user=vaughan
[2010-03-09 10:28:50]
1763*2^670654-1 is not prime.  Res64: B499AAB1208FC7C2  Time : 647.0 sec.
user=vaughan
[2010-03-09 10:34:07]
1425*2^670655-1 is not prime.  Res64: B740C77772337F18  Time : 647.0 sec.
user=vaughan
[2010-03-09 10:37:08]
1441*2^670655-1 is not prime.  Res64: 63B229A8C3B0C5AB  Time : 665.0 sec.
user=vaughan
[2010-03-09 10:37:17]
1501*2^670655-1 is not prime.  Res64: 86A8718D5B5225D2  Time : 664.0 sec.
user=vaughan
[2010-03-09 10:39:38]
1503*2^670655-1 is not prime.  Res64: 02F06834550E0749  Time : 649.0 sec.
user=vaughan
[2010-03-09 10:44:54]
1531*2^670655-1 is not prime.  Res64: A4ED46B53FA7D68E  Time : 648.0 sec.
user=vaughan
[2010-03-09 10:48:12]
1663*2^670655-1 is not prime.  Res64: 6E1B4D08EC0300BA  Time : 664.0 sec.
user=vaughan
[2010-03-09 10:48:20]
1711*2^670655-1 is not prime.  Res64: 306BB865DBE6FA8C  Time : 663.0 sec.
user=vaughan
[2010-03-09 10:50:25]
1723*2^670655-1 is not prime.  Res64: 9B5CA56131CF6B71  Time : 648.0 sec.
user=vaughan
[2010-03-09 10:55:40]
1831*2^670655-1 is not prime.  Res64: 046EA3A566B2BD7D  Time : 647.0 sec.
user=vaughan
[2010-03-09 10:59:16]
1849*2^670655-1 is not prime.  Res64: 800C7239A79470E4  Time : 664.0 sec.
user=vaughan
[2010-03-09 10:59:25]
1911*2^670655-1 is not prime.  Res64: 802965BCBD096C22  Time : 665.0 sec.
user=vaughan
[2010-03-09 11:01:13]
1409*2^670656-1 is not prime.  Res64: 17B3BA50CF1AFA53  Time : 648.0 sec.
user=vaughan
[2010-03-09 11:06:27]
1433*2^670656-1 is not prime.  Res64: 2F260A9E5D448417  Time : 647.0 sec.
user=vaughan
[2010-03-09 11:10:20]
1439*2^670656-1 is not prime.  Res64: 443472BB5128D03B  Time : 664.0 sec.
user=vaughan
[2010-03-09 11:10:27]
1859*2^670656-1 is not prime.  Res64: F5C0704867DB9863  Time : 663.0 sec.
user=vaughan
[2010-03-09 11:12:01]
1865*2^670656-1 is not prime.  Res64: 4060673F9556B426  Time : 648.0 sec.
user=vaughan
[2010-03-09 11:17:13]
1913*2^670656-1 is not prime.  Res64: 0A16F5A8B61753CF  Time : 647.0 sec.
user=vaughan
[2010-03-09 11:21:24]
1937*2^670656-1 is not prime.  Res64: E2866E3DA785C381  Time : 664.0 sec.
user=vaughan
[2010-03-09 11:21:29]
1949*2^670656-1 is not prime.  Res64: E36F27096C6BFFEF  Time : 662.0 sec.
user=vaughan
[2010-03-09 11:22:49]
1995*2^670656-1 is not prime.  Res64: 0D7E2F4AA94F5CDF  Time : 648.0 sec.
user=vaughan
[2010-03-09 11:27:59]
1459*2^670657-1 is not prime.  Res64: E755900FD0193795  Time : 647.0 sec.
user=vaughan
[2010-03-09 11:32:27]
1479*2^670657-1 is not prime.  Res64: EE19E50B03B59D73  Time : 663.0 sec.
user=vaughan
[2010-03-09 11:32:33]
1491*2^670657-1 is not prime.  Res64: F75219AAE6EB2D04  Time : 664.0 sec.
user=vaughan
[2010-03-09 11:33:37]
1519*2^670657-1 is not prime.  Res64: 0262D36E8F0A5228  Time : 649.0 sec.
user=vaughan
[2010-03-09 11:38:45]
1521*2^670657-1 is not prime.  Res64: 37544D0D421C44FF  Time : 647.0 sec.
user=vaughan
[2010-03-09 11:43:29]
1531*2^670657-1 is not prime.  Res64: 1A01DE7E21ABFAF9  Time : 663.0 sec.
user=vaughan
[2010-03-09 11:43:35]
1569*2^670657-1 is not prime.  Res64: 00D099D703DD4135  Time : 663.0 sec.
user=vaughan
[2010-03-09 11:44:23]
1605*2^670657-1 is not prime.  Res64: D18F67F761E1AC2E  Time : 647.0 sec.
user=vaughan
[2010-03-09 11:49:31]
1659*2^670657-1 is not prime.  Res64: E9ABF0AF2801EC8A  Time : 646.0 sec.
user=vaughan
[2010-03-09 11:54:33]
1725*2^670657-1 is not prime.  Res64: C1956AC61AB1439C  Time : 664.0 sec.
user=vaughan
[2010-03-09 11:54:38]
1869*2^670657-1 is not prime.  Res64: A205EA80C0D5A244  Time : 663.0 sec.
user=vaughan
[2010-03-09 11:55:13]
1945*2^670657-1 is not prime.  Res64: 5B5219ECF3E87BC3  Time : 650.0 sec.
user=vaughan
[2010-03-09 12:00:33]
1545*2^670658-1 is not prime.  Res64: 2D2E677A71068ADD  Time : 662.0 sec.
user=vaughan
[2010-03-09 12:06:10]
1551*2^670658-1 is not prime.  Res64: F8D122C191DB049F  Time : 697.0 sec.
user=vaughan
[2010-03-09 12:06:18]
1655*2^670658-1 is not prime.  Res64: 11B393ED69F527BD  Time : 700.0 sec.
user=vaughan
[2010-03-09 12:06:41]
1691*2^670658-1 is not prime.  Res64: B00F6DB9ADF6EDE6  Time : 688.0 sec.
user=vaughan
[2010-03-09 12:11:28]
1751*2^670658-1 is not prime.  Res64: A278611AFF52B6DD  Time : 656.0 sec.
user=vaughan
[2010-03-09 12:17:14]
1805*2^670658-1 is not prime.  Res64: 7C0512579E5A5C53  Time : 664.0 sec.
user=vaughan
[2010-03-09 12:17:20]
1887*2^670658-1 is not prime.  Res64: AB61616BF507A6E6  Time : 662.0 sec.
user=vaughan
[2010-03-09 12:17:30]
1905*2^670658-1 is not prime.  Res64: 9923C021E0716E06  Time : 649.0 sec.
user=vaughan
[2010-03-09 12:22:16]
1977*2^670658-1 is not prime.  Res64: C06C8FC707671EAE  Time : 648.0 sec.
user=vaughan
[2010-03-09 12:28:18]
1479*2^670659-1 is not prime.  Res64: A89BF68D47DF316F  Time : 664.0 sec.
user=vaughan
[2010-03-09 12:28:18]
1675*2^670659-1 is not prime.  Res64: DBADC5D8A6F914D8  Time : 649.0 sec.
user=vaughan
[2010-03-09 12:28:24]
1621*2^670659-1 is not prime.  Res64: EEA3E0EDF3404DB3  Time : 664.0 sec.
user=vaughan
[2010-03-09 12:33:04]
1753*2^670659-1 is not prime.  Res64: 23863D02DE43470B  Time : 648.0 sec.
user=vaughan
[2010-03-09 12:39:06]
1761*2^670659-1 is not prime.  Res64: 684FB3C508836E8E  Time : 648.0 sec.
user=vaughan
[2010-03-09 12:39:22]
1755*2^670659-1 is not prime.  Res64: F2C39D3D4FBABD63  Time : 665.0 sec.
user=vaughan
[2010-03-09 12:39:27]
1815*2^670659-1 is not prime.  Res64: 34B5591659E9A370  Time : 664.0 sec.
user=vaughan
[2010-03-09 12:43:50]
1819*2^670659-1 is not prime.  Res64: 77E14B923170FC0E  Time : 647.0 sec.
user=vaughan
[2010-03-09 12:49:54]
1873*2^670659-1 is not prime.  Res64: 4EC7C271DFAC3C7B  Time : 649.0 sec.
user=vaughan
[2010-03-09 12:50:25]
1503*2^670660-1 is not prime.  Res64: AE89589029932909  Time : 663.0 sec.
user=vaughan
[2010-03-09 12:50:30]
1527*2^670660-1 is not prime.  Res64: 835A87312FF0ED32  Time : 663.0 sec.
user=vaughan
[2010-03-09 12:54:37]
1535*2^670660-1 is not prime.  Res64: 5272C5A96A85843E  Time : 647.0 sec.
user=vaughan
[2010-03-09 13:00:41]
1547*2^670660-1 is not prime.  Res64: 9057929849674F29  Time : 648.0 sec.
user=vaughan
[2010-03-09 13:01:29]
1685*2^670660-1 is not prime.  Res64: B940D0520CB2B7F7  Time : 664.0 sec.
user=vaughan
[2010-03-09 13:01:33]
1743*2^670660-1 is not prime.  Res64: 2615E7D14E66CB51  Time : 663.0 sec.
user=vaughan
[2010-03-09 13:05:23]
1763*2^670660-1 is not prime.  Res64: 8453D871E096F8B5  Time : 647.0 sec.
user=vaughan
[2010-03-09 13:11:29]
1917*2^670660-1 is not prime.  Res64: BEF80EA5A4442F49  Time : 648.0 sec.
user=vaughan
[2010-03-09 13:12:32]
1989*2^670660-1 is not prime.  Res64: 430CB03712AD5086  Time : 664.0 sec.
user=vaughan
[2010-03-09 13:12:36]
1407*2^670661-1 is not prime.  Res64: 185E591E8E6A63EC  Time : 664.0 sec.
user=vaughan
[2010-03-09 13:16:09]
1461*2^670661-1 is not prime.  Res64: 3C33D05EF7D81DFF  Time : 646.0 sec.
user=vaughan
[2010-03-09 13:22:17]
1575*2^670661-1 is not prime.  Res64: 41C850D49E9D9C7F  Time : 648.0 sec.
user=vaughan
[2010-03-09 13:23:36]
1615*2^670661-1 is not prime.  Res64: 19C3DCC5B094AACC  Time : 664.0 sec.
user=vaughan
[2010-03-09 13:23:39]
1621*2^670661-1 is not prime.  Res64: 23FDBE8EC7D61D19  Time : 663.0 sec.
user=vaughan
[2010-03-09 13:26:55]
1629*2^670661-1 is not prime.  Res64: 31CE6C238D08406F  Time : 647.0 sec.
user=vaughan
[2010-03-09 13:33:05]
1641*2^670661-1 is not prime.  Res64: 554872DB12DB4059  Time : 648.0 sec.
user=vaughan
[2010-03-09 13:34:39]
1651*2^670661-1 is not prime.  Res64: FCFB13D55E195923  Time : 663.0 sec.
user=vaughan
[2010-03-09 13:34:43]
1671*2^670661-1 is not prime.  Res64: 4ED32C171579318C  Time : 664.0 sec.
user=vaughan
[2010-03-09 13:37:41]
1819*2^670661-1 is not prime.  Res64: 905512CD52B2E901  Time : 646.0 sec.
user=vaughan
[2010-03-09 13:43:50]
1839*2^670661-1 is not prime.  Res64: 986E522187CD2CE2  Time : 646.0 sec.
user=vaughan
[2010-03-09 13:45:41]
1875*2^670661-1 is not prime.  Res64: 00D4A56882B2C676  Time : 662.0 sec.
user=vaughan
[2010-03-09 13:45:45]
1881*2^670661-1 is not prime.  Res64: C79D15E13972E345  Time : 663.0 sec.
user=vaughan
[2010-03-09 13:48:28]
1957*2^670661-1 is not prime.  Res64: E5F704AFB8F3CDD8  Time : 647.0 sec.
user=vaughan
[2010-03-09 13:54:57]
1421*2^670662-1 is not prime.  Res64: 9B53E7653E587149  Time : 667.0 sec.
user=vaughan
[2010-03-09 13:57:08]
1563*2^670662-1 is not prime.  Res64: 6A6B43B1518A333C  Time : 687.0 sec.
user=vaughan
[2010-03-09 13:57:13]
1703*2^670662-1 is not prime.  Res64: 591BA5B9C5FE424B  Time : 688.0 sec.
user=vaughan
[2010-03-09 13:59:44]
1791*2^670662-1 is not prime.  Res64: 635F4DB8D0AB6324  Time : 676.0 sec.
user=vaughan
[2010-03-09 14:06:05]
1881*2^670662-1 is not prime.  Res64: 816D3E80F7B2AA03  Time : 668.0 sec.
user=vaughan
[2010-03-09 14:08:22]
1941*2^670662-1 is not prime.  Res64: 3B8C85993C34ECB1  Time : 674.0 sec.
user=vaughan
[2010-03-09 14:08:29]
1943*2^670662-1 is not prime.  Res64: C84C5F49B83224EF  Time : 677.0 sec.
user=vaughan
[2010-03-09 14:10:31]
1991*2^670662-1 is not prime.  Res64: 83DB6E7288C0C174  Time : 647.0 sec.
user=vaughan
[2010-03-09 14:16:53]
1455*2^670663-1 is not prime.  Res64: 5DFBE2944DD3786B  Time : 648.0 sec.
user=vaughan
[2010-03-09 14:19:25]
1521*2^670663-1 is not prime.  Res64: CF3AF66B35855540  Time : 663.0 sec.
user=vaughan
[2010-03-09 14:19:32]
1611*2^670663-1 is not prime.  Res64: E163C293895F4154  Time : 664.0 sec.
user=vaughan
[2010-03-09 14:21:17]
1615*2^670663-1 is not prime.  Res64: D53AF776B9CFC444  Time : 646.0 sec.
user=vaughan
[2010-03-09 14:27:41]
1629*2^670663-1 is not prime.  Res64: 6263EC9D1D62D597  Time : 648.0 sec.
user=vaughan
[2010-03-09 14:30:29]
1653*2^670663-1 is not prime.  Res64: 831A70EEC9FF2556  Time : 664.0 sec.
user=vaughan
[2010-03-09 14:30:36]
1675*2^670663-1 is not prime.  Res64: AEF03B9F57B1FDEF  Time : 664.0 sec.
user=vaughan
[2010-03-09 14:32:03]
1725*2^670663-1 is not prime.  Res64: 5089E4148DEC5BBE  Time : 647.0 sec.
user=vaughan
[2010-03-09 14:38:29]
1783*2^670663-1 is not prime.  Res64: A328B29304D808A9  Time : 648.0 sec.
user=vaughan
[2010-03-09 14:41:34]
1861*2^670663-1 is not prime.  Res64: D5AA9CAA446D7749  Time : 665.0 sec.
user=vaughan
[2010-03-09 14:41:41]
1875*2^670663-1 is not prime.  Res64: F91E30A3B89FC42D  Time : 665.0 sec.
user=vaughan
[2010-03-09 14:42:50]
1403*2^670664-1 is not prime.  Res64: 1B0BBD0463EF335F  Time : 647.0 sec.
user=vaughan
[2010-03-09 14:49:16]
1509*2^670664-1 is not prime.  Res64: 0B8444CF03D7C9C3  Time : 648.0 sec.
user=vaughan
[2010-03-09 14:52:38]
1533*2^670664-1 is not prime.  Res64: 0B2E3E9D756CD608  Time : 664.0 sec.
user=vaughan
[2010-03-09 14:52:44]
1683*2^670664-1 is not prime.  Res64: 13F007834FF82FFC  Time : 664.0 sec.
user=vaughan
[2010-03-09 14:53:36]
1775*2^670664-1 is not prime.  Res64: 8B977EC1C15E3F49  Time : 646.0 sec.
user=vaughan
[2010-03-09 15:00:04]
1853*2^670664-1 is not prime.  Res64: F86FF1379AE53268  Time : 648.0 sec.
user=vaughan
[2010-03-09 15:03:41]
1919*2^670664-1 is not prime.  Res64: 18A7617B4136074C  Time : 664.0 sec.
user=vaughan
[2010-03-09 15:03:47]
1959*2^670664-1 is not prime.  Res64: CA158BFC8E3E00A4  Time : 663.0 sec.
user=vaughan
[2010-03-09 15:04:21]
1507*2^670665-1 is not prime.  Res64: 8690727BE3E5AC0D  Time : 645.0 sec.
user=vaughan
[2010-03-09 15:10:52]
1515*2^670665-1 is not prime.  Res64: 43A5AB238251ADF4  Time : 648.0 sec.
user=vaughan
[2010-03-09 15:14:45]
1521*2^670665-1 is not prime.  Res64: ABEF9A1811B87CB7  Time : 664.0 sec.
user=vaughan
[2010-03-09 15:14:51]
1591*2^670665-1 is not prime.  Res64: CADB4EFBCC65BCDB  Time : 664.0 sec.
user=vaughan
[2010-03-09 15:15:07]
1609*2^670665-1 is not prime.  Res64: 3D50489FA69EC6FD  Time : 646.0 sec.
user=vaughan
[2010-03-09 15:21:40]
1617*2^670665-1 is not prime.  Res64: A528080F483986D4  Time : 648.0 sec.
user=vaughan
[2010-03-09 15:25:49]
1797*2^670665-1 is not prime.  Res64: 3B363A3C35035145  Time : 664.0 sec.
user=vaughan
[2010-03-09 15:25:52]
1995*2^670665-1 is not prime.  Res64: B7A0210A535FB6F8  Time : 645.0 sec.
user=vaughan
[2010-03-09 15:25:54]
1917*2^670665-1 is not prime.  Res64: 5D5AB6E5CD5846FA  Time : 664.0 sec.
user=vaughan
[2010-03-09 15:32:27]
1403*2^670666-1 is not prime.  Res64: 6B465B30BED44F6D  Time : 647.0 sec.
user=vaughan
[2010-03-09 15:36:37]
1487*2^670666-1 is not prime.  Res64: F45C9D6715D2EE64  Time : 645.0 sec.
user=vaughan
[2010-03-09 15:36:53]
1427*2^670666-1 is not prime.  Res64: 6EF2C7A5E0553B63  Time : 664.0 sec.
user=vaughan
[2010-03-09 15:36:56]
1517*2^670666-1 is not prime.  Res64: D51C4D06E69D90BA  Time : 662.0 sec.
user=vaughan
[2010-03-09 15:43:15]
1595*2^670666-1 is not prime.  Res64: 074355865BBF4D83  Time : 649.0 sec.
user=vaughan
[2010-03-09 15:47:33]
1601*2^670666-1 is not prime.  Res64: D31CD0E43EFA1A45  Time : 656.0 sec.
user=vaughan
[2010-03-09 15:48:08]
1647*2^670666-1 is not prime.  Res64: D038BFBA812F7582  Time : 676.0 sec.
user=vaughan
[2010-03-09 15:48:13]
1997*2^670666-1 is not prime.  Res64: B431D8770FDA6A8C  Time : 677.0 sec.
user=vaughan
[2010-03-09 15:54:39]
1401*2^670667-1 is not prime.  Res64: 9226141CE2F3449E  Time : 685.0 sec.
user=vaughan
[2010-03-09 15:58:43]
1483*2^670667-1 is not prime.  Res64: 2CAE07A7E0FB9E66  Time : 670.0 sec.
user=vaughan
[2010-03-09 15:59:37]
1723*2^670667-1 is not prime.  Res64: 26F33BB365F0A883  Time : 689.0 sec.
user=vaughan
[2010-03-09 15:59:38]
1725*2^670667-1 is not prime.  Res64: 979C26221FE39806  Time : 685.0 sec.
user=vaughan
[2010-03-09 16:05:29]
1765*2^670667-1 is not prime.  Res64: 697CAB766ED1983D  Time : 650.0 sec.
user=vaughan
[2010-03-09 16:09:30]
1855*2^670667-1 is not prime.  Res64: ADC63B834559DC4C  Time : 647.0 sec.
user=vaughan
[2010-03-09 16:10:40]
1891*2^670667-1 is not prime.  Res64: D932E8D0DEBCC5AD  Time : 664.0 sec.
user=vaughan
[2010-03-09 16:10:42]
1921*2^670667-1 is not prime.  Res64: F8228FE2A1E1CF13  Time : 664.0 sec.
user=vaughan
[2010-03-09 16:16:17]
1929*2^670667-1 is not prime.  Res64: 8D73BBB20BE77DC5  Time : 649.0 sec.
user=vaughan
[2010-03-09 16:20:16]
1425*2^670668-1 is not prime.  Res64: 354B51542DFFE64C  Time : 647.0 sec.
user=vaughan
[2010-03-09 16:21:43]
1697*2^670668-1 is not prime.  Res64: F60B15E9EA366AE3  Time : 664.0 sec.
user=vaughan
[2010-03-09 16:21:45]
1719*2^670668-1 is not prime.  Res64: 51222C4A9F90C436  Time : 664.0 sec.
user=vaughan
[2010-03-09 16:27:04]
1749*2^670668-1 is not prime.  Res64: 2F644AFC04456856  Time : 648.0 sec.
user=vaughan
[2010-03-09 16:31:02]
1757*2^670668-1 is not prime.  Res64: 61ADF82865C2C5D3  Time : 647.0 sec.
user=vaughan
[2010-03-09 16:32:47]
1763*2^670668-1 is not prime.  Res64: 88F56407EF19A1AB  Time : 664.0 sec.
user=vaughan
[2010-03-09 16:32:48]
1809*2^670668-1 is not prime.  Res64: E8762CD0DCE15495  Time : 663.0 sec.
user=vaughan
[2010-03-09 16:37:52]
1857*2^670668-1 is not prime.  Res64: E843DEE6A053918C  Time : 648.0 sec.
user=vaughan
[2010-03-09 16:41:48]
1889*2^670668-1 is not prime.  Res64: 51CA7E7256714AE3  Time : 646.0 sec.
user=vaughan
[2010-03-09 16:43:50]
1943*2^670668-1 is not prime.  Res64: BBA7BA70D1BF1595  Time : 663.0 sec.
user=vaughan
[2010-03-09 16:43:52]
1967*2^670668-1 is not prime.  Res64: 749CFA7F59D3E0BF  Time : 664.0 sec.
user=vaughan
[2010-03-09 16:48:39]
1401*2^670669-1 is not prime.  Res64: 4BEDAE14A0E6F9A0  Time : 647.0 sec.
user=vaughan
[2010-03-09 16:52:34]
1435*2^670669-1 is not prime.  Res64: ABF0E2C13C205BC3  Time : 646.0 sec.
user=vaughan
[2010-03-09 16:54:54]
1441*2^670669-1 is not prime.  Res64: D4EB4328BD9BE18A  Time : 664.0 sec.
user=vaughan
[2010-03-09 16:54:55]
1581*2^670669-1 is not prime.  Res64: F783C4055BFA8876  Time : 664.0 sec.
user=vaughan
[2010-03-09 16:59:27]
1605*2^670669-1 is not prime.  Res64: 82F1D1B90640D625  Time : 648.0 sec.
user=vaughan
[2010-03-09 17:03:21]
1609*2^670669-1 is not prime.  Res64: FF2EEC9C1369E114  Time : 647.0 sec.
user=vaughan
[2010-03-09 17:05:58]
1629*2^670669-1 is not prime.  Res64: A6F5724037E7D722  Time : 664.0 sec.
user=vaughan
[2010-03-09 17:05:58]
1665*2^670669-1 is not prime.  Res64: BEF7AA66BE56FEA7  Time : 663.0 sec.
user=vaughan
[2010-03-09 17:10:15]
1689*2^670669-1 is not prime.  Res64: D06B9790EDCA654C  Time : 648.0 sec.
user=vaughan
[2010-03-09 17:14:07]
1699*2^670669-1 is not prime.  Res64: 82BC83B85AB9BA0F  Time : 647.0 sec.
user=vaughan
[2010-03-09 17:17:01]
1809*2^670669-1 is not prime.  Res64: 8AB395C862186DB3  Time : 663.0 sec.
user=vaughan
[2010-03-09 17:17:01]
1797*2^670669-1 is not prime.  Res64: 8D72EC9A2F1287F1  Time : 664.0 sec.
user=vaughan
[2010-03-09 17:21:03]
1989*2^670669-1 is not prime.  Res64: 554D350756DB2713  Time : 648.0 sec.
user=vaughan
[2010-03-09 17:24:54]
1413*2^670670-1 is not prime.  Res64: 9DB155D71F0B3750  Time : 648.0 sec.
user=vaughan
[2010-03-09 17:28:03]
1481*2^670670-1 is not prime.  Res64: B0151AB4530BFBB7  Time : 662.0 sec.
user=vaughan
[2010-03-09 17:28:05]
1487*2^670670-1 is not prime.  Res64: 8AD881BF5118D670  Time : 664.0 sec.
user=vaughan
[2010-03-09 17:31:50]
1491*2^670670-1 is not prime.  Res64: 97B0B857F72A096C  Time : 647.0 sec.
user=vaughan
[2010-03-09 17:35:41]
1527*2^670670-1 is not prime.  Res64: EC2FDC80920F4745  Time : 647.0 sec.
user=vaughan
[2010-03-09 17:39:16]
1617*2^670670-1 is not prime.  Res64: EA82010713311803  Time : 673.0 sec.
user=vaughan
[2010-03-09 17:39:20]
1665*2^670670-1 is not prime.  Res64: 4A2DFD188FBED93F  Time : 676.0 sec.
user=vaughan
[2010-03-09 17:43:04]
1683*2^670670-1 is not prime.  Res64: CEC11B6EDDFC7D69  Time : 675.0 sec.
user=vaughan
[2010-03-09 17:47:33]
1707*2^670670-1 is not prime.  Res64: 3D458FA2857F7AE7  Time : 712.0 sec.
user=vaughan
[2010-03-09 17:52:42]
1751*2^670670-1 is not prime.  Res64: 4AA4564513CF3272  Time : 806.0 sec.
user=vaughan
[2010-03-09 17:52:48]
1811*2^670670-1 is not prime.  Res64: 1C6E88CFE77E5AEF  Time : 808.0 sec.
user=vaughan
[2010-03-09 17:55:12]
1865*2^670670-1 is not prime.  Res64: 5012147EDBF25D52  Time : 728.0 sec.
user=vaughan
[2010-03-09 17:59:40]
1877*2^670670-1 is not prime.  Res64: 461C47832B315472  Time : 727.0 sec.
user=vaughan
[2010-03-09 18:05:59]
1881*2^670670-1 is not prime.  Res64: D8E005E08F463D7C  Time : 797.0 sec.
user=vaughan
[2010-03-09 18:06:05]
1965*2^670670-1 is not prime.  Res64: 18E1B2E428DA9D18  Time : 798.0 sec.
user=vaughan
[2010-03-09 18:07:08]
1561*2^670671-1 is not prime.  Res64: AE73107C0428A340  Time : 716.0 sec.
user=vaughan
[2010-03-09 18:11:35]
1603*2^670671-1 is not prime.  Res64: 6E7D0B248B35482C  Time : 716.0 sec.
user=vaughan
[2010-03-09 18:18:50]
1869*2^670671-1 is not prime.  Res64: 3B5570AC42FE40D5  Time : 703.0 sec.
user=vaughan
[2010-03-09 18:19:05]
1605*2^670671-1 is not prime.  Res64: 3FACFA9A4F6A7A30  Time : 786.0 sec.
user=vaughan
[2010-03-09 18:19:05]
1813*2^670671-1 is not prime.  Res64: 9007D83A22C707BA  Time : 780.0 sec.
user=vaughan
[2010-03-09 18:23:27]
1873*2^670671-1 is not prime.  Res64: D19EF81E35626A66  Time : 712.0 sec.
user=vaughan
[2010-03-09 18:30:32]
1935*2^670671-1 is not prime.  Res64: 5A99637C75B7C5D6  Time : 702.0 sec.
user=vaughan
[2010-03-09 18:32:11]
1951*2^670671-1 is not prime.  Res64: 6F88D85AD543EFE6  Time : 786.0 sec.
user=vaughan
[2010-03-09 18:32:12]
1939*2^670671-1 is not prime.  Res64: 46B88DA666EFFD9C  Time : 788.0 sec.
user=vaughan
[2010-03-09 18:35:26]
1407*2^670672-1 is not prime.  Res64: 5DCCF8DCD499FC17  Time : 719.0 sec.
user=vaughan
[2010-03-09 18:42:13]
1419*2^670672-1 is not prime.  Res64: 965822B38A64D00A  Time : 701.0 sec.
user=vaughan
[2010-03-09 18:45:07]
1535*2^670672-1 is not prime.  Res64: C442E5A6816001B9  Time : 777.0 sec.
user=vaughan
[2010-03-09 18:45:09]
1575*2^670672-1 is not prime.  Res64: 23D253BF0B40C7EC  Time : 778.0 sec.
user=vaughan
[2010-03-09 18:47:09]
1617*2^670672-1 is not prime.  Res64: 47779788D43166C4  Time : 703.0 sec.
user=vaughan
[2010-03-09 18:53:50]
1623*2^670672-1 is not prime.  Res64: 57E9E6ECC3E5B31C  Time : 697.0 sec.
user=vaughan
[2010-03-09 18:58:05]
1665*2^670672-1 is not prime.  Res64: A6511FC086348A3B  Time : 778.0 sec.
user=vaughan
[2010-03-09 18:58:06]
1743*2^670672-1 is not prime.  Res64: F8033A319A93C661  Time : 777.0 sec.
user=vaughan
[2010-03-09 18:58:52]
1799*2^670672-1 is not prime.  Res64: E83502D893287228  Time : 703.0 sec.
user=vaughan
[2010-03-09 19:05:22]
1865*2^670672-1 is not prime.  Res64: E7B1406254F5FE79  Time : 692.0 sec.
user=vaughan
[2010-03-09 19:10:34]
1405*2^670673-1 is not prime.  Res64: 9D3D5F122B17A895  Time : 703.0 sec.
user=vaughan
[2010-03-09 19:11:01]
1893*2^670672-1 is not prime.  Res64: 2772CDDE222E89D3  Time : 776.0 sec.
user=vaughan
[2010-03-09 19:11:01]
1925*2^670672-1 is not prime.  Res64: 7110E1F1F26D10CF  Time : 775.0 sec.
user=vaughan
[2010-03-09 19:17:04]
1557*2^670673-1 is not prime.  Res64: 60AE7885408B89D4  Time : 702.0 sec.
user=vaughan
[2010-03-09 19:22:26]
1579*2^670673-1 is not prime.  Res64: 14DAA26C92ABC5D4  Time : 712.0 sec.
user=vaughan
[2010-03-09 19:24:05]
1627*2^670673-1 is not prime.  Res64: 15292253DA1AFFB2  Time : 784.0 sec.
user=vaughan
[2010-03-09 19:24:06]
1581*2^670673-1 is not prime.  Res64: 90D55D1D0B36DDC0  Time : 786.0 sec.
user=vaughan
[2010-03-09 19:28:53]
1687*2^670673-1 is not prime.  Res64: D646AFA91ED64401  Time : 709.0 sec.
user=vaughan
[2010-03-09 19:34:29]
1695*2^670673-1 is not prime.  Res64: 10B041301F5D0D75  Time : 724.0 sec.
user=vaughan
[2010-03-09 19:37:15]
1711*2^670673-1 is not prime.  Res64: F0D769A6644F63E5  Time : 791.0 sec.
user=vaughan
[2010-03-09 19:37:16]
1881*2^670673-1 is not prime.  Res64: 278AB0BC66ACCEED  Time : 790.0 sec.
user=vaughan
[2010-03-09 19:40:43]
1905*2^670673-1 is not prime.  Res64: 661E7BBAE411BA67  Time : 711.0 sec.
user=vaughan
[2010-03-09 19:46:29]
1915*2^670673-1 is not prime.  Res64: 1C3B27EAB9EE02EB  Time : 720.0 sec.
user=vaughan
[2010-03-09 19:50:23]
1939*2^670673-1 is not prime.  Res64: C1F544656200A737  Time : 789.0 sec.
user=vaughan
[2010-03-09 19:50:23]
1945*2^670673-1 is not prime.  Res64: 6BC58C80A1E8E145  Time : 788.0 sec.
user=vaughan
[2010-03-09 19:52:24]
1999*2^670673-1 is not prime.  Res64: 730878BF69A9FC55  Time : 701.0 sec.
user=vaughan
[2010-03-09 19:58:10]
1473*2^670674-1 is not prime.  Res64: A0F2444C70A12A50  Time : 702.0 sec.
user=vaughan
[2010-03-09 20:03:36]
1563*2^670674-1 is not prime.  Res64: DD4F941C6E6467F0  Time : 793.0 sec.
user=vaughan
[2010-03-09 20:03:38]
1487*2^670674-1 is not prime.  Res64: 3F7A93F76ACF587E  Time : 795.0 sec.
user=vaughan
[2010-03-09 20:04:25]
1643*2^670674-1 is not prime.  Res64: 751058F594EAA024  Time : 721.0 sec.
user=vaughan
[2010-03-09 20:10:29]
1683*2^670674-1 is not prime.  Res64: D29FF1D0261D1850  Time : 739.0 sec.
user=vaughan
[2010-03-09 20:16:40]
1935*2^670674-1 is not prime.  Res64: 3C4ECBCEB38C24E7  Time : 736.0 sec.
user=vaughan
[2010-03-09 20:17:09]
1895*2^670674-1 is not prime.  Res64: E8803F312240C376  Time : 811.0 sec.
user=vaughan
[2010-03-09 20:17:12]
1733*2^670674-1 is not prime.  Res64: 2993C96668CC6418  Time : 816.0 sec.
user=vaughan
[2010-03-09 20:22:31]
1937*2^670674-1 is not prime.  Res64: DA80EEA4B87EBA2F  Time : 722.0 sec.
user=vaughan
[2010-03-09 20:28:32]
1503*2^670675-1 is not prime.  Res64: 704F8B1113D44686  Time : 712.0 sec.
user=vaughan
[2010-03-09 20:30:22]
1629*2^670675-1 is not prime.  Res64: 82DBC0D4724F9AD9  Time : 793.0 sec.
user=vaughan
[2010-03-09 20:30:30]
1729*2^670675-1 is not prime.  Res64: 66B36ACC25297DAC  Time : 799.0 sec.
user=vaughan
[2010-03-09 20:34:36]
1741*2^670675-1 is not prime.  Res64: 18593F2F744D8785  Time : 725.0 sec.
user=vaughan
[2010-03-09 20:40:29]
1773*2^670675-1 is not prime.  Res64: B26544A6EE8759AA  Time : 717.0 sec.
user=vaughan
[2010-03-09 20:43:49]
1819*2^670675-1 is not prime.  Res64: F0DFBC1B0216D953  Time : 807.0 sec.
user=vaughan
[2010-03-09 20:43:51]
1843*2^670675-1 is not prime.  Res64: F1ADC3673D26F707  Time : 802.0 sec.
user=vaughan
[2010-03-09 20:46:28]
1905*2^670675-1 is not prime.  Res64: DDEAD6F3480DA56F  Time : 712.0 sec.
user=vaughan
[2010-03-09 20:52:24]
1983*2^670675-1 is not prime.  Res64: BD6EA3B4A988BE70  Time : 715.0 sec.
user=vaughan
[2010-03-09 20:57:00]
1443*2^670676-1 is not prime.  Res64: 75449D9EF9EE7EE4  Time : 792.0 sec.
user=vaughan
[2010-03-09 20:57:00]
1463*2^670676-1 is not prime.  Res64: 4168AA3F282CA6B3  Time : 789.0 sec.
user=vaughan
[2010-03-09 20:58:12]
1559*2^670676-1 is not prime.  Res64: 2C18588A43FF35D3  Time : 704.0 sec.
user=vaughan
[2010-03-09 21:04:02]
1623*2^670676-1 is not prime.  Res64: E464765DCCD8EA83  Time : 698.0 sec.
user=vaughan
[2010-03-09 21:09:51]
1709*2^670676-1 is not prime.  Res64: 63DA65178A3679F4  Time : 699.0 sec.
user=vaughan
[2010-03-09 21:09:53]
1679*2^670676-1 is not prime.  Res64: 38958FB2A6672E73  Time : 773.0 sec.
user=vaughan
[2010-03-09 21:09:55]
1649*2^670676-1 is not prime.  Res64: 82EE9C4795658EA5  Time : 775.0 sec.
user=vaughan
[2010-03-09 21:15:41]
1799*2^670676-1 is not prime.  Res64: 05CDEE45BC89B4E5  Time : 699.0 sec.
user=vaughan
[2010-03-09 21:21:38]
1817*2^670676-1 is not prime.  Res64: 850D538E86BDB403  Time : 707.0 sec.
user=vaughan
[2010-03-09 21:23:01]
1947*2^670676-1 is not prime.  Res64: AB77EAF87947165E  Time : 787.0 sec.
user=vaughan
[2010-03-09 21:23:02]
1905*2^670676-1 is not prime.  Res64: 7CA11B04FE240772  Time : 789.0 sec.
user=vaughan
[2010-03-09 21:27:33]
1965*2^670676-1 is not prime.  Res64: 132A20E6D61AD55B  Time : 712.0 sec.
user=vaughan
[2010-03-09 21:33:34]
1459*2^670677-1 is not prime.  Res64: 947C5137679172E1  Time : 716.0 sec.
user=vaughan
[2010-03-09 21:36:28]
1539*2^670677-1 is not prime.  Res64: 72E5D26E5B23C084  Time : 807.0 sec.
user=vaughan
[2010-03-09 21:36:29]
1501*2^670677-1 is not prime.  Res64: C7037F1FF2D63280  Time : 810.0 sec.
user=vaughan
[2010-03-09 21:39:29]
1545*2^670677-1 is not prime.  Res64: 94863041C5723446  Time : 716.0 sec.
user=vaughan
[2010-03-09 21:45:30]
1587*2^670677-1 is not prime.  Res64: D850F33AD9FB969C  Time : 716.0 sec.
user=vaughan
[2010-03-09 21:49:36]
1767*2^670677-1 is not prime.  Res64: DDA69783FB7266AD  Time : 788.0 sec.
user=vaughan
[2010-03-09 21:49:36]
1671*2^670677-1 is not prime.  Res64: 114BAD803B57EE29  Time : 788.0 sec.
user=vaughan
[2010-03-09 21:51:08]
1831*2^670677-1 is not prime.  Res64: B4CA0B9B447519CA  Time : 700.0 sec.
user=vaughan
[2010-03-09 21:57:29]
1939*2^670677-1 is not prime.  Res64: EFD91215559EED04  Time : 719.0 sec.
user=vaughan
[2010-03-09 22:03:15]
1957*2^670677-1 is not prime.  Res64: CA3926668DAD6111  Time : 819.0 sec.
user=vaughan
[2010-03-09 22:03:17]
1951*2^670677-1 is not prime.  Res64: 7E799287A9EC4964  Time : 821.0 sec.
user=vaughan
[2010-03-09 22:03:30]
1403*2^670678-1 is not prime.  Res64: 8BE3C1D677CE9ED5  Time : 742.0 sec.
user=vaughan
[2010-03-09 22:09:38]
1515*2^670678-1 is not prime.  Res64: 550EEEF4C215D197  Time : 729.0 sec.
user=vaughan
[2010-03-09 22:15:20]
1673*2^670678-1 is not prime.  Res64: 3A8B45E859506B5E  Time : 711.0 sec.
user=vaughan
[2010-03-09 22:16:25]
1541*2^670678-1 is not prime.  Res64: 2D5E39528F4D910C  Time : 791.0 sec.
user=vaughan
[2010-03-09 22:16:32]
1563*2^670678-1 is not prime.  Res64: 236AB1DB411B486F  Time : 795.0 sec.
user=vaughan
[2010-03-09 22:21:38]
1791*2^670678-1 is not prime.  Res64: 2E44932EF27157A1  Time : 720.0 sec.
user=vaughan
[2010-03-09 22:27:08]
1835*2^670678-1 is not prime.  Res64: D5616EF8A09B6D22  Time : 708.0 sec.
user=vaughan
[2010-03-09 22:29:33]
1883*2^670678-1 is not prime.  Res64: 5CED477B099B9D9B  Time : 788.0 sec.
user=vaughan
[2010-03-09 22:29:43]
1905*2^670678-1 is not prime.  Res64: D4ECAFDDED66A63C  Time : 791.0 sec.
user=vaughan
[2010-03-09 22:33:25]
1935*2^670678-1 is not prime.  Res64: 8741E9BDD6351EF9  Time : 708.0 sec.
user=vaughan
[2010-03-09 22:38:40]
1431*2^670679-1 is not prime.  Res64: 5F4F0A8B9F8880CB  Time : 692.0 sec.
user=vaughan
[2010-03-09 22:42:29]
1473*2^670679-1 is not prime.  Res64: 3356A24AA08B4D3C  Time : 776.0 sec.
user=vaughan
[2010-03-09 22:42:41]
1485*2^670679-1 is not prime.  Res64: 441A8E4AFC53C650  Time : 779.0 sec.
user=vaughan
[2010-03-09 22:45:14]
1585*2^670679-1 is not prime.  Res64: B01F1633DCD82F98  Time : 709.0 sec.
user=vaughan
[2010-03-09 22:50:19]
1629*2^670679-1 is not prime.  Res64: CBB0469B93A92FA2  Time : 699.0 sec.
user=vaughan
[2010-03-09 22:55:31]
1635*2^670679-1 is not prime.  Res64: 158611524666E8ED  Time : 783.0 sec.
user=vaughan
[2010-03-09 22:55:40]
1671*2^670679-1 is not prime.  Res64: 4D1D9D12E868B15D  Time : 780.0 sec.
user=vaughan
[2010-03-09 22:56:59]
1701*2^670679-1 is not prime.  Res64: 885D43CA8432393D  Time : 705.0 sec.