z xy x Z.x y z
zero aut0mat
2012-04-05
(currently de.automated from 201112)