{"shas":[["5331d70106c9c1073f3b5d6f952f9763466b2c4a","dae6ae7d61448ce1df9b86f506daa817159f5ee3@qmedtrix.com","Working on fixing diabolo and documenting the code a bit more...","agentcoops"],["14ee996f4478b2117fd984aac480da665848280c","dae6ae7d61448ce1df9b86f506daa817159f5ee3@qmedtrix.com","Working in diabolo, found source of the problem in proofgraph.","agentcoops"],["74a4796d696656855605de8116b3be0f5985e058","dae6ae7d61448ce1df9b86f506daa817159f5ee3@qmedtrix.com","Merge branch 'master' of github.com:agentcoops/SML-Proof-Manipulation","agentcoops"]],"ref":"refs/heads/master","size":3,"head":"74a4796d696656855605de8116b3be0f5985e058","push_id":43613850}