Initial point: 1
Final point: 1
1/locker -triggered off []
1/t6 -triggered off ['1/locker']
1/t5 -triggered off ['1/locker']
1/t0 -triggered off ['1/locker']
1/t1 -triggered off ['1/locker']
1/t8 -triggered off ['1/locker']
1/t9 -triggered off ['1/locker']
1/t4 -triggered off ['1/locker']
1/t7 -triggered off ['1/locker']
1/t2 -triggered off ['1/locker']
1/t3 -triggered off ['1/locker']
1/done -triggered off ['1/t0', '1/t1', '1/t2', '1/t3', '1/t4', '1/t5', '1/t6', '1/t7', '1/t8', '1/t9']
