user=vaughan
[2010-03-07 00:04:40]
1443*2^670543-1 is not prime.  Res64: DD8D78AD9D78011B  Time : 646.0 sec.
user=vaughan
[2010-03-07 00:06:09]
1485*2^670543-1 is not prime.  Res64: 2DE9D468866F2B19  Time : 648.0 sec.
user=vaughan
[2010-03-07 00:08:40]
1489*2^670543-1 is not prime.  Res64: 8AAF63AFCCFFADD5  Time : 662.0 sec.
user=vaughan
[2010-03-07 00:08:46]
1543*2^670543-1 is not prime.  Res64: 0C2DE1C8C5567AB4  Time : 663.0 sec.
user=vaughan
[2010-03-07 00:15:28]
1545*2^670543-1 is not prime.  Res64: DF211754B4BE8145  Time : 648.0 sec.
user=vaughan
[2010-03-07 00:16:57]
1563*2^670543-1 is not prime.  Res64: 879794AB443CCCEF  Time : 648.0 sec.
user=vaughan
[2010-03-07 00:19:44]
1581*2^670543-1 is not prime.  Res64: 131DF5376CCCA97A  Time : 664.0 sec.
user=vaughan
[2010-03-07 00:19:50]
1603*2^670543-1 is not prime.  Res64: D19D177A12BCC51F  Time : 664.0 sec.
user=vaughan
[2010-03-07 00:26:14]
1633*2^670543-1 is not prime.  Res64: CBFA22C9A7105737  Time : 648.0 sec.
user=vaughan
[2010-03-07 00:27:44]
1671*2^670543-1 is not prime.  Res64: FEB14A1AA6B52B1B  Time : 648.0 sec.
user=vaughan
[2010-03-07 00:30:48]
1819*2^670543-1 is not prime.  Res64: 731F6E823B0B7E80  Time : 664.0 sec.
user=vaughan
[2010-03-07 00:30:52]
1449*2^670544-1 is not prime.  Res64: 788C1A2C72897F10  Time : 663.0 sec.
user=vaughan
[2010-03-07 00:37:01]
1553*2^670544-1 is not prime.  Res64: 07932BE2C608EA76  Time : 647.0 sec.
user=vaughan
[2010-03-07 00:38:33]
1607*2^670544-1 is not prime.  Res64: 92A12213021ED78A  Time : 649.0 sec.
user=vaughan
[2010-03-07 00:41:52]
1709*2^670544-1 is not prime.  Res64: 9E2D040C050B5DAA  Time : 664.0 sec.
user=vaughan
[2010-03-07 00:41:55]
1715*2^670544-1 is not prime.  Res64: 89206C347D995327  Time : 663.0 sec.
user=vaughan
[2010-03-07 00:47:47]
1737*2^670544-1 is not prime.  Res64: 7AD4BD5D258AAEFF  Time : 647.0 sec.
user=vaughan
[2010-03-07 00:49:20]
1743*2^670544-1 is not prime.  Res64: CBD2ABC1424046B2  Time : 647.0 sec.
user=vaughan
[2010-03-07 00:52:54]
1775*2^670544-1 is not prime.  Res64: 0A70928583BA0F32  Time : 663.0 sec.
user=vaughan
[2010-03-07 00:52:58]
1785*2^670544-1 is not prime.  Res64: B37DA68FE613D3FE  Time : 663.0 sec.
user=vaughan
[2010-03-07 00:58:33]
1793*2^670544-1 is not prime.  Res64: C3B170BA0530AB62  Time : 646.0 sec.
user=vaughan
[2010-03-07 01:00:07]
1805*2^670544-1 is not prime.  Res64: BBA5EE24E693F259  Time : 647.0 sec.
user=vaughan
[2010-03-07 01:04:00]
1817*2^670544-1 is not prime.  Res64: B7C32B4D7AA39FC4  Time : 666.0 sec.
user=vaughan
[2010-03-07 01:04:08]
1847*2^670544-1 is not prime.  Res64: A8C63E0FE4C4A13D  Time : 671.0 sec.
user=vaughan
[2010-03-07 01:09:33]
1995*2^670544-1 is not prime.  Res64: C2713C0469E20C44  Time : 661.0 sec.
user=vaughan
[2010-03-07 01:11:29]
1497*2^670545-1 is not prime.  Res64: CEB3094D40358315  Time : 682.0 sec.
user=vaughan
[2010-03-07 01:15:32]
1579*2^670545-1 is not prime.  Res64: AB61290AB359E0AE  Time : 692.0 sec.
user=vaughan
[2010-03-07 01:15:42]
1585*2^670545-1 is not prime.  Res64: D627C76997D3A7B2  Time : 694.0 sec.
user=vaughan
[2010-03-07 01:20:30]
1587*2^670545-1 is not prime.  Res64: A414E3E0C7636423  Time : 657.0 sec.
user=vaughan
[2010-03-07 01:22:28]
1647*2^670545-1 is not prime.  Res64: 166446043AABB3BA  Time : 659.0 sec.
user=vaughan
[2010-03-07 01:26:34]
1705*2^670545-1 is not prime.  Res64: FE2D07EE1DCF359C  Time : 662.0 sec.
user=vaughan
[2010-03-07 01:26:45]
1771*2^670545-1 is not prime.  Res64: 6BDF3D65E2536781  Time : 664.0 sec.
user=vaughan
[2010-03-07 01:31:17]
1857*2^670545-1 is not prime.  Res64: 1FEAE09327F05914  Time : 647.0 sec.
user=vaughan
[2010-03-07 01:33:16]
1875*2^670545-1 is not prime.  Res64: 99E8CAD414F20A53  Time : 649.0 sec.
user=vaughan
[2010-03-07 01:37:37]
1927*2^670545-1 is not prime.  Res64: 5BB38879416D226A  Time : 663.0 sec.
user=vaughan
[2010-03-07 01:37:48]
1951*2^670545-1 is not prime.  Res64: 6F07590C974D0C7F  Time : 663.0 sec.
user=vaughan
[2010-03-07 01:42:04]
1427*2^670546-1 is not prime.  Res64: 92B0D218A33750C5  Time : 648.0 sec.
user=vaughan
[2010-03-07 01:44:06]
1451*2^670546-1 is not prime.  Res64: 343258DA7903571A  Time : 651.0 sec.
user=vaughan
[2010-03-07 01:48:51]
1461*2^670546-1 is not prime.  Res64: DFA0EE18C8DDCB3B  Time : 674.0 sec.
user=vaughan
[2010-03-07 01:49:02]
1647*2^670546-1 is not prime.  Res64: FB2BE0DF67C66249  Time : 675.0 sec.
user=vaughan
[2010-03-07 01:53:14]
1671*2^670546-1 is not prime.  Res64: D0D68377B04D445B  Time : 670.0 sec.
user=vaughan
[2010-03-07 01:55:17]
1673*2^670546-1 is not prime.  Res64: DBF91C92C68D71F9  Time : 671.0 sec.
user=vaughan
[2010-03-07 02:00:25]
1913*2^670546-1 is not prime.  Res64: 874AB3E3718F91FA  Time : 694.0 sec.
user=vaughan
[2010-03-07 02:00:39]
1923*2^670546-1 is not prime.  Res64: 900AE6794F8CE218  Time : 697.0 sec.
user=vaughan
[2010-03-07 02:04:28]
1925*2^670546-1 is not prime.  Res64: AC52DB9AF4F804AC  Time : 674.0 sec.
user=vaughan
[2010-03-07 02:06:39]
1995*2^670546-1 is not prime.  Res64: 31329F160E884912  Time : 682.0 sec.
user=vaughan
[2010-03-07 02:12:03]
1429*2^670547-1 is not prime.  Res64: 4ABE84A044730966  Time : 698.0 sec.
user=vaughan
[2010-03-07 02:12:17]
1473*2^670547-1 is not prime.  Res64: 171436ACFE377868  Time : 699.0 sec.
user=vaughan
[2010-03-07 02:15:40]
1483*2^670547-1 is not prime.  Res64: B618BC724B231464  Time : 672.0 sec.
user=vaughan
[2010-03-07 02:17:58]
1495*2^670547-1 is not prime.  Res64: FD3F147518837754  Time : 679.0 sec.
user=vaughan
[2010-03-07 02:23:43]
1501*2^670547-1 is not prime.  Res64: 1F13B3EDB9256239  Time : 700.0 sec.
user=vaughan
[2010-03-07 02:24:02]
1533*2^670547-1 is not prime.  Res64: DD8437855CE2BB59  Time : 705.0 sec.
user=vaughan
[2010-03-07 02:27:05]
1539*2^670547-1 is not prime.  Res64: 2994D3B7EFCFF580  Time : 685.0 sec.
user=vaughan
[2010-03-07 02:29:13]
1609*2^670547-1 is not prime.  Res64: 4812074C2F99B048  Time : 675.0 sec.
user=vaughan
[2010-03-07 02:35:19]
1791*2^670547-1 is not prime.  Res64: 7125ABB9A3606E13  Time : 696.0 sec.
user=vaughan
[2010-03-07 02:35:37]
1935*2^670547-1 is not prime.  Res64: 6ECEF8E7B23A2101  Time : 696.0 sec.
user=vaughan
[2010-03-07 02:38:15]
1951*2^670547-1 is not prime.  Res64: BA053217A8E52567  Time : 671.0 sec.
user=vaughan
[2010-03-07 02:40:29]
1975*2^670547-1 is not prime.  Res64: 57A7BBFD3FD794CD  Time : 676.0 sec.
user=vaughan
[2010-03-07 02:47:08]
1989*2^670547-1 is not prime.  Res64: 1E276FF3095CCE2F  Time : 710.0 sec.
user=vaughan
[2010-03-07 02:47:24]
1995*2^670547-1 is not prime.  Res64: 1386C426CD06B737  Time : 708.0 sec.
user=vaughan
[2010-03-07 02:49:25]
1403*2^670548-1 is not prime.  Res64: 3C51738969E7CCEE  Time : 670.0 sec.
user=vaughan
[2010-03-07 02:51:46]
1455*2^670548-1 is not prime.  Res64: 106D1EAD178012C8  Time : 678.0 sec.
user=vaughan
[2010-03-07 02:58:40]
1469*2^670548-1 is not prime.  Res64: 1083F658B863FE14  Time : 693.0 sec.
user=vaughan
[2010-03-07 02:58:56]
1503*2^670548-1 is not prime.  Res64: B35B5F20B9F63CA9  Time : 693.0 sec.
user=vaughan
[2010-03-07 03:01:00]
1553*2^670548-1 is not prime.  Res64: 336BBA2384E9463B  Time : 695.0 sec.
user=vaughan
[2010-03-07 03:03:10]
1559*2^670548-1 is not prime.  Res64: A1733EB0E68324BA  Time : 684.0 sec.
user=vaughan
[2010-03-07 03:11:00]
1605*2^670548-1 is not prime.  Res64: 530D3352387A53FB  Time : 740.0 sec.
user=vaughan
[2010-03-07 03:11:17]
1683*2^670548-1 is not prime.  Res64: EB431E54FADAE9CE  Time : 741.0 sec.
user=vaughan
[2010-03-07 03:12:31]
1685*2^670548-1 is not prime.  Res64: EBE3E160899F43D8  Time : 691.0 sec.
user=vaughan
[2010-03-07 03:15:09]
1757*2^670548-1 is not prime.  Res64: 4333DC4C1FB92694  Time : 719.0 sec.
user=vaughan
[2010-03-07 03:22:39]
1763*2^670548-1 is not prime.  Res64: 2AAD727DA99F34B5  Time : 699.0 sec.
user=vaughan
[2010-03-07 03:22:54]
1785*2^670548-1 is not prime.  Res64: 4024B820325C97E1  Time : 697.0 sec.
user=vaughan
[2010-03-07 03:23:43]
1817*2^670548-1 is not prime.  Res64: C886312BE230B63E  Time : 673.0 sec.
user=vaughan
[2010-03-07 03:26:21]
1857*2^670548-1 is not prime.  Res64: 08632DAF929FEF2D  Time : 672.0 sec.
user=vaughan
[2010-03-07 03:34:22]
1917*2^670548-1 is not prime.  Res64: FD71E7AD2740562D  Time : 704.0 sec.
user=vaughan
[2010-03-07 03:34:39]
1935*2^670548-1 is not prime.  Res64: B69571351B210033  Time : 705.0 sec.
user=vaughan
[2010-03-07 03:34:54]
1953*2^670548-1 is not prime.  Res64: 73AEDD66711EB59D  Time : 671.0 sec.
user=vaughan
[2010-03-07 03:37:32]
1405*2^670549-1 is not prime.  Res64: 4874B048F631235F  Time : 671.0 sec.
user=vaughan
[2010-03-07 03:46:02]
1507*2^670549-1 is not prime.  Res64: 75CA2DBA1B38E316  Time : 668.0 sec.
user=vaughan
[2010-03-07 03:46:03]
1461*2^670549-1 is not prime.  Res64: 36D16F52D76D4A2F  Time : 701.0 sec.
user=vaughan
[2010-03-07 03:46:20]
1497*2^670549-1 is not prime.  Res64: A250F25BDCF179E4  Time : 701.0 sec.
user=vaughan
[2010-03-07 03:48:47]
1581*2^670549-1 is not prime.  Res64: D4C06CC1BB1EC046  Time : 675.0 sec.
user=vaughan
[2010-03-07 03:57:46]
1681*2^670549-1 is not prime.  Res64: 1FE03BF501C5C6D1  Time : 704.0 sec.
user=vaughan
[2010-03-07 03:58:49]
1735*2^670549-1 is not prime.  Res64: 4AE4A8ECC8502006  Time : 766.0 sec.
user=vaughan
[2010-03-07 03:59:04]
1765*2^670549-1 is not prime.  Res64: E5A388DF3515B02F  Time : 764.0 sec.
user=vaughan
[2010-03-07 04:00:35]
1921*2^670549-1 is not prime.  Res64: BFC372650F0B8DAA  Time : 708.0 sec.
user=vaughan
[2010-03-07 04:09:32]
1491*2^670550-1 is not prime.  Res64: 0C06022F4E8245E4  Time : 706.0 sec.
user=vaughan
[2010-03-07 04:11:44]
1547*2^670550-1 is not prime.  Res64: 4876F2BF563CB6EC  Time : 776.0 sec.
user=vaughan
[2010-03-07 04:12:02]
1671*2^670550-1 is not prime.  Res64: 5D4B0647D391DFA9  Time : 778.0 sec.
user=vaughan
[2010-03-07 04:12:19]
1733*2^670550-1 is not prime.  Res64: 29075131B5A78043  Time : 704.0 sec.
user=vaughan
[2010-03-07 04:21:22]
1743*2^670550-1 is not prime.  Res64: 0E0D67D4FBD6DBE8  Time : 710.0 sec.
user=vaughan
[2010-03-07 04:24:09]
1811*2^670550-1 is not prime.  Res64: 695DBBBAD26D4A39  Time : 710.0 sec.
user=vaughan
[2010-03-07 04:24:45]
1767*2^670550-1 is not prime.  Res64: 819776FA297100D0  Time : 782.0 sec.
user=vaughan
[2010-03-07 04:24:59]
1793*2^670550-1 is not prime.  Res64: D3B7864B62B9BD87  Time : 777.0 sec.
user=vaughan
[2010-03-07 04:33:10]
1865*2^670550-1 is not prime.  Res64: 1BBD43513BBA839D  Time : 708.0 sec.
user=vaughan
[2010-03-07 04:35:53]
1917*2^670550-1 is not prime.  Res64: 6D13094569F39EB2  Time : 704.0 sec.
user=vaughan
[2010-03-07 04:37:46]
1431*2^670551-1 is not prime.  Res64: A4AAF552FDDF40C7  Time : 782.0 sec.
user=vaughan
[2010-03-07 04:38:01]
1495*2^670551-1 is not prime.  Res64: B49E5676D90FD02C  Time : 782.0 sec.
user=vaughan
[2010-03-07 04:45:06]
1521*2^670551-1 is not prime.  Res64: 9F77832B060191E1  Time : 717.0 sec.
user=vaughan
[2010-03-07 04:47:44]
1543*2^670551-1 is not prime.  Res64: BBD296CA2E0B594E  Time : 711.0 sec.
user=vaughan
[2010-03-07 04:50:59]
1621*2^670551-1 is not prime.  Res64: BA1669976D5B55AE  Time : 793.0 sec.
user=vaughan
[2010-03-07 04:51:13]
1713*2^670551-1 is not prime.  Res64: 02C8C44D78FEFA4D  Time : 792.0 sec.
user=vaughan
[2010-03-07 04:57:13]
1939*2^670551-1 is not prime.  Res64: B19A13EC137F7056  Time : 727.0 sec.
user=vaughan
[2010-03-07 05:00:04]
1941*2^670551-1 is not prime.  Res64: 362EA4256D6D635C  Time : 740.0 sec.
user=vaughan
[2010-03-07 05:04:46]
1479*2^670552-1 is not prime.  Res64: 6DDBE1ED2FA1F653  Time : 828.0 sec.
user=vaughan
[2010-03-07 05:04:53]
1485*2^670552-1 is not prime.  Res64: 623A05B270F95B10  Time : 820.0 sec.
user=vaughan
[2010-03-07 05:09:26]
1487*2^670552-1 is not prime.  Res64: 6C2064FA2C846B50  Time : 733.0 sec.
user=vaughan
[2010-03-07 05:12:04]
1575*2^670552-1 is not prime.  Res64: 8E22501141E27A8C  Time : 720.0 sec.
user=vaughan
[2010-03-07 05:17:56]
1637*2^670552-1 is not prime.  Res64: 248CAF81AFE072DB  Time : 790.0 sec.
user=vaughan
[2010-03-07 05:18:05]
1787*2^670552-1 is not prime.  Res64: 7702519DC301B467  Time : 792.0 sec.
user=vaughan
[2010-03-07 05:21:23]
1799*2^670552-1 is not prime.  Res64: 44BDE5B75436FF26  Time : 717.0 sec.
user=vaughan
[2010-03-07 05:23:52]
1823*2^670552-1 is not prime.  Res64: 0578210668EEF97A  Time : 708.0 sec.
user=vaughan
[2010-03-07 05:31:08]
1965*2^670552-1 is not prime.  Res64: 21697712A49D2D69  Time : 792.0 sec.
user=vaughan
[2010-03-07 05:31:12]
1419*2^670553-1 is not prime.  Res64: F817CDF07C3B43D2  Time : 787.0 sec.
user=vaughan
[2010-03-07 05:33:14]
1501*2^670553-1 is not prime.  Res64: C316C04D66C6A90E  Time : 712.0 sec.
user=vaughan
[2010-03-07 05:35:36]
1587*2^670553-1 is not prime.  Res64: BF6CB0322DEE6D0C  Time : 705.0 sec.
user=vaughan
[2010-03-07 05:44:04]
1599*2^670553-1 is not prime.  Res64: 99AF65498ADAF9D2  Time : 777.0 sec.
user=vaughan
[2010-03-07 05:44:08]
1609*2^670553-1 is not prime.  Res64: C98642F085247312  Time : 776.0 sec.
user=vaughan
[2010-03-07 05:45:00]
1627*2^670553-1 is not prime.  Res64: 12B94269532F44C8  Time : 706.0 sec.
user=vaughan
[2010-03-07 05:47:23]
1639*2^670553-1 is not prime.  Res64: F840F2E8E2B561C6  Time : 708.0 sec.
user=vaughan
[2010-03-07 05:56:44]
1861*2^670553-1 is not prime.  Res64: 388C1EA2BCED422A  Time : 704.0 sec.
user=vaughan
[2010-03-07 05:57:03]
1711*2^670553-1 is not prime.  Res64: 5C127B52914CE354  Time : 779.0 sec.
user=vaughan
[2010-03-07 05:57:09]
1725*2^670553-1 is not prime.  Res64: 5291183E5597120A  Time : 781.0 sec.
user=vaughan
[2010-03-07 05:59:07]
1875*2^670553-1 is not prime.  Res64: 7893158152613E9F  Time : 705.0 sec.
user=vaughan
[2010-03-07 06:08:39]
1473*2^670554-1 is not prime.  Res64: B0A81CD1DB6EFE04  Time : 715.0 sec.
user=vaughan
[2010-03-07 06:10:10]
1487*2^670554-1 is not prime.  Res64: E89F39665239F1B0  Time : 787.0 sec.
user=vaughan
[2010-03-07 06:10:17]
1497*2^670554-1 is not prime.  Res64: 52D551E7F69026A1  Time : 789.0 sec.
user=vaughan
[2010-03-07 06:10:50]
1523*2^670554-1 is not prime.  Res64: B8AE3845AF991CAB  Time : 703.0 sec.
user=vaughan
[2010-03-07 06:20:27]
1545*2^670554-1 is not prime.  Res64: 325CDE721560FA28  Time : 708.0 sec.
user=vaughan
[2010-03-07 06:22:29]
1731*2^670554-1 is not prime.  Res64: 48F55B161D29567F  Time : 699.0 sec.
user=vaughan
[2010-03-07 06:23:06]
1565*2^670554-1 is not prime.  Res64: 99049FA63A13FD32  Time : 777.0 sec.
user=vaughan
[2010-03-07 06:23:13]
1721*2^670554-1 is not prime.  Res64: 4F04E3D91128A484  Time : 777.0 sec.
user=vaughan
[2010-03-07 06:32:11]
1797*2^670554-1 is not prime.  Res64: 6D16BD4EC1BFEBD7  Time : 704.0 sec.
user=vaughan
[2010-03-07 06:34:04]
1841*2^670554-1 is not prime.  Res64: E27C9F991A37B6FA  Time : 695.0 sec.
user=vaughan
[2010-03-07 06:36:04]
1847*2^670554-1 is not prime.  Res64: 0FCCEFF4B5635F40  Time : 779.0 sec.
user=vaughan
[2010-03-07 06:36:07]
1875*2^670554-1 is not prime.  Res64: BEB6EEE27550EDF6  Time : 774.0 sec.
user=vaughan
[2010-03-07 06:43:52]
1935*2^670554-1 is not prime.  Res64: 9AE2876C941EF8FF  Time : 702.0 sec.
user=vaughan
[2010-03-07 06:45:39]
1995*2^670554-1 is not prime.  Res64: AB30C4C5D1ADC542  Time : 696.0 sec.
user=vaughan
[2010-03-07 06:49:03]
1419*2^670555-1 is not prime.  Res64: 1E7B34BD34FEFACD  Time : 779.0 sec.
user=vaughan
[2010-03-07 06:49:04]
1441*2^670555-1 is not prime.  Res64: 731B4ADD76E8D32D  Time : 777.0 sec.
user=vaughan
[2010-03-07 06:56:03]
1543*2^670555-1 is not prime.  Res64: FB7B1CEBFFE0924F  Time : 732.0 sec.
user=vaughan
[2010-03-07 06:58:02]
1569*2^670555-1 is not prime.  Res64: A1C83C25EEA81F8E  Time : 743.0 sec.
user=vaughan
[2010-03-07 07:02:45]
1629*2^670555-1 is not prime.  Res64: 0A576A5AC225A2A6  Time : 822.0 sec.
user=vaughan
[2010-03-07 07:02:46]
1791*2^670555-1 is not prime.  Res64: 2ADCECC35E27FB1A  Time : 822.0 sec.
user=vaughan
[2010-03-07 07:08:04]
1843*2^670555-1 is not prime.  Res64: 22F6091CAB9278CF  Time : 722.0 sec.
user=vaughan
[2010-03-07 07:09:57]
1933*2^670555-1 is not prime.  Res64: CDD47FAEA7749680  Time : 715.0 sec.
user=vaughan
[2010-03-07 07:15:57]
1945*2^670555-1 is not prime.  Res64: A9765BE89AE06992  Time : 792.0 sec.
user=vaughan
[2010-03-07 07:15:57]
1989*2^670555-1 is not prime.  Res64: 0701A4AB5A52AEAD  Time : 791.0 sec.
user=vaughan
[2010-03-07 07:19:55]
1469*2^670556-1 is not prime.  Res64: FD468CC2DCB9C6F8  Time : 711.0 sec.
user=vaughan
[2010-03-07 07:21:45]
1599*2^670556-1 is not prime.  Res64: AD56B0DB93A1CE85  Time : 709.0 sec.
user=vaughan
[2010-03-07 07:27:58]
1617*2^670556-1 is not prime.  Res64: D87429741C85C469  Time : 721.0 sec.
user=vaughan
[2010-03-07 07:27:59]
1683*2^670556-1 is not prime.  Res64: E73729ED564F6D81  Time : 722.0 sec.
user=vaughan
[2010-03-07 07:30:53]
1685*2^670556-1 is not prime.  Res64: E3A495DFFAB0D6CD  Time : 659.0 sec.
user=vaughan
[2010-03-07 07:32:36]
1817*2^670556-1 is not prime.  Res64: 370AD8725CFE7D3C  Time : 651.0 sec.
user=vaughan
[2010-03-07 07:39:02]
1827*2^670556-1 is not prime.  Res64: 4FFA7657C8A337C5  Time : 664.0 sec.
user=vaughan
[2010-03-07 07:39:03]
1865*2^670556-1 is not prime.  Res64: B466BABDA40945F1  Time : 664.0 sec.
user=vaughan
[2010-03-07 07:41:41]
1887*2^670556-1 is not prime.  Res64: BC20BFBE47D65E7C  Time : 648.0 sec.
user=vaughan
[2010-03-07 07:43:25]
1923*2^670556-1 is not prime.  Res64: BAC5688F317D6227  Time : 650.0 sec.
user=vaughan
[2010-03-07 07:50:04]
1965*2^670556-1 is not prime.  Res64: D878C9DCF64A0DDB  Time : 662.0 sec.
user=vaughan
[2010-03-07 07:50:05]
1455*2^670557-1 is not prime.  Res64: ACEEF12F488823DE  Time : 662.0 sec.
user=vaughan
[2010-03-07 07:52:27]
1461*2^670557-1 is not prime.  Res64: 5CA7680F2BDA3C39  Time : 646.0 sec.
user=vaughan
[2010-03-07 07:54:12]
1479*2^670557-1 is not prime.  Res64: 8D89DB747A9C0237  Time : 648.0 sec.
user=vaughan
[2010-03-07 08:01:07]
1707*2^670557-1 is not prime.  Res64: 73C7D2A62E7F8481  Time : 663.0 sec.
user=vaughan
[2010-03-07 08:01:08]
1755*2^670557-1 is not prime.  Res64: 028A0E96D5EFF29F  Time : 663.0 sec.
user=vaughan
[2010-03-07 08:03:13]
1795*2^670557-1 is not prime.  Res64: F5C71149498FCD6C  Time : 646.0 sec.
user=vaughan
[2010-03-07 08:05:00]
1819*2^670557-1 is not prime.  Res64: 950F779F2E895852  Time : 648.0 sec.
user=vaughan
[2010-03-07 08:12:10]
1831*2^670557-1 is not prime.  Res64: 6601FA1CA730F088  Time : 663.0 sec.
user=vaughan
[2010-03-07 08:12:10]
1839*2^670557-1 is not prime.  Res64: E4D6F018BAB1AACD  Time : 663.0 sec.
user=vaughan
[2010-03-07 08:14:00]
1857*2^670557-1 is not prime.  Res64: 2CD4552B10D3F9BA  Time : 647.0 sec.
user=vaughan
[2010-03-07 08:15:47]
1885*2^670557-1 is not prime.  Res64: FF6991C5DDA8B74B  Time : 647.0 sec.
user=vaughan
[2010-03-07 08:23:13]
1909*2^670557-1 is not prime.  Res64: A819D1FBFD4B1F73  Time : 663.0 sec.
user=vaughan
[2010-03-07 08:23:14]
1965*2^670557-1 is not prime.  Res64: ED0EA894E0E6671C  Time : 664.0 sec.
user=vaughan
[2010-03-07 08:24:47]
1437*2^670558-1 is not prime.  Res64: FB13F131962D6AA5  Time : 648.0 sec.
user=vaughan
[2010-03-07 08:26:34]
1443*2^670558-1 is not prime.  Res64: C7DE53410077DA7C  Time : 647.0 sec.
user=vaughan
[2010-03-07 08:34:16]
1571*2^670558-1 is not prime.  Res64: 928A4E5F1B360838  Time : 664.0 sec.
user=vaughan
[2010-03-07 08:34:16]
1725*2^670558-1 is not prime.  Res64: B76DCF18660EBF3C  Time : 662.0 sec.
user=vaughan
[2010-03-07 08:35:33]
1743*2^670558-1 is not prime.  Res64: 6F61211341C24FFF  Time : 646.0 sec.
user=vaughan
[2010-03-07 08:37:21]
1791*2^670558-1 is not prime.  Res64: 13C4776F92AE3285  Time : 647.0 sec.
user=vaughan
[2010-03-07 08:45:25]
1865*2^670558-1 is not prime.  Res64: 1AFAA1D9A2FCC982  Time : 670.0 sec.
user=vaughan
[2010-03-07 08:45:26]
1483*2^670559-1 is not prime.  Res64: 82D11DD17BEF22F1  Time : 671.0 sec.
user=vaughan
[2010-03-07 08:46:30]
1489*2^670559-1 is not prime.  Res64: A00679FB5E229BBC  Time : 657.0 sec.
user=vaughan
[2010-03-07 08:48:29]
1503*2^670559-1 is not prime.  Res64: 829A5D09CB8D47F4  Time : 668.0 sec.
user=vaughan
[2010-03-07 08:56:56]
1581*2^670559-1 is not prime.  Res64: 0F3C8354DE72E311  Time : 691.0 sec.
user=vaughan
[2010-03-07 08:56:58]
1579*2^670559-1 is not prime.  Res64: DDD0118BDFCA0341  Time : 693.0 sec.
user=vaughan
[2010-03-07 08:57:34]
1639*2^670559-1 is not prime.  Res64: C60328C0A3A34891  Time : 664.0 sec.
user=vaughan
[2010-03-07 08:59:37]
1659*2^670559-1 is not prime.  Res64: F740A33380BD010C  Time : 668.0 sec.
user=vaughan
[2010-03-07 09:08:00]
1701*2^670559-1 is not prime.  Res64: 7D6FCBB4E87061C4  Time : 665.0 sec.
user=vaughan
[2010-03-07 09:08:00]
1813*2^670559-1 is not prime.  Res64: 2BB7B2801650ED73  Time : 663.0 sec.
user=vaughan
[2010-03-07 09:08:20]
1875*2^670559-1 is not prime.  Res64: 92387C3AB8B418EF  Time : 646.0 sec.
user=vaughan
[2010-03-07 09:10:25]
1915*2^670559-1 is not prime.  Res64: 1BA7F6907A9AF657  Time : 649.0 sec.
user=vaughan
[2010-03-07 09:19:03]
1953*2^670559-1 is not prime.  Res64: 8239DE7D52E821F3  Time : 664.0 sec.
user=vaughan
[2010-03-07 09:19:03]
1959*2^670559-1 is not prime.  Res64: 29AD2133A2620859  Time : 663.0 sec.
user=vaughan
[2010-03-07 09:19:07]
1963*2^670559-1 is not prime.  Res64: 76F85B7B597B6571  Time : 647.0 sec.
user=vaughan
[2010-03-07 09:21:14]
1975*2^670559-1 is not prime.  Res64: BF95A00DE078A13D  Time : 649.0 sec.
user=vaughan
[2010-03-07 09:29:53]
1419*2^670560-1 is not prime.  Res64: D1C9739E82C843DB  Time : 646.0 sec.
user=vaughan
[2010-03-07 09:30:06]
1989*2^670559-1 is not prime.  Res64: BC971E42D3F4A966  Time : 663.0 sec.
user=vaughan
[2010-03-07 09:30:06]
1403*2^670560-1 is not prime.  Res64: 37A3F1A3BFC02266  Time : 663.0 sec.
user=vaughan
[2010-03-07 09:32:02]
1487*2^670560-1 is not prime.  Res64: B1F76622A8567F16  Time : 648.0 sec.
user=vaughan
[2010-03-07 09:40:39]
1529*2^670560-1 is not prime.  Res64: C38D11C3AB38DD5F  Time : 646.0 sec.
user=vaughan
[2010-03-07 09:41:09]
1733*2^670560-1 is not prime.  Res64: AF48D0EE2BC2CFD6  Time : 663.0 sec.
user=vaughan
[2010-03-07 09:41:10]
1547*2^670560-1 is not prime.  Res64: 67A98CB9B3B75347  Time : 664.0 sec.
user=vaughan
[2010-03-07 09:42:51]
1775*2^670560-1 is not prime.  Res64: 27BD7F7B40D83115  Time : 649.0 sec.
user=vaughan
[2010-03-07 09:51:26]
1815*2^670560-1 is not prime.  Res64: 4B6DDE8C710F1718  Time : 647.0 sec.
user=vaughan
[2010-03-07 09:52:12]
1853*2^670560-1 is not prime.  Res64: EE0A7D366920D4CB  Time : 663.0 sec.
user=vaughan
[2010-03-07 09:52:14]
1895*2^670560-1 is not prime.  Res64: E82698FC39E6D291  Time : 664.0 sec.
user=vaughan
[2010-03-07 09:53:40]
1943*2^670560-1 is not prime.  Res64: 3CC43B666A10077F  Time : 649.0 sec.
user=vaughan
[2010-03-07 10:02:12]
1983*2^670560-1 is not prime.  Res64: 82A314AE5A427BB7  Time : 646.0 sec.
user=vaughan
[2010-03-07 10:03:16]
1995*2^670560-1 is not prime.  Res64: FDD50679C27B6FC6  Time : 665.0 sec.
user=vaughan
[2010-03-07 10:03:19]
1431*2^670561-1 is not prime.  Res64: B774052FC3B923C9  Time : 666.0 sec.
user=vaughan
[2010-03-07 10:04:28]
1519*2^670561-1 is not prime.  Res64: 186305A66A147CC1  Time : 649.0 sec.
user=vaughan
[2010-03-07 10:12:58]
1531*2^670561-1 is not prime.  Res64: A36F36B164AFD29F  Time : 646.0 sec.
user=vaughan
[2010-03-07 10:14:20]
1549*2^670561-1 is not prime.  Res64: FCB184AC2D1ECFFE  Time : 664.0 sec.
user=vaughan
[2010-03-07 10:14:23]
1561*2^670561-1 is not prime.  Res64: F53F4CF5DC936080  Time : 664.0 sec.
user=vaughan
[2010-03-07 10:15:14]
1605*2^670561-1 is not prime.  Res64: C620CFA1E83F70BC  Time : 647.0 sec.
user=vaughan
[2010-03-07 10:23:45]
1627*2^670561-1 is not prime.  Res64: 794AACC06C664371  Time : 647.0 sec.
user=vaughan
[2010-03-07 10:25:23]
1639*2^670561-1 is not prime.  Res64: 0F909486FFF6CEE0  Time : 663.0 sec.
user=vaughan
[2010-03-07 10:25:26]
1785*2^670561-1 is not prime.  Res64: 790832DB362F62D6  Time : 663.0 sec.
user=vaughan
[2010-03-07 10:26:00]
1867*2^670561-1 is not prime.  Res64: 836980E3EF44B2A8  Time : 646.0 sec.
user=vaughan
[2010-03-07 10:34:33]
1881*2^670561-1 is not prime.  Res64: EBC954A6EC9B590C  Time : 648.0 sec.
user=vaughan
[2010-03-07 10:36:25]
1899*2^670561-1 is not prime.  Res64: 826733C645C551BE  Time : 663.0 sec.
user=vaughan
[2010-03-07 10:36:30]
1927*2^670561-1 is not prime.  Res64: 06F4C8EEA1D395E0  Time : 664.0 sec.
user=vaughan
[2010-03-07 10:36:49]
1965*2^670561-1 is not prime.  Res64: 89EA219381CBC1B5  Time : 649.0 sec.
user=vaughan
[2010-03-07 10:45:43]
1987*2^670561-1 is not prime.  Res64: 6D87FC0CCEB73B4A  Time : 671.0 sec.
user=vaughan
[2010-03-07 10:48:04]
1421*2^670562-1 is not prime.  Res64: C50A2ED5FF9F44B4  Time : 700.0 sec.
user=vaughan
[2010-03-07 10:48:06]
1473*2^670562-1 is not prime.  Res64: 8CEF2FE2436B7720  Time : 697.0 sec.
user=vaughan
[2010-03-07 10:48:15]
1515*2^670562-1 is not prime.  Res64: 9E0348E4DD14D3CE  Time : 687.0 sec.
user=vaughan
[2010-03-07 10:56:29]
1551*2^670562-1 is not prime.  Res64: 03811949005379B7  Time : 646.0 sec.
user=vaughan
[2010-03-07 10:59:03]
1721*2^670562-1 is not prime.  Res64: AC93BA9FF49CFF3A  Time : 648.0 sec.
user=vaughan
[2010-03-07 10:59:08]
1607*2^670562-1 is not prime.  Res64: 1E5785DC5486B66A  Time : 664.0 sec.
user=vaughan
[2010-03-07 10:59:10]
1623*2^670562-1 is not prime.  Res64: 734A32C3FEFC43B0  Time : 664.0 sec.
user=vaughan
[2010-03-07 11:07:15]
1725*2^670562-1 is not prime.  Res64: 0AB49E95C1FC3E23  Time : 646.0 sec.
user=vaughan
[2010-03-07 11:09:51]
1751*2^670562-1 is not prime.  Res64: D18FD17829C9FD55  Time : 648.0 sec.
user=vaughan
[2010-03-07 11:10:10]
1805*2^670562-1 is not prime.  Res64: ED487A3CA1F554C2  Time : 662.0 sec.
user=vaughan
[2010-03-07 11:10:13]
1863*2^670562-1 is not prime.  Res64: C73D1873D5035285  Time : 664.0 sec.
user=vaughan
[2010-03-07 11:18:02]
1901*2^670562-1 is not prime.  Res64: 4E8F7F8A27BA8060  Time : 647.0 sec.
user=vaughan
[2010-03-07 11:20:39]
1911*2^670562-1 is not prime.  Res64: 8186700DAA720260  Time : 648.0 sec.
user=vaughan
[2010-03-07 11:21:14]
1943*2^670562-1 is not prime.  Res64: A24E9A93A9E677D4  Time : 664.0 sec.
user=vaughan
[2010-03-07 11:21:16]
1965*2^670562-1 is not prime.  Res64: D1B84CA87A152FB6  Time : 663.0 sec.
user=vaughan
[2010-03-07 11:28:47]
1489*2^670563-1 is not prime.  Res64: D51C842000302D25  Time : 646.0 sec.
user=vaughan
[2010-03-07 11:31:26]
1561*2^670563-1 is not prime.  Res64: EE586E1173C9B93B  Time : 648.0 sec.
user=vaughan
[2010-03-07 11:32:17]
1735*2^670563-1 is not prime.  Res64: 3CA1608E9E142C6D  Time : 663.0 sec.
user=vaughan
[2010-03-07 11:32:20]
1809*2^670563-1 is not prime.  Res64: FFDFD015BEEB1AD6  Time : 664.0 sec.
user=vaughan
[2010-03-07 11:39:34]
1923*2^670563-1 is not prime.  Res64: 86EA44C2273BAEA0  Time : 647.0 sec.
user=vaughan
[2010-03-07 11:42:14]
1951*2^670563-1 is not prime.  Res64: 2EA614076A895178  Time : 648.0 sec.
user=vaughan
[2010-03-07 11:43:21]
1419*2^670564-1 is not prime.  Res64: D118078D26B5459C  Time : 664.0 sec.
user=vaughan
[2010-03-07 11:43:23]
1437*2^670564-1 is not prime.  Res64: EA163CA1B2D62528  Time : 664.0 sec.
user=vaughan
[2010-03-07 11:50:20]
1469*2^670564-1 is not prime.  Res64: 65DBF793EB22FA66  Time : 647.0 sec.
user=vaughan
[2010-03-07 11:53:02]
1475*2^670564-1 is not prime.  Res64: BF80B7A0B538A4DA  Time : 648.0 sec.
user=vaughan
[2010-03-07 11:54:25]
1547*2^670564-1 is not prime.  Res64: ED7BD9DBB9A411AD  Time : 664.0 sec.
user=vaughan
[2010-03-07 11:54:26]
1695*2^670564-1 is not prime.  Res64: 643142510A625A09  Time : 663.0 sec.
user=vaughan
[2010-03-07 12:01:05]
1697*2^670564-1 is not prime.  Res64: 860F46DEF4181391  Time : 645.0 sec.
user=vaughan
[2010-03-07 12:03:48]
1805*2^670564-1 is not prime.  Res64: 1F015DCD31FEC064  Time : 647.0 sec.
user=vaughan
[2010-03-07 12:05:29]
1827*2^670564-1 is not prime.  Res64: B4B609DF8F83F46F  Time : 664.0 sec.
user=vaughan
[2010-03-07 12:05:30]
1865*2^670564-1 is not prime.  Res64: 94CB4EF682514E60  Time : 664.0 sec.
user=vaughan
[2010-03-07 12:11:51]
1953*2^670564-1 is not prime.  Res64: D6E621DAA0296C6B  Time : 646.0 sec.
user=vaughan
[2010-03-07 12:14:35]
1405*2^670565-1 is not prime.  Res64: 676D96A9CBF82E71  Time : 647.0 sec.
user=vaughan
[2010-03-07 12:16:33]
1659*2^670565-1 is not prime.  Res64: 4E8889C67EFF3D49  Time : 664.0 sec.
user=vaughan
[2010-03-07 12:16:33]
1509*2^670565-1 is not prime.  Res64: E6F23477D2EB7CD3  Time : 664.0 sec.
user=vaughan
[2010-03-07 12:22:37]
1695*2^670565-1 is not prime.  Res64: 8A54329926868360  Time : 646.0 sec.
user=vaughan
[2010-03-07 12:25:22]
1749*2^670565-1 is not prime.  Res64: 560C2F642A540B17  Time : 647.0 sec.
user=vaughan
[2010-03-07 12:27:35]
1855*2^670565-1 is not prime.  Res64: DEF4863B5EAD8B3C  Time : 663.0 sec.
user=vaughan
[2010-03-07 12:27:36]
1875*2^670565-1 is not prime.  Res64: C1B4440A62FF950B  Time : 663.0 sec.
user=vaughan
[2010-03-07 12:33:42]
1445*2^670566-1 is not prime.  Res64: 3A96CE81A6C5C54B  Time : 665.0 sec.
user=vaughan
[2010-03-07 12:36:49]
1503*2^670566-1 is not prime.  Res64: D125EC1385D2D137  Time : 687.0 sec.
user=vaughan
[2010-03-07 12:39:11]
1511*2^670566-1 is not prime.  Res64: 25C91B49D6136D91  Time : 696.0 sec.
user=vaughan
[2010-03-07 12:39:13]
1547*2^670566-1 is not prime.  Res64: 21E6FD913FC319D3  Time : 698.0 sec.
user=vaughan
[2010-03-07 12:44:40]
1553*2^670566-1 is not prime.  Res64: C1DFDCFA8A1DC2CD  Time : 659.0 sec.
user=vaughan
[2010-03-07 12:47:39]
1577*2^670566-1 is not prime.  Res64: 6A9F21B37E9E4E4E  Time : 650.0 sec.
user=vaughan
[2010-03-07 12:50:14]
1595*2^670566-1 is not prime.  Res64: 76A3645139B317B7  Time : 663.0 sec.
user=vaughan
[2010-03-07 12:50:16]
1631*2^670566-1 is not prime.  Res64: B9D332B22DBA6A8C  Time : 663.0 sec.
user=vaughan
[2010-03-07 12:55:27]
1713*2^670566-1 is not prime.  Res64: 5B2AABBB55D6C0E5  Time : 647.0 sec.
user=vaughan
[2010-03-07 12:58:26]
1797*2^670566-1 is not prime.  Res64: A8F4533FF0438236  Time : 647.0 sec.
user=vaughan
[2010-03-07 13:01:17]
1935*2^670566-1 is not prime.  Res64: FAC9E0CA3C8FD7A2  Time : 663.0 sec.
user=vaughan
[2010-03-07 13:01:19]
1943*2^670566-1 is not prime.  Res64: 08A9389AF353BE87  Time : 663.0 sec.
user=vaughan
[2010-03-07 13:06:15]
1995*2^670566-1 is not prime.  Res64: E345F11A4B157BF2  Time : 648.0 sec.
user=vaughan
[2010-03-07 13:09:13]
1521*2^670567-1 is not prime.  Res64: E5F345ED59F86741  Time : 648.0 sec.
user=vaughan
[2010-03-07 13:12:20]
1531*2^670567-1 is not prime.  Res64: 84AB217EB92BDF0D  Time : 664.0 sec.
user=vaughan
[2010-03-07 13:12:22]
1585*2^670567-1 is not prime.  Res64: F922DFB9F77DFA26  Time : 663.0 sec.
user=vaughan
[2010-03-07 13:17:02]
1599*2^670567-1 is not prime.  Res64: 0B1DCB1D01C0F3E5  Time : 648.0 sec.
user=vaughan
[2010-03-07 13:20:01]
1611*2^670567-1 is not prime.  Res64: 19CBD26621BA2752  Time : 648.0 sec.
user=vaughan
[2010-03-07 13:23:23]
1633*2^670567-1 is not prime.  Res64: E8BDC0AC11719D52  Time : 664.0 sec.
user=vaughan
[2010-03-07 13:23:24]
1773*2^670567-1 is not prime.  Res64: 290364B2AF445F80  Time : 662.0 sec.
user=vaughan
[2010-03-07 13:27:47]
1785*2^670567-1 is not prime.  Res64: CD1F37124558CBA5  Time : 645.0 sec.
user=vaughan
[2010-03-07 13:30:49]
1863*2^670567-1 is not prime.  Res64: 46B43F6E8EB306A7  Time : 648.0 sec.
user=vaughan
[2010-03-07 13:34:26]
1905*2^670567-1 is not prime.  Res64: 8B83600E6E742A33  Time : 663.0 sec.
user=vaughan
[2010-03-07 13:34:27]
1941*2^670567-1 is not prime.  Res64: 8F5AA6F1F42D2239  Time : 663.0 sec.
user=vaughan
[2010-03-07 13:38:33]
1981*2^670567-1 is not prime.  Res64: A59A6040C864600B  Time : 647.0 sec.
user=vaughan
[2010-03-07 13:41:37]
1425*2^670568-1 is not prime.  Res64: A9F2EAB176959532  Time : 649.0 sec.
user=vaughan
[2010-03-07 13:45:29]
1499*2^670568-1 is not prime.  Res64: DBEB99D248224BF1  Time : 664.0 sec.
user=vaughan
[2010-03-07 13:45:29]
1539*2^670568-1 is not prime.  Res64: 9FF061D1C043C05A  Time : 663.0 sec.
user=vaughan
[2010-03-07 13:49:19]
1547*2^670568-1 is not prime.  Res64: D74315169B04D5C2  Time : 646.0 sec.
user=vaughan
[2010-03-07 13:52:24]
1767*2^670568-1 is not prime.  Res64: 47F6F2830B9056CC  Time : 648.0 sec.
user=vaughan
[2010-03-07 13:56:33]
1441*2^670569-1 is not prime.  Res64: EFD335CB3DF55BDA  Time : 665.0 sec.
user=vaughan
[2010-03-07 13:56:33]
1461*2^670569-1 is not prime.  Res64: C6633171DCEE8901  Time : 664.0 sec.
user=vaughan
[2010-03-07 14:00:05]
1579*2^670569-1 is not prime.  Res64: 94B2C4AF49C8B543  Time : 646.0 sec.
user=vaughan
[2010-03-07 14:03:12]
1587*2^670569-1 is not prime.  Res64: 9F1CF901578004E0  Time : 648.0 sec.
user=vaughan
[2010-03-07 14:07:36]
1627*2^670569-1 is not prime.  Res64: 6E5C45096F1A6C4A  Time : 664.0 sec.
user=vaughan
[2010-03-07 14:07:36]
1647*2^670569-1 is not prime.  Res64: B3C51D780AD37A47  Time : 664.0 sec.
user=vaughan
[2010-03-07 14:10:52]
1657*2^670569-1 is not prime.  Res64: FB71F7D357511273  Time : 647.0 sec.
user=vaughan
[2010-03-07 14:13:59]
1701*2^670569-1 is not prime.  Res64: 0CE44BFD8065436B  Time : 647.0 sec.
user=vaughan
[2010-03-07 14:18:37]
1735*2^670569-1 is not prime.  Res64: 07E84D7D0475F9A9  Time : 661.0 sec.
user=vaughan
[2010-03-07 14:18:38]
1731*2^670569-1 is not prime.  Res64: DF3E6E8F893A3CCF  Time : 662.0 sec.
user=vaughan
[2010-03-07 14:21:38]
1837*2^670569-1 is not prime.  Res64: 809966900FE6FEF7  Time : 647.0 sec.
user=vaughan
[2010-03-07 14:25:00]
1909*2^670569-1 is not prime.  Res64: 6542C93D89532633  Time : 661.0 sec.
user=vaughan
[2010-03-07 14:30:15]
1463*2^670570-1 is not prime.  Res64: F6DBB647FC5F45FE  Time : 697.0 sec.
user=vaughan
[2010-03-07 14:30:15]
1461*2^670570-1 is not prime.  Res64: ABF1393222FCBD88  Time : 698.0 sec.
user=vaughan
[2010-03-07 14:32:52]
1587*2^670570-1 is not prime.  Res64: 9A93E3BD747F8C91  Time : 675.0 sec.
user=vaughan
[2010-03-07 14:36:09]
1617*2^670570-1 is not prime.  Res64: 007E256483C8CF3F  Time : 670.0 sec.
user=vaughan
[2010-03-07 14:41:21]
1637*2^670570-1 is not prime.  Res64: 9D74B5B60EA04624  Time : 666.0 sec.
user=vaughan
[2010-03-07 14:41:22]
1631*2^670570-1 is not prime.  Res64: 6660BD7BD5CE8F4F  Time : 667.0 sec.
user=vaughan
[2010-03-07 14:43:39]
1641*2^670570-1 is not prime.  Res64: 2F66B649CFBD0675  Time : 648.0 sec.
user=vaughan
[2010-03-07 14:46:58]
1731*2^670570-1 is not prime.  Res64: E9EF277443680FEC  Time : 649.0 sec.
user=vaughan
[2010-03-07 14:52:25]
1763*2^670570-1 is not prime.  Res64: FD4C6D222B438E63  Time : 664.0 sec.
user=vaughan
[2010-03-07 14:52:25]
1797*2^670570-1 is not prime.  Res64: A5CBB9AE2B68FD4E  Time : 663.0 sec.
user=vaughan
[2010-03-07 14:54:26]
1895*2^670570-1 is not prime.  Res64: 0B76ED9BD7916F6A  Time : 647.0 sec.
user=vaughan
[2010-03-07 14:57:45]
1935*2^670570-1 is not prime.  Res64: 1A867A8134E1B291  Time : 647.0 sec.
user=vaughan
[2010-03-07 15:03:27]
1973*2^670570-1 is not prime.  Res64: E69B1B95899E9054  Time : 663.0 sec.
user=vaughan
[2010-03-07 15:03:29]
1449*2^670571-1 is not prime.  Res64: FD00B402C692CBD9  Time : 664.0 sec.
user=vaughan
[2010-03-07 15:05:12]
1515*2^670571-1 is not prime.  Res64: 00FB2F24829B9AE4  Time : 646.0 sec.
user=vaughan
[2010-03-07 15:08:32]
1533*2^670571-1 is not prime.  Res64: 0B320BE145A02F5A  Time : 647.0 sec.
user=vaughan
[2010-03-07 15:14:30]
1573*2^670571-1 is not prime.  Res64: F3EA317D2D5F8F22  Time : 663.0 sec.
user=vaughan
[2010-03-07 15:14:32]
1665*2^670571-1 is not prime.  Res64: 44B3D17C68AAD443  Time : 664.0 sec.
user=vaughan
[2010-03-07 15:15:58]
1753*2^670571-1 is not prime.  Res64: 2DEF96731019E528  Time : 646.0 sec.
user=vaughan
[2010-03-07 15:19:19]
1761*2^670571-1 is not prime.  Res64: DE69B987AA567485  Time : 648.0 sec.
user=vaughan
[2010-03-07 15:25:33]
1791*2^670571-1 is not prime.  Res64: B5CD4E7A3A3B4126  Time : 663.0 sec.
user=vaughan
[2010-03-07 15:25:34]
1803*2^670571-1 is not prime.  Res64: BBA088AAB4A0D912  Time : 662.0 sec.
user=vaughan
[2010-03-07 15:26:45]
1863*2^670571-1 is not prime.  Res64: CCFC465422C6D801  Time : 647.0 sec.
user=vaughan
[2010-03-07 15:30:06]
1873*2^670571-1 is not prime.  Res64: 28136EF4893776C3  Time : 648.0 sec.
user=vaughan
[2010-03-07 15:36:38]
1999*2^670571-1 is not prime.  Res64: 878313B9283699C3  Time : 664.0 sec.
user=vaughan
[2010-03-07 15:36:46]
1935*2^670571-1 is not prime.  Res64: D98AE1BA04F48CB7  Time : 673.0 sec.
user=vaughan
[2010-03-07 15:37:30]
1473*2^670572-1 is not prime.  Res64: 4CA41DE8C39FF7B6  Time : 646.0 sec.
user=vaughan
[2010-03-07 15:40:54]
1497*2^670572-1 is not prime.  Res64: 36D6D6211DFB3BA0  Time : 648.0 sec.
user=vaughan
[2010-03-07 15:47:41]
1503*2^670572-1 is not prime.  Res64: A09E0FA34402EE48  Time : 664.0 sec.
user=vaughan
[2010-03-07 15:47:48]
1605*2^670572-1 is not prime.  Res64: BFBFA1618BE0407B  Time : 662.0 sec.
user=vaughan
[2010-03-07 15:48:16]
1617*2^670572-1 is not prime.  Res64: 6C201A40BC94929E  Time : 646.0 sec.
user=vaughan
[2010-03-07 15:51:41]
1679*2^670572-1 is not prime.  Res64: A3753E913A647DF4  Time : 648.0 sec.
user=vaughan
[2010-03-07 15:58:43]
1715*2^670572-1 is not prime.  Res64: 003DFEBAD8236EE8  Time : 663.0 sec.
user=vaughan
[2010-03-07 15:58:51]
1839*2^670572-1 is not prime.  Res64: 010727CDBCD32995  Time : 663.0 sec.
user=vaughan
[2010-03-07 15:59:03]
1845*2^670572-1 is not prime.  Res64: 0D9DE02670555311  Time : 647.0 sec.
user=vaughan
[2010-03-07 16:02:28]
1859*2^670572-1 is not prime.  Res64: 46696314DB0E6C4E  Time : 647.0 sec.
user=vaughan
[2010-03-07 16:09:45]
1949*2^670572-1 is not prime.  Res64: 3C13A944857C7471  Time : 662.0 sec.
user=vaughan
[2010-03-07 16:09:48]
1431*2^670573-1 is not prime.  Res64: C558E3F3EA37FCCE  Time : 646.0 sec.
user=vaughan
[2010-03-07 16:09:52]
1417*2^670573-1 is not prime.  Res64: 89E766C4F2620FBC  Time : 662.0 sec.
user=vaughan
[2010-03-07 16:13:16]
1519*2^670573-1 is not prime.  Res64: F02E05B98E809ABA  Time : 648.0 sec.
user=vaughan
[2010-03-07 16:20:40]
1557*2^670573-1 is not prime.  Res64: B5E5B42E0313C97B  Time : 652.0 sec.
user=vaughan
[2010-03-07 16:20:55]
1545*2^670573-1 is not prime.  Res64: 53A37DA21D6912DA  Time : 670.0 sec.
user=vaughan
[2010-03-07 16:21:01]
1599*2^670573-1 is not prime.  Res64: ECA266A5A02A575C  Time : 669.0 sec.
user=vaughan
[2010-03-07 16:24:24]
1687*2^670573-1 is not prime.  Res64: 26B4CF0BC99C8878  Time : 668.0 sec.
user=vaughan
[2010-03-07 16:31:51]
1819*2^670573-1 is not prime.  Res64: 039D42520FE40F76  Time : 672.0 sec.
user=vaughan
[2010-03-07 16:32:25]
1839*2^670573-1 is not prime.  Res64: 5625067AFBDB4B28  Time : 691.0 sec.
user=vaughan
[2010-03-07 16:32:32]
1939*2^670573-1 is not prime.  Res64: 6A298DEA9A466A87  Time : 692.0 sec.
user=vaughan
[2010-03-07 16:35:29]
1989*2^670573-1 is not prime.  Res64: 823EAF6B204AB1D7  Time : 665.0 sec.
user=vaughan
[2010-03-07 16:42:37]
1421*2^670574-1 is not prime.  Res64: 6D1DAB672596C0D8  Time : 646.0 sec.
user=vaughan
[2010-03-07 16:43:29]
1533*2^670574-1 is not prime.  Res64: C34212238D70E71C  Time : 664.0 sec.
user=vaughan
[2010-03-07 16:43:35]
1623*2^670574-1 is not prime.  Res64: 76B2C6605FEF6193  Time : 663.0 sec.
user=vaughan
[2010-03-07 16:46:16]
1665*2^670574-1 is not prime.  Res64: 039336DC48997BBB  Time : 648.0 sec.
user=vaughan
[2010-03-07 16:53:24]
1701*2^670574-1 is not prime.  Res64: C35E8C275CE8BEEE  Time : 647.0 sec.
user=vaughan
[2010-03-07 16:54:32]
1781*2^670574-1 is not prime.  Res64: C098BC2C806A6C4A  Time : 664.0 sec.
user=vaughan
[2010-03-07 16:54:37]
1875*2^670574-1 is not prime.  Res64: 3AC88710C6F560AD  Time : 663.0 sec.
user=vaughan
[2010-03-07 16:57:04]
1881*2^670574-1 is not prime.  Res64: D4781FA1A505DE07  Time : 648.0 sec.
user=vaughan
[2010-03-07 17:04:10]
1483*2^670575-1 is not prime.  Res64: 6D5A4FAE90BA121C  Time : 647.0 sec.
user=vaughan
[2010-03-07 17:05:35]
1599*2^670575-1 is not prime.  Res64: A2B13B6F030EE0D6  Time : 664.0 sec.
user=vaughan
[2010-03-07 17:05:39]
1875*2^670575-1 is not prime.  Res64: FC7B1B297DCA827B  Time : 662.0 sec.
user=vaughan
[2010-03-07 17:07:52]
1993*2^670575-1 is not prime.  Res64: 6084C3A4B0736323  Time : 648.0 sec.
user=vaughan
[2010-03-07 17:14:56]
1995*2^670575-1 is not prime.  Res64: 9AAAD42426791AA5  Time : 646.0 sec.
user=vaughan
[2010-03-07 17:16:39]
1449*2^670576-1 is not prime.  Res64: 73B3C03B03DB11D3  Time : 664.0 sec.
user=vaughan
[2010-03-07 17:16:42]
1455*2^670576-1 is not prime.  Res64: 6A5E5309E7B32247  Time : 663.0 sec.
user=vaughan
[2010-03-07 17:18:39]
1475*2^670576-1 is not prime.  Res64: 1FD21BED39298E22  Time : 648.0 sec.
user=vaughan
[2010-03-07 17:25:42]
1493*2^670576-1 is not prime.  Res64: 28E84E7E86F487DD  Time : 646.0 sec.
user=vaughan
[2010-03-07 17:27:43]
1505*2^670576-1 is not prime.  Res64: EB1DDB6AC7735233  Time : 664.0 sec.
user=vaughan
[2010-03-07 17:27:44]
1767*2^670576-1 is not prime.  Res64: DD05E648D5075062  Time : 663.0 sec.
user=vaughan
[2010-03-07 17:29:27]
1889*2^670576-1 is not prime.  Res64: B13EBC6FC4B81DE3  Time : 648.0 sec.
user=vaughan
[2010-03-07 17:36:31]
1935*2^670576-1 is not prime.  Res64: CB10B09969ACD95D  Time : 649.0 sec.
user=vaughan
[2010-03-07 17:38:46]
1411*2^670577-1 is not prime.  Res64: 3A26C29102479DA1  Time : 662.0 sec.
user=vaughan
[2010-03-07 17:38:48]
1955*2^670576-1 is not prime.  Res64: 05854AB99A1D88F0  Time : 666.0 sec.
user=vaughan
[2010-03-07 17:40:17]
1417*2^670577-1 is not prime.  Res64: 241F5001144736A6  Time : 651.0 sec.
user=vaughan
[2010-03-07 17:47:17]
1429*2^670577-1 is not prime.  Res64: 99B4475B87FA0C86  Time : 646.0 sec.
user=vaughan
[2010-03-07 17:49:49]
1575*2^670577-1 is not prime.  Res64: 75153316AD21F84F  Time : 663.0 sec.
user=vaughan
[2010-03-07 17:49:51]
1615*2^670577-1 is not prime.  Res64: CB24D33B7BF9016D  Time : 663.0 sec.
user=vaughan
[2010-03-07 17:51:05]
1681*2^670577-1 is not prime.  Res64: EED7A56DE2CDE22E  Time : 648.0 sec.
user=vaughan
[2010-03-07 17:58:05]
1705*2^670577-1 is not prime.  Res64: FB004EC340B63C16  Time : 648.0 sec.
user=vaughan
[2010-03-07 18:00:52]
1821*2^670577-1 is not prime.  Res64: 3FD1A0B2B4ABB67B  Time : 663.0 sec.
user=vaughan
[2010-03-07 18:00:53]
1917*2^670577-1 is not prime.  Res64: F4D4A161970C17B0  Time : 663.0 sec.
user=vaughan
[2010-03-07 18:01:51]
1939*2^670577-1 is not prime.  Res64: 1285CBD18A5B2DA9  Time : 647.0 sec.
user=vaughan
[2010-03-07 18:08:51]
1951*2^670577-1 is not prime.  Res64: 4AA4FC6D8EB4AE65  Time : 647.0 sec.
user=vaughan
[2010-03-07 18:11:54]
1959*2^670577-1 is not prime.  Res64: 451B7A364D3BBFE8  Time : 662.0 sec.
user=vaughan
[2010-03-07 18:11:56]
1965*2^670577-1 is not prime.  Res64: 95663FD7AB5BED57  Time : 663.0 sec.
user=vaughan
[2010-03-07 18:12:40]
1971*2^670577-1 is not prime.  Res64: CC6A93CD0FC09E86  Time : 649.0 sec.
user=vaughan
[2010-03-07 18:20:00]
1437*2^670578-1 is not prime.  Res64: D4E041FB7D98FEC2  Time : 669.0 sec.
user=vaughan
[2010-03-07 18:23:31]
1451*2^670578-1 is not prime.  Res64: EBFE6196F320CBC8  Time : 697.0 sec.
user=vaughan
[2010-03-07 18:23:34]
1487*2^670578-1 is not prime.  Res64: AAAF36A822AD0830  Time : 698.0 sec.
user=vaughan
[2010-03-07 18:24:03]
1505*2^670578-1 is not prime.  Res64: 6D5442D2C1D0112F  Time : 683.0 sec.
user=vaughan
[2010-03-07 18:30:51]
1535*2^670578-1 is not prime.  Res64: A97619FDD92E973A  Time : 651.0 sec.
user=vaughan
[2010-03-07 18:34:35]
1553*2^670578-1 is not prime.  Res64: 69C05B5C2974AF25  Time : 664.0 sec.
user=vaughan
[2010-03-07 18:34:38]
1587*2^670578-1 is not prime.  Res64: 9A791D6C091106F1  Time : 664.0 sec.
user=vaughan
[2010-03-07 18:34:50]
1727*2^670578-1 is not prime.  Res64: D1F068FB68581C91  Time : 647.0 sec.
user=vaughan
[2010-03-07 18:41:38]
1435*2^670579-1 is not prime.  Res64: B2341051D4B72700  Time : 647.0 sec.
user=vaughan
[2010-03-07 18:45:37]
1533*2^670579-1 is not prime.  Res64: 93504D7D5B918ADB  Time : 647.0 sec.
user=vaughan
[2010-03-07 18:45:37]
1455*2^670579-1 is not prime.  Res64: E85ED81EF9EFB49F  Time : 662.0 sec.
user=vaughan
[2010-03-07 18:45:41]
1513*2^670579-1 is not prime.  Res64: 64A92D52D7C1B1F5  Time : 664.0 sec.
user=vaughan
[2010-03-07 18:52:24]
1543*2^670579-1 is not prime.  Res64: C5AD82F96C720588  Time : 647.0 sec.
user=vaughan
[2010-03-07 18:56:25]
1653*2^670579-1 is not prime.  Res64: BBAB2B3ABCBFCDEC  Time : 648.0 sec.
user=vaughan
[2010-03-07 18:56:41]
1693*2^670579-1 is not prime.  Res64: B7028471DC4E7CB0  Time : 664.0 sec.
user=vaughan
[2010-03-07 18:56:44]
1843*2^670579-1 is not prime.  Res64: BFBCACD10E81E3EB  Time : 663.0 sec.
user=vaughan
[2010-03-07 19:03:10]
1981*2^670579-1 is not prime.  Res64: 3F7EB613C37FA58C  Time : 646.0 sec.
user=vaughan
[2010-03-07 19:07:15]
1419*2^670580-1 is not prime.  Res64: 31C98E860C022D70  Time : 650.0 sec.
user=vaughan
[2010-03-07 19:07:44]
1527*2^670580-1 is not prime.  Res64: 394B8B9E991BBC66  Time : 664.0 sec.
user=vaughan
[2010-03-07 19:07:50]
1557*2^670580-1 is not prime.  Res64: D40964B405CB1756  Time : 666.0 sec.
user=vaughan
[2010-03-07 19:13:59]
1635*2^670580-1 is not prime.  Res64: EF7A23B176A259DE  Time : 649.0 sec.
user=vaughan
[2010-03-07 19:18:03]
1839*2^670580-1 is not prime.  Res64: 5B43DAD01D013316  Time : 648.0 sec.
user=vaughan
[2010-03-07 19:18:47]
1883*2^670580-1 is not prime.  Res64: 3DB2791959BCF4AF  Time : 664.0 sec.
user=vaughan
[2010-03-07 19:18:53]
1905*2^670580-1 is not prime.  Res64: 6872673795C11994  Time : 664.0 sec.
user=vaughan
[2010-03-07 19:24:45]
1943*2^670580-1 is not prime.  Res64: E2F3DBBA28C90DFB  Time : 646.0 sec.
user=vaughan
[2010-03-07 19:28:52]
1417*2^670581-1 is not prime.  Res64: B238F14599ABC87C  Time : 649.0 sec.
user=vaughan
[2010-03-07 19:29:53]
1539*2^670581-1 is not prime.  Res64: 5450D3BAB47883A5  Time : 666.0 sec.
user=vaughan
[2010-03-07 19:29:58]
1549*2^670581-1 is not prime.  Res64: 003AB8D3599B4336  Time : 665.0 sec.
user=vaughan
[2010-03-07 19:35:37]
1561*2^670581-1 is not prime.  Res64: 3E2F5139CF2B22C2  Time : 652.0 sec.
user=vaughan
[2010-03-07 19:39:56]
1687*2^670581-1 is not prime.  Res64: B43749A1D48B5142  Time : 664.0 sec.
user=vaughan
[2010-03-07 19:41:04]
1741*2^670581-1 is not prime.  Res64: 6953E4940CA59872  Time : 671.0 sec.
user=vaughan
[2010-03-07 19:41:09]
1771*2^670581-1 is not prime.  Res64: CD2B78943462CE6D  Time : 671.0 sec.
user=vaughan
[2010-03-07 19:46:22]
1885*2^670581-1 is not prime.  Res64: 1A70CCE0BF88D4F4  Time : 645.0 sec.
user=vaughan
[2010-03-07 19:50:43]
1515*2^670582-1 is not prime.  Res64: 600F5F21E0D3A12A  Time : 647.0 sec.
user=vaughan
[2010-03-07 19:52:07]
1613*2^670582-1 is not prime.  Res64: B67DC5AD2EF4E283  Time : 664.0 sec.
user=vaughan
[2010-03-07 19:52:15]
1623*2^670582-1 is not prime.  Res64: 54D38C84CC7530C3  Time : 667.0 sec.
user=vaughan
[2010-03-07 19:57:09]
1647*2^670582-1 is not prime.  Res64: 8799167B3EC09D9A  Time : 647.0 sec.
user=vaughan
[2010-03-07 20:01:29]
1661*2^670582-1 is not prime.  Res64: 21C94FEA7809A13E  Time : 646.0 sec.
user=vaughan
[2010-03-07 20:03:13]
1673*2^670582-1 is not prime.  Res64: 6093966143A66915  Time : 666.0 sec.
user=vaughan
[2010-03-07 20:03:19]
1793*2^670582-1 is not prime.  Res64: ADD1B12D47671994  Time : 664.0 sec.
user=vaughan
[2010-03-07 20:08:00]
1821*2^670582-1 is not prime.  Res64: DF98EDF7397536D4  Time : 652.0 sec.
user=vaughan
[2010-03-07 20:12:43]
1893*2^670582-1 is not prime.  Res64: CAF923E4A46BF91F  Time : 674.0 sec.
user=vaughan
[2010-03-07 20:14:52]
1907*2^670582-1 is not prime.  Res64: A5CD972F24818699  Time : 700.0 sec.
user=vaughan
[2010-03-07 20:14:58]
1965*2^670582-1 is not prime.  Res64: 50F59CFA5E8B23FC  Time : 699.0 sec.
user=vaughan
[2010-03-07 20:19:12]
1977*2^670582-1 is not prime.  Res64: AD1AB1169A195E79  Time : 672.0 sec.
user=vaughan
[2010-03-07 20:23:39]
1411*2^670583-1 is not prime.  Res64: 1FC0D0C17CD83CB1  Time : 656.0 sec.
user=vaughan
[2010-03-07 20:25:56]
1441*2^670583-1 is not prime.  Res64: 680D5E9DD9D3C398  Time : 664.0 sec.
user=vaughan
[2010-03-07 20:26:01]
1443*2^670583-1 is not prime.  Res64: 6D9201692AA485FF  Time : 664.0 sec.
user=vaughan
[2010-03-07 20:29:58]
1579*2^670583-1 is not prime.  Res64: 025646A0B8B042A4  Time : 646.0 sec.
user=vaughan
[2010-03-07 20:34:27]
1693*2^670583-1 is not prime.  Res64: 82ECFB20E40E16D9  Time : 648.0 sec.
user=vaughan
[2010-03-07 20:37:00]
1711*2^670583-1 is not prime.  Res64: B4CC5B69F802BBCF  Time : 664.0 sec.
user=vaughan
[2010-03-07 20:37:05]
1911*2^670583-1 is not prime.  Res64: 9B0A7209859EC3FB  Time : 664.0 sec.
user=vaughan
[2010-03-07 20:40:45]
1999*2^670583-1 is not prime.  Res64: 99048CD9B761CCA3  Time : 647.0 sec.
user=vaughan
[2010-03-07 20:45:15]
1449*2^670584-1 is not prime.  Res64: A725BC49DCAE6E72  Time : 649.0 sec.
user=vaughan
[2010-03-07 20:48:04]
1467*2^670584-1 is not prime.  Res64: 97F01257F2B7FD6E  Time : 664.0 sec.
user=vaughan
[2010-03-07 20:48:08]
1515*2^670584-1 is not prime.  Res64: 137C2B4ED8D65163  Time : 664.0 sec.
user=vaughan
[2010-03-07 20:51:30]
1589*2^670584-1 is not prime.  Res64: 4FF435538EB2DFB7  Time : 646.0 sec.
user=vaughan
[2010-03-07 20:56:05]
1635*2^670584-1 is not prime.  Res64: BBFB47DF36ADEA31  Time : 651.0 sec.
user=vaughan
[2010-03-07 20:59:09]
1683*2^670584-1 is not prime.  Res64: AD5223A69682311C  Time : 666.0 sec.
user=vaughan
[2010-03-07 20:59:11]
1733*2^670584-1 is not prime.  Res64: 7336315F2E65A378  Time : 663.0 sec.
user=vaughan
[2010-03-07 21:02:36]
1787*2^670584-1 is not prime.  Res64: 54A80F021CECA2B3  Time : 667.0 sec.
user=vaughan
[2010-03-07 21:06:55]
1845*2^670584-1 is not prime.  Res64: A1D1EAFD5AC84231  Time : 650.0 sec.
user=vaughan
[2010-03-07 21:10:11]
1859*2^670584-1 is not prime.  Res64: 4B97F52324AD982A  Time : 663.0 sec.
user=vaughan
[2010-03-07 21:10:14]
1405*2^670585-1 is not prime.  Res64: 1B273605785B3C20  Time : 663.0 sec.
user=vaughan
[2010-03-07 21:13:22]
1479*2^670585-1 is not prime.  Res64: B31884DFA20DCC5A  Time : 646.0 sec.
user=vaughan
[2010-03-07 21:17:43]
1611*2^670585-1 is not prime.  Res64: DCB47CA7C0C17471  Time : 648.0 sec.
user=vaughan
[2010-03-07 21:21:16]
1819*2^670585-1 is not prime.  Res64: D2C358DC00D19335  Time : 662.0 sec.
user=vaughan
[2010-03-07 21:21:16]
1629*2^670585-1 is not prime.  Res64: 03687C818B2B185A  Time : 665.0 sec.
user=vaughan
[2010-03-07 21:24:07]
1899*2^670585-1 is not prime.  Res64: C76C946136A39B21  Time : 646.0 sec.
user=vaughan
[2010-03-07 21:28:31]
1987*2^670585-1 is not prime.  Res64: EBDF2EB7D8CCE874  Time : 648.0 sec.
user=vaughan
[2010-03-07 21:32:20]
1527*2^670586-1 is not prime.  Res64: 707C78D03324EA10  Time : 664.0 sec.
user=vaughan
[2010-03-07 21:32:20]
1487*2^670586-1 is not prime.  Res64: 0AD3DE1C73ECA09A  Time : 664.0 sec.
user=vaughan
[2010-03-07 21:34:52]
1533*2^670586-1 is not prime.  Res64: F59577B6321999FC  Time : 645.0 sec.
user=vaughan
[2010-03-07 21:39:19]
1625*2^670586-1 is not prime.  Res64: A2AABA8E41796E84  Time : 649.0 sec.
user=vaughan
[2010-03-07 21:43:24]
1737*2^670586-1 is not prime.  Res64: F37996281A27BFBF  Time : 664.0 sec.
user=vaughan
[2010-03-07 21:43:24]
1833*2^670586-1 is not prime.  Res64: 1C27F25C18346C54  Time : 664.0 sec.
user=vaughan
[2010-03-07 21:45:38]
1953*2^670586-1 is not prime.  Res64: FD13B68D52A39F3B  Time : 646.0 sec.
user=vaughan
[2010-03-07 21:50:04]
1977*2^670586-1 is not prime.  Res64: FBA74B705EC5272B  Time : 646.0 sec.
user=vaughan
[2010-03-07 21:54:27]
1411*2^670587-1 is not prime.  Res64: 63A75FB704979E1E  Time : 663.0 sec.
user=vaughan
[2010-03-07 21:54:27]
1495*2^670587-1 is not prime.  Res64: 73FF49A50400C9A2  Time : 663.0 sec.
user=vaughan
[2010-03-07 21:56:25]
1519*2^670587-1 is not prime.  Res64: 21B1A3A7B69604EC  Time : 647.0 sec.
user=vaughan
[2010-03-07 22:01:03]
1629*2^670587-1 is not prime.  Res64: 9B131686442A67B4  Time : 659.0 sec.
user=vaughan
[2010-03-07 22:06:00]
1815*2^670587-1 is not prime.  Res64: 30EE598686C955D0  Time : 693.0 sec.
user=vaughan
[2010-03-07 22:06:04]
1771*2^670587-1 is not prime.  Res64: A7F23E6BACD80228  Time : 697.0 sec.
user=vaughan
[2010-03-07 22:07:45]
1875*2^670587-1 is not prime.  Res64: 8F4C46E2CD84DE9E  Time : 681.0 sec.
user=vaughan
[2010-03-07 22:12:10]
1407*2^670588-1 is not prime.  Res64: 92C9D7569880BE20  Time : 667.0 sec.
user=vaughan
[2010-03-07 22:17:09]
1409*2^670588-1 is not prime.  Res64: EBF390EBDD9F3AD0  Time : 669.0 sec.
user=vaughan
[2010-03-07 22:17:13]
1479*2^670588-1 is not prime.  Res64: 85EEF65EFBB91FDD  Time : 669.0 sec.
user=vaughan
[2010-03-07 22:18:31]
1487*2^670588-1 is not prime.  Res64: 31DAD4697A566B0F  Time : 646.0 sec.
user=vaughan
[2010-03-07 22:22:57]
1493*2^670588-1 is not prime.  Res64: D472353815B8F91A  Time : 648.0 sec.
user=vaughan
[2010-03-07 22:28:16]
1637*2^670588-1 is not prime.  Res64: CDF65F41A5CD54F8  Time : 667.0 sec.
user=vaughan
[2010-03-07 22:28:16]
1745*2^670588-1 is not prime.  Res64: C7202CD3141A35E2  Time : 663.0 sec.
user=vaughan
[2010-03-07 22:29:17]
1755*2^670588-1 is not prime.  Res64: A856109B03A5DD1C  Time : 646.0 sec.
user=vaughan
[2010-03-07 22:33:45]
1763*2^670588-1 is not prime.  Res64: CA2564C50ED36E5D  Time : 648.0 sec.
user=vaughan
[2010-03-07 22:39:20]
1769*2^670588-1 is not prime.  Res64: D4A38F13AD54289B  Time : 665.0 sec.
user=vaughan
[2010-03-07 22:39:21]
1853*2^670588-1 is not prime.  Res64: 808AECCA29FA1CDB  Time : 665.0 sec.
user=vaughan
[2010-03-07 22:40:03]
1857*2^670588-1 is not prime.  Res64: 3891F10F44CDBD0E  Time : 646.0 sec.
user=vaughan
[2010-03-07 22:44:33]
1917*2^670588-1 is not prime.  Res64: F0867B4C0B1C0364  Time : 648.0 sec.
user=vaughan
[2010-03-07 22:50:23]
1925*2^670588-1 is not prime.  Res64: A4C80C92BEB9C126  Time : 664.0 sec.
user=vaughan
[2010-03-07 22:50:24]
1965*2^670588-1 is not prime.  Res64: 6EB3E414E227DEC9  Time : 664.0 sec.
user=vaughan
[2010-03-07 22:50:50]
1501*2^670589-1 is not prime.  Res64: 6E8374C153D1D6F0  Time : 648.0 sec.
user=vaughan
[2010-03-07 22:55:19]
1537*2^670589-1 is not prime.  Res64: DC65C2AD0B085EB9  Time : 647.0 sec.
user=vaughan
[2010-03-07 23:01:27]
1585*2^670589-1 is not prime.  Res64: E03EFBDFF4C44EC7  Time : 664.0 sec.
user=vaughan
[2010-03-07 23:01:27]
1599*2^670589-1 is not prime.  Res64: 275D3D336D66D4DF  Time : 663.0 sec.
user=vaughan
[2010-03-07 23:01:36]
1635*2^670589-1 is not prime.  Res64: 0FA1AA1B1A4BF884  Time : 646.0 sec.
user=vaughan
[2010-03-07 23:06:06]
1699*2^670589-1 is not prime.  Res64: 6E8A0461708DC594  Time : 647.0 sec.
user=vaughan
[2010-03-07 23:12:22]
1809*2^670589-1 is not prime.  Res64: 54FFBE341CDE304C  Time : 646.0 sec.
user=vaughan
[2010-03-07 23:12:31]
1755*2^670589-1 is not prime.  Res64: 6B1C6BE05BCBE1F2  Time : 664.0 sec.
user=vaughan
[2010-03-07 23:12:31]
1785*2^670589-1 is not prime.  Res64: 42A2C9C5B1EC49F1  Time : 664.0 sec.
user=vaughan
[2010-03-07 23:16:53]
1819*2^670589-1 is not prime.  Res64: 4E5C841901561C9E  Time : 647.0 sec.
user=vaughan
[2010-03-07 23:23:08]
1867*2^670589-1 is not prime.  Res64: F01DBE906F8B6C88  Time : 646.0 sec.
user=vaughan
[2010-03-07 23:23:35]
1891*2^670589-1 is not prime.  Res64: 7E0FE323C5C80A04  Time : 665.0 sec.
user=vaughan
[2010-03-07 23:23:35]
1881*2^670589-1 is not prime.  Res64: 53BEA6D4F3C6FD40  Time : 665.0 sec.
user=vaughan
[2010-03-07 23:27:40]
1917*2^670589-1 is not prime.  Res64: AACCEFAA0764EA70  Time : 648.0 sec.
user=vaughan
[2010-03-07 23:33:53]
1999*2^670589-1 is not prime.  Res64: BBE677182653B097  Time : 645.0 sec.
user=vaughan
[2010-03-07 23:34:37]
1493*2^670590-1 is not prime.  Res64: 0797DD60038146EE  Time : 663.0 sec.
user=vaughan
[2010-03-07 23:34:41]
1491*2^670590-1 is not prime.  Res64: 52D4915BE2E1629D  Time : 667.0 sec.
user=vaughan
[2010-03-07 23:38:27]
1545*2^670590-1 is not prime.  Res64: 44152AE99C4809A9  Time : 648.0 sec.
user=vaughan
[2010-03-07 23:44:40]
1661*2^670590-1 is not prime.  Res64: BF282222CB340F6E  Time : 647.0 sec.
user=vaughan
[2010-03-07 23:45:39]
1727*2^670590-1 is not prime.  Res64: 0D4E9905A93090DE  Time : 662.0 sec.
user=vaughan
[2010-03-07 23:45:43]
1757*2^670590-1 is not prime.  Res64: 41F94F81ABD79353  Time : 663.0 sec.
user=vaughan
[2010-03-07 23:49:13]
1791*2^670590-1 is not prime.  Res64: 5B7284244E51A8F7  Time : 647.0 sec.
user=vaughan
[2010-03-07 23:55:46]
1797*2^670590-1 is not prime.  Res64: AD261E41A292328A  Time : 667.0 sec.
user=vaughan
[2010-03-07 23:57:11]
1431*2^670591-1 is not prime.  Res64: 308DBF95AFB52442  Time : 693.0 sec.
user=vaughan
[2010-03-07 23:57:18]
1483*2^670591-1 is not prime.  Res64: 69A74BEB5549A333  Time : 696.0 sec.
user=vaughan
[2010-03-08 00:00:40]
1503*2^670591-1 is not prime.  Res64: DA4E6D3914ACAB7E  Time : 687.0 sec.