downloaded	| lean_formal_proof_instance_1 | b4ba08e6-c277-4c2c-9576-f98a07ec1d3c | 3 / 3 | d5e42e66-6e3e-422f-a839-9499463b9a9d |