user=vaughan
[2009-02-06 00:00:19]
1415*2^274696-1 is not prime.  Res64: 9B25502570A11D8A  Time : 2497.0 sec.
user=vaughan
[2009-02-06 00:22:25]
1415*2^274730-1 is not prime.  Res64: 61A32ECF00870C3C  Time : 2634.0 sec.
user=vaughan
[2009-02-06 00:37:15]
1415*2^274786-1 is not prime.  Res64: 5A6A9B36BD388A31  Time : 2216.0 sec.
user=vaughan
[2009-02-06 00:56:40]
1415*2^274826-1 is not prime.  Res64: 4B302A82C3C9D322  Time : 2055.0 sec.
user=vaughan
[2009-02-06 01:18:42]
1415*2^274840-1 is not prime.  Res64: 19A4FBDA7E3C8C3B  Time : 2487.0 sec.
user=vaughan
[2009-02-06 01:35:16]
1415*2^274876-1 is not prime.  Res64: 4215DF9167CF8632  Time : 2317.0 sec.
user=vaughan
[2009-02-06 01:49:18]
1415*2^274928-1 is not prime.  Res64: 9C0BC4594219935B  Time : 1836.0 sec.
user=vaughan
[2009-02-06 02:04:03]
1415*2^274930-1 is not prime.  Res64: EE3DBD19DE1A6CB0  Time : 1727.0 sec.
user=vaughan
[2009-02-06 02:21:31]
1415*2^274984-1 is not prime.  Res64: 8C0905A7DCD9EBDE  Time : 1933.0 sec.
user=vaughan
[2009-02-06 02:37:22]
1415*2^275048-1 is not prime.  Res64: 2A4FA6D483FB8596  Time : 2000.0 sec.
user=vaughan
[2009-02-06 02:56:19]
1415*2^275066-1 is not prime.  Res64: D95B3D77F8E6395F  Time : 2088.0 sec.
user=vaughan
[2009-02-06 03:12:03]
1415*2^275116-1 is not prime.  Res64: BC6662E9A2BD47F3  Time : 2082.0 sec.
user=vaughan
[2009-02-06 03:26:05]
1415*2^275120-1 is not prime.  Res64: DAB7BB8EDBE55385  Time : 1786.0 sec.
user=vaughan
[2009-02-06 03:37:45]
1415*2^275162-1 is not prime.  Res64: C4A65851873E26CD  Time : 1542.0 sec.
user=vaughan
[2009-02-06 03:49:24]
1415*2^275218-1 is not prime.  Res64: 2B058C44E78BF1A7  Time : 1399.0 sec.
user=vaughan
[2009-02-06 04:01:35]
1415*2^275260-1 is not prime.  Res64: C454F2917318B90B  Time : 1430.0 sec.
user=vaughan
[2009-02-06 04:14:21]
1415*2^275368-1 is not prime.  Res64: 61D79165EC8E764E  Time : 1497.0 sec.
user=vaughan
[2009-02-06 04:28:24]
1415*2^275378-1 is not prime.  Res64: D941AB8D14D3949B  Time : 1610.0 sec.
user=vaughan
[2009-02-06 04:44:24]
1415*2^275488-1 is not prime.  Res64: 0D43192735450EE6  Time : 1803.0 sec.
user=vaughan
[2009-02-06 05:00:49]
1415*2^275504-1 is not prime.  Res64: DBE2D3C20899316F  Time : 1945.0 sec.
user=vaughan
[2009-02-06 05:18:13]
1415*2^275620-1 is not prime.  Res64: 65046F95FC796936  Time : 2029.0 sec.
user=vaughan
[2009-02-06 05:31:26]
1415*2^275714-1 is not prime.  Res64: 96A8863BEC878796  Time : 1837.0 sec.
user=vaughan
[2009-02-06 05:43:15]
1415*2^275740-1 is not prime.  Res64: 1D290F1ACCFFB882  Time : 1502.0 sec.
user=vaughan
[2009-02-06 06:00:24]
1415*2^275834-1 is not prime.  Res64: 43B9093BE075CD2F  Time : 1738.0 sec.
user=vaughan
[2009-02-06 06:15:05]
1415*2^275944-1 is not prime.  Res64: 11A388E949CA6E05  Time : 1910.0 sec.
user=vaughan
[2009-02-06 06:29:17]
1415*2^275954-1 is not prime.  Res64: 9494978324E9405A  Time : 1733.0 sec.
user=vaughan
[2009-02-06 06:41:00]
1415*2^275978-1 is not prime.  Res64: 8489CB956DE7E790  Time : 1555.0 sec.
user=vaughan
[2009-02-06 06:57:57]
1415*2^276008-1 is not prime.  Res64: CAE0F774AFB4B897  Time : 1720.0 sec.
user=vaughan
[2009-02-06 07:17:15]
1415*2^276152-1 is not prime.  Res64: E6319192F0902347  Time : 2175.0 sec.
user=vaughan
[2009-02-06 07:30:52]
1415*2^276160-1 is not prime.  Res64: 522EB3D28D0EAE3B  Time : 1975.0 sec.
user=vaughan
[2009-02-06 07:42:34]
1415*2^276226-1 is not prime.  Res64: 84D5FC70A6E44355  Time : 1519.0 sec.
user=vaughan
[2009-02-06 08:01:35]
1415*2^276250-1 is not prime.  Res64: 1155DD7E1A639EDF  Time : 1843.0 sec.
user=vaughan
[2009-02-06 08:22:14]
1415*2^276268-1 is not prime.  Res64: E280BB0A9046E4D3  Time : 2380.0 sec.
user=vaughan
[2009-02-06 08:36:14]
1415*2^276386-1 is not prime.  Res64: B08541C767A038FA  Time : 2079.0 sec.
user=vaughan
[2009-02-06 08:47:55]
1415*2^276394-1 is not prime.  Res64: 3327DE765387AF6B  Time : 1541.0 sec.
user=vaughan
[2009-02-06 08:59:38]
1415*2^276482-1 is not prime.  Res64: BD108403A0FF5B77  Time : 1404.0 sec.
user=vaughan
[2009-02-06 09:11:41]
1415*2^276520-1 is not prime.  Res64: DCD147639480A372  Time : 1427.0 sec.
user=vaughan
[2009-02-06 09:23:49]
1415*2^276586-1 is not prime.  Res64: 1893EFE7E79A909C  Time : 1451.0 sec.
user=vaughan
[2009-02-06 09:37:10]
1415*2^276722-1 is not prime.  Res64: C44BFE0B40D353A5  Time : 1529.0 sec.
user=vaughan
[2009-02-06 09:48:51]
1415*2^276730-1 is not prime.  Res64: EC2C44593C97678D  Time : 1502.0 sec.
user=vaughan
[2009-02-06 10:00:34]
1415*2^276802-1 is not prime.  Res64: 4D7460E926D791CC  Time : 1405.0 sec.
user=vaughan
[2009-02-06 10:12:38]
1415*2^276890-1 is not prime.  Res64: 298FBD5A5A25C2B9  Time : 1427.0 sec.
user=vaughan
[2009-02-06 10:24:20]
1415*2^276980-1 is not prime.  Res64: 8664989638B7BEA6  Time : 1426.0 sec.
user=vaughan
[2009-02-06 10:36:03]
1415*2^277016-1 is not prime.  Res64: BCC2929D8EBC9E13  Time : 1405.0 sec.
user=vaughan
[2009-02-06 10:47:47]
1415*2^277082-1 is not prime.  Res64: 1BAE0E09E19125A7  Time : 1408.0 sec.
user=vaughan
[2009-02-06 10:59:30]
1415*2^277216-1 is not prime.  Res64: 1A80D00A11DF6076  Time : 1407.0 sec.
user=vaughan
[2009-02-06 11:11:37]
1415*2^277274-1 is not prime.  Res64: 01552C3D93BBABD5  Time : 1430.0 sec.
user=vaughan
[2009-02-06 11:23:20]
1415*2^277280-1 is not prime.  Res64: 124B7E7D8A1473B7  Time : 1430.0 sec.
user=vaughan
[2009-02-06 11:35:08]
1415*2^277298-1 is not prime.  Res64: 034ABE4F16FD1C05  Time : 1411.0 sec.
user=vaughan
[2009-02-06 11:48:21]
1415*2^277324-1 is not prime.  Res64: A235DD87D3E74C34  Time : 1501.0 sec.
user=vaughan
[2009-02-06 12:01:54]
1415*2^277394-1 is not prime.  Res64: 31F4F6CAACFB5A92  Time : 1607.0 sec.
user=vaughan
[2009-02-06 12:13:36]
1415*2^277490-1 is not prime.  Res64: 1A5089402BE28701  Time : 1515.0 sec.
user=vaughan
[2009-02-06 12:27:28]
1415*2^272012-1 is not prime.  Res64: 8E348B7ED223E3C2  Time : 1535.0 sec.
user=vaughan
[2009-02-06 12:38:58]
1415*2^272048-1 is not prime.  Res64: 6A9740ECE04FFB1E  Time : 1522.0 sec.
user=vaughan
[2009-02-06 12:50:29]
1415*2^272128-1 is not prime.  Res64: 55FF0ADAE40B74DC  Time : 1382.0 sec.
user=vaughan
[2009-02-06 13:01:59]
1415*2^272146-1 is not prime.  Res64: F04672FB4E83F891  Time : 1381.0 sec.
user=vaughan
[2009-02-06 13:13:34]
1415*2^272276-1 is not prime.  Res64: 45F19C002D451023  Time : 1386.0 sec.
user=vaughan
[2009-02-06 13:25:04]
1415*2^272282-1 is not prime.  Res64: E5AEF401EBF2753B  Time : 1386.0 sec.
user=vaughan
[2009-02-06 13:36:35]
1415*2^272338-1 is not prime.  Res64: BE8700CB310D36A9  Time : 1381.0 sec.
user=vaughan
[2009-02-06 13:48:07]
1415*2^272348-1 is not prime.  Res64: 1C85790774D24A88  Time : 1384.0 sec.
user=vaughan
[2009-02-06 14:01:39]
1415*2^272356-1 is not prime.  Res64: 96EC2F3D9E0180B5  Time : 1504.0 sec.
user=vaughan
[2009-02-06 14:13:09]
1415*2^272384-1 is not prime.  Res64: A3AA4BFF601449AB  Time : 1502.0 sec.
user=vaughan
[2009-02-06 14:24:57]
1415*2^277604-1 is not prime.  Res64: EA62B7EF1564D8C9  Time : 1398.0 sec.
user=vaughan
[2009-02-06 14:36:43]
1415*2^277666-1 is not prime.  Res64: 00AA67F81D68562F  Time : 1414.0 sec.
user=vaughan
[2009-02-06 14:51:12]
1415*2^277690-1 is not prime.  Res64: 1C59FB102322815D  Time : 1576.0 sec.
user=vaughan
[2009-02-06 15:03:01]
1415*2^277780-1 is not prime.  Res64: 7DE1575F852DE72E  Time : 1578.0 sec.
user=vaughan
[2009-02-06 15:14:47]
1415*2^277826-1 is not prime.  Res64: D51DDCA2DD17CBBF  Time : 1415.0 sec.
user=vaughan
[2009-02-06 15:26:32]
1415*2^277874-1 is not prime.  Res64: CE132F7097B85557  Time : 1412.0 sec.
user=vaughan
[2009-02-06 15:38:24]
1415*2^277888-1 is not prime.  Res64: 3895FC7C762FEB28  Time : 1417.0 sec.
user=vaughan
[2009-02-06 15:50:08]
1415*2^278018-1 is not prime.  Res64: F17530F8A93D58CA  Time : 1417.0 sec.
user=vaughan
[2009-02-06 16:01:51]
1415*2^278024-1 is not prime.  Res64: 673E399FB18988F4  Time : 1407.0 sec.
user=vaughan
[2009-02-06 16:13:58]
1415*2^278044-1 is not prime.  Res64: E79CDA1C6F945DAB  Time : 1430.0 sec.
user=vaughan
[2009-02-06 16:25:47]
1415*2^278068-1 is not prime.  Res64: 9B9AA0E1FEDF1F97  Time : 1436.0 sec.
user=vaughan
[2009-02-06 16:42:32]
1415*2^278080-1 is not prime.  Res64: 33496D631219D13B  Time : 1714.0 sec.
user=vaughan
[2009-02-06 16:54:24]
1415*2^278176-1 is not prime.  Res64: B35A34F99D6AF8EB  Time : 1717.0 sec.
user=vaughan
[2009-02-06 17:06:10]
1415*2^278276-1 is not prime.  Res64: DDDE90A299D50B6D  Time : 1418.0 sec.
user=vaughan
[2009-02-06 17:17:58]
1415*2^278288-1 is not prime.  Res64: 58F5E1970E3919B1  Time : 1414.0 sec.
user=vaughan
[2009-02-06 17:29:46]
1415*2^278296-1 is not prime.  Res64: 7CD28F974DB3F426  Time : 1417.0 sec.
user=vaughan
[2009-02-06 17:43:16]
1415*2^278330-1 is not prime.  Res64: AEB49ECFF67F5CF8  Time : 1518.0 sec.
user=vaughan
[2009-02-06 17:55:06]
1415*2^278368-1 is not prime.  Res64: 6F15304497D7771D  Time : 1521.0 sec.
user=vaughan
[2009-02-06 18:09:41]
1415*2^278522-1 is not prime.  Res64: 64B54FDC255D9D99  Time : 1585.0 sec.
user=vaughan
[2009-02-06 18:21:31]
1415*2^278530-1 is not prime.  Res64: 6F05322D7C7BD150  Time : 1585.0 sec.
user=vaughan
[2009-02-06 18:33:17]
1415*2^278548-1 is not prime.  Res64: ADD89E9AD286A82A  Time : 1416.0 sec.
user=vaughan
[2009-02-06 18:46:27]
1415*2^278648-1 is not prime.  Res64: 638EB8A9D581A7B6  Time : 1497.0 sec.
user=vaughan
[2009-02-06 19:00:11]
1415*2^278674-1 is not prime.  Res64: F95E22D30155E941  Time : 1614.0 sec.
user=vaughan
[2009-02-06 19:19:27]
1415*2^278680-1 is not prime.  Res64: 57AF16D1F9E90333  Time : 1981.0 sec.
user=vaughan
[2009-02-06 19:35:07]
1415*2^278698-1 is not prime.  Res64: 8F75CCE0B934DAE9  Time : 2097.0 sec.
user=vaughan
[2009-02-06 19:46:56]
1415*2^278756-1 is not prime.  Res64: 227ADAD40B6C5762  Time : 1649.0 sec.
user=vaughan
[2009-02-06 20:00:07]
1415*2^278816-1 is not prime.  Res64: 9CF040A9E09E6748  Time : 1501.0 sec.
user=vaughan
[2009-02-06 20:12:19]
1415*2^278914-1 is not prime.  Res64: 5AD9795577055F96  Time : 1523.0 sec.
user=vaughan
[2009-02-06 20:24:06]
1415*2^278960-1 is not prime.  Res64: 22A6DE4BCD74445C  Time : 1439.0 sec.
user=vaughan
[2009-02-06 20:35:59]
1415*2^278986-1 is not prime.  Res64: C2A1588128F781EE  Time : 1420.0 sec.
user=vaughan
[2009-02-06 20:49:03]
1415*2^279004-1 is not prime.  Res64: 392C50250D21CB0E  Time : 1497.0 sec.
user=vaughan
[2009-02-06 21:04:41]
1415*2^279034-1 is not prime.  Res64: 0A826735802B4752  Time : 1722.0 sec.
user=vaughan
[2009-02-06 21:16:58]
1415*2^279050-1 is not prime.  Res64: C869E4CABF5164B2  Time : 1675.0 sec.
user=vaughan
[2009-02-06 21:38:08]
1415*2^279076-1 is not prime.  Res64: 6A1072F1F9C1ED03  Time : 2007.0 sec.
user=vaughan
[2009-02-06 21:51:33]
1415*2^279080-1 is not prime.  Res64: 2A37BF5601FABADF  Time : 2076.0 sec.
user=vaughan
[2009-02-06 22:06:52]
1415*2^279122-1 is not prime.  Res64: 9F04172AEF789122  Time : 1724.0 sec.
user=vaughan
[2009-02-06 22:21:02]
1415*2^279176-1 is not prime.  Res64: 37025A11597CA57A  Time : 1769.0 sec.
user=vaughan
[2009-02-06 22:34:18]
1415*2^279212-1 is not prime.  Res64: 9E44EC11AD759484  Time : 1646.0 sec.
user=vaughan
[2009-02-06 22:47:09]
1415*2^279220-1 is not prime.  Res64: 6BD12A06771FFDFB  Time : 1567.0 sec.
user=vaughan
[2009-02-06 23:00:43]
1415*2^279322-1 is not prime.  Res64: 2E2EC1B581470DB4  Time : 1585.0 sec.
user=vaughan
[2009-02-06 23:18:28]
1415*2^279338-1 is not prime.  Res64: 875596D67727B93C  Time : 1879.0 sec.
user=vaughan
[2009-02-06 23:34:36]
1415*2^279356-1 is not prime.  Res64: E57B4B9621583CA2  Time : 2033.0 sec.
user=vaughan
[2009-02-06 23:56:55]
1415*2^279484-1 is not prime.  Res64: D92C90EDB3581136  Time : 2307.0 sec.