Use JSON format to implement example that exports Tiger to SVG.