{"shas":[["74bdffda41c6361e53d6b5f9f60c1c4bf1363815","916bb8f3c4a56661ec6362c303524dcc6d177263@csail.mit.edu","more cleaning up","Muralidaran Vijayaraghavan"]],"repo":"vmurali/StructuralSpec","actor":"vmurali","ref":"refs/heads/master","size":1,"head":"74bdffda41c6361e53d6b5f9f60c1c4bf1363815","actor_gravatar":"51fd3e145ebf6a66a326d61987398e84","push_id":26641823}