{"push_id":1011098197,"size":1,"distinct_size":1,"ref":"refs/heads/wip","head":"56cbe4703c5a36363cbbaea4e77cec47373def72","before":"0c76005772829b3e46f67b0e2861ae4c4ce45e1a","commits":[{"sha":"56cbe4703c5a36363cbbaea4e77cec47373def72","author":{"email":"1f81e848faf55004077c594fb2256b536cb2c8e0@gmail.com","name":"Theo Belaire"},"message":"Attempt at ClassTable_ind_inv","distinct":true,"url":"https://api.github.com/repos/tbelaire/FJ-Formalization/commits/56cbe4703c5a36363cbbaea4e77cec47373def72"}]}