{"push_id":674263687,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"9e15ab1fd3021c60cf0ecdd7a2aa8dafbffb9300","before":"8a21cde9616996383a64105a60a13c16bf30ba11","commits":[{"sha":"9e15ab1fd3021c60cf0ecdd7a2aa8dafbffb9300","author":{"email":"e6bfef48ff941313855c107a163539d83390e3cc@rambler.ru","name":"MichailOsipov"},"message":"25.05.15 tiuring machines","distinct":true,"url":"https://api.github.com/repos/MichailOsipov/MathLogic/commits/9e15ab1fd3021c60cf0ecdd7a2aa8dafbffb9300"}]}