Identifier
Mp00017:
Binary trees
—to 312-avoiding permutation⟶
Permutations
Mp00072: Permutations —binary search tree: left to right⟶ Binary trees
Mp00018: Binary trees —left border symmetry⟶ Binary trees
Mp00013: Binary trees —to poset⟶ Posets
Mp00072: Permutations —binary search tree: left to right⟶ Binary trees
Mp00018: Binary trees —left border symmetry⟶ Binary trees
Mp00013: Binary trees —to poset⟶ Posets
Images
=>
Cc0010;cc-rep-0Cc0010;cc-rep-2Cc0010;cc-rep-3Cc0014;cc-rep-4
[.,.]=>[1]=>[.,.]=>[.,.]=>([],1)
[.,[.,.]]=>[2,1]=>[[.,.],.]=>[[.,.],.]=>([(0,1)],2)
[[.,.],.]=>[1,2]=>[.,[.,.]]=>[.,[.,.]]=>([(0,1)],2)
[.,[.,[.,.]]]=>[3,2,1]=>[[[.,.],.],.]=>[[[.,.],.],.]=>([(0,2),(2,1)],3)
[.,[[.,.],.]]=>[2,3,1]=>[[.,.],[.,.]]=>[[.,[.,.]],.]=>([(0,2),(2,1)],3)
[[.,.],[.,.]]=>[1,3,2]=>[.,[[.,.],.]]=>[.,[[.,.],.]]=>([(0,2),(2,1)],3)
[[.,[.,.]],.]=>[2,1,3]=>[[.,.],[.,.]]=>[[.,[.,.]],.]=>([(0,2),(2,1)],3)
[[[.,.],.],.]=>[1,2,3]=>[.,[.,[.,.]]]=>[.,[.,[.,.]]]=>([(0,2),(2,1)],3)
[.,[.,[.,[.,.]]]]=>[4,3,2,1]=>[[[[.,.],.],.],.]=>[[[[.,.],.],.],.]=>([(0,3),(2,1),(3,2)],4)
[.,[.,[[.,.],.]]]=>[3,4,2,1]=>[[[.,.],.],[.,.]]=>[[[.,[.,.]],.],.]=>([(0,3),(2,1),(3,2)],4)
[.,[[.,.],[.,.]]]=>[2,4,3,1]=>[[.,.],[[.,.],.]]=>[[.,[[.,.],.]],.]=>([(0,3),(2,1),(3,2)],4)
[.,[[.,[.,.]],.]]=>[3,2,4,1]=>[[[.,.],.],[.,.]]=>[[[.,[.,.]],.],.]=>([(0,3),(2,1),(3,2)],4)
[.,[[[.,.],.],.]]=>[2,3,4,1]=>[[.,.],[.,[.,.]]]=>[[.,[.,[.,.]]],.]=>([(0,3),(2,1),(3,2)],4)
[[.,.],[.,[.,.]]]=>[1,4,3,2]=>[.,[[[.,.],.],.]]=>[.,[[[.,.],.],.]]=>([(0,3),(2,1),(3,2)],4)
[[.,.],[[.,.],.]]=>[1,3,4,2]=>[.,[[.,.],[.,.]]]=>[.,[[.,[.,.]],.]]=>([(0,3),(2,1),(3,2)],4)
[[.,[.,.]],[.,.]]=>[2,1,4,3]=>[[.,.],[[.,.],.]]=>[[.,[[.,.],.]],.]=>([(0,3),(2,1),(3,2)],4)
[[[.,.],.],[.,.]]=>[1,2,4,3]=>[.,[.,[[.,.],.]]]=>[.,[.,[[.,.],.]]]=>([(0,3),(2,1),(3,2)],4)
[[.,[.,[.,.]]],.]=>[3,2,1,4]=>[[[.,.],.],[.,.]]=>[[[.,[.,.]],.],.]=>([(0,3),(2,1),(3,2)],4)
[[.,[[.,.],.]],.]=>[2,3,1,4]=>[[.,.],[.,[.,.]]]=>[[.,[.,[.,.]]],.]=>([(0,3),(2,1),(3,2)],4)
[[[.,.],[.,.]],.]=>[1,3,2,4]=>[.,[[.,.],[.,.]]]=>[.,[[.,[.,.]],.]]=>([(0,3),(2,1),(3,2)],4)
[[[.,[.,.]],.],.]=>[2,1,3,4]=>[[.,.],[.,[.,.]]]=>[[.,[.,[.,.]]],.]=>([(0,3),(2,1),(3,2)],4)
[[[[.,.],.],.],.]=>[1,2,3,4]=>[.,[.,[.,[.,.]]]]=>[.,[.,[.,[.,.]]]]=>([(0,3),(2,1),(3,2)],4)
[.,[.,[.,[.,[.,.]]]]]=>[5,4,3,2,1]=>[[[[[.,.],.],.],.],.]=>[[[[[.,.],.],.],.],.]=>([(0,4),(2,3),(3,1),(4,2)],5)
[.,[.,[.,[[.,.],.]]]]=>[4,5,3,2,1]=>[[[[.,.],.],.],[.,.]]=>[[[[.,[.,.]],.],.],.]=>([(0,4),(2,3),(3,1),(4,2)],5)
[.,[.,[[.,.],[.,.]]]]=>[3,5,4,2,1]=>[[[.,.],.],[[.,.],.]]=>[[[.,[[.,.],.]],.],.]=>([(0,4),(2,3),(3,1),(4,2)],5)
[.,[.,[[.,[.,.]],.]]]=>[4,3,5,2,1]=>[[[[.,.],.],.],[.,.]]=>[[[[.,[.,.]],.],.],.]=>([(0,4),(2,3),(3,1),(4,2)],5)
[.,[.,[[[.,.],.],.]]]=>[3,4,5,2,1]=>[[[.,.],.],[.,[.,.]]]=>[[[.,[.,[.,.]]],.],.]=>([(0,4),(2,3),(3,1),(4,2)],5)
[.,[[.,.],[.,[.,.]]]]=>[2,5,4,3,1]=>[[.,.],[[[.,.],.],.]]=>[[.,[[[.,.],.],.]],.]=>([(0,4),(2,3),(3,1),(4,2)],5)
[.,[[.,.],[[.,.],.]]]=>[2,4,5,3,1]=>[[.,.],[[.,.],[.,.]]]=>[[.,[[.,[.,.]],.]],.]=>([(0,4),(2,3),(3,1),(4,2)],5)
[.,[[.,[.,.]],[.,.]]]=>[3,2,5,4,1]=>[[[.,.],.],[[.,.],.]]=>[[[.,[[.,.],.]],.],.]=>([(0,4),(2,3),(3,1),(4,2)],5)
[.,[[[.,.],.],[.,.]]]=>[2,3,5,4,1]=>[[.,.],[.,[[.,.],.]]]=>[[.,[.,[[.,.],.]]],.]=>([(0,4),(2,3),(3,1),(4,2)],5)
[.,[[.,[.,[.,.]]],.]]=>[4,3,2,5,1]=>[[[[.,.],.],.],[.,.]]=>[[[[.,[.,.]],.],.],.]=>([(0,4),(2,3),(3,1),(4,2)],5)
[.,[[.,[[.,.],.]],.]]=>[3,4,2,5,1]=>[[[.,.],.],[.,[.,.]]]=>[[[.,[.,[.,.]]],.],.]=>([(0,4),(2,3),(3,1),(4,2)],5)
[.,[[[.,.],[.,.]],.]]=>[2,4,3,5,1]=>[[.,.],[[.,.],[.,.]]]=>[[.,[[.,[.,.]],.]],.]=>([(0,4),(2,3),(3,1),(4,2)],5)
[.,[[[.,[.,.]],.],.]]=>[3,2,4,5,1]=>[[[.,.],.],[.,[.,.]]]=>[[[.,[.,[.,.]]],.],.]=>([(0,4),(2,3),(3,1),(4,2)],5)
[.,[[[[.,.],.],.],.]]=>[2,3,4,5,1]=>[[.,.],[.,[.,[.,.]]]]=>[[.,[.,[.,[.,.]]]],.]=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,.],[.,[.,[.,.]]]]=>[1,5,4,3,2]=>[.,[[[[.,.],.],.],.]]=>[.,[[[[.,.],.],.],.]]=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,.],[.,[[.,.],.]]]=>[1,4,5,3,2]=>[.,[[[.,.],.],[.,.]]]=>[.,[[[.,[.,.]],.],.]]=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,.],[[.,.],[.,.]]]=>[1,3,5,4,2]=>[.,[[.,.],[[.,.],.]]]=>[.,[[.,[[.,.],.]],.]]=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,.],[[.,[.,.]],.]]=>[1,4,3,5,2]=>[.,[[[.,.],.],[.,.]]]=>[.,[[[.,[.,.]],.],.]]=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,.],[[[.,.],.],.]]=>[1,3,4,5,2]=>[.,[[.,.],[.,[.,.]]]]=>[.,[[.,[.,[.,.]]],.]]=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,[.,.]],[.,[.,.]]]=>[2,1,5,4,3]=>[[.,.],[[[.,.],.],.]]=>[[.,[[[.,.],.],.]],.]=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,[.,.]],[[.,.],.]]=>[2,1,4,5,3]=>[[.,.],[[.,.],[.,.]]]=>[[.,[[.,[.,.]],.]],.]=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[.,.],.],[.,[.,.]]]=>[1,2,5,4,3]=>[.,[.,[[[.,.],.],.]]]=>[.,[.,[[[.,.],.],.]]]=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[.,.],.],[[.,.],.]]=>[1,2,4,5,3]=>[.,[.,[[.,.],[.,.]]]]=>[.,[.,[[.,[.,.]],.]]]=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,[.,[.,.]]],[.,.]]=>[3,2,1,5,4]=>[[[.,.],.],[[.,.],.]]=>[[[.,[[.,.],.]],.],.]=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,[[.,.],.]],[.,.]]=>[2,3,1,5,4]=>[[.,.],[.,[[.,.],.]]]=>[[.,[.,[[.,.],.]]],.]=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[.,.],[.,.]],[.,.]]=>[1,3,2,5,4]=>[.,[[.,.],[[.,.],.]]]=>[.,[[.,[[.,.],.]],.]]=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[.,[.,.]],.],[.,.]]=>[2,1,3,5,4]=>[[.,.],[.,[[.,.],.]]]=>[[.,[.,[[.,.],.]]],.]=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[[.,.],.],.],[.,.]]=>[1,2,3,5,4]=>[.,[.,[.,[[.,.],.]]]]=>[.,[.,[.,[[.,.],.]]]]=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,[.,[.,[.,.]]]],.]=>[4,3,2,1,5]=>[[[[.,.],.],.],[.,.]]=>[[[[.,[.,.]],.],.],.]=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,[.,[[.,.],.]]],.]=>[3,4,2,1,5]=>[[[.,.],.],[.,[.,.]]]=>[[[.,[.,[.,.]]],.],.]=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,[[.,.],[.,.]]],.]=>[2,4,3,1,5]=>[[.,.],[[.,.],[.,.]]]=>[[.,[[.,[.,.]],.]],.]=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,[[.,[.,.]],.]],.]=>[3,2,4,1,5]=>[[[.,.],.],[.,[.,.]]]=>[[[.,[.,[.,.]]],.],.]=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,[[[.,.],.],.]],.]=>[2,3,4,1,5]=>[[.,.],[.,[.,[.,.]]]]=>[[.,[.,[.,[.,.]]]],.]=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[.,.],[.,[.,.]]],.]=>[1,4,3,2,5]=>[.,[[[.,.],.],[.,.]]]=>[.,[[[.,[.,.]],.],.]]=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[.,.],[[.,.],.]],.]=>[1,3,4,2,5]=>[.,[[.,.],[.,[.,.]]]]=>[.,[[.,[.,[.,.]]],.]]=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[.,[.,.]],[.,.]],.]=>[2,1,4,3,5]=>[[.,.],[[.,.],[.,.]]]=>[[.,[[.,[.,.]],.]],.]=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[[.,.],.],[.,.]],.]=>[1,2,4,3,5]=>[.,[.,[[.,.],[.,.]]]]=>[.,[.,[[.,[.,.]],.]]]=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[.,[.,[.,.]]],.],.]=>[3,2,1,4,5]=>[[[.,.],.],[.,[.,.]]]=>[[[.,[.,[.,.]]],.],.]=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[.,[[.,.],.]],.],.]=>[2,3,1,4,5]=>[[.,.],[.,[.,[.,.]]]]=>[[.,[.,[.,[.,.]]]],.]=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[[.,.],[.,.]],.],.]=>[1,3,2,4,5]=>[.,[[.,.],[.,[.,.]]]]=>[.,[[.,[.,[.,.]]],.]]=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[[.,[.,.]],.],.],.]=>[2,1,3,4,5]=>[[.,.],[.,[.,[.,.]]]]=>[[.,[.,[.,[.,.]]]],.]=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[[[.,.],.],.],.],.]=>[1,2,3,4,5]=>[.,[.,[.,[.,[.,.]]]]]=>[.,[.,[.,[.,[.,.]]]]]=>([(0,4),(2,3),(3,1),(4,2)],5)
[.,[.,[.,[.,[.,[.,.]]]]]]=>[6,5,4,3,2,1]=>[[[[[[.,.],.],.],.],.],.]=>[[[[[[.,.],.],.],.],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[.,[.,[.,[[.,.],.]]]]]=>[5,6,4,3,2,1]=>[[[[[.,.],.],.],.],[.,.]]=>[[[[[.,[.,.]],.],.],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[.,[.,[[.,.],[.,.]]]]]=>[4,6,5,3,2,1]=>[[[[.,.],.],.],[[.,.],.]]=>[[[[.,[[.,.],.]],.],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[.,[.,[[.,[.,.]],.]]]]=>[5,4,6,3,2,1]=>[[[[[.,.],.],.],.],[.,.]]=>[[[[[.,[.,.]],.],.],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[.,[.,[[[.,.],.],.]]]]=>[4,5,6,3,2,1]=>[[[[.,.],.],.],[.,[.,.]]]=>[[[[.,[.,[.,.]]],.],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[.,[[.,.],[.,[.,.]]]]]=>[3,6,5,4,2,1]=>[[[.,.],.],[[[.,.],.],.]]=>[[[.,[[[.,.],.],.]],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[.,[[.,.],[[.,.],.]]]]=>[3,5,6,4,2,1]=>[[[.,.],.],[[.,.],[.,.]]]=>[[[.,[[.,[.,.]],.]],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[.,[[.,[.,.]],[.,.]]]]=>[4,3,6,5,2,1]=>[[[[.,.],.],.],[[.,.],.]]=>[[[[.,[[.,.],.]],.],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[.,[[[.,.],.],[.,.]]]]=>[3,4,6,5,2,1]=>[[[.,.],.],[.,[[.,.],.]]]=>[[[.,[.,[[.,.],.]]],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[.,[[.,[.,[.,.]]],.]]]=>[5,4,3,6,2,1]=>[[[[[.,.],.],.],.],[.,.]]=>[[[[[.,[.,.]],.],.],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[.,[[.,[[.,.],.]],.]]]=>[4,5,3,6,2,1]=>[[[[.,.],.],.],[.,[.,.]]]=>[[[[.,[.,[.,.]]],.],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[.,[[[.,.],[.,.]],.]]]=>[3,5,4,6,2,1]=>[[[.,.],.],[[.,.],[.,.]]]=>[[[.,[[.,[.,.]],.]],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[.,[[[.,[.,.]],.],.]]]=>[4,3,5,6,2,1]=>[[[[.,.],.],.],[.,[.,.]]]=>[[[[.,[.,[.,.]]],.],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[.,[[[[.,.],.],.],.]]]=>[3,4,5,6,2,1]=>[[[.,.],.],[.,[.,[.,.]]]]=>[[[.,[.,[.,[.,.]]]],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[.,.],[.,[.,[.,.]]]]]=>[2,6,5,4,3,1]=>[[.,.],[[[[.,.],.],.],.]]=>[[.,[[[[.,.],.],.],.]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[.,.],[.,[[.,.],.]]]]=>[2,5,6,4,3,1]=>[[.,.],[[[.,.],.],[.,.]]]=>[[.,[[[.,[.,.]],.],.]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[.,.],[[.,.],[.,.]]]]=>[2,4,6,5,3,1]=>[[.,.],[[.,.],[[.,.],.]]]=>[[.,[[.,[[.,.],.]],.]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[.,.],[[.,[.,.]],.]]]=>[2,5,4,6,3,1]=>[[.,.],[[[.,.],.],[.,.]]]=>[[.,[[[.,[.,.]],.],.]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[.,.],[[[.,.],.],.]]]=>[2,4,5,6,3,1]=>[[.,.],[[.,.],[.,[.,.]]]]=>[[.,[[.,[.,[.,.]]],.]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[.,[.,.]],[.,[.,.]]]]=>[3,2,6,5,4,1]=>[[[.,.],.],[[[.,.],.],.]]=>[[[.,[[[.,.],.],.]],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[.,[.,.]],[[.,.],.]]]=>[3,2,5,6,4,1]=>[[[.,.],.],[[.,.],[.,.]]]=>[[[.,[[.,[.,.]],.]],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[[.,.],.],[.,[.,.]]]]=>[2,3,6,5,4,1]=>[[.,.],[.,[[[.,.],.],.]]]=>[[.,[.,[[[.,.],.],.]]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[[.,.],.],[[.,.],.]]]=>[2,3,5,6,4,1]=>[[.,.],[.,[[.,.],[.,.]]]]=>[[.,[.,[[.,[.,.]],.]]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[.,[.,[.,.]]],[.,.]]]=>[4,3,2,6,5,1]=>[[[[.,.],.],.],[[.,.],.]]=>[[[[.,[[.,.],.]],.],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[.,[[.,.],.]],[.,.]]]=>[3,4,2,6,5,1]=>[[[.,.],.],[.,[[.,.],.]]]=>[[[.,[.,[[.,.],.]]],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[[.,.],[.,.]],[.,.]]]=>[2,4,3,6,5,1]=>[[.,.],[[.,.],[[.,.],.]]]=>[[.,[[.,[[.,.],.]],.]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[[.,[.,.]],.],[.,.]]]=>[3,2,4,6,5,1]=>[[[.,.],.],[.,[[.,.],.]]]=>[[[.,[.,[[.,.],.]]],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[[[.,.],.],.],[.,.]]]=>[2,3,4,6,5,1]=>[[.,.],[.,[.,[[.,.],.]]]]=>[[.,[.,[.,[[.,.],.]]]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[.,[.,[.,[.,.]]]],.]]=>[5,4,3,2,6,1]=>[[[[[.,.],.],.],.],[.,.]]=>[[[[[.,[.,.]],.],.],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[.,[.,[[.,.],.]]],.]]=>[4,5,3,2,6,1]=>[[[[.,.],.],.],[.,[.,.]]]=>[[[[.,[.,[.,.]]],.],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[.,[[.,.],[.,.]]],.]]=>[3,5,4,2,6,1]=>[[[.,.],.],[[.,.],[.,.]]]=>[[[.,[[.,[.,.]],.]],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[.,[[.,[.,.]],.]],.]]=>[4,3,5,2,6,1]=>[[[[.,.],.],.],[.,[.,.]]]=>[[[[.,[.,[.,.]]],.],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[.,[[[.,.],.],.]],.]]=>[3,4,5,2,6,1]=>[[[.,.],.],[.,[.,[.,.]]]]=>[[[.,[.,[.,[.,.]]]],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[[.,.],[.,[.,.]]],.]]=>[2,5,4,3,6,1]=>[[.,.],[[[.,.],.],[.,.]]]=>[[.,[[[.,[.,.]],.],.]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[[.,.],[[.,.],.]],.]]=>[2,4,5,3,6,1]=>[[.,.],[[.,.],[.,[.,.]]]]=>[[.,[[.,[.,[.,.]]],.]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[[.,[.,.]],[.,.]],.]]=>[3,2,5,4,6,1]=>[[[.,.],.],[[.,.],[.,.]]]=>[[[.,[[.,[.,.]],.]],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[[[.,.],.],[.,.]],.]]=>[2,3,5,4,6,1]=>[[.,.],[.,[[.,.],[.,.]]]]=>[[.,[.,[[.,[.,.]],.]]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[[.,[.,[.,.]]],.],.]]=>[4,3,2,5,6,1]=>[[[[.,.],.],.],[.,[.,.]]]=>[[[[.,[.,[.,.]]],.],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[[.,[[.,.],.]],.],.]]=>[3,4,2,5,6,1]=>[[[.,.],.],[.,[.,[.,.]]]]=>[[[.,[.,[.,[.,.]]]],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[[[.,.],[.,.]],.],.]]=>[2,4,3,5,6,1]=>[[.,.],[[.,.],[.,[.,.]]]]=>[[.,[[.,[.,[.,.]]],.]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[[[.,[.,.]],.],.],.]]=>[3,2,4,5,6,1]=>[[[.,.],.],[.,[.,[.,.]]]]=>[[[.,[.,[.,[.,.]]]],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[[[[.,.],.],.],.],.]]=>[2,3,4,5,6,1]=>[[.,.],[.,[.,[.,[.,.]]]]]=>[[.,[.,[.,[.,[.,.]]]]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,.],[.,[.,[.,[.,.]]]]]=>[1,6,5,4,3,2]=>[.,[[[[[.,.],.],.],.],.]]=>[.,[[[[[.,.],.],.],.],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,.],[.,[.,[[.,.],.]]]]=>[1,5,6,4,3,2]=>[.,[[[[.,.],.],.],[.,.]]]=>[.,[[[[.,[.,.]],.],.],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,.],[.,[[.,.],[.,.]]]]=>[1,4,6,5,3,2]=>[.,[[[.,.],.],[[.,.],.]]]=>[.,[[[.,[[.,.],.]],.],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,.],[.,[[.,[.,.]],.]]]=>[1,5,4,6,3,2]=>[.,[[[[.,.],.],.],[.,.]]]=>[.,[[[[.,[.,.]],.],.],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,.],[.,[[[.,.],.],.]]]=>[1,4,5,6,3,2]=>[.,[[[.,.],.],[.,[.,.]]]]=>[.,[[[.,[.,[.,.]]],.],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,.],[[.,.],[.,[.,.]]]]=>[1,3,6,5,4,2]=>[.,[[.,.],[[[.,.],.],.]]]=>[.,[[.,[[[.,.],.],.]],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,.],[[.,.],[[.,.],.]]]=>[1,3,5,6,4,2]=>[.,[[.,.],[[.,.],[.,.]]]]=>[.,[[.,[[.,[.,.]],.]],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,.],[[.,[.,.]],[.,.]]]=>[1,4,3,6,5,2]=>[.,[[[.,.],.],[[.,.],.]]]=>[.,[[[.,[[.,.],.]],.],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,.],[[[.,.],.],[.,.]]]=>[1,3,4,6,5,2]=>[.,[[.,.],[.,[[.,.],.]]]]=>[.,[[.,[.,[[.,.],.]]],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,.],[[.,[.,[.,.]]],.]]=>[1,5,4,3,6,2]=>[.,[[[[.,.],.],.],[.,.]]]=>[.,[[[[.,[.,.]],.],.],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,.],[[.,[[.,.],.]],.]]=>[1,4,5,3,6,2]=>[.,[[[.,.],.],[.,[.,.]]]]=>[.,[[[.,[.,[.,.]]],.],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,.],[[[.,.],[.,.]],.]]=>[1,3,5,4,6,2]=>[.,[[.,.],[[.,.],[.,.]]]]=>[.,[[.,[[.,[.,.]],.]],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,.],[[[.,[.,.]],.],.]]=>[1,4,3,5,6,2]=>[.,[[[.,.],.],[.,[.,.]]]]=>[.,[[[.,[.,[.,.]]],.],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,.],[[[[.,.],.],.],.]]=>[1,3,4,5,6,2]=>[.,[[.,.],[.,[.,[.,.]]]]]=>[.,[[.,[.,[.,[.,.]]]],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[.,.]],[.,[.,[.,.]]]]=>[2,1,6,5,4,3]=>[[.,.],[[[[.,.],.],.],.]]=>[[.,[[[[.,.],.],.],.]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[.,.]],[.,[[.,.],.]]]=>[2,1,5,6,4,3]=>[[.,.],[[[.,.],.],[.,.]]]=>[[.,[[[.,[.,.]],.],.]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[.,.]],[[.,.],[.,.]]]=>[2,1,4,6,5,3]=>[[.,.],[[.,.],[[.,.],.]]]=>[[.,[[.,[[.,.],.]],.]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[.,.]],[[.,[.,.]],.]]=>[2,1,5,4,6,3]=>[[.,.],[[[.,.],.],[.,.]]]=>[[.,[[[.,[.,.]],.],.]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[.,.]],[[[.,.],.],.]]=>[2,1,4,5,6,3]=>[[.,.],[[.,.],[.,[.,.]]]]=>[[.,[[.,[.,[.,.]]],.]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[.,.],.],[.,[.,[.,.]]]]=>[1,2,6,5,4,3]=>[.,[.,[[[[.,.],.],.],.]]]=>[.,[.,[[[[.,.],.],.],.]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[.,.],.],[.,[[.,.],.]]]=>[1,2,5,6,4,3]=>[.,[.,[[[.,.],.],[.,.]]]]=>[.,[.,[[[.,[.,.]],.],.]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[.,.],.],[[.,.],[.,.]]]=>[1,2,4,6,5,3]=>[.,[.,[[.,.],[[.,.],.]]]]=>[.,[.,[[.,[[.,.],.]],.]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[.,.],.],[[.,[.,.]],.]]=>[1,2,5,4,6,3]=>[.,[.,[[[.,.],.],[.,.]]]]=>[.,[.,[[[.,[.,.]],.],.]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[.,.],.],[[[.,.],.],.]]=>[1,2,4,5,6,3]=>[.,[.,[[.,.],[.,[.,.]]]]]=>[.,[.,[[.,[.,[.,.]]],.]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[.,[.,.]]],[.,[.,.]]]=>[3,2,1,6,5,4]=>[[[.,.],.],[[[.,.],.],.]]=>[[[.,[[[.,.],.],.]],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[.,[.,.]]],[[.,.],.]]=>[3,2,1,5,6,4]=>[[[.,.],.],[[.,.],[.,.]]]=>[[[.,[[.,[.,.]],.]],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[[.,.],.]],[.,[.,.]]]=>[2,3,1,6,5,4]=>[[.,.],[.,[[[.,.],.],.]]]=>[[.,[.,[[[.,.],.],.]]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[[.,.],.]],[[.,.],.]]=>[2,3,1,5,6,4]=>[[.,.],[.,[[.,.],[.,.]]]]=>[[.,[.,[[.,[.,.]],.]]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[.,.],[.,.]],[.,[.,.]]]=>[1,3,2,6,5,4]=>[.,[[.,.],[[[.,.],.],.]]]=>[.,[[.,[[[.,.],.],.]],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[.,.],[.,.]],[[.,.],.]]=>[1,3,2,5,6,4]=>[.,[[.,.],[[.,.],[.,.]]]]=>[.,[[.,[[.,[.,.]],.]],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[.,[.,.]],.],[.,[.,.]]]=>[2,1,3,6,5,4]=>[[.,.],[.,[[[.,.],.],.]]]=>[[.,[.,[[[.,.],.],.]]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[.,[.,.]],.],[[.,.],.]]=>[2,1,3,5,6,4]=>[[.,.],[.,[[.,.],[.,.]]]]=>[[.,[.,[[.,[.,.]],.]]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[[.,.],.],.],[.,[.,.]]]=>[1,2,3,6,5,4]=>[.,[.,[.,[[[.,.],.],.]]]]=>[.,[.,[.,[[[.,.],.],.]]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[[.,.],.],.],[[.,.],.]]=>[1,2,3,5,6,4]=>[.,[.,[.,[[.,.],[.,.]]]]]=>[.,[.,[.,[[.,[.,.]],.]]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[.,[.,[.,.]]]],[.,.]]=>[4,3,2,1,6,5]=>[[[[.,.],.],.],[[.,.],.]]=>[[[[.,[[.,.],.]],.],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[.,[[.,.],.]]],[.,.]]=>[3,4,2,1,6,5]=>[[[.,.],.],[.,[[.,.],.]]]=>[[[.,[.,[[.,.],.]]],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[[.,.],[.,.]]],[.,.]]=>[2,4,3,1,6,5]=>[[.,.],[[.,.],[[.,.],.]]]=>[[.,[[.,[[.,.],.]],.]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[[.,[.,.]],.]],[.,.]]=>[3,2,4,1,6,5]=>[[[.,.],.],[.,[[.,.],.]]]=>[[[.,[.,[[.,.],.]]],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[[[.,.],.],.]],[.,.]]=>[2,3,4,1,6,5]=>[[.,.],[.,[.,[[.,.],.]]]]=>[[.,[.,[.,[[.,.],.]]]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[.,.],[.,[.,.]]],[.,.]]=>[1,4,3,2,6,5]=>[.,[[[.,.],.],[[.,.],.]]]=>[.,[[[.,[[.,.],.]],.],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[.,.],[[.,.],.]],[.,.]]=>[1,3,4,2,6,5]=>[.,[[.,.],[.,[[.,.],.]]]]=>[.,[[.,[.,[[.,.],.]]],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[.,[.,.]],[.,.]],[.,.]]=>[2,1,4,3,6,5]=>[[.,.],[[.,.],[[.,.],.]]]=>[[.,[[.,[[.,.],.]],.]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[[.,.],.],[.,.]],[.,.]]=>[1,2,4,3,6,5]=>[.,[.,[[.,.],[[.,.],.]]]]=>[.,[.,[[.,[[.,.],.]],.]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[.,[.,[.,.]]],.],[.,.]]=>[3,2,1,4,6,5]=>[[[.,.],.],[.,[[.,.],.]]]=>[[[.,[.,[[.,.],.]]],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[.,[[.,.],.]],.],[.,.]]=>[2,3,1,4,6,5]=>[[.,.],[.,[.,[[.,.],.]]]]=>[[.,[.,[.,[[.,.],.]]]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[[.,.],[.,.]],.],[.,.]]=>[1,3,2,4,6,5]=>[.,[[.,.],[.,[[.,.],.]]]]=>[.,[[.,[.,[[.,.],.]]],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[[.,[.,.]],.],.],[.,.]]=>[2,1,3,4,6,5]=>[[.,.],[.,[.,[[.,.],.]]]]=>[[.,[.,[.,[[.,.],.]]]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[[[.,.],.],.],.],[.,.]]=>[1,2,3,4,6,5]=>[.,[.,[.,[.,[[.,.],.]]]]]=>[.,[.,[.,[.,[[.,.],.]]]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[.,[.,[.,[.,.]]]]],.]=>[5,4,3,2,1,6]=>[[[[[.,.],.],.],.],[.,.]]=>[[[[[.,[.,.]],.],.],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[.,[.,[[.,.],.]]]],.]=>[4,5,3,2,1,6]=>[[[[.,.],.],.],[.,[.,.]]]=>[[[[.,[.,[.,.]]],.],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[.,[[.,.],[.,.]]]],.]=>[3,5,4,2,1,6]=>[[[.,.],.],[[.,.],[.,.]]]=>[[[.,[[.,[.,.]],.]],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[.,[[.,[.,.]],.]]],.]=>[4,3,5,2,1,6]=>[[[[.,.],.],.],[.,[.,.]]]=>[[[[.,[.,[.,.]]],.],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[.,[[[.,.],.],.]]],.]=>[3,4,5,2,1,6]=>[[[.,.],.],[.,[.,[.,.]]]]=>[[[.,[.,[.,[.,.]]]],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[[.,.],[.,[.,.]]]],.]=>[2,5,4,3,1,6]=>[[.,.],[[[.,.],.],[.,.]]]=>[[.,[[[.,[.,.]],.],.]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[[.,.],[[.,.],.]]],.]=>[2,4,5,3,1,6]=>[[.,.],[[.,.],[.,[.,.]]]]=>[[.,[[.,[.,[.,.]]],.]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[[.,[.,.]],[.,.]]],.]=>[3,2,5,4,1,6]=>[[[.,.],.],[[.,.],[.,.]]]=>[[[.,[[.,[.,.]],.]],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[[[.,.],.],[.,.]]],.]=>[2,3,5,4,1,6]=>[[.,.],[.,[[.,.],[.,.]]]]=>[[.,[.,[[.,[.,.]],.]]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[[.,[.,[.,.]]],.]],.]=>[4,3,2,5,1,6]=>[[[[.,.],.],.],[.,[.,.]]]=>[[[[.,[.,[.,.]]],.],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[[.,[[.,.],.]],.]],.]=>[3,4,2,5,1,6]=>[[[.,.],.],[.,[.,[.,.]]]]=>[[[.,[.,[.,[.,.]]]],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[[[.,.],[.,.]],.]],.]=>[2,4,3,5,1,6]=>[[.,.],[[.,.],[.,[.,.]]]]=>[[.,[[.,[.,[.,.]]],.]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[[[.,[.,.]],.],.]],.]=>[3,2,4,5,1,6]=>[[[.,.],.],[.,[.,[.,.]]]]=>[[[.,[.,[.,[.,.]]]],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[[[[.,.],.],.],.]],.]=>[2,3,4,5,1,6]=>[[.,.],[.,[.,[.,[.,.]]]]]=>[[.,[.,[.,[.,[.,.]]]]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[.,.],[.,[.,[.,.]]]],.]=>[1,5,4,3,2,6]=>[.,[[[[.,.],.],.],[.,.]]]=>[.,[[[[.,[.,.]],.],.],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[.,.],[.,[[.,.],.]]],.]=>[1,4,5,3,2,6]=>[.,[[[.,.],.],[.,[.,.]]]]=>[.,[[[.,[.,[.,.]]],.],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[.,.],[[.,.],[.,.]]],.]=>[1,3,5,4,2,6]=>[.,[[.,.],[[.,.],[.,.]]]]=>[.,[[.,[[.,[.,.]],.]],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[.,.],[[.,[.,.]],.]],.]=>[1,4,3,5,2,6]=>[.,[[[.,.],.],[.,[.,.]]]]=>[.,[[[.,[.,[.,.]]],.],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[.,.],[[[.,.],.],.]],.]=>[1,3,4,5,2,6]=>[.,[[.,.],[.,[.,[.,.]]]]]=>[.,[[.,[.,[.,[.,.]]]],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[.,[.,.]],[.,[.,.]]],.]=>[2,1,5,4,3,6]=>[[.,.],[[[.,.],.],[.,.]]]=>[[.,[[[.,[.,.]],.],.]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[.,[.,.]],[[.,.],.]],.]=>[2,1,4,5,3,6]=>[[.,.],[[.,.],[.,[.,.]]]]=>[[.,[[.,[.,[.,.]]],.]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[[.,.],.],[.,[.,.]]],.]=>[1,2,5,4,3,6]=>[.,[.,[[[.,.],.],[.,.]]]]=>[.,[.,[[[.,[.,.]],.],.]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[[.,.],.],[[.,.],.]],.]=>[1,2,4,5,3,6]=>[.,[.,[[.,.],[.,[.,.]]]]]=>[.,[.,[[.,[.,[.,.]]],.]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[.,[.,[.,.]]],[.,.]],.]=>[3,2,1,5,4,6]=>[[[.,.],.],[[.,.],[.,.]]]=>[[[.,[[.,[.,.]],.]],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[.,[[.,.],.]],[.,.]],.]=>[2,3,1,5,4,6]=>[[.,.],[.,[[.,.],[.,.]]]]=>[[.,[.,[[.,[.,.]],.]]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[[.,.],[.,.]],[.,.]],.]=>[1,3,2,5,4,6]=>[.,[[.,.],[[.,.],[.,.]]]]=>[.,[[.,[[.,[.,.]],.]],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[[.,[.,.]],.],[.,.]],.]=>[2,1,3,5,4,6]=>[[.,.],[.,[[.,.],[.,.]]]]=>[[.,[.,[[.,[.,.]],.]]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[[[.,.],.],.],[.,.]],.]=>[1,2,3,5,4,6]=>[.,[.,[.,[[.,.],[.,.]]]]]=>[.,[.,[.,[[.,[.,.]],.]]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[.,[.,[.,[.,.]]]],.],.]=>[4,3,2,1,5,6]=>[[[[.,.],.],.],[.,[.,.]]]=>[[[[.,[.,[.,.]]],.],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[.,[.,[[.,.],.]]],.],.]=>[3,4,2,1,5,6]=>[[[.,.],.],[.,[.,[.,.]]]]=>[[[.,[.,[.,[.,.]]]],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[.,[[.,.],[.,.]]],.],.]=>[2,4,3,1,5,6]=>[[.,.],[[.,.],[.,[.,.]]]]=>[[.,[[.,[.,[.,.]]],.]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[.,[[.,[.,.]],.]],.],.]=>[3,2,4,1,5,6]=>[[[.,.],.],[.,[.,[.,.]]]]=>[[[.,[.,[.,[.,.]]]],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[.,[[[.,.],.],.]],.],.]=>[2,3,4,1,5,6]=>[[.,.],[.,[.,[.,[.,.]]]]]=>[[.,[.,[.,[.,[.,.]]]]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[[.,.],[.,[.,.]]],.],.]=>[1,4,3,2,5,6]=>[.,[[[.,.],.],[.,[.,.]]]]=>[.,[[[.,[.,[.,.]]],.],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[[.,.],[[.,.],.]],.],.]=>[1,3,4,2,5,6]=>[.,[[.,.],[.,[.,[.,.]]]]]=>[.,[[.,[.,[.,[.,.]]]],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[[.,[.,.]],[.,.]],.],.]=>[2,1,4,3,5,6]=>[[.,.],[[.,.],[.,[.,.]]]]=>[[.,[[.,[.,[.,.]]],.]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[[[.,.],.],[.,.]],.],.]=>[1,2,4,3,5,6]=>[.,[.,[[.,.],[.,[.,.]]]]]=>[.,[.,[[.,[.,[.,.]]],.]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[[.,[.,[.,.]]],.],.],.]=>[3,2,1,4,5,6]=>[[[.,.],.],[.,[.,[.,.]]]]=>[[[.,[.,[.,[.,.]]]],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[[.,[[.,.],.]],.],.],.]=>[2,3,1,4,5,6]=>[[.,.],[.,[.,[.,[.,.]]]]]=>[[.,[.,[.,[.,[.,.]]]]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[[[.,.],[.,.]],.],.],.]=>[1,3,2,4,5,6]=>[.,[[.,.],[.,[.,[.,.]]]]]=>[.,[[.,[.,[.,[.,.]]]],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[[[.,[.,.]],.],.],.],.]=>[2,1,3,4,5,6]=>[[.,.],[.,[.,[.,[.,.]]]]]=>[[.,[.,[.,[.,[.,.]]]]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[[[[.,.],.],.],.],.],.]=>[1,2,3,4,5,6]=>[.,[.,[.,[.,[.,[.,.]]]]]]=>[.,[.,[.,[.,[.,[.,.]]]]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[.,[.,[.,[.,[.,[.,.]]]]]]]=>[7,6,5,4,3,2,1]=>[[[[[[[.,.],.],.],.],.],.],.]=>[[[[[[[.,.],.],.],.],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[.,[.,[.,[.,[[.,.],.]]]]]]=>[6,7,5,4,3,2,1]=>[[[[[[.,.],.],.],.],.],[.,.]]=>[[[[[[.,[.,.]],.],.],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[.,[.,[.,[[.,.],[.,.]]]]]]=>[5,7,6,4,3,2,1]=>[[[[[.,.],.],.],.],[[.,.],.]]=>[[[[[.,[[.,.],.]],.],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[.,[.,[.,[[.,[.,.]],.]]]]]=>[6,5,7,4,3,2,1]=>[[[[[[.,.],.],.],.],.],[.,.]]=>[[[[[[.,[.,.]],.],.],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[.,[.,[.,[[[.,.],.],.]]]]]=>[5,6,7,4,3,2,1]=>[[[[[.,.],.],.],.],[.,[.,.]]]=>[[[[[.,[.,[.,.]]],.],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[.,[.,[[.,.],[.,[.,.]]]]]]=>[4,7,6,5,3,2,1]=>[[[[.,.],.],.],[[[.,.],.],.]]=>[[[[.,[[[.,.],.],.]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[.,[.,[[.,.],[[.,.],.]]]]]=>[4,6,7,5,3,2,1]=>[[[[.,.],.],.],[[.,.],[.,.]]]=>[[[[.,[[.,[.,.]],.]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[.,[.,[[.,[.,.]],[.,.]]]]]=>[5,4,7,6,3,2,1]=>[[[[[.,.],.],.],.],[[.,.],.]]=>[[[[[.,[[.,.],.]],.],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[.,[.,[[[.,.],.],[.,.]]]]]=>[4,5,7,6,3,2,1]=>[[[[.,.],.],.],[.,[[.,.],.]]]=>[[[[.,[.,[[.,.],.]]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[.,[.,[[.,[.,[.,.]]],.]]]]=>[6,5,4,7,3,2,1]=>[[[[[[.,.],.],.],.],.],[.,.]]=>[[[[[[.,[.,.]],.],.],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[.,[.,[[.,[[.,.],.]],.]]]]=>[5,6,4,7,3,2,1]=>[[[[[.,.],.],.],.],[.,[.,.]]]=>[[[[[.,[.,[.,.]]],.],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[.,[.,[[[.,.],[.,.]],.]]]]=>[4,6,5,7,3,2,1]=>[[[[.,.],.],.],[[.,.],[.,.]]]=>[[[[.,[[.,[.,.]],.]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[.,[.,[[[.,[.,.]],.],.]]]]=>[5,4,6,7,3,2,1]=>[[[[[.,.],.],.],.],[.,[.,.]]]=>[[[[[.,[.,[.,.]]],.],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[.,[.,[[[[.,.],.],.],.]]]]=>[4,5,6,7,3,2,1]=>[[[[.,.],.],.],[.,[.,[.,.]]]]=>[[[[.,[.,[.,[.,.]]]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[.,[[.,.],[.,[.,[.,.]]]]]]=>[3,7,6,5,4,2,1]=>[[[.,.],.],[[[[.,.],.],.],.]]=>[[[.,[[[[.,.],.],.],.]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[.,[[.,.],[.,[[.,.],.]]]]]=>[3,6,7,5,4,2,1]=>[[[.,.],.],[[[.,.],.],[.,.]]]=>[[[.,[[[.,[.,.]],.],.]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[.,[[.,.],[[.,.],[.,.]]]]]=>[3,5,7,6,4,2,1]=>[[[.,.],.],[[.,.],[[.,.],.]]]=>[[[.,[[.,[[.,.],.]],.]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[.,[[.,.],[[.,[.,.]],.]]]]=>[3,6,5,7,4,2,1]=>[[[.,.],.],[[[.,.],.],[.,.]]]=>[[[.,[[[.,[.,.]],.],.]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[.,[[.,.],[[[.,.],.],.]]]]=>[3,5,6,7,4,2,1]=>[[[.,.],.],[[.,.],[.,[.,.]]]]=>[[[.,[[.,[.,[.,.]]],.]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[.,[[.,[.,.]],[.,[.,.]]]]]=>[4,3,7,6,5,2,1]=>[[[[.,.],.],.],[[[.,.],.],.]]=>[[[[.,[[[.,.],.],.]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[.,[[.,[.,.]],[[.,.],.]]]]=>[4,3,6,7,5,2,1]=>[[[[.,.],.],.],[[.,.],[.,.]]]=>[[[[.,[[.,[.,.]],.]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[.,[[[.,.],.],[.,[.,.]]]]]=>[3,4,7,6,5,2,1]=>[[[.,.],.],[.,[[[.,.],.],.]]]=>[[[.,[.,[[[.,.],.],.]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[.,[[[.,.],.],[[.,.],.]]]]=>[3,4,6,7,5,2,1]=>[[[.,.],.],[.,[[.,.],[.,.]]]]=>[[[.,[.,[[.,[.,.]],.]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[.,[[.,[.,[.,.]]],[.,.]]]]=>[5,4,3,7,6,2,1]=>[[[[[.,.],.],.],.],[[.,.],.]]=>[[[[[.,[[.,.],.]],.],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[.,[[.,[[.,.],.]],[.,.]]]]=>[4,5,3,7,6,2,1]=>[[[[.,.],.],.],[.,[[.,.],.]]]=>[[[[.,[.,[[.,.],.]]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[.,[[[.,.],[.,.]],[.,.]]]]=>[3,5,4,7,6,2,1]=>[[[.,.],.],[[.,.],[[.,.],.]]]=>[[[.,[[.,[[.,.],.]],.]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[.,[[[.,[.,.]],.],[.,.]]]]=>[4,3,5,7,6,2,1]=>[[[[.,.],.],.],[.,[[.,.],.]]]=>[[[[.,[.,[[.,.],.]]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[.,[[[[.,.],.],.],[.,.]]]]=>[3,4,5,7,6,2,1]=>[[[.,.],.],[.,[.,[[.,.],.]]]]=>[[[.,[.,[.,[[.,.],.]]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[.,[[.,[.,[.,[.,.]]]],.]]]=>[6,5,4,3,7,2,1]=>[[[[[[.,.],.],.],.],.],[.,.]]=>[[[[[[.,[.,.]],.],.],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[.,[[.,[.,[[.,.],.]]],.]]]=>[5,6,4,3,7,2,1]=>[[[[[.,.],.],.],.],[.,[.,.]]]=>[[[[[.,[.,[.,.]]],.],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[.,[[.,[[.,.],[.,.]]],.]]]=>[4,6,5,3,7,2,1]=>[[[[.,.],.],.],[[.,.],[.,.]]]=>[[[[.,[[.,[.,.]],.]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[.,[[.,[[.,[.,.]],.]],.]]]=>[5,4,6,3,7,2,1]=>[[[[[.,.],.],.],.],[.,[.,.]]]=>[[[[[.,[.,[.,.]]],.],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[.,[[.,[[[.,.],.],.]],.]]]=>[4,5,6,3,7,2,1]=>[[[[.,.],.],.],[.,[.,[.,.]]]]=>[[[[.,[.,[.,[.,.]]]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[.,[[[.,.],[.,[.,.]]],.]]]=>[3,6,5,4,7,2,1]=>[[[.,.],.],[[[.,.],.],[.,.]]]=>[[[.,[[[.,[.,.]],.],.]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[.,[[[.,.],[[.,.],.]],.]]]=>[3,5,6,4,7,2,1]=>[[[.,.],.],[[.,.],[.,[.,.]]]]=>[[[.,[[.,[.,[.,.]]],.]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[.,[[[.,[.,.]],[.,.]],.]]]=>[4,3,6,5,7,2,1]=>[[[[.,.],.],.],[[.,.],[.,.]]]=>[[[[.,[[.,[.,.]],.]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[.,[[[[.,.],.],[.,.]],.]]]=>[3,4,6,5,7,2,1]=>[[[.,.],.],[.,[[.,.],[.,.]]]]=>[[[.,[.,[[.,[.,.]],.]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[.,[[[.,[.,[.,.]]],.],.]]]=>[5,4,3,6,7,2,1]=>[[[[[.,.],.],.],.],[.,[.,.]]]=>[[[[[.,[.,[.,.]]],.],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[.,[[[.,[[.,.],.]],.],.]]]=>[4,5,3,6,7,2,1]=>[[[[.,.],.],.],[.,[.,[.,.]]]]=>[[[[.,[.,[.,[.,.]]]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[.,[[[[.,.],[.,.]],.],.]]]=>[3,5,4,6,7,2,1]=>[[[.,.],.],[[.,.],[.,[.,.]]]]=>[[[.,[[.,[.,[.,.]]],.]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[.,[[[[.,[.,.]],.],.],.]]]=>[4,3,5,6,7,2,1]=>[[[[.,.],.],.],[.,[.,[.,.]]]]=>[[[[.,[.,[.,[.,.]]]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[.,[[[[[.,.],.],.],.],.]]]=>[3,4,5,6,7,2,1]=>[[[.,.],.],[.,[.,[.,[.,.]]]]]=>[[[.,[.,[.,[.,[.,.]]]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[.,.],[.,[.,[.,[.,.]]]]]]=>[2,7,6,5,4,3,1]=>[[.,.],[[[[[.,.],.],.],.],.]]=>[[.,[[[[[.,.],.],.],.],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[.,.],[.,[.,[[.,.],.]]]]]=>[2,6,7,5,4,3,1]=>[[.,.],[[[[.,.],.],.],[.,.]]]=>[[.,[[[[.,[.,.]],.],.],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[.,.],[.,[[.,.],[.,.]]]]]=>[2,5,7,6,4,3,1]=>[[.,.],[[[.,.],.],[[.,.],.]]]=>[[.,[[[.,[[.,.],.]],.],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[.,.],[.,[[.,[.,.]],.]]]]=>[2,6,5,7,4,3,1]=>[[.,.],[[[[.,.],.],.],[.,.]]]=>[[.,[[[[.,[.,.]],.],.],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[.,.],[.,[[[.,.],.],.]]]]=>[2,5,6,7,4,3,1]=>[[.,.],[[[.,.],.],[.,[.,.]]]]=>[[.,[[[.,[.,[.,.]]],.],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[.,.],[[.,.],[.,[.,.]]]]]=>[2,4,7,6,5,3,1]=>[[.,.],[[.,.],[[[.,.],.],.]]]=>[[.,[[.,[[[.,.],.],.]],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[.,.],[[.,.],[[.,.],.]]]]=>[2,4,6,7,5,3,1]=>[[.,.],[[.,.],[[.,.],[.,.]]]]=>[[.,[[.,[[.,[.,.]],.]],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[.,.],[[.,[.,.]],[.,.]]]]=>[2,5,4,7,6,3,1]=>[[.,.],[[[.,.],.],[[.,.],.]]]=>[[.,[[[.,[[.,.],.]],.],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[.,.],[[[.,.],.],[.,.]]]]=>[2,4,5,7,6,3,1]=>[[.,.],[[.,.],[.,[[.,.],.]]]]=>[[.,[[.,[.,[[.,.],.]]],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[.,.],[[.,[.,[.,.]]],.]]]=>[2,6,5,4,7,3,1]=>[[.,.],[[[[.,.],.],.],[.,.]]]=>[[.,[[[[.,[.,.]],.],.],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[.,.],[[.,[[.,.],.]],.]]]=>[2,5,6,4,7,3,1]=>[[.,.],[[[.,.],.],[.,[.,.]]]]=>[[.,[[[.,[.,[.,.]]],.],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[.,.],[[[.,.],[.,.]],.]]]=>[2,4,6,5,7,3,1]=>[[.,.],[[.,.],[[.,.],[.,.]]]]=>[[.,[[.,[[.,[.,.]],.]],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[.,.],[[[.,[.,.]],.],.]]]=>[2,5,4,6,7,3,1]=>[[.,.],[[[.,.],.],[.,[.,.]]]]=>[[.,[[[.,[.,[.,.]]],.],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[.,.],[[[[.,.],.],.],.]]]=>[2,4,5,6,7,3,1]=>[[.,.],[[.,.],[.,[.,[.,.]]]]]=>[[.,[[.,[.,[.,[.,.]]]],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[.,[.,.]],[.,[.,[.,.]]]]]=>[3,2,7,6,5,4,1]=>[[[.,.],.],[[[[.,.],.],.],.]]=>[[[.,[[[[.,.],.],.],.]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[.,[.,.]],[.,[[.,.],.]]]]=>[3,2,6,7,5,4,1]=>[[[.,.],.],[[[.,.],.],[.,.]]]=>[[[.,[[[.,[.,.]],.],.]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[.,[.,.]],[[.,.],[.,.]]]]=>[3,2,5,7,6,4,1]=>[[[.,.],.],[[.,.],[[.,.],.]]]=>[[[.,[[.,[[.,.],.]],.]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[.,[.,.]],[[.,[.,.]],.]]]=>[3,2,6,5,7,4,1]=>[[[.,.],.],[[[.,.],.],[.,.]]]=>[[[.,[[[.,[.,.]],.],.]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[.,[.,.]],[[[.,.],.],.]]]=>[3,2,5,6,7,4,1]=>[[[.,.],.],[[.,.],[.,[.,.]]]]=>[[[.,[[.,[.,[.,.]]],.]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[[.,.],.],[.,[.,[.,.]]]]]=>[2,3,7,6,5,4,1]=>[[.,.],[.,[[[[.,.],.],.],.]]]=>[[.,[.,[[[[.,.],.],.],.]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[[.,.],.],[.,[[.,.],.]]]]=>[2,3,6,7,5,4,1]=>[[.,.],[.,[[[.,.],.],[.,.]]]]=>[[.,[.,[[[.,[.,.]],.],.]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[[.,.],.],[[.,.],[.,.]]]]=>[2,3,5,7,6,4,1]=>[[.,.],[.,[[.,.],[[.,.],.]]]]=>[[.,[.,[[.,[[.,.],.]],.]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[[.,.],.],[[.,[.,.]],.]]]=>[2,3,6,5,7,4,1]=>[[.,.],[.,[[[.,.],.],[.,.]]]]=>[[.,[.,[[[.,[.,.]],.],.]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[[.,.],.],[[[.,.],.],.]]]=>[2,3,5,6,7,4,1]=>[[.,.],[.,[[.,.],[.,[.,.]]]]]=>[[.,[.,[[.,[.,[.,.]]],.]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[.,[.,[.,.]]],[.,[.,.]]]]=>[4,3,2,7,6,5,1]=>[[[[.,.],.],.],[[[.,.],.],.]]=>[[[[.,[[[.,.],.],.]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[.,[.,[.,.]]],[[.,.],.]]]=>[4,3,2,6,7,5,1]=>[[[[.,.],.],.],[[.,.],[.,.]]]=>[[[[.,[[.,[.,.]],.]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[.,[[.,.],.]],[.,[.,.]]]]=>[3,4,2,7,6,5,1]=>[[[.,.],.],[.,[[[.,.],.],.]]]=>[[[.,[.,[[[.,.],.],.]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[.,[[.,.],.]],[[.,.],.]]]=>[3,4,2,6,7,5,1]=>[[[.,.],.],[.,[[.,.],[.,.]]]]=>[[[.,[.,[[.,[.,.]],.]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[[.,.],[.,.]],[.,[.,.]]]]=>[2,4,3,7,6,5,1]=>[[.,.],[[.,.],[[[.,.],.],.]]]=>[[.,[[.,[[[.,.],.],.]],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[[.,.],[.,.]],[[.,.],.]]]=>[2,4,3,6,7,5,1]=>[[.,.],[[.,.],[[.,.],[.,.]]]]=>[[.,[[.,[[.,[.,.]],.]],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[[.,[.,.]],.],[.,[.,.]]]]=>[3,2,4,7,6,5,1]=>[[[.,.],.],[.,[[[.,.],.],.]]]=>[[[.,[.,[[[.,.],.],.]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[[.,[.,.]],.],[[.,.],.]]]=>[3,2,4,6,7,5,1]=>[[[.,.],.],[.,[[.,.],[.,.]]]]=>[[[.,[.,[[.,[.,.]],.]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[[[.,.],.],.],[.,[.,.]]]]=>[2,3,4,7,6,5,1]=>[[.,.],[.,[.,[[[.,.],.],.]]]]=>[[.,[.,[.,[[[.,.],.],.]]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[[[.,.],.],.],[[.,.],.]]]=>[2,3,4,6,7,5,1]=>[[.,.],[.,[.,[[.,.],[.,.]]]]]=>[[.,[.,[.,[[.,[.,.]],.]]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[.,[.,[.,[.,.]]]],[.,.]]]=>[5,4,3,2,7,6,1]=>[[[[[.,.],.],.],.],[[.,.],.]]=>[[[[[.,[[.,.],.]],.],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[.,[.,[[.,.],.]]],[.,.]]]=>[4,5,3,2,7,6,1]=>[[[[.,.],.],.],[.,[[.,.],.]]]=>[[[[.,[.,[[.,.],.]]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[.,[[.,.],[.,.]]],[.,.]]]=>[3,5,4,2,7,6,1]=>[[[.,.],.],[[.,.],[[.,.],.]]]=>[[[.,[[.,[[.,.],.]],.]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[.,[[.,[.,.]],.]],[.,.]]]=>[4,3,5,2,7,6,1]=>[[[[.,.],.],.],[.,[[.,.],.]]]=>[[[[.,[.,[[.,.],.]]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[.,[[[.,.],.],.]],[.,.]]]=>[3,4,5,2,7,6,1]=>[[[.,.],.],[.,[.,[[.,.],.]]]]=>[[[.,[.,[.,[[.,.],.]]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[[.,.],[.,[.,.]]],[.,.]]]=>[2,5,4,3,7,6,1]=>[[.,.],[[[.,.],.],[[.,.],.]]]=>[[.,[[[.,[[.,.],.]],.],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[[.,.],[[.,.],.]],[.,.]]]=>[2,4,5,3,7,6,1]=>[[.,.],[[.,.],[.,[[.,.],.]]]]=>[[.,[[.,[.,[[.,.],.]]],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[[.,[.,.]],[.,.]],[.,.]]]=>[3,2,5,4,7,6,1]=>[[[.,.],.],[[.,.],[[.,.],.]]]=>[[[.,[[.,[[.,.],.]],.]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[[[.,.],.],[.,.]],[.,.]]]=>[2,3,5,4,7,6,1]=>[[.,.],[.,[[.,.],[[.,.],.]]]]=>[[.,[.,[[.,[[.,.],.]],.]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[[.,[.,[.,.]]],.],[.,.]]]=>[4,3,2,5,7,6,1]=>[[[[.,.],.],.],[.,[[.,.],.]]]=>[[[[.,[.,[[.,.],.]]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[[.,[[.,.],.]],.],[.,.]]]=>[3,4,2,5,7,6,1]=>[[[.,.],.],[.,[.,[[.,.],.]]]]=>[[[.,[.,[.,[[.,.],.]]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[[[.,.],[.,.]],.],[.,.]]]=>[2,4,3,5,7,6,1]=>[[.,.],[[.,.],[.,[[.,.],.]]]]=>[[.,[[.,[.,[[.,.],.]]],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[[[.,[.,.]],.],.],[.,.]]]=>[3,2,4,5,7,6,1]=>[[[.,.],.],[.,[.,[[.,.],.]]]]=>[[[.,[.,[.,[[.,.],.]]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[[[[.,.],.],.],.],[.,.]]]=>[2,3,4,5,7,6,1]=>[[.,.],[.,[.,[.,[[.,.],.]]]]]=>[[.,[.,[.,[.,[[.,.],.]]]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[.,[.,[.,[.,[.,.]]]]],.]]=>[6,5,4,3,2,7,1]=>[[[[[[.,.],.],.],.],.],[.,.]]=>[[[[[[.,[.,.]],.],.],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[.,[.,[.,[[.,.],.]]]],.]]=>[5,6,4,3,2,7,1]=>[[[[[.,.],.],.],.],[.,[.,.]]]=>[[[[[.,[.,[.,.]]],.],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[.,[.,[[.,.],[.,.]]]],.]]=>[4,6,5,3,2,7,1]=>[[[[.,.],.],.],[[.,.],[.,.]]]=>[[[[.,[[.,[.,.]],.]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[.,[.,[[.,[.,.]],.]]],.]]=>[5,4,6,3,2,7,1]=>[[[[[.,.],.],.],.],[.,[.,.]]]=>[[[[[.,[.,[.,.]]],.],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[.,[.,[[[.,.],.],.]]],.]]=>[4,5,6,3,2,7,1]=>[[[[.,.],.],.],[.,[.,[.,.]]]]=>[[[[.,[.,[.,[.,.]]]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[.,[[.,.],[.,[.,.]]]],.]]=>[3,6,5,4,2,7,1]=>[[[.,.],.],[[[.,.],.],[.,.]]]=>[[[.,[[[.,[.,.]],.],.]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[.,[[.,.],[[.,.],.]]],.]]=>[3,5,6,4,2,7,1]=>[[[.,.],.],[[.,.],[.,[.,.]]]]=>[[[.,[[.,[.,[.,.]]],.]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[.,[[.,[.,.]],[.,.]]],.]]=>[4,3,6,5,2,7,1]=>[[[[.,.],.],.],[[.,.],[.,.]]]=>[[[[.,[[.,[.,.]],.]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[.,[[[.,.],.],[.,.]]],.]]=>[3,4,6,5,2,7,1]=>[[[.,.],.],[.,[[.,.],[.,.]]]]=>[[[.,[.,[[.,[.,.]],.]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[.,[[.,[.,[.,.]]],.]],.]]=>[5,4,3,6,2,7,1]=>[[[[[.,.],.],.],.],[.,[.,.]]]=>[[[[[.,[.,[.,.]]],.],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[.,[[.,[[.,.],.]],.]],.]]=>[4,5,3,6,2,7,1]=>[[[[.,.],.],.],[.,[.,[.,.]]]]=>[[[[.,[.,[.,[.,.]]]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[.,[[[.,.],[.,.]],.]],.]]=>[3,5,4,6,2,7,1]=>[[[.,.],.],[[.,.],[.,[.,.]]]]=>[[[.,[[.,[.,[.,.]]],.]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[.,[[[.,[.,.]],.],.]],.]]=>[4,3,5,6,2,7,1]=>[[[[.,.],.],.],[.,[.,[.,.]]]]=>[[[[.,[.,[.,[.,.]]]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[.,[[[[.,.],.],.],.]],.]]=>[3,4,5,6,2,7,1]=>[[[.,.],.],[.,[.,[.,[.,.]]]]]=>[[[.,[.,[.,[.,[.,.]]]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[[.,.],[.,[.,[.,.]]]],.]]=>[2,6,5,4,3,7,1]=>[[.,.],[[[[.,.],.],.],[.,.]]]=>[[.,[[[[.,[.,.]],.],.],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[[.,.],[.,[[.,.],.]]],.]]=>[2,5,6,4,3,7,1]=>[[.,.],[[[.,.],.],[.,[.,.]]]]=>[[.,[[[.,[.,[.,.]]],.],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[[.,.],[[.,.],[.,.]]],.]]=>[2,4,6,5,3,7,1]=>[[.,.],[[.,.],[[.,.],[.,.]]]]=>[[.,[[.,[[.,[.,.]],.]],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[[.,.],[[.,[.,.]],.]],.]]=>[2,5,4,6,3,7,1]=>[[.,.],[[[.,.],.],[.,[.,.]]]]=>[[.,[[[.,[.,[.,.]]],.],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[[.,.],[[[.,.],.],.]],.]]=>[2,4,5,6,3,7,1]=>[[.,.],[[.,.],[.,[.,[.,.]]]]]=>[[.,[[.,[.,[.,[.,.]]]],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[[.,[.,.]],[.,[.,.]]],.]]=>[3,2,6,5,4,7,1]=>[[[.,.],.],[[[.,.],.],[.,.]]]=>[[[.,[[[.,[.,.]],.],.]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[[.,[.,.]],[[.,.],.]],.]]=>[3,2,5,6,4,7,1]=>[[[.,.],.],[[.,.],[.,[.,.]]]]=>[[[.,[[.,[.,[.,.]]],.]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[[[.,.],.],[.,[.,.]]],.]]=>[2,3,6,5,4,7,1]=>[[.,.],[.,[[[.,.],.],[.,.]]]]=>[[.,[.,[[[.,[.,.]],.],.]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[[[.,.],.],[[.,.],.]],.]]=>[2,3,5,6,4,7,1]=>[[.,.],[.,[[.,.],[.,[.,.]]]]]=>[[.,[.,[[.,[.,[.,.]]],.]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[[.,[.,[.,.]]],[.,.]],.]]=>[4,3,2,6,5,7,1]=>[[[[.,.],.],.],[[.,.],[.,.]]]=>[[[[.,[[.,[.,.]],.]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[[.,[[.,.],.]],[.,.]],.]]=>[3,4,2,6,5,7,1]=>[[[.,.],.],[.,[[.,.],[.,.]]]]=>[[[.,[.,[[.,[.,.]],.]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[[[.,.],[.,.]],[.,.]],.]]=>[2,4,3,6,5,7,1]=>[[.,.],[[.,.],[[.,.],[.,.]]]]=>[[.,[[.,[[.,[.,.]],.]],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[[[.,[.,.]],.],[.,.]],.]]=>[3,2,4,6,5,7,1]=>[[[.,.],.],[.,[[.,.],[.,.]]]]=>[[[.,[.,[[.,[.,.]],.]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[[[[.,.],.],.],[.,.]],.]]=>[2,3,4,6,5,7,1]=>[[.,.],[.,[.,[[.,.],[.,.]]]]]=>[[.,[.,[.,[[.,[.,.]],.]]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[[.,[.,[.,[.,.]]]],.],.]]=>[5,4,3,2,6,7,1]=>[[[[[.,.],.],.],.],[.,[.,.]]]=>[[[[[.,[.,[.,.]]],.],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[[.,[.,[[.,.],.]]],.],.]]=>[4,5,3,2,6,7,1]=>[[[[.,.],.],.],[.,[.,[.,.]]]]=>[[[[.,[.,[.,[.,.]]]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[[.,[[.,.],[.,.]]],.],.]]=>[3,5,4,2,6,7,1]=>[[[.,.],.],[[.,.],[.,[.,.]]]]=>[[[.,[[.,[.,[.,.]]],.]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[[.,[[.,[.,.]],.]],.],.]]=>[4,3,5,2,6,7,1]=>[[[[.,.],.],.],[.,[.,[.,.]]]]=>[[[[.,[.,[.,[.,.]]]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[[.,[[[.,.],.],.]],.],.]]=>[3,4,5,2,6,7,1]=>[[[.,.],.],[.,[.,[.,[.,.]]]]]=>[[[.,[.,[.,[.,[.,.]]]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[[[.,.],[.,[.,.]]],.],.]]=>[2,5,4,3,6,7,1]=>[[.,.],[[[.,.],.],[.,[.,.]]]]=>[[.,[[[.,[.,[.,.]]],.],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[[[.,.],[[.,.],.]],.],.]]=>[2,4,5,3,6,7,1]=>[[.,.],[[.,.],[.,[.,[.,.]]]]]=>[[.,[[.,[.,[.,[.,.]]]],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[[[.,[.,.]],[.,.]],.],.]]=>[3,2,5,4,6,7,1]=>[[[.,.],.],[[.,.],[.,[.,.]]]]=>[[[.,[[.,[.,[.,.]]],.]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[[[[.,.],.],[.,.]],.],.]]=>[2,3,5,4,6,7,1]=>[[.,.],[.,[[.,.],[.,[.,.]]]]]=>[[.,[.,[[.,[.,[.,.]]],.]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[[[.,[.,[.,.]]],.],.],.]]=>[4,3,2,5,6,7,1]=>[[[[.,.],.],.],[.,[.,[.,.]]]]=>[[[[.,[.,[.,[.,.]]]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[[[.,[[.,.],.]],.],.],.]]=>[3,4,2,5,6,7,1]=>[[[.,.],.],[.,[.,[.,[.,.]]]]]=>[[[.,[.,[.,[.,[.,.]]]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[[[[.,.],[.,.]],.],.],.]]=>[2,4,3,5,6,7,1]=>[[.,.],[[.,.],[.,[.,[.,.]]]]]=>[[.,[[.,[.,[.,[.,.]]]],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[[[[.,[.,.]],.],.],.],.]]=>[3,2,4,5,6,7,1]=>[[[.,.],.],[.,[.,[.,[.,.]]]]]=>[[[.,[.,[.,[.,[.,.]]]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[[[[[.,.],.],.],.],.],.]]=>[2,3,4,5,6,7,1]=>[[.,.],[.,[.,[.,[.,[.,.]]]]]]=>[[.,[.,[.,[.,[.,[.,.]]]]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,.],[.,[.,[.,[.,[.,.]]]]]]=>[1,7,6,5,4,3,2]=>[.,[[[[[[.,.],.],.],.],.],.]]=>[.,[[[[[[.,.],.],.],.],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,.],[.,[.,[.,[[.,.],.]]]]]=>[1,6,7,5,4,3,2]=>[.,[[[[[.,.],.],.],.],[.,.]]]=>[.,[[[[[.,[.,.]],.],.],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,.],[.,[.,[[.,.],[.,.]]]]]=>[1,5,7,6,4,3,2]=>[.,[[[[.,.],.],.],[[.,.],.]]]=>[.,[[[[.,[[.,.],.]],.],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,.],[.,[.,[[.,[.,.]],.]]]]=>[1,6,5,7,4,3,2]=>[.,[[[[[.,.],.],.],.],[.,.]]]=>[.,[[[[[.,[.,.]],.],.],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,.],[.,[.,[[[.,.],.],.]]]]=>[1,5,6,7,4,3,2]=>[.,[[[[.,.],.],.],[.,[.,.]]]]=>[.,[[[[.,[.,[.,.]]],.],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,.],[.,[[.,.],[.,[.,.]]]]]=>[1,4,7,6,5,3,2]=>[.,[[[.,.],.],[[[.,.],.],.]]]=>[.,[[[.,[[[.,.],.],.]],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,.],[.,[[.,.],[[.,.],.]]]]=>[1,4,6,7,5,3,2]=>[.,[[[.,.],.],[[.,.],[.,.]]]]=>[.,[[[.,[[.,[.,.]],.]],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,.],[.,[[.,[.,.]],[.,.]]]]=>[1,5,4,7,6,3,2]=>[.,[[[[.,.],.],.],[[.,.],.]]]=>[.,[[[[.,[[.,.],.]],.],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,.],[.,[[[.,.],.],[.,.]]]]=>[1,4,5,7,6,3,2]=>[.,[[[.,.],.],[.,[[.,.],.]]]]=>[.,[[[.,[.,[[.,.],.]]],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,.],[.,[[.,[.,[.,.]]],.]]]=>[1,6,5,4,7,3,2]=>[.,[[[[[.,.],.],.],.],[.,.]]]=>[.,[[[[[.,[.,.]],.],.],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,.],[.,[[.,[[.,.],.]],.]]]=>[1,5,6,4,7,3,2]=>[.,[[[[.,.],.],.],[.,[.,.]]]]=>[.,[[[[.,[.,[.,.]]],.],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,.],[.,[[[.,.],[.,.]],.]]]=>[1,4,6,5,7,3,2]=>[.,[[[.,.],.],[[.,.],[.,.]]]]=>[.,[[[.,[[.,[.,.]],.]],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,.],[.,[[[.,[.,.]],.],.]]]=>[1,5,4,6,7,3,2]=>[.,[[[[.,.],.],.],[.,[.,.]]]]=>[.,[[[[.,[.,[.,.]]],.],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,.],[.,[[[[.,.],.],.],.]]]=>[1,4,5,6,7,3,2]=>[.,[[[.,.],.],[.,[.,[.,.]]]]]=>[.,[[[.,[.,[.,[.,.]]]],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,.],[[.,.],[.,[.,[.,.]]]]]=>[1,3,7,6,5,4,2]=>[.,[[.,.],[[[[.,.],.],.],.]]]=>[.,[[.,[[[[.,.],.],.],.]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,.],[[.,.],[.,[[.,.],.]]]]=>[1,3,6,7,5,4,2]=>[.,[[.,.],[[[.,.],.],[.,.]]]]=>[.,[[.,[[[.,[.,.]],.],.]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,.],[[.,.],[[.,.],[.,.]]]]=>[1,3,5,7,6,4,2]=>[.,[[.,.],[[.,.],[[.,.],.]]]]=>[.,[[.,[[.,[[.,.],.]],.]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,.],[[.,.],[[.,[.,.]],.]]]=>[1,3,6,5,7,4,2]=>[.,[[.,.],[[[.,.],.],[.,.]]]]=>[.,[[.,[[[.,[.,.]],.],.]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,.],[[.,.],[[[.,.],.],.]]]=>[1,3,5,6,7,4,2]=>[.,[[.,.],[[.,.],[.,[.,.]]]]]=>[.,[[.,[[.,[.,[.,.]]],.]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,.],[[.,[.,.]],[.,[.,.]]]]=>[1,4,3,7,6,5,2]=>[.,[[[.,.],.],[[[.,.],.],.]]]=>[.,[[[.,[[[.,.],.],.]],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,.],[[.,[.,.]],[[.,.],.]]]=>[1,4,3,6,7,5,2]=>[.,[[[.,.],.],[[.,.],[.,.]]]]=>[.,[[[.,[[.,[.,.]],.]],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,.],[[[.,.],.],[.,[.,.]]]]=>[1,3,4,7,6,5,2]=>[.,[[.,.],[.,[[[.,.],.],.]]]]=>[.,[[.,[.,[[[.,.],.],.]]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,.],[[[.,.],.],[[.,.],.]]]=>[1,3,4,6,7,5,2]=>[.,[[.,.],[.,[[.,.],[.,.]]]]]=>[.,[[.,[.,[[.,[.,.]],.]]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,.],[[.,[.,[.,.]]],[.,.]]]=>[1,5,4,3,7,6,2]=>[.,[[[[.,.],.],.],[[.,.],.]]]=>[.,[[[[.,[[.,.],.]],.],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,.],[[.,[[.,.],.]],[.,.]]]=>[1,4,5,3,7,6,2]=>[.,[[[.,.],.],[.,[[.,.],.]]]]=>[.,[[[.,[.,[[.,.],.]]],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,.],[[[.,.],[.,.]],[.,.]]]=>[1,3,5,4,7,6,2]=>[.,[[.,.],[[.,.],[[.,.],.]]]]=>[.,[[.,[[.,[[.,.],.]],.]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,.],[[[.,[.,.]],.],[.,.]]]=>[1,4,3,5,7,6,2]=>[.,[[[.,.],.],[.,[[.,.],.]]]]=>[.,[[[.,[.,[[.,.],.]]],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,.],[[[[.,.],.],.],[.,.]]]=>[1,3,4,5,7,6,2]=>[.,[[.,.],[.,[.,[[.,.],.]]]]]=>[.,[[.,[.,[.,[[.,.],.]]]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,.],[[.,[.,[.,[.,.]]]],.]]=>[1,6,5,4,3,7,2]=>[.,[[[[[.,.],.],.],.],[.,.]]]=>[.,[[[[[.,[.,.]],.],.],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,.],[[.,[.,[[.,.],.]]],.]]=>[1,5,6,4,3,7,2]=>[.,[[[[.,.],.],.],[.,[.,.]]]]=>[.,[[[[.,[.,[.,.]]],.],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,.],[[.,[[.,.],[.,.]]],.]]=>[1,4,6,5,3,7,2]=>[.,[[[.,.],.],[[.,.],[.,.]]]]=>[.,[[[.,[[.,[.,.]],.]],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,.],[[.,[[.,[.,.]],.]],.]]=>[1,5,4,6,3,7,2]=>[.,[[[[.,.],.],.],[.,[.,.]]]]=>[.,[[[[.,[.,[.,.]]],.],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,.],[[.,[[[.,.],.],.]],.]]=>[1,4,5,6,3,7,2]=>[.,[[[.,.],.],[.,[.,[.,.]]]]]=>[.,[[[.,[.,[.,[.,.]]]],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,.],[[[.,.],[.,[.,.]]],.]]=>[1,3,6,5,4,7,2]=>[.,[[.,.],[[[.,.],.],[.,.]]]]=>[.,[[.,[[[.,[.,.]],.],.]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,.],[[[.,.],[[.,.],.]],.]]=>[1,3,5,6,4,7,2]=>[.,[[.,.],[[.,.],[.,[.,.]]]]]=>[.,[[.,[[.,[.,[.,.]]],.]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,.],[[[.,[.,.]],[.,.]],.]]=>[1,4,3,6,5,7,2]=>[.,[[[.,.],.],[[.,.],[.,.]]]]=>[.,[[[.,[[.,[.,.]],.]],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,.],[[[[.,.],.],[.,.]],.]]=>[1,3,4,6,5,7,2]=>[.,[[.,.],[.,[[.,.],[.,.]]]]]=>[.,[[.,[.,[[.,[.,.]],.]]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,.],[[[.,[.,[.,.]]],.],.]]=>[1,5,4,3,6,7,2]=>[.,[[[[.,.],.],.],[.,[.,.]]]]=>[.,[[[[.,[.,[.,.]]],.],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,.],[[[.,[[.,.],.]],.],.]]=>[1,4,5,3,6,7,2]=>[.,[[[.,.],.],[.,[.,[.,.]]]]]=>[.,[[[.,[.,[.,[.,.]]]],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,.],[[[[.,.],[.,.]],.],.]]=>[1,3,5,4,6,7,2]=>[.,[[.,.],[[.,.],[.,[.,.]]]]]=>[.,[[.,[[.,[.,[.,.]]],.]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,.],[[[[.,[.,.]],.],.],.]]=>[1,4,3,5,6,7,2]=>[.,[[[.,.],.],[.,[.,[.,.]]]]]=>[.,[[[.,[.,[.,[.,.]]]],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,.],[[[[[.,.],.],.],.],.]]=>[1,3,4,5,6,7,2]=>[.,[[.,.],[.,[.,[.,[.,.]]]]]]=>[.,[[.,[.,[.,[.,[.,.]]]]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[.,.]],[.,[.,[.,[.,.]]]]]=>[2,1,7,6,5,4,3]=>[[.,.],[[[[[.,.],.],.],.],.]]=>[[.,[[[[[.,.],.],.],.],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[.,.]],[.,[.,[[.,.],.]]]]=>[2,1,6,7,5,4,3]=>[[.,.],[[[[.,.],.],.],[.,.]]]=>[[.,[[[[.,[.,.]],.],.],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[.,.]],[.,[[.,.],[.,.]]]]=>[2,1,5,7,6,4,3]=>[[.,.],[[[.,.],.],[[.,.],.]]]=>[[.,[[[.,[[.,.],.]],.],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[.,.]],[.,[[.,[.,.]],.]]]=>[2,1,6,5,7,4,3]=>[[.,.],[[[[.,.],.],.],[.,.]]]=>[[.,[[[[.,[.,.]],.],.],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[.,.]],[.,[[[.,.],.],.]]]=>[2,1,5,6,7,4,3]=>[[.,.],[[[.,.],.],[.,[.,.]]]]=>[[.,[[[.,[.,[.,.]]],.],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[.,.]],[[.,.],[.,[.,.]]]]=>[2,1,4,7,6,5,3]=>[[.,.],[[.,.],[[[.,.],.],.]]]=>[[.,[[.,[[[.,.],.],.]],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[.,.]],[[.,.],[[.,.],.]]]=>[2,1,4,6,7,5,3]=>[[.,.],[[.,.],[[.,.],[.,.]]]]=>[[.,[[.,[[.,[.,.]],.]],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[.,.]],[[.,[.,.]],[.,.]]]=>[2,1,5,4,7,6,3]=>[[.,.],[[[.,.],.],[[.,.],.]]]=>[[.,[[[.,[[.,.],.]],.],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[.,.]],[[[.,.],.],[.,.]]]=>[2,1,4,5,7,6,3]=>[[.,.],[[.,.],[.,[[.,.],.]]]]=>[[.,[[.,[.,[[.,.],.]]],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[.,.]],[[.,[.,[.,.]]],.]]=>[2,1,6,5,4,7,3]=>[[.,.],[[[[.,.],.],.],[.,.]]]=>[[.,[[[[.,[.,.]],.],.],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[.,.]],[[.,[[.,.],.]],.]]=>[2,1,5,6,4,7,3]=>[[.,.],[[[.,.],.],[.,[.,.]]]]=>[[.,[[[.,[.,[.,.]]],.],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[.,.]],[[[.,.],[.,.]],.]]=>[2,1,4,6,5,7,3]=>[[.,.],[[.,.],[[.,.],[.,.]]]]=>[[.,[[.,[[.,[.,.]],.]],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[.,.]],[[[.,[.,.]],.],.]]=>[2,1,5,4,6,7,3]=>[[.,.],[[[.,.],.],[.,[.,.]]]]=>[[.,[[[.,[.,[.,.]]],.],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[.,.]],[[[[.,.],.],.],.]]=>[2,1,4,5,6,7,3]=>[[.,.],[[.,.],[.,[.,[.,.]]]]]=>[[.,[[.,[.,[.,[.,.]]]],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,.],.],[.,[.,[.,[.,.]]]]]=>[1,2,7,6,5,4,3]=>[.,[.,[[[[[.,.],.],.],.],.]]]=>[.,[.,[[[[[.,.],.],.],.],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,.],.],[.,[.,[[.,.],.]]]]=>[1,2,6,7,5,4,3]=>[.,[.,[[[[.,.],.],.],[.,.]]]]=>[.,[.,[[[[.,[.,.]],.],.],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,.],.],[.,[[.,.],[.,.]]]]=>[1,2,5,7,6,4,3]=>[.,[.,[[[.,.],.],[[.,.],.]]]]=>[.,[.,[[[.,[[.,.],.]],.],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,.],.],[.,[[.,[.,.]],.]]]=>[1,2,6,5,7,4,3]=>[.,[.,[[[[.,.],.],.],[.,.]]]]=>[.,[.,[[[[.,[.,.]],.],.],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,.],.],[.,[[[.,.],.],.]]]=>[1,2,5,6,7,4,3]=>[.,[.,[[[.,.],.],[.,[.,.]]]]]=>[.,[.,[[[.,[.,[.,.]]],.],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,.],.],[[.,.],[.,[.,.]]]]=>[1,2,4,7,6,5,3]=>[.,[.,[[.,.],[[[.,.],.],.]]]]=>[.,[.,[[.,[[[.,.],.],.]],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,.],.],[[.,.],[[.,.],.]]]=>[1,2,4,6,7,5,3]=>[.,[.,[[.,.],[[.,.],[.,.]]]]]=>[.,[.,[[.,[[.,[.,.]],.]],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,.],.],[[.,[.,.]],[.,.]]]=>[1,2,5,4,7,6,3]=>[.,[.,[[[.,.],.],[[.,.],.]]]]=>[.,[.,[[[.,[[.,.],.]],.],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,.],.],[[[.,.],.],[.,.]]]=>[1,2,4,5,7,6,3]=>[.,[.,[[.,.],[.,[[.,.],.]]]]]=>[.,[.,[[.,[.,[[.,.],.]]],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,.],.],[[.,[.,[.,.]]],.]]=>[1,2,6,5,4,7,3]=>[.,[.,[[[[.,.],.],.],[.,.]]]]=>[.,[.,[[[[.,[.,.]],.],.],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,.],.],[[.,[[.,.],.]],.]]=>[1,2,5,6,4,7,3]=>[.,[.,[[[.,.],.],[.,[.,.]]]]]=>[.,[.,[[[.,[.,[.,.]]],.],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,.],.],[[[.,.],[.,.]],.]]=>[1,2,4,6,5,7,3]=>[.,[.,[[.,.],[[.,.],[.,.]]]]]=>[.,[.,[[.,[[.,[.,.]],.]],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,.],.],[[[.,[.,.]],.],.]]=>[1,2,5,4,6,7,3]=>[.,[.,[[[.,.],.],[.,[.,.]]]]]=>[.,[.,[[[.,[.,[.,.]]],.],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,.],.],[[[[.,.],.],.],.]]=>[1,2,4,5,6,7,3]=>[.,[.,[[.,.],[.,[.,[.,.]]]]]]=>[.,[.,[[.,[.,[.,[.,.]]]],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[.,[.,.]]],[.,[.,[.,.]]]]=>[3,2,1,7,6,5,4]=>[[[.,.],.],[[[[.,.],.],.],.]]=>[[[.,[[[[.,.],.],.],.]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[.,[.,.]]],[.,[[.,.],.]]]=>[3,2,1,6,7,5,4]=>[[[.,.],.],[[[.,.],.],[.,.]]]=>[[[.,[[[.,[.,.]],.],.]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[.,[.,.]]],[[.,.],[.,.]]]=>[3,2,1,5,7,6,4]=>[[[.,.],.],[[.,.],[[.,.],.]]]=>[[[.,[[.,[[.,.],.]],.]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[.,[.,.]]],[[.,[.,.]],.]]=>[3,2,1,6,5,7,4]=>[[[.,.],.],[[[.,.],.],[.,.]]]=>[[[.,[[[.,[.,.]],.],.]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[.,[.,.]]],[[[.,.],.],.]]=>[3,2,1,5,6,7,4]=>[[[.,.],.],[[.,.],[.,[.,.]]]]=>[[[.,[[.,[.,[.,.]]],.]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[[.,.],.]],[.,[.,[.,.]]]]=>[2,3,1,7,6,5,4]=>[[.,.],[.,[[[[.,.],.],.],.]]]=>[[.,[.,[[[[.,.],.],.],.]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[[.,.],.]],[.,[[.,.],.]]]=>[2,3,1,6,7,5,4]=>[[.,.],[.,[[[.,.],.],[.,.]]]]=>[[.,[.,[[[.,[.,.]],.],.]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[[.,.],.]],[[.,.],[.,.]]]=>[2,3,1,5,7,6,4]=>[[.,.],[.,[[.,.],[[.,.],.]]]]=>[[.,[.,[[.,[[.,.],.]],.]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[[.,.],.]],[[.,[.,.]],.]]=>[2,3,1,6,5,7,4]=>[[.,.],[.,[[[.,.],.],[.,.]]]]=>[[.,[.,[[[.,[.,.]],.],.]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[[.,.],.]],[[[.,.],.],.]]=>[2,3,1,5,6,7,4]=>[[.,.],[.,[[.,.],[.,[.,.]]]]]=>[[.,[.,[[.,[.,[.,.]]],.]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,.],[.,.]],[.,[.,[.,.]]]]=>[1,3,2,7,6,5,4]=>[.,[[.,.],[[[[.,.],.],.],.]]]=>[.,[[.,[[[[.,.],.],.],.]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,.],[.,.]],[.,[[.,.],.]]]=>[1,3,2,6,7,5,4]=>[.,[[.,.],[[[.,.],.],[.,.]]]]=>[.,[[.,[[[.,[.,.]],.],.]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,.],[.,.]],[[.,.],[.,.]]]=>[1,3,2,5,7,6,4]=>[.,[[.,.],[[.,.],[[.,.],.]]]]=>[.,[[.,[[.,[[.,.],.]],.]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,.],[.,.]],[[.,[.,.]],.]]=>[1,3,2,6,5,7,4]=>[.,[[.,.],[[[.,.],.],[.,.]]]]=>[.,[[.,[[[.,[.,.]],.],.]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,.],[.,.]],[[[.,.],.],.]]=>[1,3,2,5,6,7,4]=>[.,[[.,.],[[.,.],[.,[.,.]]]]]=>[.,[[.,[[.,[.,[.,.]]],.]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,[.,.]],.],[.,[.,[.,.]]]]=>[2,1,3,7,6,5,4]=>[[.,.],[.,[[[[.,.],.],.],.]]]=>[[.,[.,[[[[.,.],.],.],.]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,[.,.]],.],[.,[[.,.],.]]]=>[2,1,3,6,7,5,4]=>[[.,.],[.,[[[.,.],.],[.,.]]]]=>[[.,[.,[[[.,[.,.]],.],.]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,[.,.]],.],[[.,.],[.,.]]]=>[2,1,3,5,7,6,4]=>[[.,.],[.,[[.,.],[[.,.],.]]]]=>[[.,[.,[[.,[[.,.],.]],.]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,[.,.]],.],[[.,[.,.]],.]]=>[2,1,3,6,5,7,4]=>[[.,.],[.,[[[.,.],.],[.,.]]]]=>[[.,[.,[[[.,[.,.]],.],.]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,[.,.]],.],[[[.,.],.],.]]=>[2,1,3,5,6,7,4]=>[[.,.],[.,[[.,.],[.,[.,.]]]]]=>[[.,[.,[[.,[.,[.,.]]],.]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[.,.],.],.],[.,[.,[.,.]]]]=>[1,2,3,7,6,5,4]=>[.,[.,[.,[[[[.,.],.],.],.]]]]=>[.,[.,[.,[[[[.,.],.],.],.]]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[.,.],.],.],[.,[[.,.],.]]]=>[1,2,3,6,7,5,4]=>[.,[.,[.,[[[.,.],.],[.,.]]]]]=>[.,[.,[.,[[[.,[.,.]],.],.]]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[.,.],.],.],[[.,.],[.,.]]]=>[1,2,3,5,7,6,4]=>[.,[.,[.,[[.,.],[[.,.],.]]]]]=>[.,[.,[.,[[.,[[.,.],.]],.]]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[.,.],.],.],[[.,[.,.]],.]]=>[1,2,3,6,5,7,4]=>[.,[.,[.,[[[.,.],.],[.,.]]]]]=>[.,[.,[.,[[[.,[.,.]],.],.]]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[.,.],.],.],[[[.,.],.],.]]=>[1,2,3,5,6,7,4]=>[.,[.,[.,[[.,.],[.,[.,.]]]]]]=>[.,[.,[.,[[.,[.,[.,.]]],.]]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[.,[.,[.,.]]]],[.,[.,.]]]=>[4,3,2,1,7,6,5]=>[[[[.,.],.],.],[[[.,.],.],.]]=>[[[[.,[[[.,.],.],.]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[.,[.,[.,.]]]],[[.,.],.]]=>[4,3,2,1,6,7,5]=>[[[[.,.],.],.],[[.,.],[.,.]]]=>[[[[.,[[.,[.,.]],.]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[.,[[.,.],.]]],[.,[.,.]]]=>[3,4,2,1,7,6,5]=>[[[.,.],.],[.,[[[.,.],.],.]]]=>[[[.,[.,[[[.,.],.],.]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[.,[[.,.],.]]],[[.,.],.]]=>[3,4,2,1,6,7,5]=>[[[.,.],.],[.,[[.,.],[.,.]]]]=>[[[.,[.,[[.,[.,.]],.]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[[.,.],[.,.]]],[.,[.,.]]]=>[2,4,3,1,7,6,5]=>[[.,.],[[.,.],[[[.,.],.],.]]]=>[[.,[[.,[[[.,.],.],.]],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[[.,.],[.,.]]],[[.,.],.]]=>[2,4,3,1,6,7,5]=>[[.,.],[[.,.],[[.,.],[.,.]]]]=>[[.,[[.,[[.,[.,.]],.]],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[[.,[.,.]],.]],[.,[.,.]]]=>[3,2,4,1,7,6,5]=>[[[.,.],.],[.,[[[.,.],.],.]]]=>[[[.,[.,[[[.,.],.],.]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[[.,[.,.]],.]],[[.,.],.]]=>[3,2,4,1,6,7,5]=>[[[.,.],.],[.,[[.,.],[.,.]]]]=>[[[.,[.,[[.,[.,.]],.]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[[[.,.],.],.]],[.,[.,.]]]=>[2,3,4,1,7,6,5]=>[[.,.],[.,[.,[[[.,.],.],.]]]]=>[[.,[.,[.,[[[.,.],.],.]]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[[[.,.],.],.]],[[.,.],.]]=>[2,3,4,1,6,7,5]=>[[.,.],[.,[.,[[.,.],[.,.]]]]]=>[[.,[.,[.,[[.,[.,.]],.]]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,.],[.,[.,.]]],[.,[.,.]]]=>[1,4,3,2,7,6,5]=>[.,[[[.,.],.],[[[.,.],.],.]]]=>[.,[[[.,[[[.,.],.],.]],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,.],[.,[.,.]]],[[.,.],.]]=>[1,4,3,2,6,7,5]=>[.,[[[.,.],.],[[.,.],[.,.]]]]=>[.,[[[.,[[.,[.,.]],.]],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,.],[[.,.],.]],[.,[.,.]]]=>[1,3,4,2,7,6,5]=>[.,[[.,.],[.,[[[.,.],.],.]]]]=>[.,[[.,[.,[[[.,.],.],.]]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,.],[[.,.],.]],[[.,.],.]]=>[1,3,4,2,6,7,5]=>[.,[[.,.],[.,[[.,.],[.,.]]]]]=>[.,[[.,[.,[[.,[.,.]],.]]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,[.,.]],[.,.]],[.,[.,.]]]=>[2,1,4,3,7,6,5]=>[[.,.],[[.,.],[[[.,.],.],.]]]=>[[.,[[.,[[[.,.],.],.]],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,[.,.]],[.,.]],[[.,.],.]]=>[2,1,4,3,6,7,5]=>[[.,.],[[.,.],[[.,.],[.,.]]]]=>[[.,[[.,[[.,[.,.]],.]],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[.,.],.],[.,.]],[.,[.,.]]]=>[1,2,4,3,7,6,5]=>[.,[.,[[.,.],[[[.,.],.],.]]]]=>[.,[.,[[.,[[[.,.],.],.]],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[.,.],.],[.,.]],[[.,.],.]]=>[1,2,4,3,6,7,5]=>[.,[.,[[.,.],[[.,.],[.,.]]]]]=>[.,[.,[[.,[[.,[.,.]],.]],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,[.,[.,.]]],.],[.,[.,.]]]=>[3,2,1,4,7,6,5]=>[[[.,.],.],[.,[[[.,.],.],.]]]=>[[[.,[.,[[[.,.],.],.]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,[.,[.,.]]],.],[[.,.],.]]=>[3,2,1,4,6,7,5]=>[[[.,.],.],[.,[[.,.],[.,.]]]]=>[[[.,[.,[[.,[.,.]],.]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,[[.,.],.]],.],[.,[.,.]]]=>[2,3,1,4,7,6,5]=>[[.,.],[.,[.,[[[.,.],.],.]]]]=>[[.,[.,[.,[[[.,.],.],.]]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,[[.,.],.]],.],[[.,.],.]]=>[2,3,1,4,6,7,5]=>[[.,.],[.,[.,[[.,.],[.,.]]]]]=>[[.,[.,[.,[[.,[.,.]],.]]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[.,.],[.,.]],.],[.,[.,.]]]=>[1,3,2,4,7,6,5]=>[.,[[.,.],[.,[[[.,.],.],.]]]]=>[.,[[.,[.,[[[.,.],.],.]]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[.,.],[.,.]],.],[[.,.],.]]=>[1,3,2,4,6,7,5]=>[.,[[.,.],[.,[[.,.],[.,.]]]]]=>[.,[[.,[.,[[.,[.,.]],.]]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[.,[.,.]],.],.],[.,[.,.]]]=>[2,1,3,4,7,6,5]=>[[.,.],[.,[.,[[[.,.],.],.]]]]=>[[.,[.,[.,[[[.,.],.],.]]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[.,[.,.]],.],.],[[.,.],.]]=>[2,1,3,4,6,7,5]=>[[.,.],[.,[.,[[.,.],[.,.]]]]]=>[[.,[.,[.,[[.,[.,.]],.]]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[[.,.],.],.],.],[.,[.,.]]]=>[1,2,3,4,7,6,5]=>[.,[.,[.,[.,[[[.,.],.],.]]]]]=>[.,[.,[.,[.,[[[.,.],.],.]]]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[[.,.],.],.],.],[[.,.],.]]=>[1,2,3,4,6,7,5]=>[.,[.,[.,[.,[[.,.],[.,.]]]]]]=>[.,[.,[.,[.,[[.,[.,.]],.]]]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[.,[.,[.,[.,.]]]]],[.,.]]=>[5,4,3,2,1,7,6]=>[[[[[.,.],.],.],.],[[.,.],.]]=>[[[[[.,[[.,.],.]],.],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[.,[.,[[.,.],.]]]],[.,.]]=>[4,5,3,2,1,7,6]=>[[[[.,.],.],.],[.,[[.,.],.]]]=>[[[[.,[.,[[.,.],.]]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[.,[[.,.],[.,.]]]],[.,.]]=>[3,5,4,2,1,7,6]=>[[[.,.],.],[[.,.],[[.,.],.]]]=>[[[.,[[.,[[.,.],.]],.]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[.,[[.,[.,.]],.]]],[.,.]]=>[4,3,5,2,1,7,6]=>[[[[.,.],.],.],[.,[[.,.],.]]]=>[[[[.,[.,[[.,.],.]]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[.,[[[.,.],.],.]]],[.,.]]=>[3,4,5,2,1,7,6]=>[[[.,.],.],[.,[.,[[.,.],.]]]]=>[[[.,[.,[.,[[.,.],.]]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[[.,.],[.,[.,.]]]],[.,.]]=>[2,5,4,3,1,7,6]=>[[.,.],[[[.,.],.],[[.,.],.]]]=>[[.,[[[.,[[.,.],.]],.],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[[.,.],[[.,.],.]]],[.,.]]=>[2,4,5,3,1,7,6]=>[[.,.],[[.,.],[.,[[.,.],.]]]]=>[[.,[[.,[.,[[.,.],.]]],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[[.,[.,.]],[.,.]]],[.,.]]=>[3,2,5,4,1,7,6]=>[[[.,.],.],[[.,.],[[.,.],.]]]=>[[[.,[[.,[[.,.],.]],.]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[[[.,.],.],[.,.]]],[.,.]]=>[2,3,5,4,1,7,6]=>[[.,.],[.,[[.,.],[[.,.],.]]]]=>[[.,[.,[[.,[[.,.],.]],.]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[[.,[.,[.,.]]],.]],[.,.]]=>[4,3,2,5,1,7,6]=>[[[[.,.],.],.],[.,[[.,.],.]]]=>[[[[.,[.,[[.,.],.]]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[[.,[[.,.],.]],.]],[.,.]]=>[3,4,2,5,1,7,6]=>[[[.,.],.],[.,[.,[[.,.],.]]]]=>[[[.,[.,[.,[[.,.],.]]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[[[.,.],[.,.]],.]],[.,.]]=>[2,4,3,5,1,7,6]=>[[.,.],[[.,.],[.,[[.,.],.]]]]=>[[.,[[.,[.,[[.,.],.]]],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[[[.,[.,.]],.],.]],[.,.]]=>[3,2,4,5,1,7,6]=>[[[.,.],.],[.,[.,[[.,.],.]]]]=>[[[.,[.,[.,[[.,.],.]]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[[[[.,.],.],.],.]],[.,.]]=>[2,3,4,5,1,7,6]=>[[.,.],[.,[.,[.,[[.,.],.]]]]]=>[[.,[.,[.,[.,[[.,.],.]]]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,.],[.,[.,[.,.]]]],[.,.]]=>[1,5,4,3,2,7,6]=>[.,[[[[.,.],.],.],[[.,.],.]]]=>[.,[[[[.,[[.,.],.]],.],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,.],[.,[[.,.],.]]],[.,.]]=>[1,4,5,3,2,7,6]=>[.,[[[.,.],.],[.,[[.,.],.]]]]=>[.,[[[.,[.,[[.,.],.]]],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,.],[[.,.],[.,.]]],[.,.]]=>[1,3,5,4,2,7,6]=>[.,[[.,.],[[.,.],[[.,.],.]]]]=>[.,[[.,[[.,[[.,.],.]],.]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,.],[[.,[.,.]],.]],[.,.]]=>[1,4,3,5,2,7,6]=>[.,[[[.,.],.],[.,[[.,.],.]]]]=>[.,[[[.,[.,[[.,.],.]]],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,.],[[[.,.],.],.]],[.,.]]=>[1,3,4,5,2,7,6]=>[.,[[.,.],[.,[.,[[.,.],.]]]]]=>[.,[[.,[.,[.,[[.,.],.]]]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,[.,.]],[.,[.,.]]],[.,.]]=>[2,1,5,4,3,7,6]=>[[.,.],[[[.,.],.],[[.,.],.]]]=>[[.,[[[.,[[.,.],.]],.],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,[.,.]],[[.,.],.]],[.,.]]=>[2,1,4,5,3,7,6]=>[[.,.],[[.,.],[.,[[.,.],.]]]]=>[[.,[[.,[.,[[.,.],.]]],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[.,.],.],[.,[.,.]]],[.,.]]=>[1,2,5,4,3,7,6]=>[.,[.,[[[.,.],.],[[.,.],.]]]]=>[.,[.,[[[.,[[.,.],.]],.],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[.,.],.],[[.,.],.]],[.,.]]=>[1,2,4,5,3,7,6]=>[.,[.,[[.,.],[.,[[.,.],.]]]]]=>[.,[.,[[.,[.,[[.,.],.]]],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,[.,[.,.]]],[.,.]],[.,.]]=>[3,2,1,5,4,7,6]=>[[[.,.],.],[[.,.],[[.,.],.]]]=>[[[.,[[.,[[.,.],.]],.]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,[[.,.],.]],[.,.]],[.,.]]=>[2,3,1,5,4,7,6]=>[[.,.],[.,[[.,.],[[.,.],.]]]]=>[[.,[.,[[.,[[.,.],.]],.]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[.,.],[.,.]],[.,.]],[.,.]]=>[1,3,2,5,4,7,6]=>[.,[[.,.],[[.,.],[[.,.],.]]]]=>[.,[[.,[[.,[[.,.],.]],.]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[.,[.,.]],.],[.,.]],[.,.]]=>[2,1,3,5,4,7,6]=>[[.,.],[.,[[.,.],[[.,.],.]]]]=>[[.,[.,[[.,[[.,.],.]],.]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[[.,.],.],.],[.,.]],[.,.]]=>[1,2,3,5,4,7,6]=>[.,[.,[.,[[.,.],[[.,.],.]]]]]=>[.,[.,[.,[[.,[[.,.],.]],.]]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,[.,[.,[.,.]]]],.],[.,.]]=>[4,3,2,1,5,7,6]=>[[[[.,.],.],.],[.,[[.,.],.]]]=>[[[[.,[.,[[.,.],.]]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,[.,[[.,.],.]]],.],[.,.]]=>[3,4,2,1,5,7,6]=>[[[.,.],.],[.,[.,[[.,.],.]]]]=>[[[.,[.,[.,[[.,.],.]]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,[[.,.],[.,.]]],.],[.,.]]=>[2,4,3,1,5,7,6]=>[[.,.],[[.,.],[.,[[.,.],.]]]]=>[[.,[[.,[.,[[.,.],.]]],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,[[.,[.,.]],.]],.],[.,.]]=>[3,2,4,1,5,7,6]=>[[[.,.],.],[.,[.,[[.,.],.]]]]=>[[[.,[.,[.,[[.,.],.]]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,[[[.,.],.],.]],.],[.,.]]=>[2,3,4,1,5,7,6]=>[[.,.],[.,[.,[.,[[.,.],.]]]]]=>[[.,[.,[.,[.,[[.,.],.]]]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[.,.],[.,[.,.]]],.],[.,.]]=>[1,4,3,2,5,7,6]=>[.,[[[.,.],.],[.,[[.,.],.]]]]=>[.,[[[.,[.,[[.,.],.]]],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[.,.],[[.,.],.]],.],[.,.]]=>[1,3,4,2,5,7,6]=>[.,[[.,.],[.,[.,[[.,.],.]]]]]=>[.,[[.,[.,[.,[[.,.],.]]]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[.,[.,.]],[.,.]],.],[.,.]]=>[2,1,4,3,5,7,6]=>[[.,.],[[.,.],[.,[[.,.],.]]]]=>[[.,[[.,[.,[[.,.],.]]],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[[.,.],.],[.,.]],.],[.,.]]=>[1,2,4,3,5,7,6]=>[.,[.,[[.,.],[.,[[.,.],.]]]]]=>[.,[.,[[.,[.,[[.,.],.]]],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[.,[.,[.,.]]],.],.],[.,.]]=>[3,2,1,4,5,7,6]=>[[[.,.],.],[.,[.,[[.,.],.]]]]=>[[[.,[.,[.,[[.,.],.]]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[.,[[.,.],.]],.],.],[.,.]]=>[2,3,1,4,5,7,6]=>[[.,.],[.,[.,[.,[[.,.],.]]]]]=>[[.,[.,[.,[.,[[.,.],.]]]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[[.,.],[.,.]],.],.],[.,.]]=>[1,3,2,4,5,7,6]=>[.,[[.,.],[.,[.,[[.,.],.]]]]]=>[.,[[.,[.,[.,[[.,.],.]]]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[[.,[.,.]],.],.],.],[.,.]]=>[2,1,3,4,5,7,6]=>[[.,.],[.,[.,[.,[[.,.],.]]]]]=>[[.,[.,[.,[.,[[.,.],.]]]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[[[.,.],.],.],.],.],[.,.]]=>[1,2,3,4,5,7,6]=>[.,[.,[.,[.,[.,[[.,.],.]]]]]]=>[.,[.,[.,[.,[.,[[.,.],.]]]]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[.,[.,[.,[.,[.,.]]]]]],.]=>[6,5,4,3,2,1,7]=>[[[[[[.,.],.],.],.],.],[.,.]]=>[[[[[[.,[.,.]],.],.],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[.,[.,[.,[[.,.],.]]]]],.]=>[5,6,4,3,2,1,7]=>[[[[[.,.],.],.],.],[.,[.,.]]]=>[[[[[.,[.,[.,.]]],.],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[.,[.,[[.,.],[.,.]]]]],.]=>[4,6,5,3,2,1,7]=>[[[[.,.],.],.],[[.,.],[.,.]]]=>[[[[.,[[.,[.,.]],.]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[.,[.,[[.,[.,.]],.]]]],.]=>[5,4,6,3,2,1,7]=>[[[[[.,.],.],.],.],[.,[.,.]]]=>[[[[[.,[.,[.,.]]],.],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[.,[.,[[[.,.],.],.]]]],.]=>[4,5,6,3,2,1,7]=>[[[[.,.],.],.],[.,[.,[.,.]]]]=>[[[[.,[.,[.,[.,.]]]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[.,[[.,.],[.,[.,.]]]]],.]=>[3,6,5,4,2,1,7]=>[[[.,.],.],[[[.,.],.],[.,.]]]=>[[[.,[[[.,[.,.]],.],.]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[.,[[.,.],[[.,.],.]]]],.]=>[3,5,6,4,2,1,7]=>[[[.,.],.],[[.,.],[.,[.,.]]]]=>[[[.,[[.,[.,[.,.]]],.]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[.,[[.,[.,.]],[.,.]]]],.]=>[4,3,6,5,2,1,7]=>[[[[.,.],.],.],[[.,.],[.,.]]]=>[[[[.,[[.,[.,.]],.]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[.,[[[.,.],.],[.,.]]]],.]=>[3,4,6,5,2,1,7]=>[[[.,.],.],[.,[[.,.],[.,.]]]]=>[[[.,[.,[[.,[.,.]],.]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[.,[[.,[.,[.,.]]],.]]],.]=>[5,4,3,6,2,1,7]=>[[[[[.,.],.],.],.],[.,[.,.]]]=>[[[[[.,[.,[.,.]]],.],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[.,[[.,[[.,.],.]],.]]],.]=>[4,5,3,6,2,1,7]=>[[[[.,.],.],.],[.,[.,[.,.]]]]=>[[[[.,[.,[.,[.,.]]]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[.,[[[.,.],[.,.]],.]]],.]=>[3,5,4,6,2,1,7]=>[[[.,.],.],[[.,.],[.,[.,.]]]]=>[[[.,[[.,[.,[.,.]]],.]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[.,[[[.,[.,.]],.],.]]],.]=>[4,3,5,6,2,1,7]=>[[[[.,.],.],.],[.,[.,[.,.]]]]=>[[[[.,[.,[.,[.,.]]]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[.,[[[[.,.],.],.],.]]],.]=>[3,4,5,6,2,1,7]=>[[[.,.],.],[.,[.,[.,[.,.]]]]]=>[[[.,[.,[.,[.,[.,.]]]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[[.,.],[.,[.,[.,.]]]]],.]=>[2,6,5,4,3,1,7]=>[[.,.],[[[[.,.],.],.],[.,.]]]=>[[.,[[[[.,[.,.]],.],.],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[[.,.],[.,[[.,.],.]]]],.]=>[2,5,6,4,3,1,7]=>[[.,.],[[[.,.],.],[.,[.,.]]]]=>[[.,[[[.,[.,[.,.]]],.],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[[.,.],[[.,.],[.,.]]]],.]=>[2,4,6,5,3,1,7]=>[[.,.],[[.,.],[[.,.],[.,.]]]]=>[[.,[[.,[[.,[.,.]],.]],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[[.,.],[[.,[.,.]],.]]],.]=>[2,5,4,6,3,1,7]=>[[.,.],[[[.,.],.],[.,[.,.]]]]=>[[.,[[[.,[.,[.,.]]],.],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[[.,.],[[[.,.],.],.]]],.]=>[2,4,5,6,3,1,7]=>[[.,.],[[.,.],[.,[.,[.,.]]]]]=>[[.,[[.,[.,[.,[.,.]]]],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[[.,[.,.]],[.,[.,.]]]],.]=>[3,2,6,5,4,1,7]=>[[[.,.],.],[[[.,.],.],[.,.]]]=>[[[.,[[[.,[.,.]],.],.]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[[.,[.,.]],[[.,.],.]]],.]=>[3,2,5,6,4,1,7]=>[[[.,.],.],[[.,.],[.,[.,.]]]]=>[[[.,[[.,[.,[.,.]]],.]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[[[.,.],.],[.,[.,.]]]],.]=>[2,3,6,5,4,1,7]=>[[.,.],[.,[[[.,.],.],[.,.]]]]=>[[.,[.,[[[.,[.,.]],.],.]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[[[.,.],.],[[.,.],.]]],.]=>[2,3,5,6,4,1,7]=>[[.,.],[.,[[.,.],[.,[.,.]]]]]=>[[.,[.,[[.,[.,[.,.]]],.]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[[.,[.,[.,.]]],[.,.]]],.]=>[4,3,2,6,5,1,7]=>[[[[.,.],.],.],[[.,.],[.,.]]]=>[[[[.,[[.,[.,.]],.]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[[.,[[.,.],.]],[.,.]]],.]=>[3,4,2,6,5,1,7]=>[[[.,.],.],[.,[[.,.],[.,.]]]]=>[[[.,[.,[[.,[.,.]],.]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[[[.,.],[.,.]],[.,.]]],.]=>[2,4,3,6,5,1,7]=>[[.,.],[[.,.],[[.,.],[.,.]]]]=>[[.,[[.,[[.,[.,.]],.]],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[[[.,[.,.]],.],[.,.]]],.]=>[3,2,4,6,5,1,7]=>[[[.,.],.],[.,[[.,.],[.,.]]]]=>[[[.,[.,[[.,[.,.]],.]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[[[[.,.],.],.],[.,.]]],.]=>[2,3,4,6,5,1,7]=>[[.,.],[.,[.,[[.,.],[.,.]]]]]=>[[.,[.,[.,[[.,[.,.]],.]]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[[.,[.,[.,[.,.]]]],.]],.]=>[5,4,3,2,6,1,7]=>[[[[[.,.],.],.],.],[.,[.,.]]]=>[[[[[.,[.,[.,.]]],.],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[[.,[.,[[.,.],.]]],.]],.]=>[4,5,3,2,6,1,7]=>[[[[.,.],.],.],[.,[.,[.,.]]]]=>[[[[.,[.,[.,[.,.]]]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[[.,[[.,.],[.,.]]],.]],.]=>[3,5,4,2,6,1,7]=>[[[.,.],.],[[.,.],[.,[.,.]]]]=>[[[.,[[.,[.,[.,.]]],.]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[[.,[[.,[.,.]],.]],.]],.]=>[4,3,5,2,6,1,7]=>[[[[.,.],.],.],[.,[.,[.,.]]]]=>[[[[.,[.,[.,[.,.]]]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[[.,[[[.,.],.],.]],.]],.]=>[3,4,5,2,6,1,7]=>[[[.,.],.],[.,[.,[.,[.,.]]]]]=>[[[.,[.,[.,[.,[.,.]]]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[[[.,.],[.,[.,.]]],.]],.]=>[2,5,4,3,6,1,7]=>[[.,.],[[[.,.],.],[.,[.,.]]]]=>[[.,[[[.,[.,[.,.]]],.],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[[[.,.],[[.,.],.]],.]],.]=>[2,4,5,3,6,1,7]=>[[.,.],[[.,.],[.,[.,[.,.]]]]]=>[[.,[[.,[.,[.,[.,.]]]],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[[[.,[.,.]],[.,.]],.]],.]=>[3,2,5,4,6,1,7]=>[[[.,.],.],[[.,.],[.,[.,.]]]]=>[[[.,[[.,[.,[.,.]]],.]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[[[[.,.],.],[.,.]],.]],.]=>[2,3,5,4,6,1,7]=>[[.,.],[.,[[.,.],[.,[.,.]]]]]=>[[.,[.,[[.,[.,[.,.]]],.]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[[[.,[.,[.,.]]],.],.]],.]=>[4,3,2,5,6,1,7]=>[[[[.,.],.],.],[.,[.,[.,.]]]]=>[[[[.,[.,[.,[.,.]]]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[[[.,[[.,.],.]],.],.]],.]=>[3,4,2,5,6,1,7]=>[[[.,.],.],[.,[.,[.,[.,.]]]]]=>[[[.,[.,[.,[.,[.,.]]]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[[[[.,.],[.,.]],.],.]],.]=>[2,4,3,5,6,1,7]=>[[.,.],[[.,.],[.,[.,[.,.]]]]]=>[[.,[[.,[.,[.,[.,.]]]],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[[[[.,[.,.]],.],.],.]],.]=>[3,2,4,5,6,1,7]=>[[[.,.],.],[.,[.,[.,[.,.]]]]]=>[[[.,[.,[.,[.,[.,.]]]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[[[[[.,.],.],.],.],.]],.]=>[2,3,4,5,6,1,7]=>[[.,.],[.,[.,[.,[.,[.,.]]]]]]=>[[.,[.,[.,[.,[.,[.,.]]]]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,.],[.,[.,[.,[.,.]]]]],.]=>[1,6,5,4,3,2,7]=>[.,[[[[[.,.],.],.],.],[.,.]]]=>[.,[[[[[.,[.,.]],.],.],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,.],[.,[.,[[.,.],.]]]],.]=>[1,5,6,4,3,2,7]=>[.,[[[[.,.],.],.],[.,[.,.]]]]=>[.,[[[[.,[.,[.,.]]],.],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,.],[.,[[.,.],[.,.]]]],.]=>[1,4,6,5,3,2,7]=>[.,[[[.,.],.],[[.,.],[.,.]]]]=>[.,[[[.,[[.,[.,.]],.]],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,.],[.,[[.,[.,.]],.]]],.]=>[1,5,4,6,3,2,7]=>[.,[[[[.,.],.],.],[.,[.,.]]]]=>[.,[[[[.,[.,[.,.]]],.],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,.],[.,[[[.,.],.],.]]],.]=>[1,4,5,6,3,2,7]=>[.,[[[.,.],.],[.,[.,[.,.]]]]]=>[.,[[[.,[.,[.,[.,.]]]],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,.],[[.,.],[.,[.,.]]]],.]=>[1,3,6,5,4,2,7]=>[.,[[.,.],[[[.,.],.],[.,.]]]]=>[.,[[.,[[[.,[.,.]],.],.]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,.],[[.,.],[[.,.],.]]],.]=>[1,3,5,6,4,2,7]=>[.,[[.,.],[[.,.],[.,[.,.]]]]]=>[.,[[.,[[.,[.,[.,.]]],.]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,.],[[.,[.,.]],[.,.]]],.]=>[1,4,3,6,5,2,7]=>[.,[[[.,.],.],[[.,.],[.,.]]]]=>[.,[[[.,[[.,[.,.]],.]],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,.],[[[.,.],.],[.,.]]],.]=>[1,3,4,6,5,2,7]=>[.,[[.,.],[.,[[.,.],[.,.]]]]]=>[.,[[.,[.,[[.,[.,.]],.]]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,.],[[.,[.,[.,.]]],.]],.]=>[1,5,4,3,6,2,7]=>[.,[[[[.,.],.],.],[.,[.,.]]]]=>[.,[[[[.,[.,[.,.]]],.],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,.],[[.,[[.,.],.]],.]],.]=>[1,4,5,3,6,2,7]=>[.,[[[.,.],.],[.,[.,[.,.]]]]]=>[.,[[[.,[.,[.,[.,.]]]],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,.],[[[.,.],[.,.]],.]],.]=>[1,3,5,4,6,2,7]=>[.,[[.,.],[[.,.],[.,[.,.]]]]]=>[.,[[.,[[.,[.,[.,.]]],.]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,.],[[[.,[.,.]],.],.]],.]=>[1,4,3,5,6,2,7]=>[.,[[[.,.],.],[.,[.,[.,.]]]]]=>[.,[[[.,[.,[.,[.,.]]]],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,.],[[[[.,.],.],.],.]],.]=>[1,3,4,5,6,2,7]=>[.,[[.,.],[.,[.,[.,[.,.]]]]]]=>[.,[[.,[.,[.,[.,[.,.]]]]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,[.,.]],[.,[.,[.,.]]]],.]=>[2,1,6,5,4,3,7]=>[[.,.],[[[[.,.],.],.],[.,.]]]=>[[.,[[[[.,[.,.]],.],.],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,[.,.]],[.,[[.,.],.]]],.]=>[2,1,5,6,4,3,7]=>[[.,.],[[[.,.],.],[.,[.,.]]]]=>[[.,[[[.,[.,[.,.]]],.],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,[.,.]],[[.,.],[.,.]]],.]=>[2,1,4,6,5,3,7]=>[[.,.],[[.,.],[[.,.],[.,.]]]]=>[[.,[[.,[[.,[.,.]],.]],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,[.,.]],[[.,[.,.]],.]],.]=>[2,1,5,4,6,3,7]=>[[.,.],[[[.,.],.],[.,[.,.]]]]=>[[.,[[[.,[.,[.,.]]],.],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,[.,.]],[[[.,.],.],.]],.]=>[2,1,4,5,6,3,7]=>[[.,.],[[.,.],[.,[.,[.,.]]]]]=>[[.,[[.,[.,[.,[.,.]]]],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[.,.],.],[.,[.,[.,.]]]],.]=>[1,2,6,5,4,3,7]=>[.,[.,[[[[.,.],.],.],[.,.]]]]=>[.,[.,[[[[.,[.,.]],.],.],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[.,.],.],[.,[[.,.],.]]],.]=>[1,2,5,6,4,3,7]=>[.,[.,[[[.,.],.],[.,[.,.]]]]]=>[.,[.,[[[.,[.,[.,.]]],.],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[.,.],.],[[.,.],[.,.]]],.]=>[1,2,4,6,5,3,7]=>[.,[.,[[.,.],[[.,.],[.,.]]]]]=>[.,[.,[[.,[[.,[.,.]],.]],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[.,.],.],[[.,[.,.]],.]],.]=>[1,2,5,4,6,3,7]=>[.,[.,[[[.,.],.],[.,[.,.]]]]]=>[.,[.,[[[.,[.,[.,.]]],.],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[.,.],.],[[[.,.],.],.]],.]=>[1,2,4,5,6,3,7]=>[.,[.,[[.,.],[.,[.,[.,.]]]]]]=>[.,[.,[[.,[.,[.,[.,.]]]],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,[.,[.,.]]],[.,[.,.]]],.]=>[3,2,1,6,5,4,7]=>[[[.,.],.],[[[.,.],.],[.,.]]]=>[[[.,[[[.,[.,.]],.],.]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,[.,[.,.]]],[[.,.],.]],.]=>[3,2,1,5,6,4,7]=>[[[.,.],.],[[.,.],[.,[.,.]]]]=>[[[.,[[.,[.,[.,.]]],.]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,[[.,.],.]],[.,[.,.]]],.]=>[2,3,1,6,5,4,7]=>[[.,.],[.,[[[.,.],.],[.,.]]]]=>[[.,[.,[[[.,[.,.]],.],.]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,[[.,.],.]],[[.,.],.]],.]=>[2,3,1,5,6,4,7]=>[[.,.],[.,[[.,.],[.,[.,.]]]]]=>[[.,[.,[[.,[.,[.,.]]],.]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[.,.],[.,.]],[.,[.,.]]],.]=>[1,3,2,6,5,4,7]=>[.,[[.,.],[[[.,.],.],[.,.]]]]=>[.,[[.,[[[.,[.,.]],.],.]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[.,.],[.,.]],[[.,.],.]],.]=>[1,3,2,5,6,4,7]=>[.,[[.,.],[[.,.],[.,[.,.]]]]]=>[.,[[.,[[.,[.,[.,.]]],.]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[.,[.,.]],.],[.,[.,.]]],.]=>[2,1,3,6,5,4,7]=>[[.,.],[.,[[[.,.],.],[.,.]]]]=>[[.,[.,[[[.,[.,.]],.],.]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[.,[.,.]],.],[[.,.],.]],.]=>[2,1,3,5,6,4,7]=>[[.,.],[.,[[.,.],[.,[.,.]]]]]=>[[.,[.,[[.,[.,[.,.]]],.]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[[.,.],.],.],[.,[.,.]]],.]=>[1,2,3,6,5,4,7]=>[.,[.,[.,[[[.,.],.],[.,.]]]]]=>[.,[.,[.,[[[.,[.,.]],.],.]]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[[.,.],.],.],[[.,.],.]],.]=>[1,2,3,5,6,4,7]=>[.,[.,[.,[[.,.],[.,[.,.]]]]]]=>[.,[.,[.,[[.,[.,[.,.]]],.]]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,[.,[.,[.,.]]]],[.,.]],.]=>[4,3,2,1,6,5,7]=>[[[[.,.],.],.],[[.,.],[.,.]]]=>[[[[.,[[.,[.,.]],.]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,[.,[[.,.],.]]],[.,.]],.]=>[3,4,2,1,6,5,7]=>[[[.,.],.],[.,[[.,.],[.,.]]]]=>[[[.,[.,[[.,[.,.]],.]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,[[.,.],[.,.]]],[.,.]],.]=>[2,4,3,1,6,5,7]=>[[.,.],[[.,.],[[.,.],[.,.]]]]=>[[.,[[.,[[.,[.,.]],.]],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,[[.,[.,.]],.]],[.,.]],.]=>[3,2,4,1,6,5,7]=>[[[.,.],.],[.,[[.,.],[.,.]]]]=>[[[.,[.,[[.,[.,.]],.]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,[[[.,.],.],.]],[.,.]],.]=>[2,3,4,1,6,5,7]=>[[.,.],[.,[.,[[.,.],[.,.]]]]]=>[[.,[.,[.,[[.,[.,.]],.]]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[.,.],[.,[.,.]]],[.,.]],.]=>[1,4,3,2,6,5,7]=>[.,[[[.,.],.],[[.,.],[.,.]]]]=>[.,[[[.,[[.,[.,.]],.]],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[.,.],[[.,.],.]],[.,.]],.]=>[1,3,4,2,6,5,7]=>[.,[[.,.],[.,[[.,.],[.,.]]]]]=>[.,[[.,[.,[[.,[.,.]],.]]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[.,[.,.]],[.,.]],[.,.]],.]=>[2,1,4,3,6,5,7]=>[[.,.],[[.,.],[[.,.],[.,.]]]]=>[[.,[[.,[[.,[.,.]],.]],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[[.,.],.],[.,.]],[.,.]],.]=>[1,2,4,3,6,5,7]=>[.,[.,[[.,.],[[.,.],[.,.]]]]]=>[.,[.,[[.,[[.,[.,.]],.]],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[.,[.,[.,.]]],.],[.,.]],.]=>[3,2,1,4,6,5,7]=>[[[.,.],.],[.,[[.,.],[.,.]]]]=>[[[.,[.,[[.,[.,.]],.]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[.,[[.,.],.]],.],[.,.]],.]=>[2,3,1,4,6,5,7]=>[[.,.],[.,[.,[[.,.],[.,.]]]]]=>[[.,[.,[.,[[.,[.,.]],.]]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[[.,.],[.,.]],.],[.,.]],.]=>[1,3,2,4,6,5,7]=>[.,[[.,.],[.,[[.,.],[.,.]]]]]=>[.,[[.,[.,[[.,[.,.]],.]]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[[.,[.,.]],.],.],[.,.]],.]=>[2,1,3,4,6,5,7]=>[[.,.],[.,[.,[[.,.],[.,.]]]]]=>[[.,[.,[.,[[.,[.,.]],.]]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[[[.,.],.],.],.],[.,.]],.]=>[1,2,3,4,6,5,7]=>[.,[.,[.,[.,[[.,.],[.,.]]]]]]=>[.,[.,[.,[.,[[.,[.,.]],.]]]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,[.,[.,[.,[.,.]]]]],.],.]=>[5,4,3,2,1,6,7]=>[[[[[.,.],.],.],.],[.,[.,.]]]=>[[[[[.,[.,[.,.]]],.],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,[.,[.,[[.,.],.]]]],.],.]=>[4,5,3,2,1,6,7]=>[[[[.,.],.],.],[.,[.,[.,.]]]]=>[[[[.,[.,[.,[.,.]]]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,[.,[[.,.],[.,.]]]],.],.]=>[3,5,4,2,1,6,7]=>[[[.,.],.],[[.,.],[.,[.,.]]]]=>[[[.,[[.,[.,[.,.]]],.]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,[.,[[.,[.,.]],.]]],.],.]=>[4,3,5,2,1,6,7]=>[[[[.,.],.],.],[.,[.,[.,.]]]]=>[[[[.,[.,[.,[.,.]]]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,[.,[[[.,.],.],.]]],.],.]=>[3,4,5,2,1,6,7]=>[[[.,.],.],[.,[.,[.,[.,.]]]]]=>[[[.,[.,[.,[.,[.,.]]]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,[[.,.],[.,[.,.]]]],.],.]=>[2,5,4,3,1,6,7]=>[[.,.],[[[.,.],.],[.,[.,.]]]]=>[[.,[[[.,[.,[.,.]]],.],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,[[.,.],[[.,.],.]]],.],.]=>[2,4,5,3,1,6,7]=>[[.,.],[[.,.],[.,[.,[.,.]]]]]=>[[.,[[.,[.,[.,[.,.]]]],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,[[.,[.,.]],[.,.]]],.],.]=>[3,2,5,4,1,6,7]=>[[[.,.],.],[[.,.],[.,[.,.]]]]=>[[[.,[[.,[.,[.,.]]],.]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,[[[.,.],.],[.,.]]],.],.]=>[2,3,5,4,1,6,7]=>[[.,.],[.,[[.,.],[.,[.,.]]]]]=>[[.,[.,[[.,[.,[.,.]]],.]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,[[.,[.,[.,.]]],.]],.],.]=>[4,3,2,5,1,6,7]=>[[[[.,.],.],.],[.,[.,[.,.]]]]=>[[[[.,[.,[.,[.,.]]]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,[[.,[[.,.],.]],.]],.],.]=>[3,4,2,5,1,6,7]=>[[[.,.],.],[.,[.,[.,[.,.]]]]]=>[[[.,[.,[.,[.,[.,.]]]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,[[[.,.],[.,.]],.]],.],.]=>[2,4,3,5,1,6,7]=>[[.,.],[[.,.],[.,[.,[.,.]]]]]=>[[.,[[.,[.,[.,[.,.]]]],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,[[[.,[.,.]],.],.]],.],.]=>[3,2,4,5,1,6,7]=>[[[.,.],.],[.,[.,[.,[.,.]]]]]=>[[[.,[.,[.,[.,[.,.]]]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,[[[[.,.],.],.],.]],.],.]=>[2,3,4,5,1,6,7]=>[[.,.],[.,[.,[.,[.,[.,.]]]]]]=>[[.,[.,[.,[.,[.,[.,.]]]]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[.,.],[.,[.,[.,.]]]],.],.]=>[1,5,4,3,2,6,7]=>[.,[[[[.,.],.],.],[.,[.,.]]]]=>[.,[[[[.,[.,[.,.]]],.],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[.,.],[.,[[.,.],.]]],.],.]=>[1,4,5,3,2,6,7]=>[.,[[[.,.],.],[.,[.,[.,.]]]]]=>[.,[[[.,[.,[.,[.,.]]]],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[.,.],[[.,.],[.,.]]],.],.]=>[1,3,5,4,2,6,7]=>[.,[[.,.],[[.,.],[.,[.,.]]]]]=>[.,[[.,[[.,[.,[.,.]]],.]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[.,.],[[.,[.,.]],.]],.],.]=>[1,4,3,5,2,6,7]=>[.,[[[.,.],.],[.,[.,[.,.]]]]]=>[.,[[[.,[.,[.,[.,.]]]],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[.,.],[[[.,.],.],.]],.],.]=>[1,3,4,5,2,6,7]=>[.,[[.,.],[.,[.,[.,[.,.]]]]]]=>[.,[[.,[.,[.,[.,[.,.]]]]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[.,[.,.]],[.,[.,.]]],.],.]=>[2,1,5,4,3,6,7]=>[[.,.],[[[.,.],.],[.,[.,.]]]]=>[[.,[[[.,[.,[.,.]]],.],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[.,[.,.]],[[.,.],.]],.],.]=>[2,1,4,5,3,6,7]=>[[.,.],[[.,.],[.,[.,[.,.]]]]]=>[[.,[[.,[.,[.,[.,.]]]],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[[.,.],.],[.,[.,.]]],.],.]=>[1,2,5,4,3,6,7]=>[.,[.,[[[.,.],.],[.,[.,.]]]]]=>[.,[.,[[[.,[.,[.,.]]],.],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[[.,.],.],[[.,.],.]],.],.]=>[1,2,4,5,3,6,7]=>[.,[.,[[.,.],[.,[.,[.,.]]]]]]=>[.,[.,[[.,[.,[.,[.,.]]]],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[.,[.,[.,.]]],[.,.]],.],.]=>[3,2,1,5,4,6,7]=>[[[.,.],.],[[.,.],[.,[.,.]]]]=>[[[.,[[.,[.,[.,.]]],.]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[.,[[.,.],.]],[.,.]],.],.]=>[2,3,1,5,4,6,7]=>[[.,.],[.,[[.,.],[.,[.,.]]]]]=>[[.,[.,[[.,[.,[.,.]]],.]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[[.,.],[.,.]],[.,.]],.],.]=>[1,3,2,5,4,6,7]=>[.,[[.,.],[[.,.],[.,[.,.]]]]]=>[.,[[.,[[.,[.,[.,.]]],.]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[[.,[.,.]],.],[.,.]],.],.]=>[2,1,3,5,4,6,7]=>[[.,.],[.,[[.,.],[.,[.,.]]]]]=>[[.,[.,[[.,[.,[.,.]]],.]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[[[.,.],.],.],[.,.]],.],.]=>[1,2,3,5,4,6,7]=>[.,[.,[.,[[.,.],[.,[.,.]]]]]]=>[.,[.,[.,[[.,[.,[.,.]]],.]]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[.,[.,[.,[.,.]]]],.],.],.]=>[4,3,2,1,5,6,7]=>[[[[.,.],.],.],[.,[.,[.,.]]]]=>[[[[.,[.,[.,[.,.]]]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[.,[.,[[.,.],.]]],.],.],.]=>[3,4,2,1,5,6,7]=>[[[.,.],.],[.,[.,[.,[.,.]]]]]=>[[[.,[.,[.,[.,[.,.]]]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[.,[[.,.],[.,.]]],.],.],.]=>[2,4,3,1,5,6,7]=>[[.,.],[[.,.],[.,[.,[.,.]]]]]=>[[.,[[.,[.,[.,[.,.]]]],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[.,[[.,[.,.]],.]],.],.],.]=>[3,2,4,1,5,6,7]=>[[[.,.],.],[.,[.,[.,[.,.]]]]]=>[[[.,[.,[.,[.,[.,.]]]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[.,[[[.,.],.],.]],.],.],.]=>[2,3,4,1,5,6,7]=>[[.,.],[.,[.,[.,[.,[.,.]]]]]]=>[[.,[.,[.,[.,[.,[.,.]]]]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[[.,.],[.,[.,.]]],.],.],.]=>[1,4,3,2,5,6,7]=>[.,[[[.,.],.],[.,[.,[.,.]]]]]=>[.,[[[.,[.,[.,[.,.]]]],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[[.,.],[[.,.],.]],.],.],.]=>[1,3,4,2,5,6,7]=>[.,[[.,.],[.,[.,[.,[.,.]]]]]]=>[.,[[.,[.,[.,[.,[.,.]]]]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[[.,[.,.]],[.,.]],.],.],.]=>[2,1,4,3,5,6,7]=>[[.,.],[[.,.],[.,[.,[.,.]]]]]=>[[.,[[.,[.,[.,[.,.]]]],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[[[.,.],.],[.,.]],.],.],.]=>[1,2,4,3,5,6,7]=>[.,[.,[[.,.],[.,[.,[.,.]]]]]]=>[.,[.,[[.,[.,[.,[.,.]]]],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[[.,[.,[.,.]]],.],.],.],.]=>[3,2,1,4,5,6,7]=>[[[.,.],.],[.,[.,[.,[.,.]]]]]=>[[[.,[.,[.,[.,[.,.]]]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[[.,[[.,.],.]],.],.],.],.]=>[2,3,1,4,5,6,7]=>[[.,.],[.,[.,[.,[.,[.,.]]]]]]=>[[.,[.,[.,[.,[.,[.,.]]]]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[[[.,.],[.,.]],.],.],.],.]=>[1,3,2,4,5,6,7]=>[.,[[.,.],[.,[.,[.,[.,.]]]]]]=>[.,[[.,[.,[.,[.,[.,.]]]]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[[[.,[.,.]],.],.],.],.],.]=>[2,1,3,4,5,6,7]=>[[.,.],[.,[.,[.,[.,[.,.]]]]]]=>[[.,[.,[.,[.,[.,[.,.]]]]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[[[[.,.],.],.],.],.],.],.]=>[1,2,3,4,5,6,7]=>[.,[.,[.,[.,[.,[.,[.,.]]]]]]]=>[.,[.,[.,[.,[.,[.,[.,.]]]]]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[.,[.,[.,[.,[.,[.,[.,.]]]]]]]]=>[8,7,6,5,4,3,2,1]=>[[[[[[[[.,.],.],.],.],.],.],.],.]=>[[[[[[[[.,.],.],.],.],.],.],.],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)
[[.,[.,.]],[.,[.,[.,[.,[.,.]]]]]]=>[2,1,8,7,6,5,4,3]=>[[.,.],[[[[[[.,.],.],.],.],.],.]]=>[[.,[[[[[[.,.],.],.],.],.],.]],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)
[[.,[.,[.,[.,.]]]],[.,[.,[.,.]]]]=>[4,3,2,1,8,7,6,5]=>[[[[.,.],.],.],[[[[.,.],.],.],.]]=>[[[[.,[[[[.,.],.],.],.]],.],.],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)
[[.,[.,[[.,.],.]]],[.,[[.,.],.]]]=>[3,4,2,1,7,8,6,5]=>[[[.,.],.],[.,[[[.,.],.],[.,.]]]]=>[[[.,[.,[[[.,[.,.]],.],.]]],.],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)
[[.,[[.,.],[.,.]]],[[.,[.,.]],.]]=>[2,4,3,1,7,6,8,5]=>[[.,.],[[.,.],[[[.,.],.],[.,.]]]]=>[[.,[[.,[[[.,[.,.]],.],.]],.]],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)
[[.,[[.,[.,.]],.]],[[.,.],[.,.]]]=>[3,2,4,1,6,8,7,5]=>[[[.,.],.],[.,[[.,.],[[.,.],.]]]]=>[[[.,[.,[[.,[[.,.],.]],.]]],.],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)
[[.,[[[.,.],.],.]],[[[.,.],.],.]]=>[2,3,4,1,6,7,8,5]=>[[.,.],[.,[.,[[.,.],[.,[.,.]]]]]]=>[[.,[.,[.,[[.,[.,[.,.]]],.]]]],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)
[[[.,[.,.]],[.,.]],[.,[.,[.,.]]]]=>[2,1,4,3,8,7,6,5]=>[[.,.],[[.,.],[[[[.,.],.],.],.]]]=>[[.,[[.,[[[[.,.],.],.],.]],.]],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)
[[[[.,[.,[.,.]]],.],.],[.,[.,.]]]=>[3,2,1,4,5,8,7,6]=>[[[.,.],.],[.,[.,[[[.,.],.],.]]]]=>[[[.,[.,[.,[[[.,.],.],.]]]],.],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)
[[[[.,[[.,.],.]],.],.],[[.,.],.]]=>[2,3,1,4,5,7,8,6]=>[[.,.],[.,[.,[.,[[.,.],[.,.]]]]]]=>[[.,[.,[.,[.,[[.,[.,.]],.]]]]],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)
[[.,[.,[.,[.,[.,[.,.]]]]]],[.,.]]=>[6,5,4,3,2,1,8,7]=>[[[[[[.,.],.],.],.],.],[[.,.],.]]=>[[[[[[.,[[.,.],.]],.],.],.],.],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)
[[[.,[.,.]],[.,[.,[.,.]]]],[.,.]]=>[2,1,6,5,4,3,8,7]=>[[.,.],[[[[.,.],.],.],[[.,.],.]]]=>[[.,[[[[.,[[.,.],.]],.],.],.]],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)
[[[.,[.,[.,[.,.]]]],[.,.]],[.,.]]=>[4,3,2,1,6,5,8,7]=>[[[[.,.],.],.],[[.,.],[[.,.],.]]]=>[[[[.,[[.,[[.,.],.]],.]],.],.],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)
[[[[.,[.,.]],[.,.]],[.,.]],[.,.]]=>[2,1,4,3,6,5,8,7]=>[[.,.],[[.,.],[[.,.],[[.,.],.]]]]=>[[.,[[.,[[.,[[.,.],.]],.]],.]],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)
[[[[[[.,[.,.]],.],.],.],.],[.,.]]=>[2,1,3,4,5,6,8,7]=>[[.,.],[.,[.,[.,[.,[[.,.],.]]]]]]=>[[.,[.,[.,[.,[.,[[.,.],.]]]]]],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)
[[[[.,.],[.,[.,.]]],[.,[.,.]]],.]=>[1,4,3,2,7,6,5,8]=>[.,[[[.,.],.],[[[.,.],.],[.,.]]]]=>[.,[[[.,[[[.,[.,.]],.],.]],.],.]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)
[[[[.,.],[[.,.],.]],[[.,.],.]],.]=>[1,3,4,2,6,7,5,8]=>[.,[[.,.],[.,[[.,.],[.,[.,.]]]]]]=>[.,[[.,[.,[[.,[.,[.,.]]],.]]],.]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)
[[[[[[.,.],[.,.]],.],.],[.,.]],.]=>[1,3,2,4,5,7,6,8]=>[.,[[.,.],[.,[.,[[.,.],[.,.]]]]]]=>[.,[[.,[.,[.,[[.,[.,.]],.]]]],.]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)
[[[[[[.,.],.],[.,.]],[.,.]],.],.]=>[1,2,4,3,6,5,7,8]=>[.,[.,[[.,.],[[.,.],[.,[.,.]]]]]]=>[.,[.,[[.,[[.,[.,[.,.]]],.]],.]]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)
[[[[[[[[.,.],.],.],.],.],.],.],.]=>[1,2,3,4,5,6,7,8]=>[.,[.,[.,[.,[.,[.,[.,[.,.]]]]]]]]=>[.,[.,[.,[.,[.,[.,[.,[.,.]]]]]]]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)
Map
to 312-avoiding permutation
Description
Return a 312-avoiding permutation corresponding to a binary tree.
The linear extensions of a binary tree form an interval of the weak order called the Sylvester class of the tree. This permutation is the minimal element of this Sylvester class.
The linear extensions of a binary tree form an interval of the weak order called the Sylvester class of the tree. This permutation is the minimal element of this Sylvester class.
Map
binary search tree: left to right
Description
Return the shape of the binary search tree of the permutation as a non labelled binary tree.
Map
left border symmetry
Description
Return the tree where a symmetry has been applied recursively on all left borders. If a tree is made of three trees $T_1, T_2, T_3$ on its left border, it becomes $T_3, T_2, T_1$ where same symmetry has been applied to $T_1, T_2, T_3$.
Map
to poset
Description
Return the poset obtained by interpreting the tree as a Hasse diagram.
searching the database
Sorry, this map was not found in the database.