{"shas":[["58581c9062e1850eee7ba6c3c42a10b08755d66e","abf61a526d42b280235ab40bd305652fbe05ec3b@cs.utsa.edu","tools are working in results/","R. Clint Whaley"]],"ref":"refs/heads/master","size":1,"head":"58581c9062e1850eee7ba6c3c42a10b08755d66e","push_id":34330978}