{"shas":[["8196f557060d862f681a64f9547c05b49a7ee6ee","6ed452734e05f476dcb27611d798f6c1f2e74de0@gmail.com","lots of semigroupoid instances","Edward Kmett"]],"ref":"refs/heads/master","size":1,"head":"8196f557060d862f681a64f9547c05b49a7ee6ee","push_id":37732078}