{"schema":2,"source_revision":"3e7d9d0b80d3d7bc7a38a7bee161f7edd52e299e","target":"lean/browser/index.html","execution":"local WebAssembly","retired_route":true,"build_runs_lean":false,"changes_recorded_verification":false}