This pertains to the counterexample MDP for the Forward Jump algorithm which is discussed in Section 3.2 and Appendix B.  

k=1
(0, -1)-->(1, 1) via a:(1,)
(0, -1)-->(3, -1) via a:(-1,)
(0, 1)-->(1, 1) via a:(1,)
(0, 1)-->(3, -1) via a:(-1,)
(1, -1)-->(0, -1) via a:(-1,)
(1, -1)-->(2, 1) via a:(1,)
(1, 1)-->(0, -1) via a:(-1,)
(1, 1)-->(2, 1) via a:(1,)
(2, -1)-->(1, -1) via a:(-1,)
(2, -1)-->(3, 1) via a:(1,)
(2, 1)-->(1, -1) via a:(-1,)
(2, 1)-->(3, 1) via a:(1,)
(3, -1)-->(0, 1) via a:(1,)
(3, -1)-->(2, -1) via a:(-1,)
(3, 1)-->(0, 1) via a:(1,)
(3, 1)-->(2, -1) via a:(-1,)

k=2
(0, -1)-->(0, -1) via a:(1, -1)
(0, -1)-->(0, 1) via a:(-1, 1)
(0, -1)-->(2, -1) via a:(-1, -1)
(0, -1)-->(2, 1) via a:(1, 1)
(0, 1)-->(0, -1) via a:(1, -1)
(0, 1)-->(0, 1) via a:(-1, 1)
(0, 1)-->(2, -1) via a:(-1, -1)
(0, 1)-->(2, 1) via a:(1, 1)
(1, -1)-->(1, -1) via a:(1, -1)
(1, -1)-->(1, 1) via a:(-1, 1)
(1, -1)-->(3, -1) via a:(-1, -1)
(1, -1)-->(3, 1) via a:(1, 1)
(1, 1)-->(1, -1) via a:(1, -1)
(1, 1)-->(1, 1) via a:(-1, 1)
(1, 1)-->(3, -1) via a:(-1, -1)
(1, 1)-->(3, 1) via a:(1, 1)
(2, -1)-->(0, -1) via a:(-1, -1)
(2, -1)-->(0, 1) via a:(1, 1)
(2, -1)-->(2, -1) via a:(1, -1)
(2, -1)-->(2, 1) via a:(-1, 1)
(2, 1)-->(0, -1) via a:(-1, -1)
(2, 1)-->(0, 1) via a:(1, 1)
(2, 1)-->(2, -1) via a:(1, -1)
(2, 1)-->(2, 1) via a:(-1, 1)
(3, -1)-->(1, -1) via a:(-1, -1)
(3, -1)-->(1, 1) via a:(1, 1)
(3, -1)-->(3, -1) via a:(1, -1)
(3, -1)-->(3, 1) via a:(-1, 1)
(3, 1)-->(1, -1) via a:(-1, -1)
(3, 1)-->(1, 1) via a:(1, 1)
(3, 1)-->(3, -1) via a:(1, -1)
(3, 1)-->(3, 1) via a:(-1, 1)

k=3
(0, -1)-->(1, -1) via a:(-1, -1, -1)
(0, -1)-->(1, -1) via a:(1, 1, -1)
(0, -1)-->(1, 1) via a:(-1, 1, 1)
(0, -1)-->(1, 1) via a:(1, -1, 1)
(0, -1)-->(3, -1) via a:(-1, 1, -1)
(0, -1)-->(3, -1) via a:(1, -1, -1)
(0, -1)-->(3, 1) via a:(-1, -1, 1)
(0, -1)-->(3, 1) via a:(1, 1, 1)
(0, 1)-->(1, -1) via a:(-1, -1, -1)
(0, 1)-->(1, -1) via a:(1, 1, -1)
(0, 1)-->(1, 1) via a:(-1, 1, 1)
(0, 1)-->(1, 1) via a:(1, -1, 1)
(0, 1)-->(3, -1) via a:(-1, 1, -1)
(0, 1)-->(3, -1) via a:(1, -1, -1)
(0, 1)-->(3, 1) via a:(-1, -1, 1)
(0, 1)-->(3, 1) via a:(1, 1, 1)
(1, -1)-->(0, -1) via a:(-1, 1, -1)
(1, -1)-->(0, -1) via a:(1, -1, -1)
(1, -1)-->(0, 1) via a:(-1, -1, 1)
(1, -1)-->(0, 1) via a:(1, 1, 1)
(1, -1)-->(2, -1) via a:(-1, -1, -1)
(1, -1)-->(2, -1) via a:(1, 1, -1)
(1, -1)-->(2, 1) via a:(-1, 1, 1)
(1, -1)-->(2, 1) via a:(1, -1, 1)
(1, 1)-->(0, -1) via a:(-1, 1, -1)
(1, 1)-->(0, -1) via a:(1, -1, -1)
(1, 1)-->(0, 1) via a:(-1, -1, 1)
(1, 1)-->(0, 1) via a:(1, 1, 1)
(1, 1)-->(2, -1) via a:(-1, -1, -1)
(1, 1)-->(2, -1) via a:(1, 1, -1)
(1, 1)-->(2, 1) via a:(-1, 1, 1)
(1, 1)-->(2, 1) via a:(1, -1, 1)
(2, -1)-->(1, -1) via a:(-1, 1, -1)
(2, -1)-->(1, -1) via a:(1, -1, -1)
(2, -1)-->(1, 1) via a:(-1, -1, 1)
(2, -1)-->(1, 1) via a:(1, 1, 1)
(2, -1)-->(3, -1) via a:(-1, -1, -1)
(2, -1)-->(3, -1) via a:(1, 1, -1)
(2, -1)-->(3, 1) via a:(-1, 1, 1)
(2, -1)-->(3, 1) via a:(1, -1, 1)
(2, 1)-->(1, -1) via a:(-1, 1, -1)
(2, 1)-->(1, -1) via a:(1, -1, -1)
(2, 1)-->(1, 1) via a:(-1, -1, 1)
(2, 1)-->(1, 1) via a:(1, 1, 1)
(2, 1)-->(3, -1) via a:(-1, -1, -1)
(2, 1)-->(3, -1) via a:(1, 1, -1)
(2, 1)-->(3, 1) via a:(-1, 1, 1)
(2, 1)-->(3, 1) via a:(1, -1, 1)
(3, -1)-->(0, -1) via a:(-1, -1, -1)
(3, -1)-->(0, -1) via a:(1, 1, -1)
(3, -1)-->(0, 1) via a:(-1, 1, 1)
(3, -1)-->(0, 1) via a:(1, -1, 1)
(3, -1)-->(2, -1) via a:(-1, 1, -1)
(3, -1)-->(2, -1) via a:(1, -1, -1)
(3, -1)-->(2, 1) via a:(-1, -1, 1)
(3, -1)-->(2, 1) via a:(1, 1, 1)
(3, 1)-->(0, -1) via a:(-1, -1, -1)
(3, 1)-->(0, -1) via a:(1, 1, -1)
(3, 1)-->(0, 1) via a:(-1, 1, 1)
(3, 1)-->(0, 1) via a:(1, -1, 1)
(3, 1)-->(2, -1) via a:(-1, 1, -1)
(3, 1)-->(2, -1) via a:(1, -1, -1)
(3, 1)-->(2, 1) via a:(-1, -1, 1)
(3, 1)-->(2, 1) via a:(1, 1, 1)

