[["a",2,1,1],[25,12,0],{"a":3,"b":5,"o":0},{"a":8,"b":0,"o":0,"h":0},{"a":8,"b":-1,"t":1,"o":1,"c":4,"gt":1},{"a":-7,"b":-3,"x":-2,"h":0,"o":1},{"a":-8,"b":-11,"x":-2,"h":0,"o":1},[286,354],[73,253],{"a":171,"dv":0,"t":0,"m":4,"R":8,"b":231}]
["-a-2","5",[0],[[0],"8"],"m<-8","-7","-8",[0],[1],"4\/\\sqrt{3}"]
