[["c",1,1,1],[9,6,0],{"a":8,"b":4,"o":0},{"a":5,"b":9,"o":0,"h":0},{"a":-9,"b":4,"t":0,"o":1,"c":3,"gt":1},{"a":-5,"b":3,"x":-1,"h":1,"o":0},{"a":3,"b":3,"x":-1,"h":1,"o":0},[322,24],[26,320],{"a":305,"dv":1,"t":1,"m":2,"R":5,"b":77.84364304359633}]
["-c-1","3",[0],[[0],"5"],"d<9","3","3",[0],[0],"2/\\sqrt{21}"]
