YES Termination w.r.t. Q proof of /home/cern_httpd/provide/research/cycsrs/tpdb/TPDB-d9b80194f163/SRS_Standard/ICFP_2010/264405-split.srs

Termination w.r.t. Q of the given QTRS could be proven:

0 QTRS
↳1 QTRS Reverse (⇔, 0 ms)
↳2 QTRS
↳3 RFCMatchBoundsTRSProof (⇔, 294 ms)
↳4 YES

(0) Obligation:

Q restricted rewrite system:
The TRS R consists of the following rules:

Begin(1(2(3(4(x))))) → Wait(Right1(x))
Begin(2(3(4(x)))) → Wait(Right2(x))
Begin(3(4(x))) → Wait(Right3(x))
Begin(4(x)) → Wait(Right4(x))
Begin(5(1(2(3(4(x)))))) → Wait(Right5(x))
Begin(1(2(3(4(x))))) → Wait(Right6(x))
Begin(2(3(4(x)))) → Wait(Right7(x))
Begin(3(4(x))) → Wait(Right8(x))
Begin(4(x)) → Wait(Right9(x))
Begin(5(1(2(3(4(x)))))) → Wait(Right10(x))
Begin(1(2(3(4(x))))) → Wait(Right11(x))
Begin(2(3(4(x)))) → Wait(Right12(x))
Begin(3(4(x))) → Wait(Right13(x))
Begin(4(x)) → Wait(Right14(x))
Begin(5(1(2(3(4(x)))))) → Wait(Right15(x))
Begin(1(2(3(4(x))))) → Wait(Right16(x))
Begin(2(3(4(x)))) → Wait(Right17(x))
Begin(3(4(x))) → Wait(Right18(x))
Begin(4(x)) → Wait(Right19(x))
Begin(5(2(3(1(4(x)))))) → Wait(Right20(x))
Begin(2(3(1(4(x))))) → Wait(Right21(x))
Begin(3(1(4(x)))) → Wait(Right22(x))
Begin(1(4(x))) → Wait(Right23(x))
Begin(4(x)) → Wait(Right24(x))
Right1(0(End(x))) → Left(0(2(3(1(4(End(x)))))))
Right2(0(1(End(x)))) → Left(0(2(3(1(4(End(x)))))))
Right3(0(1(2(End(x))))) → Left(0(2(3(1(4(End(x)))))))
Right4(0(1(2(3(End(x)))))) → Left(0(2(3(1(4(End(x)))))))
Right5(0(End(x))) → Left(0(1(2(5(3(4(End(x))))))))
Right6(0(5(End(x)))) → Left(0(1(2(5(3(4(End(x))))))))
Right7(0(5(1(End(x))))) → Left(0(1(2(5(3(4(End(x))))))))
Right8(0(5(1(2(End(x)))))) → Left(0(1(2(5(3(4(End(x))))))))
Right9(0(5(1(2(3(End(x))))))) → Left(0(1(2(5(3(4(End(x))))))))
Right10(0(End(x))) → Left(0(5(2(1(3(4(End(x))))))))
Right11(0(5(End(x)))) → Left(0(5(2(1(3(4(End(x))))))))
Right12(0(5(1(End(x))))) → Left(0(5(2(1(3(4(End(x))))))))
Right13(0(5(1(2(End(x)))))) → Left(0(5(2(1(3(4(End(x))))))))
Right14(0(5(1(2(3(End(x))))))) → Left(0(5(2(1(3(4(End(x))))))))
Right15(0(End(x))) → Left(5(0(2(3(1(4(End(x))))))))
Right16(0(5(End(x)))) → Left(5(0(2(3(1(4(End(x))))))))
Right17(0(5(1(End(x))))) → Left(5(0(2(3(1(4(End(x))))))))
Right18(0(5(1(2(End(x)))))) → Left(5(0(2(3(1(4(End(x))))))))
Right19(0(5(1(2(3(End(x))))))) → Left(5(0(2(3(1(4(End(x))))))))
Right20(0(End(x))) → Left(0(1(5(2(3(4(End(x))))))))
Right21(0(5(End(x)))) → Left(0(1(5(2(3(4(End(x))))))))
Right22(0(5(2(End(x))))) → Left(0(1(5(2(3(4(End(x))))))))
Right23(0(5(2(3(End(x)))))) → Left(0(1(5(2(3(4(End(x))))))))
Right24(0(5(2(3(1(End(x))))))) → Left(0(1(5(2(3(4(End(x))))))))
Right1(0(x)) → A0(Right1(x))
Right2(0(x)) → A0(Right2(x))
Right3(0(x)) → A0(Right3(x))
Right4(0(x)) → A0(Right4(x))
Right5(0(x)) → A0(Right5(x))
Right6(0(x)) → A0(Right6(x))
Right7(0(x)) → A0(Right7(x))
Right8(0(x)) → A0(Right8(x))
Right9(0(x)) → A0(Right9(x))
Right10(0(x)) → A0(Right10(x))
Right11(0(x)) → A0(Right11(x))
Right12(0(x)) → A0(Right12(x))
Right13(0(x)) → A0(Right13(x))
Right14(0(x)) → A0(Right14(x))
Right15(0(x)) → A0(Right15(x))
Right16(0(x)) → A0(Right16(x))
Right17(0(x)) → A0(Right17(x))
Right18(0(x)) → A0(Right18(x))
Right19(0(x)) → A0(Right19(x))
Right20(0(x)) → A0(Right20(x))
Right21(0(x)) → A0(Right21(x))
Right22(0(x)) → A0(Right22(x))
Right23(0(x)) → A0(Right23(x))
Right24(0(x)) → A0(Right24(x))
Right1(1(x)) → A1(Right1(x))
Right2(1(x)) → A1(Right2(x))
Right3(1(x)) → A1(Right3(x))
Right4(1(x)) → A1(Right4(x))
Right5(1(x)) → A1(Right5(x))
Right6(1(x)) → A1(Right6(x))
Right7(1(x)) → A1(Right7(x))
Right8(1(x)) → A1(Right8(x))
Right9(1(x)) → A1(Right9(x))
Right10(1(x)) → A1(Right10(x))
Right11(1(x)) → A1(Right11(x))
Right12(1(x)) → A1(Right12(x))
Right13(1(x)) → A1(Right13(x))
Right14(1(x)) → A1(Right14(x))
Right15(1(x)) → A1(Right15(x))
Right16(1(x)) → A1(Right16(x))
Right17(1(x)) → A1(Right17(x))
Right18(1(x)) → A1(Right18(x))
Right19(1(x)) → A1(Right19(x))
Right20(1(x)) → A1(Right20(x))
Right21(1(x)) → A1(Right21(x))
Right22(1(x)) → A1(Right22(x))
Right23(1(x)) → A1(Right23(x))
Right24(1(x)) → A1(Right24(x))
Right1(2(x)) → A2(Right1(x))
Right2(2(x)) → A2(Right2(x))
Right3(2(x)) → A2(Right3(x))
Right4(2(x)) → A2(Right4(x))
Right5(2(x)) → A2(Right5(x))
Right6(2(x)) → A2(Right6(x))
Right7(2(x)) → A2(Right7(x))
Right8(2(x)) → A2(Right8(x))
Right9(2(x)) → A2(Right9(x))
Right10(2(x)) → A2(Right10(x))
Right11(2(x)) → A2(Right11(x))
Right12(2(x)) → A2(Right12(x))
Right13(2(x)) → A2(Right13(x))
Right14(2(x)) → A2(Right14(x))
Right15(2(x)) → A2(Right15(x))
Right16(2(x)) → A2(Right16(x))
Right17(2(x)) → A2(Right17(x))
Right18(2(x)) → A2(Right18(x))
Right19(2(x)) → A2(Right19(x))
Right20(2(x)) → A2(Right20(x))
Right21(2(x)) → A2(Right21(x))
Right22(2(x)) → A2(Right22(x))
Right23(2(x)) → A2(Right23(x))
Right24(2(x)) → A2(Right24(x))
Right1(3(x)) → A3(Right1(x))
Right2(3(x)) → A3(Right2(x))
Right3(3(x)) → A3(Right3(x))
Right4(3(x)) → A3(Right4(x))
Right5(3(x)) → A3(Right5(x))
Right6(3(x)) → A3(Right6(x))
Right7(3(x)) → A3(Right7(x))
Right8(3(x)) → A3(Right8(x))
Right9(3(x)) → A3(Right9(x))
Right10(3(x)) → A3(Right10(x))
Right11(3(x)) → A3(Right11(x))
Right12(3(x)) → A3(Right12(x))
Right13(3(x)) → A3(Right13(x))
Right14(3(x)) → A3(Right14(x))
Right15(3(x)) → A3(Right15(x))
Right16(3(x)) → A3(Right16(x))
Right17(3(x)) → A3(Right17(x))
Right18(3(x)) → A3(Right18(x))
Right19(3(x)) → A3(Right19(x))
Right20(3(x)) → A3(Right20(x))
Right21(3(x)) → A3(Right21(x))
Right22(3(x)) → A3(Right22(x))
Right23(3(x)) → A3(Right23(x))
Right24(3(x)) → A3(Right24(x))
Right1(4(x)) → A4(Right1(x))
Right2(4(x)) → A4(Right2(x))
Right3(4(x)) → A4(Right3(x))
Right4(4(x)) → A4(Right4(x))
Right5(4(x)) → A4(Right5(x))
Right6(4(x)) → A4(Right6(x))
Right7(4(x)) → A4(Right7(x))
Right8(4(x)) → A4(Right8(x))
Right9(4(x)) → A4(Right9(x))
Right10(4(x)) → A4(Right10(x))
Right11(4(x)) → A4(Right11(x))
Right12(4(x)) → A4(Right12(x))
Right13(4(x)) → A4(Right13(x))
Right14(4(x)) → A4(Right14(x))
Right15(4(x)) → A4(Right15(x))
Right16(4(x)) → A4(Right16(x))
Right17(4(x)) → A4(Right17(x))
Right18(4(x)) → A4(Right18(x))
Right19(4(x)) → A4(Right19(x))
Right20(4(x)) → A4(Right20(x))
Right21(4(x)) → A4(Right21(x))
Right22(4(x)) → A4(Right22(x))
Right23(4(x)) → A4(Right23(x))
Right24(4(x)) → A4(Right24(x))
Right1(5(x)) → A5(Right1(x))
Right2(5(x)) → A5(Right2(x))
Right3(5(x)) → A5(Right3(x))
Right4(5(x)) → A5(Right4(x))
Right5(5(x)) → A5(Right5(x))
Right6(5(x)) → A5(Right6(x))
Right7(5(x)) → A5(Right7(x))
Right8(5(x)) → A5(Right8(x))
Right9(5(x)) → A5(Right9(x))
Right10(5(x)) → A5(Right10(x))
Right11(5(x)) → A5(Right11(x))
Right12(5(x)) → A5(Right12(x))
Right13(5(x)) → A5(Right13(x))
Right14(5(x)) → A5(Right14(x))
Right15(5(x)) → A5(Right15(x))
Right16(5(x)) → A5(Right16(x))
Right17(5(x)) → A5(Right17(x))
Right18(5(x)) → A5(Right18(x))
Right19(5(x)) → A5(Right19(x))
Right20(5(x)) → A5(Right20(x))
Right21(5(x)) → A5(Right21(x))
Right22(5(x)) → A5(Right22(x))
Right23(5(x)) → A5(Right23(x))
Right24(5(x)) → A5(Right24(x))
A0(Left(x)) → Left(0(x))
A1(Left(x)) → Left(1(x))
A2(Left(x)) → Left(2(x))
A3(Left(x)) → Left(3(x))
A4(Left(x)) → Left(4(x))
A5(Left(x)) → Left(5(x))
Wait(Left(x)) → Begin(x)
0(1(2(3(4(x))))) → 0(2(3(1(4(x)))))
0(5(1(2(3(4(x)))))) → 0(1(2(5(3(4(x))))))
0(5(1(2(3(4(x)))))) → 0(5(2(1(3(4(x))))))
0(5(1(2(3(4(x)))))) → 5(0(2(3(1(4(x))))))
0(5(2(3(1(4(x)))))) → 0(1(5(2(3(4(x))))))

