Identifier
Mp00014: Binary trees —to 132-avoiding permutation⟶ Permutations
Mp00160: Permutations —graph of inversions⟶ Graphs
Images
=>
Cc0010;cc-rep-0Cc0020;cc-rep-2
[.,.]=>[1]=>([],1) [.,[.,.]]=>[2,1]=>([(0,1)],2) [[.,.],.]=>[1,2]=>([],2) [.,[.,[.,.]]]=>[3,2,1]=>([(0,1),(0,2),(1,2)],3) [.,[[.,.],.]]=>[2,3,1]=>([(0,2),(1,2)],3) [[.,.],[.,.]]=>[3,1,2]=>([(0,2),(1,2)],3) [[.,[.,.]],.]=>[2,1,3]=>([(1,2)],3) [[[.,.],.],.]=>[1,2,3]=>([],3) [.,[.,[.,[.,.]]]]=>[4,3,2,1]=>([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4) [.,[.,[[.,.],.]]]=>[3,4,2,1]=>([(0,2),(0,3),(1,2),(1,3),(2,3)],4) [.,[[.,.],[.,.]]]=>[4,2,3,1]=>([(0,2),(0,3),(1,2),(1,3),(2,3)],4) [.,[[.,[.,.]],.]]=>[3,2,4,1]=>([(0,3),(1,2),(1,3),(2,3)],4) [.,[[[.,.],.],.]]=>[2,3,4,1]=>([(0,3),(1,3),(2,3)],4) [[.,.],[.,[.,.]]]=>[4,3,1,2]=>([(0,2),(0,3),(1,2),(1,3),(2,3)],4) [[.,.],[[.,.],.]]=>[3,4,1,2]=>([(0,2),(0,3),(1,2),(1,3)],4) [[.,[.,.]],[.,.]]=>[4,2,1,3]=>([(0,3),(1,2),(1,3),(2,3)],4) [[[.,.],.],[.,.]]=>[4,1,2,3]=>([(0,3),(1,3),(2,3)],4) [[.,[.,[.,.]]],.]=>[3,2,1,4]=>([(1,2),(1,3),(2,3)],4) [[.,[[.,.],.]],.]=>[2,3,1,4]=>([(1,3),(2,3)],4) [[[.,.],[.,.]],.]=>[3,1,2,4]=>([(1,3),(2,3)],4) [[[.,[.,.]],.],.]=>[2,1,3,4]=>([(2,3)],4) [[[[.,.],.],.],.]=>[1,2,3,4]=>([],4) [.,[.,[.,[.,[.,.]]]]]=>[5,4,3,2,1]=>([(0,1),(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5) [.,[.,[.,[[.,.],.]]]]=>[4,5,3,2,1]=>([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5) [.,[.,[[.,.],[.,.]]]]=>[5,3,4,2,1]=>([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5) [.,[.,[[.,[.,.]],.]]]=>[4,3,5,2,1]=>([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5) [.,[.,[[[.,.],.],.]]]=>[3,4,5,2,1]=>([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5) [.,[[.,.],[.,[.,.]]]]=>[5,4,2,3,1]=>([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5) [.,[[.,.],[[.,.],.]]]=>[4,5,2,3,1]=>([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,4),(3,4)],5) [.,[[.,[.,.]],[.,.]]]=>[5,3,2,4,1]=>([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5) [.,[[[.,.],.],[.,.]]]=>[5,2,3,4,1]=>([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5) [.,[[.,[.,[.,.]]],.]]=>[4,3,2,5,1]=>([(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5) [.,[[.,[[.,.],.]],.]]=>[3,4,2,5,1]=>([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5) [.,[[[.,.],[.,.]],.]]=>[4,2,3,5,1]=>([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5) [.,[[[.,[.,.]],.],.]]=>[3,2,4,5,1]=>([(0,4),(1,4),(2,3),(2,4),(3,4)],5) [.,[[[[.,.],.],.],.]]=>[2,3,4,5,1]=>([(0,4),(1,4),(2,4),(3,4)],5) [[.,.],[.,[.,[.,.]]]]=>[5,4,3,1,2]=>([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5) [[.,.],[.,[[.,.],.]]]=>[4,5,3,1,2]=>([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,4),(3,4)],5) [[.,.],[[.,.],[.,.]]]=>[5,3,4,1,2]=>([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,4),(3,4)],5) [[.,.],[[.,[.,.]],.]]=>[4,3,5,1,2]=>([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4)],5) [[.,.],[[[.,.],.],.]]=>[3,4,5,1,2]=>([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5) [[.,[.,.]],[.,[.,.]]]=>[5,4,2,1,3]=>([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5) [[.,[.,.]],[[.,.],.]]=>[4,5,2,1,3]=>([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4)],5) [[[.,.],.],[.,[.,.]]]=>[5,4,1,2,3]=>([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5) [[[.,.],.],[[.,.],.]]=>[4,5,1,2,3]=>([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5) [[.,[.,[.,.]]],[.,.]]=>[5,3,2,1,4]=>([(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5) [[.,[[.,.],.]],[.,.]]=>[5,2,3,1,4]=>([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5) [[[.,.],[.,.]],[.,.]]=>[5,3,1,2,4]=>([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5) [[[.,[.,.]],.],[.,.]]=>[5,2,1,3,4]=>([(0,4),(1,4),(2,3),(2,4),(3,4)],5) [[[[.,.],.],.],[.,.]]=>[5,1,2,3,4]=>([(0,4),(1,4),(2,4),(3,4)],5) [[.,[.,[.,[.,.]]]],.]=>[4,3,2,1,5]=>([(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5) [[.,[.,[[.,.],.]]],.]=>[3,4,2,1,5]=>([(1,3),(1,4),(2,3),(2,4),(3,4)],5) [[.,[[.,.],[.,.]]],.]=>[4,2,3,1,5]=>([(1,3),(1,4),(2,3),(2,4),(3,4)],5) [[.,[[.,[.,.]],.]],.]=>[3,2,4,1,5]=>([(1,4),(2,3),(2,4),(3,4)],5) [[.,[[[.,.],.],.]],.]=>[2,3,4,1,5]=>([(1,4),(2,4),(3,4)],5) [[[.,.],[.,[.,.]]],.]=>[4,3,1,2,5]=>([(1,3),(1,4),(2,3),(2,4),(3,4)],5) [[[.,.],[[.,.],.]],.]=>[3,4,1,2,5]=>([(1,3),(1,4),(2,3),(2,4)],5) [[[.,[.,.]],[.,.]],.]=>[4,2,1,3,5]=>([(1,4),(2,3),(2,4),(3,4)],5) [[[[.,.],.],[.,.]],.]=>[4,1,2,3,5]=>([(1,4),(2,4),(3,4)],5) [[[.,[.,[.,.]]],.],.]=>[3,2,1,4,5]=>([(2,3),(2,4),(3,4)],5) [[[.,[[.,.],.]],.],.]=>[2,3,1,4,5]=>([(2,4),(3,4)],5) [[[[.,.],[.,.]],.],.]=>[3,1,2,4,5]=>([(2,4),(3,4)],5) [[[[.,[.,.]],.],.],.]=>[2,1,3,4,5]=>([(3,4)],5) [[[[[.,.],.],.],.],.]=>[1,2,3,4,5]=>([],5) [.,[.,[.,[.,[.,[.,.]]]]]]=>[6,5,4,3,2,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[.,[.,[.,[[.,.],.]]]]]=>[5,6,4,3,2,1]=>([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[.,[.,[[.,.],[.,.]]]]]=>[6,4,5,3,2,1]=>([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[.,[.,[[.,[.,.]],.]]]]=>[5,4,6,3,2,1]=>([(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[.,[.,[[[.,.],.],.]]]]=>[4,5,6,3,2,1]=>([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[.,[[.,.],[.,[.,.]]]]]=>[6,5,3,4,2,1]=>([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[.,[[.,.],[[.,.],.]]]]=>[5,6,3,4,2,1]=>([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[.,[[.,[.,.]],[.,.]]]]=>[6,4,3,5,2,1]=>([(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[.,[[[.,.],.],[.,.]]]]=>[6,3,4,5,2,1]=>([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[.,[[.,[.,[.,.]]],.]]]=>[5,4,3,6,2,1]=>([(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[.,[[.,[[.,.],.]],.]]]=>[4,5,3,6,2,1]=>([(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[.,[[[.,.],[.,.]],.]]]=>[5,3,4,6,2,1]=>([(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[.,[[[.,[.,.]],.],.]]]=>[4,3,5,6,2,1]=>([(0,4),(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[.,[[[[.,.],.],.],.]]]=>[3,4,5,6,2,1]=>([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[[.,.],[.,[.,[.,.]]]]]=>[6,5,4,2,3,1]=>([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[[.,.],[.,[[.,.],.]]]]=>[5,6,4,2,3,1]=>([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[[.,.],[[.,.],[.,.]]]]=>[6,4,5,2,3,1]=>([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[[.,.],[[.,[.,.]],.]]]=>[5,4,6,2,3,1]=>([(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6) [.,[[.,.],[[[.,.],.],.]]]=>[4,5,6,2,3,1]=>([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6) [.,[[.,[.,.]],[.,[.,.]]]]=>[6,5,3,2,4,1]=>([(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[[.,[.,.]],[[.,.],.]]]=>[5,6,3,2,4,1]=>([(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6) [.,[[[.,.],.],[.,[.,.]]]]=>[6,5,2,3,4,1]=>([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[[[.,.],.],[[.,.],.]]]=>[5,6,2,3,4,1]=>([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6) [.,[[.,[.,[.,.]]],[.,.]]]=>[6,4,3,2,5,1]=>([(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[[.,[[.,.],.]],[.,.]]]=>[6,3,4,2,5,1]=>([(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[[[.,.],[.,.]],[.,.]]]=>[6,4,2,3,5,1]=>([(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[[[.,[.,.]],.],[.,.]]]=>[6,3,2,4,5,1]=>([(0,4),(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[[[[.,.],.],.],[.,.]]]=>[6,2,3,4,5,1]=>([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[[.,[.,[.,[.,.]]]],.]]=>[5,4,3,2,6,1]=>([(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[[.,[.,[[.,.],.]]],.]]=>[4,5,3,2,6,1]=>([(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[[.,[[.,.],[.,.]]],.]]=>[5,3,4,2,6,1]=>([(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[[.,[[.,[.,.]],.]],.]]=>[4,3,5,2,6,1]=>([(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[[.,[[[.,.],.],.]],.]]=>[3,4,5,2,6,1]=>([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[[[.,.],[.,[.,.]]],.]]=>[5,4,2,3,6,1]=>([(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[[[.,.],[[.,.],.]],.]]=>[4,5,2,3,6,1]=>([(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6) [.,[[[.,[.,.]],[.,.]],.]]=>[5,3,2,4,6,1]=>([(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[[[[.,.],.],[.,.]],.]]=>[5,2,3,4,6,1]=>([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[[[.,[.,[.,.]]],.],.]]=>[4,3,2,5,6,1]=>([(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[[[.,[[.,.],.]],.],.]]=>[3,4,2,5,6,1]=>([(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[[[[.,.],[.,.]],.],.]]=>[4,2,3,5,6,1]=>([(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[[[[.,[.,.]],.],.],.]]=>[3,2,4,5,6,1]=>([(0,5),(1,5),(2,5),(3,4),(3,5),(4,5)],6) [.,[[[[[.,.],.],.],.],.]]=>[2,3,4,5,6,1]=>([(0,5),(1,5),(2,5),(3,5),(4,5)],6) [[.,.],[.,[.,[.,[.,.]]]]]=>[6,5,4,3,1,2]=>([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,.],[.,[.,[[.,.],.]]]]=>[5,6,4,3,1,2]=>([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,.],[.,[[.,.],[.,.]]]]=>[6,4,5,3,1,2]=>([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,.],[.,[[.,[.,.]],.]]]=>[5,4,6,3,1,2]=>([(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6) [[.,.],[.,[[[.,.],.],.]]]=>[4,5,6,3,1,2]=>([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6) [[.,.],[[.,.],[.,[.,.]]]]=>[6,5,3,4,1,2]=>([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,.],[[.,.],[[.,.],.]]]=>[5,6,3,4,1,2]=>([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[.,.],[[.,[.,.]],[.,.]]]=>[6,4,3,5,1,2]=>([(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6) [[.,.],[[[.,.],.],[.,.]]]=>[6,3,4,5,1,2]=>([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6) [[.,.],[[.,[.,[.,.]]],.]]=>[5,4,3,6,1,2]=>([(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6) [[.,.],[[.,[[.,.],.]],.]]=>[4,5,3,6,1,2]=>([(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6) [[.,.],[[[.,.],[.,.]],.]]=>[5,3,4,6,1,2]=>([(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6) [[.,.],[[[.,[.,.]],.],.]]=>[4,3,5,6,1,2]=>([(0,4),(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6) [[.,.],[[[[.,.],.],.],.]]=>[3,4,5,6,1,2]=>([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[.,[.,.]],[.,[.,[.,.]]]]=>[6,5,4,2,1,3]=>([(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[.,.]],[.,[[.,.],.]]]=>[5,6,4,2,1,3]=>([(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6) [[.,[.,.]],[[.,.],[.,.]]]=>[6,4,5,2,1,3]=>([(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6) [[.,[.,.]],[[.,[.,.]],.]]=>[5,4,6,2,1,3]=>([(0,1),(0,4),(0,5),(1,2),(1,3),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[.,.]],[[[.,.],.],.]]=>[4,5,6,2,1,3]=>([(0,1),(0,2),(0,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[.,.],.],[.,[.,[.,.]]]]=>[6,5,4,1,2,3]=>([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[.,.],.],[.,[[.,.],.]]]=>[5,6,4,1,2,3]=>([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6) [[[.,.],.],[[.,.],[.,.]]]=>[6,4,5,1,2,3]=>([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6) [[[.,.],.],[[.,[.,.]],.]]=>[5,4,6,1,2,3]=>([(0,1),(0,2),(0,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[.,.],.],[[[.,.],.],.]]=>[4,5,6,1,2,3]=>([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5)],6) [[.,[.,[.,.]]],[.,[.,.]]]=>[6,5,3,2,1,4]=>([(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[.,[.,.]]],[[.,.],.]]=>[5,6,3,2,1,4]=>([(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6) [[.,[[.,.],.]],[.,[.,.]]]=>[6,5,2,3,1,4]=>([(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[[.,.],.]],[[.,.],.]]=>[5,6,2,3,1,4]=>([(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6) [[[.,.],[.,.]],[.,[.,.]]]=>[6,5,3,1,2,4]=>([(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[.,.],[.,.]],[[.,.],.]]=>[5,6,3,1,2,4]=>([(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6) [[[.,[.,.]],.],[.,[.,.]]]=>[6,5,2,1,3,4]=>([(0,4),(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[.,[.,.]],.],[[.,.],.]]=>[5,6,2,1,3,4]=>([(0,4),(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6) [[[[.,.],.],.],[.,[.,.]]]=>[6,5,1,2,3,4]=>([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[[.,.],.],.],[[.,.],.]]=>[5,6,1,2,3,4]=>([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[.,[.,[.,[.,.]]]],[.,.]]=>[6,4,3,2,1,5]=>([(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[.,[[.,.],.]]],[.,.]]=>[6,3,4,2,1,5]=>([(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[[.,.],[.,.]]],[.,.]]=>[6,4,2,3,1,5]=>([(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[[.,[.,.]],.]],[.,.]]=>[6,3,2,4,1,5]=>([(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[[[.,.],.],.]],[.,.]]=>[6,2,3,4,1,5]=>([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[.,.],[.,[.,.]]],[.,.]]=>[6,4,3,1,2,5]=>([(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[.,.],[[.,.],.]],[.,.]]=>[6,3,4,1,2,5]=>([(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6) [[[.,[.,.]],[.,.]],[.,.]]=>[6,4,2,1,3,5]=>([(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[[.,.],.],[.,.]],[.,.]]=>[6,4,1,2,3,5]=>([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[.,[.,[.,.]]],.],[.,.]]=>[6,3,2,1,4,5]=>([(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[.,[[.,.],.]],.],[.,.]]=>[6,2,3,1,4,5]=>([(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[[.,.],[.,.]],.],[.,.]]=>[6,3,1,2,4,5]=>([(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[[.,[.,.]],.],.],[.,.]]=>[6,2,1,3,4,5]=>([(0,5),(1,5),(2,5),(3,4),(3,5),(4,5)],6) [[[[[.,.],.],.],.],[.,.]]=>[6,1,2,3,4,5]=>([(0,5),(1,5),(2,5),(3,5),(4,5)],6) [[.,[.,[.,[.,[.,.]]]]],.]=>[5,4,3,2,1,6]=>([(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[.,[.,[[.,.],.]]]],.]=>[4,5,3,2,1,6]=>([(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[.,[[.,.],[.,.]]]],.]=>[5,3,4,2,1,6]=>([(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[.,[[.,[.,.]],.]]],.]=>[4,3,5,2,1,6]=>([(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[.,[[[.,.],.],.]]],.]=>[3,4,5,2,1,6]=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[[.,.],[.,[.,.]]]],.]=>[5,4,2,3,1,6]=>([(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[[.,.],[[.,.],.]]],.]=>[4,5,2,3,1,6]=>([(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6) [[.,[[.,[.,.]],[.,.]]],.]=>[5,3,2,4,1,6]=>([(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[[[.,.],.],[.,.]]],.]=>[5,2,3,4,1,6]=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[[.,[.,[.,.]]],.]],.]=>[4,3,2,5,1,6]=>([(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[[.,[[.,.],.]],.]],.]=>[3,4,2,5,1,6]=>([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[[[.,.],[.,.]],.]],.]=>[4,2,3,5,1,6]=>([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[[[.,[.,.]],.],.]],.]=>[3,2,4,5,1,6]=>([(1,5),(2,5),(3,4),(3,5),(4,5)],6) [[.,[[[[.,.],.],.],.]],.]=>[2,3,4,5,1,6]=>([(1,5),(2,5),(3,5),(4,5)],6) [[[.,.],[.,[.,[.,.]]]],.]=>[5,4,3,1,2,6]=>([(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[.,.],[.,[[.,.],.]]],.]=>[4,5,3,1,2,6]=>([(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6) [[[.,.],[[.,.],[.,.]]],.]=>[5,3,4,1,2,6]=>([(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6) [[[.,.],[[.,[.,.]],.]],.]=>[4,3,5,1,2,6]=>([(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6) [[[.,.],[[[.,.],.],.]],.]=>[3,4,5,1,2,6]=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[[.,[.,.]],[.,[.,.]]],.]=>[5,4,2,1,3,6]=>([(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[.,[.,.]],[[.,.],.]],.]=>[4,5,2,1,3,6]=>([(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6) [[[[.,.],.],[.,[.,.]]],.]=>[5,4,1,2,3,6]=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[[.,.],.],[[.,.],.]],.]=>[4,5,1,2,3,6]=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[[.,[.,[.,.]]],[.,.]],.]=>[5,3,2,1,4,6]=>([(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[.,[[.,.],.]],[.,.]],.]=>[5,2,3,1,4,6]=>([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[[.,.],[.,.]],[.,.]],.]=>[5,3,1,2,4,6]=>([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[[.,[.,.]],.],[.,.]],.]=>[5,2,1,3,4,6]=>([(1,5),(2,5),(3,4),(3,5),(4,5)],6) [[[[[.,.],.],.],[.,.]],.]=>[5,1,2,3,4,6]=>([(1,5),(2,5),(3,5),(4,5)],6) [[[.,[.,[.,[.,.]]]],.],.]=>[4,3,2,1,5,6]=>([(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[.,[.,[[.,.],.]]],.],.]=>[3,4,2,1,5,6]=>([(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[.,[[.,.],[.,.]]],.],.]=>[4,2,3,1,5,6]=>([(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[.,[[.,[.,.]],.]],.],.]=>[3,2,4,1,5,6]=>([(2,5),(3,4),(3,5),(4,5)],6) [[[.,[[[.,.],.],.]],.],.]=>[2,3,4,1,5,6]=>([(2,5),(3,5),(4,5)],6) [[[[.,.],[.,[.,.]]],.],.]=>[4,3,1,2,5,6]=>([(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[[.,.],[[.,.],.]],.],.]=>[3,4,1,2,5,6]=>([(2,4),(2,5),(3,4),(3,5)],6) [[[[.,[.,.]],[.,.]],.],.]=>[4,2,1,3,5,6]=>([(2,5),(3,4),(3,5),(4,5)],6) [[[[[.,.],.],[.,.]],.],.]=>[4,1,2,3,5,6]=>([(2,5),(3,5),(4,5)],6) [[[[.,[.,[.,.]]],.],.],.]=>[3,2,1,4,5,6]=>([(3,4),(3,5),(4,5)],6) [[[[.,[[.,.],.]],.],.],.]=>[2,3,1,4,5,6]=>([(3,5),(4,5)],6) [[[[[.,.],[.,.]],.],.],.]=>[3,1,2,4,5,6]=>([(3,5),(4,5)],6) [[[[[.,[.,.]],.],.],.],.]=>[2,1,3,4,5,6]=>([(4,5)],6) [[[[[[.,.],.],.],.],.],.]=>[1,2,3,4,5,6]=>([],6) [.,[.,[.,[.,[.,[.,[.,.]]]]]]]=>[7,6,5,4,3,2,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[.,[.,[.,[.,[[.,.],.]]]]]]=>[6,7,5,4,3,2,1]=>([(0,2),(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[.,[.,[.,[[.,.],[.,.]]]]]]=>[7,5,6,4,3,2,1]=>([(0,2),(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[.,[.,[.,[[.,[.,.]],.]]]]]=>[6,5,7,4,3,2,1]=>([(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[.,[.,[.,[[[.,.],.],.]]]]]=>[5,6,7,4,3,2,1]=>([(0,3),(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[.,[.,[[.,.],[.,[.,.]]]]]]=>[7,6,4,5,3,2,1]=>([(0,2),(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[.,[.,[[.,.],[[.,.],.]]]]]=>[6,7,4,5,3,2,1]=>([(0,2),(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[.,[.,[[.,[.,.]],[.,.]]]]]=>[7,5,4,6,3,2,1]=>([(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[.,[.,[[[.,.],.],[.,.]]]]]=>[7,4,5,6,3,2,1]=>([(0,3),(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[.,[.,[[.,[.,[.,.]]],.]]]]=>[6,5,4,7,3,2,1]=>([(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[.,[.,[[.,[[.,.],.]],.]]]]=>[5,6,4,7,3,2,1]=>([(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[.,[.,[[[.,.],[.,.]],.]]]]=>[6,4,5,7,3,2,1]=>([(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[.,[.,[[[.,[.,.]],.],.]]]]=>[5,4,6,7,3,2,1]=>([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[.,[.,[[[[.,.],.],.],.]]]]=>[4,5,6,7,3,2,1]=>([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[.,[[.,.],[.,[.,[.,.]]]]]]=>[7,6,5,3,4,2,1]=>([(0,2),(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[.,[[.,.],[.,[[.,.],.]]]]]=>[6,7,5,3,4,2,1]=>([(0,2),(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[.,[[.,.],[[.,.],[.,.]]]]]=>[7,5,6,3,4,2,1]=>([(0,2),(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[.,[[.,.],[[.,[.,.]],.]]]]=>[6,5,7,3,4,2,1]=>([(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[.,[[.,.],[[[.,.],.],.]]]]=>[5,6,7,3,4,2,1]=>([(0,3),(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[.,[[.,[.,.]],[.,[.,.]]]]]=>[7,6,4,3,5,2,1]=>([(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[.,[[.,[.,.]],[[.,.],.]]]]=>[6,7,4,3,5,2,1]=>([(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[.,[[[.,.],.],[.,[.,.]]]]]=>[7,6,3,4,5,2,1]=>([(0,3),(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[.,[[[.,.],.],[[.,.],.]]]]=>[6,7,3,4,5,2,1]=>([(0,3),(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[.,[[.,[.,[.,.]]],[.,.]]]]=>[7,5,4,3,6,2,1]=>([(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[.,[[.,[[.,.],.]],[.,.]]]]=>[7,4,5,3,6,2,1]=>([(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[.,[[[.,.],[.,.]],[.,.]]]]=>[7,5,3,4,6,2,1]=>([(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[.,[[[.,[.,.]],.],[.,.]]]]=>[7,4,3,5,6,2,1]=>([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[.,[[[[.,.],.],.],[.,.]]]]=>[7,3,4,5,6,2,1]=>([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[.,[[.,[.,[.,[.,.]]]],.]]]=>[6,5,4,3,7,2,1]=>([(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[.,[[.,[.,[[.,.],.]]],.]]]=>[5,6,4,3,7,2,1]=>([(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[.,[[.,[[.,.],[.,.]]],.]]]=>[6,4,5,3,7,2,1]=>([(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[.,[[.,[[.,[.,.]],.]],.]]]=>[5,4,6,3,7,2,1]=>([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[.,[[.,[[[.,.],.],.]],.]]]=>[4,5,6,3,7,2,1]=>([(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[.,[[[.,.],[.,[.,.]]],.]]]=>[6,5,3,4,7,2,1]=>([(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[.,[[[.,.],[[.,.],.]],.]]]=>[5,6,3,4,7,2,1]=>([(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[.,[[[.,[.,.]],[.,.]],.]]]=>[6,4,3,5,7,2,1]=>([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[.,[[[[.,.],.],[.,.]],.]]]=>[6,3,4,5,7,2,1]=>([(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[.,[[[.,[.,[.,.]]],.],.]]]=>[5,4,3,6,7,2,1]=>([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[.,[[[.,[[.,.],.]],.],.]]]=>[4,5,3,6,7,2,1]=>([(0,5),(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[.,[[[[.,.],[.,.]],.],.]]]=>[5,3,4,6,7,2,1]=>([(0,5),(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[.,[[[[.,[.,.]],.],.],.]]]=>[4,3,5,6,7,2,1]=>([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[.,[[[[[.,.],.],.],.],.]]]=>[3,4,5,6,7,2,1]=>([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[.,.],[.,[.,[.,[.,.]]]]]]=>[7,6,5,4,2,3,1]=>([(0,2),(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[.,.],[.,[.,[[.,.],.]]]]]=>[6,7,5,4,2,3,1]=>([(0,2),(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[.,.],[.,[[.,.],[.,.]]]]]=>[7,5,6,4,2,3,1]=>([(0,2),(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[.,.],[.,[[.,[.,.]],.]]]]=>[6,5,7,4,2,3,1]=>([(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[.,.],[.,[[[.,.],.],.]]]]=>[5,6,7,4,2,3,1]=>([(0,3),(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[.,.],[[.,.],[.,[.,.]]]]]=>[7,6,4,5,2,3,1]=>([(0,2),(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[.,.],[[.,.],[[.,.],.]]]]=>[6,7,4,5,2,3,1]=>([(0,2),(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [.,[[.,.],[[.,[.,.]],[.,.]]]]=>[7,5,4,6,2,3,1]=>([(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[.,.],[[[.,.],.],[.,.]]]]=>[7,4,5,6,2,3,1]=>([(0,3),(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[.,.],[[.,[.,[.,.]]],.]]]=>[6,5,4,7,2,3,1]=>([(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [.,[[.,.],[[.,[[.,.],.]],.]]]=>[5,6,4,7,2,3,1]=>([(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [.,[[.,.],[[[.,.],[.,.]],.]]]=>[6,4,5,7,2,3,1]=>([(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [.,[[.,.],[[[.,[.,.]],.],.]]]=>[5,4,6,7,2,3,1]=>([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [.,[[.,.],[[[[.,.],.],.],.]]]=>[4,5,6,7,2,3,1]=>([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [.,[[.,[.,.]],[.,[.,[.,.]]]]]=>[7,6,5,3,2,4,1]=>([(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[.,[.,.]],[.,[[.,.],.]]]]=>[6,7,5,3,2,4,1]=>([(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[.,[.,.]],[[.,.],[.,.]]]]=>[7,5,6,3,2,4,1]=>([(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[.,[.,.]],[[.,[.,.]],.]]]=>[6,5,7,3,2,4,1]=>([(0,1),(0,4),(0,5),(0,6),(1,2),(1,3),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[.,[.,.]],[[[.,.],.],.]]]=>[5,6,7,3,2,4,1]=>([(0,1),(0,2),(0,3),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[[.,.],.],[.,[.,[.,.]]]]]=>[7,6,5,2,3,4,1]=>([(0,3),(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[[.,.],.],[.,[[.,.],.]]]]=>[6,7,5,2,3,4,1]=>([(0,3),(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[[.,.],.],[[.,.],[.,.]]]]=>[7,5,6,2,3,4,1]=>([(0,3),(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[[.,.],.],[[.,[.,.]],.]]]=>[6,5,7,2,3,4,1]=>([(0,1),(0,2),(0,3),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[[.,.],.],[[[.,.],.],.]]]=>[5,6,7,2,3,4,1]=>([(0,3),(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,6),(4,6),(5,6)],7) [.,[[.,[.,[.,.]]],[.,[.,.]]]]=>[7,6,4,3,2,5,1]=>([(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[.,[.,[.,.]]],[[.,.],.]]]=>[6,7,4,3,2,5,1]=>([(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [.,[[.,[[.,.],.]],[.,[.,.]]]]=>[7,6,3,4,2,5,1]=>([(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[.,[[.,.],.]],[[.,.],.]]]=>[6,7,3,4,2,5,1]=>([(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [.,[[[.,.],[.,.]],[.,[.,.]]]]=>[7,6,4,2,3,5,1]=>([(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[[.,.],[.,.]],[[.,.],.]]]=>[6,7,4,2,3,5,1]=>([(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [.,[[[.,[.,.]],.],[.,[.,.]]]]=>[7,6,3,2,4,5,1]=>([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[[.,[.,.]],.],[[.,.],.]]]=>[6,7,3,2,4,5,1]=>([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [.,[[[[.,.],.],.],[.,[.,.]]]]=>[7,6,2,3,4,5,1]=>([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[[[.,.],.],.],[[.,.],.]]]=>[6,7,2,3,4,5,1]=>([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [.,[[.,[.,[.,[.,.]]]],[.,.]]]=>[7,5,4,3,2,6,1]=>([(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[.,[.,[[.,.],.]]],[.,.]]]=>[7,4,5,3,2,6,1]=>([(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[.,[[.,.],[.,.]]],[.,.]]]=>[7,5,3,4,2,6,1]=>([(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[.,[[.,[.,.]],.]],[.,.]]]=>[7,4,3,5,2,6,1]=>([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[.,[[[.,.],.],.]],[.,.]]]=>[7,3,4,5,2,6,1]=>([(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[[.,.],[.,[.,.]]],[.,.]]]=>[7,5,4,2,3,6,1]=>([(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[[.,.],[[.,.],.]],[.,.]]]=>[7,4,5,2,3,6,1]=>([(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[[.,[.,.]],[.,.]],[.,.]]]=>[7,5,3,2,4,6,1]=>([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[[[.,.],.],[.,.]],[.,.]]]=>[7,5,2,3,4,6,1]=>([(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[[.,[.,[.,.]]],.],[.,.]]]=>[7,4,3,2,5,6,1]=>([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[[.,[[.,.],.]],.],[.,.]]]=>[7,3,4,2,5,6,1]=>([(0,5),(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[[[.,.],[.,.]],.],[.,.]]]=>[7,4,2,3,5,6,1]=>([(0,5),(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[[[.,[.,.]],.],.],[.,.]]]=>[7,3,2,4,5,6,1]=>([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[[[[.,.],.],.],.],[.,.]]]=>[7,2,3,4,5,6,1]=>([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[.,[.,[.,[.,[.,.]]]]],.]]=>[6,5,4,3,2,7,1]=>([(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[.,[.,[.,[[.,.],.]]]],.]]=>[5,6,4,3,2,7,1]=>([(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[.,[.,[[.,.],[.,.]]]],.]]=>[6,4,5,3,2,7,1]=>([(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[.,[.,[[.,[.,.]],.]]],.]]=>[5,4,6,3,2,7,1]=>([(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[.,[.,[[[.,.],.],.]]],.]]=>[4,5,6,3,2,7,1]=>([(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[.,[[.,.],[.,[.,.]]]],.]]=>[6,5,3,4,2,7,1]=>([(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[.,[[.,.],[[.,.],.]]],.]]=>[5,6,3,4,2,7,1]=>([(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[.,[[.,[.,.]],[.,.]]],.]]=>[6,4,3,5,2,7,1]=>([(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[.,[[[.,.],.],[.,.]]],.]]=>[6,3,4,5,2,7,1]=>([(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[.,[[.,[.,[.,.]]],.]],.]]=>[5,4,3,6,2,7,1]=>([(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[.,[[.,[[.,.],.]],.]],.]]=>[4,5,3,6,2,7,1]=>([(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[.,[[[.,.],[.,.]],.]],.]]=>[5,3,4,6,2,7,1]=>([(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[.,[[[.,[.,.]],.],.]],.]]=>[4,3,5,6,2,7,1]=>([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[.,[[[[.,.],.],.],.]],.]]=>[3,4,5,6,2,7,1]=>([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[[.,.],[.,[.,[.,.]]]],.]]=>[6,5,4,2,3,7,1]=>([(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[[.,.],[.,[[.,.],.]]],.]]=>[5,6,4,2,3,7,1]=>([(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[[.,.],[[.,.],[.,.]]],.]]=>[6,4,5,2,3,7,1]=>([(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[[.,.],[[.,[.,.]],.]],.]]=>[5,4,6,2,3,7,1]=>([(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [.,[[[.,.],[[[.,.],.],.]],.]]=>[4,5,6,2,3,7,1]=>([(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [.,[[[.,[.,.]],[.,[.,.]]],.]]=>[6,5,3,2,4,7,1]=>([(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[[.,[.,.]],[[.,.],.]],.]]=>[5,6,3,2,4,7,1]=>([(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [.,[[[[.,.],.],[.,[.,.]]],.]]=>[6,5,2,3,4,7,1]=>([(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[[[.,.],.],[[.,.],.]],.]]=>[5,6,2,3,4,7,1]=>([(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [.,[[[.,[.,[.,.]]],[.,.]],.]]=>[6,4,3,2,5,7,1]=>([(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[[.,[[.,.],.]],[.,.]],.]]=>[6,3,4,2,5,7,1]=>([(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[[[.,.],[.,.]],[.,.]],.]]=>[6,4,2,3,5,7,1]=>([(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[[[.,[.,.]],.],[.,.]],.]]=>[6,3,2,4,5,7,1]=>([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[[[[.,.],.],.],[.,.]],.]]=>[6,2,3,4,5,7,1]=>([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[[.,[.,[.,[.,.]]]],.],.]]=>[5,4,3,2,6,7,1]=>([(0,6),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[[.,[.,[[.,.],.]]],.],.]]=>[4,5,3,2,6,7,1]=>([(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[[.,[[.,.],[.,.]]],.],.]]=>[5,3,4,2,6,7,1]=>([(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[[.,[[.,[.,.]],.]],.],.]]=>[4,3,5,2,6,7,1]=>([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[[.,[[[.,.],.],.]],.],.]]=>[3,4,5,2,6,7,1]=>([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[[[.,.],[.,[.,.]]],.],.]]=>[5,4,2,3,6,7,1]=>([(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[[[.,.],[[.,.],.]],.],.]]=>[4,5,2,3,6,7,1]=>([(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [.,[[[[.,[.,.]],[.,.]],.],.]]=>[5,3,2,4,6,7,1]=>([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[[[[.,.],.],[.,.]],.],.]]=>[5,2,3,4,6,7,1]=>([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[[[.,[.,[.,.]]],.],.],.]]=>[4,3,2,5,6,7,1]=>([(0,6),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[[[.,[[.,.],.]],.],.],.]]=>[3,4,2,5,6,7,1]=>([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[[[[.,.],[.,.]],.],.],.]]=>[4,2,3,5,6,7,1]=>([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[[[[.,[.,.]],.],.],.],.]]=>[3,2,4,5,6,7,1]=>([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) [.,[[[[[[.,.],.],.],.],.],.]]=>[2,3,4,5,6,7,1]=>([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) [[.,.],[.,[.,[.,[.,[.,.]]]]]]=>[7,6,5,4,3,1,2]=>([(0,2),(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,.],[.,[.,[.,[[.,.],.]]]]]=>[6,7,5,4,3,1,2]=>([(0,2),(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,.],[.,[.,[[.,.],[.,.]]]]]=>[7,5,6,4,3,1,2]=>([(0,2),(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,.],[.,[.,[[.,[.,.]],.]]]]=>[6,5,7,4,3,1,2]=>([(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,.],[.,[.,[[[.,.],.],.]]]]=>[5,6,7,4,3,1,2]=>([(0,3),(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,.],[.,[[.,.],[.,[.,.]]]]]=>[7,6,4,5,3,1,2]=>([(0,2),(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,.],[.,[[.,.],[[.,.],.]]]]=>[6,7,4,5,3,1,2]=>([(0,2),(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [[.,.],[.,[[.,[.,.]],[.,.]]]]=>[7,5,4,6,3,1,2]=>([(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,.],[.,[[[.,.],.],[.,.]]]]=>[7,4,5,6,3,1,2]=>([(0,3),(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,.],[.,[[.,[.,[.,.]]],.]]]=>[6,5,4,7,3,1,2]=>([(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [[.,.],[.,[[.,[[.,.],.]],.]]]=>[5,6,4,7,3,1,2]=>([(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [[.,.],[.,[[[.,.],[.,.]],.]]]=>[6,4,5,7,3,1,2]=>([(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [[.,.],[.,[[[.,[.,.]],.],.]]]=>[5,4,6,7,3,1,2]=>([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [[.,.],[.,[[[[.,.],.],.],.]]]=>[4,5,6,7,3,1,2]=>([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [[.,.],[[.,.],[.,[.,[.,.]]]]]=>[7,6,5,3,4,1,2]=>([(0,2),(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,.],[[.,.],[.,[[.,.],.]]]]=>[6,7,5,3,4,1,2]=>([(0,2),(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [[.,.],[[.,.],[[.,.],[.,.]]]]=>[7,5,6,3,4,1,2]=>([(0,2),(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [[.,.],[[.,.],[[.,[.,.]],.]]]=>[6,5,7,3,4,1,2]=>([(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [[.,.],[[.,.],[[[.,.],.],.]]]=>[5,6,7,3,4,1,2]=>([(0,3),(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [[.,.],[[.,[.,.]],[.,[.,.]]]]=>[7,6,4,3,5,1,2]=>([(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,.],[[.,[.,.]],[[.,.],.]]]=>[6,7,4,3,5,1,2]=>([(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [[.,.],[[[.,.],.],[.,[.,.]]]]=>[7,6,3,4,5,1,2]=>([(0,3),(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,.],[[[.,.],.],[[.,.],.]]]=>[6,7,3,4,5,1,2]=>([(0,3),(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [[.,.],[[.,[.,[.,.]]],[.,.]]]=>[7,5,4,3,6,1,2]=>([(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [[.,.],[[.,[[.,.],.]],[.,.]]]=>[7,4,5,3,6,1,2]=>([(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [[.,.],[[[.,.],[.,.]],[.,.]]]=>[7,5,3,4,6,1,2]=>([(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [[.,.],[[[.,[.,.]],.],[.,.]]]=>[7,4,3,5,6,1,2]=>([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [[.,.],[[[[.,.],.],.],[.,.]]]=>[7,3,4,5,6,1,2]=>([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [[.,.],[[.,[.,[.,[.,.]]]],.]]=>[6,5,4,3,7,1,2]=>([(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [[.,.],[[.,[.,[[.,.],.]]],.]]=>[5,6,4,3,7,1,2]=>([(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [[.,.],[[.,[[.,.],[.,.]]],.]]=>[6,4,5,3,7,1,2]=>([(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [[.,.],[[.,[[.,[.,.]],.]],.]]=>[5,4,6,3,7,1,2]=>([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [[.,.],[[.,[[[.,.],.],.]],.]]=>[4,5,6,3,7,1,2]=>([(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [[.,.],[[[.,.],[.,[.,.]]],.]]=>[6,5,3,4,7,1,2]=>([(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [[.,.],[[[.,.],[[.,.],.]],.]]=>[5,6,3,4,7,1,2]=>([(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [[.,.],[[[.,[.,.]],[.,.]],.]]=>[6,4,3,5,7,1,2]=>([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [[.,.],[[[[.,.],.],[.,.]],.]]=>[6,3,4,5,7,1,2]=>([(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [[.,.],[[[.,[.,[.,.]]],.],.]]=>[5,4,3,6,7,1,2]=>([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [[.,.],[[[.,[[.,.],.]],.],.]]=>[4,5,3,6,7,1,2]=>([(0,5),(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [[.,.],[[[[.,.],[.,.]],.],.]]=>[5,3,4,6,7,1,2]=>([(0,5),(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [[.,.],[[[[.,[.,.]],.],.],.]]=>[4,3,5,6,7,1,2]=>([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [[.,.],[[[[[.,.],.],.],.],.]]=>[3,4,5,6,7,1,2]=>([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [[.,[.,.]],[.,[.,[.,[.,.]]]]]=>[7,6,5,4,2,1,3]=>([(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[.,.]],[.,[.,[[.,.],.]]]]=>[6,7,5,4,2,1,3]=>([(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[.,.]],[.,[[.,.],[.,.]]]]=>[7,5,6,4,2,1,3]=>([(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[.,.]],[.,[[.,[.,.]],.]]]=>[6,5,7,4,2,1,3]=>([(0,1),(0,4),(0,5),(0,6),(1,2),(1,3),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[.,.]],[.,[[[.,.],.],.]]]=>[5,6,7,4,2,1,3]=>([(0,1),(0,2),(0,3),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[.,.]],[[.,.],[.,[.,.]]]]=>[7,6,4,5,2,1,3]=>([(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[.,.]],[[.,.],[[.,.],.]]]=>[6,7,4,5,2,1,3]=>([(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [[.,[.,.]],[[.,[.,.]],[.,.]]]=>[7,5,4,6,2,1,3]=>([(0,1),(0,4),(0,5),(0,6),(1,2),(1,3),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[.,.]],[[[.,.],.],[.,.]]]=>[7,4,5,6,2,1,3]=>([(0,1),(0,2),(0,3),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[.,.]],[[.,[.,[.,.]]],.]]=>[6,5,4,7,2,1,3]=>([(0,1),(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[.,.]],[[.,[[.,.],.]],.]]=>[5,6,4,7,2,1,3]=>([(0,3),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(4,5),(4,6),(5,6)],7) [[.,[.,.]],[[[.,.],[.,.]],.]]=>[6,4,5,7,2,1,3]=>([(0,3),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(4,5),(4,6),(5,6)],7) [[.,[.,.]],[[[.,[.,.]],.],.]]=>[5,4,6,7,2,1,3]=>([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(5,6)],7) [[.,[.,.]],[[[[.,.],.],.],.]]=>[4,5,6,7,2,1,3]=>([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(5,6)],7) [[[.,.],.],[.,[.,[.,[.,.]]]]]=>[7,6,5,4,1,2,3]=>([(0,3),(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,.],.],[.,[.,[[.,.],.]]]]=>[6,7,5,4,1,2,3]=>([(0,3),(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,.],.],[.,[[.,.],[.,.]]]]=>[7,5,6,4,1,2,3]=>([(0,3),(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,.],.],[.,[[.,[.,.]],.]]]=>[6,5,7,4,1,2,3]=>([(0,1),(0,2),(0,3),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,.],.],[.,[[[.,.],.],.]]]=>[5,6,7,4,1,2,3]=>([(0,3),(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,6),(4,6),(5,6)],7) [[[.,.],.],[[.,.],[.,[.,.]]]]=>[7,6,4,5,1,2,3]=>([(0,3),(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,.],.],[[.,.],[[.,.],.]]]=>[6,7,4,5,1,2,3]=>([(0,3),(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [[[.,.],.],[[.,[.,.]],[.,.]]]=>[7,5,4,6,1,2,3]=>([(0,1),(0,2),(0,3),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,.],.],[[[.,.],.],[.,.]]]=>[7,4,5,6,1,2,3]=>([(0,3),(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,6),(4,6),(5,6)],7) [[[.,.],.],[[.,[.,[.,.]]],.]]=>[6,5,4,7,1,2,3]=>([(0,1),(0,2),(0,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,.],.],[[.,[[.,.],.]],.]]=>[5,6,4,7,1,2,3]=>([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,6),(4,6),(5,6)],7) [[[.,.],.],[[[.,.],[.,.]],.]]=>[6,4,5,7,1,2,3]=>([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,6),(4,6),(5,6)],7) [[[.,.],.],[[[.,[.,.]],.],.]]=>[5,4,6,7,1,2,3]=>([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) [[[.,.],.],[[[[.,.],.],.],.]]=>[4,5,6,7,1,2,3]=>([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) [[.,[.,[.,.]]],[.,[.,[.,.]]]]=>[7,6,5,3,2,1,4]=>([(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[.,[.,.]]],[.,[[.,.],.]]]=>[6,7,5,3,2,1,4]=>([(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [[.,[.,[.,.]]],[[.,.],[.,.]]]=>[7,5,6,3,2,1,4]=>([(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [[.,[.,[.,.]]],[[.,[.,.]],.]]=>[6,5,7,3,2,1,4]=>([(0,1),(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[.,[.,.]]],[[[.,.],.],.]]=>[5,6,7,3,2,1,4]=>([(0,1),(0,2),(0,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[[.,.],.]],[.,[.,[.,.]]]]=>[7,6,5,2,3,1,4]=>([(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[[.,.],.]],[.,[[.,.],.]]]=>[6,7,5,2,3,1,4]=>([(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [[.,[[.,.],.]],[[.,.],[.,.]]]=>[7,5,6,2,3,1,4]=>([(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [[.,[[.,.],.]],[[.,[.,.]],.]]=>[6,5,7,2,3,1,4]=>([(0,3),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(4,5),(4,6),(5,6)],7) [[.,[[.,.],.]],[[[.,.],.],.]]=>[5,6,7,2,3,1,4]=>([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,6),(4,6),(5,6)],7) [[[.,.],[.,.]],[.,[.,[.,.]]]]=>[7,6,5,3,1,2,4]=>([(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,.],[.,.]],[.,[[.,.],.]]]=>[6,7,5,3,1,2,4]=>([(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [[[.,.],[.,.]],[[.,.],[.,.]]]=>[7,5,6,3,1,2,4]=>([(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [[[.,.],[.,.]],[[.,[.,.]],.]]=>[6,5,7,3,1,2,4]=>([(0,3),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(4,5),(4,6),(5,6)],7) [[[.,.],[.,.]],[[[.,.],.],.]]=>[5,6,7,3,1,2,4]=>([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,6),(4,6),(5,6)],7) [[[.,[.,.]],.],[.,[.,[.,.]]]]=>[7,6,5,2,1,3,4]=>([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,[.,.]],.],[.,[[.,.],.]]]=>[6,7,5,2,1,3,4]=>([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [[[.,[.,.]],.],[[.,.],[.,.]]]=>[7,5,6,2,1,3,4]=>([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [[[.,[.,.]],.],[[.,[.,.]],.]]=>[6,5,7,2,1,3,4]=>([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(5,6)],7) [[[.,[.,.]],.],[[[.,.],.],.]]=>[5,6,7,2,1,3,4]=>([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) [[[[.,.],.],.],[.,[.,[.,.]]]]=>[7,6,5,1,2,3,4]=>([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[[.,.],.],.],[.,[[.,.],.]]]=>[6,7,5,1,2,3,4]=>([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [[[[.,.],.],.],[[.,.],[.,.]]]=>[7,5,6,1,2,3,4]=>([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [[[[.,.],.],.],[[.,[.,.]],.]]=>[6,5,7,1,2,3,4]=>([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(5,6)],7) [[[[.,.],.],.],[[[.,.],.],.]]=>[5,6,7,1,2,3,4]=>([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) [[.,[.,[.,[.,.]]]],[.,[.,.]]]=>[7,6,4,3,2,1,5]=>([(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[.,[.,[.,.]]]],[[.,.],.]]=>[6,7,4,3,2,1,5]=>([(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [[.,[.,[[.,.],.]]],[.,[.,.]]]=>[7,6,3,4,2,1,5]=>([(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[.,[[.,.],.]]],[[.,.],.]]=>[6,7,3,4,2,1,5]=>([(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [[.,[[.,.],[.,.]]],[.,[.,.]]]=>[7,6,4,2,3,1,5]=>([(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[[.,.],[.,.]]],[[.,.],.]]=>[6,7,4,2,3,1,5]=>([(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [[.,[[.,[.,.]],.]],[.,[.,.]]]=>[7,6,3,2,4,1,5]=>([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[[.,[.,.]],.]],[[.,.],.]]=>[6,7,3,2,4,1,5]=>([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [[.,[[[.,.],.],.]],[.,[.,.]]]=>[7,6,2,3,4,1,5]=>([(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[[[.,.],.],.]],[[.,.],.]]=>[6,7,2,3,4,1,5]=>([(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [[[.,.],[.,[.,.]]],[.,[.,.]]]=>[7,6,4,3,1,2,5]=>([(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,.],[.,[.,.]]],[[.,.],.]]=>[6,7,4,3,1,2,5]=>([(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [[[.,.],[[.,.],.]],[.,[.,.]]]=>[7,6,3,4,1,2,5]=>([(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,.],[[.,.],.]],[[.,.],.]]=>[6,7,3,4,1,2,5]=>([(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [[[.,[.,.]],[.,.]],[.,[.,.]]]=>[7,6,4,2,1,3,5]=>([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,[.,.]],[.,.]],[[.,.],.]]=>[6,7,4,2,1,3,5]=>([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [[[[.,.],.],[.,.]],[.,[.,.]]]=>[7,6,4,1,2,3,5]=>([(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[[.,.],.],[.,.]],[[.,.],.]]=>[6,7,4,1,2,3,5]=>([(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [[[.,[.,[.,.]]],.],[.,[.,.]]]=>[7,6,3,2,1,4,5]=>([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,[.,[.,.]]],.],[[.,.],.]]=>[6,7,3,2,1,4,5]=>([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [[[.,[[.,.],.]],.],[.,[.,.]]]=>[7,6,2,3,1,4,5]=>([(0,5),(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,[[.,.],.]],.],[[.,.],.]]=>[6,7,2,3,1,4,5]=>([(0,5),(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [[[[.,.],[.,.]],.],[.,[.,.]]]=>[7,6,3,1,2,4,5]=>([(0,5),(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[[.,.],[.,.]],.],[[.,.],.]]=>[6,7,3,1,2,4,5]=>([(0,5),(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [[[[.,[.,.]],.],.],[.,[.,.]]]=>[7,6,2,1,3,4,5]=>([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[[.,[.,.]],.],.],[[.,.],.]]=>[6,7,2,1,3,4,5]=>([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [[[[[.,.],.],.],.],[.,[.,.]]]=>[7,6,1,2,3,4,5]=>([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[[[.,.],.],.],.],[[.,.],.]]=>[6,7,1,2,3,4,5]=>([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [[.,[.,[.,[.,[.,.]]]]],[.,.]]=>[7,5,4,3,2,1,6]=>([(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[.,[.,[[.,.],.]]]],[.,.]]=>[7,4,5,3,2,1,6]=>([(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[.,[[.,.],[.,.]]]],[.,.]]=>[7,5,3,4,2,1,6]=>([(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[.,[[.,[.,.]],.]]],[.,.]]=>[7,4,3,5,2,1,6]=>([(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[.,[[[.,.],.],.]]],[.,.]]=>[7,3,4,5,2,1,6]=>([(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[[.,.],[.,[.,.]]]],[.,.]]=>[7,5,4,2,3,1,6]=>([(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[[.,.],[[.,.],.]]],[.,.]]=>[7,4,5,2,3,1,6]=>([(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[[.,[.,.]],[.,.]]],[.,.]]=>[7,5,3,2,4,1,6]=>([(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[[[.,.],.],[.,.]]],[.,.]]=>[7,5,2,3,4,1,6]=>([(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[[.,[.,[.,.]]],.]],[.,.]]=>[7,4,3,2,5,1,6]=>([(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[[.,[[.,.],.]],.]],[.,.]]=>[7,3,4,2,5,1,6]=>([(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[[[.,.],[.,.]],.]],[.,.]]=>[7,4,2,3,5,1,6]=>([(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[[[.,[.,.]],.],.]],[.,.]]=>[7,3,2,4,5,1,6]=>([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[[[[.,.],.],.],.]],[.,.]]=>[7,2,3,4,5,1,6]=>([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,.],[.,[.,[.,.]]]],[.,.]]=>[7,5,4,3,1,2,6]=>([(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,.],[.,[[.,.],.]]],[.,.]]=>[7,4,5,3,1,2,6]=>([(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,.],[[.,.],[.,.]]],[.,.]]=>[7,5,3,4,1,2,6]=>([(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,.],[[.,[.,.]],.]],[.,.]]=>[7,4,3,5,1,2,6]=>([(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [[[.,.],[[[.,.],.],.]],[.,.]]=>[7,3,4,5,1,2,6]=>([(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [[[.,[.,.]],[.,[.,.]]],[.,.]]=>[7,5,4,2,1,3,6]=>([(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,[.,.]],[[.,.],.]],[.,.]]=>[7,4,5,2,1,3,6]=>([(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [[[[.,.],.],[.,[.,.]]],[.,.]]=>[7,5,4,1,2,3,6]=>([(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[[.,.],.],[[.,.],.]],[.,.]]=>[7,4,5,1,2,3,6]=>([(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [[[.,[.,[.,.]]],[.,.]],[.,.]]=>[7,5,3,2,1,4,6]=>([(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,[[.,.],.]],[.,.]],[.,.]]=>[7,5,2,3,1,4,6]=>([(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[[.,.],[.,.]],[.,.]],[.,.]]=>[7,5,3,1,2,4,6]=>([(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[[.,[.,.]],.],[.,.]],[.,.]]=>[7,5,2,1,3,4,6]=>([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[[[.,.],.],.],[.,.]],[.,.]]=>[7,5,1,2,3,4,6]=>([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,[.,[.,[.,.]]]],.],[.,.]]=>[7,4,3,2,1,5,6]=>([(0,6),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,[.,[[.,.],.]]],.],[.,.]]=>[7,3,4,2,1,5,6]=>([(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,[[.,.],[.,.]]],.],[.,.]]=>[7,4,2,3,1,5,6]=>([(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,[[.,[.,.]],.]],.],[.,.]]=>[7,3,2,4,1,5,6]=>([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,[[[.,.],.],.]],.],[.,.]]=>[7,2,3,4,1,5,6]=>([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[[.,.],[.,[.,.]]],.],[.,.]]=>[7,4,3,1,2,5,6]=>([(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[[.,.],[[.,.],.]],.],[.,.]]=>[7,3,4,1,2,5,6]=>([(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [[[[.,[.,.]],[.,.]],.],[.,.]]=>[7,4,2,1,3,5,6]=>([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[[[.,.],.],[.,.]],.],[.,.]]=>[7,4,1,2,3,5,6]=>([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[[.,[.,[.,.]]],.],.],[.,.]]=>[7,3,2,1,4,5,6]=>([(0,6),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[[.,[[.,.],.]],.],.],[.,.]]=>[7,2,3,1,4,5,6]=>([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[[[.,.],[.,.]],.],.],[.,.]]=>[7,3,1,2,4,5,6]=>([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[[[.,[.,.]],.],.],.],[.,.]]=>[7,2,1,3,4,5,6]=>([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) [[[[[[.,.],.],.],.],.],[.,.]]=>[7,1,2,3,4,5,6]=>([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) [[.,[.,[.,[.,[.,[.,.]]]]]],.]=>[6,5,4,3,2,1,7]=>([(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[.,[.,[.,[[.,.],.]]]]],.]=>[5,6,4,3,2,1,7]=>([(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[.,[.,[[.,.],[.,.]]]]],.]=>[6,4,5,3,2,1,7]=>([(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[.,[.,[[.,[.,.]],.]]]],.]=>[5,4,6,3,2,1,7]=>([(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[.,[.,[[[.,.],.],.]]]],.]=>[4,5,6,3,2,1,7]=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[.,[[.,.],[.,[.,.]]]]],.]=>[6,5,3,4,2,1,7]=>([(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[.,[[.,.],[[.,.],.]]]],.]=>[5,6,3,4,2,1,7]=>([(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[.,[[.,[.,.]],[.,.]]]],.]=>[6,4,3,5,2,1,7]=>([(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[.,[[[.,.],.],[.,.]]]],.]=>[6,3,4,5,2,1,7]=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[.,[[.,[.,[.,.]]],.]]],.]=>[5,4,3,6,2,1,7]=>([(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[.,[[.,[[.,.],.]],.]]],.]=>[4,5,3,6,2,1,7]=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[.,[[[.,.],[.,.]],.]]],.]=>[5,3,4,6,2,1,7]=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[.,[[[.,[.,.]],.],.]]],.]=>[4,3,5,6,2,1,7]=>([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[.,[[[[.,.],.],.],.]]],.]=>[3,4,5,6,2,1,7]=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[[.,.],[.,[.,[.,.]]]]],.]=>[6,5,4,2,3,1,7]=>([(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[[.,.],[.,[[.,.],.]]]],.]=>[5,6,4,2,3,1,7]=>([(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[[.,.],[[.,.],[.,.]]]],.]=>[6,4,5,2,3,1,7]=>([(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[[.,.],[[.,[.,.]],.]]],.]=>[5,4,6,2,3,1,7]=>([(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [[.,[[.,.],[[[.,.],.],.]]],.]=>[4,5,6,2,3,1,7]=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [[.,[[.,[.,.]],[.,[.,.]]]],.]=>[6,5,3,2,4,1,7]=>([(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[[.,[.,.]],[[.,.],.]]],.]=>[5,6,3,2,4,1,7]=>([(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [[.,[[[.,.],.],[.,[.,.]]]],.]=>[6,5,2,3,4,1,7]=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[[[.,.],.],[[.,.],.]]],.]=>[5,6,2,3,4,1,7]=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [[.,[[.,[.,[.,.]]],[.,.]]],.]=>[6,4,3,2,5,1,7]=>([(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[[.,[[.,.],.]],[.,.]]],.]=>[6,3,4,2,5,1,7]=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[[[.,.],[.,.]],[.,.]]],.]=>[6,4,2,3,5,1,7]=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[[[.,[.,.]],.],[.,.]]],.]=>[6,3,2,4,5,1,7]=>([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[[[[.,.],.],.],[.,.]]],.]=>[6,2,3,4,5,1,7]=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[[.,[.,[.,[.,.]]]],.]],.]=>[5,4,3,2,6,1,7]=>([(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[[.,[.,[[.,.],.]]],.]],.]=>[4,5,3,2,6,1,7]=>([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[[.,[[.,.],[.,.]]],.]],.]=>[5,3,4,2,6,1,7]=>([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[[.,[[.,[.,.]],.]],.]],.]=>[4,3,5,2,6,1,7]=>([(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[[.,[[[.,.],.],.]],.]],.]=>[3,4,5,2,6,1,7]=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[[[.,.],[.,[.,.]]],.]],.]=>[5,4,2,3,6,1,7]=>([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[[[.,.],[[.,.],.]],.]],.]=>[4,5,2,3,6,1,7]=>([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [[.,[[[.,[.,.]],[.,.]],.]],.]=>[5,3,2,4,6,1,7]=>([(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[[[[.,.],.],[.,.]],.]],.]=>[5,2,3,4,6,1,7]=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[[[.,[.,[.,.]]],.],.]],.]=>[4,3,2,5,6,1,7]=>([(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[[[.,[[.,.],.]],.],.]],.]=>[3,4,2,5,6,1,7]=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[[[[.,.],[.,.]],.],.]],.]=>[4,2,3,5,6,1,7]=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[[[[.,[.,.]],.],.],.]],.]=>[3,2,4,5,6,1,7]=>([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) [[.,[[[[[.,.],.],.],.],.]],.]=>[2,3,4,5,6,1,7]=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7) [[[.,.],[.,[.,[.,[.,.]]]]],.]=>[6,5,4,3,1,2,7]=>([(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,.],[.,[.,[[.,.],.]]]],.]=>[5,6,4,3,1,2,7]=>([(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,.],[.,[[.,.],[.,.]]]],.]=>[6,4,5,3,1,2,7]=>([(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,.],[.,[[.,[.,.]],.]]],.]=>[5,4,6,3,1,2,7]=>([(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [[[.,.],[.,[[[.,.],.],.]]],.]=>[4,5,6,3,1,2,7]=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [[[.,.],[[.,.],[.,[.,.]]]],.]=>[6,5,3,4,1,2,7]=>([(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,.],[[.,.],[[.,.],.]]],.]=>[5,6,3,4,1,2,7]=>([(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [[[.,.],[[.,[.,.]],[.,.]]],.]=>[6,4,3,5,1,2,7]=>([(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [[[.,.],[[[.,.],.],[.,.]]],.]=>[6,3,4,5,1,2,7]=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [[[.,.],[[.,[.,[.,.]]],.]],.]=>[5,4,3,6,1,2,7]=>([(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [[[.,.],[[.,[[.,.],.]],.]],.]=>[4,5,3,6,1,2,7]=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [[[.,.],[[[.,.],[.,.]],.]],.]=>[5,3,4,6,1,2,7]=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [[[.,.],[[[.,[.,.]],.],.]],.]=>[4,3,5,6,1,2,7]=>([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [[[.,.],[[[[.,.],.],.],.]],.]=>[3,4,5,6,1,2,7]=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [[[.,[.,.]],[.,[.,[.,.]]]],.]=>[6,5,4,2,1,3,7]=>([(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,[.,.]],[.,[[.,.],.]]],.]=>[5,6,4,2,1,3,7]=>([(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [[[.,[.,.]],[[.,.],[.,.]]],.]=>[6,4,5,2,1,3,7]=>([(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [[[.,[.,.]],[[.,[.,.]],.]],.]=>[5,4,6,2,1,3,7]=>([(1,2),(1,5),(1,6),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,[.,.]],[[[.,.],.],.]],.]=>[4,5,6,2,1,3,7]=>([(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[[.,.],.],[.,[.,[.,.]]]],.]=>[6,5,4,1,2,3,7]=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[[.,.],.],[.,[[.,.],.]]],.]=>[5,6,4,1,2,3,7]=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [[[[.,.],.],[[.,.],[.,.]]],.]=>[6,4,5,1,2,3,7]=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [[[[.,.],.],[[.,[.,.]],.]],.]=>[5,4,6,1,2,3,7]=>([(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[[.,.],.],[[[.,.],.],.]],.]=>[4,5,6,1,2,3,7]=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) [[[.,[.,[.,.]]],[.,[.,.]]],.]=>[6,5,3,2,1,4,7]=>([(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,[.,[.,.]]],[[.,.],.]],.]=>[5,6,3,2,1,4,7]=>([(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [[[.,[[.,.],.]],[.,[.,.]]],.]=>[6,5,2,3,1,4,7]=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,[[.,.],.]],[[.,.],.]],.]=>[5,6,2,3,1,4,7]=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [[[[.,.],[.,.]],[.,[.,.]]],.]=>[6,5,3,1,2,4,7]=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[[.,.],[.,.]],[[.,.],.]],.]=>[5,6,3,1,2,4,7]=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [[[[.,[.,.]],.],[.,[.,.]]],.]=>[6,5,2,1,3,4,7]=>([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[[.,[.,.]],.],[[.,.],.]],.]=>[5,6,2,1,3,4,7]=>([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [[[[[.,.],.],.],[.,[.,.]]],.]=>[6,5,1,2,3,4,7]=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[[[.,.],.],.],[[.,.],.]],.]=>[5,6,1,2,3,4,7]=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [[[.,[.,[.,[.,.]]]],[.,.]],.]=>[6,4,3,2,1,5,7]=>([(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,[.,[[.,.],.]]],[.,.]],.]=>[6,3,4,2,1,5,7]=>([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,[[.,.],[.,.]]],[.,.]],.]=>[6,4,2,3,1,5,7]=>([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,[[.,[.,.]],.]],[.,.]],.]=>[6,3,2,4,1,5,7]=>([(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,[[[.,.],.],.]],[.,.]],.]=>[6,2,3,4,1,5,7]=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[[.,.],[.,[.,.]]],[.,.]],.]=>[6,4,3,1,2,5,7]=>([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[[.,.],[[.,.],.]],[.,.]],.]=>[6,3,4,1,2,5,7]=>([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [[[[.,[.,.]],[.,.]],[.,.]],.]=>[6,4,2,1,3,5,7]=>([(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[[[.,.],.],[.,.]],[.,.]],.]=>[6,4,1,2,3,5,7]=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[[.,[.,[.,.]]],.],[.,.]],.]=>[6,3,2,1,4,5,7]=>([(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[[.,[[.,.],.]],.],[.,.]],.]=>[6,2,3,1,4,5,7]=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[[[.,.],[.,.]],.],[.,.]],.]=>[6,3,1,2,4,5,7]=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[[[.,[.,.]],.],.],[.,.]],.]=>[6,2,1,3,4,5,7]=>([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) [[[[[[.,.],.],.],.],[.,.]],.]=>[6,1,2,3,4,5,7]=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7) [[[.,[.,[.,[.,[.,.]]]]],.],.]=>[5,4,3,2,1,6,7]=>([(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,[.,[.,[[.,.],.]]]],.],.]=>[4,5,3,2,1,6,7]=>([(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,[.,[[.,.],[.,.]]]],.],.]=>[5,3,4,2,1,6,7]=>([(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,[.,[[.,[.,.]],.]]],.],.]=>[4,3,5,2,1,6,7]=>([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,[.,[[[.,.],.],.]]],.],.]=>[3,4,5,2,1,6,7]=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,[[.,.],[.,[.,.]]]],.],.]=>[5,4,2,3,1,6,7]=>([(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,[[.,.],[[.,.],.]]],.],.]=>[4,5,2,3,1,6,7]=>([(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [[[.,[[.,[.,.]],[.,.]]],.],.]=>[5,3,2,4,1,6,7]=>([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,[[[.,.],.],[.,.]]],.],.]=>[5,2,3,4,1,6,7]=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,[[.,[.,[.,.]]],.]],.],.]=>[4,3,2,5,1,6,7]=>([(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,[[.,[[.,.],.]],.]],.],.]=>[3,4,2,5,1,6,7]=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,[[[.,.],[.,.]],.]],.],.]=>[4,2,3,5,1,6,7]=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,[[[.,[.,.]],.],.]],.],.]=>[3,2,4,5,1,6,7]=>([(2,6),(3,6),(4,5),(4,6),(5,6)],7) [[[.,[[[[.,.],.],.],.]],.],.]=>[2,3,4,5,1,6,7]=>([(2,6),(3,6),(4,6),(5,6)],7) [[[[.,.],[.,[.,[.,.]]]],.],.]=>[5,4,3,1,2,6,7]=>([(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[[.,.],[.,[[.,.],.]]],.],.]=>[4,5,3,1,2,6,7]=>([(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [[[[.,.],[[.,.],[.,.]]],.],.]=>[5,3,4,1,2,6,7]=>([(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [[[[.,.],[[.,[.,.]],.]],.],.]=>[4,3,5,1,2,6,7]=>([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [[[[.,.],[[[.,.],.],.]],.],.]=>[3,4,5,1,2,6,7]=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [[[[.,[.,.]],[.,[.,.]]],.],.]=>[5,4,2,1,3,6,7]=>([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[[.,[.,.]],[[.,.],.]],.],.]=>[4,5,2,1,3,6,7]=>([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [[[[[.,.],.],[.,[.,.]]],.],.]=>[5,4,1,2,3,6,7]=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[[[.,.],.],[[.,.],.]],.],.]=>[4,5,1,2,3,6,7]=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [[[[.,[.,[.,.]]],[.,.]],.],.]=>[5,3,2,1,4,6,7]=>([(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[[.,[[.,.],.]],[.,.]],.],.]=>[5,2,3,1,4,6,7]=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[[[.,.],[.,.]],[.,.]],.],.]=>[5,3,1,2,4,6,7]=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[[[.,[.,.]],.],[.,.]],.],.]=>[5,2,1,3,4,6,7]=>([(2,6),(3,6),(4,5),(4,6),(5,6)],7) [[[[[[.,.],.],.],[.,.]],.],.]=>[5,1,2,3,4,6,7]=>([(2,6),(3,6),(4,6),(5,6)],7) [[[[.,[.,[.,[.,.]]]],.],.],.]=>[4,3,2,1,5,6,7]=>([(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[[.,[.,[[.,.],.]]],.],.],.]=>[3,4,2,1,5,6,7]=>([(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[[.,[[.,.],[.,.]]],.],.],.]=>[4,2,3,1,5,6,7]=>([(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[[.,[[.,[.,.]],.]],.],.],.]=>[3,2,4,1,5,6,7]=>([(3,6),(4,5),(4,6),(5,6)],7) [[[[.,[[[.,.],.],.]],.],.],.]=>[2,3,4,1,5,6,7]=>([(3,6),(4,6),(5,6)],7) [[[[[.,.],[.,[.,.]]],.],.],.]=>[4,3,1,2,5,6,7]=>([(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[[[.,.],[[.,.],.]],.],.],.]=>[3,4,1,2,5,6,7]=>([(3,5),(3,6),(4,5),(4,6)],7) [[[[[.,[.,.]],[.,.]],.],.],.]=>[4,2,1,3,5,6,7]=>([(3,6),(4,5),(4,6),(5,6)],7) [[[[[[.,.],.],[.,.]],.],.],.]=>[4,1,2,3,5,6,7]=>([(3,6),(4,6),(5,6)],7) [[[[[.,[.,[.,.]]],.],.],.],.]=>[3,2,1,4,5,6,7]=>([(4,5),(4,6),(5,6)],7) [[[[[.,[[.,.],.]],.],.],.],.]=>[2,3,1,4,5,6,7]=>([(4,6),(5,6)],7) [[[[[[.,.],[.,.]],.],.],.],.]=>[3,1,2,4,5,6,7]=>([(4,6),(5,6)],7) [[[[[[.,[.,.]],.],.],.],.],.]=>[2,1,3,4,5,6,7]=>([(5,6)],7) [[[[[[[.,.],.],.],.],.],.],.]=>[1,2,3,4,5,6,7]=>([],7) [.,[.,[.,[.,[.,[.,[.,[.,.]]]]]]]]=>[8,7,6,5,4,3,2,1]=>([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,2),(1,3),(1,4),(1,5),(1,6),(1,7),(2,3),(2,4),(2,5),(2,6),(2,7),(3,4),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(5,6),(5,7),(6,7)],8) [.,[.,[[.,.],[[.,.],[.,[.,.]]]]]]=>[8,7,5,6,3,4,2,1]=>([(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,2),(1,3),(1,4),(1,5),(1,6),(1,7),(2,4),(2,5),(2,6),(2,7),(3,4),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(5,6),(5,7),(6,7)],8) [.,[[.,.],[.,[.,[[.,.],[.,.]]]]]]=>[8,6,7,5,4,2,3,1]=>([(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,2),(1,3),(1,4),(1,5),(1,6),(1,7),(2,4),(2,5),(2,6),(2,7),(3,4),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(5,6),(5,7),(6,7)],8) [.,[[.,[.,.]],[[.,[.,.]],[.,.]]]]=>[8,6,5,7,3,2,4,1]=>([(0,1),(0,4),(0,5),(0,6),(0,7),(1,2),(1,3),(1,6),(1,7),(2,3),(2,4),(2,5),(2,6),(2,7),(3,4),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(5,6),(5,7),(6,7)],8) [.,[[[.,.],.],[[[.,.],.],[.,.]]]]=>[8,5,6,7,2,3,4,1]=>([(0,3),(0,4),(0,5),(0,6),(0,7),(1,3),(1,4),(1,5),(1,6),(1,7),(2,3),(2,4),(2,5),(2,6),(2,7),(3,6),(3,7),(4,6),(4,7),(5,6),(5,7),(6,7)],8) [[.,.],[.,[.,[.,[.,[[.,.],.]]]]]]=>[7,8,6,5,4,3,1,2]=>([(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,2),(1,3),(1,4),(1,5),(1,6),(1,7),(2,4),(2,5),(2,6),(2,7),(3,4),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(5,6),(5,7),(6,7)],8) [[.,.],[[.,.],[[.,.],[[.,.],.]]]]=>[7,8,5,6,3,4,1,2]=>([(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,2),(1,3),(1,4),(1,5),(1,6),(1,7),(2,4),(2,5),(2,6),(2,7),(3,4),(3,5),(3,6),(3,7),(4,6),(4,7),(5,6),(5,7)],8) [[.,.],[[.,.],[[[[.,.],.],.],.]]]=>[5,6,7,8,3,4,1,2]=>([(0,4),(0,5),(0,6),(0,7),(1,4),(1,5),(1,6),(1,7),(2,4),(2,5),(2,6),(2,7),(3,4),(3,5),(3,6),(3,7),(4,6),(4,7),(5,6),(5,7)],8) [[.,.],[[[[.,.],.],.],[[.,.],.]]]=>[7,8,3,4,5,6,1,2]=>([(0,4),(0,5),(0,6),(0,7),(1,4),(1,5),(1,6),(1,7),(2,4),(2,5),(2,6),(2,7),(3,4),(3,5),(3,6),(3,7),(4,6),(4,7),(5,6),(5,7)],8) [[.,.],[[[[[[.,.],.],.],.],.],.]]=>[3,4,5,6,7,8,1,2]=>([(0,6),(0,7),(1,6),(1,7),(2,6),(2,7),(3,6),(3,7),(4,6),(4,7),(5,6),(5,7)],8) [[.,[.,.]],[.,[.,[[.,[.,.]],.]]]]=>[7,6,8,5,4,2,1,3]=>([(0,1),(0,4),(0,5),(0,6),(0,7),(1,2),(1,3),(1,6),(1,7),(2,3),(2,4),(2,5),(2,6),(2,7),(3,4),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(5,6),(5,7),(6,7)],8) [[[.,.],.],[.,[.,[[[.,.],.],.]]]]=>[6,7,8,5,4,1,2,3]=>([(0,3),(0,4),(0,5),(0,6),(0,7),(1,3),(1,4),(1,5),(1,6),(1,7),(2,3),(2,4),(2,5),(2,6),(2,7),(3,6),(3,7),(4,6),(4,7),(5,6),(5,7),(6,7)],8) [[.,[.,[.,.]]],[[.,[.,[.,.]]],.]]=>[7,6,5,8,3,2,1,4]=>([(0,1),(0,5),(0,6),(0,7),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(2,7),(3,4),(3,5),(3,6),(3,7),(4,5),(4,6),(4,7),(5,6),(5,7),(6,7)],8) [[.,[[.,.],.]],[[[.,.],[.,.]],.]]=>[7,5,6,8,2,3,1,4]=>([(0,1),(0,4),(0,5),(0,7),(1,2),(1,3),(1,6),(2,4),(2,5),(2,6),(2,7),(3,4),(3,5),(3,6),(3,7),(4,6),(4,7),(5,6),(5,7),(6,7)],8) [[[.,.],[.,.]],[[.,[[.,.],.]],.]]=>[6,7,5,8,3,1,2,4]=>([(0,1),(0,4),(0,5),(0,7),(1,2),(1,3),(1,6),(2,4),(2,5),(2,6),(2,7),(3,4),(3,5),(3,6),(3,7),(4,6),(4,7),(5,6),(5,7),(6,7)],8) [[[.,[.,.]],.],[[[.,[.,.]],.],.]]=>[6,5,7,8,2,1,3,4]=>([(0,2),(0,3),(0,6),(0,7),(1,2),(1,3),(1,6),(1,7),(2,4),(2,5),(3,4),(3,5),(4,5),(4,6),(4,7),(5,6),(5,7),(6,7)],8) [[[[.,.],.],.],[[.,.],[[.,.],.]]]=>[7,8,5,6,1,2,3,4]=>([(0,4),(0,5),(0,6),(0,7),(1,4),(1,5),(1,6),(1,7),(2,4),(2,5),(2,6),(2,7),(3,4),(3,5),(3,6),(3,7),(4,6),(4,7),(5,6),(5,7)],8) [[[[.,.],.],.],[[[[.,.],.],.],.]]=>[5,6,7,8,1,2,3,4]=>([(0,4),(0,5),(0,6),(0,7),(1,4),(1,5),(1,6),(1,7),(2,4),(2,5),(2,6),(2,7),(3,4),(3,5),(3,6),(3,7)],8) [[[[[[.,.],.],.],.],.],[[.,.],.]]=>[7,8,1,2,3,4,5,6]=>([(0,6),(0,7),(1,6),(1,7),(2,6),(2,7),(3,6),(3,7),(4,6),(4,7),(5,6),(5,7)],8) [[[[[[[[.,.],.],.],.],.],.],.],.]=>[1,2,3,4,5,6,7,8]=>([],8)
Map
to 132-avoiding permutation
Description
Return a 132-avoiding permutation corresponding to a binary tree.
The linear extensions of a binary tree form an interval of the weak order called the Sylvester class of the tree. This permutation is the maximal element of the Sylvester class.
Map
graph of inversions
Description
The graph of inversions of a permutation.
For a permutation of $\{1,\dots,n\}$, this is the graph with vertices $\{1,\dots,n\}$, where $(i,j)$ is an edge if and only if it is an inversion of the permutation.