user=ototero
[2018-07-04 00:56:16]
303*2^2425134-1 is not prime.  Res64: 3DFE8E9FD1EBD849  Time : 0.0 sec.
user=ototero
[2018-07-04 01:53:00]
345*2^2425131-1 is not prime.  Res64: 0844E7F31D1A44FD  Time : 0.0 sec.
user=ototero
[2018-07-04 01:56:47]
339*2^2425133-1 is not prime.  Res64: 55B23DC47A9E5B0E  Time : 0.0 sec.
user=mdettweiler
[2018-07-04 01:59:41]
345*2^2425134-1 is not prime.  Res64: 388313A9F5F1C3BA  Time : 0.0 sec.
user=ototero
[2018-07-04 02:00:57]
315*2^2425134-1 is not prime.  Res64: D8A10F364F22D55E  Time : 0.0 sec.
user=ototero
[2018-07-04 03:07:24]
305*2^2425142-1 is not prime.  Res64: F8CC3D30C7AD2AF6  Time : 0.0 sec.
user=ototero
[2018-07-04 04:14:17]
321*2^2425142-1 is not prime.  Res64: ED848B00FF3ED830  Time : 0.0 sec.
user=ototero
[2018-07-04 04:17:35]
345*2^2425135-1 is not prime.  Res64: C2C3AC94AB4F1C4F  Time : 0.0 sec.
user=ototero
[2018-07-04 04:21:34]
305*2^2425136-1 is not prime.  Res64: E8A885CA9529237D  Time : 0.0 sec.
user=ototero
[2018-07-04 05:20:55]
341*2^2425142-1 is not prime.  Res64: 5CFFCE6A9F59D8C8  Time : 0.0 sec.
user=ototero
[2018-07-04 06:26:55]
333*2^2425148-1 is not prime.  Res64: 7653EAD631D671F9  Time : 0.0 sec.
user=ototero
[2018-07-04 06:42:17]
335*2^2425144-1 is not prime.  Res64: 0F925FC23CB1044A  Time : 0.0 sec.
user=ototero
[2018-07-04 06:47:21]
319*2^2425145-1 is not prime.  Res64: 33C96001C2DC36BD  Time : 0.0 sec.
user=ototero
[2018-07-04 07:33:39]
335*2^2425150-1 is not prime.  Res64: B422307269D70886  Time : 0.0 sec.
user=ototero
[2018-07-04 08:40:19]
323*2^2425154-1 is not prime.  Res64: AB6B78C9835C5109  Time : 0.0 sec.
user=ototero
[2018-07-04 09:07:40]
319*2^2425151-1 is not prime.  Res64: A988655751A3F547  Time : 0.0 sec.
user=ototero
[2018-07-04 09:12:02]
329*2^2425152-1 is not prime.  Res64: 65702596E08AF0A4  Time : 0.0 sec.
user=ototero
[2018-07-04 09:47:11]
307*2^2425157-1 is not prime.  Res64: 9BDD78DEB6EFF541  Time : 0.0 sec.
user=ototero
[2018-07-04 10:54:05]
301*2^2425165-1 is not prime.  Res64: 8412DE8DA2D9CE4C  Time : 0.0 sec.
user=ototero
[2018-07-04 11:34:02]
303*2^2425164-1 is not prime.  Res64: 0F65C3400DD3603A  Time : 0.0 sec.
user=ototero
[2018-07-04 11:38:00]
347*2^2425164-1 is not prime.  Res64: CA66BC0B6F9743AD  Time : 0.0 sec.
user=ototero
[2018-07-04 12:01:01]
325*2^2425165-1 is not prime.  Res64: 09A9939BAA84023E  Time : 0.0 sec.
user=ototero
[2018-07-04 13:11:01]
309*2^2425172-1 is not prime.  Res64: D34FC2FAE70DA8DC  Time : 0.0 sec.
user=ototero
[2018-07-04 13:58:23]
333*2^2425166-1 is not prime.  Res64: B797ABB42A9ED5E7  Time : 0.0 sec.
user=ototero
[2018-07-04 14:03:31]
313*2^2425167-1 is not prime.  Res64: 1995684798105E9E  Time : 0.0 sec.
user=mdettweiler
[2018-07-04 14:06:46]
301*2^2425173-1 is not prime.  Res64: D72249565BEA0104  Time : 0.0 sec.
user=ototero
[2018-07-04 14:20:48]
323*2^2425172-1 is not prime.  Res64: 2C1B56C7E099E3DC  Time : 0.0 sec.
user=ototero
[2018-07-04 15:30:17]
327*2^2425176-1 is not prime.  Res64: 72142324E01E1802  Time : 0.0 sec.
user=ototero
[2018-07-04 16:22:54]
345*2^2425174-1 is not prime.  Res64: 636416BE89AB2093  Time : 0.0 sec.
user=ototero
[2018-07-04 16:29:30]
343*2^2425175-1 is not prime.  Res64: C9C4E3BFBC78EA49  Time : 0.0 sec.
user=ototero
[2018-07-04 16:39:35]
327*2^2425178-1 is not prime.  Res64: AF51448331DD455F  Time : 0.0 sec.
user=ototero
[2018-07-04 17:49:26]
327*2^2425180-1 is not prime.  Res64: DCC5D982EFF359D8  Time : 0.0 sec.
user=ototero
[2018-07-04 18:47:30]
345*2^2425179-1 is not prime.  Res64: 85A42B495408C49C  Time : 0.0 sec.
user=ototero
[2018-07-04 18:53:59]
315*2^2425180-1 is not prime.  Res64: 1EFBF459C02A41AA  Time : 0.0 sec.
user=ototero
[2018-07-04 18:58:21]
317*2^2425182-1 is not prime.  Res64: 6C387CE4B2CEE3C3  Time : 0.0 sec.
user=ototero
[2018-07-04 20:06:21]
311*2^2425186-1 is not prime.  Res64: DF6F889F3F88934B  Time : 0.0 sec.
user=ototero
[2018-07-04 21:12:45]
339*2^2425183-1 is not prime.  Res64: A3F8B1ABEE78EDED  Time : 0.0 sec.
user=ototero
[2018-07-04 21:14:40]
339*2^2425187-1 is not prime.  Res64: 540E18DD18EE4AF4  Time : 0.0 sec.
user=ototero
[2018-07-04 21:18:14]
335*2^2425184-1 is not prime.  Res64: B30B70F06492262E  Time : 0.0 sec.
user=ototero
[2018-07-04 22:22:21]
333*2^2425194-1 is not prime.  Res64: D8744567162A8DEA  Time : 0.0 sec.
user=ototero
[2018-07-04 23:30:04]
335*2^2425200-1 is not prime.  Res64: 6ACEEAEE9426FA61  Time : 0.0 sec.
user=ototero
[2018-07-04 23:38:26]
333*2^2425191-1 is not prime.  Res64: FD168977CC7D25A5  Time : 0.0 sec.
user=ototero
[2018-07-04 23:42:38]
305*2^2425200-1 is not prime.  Res64: 55A0CB44B6E0E246  Time : 0.0 sec.