Q is empty.

(1) QTRS Reverse (EQUIVALENT transformation)

We applied the QTRS Reverse Processor [REVERSE].

(2) Obligation:

Q restricted rewrite system:
The TRS R consists of the following rules:

4(3(2(1(Begin(x))))) → Right1(Wait(x))
4(3(2(Begin(x)))) → Right2(Wait(x))
4(3(Begin(x))) → Right3(Wait(x))
4(Begin(x)) → Right4(Wait(x))
4(3(2(1(5(Begin(x)))))) → Right5(Wait(x))
4(3(2(1(Begin(x))))) → Right6(Wait(x))
4(3(2(Begin(x)))) → Right7(Wait(x))
4(3(Begin(x))) → Right8(Wait(x))
4(Begin(x)) → Right9(Wait(x))
4(3(2(1(5(Begin(x)))))) → Right10(Wait(x))
4(3(2(1(Begin(x))))) → Right11(Wait(x))
4(3(2(Begin(x)))) → Right12(Wait(x))
4(3(Begin(x))) → Right13(Wait(x))
4(Begin(x)) → Right14(Wait(x))
4(3(2(1(5(Begin(x)))))) → Right15(Wait(x))
4(3(2(1(Begin(x))))) → Right16(Wait(x))
4(3(2(Begin(x)))) → Right17(Wait(x))
4(3(Begin(x))) → Right18(Wait(x))
4(Begin(x)) → Right19(Wait(x))
4(1(3(2(5(Begin(x)))))) → Right20(Wait(x))
4(1(3(2(Begin(x))))) → Right21(Wait(x))
4(1(3(Begin(x)))) → Right22(Wait(x))
4(1(Begin(x))) → Right23(Wait(x))
4(Begin(x)) → Right24(Wait(x))
End(0(Right1(x))) → End(4(1(3(2(0(Left(x)))))))
End(1(0(Right2(x)))) → End(4(1(3(2(0(Left(x)))))))
End(2(1(0(Right3(x))))) → End(4(1(3(2(0(Left(x)))))))
End(3(2(1(0(Right4(x)))))) → End(4(1(3(2(0(Left(x)))))))
End(0(Right5(x))) → End(4(3(5(2(1(0(Left(x))))))))
End(5(0(Right6(x)))) → End(4(3(5(2(1(0(Left(x))))))))
End(1(5(0(Right7(x))))) → End(4(3(5(2(1(0(Left(x))))))))
End(2(1(5(0(Right8(x)))))) → End(4(3(5(2(1(0(Left(x))))))))
End(3(2(1(5(0(Right9(x))))))) → End(4(3(5(2(1(0(Left(x))))))))
End(0(Right10(x))) → End(4(3(1(2(5(0(Left(x))))))))
End(5(0(Right11(x)))) → End(4(3(1(2(5(0(Left(x))))))))
End(1(5(0(Right12(x))))) → End(4(3(1(2(5(0(Left(x))))))))
End(2(1(5(0(Right13(x)))))) → End(4(3(1(2(5(0(Left(x))))))))
End(3(2(1(5(0(Right14(x))))))) → End(4(3(1(2(5(0(Left(x))))))))
End(0(Right15(x))) → End(4(1(3(2(0(5(Left(x))))))))
End(5(0(Right16(x)))) → End(4(1(3(2(0(5(Left(x))))))))
End(1(5(0(Right17(x))))) → End(4(1(3(2(0(5(Left(x))))))))
End(2(1(5(0(Right18(x)))))) → End(4(1(3(2(0(5(Left(x))))))))
End(3(2(1(5(0(Right19(x))))))) → End(4(1(3(2(0(5(Left(x))))))))
End(0(Right20(x))) → End(4(3(2(5(1(0(Left(x))))))))
End(5(0(Right21(x)))) → End(4(3(2(5(1(0(Left(x))))))))
End(2(5(0(Right22(x))))) → End(4(3(2(5(1(0(Left(x))))))))
End(3(2(5(0(Right23(x)))))) → End(4(3(2(5(1(0(Left(x))))))))
End(1(3(2(5(0(Right24(x))))))) → End(4(3(2(5(1(0(Left(x))))))))
0(Right1(x)) → Right1(A0(x))
0(Right2(x)) → Right2(A0(x))
0(Right3(x)) → Right3(A0(x))
0(Right4(x)) → Right4(A0(x))
0(Right5(x)) → Right5(A0(x))
0(Right6(x)) → Right6(A0(x))
0(Right7(x)) → Right7(A0(x))
0(Right8(x)) → Right8(A0(x))
0(Right9(x)) → Right9(A0(x))
0(Right10(x)) → Right10(A0(x))
0(Right11(x)) → Right11(A0(x))
0(Right12(x)) → Right12(A0(x))
0(Right13(x)) → Right13(A0(x))
0(Right14(x)) → Right14(A0(x))
0(Right15(x)) → Right15(A0(x))
0(Right16(x)) → Right16(A0(x))
0(Right17(x)) → Right17(A0(x))
0(Right18(x)) → Right18(A0(x))
0(Right19(x)) → Right19(A0(x))
0(Right20(x)) → Right20(A0(x))
0(Right21(x)) → Right21(A0(x))
0(Right22(x)) → Right22(A0(x))
0(Right23(x)) → Right23(A0(x))
0(Right24(x)) → Right24(A0(x))
1(Right1(x)) → Right1(A1(x))
1(Right2(x)) → Right2(A1(x))
1(Right3(x)) → Right3(A1(x))
1(Right4(x)) → Right4(A1(x))
1(Right5(x)) → Right5(A1(x))
1(Right6(x)) → Right6(A1(x))
1(Right7(x)) → Right7(A1(x))
1(Right8(x)) → Right8(A1(x))
1(Right9(x)) → Right9(A1(x))
1(Right10(x)) → Right10(A1(x))
1(Right11(x)) → Right11(A1(x))
1(Right12(x)) → Right12(A1(x))
1(Right13(x)) → Right13(A1(x))
1(Right14(x)) → Right14(A1(x))
1(Right15(x)) → Right15(A1(x))
1(Right16(x)) → Right16(A1(x))
1(Right17(x)) → Right17(A1(x))
1(Right18(x)) → Right18(A1(x))
1(Right19(x)) → Right19(A1(x))
1(Right20(x)) → Right20(A1(x))
1(Right21(x)) → Right21(A1(x))
1(Right22(x)) → Right22(A1(x))
1(Right23(x)) → Right23(A1(x))
1(Right24(x)) → Right24(A1(x))
2(Right1(x)) → Right1(A2(x))
2(Right2(x)) → Right2(A2(x))
2(Right3(x)) → Right3(A2(x))
2(Right4(x)) → Right4(A2(x))
2(Right5(x)) → Right5(A2(x))
2(Right6(x)) → Right6(A2(x))
2(Right7(x)) → Right7(A2(x))
2(Right8(x)) → Right8(A2(x))
2(Right9(x)) → Right9(A2(x))
2(Right10(x)) → Right10(A2(x))
2(Right11(x)) → Right11(A2(x))
2(Right12(x)) → Right12(A2(x))
2(Right13(x)) → Right13(A2(x))
2(Right14(x)) → Right14(A2(x))
2(Right15(x)) → Right15(A2(x))
2(Right16(x)) → Right16(A2(x))
2(Right17(x)) → Right17(A2(x))
2(Right18(x)) → Right18(A2(x))
2(Right19(x)) → Right19(A2(x))
2(Right20(x)) → Right20(A2(x))
2(Right21(x)) → Right21(A2(x))
2(Right22(x)) → Right22(A2(x))
2(Right23(x)) → Right23(A2(x))
2(Right24(x)) → Right24(A2(x))
3(Right1(x)) → Right1(A3(x))
3(Right2(x)) → Right2(A3(x))
3(Right3(x)) → Right3(A3(x))
3(Right4(x)) → Right4(A3(x))
3(Right5(x)) → Right5(A3(x))
3(Right6(x)) → Right6(A3(x))
3(Right7(x)) → Right7(A3(x))
3(Right8(x)) → Right8(A3(x))
3(Right9(x)) → Right9(A3(x))
3(Right10(x)) → Right10(A3(x))
3(Right11(x)) → Right11(A3(x))
3(Right12(x)) → Right12(A3(x))
3(Right13(x)) → Right13(A3(x))
3(Right14(x)) → Right14(A3(x))
3(Right15(x)) → Right15(A3(x))
3(Right16(x)) → Right16(A3(x))
3(Right17(x)) → Right17(A3(x))
3(Right18(x)) → Right18(A3(x))
3(Right19(x)) → Right19(A3(x))
3(Right20(x)) → Right20(A3(x))
3(Right21(x)) → Right21(A3(x))
3(Right22(x)) → Right22(A3(x))
3(Right23(x)) → Right23(A3(x))
3(Right24(x)) → Right24(A3(x))
4(Right1(x)) → Right1(A4(x))
4(Right2(x)) → Right2(A4(x))
4(Right3(x)) → Right3(A4(x))
4(Right4(x)) → Right4(A4(x))
4(Right5(x)) → Right5(A4(x))
4(Right6(x)) → Right6(A4(x))
4(Right7(x)) → Right7(A4(x))
4(Right8(x)) → Right8(A4(x))
4(Right9(x)) → Right9(A4(x))
4(Right10(x)) → Right10(A4(x))
4(Right11(x)) → Right11(A4(x))
4(Right12(x)) → Right12(A4(x))
4(Right13(x)) → Right13(A4(x))
4(Right14(x)) → Right14(A4(x))
4(Right15(x)) → Right15(A4(x))
4(Right16(x)) → Right16(A4(x))
4(Right17(x)) → Right17(A4(x))
4(Right18(x)) → Right18(A4(x))
4(Right19(x)) → Right19(A4(x))
4(Right20(x)) → Right20(A4(x))
4(Right21(x)) → Right21(A4(x))
4(Right22(x)) → Right22(A4(x))
4(Right23(x)) → Right23(A4(x))
4(Right24(x)) → Right24(A4(x))
5(Right1(x)) → Right1(A5(x))
5(Right2(x)) → Right2(A5(x))
5(Right3(x)) → Right3(A5(x))
5(Right4(x)) → Right4(A5(x))
5(Right5(x)) → Right5(A5(x))
5(Right6(x)) → Right6(A5(x))
5(Right7(x)) → Right7(A5(x))
5(Right8(x)) → Right8(A5(x))
5(Right9(x)) → Right9(A5(x))
5(Right10(x)) → Right10(A5(x))
5(Right11(x)) → Right11(A5(x))
5(Right12(x)) → Right12(A5(x))
5(Right13(x)) → Right13(A5(x))
5(Right14(x)) → Right14(A5(x))
5(Right15(x)) → Right15(A5(x))
5(Right16(x)) → Right16(A5(x))
5(Right17(x)) → Right17(A5(x))
5(Right18(x)) → Right18(A5(x))
5(Right19(x)) → Right19(A5(x))
5(Right20(x)) → Right20(A5(x))
5(Right21(x)) → Right21(A5(x))
5(Right22(x)) → Right22(A5(x))
5(Right23(x)) → Right23(A5(x))
5(Right24(x)) → Right24(A5(x))
Left(A0(x)) → 0(Left(x))
Left(A1(x)) → 1(Left(x))
Left(A2(x)) → 2(Left(x))
Left(A3(x)) → 3(Left(x))
Left(A4(x)) → 4(Left(x))
Left(A5(x)) → 5(Left(x))
Left(Wait(x)) → Begin(x)
4(3(2(1(0(x))))) → 4(1(3(2(0(x)))))
4(3(2(1(5(0(x)))))) → 4(3(5(2(1(0(x))))))
4(3(2(1(5(0(x)))))) → 4(3(1(2(5(0(x))))))
4(3(2(1(5(0(x)))))) → 4(1(3(2(0(5(x))))))
4(1(3(2(5(0(x)))))) → 4(3(2(5(1(0(x))))))

