{"shas":[["a24353d59d38e18a44e084c5fc2accee6c1750a1","75ef9faee755c70589550b513ad881e5a603182c@portable.(none)","-","nick"]],"repo":"nmaxwell/mathlib","actor":"nmaxwell","ref":"refs/heads/master","size":1,"head":"a24353d59d38e18a44e084c5fc2accee6c1750a1","actor_gravatar":"bbfb0c90014b01844d4062e07ed5d997","push_id":26102312}