| Name | Path in ATS1 | Value |
| γ51 | <(([p1], s0), (a, t1), ([p2], sa)), (([p2], sa), (a, >>), ([p2], sa)), (([p2], sa), (a, >>), ([p2], sa)), (([p2], sa), (b, t2), ([p3], )), ([p3], ), (>>, t4), ([p4], ))> | <(a, t1), (a, >>), (a, >>), (b, t2), (>>, t4)> |
| γ52 | <(([p1], s0), (a, >>), ([p1], sa)), (([p1], sa), (a, t1), ([p2], sa)), (([p2], sa), (a, >>), ([p2], sa)), (([p2], sa), (b, t2), ([p3], )), ([p3], ), (>>, t4), ([p4], ))> | <(a, >>), (a, t1), (a, >>), (b, t2), (>>, t4)> |
| γ53 | <(([p1], s0), (a, >>), ([p1], sa)), (([p1], sa), (a, >>), ([p1], sa)), (([p1], sa), (a, t1), ([p2], sa)), (([p2], sa), (b, t2), ([p3], )), ([p3], ), (>>, t4), ([p4], ))> | <(a, >>), (a, >>), (a, t1), (b, t2), (>>, t4)> |
|
|