user=vaughan
[2009-02-03 00:09:53]
1415*2^259160-1 is not prime.  Res64: 36D99372253D3D25  Time : 1408.0 sec.
user=vaughan
[2009-02-03 00:20:51]
1415*2^259162-1 is not prime.  Res64: 96B825B05C394EC2  Time : 1319.0 sec.
user=vaughan
[2009-02-03 00:31:56]
1415*2^259178-1 is not prime.  Res64: 54E33F42CF23BBD3  Time : 1323.0 sec.
user=vaughan
[2009-02-03 00:46:59]
1415*2^259226-1 is not prime.  Res64: E67822F4424DEA92  Time : 1568.0 sec.
user=vaughan
[2009-02-03 01:00:21]
1415*2^259276-1 is not prime.  Res64: FD6AFE2E47E48F08  Time : 1705.0 sec.
user=vaughan
[2009-02-03 01:11:20]
1415*2^259306-1 is not prime.  Res64: 1C0AE9AC8B8E62B8  Time : 1461.0 sec.
user=vaughan
[2009-02-03 01:22:52]
1415*2^259322-1 is not prime.  Res64: D48B357819C5E654  Time : 1352.0 sec.
user=vaughan
[2009-02-03 01:33:21]
1415*2^259330-1 is not prime.  Res64: 639EBF2FE12C9D2E  Time : 1321.0 sec.
user=vaughan
[2009-02-03 01:44:23]
1415*2^259402-1 is not prime.  Res64: 7F7DECC758B2C447  Time : 1292.0 sec.
user=vaughan
[2009-02-03 01:57:07]
1415*2^259424-1 is not prime.  Res64: 2301E825CD2E98F7  Time : 1426.0 sec.
user=vaughan
[2009-02-03 02:12:13]
1415*2^259460-1 is not prime.  Res64: 4AC0BCDE02D2A992  Time : 1671.0 sec.
user=vaughan
[2009-02-03 02:23:19]
1415*2^259474-1 is not prime.  Res64: 5A2C2D0881388656  Time : 1573.0 sec.
user=vaughan
[2009-02-03 02:34:18]
1415*2^259514-1 is not prime.  Res64: 89D41210FA073AD5  Time : 1325.0 sec.
user=vaughan
[2009-02-03 02:45:18]
1415*2^259772-1 is not prime.  Res64: A8D2B30E38F0EB32  Time : 1320.0 sec.
user=vaughan
[2009-02-03 02:56:19]
1415*2^259828-1 is not prime.  Res64: 338343E95D91BDFF  Time : 1321.0 sec.
user=vaughan
[2009-02-03 03:07:20]
1415*2^259844-1 is not prime.  Res64: 1B5C3EF5F37CCB35  Time : 1323.0 sec.
user=vaughan
[2009-02-03 03:21:53]
1415*2^259864-1 is not prime.  Res64: E19066B0735ED908  Time : 1534.0 sec.
user=vaughan
[2009-02-03 03:35:37]
1415*2^259946-1 is not prime.  Res64: 9361FC609736E9D8  Time : 1697.0 sec.
user=vaughan
[2009-02-03 03:46:48]
1415*2^260026-1 is not prime.  Res64: 07163D84BD05D99A  Time : 1495.0 sec.
user=vaughan
[2009-02-03 03:58:33]
1415*2^260036-1 is not prime.  Res64: 499A32C0F8D98523  Time : 1377.0 sec.
user=vaughan
[2009-02-03 04:09:34]
1415*2^260090-1 is not prime.  Res64: 1894B982FC932880  Time : 1366.0 sec.
user=vaughan
[2009-02-03 04:21:30]
1415*2^260144-1 is not prime.  Res64: 5DBFFDF839F954C8  Time : 1377.0 sec.
user=vaughan
[2009-02-03 04:32:43]
1415*2^260170-1 is not prime.  Res64: B8493CF87227A9CE  Time : 1389.0 sec.
user=vaughan
[2009-02-03 04:44:00]
1415*2^260188-1 is not prime.  Res64: BD5A57D0168C9FBF  Time : 1350.0 sec.
user=vaughan
[2009-02-03 04:54:59]
1415*2^260194-1 is not prime.  Res64: 9553B21A7FE33927  Time : 1336.0 sec.
user=vaughan
[2009-02-03 05:05:59]
1415*2^260204-1 is not prime.  Res64: 69C61F61BCC29168  Time : 1320.0 sec.
user=vaughan
[2009-02-03 05:17:00]
1415*2^260210-1 is not prime.  Res64: 1A857583C4EDA736  Time : 1321.0 sec.
user=vaughan
[2009-02-03 05:28:00]
1415*2^260314-1 is not prime.  Res64: DC34B99BD3035D61  Time : 1321.0 sec.
user=vaughan
[2009-02-03 05:39:01]
1415*2^260396-1 is not prime.  Res64: DBDDE342FF322278  Time : 1322.0 sec.
user=vaughan
[2009-02-03 05:50:06]
1415*2^260468-1 is not prime.  Res64: 2BF3A8C3049F9176  Time : 1326.0 sec.
user=vaughan
[2009-02-03 06:01:07]
1415*2^260504-1 is not prime.  Res64: 965F8FD303B9F637  Time : 1327.0 sec.
user=vaughan
[2009-02-03 06:13:47]
1415*2^260522-1 is not prime.  Res64: 8F487C3CDCACEC4D  Time : 1421.0 sec.
user=vaughan
[2009-02-03 06:24:48]
1415*2^260530-1 is not prime.  Res64: 133A7291AE82499E  Time : 1421.0 sec.
user=vaughan
[2009-02-03 06:35:52]
1415*2^260540-1 is not prime.  Res64: 550B3C1134736BC3  Time : 1325.0 sec.
user=vaughan
[2009-02-03 06:48:25]
1415*2^260546-1 is not prime.  Res64: 1E0290CDD62826D0  Time : 1418.0 sec.
user=vaughan
[2009-02-03 06:59:30]
1415*2^260554-1 is not prime.  Res64: 96B2B30ACE1DE0AC  Time : 1418.0 sec.
user=vaughan
[2009-02-03 07:08:15]
1415*2^250546-1 is not prime.  Res64: ACC3B4BE30CFFAEF  Time : 1190.0 sec.
user=vaughan
[2009-02-03 07:22:44]
1415*2^260564-1 is not prime.  Res64: 236BCFCF85212995  Time : 1394.0 sec.
user=vaughan
[2009-02-03 07:34:57]
1415*2^260626-1 is not prime.  Res64: C73C6D1E8A411AB5  Time : 1602.0 sec.
user=vaughan
[2009-02-03 07:47:41]
1415*2^260720-1 is not prime.  Res64: C33ED5BD5A17A573  Time : 1497.0 sec.
user=vaughan
[2009-02-03 08:04:39]
1415*2^260780-1 is not prime.  Res64: AD9E54E95FBD3929  Time : 1782.0 sec.
user=vaughan
[2009-02-03 08:26:26]
1415*2^260788-1 is not prime.  Res64: 40EEF98C4DA8F757  Time : 2326.0 sec.
user=vaughan
[2009-02-03 08:39:02]
1415*2^260842-1 is not prime.  Res64: 9A37C68314B0CA98  Time : 2063.0 sec.
user=vaughan
[2009-02-03 08:53:44]
1415*2^260882-1 is not prime.  Res64: 9333A1FA1443F593  Time : 1638.0 sec.
user=vaughan
[2009-02-03 09:05:38]
1415*2^260944-1 is not prime.  Res64: 095173163FE07046  Time : 1596.0 sec.
user=vaughan
[2009-02-03 09:16:40]
1415*2^261016-1 is not prime.  Res64: 32B2781CD5F4919A  Time : 1376.0 sec.
user=vaughan
[2009-02-03 09:27:44]
1415*2^261104-1 is not prime.  Res64: F7A0861FE38CDB49  Time : 1326.0 sec.
user=vaughan
[2009-02-03 09:41:27]
1415*2^261224-1 is not prime.  Res64: 48E1AE3882E8ECA6  Time : 1487.0 sec.
user=vaughan
[2009-02-03 09:56:25]
1415*2^261260-1 is not prime.  Res64: AA4C431579C2FC19  Time : 1721.0 sec.
user=vaughan
[2009-02-03 10:07:27]
1415*2^261268-1 is not prime.  Res64: AC6D7F7F43497695  Time : 1560.0 sec.
user=vaughan
[2009-02-03 10:18:34]
1415*2^261320-1 is not prime.  Res64: 7314F4A3AA222710  Time : 1330.0 sec.
user=vaughan
[2009-02-03 10:29:39]
1415*2^261392-1 is not prime.  Res64: 776FC9667D9F4975  Time : 1332.0 sec.
user=vaughan
[2009-02-03 10:42:19]
1415*2^261418-1 is not prime.  Res64: 849B660FC3CF7C6A  Time : 1425.0 sec.
user=vaughan
[2009-02-03 10:53:23]
1415*2^261436-1 is not prime.  Res64: F8015F03E445AC7C  Time : 1425.0 sec.
user=vaughan
[2009-02-03 11:06:50]
1415*2^261490-1 is not prime.  Res64: C0475F109644AC79  Time : 1472.0 sec.
user=vaughan
[2009-02-03 11:17:56]
1415*2^261506-1 is not prime.  Res64: 01D4BB4BEA4FB9D9  Time : 1473.0 sec.
user=vaughan
[2009-02-03 11:29:07]
1415*2^261520-1 is not prime.  Res64: 5B591A7C1F6BA74B  Time : 1337.0 sec.
user=vaughan
[2009-02-03 11:40:11]
1415*2^261626-1 is not prime.  Res64: 607DA41A40EF9CCC  Time : 1335.0 sec.
user=vaughan
[2009-02-03 11:52:52]
1415*2^261644-1 is not prime.  Res64: FE0CC07315146E16  Time : 1425.0 sec.
user=vaughan
[2009-02-03 12:12:34]
1415*2^261716-1 is not prime.  Res64: 835397B4BF67A140  Time : 1943.0 sec.
user=vaughan
[2009-02-03 12:35:50]
1415*2^261818-1 is not prime.  Res64: B1443B80ADCAC15D  Time : 2578.0 sec.
user=vaughan
[2009-02-03 13:00:47]
1415*2^261880-1 is not prime.  Res64: AC1645233D2AF5C4  Time : 2893.0 sec.
user=vaughan
[2009-02-03 13:20:54]
1415*2^261904-1 is not prime.  Res64: 82FEA89B87720040  Time : 2705.0 sec.
user=vaughan
[2009-02-03 13:37:38]
1415*2^261962-1 is not prime.  Res64: 73E2D117B1A15C7A  Time : 2211.0 sec.
user=vaughan
[2009-02-03 14:05:05]
1415*2^262042-1 is not prime.  Res64: 1497C4E14A75A890  Time : 2651.0 sec.
user=vaughan
[2009-02-03 14:27:27]
1415*2^262058-1 is not prime.  Res64: 99142A5EA23B32E7  Time : 2989.0 sec.
user=vaughan
[2009-02-03 14:53:11]
1415*2^262066-1 is not prime.  Res64: 0A6E712C2F6ADDAA  Time : 2886.0 sec.
user=vaughan
[2009-02-03 15:20:11]
1415*2^262168-1 is not prime.  Res64: 729448695B29A21B  Time : 3164.0 sec.
user=vaughan
[2009-02-03 15:45:43]
1415*2^262184-1 is not prime.  Res64: A190D19760FA3D75  Time : 3152.0 sec.
user=vaughan
[2009-02-03 16:14:34]
1415*2^262322-1 is not prime.  Res64: 7E6A9A6D3BB50AF5  Time : 3263.0 sec.
user=vaughan
[2009-02-03 16:39:07]
1415*2^262336-1 is not prime.  Res64: 121FA3EB6BA585F4  Time : 3204.0 sec.
user=vaughan
[2009-02-03 17:08:37]
1415*2^262364-1 is not prime.  Res64: 7B6FD55A55025BB6  Time : 3243.0 sec.
user=vaughan
[2009-02-03 17:36:15]
1415*2^262418-1 is not prime.  Res64: 30F437D3FF629C8A  Time : 3428.0 sec.
user=vaughan
[2009-02-03 18:07:13]
1415*2^262426-1 is not prime.  Res64: ACCBA8C144D10D74  Time : 3516.0 sec.
user=vaughan
[2009-02-03 18:36:53]
1415*2^262456-1 is not prime.  Res64: EA2E6E72FD6C3564  Time : 3638.0 sec.
user=vaughan
[2009-02-03 19:06:32]
1415*2^262490-1 is not prime.  Res64: 170B1A454BF6FCC4  Time : 3559.0 sec.
user=vaughan
[2009-02-03 19:39:34]
1415*2^262706-1 is not prime.  Res64: F172B4DEB47B365E  Time : 3761.0 sec.
user=vaughan
[2009-02-03 20:08:11]
1415*2^262786-1 is not prime.  Res64: 218668DEDC031BAE  Time : 3699.0 sec.
user=vaughan
[2009-02-03 20:39:05]
1415*2^262832-1 is not prime.  Res64: 41DEDED1CEEF37CD  Time : 3571.0 sec.
user=vaughan
[2009-02-03 21:10:11]
1415*2^262840-1 is not prime.  Res64: FA09DD88D15A6611  Time : 3720.0 sec.
user=vaughan
[2009-02-03 21:40:41]
1415*2^262874-1 is not prime.  Res64: 0A5021EC3CB6C7DD  Time : 3697.0 sec.
user=vaughan
[2009-02-03 22:09:11]
1415*2^262888-1 is not prime.  Res64: 97F9AB380CDDEDF9  Time : 3541.0 sec.
user=vaughan
[2009-02-03 22:36:59]
1415*2^262976-1 is not prime.  Res64: 74A09B0EE9EF7EC1  Time : 3378.0 sec.
user=vaughan
[2009-02-03 23:03:05]
1415*2^263050-1 is not prime.  Res64: 33635ED13D4A5471  Time : 3234.0 sec.
user=vaughan
[2009-02-03 23:29:59]
1415*2^263140-1 is not prime.  Res64: D171DD0B7AF34DFC  Time : 3181.0 sec.
user=vaughan
[2009-02-03 23:52:40]
1415*2^263156-1 is not prime.  Res64: B58CA7653D2DBF5C  Time : 2975.0 sec.