user=vaughan
[2009-02-04 00:17:31]
1415*2^263234-1 is not prime.  Res64: 20C40930725BA427  Time : 2852.0 sec.
user=vaughan
[2009-02-04 00:39:53]
1415*2^263284-1 is not prime.  Res64: 2B25C4F80206F3DC  Time : 2834.0 sec.
user=vaughan
[2009-02-04 01:02:10]
1415*2^263338-1 is not prime.  Res64: 0E1F4C66A9B04983  Time : 2680.0 sec.
user=vaughan
[2009-02-04 01:24:25]
1415*2^263416-1 is not prime.  Res64: 3C50E16052AD36A8  Time : 2673.0 sec.
user=vaughan
[2009-02-04 01:47:24]
1415*2^263450-1 is not prime.  Res64: CD4D1C4D993C53C8  Time : 2714.0 sec.
user=vaughan
[2009-02-04 02:12:46]
1415*2^263522-1 is not prime.  Res64: A2DF99A18D4CF48F  Time : 2901.0 sec.
user=vaughan
[2009-02-04 02:39:23]
1415*2^263564-1 is not prime.  Res64: 44671992652D6220  Time : 3119.0 sec.
user=vaughan
[2009-02-04 02:51:08]
1415*2^263668-1 is not prime.  Res64: A35E17F921859CEF  Time : 2303.0 sec.
user=vaughan
[2009-02-04 03:22:09]
1415*2^263698-1 is not prime.  Res64: D26DE0AB336D2666  Time : 2566.0 sec.
user=vaughan
[2009-02-04 03:33:17]
1415*2^263722-1 is not prime.  Res64: 4476606A44DB5179  Time : 2529.0 sec.
user=vaughan
[2009-02-04 03:44:26]
1415*2^263848-1 is not prime.  Res64: 2014460CF988F1F3  Time : 1338.0 sec.
user=vaughan
[2009-02-04 03:55:34]
1415*2^263866-1 is not prime.  Res64: 7851A7B5588C52D2  Time : 1337.0 sec.
user=vaughan
[2009-02-04 04:06:44]
1415*2^263884-1 is not prime.  Res64: 95372DDD4791E4C1  Time : 1338.0 sec.
user=vaughan
[2009-02-04 04:27:19]
1415*2^263906-1 is not prime.  Res64: 90C0E8F57131BED7  Time : 1905.0 sec.
user=vaughan
[2009-02-04 04:53:17]
1415*2^263948-1 is not prime.  Res64: B049A165C38E1991  Time : 2793.0 sec.
user=vaughan
[2009-02-04 05:15:47]
1415*2^263978-1 is not prime.  Res64: D62DA49B62EB5D60  Time : 2908.0 sec.
user=vaughan
[2009-02-04 05:39:24]
1415*2^263984-1 is not prime.  Res64: 5C034398B0AD7100  Time : 2768.0 sec.
user=vaughan
[2009-02-04 06:03:48]
1415*2^264010-1 is not prime.  Res64: 05A3E48B809110CA  Time : 2881.0 sec.
user=vaughan
[2009-02-04 06:28:21]
1415*2^264164-1 is not prime.  Res64: 3F5716ADD7CB27BC  Time : 2937.0 sec.
user=vaughan
[2009-02-04 06:51:05]
1415*2^264208-1 is not prime.  Res64: A83F3B1740818F5F  Time : 2837.0 sec.
user=vaughan
[2009-02-04 07:13:48]
1415*2^264344-1 is not prime.  Res64: 321E5B5E513B48CE  Time : 2727.0 sec.
user=vaughan
[2009-02-04 07:36:25]
1415*2^264388-1 is not prime.  Res64: C21ECD6EA25D8586  Time : 2720.0 sec.
user=vaughan
[2009-02-04 08:01:54]
1415*2^264482-1 is not prime.  Res64: C005C30DCC0F8EE8  Time : 2886.0 sec.
user=vaughan
[2009-02-04 08:24:46]
1415*2^264506-1 is not prime.  Res64: 6542CF03BA7E60AE  Time : 2901.0 sec.
user=vaughan
[2009-02-04 08:47:24]
1415*2^264544-1 is not prime.  Res64: 4545C18150E65E22  Time : 2730.0 sec.
user=vaughan
[2009-02-04 09:11:35]
1415*2^264602-1 is not prime.  Res64: 3745A24665761117  Time : 2809.0 sec.
user=vaughan
[2009-02-04 09:38:32]
1415*2^264626-1 is not prime.  Res64: 323BAD085CAC9CBB  Time : 3068.0 sec.
user=vaughan
[2009-02-04 10:01:10]
1415*2^264658-1 is not prime.  Res64: 8542A53A480C6575  Time : 2975.0 sec.
user=vaughan
[2009-02-04 10:23:49]
1415*2^264668-1 is not prime.  Res64: 2B21F64E2798DFD0  Time : 2717.0 sec.
user=vaughan
[2009-02-04 10:46:29]
1415*2^264730-1 is not prime.  Res64: 6279A26460EC29CE  Time : 2719.0 sec.
user=vaughan
[2009-02-04 11:09:06]
1415*2^264740-1 is not prime.  Res64: 1963B20474E77D7F  Time : 2717.0 sec.
user=vaughan
[2009-02-04 11:31:43]
1415*2^264794-1 is not prime.  Res64: EC1715013A57655C  Time : 2714.0 sec.
user=vaughan
[2009-02-04 11:54:25]
1415*2^264820-1 is not prime.  Res64: DFC7646913B4FF51  Time : 2719.0 sec.
user=vaughan
[2009-02-04 12:16:59]
1415*2^264890-1 is not prime.  Res64: 50299E348AE21341  Time : 2716.0 sec.
user=vaughan
[2009-02-04 12:39:46]
1415*2^264922-1 is not prime.  Res64: B2D9A3C44401A219  Time : 2721.0 sec.
user=vaughan
[2009-02-04 13:02:25]
1415*2^264928-1 is not prime.  Res64: 420EB0B3271D5C3B  Time : 2726.0 sec.
user=vaughan
[2009-02-04 13:25:04]
1415*2^264938-1 is not prime.  Res64: 8E79EEB697948E03  Time : 2718.0 sec.
user=vaughan
[2009-02-04 13:47:42]
1415*2^264946-1 is not prime.  Res64: 272A91B6A4B631B3  Time : 2717.0 sec.
user=vaughan
[2009-02-04 14:10:47]
1415*2^264964-1 is not prime.  Res64: 7DC630571CE3AF63  Time : 2743.0 sec.
user=vaughan
[2009-02-04 14:35:25]
1415*2^264976-1 is not prime.  Res64: 9655BBEE71763A66  Time : 2863.0 sec.
user=vaughan
[2009-02-04 14:58:00]
1415*2^265106-1 is not prime.  Res64: B3625992B9E1922C  Time : 2833.0 sec.
user=vaughan
[2009-02-04 15:20:30]
1415*2^265130-1 is not prime.  Res64: 08EB700D4CF5245B  Time : 2705.0 sec.
user=vaughan
[2009-02-04 15:43:00]
1415*2^265144-1 is not prime.  Res64: 45E25DB60DC2DAE8  Time : 2700.0 sec.
user=vaughan
[2009-02-04 16:06:55]
1415*2^265172-1 is not prime.  Res64: DEF3E6DE357E1F94  Time : 2785.0 sec.
user=vaughan
[2009-02-04 16:31:31]
1415*2^265256-1 is not prime.  Res64: B668BF32B26320FE  Time : 2911.0 sec.
user=vaughan
[2009-02-04 16:54:02]
1415*2^265264-1 is not prime.  Res64: F36906D406F40B1A  Time : 2827.0 sec.
user=vaughan
[2009-02-04 17:19:14]
1415*2^265322-1 is not prime.  Res64: 0B04E73894D1F49B  Time : 2863.0 sec.
user=vaughan
[2009-02-04 17:41:46]
1415*2^265324-1 is not prime.  Res64: 4764AD02C1A25F58  Time : 2864.0 sec.
user=vaughan
[2009-02-04 18:04:17]
1415*2^265396-1 is not prime.  Res64: 7ADF9ABCC0115B81  Time : 2703.0 sec.
user=vaughan
[2009-02-04 18:25:10]
1415*2^265436-1 is not prime.  Res64: 83CF659EC68D9546  Time : 2604.0 sec.
user=vaughan
[2009-02-04 18:36:24]
1415*2^265496-1 is not prime.  Res64: D9F2D2116B52CC53  Time : 1927.0 sec.
user=vaughan
[2009-02-04 18:47:36]
1415*2^265498-1 is not prime.  Res64: 376EAA3D33827478  Time : 1346.0 sec.
user=vaughan
[2009-02-04 18:58:49]
1415*2^265538-1 is not prime.  Res64: F99D7C0EC852E40E  Time : 1345.0 sec.
user=vaughan
[2009-02-04 19:10:03]
1415*2^265576-1 is not prime.  Res64: B175926EEFF0D256  Time : 1347.0 sec.
user=vaughan
[2009-02-04 19:21:16]
1415*2^265580-1 is not prime.  Res64: 813711B5C0EBDC17  Time : 1348.0 sec.
user=vaughan
[2009-02-04 19:32:31]
1415*2^265642-1 is not prime.  Res64: 9297C260111B377C  Time : 1348.0 sec.
user=vaughan
[2009-02-04 19:43:47]
1415*2^265648-1 is not prime.  Res64: 3144D1445C2C5AE5  Time : 1351.0 sec.
user=vaughan
[2009-02-04 19:56:01]
1415*2^265660-1 is not prime.  Res64: 7B595422F765C39B  Time : 1410.0 sec.
user=vaughan
[2009-02-04 20:07:45]
1415*2^265696-1 is not prime.  Res64: 75E2F25B346BBA61  Time : 1438.0 sec.
user=vaughan
[2009-02-04 20:25:34]
1415*2^265738-1 is not prime.  Res64: 20000522DC5F91F5  Time : 1773.0 sec.
user=vaughan
[2009-02-04 20:36:45]
1415*2^265778-1 is not prime.  Res64: EA4366A85F507D3F  Time : 1740.0 sec.
user=vaughan
[2009-02-04 20:50:36]
1415*2^265796-1 is not prime.  Res64: FAE856F2269818C0  Time : 1502.0 sec.
user=vaughan
[2009-02-04 21:03:14]
1415*2^265828-1 is not prime.  Res64: A441005753ACA2BC  Time : 1589.0 sec.
user=vaughan
[2009-02-04 21:14:30]
1415*2^265876-1 is not prime.  Res64: E00BF18955FC90B5  Time : 1435.0 sec.
user=vaughan
[2009-02-04 21:28:02]
1415*2^265936-1 is not prime.  Res64: F07F2187CC858630  Time : 1488.0 sec.
user=vaughan
[2009-02-04 21:39:19]
1415*2^266714-1 is not prime.  Res64: 340AB86EED0554CD  Time : 1490.0 sec.
user=vaughan
[2009-02-04 21:50:34]
1415*2^266756-1 is not prime.  Res64: 0584887833FB3E5F  Time : 1353.0 sec.
user=PEBKAC
[2009-02-04 21:57:47]
1415*2^265946-1 is not prime.  Res64: 59EC0A7407B3EF07  Time : 2760.0 sec.
user=PEBKAC
[2009-02-04 21:57:47]
1415*2^265994-1 is not prime.  Res64: 9D56654E6C3B3A7B  Time : 2760.0 sec.
user=PEBKAC
[2009-02-04 21:57:47]
1415*2^266018-1 is not prime.  Res64: F2136F9C324E3935  Time : 2759.0 sec.
user=PEBKAC
[2009-02-04 21:57:47]
1415*2^266066-1 is not prime.  Res64: 3657AC1BD96701F8  Time : 2759.0 sec.
user=PEBKAC
[2009-02-04 21:57:47]
1415*2^266072-1 is not prime.  Res64: C78495512DE45B23  Time : 2759.0 sec.
user=PEBKAC
[2009-02-04 21:57:48]
1415*2^266090-1 is not prime.  Res64: D31F04AAB85A159D  Time : 2759.0 sec.
user=PEBKAC
[2009-02-04 21:57:48]
1415*2^266138-1 is not prime.  Res64: 93E5A9E91C8DBA03  Time : 2759.0 sec.
user=PEBKAC
[2009-02-04 21:57:48]
1415*2^266144-1 is not prime.  Res64: C4ED8E5567977A9E  Time : 2759.0 sec.
user=PEBKAC
[2009-02-04 21:57:48]
1415*2^266224-1 is not prime.  Res64: 9864C98FD1888550  Time : 2758.0 sec.
user=PEBKAC
[2009-02-04 21:57:48]
1415*2^266290-1 is not prime.  Res64: 260D5D79454244E6  Time : 2758.0 sec.
user=PEBKAC
[2009-02-04 21:57:48]
1415*2^266324-1 is not prime.  Res64: 5FEBA9CFA63B01EA  Time : 2758.0 sec.
user=vaughan
[2009-02-04 22:11:20]
1415*2^266810-1 is not prime.  Res64: 42009E662948A05B  Time : 1921.0 sec.
user=PEBKAC
[2009-02-04 22:19:07]
1415*2^266360-1 is not prime.  Res64: 3DB198F447535AE5  Time : 4036.0 sec.
user=PEBKAC
[2009-02-04 22:19:07]
1415*2^266402-1 is not prime.  Res64: 439FA148626B7AF6  Time : 4036.0 sec.
user=PEBKAC
[2009-02-04 22:19:07]
1415*2^266468-1 is not prime.  Res64: 54C1333E72EEA073  Time : 4036.0 sec.
user=PEBKAC
[2009-02-04 22:19:08]
1415*2^266480-1 is not prime.  Res64: 30FD68F89A37AF33  Time : 4036.0 sec.
user=PEBKAC
[2009-02-04 22:19:08]
1415*2^266488-1 is not prime.  Res64: 15C28FEF201578DC  Time : 4036.0 sec.
user=PEBKAC
[2009-02-04 22:19:08]
1415*2^266576-1 is not prime.  Res64: E42BEFBB84CF21AB  Time : 4036.0 sec.
user=PEBKAC
[2009-02-04 22:19:08]
1415*2^266584-1 is not prime.  Res64: 395D7A2C1C4A51DD  Time : 4035.0 sec.
user=PEBKAC
[2009-02-04 22:19:08]
1415*2^266602-1 is not prime.  Res64: 141B42F7A8043DB6  Time : 4035.0 sec.
user=PEBKAC
[2009-02-04 22:19:08]
1415*2^266660-1 is not prime.  Res64: F7F32ABD8E630BE3  Time : 4035.0 sec.
user=vaughan
[2009-02-04 22:33:48]
1415*2^266882-1 is not prime.  Res64: B055DBC5B275DEE9  Time : 2595.0 sec.
user=vaughan
[2009-02-04 22:50:20]
1415*2^266920-1 is not prime.  Res64: ADF63647ED2721F7  Time : 2341.0 sec.
user=vaughan
[2009-02-04 23:02:46]
1415*2^266930-1 is not prime.  Res64: 27E831561909FA94  Time : 1738.0 sec.
user=vaughan
[2009-02-04 23:15:30]
1415*2^267064-1 is not prime.  Res64: 36C0D00154CDD3EE  Time : 1511.0 sec.
user=vaughan
[2009-02-04 23:27:13]
1415*2^267116-1 is not prime.  Res64: 6883737D8150C5B4  Time : 1467.0 sec.
user=vaughan
[2009-02-04 23:38:35]
1415*2^267160-1 is not prime.  Res64: 89930D1A55D6354A  Time : 1385.0 sec.
user=vaughan
[2009-02-04 23:49:54]
1415*2^267226-1 is not prime.  Res64: D8DFFF62FE25AFFF  Time : 1362.0 sec.