IR‌TOOLS JSON FORMATTER