user=mdettweiler
[2009-10-23 11:00:50]
345*2^335196-1 is not prime.  Res64: 85035704BE18DB80  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:01:47]
385*2^335195-1 is not prime.  Res64: 1C68C174F21D3EEF  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:02:44]
381*2^335197-1 is not prime.  Res64: C02FB500BE44C962  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:04:05]
391*2^335197-1 is not prime.  Res64: EAAAA55EE2B803D9  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:04:42]
317*2^335200-1 is not prime.  Res64: 0BD2C3144DFFAD9A  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:06:03]
333*2^335199-1 is not prime.  Res64: 385F0D56D650E1F3  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:06:35]
357*2^335200-1 is not prime.  Res64: E5EE317BB34C2A7F  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:08:21]
395*2^335200-1 is not prime.  Res64: 2B365623069D3FC7  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:08:32]
387*2^335200-1 is not prime.  Res64: BBE7577A083B1DBB  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:10:19]
313*2^335203-1 is not prime.  Res64: 8AA7DFA047413993  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:10:30]
351*2^335201-1 is not prime.  Res64: 9EEA899DCE0B1D10  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:12:17]
319*2^335207-1 is not prime.  Res64: 8D4C283A620DF22F  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:12:28]
353*2^335204-1 is not prime.  Res64: 1B6F531FF4B3E44A  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:14:16]
363*2^335207-1 is not prime.  Res64: 59903C5E2AE412A6  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:14:22]
365*2^335204-1 is not prime.  Res64: 799BBE12F39BC52D  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:15:04]
367*2^335205-1 is not prime.  Res64: 21DB9670E13AE8CA  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:16:36]
389*2^335204-1 is not prime.  Res64: B1FD1FDEEB57FFC9  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:16:41]
399*2^335204-1 is not prime.  Res64: BA957911906A4D58  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:17:23]
391*2^335207-1 is not prime.  Res64: CFA0275E88B2932D  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:18:35]
303*2^335208-1 is not prime.  Res64: 8AF1D9359508208B  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:18:36]
363*2^335210-1 is not prime.  Res64: BBE0522F4A68231D  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:19:18]
327*2^335208-1 is not prime.  Res64: 55FEDF4BB9983652  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:20:29]
347*2^335208-1 is not prime.  Res64: F2C5471FDB44F5D2  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:20:35]
357*2^335209-1 is not prime.  Res64: E6E00DB6EF9AF37B  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:21:12]
351*2^335209-1 is not prime.  Res64: 549ACC52F0776F70  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:22:24]
313*2^335211-1 is not prime.  Res64: E4BB59799B9584A5  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:22:34]
319*2^335213-1 is not prime.  Res64: F7A05126AC00BB53  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:23:07]
353*2^335212-1 is not prime.  Res64: 5E97B9345D043882  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:24:18]
315*2^335214-1 is not prime.  Res64: 994CA00BD8CF6791  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:24:29]
369*2^335213-1 is not prime.  Res64: D9188B8420592579  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:25:01]
353*2^335216-1 is not prime.  Res64: BCF52B4B12CCCB12  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:26:12]
365*2^335216-1 is not prime.  Res64: 47980E39AEB1765B  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:26:23]
327*2^335216-1 is not prime.  Res64: AF57B9BCECD54FF1  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:26:55]
323*2^335216-1 is not prime.  Res64: 78D83889AADD88C3  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:28:07]
339*2^335216-1 is not prime.  Res64: F6E104100C0A6214  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:28:43]
395*2^335216-1 is not prime.  Res64: 7584B55ECA713826  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:28:54]
387*2^335214-1 is not prime.  Res64: 540D1B92C4A6FC7C  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:30:01]
371*2^335214-1 is not prime.  Res64: 1171406783598634  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:30:42]
377*2^335216-1 is not prime.  Res64: 7ED4E28B22474204  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:31:14]
391*2^335217-1 is not prime.  Res64: 79AB616495158D7F  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:32:15]
399*2^335216-1 is not prime.  Res64: 2DBB6B5E3F7BB394  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:32:36]
335*2^335220-1 is not prime.  Res64: 0CFAD891BAF79EE0  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:33:34]
395*2^335220-1 is not prime.  Res64: 6D852CD5B939DB89  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:34:10]
369*2^335220-1 is not prime.  Res64: 71EBA595CCF40C1A  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:34:31]
309*2^335224-1 is not prime.  Res64: BBF4C7A62B7D2A1D  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:35:03]
379*2^335221-1 is not prime.  Res64: A2765240C3A67BB7  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:35:29]
367*2^335221-1 is not prime.  Res64: 85044104D80B2290  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:36:06]
323*2^335224-1 is not prime.  Res64: 37D293DDB8E115BD  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:36:27]
355*2^335221-1 is not prime.  Res64: A93668436ED62D25  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:36:59]
355*2^335223-1 is not prime.  Res64: 50554C95CBA6F488  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:37:25]
381*2^335221-1 is not prime.  Res64: 15E16A59232310C5  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:38:02]
381*2^335222-1 is not prime.  Res64: 1FCAB0EBA7A0BBA3  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:38:44]
399*2^335223-1 is not prime.  Res64: 14719542BBA9C41F  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:38:55]
301*2^335225-1 is not prime.  Res64: 206D7F06E2D3EC6E  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:39:22]
367*2^335225-1 is not prime.  Res64: D04EA05541A86792  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:39:48]
319*2^335225-1 is not prime.  Res64: AF4380CD456A5EE3  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:39:59]
347*2^335226-1 is not prime.  Res64: 9B5F928E7A4A48B2  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:40:41]
381*2^335227-1 is not prime.  Res64: 8A4402A15A09E480  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:41:12]
391*2^335227-1 is not prime.  Res64: CDFDCC0160A35839  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:41:18]
321*2^335230-1 is not prime.  Res64: 2CB08C1B8CBB729F  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:41:55]
363*2^335228-1 is not prime.  Res64: E3E7B2F2F655DEA0  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:42:17]
333*2^335228-1 is not prime.  Res64: 630EFDDD00DBDD1B  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:42:38]
327*2^335229-1 is not prime.  Res64: BB17A13E438EF3D5  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:43:09]
357*2^335228-1 is not prime.  Res64: 2001133FC0F63AA3  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:43:15]
357*2^335230-1 is not prime.  Res64: E3BEB540DB56BC5A  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:43:52]
383*2^335228-1 is not prime.  Res64: AEF85BF598AB0721  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:44:33]
309*2^335231-1 is not prime.  Res64: C6105896B3B4D45A  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:44:44]
305*2^335234-1 is not prime.  Res64: 2FCF8A991CDF22B7  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:45:06]
353*2^335232-1 is not prime.  Res64: 9F2BF23338FC4F63  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:45:12]
339*2^335233-1 is not prime.  Res64: 393ACDFF3A002CF5  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:46:09]
399*2^335231-1 is not prime.  Res64: 2307E72F3C6AFCDA  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:46:31]
319*2^335237-1 is not prime.  Res64: C1AB5087C0E3DAE0  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:47:02]
337*2^335237-1 is not prime.  Res64: 1535E59D894B5499  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:47:08]
353*2^335236-1 is not prime.  Res64: A281DBC4C09B6B6E  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:47:13]
333*2^335235-1 is not prime.  Res64: 5CE34923C4C555FB  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:48:06]
367*2^335237-1 is not prime.  Res64: 7D026242BC46E25F  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:48:28]
327*2^335236-1 is not prime.  Res64: 10DC25D874B61FCE  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:48:59]
369*2^335237-1 is not prime.  Res64: 777A45DF17F7BF15  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:49:05]
381*2^335234-1 is not prime.  Res64: 45E2165BCA59B98A  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:49:42]
303*2^335238-1 is not prime.  Res64: 70682B54BCA3FB06  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:50:04]
333*2^335238-1 is not prime.  Res64: 9CB2F766F5A9F5FD  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:50:25]
347*2^335238-1 is not prime.  Res64: 57EB8035E2E95A27  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:50:56]
303*2^335244-1 is not prime.  Res64: FDA99F0178D5FE19  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:51:02]
313*2^335243-1 is not prime.  Res64: DB62BE5BBD24C18B  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:51:59]
345*2^335242-1 is not prime.  Res64: 05060201740D7F21  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:52:10]
367*2^335241-1 is not prime.  Res64: 7ADC2E4FC58E49BD  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:52:22]
371*2^335242-1 is not prime.  Res64: 2BC9676D77AB1BEF  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:52:53]
355*2^335241-1 is not prime.  Res64: C6F1A06B4C5DC954  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:52:59]
303*2^335247-1 is not prime.  Res64: 53C4A3259A7D2889  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:53:56]
309*2^335245-1 is not prime.  Res64: 9BC614E812E8E50B  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:54:18]
357*2^335245-1 is not prime.  Res64: F3407A91FE5347B4  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:54:39]
321*2^335247-1 is not prime.  Res64: 5C8F68F14F4CC237  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:54:50]
345*2^335247-1 is not prime.  Res64: E3220E39F54A0CDB  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:54:56]
383*2^335246-1 is not prime.  Res64: 3A3AC0B35E77F815  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:55:53]
347*2^335244-1 is not prime.  Res64: 0709F06441F883A8  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:56:14]
387*2^335245-1 is not prime.  Res64: C5FD896438709DE6  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:56:46]
317*2^335248-1 is not prime.  Res64: FFA988DB59CBCE08  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:56:51]
317*2^335250-1 is not prime.  Res64: FBC3801B7D08E3D5  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:57:04]
377*2^335244-1 is not prime.  Res64: 3DED28D5ADDF2B5E  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:57:50]
339*2^335249-1 is not prime.  Res64: 5523A828C0ECEDFC  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:58:32]
395*2^335248-1 is not prime.  Res64: 906209DBEDFD3B6C  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:58:43]
309*2^335251-1 is not prime.  Res64: BE0D7634E4E20AFB  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 11:58:49]
363*2^335251-1 is not prime.  Res64: 319B7F83D482597D  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:01:10]
389*2^335252-1 is not prime.  Res64: E113E272C1ADAF12  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:01:16]
323*2^335252-1 is not prime.  Res64: A1203D8162CAAB17  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:01:24]
327*2^335253-1 is not prime.  Res64: 0354C0670D87F6F3  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:01:24]
385*2^335251-1 is not prime.  Res64: F209CE1428AAE9BF  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:03:09]
341*2^335254-1 is not prime.  Res64: 4A0BC00CB6F538F5  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:03:20]
351*2^335258-1 is not prime.  Res64: C9ACD3C3AF550D99  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:03:31]
391*2^335253-1 is not prime.  Res64: 905CCE7CD723C24B  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:03:32]
301*2^335261-1 is not prime.  Res64: F7475AF11571960B  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:03:54]
365*2^335258-1 is not prime.  Res64: 4CFBC37CC46A53E0  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:05:06]
339*2^335263-1 is not prime.  Res64: 2C143579F922BA09  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:05:17]
373*2^335263-1 is not prime.  Res64: 97C185204594CD3D  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:05:29]
369*2^335263-1 is not prime.  Res64: E9C7537EFECE7613  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:05:50]
391*2^335263-1 is not prime.  Res64: 78B5CBE0EBB84AC6  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:06:22]
321*2^335265-1 is not prime.  Res64: A2548DA4B83B459D  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:07:03]
325*2^335265-1 is not prime.  Res64: CEB4D1FBEE6B6A70  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:07:14]
363*2^335266-1 is not prime.  Res64: 1ECABD320941A8C3  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:07:26]
357*2^335265-1 is not prime.  Res64: 5748C1A2F79F8F7A  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:08:07]
393*2^335266-1 is not prime.  Res64: 0E1FF6EF7164A7D9  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:08:49]
387*2^335265-1 is not prime.  Res64: 082E73AD47AB7998  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:09:10]
301*2^335269-1 is not prime.  Res64: 3A3AF936A81EEF07  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:09:21]
399*2^335265-1 is not prime.  Res64: FC88740097458824  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:09:22]
303*2^335268-1 is not prime.  Res64: 34494DA56A304C39  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:10:05]
363*2^335268-1 is not prime.  Res64: 3051062785D1DE5B  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:11:06]
357*2^335268-1 is not prime.  Res64: F0371113DDC5DB5B  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:11:17]
355*2^335269-1 is not prime.  Res64: F1CA0958FF3D6A82  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:11:18]
377*2^335270-1 is not prime.  Res64: A444778F5746604C  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:11:40]
395*2^335268-1 is not prime.  Res64: 592A50FB53BADA8D  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:12:22]
399*2^335268-1 is not prime.  Res64: BC613CF1C66BEDF6  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:13:03]
301*2^335273-1 is not prime.  Res64: D22134AD02CD605A  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:13:15]
367*2^335273-1 is not prime.  Res64: 906854C9487E47C5  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:13:36]
327*2^335273-1 is not prime.  Res64: 20E19BB4E76C7DDE  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:13:47]
335*2^335272-1 is not prime.  Res64: DFF88056480561EB  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:14:19]
339*2^335273-1 is not prime.  Res64: 3A565EFAD2350688  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:15:11]
321*2^335277-1 is not prime.  Res64: 9D935AEC85B2F5FB  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:15:22]
393*2^335272-1 is not prime.  Res64: 87D43C00F381FA00  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:15:34]
325*2^335277-1 is not prime.  Res64: 76E53C819ADB1DA7  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:16:15]
333*2^335274-1 is not prime.  Res64: 19502D0E2F8793B4  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:16:16]
353*2^335276-1 is not prime.  Res64: 852A11CA301F2B53  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:17:08]
355*2^335277-1 is not prime.  Res64: FF0A2B6C8F96DE6B  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:17:18]
367*2^335277-1 is not prime.  Res64: 29F5A2426D4DD57C  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:17:30]
315*2^335277-1 is not prime.  Res64: 2794A8F0114FE866  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:18:12]
381*2^335275-1 is not prime.  Res64: 28622BFA7A592EA7  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:18:44]
327*2^335274-1 is not prime.  Res64: 166F23EB28281FE2  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:19:15]
313*2^335279-1 is not prime.  Res64: 5EE880756C82B797  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:19:26]
333*2^335280-1 is not prime.  Res64: DA617542489D488F  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:19:27]
399*2^335275-1 is not prime.  Res64: B684AC8F15AE0D9F  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:20:09]
349*2^335279-1 is not prime.  Res64: A5A6900ADDB3B658  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:21:11]
363*2^335278-1 is not prime.  Res64: 348567CA96BC7DA2  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:21:11]
363*2^335280-1 is not prime.  Res64: 2CBBAB59D9A5DEB2  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:21:23]
377*2^335280-1 is not prime.  Res64: 5BFCB15553C70F1F  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:21:45]
395*2^335280-1 is not prime.  Res64: 4F0C1B44ED5EDB47  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:22:06]
381*2^335277-1 is not prime.  Res64: 138B730BB0E70115  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:23:08]
313*2^335283-1 is not prime.  Res64: 037EFE88A3D6BE23  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:23:20]
349*2^335283-1 is not prime.  Res64: 37115C29366B092C  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:23:41]
363*2^335283-1 is not prime.  Res64: D234E67303C194EB  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:24:02]
339*2^335283-1 is not prime.  Res64: 3DE6F89049E95C13  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:24:08]
391*2^335279-1 is not prime.  Res64: 4287F6F3DFA04A6D  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:25:05]
385*2^335283-1 is not prime.  Res64: C50DFE8F331706FC  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:25:16]
301*2^335285-1 is not prime.  Res64: 0BE83AC34FBEA55E  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:25:38]
303*2^335284-1 is not prime.  Res64: 53799629A01FFF41  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:26:00]
303*2^335287-1 is not prime.  Res64: 46D785B4F775C89B  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:26:36]
315*2^335286-1 is not prime.  Res64: 035C52F4CFBDFF9D  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:27:03]
327*2^335285-1 is not prime.  Res64: 6BDE58E1ABA7B03B  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:27:14]
357*2^335284-1 is not prime.  Res64: F092F04F6D26981B  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:27:36]
345*2^335284-1 is not prime.  Res64: 9809725514E077BF  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:28:17]
397*2^335285-1 is not prime.  Res64: 29522F8168399656  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:28:59]
301*2^335289-1 is not prime.  Res64: 66AE593559A40A41  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:29:10]
325*2^335289-1 is not prime.  Res64: E7296C42D46D2268  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:29:31]
391*2^335285-1 is not prime.  Res64: A4EC8843FC07D107  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:29:32]
335*2^335288-1 is not prime.  Res64: 62F2E99DBC83649D  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:30:14]
335*2^335290-1 is not prime.  Res64: C70DC4114D97D52E  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:30:56]
377*2^335290-1 is not prime.  Res64: 799ADDE48B00A821  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:31:07]
303*2^335292-1 is not prime.  Res64: C698EA9AD1C8E048  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:31:29]
317*2^335292-1 is not prime.  Res64: 478450CE8A8BDF42  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:32:01]
313*2^335291-1 is not prime.  Res64: AE8C8D3F3A5B9EA6  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:32:11]
349*2^335293-1 is not prime.  Res64: 89D5BEFC88EE8155  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:32:54]
363*2^335292-1 is not prime.  Res64: E0BB999E21409A6B  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:33:05]
339*2^335291-1 is not prime.  Res64: E0A63C77B1F49CE5  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:33:47]
393*2^335291-1 is not prime.  Res64: 62375754DBA1D5AC  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:34:09]
363*2^335294-1 is not prime.  Res64: D9478B2B1D524E2E  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:34:30]
319*2^335297-1 is not prime.  Res64: 4C6050C829A169CC  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:34:51]
315*2^335295-1 is not prime.  Res64: 2919D59F806BBF10  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:35:03]
327*2^335296-1 is not prime.  Res64: A12AA9600BB6D57F  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:35:44]
357*2^335294-1 is not prime.  Res64: FF15E0F2A1B9C454  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:36:06]
323*2^335296-1 is not prime.  Res64: 4D0D22979AB0F733  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:36:47]
313*2^335299-1 is not prime.  Res64: 52576B22FABFA155  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:36:58]
381*2^335294-1 is not prime.  Res64: 20B07B079B8146E2  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:36:59]
349*2^335299-1 is not prime.  Res64: 8923C5EA84BEFC8D  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:37:42]
363*2^335300-1 is not prime.  Res64: 6F018A77016F2EEE  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:38:23]
397*2^335297-1 is not prime.  Res64: 9F2E5040335B0FFD  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:38:44]
351*2^335299-1 is not prime.  Res64: FF644CC15FE1D584  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:38:56]
321*2^335302-1 is not prime.  Res64: BFF06ED5CC2E8189  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:39:37]
349*2^335303-1 is not prime.  Res64: 6B004D53371DD9A7  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:39:54]
399*2^335297-1 is not prime.  Res64: C2E5E01129334D81  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:40:20]
363*2^335302-1 is not prime.  Res64: A5A1114D52110979  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:40:42]
345*2^335302-1 is not prime.  Res64: E451CC1DDEEB2B35  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:40:53]
339*2^335301-1 is not prime.  Res64: 94A0CE9BC787621D  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:41:34]
351*2^335303-1 is not prime.  Res64: 58ECA57FBF325FBE  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:42:36]
325*2^335307-1 is not prime.  Res64: FDD4EE29A0983F75  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:42:36]
399*2^335303-1 is not prime.  Res64: 62C1D1B5F18EE56D  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:42:49]
387*2^335302-1 is not prime.  Res64: B3E496209AF9DFF9  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:42:49]
315*2^335304-1 is not prime.  Res64: 7239093F6613223A  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:43:32]
347*2^335304-1 is not prime.  Res64: 0B6A91B44245F0F3  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:44:33]
325*2^335309-1 is not prime.  Res64: BDB46A6B8AD697EB  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:44:34]
333*2^335310-1 is not prime.  Res64: 1715C9460D342C1E  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:44:46]
345*2^335307-1 is not prime.  Res64: 40A4DB3CC07AC5E4  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:45:17]
357*2^335310-1 is not prime.  Res64: DFC272ACE786CE11  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:45:49]
395*2^335308-1 is not prime.  Res64: 4346726DD2F7A0A9  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:46:30]
325*2^335313-1 is not prime.  Res64: CB3FBBBAED2EBC7A  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:46:31]
331*2^335313-1 is not prime.  Res64: 2ADC36144FCABFFA  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:46:43]
353*2^335312-1 is not prime.  Res64: 7491D674FA052B4F  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:47:45]
339*2^335311-1 is not prime.  Res64: E38904C1FE465394  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:47:45]
355*2^335313-1 is not prime.  Res64: 96973AF0A09B2826  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:48:28]
339*2^335312-1 is not prime.  Res64: A3F6B744C4EC5BFC  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:48:28]
309*2^335317-1 is not prime.  Res64: AFF84C1F5058CEB6  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:48:40]
353*2^335316-1 is not prime.  Res64: E84B9C2844752175  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:49:42]
363*2^335315-1 is not prime.  Res64: B852DC0F3A094495  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:50:13]
363*2^335316-1 is not prime.  Res64: 2C774E54F0706361  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:50:25]
329*2^335316-1 is not prime.  Res64: 4EFD6277D26DA2A1  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:50:36]
369*2^335316-1 is not prime.  Res64: DFFD41DEE4C9170A  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:50:48]
395*2^335314-1 is not prime.  Res64: 52DB6E8477208D6E  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:51:59]
399*2^335315-1 is not prime.  Res64: 3AACDF0B3AE65A61  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:52:20]
355*2^335319-1 is not prime.  Res64: F2814A05B6602F21  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:52:32]
351*2^335317-1 is not prime.  Res64: 99F7F13A946013CE  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:52:38]
303*2^335319-1 is not prime.  Res64: B6EFBA427C62F7C2  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:52:44]
325*2^335323-1 is not prime.  Res64: 188C1C986A1CDC3C  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:53:56]
327*2^335321-1 is not prime.  Res64: 19B0990DA6E0ED39  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:54:18]
357*2^335322-1 is not prime.  Res64: 2572CBA47D159345  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:54:29]
345*2^335322-1 is not prime.  Res64: 1762768F11DFD641  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:55:01]
391*2^335323-1 is not prime.  Res64: 9FE728CB5B05B872  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:55:06]
351*2^335321-1 is not prime.  Res64: 3981753B24CB2CD5  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:55:54]
355*2^335325-1 is not prime.  Res64: ED831C56B580843F  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:56:15]
315*2^335326-1 is not prime.  Res64: 18A93A4C438F82D4  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:56:27]
371*2^335326-1 is not prime.  Res64: 666D18F7BE853BB9  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:56:58]
301*2^335329-1 is not prime.  Res64: 1EF9EF23389D3DAD  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:57:35]
329*2^335328-1 is not prime.  Res64: 6B0A64C676451EEE  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:57:51]
351*2^335330-1 is not prime.  Res64: 8FDEAFE0F9A16CFA  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:58:12]
381*2^335329-1 is not prime.  Res64: 1E5BB97AD8FB1F9B  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:58:23]
319*2^335333-1 is not prime.  Res64: E6FB7EF2A9A6DB0F  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:58:55]
357*2^335333-1 is not prime.  Res64: 62DDF627F471ACE0  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 12:59:47]
353*2^335336-1 is not prime.  Res64: BF82BF4A7B57874D  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:00:03]
339*2^335333-1 is not prime.  Res64: 7802B3F84F662C18  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:00:09]
329*2^335336-1 is not prime.  Res64: 806960C12AE769AE  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:00:21]
345*2^335334-1 is not prime.  Res64: 20E4F18C1CDD4C3D  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:00:52]
377*2^335334-1 is not prime.  Res64: 19DB425EF8EFC902  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:04:10]
325*2^335337-1 is not prime.  Res64: 5A6C4F962A70B533  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:04:10]
315*2^335339-1 is not prime.  Res64: AC435C8834448BF4  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:04:28]
399*2^335336-1 is not prime.  Res64: 814BFF977FBDDBA2  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:06:09]
321*2^335342-1 is not prime.  Res64: CA110EAC8FAF3388  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:06:26]
349*2^335343-1 is not prime.  Res64: 4C3F0DAE12E859E4  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:06:37]
383*2^335338-1 is not prime.  Res64: 73C42A24999B7EBB  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:08:04]
353*2^335342-1 is not prime.  Res64: 29F98C50A22B6132  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:08:45]
387*2^335341-1 is not prime.  Res64: CFE52EAB59634E36  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:09:32]
385*2^335343-1 is not prime.  Res64: A8A640F52E0EC25F  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:10:03]
385*2^335341-1 is not prime.  Res64: A2D2C86F5029FA90  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:10:39]
303*2^335346-1 is not prime.  Res64: 1F33FB0DA77A9AD0  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:11:56]
321*2^335345-1 is not prime.  Res64: F0D8B8D346A3E4A4  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:12:02]
333*2^335346-1 is not prime.  Res64: 89B6CFCDC512AC40  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:12:34]
335*2^335344-1 is not prime.  Res64: BA4139219B5A5911  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:14:00]
335*2^335348-1 is not prime.  Res64: E71B31F490839786  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:14:27]
349*2^335349-1 is not prime.  Res64: 1623982AD3DCCA23  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:14:53]
391*2^335345-1 is not prime.  Res64: 95BB4514AB6F7460  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:16:00]
339*2^335347-1 is not prime.  Res64: 47EC31707881A199  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:16:21]
371*2^335350-1 is not prime.  Res64: 5C01B22CB23E32EF  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:17:18]
377*2^335350-1 is not prime.  Res64: F267068C442EB0F6  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:18:19]
329*2^335352-1 is not prime.  Res64: D83DF6E57A34231C  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:18:20]
399*2^335348-1 is not prime.  Res64: F9A90F5C8C58F414  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:19:42]
315*2^335352-1 is not prime.  Res64: 0F1AD1E60CE6B7FC  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:20:13]
383*2^335352-1 is not prime.  Res64: AD5218C7BC5CBA97  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:20:19]
351*2^335353-1 is not prime.  Res64: EB71EDD1CDD27394  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:22:06]
369*2^335353-1 is not prime.  Res64: C65306DC3A881D11  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:22:33]
399*2^335353-1 is not prime.  Res64: 9563567E2D036823  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:22:38]
387*2^335356-1 is not prime.  Res64: CABD995EEC90D9FA  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:24:31]
307*2^335357-1 is not prime.  Res64: 461E65F4FF567609  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:24:31]
377*2^335356-1 is not prime.  Res64: 1509527EB2982CA3  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:24:37]
319*2^335357-1 is not prime.  Res64: CBDFC6F8A872CEA2  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:26:30]
323*2^335360-1 is not prime.  Res64: ED5FCB1DB6589A1D  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:26:56]
385*2^335359-1 is not prime.  Res64: 5AA4096192A4530C  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:26:57]
383*2^335358-1 is not prime.  Res64: 12E0E7C804773523  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:28:24]
371*2^335358-1 is not prime.  Res64: A79324B75A170ED2  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:28:56]
309*2^335363-1 is not prime.  Res64: BB7FDAA80C965D4C  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:29:22]
333*2^335363-1 is not prime.  Res64: 4C152E55A29E7727  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:30:19]
349*2^335363-1 is not prime.  Res64: 63978C6B8151CEAC  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:30:55]
341*2^335362-1 is not prime.  Res64: D04F1A74D55EFDB6  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:31:47]
345*2^335361-1 is not prime.  Res64: 60F5FE4E28A20666  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:32:38]
399*2^335363-1 is not prime.  Res64: 0E79FB2AD9569A29  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:33:14]
391*2^335363-1 is not prime.  Res64: 9AF862610A48C578  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:34:11]
303*2^335364-1 is not prime.  Res64: CEBE75378A5B77E1  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:34:32]
335*2^335364-1 is not prime.  Res64: 2AE786A6AFEAC53E  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:35:14]
341*2^335366-1 is not prime.  Res64: 3F8A8520BD95EB72  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:36:35]
339*2^335365-1 is not prime.  Res64: EEF5A4C1343170AA  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:36:52]
393*2^335366-1 is not prime.  Res64: 8590A9BA516D1979  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:37:08]
347*2^335364-1 is not prime.  Res64: 160D198373E01E41  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:38:50]
309*2^335368-1 is not prime.  Res64: DA209CB46901B026  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:39:01]
381*2^335366-1 is not prime.  Res64: 369786243CF06BE6  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:39:07]
309*2^335369-1 is not prime.  Res64: 4FA39332E63F3224  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:40:44]
313*2^335367-1 is not prime.  Res64: 5E0FD810021041E8  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:41:05]
357*2^335370-1 is not prime.  Res64: 4275019CF1C72063  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:41:26]
319*2^335367-1 is not prime.  Res64: 73546DA0C764A8D6  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:42:38]
381*2^335369-1 is not prime.  Res64: A299E35BDDC73913  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:43:24]
391*2^335367-1 is not prime.  Res64: DC103350015A2143  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:43:51]
301*2^335371-1 is not prime.  Res64: B1D5FE5D52782E93  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:44:32]
301*2^335373-1 is not prime.  Res64: 0ACED33663C0F06E  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:45:24]
309*2^335372-1 is not prime.  Res64: 2ADB5FE357AA9ADD  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:46:15]
327*2^335372-1 is not prime.  Res64: BCB503DD05B2C628  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:46:26]
327*2^335373-1 is not prime.  Res64: 2F0CCE0E9A776D7E  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:47:18]
373*2^335371-1 is not prime.  Res64: 1EB2E224C7B818B2  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:48:39]
377*2^335370-1 is not prime.  Res64: 14F9F538C8234FA3  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:48:45]
399*2^335371-1 is not prime.  Res64: A18A3E502F4C638D  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:49:12]
315*2^335376-1 is not prime.  Res64: CCE4D1B10EE77E55  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:50:44]
305*2^335378-1 is not prime.  Res64: 595C41526C17A3A0  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:51:10]
321*2^335378-1 is not prime.  Res64: CF1EDDE7CB0FEAE3  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:51:37]
391*2^335375-1 is not prime.  Res64: 45A82A73A12E3EC7  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:53:03]
399*2^335377-1 is not prime.  Res64: CD51B062B587CF41  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:53:09]
367*2^335381-1 is not prime.  Res64: 6904020F20D4C7B8  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:54:01]
383*2^335380-1 is not prime.  Res64: E352403CA9077FFC  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:55:08]
347*2^335382-1 is not prime.  Res64: 5AC588DF00577DF7  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:55:24]
385*2^335383-1 is not prime.  Res64: 282505924A005FCB  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:56:26]
321*2^335385-1 is not prime.  Res64: C1036081F03BA542  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:57:07]
357*2^335385-1 is not prime.  Res64: FFE84D2211724848  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:57:19]
369*2^335385-1 is not prime.  Res64: 8B69B94084661666  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:59:05]
307*2^335389-1 is not prime.  Res64: 292205A060217FD9  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:59:16]
325*2^335389-1 is not prime.  Res64: 94A8B2FE7F0E4D2F  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 13:59:22]
391*2^335385-1 is not prime.  Res64: 9FC4080BDB085F13  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 14:01:04]
333*2^335387-1 is not prime.  Res64: 7626FAF592042DB7  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 14:01:15]
337*2^335389-1 is not prime.  Res64: 80325D6E926D7ECB  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 14:01:47]
351*2^335390-1 is not prime.  Res64: AF2493EC1CA363C6  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 14:03:04]
381*2^335387-1 is not prime.  Res64: A14732FE03F2B3BF  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 14:03:09]
313*2^335391-1 is not prime.  Res64: 7FDAD14173510BC9  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 14:06:23]
339*2^335393-1 is not prime.  Res64: A34622BA68614DE2  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 14:06:24]
349*2^335391-1 is not prime.  Res64: F31A08D239AE3093  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 14:06:24]
345*2^335391-1 is not prime.  Res64: 0FECFE98C077CC15  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 14:08:22]
357*2^335394-1 is not prime.  Res64: 29FD0D2B8EAD15FC  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 14:08:44]
393*2^335390-1 is not prime.  Res64: FFE92CBDF3D110A2  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 14:08:54]
333*2^335396-1 is not prime.  Res64: B7B7C923F9CCA10E  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 14:10:22]
369*2^335396-1 is not prime.  Res64: D56107068C58B57D  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 14:10:38]
321*2^335398-1 is not prime.  Res64: E2D97D6147B7E308  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 14:11:25]
333*2^335400-1 is not prime.  Res64: EB27A106F5758B2B  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 14:12:21]
355*2^335397-1 is not prime.  Res64: 8144DB59BB014551  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 14:12:32]
367*2^335397-1 is not prime.  Res64: C33992BCA2434E1C  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 14:14:19]
381*2^335397-1 is not prime.  Res64: 9B663E500D95DF66  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 14:14:25]
393*2^335398-1 is not prime.  Res64: 8FECC082209EBBE1  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 14:14:30]
369*2^335399-1 is not prime.  Res64: 3C8D271658E125CD  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 14:16:38]
391*2^335397-1 is not prime.  Res64: 55E3B7DF10A1F390  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 14:16:50]
393*2^335402-1 is not prime.  Res64: CB71680973F5055C  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 14:16:55]
321*2^335401-1 is not prime.  Res64: 424A63EA0B870B94  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 14:18:38]
383*2^335402-1 is not prime.  Res64: 08BC35429AC03EDC  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 14:18:48]
371*2^335402-1 is not prime.  Res64: E8E2221F95BE27C1  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 14:20:01]
387*2^335401-1 is not prime.  Res64: CFFD601E84289CD0  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 14:20:36]
377*2^335400-1 is not prime.  Res64: D9712F0E36A78AE8  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 14:20:47]
309*2^335404-1 is not prime.  Res64: 5AB36417B6F861BD  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 14:20:58]
355*2^335337-1 is not prime.  Res64: 46C2509F60DE1D4A  Time : 0.0 sec.
user=mdettweiler
[2009-10-23 14:21:09]
367*2^335337-1 is not prime.  Res64: BDC022D606E6DABA  Time : 0.0 sec.