JSON output for eval_koans