[["c",-1,0,1],[9,12,0],{"a":4,"b":0,"o":1},{"a":9,"b":9,"o":0,"h":0},{"a":-1,"b":10,"t":0,"o":0,"c":2,"gt":0},{"a":-4,"b":4,"x":2,"h":0,"o":1},{"a":-2,"b":-2,"x":-2,"h":0,"o":0},[139,29],[24,204],{"a":273,"dv":0,"t":1,"m":5,"R":7,"b":1.8306171943859226}]
["c-1","-3",[0],[[0],"9"],"c>1","-4","-2",[0],[1],"4/\\sqrt{6}"]
