{"ok":true,"symbols":1015,"coverage":563,"zmetrics":507}