{"push_id":733499410,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"814a33b9ae61581af48ebed87732f92a42443775","before":"91195f0c2420dde4503302264938cbd18570d23e","commits":[{"sha":"814a33b9ae61581af48ebed87732f92a42443775","author":{"email":"5f43555d930da6b9386a2a1eea441974e52dd302@gmail.com","name":"green-solver"},"message":"Removed unnecessary import in Z3 translator.","distinct":true,"url":"https://api.github.com/repos/green-solver/green-solver/commits/814a33b9ae61581af48ebed87732f92a42443775"}]}