{"push_id":648246484,"size":1,"distinct_size":1,"ref":"refs/heads/feat-deduction","head":"1eda98750021fbc0130ff859519cde12971507c7","before":"632e29cdc3464c3296aedc54d75c3fe98306c7aa","commits":[{"sha":"1eda98750021fbc0130ff859519cde12971507c7","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"cp: deduction","distinct":true,"url":"https://api.github.com/repos/soonhokong/dreal3/commits/1eda98750021fbc0130ff859519cde12971507c7"}]}