user=vaughan [2010-03-06 00:01:38] 1573*2^670495-1 is not prime. Res64: B9C6E3B6151B0F7F Time : 664.0 sec. user=vaughan [2010-03-06 00:01:40] 1725*2^670495-1 is not prime. Res64: E65973950800A3D3 Time : 663.0 sec. user=vaughan [2010-03-06 00:05:04] 1765*2^670495-1 is not prime. Res64: 7066D03908266285 Time : 647.0 sec. user=vaughan [2010-03-06 00:10:17] 1809*2^670495-1 is not prime. Res64: 24A2B85BF64A30BE Time : 648.0 sec. user=vaughan [2010-03-06 00:12:39] 1851*2^670495-1 is not prime. Res64: 27C90F7A3836E203 Time : 662.0 sec. user=vaughan [2010-03-06 00:12:42] 1945*2^670495-1 is not prime. Res64: 411F4B5BFDC0F33F Time : 662.0 sec. user=vaughan [2010-03-06 00:15:49] 1449*2^670496-1 is not prime. Res64: E119C843D3FB3890 Time : 645.0 sec. user=vaughan [2010-03-06 00:21:10] 1469*2^670496-1 is not prime. Res64: 0476A5410D707F43 Time : 653.0 sec. user=vaughan [2010-03-06 00:24:05] 1643*2^670496-1 is not prime. Res64: 2A50A59AE253FCCC Time : 686.0 sec. user=vaughan [2010-03-06 00:24:06] 1727*2^670496-1 is not prime. Res64: 175F00E61FD037FC Time : 685.0 sec. user=vaughan [2010-03-06 00:26:55] 1775*2^670496-1 is not prime. Res64: F73C0505D9B65209 Time : 666.0 sec. user=vaughan [2010-03-06 00:32:37] 1835*2^670496-1 is not prime. Res64: C02BD48F59AC989E Time : 687.0 sec. user=vaughan [2010-03-06 00:35:18] 1967*2^670496-1 is not prime. Res64: 4B666E021B013489 Time : 673.0 sec. user=vaughan [2010-03-06 00:35:20] 1431*2^670497-1 is not prime. Res64: 536CE8D148B48C77 Time : 674.0 sec. user=vaughan [2010-03-06 00:37:44] 1435*2^670497-1 is not prime. Res64: FD2769E1B4BBAB96 Time : 649.0 sec. user=vaughan [2010-03-06 00:43:25] 1455*2^670497-1 is not prime. Res64: 3B1678948CAB9609 Time : 648.0 sec. user=vaughan [2010-03-06 00:46:21] 1491*2^670497-1 is not prime. Res64: 0F39EBB3288851E7 Time : 664.0 sec. user=vaughan [2010-03-06 00:46:22] 1531*2^670497-1 is not prime. Res64: 818971A2E298D3ED Time : 663.0 sec. user=vaughan [2010-03-06 00:48:29] 1549*2^670497-1 is not prime. Res64: 247E3D0328FE25A5 Time : 646.0 sec. user=vaughan [2010-03-06 00:54:12] 1719*2^670497-1 is not prime. Res64: 1FDC98C5F01F9AD1 Time : 647.0 sec. user=vaughan [2010-03-06 00:57:22] 1831*2^670497-1 is not prime. Res64: 5BC4398DBB363A61 Time : 662.0 sec. user=vaughan [2010-03-06 00:57:24] 1897*2^670497-1 is not prime. Res64: DC5A092191FCC052 Time : 662.0 sec. user=vaughan [2010-03-06 00:59:14] 1915*2^670497-1 is not prime. Res64: A2E69503C94607EF Time : 645.0 sec. user=vaughan [2010-03-06 01:05:00] 1443*2^670498-1 is not prime. Res64: 4984E80ABB372BC3 Time : 648.0 sec. user=vaughan [2010-03-06 01:08:25] 1493*2^670498-1 is not prime. Res64: 53383822242736CF Time : 663.0 sec. user=vaughan [2010-03-06 01:08:27] 1587*2^670498-1 is not prime. Res64: B446A46EE9970F0D Time : 663.0 sec. user=vaughan [2010-03-06 01:09:59] 1631*2^670498-1 is not prime. Res64: 6DD349E374593C4E Time : 646.0 sec. user=vaughan [2010-03-06 01:15:48] 1821*2^670498-1 is not prime. Res64: EFFF91427A27D30B Time : 648.0 sec. user=vaughan [2010-03-06 01:19:28] 1947*2^670498-1 is not prime. Res64: 6CE887928CD1E678 Time : 664.0 sec. user=vaughan [2010-03-06 01:19:29] 1401*2^670499-1 is not prime. Res64: ACA4690192945B0C Time : 663.0 sec. user=vaughan [2010-03-06 01:20:44] 1425*2^670499-1 is not prime. Res64: 50B7A4D2A985E02F Time : 645.0 sec. user=vaughan [2010-03-06 01:26:35] 1449*2^670499-1 is not prime. Res64: E28107FF88731F41 Time : 648.0 sec. user=vaughan [2010-03-06 01:30:30] 1453*2^670499-1 is not prime. Res64: 69711679E26ECBD1 Time : 663.0 sec. user=vaughan [2010-03-06 01:30:31] 1525*2^670499-1 is not prime. Res64: C72467A958ECD4C8 Time : 662.0 sec. user=vaughan [2010-03-06 01:31:30] 1603*2^670499-1 is not prime. Res64: 07B4DBF92548D80C Time : 646.0 sec. user=vaughan [2010-03-06 01:37:23] 1869*2^670499-1 is not prime. Res64: D18B8F1AE046DEC7 Time : 648.0 sec. user=vaughan [2010-03-06 01:41:33] 1981*2^670499-1 is not prime. Res64: DD0AE0576BA3FC17 Time : 663.0 sec. user=vaughan [2010-03-06 01:41:35] 1999*2^670499-1 is not prime. Res64: B1D1F45F3D635767 Time : 664.0 sec. user=vaughan [2010-03-06 01:42:14] 1439*2^670500-1 is not prime. Res64: 04EC34199678F699 Time : 645.0 sec. user=vaughan [2010-03-06 01:48:11] 1539*2^670500-1 is not prime. Res64: 0ACFB65D41EA0508 Time : 648.0 sec. user=vaughan [2010-03-06 01:52:36] 1557*2^670500-1 is not prime. Res64: 0FEFEA513C271172 Time : 664.0 sec. user=vaughan [2010-03-06 01:52:37] 1589*2^670500-1 is not prime. Res64: 269431544F9E6800 Time : 663.0 sec. user=vaughan [2010-03-06 01:52:59] 1593*2^670500-1 is not prime. Res64: 888C2F011441FD91 Time : 645.0 sec. user=vaughan [2010-03-06 01:58:58] 1599*2^670500-1 is not prime. Res64: B933EA2C4A24F643 Time : 648.0 sec. user=vaughan [2010-03-06 02:03:38] 1605*2^670500-1 is not prime. Res64: D20439E6DBF9C682 Time : 663.0 sec. user=vaughan [2010-03-06 02:03:39] 1643*2^670500-1 is not prime. Res64: 366C452B09B6F339 Time : 662.0 sec. user=vaughan [2010-03-06 02:03:45] 1727*2^670500-1 is not prime. Res64: 0041CB8F904D15C5 Time : 646.0 sec. user=vaughan [2010-03-06 02:09:44] 1817*2^670500-1 is not prime. Res64: 0CC7431EBA2510AA Time : 646.0 sec. user=vaughan [2010-03-06 02:14:36] 1471*2^670501-1 is not prime. Res64: 920D99296060BBD8 Time : 651.0 sec. user=vaughan [2010-03-06 02:14:48] 1407*2^670501-1 is not prime. Res64: 11E04CE0D9E81A64 Time : 670.0 sec. user=vaughan [2010-03-06 02:14:50] 1845*2^670500-1 is not prime. Res64: 749615821724F8B6 Time : 672.0 sec. user=vaughan [2010-03-06 02:21:11] 1641*2^670501-1 is not prime. Res64: 0A2637436DA5EAA9 Time : 688.0 sec. user=vaughan [2010-03-06 02:25:46] 1779*2^670501-1 is not prime. Res64: BE94699AB95D52C1 Time : 670.0 sec. user=vaughan [2010-03-06 02:26:16] 1855*2^670501-1 is not prime. Res64: 67CB0C74A4E38153 Time : 686.0 sec. user=vaughan [2010-03-06 02:26:16] 1837*2^670501-1 is not prime. Res64: E88991CF7BBC0854 Time : 688.0 sec. user=vaughan [2010-03-06 02:31:59] 1413*2^670502-1 is not prime. Res64: AEF3BA941C3A1D33 Time : 649.0 sec. user=vaughan [2010-03-06 02:36:31] 1445*2^670502-1 is not prime. Res64: 8EFA5780ECF9D09A Time : 645.0 sec. user=vaughan [2010-03-06 02:37:18] 1475*2^670502-1 is not prime. Res64: A4C4C09336A9F879 Time : 662.0 sec. user=vaughan [2010-03-06 02:37:18] 1625*2^670502-1 is not prime. Res64: 20FAA8A279E34A0F Time : 662.0 sec. user=vaughan [2010-03-06 02:42:47] 1665*2^670502-1 is not prime. Res64: BD0FF521B80424A4 Time : 648.0 sec. user=vaughan [2010-03-06 02:47:16] 1727*2^670502-1 is not prime. Res64: 32DC0C68CF788399 Time : 645.0 sec. user=vaughan [2010-03-06 02:48:21] 1853*2^670502-1 is not prime. Res64: 9223DC23CACD0922 Time : 663.0 sec. user=vaughan [2010-03-06 02:48:21] 1423*2^670503-1 is not prime. Res64: 160BC007FA87206E Time : 663.0 sec. user=vaughan [2010-03-06 02:53:34] 1455*2^670503-1 is not prime. Res64: A82955151535DD9D Time : 648.0 sec. user=vaughan [2010-03-06 02:58:02] 1519*2^670503-1 is not prime. Res64: 5ECC3FD6384E5465 Time : 646.0 sec. user=vaughan [2010-03-06 02:59:24] 1575*2^670503-1 is not prime. Res64: 2109FACAECF5EA94 Time : 663.0 sec. user=vaughan [2010-03-06 02:59:25] 1621*2^670503-1 is not prime. Res64: 47C2096A784B31C3 Time : 664.0 sec. user=vaughan [2010-03-06 03:04:21] 1761*2^670503-1 is not prime. Res64: 26105FEE845DD72E Time : 647.0 sec. user=vaughan [2010-03-06 03:08:49] 1801*2^670503-1 is not prime. Res64: C25CE5F576B495C2 Time : 647.0 sec. user=vaughan [2010-03-06 03:10:27] 1819*2^670503-1 is not prime. Res64: AC3798B523FF8285 Time : 663.0 sec. user=vaughan [2010-03-06 03:10:27] 1843*2^670503-1 is not prime. Res64: C37BFA8312EB49FF Time : 663.0 sec. user=vaughan [2010-03-06 03:15:09] 1995*2^670503-1 is not prime. Res64: 5C29830F739F2AC6 Time : 648.0 sec. user=vaughan [2010-03-06 03:19:35] 1999*2^670503-1 is not prime. Res64: 41021672A14C1B1E Time : 647.0 sec. user=vaughan [2010-03-06 03:21:29] 1449*2^670504-1 is not prime. Res64: 3B10554367BE4E70 Time : 663.0 sec. user=vaughan [2010-03-06 03:21:30] 1485*2^670504-1 is not prime. Res64: 5B5106306098033A Time : 663.0 sec. user=vaughan [2010-03-06 03:25:57] 1499*2^670504-1 is not prime. Res64: 10C5218875B969BB Time : 648.0 sec. user=vaughan [2010-03-06 03:30:21] 1533*2^670504-1 is not prime. Res64: 778FFDA3E5D25143 Time : 646.0 sec. user=vaughan [2010-03-06 03:32:32] 1557*2^670504-1 is not prime. Res64: D6ACB72F545CC3B9 Time : 663.0 sec. user=vaughan [2010-03-06 03:32:36] 1613*2^670504-1 is not prime. Res64: E4AE6BC23094FB72 Time : 666.0 sec. user=vaughan [2010-03-06 03:36:45] 1623*2^670504-1 is not prime. Res64: 1B38D9428688D6BE Time : 649.0 sec. user=vaughan [2010-03-06 03:41:07] 1685*2^670504-1 is not prime. Res64: CB819F601A835DC7 Time : 647.0 sec. user=vaughan [2010-03-06 03:43:34] 1713*2^670504-1 is not prime. Res64: 91D9831445AAE8AF Time : 662.0 sec. user=vaughan [2010-03-06 03:43:39] 1743*2^670504-1 is not prime. Res64: D4A0745F20593A1C Time : 663.0 sec. user=vaughan [2010-03-06 03:47:32] 1643*2^670506-1 is not prime. Res64: D08AD210DBAEACA2 Time : 648.0 sec. user=vaughan [2010-03-06 03:51:54] 1725*2^670506-1 is not prime. Res64: 027BC8A303C0D53D Time : 648.0 sec. user=vaughan [2010-03-06 03:54:38] 1733*2^670506-1 is not prime. Res64: 3676B4B2596E2EB9 Time : 664.0 sec. user=vaughan [2010-03-06 03:54:42] 1763*2^670506-1 is not prime. Res64: 561D1EEAA099E1FA Time : 663.0 sec. user=vaughan [2010-03-06 03:58:18] 1857*2^670506-1 is not prime. Res64: 1F34DB082DA15EC3 Time : 646.0 sec. user=vaughan [2010-03-06 04:02:39] 1887*2^670506-1 is not prime. Res64: B88785F8A6182FF8 Time : 646.0 sec. user=vaughan [2010-03-06 04:05:51] 1901*2^670506-1 is not prime. Res64: B4076506B28FB72A Time : 673.0 sec. user=vaughan [2010-03-06 04:05:54] 1965*2^670506-1 is not prime. Res64: 229F757DABCA7BA7 Time : 673.0 sec. user=vaughan [2010-03-06 04:09:27] 1971*2^670506-1 is not prime. Res64: E42F8F533107775A Time : 670.0 sec. user=vaughan [2010-03-06 04:13:51] 1419*2^670507-1 is not prime. Res64: 42D1A4BAAA0AD644 Time : 672.0 sec. user=vaughan [2010-03-06 04:17:20] 1479*2^670507-1 is not prime. Res64: 00E897A3B441776C Time : 689.0 sec. user=vaughan [2010-03-06 04:17:22] 1609*2^670507-1 is not prime. Res64: 8D27869D14AC06C2 Time : 688.0 sec. user=vaughan [2010-03-06 04:20:36] 1641*2^670507-1 is not prime. Res64: C614501176A15345 Time : 669.0 sec. user=vaughan [2010-03-06 04:24:37] 1765*2^670507-1 is not prime. Res64: 04B31286AD507AEB Time : 647.0 sec. user=vaughan [2010-03-06 04:28:23] 1771*2^670507-1 is not prime. Res64: E5C2FB9F4419C338 Time : 663.0 sec. user=vaughan [2010-03-06 04:28:25] 1815*2^670507-1 is not prime. Res64: 96CC15E8A09CB715 Time : 663.0 sec. user=vaughan [2010-03-06 04:31:23] 1863*2^670507-1 is not prime. Res64: 754E77CA15629630 Time : 648.0 sec. user=vaughan [2010-03-06 04:35:22] 1945*2^670507-1 is not prime. Res64: BF4ACE76767F3CFD Time : 645.0 sec. user=vaughan [2010-03-06 04:39:26] 1419*2^670508-1 is not prime. Res64: 76020CDFDBADCEB1 Time : 664.0 sec. user=vaughan [2010-03-06 04:39:29] 1439*2^670508-1 is not prime. Res64: 209D4DC99ABA6548 Time : 664.0 sec. user=vaughan [2010-03-06 04:42:11] 1457*2^670508-1 is not prime. Res64: F60E92EE630ADB1A Time : 648.0 sec. user=vaughan [2010-03-06 04:46:07] 1463*2^670508-1 is not prime. Res64: 5C1EFD7290126CF4 Time : 645.0 sec. user=vaughan [2010-03-06 04:50:30] 1745*2^670504-1 is not prime. Res64: 0A3825F0697DAC3B Time : 664.0 sec. user=vaughan [2010-03-06 04:50:32] 1823*2^670504-1 is not prime. Res64: AF0554E99EC43138 Time : 664.0 sec. user=vaughan [2010-03-06 04:52:59] 1833*2^670504-1 is not prime. Res64: 1930885C703ABEBF Time : 648.0 sec. user=vaughan [2010-03-06 04:56:52] 1847*2^670504-1 is not prime. Res64: E0B0F0D96FD16D01 Time : 645.0 sec. user=vaughan [2010-03-06 05:01:33] 1977*2^670504-1 is not prime. Res64: 328586F5EEB2BC47 Time : 663.0 sec. user=vaughan [2010-03-06 05:01:34] 1461*2^670505-1 is not prime. Res64: 75C0650CABDC93EF Time : 662.0 sec. user=vaughan [2010-03-06 05:03:46] 1501*2^670505-1 is not prime. Res64: A46EF6B50AE83AD2 Time : 648.0 sec. user=vaughan [2010-03-06 05:07:37] 1527*2^670505-1 is not prime. Res64: 0AEE192328180A23 Time : 645.0 sec. user=vaughan [2010-03-06 05:12:36] 1621*2^670505-1 is not prime. Res64: 5D7091F138687882 Time : 663.0 sec. user=vaughan [2010-03-06 05:12:38] 1659*2^670505-1 is not prime. Res64: 616246BA9266E1E5 Time : 664.0 sec. user=vaughan [2010-03-06 05:14:34] 1725*2^670505-1 is not prime. Res64: 920B7D82CB2DF3E4 Time : 648.0 sec. user=vaughan [2010-03-06 05:18:23] 1741*2^670505-1 is not prime. Res64: 7ECA08A1B268DAEB Time : 646.0 sec. user=vaughan [2010-03-06 05:23:39] 1807*2^670505-1 is not prime. Res64: C586D485DE72E985 Time : 663.0 sec. user=vaughan [2010-03-06 05:23:40] 1855*2^670505-1 is not prime. Res64: 16FC7B25D9935375 Time : 663.0 sec. user=vaughan [2010-03-06 05:25:22] 1929*2^670505-1 is not prime. Res64: 4F35BD3B76294C1E Time : 649.0 sec. user=vaughan [2010-03-06 05:29:08] 1951*2^670505-1 is not prime. Res64: 961AE94A3E130A77 Time : 646.0 sec. user=vaughan [2010-03-06 05:34:42] 1571*2^670506-1 is not prime. Res64: F4AE624CC9E96F05 Time : 663.0 sec. user=vaughan [2010-03-06 05:34:43] 1505*2^670508-1 is not prime. Res64: 3CE5F696B8F06593 Time : 663.0 sec. user=vaughan [2010-03-06 05:36:09] 1539*2^670508-1 is not prime. Res64: F5A60BE71B701225 Time : 648.0 sec. user=vaughan [2010-03-06 05:39:54] 1559*2^670508-1 is not prime. Res64: B4BF7C127ED5E631 Time : 647.0 sec. user=vaughan [2010-03-06 05:45:44] 1565*2^670508-1 is not prime. Res64: C8B0B2D85255B8B9 Time : 663.0 sec. user=vaughan [2010-03-06 05:45:47] 1583*2^670508-1 is not prime. Res64: 572B510A9BE08C3B Time : 664.0 sec. user=vaughan [2010-03-06 05:46:56] 1737*2^670508-1 is not prime. Res64: 14F32B97C70C34FA Time : 647.0 sec. user=vaughan [2010-03-06 05:50:41] 1809*2^670508-1 is not prime. Res64: 61C9E441FA2C4587 Time : 648.0 sec. user=vaughan [2010-03-06 05:56:48] 1893*2^670508-1 is not prime. Res64: 594D16D235CE5CAC Time : 664.0 sec. user=vaughan [2010-03-06 05:56:50] 1435*2^670509-1 is not prime. Res64: EC5A5B0678B990B3 Time : 664.0 sec. user=vaughan [2010-03-06 05:57:51] 1467*2^670509-1 is not prime. Res64: 2DF1E660F8B9D5A9 Time : 655.0 sec. user=vaughan [2010-03-06 06:01:43] 1537*2^670509-1 is not prime. Res64: 8F254DFF44CC3DBA Time : 663.0 sec. user=vaughan [2010-03-06 06:08:23] 1627*2^670509-1 is not prime. Res64: E5D6652FCE6F9880 Time : 695.0 sec. user=vaughan [2010-03-06 06:08:26] 1629*2^670509-1 is not prime. Res64: 1B387C89B5876952 Time : 696.0 sec. user=vaughan [2010-03-06 06:09:12] 1801*2^670509-1 is not prime. Res64: 1EA259DE5B9F2E88 Time : 682.0 sec. user=vaughan [2010-03-06 06:12:41] 1909*2^670509-1 is not prime. Res64: 3FCCA8E243B62462 Time : 658.0 sec. user=vaughan [2010-03-06 06:21:22] 1959*2^670509-1 is not prime. Res64: 6BA8B76E7FE0079F Time : 780.0 sec. user=vaughan [2010-03-06 06:21:32] 1407*2^670510-1 is not prime. Res64: 7046E7C99038BC50 Time : 786.0 sec. user=vaughan [2010-03-06 06:22:05] 1413*2^670510-1 is not prime. Res64: 4E9E0E7F246D0759 Time : 773.0 sec. user=vaughan [2010-03-06 06:24:58] 1455*2^670510-1 is not prime. Res64: EE09E235931B0879 Time : 737.0 sec. user=vaughan [2010-03-06 06:33:28] 1527*2^670510-1 is not prime. Res64: 4C2FFDD189FF4599 Time : 727.0 sec. user=vaughan [2010-03-06 06:33:35] 1583*2^670510-1 is not prime. Res64: 3AC263E35FFA1380 Time : 724.0 sec. user=vaughan [2010-03-06 06:33:38] 1595*2^670510-1 is not prime. Res64: F9B59714C4B78A24 Time : 694.0 sec. user=vaughan [2010-03-06 06:35:44] 1641*2^670510-1 is not prime. Res64: 490880AC8E55ECBC Time : 646.0 sec. user=vaughan [2010-03-06 06:44:27] 1797*2^670510-1 is not prime. Res64: F8AC6708333C42DC Time : 649.0 sec. user=vaughan [2010-03-06 06:44:33] 1751*2^670510-1 is not prime. Res64: 9E8C6CCB51CBE25D Time : 665.0 sec. user=vaughan [2010-03-06 06:44:38] 1787*2^670510-1 is not prime. Res64: 22C8DDC99CCFF606 Time : 663.0 sec. user=vaughan [2010-03-06 06:46:31] 1841*2^670510-1 is not prime. Res64: 1C2A4A7AE7473E03 Time : 647.0 sec. user=vaughan [2010-03-06 06:55:15] 1865*2^670510-1 is not prime. Res64: 5058A5FA054FE272 Time : 648.0 sec. user=vaughan [2010-03-06 06:55:35] 1977*2^670510-1 is not prime. Res64: E23840875D1E5104 Time : 663.0 sec. user=vaughan [2010-03-06 06:55:41] 1997*2^670510-1 is not prime. Res64: A169F0CE5D2A2BDA Time : 663.0 sec. user=vaughan [2010-03-06 06:57:17] 1449*2^670511-1 is not prime. Res64: 757E16EF7D61698F Time : 646.0 sec. user=vaughan [2010-03-06 07:06:02] 1461*2^670511-1 is not prime. Res64: 052CA030E593D7D6 Time : 648.0 sec. user=vaughan [2010-03-06 07:06:37] 1495*2^670511-1 is not prime. Res64: 8CECBAA81F9F36B4 Time : 662.0 sec. user=vaughan [2010-03-06 07:06:44] 1503*2^670511-1 is not prime. Res64: DD0865954F6E2D71 Time : 664.0 sec. user=vaughan [2010-03-06 07:08:04] 1533*2^670511-1 is not prime. Res64: 2FC77D07226B23CB Time : 647.0 sec. user=vaughan [2010-03-06 07:16:50] 1551*2^670511-1 is not prime. Res64: DD93DDA2C8D2AFD1 Time : 648.0 sec. user=vaughan [2010-03-06 07:17:40] 1609*2^670511-1 is not prime. Res64: EE96BB1FBD1765C2 Time : 663.0 sec. user=vaughan [2010-03-06 07:17:46] 1621*2^670511-1 is not prime. Res64: 0C1DCA703FAB0FEC Time : 662.0 sec. user=vaughan [2010-03-06 07:18:50] 1681*2^670511-1 is not prime. Res64: 0EF8AE104907FCC9 Time : 646.0 sec. user=vaughan [2010-03-06 07:27:38] 1791*2^670511-1 is not prime. Res64: 98811A43C3738296 Time : 648.0 sec. user=vaughan [2010-03-06 07:28:42] 1831*2^670511-1 is not prime. Res64: CCC4430F02BAEE4C Time : 663.0 sec. user=vaughan [2010-03-06 07:28:49] 1851*2^670511-1 is not prime. Res64: 23B2ADAAF81A3D9F Time : 663.0 sec. user=vaughan [2010-03-06 07:29:37] 1911*2^670511-1 is not prime. Res64: 8DF08DA987BE0507 Time : 647.0 sec. user=vaughan [2010-03-06 07:38:25] 1425*2^670512-1 is not prime. Res64: 558ACFC897E362DA Time : 647.0 sec. user=vaughan [2010-03-06 07:39:44] 1473*2^670512-1 is not prime. Res64: 2F7C07130653A6D2 Time : 662.0 sec. user=vaughan [2010-03-06 07:39:51] 1505*2^670512-1 is not prime. Res64: 7261179CB7E4C9FB Time : 663.0 sec. user=vaughan [2010-03-06 07:40:23] 1515*2^670512-1 is not prime. Res64: 2AB26FAED34893B7 Time : 646.0 sec. user=vaughan [2010-03-06 07:49:11] 1659*2^670512-1 is not prime. Res64: 60884F8C8FBDC990 Time : 646.0 sec. user=vaughan [2010-03-06 07:50:46] 1673*2^670512-1 is not prime. Res64: D8C6F8465E5EC248 Time : 662.0 sec. user=vaughan [2010-03-06 07:50:53] 1805*2^670512-1 is not prime. Res64: 32205AD47F19134E Time : 662.0 sec. user=vaughan [2010-03-06 07:51:08] 1827*2^670512-1 is not prime. Res64: C1575D86EA064E5C Time : 645.0 sec. user=vaughan [2010-03-06 08:00:26] 1859*2^670512-1 is not prime. Res64: C857B291D837B553 Time : 676.0 sec. user=vaughan [2010-03-06 08:02:25] 1875*2^670512-1 is not prime. Res64: 8E6FD837DAB41198 Time : 699.0 sec. user=vaughan [2010-03-06 08:02:28] 1949*2^670512-1 is not prime. Res64: 9745AEC552CE90E6 Time : 695.0 sec. user=vaughan [2010-03-06 08:02:28] 1965*2^670512-1 is not prime. Res64: F851A19677D38915 Time : 681.0 sec. user=vaughan [2010-03-06 08:11:18] 1441*2^670513-1 is not prime. Res64: 2A61CA0064EFCA54 Time : 652.0 sec. user=vaughan [2010-03-06 08:13:14] 1507*2^670513-1 is not prime. Res64: D04F7A0DF5AF8D07 Time : 646.0 sec. user=vaughan [2010-03-06 08:13:28] 1455*2^670513-1 is not prime. Res64: 595ED0361B3E80F9 Time : 663.0 sec. user=vaughan [2010-03-06 08:13:31] 1501*2^670513-1 is not prime. Res64: F6A9626A18A00263 Time : 663.0 sec. user=vaughan [2010-03-06 08:22:05] 1575*2^670513-1 is not prime. Res64: 83223CD460DF26D4 Time : 647.0 sec. user=vaughan [2010-03-06 08:24:01] 1605*2^670513-1 is not prime. Res64: 55D1FA9F1A249031 Time : 647.0 sec. user=vaughan [2010-03-06 08:24:30] 1629*2^670513-1 is not prime. Res64: DEA5BE4EB5B862A8 Time : 662.0 sec. user=vaughan [2010-03-06 08:24:34] 1731*2^670513-1 is not prime. Res64: D93079020DB16708 Time : 663.0 sec. user=vaughan [2010-03-06 08:32:52] 1819*2^670513-1 is not prime. Res64: B9151F9403E5FC94 Time : 647.0 sec. user=vaughan [2010-03-06 08:34:47] 1839*2^670513-1 is not prime. Res64: FE5BAF6EA53C0C15 Time : 647.0 sec. user=vaughan [2010-03-06 08:35:33] 1455*2^670514-1 is not prime. Res64: 82EDEE0DAB333B69 Time : 663.0 sec. user=vaughan [2010-03-06 08:35:36] 1481*2^670514-1 is not prime. Res64: AEAE93B631B30D80 Time : 663.0 sec. user=vaughan [2010-03-06 08:43:38] 1601*2^670514-1 is not prime. Res64: 49D7352325D21E61 Time : 647.0 sec. user=vaughan [2010-03-06 08:45:33] 1667*2^670514-1 is not prime. Res64: 673D2999B0D43104 Time : 646.0 sec. user=vaughan [2010-03-06 08:46:36] 1733*2^670514-1 is not prime. Res64: 7C956036C556821B Time : 663.0 sec. user=vaughan [2010-03-06 08:46:39] 1737*2^670514-1 is not prime. Res64: AB5E633BC0E93DE6 Time : 663.0 sec. user=vaughan [2010-03-06 08:54:26] 1743*2^670514-1 is not prime. Res64: 9C076D8A517FC646 Time : 648.0 sec. user=vaughan [2010-03-06 08:56:20] 1863*2^670514-1 is not prime. Res64: DDDB9FFDF31ACC81 Time : 647.0 sec. user=vaughan [2010-03-06 08:57:39] 1961*2^670514-1 is not prime. Res64: DD843D76CC8C4177 Time : 663.0 sec. user=vaughan [2010-03-06 08:57:43] 1425*2^670515-1 is not prime. Res64: BAE7D09C08B73764 Time : 664.0 sec. user=vaughan [2010-03-06 09:05:14] 1449*2^670515-1 is not prime. Res64: C3A3C3AA3F7AAD3C Time : 648.0 sec. user=vaughan [2010-03-06 09:07:07] 1501*2^670515-1 is not prime. Res64: C03AFB882C9BADBA Time : 647.0 sec. user=vaughan [2010-03-06 09:08:44] 1615*2^670515-1 is not prime. Res64: EB6920377F1D7797 Time : 665.0 sec. user=vaughan [2010-03-06 09:08:48] 1645*2^670515-1 is not prime. Res64: 1926EE53B68272D4 Time : 666.0 sec. user=vaughan [2010-03-06 09:16:01] 1651*2^670515-1 is not prime. Res64: C653A3C56747B1D6 Time : 647.0 sec. user=vaughan [2010-03-06 09:17:55] 1701*2^670515-1 is not prime. Res64: 114933F6F5887C37 Time : 648.0 sec. user=vaughan [2010-03-06 09:19:47] 1809*2^670515-1 is not prime. Res64: D19050DD67B91A67 Time : 663.0 sec. user=vaughan [2010-03-06 09:19:51] 1839*2^670515-1 is not prime. Res64: 2310D80EE5A000A6 Time : 663.0 sec. user=vaughan [2010-03-06 09:26:50] 1873*2^670515-1 is not prime. Res64: 53A3B8FD2AEE7AFA Time : 649.0 sec. user=vaughan [2010-03-06 09:28:41] 1899*2^670515-1 is not prime. Res64: 6307550435144184 Time : 647.0 sec. user=vaughan [2010-03-06 09:30:50] 1971*2^670515-1 is not prime. Res64: 3250C1516086BD9F Time : 663.0 sec. user=vaughan [2010-03-06 09:30:55] 1995*2^670515-1 is not prime. Res64: 97556D5BDD5AE8F3 Time : 664.0 sec. user=vaughan [2010-03-06 09:37:36] 1409*2^670516-1 is not prime. Res64: 9AADE775688872FD Time : 646.0 sec. user=vaughan [2010-03-06 09:39:28] 1419*2^670516-1 is not prime. Res64: 9D4A4F63E8F03040 Time : 647.0 sec. user=vaughan [2010-03-06 09:41:53] 1575*2^670516-1 is not prime. Res64: 4C64E9A1D0E3E83F Time : 664.0 sec. user=vaughan [2010-03-06 09:41:57] 1763*2^670516-1 is not prime. Res64: 5C87FCF10CC4CA8D Time : 663.0 sec. user=vaughan [2010-03-06 09:48:34] 1793*2^670516-1 is not prime. Res64: 5BB2FECE455C4326 Time : 658.0 sec. user=vaughan [2010-03-06 09:50:28] 1827*2^670516-1 is not prime. Res64: 2FB43B0493BF1BA9 Time : 660.0 sec. user=vaughan [2010-03-06 09:53:24] 1899*2^670516-1 is not prime. Res64: CC377E3B8CCE8A5A Time : 691.0 sec. user=vaughan [2010-03-06 09:53:31] 1953*2^670516-1 is not prime. Res64: AFB732FDE484BD8D Time : 694.0 sec. user=vaughan [2010-03-06 09:59:45] 1965*2^670516-1 is not prime. Res64: 3F006576FC659FE9 Time : 671.0 sec. user=vaughan [2010-03-06 10:01:29] 1417*2^670517-1 is not prime. Res64: E5AA1D318BA11015 Time : 661.0 sec. user=vaughan [2010-03-06 10:04:34] 1509*2^670517-1 is not prime. Res64: 365D5EA58090850A Time : 670.0 sec. user=vaughan [2010-03-06 10:04:40] 1575*2^670517-1 is not prime. Res64: D790E9566EF9E114 Time : 669.0 sec. user=vaughan [2010-03-06 10:10:32] 1587*2^670517-1 is not prime. Res64: 24A2A03809AB5129 Time : 647.0 sec. user=vaughan [2010-03-06 10:12:16] 1609*2^670517-1 is not prime. Res64: E579879944F425D6 Time : 647.0 sec. user=vaughan [2010-03-06 10:15:38] 1659*2^670517-1 is not prime. Res64: F6A16FEEC29AA28F Time : 664.0 sec. user=vaughan [2010-03-06 10:15:42] 1687*2^670517-1 is not prime. Res64: B43D16B89D20A791 Time : 663.0 sec. user=vaughan [2010-03-06 10:21:20] 1741*2^670517-1 is not prime. Res64: 99A7CD0A70FE96C0 Time : 648.0 sec. user=vaughan [2010-03-06 10:23:01] 1819*2^670517-1 is not prime. Res64: 48786FF6B0E0021F Time : 645.0 sec. user=vaughan [2010-03-06 10:26:42] 1897*2^670517-1 is not prime. Res64: E495CF6FAD903246 Time : 664.0 sec. user=vaughan [2010-03-06 10:26:44] 1905*2^670517-1 is not prime. Res64: 51CEB24E8FE3CC8F Time : 662.0 sec. user=vaughan [2010-03-06 10:32:08] 1947*2^670517-1 is not prime. Res64: 8ACBA8A02BF9CCC5 Time : 649.0 sec. user=vaughan [2010-03-06 10:33:48] 1951*2^670517-1 is not prime. Res64: 60E864BC767D5383 Time : 647.0 sec. user=vaughan [2010-03-06 10:37:44] 1493*2^670518-1 is not prime. Res64: 588225E60EA72E25 Time : 663.0 sec. user=vaughan [2010-03-06 10:37:47] 1515*2^670518-1 is not prime. Res64: F378DE76E6E8A1E7 Time : 663.0 sec. user=vaughan [2010-03-06 10:42:54] 1563*2^670518-1 is not prime. Res64: 6150CBBA6B0F7AEE Time : 647.0 sec. user=vaughan [2010-03-06 10:44:35] 1571*2^670518-1 is not prime. Res64: 839011BB7940D367 Time : 647.0 sec. user=vaughan [2010-03-06 10:48:47] 1595*2^670518-1 is not prime. Res64: 9269BD28C7906A13 Time : 663.0 sec. user=vaughan [2010-03-06 10:48:50] 1713*2^670518-1 is not prime. Res64: D5AA8E27A09B1A3A Time : 664.0 sec. user=vaughan [2010-03-06 10:53:42] 1761*2^670518-1 is not prime. Res64: 517FD9A498B2F871 Time : 648.0 sec. user=vaughan [2010-03-06 10:55:21] 1763*2^670518-1 is not prime. Res64: 637471D3FF28A713 Time : 647.0 sec. user=vaughan [2010-03-06 10:59:51] 1805*2^670518-1 is not prime. Res64: DC4244AFDCF35F62 Time : 664.0 sec. user=vaughan [2010-03-06 10:59:53] 1811*2^670518-1 is not prime. Res64: 609B3AFB1977BC7D Time : 663.0 sec. user=vaughan [2010-03-06 11:04:30] 1827*2^670518-1 is not prime. Res64: A3EE354FFB89DFE9 Time : 648.0 sec. user=vaughan [2010-03-06 11:06:07] 1875*2^670518-1 is not prime. Res64: 85B93F01AC45E1A9 Time : 646.0 sec. user=vaughan [2010-03-06 11:10:55] 1883*2^670518-1 is not prime. Res64: 5B9F1A26FB5BA0EE Time : 664.0 sec. user=vaughan [2010-03-06 11:10:56] 1913*2^670518-1 is not prime. Res64: E645B2D6B655A6B1 Time : 663.0 sec. user=vaughan [2010-03-06 11:15:18] 1431*2^670519-1 is not prime. Res64: EE3606151F13FB4E Time : 648.0 sec. user=vaughan [2010-03-06 11:16:53] 1483*2^670519-1 is not prime. Res64: DCA08C9FE64E7F25 Time : 646.0 sec. user=vaughan [2010-03-06 11:21:59] 1513*2^670519-1 is not prime. Res64: 8D1841A6CBDD6561 Time : 664.0 sec. user=vaughan [2010-03-06 11:21:59] 1533*2^670519-1 is not prime. Res64: 3E14736115A0BD84 Time : 663.0 sec. user=vaughan [2010-03-06 11:26:05] 1671*2^670519-1 is not prime. Res64: 1D2B4E1F5E00B818 Time : 647.0 sec. user=vaughan [2010-03-06 11:27:41] 1695*2^670519-1 is not prime. Res64: 1E801ADB7F1ABF18 Time : 648.0 sec. user=vaughan [2010-03-06 11:33:01] 1743*2^670519-1 is not prime. Res64: 86E8DC1A1A76DA4F Time : 662.0 sec. user=vaughan [2010-03-06 11:33:01] 1713*2^670519-1 is not prime. Res64: F5894C057B7DB8AC Time : 663.0 sec. user=vaughan [2010-03-06 11:36:50] 1749*2^670519-1 is not prime. Res64: A30FD098CD064E36 Time : 646.0 sec. user=vaughan [2010-03-06 11:38:27] 1771*2^670519-1 is not prime. Res64: 20E1E9381700165D Time : 647.0 sec. user=vaughan [2010-03-06 11:44:23] 1941*2^670519-1 is not prime. Res64: D13EAF8227B0A218 Time : 682.0 sec. user=vaughan [2010-03-06 11:44:24] 1801*2^670519-1 is not prime. Res64: 5184DD23DB360717 Time : 684.0 sec. user=vaughan [2010-03-06 11:48:10] 1959*2^670519-1 is not prime. Res64: 430772972AD3D41D Time : 680.0 sec. user=vaughan [2010-03-06 11:49:43] 1457*2^670520-1 is not prime. Res64: 17E78554D4C84B81 Time : 676.0 sec. user=vaughan [2010-03-06 11:55:41] 1595*2^670520-1 is not prime. Res64: E27B2371610ED6D7 Time : 678.0 sec. user=vaughan [2010-03-06 11:55:41] 1467*2^670520-1 is not prime. Res64: 40431467044CA13F Time : 678.0 sec. user=vaughan [2010-03-06 11:59:02] 1733*2^670520-1 is not prime. Res64: 31164EEA0F4D5DFB Time : 652.0 sec. user=vaughan [2010-03-06 12:00:32] 1809*2^670520-1 is not prime. Res64: C32A7490C11E7AB4 Time : 649.0 sec. user=vaughan [2010-03-06 12:06:44] 1845*2^670520-1 is not prime. Res64: 820D13706CF24492 Time : 664.0 sec. user=vaughan [2010-03-06 12:06:44] 1865*2^670520-1 is not prime. Res64: FBCD165CD2557A16 Time : 663.0 sec. user=vaughan [2010-03-06 12:09:50] 1995*2^670520-1 is not prime. Res64: D13C36EFC5835D76 Time : 648.0 sec. user=vaughan [2010-03-06 12:11:19] 1405*2^670521-1 is not prime. Res64: C535DD5F92868DA8 Time : 647.0 sec. user=vaughan [2010-03-06 12:17:47] 1545*2^670521-1 is not prime. Res64: 214ABFA59C1308C8 Time : 664.0 sec. user=vaughan [2010-03-06 12:17:47] 1419*2^670521-1 is not prime. Res64: 37BEC4F7798F8005 Time : 664.0 sec. user=vaughan [2010-03-06 12:20:37] 1585*2^670521-1 is not prime. Res64: DFAFE47836D3278B Time : 648.0 sec. user=vaughan [2010-03-06 12:22:05] 1609*2^670521-1 is not prime. Res64: CD5A20458B587E34 Time : 646.0 sec. user=vaughan [2010-03-06 12:28:50] 1699*2^670521-1 is not prime. Res64: 436B401842019C3F Time : 663.0 sec. user=vaughan [2010-03-06 12:28:50] 1617*2^670521-1 is not prime. Res64: 82B2D77667CE2163 Time : 663.0 sec. user=vaughan [2010-03-06 12:31:25] 1747*2^670521-1 is not prime. Res64: 0DBE5A2BA60FAE69 Time : 648.0 sec. user=vaughan [2010-03-06 12:32:51] 1749*2^670521-1 is not prime. Res64: 7FB6715F981BDA77 Time : 646.0 sec. user=vaughan [2010-03-06 12:39:53] 1885*2^670521-1 is not prime. Res64: F482C89B17276A13 Time : 663.0 sec. user=vaughan [2010-03-06 12:39:53] 1839*2^670521-1 is not prime. Res64: 379DB79731CE940B Time : 663.0 sec. user=vaughan [2010-03-06 12:42:13] 1491*2^670522-1 is not prime. Res64: BC9CAC4756824486 Time : 648.0 sec. user=vaughan [2010-03-06 12:43:38] 1505*2^670522-1 is not prime. Res64: BEEE9D95FAEB68E1 Time : 647.0 sec. user=vaughan [2010-03-06 12:50:57] 1511*2^670522-1 is not prime. Res64: 5BBF07FE6202FB74 Time : 664.0 sec. user=vaughan [2010-03-06 12:50:57] 1515*2^670522-1 is not prime. Res64: D67DBF768E3D02A9 Time : 664.0 sec. user=vaughan [2010-03-06 12:53:01] 1617*2^670522-1 is not prime. Res64: D033AF8A5DD6265B Time : 648.0 sec. user=vaughan [2010-03-06 12:54:24] 1623*2^670522-1 is not prime. Res64: BB4C78023B8D0AF4 Time : 646.0 sec. user=vaughan [2010-03-06 13:02:00] 1667*2^670522-1 is not prime. Res64: E016135B32FD61BB Time : 663.0 sec. user=vaughan [2010-03-06 13:02:01] 1805*2^670522-1 is not prime. Res64: 2F18E6AF3EE14C44 Time : 664.0 sec. user=vaughan [2010-03-06 13:03:49] 1865*2^670522-1 is not prime. Res64: 27CA6F5E91D15DDE Time : 648.0 sec. user=vaughan [2010-03-06 13:05:11] 1881*2^670522-1 is not prime. Res64: 325DD0D73570BD80 Time : 647.0 sec. user=vaughan [2010-03-06 13:13:03] 1953*2^670522-1 is not prime. Res64: 46AD2B154F3A93D3 Time : 664.0 sec. user=vaughan [2010-03-06 13:13:04] 1401*2^670523-1 is not prime. Res64: 53F9E7CCFFD20BA8 Time : 664.0 sec. user=vaughan [2010-03-06 13:14:36] 1435*2^670523-1 is not prime. Res64: FEFF4BD430C9BED8 Time : 648.0 sec. user=vaughan [2010-03-06 13:15:58] 1489*2^670523-1 is not prime. Res64: F21A16A5E3786536 Time : 648.0 sec. user=vaughan [2010-03-06 13:24:05] 1515*2^670523-1 is not prime. Res64: E74CBB7937204CE1 Time : 663.0 sec. user=vaughan [2010-03-06 13:24:06] 1555*2^670523-1 is not prime. Res64: AB4AA0BBC18F2456 Time : 662.0 sec. user=vaughan [2010-03-06 13:25:23] 1609*2^670523-1 is not prime. Res64: 166029B3553E7D63 Time : 647.0 sec. user=vaughan [2010-03-06 13:26:43] 1615*2^670523-1 is not prime. Res64: 4661FA2B488E8A88 Time : 645.0 sec. user=vaughan [2010-03-06 13:35:08] 1645*2^670523-1 is not prime. Res64: 8B9E9266FEF60321 Time : 663.0 sec. user=vaughan [2010-03-06 13:35:10] 1693*2^670523-1 is not prime. Res64: 61D4BE5BCC7C9AF3 Time : 664.0 sec. user=vaughan [2010-03-06 13:36:13] 1765*2^670523-1 is not prime. Res64: ADB74032E1E0BE46 Time : 650.0 sec. user=vaughan [2010-03-06 13:37:37] 1839*2^670523-1 is not prime. Res64: E69297EB5D6492C4 Time : 654.0 sec. user=vaughan [2010-03-06 13:46:44] 1875*2^670523-1 is not prime. Res64: 5D3F75DE339003C6 Time : 696.0 sec. user=vaughan [2010-03-06 13:46:45] 1933*2^670523-1 is not prime. Res64: E6DA580C1FFCBCF8 Time : 695.0 sec. user=vaughan [2010-03-06 13:47:36] 1935*2^670523-1 is not prime. Res64: 8CAAA6634C824CA6 Time : 683.0 sec. user=vaughan [2010-03-06 13:48:47] 1975*2^670523-1 is not prime. Res64: F117C23772F1DAAC Time : 671.0 sec. user=vaughan [2010-03-06 13:57:46] 1425*2^670524-1 is not prime. Res64: 6D8E2B69BE19B167 Time : 663.0 sec. user=vaughan [2010-03-06 13:57:49] 1515*2^670524-1 is not prime. Res64: 871EF841497591B5 Time : 664.0 sec. user=vaughan [2010-03-06 13:58:23] 1713*2^670524-1 is not prime. Res64: C667ABA085BC396D Time : 648.0 sec. user=vaughan [2010-03-06 13:59:34] 1773*2^670524-1 is not prime. Res64: 00E5E2D5F5F62D94 Time : 647.0 sec. user=vaughan [2010-03-06 14:08:49] 1787*2^670524-1 is not prime. Res64: 4272A4E2F1C129F6 Time : 663.0 sec. user=vaughan [2010-03-06 14:08:52] 1817*2^670524-1 is not prime. Res64: EC195E1EA70035E6 Time : 664.0 sec. user=vaughan [2010-03-06 14:09:10] 1845*2^670524-1 is not prime. Res64: D6B6786EE0730A72 Time : 647.0 sec. user=vaughan [2010-03-06 14:10:21] 1887*2^670524-1 is not prime. Res64: 365044B8402448ED Time : 648.0 sec. user=vaughan [2010-03-06 14:19:52] 1895*2^670524-1 is not prime. Res64: 8AB5F9E783221931 Time : 663.0 sec. user=vaughan [2010-03-06 14:19:55] 1431*2^670525-1 is not prime. Res64: E59DB51FD9F0E2A3 Time : 663.0 sec. user=vaughan [2010-03-06 14:19:58] 1461*2^670525-1 is not prime. Res64: 476722DE55A3BC86 Time : 648.0 sec. user=vaughan [2010-03-06 14:21:06] 1477*2^670525-1 is not prime. Res64: 237DFB107A7D6F4A Time : 646.0 sec. user=vaughan [2010-03-06 14:30:46] 1549*2^670525-1 is not prime. Res64: 9BF57A7454E0BA17 Time : 649.0 sec. user=vaughan [2010-03-06 14:30:54] 1479*2^670525-1 is not prime. Res64: F7A3801C714BD09E Time : 662.0 sec. user=vaughan [2010-03-06 14:30:58] 1501*2^670525-1 is not prime. Res64: 2D90687FA4AFC710 Time : 663.0 sec. user=vaughan [2010-03-06 14:31:52] 1699*2^670525-1 is not prime. Res64: 52574183DCDEDD85 Time : 647.0 sec. user=vaughan [2010-03-06 14:41:34] 1701*2^670525-1 is not prime. Res64: 8D3C0405132F0DD4 Time : 648.0 sec. user=vaughan [2010-03-06 14:41:56] 1797*2^670525-1 is not prime. Res64: 11A76FB00ECB467C Time : 662.0 sec. user=vaughan [2010-03-06 14:42:01] 1885*2^670525-1 is not prime. Res64: 66A87618949CA3F4 Time : 664.0 sec. user=vaughan [2010-03-06 14:42:38] 1897*2^670525-1 is not prime. Res64: D83EE04936281B04 Time : 646.0 sec. user=vaughan [2010-03-06 14:52:22] 1987*2^670525-1 is not prime. Res64: C10ED3D76F28A948 Time : 648.0 sec. user=vaughan [2010-03-06 14:52:58] 1467*2^670526-1 is not prime. Res64: 1D0A156677031F62 Time : 663.0 sec. user=vaughan [2010-03-06 14:53:04] 1485*2^670526-1 is not prime. Res64: C42B8F1BEA555CE2 Time : 663.0 sec. user=vaughan [2010-03-06 14:53:24] 1617*2^670526-1 is not prime. Res64: 86EA2F3E2298C769 Time : 646.0 sec. user=vaughan [2010-03-06 15:03:11] 1641*2^670526-1 is not prime. Res64: F79345C487FE4E18 Time : 649.0 sec. user=vaughan [2010-03-06 15:04:01] 1683*2^670526-1 is not prime. Res64: 9676C263973B5E40 Time : 663.0 sec. user=vaughan [2010-03-06 15:04:08] 1685*2^670526-1 is not prime. Res64: 13B64DB6AE561953 Time : 664.0 sec. user=vaughan [2010-03-06 15:04:10] 1707*2^670526-1 is not prime. Res64: 5CADF69754A1FEFE Time : 646.0 sec. user=vaughan [2010-03-06 15:13:59] 1725*2^670526-1 is not prime. Res64: BFF17231E5A4ED5A Time : 649.0 sec. user=vaughan [2010-03-06 15:14:57] 1881*2^670526-1 is not prime. Res64: 43D86412A949DF49 Time : 647.0 sec. user=vaughan [2010-03-06 15:15:05] 1737*2^670526-1 is not prime. Res64: 0635C91638431832 Time : 664.0 sec. user=vaughan [2010-03-06 15:15:11] 1751*2^670526-1 is not prime. Res64: 9FEF075CDEE3F246 Time : 663.0 sec. user=vaughan [2010-03-06 15:24:45] 1883*2^670526-1 is not prime. Res64: 2C8E8457EA0F7CEE Time : 647.0 sec. user=vaughan [2010-03-06 15:25:42] 1923*2^670526-1 is not prime. Res64: CB27C48893BBE2FB Time : 646.0 sec. user=vaughan [2010-03-06 15:26:09] 1479*2^670527-1 is not prime. Res64: 0BD58E8558F21D07 Time : 664.0 sec. user=vaughan [2010-03-06 15:26:13] 1533*2^670527-1 is not prime. Res64: 40248208917C5785 Time : 662.0 sec. user=vaughan [2010-03-06 15:36:07] 1551*2^670527-1 is not prime. Res64: E0635DCC24505B09 Time : 682.0 sec. user=vaughan [2010-03-06 15:36:54] 1605*2^670527-1 is not prime. Res64: 788900987D126BEF Time : 673.0 sec. user=vaughan [2010-03-06 15:37:43] 1921*2^670527-1 is not prime. Res64: 6286575F54CFBC63 Time : 694.0 sec. user=vaughan [2010-03-06 15:37:48] 1963*2^670527-1 is not prime. Res64: 2B427424B68F289D Time : 695.0 sec. user=vaughan [2010-03-06 15:47:04] 1965*2^670527-1 is not prime. Res64: CAE15E6645857FD8 Time : 657.0 sec. user=vaughan [2010-03-06 15:47:43] 1457*2^670528-1 is not prime. Res64: 7011F62CE15385BB Time : 650.0 sec. user=vaughan [2010-03-06 15:48:47] 1503*2^670528-1 is not prime. Res64: 31FA1ADEEE1CB685 Time : 664.0 sec. user=vaughan [2010-03-06 15:48:52] 1557*2^670528-1 is not prime. Res64: 161CDAA70E3D5622 Time : 664.0 sec. user=vaughan [2010-03-06 15:57:52] 1583*2^670528-1 is not prime. Res64: BB10FD1F81642F2B Time : 648.0 sec. user=vaughan [2010-03-06 15:58:28] 1623*2^670528-1 is not prime. Res64: 3322BE70A9B10B48 Time : 645.0 sec. user=vaughan [2010-03-06 15:59:51] 1679*2^670528-1 is not prime. Res64: 0CA1BB27E318A941 Time : 664.0 sec. user=vaughan [2010-03-06 15:59:54] 1683*2^670528-1 is not prime. Res64: 73EF5B5A7B763CB2 Time : 663.0 sec. user=vaughan [2010-03-06 16:08:40] 1739*2^670528-1 is not prime. Res64: 4ED0C9DE7ABED378 Time : 648.0 sec. user=vaughan [2010-03-06 16:09:14] 1809*2^670528-1 is not prime. Res64: 26627CFAFB9AF239 Time : 646.0 sec. user=vaughan [2010-03-06 16:10:55] 1913*2^670528-1 is not prime. Res64: 34A9C12780FAFD57 Time : 665.0 sec. user=vaughan [2010-03-06 16:10:57] 1949*2^670528-1 is not prime. Res64: 86226375ECA8070F Time : 663.0 sec. user=vaughan [2010-03-06 16:19:28] 1983*2^670528-1 is not prime. Res64: 6F5642F644AC05E9 Time : 649.0 sec. user=vaughan [2010-03-06 16:19:59] 1435*2^670529-1 is not prime. Res64: 92A3C64E97A8FD00 Time : 646.0 sec. user=vaughan [2010-03-06 16:21:58] 1449*2^670529-1 is not prime. Res64: 850AA80170C4A58E Time : 664.0 sec. user=vaughan [2010-03-06 16:22:00] 1485*2^670529-1 is not prime. Res64: 9A1719C13CA7D9FF Time : 663.0 sec. user=vaughan [2010-03-06 16:30:15] 1489*2^670529-1 is not prime. Res64: 3CF00158C44E3A27 Time : 648.0 sec. user=vaughan [2010-03-06 16:30:45] 1525*2^670529-1 is not prime. Res64: 7A99F8295B6DA3CA Time : 646.0 sec. user=vaughan [2010-03-06 16:33:02] 1555*2^670529-1 is not prime. Res64: 7475DD6415C21D7C Time : 664.0 sec. user=vaughan [2010-03-06 16:33:03] 1585*2^670529-1 is not prime. Res64: 97365797A4326E1F Time : 664.0 sec. user=vaughan [2010-03-06 16:41:02] 1711*2^670529-1 is not prime. Res64: 567120AF8BA21169 Time : 647.0 sec. user=vaughan [2010-03-06 16:41:31] 1789*2^670529-1 is not prime. Res64: CCD9C8E27AA76A74 Time : 646.0 sec. user=vaughan [2010-03-06 16:44:05] 1821*2^670529-1 is not prime. Res64: 4BBF3EFF2514E213 Time : 663.0 sec. user=vaughan [2010-03-06 16:44:06] 1881*2^670529-1 is not prime. Res64: 7B28AEC7778782BA Time : 663.0 sec. user=vaughan [2010-03-06 16:51:50] 1897*2^670529-1 is not prime. Res64: 38B2FFF5B7402F6A Time : 648.0 sec. user=vaughan [2010-03-06 16:52:16] 1425*2^670530-1 is not prime. Res64: 5EFBE3EE378E9E44 Time : 645.0 sec. user=vaughan [2010-03-06 16:55:09] 1461*2^670530-1 is not prime. Res64: 7F7117D67B275096 Time : 664.0 sec. user=vaughan [2010-03-06 16:55:10] 1517*2^670530-1 is not prime. Res64: AEF710C1D82D44C0 Time : 664.0 sec. user=vaughan [2010-03-06 17:02:38] 1523*2^670530-1 is not prime. Res64: D267DC1DECD453BC Time : 649.0 sec. user=vaughan [2010-03-06 17:03:01] 1535*2^670530-1 is not prime. Res64: 7DB77CF5B7B2BD90 Time : 646.0 sec. user=vaughan [2010-03-06 17:06:13] 1661*2^670530-1 is not prime. Res64: EF0CB6EE87496F2E Time : 665.0 sec. user=vaughan [2010-03-06 17:06:13] 1701*2^670530-1 is not prime. Res64: E344EC633D89A641 Time : 664.0 sec. user=vaughan [2010-03-06 17:13:23] 1787*2^670530-1 is not prime. Res64: A40BB0A06EF0A1AF Time : 646.0 sec. user=vaughan [2010-03-06 17:13:47] 1823*2^670530-1 is not prime. Res64: B4510876F6164C88 Time : 646.0 sec. user=vaughan [2010-03-06 17:17:15] 1853*2^670530-1 is not prime. Res64: 719D88ABE4CD8CE1 Time : 662.0 sec. user=vaughan [2010-03-06 17:17:15] 1931*2^670530-1 is not prime. Res64: 9E065870F8F39141 Time : 662.0 sec. user=vaughan [2010-03-06 17:24:20] 1563*2^670531-1 is not prime. Res64: A5D32DA5C85AE424 Time : 657.0 sec. user=vaughan [2010-03-06 17:24:40] 1573*2^670531-1 is not prime. Res64: 9E8D52CDC436F559 Time : 653.0 sec. user=vaughan [2010-03-06 17:28:44] 1633*2^670531-1 is not prime. Res64: 2A53C21D831B1665 Time : 689.0 sec. user=vaughan [2010-03-06 17:28:45] 1675*2^670531-1 is not prime. Res64: 156DF156FBDF125F Time : 690.0 sec. user=vaughan [2010-03-06 17:35:42] 1941*2^670531-1 is not prime. Res64: E7E49E4861943273 Time : 663.0 sec. user=vaughan [2010-03-06 17:35:42] 1795*2^670531-1 is not prime. Res64: 1017A1DDC0F0B4E3 Time : 682.0 sec. user=vaughan [2010-03-06 17:39:56] 1965*2^670531-1 is not prime. Res64: 2E643D55723BB7FC Time : 672.0 sec. user=vaughan [2010-03-06 17:39:58] 1419*2^670532-1 is not prime. Res64: E3F1A97AEC2C19A5 Time : 673.0 sec. user=vaughan [2010-03-06 17:46:28] 1425*2^670532-1 is not prime. Res64: D52A50C68F809BA0 Time : 646.0 sec. user=vaughan [2010-03-06 17:46:30] 1463*2^670532-1 is not prime. Res64: 7DE93353A917874C Time : 648.0 sec. user=vaughan [2010-03-06 17:51:00] 1583*2^670532-1 is not prime. Res64: 0603A16845EEDE8A Time : 664.0 sec. user=vaughan [2010-03-06 17:51:01] 1673*2^670532-1 is not prime. Res64: 9D75686E0E8D18C7 Time : 664.0 sec. user=vaughan [2010-03-06 17:57:14] 1757*2^670532-1 is not prime. Res64: 121E5A5136E0B672 Time : 646.0 sec. user=vaughan [2010-03-06 17:57:17] 1943*2^670532-1 is not prime. Res64: 2136FE5B5EA06C2B Time : 647.0 sec. user=vaughan [2010-03-06 18:02:04] 1995*2^670532-1 is not prime. Res64: D267B18530C71D94 Time : 664.0 sec. user=vaughan [2010-03-06 18:02:04] 1417*2^670533-1 is not prime. Res64: 9996184670815FBD Time : 663.0 sec. user=vaughan [2010-03-06 18:07:59] 1449*2^670533-1 is not prime. Res64: 57560CA9808596F2 Time : 645.0 sec. user=vaughan [2010-03-06 18:08:04] 1467*2^670533-1 is not prime. Res64: 29D4EBDE4DBA170C Time : 647.0 sec. user=vaughan [2010-03-06 18:13:07] 1557*2^670533-1 is not prime. Res64: DFF8801A481DDB54 Time : 664.0 sec. user=vaughan [2010-03-06 18:13:08] 1561*2^670533-1 is not prime. Res64: 90A82E9E72AC44F7 Time : 664.0 sec. user=vaughan [2010-03-06 18:18:45] 1587*2^670533-1 is not prime. Res64: AEC8FF81BC0DC933 Time : 646.0 sec. user=vaughan [2010-03-06 18:18:52] 1621*2^670533-1 is not prime. Res64: 369689EFA3BFB920 Time : 648.0 sec. user=vaughan [2010-03-06 18:24:11] 1629*2^670533-1 is not prime. Res64: 47D2E1046E5358FB Time : 664.0 sec. user=vaughan [2010-03-06 18:24:12] 1689*2^670533-1 is not prime. Res64: D73793D5D99440A0 Time : 665.0 sec. user=vaughan [2010-03-06 18:29:30] 1731*2^670533-1 is not prime. Res64: E394066F789D28E3 Time : 646.0 sec. user=vaughan [2010-03-06 18:29:39] 1951*2^670533-1 is not prime. Res64: 24B04DCDB266D6B7 Time : 647.0 sec. user=vaughan [2010-03-06 18:35:16] 1977*2^670533-1 is not prime. Res64: D7C7A3C42D69F0AD Time : 664.0 sec. user=vaughan [2010-03-06 18:35:16] 1959*2^670533-1 is not prime. Res64: 2E70795A4AA7D6D4 Time : 665.0 sec. user=vaughan [2010-03-06 18:40:16] 1403*2^670534-1 is not prime. Res64: 9531C7FEFCD9D8B4 Time : 646.0 sec. user=vaughan [2010-03-06 18:40:26] 1535*2^670534-1 is not prime. Res64: 1BEA5E81C49299A3 Time : 647.0 sec. user=vaughan [2010-03-06 18:46:20] 1553*2^670534-1 is not prime. Res64: 59180AF226A11F2F Time : 664.0 sec. user=vaughan [2010-03-06 18:46:20] 1563*2^670534-1 is not prime. Res64: 36258F17C83690CC Time : 664.0 sec. user=vaughan [2010-03-06 18:51:02] 1671*2^670534-1 is not prime. Res64: CDBD724A72F3DC09 Time : 646.0 sec. user=vaughan [2010-03-06 18:51:13] 1793*2^670534-1 is not prime. Res64: 7A1B522F0903D516 Time : 648.0 sec. user=vaughan [2010-03-06 18:57:25] 1821*2^670534-1 is not prime. Res64: 8AA6AF617A7EF913 Time : 665.0 sec. user=vaughan [2010-03-06 18:57:25] 1877*2^670534-1 is not prime. Res64: 3ED8AD5C5248A1FB Time : 665.0 sec. user=vaughan [2010-03-06 19:01:48] 1895*2^670534-1 is not prime. Res64: E927A8EF6B8FA9B1 Time : 646.0 sec. user=vaughan [2010-03-06 19:01:59] 1441*2^670535-1 is not prime. Res64: 7BAA0805EA126DDA Time : 646.0 sec. user=vaughan [2010-03-06 19:08:28] 1449*2^670535-1 is not prime. Res64: 48EC39AB789748AA Time : 663.0 sec. user=vaughan [2010-03-06 19:08:28] 1485*2^670535-1 is not prime. Res64: 5046D94C3811AD1B Time : 663.0 sec. user=vaughan [2010-03-06 19:12:33] 1531*2^670535-1 is not prime. Res64: DA6DCAB4333DF74E Time : 645.0 sec. user=vaughan [2010-03-06 19:12:45] 1603*2^670535-1 is not prime. Res64: D69FC08C4E298227 Time : 646.0 sec. user=vaughan [2010-03-06 19:19:47] 1725*2^670535-1 is not prime. Res64: 3BB0D88AA3B2EBB3 Time : 679.0 sec. user=vaughan [2010-03-06 19:19:47] 1621*2^670535-1 is not prime. Res64: F3D0D5F4323305B9 Time : 679.0 sec. user=vaughan [2010-03-06 19:23:40] 1749*2^670535-1 is not prime. Res64: E740DE54AA88829A Time : 668.0 sec. user=vaughan [2010-03-06 19:24:06] 1833*2^670535-1 is not prime. Res64: 8867DA9F4B20D6A6 Time : 681.0 sec. user=vaughan [2010-03-06 19:31:12] 1851*2^670535-1 is not prime. Res64: FB17B70E309FAE72 Time : 685.0 sec. user=vaughan [2010-03-06 19:31:14] 1863*2^670535-1 is not prime. Res64: C874C3209D535315 Time : 687.0 sec. user=vaughan [2010-03-06 19:34:32] 1873*2^670535-1 is not prime. Res64: 2F533265A03833E7 Time : 652.0 sec. user=vaughan [2010-03-06 19:34:58] 1879*2^670535-1 is not prime. Res64: 77615090E47FE251 Time : 652.0 sec. user=vaughan [2010-03-06 19:42:16] 1915*2^670535-1 is not prime. Res64: CCCDF541B8AE41F7 Time : 664.0 sec. user=vaughan [2010-03-06 19:42:18] 1929*2^670535-1 is not prime. Res64: 99343E2D7B317D2F Time : 664.0 sec. user=vaughan [2010-03-06 19:45:18] 1403*2^670536-1 is not prime. Res64: 4BDEC5CFFE9FBACD Time : 646.0 sec. user=vaughan [2010-03-06 19:45:45] 1409*2^670536-1 is not prime. Res64: 0C110BCAFC30A704 Time : 647.0 sec. user=vaughan [2010-03-06 19:53:21] 1425*2^670536-1 is not prime. Res64: A0DCF14D4A8540F2 Time : 665.0 sec. user=vaughan [2010-03-06 19:53:22] 1449*2^670536-1 is not prime. Res64: B99DD2C222C28F30 Time : 665.0 sec. user=vaughan [2010-03-06 19:56:05] 1487*2^670536-1 is not prime. Res64: 03551CC1CFA258BA Time : 648.0 sec. user=vaughan [2010-03-06 19:56:34] 1529*2^670536-1 is not prime. Res64: 3A7F63AE5916C771 Time : 649.0 sec. user=vaughan [2010-03-06 20:04:24] 1547*2^670536-1 is not prime. Res64: 7252D88B326E8F75 Time : 664.0 sec. user=vaughan [2010-03-06 20:04:24] 1563*2^670536-1 is not prime. Res64: FE2BB054DC7EED16 Time : 662.0 sec. user=vaughan [2010-03-06 20:06:51] 1617*2^670536-1 is not prime. Res64: DB16FC7C5438A740 Time : 646.0 sec. user=vaughan [2010-03-06 20:07:21] 1623*2^670536-1 is not prime. Res64: 3F3EE095FF6020BB Time : 648.0 sec. user=vaughan [2010-03-06 20:15:27] 1739*2^670536-1 is not prime. Res64: 827DAB1081CFD46F Time : 663.0 sec. user=vaughan [2010-03-06 20:15:28] 1857*2^670536-1 is not prime. Res64: 3BC8F873F01895A8 Time : 664.0 sec. user=vaughan [2010-03-06 20:17:36] 1895*2^670536-1 is not prime. Res64: CEA612175587811F Time : 645.0 sec. user=vaughan [2010-03-06 20:18:09] 1923*2^670536-1 is not prime. Res64: 3BD1423831B5506B Time : 648.0 sec. user=vaughan [2010-03-06 20:26:31] 1979*2^670536-1 is not prime. Res64: C50CAC2AAEDCF1AD Time : 664.0 sec. user=vaughan [2010-03-06 20:26:31] 1429*2^670537-1 is not prime. Res64: 17A7A2008B449958 Time : 664.0 sec. user=vaughan [2010-03-06 20:28:21] 1447*2^670537-1 is not prime. Res64: 60F822EEBBF954A7 Time : 646.0 sec. user=vaughan [2010-03-06 20:28:56] 1459*2^670537-1 is not prime. Res64: 3DD02B5558930EAE Time : 647.0 sec. user=vaughan [2010-03-06 20:37:34] 1479*2^670537-1 is not prime. Res64: 9570958EDEB90C49 Time : 664.0 sec. user=vaughan [2010-03-06 20:37:35] 1519*2^670537-1 is not prime. Res64: 1DB5365D38D6F09E Time : 664.0 sec. user=vaughan [2010-03-06 20:39:06] 1557*2^670537-1 is not prime. Res64: F7BD73BC21AB7FC2 Time : 645.0 sec. user=vaughan [2010-03-06 20:39:44] 1585*2^670537-1 is not prime. Res64: C706FDF27C801050 Time : 648.0 sec. user=vaughan [2010-03-06 20:48:38] 1627*2^670537-1 is not prime. Res64: 944F7E8DCCF0300E Time : 664.0 sec. user=vaughan [2010-03-06 20:48:38] 1821*2^670537-1 is not prime. Res64: 5C1745D12DF42165 Time : 664.0 sec. user=vaughan [2010-03-06 20:49:51] 1861*2^670537-1 is not prime. Res64: 098E204E2A0C52AF Time : 645.0 sec. user=vaughan [2010-03-06 20:50:32] 1403*2^670538-1 is not prime. Res64: 408897D96D1DFDCF Time : 649.0 sec. user=vaughan [2010-03-06 20:59:41] 1413*2^670538-1 is not prime. Res64: D8C3EA7CF4B293D2 Time : 663.0 sec. user=vaughan [2010-03-06 20:59:41] 1463*2^670538-1 is not prime. Res64: 64E5AFCECB6DD184 Time : 663.0 sec. user=vaughan [2010-03-06 21:00:37] 1553*2^670538-1 is not prime. Res64: A45B59EB990BD669 Time : 646.0 sec. user=vaughan [2010-03-06 21:01:18] 1733*2^670538-1 is not prime. Res64: EB847D530B8A898A Time : 647.0 sec. user=vaughan [2010-03-06 21:10:43] 1793*2^670538-1 is not prime. Res64: 22ED25B1BDC7D2BF Time : 663.0 sec. user=vaughan [2010-03-06 21:10:44] 1911*2^670538-1 is not prime. Res64: 9B6735EAD6ED857C Time : 663.0 sec. user=vaughan [2010-03-06 21:11:22] 1967*2^670538-1 is not prime. Res64: 7CFF2E3BB1B99DF1 Time : 645.0 sec. user=vaughan [2010-03-06 21:12:05] 1455*2^670539-1 is not prime. Res64: ACFA3260DB9BA737 Time : 647.0 sec. user=vaughan [2010-03-06 21:22:17] 1479*2^670539-1 is not prime. Res64: A407D9654A037D03 Time : 695.0 sec. user=vaughan [2010-03-06 21:22:19] 1491*2^670539-1 is not prime. Res64: 92F328B6ECA71B5D Time : 696.0 sec. user=vaughan [2010-03-06 21:22:36] 1525*2^670539-1 is not prime. Res64: E9A6B45C661E8006 Time : 675.0 sec. user=vaughan [2010-03-06 21:23:40] 1563*2^670539-1 is not prime. Res64: 604E46793C298979 Time : 696.0 sec. user=vaughan [2010-03-06 21:33:21] 1675*2^670539-1 is not prime. Res64: DDD150FA1A02F189 Time : 665.0 sec. user=vaughan [2010-03-06 21:33:22] 1761*2^670539-1 is not prime. Res64: 580FDAFDA88CAFCB Time : 647.0 sec. user=vaughan [2010-03-06 21:33:22] 1735*2^670539-1 is not prime. Res64: 6EA485098F7D0AD0 Time : 664.0 sec. user=vaughan [2010-03-06 21:34:27] 1813*2^670539-1 is not prime. Res64: 5BF0F8A9716A2641 Time : 648.0 sec. user=vaughan [2010-03-06 21:44:08] 1869*2^670539-1 is not prime. Res64: C22830BDAA21DC03 Time : 647.0 sec. user=vaughan [2010-03-06 21:44:25] 1843*2^670539-1 is not prime. Res64: D9E6DD2AE4C364F7 Time : 664.0 sec. user=vaughan [2010-03-06 21:44:25] 1873*2^670539-1 is not prime. Res64: 735B12FDF8B9D64B Time : 663.0 sec. user=vaughan [2010-03-06 21:45:15] 1909*2^670539-1 is not prime. Res64: 5C1CB1EEF37D6305 Time : 648.0 sec. user=vaughan [2010-03-06 21:54:54] 1911*2^670539-1 is not prime. Res64: C5F1C2846E863663 Time : 647.0 sec. user=vaughan [2010-03-06 21:55:28] 1959*2^670539-1 is not prime. Res64: AFC852676ABD7A9C Time : 664.0 sec. user=vaughan [2010-03-06 21:55:29] 1407*2^670540-1 is not prime. Res64: D4CC8BDFA837603F Time : 664.0 sec. user=vaughan [2010-03-06 21:56:03] 1473*2^670540-1 is not prime. Res64: 714EDD564699F9C5 Time : 648.0 sec. user=vaughan [2010-03-06 22:05:40] 1493*2^670540-1 is not prime. Res64: 55E749A7B0236A12 Time : 646.0 sec. user=vaughan [2010-03-06 22:06:32] 1515*2^670540-1 is not prime. Res64: 3F6D288150788154 Time : 664.0 sec. user=vaughan [2010-03-06 22:06:35] 1557*2^670540-1 is not prime. Res64: F377431B31F74AB9 Time : 667.0 sec. user=vaughan [2010-03-06 22:06:51] 1587*2^670540-1 is not prime. Res64: 8883A8905D531C86 Time : 648.0 sec. user=vaughan [2010-03-06 22:16:27] 1599*2^670540-1 is not prime. Res64: 654AC701071F022F Time : 647.0 sec. user=vaughan [2010-03-06 22:17:34] 1643*2^670540-1 is not prime. Res64: 9CCEFA49C7230AA1 Time : 663.0 sec. user=vaughan [2010-03-06 22:17:37] 1715*2^670540-1 is not prime. Res64: 742CD3660818A370 Time : 662.0 sec. user=vaughan [2010-03-06 22:17:38] 1769*2^670540-1 is not prime. Res64: 5206320D9C0CD069 Time : 647.0 sec. user=vaughan [2010-03-06 22:27:12] 1793*2^670540-1 is not prime. Res64: 223165AFBB59A349 Time : 646.0 sec. user=vaughan [2010-03-06 22:28:25] 1853*2^670540-1 is not prime. Res64: 55303266FD2990BA Time : 647.0 sec. user=vaughan [2010-03-06 22:28:41] 1809*2^670540-1 is not prime. Res64: A756F6827C382AE1 Time : 667.0 sec. user=vaughan [2010-03-06 22:28:41] 1833*2^670540-1 is not prime. Res64: 64CB223FC851D4C0 Time : 664.0 sec. user=vaughan [2010-03-06 22:37:59] 1883*2^670540-1 is not prime. Res64: 587325AB1A402CC0 Time : 647.0 sec. user=vaughan [2010-03-06 22:39:12] 1949*2^670540-1 is not prime. Res64: 04A8A1E14D4CF35C Time : 648.0 sec. user=vaughan [2010-03-06 22:39:43] 1989*2^670540-1 is not prime. Res64: 3CD5EB53A49393E9 Time : 662.0 sec. user=vaughan [2010-03-06 22:39:44] 1973*2^670540-1 is not prime. Res64: 042682993ABAC936 Time : 664.0 sec. user=vaughan [2010-03-06 22:48:45] 1431*2^670541-1 is not prime. Res64: 896AE73EEC895444 Time : 647.0 sec. user=vaughan [2010-03-06 22:49:59] 1501*2^670541-1 is not prime. Res64: 3ACBD68A24D02CDE Time : 647.0 sec. user=vaughan [2010-03-06 22:50:47] 1569*2^670541-1 is not prime. Res64: CA84AD1C0FB4611A Time : 664.0 sec. user=vaughan [2010-03-06 22:50:47] 1587*2^670541-1 is not prime. Res64: 31B7A80A3A7CF238 Time : 663.0 sec. user=vaughan [2010-03-06 22:59:31] 1615*2^670541-1 is not prime. Res64: 886ACB6D2BC61E56 Time : 646.0 sec. user=vaughan [2010-03-06 23:00:45] 1795*2^670541-1 is not prime. Res64: A4D48C4A2F7D964D Time : 646.0 sec. user=vaughan [2010-03-06 23:01:49] 1875*2^670541-1 is not prime. Res64: CAFA4EF7B32FC9F7 Time : 663.0 sec. user=vaughan [2010-03-06 23:01:50] 1891*2^670541-1 is not prime. Res64: A5190AAF27CD1928 Time : 663.0 sec. user=vaughan [2010-03-06 23:10:21] 1905*2^670541-1 is not prime. Res64: 11E58F5B5CDECF01 Time : 651.0 sec. user=vaughan [2010-03-06 23:11:48] 1911*2^670541-1 is not prime. Res64: 52DA60EBC156A55B Time : 664.0 sec. user=vaughan [2010-03-06 23:13:09] 1921*2^670541-1 is not prime. Res64: 540DBA4F954DFC73 Time : 680.0 sec. user=vaughan [2010-03-06 23:13:09] 1915*2^670541-1 is not prime. Res64: 39A6425BC9684870 Time : 680.0 sec. user=vaughan [2010-03-06 23:21:36] 1939*2^670541-1 is not prime. Res64: 00B8D9184DF6887C Time : 676.0 sec. user=vaughan [2010-03-06 23:22:58] 1957*2^670541-1 is not prime. Res64: 3258CFBB5C02F2D0 Time : 670.0 sec. user=vaughan [2010-03-06 23:24:30] 1971*2^670541-1 is not prime. Res64: A58CE8B2B90B4A5D Time : 682.0 sec. user=vaughan [2010-03-06 23:24:31] 1977*2^670541-1 is not prime. Res64: 3D7B8EAC65A17567 Time : 683.0 sec. user=vaughan [2010-03-06 23:32:23] 1427*2^670542-1 is not prime. Res64: 716A253030217737 Time : 647.0 sec. user=vaughan [2010-03-06 23:33:46] 1431*2^670542-1 is not prime. Res64: 40EFF9D74D88CDBB Time : 648.0 sec. user=vaughan [2010-03-06 23:35:33] 1535*2^670542-1 is not prime. Res64: 99B04B8209A03F46 Time : 663.0 sec. user=vaughan [2010-03-06 23:35:33] 1515*2^670542-1 is not prime. Res64: 202015D785D93775 Time : 664.0 sec. user=vaughan [2010-03-06 23:43:08] 1575*2^670542-1 is not prime. Res64: 3571B7157E360625 Time : 646.0 sec. user=vaughan [2010-03-06 23:44:33] 1703*2^670542-1 is not prime. Res64: 757882E6D6F53BED Time : 648.0 sec. user=vaughan [2010-03-06 23:46:35] 1757*2^670542-1 is not prime. Res64: 961EFF4C73B07586 Time : 662.0 sec. user=vaughan [2010-03-06 23:46:37] 1805*2^670542-1 is not prime. Res64: 9D48551E9C3767ED Time : 664.0 sec. user=vaughan [2010-03-06 23:53:54] 1811*2^670542-1 is not prime. Res64: 78858DB4ED12F4DF Time : 646.0 sec. user=vaughan [2010-03-06 23:55:21] 1883*2^670542-1 is not prime. Res64: 7DBC015B6FB984BB Time : 648.0 sec. user=vaughan [2010-03-06 23:57:38] 1887*2^670542-1 is not prime. Res64: F47E318F6CBD5496 Time : 663.0 sec. user=vaughan [2010-03-06 23:57:43] 1941*2^670542-1 is not prime. Res64: ED8C247D27B30427 Time : 667.0 sec.