user=mdettweiler
[2009-05-11 00:01:05]
339*2^812871-1 is not prime.  Res64: F7F6F193695747CD  Time : 3958.0 sec.
user=mdettweiler
[2009-05-11 00:01:27]
327*2^812873-1 is not prime.  Res64: DF883DFFA07F54B4  Time : 3954.0 sec.
user=vaughan
[2009-05-11 00:04:42]
345*2^813034-1 is not prime.  Res64: 66E0C73B9CD809D9  Time : 933.0 sec.
user=vaughan
[2009-05-11 00:05:11]
333*2^813036-1 is not prime.  Res64: 9E92525C0ADCDE0B  Time : 951.0 sec.
user=mdettweiler
[2009-05-11 00:06:07]
333*2^812880-1 is not prime.  Res64: 9047074E25636123  Time : 3954.0 sec.
user=mdettweiler
[2009-05-11 00:08:55]
339*2^812887-1 is not prime.  Res64: 413F90072B396C01  Time : 3951.0 sec.
user=vaughan
[2009-05-11 00:09:45]
333*2^813039-1 is not prime.  Res64: 6C950793D8472285  Time : 935.0 sec.
user=vaughan
[2009-05-11 00:09:53]
333*2^812747-1 is not prime.  Res64: 4B977D76FE2FF7DD  Time : 8436.0 sec.
user=vaughan
[2009-05-11 00:11:49]
339*2^812759-1 is not prime.  Res64: 4822D173CC2097AB  Time : 8267.0 sec.
user=vaughan
[2009-05-11 00:13:40]
327*2^812764-1 is not prime.  Res64: 810C30CB174F8E29  Time : 8249.0 sec.
user=vaughan
[2009-05-11 00:13:42]
315*2^812765-1 is not prime.  Res64: D799A86FFABCE2BC  Time : 8225.0 sec.
user=mdettweiler
[2009-05-11 00:14:14]
345*2^812902-1 is not prime.  Res64: E32AC4707B8B2CAC  Time : 3955.0 sec.
user=mdettweiler
[2009-05-11 00:14:37]
321*2^812910-1 is not prime.  Res64: 85E3DF497860AC3A  Time : 3953.0 sec.
user=mdettweiler
[2009-05-11 00:19:20]
327*2^812913-1 is not prime.  Res64: 7ACFF5437D88303F  Time : 3957.0 sec.
user=vaughan
[2009-05-11 00:20:15]
321*2^813058-1 is not prime.  Res64: 10E6FF626CA086C0  Time : 933.0 sec.
user=vaughan
[2009-05-11 00:21:02]
339*2^813065-1 is not prime.  Res64: 08EAF8F4FAE4B597  Time : 951.0 sec.
user=mdettweiler
[2009-05-11 00:22:06]
315*2^812934-1 is not prime.  Res64: 220125D15FDCC0A7  Time : 3952.0 sec.
user=vaughan
[2009-05-11 00:23:56]
315*2^812779-1 is not prime.  Res64: AB68A872D5BCF321  Time : 8435.0 sec.
user=vaughan
[2009-05-11 00:25:17]
315*2^813082-1 is not prime.  Res64: A5A8A336D664E7E4  Time : 933.0 sec.
user=vaughan
[2009-05-11 00:25:37]
333*2^812783-1 is not prime.  Res64: 1780373A3CCB9C00  Time : 8269.0 sec.
user=mdettweiler
[2009-05-11 00:27:22]
327*2^812945-1 is not prime.  Res64: A830067E7A31E515  Time : 3954.0 sec.
user=vaughan
[2009-05-11 00:27:25]
315*2^812787-1 is not prime.  Res64: 96A3972EE16938A2  Time : 8226.0 sec.
user=vaughan
[2009-05-11 00:27:25]
321*2^812786-1 is not prime.  Res64: 7E063DDB33AB3146  Time : 8250.0 sec.
user=mdettweiler
[2009-05-11 00:27:49]
315*2^812949-1 is not prime.  Res64: 98FBE6955BCF2A34  Time : 3954.0 sec.
user=mdettweiler
[2009-05-11 00:32:29]
327*2^812964-1 is not prime.  Res64: 737F6D99BC043346  Time : 3955.0 sec.
user=vaughan
[2009-05-11 00:35:48]
345*2^813102-1 is not prime.  Res64: 1CC5BE7334BC77B8  Time : 933.0 sec.
user=vaughan
[2009-05-11 00:36:53]
339*2^813109-1 is not prime.  Res64: 67BBA2FB7CE66F23  Time : 952.0 sec.
user=mdettweiler
[2009-05-11 00:36:59]
315*2^812971-1 is not prime.  Res64: 0F2CE573BE697727  Time : 4054.0 sec.
user=vaughan
[2009-05-11 00:38:01]
339*2^812793-1 is not prime.  Res64: ECBEA5F42F029339  Time : 8436.0 sec.
user=vaughan
[2009-05-11 00:39:23]
315*2^812802-1 is not prime.  Res64: 6308F326FFE221A2  Time : 8269.0 sec.
user=vaughan
[2009-05-11 00:40:51]
315*2^813114-1 is not prime.  Res64: 8894E2AAD1460C44  Time : 934.0 sec.
user=mdettweiler
[2009-05-11 00:40:52]
345*2^812986-1 is not prime.  Res64: F8B541DB2C05DA7F  Time : 3973.0 sec.
user=mdettweiler
[2009-05-11 00:41:01]
315*2^812987-1 is not prime.  Res64: A229715D1FCB0868  Time : 3956.0 sec.
user=vaughan
[2009-05-11 00:41:08]
345*2^812811-1 is not prime.  Res64: 049536C861C20E50  Time : 8226.0 sec.
user=vaughan
[2009-05-11 00:41:10]
345*2^812805-1 is not prime.  Res64: CACEB39699D6EB65  Time : 8249.0 sec.
user=mdettweiler
[2009-05-11 00:45:42]
333*2^812994-1 is not prime.  Res64: 80DFE71D618E6458  Time : 3957.0 sec.
user=mdettweiler
[2009-05-11 00:48:26]
345*2^813004-1 is not prime.  Res64: AF57D179397FF365  Time : 3951.0 sec.
user=vaughan
[2009-05-11 00:51:21]
333*2^813128-1 is not prime.  Res64: B722D0FAD677EF2D  Time : 933.0 sec.
user=vaughan
[2009-05-11 00:52:04]
315*2^812827-1 is not prime.  Res64: BF36F8B66989328E  Time : 8436.0 sec.
user=vaughan
[2009-05-11 00:52:44]
315*2^813130-1 is not prime.  Res64: A60F7B6BFBA89C23  Time : 951.0 sec.
user=vaughan
[2009-05-11 00:53:10]
321*2^812831-1 is not prime.  Res64: 23FF18ED12B7F971  Time : 8268.0 sec.
user=mdettweiler
[2009-05-11 00:54:05]
315*2^813031-1 is not prime.  Res64: 0A56AA67BCDC3FCA  Time : 3973.0 sec.
user=mdettweiler
[2009-05-11 00:54:11]
339*2^813032-1 is not prime.  Res64: C5D1DF6A3EDFE196  Time : 3956.0 sec.
user=vaughan
[2009-05-11 00:54:49]
321*2^812841-1 is not prime.  Res64: 8FEFF529F0A4B16D  Time : 8224.0 sec.
user=vaughan
[2009-05-11 00:54:56]
315*2^812837-1 is not prime.  Res64: 0188993B52AD55AD  Time : 8251.0 sec.
user=vaughan
[2009-05-11 00:56:26]
345*2^813141-1 is not prime.  Res64: 3D1A1CBAA1EBE7C7  Time : 935.0 sec.
user=mdettweiler
[2009-05-11 00:58:51]
315*2^813038-1 is not prime.  Res64: 38887C57E744760C  Time : 3954.0 sec.
user=mdettweiler
[2009-05-11 01:01:36]
327*2^813048-1 is not prime.  Res64: 1D549388324999A8  Time : 3952.0 sec.
user=vaughan
[2009-05-11 01:06:08]
315*2^812848-1 is not prime.  Res64: A454C65A33ACCEC1  Time : 8436.0 sec.
user=vaughan
[2009-05-11 01:06:54]
315*2^813165-1 is not prime.  Res64: 04E131596A0658A3  Time : 933.0 sec.
user=vaughan
[2009-05-11 01:06:59]
315*2^812854-1 is not prime.  Res64: 0E088BC0EDEB8C05  Time : 8271.0 sec.
user=mdettweiler
[2009-05-11 01:07:18]
327*2^813056-1 is not prime.  Res64: F09FCED89EFA47B2  Time : 3973.0 sec.
user=mdettweiler
[2009-05-11 01:07:22]
333*2^813056-1 is not prime.  Res64: CAE6483DAD178185  Time : 3955.0 sec.
user=vaughan
[2009-05-11 01:08:32]
315*2^812859-1 is not prime.  Res64: B6C4C319C0CEA8F8  Time : 8225.0 sec.
user=vaughan
[2009-05-11 01:08:33]
333*2^813168-1 is not prime.  Res64: E82E969A87C0B5AB  Time : 949.0 sec.
user=vaughan
[2009-05-11 01:08:40]
345*2^812856-1 is not prime.  Res64: C75460BF7A81B109  Time : 8249.0 sec.
user=vaughan
[2009-05-11 01:12:00]
327*2^813181-1 is not prime.  Res64: 36D3E5FD4AEFD1B1  Time : 935.0 sec.
user=mdettweiler
[2009-05-11 01:12:01]
321*2^813073-1 is not prime.  Res64: 52CE793679F86446  Time : 3954.0 sec.
user=mdettweiler
[2009-05-11 01:14:47]
315*2^813077-1 is not prime.  Res64: 20E24079393DDA62  Time : 3952.0 sec.
user=vaughan
[2009-05-11 01:20:11]
333*2^812874-1 is not prime.  Res64: E112F1657C9C5F10  Time : 8436.0 sec.
user=mdettweiler
[2009-05-11 01:20:31]
327*2^813098-1 is not prime.  Res64: 3ED46CA1BA9290CB  Time : 3977.0 sec.
user=mdettweiler
[2009-05-11 01:20:31]
333*2^813099-1 is not prime.  Res64: 030E36E74AF26A0B  Time : 3954.0 sec.
user=vaughan
[2009-05-11 01:20:46]
321*2^812886-1 is not prime.  Res64: A68FFDFDF59FB3D3  Time : 8271.0 sec.
user=vaughan
[2009-05-11 01:22:15]
321*2^812901-1 is not prime.  Res64: CF56A91613400B55  Time : 8226.0 sec.
user=vaughan
[2009-05-11 01:22:23]
339*2^812895-1 is not prime.  Res64: A2CAB51F6AE90904  Time : 8248.0 sec.
user=vaughan
[2009-05-11 01:22:27]
315*2^813199-1 is not prime.  Res64: 4AC4AC7BCC284C80  Time : 934.0 sec.
user=vaughan
[2009-05-11 01:24:24]
321*2^813206-1 is not prime.  Res64: 85407854DF17FFB5  Time : 951.0 sec.
user=mdettweiler
[2009-05-11 01:25:11]
339*2^813101-1 is not prime.  Res64: CCBFC9DD70803547  Time : 3951.0 sec.
user=vaughan
[2009-05-11 01:27:34]
315*2^813220-1 is not prime.  Res64: AB2AAE8CDE60A741  Time : 934.0 sec.
user=mdettweiler
[2009-05-11 01:27:57]
315*2^813110-1 is not prime.  Res64: 70AA8AC47AA3CAA0  Time : 3951.0 sec.
user=mdettweiler
[2009-05-11 01:33:42]
321*2^813127-1 is not prime.  Res64: 700AAB822D84E62B  Time : 3954.0 sec.
user=mdettweiler
[2009-05-11 01:33:43]
327*2^813120-1 is not prime.  Res64: 1B0F0867453DAC41  Time : 3981.0 sec.
user=vaughan
[2009-05-11 01:34:15]
321*2^812917-1 is not prime.  Res64: 37502AAA667E1557  Time : 8437.0 sec.
user=vaughan
[2009-05-11 01:34:33]
333*2^812936-1 is not prime.  Res64: DFCF9D544C434008  Time : 8271.0 sec.
user=vaughan
[2009-05-11 01:35:57]
327*2^812941-1 is not prime.  Res64: 7A5DF5201BAA11F2  Time : 8225.0 sec.
user=vaughan
[2009-05-11 01:36:10]
333*2^812940-1 is not prime.  Res64: 6649C3F57BA0B19D  Time : 8250.0 sec.
user=vaughan
[2009-05-11 01:38:00]
339*2^813235-1 is not prime.  Res64: D97231C227D7E254  Time : 934.0 sec.
user=mdettweiler
[2009-05-11 01:39:45]
339*2^813127-1 is not prime.  Res64: BFEAB759D74CBA1C  Time : 4036.0 sec.
user=vaughan
[2009-05-11 01:40:15]
333*2^813236-1 is not prime.  Res64: 9162443E2B273D8E  Time : 951.0 sec.
user=mdettweiler
[2009-05-11 01:41:08]
327*2^813136-1 is not prime.  Res64: 14D9CFF3EF0AE5AE  Time : 3788.0 sec.
user=vaughan
[2009-05-11 01:43:09]
315*2^813247-1 is not prime.  Res64: B61515224B106614  Time : 936.0 sec.
user=mdettweiler
[2009-05-11 01:46:52]
315*2^813150-1 is not prime.  Res64: B2A1A5B502487A80  Time : 3951.0 sec.
user=mdettweiler
[2009-05-11 01:46:57]
315*2^813147-1 is not prime.  Res64: 7BC448892011C383  Time : 3965.0 sec.
user=vaughan
[2009-05-11 01:48:20]
345*2^812964-1 is not prime.  Res64: D5E1F0EDCA3D21DF  Time : 8437.0 sec.
user=vaughan
[2009-05-11 01:48:21]
321*2^812974-1 is not prime.  Res64: 516C2D1285BD8170  Time : 8273.0 sec.
user=vaughan
[2009-05-11 01:49:40]
333*2^812976-1 is not prime.  Res64: C073595327DE6C93  Time : 8226.0 sec.
user=vaughan
[2009-05-11 01:49:55]
327*2^812976-1 is not prime.  Res64: 99B8095DB24EAD09  Time : 8250.0 sec.
user=mdettweiler
[2009-05-11 01:51:31]
339*2^813157-1 is not prime.  Res64: 9D8FC0E5407B0F0D  Time : 3949.0 sec.
user=vaughan
[2009-05-11 01:53:34]
333*2^813258-1 is not prime.  Res64: 95F3C1D2577A22F5  Time : 934.0 sec.
user=mdettweiler
[2009-05-11 01:54:19]
315*2^813158-1 is not prime.  Res64: 52BCBBBC59649276  Time : 3953.0 sec.
user=vaughan
[2009-05-11 01:56:06]
339*2^813261-1 is not prime.  Res64: 35510A201CB645DF  Time : 951.0 sec.
user=vaughan
[2009-05-11 01:58:42]
327*2^813268-1 is not prime.  Res64: 2F56C2EAEB4E5191  Time : 934.0 sec.
user=mdettweiler
[2009-05-11 02:00:02]
315*2^813178-1 is not prime.  Res64: E109D0A76BA07ADF  Time : 3951.0 sec.
user=mdettweiler
[2009-05-11 02:00:10]
315*2^813172-1 is not prime.  Res64: 16F2821B99A1E5F6  Time : 3965.0 sec.
user=vaughan
[2009-05-11 02:02:07]
315*2^813010-1 is not prime.  Res64: 522CF36E1AA5B5BD  Time : 8272.0 sec.
user=vaughan
[2009-05-11 02:02:24]
315*2^812998-1 is not prime.  Res64: B614CE4CD8C87D7B  Time : 8438.0 sec.
user=vaughan
[2009-05-11 02:03:22]
315*2^813019-1 is not prime.  Res64: EEFCE0A60BEB01D4  Time : 8226.0 sec.
user=vaughan
[2009-05-11 02:03:39]
339*2^813016-1 is not prime.  Res64: 36C4BE5329F8D8B0  Time : 8249.0 sec.
user=mdettweiler
[2009-05-11 02:04:43]
339*2^813185-1 is not prime.  Res64: C2969B379B010FB1  Time : 3952.0 sec.
user=mdettweiler
[2009-05-11 02:07:29]
327*2^813189-1 is not prime.  Res64: C06EE245E32EB901  Time : 3953.0 sec.
user=vaughan
[2009-05-11 02:09:07]
345*2^813291-1 is not prime.  Res64: F1FE8E1652569BF3  Time : 934.0 sec.
user=vaughan
[2009-05-11 02:11:57]
339*2^813299-1 is not prime.  Res64: B07C89082436206B  Time : 951.0 sec.
user=mdettweiler
[2009-05-11 02:13:13]
321*2^813202-1 is not prime.  Res64: B7AC9513837FFE42  Time : 3952.0 sec.
user=mdettweiler
[2009-05-11 02:13:21]
339*2^813201-1 is not prime.  Res64: EBCCD1D2EBDC2998  Time : 3963.0 sec.
user=vaughan
[2009-05-11 02:14:16]
327*2^813304-1 is not prime.  Res64: A166EEDDCEB7555B  Time : 934.0 sec.
user=vaughan
[2009-05-11 02:15:54]
345*2^813052-1 is not prime.  Res64: 9E8A8D0F0F3D9B71  Time : 8272.0 sec.
user=vaughan
[2009-05-11 02:16:29]
339*2^813051-1 is not prime.  Res64: 13049378E2FA2DEA  Time : 8440.0 sec.
user=vaughan
[2009-05-11 02:17:05]
315*2^813055-1 is not prime.  Res64: 5F333FFBCB5B87F5  Time : 8225.0 sec.
user=vaughan
[2009-05-11 02:17:24]
327*2^813053-1 is not prime.  Res64: B1652D56F07DB991  Time : 8249.0 sec.
user=mdettweiler
[2009-05-11 02:17:54]
339*2^813221-1 is not prime.  Res64: 51EC76F85BA5755E  Time : 3953.0 sec.
user=mdettweiler
[2009-05-11 02:20:40]
333*2^813231-1 is not prime.  Res64: 0B4BE9C3DF48B816  Time : 3953.0 sec.
user=vaughan
[2009-05-11 02:24:40]
327*2^813325-1 is not prime.  Res64: 2C4C751B55AED4FC  Time : 934.0 sec.
user=mdettweiler
[2009-05-11 02:26:23]
339*2^813233-1 is not prime.  Res64: 1AD59029BA054D68  Time : 3952.0 sec.
user=mdettweiler
[2009-05-11 02:26:35]
327*2^813233-1 is not prime.  Res64: D2BC7721B07D10F5  Time : 3964.0 sec.
user=vaughan
[2009-05-11 02:27:48]
315*2^813327-1 is not prime.  Res64: 1C2FECEE51F7FFF2  Time : 951.0 sec.
user=vaughan
[2009-05-11 02:29:41]
315*2^813091-1 is not prime.  Res64: FD92BDCC35F872DC  Time : 8273.0 sec.
user=vaughan
[2009-05-11 02:29:50]
345*2^813336-1 is not prime.  Res64: 980E0C72D771FC43  Time : 934.0 sec.
user=vaughan
[2009-05-11 02:30:33]
345*2^813087-1 is not prime.  Res64: 805588DD28A6B846  Time : 8440.0 sec.
user=vaughan
[2009-05-11 02:30:47]
327*2^813093-1 is not prime.  Res64: 5DAFA130BAD192C9  Time : 8225.0 sec.
user=mdettweiler
[2009-05-11 02:31:06]
345*2^813237-1 is not prime.  Res64: 4D3CBDF577236727  Time : 3955.0 sec.
user=vaughan
[2009-05-11 02:31:11]
327*2^813092-1 is not prime.  Res64: 4F1CC00BB1D29893  Time : 8251.0 sec.
user=mdettweiler
[2009-05-11 02:33:50]
339*2^813248-1 is not prime.  Res64: D4BE01E45C8AE2DA  Time : 3953.0 sec.
user=vaughan
[2009-05-11 02:40:14]
345*2^813355-1 is not prime.  Res64: E264A844EDFBCFFD  Time : 934.0 sec.
user=mdettweiler
[2009-05-11 02:42:22]
327*2^813249-1 is not prime.  Res64: 50A461E33D5A5F85  Time : 4120.0 sec.
user=mdettweiler
[2009-05-11 02:42:33]
315*2^813250-1 is not prime.  Res64: CC01F207AB390E7D  Time : 4130.0 sec.
user=vaughan
[2009-05-11 02:43:28]
333*2^813114-1 is not prime.  Res64: F32BD234D3F9A734  Time : 8272.0 sec.
user=vaughan
[2009-05-11 02:43:38]
345*2^813364-1 is not prime.  Res64: 4613F15907FFCC24  Time : 951.0 sec.
user=mdettweiler
[2009-05-11 02:44:19]
345*2^813259-1 is not prime.  Res64: 2558CD9A9C5B3767  Time : 3874.0 sec.
user=vaughan
[2009-05-11 02:44:30]
333*2^813123-1 is not prime.  Res64: CDB48CF02272E717  Time : 8225.0 sec.
user=vaughan
[2009-05-11 02:44:36]
315*2^813111-1 is not prime.  Res64: 6B647EC330933E00  Time : 8440.0 sec.
user=vaughan
[2009-05-11 02:44:55]
321*2^813125-1 is not prime.  Res64: 7F8CA7BA72907797  Time : 8250.0 sec.
user=vaughan
[2009-05-11 02:45:23]
333*2^813368-1 is not prime.  Res64: B58798F2171E97DB  Time : 934.0 sec.
user=mdettweiler
[2009-05-11 02:47:02]
315*2^813262-1 is not prime.  Res64: 8F205EFA006D21CD  Time : 3954.0 sec.
user=mdettweiler
[2009-05-11 02:52:44]
315*2^813269-1 is not prime.  Res64: F789D4B24700A91F  Time : 3952.0 sec.
user=mdettweiler
[2009-05-11 02:52:57]
315*2^813271-1 is not prime.  Res64: 221C624CFECAD5CF  Time : 3960.0 sec.
user=vaughan
[2009-05-11 02:55:47]
315*2^813389-1 is not prime.  Res64: 7DA9445ADD92CE5A  Time : 933.0 sec.
user=vaughan
[2009-05-11 02:57:16]
327*2^813141-1 is not prime.  Res64: 48145D944D7740CA  Time : 8273.0 sec.
user=mdettweiler
[2009-05-11 02:57:31]
339*2^813291-1 is not prime.  Res64: 3A443EB05F977F64  Time : 3960.0 sec.
user=vaughan
[2009-05-11 02:58:13]
321*2^813150-1 is not prime.  Res64: 1F2E73E9D6162444  Time : 8226.0 sec.
user=vaughan
[2009-05-11 02:58:41]
339*2^813153-1 is not prime.  Res64: 284FBAF370F1C3C1  Time : 8251.0 sec.
user=vaughan
[2009-05-11 02:58:41]
315*2^813139-1 is not prime.  Res64: 654AF4211BA91E5D  Time : 8440.0 sec.
user=vaughan
[2009-05-11 02:59:29]
339*2^813403-1 is not prime.  Res64: A25C643CFCB4E64E  Time : 951.0 sec.
user=mdettweiler
[2009-05-11 03:00:14]
315*2^813295-1 is not prime.  Res64: C764B569C95C402E  Time : 3955.0 sec.
user=vaughan
[2009-05-11 03:00:58]
327*2^813434-1 is not prime.  Res64: CB22ABE65B951C33  Time : 935.0 sec.
user=mdettweiler
[2009-05-11 03:05:55]
327*2^813308-1 is not prime.  Res64: 2518E90139189AA9  Time : 3953.0 sec.
user=mdettweiler
[2009-05-11 03:06:10]
333*2^813308-1 is not prime.  Res64: C26289D3D9D44511  Time : 3960.0 sec.
user=mdettweiler
[2009-05-11 03:10:41]
345*2^813319-1 is not prime.  Res64: 104529A580BE9D11  Time : 3958.0 sec.
user=vaughan
[2009-05-11 03:11:02]
321*2^813170-1 is not prime.  Res64: 9917D39E02CC87F0  Time : 8272.0 sec.
user=vaughan
[2009-05-11 03:11:21]
327*2^813448-1 is not prime.  Res64: 68982F72E7265D46  Time : 934.0 sec.
user=vaughan
[2009-05-11 03:11:56]
327*2^813178-1 is not prime.  Res64: 497884AC1ABB2987  Time : 8227.0 sec.
user=vaughan
[2009-05-11 03:12:26]
327*2^813180-1 is not prime.  Res64: 84ABAD9C7E2AC6E5  Time : 8251.0 sec.
user=vaughan
[2009-05-11 03:12:46]
321*2^813166-1 is not prime.  Res64: C781465868AC2C76  Time : 8442.0 sec.
user=mdettweiler
[2009-05-11 03:13:26]
333*2^813323-1 is not prime.  Res64: 644D3A2A64D49A41  Time : 3957.0 sec.
user=vaughan
[2009-05-11 03:15:20]
327*2^813465-1 is not prime.  Res64: 2D81D4947FE86744  Time : 951.0 sec.
user=vaughan
[2009-05-11 03:16:32]
333*2^813467-1 is not prime.  Res64: 9A590DA54C6577B1  Time : 935.0 sec.
user=mdettweiler
[2009-05-11 03:19:06]
327*2^813333-1 is not prime.  Res64: 1A86BB44B1CAEA12  Time : 3953.0 sec.
user=mdettweiler
[2009-05-11 03:19:21]
327*2^813336-1 is not prime.  Res64: C8F842F6B1F0DCB0  Time : 3960.0 sec.
user=mdettweiler
[2009-05-11 03:23:53]
327*2^813353-1 is not prime.  Res64: 54A1F79155957E21  Time : 3959.0 sec.
user=vaughan
[2009-05-11 03:24:49]
327*2^813200-1 is not prime.  Res64: F082DD3A65EA66E1  Time : 8270.0 sec.
user=vaughan
[2009-05-11 03:25:39]
315*2^813206-1 is not prime.  Res64: 7519836EFEFD7418  Time : 8227.0 sec.
user=vaughan
[2009-05-11 03:26:10]
333*2^813215-1 is not prime.  Res64: EE061C099614167C  Time : 8250.0 sec.
user=mdettweiler
[2009-05-11 03:26:35]
333*2^813354-1 is not prime.  Res64: D9D34D15AD05F6F5  Time : 3955.0 sec.
user=vaughan
[2009-05-11 03:26:50]
339*2^813195-1 is not prime.  Res64: 05313F7C6C91DC0F  Time : 8443.0 sec.
user=vaughan
[2009-05-11 03:26:55]
321*2^813487-1 is not prime.  Res64: 0101CBE6DF327DCC  Time : 935.0 sec.
user=vaughan
[2009-05-11 03:31:11]
321*2^813494-1 is not prime.  Res64: D50A0EF06E174B3D  Time : 952.0 sec.
user=vaughan
[2009-05-11 03:32:07]
339*2^813496-1 is not prime.  Res64: 774DFAD3028540BC  Time : 935.0 sec.
user=mdettweiler
[2009-05-11 03:32:16]
315*2^813357-1 is not prime.  Res64: D7BEF388F1CCD919  Time : 3953.0 sec.
user=mdettweiler
[2009-05-11 03:32:33]
339*2^813359-1 is not prime.  Res64: 8A93510A07ECD25C  Time : 3959.0 sec.
user=mdettweiler
[2009-05-11 03:37:03]
339*2^813375-1 is not prime.  Res64: A9F9A5A5B5EE4D9A  Time : 3957.0 sec.
user=vaughan
[2009-05-11 03:38:37]
315*2^813234-1 is not prime.  Res64: AF39FDEB3F39A9B8  Time : 8271.0 sec.
user=vaughan
[2009-05-11 03:39:21]
327*2^813234-1 is not prime.  Res64: 9A7CF46B71766FFE  Time : 8226.0 sec.
user=mdettweiler
[2009-05-11 03:39:47]
327*2^813385-1 is not prime.  Res64: B77B21A4E601FDBB  Time : 3957.0 sec.
user=vaughan
[2009-05-11 03:39:55]
333*2^813234-1 is not prime.  Res64: 7556A20B7E00FA0E  Time : 8252.0 sec.
user=vaughan
[2009-05-11 03:40:55]
339*2^813232-1 is not prime.  Res64: 3839A38ECB9E4BDF  Time : 8444.0 sec.
user=vaughan
[2009-05-11 03:42:29]
327*2^813516-1 is not prime.  Res64: 764B8863A47AB899  Time : 935.0 sec.
user=mdettweiler
[2009-05-11 03:45:28]
339*2^813391-1 is not prime.  Res64: 7D4E4806FE974E4B  Time : 3786.0 sec.
user=mdettweiler
[2009-05-11 03:45:43]
333*2^813396-1 is not prime.  Res64: E141D61F67DB9CCA  Time : 3790.0 sec.
user=vaughan
[2009-05-11 03:47:01]
321*2^813517-1 is not prime.  Res64: 6188952F1C66935A  Time : 950.0 sec.
user=vaughan
[2009-05-11 03:47:42]
327*2^813521-1 is not prime.  Res64: AD4DEE7BBAB7A79D  Time : 935.0 sec.
user=mdettweiler
[2009-05-11 03:50:16]
321*2^813414-1 is not prime.  Res64: 00EF9D48230BA666  Time : 3957.0 sec.
user=vaughan
[2009-05-11 03:52:24]
315*2^813252-1 is not prime.  Res64: 12EAC282436FEFA2  Time : 8271.0 sec.
user=mdettweiler
[2009-05-11 03:52:57]
315*2^813437-1 is not prime.  Res64: D0E81D4618A9D7E8  Time : 3955.0 sec.
user=vaughan
[2009-05-11 03:53:04]
321*2^813255-1 is not prime.  Res64: 6CAC4BFD9166F826  Time : 8227.0 sec.
user=vaughan
[2009-05-11 03:53:39]
339*2^813256-1 is not prime.  Res64: 9CAEACCEAB8D4CB7  Time : 8250.0 sec.
user=vaughan
[2009-05-11 03:54:58]
321*2^813250-1 is not prime.  Res64: 2B5D5F7FDB92D69F  Time : 8443.0 sec.
user=vaughan
[2009-05-11 03:58:03]
321*2^813553-1 is not prime.  Res64: B055C47294D3B43C  Time : 934.0 sec.
user=mdettweiler
[2009-05-11 03:58:39]
345*2^813441-1 is not prime.  Res64: D4D14F875461475D  Time : 3955.0 sec.
user=mdettweiler
[2009-05-11 03:58:57]
321*2^813442-1 is not prime.  Res64: FA381FA2E7CB6E0E  Time : 3960.0 sec.
user=vaughan
[2009-05-11 04:02:51]
345*2^813555-1 is not prime.  Res64: 35FF6C5E241C70C6  Time : 950.0 sec.
user=vaughan
[2009-05-11 04:03:16]
327*2^813556-1 is not prime.  Res64: 2600A9306457CB3C  Time : 934.0 sec.
user=mdettweiler
[2009-05-11 04:03:26]
315*2^813451-1 is not prime.  Res64: AD9A2D5312C7CC4E  Time : 3955.0 sec.
user=mdettweiler
[2009-05-11 04:06:08]
315*2^813467-1 is not prime.  Res64: 1F36A5D63DD1D9E4  Time : 3954.0 sec.
user=vaughan
[2009-05-11 04:06:11]
339*2^813279-1 is not prime.  Res64: F07D8913C28907ED  Time : 8271.0 sec.
user=vaughan
[2009-05-11 04:06:48]
321*2^813282-1 is not prime.  Res64: B4E015729CC0B855  Time : 8228.0 sec.
user=vaughan
[2009-05-11 04:07:25]
315*2^813286-1 is not prime.  Res64: 934391B93B5C1AC6  Time : 8250.0 sec.
user=vaughan
[2009-05-11 04:09:03]
339*2^813275-1 is not prime.  Res64: F7BAE88467869460  Time : 8443.0 sec.
user=mdettweiler
[2009-05-11 04:11:50]
333*2^813470-1 is not prime.  Res64: A5D45E4DFA59444D  Time : 3955.0 sec.
user=mdettweiler
[2009-05-11 04:12:09]
315*2^813472-1 is not prime.  Res64: 68BB8D9CABE69E8D  Time : 3960.0 sec.
user=vaughan
[2009-05-11 04:13:35]
321*2^813585-1 is not prime.  Res64: CAAF16A7651CD52F  Time : 933.0 sec.
user=mdettweiler
[2009-05-11 04:16:38]
321*2^813473-1 is not prime.  Res64: F52CE343AB156449  Time : 3957.0 sec.
user=vaughan
[2009-05-11 04:18:42]
327*2^813589-1 is not prime.  Res64: 72460EDF269399AB  Time : 951.0 sec.
user=vaughan
[2009-05-11 04:18:51]
333*2^813590-1 is not prime.  Res64: F55778C164CB8AA1  Time : 935.0 sec.
user=mdettweiler
[2009-05-11 04:19:18]
339*2^813493-1 is not prime.  Res64: E63621216E46A39A  Time : 3952.0 sec.
user=vaughan
[2009-05-11 04:19:59]
315*2^813310-1 is not prime.  Res64: 6B01B43A86A5CA69  Time : 8272.0 sec.
user=vaughan
[2009-05-11 04:20:31]
339*2^813315-1 is not prime.  Res64: 9EE20A6F0E2AB349  Time : 8229.0 sec.
user=vaughan
[2009-05-11 04:21:10]
327*2^813316-1 is not prime.  Res64: 8B9C263152941FAC  Time : 8251.0 sec.
user=vaughan
[2009-05-11 04:23:07]
333*2^813314-1 is not prime.  Res64: DCD3E0ADE69D1653  Time : 8444.0 sec.
user=mdettweiler
[2009-05-11 04:25:01]
345*2^813499-1 is not prime.  Res64: 53EFFEB8B5F9E231  Time : 3955.0 sec.
user=mdettweiler
[2009-05-11 04:25:21]
327*2^813500-1 is not prime.  Res64: 112F8FD9145BA8DA  Time : 3960.0 sec.
user=vaughan
[2009-05-11 04:29:10]
315*2^813607-1 is not prime.  Res64: 994ED7EEFED43245  Time : 935.0 sec.
user=mdettweiler
[2009-05-11 04:29:51]
345*2^813502-1 is not prime.  Res64: 12E60EB3BB99CA99  Time : 3958.0 sec.
user=mdettweiler
[2009-05-11 04:32:30]
327*2^813513-1 is not prime.  Res64: 8648E3BE729D1CC5  Time : 3955.0 sec.
user=vaughan
[2009-05-11 04:33:45]
321*2^813342-1 is not prime.  Res64: CE8CD9FAB19175F9  Time : 8272.0 sec.
user=vaughan
[2009-05-11 04:34:14]
315*2^813346-1 is not prime.  Res64: 787AFE7AFE67DE1F  Time : 8229.0 sec.
user=vaughan
[2009-05-11 04:34:26]
321*2^813615-1 is not prime.  Res64: 25E632E556565FE3  Time : 935.0 sec.
user=vaughan
[2009-05-11 04:34:32]
315*2^813615-1 is not prime.  Res64: 45D9757DCF99723E  Time : 950.0 sec.
user=vaughan
[2009-05-11 04:34:56]
327*2^813352-1 is not prime.  Res64: 2F4DE9ED22FBA02F  Time : 8252.0 sec.
user=vaughan
[2009-05-11 04:37:12]
345*2^813342-1 is not prime.  Res64: F9D4420C9638738B  Time : 8443.0 sec.
user=mdettweiler
[2009-05-11 04:38:13]
315*2^813522-1 is not prime.  Res64: 1D3547D2DDBAD54A  Time : 3957.0 sec.
user=mdettweiler
[2009-05-11 04:38:32]
345*2^813522-1 is not prime.  Res64: CA7C70F9BB301CE5  Time : 3959.0 sec.
user=mdettweiler
[2009-05-11 04:43:04]
321*2^813526-1 is not prime.  Res64: 9E3428F64A589C98  Time : 3961.0 sec.
user=vaughan
[2009-05-11 04:44:44]
333*2^813644-1 is not prime.  Res64: 5F5CA0CCDFD1E9CF  Time : 935.0 sec.
user=mdettweiler
[2009-05-11 04:47:04]
345*2^813544-1 is not prime.  Res64: 9561BFCEE6032C56  Time : 4037.0 sec.
user=vaughan
[2009-05-11 04:47:33]
345*2^813367-1 is not prime.  Res64: 8D291B3905DA2152  Time : 8272.0 sec.
user=vaughan
[2009-05-11 04:47:58]
315*2^813375-1 is not prime.  Res64: 5BDDB51C1CCBC2CA  Time : 8231.0 sec.
user=vaughan
[2009-05-11 04:48:43]
327*2^813381-1 is not prime.  Res64: 5BC51FF9A9427283  Time : 8252.0 sec.
user=vaughan
[2009-05-11 04:50:00]
315*2^813658-1 is not prime.  Res64: 8F46D35DC919B614  Time : 935.0 sec.
user=vaughan
[2009-05-11 04:50:22]
327*2^813658-1 is not prime.  Res64: 700AFE239DBC0CC4  Time : 950.0 sec.
user=vaughan
[2009-05-11 04:51:16]
339*2^813373-1 is not prime.  Res64: 2580F28008CA8265  Time : 8443.0 sec.
user=mdettweiler
[2009-05-11 04:51:24]
315*2^813554-1 is not prime.  Res64: F0AC22E95A03F24C  Time : 3956.0 sec.
user=mdettweiler
[2009-05-11 04:51:44]
327*2^813554-1 is not prime.  Res64: B631122AF8DB8E8F  Time : 3961.0 sec.
user=mdettweiler
[2009-05-11 04:56:15]
321*2^813557-1 is not prime.  Res64: DBD999EE1FDE3FCF  Time : 3959.0 sec.
user=mdettweiler
[2009-05-11 04:58:51]
333*2^813566-1 is not prime.  Res64: 2C0F44DA1EDF976D  Time : 3954.0 sec.
user=vaughan
[2009-05-11 05:00:18]
345*2^813687-1 is not prime.  Res64: 8F3C76815FE4F78B  Time : 935.0 sec.
user=vaughan
[2009-05-11 05:01:21]
321*2^813398-1 is not prime.  Res64: 82D7CDC9CCBDA991  Time : 8273.0 sec.
user=vaughan
[2009-05-11 05:01:41]
327*2^813421-1 is not prime.  Res64: D961F698EBD7539C  Time : 8231.0 sec.
user=vaughan
[2009-05-11 05:02:28]
321*2^813431-1 is not prime.  Res64: 666267581BF76AB4  Time : 8254.0 sec.
user=mdettweiler
[2009-05-11 05:04:35]
339*2^813585-1 is not prime.  Res64: A29A73637038D319  Time : 3956.0 sec.
user=mdettweiler
[2009-05-11 05:04:58]
321*2^813586-1 is not prime.  Res64: 5C133A2579EC639B  Time : 3961.0 sec.
user=vaughan
[2009-05-11 05:05:19]
345*2^813426-1 is not prime.  Res64: 605A653DB6B7050B  Time : 8443.0 sec.
user=vaughan
[2009-05-11 05:05:35]
315*2^813708-1 is not prime.  Res64: 14306C0EA9B196E0  Time : 935.0 sec.
user=vaughan
[2009-05-11 05:06:13]
327*2^813709-1 is not prime.  Res64: 023528228B90FC9E  Time : 952.0 sec.
user=mdettweiler
[2009-05-11 05:09:27]
345*2^813591-1 is not prime.  Res64: 682589134DED957F  Time : 3961.0 sec.
user=mdettweiler
[2009-05-11 05:12:00]
339*2^813593-1 is not prime.  Res64: 79A3D10955B33390  Time : 3952.0 sec.
user=vaughan
[2009-05-11 05:15:08]
327*2^813449-1 is not prime.  Res64: 856BE721771F96E2  Time : 8273.0 sec.
user=vaughan
[2009-05-11 05:15:23]
333*2^813456-1 is not prime.  Res64: 7804861DAF30D983  Time : 8230.0 sec.
user=vaughan
[2009-05-11 05:15:52]
339*2^813719-1 is not prime.  Res64: A99A47D9AEAA8E30  Time : 934.0 sec.
user=vaughan
[2009-05-11 05:16:14]
327*2^813461-1 is not prime.  Res64: 3E022FE6B1FF18D7  Time : 8254.0 sec.
user=mdettweiler
[2009-05-11 05:17:46]
327*2^813604-1 is not prime.  Res64: 78704F5B3E2E308C  Time : 3956.0 sec.
user=mdettweiler
[2009-05-11 05:18:11]
345*2^813606-1 is not prime.  Res64: F4A23D86494BA533  Time : 3962.0 sec.
user=vaughan
[2009-05-11 05:19:24]
315*2^813460-1 is not prime.  Res64: 27B8CD7201284F18  Time : 8443.0 sec.
user=vaughan
[2009-05-11 05:21:10]
321*2^813741-1 is not prime.  Res64: 44C2A84731BD9878  Time : 935.0 sec.
user=vaughan
[2009-05-11 05:22:04]
345*2^813741-1 is not prime.  Res64: 3342914F74EE6C7E  Time : 951.0 sec.
user=mdettweiler
[2009-05-11 05:22:37]
321*2^813614-1 is not prime.  Res64: F117FD9BCAADBF7F  Time : 3959.0 sec.
user=mdettweiler
[2009-05-11 05:25:11]
345*2^813616-1 is not prime.  Res64: CB91BFD52FACCCE6  Time : 3953.0 sec.
user=vaughan
[2009-05-11 05:28:55]
327*2^813473-1 is not prime.  Res64: 9C4C6BE5FB011C95  Time : 8274.0 sec.
user=vaughan
[2009-05-11 05:29:07]
339*2^813487-1 is not prime.  Res64: 1A824064292864BA  Time : 8231.0 sec.
user=vaughan
[2009-05-11 05:30:00]
345*2^813492-1 is not prime.  Res64: 382E44FB639D9E0A  Time : 8255.0 sec.
user=mdettweiler
[2009-05-11 05:30:58]
333*2^813635-1 is not prime.  Res64: 41FD355DBF6B5214  Time : 3957.0 sec.
user=mdettweiler
[2009-05-11 05:31:24]
327*2^813642-1 is not prime.  Res64: 68085E4D1BDA847C  Time : 3963.0 sec.
user=vaughan
[2009-05-11 05:31:28]
327*2^813748-1 is not prime.  Res64: B0C2BBA5E69582FB  Time : 936.0 sec.
user=vaughan
[2009-05-11 05:33:30]
321*2^813493-1 is not prime.  Res64: C7DE2B89BBC1DF76  Time : 8444.0 sec.
user=mdettweiler
[2009-05-11 05:35:50]
321*2^813645-1 is not prime.  Res64: D708E73D2F12C957  Time : 3959.0 sec.
user=vaughan
[2009-05-11 05:36:45]
339*2^813761-1 is not prime.  Res64: A6B62175AD0D2599  Time : 936.0 sec.
user=vaughan
[2009-05-11 05:37:55]
321*2^813766-1 is not prime.  Res64: C031458F7CBEC3BB  Time : 952.0 sec.
user=mdettweiler
[2009-05-11 05:38:21]
321*2^813653-1 is not prime.  Res64: DC47964BB3190243  Time : 3951.0 sec.
user=vaughan
[2009-05-11 05:42:42]
333*2^813504-1 is not prime.  Res64: 9793B4485BE25760  Time : 8273.0 sec.
user=vaughan
[2009-05-11 05:42:51]
327*2^813505-1 is not prime.  Res64: 60F2CAC461F619DE  Time : 8233.0 sec.
user=vaughan
[2009-05-11 05:43:46]
345*2^813507-1 is not prime.  Res64: F7D4342C02B22C8F  Time : 8256.0 sec.
user=mdettweiler
[2009-05-11 05:44:10]
333*2^813678-1 is not prime.  Res64: 9AF527FD300902E6  Time : 3958.0 sec.
user=mdettweiler
[2009-05-11 05:44:37]
327*2^813680-1 is not prime.  Res64: E7F507471561449C  Time : 3965.0 sec.
user=vaughan
[2009-05-11 05:47:01]
315*2^813799-1 is not prime.  Res64: A7BAC48B553D0E52  Time : 934.0 sec.
user=vaughan
[2009-05-11 05:47:35]
315*2^813515-1 is not prime.  Res64: 123BEA032A32803F  Time : 8445.0 sec.
user=mdettweiler
[2009-05-11 05:49:03]
339*2^813683-1 is not prime.  Res64: C59BD83C3D54CAD2  Time : 3959.0 sec.
user=mdettweiler
[2009-05-11 05:51:32]
339*2^813689-1 is not prime.  Res64: C886BF8ECC1AECC5  Time : 3868.0 sec.
user=vaughan
[2009-05-11 05:52:18]
327*2^813804-1 is not prime.  Res64: 570CE3665E8B28F5  Time : 934.0 sec.
user=vaughan
[2009-05-11 05:53:46]
339*2^813805-1 is not prime.  Res64: 551172DAE337AD11  Time : 951.0 sec.
user=vaughan
[2009-05-11 05:56:30]
315*2^813542-1 is not prime.  Res64: 106D284D36A61237  Time : 8274.0 sec.
user=vaughan
[2009-05-11 05:56:34]
333*2^813543-1 is not prime.  Res64: 5A5ABBC2F83C7968  Time : 8233.0 sec.
user=mdettweiler
[2009-05-11 05:57:21]
333*2^813714-1 is not prime.  Res64: CD7AA67ADCEDF2D5  Time : 3957.0 sec.
user=vaughan
[2009-05-11 05:57:31]
327*2^813545-1 is not prime.  Res64: DA02CE1BEF99242D  Time : 8256.0 sec.
user=mdettweiler
[2009-05-11 05:57:49]
315*2^813715-1 is not prime.  Res64: 5C11FCFB11F20128  Time : 3965.0 sec.
user=vaughan
[2009-05-11 06:01:40]
315*2^813547-1 is not prime.  Res64: FBC185E0060B2526  Time : 8446.0 sec.
user=mdettweiler
[2009-05-11 06:02:12]
339*2^813715-1 is not prime.  Res64: A034AE7E6AF0FE50  Time : 3957.0 sec.
user=vaughan
[2009-05-11 06:02:35]
345*2^813822-1 is not prime.  Res64: 374B139E439AE70B  Time : 934.0 sec.
user=mdettweiler
[2009-05-11 06:04:43]
315*2^813718-1 is not prime.  Res64: 332C2B91301ABB11  Time : 3952.0 sec.
user=vaughan
[2009-05-11 06:07:53]
345*2^813826-1 is not prime.  Res64: 625D0E969861ECAA  Time : 935.0 sec.
user=vaughan
[2009-05-11 06:09:37]
327*2^813829-1 is not prime.  Res64: 09C7E312EDFA642E  Time : 951.0 sec.
user=vaughan
[2009-05-11 06:10:17]
321*2^813574-1 is not prime.  Res64: 5F88EEDA1F3C7B44  Time : 8233.0 sec.
user=vaughan
[2009-05-11 06:10:18]
333*2^813558-1 is not prime.  Res64: 34EC5C1322742432  Time : 8275.0 sec.
user=mdettweiler
[2009-05-11 06:10:33]
321*2^813730-1 is not prime.  Res64: 6CFD83F0DE20087B  Time : 3959.0 sec.
user=mdettweiler
[2009-05-11 06:11:02]
345*2^813732-1 is not prime.  Res64: AEF476B0A2550440  Time : 3964.0 sec.
user=vaughan
[2009-05-11 06:11:19]
327*2^813578-1 is not prime.  Res64: 97C5B0B72031971B  Time : 8260.0 sec.
user=mdettweiler
[2009-05-11 06:15:23]
315*2^813742-1 is not prime.  Res64: 400666B6F14F3DAE  Time : 3956.0 sec.
user=vaughan
[2009-05-11 06:15:53]
321*2^813582-1 is not prime.  Res64: 3B0866AFCBFEC061  Time : 8455.0 sec.
user=mdettweiler
[2009-05-11 06:17:55]
321*2^813745-1 is not prime.  Res64: 304A9D0CB2207AA2  Time : 3955.0 sec.
user=vaughan
[2009-05-11 06:18:09]
339*2^813856-1 is not prime.  Res64: F4C79C46B3225FDC  Time : 935.0 sec.
user=vaughan
[2009-05-11 06:23:28]
339*2^813859-1 is not prime.  Res64: F8F8CF8D973DBA6B  Time : 935.0 sec.
user=mdettweiler
[2009-05-11 06:23:45]
315*2^813755-1 is not prime.  Res64: AE733810F9259067  Time : 3959.0 sec.
user=vaughan
[2009-05-11 06:24:07]
333*2^813603-1 is not prime.  Res64: 236AB816C98E2E2B  Time : 8239.0 sec.
user=vaughan
[2009-05-11 06:24:08]
345*2^813597-1 is not prime.  Res64: C03943234BB64906  Time : 8277.0 sec.
user=mdettweiler
[2009-05-11 06:24:15]
339*2^813755-1 is not prime.  Res64: 3244CFEA94270A06  Time : 3964.0 sec.
user=vaughan
[2009-05-11 06:25:12]
339*2^813603-1 is not prime.  Res64: D128F1B4C68B477B  Time : 8268.0 sec.
user=vaughan
[2009-05-11 06:25:28]
345*2^813859-1 is not prime.  Res64: D046251244372FE7  Time : 951.0 sec.
user=mdettweiler
[2009-05-11 06:28:37]
345*2^813766-1 is not prime.  Res64: 1E4417531E942242  Time : 3960.0 sec.
user=vaughan
[2009-05-11 06:30:02]
315*2^813604-1 is not prime.  Res64: C76613D2C5DA5E11  Time : 8459.0 sec.
user=mdettweiler
[2009-05-11 06:31:06]
333*2^813771-1 is not prime.  Res64: 5938B9526E0EC46C  Time : 3955.0 sec.
user=vaughan
[2009-05-11 06:33:44]
333*2^813888-1 is not prime.  Res64: 7AADB0BD07F92A0F  Time : 936.0 sec.
user=mdettweiler
[2009-05-11 06:36:54]
345*2^813786-1 is not prime.  Res64: 04DA3B41A04A3419  Time : 3956.0 sec.
user=mdettweiler
[2009-05-11 06:37:29]
339*2^813795-1 is not prime.  Res64: F4A208968FEEC0CA  Time : 3965.0 sec.
user=vaughan
[2009-05-11 06:37:50]
321*2^813625-1 is not prime.  Res64: EAD5BBA9D754DDE8  Time : 8271.0 sec.
user=vaughan
[2009-05-11 06:37:51]
333*2^813626-1 is not prime.  Res64: 6585B76F895EEDD7  Time : 8241.0 sec.
user=vaughan
[2009-05-11 06:38:58]
339*2^813629-1 is not prime.  Res64: B646BAD42E4D76B3  Time : 8268.0 sec.
user=vaughan
[2009-05-11 06:39:03]
321*2^813890-1 is not prime.  Res64: 78B8686679EF450C  Time : 935.0 sec.
user=vaughan
[2009-05-11 06:41:20]
321*2^813901-1 is not prime.  Res64: 318321C4B0336DFC  Time : 952.0 sec.
user=mdettweiler
[2009-05-11 06:41:49]
339*2^813801-1 is not prime.  Res64: B2966B95963BB473  Time : 3960.0 sec.
user=vaughan
[2009-05-11 06:44:10]
315*2^813634-1 is not prime.  Res64: DD0A04778A9BE64D  Time : 8463.0 sec.
user=mdettweiler
[2009-05-11 06:44:17]
315*2^813807-1 is not prime.  Res64: B5753CB4F0E16B72  Time : 3956.0 sec.
user=vaughan
[2009-05-11 06:49:18]
315*2^813909-1 is not prime.  Res64: 548EFE8D668408A2  Time : 935.0 sec.
user=mdettweiler
[2009-05-11 06:51:30]
315*2^813816-1 is not prime.  Res64: 9751929CC61BB010  Time : 4040.0 sec.
user=vaughan
[2009-05-11 06:51:32]
321*2^813655-1 is not prime.  Res64: 2D04F413BF03C97E  Time : 8267.0 sec.
user=vaughan
[2009-05-11 06:51:34]
345*2^813655-1 is not prime.  Res64: AD9A4A71173A6BE0  Time : 8240.0 sec.
user=mdettweiler
[2009-05-11 06:52:04]
315*2^813819-1 is not prime.  Res64: B5802D2AB4B1C75D  Time : 4047.0 sec.
user=vaughan
[2009-05-11 06:52:43]
345*2^813660-1 is not prime.  Res64: D760923265891004  Time : 8267.0 sec.
user=vaughan
[2009-05-11 06:54:38]
321*2^813917-1 is not prime.  Res64: 09AD14B81554533D  Time : 935.0 sec.
user=mdettweiler
[2009-05-11 06:54:58]
345*2^813825-1 is not prime.  Res64: A748EBF797CCE135  Time : 3955.0 sec.
user=vaughan
[2009-05-11 06:57:11]
321*2^813922-1 is not prime.  Res64: AF0AE821265B2A81  Time : 951.0 sec.
user=mdettweiler
[2009-05-11 06:57:31]
321*2^813826-1 is not prime.  Res64: 1D2BAF7C95079765  Time : 3959.0 sec.
user=vaughan
[2009-05-11 06:58:18]
345*2^813670-1 is not prime.  Res64: 3B760CBB6D5CA7EA  Time : 8467.0 sec.
user=mdettweiler
[2009-05-11 07:03:17]
339*2^813839-1 is not prime.  Res64: 9849645782C56C83  Time : 3956.0 sec.
user=mdettweiler
[2009-05-11 07:03:54]
315*2^813845-1 is not prime.  Res64: 547CBD41F668BA18  Time : 3965.0 sec.
user=vaughan
[2009-05-11 07:04:52]
339*2^813931-1 is not prime.  Res64: 8202F2FFC234C1BE  Time : 934.0 sec.
user=vaughan
[2009-05-11 07:05:14]
327*2^813692-1 is not prime.  Res64: EC3CDD8CBA88732B  Time : 8261.0 sec.
user=vaughan
[2009-05-11 07:05:17]
339*2^813697-1 is not prime.  Res64: 6E0F4FDBF7843F22  Time : 8239.0 sec.
user=vaughan
[2009-05-11 07:06:30]
315*2^813702-1 is not prime.  Res64: FADD427652117F73  Time : 8268.0 sec.
user=mdettweiler
[2009-05-11 07:08:11]
315*2^813856-1 is not prime.  Res64: 12AB6B451ED59A18  Time : 3959.0 sec.
user=vaughan
[2009-05-11 07:10:14]
333*2^813938-1 is not prime.  Res64: 38978057B4B7E035  Time : 936.0 sec.
user=mdettweiler
[2009-05-11 07:10:42]
321*2^813857-1 is not prime.  Res64: DA1BB3A8E53E9112  Time : 3959.0 sec.
user=vaughan
[2009-05-11 07:12:26]
345*2^813711-1 is not prime.  Res64: 614B25FB5BDC4BF2  Time : 8470.0 sec.
user=vaughan
[2009-05-11 07:13:03]
327*2^813948-1 is not prime.  Res64: 15036256BF5C7A37  Time : 952.0 sec.
user=mdettweiler
[2009-05-11 07:16:29]
315*2^813870-1 is not prime.  Res64: 5BF285CDE73798D7  Time : 3956.0 sec.
user=mdettweiler
[2009-05-11 07:17:06]
339*2^813879-1 is not prime.  Res64: A42D01CF76705113  Time : 3964.0 sec.
user=vaughan
[2009-05-11 07:18:55]
321*2^813721-1 is not prime.  Res64: 911012CE1CC9153D  Time : 8255.0 sec.
user=vaughan
[2009-05-11 07:19:00]
327*2^813722-1 is not prime.  Res64: F5CAC5D606CD8E3A  Time : 8240.0 sec.
user=vaughan
[2009-05-11 07:20:14]
333*2^813728-1 is not prime.  Res64: 579AA069F7D0CB22  Time : 8266.0 sec.
user=vaughan
[2009-05-11 07:20:27]
315*2^813955-1 is not prime.  Res64: 4AA40E2C009B1FA7  Time : 935.0 sec.
user=mdettweiler
[2009-05-11 07:21:23]
327*2^813881-1 is not prime.  Res64: 50925134E822DE12  Time : 3960.0 sec.
user=mdettweiler
[2009-05-11 07:23:52]
327*2^813885-1 is not prime.  Res64: 03B62ABD3EDE8FCF  Time : 3957.0 sec.
user=vaughan
[2009-05-11 07:25:50]
321*2^813975-1 is not prime.  Res64: AE31E812C98361E8  Time : 936.0 sec.
user=vaughan
[2009-05-11 07:26:34]
321*2^813733-1 is not prime.  Res64: 1C45A93C78CECB02  Time : 8475.0 sec.
user=vaughan
[2009-05-11 07:28:54]
315*2^813978-1 is not prime.  Res64: C643D4ABE20E0E8E  Time : 951.0 sec.
user=mdettweiler
[2009-05-11 07:29:40]
315*2^813891-1 is not prime.  Res64: E7DABB15CEB8034B  Time : 3955.0 sec.
user=mdettweiler
[2009-05-11 07:30:20]
339*2^813899-1 is not prime.  Res64: 7847C5E163B31551  Time : 3965.0 sec.
user=vaughan
[2009-05-11 07:32:37]
321*2^813746-1 is not prime.  Res64: FE7A8E264536D685  Time : 8249.0 sec.
user=vaughan
[2009-05-11 07:32:44]
333*2^813747-1 is not prime.  Res64: C82A293F02FD3297  Time : 8241.0 sec.
user=vaughan
[2009-05-11 07:33:59]
315*2^813749-1 is not prime.  Res64: C27825A857B23534  Time : 8266.0 sec.
user=mdettweiler
[2009-05-11 07:34:34]
327*2^813905-1 is not prime.  Res64: 0CF29238A37C09AC  Time : 3957.0 sec.
user=vaughan
[2009-05-11 07:36:02]
333*2^813999-1 is not prime.  Res64: 8DBCB0D6CD6333DC  Time : 936.0 sec.
user=mdettweiler
[2009-05-11 07:37:06]
315*2^813907-1 is not prime.  Res64: 7D72F8B2A2289CC1  Time : 3960.0 sec.
user=vaughan
[2009-05-11 07:40:43]
321*2^813758-1 is not prime.  Res64: F5460A1F33FBC076  Time : 8479.0 sec.
user=vaughan
[2009-05-11 07:41:24]
345*2^814006-1 is not prime.  Res64: E4BC28FA18384DA1  Time : 935.0 sec.
user=mdettweiler
[2009-05-11 07:42:51]
321*2^813911-1 is not prime.  Res64: 1E5211E3ABBD94D9  Time : 3957.0 sec.
user=mdettweiler
[2009-05-11 07:43:32]
333*2^813911-1 is not prime.  Res64: A004DDF2A9E5DD57  Time : 3963.0 sec.
user=vaughan
[2009-05-11 07:44:46]
339*2^814013-1 is not prime.  Res64: A2A255BF1DD60DD2  Time : 952.0 sec.
user=vaughan
[2009-05-11 07:46:18]
345*2^813771-1 is not prime.  Res64: 7A8E1973A86A0CB0  Time : 8243.0 sec.
user=vaughan
[2009-05-11 07:46:27]
333*2^813774-1 is not prime.  Res64: B74DF6A371E0F25B  Time : 8240.0 sec.
user=mdettweiler
[2009-05-11 07:47:44]
339*2^813923-1 is not prime.  Res64: 7770B88EC6D00E10  Time : 3956.0 sec.
user=vaughan
[2009-05-11 07:47:45]
339*2^813781-1 is not prime.  Res64: EDB65AF539F43C26  Time : 8265.0 sec.
user=mdettweiler
[2009-05-11 07:50:16]
345*2^813930-1 is not prime.  Res64: AF80A8CC5ACCA313  Time : 3959.0 sec.
user=vaughan
[2009-05-11 07:51:36]
321*2^814034-1 is not prime.  Res64: BC28FF05C47A30F7  Time : 934.0 sec.
user=vaughan
[2009-05-11 07:54:49]
321*2^813801-1 is not prime.  Res64: 4FC937B608EACFCB  Time : 8480.0 sec.
user=mdettweiler
[2009-05-11 07:56:02]
327*2^813933-1 is not prime.  Res64: C31F251EE8C8D127  Time : 3872.0 sec.
user=mdettweiler
[2009-05-11 07:56:47]
327*2^813936-1 is not prime.  Res64: 00EF9C89C1575EC5  Time : 3883.0 sec.
user=vaughan
[2009-05-11 07:56:59]
333*2^814043-1 is not prime.  Res64: 4B02AE11F19D839E  Time : 935.0 sec.
user=vaughan
[2009-05-11 08:00:01]
339*2^813808-1 is not prime.  Res64: 6902B32A251A30AC  Time : 8239.0 sec.
user=vaughan
[2009-05-11 08:00:10]
327*2^813809-1 is not prime.  Res64: 5B5E09FB2001D172  Time : 8240.0 sec.
user=vaughan
[2009-05-11 08:00:37]
315*2^814047-1 is not prime.  Res64: 6AD998F8A5240AA0  Time : 951.0 sec.
user=mdettweiler
[2009-05-11 08:00:56]
315*2^813947-1 is not prime.  Res64: E2A2C0F0ADFC1A82  Time : 3958.0 sec.
user=vaughan
[2009-05-11 08:01:30]
321*2^813814-1 is not prime.  Res64: FD0B0D7CFD6C5126  Time : 8264.0 sec.
user=mdettweiler
[2009-05-11 08:03:27]
327*2^813949-1 is not prime.  Res64: F4839CD26F175741  Time : 3956.0 sec.
user=vaughan
[2009-05-11 08:07:11]
339*2^814055-1 is not prime.  Res64: FFC3460481A4268A  Time : 935.0 sec.
user=vaughan
[2009-05-11 08:08:59]
321*2^813823-1 is not prime.  Res64: D697BE1BC2EC124B  Time : 8484.0 sec.
user=mdettweiler
[2009-05-11 08:09:13]
345*2^813951-1 is not prime.  Res64: A2EC5581E5892C47  Time : 3956.0 sec.
user=mdettweiler
[2009-05-11 08:09:59]
327*2^813953-1 is not prime.  Res64: 0DE6373F8B36981A  Time : 3966.0 sec.
user=vaughan
[2009-05-11 08:12:35]
333*2^814064-1 is not prime.  Res64: E88952C64434D0A7  Time : 936.0 sec.
user=vaughan
[2009-05-11 08:13:45]
315*2^813834-1 is not prime.  Res64: 38665AB814BFAD4E  Time : 8235.0 sec.
user=vaughan
[2009-05-11 08:13:54]
345*2^813837-1 is not prime.  Res64: 5A9D735333552D3C  Time : 8240.0 sec.
user=mdettweiler
[2009-05-11 08:14:08]
333*2^813971-1 is not prime.  Res64: 00E104E9FE1E116B  Time : 3957.0 sec.
user=vaughan
[2009-05-11 08:15:16]
345*2^813844-1 is not prime.  Res64: 5487FE55ABC2323A  Time : 8265.0 sec.
user=vaughan
[2009-05-11 08:16:29]
333*2^814071-1 is not prime.  Res64: C235F88FFC095829  Time : 952.0 sec.
user=mdettweiler
[2009-05-11 08:16:38]
315*2^813976-1 is not prime.  Res64: 9401BE2FACFAFEBD  Time : 3956.0 sec.
user=mdettweiler
[2009-05-11 08:22:26]
339*2^813979-1 is not prime.  Res64: D0A15447DAA038A4  Time : 3957.0 sec.
user=vaughan
[2009-05-11 08:22:45]
321*2^814078-1 is not prime.  Res64: A1FB86D535387B7D  Time : 934.0 sec.
user=vaughan
[2009-05-11 08:23:06]
315*2^813854-1 is not prime.  Res64: 48396DF74475AAE2  Time : 8486.0 sec.
user=mdettweiler
[2009-05-11 08:23:11]
327*2^813981-1 is not prime.  Res64: DA692A97512B41A7  Time : 3965.0 sec.
user=mdettweiler
[2009-05-11 08:27:21]
345*2^814000-1 is not prime.  Res64: DFA70E79A5FC4301  Time : 3958.0 sec.
user=vaughan
[2009-05-11 08:27:28]
315*2^813869-1 is not prime.  Res64: 0ECAC3287342D9A7  Time : 8230.0 sec.
user=vaughan
[2009-05-11 08:27:37]
327*2^813861-1 is not prime.  Res64: 5585255F5A2E85E5  Time : 8240.0 sec.
user=vaughan
[2009-05-11 08:28:11]
327*2^814089-1 is not prime.  Res64: DE032B9FAA2C23AE  Time : 936.0 sec.
user=vaughan
[2009-05-11 08:29:03]
315*2^813880-1 is not prime.  Res64: 2C712940E6A2F127  Time : 8265.0 sec.
user=mdettweiler
[2009-05-11 08:29:50]
321*2^814002-1 is not prime.  Res64: EE336901517E739E  Time : 3958.0 sec.
user=vaughan
[2009-05-11 08:32:21]
321*2^814102-1 is not prime.  Res64: 69B49DD7D1CD2A62  Time : 952.0 sec.
user=mdettweiler
[2009-05-11 08:35:38]
339*2^814016-1 is not prime.  Res64: ADCC5641E81A22F1  Time : 3958.0 sec.
user=mdettweiler
[2009-05-11 08:36:23]
321*2^814018-1 is not prime.  Res64: E35F9660890723C0  Time : 3963.0 sec.
user=vaughan
[2009-05-11 08:37:15]
321*2^813885-1 is not prime.  Res64: D1BBD3F820DD18FF  Time : 8482.0 sec.
user=vaughan
[2009-05-11 08:38:19]
345*2^814107-1 is not prime.  Res64: 6140E53E6F83E962  Time : 934.0 sec.
user=mdettweiler
[2009-05-11 08:40:32]
339*2^814031-1 is not prime.  Res64: 8415A319539D534C  Time : 3958.0 sec.
user=vaughan
[2009-05-11 08:41:11]
315*2^813899-1 is not prime.  Res64: 31B9FD2B811714B3  Time : 8224.0 sec.
user=vaughan
[2009-05-11 08:41:21]
345*2^813895-1 is not prime.  Res64: 0622D6BA23CA25F8  Time : 8234.0 sec.
user=vaughan
[2009-05-11 08:42:49]
345*2^813900-1 is not prime.  Res64: E0A34C2F6B3DD7CC  Time : 8257.0 sec.
user=mdettweiler
[2009-05-11 08:43:00]
315*2^814042-1 is not prime.  Res64: 14CF1CB854965A21  Time : 3954.0 sec.
user=vaughan
[2009-05-11 08:43:46]
315*2^814116-1 is not prime.  Res64: B25612B490D36C66  Time : 936.0 sec.
user=vaughan
[2009-05-11 08:48:12]
327*2^814121-1 is not prime.  Res64: 56D8E2CF7DEFC695  Time : 951.0 sec.
user=mdettweiler
[2009-05-11 08:48:50]
315*2^814046-1 is not prime.  Res64: D9CD843BF5623849  Time : 3959.0 sec.
user=mdettweiler
[2009-05-11 08:49:35]
333*2^814046-1 is not prime.  Res64: 83677B7F4D879E76  Time : 3963.0 sec.
user=vaughan
[2009-05-11 08:51:23]
345*2^813906-1 is not prime.  Res64: 9D708713CDC45748  Time : 8482.0 sec.
user=vaughan
[2009-05-11 08:53:54]
339*2^814135-1 is not prime.  Res64: E87680C90365CBF7  Time : 935.0 sec.
user=vaughan
[2009-05-11 08:54:53]
333*2^813914-1 is not prime.  Res64: 36F4AF92A3A64D80  Time : 8223.0 sec.
user=vaughan
[2009-05-11 08:55:05]
333*2^813915-1 is not prime.  Res64: 3A0D34AEC73DB9BC  Time : 8235.0 sec.
user=mdettweiler
[2009-05-11 08:56:14]
315*2^814055-1 is not prime.  Res64: 568DA3563E362C2C  Time : 3958.0 sec.
user=mdettweiler
[2009-05-11 08:56:30]
339*2^814051-1 is not prime.  Res64: 20657D8CF62AD92A  Time : 4126.0 sec.
user=vaughan
[2009-05-11 08:56:36]
327*2^813916-1 is not prime.  Res64: BD42B286FD714E62  Time : 8259.0 sec.
user=vaughan
[2009-05-11 08:59:21]
327*2^814161-1 is not prime.  Res64: 569DFCD63AB02A26  Time : 935.0 sec.
user=mdettweiler
[2009-05-11 09:02:04]
345*2^814059-1 is not prime.  Res64: 7D745CBBA8D61F24  Time : 3962.0 sec.
user=mdettweiler
[2009-05-11 09:02:46]
321*2^814062-1 is not prime.  Res64: 4F1CB7487B020E38  Time : 3959.0 sec.
user=vaughan
[2009-05-11 09:04:04]
315*2^814162-1 is not prime.  Res64: F3A8CE22627DAA20  Time : 952.0 sec.
user=vaughan
[2009-05-11 09:05:33]
315*2^813926-1 is not prime.  Res64: 5B9D7A8FB0543995  Time : 8484.0 sec.
user=mdettweiler
[2009-05-11 09:06:54]
339*2^814073-1 is not prime.  Res64: 6F1DA6D194FE2870  Time : 3958.0 sec.
user=vaughan
[2009-05-11 09:08:34]
315*2^813934-1 is not prime.  Res64: 6F03DE7BA802823E  Time : 8222.0 sec.
user=vaughan
[2009-05-11 09:08:49]
345*2^813934-1 is not prime.  Res64: 49EA7C0A4D892DB4  Time : 8235.0 sec.
user=mdettweiler
[2009-05-11 09:09:26]
345*2^814077-1 is not prime.  Res64: CC7F631EEDF9C6B6  Time : 3959.0 sec.
user=vaughan
[2009-05-11 09:09:28]
333*2^814166-1 is not prime.  Res64: FBB7AAF18F1B6B27  Time : 935.0 sec.
user=vaughan
[2009-05-11 09:10:22]
315*2^813938-1 is not prime.  Res64: 7456482945FBE48E  Time : 8259.0 sec.
user=vaughan
[2009-05-11 09:14:56]
327*2^814178-1 is not prime.  Res64: 6671ED6FD8735BE4  Time : 935.0 sec.
user=mdettweiler
[2009-05-11 09:15:17]
327*2^814081-1 is not prime.  Res64: CAED10B80915927F  Time : 3964.0 sec.
user=mdettweiler
[2009-05-11 09:16:01]
315*2^814085-1 is not prime.  Res64: 8496613BAAEBB3D4  Time : 3962.0 sec.
user=vaughan
[2009-05-11 09:19:39]
333*2^813951-1 is not prime.  Res64: 96E8463D0E264206  Time : 8481.0 sec.
user=vaughan
[2009-05-11 09:19:56]
333*2^814184-1 is not prime.  Res64: 438E4C21C93B4478  Time : 952.0 sec.
user=mdettweiler
[2009-05-11 09:20:11]
315*2^814101-1 is not prime.  Res64: FD2536CF2F1C62BB  Time : 3963.0 sec.
user=vaughan
[2009-05-11 09:22:17]
333*2^813956-1 is not prime.  Res64: 2D493C0321FAD3AB  Time : 8223.0 sec.
user=vaughan
[2009-05-11 09:22:33]
327*2^813968-1 is not prime.  Res64: 134D2C434B4009FC  Time : 8237.0 sec.
user=mdettweiler
[2009-05-11 09:22:43]
333*2^814103-1 is not prime.  Res64: F905AEC726413BCE  Time : 3965.0 sec.
user=vaughan
[2009-05-11 09:24:09]
321*2^813970-1 is not prime.  Res64: CF9FF372FC5734C6  Time : 8260.0 sec.
user=vaughan
[2009-05-11 09:25:03]
327*2^814201-1 is not prime.  Res64: 754B9FDB507F9B9C  Time : 935.0 sec.
user=mdettweiler
[2009-05-11 09:28:34]
327*2^814104-1 is not prime.  Res64: 007DF36C61AF92C9  Time : 3968.0 sec.
user=mdettweiler
[2009-05-11 09:29:14]
333*2^814110-1 is not prime.  Res64: 23A70970A7714414  Time : 3963.0 sec.
user=vaughan
[2009-05-11 09:30:32]
315*2^814214-1 is not prime.  Res64: D69CEC5416454D47  Time : 936.0 sec.
user=mdettweiler
[2009-05-11 09:33:24]
321*2^814111-1 is not prime.  Res64: F6D9708D677DDB63  Time : 3963.0 sec.
user=vaughan
[2009-05-11 09:33:47]
345*2^813976-1 is not prime.  Res64: 8A1D07E1B9D6C5D5  Time : 8481.0 sec.
user=vaughan
[2009-05-11 09:35:47]
339*2^814215-1 is not prime.  Res64: 206BA9454054EBB9  Time : 952.0 sec.
user=mdettweiler
[2009-05-11 09:35:53]
315*2^814118-1 is not prime.  Res64: F54A8BA3E9FA5A8A  Time : 3963.0 sec.
user=vaughan
[2009-05-11 09:36:00]
327*2^813984-1 is not prime.  Res64: BEA80CC683B64F4F  Time : 8226.0 sec.
user=vaughan
[2009-05-11 09:36:18]
327*2^813986-1 is not prime.  Res64: D5771C2B8CB23138  Time : 8238.0 sec.
user=vaughan
[2009-05-11 09:37:55]
321*2^813998-1 is not prime.  Res64: 997026E977AE34C4  Time : 8261.0 sec.
user=vaughan
[2009-05-11 09:40:38]
339*2^814231-1 is not prime.  Res64: 541356D55F94625C  Time : 935.0 sec.
user=mdettweiler
[2009-05-11 09:41:47]
345*2^814126-1 is not prime.  Res64: FCF073F24FED9004  Time : 3970.0 sec.
user=mdettweiler
[2009-05-11 09:42:28]
315*2^814132-1 is not prime.  Res64: 48735091AFEF0495  Time : 3965.0 sec.
user=vaughan
[2009-05-11 09:46:08]
339*2^814243-1 is not prime.  Res64: F76579C763692E89  Time : 937.0 sec.
user=mdettweiler
[2009-05-11 09:46:37]
339*2^814141-1 is not prime.  Res64: 783A8CD5150654CB  Time : 3965.0 sec.
user=vaughan
[2009-05-11 09:47:56]
345*2^814011-1 is not prime.  Res64: C01E9F5DBA69352C  Time : 8482.0 sec.
user=mdettweiler
[2009-05-11 09:49:07]
315*2^814156-1 is not prime.  Res64: 674C60D1918DACB8  Time : 3967.0 sec.
user=vaughan
[2009-05-11 09:49:42]
315*2^814019-1 is not prime.  Res64: 29F1F7D2B8B8D012  Time : 8225.0 sec.
user=vaughan
[2009-05-11 09:50:01]
333*2^814020-1 is not prime.  Res64: C6CD89FAF8079103  Time : 8237.0 sec.
user=vaughan
[2009-05-11 09:51:39]
315*2^814248-1 is not prime.  Res64: 12715592B1454F4C  Time : 952.0 sec.
user=vaughan
[2009-05-11 09:51:41]
315*2^814026-1 is not prime.  Res64: EDD29B918557EC3A  Time : 8262.0 sec.
user=mdettweiler
[2009-05-11 09:54:56]
321*2^814162-1 is not prime.  Res64: 8F3C9138A6C08F92  Time : 3966.0 sec.
user=mdettweiler
[2009-05-11 09:55:39]
327*2^814164-1 is not prime.  Res64: 53348AAC9E4058E2  Time : 3964.0 sec.
user=vaughan
[2009-05-11 09:56:13]
345*2^814264-1 is not prime.  Res64: 2600DC2FAB2BD034  Time : 935.0 sec.
user=mdettweiler
[2009-05-11 09:59:49]
321*2^814177-1 is not prime.  Res64: 4971C83677BCFFA7  Time : 3799.0 sec.
user=vaughan
[2009-05-11 10:01:44]
321*2^814270-1 is not prime.  Res64: ADCD9E28FA5B3168  Time : 937.0 sec.
user=vaughan
[2009-05-11 10:02:04]
327*2^814042-1 is not prime.  Res64: C3B11D19AC929C49  Time : 8482.0 sec.
user=mdettweiler
[2009-05-11 10:02:17]
321*2^814174-1 is not prime.  Res64: 287B96C2952975A6  Time : 3963.0 sec.
user=vaughan
[2009-05-11 10:03:24]
321*2^814047-1 is not prime.  Res64: 21246357A26FA58A  Time : 8226.0 sec.
user=vaughan
[2009-05-11 10:03:45]
345*2^814050-1 is not prime.  Res64: 1449DDA681069176  Time : 8238.0 sec.
user=vaughan
[2009-05-11 10:05:28]
315*2^814054-1 is not prime.  Res64: F203DF533F2FE7A7  Time : 8264.0 sec.
user=vaughan
[2009-05-11 10:07:30]
321*2^814287-1 is not prime.  Res64: 15FFDF3CF13EFE44  Time : 951.0 sec.
user=mdettweiler
[2009-05-11 10:08:10]
321*2^814182-1 is not prime.  Res64: FCAF428B763D87B4  Time : 3966.0 sec.
user=mdettweiler
[2009-05-11 10:08:51]
345*2^814182-1 is not prime.  Res64: 4819D538F04D6A81  Time : 3966.0 sec.
user=vaughan
[2009-05-11 10:11:47]
321*2^814301-1 is not prime.  Res64: 24FB22A71208A457  Time : 935.0 sec.
user=mdettweiler
[2009-05-11 10:13:02]
333*2^814191-1 is not prime.  Res64: 5D88907A5FC3DCD1  Time : 3968.0 sec.
user=mdettweiler
[2009-05-11 10:15:38]
339*2^814199-1 is not prime.  Res64: 4DF5D5A361C832A5  Time : 3972.0 sec.
user=vaughan
[2009-05-11 10:16:12]
333*2^814058-1 is not prime.  Res64: 11B34E0CFCF727B2  Time : 8483.0 sec.
user=vaughan
[2009-05-11 10:17:07]
321*2^814065-1 is not prime.  Res64: 4FB842BA8EBC295A  Time : 8226.0 sec.
user=vaughan
[2009-05-11 10:17:18]
315*2^814307-1 is not prime.  Res64: F371860F5943D1C4  Time : 935.0 sec.
user=vaughan
[2009-05-11 10:17:28]
333*2^814068-1 is not prime.  Res64: 1EE8CBFFDC91335F  Time : 8238.0 sec.
user=vaughan
[2009-05-11 10:19:15]
327*2^814076-1 is not prime.  Res64: 34BD04BDE591DDB5  Time : 8265.0 sec.
user=mdettweiler
[2009-05-11 10:21:42]
321*2^814214-1 is not prime.  Res64: 2B334DB3D9912266  Time : 3985.0 sec.
user=mdettweiler
[2009-05-11 10:22:28]
333*2^814214-1 is not prime.  Res64: E889B8D43C750B59  Time : 3987.0 sec.
user=vaughan
[2009-05-11 10:23:22]
345*2^814317-1 is not prime.  Res64: 0442C33C7EE2CBF2  Time : 952.0 sec.
user=mdettweiler
[2009-05-11 10:26:47]
345*2^814215-1 is not prime.  Res64: D09CDB9A4522A52D  Time : 3996.0 sec.
user=vaughan
[2009-05-11 10:27:33]
315*2^814322-1 is not prime.  Res64: C97D527231849837  Time : 946.0 sec.
user=mdettweiler
[2009-05-11 10:29:24]
345*2^814222-1 is not prime.  Res64: D36E7A7E3C23568D  Time : 4001.0 sec.
user=vaughan
[2009-05-11 10:30:25]
333*2^814080-1 is not prime.  Res64: 03B41A6F468BDECA  Time : 8487.0 sec.
user=vaughan
[2009-05-11 10:30:52]
321*2^814093-1 is not prime.  Res64: D613158815C138BC  Time : 8228.0 sec.
user=vaughan
[2009-05-11 10:31:16]
327*2^814096-1 is not prime.  Res64: 33DCC11228BC564B  Time : 8242.0 sec.
user=vaughan
[2009-05-11 10:33:02]
315*2^814330-1 is not prime.  Res64: A0C5CBCD45B59C3B  Time : 944.0 sec.
user=vaughan
[2009-05-11 10:33:05]
339*2^814101-1 is not prime.  Res64: 69E061407A50058B  Time : 8269.0 sec.
user=mdettweiler
[2009-05-11 10:35:26]
345*2^814236-1 is not prime.  Res64: C9BC0CFF2AAEC0B3  Time : 4012.0 sec.
user=mdettweiler
[2009-05-11 10:36:06]
333*2^814239-1 is not prime.  Res64: B994FCC0FBC937BA  Time : 4012.0 sec.
user=vaughan
[2009-05-11 10:39:22]
339*2^814343-1 is not prime.  Res64: 541C2967B660ECDB  Time : 960.0 sec.
user=mdettweiler
[2009-05-11 10:40:22]
321*2^814245-1 is not prime.  Res64: 9E9704C1636D6B15  Time : 4018.0 sec.
user=mdettweiler
[2009-05-11 10:42:57]
333*2^814248-1 is not prime.  Res64: 7BAF53600F55A699  Time : 4024.0 sec.
user=vaughan
[2009-05-11 10:43:10]
345*2^814354-1 is not prime.  Res64: C40D24977D1B861F  Time : 938.0 sec.
user=vaughan
[2009-05-11 10:44:34]
339*2^814112-1 is not prime.  Res64: FF23436A9556CB7A  Time : 8227.0 sec.
user=vaughan
[2009-05-11 10:44:35]
315*2^814109-1 is not prime.  Res64: 2E09D5FF51FEEECE  Time : 8490.0 sec.
user=vaughan
[2009-05-11 10:44:58]
321*2^814114-1 is not prime.  Res64: 6D1F80303F4FD859  Time : 8241.0 sec.
user=vaughan
[2009-05-11 10:46:51]
345*2^814116-1 is not prime.  Res64: 2DB562835C509B77  Time : 8268.0 sec.
user=vaughan
[2009-05-11 10:48:39]
327*2^814360-1 is not prime.  Res64: 8D55939C08497B28  Time : 938.0 sec.
user=mdettweiler
[2009-05-11 10:48:48]
315*2^814266-1 is not prime.  Res64: 2D704957040CD6C7  Time : 4021.0 sec.
user=mdettweiler
[2009-05-11 10:49:31]
345*2^814266-1 is not prime.  Res64: E60FBC6C9B098EE0  Time : 4023.0 sec.
user=mdettweiler
[2009-05-11 10:53:35]
339*2^814273-1 is not prime.  Res64: 7F68C319ED4DD083  Time : 4018.0 sec.
user=vaughan
[2009-05-11 10:55:17]
327*2^814368-1 is not prime.  Res64: 21AABEA972FD6C9A  Time : 956.0 sec.
user=mdettweiler
[2009-05-11 10:56:08]
339*2^814277-1 is not prime.  Res64: 77A291BB71886EB8  Time : 4021.0 sec.
user=vaughan
[2009-05-11 10:58:14]
321*2^814150-1 is not prime.  Res64: 42DCE8A067CA3FA8  Time : 8224.0 sec.
user=vaughan
[2009-05-11 10:58:37]
321*2^814134-1 is not prime.  Res64: DE04A8D96029FF9A  Time : 8482.0 sec.
user=vaughan
[2009-05-11 10:58:41]
315*2^814152-1 is not prime.  Res64: DEE3366AE1290CC3  Time : 8240.0 sec.
user=vaughan
[2009-05-11 10:58:46]
339*2^814381-1 is not prime.  Res64: 28DAFC17D7A28389  Time : 936.0 sec.
user=vaughan
[2009-05-11 11:00:35]
333*2^814155-1 is not prime.  Res64: F20076C3620E710E  Time : 8266.0 sec.
user=mdettweiler
[2009-05-11 11:02:07]
321*2^814297-1 is not prime.  Res64: FB15FE6244AB5205  Time : 4031.0 sec.
user=mdettweiler
[2009-05-11 11:02:46]
315*2^814300-1 is not prime.  Res64: F50FD6289482350F  Time : 4027.0 sec.
user=vaughan
[2009-05-11 11:04:17]
321*2^814397-1 is not prime.  Res64: 60241E0BA2B7F65A  Time : 938.0 sec.
user=mdettweiler
[2009-05-11 11:06:50]
345*2^814302-1 is not prime.  Res64: 325D00E15DC5E6D5  Time : 4021.0 sec.
user=mdettweiler
[2009-05-11 11:09:25]
321*2^814311-1 is not prime.  Res64: 609D15D41DB5D205  Time : 4028.0 sec.
user=vaughan
[2009-05-11 11:11:11]
321*2^814405-1 is not prime.  Res64: AB1FC517C79CF427  Time : 956.0 sec.
user=vaughan
[2009-05-11 11:12:01]
333*2^814167-1 is not prime.  Res64: 659DF9106DD52967  Time : 8229.0 sec.
user=vaughan
[2009-05-11 11:12:25]
345*2^814171-1 is not prime.  Res64: 63997B800903F8CB  Time : 8240.0 sec.
user=vaughan
[2009-05-11 11:12:48]
321*2^814165-1 is not prime.  Res64: 4E58FCA57AA59E55  Time : 8485.0 sec.
user=vaughan
[2009-05-11 11:14:24]
345*2^814420-1 is not prime.  Res64: 656F7ABA11F0FC10  Time : 938.0 sec.
user=vaughan
[2009-05-11 11:14:26]
315*2^814178-1 is not prime.  Res64: 2683068A9EA20D51  Time : 8270.0 sec.
user=mdettweiler
[2009-05-11 11:15:19]
315*2^814318-1 is not prime.  Res64: AA80714F38CFCA11  Time : 4029.0 sec.
user=mdettweiler
[2009-05-11 11:16:02]
327*2^814320-1 is not prime.  Res64: B51030D6CCA6201E  Time : 4031.0 sec.
user=vaughan
[2009-05-11 11:19:55]
321*2^814434-1 is not prime.  Res64: 1FCBB0925560DDA5  Time : 939.0 sec.
user=mdettweiler
[2009-05-11 11:20:06]
333*2^814323-1 is not prime.  Res64: 2B0EFBB16F4261BD  Time : 4024.0 sec.
user=mdettweiler
[2009-05-11 11:22:30]
315*2^814325-1 is not prime.  Res64: 83B7FA9BE09AC083  Time : 4012.0 sec.
user=vaughan
[2009-05-11 11:25:44]
345*2^814192-1 is not prime.  Res64: 4EC4B35C8A769168  Time : 8230.0 sec.
user=vaughan
[2009-05-11 11:26:08]
315*2^814199-1 is not prime.  Res64: 40796D981D4247B0  Time : 8239.0 sec.
user=vaughan
[2009-05-11 11:26:56]
315*2^814187-1 is not prime.  Res64: DD13350AA6452EE5  Time : 8484.0 sec.
user=vaughan
[2009-05-11 11:27:05]
315*2^814439-1 is not prime.  Res64: E7F690037752AF52  Time : 954.0 sec.
user=vaughan
[2009-05-11 11:28:11]
327*2^814202-1 is not prime.  Res64: 402146803269C06D  Time : 8269.0 sec.
user=mdettweiler
[2009-05-11 11:28:31]
327*2^814341-1 is not prime.  Res64: 6BAFED399799CA5D  Time : 4009.0 sec.
user=mdettweiler
[2009-05-11 11:29:13]
315*2^814342-1 is not prime.  Res64: 8B923480622C98BC  Time : 4005.0 sec.
user=vaughan
[2009-05-11 11:30:03]
321*2^814445-1 is not prime.  Res64: 3E9BEB771D4EFF74  Time : 940.0 sec.
user=mdettweiler
[2009-05-11 11:33:19]
327*2^814346-1 is not prime.  Res64: 4C37E791A6CF38F5  Time : 3993.0 sec.
user=vaughan
[2009-05-11 11:35:35]
321*2^814455-1 is not prime.  Res64: DCF40B6CBF74CABC  Time : 940.0 sec.
user=mdettweiler
[2009-05-11 11:35:44]
339*2^814355-1 is not prime.  Res64: D791FA020D0BE62D  Time : 3981.0 sec.
user=vaughan
[2009-05-11 11:39:28]
315*2^814221-1 is not prime.  Res64: 251139955AB2BC7F  Time : 8231.0 sec.
user=vaughan
[2009-05-11 11:39:52]
315*2^814222-1 is not prime.  Res64: 7DCF8D26248AE3A3  Time : 8239.0 sec.
user=vaughan
[2009-05-11 11:41:08]
315*2^814215-1 is not prime.  Res64: 9C716433B15DC43F  Time : 8489.0 sec.
user=mdettweiler
[2009-05-11 11:41:46]
345*2^814362-1 is not prime.  Res64: 14314872D796FB32  Time : 3981.0 sec.
user=vaughan
[2009-05-11 11:41:59]
315*2^814230-1 is not prime.  Res64: 0640DD50B5F4F16F  Time : 8271.0 sec.
user=mdettweiler
[2009-05-11 11:42:25]
315*2^814367-1 is not prime.  Res64: 4AFB9AD0ECA5C6E4  Time : 3980.0 sec.
user=vaughan
[2009-05-11 11:43:00]
315*2^814478-1 is not prime.  Res64: D6E724AD7A452175  Time : 956.0 sec.
user=vaughan
[2009-05-11 11:45:41]
333*2^814488-1 is not prime.  Res64: 82E96DFB16640A2E  Time : 939.0 sec.
user=mdettweiler
[2009-05-11 11:46:36]
315*2^814374-1 is not prime.  Res64: 38097D7D008600E3  Time : 3975.0 sec.
user=mdettweiler
[2009-05-11 11:49:00]
321*2^814374-1 is not prime.  Res64: C04C49972132EE4B  Time : 3963.0 sec.
user=vaughan
[2009-05-11 11:51:12]
339*2^814493-1 is not prime.  Res64: 8140BBA07CA695F9  Time : 938.0 sec.
user=vaughan
[2009-05-11 11:53:10]
327*2^814253-1 is not prime.  Res64: F1AEC4822DDCA62B  Time : 8231.0 sec.
user=vaughan
[2009-05-11 11:53:37]
345*2^814255-1 is not prime.  Res64: 82F2827F47CFAF56  Time : 8239.0 sec.
user=mdettweiler
[2009-05-11 11:55:02]
315*2^814399-1 is not prime.  Res64: 2360D179A8BBE89B  Time : 3975.0 sec.
user=vaughan
[2009-05-11 11:55:10]
327*2^814245-1 is not prime.  Res64: 2AA3A72160C39B9D  Time : 8483.0 sec.
user=mdettweiler
[2009-05-11 11:55:33]
339*2^814399-1 is not prime.  Res64: B1C021D7AA38D3EA  Time : 3963.0 sec.
user=vaughan
[2009-05-11 11:55:42]
339*2^814259-1 is not prime.  Res64: AF7940DE82C01BAB  Time : 8267.0 sec.
user=vaughan
[2009-05-11 11:58:52]
315*2^814515-1 is not prime.  Res64: CBD7BDE7BA242A9C  Time : 953.0 sec.
user=mdettweiler
[2009-05-11 11:59:43]
345*2^814404-1 is not prime.  Res64: FFC45F702B04D53E  Time : 3968.0 sec.
user=vaughan
[2009-05-11 12:01:16]
339*2^814517-1 is not prime.  Res64: 6B3FBEA710F7F420  Time : 935.0 sec.
user=mdettweiler
[2009-05-11 12:03:41]
339*2^814405-1 is not prime.  Res64: B861C1A860567BCA  Time : 4053.0 sec.
user=vaughan
[2009-05-11 12:06:48]
315*2^814525-1 is not prime.  Res64: 393C870ADBC54DD9  Time : 937.0 sec.
user=vaughan
[2009-05-11 12:06:51]
333*2^814284-1 is not prime.  Res64: DF915E8D2BA3034A  Time : 8229.0 sec.
user=vaughan
[2009-05-11 12:07:19]
327*2^814285-1 is not prime.  Res64: 9042BE972C72DEA5  Time : 8238.0 sec.
user=mdettweiler
[2009-05-11 12:08:14]
339*2^814427-1 is not prime.  Res64: 385CEB7D2AD61463  Time : 3967.0 sec.
user=mdettweiler
[2009-05-11 12:08:50]
339*2^814433-1 is not prime.  Res64: 19006721A45F946D  Time : 3964.0 sec.
user=vaughan
[2009-05-11 12:09:17]
345*2^814276-1 is not prime.  Res64: 4047D6D1E8B2E658  Time : 8482.0 sec.
user=vaughan
[2009-05-11 12:09:28]
327*2^814288-1 is not prime.  Res64: 59CF5106A0FBD977  Time : 8267.0 sec.
user=mdettweiler
[2009-05-11 12:12:57]
327*2^814434-1 is not prime.  Res64: 0BE1038BB2137ADE  Time : 3968.0 sec.
user=vaughan
[2009-05-11 12:14:44]
321*2^814537-1 is not prime.  Res64: F11321B69325DB8B  Time : 952.0 sec.
user=mdettweiler
[2009-05-11 12:15:20]
315*2^814437-1 is not prime.  Res64: E3BCBB443E3838DB  Time : 3956.0 sec.
user=vaughan
[2009-05-11 12:16:52]
315*2^814540-1 is not prime.  Res64: E1D9623DA9B4837E  Time : 936.0 sec.
user=vaughan
[2009-05-11 12:20:32]
327*2^814313-1 is not prime.  Res64: D8D297782553FB7F  Time : 8228.0 sec.
user=vaughan
[2009-05-11 12:21:02]
327*2^814314-1 is not prime.  Res64: 1F1FF4AD5E9051EE  Time : 8237.0 sec.
user=mdettweiler
[2009-05-11 12:21:28]
339*2^814448-1 is not prime.  Res64: 964E017EACD195F2  Time : 3969.0 sec.
user=mdettweiler
[2009-05-11 12:22:03]
315*2^814450-1 is not prime.  Res64: B8ED62111ABEF4DB  Time : 3962.0 sec.
user=vaughan
[2009-05-11 12:22:24]
321*2^814542-1 is not prime.  Res64: 59588C370AE8E1AA  Time : 936.0 sec.
user=vaughan
[2009-05-11 12:23:15]
327*2^814316-1 is not prime.  Res64: 2A8CA301E86BDE64  Time : 8267.0 sec.
user=vaughan
[2009-05-11 12:23:27]
327*2^814309-1 is not prime.  Res64: 5ADF387BB09998CE  Time : 8483.0 sec.
user=mdettweiler
[2009-05-11 12:26:09]
327*2^814458-1 is not prime.  Res64: E1684DD2FE3B5BD8  Time : 3964.0 sec.
user=mdettweiler
[2009-05-11 12:28:33]
345*2^814459-1 is not prime.  Res64: 9A3CF4699F75FE0C  Time : 3963.0 sec.
user=vaughan
[2009-05-11 12:30:36]
315*2^814565-1 is not prime.  Res64: 68743CD1E79174B7  Time : 952.0 sec.
user=vaughan
[2009-05-11 12:32:28]
339*2^814571-1 is not prime.  Res64: A8D9E84AA6F25DE3  Time : 936.0 sec.
user=vaughan
[2009-05-11 12:34:17]
321*2^814326-1 is not prime.  Res64: 2E436A48F42F522D  Time : 8230.0 sec.
user=mdettweiler
[2009-05-11 12:34:39]
333*2^814484-1 is not prime.  Res64: 76A26495309A54E7  Time : 3968.0 sec.
user=vaughan
[2009-05-11 12:34:48]
327*2^814332-1 is not prime.  Res64: 90B13311EA96AC50  Time : 8240.0 sec.
user=mdettweiler
[2009-05-11 12:35:17]
345*2^814486-1 is not prime.  Res64: E5F74EF2D3C022CB  Time : 3964.0 sec.
user=vaughan
[2009-05-11 12:37:02]
339*2^814335-1 is not prime.  Res64: 55EFC8FD68D1BB7D  Time : 8267.0 sec.
user=vaughan
[2009-05-11 12:37:35]
327*2^814325-1 is not prime.  Res64: 77F1745A4A5037A0  Time : 8483.0 sec.
user=vaughan
[2009-05-11 12:38:01]
327*2^814584-1 is not prime.  Res64: 54D471D824279E74  Time : 937.0 sec.
user=mdettweiler
[2009-05-11 12:39:24]
327*2^814492-1 is not prime.  Res64: B4445C7F53C697E2  Time : 3966.0 sec.
user=mdettweiler
[2009-05-11 12:41:44]
321*2^814494-1 is not prime.  Res64: FE8A71091ECF9188  Time : 3960.0 sec.
user=vaughan
[2009-05-11 12:46:32]
315*2^814607-1 is not prime.  Res64: FF13789305089127  Time : 956.0 sec.
user=mdettweiler
[2009-05-11 12:47:54]
339*2^814501-1 is not prime.  Res64: 39275401309A4EDD  Time : 3968.0 sec.
user=vaughan
[2009-05-11 12:47:59]
321*2^814357-1 is not prime.  Res64: CC7CD27BF0B24EDF  Time : 8227.0 sec.
user=vaughan
[2009-05-11 12:48:02]
339*2^814609-1 is not prime.  Res64: D070ADF64E6E981A  Time : 934.0 sec.
user=vaughan
[2009-05-11 12:48:30]
345*2^814359-1 is not prime.  Res64: E0EA68CB48614188  Time : 8235.0 sec.
user=mdettweiler
[2009-05-11 12:48:32]
333*2^814514-1 is not prime.  Res64: E74BAE10398110EC  Time : 3968.0 sec.
user=vaughan
[2009-05-11 12:50:50]
327*2^814362-1 is not prime.  Res64: 4DA7DF5188C87170  Time : 8266.0 sec.
user=vaughan
[2009-05-11 12:51:43]
333*2^814356-1 is not prime.  Res64: 0D994A4753909C23  Time : 8479.0 sec.
user=mdettweiler
[2009-05-11 12:52:35]
339*2^814520-1 is not prime.  Res64: 1D7E5AE2F0C3AC07  Time : 3960.0 sec.
user=vaughan
[2009-05-11 12:53:36]
333*2^814623-1 is not prime.  Res64: 072586672FCAD6DD  Time : 936.0 sec.
user=mdettweiler
[2009-05-11 12:54:57]
339*2^814521-1 is not prime.  Res64: 2BF2DE07E1E28BAB  Time : 3958.0 sec.
user=mdettweiler
[2009-05-11 13:01:05]
333*2^814530-1 is not prime.  Res64: 6860FCEE350DE5EF  Time : 3963.0 sec.
user=vaughan
[2009-05-11 13:01:41]
333*2^814383-1 is not prime.  Res64: F240083E481B6978  Time : 8228.0 sec.
user=mdettweiler
[2009-05-11 13:01:44]
339*2^814531-1 is not prime.  Res64: A991D4E97E32345F  Time : 3971.0 sec.
user=vaughan
[2009-05-11 13:02:14]
333*2^814394-1 is not prime.  Res64: F4D1811B2B76711D  Time : 8236.0 sec.
user=vaughan
[2009-05-11 13:02:24]
339*2^814627-1 is not prime.  Res64: 391D0D06E2E8F3FA  Time : 952.0 sec.
user=vaughan
[2009-05-11 13:03:37]
327*2^814641-1 is not prime.  Res64: DDB8FBCAB0571442  Time : 935.0 sec.
user=vaughan
[2009-05-11 13:04:39]
345*2^814395-1 is not prime.  Res64: 3157BCDD9F60E1AA  Time : 8269.0 sec.
user=mdettweiler
[2009-05-11 13:05:47]
327*2^814538-1 is not prime.  Res64: F0F4252B9D0CA461  Time : 3964.0 sec.
user=vaughan
[2009-05-11 13:05:51]
333*2^814391-1 is not prime.  Res64: 1C98D759991296D7  Time : 8477.0 sec.
user=mdettweiler
[2009-05-11 13:08:10]
321*2^814541-1 is not prime.  Res64: 335A3478D4AC3176  Time : 3869.0 sec.
user=vaughan
[2009-05-11 13:09:12]
339*2^814661-1 is not prime.  Res64: 119B452E86195042  Time : 936.0 sec.
user=mdettweiler
[2009-05-11 13:14:18]
321*2^814551-1 is not prime.  Res64: C0878EB1DE3F89A8  Time : 3964.0 sec.
user=mdettweiler
[2009-05-11 13:15:01]
315*2^814558-1 is not prime.  Res64: D3BAEB4774EAB361  Time : 3971.0 sec.
user=vaughan
[2009-05-11 13:15:25]
333*2^814407-1 is not prime.  Res64: 9822BFFB88440B2D  Time : 8231.0 sec.
user=vaughan
[2009-05-11 13:15:57]
315*2^814415-1 is not prime.  Res64: 360C1C1810F9C0CC  Time : 8237.0 sec.
user=vaughan
[2009-05-11 13:18:16]
327*2^814673-1 is not prime.  Res64: 9F54EE7F8B2F5475  Time : 952.0 sec.
user=vaughan
[2009-05-11 13:18:25]
333*2^814427-1 is not prime.  Res64: 03096AD3B8F66B16  Time : 8271.0 sec.
user=mdettweiler
[2009-05-11 13:18:58]
315*2^814562-1 is not prime.  Res64: 1379F5E3F7B4B691  Time : 3961.0 sec.
user=vaughan
[2009-05-11 13:19:13]
327*2^814674-1 is not prime.  Res64: 7A8754928BC1EF49  Time : 936.0 sec.
user=vaughan
[2009-05-11 13:20:00]
339*2^814413-1 is not prime.  Res64: CA3474456074D62A  Time : 8483.0 sec.
user=mdettweiler
[2009-05-11 13:21:24]
345*2^814570-1 is not prime.  Res64: 412A9A08CF304FB1  Time : 3964.0 sec.
user=vaughan
[2009-05-11 13:24:48]
327*2^814689-1 is not prime.  Res64: 5FF019BF5AD98E6F  Time : 936.0 sec.
user=mdettweiler
[2009-05-11 13:27:29]
333*2^814580-1 is not prime.  Res64: 3BA42588FB7A24C3  Time : 3961.0 sec.
user=mdettweiler
[2009-05-11 13:28:14]
315*2^814582-1 is not prime.  Res64: 4B198F33B777A10F  Time : 3971.0 sec.
user=vaughan
[2009-05-11 13:29:07]
315*2^814440-1 is not prime.  Res64: 0CBBF88BAAEFE45F  Time : 8226.0 sec.
user=vaughan
[2009-05-11 13:29:42]
333*2^814443-1 is not prime.  Res64: EBE4C82F98D2D6C0  Time : 8238.0 sec.
user=mdettweiler
[2009-05-11 13:32:11]
315*2^814598-1 is not prime.  Res64: 6547408611A112C0  Time : 3962.0 sec.
user=vaughan
[2009-05-11 13:32:13]
345*2^814447-1 is not prime.  Res64: 69D3D64111F4D1DF  Time : 8268.0 sec.
user=vaughan
[2009-05-11 13:34:09]
315*2^814696-1 is not prime.  Res64: 739969110FD34F43  Time : 953.0 sec.
user=vaughan
[2009-05-11 13:34:09]
315*2^814445-1 is not prime.  Res64: 59B852D6548E58C5  Time : 8483.0 sec.
user=mdettweiler
[2009-05-11 13:34:38]
315*2^814606-1 is not prime.  Res64: F3F86313C07F4AB2  Time : 3965.0 sec.
user=vaughan
[2009-05-11 13:34:49]
327*2^814709-1 is not prime.  Res64: B90D0649E5D4A829  Time : 937.0 sec.
user=vaughan
[2009-05-11 13:40:24]
345*2^814722-1 is not prime.  Res64: 91BF802E226260D2  Time : 936.0 sec.
user=mdettweiler
[2009-05-11 13:40:42]
327*2^814612-1 is not prime.  Res64: 7E44E8946E3DBDC2  Time : 3963.0 sec.
user=mdettweiler
[2009-05-11 13:41:29]
315*2^814615-1 is not prime.  Res64: E5B5BA3CC8E8822C  Time : 3972.0 sec.
user=vaughan
[2009-05-11 13:42:51]
333*2^814467-1 is not prime.  Res64: 8F1F5FBACBB7063F  Time : 8228.0 sec.
user=vaughan
[2009-05-11 13:43:25]
321*2^814471-1 is not prime.  Res64: 69C8936BD1945DAB  Time : 8237.0 sec.
user=mdettweiler
[2009-05-11 13:45:25]
333*2^814626-1 is not prime.  Res64: F65858B9D69440C6  Time : 3961.0 sec.
user=vaughan
[2009-05-11 13:45:59]
345*2^814479-1 is not prime.  Res64: F126E5C5856253DA  Time : 8269.0 sec.
user=mdettweiler
[2009-05-11 13:47:53]
315*2^814627-1 is not prime.  Res64: 2F05F922CEC87ED2  Time : 3969.0 sec.
user=vaughan
[2009-05-11 13:48:18]
327*2^814474-1 is not prime.  Res64: A1BBBA28DB012B40  Time : 8483.0 sec.
user=vaughan
[2009-05-11 13:50:02]
315*2^814739-1 is not prime.  Res64: 25BA37E5201C8EC8  Time : 953.0 sec.
user=vaughan
[2009-05-11 13:50:24]
327*2^814746-1 is not prime.  Res64: 199C65A13A660D15  Time : 936.0 sec.
user=mdettweiler
[2009-05-11 13:53:55]
327*2^814634-1 is not prime.  Res64: 839575A8D6D010F3  Time : 3961.0 sec.
user=mdettweiler
[2009-05-11 13:54:43]
315*2^814646-1 is not prime.  Res64: BE6EDF3F6AD4DC15  Time : 3971.0 sec.
user=vaughan
[2009-05-11 13:56:00]
327*2^814748-1 is not prime.  Res64: 57B9142A1881E4E1  Time : 936.0 sec.
user=vaughan
[2009-05-11 13:56:35]
327*2^814496-1 is not prime.  Res64: 35678F88E210771B  Time : 8228.0 sec.
user=vaughan
[2009-05-11 13:57:09]
345*2^814497-1 is not prime.  Res64: 04AB221D4C2B1990  Time : 8237.0 sec.
user=mdettweiler
[2009-05-11 13:58:36]
333*2^814656-1 is not prime.  Res64: 737C655C70025A2C  Time : 3961.0 sec.
user=vaughan
[2009-05-11 13:59:48]
327*2^814505-1 is not prime.  Res64: 0AE10CE48FEE5BBA  Time : 8270.0 sec.
user=mdettweiler
[2009-05-11 14:01:04]
315*2^814662-1 is not prime.  Res64: B797DCF13BCA13BA  Time : 3967.0 sec.
user=vaughan
[2009-05-11 14:02:26]
339*2^814499-1 is not prime.  Res64: 7A1AA296322B2CD3  Time : 8479.0 sec.
user=vaughan
[2009-05-11 14:05:55]
315*2^814770-1 is not prime.  Res64: 82A964AA4EA6FF52  Time : 954.0 sec.
user=vaughan
[2009-05-11 14:06:01]
345*2^814770-1 is not prime.  Res64: 43E2D4020F9BFE1C  Time : 938.0 sec.
user=mdettweiler
[2009-05-11 14:07:24]
327*2^814665-1 is not prime.  Res64: F9C2414541A1CE68  Time : 3979.0 sec.
user=mdettweiler
[2009-05-11 14:07:57]
339*2^814667-1 is not prime.  Res64: F7441C4F7636A420  Time : 3973.0 sec.
user=vaughan
[2009-05-11 14:10:18]
327*2^814525-1 is not prime.  Res64: C98977A665D07CA1  Time : 8229.0 sec.
user=vaughan
[2009-05-11 14:10:54]
315*2^814526-1 is not prime.  Res64: 03E1C7D323376080  Time : 8237.0 sec.
user=vaughan
[2009-05-11 14:11:37]
315*2^814779-1 is not prime.  Res64: ABDB696235DF4762  Time : 937.0 sec.
user=mdettweiler
[2009-05-11 14:11:51]
321*2^814677-1 is not prime.  Res64: CD8F9D45C17C82CA  Time : 3964.0 sec.
user=vaughan
[2009-05-11 14:13:33]
333*2^814536-1 is not prime.  Res64: 7F5CCD22E8EB5E7F  Time : 8271.0 sec.
user=mdettweiler
[2009-05-11 14:14:19]
339*2^814687-1 is not prime.  Res64: ABF0D6FF06FC0604  Time : 3969.0 sec.
user=vaughan
[2009-05-11 14:16:39]
315*2^814531-1 is not prime.  Res64: 072CDD68CCFB63A5  Time : 8489.0 sec.
user=mdettweiler
[2009-05-11 14:20:19]
315*2^814692-1 is not prime.  Res64: E32304EAA951485E  Time : 3961.0 sec.
user=mdettweiler
[2009-05-11 14:21:11]
327*2^814692-1 is not prime.  Res64: EC3F7F2333755D4A  Time : 3970.0 sec.
user=vaughan
[2009-05-11 14:21:38]
315*2^814802-1 is not prime.  Res64: 617B1F5B25235868  Time : 938.0 sec.
user=vaughan
[2009-05-11 14:21:47]
333*2^814800-1 is not prime.  Res64: D590C1341513DF2C  Time : 953.0 sec.
user=vaughan
[2009-05-11 14:24:03]
321*2^814545-1 is not prime.  Res64: E5394F68AA04A347  Time : 8233.0 sec.
user=vaughan
[2009-05-11 14:24:37]
333*2^814550-1 is not prime.  Res64: 7670EAF283AFED19  Time : 8238.0 sec.
user=mdettweiler
[2009-05-11 14:25:04]
315*2^814701-1 is not prime.  Res64: E2A67843F3BE7AAF  Time : 3966.0 sec.
user=vaughan
[2009-05-11 14:27:13]
327*2^814809-1 is not prime.  Res64: A8AC9225C962E08C  Time : 936.0 sec.
user=vaughan
[2009-05-11 14:27:20]
339*2^814561-1 is not prime.  Res64: 5F73301F95B4C039  Time : 8272.0 sec.
user=mdettweiler
[2009-05-11 14:27:31]
333*2^814710-1 is not prime.  Res64: 7B137571463F516A  Time : 3967.0 sec.
user=vaughan
[2009-05-11 14:30:45]
327*2^814560-1 is not prime.  Res64: 8EAD06D9F6C9A87A  Time : 8488.0 sec.
user=mdettweiler
[2009-05-11 14:33:34]
327*2^814725-1 is not prime.  Res64: 099C4F696F832639  Time : 3965.0 sec.
user=mdettweiler
[2009-05-11 14:34:24]
321*2^814726-1 is not prime.  Res64: 6BFFA4C46DFC5199  Time : 3970.0 sec.
user=vaughan
[2009-05-11 14:37:15]
333*2^814826-1 is not prime.  Res64: 4294DA5587F66B1C  Time : 938.0 sec.
user=vaughan
[2009-05-11 14:37:40]
333*2^814835-1 is not prime.  Res64: A1D5D92A4910F217  Time : 953.0 sec.
user=vaughan
[2009-05-11 14:37:44]
315*2^814574-1 is not prime.  Res64: FD05C4276EFB5666  Time : 8232.0 sec.
user=mdettweiler
[2009-05-11 14:38:17]
339*2^814731-1 is not prime.  Res64: 1666C1F1C6A1B18B  Time : 3966.0 sec.
user=vaughan
[2009-05-11 14:38:22]
321*2^814574-1 is not prime.  Res64: 0034362551CAACD6  Time : 8240.0 sec.
user=mdettweiler
[2009-05-11 14:40:44]
339*2^814743-1 is not prime.  Res64: BB6BFA211CDD6BC3  Time : 3966.0 sec.
user=vaughan
[2009-05-11 14:41:08]
327*2^814594-1 is not prime.  Res64: 4A5FD4AEF3411C8E  Time : 8274.0 sec.
user=vaughan
[2009-05-11 14:42:50]
333*2^814844-1 is not prime.  Res64: B8FC297FF841A3B6  Time : 937.0 sec.
user=vaughan
[2009-05-11 14:44:54]
327*2^814596-1 is not prime.  Res64: 4D1B163FEE2B162D  Time : 8487.0 sec.
user=mdettweiler
[2009-05-11 14:46:46]
333*2^814748-1 is not prime.  Res64: 19DB5C68D757D50D  Time : 3964.0 sec.
user=mdettweiler
[2009-05-11 14:47:38]
327*2^814749-1 is not prime.  Res64: A4D29CA8CFA5BE32  Time : 3969.0 sec.
user=vaughan
[2009-05-11 14:51:27]
339*2^814611-1 is not prime.  Res64: 2A6F42DD4BF9E137  Time : 8231.0 sec.
user=mdettweiler
[2009-05-11 14:51:30]
327*2^814756-1 is not prime.  Res64: 64664F325A28EF87  Time : 3965.0 sec.
user=vaughan
[2009-05-11 14:52:06]
333*2^814614-1 is not prime.  Res64: 05B2203D8454BB87  Time : 8238.0 sec.
user=vaughan
[2009-05-11 14:52:51]
339*2^814863-1 is not prime.  Res64: CA630FF36DE47B0A  Time : 936.0 sec.
user=vaughan
[2009-05-11 14:53:33]
327*2^814865-1 is not prime.  Res64: D75ECC4CA6CF2BFE  Time : 953.0 sec.
user=mdettweiler
[2009-05-11 14:53:56]
321*2^814766-1 is not prime.  Res64: 17A9D16AC70F625D  Time : 3963.0 sec.
user=vaughan
[2009-05-11 14:54:53]
339*2^814616-1 is not prime.  Res64: 528415CFCF90250B  Time : 8271.0 sec.
user=vaughan
[2009-05-11 14:58:26]
339*2^814881-1 is not prime.  Res64: 0AD1954C0F296353  Time : 936.0 sec.
user=vaughan
[2009-05-11 14:59:02]
345*2^814617-1 is not prime.  Res64: 6B7646927CC1B7D4  Time : 8488.0 sec.
user=mdettweiler
[2009-05-11 15:00:01]
327*2^814773-1 is not prime.  Res64: 2C948D7663907EAD  Time : 3966.0 sec.
user=mdettweiler
[2009-05-11 15:00:54]
339*2^814773-1 is not prime.  Res64: D3C439DDCAE96F9E  Time : 3971.0 sec.
user=mdettweiler
[2009-05-11 15:04:43]
327*2^814785-1 is not prime.  Res64: D643221F3B4ADF07  Time : 3967.0 sec.
user=vaughan
[2009-05-11 15:05:11]
315*2^814636-1 is not prime.  Res64: D3874615C28CD094  Time : 8232.0 sec.
user=vaughan
[2009-05-11 15:05:50]
339*2^814643-1 is not prime.  Res64: 839BBD6C0499AFE8  Time : 8240.0 sec.
user=mdettweiler
[2009-05-11 15:07:10]
327*2^814794-1 is not prime.  Res64: 003EA73CB4D6F2AB  Time : 3966.0 sec.
user=vaughan
[2009-05-11 15:08:28]
339*2^814889-1 is not prime.  Res64: A778D833E55DC387  Time : 937.0 sec.
user=vaughan
[2009-05-11 15:08:40]
327*2^814649-1 is not prime.  Res64: D12746D0CE5A4EE0  Time : 8270.0 sec.
user=vaughan
[2009-05-11 15:09:25]
315*2^814890-1 is not prime.  Res64: 3395FA747C4F9975  Time : 952.0 sec.
user=vaughan
[2009-05-11 15:13:10]
339*2^814655-1 is not prime.  Res64: EB806F7C6D5E85DC  Time : 8487.0 sec.
user=mdettweiler
[2009-05-11 15:13:12]
315*2^814806-1 is not prime.  Res64: 3E2BAAAA3F4B2C49  Time : 3888.0 sec.
user=vaughan
[2009-05-11 15:14:03]
321*2^814894-1 is not prime.  Res64: D75BD6B010F4D1A8  Time : 937.0 sec.
user=mdettweiler
[2009-05-11 15:14:07]
327*2^814805-1 is not prime.  Res64: BA1F9794F26D9EF8  Time : 3970.0 sec.
user=mdettweiler
[2009-05-11 15:17:56]
333*2^814811-1 is not prime.  Res64: FA6DCBBBA0657943  Time : 3965.0 sec.
user=vaughan
[2009-05-11 15:18:54]
315*2^814666-1 is not prime.  Res64: 66768919C5C09240  Time : 8233.0 sec.
user=vaughan
[2009-05-11 15:19:34]
321*2^814671-1 is not prime.  Res64: 708A6149A56A2A75  Time : 8241.0 sec.
user=mdettweiler
[2009-05-11 15:20:25]
345*2^814812-1 is not prime.  Res64: A5561FE39C0CCCFD  Time : 3966.0 sec.
user=vaughan
[2009-05-11 15:22:28]
333*2^814674-1 is not prime.  Res64: E1E51FF39894A264  Time : 8270.0 sec.
user=vaughan
[2009-05-11 15:24:03]
327*2^814914-1 is not prime.  Res64: 69DCA6A5CC377B1A  Time : 936.0 sec.
user=vaughan
[2009-05-11 15:25:18]
339*2^814915-1 is not prime.  Res64: 800C78E10222F1F3  Time : 953.0 sec.
user=mdettweiler
[2009-05-11 15:26:24]
345*2^814816-1 is not prime.  Res64: 2C015D80B09F1A36  Time : 3965.0 sec.
user=vaughan
[2009-05-11 15:27:17]
345*2^814684-1 is not prime.  Res64: 9DA46AA8755F06D3  Time : 8486.0 sec.
user=mdettweiler
[2009-05-11 15:27:24]
321*2^814821-1 is not prime.  Res64: 6060820D482B6E0E  Time : 3973.0 sec.
user=vaughan
[2009-05-11 15:29:39]
339*2^814933-1 is not prime.  Res64: F0AC48B1045AA8CC  Time : 936.0 sec.
user=mdettweiler
[2009-05-11 15:31:09]
315*2^814839-1 is not prime.  Res64: B58982067888C2F1  Time : 3965.0 sec.
user=vaughan
[2009-05-11 15:32:39]
339*2^814693-1 is not prime.  Res64: 59A504025E049F4D  Time : 8235.0 sec.
user=vaughan
[2009-05-11 15:33:19]
321*2^814694-1 is not prime.  Res64: 1968D5CC5CF0C728  Time : 8242.0 sec.
user=mdettweiler
[2009-05-11 15:33:40]
333*2^814854-1 is not prime.  Res64: 58A55F09B7ACB400  Time : 3969.0 sec.
user=vaughan
[2009-05-11 15:36:16]
327*2^814700-1 is not prime.  Res64: 7A9C8E8F5544E341  Time : 8271.0 sec.
user=mdettweiler
[2009-05-11 15:39:34]
333*2^814860-1 is not prime.  Res64: BF544685723310D0  Time : 3960.0 sec.
user=vaughan
[2009-05-11 15:39:39]
315*2^814954-1 is not prime.  Res64: 0D048DD6F0D0D996  Time : 936.0 sec.
user=mdettweiler
[2009-05-11 15:40:36]
315*2^814862-1 is not prime.  Res64: 7D151987422DAF47  Time : 3972.0 sec.
user=vaughan
[2009-05-11 15:41:10]
345*2^814956-1 is not prime.  Res64: F745A7C0841D12A4  Time : 953.0 sec.
user=vaughan
[2009-05-11 15:41:27]
315*2^814710-1 is not prime.  Res64: 91AE1650585697D8  Time : 8487.0 sec.
user=mdettweiler
[2009-05-11 15:44:23]
339*2^814871-1 is not prime.  Res64: FEB8E4E92A74E8BC  Time : 3966.0 sec.
user=vaughan
[2009-05-11 15:45:17]
315*2^814965-1 is not prime.  Res64: 348CCBF5BB617CFA  Time : 938.0 sec.
user=vaughan
[2009-05-11 15:46:22]
333*2^814730-1 is not prime.  Res64: EDA0CEA4E155498C  Time : 8235.0 sec.
user=mdettweiler
[2009-05-11 15:46:52]
315*2^814878-1 is not prime.  Res64: 5596DFECEDB73094  Time : 3968.0 sec.
user=vaughan
[2009-05-11 15:47:03]
315*2^814731-1 is not prime.  Res64: 6503A2B20EE23B9A  Time : 8242.0 sec.
user=vaughan
[2009-05-11 15:50:03]
321*2^814734-1 is not prime.  Res64: 37AA9B4B59943531  Time : 8270.0 sec.
user=mdettweiler
[2009-05-11 15:52:47]
339*2^814885-1 is not prime.  Res64: B5591C9B4E82835C  Time : 3961.0 sec.
user=mdettweiler
[2009-05-11 15:53:53]
315*2^814886-1 is not prime.  Res64: 47D198E2626587B4  Time : 3975.0 sec.
user=vaughan
[2009-05-11 15:55:15]
327*2^814981-1 is not prime.  Res64: 900DE56C2A193CA3  Time : 937.0 sec.
user=vaughan
[2009-05-11 15:55:36]
333*2^814743-1 is not prime.  Res64: 6E9DC47561391635  Time : 8487.0 sec.
user=vaughan
[2009-05-11 15:57:02]
333*2^814988-1 is not prime.  Res64: EC9E54C249EB8740  Time : 952.0 sec.
user=mdettweiler
[2009-05-11 15:57:35]
321*2^814887-1 is not prime.  Res64: FC16172D7A90834B  Time : 3965.0 sec.
user=vaughan
[2009-05-11 16:00:04]
315*2^814752-1 is not prime.  Res64: 7A6E0B0AFA154D0A  Time : 8234.0 sec.
user=mdettweiler
[2009-05-11 16:00:05]
345*2^814890-1 is not prime.  Res64: BF675ECCF130DFA6  Time : 3969.0 sec.
user=vaughan
[2009-05-11 16:00:47]
321*2^814754-1 is not prime.  Res64: 57C7F2A14FE07A67  Time : 8242.0 sec.
user=vaughan
[2009-05-11 16:00:53]
321*2^814993-1 is not prime.  Res64: 2B0BA8CB8944B21F  Time : 936.0 sec.
user=vaughan
[2009-05-11 16:03:48]
345*2^814761-1 is not prime.  Res64: 9448864AACCFB54D  Time : 8269.0 sec.
user=mdettweiler
[2009-05-11 16:06:00]
321*2^814898-1 is not prime.  Res64: BFAD11C303C7B2EA  Time : 3959.0 sec.
user=mdettweiler
[2009-05-11 16:07:09]
327*2^814898-1 is not prime.  Res64: DAB83C0D196478F7  Time : 3975.0 sec.
user=vaughan
[2009-05-11 16:09:45]
345*2^814767-1 is not prime.  Res64: CCD850047B993E72  Time : 8488.0 sec.
user=mdettweiler
[2009-05-11 16:10:48]
339*2^814901-1 is not prime.  Res64: 92D65D01B7D255F3  Time : 3965.0 sec.
user=vaughan
[2009-05-11 16:10:51]
315*2^815020-1 is not prime.  Res64: 87EF4EC81CC03E84  Time : 936.0 sec.
user=vaughan
[2009-05-11 16:12:55]
333*2^815031-1 is not prime.  Res64: 88DA9A40CA99926F  Time : 953.0 sec.
user=mdettweiler
[2009-05-11 16:13:19]
321*2^814914-1 is not prime.  Res64: 31652655BCC2C9DA  Time : 3969.0 sec.
user=vaughan
[2009-05-11 16:13:48]
315*2^814780-1 is not prime.  Res64: 3C3B627AB20E9B9E  Time : 8234.0 sec.
user=vaughan
[2009-05-11 16:14:32]
315*2^814782-1 is not prime.  Res64: 8C55950056CA829C  Time : 8243.0 sec.
user=vaughan
[2009-05-11 16:16:30]
315*2^815038-1 is not prime.  Res64: 549A9192A472CC27  Time : 937.0 sec.
user=vaughan
[2009-05-11 16:17:34]
327*2^814788-1 is not prime.  Res64: 7F6193D08073F621  Time : 8267.0 sec.
user=mdettweiler
[2009-05-11 16:19:16]
327*2^814922-1 is not prime.  Res64: CAAFC9DBE0C2890D  Time : 3964.0 sec.
user=mdettweiler
[2009-05-11 16:20:26]
315*2^814936-1 is not prime.  Res64: A5ECB9D2DA949E0B  Time : 3979.0 sec.
user=vaughan
[2009-05-11 16:23:55]
333*2^814794-1 is not prime.  Res64: 4A3969B6FB90C6A1  Time : 8489.0 sec.
user=mdettweiler
[2009-05-11 16:24:02]
339*2^814937-1 is not prime.  Res64: A7AD2062E0CA8D52  Time : 3966.0 sec.
user=vaughan
[2009-05-11 16:26:13]
345*2^803160-1 is not prime.  Res64: 147C79545EDF8C95  Time : 922.0 sec.
user=mdettweiler
[2009-05-11 16:26:35]
339*2^814952-1 is not prime.  Res64: D3DC4C31CD53D28C  Time : 3971.0 sec.
user=vaughan
[2009-05-11 16:27:34]
321*2^814807-1 is not prime.  Res64: 5A4633102B054B8C  Time : 8237.0 sec.
user=vaughan
[2009-05-11 16:28:16]
339*2^814807-1 is not prime.  Res64: B5121A46156E2F45  Time : 8243.0 sec.
user=vaughan
[2009-05-11 16:28:33]
333*2^803163-1 is not prime.  Res64: B6945869508CC1A9  Time : 939.0 sec.
user=vaughan
[2009-05-11 16:31:22]
339*2^814811-1 is not prime.  Res64: 836165868BCF0014  Time : 8269.0 sec.
user=vaughan
[2009-05-11 16:31:53]
321*2^803173-1 is not prime.  Res64: 3FFFACCAA640AD0F  Time : 923.0 sec.
user=mdettweiler
[2009-05-11 16:32:31]
315*2^814958-1 is not prime.  Res64: 4B1C3AD1DBABBE5F  Time : 3967.0 sec.
user=mdettweiler
[2009-05-11 16:33:42]
333*2^814964-1 is not prime.  Res64: 4E9D55B0FB51EB0B  Time : 3978.0 sec.
user=mdettweiler
[2009-05-11 16:37:18]
345*2^814966-1 is not prime.  Res64: BCF1F560BF614D4C  Time : 3969.0 sec.
user=vaughan
[2009-05-11 16:38:05]
321*2^814815-1 is not prime.  Res64: AC4CC2E045EF94B4  Time : 8487.0 sec.
user=mdettweiler
[2009-05-11 16:39:52]
327*2^814972-1 is not prime.  Res64: 8AF7476FDE6D56A4  Time : 3972.0 sec.
user=vaughan
[2009-05-11 16:41:16]
339*2^814835-1 is not prime.  Res64: D64497DDC5EE225D  Time : 8233.0 sec.
user=vaughan
[2009-05-11 16:41:36]
345*2^803187-1 is not prime.  Res64: 0ECC65D74DA67E27  Time : 923.0 sec.
user=vaughan
[2009-05-11 16:42:02]
315*2^814838-1 is not prime.  Res64: 8814ADAD339779E7  Time : 8245.0 sec.
user=vaughan
[2009-05-11 16:44:14]
333*2^803208-1 is not prime.  Res64: D7E9A39BBB1EC708  Time : 941.0 sec.
user=vaughan
[2009-05-11 16:45:09]
345*2^814852-1 is not prime.  Res64: C9A3FDB73F8927FC  Time : 8270.0 sec.
user=mdettweiler
[2009-05-11 16:45:42]
315*2^814981-1 is not prime.  Res64: 73E0654DED279A22  Time : 3968.0 sec.
user=mdettweiler
[2009-05-11 16:46:51]
333*2^814986-1 is not prime.  Res64: 4BF3296686474386  Time : 3975.0 sec.
user=vaughan
[2009-05-11 16:47:16]
345*2^803224-1 is not prime.  Res64: B2A2B9F658A877C1  Time : 924.0 sec.
user=mdettweiler
[2009-05-11 16:50:27]
345*2^814992-1 is not prime.  Res64: CA7FC1BE8D8D2AD2  Time : 3964.0 sec.
user=vaughan
[2009-05-11 16:52:15]
345*2^814854-1 is not prime.  Res64: 4A5E5A0B871B54B0  Time : 8490.0 sec.
user=mdettweiler
[2009-05-11 16:53:02]
333*2^815010-1 is not prime.  Res64: ED15B0B3711C92BC  Time : 3971.0 sec.
user=vaughan
[2009-05-11 16:54:59]
321*2^814866-1 is not prime.  Res64: ACA451E4655CB4E9  Time : 8235.0 sec.
user=vaughan
[2009-05-11 16:55:45]
327*2^814872-1 is not prime.  Res64: ECE99BD53B1DD9D1  Time : 8243.0 sec.
user=vaughan
[2009-05-11 16:56:57]
345*2^803242-1 is not prime.  Res64: 220DD41F748C285E  Time : 921.0 sec.
user=mdettweiler
[2009-05-11 16:58:55]
339*2^815015-1 is not prime.  Res64: 0CE67E77B1009916  Time : 3968.0 sec.
user=vaughan
[2009-05-11 16:58:56]
333*2^814878-1 is not prime.  Res64: EFE9062446DC7A24  Time : 8268.0 sec.
user=vaughan
[2009-05-11 16:59:57]
321*2^803245-1 is not prime.  Res64: B62634684FA220FF  Time : 944.0 sec.
user=mdettweiler
[2009-05-11 17:00:06]
327*2^815016-1 is not prime.  Res64: 73E3D01900A572C4  Time : 3973.0 sec.
user=vaughan
[2009-05-11 17:02:39]
339*2^803253-1 is not prime.  Res64: 422974FA6A1A94CF  Time : 924.0 sec.
user=mdettweiler
[2009-05-11 17:03:41]
327*2^815033-1 is not prime.  Res64: 0C5ED05FB92B8635  Time : 3966.0 sec.
user=mdettweiler
[2009-05-11 17:06:18]
327*2^815034-1 is not prime.  Res64: F35CF22C35B1AAE0  Time : 3974.0 sec.
user=vaughan
[2009-05-11 17:06:25]
321*2^814885-1 is not prime.  Res64: 3783025CD625AC30  Time : 8491.0 sec.
user=vaughan
[2009-05-11 17:08:42]
333*2^814886-1 is not prime.  Res64: B180B49F37D90A55  Time : 8235.0 sec.
user=vaughan
[2009-05-11 17:09:30]
333*2^814887-1 is not prime.  Res64: C62867F4CD4A472E  Time : 8244.0 sec.
user=mdettweiler
[2009-05-11 17:11:57]
315*2^803154-1 is not prime.  Res64: 7DCADE966135E389  Time : 3957.0 sec.
user=vaughan
[2009-05-11 17:12:19]
339*2^803269-1 is not prime.  Res64: 3031E530BE788E96  Time : 922.0 sec.
user=vaughan
[2009-05-11 17:12:42]
327*2^814892-1 is not prime.  Res64: 45EC8B0E21F8E166  Time : 8269.0 sec.
user=mdettweiler
[2009-05-11 17:13:08]
321*2^803154-1 is not prime.  Res64: 50BA1F04B8F22A39  Time : 3959.0 sec.
user=vaughan
[2009-05-11 17:15:36]
339*2^803341-1 is not prime.  Res64: 7F413100B4861E40  Time : 940.0 sec.
user=mdettweiler
[2009-05-11 17:16:42]
327*2^803160-1 is not prime.  Res64: D45D67FEC0E095B0  Time : 3955.0 sec.
user=vaughan
[2009-05-11 17:18:03]
327*2^803346-1 is not prime.  Res64: 29073FA02690524B  Time : 925.0 sec.
user=mdettweiler
[2009-05-11 17:19:19]
345*2^803167-1 is not prime.  Res64: 8DBF0600DAE9F8E9  Time : 3960.0 sec.
user=vaughan
[2009-05-11 17:20:37]
315*2^814895-1 is not prime.  Res64: 90BEB72A84D51711  Time : 8495.0 sec.
user=vaughan
[2009-05-11 17:22:27]
321*2^814905-1 is not prime.  Res64: 5DC6DEFF47078B80  Time : 8237.0 sec.
user=vaughan
[2009-05-11 17:23:18]
315*2^814906-1 is not prime.  Res64: 05D3D104EE095E68  Time : 8248.0 sec.
user=mdettweiler
[2009-05-11 17:24:58]
333*2^803178-1 is not prime.  Res64: 3B53690AF233FC68  Time : 3943.0 sec.
user=mdettweiler
[2009-05-11 17:26:11]
315*2^803181-1 is not prime.  Res64: 9132EEEF2444A5FB  Time : 3945.0 sec.
user=vaughan
[2009-05-11 17:26:30]
345*2^814914-1 is not prime.  Res64: A7730B1E651D8FBE  Time : 8270.0 sec.
user=vaughan
[2009-05-11 17:27:43]
327*2^803369-1 is not prime.  Res64: 427DCBEEA4B46931  Time : 924.0 sec.
user=mdettweiler
[2009-05-11 17:29:43]
315*2^803182-1 is not prime.  Res64: 11FA1DB3D9A55C56  Time : 3942.0 sec.
user=vaughan
[2009-05-11 17:31:15]
333*2^803375-1 is not prime.  Res64: 36A75C3A2E8DFDFC  Time : 940.0 sec.
user=mdettweiler
[2009-05-11 17:32:25]
315*2^803198-1 is not prime.  Res64: 3B9CBDFE56CB2E4C  Time : 3950.0 sec.
user=vaughan
[2009-05-11 17:33:26]
333*2^803379-1 is not prime.  Res64: A56F18966932AFC7  Time : 924.0 sec.
user=vaughan
[2009-05-11 17:34:44]
345*2^814917-1 is not prime.  Res64: C395442B08F48D72  Time : 8495.0 sec.
user=vaughan
[2009-05-11 17:36:08]
339*2^814939-1 is not prime.  Res64: 91554DB962785870  Time : 8234.0 sec.
user=vaughan
[2009-05-11 17:36:58]
345*2^814950-1 is not prime.  Res64: 7CC760406AB844DA  Time : 8244.0 sec.
user=mdettweiler
[2009-05-11 17:38:07]
321*2^803230-1 is not prime.  Res64: 907C754370BE9B7A  Time : 3937.0 sec.
user=mdettweiler
[2009-05-11 17:39:18]
327*2^803234-1 is not prime.  Res64: 1579AA99B3278028  Time : 3936.0 sec.
user=vaughan
[2009-05-11 17:40:17]
339*2^814953-1 is not prime.  Res64: A417A65FA22EF306  Time : 8269.0 sec.
user=vaughan
[2009-05-11 17:43:05]
327*2^803456-1 is not prime.  Res64: 54FD0B1C21A643F2  Time : 922.0 sec.
user=mdettweiler
[2009-05-11 17:44:14]
339*2^803235-1 is not prime.  Res64: B461C9FD8B239645  Time : 4017.0 sec.
user=mdettweiler
[2009-05-11 17:45:25]
327*2^803241-1 is not prime.  Res64: EFD75B438BC739C7  Time : 3933.0 sec.
user=vaughan
[2009-05-11 17:46:54]
327*2^803460-1 is not prime.  Res64: A8ECC9B9BD38566C  Time : 940.0 sec.
user=vaughan
[2009-05-11 17:48:49]
339*2^803465-1 is not prime.  Res64: BFF4288F179AB9C8  Time : 924.0 sec.
user=vaughan
[2009-05-11 17:48:52]
315*2^814962-1 is not prime.  Res64: AC472501A9E59211  Time : 8495.0 sec.
user=vaughan
[2009-05-11 17:49:52]
327*2^814968-1 is not prime.  Res64: EEDC709FCCF652EC  Time : 8233.0 sec.
user=vaughan
[2009-05-11 17:50:44]
315*2^814971-1 is not prime.  Res64: 5B93FD8E0057888D  Time : 8245.0 sec.
user=mdettweiler
[2009-05-11 17:51:09]
327*2^803252-1 is not prime.  Res64: 551AF54EFE803880  Time : 3927.0 sec.
user=mdettweiler
[2009-05-11 17:52:22]
327*2^803253-1 is not prime.  Res64: 4635459D747B64D0  Time : 3931.0 sec.
user=vaughan
[2009-05-11 17:54:06]
339*2^814976-1 is not prime.  Res64: D4202753B40595FA  Time : 8271.0 sec.
user=mdettweiler
[2009-05-11 17:55:54]
327*2^803256-1 is not prime.  Res64: 1C5EA0D5897D29FD  Time : 3927.0 sec.
user=mdettweiler
[2009-05-11 17:58:29]
339*2^803263-1 is not prime.  Res64: 1801ACE5AA1624FE  Time : 3927.0 sec.
user=vaughan
[2009-05-11 17:58:31]
345*2^803490-1 is not prime.  Res64: C61E4F40CA428E0B  Time : 926.0 sec.
user=vaughan
[2009-05-11 18:02:34]
327*2^803562-1 is not prime.  Res64: 9FBD4641E9C29B7D  Time : 940.0 sec.
user=vaughan
[2009-05-11 18:03:02]
327*2^814992-1 is not prime.  Res64: 7D9ABA67498D57B2  Time : 8495.0 sec.
user=vaughan
[2009-05-11 18:03:36]
339*2^815008-1 is not prime.  Res64: AE88C8627F180733  Time : 8234.0 sec.
user=mdettweiler
[2009-05-11 18:04:10]
315*2^803334-1 is not prime.  Res64: 2D245FEEAA22750A  Time : 3915.0 sec.
user=vaughan
[2009-05-11 18:04:12]
315*2^803578-1 is not prime.  Res64: 56B360F38E5D6895  Time : 924.0 sec.
user=vaughan
[2009-05-11 18:04:29]
321*2^815014-1 is not prime.  Res64: 1316BDE9DAA8FC30  Time : 8246.0 sec.
user=mdettweiler
[2009-05-11 18:05:23]
339*2^803345-1 is not prime.  Res64: FFC948C6EF5A63F6  Time : 3917.0 sec.
user=vaughan
[2009-05-11 18:07:53]
315*2^815015-1 is not prime.  Res64: 74AE88284B4135C3  Time : 8271.0 sec.
user=mdettweiler
[2009-05-11 18:08:57]
345*2^803346-1 is not prime.  Res64: 45D4D630CEDD9CF4  Time : 3916.0 sec.
user=mdettweiler
[2009-05-11 18:11:30]
339*2^803355-1 is not prime.  Res64: FC9DD8B81F402EAC  Time : 3912.0 sec.
user=vaughan
[2009-05-11 18:13:56]
315*2^803607-1 is not prime.  Res64: 3F0F68CF1547FAB6  Time : 926.0 sec.
user=vaughan
[2009-05-11 18:17:09]
333*2^815030-1 is not prime.  Res64: 8EDFC60D76F3F55C  Time : 8494.0 sec.
user=mdettweiler
[2009-05-11 18:17:13]
345*2^803367-1 is not prime.  Res64: 58AAE8A0668CF0B0  Time : 3916.0 sec.
user=vaughan
[2009-05-11 18:17:20]
315*2^815034-1 is not prime.  Res64: D6724D380C103336  Time : 8236.0 sec.
user=vaughan
[2009-05-11 18:18:13]
315*2^803610-1 is not prime.  Res64: 45DD8D4EF1F49555  Time : 940.0 sec.
user=vaughan
[2009-05-11 18:18:14]
333*2^815034-1 is not prime.  Res64: C5502FBF320BFD01  Time : 8247.0 sec.
user=mdettweiler
[2009-05-11 18:18:28]
321*2^803374-1 is not prime.  Res64: CFE400F7DDF2B925  Time : 3921.0 sec.
user=vaughan
[2009-05-11 18:19:35]
315*2^803630-1 is not prime.  Res64: 3FE9D2B67F566846  Time : 923.0 sec.
user=vaughan
[2009-05-11 18:21:41]
315*2^815039-1 is not prime.  Res64: 02DDE6991B6B46D7  Time : 8274.0 sec.
user=mdettweiler
[2009-05-11 18:21:58]
315*2^803379-1 is not prime.  Res64: 97940A54D53BB920  Time : 3916.0 sec.
user=mdettweiler
[2009-05-11 18:24:30]
339*2^803379-1 is not prime.  Res64: 417B7475B1EF9269  Time : 3911.0 sec.
user=vaughan
[2009-05-11 18:29:20]
339*2^803691-1 is not prime.  Res64: 14435BEE009FF1DF  Time : 924.0 sec.
user=mdettweiler
[2009-05-11 18:30:16]
315*2^803446-1 is not prime.  Res64: E0B9375935D6B716  Time : 3918.0 sec.
user=vaughan
[2009-05-11 18:30:52]
339*2^803168-1 is not prime.  Res64: 7A77EC6D13351481  Time : 8224.0 sec.
user=vaughan
[2009-05-11 18:31:05]
333*2^803156-1 is not prime.  Res64: E8112F5DC95832DF  Time : 8480.0 sec.
user=mdettweiler
[2009-05-11 18:31:31]
321*2^803446-1 is not prime.  Res64: B320C9FF5A4CBAF0  Time : 3920.0 sec.
user=vaughan
[2009-05-11 18:31:46]
345*2^803172-1 is not prime.  Res64: ECA4589000039272  Time : 8235.0 sec.
user=vaughan
[2009-05-11 18:33:54]
321*2^803694-1 is not prime.  Res64: CFB84A73F21669BD  Time : 941.0 sec.
user=mdettweiler
[2009-05-11 18:34:58]
315*2^803460-1 is not prime.  Res64: EEE4BF3F76D3110F  Time : 3915.0 sec.
user=vaughan
[2009-05-11 18:35:00]
339*2^803703-1 is not prime.  Res64: 2E62D66073D65762  Time : 925.0 sec.
user=vaughan
[2009-05-11 18:35:16]
321*2^803177-1 is not prime.  Res64: 41C711D39EB4363F  Time : 8262.0 sec.
user=mdettweiler
[2009-05-11 18:37:33]
321*2^803462-1 is not prime.  Res64: AFED7B2B34CCF2E6  Time : 3908.0 sec.
user=mdettweiler
[2009-05-11 18:43:16]
315*2^803477-1 is not prime.  Res64: 4EEADBC7603E9E49  Time : 3909.0 sec.
user=vaughan
[2009-05-11 18:44:23]
339*2^803199-1 is not prime.  Res64: 15AB61DBFC5A3FBA  Time : 8210.0 sec.
user=vaughan
[2009-05-11 18:44:43]
339*2^803713-1 is not prime.  Res64: A291E61D4CE5B861  Time : 924.0 sec.
user=vaughan
[2009-05-11 18:45:03]
345*2^803181-1 is not prime.  Res64: B1BCF021BD674C93  Time : 8469.0 sec.
user=vaughan
[2009-05-11 18:45:19]
327*2^803200-1 is not prime.  Res64: 96EC7A0F8DB45133  Time : 8223.0 sec.
user=mdettweiler
[2009-05-11 18:46:07]
345*2^803479-1 is not prime.  Res64: A11C221F1FF43D16  Time : 4009.0 sec.
user=mdettweiler
[2009-05-11 18:48:02]
345*2^803491-1 is not prime.  Res64: F8908FCF472755A4  Time : 3828.0 sec.
user=vaughan
[2009-05-11 18:48:50]
315*2^803222-1 is not prime.  Res64: D0251F2F73161F04  Time : 8249.0 sec.
user=vaughan
[2009-05-11 18:49:35]
321*2^803775-1 is not prime.  Res64: 8B7D1661E9ECD5F3  Time : 941.0 sec.
user=vaughan
[2009-05-11 18:50:25]
333*2^803778-1 is not prime.  Res64: F8282D2260A99B0E  Time : 925.0 sec.
user=mdettweiler
[2009-05-11 18:50:37]
339*2^803495-1 is not prime.  Res64: 03B785279AE7BE6D  Time : 3912.0 sec.
user=mdettweiler
[2009-05-11 18:56:19]
339*2^803591-1 is not prime.  Res64: 9FDF7F81FBFB1B63  Time : 3910.0 sec.
user=mdettweiler
[2009-05-11 18:57:39]
315*2^803592-1 is not prime.  Res64: E287765BEB859927  Time : 3917.0 sec.
user=vaughan
[2009-05-11 18:57:54]
315*2^803242-1 is not prime.  Res64: 3CC41B6E4233E12A  Time : 8198.0 sec.
user=vaughan
[2009-05-11 18:58:52]
315*2^803245-1 is not prime.  Res64: 3FE88F22C03B7966  Time : 8210.0 sec.
user=vaughan
[2009-05-11 18:58:58]
327*2^803236-1 is not prime.  Res64: F8683DB6039DA307  Time : 8453.0 sec.
user=vaughan
[2009-05-11 19:00:07]
345*2^803799-1 is not prime.  Res64: 3F4AD4E19A22112B  Time : 924.0 sec.
user=mdettweiler
[2009-05-11 19:01:02]
345*2^803601-1 is not prime.  Res64: A2CD488F5B2A55CB  Time : 3908.0 sec.
user=vaughan
[2009-05-11 19:02:27]
327*2^803249-1 is not prime.  Res64: F74118E07CC72AA2  Time : 8238.0 sec.
user=mdettweiler
[2009-05-11 19:03:39]
315*2^803606-1 is not prime.  Res64: 8EB1BB1F518D5B24  Time : 3910.0 sec.
user=vaughan
[2009-05-11 19:05:16]
339*2^803815-1 is not prime.  Res64: 81279FCDC08281E1  Time : 942.0 sec.
user=vaughan
[2009-05-11 19:05:48]
315*2^803819-1 is not prime.  Res64: F3CA21432AB4656E  Time : 924.0 sec.
user=mdettweiler
[2009-05-11 19:09:20]
315*2^803620-1 is not prime.  Res64: E2E9C34E6BB6AFF0  Time : 3910.0 sec.
user=mdettweiler
[2009-05-11 19:10:45]
333*2^803630-1 is not prime.  Res64: 13267A39F01D50A5  Time : 3922.0 sec.
user=vaughan
[2009-05-11 19:11:30]
327*2^803268-1 is not prime.  Res64: BA45888920C6CA34  Time : 8191.0 sec.
user=vaughan
[2009-05-11 19:12:24]
327*2^803269-1 is not prime.  Res64: 8CB66828DACB90FB  Time : 8200.0 sec.
user=vaughan
[2009-05-11 19:12:56]
339*2^803259-1 is not prime.  Res64: 19025601C66AB9E3  Time : 8441.0 sec.
user=mdettweiler
[2009-05-11 19:14:03]
333*2^803684-1 is not prime.  Res64: E89551B54A9D6048  Time : 3906.0 sec.
user=vaughan
[2009-05-11 19:15:31]
333*2^803904-1 is not prime.  Res64: 800EA83E2F4816CE  Time : 924.0 sec.
user=vaughan
[2009-05-11 19:16:01]
333*2^803331-1 is not prime.  Res64: F386212FA4FDBECC  Time : 8226.0 sec.
user=mdettweiler
[2009-05-11 19:16:41]
315*2^803685-1 is not prime.  Res64: 7DDDE37354CB6162  Time : 3911.0 sec.
user=vaughan
[2009-05-11 19:20:55]
321*2^803917-1 is not prime.  Res64: 1893EDFBDDEC9754  Time : 940.0 sec.
user=vaughan
[2009-05-11 19:21:14]
321*2^803918-1 is not prime.  Res64: A54696C05946DFB7  Time : 926.0 sec.
user=mdettweiler
[2009-05-11 19:22:24]
345*2^803692-1 is not prime.  Res64: 25EE1F61D61545CD  Time : 3911.0 sec.
user=mdettweiler
[2009-05-11 19:23:48]
333*2^803703-1 is not prime.  Res64: E11ADB901DD7117F  Time : 3920.0 sec.
user=vaughan
[2009-05-11 19:24:59]
339*2^803359-1 is not prime.  Res64: 4A70231FD75D1840  Time : 8178.0 sec.
user=vaughan
[2009-05-11 19:25:58]
345*2^803361-1 is not prime.  Res64: FD09EE280B3BA30D  Time : 8188.0 sec.
user=mdettweiler
[2009-05-11 19:27:05]
315*2^803709-1 is not prime.  Res64: A3098051A5CD1C64  Time : 3907.0 sec.
user=vaughan
[2009-05-11 19:27:15]
333*2^803358-1 is not prime.  Res64: F3E839296BEBA91F  Time : 8450.0 sec.
user=vaughan
[2009-05-11 19:29:39]
345*2^803370-1 is not prime.  Res64: 6B1F359341798B79  Time : 8217.0 sec.
user=mdettweiler
[2009-05-11 19:29:44]
315*2^803710-1 is not prime.  Res64: 5BFA8EE8F04A86CB  Time : 3914.0 sec.
user=vaughan
[2009-05-11 19:30:55]
339*2^803936-1 is not prime.  Res64: 2F43BAD488B04E7A  Time : 925.0 sec.
user=mdettweiler
[2009-05-11 19:35:24]
321*2^803714-1 is not prime.  Res64: D6F9CF3485E22593  Time : 3908.0 sec.
user=vaughan
[2009-05-11 19:36:36]
327*2^803948-1 is not prime.  Res64: EF922BA9E6F2E267  Time : 942.0 sec.
user=vaughan
[2009-05-11 19:36:38]
315*2^803955-1 is not prime.  Res64: 47738B4D7B5674BD  Time : 925.0 sec.
user=mdettweiler
[2009-05-11 19:36:52]
339*2^803720-1 is not prime.  Res64: 72ECEA67D241C44C  Time : 3921.0 sec.
user=vaughan
[2009-05-11 19:38:28]
339*2^803443-1 is not prime.  Res64: 1BAED2D80B0A47F7  Time : 8161.0 sec.
user=vaughan
[2009-05-11 19:39:32]
345*2^803445-1 is not prime.  Res64: 610C160572B55209  Time : 8175.0 sec.
user=mdettweiler
[2009-05-11 19:40:07]
339*2^803777-1 is not prime.  Res64: 2DCE80345A80E32D  Time : 3909.0 sec.
user=vaughan
[2009-05-11 19:40:50]
345*2^803379-1 is not prime.  Res64: 49DBA56D5CB052D2  Time : 8414.0 sec.
user=mdettweiler
[2009-05-11 19:42:47]
315*2^803784-1 is not prime.  Res64: 3484AED2BA4163F4  Time : 3914.0 sec.
user=vaughan
[2009-05-11 19:43:15]
333*2^803451-1 is not prime.  Res64: 68065AD6C8282B2A  Time : 8206.0 sec.
user=vaughan
[2009-05-11 19:46:19]
327*2^803993-1 is not prime.  Res64: 2FBB3BCA1AE9D634  Time : 925.0 sec.
user=vaughan
[2009-05-11 19:52:02]
345*2^803472-1 is not prime.  Res64: 86B8EEC926315BDD  Time : 8154.0 sec.
user=vaughan
[2009-05-11 19:52:03]
327*2^804001-1 is not prime.  Res64: A276761C640191B6  Time : 925.0 sec.
user=vaughan
[2009-05-11 19:52:16]
339*2^803999-1 is not prime.  Res64: 15E2B88998E1AAD3  Time : 940.0 sec.
user=vaughan
[2009-05-11 19:53:03]
339*2^803475-1 is not prime.  Res64: B967F2F5BDEAD2C8  Time : 8165.0 sec.
user=mdettweiler
[2009-05-11 19:54:04]
339*2^803791-1 is not prime.  Res64: 9747B67E1B7ED529  Time : 4248.0 sec.
user=mdettweiler
[2009-05-11 19:54:07]
327*2^803805-1 is not prime.  Res64: C7F30CCF05CDA64D  Time : 4080.0 sec.
user=mdettweiler
[2009-05-11 19:54:36]
315*2^803807-1 is not prime.  Res64: 9E4230F42E429F24  Time : 3994.0 sec.
user=vaughan
[2009-05-11 19:54:48]
339*2^803467-1 is not prime.  Res64: 73DC3E9192EA7DA2  Time : 8404.0 sec.
user=mdettweiler
[2009-05-11 19:55:55]
339*2^803819-1 is not prime.  Res64: FAD8C3A4444F0C22  Time : 3918.0 sec.
user=vaughan
[2009-05-11 19:56:51]
321*2^803485-1 is not prime.  Res64: 027B8CB1244C0327  Time : 8195.0 sec.
user=mdettweiler
[2009-05-11 20:01:34]
315*2^803820-1 is not prime.  Res64: 1433BDCF5DE58276  Time : 3915.0 sec.
user=vaughan
[2009-05-11 20:01:42]
315*2^804022-1 is not prime.  Res64: 67A40EB70261C978  Time : 924.0 sec.
user=mdettweiler
[2009-05-11 20:03:03]
333*2^803820-1 is not prime.  Res64: F9D7B4E16BF4D83A  Time : 3924.0 sec.
user=vaughan
[2009-05-11 20:05:33]
339*2^803583-1 is not prime.  Res64: 77D9DE75291E219D  Time : 8141.0 sec.
user=mdettweiler
[2009-05-11 20:06:14]
339*2^803905-1 is not prime.  Res64: 6928BB93FD02ACE6  Time : 3912.0 sec.
user=vaughan
[2009-05-11 20:06:37]
315*2^803586-1 is not prime.  Res64: 5B8CF772E28309B9  Time : 8153.0 sec.
user=vaughan
[2009-05-11 20:07:40]
315*2^815042-1 is not prime.  Res64: 68D2D7F4AEDFB1E2  Time : 938.0 sec.
user=vaughan
[2009-05-11 20:08:09]
321*2^815046-1 is not prime.  Res64: 2B12560FFA6F3E35  Time : 953.0 sec.
user=vaughan
[2009-05-11 20:08:47]
321*2^803581-1 is not prime.  Res64: 451FAAF01DA35A77  Time : 8395.0 sec.
user=mdettweiler
[2009-05-11 20:08:58]
315*2^803916-1 is not prime.  Res64: 8094E073144CE3C0  Time : 3919.0 sec.
user=vaughan
[2009-05-11 20:10:25]
333*2^803594-1 is not prime.  Res64: 11F56A203BC476BA  Time : 8179.0 sec.
user=mdettweiler
[2009-05-11 20:14:36]
321*2^803921-1 is not prime.  Res64: 94D7A71EA1C33351  Time : 3916.0 sec.
user=mdettweiler
[2009-05-11 20:16:06]
339*2^803923-1 is not prime.  Res64: BFFE892CA83A9B4D  Time : 3921.0 sec.
user=vaughan
[2009-05-11 20:17:17]
315*2^815075-1 is not prime.  Res64: C87A20EAFCF9F104  Time : 935.0 sec.
user=vaughan
[2009-05-11 20:19:07]
333*2^803619-1 is not prime.  Res64: 49F86D9B330BEB18  Time : 8131.0 sec.
user=mdettweiler
[2009-05-11 20:19:16]
327*2^803936-1 is not prime.  Res64: E116BFF2DAC0D054  Time : 3913.0 sec.
user=vaughan
[2009-05-11 20:20:12]
321*2^803630-1 is not prime.  Res64: 58FDD90A05992C2D  Time : 8144.0 sec.
user=mdettweiler
[2009-05-11 20:22:00]
333*2^803946-1 is not prime.  Res64: 742A0A64E1C4F866  Time : 3919.0 sec.
user=vaughan
[2009-05-11 20:22:43]
333*2^803616-1 is not prime.  Res64: 34E6BA8EDC0EFA55  Time : 8381.0 sec.
user=vaughan
[2009-05-11 20:23:16]
321*2^815094-1 is not prime.  Res64: 8FB0807B8234B1EF  Time : 937.0 sec.
user=vaughan
[2009-05-11 20:24:04]
333*2^815094-1 is not prime.  Res64: CF3FB5BDF2B4E981  Time : 956.0 sec.
user=vaughan
[2009-05-11 20:24:04]
321*2^803633-1 is not prime.  Res64: 34677AAB5CF71471  Time : 8171.0 sec.
user=mdettweiler
[2009-05-11 20:27:38]
333*2^803955-1 is not prime.  Res64: 4C9B97A9518E5EDC  Time : 3914.0 sec.
user=mdettweiler
[2009-05-11 20:29:11]
315*2^803974-1 is not prime.  Res64: 841326ED2E9B91D1  Time : 3923.0 sec.
user=mdettweiler
[2009-05-11 20:32:19]
321*2^803975-1 is not prime.  Res64: F2E6546C04038576  Time : 3914.0 sec.
user=vaughan
[2009-05-11 20:32:35]
327*2^803693-1 is not prime.  Res64: 9B518F88D955D3A2  Time : 8115.0 sec.
user=vaughan
[2009-05-11 20:32:54]
339*2^815117-1 is not prime.  Res64: 650F400AA34F42A5  Time : 937.0 sec.
user=vaughan
[2009-05-11 20:33:45]
333*2^803694-1 is not prime.  Res64: E2D726ECE3135D04  Time : 8132.0 sec.
user=mdettweiler
[2009-05-11 20:35:03]
333*2^803991-1 is not prime.  Res64: DDC5DC811E930F64  Time : 3919.0 sec.
user=vaughan
[2009-05-11 20:36:39]
315*2^803692-1 is not prime.  Res64: 886630E6BBC0CCEC  Time : 8370.0 sec.
user=vaughan
[2009-05-11 20:37:41]
327*2^803706-1 is not prime.  Res64: D1A558C09296CE5B  Time : 8160.0 sec.
user=vaughan
[2009-05-11 20:38:52]
327*2^815138-1 is not prime.  Res64: F6CC6BC9E2E1DF61  Time : 937.0 sec.
user=vaughan
[2009-05-11 20:40:00]
345*2^815146-1 is not prime.  Res64: C5C3AD921B27E1C8  Time : 957.0 sec.
user=mdettweiler
[2009-05-11 20:40:40]
339*2^803995-1 is not prime.  Res64: 8716625DF459DEA6  Time : 3916.0 sec.
user=mdettweiler
[2009-05-11 20:42:14]
339*2^804003-1 is not prime.  Res64: 759A5BD92A36810A  Time : 3922.0 sec.
user=mdettweiler
[2009-05-11 20:45:22]
339*2^804013-1 is not prime.  Res64: CDF4AC8021523AF5  Time : 3915.0 sec.
user=vaughan
[2009-05-11 20:46:07]
345*2^803715-1 is not prime.  Res64: 0D0B33D6EBE814C3  Time : 8115.0 sec.
user=vaughan
[2009-05-11 20:47:15]
321*2^803721-1 is not prime.  Res64: 3D9325B7347E6375  Time : 8129.0 sec.
user=mdettweiler
[2009-05-11 20:48:06]
327*2^804020-1 is not prime.  Res64: BD3458F14DA78C3B  Time : 3919.0 sec.
user=vaughan
[2009-05-11 20:48:29]
339*2^815159-1 is not prime.  Res64: F1668CA782146A5E  Time : 935.0 sec.
user=vaughan
[2009-05-11 20:50:36]
339*2^803719-1 is not prime.  Res64: 0269C3440D9F98BF  Time : 8371.0 sec.
user=vaughan
[2009-05-11 20:51:14]
321*2^803782-1 is not prime.  Res64: 0A8CC2FD4E47A10E  Time : 8158.0 sec.
user=mdettweiler
[2009-05-11 20:53:51]
339*2^815053-1 is not prime.  Res64: 2E3FCB1058DD1EC5  Time : 3587.0 sec.
user=vaughan
[2009-05-11 20:54:28]
339*2^815167-1 is not prime.  Res64: 8E1000BD2B674B70  Time : 937.0 sec.
user=mdettweiler
[2009-05-11 20:55:29]
321*2^815055-1 is not prime.  Res64: 4B1C38541C39F64E  Time : 3682.0 sec.
user=vaughan
[2009-05-11 20:55:53]
333*2^815171-1 is not prime.  Res64: 2379D448FF265CD8  Time : 954.0 sec.
user=mdettweiler
[2009-05-11 20:58:34]
327*2^815058-1 is not prime.  Res64: 3565A7DC108506B0  Time : 3839.0 sec.
user=vaughan
[2009-05-11 20:59:39]
315*2^803798-1 is not prime.  Res64: B567C2DC6DF970F8  Time : 8117.0 sec.
user=vaughan
[2009-05-11 21:00:50]
315*2^803802-1 is not prime.  Res64: 34CFA555B7A3C424  Time : 8131.0 sec.
user=mdettweiler
[2009-05-11 21:01:19]
315*2^815070-1 is not prime.  Res64: 2C757604B92B6067  Time : 3924.0 sec.
user=vaughan
[2009-05-11 21:04:05]
345*2^815190-1 is not prime.  Res64: 58A85BF37F7C2D3D  Time : 936.0 sec.
user=vaughan
[2009-05-11 21:04:32]
315*2^803800-1 is not prime.  Res64: 47034EBF89BFB9D5  Time : 8370.0 sec.
user=vaughan
[2009-05-11 21:04:51]
339*2^803809-1 is not prime.  Res64: 37AD9B7C414726B2  Time : 8161.0 sec.
user=mdettweiler
[2009-05-11 21:07:04]
321*2^815071-1 is not prime.  Res64: 0E485B59D8DD9345  Time : 3930.0 sec.
user=mdettweiler
[2009-05-11 21:08:42]
321*2^815077-1 is not prime.  Res64: 15F28460FB51510D  Time : 3939.0 sec.
user=vaughan
[2009-05-11 21:10:05]
345*2^815200-1 is not prime.  Res64: E5BC37D9D2402B97  Time : 937.0 sec.
user=mdettweiler
[2009-05-11 21:11:46]
321*2^815093-1 is not prime.  Res64: 4E791AFEFA963EA2  Time : 3932.0 sec.
user=vaughan
[2009-05-11 21:11:46]
327*2^815202-1 is not prime.  Res64: 5C775AF604E52067  Time : 954.0 sec.
user=vaughan
[2009-05-11 21:13:12]
321*2^803826-1 is not prime.  Res64: 3481A3BBD219ED3F  Time : 8118.0 sec.
user=vaughan
[2009-05-11 21:14:22]
315*2^803827-1 is not prime.  Res64: 1DC6DD1E3E67A832  Time : 8130.0 sec.
user=mdettweiler
[2009-05-11 21:14:33]
327*2^815108-1 is not prime.  Res64: 1606D01CA5DDA71C  Time : 3935.0 sec.
user=vaughan
[2009-05-11 21:18:26]
339*2^803909-1 is not prime.  Res64: 356DBBC85B8E103A  Time : 8160.0 sec.
user=vaughan
[2009-05-11 21:18:31]
327*2^803904-1 is not prime.  Res64: 7CE3409982D67364  Time : 8373.0 sec.
user=vaughan
[2009-05-11 21:19:42]
345*2^815211-1 is not prime.  Res64: 6426254D9940E0CA  Time : 937.0 sec.
user=mdettweiler
[2009-05-11 21:20:18]
321*2^815113-1 is not prime.  Res64: C8898C7DCDE89496  Time : 3942.0 sec.
user=mdettweiler
[2009-05-11 21:21:56]
333*2^815115-1 is not prime.  Res64: A7381238621FCFAD  Time : 3950.0 sec.
user=mdettweiler
[2009-05-11 21:25:01]
315*2^815128-1 is not prime.  Res64: A85BABC913985872  Time : 3945.0 sec.
user=vaughan
[2009-05-11 21:25:44]
321*2^815218-1 is not prime.  Res64: 2888071100CDD2CA  Time : 939.0 sec.
user=vaughan
[2009-05-11 21:26:44]
327*2^803925-1 is not prime.  Res64: B3EF0ACB8128A043  Time : 8118.0 sec.
user=vaughan
[2009-05-11 21:27:38]
327*2^815226-1 is not prime.  Res64: D4D6AFEFDCCA1618  Time : 952.0 sec.
user=vaughan
[2009-05-11 21:27:55]
315*2^803927-1 is not prime.  Res64: DD02398DC02C6533  Time : 8131.0 sec.
user=mdettweiler
[2009-05-11 21:27:56]
333*2^815135-1 is not prime.  Res64: 56651495BDE5A196  Time : 3956.0 sec.
user=vaughan
[2009-05-11 21:32:02]
327*2^803944-1 is not prime.  Res64: 7CFEB804E4768596  Time : 8161.0 sec.
user=vaughan
[2009-05-11 21:32:27]
315*2^803935-1 is not prime.  Res64: 242402A6C1ED6953  Time : 8372.0 sec.
user=mdettweiler
[2009-05-11 21:33:57]
339*2^815153-1 is not prime.  Res64: B4120A5BA5AFF170  Time : 3979.0 sec.
user=vaughan
[2009-05-11 21:35:20]
333*2^815240-1 is not prime.  Res64: C659B9638B9A8788  Time : 938.0 sec.
user=mdettweiler
[2009-05-11 21:35:34]
321*2^815154-1 is not prime.  Res64: FEC09F53F579D3E2  Time : 3983.0 sec.
user=mdettweiler
[2009-05-11 21:38:41]
345*2^815155-1 is not prime.  Res64: 3BBF02E799DD5BEB  Time : 3982.0 sec.
user=vaughan
[2009-05-11 21:40:17]
321*2^803974-1 is not prime.  Res64: F9261086CBFA36DE  Time : 8118.0 sec.
user=vaughan
[2009-05-11 21:41:24]
315*2^815246-1 is not prime.  Res64: 5161C9F1C456905B  Time : 941.0 sec.
user=mdettweiler
[2009-05-11 21:41:29]
327*2^815162-1 is not prime.  Res64: 446F33CCF049CA5C  Time : 3986.0 sec.
user=vaughan
[2009-05-11 21:41:30]
345*2^803974-1 is not prime.  Res64: 3A952B37BC9F8475  Time : 8132.0 sec.
user=vaughan
[2009-05-11 21:43:31]
315*2^815247-1 is not prime.  Res64: 428EE6A54BB0D4E7  Time : 954.0 sec.
user=vaughan
[2009-05-11 21:45:38]
339*2^803987-1 is not prime.  Res64: E7BC9FE19D39729E  Time : 8159.0 sec.
user=vaughan
[2009-05-11 21:46:25]
327*2^803985-1 is not prime.  Res64: A22C3455985DAE7C  Time : 8350.0 sec.
user=mdettweiler
[2009-05-11 21:47:24]
339*2^815175-1 is not prime.  Res64: 2438A85B00A940C8  Time : 4004.0 sec.
user=mdettweiler
[2009-05-11 21:48:58]
333*2^815178-1 is not prime.  Res64: FC0DF9C977BA5B6D  Time : 4004.0 sec.
user=vaughan
[2009-05-11 21:50:55]
321*2^815265-1 is not prime.  Res64: B96B73A0FAF7157B  Time : 936.0 sec.
user=mdettweiler
[2009-05-11 21:51:54]
345*2^815179-1 is not prime.  Res64: ADC30AC511FA89AB  Time : 3992.0 sec.
user=vaughan
[2009-05-11 21:53:49]
315*2^804006-1 is not prime.  Res64: AE3C474881E48E2A  Time : 8122.0 sec.
user=mdettweiler
[2009-05-11 21:54:43]
321*2^815190-1 is not prime.  Res64: 0E8A674C218A8CFB  Time : 3997.0 sec.
user=vaughan
[2009-05-11 21:55:03]
321*2^804006-1 is not prime.  Res64: 2AFB2C9E3F0DC616  Time : 8132.0 sec.
user=vaughan
[2009-05-11 21:57:00]
333*2^815274-1 is not prime.  Res64: 6744E1F86B1A4384  Time : 937.0 sec.
user=vaughan
[2009-05-11 21:59:15]
333*2^804020-1 is not prime.  Res64: 1CEFB7478BD1C8A1  Time : 8160.0 sec.
user=vaughan
[2009-05-11 21:59:24]
315*2^815287-1 is not prime.  Res64: 38AEF05832092E07  Time : 954.0 sec.
user=vaughan
[2009-05-11 22:00:25]
315*2^804014-1 is not prime.  Res64: A4E814FAFAC7CCDD  Time : 8375.0 sec.
user=mdettweiler
[2009-05-11 22:00:36]
315*2^815198-1 is not prime.  Res64: 5326A366496E1A8E  Time : 4005.0 sec.
user=mdettweiler
[2009-05-11 22:02:13]
321*2^815201-1 is not prime.  Res64: 1A1EFDB879B80095  Time : 4004.0 sec.
user=mdettweiler
[2009-05-11 22:05:07]
339*2^815203-1 is not prime.  Res64: 3A2306F74C53B817  Time : 3993.0 sec.
user=vaughan
[2009-05-11 22:06:32]
339*2^815309-1 is not prime.  Res64: C41FA6E3219C7950  Time : 937.0 sec.
user=vaughan
[2009-05-11 22:07:22]
321*2^804022-1 is not prime.  Res64: 962F787D14F66E77  Time : 8121.0 sec.
user=mdettweiler
[2009-05-11 22:07:57]
315*2^815211-1 is not prime.  Res64: 2CF0AC667D16744F  Time : 3998.0 sec.
user=vaughan
[2009-05-11 22:08:48]
321*2^815053-1 is not prime.  Res64: 8067FF12721446E8  Time : 8145.0 sec.
user=vaughan
[2009-05-11 22:12:38]
315*2^815320-1 is not prime.  Res64: A73AB45558C5FFB6  Time : 938.0 sec.
user=vaughan
[2009-05-11 22:13:04]
321*2^815070-1 is not prime.  Res64: 704CE4C7711AD6E6  Time : 8174.0 sec.
user=mdettweiler
[2009-05-11 22:13:49]
327*2^815213-1 is not prime.  Res64: 984F292DF26F4DE5  Time : 4005.0 sec.
user=vaughan
[2009-05-11 22:14:35]
339*2^815061-1 is not prime.  Res64: 11E066E04120543F  Time : 8387.0 sec.
user=vaughan
[2009-05-11 22:15:18]
321*2^815325-1 is not prime.  Res64: D6A53D3E6EE9C453  Time : 954.0 sec.
user=mdettweiler
[2009-05-11 22:15:26]
315*2^815214-1 is not prime.  Res64: 5D2B82B32AE6A985  Time : 4004.0 sec.
user=mdettweiler
[2009-05-11 22:18:23]
327*2^815221-1 is not prime.  Res64: CE0239385A0853C4  Time : 3998.0 sec.
user=vaughan
[2009-05-11 22:21:07]
321*2^815087-1 is not prime.  Res64: 2C27F14421113A10  Time : 8134.0 sec.
user=mdettweiler
[2009-05-11 22:21:10]
327*2^815229-1 is not prime.  Res64: FF6A568BC39245A9  Time : 3997.0 sec.
user=vaughan
[2009-05-11 22:22:07]
321*2^815337-1 is not prime.  Res64: C338822864E6584E  Time : 936.0 sec.
user=vaughan
[2009-05-11 22:22:33]
327*2^815093-1 is not prime.  Res64: F5E9577E47D69D60  Time : 8156.0 sec.
user=vaughan
[2009-05-11 22:26:52]
333*2^815108-1 is not prime.  Res64: 85236560C1AC693B  Time : 8187.0 sec.
user=mdettweiler
[2009-05-11 22:27:01]
339*2^815241-1 is not prime.  Res64: 06EA8CACF494F244  Time : 4003.0 sec.
user=vaughan
[2009-05-11 22:28:21]
315*2^815350-1 is not prime.  Res64: B35EA3D77D2EF337  Time : 944.0 sec.
user=vaughan
[2009-05-11 22:28:41]
315*2^815104-1 is not prime.  Res64: 46BCA981E54A79C7  Time : 8395.0 sec.
user=mdettweiler
[2009-05-11 22:28:43]
345*2^815244-1 is not prime.  Res64: 666DF36A2C613A0B  Time : 4007.0 sec.
user=vaughan
[2009-05-11 22:31:13]
345*2^815355-1 is not prime.  Res64: D290A4EDFA02EF74  Time : 955.0 sec.
user=mdettweiler
[2009-05-11 22:31:35]
315*2^815245-1 is not prime.  Res64: 53D12EB30EE24436  Time : 3994.0 sec.
user=mdettweiler
[2009-05-11 22:34:25]
315*2^815254-1 is not prime.  Res64: 36A27F926EDA0389  Time : 3989.0 sec.
user=vaughan
[2009-05-11 22:34:51]
339*2^815123-1 is not prime.  Res64: 0034048BA8983A29  Time : 8145.0 sec.
user=vaughan
[2009-05-11 22:36:17]
327*2^815132-1 is not prime.  Res64: 20F5A39BEE432711  Time : 8165.0 sec.
user=vaughan
[2009-05-11 22:37:43]
327*2^815376-1 is not prime.  Res64: 9016878D5167C32E  Time : 936.0 sec.
user=mdettweiler
[2009-05-11 22:40:17]
327*2^815260-1 is not prime.  Res64: DABE5876FC3C943B  Time : 3980.0 sec.
user=vaughan
[2009-05-11 22:40:37]
339*2^815149-1 is not prime.  Res64: 10605044F125F1D3  Time : 8194.0 sec.
user=mdettweiler
[2009-05-11 22:41:58]
321*2^815266-1 is not prime.  Res64: BB3CF1D4847AA4EA  Time : 3984.0 sec.
user=vaughan
[2009-05-11 22:42:48]
333*2^815136-1 is not prime.  Res64: C091C9D248098630  Time : 8405.0 sec.
user=vaughan
[2009-05-11 22:43:58]
315*2^815387-1 is not prime.  Res64: 6B97E7B58AABE93D  Time : 938.0 sec.
user=mdettweiler
[2009-05-11 22:44:48]
315*2^815268-1 is not prime.  Res64: ABF0B2F7CF624E49  Time : 3968.0 sec.
user=vaughan
[2009-05-11 22:47:06]
321*2^815394-1 is not prime.  Res64: F6D2B18BD0251E5E  Time : 953.0 sec.
user=mdettweiler
[2009-05-11 22:47:38]
321*2^815286-1 is not prime.  Res64: 26DAB5990678CFDC  Time : 3969.0 sec.
user=vaughan
[2009-05-11 22:48:34]
327*2^815156-1 is not prime.  Res64: 36967BBFFBF8205C  Time : 8159.0 sec.
user=vaughan
[2009-05-11 22:50:02]
315*2^815160-1 is not prime.  Res64: C3B7035395E17FCD  Time : 8178.0 sec.
user=vaughan
[2009-05-11 22:53:19]
327*2^815418-1 is not prime.  Res64: C3E8A80D1202BB0B  Time : 936.0 sec.
user=mdettweiler
[2009-05-11 22:53:30]
321*2^815302-1 is not prime.  Res64: 169FBB976C46A0A7  Time : 3966.0 sec.
user=vaughan
[2009-05-11 22:54:26]
321*2^815167-1 is not prime.  Res64: 7EA60A3FB4E6C7A4  Time : 8206.0 sec.
user=mdettweiler
[2009-05-11 22:55:12]
315*2^815309-1 is not prime.  Res64: 289179E6E4F7CAA7  Time : 3974.0 sec.
user=vaughan
[2009-05-11 22:56:57]
321*2^815165-1 is not prime.  Res64: 1050978FC8C3469E  Time : 8419.0 sec.
user=mdettweiler
[2009-05-11 22:58:01]
339*2^815315-1 is not prime.  Res64: 431C879054313101  Time : 3967.0 sec.
user=vaughan
[2009-05-11 22:59:34]
315*2^815435-1 is not prime.  Res64: 7F1CFD71804F615C  Time : 936.0 sec.
user=mdettweiler
[2009-05-11 23:00:54]
315*2^815319-1 is not prime.  Res64: B537709F00765E4A  Time : 3971.0 sec.
user=vaughan
[2009-05-11 23:02:18]
327*2^815181-1 is not prime.  Res64: E70F7C5B480CCFE4  Time : 8171.0 sec.
user=vaughan
[2009-05-11 23:02:59]
321*2^815437-1 is not prime.  Res64: E79B2257BB038FE2  Time : 953.0 sec.
user=vaughan
[2009-05-11 23:03:48]
345*2^815187-1 is not prime.  Res64: C1CFC856F2F26743  Time : 8193.0 sec.
user=mdettweiler
[2009-05-11 23:06:43]
315*2^815326-1 is not prime.  Res64: EC5358F5D11DE963  Time : 3967.0 sec.
user=vaughan
[2009-05-11 23:08:14]
315*2^815196-1 is not prime.  Res64: C756465BFE50E162  Time : 8221.0 sec.
user=mdettweiler
[2009-05-11 23:08:27]
339*2^815333-1 is not prime.  Res64: A1025AB60DF35172  Time : 3974.0 sec.
user=vaughan
[2009-05-11 23:08:55]
339*2^815441-1 is not prime.  Res64: 596F7B71EE1BEB29  Time : 936.0 sec.
user=vaughan
[2009-05-11 23:11:07]
339*2^815195-1 is not prime.  Res64: D4864527123D850D  Time : 8431.0 sec.
user=mdettweiler
[2009-05-11 23:11:16]
315*2^815335-1 is not prime.  Res64: 83C6037116A17E8C  Time : 3969.0 sec.
user=mdettweiler
[2009-05-11 23:14:06]
339*2^815341-1 is not prime.  Res64: 0C9981879DCDDB9E  Time : 3969.0 sec.
user=vaughan
[2009-05-11 23:15:10]
339*2^815465-1 is not prime.  Res64: E805A05297888A1E  Time : 936.0 sec.
user=vaughan
[2009-05-11 23:16:02]
327*2^815205-1 is not prime.  Res64: 1D9F9979F250A754  Time : 8183.0 sec.
user=vaughan
[2009-05-11 23:17:33]
327*2^815208-1 is not prime.  Res64: 8662CB2E6D20388F  Time : 8203.0 sec.
user=vaughan
[2009-05-11 23:18:53]
315*2^815474-1 is not prime.  Res64: 2F2A592DD21C8D0B  Time : 954.0 sec.
user=mdettweiler
[2009-05-11 23:19:56]
339*2^815351-1 is not prime.  Res64: EAFC42A7978C8E33  Time : 3967.0 sec.
user=mdettweiler
[2009-05-11 23:21:42]
321*2^815357-1 is not prime.  Res64: BF6E7D60C148BED8  Time : 3976.0 sec.
user=vaughan
[2009-05-11 23:22:03]
321*2^815213-1 is not prime.  Res64: D0D095B90625E14E  Time : 8233.0 sec.
user=mdettweiler
[2009-05-11 23:24:31]
339*2^815357-1 is not prime.  Res64: E44FE88AC86924B1  Time : 3968.0 sec.
user=vaughan
[2009-05-11 23:24:32]
315*2^815486-1 is not prime.  Res64: FD9988678484801E  Time : 937.0 sec.
user=vaughan
[2009-05-11 23:25:17]
345*2^815212-1 is not prime.  Res64: 043CE96B6D43DA21  Time : 8445.0 sec.
user=mdettweiler
[2009-05-11 23:27:22]
339*2^815368-1 is not prime.  Res64: 103D689C017AE008  Time : 3972.0 sec.
user=vaughan
[2009-05-11 23:29:44]
315*2^815227-1 is not prime.  Res64: A1BB3B0AD803AA9D  Time : 8193.0 sec.
user=vaughan
[2009-05-11 23:30:47]
321*2^815506-1 is not prime.  Res64: EF4C407734076B7B  Time : 938.0 sec.
user=vaughan
[2009-05-11 23:31:18]
345*2^815227-1 is not prime.  Res64: A243B77487D84D25  Time : 8217.0 sec.
user=mdettweiler
[2009-05-11 23:33:13]
339*2^815385-1 is not prime.  Res64: ABE3510AE7F05B10  Time : 3972.0 sec.
user=vaughan
[2009-05-11 23:34:46]
315*2^815515-1 is not prime.  Res64: A4F9E24605DCB3C9  Time : 953.0 sec.
user=mdettweiler
[2009-05-11 23:34:56]
339*2^815391-1 is not prime.  Res64: 82AF632364732FEF  Time : 3973.0 sec.
user=vaughan
[2009-05-11 23:35:49]
315*2^815234-1 is not prime.  Res64: AAF09AA43024123B  Time : 8243.0 sec.
user=mdettweiler
[2009-05-11 23:37:44]
321*2^815410-1 is not prime.  Res64: 6B28696B9C37542D  Time : 3969.0 sec.
user=vaughan
[2009-05-11 23:39:29]
315*2^815235-1 is not prime.  Res64: E3A327A2E899BC05  Time : 8459.0 sec.
user=vaughan
[2009-05-11 23:40:11]
345*2^815524-1 is not prime.  Res64: 569C63EB2D83A549  Time : 940.0 sec.
user=mdettweiler
[2009-05-11 23:40:39]
345*2^815412-1 is not prime.  Res64: BB4BDBE64F745609  Time : 3974.0 sec.
user=vaughan
[2009-05-11 23:43:30]
333*2^815246-1 is not prime.  Res64: 6C5653F2EBC22ABC  Time : 8206.0 sec.
user=vaughan
[2009-05-11 23:45:06]
339*2^815253-1 is not prime.  Res64: 04A8321B3C230721  Time : 8231.0 sec.
user=vaughan
[2009-05-11 23:46:23]
333*2^815538-1 is not prime.  Res64: 71D39DAE401BB316  Time : 937.0 sec.
user=mdettweiler
[2009-05-11 23:46:29]
339*2^815419-1 is not prime.  Res64: 14E0D725EFD4FE80  Time : 3972.0 sec.
user=mdettweiler
[2009-05-11 23:48:12]
327*2^815433-1 is not prime.  Res64: CEACDDB5E64CF561  Time : 3974.0 sec.
user=vaughan
[2009-05-11 23:49:40]
333*2^815255-1 is not prime.  Res64: 9E92BB1D23B85BC4  Time : 8258.0 sec.
user=vaughan
[2009-05-11 23:50:43]
327*2^815544-1 is not prime.  Res64: 2FAEA7BD3D031635  Time : 957.0 sec.
user=mdettweiler
[2009-05-11 23:51:03]
345*2^815436-1 is not prime.  Res64: D695E2111E5411B4  Time : 3975.0 sec.
user=vaughan
[2009-05-11 23:53:38]
333*2^815258-1 is not prime.  Res64: C595BFCD3363FE37  Time : 8471.0 sec.
user=mdettweiler
[2009-05-11 23:53:53]
315*2^815439-1 is not prime.  Res64: C7B2C906EE07990B  Time : 3975.0 sec.
user=vaughan
[2009-05-11 23:55:50]
321*2^815558-1 is not prime.  Res64: 596DCB10B4D4225F  Time : 940.0 sec.
user=vaughan
[2009-05-11 23:57:11]
339*2^815273-1 is not prime.  Res64: AA4C924E08AD696E  Time : 8215.0 sec.
user=vaughan
[2009-05-11 23:58:50]
345*2^815274-1 is not prime.  Res64: AFB57E522AE943A5  Time : 8241.0 sec.
user=mdettweiler
[2009-05-11 23:59:47]
321*2^815442-1 is not prime.  Res64: 06EC46F459DC6D52  Time : 3977.0 sec.