{"push_id":662514811,"size":0,"distinct_size":0,"ref":"refs/heads/Implement-PropositionInterpreter","head":"f96ea582808990f540bc194da7d1f461f32c3a0f","before":"f96ea582808990f540bc194da7d1f461f32c3a0f","commits":[]}