YES Termination w.r.t. Q proof of /home/cern_httpd/provide/research/cycsrs/tpdb/TPDB-d9b80194f163/SRS_Standard/ICFP_2010/264370-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 (⇔, 300 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(4(3(x)))))) → Wait(Right5(x))
Begin(1(2(4(3(x))))) → Wait(Right6(x))
Begin(2(4(3(x)))) → Wait(Right7(x))
Begin(4(3(x))) → Wait(Right8(x))
Begin(3(x)) → Wait(Right9(x))
Begin(5(2(4(1(3(x)))))) → Wait(Right10(x))
Begin(2(4(1(3(x))))) → Wait(Right11(x))
Begin(4(1(3(x)))) → Wait(Right12(x))
Begin(1(3(x))) → Wait(Right13(x))
Begin(3(x)) → Wait(Right14(x))
Begin(5(3(1(2(4(x)))))) → Wait(Right15(x))
Begin(3(1(2(4(x))))) → Wait(Right16(x))
Begin(1(2(4(x)))) → Wait(Right17(x))
Begin(2(4(x))) → Wait(Right18(x))
Begin(4(x)) → Wait(Right19(x))
Begin(5(4(1(3(2(x)))))) → Wait(Right20(x))
Begin(4(1(3(2(x))))) → Wait(Right21(x))
Begin(1(3(2(x)))) → Wait(Right22(x))
Begin(3(2(x))) → Wait(Right23(x))
Begin(2(x)) → Wait(Right24(x))
Right1(0(End(x))) → Left(0(2(1(3(4(End(x)))))))
Right2(0(1(End(x)))) → Left(0(2(1(3(4(End(x)))))))
Right3(0(1(2(End(x))))) → Left(0(2(1(3(4(End(x)))))))
Right4(0(1(2(3(End(x)))))) → Left(0(2(1(3(4(End(x)))))))
Right5(0(End(x))) → Left(0(5(2(1(4(3(End(x))))))))
Right6(0(5(End(x)))) → Left(0(5(2(1(4(3(End(x))))))))
Right7(0(5(1(End(x))))) → Left(0(5(2(1(4(3(End(x))))))))
Right8(0(5(1(2(End(x)))))) → Left(0(5(2(1(4(3(End(x))))))))
Right9(0(5(1(2(4(End(x))))))) → Left(0(5(2(1(4(3(End(x))))))))
Right10(0(End(x))) → Left(0(1(5(2(4(3(End(x))))))))
Right11(0(5(End(x)))) → Left(0(1(5(2(4(3(End(x))))))))
Right12(0(5(2(End(x))))) → Left(0(1(5(2(4(3(End(x))))))))
Right13(0(5(2(4(End(x)))))) → Left(0(1(5(2(4(3(End(x))))))))
Right14(0(5(2(4(1(End(x))))))) → Left(0(1(5(2(4(3(End(x))))))))
Right15(0(End(x))) → Left(0(1(5(3(2(4(End(x))))))))
Right16(0(5(End(x)))) → Left(0(1(5(3(2(4(End(x))))))))
Right17(0(5(3(End(x))))) → Left(0(1(5(3(2(4(End(x))))))))
Right18(0(5(3(1(End(x)))))) → Left(0(1(5(3(2(4(End(x))))))))
Right19(0(5(3(1(2(End(x))))))) → Left(0(1(5(3(2(4(End(x))))))))
Right20(0(End(x))) → Left(0(5(4(3(1(2(End(x))))))))
Right21(0(5(End(x)))) → Left(0(5(4(3(1(2(End(x))))))))
Right22(0(5(4(End(x))))) → Left(0(5(4(3(1(2(End(x))))))))
Right23(0(5(4(1(End(x)))))) → Left(0(5(4(3(1(2(End(x))))))))
Right24(0(5(4(1(3(End(x))))))) → Left(0(5(4(3(1(2(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(1(3(4(x)))))
0(5(1(2(4(3(x)))))) → 0(5(2(1(4(3(x))))))
0(5(2(4(1(3(x)))))) → 0(1(5(2(4(3(x))))))
0(5(3(1(2(4(x)))))) → 0(1(5(3(2(4(x))))))
0(5(4(1(3(2(x)))))) → 0(5(4(3(1(2(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))
3(4(2(1(5(Begin(x)))))) → Right5(Wait(x))
3(4(2(1(Begin(x))))) → Right6(Wait(x))
3(4(2(Begin(x)))) → Right7(Wait(x))
3(4(Begin(x))) → Right8(Wait(x))
3(Begin(x)) → Right9(Wait(x))
3(1(4(2(5(Begin(x)))))) → Right10(Wait(x))
3(1(4(2(Begin(x))))) → Right11(Wait(x))
3(1(4(Begin(x)))) → Right12(Wait(x))
3(1(Begin(x))) → Right13(Wait(x))
3(Begin(x)) → Right14(Wait(x))
4(2(1(3(5(Begin(x)))))) → Right15(Wait(x))
4(2(1(3(Begin(x))))) → Right16(Wait(x))
4(2(1(Begin(x)))) → Right17(Wait(x))
4(2(Begin(x))) → Right18(Wait(x))
4(Begin(x)) → Right19(Wait(x))
2(3(1(4(5(Begin(x)))))) → Right20(Wait(x))
2(3(1(4(Begin(x))))) → Right21(Wait(x))
2(3(1(Begin(x)))) → Right22(Wait(x))
2(3(Begin(x))) → Right23(Wait(x))
2(Begin(x)) → Right24(Wait(x))
End(0(Right1(x))) → End(4(3(1(2(0(Left(x)))))))
End(1(0(Right2(x)))) → End(4(3(1(2(0(Left(x)))))))
End(2(1(0(Right3(x))))) → End(4(3(1(2(0(Left(x)))))))
End(3(2(1(0(Right4(x)))))) → End(4(3(1(2(0(Left(x)))))))
End(0(Right5(x))) → End(3(4(1(2(5(0(Left(x))))))))
End(5(0(Right6(x)))) → End(3(4(1(2(5(0(Left(x))))))))
End(1(5(0(Right7(x))))) → End(3(4(1(2(5(0(Left(x))))))))
End(2(1(5(0(Right8(x)))))) → End(3(4(1(2(5(0(Left(x))))))))
End(4(2(1(5(0(Right9(x))))))) → End(3(4(1(2(5(0(Left(x))))))))
End(0(Right10(x))) → End(3(4(2(5(1(0(Left(x))))))))
End(5(0(Right11(x)))) → End(3(4(2(5(1(0(Left(x))))))))
End(2(5(0(Right12(x))))) → End(3(4(2(5(1(0(Left(x))))))))
End(4(2(5(0(Right13(x)))))) → End(3(4(2(5(1(0(Left(x))))))))
End(1(4(2(5(0(Right14(x))))))) → End(3(4(2(5(1(0(Left(x))))))))
End(0(Right15(x))) → End(4(2(3(5(1(0(Left(x))))))))
End(5(0(Right16(x)))) → End(4(2(3(5(1(0(Left(x))))))))
End(3(5(0(Right17(x))))) → End(4(2(3(5(1(0(Left(x))))))))
End(1(3(5(0(Right18(x)))))) → End(4(2(3(5(1(0(Left(x))))))))
End(2(1(3(5(0(Right19(x))))))) → End(4(2(3(5(1(0(Left(x))))))))
End(0(Right20(x))) → End(2(1(3(4(5(0(Left(x))))))))
End(5(0(Right21(x)))) → End(2(1(3(4(5(0(Left(x))))))))
End(4(5(0(Right22(x))))) → End(2(1(3(4(5(0(Left(x))))))))
End(1(4(5(0(Right23(x)))))) → End(2(1(3(4(5(0(Left(x))))))))
End(3(1(4(5(0(Right24(x))))))) → End(2(1(3(4(5(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(3(1(2(0(x)))))
3(4(2(1(5(0(x)))))) → 3(4(1(2(5(0(x))))))
3(1(4(2(5(0(x)))))) → 3(4(2(5(1(0(x))))))
4(2(1(3(5(0(x)))))) → 4(2(3(5(1(0(x))))))
2(3(1(4(5(0(x)))))) → 2(1(3(4(5(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))
3(4(2(1(5(Begin(x)))))) → Right5(Wait(x))
3(4(2(1(Begin(x))))) → Right6(Wait(x))
3(4(2(Begin(x)))) → Right7(Wait(x))
3(4(Begin(x))) → Right8(Wait(x))
3(Begin(x)) → Right9(Wait(x))
3(1(4(2(5(Begin(x)))))) → Right10(Wait(x))
3(1(4(2(Begin(x))))) → Right11(Wait(x))
3(1(4(Begin(x)))) → Right12(Wait(x))
3(1(Begin(x))) → Right13(Wait(x))
3(Begin(x)) → Right14(Wait(x))
4(2(1(3(5(Begin(x)))))) → Right15(Wait(x))
4(2(1(3(Begin(x))))) → Right16(Wait(x))
4(2(1(Begin(x)))) → Right17(Wait(x))
4(2(Begin(x))) → Right18(Wait(x))
4(Begin(x)) → Right19(Wait(x))
2(3(1(4(5(Begin(x)))))) → Right20(Wait(x))
2(3(1(4(Begin(x))))) → Right21(Wait(x))
2(3(1(Begin(x)))) → Right22(Wait(x))
2(3(Begin(x))) → Right23(Wait(x))
2(Begin(x)) → Right24(Wait(x))
End(0(Right1(x))) → End(4(3(1(2(0(Left(x)))))))
End(1(0(Right2(x)))) → End(4(3(1(2(0(Left(x)))))))
End(2(1(0(Right3(x))))) → End(4(3(1(2(0(Left(x)))))))
End(3(2(1(0(Right4(x)))))) → End(4(3(1(2(0(Left(x)))))))
End(0(Right5(x))) → End(3(4(1(2(5(0(Left(x))))))))
End(5(0(Right6(x)))) → End(3(4(1(2(5(0(Left(x))))))))
End(1(5(0(Right7(x))))) → End(3(4(1(2(5(0(Left(x))))))))
End(2(1(5(0(Right8(x)))))) → End(3(4(1(2(5(0(Left(x))))))))
End(4(2(1(5(0(Right9(x))))))) → End(3(4(1(2(5(0(Left(x))))))))
End(0(Right10(x))) → End(3(4(2(5(1(0(Left(x))))))))
End(5(0(Right11(x)))) → End(3(4(2(5(1(0(Left(x))))))))
End(2(5(0(Right12(x))))) → End(3(4(2(5(1(0(Left(x))))))))
End(4(2(5(0(Right13(x)))))) → End(3(4(2(5(1(0(Left(x))))))))
End(1(4(2(5(0(Right14(x))))))) → End(3(4(2(5(1(0(Left(x))))))))
End(0(Right15(x))) → End(4(2(3(5(1(0(Left(x))))))))
End(5(0(Right16(x)))) → End(4(2(3(5(1(0(Left(x))))))))
End(3(5(0(Right17(x))))) → End(4(2(3(5(1(0(Left(x))))))))
End(1(3(5(0(Right18(x)))))) → End(4(2(3(5(1(0(Left(x))))))))
End(2(1(3(5(0(Right19(x))))))) → End(4(2(3(5(1(0(Left(x))))))))
End(0(Right20(x))) → End(2(1(3(4(5(0(Left(x))))))))
End(5(0(Right21(x)))) → End(2(1(3(4(5(0(Left(x))))))))
End(4(5(0(Right22(x))))) → End(2(1(3(4(5(0(Left(x))))))))
End(1(4(5(0(Right23(x)))))) → End(2(1(3(4(5(0(Left(x))))))))
End(3(1(4(5(0(Right24(x))))))) → End(2(1(3(4(5(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(3(1(2(0(x)))))
3(4(2(1(5(0(x)))))) → 3(4(1(2(5(0(x))))))
3(1(4(2(5(0(x)))))) → 3(4(2(5(1(0(x))))))
4(2(1(3(5(0(x)))))) → 4(2(3(5(1(0(x))))))
2(3(1(4(5(0(x)))))) → 2(1(3(4(5(0(x))))))

The certificate found is represented by the following graph.

The certificate consists of the following enumerated nodes:

83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 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, 142, 143, 151, 159, 184, 185, 186, 187, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 245, 246, 247, 248, 249, 250, 251, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 474, 475, 476, 477, 478, 479, 480, 481, 482, 483, 484, 485, 486, 487, 489, 491, 492, 494, 500, 501, 502, 503, 504, 505, 506, 507, 508, 509, 510, 511, 512, 513

Node 83 is start node and node 84 is final node.

Those nodes are connected through the following edges:

  • 83 to 85 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)
  • 83 to 86 labelled End_1(0)
  • 83 to 92 labelled End_1(0)
  • 83 to 99 labelled End_1(0)
  • 83 to 106 labelled End_1(0)
  • 83 to 113 labelled End_1(0)
  • 83 to 91 labelled 0_1(0), 1_1(0), 2_1(0), 3_1(0), 4_1(0), 5_1(0), 4_1(1), 2_1(1)
  • 83 to 84 labelled Begin_1(0)
  • 83 to 120 labelled 4_1(0)
  • 83 to 124 labelled 3_1(0)
  • 83 to 129 labelled 3_1(0)
  • 83 to 134 labelled 4_1(0)
  • 83 to 139 labelled 2_1(0)
  • 83 to 184 labelled Right24_1(1), Right9_1(1), Right14_1(1), Right4_1(1), Right19_1(1), Right23_1(1), Right3_1(1), Right13_1(1), Right8_1(1), Right18_1(1), Right22_1(1), Right17_1(1), Right2_1(1), Right7_1(1), Right12_1(1), Right21_1(1), Right16_1(1), Right1_1(1), Right6_1(1), Right11_1(1), Right20_1(1), Right15_1(1), Right5_1(1), Right10_1(1)
  • 83 to 83 labelled 4_1(1), 3_1(1)
  • 83 to 245 labelled Right24_1(2), Right9_1(2), Right14_1(2), Right4_1(2), Right19_1(2), Right23_1(2), Right3_1(2), Right13_1(2), Right8_1(2), Right18_1(2), Right22_1(2), Right17_1(2), Right2_1(2), Right7_1(2), Right12_1(2), Right21_1(2), Right16_1(2), Right1_1(2), Right6_1(2), Right11_1(2), Right20_1(2), Right15_1(2), Right5_1(2), Right10_1(2)
  • 83 to 189 labelled Right4_1(2), Right19_1(2), Right24_1(2), Right3_1(2), Right23_1(2), Right18_1(2), Right8_1(2), Right22_1(2), Right17_1(2), Right2_1(2), Right7_1(2), Right21_1(2), Right16_1(2), Right1_1(2), Right6_1(2), Right20_1(2), Right15_1(2), Right5_1(2)
  • 83 to 194 labelled 4_1(2)
  • 83 to 198 labelled 2_1(2)
  • 83 to 203 labelled 4_1(2)
  • 83 to 208 labelled 3_1(2)
  • 83 to 500 labelled Right24_1(3), Right9_1(3), Right14_1(3), Right4_1(3), Right19_1(3), Right23_1(3), Right3_1(3), Right13_1(3), Right8_1(3), Right18_1(3), Right22_1(3), Right17_1(3), Right2_1(3), Right7_1(3), Right12_1(3), Right21_1(3), Right16_1(3), Right1_1(3), Right6_1(3), Right11_1(3), Right20_1(3), Right15_1(3), Right5_1(3), Right10_1(3)
  • 84 to 84 labelled #_1(0)
  • 85 to 84 labelled Wait_1(0), A0_1(0), A1_1(0), A2_1(0), A3_1(0), A4_1(0), A5_1(0)
  • 86 to 87 labelled 4_1(0)
  • 86 to 501 labelled Right24_1(1), Right9_1(1), Right14_1(1), Right4_1(1), Right19_1(1), Right23_1(1), Right3_1(1), Right13_1(1), Right8_1(1), Right18_1(1), Right22_1(1), Right17_1(1), Right2_1(1), Right7_1(1), Right12_1(1), Right21_1(1), Right16_1(1), Right1_1(1), Right6_1(1), Right11_1(1), Right20_1(1), Right15_1(1), Right5_1(1), Right10_1(1)
  • 87 to 88 labelled 3_1(0)
  • 87 to 482 labelled Right24_1(1), Right9_1(1), Right14_1(1), Right4_1(1), Right19_1(1), Right23_1(1), Right3_1(1), Right13_1(1), Right8_1(1), Right18_1(1), Right22_1(1), Right17_1(1), Right2_1(1), Right7_1(1), Right12_1(1), Right21_1(1), Right16_1(1), Right1_1(1), Right6_1(1), Right11_1(1), Right20_1(1), Right15_1(1), Right5_1(1), Right10_1(1)
  • 88 to 89 labelled 1_1(0)
  • 88 to 474 labelled Right24_1(1), Right9_1(1), Right14_1(1), Right4_1(1), Right19_1(1), Right23_1(1), Right3_1(1), Right13_1(1), Right8_1(1), Right18_1(1), Right22_1(1), Right17_1(1), Right2_1(1), Right7_1(1), Right12_1(1), Right21_1(1), Right16_1(1), Right1_1(1), Right6_1(1), Right11_1(1), Right20_1(1), Right15_1(1), Right5_1(1), Right10_1(1)
  • 89 to 90 labelled 2_1(0)
  • 89 to 254 labelled Right24_1(1), Right9_1(1), Right14_1(1), Right4_1(1), Right19_1(1), Right23_1(1), Right3_1(1), Right13_1(1), Right8_1(1), Right18_1(1), Right22_1(1), Right17_1(1), Right2_1(1), Right7_1(1), Right12_1(1), Right21_1(1), Right16_1(1), Right1_1(1), Right6_1(1), Right11_1(1), Right20_1(1), Right15_1(1), Right5_1(1), Right10_1(1)
  • 90 to 91 labelled 0_1(0)
  • 90 to 184 labelled Right24_1(1), Right9_1(1), Right14_1(1), Right4_1(1), Right19_1(1), Right23_1(1), Right3_1(1), Right13_1(1), Right8_1(1), Right18_1(1), Right22_1(1), Right17_1(1), Right2_1(1), Right7_1(1), Right12_1(1), Right21_1(1), Right16_1(1), Right1_1(1), Right6_1(1), Right11_1(1), Right20_1(1), Right15_1(1), Right5_1(1), Right10_1(1)
  • 91 to 84 labelled Left_1(0), Begin_1(1)
  • 91 to 151 labelled 0_1(1), 1_1(1), 2_1(1), 3_1(1), 4_1(1), 5_1(1)
  • 91 to 189 labelled Right24_1(2), Right9_1(2), Right14_1(2), Right4_1(2), Right19_1(2), Right23_1(2), Right3_1(2), Right13_1(2), Right8_1(2), Right18_1(2), Right22_1(2), Right17_1(2), Right2_1(2), Right7_1(2), Right12_1(2), Right21_1(2), Right16_1(2), Right1_1(2), Right6_1(2), Right11_1(2), Right20_1(2), Right15_1(2), Right5_1(2), Right10_1(2)
  • 91 to 194 labelled 4_1(2)
  • 91 to 198 labelled 2_1(2)
  • 91 to 203 labelled 4_1(2)
  • 91 to 208 labelled 3_1(2)
  • 91 to 213 labelled 3_1(2)
  • 91 to 245 labelled Right24_1(2), Right9_1(2), Right14_1(2), Right4_1(2), Right19_1(2), Right23_1(2), Right3_1(2), Right13_1(2), Right8_1(2), Right18_1(2), Right22_1(2), Right17_1(2), Right2_1(2), Right7_1(2), Right12_1(2), Right21_1(2), Right16_1(2), Right1_1(2), Right6_1(2), Right11_1(2), Right20_1(2), Right15_1(2), Right5_1(2), Right10_1(2)
  • 91 to 500 labelled Right24_1(3), Right9_1(3), Right14_1(3), Right4_1(3), Right19_1(3), Right23_1(3), Right3_1(3), Right13_1(3), Right8_1(3), Right18_1(3), Right22_1(3), Right17_1(3), Right2_1(3), Right7_1(3), Right12_1(3), Right21_1(3), Right16_1(3), Right1_1(3), Right6_1(3), Right11_1(3), Right20_1(3), Right15_1(3), Right5_1(3), Right10_1(3)
  • 92 to 93 labelled 3_1(0)
  • 92 to 510 labelled Right24_1(1), Right9_1(1), Right14_1(1), Right4_1(1), Right19_1(1), Right23_1(1), Right3_1(1), Right13_1(1), Right8_1(1), Right18_1(1), Right22_1(1), Right17_1(1), Right2_1(1), Right7_1(1), Right12_1(1), Right21_1(1), Right16_1(1), Right1_1(1), Right6_1(1), Right11_1(1), Right20_1(1), Right15_1(1), Right5_1(1), Right10_1(1)
  • 93 to 94 labelled 4_1(0)
  • 93 to 502 labelled Right24_1(1), Right9_1(1), Right14_1(1), Right4_1(1), Right19_1(1), Right23_1(1), Right3_1(1), Right13_1(1), Right8_1(1), Right18_1(1), Right22_1(1), Right17_1(1), Right2_1(1), Right7_1(1), Right12_1(1), Right21_1(1), Right16_1(1), Right1_1(1), Right6_1(1), Right11_1(1), Right20_1(1), Right15_1(1), Right5_1(1), Right10_1(1)
  • 94 to 95 labelled 1_1(0)
  • 94 to 483 labelled Right24_1(1), Right9_1(1), Right14_1(1), Right4_1(1), Right19_1(1), Right23_1(1), Right3_1(1), Right13_1(1), Right8_1(1), Right18_1(1), Right22_1(1), Right17_1(1), Right2_1(1), Right7_1(1), Right12_1(1), Right21_1(1), Right16_1(1), Right1_1(1), Right6_1(1), Right11_1(1), Right20_1(1), Right15_1(1), Right5_1(1), Right10_1(1)
  • 95 to 96 labelled 2_1(0)
  • 95 to 475 labelled Right24_1(1), Right9_1(1), Right14_1(1), Right4_1(1), Right19_1(1), Right23_1(1), Right3_1(1), Right13_1(1), Right8_1(1), Right18_1(1), Right22_1(1), Right17_1(1), Right2_1(1), Right7_1(1), Right12_1(1), Right21_1(1), Right16_1(1), Right1_1(1), Right6_1(1), Right11_1(1), Right20_1(1), Right15_1(1), Right5_1(1), Right10_1(1)
  • 96 to 97 labelled 5_1(0)
  • 96 to 255 labelled Right24_1(1), Right9_1(1), Right14_1(1), Right4_1(1), Right19_1(1), Right23_1(1), Right3_1(1), Right13_1(1), Right8_1(1), Right18_1(1), Right22_1(1), Right17_1(1), Right2_1(1), Right7_1(1), Right12_1(1), Right21_1(1), Right16_1(1), Right1_1(1), Right6_1(1), Right11_1(1), Right20_1(1), Right15_1(1), Right5_1(1), Right10_1(1)
  • 97 to 98 labelled 0_1(0)
  • 97 to 184 labelled Right24_1(1), Right9_1(1), Right14_1(1), Right4_1(1), Right19_1(1), Right23_1(1), Right3_1(1), Right13_1(1), Right8_1(1), Right18_1(1), Right22_1(1), Right17_1(1), Right2_1(1), Right7_1(1), Right12_1(1), Right21_1(1), Right16_1(1), Right1_1(1), Right6_1(1), Right11_1(1), Right20_1(1), Right15_1(1), Right5_1(1), Right10_1(1)
  • 98 to 84 labelled Left_1(0), Begin_1(1)
  • 98 to 151 labelled 0_1(1), 1_1(1), 2_1(1), 3_1(1), 4_1(1), 5_1(1)
  • 98 to 189 labelled Right24_1(2), Right9_1(2), Right14_1(2), Right4_1(2), Right19_1(2), Right23_1(2), Right3_1(2), Right13_1(2), Right8_1(2), Right18_1(2), Right22_1(2), Right17_1(2), Right2_1(2), Right7_1(2), Right12_1(2), Right21_1(2), Right16_1(2), Right1_1(2), Right6_1(2), Right11_1(2), Right20_1(2), Right15_1(2), Right5_1(2), Right10_1(2)
  • 98 to 194 labelled 4_1(2)
  • 98 to 198 labelled 2_1(2)
  • 98 to 203 labelled 4_1(2)
  • 98 to 208 labelled 3_1(2)
  • 98 to 213 labelled 3_1(2)
  • 98 to 245 labelled Right24_1(2), Right9_1(2), Right14_1(2), Right4_1(2), Right19_1(2), Right23_1(2), Right3_1(2), Right13_1(2), Right8_1(2), Right18_1(2), Right22_1(2), Right17_1(2), Right2_1(2), Right7_1(2), Right12_1(2), Right21_1(2), Right16_1(2), Right1_1(2), Right6_1(2), Right11_1(2), Right20_1(2), Right15_1(2), Right5_1(2), Right10_1(2)
  • 98 to 500 labelled Right24_1(3), Right9_1(3), Right14_1(3), Right4_1(3), Right19_1(3), Right23_1(3), Right3_1(3), Right13_1(3), Right8_1(3), Right18_1(3), Right22_1(3), Right17_1(3), Right2_1(3), Right7_1(3), Right12_1(3), Right21_1(3), Right16_1(3), Right1_1(3), Right6_1(3), Right11_1(3), Right20_1(3), Right15_1(3), Right5_1(3), Right10_1(3)
  • 99 to 100 labelled 3_1(0)
  • 99 to 511 labelled Right24_1(1), Right9_1(1), Right14_1(1), Right4_1(1), Right19_1(1), Right23_1(1), Right3_1(1), Right13_1(1), Right8_1(1), Right18_1(1), Right22_1(1), Right17_1(1), Right2_1(1), Right7_1(1), Right12_1(1), Right21_1(1), Right16_1(1), Right1_1(1), Right6_1(1), Right11_1(1), Right20_1(1), Right15_1(1), Right5_1(1), Right10_1(1)
  • 100 to 101 labelled 4_1(0)
  • 100 to 503 labelled Right24_1(1), Right9_1(1), Right14_1(1), Right4_1(1), Right19_1(1), Right23_1(1), Right3_1(1), Right13_1(1), Right8_1(1), Right18_1(1), Right22_1(1), Right17_1(1), Right2_1(1), Right7_1(1), Right12_1(1), Right21_1(1), Right16_1(1), Right1_1(1), Right6_1(1), Right11_1(1), Right20_1(1), Right15_1(1), Right5_1(1), Right10_1(1)
  • 101 to 102 labelled 2_1(0)
  • 101 to 484 labelled Right24_1(1), Right9_1(1), Right14_1(1), Right4_1(1), Right19_1(1), Right23_1(1), Right3_1(1), Right13_1(1), Right8_1(1), Right18_1(1), Right22_1(1), Right17_1(1), Right2_1(1), Right7_1(1), Right12_1(1), Right21_1(1), Right16_1(1), Right1_1(1), Right6_1(1), Right11_1(1), Right20_1(1), Right15_1(1), Right5_1(1), Right10_1(1)
  • 102 to 103 labelled 5_1(0)
  • 102 to 476 labelled Right24_1(1), Right9_1(1), Right14_1(1), Right4_1(1), Right19_1(1), Right23_1(1), Right3_1(1), Right13_1(1), Right8_1(1), Right18_1(1), Right22_1(1), Right17_1(1), Right2_1(1), Right7_1(1), Right12_1(1), Right21_1(1), Right16_1(1), Right1_1(1), Right6_1(1), Right11_1(1), Right20_1(1), Right15_1(1), Right5_1(1), Right10_1(1)
  • 103 to 104 labelled 1_1(0)
  • 103 to 256 labelled Right24_1(1), Right9_1(1), Right14_1(1), Right4_1(1), Right19_1(1), Right23_1(1), Right3_1(1), Right13_1(1), Right8_1(1), Right18_1(1), Right22_1(1), Right17_1(1), Right2_1(1), Right7_1(1), Right12_1(1), Right21_1(1), Right16_1(1), Right1_1(1), Right6_1(1), Right11_1(1), Right20_1(1), Right15_1(1), Right5_1(1), Right10_1(1)
  • 104 to 105 labelled 0_1(0)
  • 104 to 184 labelled Right24_1(1), Right9_1(1), Right14_1(1), Right4_1(1), Right19_1(1), Right23_1(1), Right3_1(1), Right13_1(1), Right8_1(1), Right18_1(1), Right22_1(1), Right17_1(1), Right2_1(1), Right7_1(1), Right12_1(1), Right21_1(1), Right16_1(1), Right1_1(1), Right6_1(1), Right11_1(1), Right20_1(1), Right15_1(1), Right5_1(1), Right10_1(1)
  • 105 to 84 labelled Left_1(0), Begin_1(1)
  • 105 to 151 labelled 0_1(1), 1_1(1), 2_1(1), 3_1(1), 4_1(1), 5_1(1)
  • 105 to 189 labelled Right24_1(2), Right9_1(2), Right14_1(2), Right4_1(2), Right19_1(2), Right23_1(2), Right3_1(2), Right13_1(2), Right8_1(2), Right18_1(2), Right22_1(2), Right17_1(2), Right2_1(2), Right7_1(2), Right12_1(2), Right21_1(2), Right16_1(2), Right1_1(2), Right6_1(2), Right11_1(2), Right20_1(2), Right15_1(2), Right5_1(2), Right10_1(2)
  • 105 to 194 labelled 4_1(2)
  • 105 to 198 labelled 2_1(2)
  • 105 to 203 labelled 4_1(2)
  • 105 to 208 labelled 3_1(2)
  • 105 to 213 labelled 3_1(2)
  • 105 to 245 labelled Right24_1(2), Right9_1(2), Right14_1(2), Right4_1(2), Right19_1(2), Right23_1(2), Right3_1(2), Right13_1(2), Right8_1(2), Right18_1(2), Right22_1(2), Right17_1(2), Right2_1(2), Right7_1(2), Right12_1(2), Right21_1(2), Right16_1(2), Right1_1(2), Right6_1(2), Right11_1(2), Right20_1(2), Right15_1(2), Right5_1(2), Right10_1(2)
  • 105 to 500 labelled Right24_1(3), Right9_1(3), Right14_1(3), Right4_1(3), Right19_1(3), Right23_1(3), Right3_1(3), Right13_1(3), Right8_1(3), Right18_1(3), Right22_1(3), Right17_1(3), Right2_1(3), Right7_1(3), Right12_1(3), Right21_1(3), Right16_1(3), Right1_1(3), Right6_1(3), Right11_1(3), Right20_1(3), Right15_1(3), Right5_1(3), Right10_1(3)
  • 106 to 107 labelled 4_1(0)
  • 106 to 512 labelled Right24_1(1), Right9_1(1), Right14_1(1), Right4_1(1), Right19_1(1), Right23_1(1), Right3_1(1), Right13_1(1), Right8_1(1), Right18_1(1), Right22_1(1), Right17_1(1), Right2_1(1), Right7_1(1), Right12_1(1), Right21_1(1), Right16_1(1), Right1_1(1), Right6_1(1), Right11_1(1), Right20_1(1), Right15_1(1), Right5_1(1), Right10_1(1)
  • 107 to 108 labelled 2_1(0)
  • 107 to 504 labelled Right24_1(1), Right9_1(1), Right14_1(1), Right4_1(1), Right19_1(1), Right23_1(1), Right3_1(1), Right13_1(1), Right8_1(1), Right18_1(1), Right22_1(1), Right17_1(1), Right2_1(1), Right7_1(1), Right12_1(1), Right21_1(1), Right16_1(1), Right1_1(1), Right6_1(1), Right11_1(1), Right20_1(1), Right15_1(1), Right5_1(1), Right10_1(1)
  • 108 to 109 labelled 3_1(0)
  • 108 to 485 labelled Right24_1(1), Right9_1(1), Right14_1(1), Right4_1(1), Right19_1(1), Right23_1(1), Right3_1(1), Right13_1(1), Right8_1(1), Right18_1(1), Right22_1(1), Right17_1(1), Right2_1(1), Right7_1(1), Right12_1(1), Right21_1(1), Right16_1(1), Right1_1(1), Right6_1(1), Right11_1(1), Right20_1(1), Right15_1(1), Right5_1(1), Right10_1(1)
  • 109 to 110 labelled 5_1(0)
  • 109 to 476 labelled Right24_1(1), Right9_1(1), Right14_1(1), Right4_1(1), Right19_1(1), Right23_1(1), Right3_1(1), Right13_1(1), Right8_1(1), Right18_1(1), Right22_1(1), Right17_1(1), Right2_1(1), Right7_1(1), Right12_1(1), Right21_1(1), Right16_1(1), Right1_1(1), Right6_1(1), Right11_1(1), Right20_1(1), Right15_1(1), Right5_1(1), Right10_1(1)
  • 110 to 111 labelled 1_1(0)
  • 110 to 256 labelled Right24_1(1), Right9_1(1), Right14_1(1), Right4_1(1), Right19_1(1), Right23_1(1), Right3_1(1), Right13_1(1), Right8_1(1), Right18_1(1), Right22_1(1), Right17_1(1), Right2_1(1), Right7_1(1), Right12_1(1), Right21_1(1), Right16_1(1), Right1_1(1), Right6_1(1), Right11_1(1), Right20_1(1), Right15_1(1), Right5_1(1), Right10_1(1)
  • 111 to 112 labelled 0_1(0)
  • 111 to 184 labelled Right24_1(1), Right9_1(1), Right14_1(1), Right4_1(1), Right19_1(1), Right23_1(1), Right3_1(1), Right13_1(1), Right8_1(1), Right18_1(1), Right22_1(1), Right17_1(1), Right2_1(1), Right7_1(1), Right12_1(1), Right21_1(1), Right16_1(1), Right1_1(1), Right6_1(1), Right11_1(1), Right20_1(1), Right15_1(1), Right5_1(1), Right10_1(1)
  • 112 to 84 labelled Left_1(0), Begin_1(1)
  • 112 to 151 labelled 0_1(1), 1_1(1), 2_1(1), 3_1(1), 4_1(1), 5_1(1)
  • 112 to 189 labelled Right24_1(2), Right9_1(2), Right14_1(2), Right4_1(2), Right19_1(2), Right23_1(2), Right3_1(2), Right13_1(2), Right8_1(2), Right18_1(2), Right22_1(2), Right17_1(2), Right2_1(2), Right7_1(2), Right12_1(2), Right21_1(2), Right16_1(2), Right1_1(2), Right6_1(2), Right11_1(2), Right20_1(2), Right15_1(2), Right5_1(2), Right10_1(2)
  • 112 to 194 labelled 4_1(2)
  • 112 to 198 labelled 2_1(2)
  • 112 to 203 labelled 4_1(2)
  • 112 to 208 labelled 3_1(2)
  • 112 to 213 labelled 3_1(2)
  • 112 to 245 labelled Right24_1(2), Right9_1(2), Right14_1(2), Right4_1(2), Right19_1(2), Right23_1(2), Right3_1(2), Right13_1(2), Right8_1(2), Right18_1(2), Right22_1(2), Right17_1(2), Right2_1(2), Right7_1(2), Right12_1(2), Right21_1(2), Right16_1(2), Right1_1(2), Right6_1(2), Right11_1(2), Right20_1(2), Right15_1(2), Right5_1(2), Right10_1(2)
  • 112 to 500 labelled Right24_1(3), Right9_1(3), Right14_1(3), Right4_1(3), Right19_1(3), Right23_1(3), Right3_1(3), Right13_1(3), Right8_1(3), Right18_1(3), Right22_1(3), Right17_1(3), Right2_1(3), Right7_1(3), Right12_1(3), Right21_1(3), Right16_1(3), Right1_1(3), Right6_1(3), Right11_1(3), Right20_1(3), Right15_1(3), Right5_1(3), Right10_1(3)
  • 113 to 114 labelled 2_1(0)
  • 113 to 513 labelled Right24_1(1), Right9_1(1), Right14_1(1), Right4_1(1), Right19_1(1), Right23_1(1), Right3_1(1), Right13_1(1), Right8_1(1), Right18_1(1), Right22_1(1), Right17_1(1), Right2_1(1), Right7_1(1), Right12_1(1), Right21_1(1), Right16_1(1), Right1_1(1), Right6_1(1), Right11_1(1), Right20_1(1), Right15_1(1), Right5_1(1), Right10_1(1)
  • 114 to 115 labelled 1_1(0)
  • 114 to 505 labelled Right24_1(1), Right9_1(1), Right14_1(1), Right4_1(1), Right19_1(1), Right23_1(1), Right3_1(1), Right13_1(1), Right8_1(1), Right18_1(1), Right22_1(1), Right17_1(1), Right2_1(1), Right7_1(1), Right12_1(1), Right21_1(1), Right16_1(1), Right1_1(1), Right6_1(1), Right11_1(1), Right20_1(1), Right15_1(1), Right5_1(1), Right10_1(1)
  • 115 to 116 labelled 3_1(0)
  • 115 to 486 labelled Right24_1(1), Right9_1(1), Right14_1(1), Right4_1(1), Right19_1(1), Right23_1(1), Right3_1(1), Right13_1(1), Right8_1(1), Right18_1(1), Right22_1(1), Right17_1(1), Right2_1(1), Right7_1(1), Right12_1(1), Right21_1(1), Right16_1(1), Right1_1(1), Right6_1(1), Right11_1(1), Right20_1(1), Right15_1(1), Right5_1(1), Right10_1(1)
  • 116 to 117 labelled 4_1(0)
  • 116 to 477 labelled Right24_1(1), Right9_1(1), Right14_1(1), Right4_1(1), Right19_1(1), Right23_1(1), Right3_1(1), Right13_1(1), Right8_1(1), Right18_1(1), Right22_1(1), Right17_1(1), Right2_1(1), Right7_1(1), Right12_1(1), Right21_1(1), Right16_1(1), Right1_1(1), Right6_1(1), Right11_1(1), Right20_1(1), Right15_1(1), Right5_1(1), Right10_1(1)
  • 117 to 118 labelled 5_1(0)
  • 117 to 255 labelled Right24_1(1), Right9_1(1), Right14_1(1), Right4_1(1), Right19_1(1), Right23_1(1), Right3_1(1), Right13_1(1), Right8_1(1), Right18_1(1), Right22_1(1), Right17_1(1), Right2_1(1), Right7_1(1), Right12_1(1), Right21_1(1), Right16_1(1), Right1_1(1), Right6_1(1), Right11_1(1), Right20_1(1), Right15_1(1), Right5_1(1), Right10_1(1)
  • 118 to 119 labelled 0_1(0)
  • 118 to 184 labelled Right24_1(1), Right9_1(1), Right14_1(1), Right4_1(1), Right19_1(1), Right23_1(1), Right3_1(1), Right13_1(1), Right8_1(1), Right18_1(1), Right22_1(1), Right17_1(1), Right2_1(1), Right7_1(1), Right12_1(1), Right21_1(1), Right16_1(1), Right1_1(1), Right6_1(1), Right11_1(1), Right20_1(1), Right15_1(1), Right5_1(1), Right10_1(1)
  • 119 to 84 labelled Left_1(0), Begin_1(1)
  • 119 to 151 labelled 0_1(1), 1_1(1), 2_1(1), 3_1(1), 4_1(1), 5_1(1)
  • 119 to 189 labelled Right24_1(2), Right9_1(2), Right14_1(2), Right4_1(2), Right19_1(2), Right23_1(2), Right3_1(2), Right13_1(2), Right8_1(2), Right18_1(2), Right22_1(2), Right17_1(2), Right2_1(2), Right7_1(2), Right12_1(2), Right21_1(2), Right16_1(2), Right1_1(2), Right6_1(2), Right11_1(2), Right20_1(2), Right15_1(2), Right5_1(2), Right10_1(2)
  • 119 to 194 labelled 4_1(2)
  • 119 to 198 labelled 2_1(2)
  • 119 to 203 labelled 4_1(2)
  • 119 to 208 labelled 3_1(2)
  • 119 to 213 labelled 3_1(2)
  • 119 to 245 labelled Right24_1(2), Right9_1(2), Right14_1(2), Right4_1(2), Right19_1(2), Right23_1(2), Right3_1(2), Right13_1(2), Right8_1(2), Right18_1(2), Right22_1(2), Right17_1(2), Right2_1(2), Right7_1(2), Right12_1(2), Right21_1(2), Right16_1(2), Right1_1(2), Right6_1(2), Right11_1(2), Right20_1(2), Right15_1(2), Right5_1(2), Right10_1(2)
  • 119 to 500 labelled Right24_1(3), Right9_1(3), Right14_1(3), Right4_1(3), Right19_1(3), Right23_1(3), Right3_1(3), Right13_1(3), Right8_1(3), Right18_1(3), Right22_1(3), Right17_1(3), Right2_1(3), Right7_1(3), Right12_1(3), Right21_1(3), Right16_1(3), Right1_1(3), Right6_1(3), Right11_1(3), Right20_1(3), Right15_1(3), Right5_1(3), Right10_1(3)
  • 120 to 121 labelled 3_1(0)
  • 120 to 247 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)
  • 121 to 122 labelled 1_1(0)
  • 121 to 190 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)
  • 122 to 123 labelled 2_1(0)
  • 122 to 185 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)
  • 123 to 84 labelled 0_1(0)
  • 123 to 159 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)
  • 124 to 125 labelled 4_1(0)
  • 124 to 257 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)
  • 125 to 126 labelled 1_1(0)
  • 125 to 248 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)
  • 126 to 127 labelled 2_1(0)
  • 126 to 191 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)
  • 127 to 128 labelled 5_1(0)
  • 127 to 186 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)
  • 128 to 84 labelled 0_1(0)
  • 128 to 159 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)
  • 129 to 130 labelled 4_1(0)
  • 129 to 258 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)
  • 130 to 131 labelled 2_1(0)
  • 130 to 249 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)
  • 131 to 132 labelled 5_1(0)
  • 131 to 192 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)
  • 132 to 133 labelled 1_1(0)
  • 132 to 187 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)
  • 133 to 84 labelled 0_1(0)
  • 133 to 159 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)
  • 134 to 135 labelled 2_1(0)
  • 134 to 259 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)
  • 135 to 136 labelled 3_1(0)
  • 135 to 250 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)
  • 136 to 137 labelled 5_1(0)
  • 136 to 192 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)
  • 137 to 138 labelled 1_1(0)
  • 137 to 187 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)
  • 138 to 84 labelled 0_1(0)
  • 138 to 159 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)
  • 139 to 140 labelled 1_1(0)
  • 139 to 260 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)
  • 140 to 141 labelled 3_1(0)
  • 140 to 251 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)
  • 141 to 142 labelled 4_1(0)
  • 141 to 193 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)
  • 142 to 143 labelled 5_1(0)
  • 142 to 186 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)
  • 143 to 84 labelled 0_1(0)
  • 143 to 159 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 84 labelled Left_1(1), Begin_1(1)
  • 151 to 151 labelled 0_1(1), 1_1(1), 2_1(1), 3_1(1), 4_1(1), 5_1(1)
  • 151 to 189 labelled Right24_1(2), Right9_1(2), Right14_1(2), Right4_1(2), Right19_1(2), Right23_1(2), Right3_1(2), Right13_1(2), Right8_1(2), Right18_1(2), Right22_1(2), Right17_1(2), Right2_1(2), Right7_1(2), Right12_1(2), Right21_1(2), Right16_1(2), Right1_1(2), Right6_1(2), Right11_1(2), Right20_1(2), Right15_1(2), Right5_1(2), Right10_1(2)
  • 151 to 194 labelled 4_1(2)
  • 151 to 198 labelled 2_1(2)
  • 151 to 203 labelled 4_1(2)
  • 151 to 208 labelled 3_1(2)
  • 151 to 213 labelled 3_1(2)
  • 151 to 245 labelled Right24_1(2), Right9_1(2), Right14_1(2), Right4_1(2), Right19_1(2), Right23_1(2), Right3_1(2), Right13_1(2), Right8_1(2), Right18_1(2), Right22_1(2), Right17_1(2), Right2_1(2), Right7_1(2), Right12_1(2), Right21_1(2), Right16_1(2), Right1_1(2), Right6_1(2), Right11_1(2), Right20_1(2), Right15_1(2), Right5_1(2), Right10_1(2)
  • 151 to 500 labelled Right24_1(3), Right9_1(3), Right14_1(3), Right4_1(3), Right19_1(3), Right23_1(3), Right3_1(3), Right13_1(3), Right8_1(3), Right18_1(3), Right22_1(3), Right17_1(3), Right2_1(3), Right7_1(3), Right12_1(3), Right21_1(3), Right16_1(3), Right1_1(3), Right6_1(3), Right11_1(3), Right20_1(3), Right15_1(3), Right5_1(3), Right10_1(3)
  • 159 to 84 labelled A0_1(1)
  • 184 to 84 labelled Wait_1(1)
  • 184 to 189 labelled A0_1(1), A1_1(1), A2_1(1), A3_1(1), A4_1(1), A5_1(1)
  • 184 to 85 labelled A4_1(1), A3_1(1)
  • 184 to 245 labelled A0_1(1), A1_1(1), A2_1(1), A3_1(1), A4_1(1), A5_1(1)
  • 184 to 247 labelled A4_1(1)
  • 184 to 257 labelled A3_1(1)
  • 184 to 258 labelled A3_1(1)
  • 184 to 259 labelled A4_1(1)
  • 184 to 260 labelled A2_1(1)
  • 184 to 500 labelled A0_1(1), A1_1(1), A2_1(1), A3_1(1), A4_1(1), A5_1(1)
  • 185 to 159 labelled A2_1(1)
  • 186 to 159 labelled A5_1(1)
  • 187 to 159 labelled A1_1(1)
  • 189 to 84 labelled Wait_1(2)
  • 189 to 189 labelled A0_1(2), A1_1(2), A3_1(2), A5_1(2)
  • 189 to 245 labelled A0_1(2), A1_1(2), A5_1(2)
  • 189 to 500 labelled A0_1(2), A1_1(2), A5_1(2)
  • 190 to 185 labelled A1_1(1)
  • 191 to 186 labelled A2_1(1)
  • 192 to 187 labelled A5_1(1)
  • 193 to 186 labelled A4_1(1)
  • 194 to 195 labelled 3_1(2)
  • 194 to 487 labelled Right24_1(3), Right9_1(3), Right14_1(3), Right4_1(3), Right19_1(3), Right23_1(3), Right3_1(3), Right13_1(3), Right8_1(3), Right18_1(3), Right22_1(3), Right17_1(3), Right2_1(3), Right7_1(3), Right12_1(3), Right21_1(3), Right16_1(3), Right1_1(3), Right6_1(3), Right11_1(3), Right20_1(3), Right15_1(3), Right5_1(3), Right10_1(3)
  • 195 to 196 labelled 1_1(2)
  • 195 to 478 labelled Right24_1(3), Right9_1(3), Right14_1(3), Right4_1(3), Right19_1(3), Right23_1(3), Right3_1(3), Right13_1(3), Right8_1(3), Right18_1(3), Right22_1(3), Right17_1(3), Right2_1(3), Right7_1(3), Right12_1(3), Right21_1(3), Right16_1(3), Right1_1(3), Right6_1(3), Right11_1(3), Right20_1(3), Right15_1(3), Right5_1(3), Right10_1(3)
  • 196 to 197 labelled 2_1(2)
  • 196 to 261 labelled Right24_1(3), Right9_1(3), Right14_1(3), Right4_1(3), Right19_1(3), Right23_1(3), Right3_1(3), Right13_1(3), Right8_1(3), Right18_1(3), Right22_1(3), Right17_1(3), Right2_1(3), Right7_1(3), Right12_1(3), Right21_1(3), Right16_1(3), Right1_1(3), Right6_1(3), Right11_1(3), Right20_1(3), Right15_1(3), Right5_1(3), Right10_1(3)
  • 197 to 151 labelled 0_1(2)
  • 197 to 246 labelled Right24_1(3), Right9_1(3), Right14_1(3), Right4_1(3), Right19_1(3), Right23_1(3), Right3_1(3), Right13_1(3), Right8_1(3), Right18_1(3), Right22_1(3), Right17_1(3), Right2_1(3), Right7_1(3), Right12_1(3), Right21_1(3), Right16_1(3), Right1_1(3), Right6_1(3), Right11_1(3), Right20_1(3), Right15_1(3), Right5_1(3), Right10_1(3)
  • 198 to 199 labelled 1_1(2)
  • 198 to 506 labelled Right24_1(3), Right9_1(3), Right14_1(3), Right4_1(3), Right19_1(3), Right23_1(3), Right3_1(3), Right13_1(3), Right8_1(3), Right18_1(3), Right22_1(3), Right17_1(3), Right2_1(3), Right7_1(3), Right12_1(3), Right21_1(3), Right16_1(3), Right1_1(3), Right6_1(3), Right11_1(3), Right20_1(3), Right15_1(3), Right5_1(3), Right10_1(3)
  • 199 to 200 labelled 3_1(2)
  • 199 to 489 labelled Right24_1(3), Right9_1(3), Right14_1(3), Right4_1(3), Right19_1(3), Right23_1(3), Right3_1(3), Right13_1(3), Right8_1(3), Right18_1(3), Right22_1(3), Right17_1(3), Right2_1(3), Right7_1(3), Right12_1(3), Right21_1(3), Right16_1(3), Right1_1(3), Right6_1(3), Right11_1(3), Right20_1(3), Right15_1(3), Right5_1(3), Right10_1(3)
  • 200 to 201 labelled 4_1(2)
  • 200 to 479 labelled Right24_1(3), Right9_1(3), Right14_1(3), Right4_1(3), Right19_1(3), Right23_1(3), Right3_1(3), Right13_1(3), Right8_1(3), Right18_1(3), Right22_1(3), Right17_1(3), Right2_1(3), Right7_1(3), Right12_1(3), Right21_1(3), Right16_1(3), Right1_1(3), Right6_1(3), Right11_1(3), Right20_1(3), Right15_1(3), Right5_1(3), Right10_1(3)
  • 201 to 202 labelled 5_1(2)
  • 201 to 262 labelled Right24_1(3), Right9_1(3), Right14_1(3), Right4_1(3), Right19_1(3), Right23_1(3), Right3_1(3), Right13_1(3), Right8_1(3), Right18_1(3), Right22_1(3), Right17_1(3), Right2_1(3), Right7_1(3), Right12_1(3), Right21_1(3), Right16_1(3), Right1_1(3), Right6_1(3), Right11_1(3), Right20_1(3), Right15_1(3), Right5_1(3), Right10_1(3)
  • 202 to 151 labelled 0_1(2)
  • 202 to 246 labelled Right24_1(3), Right9_1(3), Right14_1(3), Right4_1(3), Right19_1(3), Right23_1(3), Right3_1(3), Right13_1(3), Right8_1(3), Right18_1(3), Right22_1(3), Right17_1(3), Right2_1(3), Right7_1(3), Right12_1(3), Right21_1(3), Right16_1(3), Right1_1(3), Right6_1(3), Right11_1(3), Right20_1(3), Right15_1(3), Right5_1(3), Right10_1(3)
  • 203 to 204 labelled 2_1(2)
  • 203 to 507 labelled Right24_1(3), Right9_1(3), Right14_1(3), Right4_1(3), Right19_1(3), Right23_1(3), Right3_1(3), Right13_1(3), Right8_1(3), Right18_1(3), Right22_1(3), Right17_1(3), Right2_1(3), Right7_1(3), Right12_1(3), Right21_1(3), Right16_1(3), Right1_1(3), Right6_1(3), Right11_1(3), Right20_1(3), Right15_1(3), Right5_1(3), Right10_1(3)
  • 204 to 205 labelled 3_1(2)
  • 204 to 491 labelled Right24_1(3), Right9_1(3), Right14_1(3), Right4_1(3), Right19_1(3), Right23_1(3), Right3_1(3), Right13_1(3), Right8_1(3), Right18_1(3), Right22_1(3), Right17_1(3), Right2_1(3), Right7_1(3), Right12_1(3), Right21_1(3), Right16_1(3), Right1_1(3), Right6_1(3), Right11_1(3), Right20_1(3), Right15_1(3), Right5_1(3), Right10_1(3)
  • 205 to 206 labelled 5_1(2)
  • 205 to 480 labelled Right24_1(3), Right9_1(3), Right14_1(3), Right4_1(3), Right19_1(3), Right23_1(3), Right3_1(3), Right13_1(3), Right8_1(3), Right18_1(3), Right22_1(3), Right17_1(3), Right2_1(3), Right7_1(3), Right12_1(3), Right21_1(3), Right16_1(3), Right1_1(3), Right6_1(3), Right11_1(3), Right20_1(3), Right15_1(3), Right5_1(3), Right10_1(3)
  • 206 to 207 labelled 1_1(2)
  • 206 to 263 labelled Right24_1(3), Right9_1(3), Right14_1(3), Right4_1(3), Right19_1(3), Right23_1(3), Right3_1(3), Right13_1(3), Right8_1(3), Right18_1(3), Right22_1(3), Right17_1(3), Right2_1(3), Right7_1(3), Right12_1(3), Right21_1(3), Right16_1(3), Right1_1(3), Right6_1(3), Right11_1(3), Right20_1(3), Right15_1(3), Right5_1(3), Right10_1(3)
  • 207 to 151 labelled 0_1(2)
  • 207 to 246 labelled Right24_1(3), Right9_1(3), Right14_1(3), Right4_1(3), Right19_1(3), Right23_1(3), Right3_1(3), Right13_1(3), Right8_1(3), Right18_1(3), Right22_1(3), Right17_1(3), Right2_1(3), Right7_1(3), Right12_1(3), Right21_1(3), Right16_1(3), Right1_1(3), Right6_1(3), Right11_1(3), Right20_1(3), Right15_1(3), Right5_1(3), Right10_1(3)
  • 208 to 209 labelled 4_1(2)
  • 208 to 508 labelled Right24_1(3), Right9_1(3), Right14_1(3), Right4_1(3), Right19_1(3), Right23_1(3), Right3_1(3), Right13_1(3), Right8_1(3), Right18_1(3), Right22_1(3), Right17_1(3), Right2_1(3), Right7_1(3), Right12_1(3), Right21_1(3), Right16_1(3), Right1_1(3), Right6_1(3), Right11_1(3), Right20_1(3), Right15_1(3), Right5_1(3), Right10_1(3)
  • 209 to 210 labelled 1_1(2)
  • 209 to 492 labelled Right24_1(3), Right9_1(3), Right14_1(3), Right4_1(3), Right19_1(3), Right23_1(3), Right3_1(3), Right13_1(3), Right8_1(3), Right18_1(3), Right22_1(3), Right17_1(3), Right2_1(3), Right7_1(3), Right12_1(3), Right21_1(3), Right16_1(3), Right1_1(3), Right6_1(3), Right11_1(3), Right20_1(3), Right15_1(3), Right5_1(3), Right10_1(3)
  • 210 to 211 labelled 2_1(2)
  • 210 to 481 labelled Right24_1(3), Right9_1(3), Right14_1(3), Right4_1(3), Right19_1(3), Right23_1(3), Right3_1(3), Right13_1(3), Right8_1(3), Right18_1(3), Right22_1(3), Right17_1(3), Right2_1(3), Right7_1(3), Right12_1(3), Right21_1(3), Right16_1(3), Right1_1(3), Right6_1(3), Right11_1(3), Right20_1(3), Right15_1(3), Right5_1(3), Right10_1(3)
  • 211 to 212 labelled 5_1(2)
  • 211 to 262 labelled Right24_1(3), Right9_1(3), Right14_1(3), Right4_1(3), Right19_1(3), Right23_1(3), Right3_1(3), Right13_1(3), Right8_1(3), Right18_1(3), Right22_1(3), Right17_1(3), Right2_1(3), Right7_1(3), Right12_1(3), Right21_1(3), Right16_1(3), Right1_1(3), Right6_1(3), Right11_1(3), Right20_1(3), Right15_1(3), Right5_1(3), Right10_1(3)
  • 212 to 151 labelled 0_1(2)
  • 212 to 246 labelled Right24_1(3), Right9_1(3), Right14_1(3), Right4_1(3), Right19_1(3), Right23_1(3), Right3_1(3), Right13_1(3), Right8_1(3), Right18_1(3), Right22_1(3), Right17_1(3), Right2_1(3), Right7_1(3), Right12_1(3), Right21_1(3), Right16_1(3), Right1_1(3), Right6_1(3), Right11_1(3), Right20_1(3), Right15_1(3), Right5_1(3), Right10_1(3)
  • 213 to 214 labelled 4_1(2)
  • 213 to 509 labelled Right24_1(3), Right9_1(3), Right14_1(3), Right4_1(3), Right19_1(3), Right23_1(3), Right3_1(3), Right13_1(3), Right8_1(3), Right18_1(3), Right22_1(3), Right17_1(3), Right2_1(3), Right7_1(3), Right12_1(3), Right21_1(3), Right16_1(3), Right1_1(3), Right6_1(3), Right11_1(3), Right20_1(3), Right15_1(3), Right5_1(3), Right10_1(3)
  • 214 to 215 labelled 2_1(2)
  • 214 to 494 labelled Right24_1(3), Right9_1(3), Right14_1(3), Right4_1(3), Right19_1(3), Right23_1(3), Right3_1(3), Right13_1(3), Right8_1(3), Right18_1(3), Right22_1(3), Right17_1(3), Right2_1(3), Right7_1(3), Right12_1(3), Right21_1(3), Right16_1(3), Right1_1(3), Right6_1(3), Right11_1(3), Right20_1(3), Right15_1(3), Right5_1(3), Right10_1(3)
  • 215 to 216 labelled 5_1(2)
  • 215 to 480 labelled Right24_1(3), Right9_1(3), Right14_1(3), Right4_1(3), Right19_1(3), Right23_1(3), Right3_1(3), Right13_1(3), Right8_1(3), Right18_1(3), Right22_1(3), Right17_1(3), Right2_1(3), Right7_1(3), Right12_1(3), Right21_1(3), Right16_1(3), Right1_1(3), Right6_1(3), Right11_1(3), Right20_1(3), Right15_1(3), Right5_1(3), Right10_1(3)
  • 216 to 217 labelled 1_1(2)
  • 216 to 263 labelled Right24_1(3), Right9_1(3), Right14_1(3), Right4_1(3), Right19_1(3), Right23_1(3), Right3_1(3), Right13_1(3), Right8_1(3), Right18_1(3), Right22_1(3), Right17_1(3), Right2_1(3), Right7_1(3), Right12_1(3), Right21_1(3), Right16_1(3), Right1_1(3), Right6_1(3), Right11_1(3), Right20_1(3), Right15_1(3), Right5_1(3), Right10_1(3)
  • 217 to 151 labelled 0_1(2)
  • 217 to 246 labelled Right24_1(3), Right9_1(3), Right14_1(3), Right4_1(3), Right19_1(3), Right23_1(3), Right3_1(3), Right13_1(3), Right8_1(3), Right18_1(3), Right22_1(3), Right17_1(3), Right2_1(3), Right7_1(3), Right12_1(3), Right21_1(3), Right16_1(3), Right1_1(3), Right6_1(3), Right11_1(3), Right20_1(3), Right15_1(3), Right5_1(3), Right10_1(3)
  • 245 to 189 labelled A4_1(2), A2_1(2)
  • 245 to 184 labelled A4_1(2), A3_1(2)
  • 245 to 245 labelled A4_1(2), A2_1(2), A3_1(2)
  • 245 to 500 labelled A4_1(2), A2_1(2), A3_1(2)
  • 246 to 189 labelled A0_1(3)
  • 246 to 245 labelled A0_1(3)
  • 246 to 500 labelled A0_1(3)
  • 247 to 190 labelled A3_1(1)
  • 248 to 191 labelled A1_1(1)
  • 249 to 192 labelled A2_1(1)
  • 250 to 192 labelled A3_1(1)
  • 251 to 193 labelled A3_1(1)
  • 254 to 184 labelled A2_1(1)
  • 255 to 184 labelled A5_1(1)
  • 256 to 184 labelled A1_1(1)
  • 257 to 248 labelled A4_1(1)
  • 258 to 249 labelled A4_1(1)
  • 259 to 250 labelled A2_1(1)
  • 260 to 251 labelled A1_1(1)
  • 261 to 246 labelled A2_1(3)
  • 262 to 246 labelled A5_1(3)
  • 263 to 246 labelled A1_1(3)
  • 474 to 254 labelled A1_1(1)
  • 475 to 255 labelled A2_1(1)
  • 476 to 256 labelled A5_1(1)
  • 477 to 255 labelled A4_1(1)
  • 478 to 261 labelled A1_1(3)
  • 479 to 262 labelled A4_1(3)
  • 480 to 263 labelled A5_1(3)
  • 481 to 262 labelled A2_1(3)
  • 482 to 474 labelled A3_1(1)
  • 483 to 475 labelled A1_1(1)
  • 484 to 476 labelled A2_1(1)
  • 485 to 476 labelled A3_1(1)
  • 486 to 477 labelled A3_1(1)
  • 487 to 478 labelled A3_1(3)
  • 489 to 479 labelled A3_1(3)
  • 491 to 480 labelled A3_1(3)
  • 492 to 481 labelled A1_1(3)
  • 494 to 480 labelled A2_1(3)
  • 500 to 487 labelled A4_1(3)
  • 500 to 506 labelled A2_1(3)
  • 500 to 507 labelled A4_1(3)
  • 500 to 508 labelled A3_1(3)
  • 500 to 509 labelled A3_1(3)
  • 501 to 482 labelled A4_1(1)
  • 502 to 483 labelled A4_1(1)
  • 503 to 484 labelled A4_1(1)
  • 504 to 485 labelled A2_1(1)
  • 505 to 486 labelled A1_1(1)
  • 506 to 489 labelled A1_1(3)
  • 507 to 491 labelled A2_1(3)
  • 508 to 492 labelled A4_1(3)
  • 509 to 494 labelled A4_1(3)
  • 510 to 502 labelled A3_1(1)
  • 511 to 503 labelled A3_1(1)
  • 512 to 504 labelled A4_1(1)
  • 513 to 505 labelled A2_1(1)

(4) YES