user=vaughan
[2009-02-05 00:01:12]
1415*2^267308-1 is not prime.  Res64: 940D347BDC849F1E  Time : 1357.0 sec.
user=vaughan
[2009-02-05 00:12:31]
1415*2^267316-1 is not prime.  Res64: 27FE13EE1F2F0EFB  Time : 1358.0 sec.
user=vaughan
[2009-02-05 00:23:58]
1415*2^267332-1 is not prime.  Res64: CFF84BBDC96F27DA  Time : 1366.0 sec.
user=vaughan
[2009-02-05 00:35:15]
1415*2^267338-1 is not prime.  Res64: 7EE698CD6C2BEDA8  Time : 1365.0 sec.
user=vaughan
[2009-02-05 00:47:50]
1415*2^267394-1 is not prime.  Res64: 0788B72F22BCDBEB  Time : 1433.0 sec.
user=vaughan
[2009-02-05 00:59:45]
1415*2^267484-1 is not prime.  Res64: 170E3265EC6BDA8B  Time : 1470.0 sec.
user=vaughan
[2009-02-05 01:12:44]
1415*2^267656-1 is not prime.  Res64: 475D9A00A8BC2B03  Time : 1494.0 sec.
user=vaughan
[2009-02-05 01:24:01]
1415*2^267658-1 is not prime.  Res64: 625B2C3FA87D5D4E  Time : 1457.0 sec.
user=vaughan
[2009-02-05 01:35:21]
1415*2^267674-1 is not prime.  Res64: AD96CDEFFEC0B0DA  Time : 1357.0 sec.
user=vaughan
[2009-02-05 01:46:39]
1415*2^267776-1 is not prime.  Res64: AFBE6627E56BEEB9  Time : 1358.0 sec.
user=vaughan
[2009-02-05 01:57:56]
1415*2^267826-1 is not prime.  Res64: 3DE766DA304B7A04  Time : 1355.0 sec.
user=vaughan
[2009-02-05 02:09:11]
1415*2^267872-1 is not prime.  Res64: 0FEB91C9F4BE9C94  Time : 1352.0 sec.
user=vaughan
[2009-02-05 02:21:13]
1415*2^267916-1 is not prime.  Res64: EC0D0385D11EFD6A  Time : 1398.0 sec.
user=vaughan
[2009-02-05 02:34:16]
1415*2^267938-1 is not prime.  Res64: C2E8459B582C0927  Time : 1505.0 sec.
user=vaughan
[2009-02-05 02:45:36]
1415*2^267964-1 is not prime.  Res64: A88143D3156212B1  Time : 1463.0 sec.
user=vaughan
[2009-02-05 03:02:51]
1415*2^267980-1 is not prime.  Res64: 00792BE4EFA9B06B  Time : 1715.0 sec.
user=vaughan
[2009-02-05 03:08:10]
1415*2^268010-1 is not prime.  Res64: C7DAF8E3BD7446B8  Time : 1354.0 sec.
user=vaughan
[2009-02-05 03:28:49]
1415*2^268064-1 is not prime.  Res64: 810F435A65887014  Time : 1558.0 sec.
user=vaughan
[2009-02-05 03:31:16]
1415*2^268154-1 is not prime.  Res64: 0AE23A6016E73071  Time : 1386.0 sec.
user=vaughan
[2009-02-05 03:42:34]
1415*2^268160-1 is not prime.  Res64: 770B98C36469DE33  Time : 764.0 sec.
user=vaughan
[2009-02-05 03:53:56]
1415*2^268226-1 is not prime.  Res64: D5AC565486A10D4A  Time : 1360.0 sec.
user=vaughan
[2009-02-05 04:06:57]
1415*2^268340-1 is not prime.  Res64: 679ADA34E58F48AE  Time : 1463.0 sec.
user=vaughan
[2009-02-05 04:20:08]
1415*2^268348-1 is not prime.  Res64: E7341937030B1865  Time : 1572.0 sec.
user=vaughan
[2009-02-05 04:31:54]
1415*2^268424-1 is not prime.  Res64: 645F483F394A135D  Time : 1499.0 sec.
user=vaughan
[2009-02-05 04:43:14]
1415*2^268450-1 is not prime.  Res64: 8E7A76181A0DDDC2  Time : 1386.0 sec.
user=vaughan
[2009-02-05 04:54:32]
1415*2^268474-1 is not prime.  Res64: 543AD964F2774593  Time : 1358.0 sec.
user=vaughan
[2009-02-05 05:05:51]
1415*2^268540-1 is not prime.  Res64: 4BCA43D982442195  Time : 1357.0 sec.
user=vaughan
[2009-02-05 05:17:12]
1415*2^268568-1 is not prime.  Res64: 1A6A3375A2CD1FC5  Time : 1360.0 sec.
user=vaughan
[2009-02-05 05:28:35]
1415*2^268658-1 is not prime.  Res64: 540C451300FC5639  Time : 1364.0 sec.
user=vaughan
[2009-02-05 05:39:56]
1415*2^268682-1 is not prime.  Res64: DEEF48DE0BECE169  Time : 1364.0 sec.
user=vaughan
[2009-02-05 05:51:15]
1415*2^268708-1 is not prime.  Res64: 18929C08EB63E1EA  Time : 1360.0 sec.
user=vaughan
[2009-02-05 06:02:37]
1415*2^268738-1 is not prime.  Res64: C8ED97B874549D66  Time : 1361.0 sec.
user=vaughan
[2009-02-05 06:13:57]
1415*2^268802-1 is not prime.  Res64: 6136CC4D8918534C  Time : 1362.0 sec.
user=vaughan
[2009-02-05 06:25:22]
1415*2^268820-1 is not prime.  Res64: 34CAD076F6F3D8DE  Time : 1365.0 sec.
user=vaughan
[2009-02-05 06:36:39]
1415*2^268826-1 is not prime.  Res64: 96F946745EF27401  Time : 1362.0 sec.
user=vaughan
[2009-02-05 06:48:00]
1415*2^268834-1 is not prime.  Res64: 58FF5CCE37ADE370  Time : 1361.0 sec.
user=vaughan
[2009-02-05 06:59:21]
1415*2^268850-1 is not prime.  Res64: 2D03FB59B6885A3B  Time : 1363.0 sec.
user=vaughan
[2009-02-05 07:10:41]
1415*2^268856-1 is not prime.  Res64: F6BBF5BC6B54036A  Time : 1361.0 sec.
user=vaughan
[2009-02-05 07:22:03]
1415*2^269036-1 is not prime.  Res64: E96B05C1380F59B4  Time : 1362.0 sec.
user=vaughan
[2009-02-05 07:33:26]
1415*2^269098-1 is not prime.  Res64: D62C6F7B61F13FC9  Time : 1366.0 sec.
user=vaughan
[2009-02-05 07:44:49]
1415*2^269162-1 is not prime.  Res64: 91264EA643A30896  Time : 1366.0 sec.
user=vaughan
[2009-02-05 07:56:12]
1415*2^269210-1 is not prime.  Res64: 6D633F35B3CAA85F  Time : 1367.0 sec.
user=vaughan
[2009-02-05 08:07:37]
1415*2^269306-1 is not prime.  Res64: 373F1D9FC38AEF00  Time : 1368.0 sec.
user=vaughan
[2009-02-05 08:19:02]
1415*2^269378-1 is not prime.  Res64: 2A9FA3DF42A6D1FA  Time : 1370.0 sec.
user=vaughan
[2009-02-05 08:30:24]
1415*2^269522-1 is not prime.  Res64: CB89FBDA085A0AC4  Time : 1369.0 sec.
user=vaughan
[2009-02-05 08:44:28]
1415*2^269530-1 is not prime.  Res64: F4CF52C4FC66E91B  Time : 1528.0 sec.
user=vaughan
[2009-02-05 08:56:04]
1415*2^269576-1 is not prime.  Res64: 19FDF99578A9FD27  Time : 1541.0 sec.
user=vaughan
[2009-02-05 09:07:34]
1415*2^269780-1 is not prime.  Res64: E3CB99F8A5152164  Time : 1387.0 sec.
user=vaughan
[2009-02-05 09:19:04]
1415*2^269906-1 is not prime.  Res64: BAC1B39052F61E0D  Time : 1381.0 sec.
user=vaughan
[2009-02-05 09:32:19]
1415*2^269924-1 is not prime.  Res64: 68CA5B624EDFEE33  Time : 1487.0 sec.
user=vaughan
[2009-02-05 09:45:17]
1415*2^269962-1 is not prime.  Res64: B16CFEE57C2D6A34  Time : 1576.0 sec.
user=vaughan
[2009-02-05 09:56:27]
1415*2^269968-1 is not prime.  Res64: 055D323C3DB87F64  Time : 1460.0 sec.
user=vaughan
[2009-02-05 10:08:57]
1415*2^270034-1 is not prime.  Res64: B79BFCA3EABE8424  Time : 1423.0 sec.
user=vaughan
[2009-02-05 10:27:52]
1415*2^270074-1 is not prime.  Res64: 158EEA6137C4E3A0  Time : 1885.0 sec.
user=vaughan
[2009-02-05 10:31:45]
1415*2^270146-1 is not prime.  Res64: A735BB1B4953E601  Time : 1368.0 sec.
user=vaughan
[2009-02-05 10:45:20]
1415*2^270178-1 is not prime.  Res64: 4A0CFB597A83C1B0  Time : 1049.0 sec.
user=vaughan
[2009-02-05 10:56:44]
1415*2^270220-1 is not prime.  Res64: 67A2078369B8BF60  Time : 1499.0 sec.
user=vaughan
[2009-02-05 11:08:09]
1415*2^270340-1 is not prime.  Res64: EF61E2A593333233  Time : 1369.0 sec.
user=vaughan
[2009-02-05 11:19:33]
1415*2^270346-1 is not prime.  Res64: 4FD167CC0D0DF033  Time : 1369.0 sec.
user=vaughan
[2009-02-05 11:30:59]
1415*2^270368-1 is not prime.  Res64: F9D9A9B03E92668C  Time : 1371.0 sec.
user=vaughan
[2009-02-05 11:42:47]
1415*2^270410-1 is not prime.  Res64: 8BD28B0D2D93498F  Time : 1394.0 sec.
user=vfrey
[2009-02-05 11:42:53]
1415*2^270548-1 is not prime.  Res64: CD102F6783ACDCB6  Time : 993.0 sec.
user=vfrey
[2009-02-05 11:43:07]
1415*2^270466-1 is not prime.  Res64: 06EFC158839DE1C0  Time : 1060.0 sec.
user=vfrey
[2009-02-05 11:45:44]
1415*2^270620-1 is not prime.  Res64: EEDFB74642ADE13B  Time : 973.0 sec.
user=vfrey
[2009-02-05 11:45:59]
1415*2^270562-1 is not prime.  Res64: 4DA72A40AADD8844  Time : 1024.0 sec.
user=vfrey
[2009-02-05 11:48:47]
1415*2^270764-1 is not prime.  Res64: D13B7A0079456075  Time : 941.0 sec.
user=vfrey
[2009-02-05 11:49:12]
1415*2^270760-1 is not prime.  Res64: A7E1A23A84F53520  Time : 969.0 sec.
user=vfrey
[2009-02-05 11:51:57]
1415*2^270850-1 is not prime.  Res64: 2E8BAEE7DB411451  Time : 945.0 sec.
user=vfrey
[2009-02-05 11:52:18]
1415*2^270976-1 is not prime.  Res64: E7EFA214E542E0D9  Time : 961.0 sec.
user=vfrey
[2009-02-05 11:54:51]
1415*2^271082-1 is not prime.  Res64: 059A6B7E3476E02D  Time : 917.0 sec.
user=vfrey
[2009-02-05 11:55:17]
1415*2^271106-1 is not prime.  Res64: 0B43CAED06D6B83E  Time : 934.0 sec.
user=vaughan
[2009-02-05 11:55:22]
1415*2^270674-1 is not prime.  Res64: E30DB32F6D0A226D  Time : 1463.0 sec.
user=vfrey
[2009-02-05 11:58:10]
1415*2^271220-1 is not prime.  Res64: 082A5D5113AB2255  Time : 917.0 sec.
user=vfrey
[2009-02-05 11:58:41]
1415*2^271298-1 is not prime.  Res64: D1D64F179ABFB89F  Time : 934.0 sec.
user=vfrey
[2009-02-05 12:02:02]
1415*2^271330-1 is not prime.  Res64: 79248EFD9BB58CEB  Time : 979.0 sec.
user=vfrey
[2009-02-05 12:06:13]
1415*2^271628-1 is not prime.  Res64: F85087072041BBFA  Time : 1046.0 sec.
user=vfrey
[2009-02-05 12:06:31]
1415*2^271556-1 is not prime.  Res64: 6E6FC86FB3B39529  Time : 1232.0 sec.
user=vaughan
[2009-02-05 12:06:51]
1415*2^271130-1 is not prime.  Res64: 84D344CDA8EFF1DF  Time : 1444.0 sec.
user=vfrey
[2009-02-05 12:10:09]
1415*2^271786-1 is not prime.  Res64: 2555E3F8CCDE6D81  Time : 1092.0 sec.
user=vfrey
[2009-02-05 12:11:15]
1415*2^271730-1 is not prime.  Res64: 59FFF5680CCDD1F2  Time : 1323.0 sec.
user=vfrey
[2009-02-05 12:13:02]
1415*2^271834-1 is not prime.  Res64: A49C022862144D24  Time : 1091.0 sec.
user=vfrey
[2009-02-05 12:13:49]
1415*2^271816-1 is not prime.  Res64: 42384ABB26825967  Time : 1292.0 sec.
user=vfrey
[2009-02-05 12:15:45]
1415*2^271922-1 is not prime.  Res64: 300EB9A3D1564348  Time : 1056.0 sec.
user=vfrey
[2009-02-05 12:16:27]
1415*2^271850-1 is not prime.  Res64: 8630703A4C6A9DDD  Time : 1270.0 sec.
user=vaughan
[2009-02-05 12:18:22]
1415*2^271858-1 is not prime.  Res64: 06B070AE9989B861  Time : 1380.0 sec.
user=vaughan
[2009-02-05 12:29:52]
1415*2^272264-1 is not prime.  Res64: C767B4CD23667553  Time : 1382.0 sec.
user=vaughan
[2009-02-05 12:41:44]
1415*2^272428-1 is not prime.  Res64: E6ADC23F4994DDC4  Time : 1402.0 sec.
user=vaughan
[2009-02-05 12:53:13]
1415*2^272444-1 is not prime.  Res64: C7BFE98DED44ABE3  Time : 1401.0 sec.
user=vaughan
[2009-02-05 13:04:45]
1415*2^272456-1 is not prime.  Res64: 46AC38E797057FF7  Time : 1382.0 sec.
user=vaughan
[2009-02-05 13:16:17]
1415*2^272474-1 is not prime.  Res64: B9A8871106714378  Time : 1384.0 sec.
user=vaughan
[2009-02-05 13:27:49]
1415*2^272506-1 is not prime.  Res64: F4EA201C49379E85  Time : 1384.0 sec.
user=vaughan
[2009-02-05 13:39:40]
1415*2^272522-1 is not prime.  Res64: 835186CB61A92100  Time : 1403.0 sec.
user=vaughan
[2009-02-05 13:51:10]
1415*2^272552-1 is not prime.  Res64: 70BA751B502C51C2  Time : 1401.0 sec.
user=vaughan
[2009-02-05 14:04:18]
1415*2^272618-1 is not prime.  Res64: 1D01ABF56B9A3320  Time : 1478.0 sec.
user=vaughan
[2009-02-05 14:16:02]
1415*2^272842-1 is not prime.  Res64: 391303A0070BAB03  Time : 1492.0 sec.
user=vaughan
[2009-02-05 14:27:45]
1415*2^272948-1 is not prime.  Res64: 51A6621F87E49714  Time : 1407.0 sec.
user=vaughan
[2009-02-05 14:41:12]
1415*2^272956-1 is not prime.  Res64: BA63E099A6764181  Time : 1510.0 sec.
user=vaughan
[2009-02-05 14:52:42]
1415*2^272984-1 is not prime.  Res64: 6B4B22F4CC9C7194  Time : 1498.0 sec.
user=vaughan
[2009-02-05 15:04:14]
1415*2^272986-1 is not prime.  Res64: F3146AC2D65B3B4A  Time : 1382.0 sec.
user=vaughan
[2009-02-05 15:15:44]
1415*2^273020-1 is not prime.  Res64: 62D6F4E3BF0EB9B3  Time : 1382.0 sec.
user=vaughan
[2009-02-05 15:27:15]
1415*2^273028-1 is not prime.  Res64: 03F910BD1A1C4EB7  Time : 1381.0 sec.
user=vaughan
[2009-02-05 15:38:46]
1415*2^273130-1 is not prime.  Res64: 1AE6762CEB140374  Time : 1382.0 sec.
user=vaughan
[2009-02-05 15:50:20]
1415*2^273184-1 is not prime.  Res64: 9B5885A4015F5D6C  Time : 1385.0 sec.
user=vaughan
[2009-02-05 16:04:27]
1415*2^273202-1 is not prime.  Res64: 85829B9B6902766A  Time : 1541.0 sec.
user=vaughan
[2009-02-05 16:18:21]
1415*2^273256-1 is not prime.  Res64: 87C809D994F2E017  Time : 1681.0 sec.
user=vaughan
[2009-02-05 16:29:55]
1415*2^273272-1 is not prime.  Res64: 0A096B95EAC0E296  Time : 1528.0 sec.
user=vaughan
[2009-02-05 16:41:50]
1415*2^273314-1 is not prime.  Res64: 7ECD897B310F7A72  Time : 1409.0 sec.
user=vaughan
[2009-02-05 16:55:10]
1415*2^273388-1 is not prime.  Res64: C7C27A31A5D6911C  Time : 1515.0 sec.
user=vaughan
[2009-02-05 17:06:43]
1415*2^273458-1 is not prime.  Res64: A40E726E2602482F  Time : 1493.0 sec.
user=vaughan
[2009-02-05 17:18:19]
1415*2^273580-1 is not prime.  Res64: 6559388735C3C873  Time : 1389.0 sec.
user=vaughan
[2009-02-05 17:29:52]
1415*2^273676-1 is not prime.  Res64: BC71E80412E22CAB  Time : 1389.0 sec.
user=vaughan
[2009-02-05 17:41:26]
1415*2^273706-1 is not prime.  Res64: C36133FD2E4C20FF  Time : 1387.0 sec.
user=vaughan
[2009-02-05 17:53:03]
1415*2^273776-1 is not prime.  Res64: C708F4C43D8CF45B  Time : 1391.0 sec.
user=vaughan
[2009-02-05 18:07:07]
1415*2^273964-1 is not prime.  Res64: 3F6FF2020244AE25  Time : 1541.0 sec.
user=vaughan
[2009-02-05 18:18:42]
1415*2^273968-1 is not prime.  Res64: D6A1EC7C754EB697  Time : 1539.0 sec.
user=vaughan
[2009-02-05 18:31:13]
1415*2^273994-1 is not prime.  Res64: B1EB18A3D8DCA82E  Time : 1447.0 sec.
user=vaughan
[2009-02-05 18:43:20]
1415*2^274028-1 is not prime.  Res64: 508CA210D4BEDEFA  Time : 1478.0 sec.
user=vaughan
[2009-02-05 18:57:27]
1415*2^274048-1 is not prime.  Res64: F41DABA390443E16  Time : 1574.0 sec.
user=vaughan
[2009-02-05 19:09:08]
1415*2^274064-1 is not prime.  Res64: 83708470B0785265  Time : 1548.0 sec.
user=vaughan
[2009-02-05 19:20:42]
1415*2^274076-1 is not prime.  Res64: BCEAC183789F209B  Time : 1395.0 sec.
user=vaughan
[2009-02-05 19:33:46]
1415*2^274082-1 is not prime.  Res64: 33822071A1705968  Time : 1479.0 sec.
user=vaughan
[2009-02-05 19:45:40]
1415*2^274106-1 is not prime.  Res64: 8D1A9D5E8E2BD2E0  Time : 1498.0 sec.
user=vaughan
[2009-02-05 19:57:12]
1415*2^274120-1 is not prime.  Res64: 1A0BB9C7391BAD1C  Time : 1406.0 sec.
user=vaughan
[2009-02-05 20:12:36]
1415*2^274148-1 is not prime.  Res64: CE85C3012601F3EC  Time : 1617.0 sec.
user=vaughan
[2009-02-05 20:26:00]
1415*2^274202-1 is not prime.  Res64: 4AB598C007747861  Time : 1728.0 sec.
user=vaughan
[2009-02-05 20:37:34]
1415*2^274226-1 is not prime.  Res64: C3573666B02EBD41  Time : 1499.0 sec.
user=vaughan
[2009-02-05 20:49:06]
1415*2^274280-1 is not prime.  Res64: AC53B9CD5EF0F97A  Time : 1386.0 sec.
user=vaughan
[2009-02-05 21:07:24]
1415*2^274316-1 is not prime.  Res64: 0DED23076D56CAA7  Time : 1790.0 sec.
user=vaughan
[2009-02-05 21:25:18]
1415*2^274328-1 is not prime.  Res64: 9BF14601C01D8EDE  Time : 2173.0 sec.
user=vaughan
[2009-02-05 21:40:34]
1415*2^274354-1 is not prime.  Res64: 69E4C43EBC47CEC4  Time : 1990.0 sec.
user=vaughan
[2009-02-05 21:55:09]
1415*2^274444-1 is not prime.  Res64: 954AAAC70B1B5DF4  Time : 1791.0 sec.
user=vaughan
[2009-02-05 22:09:24]
1415*2^274490-1 is not prime.  Res64: FA3B041C2C276676  Time : 1730.0 sec.
user=vaughan
[2009-02-05 22:22:58]
1415*2^274496-1 is not prime.  Res64: 76A4CB3F2250BDFA  Time : 1669.0 sec.
user=vaughan
[2009-02-05 22:35:54]
1415*2^274508-1 is not prime.  Res64: 64784ACD24E89AC1  Time : 1591.0 sec.
user=vaughan
[2009-02-05 22:49:51]
1415*2^274516-1 is not prime.  Res64: 8E65E87E0207B072  Time : 1613.0 sec.
user=vaughan
[2009-02-05 23:05:31]
1415*2^274532-1 is not prime.  Res64: 32B6FBBE7579A55B  Time : 1777.0 sec.
user=vaughan
[2009-02-05 23:18:42]
1415*2^274570-1 is not prime.  Res64: 078A4BB188882466  Time : 1731.0 sec.
user=vaughan
[2009-02-05 23:38:31]
1415*2^274666-1 is not prime.  Res64: 4C946DC7B92EE5A3  Time : 1980.0 sec.