user=odicin
[2017-07-29 00:02:27]
309*2^2253205-1 is not prime.  Res64: D9C35934FF534412  Time : 0.0 sec.
user=odicin
[2017-07-29 00:02:28]
315*2^2253202-1 is not prime.  Res64: 1F103ED4478B2456  Time : 0.0 sec.
user=ototero
[2017-07-29 00:07:26]
313*2^2253187-1 is not prime.  Res64: 2B05534C1254FC70  Time : 0.0 sec.
user=ototero
[2017-07-29 00:09:21]
315*2^2253187-1 is not prime.  Res64: 7FBCC6B7AAFDFF2F  Time : 0.0 sec.
user=ototero
[2017-07-29 00:10:13]
349*2^2253189-1 is not prime.  Res64: 8984C0BB21523B5D  Time : 0.0 sec.
user=ototero
[2017-07-29 00:23:10]
339*2^2253197-1 is not prime.  Res64: 7F2B166E855F35E0  Time : 0.0 sec.
user=odicin
[2017-07-29 00:29:31]
331*2^2253207-1 is not prime.  Res64: 735E9D013197689F  Time : 0.0 sec.
user=odicin
[2017-07-29 00:29:35]
339*2^2253209-1 is not prime.  Res64: DB6F632B5100A35C  Time : 0.0 sec.
user=ototero
[2017-07-29 00:51:18]
315*2^2253198-1 is not prime.  Res64: A815F50BD17F0C10  Time : 0.0 sec.
user=ototero
[2017-07-29 00:52:32]
315*2^2253199-1 is not prime.  Res64: 5CBD0A63B1201AAE  Time : 0.0 sec.
user=odicin
[2017-07-29 00:56:37]
327*2^2253216-1 is not prime.  Res64: 0048B31212B6E01E  Time : 0.0 sec.
user=odicin
[2017-07-29 00:56:39]
321*2^2253217-1 is not prime.  Res64: ECB344DDD0410F00  Time : 0.0 sec.
user=ototero
[2017-07-29 00:59:33]
323*2^2253206-1 is not prime.  Res64: 5CBB286F7E85346A  Time : 0.0 sec.
user=ototero
[2017-07-29 01:01:08]
341*2^2253206-1 is not prime.  Res64: 9B46D64BE98DAD7E  Time : 0.0 sec.
user=ototero
[2017-07-29 01:08:59]
333*2^2253210-1 is not prime.  Res64: 14E8E160198A3D75  Time : 0.0 sec.
user=ototero
[2017-07-29 01:10:46]
309*2^2253211-1 is not prime.  Res64: 8F7E2BA8F98F77C8  Time : 0.0 sec.
user=ototero
[2017-07-29 01:11:44]
313*2^2253211-1 is not prime.  Res64: 86FCF8D477A93E1C  Time : 0.0 sec.
user=odicin
[2017-07-29 01:23:41]
301*2^2253223-1 is not prime.  Res64: B62F2DB9344B303F  Time : 0.0 sec.
user=odicin
[2017-07-29 01:23:45]
321*2^2253222-1 is not prime.  Res64: 61C1DD730CF78B5D  Time : 0.0 sec.
user=ototero
[2017-07-29 01:24:46]
321*2^2253214-1 is not prime.  Res64: F753A4087C7A6E18  Time : 0.0 sec.
user=ototero
[2017-07-29 01:39:02]
333*2^2253191-1 is not prime.  Res64: EFCD2D86FCA7428F  Time : 0.0 sec.
user=ototero
[2017-07-29 01:39:58]
347*2^2253192-1 is not prime.  Res64: 63E21DD6E13C03B9  Time : 0.0 sec.
user=ototero
[2017-07-29 01:40:24]
321*2^2253193-1 is not prime.  Res64: 8616334E26974847  Time : 0.0 sec.
user=odicin
[2017-07-29 01:50:46]
339*2^2253231-1 is not prime.  Res64: 2A41DAE81B5B88FD  Time : 0.0 sec.
user=odicin
[2017-07-29 01:50:50]
315*2^2253232-1 is not prime.  Res64: 2D4998DCBDB347D0  Time : 0.0 sec.
user=ototero
[2017-07-29 02:00:47]
321*2^2253223-1 is not prime.  Res64: F1AFF1B8BABBE40F  Time : 0.0 sec.
user=ototero
[2017-07-29 02:02:20]
301*2^2253225-1 is not prime.  Res64: 6F04AE744D7D8174  Time : 0.0 sec.
user=ototero
[2017-07-29 02:10:05]
313*2^2253227-1 is not prime.  Res64: 4FFDA063237CCCF2  Time : 0.0 sec.
user=ototero
[2017-07-29 02:12:01]
339*2^2253229-1 is not prime.  Res64: 0AAA89E2831C2BCA  Time : 0.0 sec.
user=ototero
[2017-07-29 02:12:54]
301*2^2253231-1 is not prime.  Res64: F08D23620C0C45DA  Time : 0.0 sec.
user=ototero
[2017-07-29 02:16:44]
327*2^2253218-1 is not prime.  Res64: 9707F8564E460A22  Time : 0.0 sec.
user=odicin
[2017-07-29 02:17:53]
327*2^2253236-1 is not prime.  Res64: BA5FAAC019A5753B  Time : 0.0 sec.
user=ototero
[2017-07-29 02:17:57]
307*2^2253221-1 is not prime.  Res64: 2BD727E80A696346  Time : 0.0 sec.
user=odicin
[2017-07-29 02:18:00]
341*2^2253238-1 is not prime.  Res64: 5BCB7E3A481CD086  Time : 0.0 sec.
user=ototero
[2017-07-29 02:26:35]
327*2^2253232-1 is not prime.  Res64: 725A3C169DBC6C8B  Time : 0.0 sec.
user=odicin
[2017-07-29 02:44:57]
345*2^2253246-1 is not prime.  Res64: 525F48341612F18B  Time : 0.0 sec.
user=odicin
[2017-07-29 02:45:08]
319*2^2253249-1 is not prime.  Res64: B07A5FD785E1A66B  Time : 0.0 sec.
user=ototero
[2017-07-29 03:02:02]
301*2^2253241-1 is not prime.  Res64: FF8B90DC138D6670  Time : 0.0 sec.
user=ototero
[2017-07-29 03:03:24]
337*2^2253241-1 is not prime.  Res64: DDBCCCA20D12A958  Time : 0.0 sec.
user=ototero
[2017-07-29 03:11:22]
333*2^2253243-1 is not prime.  Res64: D37E6ABB25B48720  Time : 0.0 sec.
user=odicin
[2017-07-29 03:12:04]
323*2^2253250-1 is not prime.  Res64: A098A607F1F8DAE7  Time : 0.0 sec.
user=odicin
[2017-07-29 03:12:14]
329*2^2253252-1 is not prime.  Res64: ECE0C2E2DDBC4106  Time : 0.0 sec.
user=ototero
[2017-07-29 03:13:19]
327*2^2253244-1 is not prime.  Res64: 16938B0BF7D66E29  Time : 0.0 sec.
user=ototero
[2017-07-29 03:14:01]
321*2^2253245-1 is not prime.  Res64: EC9586682D1DA11F  Time : 0.0 sec.
user=ototero
[2017-07-29 03:28:25]
325*2^2253249-1 is not prime.  Res64: 088835C1FFF6586E  Time : 0.0 sec.
user=odicin
[2017-07-29 03:39:08]
333*2^2253255-1 is not prime.  Res64: 7C1BAD78410DA3EE  Time : 0.0 sec.
user=odicin
[2017-07-29 03:39:19]
339*2^2253256-1 is not prime.  Res64: E79B579BD513C9CE  Time : 0.0 sec.
user=ototero
[2017-07-29 03:45:56]
317*2^2253246-1 is not prime.  Res64: 7F0DE0F1443F7BEE  Time : 0.0 sec.
user=ototero
[2017-07-29 03:47:12]
329*2^2253248-1 is not prime.  Res64: 3EA6F64933C75F49  Time : 0.0 sec.
user=ototero
[2017-07-29 04:01:18]
325*2^2253233-1 is not prime.  Res64: 19B653E27455AB1C  Time : 0.0 sec.
user=ototero
[2017-07-29 04:02:15]
335*2^2253234-1 is not prime.  Res64: 15DB60C9DAB3D67D  Time : 0.0 sec.
user=ototero
[2017-07-29 04:02:23]
347*2^2253234-1 is not prime.  Res64: 2ED8D3990CEAA1ED  Time : 0.0 sec.
user=ototero
[2017-07-29 04:03:09]
347*2^2253252-1 is not prime.  Res64: C52C7C7902A97C42  Time : 0.0 sec.
user=ototero
[2017-07-29 04:04:41]
349*2^2253253-1 is not prime.  Res64: 963705F7EB607B14  Time : 0.0 sec.
user=odicin
[2017-07-29 04:06:19]
327*2^2253264-1 is not prime.  Res64: 0E77C3CB1DCE9813  Time : 0.0 sec.
user=odicin
[2017-07-29 04:06:23]
301*2^2253265-1 is not prime.  Res64: 500671A724AA0ACF  Time : 0.0 sec.
user=ototero
[2017-07-29 04:12:38]
315*2^2253254-1 is not prime.  Res64: B7B82F3706CA0DB6  Time : 0.0 sec.
user=ototero
[2017-07-29 04:14:33]
339*2^2253261-1 is not prime.  Res64: 7104E14F91B880A1  Time : 0.0 sec.
user=ototero
[2017-07-29 04:15:12]
345*2^2253261-1 is not prime.  Res64: 01ABF5C96B097E71  Time : 0.0 sec.
user=ototero
[2017-07-29 04:30:29]
321*2^2253262-1 is not prime.  Res64: 82C1B2FD7A164E66  Time : 0.0 sec.
user=odicin
[2017-07-29 04:33:23]
347*2^2253282-1 is not prime.  Res64: 919B9C6EA9ECDCA4  Time : 0.0 sec.
user=odicin
[2017-07-29 04:33:26]
313*2^2253283-1 is not prime.  Res64: 51578ACE185AAD4F  Time : 0.0 sec.
user=odicin
[2017-07-29 05:00:28]
323*2^2253286-1 is not prime.  Res64: B3F73EF2A15A157A  Time : 0.0 sec.
user=odicin
[2017-07-29 05:00:30]
317*2^2253288-1 is not prime.  Res64: DD28166406C1F194  Time : 0.0 sec.
user=ototero
[2017-07-29 05:04:27]
345*2^2253280-1 is not prime.  Res64: 66E2AECE3FFB5799  Time : 0.0 sec.
user=ototero
[2017-07-29 05:05:49]
337*2^2253281-1 is not prime.  Res64: 0D6BE4DECDCADDAC  Time : 0.0 sec.
user=ototero
[2017-07-29 05:11:16]
333*2^2253266-1 is not prime.  Res64: 8834090FFF82E755  Time : 0.0 sec.
user=ototero
[2017-07-29 05:12:29]
325*2^2253273-1 is not prime.  Res64: 7729F23B5BE0A0D6  Time : 0.0 sec.
user=ototero
[2017-07-29 05:13:28]
301*2^2253285-1 is not prime.  Res64: C427FC40261FFCC8  Time : 0.0 sec.
user=ototero
[2017-07-29 05:15:17]
311*2^2253286-1 is not prime.  Res64: 0DD490DD1EBF4F56  Time : 0.0 sec.
user=ototero
[2017-07-29 05:16:07]
315*2^2253286-1 is not prime.  Res64: D4897E5A54ADDB50  Time : 0.0 sec.
user=odicin
[2017-07-29 05:27:31]
333*2^2253290-1 is not prime.  Res64: 877D7D13F4EB948A  Time : 0.0 sec.
user=odicin
[2017-07-29 05:27:34]
345*2^2253291-1 is not prime.  Res64: FDB090D25EAD63AF  Time : 0.0 sec.
user=ototero
[2017-07-29 05:31:32]
317*2^2253286-1 is not prime.  Res64: 73E31950B3E22846  Time : 0.0 sec.
user=odicin
[2017-07-29 05:54:40]
313*2^2253303-1 is not prime.  Res64: 2056A741FE396550  Time : 0.0 sec.
user=odicin
[2017-07-29 05:54:40]
347*2^2253302-1 is not prime.  Res64: 261159D1DB59B2A7  Time : 0.0 sec.
user=ototero
[2017-07-29 06:05:03]
349*2^2253291-1 is not prime.  Res64: 232D23170B6A68DC  Time : 0.0 sec.
user=ototero
[2017-07-29 06:06:25]
309*2^2253292-1 is not prime.  Res64: 6F1A34E852D77E02  Time : 0.0 sec.
user=ototero
[2017-07-29 06:14:02]
339*2^2253296-1 is not prime.  Res64: 55C7AE3BA089693E  Time : 0.0 sec.
user=ototero
[2017-07-29 06:15:43]
319*2^2253299-1 is not prime.  Res64: 3ACB441F04B8DC6F  Time : 0.0 sec.
user=ototero
[2017-07-29 06:16:34]
339*2^2253301-1 is not prime.  Res64: C3D336FAD42F01AD  Time : 0.0 sec.
user=odicin
[2017-07-29 06:21:45]
335*2^2253308-1 is not prime.  Res64: 46999226A9A57087  Time : 0.0 sec.
user=odicin
[2017-07-29 06:21:45]
347*2^2253306-1 is not prime.  Res64: 7082E0A8DE1C7404  Time : 0.0 sec.
user=ototero
[2017-07-29 06:23:51]
315*2^2253275-1 is not prime.  Res64: 25E690B7E42750C6  Time : 0.0 sec.
user=ototero
[2017-07-29 06:24:30]
325*2^2253277-1 is not prime.  Res64: 1E4FA2767D1E29A1  Time : 0.0 sec.
user=ototero
[2017-07-29 06:24:35]
339*2^2253279-1 is not prime.  Res64: 526C510EBE9D8CF8  Time : 0.0 sec.
user=ototero
[2017-07-29 06:32:05]
345*2^2253304-1 is not prime.  Res64: 90C865C9FFC9169B  Time : 0.0 sec.
user=ototero
[2017-07-29 06:35:26]
343*2^2253295-1 is not prime.  Res64: C6E19596964F5F7E  Time : 0.0 sec.
user=ototero
[2017-07-29 06:36:38]
333*2^2253296-1 is not prime.  Res64: 2402FB6528C13393  Time : 0.0 sec.
user=odicin
[2017-07-29 06:48:52]
315*2^2253319-1 is not prime.  Res64: 362F6B34BFE1FD9D  Time : 0.0 sec.
user=odicin
[2017-07-29 06:48:53]
323*2^2253320-1 is not prime.  Res64: C866AE49557AF0F4  Time : 0.0 sec.
user=ototero
[2017-07-29 07:05:32]
319*2^2253309-1 is not prime.  Res64: E0D4CCF69654313D  Time : 0.0 sec.
user=ototero
[2017-07-29 07:07:00]
333*2^2253311-1 is not prime.  Res64: 29A022F89DEE3827  Time : 0.0 sec.
user=ototero
[2017-07-29 07:14:52]
317*2^2253312-1 is not prime.  Res64: 76D43D1A0F4DE6E8  Time : 0.0 sec.
user=odicin
[2017-07-29 07:15:59]
333*2^2253335-1 is not prime.  Res64: 00500A5A94B0406B  Time : 0.0 sec.
user=odicin
[2017-07-29 07:16:00]
323*2^2253334-1 is not prime.  Res64: 3547DE4F4DEA2A28  Time : 0.0 sec.
user=ototero
[2017-07-29 07:16:19]
325*2^2253313-1 is not prime.  Res64: 2BADC71F63E36292  Time : 0.0 sec.
user=ototero
[2017-07-29 07:17:29]
313*2^2253319-1 is not prime.  Res64: B35BD200682952A3  Time : 0.0 sec.
user=ototero
[2017-07-29 07:33:34]
345*2^2253327-1 is not prime.  Res64: 2DF1979EBA8B39B0  Time : 0.0 sec.
user=odicin
[2017-07-29 07:43:04]
323*2^2253344-1 is not prime.  Res64: F5D983F616235F17  Time : 0.0 sec.
user=odicin
[2017-07-29 07:43:05]
319*2^2253345-1 is not prime.  Res64: B6C1A54F80660D37  Time : 0.0 sec.
user=ototero
[2017-07-29 08:00:02]
339*2^2253328-1 is not prime.  Res64: A492FE90E6D14432  Time : 0.0 sec.
user=ototero
[2017-07-29 08:01:15]
311*2^2253334-1 is not prime.  Res64: 252C1A7819B4E4BC  Time : 0.0 sec.
user=ototero
[2017-07-29 08:07:09]
317*2^2253336-1 is not prime.  Res64: 808C9A4D6954EFB8  Time : 0.0 sec.
user=ototero
[2017-07-29 08:08:42]
315*2^2253342-1 is not prime.  Res64: CCC3B1E0BDD62AE0  Time : 0.0 sec.
user=odicin
[2017-07-29 08:10:08]
315*2^2253351-1 is not prime.  Res64: DBF4ACC3615599E7  Time : 0.0 sec.
user=odicin
[2017-07-29 08:10:08]
337*2^2253349-1 is not prime.  Res64: D8670FE6241C1BAB  Time : 0.0 sec.
user=ototero
[2017-07-29 08:16:22]
321*2^2253343-1 is not prime.  Res64: 4F62B8BC7C28F853  Time : 0.0 sec.
user=ototero
[2017-07-29 08:17:32]
321*2^2253345-1 is not prime.  Res64: EBEFFA6218B4D4E4  Time : 0.0 sec.
user=ototero
[2017-07-29 08:18:48]
311*2^2253346-1 is not prime.  Res64: 01DFC54FFAB68D27  Time : 0.0 sec.
user=ototero
[2017-07-29 08:35:01]
315*2^2253348-1 is not prime.  Res64: 3E2BD04C62D11018  Time : 0.0 sec.
user=odicin
[2017-07-29 08:37:11]
315*2^2253360-1 is not prime.  Res64: 20966D03A932C9D8  Time : 0.0 sec.
user=odicin
[2017-07-29 08:37:11]
331*2^2253361-1 is not prime.  Res64: EB25007E009F67EB  Time : 0.0 sec.
user=ototero
[2017-07-29 08:46:12]
327*2^2253322-1 is not prime.  Res64: FD67E4EFF95F8F4B  Time : 0.0 sec.
user=ototero
[2017-07-29 08:46:52]
313*2^2253323-1 is not prime.  Res64: 135AB4236F111ED5  Time : 0.0 sec.
user=ototero
[2017-07-29 08:46:55]
335*2^2253322-1 is not prime.  Res64: A65AA03B6F84EE8B  Time : 0.0 sec.
user=odicin
[2017-07-29 09:04:17]
349*2^2253371-1 is not prime.  Res64: 6C530092F893D17B  Time : 0.0 sec.
user=odicin
[2017-07-29 09:04:20]
331*2^2253369-1 is not prime.  Res64: 795E2F87F59C17EA  Time : 0.0 sec.
user=ototero
[2017-07-29 09:08:37]
303*2^2253354-1 is not prime.  Res64: 7091C82B00E9884E  Time : 0.0 sec.
user=ototero
[2017-07-29 09:09:55]
319*2^2253359-1 is not prime.  Res64: FC265AC188B6715F  Time : 0.0 sec.
user=ototero
[2017-07-29 09:17:35]
309*2^2253365-1 is not prime.  Res64: 879589C16D82280D  Time : 0.0 sec.
user=ototero
[2017-07-29 09:18:59]
333*2^2253366-1 is not prime.  Res64: A1AA6058B243A79B  Time : 0.0 sec.
user=ototero
[2017-07-29 09:19:31]
347*2^2253366-1 is not prime.  Res64: 488D66E4CE974B47  Time : 0.0 sec.
user=ototero
[2017-07-29 09:24:49]
345*2^2253351-1 is not prime.  Res64: 454292BEBBB34C80  Time : 0.0 sec.
user=ototero
[2017-07-29 09:26:07]
309*2^2253352-1 is not prime.  Res64: 47847DA178EDFCA3  Time : 0.0 sec.
user=odicin
[2017-07-29 09:31:38]
347*2^2253378-1 is not prime.  Res64: 8319D07FE6233BD7  Time : 0.0 sec.
user=odicin
[2017-07-29 09:31:39]
319*2^2253381-1 is not prime.  Res64: FB7ED80832294952  Time : 0.0 sec.
user=ototero
[2017-07-29 09:36:44]
325*2^2253369-1 is not prime.  Res64: 8891F379A9D21626  Time : 0.0 sec.
user=odicin
[2017-07-29 09:58:42]
345*2^2253391-1 is not prime.  Res64: 46AAB2C123ACC7B7  Time : 0.0 sec.
user=odicin
[2017-07-29 09:58:42]
315*2^2253391-1 is not prime.  Res64: 49F69A951E8EE342  Time : 0.0 sec.
user=ototero
[2017-07-29 10:09:49]
339*2^2253381-1 is not prime.  Res64: 1B3B82C30C7F1330  Time : 0.0 sec.
user=ototero
[2017-07-29 10:10:41]
319*2^2253383-1 is not prime.  Res64: DE3DDAE0A584A884  Time : 0.0 sec.
user=ototero
[2017-07-29 10:19:12]
331*2^2253385-1 is not prime.  Res64: 1E40971802C566A0  Time : 0.0 sec.
user=ototero
[2017-07-29 10:20:18]
331*2^2253387-1 is not prime.  Res64: 642F61D4411AAAC4  Time : 0.0 sec.
user=ototero
[2017-07-29 10:20:36]
309*2^2253388-1 is not prime.  Res64: 95A41934F67450E0  Time : 0.0 sec.
user=odicin
[2017-07-29 10:25:46]
333*2^2253398-1 is not prime.  Res64: 25504C8AABA32C3D  Time : 0.0 sec.
user=odicin
[2017-07-29 10:25:49]
301*2^2253399-1 is not prime.  Res64: 993D0FC59D2EF9DA  Time : 0.0 sec.
user=ototero
[2017-07-29 10:38:31]
325*2^2253395-1 is not prime.  Res64: 6FBDD27D63F25ED6  Time : 0.0 sec.
user=ototero
[2017-07-29 10:49:27]
315*2^2253389-1 is not prime.  Res64: C33A6CA5C767B438  Time : 0.0 sec.
user=ototero
[2017-07-29 10:50:44]
313*2^2253391-1 is not prime.  Res64: EA7828C912B9C741  Time : 0.0 sec.
user=odicin
[2017-07-29 10:52:48]
315*2^2253407-1 is not prime.  Res64: 62EC2AF58DEE3226  Time : 0.0 sec.
user=odicin
[2017-07-29 10:52:53]
321*2^2253407-1 is not prime.  Res64: 1B2605FC33CBF985  Time : 0.0 sec.
user=ototero
[2017-07-29 11:08:22]
333*2^2253374-1 is not prime.  Res64: 5E6D5E3FCF77A9FF  Time : 0.0 sec.
user=ototero
[2017-07-29 11:09:09]
339*2^2253375-1 is not prime.  Res64: 30926B7E3BDDCA84  Time : 0.0 sec.
user=ototero
[2017-07-29 11:09:13]
317*2^2253376-1 is not prime.  Res64: DE2ED309D463F461  Time : 0.0 sec.
user=ototero
[2017-07-29 11:10:48]
345*2^2253399-1 is not prime.  Res64: 34B4D924DB1B0032  Time : 0.0 sec.
user=ototero
[2017-07-29 11:12:17]
345*2^2253400-1 is not prime.  Res64: B4E278BC0A9270E4  Time : 0.0 sec.
user=odicin
[2017-07-29 11:19:54]
341*2^2253410-1 is not prime.  Res64: 90A9990DD13BB332  Time : 0.0 sec.
user=odicin
[2017-07-29 11:19:58]
315*2^2253411-1 is not prime.  Res64: 2BB046A6D07A8944  Time : 0.0 sec.
user=ototero
[2017-07-29 11:20:14]
303*2^2253402-1 is not prime.  Res64: 493DD203E761B4B4  Time : 0.0 sec.
user=ototero
[2017-07-29 11:21:36]
321*2^2253406-1 is not prime.  Res64: 943907DF25CC90BE  Time : 0.0 sec.
user=ototero
[2017-07-29 11:21:45]
349*2^2253405-1 is not prime.  Res64: FF1C340C44B0F8CE  Time : 0.0 sec.
user=ototero
[2017-07-29 11:40:04]
343*2^2253407-1 is not prime.  Res64: 8CDB8606ACB25EEF  Time : 0.0 sec.
user=odicin
[2017-07-29 11:47:00]
333*2^2253420-1 is not prime.  Res64: 5F757E9F90A7C655  Time : 0.0 sec.
user=odicin
[2017-07-29 11:47:04]
327*2^2253421-1 is not prime.  Res64: AE31AA16A83AF23A  Time : 0.0 sec.
user=ototero
[2017-07-29 12:11:55]
321*2^2253414-1 is not prime.  Res64: 3A924DF1922310FF  Time : 0.0 sec.
user=ototero
[2017-07-29 12:13:29]
343*2^2253415-1 is not prime.  Res64: 1B82CAB784A96FE7  Time : 0.0 sec.
user=odicin
[2017-07-29 12:14:04]
325*2^2253427-1 is not prime.  Res64: 600EE9F69AF5B327  Time : 0.0 sec.
user=odicin
[2017-07-29 12:14:07]
325*2^2253429-1 is not prime.  Res64: A2DD6FB65D74DD9B  Time : 0.0 sec.
user=ototero
[2017-07-29 12:14:22]
327*2^2253408-1 is not prime.  Res64: C62CE62ECF868E30  Time : 0.0 sec.
user=ototero
[2017-07-29 12:16:35]
331*2^2253409-1 is not prime.  Res64: 382606DA1390BBCA  Time : 0.0 sec.
user=ototero
[2017-07-29 12:21:40]
349*2^2253423-1 is not prime.  Res64: A0D5C1A6EC6F16DF  Time : 0.0 sec.
user=ototero
[2017-07-29 12:23:05]
317*2^2253426-1 is not prime.  Res64: A2B5E80F6F22C249  Time : 0.0 sec.
user=ototero
[2017-07-29 12:23:08]
303*2^2253427-1 is not prime.  Res64: 0D89334578B5D6F2  Time : 0.0 sec.
user=odicin
[2017-07-29 12:41:08]
309*2^2253433-1 is not prime.  Res64: 42AD5900AE8FF2AD  Time : 0.0 sec.
user=odicin
[2017-07-29 12:41:15]
321*2^2253433-1 is not prime.  Res64: 7FF57FE1EF6499EC  Time : 0.0 sec.
user=ototero
[2017-07-29 12:41:28]
313*2^2253427-1 is not prime.  Res64: 114A1D788D33E2C2  Time : 0.0 sec.
user=odicin
[2017-07-29 13:08:13]
333*2^2253440-1 is not prime.  Res64: 576D485927683D1F  Time : 0.0 sec.
user=odicin
[2017-07-29 13:08:19]
315*2^2253442-1 is not prime.  Res64: AFEFD910CFAE43B1  Time : 0.0 sec.
user=ototero
[2017-07-29 13:13:17]
321*2^2253430-1 is not prime.  Res64: C90B53961CF986A4  Time : 0.0 sec.
user=ototero
[2017-07-29 13:14:47]
303*2^2253432-1 is not prime.  Res64: 0603A95FC93549E0  Time : 0.0 sec.
user=ototero
[2017-07-29 13:23:00]
303*2^2253438-1 is not prime.  Res64: 9A340023FBAB827E  Time : 0.0 sec.
user=ototero
[2017-07-29 13:23:54]
313*2^2253439-1 is not prime.  Res64: D5875A222438ED22  Time : 0.0 sec.
user=ototero
[2017-07-29 13:24:43]
333*2^2253438-1 is not prime.  Res64: 3EC74B1F359AF285  Time : 0.0 sec.
user=ototero
[2017-07-29 13:30:42]
339*2^2253411-1 is not prime.  Res64: B98259B85BD7E78D  Time : 0.0 sec.
user=ototero
[2017-07-29 13:31:22]
327*2^2253413-1 is not prime.  Res64: 072ECEA120CEB7AF  Time : 0.0 sec.
user=ototero
[2017-07-29 13:31:30]
305*2^2253414-1 is not prime.  Res64: 8E83F8181DAE0DD0  Time : 0.0 sec.
user=odicin
[2017-07-29 13:35:22]
333*2^2253444-1 is not prime.  Res64: 3E84C6FBA4AC19B2  Time : 0.0 sec.
user=odicin
[2017-07-29 13:35:24]
343*2^2253443-1 is not prime.  Res64: DBDFB0919CBD8AB2  Time : 0.0 sec.
user=ototero
[2017-07-29 13:38:53]
347*2^2253434-1 is not prime.  Res64: 78EC6C8D99AA2D0B  Time : 0.0 sec.
user=ototero
[2017-07-29 13:41:06]
349*2^2253435-1 is not prime.  Res64: FECD78117E3A804B  Time : 0.0 sec.
user=ototero
[2017-07-29 13:43:10]
339*2^2253443-1 is not prime.  Res64: 48415CE16C2A28FE  Time : 0.0 sec.
user=odicin
[2017-07-29 14:02:28]
329*2^2253468-1 is not prime.  Res64: CE131B78C56649C8  Time : 0.0 sec.
user=odicin
[2017-07-29 14:02:29]
333*2^2253468-1 is not prime.  Res64: 951B170D6E557242  Time : 0.0 sec.
user=ototero
[2017-07-29 14:14:30]
323*2^2253446-1 is not prime.  Res64: BA5FFC8E63379507  Time : 0.0 sec.
user=ototero
[2017-07-29 14:15:55]
315*2^2253447-1 is not prime.  Res64: A5F88A5290779521  Time : 0.0 sec.
user=ototero
[2017-07-29 14:24:30]
333*2^2253447-1 is not prime.  Res64: 623C2E7815A78F35  Time : 0.0 sec.
user=ototero
[2017-07-29 14:24:52]
319*2^2253453-1 is not prime.  Res64: 919A8A780F4836DF  Time : 0.0 sec.
user=ototero
[2017-07-29 14:25:54]
349*2^2253455-1 is not prime.  Res64: 9914D807D5CF7CDC  Time : 0.0 sec.
user=odicin
[2017-07-29 14:29:48]
333*2^2253474-1 is not prime.  Res64: 1C3CD396FF835C49  Time : 0.0 sec.
user=odicin
[2017-07-29 14:29:50]
315*2^2253474-1 is not prime.  Res64: 68CBAEB9E3764E00  Time : 0.0 sec.
user=ototero
[2017-07-29 14:44:43]
339*2^2253473-1 is not prime.  Res64: 920C0823E31B8644  Time : 0.0 sec.
user=odicin
[2017-07-29 14:56:54]
349*2^2253483-1 is not prime.  Res64: 65D5B7AA7210384E  Time : 0.0 sec.
user=odicin
[2017-07-29 14:56:57]
311*2^2253478-1 is not prime.  Res64: AA9EA51B83409A36  Time : 0.0 sec.
user=ototero
[2017-07-29 15:03:30]
321*2^2253470-1 is not prime.  Res64: CBA162A819D7F370  Time : 0.0 sec.
user=ototero
[2017-07-29 15:05:37]
309*2^2253473-1 is not prime.  Res64: 807732E2A588C027  Time : 0.0 sec.
user=ototero
[2017-07-29 15:15:32]
341*2^2253474-1 is not prime.  Res64: 723466197BEDD538  Time : 0.0 sec.
user=ototero
[2017-07-29 15:17:03]
347*2^2253474-1 is not prime.  Res64: 26E157EE87766F14  Time : 0.0 sec.
user=odicin
[2017-07-29 15:23:59]
343*2^2253487-1 is not prime.  Res64: B884D7268E015C2D  Time : 0.0 sec.
user=odicin
[2017-07-29 15:24:05]
309*2^2253488-1 is not prime.  Res64: F47CF8BEE57396FF  Time : 0.0 sec.
user=ototero
[2017-07-29 15:25:49]
339*2^2253475-1 is not prime.  Res64: 0AB38009C8962889  Time : 0.0 sec.
user=ototero
[2017-07-29 15:25:54]
323*2^2253476-1 is not prime.  Res64: 2A08EC1E0EE37CCB  Time : 0.0 sec.
user=ototero
[2017-07-29 15:27:06]
321*2^2253477-1 is not prime.  Res64: 3ED5FF62F7FAF788  Time : 0.0 sec.
user=ototero
[2017-07-29 15:46:36]
301*2^2253485-1 is not prime.  Res64: 55D26B4E45DB6802  Time : 0.0 sec.
user=odicin
[2017-07-29 15:51:01]
327*2^2253500-1 is not prime.  Res64: 626DE78E4E2650D3  Time : 0.0 sec.
user=odicin
[2017-07-29 15:51:09]
319*2^2253501-1 is not prime.  Res64: 118C7F4E2FF9701F  Time : 0.0 sec.
user=ototero
[2017-07-29 15:53:23]
315*2^2253458-1 is not prime.  Res64: 4D2802F607F05ED6  Time : 0.0 sec.
user=ototero
[2017-07-29 15:54:17]
317*2^2253462-1 is not prime.  Res64: 8E53E6F194C4A627  Time : 0.0 sec.
user=ototero
[2017-07-29 15:54:34]
321*2^2253462-1 is not prime.  Res64: 166F65B7B0FC8398  Time : 0.0 sec.
user=ototero
[2017-07-29 16:16:46]
333*2^2253494-1 is not prime.  Res64: C833D8F2D75E1B63  Time : 0.0 sec.
user=odicin
[2017-07-29 16:18:07]
327*2^2253505-1 is not prime.  Res64: 5FF2BABE494E2C66  Time : 0.0 sec.
user=odicin
[2017-07-29 16:18:13]
331*2^2253505-1 is not prime.  Res64: 885062FC2FD58CD3  Time : 0.0 sec.
user=ototero
[2017-07-29 16:18:31]
303*2^2253499-1 is not prime.  Res64: 8BDCE175AC9990F6  Time : 0.0 sec.
user=ototero
[2017-07-29 16:27:14]
327*2^2253501-1 is not prime.  Res64: 544B9150D9D7AB15  Time : 0.0 sec.
user=ototero
[2017-07-29 16:27:24]
319*2^2253503-1 is not prime.  Res64: 4439111D7A5578E9  Time : 0.0 sec.
user=ototero
[2017-07-29 16:28:28]
325*2^2253489-1 is not prime.  Res64: 718336D51D63C2B5  Time : 0.0 sec.
user=ototero
[2017-07-29 16:28:29]
321*2^2253503-1 is not prime.  Res64: F30910254560D920  Time : 0.0 sec.
user=ototero
[2017-07-29 16:30:56]
315*2^2253490-1 is not prime.  Res64: 09DBA1748D788A37  Time : 0.0 sec.
user=odicin
[2017-07-29 16:45:11]
343*2^2253511-1 is not prime.  Res64: 1E2532AD358131B2  Time : 0.0 sec.
user=odicin
[2017-07-29 16:45:17]
345*2^2253511-1 is not prime.  Res64: D0CB841348A31C36  Time : 0.0 sec.
user=ototero
[2017-07-29 16:48:21]
329*2^2253504-1 is not prime.  Res64: 3B900EE84DABEE3A  Time : 0.0 sec.
user=odicin
[2017-07-29 17:12:15]
319*2^2253521-1 is not prime.  Res64: 9289C1894D0C8895  Time : 0.0 sec.
user=odicin
[2017-07-29 17:12:20]
339*2^2253521-1 is not prime.  Res64: BFBF29BCA1D51C57  Time : 0.0 sec.
user=ototero
[2017-07-29 17:18:01]
309*2^2253511-1 is not prime.  Res64: B2746E4CE4411FC0  Time : 0.0 sec.
user=ototero
[2017-07-29 17:20:06]
315*2^2253514-1 is not prime.  Res64: C638D61C3188A834  Time : 0.0 sec.
user=ototero
[2017-07-29 17:28:22]
345*2^2253514-1 is not prime.  Res64: B5590592DE33D966  Time : 0.0 sec.
user=ototero
[2017-07-29 17:28:45]
327*2^2253516-1 is not prime.  Res64: 64F6348CDEF97A41  Time : 0.0 sec.
user=ototero
[2017-07-29 17:29:40]
329*2^2253516-1 is not prime.  Res64: E6ABED0342365F1C  Time : 0.0 sec.
user=odicin
[2017-07-29 17:39:22]
309*2^2253523-1 is not prime.  Res64: E37553904E0E295C  Time : 0.0 sec.
user=odicin
[2017-07-29 17:39:28]
325*2^2253523-1 is not prime.  Res64: 9651C99D795D7BE4  Time : 0.0 sec.
user=ototero
[2017-07-29 17:49:58]
303*2^2253522-1 is not prime.  Res64: 32D48043441FB895  Time : 0.0 sec.
user=ototero
[2017-07-29 17:53:25]
315*2^2253518-1 is not prime.  Res64: 02D892B797058580  Time : 0.0 sec.
user=ototero
[2017-07-29 17:55:57]
349*2^2253519-1 is not prime.  Res64: 4E2AB93A58746208  Time : 0.0 sec.
user=odicin
[2017-07-29 18:06:28]
339*2^2253533-1 is not prime.  Res64: 78EAAD79E9F9B015  Time : 0.0 sec.
user=odicin
[2017-07-29 18:06:32]
305*2^2253534-1 is not prime.  Res64: 42B2AC2D355FBDDB  Time : 0.0 sec.
user=ototero
[2017-07-29 18:15:35]
317*2^2253508-1 is not prime.  Res64: E8BEF8926B8A3133  Time : 0.0 sec.
user=ototero
[2017-07-29 18:16:35]
319*2^2253509-1 is not prime.  Res64: A465969C0F7C5A53  Time : 0.0 sec.
user=ototero
[2017-07-29 18:17:07]
333*2^2253510-1 is not prime.  Res64: 119EB0B865DAF797  Time : 0.0 sec.
user=ototero
[2017-07-29 18:19:13]
317*2^2253526-1 is not prime.  Res64: C824623DA5754D25  Time : 0.0 sec.
user=ototero
[2017-07-29 18:21:38]
339*2^2253527-1 is not prime.  Res64: C796102F79662BBF  Time : 0.0 sec.
user=ototero
[2017-07-29 18:29:50]
323*2^2253530-1 is not prime.  Res64: 6EF7AAD6EA69337E  Time : 0.0 sec.
user=ototero
[2017-07-29 18:30:02]
331*2^2253529-1 is not prime.  Res64: 35A7CD86A3B5DF59  Time : 0.0 sec.
user=ototero
[2017-07-29 18:30:39]
327*2^2253533-1 is not prime.  Res64: 422C5DE697CE2101  Time : 0.0 sec.
user=odicin
[2017-07-29 18:33:46]
313*2^2253539-1 is not prime.  Res64: 1D5A169C8A7EAFFF  Time : 0.0 sec.
user=odicin
[2017-07-29 18:33:55]
331*2^2253537-1 is not prime.  Res64: 73A32DA2412FA6C5  Time : 0.0 sec.
user=ototero
[2017-07-29 18:51:43]
321*2^2253534-1 is not prime.  Res64: B8A4944CF2BC596F  Time : 0.0 sec.
user=odicin
[2017-07-29 19:00:50]
315*2^2253556-1 is not prime.  Res64: 0E853C4F1FE0B8B8  Time : 0.0 sec.
user=odicin
[2017-07-29 19:00:59]
317*2^2253556-1 is not prime.  Res64: 21DD119881A8BA1D  Time : 0.0 sec.
user=ototero
[2017-07-29 19:17:59]
345*2^2253534-1 is not prime.  Res64: 5284EC4890A4CD90  Time : 0.0 sec.
user=ototero
[2017-07-29 19:20:20]
349*2^2253549-1 is not prime.  Res64: F5650A564F8123DF  Time : 0.0 sec.
user=ototero
[2017-07-29 19:20:30]
339*2^2253536-1 is not prime.  Res64: 5E946848C0BBB86A  Time : 0.0 sec.
user=ototero
[2017-07-29 19:22:58]
327*2^2253552-1 is not prime.  Res64: C84E2D4300063EB3  Time : 0.0 sec.
user=odicin
[2017-07-29 19:28:16]
315*2^2253558-1 is not prime.  Res64: F70BBF5028C9C589  Time : 0.0 sec.
user=odicin
[2017-07-29 19:28:17]
301*2^2253561-1 is not prime.  Res64: B0BDE5B67387A10A  Time : 0.0 sec.
user=ototero
[2017-07-29 19:31:12]
321*2^2253553-1 is not prime.  Res64: D8CF2F563DE758B9  Time : 0.0 sec.
user=ototero
[2017-07-29 19:31:43]
339*2^2253553-1 is not prime.  Res64: 4B14A80DAC2EF74E  Time : 0.0 sec.
user=ototero
[2017-07-29 19:31:54]
331*2^2253555-1 is not prime.  Res64: BDD0C6B03DFBA8E2  Time : 0.0 sec.
user=ototero
[2017-07-29 19:53:29]
303*2^2253558-1 is not prime.  Res64: 17860AC7414EEF03  Time : 0.0 sec.
user=odicin
[2017-07-29 19:55:18]
349*2^2253565-1 is not prime.  Res64: 74FDB35670B4ECCD  Time : 0.0 sec.
user=odicin
[2017-07-29 19:55:21]
333*2^2253566-1 is not prime.  Res64: 58B014B5B084FD65  Time : 0.0 sec.
user=ototero
[2017-07-29 20:21:41]
335*2^2253562-1 is not prime.  Res64: D0BF1791057B26A2  Time : 0.0 sec.
user=odicin
[2017-07-29 20:22:37]
335*2^2253572-1 is not prime.  Res64: C54D366666DE46A1  Time : 0.0 sec.
user=odicin
[2017-07-29 20:22:38]
347*2^2253572-1 is not prime.  Res64: E8B72338082DE3CF  Time : 0.0 sec.
user=ototero
[2017-07-29 20:24:24]
339*2^2253565-1 is not prime.  Res64: BE10EEFF54E972C4  Time : 0.0 sec.
user=ototero
[2017-07-29 20:33:07]
315*2^2253567-1 is not prime.  Res64: 192144102C13370B  Time : 0.0 sec.
user=ototero
[2017-07-29 20:33:16]
319*2^2253567-1 is not prime.  Res64: AEF5E3D8F008337F  Time : 0.0 sec.
user=ototero
[2017-07-29 20:33:24]
333*2^2253570-1 is not prime.  Res64: 0EEF29D4749B6947  Time : 0.0 sec.
user=ototero
[2017-07-29 20:37:47]
307*2^2253541-1 is not prime.  Res64: DCD18CC1D667A135  Time : 0.0 sec.
user=ototero
[2017-07-29 20:39:00]
315*2^2253541-1 is not prime.  Res64: 27ED0E83F6329846  Time : 0.0 sec.
user=ototero
[2017-07-29 20:39:37]
315*2^2253547-1 is not prime.  Res64: 121BFC1CD74465F8  Time : 0.0 sec.
user=ototero
[2017-07-29 20:42:40]
315*2^2253562-1 is not prime.  Res64: 4260080694677C33  Time : 0.0 sec.
user=ototero
[2017-07-29 20:45:05]
333*2^2253563-1 is not prime.  Res64: 4D0969188C58E214  Time : 0.0 sec.
user=odicin
[2017-07-29 20:49:42]
345*2^2253576-1 is not prime.  Res64: E25A56D8E0DCCA58  Time : 0.0 sec.
user=odicin
[2017-07-29 20:49:43]
343*2^2253575-1 is not prime.  Res64: 051AFF5AF5748C99  Time : 0.0 sec.
user=ototero
[2017-07-29 20:55:11]
315*2^2253571-1 is not prime.  Res64: F190DD671905BB32  Time : 0.0 sec.
user=odicin
[2017-07-29 21:16:47]
321*2^2253585-1 is not prime.  Res64: 289DBBE06F8B30CB  Time : 0.0 sec.
user=odicin
[2017-07-29 21:16:48]
339*2^2253585-1 is not prime.  Res64: 1527D9D00D5F1028  Time : 0.0 sec.
user=ototero
[2017-07-29 21:23:14]
301*2^2253573-1 is not prime.  Res64: 2C497917CC28968F  Time : 0.0 sec.
user=ototero
[2017-07-29 21:26:01]
331*2^2253577-1 is not prime.  Res64: 4635F4D17C58AEB1  Time : 0.0 sec.
user=ototero
[2017-07-29 21:34:29]
333*2^2253578-1 is not prime.  Res64: 3ACBB77E9AE125B9  Time : 0.0 sec.
user=ototero
[2017-07-29 21:34:46]
341*2^2253578-1 is not prime.  Res64: 7C42200F5B79E6A7  Time : 0.0 sec.
user=ototero
[2017-07-29 21:34:58]
315*2^2253580-1 is not prime.  Res64: 755F4623F9597740  Time : 0.0 sec.
user=odicin
[2017-07-29 21:43:53]
333*2^2253588-1 is not prime.  Res64: CF5E36E0ABC0375A  Time : 0.0 sec.
user=odicin
[2017-07-29 21:43:53]
327*2^2253592-1 is not prime.  Res64: EDF2967DF8E99D06  Time : 0.0 sec.
user=ototero
[2017-07-29 21:57:05]
339*2^2253587-1 is not prime.  Res64: CFD283759AB6B88E  Time : 0.0 sec.
user=ototero
[2017-07-29 22:08:14]
327*2^2253581-1 is not prime.  Res64: 5BC85F61BD26E810  Time : 0.0 sec.
user=ototero
[2017-07-29 22:09:01]
343*2^2253583-1 is not prime.  Res64: 5DFCD9DB3CFED0C2  Time : 0.0 sec.
user=odicin
[2017-07-29 22:10:58]
315*2^2253600-1 is not prime.  Res64: 421585B517D637D6  Time : 0.0 sec.
user=odicin
[2017-07-29 22:11:01]
321*2^2253601-1 is not prime.  Res64: D7E123CA96C0EC40  Time : 0.0 sec.
user=ototero
[2017-07-29 22:24:38]
319*2^2253593-1 is not prime.  Res64: BB06142FF6014574  Time : 0.0 sec.
user=ototero
[2017-07-29 22:27:14]
315*2^2253595-1 is not prime.  Res64: 5F9C886ED0770708  Time : 0.0 sec.
user=ototero
[2017-07-29 22:35:49]
339*2^2253595-1 is not prime.  Res64: FFC14C01DC308D22  Time : 0.0 sec.
user=ototero
[2017-07-29 22:36:26]
339*2^2253599-1 is not prime.  Res64: 2AD3CA9E5BE3280F  Time : 0.0 sec.
user=ototero
[2017-07-29 22:36:34]
327*2^2253596-1 is not prime.  Res64: 28F5764F2D84367E  Time : 0.0 sec.
user=odicin
[2017-07-29 22:38:04]
301*2^2253605-1 is not prime.  Res64: 3F314D22ED85C397  Time : 0.0 sec.
user=odicin
[2017-07-29 22:38:07]
339*2^2253607-1 is not prime.  Res64: CF937F9FF308AA52  Time : 0.0 sec.
user=ototero
[2017-07-29 22:59:09]
301*2^2253603-1 is not prime.  Res64: 36BE977C61CAA058  Time : 0.0 sec.
user=ototero
[2017-07-29 23:00:10]
301*2^2253581-1 is not prime.  Res64: 1263BCC0AC4122B5  Time : 0.0 sec.
user=ototero
[2017-07-29 23:01:39]
309*2^2253581-1 is not prime.  Res64: 9F44518E0382681C  Time : 0.0 sec.
user=ototero
[2017-07-29 23:01:59]
319*2^2253581-1 is not prime.  Res64: ACACF6429681267F  Time : 0.0 sec.
user=odicin
[2017-07-29 23:05:13]
341*2^2253614-1 is not prime.  Res64: 77E1C6557FCAC5CD  Time : 0.0 sec.
user=odicin
[2017-07-29 23:05:16]
333*2^2253615-1 is not prime.  Res64: 05DEC93B17F5A98D  Time : 0.0 sec.
user=ototero
[2017-07-29 23:26:01]
339*2^2253608-1 is not prime.  Res64: 78B89E0A50017C46  Time : 0.0 sec.
user=ototero
[2017-07-29 23:28:43]
327*2^2253609-1 is not prime.  Res64: D798F4A1B989C41E  Time : 0.0 sec.
user=odicin
[2017-07-29 23:32:23]
323*2^2253626-1 is not prime.  Res64: AFE479A218B30889  Time : 0.0 sec.
user=odicin
[2017-07-29 23:32:23]
301*2^2253627-1 is not prime.  Res64: 58D6B5B2AFE9702E  Time : 0.0 sec.
user=ototero
[2017-07-29 23:33:27]
331*2^2253603-1 is not prime.  Res64: 03FE5063BBC36CD3  Time : 0.0 sec.
user=ototero
[2017-07-29 23:34:10]
339*2^2253603-1 is not prime.  Res64: 5F836C3F4CF45903  Time : 0.0 sec.
user=ototero
[2017-07-29 23:37:25]
339*2^2253611-1 is not prime.  Res64: 8947F81D252C8218  Time : 0.0 sec.
user=ototero
[2017-07-29 23:37:38]
339*2^2253613-1 is not prime.  Res64: 2FE5C222321C7BBA  Time : 0.0 sec.
user=ototero
[2017-07-29 23:38:05]
333*2^2253614-1 is not prime.  Res64: 34310D3C3CEAE105  Time : 0.0 sec.
user=odicin
[2017-07-29 23:59:29]
345*2^2253627-1 is not prime.  Res64: 7BB48A0370D6C3D3  Time : 0.0 sec.
user=odicin
[2017-07-29 23:59:29]
303*2^2253628-1 is not prime.  Res64: 9CAF66BE73FB3E71  Time : 0.0 sec.
user=ototero
[2017-07-30 00:00:54]
349*2^2253615-1 is not prime.  Res64: AE2A0BFAD7B95455  Time : 0.0 sec.