{"push_id":991095477,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"f53fcbf36719ad888661093e8b51947b78522099","before":"e1f93fae57a860119f5a192e1abc282c27ea9c49","commits":[{"sha":"f53fcbf36719ad888661093e8b51947b78522099","author":{"email":"89f218f3db22f4f996cef057eaecb29c4bf2dc21@gmail.com","name":"Marco Aurélio M. Vieira"},"message":"Update ReadMe","distinct":true,"url":"https://api.github.com/repos/Ocram310890/theorem_prover/commits/f53fcbf36719ad888661093e8b51947b78522099"}]}