k=4
(0, -1)-->(0, -1) via a:(-1, -1, -1, -1)
(0, -1)-->(0, -1) via a:(-1, 1, 1, -1)
(0, -1)-->(0, -1) via a:(1, -1, 1, -1)
(0, -1)-->(0, -1) via a:(1, 1, -1, -1)
(0, -1)-->(0, 1) via a:(-1, -1, 1, 1)
(0, -1)-->(0, 1) via a:(-1, 1, -1, 1)
(0, -1)-->(0, 1) via a:(1, -1, -1, 1)
(0, -1)-->(0, 1) via a:(1, 1, 1, 1)
(0, -1)-->(2, -1) via a:(-1, -1, 1, -1)
(0, -1)-->(2, -1) via a:(-1, 1, -1, -1)
(0, -1)-->(2, -1) via a:(1, -1, -1, -1)
(0, -1)-->(2, -1) via a:(1, 1, 1, -1)
(0, -1)-->(2, 1) via a:(-1, -1, -1, 1)
(0, -1)-->(2, 1) via a:(-1, 1, 1, 1)
(0, -1)-->(2, 1) via a:(1, -1, 1, 1)
(0, -1)-->(2, 1) via a:(1, 1, -1, 1)
(0, 1)-->(0, -1) via a:(-1, -1, -1, -1)
(0, 1)-->(0, -1) via a:(-1, 1, 1, -1)
(0, 1)-->(0, -1) via a:(1, -1, 1, -1)
(0, 1)-->(0, -1) via a:(1, 1, -1, -1)
(0, 1)-->(0, 1) via a:(-1, -1, 1, 1)
(0, 1)-->(0, 1) via a:(-1, 1, -1, 1)
(0, 1)-->(0, 1) via a:(1, -1, -1, 1)
(0, 1)-->(0, 1) via a:(1, 1, 1, 1)
(0, 1)-->(2, -1) via a:(-1, -1, 1, -1)
(0, 1)-->(2, -1) via a:(-1, 1, -1, -1)
(0, 1)-->(2, -1) via a:(1, -1, -1, -1)
(0, 1)-->(2, -1) via a:(1, 1, 1, -1)
(0, 1)-->(2, 1) via a:(-1, -1, -1, 1)
(0, 1)-->(2, 1) via a:(-1, 1, 1, 1)
(0, 1)-->(2, 1) via a:(1, -1, 1, 1)
(0, 1)-->(2, 1) via a:(1, 1, -1, 1)
(1, -1)-->(1, -1) via a:(-1, -1, -1, -1)
(1, -1)-->(1, -1) via a:(-1, 1, 1, -1)
(1, -1)-->(1, -1) via a:(1, -1, 1, -1)
(1, -1)-->(1, -1) via a:(1, 1, -1, -1)
(1, -1)-->(1, 1) via a:(-1, -1, 1, 1)
(1, -1)-->(1, 1) via a:(-1, 1, -1, 1)
(1, -1)-->(1, 1) via a:(1, -1, -1, 1)
(1, -1)-->(1, 1) via a:(1, 1, 1, 1)
(1, -1)-->(3, -1) via a:(-1, -1, 1, -1)
(1, -1)-->(3, -1) via a:(-1, 1, -1, -1)
(1, -1)-->(3, -1) via a:(1, -1, -1, -1)
(1, -1)-->(3, -1) via a:(1, 1, 1, -1)
(1, -1)-->(3, 1) via a:(-1, -1, -1, 1)
(1, -1)-->(3, 1) via a:(-1, 1, 1, 1)
(1, -1)-->(3, 1) via a:(1, -1, 1, 1)
(1, -1)-->(3, 1) via a:(1, 1, -1, 1)
(1, 1)-->(1, -1) via a:(-1, -1, -1, -1)
(1, 1)-->(1, -1) via a:(-1, 1, 1, -1)
(1, 1)-->(1, -1) via a:(1, -1, 1, -1)
(1, 1)-->(1, -1) via a:(1, 1, -1, -1)
(1, 1)-->(1, 1) via a:(-1, -1, 1, 1)
(1, 1)-->(1, 1) via a:(-1, 1, -1, 1)
(1, 1)-->(1, 1) via a:(1, -1, -1, 1)
(1, 1)-->(1, 1) via a:(1, 1, 1, 1)
(1, 1)-->(3, -1) via a:(-1, -1, 1, -1)
(1, 1)-->(3, -1) via a:(-1, 1, -1, -1)
(1, 1)-->(3, -1) via a:(1, -1, -1, -1)
(1, 1)-->(3, -1) via a:(1, 1, 1, -1)
(1, 1)-->(3, 1) via a:(-1, -1, -1, 1)
(1, 1)-->(3, 1) via a:(-1, 1, 1, 1)
(1, 1)-->(3, 1) via a:(1, -1, 1, 1)
(1, 1)-->(3, 1) via a:(1, 1, -1, 1)
(2, -1)-->(0, -1) via a:(-1, -1, 1, -1)
(2, -1)-->(0, -1) via a:(-1, 1, -1, -1)
(2, -1)-->(0, -1) via a:(1, -1, -1, -1)
(2, -1)-->(0, -1) via a:(1, 1, 1, -1)
(2, -1)-->(0, 1) via a:(-1, -1, -1, 1)
(2, -1)-->(0, 1) via a:(-1, 1, 1, 1)
(2, -1)-->(0, 1) via a:(1, -1, 1, 1)
(2, -1)-->(0, 1) via a:(1, 1, -1, 1)
(2, -1)-->(2, -1) via a:(-1, -1, -1, -1)
(2, -1)-->(2, -1) via a:(-1, 1, 1, -1)
(2, -1)-->(2, -1) via a:(1, -1, 1, -1)
(2, -1)-->(2, -1) via a:(1, 1, -1, -1)
(2, -1)-->(2, 1) via a:(-1, -1, 1, 1)
(2, -1)-->(2, 1) via a:(-1, 1, -1, 1)
(2, -1)-->(2, 1) via a:(1, -1, -1, 1)
(2, -1)-->(2, 1) via a:(1, 1, 1, 1)
(2, 1)-->(0, -1) via a:(-1, -1, 1, -1)
(2, 1)-->(0, -1) via a:(-1, 1, -1, -1)
(2, 1)-->(0, -1) via a:(1, -1, -1, -1)
(2, 1)-->(0, -1) via a:(1, 1, 1, -1)
(2, 1)-->(0, 1) via a:(-1, -1, -1, 1)
(2, 1)-->(0, 1) via a:(-1, 1, 1, 1)
(2, 1)-->(0, 1) via a:(1, -1, 1, 1)
(2, 1)-->(0, 1) via a:(1, 1, -1, 1)
(2, 1)-->(2, -1) via a:(-1, -1, -1, -1)
(2, 1)-->(2, -1) via a:(-1, 1, 1, -1)
(2, 1)-->(2, -1) via a:(1, -1, 1, -1)
(2, 1)-->(2, -1) via a:(1, 1, -1, -1)
(2, 1)-->(2, 1) via a:(-1, -1, 1, 1)
(2, 1)-->(2, 1) via a:(-1, 1, -1, 1)
(2, 1)-->(2, 1) via a:(1, -1, -1, 1)
(2, 1)-->(2, 1) via a:(1, 1, 1, 1)
(3, -1)-->(1, -1) via a:(-1, -1, 1, -1)
(3, -1)-->(1, -1) via a:(-1, 1, -1, -1)
(3, -1)-->(1, -1) via a:(1, -1, -1, -1)
(3, -1)-->(1, -1) via a:(1, 1, 1, -1)
(3, -1)-->(1, 1) via a:(-1, -1, -1, 1)
(3, -1)-->(1, 1) via a:(-1, 1, 1, 1)
(3, -1)-->(1, 1) via a:(1, -1, 1, 1)
(3, -1)-->(1, 1) via a:(1, 1, -1, 1)
(3, -1)-->(3, -1) via a:(-1, -1, -1, -1)
(3, -1)-->(3, -1) via a:(-1, 1, 1, -1)
(3, -1)-->(3, -1) via a:(1, -1, 1, -1)
(3, -1)-->(3, -1) via a:(1, 1, -1, -1)
(3, -1)-->(3, 1) via a:(-1, -1, 1, 1)
(3, -1)-->(3, 1) via a:(-1, 1, -1, 1)
(3, -1)-->(3, 1) via a:(1, -1, -1, 1)
(3, -1)-->(3, 1) via a:(1, 1, 1, 1)
(3, 1)-->(1, -1) via a:(-1, -1, 1, -1)
(3, 1)-->(1, -1) via a:(-1, 1, -1, -1)
(3, 1)-->(1, -1) via a:(1, -1, -1, -1)
(3, 1)-->(1, -1) via a:(1, 1, 1, -1)
(3, 1)-->(1, 1) via a:(-1, -1, -1, 1)
(3, 1)-->(1, 1) via a:(-1, 1, 1, 1)
(3, 1)-->(1, 1) via a:(1, -1, 1, 1)
(3, 1)-->(1, 1) via a:(1, 1, -1, 1)
(3, 1)-->(3, -1) via a:(-1, -1, -1, -1)
(3, 1)-->(3, -1) via a:(-1, 1, 1, -1)
(3, 1)-->(3, -1) via a:(1, -1, 1, -1)
(3, 1)-->(3, -1) via a:(1, 1, -1, -1)
(3, 1)-->(3, 1) via a:(-1, -1, 1, 1)
(3, 1)-->(3, 1) via a:(-1, 1, -1, 1)
(3, 1)-->(3, 1) via a:(1, -1, -1, 1)
(3, 1)-->(3, 1) via a:(1, 1, 1, 1)

