{"push_id":650377842,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"a9c9e4e930e73975a5c24bf5f87d2928f7ad2d13","before":"d511592d0070880d47fac4b6ae7e07f3a5677cf7","commits":[{"sha":"a9c9e4e930e73975a5c24bf5f87d2928f7ad2d13","author":{"email":"61f0d0bd1aefa7b4e19b567bbe6dd175db4e6e68@mail.ru","name":"V1489Cygni"},"message":"Arithmetics","distinct":true,"url":"https://api.github.com/repos/V1489Cygni/agda-examples/commits/a9c9e4e930e73975a5c24bf5f87d2928f7ad2d13"}]}