JSON output formats for WIMs