k=5
(0, -1)-->(1, -1) via a:(-1, -1, -1, 1, -1)
(0, -1)-->(1, -1) via a:(-1, -1, 1, -1, -1)
(0, -1)-->(1, -1) via a:(-1, 1, -1, -1, -1)
(0, -1)-->(1, -1) via a:(-1, 1, 1, 1, -1)
(0, -1)-->(1, -1) via a:(1, -1, -1, -1, -1)
(0, -1)-->(1, -1) via a:(1, -1, 1, 1, -1)
(0, -1)-->(1, -1) via a:(1, 1, -1, 1, -1)
(0, -1)-->(1, -1) via a:(1, 1, 1, -1, -1)
(0, -1)-->(1, 1) via a:(-1, -1, -1, -1, 1)
(0, -1)-->(1, 1) via a:(-1, -1, 1, 1, 1)
(0, -1)-->(1, 1) via a:(-1, 1, -1, 1, 1)
(0, -1)-->(1, 1) via a:(-1, 1, 1, -1, 1)
(0, -1)-->(1, 1) via a:(1, -1, -1, 1, 1)
(0, -1)-->(1, 1) via a:(1, -1, 1, -1, 1)
(0, -1)-->(1, 1) via a:(1, 1, -1, -1, 1)
(0, -1)-->(1, 1) via a:(1, 1, 1, 1, 1)
(0, -1)-->(3, -1) via a:(-1, -1, -1, -1, -1)
(0, -1)-->(3, -1) via a:(-1, -1, 1, 1, -1)
(0, -1)-->(3, -1) via a:(-1, 1, -1, 1, -1)
(0, -1)-->(3, -1) via a:(-1, 1, 1, -1, -1)
(0, -1)-->(3, -1) via a:(1, -1, -1, 1, -1)
(0, -1)-->(3, -1) via a:(1, -1, 1, -1, -1)
(0, -1)-->(3, -1) via a:(1, 1, -1, -1, -1)
(0, -1)-->(3, -1) via a:(1, 1, 1, 1, -1)
(0, -1)-->(3, 1) via a:(-1, -1, -1, 1, 1)
(0, -1)-->(3, 1) via a:(-1, -1, 1, -1, 1)
(0, -1)-->(3, 1) via a:(-1, 1, -1, -1, 1)
(0, -1)-->(3, 1) via a:(-1, 1, 1, 1, 1)
(0, -1)-->(3, 1) via a:(1, -1, -1, -1, 1)
(0, -1)-->(3, 1) via a:(1, -1, 1, 1, 1)
(0, -1)-->(3, 1) via a:(1, 1, -1, 1, 1)
(0, -1)-->(3, 1) via a:(1, 1, 1, -1, 1)
(0, 1)-->(1, -1) via a:(-1, -1, -1, 1, -1)
(0, 1)-->(1, -1) via a:(-1, -1, 1, -1, -1)
(0, 1)-->(1, -1) via a:(-1, 1, -1, -1, -1)
(0, 1)-->(1, -1) via a:(-1, 1, 1, 1, -1)
(0, 1)-->(1, -1) via a:(1, -1, -1, -1, -1)
(0, 1)-->(1, -1) via a:(1, -1, 1, 1, -1)
(0, 1)-->(1, -1) via a:(1, 1, -1, 1, -1)
(0, 1)-->(1, -1) via a:(1, 1, 1, -1, -1)
(0, 1)-->(1, 1) via a:(-1, -1, -1, -1, 1)
(0, 1)-->(1, 1) via a:(-1, -1, 1, 1, 1)
(0, 1)-->(1, 1) via a:(-1, 1, -1, 1, 1)
(0, 1)-->(1, 1) via a:(-1, 1, 1, -1, 1)
(0, 1)-->(1, 1) via a:(1, -1, -1, 1, 1)
(0, 1)-->(1, 1) via a:(1, -1, 1, -1, 1)
(0, 1)-->(1, 1) via a:(1, 1, -1, -1, 1)
(0, 1)-->(1, 1) via a:(1, 1, 1, 1, 1)
(0, 1)-->(3, -1) via a:(-1, -1, -1, -1, -1)
(0, 1)-->(3, -1) via a:(-1, -1, 1, 1, -1)
(0, 1)-->(3, -1) via a:(-1, 1, -1, 1, -1)
(0, 1)-->(3, -1) via a:(-1, 1, 1, -1, -1)
(0, 1)-->(3, -1) via a:(1, -1, -1, 1, -1)
(0, 1)-->(3, -1) via a:(1, -1, 1, -1, -1)
(0, 1)-->(3, -1) via a:(1, 1, -1, -1, -1)
(0, 1)-->(3, -1) via a:(1, 1, 1, 1, -1)
(0, 1)-->(3, 1) via a:(-1, -1, -1, 1, 1)
(0, 1)-->(3, 1) via a:(-1, -1, 1, -1, 1)
(0, 1)-->(3, 1) via a:(-1, 1, -1, -1, 1)
(0, 1)-->(3, 1) via a:(-1, 1, 1, 1, 1)
(0, 1)-->(3, 1) via a:(1, -1, -1, -1, 1)
(0, 1)-->(3, 1) via a:(1, -1, 1, 1, 1)
(0, 1)-->(3, 1) via a:(1, 1, -1, 1, 1)
(0, 1)-->(3, 1) via a:(1, 1, 1, -1, 1)
(1, -1)-->(0, -1) via a:(-1, -1, -1, -1, -1)
(1, -1)-->(0, -1) via a:(-1, -1, 1, 1, -1)
(1, -1)-->(0, -1) via a:(-1, 1, -1, 1, -1)
(1, -1)-->(0, -1) via a:(-1, 1, 1, -1, -1)
(1, -1)-->(0, -1) via a:(1, -1, -1, 1, -1)
(1, -1)-->(0, -1) via a:(1, -1, 1, -1, -1)
(1, -1)-->(0, -1) via a:(1, 1, -1, -1, -1)
(1, -1)-->(0, -1) via a:(1, 1, 1, 1, -1)
(1, -1)-->(0, 1) via a:(-1, -1, -1, 1, 1)
(1, -1)-->(0, 1) via a:(-1, -1, 1, -1, 1)
(1, -1)-->(0, 1) via a:(-1, 1, -1, -1, 1)
(1, -1)-->(0, 1) via a:(-1, 1, 1, 1, 1)
(1, -1)-->(0, 1) via a:(1, -1, -1, -1, 1)
(1, -1)-->(0, 1) via a:(1, -1, 1, 1, 1)
(1, -1)-->(0, 1) via a:(1, 1, -1, 1, 1)
(1, -1)-->(0, 1) via a:(1, 1, 1, -1, 1)
(1, -1)-->(2, -1) via a:(-1, -1, -1, 1, -1)
(1, -1)-->(2, -1) via a:(-1, -1, 1, -1, -1)
(1, -1)-->(2, -1) via a:(-1, 1, -1, -1, -1)
(1, -1)-->(2, -1) via a:(-1, 1, 1, 1, -1)
(1, -1)-->(2, -1) via a:(1, -1, -1, -1, -1)
(1, -1)-->(2, -1) via a:(1, -1, 1, 1, -1)
(1, -1)-->(2, -1) via a:(1, 1, -1, 1, -1)
(1, -1)-->(2, -1) via a:(1, 1, 1, -1, -1)
(1, -1)-->(2, 1) via a:(-1, -1, -1, -1, 1)
(1, -1)-->(2, 1) via a:(-1, -1, 1, 1, 1)
(1, -1)-->(2, 1) via a:(-1, 1, -1, 1, 1)
(1, -1)-->(2, 1) via a:(-1, 1, 1, -1, 1)
(1, -1)-->(2, 1) via a:(1, -1, -1, 1, 1)
(1, -1)-->(2, 1) via a:(1, -1, 1, -1, 1)
(1, -1)-->(2, 1) via a:(1, 1, -1, -1, 1)
(1, -1)-->(2, 1) via a:(1, 1, 1, 1, 1)
(1, 1)-->(0, -1) via a:(-1, -1, -1, -1, -1)
(1, 1)-->(0, -1) via a:(-1, -1, 1, 1, -1)
(1, 1)-->(0, -1) via a:(-1, 1, -1, 1, -1)
(1, 1)-->(0, -1) via a:(-1, 1, 1, -1, -1)
(1, 1)-->(0, -1) via a:(1, -1, -1, 1, -1)
(1, 1)-->(0, -1) via a:(1, -1, 1, -1, -1)
(1, 1)-->(0, -1) via a:(1, 1, -1, -1, -1)
(1, 1)-->(0, -1) via a:(1, 1, 1, 1, -1)
(1, 1)-->(0, 1) via a:(-1, -1, -1, 1, 1)
(1, 1)-->(0, 1) via a:(-1, -1, 1, -1, 1)
(1, 1)-->(0, 1) via a:(-1, 1, -1, -1, 1)
(1, 1)-->(0, 1) via a:(-1, 1, 1, 1, 1)
(1, 1)-->(0, 1) via a:(1, -1, -1, -1, 1)
(1, 1)-->(0, 1) via a:(1, -1, 1, 1, 1)
(1, 1)-->(0, 1) via a:(1, 1, -1, 1, 1)
(1, 1)-->(0, 1) via a:(1, 1, 1, -1, 1)
(1, 1)-->(2, -1) via a:(-1, -1, -1, 1, -1)
(1, 1)-->(2, -1) via a:(-1, -1, 1, -1, -1)
(1, 1)-->(2, -1) via a:(-1, 1, -1, -1, -1)
(1, 1)-->(2, -1) via a:(-1, 1, 1, 1, -1)
(1, 1)-->(2, -1) via a:(1, -1, -1, -1, -1)
(1, 1)-->(2, -1) via a:(1, -1, 1, 1, -1)
(1, 1)-->(2, -1) via a:(1, 1, -1, 1, -1)
(1, 1)-->(2, -1) via a:(1, 1, 1, -1, -1)
(1, 1)-->(2, 1) via a:(-1, -1, -1, -1, 1)
(1, 1)-->(2, 1) via a:(-1, -1, 1, 1, 1)
(1, 1)-->(2, 1) via a:(-1, 1, -1, 1, 1)
(1, 1)-->(2, 1) via a:(-1, 1, 1, -1, 1)
(1, 1)-->(2, 1) via a:(1, -1, -1, 1, 1)
(1, 1)-->(2, 1) via a:(1, -1, 1, -1, 1)
(1, 1)-->(2, 1) via a:(1, 1, -1, -1, 1)
(1, 1)-->(2, 1) via a:(1, 1, 1, 1, 1)
(2, -1)-->(1, -1) via a:(-1, -1, -1, -1, -1)
(2, -1)-->(1, -1) via a:(-1, -1, 1, 1, -1)
(2, -1)-->(1, -1) via a:(-1, 1, -1, 1, -1)
(2, -1)-->(1, -1) via a:(-1, 1, 1, -1, -1)
(2, -1)-->(1, -1) via a:(1, -1, -1, 1, -1)
(2, -1)-->(1, -1) via a:(1, -1, 1, -1, -1)
(2, -1)-->(1, -1) via a:(1, 1, -1, -1, -1)
(2, -1)-->(1, -1) via a:(1, 1, 1, 1, -1)
(2, -1)-->(1, 1) via a:(-1, -1, -1, 1, 1)
(2, -1)-->(1, 1) via a:(-1, -1, 1, -1, 1)
(2, -1)-->(1, 1) via a:(-1, 1, -1, -1, 1)
(2, -1)-->(1, 1) via a:(-1, 1, 1, 1, 1)
(2, -1)-->(1, 1) via a:(1, -1, -1, -1, 1)
(2, -1)-->(1, 1) via a:(1, -1, 1, 1, 1)
(2, -1)-->(1, 1) via a:(1, 1, -1, 1, 1)
(2, -1)-->(1, 1) via a:(1, 1, 1, -1, 1)
(2, -1)-->(3, -1) via a:(-1, -1, -1, 1, -1)
(2, -1)-->(3, -1) via a:(-1, -1, 1, -1, -1)
(2, -1)-->(3, -1) via a:(-1, 1, -1, -1, -1)
(2, -1)-->(3, -1) via a:(-1, 1, 1, 1, -1)
(2, -1)-->(3, -1) via a:(1, -1, -1, -1, -1)
(2, -1)-->(3, -1) via a:(1, -1, 1, 1, -1)
(2, -1)-->(3, -1) via a:(1, 1, -1, 1, -1)
(2, -1)-->(3, -1) via a:(1, 1, 1, -1, -1)
(2, -1)-->(3, 1) via a:(-1, -1, -1, -1, 1)
(2, -1)-->(3, 1) via a:(-1, -1, 1, 1, 1)
(2, -1)-->(3, 1) via a:(-1, 1, -1, 1, 1)
(2, -1)-->(3, 1) via a:(-1, 1, 1, -1, 1)
(2, -1)-->(3, 1) via a:(1, -1, -1, 1, 1)
(2, -1)-->(3, 1) via a:(1, -1, 1, -1, 1)
(2, -1)-->(3, 1) via a:(1, 1, -1, -1, 1)
(2, -1)-->(3, 1) via a:(1, 1, 1, 1, 1)
(2, 1)-->(1, -1) via a:(-1, -1, -1, -1, -1)
(2, 1)-->(1, -1) via a:(-1, -1, 1, 1, -1)
(2, 1)-->(1, -1) via a:(-1, 1, -1, 1, -1)
(2, 1)-->(1, -1) via a:(-1, 1, 1, -1, -1)
(2, 1)-->(1, -1) via a:(1, -1, -1, 1, -1)
(2, 1)-->(1, -1) via a:(1, -1, 1, -1, -1)
(2, 1)-->(1, -1) via a:(1, 1, -1, -1, -1)
(2, 1)-->(1, -1) via a:(1, 1, 1, 1, -1)
(2, 1)-->(1, 1) via a:(-1, -1, -1, 1, 1)
(2, 1)-->(1, 1) via a:(-1, -1, 1, -1, 1)
(2, 1)-->(1, 1) via a:(-1, 1, -1, -1, 1)
(2, 1)-->(1, 1) via a:(-1, 1, 1, 1, 1)
(2, 1)-->(1, 1) via a:(1, -1, -1, -1, 1)
(2, 1)-->(1, 1) via a:(1, -1, 1, 1, 1)
(2, 1)-->(1, 1) via a:(1, 1, -1, 1, 1)
(2, 1)-->(1, 1) via a:(1, 1, 1, -1, 1)
(2, 1)-->(3, -1) via a:(-1, -1, -1, 1, -1)
(2, 1)-->(3, -1) via a:(-1, -1, 1, -1, -1)
(2, 1)-->(3, -1) via a:(-1, 1, -1, -1, -1)
(2, 1)-->(3, -1) via a:(-1, 1, 1, 1, -1)
(2, 1)-->(3, -1) via a:(1, -1, -1, -1, -1)
(2, 1)-->(3, -1) via a:(1, -1, 1, 1, -1)
(2, 1)-->(3, -1) via a:(1, 1, -1, 1, -1)
(2, 1)-->(3, -1) via a:(1, 1, 1, -1, -1)
(2, 1)-->(3, 1) via a:(-1, -1, -1, -1, 1)
(2, 1)-->(3, 1) via a:(-1, -1, 1, 1, 1)
(2, 1)-->(3, 1) via a:(-1, 1, -1, 1, 1)
(2, 1)-->(3, 1) via a:(-1, 1, 1, -1, 1)
(2, 1)-->(3, 1) via a:(1, -1, -1, 1, 1)
(2, 1)-->(3, 1) via a:(1, -1, 1, -1, 1)
(2, 1)-->(3, 1) via a:(1, 1, -1, -1, 1)
(2, 1)-->(3, 1) via a:(1, 1, 1, 1, 1)
(3, -1)-->(0, -1) via a:(-1, -1, -1, 1, -1)
(3, -1)-->(0, -1) via a:(-1, -1, 1, -1, -1)
(3, -1)-->(0, -1) via a:(-1, 1, -1, -1, -1)
(3, -1)-->(0, -1) via a:(-1, 1, 1, 1, -1)
(3, -1)-->(0, -1) via a:(1, -1, -1, -1, -1)
(3, -1)-->(0, -1) via a:(1, -1, 1, 1, -1)
(3, -1)-->(0, -1) via a:(1, 1, -1, 1, -1)
(3, -1)-->(0, -1) via a:(1, 1, 1, -1, -1)
(3, -1)-->(0, 1) via a:(-1, -1, -1, -1, 1)
(3, -1)-->(0, 1) via a:(-1, -1, 1, 1, 1)
(3, -1)-->(0, 1) via a:(-1, 1, -1, 1, 1)
(3, -1)-->(0, 1) via a:(-1, 1, 1, -1, 1)
(3, -1)-->(0, 1) via a:(1, -1, -1, 1, 1)
(3, -1)-->(0, 1) via a:(1, -1, 1, -1, 1)
(3, -1)-->(0, 1) via a:(1, 1, -1, -1, 1)
(3, -1)-->(0, 1) via a:(1, 1, 1, 1, 1)
(3, -1)-->(2, -1) via a:(-1, -1, -1, -1, -1)
(3, -1)-->(2, -1) via a:(-1, -1, 1, 1, -1)
(3, -1)-->(2, -1) via a:(-1, 1, -1, 1, -1)
(3, -1)-->(2, -1) via a:(-1, 1, 1, -1, -1)
(3, -1)-->(2, -1) via a:(1, -1, -1, 1, -1)
(3, -1)-->(2, -1) via a:(1, -1, 1, -1, -1)
(3, -1)-->(2, -1) via a:(1, 1, -1, -1, -1)
(3, -1)-->(2, -1) via a:(1, 1, 1, 1, -1)
(3, -1)-->(2, 1) via a:(-1, -1, -1, 1, 1)
(3, -1)-->(2, 1) via a:(-1, -1, 1, -1, 1)
(3, -1)-->(2, 1) via a:(-1, 1, -1, -1, 1)
(3, -1)-->(2, 1) via a:(-1, 1, 1, 1, 1)
(3, -1)-->(2, 1) via a:(1, -1, -1, -1, 1)
(3, -1)-->(2, 1) via a:(1, -1, 1, 1, 1)
(3, -1)-->(2, 1) via a:(1, 1, -1, 1, 1)
(3, -1)-->(2, 1) via a:(1, 1, 1, -1, 1)
(3, 1)-->(0, -1) via a:(-1, -1, -1, 1, -1)
(3, 1)-->(0, -1) via a:(-1, -1, 1, -1, -1)
(3, 1)-->(0, -1) via a:(-1, 1, -1, -1, -1)
(3, 1)-->(0, -1) via a:(-1, 1, 1, 1, -1)
(3, 1)-->(0, -1) via a:(1, -1, -1, -1, -1)
(3, 1)-->(0, -1) via a:(1, -1, 1, 1, -1)
(3, 1)-->(0, -1) via a:(1, 1, -1, 1, -1)
(3, 1)-->(0, -1) via a:(1, 1, 1, -1, -1)
(3, 1)-->(0, 1) via a:(-1, -1, -1, -1, 1)
(3, 1)-->(0, 1) via a:(-1, -1, 1, 1, 1)
(3, 1)-->(0, 1) via a:(-1, 1, -1, 1, 1)
(3, 1)-->(0, 1) via a:(-1, 1, 1, -1, 1)
(3, 1)-->(0, 1) via a:(1, -1, -1, 1, 1)
(3, 1)-->(0, 1) via a:(1, -1, 1, -1, 1)
(3, 1)-->(0, 1) via a:(1, 1, -1, -1, 1)
(3, 1)-->(0, 1) via a:(1, 1, 1, 1, 1)
(3, 1)-->(2, -1) via a:(-1, -1, -1, -1, -1)
(3, 1)-->(2, -1) via a:(-1, -1, 1, 1, -1)
(3, 1)-->(2, -1) via a:(-1, 1, -1, 1, -1)
(3, 1)-->(2, -1) via a:(-1, 1, 1, -1, -1)
(3, 1)-->(2, -1) via a:(1, -1, -1, 1, -1)
(3, 1)-->(2, -1) via a:(1, -1, 1, -1, -1)
(3, 1)-->(2, -1) via a:(1, 1, -1, -1, -1)
(3, 1)-->(2, -1) via a:(1, 1, 1, 1, -1)
(3, 1)-->(2, 1) via a:(-1, -1, -1, 1, 1)
(3, 1)-->(2, 1) via a:(-1, -1, 1, -1, 1)
(3, 1)-->(2, 1) via a:(-1, 1, -1, -1, 1)
(3, 1)-->(2, 1) via a:(-1, 1, 1, 1, 1)
(3, 1)-->(2, 1) via a:(1, -1, -1, -1, 1)
(3, 1)-->(2, 1) via a:(1, -1, 1, 1, 1)
(3, 1)-->(2, 1) via a:(1, 1, -1, 1, 1)
(3, 1)-->(2, 1) via a:(1, 1, 1, -1, 1)


