{"push_id":947994564,"size":1,"distinct_size":1,"ref":"refs/heads/nativearith","head":"a690325db2abab48627c8db5db04dc6a74e94cb2","before":"5f30ab7400302961b4afa8033a4c20efdb9ccc1f","commits":[{"sha":"a690325db2abab48627c8db5db04dc6a74e94cb2","author":{"email":"420d97235124da5bf24c51a35edb1119f653ce09@kookamara.com","name":"Jared Davis"},"message":"Add nice wrappers for bigexpr-vars","distinct":true,"url":"https://api.github.com/repos/jaredcdavis/acl2/commits/a690325db2abab48627c8db5db04dc6a74e94cb2"}]}