{"shas":[["f92e85151628018d5495ffdd138b151c38860f4a","2ab5dffb42a3e7f72a5da4dda8156124ac6d4d7d@gmail.com","save before experimenting with no separate lscat record","Ramana Kumar"],["e06f4e9e8bc1ef740ea638ca0e223e25e1525087","2ab5dffb42a3e7f72a5da4dda8156124ac6d4d7d@gmail.com","start of a treatment of small sets","Ramana Kumar"]],"repo":"xrchz/HOL","actor":"xrchz","ref":"refs/heads/typed_mors","size":2,"head":"e06f4e9e8bc1ef740ea638ca0e223e25e1525087","actor_gravatar":"392071fb8a8b794debb29b07c70ea023","push_id":28924880}