k=6
(0, -1)-->(0, -1) via a:(-1, -1, -1, -1, 1, -1)
(0, -1)-->(0, -1) via a:(-1, -1, -1, 1, -1, -1)
(0, -1)-->(0, -1) via a:(-1, -1, 1, -1, -1, -1)
(0, -1)-->(0, -1) via a:(-1, -1, 1, 1, 1, -1)
(0, -1)-->(0, -1) via a:(-1, 1, -1, -1, -1, -1)
(0, -1)-->(0, -1) via a:(-1, 1, -1, 1, 1, -1)
(0, -1)-->(0, -1) via a:(-1, 1, 1, -1, 1, -1)
(0, -1)-->(0, -1) via a:(-1, 1, 1, 1, -1, -1)
(0, -1)-->(0, -1) via a:(1, -1, -1, -1, -1, -1)
(0, -1)-->(0, -1) via a:(1, -1, -1, 1, 1, -1)
(0, -1)-->(0, -1) via a:(1, -1, 1, -1, 1, -1)
(0, -1)-->(0, -1) via a:(1, -1, 1, 1, -1, -1)
(0, -1)-->(0, -1) via a:(1, 1, -1, -1, 1, -1)
(0, -1)-->(0, -1) via a:(1, 1, -1, 1, -1, -1)
(0, -1)-->(0, -1) via a:(1, 1, 1, -1, -1, -1)
(0, -1)-->(0, -1) via a:(1, 1, 1, 1, 1, -1)
(0, -1)-->(0, 1) via a:(-1, -1, -1, -1, -1, 1)
(0, -1)-->(0, 1) via a:(-1, -1, -1, 1, 1, 1)
(0, -1)-->(0, 1) via a:(-1, -1, 1, -1, 1, 1)
(0, -1)-->(0, 1) via a:(-1, -1, 1, 1, -1, 1)
(0, -1)-->(0, 1) via a:(-1, 1, -1, -1, 1, 1)
(0, -1)-->(0, 1) via a:(-1, 1, -1, 1, -1, 1)
(0, -1)-->(0, 1) via a:(-1, 1, 1, -1, -1, 1)
(0, -1)-->(0, 1) via a:(-1, 1, 1, 1, 1, 1)
(0, -1)-->(0, 1) via a:(1, -1, -1, -1, 1, 1)
(0, -1)-->(0, 1) via a:(1, -1, -1, 1, -1, 1)
(0, -1)-->(0, 1) via a:(1, -1, 1, -1, -1, 1)
(0, -1)-->(0, 1) via a:(1, -1, 1, 1, 1, 1)
(0, -1)-->(0, 1) via a:(1, 1, -1, -1, -1, 1)
(0, -1)-->(0, 1) via a:(1, 1, -1, 1, 1, 1)
(0, -1)-->(0, 1) via a:(1, 1, 1, -1, 1, 1)
(0, -1)-->(0, 1) via a:(1, 1, 1, 1, -1, 1)
(0, -1)-->(2, -1) via a:(-1, -1, -1, -1, -1, -1)
(0, -1)-->(2, -1) via a:(-1, -1, -1, 1, 1, -1)
(0, -1)-->(2, -1) via a:(-1, -1, 1, -1, 1, -1)
(0, -1)-->(2, -1) via a:(-1, -1, 1, 1, -1, -1)
(0, -1)-->(2, -1) via a:(-1, 1, -1, -1, 1, -1)
(0, -1)-->(2, -1) via a:(-1, 1, -1, 1, -1, -1)
(0, -1)-->(2, -1) via a:(-1, 1, 1, -1, -1, -1)
(0, -1)-->(2, -1) via a:(-1, 1, 1, 1, 1, -1)
(0, -1)-->(2, -1) via a:(1, -1, -1, -1, 1, -1)
(0, -1)-->(2, -1) via a:(1, -1, -1, 1, -1, -1)
(0, -1)-->(2, -1) via a:(1, -1, 1, -1, -1, -1)
(0, -1)-->(2, -1) via a:(1, -1, 1, 1, 1, -1)
(0, -1)-->(2, -1) via a:(1, 1, -1, -1, -1, -1)
(0, -1)-->(2, -1) via a:(1, 1, -1, 1, 1, -1)
(0, -1)-->(2, -1) via a:(1, 1, 1, -1, 1, -1)
(0, -1)-->(2, -1) via a:(1, 1, 1, 1, -1, -1)
(0, -1)-->(2, 1) via a:(-1, -1, -1, -1, 1, 1)
(0, -1)-->(2, 1) via a:(-1, -1, -1, 1, -1, 1)
(0, -1)-->(2, 1) via a:(-1, -1, 1, -1, -1, 1)
(0, -1)-->(2, 1) via a:(-1, -1, 1, 1, 1, 1)
(0, -1)-->(2, 1) via a:(-1, 1, -1, -1, -1, 1)
(0, -1)-->(2, 1) via a:(-1, 1, -1, 1, 1, 1)
(0, -1)-->(2, 1) via a:(-1, 1, 1, -1, 1, 1)
(0, -1)-->(2, 1) via a:(-1, 1, 1, 1, -1, 1)
(0, -1)-->(2, 1) via a:(1, -1, -1, -1, -1, 1)
(0, -1)-->(2, 1) via a:(1, -1, -1, 1, 1, 1)
(0, -1)-->(2, 1) via a:(1, -1, 1, -1, 1, 1)
(0, -1)-->(2, 1) via a:(1, -1, 1, 1, -1, 1)
(0, -1)-->(2, 1) via a:(1, 1, -1, -1, 1, 1)
(0, -1)-->(2, 1) via a:(1, 1, -1, 1, -1, 1)
(0, -1)-->(2, 1) via a:(1, 1, 1, -1, -1, 1)
(0, -1)-->(2, 1) via a:(1, 1, 1, 1, 1, 1)
(0, 1)-->(0, -1) via a:(-1, -1, -1, -1, 1, -1)
(0, 1)-->(0, -1) via a:(-1, -1, -1, 1, -1, -1)
(0, 1)-->(0, -1) via a:(-1, -1, 1, -1, -1, -1)
(0, 1)-->(0, -1) via a:(-1, -1, 1, 1, 1, -1)
(0, 1)-->(0, -1) via a:(-1, 1, -1, -1, -1, -1)
(0, 1)-->(0, -1) via a:(-1, 1, -1, 1, 1, -1)
(0, 1)-->(0, -1) via a:(-1, 1, 1, -1, 1, -1)
(0, 1)-->(0, -1) via a:(-1, 1, 1, 1, -1, -1)
(0, 1)-->(0, -1) via a:(1, -1, -1, -1, -1, -1)
(0, 1)-->(0, -1) via a:(1, -1, -1, 1, 1, -1)
(0, 1)-->(0, -1) via a:(1, -1, 1, -1, 1, -1)
(0, 1)-->(0, -1) via a:(1, -1, 1, 1, -1, -1)
(0, 1)-->(0, -1) via a:(1, 1, -1, -1, 1, -1)
(0, 1)-->(0, -1) via a:(1, 1, -1, 1, -1, -1)
(0, 1)-->(0, -1) via a:(1, 1, 1, -1, -1, -1)
(0, 1)-->(0, -1) via a:(1, 1, 1, 1, 1, -1)
(0, 1)-->(0, 1) via a:(-1, -1, -1, -1, -1, 1)
(0, 1)-->(0, 1) via a:(-1, -1, -1, 1, 1, 1)
(0, 1)-->(0, 1) via a:(-1, -1, 1, -1, 1, 1)
(0, 1)-->(0, 1) via a:(-1, -1, 1, 1, -1, 1)
(0, 1)-->(0, 1) via a:(-1, 1, -1, -1, 1, 1)
(0, 1)-->(0, 1) via a:(-1, 1, -1, 1, -1, 1)
(0, 1)-->(0, 1) via a:(-1, 1, 1, -1, -1, 1)
(0, 1)-->(0, 1) via a:(-1, 1, 1, 1, 1, 1)
(0, 1)-->(0, 1) via a:(1, -1, -1, -1, 1, 1)
(0, 1)-->(0, 1) via a:(1, -1, -1, 1, -1, 1)
(0, 1)-->(0, 1) via a:(1, -1, 1, -1, -1, 1)
(0, 1)-->(0, 1) via a:(1, -1, 1, 1, 1, 1)
(0, 1)-->(0, 1) via a:(1, 1, -1, -1, -1, 1)
(0, 1)-->(0, 1) via a:(1, 1, -1, 1, 1, 1)
(0, 1)-->(0, 1) via a:(1, 1, 1, -1, 1, 1)
(0, 1)-->(0, 1) via a:(1, 1, 1, 1, -1, 1)
(0, 1)-->(2, -1) via a:(-1, -1, -1, -1, -1, -1)
(0, 1)-->(2, -1) via a:(-1, -1, -1, 1, 1, -1)
(0, 1)-->(2, -1) via a:(-1, -1, 1, -1, 1, -1)
(0, 1)-->(2, -1) via a:(-1, -1, 1, 1, -1, -1)
(0, 1)-->(2, -1) via a:(-1, 1, -1, -1, 1, -1)
(0, 1)-->(2, -1) via a:(-1, 1, -1, 1, -1, -1)
(0, 1)-->(2, -1) via a:(-1, 1, 1, -1, -1, -1)
(0, 1)-->(2, -1) via a:(-1, 1, 1, 1, 1, -1)
(0, 1)-->(2, -1) via a:(1, -1, -1, -1, 1, -1)
(0, 1)-->(2, -1) via a:(1, -1, -1, 1, -1, -1)
(0, 1)-->(2, -1) via a:(1, -1, 1, -1, -1, -1)
(0, 1)-->(2, -1) via a:(1, -1, 1, 1, 1, -1)
(0, 1)-->(2, -1) via a:(1, 1, -1, -1, -1, -1)
(0, 1)-->(2, -1) via a:(1, 1, -1, 1, 1, -1)
(0, 1)-->(2, -1) via a:(1, 1, 1, -1, 1, -1)
(0, 1)-->(2, -1) via a:(1, 1, 1, 1, -1, -1)
(0, 1)-->(2, 1) via a:(-1, -1, -1, -1, 1, 1)
(0, 1)-->(2, 1) via a:(-1, -1, -1, 1, -1, 1)
(0, 1)-->(2, 1) via a:(-1, -1, 1, -1, -1, 1)
(0, 1)-->(2, 1) via a:(-1, -1, 1, 1, 1, 1)
(0, 1)-->(2, 1) via a:(-1, 1, -1, -1, -1, 1)
(0, 1)-->(2, 1) via a:(-1, 1, -1, 1, 1, 1)
(0, 1)-->(2, 1) via a:(-1, 1, 1, -1, 1, 1)
(0, 1)-->(2, 1) via a:(-1, 1, 1, 1, -1, 1)
(0, 1)-->(2, 1) via a:(1, -1, -1, -1, -1, 1)
(0, 1)-->(2, 1) via a:(1, -1, -1, 1, 1, 1)
(0, 1)-->(2, 1) via a:(1, -1, 1, -1, 1, 1)
(0, 1)-->(2, 1) via a:(1, -1, 1, 1, -1, 1)
(0, 1)-->(2, 1) via a:(1, 1, -1, -1, 1, 1)
(0, 1)-->(2, 1) via a:(1, 1, -1, 1, -1, 1)
(0, 1)-->(2, 1) via a:(1, 1, 1, -1, -1, 1)
(0, 1)-->(2, 1) via a:(1, 1, 1, 1, 1, 1)
(1, -1)-->(1, -1) via a:(-1, -1, -1, -1, 1, -1)
(1, -1)-->(1, -1) via a:(-1, -1, -1, 1, -1, -1)
(1, -1)-->(1, -1) via a:(-1, -1, 1, -1, -1, -1)
(1, -1)-->(1, -1) via a:(-1, -1, 1, 1, 1, -1)
(1, -1)-->(1, -1) via a:(-1, 1, -1, -1, -1, -1)
(1, -1)-->(1, -1) via a:(-1, 1, -1, 1, 1, -1)
(1, -1)-->(1, -1) via a:(-1, 1, 1, -1, 1, -1)
(1, -1)-->(1, -1) via a:(-1, 1, 1, 1, -1, -1)
(1, -1)-->(1, -1) via a:(1, -1, -1, -1, -1, -1)
(1, -1)-->(1, -1) via a:(1, -1, -1, 1, 1, -1)
(1, -1)-->(1, -1) via a:(1, -1, 1, -1, 1, -1)
(1, -1)-->(1, -1) via a:(1, -1, 1, 1, -1, -1)
(1, -1)-->(1, -1) via a:(1, 1, -1, -1, 1, -1)
(1, -1)-->(1, -1) via a:(1, 1, -1, 1, -1, -1)
(1, -1)-->(1, -1) via a:(1, 1, 1, -1, -1, -1)
(1, -1)-->(1, -1) via a:(1, 1, 1, 1, 1, -1)
(1, -1)-->(1, 1) via a:(-1, -1, -1, -1, -1, 1)
(1, -1)-->(1, 1) via a:(-1, -1, -1, 1, 1, 1)
(1, -1)-->(1, 1) via a:(-1, -1, 1, -1, 1, 1)
(1, -1)-->(1, 1) via a:(-1, -1, 1, 1, -1, 1)
(1, -1)-->(1, 1) via a:(-1, 1, -1, -1, 1, 1)
(1, -1)-->(1, 1) via a:(-1, 1, -1, 1, -1, 1)
(1, -1)-->(1, 1) via a:(-1, 1, 1, -1, -1, 1)
(1, -1)-->(1, 1) via a:(-1, 1, 1, 1, 1, 1)
(1, -1)-->(1, 1) via a:(1, -1, -1, -1, 1, 1)
(1, -1)-->(1, 1) via a:(1, -1, -1, 1, -1, 1)
(1, -1)-->(1, 1) via a:(1, -1, 1, -1, -1, 1)
(1, -1)-->(1, 1) via a:(1, -1, 1, 1, 1, 1)
(1, -1)-->(1, 1) via a:(1, 1, -1, -1, -1, 1)
(1, -1)-->(1, 1) via a:(1, 1, -1, 1, 1, 1)
(1, -1)-->(1, 1) via a:(1, 1, 1, -1, 1, 1)
(1, -1)-->(1, 1) via a:(1, 1, 1, 1, -1, 1)
(1, -1)-->(3, -1) via a:(-1, -1, -1, -1, -1, -1)
(1, -1)-->(3, -1) via a:(-1, -1, -1, 1, 1, -1)
(1, -1)-->(3, -1) via a:(-1, -1, 1, -1, 1, -1)
(1, -1)-->(3, -1) via a:(-1, -1, 1, 1, -1, -1)
(1, -1)-->(3, -1) via a:(-1, 1, -1, -1, 1, -1)
(1, -1)-->(3, -1) via a:(-1, 1, -1, 1, -1, -1)
(1, -1)-->(3, -1) via a:(-1, 1, 1, -1, -1, -1)
(1, -1)-->(3, -1) via a:(-1, 1, 1, 1, 1, -1)
(1, -1)-->(3, -1) via a:(1, -1, -1, -1, 1, -1)
(1, -1)-->(3, -1) via a:(1, -1, -1, 1, -1, -1)
(1, -1)-->(3, -1) via a:(1, -1, 1, -1, -1, -1)
(1, -1)-->(3, -1) via a:(1, -1, 1, 1, 1, -1)
(1, -1)-->(3, -1) via a:(1, 1, -1, -1, -1, -1)
(1, -1)-->(3, -1) via a:(1, 1, -1, 1, 1, -1)
(1, -1)-->(3, -1) via a:(1, 1, 1, -1, 1, -1)
(1, -1)-->(3, -1) via a:(1, 1, 1, 1, -1, -1)
(1, -1)-->(3, 1) via a:(-1, -1, -1, -1, 1, 1)
(1, -1)-->(3, 1) via a:(-1, -1, -1, 1, -1, 1)
(1, -1)-->(3, 1) via a:(-1, -1, 1, -1, -1, 1)
(1, -1)-->(3, 1) via a:(-1, -1, 1, 1, 1, 1)
(1, -1)-->(3, 1) via a:(-1, 1, -1, -1, -1, 1)
(1, -1)-->(3, 1) via a:(-1, 1, -1, 1, 1, 1)
(1, -1)-->(3, 1) via a:(-1, 1, 1, -1, 1, 1)
(1, -1)-->(3, 1) via a:(-1, 1, 1, 1, -1, 1)
(1, -1)-->(3, 1) via a:(1, -1, -1, -1, -1, 1)
(1, -1)-->(3, 1) via a:(1, -1, -1, 1, 1, 1)
(1, -1)-->(3, 1) via a:(1, -1, 1, -1, 1, 1)
(1, -1)-->(3, 1) via a:(1, -1, 1, 1, -1, 1)
(1, -1)-->(3, 1) via a:(1, 1, -1, -1, 1, 1)
(1, -1)-->(3, 1) via a:(1, 1, -1, 1, -1, 1)
(1, -1)-->(3, 1) via a:(1, 1, 1, -1, -1, 1)
(1, -1)-->(3, 1) via a:(1, 1, 1, 1, 1, 1)
(1, 1)-->(1, -1) via a:(-1, -1, -1, -1, 1, -1)
(1, 1)-->(1, -1) via a:(-1, -1, -1, 1, -1, -1)
(1, 1)-->(1, -1) via a:(-1, -1, 1, -1, -1, -1)
(1, 1)-->(1, -1) via a:(-1, -1, 1, 1, 1, -1)
(1, 1)-->(1, -1) via a:(-1, 1, -1, -1, -1, -1)
(1, 1)-->(1, -1) via a:(-1, 1, -1, 1, 1, -1)
(1, 1)-->(1, -1) via a:(-1, 1, 1, -1, 1, -1)
(1, 1)-->(1, -1) via a:(-1, 1, 1, 1, -1, -1)
(1, 1)-->(1, -1) via a:(1, -1, -1, -1, -1, -1)
(1, 1)-->(1, -1) via a:(1, -1, -1, 1, 1, -1)
(1, 1)-->(1, -1) via a:(1, -1, 1, -1, 1, -1)
(1, 1)-->(1, -1) via a:(1, -1, 1, 1, -1, -1)
(1, 1)-->(1, -1) via a:(1, 1, -1, -1, 1, -1)
(1, 1)-->(1, -1) via a:(1, 1, -1, 1, -1, -1)
(1, 1)-->(1, -1) via a:(1, 1, 1, -1, -1, -1)
(1, 1)-->(1, -1) via a:(1, 1, 1, 1, 1, -1)
(1, 1)-->(1, 1) via a:(-1, -1, -1, -1, -1, 1)
(1, 1)-->(1, 1) via a:(-1, -1, -1, 1, 1, 1)
(1, 1)-->(1, 1) via a:(-1, -1, 1, -1, 1, 1)
(1, 1)-->(1, 1) via a:(-1, -1, 1, 1, -1, 1)
(1, 1)-->(1, 1) via a:(-1, 1, -1, -1, 1, 1)
(1, 1)-->(1, 1) via a:(-1, 1, -1, 1, -1, 1)
(1, 1)-->(1, 1) via a:(-1, 1, 1, -1, -1, 1)
(1, 1)-->(1, 1) via a:(-1, 1, 1, 1, 1, 1)
(1, 1)-->(1, 1) via a:(1, -1, -1, -1, 1, 1)
(1, 1)-->(1, 1) via a:(1, -1, -1, 1, -1, 1)
(1, 1)-->(1, 1) via a:(1, -1, 1, -1, -1, 1)
(1, 1)-->(1, 1) via a:(1, -1, 1, 1, 1, 1)
(1, 1)-->(1, 1) via a:(1, 1, -1, -1, -1, 1)
(1, 1)-->(1, 1) via a:(1, 1, -1, 1, 1, 1)
(1, 1)-->(1, 1) via a:(1, 1, 1, -1, 1, 1)
(1, 1)-->(1, 1) via a:(1, 1, 1, 1, -1, 1)
(1, 1)-->(3, -1) via a:(-1, -1, -1, -1, -1, -1)
(1, 1)-->(3, -1) via a:(-1, -1, -1, 1, 1, -1)
(1, 1)-->(3, -1) via a:(-1, -1, 1, -1, 1, -1)
(1, 1)-->(3, -1) via a:(-1, -1, 1, 1, -1, -1)
(1, 1)-->(3, -1) via a:(-1, 1, -1, -1, 1, -1)
(1, 1)-->(3, -1) via a:(-1, 1, -1, 1, -1, -1)
(1, 1)-->(3, -1) via a:(-1, 1, 1, -1, -1, -1)
(1, 1)-->(3, -1) via a:(-1, 1, 1, 1, 1, -1)
(1, 1)-->(3, -1) via a:(1, -1, -1, -1, 1, -1)
(1, 1)-->(3, -1) via a:(1, -1, -1, 1, -1, -1)
(1, 1)-->(3, -1) via a:(1, -1, 1, -1, -1, -1)
(1, 1)-->(3, -1) via a:(1, -1, 1, 1, 1, -1)
(1, 1)-->(3, -1) via a:(1, 1, -1, -1, -1, -1)
(1, 1)-->(3, -1) via a:(1, 1, -1, 1, 1, -1)
(1, 1)-->(3, -1) via a:(1, 1, 1, -1, 1, -1)
(1, 1)-->(3, -1) via a:(1, 1, 1, 1, -1, -1)
(1, 1)-->(3, 1) via a:(-1, -1, -1, -1, 1, 1)
(1, 1)-->(3, 1) via a:(-1, -1, -1, 1, -1, 1)
(1, 1)-->(3, 1) via a:(-1, -1, 1, -1, -1, 1)
(1, 1)-->(3, 1) via a:(-1, -1, 1, 1, 1, 1)
(1, 1)-->(3, 1) via a:(-1, 1, -1, -1, -1, 1)
(1, 1)-->(3, 1) via a:(-1, 1, -1, 1, 1, 1)
(1, 1)-->(3, 1) via a:(-1, 1, 1, -1, 1, 1)
(1, 1)-->(3, 1) via a:(-1, 1, 1, 1, -1, 1)
(1, 1)-->(3, 1) via a:(1, -1, -1, -1, -1, 1)
(1, 1)-->(3, 1) via a:(1, -1, -1, 1, 1, 1)
(1, 1)-->(3, 1) via a:(1, -1, 1, -1, 1, 1)
(1, 1)-->(3, 1) via a:(1, -1, 1, 1, -1, 1)
(1, 1)-->(3, 1) via a:(1, 1, -1, -1, 1, 1)
(1, 1)-->(3, 1) via a:(1, 1, -1, 1, -1, 1)
(1, 1)-->(3, 1) via a:(1, 1, 1, -1, -1, 1)
(1, 1)-->(3, 1) via a:(1, 1, 1, 1, 1, 1)
(2, -1)-->(0, -1) via a:(-1, -1, -1, -1, -1, -1)
(2, -1)-->(0, -1) via a:(-1, -1, -1, 1, 1, -1)
(2, -1)-->(0, -1) via a:(-1, -1, 1, -1, 1, -1)
(2, -1)-->(0, -1) via a:(-1, -1, 1, 1, -1, -1)
(2, -1)-->(0, -1) via a:(-1, 1, -1, -1, 1, -1)
(2, -1)-->(0, -1) via a:(-1, 1, -1, 1, -1, -1)
(2, -1)-->(0, -1) via a:(-1, 1, 1, -1, -1, -1)
(2, -1)-->(0, -1) via a:(-1, 1, 1, 1, 1, -1)
(2, -1)-->(0, -1) via a:(1, -1, -1, -1, 1, -1)
(2, -1)-->(0, -1) via a:(1, -1, -1, 1, -1, -1)
(2, -1)-->(0, -1) via a:(1, -1, 1, -1, -1, -1)
(2, -1)-->(0, -1) via a:(1, -1, 1, 1, 1, -1)
(2, -1)-->(0, -1) via a:(1, 1, -1, -1, -1, -1)
(2, -1)-->(0, -1) via a:(1, 1, -1, 1, 1, -1)
(2, -1)-->(0, -1) via a:(1, 1, 1, -1, 1, -1)
(2, -1)-->(0, -1) via a:(1, 1, 1, 1, -1, -1)
(2, -1)-->(0, 1) via a:(-1, -1, -1, -1, 1, 1)
(2, -1)-->(0, 1) via a:(-1, -1, -1, 1, -1, 1)
(2, -1)-->(0, 1) via a:(-1, -1, 1, -1, -1, 1)
(2, -1)-->(0, 1) via a:(-1, -1, 1, 1, 1, 1)
(2, -1)-->(0, 1) via a:(-1, 1, -1, -1, -1, 1)
(2, -1)-->(0, 1) via a:(-1, 1, -1, 1, 1, 1)
(2, -1)-->(0, 1) via a:(-1, 1, 1, -1, 1, 1)
(2, -1)-->(0, 1) via a:(-1, 1, 1, 1, -1, 1)
(2, -1)-->(0, 1) via a:(1, -1, -1, -1, -1, 1)
(2, -1)-->(0, 1) via a:(1, -1, -1, 1, 1, 1)
(2, -1)-->(0, 1) via a:(1, -1, 1, -1, 1, 1)
(2, -1)-->(0, 1) via a:(1, -1, 1, 1, -1, 1)
(2, -1)-->(0, 1) via a:(1, 1, -1, -1, 1, 1)
(2, -1)-->(0, 1) via a:(1, 1, -1, 1, -1, 1)
(2, -1)-->(0, 1) via a:(1, 1, 1, -1, -1, 1)
(2, -1)-->(0, 1) via a:(1, 1, 1, 1, 1, 1)
(2, -1)-->(2, -1) via a:(-1, -1, -1, -1, 1, -1)
(2, -1)-->(2, -1) via a:(-1, -1, -1, 1, -1, -1)
(2, -1)-->(2, -1) via a:(-1, -1, 1, -1, -1, -1)
(2, -1)-->(2, -1) via a:(-1, -1, 1, 1, 1, -1)
(2, -1)-->(2, -1) via a:(-1, 1, -1, -1, -1, -1)
(2, -1)-->(2, -1) via a:(-1, 1, -1, 1, 1, -1)
(2, -1)-->(2, -1) via a:(-1, 1, 1, -1, 1, -1)
(2, -1)-->(2, -1) via a:(-1, 1, 1, 1, -1, -1)
(2, -1)-->(2, -1) via a:(1, -1, -1, -1, -1, -1)
(2, -1)-->(2, -1) via a:(1, -1, -1, 1, 1, -1)
(2, -1)-->(2, -1) via a:(1, -1, 1, -1, 1, -1)
(2, -1)-->(2, -1) via a:(1, -1, 1, 1, -1, -1)
(2, -1)-->(2, -1) via a:(1, 1, -1, -1, 1, -1)
(2, -1)-->(2, -1) via a:(1, 1, -1, 1, -1, -1)
(2, -1)-->(2, -1) via a:(1, 1, 1, -1, -1, -1)
(2, -1)-->(2, -1) via a:(1, 1, 1, 1, 1, -1)
(2, -1)-->(2, 1) via a:(-1, -1, -1, -1, -1, 1)
(2, -1)-->(2, 1) via a:(-1, -1, -1, 1, 1, 1)
(2, -1)-->(2, 1) via a:(-1, -1, 1, -1, 1, 1)
(2, -1)-->(2, 1) via a:(-1, -1, 1, 1, -1, 1)
(2, -1)-->(2, 1) via a:(-1, 1, -1, -1, 1, 1)
(2, -1)-->(2, 1) via a:(-1, 1, -1, 1, -1, 1)
(2, -1)-->(2, 1) via a:(-1, 1, 1, -1, -1, 1)
(2, -1)-->(2, 1) via a:(-1, 1, 1, 1, 1, 1)
(2, -1)-->(2, 1) via a:(1, -1, -1, -1, 1, 1)
(2, -1)-->(2, 1) via a:(1, -1, -1, 1, -1, 1)
(2, -1)-->(2, 1) via a:(1, -1, 1, -1, -1, 1)
(2, -1)-->(2, 1) via a:(1, -1, 1, 1, 1, 1)
(2, -1)-->(2, 1) via a:(1, 1, -1, -1, -1, 1)
(2, -1)-->(2, 1) via a:(1, 1, -1, 1, 1, 1)
(2, -1)-->(2, 1) via a:(1, 1, 1, -1, 1, 1)
(2, -1)-->(2, 1) via a:(1, 1, 1, 1, -1, 1)
(2, 1)-->(0, -1) via a:(-1, -1, -1, -1, -1, -1)
(2, 1)-->(0, -1) via a:(-1, -1, -1, 1, 1, -1)
(2, 1)-->(0, -1) via a:(-1, -1, 1, -1, 1, -1)
(2, 1)-->(0, -1) via a:(-1, -1, 1, 1, -1, -1)
(2, 1)-->(0, -1) via a:(-1, 1, -1, -1, 1, -1)
(2, 1)-->(0, -1) via a:(-1, 1, -1, 1, -1, -1)
(2, 1)-->(0, -1) via a:(-1, 1, 1, -1, -1, -1)
(2, 1)-->(0, -1) via a:(-1, 1, 1, 1, 1, -1)
(2, 1)-->(0, -1) via a:(1, -1, -1, -1, 1, -1)
(2, 1)-->(0, -1) via a:(1, -1, -1, 1, -1, -1)
(2, 1)-->(0, -1) via a:(1, -1, 1, -1, -1, -1)
(2, 1)-->(0, -1) via a:(1, -1, 1, 1, 1, -1)
(2, 1)-->(0, -1) via a:(1, 1, -1, -1, -1, -1)
(2, 1)-->(0, -1) via a:(1, 1, -1, 1, 1, -1)
(2, 1)-->(0, -1) via a:(1, 1, 1, -1, 1, -1)
(2, 1)-->(0, -1) via a:(1, 1, 1, 1, -1, -1)
(2, 1)-->(0, 1) via a:(-1, -1, -1, -1, 1, 1)
(2, 1)-->(0, 1) via a:(-1, -1, -1, 1, -1, 1)
(2, 1)-->(0, 1) via a:(-1, -1, 1, -1, -1, 1)
(2, 1)-->(0, 1) via a:(-1, -1, 1, 1, 1, 1)
(2, 1)-->(0, 1) via a:(-1, 1, -1, -1, -1, 1)
(2, 1)-->(0, 1) via a:(-1, 1, -1, 1, 1, 1)
(2, 1)-->(0, 1) via a:(-1, 1, 1, -1, 1, 1)
(2, 1)-->(0, 1) via a:(-1, 1, 1, 1, -1, 1)
(2, 1)-->(0, 1) via a:(1, -1, -1, -1, -1, 1)
(2, 1)-->(0, 1) via a:(1, -1, -1, 1, 1, 1)
(2, 1)-->(0, 1) via a:(1, -1, 1, -1, 1, 1)
(2, 1)-->(0, 1) via a:(1, -1, 1, 1, -1, 1)
(2, 1)-->(0, 1) via a:(1, 1, -1, -1, 1, 1)
(2, 1)-->(0, 1) via a:(1, 1, -1, 1, -1, 1)
(2, 1)-->(0, 1) via a:(1, 1, 1, -1, -1, 1)
(2, 1)-->(0, 1) via a:(1, 1, 1, 1, 1, 1)
(2, 1)-->(2, -1) via a:(-1, -1, -1, -1, 1, -1)
(2, 1)-->(2, -1) via a:(-1, -1, -1, 1, -1, -1)
(2, 1)-->(2, -1) via a:(-1, -1, 1, -1, -1, -1)
(2, 1)-->(2, -1) via a:(-1, -1, 1, 1, 1, -1)
(2, 1)-->(2, -1) via a:(-1, 1, -1, -1, -1, -1)
(2, 1)-->(2, -1) via a:(-1, 1, -1, 1, 1, -1)
(2, 1)-->(2, -1) via a:(-1, 1, 1, -1, 1, -1)
(2, 1)-->(2, -1) via a:(-1, 1, 1, 1, -1, -1)
(2, 1)-->(2, -1) via a:(1, -1, -1, -1, -1, -1)
(2, 1)-->(2, -1) via a:(1, -1, -1, 1, 1, -1)
(2, 1)-->(2, -1) via a:(1, -1, 1, -1, 1, -1)
(2, 1)-->(2, -1) via a:(1, -1, 1, 1, -1, -1)
(2, 1)-->(2, -1) via a:(1, 1, -1, -1, 1, -1)
(2, 1)-->(2, -1) via a:(1, 1, -1, 1, -1, -1)
(2, 1)-->(2, -1) via a:(1, 1, 1, -1, -1, -1)
(2, 1)-->(2, -1) via a:(1, 1, 1, 1, 1, -1)
(2, 1)-->(2, 1) via a:(-1, -1, -1, -1, -1, 1)
(2, 1)-->(2, 1) via a:(-1, -1, -1, 1, 1, 1)
(2, 1)-->(2, 1) via a:(-1, -1, 1, -1, 1, 1)
(2, 1)-->(2, 1) via a:(-1, -1, 1, 1, -1, 1)
(2, 1)-->(2, 1) via a:(-1, 1, -1, -1, 1, 1)
(2, 1)-->(2, 1) via a:(-1, 1, -1, 1, -1, 1)
(2, 1)-->(2, 1) via a:(-1, 1, 1, -1, -1, 1)
(2, 1)-->(2, 1) via a:(-1, 1, 1, 1, 1, 1)
(2, 1)-->(2, 1) via a:(1, -1, -1, -1, 1, 1)
(2, 1)-->(2, 1) via a:(1, -1, -1, 1, -1, 1)
(2, 1)-->(2, 1) via a:(1, -1, 1, -1, -1, 1)
(2, 1)-->(2, 1) via a:(1, -1, 1, 1, 1, 1)
(2, 1)-->(2, 1) via a:(1, 1, -1, -1, -1, 1)
(2, 1)-->(2, 1) via a:(1, 1, -1, 1, 1, 1)
(2, 1)-->(2, 1) via a:(1, 1, 1, -1, 1, 1)
(2, 1)-->(2, 1) via a:(1, 1, 1, 1, -1, 1)
(3, -1)-->(1, -1) via a:(-1, -1, -1, -1, -1, -1)
(3, -1)-->(1, -1) via a:(-1, -1, -1, 1, 1, -1)
(3, -1)-->(1, -1) via a:(-1, -1, 1, -1, 1, -1)
(3, -1)-->(1, -1) via a:(-1, -1, 1, 1, -1, -1)
(3, -1)-->(1, -1) via a:(-1, 1, -1, -1, 1, -1)
(3, -1)-->(1, -1) via a:(-1, 1, -1, 1, -1, -1)
(3, -1)-->(1, -1) via a:(-1, 1, 1, -1, -1, -1)
(3, -1)-->(1, -1) via a:(-1, 1, 1, 1, 1, -1)
(3, -1)-->(1, -1) via a:(1, -1, -1, -1, 1, -1)
(3, -1)-->(1, -1) via a:(1, -1, -1, 1, -1, -1)
(3, -1)-->(1, -1) via a:(1, -1, 1, -1, -1, -1)
(3, -1)-->(1, -1) via a:(1, -1, 1, 1, 1, -1)
(3, -1)-->(1, -1) via a:(1, 1, -1, -1, -1, -1)
(3, -1)-->(1, -1) via a:(1, 1, -1, 1, 1, -1)
(3, -1)-->(1, -1) via a:(1, 1, 1, -1, 1, -1)
(3, -1)-->(1, -1) via a:(1, 1, 1, 1, -1, -1)
(3, -1)-->(1, 1) via a:(-1, -1, -1, -1, 1, 1)
(3, -1)-->(1, 1) via a:(-1, -1, -1, 1, -1, 1)
(3, -1)-->(1, 1) via a:(-1, -1, 1, -1, -1, 1)
(3, -1)-->(1, 1) via a:(-1, -1, 1, 1, 1, 1)
(3, -1)-->(1, 1) via a:(-1, 1, -1, -1, -1, 1)
(3, -1)-->(1, 1) via a:(-1, 1, -1, 1, 1, 1)
(3, -1)-->(1, 1) via a:(-1, 1, 1, -1, 1, 1)
(3, -1)-->(1, 1) via a:(-1, 1, 1, 1, -1, 1)
(3, -1)-->(1, 1) via a:(1, -1, -1, -1, -1, 1)
(3, -1)-->(1, 1) via a:(1, -1, -1, 1, 1, 1)
(3, -1)-->(1, 1) via a:(1, -1, 1, -1, 1, 1)
(3, -1)-->(1, 1) via a:(1, -1, 1, 1, -1, 1)
(3, -1)-->(1, 1) via a:(1, 1, -1, -1, 1, 1)
(3, -1)-->(1, 1) via a:(1, 1, -1, 1, -1, 1)
(3, -1)-->(1, 1) via a:(1, 1, 1, -1, -1, 1)
(3, -1)-->(1, 1) via a:(1, 1, 1, 1, 1, 1)
(3, -1)-->(3, -1) via a:(-1, -1, -1, -1, 1, -1)
(3, -1)-->(3, -1) via a:(-1, -1, -1, 1, -1, -1)
(3, -1)-->(3, -1) via a:(-1, -1, 1, -1, -1, -1)
(3, -1)-->(3, -1) via a:(-1, -1, 1, 1, 1, -1)
(3, -1)-->(3, -1) via a:(-1, 1, -1, -1, -1, -1)
(3, -1)-->(3, -1) via a:(-1, 1, -1, 1, 1, -1)
(3, -1)-->(3, -1) via a:(-1, 1, 1, -1, 1, -1)
(3, -1)-->(3, -1) via a:(-1, 1, 1, 1, -1, -1)
(3, -1)-->(3, -1) via a:(1, -1, -1, -1, -1, -1)
(3, -1)-->(3, -1) via a:(1, -1, -1, 1, 1, -1)
(3, -1)-->(3, -1) via a:(1, -1, 1, -1, 1, -1)
(3, -1)-->(3, -1) via a:(1, -1, 1, 1, -1, -1)
(3, -1)-->(3, -1) via a:(1, 1, -1, -1, 1, -1)
(3, -1)-->(3, -1) via a:(1, 1, -1, 1, -1, -1)
(3, -1)-->(3, -1) via a:(1, 1, 1, -1, -1, -1)
(3, -1)-->(3, -1) via a:(1, 1, 1, 1, 1, -1)
(3, -1)-->(3, 1) via a:(-1, -1, -1, -1, -1, 1)
(3, -1)-->(3, 1) via a:(-1, -1, -1, 1, 1, 1)
(3, -1)-->(3, 1) via a:(-1, -1, 1, -1, 1, 1)
(3, -1)-->(3, 1) via a:(-1, -1, 1, 1, -1, 1)
(3, -1)-->(3, 1) via a:(-1, 1, -1, -1, 1, 1)
(3, -1)-->(3, 1) via a:(-1, 1, -1, 1, -1, 1)
(3, -1)-->(3, 1) via a:(-1, 1, 1, -1, -1, 1)
(3, -1)-->(3, 1) via a:(-1, 1, 1, 1, 1, 1)
(3, -1)-->(3, 1) via a:(1, -1, -1, -1, 1, 1)
(3, -1)-->(3, 1) via a:(1, -1, -1, 1, -1, 1)
(3, -1)-->(3, 1) via a:(1, -1, 1, -1, -1, 1)
(3, -1)-->(3, 1) via a:(1, -1, 1, 1, 1, 1)
(3, -1)-->(3, 1) via a:(1, 1, -1, -1, -1, 1)
(3, -1)-->(3, 1) via a:(1, 1, -1, 1, 1, 1)
(3, -1)-->(3, 1) via a:(1, 1, 1, -1, 1, 1)
(3, -1)-->(3, 1) via a:(1, 1, 1, 1, -1, 1)
(3, 1)-->(1, -1) via a:(-1, -1, -1, -1, -1, -1)
(3, 1)-->(1, -1) via a:(-1, -1, -1, 1, 1, -1)
(3, 1)-->(1, -1) via a:(-1, -1, 1, -1, 1, -1)
(3, 1)-->(1, -1) via a:(-1, -1, 1, 1, -1, -1)
(3, 1)-->(1, -1) via a:(-1, 1, -1, -1, 1, -1)
(3, 1)-->(1, -1) via a:(-1, 1, -1, 1, -1, -1)
(3, 1)-->(1, -1) via a:(-1, 1, 1, -1, -1, -1)
(3, 1)-->(1, -1) via a:(-1, 1, 1, 1, 1, -1)
(3, 1)-->(1, -1) via a:(1, -1, -1, -1, 1, -1)
(3, 1)-->(1, -1) via a:(1, -1, -1, 1, -1, -1)
(3, 1)-->(1, -1) via a:(1, -1, 1, -1, -1, -1)
(3, 1)-->(1, -1) via a:(1, -1, 1, 1, 1, -1)
(3, 1)-->(1, -1) via a:(1, 1, -1, -1, -1, -1)
(3, 1)-->(1, -1) via a:(1, 1, -1, 1, 1, -1)
(3, 1)-->(1, -1) via a:(1, 1, 1, -1, 1, -1)
(3, 1)-->(1, -1) via a:(1, 1, 1, 1, -1, -1)
(3, 1)-->(1, 1) via a:(-1, -1, -1, -1, 1, 1)
(3, 1)-->(1, 1) via a:(-1, -1, -1, 1, -1, 1)
(3, 1)-->(1, 1) via a:(-1, -1, 1, -1, -1, 1)
(3, 1)-->(1, 1) via a:(-1, -1, 1, 1, 1, 1)
(3, 1)-->(1, 1) via a:(-1, 1, -1, -1, -1, 1)
(3, 1)-->(1, 1) via a:(-1, 1, -1, 1, 1, 1)
(3, 1)-->(1, 1) via a:(-1, 1, 1, -1, 1, 1)
(3, 1)-->(1, 1) via a:(-1, 1, 1, 1, -1, 1)
(3, 1)-->(1, 1) via a:(1, -1, -1, -1, -1, 1)
(3, 1)-->(1, 1) via a:(1, -1, -1, 1, 1, 1)
(3, 1)-->(1, 1) via a:(1, -1, 1, -1, 1, 1)
(3, 1)-->(1, 1) via a:(1, -1, 1, 1, -1, 1)
(3, 1)-->(1, 1) via a:(1, 1, -1, -1, 1, 1)
(3, 1)-->(1, 1) via a:(1, 1, -1, 1, -1, 1)
(3, 1)-->(1, 1) via a:(1, 1, 1, -1, -1, 1)
(3, 1)-->(1, 1) via a:(1, 1, 1, 1, 1, 1)
(3, 1)-->(3, -1) via a:(-1, -1, -1, -1, 1, -1)
(3, 1)-->(3, -1) via a:(-1, -1, -1, 1, -1, -1)
(3, 1)-->(3, -1) via a:(-1, -1, 1, -1, -1, -1)
(3, 1)-->(3, -1) via a:(-1, -1, 1, 1, 1, -1)
(3, 1)-->(3, -1) via a:(-1, 1, -1, -1, -1, -1)
(3, 1)-->(3, -1) via a:(-1, 1, -1, 1, 1, -1)
(3, 1)-->(3, -1) via a:(-1, 1, 1, -1, 1, -1)
(3, 1)-->(3, -1) via a:(-1, 1, 1, 1, -1, -1)
(3, 1)-->(3, -1) via a:(1, -1, -1, -1, -1, -1)
(3, 1)-->(3, -1) via a:(1, -1, -1, 1, 1, -1)
(3, 1)-->(3, -1) via a:(1, -1, 1, -1, 1, -1)
(3, 1)-->(3, -1) via a:(1, -1, 1, 1, -1, -1)
(3, 1)-->(3, -1) via a:(1, 1, -1, -1, 1, -1)
(3, 1)-->(3, -1) via a:(1, 1, -1, 1, -1, -1)
(3, 1)-->(3, -1) via a:(1, 1, 1, -1, -1, -1)
(3, 1)-->(3, -1) via a:(1, 1, 1, 1, 1, -1)
(3, 1)-->(3, 1) via a:(-1, -1, -1, -1, -1, 1)
(3, 1)-->(3, 1) via a:(-1, -1, -1, 1, 1, 1)
(3, 1)-->(3, 1) via a:(-1, -1, 1, -1, 1, 1)
(3, 1)-->(3, 1) via a:(-1, -1, 1, 1, -1, 1)
(3, 1)-->(3, 1) via a:(-1, 1, -1, -1, 1, 1)
(3, 1)-->(3, 1) via a:(-1, 1, -1, 1, -1, 1)
(3, 1)-->(3, 1) via a:(-1, 1, 1, -1, -1, 1)
(3, 1)-->(3, 1) via a:(-1, 1, 1, 1, 1, 1)
(3, 1)-->(3, 1) via a:(1, -1, -1, -1, 1, 1)
(3, 1)-->(3, 1) via a:(1, -1, -1, 1, -1, 1)
(3, 1)-->(3, 1) via a:(1, -1, 1, -1, -1, 1)
(3, 1)-->(3, 1) via a:(1, -1, 1, 1, 1, 1)
(3, 1)-->(3, 1) via a:(1, 1, -1, -1, -1, 1)
(3, 1)-->(3, 1) via a:(1, 1, -1, 1, 1, 1)
(3, 1)-->(3, 1) via a:(1, 1, 1, -1, 1, 1)
(3, 1)-->(3, 1) via a:(1, 1, 1, 1, -1, 1)

