{"push_id":941903934,"size":1,"distinct_size":1,"ref":"refs/heads/nativearith","head":"78fb3993db0c045083b9e933578774172c1cd9d5","before":"16ec885c7bc99525bf1e06b976580e89262e0e12","commits":[{"sha":"78fb3993db0c045083b9e933578774172c1cd9d5","author":{"email":"420d97235124da5bf24c51a35edb1119f653ce09@kookamara.com","name":"Jared Davis"},"message":"Start on a bignum representation","distinct":true,"url":"https://api.github.com/repos/jaredcdavis/acl2/commits/78fb3993db0c045083b9e933578774172c1cd9d5"}]}