{"shas":[["36d2649031c52019ba94897c48ad3ee7ad54a559","c8849502b398a7a488caad02001fafad7238cd5f@ucalgary.ca","parser is now static","Nick Nygren"],["1f6bdcca62e9e82826443fd3364959bc5af43f56","c8849502b398a7a488caad02001fafad7238cd5f@ucalgary.ca","nice proof checkbox","Nick Nygren"]],"ref":"refs/heads/master","size":2,"head":"1f6bdcca62e9e82826443fd3364959bc5af43f56","push_id":39832737}