{"shas":[["98d50653962f23479d7fad1602a64f367bdd88ee","b295c12c5cac773cdf3a1a19682b55ac85268b42@cs.wpi.edu","fixed 2 kinds of missing axioms","Timothy Nelson"]],"repo":"tnelson/Margrave","actor":"tnelson","ref":"refs/heads/master","size":1,"head":"98d50653962f23479d7fad1602a64f367bdd88ee","actor_gravatar":"66776d84564b4be30ce5d83549156a3d","push_id":30275005}