Identifier
Mp00014:
Binary trees
—to 132-avoiding permutation⟶
Permutations
Mp00086: Permutations —first fundamental transformation⟶ Permutations
Mp00208: Permutations —lattice of intervals⟶ Lattices
Mp00086: Permutations —first fundamental transformation⟶ Permutations
Mp00208: Permutations —lattice of intervals⟶ Lattices
Images
=>
Cc0010;cc-rep-0Cc0029;cc-rep-3
[.,.]=>[1]=>[1]=>([(0,1)],2)
[.,[.,.]]=>[2,1]=>[2,1]=>([(0,1),(0,2),(1,3),(2,3)],4)
[[.,.],.]=>[1,2]=>[1,2]=>([(0,1),(0,2),(1,3),(2,3)],4)
[.,[.,[.,.]]]=>[3,2,1]=>[3,1,2]=>([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
[.,[[.,.],.]]=>[2,3,1]=>[3,2,1]=>([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
[[.,.],[.,.]]=>[3,1,2]=>[2,3,1]=>([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
[[.,[.,.]],.]=>[2,1,3]=>[2,1,3]=>([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6)
[[[.,.],.],.]=>[1,2,3]=>[1,2,3]=>([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7)
[.,[.,[.,[.,.]]]]=>[4,3,2,1]=>[4,1,2,3]=>([(0,1),(0,2),(0,3),(0,4),(1,7),(2,6),(3,5),(4,5),(4,6),(5,8),(6,8),(8,7)],9)
[.,[.,[[.,.],.]]]=>[3,4,2,1]=>[4,1,3,2]=>([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
[.,[[.,.],[.,.]]]=>[4,2,3,1]=>[4,3,1,2]=>([(0,1),(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,5),(4,7),(5,8),(6,7),(7,8)],9)
[.,[[.,[.,.]],.]]=>[3,2,4,1]=>[4,3,2,1]=>([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
[.,[[[.,.],.],.]]=>[2,3,4,1]=>[4,2,3,1]=>([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,7),(4,6),(5,6),(5,7),(6,8),(7,8)],9)
[[.,.],[.,[.,.]]]=>[4,3,1,2]=>[2,4,1,3]=>([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
[[.,.],[[.,.],.]]=>[3,4,1,2]=>[2,4,3,1]=>([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
[[.,[.,.]],[.,.]]=>[4,2,1,3]=>[3,1,4,2]=>([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6)
[[[.,.],.],[.,.]]=>[4,1,2,3]=>[2,3,4,1]=>([(0,1),(0,2),(0,3),(0,4),(1,7),(2,6),(3,5),(4,5),(4,6),(5,8),(6,8),(8,7)],9)
[[.,[.,[.,.]]],.]=>[3,2,1,4]=>[3,1,2,4]=>([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
[[.,[[.,.],.]],.]=>[2,3,1,4]=>[3,2,1,4]=>([(0,1),(0,2),(0,3),(0,4),(1,7),(2,6),(3,5),(4,5),(4,6),(5,8),(6,8),(8,7)],9)
[[[.,.],[.,.]],.]=>[3,1,2,4]=>[2,3,1,4]=>([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8)
[[[.,[.,.]],.],.]=>[2,1,3,4]=>[2,1,3,4]=>([(0,1),(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,5),(4,7),(5,8),(6,7),(7,8)],9)
[[[[.,.],.],.],.]=>[1,2,3,4]=>[1,2,3,4]=>([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11)
[.,[.,[.,[.,[.,.]]]]]=>[5,4,3,2,1]=>[5,1,2,3,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(1,11),(2,10),(3,6),(4,10),(4,12),(5,11),(5,12),(7,9),(8,9),(9,6),(10,7),(11,8),(12,7),(12,8)],13)
[.,[.,[.,[[.,.],.]]]]=>[4,5,3,2,1]=>[5,1,2,4,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(1,9),(2,6),(3,7),(4,7),(5,6),(5,8),(6,10),(7,8),(8,10),(10,9)],11)
[.,[.,[[.,.],[.,.]]]]=>[5,3,4,2,1]=>[5,1,4,2,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,8),(4,9),(5,7),(6,9),(8,7),(9,8)],10)
[.,[.,[[.,[.,.]],.]]]=>[4,3,5,2,1]=>[5,1,4,3,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(1,9),(2,8),(3,7),(4,6),(5,6),(5,7),(6,10),(7,10),(8,9),(10,8)],11)
[.,[.,[[[.,.],.],.]]]=>[3,4,5,2,1]=>[5,1,3,4,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,8),(4,9),(5,7),(6,9),(8,7),(9,8)],10)
[.,[[.,.],[.,[.,.]]]]=>[5,4,2,3,1]=>[5,3,1,2,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,8),(4,9),(5,7),(6,9),(8,7),(9,8)],10)
[.,[[.,.],[[.,.],.]]]=>[4,5,2,3,1]=>[5,3,1,4,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,7),(5,6),(7,6)],8)
[.,[[.,[.,.]],[.,.]]]=>[5,3,2,4,1]=>[5,4,2,1,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(1,8),(2,6),(3,7),(4,7),(5,6),(5,9),(6,10),(7,8),(8,9),(9,10)],11)
[.,[[[.,.],.],[.,.]]]=>[5,2,3,4,1]=>[5,3,4,1,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(1,8),(2,6),(3,6),(4,7),(5,7),(6,9),(7,8),(7,9),(8,10),(9,10)],11)
[.,[[.,[.,[.,.]]],.]]=>[4,3,2,5,1]=>[5,4,2,3,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(1,10),(2,12),(3,12),(4,9),(5,10),(5,11),(7,6),(8,6),(9,8),(10,7),(11,7),(11,8),(12,9),(12,11)],13)
[.,[[.,[[.,.],.]],.]]=>[3,4,2,5,1]=>[5,4,3,2,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(2,11),(3,11),(3,14),(4,12),(4,15),(5,14),(5,15),(7,9),(8,10),(9,6),(10,6),(11,7),(12,8),(13,9),(13,10),(14,7),(14,13),(15,8),(15,13)],16)
[.,[[[.,.],[.,.]],.]]=>[4,2,3,5,1]=>[5,3,4,2,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(1,10),(2,12),(3,12),(4,9),(5,10),(5,11),(7,6),(8,6),(9,8),(10,7),(11,7),(11,8),(12,9),(12,11)],13)
[.,[[[.,[.,.]],.],.]]=>[3,2,4,5,1]=>[5,3,2,4,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,8),(4,7),(5,9),(6,9),(7,10),(8,10),(9,7),(9,8)],11)
[.,[[[[.,.],.],.],.]]=>[2,3,4,5,1]=>[5,2,3,4,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(1,8),(2,7),(3,10),(4,9),(5,9),(5,10),(7,6),(8,6),(9,11),(10,11),(11,7),(11,8)],12)
[[.,.],[.,[.,[.,.]]]]=>[5,4,3,1,2]=>[2,5,1,3,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,6),(5,6),(6,7)],8)
[[.,.],[.,[[.,.],.]]]=>[4,5,3,1,2]=>[2,5,1,4,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,6),(5,6),(6,7)],8)
[[.,.],[[.,.],[.,.]]]=>[5,3,4,1,2]=>[2,5,4,1,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,6),(5,6),(6,7)],8)
[[.,.],[[.,[.,.]],.]]=>[4,3,5,1,2]=>[2,5,4,3,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(1,9),(2,8),(3,7),(4,6),(5,6),(5,7),(6,10),(7,10),(8,9),(10,8)],11)
[[.,.],[[[.,.],.],.]]=>[3,4,5,1,2]=>[2,5,3,4,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,8),(4,9),(5,7),(6,9),(8,7),(9,8)],10)
[[.,[.,.]],[.,[.,.]]]=>[5,4,2,1,3]=>[3,1,5,2,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
[[.,[.,.]],[[.,.],.]]=>[4,5,2,1,3]=>[3,1,5,4,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,6),(5,6),(6,7)],8)
[[[.,.],.],[.,[.,.]]]=>[5,4,1,2,3]=>[2,3,5,1,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,6),(5,6),(6,7)],8)
[[[.,.],.],[[.,.],.]]=>[4,5,1,2,3]=>[2,3,5,4,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(1,9),(2,6),(3,7),(4,7),(5,6),(5,8),(6,10),(7,8),(8,10),(10,9)],11)
[[.,[.,[.,.]]],[.,.]]=>[5,3,2,1,4]=>[4,1,2,5,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,6),(5,6),(6,7)],8)
[[.,[[.,.],.]],[.,.]]=>[5,2,3,1,4]=>[4,3,1,5,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,6),(5,6),(6,7)],8)
[[[.,.],[.,.]],[.,.]]=>[5,3,1,2,4]=>[2,4,1,5,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
[[[.,[.,.]],.],[.,.]]=>[5,2,1,3,4]=>[3,1,4,5,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,6),(5,6),(6,7)],8)
[[[[.,.],.],.],[.,.]]=>[5,1,2,3,4]=>[2,3,4,5,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(1,11),(2,10),(3,6),(4,10),(4,12),(5,11),(5,12),(7,9),(8,9),(9,6),(10,7),(11,8),(12,7),(12,8)],13)
[[.,[.,[.,[.,.]]]],.]=>[4,3,2,1,5]=>[4,1,2,3,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(1,9),(2,8),(3,7),(4,6),(5,6),(5,7),(6,10),(7,10),(8,9),(10,8)],11)
[[.,[.,[[.,.],.]]],.]=>[3,4,2,1,5]=>[4,1,3,2,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,8),(4,9),(5,7),(6,9),(8,7),(9,8)],10)
[[.,[[.,.],[.,.]]],.]=>[4,2,3,1,5]=>[4,3,1,2,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(1,9),(2,6),(3,7),(4,7),(5,6),(5,8),(6,10),(7,8),(8,10),(10,9)],11)
[[.,[[.,[.,.]],.]],.]=>[3,2,4,1,5]=>[4,3,2,1,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(1,11),(2,10),(3,6),(4,10),(4,12),(5,11),(5,12),(7,9),(8,9),(9,6),(10,7),(11,8),(12,7),(12,8)],13)
[[.,[[[.,.],.],.]],.]=>[2,3,4,1,5]=>[4,2,3,1,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,9),(4,8),(5,7),(6,8),(6,9),(8,10),(9,10),(10,7)],11)
[[[.,.],[.,[.,.]]],.]=>[4,3,1,2,5]=>[2,4,1,3,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,7),(5,6),(7,6)],8)
[[[.,.],[[.,.],.]],.]=>[3,4,1,2,5]=>[2,4,3,1,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,8),(4,9),(5,7),(6,9),(8,7),(9,8)],10)
[[[.,[.,.]],[.,.]],.]=>[4,2,1,3,5]=>[3,1,4,2,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,7),(5,6),(7,6)],8)
[[[[.,.],.],[.,.]],.]=>[4,1,2,3,5]=>[2,3,4,1,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(1,9),(2,8),(3,7),(4,6),(5,6),(5,7),(6,10),(7,10),(8,9),(10,8)],11)
[[[.,[.,[.,.]]],.],.]=>[3,2,1,4,5]=>[3,1,2,4,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(1,8),(2,6),(3,7),(4,7),(5,6),(5,9),(6,10),(7,8),(8,9),(9,10)],11)
[[[.,[[.,.],.]],.],.]=>[2,3,1,4,5]=>[3,2,1,4,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(1,10),(2,9),(3,11),(4,9),(4,10),(5,8),(5,11),(7,8),(8,6),(9,7),(10,7),(11,6)],12)
[[[[.,.],[.,.]],.],.]=>[3,1,2,4,5]=>[2,3,1,4,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(1,8),(2,6),(3,7),(4,7),(5,6),(5,9),(6,10),(7,8),(8,9),(9,10)],11)
[[[[.,[.,.]],.],.],.]=>[2,1,3,4,5]=>[2,1,3,4,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(1,11),(2,11),(3,10),(4,9),(4,12),(5,10),(5,12),(7,6),(8,6),(9,7),(10,8),(11,9),(12,7),(12,8)],13)
[[[[[.,.],.],.],.],.]=>[1,2,3,4,5]=>[1,2,3,4,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(2,11),(3,11),(3,14),(4,12),(4,15),(5,14),(5,15),(7,9),(8,10),(9,6),(10,6),(11,7),(12,8),(13,9),(13,10),(14,7),(14,13),(15,8),(15,13)],16)
[.,[.,[.,[.,[.,[.,.]]]]]]=>[6,5,4,3,2,1]=>[6,1,2,3,4,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,14),(2,13),(3,7),(4,13),(4,16),(5,14),(5,17),(6,16),(6,17),(8,12),(9,12),(10,8),(11,9),(12,7),(13,10),(14,11),(15,8),(15,9),(16,10),(16,15),(17,11),(17,15)],18)
[.,[.,[.,[.,[[.,.],.]]]]]=>[5,6,4,3,2,1]=>[6,1,2,3,5,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,13),(2,13),(3,12),(4,7),(5,11),(5,14),(6,12),(6,14),(8,10),(9,10),(10,7),(11,8),(12,9),(13,11),(14,8),(14,9)],15)
[.,[.,[.,[[.,.],[.,.]]]]]=>[6,4,5,3,2,1]=>[6,1,2,5,3,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,7),(4,10),(5,11),(6,7),(6,9),(7,12),(8,11),(9,12),(11,9),(12,10)],13)
[.,[.,[.,[[.,[.,.]],.]]]]=>[5,4,6,3,2,1]=>[6,1,2,5,4,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,12),(2,11),(3,13),(4,7),(5,10),(5,13),(6,11),(6,12),(8,10),(9,7),(10,9),(11,8),(12,8),(13,9)],14)
[.,[.,[.,[[[.,.],.],.]]]]=>[4,5,6,3,2,1]=>[6,1,2,4,5,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,7),(4,10),(5,11),(6,7),(6,9),(7,12),(8,11),(9,12),(11,9),(12,10)],13)
[.,[.,[[.,.],[.,[.,.]]]]]=>[6,5,3,4,2,1]=>[6,1,4,2,3,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,9),(4,8),(5,10),(6,11),(7,11),(8,12),(9,12),(11,8),(11,9),(12,10)],13)
[.,[.,[[.,.],[[.,.],.]]]]=>[5,6,3,4,2,1]=>[6,1,4,2,5,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,9),(3,9),(4,9),(5,9),(6,7),(7,8),(9,7)],10)
[.,[.,[[.,[.,.]],[.,.]]]]=>[6,4,3,5,2,1]=>[6,1,5,3,2,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,9),(4,10),(5,11),(6,8),(7,11),(9,10),(10,8),(11,9)],12)
[.,[.,[[[.,.],.],[.,.]]]]=>[6,3,4,5,2,1]=>[6,1,4,5,2,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,10),(2,9),(3,8),(4,8),(5,7),(6,7),(7,11),(8,11),(9,10),(11,9)],12)
[.,[.,[[.,[.,[.,.]]],.]]]=>[5,4,3,6,2,1]=>[6,1,5,3,4,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,10),(4,9),(5,8),(6,11),(7,9),(7,10),(9,12),(10,12),(11,8),(12,11)],13)
[.,[.,[[.,[[.,.],.]],.]]]=>[4,5,3,6,2,1]=>[6,1,5,4,3,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,11),(2,13),(3,12),(4,7),(5,12),(5,14),(6,13),(6,14),(8,11),(9,8),(10,8),(11,7),(12,9),(13,10),(14,9),(14,10)],15)
[.,[.,[[[.,.],[.,.]],.]]]=>[5,3,4,6,2,1]=>[6,1,4,5,3,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,7),(4,9),(5,11),(6,7),(6,10),(7,12),(8,10),(10,12),(11,9),(12,11)],13)
[.,[.,[[[.,[.,.]],.],.]]]=>[4,3,5,6,2,1]=>[6,1,4,3,5,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,9),(4,10),(5,11),(6,8),(7,11),(9,10),(10,8),(11,9)],12)
[.,[.,[[[[.,.],.],.],.]]]=>[3,4,5,6,2,1]=>[6,1,3,4,5,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,7),(3,7),(3,8),(4,10),(5,11),(6,9),(7,12),(8,12),(10,9),(11,10),(12,11)],13)
[.,[[.,.],[.,[.,[.,.]]]]]=>[6,5,4,2,3,1]=>[6,3,1,2,4,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,7),(4,10),(5,11),(6,7),(6,9),(7,12),(8,11),(9,12),(11,9),(12,10)],13)
[.,[[.,.],[.,[[.,.],.]]]]=>[5,6,4,2,3,1]=>[6,3,1,2,5,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(2,10),(3,7),(4,7),(5,8),(6,8),(7,11),(8,9),(9,11),(11,10)],12)
[.,[[.,.],[[.,.],[.,.]]]]=>[6,4,5,2,3,1]=>[6,3,1,5,2,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,8),(6,7),(8,7)],9)
[.,[[.,.],[[.,[.,.]],.]]]=>[5,4,6,2,3,1]=>[6,3,1,5,4,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(2,9),(3,9),(4,7),(5,7),(6,8),(7,9),(9,8)],10)
[.,[[.,.],[[[.,.],.],.]]]=>[4,5,6,2,3,1]=>[6,3,1,4,5,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(2,9),(3,9),(4,7),(5,7),(6,8),(7,9),(9,8)],10)
[.,[[.,[.,.]],[.,[.,.]]]]=>[6,5,3,2,4,1]=>[6,4,2,1,3,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,9),(4,10),(5,11),(6,8),(7,11),(9,10),(10,8),(11,9)],12)
[.,[[.,[.,.]],[[.,.],.]]]=>[5,6,3,2,4,1]=>[6,4,2,1,5,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(2,9),(3,9),(4,7),(5,7),(6,8),(7,9),(9,8)],10)
[.,[[[.,.],.],[.,[.,.]]]]=>[6,5,2,3,4,1]=>[6,3,4,1,2,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,10),(2,9),(3,8),(4,8),(5,7),(6,7),(7,11),(8,11),(9,10),(11,9)],12)
[.,[[[.,.],.],[[.,.],.]]]=>[5,6,2,3,4,1]=>[6,3,4,1,5,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(2,9),(3,9),(4,7),(5,7),(6,8),(7,9),(9,8)],10)
[.,[[.,[.,[.,.]]],[.,.]]]=>[6,4,3,2,5,1]=>[6,5,2,3,1,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,7),(4,10),(5,11),(6,7),(6,9),(7,12),(8,11),(9,12),(10,9),(11,10)],13)
[.,[[.,[[.,.],.]],[.,.]]]=>[6,3,4,2,5,1]=>[6,5,4,2,1,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,12),(2,13),(3,13),(4,11),(5,12),(5,14),(6,10),(6,14),(8,7),(9,7),(10,9),(11,10),(12,8),(13,11),(14,8),(14,9)],15)
[.,[[[.,.],[.,.]],[.,.]]]=>[6,4,2,3,5,1]=>[6,3,5,2,1,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(2,9),(3,9),(4,7),(5,7),(6,8),(7,9),(9,8)],10)
[.,[[[.,[.,.]],.],[.,.]]]=>[6,3,2,4,5,1]=>[6,4,2,5,1,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,8),(6,7),(8,7)],9)
[.,[[[[.,.],.],.],[.,.]]]=>[6,2,3,4,5,1]=>[6,3,4,5,1,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,11),(2,10),(3,9),(4,12),(5,12),(6,10),(6,11),(8,7),(9,7),(10,13),(11,13),(12,8),(13,8),(13,9)],14)
[.,[[.,[.,[.,[.,.]]]],.]]=>[5,4,3,2,6,1]=>[6,5,2,3,4,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,13),(2,12),(3,11),(4,10),(5,12),(5,13),(6,11),(6,15),(8,7),(9,7),(10,9),(11,8),(12,14),(13,14),(14,10),(14,15),(15,8),(15,9)],16)
[.,[[.,[.,[[.,.],.]]],.]]=>[4,5,3,2,6,1]=>[6,5,2,4,3,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,11),(2,14),(3,12),(4,12),(5,10),(6,11),(6,13),(8,7),(9,7),(10,9),(11,8),(12,14),(13,8),(13,9),(14,10),(14,13)],15)
[.,[[.,[[.,.],[.,.]]],.]]=>[5,3,4,2,6,1]=>[6,5,4,2,3,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,13),(2,17),(3,17),(4,12),(5,15),(5,16),(6,13),(6,16),(8,10),(9,11),(10,7),(11,7),(12,9),(13,8),(14,10),(14,11),(15,9),(15,14),(16,8),(16,14),(17,12),(17,15)],18)
[.,[[.,[[.,[.,.]],.]],.]]=>[4,3,5,2,6,1]=>[6,5,4,3,2,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,15),(2,14),(3,19),(3,21),(4,20),(4,21),(5,14),(5,19),(6,15),(6,20),(8,10),(9,11),(10,12),(11,13),(12,7),(13,7),(14,8),(15,9),(16,10),(16,18),(17,11),(17,18),(18,12),(18,13),(19,8),(19,16),(20,9),(20,17),(21,16),(21,17)],22)
[.,[[.,[[[.,.],.],.]],.]]=>[3,4,5,2,6,1]=>[6,5,3,4,2,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,17),(2,17),(3,13),(4,12),(5,12),(5,15),(6,13),(6,16),(8,10),(9,11),(10,7),(11,7),(12,8),(13,9),(14,10),(14,11),(15,8),(15,14),(16,9),(16,14),(17,15),(17,16)],18)
[.,[[[.,.],[.,[.,.]]],.]]=>[5,4,2,3,6,1]=>[6,3,5,2,4,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,10),(2,10),(3,10),(4,10),(5,8),(6,7),(7,9),(8,9),(10,7),(10,8)],11)
[.,[[[.,.],[[.,.],.]],.]]=>[4,5,2,3,6,1]=>[6,3,5,4,2,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,11),(2,14),(3,12),(4,12),(5,10),(6,11),(6,13),(8,7),(9,7),(10,9),(11,8),(12,14),(13,8),(13,9),(14,10),(14,13)],15)
[.,[[[.,[.,.]],[.,.]],.]]=>[5,3,2,4,6,1]=>[6,4,2,5,3,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,10),(2,10),(3,10),(4,10),(5,8),(6,7),(7,9),(8,9),(10,7),(10,8)],11)
[.,[[[[.,.],.],[.,.]],.]]=>[5,2,3,4,6,1]=>[6,3,4,5,2,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,13),(2,12),(3,11),(4,10),(5,12),(5,13),(6,11),(6,15),(8,7),(9,7),(10,9),(11,8),(12,14),(13,14),(14,10),(14,15),(15,8),(15,9)],16)
[.,[[[.,[.,[.,.]]],.],.]]=>[4,3,2,5,6,1]=>[6,4,2,3,5,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,9),(4,8),(5,11),(6,10),(7,10),(8,12),(9,12),(10,11),(11,8),(11,9)],13)
[.,[[[.,[[.,.],.]],.],.]]=>[3,4,2,5,6,1]=>[6,4,3,2,5,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,10),(2,9),(3,12),(4,11),(5,13),(6,11),(6,12),(8,13),(9,7),(10,7),(11,8),(12,8),(13,9),(13,10)],14)
[.,[[[[.,.],[.,.]],.],.]]=>[4,2,3,5,6,1]=>[6,3,4,2,5,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,9),(4,8),(5,11),(6,10),(7,10),(8,12),(9,12),(10,11),(11,8),(11,9)],13)
[.,[[[[.,[.,.]],.],.],.]]=>[3,2,4,5,6,1]=>[6,3,2,4,5,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,10),(2,9),(3,11),(4,12),(5,12),(6,8),(6,11),(8,13),(9,7),(10,7),(11,13),(12,8),(13,9),(13,10)],14)
[.,[[[[[.,.],.],.],.],.]]=>[2,3,4,5,6,1]=>[6,2,3,4,5,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,11),(2,10),(3,13),(4,12),(5,12),(5,15),(6,13),(6,15),(8,14),(9,14),(10,7),(11,7),(12,8),(13,9),(14,10),(14,11),(15,8),(15,9)],16)
[[.,.],[.,[.,[.,[.,.]]]]]=>[6,5,4,3,1,2]=>[2,6,1,3,4,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,10),(2,10),(3,10),(4,8),(5,7),(6,7),(6,8),(7,9),(8,9),(9,10)],11)
[[.,.],[.,[.,[[.,.],.]]]]=>[5,6,4,3,1,2]=>[2,6,1,3,5,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,9),(3,9),(4,9),(5,7),(6,7),(7,8),(8,9)],10)
[[.,.],[.,[[.,.],[.,.]]]]=>[6,4,5,3,1,2]=>[2,6,1,5,3,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,9),(3,9),(4,9),(5,7),(6,7),(7,8),(8,9)],10)
[[.,.],[.,[[.,[.,.]],.]]]=>[5,4,6,3,1,2]=>[2,6,1,5,4,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,10),(2,10),(3,10),(4,8),(5,7),(6,7),(6,8),(7,9),(8,9),(9,10)],11)
[[.,.],[.,[[[.,.],.],.]]]=>[4,5,6,3,1,2]=>[2,6,1,4,5,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,9),(3,9),(4,9),(5,7),(6,7),(7,8),(8,9)],10)
[[.,.],[[.,.],[.,[.,.]]]]=>[6,5,3,4,1,2]=>[2,6,4,1,3,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,7)],8)
[[.,.],[[.,.],[[.,.],.]]]=>[5,6,3,4,1,2]=>[2,6,4,1,5,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,7)],8)
[[.,.],[[.,[.,.]],[.,.]]]=>[6,4,3,5,1,2]=>[2,6,5,3,1,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9)
[[.,.],[[[.,.],.],[.,.]]]=>[6,3,4,5,1,2]=>[2,6,4,5,1,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,9),(3,9),(4,9),(5,7),(6,7),(7,8),(8,9)],10)
[[.,.],[[.,[.,[.,.]]],.]]=>[5,4,3,6,1,2]=>[2,6,5,3,4,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,7),(4,9),(5,11),(6,7),(6,10),(7,12),(8,10),(10,12),(11,9),(12,11)],13)
[[.,.],[[.,[[.,.],.]],.]]=>[4,5,3,6,1,2]=>[2,6,5,4,3,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,11),(2,13),(3,12),(4,7),(5,12),(5,14),(6,13),(6,14),(8,11),(9,8),(10,8),(11,7),(12,9),(13,10),(14,9),(14,10)],15)
[[.,.],[[[.,.],[.,.]],.]]=>[5,3,4,6,1,2]=>[2,6,4,5,3,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,10),(4,9),(5,8),(6,11),(7,9),(7,10),(9,12),(10,12),(11,8),(12,11)],13)
[[.,.],[[[.,[.,.]],.],.]]=>[4,3,5,6,1,2]=>[2,6,4,3,5,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,9),(4,10),(5,11),(6,8),(7,11),(9,10),(10,8),(11,9)],12)
[[.,.],[[[[.,.],.],.],.]]=>[3,4,5,6,1,2]=>[2,6,3,4,5,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,7),(3,7),(3,8),(4,10),(5,11),(6,9),(7,12),(8,12),(10,9),(11,10),(12,11)],13)
[[.,[.,.]],[.,[.,[.,.]]]]=>[6,5,4,2,1,3]=>[3,1,6,2,4,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9)
[[.,[.,.]],[.,[[.,.],.]]]=>[5,6,4,2,1,3]=>[3,1,6,2,5,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9)
[[.,[.,.]],[[.,.],[.,.]]]=>[6,4,5,2,1,3]=>[3,1,6,5,2,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9)
[[.,[.,.]],[[.,[.,.]],.]]=>[5,4,6,2,1,3]=>[3,1,6,5,4,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,10),(2,10),(3,10),(4,8),(5,7),(6,7),(6,8),(7,9),(8,9),(9,10)],11)
[[.,[.,.]],[[[.,.],.],.]]=>[4,5,6,2,1,3]=>[3,1,6,4,5,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,9),(3,9),(4,9),(5,7),(6,7),(7,8),(8,9)],10)
[[[.,.],.],[.,[.,[.,.]]]]=>[6,5,4,1,2,3]=>[2,3,6,1,4,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(2,9),(3,8),(4,8),(5,7),(6,7),(7,9),(8,9)],10)
[[[.,.],.],[.,[[.,.],.]]]=>[5,6,4,1,2,3]=>[2,3,6,1,5,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(2,9),(3,8),(4,8),(5,7),(6,7),(7,9),(8,9)],10)
[[[.,.],.],[[.,.],[.,.]]]=>[6,4,5,1,2,3]=>[2,3,6,5,1,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(2,9),(3,8),(4,8),(5,7),(6,7),(7,9),(8,9)],10)
[[[.,.],.],[[.,[.,.]],.]]=>[5,4,6,1,2,3]=>[2,3,6,5,4,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,12),(2,11),(3,13),(4,7),(5,10),(5,13),(6,11),(6,12),(8,10),(9,7),(10,9),(11,8),(12,8),(13,9)],14)
[[[.,.],.],[[[.,.],.],.]]=>[4,5,6,1,2,3]=>[2,3,6,4,5,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,7),(4,10),(5,11),(6,7),(6,9),(7,12),(8,11),(9,12),(11,9),(12,10)],13)
[[.,[.,[.,.]]],[.,[.,.]]]=>[6,5,3,2,1,4]=>[4,1,2,6,3,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9)
[[.,[.,[.,.]]],[[.,.],.]]=>[5,6,3,2,1,4]=>[4,1,2,6,5,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(2,9),(3,8),(4,8),(5,7),(6,7),(7,9),(8,9)],10)
[[.,[[.,.],.]],[.,[.,.]]]=>[6,5,2,3,1,4]=>[4,3,1,6,2,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9)
[[.,[[.,.],.]],[[.,.],.]]=>[5,6,2,3,1,4]=>[4,3,1,6,5,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(2,9),(3,8),(4,8),(5,7),(6,7),(7,9),(8,9)],10)
[[[.,.],[.,.]],[.,[.,.]]]=>[6,5,3,1,2,4]=>[2,4,1,6,3,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,7)],8)
[[[.,.],[.,.]],[[.,.],.]]=>[5,6,3,1,2,4]=>[2,4,1,6,5,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9)
[[[.,[.,.]],.],[.,[.,.]]]=>[6,5,2,1,3,4]=>[3,1,4,6,2,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,7)],8)
[[[.,[.,.]],.],[[.,.],.]]=>[5,6,2,1,3,4]=>[3,1,4,6,5,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,9),(3,9),(4,9),(5,7),(6,7),(7,8),(8,9)],10)
[[[[.,.],.],.],[.,[.,.]]]=>[6,5,1,2,3,4]=>[2,3,4,6,1,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,10),(2,10),(3,10),(4,8),(5,7),(6,7),(6,8),(7,9),(8,9),(9,10)],11)
[[[[.,.],.],.],[[.,.],.]]=>[5,6,1,2,3,4]=>[2,3,4,6,5,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,13),(2,13),(3,12),(4,7),(5,11),(5,14),(6,12),(6,14),(8,10),(9,10),(10,7),(11,8),(12,9),(13,11),(14,8),(14,9)],15)
[[.,[.,[.,[.,.]]]],[.,.]]=>[6,4,3,2,1,5]=>[5,1,2,3,6,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,10),(2,10),(3,10),(4,8),(5,7),(6,7),(6,8),(7,9),(8,9),(9,10)],11)
[[.,[.,[[.,.],.]]],[.,.]]=>[6,3,4,2,1,5]=>[5,1,4,2,6,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,7)],8)
[[.,[[.,.],[.,.]]],[.,.]]=>[6,4,2,3,1,5]=>[5,3,1,2,6,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,9),(3,9),(4,9),(5,7),(6,7),(7,8),(8,9)],10)
[[.,[[.,[.,.]],.]],[.,.]]=>[6,3,2,4,1,5]=>[5,4,2,1,6,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(2,9),(3,8),(4,8),(5,7),(6,7),(7,9),(8,9)],10)
[[.,[[[.,.],.],.]],[.,.]]=>[6,2,3,4,1,5]=>[5,3,4,1,6,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,9),(3,9),(4,9),(5,7),(6,7),(7,8),(8,9)],10)
[[[.,.],[.,[.,.]]],[.,.]]=>[6,4,3,1,2,5]=>[2,5,1,3,6,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,7)],8)
[[[.,.],[[.,.],.]],[.,.]]=>[6,3,4,1,2,5]=>[2,5,4,1,6,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9)
[[[.,[.,.]],[.,.]],[.,.]]=>[6,4,2,1,3,5]=>[3,1,5,2,6,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,7)],8)
[[[[.,.],.],[.,.]],[.,.]]=>[6,4,1,2,3,5]=>[2,3,5,1,6,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9)
[[[.,[.,[.,.]]],.],[.,.]]=>[6,3,2,1,4,5]=>[4,1,2,5,6,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(2,9),(3,8),(4,8),(5,7),(6,7),(7,9),(8,9)],10)
[[[.,[[.,.],.]],.],[.,.]]=>[6,2,3,1,4,5]=>[4,3,1,5,6,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(2,9),(3,8),(4,8),(5,7),(6,7),(7,9),(8,9)],10)
[[[[.,.],[.,.]],.],[.,.]]=>[6,3,1,2,4,5]=>[2,4,1,5,6,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9)
[[[[.,[.,.]],.],.],[.,.]]=>[6,2,1,3,4,5]=>[3,1,4,5,6,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,10),(2,10),(3,10),(4,8),(5,7),(6,7),(6,8),(7,9),(8,9),(9,10)],11)
[[[[[.,.],.],.],.],[.,.]]=>[6,1,2,3,4,5]=>[2,3,4,5,6,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,14),(2,13),(3,7),(4,13),(4,16),(5,14),(5,17),(6,16),(6,17),(8,12),(9,12),(10,8),(11,9),(12,7),(13,10),(14,11),(15,8),(15,9),(16,10),(16,15),(17,11),(17,15)],18)
[[.,[.,[.,[.,[.,.]]]]],.]=>[5,4,3,2,1,6]=>[5,1,2,3,4,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,11),(2,13),(3,12),(4,7),(5,12),(5,14),(6,13),(6,14),(8,11),(9,8),(10,8),(11,7),(12,9),(13,10),(14,9),(14,10)],15)
[[.,[.,[.,[[.,.],.]]]],.]=>[4,5,3,2,1,6]=>[5,1,2,4,3,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,7),(4,9),(5,11),(6,7),(6,10),(7,12),(8,10),(10,12),(11,9),(12,11)],13)
[[.,[.,[[.,.],[.,.]]]],.]=>[5,3,4,2,1,6]=>[5,1,4,2,3,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,9),(4,10),(5,11),(6,8),(7,11),(9,10),(10,8),(11,9)],12)
[[.,[.,[[.,[.,.]],.]]],.]=>[4,3,5,2,1,6]=>[5,1,4,3,2,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,7),(3,7),(3,8),(4,10),(5,11),(6,9),(7,12),(8,12),(10,9),(11,10),(12,11)],13)
[[.,[.,[[[.,.],.],.]]],.]=>[3,4,5,2,1,6]=>[5,1,3,4,2,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,9),(4,10),(5,11),(6,8),(7,11),(9,10),(10,8),(11,9)],12)
[[.,[[.,.],[.,[.,.]]]],.]=>[5,4,2,3,1,6]=>[5,3,1,2,4,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,9),(4,10),(5,11),(6,8),(7,11),(9,10),(10,8),(11,9)],12)
[[.,[[.,.],[[.,.],.]]],.]=>[4,5,2,3,1,6]=>[5,3,1,4,2,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,9),(3,9),(4,9),(5,9),(6,7),(7,8),(9,7)],10)
[[.,[[.,[.,.]],[.,.]]],.]=>[5,3,2,4,1,6]=>[5,4,2,1,3,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,7),(4,10),(5,11),(6,7),(6,9),(7,12),(8,11),(9,12),(11,9),(12,10)],13)
[[.,[[[.,.],.],[.,.]]],.]=>[5,2,3,4,1,6]=>[5,3,4,1,2,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(2,10),(3,7),(4,7),(5,8),(6,8),(7,11),(8,9),(8,11),(9,12),(11,12),(12,10)],13)
[[.,[[.,[.,[.,.]]],.]],.]=>[4,3,2,5,1,6]=>[5,4,2,3,1,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,12),(2,14),(3,14),(4,11),(5,7),(6,12),(6,13),(8,10),(9,10),(10,7),(11,9),(12,8),(13,8),(13,9),(14,11),(14,13)],15)
[[.,[[.,[[.,.],.]],.]],.]=>[3,4,2,5,1,6]=>[5,4,3,2,1,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,14),(2,13),(3,7),(4,13),(4,16),(5,14),(5,17),(6,16),(6,17),(8,12),(9,12),(10,8),(11,9),(12,7),(13,10),(14,11),(15,8),(15,9),(16,10),(16,15),(17,11),(17,15)],18)
[[.,[[[.,.],[.,.]],.]],.]=>[4,2,3,5,1,6]=>[5,3,4,2,1,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,12),(2,14),(3,14),(4,11),(5,7),(6,12),(6,13),(8,10),(9,10),(10,7),(11,9),(12,8),(13,8),(13,9),(14,11),(14,13)],15)
[[.,[[[.,[.,.]],.],.]],.]=>[3,2,4,5,1,6]=>[5,3,2,4,1,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,9),(4,8),(5,10),(6,11),(7,11),(8,12),(9,12),(11,8),(11,9),(12,10)],13)
[[.,[[[[.,.],.],.],.]],.]=>[2,3,4,5,1,6]=>[5,2,3,4,1,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,10),(2,9),(3,12),(4,11),(5,7),(6,11),(6,12),(8,7),(9,8),(10,8),(11,13),(12,13),(13,9),(13,10)],14)
[[[.,.],[.,[.,[.,.]]]],.]=>[5,4,3,1,2,6]=>[2,5,1,3,4,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(2,9),(3,9),(4,7),(5,7),(6,8),(7,9),(9,8)],10)
[[[.,.],[.,[[.,.],.]]],.]=>[4,5,3,1,2,6]=>[2,5,1,4,3,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(2,9),(3,9),(4,7),(5,7),(6,8),(7,9),(9,8)],10)
[[[.,.],[[.,.],[.,.]]],.]=>[5,3,4,1,2,6]=>[2,5,4,1,3,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(2,9),(3,9),(4,7),(5,7),(6,8),(7,9),(9,8)],10)
[[[.,.],[[.,[.,.]],.]],.]=>[4,3,5,1,2,6]=>[2,5,4,3,1,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,7),(3,7),(3,8),(4,10),(5,11),(6,9),(7,12),(8,12),(10,9),(11,10),(12,11)],13)
[[[.,.],[[[.,.],.],.]],.]=>[3,4,5,1,2,6]=>[2,5,3,4,1,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,9),(4,10),(5,11),(6,8),(7,11),(9,10),(10,8),(11,9)],12)
[[[.,[.,.]],[.,[.,.]]],.]=>[5,4,2,1,3,6]=>[3,1,5,2,4,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,8),(6,7),(8,7)],9)
[[[.,[.,.]],[[.,.],.]],.]=>[4,5,2,1,3,6]=>[3,1,5,4,2,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(2,9),(3,9),(4,7),(5,7),(6,8),(7,9),(9,8)],10)
[[[[.,.],.],[.,[.,.]]],.]=>[5,4,1,2,3,6]=>[2,3,5,1,4,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(2,9),(3,9),(4,7),(5,7),(6,8),(7,9),(9,8)],10)
[[[[.,.],.],[[.,.],.]],.]=>[4,5,1,2,3,6]=>[2,3,5,4,1,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,7),(4,9),(5,11),(6,7),(6,10),(7,12),(8,10),(10,12),(11,9),(12,11)],13)
[[[.,[.,[.,.]]],[.,.]],.]=>[5,3,2,1,4,6]=>[4,1,2,5,3,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(2,9),(3,9),(4,7),(5,7),(6,8),(7,9),(9,8)],10)
[[[.,[[.,.],.]],[.,.]],.]=>[5,2,3,1,4,6]=>[4,3,1,5,2,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(2,9),(3,9),(4,7),(5,7),(6,8),(7,9),(9,8)],10)
[[[[.,.],[.,.]],[.,.]],.]=>[5,3,1,2,4,6]=>[2,4,1,5,3,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,8),(6,7),(8,7)],9)
[[[[.,[.,.]],.],[.,.]],.]=>[5,2,1,3,4,6]=>[3,1,4,5,2,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(2,9),(3,9),(4,7),(5,7),(6,8),(7,9),(9,8)],10)
[[[[[.,.],.],.],[.,.]],.]=>[5,1,2,3,4,6]=>[2,3,4,5,1,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,11),(2,13),(3,12),(4,7),(5,12),(5,14),(6,13),(6,14),(8,11),(9,8),(10,8),(11,7),(12,9),(13,10),(14,9),(14,10)],15)
[[[.,[.,[.,[.,.]]]],.],.]=>[4,3,2,1,5,6]=>[4,1,2,3,5,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,12),(2,11),(3,13),(4,10),(5,11),(5,12),(6,9),(6,13),(8,10),(9,7),(10,9),(11,8),(12,8),(13,7)],14)
[[[.,[.,[[.,.],.]]],.],.]=>[3,4,2,1,5,6]=>[4,1,3,2,5,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,7),(4,10),(5,11),(6,7),(6,9),(7,12),(8,11),(9,12),(10,9),(11,10)],13)
[[[.,[[.,.],[.,.]]],.],.]=>[4,2,3,1,5,6]=>[4,3,1,2,5,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,12),(2,13),(3,13),(4,11),(5,10),(5,12),(6,9),(6,11),(8,10),(9,8),(10,7),(11,8),(12,7),(13,9)],14)
[[[.,[[.,[.,.]],.]],.],.]=>[3,2,4,1,5,6]=>[4,3,2,1,5,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,14),(2,13),(3,12),(4,11),(4,14),(5,12),(5,15),(6,13),(6,15),(8,11),(9,8),(10,8),(11,7),(12,9),(13,10),(14,7),(15,9),(15,10)],16)
[[[.,[[[.,.],.],.]],.],.]=>[2,3,4,1,5,6]=>[4,2,3,1,5,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,11),(2,10),(3,12),(4,13),(5,13),(6,9),(6,12),(8,9),(9,7),(10,8),(11,8),(12,7),(13,10),(13,11)],14)
[[[[.,.],[.,[.,.]]],.],.]=>[4,3,1,2,5,6]=>[2,4,1,3,5,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,10),(2,10),(3,10),(4,10),(5,7),(6,7),(6,8),(7,9),(8,9),(10,8)],11)
[[[[.,.],[[.,.],.]],.],.]=>[3,4,1,2,5,6]=>[2,4,3,1,5,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,7),(4,10),(5,11),(6,7),(6,9),(7,12),(8,11),(9,12),(10,9),(11,10)],13)
[[[[.,[.,.]],[.,.]],.],.]=>[4,2,1,3,5,6]=>[3,1,4,2,5,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,10),(2,10),(3,10),(4,10),(5,7),(6,7),(6,8),(7,9),(8,9),(10,8)],11)
[[[[[.,.],.],[.,.]],.],.]=>[4,1,2,3,5,6]=>[2,3,4,1,5,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,12),(2,11),(3,13),(4,10),(5,11),(5,12),(6,9),(6,13),(8,10),(9,7),(10,9),(11,8),(12,8),(13,7)],14)
[[[[.,[.,[.,.]]],.],.],.]=>[3,2,1,4,5,6]=>[3,1,2,4,5,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,12),(2,13),(3,13),(4,11),(5,12),(5,14),(6,10),(6,14),(8,7),(9,7),(10,9),(11,10),(12,8),(13,11),(14,8),(14,9)],15)
[[[[.,[[.,.],.]],.],.],.]=>[2,3,1,4,5,6]=>[3,2,1,4,5,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,14),(2,13),(3,12),(4,13),(4,14),(5,11),(5,15),(6,12),(6,15),(8,11),(9,7),(10,7),(11,9),(12,10),(13,8),(14,8),(15,9),(15,10)],16)
[[[[[.,.],[.,.]],.],.],.]=>[3,1,2,4,5,6]=>[2,3,1,4,5,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,12),(2,13),(3,13),(4,11),(5,12),(5,14),(6,10),(6,14),(8,7),(9,7),(10,9),(11,10),(12,8),(13,11),(14,8),(14,9)],15)
[[[[[.,[.,.]],.],.],.],.]=>[2,1,3,4,5,6]=>[2,1,3,4,5,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,14),(2,14),(3,13),(4,12),(4,16),(5,13),(5,17),(6,16),(6,17),(8,10),(9,11),(10,7),(11,7),(12,8),(13,9),(14,12),(15,10),(15,11),(16,8),(16,15),(17,9),(17,15)],18)
[[[[[[.,.],.],.],.],.],.]=>[1,2,3,4,5,6]=>[1,2,3,4,5,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,15),(2,14),(3,19),(3,21),(4,20),(4,21),(5,14),(5,19),(6,15),(6,20),(8,10),(9,11),(10,12),(11,13),(12,7),(13,7),(14,8),(15,9),(16,10),(16,18),(17,11),(17,18),(18,12),(18,13),(19,8),(19,16),(20,9),(20,17),(21,16),(21,17)],22)
[.,[.,[.,[.,[.,[[.,.],.]]]]]]=>[6,7,5,4,3,2,1]=>[7,1,2,3,4,6,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,16),(2,16),(3,15),(4,8),(5,14),(5,19),(6,15),(6,18),(7,18),(7,19),(9,13),(10,13),(11,10),(12,9),(13,8),(14,11),(15,12),(16,14),(17,9),(17,10),(18,12),(18,17),(19,11),(19,17)],20)
[.,[.,[.,[.,[[.,.],[.,.]]]]]]=>[7,5,6,4,3,2,1]=>[7,1,2,3,6,4,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,14),(2,15),(3,15),(4,13),(5,8),(6,14),(6,16),(7,12),(7,16),(9,11),(10,11),(11,8),(12,10),(13,12),(14,9),(15,13),(16,9),(16,10)],17)
[.,[.,[.,[.,[[.,[.,.]],.]]]]]=>[6,5,7,4,3,2,1]=>[7,1,2,3,6,5,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,16),(2,15),(3,14),(4,8),(5,15),(5,16),(6,13),(6,17),(7,14),(7,17),(9,13),(10,12),(11,12),(12,8),(13,10),(14,11),(15,9),(16,9),(17,10),(17,11)],18)
[.,[.,[.,[.,[[[.,.],.],.]]]]]=>[5,6,7,4,3,2,1]=>[7,1,2,3,5,6,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,14),(2,15),(3,15),(4,13),(5,8),(6,14),(6,16),(7,12),(7,16),(9,11),(10,11),(11,8),(12,10),(13,12),(14,9),(15,13),(16,9),(16,10)],17)
[.,[.,[.,[[.,.],[.,[.,.]]]]]]=>[7,6,4,5,3,2,1]=>[7,1,2,5,3,4,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,13),(2,16),(3,14),(4,14),(5,12),(6,8),(7,13),(7,15),(9,11),(10,11),(11,8),(12,10),(13,9),(14,16),(15,9),(15,10),(16,12),(16,15)],17)
[.,[.,[.,[[.,.],[[.,.],.]]]]]=>[6,7,4,5,3,2,1]=>[7,1,2,5,3,6,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,12),(3,12),(4,12),(5,12),(6,8),(7,8),(7,9),(8,11),(9,11),(11,10),(12,9)],13)
[.,[.,[.,[[.,[.,.]],[.,.]]]]]=>[7,5,4,6,3,2,1]=>[7,1,2,6,4,3,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,8),(4,13),(5,11),(6,12),(7,8),(7,10),(8,14),(9,13),(10,14),(12,10),(13,12),(14,11)],15)
[.,[.,[.,[[[.,.],.],[.,.]]]]]=>[7,4,5,6,3,2,1]=>[7,1,2,5,6,3,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(2,10),(3,10),(4,9),(5,9),(6,8),(7,8),(7,12),(8,14),(9,13),(10,13),(12,14),(13,12),(14,11)],15)
[.,[.,[.,[[.,[.,[.,.]]],.]]]]=>[6,5,4,7,3,2,1]=>[7,1,2,6,4,5,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,14),(2,13),(3,12),(4,15),(5,15),(6,8),(7,11),(7,14),(9,11),(10,8),(11,10),(12,9),(13,9),(14,10),(15,12),(15,13)],16)
[.,[.,[.,[[.,[[.,.],.]],.]]]]=>[5,6,4,7,3,2,1]=>[7,1,2,6,5,4,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,15),(2,14),(3,16),(4,8),(5,13),(5,16),(6,14),(6,17),(7,15),(7,17),(9,13),(10,9),(11,9),(12,8),(13,12),(14,10),(15,11),(16,12),(17,10),(17,11)],18)
[.,[.,[.,[[[.,.],[.,.]],.]]]]=>[6,4,5,7,3,2,1]=>[7,1,2,5,6,4,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,15),(2,15),(3,13),(4,14),(5,8),(6,12),(6,13),(7,11),(7,14),(9,11),(10,8),(11,10),(12,9),(13,9),(14,10),(15,12)],16)
[.,[.,[.,[[[.,[.,.]],.],.]]]]=>[5,4,6,7,3,2,1]=>[7,1,2,5,4,6,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,8),(4,13),(5,11),(6,12),(7,8),(7,10),(8,14),(9,13),(10,14),(12,10),(13,12),(14,11)],15)
[.,[.,[.,[[[[.,.],.],.],.]]]]=>[4,5,6,7,3,2,1]=>[7,1,2,4,5,6,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,15),(2,14),(3,13),(4,12),(5,8),(6,14),(6,15),(7,11),(7,13),(9,12),(10,8),(11,10),(12,11),(13,10),(14,9),(15,9)],16)
[.,[.,[[.,.],[.,[.,[.,.]]]]]]=>[7,6,5,3,4,2,1]=>[7,1,4,2,3,5,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,13),(2,16),(3,14),(4,14),(5,12),(6,8),(7,13),(7,15),(9,11),(10,11),(11,8),(12,10),(13,9),(14,16),(15,9),(15,10),(16,12),(16,15)],17)
[.,[.,[[.,.],[.,[[.,.],.]]]]]=>[6,7,5,3,4,2,1]=>[7,1,4,2,3,6,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,8),(4,8),(5,10),(6,11),(7,12),(8,13),(9,12),(11,14),(12,11),(12,13),(13,14),(14,10)],15)
[.,[.,[[.,.],[[.,.],[.,.]]]]]=>[7,5,6,3,4,2,1]=>[7,1,4,2,6,3,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,10),(3,10),(4,10),(5,10),(6,10),(7,8),(8,9),(10,8)],11)
[.,[.,[[.,.],[[.,[.,.]],.]]]]=>[6,5,7,3,4,2,1]=>[7,1,4,2,6,5,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,11),(3,11),(4,11),(5,8),(6,8),(7,9),(8,11),(9,10),(11,9)],12)
[.,[.,[[.,.],[[[.,.],.],.]]]]=>[5,6,7,3,4,2,1]=>[7,1,4,2,5,6,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,11),(3,11),(4,11),(5,8),(6,8),(7,9),(8,11),(9,10),(11,9)],12)
[.,[.,[[.,[.,.]],[.,[.,.]]]]]=>[7,6,4,3,5,2,1]=>[7,1,5,3,2,4,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,10),(4,9),(5,11),(6,13),(7,12),(8,12),(9,14),(10,14),(12,13),(13,9),(13,10),(14,11)],15)
[.,[.,[[.,[.,.]],[[.,.],.]]]]=>[6,7,4,3,5,2,1]=>[7,1,5,3,2,6,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,11),(3,11),(4,11),(5,8),(6,8),(7,9),(8,11),(9,10),(11,9)],12)
[.,[.,[[[.,.],.],[.,[.,.]]]]]=>[7,6,3,4,5,2,1]=>[7,1,4,5,2,3,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,8),(4,8),(5,11),(6,10),(7,12),(8,14),(9,14),(10,13),(11,13),(13,12),(14,10),(14,11)],15)
[.,[.,[[[.,.],.],[[.,.],.]]]]=>[6,7,3,4,5,2,1]=>[7,1,4,5,2,6,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,11),(3,11),(4,11),(5,8),(6,8),(7,9),(8,11),(9,10),(11,9)],12)
[.,[.,[[.,[.,[.,.]]],[.,.]]]]=>[7,5,4,3,6,2,1]=>[7,1,6,3,4,2,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,10),(4,11),(5,12),(6,13),(7,9),(8,13),(10,12),(11,10),(12,9),(13,11)],14)
[.,[.,[[.,[[.,.],.]],[.,.]]]]=>[7,4,5,3,6,2,1]=>[7,1,6,5,3,2,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,8),(4,10),(5,13),(6,12),(7,8),(7,11),(8,14),(9,12),(11,14),(12,11),(13,10),(14,13)],15)
[.,[.,[[[.,.],[.,.]],[.,.]]]]=>[7,5,3,4,6,2,1]=>[7,1,4,6,3,2,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,11),(3,11),(4,11),(5,8),(6,8),(7,9),(8,11),(9,10),(11,9)],12)
[.,[.,[[[.,[.,.]],.],[.,.]]]]=>[7,4,3,5,6,2,1]=>[7,1,5,3,6,2,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,10),(3,10),(4,10),(5,10),(6,10),(7,8),(8,9),(10,8)],11)
[.,[.,[[[[.,.],.],.],[.,.]]]]=>[7,3,4,5,6,2,1]=>[7,1,4,5,6,2,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,11),(3,10),(4,9),(5,8),(6,8),(7,9),(7,10),(8,14),(9,13),(10,13),(11,12),(13,14),(14,11)],15)
[.,[.,[[.,[.,[.,[.,.]]]],.]]]=>[6,5,4,3,7,2,1]=>[7,1,6,3,4,5,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(2,10),(3,12),(4,14),(5,13),(6,8),(7,13),(7,14),(9,12),(10,9),(11,9),(12,8),(13,15),(14,15),(15,10),(15,11)],16)
[.,[.,[[.,[.,[[.,.],.]]],.]]]=>[5,6,4,3,7,2,1]=>[7,1,6,3,5,4,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,11),(4,10),(5,9),(6,13),(7,12),(8,13),(10,14),(11,14),(12,9),(13,10),(13,11),(14,12)],15)
[.,[.,[[.,[[.,.],[.,.]]],.]]]=>[6,4,5,3,7,2,1]=>[7,1,6,5,3,4,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,13),(2,14),(3,16),(4,16),(5,12),(6,8),(7,14),(7,15),(9,13),(10,9),(11,9),(12,11),(13,8),(14,10),(15,10),(15,11),(16,12),(16,15)],17)
[.,[.,[[.,[[.,[.,.]],.]],.]]]=>[5,4,6,3,7,2,1]=>[7,1,6,5,4,3,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,14),(2,16),(3,15),(4,8),(5,15),(5,18),(6,16),(6,19),(7,18),(7,19),(9,11),(10,11),(11,14),(12,9),(13,10),(14,8),(15,12),(16,13),(17,9),(17,10),(18,12),(18,17),(19,13),(19,17)],20)
[.,[.,[[.,[[[.,.],.],.]],.]]]=>[4,5,6,3,7,2,1]=>[7,1,6,4,5,3,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,13),(2,14),(3,16),(4,16),(5,12),(6,8),(7,14),(7,15),(9,13),(10,9),(11,9),(12,11),(13,8),(14,10),(15,10),(15,11),(16,12),(16,15)],17)
[.,[.,[[[.,.],[.,[.,.]]],.]]]=>[6,5,3,4,7,2,1]=>[7,1,4,6,3,5,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,11),(3,11),(4,11),(5,11),(6,9),(7,10),(8,10),(10,9),(11,8)],12)
[.,[.,[[[.,.],[[.,.],.]],.]]]=>[5,6,3,4,7,2,1]=>[7,1,4,6,5,3,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,8),(4,10),(5,13),(6,12),(7,8),(7,11),(8,14),(9,12),(11,14),(12,11),(13,10),(14,13)],15)
[.,[.,[[[.,[.,.]],[.,.]],.]]]=>[6,4,3,5,7,2,1]=>[7,1,5,3,6,4,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,11),(3,11),(4,11),(5,11),(6,9),(7,10),(8,10),(10,9),(11,8)],12)
[.,[.,[[[[.,.],.],[.,.]],.]]]=>[6,3,4,5,7,2,1]=>[7,1,4,5,6,3,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,14),(2,13),(3,15),(4,12),(5,8),(6,13),(6,14),(7,11),(7,15),(9,11),(10,12),(11,10),(12,8),(13,9),(14,9),(15,10)],16)
[.,[.,[[[.,[.,[.,.]]],.],.]]]=>[5,4,3,6,7,2,1]=>[7,1,5,3,4,6,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,10),(4,11),(5,12),(6,13),(7,9),(8,13),(10,12),(11,10),(12,9),(13,11)],14)
[.,[.,[[[.,[[.,.],.]],.],.]]]=>[4,5,3,6,7,2,1]=>[7,1,5,4,3,6,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,8),(3,8),(3,9),(4,11),(5,12),(6,13),(7,10),(8,14),(9,14),(11,12),(12,10),(13,11),(14,13)],15)
[.,[.,[[[[.,.],[.,.]],.],.]]]=>[5,3,4,6,7,2,1]=>[7,1,4,5,3,6,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,10),(4,11),(5,12),(6,13),(7,9),(8,13),(10,12),(11,10),(12,9),(13,11)],14)
[.,[.,[[[[.,[.,.]],.],.],.]]]=>[4,3,5,6,7,2,1]=>[7,1,4,3,5,6,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,8),(4,10),(5,13),(6,12),(7,8),(7,11),(8,14),(9,11),(11,14),(12,10),(13,12),(14,13)],15)
[.,[.,[[[[[.,.],.],.],.],.]]]=>[3,4,5,6,7,2,1]=>[7,1,3,4,5,6,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,13),(3,15),(4,14),(5,8),(6,14),(6,16),(7,15),(7,16),(9,12),(10,9),(11,9),(12,13),(13,8),(14,10),(15,11),(16,10),(16,11)],17)
[.,[[.,.],[.,[.,[.,[.,.]]]]]]=>[7,6,5,4,2,3,1]=>[7,3,1,2,4,5,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,14),(2,15),(3,15),(4,13),(5,8),(6,14),(6,16),(7,12),(7,16),(9,11),(10,11),(11,8),(12,10),(13,12),(14,9),(15,13),(16,9),(16,10)],17)
[.,[[.,.],[.,[.,[[.,.],.]]]]]=>[6,7,5,4,2,3,1]=>[7,3,1,2,4,6,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,9),(4,9),(5,11),(6,13),(7,10),(7,12),(8,12),(9,13),(10,14),(12,14),(13,10),(14,11)],15)
[.,[[.,.],[.,[[.,.],[.,.]]]]]=>[7,5,6,4,2,3,1]=>[7,3,1,2,6,4,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,9),(4,9),(5,12),(6,11),(7,10),(8,11),(9,12),(11,13),(12,13),(13,10)],14)
[.,[[.,.],[.,[[.,[.,.]],.]]]]=>[6,5,7,4,2,3,1]=>[7,3,1,2,6,5,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(2,12),(3,9),(4,8),(5,10),(6,10),(7,8),(7,9),(8,13),(9,13),(10,11),(11,14),(13,14),(14,12)],15)
[.,[[.,.],[.,[[[.,.],.],.]]]]=>[5,6,7,4,2,3,1]=>[7,3,1,2,5,6,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,9),(4,9),(5,12),(6,11),(7,10),(8,11),(9,12),(11,13),(12,13),(13,10)],14)
[.,[[.,.],[[.,.],[.,[.,.]]]]]=>[7,6,4,5,2,3,1]=>[7,3,1,5,2,4,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,10),(3,10),(4,10),(5,10),(6,10),(7,8),(8,9),(10,8)],11)
[.,[[.,.],[[.,.],[[.,.],.]]]]=>[6,7,4,5,2,3,1]=>[7,3,1,5,2,6,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,9),(4,9),(5,9),(6,9),(7,8),(9,8)],10)
[.,[[.,.],[[.,[.,.]],[.,.]]]]=>[7,5,4,6,2,3,1]=>[7,3,1,6,4,2,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,9),(4,9),(5,9),(6,9),(7,8),(9,8)],10)
[.,[[.,.],[[[.,.],.],[.,.]]]]=>[7,4,5,6,2,3,1]=>[7,3,1,5,6,2,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,10),(3,10),(4,10),(5,8),(6,8),(7,9),(8,10),(10,9)],11)
[.,[[.,.],[[.,[.,[.,.]]],.]]]=>[6,5,4,7,2,3,1]=>[7,3,1,6,4,5,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,11),(3,11),(4,11),(5,8),(6,8),(7,9),(8,10),(10,11),(11,9)],12)
[.,[[.,.],[[.,[[.,.],.]],.]]]=>[5,6,4,7,2,3,1]=>[7,3,1,6,5,4,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,12),(3,12),(4,9),(5,8),(6,10),(7,8),(7,9),(8,11),(9,11),(11,12),(12,10)],13)
[.,[[.,.],[[[.,.],[.,.]],.]]]=>[6,4,5,7,2,3,1]=>[7,3,1,5,6,4,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,11),(3,11),(4,11),(5,8),(6,8),(7,9),(8,10),(10,11),(11,9)],12)
[.,[[.,.],[[[.,[.,.]],.],.]]]=>[5,4,6,7,2,3,1]=>[7,3,1,5,4,6,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,11),(3,11),(4,11),(5,8),(6,8),(7,9),(8,10),(10,11),(11,9)],12)
[.,[[.,.],[[[[.,.],.],.],.]]]=>[4,5,6,7,2,3,1]=>[7,3,1,4,5,6,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,12),(3,12),(4,9),(5,8),(6,10),(7,8),(7,9),(8,11),(9,11),(11,12),(12,10)],13)
[.,[[.,[.,.]],[.,[.,[.,.]]]]]=>[7,6,5,3,2,4,1]=>[7,4,2,1,3,5,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,8),(4,13),(5,11),(6,12),(7,8),(7,10),(8,14),(9,13),(10,14),(12,10),(13,12),(14,11)],15)
[.,[[.,[.,.]],[.,[[.,.],.]]]]=>[6,7,5,3,2,4,1]=>[7,4,2,1,3,6,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,8),(4,8),(5,10),(6,11),(7,12),(8,13),(9,12),(10,13),(12,10),(13,11)],14)
[.,[[.,[.,.]],[[.,.],[.,.]]]]=>[7,5,6,3,2,4,1]=>[7,4,2,1,6,3,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,10),(3,10),(4,10),(5,8),(6,8),(7,9),(8,10),(10,9)],11)
[.,[[.,[.,.]],[[.,[.,.]],.]]]=>[6,5,7,3,2,4,1]=>[7,4,2,1,6,5,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(2,11),(3,9),(4,9),(5,8),(6,8),(7,10),(8,11),(9,11),(11,10)],12)
[.,[[.,[.,.]],[[[.,.],.],.]]]=>[5,6,7,3,2,4,1]=>[7,4,2,1,5,6,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(2,11),(3,9),(4,9),(5,8),(6,8),(7,10),(8,11),(9,11),(11,10)],12)
[.,[[[.,.],.],[.,[.,[.,.]]]]]=>[7,6,5,2,3,4,1]=>[7,3,4,1,2,5,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(2,10),(3,10),(4,9),(5,9),(6,8),(7,8),(7,12),(8,14),(9,13),(10,13),(12,14),(13,12),(14,11)],15)
[.,[[[.,.],.],[.,[[.,.],.]]]]=>[6,7,5,2,3,4,1]=>[7,3,4,1,2,6,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(2,10),(3,10),(4,9),(5,9),(6,8),(7,8),(8,13),(9,12),(10,12),(12,13),(13,11)],14)
[.,[[[.,.],.],[[.,.],[.,.]]]]=>[7,5,6,2,3,4,1]=>[7,3,4,1,6,2,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,10),(3,10),(4,10),(5,8),(6,8),(7,9),(8,10),(10,9)],11)
[.,[[[.,.],.],[[.,[.,.]],.]]]=>[6,5,7,2,3,4,1]=>[7,3,4,1,6,5,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(2,11),(3,9),(4,9),(5,8),(6,8),(7,10),(8,11),(9,11),(11,10)],12)
[.,[[[.,.],.],[[[.,.],.],.]]]=>[5,6,7,2,3,4,1]=>[7,3,4,1,5,6,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(2,11),(3,9),(4,9),(5,8),(6,8),(7,10),(8,11),(9,11),(11,10)],12)
[.,[[.,[.,[.,.]]],[.,[.,.]]]]=>[7,6,4,3,2,5,1]=>[7,5,2,3,1,4,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,10),(4,11),(5,12),(6,13),(7,9),(8,13),(10,12),(11,10),(12,9),(13,11)],14)
[.,[[.,[.,[.,.]]],[[.,.],.]]]=>[6,7,4,3,2,5,1]=>[7,5,2,3,1,6,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,11),(3,11),(4,11),(5,8),(6,8),(7,9),(8,10),(10,11),(11,9)],12)
[.,[[.,[[.,.],.]],[.,[.,.]]]]=>[7,6,3,4,2,5,1]=>[7,5,4,2,1,3,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,8),(4,10),(5,13),(6,12),(7,8),(7,11),(8,14),(9,12),(11,14),(12,11),(13,10),(14,13)],15)
[.,[[.,[[.,.],.]],[[.,.],.]]]=>[6,7,3,4,2,5,1]=>[7,5,4,2,1,6,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(2,11),(3,9),(4,9),(5,8),(6,8),(7,10),(8,11),(9,11),(11,10)],12)
[.,[[[.,.],[.,.]],[.,[.,.]]]]=>[7,6,4,2,3,5,1]=>[7,3,5,2,1,4,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,11),(3,11),(4,11),(5,8),(6,8),(7,9),(8,11),(9,10),(11,9)],12)
[.,[[[.,.],[.,.]],[[.,.],.]]]=>[6,7,4,2,3,5,1]=>[7,3,5,2,1,6,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,10),(3,10),(4,10),(5,8),(6,8),(7,9),(8,10),(10,9)],11)
[.,[[[.,[.,.]],.],[.,[.,.]]]]=>[7,6,3,2,4,5,1]=>[7,4,2,5,1,3,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,10),(3,10),(4,10),(5,10),(6,10),(7,8),(8,9),(10,8)],11)
[.,[[[.,[.,.]],.],[[.,.],.]]]=>[6,7,3,2,4,5,1]=>[7,4,2,5,1,6,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,9),(4,9),(5,9),(6,9),(7,8),(9,8)],10)
[.,[[[[.,.],.],.],[.,[.,.]]]]=>[7,6,2,3,4,5,1]=>[7,3,4,5,1,2,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,11),(3,10),(4,9),(5,8),(6,8),(7,9),(7,10),(8,14),(9,13),(10,13),(11,12),(13,14),(14,11)],15)
[.,[[[[.,.],.],.],[[.,.],.]]]=>[6,7,2,3,4,5,1]=>[7,3,4,5,1,6,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,12),(3,12),(4,9),(5,8),(6,10),(7,8),(7,9),(8,11),(9,11),(11,12),(12,10)],13)
[.,[[.,[.,[.,[.,.]]]],[.,.]]]=>[7,5,4,3,2,6,1]=>[7,6,2,3,4,1,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,14),(2,13),(3,12),(4,15),(5,11),(6,13),(6,14),(7,10),(7,15),(9,12),(10,8),(11,10),(12,11),(13,9),(14,9),(15,8)],16)
[.,[[.,[.,[[.,.],.]]],[.,.]]]=>[7,4,5,3,2,6,1]=>[7,6,2,5,3,1,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(2,11),(3,11),(4,11),(5,11),(6,8),(7,8),(7,9),(8,10),(9,10),(11,9)],12)
[.,[[.,[[.,.],[.,.]]],[.,.]]]=>[7,5,3,4,2,6,1]=>[7,6,4,2,3,1,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,13),(2,12),(3,11),(4,14),(5,15),(6,15),(7,10),(7,14),(9,11),(10,8),(11,10),(12,9),(13,9),(14,8),(15,12),(15,13)],16)
[.,[[.,[[.,[.,.]],.]],[.,.]]]=>[7,4,3,5,2,6,1]=>[7,6,5,3,2,1,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,13),(2,16),(3,15),(4,14),(5,15),(5,16),(6,12),(6,17),(7,14),(7,17),(9,13),(10,8),(11,8),(12,10),(13,12),(14,11),(15,9),(16,9),(17,10),(17,11)],18)
[.,[[.,[[[.,.],.],.]],[.,.]]]=>[7,3,4,5,2,6,1]=>[7,6,4,5,2,1,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,13),(2,16),(3,16),(4,14),(5,14),(6,12),(7,13),(7,15),(9,10),(10,8),(11,8),(12,9),(13,11),(14,12),(15,10),(15,11),(16,9),(16,15)],17)
[.,[[[.,.],[.,[.,.]]],[.,.]]]=>[7,5,4,2,3,6,1]=>[7,3,6,2,4,1,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,9),(4,9),(5,9),(6,9),(7,8),(9,8)],10)
[.,[[[.,.],[[.,.],.]],[.,.]]]=>[7,4,5,2,3,6,1]=>[7,3,6,5,2,1,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(2,11),(3,9),(4,9),(5,8),(6,8),(7,10),(8,11),(9,11),(11,10)],12)
[.,[[[.,[.,.]],[.,.]],[.,.]]]=>[7,5,3,2,4,6,1]=>[7,4,2,6,3,1,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,9),(4,9),(5,9),(6,9),(7,8),(9,8)],10)
[.,[[[[.,.],.],[.,.]],[.,.]]]=>[7,5,2,3,4,6,1]=>[7,3,4,6,2,1,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(2,11),(3,9),(4,9),(5,8),(6,8),(7,10),(8,11),(9,11),(11,10)],12)
[.,[[[.,[.,[.,.]]],.],[.,.]]]=>[7,4,3,2,5,6,1]=>[7,5,2,3,6,1,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,10),(3,10),(4,10),(5,8),(6,8),(7,9),(8,10),(10,9)],11)
[.,[[[.,[[.,.],.]],.],[.,.]]]=>[7,3,4,2,5,6,1]=>[7,5,4,2,6,1,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,10),(3,10),(4,10),(5,8),(6,8),(7,9),(8,10),(10,9)],11)
[.,[[[[.,.],[.,.]],.],[.,.]]]=>[7,4,2,3,5,6,1]=>[7,3,5,2,6,1,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,9),(4,9),(5,9),(6,9),(7,8),(9,8)],10)
[.,[[[[.,[.,.]],.],.],[.,.]]]=>[7,3,2,4,5,6,1]=>[7,4,2,5,6,1,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,10),(3,10),(4,10),(5,8),(6,8),(7,9),(8,10),(10,9)],11)
[.,[[[[[.,.],.],.],.],[.,.]]]=>[7,2,3,4,5,6,1]=>[7,3,4,5,6,1,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,15),(3,15),(4,14),(5,13),(6,13),(6,17),(7,14),(7,17),(9,16),(10,16),(11,8),(12,8),(13,9),(14,10),(15,11),(16,11),(16,12),(17,9),(17,10)],18)
[.,[[.,[.,[.,[.,[.,.]]]]],.]]=>[6,5,4,3,2,7,1]=>[7,6,2,3,4,5,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,13),(2,15),(3,14),(4,16),(5,14),(5,19),(6,15),(6,19),(7,16),(7,18),(9,17),(10,17),(11,8),(12,8),(13,11),(14,9),(15,10),(16,12),(17,13),(17,18),(18,11),(18,12),(19,9),(19,10)],20)
[.,[[.,[.,[.,[[.,.],.]]]],.]]=>[5,6,4,3,2,7,1]=>[7,6,2,3,5,4,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,14),(2,12),(3,15),(4,15),(5,13),(6,11),(6,14),(7,13),(7,17),(9,8),(10,8),(11,16),(12,9),(13,10),(14,16),(15,11),(16,12),(16,17),(17,9),(17,10)],18)
[.,[[.,[.,[[.,.],[.,.]]]],.]]=>[6,4,5,3,2,7,1]=>[7,6,2,5,3,4,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(2,12),(3,13),(4,16),(5,14),(6,14),(7,13),(7,15),(9,8),(10,8),(11,16),(12,9),(13,10),(14,11),(15,9),(15,10),(16,12),(16,15)],17)
[.,[[.,[.,[[.,[.,.]],.]]],.]]=>[5,4,6,3,2,7,1]=>[7,6,2,5,4,3,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,14),(2,13),(3,15),(4,12),(5,17),(6,13),(6,14),(7,15),(7,16),(9,17),(10,8),(11,8),(12,11),(13,9),(14,9),(15,10),(16,10),(16,11),(17,12),(17,16)],18)
[.,[[.,[.,[[[.,.],.],.]]],.]]=>[4,5,6,3,2,7,1]=>[7,6,2,4,5,3,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(2,12),(3,13),(4,16),(5,14),(6,14),(7,13),(7,15),(9,8),(10,8),(11,16),(12,9),(13,10),(14,11),(15,9),(15,10),(16,12),(16,15)],17)
[.,[[.,[[.,.],[.,[.,.]]]],.]]=>[6,5,3,4,2,7,1]=>[7,6,4,2,3,5,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(2,12),(3,13),(4,16),(5,14),(6,14),(7,13),(7,15),(9,8),(10,8),(11,16),(12,9),(13,10),(14,11),(15,9),(15,10),(16,12),(16,15)],17)
[.,[[.,[[.,.],[[.,.],.]]],.]]=>[5,6,3,4,2,7,1]=>[7,6,4,2,5,3,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,14),(2,14),(3,14),(4,14),(5,9),(6,8),(7,8),(7,10),(8,12),(9,11),(10,11),(10,12),(11,13),(12,13),(14,9),(14,10)],15)
[.,[[.,[[.,[.,.]],[.,.]]],.]]=>[6,4,3,5,2,7,1]=>[7,6,5,3,2,4,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,14),(2,19),(3,15),(4,15),(5,13),(6,17),(6,18),(7,14),(7,18),(9,11),(10,12),(11,8),(12,8),(13,10),(14,9),(15,19),(16,11),(16,12),(17,10),(17,16),(18,9),(18,16),(19,13),(19,17)],20)
[.,[[.,[[[.,.],.],[.,.]]],.]]=>[6,3,4,5,2,7,1]=>[7,6,4,5,2,3,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,19),(2,19),(3,14),(4,18),(5,18),(6,13),(7,14),(7,17),(9,11),(10,12),(11,8),(12,8),(13,10),(14,9),(15,10),(15,16),(16,11),(16,12),(17,9),(17,16),(18,15),(18,17),(19,13),(19,15)],20)
[.,[[.,[[[.,[.,.]],.],.]],.]]=>[4,3,5,6,2,7,1]=>[7,6,4,3,5,2,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,19),(2,15),(3,15),(4,14),(5,13),(6,13),(6,17),(7,14),(7,18),(9,11),(10,12),(11,8),(12,8),(13,9),(14,10),(15,19),(16,11),(16,12),(17,9),(17,16),(18,10),(18,16),(19,17),(19,18)],20)
[.,[[.,[[[[.,.],.],.],.]],.]]=>[3,4,5,6,2,7,1]=>[7,6,3,4,5,2,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,16),(2,15),(3,14),(4,13),(5,15),(5,16),(6,13),(6,19),(7,14),(7,20),(9,11),(10,12),(11,8),(12,8),(13,9),(14,10),(15,17),(16,17),(17,19),(17,20),(18,11),(18,12),(19,9),(19,18),(20,10),(20,18)],21)
[.,[[[.,.],[.,[.,[.,.]]]],.]]=>[6,5,4,2,3,7,1]=>[7,3,6,2,4,5,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,12),(3,12),(4,10),(5,9),(6,8),(7,8),(8,12),(9,11),(10,11),(12,9),(12,10)],13)
[.,[[[.,.],[.,[[.,.],.]]],.]]=>[5,6,4,2,3,7,1]=>[7,3,6,2,5,4,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,12),(3,12),(4,10),(5,9),(6,8),(7,8),(8,12),(9,11),(10,11),(12,9),(12,10)],13)
[.,[[[.,.],[[.,.],[.,.]]],.]]=>[6,4,5,2,3,7,1]=>[7,3,6,5,2,4,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,12),(3,12),(4,10),(5,9),(6,8),(7,8),(8,12),(9,11),(10,11),(12,9),(12,10)],13)
[.,[[[.,.],[[.,[.,.]],.]],.]]=>[5,4,6,2,3,7,1]=>[7,3,6,5,4,2,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,14),(2,13),(3,15),(4,12),(5,17),(6,13),(6,14),(7,15),(7,16),(9,17),(10,8),(11,8),(12,11),(13,9),(14,9),(15,10),(16,10),(16,11),(17,12),(17,16)],18)
[.,[[[.,.],[[[.,.],.],.]],.]]=>[4,5,6,2,3,7,1]=>[7,3,6,4,5,2,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(2,12),(3,13),(4,16),(5,14),(6,14),(7,13),(7,15),(9,8),(10,8),(11,16),(12,9),(13,10),(14,11),(15,9),(15,10),(16,12),(16,15)],17)
[.,[[[.,[.,.]],[.,[.,.]]],.]]=>[6,5,3,2,4,7,1]=>[7,4,2,6,3,5,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(2,11),(3,11),(4,11),(5,11),(6,9),(7,8),(8,10),(9,10),(11,8),(11,9)],12)
[.,[[[.,[.,.]],[[.,.],.]],.]]=>[5,6,3,2,4,7,1]=>[7,4,2,6,5,3,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,12),(3,12),(4,10),(5,9),(6,8),(7,8),(8,12),(9,11),(10,11),(12,9),(12,10)],13)
[.,[[[[.,.],.],[.,[.,.]]],.]]=>[6,5,2,3,4,7,1]=>[7,3,4,6,2,5,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,12),(3,12),(4,10),(5,9),(6,8),(7,8),(8,12),(9,11),(10,11),(12,9),(12,10)],13)
[.,[[[[.,.],.],[[.,.],.]],.]]=>[5,6,2,3,4,7,1]=>[7,3,4,6,5,2,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,14),(2,12),(3,15),(4,15),(5,13),(6,11),(6,14),(7,13),(7,17),(9,8),(10,8),(11,16),(12,9),(13,10),(14,16),(15,11),(16,12),(16,17),(17,9),(17,10)],18)
[.,[[[.,[.,[.,.]]],[.,.]],.]]=>[6,4,3,2,5,7,1]=>[7,5,2,3,6,4,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,12),(3,12),(4,10),(5,9),(6,8),(7,8),(8,12),(9,11),(10,11),(12,9),(12,10)],13)
[.,[[[.,[[.,.],.]],[.,.]],.]]=>[6,3,4,2,5,7,1]=>[7,5,4,2,6,3,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,12),(3,12),(4,10),(5,9),(6,8),(7,8),(8,12),(9,11),(10,11),(12,9),(12,10)],13)
[.,[[[[.,.],[.,.]],[.,.]],.]]=>[6,4,2,3,5,7,1]=>[7,3,5,2,6,4,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(2,11),(3,11),(4,11),(5,11),(6,9),(7,8),(8,10),(9,10),(11,8),(11,9)],12)
[.,[[[[.,[.,.]],.],[.,.]],.]]=>[6,3,2,4,5,7,1]=>[7,4,2,5,6,3,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,12),(3,12),(4,10),(5,9),(6,8),(7,8),(8,12),(9,11),(10,11),(12,9),(12,10)],13)
[.,[[[[[.,.],.],.],[.,.]],.]]=>[6,2,3,4,5,7,1]=>[7,3,4,5,6,2,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,13),(2,15),(3,14),(4,16),(5,14),(5,19),(6,15),(6,19),(7,16),(7,18),(9,17),(10,17),(11,8),(12,8),(13,11),(14,9),(15,10),(16,12),(17,13),(17,18),(18,11),(18,12),(19,9),(19,10)],20)
[.,[[[.,[.,[.,[.,.]]]],.],.]]=>[5,4,3,2,6,7,1]=>[7,5,2,3,4,6,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,11),(3,10),(4,14),(5,13),(6,15),(7,13),(7,14),(9,10),(10,15),(11,8),(12,8),(13,9),(14,9),(15,11),(15,12)],16)
[.,[[[.,[.,[[.,.],.]]],.],.]]=>[4,5,3,2,6,7,1]=>[7,5,2,4,3,6,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,10),(4,9),(5,12),(6,13),(7,11),(8,12),(9,14),(10,14),(11,13),(12,11),(13,9),(13,10)],15)
[.,[[[.,[[.,.],[.,.]]],.],.]]=>[5,3,4,2,6,7,1]=>[7,5,4,2,3,6,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,11),(3,13),(4,14),(5,14),(6,15),(7,10),(7,13),(9,15),(10,9),(11,8),(12,8),(13,9),(14,10),(15,11),(15,12)],16)
[.,[[[.,[[.,[.,.]],.]],.],.]]=>[4,3,5,2,6,7,1]=>[7,5,4,3,2,6,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,13),(2,12),(3,15),(4,14),(5,17),(6,14),(6,16),(7,15),(7,16),(9,17),(10,9),(11,9),(12,8),(13,8),(14,10),(15,11),(16,10),(16,11),(17,12),(17,13)],18)
[.,[[[.,[[[.,.],.],.]],.],.]]=>[3,4,5,2,6,7,1]=>[7,5,3,4,2,6,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(2,10),(3,13),(4,12),(5,15),(6,15),(7,14),(9,14),(10,9),(11,9),(12,8),(13,8),(14,12),(14,13),(15,10),(15,11)],16)
[.,[[[[.,.],[.,[.,.]]],.],.]]=>[5,4,2,3,6,7,1]=>[7,3,5,2,4,6,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,12),(3,12),(4,12),(5,12),(6,10),(7,9),(8,9),(8,10),(9,11),(10,11),(12,8)],13)
[.,[[[[.,.],[[.,.],.]],.],.]]=>[4,5,2,3,6,7,1]=>[7,3,5,4,2,6,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,10),(4,9),(5,12),(6,13),(7,11),(8,12),(9,14),(10,14),(11,13),(12,11),(13,9),(13,10)],15)
[.,[[[[.,[.,.]],[.,.]],.],.]]=>[5,3,2,4,6,7,1]=>[7,4,2,5,3,6,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,12),(3,12),(4,12),(5,12),(6,10),(7,9),(8,9),(8,10),(9,11),(10,11),(12,8)],13)
[.,[[[[[.,.],.],[.,.]],.],.]]=>[5,2,3,4,6,7,1]=>[7,3,4,5,2,6,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,11),(3,10),(4,14),(5,13),(6,15),(7,13),(7,14),(9,10),(10,15),(11,8),(12,8),(13,9),(14,9),(15,11),(15,12)],16)
[.,[[[[.,[.,[.,.]]],.],.],.]]=>[4,3,2,5,6,7,1]=>[7,4,2,3,5,6,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,11),(3,10),(4,13),(5,14),(6,14),(7,9),(7,13),(9,15),(10,9),(11,8),(12,8),(13,15),(14,10),(15,11),(15,12)],16)
[.,[[[[.,[[.,.],.]],.],.],.]]=>[3,4,2,5,6,7,1]=>[7,4,3,2,5,6,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,14),(2,13),(3,15),(4,12),(5,11),(6,13),(6,14),(7,10),(7,15),(9,10),(10,16),(11,8),(12,8),(13,9),(14,9),(15,16),(16,11),(16,12)],17)
[.,[[[[[.,.],[.,.]],.],.],.]]=>[4,2,3,5,6,7,1]=>[7,3,4,2,5,6,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,11),(3,10),(4,13),(5,14),(6,14),(7,9),(7,13),(9,15),(10,9),(11,8),(12,8),(13,15),(14,10),(15,11),(15,12)],16)
[.,[[[[[.,[.,.]],.],.],.],.]]=>[3,2,4,5,6,7,1]=>[7,3,2,4,5,6,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,14),(2,15),(3,15),(4,13),(5,12),(6,14),(6,17),(7,11),(7,17),(9,16),(10,16),(11,10),(12,8),(13,8),(14,9),(15,11),(16,12),(16,13),(17,9),(17,10)],18)
[.,[[[[[[.,.],.],.],.],.],.]]=>[2,3,4,5,6,7,1]=>[7,2,3,4,5,6,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,16),(2,15),(3,14),(4,13),(5,19),(5,20),(6,15),(6,19),(7,16),(7,20),(9,11),(10,12),(11,18),(12,18),(13,8),(14,8),(15,9),(16,10),(17,11),(17,12),(18,13),(18,14),(19,9),(19,17),(20,10),(20,17)],21)
[[.,.],[.,[.,[.,[.,[.,.]]]]]]=>[7,6,5,4,3,1,2]=>[2,7,1,3,4,5,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,14),(2,14),(3,14),(4,9),(5,8),(6,8),(6,10),(7,9),(7,10),(8,11),(9,12),(10,11),(10,12),(11,13),(12,13),(13,14)],15)
[[.,.],[.,[.,[.,[[.,.],.]]]]]=>[6,7,5,4,3,1,2]=>[2,7,1,3,4,6,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,12),(3,12),(4,8),(5,9),(6,9),(7,8),(7,10),(8,11),(9,10),(10,11),(11,12)],13)
[[.,.],[.,[.,[[.,.],[.,.]]]]]=>[7,5,6,4,3,1,2]=>[2,7,1,3,6,4,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,11),(4,11),(5,11),(6,9),(7,10),(8,10),(9,11),(10,9)],12)
[[.,.],[.,[.,[[.,[.,.]],.]]]]=>[6,5,7,4,3,1,2]=>[2,7,1,3,6,5,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,12),(3,12),(4,12),(5,9),(6,8),(7,8),(7,9),(8,11),(9,11),(10,12),(11,10)],13)
[[.,.],[.,[.,[[[.,.],.],.]]]]=>[5,6,7,4,3,1,2]=>[2,7,1,3,5,6,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,11),(4,11),(5,11),(6,9),(7,10),(8,10),(9,11),(10,9)],12)
[[.,.],[.,[[.,.],[.,[.,.]]]]]=>[7,6,4,5,3,1,2]=>[2,7,1,5,3,4,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,11),(4,11),(5,11),(6,9),(7,10),(8,10),(9,11),(10,9)],12)
[[.,.],[.,[[.,.],[[.,.],.]]]]=>[6,7,4,5,3,1,2]=>[2,7,1,5,3,6,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,9),(4,8),(5,8),(6,8),(7,8),(8,9)],10)
[[.,.],[.,[[.,[.,.]],[.,.]]]]=>[7,5,4,6,3,1,2]=>[2,7,1,6,4,3,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,11),(4,11),(5,11),(6,9),(7,10),(8,10),(9,11),(10,9)],12)
[[.,.],[.,[[[.,.],.],[.,.]]]]=>[7,4,5,6,3,1,2]=>[2,7,1,5,6,3,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(2,11),(3,11),(4,9),(5,9),(6,8),(7,8),(8,10),(9,10),(10,11)],12)
[[.,.],[.,[[.,[.,[.,.]]],.]]]=>[6,5,4,7,3,1,2]=>[2,7,1,6,4,5,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,12),(4,12),(5,12),(6,10),(7,9),(8,9),(8,10),(9,11),(10,11),(11,12)],13)
[[.,.],[.,[[.,[[.,.],.]],.]]]=>[5,6,4,7,3,1,2]=>[2,7,1,6,5,4,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,14),(2,14),(3,14),(4,9),(5,8),(6,8),(6,10),(7,9),(7,10),(8,11),(9,12),(10,11),(10,12),(11,13),(12,13),(13,14)],15)
[[.,.],[.,[[[.,.],[.,.]],.]]]=>[6,4,5,7,3,1,2]=>[2,7,1,5,6,4,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,12),(3,12),(4,8),(5,9),(6,9),(7,8),(7,10),(8,11),(9,10),(10,11),(11,12)],13)
[[.,.],[.,[[[.,[.,.]],.],.]]]=>[5,4,6,7,3,1,2]=>[2,7,1,5,4,6,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,11),(4,11),(5,11),(6,9),(7,10),(8,10),(9,11),(10,9)],12)
[[.,.],[.,[[[[.,.],.],.],.]]]=>[4,5,6,7,3,1,2]=>[2,7,1,4,5,6,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,12),(3,12),(4,12),(5,9),(6,8),(7,8),(7,9),(8,11),(9,11),(10,12),(11,10)],13)
[[.,.],[[.,.],[.,[.,[.,.]]]]]=>[7,6,5,3,4,1,2]=>[2,7,4,1,3,5,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,9),(4,9),(5,9),(6,8),(7,8),(8,9)],10)
[[.,.],[[.,.],[.,[[.,.],.]]]]=>[6,7,5,3,4,1,2]=>[2,7,4,1,3,6,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,9),(4,9),(5,9),(6,8),(7,8),(8,9)],10)
[[.,.],[[.,.],[[.,.],[.,.]]]]=>[7,5,6,3,4,1,2]=>[2,7,4,1,6,3,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9)
[[.,.],[[.,.],[[.,[.,.]],.]]]=>[6,5,7,3,4,1,2]=>[2,7,4,1,6,5,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,9),(4,9),(5,9),(6,8),(7,8),(8,9)],10)
[[.,.],[[.,.],[[[.,.],.],.]]]=>[5,6,7,3,4,1,2]=>[2,7,4,1,5,6,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,9),(4,9),(5,9),(6,8),(7,8),(8,9)],10)
[[.,.],[[.,[.,.]],[.,[.,.]]]]=>[7,6,4,3,5,1,2]=>[2,7,5,3,1,4,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9)
[[.,.],[[.,[.,.]],[[.,.],.]]]=>[6,7,4,3,5,1,2]=>[2,7,5,3,1,6,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9)
[[.,.],[[[.,.],.],[.,[.,.]]]]=>[7,6,3,4,5,1,2]=>[2,7,4,5,1,3,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,9),(4,9),(5,9),(6,8),(7,8),(8,9)],10)
[[.,.],[[[.,.],.],[[.,.],.]]]=>[6,7,3,4,5,1,2]=>[2,7,4,5,1,6,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,9),(4,9),(5,9),(6,8),(7,8),(8,9)],10)
[[.,.],[[.,[.,[.,.]]],[.,.]]]=>[7,5,4,3,6,1,2]=>[2,7,6,3,4,1,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,10),(3,10),(4,9),(5,9),(6,8),(7,8),(8,10),(9,10)],11)
[[.,.],[[.,[[.,.],.]],[.,.]]]=>[7,4,5,3,6,1,2]=>[2,7,6,5,3,1,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(2,11),(3,11),(4,11),(5,9),(6,8),(7,8),(7,9),(8,10),(9,10),(10,11)],12)
[[.,.],[[[.,.],[.,.]],[.,.]]]=>[7,5,3,4,6,1,2]=>[2,7,4,6,3,1,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9)
[[.,.],[[[.,[.,.]],.],[.,.]]]=>[7,4,3,5,6,1,2]=>[2,7,5,3,6,1,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9)
[[.,.],[[[[.,.],.],.],[.,.]]]=>[7,3,4,5,6,1,2]=>[2,7,4,5,6,1,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,12),(3,12),(4,12),(5,9),(6,8),(7,8),(7,9),(8,11),(9,11),(10,12),(11,10)],13)
[[.,.],[[.,[.,[.,[.,.]]]],.]]=>[6,5,4,3,7,1,2]=>[2,7,6,3,4,5,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,14),(2,13),(3,15),(4,12),(5,8),(6,13),(6,14),(7,11),(7,15),(9,11),(10,12),(11,10),(12,8),(13,9),(14,9),(15,10)],16)
[[.,.],[[.,[.,[[.,.],.]]],.]]=>[5,6,4,3,7,1,2]=>[2,7,6,3,5,4,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,8),(4,10),(5,13),(6,12),(7,8),(7,11),(8,14),(9,12),(11,14),(12,11),(13,10),(14,13)],15)
[[.,.],[[.,[[.,.],[.,.]]],.]]=>[6,4,5,3,7,1,2]=>[2,7,6,5,3,4,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,14),(2,15),(3,15),(4,13),(5,8),(6,14),(6,16),(7,12),(7,16),(9,13),(10,9),(11,9),(12,11),(13,8),(14,10),(15,12),(16,10),(16,11)],17)
[[.,.],[[.,[[.,[.,.]],.]],.]]=>[5,4,6,3,7,1,2]=>[2,7,6,5,4,3,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,14),(2,16),(3,15),(4,8),(5,15),(5,18),(6,16),(6,19),(7,18),(7,19),(9,11),(10,11),(11,14),(12,9),(13,10),(14,8),(15,12),(16,13),(17,9),(17,10),(18,12),(18,17),(19,13),(19,17)],20)
[[.,.],[[.,[[[.,.],.],.]],.]]=>[4,5,6,3,7,1,2]=>[2,7,6,4,5,3,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,13),(2,14),(3,16),(4,16),(5,12),(6,8),(7,14),(7,15),(9,13),(10,9),(11,9),(12,11),(13,8),(14,10),(15,10),(15,11),(16,12),(16,15)],17)
[[.,.],[[[.,.],[.,[.,.]]],.]]=>[6,5,3,4,7,1,2]=>[2,7,4,6,3,5,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,11),(3,11),(4,11),(5,11),(6,9),(7,10),(8,10),(10,9),(11,8)],12)
[[.,.],[[[.,.],[[.,.],.]],.]]=>[5,6,3,4,7,1,2]=>[2,7,4,6,5,3,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,11),(4,10),(5,9),(6,13),(7,12),(8,13),(10,14),(11,14),(12,9),(13,10),(13,11),(14,12)],15)
[[.,.],[[[.,[.,.]],[.,.]],.]]=>[6,4,3,5,7,1,2]=>[2,7,5,3,6,4,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,11),(3,11),(4,11),(5,11),(6,9),(7,10),(8,10),(10,9),(11,8)],12)
[[.,.],[[[[.,.],.],[.,.]],.]]=>[6,3,4,5,7,1,2]=>[2,7,4,5,6,3,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(2,10),(3,12),(4,14),(5,13),(6,8),(7,13),(7,14),(9,12),(10,9),(11,9),(12,8),(13,15),(14,15),(15,10),(15,11)],16)
[[.,.],[[[.,[.,[.,.]]],.],.]]=>[5,4,3,6,7,1,2]=>[2,7,5,3,4,6,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,10),(4,11),(5,12),(6,13),(7,9),(8,13),(10,12),(11,10),(12,9),(13,11)],14)
[[.,.],[[[.,[[.,.],.]],.],.]]=>[4,5,3,6,7,1,2]=>[2,7,5,4,3,6,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,8),(3,8),(3,9),(4,11),(5,12),(6,13),(7,10),(8,14),(9,14),(11,12),(12,10),(13,11),(14,13)],15)
[[.,.],[[[[.,.],[.,.]],.],.]]=>[5,3,4,6,7,1,2]=>[2,7,4,5,3,6,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,10),(4,11),(5,12),(6,13),(7,9),(8,13),(10,12),(11,10),(12,9),(13,11)],14)
[[.,.],[[[[.,[.,.]],.],.],.]]=>[4,3,5,6,7,1,2]=>[2,7,4,3,5,6,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,8),(4,10),(5,13),(6,12),(7,8),(7,11),(8,14),(9,11),(11,14),(12,10),(13,12),(14,13)],15)
[[.,.],[[[[[.,.],.],.],.],.]]=>[3,4,5,6,7,1,2]=>[2,7,3,4,5,6,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,13),(3,15),(4,14),(5,8),(6,14),(6,16),(7,15),(7,16),(9,12),(10,9),(11,9),(12,13),(13,8),(14,10),(15,11),(16,10),(16,11)],17)
[[.,[.,.]],[.,[.,[.,[.,.]]]]]=>[7,6,5,4,2,1,3]=>[3,1,7,2,4,5,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(2,11),(3,11),(4,11),(5,9),(6,8),(7,8),(7,9),(8,10),(9,10),(10,11)],12)
[[.,[.,.]],[.,[.,[[.,.],.]]]]=>[6,7,5,4,2,1,3]=>[3,1,7,2,4,6,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,10),(3,10),(4,10),(5,10),(6,8),(7,8),(8,9),(9,10)],11)
[[.,[.,.]],[.,[[.,.],[.,.]]]]=>[7,5,6,4,2,1,3]=>[3,1,7,2,6,4,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,10),(3,10),(4,10),(5,10),(6,8),(7,8),(8,9),(9,10)],11)
[[.,[.,.]],[.,[[.,[.,.]],.]]]=>[6,5,7,4,2,1,3]=>[3,1,7,2,6,5,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(2,11),(3,11),(4,11),(5,9),(6,8),(7,8),(7,9),(8,10),(9,10),(10,11)],12)
[[.,[.,.]],[.,[[[.,.],.],.]]]=>[5,6,7,4,2,1,3]=>[3,1,7,2,5,6,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,10),(3,10),(4,10),(5,10),(6,8),(7,8),(8,9),(9,10)],11)
[[.,[.,.]],[[.,.],[.,[.,.]]]]=>[7,6,4,5,2,1,3]=>[3,1,7,5,2,4,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9)
[[.,[.,.]],[[.,.],[[.,.],.]]]=>[6,7,4,5,2,1,3]=>[3,1,7,5,2,6,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9)
[[.,[.,.]],[[.,[.,.]],[.,.]]]=>[7,5,4,6,2,1,3]=>[3,1,7,6,4,2,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,9),(4,9),(5,9),(6,8),(7,8),(8,9)],10)
[[.,[.,.]],[[[.,.],.],[.,.]]]=>[7,4,5,6,2,1,3]=>[3,1,7,5,6,2,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,10),(3,10),(4,10),(5,10),(6,8),(7,8),(8,9),(9,10)],11)
[[.,[.,.]],[[.,[.,[.,.]]],.]]=>[6,5,4,7,2,1,3]=>[3,1,7,6,4,5,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,12),(3,12),(4,8),(5,9),(6,9),(7,8),(7,10),(8,11),(9,10),(10,11),(11,12)],13)
[[.,[.,.]],[[.,[[.,.],.]],.]]=>[5,6,4,7,2,1,3]=>[3,1,7,6,5,4,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,14),(2,14),(3,14),(4,9),(5,8),(6,8),(6,10),(7,9),(7,10),(8,11),(9,12),(10,11),(10,12),(11,13),(12,13),(13,14)],15)
[[.,[.,.]],[[[.,.],[.,.]],.]]=>[6,4,5,7,2,1,3]=>[3,1,7,5,6,4,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,12),(4,12),(5,12),(6,10),(7,9),(8,9),(8,10),(9,11),(10,11),(11,12)],13)
[[.,[.,.]],[[[.,[.,.]],.],.]]=>[5,4,6,7,2,1,3]=>[3,1,7,5,4,6,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,11),(4,11),(5,11),(6,9),(7,10),(8,10),(9,11),(10,9)],12)
[[.,[.,.]],[[[[.,.],.],.],.]]=>[4,5,6,7,2,1,3]=>[3,1,7,4,5,6,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,12),(3,12),(4,12),(5,9),(6,8),(7,8),(7,9),(8,11),(9,11),(10,12),(11,10)],13)
[[[.,.],.],[.,[.,[.,[.,.]]]]]=>[7,6,5,4,1,2,3]=>[2,3,7,1,4,5,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,12),(3,9),(4,8),(5,10),(6,10),(7,8),(7,9),(8,11),(9,11),(10,12),(11,12)],13)
[[[.,.],.],[.,[.,[[.,.],.]]]]=>[6,7,5,4,1,2,3]=>[2,3,7,1,4,6,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,11),(3,11),(4,8),(5,8),(6,9),(7,9),(8,10),(9,11),(10,11)],12)
[[[.,.],.],[.,[[.,.],[.,.]]]]=>[7,5,6,4,1,2,3]=>[2,3,7,1,6,4,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,11),(3,11),(4,8),(5,8),(6,9),(7,9),(8,10),(9,11),(10,11)],12)
[[[.,.],.],[.,[[.,[.,.]],.]]]=>[6,5,7,4,1,2,3]=>[2,3,7,1,6,5,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,12),(3,9),(4,8),(5,10),(6,10),(7,8),(7,9),(8,11),(9,11),(10,12),(11,12)],13)
[[[.,.],.],[.,[[[.,.],.],.]]]=>[5,6,7,4,1,2,3]=>[2,3,7,1,5,6,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,11),(3,11),(4,8),(5,8),(6,9),(7,9),(8,10),(9,11),(10,11)],12)
[[[.,.],.],[[.,.],[.,[.,.]]]]=>[7,6,4,5,1,2,3]=>[2,3,7,5,1,4,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,9),(4,9),(5,9),(6,8),(7,8),(8,9)],10)
[[[.,.],.],[[.,.],[[.,.],.]]]=>[6,7,4,5,1,2,3]=>[2,3,7,5,1,6,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,9),(4,9),(5,9),(6,8),(7,8),(8,9)],10)
[[[.,.],.],[[.,[.,.]],[.,.]]]=>[7,5,4,6,1,2,3]=>[2,3,7,6,4,1,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,10),(3,10),(4,9),(5,9),(6,8),(7,8),(8,10),(9,10)],11)
[[[.,.],.],[[[.,.],.],[.,.]]]=>[7,4,5,6,1,2,3]=>[2,3,7,5,6,1,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,11),(3,11),(4,8),(5,8),(6,9),(7,9),(8,10),(9,11),(10,11)],12)
[[[.,.],.],[[.,[.,[.,.]]],.]]=>[6,5,4,7,1,2,3]=>[2,3,7,6,4,5,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,15),(2,15),(3,13),(4,14),(5,8),(6,12),(6,13),(7,11),(7,14),(9,11),(10,8),(11,10),(12,9),(13,9),(14,10),(15,12)],16)
[[[.,.],.],[[.,[[.,.],.]],.]]=>[5,6,4,7,1,2,3]=>[2,3,7,6,5,4,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,15),(2,14),(3,16),(4,8),(5,13),(5,16),(6,14),(6,17),(7,15),(7,17),(9,13),(10,9),(11,9),(12,8),(13,12),(14,10),(15,11),(16,12),(17,10),(17,11)],18)
[[[.,.],.],[[[.,.],[.,.]],.]]=>[6,4,5,7,1,2,3]=>[2,3,7,5,6,4,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,14),(2,13),(3,12),(4,15),(5,15),(6,8),(7,11),(7,14),(9,11),(10,8),(11,10),(12,9),(13,9),(14,10),(15,12),(15,13)],16)
[[[.,.],.],[[[.,[.,.]],.],.]]=>[5,4,6,7,1,2,3]=>[2,3,7,5,4,6,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,8),(4,13),(5,11),(6,12),(7,8),(7,10),(8,14),(9,13),(10,14),(12,10),(13,12),(14,11)],15)
[[[.,.],.],[[[[.,.],.],.],.]]=>[4,5,6,7,1,2,3]=>[2,3,7,4,5,6,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,15),(2,14),(3,13),(4,12),(5,8),(6,14),(6,15),(7,11),(7,13),(9,12),(10,8),(11,10),(12,11),(13,10),(14,9),(15,9)],16)
[[.,[.,[.,.]]],[.,[.,[.,.]]]]=>[7,6,5,3,2,1,4]=>[4,1,2,7,3,5,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,10),(3,10),(4,9),(5,9),(6,8),(7,8),(8,10),(9,10)],11)
[[.,[.,[.,.]]],[.,[[.,.],.]]]=>[6,7,5,3,2,1,4]=>[4,1,2,7,3,6,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,10),(3,10),(4,9),(5,9),(6,8),(7,8),(8,10),(9,10)],11)
[[.,[.,[.,.]]],[[.,.],[.,.]]]=>[7,5,6,3,2,1,4]=>[4,1,2,7,6,3,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,10),(3,10),(4,9),(5,9),(6,8),(7,8),(8,10),(9,10)],11)
[[.,[.,[.,.]]],[[.,[.,.]],.]]=>[6,5,7,3,2,1,4]=>[4,1,2,7,6,5,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,12),(3,9),(4,8),(5,10),(6,10),(7,8),(7,9),(8,11),(9,11),(10,12),(11,12)],13)
[[.,[.,[.,.]]],[[[.,.],.],.]]=>[5,6,7,3,2,1,4]=>[4,1,2,7,5,6,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,11),(3,11),(4,8),(5,8),(6,9),(7,9),(8,10),(9,11),(10,11)],12)
[[.,[[.,.],.]],[.,[.,[.,.]]]]=>[7,6,5,2,3,1,4]=>[4,3,1,7,2,5,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,10),(3,10),(4,9),(5,9),(6,8),(7,8),(8,10),(9,10)],11)
[[.,[[.,.],.]],[.,[[.,.],.]]]=>[6,7,5,2,3,1,4]=>[4,3,1,7,2,6,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,10),(3,10),(4,9),(5,9),(6,8),(7,8),(8,10),(9,10)],11)
[[.,[[.,.],.]],[[.,.],[.,.]]]=>[7,5,6,2,3,1,4]=>[4,3,1,7,6,2,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,10),(3,10),(4,9),(5,9),(6,8),(7,8),(8,10),(9,10)],11)
[[.,[[.,.],.]],[[.,[.,.]],.]]=>[6,5,7,2,3,1,4]=>[4,3,1,7,6,5,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,12),(3,9),(4,8),(5,10),(6,10),(7,8),(7,9),(8,11),(9,11),(10,12),(11,12)],13)
[[.,[[.,.],.]],[[[.,.],.],.]]=>[5,6,7,2,3,1,4]=>[4,3,1,7,5,6,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,11),(3,11),(4,8),(5,8),(6,9),(7,9),(8,10),(9,11),(10,11)],12)
[[[.,.],[.,.]],[.,[.,[.,.]]]]=>[7,6,5,3,1,2,4]=>[2,4,1,7,3,5,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,9),(4,9),(5,9),(6,8),(7,8),(8,9)],10)
[[[.,.],[.,.]],[.,[[.,.],.]]]=>[6,7,5,3,1,2,4]=>[2,4,1,7,3,6,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,9),(4,9),(5,9),(6,8),(7,8),(8,9)],10)
[[[.,.],[.,.]],[[.,.],[.,.]]]=>[7,5,6,3,1,2,4]=>[2,4,1,7,6,3,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,9),(4,9),(5,9),(6,8),(7,8),(8,9)],10)
[[[.,.],[.,.]],[[.,[.,.]],.]]=>[6,5,7,3,1,2,4]=>[2,4,1,7,6,5,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(2,11),(3,11),(4,11),(5,9),(6,8),(7,8),(7,9),(8,10),(9,10),(10,11)],12)
[[[.,.],[.,.]],[[[.,.],.],.]]=>[5,6,7,3,1,2,4]=>[2,4,1,7,5,6,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,10),(3,10),(4,10),(5,10),(6,8),(7,8),(8,9),(9,10)],11)
[[[.,[.,.]],.],[.,[.,[.,.]]]]=>[7,6,5,2,1,3,4]=>[3,1,4,7,2,5,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,9),(4,9),(5,9),(6,8),(7,8),(8,9)],10)
[[[.,[.,.]],.],[.,[[.,.],.]]]=>[6,7,5,2,1,3,4]=>[3,1,4,7,2,6,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,9),(4,9),(5,9),(6,8),(7,8),(8,9)],10)
[[[.,[.,.]],.],[[.,.],[.,.]]]=>[7,5,6,2,1,3,4]=>[3,1,4,7,6,2,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,9),(4,9),(5,9),(6,8),(7,8),(8,9)],10)
[[[.,[.,.]],.],[[.,[.,.]],.]]=>[6,5,7,2,1,3,4]=>[3,1,4,7,6,5,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,12),(3,12),(4,12),(5,9),(6,8),(7,8),(7,9),(8,11),(9,11),(10,12),(11,10)],13)
[[[.,[.,.]],.],[[[.,.],.],.]]=>[5,6,7,2,1,3,4]=>[3,1,4,7,5,6,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,11),(4,11),(5,11),(6,9),(7,10),(8,10),(9,11),(10,9)],12)
[[[[.,.],.],.],[.,[.,[.,.]]]]=>[7,6,5,1,2,3,4]=>[2,3,4,7,1,5,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,12),(3,9),(4,8),(5,10),(6,10),(7,8),(7,9),(8,11),(9,11),(10,12),(11,12)],13)
[[[[.,.],.],.],[.,[[.,.],.]]]=>[6,7,5,1,2,3,4]=>[2,3,4,7,1,6,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,12),(3,9),(4,8),(5,10),(6,10),(7,8),(7,9),(8,11),(9,11),(10,12),(11,12)],13)
[[[[.,.],.],.],[[.,.],[.,.]]]=>[7,5,6,1,2,3,4]=>[2,3,4,7,6,1,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,12),(3,9),(4,8),(5,10),(6,10),(7,8),(7,9),(8,11),(9,11),(10,12),(11,12)],13)
[[[[.,.],.],.],[[.,[.,.]],.]]=>[6,5,7,1,2,3,4]=>[2,3,4,7,6,5,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,16),(2,15),(3,14),(4,8),(5,15),(5,16),(6,13),(6,17),(7,14),(7,17),(9,13),(10,12),(11,12),(12,8),(13,10),(14,11),(15,9),(16,9),(17,10),(17,11)],18)
[[[[.,.],.],.],[[[.,.],.],.]]=>[5,6,7,1,2,3,4]=>[2,3,4,7,5,6,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,14),(2,15),(3,15),(4,13),(5,8),(6,14),(6,16),(7,12),(7,16),(9,11),(10,11),(11,8),(12,10),(13,12),(14,9),(15,13),(16,9),(16,10)],17)
[[.,[.,[.,[.,.]]]],[.,[.,.]]]=>[7,6,4,3,2,1,5]=>[5,1,2,3,7,4,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(2,11),(3,11),(4,11),(5,9),(6,8),(7,8),(7,9),(8,10),(9,10),(10,11)],12)
[[.,[.,[.,[.,.]]]],[[.,.],.]]=>[6,7,4,3,2,1,5]=>[5,1,2,3,7,6,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,12),(3,9),(4,8),(5,10),(6,10),(7,8),(7,9),(8,11),(9,11),(10,12),(11,12)],13)
[[.,[.,[[.,.],.]]],[.,[.,.]]]=>[7,6,3,4,2,1,5]=>[5,1,4,2,7,3,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9)
[[.,[.,[[.,.],.]]],[[.,.],.]]=>[6,7,3,4,2,1,5]=>[5,1,4,2,7,6,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,9),(4,9),(5,9),(6,8),(7,8),(8,9)],10)
[[.,[[.,.],[.,.]]],[.,[.,.]]]=>[7,6,4,2,3,1,5]=>[5,3,1,2,7,4,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,10),(3,10),(4,10),(5,10),(6,8),(7,8),(8,9),(9,10)],11)
[[.,[[.,.],[.,.]]],[[.,.],.]]=>[6,7,4,2,3,1,5]=>[5,3,1,2,7,6,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,11),(3,11),(4,8),(5,8),(6,9),(7,9),(8,10),(9,11),(10,11)],12)
[[.,[[.,[.,.]],.]],[.,[.,.]]]=>[7,6,3,2,4,1,5]=>[5,4,2,1,7,3,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,10),(3,10),(4,9),(5,9),(6,8),(7,8),(8,10),(9,10)],11)
[[.,[[.,[.,.]],.]],[[.,.],.]]=>[6,7,3,2,4,1,5]=>[5,4,2,1,7,6,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(2,10),(3,10),(4,9),(5,9),(6,8),(7,8),(8,11),(9,11),(10,11)],12)
[[.,[[[.,.],.],.]],[.,[.,.]]]=>[7,6,2,3,4,1,5]=>[5,3,4,1,7,2,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,10),(3,10),(4,10),(5,10),(6,8),(7,8),(8,9),(9,10)],11)
[[.,[[[.,.],.],.]],[[.,.],.]]=>[6,7,2,3,4,1,5]=>[5,3,4,1,7,6,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,11),(3,11),(4,8),(5,8),(6,9),(7,9),(8,10),(9,11),(10,11)],12)
[[[.,.],[.,[.,.]]],[.,[.,.]]]=>[7,6,4,3,1,2,5]=>[2,5,1,3,7,4,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9)
[[[.,.],[.,[.,.]]],[[.,.],.]]=>[6,7,4,3,1,2,5]=>[2,5,1,3,7,6,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,9),(4,9),(5,9),(6,8),(7,8),(8,9)],10)
[[[.,.],[[.,.],.]],[.,[.,.]]]=>[7,6,3,4,1,2,5]=>[2,5,4,1,7,3,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,9),(4,9),(5,9),(6,8),(7,8),(8,9)],10)
[[[.,.],[[.,.],.]],[[.,.],.]]=>[6,7,3,4,1,2,5]=>[2,5,4,1,7,6,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,10),(3,10),(4,9),(5,9),(6,8),(7,8),(8,10),(9,10)],11)
[[[.,[.,.]],[.,.]],[.,[.,.]]]=>[7,6,4,2,1,3,5]=>[3,1,5,2,7,4,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9)
[[[.,[.,.]],[.,.]],[[.,.],.]]=>[6,7,4,2,1,3,5]=>[3,1,5,2,7,6,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,9),(4,9),(5,9),(6,8),(7,8),(8,9)],10)
[[[[.,.],.],[.,.]],[.,[.,.]]]=>[7,6,4,1,2,3,5]=>[2,3,5,1,7,4,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,9),(4,9),(5,9),(6,8),(7,8),(8,9)],10)
[[[[.,.],.],[.,.]],[[.,.],.]]=>[6,7,4,1,2,3,5]=>[2,3,5,1,7,6,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,10),(3,10),(4,9),(5,9),(6,8),(7,8),(8,10),(9,10)],11)
[[[.,[.,[.,.]]],.],[.,[.,.]]]=>[7,6,3,2,1,4,5]=>[4,1,2,5,7,3,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,9),(4,9),(5,9),(6,8),(7,8),(8,9)],10)
[[[.,[.,[.,.]]],.],[[.,.],.]]=>[6,7,3,2,1,4,5]=>[4,1,2,5,7,6,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,11),(3,11),(4,8),(5,8),(6,9),(7,9),(8,10),(9,11),(10,11)],12)
[[[.,[[.,.],.]],.],[.,[.,.]]]=>[7,6,2,3,1,4,5]=>[4,3,1,5,7,2,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,9),(4,9),(5,9),(6,8),(7,8),(8,9)],10)
[[[.,[[.,.],.]],.],[[.,.],.]]=>[6,7,2,3,1,4,5]=>[4,3,1,5,7,6,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,11),(3,11),(4,8),(5,8),(6,9),(7,9),(8,10),(9,11),(10,11)],12)
[[[[.,.],[.,.]],.],[.,[.,.]]]=>[7,6,3,1,2,4,5]=>[2,4,1,5,7,3,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9)
[[[[.,.],[.,.]],.],[[.,.],.]]=>[6,7,3,1,2,4,5]=>[2,4,1,5,7,6,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,10),(3,10),(4,10),(5,10),(6,8),(7,8),(8,9),(9,10)],11)
[[[[.,[.,.]],.],.],[.,[.,.]]]=>[7,6,2,1,3,4,5]=>[3,1,4,5,7,2,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,9),(4,9),(5,9),(6,8),(7,8),(8,9)],10)
[[[[.,[.,.]],.],.],[[.,.],.]]=>[6,7,2,1,3,4,5]=>[3,1,4,5,7,6,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,12),(3,12),(4,8),(5,9),(6,9),(7,8),(7,10),(8,11),(9,10),(10,11),(11,12)],13)
[[[[[.,.],.],.],.],[.,[.,.]]]=>[7,6,1,2,3,4,5]=>[2,3,4,5,7,1,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,14),(2,14),(3,14),(4,9),(5,8),(6,8),(6,10),(7,9),(7,10),(8,11),(9,12),(10,11),(10,12),(11,13),(12,13),(13,14)],15)
[[[[[.,.],.],.],.],[[.,.],.]]=>[6,7,1,2,3,4,5]=>[2,3,4,5,7,6,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,16),(2,16),(3,15),(4,8),(5,14),(5,19),(6,15),(6,18),(7,18),(7,19),(9,13),(10,13),(11,10),(12,9),(13,8),(14,11),(15,12),(16,14),(17,9),(17,10),(18,12),(18,17),(19,11),(19,17)],20)
[[.,[.,[.,[.,[.,.]]]]],[.,.]]=>[7,5,4,3,2,1,6]=>[6,1,2,3,4,7,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,14),(2,14),(3,14),(4,9),(5,8),(6,8),(6,10),(7,9),(7,10),(8,11),(9,12),(10,11),(10,12),(11,13),(12,13),(13,14)],15)
[[.,[.,[.,[[.,.],.]]]],[.,.]]=>[7,4,5,3,2,1,6]=>[6,1,2,5,3,7,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,9),(4,9),(5,9),(6,8),(7,8),(8,9)],10)
[[.,[.,[[.,.],[.,.]]]],[.,.]]=>[7,5,3,4,2,1,6]=>[6,1,4,2,3,7,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,11),(4,11),(5,11),(6,9),(7,10),(8,10),(9,11),(10,9)],12)
[[.,[.,[[.,[.,.]],.]]],[.,.]]=>[7,4,3,5,2,1,6]=>[6,1,5,3,2,7,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,9),(4,9),(5,9),(6,8),(7,8),(8,9)],10)
[[.,[.,[[[.,.],.],.]]],[.,.]]=>[7,3,4,5,2,1,6]=>[6,1,4,5,2,7,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,9),(4,9),(5,9),(6,8),(7,8),(8,9)],10)
[[.,[[.,.],[.,[.,.]]]],[.,.]]=>[7,5,4,2,3,1,6]=>[6,3,1,2,4,7,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,11),(4,11),(5,11),(6,9),(7,10),(8,10),(9,11),(10,9)],12)
[[.,[[.,.],[[.,.],.]]],[.,.]]=>[7,4,5,2,3,1,6]=>[6,3,1,5,2,7,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9)
[[.,[[.,[.,.]],[.,.]]],[.,.]]=>[7,5,3,2,4,1,6]=>[6,4,2,1,3,7,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,11),(4,11),(5,11),(6,9),(7,10),(8,10),(9,11),(10,9)],12)
[[.,[[[.,.],.],[.,.]]],[.,.]]=>[7,5,2,3,4,1,6]=>[6,3,4,1,2,7,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(2,11),(3,11),(4,9),(5,9),(6,8),(7,8),(8,10),(9,10),(10,11)],12)
[[.,[[.,[.,[.,.]]],.]],[.,.]]=>[7,4,3,2,5,1,6]=>[6,5,2,3,1,7,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,11),(3,11),(4,8),(5,8),(6,9),(7,9),(8,10),(9,11),(10,11)],12)
[[.,[[.,[[.,.],.]],.]],[.,.]]=>[7,3,4,2,5,1,6]=>[6,5,4,2,1,7,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,12),(3,9),(4,8),(5,10),(6,10),(7,8),(7,9),(8,11),(9,11),(10,12),(11,12)],13)
[[.,[[[.,.],[.,.]],.]],[.,.]]=>[7,4,2,3,5,1,6]=>[6,3,5,2,1,7,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,9),(4,9),(5,9),(6,8),(7,8),(8,9)],10)
[[.,[[[.,[.,.]],.],.]],[.,.]]=>[7,3,2,4,5,1,6]=>[6,4,2,5,1,7,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9)
[[.,[[[[.,.],.],.],.]],[.,.]]=>[7,2,3,4,5,1,6]=>[6,3,4,5,1,7,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,12),(3,12),(4,12),(5,9),(6,8),(7,8),(7,9),(8,11),(9,11),(10,12),(11,10)],13)
[[[.,.],[.,[.,[.,.]]]],[.,.]]=>[7,5,4,3,1,2,6]=>[2,6,1,3,4,7,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,9),(4,9),(5,9),(6,8),(7,8),(8,9)],10)
[[[.,.],[.,[[.,.],.]]],[.,.]]=>[7,4,5,3,1,2,6]=>[2,6,1,5,3,7,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9)
[[[.,.],[[.,.],[.,.]]],[.,.]]=>[7,5,3,4,1,2,6]=>[2,6,4,1,3,7,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9)
[[[.,.],[[.,[.,.]],.]],[.,.]]=>[7,4,3,5,1,2,6]=>[2,6,5,3,1,7,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,9),(4,9),(5,9),(6,8),(7,8),(8,9)],10)
[[[.,.],[[[.,.],.],.]],[.,.]]=>[7,3,4,5,1,2,6]=>[2,6,4,5,1,7,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,10),(3,10),(4,10),(5,10),(6,8),(7,8),(8,9),(9,10)],11)
[[[.,[.,.]],[.,[.,.]]],[.,.]]=>[7,5,4,2,1,3,6]=>[3,1,6,2,4,7,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9)
[[[.,[.,.]],[[.,.],.]],[.,.]]=>[7,4,5,2,1,3,6]=>[3,1,6,5,2,7,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,9),(4,9),(5,9),(6,8),(7,8),(8,9)],10)
[[[[.,.],.],[.,[.,.]]],[.,.]]=>[7,5,4,1,2,3,6]=>[2,3,6,1,4,7,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,9),(4,9),(5,9),(6,8),(7,8),(8,9)],10)
[[[[.,.],.],[[.,.],.]],[.,.]]=>[7,4,5,1,2,3,6]=>[2,3,6,5,1,7,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,10),(3,10),(4,9),(5,9),(6,8),(7,8),(8,10),(9,10)],11)
[[[.,[.,[.,.]]],[.,.]],[.,.]]=>[7,5,3,2,1,4,6]=>[4,1,2,6,3,7,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,9),(4,9),(5,9),(6,8),(7,8),(8,9)],10)
[[[.,[[.,.],.]],[.,.]],[.,.]]=>[7,5,2,3,1,4,6]=>[4,3,1,6,2,7,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,9),(4,9),(5,9),(6,8),(7,8),(8,9)],10)
[[[[.,.],[.,.]],[.,.]],[.,.]]=>[7,5,3,1,2,4,6]=>[2,4,1,6,3,7,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9)
[[[[.,[.,.]],.],[.,.]],[.,.]]=>[7,5,2,1,3,4,6]=>[3,1,4,6,2,7,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9)
[[[[[.,.],.],.],[.,.]],[.,.]]=>[7,5,1,2,3,4,6]=>[2,3,4,6,1,7,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(2,11),(3,11),(4,11),(5,9),(6,8),(7,8),(7,9),(8,10),(9,10),(10,11)],12)
[[[.,[.,[.,[.,.]]]],.],[.,.]]=>[7,4,3,2,1,5,6]=>[5,1,2,3,6,7,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,12),(3,9),(4,8),(5,10),(6,10),(7,8),(7,9),(8,11),(9,11),(10,12),(11,12)],13)
[[[.,[.,[[.,.],.]]],.],[.,.]]=>[7,3,4,2,1,5,6]=>[5,1,4,2,6,7,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,9),(4,9),(5,9),(6,8),(7,8),(8,9)],10)
[[[.,[[.,.],[.,.]]],.],[.,.]]=>[7,4,2,3,1,5,6]=>[5,3,1,2,6,7,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,11),(3,11),(4,8),(5,8),(6,9),(7,9),(8,10),(9,11),(10,11)],12)
[[[.,[[.,[.,.]],.]],.],[.,.]]=>[7,3,2,4,1,5,6]=>[5,4,2,1,6,7,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(2,10),(3,10),(4,9),(5,9),(6,8),(7,8),(8,11),(9,11),(10,11)],12)
[[[.,[[[.,.],.],.]],.],[.,.]]=>[7,2,3,4,1,5,6]=>[5,3,4,1,6,7,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,11),(3,11),(4,8),(5,8),(6,9),(7,9),(8,10),(9,11),(10,11)],12)
[[[[.,.],[.,[.,.]]],.],[.,.]]=>[7,4,3,1,2,5,6]=>[2,5,1,3,6,7,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,9),(4,9),(5,9),(6,8),(7,8),(8,9)],10)
[[[[.,.],[[.,.],.]],.],[.,.]]=>[7,3,4,1,2,5,6]=>[2,5,4,1,6,7,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,10),(3,10),(4,9),(5,9),(6,8),(7,8),(8,10),(9,10)],11)
[[[[.,[.,.]],[.,.]],.],[.,.]]=>[7,4,2,1,3,5,6]=>[3,1,5,2,6,7,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,9),(4,9),(5,9),(6,8),(7,8),(8,9)],10)
[[[[[.,.],.],[.,.]],.],[.,.]]=>[7,4,1,2,3,5,6]=>[2,3,5,1,6,7,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,10),(3,10),(4,9),(5,9),(6,8),(7,8),(8,10),(9,10)],11)
[[[[.,[.,[.,.]]],.],.],[.,.]]=>[7,3,2,1,4,5,6]=>[4,1,2,5,6,7,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,12),(3,9),(4,8),(5,10),(6,10),(7,8),(7,9),(8,11),(9,11),(10,12),(11,12)],13)
[[[[.,[[.,.],.]],.],.],[.,.]]=>[7,2,3,1,4,5,6]=>[4,3,1,5,6,7,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,12),(3,9),(4,8),(5,10),(6,10),(7,8),(7,9),(8,11),(9,11),(10,12),(11,12)],13)
[[[[[.,.],[.,.]],.],.],[.,.]]=>[7,3,1,2,4,5,6]=>[2,4,1,5,6,7,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(2,11),(3,11),(4,11),(5,9),(6,8),(7,8),(7,9),(8,10),(9,10),(10,11)],12)
[[[[[.,[.,.]],.],.],.],[.,.]]=>[7,2,1,3,4,5,6]=>[3,1,4,5,6,7,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,14),(2,14),(3,14),(4,9),(5,8),(6,8),(6,10),(7,9),(7,10),(8,11),(9,12),(10,11),(10,12),(11,13),(12,13),(13,14)],15)
[[.,[.,[.,[.,[.,[.,.]]]]]],.]=>[6,5,4,3,2,1,7]=>[6,1,2,3,4,5,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,14),(2,16),(3,15),(4,8),(5,15),(5,18),(6,16),(6,19),(7,18),(7,19),(9,11),(10,11),(11,14),(12,9),(13,10),(14,8),(15,12),(16,13),(17,9),(17,10),(18,12),(18,17),(19,13),(19,17)],20)
[[.,[.,[.,[.,[[.,.],.]]]]],.]=>[5,6,4,3,2,1,7]=>[6,1,2,3,5,4,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,14),(2,15),(3,15),(4,13),(5,8),(6,14),(6,16),(7,12),(7,16),(9,13),(10,9),(11,9),(12,11),(13,8),(14,10),(15,12),(16,10),(16,11)],17)
[[.,[.,[.,[[.,.],[.,.]]]]],.]=>[6,4,5,3,2,1,7]=>[6,1,2,5,3,4,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,8),(4,10),(5,13),(6,12),(7,8),(7,11),(8,14),(9,12),(11,14),(12,11),(13,10),(14,13)],15)
[[.,[.,[.,[[.,[.,.]],.]]]],.]=>[5,4,6,3,2,1,7]=>[6,1,2,5,4,3,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,14),(2,13),(3,15),(4,12),(5,8),(6,13),(6,14),(7,11),(7,15),(9,11),(10,12),(11,10),(12,8),(13,9),(14,9),(15,10)],16)
[[.,[.,[.,[[[.,.],.],.]]]],.]=>[4,5,6,3,2,1,7]=>[6,1,2,4,5,3,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,8),(4,10),(5,13),(6,12),(7,8),(7,11),(8,14),(9,12),(11,14),(12,11),(13,10),(14,13)],15)
[[.,[.,[[.,.],[.,[.,.]]]]],.]=>[6,5,3,4,2,1,7]=>[6,1,4,2,3,5,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,11),(4,10),(5,9),(6,13),(7,12),(8,13),(10,14),(11,14),(12,9),(13,10),(13,11),(14,12)],15)
[[.,[.,[[.,.],[[.,.],.]]]],.]=>[5,6,3,4,2,1,7]=>[6,1,4,2,5,3,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,11),(3,11),(4,11),(5,11),(6,9),(7,10),(8,10),(10,9),(11,8)],12)
[[.,[.,[[.,[.,.]],[.,.]]]],.]=>[6,4,3,5,2,1,7]=>[6,1,5,3,2,4,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,10),(4,11),(5,12),(6,13),(7,9),(8,13),(10,12),(11,10),(12,9),(13,11)],14)
[[.,[.,[[[.,.],.],[.,.]]]],.]=>[6,3,4,5,2,1,7]=>[6,1,4,5,2,3,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,8),(4,8),(5,11),(6,12),(7,10),(8,13),(9,13),(11,10),(12,11),(13,12)],14)
[[.,[.,[[.,[.,[.,.]]],.]]],.]=>[5,4,3,6,2,1,7]=>[6,1,5,3,4,2,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,11),(4,10),(5,13),(6,9),(7,12),(8,10),(8,11),(10,14),(11,14),(12,9),(13,12),(14,13)],15)
[[.,[.,[[.,[[.,.],.]],.]]],.]=>[4,5,3,6,2,1,7]=>[6,1,5,4,3,2,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,13),(3,15),(4,14),(5,8),(6,14),(6,16),(7,15),(7,16),(9,12),(10,9),(11,9),(12,13),(13,8),(14,10),(15,11),(16,10),(16,11)],17)
[[.,[.,[[[.,.],[.,.]],.]]],.]=>[5,3,4,6,2,1,7]=>[6,1,4,5,3,2,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,8),(4,10),(5,13),(6,12),(7,8),(7,11),(8,14),(9,11),(11,14),(12,10),(13,12),(14,13)],15)
[[.,[.,[[[.,[.,.]],.],.]]],.]=>[4,3,5,6,2,1,7]=>[6,1,4,3,5,2,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,10),(4,11),(5,12),(6,13),(7,9),(8,13),(10,12),(11,10),(12,9),(13,11)],14)
[[.,[.,[[[[.,.],.],.],.]]],.]=>[3,4,5,6,2,1,7]=>[6,1,3,4,5,2,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,8),(3,8),(3,9),(4,11),(5,12),(6,13),(7,10),(8,14),(9,14),(11,12),(12,10),(13,11),(14,13)],15)
[[.,[[.,.],[.,[.,[.,.]]]]],.]=>[6,5,4,2,3,1,7]=>[6,3,1,2,4,5,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,8),(4,10),(5,13),(6,12),(7,8),(7,11),(8,14),(9,12),(11,14),(12,11),(13,10),(14,13)],15)
[[.,[[.,.],[.,[[.,.],.]]]],.]=>[5,6,4,2,3,1,7]=>[6,3,1,2,5,4,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,8),(4,8),(5,10),(6,11),(7,12),(8,13),(9,11),(11,13),(12,10),(13,12)],14)
[[.,[[.,.],[[.,.],[.,.]]]],.]=>[6,4,5,2,3,1,7]=>[6,3,1,5,2,4,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,10),(3,10),(4,10),(5,10),(6,10),(7,8),(8,9),(10,8)],11)
[[.,[[.,.],[[.,[.,.]],.]]],.]=>[5,4,6,2,3,1,7]=>[6,3,1,5,4,2,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,11),(3,11),(4,11),(5,8),(6,8),(7,9),(8,11),(9,10),(11,9)],12)
[[.,[[.,.],[[[.,.],.],.]]],.]=>[4,5,6,2,3,1,7]=>[6,3,1,4,5,2,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,11),(3,11),(4,11),(5,8),(6,8),(7,9),(8,11),(9,10),(11,9)],12)
[[.,[[.,[.,.]],[.,[.,.]]]],.]=>[6,5,3,2,4,1,7]=>[6,4,2,1,3,5,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,10),(4,11),(5,12),(6,13),(7,9),(8,13),(10,12),(11,10),(12,9),(13,11)],14)
[[.,[[.,[.,.]],[[.,.],.]]],.]=>[5,6,3,2,4,1,7]=>[6,4,2,1,5,3,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,11),(3,11),(4,11),(5,8),(6,8),(7,9),(8,11),(9,10),(11,9)],12)
[[.,[[[.,.],.],[.,[.,.]]]],.]=>[6,5,2,3,4,1,7]=>[6,3,4,1,2,5,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,8),(4,8),(5,11),(6,12),(7,10),(8,13),(9,13),(11,10),(12,11),(13,12)],14)
[[.,[[[.,.],.],[[.,.],.]]],.]=>[5,6,2,3,4,1,7]=>[6,3,4,1,5,2,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,11),(3,11),(4,11),(5,8),(6,8),(7,9),(8,11),(9,10),(11,9)],12)
[[.,[[.,[.,[.,.]]],[.,.]]],.]=>[6,4,3,2,5,1,7]=>[6,5,2,3,1,4,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,8),(4,13),(5,11),(6,12),(7,8),(7,10),(8,14),(9,13),(10,14),(12,10),(13,12),(14,11)],15)
[[.,[[.,[[.,.],.]],[.,.]]],.]=>[6,3,4,2,5,1,7]=>[6,5,4,2,1,3,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,14),(2,15),(3,15),(4,13),(5,8),(6,14),(6,16),(7,12),(7,16),(9,11),(10,11),(11,8),(12,10),(13,12),(14,9),(15,13),(16,9),(16,10)],17)
[[.,[[[.,.],[.,.]],[.,.]]],.]=>[6,4,2,3,5,1,7]=>[6,3,5,2,1,4,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,11),(3,11),(4,11),(5,8),(6,8),(7,9),(8,11),(9,10),(11,9)],12)
[[.,[[[.,[.,.]],.],[.,.]]],.]=>[6,3,2,4,5,1,7]=>[6,4,2,5,1,3,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,10),(3,10),(4,10),(5,10),(6,10),(7,8),(8,9),(10,8)],11)
[[.,[[[[.,.],.],.],[.,.]]],.]=>[6,2,3,4,5,1,7]=>[6,3,4,5,1,2,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,13),(2,12),(3,11),(4,14),(5,14),(6,8),(7,12),(7,13),(9,10),(10,8),(11,10),(12,15),(13,15),(14,9),(15,9),(15,11)],16)
[[.,[[.,[.,[.,[.,.]]]],.]],.]=>[5,4,3,2,6,1,7]=>[6,5,2,3,4,1,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,15),(2,14),(3,13),(4,12),(5,8),(6,14),(6,15),(7,13),(7,17),(9,11),(10,11),(11,8),(12,10),(13,9),(14,16),(15,16),(16,12),(16,17),(17,9),(17,10)],18)
[[.,[[.,[.,[[.,.],.]]],.]],.]=>[4,5,3,2,6,1,7]=>[6,5,2,4,3,1,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,13),(2,16),(3,14),(4,14),(5,12),(6,8),(7,13),(7,15),(9,11),(10,11),(11,8),(12,10),(13,9),(14,16),(15,9),(15,10),(16,12),(16,15)],17)
[[.,[[.,[[.,.],[.,.]]],.]],.]=>[5,3,4,2,6,1,7]=>[6,5,4,2,3,1,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,15),(2,19),(3,19),(4,14),(5,8),(6,17),(6,18),(7,15),(7,18),(9,11),(10,12),(11,13),(12,13),(13,8),(14,10),(15,9),(16,11),(16,12),(17,10),(17,16),(18,9),(18,16),(19,14),(19,17)],20)
[[.,[[.,[[[.,.],.],.]],.]],.]=>[3,4,5,2,6,1,7]=>[6,5,3,4,2,1,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,19),(2,19),(3,15),(4,14),(5,8),(6,14),(6,17),(7,15),(7,18),(9,13),(10,13),(11,9),(12,10),(13,8),(14,11),(15,12),(16,9),(16,10),(17,11),(17,16),(18,12),(18,16),(19,17),(19,18)],20)
[[.,[[[.,.],[.,[.,.]]],.]],.]=>[5,4,2,3,6,1,7]=>[6,3,5,2,4,1,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,12),(3,12),(4,12),(5,12),(6,9),(7,8),(8,11),(9,11),(11,10),(12,8),(12,9)],13)
[[.,[[[.,.],[[.,.],.]],.]],.]=>[4,5,2,3,6,1,7]=>[6,3,5,4,2,1,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,13),(2,16),(3,14),(4,14),(5,12),(6,8),(7,13),(7,15),(9,11),(10,11),(11,8),(12,10),(13,9),(14,16),(15,9),(15,10),(16,12),(16,15)],17)
[[.,[[[.,[.,.]],[.,.]],.]],.]=>[5,3,2,4,6,1,7]=>[6,4,2,5,3,1,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,12),(3,12),(4,12),(5,12),(6,9),(7,8),(8,11),(9,11),(11,10),(12,8),(12,9)],13)
[[.,[[[[.,.],.],[.,.]],.]],.]=>[5,2,3,4,6,1,7]=>[6,3,4,5,2,1,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,15),(2,14),(3,13),(4,12),(5,8),(6,14),(6,15),(7,13),(7,17),(9,11),(10,11),(11,8),(12,10),(13,9),(14,16),(15,16),(16,12),(16,17),(17,9),(17,10)],18)
[[.,[[[.,[.,[.,.]]],.],.]],.]=>[4,3,2,5,6,1,7]=>[6,4,2,3,5,1,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,10),(4,9),(5,11),(6,13),(7,12),(8,12),(9,14),(10,14),(12,13),(13,9),(13,10),(14,11)],15)
[[.,[[[.,[[.,.],.]],.],.]],.]=>[3,4,2,5,6,1,7]=>[6,4,3,2,5,1,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,11),(3,14),(4,13),(5,15),(6,8),(7,13),(7,14),(9,15),(10,8),(11,10),(12,10),(13,9),(14,9),(15,11),(15,12)],16)
[[.,[[[[.,.],[.,.]],.],.]],.]=>[4,2,3,5,6,1,7]=>[6,3,4,2,5,1,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,10),(4,9),(5,11),(6,13),(7,12),(8,12),(9,14),(10,14),(12,13),(13,9),(13,10),(14,11)],15)
[[.,[[[[.,[.,.]],.],.],.]],.]=>[3,2,4,5,6,1,7]=>[6,3,2,4,5,1,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,11),(3,13),(4,14),(5,14),(6,8),(7,10),(7,13),(9,8),(10,15),(11,9),(12,9),(13,15),(14,10),(15,11),(15,12)],16)
[[.,[[[[[.,.],.],.],.],.]],.]=>[2,3,4,5,6,1,7]=>[6,2,3,4,5,1,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,13),(2,12),(3,15),(4,14),(5,8),(6,14),(6,17),(7,15),(7,17),(9,16),(10,16),(11,8),(12,11),(13,11),(14,9),(15,10),(16,12),(16,13),(17,9),(17,10)],18)
[[[.,.],[.,[.,[.,[.,.]]]]],.]=>[6,5,4,3,1,2,7]=>[2,6,1,3,4,5,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,12),(3,12),(4,9),(5,8),(6,10),(7,8),(7,9),(8,11),(9,11),(11,12),(12,10)],13)
[[[.,.],[.,[.,[[.,.],.]]]],.]=>[5,6,4,3,1,2,7]=>[2,6,1,3,5,4,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,11),(3,11),(4,11),(5,8),(6,8),(7,9),(8,10),(10,11),(11,9)],12)
[[[.,.],[.,[[.,.],[.,.]]]],.]=>[6,4,5,3,1,2,7]=>[2,6,1,5,3,4,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,11),(3,11),(4,11),(5,8),(6,8),(7,9),(8,10),(10,11),(11,9)],12)
[[[.,.],[.,[[.,[.,.]],.]]],.]=>[5,4,6,3,1,2,7]=>[2,6,1,5,4,3,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,12),(3,12),(4,9),(5,8),(6,10),(7,8),(7,9),(8,11),(9,11),(11,12),(12,10)],13)
[[[.,.],[.,[[[.,.],.],.]]],.]=>[4,5,6,3,1,2,7]=>[2,6,1,4,5,3,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,11),(3,11),(4,11),(5,8),(6,8),(7,9),(8,10),(10,11),(11,9)],12)
[[[.,.],[[.,.],[.,[.,.]]]],.]=>[6,5,3,4,1,2,7]=>[2,6,4,1,3,5,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,9),(4,9),(5,9),(6,9),(7,8),(9,8)],10)
[[[.,.],[[.,.],[[.,.],.]]],.]=>[5,6,3,4,1,2,7]=>[2,6,4,1,5,3,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,9),(4,9),(5,9),(6,9),(7,8),(9,8)],10)
[[[.,.],[[.,[.,.]],[.,.]]],.]=>[6,4,3,5,1,2,7]=>[2,6,5,3,1,4,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,10),(3,10),(4,10),(5,8),(6,8),(7,9),(8,10),(10,9)],11)
[[[.,.],[[[.,.],.],[.,.]]],.]=>[6,3,4,5,1,2,7]=>[2,6,4,5,1,3,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,11),(3,11),(4,11),(5,8),(6,8),(7,9),(8,10),(10,11),(11,9)],12)
[[[.,.],[[.,[.,[.,.]]],.]],.]=>[5,4,3,6,1,2,7]=>[2,6,5,3,4,1,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,8),(4,10),(5,13),(6,12),(7,8),(7,11),(8,14),(9,11),(11,14),(12,10),(13,12),(14,13)],15)
[[[.,.],[[.,[[.,.],.]],.]],.]=>[4,5,3,6,1,2,7]=>[2,6,5,4,3,1,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,13),(3,15),(4,14),(5,8),(6,14),(6,16),(7,15),(7,16),(9,12),(10,9),(11,9),(12,13),(13,8),(14,10),(15,11),(16,10),(16,11)],17)
[[[.,.],[[[.,.],[.,.]],.]],.]=>[5,3,4,6,1,2,7]=>[2,6,4,5,3,1,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,11),(4,10),(5,13),(6,9),(7,12),(8,10),(8,11),(10,14),(11,14),(12,9),(13,12),(14,13)],15)
[[[.,.],[[[.,[.,.]],.],.]],.]=>[4,3,5,6,1,2,7]=>[2,6,4,3,5,1,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,10),(4,11),(5,12),(6,13),(7,9),(8,13),(10,12),(11,10),(12,9),(13,11)],14)
[[[.,.],[[[[.,.],.],.],.]],.]=>[3,4,5,6,1,2,7]=>[2,6,3,4,5,1,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,8),(3,8),(3,9),(4,11),(5,12),(6,13),(7,10),(8,14),(9,14),(11,12),(12,10),(13,11),(14,13)],15)
[[[.,[.,.]],[.,[.,[.,.]]]],.]=>[6,5,4,2,1,3,7]=>[3,1,6,2,4,5,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,10),(3,10),(4,10),(5,8),(6,8),(7,9),(8,10),(10,9)],11)
[[[.,[.,.]],[.,[[.,.],.]]],.]=>[5,6,4,2,1,3,7]=>[3,1,6,2,5,4,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,10),(3,10),(4,10),(5,8),(6,8),(7,9),(8,10),(10,9)],11)
[[[.,[.,.]],[[.,.],[.,.]]],.]=>[6,4,5,2,1,3,7]=>[3,1,6,5,2,4,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,10),(3,10),(4,10),(5,8),(6,8),(7,9),(8,10),(10,9)],11)
[[[.,[.,.]],[[.,[.,.]],.]],.]=>[5,4,6,2,1,3,7]=>[3,1,6,5,4,2,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,12),(3,12),(4,9),(5,8),(6,10),(7,8),(7,9),(8,11),(9,11),(11,12),(12,10)],13)
[[[.,[.,.]],[[[.,.],.],.]],.]=>[4,5,6,2,1,3,7]=>[3,1,6,4,5,2,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,11),(3,11),(4,11),(5,8),(6,8),(7,9),(8,10),(10,11),(11,9)],12)
[[[[.,.],.],[.,[.,[.,.]]]],.]=>[6,5,4,1,2,3,7]=>[2,3,6,1,4,5,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(2,11),(3,9),(4,9),(5,8),(6,8),(7,10),(8,11),(9,11),(11,10)],12)
[[[[.,.],.],[.,[[.,.],.]]],.]=>[5,6,4,1,2,3,7]=>[2,3,6,1,5,4,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(2,11),(3,9),(4,9),(5,8),(6,8),(7,10),(8,11),(9,11),(11,10)],12)
[[[[.,.],.],[[.,.],[.,.]]],.]=>[6,4,5,1,2,3,7]=>[2,3,6,5,1,4,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(2,11),(3,9),(4,9),(5,8),(6,8),(7,10),(8,11),(9,11),(11,10)],12)
[[[[.,.],.],[[.,[.,.]],.]],.]=>[5,4,6,1,2,3,7]=>[2,3,6,5,4,1,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,14),(2,13),(3,15),(4,12),(5,8),(6,13),(6,14),(7,11),(7,15),(9,11),(10,12),(11,10),(12,8),(13,9),(14,9),(15,10)],16)
[[[[.,.],.],[[[.,.],.],.]],.]=>[4,5,6,1,2,3,7]=>[2,3,6,4,5,1,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,8),(4,10),(5,13),(6,12),(7,8),(7,11),(8,14),(9,12),(11,14),(12,11),(13,10),(14,13)],15)
[[[.,[.,[.,.]]],[.,[.,.]]],.]=>[6,5,3,2,1,4,7]=>[4,1,2,6,3,5,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,10),(3,10),(4,10),(5,8),(6,8),(7,9),(8,10),(10,9)],11)
[[[.,[.,[.,.]]],[[.,.],.]],.]=>[5,6,3,2,1,4,7]=>[4,1,2,6,5,3,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(2,11),(3,9),(4,9),(5,8),(6,8),(7,10),(8,11),(9,11),(11,10)],12)
[[[.,[[.,.],.]],[.,[.,.]]],.]=>[6,5,2,3,1,4,7]=>[4,3,1,6,2,5,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,10),(3,10),(4,10),(5,8),(6,8),(7,9),(8,10),(10,9)],11)
[[[.,[[.,.],.]],[[.,.],.]],.]=>[5,6,2,3,1,4,7]=>[4,3,1,6,5,2,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(2,11),(3,9),(4,9),(5,8),(6,8),(7,10),(8,11),(9,11),(11,10)],12)
[[[[.,.],[.,.]],[.,[.,.]]],.]=>[6,5,3,1,2,4,7]=>[2,4,1,6,3,5,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,9),(4,9),(5,9),(6,9),(7,8),(9,8)],10)
[[[[.,.],[.,.]],[[.,.],.]],.]=>[5,6,3,1,2,4,7]=>[2,4,1,6,5,3,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,10),(3,10),(4,10),(5,8),(6,8),(7,9),(8,10),(10,9)],11)
[[[[.,[.,.]],.],[.,[.,.]]],.]=>[6,5,2,1,3,4,7]=>[3,1,4,6,2,5,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,9),(4,9),(5,9),(6,9),(7,8),(9,8)],10)
[[[[.,[.,.]],.],[[.,.],.]],.]=>[5,6,2,1,3,4,7]=>[3,1,4,6,5,2,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,11),(3,11),(4,11),(5,8),(6,8),(7,9),(8,10),(10,11),(11,9)],12)
[[[[[.,.],.],.],[.,[.,.]]],.]=>[6,5,1,2,3,4,7]=>[2,3,4,6,1,5,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,12),(3,12),(4,9),(5,8),(6,10),(7,8),(7,9),(8,11),(9,11),(11,12),(12,10)],13)
[[[[[.,.],.],.],[[.,.],.]],.]=>[5,6,1,2,3,4,7]=>[2,3,4,6,5,1,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,14),(2,15),(3,15),(4,13),(5,8),(6,14),(6,16),(7,12),(7,16),(9,13),(10,9),(11,9),(12,11),(13,8),(14,10),(15,12),(16,10),(16,11)],17)
[[[.,[.,[.,[.,.]]]],[.,.]],.]=>[6,4,3,2,1,5,7]=>[5,1,2,3,6,4,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,12),(3,12),(4,9),(5,8),(6,10),(7,8),(7,9),(8,11),(9,11),(11,12),(12,10)],13)
[[[.,[.,[[.,.],.]]],[.,.]],.]=>[6,3,4,2,1,5,7]=>[5,1,4,2,6,3,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,9),(4,9),(5,9),(6,9),(7,8),(9,8)],10)
[[[.,[[.,.],[.,.]]],[.,.]],.]=>[6,4,2,3,1,5,7]=>[5,3,1,2,6,4,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,11),(3,11),(4,11),(5,8),(6,8),(7,9),(8,10),(10,11),(11,9)],12)
[[[.,[[.,[.,.]],.]],[.,.]],.]=>[6,3,2,4,1,5,7]=>[5,4,2,1,6,3,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(2,11),(3,9),(4,9),(5,8),(6,8),(7,10),(8,11),(9,11),(11,10)],12)
[[[.,[[[.,.],.],.]],[.,.]],.]=>[6,2,3,4,1,5,7]=>[5,3,4,1,6,2,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,11),(3,11),(4,11),(5,8),(6,8),(7,9),(8,10),(10,11),(11,9)],12)
[[[[.,.],[.,[.,.]]],[.,.]],.]=>[6,4,3,1,2,5,7]=>[2,5,1,3,6,4,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,9),(4,9),(5,9),(6,9),(7,8),(9,8)],10)
[[[[.,.],[[.,.],.]],[.,.]],.]=>[6,3,4,1,2,5,7]=>[2,5,4,1,6,3,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,10),(3,10),(4,10),(5,8),(6,8),(7,9),(8,10),(10,9)],11)
[[[[.,[.,.]],[.,.]],[.,.]],.]=>[6,4,2,1,3,5,7]=>[3,1,5,2,6,4,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,9),(4,9),(5,9),(6,9),(7,8),(9,8)],10)
[[[[[.,.],.],[.,.]],[.,.]],.]=>[6,4,1,2,3,5,7]=>[2,3,5,1,6,4,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,10),(3,10),(4,10),(5,8),(6,8),(7,9),(8,10),(10,9)],11)
[[[[.,[.,[.,.]]],.],[.,.]],.]=>[6,3,2,1,4,5,7]=>[4,1,2,5,6,3,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(2,11),(3,9),(4,9),(5,8),(6,8),(7,10),(8,11),(9,11),(11,10)],12)
[[[[.,[[.,.],.]],.],[.,.]],.]=>[6,2,3,1,4,5,7]=>[4,3,1,5,6,2,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(2,11),(3,9),(4,9),(5,8),(6,8),(7,10),(8,11),(9,11),(11,10)],12)
[[[[[.,.],[.,.]],.],[.,.]],.]=>[6,3,1,2,4,5,7]=>[2,4,1,5,6,3,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,10),(3,10),(4,10),(5,8),(6,8),(7,9),(8,10),(10,9)],11)
[[[[[.,[.,.]],.],.],[.,.]],.]=>[6,2,1,3,4,5,7]=>[3,1,4,5,6,2,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,12),(3,12),(4,9),(5,8),(6,10),(7,8),(7,9),(8,11),(9,11),(11,12),(12,10)],13)
[[[[[[.,.],.],.],.],[.,.]],.]=>[6,1,2,3,4,5,7]=>[2,3,4,5,6,1,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,14),(2,16),(3,15),(4,8),(5,15),(5,18),(6,16),(6,19),(7,18),(7,19),(9,11),(10,11),(11,14),(12,9),(13,10),(14,8),(15,12),(16,13),(17,9),(17,10),(18,12),(18,17),(19,13),(19,17)],20)
[[[.,[.,[.,[.,[.,.]]]]],.],.]=>[5,4,3,2,1,6,7]=>[5,1,2,3,4,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,16),(2,13),(3,15),(4,14),(5,12),(5,16),(6,14),(6,17),(7,15),(7,17),(9,13),(10,9),(11,9),(12,8),(13,12),(14,10),(15,11),(16,8),(17,10),(17,11)],18)
[[[.,[.,[.,[[.,.],.]]]],.],.]=>[4,5,3,2,1,6,7]=>[5,1,2,4,3,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,14),(2,12),(3,15),(4,15),(5,13),(6,11),(6,14),(7,10),(7,13),(9,12),(10,9),(11,8),(12,11),(13,9),(14,8),(15,10)],16)
[[[.,[.,[[.,.],[.,.]]]],.],.]=>[5,3,4,2,1,6,7]=>[5,1,4,2,3,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,8),(4,11),(5,12),(6,13),(7,8),(7,10),(8,14),(9,13),(10,14),(11,12),(12,10),(13,11)],15)
[[[.,[.,[[.,[.,.]],.]]],.],.]=>[4,3,5,2,1,6,7]=>[5,1,4,3,2,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,14),(2,13),(3,12),(4,15),(5,11),(6,13),(6,14),(7,10),(7,15),(9,12),(10,8),(11,10),(12,11),(13,9),(14,9),(15,8)],16)
[[[.,[.,[[[.,.],.],.]]],.],.]=>[3,4,5,2,1,6,7]=>[5,1,3,4,2,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,8),(4,11),(5,12),(6,13),(7,8),(7,10),(8,14),(9,13),(10,14),(11,12),(12,10),(13,11)],15)
[[[.,[[.,.],[.,[.,.]]]],.],.]=>[5,4,2,3,1,6,7]=>[5,3,1,2,4,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,8),(4,11),(5,12),(6,13),(7,8),(7,10),(8,14),(9,13),(10,14),(11,12),(12,10),(13,11)],15)
[[[.,[[.,.],[[.,.],.]]],.],.]=>[4,5,2,3,1,6,7]=>[5,3,1,4,2,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,12),(3,12),(4,12),(5,8),(6,9),(7,8),(7,10),(8,11),(9,10),(10,11),(12,9)],13)
[[[.,[[.,[.,.]],[.,.]]],.],.]=>[5,3,2,4,1,6,7]=>[5,4,2,1,3,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,14),(2,12),(3,15),(4,15),(5,13),(6,11),(6,14),(7,10),(7,13),(9,11),(10,9),(11,8),(12,10),(13,9),(14,8),(15,12)],16)
[[[.,[[[.,.],.],[.,.]]],.],.]=>[5,2,3,4,1,6,7]=>[5,3,4,1,2,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,13),(2,14),(3,14),(4,12),(5,15),(6,15),(7,11),(7,13),(9,11),(10,9),(11,8),(12,9),(13,8),(14,10),(15,10),(15,12)],16)
[[[.,[[.,[.,[.,.]]],.]],.],.]=>[4,3,2,5,1,6,7]=>[5,4,2,3,1,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,15),(2,13),(3,17),(4,17),(5,14),(6,12),(6,15),(7,14),(7,16),(9,12),(10,9),(11,9),(12,8),(13,10),(14,11),(15,8),(16,10),(16,11),(17,13),(17,16)],18)
[[[.,[[.,[[.,.],.]],.]],.],.]=>[3,4,2,5,1,6,7]=>[5,4,3,2,1,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,17),(2,16),(3,15),(4,14),(4,17),(5,15),(5,19),(6,16),(6,20),(7,19),(7,20),(9,14),(10,9),(11,9),(12,10),(13,11),(14,8),(15,12),(16,13),(17,8),(18,10),(18,11),(19,12),(19,18),(20,13),(20,18)],21)
[[[.,[[[.,.],[.,.]],.]],.],.]=>[4,2,3,5,1,6,7]=>[5,3,4,2,1,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,15),(2,13),(3,17),(4,17),(5,14),(6,12),(6,15),(7,14),(7,16),(9,12),(10,9),(11,9),(12,8),(13,10),(14,11),(15,8),(16,10),(16,11),(17,13),(17,16)],18)
[[[.,[[[.,[.,.]],.],.]],.],.]=>[3,2,4,5,1,6,7]=>[5,3,2,4,1,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,11),(3,13),(4,14),(5,14),(6,15),(7,10),(7,13),(9,10),(10,8),(11,9),(12,9),(13,8),(14,15),(15,11),(15,12)],16)
[[[.,[[[[.,.],.],.],.]],.],.]=>[2,3,4,5,1,6,7]=>[5,2,3,4,1,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,14),(2,13),(3,15),(4,12),(5,11),(6,13),(6,14),(7,10),(7,15),(9,10),(10,8),(11,9),(12,9),(13,16),(14,16),(15,8),(16,11),(16,12)],17)
[[[[.,.],[.,[.,[.,.]]]],.],.]=>[5,4,3,1,2,6,7]=>[2,5,1,3,4,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,12),(3,12),(4,8),(5,9),(6,9),(7,8),(7,10),(8,11),(9,12),(10,11),(12,10)],13)
[[[[.,.],[.,[[.,.],.]]],.],.]=>[4,5,3,1,2,6,7]=>[2,5,1,4,3,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,12),(3,12),(4,8),(5,9),(6,9),(7,8),(7,10),(8,11),(9,12),(10,11),(12,10)],13)
[[[[.,.],[[.,.],[.,.]]],.],.]=>[5,3,4,1,2,6,7]=>[2,5,4,1,3,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,12),(3,12),(4,8),(5,9),(6,9),(7,8),(7,10),(8,11),(9,12),(10,11),(12,10)],13)
[[[[.,.],[[.,[.,.]],.]],.],.]=>[4,3,5,1,2,6,7]=>[2,5,4,3,1,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,14),(2,13),(3,12),(4,15),(5,11),(6,13),(6,14),(7,10),(7,15),(9,12),(10,8),(11,10),(12,11),(13,9),(14,9),(15,8)],16)
[[[[.,.],[[[.,.],.],.]],.],.]=>[3,4,5,1,2,6,7]=>[2,5,3,4,1,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,8),(4,11),(5,12),(6,13),(7,8),(7,10),(8,14),(9,13),(10,14),(11,12),(12,10),(13,11)],15)
[[[[.,[.,.]],[.,[.,.]]],.],.]=>[5,4,2,1,3,6,7]=>[3,1,5,2,4,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(2,11),(3,11),(4,11),(5,11),(6,8),(7,8),(7,9),(8,10),(9,10),(11,9)],12)
[[[[.,[.,.]],[[.,.],.]],.],.]=>[4,5,2,1,3,6,7]=>[3,1,5,4,2,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,12),(3,12),(4,8),(5,9),(6,9),(7,8),(7,10),(8,11),(9,12),(10,11),(12,10)],13)
[[[[[.,.],.],[.,[.,.]]],.],.]=>[5,4,1,2,3,6,7]=>[2,3,5,1,4,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,12),(3,12),(4,8),(5,9),(6,9),(7,8),(7,10),(8,11),(9,12),(10,11),(12,10)],13)
[[[[[.,.],.],[[.,.],.]],.],.]=>[4,5,1,2,3,6,7]=>[2,3,5,4,1,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,14),(2,12),(3,15),(4,15),(5,13),(6,11),(6,14),(7,10),(7,13),(9,12),(10,9),(11,8),(12,11),(13,9),(14,8),(15,10)],16)
[[[[.,[.,[.,.]]],[.,.]],.],.]=>[5,3,2,1,4,6,7]=>[4,1,2,5,3,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,12),(3,12),(4,8),(5,9),(6,9),(7,8),(7,10),(8,11),(9,12),(10,11),(12,10)],13)
[[[[.,[[.,.],.]],[.,.]],.],.]=>[5,2,3,1,4,6,7]=>[4,3,1,5,2,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,12),(3,12),(4,8),(5,9),(6,9),(7,8),(7,10),(8,11),(9,12),(10,11),(12,10)],13)
[[[[[.,.],[.,.]],[.,.]],.],.]=>[5,3,1,2,4,6,7]=>[2,4,1,5,3,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(2,11),(3,11),(4,11),(5,11),(6,8),(7,8),(7,9),(8,10),(9,10),(11,9)],12)
[[[[[.,[.,.]],.],[.,.]],.],.]=>[5,2,1,3,4,6,7]=>[3,1,4,5,2,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,12),(3,12),(4,8),(5,9),(6,9),(7,8),(7,10),(8,11),(9,12),(10,11),(12,10)],13)
[[[[[[.,.],.],.],[.,.]],.],.]=>[5,1,2,3,4,6,7]=>[2,3,4,5,1,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,16),(2,13),(3,15),(4,14),(5,12),(5,16),(6,14),(6,17),(7,15),(7,17),(9,13),(10,9),(11,9),(12,8),(13,12),(14,10),(15,11),(16,8),(17,10),(17,11)],18)
[[[[.,[.,[.,[.,.]]]],.],.],.]=>[4,3,2,1,5,6,7]=>[4,1,2,3,5,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,13),(2,16),(3,15),(4,14),(5,15),(5,16),(6,12),(6,17),(7,14),(7,17),(9,13),(10,8),(11,8),(12,10),(13,12),(14,11),(15,9),(16,9),(17,10),(17,11)],18)
[[[[.,[.,[[.,.],.]]],.],.],.]=>[3,4,2,1,5,6,7]=>[4,1,3,2,5,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,13),(2,14),(3,15),(4,15),(5,12),(6,14),(6,16),(7,11),(7,16),(9,8),(10,8),(11,10),(12,13),(13,11),(14,9),(15,12),(16,9),(16,10)],17)
[[[[.,[[.,.],[.,.]]],.],.],.]=>[4,2,3,1,5,6,7]=>[4,3,1,2,5,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,16),(2,16),(3,14),(4,15),(5,13),(5,15),(6,12),(6,17),(7,14),(7,17),(9,12),(10,8),(11,8),(12,10),(13,9),(14,11),(15,9),(16,13),(17,10),(17,11)],18)
[[[[.,[[.,[.,.]],.]],.],.],.]=>[3,2,4,1,5,6,7]=>[4,3,2,1,5,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,16),(2,15),(3,17),(4,14),(4,19),(5,15),(5,18),(6,16),(6,18),(7,17),(7,19),(9,14),(10,9),(11,9),(12,8),(13,8),(14,12),(15,10),(16,11),(17,13),(18,10),(18,11),(19,12),(19,13)],20)
[[[[.,[[[.,.],.],.]],.],.],.]=>[2,3,4,1,5,6,7]=>[4,2,3,1,5,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,15),(2,17),(3,17),(4,14),(5,13),(6,15),(6,16),(7,12),(7,16),(9,12),(10,8),(11,8),(12,11),(13,9),(14,9),(15,10),(16,10),(16,11),(17,13),(17,14)],18)
[[[[[.,.],[.,[.,.]]],.],.],.]=>[4,3,1,2,5,6,7]=>[2,4,1,3,5,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,14),(2,14),(3,14),(4,14),(5,8),(6,8),(6,9),(7,9),(7,10),(8,11),(9,11),(9,12),(10,12),(11,13),(12,13),(14,10)],15)
[[[[[.,.],[[.,.],.]],.],.],.]=>[3,4,1,2,5,6,7]=>[2,4,3,1,5,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,13),(2,14),(3,15),(4,15),(5,12),(6,14),(6,16),(7,11),(7,16),(9,8),(10,8),(11,10),(12,13),(13,11),(14,9),(15,12),(16,9),(16,10)],17)
[[[[[.,[.,.]],[.,.]],.],.],.]=>[4,2,1,3,5,6,7]=>[3,1,4,2,5,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,14),(2,14),(3,14),(4,14),(5,8),(6,8),(6,9),(7,9),(7,10),(8,11),(9,11),(9,12),(10,12),(11,13),(12,13),(14,10)],15)
[[[[[[.,.],.],[.,.]],.],.],.]=>[4,1,2,3,5,6,7]=>[2,3,4,1,5,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,13),(2,16),(3,15),(4,14),(5,15),(5,16),(6,12),(6,17),(7,14),(7,17),(9,13),(10,8),(11,8),(12,10),(13,12),(14,11),(15,9),(16,9),(17,10),(17,11)],18)
[[[[[.,[.,[.,.]]],.],.],.],.]=>[3,2,1,4,5,6,7]=>[3,1,2,4,5,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,15),(2,16),(3,16),(4,14),(5,15),(5,18),(6,13),(6,19),(7,18),(7,19),(9,11),(10,12),(11,8),(12,8),(13,10),(14,13),(15,9),(16,14),(17,11),(17,12),(18,9),(18,17),(19,10),(19,17)],20)
[[[[[.,[[.,.],.]],.],.],.],.]=>[2,3,1,4,5,6,7]=>[3,2,1,4,5,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,17),(2,16),(3,15),(4,16),(4,17),(5,14),(5,19),(6,15),(6,20),(7,19),(7,20),(9,14),(10,12),(11,13),(12,8),(13,8),(14,10),(15,11),(16,9),(17,9),(18,12),(18,13),(19,10),(19,18),(20,11),(20,18)],21)
[[[[[[.,.],[.,.]],.],.],.],.]=>[3,1,2,4,5,6,7]=>[2,3,1,4,5,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,15),(2,16),(3,16),(4,14),(5,15),(5,18),(6,13),(6,19),(7,18),(7,19),(9,11),(10,12),(11,8),(12,8),(13,10),(14,13),(15,9),(16,14),(17,11),(17,12),(18,9),(18,17),(19,10),(19,17)],20)
[.,[.,[.,[.,[[.,[.,[.,.]]],.]]]]]=>[7,6,5,8,4,3,2,1]=>[8,1,2,3,7,5,6,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,17),(2,19),(3,19),(4,16),(5,15),(6,9),(7,17),(7,18),(8,14),(8,18),(10,14),(11,13),(12,13),(13,9),(14,12),(15,10),(16,10),(17,11),(18,11),(18,12),(19,15),(19,16)],20)
[.,[.,[.,[.,[[.,[[.,.],.]],.]]]]]=>[6,7,5,8,4,3,2,1]=>[8,1,2,3,7,6,5,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,18),(2,17),(3,19),(4,9),(5,16),(5,21),(6,17),(6,20),(7,18),(7,20),(8,19),(8,21),(10,16),(11,15),(12,10),(13,10),(14,15),(15,9),(16,11),(17,12),(18,13),(19,14),(20,12),(20,13),(21,11),(21,14)],22)
[.,[.,[.,[.,[[[.,.],[.,.]],.]]]]]=>[7,5,6,8,4,3,2,1]=>[8,1,2,3,6,7,5,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,18),(2,18),(3,16),(4,17),(5,9),(6,15),(6,17),(7,14),(7,19),(8,16),(8,19),(10,14),(11,13),(12,13),(13,9),(14,11),(15,10),(16,12),(17,10),(18,15),(19,11),(19,12)],20)
[.,[.,[.,[.,[[[.,[.,.]],.],.]]]]]=>[6,5,7,8,4,3,2,1]=>[8,1,2,3,6,5,7,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,15),(2,16),(3,17),(4,17),(5,14),(6,9),(7,16),(7,18),(8,13),(8,18),(10,12),(11,12),(12,9),(13,11),(14,15),(15,13),(16,10),(17,14),(18,10),(18,11)],19)
[.,[.,[.,[.,[[[[.,.],.],.],.]]]]]=>[5,6,7,8,4,3,2,1]=>[8,1,2,3,5,6,7,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,15),(2,18),(3,17),(4,16),(5,9),(6,17),(6,18),(7,14),(7,19),(8,16),(8,19),(10,15),(11,13),(12,13),(13,9),(14,11),(15,14),(16,12),(17,10),(18,10),(19,11),(19,12)],20)
[.,[.,[.,[[[.,.],.],[[.,.],.]]]]]=>[7,8,4,5,6,3,2,1]=>[8,1,2,5,6,3,7,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,12),(2,14),(3,14),(4,14),(5,9),(6,10),(7,10),(8,9),(8,11),(9,13),(10,14),(11,13),(13,12),(14,11)],15)
[.,[.,[.,[[[[.,.],.],[.,.]],.]]]]=>[7,4,5,6,8,3,2,1]=>[8,1,2,5,6,7,4,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,17),(2,16),(3,15),(4,18),(5,9),(6,13),(6,15),(7,14),(7,18),(8,16),(8,17),(10,14),(11,13),(12,9),(13,10),(14,12),(15,10),(16,11),(17,11),(18,12)],19)
[.,[.,[[.,.],[.,[[.,[.,.]],.]]]]]=>[7,6,8,5,3,4,2,1]=>[8,1,4,2,3,7,6,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,13),(2,16),(3,16),(4,15),(5,14),(6,17),(7,9),(8,14),(8,15),(10,11),(11,12),(12,9),(13,12),(14,10),(15,10),(16,17),(17,11),(17,13)],18)
[.,[.,[[.,.],[[.,.],[[.,.],.]]]]]=>[7,8,5,6,3,4,2,1]=>[8,1,4,2,6,3,7,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,10),(2,11),(3,11),(4,11),(5,11),(6,11),(7,11),(8,9),(9,10),(11,9)],12)
[.,[.,[[.,.],[[[[.,.],.],.],.]]]]=>[5,6,7,8,3,4,2,1]=>[8,1,4,2,5,6,7,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,12),(2,14),(3,14),(4,14),(5,10),(6,9),(7,11),(8,9),(8,10),(9,13),(10,13),(11,12),(13,14),(14,11)],15)
[.,[.,[[.,[.,[[.,.],[.,.]]]],.]]]=>[7,5,6,4,3,8,2,1]=>[8,1,7,3,6,4,5,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,9),(2,9),(3,12),(4,11),(5,10),(6,14),(7,15),(8,13),(9,14),(11,16),(12,16),(13,10),(14,15),(15,11),(15,12),(16,13)],17)
[.,[[.,.],[.,[[[[.,.],.],.],.]]]]=>[5,6,7,8,4,2,3,1]=>[8,3,1,2,5,6,7,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,12),(2,13),(3,14),(4,10),(5,9),(6,11),(7,11),(8,9),(8,10),(9,15),(10,15),(11,12),(12,16),(14,16),(15,14),(16,13)],17)
[.,[[.,.],[[.,.],[[.,.],[.,.]]]]]=>[8,6,7,4,5,2,3,1]=>[8,3,1,5,2,7,4,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,10),(2,10),(3,10),(4,10),(5,10),(6,10),(7,10),(8,9),(10,9)],11)
[.,[[.,.],[[.,.],[[.,[.,.]],.]]]]=>[7,6,8,4,5,2,3,1]=>[8,3,1,5,2,7,6,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,11),(2,11),(3,11),(4,11),(5,11),(6,9),(7,9),(8,10),(9,11),(11,10)],12)
[.,[[.,.],[[[.,.],.],[[.,.],.]]]]=>[7,8,4,5,6,2,3,1]=>[8,3,1,5,6,2,7,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,11),(2,11),(3,11),(4,11),(5,11),(6,9),(7,9),(8,10),(9,11),(11,10)],12)
[.,[[.,.],[[.,[[.,.],.]],[.,.]]]]=>[8,5,6,4,7,2,3,1]=>[8,3,1,7,6,4,2,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,11),(2,11),(3,11),(4,11),(5,11),(6,9),(7,9),(8,10),(9,11),(11,10)],12)
[.,[[.,.],[[.,[[.,.],[.,.]]],.]]]=>[7,5,6,4,8,2,3,1]=>[8,3,1,7,6,4,5,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,14),(2,14),(3,14),(4,9),(5,10),(6,10),(7,11),(8,9),(8,12),(9,13),(10,12),(12,13),(13,14),(14,11)],15)
[.,[[.,.],[[.,[[.,[.,.]],.]],.]]]=>[6,5,7,4,8,2,3,1]=>[8,3,1,7,6,5,4,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,16),(2,16),(3,16),(4,10),(5,9),(6,12),(7,9),(7,11),(8,10),(8,11),(9,13),(10,14),(11,13),(11,14),(13,15),(14,15),(15,16),(16,12)],17)
[.,[[.,[.,.]],[[[.,.],[.,.]],.]]]=>[7,5,6,8,3,2,4,1]=>[8,4,2,1,6,7,5,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,12),(2,13),(3,13),(4,9),(5,9),(6,10),(7,10),(8,11),(9,12),(10,13),(12,13),(13,11)],14)
[.,[[.,[.,.]],[[[[.,.],.],.],.]]]=>[5,6,7,8,3,2,4,1]=>[8,4,2,1,5,6,7,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,14),(2,14),(3,10),(4,9),(5,11),(6,11),(7,12),(8,9),(8,10),(9,13),(10,13),(11,14),(13,14),(14,12)],15)
[.,[[[.,.],.],[[.,[.,[.,.]]],.]]]=>[7,6,5,8,2,3,4,1]=>[8,3,4,1,7,5,6,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,12),(2,13),(3,13),(4,9),(5,9),(6,10),(7,10),(8,11),(9,12),(10,13),(12,13),(13,11)],14)
[.,[[[.,.],.],[[[[.,.],.],.],.]]]=>[5,6,7,8,2,3,4,1]=>[8,3,4,1,5,6,7,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,14),(2,14),(3,10),(4,9),(5,11),(6,11),(7,12),(8,9),(8,10),(9,13),(10,13),(11,14),(13,14),(14,12)],15)
[.,[[.,[[.,.],.]],[[.,.],[.,.]]]]=>[8,6,7,3,4,2,5,1]=>[8,5,4,2,1,7,3,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,12),(2,12),(3,12),(4,10),(5,10),(6,9),(7,9),(8,11),(9,12),(10,12),(12,11)],13)
[.,[[.,[[.,.],.]],[[.,[.,.]],.]]]=>[7,6,8,3,4,2,5,1]=>[8,5,4,2,1,7,6,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,13),(2,11),(3,11),(4,10),(5,10),(6,9),(7,9),(8,12),(9,13),(10,13),(11,13),(13,12)],14)
[.,[[.,[[.,.],[[.,.],.]]],[.,.]]]=>[8,5,6,3,4,2,7,1]=>[8,7,4,2,6,3,1,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,12),(2,12),(3,12),(4,12),(5,12),(6,12),(7,9),(8,9),(8,10),(9,11),(10,11),(12,10)],13)
[.,[[.,[[.,[.,[.,.]]],.]],[.,.]]]=>[8,5,4,3,6,2,7,1]=>[8,7,6,3,4,2,1,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,15),(2,18),(3,18),(4,16),(5,17),(6,14),(6,17),(7,13),(7,19),(8,16),(8,19),(10,15),(11,9),(12,9),(13,11),(14,10),(15,13),(16,12),(17,10),(18,14),(19,11),(19,12)],20)
[.,[[.,[[.,.],[[.,.],[.,.]]]],.]]=>[7,5,6,3,4,2,8,1]=>[8,7,4,2,6,3,5,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,15),(2,15),(3,15),(4,15),(5,15),(6,10),(7,9),(8,9),(8,11),(9,13),(10,12),(11,12),(11,13),(12,14),(13,14),(15,10),(15,11)],16)
[.,[[.,[[.,.],[[.,[.,.]],.]]],.]]=>[6,5,7,3,4,2,8,1]=>[8,7,4,2,6,5,3,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,16),(2,16),(3,16),(4,9),(5,10),(6,10),(7,11),(8,9),(8,12),(9,13),(10,16),(11,14),(12,13),(12,14),(13,15),(14,15),(16,11),(16,12)],17)
[.,[[[.,.],[.,[[.,.],[.,.]]]],.]]=>[7,5,6,4,2,3,8,1]=>[8,3,7,2,6,4,5,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,12),(2,14),(3,14),(4,14),(5,11),(6,10),(7,9),(8,9),(9,12),(10,13),(11,13),(12,14),(14,10),(14,11)],15)
[[.,.],[.,[.,[[[.,[.,.]],.],.]]]]=>[6,5,7,8,4,3,1,2]=>[2,8,1,3,6,5,7,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,9),(2,9),(3,13),(4,13),(5,13),(6,11),(7,12),(8,10),(9,12),(10,13),(11,10),(12,11)],14)
[[.,.],[.,[.,[[[[.,.],.],.],.]]]]=>[5,6,7,8,4,3,1,2]=>[2,8,1,3,5,6,7,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,12),(2,11),(3,14),(4,14),(5,14),(6,10),(7,9),(8,9),(8,10),(9,13),(10,13),(11,12),(12,14),(13,11)],15)
[[.,.],[.,[[.,.],[.,[[.,.],.]]]]]=>[7,8,6,4,5,3,1,2]=>[2,8,1,5,3,4,7,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,11),(2,13),(3,13),(4,13),(5,9),(6,9),(7,10),(8,10),(9,12),(10,11),(11,12),(12,13)],14)
[[.,.],[.,[[[.,.],.],[[.,.],.]]]]=>[7,8,4,5,6,3,1,2]=>[2,8,1,5,6,3,7,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,11),(2,11),(3,11),(4,10),(5,10),(6,10),(7,9),(8,9),(9,11),(11,10)],12)
[[.,.],[[.,.],[[.,.],[[.,.],.]]]]=>[7,8,5,6,3,4,1,2]=>[2,8,4,1,6,3,7,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,9),(2,9),(3,9),(4,9),(5,9),(6,9),(7,9),(8,9)],10)
[[.,.],[[.,.],[[[.,.],[.,.]],.]]]=>[7,5,6,8,3,4,1,2]=>[2,8,4,1,6,7,5,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,10),(2,11),(3,11),(4,11),(5,11),(6,11),(7,9),(8,9),(9,10),(10,11)],12)
[[.,.],[[.,.],[[[.,[.,.]],.],.]]]=>[6,5,7,8,3,4,1,2]=>[2,8,4,1,6,5,7,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,10),(2,11),(3,11),(4,11),(5,11),(6,11),(7,9),(8,9),(9,10),(10,11)],12)
[[.,.],[[.,.],[[[[.,.],.],.],.]]]=>[5,6,7,8,3,4,1,2]=>[2,8,4,1,5,6,7,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,12),(2,12),(3,12),(4,12),(5,12),(6,10),(7,9),(8,9),(8,10),(9,11),(10,11),(11,12)],13)
[[.,.],[[[.,[.,.]],.],[[.,.],.]]]=>[7,8,4,3,5,6,1,2]=>[2,8,5,3,6,1,7,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,9),(2,9),(3,9),(4,9),(5,9),(6,9),(7,9),(8,9)],10)
[[.,.],[[[[.,[.,[.,.]]],.],.],.]]=>[5,4,3,6,7,8,1,2]=>[2,8,5,3,4,6,7,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,10),(2,10),(3,9),(4,13),(5,14),(6,15),(7,11),(8,9),(8,12),(9,16),(10,14),(12,16),(13,11),(14,12),(15,13),(16,15)],17)
[[.,[.,.]],[.,[[.,.],[[.,.],.]]]]=>[7,8,5,6,4,2,1,3]=>[3,1,8,2,6,4,7,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,10),(2,10),(3,10),(4,10),(5,9),(6,9),(7,9),(8,9),(9,10)],11)
[[.,[.,.]],[.,[[[.,.],.],[.,.]]]]=>[8,5,6,7,4,2,1,3]=>[3,1,8,2,6,7,4,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,12),(2,12),(3,12),(4,12),(5,10),(6,10),(7,9),(8,9),(9,11),(10,11),(11,12)],13)
[[.,[.,.]],[.,[[[[.,.],.],.],.]]]=>[5,6,7,8,4,2,1,3]=>[3,1,8,2,5,6,7,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,11),(2,13),(3,13),(4,13),(5,13),(6,10),(7,9),(8,9),(8,10),(9,12),(10,12),(11,13),(12,11)],14)
[[.,[.,.]],[[[.,.],.],[[.,.],.]]]=>[7,8,4,5,6,2,1,3]=>[3,1,8,5,6,2,7,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,10),(2,10),(3,10),(4,10),(5,10),(6,10),(7,9),(8,9),(9,10)],11)
[[.,[.,.]],[[[.,.],[.,[.,.]]],.]]=>[7,6,4,5,8,2,1,3]=>[3,1,8,5,7,4,6,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,11),(2,11),(3,11),(4,10),(5,10),(6,10),(7,10),(8,9),(9,11),(10,9)],12)
[[[.,.],.],[.,[.,[.,[[.,.],.]]]]]=>[7,8,6,5,4,1,2,3]=>[2,3,8,1,4,5,7,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,14),(2,14),(3,9),(4,10),(5,10),(6,11),(7,11),(8,9),(8,12),(9,13),(10,12),(11,14),(12,13),(13,14)],15)
[[[.,.],.],[.,[[.,.],[[.,.],.]]]]=>[7,8,5,6,4,1,2,3]=>[2,3,8,1,6,4,7,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,11),(2,11),(3,10),(4,10),(5,10),(6,10),(7,9),(8,9),(9,11),(10,11)],12)
[[[.,.],.],[.,[[[[.,.],.],.],.]]]=>[5,6,7,8,4,1,2,3]=>[2,3,8,1,5,6,7,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,12),(2,14),(3,14),(4,10),(5,9),(6,11),(7,11),(8,9),(8,10),(9,13),(10,13),(11,14),(12,14),(13,12)],15)
[[[.,.],.],[[.,.],[.,[[.,.],.]]]]=>[7,8,6,4,5,1,2,3]=>[2,3,8,5,1,4,7,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,11),(2,11),(3,11),(4,11),(5,10),(6,10),(7,9),(8,9),(9,11),(10,11)],12)
[[[.,.],.],[[.,[.,.]],[[.,.],.]]]=>[7,8,5,4,6,1,2,3]=>[2,3,8,6,4,1,7,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,10),(2,10),(3,10),(4,10),(5,10),(6,10),(7,9),(8,9),(9,10)],11)
[[.,[.,[.,.]]],[[.,.],[[.,.],.]]]=>[7,8,5,6,3,2,1,4]=>[4,1,2,8,6,3,7,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,10),(2,10),(3,10),(4,10),(5,10),(6,10),(7,9),(8,9),(9,10)],11)
[[.,[.,[.,.]]],[[.,[.,[.,.]]],.]]=>[7,6,5,8,3,2,1,4]=>[4,1,2,8,7,5,6,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,14),(2,14),(3,9),(4,10),(5,10),(6,11),(7,11),(8,9),(8,12),(9,13),(10,12),(11,14),(12,13),(13,14)],15)
[[.,[.,[.,.]]],[[[[.,.],.],.],.]]=>[5,6,7,8,3,2,1,4]=>[4,1,2,8,5,6,7,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,12),(2,14),(3,14),(4,10),(5,9),(6,11),(7,11),(8,9),(8,10),(9,13),(10,13),(11,14),(12,14),(13,12)],15)
[[.,[[.,.],.]],[[[[.,.],.],.],.]]=>[5,6,7,8,2,3,1,4]=>[4,3,1,8,5,6,7,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,12),(2,14),(3,14),(4,10),(5,9),(6,11),(7,11),(8,9),(8,10),(9,13),(10,13),(11,14),(12,14),(13,12)],15)
[[[.,.],[.,.]],[[[[.,.],.],.],.]]=>[5,6,7,8,3,1,2,4]=>[2,4,1,8,5,6,7,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,11),(2,13),(3,13),(4,13),(5,13),(6,10),(7,9),(8,9),(8,10),(9,12),(10,12),(11,13),(12,11)],14)
[[[.,[.,.]],.],[[.,.],[[.,.],.]]]=>[7,8,5,6,2,1,3,4]=>[3,1,4,8,6,2,7,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,9),(2,9),(3,9),(4,9),(5,9),(6,9),(7,9),(8,9)],10)
[[[.,[.,.]],.],[[[.,[.,.]],.],.]]=>[6,5,7,8,2,1,3,4]=>[3,1,4,8,6,5,7,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,9),(2,9),(3,13),(4,13),(5,13),(6,11),(7,12),(8,10),(9,12),(10,13),(11,10),(12,11)],14)
[[[.,[.,.]],.],[[[[.,.],.],.],.]]=>[5,6,7,8,2,1,3,4]=>[3,1,4,8,5,6,7,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,12),(2,11),(3,14),(4,14),(5,14),(6,10),(7,9),(8,9),(8,10),(9,13),(10,13),(11,12),(12,14),(13,11)],15)
[[[[.,.],.],.],[.,[.,[.,[.,.]]]]]=>[8,7,6,5,1,2,3,4]=>[2,3,4,8,1,5,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,15),(2,15),(3,10),(4,9),(5,12),(6,11),(7,11),(7,12),(8,9),(8,10),(9,13),(10,13),(11,14),(12,14),(13,15),(14,15)],16)
[[[[.,.],.],.],[.,[.,[[.,.],.]]]]=>[7,8,6,5,1,2,3,4]=>[2,3,4,8,1,5,7,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,12),(2,14),(3,14),(4,10),(5,9),(6,11),(7,11),(8,9),(8,10),(9,13),(10,13),(11,12),(12,14),(13,14)],15)
[[[[.,.],.],.],[.,[[.,.],[.,.]]]]=>[8,6,7,5,1,2,3,4]=>[2,3,4,8,1,7,5,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,12),(2,14),(3,14),(4,10),(5,9),(6,11),(7,11),(8,9),(8,10),(9,13),(10,13),(11,12),(12,14),(13,14)],15)
[[[[.,.],.],.],[.,[[.,[.,.]],.]]]=>[7,6,8,5,1,2,3,4]=>[2,3,4,8,1,7,6,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,15),(2,15),(3,10),(4,9),(5,12),(6,11),(7,11),(7,12),(8,9),(8,10),(9,13),(10,13),(11,14),(12,14),(13,15),(14,15)],16)
[[[[.,.],.],.],[.,[[[.,.],.],.]]]=>[6,7,8,5,1,2,3,4]=>[2,3,4,8,1,6,7,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,12),(2,14),(3,14),(4,10),(5,9),(6,11),(7,11),(8,9),(8,10),(9,13),(10,13),(11,12),(12,14),(13,14)],15)
[[[[.,.],.],.],[[.,.],[.,[.,.]]]]=>[8,7,5,6,1,2,3,4]=>[2,3,4,8,6,1,5,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,12),(2,12),(3,12),(4,12),(5,12),(6,10),(7,9),(8,9),(8,10),(9,11),(10,11),(11,12)],13)
[[[[.,.],.],.],[[.,.],[[.,.],.]]]=>[7,8,5,6,1,2,3,4]=>[2,3,4,8,6,1,7,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,12),(2,12),(3,12),(4,12),(5,12),(6,10),(7,9),(8,9),(8,10),(9,11),(10,11),(11,12)],13)
[[[[.,.],.],.],[[.,[.,.]],[.,.]]]=>[8,6,5,7,1,2,3,4]=>[2,3,4,8,7,5,1,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,13),(2,13),(3,13),(4,10),(5,9),(6,11),(7,11),(8,9),(8,10),(9,12),(10,12),(11,13),(12,13)],14)
[[[[.,.],.],.],[[[.,.],.],[.,.]]]=>[8,5,6,7,1,2,3,4]=>[2,3,4,8,6,7,1,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,12),(2,14),(3,14),(4,10),(5,9),(6,11),(7,11),(8,9),(8,10),(9,13),(10,13),(11,12),(12,14),(13,14)],15)
[[[[.,.],.],.],[[.,[.,[.,.]]],.]]=>[7,6,5,8,1,2,3,4]=>[2,3,4,8,7,5,6,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,18),(2,18),(3,16),(4,17),(5,9),(6,15),(6,17),(7,14),(7,19),(8,16),(8,19),(10,14),(11,13),(12,13),(13,9),(14,11),(15,10),(16,12),(17,10),(18,15),(19,11),(19,12)],20)
[[[[.,.],.],.],[[.,[[.,.],.]],.]]=>[6,7,5,8,1,2,3,4]=>[2,3,4,8,7,6,5,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,18),(2,17),(3,19),(4,9),(5,16),(5,21),(6,17),(6,20),(7,18),(7,20),(8,19),(8,21),(10,16),(11,15),(12,10),(13,10),(14,15),(15,9),(16,11),(17,12),(18,13),(19,14),(20,12),(20,13),(21,11),(21,14)],22)
[[[[.,.],.],.],[[[.,.],[.,.]],.]]=>[7,5,6,8,1,2,3,4]=>[2,3,4,8,6,7,5,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,17),(2,19),(3,19),(4,16),(5,15),(6,9),(7,17),(7,18),(8,14),(8,18),(10,14),(11,13),(12,13),(13,9),(14,12),(15,10),(16,10),(17,11),(18,11),(18,12),(19,15),(19,16)],20)
[[[[.,.],.],.],[[[.,[.,.]],.],.]]=>[6,5,7,8,1,2,3,4]=>[2,3,4,8,6,5,7,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,15),(2,16),(3,17),(4,17),(5,14),(6,9),(7,16),(7,18),(8,13),(8,18),(10,12),(11,12),(12,9),(13,11),(14,15),(15,13),(16,10),(17,14),(18,10),(18,11)],19)
[[[[.,.],.],.],[[[[.,.],.],.],.]]=>[5,6,7,8,1,2,3,4]=>[2,3,4,8,5,6,7,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,15),(2,18),(3,17),(4,16),(5,9),(6,17),(6,18),(7,14),(7,19),(8,16),(8,19),(10,15),(11,13),(12,13),(13,9),(14,11),(15,14),(16,12),(17,10),(18,10),(19,11),(19,12)],20)
[[.,[.,[.,[.,.]]]],[[.,[.,.]],.]]=>[7,6,8,4,3,2,1,5]=>[5,1,2,3,8,7,6,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,15),(2,15),(3,10),(4,9),(5,12),(6,11),(7,11),(7,12),(8,9),(8,10),(9,13),(10,13),(11,14),(12,14),(13,15),(14,15)],16)
[[.,[.,[.,[.,.]]]],[[[.,.],.],.]]=>[6,7,8,4,3,2,1,5]=>[5,1,2,3,8,6,7,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,12),(2,14),(3,14),(4,10),(5,9),(6,11),(7,11),(8,9),(8,10),(9,13),(10,13),(11,12),(12,14),(13,14)],15)
[[.,[.,[[.,.],.]]],[.,[.,[.,.]]]]=>[8,7,6,3,4,2,1,5]=>[5,1,4,2,8,3,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,10),(2,10),(3,10),(4,10),(5,10),(6,10),(7,9),(8,9),(9,10)],11)
[[.,[.,[[.,.],.]]],[.,[[.,.],.]]]=>[7,8,6,3,4,2,1,5]=>[5,1,4,2,8,3,7,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,10),(2,10),(3,10),(4,10),(5,10),(6,10),(7,9),(8,9),(9,10)],11)
[[[.,[.,.]],[.,.]],[.,[.,[.,.]]]]=>[8,7,6,4,2,1,3,5]=>[3,1,5,2,8,4,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,10),(2,10),(3,10),(4,10),(5,10),(6,10),(7,9),(8,9),(9,10)],11)
[[[.,[.,.]],[.,.]],[.,[[.,.],.]]]=>[7,8,6,4,2,1,3,5]=>[3,1,5,2,8,4,7,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,10),(2,10),(3,10),(4,10),(5,10),(6,10),(7,9),(8,9),(9,10)],11)
[[[.,[.,.]],[.,.]],[[[.,.],.],.]]=>[6,7,8,4,2,1,3,5]=>[3,1,5,2,8,6,7,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,10),(2,11),(3,11),(4,11),(5,11),(6,11),(7,9),(8,9),(9,10),(10,11)],12)
[[.,[[.,[.,.]],[.,.]]],[.,[.,.]]]=>[8,7,5,3,2,4,1,6]=>[6,4,2,1,3,8,5,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,9),(2,9),(3,12),(4,12),(5,12),(6,12),(7,10),(8,11),(9,11),(10,12),(11,10)],13)
[[.,[[.,[.,.]],[.,.]]],[[.,.],.]]=>[7,8,5,3,2,4,1,6]=>[6,4,2,1,3,8,7,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,12),(2,11),(3,13),(4,13),(5,9),(6,9),(7,10),(8,10),(9,11),(10,13),(11,12),(12,13)],14)
[[.,[[[.,.],.],[.,.]]],[[.,.],.]]=>[7,8,5,2,3,4,1,6]=>[6,3,4,1,2,8,7,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,13),(2,13),(3,10),(4,10),(5,9),(6,9),(7,11),(8,11),(9,12),(10,12),(11,13),(12,13)],14)
[[[.,.],[[.,.],[.,.]]],[[.,.],.]]=>[7,8,5,3,4,1,2,6]=>[2,6,4,1,3,8,7,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,10),(2,10),(3,10),(4,10),(5,10),(6,10),(7,9),(8,9),(9,10)],11)
[[[.,[.,.]],[.,[.,.]]],[[.,.],.]]=>[7,8,5,4,2,1,3,6]=>[3,1,6,2,4,8,7,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,10),(2,10),(3,10),(4,10),(5,10),(6,10),(7,9),(8,9),(9,10)],11)
[[[[.,.],.],[.,[.,.]]],[[.,.],.]]=>[7,8,5,4,1,2,3,6]=>[2,3,6,1,4,8,7,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,11),(2,11),(3,11),(4,11),(5,10),(6,10),(7,9),(8,9),(9,11),(10,11)],12)
[[[.,[.,[.,.]]],[.,.]],[.,[.,.]]]=>[8,7,5,3,2,1,4,6]=>[4,1,2,6,3,8,5,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,10),(2,10),(3,10),(4,10),(5,10),(6,10),(7,9),(8,9),(9,10)],11)
[[[.,[.,[.,.]]],[.,.]],[[.,.],.]]=>[7,8,5,3,2,1,4,6]=>[4,1,2,6,3,8,7,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,11),(2,11),(3,11),(4,11),(5,10),(6,10),(7,9),(8,9),(9,11),(10,11)],12)
[[[.,[.,[.,[.,.]]]],.],[[.,.],.]]=>[7,8,4,3,2,1,5,6]=>[5,1,2,3,6,8,7,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,12),(2,14),(3,14),(4,10),(5,9),(6,11),(7,11),(8,9),(8,10),(9,13),(10,13),(11,12),(12,14),(13,14)],15)
[[[[.,[.,[.,.]]],.],.],[[.,.],.]]=>[7,8,3,2,1,4,5,6]=>[4,1,2,5,6,8,7,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,14),(2,14),(3,9),(4,10),(5,10),(6,11),(7,11),(8,9),(8,12),(9,13),(10,12),(11,14),(12,13),(13,14)],15)
[[.,[.,[[.,.],[[.,.],.]]]],[.,.]]=>[8,5,6,3,4,2,1,7]=>[7,1,4,2,6,3,8,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,9),(2,9),(3,9),(4,9),(5,9),(6,9),(7,9),(8,9)],10)
[[.,[[[.,.],.],[[.,.],.]]],[.,.]]=>[8,5,6,2,3,4,1,7]=>[7,3,4,1,6,2,8,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,10),(2,10),(3,10),(4,10),(5,10),(6,10),(7,9),(8,9),(9,10)],11)
[[[.,[.,.]],[.,[[.,.],.]]],[.,.]]=>[8,5,6,4,2,1,3,7]=>[3,1,7,2,6,4,8,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,9),(2,9),(3,9),(4,9),(5,9),(6,9),(7,9),(8,9)],10)
[[[.,[.,[.,.]]],[[.,.],.]],[.,.]]=>[8,5,6,3,2,1,4,7]=>[4,1,2,7,6,3,8,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,11),(2,11),(3,11),(4,11),(5,10),(6,10),(7,9),(8,9),(9,11),(10,11)],12)
[[[.,[.,[[.,.],.]]],[.,.]],[.,.]]=>[8,6,3,4,2,1,5,7]=>[5,1,4,2,7,3,8,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,9),(2,9),(3,9),(4,9),(5,9),(6,9),(7,9),(8,9)],10)
[[[[.,[.,.]],[.,.]],[.,.]],[.,.]]=>[8,6,4,2,1,3,5,7]=>[3,1,5,2,7,4,8,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,9),(2,9),(3,9),(4,9),(5,9),(6,9),(7,9),(8,9)],10)
[[[[.,.],[[.,.],[.,.]]],.],[.,.]]=>[8,5,3,4,1,2,6,7]=>[2,6,4,1,3,7,8,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,10),(2,10),(3,10),(4,10),(5,10),(6,10),(7,9),(8,9),(9,10)],11)
[[[[.,[.,[.,[.,.]]]],.],.],[.,.]]=>[8,4,3,2,1,5,6,7]=>[5,1,2,3,6,7,8,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,15),(2,15),(3,10),(4,9),(5,12),(6,11),(7,11),(7,12),(8,9),(8,10),(9,13),(10,13),(11,14),(12,14),(13,15),(14,15)],16)
[[.,[[.,.],[[.,.],[[.,.],.]]]],.]=>[6,7,4,5,2,3,1,8]=>[7,3,1,5,2,6,4,8]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,10),(2,11),(3,11),(4,11),(5,11),(6,11),(7,11),(8,9),(9,10),(11,9)],12)
[[[[.,[.,.]],[.,.]],[.,[.,.]]],.]=>[7,6,4,2,1,3,5,8]=>[3,1,5,2,7,4,6,8]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,10),(2,10),(3,10),(4,10),(5,10),(6,10),(7,10),(8,9),(10,9)],11)
[[[[.,[[.,.],.]],.],[.,[.,.]]],.]=>[7,6,2,3,1,4,5,8]=>[4,3,1,5,7,2,6,8]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,11),(2,11),(3,11),(4,11),(5,11),(6,9),(7,9),(8,10),(9,11),(11,10)],12)
[[[.,[[[.,.],.],[.,.]]],[.,.]],.]=>[7,5,2,3,4,1,6,8]=>[6,3,4,1,2,7,5,8]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,13),(2,13),(3,13),(4,10),(5,10),(6,9),(7,9),(8,11),(9,12),(10,12),(12,13),(13,11)],14)
[[[.,[[.,[.,.]],[[.,.],.]]],.],.]=>[5,6,3,2,4,1,7,8]=>[6,4,2,1,5,3,7,8]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,14),(2,14),(3,14),(4,9),(5,10),(6,10),(7,11),(8,9),(8,12),(9,13),(10,14),(11,12),(12,13),(14,11)],15)
Map
to 132-avoiding permutation
Description
Return a 132-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 maximal element of the 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 maximal element of the Sylvester class.
Map
first fundamental transformation
Description
Return the permutation whose cycles are the subsequences between successive left to right maxima.
Map
lattice of intervals
Description
The lattice of intervals of a permutation.
An interval of a permutation $\pi$ is a possibly empty interval of values that appear in consecutive positions of $\pi$. The lattice of intervals of $\pi$ has as elements the intervals of $\pi$, ordered by set inclusion.
An interval of a permutation $\pi$ is a possibly empty interval of values that appear in consecutive positions of $\pi$. The lattice of intervals of $\pi$ has as elements the intervals of $\pi$, ordered by set inclusion.
searching the database
Sorry, this map was not found in the database.