[{"name":"348-powz01z01z1z2","spec":"(* (pow (* (- z0 1) (- z0 1)) z1) z2)"},{"name":"407-pow1z01z01z01z0z1z2","spec":"(* (pow (* (* (- 1 z0) (- 1 z0)) (* (- 1 z0) (- 1 z0))) z1) z2)"}]