user=odicin
[2017-07-30 00:26:33]
349*2^2253635-1 is not prime.  Res64: 528C9C51B1A35301  Time : 0.0 sec.
user=odicin
[2017-07-30 00:26:35]
327*2^2253636-1 is not prime.  Res64: 024DC9F1261DDC18  Time : 0.0 sec.
user=ototero
[2017-07-30 00:27:25]
315*2^2253627-1 is not prime.  Res64: CDA0FBDD1A4AC42F  Time : 0.0 sec.
user=ototero
[2017-07-30 00:30:11]
331*2^2253627-1 is not prime.  Res64: 7BCDC42EE899F6CD  Time : 0.0 sec.
user=ototero
[2017-07-30 00:38:42]
347*2^2253632-1 is not prime.  Res64: 5B24395DEF418B8D  Time : 0.0 sec.
user=ototero
[2017-07-30 00:39:07]
315*2^2253635-1 is not prime.  Res64: FFB887796688B04E  Time : 0.0 sec.
user=ototero
[2017-07-30 00:39:33]
343*2^2253635-1 is not prime.  Res64: B1D2C6747CDAABA8  Time : 0.0 sec.
user=odicin
[2017-07-30 00:53:38]
313*2^2253643-1 is not prime.  Res64: D2DED8B5DD4E4EC5  Time : 0.0 sec.
user=odicin
[2017-07-30 00:53:42]
335*2^2253644-1 is not prime.  Res64: EC01026B240332F0  Time : 0.0 sec.
user=ototero
[2017-07-30 00:58:14]
335*2^2253630-1 is not prime.  Res64: EE5F2817A5D04B06  Time : 0.0 sec.
user=ototero
[2017-07-30 00:58:57]
327*2^2253632-1 is not prime.  Res64: 9661051A0E6F3DBB  Time : 0.0 sec.
user=ototero
[2017-07-30 01:02:31]
327*2^2253640-1 is not prime.  Res64: B7A52B83A94421BA  Time : 0.0 sec.
user=odicin
[2017-07-30 01:20:44]
333*2^2253650-1 is not prime.  Res64: 4162D7886F4638F5  Time : 0.0 sec.
user=odicin
[2017-07-30 01:20:46]
341*2^2253650-1 is not prime.  Res64: 9924DD9AD07B523A  Time : 0.0 sec.
user=ototero
[2017-07-30 01:22:28]
301*2^2253617-1 is not prime.  Res64: E68FA10172B7048C  Time : 0.0 sec.
user=ototero
[2017-07-30 01:23:40]
325*2^2253619-1 is not prime.  Res64: 7EDD689BBB05248F  Time : 0.0 sec.
user=ototero
[2017-07-30 01:24:19]
323*2^2253620-1 is not prime.  Res64: 41B7A7DD974ECB7B  Time : 0.0 sec.
user=ototero
[2017-07-30 01:28:37]
327*2^2253645-1 is not prime.  Res64: 8BCAF10D9B139B79  Time : 0.0 sec.
user=ototero
[2017-07-30 01:31:30]
315*2^2253646-1 is not prime.  Res64: 69E651E90157D00F  Time : 0.0 sec.
user=ototero
[2017-07-30 01:40:03]
345*2^2253646-1 is not prime.  Res64: 46EC2F15AEBA2E38  Time : 0.0 sec.
user=ototero
[2017-07-30 01:40:30]
303*2^2253648-1 is not prime.  Res64: A46F48763CA47FBB  Time : 0.0 sec.
user=ototero
[2017-07-30 01:40:33]
317*2^2253648-1 is not prime.  Res64: 0F8EF7EBA664B8C3  Time : 0.0 sec.
user=odicin
[2017-07-30 01:47:50]
315*2^2253655-1 is not prime.  Res64: 4DD09DB3B3A2C3F9  Time : 0.0 sec.
user=odicin
[2017-07-30 01:47:54]
303*2^2253655-1 is not prime.  Res64: D11EE0FB92D95145  Time : 0.0 sec.
user=ototero
[2017-07-30 02:03:56]
335*2^2253654-1 is not prime.  Res64: E19789B052EA4744  Time : 0.0 sec.
user=odicin
[2017-07-30 02:14:55]
325*2^2253677-1 is not prime.  Res64: 0CE83A2220806C11  Time : 0.0 sec.
user=odicin
[2017-07-30 02:15:00]
333*2^2253680-1 is not prime.  Res64: 3AD8A82E418A0495  Time : 0.0 sec.
user=ototero
[2017-07-30 02:23:53]
321*2^2253653-1 is not prime.  Res64: 87968877C3A30A2C  Time : 0.0 sec.
user=ototero
[2017-07-30 02:24:41]
321*2^2253654-1 is not prime.  Res64: BE3CD91910601592  Time : 0.0 sec.
user=ototero
[2017-07-30 02:29:39]
321*2^2253666-1 is not prime.  Res64: 5A71E62206E03025  Time : 0.0 sec.
user=ototero
[2017-07-30 02:34:05]
347*2^2253666-1 is not prime.  Res64: 4A0BE854DD31E3E0  Time : 0.0 sec.
user=ototero
[2017-07-30 02:41:38]
339*2^2253671-1 is not prime.  Res64: 773A78CF5BFAE287  Time : 0.0 sec.
user=ototero
[2017-07-30 02:41:46]
301*2^2253677-1 is not prime.  Res64: 0D9E8D70B4DB08F3  Time : 0.0 sec.
user=odicin
[2017-07-30 02:42:01]
345*2^2253687-1 is not prime.  Res64: 0F334BFDC137DBDC  Time : 0.0 sec.
user=odicin
[2017-07-30 02:42:03]
307*2^2253689-1 is not prime.  Res64: 5066F616369F3720  Time : 0.0 sec.
user=ototero
[2017-07-30 02:42:06]
321*2^2253677-1 is not prime.  Res64: 03CBDCBB8BCF1F89  Time : 0.0 sec.
user=ototero
[2017-07-30 03:05:35]
301*2^2253681-1 is not prime.  Res64: 63386ECDFA6CD56D  Time : 0.0 sec.
user=odicin
[2017-07-30 03:09:06]
305*2^2253696-1 is not prime.  Res64: 6AD586A15C613CD6  Time : 0.0 sec.
user=odicin
[2017-07-30 03:09:07]
311*2^2253698-1 is not prime.  Res64: 40E647DD31991157  Time : 0.0 sec.
user=mdettweiler
[2017-07-30 03:09:44]
349*2^2253693-1 is not prime.  Res64: 33DAC7F977165181  Time : 0.0 sec.
user=ototero
[2017-07-30 03:31:06]
323*2^2253692-1 is not prime.  Res64: 9F16D98F3ED8EC4E  Time : 0.0 sec.
user=ototero
[2017-07-30 03:35:19]
321*2^2253694-1 is not prime.  Res64: 2A3D146069CBA438  Time : 0.0 sec.
user=odicin
[2017-07-30 03:36:24]
343*2^2253707-1 is not prime.  Res64: 9F1F7F994DA8F224  Time : 0.0 sec.
user=odicin
[2017-07-30 03:36:26]
327*2^2253709-1 is not prime.  Res64: EAFCD52D07F49045  Time : 0.0 sec.
user=ototero
[2017-07-30 03:43:10]
321*2^2253695-1 is not prime.  Res64: 1385B1CB1B85293A  Time : 0.0 sec.
user=ototero
[2017-07-30 03:43:10]
335*2^2253694-1 is not prime.  Res64: 266E0D2507D0FAFD  Time : 0.0 sec.
user=ototero
[2017-07-30 03:43:44]
347*2^2253702-1 is not prime.  Res64: C46638E58C6E102F  Time : 0.0 sec.
user=ototero
[2017-07-30 03:44:45]
339*2^2253655-1 is not prime.  Res64: 9DD6BF194F3B7E22  Time : 0.0 sec.
user=ototero
[2017-07-30 03:45:59]
339*2^2253661-1 is not prime.  Res64: 2817F76320B40BED  Time : 0.0 sec.
user=ototero
[2017-07-30 03:46:46]
321*2^2253665-1 is not prime.  Res64: 52972D6D6D5B3A5A  Time : 0.0 sec.
user=ototero
[2017-07-30 03:49:41]
339*2^2253689-1 is not prime.  Res64: 9D5E550C6D253A77  Time : 0.0 sec.
user=ototero
[2017-07-30 03:50:31]
349*2^2253691-1 is not prime.  Res64: 1DAB1D9562C164BD  Time : 0.0 sec.
user=odicin
[2017-07-30 04:03:35]
325*2^2253715-1 is not prime.  Res64: 24B4A07D9207BD27  Time : 0.0 sec.
user=odicin
[2017-07-30 04:03:36]
325*2^2253713-1 is not prime.  Res64: 3245F9B99414CD0A  Time : 0.0 sec.
user=ototero
[2017-07-30 04:07:43]
319*2^2253705-1 is not prime.  Res64: B236E79D243205B6  Time : 0.0 sec.
user=odicin
[2017-07-30 04:31:13]
339*2^2253725-1 is not prime.  Res64: 1E8A97D902E19EF0  Time : 0.0 sec.
user=odicin
[2017-07-30 04:31:18]
303*2^2253726-1 is not prime.  Res64: EEDB471F431B0208  Time : 0.0 sec.
user=ototero
[2017-07-30 04:32:51]
323*2^2253710-1 is not prime.  Res64: E2207F2584746962  Time : 0.0 sec.
user=ototero
[2017-07-30 04:37:08]
335*2^2253712-1 is not prime.  Res64: E6895A0E9C856170  Time : 0.0 sec.
user=ototero
[2017-07-30 04:44:46]
325*2^2253717-1 is not prime.  Res64: C858744D74FC4198  Time : 0.0 sec.
user=ototero
[2017-07-30 04:44:57]
349*2^2253715-1 is not prime.  Res64: FB9CBFE618D13059  Time : 0.0 sec.
user=ototero
[2017-07-30 04:45:11]
327*2^2253720-1 is not prime.  Res64: 9140C341798A9E66  Time : 0.0 sec.
user=odicin
[2017-07-30 04:58:19]
333*2^2253731-1 is not prime.  Res64: C0200540B19AF967  Time : 0.0 sec.
user=odicin
[2017-07-30 04:58:23]
339*2^2253735-1 is not prime.  Res64: 7D7A9FB08AF7FF17  Time : 0.0 sec.
user=ototero
[2017-07-30 05:09:36]
321*2^2253726-1 is not prime.  Res64: 7561A60EA9CA4536  Time : 0.0 sec.
user=ototero
[2017-07-30 05:15:35]
313*2^2253723-1 is not prime.  Res64: 750F5904411DC664  Time : 0.0 sec.
user=ototero
[2017-07-30 05:16:17]
309*2^2253725-1 is not prime.  Res64: F22E319472A11410  Time : 0.0 sec.
user=odicin
[2017-07-30 05:25:24]
345*2^2253750-1 is not prime.  Res64: 2AA91141847B29D6  Time : 0.0 sec.
user=odicin
[2017-07-30 05:25:27]
341*2^2253754-1 is not prime.  Res64: 4FBADCA371C92A1D  Time : 0.0 sec.
user=ototero
[2017-07-30 05:34:21]
345*2^2253744-1 is not prime.  Res64: 925A24D27488952D  Time : 0.0 sec.
user=ototero
[2017-07-30 05:38:33]
315*2^2253746-1 is not prime.  Res64: 141838999160F171  Time : 0.0 sec.
user=ototero
[2017-07-30 05:46:03]
325*2^2253747-1 is not prime.  Res64: 1878503282F91B4E  Time : 0.0 sec.
user=ototero
[2017-07-30 05:46:20]
309*2^2253749-1 is not prime.  Res64: 24BCFA6DF2E3E0DC  Time : 0.0 sec.
user=ototero
[2017-07-30 05:46:54]
337*2^2253749-1 is not prime.  Res64: BFB3E4910A75126F  Time : 0.0 sec.
user=odicin
[2017-07-30 05:52:28]
303*2^2253759-1 is not prime.  Res64: 69DFA64A6425B4EB  Time : 0.0 sec.
user=odicin
[2017-07-30 05:52:31]
327*2^2253762-1 is not prime.  Res64: 9458D47EA85AFC26  Time : 0.0 sec.
user=ototero
[2017-07-30 06:07:16]
347*2^2253720-1 is not prime.  Res64: C83CAF1369F20CA0  Time : 0.0 sec.
user=ototero
[2017-07-30 06:08:23]
327*2^2253721-1 is not prime.  Res64: 8A19BB35CCDAAF63  Time : 0.0 sec.
user=ototero
[2017-07-30 06:09:14]
305*2^2253722-1 is not prime.  Res64: 0BA6399E2238F634  Time : 0.0 sec.
user=ototero
[2017-07-30 06:11:20]
313*2^2253755-1 is not prime.  Res64: 2232ECA8B8D219C9  Time : 0.0 sec.
user=odicin
[2017-07-30 06:19:35]
327*2^2253781-1 is not prime.  Res64: 7406B2B476A395E7  Time : 0.0 sec.
user=odicin
[2017-07-30 06:19:36]
309*2^2253784-1 is not prime.  Res64: 8EB5A2555A039706  Time : 0.0 sec.
user=ototero
[2017-07-30 06:35:28]
317*2^2253766-1 is not prime.  Res64: 8E97AB93B3F41E50  Time : 0.0 sec.
user=ototero
[2017-07-30 06:40:01]
309*2^2253775-1 is not prime.  Res64: 22AAAD212E7215CB  Time : 0.0 sec.
user=ototero
[2017-07-30 06:41:15]
339*2^2253755-1 is not prime.  Res64: 09B044F81CAA081C  Time : 0.0 sec.
user=ototero
[2017-07-30 06:41:54]
305*2^2253758-1 is not prime.  Res64: C3BA18D033D79784  Time : 0.0 sec.
user=odicin
[2017-07-30 06:46:40]
345*2^2253786-1 is not prime.  Res64: 71AE676264997F01  Time : 0.0 sec.
user=odicin
[2017-07-30 06:46:41]
339*2^2253791-1 is not prime.  Res64: A9A45CACC359B539  Time : 0.0 sec.
user=ototero
[2017-07-30 06:47:14]
329*2^2253776-1 is not prime.  Res64: 7716A0D012D84897  Time : 0.0 sec.
user=ototero
[2017-07-30 06:47:44]
325*2^2253777-1 is not prime.  Res64: 03D69B09EFFF9102  Time : 0.0 sec.
user=ototero
[2017-07-30 06:48:17]
347*2^2253780-1 is not prime.  Res64: 99741E21450C4AFC  Time : 0.0 sec.
user=ototero
[2017-07-30 07:13:09]
341*2^2253786-1 is not prime.  Res64: 88B9D936D373771D  Time : 0.0 sec.
user=odicin
[2017-07-30 07:13:46]
321*2^2253801-1 is not prime.  Res64: F86318C6764613E5  Time : 0.0 sec.
user=odicin
[2017-07-30 07:13:47]
341*2^2253798-1 is not prime.  Res64: 42060CF410A59AEC  Time : 0.0 sec.
user=ototero
[2017-07-30 07:36:43]
335*2^2253792-1 is not prime.  Res64: A923A74A597429F4  Time : 0.0 sec.
user=odicin
[2017-07-30 07:40:52]
339*2^2253809-1 is not prime.  Res64: 2349753F83AF5794  Time : 0.0 sec.
user=odicin
[2017-07-30 07:40:53]
345*2^2253810-1 is not prime.  Res64: 86AB3FFB1BD7AC22  Time : 0.0 sec.
user=ototero
[2017-07-30 07:41:17]
347*2^2253792-1 is not prime.  Res64: A0940BE895992E2C  Time : 0.0 sec.
user=ototero
[2017-07-30 07:48:46]
331*2^2253801-1 is not prime.  Res64: 79F8B9E09F9FC2B2  Time : 0.0 sec.
user=ototero
[2017-07-30 07:48:55]
333*2^2253803-1 is not prime.  Res64: A417ADE5072EDF2F  Time : 0.0 sec.
user=ototero
[2017-07-30 07:49:31]
315*2^2253805-1 is not prime.  Res64: 2EE814D5075DF854  Time : 0.0 sec.
user=ototero
[2017-07-30 08:07:01]
347*2^2253794-1 is not prime.  Res64: F00E60247F874879  Time : 0.0 sec.
user=ototero
[2017-07-30 08:07:37]
333*2^2253795-1 is not prime.  Res64: B03FA4A6EAE47831  Time : 0.0 sec.
user=odicin
[2017-07-30 08:07:57]
311*2^2253814-1 is not prime.  Res64: 3A5756FF0473294C  Time : 0.0 sec.
user=odicin
[2017-07-30 08:07:57]
325*2^2253813-1 is not prime.  Res64: CA0A3D9D25B0DEED  Time : 0.0 sec.
user=ototero
[2017-07-30 08:15:20]
319*2^2253809-1 is not prime.  Res64: 4835FCE1812A4406  Time : 0.0 sec.
user=ototero
[2017-07-30 08:29:30]
323*2^2253784-1 is not prime.  Res64: A901D9E1B4EA076F  Time : 0.0 sec.
user=ototero
[2017-07-30 08:30:45]
301*2^2253785-1 is not prime.  Res64: FC244C2F44430E59  Time : 0.0 sec.
user=ototero
[2017-07-30 08:31:21]
319*2^2253785-1 is not prime.  Res64: 567EEB0AF4DDE8BC  Time : 0.0 sec.
user=odicin
[2017-07-30 08:35:03]
335*2^2253822-1 is not prime.  Res64: 0664D428F74D809D  Time : 0.0 sec.
user=odicin
[2017-07-30 08:35:06]
321*2^2253822-1 is not prime.  Res64: 799C55F5E421A54C  Time : 0.0 sec.
user=ototero
[2017-07-30 08:38:01]
339*2^2253811-1 is not prime.  Res64: 62B031C7267EB41F  Time : 0.0 sec.
user=ototero
[2017-07-30 08:42:34]
343*2^2253815-1 is not prime.  Res64: 97B6E7EAFADCE40E  Time : 0.0 sec.
user=ototero
[2017-07-30 08:50:04]
333*2^2253816-1 is not prime.  Res64: 8E480FC49B946323  Time : 0.0 sec.
user=ototero
[2017-07-30 08:50:23]
313*2^2253819-1 is not prime.  Res64: 7F192D8DD2C25C8D  Time : 0.0 sec.
user=ototero
[2017-07-30 08:50:57]
327*2^2253821-1 is not prime.  Res64: 73057B7EDC72C103  Time : 0.0 sec.
user=odicin
[2017-07-30 09:02:11]
339*2^2253829-1 is not prime.  Res64: CEE8CD70EE362FB5  Time : 0.0 sec.
user=odicin
[2017-07-30 09:02:12]
333*2^2253831-1 is not prime.  Res64: F2F0B5AC240552E0  Time : 0.0 sec.
user=ototero
[2017-07-30 09:17:17]
313*2^2253823-1 is not prime.  Res64: 49FF07FDC3FAF4E4  Time : 0.0 sec.
user=odicin
[2017-07-30 09:29:30]
339*2^2253839-1 is not prime.  Res64: B347C0215D184D64  Time : 0.0 sec.
user=odicin
[2017-07-30 09:29:31]
313*2^2253843-1 is not prime.  Res64: FAAF20D8E18697A2  Time : 0.0 sec.
user=ototero
[2017-07-30 09:37:36]
305*2^2253822-1 is not prime.  Res64: 7694E0134C961DC7  Time : 0.0 sec.
user=ototero
[2017-07-30 09:39:00]
335*2^2253832-1 is not prime.  Res64: 675AAD2EB3A9E1DD  Time : 0.0 sec.
user=ototero
[2017-07-30 09:42:00]
339*2^2253821-1 is not prime.  Res64: AED1B46F1B73366C  Time : 0.0 sec.
user=ototero
[2017-07-30 09:43:46]
339*2^2253833-1 is not prime.  Res64: 9EDA78837F9B7406  Time : 0.0 sec.
user=ototero
[2017-07-30 09:51:16]
345*2^2253834-1 is not prime.  Res64: 5F23788B97F39577  Time : 0.0 sec.
user=ototero
[2017-07-30 09:51:18]
315*2^2253839-1 is not prime.  Res64: AFD4A23EC8D09D5B  Time : 0.0 sec.
user=ototero
[2017-07-30 09:52:42]
319*2^2253839-1 is not prime.  Res64: 6E3F9E9C35C699B6  Time : 0.0 sec.
user=odicin
[2017-07-30 09:56:36]
323*2^2253850-1 is not prime.  Res64: 9EC091AB690060DF  Time : 0.0 sec.
user=odicin
[2017-07-30 09:56:36]
325*2^2253849-1 is not prime.  Res64: FB78D91B0E4731A3  Time : 0.0 sec.
user=ototero
[2017-07-30 10:19:04]
313*2^2253847-1 is not prime.  Res64: 5355AC08528614D7  Time : 0.0 sec.
user=odicin
[2017-07-30 10:23:39]
315*2^2253861-1 is not prime.  Res64: C4A17566E78CFC80  Time : 0.0 sec.
user=odicin
[2017-07-30 10:23:40]
327*2^2253861-1 is not prime.  Res64: D83E2AC831C1B5AF  Time : 0.0 sec.
user=ototero
[2017-07-30 10:40:02]
305*2^2253854-1 is not prime.  Res64: A0ECF9E29092201A  Time : 0.0 sec.
user=ototero
[2017-07-30 10:45:04]
321*2^2253855-1 is not prime.  Res64: FEBFFFE2A4CC4AAF  Time : 0.0 sec.
user=odicin
[2017-07-30 10:50:44]
341*2^2253866-1 is not prime.  Res64: 3EF91DCC7E0B8ED9  Time : 0.0 sec.
user=odicin
[2017-07-30 10:50:46]
305*2^2253866-1 is not prime.  Res64: B675ABD39788A4CB  Time : 0.0 sec.
user=ototero
[2017-07-30 10:51:49]
317*2^2253826-1 is not prime.  Res64: A12D16A7B926481B  Time : 0.0 sec.
user=ototero
[2017-07-30 10:52:30]
337*2^2253857-1 is not prime.  Res64: 76807A86CAE27337  Time : 0.0 sec.
user=ototero
[2017-07-30 10:52:32]
315*2^2253856-1 is not prime.  Res64: 611A3B556F56411A  Time : 0.0 sec.
user=ototero
[2017-07-30 10:52:59]
309*2^2253827-1 is not prime.  Res64: D93B37A02635B9A3  Time : 0.0 sec.
user=ototero
[2017-07-30 10:53:30]
339*2^2252413-1 is not prime.  Res64: 8048D3805B9353B1  Time : 0.0 sec.
user=ototero
[2017-07-30 10:53:48]
317*2^2253858-1 is not prime.  Res64: 8332DBBC65235D9D  Time : 0.0 sec.
user=ototero
[2017-07-30 11:03:39]
333*2^2253851-1 is not prime.  Res64: 9A5664940AE3C7F9  Time : 0.0 sec.
user=ototero
[2017-07-30 11:07:47]
315*2^2253855-1 is not prime.  Res64: 0DE4D047952B25E1  Time : 0.0 sec.
user=odicin
[2017-07-30 11:17:50]
335*2^2253870-1 is not prime.  Res64: 3D6194AEA2A70A5A  Time : 0.0 sec.
user=odicin
[2017-07-30 11:17:50]
309*2^2253869-1 is not prime.  Res64: 6637F4903ADF0FD4  Time : 0.0 sec.
user=ototero
[2017-07-30 11:20:25]
315*2^2253864-1 is not prime.  Res64: E3F65B5A2139808E  Time : 0.0 sec.
user=ototero
[2017-07-30 11:40:21]
333*2^2253867-1 is not prime.  Res64: 409A8DAE8434F0A4  Time : 0.0 sec.
user=odicin
[2017-07-30 11:44:56]
325*2^2253883-1 is not prime.  Res64: D084FF326E6D45A3  Time : 0.0 sec.
user=odicin
[2017-07-30 11:44:56]
349*2^2253885-1 is not prime.  Res64: BFFAA56F215E3F68  Time : 0.0 sec.
user=ototero
[2017-07-30 11:45:06]
315*2^2253868-1 is not prime.  Res64: 8A0127EB1BF2A3B5  Time : 0.0 sec.
user=ototero
[2017-07-30 11:52:37]
341*2^2253874-1 is not prime.  Res64: 1BE7774CC5B9C571  Time : 0.0 sec.
user=ototero
[2017-07-30 11:53:39]
301*2^2253873-1 is not prime.  Res64: 2394B24926096862  Time : 0.0 sec.
user=ototero
[2017-07-30 11:53:53]
301*2^2253879-1 is not prime.  Res64: 490D4C721BC8F782  Time : 0.0 sec.
user=odicin
[2017-07-30 12:11:59]
301*2^2253889-1 is not prime.  Res64: DC060B7A412DA64A  Time : 0.0 sec.
user=odicin
[2017-07-30 12:12:01]
319*2^2253891-1 is not prime.  Res64: EDA8194200A26AB1  Time : 0.0 sec.
user=ototero
[2017-07-30 12:20:00]
311*2^2253886-1 is not prime.  Res64: 0D0E7D785524BCFB  Time : 0.0 sec.
user=ototero
[2017-07-30 12:28:39]
345*2^2253879-1 is not prime.  Res64: 2A9699C184AAEA98  Time : 0.0 sec.
user=ototero
[2017-07-30 12:32:50]
349*2^2253879-1 is not prime.  Res64: EE53ABBC1404FE47  Time : 0.0 sec.
user=odicin
[2017-07-30 12:39:05]
319*2^2253897-1 is not prime.  Res64: A13511686DC6D88D  Time : 0.0 sec.
user=odicin
[2017-07-30 12:39:05]
349*2^2253899-1 is not prime.  Res64: D62E14E746D6A80B  Time : 0.0 sec.
user=ototero
[2017-07-30 12:40:03]
343*2^2253887-1 is not prime.  Res64: 99B61574F6613BDE  Time : 0.0 sec.
user=ototero
[2017-07-30 12:44:45]
345*2^2253891-1 is not prime.  Res64: 360C49595F43993E  Time : 0.0 sec.
user=ototero
[2017-07-30 12:52:24]
349*2^2253891-1 is not prime.  Res64: B572A170FD985F90  Time : 0.0 sec.
user=ototero
[2017-07-30 12:53:41]
315*2^2253895-1 is not prime.  Res64: 71BC03AE421BC896  Time : 0.0 sec.
user=ototero
[2017-07-30 12:56:01]
303*2^2253894-1 is not prime.  Res64: 4ABCFB864A0771BB  Time : 0.0 sec.
user=odicin
[2017-07-30 13:06:09]
303*2^2253912-1 is not prime.  Res64: 457A89667042B273  Time : 0.0 sec.
user=odicin
[2017-07-30 13:06:10]
335*2^2253908-1 is not prime.  Res64: 6113937FE04B4DF9  Time : 0.0 sec.
user=ototero
[2017-07-30 13:14:04]
343*2^2253871-1 is not prime.  Res64: 4AA6EDB0F3EA9BC9  Time : 0.0 sec.
user=ototero
[2017-07-30 13:15:24]
349*2^2253875-1 is not prime.  Res64: 197A7C51F35872C1  Time : 0.0 sec.
user=ototero
[2017-07-30 13:16:01]
345*2^2253876-1 is not prime.  Res64: 66C6E4E544F89804  Time : 0.0 sec.
user=ototero
[2017-07-30 13:20:04]
345*2^2253900-1 is not prime.  Res64: F630448AD9460AD9  Time : 0.0 sec.
user=odicin
[2017-07-30 13:33:16]
323*2^2253920-1 is not prime.  Res64: 80E3DB51AC6533CD  Time : 0.0 sec.
user=odicin
[2017-07-30 13:33:17]
305*2^2253920-1 is not prime.  Res64: 1BC15E4894969601  Time : 0.0 sec.
user=ototero
[2017-07-30 13:39:50]
321*2^2253913-1 is not prime.  Res64: 4A56CA7E090D9A32  Time : 0.0 sec.
user=ototero
[2017-07-30 13:44:11]
341*2^2253914-1 is not prime.  Res64: 79F5714887046629  Time : 0.0 sec.
user=ototero
[2017-07-30 13:52:00]
345*2^2253915-1 is not prime.  Res64: 382D2374A4090F25  Time : 0.0 sec.
user=ototero
[2017-07-30 13:53:22]
317*2^2253918-1 is not prime.  Res64: 0B2384C5D297348D  Time : 0.0 sec.
user=ototero
[2017-07-30 13:53:33]
313*2^2253903-1 is not prime.  Res64: 7488FDC1403433F7  Time : 0.0 sec.
user=ototero
[2017-07-30 13:56:20]
303*2^2253919-1 is not prime.  Res64: 4990664870D96C2D  Time : 0.0 sec.
user=ototero
[2017-07-30 13:57:44]
315*2^2253904-1 is not prime.  Res64: 544297F20072C309  Time : 0.0 sec.
user=odicin
[2017-07-30 14:00:21]
333*2^2253926-1 is not prime.  Res64: 3E1E4A491C33F091  Time : 0.0 sec.
user=odicin
[2017-07-30 14:00:21]
317*2^2253930-1 is not prime.  Res64: 563C53965DC20DBD  Time : 0.0 sec.
user=ototero
[2017-07-30 14:21:22]
333*2^2253923-1 is not prime.  Res64: 14FE7D109AE0A585  Time : 0.0 sec.
user=odicin
[2017-07-30 14:27:28]
305*2^2253950-1 is not prime.  Res64: 0405751618DC3C29  Time : 0.0 sec.
user=odicin
[2017-07-30 14:27:28]
315*2^2253947-1 is not prime.  Res64: 70438424DC2FC5E9  Time : 0.0 sec.
user=ototero
[2017-07-30 14:40:21]
313*2^2253931-1 is not prime.  Res64: E86CC8C6A86CECB6  Time : 0.0 sec.
user=ototero
[2017-07-30 14:44:22]
305*2^2253936-1 is not prime.  Res64: CD189DCF6D7ECD69  Time : 0.0 sec.
user=ototero
[2017-07-30 14:52:27]
317*2^2253936-1 is not prime.  Res64: EFA9D414BA0070DE  Time : 0.0 sec.
user=ototero
[2017-07-30 14:53:59]
321*2^2253937-1 is not prime.  Res64: 5CB4BFA7A08EC365  Time : 0.0 sec.
user=odicin
[2017-07-30 14:54:32]
339*2^2253953-1 is not prime.  Res64: 2CF27C63C8612897  Time : 0.0 sec.
user=odicin
[2017-07-30 14:54:33]
315*2^2253958-1 is not prime.  Res64: 0122D358C6AC7EC9  Time : 0.0 sec.
user=ototero
[2017-07-30 14:57:08]
321*2^2253941-1 is not prime.  Res64: A8E09B129E674EDB  Time : 0.0 sec.
user=ototero
[2017-07-30 15:18:22]
341*2^2253938-1 is not prime.  Res64: CD9B06D1B314EC22  Time : 0.0 sec.
user=odicin
[2017-07-30 15:21:38]
315*2^2253964-1 is not prime.  Res64: D9E600295E6457F5  Time : 0.0 sec.
user=odicin
[2017-07-30 15:21:40]
319*2^2253965-1 is not prime.  Res64: ED6F049B4C82C22C  Time : 0.0 sec.
user=ototero
[2017-07-30 15:22:29]
317*2^2253946-1 is not prime.  Res64: 1B149942FA419DDD  Time : 0.0 sec.
user=ototero
[2017-07-30 15:22:37]
339*2^2253952-1 is not prime.  Res64: 9D715FEAB9FCC8BC  Time : 0.0 sec.
user=ototero
[2017-07-30 15:36:55]
333*2^2253920-1 is not prime.  Res64: A421FB069AA8CDA8  Time : 0.0 sec.
user=ototero
[2017-07-30 15:38:07]
327*2^2253921-1 is not prime.  Res64: FFB28D4B84AAFA50  Time : 0.0 sec.
user=ototero
[2017-07-30 15:38:44]
335*2^2253922-1 is not prime.  Res64: 2B0227EAD2640888  Time : 0.0 sec.
user=ototero
[2017-07-30 15:41:33]
315*2^2253960-1 is not prime.  Res64: 2B876C12847B8CA7  Time : 0.0 sec.
user=ototero
[2017-07-30 15:45:27]
305*2^2253962-1 is not prime.  Res64: 9D7A516EB6C2B6AF  Time : 0.0 sec.
user=odicin
[2017-07-30 15:48:43]
339*2^2253967-1 is not prime.  Res64: DFDB4B6A946FB83E  Time : 0.0 sec.
user=odicin
[2017-07-30 15:48:43]
343*2^2253967-1 is not prime.  Res64: 2F46BC4AFF1D73E8  Time : 0.0 sec.
user=ototero
[2017-07-30 15:53:12]
327*2^2253962-1 is not prime.  Res64: 78FD3B5E0F446E0F  Time : 0.0 sec.
user=ototero
[2017-07-30 15:55:09]
333*2^2253963-1 is not prime.  Res64: 4E964E07F3E56AD9  Time : 0.0 sec.
user=ototero
[2017-07-30 15:58:04]
313*2^2253967-1 is not prime.  Res64: 4700BC1CC097497B  Time : 0.0 sec.
user=odicin
[2017-07-30 16:15:46]
315*2^2253976-1 is not prime.  Res64: EA95B4B0B30DE765  Time : 0.0 sec.
user=odicin
[2017-07-30 16:15:47]
301*2^2253977-1 is not prime.  Res64: 9E9DF0B72516CD11  Time : 0.0 sec.
user=ototero
[2017-07-30 16:24:01]
339*2^2253968-1 is not prime.  Res64: 57BEF7E9254BE5F0  Time : 0.0 sec.
user=ototero
[2017-07-30 16:42:07]
319*2^2253971-1 is not prime.  Res64: FFFD8E53CCE9B948  Time : 0.0 sec.
user=odicin
[2017-07-30 16:42:53]
315*2^2253979-1 is not prime.  Res64: DB9327C2E3437BDA  Time : 0.0 sec.
user=odicin
[2017-07-30 16:42:53]
301*2^2253981-1 is not prime.  Res64: A9A8797C18F1115A  Time : 0.0 sec.
user=ototero
[2017-07-30 16:43:22]
315*2^2253967-1 is not prime.  Res64: 1107B6AE436A63BD  Time : 0.0 sec.
user=ototero
[2017-07-30 16:46:23]
339*2^2253975-1 is not prime.  Res64: 1709D563D8824D57  Time : 0.0 sec.
user=ototero
[2017-07-30 16:47:24]
329*2^2253968-1 is not prime.  Res64: A9BB38DFAE4BD082  Time : 0.0 sec.
user=ototero
[2017-07-30 16:54:05]
339*2^2253977-1 is not prime.  Res64: EF7CFEF928026F97  Time : 0.0 sec.
user=ototero
[2017-07-30 16:55:43]
315*2^2253978-1 is not prime.  Res64: DAE15392A249A886  Time : 0.0 sec.
user=ototero
[2017-07-30 16:59:00]
301*2^2253979-1 is not prime.  Res64: EFB250F11176F69B  Time : 0.0 sec.
user=odicin
[2017-07-30 17:10:02]
317*2^2253988-1 is not prime.  Res64: 6646E966EF15197F  Time : 0.0 sec.
user=odicin
[2017-07-30 17:10:02]
315*2^2253989-1 is not prime.  Res64: 0B49CB6A0F13BF72  Time : 0.0 sec.
user=ototero
[2017-07-30 17:25:14]
349*2^2253983-1 is not prime.  Res64: 1B2B39D1962427C3  Time : 0.0 sec.
user=odicin
[2017-07-30 17:37:09]
309*2^2254003-1 is not prime.  Res64: FF3BEC7056AB09B4  Time : 0.0 sec.
user=odicin
[2017-07-30 17:37:09]
313*2^2254003-1 is not prime.  Res64: 2002BB5644E5ACD4  Time : 0.0 sec.
user=ototero
[2017-07-30 17:42:53]
315*2^2253987-1 is not prime.  Res64: FE2B1660C113FE44  Time : 0.0 sec.
user=ototero
[2017-07-30 17:47:26]
339*2^2253989-1 is not prime.  Res64: 5F2646184B0C15F0  Time : 0.0 sec.
user=ototero
[2017-07-30 17:55:11]
329*2^2253996-1 is not prime.  Res64: 1CA942A3F402F077  Time : 0.0 sec.
user=ototero
[2017-07-30 17:56:24]
323*2^2254000-1 is not prime.  Res64: 391CC7B20CC9B672  Time : 0.0 sec.
user=ototero
[2017-07-30 17:59:19]
319*2^2253969-1 is not prime.  Res64: 3243C0900EF746F3  Time : 0.0 sec.
user=ototero
[2017-07-30 18:00:00]
327*2^2254001-1 is not prime.  Res64: DB83662FDBFFC863  Time : 0.0 sec.
user=ototero
[2017-07-30 18:00:18]
331*2^2253969-1 is not prime.  Res64: 00EB22397801BE0D  Time : 0.0 sec.
user=ototero
[2017-07-30 18:00:55]
315*2^2253970-1 is not prime.  Res64: 6E279947B27B0F79  Time : 0.0 sec.
user=odicin
[2017-07-30 18:04:16]
317*2^2254008-1 is not prime.  Res64: FF53CA74F23844E1  Time : 0.0 sec.
user=odicin
[2017-07-30 18:04:19]
345*2^2254006-1 is not prime.  Res64: D71407E1AF6E4505  Time : 0.0 sec.
user=ototero
[2017-07-30 18:08:18]
319*2^2253989-1 is not prime.  Res64: FDBB0FD0491508E0  Time : 0.0 sec.
user=ototero
[2017-07-30 18:12:14]
343*2^2253995-1 is not prime.  Res64: 5C2B44935343EF55  Time : 0.0 sec.
user=ototero
[2017-07-30 18:26:50]
343*2^2254003-1 is not prime.  Res64: D7476C9C31CF7501  Time : 0.0 sec.
user=odicin
[2017-07-30 18:31:38]
303*2^2254026-1 is not prime.  Res64: F0F62E24523A06A4  Time : 0.0 sec.
user=odicin
[2017-07-30 18:31:39]
333*2^2254026-1 is not prime.  Res64: 2626E5E166002034  Time : 0.0 sec.
user=ototero
[2017-07-30 18:43:48]
327*2^2254008-1 is not prime.  Res64: 8BDBC96BB36C6FA6  Time : 0.0 sec.
user=ototero
[2017-07-30 18:48:11]
333*2^2254011-1 is not prime.  Res64: 7B181ABFA95EB20E  Time : 0.0 sec.
user=ototero
[2017-07-30 18:55:48]
307*2^2254013-1 is not prime.  Res64: 5FC56D324759E501  Time : 0.0 sec.
user=ototero
[2017-07-30 18:57:06]
301*2^2254017-1 is not prime.  Res64: 84D6CBC154CF2E58  Time : 0.0 sec.
user=odicin
[2017-07-30 18:58:43]
315*2^2254030-1 is not prime.  Res64: FCCDEA9E70FDBCB2  Time : 0.0 sec.
user=odicin
[2017-07-30 18:58:46]
335*2^2254030-1 is not prime.  Res64: AF609DE2984DAE58  Time : 0.0 sec.
user=ototero
[2017-07-30 19:01:12]
315*2^2254022-1 is not prime.  Res64: 98549D482F0AAA69  Time : 0.0 sec.
user=odicin
[2017-07-30 19:25:50]
311*2^2254034-1 is not prime.  Res64: 1A443EE51E0E3469  Time : 0.0 sec.
user=odicin
[2017-07-30 19:25:52]
321*2^2254034-1 is not prime.  Res64: 4D0291BC62564CE1  Time : 0.0 sec.
user=ototero
[2017-07-30 19:28:35]
325*2^2254029-1 is not prime.  Res64: FF9E29F023D36CC2  Time : 0.0 sec.
user=ototero
[2017-07-30 19:33:15]
315*2^2254027-1 is not prime.  Res64: 28095D3EB3983A28  Time : 0.0 sec.
user=ototero
[2017-07-30 19:37:12]
309*2^2254028-1 is not prime.  Res64: 2E7463FEBD426CAE  Time : 0.0 sec.
user=ototero
[2017-07-30 19:44:48]
339*2^2254031-1 is not prime.  Res64: 0C13031D575B67B4  Time : 0.0 sec.
user=ototero
[2017-07-30 19:49:16]
307*2^2254033-1 is not prime.  Res64: DC5600AE8CD770D5  Time : 0.0 sec.
user=odicin
[2017-07-30 19:52:59]
309*2^2254037-1 is not prime.  Res64: 8650668601A1A84C  Time : 0.0 sec.
user=odicin
[2017-07-30 19:53:00]
327*2^2254036-1 is not prime.  Res64: E8FB5AEE6E54E083  Time : 0.0 sec.
user=ototero
[2017-07-30 19:56:49]
331*2^2254033-1 is not prime.  Res64: A4CD567803E48C6A  Time : 0.0 sec.
user=ototero
[2017-07-30 19:58:21]
339*2^2254033-1 is not prime.  Res64: 92B15AAB7A3922A4  Time : 0.0 sec.
user=ototero
[2017-07-30 20:02:02]
333*2^2254035-1 is not prime.  Res64: 9D3A474E499684AF  Time : 0.0 sec.
user=odicin
[2017-07-30 20:20:06]
321*2^2254045-1 is not prime.  Res64: 34A7758447E23E19  Time : 0.0 sec.
user=odicin
[2017-07-30 20:20:07]
327*2^2254045-1 is not prime.  Res64: 8DCFE48F82B29A43  Time : 0.0 sec.
user=ototero
[2017-07-30 20:22:02]
339*2^2254019-1 is not prime.  Res64: 957D6FCCA397C3F0  Time : 0.0 sec.
user=ototero
[2017-07-30 20:23:01]
319*2^2254023-1 is not prime.  Res64: 8DF06AE66D036699  Time : 0.0 sec.
user=ototero
[2017-07-30 20:23:16]
339*2^2254025-1 is not prime.  Res64: 4402A31604DA5217  Time : 0.0 sec.
user=ototero
[2017-07-30 20:29:47]
305*2^2254038-1 is not prime.  Res64: 562CB6500742C861  Time : 0.0 sec.
user=ototero
[2017-07-30 20:45:36]
329*2^2254044-1 is not prime.  Res64: 2D05144E5411FB22  Time : 0.0 sec.
user=odicin
[2017-07-30 20:47:12]
315*2^2254051-1 is not prime.  Res64: 412C69BAC271E7FF  Time : 0.0 sec.
user=odicin
[2017-07-30 20:47:14]
311*2^2254054-1 is not prime.  Res64: 981DD749AA200607  Time : 0.0 sec.
user=ototero
[2017-07-30 20:50:30]
335*2^2254044-1 is not prime.  Res64: DF6B587FE7BC5D00  Time : 0.0 sec.
user=ototero
[2017-07-30 20:57:43]
301*2^2254047-1 is not prime.  Res64: 59D4CCF6BF580CCB  Time : 0.0 sec.
user=ototero
[2017-07-30 20:58:08]
335*2^2254038-1 is not prime.  Res64: A1A825A58E2BDD3E  Time : 0.0 sec.
user=ototero
[2017-07-30 20:59:21]
303*2^2254048-1 is not prime.  Res64: 47469BD65747ED02  Time : 0.0 sec.
user=ototero
[2017-07-30 21:02:03]
301*2^2254039-1 is not prime.  Res64: 2A651E2AEF181F75  Time : 0.0 sec.
user=ototero
[2017-07-30 21:03:01]
321*2^2254050-1 is not prime.  Res64: 38ACC219605CF287  Time : 0.0 sec.
user=odicin
[2017-07-30 21:14:20]
327*2^2254060-1 is not prime.  Res64: 4C21C2F4846F21BE  Time : 0.0 sec.
user=odicin
[2017-07-30 21:14:25]
307*2^2254061-1 is not prime.  Res64: 4499F2F419762552  Time : 0.0 sec.
user=ototero
[2017-07-30 21:31:14]
315*2^2254059-1 is not prime.  Res64: 2B76A64130CD1B22  Time : 0.0 sec.
user=odicin
[2017-07-30 21:41:26]
321*2^2254070-1 is not prime.  Res64: 6FD32316E19793FC  Time : 0.0 sec.
user=odicin
[2017-07-30 21:41:30]
323*2^2254070-1 is not prime.  Res64: 360DE1BDFD30EEC1  Time : 0.0 sec.
user=ototero
[2017-07-30 21:46:46]
333*2^2254059-1 is not prime.  Res64: 563BB06E853927E4  Time : 0.0 sec.
user=ototero
[2017-07-30 21:51:40]
309*2^2254061-1 is not prime.  Res64: 587F0E31652555A5  Time : 0.0 sec.
user=ototero
[2017-07-30 21:58:25]
327*2^2254065-1 is not prime.  Res64: 93B56B3C634B5ACD  Time : 0.0 sec.
user=ototero
[2017-07-30 22:00:13]
339*2^2254067-1 is not prime.  Res64: C25D1788DF673F88  Time : 0.0 sec.
user=ototero
[2017-07-30 22:04:04]
327*2^2254069-1 is not prime.  Res64: 684618A862054C12  Time : 0.0 sec.
user=odicin
[2017-07-30 22:08:30]
335*2^2254074-1 is not prime.  Res64: 32FB195FE880E972  Time : 0.0 sec.
user=odicin
[2017-07-30 22:08:34]
343*2^2254075-1 is not prime.  Res64: 5C8910668EC509A2  Time : 0.0 sec.
user=ototero
[2017-07-30 22:23:16]
315*2^2254067-1 is not prime.  Res64: AB1B058EA57DB788  Time : 0.0 sec.
user=ototero
[2017-07-30 22:27:13]
347*2^2254068-1 is not prime.  Res64: D2350033C9209BF0  Time : 0.0 sec.
user=ototero
[2017-07-30 22:32:41]
319*2^2254073-1 is not prime.  Res64: BB301A5E9A1FD8DC  Time : 0.0 sec.
user=odicin
[2017-07-30 22:35:35]
335*2^2254084-1 is not prime.  Res64: 4C20650E4E0DBBC2  Time : 0.0 sec.
user=odicin
[2017-07-30 22:35:39]
319*2^2254085-1 is not prime.  Res64: 2771F33832C37E92  Time : 0.0 sec.
user=ototero
[2017-07-30 22:44:40]
333*2^2254056-1 is not prime.  Res64: 97DD0311A3114D3A  Time : 0.0 sec.
user=ototero
[2017-07-30 22:45:22]
337*2^2254057-1 is not prime.  Res64: 269F4B01F0081A72  Time : 0.0 sec.
user=ototero
[2017-07-30 22:45:49]
327*2^2254058-1 is not prime.  Res64: 194371AF75373549  Time : 0.0 sec.
user=ototero
[2017-07-30 22:47:31]
329*2^2254076-1 is not prime.  Res64: E8447859DC58021E  Time : 0.0 sec.
user=ototero
[2017-07-30 22:52:33]
325*2^2254077-1 is not prime.  Res64: 64E3E5E16E0A0196  Time : 0.0 sec.
user=ototero
[2017-07-30 22:59:18]
345*2^2254080-1 is not prime.  Res64: 1FEC00BB21FAE70C  Time : 0.0 sec.
user=ototero
[2017-07-30 23:01:31]
339*2^2254083-1 is not prime.  Res64: 587E41A2282444C3  Time : 0.0 sec.
user=odicin
[2017-07-30 23:02:41]
313*2^2254095-1 is not prime.  Res64: 4B5336A7289109F3  Time : 0.0 sec.
user=odicin
[2017-07-30 23:02:44]
327*2^2254096-1 is not prime.  Res64: EA09398FBCC3BA7B  Time : 0.0 sec.
user=ototero
[2017-07-30 23:05:27]
315*2^2254084-1 is not prime.  Res64: 2F28AF8B0F9B49CC  Time : 0.0 sec.
user=odicin
[2017-07-30 23:29:47]
301*2^2254107-1 is not prime.  Res64: A7C6BA5878EEEDBC  Time : 0.0 sec.
user=odicin
[2017-07-30 23:29:52]
337*2^2254109-1 is not prime.  Res64: F8376DA8F77C72A7  Time : 0.0 sec.
user=ototero
[2017-07-30 23:34:08]
309*2^2254091-1 is not prime.  Res64: 7BA94273F28E574A  Time : 0.0 sec.
user=ototero
[2017-07-30 23:48:43]
301*2^2254089-1 is not prime.  Res64: 85DFB12EAC9C499D  Time : 0.0 sec.
user=ototero
[2017-07-30 23:48:46]
303*2^2254104-1 is not prime.  Res64: B7E20AD0C5838525  Time : 0.0 sec.
user=ototero
[2017-07-30 23:52:28]
315*2^2254090-1 is not prime.  Res64: E8AAD87B939BF0CF  Time : 0.0 sec.
user=ototero
[2017-07-30 23:53:24]
345*2^2254104-1 is not prime.  Res64: E3CD2DC40CEE2B84  Time : 0.0 sec.
user=odicin
[2017-07-30 23:56:54]
335*2^2254110-1 is not prime.  Res64: 6CBFC6A6885AD3DF  Time : 0.0 sec.
user=odicin
[2017-07-30 23:56:58]
343*2^2254111-1 is not prime.  Res64: DF75917102270AFA  Time : 0.0 sec.
user=ototero
[2017-07-31 00:00:18]
325*2^2254105-1 is not prime.  Res64: D6622F34A0E9CF15  Time : 0.0 sec.