{"push_id":1010096734,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"34f9f8f4ec177a0c7e8c1c2e57ad856fde97ee02","before":"b46e6b6eb1036f85c7d8adf701bc59c8fc1d8ff2","commits":[{"sha":"34f9f8f4ec177a0c7e8c1c2e57ad856fde97ee02","author":{"email":"0a8c5167220991f15ec3b425c1b314aa4c1da54d@rpi.edu","name":"kevingoneill"},"message":"Minor performance improvements","distinct":true,"url":"https://api.github.com/repos/kevingoneill/SemanticProver/commits/34f9f8f4ec177a0c7e8c1c2e57ad856fde97ee02"}]}