{"push_id":576321794,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"913e20d13efd66215b466388f3c36c006c7f2972","before":"712eecb27279c8824b3390f86e6dabdc72f3077e","commits":[{"sha":"913e20d13efd66215b466388f3c36c006c7f2972","author":{"email":"dd74075ca6bf45254ba085767648a13316b4ef9e@virginia.edu","name":"ejn6fz"},"message":"Graph.java","distinct":true,"url":"https://api.github.com/repos/ejn6fz/HW1_TheoremProver/commits/913e20d13efd66215b466388f3c36c006c7f2972"}]}