lean.parser.run_with_input source