Identifier
Mp00014: Binary trees to 132-avoiding permutationPermutations
Mp00235: Permutations descent views to invisible inversion bottomsPermutations
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]=>[2,3,1]=>([(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]=>[3,1,2]=>([(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]=>[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,4,2,1]=>[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,3,1]=>[3,4,2,1]=>([(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]=>[3,1,4,2]=>([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6) [[.,.],[[.,.],.]]=>[3,4,1,2]=>[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,1,3]=>[2,4,1,3]=>([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6) [[[.,.],.],[.,.]]=>[4,1,2,3]=>[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,2,1,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,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]=>[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,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]=>[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,5,3,2,1]=>[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,4,2,1]=>[2,4,5,3,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) [.,[.,[[.,[.,.]],.]]]=>[4,3,5,2,1]=>[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,2,1]=>[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,3,1]=>[3,4,2,5,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) [.,[[.,.],[[.,.],.]]]=>[4,5,2,3,1]=>[3,5,2,4,1]=>([(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]=>[4,3,5,2,1]=>([(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]=>[4,5,2,3,1]=>([(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,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,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,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,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]=>[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) [[.,.],[.,[[.,.],.]]]=>[4,5,3,1,2]=>[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,3,4,1,2]=>[4,1,5,3,2]=>([(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]=>[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,1,2]=>[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,1,3]=>[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) [[.,[.,.]],[[.,.],.]]=>[4,5,2,1,3]=>[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,4,1,2,3]=>[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) [[[.,.],.],[[.,.],.]]=>[4,5,1,2,3]=>[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,2,1,4]=>[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) [[.,[[.,.],.]],[.,.]]=>[5,2,3,1,4]=>[3,5,2,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) [[[.,.],[.,.]],[.,.]]=>[5,3,1,2,4]=>[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) [[[.,[.,.]],.],[.,.]]=>[5,2,1,3,4]=>[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) [[[[.,.],.],.],[.,.]]=>[5,1,2,3,4]=>[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,3,2,1,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,4,2,1,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,3,1,5]=>[3,4,2,1,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]=>[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) [[[.,.],[[.,.],.]],.]=>[3,4,1,2,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,1,3,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) [[[[.,.],.],[.,.]],.]=>[4,1,2,3,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,2,1,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,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]=>[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,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]=>[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,6,4,3,2,1]=>[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,5,3,2,1]=>[2,3,5,6,4,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) [.,[.,[.,[[.,[.,.]],.]]]]=>[5,4,6,3,2,1]=>[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,3,2,1]=>[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,4,2,1]=>[2,4,5,3,6,1]=>([(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]=>[2,4,6,3,5,1]=>([(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]=>[2,5,4,6,3,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) [.,[.,[[[.,.],.],[.,.]]]]=>[6,3,4,5,2,1]=>[2,5,6,3,4,1]=>([(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]=>[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,5,3,6,2,1]=>[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,2,1]=>[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,3,5,6,2,1]=>[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,2,1]=>[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,3,1]=>[3,4,2,5,6,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) [.,[[.,.],[.,[[.,.],.]]]]=>[5,6,4,2,3,1]=>[3,4,2,6,5,1]=>([(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]=>[3,5,2,6,4,1]=>([(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]=>[3,6,2,5,4,1]=>([(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]=>[3,6,2,4,5,1]=>([(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]=>[4,3,5,2,6,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) [.,[[.,[.,.]],[[.,.],.]]]=>[5,6,3,2,4,1]=>[4,3,6,2,5,1]=>([(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]=>[4,5,2,3,6,1]=>([(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]=>[4,6,2,3,5,1]=>([(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]=>[5,3,4,6,2,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),(10,9),(11,10)],13) [.,[[.,[[.,.],.]],[.,.]]]=>[6,3,4,2,5,1]=>[5,4,6,3,2,1]=>([(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]=>[5,4,2,6,3,1]=>([(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]=>[5,3,6,2,4,1]=>([(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]=>[5,6,2,3,4,1]=>([(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,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,5,3,2,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,4,2,6,1]=>[6,4,5,3,2,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,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) [.,[[[.,.],[[.,.],.]],.]]=>[4,5,2,3,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,2,4,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) [.,[[[[.,.],.],[.,.]],.]]=>[5,2,3,4,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,3,2,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,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,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,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]=>[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) [[.,.],[.,[.,[[.,.],.]]]]=>[5,6,4,3,1,2]=>[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,4,5,3,1,2]=>[3,1,5,6,4,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) [[.,.],[.,[[.,[.,.]],.]]]=>[5,4,6,3,1,2]=>[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,3,1,2]=>[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,3,4,1,2]=>[4,1,5,3,6,2]=>([(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]=>[4,1,6,3,5,2]=>([(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]=>[5,1,4,6,3,2]=>([(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]=>[5,1,6,3,4,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) [[.,.],[[.,[.,[.,.]]],.]]=>[5,4,3,6,1,2]=>[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,5,3,6,1,2]=>[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,1,2]=>[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,3,5,6,1,2]=>[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,1,2]=>[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,1,3]=>[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) [[.,[.,.]],[.,[[.,.],.]]]=>[5,6,4,2,1,3]=>[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,4,5,2,1,3]=>[2,5,1,6,4,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) [[.,[.,.]],[[.,[.,.]],.]]=>[5,4,6,2,1,3]=>[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,2,1,3]=>[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,4,1,2,3]=>[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) [[[.,.],.],[.,[[.,.],.]]]=>[5,6,4,1,2,3]=>[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,4,5,1,2,3]=>[5,1,2,6,4,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) [[[.,.],.],[[.,[.,.]],.]]=>[5,4,6,1,2,3]=>[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,1,2,3]=>[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,2,1,4]=>[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) [[.,[.,[.,.]]],[[.,.],.]]=>[5,6,3,2,1,4]=>[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,5,2,3,1,4]=>[3,5,2,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) [[.,[[.,.],.]],[[.,.],.]]=>[5,6,2,3,1,4]=>[3,6,2,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,5,3,1,2,4]=>[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) [[[.,.],[.,.]],[[.,.],.]]=>[5,6,3,1,2,4]=>[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,5,2,1,3,4]=>[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) [[[.,[.,.]],.],[[.,.],.]]=>[5,6,2,1,3,4]=>[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,5,1,2,3,4]=>[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) [[[[.,.],.],.],[[.,.],.]]=>[5,6,1,2,3,4]=>[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,3,2,1,5]=>[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) [[.,[.,[[.,.],.]]],[.,.]]=>[6,3,4,2,1,5]=>[2,4,6,3,1,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) [[.,[[.,.],[.,.]]],[.,.]]=>[6,4,2,3,1,5]=>[3,4,2,6,1,5]=>([(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]=>[4,3,6,2,1,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) [[.,[[[.,.],.],.]],[.,.]]=>[6,2,3,4,1,5]=>[4,6,2,3,1,5]=>([(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]=>[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) [[[.,.],[[.,.],.]],[.,.]]=>[6,3,4,1,2,5]=>[4,1,6,3,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) [[[.,[.,.]],[.,.]],[.,.]]=>[6,4,2,1,3,5]=>[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) [[[[.,.],.],[.,.]],[.,.]]=>[6,4,1,2,3,5]=>[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) [[[.,[.,[.,.]]],.],[.,.]]=>[6,3,2,1,4,5]=>[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) [[[.,[[.,.],.]],.],[.,.]]=>[6,2,3,1,4,5]=>[3,6,2,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) [[[[.,.],[.,.]],.],[.,.]]=>[6,3,1,2,4,5]=>[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) [[[[.,[.,.]],.],.],[.,.]]=>[6,2,1,3,4,5]=>[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) [[[[[.,.],.],.],.],[.,.]]=>[6,1,2,3,4,5]=>[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,4,3,2,1,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,5,3,2,1,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,4,2,1,6]=>[2,4,5,3,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) [[.,[.,[[.,[.,.]],.]]],.]=>[4,3,5,2,1,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,2,1,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,3,1,6]=>[3,4,2,5,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) [[.,[[.,.],[[.,.],.]]],.]=>[4,5,2,3,1,6]=>[3,5,2,4,1,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]=>[4,3,5,2,1,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]=>[4,5,2,3,1,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,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,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,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,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]=>[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) [[[.,.],[.,[[.,.],.]]],.]=>[4,5,3,1,2,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,3,4,1,2,6]=>[4,1,5,3,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) [[[.,.],[[.,[.,.]],.]],.]=>[4,3,5,1,2,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,1,2,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,1,3,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) [[[.,[.,.]],[[.,.],.]],.]=>[4,5,2,1,3,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,4,1,2,3,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) [[[[.,.],.],[[.,.],.]],.]=>[4,5,1,2,3,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,2,1,4,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) [[[.,[[.,.],.]],[.,.]],.]=>[5,2,3,1,4,6]=>[3,5,2,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) [[[[.,.],[.,.]],[.,.]],.]=>[5,3,1,2,4,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) [[[[.,[.,.]],.],[.,.]],.]=>[5,2,1,3,4,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) [[[[[.,.],.],.],[.,.]],.]=>[5,1,2,3,4,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,3,2,1,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,4,2,1,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,3,1,5,6]=>[3,4,2,1,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]=>[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) [[[[.,.],[[.,.],.]],.],.]=>[3,4,1,2,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,1,3,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) [[[[[.,.],.],[.,.]],.],.]=>[4,1,2,3,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,2,1,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,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]=>[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,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]=>[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,6,4,3,2,1]=>[2,3,4,6,7,5,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) [.,[.,[.,[.,[[.,[.,.]],.]]]]]=>[6,5,7,4,3,2,1]=>[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,4,3,2,1]=>[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,5,3,2,1]=>[2,3,5,6,4,7,1]=>([(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]=>[2,3,5,7,4,6,1]=>([(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]=>[2,3,6,5,7,4,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) [.,[.,[.,[[[.,.],.],[.,.]]]]]=>[7,4,5,6,3,2,1]=>[2,3,6,7,4,5,1]=>([(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]=>[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,6,4,7,3,2,1]=>[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,3,2,1]=>[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,4,6,7,3,2,1]=>[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,3,2,1]=>[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,4,2,1]=>[2,4,5,3,6,7,1]=>([(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]=>[2,4,5,3,7,6,1]=>([(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]=>[2,4,6,3,7,5,1]=>([(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]=>[2,4,7,3,6,5,1]=>([(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]=>[2,4,7,3,5,6,1]=>([(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]=>[2,5,4,6,3,7,1]=>([(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]=>[2,5,4,7,3,6,1]=>([(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]=>[2,5,6,3,4,7,1]=>([(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]=>[2,5,7,3,4,6,1]=>([(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]=>[2,6,4,5,7,3,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) [.,[.,[[.,[[.,.],.]],[.,.]]]]=>[7,4,5,3,6,2,1]=>[2,6,5,7,4,3,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) [.,[.,[[[.,.],[.,.]],[.,.]]]]=>[7,5,3,4,6,2,1]=>[2,6,5,3,7,4,1]=>([(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]=>[2,6,4,7,3,5,1]=>([(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]=>[2,6,7,3,4,5,1]=>([(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]=>[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,6,4,3,7,2,1]=>[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,5,3,7,2,1]=>[2,7,5,6,4,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) [.,[.,[[.,[[.,[.,.]],.]],.]]]=>[5,4,6,3,7,2,1]=>[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,2,1]=>[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,2,1]=>[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) [.,[.,[[[.,.],[[.,.],.]],.]]]=>[5,6,3,4,7,2,1]=>[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,3,5,7,2,1]=>[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) [.,[.,[[[[.,.],.],[.,.]],.]]]=>[6,3,4,5,7,2,1]=>[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,4,3,6,7,2,1]=>[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,5,3,6,7,2,1]=>[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,2,1]=>[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,3,5,6,7,2,1]=>[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,2,1]=>[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,3,1]=>[3,4,2,5,6,7,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) [.,[[.,.],[.,[.,[[.,.],.]]]]]=>[6,7,5,4,2,3,1]=>[3,4,2,5,7,6,1]=>([(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]=>[3,4,2,6,7,5,1]=>([(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]=>[3,4,2,7,6,5,1]=>([(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]=>[3,4,2,7,5,6,1]=>([(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]=>[3,5,2,6,4,7,1]=>([(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]=>[3,5,2,7,4,6,1]=>([(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]=>[3,6,2,5,7,4,1]=>([(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]=>[3,6,2,7,4,5,1]=>([(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]=>[3,7,2,5,6,4,1]=>([(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]=>[3,7,2,6,5,4,1]=>([(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]=>[3,7,2,6,4,5,1]=>([(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]=>[3,7,2,5,4,6,1]=>([(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]=>[3,7,2,4,5,6,1]=>([(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]=>[4,3,5,2,6,7,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) [.,[[.,[.,.]],[.,[[.,.],.]]]]=>[6,7,5,3,2,4,1]=>[4,3,5,2,7,6,1]=>([(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]=>[4,3,6,2,7,5,1]=>([(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]=>[4,3,7,2,6,5,1]=>([(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]=>[4,3,7,2,5,6,1]=>([(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]=>[4,5,2,3,6,7,1]=>([(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]=>[4,5,2,3,7,6,1]=>([(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]=>[4,6,2,3,7,5,1]=>([(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]=>[4,7,2,3,6,5,1]=>([(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]=>[4,7,2,3,5,6,1]=>([(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]=>[5,3,4,6,2,7,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) [.,[[.,[.,[.,.]]],[[.,.],.]]]=>[6,7,4,3,2,5,1]=>[5,3,4,7,2,6,1]=>([(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]=>[5,4,6,3,2,7,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,7,3,4,2,5,1]=>[5,4,7,3,2,6,1]=>([(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]=>[5,4,2,6,3,7,1]=>([(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]=>[5,4,2,7,3,6,1]=>([(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]=>[5,3,6,2,4,7,1]=>([(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]=>[5,3,7,2,4,6,1]=>([(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]=>[5,6,2,3,4,7,1]=>([(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]=>[5,7,2,3,4,6,1]=>([(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]=>[6,3,4,5,7,2,1]=>([(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]=>[6,3,5,7,4,2,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,8),(7,8),(7,9),(8,10),(9,10),(11,9)],12) [.,[[.,[[.,.],[.,.]]],[.,.]]]=>[7,5,3,4,2,6,1]=>[6,4,5,3,7,2,1]=>([(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]=>[6,5,4,7,3,2,1]=>([(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]=>[6,5,7,3,4,2,1]=>([(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]=>[6,4,2,5,7,3,1]=>([(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]=>[6,5,2,7,4,3,1]=>([(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]=>[6,3,5,2,7,4,1]=>([(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]=>[6,5,2,3,7,4,1]=>([(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]=>[6,3,4,7,2,5,1]=>([(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]=>[6,4,7,3,2,5,1]=>([(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]=>[6,4,2,7,3,5,1]=>([(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]=>[6,3,7,2,4,5,1]=>([(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]=>[6,7,2,3,4,5,1]=>([(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,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,6,4,3,2,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,5,3,2,7,1]=>[7,3,5,6,4,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) [.,[[.,[.,[[.,[.,.]],.]]],.]]=>[5,4,6,3,2,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,3,2,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,4,2,7,1]=>[7,4,5,3,6,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) [.,[[.,[[.,.],[[.,.],.]]],.]]=>[5,6,3,4,2,7,1]=>[7,4,6,3,5,2,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,5,4,6,3,2,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,5,6,3,4,2,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,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) [.,[[[.,.],[.,[[.,.],.]]],.]]=>[5,6,4,2,3,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,4,5,2,3,7,1]=>[7,5,2,6,4,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) [.,[[[.,.],[[.,[.,.]],.]],.]]=>[5,4,6,2,3,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,2,3,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,2,4,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) [.,[[[.,[.,.]],[[.,.],.]],.]]=>[5,6,3,2,4,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,5,2,3,4,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) [.,[[[[.,.],.],[[.,.],.]],.]]=>[5,6,2,3,4,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,3,2,5,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) [.,[[[.,[[.,.],.]],[.,.]],.]]=>[6,3,4,2,5,7,1]=>[7,4,6,3,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) [.,[[[[.,.],[.,.]],[.,.]],.]]=>[6,4,2,3,5,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) [.,[[[[.,[.,.]],.],[.,.]],.]]=>[6,3,2,4,5,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) [.,[[[[[.,.],.],.],[.,.]],.]]=>[6,2,3,4,5,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,4,3,2,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,5,3,2,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,4,2,6,7,1]=>[7,4,5,3,2,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,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) [.,[[[[.,.],[[.,.],.]],.],.]]=>[4,5,2,3,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,2,4,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) [.,[[[[[.,.],.],[.,.]],.],.]]=>[5,2,3,4,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,3,2,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,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,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,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]=>[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,7,5,4,3,1,2]=>[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,5,6,4,3,1,2]=>[3,1,4,6,7,5,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) [[.,.],[.,[.,[[.,[.,.]],.]]]]=>[6,5,7,4,3,1,2]=>[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,4,3,1,2]=>[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,4,5,3,1,2]=>[3,1,5,6,4,7,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) [[.,.],[.,[[.,.],[[.,.],.]]]]=>[6,7,4,5,3,1,2]=>[3,1,5,7,4,6,2]=>([(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]=>[3,1,6,5,7,4,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,4,5,6,3,1,2]=>[3,1,6,7,4,5,2]=>([(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]=>[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,6,4,7,3,1,2]=>[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,3,1,2]=>[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,4,6,7,3,1,2]=>[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,3,1,2]=>[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,3,4,1,2]=>[4,1,5,3,6,7,2]=>([(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]=>[4,1,5,3,7,6,2]=>([(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]=>[4,1,6,3,7,5,2]=>([(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]=>[4,1,7,3,6,5,2]=>([(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]=>[4,1,7,3,5,6,2]=>([(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]=>[5,1,4,6,3,7,2]=>([(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]=>[5,1,4,7,3,6,2]=>([(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]=>[5,1,6,3,4,7,2]=>([(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]=>[5,1,7,3,4,6,2]=>([(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]=>[6,1,4,5,7,3,2]=>([(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]=>[6,1,5,7,4,3,2]=>([(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]=>[6,1,5,3,7,4,2]=>([(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]=>[6,1,4,7,3,5,2]=>([(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]=>[6,1,7,3,4,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) [[.,.],[[.,[.,[.,[.,.]]]],.]]=>[6,5,4,3,7,1,2]=>[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,6,4,3,7,1,2]=>[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,5,3,7,1,2]=>[7,1,5,6,4,3,2]=>([(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]=>[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,1,2]=>[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,1,2]=>[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) [[.,.],[[[.,.],[[.,.],.]],.]]=>[5,6,3,4,7,1,2]=>[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,3,5,7,1,2]=>[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) [[.,.],[[[[.,.],.],[.,.]],.]]=>[6,3,4,5,7,1,2]=>[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,4,3,6,7,1,2]=>[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,5,3,6,7,1,2]=>[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,1,2]=>[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,3,5,6,7,1,2]=>[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,1,2]=>[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,1,3]=>[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) [[.,[.,.]],[.,[.,[[.,.],.]]]]=>[6,7,5,4,2,1,3]=>[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,5,6,4,2,1,3]=>[2,4,1,6,7,5,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) [[.,[.,.]],[.,[[.,[.,.]],.]]]=>[6,5,7,4,2,1,3]=>[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,4,2,1,3]=>[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,4,5,2,1,3]=>[2,5,1,6,4,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) [[.,[.,.]],[[.,.],[[.,.],.]]]=>[6,7,4,5,2,1,3]=>[2,5,1,7,4,6,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,5,4,6,2,1,3]=>[2,6,1,5,7,4,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,5,6,2,1,3]=>[2,6,1,7,4,5,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) [[.,[.,.]],[[.,[.,[.,.]]],.]]=>[6,5,4,7,2,1,3]=>[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,6,4,7,2,1,3]=>[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,2,1,3]=>[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,4,6,7,2,1,3]=>[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,2,1,3]=>[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,4,1,2,3]=>[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) [[[.,.],.],[.,[.,[[.,.],.]]]]=>[6,7,5,4,1,2,3]=>[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,5,6,4,1,2,3]=>[4,1,2,6,7,5,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) [[[.,.],.],[.,[[.,[.,.]],.]]]=>[6,5,7,4,1,2,3]=>[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,4,1,2,3]=>[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,4,5,1,2,3]=>[5,1,2,6,4,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) [[[.,.],.],[[.,.],[[.,.],.]]]=>[6,7,4,5,1,2,3]=>[5,1,2,7,4,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,6,1,2,3]=>[6,1,2,5,7,4,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,5,6,1,2,3]=>[6,1,2,7,4,5,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) [[[.,.],.],[[.,[.,[.,.]]],.]]=>[6,5,4,7,1,2,3]=>[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,6,4,7,1,2,3]=>[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,1,2,3]=>[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,4,6,7,1,2,3]=>[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,1,2,3]=>[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,2,1,4]=>[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) [[.,[.,[.,.]]],[.,[[.,.],.]]]=>[6,7,5,3,2,1,4]=>[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,5,6,3,2,1,4]=>[2,3,6,1,7,5,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) [[.,[.,[.,.]]],[[.,[.,.]],.]]=>[6,5,7,3,2,1,4]=>[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,3,2,1,4]=>[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,5,2,3,1,4]=>[3,5,2,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) [[.,[[.,.],.]],[.,[[.,.],.]]]=>[6,7,5,2,3,1,4]=>[3,5,2,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,5,6,2,3,1,4]=>[3,6,2,1,7,5,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) [[.,[[.,.],.]],[[.,[.,.]],.]]=>[6,5,7,2,3,1,4]=>[3,7,2,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,2,3,1,4]=>[3,7,2,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,5,3,1,2,4]=>[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) [[[.,.],[.,.]],[.,[[.,.],.]]]=>[6,7,5,3,1,2,4]=>[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,5,6,3,1,2,4]=>[3,1,6,2,7,5,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) [[[.,.],[.,.]],[[.,[.,.]],.]]=>[6,5,7,3,1,2,4]=>[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,3,1,2,4]=>[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,5,2,1,3,4]=>[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) [[[.,[.,.]],.],[.,[[.,.],.]]]=>[6,7,5,2,1,3,4]=>[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,5,6,2,1,3,4]=>[2,6,1,3,7,5,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) [[[.,[.,.]],.],[[.,[.,.]],.]]=>[6,5,7,2,1,3,4]=>[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,2,1,3,4]=>[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,5,1,2,3,4]=>[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) [[[[.,.],.],.],[.,[[.,.],.]]]=>[6,7,5,1,2,3,4]=>[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,5,6,1,2,3,4]=>[6,1,2,3,7,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) [[[[.,.],.],.],[[.,[.,.]],.]]=>[6,5,7,1,2,3,4]=>[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,1,2,3,4]=>[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,3,2,1,5]=>[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) [[.,[.,[.,[.,.]]]],[[.,.],.]]=>[6,7,4,3,2,1,5]=>[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,6,3,4,2,1,5]=>[2,4,6,3,1,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) [[.,[.,[[.,.],.]]],[[.,.],.]]=>[6,7,3,4,2,1,5]=>[2,4,7,3,1,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,6,4,2,3,1,5]=>[3,4,2,6,1,7,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,7,4,2,3,1,5]=>[3,4,2,7,1,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,6,3,2,4,1,5]=>[4,3,6,2,1,7,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,7,3,2,4,1,5]=>[4,3,7,2,1,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,11),(9,11),(10,11)],12) [[.,[[[.,.],.],.]],[.,[.,.]]]=>[7,6,2,3,4,1,5]=>[4,6,2,3,1,7,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,7,2,3,4,1,5]=>[4,7,2,3,1,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,6,4,3,1,2,5]=>[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) [[[.,.],[.,[.,.]]],[[.,.],.]]=>[6,7,4,3,1,2,5]=>[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,6,3,4,1,2,5]=>[4,1,6,3,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) [[[.,.],[[.,.],.]],[[.,.],.]]=>[6,7,3,4,1,2,5]=>[4,1,7,3,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,6,4,2,1,3,5]=>[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) [[[.,[.,.]],[.,.]],[[.,.],.]]=>[6,7,4,2,1,3,5]=>[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,6,4,1,2,3,5]=>[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) [[[[.,.],.],[.,.]],[[.,.],.]]=>[6,7,4,1,2,3,5]=>[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,6,3,2,1,4,5]=>[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) [[[.,[.,[.,.]]],.],[[.,.],.]]=>[6,7,3,2,1,4,5]=>[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,6,2,3,1,4,5]=>[3,6,2,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) [[[.,[[.,.],.]],.],[[.,.],.]]=>[6,7,2,3,1,4,5]=>[3,7,2,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,6,3,1,2,4,5]=>[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) [[[[.,.],[.,.]],.],[[.,.],.]]=>[6,7,3,1,2,4,5]=>[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,6,2,1,3,4,5]=>[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) [[[[.,[.,.]],.],.],[[.,.],.]]=>[6,7,2,1,3,4,5]=>[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,6,1,2,3,4,5]=>[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) [[[[[.,.],.],.],.],[[.,.],.]]=>[6,7,1,2,3,4,5]=>[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,4,3,2,1,6]=>[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) [[.,[.,[.,[[.,.],.]]]],[.,.]]=>[7,4,5,3,2,1,6]=>[2,3,5,7,4,1,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) [[.,[.,[[.,.],[.,.]]]],[.,.]]=>[7,5,3,4,2,1,6]=>[2,4,5,3,7,1,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) [[.,[.,[[.,[.,.]],.]]],[.,.]]=>[7,4,3,5,2,1,6]=>[2,5,4,7,3,1,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) [[.,[.,[[[.,.],.],.]]],[.,.]]=>[7,3,4,5,2,1,6]=>[2,5,7,3,4,1,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) [[.,[[.,.],[.,[.,.]]]],[.,.]]=>[7,5,4,2,3,1,6]=>[3,4,2,5,7,1,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) [[.,[[.,.],[[.,.],.]]],[.,.]]=>[7,4,5,2,3,1,6]=>[3,5,2,7,4,1,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) [[.,[[.,[.,.]],[.,.]]],[.,.]]=>[7,5,3,2,4,1,6]=>[4,3,5,2,7,1,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) [[.,[[[.,.],.],[.,.]]],[.,.]]=>[7,5,2,3,4,1,6]=>[4,5,2,3,7,1,6]=>([(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]=>[5,3,4,7,2,1,6]=>([(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]=>[5,4,7,3,2,1,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) [[.,[[[.,.],[.,.]],.]],[.,.]]=>[7,4,2,3,5,1,6]=>[5,4,2,7,3,1,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) [[.,[[[.,[.,.]],.],.]],[.,.]]=>[7,3,2,4,5,1,6]=>[5,3,7,2,4,1,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) [[.,[[[[.,.],.],.],.]],[.,.]]=>[7,2,3,4,5,1,6]=>[5,7,2,3,4,1,6]=>([(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]=>[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) [[[.,.],[.,[[.,.],.]]],[.,.]]=>[7,4,5,3,1,2,6]=>[3,1,5,7,4,2,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) [[[.,.],[[.,.],[.,.]]],[.,.]]=>[7,5,3,4,1,2,6]=>[4,1,5,3,7,2,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) [[[.,.],[[.,[.,.]],.]],[.,.]]=>[7,4,3,5,1,2,6]=>[5,1,4,7,3,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) [[[.,.],[[[.,.],.],.]],[.,.]]=>[7,3,4,5,1,2,6]=>[5,1,7,3,4,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) [[[.,[.,.]],[.,[.,.]]],[.,.]]=>[7,5,4,2,1,3,6]=>[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) [[[.,[.,.]],[[.,.],.]],[.,.]]=>[7,4,5,2,1,3,6]=>[2,5,1,7,4,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) [[[[.,.],.],[.,[.,.]]],[.,.]]=>[7,5,4,1,2,3,6]=>[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) [[[[.,.],.],[[.,.],.]],[.,.]]=>[7,4,5,1,2,3,6]=>[5,1,2,7,4,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) [[[.,[.,[.,.]]],[.,.]],[.,.]]=>[7,5,3,2,1,4,6]=>[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) [[[.,[[.,.],.]],[.,.]],[.,.]]=>[7,5,2,3,1,4,6]=>[3,5,2,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) [[[[.,.],[.,.]],[.,.]],[.,.]]=>[7,5,3,1,2,4,6]=>[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) [[[[.,[.,.]],.],[.,.]],[.,.]]=>[7,5,2,1,3,4,6]=>[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) [[[[[.,.],.],.],[.,.]],[.,.]]=>[7,5,1,2,3,4,6]=>[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) [[[.,[.,[.,[.,.]]]],.],[.,.]]=>[7,4,3,2,1,5,6]=>[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) [[[.,[.,[[.,.],.]]],.],[.,.]]=>[7,3,4,2,1,5,6]=>[2,4,7,3,1,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) [[[.,[[.,.],[.,.]]],.],[.,.]]=>[7,4,2,3,1,5,6]=>[3,4,2,7,1,5,6]=>([(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]=>[4,3,7,2,1,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),(8,11),(9,11),(10,11)],12) [[[.,[[[.,.],.],.]],.],[.,.]]=>[7,2,3,4,1,5,6]=>[4,7,2,3,1,5,6]=>([(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]=>[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) [[[[.,.],[[.,.],.]],.],[.,.]]=>[7,3,4,1,2,5,6]=>[4,1,7,3,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) [[[[.,[.,.]],[.,.]],.],[.,.]]=>[7,4,2,1,3,5,6]=>[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) [[[[[.,.],.],[.,.]],.],[.,.]]=>[7,4,1,2,3,5,6]=>[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) [[[[.,[.,[.,.]]],.],.],[.,.]]=>[7,3,2,1,4,5,6]=>[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) [[[[.,[[.,.],.]],.],.],[.,.]]=>[7,2,3,1,4,5,6]=>[3,7,2,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) [[[[[.,.],[.,.]],.],.],[.,.]]=>[7,3,1,2,4,5,6]=>[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) [[[[[.,[.,.]],.],.],.],[.,.]]=>[7,2,1,3,4,5,6]=>[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,5,4,3,2,1,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,6,4,3,2,1,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,5,3,2,1,7]=>[2,3,5,6,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,12),(11,14),(12,11),(13,10),(14,13)],15) [[.,[.,[.,[[.,[.,.]],.]]]],.]=>[5,4,6,3,2,1,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,3,2,1,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,4,2,1,7]=>[2,4,5,3,6,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,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]=>[2,4,6,3,5,1,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]=>[2,5,4,6,3,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) [[.,[.,[[[.,.],.],[.,.]]]],.]=>[6,3,4,5,2,1,7]=>[2,5,6,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,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]=>[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,5,3,6,2,1,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,2,1,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,3,5,6,2,1,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,2,1,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,3,1,7]=>[3,4,2,5,6,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) [[.,[[.,.],[.,[[.,.],.]]]],.]=>[5,6,4,2,3,1,7]=>[3,4,2,6,5,1,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]=>[3,5,2,6,4,1,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]=>[3,6,2,5,4,1,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]=>[3,6,2,4,5,1,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]=>[4,3,5,2,6,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) [[.,[[.,[.,.]],[[.,.],.]]],.]=>[5,6,3,2,4,1,7]=>[4,3,6,2,5,1,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]=>[4,5,2,3,6,1,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]=>[4,6,2,3,5,1,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]=>[5,3,4,6,2,1,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]=>[5,4,6,3,2,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,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]=>[5,4,2,6,3,1,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]=>[5,3,6,2,4,1,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]=>[5,6,2,3,4,1,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,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,5,3,2,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,4,2,6,1,7]=>[6,4,5,3,2,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,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) [[.,[[[.,.],[[.,.],.]],.]],.]=>[4,5,2,3,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,2,4,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) [[.,[[[[.,.],.],[.,.]],.]],.]=>[5,2,3,4,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,3,2,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,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,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,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]=>[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) [[[.,.],[.,[.,[[.,.],.]]]],.]=>[5,6,4,3,1,2,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,4,5,3,1,2,7]=>[3,1,5,6,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,10),(10,11),(11,9)],12) [[[.,.],[.,[[.,[.,.]],.]]],.]=>[5,4,6,3,1,2,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,3,1,2,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,3,4,1,2,7]=>[4,1,5,3,6,2,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]=>[4,1,6,3,5,2,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]=>[5,1,4,6,3,2,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]=>[5,1,6,3,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,10),(10,11),(11,9)],12) [[[.,.],[[.,[.,[.,.]]],.]],.]=>[5,4,3,6,1,2,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,5,3,6,1,2,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,1,2,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,3,5,6,1,2,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,1,2,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,1,3,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) [[[.,[.,.]],[.,[[.,.],.]]],.]=>[5,6,4,2,1,3,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,4,5,2,1,3,7]=>[2,5,1,6,4,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) [[[.,[.,.]],[[.,[.,.]],.]],.]=>[5,4,6,2,1,3,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,2,1,3,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,4,1,2,3,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) [[[[.,.],.],[.,[[.,.],.]]],.]=>[5,6,4,1,2,3,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,4,5,1,2,3,7]=>[5,1,2,6,4,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) [[[[.,.],.],[[.,[.,.]],.]],.]=>[5,4,6,1,2,3,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,1,2,3,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,2,1,4,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) [[[.,[.,[.,.]]],[[.,.],.]],.]=>[5,6,3,2,1,4,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,5,2,3,1,4,7]=>[3,5,2,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) [[[.,[[.,.],.]],[[.,.],.]],.]=>[5,6,2,3,1,4,7]=>[3,6,2,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,5,3,1,2,4,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) [[[[.,.],[.,.]],[[.,.],.]],.]=>[5,6,3,1,2,4,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,5,2,1,3,4,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) [[[[.,[.,.]],.],[[.,.],.]],.]=>[5,6,2,1,3,4,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,5,1,2,3,4,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) [[[[[.,.],.],.],[[.,.],.]],.]=>[5,6,1,2,3,4,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,3,2,1,5,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) [[[.,[.,[[.,.],.]]],[.,.]],.]=>[6,3,4,2,1,5,7]=>[2,4,6,3,1,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) [[[.,[[.,.],[.,.]]],[.,.]],.]=>[6,4,2,3,1,5,7]=>[3,4,2,6,1,5,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]=>[4,3,6,2,1,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) [[[.,[[[.,.],.],.]],[.,.]],.]=>[6,2,3,4,1,5,7]=>[4,6,2,3,1,5,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]=>[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) [[[[.,.],[[.,.],.]],[.,.]],.]=>[6,3,4,1,2,5,7]=>[4,1,6,3,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) [[[[.,[.,.]],[.,.]],[.,.]],.]=>[6,4,2,1,3,5,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) [[[[[.,.],.],[.,.]],[.,.]],.]=>[6,4,1,2,3,5,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) [[[[.,[.,[.,.]]],.],[.,.]],.]=>[6,3,2,1,4,5,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) [[[[.,[[.,.],.]],.],[.,.]],.]=>[6,2,3,1,4,5,7]=>[3,6,2,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) [[[[[.,.],[.,.]],.],[.,.]],.]=>[6,3,1,2,4,5,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) [[[[[.,[.,.]],.],.],[.,.]],.]=>[6,2,1,3,4,5,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) [[[[[[.,.],.],.],.],[.,.]],.]=>[6,1,2,3,4,5,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,4,3,2,1,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,5,3,2,1,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,4,2,1,6,7]=>[2,4,5,3,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) [[[.,[.,[[.,[.,.]],.]]],.],.]=>[4,3,5,2,1,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,2,1,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,3,1,6,7]=>[3,4,2,5,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) [[[.,[[.,.],[[.,.],.]]],.],.]=>[4,5,2,3,1,6,7]=>[3,5,2,4,1,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]=>[4,3,5,2,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,11),(10,9),(11,8),(12,10),(13,9),(14,8),(15,12)],16) [[[.,[[[.,.],.],[.,.]]],.],.]=>[5,2,3,4,1,6,7]=>[4,5,2,3,1,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,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,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,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,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]=>[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) [[[[.,.],[.,[[.,.],.]]],.],.]=>[4,5,3,1,2,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,3,4,1,2,6,7]=>[4,1,5,3,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) [[[[.,.],[[.,[.,.]],.]],.],.]=>[4,3,5,1,2,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,1,2,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,1,3,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) [[[[.,[.,.]],[[.,.],.]],.],.]=>[4,5,2,1,3,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,4,1,2,3,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) [[[[[.,.],.],[[.,.],.]],.],.]=>[4,5,1,2,3,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,2,1,4,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) [[[[.,[[.,.],.]],[.,.]],.],.]=>[5,2,3,1,4,6,7]=>[3,5,2,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) [[[[[.,.],[.,.]],[.,.]],.],.]=>[5,3,1,2,4,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) [[[[[.,[.,.]],.],[.,.]],.],.]=>[5,2,1,3,4,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) [[[[[[.,.],.],.],[.,.]],.],.]=>[5,1,2,3,4,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,3,2,1,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,4,2,1,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,3,1,5,6,7]=>[3,4,2,1,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]=>[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) [[[[[.,.],[[.,.],.]],.],.],.]=>[3,4,1,2,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,1,3,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) [[[[[[.,.],.],[.,.]],.],.],.]=>[4,1,2,3,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,2,1,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) [[[[[.,[[.,.],.]],.],.],.],.]=>[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]=>[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) [.,[.,[.,[.,[[.,[.,[.,.]]],.]]]]]=>[7,6,5,8,4,3,2,1]=>[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,7,5,8,4,3,2,1]=>[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,4,3,2,1]=>[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,5,7,8,4,3,2,1]=>[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,4,3,2,1]=>[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,8,4,5,6,3,2,1]=>[2,3,6,8,4,5,7,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,9),(6,10),(7,10),(8,9),(8,11),(9,13),(10,14),(11,13),(13,12),(14,11)],15) [.,[.,[[.,.],[[[[.,.],.],.],.]]]]=>[5,6,7,8,3,4,2,1]=>[2,4,8,3,5,6,7,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,10),(6,9),(7,11),(8,9),(8,10),(9,13),(10,13),(11,12),(13,14),(14,11)],15) [.,[.,[[[.,[.,.]],.],[.,[.,.]]]]]=>[8,7,4,3,5,6,2,1]=>[2,6,4,7,3,5,8,1]=>([(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,13),(7,10),(8,9),(9,12),(10,12),(12,11),(13,9),(13,10)],14) [.,[.,[[[[[.,.],[.,.]],.],.],.]]]=>[5,3,4,6,7,8,2,1]=>[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) [.,[[.,.],[.,[[[[.,.],.],.],.]]]]=>[5,6,7,8,4,2,3,1]=>[3,4,2,8,5,6,7,1]=>([(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]=>[3,5,2,7,4,8,6,1]=>([(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,8,4,5,6,2,3,1]=>[3,6,2,8,4,5,7,1]=>([(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) [.,[[.,.],[[.,[[.,[.,.]],.]],.]]]=>[6,5,7,4,8,2,3,1]=>[3,8,2,7,6,5,4,1]=>([(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) [.,[[.,[.,.]],[[[[.,.],.],.],.]]]=>[5,6,7,8,3,2,4,1]=>[4,3,8,2,5,6,7,1]=>([(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) [.,[[[.,.],.],[[[[.,.],.],.],.]]]=>[5,6,7,8,2,3,4,1]=>[4,8,2,3,5,6,7,1]=>([(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,5,3,4,2,6,7,1]=>[7,4,5,3,8,2,6,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,11),(2,12),(3,12),(4,12),(5,12),(6,9),(7,9),(8,10),(9,11),(11,12),(12,10)],13) [.,[[[[.,.],[.,[.,.]]],.],[.,.]]]=>[8,5,4,2,3,6,7,1]=>[7,4,2,5,8,3,6,1]=>([(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) [[.,.],[.,[.,[[[.,[.,.]],.],.]]]]=>[6,5,7,8,4,3,1,2]=>[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,4,3,1,2]=>[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) [[.,.],[.,[[[.,.],.],[[.,.],.]]]]=>[7,8,4,5,6,3,1,2]=>[3,1,6,8,4,5,7,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,9),(8,9),(9,11),(11,10)],12) [[.,.],[.,[[[.,[.,.]],[.,.]],.]]]=>[7,5,4,6,8,3,1,2]=>[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,5,6,3,4,1,2]=>[4,1,6,3,8,5,7,2]=>([(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,7,3,4,1,2]=>[4,1,7,3,8,5,6,2]=>([(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,5,7,8,3,4,1,2]=>[4,1,8,3,6,5,7,2]=>([(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]=>[4,1,8,3,5,6,7,2]=>([(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]=>[6,1,4,8,3,5,7,2]=>([(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]=>[8,1,4,5,3,6,7,2]=>([(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) [[.,[.,.]],[.,[[[[.,.],.],.],.]]]=>[5,6,7,8,4,2,1,3]=>[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,4,5,6,2,1,3]=>[2,6,1,8,4,5,7,3]=>([(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,5,4,1,2,3]=>[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) [[[.,.],.],[.,[[.,.],[[.,.],.]]]]=>[7,8,5,6,4,1,2,3]=>[4,1,2,6,8,5,7,3]=>([(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) [[[.,.],.],[.,[[[.,.],.],[.,.]]]]=>[8,5,6,7,4,1,2,3]=>[4,1,2,7,8,5,6,3]=>([(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,5,6,8,4,1,2,3]=>[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,4,1,2,3]=>[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) [[[.,.],.],[[.,.],[.,[[.,.],.]]]]=>[7,8,6,4,5,1,2,3]=>[5,1,2,6,4,8,7,3]=>([(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]=>[6,1,2,5,8,4,7,3]=>([(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,4,5,6,1,2,3]=>[6,1,2,8,4,5,7,3]=>([(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,6,5,4,8,1,2,3]=>[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) [[.,[.,[.,.]]],[[[[.,.],.],.],.]]=>[5,6,7,8,3,2,1,4]=>[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) [[.,[[.,.],.]],[[.,[[.,.],.]],.]]=>[6,7,5,8,2,3,1,4]=>[3,8,2,1,7,6,5,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,16),(2,16),(3,10),(4,9),(5,12),(6,12),(7,9),(7,11),(8,10),(8,11),(9,13),(10,14),(11,13),(11,14),(12,16),(13,15),(14,15),(15,16)],17) [[.,[[.,.],.]],[[[[.,.],.],.],.]]=>[5,6,7,8,2,3,1,4]=>[3,8,2,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,5,6,3,1,2,4]=>[3,1,6,2,8,5,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,6,7,8,3,1,2,4]=>[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,5,6,2,1,3,4]=>[2,6,1,3,8,5,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) [[[.,[.,.]],.],[[[.,[.,.]],.],.]]=>[6,5,7,8,2,1,3,4]=>[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,2,1,3,4]=>[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) [[[[.,.],.],.],[.,[.,[.,[.,.]]]]]=>[8,7,6,5,1,2,3,4]=>[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) [[[[.,.],.],.],[.,[.,[[.,.],.]]]]=>[7,8,6,5,1,2,3,4]=>[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) [[[[.,.],.],.],[.,[[.,.],[.,.]]]]=>[8,6,7,5,1,2,3,4]=>[5,1,2,3,7,8,6,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,6,8,5,1,2,3,4]=>[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,5,1,2,3,4]=>[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,5,6,1,2,3,4]=>[6,1,2,3,7,5,8,4]=>([(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]=>[6,1,2,3,8,5,7,4]=>([(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]=>[7,1,2,3,6,8,5,4]=>([(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]=>[7,1,2,3,8,5,6,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,6,5,8,1,2,3,4]=>[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,7,5,8,1,2,3,4]=>[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,1,2,3,4]=>[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,5,7,8,1,2,3,4]=>[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,1,2,3,4]=>[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,6,8,4,3,2,1,5]=>[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,4,3,2,1,5]=>[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) [[[[.,.],.],[.,.]],[.,[[.,.],.]]]=>[7,8,6,4,1,2,3,5]=>[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) [[[[.,.],.],[.,.]],[[.,.],[.,.]]]=>[8,6,7,4,1,2,3,5]=>[4,1,2,7,3,8,6,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,6,3,2,1,4,5]=>[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) [[[.,[[.,.],.]],.],[.,[[.,.],.]]]=>[7,8,6,2,3,1,4,5]=>[3,6,2,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) [[[[.,.],[.,.]],.],[.,[[.,.],.]]]=>[7,8,6,3,1,2,4,5]=>[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) [[[[.,[.,.]],.],.],[[.,.],[.,.]]]=>[8,6,7,2,1,3,4,5]=>[2,7,1,3,4,8,6,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,4,2,1,6]=>[2,4,5,3,7,1,8,6]=>([(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,2,3,4,1,6]=>[4,5,2,3,8,1,7,6]=>([(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) [[[.,.],[[.,.],[.,.]]],[.,[.,.]]]=>[8,7,5,3,4,1,2,6]=>[4,1,5,3,7,2,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,7,5,3,1,2,4,6]=>[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) [[[[.,.],[.,.]],[.,.]],[[.,.],.]]=>[7,8,5,3,1,2,4,6]=>[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) [[[.,[.,[.,[.,.]]]],.],[[.,.],.]]=>[7,8,4,3,2,1,5,6]=>[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) [[[[.,[.,[.,.]]],.],.],[[.,.],.]]=>[7,8,3,2,1,4,5,6]=>[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) [[.,[[[.,[.,.]],.],[.,.]]],[.,.]]=>[8,6,3,2,4,5,1,7]=>[5,3,6,2,4,8,1,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,9),(7,9),(8,9),(10,9)],11) [[[[[.,.],.],[.,.]],[.,.]],[.,.]]=>[8,6,4,1,2,3,5,7]=>[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) [[[.,[[[.,.],.],[.,.]]],.],[.,.]]=>[8,5,2,3,4,1,6,7]=>[4,5,2,3,8,1,6,7]=>([(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) [[[[.,.],[[.,.],[.,.]]],.],[.,.]]=>[8,5,3,4,1,2,6,7]=>[4,1,5,3,8,2,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) [[[[[.,.],[.,.]],[.,.]],.],[.,.]]=>[8,5,3,1,2,4,6,7]=>[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) [[[[.,[.,[.,[.,.]]]],.],.],[.,.]]=>[8,4,3,2,1,5,6,7]=>[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) [[.,[[.,.],[[.,.],[[.,.],.]]]],.]=>[6,7,4,5,2,3,1,8]=>[3,5,2,7,4,6,1,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) [[.,[[[.,.],.],[.,[[.,.],.]]]],.]=>[6,7,5,2,3,4,1,8]=>[4,5,2,3,7,6,1,8]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,13),(2,12),(3,11),(4,11),(5,10),(6,10),(7,9),(8,9),(9,15),(10,14),(11,14),(12,13),(14,15),(15,12)],16) [[.,[[[[.,.],[.,.]],.],[.,.]]],.]=>[7,4,2,3,5,6,1,8]=>[6,4,2,7,3,5,1,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) [[.,[[[[.,.],[.,.]],[.,.]],.]],.]=>[6,4,2,3,5,7,1,8]=>[7,4,2,6,3,5,1,8]=>([(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,13),(7,10),(8,9),(9,12),(10,12),(12,11),(13,9),(13,10)],14) [[[[.,[[.,.],.]],.],[.,[.,.]]],.]=>[7,6,2,3,1,4,5,8]=>[3,6,2,1,4,7,5,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]=>[4,5,2,3,7,1,6,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) [[[[[.,.],[.,.]],[.,.]],[.,.]],.]=>[7,5,3,1,2,4,6,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) [[[.,[[.,[.,.]],[[.,.],.]]],.],.]=>[5,6,3,2,4,1,7,8]=>[4,3,6,2,5,1,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.
Map
descent views to invisible inversion bottoms
Description
Return a permutation whose multiset of invisible inversion bottoms is the multiset of descent views of the given permutation.
An invisible inversion of a permutation $\sigma$ is a pair $i < j$ such that $i < \sigma(j) < \sigma(i)$. The element $\sigma(j)$ is then an invisible inversion bottom.
A descent view in a permutation $\pi$ is an element $\pi(j)$ such that $\pi(i+1) < \pi(j) < \pi(i)$, and additionally the smallest element in the decreasing run containing $\pi(i)$ is smaller than the smallest element in the decreasing run containing $\pi(j)$.
This map is a bijection $\chi:\mathfrak S_n \to \mathfrak S_n$, such that
  • the multiset of descent views in $\pi$ is the multiset of invisible inversion bottoms in $\chi(\pi)$,
  • the set of left-to-right maximima of $\pi$ is the set of maximal elements in the cycles of $\chi(\pi)$,
  • the set of global ascent of $\pi$ is the set of global ascent of $\chi(\pi)$,
  • the set of maximal elements in the decreasing runs of $\pi$ is the set of deficiency positions of $\chi(\pi)$, and
  • the set of minimal elements in the decreasing runs of $\pi$ is the set of deficiency values of $\chi(\pi)$.
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.