{"head":"678fadd706e19a52e365a79a4248b0fc6de98872","size":1,"push_id":44593186,"shas":[["678fadd706e19a52e365a79a4248b0fc6de98872","7bfb3d369d99e19e5ca1285762caa36a2580391e@umich.edu","Minor modifications to tex stuff","Seth R. Johnson"]],"ref":"refs/heads/master"}