Identifier
Mp00017: Binary trees to 312-avoiding permutationPermutations
Mp00073: Permutations major-index to inversion-number bijectionPermutations
Mp00208: Permutations lattice of intervals Lattices
Images
=>
Cc0010;cc-rep-0Cc0029;cc-rep-3
[.,.]=>[1]=>[1]=>([(0,1)],2) [.,[.,.]]=>[2,1]=>[2,1]=>([(0,1),(0,2),(1,3),(2,3)],4) [[.,.],.]=>[1,2]=>[1,2]=>([(0,1),(0,2),(1,3),(2,3)],4) [.,[.,[.,.]]]=>[3,2,1]=>[3,2,1]=>([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7) [.,[[.,.],.]]=>[2,3,1]=>[3,1,2]=>([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6) [[.,.],[.,.]]=>[1,3,2]=>[2,3,1]=>([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6) [[.,[.,.]],.]=>[2,1,3]=>[2,1,3]=>([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6) [[[.,.],.],.]=>[1,2,3]=>[1,2,3]=>([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7) [.,[.,[.,[.,.]]]]=>[4,3,2,1]=>[4,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) [.,[.,[[.,.],.]]]=>[3,4,2,1]=>[4,3,1,2]=>([(0,1),(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,5),(4,7),(5,8),(6,7),(7,8)],9) [.,[[.,.],[.,.]]]=>[2,4,3,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) [.,[[.,[.,.]],.]]=>[3,2,4,1]=>[4,2,1,3]=>([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8) [.,[[[.,.],.],.]]=>[2,3,4,1]=>[4,1,2,3]=>([(0,1),(0,2),(0,3),(0,4),(1,7),(2,6),(3,5),(4,5),(4,6),(5,8),(6,8),(8,7)],9) [[.,.],[.,[.,.]]]=>[1,4,3,2]=>[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) [[.,.],[[.,.],.]]=>[1,3,4,2]=>[2,4,1,3]=>([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6) [[.,[.,.]],[.,.]]=>[2,1,4,3]=>[3,2,4,1]=>([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8) [[[.,.],.],[.,.]]=>[1,2,4,3]=>[2,3,4,1]=>([(0,1),(0,2),(0,3),(0,4),(1,7),(2,6),(3,5),(4,5),(4,6),(5,8),(6,8),(8,7)],9) [[.,[.,[.,.]]],.]=>[3,2,1,4]=>[3,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) [[.,[[.,.],.]],.]=>[2,3,1,4]=>[3,1,2,4]=>([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8) [[[.,.],[.,.]],.]=>[1,3,2,4]=>[2,3,1,4]=>([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8) [[[.,[.,.]],.],.]=>[2,1,3,4]=>[2,1,3,4]=>([(0,1),(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,5),(4,7),(5,8),(6,7),(7,8)],9) [[[[.,.],.],.],.]=>[1,2,3,4]=>[1,2,3,4]=>([(0,1),(0,2),(0,3),(0,4),(1,9),(2,8),(3,8),(3,10),(4,9),(4,10),(6,5),(7,5),(8,6),(9,7),(10,6),(10,7)],11) [.,[.,[.,[.,[.,.]]]]]=>[5,4,3,2,1]=>[5,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,5,3,2,1]=>[5,4,3,1,2]=>([(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) [.,[.,[[.,.],[.,.]]]]=>[3,5,4,2,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) [.,[.,[[.,[.,.]],.]]]=>[4,3,5,2,1]=>[5,4,2,1,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(1,8),(2,6),(3,7),(4,7),(5,6),(5,9),(6,10),(7,8),(8,9),(9,10)],11) [.,[.,[[[.,.],.],.]]]=>[3,4,5,2,1]=>[5,4,1,2,3]=>([(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) [.,[[.,.],[.,[.,.]]]]=>[2,5,4,3,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) [.,[[.,.],[[.,.],.]]]=>[2,4,5,3,1]=>[5,2,4,1,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,7),(5,6),(7,6)],8) [.,[[.,[.,.]],[.,.]]]=>[3,2,5,4,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,5,4,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) [.,[[.,[.,[.,.]]],.]]=>[4,3,2,5,1]=>[5,3,2,1,4]=>([(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,5,1]=>[5,3,1,2,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,8),(4,9),(5,7),(6,9),(8,7),(9,8)],10) [.,[[[.,.],[.,.]],.]]=>[2,4,3,5,1]=>[5,2,3,1,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,8),(4,9),(5,7),(6,9),(8,7),(9,8)],10) [.,[[[.,[.,.]],.],.]]=>[3,2,4,5,1]=>[5,2,1,3,4]=>([(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) [.,[[[[.,.],.],.],.]]=>[2,3,4,5,1]=>[5,1,2,3,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(1,11),(2,10),(3,6),(4,10),(4,12),(5,11),(5,12),(7,9),(8,9),(9,6),(10,7),(11,8),(12,7),(12,8)],13) [[.,.],[.,[.,[.,.]]]]=>[1,5,4,3,2]=>[4,5,3,2,1]=>([(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,4,5,3,2]=>[3,5,4,1,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(1,8),(2,6),(3,6),(4,7),(5,7),(6,9),(7,8),(8,9)],10) [[.,.],[[.,.],[.,.]]]=>[1,3,5,4,2]=>[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) [[.,.],[[.,[.,.]],.]]=>[1,4,3,5,2]=>[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) [[.,.],[[[.,.],.],.]]=>[1,3,4,5,2]=>[2,5,1,3,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,6),(5,6),(6,7)],8) [[.,[.,.]],[.,[.,.]]]=>[2,1,5,4,3]=>[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) [[.,[.,.]],[[.,.],.]]=>[2,1,4,5,3]=>[3,2,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) [[[.,.],.],[.,[.,.]]]=>[1,2,5,4,3]=>[3,4,5,2,1]=>([(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) [[[.,.],.],[[.,.],.]]=>[1,2,4,5,3]=>[2,3,5,1,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,6),(5,6),(6,7)],8) [[.,[.,[.,.]]],[.,.]]=>[3,2,1,5,4]=>[4,3,2,5,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) [[.,[[.,.],.]],[.,.]]=>[2,3,1,5,4]=>[4,2,3,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) [[[.,.],[.,.]],[.,.]]=>[1,3,2,5,4]=>[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) [[[.,[.,.]],.],[.,.]]=>[2,1,3,5,4]=>[3,2,4,5,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) [[[[.,.],.],.],[.,.]]=>[1,2,3,5,4]=>[2,3,4,5,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(1,11),(2,10),(3,6),(4,10),(4,12),(5,11),(5,12),(7,9),(8,9),(9,6),(10,7),(11,8),(12,7),(12,8)],13) [[.,[.,[.,[.,.]]]],.]=>[4,3,2,1,5]=>[4,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) [[.,[.,[[.,.],.]]],.]=>[3,4,2,1,5]=>[4,3,1,2,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(1,9),(2,6),(3,7),(4,7),(5,6),(5,8),(6,10),(7,8),(8,10),(10,9)],11) [[.,[[.,.],[.,.]]],.]=>[2,4,3,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) [[.,[[.,[.,.]],.]],.]=>[3,2,4,1,5]=>[4,2,1,3,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) [[.,[[[.,.],.],.]],.]=>[2,3,4,1,5]=>[4,1,2,3,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(1,9),(2,8),(3,7),(4,6),(5,6),(5,7),(6,10),(7,10),(8,9),(10,8)],11) [[[.,.],[.,[.,.]]],.]=>[1,4,3,2,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) [[[.,.],[[.,.],.]],.]=>[1,3,4,2,5]=>[2,4,1,3,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,7),(5,6),(7,6)],8) [[[.,[.,.]],[.,.]],.]=>[2,1,4,3,5]=>[3,2,4,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) [[[[.,.],.],[.,.]],.]=>[1,2,4,3,5]=>[2,3,4,1,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(1,9),(2,8),(3,7),(4,6),(5,6),(5,7),(6,10),(7,10),(8,9),(10,8)],11) [[[.,[.,[.,.]]],.],.]=>[3,2,1,4,5]=>[3,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) [[[.,[[.,.],.]],.],.]=>[2,3,1,4,5]=>[3,1,2,4,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(1,8),(2,6),(3,7),(4,7),(5,6),(5,9),(6,10),(7,8),(8,9),(9,10)],11) [[[[.,.],[.,.]],.],.]=>[1,3,2,4,5]=>[2,3,1,4,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(1,8),(2,6),(3,7),(4,7),(5,6),(5,9),(6,10),(7,8),(8,9),(9,10)],11) [[[[.,[.,.]],.],.],.]=>[2,1,3,4,5]=>[2,1,3,4,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(1,11),(2,11),(3,10),(4,9),(4,12),(5,10),(5,12),(7,6),(8,6),(9,7),(10,8),(11,9),(12,7),(12,8)],13) [[[[[.,.],.],.],.],.]=>[1,2,3,4,5]=>[1,2,3,4,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(2,11),(3,11),(3,14),(4,12),(4,15),(5,14),(5,15),(7,9),(8,10),(9,6),(10,6),(11,7),(12,8),(13,9),(13,10),(14,7),(14,13),(15,8),(15,13)],16) [.,[.,[.,[.,[.,[.,.]]]]]]=>[6,5,4,3,2,1]=>[6,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) [.,[.,[.,[.,[[.,.],.]]]]]=>[5,6,4,3,2,1]=>[6,5,4,3,1,2]=>([(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) [.,[.,[.,[[.,.],[.,.]]]]]=>[4,6,5,3,2,1]=>[6,5,4,2,3,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,13),(2,17),(3,17),(4,12),(5,15),(5,16),(6,13),(6,16),(8,10),(9,11),(10,7),(11,7),(12,9),(13,8),(14,10),(14,11),(15,9),(15,14),(16,8),(16,14),(17,12),(17,15)],18) [.,[.,[.,[[.,[.,.]],.]]]]=>[5,4,6,3,2,1]=>[6,5,4,2,1,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,12),(2,13),(3,13),(4,11),(5,12),(5,14),(6,10),(6,14),(8,7),(9,7),(10,9),(11,10),(12,8),(13,11),(14,8),(14,9)],15) [.,[.,[.,[[[.,.],.],.]]]]=>[4,5,6,3,2,1]=>[6,5,4,1,2,3]=>([(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,6,5,4,2,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) [.,[.,[[.,.],[[.,.],.]]]]=>[3,5,6,4,2,1]=>[6,5,2,4,1,3]=>([(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,3,6,5,2,1]=>[6,5,3,2,4,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) [.,[.,[[[.,.],.],[.,.]]]]=>[3,4,6,5,2,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) [.,[.,[[.,[.,[.,.]]],.]]]=>[5,4,3,6,2,1]=>[6,5,3,2,1,4]=>([(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) [.,[.,[[.,[[.,.],.]],.]]]=>[4,5,3,6,2,1]=>[6,5,3,1,2,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,7),(4,10),(5,11),(6,7),(6,9),(7,12),(8,11),(9,12),(10,9),(11,10)],13) [.,[.,[[[.,.],[.,.]],.]]]=>[3,5,4,6,2,1]=>[6,5,2,3,1,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,7),(4,10),(5,11),(6,7),(6,9),(7,12),(8,11),(9,12),(10,9),(11,10)],13) [.,[.,[[[.,[.,.]],.],.]]]=>[4,3,5,6,2,1]=>[6,5,2,1,3,4]=>([(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,4,5,6,2,1]=>[6,5,1,2,3,4]=>([(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,6,5,4,3,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) [.,[[.,.],[.,[[.,.],.]]]]=>[2,5,6,4,3,1]=>[6,3,5,4,1,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,10),(2,9),(3,7),(4,7),(5,8),(6,8),(7,12),(8,9),(9,10),(9,12),(10,11),(12,11)],13) [.,[[.,.],[[.,.],[.,.]]]]=>[2,4,6,5,3,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) [.,[[.,.],[[.,[.,.]],.]]]=>[2,5,4,6,3,1]=>[6,3,5,2,1,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(2,9),(3,9),(4,7),(5,7),(6,8),(7,9),(9,8)],10) [.,[[.,.],[[[.,.],.],.]]]=>[2,4,5,6,3,1]=>[6,2,5,1,3,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(2,9),(3,9),(4,7),(5,7),(6,8),(7,9),(9,8)],10) [.,[[.,[.,.]],[.,[.,.]]]]=>[3,2,6,5,4,1]=>[6,4,3,5,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) [.,[[.,[.,.]],[[.,.],.]]]=>[3,2,5,6,4,1]=>[6,3,2,5,1,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(2,9),(3,9),(4,7),(5,7),(6,8),(7,9),(9,8)],10) [.,[[[.,.],.],[.,[.,.]]]]=>[2,3,6,5,4,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) [.,[[[.,.],.],[[.,.],.]]]=>[2,3,5,6,4,1]=>[6,2,3,5,1,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(2,9),(3,9),(4,7),(5,7),(6,8),(7,9),(9,8)],10) [.,[[.,[.,[.,.]]],[.,.]]]=>[4,3,2,6,5,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) [.,[[.,[[.,.],.]],[.,.]]]=>[3,4,2,6,5,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) [.,[[[.,.],[.,.]],[.,.]]]=>[2,4,3,6,5,1]=>[6,3,4,2,5,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,9),(4,8),(5,11),(6,10),(7,10),(8,12),(9,12),(10,11),(11,8),(11,9)],13) [.,[[[.,[.,.]],.],[.,.]]]=>[3,2,4,6,5,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,6,5,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) [.,[[.,[.,[.,[.,.]]]],.]]=>[5,4,3,2,6,1]=>[6,4,3,2,1,5]=>([(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,6,1]=>[6,4,3,1,2,5]=>([(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) [.,[[.,[[.,.],[.,.]]],.]]=>[3,5,4,2,6,1]=>[6,4,2,3,1,5]=>([(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,2,6,1]=>[6,4,2,1,3,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,9),(4,10),(5,11),(6,8),(7,11),(9,10),(10,8),(11,9)],12) [.,[[.,[[[.,.],.],.]],.]]=>[3,4,5,2,6,1]=>[6,4,1,2,3,5]=>([(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) [.,[[[.,.],[.,[.,.]]],.]]=>[2,5,4,3,6,1]=>[6,3,4,2,1,5]=>([(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) [.,[[[.,.],[[.,.],.]],.]]=>[2,4,5,3,6,1]=>[6,2,4,1,3,5]=>([(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) [.,[[[.,[.,.]],[.,.]],.]]=>[3,2,5,4,6,1]=>[6,3,2,4,1,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,9),(4,10),(5,11),(6,8),(7,11),(9,10),(10,8),(11,9)],12) [.,[[[[.,.],.],[.,.]],.]]=>[2,3,5,4,6,1]=>[6,2,3,4,1,5]=>([(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) [.,[[[.,[.,[.,.]]],.],.]]=>[4,3,2,5,6,1]=>[6,3,2,1,4,5]=>([(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) [.,[[[.,[[.,.],.]],.],.]]=>[3,4,2,5,6,1]=>[6,3,1,2,4,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,7),(4,10),(5,11),(6,7),(6,9),(7,12),(8,11),(9,12),(11,9),(12,10)],13) [.,[[[[.,.],[.,.]],.],.]]=>[2,4,3,5,6,1]=>[6,2,3,1,4,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,7),(4,10),(5,11),(6,7),(6,9),(7,12),(8,11),(9,12),(11,9),(12,10)],13) [.,[[[[.,[.,.]],.],.],.]]=>[3,2,4,5,6,1]=>[6,2,1,3,4,5]=>([(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) [.,[[[[[.,.],.],.],.],.]]=>[2,3,4,5,6,1]=>[6,1,2,3,4,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,14),(2,13),(3,7),(4,13),(4,16),(5,14),(5,17),(6,16),(6,17),(8,12),(9,12),(10,8),(11,9),(12,7),(13,10),(14,11),(15,8),(15,9),(16,10),(16,15),(17,11),(17,15)],18) [[.,.],[.,[.,[.,[.,.]]]]]=>[1,6,5,4,3,2]=>[5,6,4,3,2,1]=>([(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,5,6,4,3,2]=>[4,6,5,3,1,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,8),(4,8),(5,11),(6,9),(6,10),(7,10),(8,11),(9,12),(10,12),(11,9)],13) [[.,.],[.,[[.,.],[.,.]]]]=>[1,4,6,5,3,2]=>[4,6,5,2,3,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,10),(8,9),(8,11),(9,12),(10,11),(11,12)],13) [[.,.],[.,[[.,[.,.]],.]]]=>[1,5,4,6,3,2]=>[4,6,5,2,1,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,10),(2,9),(3,7),(4,7),(5,8),(6,8),(7,9),(8,10),(9,11),(10,11)],12) [[.,.],[.,[[[.,.],.],.]]]=>[1,4,5,6,3,2]=>[3,6,5,1,2,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) [[.,.],[[.,.],[.,[.,.]]]]=>[1,3,6,5,4,2]=>[4,6,3,5,2,1]=>([(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) [[.,.],[[.,.],[[.,.],.]]]=>[1,3,5,6,4,2]=>[3,6,2,5,1,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) [[.,.],[[.,[.,.]],[.,.]]]=>[1,4,3,6,5,2]=>[4,6,3,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) [[.,.],[[[.,.],.],[.,.]]]=>[1,3,4,6,5,2]=>[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) [[.,.],[[.,[.,[.,.]]],.]]=>[1,5,4,3,6,2]=>[4,6,3,2,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) [[.,.],[[.,[[.,.],.]],.]]=>[1,4,5,3,6,2]=>[3,6,4,1,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) [[.,.],[[[.,.],[.,.]],.]]=>[1,3,5,4,6,2]=>[3,6,2,4,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) [[.,.],[[[.,[.,.]],.],.]]=>[1,4,3,5,6,2]=>[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) [[.,.],[[[[.,.],.],.],.]]=>[1,3,4,5,6,2]=>[2,6,1,3,4,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,10),(2,10),(3,10),(4,8),(5,7),(6,7),(6,8),(7,9),(8,9),(9,10)],11) [[.,[.,.]],[.,[.,[.,.]]]]=>[2,1,6,5,4,3]=>[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) [[.,[.,.]],[.,[[.,.],.]]]=>[2,1,5,6,4,3]=>[4,3,6,5,1,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(2,9),(3,8),(4,8),(5,7),(6,7),(7,11),(8,10),(9,10),(10,11)],12) [[.,[.,.]],[[.,.],[.,.]]]=>[2,1,4,6,5,3]=>[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) [[.,[.,.]],[[.,[.,.]],.]]=>[2,1,5,4,6,3]=>[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) [[.,[.,.]],[[[.,.],.],.]]=>[2,1,4,5,6,3]=>[3,2,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) [[[.,.],.],[.,[.,[.,.]]]]=>[1,2,6,5,4,3]=>[4,5,6,3,2,1]=>([(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) [[[.,.],.],[.,[[.,.],.]]]=>[1,2,5,6,4,3]=>[3,4,6,5,1,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,8),(3,8),(4,9),(5,9),(6,7),(6,10),(7,12),(8,11),(9,10),(10,12),(12,11)],13) [[[.,.],.],[[.,.],[.,.]]]=>[1,2,4,6,5,3]=>[3,4,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) [[[.,.],.],[[.,[.,.]],.]]=>[1,2,5,4,6,3]=>[3,4,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) [[[.,.],.],[[[.,.],.],.]]=>[1,2,4,5,6,3]=>[2,3,6,1,4,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(2,9),(3,8),(4,8),(5,7),(6,7),(7,9),(8,9)],10) [[.,[.,[.,.]]],[.,[.,.]]]=>[3,2,1,6,5,4]=>[5,4,3,6,2,1]=>([(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,5,6,4]=>[4,3,2,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) [[.,[[.,.],.]],[.,[.,.]]]=>[2,3,1,6,5,4]=>[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) [[.,[[.,.],.]],[[.,.],.]]=>[2,3,1,5,6,4]=>[4,2,3,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) [[[.,.],[.,.]],[.,[.,.]]]=>[1,3,2,6,5,4]=>[4,5,3,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) [[[.,.],[.,.]],[[.,.],.]]=>[1,3,2,5,6,4]=>[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) [[[.,[.,.]],.],[.,[.,.]]]=>[2,1,3,6,5,4]=>[4,3,5,6,2,1]=>([(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) [[[.,[.,.]],.],[[.,.],.]]=>[2,1,3,5,6,4]=>[3,2,4,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) [[[[.,.],.],.],[.,[.,.]]]=>[1,2,3,6,5,4]=>[3,4,5,6,2,1]=>([(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) [[[[.,.],.],.],[[.,.],.]]=>[1,2,3,5,6,4]=>[2,3,4,6,1,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,10),(2,10),(3,10),(4,8),(5,7),(6,7),(6,8),(7,9),(8,9),(9,10)],11) [[.,[.,[.,[.,.]]]],[.,.]]=>[4,3,2,1,6,5]=>[5,4,3,2,6,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) [[.,[.,[[.,.],.]]],[.,.]]=>[3,4,2,1,6,5]=>[5,4,2,3,6,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) [[.,[[.,.],[.,.]]],[.,.]]=>[2,4,3,1,6,5]=>[5,3,4,2,6,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) [[.,[[.,[.,.]],.]],[.,.]]=>[3,2,4,1,6,5]=>[5,3,2,4,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) [[.,[[[.,.],.],.]],[.,.]]=>[2,3,4,1,6,5]=>[5,2,3,4,6,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) [[[.,.],[.,[.,.]]],[.,.]]=>[1,4,3,2,6,5]=>[4,5,3,2,6,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) [[[.,.],[[.,.],.]],[.,.]]=>[1,3,4,2,6,5]=>[3,5,2,4,6,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) [[[.,[.,.]],[.,.]],[.,.]]=>[2,1,4,3,6,5]=>[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) [[[[.,.],.],[.,.]],[.,.]]=>[1,2,4,3,6,5]=>[3,4,5,2,6,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) [[[.,[.,[.,.]]],.],[.,.]]=>[3,2,1,4,6,5]=>[4,3,2,5,6,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) [[[.,[[.,.],.]],.],[.,.]]=>[2,3,1,4,6,5]=>[4,2,3,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) [[[[.,.],[.,.]],.],[.,.]]=>[1,3,2,4,6,5]=>[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) [[[[.,[.,.]],.],.],[.,.]]=>[2,1,3,4,6,5]=>[3,2,4,5,6,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) [[[[[.,.],.],.],.],[.,.]]=>[1,2,3,4,6,5]=>[2,3,4,5,6,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,14),(2,13),(3,7),(4,13),(4,16),(5,14),(5,17),(6,16),(6,17),(8,12),(9,12),(10,8),(11,9),(12,7),(13,10),(14,11),(15,8),(15,9),(16,10),(16,15),(17,11),(17,15)],18) [[.,[.,[.,[.,[.,.]]]]],.]=>[5,4,3,2,1,6]=>[5,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,5,3,2,1,6]=>[5,4,3,1,2,6]=>([(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) [[.,[.,[[.,.],[.,.]]]],.]=>[3,5,4,2,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) [[.,[.,[[.,[.,.]],.]]],.]=>[4,3,5,2,1,6]=>[5,4,2,1,3,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,7),(4,10),(5,11),(6,7),(6,9),(7,12),(8,11),(9,12),(11,9),(12,10)],13) [[.,[.,[[[.,.],.],.]]],.]=>[3,4,5,2,1,6]=>[5,4,1,2,3,6]=>([(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) [[.,[[.,.],[.,[.,.]]]],.]=>[2,5,4,3,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) [[.,[[.,.],[[.,.],.]]],.]=>[2,4,5,3,1,6]=>[5,2,4,1,3,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) [[.,[[.,[.,.]],[.,.]]],.]=>[3,2,5,4,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,5,4,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) [[.,[[.,[.,[.,.]]],.]],.]=>[4,3,2,5,1,6]=>[5,3,2,1,4,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,2,5,1,6]=>[5,3,1,2,4,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,9),(4,10),(5,11),(6,8),(7,11),(9,10),(10,8),(11,9)],12) [[.,[[[.,.],[.,.]],.]],.]=>[2,4,3,5,1,6]=>[5,2,3,1,4,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,9),(4,10),(5,11),(6,8),(7,11),(9,10),(10,8),(11,9)],12) [[.,[[[.,[.,.]],.],.]],.]=>[3,2,4,5,1,6]=>[5,2,1,3,4,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) [[.,[[[[.,.],.],.],.]],.]=>[2,3,4,5,1,6]=>[5,1,2,3,4,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,11),(2,13),(3,12),(4,7),(5,12),(5,14),(6,13),(6,14),(8,11),(9,8),(10,8),(11,7),(12,9),(13,10),(14,9),(14,10)],15) [[[.,.],[.,[.,[.,.]]]],.]=>[1,5,4,3,2,6]=>[4,5,3,2,1,6]=>([(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) [[[.,.],[.,[[.,.],.]]],.]=>[1,4,5,3,2,6]=>[3,5,4,1,2,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(2,10),(3,7),(4,7),(5,8),(6,8),(7,11),(8,9),(9,11),(11,10)],12) [[[.,.],[[.,.],[.,.]]],.]=>[1,3,5,4,2,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) [[[.,.],[[.,[.,.]],.]],.]=>[1,4,3,5,2,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) [[[.,.],[[[.,.],.],.]],.]=>[1,3,4,5,2,6]=>[2,5,1,3,4,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(2,9),(3,9),(4,7),(5,7),(6,8),(7,9),(9,8)],10) [[[.,[.,.]],[.,[.,.]]],.]=>[2,1,5,4,3,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) [[[.,[.,.]],[[.,.],.]],.]=>[2,1,4,5,3,6]=>[3,2,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) [[[[.,.],.],[.,[.,.]]],.]=>[1,2,5,4,3,6]=>[3,4,5,2,1,6]=>([(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) [[[[.,.],.],[[.,.],.]],.]=>[1,2,4,5,3,6]=>[2,3,5,1,4,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,9),(2,9),(3,9),(4,7),(5,7),(6,8),(7,9),(9,8)],10) [[[.,[.,[.,.]]],[.,.]],.]=>[3,2,1,5,4,6]=>[4,3,2,5,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) [[[.,[[.,.],.]],[.,.]],.]=>[2,3,1,5,4,6]=>[4,2,3,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) [[[[.,.],[.,.]],[.,.]],.]=>[1,3,2,5,4,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) [[[[.,[.,.]],.],[.,.]],.]=>[2,1,3,5,4,6]=>[3,2,4,5,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) [[[[[.,.],.],.],[.,.]],.]=>[1,2,3,5,4,6]=>[2,3,4,5,1,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,11),(2,13),(3,12),(4,7),(5,12),(5,14),(6,13),(6,14),(8,11),(9,8),(10,8),(11,7),(12,9),(13,10),(14,9),(14,10)],15) [[[.,[.,[.,[.,.]]]],.],.]=>[4,3,2,1,5,6]=>[4,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) [[[.,[.,[[.,.],.]]],.],.]=>[3,4,2,1,5,6]=>[4,3,1,2,5,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,12),(2,13),(3,13),(4,11),(5,10),(5,12),(6,9),(6,11),(8,10),(9,8),(10,7),(11,8),(12,7),(13,9)],14) [[[.,[[.,.],[.,.]]],.],.]=>[2,4,3,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) [[[.,[[.,[.,.]],.]],.],.]=>[3,2,4,1,5,6]=>[4,2,1,3,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) [[[.,[[[.,.],.],.]],.],.]=>[2,3,4,1,5,6]=>[4,1,2,3,5,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,12),(2,11),(3,13),(4,10),(5,11),(5,12),(6,9),(6,13),(8,10),(9,7),(10,9),(11,8),(12,8),(13,7)],14) [[[[.,.],[.,[.,.]]],.],.]=>[1,4,3,2,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) [[[[.,.],[[.,.],.]],.],.]=>[1,3,4,2,5,6]=>[2,4,1,3,5,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,10),(2,10),(3,10),(4,10),(5,7),(6,7),(6,8),(7,9),(8,9),(10,8)],11) [[[[.,[.,.]],[.,.]],.],.]=>[2,1,4,3,5,6]=>[3,2,4,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) [[[[[.,.],.],[.,.]],.],.]=>[1,2,4,3,5,6]=>[2,3,4,1,5,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,12),(2,11),(3,13),(4,10),(5,11),(5,12),(6,9),(6,13),(8,10),(9,7),(10,9),(11,8),(12,8),(13,7)],14) [[[[.,[.,[.,.]]],.],.],.]=>[3,2,1,4,5,6]=>[3,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) [[[[.,[[.,.],.]],.],.],.]=>[2,3,1,4,5,6]=>[3,1,2,4,5,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,12),(2,13),(3,13),(4,11),(5,12),(5,14),(6,10),(6,14),(8,7),(9,7),(10,9),(11,10),(12,8),(13,11),(14,8),(14,9)],15) [[[[[.,.],[.,.]],.],.],.]=>[1,3,2,4,5,6]=>[2,3,1,4,5,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,12),(2,13),(3,13),(4,11),(5,12),(5,14),(6,10),(6,14),(8,7),(9,7),(10,9),(11,10),(12,8),(13,11),(14,8),(14,9)],15) [[[[[.,[.,.]],.],.],.],.]=>[2,1,3,4,5,6]=>[2,1,3,4,5,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,14),(2,14),(3,13),(4,12),(4,16),(5,13),(5,17),(6,16),(6,17),(8,10),(9,11),(10,7),(11,7),(12,8),(13,9),(14,12),(15,10),(15,11),(16,8),(16,15),(17,9),(17,15)],18) [[[[[[.,.],.],.],.],.],.]=>[1,2,3,4,5,6]=>[1,2,3,4,5,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,15),(2,14),(3,19),(3,21),(4,20),(4,21),(5,14),(5,19),(6,15),(6,20),(8,10),(9,11),(10,12),(11,13),(12,7),(13,7),(14,8),(15,9),(16,10),(16,18),(17,11),(17,18),(18,12),(18,13),(19,8),(19,16),(20,9),(20,17),(21,16),(21,17)],22) [.,[.,[.,[.,[[.,[.,.]],.]]]]]=>[6,5,7,4,3,2,1]=>[7,6,5,4,2,1,3]=>([(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) [.,[.,[.,[.,[[[.,.],.],.]]]]]=>[5,6,7,4,3,2,1]=>[7,6,5,4,1,2,3]=>([(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) [.,[.,[.,[[.,.],[[.,.],.]]]]]=>[4,6,7,5,3,2,1]=>[7,6,5,2,4,1,3]=>([(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) [.,[.,[.,[[.,[.,.]],[.,.]]]]]=>[5,4,7,6,3,2,1]=>[7,6,5,3,2,4,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,14),(2,19),(3,15),(4,15),(5,13),(6,17),(6,18),(7,14),(7,18),(9,11),(10,12),(11,8),(12,8),(13,10),(14,9),(15,19),(16,11),(16,12),(17,10),(17,16),(18,9),(18,16),(19,13),(19,17)],20) [.,[.,[.,[[[.,.],.],[.,.]]]]]=>[4,5,7,6,3,2,1]=>[7,6,5,2,3,4,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,14),(2,13),(3,16),(4,15),(5,14),(5,20),(6,19),(6,20),(7,15),(7,16),(9,11),(10,12),(11,8),(12,8),(13,10),(14,9),(15,18),(16,18),(17,11),(17,12),(18,13),(18,19),(19,10),(19,17),(20,9),(20,17)],21) [.,[.,[.,[[.,[.,[.,.]]],.]]]]=>[6,5,4,7,3,2,1]=>[7,6,5,3,2,1,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,13),(2,16),(3,15),(4,14),(5,15),(5,16),(6,12),(6,17),(7,14),(7,17),(9,13),(10,8),(11,8),(12,10),(13,12),(14,11),(15,9),(16,9),(17,10),(17,11)],18) [.,[.,[.,[[.,[[.,.],.]],.]]]]=>[5,6,4,7,3,2,1]=>[7,6,5,3,1,2,4]=>([(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,6,5,7,3,2,1]=>[7,6,5,2,3,1,4]=>([(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) [.,[.,[.,[[[.,[.,.]],.],.]]]]=>[5,4,6,7,3,2,1]=>[7,6,5,2,1,3,4]=>([(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) [.,[.,[.,[[[[.,.],.],.],.]]]]=>[4,5,6,7,3,2,1]=>[7,6,5,1,2,3,4]=>([(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) [.,[.,[[.,.],[.,[[.,.],.]]]]]=>[3,6,7,5,4,2,1]=>[7,6,3,5,4,1,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,16),(2,13),(3,13),(4,14),(5,14),(6,12),(7,12),(7,15),(9,10),(10,8),(11,8),(12,11),(13,9),(14,16),(15,10),(15,11),(16,9),(16,15)],17) [.,[.,[[.,.],[[.,.],[.,.]]]]]=>[3,5,7,6,4,2,1]=>[7,6,3,5,2,4,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) [.,[.,[[.,.],[[.,[.,.]],.]]]]=>[3,6,5,7,4,2,1]=>[7,6,3,5,2,1,4]=>([(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) [.,[.,[[.,.],[[[.,.],.],.]]]]=>[3,5,6,7,4,2,1]=>[7,6,2,5,1,3,4]=>([(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,7,6,5,2,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) [.,[.,[[.,[.,.]],[[.,.],.]]]]=>[4,3,6,7,5,2,1]=>[7,6,3,2,5,1,4]=>([(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) [.,[.,[[[.,.],.],[.,[.,.]]]]]=>[3,4,7,6,5,2,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) [.,[.,[[[.,.],.],[[.,.],.]]]]=>[3,4,6,7,5,2,1]=>[7,6,2,3,5,1,4]=>([(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,3,7,6,2,1]=>[7,6,4,3,2,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,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,3,7,6,2,1]=>[7,6,4,2,3,5,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(2,12),(3,13),(4,16),(5,14),(6,14),(7,13),(7,15),(9,8),(10,8),(11,16),(12,9),(13,10),(14,11),(15,9),(15,10),(16,12),(16,15)],17) [.,[.,[[[.,.],[.,.]],[.,.]]]]=>[3,5,4,7,6,2,1]=>[7,6,3,4,2,5,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(2,12),(3,13),(4,16),(5,14),(6,14),(7,13),(7,15),(9,8),(10,8),(11,16),(12,9),(13,10),(14,11),(15,9),(15,10),(16,12),(16,15)],17) [.,[.,[[[.,[.,.]],.],[.,.]]]]=>[4,3,5,7,6,2,1]=>[7,6,3,2,4,5,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) [.,[.,[[[[.,.],.],.],[.,.]]]]=>[3,4,5,7,6,2,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) [.,[.,[[.,[.,[.,[.,.]]]],.]]]=>[6,5,4,3,7,2,1]=>[7,6,4,3,2,1,5]=>([(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) [.,[.,[[.,[.,[[.,.],.]]],.]]]=>[5,6,4,3,7,2,1]=>[7,6,4,3,1,2,5]=>([(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) [.,[.,[[.,[[.,.],[.,.]]],.]]]=>[4,6,5,3,7,2,1]=>[7,6,4,2,3,1,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,13),(2,12),(3,11),(4,14),(5,15),(6,15),(7,10),(7,14),(9,11),(10,8),(11,10),(12,9),(13,9),(14,8),(15,12),(15,13)],16) [.,[.,[[.,[[.,[.,.]],.]],.]]]=>[5,4,6,3,7,2,1]=>[7,6,4,2,1,3,5]=>([(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,6,3,7,2,1]=>[7,6,4,1,2,3,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,14),(2,13),(3,12),(4,15),(5,11),(6,13),(6,14),(7,10),(7,15),(9,12),(10,8),(11,10),(12,11),(13,9),(14,9),(15,8)],16) [.,[.,[[[.,.],[.,[.,.]]],.]]]=>[3,6,5,4,7,2,1]=>[7,6,3,4,2,1,5]=>([(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) [.,[.,[[[.,.],[[.,.],.]],.]]]=>[3,5,6,4,7,2,1]=>[7,6,2,4,1,3,5]=>([(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) [.,[.,[[[.,[.,.]],[.,.]],.]]]=>[4,3,6,5,7,2,1]=>[7,6,3,2,4,1,5]=>([(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) [.,[.,[[[[.,.],.],[.,.]],.]]]=>[3,4,6,5,7,2,1]=>[7,6,2,3,4,1,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,14),(2,13),(3,12),(4,15),(5,11),(6,13),(6,14),(7,10),(7,15),(9,12),(10,8),(11,10),(12,11),(13,9),(14,9),(15,8)],16) [.,[.,[[[.,[.,[.,.]]],.],.]]]=>[5,4,3,6,7,2,1]=>[7,6,3,2,1,4,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,16),(2,15),(3,14),(4,13),(5,12),(5,16),(6,11),(6,13),(7,14),(7,15),(9,12),(10,11),(11,9),(12,8),(13,9),(14,10),(15,10),(16,8)],17) [.,[.,[[[.,[[.,.],.]],.],.]]]=>[4,5,3,6,7,2,1]=>[7,6,3,1,2,4,5]=>([(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) [.,[.,[[[[.,.],[.,.]],.],.]]]=>[3,5,4,6,7,2,1]=>[7,6,2,3,1,4,5]=>([(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) [.,[.,[[[[.,[.,.]],.],.],.]]]=>[4,3,5,6,7,2,1]=>[7,6,2,1,3,4,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,15),(2,16),(3,16),(4,14),(5,13),(5,15),(6,12),(6,17),(7,14),(7,17),(9,13),(10,9),(11,9),(12,10),(13,8),(14,11),(15,8),(16,12),(17,10),(17,11)],18) [.,[.,[[[[[.,.],.],.],.],.]]]=>[3,4,5,6,7,2,1]=>[7,6,1,2,3,4,5]=>([(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) [.,[[.,.],[.,[.,[[.,.],.]]]]]=>[2,6,7,5,4,3,1]=>[7,4,6,5,3,1,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,16),(2,13),(3,13),(4,14),(5,14),(6,12),(7,11),(7,15),(9,8),(10,8),(11,9),(12,10),(13,11),(14,16),(15,9),(15,10),(16,12),(16,15)],17) [.,[[.,.],[.,[[.,.],[.,.]]]]]=>[2,5,7,6,4,3,1]=>[7,4,6,5,2,3,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,16),(2,16),(3,15),(4,13),(5,13),(6,11),(7,12),(9,8),(10,8),(11,9),(12,10),(13,15),(14,9),(14,10),(15,12),(15,14),(16,11),(16,14)],17) [.,[[.,.],[.,[[.,[.,.]],.]]]]=>[2,6,5,7,4,3,1]=>[7,4,6,5,2,1,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,9),(4,9),(5,10),(6,11),(7,12),(8,11),(9,12),(10,14),(11,13),(12,10),(12,13),(13,14)],15) [.,[[.,.],[.,[[[.,.],.],.]]]]=>[2,5,6,7,4,3,1]=>[7,3,6,5,1,2,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(2,11),(3,9),(4,9),(5,8),(6,8),(7,10),(8,11),(9,11),(11,10)],12) [.,[[.,.],[[.,.],[.,[.,.]]]]]=>[2,4,7,6,5,3,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) [.,[[.,.],[[.,.],[[.,.],.]]]]=>[2,4,6,7,5,3,1]=>[7,3,6,2,5,1,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,9),(4,9),(5,9),(6,9),(7,8),(9,8)],10) [.,[[.,.],[[.,[.,.]],[.,.]]]]=>[2,5,4,7,6,3,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) [.,[[.,.],[[[.,.],.],[.,.]]]]=>[2,4,5,7,6,3,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) [.,[[.,.],[[.,[.,[.,.]]],.]]]=>[2,6,5,4,7,3,1]=>[7,4,6,3,2,1,5]=>([(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) [.,[[.,.],[[.,[[.,.],.]],.]]]=>[2,5,6,4,7,3,1]=>[7,3,6,4,1,2,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,10),(3,10),(4,10),(5,8),(6,8),(7,9),(8,10),(10,9)],11) [.,[[.,.],[[[.,.],[.,.]],.]]]=>[2,4,6,5,7,3,1]=>[7,3,6,2,4,1,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,9),(4,9),(5,9),(6,9),(7,8),(9,8)],10) [.,[[.,.],[[[.,[.,.]],.],.]]]=>[2,5,4,6,7,3,1]=>[7,3,6,2,1,4,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(2,11),(3,9),(4,9),(5,8),(6,8),(7,10),(8,11),(9,11),(11,10)],12) [.,[[.,.],[[[[.,.],.],.],.]]]=>[2,4,5,6,7,3,1]=>[7,2,6,1,3,4,5]=>([(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) [.,[[.,[.,.]],[.,[.,[.,.]]]]]=>[3,2,7,6,5,4,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) [.,[[.,[.,.]],[.,[[.,.],.]]]]=>[3,2,6,7,5,4,1]=>[7,4,3,6,5,1,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(2,9),(3,9),(4,8),(5,8),(6,10),(7,10),(8,13),(9,13),(10,12),(11,14),(12,14),(13,11),(13,12)],15) [.,[[.,[.,.]],[[.,.],[.,.]]]]=>[3,2,5,7,6,4,1]=>[7,4,3,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) [.,[[.,[.,.]],[[.,[.,.]],.]]]=>[3,2,6,5,7,4,1]=>[7,4,3,6,2,1,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(2,11),(3,9),(4,9),(5,8),(6,8),(7,10),(8,11),(9,11),(11,10)],12) [.,[[.,[.,.]],[[[.,.],.],.]]]=>[3,2,5,6,7,4,1]=>[7,3,2,6,1,4,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(2,11),(3,9),(4,9),(5,8),(6,8),(7,10),(8,11),(9,11),(11,10)],12) [.,[[[.,.],.],[.,[.,[.,.]]]]]=>[2,3,7,6,5,4,1]=>[7,4,5,6,3,2,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,14),(2,13),(3,16),(4,15),(5,14),(5,20),(6,19),(6,20),(7,15),(7,16),(9,11),(10,12),(11,8),(12,8),(13,10),(14,9),(15,18),(16,18),(17,11),(17,12),(18,13),(18,19),(19,10),(19,17),(20,9),(20,17)],21) [.,[[[.,.],.],[.,[[.,.],.]]]]=>[2,3,6,7,5,4,1]=>[7,3,4,6,5,1,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,13),(3,13),(4,14),(5,14),(6,11),(7,10),(7,12),(9,8),(10,15),(11,8),(12,15),(13,9),(14,10),(15,9),(15,11)],16) [.,[[[.,.],.],[[.,.],[.,.]]]]=>[2,3,5,7,6,4,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) [.,[[[.,.],.],[[.,[.,.]],.]]]=>[2,3,6,5,7,4,1]=>[7,3,4,6,2,1,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(2,11),(3,9),(4,9),(5,8),(6,8),(7,10),(8,11),(9,11),(11,10)],12) [.,[[[.,.],.],[[[.,.],.],.]]]=>[2,3,5,6,7,4,1]=>[7,2,3,6,1,4,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(2,11),(3,9),(4,9),(5,8),(6,8),(7,10),(8,11),(9,11),(11,10)],12) [.,[[.,[.,[.,.]]],[.,[.,.]]]]=>[4,3,2,7,6,5,1]=>[7,5,4,3,6,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,3,2,6,7,5,1]=>[7,4,3,2,6,1,5]=>([(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) [.,[[.,[[.,.],.]],[.,[.,.]]]]=>[3,4,2,7,6,5,1]=>[7,5,3,4,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) [.,[[.,[[.,.],.]],[[.,.],.]]]=>[3,4,2,6,7,5,1]=>[7,4,2,3,6,1,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,11),(3,11),(4,11),(5,8),(6,8),(7,9),(8,10),(10,11),(11,9)],12) [.,[[[.,.],[.,.]],[.,[.,.]]]]=>[2,4,3,7,6,5,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) [.,[[[.,.],[.,.]],[[.,.],.]]]=>[2,4,3,6,7,5,1]=>[7,3,4,2,6,1,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,11),(3,11),(4,11),(5,8),(6,8),(7,9),(8,10),(10,11),(11,9)],12) [.,[[[.,[.,.]],.],[.,[.,.]]]]=>[3,2,4,7,6,5,1]=>[7,4,3,5,6,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) [.,[[[.,[.,.]],.],[[.,.],.]]]=>[3,2,4,6,7,5,1]=>[7,3,2,4,6,1,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,11),(3,11),(4,11),(5,8),(6,8),(7,9),(8,10),(10,11),(11,9)],12) [.,[[[[.,.],.],.],[.,[.,.]]]]=>[2,3,4,7,6,5,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) [.,[[[[.,.],.],.],[[.,.],.]]]=>[2,3,4,6,7,5,1]=>[7,2,3,4,6,1,5]=>([(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,4,3,2,7,6,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) [.,[[.,[.,[[.,.],.]]],[.,.]]]=>[4,5,3,2,7,6,1]=>[7,5,4,2,3,6,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,11),(3,13),(4,14),(5,14),(6,15),(7,10),(7,13),(9,15),(10,9),(11,8),(12,8),(13,9),(14,10),(15,11),(15,12)],16) [.,[[.,[[.,.],[.,.]]],[.,.]]]=>[3,5,4,2,7,6,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) [.,[[.,[[.,[.,.]],.]],[.,.]]]=>[4,3,5,2,7,6,1]=>[7,5,3,2,4,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) [.,[[.,[[[.,.],.],.]],[.,.]]]=>[3,4,5,2,7,6,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) [.,[[[.,.],[.,[.,.]]],[.,.]]]=>[2,5,4,3,7,6,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) [.,[[[.,.],[[.,.],.]],[.,.]]]=>[2,4,5,3,7,6,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) [.,[[[.,[.,.]],[.,.]],[.,.]]]=>[3,2,5,4,7,6,1]=>[7,4,3,5,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) [.,[[[[.,.],.],[.,.]],[.,.]]]=>[2,3,5,4,7,6,1]=>[7,3,4,5,2,6,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,11),(3,10),(4,14),(5,13),(6,15),(7,13),(7,14),(9,10),(10,15),(11,8),(12,8),(13,9),(14,9),(15,11),(15,12)],16) [.,[[[.,[.,[.,.]]],.],[.,.]]]=>[4,3,2,5,7,6,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) [.,[[[.,[[.,.],.]],.],[.,.]]]=>[3,4,2,5,7,6,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) [.,[[[[.,.],[.,.]],.],[.,.]]]=>[2,4,3,5,7,6,1]=>[7,3,4,2,5,6,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,11),(3,10),(4,13),(5,14),(6,14),(7,9),(7,13),(9,15),(10,9),(11,8),(12,8),(13,15),(14,10),(15,11),(15,12)],16) [.,[[[[.,[.,.]],.],.],[.,.]]]=>[3,2,4,5,7,6,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,7,6,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) [.,[[.,[.,[.,[.,[.,.]]]]],.]]=>[6,5,4,3,2,7,1]=>[7,5,4,3,2,1,6]=>([(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,7,1]=>[7,5,4,3,1,2,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,14),(2,15),(3,15),(4,13),(5,8),(6,14),(6,16),(7,12),(7,16),(9,13),(10,9),(11,9),(12,11),(13,8),(14,10),(15,12),(16,10),(16,11)],17) [.,[[.,[.,[[.,.],[.,.]]]],.]]=>[4,6,5,3,2,7,1]=>[7,5,4,2,3,1,6]=>([(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,2,7,1]=>[7,5,4,2,1,3,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,8),(4,10),(5,13),(6,12),(7,8),(7,11),(8,14),(9,12),(11,14),(12,11),(13,10),(14,13)],15) [.,[[.,[.,[[[.,.],.],.]]],.]]=>[4,5,6,3,2,7,1]=>[7,5,4,1,2,3,6]=>([(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) [.,[[.,[[.,.],[.,[.,.]]]],.]]=>[3,6,5,4,2,7,1]=>[7,5,3,4,2,1,6]=>([(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) [.,[[.,[[.,.],[[.,.],.]]],.]]=>[3,5,6,4,2,7,1]=>[7,5,2,4,1,3,6]=>([(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) [.,[[.,[[.,[.,.]],[.,.]]],.]]=>[4,3,6,5,2,7,1]=>[7,5,3,2,4,1,6]=>([(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) [.,[[.,[[[.,.],.],[.,.]]],.]]=>[3,4,6,5,2,7,1]=>[7,5,2,3,4,1,6]=>([(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,2,7,1]=>[7,5,3,2,1,4,6]=>([(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) [.,[[.,[[.,[[.,.],.]],.]],.]]=>[4,5,3,6,2,7,1]=>[7,5,3,1,2,4,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,10),(4,11),(5,12),(6,13),(7,9),(8,13),(10,12),(11,10),(12,9),(13,11)],14) [.,[[.,[[[.,.],[.,.]],.]],.]]=>[3,5,4,6,2,7,1]=>[7,5,2,3,1,4,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,10),(4,11),(5,12),(6,13),(7,9),(8,13),(10,12),(11,10),(12,9),(13,11)],14) [.,[[.,[[[.,[.,.]],.],.]],.]]=>[4,3,5,6,2,7,1]=>[7,5,2,1,3,4,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,8),(4,10),(5,13),(6,12),(7,8),(7,11),(8,14),(9,11),(11,14),(12,10),(13,12),(14,13)],15) [.,[[.,[[[[.,.],.],.],.]],.]]=>[3,4,5,6,2,7,1]=>[7,5,1,2,3,4,6]=>([(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) [.,[[[.,.],[.,[.,[.,.]]]],.]]=>[2,6,5,4,3,7,1]=>[7,4,5,3,2,1,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,14),(2,15),(3,15),(4,13),(5,8),(6,14),(6,16),(7,12),(7,16),(9,13),(10,9),(11,9),(12,11),(13,8),(14,10),(15,12),(16,10),(16,11)],17) [.,[[[.,.],[.,[[.,.],.]]],.]]=>[2,5,6,4,3,7,1]=>[7,3,5,4,1,2,6]=>([(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) [.,[[[.,.],[[.,.],[.,.]]],.]]=>[2,4,6,5,3,7,1]=>[7,3,5,2,4,1,6]=>([(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) [.,[[[.,.],[[.,[.,.]],.]],.]]=>[2,5,4,6,3,7,1]=>[7,3,5,2,1,4,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,11),(3,11),(4,11),(5,8),(6,8),(7,9),(8,11),(9,10),(11,9)],12) [.,[[[.,.],[[[.,.],.],.]],.]]=>[2,4,5,6,3,7,1]=>[7,2,5,1,3,4,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,11),(3,11),(4,11),(5,8),(6,8),(7,9),(8,11),(9,10),(11,9)],12) [.,[[[.,[.,.]],[.,[.,.]]],.]]=>[3,2,6,5,4,7,1]=>[7,4,3,5,2,1,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,8),(4,10),(5,13),(6,12),(7,8),(7,11),(8,14),(9,12),(11,14),(12,11),(13,10),(14,13)],15) [.,[[[.,[.,.]],[[.,.],.]],.]]=>[3,2,5,6,4,7,1]=>[7,3,2,5,1,4,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,11),(3,11),(4,11),(5,8),(6,8),(7,9),(8,11),(9,10),(11,9)],12) [.,[[[[.,.],.],[.,[.,.]]],.]]=>[2,3,6,5,4,7,1]=>[7,3,4,5,2,1,6]=>([(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) [.,[[[[.,.],.],[[.,.],.]],.]]=>[2,3,5,6,4,7,1]=>[7,2,3,5,1,4,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,11),(3,11),(4,11),(5,8),(6,8),(7,9),(8,11),(9,10),(11,9)],12) [.,[[[.,[.,[.,.]]],[.,.]],.]]=>[4,3,2,6,5,7,1]=>[7,4,3,2,5,1,6]=>([(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) [.,[[[.,[[.,.],.]],[.,.]],.]]=>[3,4,2,6,5,7,1]=>[7,4,2,3,5,1,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,10),(4,11),(5,12),(6,13),(7,9),(8,13),(10,12),(11,10),(12,9),(13,11)],14) [.,[[[[.,.],[.,.]],[.,.]],.]]=>[2,4,3,6,5,7,1]=>[7,3,4,2,5,1,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,10),(4,11),(5,12),(6,13),(7,9),(8,13),(10,12),(11,10),(12,9),(13,11)],14) [.,[[[[.,[.,.]],.],[.,.]],.]]=>[3,2,4,6,5,7,1]=>[7,3,2,4,5,1,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,8),(4,10),(5,13),(6,12),(7,8),(7,11),(8,14),(9,11),(11,14),(12,10),(13,12),(14,13)],15) [.,[[[[[.,.],.],.],[.,.]],.]]=>[2,3,4,6,5,7,1]=>[7,2,3,4,5,1,6]=>([(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,4,3,2,6,7,1]=>[7,4,3,2,1,5,6]=>([(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) [.,[[[.,[.,[[.,.],.]]],.],.]]=>[4,5,3,2,6,7,1]=>[7,4,3,1,2,5,6]=>([(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) [.,[[[.,[[.,.],[.,.]]],.],.]]=>[3,5,4,2,6,7,1]=>[7,4,2,3,1,5,6]=>([(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) [.,[[[.,[[.,[.,.]],.]],.],.]]=>[4,3,5,2,6,7,1]=>[7,4,2,1,3,5,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,8),(4,13),(5,11),(6,12),(7,8),(7,10),(8,14),(9,13),(10,14),(12,10),(13,12),(14,11)],15) [.,[[[.,[[[.,.],.],.]],.],.]]=>[3,4,5,2,6,7,1]=>[7,4,1,2,3,5,6]=>([(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) [.,[[[[.,.],[.,[.,.]]],.],.]]=>[2,5,4,3,6,7,1]=>[7,3,4,2,1,5,6]=>([(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) [.,[[[[.,.],[[.,.],.]],.],.]]=>[2,4,5,3,6,7,1]=>[7,2,4,1,3,5,6]=>([(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) [.,[[[[.,[.,.]],[.,.]],.],.]]=>[3,2,5,4,6,7,1]=>[7,3,2,4,1,5,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,8),(4,13),(5,11),(6,12),(7,8),(7,10),(8,14),(9,13),(10,14),(12,10),(13,12),(14,11)],15) [.,[[[[[.,.],.],[.,.]],.],.]]=>[2,3,5,4,6,7,1]=>[7,2,3,4,1,5,6]=>([(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) [.,[[[[.,[.,[.,.]]],.],.],.]]=>[4,3,2,5,6,7,1]=>[7,3,2,1,4,5,6]=>([(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) [.,[[[[.,[[.,.],.]],.],.],.]]=>[3,4,2,5,6,7,1]=>[7,3,1,2,4,5,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,14),(2,15),(3,15),(4,13),(5,8),(6,14),(6,16),(7,12),(7,16),(9,11),(10,11),(11,8),(12,10),(13,12),(14,9),(15,13),(16,9),(16,10)],17) [.,[[[[[.,.],[.,.]],.],.],.]]=>[2,4,3,5,6,7,1]=>[7,2,3,1,4,5,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,14),(2,15),(3,15),(4,13),(5,8),(6,14),(6,16),(7,12),(7,16),(9,11),(10,11),(11,8),(12,10),(13,12),(14,9),(15,13),(16,9),(16,10)],17) [.,[[[[[.,[.,.]],.],.],.],.]]=>[3,2,4,5,6,7,1]=>[7,2,1,3,4,5,6]=>([(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) [[.,.],[.,[.,[.,[[.,.],.]]]]]=>[1,6,7,5,4,3,2]=>[5,7,6,4,3,1,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,15),(2,15),(3,14),(4,14),(5,13),(6,12),(6,16),(7,11),(7,16),(9,8),(10,8),(11,10),(12,9),(13,12),(14,11),(15,13),(16,9),(16,10)],17) [[.,.],[.,[.,[[.,.],[.,.]]]]]=>[1,5,7,6,4,3,2]=>[5,7,6,4,2,3,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,16),(2,16),(3,14),(4,14),(5,12),(6,13),(7,11),(7,15),(9,8),(10,8),(11,9),(12,10),(13,11),(14,13),(15,9),(15,10),(16,12),(16,15)],17) [[.,.],[.,[.,[[.,[.,.]],.]]]]=>[1,6,5,7,4,3,2]=>[5,7,6,4,2,1,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,9),(4,9),(5,13),(6,12),(7,10),(7,11),(8,12),(9,13),(10,14),(11,14),(12,10),(13,11)],15) [[.,.],[.,[.,[[[.,.],.],.]]]]=>[1,5,6,7,4,3,2]=>[4,7,6,5,1,2,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,13),(2,12),(3,15),(4,14),(5,11),(6,12),(6,13),(7,14),(7,15),(9,11),(10,8),(11,8),(12,10),(13,10),(14,9),(15,9)],16) [[.,.],[.,[[.,.],[.,[.,.]]]]]=>[1,4,7,6,5,3,2]=>[5,7,6,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) [[.,.],[.,[[.,.],[[.,.],.]]]]=>[1,4,6,7,5,3,2]=>[4,7,6,2,5,1,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) [[.,.],[.,[[.,[.,.]],[.,.]]]]=>[1,5,4,7,6,3,2]=>[5,7,6,3,2,4,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,9),(4,9),(5,10),(6,11),(7,12),(8,11),(9,12),(10,14),(11,13),(12,10),(12,13),(13,14)],15) [[.,.],[.,[[[.,.],.],[.,.]]]]=>[1,4,5,7,6,3,2]=>[4,7,6,2,3,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) [[.,.],[.,[[.,[.,[.,.]]],.]]]=>[1,6,5,4,7,3,2]=>[5,7,6,3,2,1,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(2,12),(3,9),(4,8),(5,10),(6,10),(7,8),(7,9),(8,13),(9,13),(10,11),(11,14),(12,14),(13,12)],15) [[.,.],[.,[[.,[[.,.],.]],.]]]=>[1,5,6,4,7,3,2]=>[4,7,6,3,1,2,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) [[.,.],[.,[[[.,.],[.,.]],.]]]=>[1,4,6,5,7,3,2]=>[4,7,6,2,3,1,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) [[.,.],[.,[[[.,[.,.]],.],.]]]=>[1,5,4,6,7,3,2]=>[4,7,6,2,1,3,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) [[.,.],[.,[[[[.,.],.],.],.]]]=>[1,4,5,6,7,3,2]=>[3,7,6,1,2,4,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) [[.,.],[[.,.],[.,[.,[.,.]]]]]=>[1,3,7,6,5,4,2]=>[5,7,4,6,3,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,8),(6,8),(6,9),(7,9),(7,10),(8,11),(9,11),(9,12),(10,12),(11,13),(12,13),(14,10)],15) [[.,.],[[.,.],[.,[[.,.],.]]]]=>[1,3,6,7,5,4,2]=>[4,7,3,6,5,1,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(2,11),(3,11),(4,8),(5,8),(6,9),(7,9),(8,10),(9,11),(11,10)],12) [[.,.],[[.,.],[[.,.],[.,.]]]]=>[1,3,5,7,6,4,2]=>[4,7,3,6,2,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) [[.,.],[[.,.],[[.,[.,.]],.]]]=>[1,3,6,5,7,4,2]=>[4,7,3,6,2,1,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,9),(4,9),(5,9),(6,8),(7,8),(8,9)],10) [[.,.],[[.,.],[[[.,.],.],.]]]=>[1,3,5,6,7,4,2]=>[3,7,2,6,1,4,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) [[.,.],[[.,[.,.]],[.,[.,.]]]]=>[1,4,3,7,6,5,2]=>[5,7,4,3,6,2,1]=>([(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) [[.,.],[[.,[.,.]],[[.,.],.]]]=>[1,4,3,6,7,5,2]=>[4,7,3,2,6,1,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,9),(4,9),(5,9),(6,8),(7,8),(8,9)],10) [[.,.],[[[.,.],.],[.,[.,.]]]]=>[1,3,4,7,6,5,2]=>[4,7,3,5,6,2,1]=>([(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) [[.,.],[[[.,.],.],[[.,.],.]]]=>[1,3,4,6,7,5,2]=>[3,7,2,4,6,1,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) [[.,.],[[.,[.,[.,.]]],[.,.]]]=>[1,5,4,3,7,6,2]=>[5,7,4,3,2,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) [[.,.],[[.,[[.,.],.]],[.,.]]]=>[1,4,5,3,7,6,2]=>[4,7,5,2,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) [[.,.],[[[.,.],[.,.]],[.,.]]]=>[1,3,5,4,7,6,2]=>[4,7,3,5,2,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) [[.,.],[[[.,[.,.]],.],[.,.]]]=>[1,4,3,5,7,6,2]=>[4,7,3,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) [[.,.],[[[[.,.],.],.],[.,.]]]=>[1,3,4,5,7,6,2]=>[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) [[.,.],[[.,[.,[.,[.,.]]]],.]]=>[1,6,5,4,3,7,2]=>[5,7,4,3,2,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) [[.,.],[[.,[.,[[.,.],.]]],.]]=>[1,5,6,4,3,7,2]=>[4,7,5,3,1,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) [[.,.],[[.,[[.,.],[.,.]]],.]]=>[1,4,6,5,3,7,2]=>[4,7,5,2,3,1,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) [[.,.],[[.,[[.,[.,.]],.]],.]]=>[1,5,4,6,3,7,2]=>[4,7,5,2,1,3,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,10),(3,10),(4,10),(5,10),(6,8),(7,8),(8,9),(9,10)],11) [[.,.],[[.,[[[.,.],.],.]],.]]=>[1,4,5,6,3,7,2]=>[3,7,5,1,2,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) [[.,.],[[[.,.],[.,[.,.]]],.]]=>[1,3,6,5,4,7,2]=>[4,7,3,5,2,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) [[.,.],[[[.,.],[[.,.],.]],.]]=>[1,3,5,6,4,7,2]=>[3,7,2,5,1,4,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) [[.,.],[[[.,[.,.]],[.,.]],.]]=>[1,4,3,6,5,7,2]=>[4,7,3,2,5,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) [[.,.],[[[[.,.],.],[.,.]],.]]=>[1,3,4,6,5,7,2]=>[3,7,2,4,5,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) [[.,.],[[[.,[.,[.,.]]],.],.]]=>[1,5,4,3,6,7,2]=>[4,7,3,2,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) [[.,.],[[[.,[[.,.],.]],.],.]]=>[1,4,5,3,6,7,2]=>[3,7,4,1,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) [[.,.],[[[[.,.],[.,.]],.],.]]=>[1,3,5,4,6,7,2]=>[3,7,2,4,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) [[.,.],[[[[.,[.,.]],.],.],.]]=>[1,4,3,5,6,7,2]=>[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) [[.,.],[[[[[.,.],.],.],.],.]]=>[1,3,4,5,6,7,2]=>[2,7,1,3,4,5,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,14),(2,14),(3,14),(4,9),(5,8),(6,8),(6,10),(7,9),(7,10),(8,11),(9,12),(10,11),(10,12),(11,13),(12,13),(13,14)],15) [[.,[.,.]],[.,[.,[.,[.,.]]]]]=>[2,1,7,6,5,4,3]=>[6,5,7,4,3,2,1]=>([(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,1,6,7,5,4,3]=>[5,4,7,6,3,1,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(1,12),(2,9),(3,9),(4,8),(5,8),(6,10),(7,10),(8,13),(9,13),(10,11),(11,14),(12,14),(13,12)],15) [[.,[.,.]],[.,[[.,.],[.,.]]]]=>[2,1,5,7,6,4,3]=>[5,4,7,6,2,3,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(2,9),(3,9),(4,8),(5,8),(6,10),(7,10),(8,12),(9,12),(10,11),(10,13),(11,14),(12,13),(13,14)],15) [[.,[.,.]],[.,[[.,[.,.]],.]]]=>[2,1,6,5,7,4,3]=>[5,4,7,6,2,1,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(2,9),(3,9),(4,8),(5,8),(6,10),(7,10),(8,12),(9,12),(10,11),(11,13),(12,13)],14) [[.,[.,.]],[.,[[[.,.],.],.]]]=>[2,1,5,6,7,4,3]=>[4,3,7,6,1,2,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) [[.,[.,.]],[[.,.],[.,[.,.]]]]=>[2,1,4,7,6,5,3]=>[5,4,7,3,6,2,1]=>([(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) [[.,[.,.]],[[.,.],[[.,.],.]]]=>[2,1,4,6,7,5,3]=>[4,3,7,2,6,1,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,9),(4,9),(5,9),(6,8),(7,8),(8,9)],10) [[.,[.,.]],[[.,[.,.]],[.,.]]]=>[2,1,5,4,7,6,3]=>[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) [[.,[.,.]],[[[.,.],.],[.,.]]]=>[2,1,4,5,7,6,3]=>[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) [[.,[.,.]],[[.,[.,[.,.]]],.]]=>[2,1,6,5,4,7,3]=>[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) [[.,[.,.]],[[.,[[.,.],.]],.]]=>[2,1,5,6,4,7,3]=>[4,3,7,5,1,2,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) [[.,[.,.]],[[[.,.],[.,.]],.]]=>[2,1,4,6,5,7,3]=>[4,3,7,2,5,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) [[.,[.,.]],[[[.,[.,.]],.],.]]=>[2,1,5,4,6,7,3]=>[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) [[.,[.,.]],[[[[.,.],.],.],.]]=>[2,1,4,5,6,7,3]=>[3,2,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) [[[.,.],.],[.,[.,[.,[.,.]]]]]=>[1,2,7,6,5,4,3]=>[5,6,7,4,3,2,1]=>([(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) [[[.,.],.],[.,[.,[[.,.],.]]]]=>[1,2,6,7,5,4,3]=>[4,5,7,6,3,1,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,14),(2,14),(3,15),(4,15),(5,13),(6,11),(6,12),(7,10),(7,13),(9,11),(10,9),(11,8),(12,8),(13,9),(14,12),(15,10)],16) [[[.,.],.],[.,[[.,.],[.,.]]]]=>[1,2,5,7,6,4,3]=>[4,5,7,6,2,3,1]=>([(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,10),(10,8),(11,9),(12,8),(13,9),(14,11),(15,10),(15,12)],16) [[[.,.],.],[.,[[.,[.,.]],.]]]=>[1,2,6,5,7,4,3]=>[4,5,7,6,2,1,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(2,9),(3,9),(4,10),(5,10),(6,8),(7,8),(7,12),(8,13),(9,11),(10,12),(11,14),(12,13),(13,14)],15) [[[.,.],.],[.,[[[.,.],.],.]]]=>[1,2,5,6,7,4,3]=>[3,4,7,6,1,2,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) [[[.,.],.],[[.,.],[.,[.,.]]]]=>[1,2,4,7,6,5,3]=>[4,5,7,3,6,2,1]=>([(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) [[[.,.],.],[[.,.],[[.,.],.]]]=>[1,2,4,6,7,5,3]=>[3,4,7,2,6,1,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,9),(4,9),(5,9),(6,8),(7,8),(8,9)],10) [[[.,.],.],[[.,[.,.]],[.,.]]]=>[1,2,5,4,7,6,3]=>[4,5,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) [[[.,.],.],[[[.,.],.],[.,.]]]=>[1,2,4,5,7,6,3]=>[3,4,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) [[[.,.],.],[[.,[.,[.,.]]],.]]=>[1,2,6,5,4,7,3]=>[4,5,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) [[[.,.],.],[[.,[[.,.],.]],.]]=>[1,2,5,6,4,7,3]=>[3,4,7,5,1,2,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) [[[.,.],.],[[[.,.],[.,.]],.]]=>[1,2,4,6,5,7,3]=>[3,4,7,2,5,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) [[[.,.],.],[[[.,[.,.]],.],.]]=>[1,2,5,4,6,7,3]=>[3,4,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) [[[.,.],.],[[[[.,.],.],.],.]]=>[1,2,4,5,6,7,3]=>[2,3,7,1,4,5,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,12),(3,9),(4,8),(5,10),(6,10),(7,8),(7,9),(8,11),(9,11),(10,12),(11,12)],13) [[.,[.,[.,.]]],[.,[.,[.,.]]]]=>[3,2,1,7,6,5,4]=>[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) [[.,[.,[.,.]]],[.,[[.,.],.]]]=>[3,2,1,6,7,5,4]=>[5,4,3,7,6,1,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,8),(3,10),(4,10),(5,11),(6,11),(7,8),(7,9),(8,12),(9,12),(10,13),(11,14),(12,14),(14,13)],15) [[.,[.,[.,.]]],[[.,.],[.,.]]]=>[3,2,1,5,7,6,4]=>[5,4,3,7,2,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) [[.,[.,[.,.]]],[[.,[.,.]],.]]=>[3,2,1,6,5,7,4]=>[5,4,3,7,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) [[.,[.,[.,.]]],[[[.,.],.],.]]=>[3,2,1,5,6,7,4]=>[4,3,2,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) [[.,[[.,.],.]],[.,[.,[.,.]]]]=>[2,3,1,7,6,5,4]=>[6,4,5,7,3,2,1]=>([(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) [[.,[[.,.],.]],[.,[[.,.],.]]]=>[2,3,1,6,7,5,4]=>[5,3,4,7,6,1,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(2,8),(3,8),(4,9),(5,9),(6,10),(7,10),(8,13),(9,12),(10,11),(11,13),(13,12)],14) [[.,[[.,.],.]],[[.,.],[.,.]]]=>[2,3,1,5,7,6,4]=>[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) [[.,[[.,.],.]],[[.,[.,.]],.]]=>[2,3,1,6,5,7,4]=>[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) [[.,[[.,.],.]],[[[.,.],.],.]]=>[2,3,1,5,6,7,4]=>[4,2,3,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) [[[.,.],[.,.]],[.,[.,[.,.]]]]=>[1,3,2,7,6,5,4]=>[5,6,4,7,3,2,1]=>([(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) [[[.,.],[.,.]],[.,[[.,.],.]]]=>[1,3,2,6,7,5,4]=>[4,5,3,7,6,1,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(2,8),(3,8),(4,9),(5,9),(6,10),(7,10),(8,13),(9,12),(10,11),(11,13),(13,12)],14) [[[.,.],[.,.]],[[.,.],[.,.]]]=>[1,3,2,5,7,6,4]=>[4,5,3,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) [[[.,.],[.,.]],[[.,[.,.]],.]]=>[1,3,2,6,5,7,4]=>[4,5,3,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) [[[.,.],[.,.]],[[[.,.],.],.]]=>[1,3,2,5,6,7,4]=>[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) [[[.,[.,.]],.],[.,[.,[.,.]]]]=>[2,1,3,7,6,5,4]=>[5,4,6,7,3,2,1]=>([(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) [[[.,[.,.]],.],[.,[[.,.],.]]]=>[2,1,3,6,7,5,4]=>[4,3,5,7,6,1,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(1,12),(2,10),(3,10),(4,9),(5,9),(6,8),(7,8),(8,13),(9,12),(10,11),(11,14),(12,14),(14,13)],15) [[[.,[.,.]],.],[[.,.],[.,.]]]=>[2,1,3,5,7,6,4]=>[4,3,5,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) [[[.,[.,.]],.],[[.,[.,.]],.]]=>[2,1,3,6,5,7,4]=>[4,3,5,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) [[[.,[.,.]],.],[[[.,.],.],.]]=>[2,1,3,5,6,7,4]=>[3,2,4,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) [[[[.,.],.],.],[.,[.,[.,.]]]]=>[1,2,3,7,6,5,4]=>[4,5,6,7,3,2,1]=>([(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) [[[[.,.],.],.],[.,[[.,.],.]]]=>[1,2,3,6,7,5,4]=>[3,4,5,7,6,1,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,15),(2,15),(3,14),(4,14),(5,13),(6,12),(6,16),(7,13),(7,16),(9,11),(10,11),(11,8),(12,9),(13,10),(14,12),(15,8),(16,9),(16,10)],17) [[[[.,.],.],.],[[.,.],[.,.]]]=>[1,2,3,5,7,6,4]=>[3,4,5,7,2,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) [[[[.,.],.],.],[[.,[.,.]],.]]=>[1,2,3,6,5,7,4]=>[3,4,5,7,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) [[[[.,.],.],.],[[[.,.],.],.]]=>[1,2,3,5,6,7,4]=>[2,3,4,7,1,5,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,12),(3,9),(4,8),(5,10),(6,10),(7,8),(7,9),(8,11),(9,11),(10,12),(11,12)],13) [[.,[.,[.,[.,.]]]],[.,[.,.]]]=>[4,3,2,1,7,6,5]=>[6,5,4,3,7,2,1]=>([(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,6,7,5]=>[5,4,3,2,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) [[.,[.,[[.,.],.]]],[.,[.,.]]]=>[3,4,2,1,7,6,5]=>[6,5,3,4,7,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,10),(7,13),(9,12),(10,9),(11,8),(12,11),(13,9),(14,8),(15,10)],16) [[.,[.,[[.,.],.]]],[[.,.],.]]=>[3,4,2,1,6,7,5]=>[5,4,2,3,7,1,6]=>([(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) [[.,[[.,.],[.,.]]],[.,[.,.]]]=>[2,4,3,1,7,6,5]=>[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) [[.,[[.,.],[.,.]]],[[.,.],.]]=>[2,4,3,1,6,7,5]=>[5,3,4,2,7,1,6]=>([(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) [[.,[[.,[.,.]],.]],[.,[.,.]]]=>[3,2,4,1,7,6,5]=>[6,4,3,5,7,2,1]=>([(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) [[.,[[.,[.,.]],.]],[[.,.],.]]=>[3,2,4,1,6,7,5]=>[5,3,2,4,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) [[.,[[[.,.],.],.]],[.,[.,.]]]=>[2,3,4,1,7,6,5]=>[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) [[.,[[[.,.],.],.]],[[.,.],.]]=>[2,3,4,1,6,7,5]=>[5,2,3,4,7,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) [[[.,.],[.,[.,.]]],[.,[.,.]]]=>[1,4,3,2,7,6,5]=>[5,6,4,3,7,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,10),(7,13),(9,12),(10,9),(11,8),(12,11),(13,9),(14,8),(15,10)],16) [[[.,.],[.,[.,.]]],[[.,.],.]]=>[1,4,3,2,6,7,5]=>[4,5,3,2,7,1,6]=>([(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) [[[.,.],[[.,.],.]],[.,[.,.]]]=>[1,3,4,2,7,6,5]=>[4,6,3,5,7,2,1]=>([(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) [[[.,.],[[.,.],.]],[[.,.],.]]=>[1,3,4,2,6,7,5]=>[3,5,2,4,7,1,6]=>([(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) [[[.,[.,.]],[.,.]],[.,[.,.]]]=>[2,1,4,3,7,6,5]=>[5,4,6,3,7,2,1]=>([(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) [[[.,[.,.]],[.,.]],[[.,.],.]]=>[2,1,4,3,6,7,5]=>[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) [[[[.,.],.],[.,.]],[.,[.,.]]]=>[1,2,4,3,7,6,5]=>[4,5,6,3,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) [[[[.,.],.],[.,.]],[[.,.],.]]=>[1,2,4,3,6,7,5]=>[3,4,5,2,7,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) [[[.,[.,[.,.]]],.],[.,[.,.]]]=>[3,2,1,4,7,6,5]=>[5,4,3,6,7,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,12),(5,16),(6,11),(6,13),(7,14),(7,15),(9,12),(10,11),(11,9),(12,8),(13,9),(14,10),(15,10),(16,8)],17) [[[.,[.,[.,.]]],.],[[.,.],.]]=>[3,2,1,4,6,7,5]=>[4,3,2,5,7,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) [[[.,[[.,.],.]],.],[.,[.,.]]]=>[2,3,1,4,7,6,5]=>[5,3,4,6,7,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,10),(7,13),(9,11),(10,9),(11,8),(12,10),(13,9),(14,8),(15,12)],16) [[[.,[[.,.],.]],.],[[.,.],.]]=>[2,3,1,4,6,7,5]=>[4,2,3,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) [[[[.,.],[.,.]],.],[.,[.,.]]]=>[1,3,2,4,7,6,5]=>[4,5,3,6,7,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,10),(7,13),(9,11),(10,9),(11,8),(12,10),(13,9),(14,8),(15,12)],16) [[[[.,.],[.,.]],.],[[.,.],.]]=>[1,3,2,4,6,7,5]=>[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) [[[[.,[.,.]],.],.],[.,[.,.]]]=>[2,1,3,4,7,6,5]=>[4,3,5,6,7,2,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,15),(2,16),(3,16),(4,14),(5,13),(5,15),(6,12),(6,17),(7,14),(7,17),(9,13),(10,9),(11,9),(12,10),(13,8),(14,11),(15,8),(16,12),(17,10),(17,11)],18) [[[[.,[.,.]],.],.],[[.,.],.]]=>[2,1,3,4,6,7,5]=>[3,2,4,5,7,1,6]=>([(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) [[[[[.,.],.],.],.],[.,[.,.]]]=>[1,2,3,4,7,6,5]=>[3,4,5,6,7,2,1]=>([(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) [[[[[.,.],.],.],.],[[.,.],.]]=>[1,2,3,4,6,7,5]=>[2,3,4,5,7,1,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,14),(2,14),(3,14),(4,9),(5,8),(6,8),(6,10),(7,9),(7,10),(8,11),(9,12),(10,11),(10,12),(11,13),(12,13),(13,14)],15) [[.,[.,[.,[.,[.,.]]]]],[.,.]]=>[5,4,3,2,1,7,6]=>[6,5,4,3,2,7,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,3,2,1,7,6]=>[6,5,4,2,3,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,13),(10,9),(11,9),(12,11),(13,8),(14,10),(15,12),(16,10),(16,11)],17) [[.,[.,[[.,.],[.,.]]]],[.,.]]=>[3,5,4,2,1,7,6]=>[6,5,3,4,2,7,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) [[.,[.,[[.,[.,.]],.]]],[.,.]]=>[4,3,5,2,1,7,6]=>[6,5,3,2,4,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) [[.,[.,[[[.,.],.],.]]],[.,.]]=>[3,4,5,2,1,7,6]=>[6,5,2,3,4,7,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) [[.,[[.,.],[.,[.,.]]]],[.,.]]=>[2,5,4,3,1,7,6]=>[6,4,5,3,2,7,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) [[.,[[.,.],[[.,.],.]]],[.,.]]=>[2,4,5,3,1,7,6]=>[6,3,5,2,4,7,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) [[.,[[.,[.,.]],[.,.]]],[.,.]]=>[3,2,5,4,1,7,6]=>[6,4,3,5,2,7,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) [[.,[[[.,.],.],[.,.]]],[.,.]]=>[2,3,5,4,1,7,6]=>[6,3,4,5,2,7,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) [[.,[[.,[.,[.,.]]],.]],[.,.]]=>[4,3,2,5,1,7,6]=>[6,4,3,2,5,7,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) [[.,[[.,[[.,.],.]],.]],[.,.]]=>[3,4,2,5,1,7,6]=>[6,4,2,3,5,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) [[.,[[[.,.],[.,.]],.]],[.,.]]=>[2,4,3,5,1,7,6]=>[6,3,4,2,5,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) [[.,[[[.,[.,.]],.],.]],[.,.]]=>[3,2,4,5,1,7,6]=>[6,3,2,4,5,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,11),(11,14),(12,10),(13,12),(14,13)],15) [[.,[[[[.,.],.],.],.]],[.,.]]=>[2,3,4,5,1,7,6]=>[6,2,3,4,5,7,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) [[[.,.],[.,[.,[.,.]]]],[.,.]]=>[1,5,4,3,2,7,6]=>[5,6,4,3,2,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,13),(10,9),(11,9),(12,11),(13,8),(14,10),(15,12),(16,10),(16,11)],17) [[[.,.],[.,[[.,.],.]]],[.,.]]=>[1,4,5,3,2,7,6]=>[4,6,5,2,3,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,10),(6,11),(7,12),(8,13),(9,11),(11,13),(12,10),(13,12)],14) [[[.,.],[[.,.],[.,.]]],[.,.]]=>[1,3,5,4,2,7,6]=>[4,6,3,5,2,7,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) [[[.,.],[[.,[.,.]],.]],[.,.]]=>[1,4,3,5,2,7,6]=>[4,6,3,2,5,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) [[[.,.],[[[.,.],.],.]],[.,.]]=>[1,3,4,5,2,7,6]=>[3,6,2,4,5,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) [[[.,[.,.]],[.,[.,.]]],[.,.]]=>[2,1,5,4,3,7,6]=>[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) [[[.,[.,.]],[[.,.],.]],[.,.]]=>[2,1,4,5,3,7,6]=>[4,3,6,2,5,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) [[[[.,.],.],[.,[.,.]]],[.,.]]=>[1,2,5,4,3,7,6]=>[4,5,6,3,2,7,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) [[[[.,.],.],[[.,.],.]],[.,.]]=>[1,2,4,5,3,7,6]=>[3,4,6,2,5,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) [[[.,[.,[.,.]]],[.,.]],[.,.]]=>[3,2,1,5,4,7,6]=>[5,4,3,6,2,7,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) [[[.,[[.,.],.]],[.,.]],[.,.]]=>[2,3,1,5,4,7,6]=>[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) [[[[.,.],[.,.]],[.,.]],[.,.]]=>[1,3,2,5,4,7,6]=>[4,5,3,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) [[[[.,[.,.]],.],[.,.]],[.,.]]=>[2,1,3,5,4,7,6]=>[4,3,5,6,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,11),(11,14),(12,10),(13,12),(14,13)],15) [[[[[.,.],.],.],[.,.]],[.,.]]=>[1,2,3,5,4,7,6]=>[3,4,5,6,2,7,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) [[[.,[.,[.,[.,.]]]],.],[.,.]]=>[4,3,2,1,5,7,6]=>[5,4,3,2,6,7,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) [[[.,[.,[[.,.],.]]],.],[.,.]]=>[3,4,2,1,5,7,6]=>[5,4,2,3,6,7,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) [[[.,[[.,.],[.,.]]],.],[.,.]]=>[2,4,3,1,5,7,6]=>[5,3,4,2,6,7,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) [[[.,[[.,[.,.]],.]],.],[.,.]]=>[3,2,4,1,5,7,6]=>[5,3,2,4,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) [[[.,[[[.,.],.],.]],.],[.,.]]=>[2,3,4,1,5,7,6]=>[5,2,3,4,6,7,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) [[[[.,.],[.,[.,.]]],.],[.,.]]=>[1,4,3,2,5,7,6]=>[4,5,3,2,6,7,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) [[[[.,.],[[.,.],.]],.],[.,.]]=>[1,3,4,2,5,7,6]=>[3,5,2,4,6,7,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) [[[[.,[.,.]],[.,.]],.],[.,.]]=>[2,1,4,3,5,7,6]=>[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) [[[[[.,.],.],[.,.]],.],[.,.]]=>[1,2,4,3,5,7,6]=>[3,4,5,2,6,7,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) [[[[.,[.,[.,.]]],.],.],[.,.]]=>[3,2,1,4,5,7,6]=>[4,3,2,5,6,7,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) [[[[.,[[.,.],.]],.],.],[.,.]]=>[2,3,1,4,5,7,6]=>[4,2,3,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) [[[[[.,.],[.,.]],.],.],[.,.]]=>[1,3,2,4,5,7,6]=>[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) [[[[[.,[.,.]],.],.],.],[.,.]]=>[2,1,3,4,5,7,6]=>[3,2,4,5,6,7,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) [[.,[.,[.,[.,[[.,.],.]]]]],.]=>[5,6,4,3,2,1,7]=>[6,5,4,3,1,2,7]=>([(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) [[.,[.,[.,[[.,.],[.,.]]]]],.]=>[4,6,5,3,2,1,7]=>[6,5,4,2,3,1,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,15),(2,19),(3,19),(4,14),(5,8),(6,17),(6,18),(7,15),(7,18),(9,11),(10,12),(11,13),(12,13),(13,8),(14,10),(15,9),(16,11),(16,12),(17,10),(17,16),(18,9),(18,16),(19,14),(19,17)],20) [[.,[.,[.,[[.,[.,.]],.]]]],.]=>[5,4,6,3,2,1,7]=>[6,5,4,2,1,3,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,14),(2,15),(3,15),(4,13),(5,8),(6,14),(6,16),(7,12),(7,16),(9,11),(10,11),(11,8),(12,10),(13,12),(14,9),(15,13),(16,9),(16,10)],17) [[.,[.,[.,[[[.,.],.],.]]]],.]=>[4,5,6,3,2,1,7]=>[6,5,4,1,2,3,7]=>([(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) [[.,[.,[[.,.],[.,[.,.]]]]],.]=>[3,6,5,4,2,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) [[.,[.,[[.,.],[[.,.],.]]]],.]=>[3,5,6,4,2,1,7]=>[6,5,2,4,1,3,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,8),(7,8),(7,9),(8,11),(9,11),(11,10),(12,9)],13) [[.,[.,[[.,[.,.]],[.,.]]]],.]=>[4,3,6,5,2,1,7]=>[6,5,3,2,4,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) [[.,[.,[[[.,.],.],[.,.]]]],.]=>[3,4,6,5,2,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) [[.,[.,[[.,[.,[.,.]]],.]]],.]=>[5,4,3,6,2,1,7]=>[6,5,3,2,1,4,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,11),(7,13),(9,12),(10,8),(11,10),(12,11),(13,10),(14,9),(15,9)],16) [[.,[.,[[.,[[.,.],.]],.]]],.]=>[4,5,3,6,2,1,7]=>[6,5,3,1,2,4,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,8),(4,13),(5,11),(6,12),(7,8),(7,10),(8,14),(9,13),(10,14),(12,10),(13,12),(14,11)],15) [[.,[.,[[[.,.],[.,.]],.]]],.]=>[3,5,4,6,2,1,7]=>[6,5,2,3,1,4,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,8),(4,13),(5,11),(6,12),(7,8),(7,10),(8,14),(9,13),(10,14),(12,10),(13,12),(14,11)],15) [[.,[.,[[[.,[.,.]],.],.]]],.]=>[4,3,5,6,2,1,7]=>[6,5,2,1,3,4,7]=>([(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) [[.,[.,[[[[.,.],.],.],.]]],.]=>[3,4,5,6,2,1,7]=>[6,5,1,2,3,4,7]=>([(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) [[.,[[.,.],[.,[.,[.,.]]]]],.]=>[2,6,5,4,3,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) [[.,[[.,.],[.,[[.,.],.]]]],.]=>[2,5,6,4,3,1,7]=>[6,3,5,4,1,2,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,12),(11,14),(12,11),(12,13),(13,14),(14,10)],15) [[.,[[.,.],[[.,.],[.,.]]]],.]=>[2,4,6,5,3,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) [[.,[[.,.],[[.,[.,.]],.]]],.]=>[2,5,4,6,3,1,7]=>[6,3,5,2,1,4,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,11),(3,11),(4,11),(5,8),(6,8),(7,9),(8,11),(9,10),(11,9)],12) [[.,[[.,.],[[[.,.],.],.]]],.]=>[2,4,5,6,3,1,7]=>[6,2,5,1,3,4,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,11),(3,11),(4,11),(5,8),(6,8),(7,9),(8,11),(9,10),(11,9)],12) [[.,[[.,[.,.]],[.,[.,.]]]],.]=>[3,2,6,5,4,1,7]=>[6,4,3,5,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) [[.,[[.,[.,.]],[[.,.],.]]],.]=>[3,2,5,6,4,1,7]=>[6,3,2,5,1,4,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,11),(3,11),(4,11),(5,8),(6,8),(7,9),(8,11),(9,10),(11,9)],12) [[.,[[[.,.],.],[.,[.,.]]]],.]=>[2,3,6,5,4,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) [[.,[[[.,.],.],[[.,.],.]]],.]=>[2,3,5,6,4,1,7]=>[6,2,3,5,1,4,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,10),(2,11),(3,11),(4,11),(5,8),(6,8),(7,9),(8,11),(9,10),(11,9)],12) [[.,[[.,[.,[.,.]]],[.,.]]],.]=>[4,3,2,6,5,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) [[.,[[.,[[.,.],.]],[.,.]]],.]=>[3,4,2,6,5,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) [[.,[[[.,.],[.,.]],[.,.]]],.]=>[2,4,3,6,5,1,7]=>[6,3,4,2,5,1,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,10),(4,9),(5,11),(6,13),(7,12),(8,12),(9,14),(10,14),(12,13),(13,9),(13,10),(14,11)],15) [[.,[[[.,[.,.]],.],[.,.]]],.]=>[3,2,4,6,5,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,6,5,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) [[.,[[.,[.,[.,[.,.]]]],.]],.]=>[5,4,3,2,6,1,7]=>[6,4,3,2,1,5,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) [[.,[[.,[.,[[.,.],.]]],.]],.]=>[4,5,3,2,6,1,7]=>[6,4,3,1,2,5,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,8),(4,10),(5,13),(6,12),(7,8),(7,11),(8,14),(9,11),(11,14),(12,10),(13,12),(14,13)],15) [[.,[[.,[[.,.],[.,.]]],.]],.]=>[3,5,4,2,6,1,7]=>[6,4,2,3,1,5,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,11),(4,10),(5,13),(6,9),(7,12),(8,10),(8,11),(10,14),(11,14),(12,9),(13,12),(14,13)],15) [[.,[[.,[[.,[.,.]],.]],.]],.]=>[4,3,5,2,6,1,7]=>[6,4,2,1,3,5,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,10),(4,11),(5,12),(6,13),(7,9),(8,13),(10,12),(11,10),(12,9),(13,11)],14) [[.,[[.,[[[.,.],.],.]],.]],.]=>[3,4,5,2,6,1,7]=>[6,4,1,2,3,5,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) [[.,[[[.,.],[.,[.,.]]],.]],.]=>[2,5,4,3,6,1,7]=>[6,3,4,2,1,5,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,8),(4,10),(5,13),(6,12),(7,8),(7,11),(8,14),(9,11),(11,14),(12,10),(13,12),(14,13)],15) [[.,[[[.,.],[[.,.],.]],.]],.]=>[2,4,5,3,6,1,7]=>[6,2,4,1,3,5,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) [[.,[[[.,[.,.]],[.,.]],.]],.]=>[3,2,5,4,6,1,7]=>[6,3,2,4,1,5,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,10),(4,11),(5,12),(6,13),(7,9),(8,13),(10,12),(11,10),(12,9),(13,11)],14) [[.,[[[[.,.],.],[.,.]],.]],.]=>[2,3,5,4,6,1,7]=>[6,2,3,4,1,5,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) [[.,[[[.,[.,[.,.]]],.],.]],.]=>[4,3,2,5,6,1,7]=>[6,3,2,1,4,5,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) [[.,[[[.,[[.,.],.]],.],.]],.]=>[3,4,2,5,6,1,7]=>[6,3,1,2,4,5,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,8),(4,10),(5,13),(6,12),(7,8),(7,11),(8,14),(9,12),(11,14),(12,11),(13,10),(14,13)],15) [[.,[[[[.,.],[.,.]],.],.]],.]=>[2,4,3,5,6,1,7]=>[6,2,3,1,4,5,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,8),(4,10),(5,13),(6,12),(7,8),(7,11),(8,14),(9,12),(11,14),(12,11),(13,10),(14,13)],15) [[.,[[[[.,[.,.]],.],.],.]],.]=>[3,2,4,5,6,1,7]=>[6,2,1,3,4,5,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) [[.,[[[[[.,.],.],.],.],.]],.]=>[2,3,4,5,6,1,7]=>[6,1,2,3,4,5,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,14),(2,16),(3,15),(4,8),(5,15),(5,18),(6,16),(6,19),(7,18),(7,19),(9,11),(10,11),(11,14),(12,9),(13,10),(14,8),(15,12),(16,13),(17,9),(17,10),(18,12),(18,17),(19,13),(19,17)],20) [[[.,.],[.,[.,[.,[.,.]]]]],.]=>[1,6,5,4,3,2,7]=>[5,6,4,3,2,1,7]=>([(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) [[[.,.],[.,[.,[[.,.],.]]]],.]=>[1,5,6,4,3,2,7]=>[4,6,5,3,1,2,7]=>([(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) [[[.,.],[.,[[.,.],[.,.]]]],.]=>[1,4,6,5,3,2,7]=>[4,6,5,2,3,1,7]=>([(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,12),(7,10),(8,12),(9,11),(9,13),(11,14),(12,13),(13,14),(14,10)],15) [[[.,.],[.,[[.,[.,.]],.]]],.]=>[1,5,4,6,3,2,7]=>[4,6,5,2,1,3,7]=>([(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) [[[.,.],[.,[[[.,.],.],.]]],.]=>[1,4,5,6,3,2,7]=>[3,6,5,1,2,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) [[[.,.],[[.,.],[.,[.,.]]]],.]=>[1,3,6,5,4,2,7]=>[4,6,3,5,2,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,8),(7,8),(7,9),(8,11),(9,11),(11,10),(12,9)],13) [[[.,.],[[.,.],[[.,.],.]]],.]=>[1,3,5,6,4,2,7]=>[3,6,2,5,1,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) [[[.,.],[[.,[.,.]],[.,.]]],.]=>[1,4,3,6,5,2,7]=>[4,6,3,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) [[[.,.],[[[.,.],.],[.,.]]],.]=>[1,3,4,6,5,2,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) [[[.,.],[[.,[.,[.,.]]],.]],.]=>[1,5,4,3,6,2,7]=>[4,6,3,2,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) [[[.,.],[[.,[[.,.],.]],.]],.]=>[1,4,5,3,6,2,7]=>[3,6,4,1,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) [[[.,.],[[[.,.],[.,.]],.]],.]=>[1,3,5,4,6,2,7]=>[3,6,2,4,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) [[[.,.],[[[.,[.,.]],.],.]],.]=>[1,4,3,5,6,2,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) [[[.,.],[[[[.,.],.],.],.]],.]=>[1,3,4,5,6,2,7]=>[2,6,1,3,4,5,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,12),(3,12),(4,9),(5,8),(6,10),(7,8),(7,9),(8,11),(9,11),(11,12),(12,10)],13) [[[.,[.,.]],[.,[.,[.,.]]]],.]=>[2,1,6,5,4,3,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) [[[.,[.,.]],[.,[[.,.],.]]],.]=>[2,1,5,6,4,3,7]=>[4,3,6,5,1,2,7]=>([(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) [[[.,[.,.]],[[.,.],[.,.]]],.]=>[2,1,4,6,5,3,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) [[[.,[.,.]],[[.,[.,.]],.]],.]=>[2,1,5,4,6,3,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) [[[.,[.,.]],[[[.,.],.],.]],.]=>[2,1,4,5,6,3,7]=>[3,2,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) [[[[.,.],.],[.,[.,[.,.]]]],.]=>[1,2,6,5,4,3,7]=>[4,5,6,3,2,1,7]=>([(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) [[[[.,.],.],[.,[[.,.],.]]],.]=>[1,2,5,6,4,3,7]=>[3,4,6,5,1,2,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,8),(3,9),(4,9),(5,10),(6,10),(7,8),(7,11),(8,14),(9,13),(10,11),(11,14),(13,12),(14,13)],15) [[[[.,.],.],[[.,.],[.,.]]],.]=>[1,2,4,6,5,3,7]=>[3,4,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) [[[[.,.],.],[[.,[.,.]],.]],.]=>[1,2,5,4,6,3,7]=>[3,4,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) [[[[.,.],.],[[[.,.],.],.]],.]=>[1,2,4,5,6,3,7]=>[2,3,6,1,4,5,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(2,11),(3,9),(4,9),(5,8),(6,8),(7,10),(8,11),(9,11),(11,10)],12) [[[.,[.,[.,.]]],[.,[.,.]]],.]=>[3,2,1,6,5,4,7]=>[5,4,3,6,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,11),(7,13),(9,12),(10,8),(11,10),(12,11),(13,10),(14,9),(15,9)],16) [[[.,[.,[.,.]]],[[.,.],.]],.]=>[3,2,1,5,6,4,7]=>[4,3,2,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) [[[.,[[.,.],.]],[.,[.,.]]],.]=>[2,3,1,6,5,4,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) [[[.,[[.,.],.]],[[.,.],.]],.]=>[2,3,1,5,6,4,7]=>[4,2,3,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) [[[[.,.],[.,.]],[.,[.,.]]],.]=>[1,3,2,6,5,4,7]=>[4,5,3,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) [[[[.,.],[.,.]],[[.,.],.]],.]=>[1,3,2,5,6,4,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) [[[[.,[.,.]],.],[.,[.,.]]],.]=>[2,1,3,6,5,4,7]=>[4,3,5,6,2,1,7]=>([(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) [[[[.,[.,.]],.],[[.,.],.]],.]=>[2,1,3,5,6,4,7]=>[3,2,4,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) [[[[[.,.],.],.],[.,[.,.]]],.]=>[1,2,3,6,5,4,7]=>[3,4,5,6,2,1,7]=>([(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) [[[[[.,.],.],.],[[.,.],.]],.]=>[1,2,3,5,6,4,7]=>[2,3,4,6,1,5,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,12),(3,12),(4,9),(5,8),(6,10),(7,8),(7,9),(8,11),(9,11),(11,12),(12,10)],13) [[[.,[.,[.,[.,.]]]],[.,.]],.]=>[4,3,2,1,6,5,7]=>[5,4,3,2,6,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) [[[.,[.,[[.,.],.]]],[.,.]],.]=>[3,4,2,1,6,5,7]=>[5,4,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,10),(5,13),(6,12),(7,8),(7,11),(8,14),(9,11),(11,14),(12,10),(13,12),(14,13)],15) [[[.,[[.,.],[.,.]]],[.,.]],.]=>[2,4,3,1,6,5,7]=>[5,3,4,2,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,13),(6,9),(7,12),(8,10),(8,11),(10,14),(11,14),(12,9),(13,12),(14,13)],15) [[[.,[[.,[.,.]],.]],[.,.]],.]=>[3,2,4,1,6,5,7]=>[5,3,2,4,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) [[[.,[[[.,.],.],.]],[.,.]],.]=>[2,3,4,1,6,5,7]=>[5,2,3,4,6,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) [[[[.,.],[.,[.,.]]],[.,.]],.]=>[1,4,3,2,6,5,7]=>[4,5,3,2,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,11),(11,14),(12,10),(13,12),(14,13)],15) [[[[.,.],[[.,.],.]],[.,.]],.]=>[1,3,4,2,6,5,7]=>[3,5,2,4,6,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) [[[[.,[.,.]],[.,.]],[.,.]],.]=>[2,1,4,3,6,5,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) [[[[[.,.],.],[.,.]],[.,.]],.]=>[1,2,4,3,6,5,7]=>[3,4,5,2,6,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) [[[[.,[.,[.,.]]],.],[.,.]],.]=>[3,2,1,4,6,5,7]=>[4,3,2,5,6,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) [[[[.,[[.,.],.]],.],[.,.]],.]=>[2,3,1,4,6,5,7]=>[4,2,3,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) [[[[[.,.],[.,.]],.],[.,.]],.]=>[1,3,2,4,6,5,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) [[[[[.,[.,.]],.],.],[.,.]],.]=>[2,1,3,4,6,5,7]=>[3,2,4,5,6,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) [[[[[[.,.],.],.],.],[.,.]],.]=>[1,2,3,4,6,5,7]=>[2,3,4,5,6,1,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,14),(2,16),(3,15),(4,8),(5,15),(5,18),(6,16),(6,19),(7,18),(7,19),(9,11),(10,11),(11,14),(12,9),(13,10),(14,8),(15,12),(16,13),(17,9),(17,10),(18,12),(18,17),(19,13),(19,17)],20) [[[.,[.,[.,[.,[.,.]]]]],.],.]=>[5,4,3,2,1,6,7]=>[5,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,5,3,2,1,6,7]=>[5,4,3,1,2,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,13),(5,15),(6,12),(6,17),(7,14),(7,17),(9,13),(10,9),(11,9),(12,10),(13,8),(14,11),(15,8),(16,12),(17,10),(17,11)],18) [[[.,[.,[[.,.],[.,.]]]],.],.]=>[3,5,4,2,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) [[[.,[.,[[.,[.,.]],.]]],.],.]=>[4,3,5,2,1,6,7]=>[5,4,2,1,3,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,14),(2,12),(3,15),(4,15),(5,13),(6,11),(6,14),(7,10),(7,13),(9,11),(10,9),(11,8),(12,10),(13,9),(14,8),(15,12)],16) [[[.,[.,[[[.,.],.],.]]],.],.]=>[3,4,5,2,1,6,7]=>[5,4,1,2,3,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,16),(2,15),(3,14),(4,13),(5,12),(5,16),(6,11),(6,13),(7,14),(7,15),(9,12),(10,11),(11,9),(12,8),(13,9),(14,10),(15,10),(16,8)],17) [[[.,[[.,.],[.,[.,.]]]],.],.]=>[2,5,4,3,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) [[[.,[[.,.],[[.,.],.]]],.],.]=>[2,4,5,3,1,6,7]=>[5,2,4,1,3,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,12),(3,12),(4,12),(5,8),(6,9),(7,8),(7,10),(8,11),(9,10),(10,11),(12,9)],13) [[[.,[[.,[.,.]],[.,.]]],.],.]=>[3,2,5,4,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,5,4,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) [[[.,[[.,[.,[.,.]]],.]],.],.]=>[4,3,2,5,1,6,7]=>[5,3,2,1,4,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,2,5,1,6,7]=>[5,3,1,2,4,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,8),(4,11),(5,12),(6,13),(7,8),(7,10),(8,14),(9,13),(10,14),(11,12),(12,10),(13,11)],15) [[[.,[[[.,.],[.,.]],.]],.],.]=>[2,4,3,5,1,6,7]=>[5,2,3,1,4,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,9),(2,9),(3,8),(4,11),(5,12),(6,13),(7,8),(7,10),(8,14),(9,13),(10,14),(11,12),(12,10),(13,11)],15) [[[.,[[[.,[.,.]],.],.]],.],.]=>[3,2,4,5,1,6,7]=>[5,2,1,3,4,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) [[[.,[[[[.,.],.],.],.]],.],.]=>[2,3,4,5,1,6,7]=>[5,1,2,3,4,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,16),(2,13),(3,15),(4,14),(5,12),(5,16),(6,14),(6,17),(7,15),(7,17),(9,13),(10,9),(11,9),(12,8),(13,12),(14,10),(15,11),(16,8),(17,10),(17,11)],18) [[[[.,.],[.,[.,[.,.]]]],.],.]=>[1,5,4,3,2,6,7]=>[4,5,3,2,1,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,13),(5,15),(6,12),(6,17),(7,14),(7,17),(9,13),(10,9),(11,9),(12,10),(13,8),(14,11),(15,8),(16,12),(17,10),(17,11)],18) [[[[.,.],[.,[[.,.],.]]],.],.]=>[1,4,5,3,2,6,7]=>[3,5,4,1,2,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,11),(2,8),(3,8),(4,9),(5,10),(6,10),(7,9),(7,12),(8,14),(9,13),(10,11),(11,14),(12,13),(14,12)],15) [[[[.,.],[[.,.],[.,.]]],.],.]=>[1,3,5,4,2,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) [[[[.,.],[[.,[.,.]],.]],.],.]=>[1,4,3,5,2,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) [[[[.,.],[[[.,.],.],.]],.],.]=>[1,3,4,5,2,6,7]=>[2,5,1,3,4,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,12),(3,12),(4,8),(5,9),(6,9),(7,8),(7,10),(8,11),(9,12),(10,11),(12,10)],13) [[[[.,[.,.]],[.,[.,.]]],.],.]=>[2,1,5,4,3,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) [[[[.,[.,.]],[[.,.],.]],.],.]=>[2,1,4,5,3,6,7]=>[3,2,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) [[[[[.,.],.],[.,[.,.]]],.],.]=>[1,2,5,4,3,6,7]=>[3,4,5,2,1,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,16),(2,15),(3,14),(4,13),(5,12),(5,16),(6,11),(6,13),(7,14),(7,15),(9,12),(10,11),(11,9),(12,8),(13,9),(14,10),(15,10),(16,8)],17) [[[[[.,.],.],[[.,.],.]],.],.]=>[1,2,4,5,3,6,7]=>[2,3,5,1,4,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,12),(2,12),(3,12),(4,8),(5,9),(6,9),(7,8),(7,10),(8,11),(9,12),(10,11),(12,10)],13) [[[[.,[.,[.,.]]],[.,.]],.],.]=>[3,2,1,5,4,6,7]=>[4,3,2,5,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) [[[[.,[[.,.],.]],[.,.]],.],.]=>[2,3,1,5,4,6,7]=>[4,2,3,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) [[[[[.,.],[.,.]],[.,.]],.],.]=>[1,3,2,5,4,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) [[[[[.,[.,.]],.],[.,.]],.],.]=>[2,1,3,5,4,6,7]=>[3,2,4,5,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) [[[[[[.,.],.],.],[.,.]],.],.]=>[1,2,3,5,4,6,7]=>[2,3,4,5,1,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,16),(2,13),(3,15),(4,14),(5,12),(5,16),(6,14),(6,17),(7,15),(7,17),(9,13),(10,9),(11,9),(12,8),(13,12),(14,10),(15,11),(16,8),(17,10),(17,11)],18) [[[[.,[.,[.,[.,.]]]],.],.],.]=>[4,3,2,1,5,6,7]=>[4,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) [[[[.,[.,[[.,.],.]]],.],.],.]=>[3,4,2,1,5,6,7]=>[4,3,1,2,5,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,16),(2,16),(3,14),(4,15),(5,13),(5,15),(6,12),(6,17),(7,14),(7,17),(9,12),(10,8),(11,8),(12,10),(13,9),(14,11),(15,9),(16,13),(17,10),(17,11)],18) [[[[.,[[.,.],[.,.]]],.],.],.]=>[2,4,3,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) [[[[.,[[.,[.,.]],.]],.],.],.]=>[3,2,4,1,5,6,7]=>[4,2,1,3,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) [[[[.,[[[.,.],.],.]],.],.],.]=>[2,3,4,1,5,6,7]=>[4,1,2,3,5,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,13),(2,16),(3,15),(4,14),(5,15),(5,16),(6,12),(6,17),(7,14),(7,17),(9,13),(10,8),(11,8),(12,10),(13,12),(14,11),(15,9),(16,9),(17,10),(17,11)],18) [[[[[.,.],[.,[.,.]]],.],.],.]=>[1,4,3,2,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) [[[[[.,.],[[.,.],.]],.],.],.]=>[1,3,4,2,5,6,7]=>[2,4,1,3,5,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,14),(2,14),(3,14),(4,14),(5,8),(6,8),(6,9),(7,9),(7,10),(8,11),(9,11),(9,12),(10,12),(11,13),(12,13),(14,10)],15) [[[[[.,[.,.]],[.,.]],.],.],.]=>[2,1,4,3,5,6,7]=>[3,2,4,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) [[[[[[.,.],.],[.,.]],.],.],.]=>[1,2,4,3,5,6,7]=>[2,3,4,1,5,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,13),(2,16),(3,15),(4,14),(5,15),(5,16),(6,12),(6,17),(7,14),(7,17),(9,13),(10,8),(11,8),(12,10),(13,12),(14,11),(15,9),(16,9),(17,10),(17,11)],18) [[[[[.,[.,[.,.]]],.],.],.],.]=>[3,2,1,4,5,6,7]=>[3,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) [[[[[.,[[.,.],.]],.],.],.],.]=>[2,3,1,4,5,6,7]=>[3,1,2,4,5,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,15),(2,16),(3,16),(4,14),(5,15),(5,18),(6,13),(6,19),(7,18),(7,19),(9,11),(10,12),(11,8),(12,8),(13,10),(14,13),(15,9),(16,14),(17,11),(17,12),(18,9),(18,17),(19,10),(19,17)],20) [[[[[[.,.],[.,.]],.],.],.],.]=>[1,3,2,4,5,6,7]=>[2,3,1,4,5,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,15),(2,16),(3,16),(4,14),(5,15),(5,18),(6,13),(6,19),(7,18),(7,19),(9,11),(10,12),(11,8),(12,8),(13,10),(14,13),(15,9),(16,14),(17,11),(17,12),(18,9),(18,17),(19,10),(19,17)],20) [.,[.,[.,[.,[[.,.],[[.,.],.]]]]]]=>[5,7,8,6,4,3,2,1]=>[8,7,6,5,2,4,1,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,19),(2,19),(3,19),(4,19),(5,14),(6,14),(6,17),(7,15),(7,18),(8,17),(8,18),(10,12),(11,13),(12,9),(13,9),(14,10),(15,11),(16,12),(16,13),(17,10),(17,16),(18,11),(18,16),(19,15)],20) [.,[.,[.,[.,[[.,[[.,.],.]],.]]]]]=>[6,7,5,8,4,3,2,1]=>[8,7,6,5,3,1,2,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,16),(2,17),(3,18),(4,18),(5,15),(6,17),(6,20),(7,14),(7,21),(8,20),(8,21),(10,12),(11,13),(12,9),(13,9),(14,11),(15,16),(16,14),(17,10),(18,15),(19,12),(19,13),(20,10),(20,19),(21,11),(21,19)],22) [.,[.,[.,[.,[[[.,.],[.,.]],.]]]]]=>[5,7,6,8,4,3,2,1]=>[8,7,6,5,2,3,1,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,16),(2,17),(3,18),(4,18),(5,15),(6,17),(6,20),(7,14),(7,21),(8,20),(8,21),(10,12),(11,13),(12,9),(13,9),(14,11),(15,16),(16,14),(17,10),(18,15),(19,12),(19,13),(20,10),(20,19),(21,11),(21,19)],22) [.,[.,[.,[[.,.],[[.,.],[.,.]]]]]]=>[4,6,8,7,5,3,2,1]=>[8,7,6,3,5,2,4,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,19),(2,19),(3,19),(4,19),(5,14),(6,15),(7,14),(7,17),(8,17),(8,18),(10,12),(11,13),(12,9),(13,9),(14,10),(15,11),(16,12),(16,13),(17,10),(17,16),(18,11),(18,16),(19,15),(19,18)],20) [.,[.,[.,[[.,[.,[.,[.,.]]]],.]]]]=>[7,6,5,4,8,3,2,1]=>[8,7,6,4,3,2,1,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,16),(2,18),(3,17),(4,19),(5,15),(5,21),(6,17),(6,20),(7,18),(7,20),(8,19),(8,21),(10,16),(11,10),(12,10),(13,9),(14,9),(15,13),(16,15),(17,11),(18,12),(19,14),(20,11),(20,12),(21,13),(21,14)],22) [.,[.,[.,[[.,[.,[[.,.],.]]],.]]]]=>[6,7,5,4,8,3,2,1]=>[8,7,6,4,3,1,2,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,15),(2,18),(3,18),(4,16),(5,17),(6,14),(6,17),(7,13),(7,19),(8,16),(8,19),(10,15),(11,9),(12,9),(13,11),(14,10),(15,13),(16,12),(17,10),(18,14),(19,11),(19,12)],20) [.,[.,[.,[[.,[[.,.],[.,.]]],.]]]]=>[5,7,6,4,8,3,2,1]=>[8,7,6,4,2,3,1,5]=>([(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,14),(7,17),(7,18),(8,13),(8,18),(10,14),(11,9),(12,9),(13,12),(14,13),(15,10),(16,10),(17,11),(18,11),(18,12),(19,15),(19,16)],20) [.,[.,[.,[[.,[[.,[.,.]],.]],.]]]]=>[6,5,7,4,8,3,2,1]=>[8,7,6,4,2,1,3,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,13),(2,14),(3,15),(4,16),(5,17),(6,17),(7,16),(7,18),(8,12),(8,18),(10,9),(11,9),(12,11),(13,14),(14,12),(15,13),(16,10),(17,15),(18,10),(18,11)],19) [.,[.,[.,[[.,[[[.,.],.],.]],.]]]]=>[5,6,7,4,8,3,2,1]=>[8,7,6,4,1,2,3,5]=>([(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,14),(6,16),(6,17),(7,18),(7,19),(8,13),(8,19),(10,14),(11,9),(12,9),(13,12),(14,15),(15,13),(16,10),(17,10),(18,11),(19,11),(19,12)],20) [.,[.,[.,[[[.,.],[.,[.,.]]],.]]]]=>[4,7,6,5,8,3,2,1]=>[8,7,6,3,4,2,1,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,15),(2,18),(3,18),(4,16),(5,17),(6,14),(6,17),(7,13),(7,19),(8,16),(8,19),(10,15),(11,9),(12,9),(13,11),(14,10),(15,13),(16,12),(17,10),(18,14),(19,11),(19,12)],20) [.,[.,[.,[[[.,.],[[.,.],.]],.]]]]=>[4,6,7,5,8,3,2,1]=>[8,7,6,2,4,1,3,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,16),(2,16),(3,16),(4,16),(5,10),(6,11),(7,9),(7,12),(8,9),(8,10),(9,13),(9,15),(10,13),(11,12),(12,15),(13,14),(15,14),(16,11)],17) [.,[.,[.,[[[.,[.,.]],[.,.]],.]]]]=>[5,4,7,6,8,3,2,1]=>[8,7,6,3,2,4,1,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,13),(2,14),(3,15),(4,16),(5,17),(6,17),(7,16),(7,18),(8,12),(8,18),(10,9),(11,9),(12,11),(13,14),(14,12),(15,13),(16,10),(17,15),(18,10),(18,11)],19) [.,[.,[.,[[[[.,.],.],[.,.]],.]]]]=>[4,5,7,6,8,3,2,1]=>[8,7,6,2,3,4,1,5]=>([(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,14),(6,16),(6,17),(7,18),(7,19),(8,13),(8,19),(10,14),(11,9),(12,9),(13,12),(14,15),(15,13),(16,10),(17,10),(18,11),(19,11),(19,12)],20) [.,[.,[.,[[[.,[.,[.,.]]],.],.]]]]=>[6,5,4,7,8,3,2,1]=>[8,7,6,3,2,1,4,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,16),(2,17),(3,19),(4,18),(5,14),(5,16),(6,18),(6,19),(7,15),(7,20),(8,17),(8,20),(10,15),(11,14),(12,9),(13,9),(14,10),(15,12),(16,10),(17,13),(18,11),(19,11),(20,12),(20,13)],21) [.,[.,[.,[[[.,[[.,.],.]],.],.]]]]=>[5,6,4,7,8,3,2,1]=>[8,7,6,3,1,2,4,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,15),(2,18),(3,18),(4,16),(5,17),(6,14),(6,17),(7,13),(7,19),(8,16),(8,19),(10,13),(11,9),(12,9),(13,11),(14,10),(15,14),(16,12),(17,10),(18,15),(19,11),(19,12)],20) [.,[.,[.,[[[[.,.],[.,.]],.],.]]]]=>[4,6,5,7,8,3,2,1]=>[8,7,6,2,3,1,4,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,15),(2,18),(3,18),(4,16),(5,17),(6,14),(6,17),(7,13),(7,19),(8,16),(8,19),(10,13),(11,9),(12,9),(13,11),(14,10),(15,14),(16,12),(17,10),(18,15),(19,11),(19,12)],20) [.,[.,[.,[[[[.,[.,.]],.],.],.]]]]=>[5,4,6,7,8,3,2,1]=>[8,7,6,2,1,3,4,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,19),(2,19),(3,17),(4,18),(5,16),(5,20),(6,15),(6,21),(7,18),(7,20),(8,17),(8,21),(10,15),(11,10),(12,10),(13,9),(14,9),(15,13),(16,11),(17,14),(18,12),(19,16),(20,11),(20,12),(21,13),(21,14)],22) [.,[.,[[.,.],[[[[.,.],.],.],.]]]]=>[3,5,6,7,8,4,2,1]=>[8,7,2,6,1,3,4,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,15),(2,15),(3,15),(4,10),(5,9),(6,11),(7,9),(7,10),(8,11),(8,12),(9,14),(10,14),(11,13),(12,13),(14,15),(15,12)],16) [.,[.,[[.,[.,.]],[.,[[.,.],.]]]]]=>[4,3,7,8,6,5,2,1]=>[8,7,4,3,6,5,1,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,14),(2,14),(3,16),(4,16),(5,15),(6,15),(7,13),(8,13),(8,18),(10,11),(11,9),(12,9),(13,12),(14,10),(15,17),(16,17),(17,10),(17,18),(18,11),(18,12)],19) [.,[.,[[[.,.],.],[[[.,.],.],.]]]]=>[3,4,6,7,8,5,2,1]=>[8,7,2,3,6,1,4,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,14),(2,14),(3,11),(4,11),(5,10),(6,10),(7,9),(8,9),(8,12),(9,13),(10,14),(11,14),(12,13),(14,12)],15) [.,[.,[[[.,[.,.]],.],[[.,.],.]]]]=>[4,3,5,7,8,6,2,1]=>[8,7,3,2,4,6,1,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,12),(2,14),(3,14),(4,14),(5,9),(6,10),(7,10),(8,9),(8,11),(9,13),(10,12),(11,13),(12,14),(14,11)],15) [.,[.,[[[[.,.],.],.],[[.,.],.]]]]=>[3,4,5,7,8,6,2,1]=>[8,7,2,3,4,6,1,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,15),(2,15),(3,15),(4,10),(5,9),(6,11),(7,9),(7,10),(8,11),(8,12),(9,14),(10,14),(11,13),(12,13),(14,15),(15,12)],16) [.,[.,[[.,[[[.,[.,.]],.],.]],.]]]=>[5,4,6,7,3,8,2,1]=>[8,7,5,2,1,3,4,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,13),(2,14),(3,16),(4,15),(5,17),(6,17),(7,12),(7,16),(8,11),(8,15),(10,14),(11,10),(12,9),(13,12),(14,13),(15,10),(16,9),(17,11)],18) [.,[.,[[.,[[[[.,.],.],.],.]],.]]]=>[4,5,6,7,3,8,2,1]=>[8,7,5,1,2,3,4,6]=>([(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,14),(6,13),(6,18),(7,16),(7,19),(8,17),(8,19),(10,14),(11,10),(12,10),(13,9),(14,15),(15,13),(16,11),(17,12),(18,9),(19,11),(19,12)],20) [.,[.,[[[.,.],[[.,.],[.,.]]],.]]]=>[3,5,7,6,4,8,2,1]=>[8,7,3,5,2,4,1,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,11),(2,14),(3,14),(4,14),(5,14),(6,9),(7,9),(7,12),(8,10),(9,13),(10,11),(11,12),(12,13),(14,10)],15) [.,[.,[[[.,[[[.,.],.],.]],.],.]]]=>[4,5,6,3,7,8,2,1]=>[8,7,4,1,2,3,5,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,16),(2,15),(3,17),(4,18),(5,14),(6,15),(6,16),(7,13),(7,18),(8,12),(8,17),(10,14),(11,13),(12,11),(13,9),(14,12),(15,10),(16,10),(17,11),(18,9)],19) [.,[.,[[[[.,.],[[.,.],.]],.],.]]]=>[3,5,6,4,7,8,2,1]=>[8,7,2,4,1,3,5,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,15),(2,15),(3,15),(4,15),(5,9),(6,10),(7,9),(7,12),(8,10),(8,11),(9,14),(10,13),(11,13),(12,14),(13,12),(15,11)],16) [.,[.,[[[[.,[.,[.,.]]],.],.],.]]]=>[5,4,3,6,7,8,2,1]=>[8,7,3,2,1,4,5,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,19),(2,18),(3,17),(4,16),(5,15),(5,19),(6,17),(6,18),(7,14),(7,20),(8,16),(8,20),(10,15),(11,14),(12,10),(13,10),(14,12),(15,9),(16,13),(17,11),(18,11),(19,9),(20,12),(20,13)],21) [.,[[.,.],[.,[.,[[.,[.,.]],.]]]]]=>[2,7,6,8,5,4,3,1]=>[8,5,7,6,4,2,1,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,16),(2,16),(3,18),(4,15),(5,15),(6,13),(7,14),(8,12),(8,17),(10,9),(11,9),(12,10),(13,12),(14,11),(15,18),(16,13),(17,10),(17,11),(18,14),(18,17)],19) [.,[[.,.],[[.,.],[[.,.],[.,.]]]]]=>[2,4,6,8,7,5,3,1]=>[8,4,7,3,6,2,5,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,12),(2,12),(3,12),(4,12),(5,12),(6,12),(7,10),(8,9),(9,11),(10,11),(12,9),(12,10)],13) [.,[[.,.],[[.,.],[[[.,.],.],.]]]]=>[2,4,6,7,8,5,3,1]=>[8,3,7,2,6,1,4,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,11),(2,11),(3,11),(4,11),(5,11),(6,9),(7,9),(8,10),(9,11),(11,10)],12) [.,[[.,.],[[[.,.],.],[[.,.],.]]]]=>[2,4,5,7,8,6,3,1]=>[8,3,7,2,4,6,1,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,10),(8,9),(10,9)],11) [.,[[.,.],[[.,[.,[.,.]]],[.,.]]]]=>[2,6,5,4,8,7,3,1]=>[8,5,7,4,3,2,6,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,15),(2,15),(3,15),(4,10),(5,9),(6,12),(7,11),(8,9),(8,10),(9,14),(10,14),(11,13),(12,13),(14,15),(15,11),(15,12)],16) [.,[[[.,.],.],[.,[[[.,.],.],.]]]]=>[2,3,6,7,8,5,4,1]=>[8,3,4,7,6,1,2,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,13),(2,11),(3,11),(4,10),(5,10),(6,9),(7,9),(8,12),(9,13),(10,13),(11,13),(13,12)],14) [.,[[[.,.],.],[[.,.],[[.,.],.]]]]=>[2,3,5,7,8,6,4,1]=>[8,3,4,7,2,6,1,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,11),(2,11),(3,11),(4,11),(5,11),(6,9),(7,9),(8,10),(9,11),(11,10)],12) [.,[[[[.,.],.],.],[[.,[.,.]],.]]]=>[2,3,4,7,6,8,5,1]=>[8,3,4,5,7,2,1,6]=>([(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,4,3,2,7,8,6,1]=>[8,5,4,3,2,7,1,6]=>([(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) [.,[[.,[.,[.,[.,[[.,.],.]]]]],.]]=>[6,7,5,4,3,2,8,1]=>[8,6,5,4,3,1,2,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,17),(2,18),(3,18),(4,16),(5,9),(6,17),(6,21),(7,15),(7,20),(8,20),(8,21),(10,12),(11,12),(12,16),(13,11),(14,10),(15,14),(16,9),(17,13),(18,15),(19,10),(19,11),(20,14),(20,19),(21,13),(21,19)],22) [.,[[.,[.,[.,[[.,[.,.]],.]]]],.]]=>[6,5,7,4,3,2,8,1]=>[8,6,5,4,2,1,3,7]=>([(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,15),(11,10),(12,10),(13,12),(14,13),(15,9),(16,11),(17,14),(18,11),(18,12)],19) [.,[[.,[.,[[[.,.],[.,.]],.]]],.]]=>[4,6,5,7,3,2,8,1]=>[8,6,5,2,3,1,4,7]=>([(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,12),(14,13),(15,11),(16,15)],17) [.,[[.,[.,[[[[.,.],.],.],.]]],.]]=>[4,5,6,7,3,2,8,1]=>[8,6,5,1,2,3,4,7]=>([(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,14),(6,16),(7,17),(7,19),(8,18),(8,19),(10,14),(11,15),(12,10),(13,10),(14,11),(15,9),(16,11),(17,12),(18,13),(19,12),(19,13)],20) [.,[[.,[[.,.],[[.,.],[.,.]]]],.]]=>[3,5,7,6,4,2,8,1]=>[8,6,3,5,2,4,1,7]=>([(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,14),(7,10),(8,9),(9,13),(10,13),(11,12),(13,11),(14,9),(14,10)],15) [.,[[.,[[.,[.,[.,[.,.]]]],.]],.]]=>[6,5,4,3,7,2,8,1]=>[8,6,4,3,2,1,5,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,13),(2,14),(3,15),(4,17),(5,16),(6,9),(7,16),(7,18),(8,17),(8,18),(10,13),(11,10),(12,10),(13,14),(14,15),(15,9),(16,11),(17,12),(18,11),(18,12)],19) [.,[[.,[[.,[[.,[.,.]],.]],.]],.]]=>[5,4,6,3,7,2,8,1]=>[8,6,4,2,1,3,5,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,9),(2,9),(3,11),(4,12),(5,13),(6,14),(7,15),(8,10),(9,15),(11,12),(12,14),(13,11),(14,10),(15,13)],16) [.,[[.,[[[.,.],[.,[.,.]]],.]],.]]=>[3,6,5,4,7,2,8,1]=>[8,6,3,4,2,1,5,7]=>([(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,12),(12,16),(13,14),(14,11),(15,13),(16,15)],17) [.,[[[.,.],[.,[[[.,.],.],.]]],.]]=>[2,5,6,7,4,3,8,1]=>[8,3,6,5,1,2,4,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,12),(2,13),(3,13),(4,10),(5,10),(6,9),(7,9),(8,11),(9,13),(10,13),(11,12),(13,11)],14) [.,[[[.,[.,.]],[.,[[.,.],.]]],.]]=>[3,2,6,7,5,4,8,1]=>[8,4,3,6,5,1,2,7]=>([(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) [.,[[[[.,.],.],[.,[.,[.,.]]]],.]]=>[2,3,7,6,5,4,8,1]=>[8,4,5,6,3,2,1,7]=>([(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,14),(12,10),(13,10),(14,12),(15,9),(16,13),(17,11),(18,11),(19,12),(19,13)],20) [.,[[[[.,[[[.,.],.],.]],.],.],.]]=>[3,4,5,2,6,7,8,1]=>[8,4,1,2,3,5,6,7]=>([(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) [.,[[[[[[.,.],.],[.,.]],.],.],.]]=>[2,3,5,4,6,7,8,1]=>[8,2,3,4,1,5,6,7]=>([(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) [.,[[[[[.,[[.,.],.]],.],.],.],.]]=>[3,4,2,5,6,7,8,1]=>[8,3,1,2,4,5,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,17),(2,18),(3,18),(4,16),(5,9),(6,17),(6,21),(7,15),(7,20),(8,20),(8,21),(10,14),(11,14),(12,11),(13,10),(14,9),(15,13),(16,15),(17,12),(18,16),(19,10),(19,11),(20,13),(20,19),(21,12),(21,19)],22) [.,[[[[[[.,.],[.,.]],.],.],.],.]]=>[2,4,3,5,6,7,8,1]=>[8,2,3,1,4,5,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,17),(2,18),(3,18),(4,16),(5,9),(6,17),(6,21),(7,15),(7,20),(8,20),(8,21),(10,14),(11,14),(12,11),(13,10),(14,9),(15,13),(16,15),(17,12),(18,16),(19,10),(19,11),(20,13),(20,19),(21,12),(21,19)],22) [[.,.],[.,[.,[[.,[.,.]],[.,.]]]]]=>[1,6,5,8,7,4,3,2]=>[6,8,7,5,3,2,4,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,16),(2,16),(3,18),(4,15),(5,15),(6,13),(7,14),(8,12),(8,17),(10,9),(11,9),(12,10),(13,12),(14,11),(15,18),(16,13),(17,10),(17,11),(18,14),(18,17)],19) [[.,.],[.,[[.,[.,.]],[[.,.],.]]]]=>[1,5,4,7,8,6,3,2]=>[5,8,7,3,2,6,1,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,11),(2,11),(3,11),(4,11),(5,10),(6,10),(7,9),(8,9),(9,11),(10,11)],12) [[.,.],[.,[[[[.,[.,.]],.],.],.]]]=>[1,5,4,6,7,8,3,2]=>[4,8,7,2,1,3,5,6]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,12),(2,13),(3,11),(4,11),(5,10),(6,10),(7,9),(8,9),(9,12),(10,13),(11,13),(12,13)],14) [[.,.],[[.,.],[[.,.],[[.,.],.]]]]=>[1,3,5,7,8,6,4,2]=>[4,8,3,7,2,6,1,5]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,9),(2,9),(3,9),(4,9),(5,9),(6,9),(7,9),(8,9)],10) [[.,.],[[.,.],[[[[.,.],.],.],.]]]=>[1,3,5,6,7,8,4,2]=>[3,8,2,7,1,4,5,6]=>([(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) [[.,.],[[[.,.],.],[[[.,.],.],.]]]=>[1,3,4,6,7,8,5,2]=>[3,8,2,4,7,1,5,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) [[.,.],[[[[[[.,.],.],.],.],.],.]]=>[1,3,4,5,6,7,8,2]=>[2,8,1,3,4,5,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,19),(2,19),(3,19),(4,15),(5,14),(6,14),(6,17),(7,15),(7,18),(8,17),(8,18),(9,19),(10,12),(11,13),(12,9),(13,9),(14,10),(15,11),(16,12),(16,13),(17,10),(17,16),(18,11),(18,16)],20) [[.,[.,.]],[.,[.,[[[.,.],.],.]]]]=>[2,1,6,7,8,5,4,3]=>[5,4,8,7,6,1,2,3]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,14),(2,13),(3,16),(4,15),(5,17),(6,17),(7,13),(7,14),(8,15),(8,16),(10,12),(11,9),(12,9),(13,10),(14,10),(15,11),(16,11),(17,12)],18) [[.,[.,.]],[[.,[.,.]],[.,[.,.]]]]=>[2,1,5,4,8,7,6,3]=>[6,5,8,4,3,7,2,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,14),(2,14),(3,11),(4,11),(5,10),(6,10),(7,9),(8,9),(8,12),(9,13),(10,14),(11,14),(12,13),(14,12)],15) [[.,[.,.]],[[[[.,.],.],.],[.,.]]]=>[2,1,4,5,6,8,7,3]=>[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) [[[.,.],.],[.,[[.,[.,[.,.]]],.]]]=>[1,2,7,6,5,8,4,3]=>[5,6,8,7,3,2,1,4]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,16),(2,15),(3,14),(4,13),(5,17),(6,17),(7,15),(7,16),(8,12),(8,14),(10,13),(11,9),(12,11),(13,9),(14,11),(15,10),(16,10),(17,12)],18) [[[.,.],.],[[[[.,.],.],.],[.,.]]]=>[1,2,4,5,6,8,7,3]=>[3,4,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) [[.,[[.,.],.]],[.,[.,[.,[.,.]]]]]=>[2,3,1,8,7,6,5,4]=>[7,5,6,8,4,3,2,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,16),(2,17),(3,18),(4,18),(5,15),(6,17),(6,20),(7,14),(7,21),(8,20),(8,21),(10,12),(11,13),(12,9),(13,9),(14,11),(15,16),(16,14),(17,10),(18,15),(19,12),(19,13),(20,10),(20,19),(21,11),(21,19)],22) [[[[.,.],.],.],[[[[.,.],.],.],.]]=>[1,2,3,5,6,7,8,4]=>[2,3,4,8,1,5,6,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,15),(2,15),(3,10),(4,9),(5,12),(6,11),(7,11),(7,12),(8,9),(8,10),(9,13),(10,13),(11,14),(12,14),(13,15),(14,15)],16) [[.,[.,[.,[.,.]]]],[.,[.,[.,.]]]]=>[4,3,2,1,8,7,6,5]=>[7,6,5,4,8,3,2,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,16),(2,18),(3,17),(4,19),(5,15),(5,21),(6,17),(6,20),(7,18),(7,20),(8,19),(8,21),(10,16),(11,10),(12,10),(13,9),(14,9),(15,13),(16,15),(17,11),(18,12),(19,14),(20,11),(20,12),(21,13),(21,14)],22) [[.,[.,[.,[.,.]]]],[[[.,.],.],.]]=>[4,3,2,1,6,7,8,5]=>[5,4,3,2,8,1,6,7]=>([(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) [[.,[.,[[.,.],.]]],[.,[.,[.,.]]]]=>[3,4,2,1,8,7,6,5]=>[7,6,4,5,8,3,2,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,15),(2,18),(3,18),(4,16),(5,17),(6,14),(6,17),(7,13),(7,19),(8,16),(8,19),(10,15),(11,9),(12,9),(13,11),(14,10),(15,13),(16,12),(17,10),(18,14),(19,11),(19,12)],20) [[.,[.,[[.,.],.]]],[.,[[.,.],.]]]=>[3,4,2,1,7,8,6,5]=>[6,5,3,4,8,7,1,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,9),(2,9),(3,10),(4,11),(5,11),(6,12),(7,12),(8,10),(8,13),(9,15),(10,16),(11,14),(12,13),(13,16),(14,15),(16,14)],17) [[.,[.,[[.,.],.]]],[[[.,.],.],.]]=>[3,4,2,1,6,7,8,5]=>[5,4,2,3,8,1,6,7]=>([(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) [[.,[[.,[.,.]],.]],[.,[.,[.,.]]]]=>[3,2,4,1,8,7,6,5]=>[7,5,4,6,8,3,2,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,13),(2,14),(3,15),(4,16),(5,17),(6,17),(7,16),(7,18),(8,12),(8,18),(10,9),(11,9),(12,11),(13,14),(14,12),(15,13),(16,10),(17,15),(18,10),(18,11)],19) [[.,[[.,[.,.]],.]],[.,[[.,.],.]]]=>[3,2,4,1,7,8,6,5]=>[6,4,3,5,8,7,1,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,13),(2,12),(3,9),(4,9),(5,10),(6,10),(7,11),(8,11),(9,15),(10,14),(11,12),(12,13),(13,14),(14,15)],16) [[.,[[[.,.],.],.]],[.,[.,[.,.]]]]=>[2,3,4,1,8,7,6,5]=>[7,4,5,6,8,3,2,1]=>([(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,14),(6,16),(6,17),(7,18),(7,19),(8,13),(8,19),(10,14),(11,9),(12,9),(13,12),(14,15),(15,13),(16,10),(17,10),(18,11),(19,11),(19,12)],20) [[[.,.],[.,[.,.]]],[[[.,.],.],.]]=>[1,4,3,2,6,7,8,5]=>[4,5,3,2,8,1,6,7]=>([(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) [[[.,.],[[.,.],.]],[[.,.],[.,.]]]=>[1,3,4,2,6,8,7,5]=>[4,6,3,5,8,2,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,10),(5,10),(6,10),(7,10),(8,9),(10,11),(11,9)],12) [[[.,[.,.]],[.,.]],[.,[.,[.,.]]]]=>[2,1,4,3,8,7,6,5]=>[6,5,7,4,8,3,2,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,13),(2,14),(3,15),(4,16),(5,17),(6,17),(7,16),(7,18),(8,12),(8,18),(10,9),(11,9),(12,11),(13,14),(14,12),(15,13),(16,10),(17,15),(18,10),(18,11)],19) [[[.,[.,.]],[.,.]],[.,[[.,.],.]]]=>[2,1,4,3,7,8,6,5]=>[5,4,6,3,8,7,1,2]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,13),(2,12),(3,9),(4,9),(5,10),(6,10),(7,11),(8,11),(9,15),(10,14),(11,12),(12,13),(13,14),(14,15)],16) [[[[[.,.],.],.],.],[[[.,.],.],.]]=>[1,2,3,4,6,7,8,5]=>[2,3,4,5,8,1,6,7]=>([(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,4,3,2,1,7,8,6]=>[6,5,4,3,2,8,1,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,19),(2,19),(3,19),(4,15),(5,14),(6,14),(6,17),(7,15),(7,18),(8,17),(8,18),(9,19),(10,12),(11,13),(12,9),(13,9),(14,10),(15,11),(16,12),(16,13),(17,10),(17,16),(18,11),(18,16)],20) [[.,[.,[.,[[.,.],.]]]],[.,[.,.]]]=>[4,5,3,2,1,8,7,6]=>[7,6,5,3,4,8,2,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,17),(2,15),(3,18),(4,18),(5,16),(6,14),(6,17),(7,13),(7,19),(8,16),(8,19),(10,15),(11,10),(12,10),(13,11),(14,9),(15,14),(16,12),(17,9),(18,13),(19,11),(19,12)],20) [[.,[.,[[.,[.,.]],.]]],[.,[.,.]]]=>[4,3,5,2,1,8,7,6]=>[7,6,4,3,5,8,2,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,13),(2,14),(3,16),(4,15),(5,17),(6,17),(7,12),(7,16),(8,11),(8,15),(10,13),(11,10),(12,9),(13,12),(14,11),(15,10),(16,9),(17,14)],18) [[.,[.,[[[.,.],.],.]]],[.,[.,.]]]=>[3,4,5,2,1,8,7,6]=>[7,6,3,4,5,8,2,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,16),(2,15),(3,17),(4,18),(5,14),(6,15),(6,16),(7,13),(7,18),(8,12),(8,17),(10,12),(11,14),(12,11),(13,9),(14,13),(15,10),(16,10),(17,11),(18,9)],19) [[[[.,.],.],[.,[.,.]]],[[.,.],.]]=>[1,2,5,4,3,7,8,6]=>[4,5,6,3,2,8,1,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,15),(2,15),(3,15),(4,11),(5,10),(6,9),(7,9),(7,12),(8,10),(8,11),(9,14),(10,13),(11,13),(12,14),(13,12),(14,15)],16) [[[.,[[[.,.],.],.]],.],[.,[.,.]]]=>[2,3,4,1,5,8,7,6]=>[6,3,4,5,7,8,2,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,16),(2,15),(3,17),(4,18),(5,14),(6,15),(6,16),(7,13),(7,18),(8,12),(8,17),(10,14),(11,13),(12,11),(13,9),(14,12),(15,10),(16,10),(17,11),(18,9)],19) [[[[[.,.],[.,.]],.],.],[[.,.],.]]=>[1,3,2,4,5,7,8,6]=>[3,4,2,5,6,8,1,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,11),(2,14),(3,14),(4,14),(5,9),(6,10),(7,10),(8,9),(8,12),(9,13),(10,11),(11,12),(12,13),(13,14)],15) [[[[[[.,.],.],.],.],.],[[.,.],.]]=>[1,2,3,4,5,7,8,6]=>[2,3,4,5,6,8,1,7]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,19),(2,19),(3,19),(4,15),(5,14),(6,14),(6,17),(7,15),(7,18),(8,17),(8,18),(9,19),(10,12),(11,13),(12,9),(13,9),(14,10),(15,11),(16,12),(16,13),(17,10),(17,16),(18,11),(18,16)],20) [[.,[.,[.,[.,[[.,.],.]]]]],[.,.]]=>[5,6,4,3,2,1,8,7]=>[7,6,5,4,2,3,8,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,17),(2,18),(3,18),(4,16),(5,9),(6,17),(6,21),(7,15),(7,20),(8,20),(8,21),(10,12),(11,12),(12,16),(13,11),(14,10),(15,14),(16,9),(17,13),(18,15),(19,10),(19,11),(20,14),(20,19),(21,13),(21,19)],22) [[.,[.,[.,[[.,[.,.]],.]]]],[.,.]]=>[5,4,6,3,2,1,8,7]=>[7,6,5,3,2,4,8,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,15),(11,10),(12,10),(13,12),(14,13),(15,9),(16,11),(17,14),(18,11),(18,12)],19) [[.,[.,[.,[[[.,.],.],.]]]],[.,.]]=>[4,5,6,3,2,1,8,7]=>[7,6,5,2,3,4,8,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,14),(12,10),(13,10),(14,12),(15,9),(16,13),(17,11),(18,11),(19,12),(19,13)],20) [[[.,[.,.]],[.,[.,[.,.]]]],[.,.]]=>[2,1,6,5,4,3,8,7]=>[6,5,7,4,3,2,8,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,15),(11,10),(12,10),(13,12),(14,13),(15,9),(16,11),(17,14),(18,11),(18,12)],19) [[[.,[.,.]],[.,[[.,.],.]]],[.,.]]=>[2,1,5,6,4,3,8,7]=>[5,4,7,6,2,3,8,1]=>([(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) [[[.,[.,[.,[.,.]]]],[.,.]],[.,.]]=>[4,3,2,1,6,5,8,7]=>[6,5,4,3,7,2,8,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,13),(2,14),(3,15),(4,17),(5,16),(6,9),(7,16),(7,18),(8,17),(8,18),(10,13),(11,10),(12,10),(13,14),(14,15),(15,9),(16,11),(17,12),(18,11),(18,12)],19) [[[.,[.,[[.,.],.]]],[.,.]],[.,.]]=>[3,4,2,1,6,5,8,7]=>[6,5,3,4,7,2,8,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,12),(12,16),(13,14),(14,11),(15,13),(16,15)],17) [[[[.,[.,.]],[.,.]],[.,.]],[.,.]]=>[2,1,4,3,6,5,8,7]=>[5,4,6,3,7,2,8,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,9),(2,9),(3,11),(4,12),(5,13),(6,14),(7,15),(8,10),(9,15),(11,12),(12,14),(13,11),(14,10),(15,13)],16) [[[[.,[[[.,.],.],.]],.],.],[.,.]]=>[2,3,4,1,5,6,8,7]=>[5,2,3,4,6,7,8,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) [[[[[[.,.],.],[.,.]],.],.],[.,.]]=>[1,2,4,3,5,6,8,7]=>[3,4,5,2,6,7,8,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) [[[[[.,[[.,.],.]],.],.],.],[.,.]]=>[2,3,1,4,5,6,8,7]=>[4,2,3,5,6,7,8,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,17),(2,18),(3,18),(4,16),(5,9),(6,17),(6,21),(7,15),(7,20),(8,20),(8,21),(10,14),(11,14),(12,11),(13,10),(14,9),(15,13),(16,15),(17,12),(18,16),(19,10),(19,11),(20,13),(20,19),(21,12),(21,19)],22) [[[[[[.,.],[.,.]],.],.],.],[.,.]]=>[1,3,2,4,5,6,8,7]=>[3,4,2,5,6,7,8,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,17),(2,18),(3,18),(4,16),(5,9),(6,17),(6,21),(7,15),(7,20),(8,20),(8,21),(10,14),(11,14),(12,11),(13,10),(14,9),(15,13),(16,15),(17,12),(18,16),(19,10),(19,11),(20,13),(20,19),(21,12),(21,19)],22) [[.,[.,[.,[.,[[.,[.,.]],.]]]]],.]=>[6,5,7,4,3,2,1,8]=>[7,6,5,4,2,1,3,8]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,17),(2,18),(3,18),(4,16),(5,9),(6,17),(6,21),(7,15),(7,20),(8,20),(8,21),(10,14),(11,14),(12,11),(13,10),(14,9),(15,13),(16,15),(17,12),(18,16),(19,10),(19,11),(20,13),(20,19),(21,12),(21,19)],22) [[.,[.,[.,[[[[.,.],.],.],.]]]],.]=>[4,5,6,7,3,2,1,8]=>[7,6,5,1,2,3,4,8]=>([(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) [[.,[.,[[.,[.,.]],[.,[.,.]]]]],.]=>[4,3,7,6,5,2,1,8]=>[7,6,4,3,5,2,1,8]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,21),(2,17),(3,17),(4,16),(5,15),(6,9),(7,15),(7,19),(8,16),(8,20),(10,14),(11,14),(12,10),(13,11),(14,9),(15,12),(16,13),(17,21),(18,10),(18,11),(19,12),(19,18),(20,13),(20,18),(21,19),(21,20)],22) [[.,[.,[[.,[.,[[.,.],.]]],.]]],.]=>[5,6,4,3,7,2,1,8]=>[7,6,4,3,1,2,5,8]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,14),(2,17),(3,17),(4,15),(5,16),(6,9),(7,13),(7,15),(8,12),(8,16),(10,14),(11,9),(12,11),(13,10),(14,12),(15,10),(16,11),(17,13)],18) [[.,[[[.,[.,.]],.],[[.,.],.]]],.]=>[3,2,4,6,7,5,1,8]=>[7,3,2,4,6,1,5,8]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,12),(2,11),(3,13),(4,13),(5,13),(6,9),(7,9),(8,10),(9,12),(10,11),(12,13),(13,10)],14) [[.,[[[[.,[[.,.],.]],.],.],.]],.]=>[3,4,2,5,6,7,1,8]=>[7,3,1,2,4,5,6,8]=>([(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,15),(11,10),(12,10),(13,12),(14,13),(15,9),(16,11),(17,14),(18,11),(18,12)],19) [[.,[[[[[.,[.,.]],.],.],.],.]],.]=>[3,2,4,5,6,7,1,8]=>[7,2,1,3,4,5,6,8]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,17),(2,18),(3,18),(4,16),(5,9),(6,17),(6,21),(7,15),(7,20),(8,20),(8,21),(10,12),(11,12),(12,16),(13,11),(14,10),(15,14),(16,9),(17,13),(18,15),(19,10),(19,11),(20,14),(20,19),(21,13),(21,19)],22) [[[.,.],[[[.,.],[.,[.,.]]],.]],.]=>[1,3,6,5,4,7,2,8]=>[4,7,3,5,2,1,6,8]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,11),(2,11),(3,11),(4,11),(5,11),(6,9),(7,9),(8,10),(9,11),(11,10)],12) [[[.,.],[[[[[.,.],.],.],.],.]],.]=>[1,3,4,5,6,7,2,8]=>[2,7,1,3,4,5,6,8]=>([(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) [[[[[[.,[.,.]],.],.],.],[.,.]],.]=>[2,1,3,4,5,7,6,8]=>[3,2,4,5,6,7,1,8]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,17),(2,18),(3,18),(4,16),(5,9),(6,17),(6,21),(7,15),(7,20),(8,20),(8,21),(10,12),(11,12),(12,16),(13,11),(14,10),(15,14),(16,9),(17,13),(18,15),(19,10),(19,11),(20,14),(20,19),(21,13),(21,19)],22) [[[.,[[.,[[[.,.],.],.]],.]],.],.]=>[3,4,5,2,6,1,7,8]=>[6,4,1,2,3,5,7,8]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,12),(2,13),(3,14),(4,17),(5,16),(6,15),(7,15),(7,16),(8,11),(8,17),(10,14),(11,9),(12,13),(13,11),(14,12),(15,10),(16,10),(17,9)],18) [[[[.,.],[[.,[.,.]],[.,.]]],.],.]=>[1,4,3,6,5,2,7,8]=>[4,6,3,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) [[[[.,.],[[[[.,.],.],.],.]],.],.]=>[1,3,4,5,6,2,7,8]=>[2,6,1,3,4,5,7,8]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,15),(2,15),(3,15),(4,10),(5,9),(6,11),(7,9),(7,10),(8,11),(8,12),(9,14),(10,14),(11,13),(12,13),(14,15),(15,12)],16) [[[[.,[.,.]],[[.,.],[.,.]]],.],.]=>[2,1,4,6,5,3,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) [[[[.,[[[.,.],.],[.,.]]],.],.],.]=>[2,3,5,4,1,6,7,8]=>[5,2,3,4,1,6,7,8]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,18),(2,17),(3,16),(4,15),(5,14),(6,17),(6,18),(7,16),(7,20),(8,13),(8,20),(10,13),(11,9),(12,9),(13,12),(14,10),(15,10),(16,11),(17,19),(18,19),(19,14),(19,15),(20,11),(20,12)],21) [[[[.,[[[[.,.],.],.],.]],.],.],.]=>[2,3,4,5,1,6,7,8]=>[5,1,2,3,4,6,7,8]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,16),(2,18),(3,17),(4,19),(5,15),(5,21),(6,17),(6,20),(7,18),(7,20),(8,19),(8,21),(10,16),(11,10),(12,10),(13,9),(14,9),(15,13),(16,15),(17,11),(18,12),(19,14),(20,11),(20,12),(21,13),(21,14)],22) [[[[[[[.,.],.],.],[.,.]],.],.],.]=>[1,2,3,5,4,6,7,8]=>[2,3,4,5,1,6,7,8]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,16),(2,18),(3,17),(4,19),(5,15),(5,21),(6,17),(6,20),(7,18),(7,20),(8,19),(8,21),(10,16),(11,10),(12,10),(13,9),(14,9),(15,13),(16,15),(17,11),(18,12),(19,14),(20,11),(20,12),(21,13),(21,14)],22) [[[[[[.,[.,.]],[.,.]],.],.],.],.]=>[2,1,4,3,5,6,7,8]=>[3,2,4,1,5,6,7,8]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,16),(2,17),(3,18),(4,18),(5,15),(6,17),(6,20),(7,14),(7,21),(8,20),(8,21),(10,12),(11,13),(12,9),(13,9),(14,11),(15,16),(16,14),(17,10),(18,15),(19,12),(19,13),(20,10),(20,19),(21,11),(21,19)],22) [[[.,.],[[[[[[.,.],.],.],.],.],.]],.]=>[1,3,4,5,6,7,8,2,9]=>[2,8,1,3,4,5,6,7,9]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(1,21),(2,21),(3,21),(4,17),(5,16),(6,11),(7,16),(7,19),(8,17),(8,20),(9,19),(9,20),(10,21),(12,14),(13,15),(14,10),(15,10),(16,12),(17,13),(18,14),(18,15),(19,12),(19,18),(20,13),(20,18),(21,11)],22)
Map
to 312-avoiding permutation
Description
Return a 312-avoiding permutation corresponding to a binary tree.
The linear extensions of a binary tree form an interval of the weak order called the Sylvester class of the tree. This permutation is the minimal element of this Sylvester class.
Map
major-index to inversion-number bijection
Description
Return the permutation whose Lehmer code equals the major code of the preimage.
This map sends the major index to the number of inversions.
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.