[{"name":"26-sqrtz0z0z1z1","spec":"(sqrt (+ (* z0 z0) (* z1 z1)))"},{"name":"27-sqrtz0z1z1z2z2","spec":"(sqrt (+ (* (* z0 z1) z1) (* z2 z2)))"}]