{"push_id":851864463,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"fd6a48235567ffbebba5606528e82a560e5fec21","before":"d5c1df17a0e424919c04ab08b32aea7cd7830c34","commits":[{"sha":"fd6a48235567ffbebba5606528e82a560e5fec21","author":{"email":"744bbd89c71ba4df9b32eb223b1273263fd2ea53@gmail.com","name":"Zenna Tavares"},"message":"changed ordering of interp","distinct":true,"url":"https://api.github.com/repos/zenna/Z3.jl/commits/fd6a48235567ffbebba5606528e82a560e5fec21"}]}