{"push_id":644105300,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"e1f8c8c47f1060c6bf373d9b2d6f18e5cadf9b80","before":"461a941310041d5bca2aef857a65969a7c5a9387","commits":[{"sha":"e1f8c8c47f1060c6bf373d9b2d6f18e5cadf9b80","author":{"email":"bc3b5a6ffa15d90accb0f36af0da7dd2319db1d2@gmail.com","name":"Shane Aston"},"message":"fixed bug with NOT being used instead of ~ when negating conclusion","distinct":true,"url":"https://api.github.com/repos/astonshane/davisputnam/commits/e1f8c8c47f1060c6bf373d9b2d6f18e5cadf9b80"}]}