{"push_id":1041225424,"size":1,"distinct_size":1,"ref":"refs/heads/wmm","head":"66e0a4d25abb58284e61b2e8222d92a7aa77bcb6","before":"d039670c42cd352b39a7f4142a0902a470b7d958","commits":[{"sha":"66e0a4d25abb58284e61b2e8222d92a7aa77bcb6","author":{"email":"6cde400b3071fe02c0b6a87fad1e32431702b43d@gmail.com","name":"ShikharDPandya"},"message":"formula for max sat encoded","distinct":true,"url":"https://api.github.com/repos/thorstent/TARA/commits/66e0a4d25abb58284e61b2e8222d92a7aa77bcb6"}]}