user=vaughan
[2009-02-08 00:13:30]
1415*2^282170-1 is not prime.  Res64: 3944BEB491A19CCF  Time : 3028.0 sec.
user=vaughan
[2009-02-08 00:37:50]
1415*2^282364-1 is not prime.  Res64: EE9C3954D6B9A2D6  Time : 2932.0 sec.
user=vaughan
[2009-02-08 01:05:58]
1415*2^282370-1 is not prime.  Res64: B3B2DFAD7271A42F  Time : 3148.0 sec.
user=vaughan
[2009-02-08 01:39:32]
1415*2^282530-1 is not prime.  Res64: F0E0803D89881CDE  Time : 3702.0 sec.
user=vaughan
[2009-02-08 02:03:58]
1415*2^282544-1 is not prime.  Res64: FB8619DDF40784BF  Time : 3480.0 sec.
user=vaughan
[2009-02-08 02:30:01]
1415*2^282554-1 is not prime.  Res64: 3C20B68E919CF9A8  Time : 3029.0 sec.
user=vaughan
[2009-02-08 02:57:05]
1415*2^282596-1 is not prime.  Res64: 375FEA89374741E8  Time : 3187.0 sec.
user=vaughan
[2009-02-08 03:30:22]
1415*2^282632-1 is not prime.  Res64: B779DA1CACBCD907  Time : 3621.0 sec.
user=vaughan
[2009-02-08 04:02:30]
1415*2^282698-1 is not prime.  Res64: E7201B7DB7E62FE0  Time : 3925.0 sec.
user=vaughan
[2009-02-08 04:29:00]
1415*2^282748-1 is not prime.  Res64: 3FCB1651585D8697  Time : 3518.0 sec.
user=vaughan
[2009-02-08 04:54:59]
1415*2^282788-1 is not prime.  Res64: 443DAF79EFACCC0F  Time : 3149.0 sec.
user=vaughan
[2009-02-08 05:24:00]
1415*2^282928-1 is not prime.  Res64: 5877409382BC8623  Time : 3300.0 sec.
user=vaughan
[2009-02-08 05:56:20]
1415*2^282938-1 is not prime.  Res64: 06322A27420F8466  Time : 3681.0 sec.
user=vaughan
[2009-02-08 06:24:33]
1415*2^282992-1 is not prime.  Res64: 346257D441E17D84  Time : 3633.0 sec.
user=vaughan
[2009-02-08 06:50:30]
1415*2^283034-1 is not prime.  Res64: 07C97565C0F51BF8  Time : 3250.0 sec.
user=vaughan
[2009-02-08 07:22:54]
1415*2^283090-1 is not prime.  Res64: 9C78805C7EAB49B9  Time : 3501.0 sec.
user=vaughan
[2009-02-08 07:46:59]
1415*2^283136-1 is not prime.  Res64: B1B1BCC8D6D64370  Time : 3389.0 sec.
user=vaughan
[2009-02-08 08:11:04]
1415*2^283148-1 is not prime.  Res64: 51E8DBB2BC2DA26E  Time : 2891.0 sec.
user=vaughan
[2009-02-08 08:36:24]
1415*2^283202-1 is not prime.  Res64: 1467C7554D23F1EA  Time : 2965.0 sec.
user=vaughan
[2009-02-08 09:01:42]
1415*2^283210-1 is not prime.  Res64: BD5C324F73D75172  Time : 3038.0 sec.
user=vaughan
[2009-02-08 09:27:46]
1415*2^283244-1 is not prime.  Res64: C6103B852E68867A  Time : 3083.0 sec.
user=vaughan
[2009-02-08 09:53:06]
1415*2^283352-1 is not prime.  Res64: EB6A2CBF2C2678E2  Time : 3085.0 sec.
user=vaughan
[2009-02-08 10:06:08]
1415*2^283436-1 is not prime.  Res64: E1C3A5CA7060DE74  Time : 2303.0 sec.
user=vaughan
[2009-02-08 10:18:17]
1415*2^283604-1 is not prime.  Res64: B13DE14030A9EA63  Time : 1511.0 sec.
user=vaughan
[2009-02-08 10:32:42]
1415*2^283666-1 is not prime.  Res64: 9D2CCBA5A81C5504  Time : 1594.0 sec.
user=vaughan
[2009-02-08 10:44:49]
1415*2^283712-1 is not prime.  Res64: E968E3B00DE9995B  Time : 1592.0 sec.
user=vaughan
[2009-02-08 11:04:29]
1415*2^283784-1 is not prime.  Res64: 7E8DC0D4DD23F585  Time : 1908.0 sec.
user=vaughan
[2009-02-08 11:27:06]
1415*2^283804-1 is not prime.  Res64: 9324FE0939676910  Time : 2537.0 sec.
user=vaughan
[2009-02-08 11:39:10]
1415*2^283898-1 is not prime.  Res64: 42E6269743D07EF5  Time : 2082.0 sec.
user=vaughan
[2009-02-08 11:53:28]
1415*2^284002-1 is not prime.  Res64: 2D13C2D07144F697  Time : 1582.0 sec.
user=vaughan
[2009-02-08 12:05:26]
1415*2^284018-1 is not prime.  Res64: C184F80FB8967464  Time : 1577.0 sec.
user=vaughan
[2009-02-08 12:17:28]
1415*2^284044-1 is not prime.  Res64: 4CA26C6AB79DE530  Time : 1440.0 sec.
user=vaughan
[2009-02-08 12:31:16]
1415*2^284072-1 is not prime.  Res64: F4014FCB053DFF3C  Time : 1550.0 sec.
user=vaughan
[2009-02-08 12:45:35]
1415*2^284330-1 is not prime.  Res64: BDE6612E922EBDEA  Time : 1687.0 sec.
user=vaughan
[2009-02-08 12:57:40]
1415*2^284336-1 is not prime.  Res64: EBE8511CFA8F370C  Time : 1584.0 sec.
user=vaughan
[2009-02-08 13:12:21]
1415*2^284344-1 is not prime.  Res64: D7F936F0D8C69C71  Time : 1606.0 sec.
user=vaughan
[2009-02-08 13:24:28]
1415*2^284576-1 is not prime.  Res64: 890AF69A9BB5BEE3  Time : 1608.0 sec.
user=vaughan
[2009-02-08 13:39:00]
1415*2^284650-1 is not prime.  Res64: BCFAAF3B5A720E1B  Time : 1599.0 sec.
user=vaughan
[2009-02-08 13:51:02]
1415*2^284668-1 is not prime.  Res64: 0D7BF1C72769D997  Time : 1594.0 sec.
user=vaughan
[2009-02-08 14:05:13]
1415*2^284674-1 is not prime.  Res64: 991ABBA8F727E70D  Time : 1573.0 sec.
user=vaughan
[2009-02-08 14:19:04]
1415*2^284728-1 is not prime.  Res64: 03B80070778A723D  Time : 1682.0 sec.
user=vaughan
[2009-02-08 14:32:27]
1415*2^284738-1 is not prime.  Res64: 01AD3B47A7D9B870  Time : 1634.0 sec.
user=vaughan
[2009-02-08 14:44:27]
1415*2^284762-1 is not prime.  Res64: 6DC4DD33CBBFC243  Time : 1523.0 sec.
user=vaughan
[2009-02-08 14:56:25]
1415*2^284828-1 is not prime.  Res64: 0BDA52028BCE52F8  Time : 1438.0 sec.
user=vaughan
[2009-02-08 15:09:57]
1415*2^284858-1 is not prime.  Res64: 1F800F708B30958E  Time : 1530.0 sec.
user=vaughan
[2009-02-08 15:23:50]
1415*2^284882-1 is not prime.  Res64: 3F6B4047BD817856  Time : 1645.0 sec.
user=vaughan
[2009-02-08 15:38:36]
1415*2^284884-1 is not prime.  Res64: 52917F9DAC735C0A  Time : 1719.0 sec.
user=vaughan
[2009-02-08 15:52:36]
1415*2^284944-1 is not prime.  Res64: DA794D9F35F423AB  Time : 1726.0 sec.
user=vaughan
[2009-02-08 16:04:42]
1415*2^284954-1 is not prime.  Res64: 60516BCB5DA1F934  Time : 1566.0 sec.
user=vaughan
[2009-02-08 16:16:45]
1415*2^285008-1 is not prime.  Res64: DA4C2E3C88F53A0C  Time : 1449.0 sec.
user=vaughan
[2009-02-08 16:28:50]
1415*2^285026-1 is not prime.  Res64: 62E9A8F6DB3EF79B  Time : 1448.0 sec.
user=vaughan
[2009-02-08 16:42:41]
1415*2^285152-1 is not prime.  Res64: 4FC5FE5487E8FDD8  Time : 1556.0 sec.
user=vaughan
[2009-02-08 16:54:43]
1415*2^285170-1 is not prime.  Res64: 9914F2ACE6F50FAF  Time : 1553.0 sec.
user=vaughan
[2009-02-08 17:06:46]
1415*2^285236-1 is not prime.  Res64: B61478124FE80314  Time : 1445.0 sec.
user=vaughan
[2009-02-08 17:18:47]
1415*2^285250-1 is not prime.  Res64: 6D0BCFB426E522EC  Time : 1445.0 sec.
user=vaughan
[2009-02-08 17:30:52]
1415*2^285260-1 is not prime.  Res64: 936FC4C35E251DF6  Time : 1447.0 sec.
user=vaughan
[2009-02-08 17:44:13]
1415*2^285290-1 is not prime.  Res64: 5B5913021E5AD8D0  Time : 1526.0 sec.
user=vaughan
[2009-02-08 17:57:22]
1415*2^285304-1 is not prime.  Res64: 55DC9CDC41DAC162  Time : 1590.0 sec.
user=vaughan
[2009-02-08 18:13:09]
1415*2^285314-1 is not prime.  Res64: 220D165EE5731851  Time : 1736.0 sec.
user=vaughan
[2009-02-08 18:26:26]
1415*2^285370-1 is not prime.  Res64: ADF14ED29687DFC0  Time : 1745.0 sec.
user=vaughan
[2009-02-08 18:48:38]
1415*2^285376-1 is not prime.  Res64: 77083C9DC0754E4D  Time : 2129.0 sec.
user=vaughan
[2009-02-08 19:05:04]
1415*2^285388-1 is not prime.  Res64: D5CE3934A88E152B  Time : 2319.0 sec.
user=vaughan
[2009-02-08 19:20:57]
1415*2^285442-1 is not prime.  Res64: B7FCE0DD3524A62D  Time : 1939.0 sec.
user=vaughan
[2009-02-08 19:37:09]
1415*2^285482-1 is not prime.  Res64: 5E730F00B05277FA  Time : 1925.0 sec.
user=vaughan
[2009-02-08 19:49:40]
1415*2^285548-1 is not prime.  Res64: E1C1BE2016DA3E64  Time : 1723.0 sec.
user=vaughan
[2009-02-08 20:01:44]
1415*2^285610-1 is not prime.  Res64: 27973BE263AEC736  Time : 1475.0 sec.
user=vaughan
[2009-02-08 20:14:26]
1415*2^285650-1 is not prime.  Res64: 7F690B2305F9480A  Time : 1486.0 sec.
user=vaughan
[2009-02-08 20:27:39]
1415*2^285802-1 is not prime.  Res64: 3F11C7A19F9C57A1  Time : 1555.0 sec.
user=vaughan
[2009-02-08 20:42:35]
1415*2^285890-1 is not prime.  Res64: F8F0457CA171F928  Time : 1690.0 sec.
user=vaughan
[2009-02-08 20:56:28]
1415*2^286016-1 is not prime.  Res64: 689F6028F1C2B1CA  Time : 1729.0 sec.
user=vaughan
[2009-02-08 21:11:37]
1415*2^286058-1 is not prime.  Res64: 1972C7E4875EB4CD  Time : 1743.0 sec.
user=vaughan
[2009-02-08 21:25:26]
1415*2^286060-1 is not prime.  Res64: 0DC2460E596D247E  Time : 1738.0 sec.
user=vaughan
[2009-02-08 21:40:11]
1415*2^286088-1 is not prime.  Res64: 2C00D1A8F60CDD40  Time : 1714.0 sec.
user=vaughan
[2009-02-08 21:52:16]
1415*2^286124-1 is not prime.  Res64: 881F4A314D4B2146  Time : 1611.0 sec.
user=vaughan
[2009-02-08 22:04:19]
1415*2^286136-1 is not prime.  Res64: 7EB883299CE9259C  Time : 1448.0 sec.
user=vaughan
[2009-02-08 22:19:47]
1415*2^286180-1 is not prime.  Res64: 67AC0A02883F94B6  Time : 1652.0 sec.
user=vaughan
[2009-02-08 22:31:51]
1415*2^286202-1 is not prime.  Res64: 6E448BAC807EB663  Time : 1652.0 sec.
user=vaughan
[2009-02-08 22:45:41]
1415*2^286234-1 is not prime.  Res64: 215BB566B201E66D  Time : 1555.0 sec.
user=vaughan
[2009-02-08 22:59:51]
1415*2^286250-1 is not prime.  Res64: CEBB421AD270990C  Time : 1680.0 sec.
user=vaughan
[2009-02-08 23:20:39]
1415*2^286330-1 is not prime.  Res64: B62B353DB1012652  Time : 2098.0 sec.
user=vaughan
[2009-02-08 23:32:45]
1415*2^286396-1 is not prime.  Res64: 403FE34993A6D9B3  Time : 1976.0 sec.
user=vaughan
[2009-02-08 23:49:26]
1415*2^286412-1 is not prime.  Res64: EBCA62A4827BE660  Time : 1727.0 sec.