(STRAT) |- 0
0 a 1
1 b 2
1 c 9
2 a 3
3 b 5
3 c 4
4 d 5
4 e 8
5 a 6
6 c 7
7 e 8
9 d 10
9 e 8
10 a 11
11 b 5
11 c 7
8 -| (FINAL)
