z1
a (7)
z2
u1
a (5)
z6
a (2)
z7
u2
a (3)
t9
t2