H(start,0)
--->E(performed(a1),Ta1).

H(performed(a1),Ta1)
--->E(performed(a2),Ta2)/\Ta2>Ta1
\/E(performed(a3),Ta3)/\Ta3>Ta1.

H(performed(a2),Ta2)
--->E(performed(a4),Ta4)/\Ta4>Ta2
\/E(performed(a5),Ta5)/\Ta5>Ta2.

H(performed(a3),Ta3)
--->E(performed(a6),Ta6)/\Ta6>Ta3
\/E(performed(a7),Ta7)/\Ta7>Ta3.

H(performed(a4),Ta4)
--->E(performed(a8),Ta8)/\Ta8>Ta4
\/E(performed(a9),Ta9)/\Ta9>Ta4.

H(performed(a5),Ta5)
--->E(performed(a10),Ta10)/\Ta10>Ta5
\/E(performed(a11),Ta11)/\Ta11>Ta5.

H(performed(a6),Ta6)
--->E(performed(a12),Ta12)/\Ta12>Ta6
\/E(performed(a13),Ta13)/\Ta13>Ta6.

H(performed(a7),Ta7)
--->E(performed(a14),Ta14)/\Ta14>Ta7
\/E(performed(a15),Ta15)/\Ta15>Ta7.

H(performed(a8),Ta8)
--->EN(performed(a1),Ta1)/\Ta1<Ta8.

H(performed(a9),Ta9)
--->EN(performed(a1),Ta1)/\Ta1<Ta9.

H(performed(a10),Ta10)
--->EN(performed(a1),Ta1)/\Ta1<Ta10.

H(performed(a11),Ta11)
--->EN(performed(a1),Ta1)/\Ta1<Ta11.

H(performed(a12),Ta12)
--->EN(performed(a1),Ta1)/\Ta1<Ta12.

H(performed(a13),Ta13)
--->EN(performed(a1),Ta1)/\Ta1<Ta13.

H(performed(a14),Ta14)
--->EN(performed(a1),Ta1)/\Ta1<Ta14.

H(performed(a15),Ta15)
--->EN(performed(a1),Ta1)/\Ta1<Ta15.

