user=mdettweiler
[2009-05-12 00:01:34]
339*2^815455-1 is not prime.  Res64: 31AE44F4304E2FA6  Time : 3982.0 sec.
user=vaughan
[2009-05-12 00:02:03]
345*2^815562-1 is not prime.  Res64: 97CD3DA7CAFAA1FC  Time : 940.0 sec.
user=vaughan
[2009-05-12 00:03:27]
333*2^815295-1 is not prime.  Res64: 4F8FA4F7F8643F2A  Time : 8269.0 sec.
user=mdettweiler
[2009-05-12 00:04:14]
345*2^815464-1 is not prime.  Res64: 8580C8608E630A8C  Time : 3973.0 sec.
user=vaughan
[2009-05-12 00:06:38]
327*2^815569-1 is not prime.  Res64: EA679AC3F5E00C62  Time : 956.0 sec.
user=mdettweiler
[2009-05-12 00:07:07]
315*2^815466-1 is not prime.  Res64: 6D88377C991252CC  Time : 3973.0 sec.
user=vaughan
[2009-05-12 00:07:46]
339*2^815297-1 is not prime.  Res64: 5182889C46979A15  Time : 8481.0 sec.
user=vaughan
[2009-05-12 00:10:59]
345*2^815316-1 is not prime.  Res64: 8D420C9E8E768923  Time : 8231.0 sec.
user=vaughan
[2009-05-12 00:11:27]
327*2^815585-1 is not prime.  Res64: 6F99B6D7E757F106  Time : 938.0 sec.
user=vaughan
[2009-05-12 00:12:40]
339*2^815319-1 is not prime.  Res64: FBB2904DDFD84EFB  Time : 8257.0 sec.
user=mdettweiler
[2009-05-12 00:13:02]
333*2^815478-1 is not prime.  Res64: AF0E48EAFE6E2FBF  Time : 3979.0 sec.
user=mdettweiler
[2009-05-12 00:14:48]
321*2^815481-1 is not prime.  Res64: 0BB1E2A6FC05A98E  Time : 3981.0 sec.
user=vaughan
[2009-05-12 00:17:13]
339*2^815320-1 is not prime.  Res64: AA158F6535CA125F  Time : 8278.0 sec.
user=mdettweiler
[2009-05-12 00:17:27]
333*2^815498-1 is not prime.  Res64: BF6E4E5821A80F15  Time : 3971.0 sec.
user=vaughan
[2009-05-12 00:17:41]
315*2^815599-1 is not prime.  Res64: C4BC532123270023  Time : 939.0 sec.
user=mdettweiler
[2009-05-12 00:20:19]
339*2^815499-1 is not prime.  Res64: 95A980731D00AD57  Time : 3973.0 sec.
user=vaughan
[2009-05-12 00:22:04]
345*2^815325-1 is not prime.  Res64: BE5FE2E56E00661B  Time : 8500.0 sec.
user=vaughan
[2009-05-12 00:22:36]
345*2^815607-1 is not prime.  Res64: 899A5C1B398730FB  Time : 959.0 sec.
user=vaughan
[2009-05-12 00:24:43]
315*2^815340-1 is not prime.  Res64: 8398C3E736166216  Time : 8241.0 sec.
user=mdettweiler
[2009-05-12 00:26:14]
315*2^815517-1 is not prime.  Res64: 12D9D42FE4E34F78  Time : 3978.0 sec.
user=vaughan
[2009-05-12 00:26:21]
321*2^815342-1 is not prime.  Res64: F26F837775D5BCA2  Time : 8253.0 sec.
user=vaughan
[2009-05-12 00:27:06]
345*2^815614-1 is not prime.  Res64: 08BD8A75763731A3  Time : 939.0 sec.
user=mdettweiler
[2009-05-12 00:28:04]
327*2^815520-1 is not prime.  Res64: 924FC15D8C500FF6  Time : 3982.0 sec.
user=mdettweiler
[2009-05-12 00:30:44]
339*2^815525-1 is not prime.  Res64: 0538B013D37C713F  Time : 3973.0 sec.
user=vaughan
[2009-05-12 00:33:19]
321*2^815630-1 is not prime.  Res64: 08C25A1BA5F0DE61  Time : 939.0 sec.
user=mdettweiler
[2009-05-12 00:33:33]
345*2^815529-1 is not prime.  Res64: B4D8D13C090D7F82  Time : 3971.0 sec.
user=vaughan
[2009-05-12 00:36:08]
345*2^815352-1 is not prime.  Res64: 33028160E8C77F63  Time : 8494.0 sec.
user=vaughan
[2009-05-12 00:37:00]
345*2^815350-1 is not prime.  Res64: 7AC838F6FB0B8F66  Time : 8637.0 sec.
user=vaughan
[2009-05-12 00:38:26]
315*2^815366-1 is not prime.  Res64: A7692DBCE3FA8C47  Time : 8240.0 sec.
user=vaughan
[2009-05-12 00:38:33]
339*2^815647-1 is not prime.  Res64: 6E30F2ABEC4C6BC8  Time : 958.0 sec.
user=mdettweiler
[2009-05-12 00:39:30]
321*2^815542-1 is not prime.  Res64: DC284B435500A79A  Time : 3977.0 sec.
user=vaughan
[2009-05-12 00:40:10]
345*2^815379-1 is not prime.  Res64: 4005C336FBDF81D4  Time : 8257.0 sec.
user=mdettweiler
[2009-05-12 00:41:34]
333*2^815544-1 is not prime.  Res64: 6E70582D89E53352  Time : 3998.0 sec.
user=vaughan
[2009-05-12 00:42:44]
327*2^815652-1 is not prime.  Res64: 54FACE49E6BB3C4C  Time : 938.0 sec.
user=mdettweiler
[2009-05-12 00:44:09]
333*2^815550-1 is not prime.  Res64: E9F382472D0C48BD  Time : 3985.0 sec.
user=vaughan
[2009-05-12 00:44:55]
321*2^815381-1 is not prime.  Res64: 79CF010B701E8976  Time : 8283.0 sec.
user=mdettweiler
[2009-05-12 00:47:03]
327*2^815561-1 is not prime.  Res64: 95106B30FDC681A0  Time : 3985.0 sec.
user=vaughan
[2009-05-12 00:48:56]
327*2^815660-1 is not prime.  Res64: F0CB8590772E96C1  Time : 937.0 sec.
user=vaughan
[2009-05-12 00:50:12]
327*2^815388-1 is not prime.  Res64: CBC3E6B7AA62DA9F  Time : 8492.0 sec.
user=vaughan
[2009-05-12 00:52:09]
333*2^815414-1 is not prime.  Res64: 4E547461B59D3E54  Time : 8238.0 sec.
user=mdettweiler
[2009-05-12 00:52:59]
333*2^815564-1 is not prime.  Res64: 2C01F89E72245B91  Time : 3990.0 sec.
user=vaughan
[2009-05-12 00:53:50]
339*2^815417-1 is not prime.  Res64: 5739EA983655E884  Time : 8254.0 sec.
user=vaughan
[2009-05-12 00:54:27]
315*2^815670-1 is not prime.  Res64: E3474CBC0FEC6F32  Time : 955.0 sec.
user=mdettweiler
[2009-05-12 00:54:47]
315*2^815565-1 is not prime.  Res64: B274B85938D87866  Time : 3996.0 sec.
user=mdettweiler
[2009-05-12 00:57:21]
315*2^815570-1 is not prime.  Res64: F61432341C6AA973  Time : 3982.0 sec.
user=vaughan
[2009-05-12 00:58:20]
339*2^815679-1 is not prime.  Res64: D2B7684FFF67804B  Time : 936.0 sec.
user=vaughan
[2009-05-12 00:58:37]
315*2^815430-1 is not prime.  Res64: 851632AE335333DF  Time : 8280.0 sec.
user=mdettweiler
[2009-05-12 01:00:15]
321*2^815585-1 is not prime.  Res64: 2704ED1A6DD38BCF  Time : 3983.0 sec.
user=vaughan
[2009-05-12 01:04:21]
315*2^815434-1 is not prime.  Res64: 3201059D362D6658  Time : 8493.0 sec.
user=vaughan
[2009-05-12 01:04:33]
339*2^815691-1 is not prime.  Res64: 5588A601336A430A  Time : 937.0 sec.
user=vaughan
[2009-05-12 01:05:52]
327*2^815440-1 is not prime.  Res64: FD187F5631D272EE  Time : 8238.0 sec.
user=mdettweiler
[2009-05-12 01:06:12]
339*2^815591-1 is not prime.  Res64: 2D898E1C61D61029  Time : 3986.0 sec.
user=vaughan
[2009-05-12 01:07:35]
339*2^815440-1 is not prime.  Res64: 9E1165B7BA2A55F7  Time : 8253.0 sec.
user=mdettweiler
[2009-05-12 01:08:02]
327*2^815594-1 is not prime.  Res64: B8504CE5AACC358B  Time : 3989.0 sec.
user=vaughan
[2009-05-12 01:10:20]
321*2^815702-1 is not prime.  Res64: 53EE30F193C63E87  Time : 953.0 sec.
user=mdettweiler
[2009-05-12 01:10:36]
345*2^815602-1 is not prime.  Res64: A0B2BD8C3BCC965F  Time : 3984.0 sec.
user=vaughan
[2009-05-12 01:12:24]
345*2^815454-1 is not prime.  Res64: 30B90FE9A0E8009F  Time : 8278.0 sec.
user=mdettweiler
[2009-05-12 01:13:29]
315*2^815610-1 is not prime.  Res64: A7F4898F22FBA234  Time : 3983.0 sec.
user=vaughan
[2009-05-12 01:13:56]
339*2^815715-1 is not prime.  Res64: BB8002812C15803D  Time : 936.0 sec.
user=vaughan
[2009-05-12 01:18:32]
321*2^815458-1 is not prime.  Res64: B742DB05541CB219  Time : 8495.0 sec.
user=mdettweiler
[2009-05-12 01:19:27]
321*2^815622-1 is not prime.  Res64: 02EDAE8E1948CA07  Time : 3986.0 sec.
user=vaughan
[2009-05-12 01:19:37]
327*2^815466-1 is not prime.  Res64: 34EB9EBE59E17CA3  Time : 8240.0 sec.
user=vaughan
[2009-05-12 01:20:10]
345*2^815727-1 is not prime.  Res64: 0025F68ADD6FA816  Time : 937.0 sec.
user=mdettweiler
[2009-05-12 01:21:17]
315*2^815628-1 is not prime.  Res64: 6AA51B715089753C  Time : 3990.0 sec.
user=vaughan
[2009-05-12 01:21:19]
321*2^815474-1 is not prime.  Res64: 66E7C81818042865  Time : 8252.0 sec.
user=mdettweiler
[2009-05-12 01:23:50]
315*2^815630-1 is not prime.  Res64: C24B8F16C0BAF05A  Time : 3983.0 sec.
user=vaughan
[2009-05-12 01:26:12]
339*2^815480-1 is not prime.  Res64: F754515DB946B4EF  Time : 8279.0 sec.
user=vaughan
[2009-05-12 01:26:14]
315*2^815747-1 is not prime.  Res64: 1EF560BB6D5D561B  Time : 954.0 sec.
user=mdettweiler
[2009-05-12 01:26:44]
345*2^815644-1 is not prime.  Res64: 32E66B987DF2B283  Time : 3985.0 sec.
user=vaughan
[2009-05-12 01:29:32]
333*2^815766-1 is not prime.  Res64: 064C83DC510EEECF  Time : 936.0 sec.
user=mdettweiler
[2009-05-12 01:32:40]
345*2^815650-1 is not prime.  Res64: BDBA8C35E6D38E33  Time : 3987.0 sec.
user=vaughan
[2009-05-12 01:32:41]
321*2^815490-1 is not prime.  Res64: 9E9CB88EADB9FBF1  Time : 8495.0 sec.
user=vaughan
[2009-05-12 01:33:21]
315*2^815507-1 is not prime.  Res64: C8396CEB50864ACA  Time : 8240.0 sec.
user=mdettweiler
[2009-05-12 01:34:31]
315*2^815655-1 is not prime.  Res64: 8EAEE079014697BD  Time : 3988.0 sec.
user=vaughan
[2009-05-12 01:35:05]
321*2^815510-1 is not prime.  Res64: 0A4412328FD6789D  Time : 8252.0 sec.
user=vaughan
[2009-05-12 01:35:47]
327*2^815786-1 is not prime.  Res64: 0ECCFBD6A45C3C1B  Time : 937.0 sec.
user=mdettweiler
[2009-05-12 01:37:04]
345*2^815656-1 is not prime.  Res64: 4C4E2B75C5E8FBF2  Time : 3981.0 sec.
user=mdettweiler
[2009-05-12 01:40:00]
345*2^815662-1 is not prime.  Res64: F3B92E9414F0E26F  Time : 3987.0 sec.
user=vaughan
[2009-05-12 01:40:00]
315*2^815522-1 is not prime.  Res64: 5C30F109CC037CEE  Time : 8277.0 sec.
user=vaughan
[2009-05-12 01:42:09]
315*2^815795-1 is not prime.  Res64: AFE5C642ED9A6C82  Time : 956.0 sec.
user=vaughan
[2009-05-12 01:45:10]
345*2^815802-1 is not prime.  Res64: E86779B172DDF1B7  Time : 938.0 sec.
user=mdettweiler
[2009-05-12 01:45:53]
315*2^815671-1 is not prime.  Res64: 911D42CEF16A7B28  Time : 3984.0 sec.
user=vaughan
[2009-05-12 01:46:51]
327*2^815529-1 is not prime.  Res64: AA56742C8B3F5851  Time : 8494.0 sec.
user=vaughan
[2009-05-12 01:47:05]
327*2^815532-1 is not prime.  Res64: F0F71275B33D2F74  Time : 8242.0 sec.
user=mdettweiler
[2009-05-12 01:47:45]
333*2^815679-1 is not prime.  Res64: ACA2ED5CD91C281B  Time : 3972.0 sec.
user=vaughan
[2009-05-12 01:48:51]
339*2^815539-1 is not prime.  Res64: F08900A97106CB8C  Time : 8254.0 sec.
user=mdettweiler
[2009-05-12 01:50:18]
315*2^815682-1 is not prime.  Res64: 14380E7CAFCD4026  Time : 3969.0 sec.
user=vaughan
[2009-05-12 01:51:25]
315*2^815818-1 is not prime.  Res64: E1C28417ACFAC5E7  Time : 938.0 sec.
user=mdettweiler
[2009-05-12 01:53:14]
333*2^815687-1 is not prime.  Res64: FD7AEB55F74562AF  Time : 3971.0 sec.
user=vaughan
[2009-05-12 01:53:48]
315*2^815549-1 is not prime.  Res64: B8EEB07BCC82F7E8  Time : 8279.0 sec.
user=vaughan
[2009-05-12 01:58:03]
327*2^815825-1 is not prime.  Res64: 65975F899748131C  Time : 955.0 sec.
user=mdettweiler
[2009-05-12 01:59:08]
327*2^815698-1 is not prime.  Res64: B0BF747070E014BF  Time : 3969.0 sec.
user=vaughan
[2009-05-12 02:05:44]
315*2^815562-1 is not prime.  Res64: E6EBDDFCFB730AE2  Time : 8439.0 sec.
user=mdettweiler
[2009-05-12 02:05:47]
315*2^815706-1 is not prime.  Res64: 9431274F87662E77  Time : 4106.0 sec.
user=vaughan
[2009-05-12 02:05:48]
321*2^815830-1 is not prime.  Res64: A21A2374D677CD9F  Time : 1238.0 sec.
user=mdettweiler
[2009-05-12 02:05:52]
333*2^815703-1 is not prime.  Res64: 7F9BCA5DC89E77EA  Time : 4265.0 sec.
user=vaughan
[2009-05-12 02:05:52]
339*2^815552-1 is not prime.  Res64: 868CC1EBCA04C0A2  Time : 8784.0 sec.
user=vaughan
[2009-05-12 02:06:01]
339*2^815561-1 is not prime.  Res64: 206C165976368633  Time : 8552.0 sec.
user=mdettweiler
[2009-05-12 02:06:30]
321*2^815717-1 is not prime.  Res64: 8E0A4D3352DE8B7E  Time : 3975.0 sec.
user=vaughan
[2009-05-12 02:06:57]
315*2^815850-1 is not prime.  Res64: 3D87E6EC82A7821E  Time : 932.0 sec.
user=vaughan
[2009-05-12 02:07:36]
321*2^815567-1 is not prime.  Res64: BAAAA102A969A31F  Time : 8277.0 sec.
user=mdettweiler
[2009-05-12 02:12:22]
345*2^815734-1 is not prime.  Res64: 19E48181115EBC1F  Time : 3970.0 sec.
user=vaughan
[2009-05-12 02:13:50]
339*2^815853-1 is not prime.  Res64: 66A0C4A16B0F8C2B  Time : 947.0 sec.
user=mdettweiler
[2009-05-12 02:14:17]
327*2^815738-1 is not prime.  Res64: 10EA455C23EC56F3  Time : 3975.0 sec.
user=vaughan
[2009-05-12 02:14:33]
345*2^815586-1 is not prime.  Res64: 69156D8BFA29A472  Time : 8242.0 sec.
user=vaughan
[2009-05-12 02:15:09]
321*2^815582-1 is not prime.  Res64: ADB58F259089557C  Time : 8492.0 sec.
user=vaughan
[2009-05-12 02:16:21]
327*2^815588-1 is not prime.  Res64: 6C282DB3D6346742  Time : 8252.0 sec.
user=mdettweiler
[2009-05-12 02:16:44]
339*2^815747-1 is not prime.  Res64: BDF0B3FAE15CFBCA  Time : 3968.0 sec.
user=mdettweiler
[2009-05-12 02:21:08]
339*2^815759-1 is not prime.  Res64: 824AD751DF18ECEC  Time : 4060.0 sec.
user=vaughan
[2009-05-12 02:21:23]
321*2^815601-1 is not prime.  Res64: DE048A7CCA6FDA78  Time : 8277.0 sec.
user=vaughan
[2009-05-12 02:21:25]
345*2^815856-1 is not prime.  Res64: 434534D3D7D50E0B  Time : 938.0 sec.
user=vaughan
[2009-05-12 02:22:35]
327*2^815869-1 is not prime.  Res64: 06F361198A2EFD2A  Time : 938.0 sec.
user=mdettweiler
[2009-05-12 02:25:36]
327*2^815784-1 is not prime.  Res64: 27997877EC2616BF  Time : 3970.0 sec.
user=mdettweiler
[2009-05-12 02:27:33]
345*2^815787-1 is not prime.  Res64: E22B62D5CE852CB5  Time : 3976.0 sec.
user=vaughan
[2009-05-12 02:28:17]
315*2^815614-1 is not prime.  Res64: 8FF155085FF4761E  Time : 8239.0 sec.
user=vaughan
[2009-05-12 02:29:19]
333*2^815610-1 is not prime.  Res64: 66AE8EAEBB78627A  Time : 8494.0 sec.
user=vaughan
[2009-05-12 02:29:44]
339*2^815871-1 is not prime.  Res64: 55BB8E364FA1DFDD  Time : 954.0 sec.
user=mdettweiler
[2009-05-12 02:29:58]
339*2^815789-1 is not prime.  Res64: 537AB7AB9C8456D2  Time : 3968.0 sec.
user=vaughan
[2009-05-12 02:30:04]
345*2^815619-1 is not prime.  Res64: AD82EB9C125D3B97  Time : 8246.0 sec.
user=mdettweiler
[2009-05-12 02:32:56]
339*2^815800-1 is not prime.  Res64: 3910A6C2EF308CB5  Time : 3972.0 sec.
user=vaughan
[2009-05-12 02:35:10]
339*2^815629-1 is not prime.  Res64: 619CDC60DA1ED7B7  Time : 8277.0 sec.
user=vaughan
[2009-05-12 02:37:02]
345*2^815880-1 is not prime.  Res64: 78C0E0C42CA7E95A  Time : 938.0 sec.
user=vaughan
[2009-05-12 02:38:13]
321*2^815881-1 is not prime.  Res64: 9ECB1AFA41516B39  Time : 938.0 sec.
user=mdettweiler
[2009-05-12 02:38:49]
333*2^815804-1 is not prime.  Res64: 6AECEFBA96AFB8D1  Time : 3969.0 sec.
user=mdettweiler
[2009-05-12 02:40:49]
321*2^815813-1 is not prime.  Res64: C638292D17B5A8CC  Time : 3979.0 sec.
user=vaughan
[2009-05-12 02:42:00]
327*2^815648-1 is not prime.  Res64: 68D2C99D9EC49584  Time : 8238.0 sec.
user=mdettweiler
[2009-05-12 02:43:13]
315*2^815819-1 is not prime.  Res64: 9BC4E2C1C4B222CD  Time : 3969.0 sec.
user=vaughan
[2009-05-12 02:43:29]
339*2^815645-1 is not prime.  Res64: 6993DD61C1297112  Time : 8489.0 sec.
user=vaughan
[2009-05-12 02:43:50]
339*2^815651-1 is not prime.  Res64: D6DD1C62F07C0383  Time : 8250.0 sec.
user=vaughan
[2009-05-12 02:45:38]
315*2^815890-1 is not prime.  Res64: 6BC8AAA51C80A07B  Time : 955.0 sec.
user=mdettweiler
[2009-05-12 02:46:10]
315*2^815824-1 is not prime.  Res64: 9ECEF723B6E93037  Time : 3971.0 sec.
user=vaughan
[2009-05-12 02:49:00]
315*2^815667-1 is not prime.  Res64: 95B72D659E66CDF4  Time : 7858.0 sec.
user=mdettweiler
[2009-05-12 02:52:02]
315*2^815832-1 is not prime.  Res64: 1DEEF0808ED6DE4E  Time : 3969.0 sec.
user=vaughan
[2009-05-12 02:52:39]
321*2^815906-1 is not prime.  Res64: 3FBE5D584343887D  Time : 938.0 sec.
user=vaughan
[2009-05-12 02:53:50]
333*2^815910-1 is not prime.  Res64: 093F6E828E4BF671  Time : 937.0 sec.
user=mdettweiler
[2009-05-12 02:54:06]
321*2^815842-1 is not prime.  Res64: 3E898468D77782BA  Time : 3981.0 sec.
user=vaughan
[2009-05-12 02:55:43]
333*2^815667-1 is not prime.  Res64: B79A0D168E749095  Time : 8238.0 sec.
user=mdettweiler
[2009-05-12 02:56:25]
327*2^815845-1 is not prime.  Res64: B668FE2B2E6CD7F3  Time : 3967.0 sec.
user=vaughan
[2009-05-12 02:57:34]
321*2^815677-1 is not prime.  Res64: D469CC4129601A43  Time : 8248.0 sec.
user=vaughan
[2009-05-12 02:57:39]
333*2^815664-1 is not prime.  Res64: 0819484D8B042378  Time : 8492.0 sec.
user=mdettweiler
[2009-05-12 02:59:24]
333*2^815850-1 is not prime.  Res64: 331E011B384C255B  Time : 3970.0 sec.
user=vaughan
[2009-05-12 03:01:31]
315*2^815934-1 is not prime.  Res64: BC2E5D2A40BFF2AC  Time : 954.0 sec.
user=vaughan
[2009-05-12 03:02:46]
321*2^815687-1 is not prime.  Res64: B082E36F7023CB28  Time : 8273.0 sec.
user=mdettweiler
[2009-05-12 03:05:17]
321*2^815854-1 is not prime.  Res64: AEBE52FE23F7E317  Time : 3969.0 sec.
user=mdettweiler
[2009-05-12 03:07:22]
321*2^815857-1 is not prime.  Res64: 0663D167FF62D7B0  Time : 3691.0 sec.
user=vaughan
[2009-05-12 03:08:16]
315*2^815949-1 is not prime.  Res64: D49912D642ECF7FF  Time : 938.0 sec.
user=vaughan
[2009-05-12 03:09:27]
321*2^815697-1 is not prime.  Res64: 4973AE290A82D3DD  Time : 8238.0 sec.
user=vaughan
[2009-05-12 03:09:27]
339*2^815951-1 is not prime.  Res64: 54E0B5CF3143ECA1  Time : 937.0 sec.
user=mdettweiler
[2009-05-12 03:09:39]
333*2^815867-1 is not prime.  Res64: CE52F649E3267BF5  Time : 3772.0 sec.
user=vaughan
[2009-05-12 03:11:20]
327*2^815700-1 is not prime.  Res64: 4608DED6BAF2EAA7  Time : 8250.0 sec.
user=vaughan
[2009-05-12 03:11:48]
345*2^815695-1 is not prime.  Res64: D631AADF7FBAC798  Time : 8496.0 sec.
user=mdettweiler
[2009-05-12 03:12:37]
339*2^815865-1 is not prime.  Res64: 8C41422F2A767DCF  Time : 3967.0 sec.
user=vaughan
[2009-05-12 03:16:33]
315*2^815717-1 is not prime.  Res64: 7DD528FC7FF71776  Time : 8276.0 sec.
user=vaughan
[2009-05-12 03:17:25]
315*2^815962-1 is not prime.  Res64: 38D9FDF69E13069D  Time : 954.0 sec.
user=mdettweiler
[2009-05-12 03:18:31]
321*2^815871-1 is not prime.  Res64: 33BD05496F3CCF8F  Time : 3969.0 sec.
user=mdettweiler
[2009-05-12 03:22:03]
345*2^815871-1 is not prime.  Res64: F24ECDDC8B545411  Time : 4066.0 sec.
user=mdettweiler
[2009-05-12 03:22:52]
345*2^815874-1 is not prime.  Res64: 96114119D83D0BB4  Time : 3969.0 sec.
user=vaughan
[2009-05-12 03:23:10]
339*2^815731-1 is not prime.  Res64: CBAD9BC0DD26D4A7  Time : 8238.0 sec.
user=vaughan
[2009-05-12 03:23:52]
333*2^815967-1 is not prime.  Res64: 7F89FC07390DBAFB  Time : 936.0 sec.
user=vaughan
[2009-05-12 03:25:04]
327*2^815978-1 is not prime.  Res64: ACB8A9B8DB5789B1  Time : 937.0 sec.
user=vaughan
[2009-05-12 03:25:05]
327*2^815736-1 is not prime.  Res64: 4717C0CE01F3DA7C  Time : 8251.0 sec.
user=mdettweiler
[2009-05-12 03:25:52]
327*2^815876-1 is not prime.  Res64: 5789FD105535ECD0  Time : 3884.0 sec.
user=vaughan
[2009-05-12 03:25:59]
333*2^815720-1 is not prime.  Res64: 451175898EDF81E4  Time : 8498.0 sec.
user=vaughan
[2009-05-12 03:30:21]
315*2^815755-1 is not prime.  Res64: 895EAF6B3E8464E6  Time : 8277.0 sec.
user=mdettweiler
[2009-05-12 03:31:45]
315*2^815884-1 is not prime.  Res64: 41706DC0092FA665  Time : 3969.0 sec.
user=vaughan
[2009-05-12 03:33:18]
327*2^815989-1 is not prime.  Res64: 4321A6F8D2DEB3BD  Time : 953.0 sec.
user=mdettweiler
[2009-05-12 03:33:57]
321*2^815885-1 is not prime.  Res64: D5EC55DD24A98B3A  Time : 3984.0 sec.
user=mdettweiler
[2009-05-12 03:36:06]
327*2^815892-1 is not prime.  Res64: C9574A0584093FF0  Time : 3968.0 sec.
user=vaughan
[2009-05-12 03:36:53]
333*2^815784-1 is not prime.  Res64: 937F3BA85292E5F0  Time : 8237.0 sec.
user=vaughan
[2009-05-12 03:38:50]
327*2^815789-1 is not prime.  Res64: 7E5E4672722B23EC  Time : 8251.0 sec.
user=mdettweiler
[2009-05-12 03:39:07]
321*2^815903-1 is not prime.  Res64: E577ABE7BB95C106  Time : 3971.0 sec.
user=vaughan
[2009-05-12 03:39:28]
339*2^816007-1 is not prime.  Res64: 2E8B0E0177B7A5EA  Time : 936.0 sec.
user=vaughan
[2009-05-12 03:40:08]
321*2^815773-1 is not prime.  Res64: 5CFB9E9F01A1A21B  Time : 8497.0 sec.
user=vaughan
[2009-05-12 03:40:40]
345*2^816007-1 is not prime.  Res64: AE66D022BB918251  Time : 937.0 sec.
user=vaughan
[2009-05-12 03:44:07]
327*2^815792-1 is not prime.  Res64: 0C356B6881E63D50  Time : 8275.0 sec.
user=mdettweiler
[2009-05-12 03:45:00]
315*2^815911-1 is not prime.  Res64: FF874F7AD2D5F22B  Time : 3971.0 sec.
user=mdettweiler
[2009-05-12 03:47:11]
345*2^815911-1 is not prime.  Res64: 057401D434490B45  Time : 3982.0 sec.
user=vaughan
[2009-05-12 03:49:12]
333*2^816014-1 is not prime.  Res64: D60D7E443DF40C6E  Time : 954.0 sec.
user=mdettweiler
[2009-05-12 03:49:19]
333*2^815919-1 is not prime.  Res64: A12A092D8011760E  Time : 3966.0 sec.
user=vaughan
[2009-05-12 03:50:38]
339*2^815811-1 is not prime.  Res64: F563A050DAFF1CBA  Time : 8238.0 sec.
user=mdettweiler
[2009-05-12 03:52:24]
339*2^815935-1 is not prime.  Res64: 03D84894ED1CFEC2  Time : 3974.0 sec.
user=vaughan
[2009-05-12 03:52:36]
327*2^815813-1 is not prime.  Res64: AFE03AF55F75DC81  Time : 8251.0 sec.
user=vaughan
[2009-05-12 03:54:17]
333*2^815807-1 is not prime.  Res64: 7EDBD0D35C0C3B60  Time : 8496.0 sec.
user=vaughan
[2009-05-12 03:55:05]
315*2^816030-1 is not prime.  Res64: F30FE941E69EF10A  Time : 937.0 sec.
user=vaughan
[2009-05-12 03:56:18]
327*2^816042-1 is not prime.  Res64: 63D79D264C02829D  Time : 938.0 sec.
user=vaughan
[2009-05-12 03:57:54]
345*2^815824-1 is not prime.  Res64: 0F42D1A2F8F89F43  Time : 8274.0 sec.
user=mdettweiler
[2009-05-12 03:58:14]
345*2^815946-1 is not prime.  Res64: 80293497AAE5D935  Time : 3972.0 sec.
user=mdettweiler
[2009-05-12 04:00:25]
321*2^815953-1 is not prime.  Res64: C7422C41CDA109AB  Time : 3979.0 sec.
user=mdettweiler
[2009-05-12 04:02:32]
339*2^815955-1 is not prime.  Res64: D2A216E43ED05494  Time : 3967.0 sec.
user=vaughan
[2009-05-12 04:04:22]
327*2^815841-1 is not prime.  Res64: 0B257CBF6636B6BE  Time : 8238.0 sec.
user=vaughan
[2009-05-12 04:05:07]
327*2^816048-1 is not prime.  Res64: 2D3E5A1743AC31FD  Time : 955.0 sec.
user=mdettweiler
[2009-05-12 04:05:37]
345*2^815959-1 is not prime.  Res64: F390668B66A722DB  Time : 3973.0 sec.
user=vaughan
[2009-05-12 04:06:21]
315*2^815845-1 is not prime.  Res64: 4E50B76364F22BB5  Time : 8251.0 sec.
user=vaughan
[2009-05-12 04:08:29]
339*2^815839-1 is not prime.  Res64: F9CD490CD91A46F4  Time : 8498.0 sec.
user=vaughan
[2009-05-12 04:10:43]
327*2^816061-1 is not prime.  Res64: 0F99101F4545D99F  Time : 938.0 sec.
user=mdettweiler
[2009-05-12 04:11:27]
327*2^815965-1 is not prime.  Res64: CB17D0F4857FCE16  Time : 3970.0 sec.
user=vaughan
[2009-05-12 04:11:42]
315*2^815851-1 is not prime.  Res64: 3D074BB4461671C8  Time : 8275.0 sec.
user=vaughan
[2009-05-12 04:11:55]
333*2^816063-1 is not prime.  Res64: AD62B9CC735A7E04  Time : 937.0 sec.
user=mdettweiler
[2009-05-12 04:13:40]
315*2^815966-1 is not prime.  Res64: 7FAC27C33B03F902  Time : 3978.0 sec.
user=mdettweiler
[2009-05-12 04:15:47]
315*2^815979-1 is not prime.  Res64: 13602E82C06A3355  Time : 3969.0 sec.
user=vaughan
[2009-05-12 04:18:07]
321*2^815865-1 is not prime.  Res64: 3A7FF86790ABE1DD  Time : 7926.0 sec.
user=mdettweiler
[2009-05-12 04:18:52]
339*2^815981-1 is not prime.  Res64: D12FE8C7E52928CE  Time : 3975.0 sec.
user=vaughan
[2009-05-12 04:20:05]
345*2^815865-1 is not prime.  Res64: 7C165A82A249B112  Time : 8000.0 sec.
user=vaughan
[2009-05-12 04:21:00]
315*2^816079-1 is not prime.  Res64: D0C4B224C72124E8  Time : 954.0 sec.
user=vaughan
[2009-05-12 04:22:37]
339*2^815857-1 is not prime.  Res64: AE68D41758A1BB5A  Time : 8205.0 sec.
user=mdettweiler
[2009-05-12 04:24:42]
321*2^815991-1 is not prime.  Res64: E6073C6F87390E9B  Time : 3971.0 sec.
user=vaughan
[2009-05-12 04:25:30]
315*2^815871-1 is not prime.  Res64: E17102D1474B4238  Time : 8274.0 sec.
user=vaughan
[2009-05-12 04:26:19]
345*2^816091-1 is not prime.  Res64: 9CC9D6F02E14DBC2  Time : 937.0 sec.
user=mdettweiler
[2009-05-12 04:26:55]
315*2^815992-1 is not prime.  Res64: 96EFB367F5B80CAA  Time : 3892.0 sec.
user=vaughan
[2009-05-12 04:27:32]
339*2^816107-1 is not prime.  Res64: 93BB2803F13D60D7  Time : 937.0 sec.
user=mdettweiler
[2009-05-12 04:29:00]
339*2^816001-1 is not prime.  Res64: 611E29AF9694A4D1  Time : 3968.0 sec.
user=vaughan
[2009-05-12 04:31:51]
345*2^815872-1 is not prime.  Res64: 210BECC401934A3A  Time : 8238.0 sec.
user=mdettweiler
[2009-05-12 04:32:07]
315*2^816012-1 is not prime.  Res64: D338CCCC900646D2  Time : 3975.0 sec.
user=vaughan
[2009-05-12 04:33:51]
339*2^815873-1 is not prime.  Res64: 93FE5D0940FF0CD6  Time : 8250.0 sec.
user=vaughan
[2009-05-12 04:36:46]
327*2^815873-1 is not prime.  Res64: 8DDE3C13B2EB5384  Time : 8497.0 sec.
user=vaughan
[2009-05-12 04:36:54]
327*2^816132-1 is not prime.  Res64: EAC08CD9476EA502  Time : 954.0 sec.
user=mdettweiler
[2009-05-12 04:37:56]
315*2^816014-1 is not prime.  Res64: 703EAF105D380A3D  Time : 3971.0 sec.
user=vaughan
[2009-05-12 04:39:18]
327*2^815880-1 is not prime.  Res64: 62AEDC1C505D8B4A  Time : 8275.0 sec.
user=mdettweiler
[2009-05-12 04:40:11]
333*2^816018-1 is not prime.  Res64: 735F6D4FDEF5C3EF  Time : 3974.0 sec.
user=vaughan
[2009-05-12 04:41:57]
339*2^816135-1 is not prime.  Res64: 33DAC986E7BC0FFB  Time : 938.0 sec.
user=mdettweiler
[2009-05-12 04:42:13]
339*2^816019-1 is not prime.  Res64: 633AEF30F269C9F0  Time : 3967.0 sec.
user=vaughan
[2009-05-12 04:43:10]
345*2^816136-1 is not prime.  Res64: F7C7EFC171DBD133  Time : 938.0 sec.
user=mdettweiler
[2009-05-12 04:45:23]
339*2^816029-1 is not prime.  Res64: BA07E7B3F7F3F4A1  Time : 3976.0 sec.
user=vaughan
[2009-05-12 04:45:34]
315*2^815887-1 is not prime.  Res64: 232F48383D5FEB7B  Time : 8238.0 sec.
user=vaughan
[2009-05-12 04:47:36]
333*2^815895-1 is not prime.  Res64: F7B8075762EB3F1D  Time : 8252.0 sec.
user=vaughan
[2009-05-12 04:50:58]
339*2^815889-1 is not prime.  Res64: 15ECA9647AD2A182  Time : 8499.0 sec.
user=mdettweiler
[2009-05-12 04:51:08]
321*2^816046-1 is not prime.  Res64: 383E6A8308C0B3FD  Time : 3968.0 sec.
user=vaughan
[2009-05-12 04:52:49]
339*2^816163-1 is not prime.  Res64: 4D01CB8FCB69C1F1  Time : 955.0 sec.
user=vaughan
[2009-05-12 04:53:05]
315*2^815906-1 is not prime.  Res64: 7FBC6ACEC249AF2A  Time : 8276.0 sec.
user=mdettweiler
[2009-05-12 04:53:26]
321*2^816047-1 is not prime.  Res64: FB4E33EB954B8746  Time : 3975.0 sec.
user=mdettweiler
[2009-05-12 04:55:28]
315*2^816050-1 is not prime.  Res64: 683C5606765FB1E0  Time : 3969.0 sec.
user=vaughan
[2009-05-12 04:57:34]
339*2^816181-1 is not prime.  Res64: 4A06CDC85B3ECE08  Time : 938.0 sec.
user=mdettweiler
[2009-05-12 04:58:38]
345*2^816051-1 is not prime.  Res64: 8420DF6A353715E9  Time : 3974.0 sec.
user=vaughan
[2009-05-12 04:58:47]
339*2^816187-1 is not prime.  Res64: BE3A554FD992E977  Time : 937.0 sec.
user=vaughan
[2009-05-12 04:59:17]
327*2^815913-1 is not prime.  Res64: D920DBFDA8CAF092  Time : 8237.0 sec.
user=vaughan
[2009-05-12 05:01:22]
339*2^815927-1 is not prime.  Res64: 1A3AACCE57E93D28  Time : 8252.0 sec.
user=mdettweiler
[2009-05-12 05:04:21]
327*2^816068-1 is not prime.  Res64: 7B7884B4EC4CE4CC  Time : 3967.0 sec.
user=vaughan
[2009-05-12 05:05:08]
327*2^815921-1 is not prime.  Res64: 714A9C9A61B8958C  Time : 8499.0 sec.
user=mdettweiler
[2009-05-12 05:06:41]
327*2^816072-1 is not prime.  Res64: F6A6136FB2AD32F1  Time : 3976.0 sec.
user=vaughan
[2009-05-12 05:06:52]
315*2^815940-1 is not prime.  Res64: 0D0D02D8DD1C3584  Time : 8273.0 sec.
user=mdettweiler
[2009-05-12 05:08:41]
345*2^816072-1 is not prime.  Res64: 59D189D1CCA59251  Time : 3969.0 sec.
user=vaughan
[2009-05-12 05:08:42]
339*2^816197-1 is not prime.  Res64: 785E761A93B71F05  Time : 954.0 sec.
user=mdettweiler
[2009-05-12 05:11:54]
339*2^816079-1 is not prime.  Res64: 95799A990C31404D  Time : 3977.0 sec.
user=vaughan
[2009-05-12 05:13:01]
315*2^815955-1 is not prime.  Res64: 8C5F32530FA1E178  Time : 8238.0 sec.
user=vaughan
[2009-05-12 05:13:11]
315*2^816208-1 is not prime.  Res64: E9E19760A1073C38  Time : 937.0 sec.
user=vaughan
[2009-05-12 05:14:25]
333*2^816210-1 is not prime.  Res64: DE3D2B4D2066B981  Time : 938.0 sec.
user=vaughan
[2009-05-12 05:15:06]
345*2^815955-1 is not prime.  Res64: 2DC523E4922961C1  Time : 8252.0 sec.
user=mdettweiler
[2009-05-12 05:17:33]
321*2^816105-1 is not prime.  Res64: 32822F4A49B7AA0C  Time : 3966.0 sec.
user=vaughan
[2009-05-12 05:19:18]
333*2^815958-1 is not prime.  Res64: E9831673ADC88F88  Time : 8499.0 sec.
user=mdettweiler
[2009-05-12 05:19:58]
333*2^816110-1 is not prime.  Res64: A6F0AAFF545D63B0  Time : 3978.0 sec.
user=vaughan
[2009-05-12 05:20:41]
339*2^815963-1 is not prime.  Res64: C0210986C27054F3  Time : 8275.0 sec.
user=mdettweiler
[2009-05-12 05:21:54]
339*2^816112-1 is not prime.  Res64: 6FB41E50A6A7989F  Time : 3967.0 sec.
user=vaughan
[2009-05-12 05:24:36]
339*2^816221-1 is not prime.  Res64: 79475A1AB485358F  Time : 954.0 sec.
user=mdettweiler
[2009-05-12 05:25:16]
333*2^816123-1 is not prime.  Res64: B07D45FB9A561973  Time : 3984.0 sec.
user=vaughan
[2009-05-12 05:26:46]
339*2^815969-1 is not prime.  Res64: DB34E0EF37BEB3C8  Time : 8240.0 sec.
user=vaughan
[2009-05-12 05:28:48]
339*2^816243-1 is not prime.  Res64: 1F93B25028B7F653  Time : 937.0 sec.
user=vaughan
[2009-05-12 05:28:53]
339*2^815979-1 is not prime.  Res64: 399B5002FECEF0A0  Time : 8253.0 sec.
user=vaughan
[2009-05-12 05:30:02]
315*2^816245-1 is not prime.  Res64: 7834ECADE106ACE0  Time : 937.0 sec.
user=mdettweiler
[2009-05-12 05:30:47]
333*2^816134-1 is not prime.  Res64: 02D65D3B6224FBEC  Time : 3965.0 sec.
user=mdettweiler
[2009-05-12 05:33:12]
339*2^816136-1 is not prime.  Res64: 0E8188ADB581B281  Time : 3977.0 sec.
user=vaughan
[2009-05-12 05:33:29]
345*2^815979-1 is not prime.  Res64: F7E753EF9C405E3F  Time : 8502.0 sec.
user=vaughan
[2009-05-12 05:34:30]
345*2^815982-1 is not prime.  Res64: D3F3FD39FF67050E  Time : 8277.0 sec.
user=mdettweiler
[2009-05-12 05:35:10]
321*2^816142-1 is not prime.  Res64: CC9F94E8DEB5B88D  Time : 3970.0 sec.
user=mdettweiler
[2009-05-12 05:38:25]
339*2^816153-1 is not prime.  Res64: 7EFC1DDFC653B86A  Time : 3978.0 sec.
user=vaughan
[2009-05-12 05:40:31]
339*2^816272-1 is not prime.  Res64: EBF4F4A0DE5E5930  Time : 955.0 sec.
user=vaughan
[2009-05-12 05:40:31]
327*2^816005-1 is not prime.  Res64: 6743252BBF8CB18C  Time : 8241.0 sec.
user=vaughan
[2009-05-12 05:42:38]
339*2^816011-1 is not prime.  Res64: 27FDD9AC34D69345  Time : 8253.0 sec.
user=mdettweiler
[2009-05-12 05:44:02]
327*2^816168-1 is not prime.  Res64: 39C6B0AB14E1BF6F  Time : 3966.0 sec.
user=vaughan
[2009-05-12 05:44:25]
339*2^816285-1 is not prime.  Res64: D4000D306FE4A675  Time : 937.0 sec.
user=vaughan
[2009-05-12 05:45:40]
315*2^816290-1 is not prime.  Res64: 9037AB98C42686E4  Time : 938.0 sec.
user=mdettweiler
[2009-05-12 05:46:28]
327*2^816176-1 is not prime.  Res64: 12A97F3D69780275  Time : 3977.0 sec.
user=vaughan
[2009-05-12 05:47:38]
327*2^816012-1 is not prime.  Res64: 5E5EB1E667CE0E0E  Time : 8499.0 sec.
user=vaughan
[2009-05-12 05:48:17]
345*2^816012-1 is not prime.  Res64: F8FB71BFFB7797B3  Time : 8277.0 sec.
user=mdettweiler
[2009-05-12 05:48:25]
333*2^816186-1 is not prime.  Res64: 3C63928FE570DEF2  Time : 3972.0 sec.
user=mdettweiler
[2009-05-12 05:51:40]
327*2^816188-1 is not prime.  Res64: 35DE67D17F6E3233  Time : 3977.0 sec.
user=vaughan
[2009-05-12 05:54:15]
315*2^816021-1 is not prime.  Res64: 4F777EAB808B7C23  Time : 8242.0 sec.
user=vaughan
[2009-05-12 05:56:24]
345*2^816024-1 is not prime.  Res64: 9B4DC501E2FBE83C  Time : 8254.0 sec.
user=vaughan
[2009-05-12 05:56:25]
315*2^816309-1 is not prime.  Res64: B7C59FFB455ECF53  Time : 955.0 sec.
user=mdettweiler
[2009-05-12 05:57:13]
327*2^816196-1 is not prime.  Res64: 6A87C23CF1E51456  Time : 3965.0 sec.
user=mdettweiler
[2009-05-12 05:59:43]
345*2^816202-1 is not prime.  Res64: BA6BEC352B4D4036  Time : 3978.0 sec.
user=vaughan
[2009-05-12 06:00:02]
333*2^816323-1 is not prime.  Res64: FFA9C2341296F654  Time : 937.0 sec.
user=vaughan
[2009-05-12 06:01:18]
333*2^816326-1 is not prime.  Res64: E8C8738B2DA8561D  Time : 939.0 sec.
user=mdettweiler
[2009-05-12 06:01:40]
315*2^816205-1 is not prime.  Res64: 43A5630BE48B92A8  Time : 3972.0 sec.
user=vaughan
[2009-05-12 06:01:47]
339*2^816037-1 is not prime.  Res64: 477CCD091F860B23  Time : 8499.0 sec.
user=vaughan
[2009-05-12 06:02:05]
315*2^816046-1 is not prime.  Res64: 7294E3D3B3B06F00  Time : 8278.0 sec.
user=mdettweiler
[2009-05-12 06:04:56]
315*2^816210-1 is not prime.  Res64: 5CD87DB592E734DA  Time : 3978.0 sec.
user=vaughan
[2009-05-12 06:07:59]
339*2^816051-1 is not prime.  Res64: 74851297EE7A36D7  Time : 8242.0 sec.
user=vaughan
[2009-05-12 06:10:10]
321*2^816053-1 is not prime.  Res64: B622E05A2C10AD21  Time : 8254.0 sec.
user=mdettweiler
[2009-05-12 06:10:28]
315*2^816214-1 is not prime.  Res64: 38DBDEB80F80D550  Time : 3967.0 sec.
user=vaughan
[2009-05-12 06:12:20]
321*2^816350-1 is not prime.  Res64: 59344032EEE30604  Time : 955.0 sec.
user=mdettweiler
[2009-05-12 06:12:59]
339*2^816219-1 is not prime.  Res64: 303C5C180FF00C76  Time : 3978.0 sec.
user=mdettweiler
[2009-05-12 06:14:54]
327*2^816221-1 is not prime.  Res64: 4238880529324670  Time : 3973.0 sec.
user=vaughan
[2009-05-12 06:15:40]
333*2^816354-1 is not prime.  Res64: 66608EA2D0B2AE8F  Time : 938.0 sec.
user=vaughan
[2009-05-12 06:15:52]
339*2^816065-1 is not prime.  Res64: FEB1EE529F7FEE6A  Time : 8278.0 sec.
user=vaughan
[2009-05-12 06:15:59]
345*2^816055-1 is not prime.  Res64: 0BF82D330ED3894E  Time : 8502.0 sec.
user=vaughan
[2009-05-12 06:16:55]
321*2^816358-1 is not prime.  Res64: FA3B9A1494B35653  Time : 937.0 sec.
user=mdettweiler
[2009-05-12 06:18:11]
321*2^816238-1 is not prime.  Res64: F37EE5C849BBCA66  Time : 3977.0 sec.
user=vaughan
[2009-05-12 06:21:44]
327*2^816074-1 is not prime.  Res64: E4B9566A23BA1FE4  Time : 8242.0 sec.
user=mdettweiler
[2009-05-12 06:23:43]
315*2^816259-1 is not prime.  Res64: 4C5B642927783F4A  Time : 3970.0 sec.
user=vaughan
[2009-05-12 06:23:55]
315*2^816082-1 is not prime.  Res64: A74D4CE1D6758E40  Time : 8255.0 sec.
user=mdettweiler
[2009-05-12 06:26:12]
333*2^816267-1 is not prime.  Res64: 40D76D568EB774EC  Time : 3974.0 sec.
user=mdettweiler
[2009-05-12 06:28:08]
321*2^816271-1 is not prime.  Res64: B2393628DB1C5C31  Time : 3974.0 sec.
user=vaughan
[2009-05-12 06:28:15]
327*2^816369-1 is not prime.  Res64: B89B511FEC0936AE  Time : 955.0 sec.
user=vaughan
[2009-05-12 06:29:40]
315*2^816107-1 is not prime.  Res64: 4BE95FD9B36B704A  Time : 8279.0 sec.
user=vaughan
[2009-05-12 06:30:08]
327*2^816088-1 is not prime.  Res64: 6DD83DCB06877662  Time : 8499.0 sec.
user=vaughan
[2009-05-12 06:31:16]
339*2^816379-1 is not prime.  Res64: 8D5BA789D0D2C274  Time : 937.0 sec.
user=mdettweiler
[2009-05-12 06:31:26]
327*2^816273-1 is not prime.  Res64: A264675A4DBEC43C  Time : 3970.0 sec.
user=vaughan
[2009-05-12 06:32:33]
321*2^816381-1 is not prime.  Res64: 8CEC58711C7E4057  Time : 938.0 sec.
user=vaughan
[2009-05-12 06:35:28]
333*2^816116-1 is not prime.  Res64: 6B4E19CDA7AF2AF5  Time : 8242.0 sec.
user=mdettweiler
[2009-05-12 06:36:59]
333*2^816294-1 is not prime.  Res64: 9E5B4416D262C7AB  Time : 3972.0 sec.
user=vaughan
[2009-05-12 06:37:42]
327*2^816125-1 is not prime.  Res64: BDB498DCFE5C3A49  Time : 8257.0 sec.
user=mdettweiler
[2009-05-12 06:39:27]
333*2^816296-1 is not prime.  Res64: 970BA4E1D55E66B8  Time : 3975.0 sec.
user=mdettweiler
[2009-05-12 06:41:24]
327*2^816306-1 is not prime.  Res64: F3A8D70496387BF6  Time : 3974.0 sec.
user=vaughan
[2009-05-12 06:43:28]
333*2^816135-1 is not prime.  Res64: E7A149AD13BE1AF0  Time : 8278.0 sec.
user=vaughan
[2009-05-12 06:44:10]
339*2^816397-1 is not prime.  Res64: 15CAB253D81F8221  Time : 955.0 sec.
user=vaughan
[2009-05-12 06:44:19]
315*2^816134-1 is not prime.  Res64: BC0E65CD5128F0BC  Time : 8503.0 sec.
user=mdettweiler
[2009-05-12 06:44:41]
345*2^816307-1 is not prime.  Res64: 6D4549D180434AA5  Time : 3976.0 sec.
user=vaughan
[2009-05-12 06:46:53]
321*2^816402-1 is not prime.  Res64: 68BA7447A815BB61  Time : 937.0 sec.
user=vaughan
[2009-05-12 06:48:11]
321*2^816406-1 is not prime.  Res64: 4FEB3AA8DA0BCF3F  Time : 938.0 sec.
user=vaughan
[2009-05-12 06:49:13]
333*2^816147-1 is not prime.  Res64: 6349DD7DD38DEAD3  Time : 8242.0 sec.
user=mdettweiler
[2009-05-12 06:50:12]
327*2^816321-1 is not prime.  Res64: C29D891D1DB3A102  Time : 3970.0 sec.
user=vaughan
[2009-05-12 06:51:27]
315*2^816155-1 is not prime.  Res64: 05B70AC6C3FE1B97  Time : 8256.0 sec.
user=mdettweiler
[2009-05-12 06:52:42]
345*2^816327-1 is not prime.  Res64: 5E3551FE3589E330  Time : 3974.0 sec.
user=mdettweiler
[2009-05-12 06:54:37]
333*2^816339-1 is not prime.  Res64: 29EBED592F1CEB67  Time : 3972.0 sec.
user=vaughan
[2009-05-12 06:57:16]
315*2^816171-1 is not prime.  Res64: 4CF3C6FF9364F049  Time : 8279.0 sec.
user=mdettweiler
[2009-05-12 06:57:59]
321*2^816342-1 is not prime.  Res64: BCCE6218EEC410CD  Time : 3979.0 sec.
user=vaughan
[2009-05-12 06:58:28]
315*2^816158-1 is not prime.  Res64: 8317F0DB504B3A70  Time : 8502.0 sec.
user=vaughan
[2009-05-12 07:00:05]
339*2^816427-1 is not prime.  Res64: 47AE22359D9EE7D6  Time : 955.0 sec.
user=vaughan
[2009-05-12 07:02:31]
327*2^816432-1 is not prime.  Res64: 9086995B48D29ACA  Time : 938.0 sec.
user=vaughan
[2009-05-12 07:02:57]
315*2^816189-1 is not prime.  Res64: 9C2636F03FE50F73  Time : 8243.0 sec.
user=mdettweiler
[2009-05-12 07:03:27]
333*2^816350-1 is not prime.  Res64: DE2F2CF0A5830A6C  Time : 3974.0 sec.
user=vaughan
[2009-05-12 07:03:49]
315*2^816434-1 is not prime.  Res64: C48858CA30BF09CD  Time : 939.0 sec.
user=vaughan
[2009-05-12 07:05:13]
321*2^816190-1 is not prime.  Res64: 463BBE939095BEB8  Time : 8257.0 sec.
user=mdettweiler
[2009-05-12 07:05:57]
333*2^816351-1 is not prime.  Res64: E2E3A14B0B0169BC  Time : 3974.0 sec.
user=mdettweiler
[2009-05-12 07:07:52]
327*2^816361-1 is not prime.  Res64: 9D39D4F9F257D654  Time : 3972.0 sec.
user=vaughan
[2009-05-12 07:11:03]
333*2^816200-1 is not prime.  Res64: 6594A19AFD5EC2B8  Time : 8278.0 sec.
user=mdettweiler
[2009-05-12 07:11:14]
321*2^816365-1 is not prime.  Res64: AEA0CB271435794A  Time : 3978.0 sec.
user=vaughan
[2009-05-12 07:12:40]
345*2^816195-1 is not prime.  Res64: 5DAF33931BFE9082  Time : 8503.0 sec.
user=vaughan
[2009-05-12 07:16:00]
321*2^816446-1 is not prime.  Res64: F9103D5E93D77AE0  Time : 955.0 sec.
user=vaughan
[2009-05-12 07:16:42]
315*2^816211-1 is not prime.  Res64: B5D9F002A00FECB0  Time : 8245.0 sec.
user=mdettweiler
[2009-05-12 07:16:42]
327*2^816368-1 is not prime.  Res64: 8620421F5E32E3F5  Time : 3974.0 sec.
user=vaughan
[2009-05-12 07:18:08]
321*2^816447-1 is not prime.  Res64: FBDACB0B968DCEE4  Time : 938.0 sec.
user=vaughan
[2009-05-12 07:18:59]
327*2^816213-1 is not prime.  Res64: 9039C064FDA1E12D  Time : 8257.0 sec.
user=mdettweiler
[2009-05-12 07:19:13]
321*2^816370-1 is not prime.  Res64: ECDCEBFBA996FA6F  Time : 3974.0 sec.
user=vaughan
[2009-05-12 07:19:26]
333*2^816456-1 is not prime.  Res64: 1BC29D4DD38FBFAB  Time : 938.0 sec.
user=mdettweiler
[2009-05-12 07:21:06]
333*2^816371-1 is not prime.  Res64: 957046B7F2D042F5  Time : 3972.0 sec.
user=mdettweiler
[2009-05-12 07:24:30]
321*2^816386-1 is not prime.  Res64: FAD165FF26275415  Time : 3979.0 sec.
user=vaughan
[2009-05-12 07:24:50]
327*2^816220-1 is not prime.  Res64: 66CB0ACB156C131F  Time : 8278.0 sec.
user=vaughan
[2009-05-12 07:26:49]
321*2^816214-1 is not prime.  Res64: B125E64574F6B4DC  Time : 8501.0 sec.
user=mdettweiler
[2009-05-12 07:29:57]
315*2^816388-1 is not prime.  Res64: C308E20C92F706E5  Time : 3974.0 sec.
user=vaughan
[2009-05-12 07:30:27]
333*2^816240-1 is not prime.  Res64: B2B525804E9F4277  Time : 8246.0 sec.
user=vaughan
[2009-05-12 07:31:55]
321*2^816471-1 is not prime.  Res64: AECBE736AB3D653E  Time : 955.0 sec.
user=mdettweiler
[2009-05-12 07:32:30]
345*2^816391-1 is not prime.  Res64: FFE954E3F4C57830  Time : 3978.0 sec.
user=vaughan
[2009-05-12 07:32:44]
327*2^816249-1 is not prime.  Res64: BF0E7BF42275E698  Time : 8258.0 sec.
user=vaughan
[2009-05-12 07:33:45]
327*2^816481-1 is not prime.  Res64: 747A1171D93C17EF  Time : 937.0 sec.
user=mdettweiler
[2009-05-12 07:34:18]
333*2^816395-1 is not prime.  Res64: 066DDC71F54E5D61  Time : 3970.0 sec.
user=vaughan
[2009-05-12 07:35:04]
315*2^816487-1 is not prime.  Res64: 7D31AB69A5BA6678  Time : 938.0 sec.
user=mdettweiler
[2009-05-12 07:37:46]
339*2^816405-1 is not prime.  Res64: 76E6BB2F8B5604BB  Time : 3980.0 sec.
user=vaughan
[2009-05-12 07:38:38]
315*2^816271-1 is not prime.  Res64: 6B2579844E39F876  Time : 8277.0 sec.
user=vaughan
[2009-05-12 07:41:00]
315*2^816267-1 is not prime.  Res64: E963BD22B961865D  Time : 8502.0 sec.
user=mdettweiler
[2009-05-12 07:43:11]
327*2^816420-1 is not prime.  Res64: 94DF97D78458457B  Time : 3972.0 sec.
user=vaughan
[2009-05-12 07:44:12]
315*2^816276-1 is not prime.  Res64: 34D3769759DB12F9  Time : 8247.0 sec.
user=mdettweiler
[2009-05-12 07:45:46]
333*2^816423-1 is not prime.  Res64: 3BA2F3CAD7E8A1EA  Time : 3979.0 sec.
user=vaughan
[2009-05-12 07:46:31]
321*2^816286-1 is not prime.  Res64: F5F71741CE039CB6  Time : 8258.0 sec.
user=mdettweiler
[2009-05-12 07:47:33]
315*2^816424-1 is not prime.  Res64: B14FEC939AB0423F  Time : 3969.0 sec.
user=vaughan
[2009-05-12 07:47:50]
327*2^816504-1 is not prime.  Res64: 260FB0CC5C470D98  Time : 955.0 sec.
user=vaughan
[2009-05-12 07:49:22]
345*2^816514-1 is not prime.  Res64: 79AB1AB46C2683D6  Time : 937.0 sec.
user=vaughan
[2009-05-12 07:50:42]
345*2^816516-1 is not prime.  Res64: 9B3E95F0893E68E9  Time : 938.0 sec.
user=mdettweiler
[2009-05-12 07:51:00]
333*2^816431-1 is not prime.  Res64: F58FF93AFF57469C  Time : 3979.0 sec.
user=vaughan
[2009-05-12 07:52:25]
345*2^816304-1 is not prime.  Res64: B5B97C2981769255  Time : 8276.0 sec.
user=vaughan
[2009-05-12 07:55:09]
327*2^816304-1 is not prime.  Res64: 8DCA6F369FBC0374  Time : 8500.0 sec.
user=mdettweiler
[2009-05-12 07:56:25]
333*2^816435-1 is not prime.  Res64: 683C49FF740AA533  Time : 3973.0 sec.
user=vaughan
[2009-05-12 07:57:57]
339*2^816315-1 is not prime.  Res64: A20F0AF5593E8985  Time : 8247.0 sec.
user=mdettweiler
[2009-05-12 07:59:03]
345*2^816436-1 is not prime.  Res64: B892BE1FD2A9FBAF  Time : 3981.0 sec.
user=vaughan
[2009-05-12 08:00:15]
345*2^816319-1 is not prime.  Res64: E8558E077619F9C4  Time : 8257.0 sec.
user=mdettweiler
[2009-05-12 08:00:46]
333*2^816438-1 is not prime.  Res64: 896AF56793D37ED0  Time : 3969.0 sec.
user=vaughan
[2009-05-12 08:03:44]
321*2^816530-1 is not prime.  Res64: 4368E68C10AD5E9E  Time : 955.0 sec.
user=mdettweiler
[2009-05-12 08:04:17]
327*2^816445-1 is not prime.  Res64: A087FB4ACF7F3093  Time : 3978.0 sec.
user=vaughan
[2009-05-12 08:04:58]
315*2^816531-1 is not prime.  Res64: E48C752D205C1E33  Time : 937.0 sec.
user=vaughan
[2009-05-12 08:06:12]
315*2^816336-1 is not prime.  Res64: F26F307E5966DFAE  Time : 8275.0 sec.
user=vaughan
[2009-05-12 08:06:20]
345*2^816532-1 is not prime.  Res64: CB16463A501F545E  Time : 938.0 sec.
user=vaughan
[2009-05-12 08:09:20]
339*2^816331-1 is not prime.  Res64: FF5C57EEF157355D  Time : 8502.0 sec.
user=mdettweiler
[2009-05-12 08:09:42]
327*2^816456-1 is not prime.  Res64: 2C063C53B11BE142  Time : 3975.0 sec.
user=vaughan
[2009-05-12 08:11:41]
345*2^816345-1 is not prime.  Res64: 2A9CFDD4C53F42C9  Time : 8246.0 sec.
user=mdettweiler
[2009-05-12 08:12:16]
339*2^816461-1 is not prime.  Res64: D5A5F1E4DB73226A  Time : 3979.0 sec.
user=vaughan
[2009-05-12 08:14:01]
339*2^816349-1 is not prime.  Res64: A7082AC9C4699A12  Time : 8257.0 sec.
user=mdettweiler
[2009-05-12 08:14:02]
315*2^816462-1 is not prime.  Res64: 35FA5031C52BC6E6  Time : 3970.0 sec.
user=mdettweiler
[2009-05-12 08:17:33]
321*2^816466-1 is not prime.  Res64: 5D2824A2BE6DD7F5  Time : 3979.0 sec.
user=vaughan
[2009-05-12 08:19:38]
321*2^816551-1 is not prime.  Res64: A29EAAD953D0223F  Time : 954.0 sec.
user=vaughan
[2009-05-12 08:19:58]
345*2^816364-1 is not prime.  Res64: 103E8988F4D22F78  Time : 8273.0 sec.
user=vaughan
[2009-05-12 08:20:36]
321*2^816565-1 is not prime.  Res64: FDA2E17313A6DF88  Time : 938.0 sec.
user=vaughan
[2009-05-12 08:21:59]
333*2^816575-1 is not prime.  Res64: 6AB2FF7F9B739E3C  Time : 939.0 sec.
user=mdettweiler
[2009-05-12 08:22:56]
315*2^816474-1 is not prime.  Res64: 1A8C4498DFA05616  Time : 3974.0 sec.
user=vaughan
[2009-05-12 08:23:30]
315*2^816364-1 is not prime.  Res64: 42E19BF373AD183C  Time : 8503.0 sec.
user=vaughan
[2009-05-12 08:25:25]
315*2^816367-1 is not prime.  Res64: B7ECE48E151D0932  Time : 8246.0 sec.
user=mdettweiler
[2009-05-12 08:25:32]
345*2^816484-1 is not prime.  Res64: 408C011E507CA4F7  Time : 3979.0 sec.
user=mdettweiler
[2009-05-12 08:27:18]
339*2^816495-1 is not prime.  Res64: F529CF49A7A9120B  Time : 3972.0 sec.
user=vaughan
[2009-05-12 08:27:47]
345*2^816367-1 is not prime.  Res64: C4A4402E0BBBF9E3  Time : 8258.0 sec.
user=mdettweiler
[2009-05-12 08:30:49]
345*2^816495-1 is not prime.  Res64: 93170A4533B002F2  Time : 3979.0 sec.
user=vaughan
[2009-05-12 08:33:47]
333*2^816380-1 is not prime.  Res64: 50F124F6FFC6782A  Time : 8275.0 sec.
user=vaughan
[2009-05-12 08:35:33]
333*2^816594-1 is not prime.  Res64: E9835B074FA72B6A  Time : 955.0 sec.
user=mdettweiler
[2009-05-12 08:36:08]
327*2^816500-1 is not prime.  Res64: 2D197BE38EA5737D  Time : 3971.0 sec.
user=vaughan
[2009-05-12 08:36:13]
315*2^816599-1 is not prime.  Res64: B3B70775D96B713D  Time : 938.0 sec.
user=vaughan
[2009-05-12 08:37:37]
333*2^816600-1 is not prime.  Res64: F495CD8FEF285EBB  Time : 938.0 sec.
user=vaughan
[2009-05-12 08:37:40]
315*2^816381-1 is not prime.  Res64: B3607DEF85B48D57  Time : 8502.0 sec.
user=mdettweiler
[2009-05-12 08:38:48]
327*2^816506-1 is not prime.  Res64: 23A4BCB71041BA42  Time : 3978.0 sec.
user=vaughan
[2009-05-12 08:39:10]
315*2^816387-1 is not prime.  Res64: 9C5A2968DE5CDFDE  Time : 8247.0 sec.
user=mdettweiler
[2009-05-12 08:40:33]
339*2^816515-1 is not prime.  Res64: FE41D2633845CE41  Time : 3975.0 sec.
user=vaughan
[2009-05-12 08:41:33]
315*2^816390-1 is not prime.  Res64: 70173D7E72E3A574  Time : 8258.0 sec.
user=mdettweiler
[2009-05-12 08:44:05]
339*2^816519-1 is not prime.  Res64: 6A0D84AFA2DA1CBD  Time : 3979.0 sec.
user=vaughan
[2009-05-12 08:47:34]
345*2^816399-1 is not prime.  Res64: D0C69E0A5070B667  Time : 8274.0 sec.
user=mdettweiler
[2009-05-12 08:49:23]
339*2^816523-1 is not prime.  Res64: 9F9DFCF2EB50C14C  Time : 3972.0 sec.
user=vaughan
[2009-05-12 08:51:27]
327*2^816629-1 is not prime.  Res64: D59A3E8E333A602D  Time : 954.0 sec.
user=vaughan
[2009-05-12 08:51:50]
345*2^816631-1 is not prime.  Res64: 5EE98969C862E07F  Time : 938.0 sec.
user=vaughan
[2009-05-12 08:51:50]
327*2^816400-1 is not prime.  Res64: 66A3EEF338E99A57  Time : 8502.0 sec.
user=mdettweiler
[2009-05-12 08:52:04]
321*2^816527-1 is not prime.  Res64: F520A91ADD03297F  Time : 3978.0 sec.
user=vaughan
[2009-05-12 08:52:55]
333*2^816410-1 is not prime.  Res64: 2D358D94F8E44A64  Time : 8247.0 sec.
user=vaughan
[2009-05-12 08:53:16]
339*2^816632-1 is not prime.  Res64: 1E67058175FA688B  Time : 939.0 sec.
user=mdettweiler
[2009-05-12 08:53:46]
315*2^816530-1 is not prime.  Res64: F8C9AE77EE87C00D  Time : 3974.0 sec.
user=vaughan
[2009-05-12 08:55:20]
315*2^816421-1 is not prime.  Res64: 30DA33D8C2B37DAF  Time : 8258.0 sec.
user=mdettweiler
[2009-05-12 08:57:20]
333*2^816534-1 is not prime.  Res64: 41B27F9717E3B024  Time : 3980.0 sec.
user=vaughan
[2009-05-12 09:01:23]
315*2^816426-1 is not prime.  Res64: CB10B2CAF112F38A  Time : 8276.0 sec.
user=mdettweiler
[2009-05-12 09:02:38]
327*2^816538-1 is not prime.  Res64: 38BDA3BF3903E9F6  Time : 3973.0 sec.
user=mdettweiler
[2009-05-12 09:05:19]
339*2^816541-1 is not prime.  Res64: 3E88ABDDEF10C6C5  Time : 3976.0 sec.
user=vaughan
[2009-05-12 09:06:01]
327*2^816429-1 is not prime.  Res64: EA233EE7076145FC  Time : 8502.0 sec.
user=vaughan
[2009-05-12 09:06:38]
315*2^816435-1 is not prime.  Res64: 08D41195E6489EC6  Time : 8245.0 sec.
user=mdettweiler
[2009-05-12 09:07:02]
327*2^816549-1 is not prime.  Res64: 18DDD25AE8E88982  Time : 3976.0 sec.
user=vaughan
[2009-05-12 09:07:22]
327*2^816668-1 is not prime.  Res64: 9F6BEA6DF1DA5BAA  Time : 955.0 sec.
user=vaughan
[2009-05-12 09:07:27]
345*2^816669-1 is not prime.  Res64: D24BFCAF1116506F  Time : 938.0 sec.
user=vaughan
[2009-05-12 09:08:54]
327*2^816674-1 is not prime.  Res64: 66688F7E720A2B71  Time : 938.0 sec.
user=vaughan
[2009-05-12 09:09:06]
339*2^816435-1 is not prime.  Res64: 9D54F42B69E73413  Time : 8259.0 sec.
user=mdettweiler
[2009-05-12 09:10:37]
327*2^816564-1 is not prime.  Res64: 904E0C5AB6A06C18  Time : 3980.0 sec.
user=vaughan
[2009-05-12 09:15:10]
315*2^816442-1 is not prime.  Res64: A4BD3719F73D04FF  Time : 8274.0 sec.
user=mdettweiler
[2009-05-12 09:15:53]
321*2^816581-1 is not prime.  Res64: 0AC84DA233226B9A  Time : 3972.0 sec.
user=mdettweiler
[2009-05-12 09:18:33]
315*2^816586-1 is not prime.  Res64: 92DA80AE00ECF3C9  Time : 3977.0 sec.
user=vaughan
[2009-05-12 09:20:11]
315*2^816446-1 is not prime.  Res64: 47BBF642E377A5A8  Time : 8503.0 sec.
user=mdettweiler
[2009-05-12 09:20:18]
315*2^816590-1 is not prime.  Res64: 2BD60EDD29267068  Time : 3976.0 sec.
user=vaughan
[2009-05-12 09:20:23]
339*2^816455-1 is not prime.  Res64: 1E21CC1EE3EF3BD5  Time : 8246.0 sec.
user=vaughan
[2009-05-12 09:22:51]
321*2^816457-1 is not prime.  Res64: CBD842DF536937B8  Time : 8258.0 sec.
user=vaughan
[2009-05-12 09:23:05]
315*2^816695-1 is not prime.  Res64: 43BD5C77BABC9361  Time : 938.0 sec.
user=vaughan
[2009-05-12 09:23:17]
339*2^816693-1 is not prime.  Res64: 2374E47E9DE0C914  Time : 956.0 sec.
user=mdettweiler
[2009-05-12 09:23:51]
321*2^816593-1 is not prime.  Res64: 889F42E373A2A1A3  Time : 3978.0 sec.
user=vaughan
[2009-05-12 09:24:32]
315*2^816696-1 is not prime.  Res64: 2C3178853857AA7B  Time : 938.0 sec.
user=vaughan
[2009-05-12 09:28:58]
321*2^816462-1 is not prime.  Res64: 0EF29818EFB43DAD  Time : 8275.0 sec.
user=mdettweiler
[2009-05-12 09:29:09]
345*2^816600-1 is not prime.  Res64: 8C8F0B94CE575381  Time : 3973.0 sec.
user=mdettweiler
[2009-05-12 09:31:51]
333*2^816618-1 is not prime.  Res64: C4021936D63CA7E2  Time : 3979.0 sec.
user=mdettweiler
[2009-05-12 09:33:33]
321*2^816621-1 is not prime.  Res64: 8A16F072C2BF7F3A  Time : 3975.0 sec.
user=vaughan
[2009-05-12 09:34:08]
315*2^816472-1 is not prime.  Res64: 264E497BA96C15C4  Time : 8246.0 sec.
user=vaughan
[2009-05-12 09:34:21]
315*2^816467-1 is not prime.  Res64: 574BF7E0D6825B80  Time : 8501.0 sec.
user=vaughan
[2009-05-12 09:36:38]
315*2^816484-1 is not prime.  Res64: 3492D041E9DCE89E  Time : 8260.0 sec.
user=mdettweiler
[2009-05-12 09:37:06]
315*2^816622-1 is not prime.  Res64: D0CC3282A38A2020  Time : 3978.0 sec.
user=vaughan
[2009-05-12 09:38:43]
345*2^816739-1 is not prime.  Res64: DEB6E9F203931BD0  Time : 939.0 sec.
user=vaughan
[2009-05-12 09:39:11]
333*2^816740-1 is not prime.  Res64: 24FA13AE327B34B5  Time : 955.0 sec.
user=vaughan
[2009-05-12 09:40:10]
327*2^816741-1 is not prime.  Res64: C4E43D81B0949158  Time : 938.0 sec.
user=mdettweiler
[2009-05-12 09:42:24]
339*2^816631-1 is not prime.  Res64: 7A3D2E532D4D4A5E  Time : 3976.0 sec.
user=vaughan
[2009-05-12 09:42:47]
315*2^816498-1 is not prime.  Res64: 5AE330C33A456D8E  Time : 8277.0 sec.
user=mdettweiler
[2009-05-12 09:45:08]
321*2^816637-1 is not prime.  Res64: A0BA2AE71689E9B6  Time : 3980.0 sec.
user=mdettweiler
[2009-05-12 09:46:47]
315*2^816642-1 is not prime.  Res64: 8575B09E1C671591  Time : 3974.0 sec.
user=vaughan
[2009-05-12 09:47:53]
321*2^816502-1 is not prime.  Res64: 173273A074E5CEC7  Time : 8246.0 sec.
user=vaughan
[2009-05-12 09:48:33]
315*2^816499-1 is not prime.  Res64: 93649986F5140866  Time : 8504.0 sec.
user=mdettweiler
[2009-05-12 09:50:20]
345*2^816651-1 is not prime.  Res64: 880A9721A7C2D711  Time : 3975.0 sec.
user=vaughan
[2009-05-12 09:50:24]
321*2^816511-1 is not prime.  Res64: DB712DDFB08042C8  Time : 8260.0 sec.
user=vaughan
[2009-05-12 09:54:20]
345*2^816756-1 is not prime.  Res64: 24FE334EE0FBD3A4  Time : 938.0 sec.
user=vaughan
[2009-05-12 09:55:06]
315*2^816758-1 is not prime.  Res64: F733A443DA7D5E5E  Time : 955.0 sec.
user=mdettweiler
[2009-05-12 09:55:39]
321*2^816658-1 is not prime.  Res64: A730EE899C4C61E3  Time : 3977.0 sec.
user=vaughan
[2009-05-12 09:55:48]
315*2^816759-1 is not prime.  Res64: B53C0C25C97481BC  Time : 938.0 sec.
user=vaughan
[2009-05-12 09:56:34]
327*2^816520-1 is not prime.  Res64: A925BE1B63A88B61  Time : 8276.0 sec.
user=mdettweiler
[2009-05-12 09:58:23]
315*2^816672-1 is not prime.  Res64: 95C18C9A9F63CA5D  Time : 3979.0 sec.
user=mdettweiler
[2009-05-12 10:00:05]
339*2^816677-1 is not prime.  Res64: C3940AD502C8A352  Time : 3979.0 sec.
user=vaughan
[2009-05-12 10:01:38]
321*2^816526-1 is not prime.  Res64: 0C45499794B0FD7E  Time : 8246.0 sec.
user=vaughan
[2009-05-12 10:02:43]
321*2^816521-1 is not prime.  Res64: C42FFDD3711ADCA8  Time : 8504.0 sec.
user=mdettweiler
[2009-05-12 10:03:35]
333*2^816684-1 is not prime.  Res64: 506D25D10D648B4A  Time : 3976.0 sec.
user=vaughan
[2009-05-12 10:04:11]
327*2^816529-1 is not prime.  Res64: F2A3DF18B0ECD826  Time : 8260.0 sec.
user=mdettweiler
[2009-05-12 10:08:52]
339*2^816685-1 is not prime.  Res64: C5B7F48F165C56BB  Time : 3974.0 sec.
user=vaughan
[2009-05-12 10:09:57]
327*2^816773-1 is not prime.  Res64: 3F3686958EA0330C  Time : 937.0 sec.
user=vaughan
[2009-05-12 10:10:22]
339*2^816536-1 is not prime.  Res64: E226249F0E1B6697  Time : 8278.0 sec.
user=vaughan
[2009-05-12 10:11:01]
321*2^816774-1 is not prime.  Res64: 52BB644021ECF843  Time : 955.0 sec.
user=vaughan
[2009-05-12 10:11:26]
321*2^816777-1 is not prime.  Res64: BA5C75ECFBEF36B1  Time : 938.0 sec.
user=mdettweiler
[2009-05-12 10:11:42]
333*2^816686-1 is not prime.  Res64: 125272FBDEE1FB36  Time : 3983.0 sec.
user=mdettweiler
[2009-05-12 10:13:19]
345*2^816691-1 is not prime.  Res64: 63955D2F3E123025  Time : 3977.0 sec.
user=vaughan
[2009-05-12 10:15:24]
327*2^816541-1 is not prime.  Res64: F5F35AC34356CA3C  Time : 8247.0 sec.
user=mdettweiler
[2009-05-12 10:16:49]
327*2^816708-1 is not prime.  Res64: 790933815473E2B7  Time : 3972.0 sec.
user=vaughan
[2009-05-12 10:16:53]
345*2^816537-1 is not prime.  Res64: A7081E294C33EBF7  Time : 8504.0 sec.
user=vaughan
[2009-05-12 10:17:58]
315*2^816542-1 is not prime.  Res64: B781DC2B84D5C663  Time : 8263.0 sec.
user=mdettweiler
[2009-05-12 10:22:08]
327*2^816713-1 is not prime.  Res64: DF154357497566E1  Time : 3975.0 sec.
user=vaughan
[2009-05-12 10:24:11]
315*2^816567-1 is not prime.  Res64: 6F04777FC383AE9E  Time : 8279.0 sec.
user=mdettweiler
[2009-05-12 10:24:57]
321*2^816721-1 is not prime.  Res64: 6B985C71CA8E684E  Time : 3984.0 sec.
user=vaughan
[2009-05-12 10:25:36]
339*2^816791-1 is not prime.  Res64: 2E9ECE6044C402B4  Time : 939.0 sec.
user=mdettweiler
[2009-05-12 10:26:34]
339*2^816735-1 is not prime.  Res64: BD0580899B2A262D  Time : 3976.0 sec.
user=vaughan
[2009-05-12 10:26:56]
333*2^816800-1 is not prime.  Res64: 13220A02C92FAC9C  Time : 955.0 sec.
user=vaughan
[2009-05-12 10:27:04]
327*2^816801-1 is not prime.  Res64: 3D4956D5951978D3  Time : 938.0 sec.
user=vaughan
[2009-05-12 10:29:09]
327*2^816581-1 is not prime.  Res64: B08E896B996055FF  Time : 8248.0 sec.
user=mdettweiler
[2009-05-12 10:30:06]
321*2^816741-1 is not prime.  Res64: 6CEA11894157520E  Time : 3976.0 sec.
user=vaughan
[2009-05-12 10:31:04]
327*2^816578-1 is not prime.  Res64: 600E7C208E75C547  Time : 8505.0 sec.
user=vaughan
[2009-05-12 10:31:44]
315*2^816587-1 is not prime.  Res64: D996848E47439474  Time : 8263.0 sec.
user=mdettweiler
[2009-05-12 10:35:21]
327*2^816744-1 is not prime.  Res64: 7D8965DFBAD572A2  Time : 3972.0 sec.
user=vaughan
[2009-05-12 10:37:58]
345*2^816597-1 is not prime.  Res64: 4574C6E607FFF992  Time : 8280.0 sec.
user=mdettweiler
[2009-05-12 10:38:15]
345*2^816744-1 is not prime.  Res64: A2C2A61743E70D73  Time : 3984.0 sec.
user=mdettweiler
[2009-05-12 10:39:49]
345*2^816747-1 is not prime.  Res64: C2C01D868CD948A5  Time : 3976.0 sec.
user=vaughan
[2009-05-12 10:41:13]
327*2^816832-1 is not prime.  Res64: 623BC58EC9E2F869  Time : 938.0 sec.
user=vaughan
[2009-05-12 10:42:42]
345*2^816835-1 is not prime.  Res64: 699B1258E4DF8213  Time : 938.0 sec.
user=vaughan
[2009-05-12 10:42:51]
333*2^816834-1 is not prime.  Res64: EB829CE8DABFA3BB  Time : 955.0 sec.
user=vaughan
[2009-05-12 10:42:53]
315*2^816618-1 is not prime.  Res64: D6E84989F8BC8526  Time : 8249.0 sec.
user=mdettweiler
[2009-05-12 10:43:21]
315*2^816755-1 is not prime.  Res64: 28A1AC92299DD6D0  Time : 3975.0 sec.
user=vaughan
[2009-05-12 10:45:15]
327*2^816601-1 is not prime.  Res64: 653EB7D8A2EB482E  Time : 8506.0 sec.
user=vaughan
[2009-05-12 10:45:30]
339*2^816621-1 is not prime.  Res64: 3DE8524A03E41BF2  Time : 8264.0 sec.
user=mdettweiler
[2009-05-12 10:48:35]
327*2^816761-1 is not prime.  Res64: 66635D6E68D0C200  Time : 3971.0 sec.
user=mdettweiler
[2009-05-12 10:51:30]
327*2^816762-1 is not prime.  Res64: E1C33461E8E812A4  Time : 3982.0 sec.
user=vaughan
[2009-05-12 10:51:48]
315*2^816627-1 is not prime.  Res64: C0CA39EDE0B6F69E  Time : 8281.0 sec.
user=mdettweiler
[2009-05-12 10:53:07]
339*2^816763-1 is not prime.  Res64: DD06758EE7475F40  Time : 3980.0 sec.
user=mdettweiler
[2009-05-12 10:56:36]
333*2^816768-1 is not prime.  Res64: 6BC56006C3ED77AE  Time : 3976.0 sec.
user=vaughan
[2009-05-12 10:56:39]
321*2^816638-1 is not prime.  Res64: C3EE32616E7F23D3  Time : 8249.0 sec.
user=vaughan
[2009-05-12 10:56:51]
321*2^816863-1 is not prime.  Res64: F905B1F0E47F8FB5  Time : 938.0 sec.
user=vaughan
[2009-05-12 10:58:19]
339*2^816863-1 is not prime.  Res64: D598EF77557E8AD7  Time : 937.0 sec.
user=vaughan
[2009-05-12 10:58:45]
327*2^816864-1 is not prime.  Res64: 0118B0E73C4A9C40  Time : 954.0 sec.
user=vaughan
[2009-05-12 10:59:15]
333*2^816651-1 is not prime.  Res64: CA177FED9CC3C74E  Time : 8262.0 sec.
user=vaughan
[2009-05-12 10:59:26]
339*2^816635-1 is not prime.  Res64: 78C8FA16BD860A38  Time : 8506.0 sec.
user=mdettweiler
[2009-05-12 11:01:49]
321*2^816775-1 is not prime.  Res64: 5282F59676E1E3E7  Time : 3970.0 sec.
user=mdettweiler
[2009-05-12 11:04:44]
333*2^816780-1 is not prime.  Res64: A04588E6BCE955F1  Time : 3981.0 sec.
user=vaughan
[2009-05-12 11:05:35]
321*2^816653-1 is not prime.  Res64: 4807D79E36AA08CF  Time : 8281.0 sec.
user=mdettweiler
[2009-05-12 11:06:23]
345*2^816780-1 is not prime.  Res64: CF7D912444E19FAF  Time : 3978.0 sec.
user=mdettweiler
[2009-05-12 11:09:50]
321*2^816786-1 is not prime.  Res64: B17531847406E930  Time : 3975.0 sec.
user=vaughan
[2009-05-12 11:10:25]
321*2^816674-1 is not prime.  Res64: E37D77FAAC4D16DE  Time : 8251.0 sec.
user=vaughan
[2009-05-12 11:12:28]
321*2^816893-1 is not prime.  Res64: 605FAD5DA95DF1A6  Time : 938.0 sec.
user=vaughan
[2009-05-12 11:13:01]
345*2^816682-1 is not prime.  Res64: 46C95936A6022615  Time : 8261.0 sec.
user=vaughan
[2009-05-12 11:13:38]
345*2^816670-1 is not prime.  Res64: 7DAA8641BC8614A8  Time : 8508.0 sec.
user=vaughan
[2009-05-12 11:13:57]
345*2^816895-1 is not prime.  Res64: 00EBAAD2D4543ED2  Time : 938.0 sec.
user=vaughan
[2009-05-12 11:14:40]
327*2^816896-1 is not prime.  Res64: 7B65B633A192ADEB  Time : 955.0 sec.
user=mdettweiler
[2009-05-12 11:15:05]
321*2^816790-1 is not prime.  Res64: 6B48737FA45F13D7  Time : 3973.0 sec.
user=mdettweiler
[2009-05-12 11:18:03]
345*2^816804-1 is not prime.  Res64: 32F4697538514293  Time : 3981.0 sec.
user=vaughan
[2009-05-12 11:19:26]
315*2^816685-1 is not prime.  Res64: 2686C896D2453102  Time : 8284.0 sec.
user=mdettweiler
[2009-05-12 11:19:44]
321*2^816807-1 is not prime.  Res64: 34F6E007AC194E21  Time : 3985.0 sec.
user=mdettweiler
[2009-05-12 11:23:05]
315*2^816811-1 is not prime.  Res64: 98D0752BEB4745F3  Time : 3976.0 sec.
user=vaughan
[2009-05-12 11:24:09]
321*2^816690-1 is not prime.  Res64: AB7F5F3153727566  Time : 8251.0 sec.
user=vaughan
[2009-05-12 11:26:47]
315*2^816707-1 is not prime.  Res64: 715EE5BBFADED24A  Time : 8262.0 sec.
user=vaughan
[2009-05-12 11:27:47]
327*2^816689-1 is not prime.  Res64: DC3453F9B00C41B8  Time : 8507.0 sec.
user=vaughan
[2009-05-12 11:28:05]
327*2^816952-1 is not prime.  Res64: B3489E1885425150  Time : 938.0 sec.
user=mdettweiler
[2009-05-12 11:28:21]
327*2^816825-1 is not prime.  Res64: 524170C2567A12B5  Time : 3973.0 sec.
user=vaughan
[2009-05-12 11:29:36]
345*2^816954-1 is not prime.  Res64: 771F1070DA0DA0FB  Time : 940.0 sec.
user=vaughan
[2009-05-12 11:30:34]
345*2^816955-1 is not prime.  Res64: B3725E0A59E61D80  Time : 954.0 sec.
user=mdettweiler
[2009-05-12 11:31:18]
345*2^816831-1 is not prime.  Res64: 05D7D727B5FFCB30  Time : 3981.0 sec.
user=mdettweiler
[2009-05-12 11:32:52]
327*2^816833-1 is not prime.  Res64: 2A5176060DB85431  Time : 3978.0 sec.
user=vaughan
[2009-05-12 11:33:12]
339*2^816711-1 is not prime.  Res64: 616ECC7CF42CB1CE  Time : 8283.0 sec.
user=mdettweiler
[2009-05-12 11:36:20]
315*2^816840-1 is not prime.  Res64: B0346E34923C9838  Time : 3974.0 sec.
user=vaughan
[2009-05-12 11:37:56]
315*2^816736-1 is not prime.  Res64: 395EC0D8653D85AD  Time : 8253.0 sec.
user=vaughan
[2009-05-12 11:40:33]
339*2^816739-1 is not prime.  Res64: D9ED2BC446BF1601  Time : 8262.0 sec.
user=mdettweiler
[2009-05-12 11:41:34]
339*2^816847-1 is not prime.  Res64: 4A4B8AFB95851A15  Time : 3973.0 sec.
user=vaughan
[2009-05-12 11:41:56]
315*2^816734-1 is not prime.  Res64: 9EC33152A12D4DCA  Time : 8505.0 sec.
user=vaughan
[2009-05-12 11:43:43]
315*2^816982-1 is not prime.  Res64: 13E8B2B86932AE33  Time : 938.0 sec.
user=mdettweiler
[2009-05-12 11:44:36]
333*2^816854-1 is not prime.  Res64: 81C6F70E1FE173BA  Time : 3981.0 sec.
user=vaughan
[2009-05-12 11:45:13]
333*2^816987-1 is not prime.  Res64: 8B9F5AE0BFDC3B8F  Time : 938.0 sec.
user=mdettweiler
[2009-05-12 11:46:08]
345*2^816856-1 is not prime.  Res64: BC5B34C2E6704AC1  Time : 3979.0 sec.
user=vaughan
[2009-05-12 11:46:30]
339*2^816992-1 is not prime.  Res64: 3C8CCACC3C2B8F21  Time : 956.0 sec.
user=vaughan
[2009-05-12 11:47:00]
333*2^816743-1 is not prime.  Res64: BE9CA9EB8FF7198A  Time : 8282.0 sec.
user=mdettweiler
[2009-05-12 11:49:38]
327*2^816868-1 is not prime.  Res64: A12E4C437032EC70  Time : 3977.0 sec.
user=vaughan
[2009-05-12 11:51:42]
333*2^816750-1 is not prime.  Res64: 52EE97E29F36B65F  Time : 8254.0 sec.
user=vaughan
[2009-05-12 11:54:19]
321*2^816754-1 is not prime.  Res64: FD5791B32A6A9F53  Time : 8262.0 sec.
user=mdettweiler
[2009-05-12 11:54:48]
333*2^816878-1 is not prime.  Res64: BEA813F9E59DAE1B  Time : 3973.0 sec.
user=vaughan
[2009-05-12 11:56:08]
315*2^816754-1 is not prime.  Res64: D1CA8104C3996947  Time : 8507.0 sec.
user=mdettweiler
[2009-05-12 11:57:52]
315*2^816885-1 is not prime.  Res64: 5C36917D64841D8E  Time : 3982.0 sec.
user=vaughan
[2009-05-12 11:59:21]
333*2^817020-1 is not prime.  Res64: B411854F78749609  Time : 938.0 sec.
user=mdettweiler
[2009-05-12 11:59:21]
315*2^816887-1 is not prime.  Res64: 09007A909E75575F  Time : 3974.0 sec.
user=vaughan
[2009-05-12 12:00:48]
315*2^816762-1 is not prime.  Res64: C0EFAA6220C2F3AA  Time : 8282.0 sec.
user=vaughan
[2009-05-12 12:00:51]
327*2^817026-1 is not prime.  Res64: 18FC95D820C2859A  Time : 938.0 sec.
user=vaughan
[2009-05-12 12:02:26]
345*2^817029-1 is not prime.  Res64: 043A4065910DABD3  Time : 956.0 sec.
user=mdettweiler
[2009-05-12 12:02:52]
327*2^816888-1 is not prime.  Res64: 6C65F8572D181EE5  Time : 3976.0 sec.
user=vaughan
[2009-05-12 12:05:27]
321*2^816765-1 is not prime.  Res64: 2410A8FE82D35AFC  Time : 8254.0 sec.
user=mdettweiler
[2009-05-12 12:08:05]
315*2^816907-1 is not prime.  Res64: AD021A7EE79A5253  Time : 3976.0 sec.
user=vaughan
[2009-05-12 12:08:05]
339*2^816769-1 is not prime.  Res64: F4A43047E9EBABF8  Time : 8261.0 sec.
user=vaughan
[2009-05-12 12:10:19]
345*2^816766-1 is not prime.  Res64: 9D2D97C5DF176D64  Time : 8507.0 sec.
user=mdettweiler
[2009-05-12 12:11:09]
321*2^816910-1 is not prime.  Res64: 1580EDF8965C8087  Time : 3985.0 sec.
user=mdettweiler
[2009-05-12 12:12:36]
321*2^816930-1 is not prime.  Res64: 3601DEE61C1D8B05  Time : 3973.0 sec.
user=vaughan
[2009-05-12 12:14:37]
315*2^816778-1 is not prime.  Res64: 954DC0A4DD1A5949  Time : 8283.0 sec.
user=vaughan
[2009-05-12 12:14:59]
327*2^817049-1 is not prime.  Res64: D73960C9C1769423  Time : 938.0 sec.
user=mdettweiler
[2009-05-12 12:16:09]
345*2^816934-1 is not prime.  Res64: C31A4363E2C02CCF  Time : 3979.0 sec.
user=vaughan
[2009-05-12 12:16:30]
321*2^817062-1 is not prime.  Res64: 7ACE5F50BBAACBA8  Time : 939.0 sec.
user=vaughan
[2009-05-12 12:18:21]
315*2^817067-1 is not prime.  Res64: F8BDFA0FD0DB2E49  Time : 956.0 sec.
user=vaughan
[2009-05-12 12:19:10]
339*2^816781-1 is not prime.  Res64: 610204EFD6724D6F  Time : 8252.0 sec.
user=mdettweiler
[2009-05-12 12:21:19]
327*2^816956-1 is not prime.  Res64: 248C7353347A3F52  Time : 3974.0 sec.
user=vaughan
[2009-05-12 12:21:51]
333*2^816786-1 is not prime.  Res64: 8AB5BF287858A224  Time : 8260.0 sec.
user=mdettweiler
[2009-05-12 12:24:27]
315*2^816957-1 is not prime.  Res64: CDF84EFA63C08B16  Time : 3984.0 sec.
user=vaughan
[2009-05-12 12:24:31]
339*2^816783-1 is not prime.  Res64: C3450957D8755BD1  Time : 8508.0 sec.
user=mdettweiler
[2009-05-12 12:25:49]
321*2^816962-1 is not prime.  Res64: 4D15DCABBA952DB7  Time : 3967.0 sec.
user=vaughan
[2009-05-12 12:28:27]
327*2^816796-1 is not prime.  Res64: 746438016A168BE0  Time : 8285.0 sec.
user=mdettweiler
[2009-05-12 12:29:25]
315*2^816965-1 is not prime.  Res64: 60F9588B65D36F6C  Time : 3980.0 sec.
user=vaughan
[2009-05-12 12:30:37]
345*2^817084-1 is not prime.  Res64: DB795BB5B87BF41F  Time : 938.0 sec.
user=vaughan
[2009-05-12 12:32:08]
315*2^817090-1 is not prime.  Res64: 0D855C1A4BCEB3C7  Time : 938.0 sec.
user=vaughan
[2009-05-12 12:32:55]
327*2^816808-1 is not prime.  Res64: 179BC1561B16B202  Time : 8252.0 sec.
user=vaughan
[2009-05-12 12:34:18]
339*2^817091-1 is not prime.  Res64: DD48691A06DBE832  Time : 957.0 sec.
user=mdettweiler
[2009-05-12 12:34:36]
333*2^816984-1 is not prime.  Res64: FE0A51D90674A18C  Time : 3975.0 sec.
user=vaughan
[2009-05-12 12:35:37]
339*2^816821-1 is not prime.  Res64: 8865EC104BF6380F  Time : 8260.0 sec.
user=mdettweiler
[2009-05-12 12:37:43]
327*2^816993-1 is not prime.  Res64: 85B1F4EAE71CBC5F  Time : 3985.0 sec.
user=vaughan
[2009-05-12 12:38:44]
321*2^816817-1 is not prime.  Res64: 954DF342A5C85698  Time : 8511.0 sec.
user=mdettweiler
[2009-05-12 12:39:05]
321*2^817005-1 is not prime.  Res64: 8EE74DB52961140C  Time : 3973.0 sec.
user=vaughan
[2009-05-12 12:42:17]
339*2^816825-1 is not prime.  Res64: D79138849C6468C2  Time : 8287.0 sec.
user=mdettweiler
[2009-05-12 12:42:39]
339*2^817007-1 is not prime.  Res64: F84C846154714309  Time : 3979.0 sec.
user=vaughan
[2009-05-12 12:46:15]
315*2^817111-1 is not prime.  Res64: 8EBF057CE11A9AF2  Time : 938.0 sec.
user=vaughan
[2009-05-12 12:46:40]
327*2^816836-1 is not prime.  Res64: 4197A6AB6D31862F  Time : 8252.0 sec.
user=vaughan
[2009-05-12 12:47:46]
339*2^817111-1 is not prime.  Res64: 2332C0EC2C017506  Time : 939.0 sec.
user=mdettweiler
[2009-05-12 12:47:54]
315*2^817015-1 is not prime.  Res64: C3A7D4A30C64A5FB  Time : 3980.0 sec.
user=vaughan
[2009-05-12 12:49:23]
333*2^816846-1 is not prime.  Res64: A12332A42531BC63  Time : 8259.0 sec.
user=vaughan
[2009-05-12 12:50:13]
327*2^817122-1 is not prime.  Res64: 4EB1E2183B91FB60  Time : 956.0 sec.
user=mdettweiler
[2009-05-12 12:51:03]
339*2^817021-1 is not prime.  Res64: 3704F84B66BB41ED  Time : 3987.0 sec.
user=mdettweiler
[2009-05-12 12:52:26]
315*2^817027-1 is not prime.  Res64: 11E915552CF41669  Time : 3978.0 sec.
user=vaughan
[2009-05-12 12:52:56]
345*2^816840-1 is not prime.  Res64: 1EB79C4573DB465F  Time : 8513.0 sec.
user=mdettweiler
[2009-05-12 12:56:03]
333*2^817038-1 is not prime.  Res64: 86BF5B2568C84E3C  Time : 3985.0 sec.
user=vaughan
[2009-05-12 12:56:06]
315*2^816854-1 is not prime.  Res64: D1E057B91972913B  Time : 8288.0 sec.
user=vaughan
[2009-05-12 13:00:25]
327*2^816866-1 is not prime.  Res64: B8FBD1772484771B  Time : 8252.0 sec.
user=mdettweiler
[2009-05-12 13:01:13]
339*2^817043-1 is not prime.  Res64: F1DF433C8938A80C  Time : 3985.0 sec.
user=vaughan
[2009-05-12 13:01:53]
315*2^817139-1 is not prime.  Res64: 71098077F10FB53A  Time : 938.0 sec.
user=vaughan
[2009-05-12 13:03:10]
321*2^816877-1 is not prime.  Res64: F7EBBDF312842586  Time : 8261.0 sec.
user=vaughan
[2009-05-12 13:03:25]
315*2^817146-1 is not prime.  Res64: F03D0369A50656AE  Time : 939.0 sec.
user=mdettweiler
[2009-05-12 13:04:26]
315*2^817048-1 is not prime.  Res64: D6408433520F64CB  Time : 3994.0 sec.
user=mdettweiler
[2009-05-12 13:05:50]
339*2^817051-1 is not prime.  Res64: 585787325355B6AA  Time : 3989.0 sec.
user=vaughan
[2009-05-12 13:06:08]
345*2^817159-1 is not prime.  Res64: 5CC2DCE4A209F652  Time : 955.0 sec.
user=vaughan
[2009-05-12 13:07:07]
315*2^816870-1 is not prime.  Res64: 4155A717E4B3C665  Time : 8513.0 sec.
user=mdettweiler
[2009-05-12 13:09:29]
315*2^817072-1 is not prime.  Res64: 7271BEA19355E7F2  Time : 3997.0 sec.
user=vaughan
[2009-05-12 13:09:56]
321*2^816886-1 is not prime.  Res64: 0C12E49ABD4FAC82  Time : 8289.0 sec.
user=vaughan
[2009-05-12 13:14:09]
327*2^816889-1 is not prime.  Res64: 411679EBA8C91082  Time : 8250.0 sec.
user=mdettweiler
[2009-05-12 13:14:35]
321*2^817074-1 is not prime.  Res64: B6DD319435734C7C  Time : 3990.0 sec.
user=vaughan
[2009-05-12 13:16:58]
315*2^816902-1 is not prime.  Res64: 9D36B005E515DAAA  Time : 8263.0 sec.
user=vaughan
[2009-05-12 13:17:31]
333*2^817179-1 is not prime.  Res64: 5CF8EE937632A5DA  Time : 938.0 sec.
user=mdettweiler
[2009-05-12 13:17:51]
339*2^817079-1 is not prime.  Res64: 1777E2E5079E2565  Time : 4002.0 sec.
user=vaughan
[2009-05-12 13:19:03]
339*2^817183-1 is not prime.  Res64: 8504124AA906E677  Time : 939.0 sec.
user=mdettweiler
[2009-05-12 13:19:09]
333*2^817080-1 is not prime.  Res64: AC8BBBCADA344645  Time : 3993.0 sec.
user=vaughan
[2009-05-12 13:21:17]
345*2^816906-1 is not prime.  Res64: F0C32AFCA139F432  Time : 8511.0 sec.
user=vaughan
[2009-05-12 13:22:03]
327*2^817193-1 is not prime.  Res64: B56A3743AF5A126A  Time : 955.0 sec.
user=mdettweiler
[2009-05-12 13:22:45]
315*2^817086-1 is not prime.  Res64: 33AADDCC85B5E9C5  Time : 3996.0 sec.
user=vaughan
[2009-05-12 13:23:48]
321*2^816913-1 is not prime.  Res64: F1ACCF6D06212C8C  Time : 8293.0 sec.
user=vaughan
[2009-05-12 13:27:56]
321*2^816950-1 is not prime.  Res64: 93526AEC4C2722F7  Time : 8251.0 sec.
user=mdettweiler
[2009-05-12 13:27:56]
315*2^817099-1 is not prime.  Res64: 4028E1B8B8ABCDBE  Time : 3997.0 sec.
user=vaughan
[2009-05-12 13:30:42]
345*2^816952-1 is not prime.  Res64: 0D1F83650029368D  Time : 8262.0 sec.
user=mdettweiler
[2009-05-12 13:31:15]
345*2^817101-1 is not prime.  Res64: 2273A135196D3222  Time : 4008.0 sec.
user=mdettweiler
[2009-05-12 13:32:29]
315*2^817104-1 is not prime.  Res64: C06C6EDD5E41BBB2  Time : 4000.0 sec.
user=vaughan
[2009-05-12 13:33:10]
321*2^817214-1 is not prime.  Res64: 7D0937C66BD9D0EA  Time : 939.0 sec.
user=vaughan
[2009-05-12 13:34:42]
321*2^817222-1 is not prime.  Res64: 80B5AE4212BA65F6  Time : 939.0 sec.
user=vaughan
[2009-05-12 13:35:28]
327*2^816954-1 is not prime.  Res64: 1E5B2ADCE6DC375F  Time : 8511.0 sec.
user=mdettweiler
[2009-05-12 13:36:17]
315*2^817107-1 is not prime.  Res64: DD2C04991AA8766F  Time : 4013.0 sec.
user=vaughan
[2009-05-12 13:37:39]
345*2^816957-1 is not prime.  Res64: 52919468A270C01B  Time : 8294.0 sec.
user=vaughan
[2009-05-12 13:37:58]
345*2^817230-1 is not prime.  Res64: 87A3A207167BBDA5  Time : 955.0 sec.
user=mdettweiler
[2009-05-12 13:41:22]
333*2^817124-1 is not prime.  Res64: 446FC7228589090C  Time : 4006.0 sec.
user=vaughan
[2009-05-12 13:41:41]
321*2^816966-1 is not prime.  Res64: B0CFB75ED6ACD02F  Time : 8252.0 sec.
user=vaughan
[2009-05-12 13:44:29]
315*2^816974-1 is not prime.  Res64: E18019ABE3122749  Time : 8262.0 sec.
user=mdettweiler
[2009-05-12 13:44:42]
321*2^817133-1 is not prime.  Res64: 13FACE8F76986EA9  Time : 4019.0 sec.
user=mdettweiler
[2009-05-12 13:46:01]
321*2^817134-1 is not prime.  Res64: 25E30B32728B1F6C  Time : 4016.0 sec.
user=vaughan
[2009-05-12 13:48:48]
345*2^817239-1 is not prime.  Res64: 433ED4345EA3A3CD  Time : 939.0 sec.
user=vaughan
[2009-05-12 13:49:39]
315*2^816976-1 is not prime.  Res64: 759CA2A85491CDBA  Time : 8512.0 sec.
user=mdettweiler
[2009-05-12 13:49:41]
327*2^817138-1 is not prime.  Res64: 4CBC8F41B7B012F1  Time : 4022.0 sec.
user=vaughan
[2009-05-12 13:50:21]
315*2^817247-1 is not prime.  Res64: 4DCB15D0BF09BAD6  Time : 939.0 sec.
user=vaughan
[2009-05-12 13:51:29]
327*2^817005-1 is not prime.  Res64: 7F3A2E1E5FE5E23E  Time : 8297.0 sec.
user=vaughan
[2009-05-12 13:53:53]
321*2^817254-1 is not prime.  Res64: C4A663E28C24428A  Time : 955.0 sec.
user=mdettweiler
[2009-05-12 13:54:46]
339*2^817147-1 is not prime.  Res64: 992FDC792925C116  Time : 4012.0 sec.
user=vaughan
[2009-05-12 13:55:27]
315*2^817014-1 is not prime.  Res64: 74442E8EE8AE1794  Time : 8252.0 sec.
user=mdettweiler
[2009-05-12 13:58:07]
333*2^817160-1 is not prime.  Res64: DA4CB3E936525867  Time : 4024.0 sec.
user=vaughan
[2009-05-12 13:58:17]
333*2^817014-1 is not prime.  Res64: 1D6A6765B2C96539  Time : 8264.0 sec.
user=mdettweiler
[2009-05-12 13:59:26]
333*2^817163-1 is not prime.  Res64: B466E276777C1BA5  Time : 4020.0 sec.
user=mdettweiler
[2009-05-12 14:03:03]
333*2^817164-1 is not prime.  Res64: AF6CF9E0AE4149ED  Time : 4020.0 sec.
user=vaughan
[2009-05-12 14:03:50]
333*2^817016-1 is not prime.  Res64: 036D49FD58EFD12F  Time : 8514.0 sec.
user=vaughan
[2009-05-12 14:04:27]
339*2^817267-1 is not prime.  Res64: 0E68D88F010DAFFD  Time : 939.0 sec.
user=vaughan
[2009-05-12 14:05:18]
345*2^817030-1 is not prime.  Res64: 877B44321D0F4141  Time : 8298.0 sec.
user=vaughan
[2009-05-12 14:06:00]
339*2^817280-1 is not prime.  Res64: 6CA3612F5308E0FD  Time : 939.0 sec.
user=mdettweiler
[2009-05-12 14:08:06]
327*2^817178-1 is not prime.  Res64: 7112184AA643B56D  Time : 4013.0 sec.
user=vaughan
[2009-05-12 14:09:13]
345*2^817041-1 is not prime.  Res64: 9905A4BF94EF2B50  Time : 8252.0 sec.
user=vaughan
[2009-05-12 14:09:48]
315*2^817286-1 is not prime.  Res64: 3EC7B2013BCF1B8A  Time : 955.0 sec.
user=mdettweiler
[2009-05-12 14:11:28]
327*2^817188-1 is not prime.  Res64: E3E8675A905D7601  Time : 4022.0 sec.
user=vaughan
[2009-05-12 14:12:03]
315*2^817042-1 is not prime.  Res64: B4AEA32C36F4DC3F  Time : 8265.0 sec.
user=mdettweiler
[2009-05-12 14:12:45]
333*2^817191-1 is not prime.  Res64: 6D4CA7D8E3C1E156  Time : 4015.0 sec.
user=mdettweiler
[2009-05-12 14:16:24]
321*2^817197-1 is not prime.  Res64: 2CE4DAD78750544B  Time : 4015.0 sec.
user=vaughan
[2009-05-12 14:18:01]
315*2^817045-1 is not prime.  Res64: 3A210D15171EE2C0  Time : 8513.0 sec.
user=vaughan
[2009-05-12 14:19:10]
315*2^817055-1 is not prime.  Res64: 336B59166A07C2C6  Time : 8302.0 sec.
user=vaughan
[2009-05-12 14:20:04]
321*2^817297-1 is not prime.  Res64: 73A58A35ED8AE14C  Time : 938.0 sec.
user=mdettweiler
[2009-05-12 14:21:27]
327*2^817201-1 is not prime.  Res64: BC3ED6FFC725C237  Time : 4012.0 sec.
user=vaughan
[2009-05-12 14:21:39]
315*2^817300-1 is not prime.  Res64: D69163C737A6EC03  Time : 939.0 sec.
user=vaughan
[2009-05-12 14:22:59]
339*2^817073-1 is not prime.  Res64: DFB4797C8B7846F5  Time : 8252.0 sec.
user=mdettweiler
[2009-05-12 14:24:50]
315*2^817215-1 is not prime.  Res64: 46DB2109A4DB8BE9  Time : 4019.0 sec.
user=vaughan
[2009-05-12 14:25:45]
339*2^817307-1 is not prime.  Res64: C5E5D967F2F91E0D  Time : 957.0 sec.
user=vaughan
[2009-05-12 14:25:50]
327*2^817074-1 is not prime.  Res64: A64B2C601C89A22C  Time : 8265.0 sec.
user=mdettweiler
[2009-05-12 14:26:09]
333*2^817224-1 is not prime.  Res64: 426DFDD36AE972B7  Time : 4020.0 sec.
user=mdettweiler
[2009-05-12 14:29:43]
339*2^817231-1 is not prime.  Res64: 540561ADBA2A89C4  Time : 4018.0 sec.
user=vaughan
[2009-05-12 14:32:12]
315*2^817078-1 is not prime.  Res64: 6D0A10A4FDAFE952  Time : 8513.0 sec.
user=vaughan
[2009-05-12 14:32:59]
327*2^817082-1 is not prime.  Res64: CCC723B5E38CE75C  Time : 8303.0 sec.
user=mdettweiler
[2009-05-12 14:34:47]
327*2^817236-1 is not prime.  Res64: 6C4E1DD5B58CA93B  Time : 4011.0 sec.
user=vaughan
[2009-05-12 14:35:42]
321*2^817317-1 is not prime.  Res64: 498BFCEA533703C8  Time : 939.0 sec.
user=vaughan
[2009-05-12 14:36:45]
321*2^817097-1 is not prime.  Res64: 22C33EC49C185520  Time : 8255.0 sec.
user=vaughan
[2009-05-12 14:37:18]
345*2^817326-1 is not prime.  Res64: C0DD1C66562905D2  Time : 939.0 sec.
user=mdettweiler
[2009-05-12 14:38:18]
321*2^817237-1 is not prime.  Res64: C247148DEAA638CC  Time : 4023.0 sec.
user=mdettweiler
[2009-05-12 14:39:30]
321*2^817238-1 is not prime.  Res64: 642E696F5D07DCA8  Time : 4021.0 sec.
user=vaughan
[2009-05-12 14:39:36]
315*2^817101-1 is not prime.  Res64: 116B39A3E3DEAA7A  Time : 8265.0 sec.
user=vaughan
[2009-05-12 14:41:41]
345*2^817332-1 is not prime.  Res64: CDE9E977A51C4938  Time : 956.0 sec.
user=mdettweiler
[2009-05-12 14:43:03]
321*2^817253-1 is not prime.  Res64: ECD4617B9B515DD8  Time : 4007.0 sec.
user=vaughan
[2009-05-12 14:46:23]
321*2^817102-1 is not prime.  Res64: 6C1B0971DC3F4CDD  Time : 8512.0 sec.
user=vaughan
[2009-05-12 14:46:48]
327*2^817105-1 is not prime.  Res64: EEFE85C07120C88B  Time : 8301.0 sec.
user=mdettweiler
[2009-05-12 14:48:10]
339*2^817255-1 is not prime.  Res64: 7439E2564FA4F831  Time : 4008.0 sec.
user=vaughan
[2009-05-12 14:50:31]
315*2^817118-1 is not prime.  Res64: 5D04EABE131D3A9A  Time : 8257.0 sec.
user=vaughan
[2009-05-12 14:51:20]
321*2^817350-1 is not prime.  Res64: 4836C2C90931F322  Time : 938.0 sec.
user=mdettweiler
[2009-05-12 14:51:38]
327*2^817264-1 is not prime.  Res64: 8798908BB901F3B8  Time : 4016.0 sec.
user=mdettweiler
[2009-05-12 14:52:48]
321*2^817266-1 is not prime.  Res64: 270C6F2F03B4CC43  Time : 4007.0 sec.
user=vaughan
[2009-05-12 14:52:57]
315*2^817359-1 is not prime.  Res64: 1DD5BA0B6593144A  Time : 939.0 sec.
user=vaughan
[2009-05-12 14:53:22]
321*2^817126-1 is not prime.  Res64: FF7B62A8B4107B11  Time : 8265.0 sec.
user=mdettweiler
[2009-05-12 14:56:21]
321*2^817277-1 is not prime.  Res64: 75630CC2A163D2E0  Time : 4000.0 sec.
user=vaughan
[2009-05-12 14:57:36]
327*2^817372-1 is not prime.  Res64: 52FD4663A2DE9A3B  Time : 956.0 sec.
user=vaughan
[2009-05-12 15:00:34]
339*2^817133-1 is not prime.  Res64: 78C581738EBB12B6  Time : 8511.0 sec.
user=vaughan
[2009-05-12 15:00:37]
333*2^817136-1 is not prime.  Res64: 54F18C2D88BDEA6D  Time : 8300.0 sec.
user=mdettweiler
[2009-05-12 15:01:23]
321*2^817286-1 is not prime.  Res64: FE7E7AE053356894  Time : 3997.0 sec.
user=vaughan
[2009-05-12 15:04:18]
315*2^817140-1 is not prime.  Res64: D51D4EE40FB54F8E  Time : 8259.0 sec.
user=mdettweiler
[2009-05-12 15:04:56]
315*2^817291-1 is not prime.  Res64: 15C635A16E60B819  Time : 4009.0 sec.
user=mdettweiler
[2009-05-12 15:06:02]
345*2^817294-1 is not prime.  Res64: AC7CB6C61FE20E4D  Time : 3996.0 sec.
user=vaughan
[2009-05-12 15:06:58]
333*2^817388-1 is not prime.  Res64: 0087D6B8BE85EFC6  Time : 938.0 sec.
user=vaughan
[2009-05-12 15:07:09]
339*2^817159-1 is not prime.  Res64: CB604EA9B103766D  Time : 8266.0 sec.
user=vaughan
[2009-05-12 15:08:36]
339*2^817400-1 is not prime.  Res64: E1D2F80029F90AC1  Time : 939.0 sec.
user=mdettweiler
[2009-05-12 15:09:38]
327*2^817296-1 is not prime.  Res64: 9F469428A569145C  Time : 3995.0 sec.
user=vaughan
[2009-05-12 15:13:33]
315*2^817407-1 is not prime.  Res64: 31A0DB9ACF3F6E81  Time : 957.0 sec.
user=vaughan
[2009-05-12 15:14:27]
339*2^817168-1 is not prime.  Res64: 11D16FB47BCDC1D5  Time : 8302.0 sec.
user=mdettweiler
[2009-05-12 15:14:39]
327*2^817301-1 is not prime.  Res64: A2757F445043C498  Time : 3993.0 sec.
user=vaughan
[2009-05-12 15:14:45]
327*2^817164-1 is not prime.  Res64: 7199D8A62F38C0C7  Time : 8510.0 sec.
user=vaughan
[2009-05-12 15:18:04]
321*2^817175-1 is not prime.  Res64: 52E9A8B2FAC9D907  Time : 8260.0 sec.
user=mdettweiler
[2009-05-12 15:18:13]
315*2^817310-1 is not prime.  Res64: 6CCA5136A779C5C9  Time : 4005.0 sec.
user=mdettweiler
[2009-05-12 15:19:18]
321*2^817314-1 is not prime.  Res64: C097C88B0A8D4B9E  Time : 3993.0 sec.
user=vaughan
[2009-05-12 15:20:56]
345*2^817179-1 is not prime.  Res64: A703F0F58AE0B1CF  Time : 8266.0 sec.
user=vaughan
[2009-05-12 15:22:36]
345*2^817419-1 is not prime.  Res64: 8C62FE1CD2F2A8D9  Time : 938.0 sec.
user=mdettweiler
[2009-05-12 15:22:54]
333*2^817314-1 is not prime.  Res64: ED98152C5475AD5A  Time : 3990.0 sec.
user=vaughan
[2009-05-12 15:24:15]
345*2^817426-1 is not prime.  Res64: CF70BB9FA3A62E0F  Time : 940.0 sec.
user=mdettweiler
[2009-05-12 15:27:52]
315*2^817326-1 is not prime.  Res64: E431374B6CA601BA  Time : 3985.0 sec.
user=vaughan
[2009-05-12 15:28:16]
345*2^817197-1 is not prime.  Res64: 1A088065BD5DA8E7  Time : 8300.0 sec.
user=vaughan
[2009-05-12 15:28:55]
333*2^817196-1 is not prime.  Res64: 7BB173F2F7D6CE0D  Time : 8509.0 sec.
user=vaughan
[2009-05-12 15:29:29]
339*2^817435-1 is not prime.  Res64: A80DF4E89C86E9AE  Time : 957.0 sec.
user=mdettweiler
[2009-05-12 15:31:32]
327*2^817332-1 is not prime.  Res64: C17FAE82429642FE  Time : 4002.0 sec.
user=vaughan
[2009-05-12 15:31:50]
321*2^817198-1 is not prime.  Res64: E5C63758FCE97736  Time : 8261.0 sec.
user=mdettweiler
[2009-05-12 15:32:36]
327*2^817336-1 is not prime.  Res64: F04CBC6E1602FED8  Time : 3987.0 sec.
user=vaughan
[2009-05-12 15:34:43]
339*2^817207-1 is not prime.  Res64: 94F3A3DDD19F818A  Time : 8266.0 sec.
user=mdettweiler
[2009-05-12 15:36:10]
327*2^817338-1 is not prime.  Res64: 04E8C74A3B3A386C  Time : 3987.0 sec.
user=vaughan
[2009-05-12 15:38:15]
345*2^817461-1 is not prime.  Res64: E3BAEBF29CEF72EF  Time : 939.0 sec.
user=vaughan
[2009-05-12 15:39:54]
339*2^817469-1 is not prime.  Res64: EA68897E8EC2D1D3  Time : 940.0 sec.
user=mdettweiler
[2009-05-12 15:41:10]
339*2^817349-1 is not prime.  Res64: 125F8B835A2F284B  Time : 3983.0 sec.
user=vaughan
[2009-05-12 15:42:06]
327*2^817232-1 is not prime.  Res64: 4A5E058141903A17  Time : 8299.0 sec.
user=vaughan
[2009-05-12 15:43:07]
333*2^817230-1 is not prime.  Res64: C4BC534D450DEA94  Time : 8510.0 sec.
user=mdettweiler
[2009-05-12 15:44:45]
345*2^817360-1 is not prime.  Res64: 8781962475B0A326  Time : 3987.0 sec.
user=vaughan
[2009-05-12 15:45:25]
327*2^817473-1 is not prime.  Res64: 0226C1DCABDCD253  Time : 956.0 sec.
user=vaughan
[2009-05-12 15:45:36]
315*2^817236-1 is not prime.  Res64: 48AEA6EEA2E8D3A2  Time : 8261.0 sec.
user=mdettweiler
[2009-05-12 15:45:53]
315*2^817366-1 is not prime.  Res64: AD1FD950B16752D1  Time : 3983.0 sec.
user=vaughan
[2009-05-12 15:48:30]
333*2^817236-1 is not prime.  Res64: 1B779AB121A42C30  Time : 8268.0 sec.
user=mdettweiler
[2009-05-12 15:49:28]
333*2^817374-1 is not prime.  Res64: 136C144A86B57B32  Time : 3985.0 sec.
user=vaughan
[2009-05-12 15:53:56]
327*2^817481-1 is not prime.  Res64: 4103B618833F5A9E  Time : 941.0 sec.
user=mdettweiler
[2009-05-12 15:54:27]
333*2^817383-1 is not prime.  Res64: 5121D376E83C089C  Time : 3977.0 sec.
user=vaughan
[2009-05-12 15:55:36]
321*2^817486-1 is not prime.  Res64: 83E7277F3B4131B8  Time : 943.0 sec.
user=vaughan
[2009-05-12 15:55:59]
327*2^817253-1 is not prime.  Res64: 935D31BC06B93826  Time : 8300.0 sec.
user=vaughan
[2009-05-12 15:57:18]
327*2^817249-1 is not prime.  Res64: 7980AC1F8287CA61  Time : 8510.0 sec.
user=mdettweiler
[2009-05-12 15:58:04]
327*2^817392-1 is not prime.  Res64: 88AC1343D53E682F  Time : 3986.0 sec.
user=mdettweiler
[2009-05-12 15:59:10]
333*2^817398-1 is not prime.  Res64: D09C739B900762E7  Time : 3982.0 sec.
user=vaughan
[2009-05-12 15:59:23]
315*2^817261-1 is not prime.  Res64: 802B63B87EBE51B4  Time : 8262.0 sec.
user=vaughan
[2009-05-12 16:01:20]
345*2^817504-1 is not prime.  Res64: EF9BAA245AB39352  Time : 955.0 sec.
user=vaughan
[2009-05-12 16:02:16]
339*2^817263-1 is not prime.  Res64: 065B0749D7230FB1  Time : 8267.0 sec.
user=mdettweiler
[2009-05-12 16:02:45]
315*2^817405-1 is not prime.  Res64: 48FE255213931BD4  Time : 3985.0 sec.
user=mdettweiler
[2009-05-12 16:07:40]
321*2^817414-1 is not prime.  Res64: 1C8822AFA4C3FDB2  Time : 3977.0 sec.
user=vaughan
[2009-05-12 16:09:35]
321*2^817521-1 is not prime.  Res64: 099B3946FDA16313  Time : 940.0 sec.
user=vaughan
[2009-05-12 16:09:47]
321*2^817282-1 is not prime.  Res64: EDB7D8FAABB0745E  Time : 8298.0 sec.
user=vaughan
[2009-05-12 16:11:16]
339*2^817521-1 is not prime.  Res64: 6DE3F0AC4506FF01  Time : 941.0 sec.
user=mdettweiler
[2009-05-12 16:11:20]
333*2^817416-1 is not prime.  Res64: 3F7E962314A5E366  Time : 3984.0 sec.
user=vaughan
[2009-05-12 16:11:30]
333*2^817275-1 is not prime.  Res64: 33E087DA6412B533  Time : 8511.0 sec.
user=mdettweiler
[2009-05-12 16:12:26]
339*2^817419-1 is not prime.  Res64: 984FF6EAD6587B4F  Time : 3984.0 sec.
user=vaughan
[2009-05-12 16:13:09]
333*2^817290-1 is not prime.  Res64: F5707532CE7AA9F2  Time : 8262.0 sec.
user=vaughan
[2009-05-12 16:16:03]
327*2^817293-1 is not prime.  Res64: 7172CD4C4F6E1336  Time : 8266.0 sec.
user=mdettweiler
[2009-05-12 16:16:04]
345*2^817434-1 is not prime.  Res64: A5A69D9AFEE4AF82  Time : 3986.0 sec.
user=vaughan
[2009-05-12 16:17:18]
315*2^817539-1 is not prime.  Res64: CFE3BFF0510DF6C8  Time : 958.0 sec.
user=mdettweiler
[2009-05-12 16:20:56]
339*2^817441-1 is not prime.  Res64: 3BBB91CC9DE6623D  Time : 3977.0 sec.
user=vaughan
[2009-05-12 16:23:36]
339*2^817299-1 is not prime.  Res64: 255D8FD6ACBBDCD2  Time : 8298.0 sec.
user=mdettweiler
[2009-05-12 16:24:35]
315*2^817455-1 is not prime.  Res64: B0A7F12AC4102639  Time : 3982.0 sec.
user=vaughan
[2009-05-12 16:25:13]
327*2^817548-1 is not prime.  Res64: 05FCB64370A4AF50  Time : 938.0 sec.
user=vaughan
[2009-05-12 16:25:41]
333*2^817296-1 is not prime.  Res64: 8AE089045C4CA38F  Time : 8511.0 sec.
user=mdettweiler
[2009-05-12 16:25:42]
321*2^817455-1 is not prime.  Res64: CBAD99735EE0FFD4  Time : 3984.0 sec.
user=vaughan
[2009-05-12 16:26:55]
345*2^817552-1 is not prime.  Res64: E66F03E26869C8A6  Time : 940.0 sec.
user=vaughan
[2009-05-12 16:26:56]
345*2^817305-1 is not prime.  Res64: 48F0C2657C9C9273  Time : 8263.0 sec.
user=mdettweiler
[2009-05-12 16:29:21]
339*2^817463-1 is not prime.  Res64: E8584F704607600D  Time : 3987.0 sec.
user=vaughan
[2009-05-12 16:29:49]
327*2^817313-1 is not prime.  Res64: 3743567737D39DE3  Time : 8266.0 sec.
user=vaughan
[2009-05-12 16:33:14]
345*2^817584-1 is not prime.  Res64: AD6BA307314FDF9B  Time : 957.0 sec.
user=mdettweiler
[2009-05-12 16:34:12]
333*2^817470-1 is not prime.  Res64: 8E0E2A3B912749A3  Time : 3980.0 sec.
user=vaughan
[2009-05-12 16:37:25]
315*2^817317-1 is not prime.  Res64: 32D051E2BA79E0D2  Time : 8295.0 sec.
user=mdettweiler
[2009-05-12 16:37:52]
339*2^817473-1 is not prime.  Res64: 83D7E50F08D7951A  Time : 3980.0 sec.
user=mdettweiler
[2009-05-12 16:38:59]
315*2^817478-1 is not prime.  Res64: 8A3E52C81B9FCBD2  Time : 3983.0 sec.
user=vaughan
[2009-05-12 16:39:54]
345*2^817315-1 is not prime.  Res64: 3696C7C90061F715  Time : 8514.0 sec.
user=vaughan
[2009-05-12 16:40:42]
339*2^817329-1 is not prime.  Res64: 760F1CA6F3B8D426  Time : 8263.0 sec.
user=vaughan
[2009-05-12 16:40:52]
333*2^817604-1 is not prime.  Res64: BDAA2525910CE89C  Time : 939.0 sec.
user=vaughan
[2009-05-12 16:42:34]
315*2^817619-1 is not prime.  Res64: 2DEF3FED71FD9707  Time : 940.0 sec.
user=mdettweiler
[2009-05-12 16:42:38]
345*2^817480-1 is not prime.  Res64: 9858A40CC1057EEB  Time : 3988.0 sec.
user=vaughan
[2009-05-12 16:43:36]
339*2^817333-1 is not prime.  Res64: 0C78DB56D95DE259  Time : 8266.0 sec.
user=mdettweiler
[2009-05-12 16:47:27]
315*2^817487-1 is not prime.  Res64: B80E92B37F31922C  Time : 3977.0 sec.
user=vaughan
[2009-05-12 16:49:10]
315*2^817635-1 is not prime.  Res64: 4DE9D5DE4E2B5811  Time : 957.0 sec.
user=mdettweiler
[2009-05-12 16:51:11]
321*2^817502-1 is not prime.  Res64: 8CBA947D4BBF22D4  Time : 3986.0 sec.
user=vaughan
[2009-05-12 16:51:17]
345*2^817341-1 is not prime.  Res64: E0A735D60EEDA599  Time : 8298.0 sec.
user=mdettweiler
[2009-05-12 16:52:14]
339*2^817515-1 is not prime.  Res64: 051C86655E21DE4F  Time : 3981.0 sec.
user=vaughan
[2009-05-12 16:54:05]
327*2^817340-1 is not prime.  Res64: D2F973162074A2DB  Time : 8513.0 sec.
user=vaughan
[2009-05-12 16:54:28]
315*2^817354-1 is not prime.  Res64: F03214ED5F60577A  Time : 8263.0 sec.
user=mdettweiler
[2009-05-12 16:55:56]
333*2^817520-1 is not prime.  Res64: CB283C2223AC7E31  Time : 3988.0 sec.
user=vaughan
[2009-05-12 16:56:30]
339*2^817645-1 is not prime.  Res64: 3FBE1098B6BE44D2  Time : 938.0 sec.
user=vaughan
[2009-05-12 16:57:21]
321*2^817367-1 is not prime.  Res64: B1CAEA9FEAF10832  Time : 8266.0 sec.
user=vaughan
[2009-05-12 16:58:13]
315*2^817647-1 is not prime.  Res64: 1681D7A8045C08BF  Time : 940.0 sec.
user=mdettweiler
[2009-05-12 17:00:43]
327*2^817521-1 is not prime.  Res64: 590DE9B97F98D767  Time : 3977.0 sec.
user=mdettweiler
[2009-05-12 17:04:28]
339*2^817528-1 is not prime.  Res64: 8330627FC8FAF08A  Time : 3984.0 sec.
user=vaughan
[2009-05-12 17:05:06]
315*2^817655-1 is not prime.  Res64: 1D5BF7488A193068  Time : 956.0 sec.
user=vaughan
[2009-05-12 17:05:07]
339*2^817381-1 is not prime.  Res64: 6D8BBAB60E39F6D5  Time : 8299.0 sec.
user=mdettweiler
[2009-05-12 17:05:33]
315*2^817534-1 is not prime.  Res64: C04899119C201904  Time : 3983.0 sec.
user=vaughan
[2009-05-12 17:08:15]
315*2^817387-1 is not prime.  Res64: 5AFB9B80CFBF603C  Time : 8264.0 sec.
user=vaughan
[2009-05-12 17:08:17]
339*2^817379-1 is not prime.  Res64: FAED53D84B461FD3  Time : 8514.0 sec.
user=mdettweiler
[2009-05-12 17:09:15]
327*2^817545-1 is not prime.  Res64: 3B73C2B793099513  Time : 3990.0 sec.
user=vaughan
[2009-05-12 17:11:09]
321*2^817401-1 is not prime.  Res64: CE0C163FC413382B  Time : 8267.0 sec.
user=vaughan
[2009-05-12 17:12:09]
321*2^817671-1 is not prime.  Res64: 56105F1EB449CB72  Time : 939.0 sec.
user=vaughan
[2009-05-12 17:13:53]
327*2^817674-1 is not prime.  Res64: 5CEA460E5D86160B  Time : 941.0 sec.
user=mdettweiler
[2009-05-12 17:14:00]
339*2^817547-1 is not prime.  Res64: 790B074EB0051253  Time : 3980.0 sec.
user=mdettweiler
[2009-05-12 17:17:44]
315*2^817555-1 is not prime.  Res64: AB33DE6AC801B548  Time : 3984.0 sec.
user=mdettweiler
[2009-05-12 17:18:50]
321*2^817573-1 is not prime.  Res64: 7EF3D70DD14BF67D  Time : 3985.0 sec.
user=vaughan
[2009-05-12 17:18:57]
327*2^817413-1 is not prime.  Res64: 829C467346093B16  Time : 8300.0 sec.
user=vaughan
[2009-05-12 17:21:01]
333*2^817680-1 is not prime.  Res64: 2D10BF35977CF9F4  Time : 955.0 sec.
user=vaughan
[2009-05-12 17:22:01]
327*2^817416-1 is not prime.  Res64: BBF2A710010C4522  Time : 8264.0 sec.
user=vaughan
[2009-05-12 17:22:28]
315*2^817408-1 is not prime.  Res64: B6AA6CFE1AD410A5  Time : 8515.0 sec.
user=mdettweiler
[2009-05-12 17:22:31]
345*2^817579-1 is not prime.  Res64: 39E15D67CA6A425D  Time : 3987.0 sec.
user=vaughan
[2009-05-12 17:24:56]
339*2^817421-1 is not prime.  Res64: 6920AE5F05718CE2  Time : 8268.0 sec.
user=mdettweiler
[2009-05-12 17:27:16]
315*2^817588-1 is not prime.  Res64: 26992925286C6AB2  Time : 3980.0 sec.
user=vaughan
[2009-05-12 17:27:47]
327*2^817698-1 is not prime.  Res64: B2C2996E23457188  Time : 938.0 sec.
user=vaughan
[2009-05-12 17:29:33]
333*2^817698-1 is not prime.  Res64: 4C5E87BD9A971072  Time : 940.0 sec.
user=mdettweiler
[2009-05-12 17:31:03]
327*2^817602-1 is not prime.  Res64: 89519670C381A35E  Time : 3988.0 sec.
user=mdettweiler
[2009-05-12 17:32:09]
315*2^817614-1 is not prime.  Res64: 3C66623BFB9FF129  Time : 3987.0 sec.
user=vaughan
[2009-05-12 17:32:47]
345*2^817437-1 is not prime.  Res64: 832401AD100A7354  Time : 8301.0 sec.
user=vaughan
[2009-05-12 17:35:50]
339*2^817451-1 is not prime.  Res64: BC56064BA3CBF662  Time : 8266.0 sec.
user=mdettweiler
[2009-05-12 17:35:50]
339*2^817621-1 is not prime.  Res64: 9032E3A35F51DFB1  Time : 3989.0 sec.
user=vaughan
[2009-05-12 17:36:43]
339*2^817443-1 is not prime.  Res64: D2F2AE3BF7FBE697  Time : 8518.0 sec.
user=vaughan
[2009-05-12 17:36:59]
327*2^817706-1 is not prime.  Res64: 0F3539A9DC20B755  Time : 958.0 sec.
user=vaughan
[2009-05-12 17:38:43]
339*2^817457-1 is not prime.  Res64: 34B01279995F919B  Time : 8267.0 sec.
user=mdettweiler
[2009-05-12 17:40:34]
345*2^817635-1 is not prime.  Res64: A5108E66D0352479  Time : 3982.0 sec.
user=vaughan
[2009-05-12 17:43:26]
327*2^817721-1 is not prime.  Res64: C77880A41D656F1E  Time : 939.0 sec.
user=mdettweiler
[2009-05-12 17:44:20]
345*2^817639-1 is not prime.  Res64: 52263368E60949D7  Time : 3988.0 sec.
user=vaughan
[2009-05-12 17:45:13]
345*2^817722-1 is not prime.  Res64: 24D89D05B77B55C2  Time : 941.0 sec.
user=mdettweiler
[2009-05-12 17:45:28]
339*2^817640-1 is not prime.  Res64: 6BFAE4B17F6D956C  Time : 3990.0 sec.
user=vaughan
[2009-05-12 17:46:36]
345*2^817470-1 is not prime.  Res64: A53376C37B251A73  Time : 8300.0 sec.
user=mdettweiler
[2009-05-12 17:49:07]
315*2^817650-1 is not prime.  Res64: 955C3695E37EE07C  Time : 3989.0 sec.
user=vaughan
[2009-05-12 17:49:32]
345*2^817476-1 is not prime.  Res64: 66260D31EE50CABE  Time : 8262.0 sec.
user=vaughan
[2009-05-12 17:50:54]
315*2^817471-1 is not prime.  Res64: 1980E621DF13079F  Time : 8519.0 sec.
user=vaughan
[2009-05-12 17:52:30]
339*2^817480-1 is not prime.  Res64: 0E4221DB733381D0  Time : 8267.0 sec.
user=vaughan
[2009-05-12 17:52:56]
345*2^817735-1 is not prime.  Res64: E686D617EC75EF00  Time : 957.0 sec.
user=mdettweiler
[2009-05-12 17:53:49]
327*2^817652-1 is not prime.  Res64: ACA644C03E982BCC  Time : 3982.0 sec.
user=mdettweiler
[2009-05-12 17:57:39]
333*2^817659-1 is not prime.  Res64: A12B500D2E13ADC4  Time : 3988.0 sec.
user=mdettweiler
[2009-05-12 17:58:49]
315*2^817662-1 is not prime.  Res64: 1999EB3A6FEEC19A  Time : 3995.0 sec.
user=vaughan
[2009-05-12 17:59:10]
345*2^817752-1 is not prime.  Res64: DA79CFE46F3AF16A  Time : 944.0 sec.
user=vaughan
[2009-05-12 18:00:30]
345*2^817495-1 is not prime.  Res64: 3D90F7B79BC0EC95  Time : 8304.0 sec.
user=vaughan
[2009-05-12 18:00:54]
315*2^817757-1 is not prime.  Res64: 9DDAD248B07503DC  Time : 942.0 sec.
user=mdettweiler
[2009-05-12 18:02:25]
333*2^817667-1 is not prime.  Res64: C1E5125D9A26B287  Time : 3989.0 sec.
user=vaughan
[2009-05-12 18:03:19]
339*2^817509-1 is not prime.  Res64: 420AD2D0F07CA058  Time : 8263.0 sec.
user=vaughan
[2009-05-12 18:05:10]
321*2^817497-1 is not prime.  Res64: A3876037C25341F0  Time : 8523.0 sec.
user=vaughan
[2009-05-12 18:06:18]
339*2^817517-1 is not prime.  Res64: D42A32DF6A7FA546  Time : 8268.0 sec.
user=mdettweiler
[2009-05-12 18:07:13]
333*2^817674-1 is not prime.  Res64: DAA08B7EE77C79E4  Time : 3990.0 sec.
user=vaughan
[2009-05-12 18:08:54]
321*2^817777-1 is not prime.  Res64: 2041C73E5B2779B3  Time : 958.0 sec.
user=mdettweiler
[2009-05-12 18:10:58]
345*2^817675-1 is not prime.  Res64: 3250279AEAC55EED  Time : 3990.0 sec.
user=mdettweiler
[2009-05-12 18:12:08]
333*2^817683-1 is not prime.  Res64: 5EE7C02EAD5FB371  Time : 3995.0 sec.
user=vaughan
[2009-05-12 18:14:19]
315*2^817526-1 is not prime.  Res64: 364268B1A4DA7669  Time : 8302.0 sec.
user=vaughan
[2009-05-12 18:14:49]
345*2^817786-1 is not prime.  Res64: AE027AD51F80BE1C  Time : 940.0 sec.
user=mdettweiler
[2009-05-12 18:15:39]
339*2^817693-1 is not prime.  Res64: B48448CF831E37C7  Time : 3984.0 sec.
user=vaughan
[2009-05-12 18:16:33]
315*2^817788-1 is not prime.  Res64: B6BDE66DFC731080  Time : 939.0 sec.
user=vaughan
[2009-05-12 18:17:04]
315*2^817536-1 is not prime.  Res64: 9DB9EAD7932D8741  Time : 8261.0 sec.
user=vaughan
[2009-05-12 18:19:22]
333*2^817526-1 is not prime.  Res64: DAE711CC77D5F603  Time : 8525.0 sec.
user=vaughan
[2009-05-12 18:20:10]
321*2^817541-1 is not prime.  Res64: AAF016FBF19EE689  Time : 8274.0 sec.
user=mdettweiler
[2009-05-12 18:20:28]
321*2^817701-1 is not prime.  Res64: 625284A2241BFDD8  Time : 3988.0 sec.
user=mdettweiler
[2009-05-12 18:24:12]
345*2^817702-1 is not prime.  Res64: 20A6E4B225E1F1A0  Time : 3989.0 sec.
user=vaughan
[2009-05-12 18:24:50]
345*2^817795-1 is not prime.  Res64: C6E0F0AE1AB8CC26  Time : 956.0 sec.
user=mdettweiler
[2009-05-12 18:25:22]
339*2^817703-1 is not prime.  Res64: C000B554F08591BA  Time : 3992.0 sec.
user=vaughan
[2009-05-12 18:28:09]
315*2^817550-1 is not prime.  Res64: 42571A055FDD96E4  Time : 8302.0 sec.
user=mdettweiler
[2009-05-12 18:28:58]
315*2^817719-1 is not prime.  Res64: 8ED22D680D1F78E5  Time : 3987.0 sec.
user=vaughan
[2009-05-12 18:30:27]
339*2^817803-1 is not prime.  Res64: 71F94455C552C24A  Time : 938.0 sec.
user=vaughan
[2009-05-12 18:30:51]
315*2^817574-1 is not prime.  Res64: 9C3EDE16A5D76DCA  Time : 8262.0 sec.
user=vaughan
[2009-05-12 18:32:13]
321*2^817810-1 is not prime.  Res64: 3180DF6E227F0CBD  Time : 940.0 sec.
user=vaughan
[2009-05-12 18:33:31]
321*2^817565-1 is not prime.  Res64: 2C6DDA215CC869F3  Time : 8521.0 sec.
user=mdettweiler
[2009-05-12 18:33:44]
339*2^817720-1 is not prime.  Res64: 57896DCBD5D4F0FD  Time : 3988.0 sec.
user=vaughan
[2009-05-12 18:33:50]
327*2^817578-1 is not prime.  Res64: 5017C712C2C7BA6C  Time : 8268.0 sec.
user=mdettweiler
[2009-05-12 18:37:30]
327*2^817725-1 is not prime.  Res64: D8DFA409E8E64CAA  Time : 3987.0 sec.
user=mdettweiler
[2009-05-12 18:38:38]
315*2^817727-1 is not prime.  Res64: 28534B5EB8E54156  Time : 3990.0 sec.
user=vaughan
[2009-05-12 18:40:47]
327*2^817833-1 is not prime.  Res64: 331C8B5223D77B74  Time : 957.0 sec.
user=vaughan
[2009-05-12 18:42:00]
321*2^817602-1 is not prime.  Res64: ED1119E33E39B076  Time : 8304.0 sec.
user=mdettweiler
[2009-05-12 18:42:14]
315*2^817735-1 is not prime.  Res64: 0101A17858C404C9  Time : 3984.0 sec.
user=vaughan
[2009-05-12 18:44:37]
345*2^817620-1 is not prime.  Res64: 1D08C28D23332CC9  Time : 8262.0 sec.
user=vaughan
[2009-05-12 18:45:55]
339*2^808169-1 is not prime.  Res64: 429B50EB7ECF910B  Time : 928.0 sec.
user=mdettweiler
[2009-05-12 18:47:00]
339*2^817747-1 is not prime.  Res64: 6FC9D878985FEAAA  Time : 3986.0 sec.
user=vaughan
[2009-05-12 18:47:38]
345*2^817626-1 is not prime.  Res64: 336DB4D7EEDB4AA0  Time : 8269.0 sec.
user=vaughan
[2009-05-12 18:47:40]
327*2^808173-1 is not prime.  Res64: CA11458276F7E481  Time : 927.0 sec.
user=vaughan
[2009-05-12 18:47:43]
327*2^817605-1 is not prime.  Res64: AEB6373EE6042280  Time : 8522.0 sec.
user=mdettweiler
[2009-05-12 18:50:47]
327*2^817754-1 is not prime.  Res64: 42835AAC83AE0E92  Time : 3987.0 sec.
user=mdettweiler
[2009-05-12 18:51:55]
333*2^817758-1 is not prime.  Res64: 368797249B22EDAA  Time : 3987.0 sec.
user=mdettweiler
[2009-05-12 18:55:39]
327*2^817764-1 is not prime.  Res64: 40BF32696840F968  Time : 3992.0 sec.
user=vaughan
[2009-05-12 18:55:47]
339*2^817639-1 is not prime.  Res64: 9FF41A557DD21B3B  Time : 8302.0 sec.
user=vaughan
[2009-05-12 18:56:32]
315*2^808198-1 is not prime.  Res64: C871FD5ADA2FCE02  Time : 945.0 sec.
user=vaughan
[2009-05-12 18:58:22]
321*2^817645-1 is not prime.  Res64: 00A8E2F13E75AF88  Time : 8261.0 sec.
user=mdettweiler
[2009-05-12 19:00:37]
327*2^817780-1 is not prime.  Res64: 73BF9FAB3097C8E0  Time : 4008.0 sec.
user=vaughan
[2009-05-12 19:01:23]
321*2^808210-1 is not prime.  Res64: EA914582C2CED9DB  Time : 928.0 sec.
user=vaughan
[2009-05-12 19:01:25]
333*2^817650-1 is not prime.  Res64: A42EC42FC2EBB87C  Time : 8269.0 sec.
user=vaughan
[2009-05-12 19:01:55]
315*2^817642-1 is not prime.  Res64: 3E2BCCD887F3DDDC  Time : 8521.0 sec.
user=vaughan
[2009-05-12 19:03:09]
321*2^808215-1 is not prime.  Res64: 647106AAF12F41E4  Time : 929.0 sec.
user=mdettweiler
[2009-05-12 19:04:26]
327*2^817781-1 is not prime.  Res64: 4185ED0752E7AC9E  Time : 4008.0 sec.
user=mdettweiler
[2009-05-12 19:05:37]
321*2^817785-1 is not prime.  Res64: ADEB83299DB68960  Time : 4009.0 sec.
user=mdettweiler
[2009-05-12 19:09:30]
315*2^817789-1 is not prime.  Res64: E352ADE8C08FEC97  Time : 4025.0 sec.
user=vaughan
[2009-05-12 19:09:37]
339*2^817661-1 is not prime.  Res64: E242D261BD2E21B2  Time : 8300.0 sec.
user=vaughan
[2009-05-12 19:12:08]
321*2^817666-1 is not prime.  Res64: B6F6F5F926523022  Time : 8261.0 sec.
user=vaughan
[2009-05-12 19:12:17]
315*2^808227-1 is not prime.  Res64: 8D6D15BFD8F6522B  Time : 945.0 sec.
user=mdettweiler
[2009-05-12 19:14:19]
339*2^817795-1 is not prime.  Res64: 5047FDE90C1F2AC4  Time : 4027.0 sec.
user=vaughan
[2009-05-12 19:15:12]
327*2^817673-1 is not prime.  Res64: B64EA2E89FAD91FE  Time : 8271.0 sec.
user=vaughan
[2009-05-12 19:16:07]
321*2^817662-1 is not prime.  Res64: 880F3947B54A164D  Time : 8523.0 sec.
user=vaughan
[2009-05-12 19:16:50]
339*2^808240-1 is not prime.  Res64: FA1BF376359D9776  Time : 927.0 sec.
user=mdettweiler
[2009-05-12 19:17:58]
333*2^817796-1 is not prime.  Res64: 2227FD9630FE5625  Time : 4020.0 sec.
user=vaughan
[2009-05-12 19:18:38]
333*2^808244-1 is not prime.  Res64: 943F3ABC7476789D  Time : 929.0 sec.
user=mdettweiler
[2009-05-12 19:19:08]
315*2^817798-1 is not prime.  Res64: 57B726083A0D48A5  Time : 4021.0 sec.
user=mdettweiler
[2009-05-12 19:23:13]
321*2^817807-1 is not prime.  Res64: 2FAAF7906D638553  Time : 4054.0 sec.
user=vaughan
[2009-05-12 19:23:27]
315*2^817682-1 is not prime.  Res64: CA90CD33AE5A0CF6  Time : 8300.0 sec.
user=vaughan
[2009-05-12 19:25:53]
339*2^817685-1 is not prime.  Res64: 61F25E01CE87AE1D  Time : 8258.0 sec.
user=mdettweiler
[2009-05-12 19:28:02]
315*2^817828-1 is not prime.  Res64: 0743851617E73DF8  Time : 4054.0 sec.
user=vaughan
[2009-05-12 19:28:02]
327*2^808261-1 is not prime.  Res64: AC2EA5678515D49C  Time : 945.0 sec.
user=vaughan
[2009-05-12 19:28:58]
333*2^817695-1 is not prime.  Res64: D6B42F6842AA449A  Time : 8269.0 sec.
user=vaughan
[2009-05-12 19:30:19]
339*2^817689-1 is not prime.  Res64: 8A05E677ACDB3121  Time : 8522.0 sec.
user=mdettweiler
[2009-05-12 19:31:37]
339*2^817829-1 is not prime.  Res64: 6F1FCED2C2D3E003  Time : 4045.0 sec.
user=vaughan
[2009-05-12 19:32:18]
339*2^808285-1 is not prime.  Res64: 33321A1078533BF7  Time : 928.0 sec.
user=mdettweiler
[2009-05-12 19:32:26]
327*2^808164-1 is not prime.  Res64: C4F012043658B4F4  Time : 4024.0 sec.
user=vaughan
[2009-05-12 19:34:07]
333*2^808286-1 is not prime.  Res64: C7F1122ACC1400F7  Time : 929.0 sec.
user=mdettweiler
[2009-05-12 19:36:38]
345*2^808167-1 is not prime.  Res64: E431D0375482F387  Time : 4061.0 sec.
user=vaughan
[2009-05-12 19:37:17]
315*2^817704-1 is not prime.  Res64: B4D945FD02BCAB86  Time : 8300.0 sec.
user=vaughan
[2009-05-12 19:39:38]
327*2^817712-1 is not prime.  Res64: 04288CA2E012BE21  Time : 8257.0 sec.
user=mdettweiler
[2009-05-12 19:41:12]
339*2^808183-1 is not prime.  Res64: D4229FCC53426200  Time : 4048.0 sec.
user=vaughan
[2009-05-12 19:42:46]
315*2^817720-1 is not prime.  Res64: 4C03E0576FC289A3  Time : 8271.0 sec.
user=vaughan
[2009-05-12 19:43:46]
339*2^808301-1 is not prime.  Res64: B4B2F543F112DF4E  Time : 945.0 sec.
user=vaughan
[2009-05-12 19:44:33]
339*2^817712-1 is not prime.  Res64: C77685105ECDBBF4  Time : 8525.0 sec.
user=mdettweiler
[2009-05-12 19:44:47]
327*2^808188-1 is not prime.  Res64: D9AD532B1A1D25F4  Time : 4037.0 sec.
user=mdettweiler
[2009-05-12 19:45:33]
339*2^808189-1 is not prime.  Res64: A21BD95A09958163  Time : 4015.0 sec.
user=vaughan
[2009-05-12 19:47:46]
327*2^808314-1 is not prime.  Res64: 9316DD97875AAD47  Time : 928.0 sec.
user=vaughan
[2009-05-12 19:49:36]
327*2^808316-1 is not prime.  Res64: 8ED68B4E82AD803B  Time : 929.0 sec.
user=mdettweiler
[2009-05-12 19:49:47]
327*2^808205-1 is not prime.  Res64: B73C9570A1B2472B  Time : 4053.0 sec.
user=vaughan
[2009-05-12 19:51:07]
333*2^817730-1 is not prime.  Res64: DDAC05BB3924FE81  Time : 8300.0 sec.
user=vaughan
[2009-05-12 19:53:25]
345*2^817731-1 is not prime.  Res64: 28DFB5326B7E5E4C  Time : 8256.0 sec.
user=mdettweiler
[2009-05-12 19:54:22]
339*2^808211-1 is not prime.  Res64: ABF42CA033A2A40A  Time : 4042.0 sec.
user=vaughan
[2009-05-12 19:56:33]
339*2^817745-1 is not prime.  Res64: D73ACD6D56800D84  Time : 8270.0 sec.
user=mdettweiler
[2009-05-12 19:57:55]
333*2^808220-1 is not prime.  Res64: C3FDE7B71F1C849F  Time : 4028.0 sec.
user=mdettweiler
[2009-05-12 19:58:39]
321*2^808221-1 is not prime.  Res64: 915BDD76D307FB1C  Time : 4004.0 sec.
user=vaughan
[2009-05-12 19:58:47]
339*2^817735-1 is not prime.  Res64: 73D206F1A8D11AAC  Time : 8524.0 sec.
user=vaughan
[2009-05-12 19:59:31]
315*2^808336-1 is not prime.  Res64: 017D67938C944EF7  Time : 945.0 sec.
user=mdettweiler
[2009-05-12 20:02:52]
327*2^808221-1 is not prime.  Res64: CBFDF71E7EC7BCB1  Time : 4033.0 sec.
user=vaughan
[2009-05-12 20:03:14]
345*2^808347-1 is not prime.  Res64: 5C3BD97DA2984309  Time : 928.0 sec.
user=vaughan
[2009-05-12 20:04:59]
327*2^817760-1 is not prime.  Res64: 9C2E94F6D639F946  Time : 8303.0 sec.
user=vaughan
[2009-05-12 20:05:04]
327*2^808353-1 is not prime.  Res64: BCE7E86A8475F389  Time : 929.0 sec.
user=vaughan
[2009-05-12 20:07:11]
345*2^817771-1 is not prime.  Res64: D8690E4E5246749B  Time : 8259.0 sec.
user=mdettweiler
[2009-05-12 20:07:29]
315*2^808234-1 is not prime.  Res64: 1C543D3557673FE5  Time : 4012.0 sec.
user=vaughan
[2009-05-12 20:10:21]
333*2^817776-1 is not prime.  Res64: 196669630B1BDD08  Time : 8271.0 sec.
user=mdettweiler
[2009-05-12 20:11:04]
315*2^808246-1 is not prime.  Res64: 6D445B3AE7032FD7  Time : 3998.0 sec.
user=mdettweiler
[2009-05-12 20:11:47]
321*2^808246-1 is not prime.  Res64: 13530C4681E29CE2  Time : 3970.0 sec.
user=vaughan
[2009-05-12 20:12:59]
315*2^817775-1 is not prime.  Res64: D66617F643218925  Time : 8526.0 sec.
user=vaughan
[2009-05-12 20:15:17]
333*2^808376-1 is not prime.  Res64: F42DB221A9BDA618  Time : 946.0 sec.
user=mdettweiler
[2009-05-12 20:16:01]
315*2^808247-1 is not prime.  Res64: B786742EC7FE04EE  Time : 3991.0 sec.
user=vaughan
[2009-05-12 20:18:41]
345*2^808380-1 is not prime.  Res64: B27FA470BB880942  Time : 928.0 sec.
user=vaughan
[2009-05-12 20:18:49]
333*2^817787-1 is not prime.  Res64: A2DD198E332EAD60  Time : 8300.0 sec.
user=vaughan
[2009-05-12 20:20:33]
321*2^808382-1 is not prime.  Res64: 4BEFCDCC9ECC6D60  Time : 929.0 sec.
user=mdettweiler
[2009-05-12 20:20:38]
327*2^808269-1 is not prime.  Res64: 0C9702AE8E156209  Time : 3979.0 sec.
user=vaughan
[2009-05-12 20:20:57]
315*2^817790-1 is not prime.  Res64: 1D753E3526A11861  Time : 8258.0 sec.
user=vaughan
[2009-05-12 20:24:09]
333*2^817794-1 is not prime.  Res64: C5AFCE63D49CBC60  Time : 8272.0 sec.
user=mdettweiler
[2009-05-12 20:24:11]
321*2^808286-1 is not prime.  Res64: ABD30235FE9F218D  Time : 3973.0 sec.
user=mdettweiler
[2009-05-12 20:24:58]
321*2^808290-1 is not prime.  Res64: F3D8D8931278157F  Time : 3950.0 sec.
user=vaughan
[2009-05-12 20:27:12]
321*2^817791-1 is not prime.  Res64: 9670B11E1C9C0946  Time : 8523.0 sec.
user=mdettweiler
[2009-05-12 20:29:05]
327*2^808298-1 is not prime.  Res64: 28B709C80D0EFA0B  Time : 3952.0 sec.
user=vaughan
[2009-05-12 20:31:02]
327*2^808402-1 is not prime.  Res64: 908BCE99208CD842  Time : 946.0 sec.
user=vaughan
[2009-05-12 20:32:39]
321*2^817798-1 is not prime.  Res64: 5E673F8B14AF8A72  Time : 8300.0 sec.
user=mdettweiler
[2009-05-12 20:33:43]
315*2^808302-1 is not prime.  Res64: 2179C26858B6D78F  Time : 3941.0 sec.
user=vaughan
[2009-05-12 20:34:08]
339*2^808408-1 is not prime.  Res64: 5EB41A8F1B3443D4  Time : 928.0 sec.
user=vaughan
[2009-05-12 20:34:42]
339*2^817811-1 is not prime.  Res64: 623B0658C98AB759  Time : 8258.0 sec.
user=vaughan
[2009-05-12 20:36:03]
315*2^808411-1 is not prime.  Res64: 23288BC66D35BB8E  Time : 930.0 sec.
user=mdettweiler
[2009-05-12 20:37:20]
345*2^808312-1 is not prime.  Res64: 282370D5450BC573  Time : 3943.0 sec.
user=vaughan
[2009-05-12 20:37:56]
321*2^817822-1 is not prime.  Res64: 124161DBF8DC2115  Time : 8267.0 sec.
user=mdettweiler
[2009-05-12 20:38:02]
333*2^808314-1 is not prime.  Res64: D8EACBA7A4F6AD41  Time : 3936.0 sec.
user=vaughan
[2009-05-12 20:41:26]
333*2^817814-1 is not prime.  Res64: 01F2B53C4A290EB2  Time : 8525.0 sec.
user=mdettweiler
[2009-05-12 20:42:11]
315*2^808317-1 is not prime.  Res64: CE1C6C07ABC58DD2  Time : 3933.0 sec.
user=vaughan
[2009-05-12 20:46:21]
321*2^808166-1 is not prime.  Res64: C21628412E3018FC  Time : 8292.0 sec.
user=vaughan
[2009-05-12 20:46:48]
333*2^808434-1 is not prime.  Res64: E6CC1E723E58068D  Time : 946.0 sec.
user=mdettweiler
[2009-05-12 20:46:49]
321*2^808327-1 is not prime.  Res64: E115E00146A0C19B  Time : 3937.0 sec.
user=vaughan
[2009-05-12 20:48:19]
333*2^808170-1 is not prime.  Res64: AB63EE3925415A92  Time : 8248.0 sec.
user=vaughan
[2009-05-12 20:49:36]
327*2^808440-1 is not prime.  Res64: B64EA63B2D97510D  Time : 928.0 sec.
user=mdettweiler
[2009-05-12 20:50:28]
321*2^808341-1 is not prime.  Res64: 8EC84ACBA096636A  Time : 3941.0 sec.
user=mdettweiler
[2009-05-12 20:51:12]
327*2^808344-1 is not prime.  Res64: ADD107F0C1B57471  Time : 3940.0 sec.
user=vaughan
[2009-05-12 20:51:31]
327*2^808449-1 is not prime.  Res64: F9A0AF0B44958904  Time : 929.0 sec.
user=vaughan
[2009-05-12 20:51:33]
327*2^808185-1 is not prime.  Res64: 69285ED8D82FAC30  Time : 8263.0 sec.
user=mdettweiler
[2009-05-12 20:55:16]
315*2^808354-1 is not prime.  Res64: C10692C12DF05F70  Time : 3929.0 sec.
user=vaughan
[2009-05-12 20:55:29]
321*2^808175-1 is not prime.  Res64: 17D06B2900B0E07E  Time : 8519.0 sec.
user=mdettweiler
[2009-05-12 20:59:58]
345*2^808359-1 is not prime.  Res64: 1437497EB235D83E  Time : 3936.0 sec.
user=vaughan
[2009-05-12 21:00:01]
345*2^808204-1 is not prime.  Res64: A5FB1BF07F7380D3  Time : 8281.0 sec.
user=vaughan
[2009-05-12 21:01:55]
345*2^808207-1 is not prime.  Res64: 505814661BB1B26C  Time : 8238.0 sec.
user=vaughan
[2009-05-12 21:02:33]
315*2^808464-1 is not prime.  Res64: 3771146D8B081336  Time : 946.0 sec.
user=mdettweiler
[2009-05-12 21:03:36]
315*2^808365-1 is not prime.  Res64: B706EF15FC21B64E  Time : 3941.0 sec.
user=mdettweiler
[2009-05-12 21:04:16]
327*2^808365-1 is not prime.  Res64: 4BA5E370EE28A082  Time : 3937.0 sec.
user=vaughan
[2009-05-12 21:05:04]
345*2^808474-1 is not prime.  Res64: D3F01D284105C5B2  Time : 928.0 sec.
user=vaughan
[2009-05-12 21:05:11]
315*2^808214-1 is not prime.  Res64: 26894AF7F783F336  Time : 8254.0 sec.
user=vaughan
[2009-05-12 21:07:00]
339*2^808479-1 is not prime.  Res64: CC4D7A3F4389DD6E  Time : 929.0 sec.
user=mdettweiler
[2009-05-12 21:08:25]
315*2^808380-1 is not prime.  Res64: 1C878352D8365FD6  Time : 3933.0 sec.
user=vaughan
[2009-05-12 21:09:32]
315*2^808219-1 is not prime.  Res64: 885680FF15A6E23B  Time : 8509.0 sec.
user=mdettweiler
[2009-05-12 21:13:02]
333*2^808386-1 is not prime.  Res64: FA096A46D4983C3B  Time : 3933.0 sec.
user=vaughan
[2009-05-12 21:13:42]
327*2^808226-1 is not prime.  Res64: E6E8F3E943388117  Time : 8276.0 sec.
user=vaughan
[2009-05-12 21:15:32]
345*2^808227-1 is not prime.  Res64: 30C62F856F3FD737  Time : 8230.0 sec.
user=mdettweiler
[2009-05-12 21:16:44]
339*2^808400-1 is not prime.  Res64: 44473CA14F8C5E0E  Time : 3940.0 sec.
user=mdettweiler
[2009-05-12 21:17:23]
315*2^808402-1 is not prime.  Res64: 330D5CD691C5EB30  Time : 3937.0 sec.
user=vaughan
[2009-05-12 21:18:19]
321*2^808511-1 is not prime.  Res64: D4A102CEF4821720  Time : 946.0 sec.
user=vaughan
[2009-05-12 21:18:48]
327*2^808241-1 is not prime.  Res64: 01596FB0D321CCED  Time : 8243.0 sec.
user=vaughan
[2009-05-12 21:20:32]
327*2^808521-1 is not prime.  Res64: 0C46AD155E7D6FA3  Time : 928.0 sec.
user=mdettweiler
[2009-05-12 21:21:33]
327*2^808408-1 is not prime.  Res64: 515599ABE3212333  Time : 3933.0 sec.
user=vaughan
[2009-05-12 21:22:29]
333*2^808526-1 is not prime.  Res64: 1E452F521AB705D4  Time : 929.0 sec.
user=vaughan
[2009-05-12 21:23:37]
327*2^808242-1 is not prime.  Res64: 42D109996BA49CD7  Time : 8502.0 sec.
user=mdettweiler
[2009-05-12 21:26:10]
315*2^808416-1 is not prime.  Res64: 9E41AB753344F864  Time : 3933.0 sec.
user=vaughan
[2009-05-12 21:27:23]
327*2^808249-1 is not prime.  Res64: 03B574B17AA09D89  Time : 8266.0 sec.
user=vaughan
[2009-05-12 21:29:08]
345*2^808260-1 is not prime.  Res64: F350E4BB33F61AFE  Time : 8220.0 sec.
user=mdettweiler
[2009-05-12 21:29:51]
321*2^808425-1 is not prime.  Res64: 8A3752AEEA41A984  Time : 3940.0 sec.
user=mdettweiler
[2009-05-12 21:30:30]
327*2^808425-1 is not prime.  Res64: C1F1D3CFAF172D13  Time : 3932.0 sec.
user=vaughan
[2009-05-12 21:32:25]
345*2^808281-1 is not prime.  Res64: 040F8BB77BAFCD99  Time : 8234.0 sec.
user=vaughan
[2009-05-12 21:34:04]
345*2^808546-1 is not prime.  Res64: CE1323003CCDC0A9  Time : 946.0 sec.
user=mdettweiler
[2009-05-12 21:34:41]
321*2^808431-1 is not prime.  Res64: AB57AC6063C39B51  Time : 3937.0 sec.
user=vaughan
[2009-05-12 21:36:00]
315*2^808554-1 is not prime.  Res64: F830DF91CEBC5190  Time : 928.0 sec.
user=vaughan
[2009-05-12 21:37:39]
315*2^808282-1 is not prime.  Res64: B2B9008E4521670F  Time : 8492.0 sec.
user=vaughan
[2009-05-12 21:37:57]
333*2^808554-1 is not prime.  Res64: 8EAA223C9958EFDD  Time : 928.0 sec.
user=mdettweiler
[2009-05-12 21:39:17]
315*2^808439-1 is not prime.  Res64: 6EAF743578F72CB6  Time : 3934.0 sec.
user=vaughan
[2009-05-12 21:41:03]
345*2^808299-1 is not prime.  Res64: 99CAFA305D92259A  Time : 8256.0 sec.
user=vaughan
[2009-05-12 21:42:46]
345*2^808300-1 is not prime.  Res64: DA9395877AE3040D  Time : 8213.0 sec.
user=mdettweiler
[2009-05-12 21:43:00]
321*2^808453-1 is not prime.  Res64: 4519FF66EF723A0A  Time : 3940.0 sec.
user=mdettweiler
[2009-05-12 21:43:36]
333*2^808458-1 is not prime.  Res64: 77AB35222BED88C3  Time : 3934.0 sec.
user=vaughan
[2009-05-12 21:46:03]
327*2^808309-1 is not prime.  Res64: E58214634107EFAC  Time : 8225.0 sec.
user=mdettweiler
[2009-05-12 21:47:49]
321*2^808462-1 is not prime.  Res64: DD93729FFF397A30  Time : 3939.0 sec.
user=vaughan
[2009-05-12 21:49:50]
333*2^808566-1 is not prime.  Res64: 8FB4DC2FE101791E  Time : 946.0 sec.
user=vaughan
[2009-05-12 21:51:28]
327*2^808572-1 is not prime.  Res64: 607C50DBFA7798E8  Time : 928.0 sec.
user=vaughan
[2009-05-12 21:51:40]
315*2^808310-1 is not prime.  Res64: 5D55EC835348D3FC  Time : 8481.0 sec.
user=mdettweiler
[2009-05-12 21:52:25]
321*2^808465-1 is not prime.  Res64: A790192520D8E5A0  Time : 3936.0 sec.
user=vaughan
[2009-05-12 21:53:26]
321*2^808585-1 is not prime.  Res64: BEB2C91A4EBE256D  Time : 929.0 sec.
user=vaughan
[2009-05-12 21:54:44]
327*2^808320-1 is not prime.  Res64: CDCD8605A093EACD  Time : 8248.0 sec.
user=mdettweiler
[2009-05-12 21:56:08]
339*2^808475-1 is not prime.  Res64: BA39294BDB09BDAF  Time : 3940.0 sec.
user=vaughan
[2009-05-12 21:56:24]
333*2^808323-1 is not prime.  Res64: 357A95482F8E0D05  Time : 8206.0 sec.
user=mdettweiler
[2009-05-12 21:56:44]
333*2^808478-1 is not prime.  Res64: 7B75BFCD6D5E7409  Time : 3932.0 sec.
user=vaughan
[2009-05-12 21:59:40]
315*2^808330-1 is not prime.  Res64: 8CCF566C6480C649  Time : 8215.0 sec.
user=mdettweiler
[2009-05-12 22:00:57]
339*2^808481-1 is not prime.  Res64: DF5BF525D05FE92E  Time : 3941.0 sec.
user=mdettweiler
[2009-05-12 22:05:31]
315*2^808487-1 is not prime.  Res64: 01CD48B5CED11040  Time : 3933.0 sec.
user=vaughan
[2009-05-12 22:05:36]
321*2^808605-1 is not prime.  Res64: 3E2106C92E23C48B  Time : 946.0 sec.
user=vaughan
[2009-05-12 22:05:43]
327*2^808340-1 is not prime.  Res64: 1F48BE26647E65F7  Time : 8470.0 sec.
user=vaughan
[2009-05-12 22:06:56]
345*2^808605-1 is not prime.  Res64: DC86DA9CDBAFB58C  Time : 929.0 sec.
user=vaughan
[2009-05-12 22:08:24]
327*2^808354-1 is not prime.  Res64: 420031622A9DCF9B  Time : 8237.0 sec.
user=vaughan
[2009-05-12 22:08:54]
321*2^808617-1 is not prime.  Res64: AB906FB73921F2BD  Time : 928.0 sec.
user=mdettweiler
[2009-05-12 22:09:16]
345*2^808516-1 is not prime.  Res64: 4EEC0D4A23563D2C  Time : 3940.0 sec.
user=mdettweiler
[2009-05-12 22:09:51]
321*2^808517-1 is not prime.  Res64: 8EAFC0BB07693B27  Time : 3935.0 sec.
user=vaughan
[2009-05-12 22:10:01]
315*2^808355-1 is not prime.  Res64: 833844837EE577E6  Time : 8197.0 sec.
user=vaughan
[2009-05-12 22:13:17]
333*2^808364-1 is not prime.  Res64: BF5FCDF2ED59AD74  Time : 8204.0 sec.
user=mdettweiler
[2009-05-12 22:14:03]
315*2^808527-1 is not prime.  Res64: 4E85D1E11FCAAD1C  Time : 3938.0 sec.
user=mdettweiler
[2009-05-12 22:18:41]
345*2^808530-1 is not prime.  Res64: 4E5B7BFB84EC32AD  Time : 3939.0 sec.
user=vaughan
[2009-05-12 22:19:46]
345*2^808375-1 is not prime.  Res64: 590907857E3146C9  Time : 8460.0 sec.
user=vaughan
[2009-05-12 22:21:22]
339*2^808645-1 is not prime.  Res64: 7B046EB49CEA0409  Time : 946.0 sec.
user=vaughan
[2009-05-12 22:22:05]
339*2^808381-1 is not prime.  Res64: AAEC366540D8BF94  Time : 8227.0 sec.
user=mdettweiler
[2009-05-12 22:22:23]
321*2^808541-1 is not prime.  Res64: 8249F4AEDBB9251C  Time : 3939.0 sec.
user=vaughan
[2009-05-12 22:22:25]
333*2^808650-1 is not prime.  Res64: F8C301A9DDA3B1FE  Time : 930.0 sec.
user=mdettweiler
[2009-05-12 22:22:56]
321*2^808546-1 is not prime.  Res64: 8988BC91639C4904  Time : 3933.0 sec.
user=vaughan
[2009-05-12 22:23:38]
345*2^808384-1 is not prime.  Res64: 0D6B197C5F674F63  Time : 8187.0 sec.
user=vaughan
[2009-05-12 22:24:24]
327*2^808658-1 is not prime.  Res64: FBCC542731B46B08  Time : 930.0 sec.
user=vaughan
[2009-05-12 22:26:56]
315*2^808389-1 is not prime.  Res64: C3078441C1A2F2B7  Time : 8195.0 sec.
user=mdettweiler
[2009-05-12 22:27:14]
327*2^808554-1 is not prime.  Res64: DFD3E8C60C70B961  Time : 3941.0 sec.
user=mdettweiler
[2009-05-12 22:31:46]
321*2^808558-1 is not prime.  Res64: ED95A8091FDA769D  Time : 3936.0 sec.
user=vaughan
[2009-05-12 22:33:50]
321*2^808402-1 is not prime.  Res64: 74C7A1DB0FB046F7  Time : 8452.0 sec.
user=mdettweiler
[2009-05-12 22:35:31]
327*2^808560-1 is not prime.  Res64: F17FB024578D79E5  Time : 3940.0 sec.
user=vaughan
[2009-05-12 22:35:47]
315*2^808410-1 is not prime.  Res64: CD9D5AA533C425EB  Time : 8219.0 sec.
user=mdettweiler
[2009-05-12 22:36:03]
315*2^808565-1 is not prime.  Res64: 5BD0A3CC8307E1B8  Time : 3933.0 sec.
user=vaughan
[2009-05-12 22:37:08]
345*2^808675-1 is not prime.  Res64: 58A6073DE798C8EE  Time : 946.0 sec.
user=vaughan
[2009-05-12 22:37:14]
333*2^808416-1 is not prime.  Res64: 739F35F879F368B3  Time : 8177.0 sec.
user=vaughan
[2009-05-12 22:37:54]
339*2^808687-1 is not prime.  Res64: 8109A7C4CD1AC162  Time : 929.0 sec.
user=vaughan
[2009-05-12 22:39:53]
339*2^808695-1 is not prime.  Res64: 6C2EC115D5CB0816  Time : 929.0 sec.
user=mdettweiler
[2009-05-12 22:40:21]
339*2^808567-1 is not prime.  Res64: E8EBE5A01380C689  Time : 3940.0 sec.
user=vaughan
[2009-05-12 22:40:33]
321*2^808417-1 is not prime.  Res64: 92B817C0C2A1BA10  Time : 8185.0 sec.
user=mdettweiler
[2009-05-12 22:44:54]
315*2^808589-1 is not prime.  Res64: 003F7B253EB51789  Time : 3937.0 sec.
user=vaughan
[2009-05-12 22:47:53]
327*2^808426-1 is not prime.  Res64: 25B0FB34A7E2DCDB  Time : 8441.0 sec.
user=mdettweiler
[2009-05-12 22:48:39]
321*2^808598-1 is not prime.  Res64: 974748681FEDE052  Time : 3939.0 sec.
user=mdettweiler
[2009-05-12 22:49:09]
315*2^808599-1 is not prime.  Res64: ABD31F7A3098F6BB  Time : 3933.0 sec.
user=vaughan
[2009-05-12 22:49:29]
321*2^808437-1 is not prime.  Res64: 30E9343EF431F881  Time : 8211.0 sec.
user=vaughan
[2009-05-12 22:50:51]
339*2^808443-1 is not prime.  Res64: 76A0190442A11D7C  Time : 8170.0 sec.
user=vaughan
[2009-05-12 22:52:54]
333*2^808718-1 is not prime.  Res64: 4E9C30F7BFF85240  Time : 946.0 sec.
user=vaughan
[2009-05-12 22:53:21]
321*2^808722-1 is not prime.  Res64: 8F2C0739C60750C0  Time : 928.0 sec.
user=mdettweiler
[2009-05-12 22:53:30]
327*2^808600-1 is not prime.  Res64: 8011555CAFB6F407  Time : 3941.0 sec.
user=vaughan
[2009-05-12 22:54:11]
327*2^808456-1 is not prime.  Res64: 44FCF14AE8ADEF7E  Time : 8175.0 sec.
user=vaughan
[2009-05-12 22:55:22]
339*2^808723-1 is not prime.  Res64: 0625AD43B6A9A8F1  Time : 929.0 sec.
user=mdettweiler
[2009-05-12 22:58:02]
315*2^808610-1 is not prime.  Res64: BDAE55B30305E292  Time : 3937.0 sec.
user=mdettweiler
[2009-05-12 23:01:47]
333*2^808623-1 is not prime.  Res64: 5A2ED0D14CA68A79  Time : 3939.0 sec.
user=vaughan
[2009-05-12 23:01:56]
315*2^808461-1 is not prime.  Res64: 896F688392A74018  Time : 8431.0 sec.
user=mdettweiler
[2009-05-12 23:02:18]
315*2^808627-1 is not prime.  Res64: 958EDCEF7690E08B  Time : 3934.0 sec.
user=vaughan
[2009-05-12 23:03:09]
345*2^808462-1 is not prime.  Res64: E906422252E45328  Time : 8208.0 sec.
user=vaughan
[2009-05-12 23:04:28]
333*2^808470-1 is not prime.  Res64: DF130CF92E180DC0  Time : 8170.0 sec.
user=mdettweiler
[2009-05-12 23:06:37]
327*2^808642-1 is not prime.  Res64: 9D64BCF226029816  Time : 3940.0 sec.
user=vaughan
[2009-05-12 23:07:49]
321*2^808481-1 is not prime.  Res64: 843294BD0EC8CFAA  Time : 8177.0 sec.
user=vaughan
[2009-05-12 23:08:39]
315*2^808739-1 is not prime.  Res64: FCC7F781DA086F5A  Time : 946.0 sec.
user=vaughan
[2009-05-12 23:08:50]
345*2^808740-1 is not prime.  Res64: 9A32E704EFA0855D  Time : 929.0 sec.
user=vaughan
[2009-05-12 23:10:51]
327*2^808746-1 is not prime.  Res64: AAB006DE48FD1146  Time : 930.0 sec.
user=mdettweiler
[2009-05-12 23:11:10]
315*2^808645-1 is not prime.  Res64: 0E144BFB9766DEC7  Time : 3939.0 sec.
user=mdettweiler
[2009-05-12 23:14:56]
345*2^808659-1 is not prime.  Res64: 9DA31B074E884ECF  Time : 3940.0 sec.
user=mdettweiler
[2009-05-12 23:15:24]
321*2^808663-1 is not prime.  Res64: FA1BB40FC90349B4  Time : 3933.0 sec.
user=vaughan
[2009-05-12 23:15:59]
327*2^808485-1 is not prime.  Res64: 00E0083EBB9575E9  Time : 8430.0 sec.
user=vaughan
[2009-05-12 23:16:48]
315*2^808492-1 is not prime.  Res64: 376FD4E5A392886A  Time : 8207.0 sec.
user=vaughan
[2009-05-12 23:18:03]
315*2^808495-1 is not prime.  Res64: B457AC79698D16A9  Time : 8168.0 sec.
user=mdettweiler
[2009-05-12 23:19:46]
333*2^808668-1 is not prime.  Res64: C019CCE4ECBD9B8B  Time : 3943.0 sec.
user=vaughan
[2009-05-12 23:21:27]
345*2^808522-1 is not prime.  Res64: 52FF43DEE140F030  Time : 8176.0 sec.
user=mdettweiler
[2009-05-12 23:24:17]
315*2^808670-1 is not prime.  Res64: 8556292D1C963F2E  Time : 3936.0 sec.
user=vaughan
[2009-05-12 23:24:18]
345*2^808764-1 is not prime.  Res64: BC5A9C4A2502C680  Time : 928.0 sec.
user=vaughan
[2009-05-12 23:24:25]
327*2^808764-1 is not prime.  Res64: BF07828FAF4CB394  Time : 946.0 sec.
user=vaughan
[2009-05-12 23:26:31]
327*2^817834-1 is not prime.  Res64: CBDDB9EEB94B821F  Time : 941.0 sec.
user=mdettweiler
[2009-05-12 23:28:06]
315*2^808684-1 is not prime.  Res64: 8538446FC634121E  Time : 3943.0 sec.
user=mdettweiler
[2009-05-12 23:28:32]
339*2^808691-1 is not prime.  Res64: 2761984D9685464C  Time : 3937.0 sec.
user=vaughan
[2009-05-12 23:30:02]
321*2^808530-1 is not prime.  Res64: 4418025309D1E164  Time : 8430.0 sec.
user=vaughan
[2009-05-12 23:30:27]
327*2^808532-1 is not prime.  Res64: 7884F19F7C078345  Time : 8205.0 sec.
user=vaughan
[2009-05-12 23:31:40]
315*2^808539-1 is not prime.  Res64: 31D906F436DA2C4F  Time : 8168.0 sec.
user=mdettweiler
[2009-05-12 23:32:52]
327*2^808708-1 is not prime.  Res64: E7EF8CC45F8F63AB  Time : 3938.0 sec.
user=vaughan
[2009-05-12 23:35:03]
339*2^808553-1 is not prime.  Res64: 647129263979F897  Time : 8176.0 sec.
user=mdettweiler
[2009-05-12 23:37:27]
315*2^808709-1 is not prime.  Res64: 9F795A88C6A64F4E  Time : 3941.0 sec.
user=vaughan
[2009-05-12 23:39:57]
321*2^817855-1 is not prime.  Res64: 7A728193E806ED9D  Time : 940.0 sec.
user=vaughan
[2009-05-12 23:40:21]
327*2^817858-1 is not prime.  Res64: AD8BA39FC846197B  Time : 956.0 sec.
user=mdettweiler
[2009-05-12 23:41:14]
321*2^808711-1 is not prime.  Res64: B3EB1EE17374F999  Time : 3943.0 sec.
user=mdettweiler
[2009-05-12 23:41:38]
345*2^808716-1 is not prime.  Res64: B189DB415E05166B  Time : 3935.0 sec.
user=vaughan
[2009-05-12 23:42:10]
339*2^817859-1 is not prime.  Res64: A8623FC17BFFF126  Time : 940.0 sec.
user=vaughan
[2009-05-12 23:44:04]
333*2^808556-1 is not prime.  Res64: DE2543F4F85F3C4A  Time : 8428.0 sec.
user=vaughan
[2009-05-12 23:44:08]
339*2^808559-1 is not prime.  Res64: 0AA8A256476F875E  Time : 8206.0 sec.
user=vaughan
[2009-05-12 23:45:16]
315*2^808560-1 is not prime.  Res64: 5E6977CEDDB4BD5E  Time : 8168.0 sec.
user=mdettweiler
[2009-05-12 23:45:59]
333*2^808728-1 is not prime.  Res64: 107887AD762C8D44  Time : 3938.0 sec.
user=vaughan
[2009-05-12 23:48:42]
339*2^808565-1 is not prime.  Res64: 588E97E4B6106336  Time : 8177.0 sec.
user=mdettweiler
[2009-05-12 23:50:34]
321*2^808733-1 is not prime.  Res64: A052014C90996F3C  Time : 3940.0 sec.
user=mdettweiler
[2009-05-12 23:54:23]
339*2^808733-1 is not prime.  Res64: AE02620E2BC5EBF6  Time : 3944.0 sec.
user=mdettweiler
[2009-05-12 23:54:45]
333*2^808734-1 is not prime.  Res64: CE309A56FFD16657  Time : 3936.0 sec.
user=vaughan
[2009-05-12 23:55:36]
333*2^817884-1 is not prime.  Res64: 0F180922970708F1  Time : 939.0 sec.
user=vaughan
[2009-05-12 23:56:17]
339*2^817885-1 is not prime.  Res64: 61940081BACCD470  Time : 956.0 sec.
user=vaughan
[2009-05-12 23:57:48]
315*2^808591-1 is not prime.  Res64: E0E4F4710D9D1256  Time : 8205.0 sec.
user=vaughan
[2009-05-12 23:57:50]
339*2^817895-1 is not prime.  Res64: 004342A16CBB3162  Time : 940.0 sec.
user=vaughan
[2009-05-12 23:58:06]
327*2^808578-1 is not prime.  Res64: 5C5183FA077EE268  Time : 8427.0 sec.
user=vaughan
[2009-05-12 23:58:54]
339*2^808595-1 is not prime.  Res64: 181D3F31C70D46B9  Time : 8169.0 sec.
user=mdettweiler
[2009-05-12 23:59:05]
333*2^808743-1 is not prime.  Res64: E88B3DE210855C0F  Time : 3935.0 sec.