{"push_id":762150481,"size":1,"distinct_size":1,"ref":"refs/heads/IndyPlus","head":"a2a66bd1a8782c26aa4739958edb421984dda837","before":"1027062f51603d60dc41213af9d8fec221fda075","commits":[{"sha":"a2a66bd1a8782c26aa4739958edb421984dda837","author":{"email":"a8d284f006cdf4e6df78f203ddeaf479d43f7a2e@gmail.com","name":"Eric Rizzi"},"message":"Simplify via in-equalities","distinct":true,"url":"https://api.github.com/repos/holycrap872/klee/commits/a2a66bd1a8782c26aa4739958edb421984dda837"}]}