user=odicin
[2017-08-03 00:22:23]
323*2^2255444-1 is not prime.  Res64: D7A750F62BE2BC2B  Time : 0.0 sec.
user=odicin
[2017-08-03 00:22:25]
333*2^2255444-1 is not prime.  Res64: 985FB8ED2E712439  Time : 0.0 sec.
user=ototero
[2017-08-03 00:36:26]
345*2^2255436-1 is not prime.  Res64: C1BED29CD37F1823  Time : 0.0 sec.
user=ototero
[2017-08-03 00:37:15]
333*2^2255435-1 is not prime.  Res64: 6ED9EE3FA52ECECA  Time : 0.0 sec.
user=ototero
[2017-08-03 00:37:47]
325*2^2255437-1 is not prime.  Res64: 8FF8580890B37176  Time : 0.0 sec.
user=ototero
[2017-08-03 00:39:53]
325*2^2255429-1 is not prime.  Res64: 6CB186BB9F7A09DD  Time : 0.0 sec.
user=ototero
[2017-08-03 00:40:42]
333*2^2255438-1 is not prime.  Res64: 6932EFD0E071510F  Time : 0.0 sec.
user=ototero
[2017-08-03 00:41:09]
305*2^2255430-1 is not prime.  Res64: 3C17AD993219199F  Time : 0.0 sec.
user=ototero
[2017-08-03 00:41:31]
315*2^2255439-1 is not prime.  Res64: 148BC20A0ECEAB9A  Time : 0.0 sec.
user=odicin
[2017-08-03 00:49:30]
321*2^2255446-1 is not prime.  Res64: ECB606746B99D37E  Time : 0.0 sec.
user=odicin
[2017-08-03 00:49:32]
343*2^2255447-1 is not prime.  Res64: C64F54CDCEA499DD  Time : 0.0 sec.
user=ototero
[2017-08-03 00:50:55]
339*2^2255440-1 is not prime.  Res64: 9B27236462DDF192  Time : 0.0 sec.
user=odicin
[2017-08-03 01:16:37]
327*2^2255460-1 is not prime.  Res64: 657235113719270E  Time : 0.0 sec.
user=odicin
[2017-08-03 01:16:38]
315*2^2255461-1 is not prime.  Res64: 336256BE96C73C6A  Time : 0.0 sec.
user=ototero
[2017-08-03 01:25:44]
319*2^2255427-1 is not prime.  Res64: 95A74AA3B9DFDA53  Time : 0.0 sec.
user=ototero
[2017-08-03 01:25:48]
309*2^2255428-1 is not prime.  Res64: 9DDFBFFF54CCA6AF  Time : 0.0 sec.
user=ototero
[2017-08-03 01:25:52]
307*2^2255429-1 is not prime.  Res64: 75E7975150EE28E2  Time : 0.0 sec.
user=ototero
[2017-08-03 01:36:58]
341*2^2255450-1 is not prime.  Res64: 78D78EAC78B6294C  Time : 0.0 sec.
user=ototero
[2017-08-03 01:37:12]
349*2^2255451-1 is not prime.  Res64: D35D095A3F02D205  Time : 0.0 sec.
user=ototero
[2017-08-03 01:39:03]
345*2^2255452-1 is not prime.  Res64: 5B6EA4ABADC16EE3  Time : 0.0 sec.
user=ototero
[2017-08-03 01:40:15]
327*2^2255458-1 is not prime.  Res64: 8B93C3D556D6DEEC  Time : 0.0 sec.
user=ototero
[2017-08-03 01:42:50]
319*2^2255459-1 is not prime.  Res64: 48401FF85BE7053F  Time : 0.0 sec.
user=odicin
[2017-08-03 01:43:44]
321*2^2255473-1 is not prime.  Res64: 41274635829CA005  Time : 0.0 sec.
user=odicin
[2017-08-03 01:43:47]
345*2^2255472-1 is not prime.  Res64: 42A1AE51B0CCCBC5  Time : 0.0 sec.
user=ototero
[2017-08-03 01:52:25]
301*2^2255465-1 is not prime.  Res64: 9513B63D66436E9F  Time : 0.0 sec.
user=ototero
[2017-08-03 02:02:08]
339*2^2255455-1 is not prime.  Res64: D9B2CA269615F14E  Time : 0.0 sec.
user=ototero
[2017-08-03 02:02:40]
309*2^2255459-1 is not prime.  Res64: 2D20F1EC32555717  Time : 0.0 sec.
user=odicin
[2017-08-03 02:10:51]
309*2^2255479-1 is not prime.  Res64: 3C04349AE758D8C2  Time : 0.0 sec.
user=odicin
[2017-08-03 02:10:53]
323*2^2255480-1 is not prime.  Res64: 28B2AE7B6BAED3DA  Time : 0.0 sec.
user=odicin
[2017-08-03 02:37:59]
301*2^2255489-1 is not prime.  Res64: 7EB53266F4BB420B  Time : 0.0 sec.
user=odicin
[2017-08-03 02:37:59]
333*2^2255487-1 is not prime.  Res64: 0EB74CAB1B49DCD6  Time : 0.0 sec.
user=ototero
[2017-08-03 02:38:05]
301*2^2255477-1 is not prime.  Res64: 09390096743E11B0  Time : 0.0 sec.
user=ototero
[2017-08-03 02:38:19]
327*2^2255476-1 is not prime.  Res64: AC8D1B166B23B889  Time : 0.0 sec.
user=ototero
[2017-08-03 02:39:26]
309*2^2255477-1 is not prime.  Res64: 06A0D28DFCD5859B  Time : 0.0 sec.
user=ototero
[2017-08-03 02:41:15]
321*2^2255477-1 is not prime.  Res64: 116508F58C219797  Time : 0.0 sec.
user=ototero
[2017-08-03 02:43:53]
347*2^2255478-1 is not prime.  Res64: DC0EFE910E74A0FF  Time : 0.0 sec.
user=ototero
[2017-08-03 02:53:00]
331*2^2255481-1 is not prime.  Res64: 7BB1017A8010CDA4  Time : 0.0 sec.
user=odicin
[2017-08-03 03:05:08]
337*2^2255489-1 is not prime.  Res64: FB1BD39B678A21CF  Time : 0.0 sec.
user=odicin
[2017-08-03 03:05:09]
333*2^2255496-1 is not prime.  Res64: 6326E07360C1107B  Time : 0.0 sec.
user=ototero
[2017-08-03 03:24:27]
335*2^2255482-1 is not prime.  Res64: F3A0F4CFDAFCE658  Time : 0.0 sec.
user=ototero
[2017-08-03 03:24:27]
315*2^2255486-1 is not prime.  Res64: 5A8A53581019805D  Time : 0.0 sec.
user=odicin
[2017-08-03 03:32:32]
303*2^2255503-1 is not prime.  Res64: BBE3E23119E25CD3  Time : 0.0 sec.
user=odicin
[2017-08-03 03:32:33]
339*2^2255503-1 is not prime.  Res64: DDEE236A902E93F2  Time : 0.0 sec.
user=ototero
[2017-08-03 03:38:33]
347*2^2255496-1 is not prime.  Res64: 0E459196B0CD4E92  Time : 0.0 sec.
user=ototero
[2017-08-03 03:39:01]
311*2^2255498-1 is not prime.  Res64: EC52C332EC3595E4  Time : 0.0 sec.
user=ototero
[2017-08-03 03:40:45]
327*2^2255498-1 is not prime.  Res64: B0337AACA762397A  Time : 0.0 sec.
user=ototero
[2017-08-03 03:40:59]
313*2^2255499-1 is not prime.  Res64: 7820613DFFEC7584  Time : 0.0 sec.
user=ototero
[2017-08-03 03:45:26]
319*2^2255499-1 is not prime.  Res64: 34EB0BD1F90AE88F  Time : 0.0 sec.
user=ototero
[2017-08-03 03:48:05]
315*2^2255475-1 is not prime.  Res64: FBF51C42CA9F8423  Time : 0.0 sec.
user=ototero
[2017-08-03 03:48:11]
309*2^2255476-1 is not prime.  Res64: 3D9508E334158983  Time : 0.0 sec.
user=ototero
[2017-08-03 03:48:13]
333*2^2255475-1 is not prime.  Res64: 1242BFC17C337ABB  Time : 0.0 sec.
user=ototero
[2017-08-03 03:53:42]
309*2^2255501-1 is not prime.  Res64: 80FA0B1A465502FE  Time : 0.0 sec.
user=odicin
[2017-08-03 04:00:04]
317*2^2255506-1 is not prime.  Res64: E273BA07B36B5F57  Time : 0.0 sec.
user=odicin
[2017-08-03 04:00:05]
339*2^2255507-1 is not prime.  Res64: EE11C4D1B376CA5C  Time : 0.0 sec.
user=odicin
[2017-08-03 04:27:10]
319*2^2255517-1 is not prime.  Res64: 2ABEE600473827D5  Time : 0.0 sec.
user=odicin
[2017-08-03 04:27:12]
321*2^2255517-1 is not prime.  Res64: 928BEB0890D002C3  Time : 0.0 sec.
user=ototero
[2017-08-03 04:39:01]
303*2^2255508-1 is not prime.  Res64: 2079E7FB258C654E  Time : 0.0 sec.
user=ototero
[2017-08-03 04:40:36]
333*2^2255511-1 is not prime.  Res64: EEF87E4AEF87D549  Time : 0.0 sec.
user=ototero
[2017-08-03 04:40:49]
315*2^2255510-1 is not prime.  Res64: 9C9141D776BE21E0  Time : 0.0 sec.
user=ototero
[2017-08-03 04:40:58]
327*2^2255512-1 is not prime.  Res64: 397DE96DD35A7D7F  Time : 0.0 sec.
user=ototero
[2017-08-03 04:46:15]
345*2^2255505-1 is not prime.  Res64: 0EEAB2C725DF233E  Time : 0.0 sec.
user=ototero
[2017-08-03 04:46:33]
321*2^2255505-1 is not prime.  Res64: 4D8D7379769B71F3  Time : 0.0 sec.
user=ototero
[2017-08-03 04:47:48]
339*2^2255512-1 is not prime.  Res64: B961977DC4FEE48C  Time : 0.0 sec.
user=odicin
[2017-08-03 04:54:18]
315*2^2255518-1 is not prime.  Res64: 9166C61282063DAD  Time : 0.0 sec.
user=odicin
[2017-08-03 04:54:20]
321*2^2255518-1 is not prime.  Res64: 54F14B77C59A9836  Time : 0.0 sec.
user=ototero
[2017-08-03 04:54:46]
343*2^2255515-1 is not prime.  Res64: ECE643B2311B100E  Time : 0.0 sec.
user=odicin
[2017-08-03 05:21:23]
323*2^2255530-1 is not prime.  Res64: B8AD3E086C4D2F1E  Time : 0.0 sec.
user=odicin
[2017-08-03 05:21:26]
323*2^2255536-1 is not prime.  Res64: 3273162EF928C788  Time : 0.0 sec.
user=ototero
[2017-08-03 05:39:11]
339*2^2255519-1 is not prime.  Res64: 29094386C1F22BFD  Time : 0.0 sec.
user=ototero
[2017-08-03 05:40:33]
347*2^2255522-1 is not prime.  Res64: A791BE77666C11E7  Time : 0.0 sec.
user=ototero
[2017-08-03 05:40:50]
303*2^2255524-1 is not prime.  Res64: 228440ADE782F6D0  Time : 0.0 sec.
user=ototero
[2017-08-03 05:41:23]
319*2^2255525-1 is not prime.  Res64: 4FC5F4BAD8C0D5A0  Time : 0.0 sec.
user=ototero
[2017-08-03 05:48:25]
339*2^2255529-1 is not prime.  Res64: 2B388BC488547922  Time : 0.0 sec.
user=odicin
[2017-08-03 05:48:30]
339*2^2255536-1 is not prime.  Res64: A57797728329C09B  Time : 0.0 sec.
user=odicin
[2017-08-03 05:48:32]
301*2^2255537-1 is not prime.  Res64: 00C064F46AD17829  Time : 0.0 sec.
user=ototero
[2017-08-03 05:55:31]
327*2^2255536-1 is not prime.  Res64: 005BF9F5C1877CDD  Time : 0.0 sec.
user=ototero
[2017-08-03 06:08:24]
301*2^2255529-1 is not prime.  Res64: 0C5FA0CD7C671DD9  Time : 0.0 sec.
user=ototero
[2017-08-03 06:08:25]
339*2^2255527-1 is not prime.  Res64: C4584DE322237BA7  Time : 0.0 sec.
user=ototero
[2017-08-03 06:10:16]
301*2^2255513-1 is not prime.  Res64: 8CE4B773211086C7  Time : 0.0 sec.
user=ototero
[2017-08-03 06:10:31]
339*2^2255515-1 is not prime.  Res64: 3F228C35D8A7D15E  Time : 0.0 sec.
user=ototero
[2017-08-03 06:10:35]
333*2^2255514-1 is not prime.  Res64: 9B730DB56EE073E4  Time : 0.0 sec.
user=odicin
[2017-08-03 06:15:35]
345*2^2255550-1 is not prime.  Res64: D99EEB56828FB4BA  Time : 0.0 sec.
user=odicin
[2017-08-03 06:15:37]
301*2^2255553-1 is not prime.  Res64: 9872E65CB73DEAC8  Time : 0.0 sec.
user=ototero
[2017-08-03 06:39:30]
335*2^2255540-1 is not prime.  Res64: 0477E02255990F49  Time : 0.0 sec.
user=ototero
[2017-08-03 06:41:05]
313*2^2255547-1 is not prime.  Res64: 8D0D2AC03905EA80  Time : 0.0 sec.
user=ototero
[2017-08-03 06:41:21]
301*2^2255547-1 is not prime.  Res64: 533879F3721E2E9E  Time : 0.0 sec.
user=odicin
[2017-08-03 06:42:41]
347*2^2255568-1 is not prime.  Res64: FF07315FF7E3C40F  Time : 0.0 sec.
user=odicin
[2017-08-03 06:42:41]
325*2^2255569-1 is not prime.  Res64: 8E9CBEC68411F3B9  Time : 0.0 sec.
user=ototero
[2017-08-03 06:43:18]
331*2^2255547-1 is not prime.  Res64: E85FCD309C0B875D  Time : 0.0 sec.
user=ototero
[2017-08-03 06:51:24]
309*2^2255548-1 is not prime.  Res64: FBDCE2754D0D9A99  Time : 0.0 sec.
user=ototero
[2017-08-03 06:59:57]
341*2^2255554-1 is not prime.  Res64: 35079D1A176479E3  Time : 0.0 sec.
user=odicin
[2017-08-03 07:09:46]
321*2^2255581-1 is not prime.  Res64: 9AE9B36E5F03A296  Time : 0.0 sec.
user=odicin
[2017-08-03 07:09:47]
345*2^2255584-1 is not prime.  Res64: D40DF46B22F42067  Time : 0.0 sec.
user=ototero
[2017-08-03 07:30:19]
349*2^2255555-1 is not prime.  Res64: 282E497E65F6778C  Time : 0.0 sec.
user=ototero
[2017-08-03 07:30:39]
321*2^2255557-1 is not prime.  Res64: D109FD1D52EEB21A  Time : 0.0 sec.
user=odicin
[2017-08-03 07:36:51]
327*2^2255589-1 is not prime.  Res64: 2B9B2B989F9316AD  Time : 0.0 sec.
user=odicin
[2017-08-03 07:36:54]
343*2^2255591-1 is not prime.  Res64: DD39F6517429E96F  Time : 0.0 sec.
user=ototero
[2017-08-03 07:42:09]
315*2^2255570-1 is not prime.  Res64: 2DFE9BD52515499C  Time : 0.0 sec.
user=ototero
[2017-08-03 07:43:06]
321*2^2255575-1 is not prime.  Res64: B8717FEDEEC30C11  Time : 0.0 sec.
user=ototero
[2017-08-03 07:43:28]
339*2^2255571-1 is not prime.  Res64: 78A26CACCC23B6B8  Time : 0.0 sec.
user=ototero
[2017-08-03 07:46:22]
325*2^2255587-1 is not prime.  Res64: 5351C52FC592A6AA  Time : 0.0 sec.
user=ototero
[2017-08-03 07:51:37]
343*2^2255587-1 is not prime.  Res64: DF77FCE864873396  Time : 0.0 sec.
user=ototero
[2017-08-03 08:01:30]
309*2^2255588-1 is not prime.  Res64: E135687261CB16C8  Time : 0.0 sec.
user=odicin
[2017-08-03 08:04:01]
345*2^2255601-1 is not prime.  Res64: 36F8CDD09FF79EF1  Time : 0.0 sec.
user=odicin
[2017-08-03 08:04:01]
325*2^2255603-1 is not prime.  Res64: B2DE0AC2FAF03080  Time : 0.0 sec.
user=odicin
[2017-08-03 08:31:30]
301*2^2255613-1 is not prime.  Res64: 421E9FEF51E55741  Time : 0.0 sec.
user=odicin
[2017-08-03 08:31:30]
325*2^2255613-1 is not prime.  Res64: ED1506E903BA6528  Time : 0.0 sec.
user=ototero
[2017-08-03 08:32:32]
309*2^2255561-1 is not prime.  Res64: 7FB1529980549146  Time : 0.0 sec.
user=ototero
[2017-08-03 08:32:46]
319*2^2255561-1 is not prime.  Res64: 683A3B8449B33EE0  Time : 0.0 sec.
user=ototero
[2017-08-03 08:32:54]
345*2^2255566-1 is not prime.  Res64: 7DA44B489E71B0E9  Time : 0.0 sec.
user=ototero
[2017-08-03 08:43:37]
301*2^2255605-1 is not prime.  Res64: 48FC643B2BBF6B97  Time : 0.0 sec.
user=ototero
[2017-08-03 08:45:23]
315*2^2255605-1 is not prime.  Res64: CE919FD8437D5AB3  Time : 0.0 sec.
user=ototero
[2017-08-03 08:45:35]
315*2^2255610-1 is not prime.  Res64: E86B3DB278383EE3  Time : 0.0 sec.
user=ototero
[2017-08-03 08:47:26]
333*2^2255610-1 is not prime.  Res64: 75B987D59B5B8B7D  Time : 0.0 sec.
user=ototero
[2017-08-03 08:52:49]
327*2^2255594-1 is not prime.  Res64: CD7C5A06AAA68F41  Time : 0.0 sec.
user=ototero
[2017-08-03 08:52:53]
337*2^2255597-1 is not prime.  Res64: 4183C38132890118  Time : 0.0 sec.
user=ototero
[2017-08-03 08:53:10]
345*2^2255611-1 is not prime.  Res64: 4425B7FA3ED0AF54  Time : 0.0 sec.
user=odicin
[2017-08-03 08:58:40]
343*2^2255615-1 is not prime.  Res64: 9A99BBE0DC5727DE  Time : 0.0 sec.
user=odicin
[2017-08-03 08:58:40]
323*2^2255614-1 is not prime.  Res64: 460BF02484E69C8B  Time : 0.0 sec.
user=ototero
[2017-08-03 09:03:31]
347*2^2255612-1 is not prime.  Res64: 5CB8111953023295  Time : 0.0 sec.
user=odicin
[2017-08-03 09:25:47]
349*2^2255629-1 is not prime.  Res64: BF07D8CBFCC12442  Time : 0.0 sec.
user=odicin
[2017-08-03 09:25:48]
335*2^2255628-1 is not prime.  Res64: C2CEEDED64BA79A9  Time : 0.0 sec.
user=ototero
[2017-08-03 09:44:03]
327*2^2255618-1 is not prime.  Res64: B08FC3041AC22453  Time : 0.0 sec.
user=ototero
[2017-08-03 09:46:11]
341*2^2255618-1 is not prime.  Res64: 1427290F4C52E115  Time : 0.0 sec.
user=ototero
[2017-08-03 09:46:39]
327*2^2255620-1 is not prime.  Res64: D3790379507B6173  Time : 0.0 sec.
user=ototero
[2017-08-03 09:48:19]
321*2^2255622-1 is not prime.  Res64: AD356658631694F7  Time : 0.0 sec.
user=odicin
[2017-08-03 09:52:54]
313*2^2255631-1 is not prime.  Res64: 9F4B315E8440D01C  Time : 0.0 sec.
user=odicin
[2017-08-03 09:52:55]
301*2^2255631-1 is not prime.  Res64: 21B0D4768F692D6D  Time : 0.0 sec.
user=ototero
[2017-08-03 09:54:03]
329*2^2255628-1 is not prime.  Res64: 1777FE2450DE329D  Time : 0.0 sec.
user=ototero
[2017-08-03 10:05:18]
341*2^2255630-1 is not prime.  Res64: DCF3372DB391F963  Time : 0.0 sec.
user=ototero
[2017-08-03 10:13:35]
331*2^2255625-1 is not prime.  Res64: 24D30EAE5BCF5C5B  Time : 0.0 sec.
user=ototero
[2017-08-03 10:16:54]
309*2^2255623-1 is not prime.  Res64: 353611E1BD81694E  Time : 0.0 sec.
user=odicin
[2017-08-03 10:20:01]
327*2^2255636-1 is not prime.  Res64: 1AF0D529818F9BEB  Time : 0.0 sec.
user=odicin
[2017-08-03 10:20:03]
341*2^2255634-1 is not prime.  Res64: 3FD63029695E345B  Time : 0.0 sec.
user=ototero
[2017-08-03 10:44:53]
339*2^2255632-1 is not prime.  Res64: F3FFAD5BB593B15C  Time : 0.0 sec.
user=ototero
[2017-08-03 10:47:04]
309*2^2255633-1 is not prime.  Res64: 5CB4973B48EBD8D0  Time : 0.0 sec.
user=odicin
[2017-08-03 10:47:08]
301*2^2255645-1 is not prime.  Res64: EF797C4707E76EDC  Time : 0.0 sec.
user=odicin
[2017-08-03 10:47:10]
305*2^2255646-1 is not prime.  Res64: F490F3B45C991DD9  Time : 0.0 sec.
user=ototero
[2017-08-03 10:47:10]
339*2^2255633-1 is not prime.  Res64: A30C8BDCDC593F17  Time : 0.0 sec.
user=ototero
[2017-08-03 10:48:55]
333*2^2255634-1 is not prime.  Res64: 74B14C058335442B  Time : 0.0 sec.
user=ototero
[2017-08-03 10:54:53]
349*2^2255615-1 is not prime.  Res64: DA030539AF41BBFD  Time : 0.0 sec.
user=ototero
[2017-08-03 10:55:12]
317*2^2255616-1 is not prime.  Res64: D24A7EC596DD6AB5  Time : 0.0 sec.
user=ototero
[2017-08-03 10:55:13]
327*2^2255640-1 is not prime.  Res64: 65647E625F58ED5C  Time : 0.0 sec.
user=ototero
[2017-08-03 10:55:24]
327*2^2255616-1 is not prime.  Res64: 84DB2ACEDA69483E  Time : 0.0 sec.
user=ototero
[2017-08-03 11:07:11]
331*2^2255641-1 is not prime.  Res64: 4881DDC44CE1ABDB  Time : 0.0 sec.
user=odicin
[2017-08-03 11:14:15]
313*2^2255647-1 is not prime.  Res64: 20B9EA20A739F138  Time : 0.0 sec.
user=odicin
[2017-08-03 11:14:16]
343*2^2255647-1 is not prime.  Res64: 2DF0273877369F8B  Time : 0.0 sec.
user=ototero
[2017-08-03 11:35:30]
333*2^2255643-1 is not prime.  Res64: 8A82FF2597774890  Time : 0.0 sec.
user=ototero
[2017-08-03 11:38:26]
339*2^2255643-1 is not prime.  Res64: CEAB0B83EEA30D99  Time : 0.0 sec.
user=odicin
[2017-08-03 11:41:21]
309*2^2255656-1 is not prime.  Res64: B3FE653CB942D7EB  Time : 0.0 sec.
user=odicin
[2017-08-03 11:41:21]
325*2^2255657-1 is not prime.  Res64: DEABCDB7DF3590F7  Time : 0.0 sec.
user=ototero
[2017-08-03 11:45:30]
317*2^2255646-1 is not prime.  Res64: EE28B2CFF05560F5  Time : 0.0 sec.
user=ototero
[2017-08-03 11:47:31]
321*2^2255646-1 is not prime.  Res64: 9E52B04A1C992428  Time : 0.0 sec.
user=ototero
[2017-08-03 11:47:46]
345*2^2255647-1 is not prime.  Res64: FF3C6B7449C5E894  Time : 0.0 sec.
user=ototero
[2017-08-03 11:49:46]
329*2^2255648-1 is not prime.  Res64: 1049DC8D952C448E  Time : 0.0 sec.
user=ototero
[2017-08-03 11:56:10]
321*2^2255653-1 is not prime.  Res64: 05857225FBB5A673  Time : 0.0 sec.
user=odicin
[2017-08-03 12:08:27]
349*2^2255663-1 is not prime.  Res64: 420A11AD29A408EA  Time : 0.0 sec.
user=odicin
[2017-08-03 12:08:32]
313*2^2255659-1 is not prime.  Res64: E7835213F8C9BD69  Time : 0.0 sec.
user=ototero
[2017-08-03 12:08:50]
349*2^2255655-1 is not prime.  Res64: 0D40B0C0A00E12BA  Time : 0.0 sec.
user=odicin
[2017-08-03 12:35:35]
313*2^2255671-1 is not prime.  Res64: FE0A11EC4E21E6A5  Time : 0.0 sec.
user=odicin
[2017-08-03 12:35:38]
307*2^2255677-1 is not prime.  Res64: F16D7858E0148C2E  Time : 0.0 sec.
user=ototero
[2017-08-03 12:46:14]
305*2^2255666-1 is not prime.  Res64: BC2BB09D734F32C6  Time : 0.0 sec.
user=ototero
[2017-08-03 12:47:53]
345*2^2255667-1 is not prime.  Res64: 1ED6AD32CD9D0796  Time : 0.0 sec.
user=ototero
[2017-08-03 12:48:12]
309*2^2255669-1 is not prime.  Res64: B9E4819990FCD172  Time : 0.0 sec.
user=ototero
[2017-08-03 12:50:22]
315*2^2255669-1 is not prime.  Res64: 7232DE5D075DE4B9  Time : 0.0 sec.
user=ototero
[2017-08-03 12:57:28]
339*2^2255657-1 is not prime.  Res64: 9333177879F10175  Time : 0.0 sec.
user=ototero
[2017-08-03 12:57:35]
339*2^2255669-1 is not prime.  Res64: B1189D7642FADC7C  Time : 0.0 sec.
user=ototero
[2017-08-03 13:00:01]
327*2^2255658-1 is not prime.  Res64: 22F5F76DE208C7A9  Time : 0.0 sec.
user=odicin
[2017-08-03 13:02:41]
309*2^2255683-1 is not prime.  Res64: 11EEF45716B959A4  Time : 0.0 sec.
user=odicin
[2017-08-03 13:02:44]
309*2^2255684-1 is not prime.  Res64: A329D12ABEAA2DC5  Time : 0.0 sec.
user=ototero
[2017-08-03 13:10:15]
309*2^2255681-1 is not prime.  Res64: BBFC5D3C94B2162B  Time : 0.0 sec.
user=ototero
[2017-08-03 13:17:05]
349*2^2255651-1 is not prime.  Res64: 1A0007DCBE0DCFD0  Time : 0.0 sec.
user=ototero
[2017-08-03 13:17:26]
307*2^2255653-1 is not prime.  Res64: FFD12A3FF53CE9F6  Time : 0.0 sec.
user=ototero
[2017-08-03 13:17:51]
323*2^2255654-1 is not prime.  Res64: 5716345BA3D7808F  Time : 0.0 sec.
user=odicin
[2017-08-03 13:29:47]
321*2^2255693-1 is not prime.  Res64: 2702731CD4754D25  Time : 0.0 sec.
user=odicin
[2017-08-03 13:29:51]
305*2^2255696-1 is not prime.  Res64: C45204FD5ED44B14  Time : 0.0 sec.
user=ototero
[2017-08-03 13:46:49]
321*2^2255685-1 is not prime.  Res64: 77F1F24D1A6EFFEE  Time : 0.0 sec.
user=ototero
[2017-08-03 13:48:16]
317*2^2255686-1 is not prime.  Res64: 325C1FFD5FEC35A3  Time : 0.0 sec.
user=ototero
[2017-08-03 13:48:51]
321*2^2255687-1 is not prime.  Res64: F4683D98793EEA3C  Time : 0.0 sec.
user=ototero
[2017-08-03 13:50:42]
333*2^2255688-1 is not prime.  Res64: 6D618A34DB689002  Time : 0.0 sec.
user=odicin
[2017-08-03 13:56:54]
315*2^2255706-1 is not prime.  Res64: 25F6AD559DEC0CAC  Time : 0.0 sec.
user=odicin
[2017-08-03 13:56:56]
345*2^2255706-1 is not prime.  Res64: 75CAC4E283CB0960  Time : 0.0 sec.
user=ototero
[2017-08-03 13:57:43]
327*2^2255689-1 is not prime.  Res64: 4CF15D72991377AE  Time : 0.0 sec.
user=ototero
[2017-08-03 14:11:45]
313*2^2255699-1 is not prime.  Res64: A0923D92A33FFE00  Time : 0.0 sec.
user=ototero
[2017-08-03 14:22:10]
309*2^2255689-1 is not prime.  Res64: B8744F92E95FDA63  Time : 0.0 sec.
user=ototero
[2017-08-03 14:22:45]
319*2^2255691-1 is not prime.  Res64: F356C23E78F49973  Time : 0.0 sec.
user=odicin
[2017-08-03 14:24:00]
305*2^2255712-1 is not prime.  Res64: 92FDEA24262C310E  Time : 0.0 sec.
user=odicin
[2017-08-03 14:24:02]
317*2^2255712-1 is not prime.  Res64: B5971DE51DB30C7D  Time : 0.0 sec.
user=ototero
[2017-08-03 14:47:49]
343*2^2255707-1 is not prime.  Res64: 50A60B90DB588A5D  Time : 0.0 sec.
user=ototero
[2017-08-03 14:49:43]
327*2^2255709-1 is not prime.  Res64: 493E8EE3DD475D64  Time : 0.0 sec.
user=ototero
[2017-08-03 14:50:22]
335*2^2255710-1 is not prime.  Res64: A5B453D30A464EFA  Time : 0.0 sec.
user=odicin
[2017-08-03 14:51:07]
345*2^2255719-1 is not prime.  Res64: 3DE469E27B8BD156  Time : 0.0 sec.
user=odicin
[2017-08-03 14:51:09]
347*2^2255720-1 is not prime.  Res64: 3C99F2EC02F4F7FC  Time : 0.0 sec.
user=ototero
[2017-08-03 14:52:00]
333*2^2255711-1 is not prime.  Res64: 5617DECD8682205B  Time : 0.0 sec.
user=ototero
[2017-08-03 14:59:41]
325*2^2255713-1 is not prime.  Res64: 4984D588D217072B  Time : 0.0 sec.
user=ototero
[2017-08-03 15:15:30]
339*2^2255715-1 is not prime.  Res64: 08A406CA35D22274  Time : 0.0 sec.
user=odicin
[2017-08-03 15:18:12]
325*2^2255725-1 is not prime.  Res64: 77FD62BDC9FD7CDD  Time : 0.0 sec.
user=odicin
[2017-08-03 15:18:19]
337*2^2255729-1 is not prime.  Res64: 1622CE48A194B9D1  Time : 0.0 sec.
user=ototero
[2017-08-03 15:39:44]
349*2^2255699-1 is not prime.  Res64: 7A5C94EDF7363636  Time : 0.0 sec.
user=ototero
[2017-08-03 15:40:12]
315*2^2255702-1 is not prime.  Res64: 51F965B5436A0FDD  Time : 0.0 sec.
user=ototero
[2017-08-03 15:40:34]
323*2^2255702-1 is not prime.  Res64: 90ECCDF0FCAE473D  Time : 0.0 sec.
user=ototero
[2017-08-03 15:44:16]
315*2^2255716-1 is not prime.  Res64: 3AC6D45EA2AE0492  Time : 0.0 sec.
user=ototero
[2017-08-03 15:44:32]
335*2^2255718-1 is not prime.  Res64: B6C0C70701FE463E  Time : 0.0 sec.
user=odicin
[2017-08-03 15:45:18]
327*2^2255732-1 is not prime.  Res64: 32E71064E4B65E1B  Time : 0.0 sec.
user=odicin
[2017-08-03 15:45:25]
325*2^2255733-1 is not prime.  Res64: 0BBA103A953CB62F  Time : 0.0 sec.
user=ototero
[2017-08-03 15:50:39]
335*2^2255722-1 is not prime.  Res64: 6BE9330EED7EB37B  Time : 0.0 sec.
user=ototero
[2017-08-03 15:52:10]
341*2^2255722-1 is not prime.  Res64: 1EFDAE76ACB64369  Time : 0.0 sec.
user=ototero
[2017-08-03 15:53:12]
315*2^2255724-1 is not prime.  Res64: 0FE37FD2A0408B71  Time : 0.0 sec.
user=ototero
[2017-08-03 15:54:31]
333*2^2255730-1 is not prime.  Res64: 3131AF578DCA50F4  Time : 0.0 sec.
user=ototero
[2017-08-03 16:02:07]
341*2^2255730-1 is not prime.  Res64: 316946B8C8CB2145  Time : 0.0 sec.
user=odicin
[2017-08-03 16:12:27]
339*2^2255743-1 is not prime.  Res64: 9CF1FD510DA2ED3B  Time : 0.0 sec.
user=odicin
[2017-08-03 16:12:32]
323*2^2255744-1 is not prime.  Res64: C9DF6574BC5ED2DF  Time : 0.0 sec.
user=ototero
[2017-08-03 16:18:27]
349*2^2255731-1 is not prime.  Res64: D4175CE2EBFBCCC4  Time : 0.0 sec.
user=odicin
[2017-08-03 16:39:38]
323*2^2255750-1 is not prime.  Res64: BF87C7B7963FCC6F  Time : 0.0 sec.
user=odicin
[2017-08-03 16:39:38]
315*2^2255751-1 is not prime.  Res64: 4BC174935E4F2333  Time : 0.0 sec.
user=ototero
[2017-08-03 16:50:45]
327*2^2255745-1 is not prime.  Res64: B285CB6048B0C99F  Time : 0.0 sec.
user=ototero
[2017-08-03 16:53:19]
315*2^2255746-1 is not prime.  Res64: 1FCD0C2C34F786F3  Time : 0.0 sec.
user=ototero
[2017-08-03 16:53:59]
319*2^2255747-1 is not prime.  Res64: 690CE6A66194B607  Time : 0.0 sec.
user=ototero
[2017-08-03 16:55:31]
333*2^2255747-1 is not prime.  Res64: 234E767F334C3555  Time : 0.0 sec.
user=ototero
[2017-08-03 17:03:15]
327*2^2255749-1 is not prime.  Res64: 41525805D999E28F  Time : 0.0 sec.
user=ototero
[2017-08-03 17:06:23]
349*2^2255739-1 is not prime.  Res64: DA5E3DE230900AEF  Time : 0.0 sec.
user=ototero
[2017-08-03 17:06:24]
309*2^2255741-1 is not prime.  Res64: 2D6A0777A6CA90EE  Time : 0.0 sec.
user=odicin
[2017-08-03 17:06:43]
301*2^2255753-1 is not prime.  Res64: 000122D2211C8873  Time : 0.0 sec.
user=odicin
[2017-08-03 17:06:45]
319*2^2255753-1 is not prime.  Res64: EC2032CD122EB363  Time : 0.0 sec.
user=ototero
[2017-08-03 17:20:04]
345*2^2255752-1 is not prime.  Res64: 3B39BD04FD9B6E3D  Time : 0.0 sec.
user=odicin
[2017-08-03 17:33:52]
335*2^2255768-1 is not prime.  Res64: CBA6BFF431AF2D64  Time : 0.0 sec.
user=odicin
[2017-08-03 17:33:52]
309*2^2255773-1 is not prime.  Res64: A8EBC2DBF881B394  Time : 0.0 sec.
user=ototero
[2017-08-03 17:51:27]
327*2^2255754-1 is not prime.  Res64: 99D3AD4E6F96B370  Time : 0.0 sec.
user=ototero
[2017-08-03 17:54:19]
333*2^2255754-1 is not prime.  Res64: CBA38772372F6737  Time : 0.0 sec.
user=ototero
[2017-08-03 17:54:36]
301*2^2255755-1 is not prime.  Res64: 2F14B9CD3F90A4DE  Time : 0.0 sec.
user=ototero
[2017-08-03 17:56:20]
333*2^2255756-1 is not prime.  Res64: 29F1296412151341  Time : 0.0 sec.
user=odicin
[2017-08-03 18:01:00]
301*2^2255777-1 is not prime.  Res64: 082846840282872A  Time : 0.0 sec.
user=odicin
[2017-08-03 18:01:01]
309*2^2255779-1 is not prime.  Res64: 6C9802C9D100F4AB  Time : 0.0 sec.
user=ototero
[2017-08-03 18:02:03]
311*2^2255734-1 is not prime.  Res64: D96C5BFFE1DE1A11  Time : 0.0 sec.
user=ototero
[2017-08-03 18:02:25]
347*2^2255738-1 is not prime.  Res64: 54550BD60F32D3AC  Time : 0.0 sec.
user=ototero
[2017-08-03 18:02:48]
333*2^2255739-1 is not prime.  Res64: B64B43E3C75E67BA  Time : 0.0 sec.
user=ototero
[2017-08-03 18:04:11]
309*2^2255759-1 is not prime.  Res64: 784A56ED8F0244A3  Time : 0.0 sec.
user=ototero
[2017-08-03 18:21:47]
347*2^2255774-1 is not prime.  Res64: 7E0A456228CA3EB8  Time : 0.0 sec.
user=odicin
[2017-08-03 18:28:19]
327*2^2255785-1 is not prime.  Res64: DC417F38D7E05DB5  Time : 0.0 sec.
user=ototero
[2017-08-03 18:28:30]
327*2^2255765-1 is not prime.  Res64: D0C45F4EA2E52F58  Time : 0.0 sec.
user=odicin
[2017-08-03 18:28:41]
309*2^2255788-1 is not prime.  Res64: 8D57083359265568  Time : 0.0 sec.
user=ototero
[2017-08-03 18:29:48]
321*2^2255765-1 is not prime.  Res64: 7C5F564A24486D56  Time : 0.0 sec.
user=ototero
[2017-08-03 18:52:14]
315*2^2255781-1 is not prime.  Res64: 6CA8F03A6EF37467  Time : 0.0 sec.
user=ototero
[2017-08-03 18:55:18]
321*2^2255782-1 is not prime.  Res64: 5F0FA96C4FB82F81  Time : 0.0 sec.
user=odicin
[2017-08-03 18:55:25]
315*2^2255791-1 is not prime.  Res64: 79D79F3D80055A30  Time : 0.0 sec.
user=ototero
[2017-08-03 18:55:29]
345*2^2255782-1 is not prime.  Res64: A22131131AB3F89B  Time : 0.0 sec.
user=odicin
[2017-08-03 18:55:48]
325*2^2255793-1 is not prime.  Res64: 4A26FE2064689C76  Time : 0.0 sec.
user=ototero
[2017-08-03 18:56:31]
333*2^2255784-1 is not prime.  Res64: 0DB04CA601D8DE7E  Time : 0.0 sec.
user=ototero
[2017-08-03 19:05:29]
315*2^2255790-1 is not prime.  Res64: 50AF8EE363A4D3CB  Time : 0.0 sec.
user=odicin
[2017-08-03 19:22:31]
321*2^2255797-1 is not prime.  Res64: AE5FDD1D38AB013A  Time : 0.0 sec.
user=odicin
[2017-08-03 19:22:55]
303*2^2255799-1 is not prime.  Res64: 14CB5266DD9C570A  Time : 0.0 sec.
user=ototero
[2017-08-03 19:23:48]
333*2^2255790-1 is not prime.  Res64: 7922934DBCC5C305  Time : 0.0 sec.
user=odicin
[2017-08-03 19:49:39]
319*2^2255801-1 is not prime.  Res64: 678E2D3693C2BD01  Time : 0.0 sec.
user=odicin
[2017-08-03 19:50:02]
341*2^2255802-1 is not prime.  Res64: 476202F95F20391B  Time : 0.0 sec.
user=ototero
[2017-08-03 19:51:06]
329*2^2255792-1 is not prime.  Res64: BB5CD5C9C2696A7C  Time : 0.0 sec.
user=ototero
[2017-08-03 19:52:46]
321*2^2255794-1 is not prime.  Res64: 237B39A2B723CB97  Time : 0.0 sec.
user=ototero
[2017-08-03 19:53:10]
313*2^2255795-1 is not prime.  Res64: 5522F1E9D64B3119  Time : 0.0 sec.
user=ototero
[2017-08-03 19:56:37]
339*2^2255795-1 is not prime.  Res64: 8103A2E226335F13  Time : 0.0 sec.
user=ototero
[2017-08-03 19:56:45]
341*2^2255798-1 is not prime.  Res64: B915957EDC6EEFA3  Time : 0.0 sec.
user=ototero
[2017-08-03 19:57:08]
315*2^2255800-1 is not prime.  Res64: 9AA47CAD9AAC91B9  Time : 0.0 sec.
user=ototero
[2017-08-03 20:06:49]
323*2^2255800-1 is not prime.  Res64: DC976DBD17A7C913  Time : 0.0 sec.
user=odicin
[2017-08-03 20:16:47]
321*2^2255807-1 is not prime.  Res64: 657B1C7CEFB1F010  Time : 0.0 sec.
user=odicin
[2017-08-03 20:17:07]
305*2^2255808-1 is not prime.  Res64: 3D504DB7AEB2915E  Time : 0.0 sec.
user=ototero
[2017-08-03 20:24:32]
327*2^2255788-1 is not prime.  Res64: 470C18D6CF50DE4B  Time : 0.0 sec.
user=ototero
[2017-08-03 20:24:52]
315*2^2255789-1 is not prime.  Res64: EF04EC60EA2A0007  Time : 0.0 sec.
user=ototero
[2017-08-03 20:25:10]
319*2^2255789-1 is not prime.  Res64: A702BB2818F062B3  Time : 0.0 sec.
user=ototero
[2017-08-03 20:25:19]
349*2^2255805-1 is not prime.  Res64: EBB17B15B7846DFE  Time : 0.0 sec.
user=odicin
[2017-08-03 20:43:58]
347*2^2255820-1 is not prime.  Res64: 3B137E9943FDE979  Time : 0.0 sec.
user=odicin
[2017-08-03 20:44:12]
307*2^2255821-1 is not prime.  Res64: 4D3740A822B55ADD  Time : 0.0 sec.
user=ototero
[2017-08-03 20:53:45]
341*2^2255810-1 is not prime.  Res64: 9B72B8C6E6263666  Time : 0.0 sec.
user=ototero
[2017-08-03 20:57:37]
333*2^2255811-1 is not prime.  Res64: 38DDA1DDE915429D  Time : 0.0 sec.
user=ototero
[2017-08-03 20:57:39]
315*2^2255814-1 is not prime.  Res64: 9E21576B3AA151C4  Time : 0.0 sec.
user=ototero
[2017-08-03 20:58:20]
309*2^2255819-1 is not prime.  Res64: 76E7EF74E89569B2  Time : 0.0 sec.
user=ototero
[2017-08-03 21:06:47]
325*2^2255819-1 is not prime.  Res64: EC362375E15B9929  Time : 0.0 sec.
user=odicin
[2017-08-03 21:11:05]
315*2^2255826-1 is not prime.  Res64: 3BA0BFBCB5934838  Time : 0.0 sec.
user=odicin
[2017-08-03 21:11:19]
321*2^2255826-1 is not prime.  Res64: DEE8221B7312A988  Time : 0.0 sec.
user=ototero
[2017-08-03 21:13:16]
329*2^2255808-1 is not prime.  Res64: 4783550414C2136C  Time : 0.0 sec.
user=ototero
[2017-08-03 21:14:11]
335*2^2255808-1 is not prime.  Res64: EDD613186B7726D9  Time : 0.0 sec.
user=ototero
[2017-08-03 21:26:39]
323*2^2255822-1 is not prime.  Res64: 3D3047FE37E19E0D  Time : 0.0 sec.
user=odicin
[2017-08-03 21:38:11]
305*2^2255840-1 is not prime.  Res64: DF83C6D5F3FBBC7F  Time : 0.0 sec.
user=odicin
[2017-08-03 21:38:30]
323*2^2255840-1 is not prime.  Res64: A896AA1595436D70  Time : 0.0 sec.
user=ototero
[2017-08-03 21:54:38]
339*2^2255831-1 is not prime.  Res64: C213B3672BB97380  Time : 0.0 sec.
user=ototero
[2017-08-03 21:58:27]
313*2^2255835-1 is not prime.  Res64: 27BE7FA750E6575E  Time : 0.0 sec.
user=ototero
[2017-08-03 21:58:44]
347*2^2255832-1 is not prime.  Res64: F7A0BA46E1946FF9  Time : 0.0 sec.
user=ototero
[2017-08-03 21:59:38]
315*2^2255836-1 is not prime.  Res64: 711E0A1DCD71ECDC  Time : 0.0 sec.
user=odicin
[2017-08-03 22:05:19]
317*2^2255848-1 is not prime.  Res64: 9A7A987BAAD01C46  Time : 0.0 sec.
user=odicin
[2017-08-03 22:05:36]
319*2^2255849-1 is not prime.  Res64: 6D4B934C25B0C397  Time : 0.0 sec.
user=ototero
[2017-08-03 22:07:36]
339*2^2255837-1 is not prime.  Res64: FC6333957DEDBD87  Time : 0.0 sec.
user=ototero
[2017-08-03 22:28:02]
313*2^2255847-1 is not prime.  Res64: 1487A0D9D4A878A7  Time : 0.0 sec.
user=odicin
[2017-08-03 22:32:34]
327*2^2255853-1 is not prime.  Res64: CFE096A882B2C3E7  Time : 0.0 sec.
user=odicin
[2017-08-03 22:32:45]
341*2^2255854-1 is not prime.  Res64: 72AD400FA3E36E71  Time : 0.0 sec.
user=ototero
[2017-08-03 22:36:54]
349*2^2255843-1 is not prime.  Res64: 5BC269B84E9D53B5  Time : 0.0 sec.
user=ototero
[2017-08-03 22:39:17]
315*2^2255845-1 is not prime.  Res64: DE01BB25995B33AE  Time : 0.0 sec.
user=ototero
[2017-08-03 22:47:01]
321*2^2255821-1 is not prime.  Res64: 820225348F9DFAD6  Time : 0.0 sec.
user=ototero
[2017-08-03 22:47:14]
339*2^2255821-1 is not prime.  Res64: 266C7413C235EEDB  Time : 0.0 sec.
user=ototero
[2017-08-03 22:47:38]
315*2^2255822-1 is not prime.  Res64: F2E212595046389B  Time : 0.0 sec.
user=ototero
[2017-08-03 22:55:13]
315*2^2255850-1 is not prime.  Res64: DB4F7BFBFC17D345  Time : 0.0 sec.
user=ototero
[2017-08-03 22:59:11]
345*2^2255851-1 is not prime.  Res64: 291EDABD3194F412  Time : 0.0 sec.
user=ototero
[2017-08-03 22:59:28]
309*2^2255851-1 is not prime.  Res64: 8CC0BC4C87A51E23  Time : 0.0 sec.
user=odicin
[2017-08-03 22:59:40]
323*2^2255860-1 is not prime.  Res64: 88D2AEB4DC1212D3  Time : 0.0 sec.
user=odicin
[2017-08-03 22:59:51]
301*2^2255863-1 is not prime.  Res64: DEDF03C75D1703B4  Time : 0.0 sec.
user=ototero
[2017-08-03 23:00:29]
301*2^2255853-1 is not prime.  Res64: A0688C7A2824C693  Time : 0.0 sec.
user=ototero
[2017-08-03 23:08:49]
329*2^2255856-1 is not prime.  Res64: 8CEF422F558DC32A  Time : 0.0 sec.
user=odicin
[2017-08-03 23:26:51]
325*2^2255875-1 is not prime.  Res64: 14276D853AAC68A1  Time : 0.0 sec.
user=odicin
[2017-08-03 23:26:58]
339*2^2255875-1 is not prime.  Res64: 40D01F8171DBEA5C  Time : 0.0 sec.
user=ototero
[2017-08-03 23:29:42]
325*2^2255859-1 is not prime.  Res64: 007F804DC49072AB  Time : 0.0 sec.
user=odicin
[2017-08-03 23:53:57]
345*2^2255877-1 is not prime.  Res64: BCF1AA526DAF2282  Time : 0.0 sec.
user=odicin
[2017-08-03 23:54:03]
327*2^2255880-1 is not prime.  Res64: 85B1B7C295929527  Time : 0.0 sec.
user=ototero
[2017-08-03 23:56:00]
335*2^2255868-1 is not prime.  Res64: E2684D6AED39B7C3  Time : 0.0 sec.
user=ototero
[2017-08-03 23:59:20]
303*2^2255863-1 is not prime.  Res64: 646DE4594D617F03  Time : 0.0 sec.
user=ototero
[2017-08-03 23:59:48]
341*2^2255874-1 is not prime.  Res64: A86D099BC2DC4EDC  Time : 0.0 sec.
user=ototero
[2017-08-04 00:00:11]
315*2^2255875-1 is not prime.  Res64: DD6FF4587C59F5A4  Time : 0.0 sec.