[{"name":"31-z0z21pow1z21z212z11","spec":"(* (* z0 (- z2 1)) (pow (* (- 1 z2) (- 1 z2)) (- (/ 1/2 z1) 1)))"},{"name":"11-pow1z21z212z11z0","spec":"(* (pow (* (- 1 z2) (- 1 z2)) (- (/ 1/2 z1) 1)) z0)"},{"name":"15-z0z1z1z1z21pow1z21z212z11","spec":"(* (/ z0 (* (* (* z1 z1) z1) (- z2 1))) (pow (* (- 1 z2) (- 1 z2)) (- (/ 1/2 z1) 1)))"},{"name":"41-z1z2z0","spec":"(* (* (- z1) z2) z0)"},{"name":"57-1z1z0z1z12z2","spec":"(* (* (* (- 1 z1) z0) z1) (/ (- z1 2) z2))"},{"name":"22-2z1z11z2z2z2z0","spec":"(* (/ (* (- 2 z1) (- z1 1)) (* (* z2 z2) z2)) z0)"},{"name":"52-z22z2z0z11z2","spec":"(* (* (* (- z2 2) z2) z0) (* z1 (- 1 z2)))"},{"name":"21-2z2z21z1z1z1z2z0","spec":"(* (/ (* (- 2 z2) (- z2 1)) (* (* z1 z1) z1)) (* z2 z0))"},{"name":"33-powz1z23z02z2","spec":"(* (* (pow z1 (- z2 3)) z0) (- 2 z2))"},{"name":"5-z0z1z2z2z2z1z1","spec":"(* z0 (* (* (* z1 (* (* z2 z2) z2)) z1) z1))"}]