[["b",-2,1,1],[16,8,1],{"a":5,"b":5,"o":0},{"a":4,"b":-6,"o":1,"h":0},{"a":3,"b":12,"t":1,"o":0,"c":1,"gt":1},{"a":7,"b":-7,"x":-1,"h":1,"o":1},{"a":-6,"b":2,"x":2,"h":1,"o":0},[80,260],[309,129],{"a":298,"dv":1,"t":1,"m":5,"R":10,"b":58}]
["2-b","4",[0],[[0],"4"],"b<-3","-7","2",[1],[1],"10\/\\sqrt{3}"]
