{"push_id":599061092,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"c67ed4094a2abc7914b640b8c5954889f53ba477","before":"a622d222cf01bfe656c61ff3288ae50d63f645d3","commits":[{"sha":"c67ed4094a2abc7914b640b8c5954889f53ba477","author":{"email":"e886c8fc21e9615c31fe4e84f64cf36c5ad4e5fb@labri.fr","name":"Richard Moot"},"message":"Subtle but important changes to proof generation\n\nWith a bit of luck, I may have resolved the issue with variables.\nFurther testing necessary.","distinct":true,"url":"https://api.github.com/repos/RichardMoot/LinearOne/commits/c67ed4094a2abc7914b640b8c5954889f53ba477"}]}