{"push_id":1094109448,"size":1,"distinct_size":1,"ref":"refs/heads/truthtreegui-dev","head":"1216a3a55ef17a0f241368ea2029c79c8949e021","before":"3737e3a8f80dabc832d4054f3ed95b5f0e431601","commits":[{"sha":"1216a3a55ef17a0f241368ea2029c79c8949e021","author":{"email":"0a8c5167220991f15ec3b425c1b314aa4c1da54d@rpi.edu","name":"kevingoneill"},"message":"Fixed Inference printing","distinct":true,"url":"https://api.github.com/repos/kevingoneill/SemanticProver/commits/1216a3a55ef17a0f241368ea2029c79c8949e021"}]}