{"push_id":876664497,"size":1,"distinct_size":1,"ref":"refs/heads/z3","head":"cc94f4be5d2d590b3839676817a7a67ef5f1b89b","before":"2320e0a61897d18859c8eb53e74013fe141d7cd9","commits":[{"sha":"cc94f4be5d2d590b3839676817a7a67ef5f1b89b","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"cp","distinct":true,"url":"https://api.github.com/repos/soonhokong/dreal3/commits/cc94f4be5d2d590b3839676817a7a67ef5f1b89b"}]}