[["c",4,1,1],[25,13,1],{"a":6,"b":-5,"o":1},{"a":7,"b":9,"o":1,"h":0},{"a":-3,"b":-2,"t":0,"o":0,"c":5,"gt":1},{"a":-2,"b":-7,"x":2,"h":1,"o":0},{"a":-8,"b":5,"x":-1,"h":1,"o":1},[353,173],[124,188],{"a":296,"dv":1,"t":0,"m":3,"R":7,"b":346.7538670503046}]
["-c-4","5",[0],[[0],"7"],"n<3","-7","5",[1],[0],"2\/\\sqrt{10}"]