Q is empty.

(3) RFCMatchBoundsTRSProof (EQUIVALENT transformation)

Termination of the TRS R could be shown with a Match Bound [MATCHBOUNDS1,MATCHBOUNDS2] of 3. This implies Q-termination of R.
The following rules were used to construct the certificate:

4(3(2(1(Begin(x))))) → Right1(Wait(x))
4(3(2(Begin(x)))) → Right2(Wait(x))
4(3(Begin(x))) → Right3(Wait(x))
4(Begin(x)) → Right4(Wait(x))
4(3(2(1(5(Begin(x)))))) → Right5(Wait(x))
4(3(2(1(Begin(x))))) → Right6(Wait(x))
4(3(2(Begin(x)))) → Right7(Wait(x))
4(3(Begin(x))) → Right8(Wait(x))
4(Begin(x)) → Right9(Wait(x))
4(3(2(1(5(Begin(x)))))) → Right10(Wait(x))
4(3(2(1(Begin(x))))) → Right11(Wait(x))
4(3(2(Begin(x)))) → Right12(Wait(x))
4(3(Begin(x))) → Right13(Wait(x))
4(Begin(x)) → Right14(Wait(x))
4(3(2(1(5(Begin(x)))))) → Right15(Wait(x))
4(3(2(1(Begin(x))))) → Right16(Wait(x))
4(3(2(Begin(x)))) → Right17(Wait(x))
4(3(Begin(x))) → Right18(Wait(x))
4(Begin(x)) → Right19(Wait(x))
4(1(3(2(5(Begin(x)))))) → Right20(Wait(x))
4(1(3(2(Begin(x))))) → Right21(Wait(x))
4(1(3(Begin(x)))) → Right22(Wait(x))
4(1(Begin(x))) → Right23(Wait(x))
4(Begin(x)) → Right24(Wait(x))
End(0(Right1(x))) → End(4(1(3(2(0(Left(x)))))))
End(1(0(Right2(x)))) → End(4(1(3(2(0(Left(x)))))))
End(2(1(0(Right3(x))))) → End(4(1(3(2(0(Left(x)))))))
End(3(2(1(0(Right4(x)))))) → End(4(1(3(2(0(Left(x)))))))
End(0(Right5(x))) → End(4(3(5(2(1(0(Left(x))))))))
End(5(0(Right6(x)))) → End(4(3(5(2(1(0(Left(x))))))))
End(1(5(0(Right7(x))))) → End(4(3(5(2(1(0(Left(x))))))))
End(2(1(5(0(Right8(x)))))) → End(4(3(5(2(1(0(Left(x))))))))
End(3(2(1(5(0(Right9(x))))))) → End(4(3(5(2(1(0(Left(x))))))))
End(0(Right10(x))) → End(4(3(1(2(5(0(Left(x))))))))
End(5(0(Right11(x)))) → End(4(3(1(2(5(0(Left(x))))))))
End(1(5(0(Right12(x))))) → End(4(3(1(2(5(0(Left(x))))))))
End(2(1(5(0(Right13(x)))))) → End(4(3(1(2(5(0(Left(x))))))))
End(3(2(1(5(0(Right14(x))))))) → End(4(3(1(2(5(0(Left(x))))))))
End(0(Right15(x))) → End(4(1(3(2(0(5(Left(x))))))))
End(5(0(Right16(x)))) → End(4(1(3(2(0(5(Left(x))))))))
End(1(5(0(Right17(x))))) → End(4(1(3(2(0(5(Left(x))))))))
End(2(1(5(0(Right18(x)))))) → End(4(1(3(2(0(5(Left(x))))))))
End(3(2(1(5(0(Right19(x))))))) → End(4(1(3(2(0(5(Left(x))))))))
End(0(Right20(x))) → End(4(3(2(5(1(0(Left(x))))))))
End(5(0(Right21(x)))) → End(4(3(2(5(1(0(Left(x))))))))
End(2(5(0(Right22(x))))) → End(4(3(2(5(1(0(Left(x))))))))
End(3(2(5(0(Right23(x)))))) → End(4(3(2(5(1(0(Left(x))))))))
End(1(3(2(5(0(Right24(x))))))) → End(4(3(2(5(1(0(Left(x))))))))
0(Right1(x)) → Right1(A0(x))
0(Right2(x)) → Right2(A0(x))
0(Right3(x)) → Right3(A0(x))
0(Right4(x)) → Right4(A0(x))
0(Right5(x)) → Right5(A0(x))
0(Right6(x)) → Right6(A0(x))
0(Right7(x)) → Right7(A0(x))
0(Right8(x)) → Right8(A0(x))
0(Right9(x)) → Right9(A0(x))
0(Right10(x)) → Right10(A0(x))
0(Right11(x)) → Right11(A0(x))
0(Right12(x)) → Right12(A0(x))
0(Right13(x)) → Right13(A0(x))
0(Right14(x)) → Right14(A0(x))
0(Right15(x)) → Right15(A0(x))
0(Right16(x)) → Right16(A0(x))
0(Right17(x)) → Right17(A0(x))
0(Right18(x)) → Right18(A0(x))
0(Right19(x)) → Right19(A0(x))
0(Right20(x)) → Right20(A0(x))
0(Right21(x)) → Right21(A0(x))
0(Right22(x)) → Right22(A0(x))
0(Right23(x)) → Right23(A0(x))
0(Right24(x)) → Right24(A0(x))
1(Right1(x)) → Right1(A1(x))
1(Right2(x)) → Right2(A1(x))
1(Right3(x)) → Right3(A1(x))
1(Right4(x)) → Right4(A1(x))
1(Right5(x)) → Right5(A1(x))
1(Right6(x)) → Right6(A1(x))
1(Right7(x)) → Right7(A1(x))
1(Right8(x)) → Right8(A1(x))
1(Right9(x)) → Right9(A1(x))
1(Right10(x)) → Right10(A1(x))
1(Right11(x)) → Right11(A1(x))
1(Right12(x)) → Right12(A1(x))
1(Right13(x)) → Right13(A1(x))
1(Right14(x)) → Right14(A1(x))
1(Right15(x)) → Right15(A1(x))
1(Right16(x)) → Right16(A1(x))
1(Right17(x)) → Right17(A1(x))
1(Right18(x)) → Right18(A1(x))
1(Right19(x)) → Right19(A1(x))
1(Right20(x)) → Right20(A1(x))
1(Right21(x)) → Right21(A1(x))
1(Right22(x)) → Right22(A1(x))
1(Right23(x)) → Right23(A1(x))
1(Right24(x)) → Right24(A1(x))
2(Right1(x)) → Right1(A2(x))
2(Right2(x)) → Right2(A2(x))
2(Right3(x)) → Right3(A2(x))
2(Right4(x)) → Right4(A2(x))
2(Right5(x)) → Right5(A2(x))
2(Right6(x)) → Right6(A2(x))
2(Right7(x)) → Right7(A2(x))
2(Right8(x)) → Right8(A2(x))
2(Right9(x)) → Right9(A2(x))
2(Right10(x)) → Right10(A2(x))
2(Right11(x)) → Right11(A2(x))
2(Right12(x)) → Right12(A2(x))
2(Right13(x)) → Right13(A2(x))
2(Right14(x)) → Right14(A2(x))
2(Right15(x)) → Right15(A2(x))
2(Right16(x)) → Right16(A2(x))
2(Right17(x)) → Right17(A2(x))
2(Right18(x)) → Right18(A2(x))
2(Right19(x)) → Right19(A2(x))
2(Right20(x)) → Right20(A2(x))
2(Right21(x)) → Right21(A2(x))
2(Right22(x)) → Right22(A2(x))
2(Right23(x)) → Right23(A2(x))
2(Right24(x)) → Right24(A2(x))
3(Right1(x)) → Right1(A3(x))
3(Right2(x)) → Right2(A3(x))
3(Right3(x)) → Right3(A3(x))
3(Right4(x)) → Right4(A3(x))
3(Right5(x)) → Right5(A3(x))
3(Right6(x)) → Right6(A3(x))
3(Right7(x)) → Right7(A3(x))
3(Right8(x)) → Right8(A3(x))
3(Right9(x)) → Right9(A3(x))
3(Right10(x)) → Right10(A3(x))
3(Right11(x)) → Right11(A3(x))
3(Right12(x)) → Right12(A3(x))
3(Right13(x)) → Right13(A3(x))
3(Right14(x)) → Right14(A3(x))
3(Right15(x)) → Right15(A3(x))
3(Right16(x)) → Right16(A3(x))
3(Right17(x)) → Right17(A3(x))
3(Right18(x)) → Right18(A3(x))
3(Right19(x)) → Right19(A3(x))
3(Right20(x)) → Right20(A3(x))
3(Right21(x)) → Right21(A3(x))
3(Right22(x)) → Right22(A3(x))
3(Right23(x)) → Right23(A3(x))
3(Right24(x)) → Right24(A3(x))
4(Right1(x)) → Right1(A4(x))
4(Right2(x)) → Right2(A4(x))
4(Right3(x)) → Right3(A4(x))
4(Right4(x)) → Right4(A4(x))
4(Right5(x)) → Right5(A4(x))
4(Right6(x)) → Right6(A4(x))
4(Right7(x)) → Right7(A4(x))
4(Right8(x)) → Right8(A4(x))
4(Right9(x)) → Right9(A4(x))
4(Right10(x)) → Right10(A4(x))
4(Right11(x)) → Right11(A4(x))
4(Right12(x)) → Right12(A4(x))
4(Right13(x)) → Right13(A4(x))
4(Right14(x)) → Right14(A4(x))
4(Right15(x)) → Right15(A4(x))
4(Right16(x)) → Right16(A4(x))
4(Right17(x)) → Right17(A4(x))
4(Right18(x)) → Right18(A4(x))
4(Right19(x)) → Right19(A4(x))
4(Right20(x)) → Right20(A4(x))
4(Right21(x)) → Right21(A4(x))
4(Right22(x)) → Right22(A4(x))
4(Right23(x)) → Right23(A4(x))
4(Right24(x)) → Right24(A4(x))
5(Right1(x)) → Right1(A5(x))
5(Right2(x)) → Right2(A5(x))
5(Right3(x)) → Right3(A5(x))
5(Right4(x)) → Right4(A5(x))
5(Right5(x)) → Right5(A5(x))
5(Right6(x)) → Right6(A5(x))
5(Right7(x)) → Right7(A5(x))
5(Right8(x)) → Right8(A5(x))
5(Right9(x)) → Right9(A5(x))
5(Right10(x)) → Right10(A5(x))
5(Right11(x)) → Right11(A5(x))
5(Right12(x)) → Right12(A5(x))
5(Right13(x)) → Right13(A5(x))
5(Right14(x)) → Right14(A5(x))
5(Right15(x)) → Right15(A5(x))
5(Right16(x)) → Right16(A5(x))
5(Right17(x)) → Right17(A5(x))
5(Right18(x)) → Right18(A5(x))
5(Right19(x)) → Right19(A5(x))
5(Right20(x)) → Right20(A5(x))
5(Right21(x)) → Right21(A5(x))
5(Right22(x)) → Right22(A5(x))
5(Right23(x)) → Right23(A5(x))
5(Right24(x)) → Right24(A5(x))
Left(A0(x)) → 0(Left(x))
Left(A1(x)) → 1(Left(x))
Left(A2(x)) → 2(Left(x))
Left(A3(x)) → 3(Left(x))
Left(A4(x)) → 4(Left(x))
Left(A5(x)) → 5(Left(x))
Left(Wait(x)) → Begin(x)
4(3(2(1(0(x))))) → 4(1(3(2(0(x)))))
4(3(2(1(5(0(x)))))) → 4(3(5(2(1(0(x))))))
4(3(2(1(5(0(x)))))) → 4(3(1(2(5(0(x))))))
4(3(2(1(5(0(x)))))) → 4(1(3(2(0(5(x))))))
4(1(3(2(5(0(x)))))) → 4(3(2(5(1(0(x))))))

