user=vaughan [2010-03-08 00:06:37] 1533*2^670591-1 is not prime. Res64: 050504A79B140A5F Time : 651.0 sec. user=vaughan [2010-03-08 00:08:20] 1543*2^670591-1 is not prime. Res64: 2B9842FAF88B690E Time : 669.0 sec. user=vaughan [2010-03-08 00:08:27] 1639*2^670591-1 is not prime. Res64: 245515E93CC89A1B Time : 670.0 sec. user=vaughan [2010-03-08 00:11:26] 1665*2^670591-1 is not prime. Res64: B1FBA75C7B68CFDF Time : 647.0 sec. user=vaughan [2010-03-08 00:17:22] 1773*2^670591-1 is not prime. Res64: 33DF7B060C5B694A Time : 645.0 sec. user=vaughan [2010-03-08 00:19:24] 1779*2^670591-1 is not prime. Res64: 1C9E414E75370785 Time : 664.0 sec. user=vaughan [2010-03-08 00:19:31] 1833*2^670591-1 is not prime. Res64: 404DE4450000387B Time : 664.0 sec. user=vaughan [2010-03-08 00:22:13] 1851*2^670591-1 is not prime. Res64: C912FC5B408047E3 Time : 647.0 sec. user=vaughan [2010-03-08 00:28:08] 1911*2^670591-1 is not prime. Res64: E9C1D03A355DCDE4 Time : 646.0 sec. user=vaughan [2010-03-08 00:30:28] 1951*2^670591-1 is not prime. Res64: D88B8B3E1A384600 Time : 665.0 sec. user=vaughan [2010-03-08 00:30:34] 1443*2^670592-1 is not prime. Res64: D68082DDB6BDFB1C Time : 664.0 sec. user=vaughan [2010-03-08 00:33:00] 1623*2^670592-1 is not prime. Res64: 02D8DD24FFB2A3B1 Time : 647.0 sec. user=vaughan [2010-03-08 00:38:54] 1643*2^670592-1 is not prime. Res64: D4B7EEEF16C1BF4B Time : 646.0 sec. user=vaughan [2010-03-08 00:41:33] 1683*2^670592-1 is not prime. Res64: 668F0E84D049D611 Time : 666.0 sec. user=vaughan [2010-03-08 00:41:37] 1877*2^670592-1 is not prime. Res64: C6A9C77F3E696588 Time : 663.0 sec. user=vaughan [2010-03-08 00:43:48] 1935*2^670592-1 is not prime. Res64: 8D14CD192ECFC593 Time : 648.0 sec. user=vaughan [2010-03-08 00:49:40] 1431*2^670593-1 is not prime. Res64: 254813417D500AEC Time : 646.0 sec. user=vaughan [2010-03-08 00:52:37] 1447*2^670593-1 is not prime. Res64: 683A253553801161 Time : 665.0 sec. user=vaughan [2010-03-08 00:52:41] 1521*2^670593-1 is not prime. Res64: A740EDC3CF4CCA9D Time : 664.0 sec. user=vaughan [2010-03-08 00:54:35] 1615*2^670593-1 is not prime. Res64: 70DE46286271AF25 Time : 647.0 sec. user=vaughan [2010-03-08 01:00:26] 1731*2^670593-1 is not prime. Res64: 0D7E015856EBA72A Time : 646.0 sec. user=vaughan [2010-03-08 01:03:40] 1747*2^670593-1 is not prime. Res64: 461D67F76640C5AD Time : 664.0 sec. user=vaughan [2010-03-08 01:03:43] 1819*2^670593-1 is not prime. Res64: 81D7027113033B3F Time : 663.0 sec. user=vaughan [2010-03-08 01:05:22] 1909*2^670593-1 is not prime. Res64: 25DA05A97C73B374 Time : 647.0 sec. user=vaughan [2010-03-08 01:11:12] 1911*2^670593-1 is not prime. Res64: B1A266E051BB7C29 Time : 646.0 sec. user=vaughan [2010-03-08 01:14:43] 1915*2^670593-1 is not prime. Res64: BCB266F85BDA3722 Time : 663.0 sec. user=vaughan [2010-03-08 01:14:46] 1437*2^670594-1 is not prime. Res64: 7FB30E8A19B425B2 Time : 663.0 sec. user=vaughan [2010-03-08 01:16:10] 1491*2^670594-1 is not prime. Res64: CD43A837692F2FDC Time : 648.0 sec. user=vaughan [2010-03-08 01:21:58] 1541*2^670594-1 is not prime. Res64: 8E5D472B669B023B Time : 646.0 sec. user=vaughan [2010-03-08 01:25:47] 1625*2^670594-1 is not prime. Res64: 2D1B9F67EBE2DA1C Time : 665.0 sec. user=vaughan [2010-03-08 01:25:51] 1661*2^670594-1 is not prime. Res64: B340BAE60FD9089C Time : 665.0 sec. user=vaughan [2010-03-08 01:26:58] 1701*2^670594-1 is not prime. Res64: 65406AFB1816909B Time : 648.0 sec. user=vaughan [2010-03-08 01:32:45] 1721*2^670594-1 is not prime. Res64: 52F9F38D085B8E55 Time : 648.0 sec. user=vaughan [2010-03-08 01:36:49] 1787*2^670594-1 is not prime. Res64: C7057DA0298FA3C7 Time : 663.0 sec. user=vaughan [2010-03-08 01:36:53] 1847*2^670594-1 is not prime. Res64: 47592777DD727AFD Time : 663.0 sec. user=vaughan [2010-03-08 01:37:44] 1851*2^670594-1 is not prime. Res64: AA4D0355611A9292 Time : 647.0 sec. user=vaughan [2010-03-08 01:43:31] 1937*2^670594-1 is not prime. Res64: D12145ACA3F5CF62 Time : 646.0 sec. user=vaughan [2010-03-08 01:48:02] 1965*2^670594-1 is not prime. Res64: 0161BCDEA525811F Time : 673.0 sec. user=vaughan [2010-03-08 01:48:05] 1411*2^670595-1 is not prime. Res64: D03EB827EC39B387 Time : 672.0 sec. user=vaughan [2010-03-08 01:48:45] 1449*2^670595-1 is not prime. Res64: E9C19DA25EE45188 Time : 662.0 sec. user=vaughan [2010-03-08 01:54:45] 1459*2^670595-1 is not prime. Res64: 3D6F4BD4B15E266E Time : 674.0 sec. user=vaughan [2010-03-08 01:59:32] 1509*2^670595-1 is not prime. Res64: FB5C4E3BAADEA26B Time : 690.0 sec. user=vaughan [2010-03-08 01:59:34] 1555*2^670595-1 is not prime. Res64: 7E15DE587C8EAC96 Time : 689.0 sec. user=vaughan [2010-03-08 01:59:55] 1581*2^670595-1 is not prime. Res64: E15C7A48DD88E4D7 Time : 671.0 sec. user=vaughan [2010-03-08 02:06:14] 1603*2^670595-1 is not prime. Res64: 26EA07A1D38D9002 Time : 689.0 sec. user=vaughan [2010-03-08 02:10:35] 1645*2^670595-1 is not prime. Res64: AD49C0CAB1362587 Time : 663.0 sec. user=vaughan [2010-03-08 02:10:36] 1741*2^670595-1 is not prime. Res64: EBFB5D0E2DAB11EE Time : 662.0 sec. user=vaughan [2010-03-08 02:10:42] 1785*2^670595-1 is not prime. Res64: 63878FA812E8499B Time : 647.0 sec. user=vaughan [2010-03-08 02:17:01] 1813*2^670595-1 is not prime. Res64: 86F711AAD72B6189 Time : 647.0 sec. user=vaughan [2010-03-08 02:21:33] 1403*2^670596-1 is not prime. Res64: D94595E1A7C3021D Time : 651.0 sec. user=vaughan [2010-03-08 02:21:38] 1909*2^670595-1 is not prime. Res64: 2D0B34BD0FFB0EA4 Time : 664.0 sec. user=vaughan [2010-03-08 02:21:44] 1933*2^670595-1 is not prime. Res64: 369F098F3E2E40FB Time : 668.0 sec. user=vaughan [2010-03-08 02:27:46] 1407*2^670596-1 is not prime. Res64: 05F66C48186849FC Time : 646.0 sec. user=vaughan [2010-03-08 02:32:21] 1433*2^670596-1 is not prime. Res64: 72C44201A146A293 Time : 651.0 sec. user=vaughan [2010-03-08 02:32:42] 1487*2^670596-1 is not prime. Res64: 09055B0AE26E827D Time : 664.0 sec. user=vaughan [2010-03-08 02:32:50] 1497*2^670596-1 is not prime. Res64: 6BF0AD2974785C7B Time : 666.0 sec. user=vaughan [2010-03-08 02:38:32] 1503*2^670596-1 is not prime. Res64: 1BA28D35B86122B3 Time : 646.0 sec. user=vaughan [2010-03-08 02:43:07] 1575*2^670596-1 is not prime. Res64: 544812B2AB7B17C6 Time : 647.0 sec. user=vaughan [2010-03-08 02:43:45] 1679*2^670596-1 is not prime. Res64: 309FFD3A6F58C400 Time : 664.0 sec. user=vaughan [2010-03-08 02:43:54] 1823*2^670596-1 is not prime. Res64: 304DCF93AC2FD0FE Time : 664.0 sec. user=vaughan [2010-03-08 02:49:18] 1895*2^670596-1 is not prime. Res64: 2008B090F42D3C40 Time : 646.0 sec. user=vaughan [2010-03-08 02:53:55] 1967*2^670596-1 is not prime. Res64: 89056990A99A10D8 Time : 648.0 sec. user=vaughan [2010-03-08 02:54:48] 1997*2^670596-1 is not prime. Res64: AE61649C04C36EF9 Time : 663.0 sec. user=vaughan [2010-03-08 02:54:59] 1461*2^670597-1 is not prime. Res64: F2E9D25AC3BAF6E2 Time : 666.0 sec. user=vaughan [2010-03-08 03:00:04] 1507*2^670597-1 is not prime. Res64: E47E91FB1A7F9474 Time : 646.0 sec. user=vaughan [2010-03-08 03:04:42] 1561*2^670597-1 is not prime. Res64: A83CE1A7A18379DE Time : 647.0 sec. user=vaughan [2010-03-08 03:05:52] 1569*2^670597-1 is not prime. Res64: 1429A45B8B1F81A0 Time : 664.0 sec. user=vaughan [2010-03-08 03:06:02] 1597*2^670597-1 is not prime. Res64: EF8E2C3CD8ECE67D Time : 664.0 sec. user=vaughan [2010-03-08 03:10:50] 1681*2^670597-1 is not prime. Res64: 59CD30E4DB7B1AE0 Time : 646.0 sec. user=vaughan [2010-03-08 03:15:29] 1987*2^670597-1 is not prime. Res64: 45FDAB7F4D29664E Time : 647.0 sec. user=vaughan [2010-03-08 03:16:56] 1403*2^670598-1 is not prime. Res64: EF52322A267FF658 Time : 664.0 sec. user=vaughan [2010-03-08 03:17:05] 1463*2^670598-1 is not prime. Res64: 069FDF99479830BB Time : 663.0 sec. user=vaughan [2010-03-08 03:21:36] 1481*2^670598-1 is not prime. Res64: 735887F418218297 Time : 647.0 sec. user=vaughan [2010-03-08 03:26:15] 1491*2^670598-1 is not prime. Res64: 85FC717ACBB785E7 Time : 646.0 sec. user=vaughan [2010-03-08 03:28:00] 1503*2^670598-1 is not prime. Res64: 36711CB5496FB3F0 Time : 664.0 sec. user=vaughan [2010-03-08 03:28:09] 1587*2^670598-1 is not prime. Res64: 247F9F32DB22344F Time : 664.0 sec. user=vaughan [2010-03-08 03:32:21] 1607*2^670598-1 is not prime. Res64: D6DC4792042777A9 Time : 646.0 sec. user=vaughan [2010-03-08 03:37:00] 1611*2^670598-1 is not prime. Res64: FFA7B15FDE08C633 Time : 645.0 sec. user=vaughan [2010-03-08 03:39:04] 1623*2^670598-1 is not prime. Res64: 12090BD403A8C1B2 Time : 664.0 sec. user=vaughan [2010-03-08 03:39:12] 1877*2^670598-1 is not prime. Res64: B32063155117F579 Time : 664.0 sec. user=vaughan [2010-03-08 03:43:15] 1893*2^670598-1 is not prime. Res64: F78629E115779C9B Time : 654.0 sec. user=vaughan [2010-03-08 03:48:18] 1901*2^670598-1 is not prime. Res64: 5539992E163D164E Time : 678.0 sec. user=vaughan [2010-03-08 03:50:41] 1425*2^670599-1 is not prime. Res64: AB40A1D31D4B2DBE Time : 698.0 sec. user=vaughan [2010-03-08 03:50:54] 1431*2^670599-1 is not prime. Res64: 6E8EC3D23F7A9561 Time : 702.0 sec. user=vaughan [2010-03-08 03:54:20] 1479*2^670599-1 is not prime. Res64: 69C333F0D7FE43C7 Time : 665.0 sec. user=vaughan [2010-03-08 03:59:10] 1495*2^670599-1 is not prime. Res64: 71C612632E1626F1 Time : 652.0 sec. user=vaughan [2010-03-08 04:01:45] 1755*2^670599-1 is not prime. Res64: 2F0DA44FFBC91AEF Time : 665.0 sec. user=vaughan [2010-03-08 04:01:58] 1791*2^670599-1 is not prime. Res64: 3568641531F2B769 Time : 664.0 sec. user=vaughan [2010-03-08 04:05:07] 1879*2^670599-1 is not prime. Res64: 3182CC78724694F8 Time : 647.0 sec. user=vaughan [2010-03-08 04:09:58] 1939*2^670599-1 is not prime. Res64: 0E8B0F6F88F30452 Time : 648.0 sec. user=vaughan [2010-03-08 04:12:50] 1959*2^670599-1 is not prime. Res64: CD2734653D874C99 Time : 665.0 sec. user=vaughan [2010-03-08 04:13:03] 1443*2^670600-1 is not prime. Res64: A0528117A5C72E78 Time : 665.0 sec. user=vaughan [2010-03-08 04:15:52] 1457*2^670600-1 is not prime. Res64: 3C0A8DD7674ADF1C Time : 646.0 sec. user=vaughan [2010-03-08 04:20:45] 1503*2^670600-1 is not prime. Res64: 10FDCEB498F699AC Time : 647.0 sec. user=vaughan [2010-03-08 04:23:55] 1505*2^670600-1 is not prime. Res64: B33F23CFF71C4288 Time : 665.0 sec. user=vaughan [2010-03-08 04:24:07] 1587*2^670600-1 is not prime. Res64: 168E25E710B241D3 Time : 665.0 sec. user=vaughan [2010-03-08 04:26:38] 1697*2^670600-1 is not prime. Res64: 1868C1DA1CF4929F Time : 646.0 sec. user=vaughan [2010-03-08 04:31:31] 1703*2^670600-1 is not prime. Res64: 0773D2E58C2D957A Time : 647.0 sec. user=vaughan [2010-03-08 04:35:00] 1727*2^670600-1 is not prime. Res64: C640CAA5B514F566 Time : 665.0 sec. user=vaughan [2010-03-08 04:35:11] 1745*2^670600-1 is not prime. Res64: 9BE46E733C855C35 Time : 664.0 sec. user=vaughan [2010-03-08 04:37:24] 1797*2^670600-1 is not prime. Res64: 9098918D2B61BBEF Time : 646.0 sec. user=vaughan [2010-03-08 04:42:18] 1835*2^670600-1 is not prime. Res64: C8FB857ADB742E14 Time : 647.0 sec. user=vaughan [2010-03-08 04:46:04] 1839*2^670600-1 is not prime. Res64: 871194CA88574211 Time : 664.0 sec. user=vaughan [2010-03-08 04:46:15] 1405*2^670601-1 is not prime. Res64: D57F7224D8053306 Time : 664.0 sec. user=vaughan [2010-03-08 04:48:10] 1429*2^670601-1 is not prime. Res64: 775BA50323DEAAB5 Time : 646.0 sec. user=vaughan [2010-03-08 04:53:06] 1431*2^670601-1 is not prime. Res64: 81BBBE0DAB931FAB Time : 648.0 sec. user=vaughan [2010-03-08 04:57:08] 1459*2^670601-1 is not prime. Res64: 73E3365D3C778037 Time : 664.0 sec. user=vaughan [2010-03-08 04:57:18] 1501*2^670601-1 is not prime. Res64: 7A0FD612E0DCB2F6 Time : 664.0 sec. user=vaughan [2010-03-08 04:58:56] 1531*2^670601-1 is not prime. Res64: 2705DD5B59F64CC3 Time : 646.0 sec. user=vaughan [2010-03-08 05:03:53] 1537*2^670601-1 is not prime. Res64: FF0D993160D5B32D Time : 648.0 sec. user=vaughan [2010-03-08 05:08:11] 1627*2^670601-1 is not prime. Res64: 9D82514053D16AF6 Time : 664.0 sec. user=vaughan [2010-03-08 05:08:23] 1651*2^670601-1 is not prime. Res64: C612648C933463B7 Time : 665.0 sec. user=vaughan [2010-03-08 05:09:42] 1747*2^670601-1 is not prime. Res64: 9AE2FBC869B76E26 Time : 646.0 sec. user=vaughan [2010-03-08 05:14:40] 1791*2^670601-1 is not prime. Res64: 19A9805105C6B9C0 Time : 648.0 sec. user=vaughan [2010-03-08 05:19:15] 1861*2^670601-1 is not prime. Res64: 2934E0D8170C791E Time : 664.0 sec. user=vaughan [2010-03-08 05:19:26] 1891*2^670601-1 is not prime. Res64: 54DBFE39FE0BF4DE Time : 664.0 sec. user=vaughan [2010-03-08 05:20:28] 1911*2^670601-1 is not prime. Res64: E3B4E9E0A4C80181 Time : 646.0 sec. user=vaughan [2010-03-08 05:25:27] 1497*2^670602-1 is not prime. Res64: CDE790C90C939773 Time : 647.0 sec. user=vaughan [2010-03-08 05:30:16] 1563*2^670602-1 is not prime. Res64: 38A508CF20A65138 Time : 661.0 sec. user=vaughan [2010-03-08 05:30:29] 1575*2^670602-1 is not prime. Res64: A2C85D5D3A6DB955 Time : 663.0 sec. user=vaughan [2010-03-08 05:31:18] 1745*2^670602-1 is not prime. Res64: 2E9310BC16A5AF79 Time : 650.0 sec. user=vaughan [2010-03-08 05:36:21] 1811*2^670602-1 is not prime. Res64: 61C8D9599842ED4E Time : 654.0 sec. user=vaughan [2010-03-08 05:41:52] 1833*2^670602-1 is not prime. Res64: B2D08104EABEC027 Time : 696.0 sec. user=vaughan [2010-03-08 05:42:04] 1865*2^670602-1 is not prime. Res64: 815FF4ACAC3011F6 Time : 696.0 sec. user=vaughan [2010-03-08 05:42:33] 1887*2^670602-1 is not prime. Res64: 6AB68164C77CAF85 Time : 675.0 sec. user=vaughan [2010-03-08 05:47:37] 1925*2^670602-1 is not prime. Res64: BF8CA5862D99BB97 Time : 676.0 sec. user=vaughan [2010-03-08 05:53:00] 1977*2^670602-1 is not prime. Res64: D8125F9C00F6AC90 Time : 669.0 sec. user=vaughan [2010-03-08 05:53:10] 1997*2^670602-1 is not prime. Res64: 0696E1CCC7F88923 Time : 666.0 sec. user=vaughan [2010-03-08 05:53:21] 1561*2^670603-1 is not prime. Res64: 392D66343A084CCC Time : 648.0 sec. user=vaughan [2010-03-08 05:58:25] 1581*2^670603-1 is not prime. Res64: 27C7242ED119F084 Time : 648.0 sec. user=vaughan [2010-03-08 06:04:03] 1639*2^670603-1 is not prime. Res64: B511C792B7532F4A Time : 664.0 sec. user=vaughan [2010-03-08 06:04:05] 1765*2^670603-1 is not prime. Res64: CB4FBF6C7AD3DC56 Time : 645.0 sec. user=vaughan [2010-03-08 06:04:13] 1645*2^670603-1 is not prime. Res64: 5C3A7FC241FD7CB3 Time : 663.0 sec. user=vaughan [2010-03-08 06:09:11] 1795*2^670603-1 is not prime. Res64: 13DD1041EC44C7FC Time : 646.0 sec. user=vaughan [2010-03-08 06:14:51] 1893*2^670603-1 is not prime. Res64: 95C3A592A84B6B1F Time : 646.0 sec. user=vaughan [2010-03-08 06:15:07] 1849*2^670603-1 is not prime. Res64: 0B1847C6FE78F76E Time : 664.0 sec. user=vaughan [2010-03-08 06:15:17] 1981*2^670603-1 is not prime. Res64: C6A591D53235DD83 Time : 664.0 sec. user=vaughan [2010-03-08 06:19:59] 1415*2^670604-1 is not prime. Res64: 168A195E6E14E060 Time : 648.0 sec. user=vaughan [2010-03-08 06:25:38] 1443*2^670604-1 is not prime. Res64: F6FC29126C9851D6 Time : 647.0 sec. user=vaughan [2010-03-08 06:26:10] 1449*2^670604-1 is not prime. Res64: 1AD8D0302211995A Time : 664.0 sec. user=vaughan [2010-03-08 06:26:21] 1455*2^670604-1 is not prime. Res64: 1C750DFC9321E247 Time : 664.0 sec. user=vaughan [2010-03-08 06:30:46] 1515*2^670604-1 is not prime. Res64: 391765309C35C23E Time : 647.0 sec. user=vaughan [2010-03-08 06:36:24] 1545*2^670604-1 is not prime. Res64: 44FD78D47C06D6AA Time : 647.0 sec. user=vaughan [2010-03-08 06:37:18] 1553*2^670604-1 is not prime. Res64: CDA303AE6CF0D9C0 Time : 668.0 sec. user=vaughan [2010-03-08 06:37:25] 1595*2^670604-1 is not prime. Res64: 2F04958679FD29C5 Time : 664.0 sec. user=vaughan [2010-03-08 06:41:43] 1613*2^670604-1 is not prime. Res64: 3254C626667A2FF3 Time : 658.0 sec. user=vaughan [2010-03-08 06:47:12] 1643*2^670604-1 is not prime. Res64: 79B95C509DF5F4ED Time : 648.0 sec. user=vaughan [2010-03-08 06:48:24] 1739*2^670604-1 is not prime. Res64: 421EDBDC8AAB42FC Time : 667.0 sec. user=vaughan [2010-03-08 06:48:29] 1793*2^670604-1 is not prime. Res64: 4B80BB92C46E6176 Time : 664.0 sec. user=vaughan [2010-03-08 06:52:32] 1799*2^670604-1 is not prime. Res64: 7A310183B83E92B7 Time : 650.0 sec. user=vaughan [2010-03-08 06:58:10] 1845*2^670604-1 is not prime. Res64: E6D45AF491D309FB Time : 658.0 sec. user=vaughan [2010-03-08 06:59:27] 1895*2^670604-1 is not prime. Res64: CA032841D6913807 Time : 663.0 sec. user=vaughan [2010-03-08 06:59:32] 1929*2^670604-1 is not prime. Res64: C7F2C60BAD088D70 Time : 663.0 sec. user=vaughan [2010-03-08 07:03:28] 1943*2^670604-1 is not prime. Res64: FF4D75F58EC10C17 Time : 659.0 sec. user=vaughan [2010-03-08 07:09:00] 1995*2^670604-1 is not prime. Res64: 133211600525C37C Time : 652.0 sec. user=vaughan [2010-03-08 07:10:36] 1441*2^670605-1 is not prime. Res64: C91AE50B0576259B Time : 664.0 sec. user=vaughan [2010-03-08 07:10:37] 1411*2^670605-1 is not prime. Res64: 342E46332527E688 Time : 670.0 sec. user=vaughan [2010-03-08 07:14:17] 1455*2^670605-1 is not prime. Res64: 70FD3D0336BFA9A5 Time : 649.0 sec. user=vaughan [2010-03-08 07:19:48] 1479*2^670605-1 is not prime. Res64: 792772251355B8DF Time : 649.0 sec. user=vaughan [2010-03-08 07:21:38] 1669*2^670605-1 is not prime. Res64: 88A231E60C8CB1A3 Time : 662.0 sec. user=vaughan [2010-03-08 07:21:45] 1557*2^670605-1 is not prime. Res64: EA94F1749C157057 Time : 670.0 sec. user=vaughan [2010-03-08 07:25:03] 1797*2^670605-1 is not prime. Res64: 99E895459AD3065F Time : 648.0 sec. user=vaughan [2010-03-08 07:31:55] 1819*2^670605-1 is not prime. Res64: A948D4E8E1074162 Time : 727.0 sec. user=vaughan [2010-03-08 07:36:43] 1959*2^670605-1 is not prime. Res64: A7E9C9B216F7924A Time : 700.0 sec. user=vaughan [2010-03-08 07:39:40] 1857*2^670605-1 is not prime. Res64: A2DF16D3A7517DC4 Time : 1082.0 sec. user=vaughan [2010-03-08 07:39:50] 1899*2^670605-1 is not prime. Res64: 7B0F85CB6D2A5B98 Time : 1086.0 sec. user=vaughan [2010-03-08 07:48:43] 1671*2^670606-1 is not prime. Res64: 519CC3C6C56039A9 Time : 720.0 sec. user=vaughan [2010-03-08 07:50:15] 1401*2^670606-1 is not prime. Res64: 2C4CFEBEFF9F1F55 Time : 1100.0 sec. user=vaughan [2010-03-08 08:06:11] 1435*2^670607-1 is not prime. Res64: 44F06C1359AE58E3 Time : 1048.0 sec. user=vaughan [2010-03-08 08:06:47] 1841*2^670606-1 is not prime. Res64: 71CB8410EB4EF9EA Time : 1627.0 sec. user=vaughan [2010-03-08 08:06:57] 1401*2^670607-1 is not prime. Res64: 2F03106FD9A063B4 Time : 1627.0 sec. user=vaughan [2010-03-08 08:09:15] 1453*2^670607-1 is not prime. Res64: 174E97E48CFA4747 Time : 1140.0 sec. user=vaughan [2010-03-08 08:22:42] 1459*2^670607-1 is not prime. Res64: 0C2502C87C20FBAC Time : 991.0 sec. user=vaughan [2010-03-08 08:27:33] 1569*2^670607-1 is not prime. Res64: 9995E1A232A1AB70 Time : 1098.0 sec. user=vaughan [2010-03-08 08:29:16] 1545*2^670607-1 is not prime. Res64: 99D7DD94DA26A8C9 Time : 1349.0 sec. user=vaughan [2010-03-08 08:29:19] 1555*2^670607-1 is not prime. Res64: 6DBDBBD08AD2E82B Time : 1342.0 sec. user=vaughan [2010-03-08 08:34:53] 1663*2^670607-1 is not prime. Res64: DE236CA4685EC7A2 Time : 731.0 sec. user=vaughan [2010-03-08 08:38:27] 1723*2^670607-1 is not prime. Res64: 6A9F8409DB91B190 Time : 654.0 sec. user=vaughan [2010-03-08 08:40:20] 1729*2^670607-1 is not prime. Res64: 29167504659BE2E6 Time : 664.0 sec. user=vaughan [2010-03-08 08:40:22] 1749*2^670607-1 is not prime. Res64: A63F2319B20E7E8E Time : 664.0 sec. user=vaughan [2010-03-08 08:45:43] 1785*2^670607-1 is not prime. Res64: B6FE711A88185ECC Time : 650.0 sec. user=vaughan [2010-03-08 08:49:15] 1795*2^670607-1 is not prime. Res64: DEE2907E99B6692E Time : 648.0 sec. user=vaughan [2010-03-08 08:51:24] 1413*2^670608-1 is not prime. Res64: 4837C279B8C8DCD5 Time : 664.0 sec. user=vaughan [2010-03-08 08:51:25] 1419*2^670608-1 is not prime. Res64: 2E83F713696544AB Time : 663.0 sec. user=vaughan [2010-03-08 08:56:32] 1469*2^670608-1 is not prime. Res64: 73BF56F6E1EA5D88 Time : 649.0 sec. user=vaughan [2010-03-08 09:00:01] 1505*2^670608-1 is not prime. Res64: 5ACEAD5221EDDF79 Time : 647.0 sec. user=vaughan [2010-03-08 09:02:28] 1517*2^670608-1 is not prime. Res64: 74F9A6F73195714F Time : 664.0 sec. user=vaughan [2010-03-08 09:02:30] 1539*2^670608-1 is not prime. Res64: 6D32501A766E3192 Time : 665.0 sec. user=vaughan [2010-03-08 09:07:23] 1605*2^670608-1 is not prime. Res64: 0F1609C189B83DA8 Time : 651.0 sec. user=vaughan [2010-03-08 09:10:48] 1683*2^670608-1 is not prime. Res64: 34F0560B4D4D1687 Time : 648.0 sec. user=vaughan [2010-03-08 09:13:32] 1767*2^670608-1 is not prime. Res64: 2BDDDE0448914737 Time : 665.0 sec. user=vaughan [2010-03-08 09:13:33] 1773*2^670608-1 is not prime. Res64: 0D66677D40AC026E Time : 664.0 sec. user=vaughan [2010-03-08 09:18:11] 1805*2^670608-1 is not prime. Res64: FB0275B5F645B14E Time : 649.0 sec. user=vaughan [2010-03-08 09:22:39] 1823*2^670608-1 is not prime. Res64: 8A54D66B06D92453 Time : 711.0 sec. user=vaughan [2010-03-08 09:31:23] 1869*2^670608-1 is not prime. Res64: B9161FAAD098C6ED Time : 1072.0 sec. user=vaughan [2010-03-08 09:31:27] 1965*2^670608-1 is not prime. Res64: 52F6B24C8B77372E Time : 1074.0 sec. user=vaughan [2010-03-08 09:34:12] 1979*2^670608-1 is not prime. Res64: E2330EA3A18792CB Time : 962.0 sec. user=vaughan [2010-03-08 09:37:28] 1405*2^670609-1 is not prime. Res64: AC9532297D0DA5BC Time : 889.0 sec. user=vaughan [2010-03-08 09:48:20] 1569*2^670609-1 is not prime. Res64: 30A042466570ED56 Time : 848.0 sec. user=vaughan [2010-03-08 09:49:00] 1527*2^670609-1 is not prime. Res64: 9C41244CCA082132 Time : 1057.0 sec. user=vaughan [2010-03-08 09:49:02] 1545*2^670609-1 is not prime. Res64: 177ABCD4DE71BAD3 Time : 1055.0 sec. user=vaughan [2010-03-08 09:50:19] 1599*2^670609-1 is not prime. Res64: FB2AFC18880D91CE Time : 771.0 sec. user=vaughan [2010-03-08 10:02:57] 1689*2^670609-1 is not prime. Res64: ED8BC85D60F18418 Time : 877.0 sec. user=vaughan [2010-03-08 10:06:21] 1819*2^670609-1 is not prime. Res64: 375732E7286857D4 Time : 962.0 sec. user=vaughan [2010-03-08 10:08:34] 1785*2^670609-1 is not prime. Res64: D505FFAB97A9239E Time : 1174.0 sec. user=vaughan [2010-03-08 10:08:37] 1791*2^670609-1 is not prime. Res64: 31980954D022DFCA Time : 1175.0 sec. user=vaughan [2010-03-08 10:15:10] 1849*2^670609-1 is not prime. Res64: 1DF9B25109E5AD92 Time : 733.0 sec. user=vaughan [2010-03-08 10:18:35] 1851*2^670609-1 is not prime. Res64: 90585576594D00E3 Time : 734.0 sec. user=vaughan [2010-03-08 10:24:07] 1939*2^670609-1 is not prime. Res64: CA7180B4D9885B18 Time : 933.0 sec. user=vaughan [2010-03-08 10:24:15] 1485*2^670610-1 is not prime. Res64: 3003FBF9C3AB9A1F Time : 939.0 sec. user=vaughan [2010-03-08 10:28:40] 1491*2^670610-1 is not prime. Res64: AFADEB6E393F2780 Time : 811.0 sec. user=vaughan [2010-03-08 10:33:24] 1503*2^670610-1 is not prime. Res64: CC2E6920DFA87925 Time : 889.0 sec. user=vaughan [2010-03-08 10:39:35] 1547*2^670610-1 is not prime. Res64: 3868BB58C27C7F05 Time : 928.0 sec. user=vaughan [2010-03-08 10:39:40] 1581*2^670610-1 is not prime. Res64: A865AF48A5C44362 Time : 925.0 sec. user=vaughan [2010-03-08 10:41:39] 1697*2^670610-1 is not prime. Res64: ED5A96E748161FE7 Time : 780.0 sec. user=vaughan [2010-03-08 10:44:43] 1733*2^670610-1 is not prime. Res64: ACFDB7C44D94085F Time : 679.0 sec. user=vaughan [2010-03-08 10:51:25] 1755*2^670610-1 is not prime. Res64: 4DAFCFAFF6482EB8 Time : 710.0 sec. user=vaughan [2010-03-08 10:51:27] 1775*2^670610-1 is not prime. Res64: 5191816890C12F96 Time : 708.0 sec. user=vaughan [2010-03-08 10:53:35] 1823*2^670610-1 is not prime. Res64: C6ECA0F9B5630AE5 Time : 716.0 sec. user=vaughan [2010-03-08 10:57:24] 1931*2^670610-1 is not prime. Res64: DBA6F46F27EDC0C3 Time : 761.0 sec. user=vaughan [2010-03-08 11:07:31] 1663*2^670611-1 is not prime. Res64: F2BE98A630ED92B3 Time : 836.0 sec. user=vaughan [2010-03-08 11:09:05] 1635*2^670611-1 is not prime. Res64: 54137E2FC55C2A00 Time : 1058.0 sec. user=vaughan [2010-03-08 11:09:07] 1519*2^670611-1 is not prime. Res64: D4E4348B12D452D0 Time : 1062.0 sec. user=vaughan [2010-03-08 11:11:03] 1675*2^670611-1 is not prime. Res64: 578A28D36F92FF32 Time : 820.0 sec. user=vaughan [2010-03-08 11:18:33] 1713*2^670611-1 is not prime. Res64: 7C9C882B14BB7A14 Time : 662.0 sec. user=vaughan [2010-03-08 11:20:26] 1839*2^670611-1 is not prime. Res64: 69D2FDC9BFECE6DA Time : 680.0 sec. user=vaughan [2010-03-08 11:20:26] 1801*2^670611-1 is not prime. Res64: 287F19C853A7920F Time : 681.0 sec. user=vaughan [2010-03-08 11:22:06] 1921*2^670611-1 is not prime. Res64: E1B661E396958C28 Time : 663.0 sec. user=vaughan [2010-03-08 11:30:06] 1941*2^670611-1 is not prime. Res64: AC54FE9403408819 Time : 693.0 sec. user=vaughan [2010-03-08 11:32:28] 1983*2^670611-1 is not prime. Res64: 30023F65E2E56111 Time : 722.0 sec. user=vaughan [2010-03-08 11:32:28] 1963*2^670611-1 is not prime. Res64: 8F747DECC9190A48 Time : 723.0 sec. user=vaughan [2010-03-08 11:33:23] 1437*2^670612-1 is not prime. Res64: 1A87E2DEF4F27E78 Time : 678.0 sec. user=vaughan [2010-03-08 11:42:13] 1463*2^670612-1 is not prime. Res64: 91DDB28111726806 Time : 727.0 sec. user=vaughan [2010-03-08 11:45:04] 1547*2^670612-1 is not prime. Res64: 30D157BF5777466E Time : 701.0 sec. user=vaughan [2010-03-08 11:45:11] 1535*2^670612-1 is not prime. Res64: EBBC7F277CEA89A2 Time : 763.0 sec. user=vaughan [2010-03-08 11:45:18] 1539*2^670612-1 is not prime. Res64: B19539C9ECB184AD Time : 770.0 sec. user=vaughan [2010-03-08 11:53:16] 1553*2^670612-1 is not prime. Res64: 17A9B840E83C6FA4 Time : 663.0 sec. user=vaughan [2010-03-08 11:56:01] 1745*2^670612-1 is not prime. Res64: F302A2CFFF07DA24 Time : 657.0 sec. user=vaughan [2010-03-08 11:56:41] 1839*2^670612-1 is not prime. Res64: D60D8D1BF304D643 Time : 690.0 sec. user=vaughan [2010-03-08 11:56:45] 1883*2^670612-1 is not prime. Res64: 6722874713E8BFBF Time : 687.0 sec. user=vaughan [2010-03-08 12:04:02] 1893*2^670612-1 is not prime. Res64: F46AE917ADFDC243 Time : 646.0 sec. user=vaughan [2010-03-08 12:06:47] 1919*2^670612-1 is not prime. Res64: 1CB82E28287903B4 Time : 646.0 sec. user=vaughan [2010-03-08 12:07:45] 1955*2^670612-1 is not prime. Res64: A3D7C2F968E7F2E4 Time : 664.0 sec. user=vaughan [2010-03-08 12:07:52] 1967*2^670612-1 is not prime. Res64: FC9C44741A2763CE Time : 667.0 sec. user=vaughan [2010-03-08 12:14:49] 1995*2^670612-1 is not prime. Res64: E5681F35076C3144 Time : 647.0 sec. user=vaughan [2010-03-08 12:17:33] 1495*2^670613-1 is not prime. Res64: 0A37D43398EAAFE9 Time : 646.0 sec. user=vaughan [2010-03-08 12:18:49] 1579*2^670613-1 is not prime. Res64: 5D32CFB7C487F6BD Time : 664.0 sec. user=vaughan [2010-03-08 12:18:56] 1609*2^670613-1 is not prime. Res64: C8884A0A5E0D1431 Time : 666.0 sec. user=vaughan [2010-03-08 12:25:36] 1639*2^670613-1 is not prime. Res64: 7CD6E6004A092C5C Time : 647.0 sec. user=vaughan [2010-03-08 12:28:19] 1699*2^670613-1 is not prime. Res64: 6B50D86723C757C5 Time : 646.0 sec. user=vaughan [2010-03-08 12:29:53] 1711*2^670613-1 is not prime. Res64: 2EC4872482EA5BEB Time : 664.0 sec. user=vaughan [2010-03-08 12:30:01] 1719*2^670613-1 is not prime. Res64: F1E270B3FFE5567F Time : 665.0 sec. user=vaughan [2010-03-08 12:36:23] 1747*2^670613-1 is not prime. Res64: FEF22FCDC9E91022 Time : 647.0 sec. user=vaughan [2010-03-08 12:39:06] 1749*2^670613-1 is not prime. Res64: C0B5C4335ECD7343 Time : 647.0 sec. user=vaughan [2010-03-08 12:40:57] 1879*2^670613-1 is not prime. Res64: 12881E69CB464789 Time : 664.0 sec. user=vaughan [2010-03-08 12:41:05] 1971*2^670613-1 is not prime. Res64: 0F9AB6FCA6532416 Time : 664.0 sec. user=vaughan [2010-03-08 12:47:10] 1977*2^670613-1 is not prime. Res64: 24C42F6EB84A9CD6 Time : 648.0 sec. user=vaughan [2010-03-08 12:49:52] 1995*2^670613-1 is not prime. Res64: 603CE7AE0FD4B46A Time : 647.0 sec. user=vaughan [2010-03-08 12:52:01] 1605*2^670614-1 is not prime. Res64: 4321C07E1BB6584B Time : 664.0 sec. user=vaughan [2010-03-08 12:52:09] 1641*2^670614-1 is not prime. Res64: A56DC729586FF14D Time : 664.0 sec. user=vaughan [2010-03-08 12:57:57] 1643*2^670614-1 is not prime. Res64: E97041B14F1ADD8F Time : 647.0 sec. user=vaughan [2010-03-08 13:00:38] 1647*2^670614-1 is not prime. Res64: CE7B114EBB304CD8 Time : 647.0 sec. user=vaughan [2010-03-08 13:03:05] 1655*2^670614-1 is not prime. Res64: 2BE1250946273710 Time : 664.0 sec. user=vaughan [2010-03-08 13:03:12] 1757*2^670614-1 is not prime. Res64: 749D3A3585AAEE62 Time : 664.0 sec. user=vaughan [2010-03-08 13:08:44] 1811*2^670614-1 is not prime. Res64: 2338BC7BF2E8C3EA Time : 647.0 sec. user=vaughan [2010-03-08 13:11:39] 1851*2^670614-1 is not prime. Res64: D84F2116747FD2DF Time : 662.0 sec. user=vaughan [2010-03-08 13:14:35] 1895*2^670614-1 is not prime. Res64: B6AF93D3724F6CB5 Time : 690.0 sec. user=vaughan [2010-03-08 13:14:44] 1917*2^670614-1 is not prime. Res64: CE763AD88724BEEA Time : 692.0 sec. user=vaughan [2010-03-08 13:20:09] 1937*2^670614-1 is not prime. Res64: 7B255A37ABE0F5AB Time : 685.0 sec. user=vaughan [2010-03-08 13:22:40] 1491*2^670615-1 is not prime. Res64: 203368760C3ECD8E Time : 662.0 sec. user=vaughan [2010-03-08 13:25:49] 1531*2^670615-1 is not prime. Res64: 348F7B54B6E56771 Time : 674.0 sec. user=vaughan [2010-03-08 13:25:55] 1533*2^670615-1 is not prime. Res64: 10A2B91625E6A76B Time : 671.0 sec. user=vaughan [2010-03-08 13:30:56] 1629*2^670615-1 is not prime. Res64: 6FF3912964D4AFE9 Time : 647.0 sec. user=vaughan [2010-03-08 13:33:29] 1701*2^670615-1 is not prime. Res64: 54A636329F10F342 Time : 650.0 sec. user=vaughan [2010-03-08 13:36:54] 1863*2^670615-1 is not prime. Res64: 474A191BE1568C5F Time : 665.0 sec. user=vaughan [2010-03-08 13:37:00] 1941*2^670615-1 is not prime. Res64: 9AE6754AAAE282E5 Time : 665.0 sec. user=vaughan [2010-03-08 13:41:44] 1945*2^670615-1 is not prime. Res64: 543DEF3EDED3624F Time : 648.0 sec. user=vaughan [2010-03-08 13:44:15] 1989*2^670615-1 is not prime. Res64: D4B860EEA8C8B35B Time : 647.0 sec. user=vaughan [2010-03-08 13:47:58] 1443*2^670616-1 is not prime. Res64: D624DDE29CF004FF Time : 664.0 sec. user=vaughan [2010-03-08 13:48:03] 1487*2^670616-1 is not prime. Res64: 7D74FFAAD4060C2A Time : 664.0 sec. user=vaughan [2010-03-08 13:52:31] 1509*2^670616-1 is not prime. Res64: 80EA5296CC276BA3 Time : 647.0 sec. user=vaughan [2010-03-08 13:55:01] 1629*2^670616-1 is not prime. Res64: B22705D0E011DD03 Time : 647.0 sec. user=vaughan [2010-03-08 13:59:05] 1695*2^670616-1 is not prime. Res64: 33B7EB05D54960EA Time : 667.0 sec. user=vaughan [2010-03-08 13:59:09] 1739*2^670616-1 is not prime. Res64: 7871B48F7DD43011 Time : 666.0 sec. user=vaughan [2010-03-08 14:03:19] 1767*2^670616-1 is not prime. Res64: 2CAF2CD131DB7998 Time : 648.0 sec. user=vaughan [2010-03-08 14:05:47] 1865*2^670616-1 is not prime. Res64: 32F416C2B9CE8748 Time : 647.0 sec. user=vaughan [2010-03-08 14:10:08] 1887*2^670616-1 is not prime. Res64: 54A8703BF2FCEBB2 Time : 664.0 sec. user=vaughan [2010-03-08 14:10:13] 1407*2^670617-1 is not prime. Res64: 45866409292D3A8A Time : 664.0 sec. user=vaughan [2010-03-08 14:14:07] 1431*2^670617-1 is not prime. Res64: DDC40E4D5A28B257 Time : 648.0 sec. user=vaughan [2010-03-08 14:16:33] 1545*2^670617-1 is not prime. Res64: 451CE8F4BBBED95D Time : 647.0 sec. user=vaughan [2010-03-08 14:21:12] 1755*2^670617-1 is not prime. Res64: 17F8FDD0226F544B Time : 664.0 sec. user=vaughan [2010-03-08 14:21:16] 1759*2^670617-1 is not prime. Res64: D0AACB446FED95A1 Time : 664.0 sec. user=vaughan [2010-03-08 14:24:53] 1791*2^670617-1 is not prime. Res64: E7ADBA0670E590B9 Time : 646.0 sec. user=vaughan [2010-03-08 14:27:19] 1825*2^670617-1 is not prime. Res64: F6B559B1460619AF Time : 646.0 sec. user=vaughan [2010-03-08 14:32:17] 1831*2^670617-1 is not prime. Res64: CF4AF362F6AA715D Time : 665.0 sec. user=vaughan [2010-03-08 14:32:20] 1855*2^670617-1 is not prime. Res64: 838C6FF54FA4535A Time : 664.0 sec. user=vaughan [2010-03-08 14:35:44] 1485*2^670618-1 is not prime. Res64: D53EA637FB530ABB Time : 651.0 sec. user=vaughan [2010-03-08 14:38:05] 1515*2^670618-1 is not prime. Res64: BAEE587730A29A3E Time : 647.0 sec. user=vaughan [2010-03-08 14:43:22] 1541*2^670618-1 is not prime. Res64: BF19ED1D87CED5A1 Time : 665.0 sec. user=vaughan [2010-03-08 14:43:24] 1545*2^670618-1 is not prime. Res64: FD05CBF2EAA805B3 Time : 664.0 sec. user=vaughan [2010-03-08 14:46:31] 1601*2^670618-1 is not prime. Res64: AC4BEC1C6CFEA8C7 Time : 647.0 sec. user=vaughan [2010-03-08 14:48:52] 1623*2^670618-1 is not prime. Res64: C2D86E9D5CBF88B3 Time : 648.0 sec. user=vaughan [2010-03-08 14:54:25] 1625*2^670618-1 is not prime. Res64: F6128D2BC020597F Time : 663.0 sec. user=vaughan [2010-03-08 14:54:26] 1641*2^670618-1 is not prime. Res64: A8DC14981961A708 Time : 662.0 sec. user=vaughan [2010-03-08 14:57:17] 1671*2^670618-1 is not prime. Res64: C237A95A9B14F393 Time : 646.0 sec. user=vaughan [2010-03-08 14:59:38] 1673*2^670618-1 is not prime. Res64: 479252B73B0C5779 Time : 647.0 sec. user=vaughan [2010-03-08 15:05:53] 1737*2^670618-1 is not prime. Res64: CB842B9D6D985AC9 Time : 689.0 sec. user=vaughan [2010-03-08 15:05:53] 1745*2^670618-1 is not prime. Res64: B0FB6DAD69E81C45 Time : 687.0 sec. user=vaughan [2010-03-08 15:08:34] 1835*2^670618-1 is not prime. Res64: 4F5953B7A726148B Time : 677.0 sec. user=vaughan [2010-03-08 15:10:56] 1875*2^670618-1 is not prime. Res64: C8263CCAFFFAB90A Time : 678.0 sec. user=vaughan [2010-03-08 15:17:12] 1573*2^670619-1 is not prime. Res64: 6C9940439BC322A7 Time : 679.0 sec. user=vaughan [2010-03-08 15:17:12] 1441*2^670619-1 is not prime. Res64: B86D018B9068A7C5 Time : 679.0 sec. user=vaughan [2010-03-08 15:19:24] 1609*2^670619-1 is not prime. Res64: 0A41B34D4E071196 Time : 650.0 sec. user=vaughan [2010-03-08 15:21:42] 1621*2^670619-1 is not prime. Res64: CB5C15437035F9B3 Time : 646.0 sec. user=vaughan [2010-03-08 15:28:16] 1639*2^670619-1 is not prime. Res64: D6F79EEA383A48A4 Time : 664.0 sec. user=vaughan [2010-03-08 15:28:16] 1791*2^670619-1 is not prime. Res64: 732A6F3B1E8AD185 Time : 664.0 sec. user=vaughan [2010-03-08 15:30:12] 1935*2^670619-1 is not prime. Res64: 15A77DDEE584086A Time : 648.0 sec. user=vaughan [2010-03-08 15:32:28] 1975*2^670619-1 is not prime. Res64: 392E4A1617E442BA Time : 646.0 sec. user=vaughan [2010-03-08 15:39:21] 1407*2^670620-1 is not prime. Res64: 398E5B0A1C126855 Time : 665.0 sec. user=vaughan [2010-03-08 15:39:21] 1439*2^670620-1 is not prime. Res64: 479BB096B9541115 Time : 665.0 sec. user=vaughan [2010-03-08 15:40:59] 1623*2^670620-1 is not prime. Res64: 363FB5517F1D2A47 Time : 647.0 sec. user=vaughan [2010-03-08 15:43:14] 1647*2^670620-1 is not prime. Res64: 7EBAD8B20B292207 Time : 646.0 sec. user=vaughan [2010-03-08 15:50:25] 1659*2^670620-1 is not prime. Res64: 028CDD86C72561B7 Time : 665.0 sec. user=vaughan [2010-03-08 15:50:25] 1773*2^670620-1 is not prime. Res64: 05C3BC564B565C0D Time : 664.0 sec. user=vaughan [2010-03-08 15:51:46] 1809*2^670620-1 is not prime. Res64: 8FFC7B41EDC7A662 Time : 648.0 sec. user=vaughan [2010-03-08 15:54:00] 1857*2^670620-1 is not prime. Res64: FC58826E23DE92AD Time : 647.0 sec. user=vaughan [2010-03-08 16:01:32] 1865*2^670620-1 is not prime. Res64: 692AFD26543326F2 Time : 667.0 sec. user=vaughan [2010-03-08 16:01:36] 1917*2^670620-1 is not prime. Res64: 4D0D962926C750C8 Time : 671.0 sec. user=vaughan [2010-03-08 16:02:33] 1477*2^670621-1 is not prime. Res64: 96B8742433379E44 Time : 648.0 sec. user=vaughan [2010-03-08 16:04:46] 1587*2^670621-1 is not prime. Res64: E04E0EE13F12FD42 Time : 647.0 sec. user=vaughan [2010-03-08 16:12:36] 1627*2^670621-1 is not prime. Res64: DD9EBD0D66882D91 Time : 664.0 sec. user=vaughan [2010-03-08 16:12:41] 1605*2^670621-1 is not prime. Res64: F5E37A2807714876 Time : 669.0 sec. user=vaughan [2010-03-08 16:13:19] 1641*2^670621-1 is not prime. Res64: 92CBEF00ACD3033E Time : 647.0 sec. user=vaughan [2010-03-08 16:15:33] 1669*2^670621-1 is not prime. Res64: A64DE0069E66C847 Time : 647.0 sec. user=vaughan [2010-03-08 16:23:41] 1717*2^670621-1 is not prime. Res64: A1B389335EECFA8F Time : 665.0 sec. user=vaughan [2010-03-08 16:23:44] 1765*2^670621-1 is not prime. Res64: F194AAF8BFDBCC69 Time : 663.0 sec. user=vaughan [2010-03-08 16:24:05] 1815*2^670621-1 is not prime. Res64: 5C8BCF90A5756DF6 Time : 646.0 sec. user=vaughan [2010-03-08 16:26:21] 1911*2^670621-1 is not prime. Res64: 9CB0CEEBF6F0ECC9 Time : 648.0 sec. user=vaughan [2010-03-08 16:34:45] 1921*2^670621-1 is not prime. Res64: 1BDCDB28AB927EE0 Time : 664.0 sec. user=vaughan [2010-03-08 16:34:48] 1995*2^670621-1 is not prime. Res64: 1321EC4ACC4FD492 Time : 664.0 sec. user=vaughan [2010-03-08 16:34:53] 1515*2^670622-1 is not prime. Res64: FC7B469610AA54CD Time : 648.0 sec. user=vaughan [2010-03-08 16:37:08] 1553*2^670622-1 is not prime. Res64: 967A307DA63D4306 Time : 649.0 sec. user=vaughan [2010-03-08 16:45:39] 1805*2^670622-1 is not prime. Res64: 034334C2F81AFB83 Time : 646.0 sec. user=vaughan [2010-03-08 16:45:51] 1743*2^670622-1 is not prime. Res64: 3494F1FADAE9AA7E Time : 664.0 sec. user=vaughan [2010-03-08 16:45:52] 1611*2^670622-1 is not prime. Res64: 7154D2FABC18BBFE Time : 667.0 sec. user=vaughan [2010-03-08 16:47:54] 1863*2^670622-1 is not prime. Res64: 7B2D70E72B3853F2 Time : 646.0 sec. user=vaughan [2010-03-08 16:56:27] 1877*2^670622-1 is not prime. Res64: 59AB2D10B9C65E9F Time : 649.0 sec. user=vaughan [2010-03-08 16:56:59] 1965*2^670622-1 is not prime. Res64: F7856AD344EAE964 Time : 668.0 sec. user=vaughan [2010-03-08 16:56:59] 1953*2^670622-1 is not prime. Res64: F6AA0310CD57E27A Time : 669.0 sec. user=vaughan [2010-03-08 16:58:50] 1425*2^670623-1 is not prime. Res64: 68988528081DDE33 Time : 656.0 sec. user=vaughan [2010-03-08 17:07:47] 1441*2^670623-1 is not prime. Res64: 7ECA6ED3575B08BB Time : 681.0 sec. user=vaughan [2010-03-08 17:08:35] 1489*2^670623-1 is not prime. Res64: A2ACC5037C2E3205 Time : 697.0 sec. user=vaughan [2010-03-08 17:08:39] 1545*2^670623-1 is not prime. Res64: 2EB327A3C5830A2A Time : 700.0 sec. user=vaughan [2010-03-08 17:09:54] 1573*2^670623-1 is not prime. Res64: 27D32708A7F291B2 Time : 664.0 sec. user=vaughan [2010-03-08 17:18:34] 1615*2^670623-1 is not prime. Res64: A3FB08894F53A895 Time : 647.0 sec. user=vaughan [2010-03-08 17:19:40] 1693*2^670623-1 is not prime. Res64: 74B438D997FB6672 Time : 665.0 sec. user=vaughan [2010-03-08 17:19:43] 1735*2^670623-1 is not prime. Res64: 2515D34015158C30 Time : 665.0 sec. user=vaughan [2010-03-08 17:20:40] 1783*2^670623-1 is not prime. Res64: 423C0C16F2777320 Time : 646.0 sec. user=vaughan [2010-03-08 17:29:22] 1873*2^670623-1 is not prime. Res64: 61A958500B6573A5 Time : 648.0 sec. user=vaughan [2010-03-08 17:30:45] 1939*2^670623-1 is not prime. Res64: 599E630659218CD9 Time : 665.0 sec. user=vaughan [2010-03-08 17:30:47] 1415*2^670624-1 is not prime. Res64: 91CA474176C18E80 Time : 664.0 sec. user=vaughan [2010-03-08 17:31:26] 1419*2^670624-1 is not prime. Res64: E44AD353CE0E79A0 Time : 646.0 sec. user=vaughan [2010-03-08 17:40:10] 1493*2^670624-1 is not prime. Res64: 8BF59A4D8F73B77B Time : 649.0 sec. user=vaughan [2010-03-08 17:41:49] 1559*2^670624-1 is not prime. Res64: 3D0CE2AA81682FF7 Time : 665.0 sec. user=vaughan [2010-03-08 17:41:52] 1653*2^670624-1 is not prime. Res64: A9BDF5DDC2C48855 Time : 665.0 sec. user=vaughan [2010-03-08 17:42:11] 1743*2^670624-1 is not prime. Res64: B1EB9BA034187FDD Time : 645.0 sec. user=vaughan [2010-03-08 17:50:57] 1745*2^670624-1 is not prime. Res64: 6F7525D5FB6A7A9F Time : 648.0 sec. user=vaughan [2010-03-08 17:52:52] 1799*2^670624-1 is not prime. Res64: F01D7D2BE6BB1AED Time : 664.0 sec. user=vaughan [2010-03-08 17:52:56] 1983*2^670624-1 is not prime. Res64: 3954103C9BF7F8FB Time : 664.0 sec. user=vaughan [2010-03-08 17:52:58] 1431*2^670625-1 is not prime. Res64: 7D705CDA8F511FF7 Time : 647.0 sec. user=vaughan [2010-03-08 18:01:44] 1435*2^670625-1 is not prime. Res64: 4D1643DD6741697E Time : 647.0 sec. user=vaughan [2010-03-08 18:03:44] 1767*2^670625-1 is not prime. Res64: 7E6E4AE922B7B7A0 Time : 646.0 sec. user=vaughan [2010-03-08 18:03:57] 1455*2^670625-1 is not prime. Res64: FF35F2D213B7A007 Time : 665.0 sec. user=vaughan [2010-03-08 18:04:01] 1491*2^670625-1 is not prime. Res64: 600F399CE71101B5 Time : 665.0 sec. user=vaughan [2010-03-08 18:12:31] 1821*2^670625-1 is not prime. Res64: 48D7B71ACEC5D5D1 Time : 647.0 sec. user=vaughan [2010-03-08 18:14:31] 1837*2^670625-1 is not prime. Res64: F5EF7B76E4140991 Time : 647.0 sec. user=vaughan [2010-03-08 18:15:01] 1989*2^670625-1 is not prime. Res64: B0D216CE735D4610 Time : 664.0 sec. user=vaughan [2010-03-08 18:15:04] 1995*2^670625-1 is not prime. Res64: 3F265F37EF52D27F Time : 664.0 sec. user=vaughan [2010-03-08 18:23:18] 1421*2^670626-1 is not prime. Res64: E01E37D87FDEE5D1 Time : 648.0 sec. user=vaughan [2010-03-08 18:25:17] 1497*2^670626-1 is not prime. Res64: 9C6B96BF2B2F3274 Time : 646.0 sec. user=vaughan [2010-03-08 18:26:06] 1551*2^670626-1 is not prime. Res64: 8248C64CCD3E3E41 Time : 665.0 sec. user=vaughan [2010-03-08 18:26:08] 1691*2^670626-1 is not prime. Res64: 25A5D3C39687DC08 Time : 664.0 sec. user=vaughan [2010-03-08 18:34:07] 1707*2^670626-1 is not prime. Res64: A03FCD96568BA9D3 Time : 650.0 sec. user=vaughan [2010-03-08 18:36:04] 1763*2^670626-1 is not prime. Res64: 2D7556365B0A59B6 Time : 648.0 sec. user=vaughan [2010-03-08 18:37:10] 1791*2^670626-1 is not prime. Res64: 0015FF377B5CB1DE Time : 665.0 sec. user=vaughan [2010-03-08 18:37:14] 1817*2^670626-1 is not prime. Res64: 6D45B98C079C0406 Time : 666.0 sec. user=vaughan [2010-03-08 18:44:53] 1833*2^670626-1 is not prime. Res64: B0771FD74756EB09 Time : 646.0 sec. user=vaughan [2010-03-08 18:46:49] 1931*2^670626-1 is not prime. Res64: 58E57090A04A3FC0 Time : 645.0 sec. user=vaughan [2010-03-08 18:48:13] 1971*2^670626-1 is not prime. Res64: C6A290B83AF46E69 Time : 664.0 sec. user=vaughan [2010-03-08 18:48:18] 1419*2^670627-1 is not prime. Res64: 65141F2C8578F0AD Time : 664.0 sec. user=vaughan [2010-03-08 18:56:04] 1429*2^670627-1 is not prime. Res64: F6EBD17E71328F73 Time : 671.0 sec. user=vaughan [2010-03-08 18:58:04] 1459*2^670627-1 is not prime. Res64: 7F6397D15D54E6C6 Time : 675.0 sec. user=vaughan [2010-03-08 18:59:53] 1483*2^670627-1 is not prime. Res64: 403E886C0E1ADA38 Time : 700.0 sec. user=vaughan [2010-03-08 19:00:00] 1485*2^670627-1 is not prime. Res64: 02179F95442AD377 Time : 702.0 sec. user=vaughan [2010-03-08 19:07:06] 1513*2^670627-1 is not prime. Res64: C1C60D32C9AB78C4 Time : 662.0 sec. user=vaughan [2010-03-08 19:08:54] 1525*2^670627-1 is not prime. Res64: 60EC35E583783FCE Time : 650.0 sec. user=vaughan [2010-03-08 19:10:58] 1611*2^670627-1 is not prime. Res64: D833C0C68A774604 Time : 666.0 sec. user=vaughan [2010-03-08 19:11:03] 1665*2^670627-1 is not prime. Res64: FBA2A25449BB6C5B Time : 664.0 sec. user=vaughan [2010-03-08 19:17:54] 1671*2^670627-1 is not prime. Res64: 9721119413D6B82D Time : 651.0 sec. user=vaughan [2010-03-08 19:19:41] 1731*2^670627-1 is not prime. Res64: CC3929215E4D9C4F Time : 647.0 sec. user=vaughan [2010-03-08 19:22:07] 1753*2^670627-1 is not prime. Res64: 3D5AB8701A4F0A38 Time : 670.0 sec. user=vaughan [2010-03-08 19:22:13] 1855*2^670627-1 is not prime. Res64: 3EB27A21D8E84480 Time : 670.0 sec. user=vaughan [2010-03-08 19:28:46] 1959*2^670627-1 is not prime. Res64: C3840E38536C1C51 Time : 653.0 sec. user=vaughan [2010-03-08 19:30:29] 1963*2^670627-1 is not prime. Res64: 44D68AC3B23C45AF Time : 649.0 sec. user=vaughan [2010-03-08 19:33:11] 1975*2^670627-1 is not prime. Res64: 00B1A3FDA5AFCE1D Time : 664.0 sec. user=vaughan [2010-03-08 19:33:17] 1983*2^670627-1 is not prime. Res64: FF735A1D204B32F5 Time : 665.0 sec. user=vaughan [2010-03-08 19:39:34] 1559*2^670628-1 is not prime. Res64: 9B6499867BA76BE3 Time : 648.0 sec. user=vaughan [2010-03-08 19:41:15] 1587*2^670628-1 is not prime. Res64: 411DD58EA37F627C Time : 646.0 sec. user=vaughan [2010-03-08 19:44:15] 1617*2^670628-1 is not prime. Res64: EAA218198523A0DD Time : 664.0 sec. user=vaughan [2010-03-08 19:44:20] 1649*2^670628-1 is not prime. Res64: 947BF0940CC582B4 Time : 663.0 sec. user=vaughan [2010-03-08 19:50:25] 1655*2^670628-1 is not prime. Res64: 9EAD4B3FEAC6C732 Time : 651.0 sec. user=vaughan [2010-03-08 19:52:01] 1659*2^670628-1 is not prime. Res64: 79B9E2DF8CEFA248 Time : 646.0 sec. user=vaughan [2010-03-08 19:55:20] 1679*2^670628-1 is not prime. Res64: 2479D51BBA98D1DA Time : 666.0 sec. user=vaughan [2010-03-08 19:55:24] 1727*2^670628-1 is not prime. Res64: EF500BF04180688D Time : 664.0 sec. user=vaughan [2010-03-08 20:01:13] 1757*2^670628-1 is not prime. Res64: 5F903050D7962DB1 Time : 648.0 sec. user=vaughan [2010-03-08 20:02:48] 1817*2^670628-1 is not prime. Res64: 9D1D7C28E3774F18 Time : 647.0 sec. user=vaughan [2010-03-08 20:06:25] 1919*2^670628-1 is not prime. Res64: A4261F3FEDC41D47 Time : 666.0 sec. user=vaughan [2010-03-08 20:06:27] 1949*2^670628-1 is not prime. Res64: 1AD0125B3E5F7968 Time : 664.0 sec. user=vaughan [2010-03-08 20:12:00] 1965*2^670628-1 is not prime. Res64: AAF87C5BD258F7F8 Time : 647.0 sec. user=vaughan [2010-03-08 20:13:34] 1967*2^670628-1 is not prime. Res64: 5761C2605687C6B7 Time : 647.0 sec. user=vaughan [2010-03-08 20:17:29] 1417*2^670629-1 is not prime. Res64: A40DE9EE8FBD2377 Time : 664.0 sec. user=vaughan [2010-03-08 20:17:31] 1467*2^670629-1 is not prime. Res64: 2EC6A83236635276 Time : 664.0 sec. user=vaughan [2010-03-08 20:22:48] 1615*2^670629-1 is not prime. Res64: 2668F7062FD93015 Time : 649.0 sec. user=vaughan [2010-03-08 20:24:19] 1809*2^670629-1 is not prime. Res64: 55300E54D7BCBCD7 Time : 646.0 sec. user=vaughan [2010-03-08 20:28:33] 1939*2^670629-1 is not prime. Res64: B83A0E8788F6A7AD Time : 665.0 sec. user=vaughan [2010-03-08 20:28:34] 1965*2^670629-1 is not prime. Res64: 4993F69D15119143 Time : 664.0 sec. user=vaughan [2010-03-08 20:33:35] 1999*2^670629-1 is not prime. Res64: 639BA496FE3C1260 Time : 648.0 sec. user=vaughan [2010-03-08 20:35:06] 1503*2^670630-1 is not prime. Res64: 489E2F34FB3726F0 Time : 647.0 sec. user=vaughan [2010-03-08 20:39:36] 1553*2^670630-1 is not prime. Res64: 949A64A909348FC2 Time : 664.0 sec. user=vaughan [2010-03-08 20:39:37] 1575*2^670630-1 is not prime. Res64: 3FCE4DB0EEBDD7E9 Time : 663.0 sec. user=vaughan [2010-03-08 20:44:29] 1643*2^670630-1 is not prime. Res64: 0882F484F33AD020 Time : 655.0 sec. user=vaughan [2010-03-08 20:46:00] 1647*2^670630-1 is not prime. Res64: 7B0F8ECD43E1706E Time : 655.0 sec. user=vaughan [2010-03-08 20:51:08] 1725*2^670630-1 is not prime. Res64: 4511D1D9D3FF2B60 Time : 693.0 sec. user=vaughan [2010-03-08 20:51:12] 1727*2^670630-1 is not prime. Res64: 2653DFBF2A80A82A Time : 696.0 sec. user=vaughan [2010-03-08 20:55:49] 1757*2^670630-1 is not prime. Res64: 3D7DC2BE70B65F7B Time : 681.0 sec. user=vaughan [2010-03-08 20:57:05] 1883*2^670630-1 is not prime. Res64: CA0DE17B3F059D30 Time : 665.0 sec. user=vaughan [2010-03-08 21:02:17] 1913*2^670630-1 is not prime. Res64: 3DA31F3955DC69CF Time : 669.0 sec. user=vaughan [2010-03-08 21:02:20] 1973*2^670630-1 is not prime. Res64: D95A2C787E4C51BB Time : 668.0 sec. user=vaughan [2010-03-08 21:06:38] 1977*2^670630-1 is not prime. Res64: 8B36AD6133B4795B Time : 649.0 sec. user=vaughan [2010-03-08 21:07:51] 1503*2^670631-1 is not prime. Res64: 89434CAD2BF7FD22 Time : 646.0 sec. user=vaughan [2010-03-08 21:13:20] 1533*2^670631-1 is not prime. Res64: 26D04E0E8377DCC8 Time : 663.0 sec. user=vaughan [2010-03-08 21:13:23] 1545*2^670631-1 is not prime. Res64: C8D8D94E89B40413 Time : 664.0 sec. user=vaughan [2010-03-08 21:17:28] 1603*2^670631-1 is not prime. Res64: 849E20D847CF5DBC Time : 650.0 sec. user=vaughan [2010-03-08 21:18:38] 1611*2^670631-1 is not prime. Res64: A41FB8C0679D2F84 Time : 647.0 sec. user=vaughan [2010-03-08 21:24:56] 1641*2^670631-1 is not prime. Res64: 4A801837D604050E Time : 696.0 sec. user=vaughan [2010-03-08 21:24:59] 1671*2^670631-1 is not prime. Res64: 823029EE4767AF46 Time : 696.0 sec. user=vaughan [2010-03-08 21:28:57] 1749*2^670631-1 is not prime. Res64: B72ED5563721D618 Time : 691.0 sec. user=vaughan [2010-03-08 21:30:19] 1813*2^670631-1 is not prime. Res64: 4A39CA5BE096305C Time : 702.0 sec. user=vaughan [2010-03-08 21:38:10] 1819*2^670631-1 is not prime. Res64: 849454A8ECB748FF Time : 794.0 sec. user=vaughan [2010-03-08 21:38:14] 1849*2^670631-1 is not prime. Res64: 75930CBC8E9619D4 Time : 795.0 sec. user=vaughan [2010-03-08 21:40:54] 1851*2^670631-1 is not prime. Res64: 844858C616B8A768 Time : 717.0 sec. user=vaughan [2010-03-08 21:42:16] 1863*2^670631-1 is not prime. Res64: CB19FC56D9549AC7 Time : 717.0 sec. user=vaughan [2010-03-08 21:51:23] 1873*2^670631-1 is not prime. Res64: B5EF4F15FBC35339 Time : 794.0 sec. user=vaughan [2010-03-08 21:51:28] 1995*2^670631-1 is not prime. Res64: DA22D8CF5397D185 Time : 794.0 sec. user=vaughan [2010-03-08 21:52:46] 1473*2^670632-1 is not prime. Res64: 626D881DFDB1108C Time : 712.0 sec. user=vaughan [2010-03-08 21:54:13] 1707*2^670632-1 is not prime. Res64: 26F4D727017F73F6 Time : 718.0 sec. user=vaughan [2010-03-08 22:04:34] 1997*2^670632-1 is not prime. Res64: 94A947F06BC4F1D2 Time : 709.0 sec. user=vaughan [2010-03-08 22:04:36] 1889*2^670632-1 is not prime. Res64: 25671B15DFE6FDF3 Time : 793.0 sec. user=vaughan [2010-03-08 22:04:39] 1893*2^670632-1 is not prime. Res64: 545394C80A06B69F Time : 791.0 sec. user=vaughan [2010-03-08 22:06:13] 1435*2^670633-1 is not prime. Res64: FB5601A9E9C572F0 Time : 720.0 sec. user=vaughan [2010-03-08 22:16:13] 1441*2^670633-1 is not prime. Res64: 0774CCB97D9E9C6F Time : 700.0 sec. user=vaughan [2010-03-08 22:17:40] 1599*2^670633-1 is not prime. Res64: DA27219B0EBF3CB4 Time : 784.0 sec. user=vaughan [2010-03-08 22:17:40] 1639*2^670633-1 is not prime. Res64: 728C64F38BF1EFB4 Time : 781.0 sec. user=vaughan [2010-03-08 22:17:58] 1785*2^670633-1 is not prime. Res64: EF7A83205FCDDFCF Time : 706.0 sec. user=vaughan [2010-03-08 22:27:51] 1821*2^670633-1 is not prime. Res64: 408E248CCF2B3800 Time : 698.0 sec. user=vaughan [2010-03-08 22:29:40] 1881*2^670633-1 is not prime. Res64: 255D23FA52A52577 Time : 702.0 sec. user=vaughan [2010-03-08 22:30:37] 1851*2^670633-1 is not prime. Res64: E17FC0DF6D277A21 Time : 777.0 sec. user=vaughan [2010-03-08 22:30:43] 1869*2^670633-1 is not prime. Res64: A67171033F1D07F8 Time : 783.0 sec. user=vaughan [2010-03-08 22:39:35] 1917*2^670633-1 is not prime. Res64: 32E57548F9BB3448 Time : 705.0 sec. user=vaughan [2010-03-08 22:41:36] 1413*2^670634-1 is not prime. Res64: C82FCA8D813CD70A Time : 716.0 sec. user=vaughan [2010-03-08 22:43:58] 1491*2^670634-1 is not prime. Res64: 2CE0A7BB33144AEA Time : 795.0 sec. user=vaughan [2010-03-08 22:43:58] 1415*2^670634-1 is not prime. Res64: 85CA6FEE495239D7 Time : 801.0 sec. user=vaughan [2010-03-08 22:51:49] 1515*2^670634-1 is not prime. Res64: 10263E690750A8DA Time : 734.0 sec. user=vaughan [2010-03-08 22:53:43] 1541*2^670634-1 is not prime. Res64: 130F0D87984DFCD6 Time : 728.0 sec. user=vaughan [2010-03-08 22:57:10] 1545*2^670634-1 is not prime. Res64: 331F2CD70A2E07F6 Time : 793.0 sec. user=vaughan [2010-03-08 22:57:10] 1565*2^670634-1 is not prime. Res64: F25452A54BEA3887 Time : 793.0 sec. user=vaughan [2010-03-08 23:03:28] 1587*2^670634-1 is not prime. Res64: E8294967E25348A2 Time : 699.0 sec. user=vaughan [2010-03-08 23:05:36] 1655*2^670634-1 is not prime. Res64: F0F2BE7B706B5324 Time : 713.0 sec. user=vaughan [2010-03-08 23:10:21] 1691*2^670634-1 is not prime. Res64: 9A592FA7A43080E7 Time : 791.0 sec. user=vaughan [2010-03-08 23:10:23] 1853*2^670634-1 is not prime. Res64: 38C4D2D00461CE03 Time : 793.0 sec. user=vaughan [2010-03-08 23:15:17] 1905*2^670634-1 is not prime. Res64: 7C035ADC44B73AE5 Time : 709.0 sec. user=vaughan [2010-03-08 23:17:31] 1455*2^670635-1 is not prime. Res64: F6CD06B9374D63B6 Time : 716.0 sec. user=vaughan [2010-03-08 23:23:23] 1479*2^670635-1 is not prime. Res64: D37B2029F3E4CB72 Time : 783.0 sec. user=vaughan [2010-03-08 23:23:25] 1501*2^670635-1 is not prime. Res64: 3B46D0AA68A60980 Time : 782.0 sec. user=vaughan [2010-03-08 23:26:49] 1603*2^670635-1 is not prime. Res64: 45104C13E9498EA3 Time : 692.0 sec. user=vaughan [2010-03-08 23:29:20] 1689*2^670635-1 is not prime. Res64: EB8B6B21AA2C55D0 Time : 709.0 sec. user=vaughan [2010-03-08 23:36:33] 1741*2^670635-1 is not prime. Res64: 734F42A4EC45FF72 Time : 790.0 sec. user=vaughan [2010-03-08 23:36:38] 1839*2^670635-1 is not prime. Res64: FE3551738F146347 Time : 793.0 sec. user=vaughan [2010-03-08 23:38:45] 1909*2^670635-1 is not prime. Res64: 1A02A0D79946FAA0 Time : 716.0 sec. user=vaughan [2010-03-08 23:41:17] 1915*2^670635-1 is not prime. Res64: 4805B362CE94FFAB Time : 718.0 sec. user=vaughan [2010-03-08 23:49:37] 1921*2^670635-1 is not prime. Res64: D679D03FA83627C2 Time : 784.0 sec. user=vaughan [2010-03-08 23:49:38] 1945*2^670635-1 is not prime. Res64: 79ED1BF418977A81 Time : 780.0 sec. user=vaughan [2010-03-08 23:50:17] 1969*2^670635-1 is not prime. Res64: 6C1D8CFAF3E31BFA Time : 693.0 sec. user=vaughan [2010-03-08 23:53:01] 1503*2^670636-1 is not prime. Res64: 9FF74AC9F65C4000 Time : 705.0 sec.