{"push_id":898619214,"size":1,"distinct_size":1,"ref":"refs/heads/rohitdha-patch-1","head":"8e157b0f5a1dca07f894b5e5ccbfac278b469fe7","before":"ac024338e048698db9d4ea71a3387ef7d21161ba","commits":[{"sha":"8e157b0f5a1dca07f894b5e5ccbfac278b469fe7","author":{"email":"f114799437ac554050d3fad81b98cab3d29d7bd0@usc.edu","name":"Rohit Dhawan"},"message":"Output file 4","distinct":true,"url":"https://api.github.com/repos/rohitdha/Backward-Chaining-Inference-First-Order-Logic/commits/8e157b0f5a1dca07f894b5e5ccbfac278b469fe7"}]}