{"shas":[["01e06f0b82cb55bd054e6147f619109003a7acf6","3da47f988ab4e8336c71360d07da5764ccf12855@localhost.localdomain","Rest of exercise through the export of the first theorems interface.","Jim Kingdon"],["fbd54f0ebca66743910aac409c4497242e68b3ca","3da47f988ab4e8336c71360d07da5764ccf12855@localhost.localdomain","First cut at tau day theorems interface.","Jim Kingdon"]],"ref":"refs/heads/master","size":2,"head":"fbd54f0ebca66743910aac409c4497242e68b3ca","push_id":34071003}