z_1,\dots,z_{12}