{"push_id":655131918,"size":1,"distinct_size":1,"ref":"refs/heads/lisp-format","head":"58f4d27cb8c44372611356a1afc2678e8f328ff4","before":"b0dd9c47081769ef94130d24a172095eddccea7e","commits":[{"sha":"58f4d27cb8c44372611356a1afc2678e8f328ff4","author":{"email":"bbbe0b7bb637ab674d49618e0a81ffdb09351db7@forsyte.at","name":"Henning Günther"},"message":"Add more special cases to quickImplication\n\nThis speeds up the initial predicate insertion","distinct":true,"url":"https://api.github.com/repos/hguenther/vvt/commits/58f4d27cb8c44372611356a1afc2678e8f328ff4"}]}