{"head":"127d6f6592c8f9ff0d9c72eb3fb3cb18d8f82a67","size":1,"push_id":45918676,"shas":[["127d6f6592c8f9ff0d9c72eb3fb3cb18d8f82a67","40acac197ff60415d645c8c855994df6b3899693@gmail.com","inductive proofs","Matt Gray"]],"ref":"refs/heads/master"}