a2
a1
t3
t1
t2
t4