{"shas":[["25a2c6a44cea797a2c1bb28e12f39be5b3816c2a","965fd759eb28c254e5b11e16a7463af64a1826de@cs.unm.edu","work on tex file","cclamb"]],"ref":"refs/heads/master","size":1,"head":"25a2c6a44cea797a2c1bb28e12f39be5b3816c2a","push_id":42303970}