] > exo2 0 T1 0 T2 0 T3 0 T2 0 T2 1 T2 2 T2 6 T2 2 T1 2 T1 3 T1 4 T1 5 T1 6 T1 7 T1 12 T1 7 T2 7 T2 8 T2 9 T2 12 T2 9 T3 9 T3 10 T3 11 T3 12 T2 12 T2 13 T2 14 T2 18 T2 14 T1 14 T1 15 T1 16 T1 17 T1 18 T1 19 T1 24 T1 19 T2 19 T2 20 T2 21 T2 24 T2 21 T3 22 T3 23 T3 24 T3