([0,0,0,0,0,0],[1,1,1,1,1,1])-->(0,0)
([1,2,3,4,5,6],[1,2,3,4,5,6])-->(6,0)
([1,2,3,4,5,6],[6,5,4,3,2,1])-->(0,6)
([1,2,3,4,5,6],[1,2,3,6,4,5])-->(3,3)
([1,1,1,1,1,1],[1,1,1,0,0,0])-->(3,0)
([1,0,0,0,0,1],[0,1,1,1,1,0])-->(0,4)
([1,0,0,0,0,1],[1,1,1,1,1,1])-->(2,0)
([1,1,1,1,1,1],[1,0,0,0,0,0])-->(1,0)
([4,5,4,7,7,1],[4,4,5,7,0,5])-->(2,2)
([1,3,3,1,4,5],[3,1,1,3,5,4])-->(0,6)
([1,3,3,1,4,5],[1,3,1,3,6,7])-->(2,2)
([2,3,6,6,7,0],[3,6,7,6,0,3])-->(1,4)
([1,4,6,2],[1,4,6,2])-->(4,0)
([1,4,6,2],[1,0,6,2])-->(3,0)
([1,4,6,2],[1,0,6,0])-->(2,0)
([1,4,6,2],[3,0,5,1])-->(0,1)
([1,4,6,2],[3,1,5,1])-->(0,1)
([1,4,6,2],[0,1,1,1])-->(0,1)
([1,4,6,2],[1,1,1,1])-->(1,0)
([1,4,6,2],[2,2,1,1])-->(0,2)
([1,4,6,4],[4,4,6,6])-->(2,1)
([1,4,6,4],[4,4,4,6])-->(1,2)
([1,4,6,4],[3,4,6,1])-->(1,2)
([5,7,7,5],[1,7,1,7])-->(1,1)
([5,7,7,5],[1,7,1,7])-->(1,1)
([5,7,7,5],[1,7,7,7])-->(2,0)
([5,7,7,5],[7,7,5,7])-->(1,2)
([7,7,1,7],[7,7,7,7])-->(3,0)
([7,7,1,7],[1,7,2,7])-->(2,1)
([7,7,1,7],[1,2,3,4])-->(0,1)
([7,7,7,7],[7,7,7,7])-->(4,0)
([7,7,7,7],[1,7,1,7])-->(2,0)
([7,7,7,7],[1,2,3,4])-->(0,0)
([0,0,0,0,0],[1,2,3,4,5])-->(0,0)
([0,0,0,0,0],[0,0,0,0,0])-->(5,0)
([1,2,3,4,5],[2,3,4,5,1])-->(0,5)
([0,0,0,0,0],[1,2,3,4,0])-->(1,0)
([0,0,0,0,0],[1,0,0,4,5])-->(2,0)
([(1,2,3,4,5],[1,3,5,4,7])-->(2,2)
([0,4,4,3,1],[4,0,4,1,1])-->(2,2)
([0,3,3,1,1],[1,3,3,5,4])-->(2,1)
([0,1,2,3,4],[4,7,7,0,1])-->(0,3)
([1,2,3,4,5],[1,5,2,3,4])-->(1,4)
([],[])-->(0,0)
([0,0,1,1,2,2,3,3],[0,1,2,3,4,5,6,7])-->(1,3)
([0,3,0,6,8,1],[3,7,9,9,8,1])-->(2,1)
([1,2,3,4,9,8],[9,5,4,2,3,1])-->(0,5)
([9,9,9,9,9,9],[8,8,8,8,8,8])-->(0,0)
([2,2,3,3,3,3],[1,1,2,2,4,5])-->(0,2)
([1,0,0,0,0,0],[1,1,2,2,2,2])-->(1,0)
([8,8,8,8,8,1],[9,9,9,9,1,1])-->(1,0)
([1,1,2,2,2,2],[1,0,0,0,0,0])-->(1,0)
([6,6,5,5,6,6],[5,7,7,5,7,7])-->(1,1)
([0,0,0,2,2,2],[1,1,1,2,2,2])-->(3,0)
([0,0,0,0,0,0],[0,0,0,0,0,0])-->(6,0)
([0,0,0,0,0,0],[0,0,0,0,0,0])-->(6,0)
([1,0,0,0,0,0],[0,0,0,0,0,0])-->(5,0)
([1,1,0,0,0,0],[0,0,0,0,0,0])-->(4,0)
([1,1,1,0,0,0],[0,0,0,0,0,0])-->(3,0)
([1,1,1,1,0,0],[0,0,0,0,0,0])-->(2,0)
([1,1,1,1,1,0],[0,0,0,0,0,0])-->(1,0)
([1,1,1,1,1,1],[0,0,0,0,0,0])-->(0,0)
([1,0,0,0,0,0],[0,0,0,0,0,1])-->(4,2)
([1,1,0,0,0,0],[0,0,0,0,1,1])-->(2,4)
([1,1,1,0,0,0],[0,0,0,1,1,1])-->(0,6)
([1,1,1,1,0,0],[0,0,1,1,1,1])-->(2,4)
([1,1,1,1,1,0],[0,1,1,1,1,1])-->(4,2)
([1,1,1,1,1,1],[1,1,1,1,1,1])-->(6,0)
([0,0,0,0,0,0],[1,1,1,1,1,1])-->(0,0)
([1,0,0,0,0,0],[0,1,1,1,1,1])-->(0,2)
([1,1,0,0,0,0],[0,0,1,1,1,1])-->(0,4)
([0,1,2,0,0,0],[2,0,1,0,0,0])-->(3,3)
([0,1,2,3,0,0],[4,5,6,7,7,7])-->(0,0)
([1,2,3,4,5,0],[0,1,2,3,4,5])-->(0,6)
([1,2,3,4,5,0],[1,2,3,4,5,0])-->(6,0)
([1,1,2,2,3,3],[3,5,1,2,4,4])-->(1,2)
([0,0,0,0,0,0],[1,0,2,5,2,5])-->(1,0)
([1,5,2,1,0,2],[2,1,1,1,0,2])-->(3,2)
([1,1,1,1,0,2],[2,1,1,1,2,2])-->(4,0)
([1,2,7,5,0,1],[2,5,7,7,2,2])-->(1,2)
([1,1,1,1,1,7],[6,6,6,6,6,1])-->(0,1)
([0,4,4,3,1,7],[4,0,4,1,1,5])-->(2,2)
([3,0,1,5,7,3],[0,3,3,3,3,3])-->(1,2)
([1,4,6,2],[1,4,6,2])-->(4,0)
([1,4,6,2],[1,0,6,2])-->(3,0)
([1,4,6,2],[1,0,6,0])-->(2,0)
([1,4,6,2],[3,0,5,1])-->(0,1)
([1,4,6,2],[3,1,5,1])-->(0,1)
([1,4,6,2],[0,1,1,1])-->(0,1)
([1,4,6,2],[1,1,1,1])-->(1,0)
([1,4,6,2],[2,2,1,1])-->(0,2)
([1,4,6,4],[4,4,6,6])-->(2,1)
([1,4,6,4],[4,4,4,6])-->(1,2)
([5,7,7,5],[1,7,1,7])-->(1,1)
([5,7,7,5],[1,7,1,7])-->(1,1)
([5,7,7,5],[1,7,7,7])-->(2,0)
([5,7,7,5],[7,7,5,7])-->(1,2)
([7,7,1,7],[7,7,7,7])-->(3,0)
([7,7,1,7],[1,7,2,7])-->(2,1)
([7,7,1,7],[1,2,3,4])-->(0,1)
([7,7,7,7],[7,7,7,7])-->(4,0)
([7,7,7,7],[1,7,1,7])-->(2,0)
([7,7,7,7],[1,2,3,4])-->(0,0)
([0,0,0,0,0,0],[1,1,1,1,1,1])-->(0,0)
([1,2,3,4,5,6],[1,2,3,4,5,6])-->(6,0)
([1,2,3,4,5,6],[6,5,4,3,2,1])-->(0,6)
([1,2,3,4,5,6],[1,2,3,6,4,5])-->(3,3)
([1,1,1,1,1,1],[1,1,1,0,0,0])-->(3,0)
([1,0,0,0,0,1],[0,1,1,1,1,0])-->(0,4)
([1,0,0,0,0,1],[1,1,1,1,1,1])-->(2,0)
([1,1,1,1,1,1],[1,0,0,0,0,0])-->(1,0)
([4,5,4,7,7,1],[4,4,5,7,0,5])-->(2,2)
([1,3,3,1,4,5],[3,1,1,3,5,4])-->(0,6)
([1,3,3,1,4,5],[1,3,1,3,6,7])-->(2,2)
([2,3,6,6,7,0],[3,6,7,6,0,3])-->(1,4)
([1,4,6,2],[1,4,6,2])-->(4,0)
([1,4,6,2],[1,0,6,2])-->(3,0)
([1,4,6,2],[1,0,6,0])-->(2,0)
([1,4,6,2],[3,0,5,1])-->(0,1)
([1,4,6,2],[3,1,5,1])-->(0,1)
([1,4,6,2],[0,1,1,1])-->(0,1)
([1,4,6,2],[1,1,1,1])-->(1,0)
([1,4,6,2],[2,2,1,1])-->(0,2)
([1,4,6,4],[4,4,6,6])-->(2,1)
([1,4,6,4],[4,4,4,6])-->(1,2)
([1,4,6,4],[3,4,6,1])-->(1,2)
([5,7,7,5],[1,7,1,7])-->(1,1)
([5,7,7,5],[1,7,1,7])-->(1,1)
([5,7,7,5],[1,7,7,7])-->(2,0)
([5,7,7,5],[7,7,5,7])-->(1,2)
([7,7,1,7],[7,7,7,7])-->(3,0)
([7,7,1,7],[1,7,2,7])-->(2,1)
([7,7,1,7],[1,2,3,4])-->(0,1)
([7,7,7,7],[7,7,7,7])-->(4,0)
([7,7,7,7],[1,7,1,7])-->(2,0)
([7,7,7,7],[1,2,3,4])-->(0,0)
([0,0,0,0,0],[1,2,3,4,5])-->(0,0)
([0,0,0,0,0],[0,0,0,0,0])-->(5,0)
([1,2,3,4,5],[2,3,4,5,1])-->(0,5)
([0,0,0,0,0],[1,2,3,4,0])-->(1,0)
([0,0,0,0,0],[1,0,0,4,5])-->(2,0)
([1,2,3,4,5],[1,3,5,4,7])-->(2,2)
([0,4,4,3,1],[4,0,4,1,1])-->(2,2)
([0,3,3,1,1],[1,3,3,5,4])-->(2,1)
([0,1,2,3,4],[4,7,7,0,1])-->(0,3)
([1,2,3,4,5],[1,5,2,3,4])-->(1,4)
([],[])-->(0,0)
([0,0,1,1,2,2,3,3],[0,1,2,3,4,5,6,7])-->(1,3)
([0,3,0,6,8,1],[3,7,9,9,8,1])-->(2,1)
([1,2,3,4,9,8],[9,5,4,2,3,1])-->(0,5)
([9,9,9,9,9,9],[8,8,8,8,8,8])-->(0,0)
([2,2,3,3,3,3],[1,1,2,2,4,5])-->(0,2)
([1,0,0,0,0,0],[1,1,2,2,2,2])-->(1,0)
([8,8,8,8,8,1],[9,9,9,9,1,1])-->(1,0)
([1,1,2,2,2,2],[1,0,0,0,0,0])-->(1,0)
([6,6,5,5,6,6],[5,7,7,5,7,7])-->(1,1)
([0,0,0,2,2,2],[1,1,1,2,2,2])-->(3,0)
([0,0,0,0,0,0],[0,0,0,0,0,0])-->(6,0)
([0,0,0,0,0,0],[0,0,0,0,0,0])-->(6,0)
([1,0,0,0,0,0],[0,0,0,0,0,0])-->(5,0)
([1,1,0,0,0,0],[0,0,0,0,0,0])-->(4,0)
([1,1,1,0,0,0],[0,0,0,0,0,0])-->(3,0)
([1,1,1,1,0,0],[0,0,0,0,0,0])-->(2,0)
([1,1,1,1,1,0],[0,0,0,0,0,0])-->(1,0)
([1,1,1,1,1,1],[0,0,0,0,0,0])-->(0,0)
([1,0,0,0,0,0],[0,0,0,0,0,1])-->(4,2)
([1,1,0,0,0,0],[0,0,0,0,1,1])-->(2,4)
([1,1,1,0,0,0],[0,0,0,1,1,1])-->(0,6)
([1,1,1,1,0,0],[0,0,1,1,1,1])-->(2,4)
([1,1,1,1,1,0],[0,1,1,1,1,1])-->(4,2)
([1,1,1,1,1,1],[1,1,1,1,1,1])-->(6,0)
([0,0,0,0,0,0],[1,1,1,1,1,1])-->(0,0)
([1,0,0,0,0,0],[0,1,1,1,1,1])-->(0,2)
([1,1,0,0,0,0],[0,0,1,1,1,1])-->(0,4)
([0,1,2,0,0,0],[2,0,1,0,0,0])-->(3,3)
([0,1,2,3,0,0],[4,5,6,7,7,7])-->(0,0)
([1,2,3,4,5,0],[0,1,2,3,4,5])-->(0,6)
([1,2,3,4,5,0],[1,2,3,4,5,0])-->(6,0)
([1,1,2,2,3,3],[3,5,1,2,4,4])-->(1,2)
([0,0,0,0,0,0],[1,0,2,5,2,5])-->(1,0)
([1,5,2,1,0,2],[2,1,1,1,0,2])-->(3,2)
([1,1,1,1,0,2],[2,1,1,1,2,2])-->(4,0)
([1,2,7,5,0,1],[2,5,7,7,2,2])-->(1,2)
([1,1,1,1,1,7],[6,6,6,6,6,1])-->(0,1)
([0,4,4,3,1,7],[4,0,4,1,1,5])-->(2,2)
([3,0,1,5,7,3],[0,3,3,3,3,3])-->(1,2)