/runtime/queries/lean/