{"root":"t1","nodes":[{"id":"t1","parent":null,"title":"echo check","kind":"proof","specid":null,"params":{},"deps":[],"weight":10000}]}