user=vaughan [2010-02-23 07:53:00] 1727*2^670100-1 is not prime. Res64: A9AA54F37B211106 Time : 696.0 sec. user=vaughan [2010-02-23 07:53:14] 1775*2^670100-1 is not prime. Res64: 99ABC60C38FE06CC Time : 699.0 sec. user=vaughan [2010-02-23 07:54:16] 1683*2^670100-1 is not prime. Res64: 3BF46ADFE84E9705 Time : 778.0 sec. user=vaughan [2010-02-23 07:54:35] 1749*2^670100-1 is not prime. Res64: 9AF53C37A6F1C788 Time : 784.0 sec. user=vaughan [2010-02-23 08:05:50] 1889*2^670100-1 is not prime. Res64: E043622267CFE4D0 Time : 756.0 sec. user=vaughan [2010-02-23 08:06:31] 1803*2^670100-1 is not prime. Res64: 15F4A67999283E02 Time : 811.0 sec. user=vaughan [2010-02-23 08:09:55] 1895*2^670100-1 is not prime. Res64: 5B7A65CC79C46588 Time : 939.0 sec. user=vaughan [2010-02-23 08:10:13] 1441*2^670101-1 is not prime. Res64: BE20B3762B50E0EB Time : 938.0 sec. user=vaughan [2010-02-23 08:17:29] 1455*2^670101-1 is not prime. Res64: A4C1AE06F8051380 Time : 699.0 sec. user=vaughan [2010-02-23 08:18:10] 1531*2^670101-1 is not prime. Res64: 876B327E6C97777B Time : 699.0 sec. user=vaughan [2010-02-23 08:22:59] 1549*2^670101-1 is not prime. Res64: 09EF998300641288 Time : 785.0 sec. user=vaughan [2010-02-23 08:23:18] 1677*2^670101-1 is not prime. Res64: 57D29F5CB11DD9AD Time : 785.0 sec. user=vaughan [2010-02-23 08:29:04] 1735*2^670101-1 is not prime. Res64: 0D86C6C7C5A61700 Time : 695.0 sec. user=vaughan [2010-02-23 08:29:46] 1831*2^670101-1 is not prime. Res64: B53ACD1713A5B33E Time : 697.0 sec. user=vaughan [2010-02-23 08:35:55] 1897*2^670101-1 is not prime. Res64: 75B2240F27D35B50 Time : 776.0 sec. user=vaughan [2010-02-23 08:36:15] 1911*2^670101-1 is not prime. Res64: DE8F3B2B7E97AE49 Time : 777.0 sec. user=vaughan [2010-02-23 08:40:33] 1957*2^670101-1 is not prime. Res64: B82975CD17F9C655 Time : 689.0 sec. user=vaughan [2010-02-23 08:41:21] 1475*2^670102-1 is not prime. Res64: 3153410C0530457D Time : 696.0 sec. user=vaughan [2010-02-23 08:49:10] 1511*2^670102-1 is not prime. Res64: 28BAB86E15F37589 Time : 798.0 sec. user=vaughan [2010-02-23 08:49:29] 1515*2^670102-1 is not prime. Res64: 5818DD5276747F91 Time : 794.0 sec. user=vaughan [2010-02-23 08:52:15] 1533*2^670102-1 is not prime. Res64: 9FC7411991F161A7 Time : 702.0 sec. user=vaughan [2010-02-23 08:53:01] 1535*2^670102-1 is not prime. Res64: 254206334A8BF9B9 Time : 700.0 sec. user=vaughan [2010-02-23 09:02:07] 1583*2^670102-1 is not prime. Res64: 86DCB1D0799762F2 Time : 777.0 sec. user=vaughan [2010-02-23 09:02:28] 1647*2^670102-1 is not prime. Res64: 41010CAFCE7F3544 Time : 779.0 sec. user=vaughan [2010-02-23 09:03:47] 1725*2^670102-1 is not prime. Res64: 671133C7DEFCBB9D Time : 692.0 sec. user=vaughan [2010-02-23 09:04:35] 1791*2^670102-1 is not prime. Res64: 846E5642B495EF8E Time : 694.0 sec. user=vaughan [2010-02-23 09:15:21] 1815*2^670102-1 is not prime. Res64: 2BEB4410B412B86F Time : 795.0 sec. user=vaughan [2010-02-23 09:15:44] 1875*2^670102-1 is not prime. Res64: F1EBF5B86D5B547B Time : 797.0 sec. user=vaughan [2010-02-23 09:15:46] 1883*2^670102-1 is not prime. Res64: BBB7CAB4EE1FAD21 Time : 719.0 sec. user=vaughan [2010-02-23 09:16:31] 1425*2^670103-1 is not prime. Res64: B76318BF62B14A78 Time : 717.0 sec. user=vaughan [2010-02-23 09:27:38] 1485*2^670103-1 is not prime. Res64: 349F41753B9CE89B Time : 712.0 sec. user=vaughan [2010-02-23 09:28:07] 1491*2^670103-1 is not prime. Res64: B5463545EF2605C9 Time : 696.0 sec. user=vaughan [2010-02-23 09:28:31] 1441*2^670103-1 is not prime. Res64: 7B8646FEEF4EB3F9 Time : 790.0 sec. user=vaughan [2010-02-23 09:28:52] 1449*2^670103-1 is not prime. Res64: 3AECE378C7383BDC Time : 788.0 sec. user=vaughan [2010-02-23 09:40:33] 1551*2^670103-1 is not prime. Res64: 6102FF5D2300A3E7 Time : 776.0 sec. user=vaughan [2010-02-23 09:40:43] 1599*2^670103-1 is not prime. Res64: 339AEB787D5F72F6 Time : 757.0 sec. user=vaughan [2010-02-23 09:43:14] 1621*2^670103-1 is not prime. Res64: 1D6B2BD1CD6C913D Time : 883.0 sec. user=vaughan [2010-02-23 09:43:43] 1623*2^670103-1 is not prime. Res64: 68F2A3C1D22EEB08 Time : 892.0 sec. user=vaughan [2010-02-23 09:52:20] 1795*2^670103-1 is not prime. Res64: 4914A9140CA4435E Time : 707.0 sec. user=vaughan [2010-02-23 09:52:30] 1803*2^670103-1 is not prime. Res64: 438642028DFF7640 Time : 707.0 sec. user=vaughan [2010-02-23 09:56:18] 1831*2^670103-1 is not prime. Res64: 8B46359F7EF46A96 Time : 784.0 sec. user=vaughan [2010-02-23 09:56:46] 1849*2^670103-1 is not prime. Res64: CCC54D236DE8B2D7 Time : 783.0 sec. user=vaughan [2010-02-23 10:03:58] 1851*2^670103-1 is not prime. Res64: 5F91CF0032FBD7ED Time : 698.0 sec. user=vaughan [2010-02-23 10:04:32] 1935*2^670103-1 is not prime. Res64: 73F61AC0BBF68FA6 Time : 723.0 sec. user=vaughan [2010-02-23 10:09:56] 1945*2^670103-1 is not prime. Res64: 325F2C82C16ECFBA Time : 818.0 sec. user=vaughan [2010-02-23 10:10:27] 1951*2^670103-1 is not prime. Res64: 8EB7BC5A9E72BCCF Time : 822.0 sec. user=vaughan [2010-02-23 10:15:37] 1403*2^670104-1 is not prime. Res64: 9F62F5F89524C0B9 Time : 699.0 sec. user=vaughan [2010-02-23 10:16:07] 1419*2^670104-1 is not prime. Res64: F4E78940F9368AD6 Time : 696.0 sec. user=vaughan [2010-02-23 10:22:51] 1425*2^670104-1 is not prime. Res64: 3BD82CF2814E1756 Time : 775.0 sec. user=vaughan [2010-02-23 10:23:22] 1487*2^670104-1 is not prime. Res64: 47A5A06E1275B2A7 Time : 775.0 sec. user=vaughan [2010-02-23 10:27:14] 1533*2^670104-1 is not prime. Res64: 93BC04C4C1AF6F52 Time : 697.0 sec. user=vaughan [2010-02-23 10:27:39] 1557*2^670104-1 is not prime. Res64: AE8AD1612EEDCAE8 Time : 693.0 sec. user=vaughan [2010-02-23 10:36:32] 1595*2^670104-1 is not prime. Res64: D8CD7A3467FF0FFB Time : 822.0 sec. user=vaughan [2010-02-23 10:37:12] 1605*2^670104-1 is not prime. Res64: D4A75E20C560FB22 Time : 831.0 sec. user=vaughan [2010-02-23 10:40:02] 1767*2^670104-1 is not prime. Res64: 5E0DC9EA79996B39 Time : 768.0 sec. user=vaughan [2010-02-23 10:40:07] 1797*2^670104-1 is not prime. Res64: 601F42A9A9377C28 Time : 748.0 sec. user=vaughan [2010-02-23 10:50:16] 1815*2^670104-1 is not prime. Res64: D37B37184929D93A Time : 824.0 sec. user=vaughan [2010-02-23 10:50:57] 1889*2^670104-1 is not prime. Res64: B2A833228C6CE589 Time : 825.0 sec. user=vaughan [2010-02-23 10:51:48] 1441*2^670105-1 is not prime. Res64: 1D63E8EFC40B7216 Time : 701.0 sec. user=vaughan [2010-02-23 10:51:52] 1997*2^670104-1 is not prime. Res64: 2867EE3E9F5E9F64 Time : 710.0 sec. user=vaughan [2010-02-23 11:03:14] 1479*2^670105-1 is not prime. Res64: C46E80F4172A3882 Time : 778.0 sec. user=vaughan [2010-02-23 11:03:22] 1521*2^670105-1 is not prime. Res64: 49B8E8B4FA7EA77D Time : 695.0 sec. user=vaughan [2010-02-23 11:03:37] 1531*2^670105-1 is not prime. Res64: 3153580C32DC0BC6 Time : 706.0 sec. user=vaughan [2010-02-23 11:03:56] 1507*2^670105-1 is not prime. Res64: 385C4BAF85586337 Time : 781.0 sec. user=vaughan [2010-02-23 11:15:28] 1797*2^670105-1 is not prime. Res64: D761DB09A419F61E Time : 726.0 sec. user=vaughan [2010-02-23 11:15:45] 1851*2^670105-1 is not prime. Res64: 07FB08A46179CCA5 Time : 728.0 sec. user=vaughan [2010-02-23 11:16:54] 1545*2^670105-1 is not prime. Res64: 5F483F81287E2205 Time : 820.0 sec. user=vaughan [2010-02-23 11:17:35] 1917*2^670105-1 is not prime. Res64: 874F11F3D8623145 Time : 819.0 sec. user=vaughan [2010-02-23 11:27:00] 1455*2^670106-1 is not prime. Res64: 2E3D16A43BDA9976 Time : 692.0 sec. user=vaughan [2010-02-23 11:27:17] 1467*2^670106-1 is not prime. Res64: EF40584B645D4A95 Time : 693.0 sec. user=vaughan [2010-02-23 11:29:54] 1491*2^670106-1 is not prime. Res64: 7D89F95B6E57BF40 Time : 780.0 sec. user=vaughan [2010-02-23 11:30:36] 1511*2^670106-1 is not prime. Res64: A0434D9582B4BBCA Time : 781.0 sec. user=vaughan [2010-02-23 11:38:38] 1581*2^670106-1 is not prime. Res64: C63AB522E3021020 Time : 698.0 sec. user=vaughan [2010-02-23 11:38:56] 1697*2^670106-1 is not prime. Res64: B75F120F78B0D809 Time : 700.0 sec. user=vaughan [2010-02-23 11:42:54] 1707*2^670106-1 is not prime. Res64: 194A5ECEA9AC1991 Time : 781.0 sec. user=vaughan [2010-02-23 11:43:36] 1803*2^670106-1 is not prime. Res64: EB294954FE18D66D Time : 781.0 sec. user=vaughan [2010-02-23 11:50:15] 1893*2^670106-1 is not prime. Res64: B5D528E23957C001 Time : 698.0 sec. user=vaughan [2010-02-23 11:50:42] 1901*2^670106-1 is not prime. Res64: FBEC406E136021CC Time : 707.0 sec. user=vaughan [2010-02-23 11:55:55] 1961*2^670106-1 is not prime. Res64: A7303B6E8F6F1F4B Time : 781.0 sec. user=vaughan [2010-02-23 11:56:38] 1965*2^670106-1 is not prime. Res64: 89F16D338D39E7C1 Time : 782.0 sec. user=vaughan [2010-02-23 12:01:48] 1491*2^670107-1 is not prime. Res64: CA28F4EB433A79F5 Time : 694.0 sec. user=vaughan [2010-02-23 12:02:27] 1519*2^670107-1 is not prime. Res64: 3A8DC14D0D75FD21 Time : 706.0 sec. user=vaughan [2010-02-23 12:09:14] 1521*2^670107-1 is not prime. Res64: 1DC833CE55AA0671 Time : 800.0 sec. user=vaughan [2010-02-23 12:09:57] 1789*2^670107-1 is not prime. Res64: E7E3ADA3523298A7 Time : 800.0 sec. user=vaughan [2010-02-23 12:13:39] 1839*2^670107-1 is not prime. Res64: DE7E8C9564781662 Time : 711.0 sec. user=vaughan [2010-02-23 12:14:24] 1921*2^670107-1 is not prime. Res64: 6C19CF2E2CF00894 Time : 718.0 sec. user=vaughan [2010-02-23 12:22:18] 1963*2^670107-1 is not prime. Res64: 4E756BFEDD03463D Time : 784.0 sec. user=vaughan [2010-02-23 12:23:03] 1983*2^670107-1 is not prime. Res64: EEA69B3C258ADC56 Time : 786.0 sec. user=vaughan [2010-02-23 12:25:18] 1995*2^670107-1 is not prime. Res64: B223B0A0DFBE9333 Time : 699.0 sec. user=vaughan [2010-02-23 12:26:02] 1443*2^670108-1 is not prime. Res64: ED70FE35C5DD8D3D Time : 699.0 sec. user=vaughan [2010-02-23 12:35:35] 1455*2^670108-1 is not prime. Res64: D81ADC6A9EBCA43A Time : 797.0 sec. user=vaughan [2010-02-23 12:36:22] 1493*2^670108-1 is not prime. Res64: 956D000AD497B70F Time : 800.0 sec. user=vaughan [2010-02-23 12:37:05] 1653*2^670108-1 is not prime. Res64: CC00CC3228580133 Time : 707.0 sec. user=vaughan [2010-02-23 12:37:51] 1667*2^670108-1 is not prime. Res64: 3472AF6F7BCF1375 Time : 709.0 sec. user=vaughan [2010-02-23 12:48:37] 1695*2^670108-1 is not prime. Res64: 74C40F8413C61E57 Time : 782.0 sec. user=vaughan [2010-02-23 12:48:42] 1749*2^670108-1 is not prime. Res64: 9065559225A52838 Time : 697.0 sec. user=vaughan [2010-02-23 12:49:26] 1715*2^670108-1 is not prime. Res64: FF90AB35229E5E61 Time : 784.0 sec. user=vaughan [2010-02-23 12:49:37] 1899*2^670108-1 is not prime. Res64: DA7850FFC3F7E4F9 Time : 706.0 sec. user=vaughan [2010-02-23 13:00:30] 1405*2^670109-1 is not prime. Res64: 4DCB2F2AB17B3F5E Time : 708.0 sec. user=vaughan [2010-02-23 13:01:39] 1431*2^670109-1 is not prime. Res64: 76E0F1E0FAB13162 Time : 722.0 sec. user=vaughan [2010-02-23 13:01:50] 1955*2^670108-1 is not prime. Res64: AB7D7FF5E37905F8 Time : 793.0 sec. user=vaughan [2010-02-23 13:02:42] 1429*2^670109-1 is not prime. Res64: FE9AE79754DAE2C2 Time : 796.0 sec. user=vaughan [2010-02-23 13:12:24] 1461*2^670109-1 is not prime. Res64: 1186DA40D0147BE7 Time : 714.0 sec. user=vaughan [2010-02-23 13:13:41] 1489*2^670109-1 is not prime. Res64: DD3387E48B4B37AE Time : 722.0 sec. user=vaughan [2010-02-23 13:15:07] 1491*2^670109-1 is not prime. Res64: F81B0E042DFE0CFF Time : 797.0 sec. user=vaughan [2010-02-23 13:16:05] 1527*2^670109-1 is not prime. Res64: E5611065BDD261B2 Time : 803.0 sec. user=vaughan [2010-02-23 13:23:59] 1615*2^670109-1 is not prime. Res64: C29326D7EC883D9F Time : 695.0 sec. user=vaughan [2010-02-23 13:25:23] 1665*2^670109-1 is not prime. Res64: 8BC7F03D5F47204D Time : 702.0 sec. user=vaughan [2010-02-23 13:28:23] 1671*2^670109-1 is not prime. Res64: D1A6E44C01A6D26B Time : 797.0 sec. user=vaughan [2010-02-23 13:29:29] 1755*2^670109-1 is not prime. Res64: BDA5EB4C43440D1B Time : 804.0 sec. user=vaughan [2010-02-23 13:35:47] 1797*2^670109-1 is not prime. Res64: 99C9F02AC6AEC449 Time : 708.0 sec. user=vaughan [2010-02-23 13:37:05] 1837*2^670109-1 is not prime. Res64: B94041E04CB42B76 Time : 702.0 sec. user=vaughan [2010-02-23 13:41:25] 1897*2^670109-1 is not prime. Res64: 44B9C64A959ABDF3 Time : 783.0 sec. user=vaughan [2010-02-23 13:42:26] 1939*2^670109-1 is not prime. Res64: 39FFFACE5562747F Time : 778.0 sec. user=vaughan [2010-02-23 13:47:22] 1407*2^670110-1 is not prime. Res64: C5DD591900C235E1 Time : 695.0 sec. user=vaughan [2010-02-23 13:48:46] 1743*2^670110-1 is not prime. Res64: 42D3E107C7A4FFFB Time : 702.0 sec. user=vaughan [2010-02-23 13:55:28] 1815*2^670110-1 is not prime. Res64: 00D6814E675A864B Time : 843.0 sec. user=vaughan [2010-02-23 13:56:31] 1943*2^670110-1 is not prime. Res64: C37F1171634F0348 Time : 845.0 sec. user=vaughan [2010-02-23 13:59:50] 1973*2^670110-1 is not prime. Res64: 5552F3F6BDD0DB6C Time : 748.0 sec. user=vaughan [2010-02-23 14:04:17] 1471*2^670111-1 is not prime. Res64: B8CE53099C736EEA Time : 931.0 sec. user=vaughan [2010-02-23 14:07:39] 1479*2^670111-1 is not prime. Res64: 482BF6643B88EC90 Time : 732.0 sec. user=vaughan [2010-02-23 14:08:45] 1629*2^670111-1 is not prime. Res64: 053E211BB4089E8E Time : 734.0 sec. user=vaughan [2010-02-23 14:11:57] 1641*2^670111-1 is not prime. Res64: 56ED351EB7FA2F05 Time : 727.0 sec. user=vaughan [2010-02-23 14:18:37] 1653*2^670111-1 is not prime. Res64: CBE5012CA721AD66 Time : 799.0 sec. user=vaughan [2010-02-23 14:27:55] 1791*2^670111-1 is not prime. Res64: 532354E6F6B769BC Time : 958.0 sec. user=vaughan [2010-02-23 14:29:06] 1675*2^670111-1 is not prime. Res64: 63A0E7FC8F2B7F2E Time : 1287.0 sec. user=vaughan [2010-02-23 14:31:21] 1773*2^670111-1 is not prime. Res64: B3B3D47DCD3AAB6F Time : 1356.0 sec. user=vaughan [2010-02-23 14:33:34] 1959*2^670111-1 is not prime. Res64: C67ECD56B112B34D Time : 898.0 sec. user=vaughan [2010-02-23 14:42:20] 1989*2^670111-1 is not prime. Res64: 7C034FA1536EA61F Time : 866.0 sec. user=vaughan [2010-02-23 14:45:41] 1993*2^670111-1 is not prime. Res64: 97FB7924BA5BC901 Time : 995.0 sec. user=vaughan [2010-02-23 14:45:45] 1617*2^670112-1 is not prime. Res64: C41A9100749763DC Time : 732.0 sec. user=vaughan [2010-02-23 14:46:45] 1425*2^670112-1 is not prime. Res64: 179FB5DF741A0C4F Time : 924.0 sec. user=vaughan [2010-02-23 14:56:35] 1637*2^670112-1 is not prime. Res64: E47218017EBE9E18 Time : 855.0 sec. user=vaughan [2010-02-23 15:00:44] 1695*2^670112-1 is not prime. Res64: 8439917363AAD38E Time : 899.0 sec. user=vaughan [2010-02-23 15:04:27] 1643*2^670112-1 is not prime. Res64: 1FCFBEACBE71BBA7 Time : 1126.0 sec. user=vaughan [2010-02-23 15:05:27] 1743*2^670112-1 is not prime. Res64: 19845E92E4983C0A Time : 1122.0 sec. user=vaughan [2010-02-23 15:09:35] 1869*2^670112-1 is not prime. Res64: DE3F3C8DB88AD354 Time : 780.0 sec. user=vaughan [2010-02-23 15:12:46] 1883*2^670112-1 is not prime. Res64: 96652B4EEEE4158D Time : 722.0 sec. user=vaughan [2010-02-23 15:17:27] 1977*2^670112-1 is not prime. Res64: DB2FB6E4E848E7ED Time : 781.0 sec. user=vaughan [2010-02-23 15:18:27] 1495*2^670113-1 is not prime. Res64: FF82942A9497E01A Time : 781.0 sec. user=vaughan [2010-02-23 15:21:11] 1507*2^670113-1 is not prime. Res64: 60D13E7E05292181 Time : 697.0 sec. user=vaughan [2010-02-23 15:24:31] 1567*2^670113-1 is not prime. Res64: 5F5D4F690D71F762 Time : 705.0 sec. user=vaughan [2010-02-23 15:30:27] 1617*2^670113-1 is not prime. Res64: 5480201519B453FA Time : 780.0 sec. user=vaughan [2010-02-23 15:31:27] 1687*2^670113-1 is not prime. Res64: 1738539813762915 Time : 780.0 sec. user=vaughan [2010-02-23 15:32:49] 1759*2^670113-1 is not prime. Res64: 7D63B548176E9642 Time : 698.0 sec. user=vaughan [2010-02-23 15:36:18] 1801*2^670113-1 is not prime. Res64: F138420E4DDC0C74 Time : 707.0 sec. user=vaughan [2010-02-23 15:43:26] 1837*2^670113-1 is not prime. Res64: 89848FC3C31ED8DC Time : 780.0 sec. user=vaughan [2010-02-23 15:44:23] 1881*2^670113-1 is not prime. Res64: 2A96A7C16958E53E Time : 694.0 sec. user=vaughan [2010-02-23 15:44:28] 1857*2^670113-1 is not prime. Res64: 7A561532CBF0EA81 Time : 782.0 sec. user=vaughan [2010-02-23 15:48:05] 1897*2^670113-1 is not prime. Res64: 0AC59512EB1CAB4E Time : 707.0 sec. user=vaughan [2010-02-23 15:56:02] 1457*2^670114-1 is not prime. Res64: A9EB8D994851BB32 Time : 700.0 sec. user=vaughan [2010-02-23 15:56:30] 1909*2^670113-1 is not prime. Res64: 24725F2DFEACF06D Time : 784.0 sec. user=vaughan [2010-02-23 15:57:35] 1533*2^670114-1 is not prime. Res64: CD53F9B4E80D1CF6 Time : 787.0 sec. user=vaughan [2010-02-23 15:59:46] 1535*2^670114-1 is not prime. Res64: 69D4AD28FAF05ECD Time : 701.0 sec. user=vaughan [2010-02-23 16:07:34] 1553*2^670114-1 is not prime. Res64: 4A361A861BE5842D Time : 692.0 sec. user=vaughan [2010-02-23 16:09:26] 1625*2^670114-1 is not prime. Res64: C66C62FCC553750F Time : 777.0 sec. user=vaughan [2010-02-23 16:10:30] 1661*2^670114-1 is not prime. Res64: A6EC388B18055110 Time : 776.0 sec. user=vaughan [2010-02-23 16:11:16] 1685*2^670114-1 is not prime. Res64: 0511EEE4AB733FB8 Time : 690.0 sec. user=vaughan [2010-02-23 16:19:05] 1715*2^670114-1 is not prime. Res64: F9C149C084760E77 Time : 691.0 sec. user=vaughan [2010-02-23 16:22:25] 1751*2^670114-1 is not prime. Res64: E27FBC9218A4CD24 Time : 779.0 sec. user=vaughan [2010-02-23 16:23:02] 1793*2^670114-1 is not prime. Res64: 2929D57F316AD12E Time : 706.0 sec. user=vaughan [2010-02-23 16:23:27] 1787*2^670114-1 is not prime. Res64: A1C61C6D6789F189 Time : 778.0 sec. user=vaughan [2010-02-23 16:30:42] 1805*2^670114-1 is not prime. Res64: 073F3C6FB3EEE622 Time : 697.0 sec. user=vaughan [2010-02-23 16:34:49] 1491*2^670115-1 is not prime. Res64: 7556C2873A581556 Time : 707.0 sec. user=vaughan [2010-02-23 16:35:29] 1453*2^670115-1 is not prime. Res64: 9D4D2C5F36EC5015 Time : 785.0 sec. user=vaughan [2010-02-23 16:36:32] 1555*2^670115-1 is not prime. Res64: 01F9891DECA27005 Time : 785.0 sec. user=vaughan [2010-02-23 16:42:24] 1599*2^670115-1 is not prime. Res64: E19E571F2E34D27A Time : 702.0 sec. user=vaughan [2010-02-23 16:46:38] 1641*2^670115-1 is not prime. Res64: 958A9FDD0362B3FA Time : 709.0 sec. user=vaughan [2010-02-23 16:48:47] 1683*2^670115-1 is not prime. Res64: AE0E4CE78D5D6BC0 Time : 798.0 sec. user=vaughan [2010-02-23 16:49:53] 1729*2^670115-1 is not prime. Res64: B8DA0578499400EB Time : 801.0 sec. user=vaughan [2010-02-23 16:54:25] 1741*2^670115-1 is not prime. Res64: 65055CC712EFE4DB Time : 721.0 sec. user=vaughan [2010-02-23 16:58:43] 1893*2^670115-1 is not prime. Res64: B6B7626392A9B302 Time : 725.0 sec. user=vaughan [2010-02-23 17:02:01] 1963*2^670115-1 is not prime. Res64: C4AD9EB75093A020 Time : 795.0 sec. user=vaughan [2010-02-23 17:03:05] 1989*2^670115-1 is not prime. Res64: BFE7C3A1AC75C197 Time : 792.0 sec. user=vaughan [2010-02-23 17:05:56] 1467*2^670116-1 is not prime. Res64: 8B2E4EF5F75D7FB8 Time : 691.0 sec. user=vaughan [2010-02-23 17:10:17] 1517*2^670116-1 is not prime. Res64: E090D8541771E78F Time : 694.0 sec. user=vaughan [2010-02-23 17:15:02] 1577*2^670116-1 is not prime. Res64: FBBFAFE001E9814E Time : 781.0 sec. user=vaughan [2010-02-23 17:16:09] 1617*2^670116-1 is not prime. Res64: 9A608841E6AEA2FD Time : 784.0 sec. user=vaughan [2010-02-23 17:17:34] 1637*2^670116-1 is not prime. Res64: 7E41C0F4713F5C11 Time : 699.0 sec. user=vaughan [2010-02-23 17:21:58] 1683*2^670116-1 is not prime. Res64: 4A56EEE03951EE48 Time : 701.0 sec. user=vaughan [2010-02-23 17:28:09] 1685*2^670116-1 is not prime. Res64: 2B220C2B1A577725 Time : 787.0 sec. user=vaughan [2010-02-23 17:29:08] 1803*2^670116-1 is not prime. Res64: 305423B78D7339A4 Time : 694.0 sec. user=vaughan [2010-02-23 17:29:11] 1713*2^670116-1 is not prime. Res64: 99D544EB22DC7B33 Time : 782.0 sec. user=vaughan [2010-02-23 17:33:40] 1839*2^670116-1 is not prime. Res64: A031D4DDB965B45D Time : 702.0 sec. user=vaughan [2010-02-23 17:40:43] 1965*2^670116-1 is not prime. Res64: 02C175A9377966C8 Time : 695.0 sec. user=vaughan [2010-02-23 17:41:15] 1917*2^670116-1 is not prime. Res64: A6FA90E29A9ABCE1 Time : 786.0 sec. user=vaughan [2010-02-23 17:42:16] 1979*2^670116-1 is not prime. Res64: 2279EABD174C091F Time : 785.0 sec. user=vaughan [2010-02-23 17:45:28] 1995*2^670116-1 is not prime. Res64: 620C781A8362D0A1 Time : 708.0 sec. user=vaughan [2010-02-23 17:52:20] 1997*2^670116-1 is not prime. Res64: 3FAC15DE54B3D261 Time : 698.0 sec. user=vaughan [2010-02-23 17:54:20] 1407*2^670117-1 is not prime. Res64: 316F6B5DC53F730E Time : 785.0 sec. user=vaughan [2010-02-23 17:55:23] 1435*2^670117-1 is not prime. Res64: A3590F9F9EAE8950 Time : 787.0 sec. user=vaughan [2010-02-23 17:57:12] 1447*2^670117-1 is not prime. Res64: 970C36A597E06D19 Time : 704.0 sec. user=vaughan [2010-02-23 18:03:57] 1455*2^670117-1 is not prime. Res64: 1F38B67BD73820CA Time : 698.0 sec. user=vaughan [2010-02-23 18:07:24] 1599*2^670117-1 is not prime. Res64: 70B4E55964F0BE5E Time : 785.0 sec. user=vaughan [2010-02-23 18:08:26] 1737*2^670117-1 is not prime. Res64: 7FAE9BA9655EBA3C Time : 783.0 sec. user=vaughan [2010-02-23 18:08:50] 1777*2^670117-1 is not prime. Res64: 90650DFA84EF38FB Time : 698.0 sec. user=vaughan [2010-02-23 18:15:37] 1797*2^670117-1 is not prime. Res64: 1ACEEC791A0E74D1 Time : 701.0 sec. user=vaughan [2010-02-23 18:20:29] 1965*2^670117-1 is not prime. Res64: 453443F1B2C91113 Time : 786.0 sec. user=vaughan [2010-02-23 18:20:32] 1421*2^670118-1 is not prime. Res64: 763A369CEE2C5779 Time : 702.0 sec. user=vaughan [2010-02-23 18:21:31] 1975*2^670117-1 is not prime. Res64: ECC178F58A14EAB9 Time : 785.0 sec. user=vaughan [2010-02-23 18:27:15] 1431*2^670118-1 is not prime. Res64: C68E9A3D3414DA09 Time : 698.0 sec. user=vaughan [2010-02-23 18:32:12] 1553*2^670118-1 is not prime. Res64: FF2754E237078711 Time : 701.0 sec. user=vaughan [2010-02-23 18:33:33] 1547*2^670118-1 is not prime. Res64: 9F430A0DF337304A Time : 784.0 sec. user=vaughan [2010-02-23 18:34:35] 1611*2^670118-1 is not prime. Res64: 0E7FDD8B8D2F95DE Time : 784.0 sec. user=vaughan [2010-02-23 18:39:06] 1667*2^670118-1 is not prime. Res64: B822682AF71DDAAE Time : 711.0 sec. user=vaughan [2010-02-23 18:45:29] 1673*2^670118-1 is not prime. Res64: 0576E99A4F008293 Time : 797.0 sec. user=vaughan [2010-02-23 18:50:47] 1743*2^670118-1 is not prime. Res64: E6BE20E5D4221C9C Time : 1034.0 sec. user=vaughan [2010-02-23 18:52:20] 1751*2^670118-1 is not prime. Res64: 00BFB95DB3FE3639 Time : 1065.0 sec. user=vaughan [2010-02-23 18:54:12] 1793*2^670118-1 is not prime. Res64: 80D928247B8C4BFE Time : 906.0 sec. user=vaughan [2010-02-23 18:59:27] 1805*2^670118-1 is not prime. Res64: CB8A391D36FBFC45 Time : 838.0 sec. user=vaughan [2010-02-23 19:04:14] 1847*2^670118-1 is not prime. Res64: 0B4D934A2880C535 Time : 807.0 sec. user=vaughan [2010-02-23 19:05:25] 1853*2^670118-1 is not prime. Res64: 1B9E6BFAD571262E Time : 786.0 sec. user=vaughan [2010-02-23 19:05:46] 1893*2^670118-1 is not prime. Res64: A43003CD24B2657C Time : 694.0 sec. user=vaughan [2010-02-23 19:11:09] 1901*2^670118-1 is not prime. Res64: B49412B996BF4033 Time : 702.0 sec. user=vaughan [2010-02-23 19:17:21] 1905*2^670118-1 is not prime. Res64: AD715F4403E76F8A Time : 787.0 sec. user=vaughan [2010-02-23 19:17:23] 1991*2^670118-1 is not prime. Res64: A84275B09D80C018 Time : 698.0 sec. user=vaughan [2010-02-23 19:18:28] 1923*2^670118-1 is not prime. Res64: A0C9C6CA7A57277F Time : 783.0 sec. user=vaughan [2010-02-23 19:23:03] 1441*2^670119-1 is not prime. Res64: 51A3C9393409CD40 Time : 715.0 sec. user=vaughan [2010-02-23 19:29:02] 1713*2^670119-1 is not prime. Res64: 3559B2EC92F376EB Time : 700.0 sec. user=vaughan [2010-02-23 19:30:26] 1479*2^670119-1 is not prime. Res64: 4C62267BE88F41A5 Time : 785.0 sec. user=vaughan [2010-02-23 19:31:36] 1789*2^670119-1 is not prime. Res64: 5DFA3E821A252BF6 Time : 789.0 sec. user=vaughan [2010-02-23 19:34:49] 1803*2^670119-1 is not prime. Res64: 13AD4103F41E9CFC Time : 706.0 sec. user=vaughan [2010-02-23 19:40:37] 1995*2^670119-1 is not prime. Res64: A25DC3C6B3C84727 Time : 695.0 sec. user=vaughan [2010-02-23 19:43:38] 1407*2^670120-1 is not prime. Res64: F7B3CCEEB61AD56F Time : 792.0 sec. user=vaughan [2010-02-23 19:45:02] 1469*2^670120-1 is not prime. Res64: 11942373C38E158D Time : 807.0 sec. user=vaughan [2010-02-23 19:47:06] 1583*2^670120-1 is not prime. Res64: 1DBA41AEC9A3BC0D Time : 738.0 sec. user=vaughan [2010-02-23 19:52:59] 1757*2^670120-1 is not prime. Res64: 76AF7C48F4DC6DEF Time : 742.0 sec. user=vaughan [2010-02-23 19:57:45] 1919*2^670120-1 is not prime. Res64: 379D806792BFF6A7 Time : 848.0 sec. user=vaughan [2010-02-23 19:58:49] 1925*2^670120-1 is not prime. Res64: 740420BEF0B250CD Time : 828.0 sec. user=vaughan [2010-02-23 19:59:11] 1997*2^670120-1 is not prime. Res64: E9DEE784B3457522 Time : 725.0 sec. user=vaughan [2010-02-23 20:04:36] 1485*2^670121-1 is not prime. Res64: 8FDA57A94182C0FD Time : 698.0 sec. user=vaughan [2010-02-23 20:11:06] 1555*2^670121-1 is not prime. Res64: 7788924EB0D7A96F Time : 715.0 sec. user=vaughan [2010-02-23 20:11:09] 1509*2^670121-1 is not prime. Res64: 72322213D5E0D0D5 Time : 804.0 sec. user=vaughan [2010-02-23 20:12:12] 1525*2^670121-1 is not prime. Res64: C26FA80384DE5CA2 Time : 803.0 sec. user=vaughan [2010-02-23 20:16:27] 1567*2^670121-1 is not prime. Res64: 684A5F8F4AB2510E Time : 711.0 sec. user=vaughan [2010-02-23 20:22:42] 1611*2^670121-1 is not prime. Res64: 8A268A35965E3AFE Time : 696.0 sec. user=vaughan [2010-02-23 20:24:13] 1707*2^670121-1 is not prime. Res64: 82DB187E7038FBAE Time : 784.0 sec. user=vaughan [2010-02-23 20:25:20] 1725*2^670121-1 is not prime. Res64: 9AEE24650E367FBE Time : 788.0 sec. user=vaughan [2010-02-23 20:28:06] 1837*2^670121-1 is not prime. Res64: 2C2AA522612AD180 Time : 700.0 sec. user=vaughan [2010-02-23 20:34:29] 1839*2^670121-1 is not prime. Res64: F56FE2EDCCC0298D Time : 707.0 sec. user=vaughan [2010-02-23 20:37:34] 1917*2^670121-1 is not prime. Res64: 8C1B8F3879EAE5E4 Time : 801.0 sec. user=vaughan [2010-02-23 20:38:42] 1487*2^670122-1 is not prime. Res64: D6E2B0C25E87B50E Time : 803.0 sec. user=vaughan [2010-02-23 20:39:58] 1493*2^670122-1 is not prime. Res64: E97B51B0D4400B41 Time : 713.0 sec. user=vaughan [2010-02-23 20:48:47] 1545*2^670122-1 is not prime. Res64: 46B2B00CE0D76F16 Time : 858.0 sec. user=vaughan [2010-02-23 20:55:11] 1575*2^670122-1 is not prime. Res64: CFF9A6E96D3E267B Time : 913.0 sec. user=vaughan [2010-02-23 20:55:12] 1557*2^670122-1 is not prime. Res64: E94BABF87821A67E Time : 1058.0 sec. user=vaughan [2010-02-23 20:56:12] 1571*2^670122-1 is not prime. Res64: 8253BC7CD96CA56D Time : 1050.0 sec. user=vaughan [2010-02-23 21:01:53] 1581*2^670122-1 is not prime. Res64: FE8445EB54350FE6 Time : 786.0 sec. user=vaughan [2010-02-23 21:06:47] 1683*2^670122-1 is not prime. Res64: 2295F79148D9C266 Time : 697.0 sec. user=vaughan [2010-02-23 21:08:16] 1727*2^670122-1 is not prime. Res64: EA62AFEF1D94ACF1 Time : 784.0 sec. user=vaughan [2010-02-23 21:09:18] 1795*2^670123-1 is not prime. Res64: 21A0FE66521D4820 Time : 786.0 sec. user=vaughan [2010-02-23 21:13:34] 1893*2^670123-1 is not prime. Res64: 8BC1DFDE8FDF6C8E Time : 701.0 sec. user=vaughan [2010-02-23 21:18:21] 1533*2^670124-1 is not prime. Res64: 0E421FC5BB2C3DAE Time : 695.0 sec. user=vaughan [2010-02-23 21:21:14] 1559*2^670124-1 is not prime. Res64: 6B238B997D2082F4 Time : 779.0 sec. user=vaughan [2010-02-23 21:22:17] 1607*2^670124-1 is not prime. Res64: 88237A6421D15F18 Time : 779.0 sec. user=vaughan [2010-02-23 21:25:09] 1629*2^670124-1 is not prime. Res64: DAE8850A246A2CB4 Time : 695.0 sec. user=vaughan [2010-02-23 21:29:55] 1679*2^670124-1 is not prime. Res64: 689CA733C188055E Time : 695.0 sec. user=vaughan [2010-02-23 21:34:16] 1833*2^670124-1 is not prime. Res64: 5217CFE262E50A8C Time : 783.0 sec. user=vaughan [2010-02-23 21:35:24] 1847*2^670124-1 is not prime. Res64: 01995AC92EB8BD4E Time : 787.0 sec. user=vaughan [2010-02-23 21:36:54] 1925*2^670124-1 is not prime. Res64: 648FDFC2DC0454D0 Time : 705.0 sec. user=vaughan [2010-02-23 21:41:26] 1959*2^670124-1 is not prime. Res64: E694570AC374F7AE Time : 692.0 sec. user=vaughan [2010-02-23 21:47:05] 1995*2^670124-1 is not prime. Res64: 7471CEBB69CFB0C9 Time : 769.0 sec. user=vaughan [2010-02-23 21:48:12] 1545*2^670125-1 is not prime. Res64: A496CF63CE04CB21 Time : 768.0 sec. user=vaughan [2010-02-23 21:48:35] 1585*2^670125-1 is not prime. Res64: E249571A1F48A5C0 Time : 704.0 sec. user=vaughan [2010-02-23 21:52:57] 1621*2^670125-1 is not prime. Res64: 98DCC0D11A0F8F1B Time : 691.0 sec. user=vaughan [2010-02-23 22:00:11] 1717*2^670125-1 is not prime. Res64: BAF555B44237EABB Time : 786.0 sec. user=vaughan [2010-02-23 22:00:17] 1845*2^670125-1 is not prime. Res64: DF76EA9A5714AAC3 Time : 702.0 sec. user=vaughan [2010-02-23 22:01:20] 1819*2^670125-1 is not prime. Res64: 8D1526A7C87CAE82 Time : 788.0 sec. user=vaughan [2010-02-23 22:04:38] 1857*2^670125-1 is not prime. Res64: 319F5A45F768B723 Time : 701.0 sec. user=vaughan [2010-02-23 22:11:54] 1955*2^670122-1 is not prime. Res64: 1170F6FF07DFFC1A Time : 697.0 sec. user=vaughan [2010-02-23 22:13:12] 1875*2^670125-1 is not prime. Res64: 21C865814BCC490F Time : 781.0 sec. user=vaughan [2010-02-23 22:14:22] 1479*2^670123-1 is not prime. Res64: 0408D1A7629FEEC7 Time : 782.0 sec. user=vaughan [2010-02-23 22:16:15] 1485*2^670123-1 is not prime. Res64: B4E1F7620B2456B1 Time : 697.0 sec. user=vaughan [2010-02-23 22:23:38] 1513*2^670123-1 is not prime. Res64: 3CF9889A7019E9B4 Time : 704.0 sec. user=vaughan [2010-02-23 22:26:11] 1543*2^670123-1 is not prime. Res64: B05F1F9892FB6CE4 Time : 780.0 sec. user=vaughan [2010-02-23 22:27:22] 1563*2^670123-1 is not prime. Res64: 459E52E85C5F7BDA Time : 781.0 sec. user=vaughan [2010-02-23 22:27:55] 1575*2^670123-1 is not prime. Res64: 99CF6C7070B0D245 Time : 700.0 sec. user=vaughan [2010-02-23 22:35:52] 1675*2^670123-1 is not prime. Res64: B885E351E98B9158 Time : 734.0 sec. user=vaughan [2010-02-23 22:39:36] 1695*2^670123-1 is not prime. Res64: 8CBCF45369DBABBC Time : 805.0 sec. user=vaughan [2010-02-23 22:39:53] 1711*2^670123-1 is not prime. Res64: DA14A8ADA0312739 Time : 718.0 sec. user=vaughan [2010-02-23 22:40:48] 1699*2^670123-1 is not prime. Res64: CD1CE73DBF03368C Time : 806.0 sec. user=vaughan [2010-02-23 22:47:28] 1759*2^670123-1 is not prime. Res64: AA741BB78ABD9004 Time : 696.0 sec. user=vaughan [2010-02-23 22:51:26] 1999*2^670125-1 is not prime. Res64: 54D86919F472FCD2 Time : 693.0 sec. user=vaughan [2010-02-23 22:52:31] 1939*2^670125-1 is not prime. Res64: 9938B1878E307241 Time : 775.0 sec. user=vaughan [2010-02-23 22:53:45] 1403*2^670126-1 is not prime. Res64: DDD9CDEEE86357C2 Time : 777.0 sec. user=vaughan [2010-02-23 22:59:10] 1407*2^670126-1 is not prime. Res64: 0FFBD7BE604377A9 Time : 702.0 sec. user=vaughan [2010-02-23 23:03:01] 1427*2^670126-1 is not prime. Res64: D4D4845A7F2D6FAF Time : 695.0 sec. user=vaughan [2010-02-23 23:05:33] 1637*2^670126-1 is not prime. Res64: 1FB8384A17188831 Time : 782.0 sec. user=vaughan [2010-02-23 23:06:48] 1715*2^670126-1 is not prime. Res64: 314B064B564EF671 Time : 784.0 sec. user=vaughan [2010-02-23 23:10:57] 1793*2^670126-1 is not prime. Res64: 712479C87B55D3DA Time : 707.0 sec. user=vaughan [2010-02-23 23:14:38] 1815*2^670126-1 is not prime. Res64: 191DE50C69F1B3AD Time : 697.0 sec. user=vaughan [2010-02-23 23:18:41] 1961*2^670126-1 is not prime. Res64: E387EF634DE3032D Time : 788.0 sec. user=vaughan [2010-02-23 23:19:59] 1513*2^670127-1 is not prime. Res64: 0A0BC17609946009 Time : 791.0 sec. user=vaughan [2010-02-23 23:22:45] 1545*2^670127-1 is not prime. Res64: 78D7131CBE6877D2 Time : 709.0 sec. user=vaughan [2010-02-23 23:26:16] 1579*2^670127-1 is not prime. Res64: 38BCF8CB0A13C94E Time : 698.0 sec. user=vaughan [2010-02-23 23:31:43] 1623*2^670127-1 is not prime. Res64: 1F14B4207B0BC418 Time : 783.0 sec. user=vaughan [2010-02-23 23:33:03] 1749*2^670127-1 is not prime. Res64: 56DA43722F29071A Time : 785.0 sec. user=vaughan [2010-02-23 23:34:25] 1819*2^670127-1 is not prime. Res64: 0E2D96776692962A Time : 700.0 sec. user=vaughan [2010-02-23 23:37:51] 1831*2^670127-1 is not prime. Res64: 52772E6EAE1B2ABF Time : 695.0 sec. user=vaughan [2010-02-23 23:44:46] 1915*2^670127-1 is not prime. Res64: 2C0C6083D9A197F0 Time : 784.0 sec. user=vaughan [2010-02-23 23:46:17] 1953*2^670127-1 is not prime. Res64: 900ABA48A2442AA3 Time : 712.0 sec. user=vaughan [2010-02-23 23:46:25] 1951*2^670127-1 is not prime. Res64: 3E955E22F0F62171 Time : 802.0 sec. user=vaughan [2010-02-23 23:49:59] 1989*2^670127-1 is not prime. Res64: 8670BEE4DCA59C6C Time : 728.0 sec. user=vaughan [2010-02-23 23:58:47] 1995*2^670127-1 is not prime. Res64: 6CEC7303443BF397 Time : 750.0 sec. user=vaughan [2010-02-23 23:59:01] 1993*2^670127-1 is not prime. Res64: 5AE18DA43735E9F5 Time : 856.0 sec. user=vaughan [2010-02-24 00:00:27] 1563*2^670128-1 is not prime. Res64: 88C8EACB101BF58F Time : 843.0 sec.