The certificate found is represented by the following graph.

The certificate consists of the following enumerated nodes:

58, 59, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 201, 202, 203, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 268, 274, 285, 286, 287, 288, 289, 290, 291, 496, 497, 498, 499

Node 58 is start node and node 59 is final node.

Those nodes are connected through the following edges:

  • 58 to 113 labelled Right1_1(0), Right2_1(0), Right3_1(0), Right4_1(0), Right5_1(0), Right6_1(0), Right7_1(0), Right8_1(0), Right9_1(0), Right10_1(0), Right11_1(0), Right12_1(0), Right13_1(0), Right14_1(0), Right15_1(0), Right16_1(0), Right17_1(0), Right18_1(0), Right19_1(0), Right20_1(0), Right21_1(0), Right22_1(0), Right23_1(0), Right24_1(0)
  • 58 to 114 labelled End_1(0)
  • 58 to 120 labelled End_1(0)
  • 58 to 127 labelled End_1(0)
  • 58 to 134 labelled End_1(0)
  • 58 to 141 labelled End_1(0)
  • 58 to 119 labelled 0_1(0), 1_1(0), 2_1(0), 3_1(0), 4_1(0), 5_1(0), 4_1(1)
  • 58 to 59 labelled Begin_1(0)
  • 58 to 149 labelled 4_1(0)
  • 58 to 153 labelled 4_1(0)
  • 58 to 158 labelled 4_1(0)
  • 58 to 163 labelled 4_1(0)
  • 58 to 171 labelled Right4_1(1), Right9_1(1), Right14_1(1), Right19_1(1), Right24_1(1), Right23_1(1), Right3_1(1), Right8_1(1), Right13_1(1), Right18_1(1), Right22_1(1), Right2_1(1), Right7_1(1), Right12_1(1), Right17_1(1), Right21_1(1), Right1_1(1), Right6_1(1), Right11_1(1), Right16_1(1), Right20_1(1), Right5_1(1), Right10_1(1), Right15_1(1)
  • 58 to 201 labelled Right4_1(2), Right9_1(2), Right14_1(2), Right19_1(2), Right24_1(2), Right23_1(2), Right3_1(2), Right8_1(2), Right13_1(2), Right18_1(2), Right22_1(2), Right2_1(2), Right7_1(2), Right12_1(2), Right17_1(2), Right21_1(2), Right1_1(2), Right6_1(2), Right11_1(2), Right16_1(2), Right20_1(2), Right5_1(2), Right10_1(2), Right15_1(2)
  • 58 to 175 labelled Right4_1(2), Right9_1(2), Right14_1(2), Right19_1(2), Right24_1(2), Right23_1(2), Right3_1(2), Right8_1(2), Right13_1(2), Right18_1(2), Right22_1(2), Right2_1(2), Right7_1(2), Right12_1(2), Right17_1(2), Right21_1(2), Right1_1(2), Right6_1(2), Right11_1(2), Right16_1(2), Right20_1(2), Right5_1(2), Right10_1(2), Right15_1(2)
  • 58 to 181 labelled 4_1(2)
  • 58 to 185 labelled 4_1(2)
  • 58 to 190 labelled 4_1(2)
  • 58 to 195 labelled 4_1(2)
  • 58 to 268 labelled Right4_1(3), Right9_1(3), Right14_1(3), Right19_1(3), Right24_1(3), Right23_1(3), Right3_1(3), Right8_1(3), Right13_1(3), Right18_1(3), Right22_1(3), Right2_1(3), Right7_1(3), Right12_1(3), Right17_1(3), Right21_1(3), Right1_1(3), Right6_1(3), Right11_1(3), Right16_1(3), Right20_1(3), Right5_1(3), Right10_1(3), Right15_1(3)
  • 59 to 59 labelled #_1(0), 5_1(0)
  • 59 to 168 labelled Right1_1(1), Right2_1(1), Right3_1(1), Right4_1(1), Right5_1(1), Right6_1(1), Right7_1(1), Right8_1(1), Right9_1(1), Right10_1(1), Right11_1(1), Right12_1(1), Right13_1(1), Right14_1(1), Right15_1(1), Right16_1(1), Right17_1(1), Right18_1(1), Right19_1(1), Right20_1(1), Right21_1(1), Right22_1(1), Right23_1(1), Right24_1(1)
  • 113 to 59 labelled Wait_1(0), A0_1(0), A1_1(0), A2_1(0), A3_1(0), A4_1(0), A5_1(0)
  • 114 to 115 labelled 4_1(0)
  • 114 to 274 labelled Right4_1(1), Right9_1(1), Right14_1(1), Right19_1(1), Right24_1(1), Right23_1(1), Right3_1(1), Right8_1(1), Right13_1(1), Right18_1(1), Right22_1(1), Right2_1(1), Right7_1(1), Right12_1(1), Right17_1(1), Right21_1(1), Right1_1(1), Right6_1(1), Right11_1(1), Right16_1(1), Right20_1(1), Right5_1(1), Right10_1(1), Right15_1(1)
  • 115 to 116 labelled 1_1(0)
  • 115 to 249 labelled Right4_1(1), Right9_1(1), Right14_1(1), Right19_1(1), Right24_1(1), Right23_1(1), Right3_1(1), Right8_1(1), Right13_1(1), Right18_1(1), Right22_1(1), Right2_1(1), Right7_1(1), Right12_1(1), Right17_1(1), Right21_1(1), Right1_1(1), Right6_1(1), Right11_1(1), Right16_1(1), Right20_1(1), Right5_1(1), Right10_1(1), Right15_1(1)
  • 116 to 117 labelled 3_1(0)
  • 116 to 240 labelled Right4_1(1), Right9_1(1), Right14_1(1), Right19_1(1), Right24_1(1), Right23_1(1), Right3_1(1), Right8_1(1), Right13_1(1), Right18_1(1), Right22_1(1), Right2_1(1), Right7_1(1), Right12_1(1), Right17_1(1), Right21_1(1), Right1_1(1), Right6_1(1), Right11_1(1), Right16_1(1), Right20_1(1), Right5_1(1), Right10_1(1), Right15_1(1)
  • 117 to 118 labelled 2_1(0)
  • 117 to 230 labelled Right4_1(1), Right9_1(1), Right14_1(1), Right19_1(1), Right24_1(1), Right23_1(1), Right3_1(1), Right8_1(1), Right13_1(1), Right18_1(1), Right22_1(1), Right2_1(1), Right7_1(1), Right12_1(1), Right17_1(1), Right21_1(1), Right1_1(1), Right6_1(1), Right11_1(1), Right16_1(1), Right20_1(1), Right5_1(1), Right10_1(1), Right15_1(1)
  • 118 to 119 labelled 0_1(0)
  • 118 to 171 labelled Right4_1(1), Right9_1(1), Right14_1(1), Right19_1(1), Right24_1(1), Right23_1(1), Right3_1(1), Right8_1(1), Right13_1(1), Right18_1(1), Right22_1(1), Right2_1(1), Right7_1(1), Right12_1(1), Right17_1(1), Right21_1(1), Right1_1(1), Right6_1(1), Right11_1(1), Right16_1(1), Right20_1(1), Right5_1(1), Right10_1(1), Right15_1(1)
  • 119 to 59 labelled Left_1(0), Begin_1(1)
  • 119 to 169 labelled 0_1(1), 1_1(1), 2_1(1), 3_1(1), 4_1(1), 5_1(1)
  • 119 to 175 labelled Right4_1(2), Right9_1(2), Right14_1(2), Right19_1(2), Right24_1(2), Right23_1(2), Right3_1(2), Right8_1(2), Right13_1(2), Right18_1(2), Right22_1(2), Right2_1(2), Right7_1(2), Right12_1(2), Right17_1(2), Right21_1(2), Right1_1(2), Right6_1(2), Right11_1(2), Right16_1(2), Right20_1(2), Right5_1(2), Right10_1(2), Right15_1(2)
  • 119 to 181 labelled 4_1(2)
  • 119 to 185 labelled 4_1(2)
  • 119 to 190 labelled 4_1(2)
  • 119 to 195 labelled 4_1(2)
  • 119 to 201 labelled Right4_1(2), Right9_1(2), Right14_1(2), Right19_1(2), Right24_1(2), Right23_1(2), Right3_1(2), Right8_1(2), Right13_1(2), Right18_1(2), Right22_1(2), Right2_1(2), Right7_1(2), Right12_1(2), Right17_1(2), Right21_1(2), Right1_1(2), Right6_1(2), Right11_1(2), Right16_1(2), Right20_1(2), Right5_1(2), Right10_1(2), Right15_1(2)
  • 119 to 268 labelled Right4_1(3), Right9_1(3), Right14_1(3), Right19_1(3), Right24_1(3), Right23_1(3), Right3_1(3), Right8_1(3), Right13_1(3), Right18_1(3), Right22_1(3), Right2_1(3), Right7_1(3), Right12_1(3), Right17_1(3), Right21_1(3), Right1_1(3), Right6_1(3), Right11_1(3), Right16_1(3), Right20_1(3), Right5_1(3), Right10_1(3), Right15_1(3)
  • 120 to 121 labelled 4_1(0)
  • 120 to 496 labelled Right4_1(1), Right9_1(1), Right14_1(1), Right19_1(1), Right24_1(1), Right23_1(1), Right3_1(1), Right8_1(1), Right13_1(1), Right18_1(1), Right22_1(1), Right2_1(1), Right7_1(1), Right12_1(1), Right17_1(1), Right21_1(1), Right1_1(1), Right6_1(1), Right11_1(1), Right16_1(1), Right20_1(1), Right5_1(1), Right10_1(1), Right15_1(1)
  • 121 to 122 labelled 3_1(0)
  • 121 to 285 labelled Right4_1(1), Right9_1(1), Right14_1(1), Right19_1(1), Right24_1(1), Right23_1(1), Right3_1(1), Right8_1(1), Right13_1(1), Right18_1(1), Right22_1(1), Right2_1(1), Right7_1(1), Right12_1(1), Right17_1(1), Right21_1(1), Right1_1(1), Right6_1(1), Right11_1(1), Right16_1(1), Right20_1(1), Right5_1(1), Right10_1(1), Right15_1(1)
  • 122 to 123 labelled 5_1(0)
  • 122 to 250 labelled Right4_1(1), Right9_1(1), Right14_1(1), Right19_1(1), Right24_1(1), Right23_1(1), Right3_1(1), Right8_1(1), Right13_1(1), Right18_1(1), Right22_1(1), Right2_1(1), Right7_1(1), Right12_1(1), Right17_1(1), Right21_1(1), Right1_1(1), Right6_1(1), Right11_1(1), Right16_1(1), Right20_1(1), Right5_1(1), Right10_1(1), Right15_1(1)
  • 123 to 124 labelled 2_1(0)
  • 123 to 241 labelled Right4_1(1), Right9_1(1), Right14_1(1), Right19_1(1), Right24_1(1), Right23_1(1), Right3_1(1), Right8_1(1), Right13_1(1), Right18_1(1), Right22_1(1), Right2_1(1), Right7_1(1), Right12_1(1), Right17_1(1), Right21_1(1), Right1_1(1), Right6_1(1), Right11_1(1), Right16_1(1), Right20_1(1), Right5_1(1), Right10_1(1), Right15_1(1)
  • 124 to 125 labelled 1_1(0)
  • 124 to 231 labelled Right4_1(1), Right9_1(1), Right14_1(1), Right19_1(1), Right24_1(1), Right23_1(1), Right3_1(1), Right8_1(1), Right13_1(1), Right18_1(1), Right22_1(1), Right2_1(1), Right7_1(1), Right12_1(1), Right17_1(1), Right21_1(1), Right1_1(1), Right6_1(1), Right11_1(1), Right16_1(1), Right20_1(1), Right5_1(1), Right10_1(1), Right15_1(1)
  • 125 to 126 labelled 0_1(0)
  • 125 to 171 labelled Right4_1(1), Right9_1(1), Right14_1(1), Right19_1(1), Right24_1(1), Right23_1(1), Right3_1(1), Right8_1(1), Right13_1(1), Right18_1(1), Right22_1(1), Right2_1(1), Right7_1(1), Right12_1(1), Right17_1(1), Right21_1(1), Right1_1(1), Right6_1(1), Right11_1(1), Right16_1(1), Right20_1(1), Right5_1(1), Right10_1(1), Right15_1(1)
  • 126 to 59 labelled Left_1(0), Begin_1(1)
  • 126 to 169 labelled 0_1(1), 1_1(1), 2_1(1), 3_1(1), 4_1(1), 5_1(1)
  • 126 to 175 labelled Right4_1(2), Right9_1(2), Right14_1(2), Right19_1(2), Right24_1(2), Right23_1(2), Right3_1(2), Right8_1(2), Right13_1(2), Right18_1(2), Right22_1(2), Right2_1(2), Right7_1(2), Right12_1(2), Right17_1(2), Right21_1(2), Right1_1(2), Right6_1(2), Right11_1(2), Right16_1(2), Right20_1(2), Right5_1(2), Right10_1(2), Right15_1(2)
  • 126 to 181 labelled 4_1(2)
  • 126 to 185 labelled 4_1(2)
  • 126 to 190 labelled 4_1(2)
  • 126 to 195 labelled 4_1(2)
  • 126 to 201 labelled Right4_1(2), Right9_1(2), Right14_1(2), Right19_1(2), Right24_1(2), Right23_1(2), Right3_1(2), Right8_1(2), Right13_1(2), Right18_1(2), Right22_1(2), Right2_1(2), Right7_1(2), Right12_1(2), Right17_1(2), Right21_1(2), Right1_1(2), Right6_1(2), Right11_1(2), Right16_1(2), Right20_1(2), Right5_1(2), Right10_1(2), Right15_1(2)
  • 126 to 268 labelled Right4_1(3), Right9_1(3), Right14_1(3), Right19_1(3), Right24_1(3), Right23_1(3), Right3_1(3), Right8_1(3), Right13_1(3), Right18_1(3), Right22_1(3), Right2_1(3), Right7_1(3), Right12_1(3), Right17_1(3), Right21_1(3), Right1_1(3), Right6_1(3), Right11_1(3), Right16_1(3), Right20_1(3), Right5_1(3), Right10_1(3), Right15_1(3)
  • 127 to 128 labelled 4_1(0)
  • 127 to 497 labelled Right4_1(1), Right9_1(1), Right14_1(1), Right19_1(1), Right24_1(1), Right23_1(1), Right3_1(1), Right8_1(1), Right13_1(1), Right18_1(1), Right22_1(1), Right2_1(1), Right7_1(1), Right12_1(1), Right17_1(1), Right21_1(1), Right1_1(1), Right6_1(1), Right11_1(1), Right16_1(1), Right20_1(1), Right5_1(1), Right10_1(1), Right15_1(1)
  • 128 to 129 labelled 3_1(0)
  • 128 to 286 labelled Right4_1(1), Right9_1(1), Right14_1(1), Right19_1(1), Right24_1(1), Right23_1(1), Right3_1(1), Right8_1(1), Right13_1(1), Right18_1(1), Right22_1(1), Right2_1(1), Right7_1(1), Right12_1(1), Right17_1(1), Right21_1(1), Right1_1(1), Right6_1(1), Right11_1(1), Right16_1(1), Right20_1(1), Right5_1(1), Right10_1(1), Right15_1(1)
  • 129 to 130 labelled 1_1(0)
  • 129 to 251 labelled Right4_1(1), Right9_1(1), Right14_1(1), Right19_1(1), Right24_1(1), Right23_1(1), Right3_1(1), Right8_1(1), Right13_1(1), Right18_1(1), Right22_1(1), Right2_1(1), Right7_1(1), Right12_1(1), Right17_1(1), Right21_1(1), Right1_1(1), Right6_1(1), Right11_1(1), Right16_1(1), Right20_1(1), Right5_1(1), Right10_1(1), Right15_1(1)
  • 130 to 131 labelled 2_1(0)
  • 130 to 242 labelled Right4_1(1), Right9_1(1), Right14_1(1), Right19_1(1), Right24_1(1), Right23_1(1), Right3_1(1), Right8_1(1), Right13_1(1), Right18_1(1), Right22_1(1), Right2_1(1), Right7_1(1), Right12_1(1), Right17_1(1), Right21_1(1), Right1_1(1), Right6_1(1), Right11_1(1), Right16_1(1), Right20_1(1), Right5_1(1), Right10_1(1), Right15_1(1)
  • 131 to 132 labelled 5_1(0)
  • 131 to 232 labelled Right4_1(1), Right9_1(1), Right14_1(1), Right19_1(1), Right24_1(1), Right23_1(1), Right3_1(1), Right8_1(1), Right13_1(1), Right18_1(1), Right22_1(1), Right2_1(1), Right7_1(1), Right12_1(1), Right17_1(1), Right21_1(1), Right1_1(1), Right6_1(1), Right11_1(1), Right16_1(1), Right20_1(1), Right5_1(1), Right10_1(1), Right15_1(1)
  • 132 to 133 labelled 0_1(0)
  • 132 to 171 labelled Right4_1(1), Right9_1(1), Right14_1(1), Right19_1(1), Right24_1(1), Right23_1(1), Right3_1(1), Right8_1(1), Right13_1(1), Right18_1(1), Right22_1(1), Right2_1(1), Right7_1(1), Right12_1(1), Right17_1(1), Right21_1(1), Right1_1(1), Right6_1(1), Right11_1(1), Right16_1(1), Right20_1(1), Right5_1(1), Right10_1(1), Right15_1(1)
  • 133 to 59 labelled Left_1(0), Begin_1(1)
  • 133 to 169 labelled 0_1(1), 1_1(1), 2_1(1), 3_1(1), 4_1(1), 5_1(1)
  • 133 to 175 labelled Right4_1(2), Right9_1(2), Right14_1(2), Right19_1(2), Right24_1(2), Right23_1(2), Right3_1(2), Right8_1(2), Right13_1(2), Right18_1(2), Right22_1(2), Right2_1(2), Right7_1(2), Right12_1(2), Right17_1(2), Right21_1(2), Right1_1(2), Right6_1(2), Right11_1(2), Right16_1(2), Right20_1(2), Right5_1(2), Right10_1(2), Right15_1(2)
  • 133 to 181 labelled 4_1(2)
  • 133 to 185 labelled 4_1(2)
  • 133 to 190 labelled 4_1(2)
  • 133 to 195 labelled 4_1(2)
  • 133 to 201 labelled Right4_1(2), Right9_1(2), Right14_1(2), Right19_1(2), Right24_1(2), Right23_1(2), Right3_1(2), Right8_1(2), Right13_1(2), Right18_1(2), Right22_1(2), Right2_1(2), Right7_1(2), Right12_1(2), Right17_1(2), Right21_1(2), Right1_1(2), Right6_1(2), Right11_1(2), Right16_1(2), Right20_1(2), Right5_1(2), Right10_1(2), Right15_1(2)
  • 133 to 268 labelled Right4_1(3), Right9_1(3), Right14_1(3), Right19_1(3), Right24_1(3), Right23_1(3), Right3_1(3), Right8_1(3), Right13_1(3), Right18_1(3), Right22_1(3), Right2_1(3), Right7_1(3), Right12_1(3), Right17_1(3), Right21_1(3), Right1_1(3), Right6_1(3), Right11_1(3), Right16_1(3), Right20_1(3), Right5_1(3), Right10_1(3), Right15_1(3)
  • 134 to 135 labelled 4_1(0)
  • 134 to 498 labelled Right4_1(1), Right9_1(1), Right14_1(1), Right19_1(1), Right24_1(1), Right23_1(1), Right3_1(1), Right8_1(1), Right13_1(1), Right18_1(1), Right22_1(1), Right2_1(1), Right7_1(1), Right12_1(1), Right17_1(1), Right21_1(1), Right1_1(1), Right6_1(1), Right11_1(1), Right16_1(1), Right20_1(1), Right5_1(1), Right10_1(1), Right15_1(1)
  • 135 to 136 labelled 1_1(0)
  • 135 to 287 labelled Right4_1(1), Right9_1(1), Right14_1(1), Right19_1(1), Right24_1(1), Right23_1(1), Right3_1(1), Right8_1(1), Right13_1(1), Right18_1(1), Right22_1(1), Right2_1(1), Right7_1(1), Right12_1(1), Right17_1(1), Right21_1(1), Right1_1(1), Right6_1(1), Right11_1(1), Right16_1(1), Right20_1(1), Right5_1(1), Right10_1(1), Right15_1(1)
  • 136 to 137 labelled 3_1(0)
  • 136 to 252 labelled Right4_1(1), Right9_1(1), Right14_1(1), Right19_1(1), Right24_1(1), Right23_1(1), Right3_1(1), Right8_1(1), Right13_1(1), Right18_1(1), Right22_1(1), Right2_1(1), Right7_1(1), Right12_1(1), Right17_1(1), Right21_1(1), Right1_1(1), Right6_1(1), Right11_1(1), Right16_1(1), Right20_1(1), Right5_1(1), Right10_1(1), Right15_1(1)
  • 137 to 138 labelled 2_1(0)
  • 137 to 243 labelled Right4_1(1), Right9_1(1), Right14_1(1), Right19_1(1), Right24_1(1), Right23_1(1), Right3_1(1), Right8_1(1), Right13_1(1), Right18_1(1), Right22_1(1), Right2_1(1), Right7_1(1), Right12_1(1), Right17_1(1), Right21_1(1), Right1_1(1), Right6_1(1), Right11_1(1), Right16_1(1), Right20_1(1), Right5_1(1), Right10_1(1), Right15_1(1)
  • 138 to 139 labelled 0_1(0)
  • 138 to 233 labelled Right4_1(1), Right9_1(1), Right14_1(1), Right19_1(1), Right24_1(1), Right23_1(1), Right3_1(1), Right8_1(1), Right13_1(1), Right18_1(1), Right22_1(1), Right2_1(1), Right7_1(1), Right12_1(1), Right17_1(1), Right21_1(1), Right1_1(1), Right6_1(1), Right11_1(1), Right16_1(1), Right20_1(1), Right5_1(1), Right10_1(1), Right15_1(1)
  • 139 to 140 labelled 5_1(0)
  • 139 to 171 labelled Right4_1(1), Right9_1(1), Right14_1(1), Right19_1(1), Right24_1(1), Right23_1(1), Right3_1(1), Right8_1(1), Right13_1(1), Right18_1(1), Right22_1(1), Right2_1(1), Right7_1(1), Right12_1(1), Right17_1(1), Right21_1(1), Right1_1(1), Right6_1(1), Right11_1(1), Right16_1(1), Right20_1(1), Right5_1(1), Right10_1(1), Right15_1(1)
  • 140 to 59 labelled Left_1(0), Begin_1(1)
  • 140 to 169 labelled 0_1(1), 1_1(1), 2_1(1), 3_1(1), 4_1(1), 5_1(1)
  • 140 to 175 labelled Right4_1(2), Right9_1(2), Right14_1(2), Right19_1(2), Right24_1(2), Right23_1(2), Right3_1(2), Right8_1(2), Right13_1(2), Right18_1(2), Right22_1(2), Right2_1(2), Right7_1(2), Right12_1(2), Right17_1(2), Right21_1(2), Right1_1(2), Right6_1(2), Right11_1(2), Right16_1(2), Right20_1(2), Right5_1(2), Right10_1(2), Right15_1(2)
  • 140 to 181 labelled 4_1(2)
  • 140 to 185 labelled 4_1(2)
  • 140 to 190 labelled 4_1(2)
  • 140 to 195 labelled 4_1(2)
  • 140 to 201 labelled Right4_1(2), Right9_1(2), Right14_1(2), Right19_1(2), Right24_1(2), Right23_1(2), Right3_1(2), Right8_1(2), Right13_1(2), Right18_1(2), Right22_1(2), Right2_1(2), Right7_1(2), Right12_1(2), Right17_1(2), Right21_1(2), Right1_1(2), Right6_1(2), Right11_1(2), Right16_1(2), Right20_1(2), Right5_1(2), Right10_1(2), Right15_1(2)
  • 140 to 268 labelled Right4_1(3), Right9_1(3), Right14_1(3), Right19_1(3), Right24_1(3), Right23_1(3), Right3_1(3), Right8_1(3), Right13_1(3), Right18_1(3), Right22_1(3), Right2_1(3), Right7_1(3), Right12_1(3), Right17_1(3), Right21_1(3), Right1_1(3), Right6_1(3), Right11_1(3), Right16_1(3), Right20_1(3), Right5_1(3), Right10_1(3), Right15_1(3)
  • 141 to 143 labelled 4_1(0)
  • 141 to 499 labelled Right4_1(1), Right9_1(1), Right14_1(1), Right19_1(1), Right24_1(1), Right23_1(1), Right3_1(1), Right8_1(1), Right13_1(1), Right18_1(1), Right22_1(1), Right2_1(1), Right7_1(1), Right12_1(1), Right17_1(1), Right21_1(1), Right1_1(1), Right6_1(1), Right11_1(1), Right16_1(1), Right20_1(1), Right5_1(1), Right10_1(1), Right15_1(1)
  • 143 to 144 labelled 3_1(0)
  • 143 to 288 labelled Right4_1(1), Right9_1(1), Right14_1(1), Right19_1(1), Right24_1(1), Right23_1(1), Right3_1(1), Right8_1(1), Right13_1(1), Right18_1(1), Right22_1(1), Right2_1(1), Right7_1(1), Right12_1(1), Right17_1(1), Right21_1(1), Right1_1(1), Right6_1(1), Right11_1(1), Right16_1(1), Right20_1(1), Right5_1(1), Right10_1(1), Right15_1(1)
  • 144 to 145 labelled 2_1(0)
  • 144 to 253 labelled Right4_1(1), Right9_1(1), Right14_1(1), Right19_1(1), Right24_1(1), Right23_1(1), Right3_1(1), Right8_1(1), Right13_1(1), Right18_1(1), Right22_1(1), Right2_1(1), Right7_1(1), Right12_1(1), Right17_1(1), Right21_1(1), Right1_1(1), Right6_1(1), Right11_1(1), Right16_1(1), Right20_1(1), Right5_1(1), Right10_1(1), Right15_1(1)
  • 145 to 146 labelled 5_1(0)
  • 145 to 244 labelled Right4_1(1), Right9_1(1), Right14_1(1), Right19_1(1), Right24_1(1), Right23_1(1), Right3_1(1), Right8_1(1), Right13_1(1), Right18_1(1), Right22_1(1), Right2_1(1), Right7_1(1), Right12_1(1), Right17_1(1), Right21_1(1), Right1_1(1), Right6_1(1), Right11_1(1), Right16_1(1), Right20_1(1), Right5_1(1), Right10_1(1), Right15_1(1)
  • 146 to 147 labelled 1_1(0)
  • 146 to 231 labelled Right4_1(1), Right9_1(1), Right14_1(1), Right19_1(1), Right24_1(1), Right23_1(1), Right3_1(1), Right8_1(1), Right13_1(1), Right18_1(1), Right22_1(1), Right2_1(1), Right7_1(1), Right12_1(1), Right17_1(1), Right21_1(1), Right1_1(1), Right6_1(1), Right11_1(1), Right16_1(1), Right20_1(1), Right5_1(1), Right10_1(1), Right15_1(1)
  • 147 to 148 labelled 0_1(0)
  • 147 to 171 labelled Right4_1(1), Right9_1(1), Right14_1(1), Right19_1(1), Right24_1(1), Right23_1(1), Right3_1(1), Right8_1(1), Right13_1(1), Right18_1(1), Right22_1(1), Right2_1(1), Right7_1(1), Right12_1(1), Right17_1(1), Right21_1(1), Right1_1(1), Right6_1(1), Right11_1(1), Right16_1(1), Right20_1(1), Right5_1(1), Right10_1(1), Right15_1(1)
  • 148 to 59 labelled Left_1(0), Begin_1(1)
  • 148 to 169 labelled 0_1(1), 1_1(1), 2_1(1), 3_1(1), 4_1(1), 5_1(1)
  • 148 to 175 labelled Right4_1(2), Right9_1(2), Right14_1(2), Right19_1(2), Right24_1(2), Right23_1(2), Right3_1(2), Right8_1(2), Right13_1(2), Right18_1(2), Right22_1(2), Right2_1(2), Right7_1(2), Right12_1(2), Right17_1(2), Right21_1(2), Right1_1(2), Right6_1(2), Right11_1(2), Right16_1(2), Right20_1(2), Right5_1(2), Right10_1(2), Right15_1(2)
  • 148 to 181 labelled 4_1(2)
  • 148 to 185 labelled 4_1(2)
  • 148 to 190 labelled 4_1(2)
  • 148 to 195 labelled 4_1(2)
  • 148 to 201 labelled Right4_1(2), Right9_1(2), Right14_1(2), Right19_1(2), Right24_1(2), Right23_1(2), Right3_1(2), Right8_1(2), Right13_1(2), Right18_1(2), Right22_1(2), Right2_1(2), Right7_1(2), Right12_1(2), Right17_1(2), Right21_1(2), Right1_1(2), Right6_1(2), Right11_1(2), Right16_1(2), Right20_1(2), Right5_1(2), Right10_1(2), Right15_1(2)
  • 148 to 268 labelled Right4_1(3), Right9_1(3), Right14_1(3), Right19_1(3), Right24_1(3), Right23_1(3), Right3_1(3), Right8_1(3), Right13_1(3), Right18_1(3), Right22_1(3), Right2_1(3), Right7_1(3), Right12_1(3), Right17_1(3), Right21_1(3), Right1_1(3), Right6_1(3), Right11_1(3), Right16_1(3), Right20_1(3), Right5_1(3), Right10_1(3), Right15_1(3)
  • 149 to 150 labelled 1_1(0)
  • 149 to 226 labelled Right1_1(1), Right2_1(1), Right3_1(1), Right4_1(1), Right5_1(1), Right6_1(1), Right7_1(1), Right8_1(1), Right9_1(1), Right10_1(1), Right11_1(1), Right12_1(1), Right13_1(1), Right14_1(1), Right15_1(1), Right16_1(1), Right17_1(1), Right18_1(1), Right19_1(1), Right20_1(1), Right21_1(1), Right22_1(1), Right23_1(1), Right24_1(1)
  • 150 to 151 labelled 3_1(0)
  • 150 to 176 labelled Right1_1(1), Right2_1(1), Right3_1(1), Right4_1(1), Right5_1(1), Right6_1(1), Right7_1(1), Right8_1(1), Right9_1(1), Right10_1(1), Right11_1(1), Right12_1(1), Right13_1(1), Right14_1(1), Right15_1(1), Right16_1(1), Right17_1(1), Right18_1(1), Right19_1(1), Right20_1(1), Right21_1(1), Right22_1(1), Right23_1(1), Right24_1(1)
  • 151 to 152 labelled 2_1(0)
  • 151 to 172 labelled Right1_1(1), Right2_1(1), Right3_1(1), Right4_1(1), Right5_1(1), Right6_1(1), Right7_1(1), Right8_1(1), Right9_1(1), Right10_1(1), Right11_1(1), Right12_1(1), Right13_1(1), Right14_1(1), Right15_1(1), Right16_1(1), Right17_1(1), Right18_1(1), Right19_1(1), Right20_1(1), Right21_1(1), Right22_1(1), Right23_1(1), Right24_1(1)
  • 152 to 59 labelled 0_1(0)
  • 152 to 170 labelled Right1_1(1), Right2_1(1), Right3_1(1), Right4_1(1), Right5_1(1), Right6_1(1), Right7_1(1), Right8_1(1), Right9_1(1), Right10_1(1), Right11_1(1), Right12_1(1), Right13_1(1), Right14_1(1), Right15_1(1), Right16_1(1), Right17_1(1), Right18_1(1), Right19_1(1), Right20_1(1), Right21_1(1), Right22_1(1), Right23_1(1), Right24_1(1)
  • 153 to 154 labelled 3_1(0)
  • 153 to 234 labelled Right1_1(1), Right2_1(1), Right3_1(1), Right4_1(1), Right5_1(1), Right6_1(1), Right7_1(1), Right8_1(1), Right9_1(1), Right10_1(1), Right11_1(1), Right12_1(1), Right13_1(1), Right14_1(1), Right15_1(1), Right16_1(1), Right17_1(1), Right18_1(1), Right19_1(1), Right20_1(1), Right21_1(1), Right22_1(1), Right23_1(1), Right24_1(1)
  • 154 to 155 labelled 5_1(0)
  • 154 to 227 labelled Right1_1(1), Right2_1(1), Right3_1(1), Right4_1(1), Right5_1(1), Right6_1(1), Right7_1(1), Right8_1(1), Right9_1(1), Right10_1(1), Right11_1(1), Right12_1(1), Right13_1(1), Right14_1(1), Right15_1(1), Right16_1(1), Right17_1(1), Right18_1(1), Right19_1(1), Right20_1(1), Right21_1(1), Right22_1(1), Right23_1(1), Right24_1(1)
  • 155 to 156 labelled 2_1(0)
  • 155 to 177 labelled Right1_1(1), Right2_1(1), Right3_1(1), Right4_1(1), Right5_1(1), Right6_1(1), Right7_1(1), Right8_1(1), Right9_1(1), Right10_1(1), Right11_1(1), Right12_1(1), Right13_1(1), Right14_1(1), Right15_1(1), Right16_1(1), Right17_1(1), Right18_1(1), Right19_1(1), Right20_1(1), Right21_1(1), Right22_1(1), Right23_1(1), Right24_1(1)
  • 156 to 157 labelled 1_1(0)
  • 156 to 173 labelled Right1_1(1), Right2_1(1), Right3_1(1), Right4_1(1), Right5_1(1), Right6_1(1), Right7_1(1), Right8_1(1), Right9_1(1), Right10_1(1), Right11_1(1), Right12_1(1), Right13_1(1), Right14_1(1), Right15_1(1), Right16_1(1), Right17_1(1), Right18_1(1), Right19_1(1), Right20_1(1), Right21_1(1), Right22_1(1), Right23_1(1), Right24_1(1)
  • 157 to 59 labelled 0_1(0)
  • 157 to 170 labelled Right1_1(1), Right2_1(1), Right3_1(1), Right4_1(1), Right5_1(1), Right6_1(1), Right7_1(1), Right8_1(1), Right9_1(1), Right10_1(1), Right11_1(1), Right12_1(1), Right13_1(1), Right14_1(1), Right15_1(1), Right16_1(1), Right17_1(1), Right18_1(1), Right19_1(1), Right20_1(1), Right21_1(1), Right22_1(1), Right23_1(1), Right24_1(1)
  • 158 to 159 labelled 3_1(0)
  • 158 to 235 labelled Right1_1(1), Right2_1(1), Right3_1(1), Right4_1(1), Right5_1(1), Right6_1(1), Right7_1(1), Right8_1(1), Right9_1(1), Right10_1(1), Right11_1(1), Right12_1(1), Right13_1(1), Right14_1(1), Right15_1(1), Right16_1(1), Right17_1(1), Right18_1(1), Right19_1(1), Right20_1(1), Right21_1(1), Right22_1(1), Right23_1(1), Right24_1(1)
  • 159 to 160 labelled 1_1(0)
  • 159 to 228 labelled Right1_1(1), Right2_1(1), Right3_1(1), Right4_1(1), Right5_1(1), Right6_1(1), Right7_1(1), Right8_1(1), Right9_1(1), Right10_1(1), Right11_1(1), Right12_1(1), Right13_1(1), Right14_1(1), Right15_1(1), Right16_1(1), Right17_1(1), Right18_1(1), Right19_1(1), Right20_1(1), Right21_1(1), Right22_1(1), Right23_1(1), Right24_1(1)
  • 160 to 161 labelled 2_1(0)
  • 160 to 178 labelled Right1_1(1), Right2_1(1), Right3_1(1), Right4_1(1), Right5_1(1), Right6_1(1), Right7_1(1), Right8_1(1), Right9_1(1), Right10_1(1), Right11_1(1), Right12_1(1), Right13_1(1), Right14_1(1), Right15_1(1), Right16_1(1), Right17_1(1), Right18_1(1), Right19_1(1), Right20_1(1), Right21_1(1), Right22_1(1), Right23_1(1), Right24_1(1)
  • 161 to 162 labelled 5_1(0)
  • 161 to 174 labelled Right1_1(1), Right2_1(1), Right3_1(1), Right4_1(1), Right5_1(1), Right6_1(1), Right7_1(1), Right8_1(1), Right9_1(1), Right10_1(1), Right11_1(1), Right12_1(1), Right13_1(1), Right14_1(1), Right15_1(1), Right16_1(1), Right17_1(1), Right18_1(1), Right19_1(1), Right20_1(1), Right21_1(1), Right22_1(1), Right23_1(1), Right24_1(1)
  • 162 to 59 labelled 0_1(0)
  • 162 to 170 labelled Right1_1(1), Right2_1(1), Right3_1(1), Right4_1(1), Right5_1(1), Right6_1(1), Right7_1(1), Right8_1(1), Right9_1(1), Right10_1(1), Right11_1(1), Right12_1(1), Right13_1(1), Right14_1(1), Right15_1(1), Right16_1(1), Right17_1(1), Right18_1(1), Right19_1(1), Right20_1(1), Right21_1(1), Right22_1(1), Right23_1(1), Right24_1(1)
  • 163 to 164 labelled 3_1(0)
  • 163 to 236 labelled Right1_1(1), Right2_1(1), Right3_1(1), Right4_1(1), Right5_1(1), Right6_1(1), Right7_1(1), Right8_1(1), Right9_1(1), Right10_1(1), Right11_1(1), Right12_1(1), Right13_1(1), Right14_1(1), Right15_1(1), Right16_1(1), Right17_1(1), Right18_1(1), Right19_1(1), Right20_1(1), Right21_1(1), Right22_1(1), Right23_1(1), Right24_1(1)
  • 164 to 165 labelled 2_1(0)
  • 164 to 229 labelled Right1_1(1), Right2_1(1), Right3_1(1), Right4_1(1), Right5_1(1), Right6_1(1), Right7_1(1), Right8_1(1), Right9_1(1), Right10_1(1), Right11_1(1), Right12_1(1), Right13_1(1), Right14_1(1), Right15_1(1), Right16_1(1), Right17_1(1), Right18_1(1), Right19_1(1), Right20_1(1), Right21_1(1), Right22_1(1), Right23_1(1), Right24_1(1)
  • 165 to 166 labelled 5_1(0)
  • 165 to 179 labelled Right1_1(1), Right2_1(1), Right3_1(1), Right4_1(1), Right5_1(1), Right6_1(1), Right7_1(1), Right8_1(1), Right9_1(1), Right10_1(1), Right11_1(1), Right12_1(1), Right13_1(1), Right14_1(1), Right15_1(1), Right16_1(1), Right17_1(1), Right18_1(1), Right19_1(1), Right20_1(1), Right21_1(1), Right22_1(1), Right23_1(1), Right24_1(1)
  • 166 to 167 labelled 1_1(0)
  • 166 to 173 labelled Right1_1(1), Right2_1(1), Right3_1(1), Right4_1(1), Right5_1(1), Right6_1(1), Right7_1(1), Right8_1(1), Right9_1(1), Right10_1(1), Right11_1(1), Right12_1(1), Right13_1(1), Right14_1(1), Right15_1(1), Right16_1(1), Right17_1(1), Right18_1(1), Right19_1(1), Right20_1(1), Right21_1(1), Right22_1(1), Right23_1(1), Right24_1(1)
  • 167 to 59 labelled 0_1(0)
  • 167 to 170 labelled Right1_1(1), Right2_1(1), Right3_1(1), Right4_1(1), Right5_1(1), Right6_1(1), Right7_1(1), Right8_1(1), Right9_1(1), Right10_1(1), Right11_1(1), Right12_1(1), Right13_1(1), Right14_1(1), Right15_1(1), Right16_1(1), Right17_1(1), Right18_1(1), Right19_1(1), Right20_1(1), Right21_1(1), Right22_1(1), Right23_1(1), Right24_1(1)
  • 168 to 59 labelled A5_1(1)
  • 168 to 168 labelled A5_1(1)
  • 169 to 59 labelled Left_1(1), Begin_1(1)
  • 169 to 169 labelled 0_1(1), 1_1(1), 2_1(1), 3_1(1), 4_1(1), 5_1(1), 5_1(2)
  • 169 to 175 labelled Right4_1(2), Right9_1(2), Right14_1(2), Right19_1(2), Right24_1(2), Right23_1(2), Right3_1(2), Right8_1(2), Right13_1(2), Right18_1(2), Right22_1(2), Right2_1(2), Right7_1(2), Right12_1(2), Right17_1(2), Right21_1(2), Right1_1(2), Right6_1(2), Right11_1(2), Right16_1(2), Right20_1(2), Right5_1(2), Right10_1(2), Right15_1(2)
  • 169 to 181 labelled 4_1(2)
  • 169 to 185 labelled 4_1(2)
  • 169 to 190 labelled 4_1(2)
  • 169 to 195 labelled 4_1(2)
  • 169 to 201 labelled Right4_1(2), Right9_1(2), Right14_1(2), Right19_1(2), Right24_1(2), Right23_1(2), Right3_1(2), Right8_1(2), Right13_1(2), Right18_1(2), Right22_1(2), Right2_1(2), Right7_1(2), Right12_1(2), Right17_1(2), Right21_1(2), Right1_1(2), Right6_1(2), Right11_1(2), Right16_1(2), Right20_1(2), Right5_1(2), Right10_1(2), Right15_1(2)
  • 169 to 202 labelled Right4_1(3), Right9_1(3), Right14_1(3), Right19_1(3), Right24_1(3), Right23_1(3), Right3_1(3), Right8_1(3), Right13_1(3), Right18_1(3), Right22_1(3), Right2_1(3), Right7_1(3), Right12_1(3), Right17_1(3), Right21_1(3), Right1_1(3), Right6_1(3), Right11_1(3), Right16_1(3), Right20_1(3), Right5_1(3), Right10_1(3), Right15_1(3)
  • 169 to 268 labelled Right4_1(3), Right9_1(3), Right14_1(3), Right19_1(3), Right24_1(3), Right23_1(3), Right3_1(3), Right8_1(3), Right13_1(3), Right18_1(3), Right22_1(3), Right2_1(3), Right7_1(3), Right12_1(3), Right17_1(3), Right21_1(3), Right1_1(3), Right6_1(3), Right11_1(3), Right16_1(3), Right20_1(3), Right5_1(3), Right10_1(3), Right15_1(3)
  • 170 to 59 labelled A0_1(1)
  • 170 to 168 labelled A0_1(1)
  • 171 to 59 labelled Wait_1(1)
  • 171 to 175 labelled A0_1(1), A1_1(1), A2_1(1), A3_1(1), A4_1(1), A5_1(1)
  • 171 to 201 labelled A0_1(1), A1_1(1), A2_1(1), A3_1(1), A4_1(1), A5_1(1)
  • 171 to 226 labelled A4_1(1)
  • 171 to 234 labelled A4_1(1)
  • 171 to 235 labelled A4_1(1)
  • 171 to 236 labelled A4_1(1)
  • 171 to 268 labelled A0_1(1), A1_1(1), A2_1(1), A3_1(1), A4_1(1), A5_1(1)
  • 172 to 170 labelled A2_1(1)
  • 173 to 170 labelled A1_1(1)
  • 174 to 170 labelled A5_1(1)
  • 175 to 59 labelled Wait_1(2)
  • 175 to 175 labelled A0_1(2), A1_1(2), A2_1(2), A3_1(2), A5_1(2)
  • 175 to 201 labelled A0_1(2), A1_1(2), A2_1(2), A3_1(2), A5_1(2)
  • 175 to 202 labelled A0_1(2), A1_1(2), A2_1(2), A3_1(2), A4_1(2), A5_1(2)
  • 175 to 268 labelled A0_1(2), A1_1(2), A2_1(2), A3_1(2), A5_1(2)
  • 176 to 172 labelled A3_1(1)
  • 177 to 173 labelled A2_1(1)
  • 178 to 174 labelled A2_1(1)
  • 179 to 173 labelled A5_1(1)
  • 181 to 182 labelled 1_1(2)
  • 181 to 254 labelled Right4_1(3), Right9_1(3), Right14_1(3), Right19_1(3), Right24_1(3), Right23_1(3), Right3_1(3), Right8_1(3), Right13_1(3), Right18_1(3), Right22_1(3), Right2_1(3), Right7_1(3), Right12_1(3), Right17_1(3), Right21_1(3), Right1_1(3), Right6_1(3), Right11_1(3), Right16_1(3), Right20_1(3), Right5_1(3), Right10_1(3), Right15_1(3)
  • 182 to 183 labelled 3_1(2)
  • 182 to 245 labelled Right4_1(3), Right9_1(3), Right14_1(3), Right19_1(3), Right24_1(3), Right23_1(3), Right3_1(3), Right8_1(3), Right13_1(3), Right18_1(3), Right22_1(3), Right2_1(3), Right7_1(3), Right12_1(3), Right17_1(3), Right21_1(3), Right1_1(3), Right6_1(3), Right11_1(3), Right16_1(3), Right20_1(3), Right5_1(3), Right10_1(3), Right15_1(3)
  • 183 to 184 labelled 2_1(2)
  • 183 to 237 labelled Right4_1(3), Right9_1(3), Right14_1(3), Right19_1(3), Right24_1(3), Right23_1(3), Right3_1(3), Right8_1(3), Right13_1(3), Right18_1(3), Right22_1(3), Right2_1(3), Right7_1(3), Right12_1(3), Right17_1(3), Right21_1(3), Right1_1(3), Right6_1(3), Right11_1(3), Right16_1(3), Right20_1(3), Right5_1(3), Right10_1(3), Right15_1(3)
  • 184 to 169 labelled 0_1(2)
  • 184 to 203 labelled Right4_1(3), Right9_1(3), Right14_1(3), Right19_1(3), Right24_1(3), Right23_1(3), Right3_1(3), Right8_1(3), Right13_1(3), Right18_1(3), Right22_1(3), Right2_1(3), Right7_1(3), Right12_1(3), Right17_1(3), Right21_1(3), Right1_1(3), Right6_1(3), Right11_1(3), Right16_1(3), Right20_1(3), Right5_1(3), Right10_1(3), Right15_1(3)
  • 185 to 186 labelled 3_1(2)
  • 185 to 289 labelled Right4_1(3), Right9_1(3), Right14_1(3), Right19_1(3), Right24_1(3), Right23_1(3), Right3_1(3), Right8_1(3), Right13_1(3), Right18_1(3), Right22_1(3), Right2_1(3), Right7_1(3), Right12_1(3), Right17_1(3), Right21_1(3), Right1_1(3), Right6_1(3), Right11_1(3), Right16_1(3), Right20_1(3), Right5_1(3), Right10_1(3), Right15_1(3)
  • 186 to 187 labelled 2_1(2)
  • 186 to 255 labelled Right4_1(3), Right9_1(3), Right14_1(3), Right19_1(3), Right24_1(3), Right23_1(3), Right3_1(3), Right8_1(3), Right13_1(3), Right18_1(3), Right22_1(3), Right2_1(3), Right7_1(3), Right12_1(3), Right17_1(3), Right21_1(3), Right1_1(3), Right6_1(3), Right11_1(3), Right16_1(3), Right20_1(3), Right5_1(3), Right10_1(3), Right15_1(3)
  • 187 to 188 labelled 5_1(2)
  • 187 to 246 labelled Right4_1(3), Right9_1(3), Right14_1(3), Right19_1(3), Right24_1(3), Right23_1(3), Right3_1(3), Right8_1(3), Right13_1(3), Right18_1(3), Right22_1(3), Right2_1(3), Right7_1(3), Right12_1(3), Right17_1(3), Right21_1(3), Right1_1(3), Right6_1(3), Right11_1(3), Right16_1(3), Right20_1(3), Right5_1(3), Right10_1(3), Right15_1(3)
  • 188 to 189 labelled 1_1(2)
  • 188 to 238 labelled Right4_1(3), Right9_1(3), Right14_1(3), Right19_1(3), Right24_1(3), Right23_1(3), Right3_1(3), Right8_1(3), Right13_1(3), Right18_1(3), Right22_1(3), Right2_1(3), Right7_1(3), Right12_1(3), Right17_1(3), Right21_1(3), Right1_1(3), Right6_1(3), Right11_1(3), Right16_1(3), Right20_1(3), Right5_1(3), Right10_1(3), Right15_1(3)
  • 189 to 169 labelled 0_1(2)
  • 189 to 203 labelled Right4_1(3), Right9_1(3), Right14_1(3), Right19_1(3), Right24_1(3), Right23_1(3), Right3_1(3), Right8_1(3), Right13_1(3), Right18_1(3), Right22_1(3), Right2_1(3), Right7_1(3), Right12_1(3), Right17_1(3), Right21_1(3), Right1_1(3), Right6_1(3), Right11_1(3), Right16_1(3), Right20_1(3), Right5_1(3), Right10_1(3), Right15_1(3)
  • 190 to 191 labelled 3_1(2)
  • 190 to 290 labelled Right4_1(3), Right9_1(3), Right14_1(3), Right19_1(3), Right24_1(3), Right23_1(3), Right3_1(3), Right8_1(3), Right13_1(3), Right18_1(3), Right22_1(3), Right2_1(3), Right7_1(3), Right12_1(3), Right17_1(3), Right21_1(3), Right1_1(3), Right6_1(3), Right11_1(3), Right16_1(3), Right20_1(3), Right5_1(3), Right10_1(3), Right15_1(3)
  • 191 to 192 labelled 5_1(2)
  • 191 to 256 labelled Right4_1(3), Right9_1(3), Right14_1(3), Right19_1(3), Right24_1(3), Right23_1(3), Right3_1(3), Right8_1(3), Right13_1(3), Right18_1(3), Right22_1(3), Right2_1(3), Right7_1(3), Right12_1(3), Right17_1(3), Right21_1(3), Right1_1(3), Right6_1(3), Right11_1(3), Right16_1(3), Right20_1(3), Right5_1(3), Right10_1(3), Right15_1(3)
  • 192 to 193 labelled 2_1(2)
  • 192 to 247 labelled Right4_1(3), Right9_1(3), Right14_1(3), Right19_1(3), Right24_1(3), Right23_1(3), Right3_1(3), Right8_1(3), Right13_1(3), Right18_1(3), Right22_1(3), Right2_1(3), Right7_1(3), Right12_1(3), Right17_1(3), Right21_1(3), Right1_1(3), Right6_1(3), Right11_1(3), Right16_1(3), Right20_1(3), Right5_1(3), Right10_1(3), Right15_1(3)
  • 193 to 194 labelled 1_1(2)
  • 193 to 238 labelled Right4_1(3), Right9_1(3), Right14_1(3), Right19_1(3), Right24_1(3), Right23_1(3), Right3_1(3), Right8_1(3), Right13_1(3), Right18_1(3), Right22_1(3), Right2_1(3), Right7_1(3), Right12_1(3), Right17_1(3), Right21_1(3), Right1_1(3), Right6_1(3), Right11_1(3), Right16_1(3), Right20_1(3), Right5_1(3), Right10_1(3), Right15_1(3)
  • 194 to 169 labelled 0_1(2)
  • 194 to 203 labelled Right4_1(3), Right9_1(3), Right14_1(3), Right19_1(3), Right24_1(3), Right23_1(3), Right3_1(3), Right8_1(3), Right13_1(3), Right18_1(3), Right22_1(3), Right2_1(3), Right7_1(3), Right12_1(3), Right17_1(3), Right21_1(3), Right1_1(3), Right6_1(3), Right11_1(3), Right16_1(3), Right20_1(3), Right5_1(3), Right10_1(3), Right15_1(3)
  • 195 to 196 labelled 3_1(2)
  • 195 to 291 labelled Right4_1(3), Right9_1(3), Right14_1(3), Right19_1(3), Right24_1(3), Right23_1(3), Right3_1(3), Right8_1(3), Right13_1(3), Right18_1(3), Right22_1(3), Right2_1(3), Right7_1(3), Right12_1(3), Right17_1(3), Right21_1(3), Right1_1(3), Right6_1(3), Right11_1(3), Right16_1(3), Right20_1(3), Right5_1(3), Right10_1(3), Right15_1(3)
  • 196 to 197 labelled 1_1(2)
  • 196 to 257 labelled Right4_1(3), Right9_1(3), Right14_1(3), Right19_1(3), Right24_1(3), Right23_1(3), Right3_1(3), Right8_1(3), Right13_1(3), Right18_1(3), Right22_1(3), Right2_1(3), Right7_1(3), Right12_1(3), Right17_1(3), Right21_1(3), Right1_1(3), Right6_1(3), Right11_1(3), Right16_1(3), Right20_1(3), Right5_1(3), Right10_1(3), Right15_1(3)
  • 197 to 198 labelled 2_1(2)
  • 197 to 248 labelled Right4_1(3), Right9_1(3), Right14_1(3), Right19_1(3), Right24_1(3), Right23_1(3), Right3_1(3), Right8_1(3), Right13_1(3), Right18_1(3), Right22_1(3), Right2_1(3), Right7_1(3), Right12_1(3), Right17_1(3), Right21_1(3), Right1_1(3), Right6_1(3), Right11_1(3), Right16_1(3), Right20_1(3), Right5_1(3), Right10_1(3), Right15_1(3)
  • 198 to 199 labelled 5_1(2)
  • 198 to 239 labelled Right4_1(3), Right9_1(3), Right14_1(3), Right19_1(3), Right24_1(3), Right23_1(3), Right3_1(3), Right8_1(3), Right13_1(3), Right18_1(3), Right22_1(3), Right2_1(3), Right7_1(3), Right12_1(3), Right17_1(3), Right21_1(3), Right1_1(3), Right6_1(3), Right11_1(3), Right16_1(3), Right20_1(3), Right5_1(3), Right10_1(3), Right15_1(3)
  • 199 to 169 labelled 0_1(2)
  • 199 to 203 labelled Right4_1(3), Right9_1(3), Right14_1(3), Right19_1(3), Right24_1(3), Right23_1(3), Right3_1(3), Right8_1(3), Right13_1(3), Right18_1(3), Right22_1(3), Right2_1(3), Right7_1(3), Right12_1(3), Right17_1(3), Right21_1(3), Right1_1(3), Right6_1(3), Right11_1(3), Right16_1(3), Right20_1(3), Right5_1(3), Right10_1(3), Right15_1(3)
  • 201 to 175 labelled A4_1(2)
  • 201 to 201 labelled A4_1(2)
  • 201 to 268 labelled A4_1(2)
  • 202 to 175 labelled A5_1(3)
  • 202 to 201 labelled A5_1(3)
  • 202 to 202 labelled A5_1(3)
  • 202 to 268 labelled A5_1(3)
  • 203 to 175 labelled A0_1(3)
  • 203 to 201 labelled A0_1(3)
  • 203 to 202 labelled A0_1(3)
  • 203 to 268 labelled A0_1(3)
  • 226 to 176 labelled A1_1(1)
  • 227 to 177 labelled A5_1(1)
  • 228 to 178 labelled A1_1(1)
  • 229 to 179 labelled A2_1(1)
  • 230 to 171 labelled A2_1(1)
  • 231 to 171 labelled A1_1(1)
  • 232 to 171 labelled A5_1(1)
  • 233 to 171 labelled A0_1(1)
  • 234 to 227 labelled A3_1(1)
  • 235 to 228 labelled A3_1(1)
  • 236 to 229 labelled A3_1(1)
  • 237 to 203 labelled A2_1(3)
  • 238 to 203 labelled A1_1(3)
  • 239 to 203 labelled A5_1(3)
  • 240 to 230 labelled A3_1(1)
  • 241 to 231 labelled A2_1(1)
  • 242 to 232 labelled A2_1(1)
  • 243 to 233 labelled A2_1(1)
  • 244 to 231 labelled A5_1(1)
  • 245 to 237 labelled A3_1(3)
  • 246 to 238 labelled A5_1(3)
  • 247 to 238 labelled A2_1(3)
  • 248 to 239 labelled A2_1(3)
  • 249 to 240 labelled A1_1(1)
  • 250 to 241 labelled A5_1(1)
  • 251 to 242 labelled A1_1(1)
  • 252 to 243 labelled A3_1(1)
  • 253 to 244 labelled A2_1(1)
  • 254 to 245 labelled A1_1(3)
  • 255 to 246 labelled A2_1(3)
  • 256 to 247 labelled A5_1(3)
  • 257 to 248 labelled A1_1(3)
  • 268 to 254 labelled A4_1(3)
  • 268 to 289 labelled A4_1(3)
  • 268 to 290 labelled A4_1(3)
  • 268 to 291 labelled A4_1(3)
  • 274 to 249 labelled A4_1(1)
  • 285 to 250 labelled A3_1(1)
  • 286 to 251 labelled A3_1(1)
  • 287 to 252 labelled A1_1(1)
  • 288 to 253 labelled A3_1(1)
  • 289 to 255 labelled A3_1(3)
  • 290 to 256 labelled A3_1(3)
  • 291 to 257 labelled A3_1(3)
  • 496 to 285 labelled A4_1(1)
  • 497 to 286 labelled A4_1(1)
  • 498 to 287 labelled A4_1(1)
  • 499 to 288 labelled A4_1(1)

(4) YES