{"push_id":1035196770,"size":1,"distinct_size":1,"ref":"refs/heads/skolemization_and_prenex_normal_form","head":"776eab15abad558c6ac108e0e6cef9af28cc282c","before":"e8001d65a73bf355ac769f1a3c959bd949be5763","commits":[{"sha":"776eab15abad558c6ac108e0e6cef9af28cc282c","author":{"email":"06e36a0df3175f05e8b2bf6e2a27112d6f028f3a@gmail.com","name":"mcodescu"},"message":"tracing messages","distinct":true,"url":"https://api.github.com/repos/spechub/Hets/commits/776eab15abad558c6ac108e0e6cef9af28cc282c"}]}