[["c",0,1,1],[16,12,0],{"a":8,"b":5,"o":0},{"a":7,"b":11,"o":0,"h":0},{"a":3,"b":-11,"t":1,"o":0,"c":1,"gt":0},{"a":-3,"b":-9,"x":-2,"h":1,"o":1},{"a":4,"b":3,"x":-2,"h":1,"o":1},[301,233],[352,300],{"a":6,"dv":1,"t":1,"m":3,"R":7,"b":135.2461329496954}]
["-c","4",[0],[[0],"7"],"b>-3","-9","3",[0],[0],"4/\\sqrt{10}"]
