Identifier
Mp00017: Binary trees to 312-avoiding permutationPermutations
Mp00072: Permutations binary search tree: left to rightBinary trees
Mp00018: Binary trees left border symmetryBinary trees
Mp00011: Binary trees to graph Graphs
Images
=>
Cc0010;cc-rep-0Cc0010;cc-rep-2Cc0010;cc-rep-3Cc0020;cc-rep-4
[.,.]=>[1]=>[.,.]=>[.,.]=>([],1) [.,[.,.]]=>[2,1]=>[[.,.],.]=>[[.,.],.]=>([(0,1)],2) [[.,.],.]=>[1,2]=>[.,[.,.]]=>[.,[.,.]]=>([(0,1)],2) [.,[.,[.,.]]]=>[3,2,1]=>[[[.,.],.],.]=>[[[.,.],.],.]=>([(0,2),(1,2)],3) [.,[[.,.],.]]=>[2,3,1]=>[[.,.],[.,.]]=>[[.,[.,.]],.]=>([(0,2),(1,2)],3) [[.,.],[.,.]]=>[1,3,2]=>[.,[[.,.],.]]=>[.,[[.,.],.]]=>([(0,2),(1,2)],3) [[.,[.,.]],.]=>[2,1,3]=>[[.,.],[.,.]]=>[[.,[.,.]],.]=>([(0,2),(1,2)],3) [[[.,.],.],.]=>[1,2,3]=>[.,[.,[.,.]]]=>[.,[.,[.,.]]]=>([(0,2),(1,2)],3) [.,[.,[.,[.,.]]]]=>[4,3,2,1]=>[[[[.,.],.],.],.]=>[[[[.,.],.],.],.]=>([(0,3),(1,2),(2,3)],4) [.,[.,[[.,.],.]]]=>[3,4,2,1]=>[[[.,.],.],[.,.]]=>[[[.,[.,.]],.],.]=>([(0,3),(1,2),(2,3)],4) [.,[[.,.],[.,.]]]=>[2,4,3,1]=>[[.,.],[[.,.],.]]=>[[.,[[.,.],.]],.]=>([(0,3),(1,2),(2,3)],4) [.,[[.,[.,.]],.]]=>[3,2,4,1]=>[[[.,.],.],[.,.]]=>[[[.,[.,.]],.],.]=>([(0,3),(1,2),(2,3)],4) [.,[[[.,.],.],.]]=>[2,3,4,1]=>[[.,.],[.,[.,.]]]=>[[.,[.,[.,.]]],.]=>([(0,3),(1,2),(2,3)],4) [[.,.],[.,[.,.]]]=>[1,4,3,2]=>[.,[[[.,.],.],.]]=>[.,[[[.,.],.],.]]=>([(0,3),(1,2),(2,3)],4) [[.,.],[[.,.],.]]=>[1,3,4,2]=>[.,[[.,.],[.,.]]]=>[.,[[.,[.,.]],.]]=>([(0,3),(1,2),(2,3)],4) [[.,[.,.]],[.,.]]=>[2,1,4,3]=>[[.,.],[[.,.],.]]=>[[.,[[.,.],.]],.]=>([(0,3),(1,2),(2,3)],4) [[[.,.],.],[.,.]]=>[1,2,4,3]=>[.,[.,[[.,.],.]]]=>[.,[.,[[.,.],.]]]=>([(0,3),(1,2),(2,3)],4) [[.,[.,[.,.]]],.]=>[3,2,1,4]=>[[[.,.],.],[.,.]]=>[[[.,[.,.]],.],.]=>([(0,3),(1,2),(2,3)],4) [[.,[[.,.],.]],.]=>[2,3,1,4]=>[[.,.],[.,[.,.]]]=>[[.,[.,[.,.]]],.]=>([(0,3),(1,2),(2,3)],4) [[[.,.],[.,.]],.]=>[1,3,2,4]=>[.,[[.,.],[.,.]]]=>[.,[[.,[.,.]],.]]=>([(0,3),(1,2),(2,3)],4) [[[.,[.,.]],.],.]=>[2,1,3,4]=>[[.,.],[.,[.,.]]]=>[[.,[.,[.,.]]],.]=>([(0,3),(1,2),(2,3)],4) [[[[.,.],.],.],.]=>[1,2,3,4]=>[.,[.,[.,[.,.]]]]=>[.,[.,[.,[.,.]]]]=>([(0,3),(1,2),(2,3)],4) [.,[.,[.,[.,[.,.]]]]]=>[5,4,3,2,1]=>[[[[[.,.],.],.],.],.]=>[[[[[.,.],.],.],.],.]=>([(0,4),(1,3),(2,3),(2,4)],5) [.,[.,[.,[[.,.],.]]]]=>[4,5,3,2,1]=>[[[[.,.],.],.],[.,.]]=>[[[[.,[.,.]],.],.],.]=>([(0,4),(1,3),(2,3),(2,4)],5) [.,[.,[[.,.],[.,.]]]]=>[3,5,4,2,1]=>[[[.,.],.],[[.,.],.]]=>[[[.,[[.,.],.]],.],.]=>([(0,4),(1,3),(2,3),(2,4)],5) [.,[.,[[.,[.,.]],.]]]=>[4,3,5,2,1]=>[[[[.,.],.],.],[.,.]]=>[[[[.,[.,.]],.],.],.]=>([(0,4),(1,3),(2,3),(2,4)],5) [.,[.,[[[.,.],.],.]]]=>[3,4,5,2,1]=>[[[.,.],.],[.,[.,.]]]=>[[[.,[.,[.,.]]],.],.]=>([(0,4),(1,3),(2,3),(2,4)],5) [.,[[.,.],[.,[.,.]]]]=>[2,5,4,3,1]=>[[.,.],[[[.,.],.],.]]=>[[.,[[[.,.],.],.]],.]=>([(0,4),(1,3),(2,3),(2,4)],5) [.,[[.,.],[[.,.],.]]]=>[2,4,5,3,1]=>[[.,.],[[.,.],[.,.]]]=>[[.,[[.,[.,.]],.]],.]=>([(0,4),(1,3),(2,3),(2,4)],5) [.,[[.,[.,.]],[.,.]]]=>[3,2,5,4,1]=>[[[.,.],.],[[.,.],.]]=>[[[.,[[.,.],.]],.],.]=>([(0,4),(1,3),(2,3),(2,4)],5) [.,[[[.,.],.],[.,.]]]=>[2,3,5,4,1]=>[[.,.],[.,[[.,.],.]]]=>[[.,[.,[[.,.],.]]],.]=>([(0,4),(1,3),(2,3),(2,4)],5) [.,[[.,[.,[.,.]]],.]]=>[4,3,2,5,1]=>[[[[.,.],.],.],[.,.]]=>[[[[.,[.,.]],.],.],.]=>([(0,4),(1,3),(2,3),(2,4)],5) [.,[[.,[[.,.],.]],.]]=>[3,4,2,5,1]=>[[[.,.],.],[.,[.,.]]]=>[[[.,[.,[.,.]]],.],.]=>([(0,4),(1,3),(2,3),(2,4)],5) [.,[[[.,.],[.,.]],.]]=>[2,4,3,5,1]=>[[.,.],[[.,.],[.,.]]]=>[[.,[[.,[.,.]],.]],.]=>([(0,4),(1,3),(2,3),(2,4)],5) [.,[[[.,[.,.]],.],.]]=>[3,2,4,5,1]=>[[[.,.],.],[.,[.,.]]]=>[[[.,[.,[.,.]]],.],.]=>([(0,4),(1,3),(2,3),(2,4)],5) [.,[[[[.,.],.],.],.]]=>[2,3,4,5,1]=>[[.,.],[.,[.,[.,.]]]]=>[[.,[.,[.,[.,.]]]],.]=>([(0,4),(1,3),(2,3),(2,4)],5) [[.,.],[.,[.,[.,.]]]]=>[1,5,4,3,2]=>[.,[[[[.,.],.],.],.]]=>[.,[[[[.,.],.],.],.]]=>([(0,4),(1,3),(2,3),(2,4)],5) [[.,.],[.,[[.,.],.]]]=>[1,4,5,3,2]=>[.,[[[.,.],.],[.,.]]]=>[.,[[[.,[.,.]],.],.]]=>([(0,4),(1,3),(2,3),(2,4)],5) [[.,.],[[.,.],[.,.]]]=>[1,3,5,4,2]=>[.,[[.,.],[[.,.],.]]]=>[.,[[.,[[.,.],.]],.]]=>([(0,4),(1,3),(2,3),(2,4)],5) [[.,.],[[.,[.,.]],.]]=>[1,4,3,5,2]=>[.,[[[.,.],.],[.,.]]]=>[.,[[[.,[.,.]],.],.]]=>([(0,4),(1,3),(2,3),(2,4)],5) [[.,.],[[[.,.],.],.]]=>[1,3,4,5,2]=>[.,[[.,.],[.,[.,.]]]]=>[.,[[.,[.,[.,.]]],.]]=>([(0,4),(1,3),(2,3),(2,4)],5) [[.,[.,.]],[.,[.,.]]]=>[2,1,5,4,3]=>[[.,.],[[[.,.],.],.]]=>[[.,[[[.,.],.],.]],.]=>([(0,4),(1,3),(2,3),(2,4)],5) [[.,[.,.]],[[.,.],.]]=>[2,1,4,5,3]=>[[.,.],[[.,.],[.,.]]]=>[[.,[[.,[.,.]],.]],.]=>([(0,4),(1,3),(2,3),(2,4)],5) [[[.,.],.],[.,[.,.]]]=>[1,2,5,4,3]=>[.,[.,[[[.,.],.],.]]]=>[.,[.,[[[.,.],.],.]]]=>([(0,4),(1,3),(2,3),(2,4)],5) [[[.,.],.],[[.,.],.]]=>[1,2,4,5,3]=>[.,[.,[[.,.],[.,.]]]]=>[.,[.,[[.,[.,.]],.]]]=>([(0,4),(1,3),(2,3),(2,4)],5) [[.,[.,[.,.]]],[.,.]]=>[3,2,1,5,4]=>[[[.,.],.],[[.,.],.]]=>[[[.,[[.,.],.]],.],.]=>([(0,4),(1,3),(2,3),(2,4)],5) [[.,[[.,.],.]],[.,.]]=>[2,3,1,5,4]=>[[.,.],[.,[[.,.],.]]]=>[[.,[.,[[.,.],.]]],.]=>([(0,4),(1,3),(2,3),(2,4)],5) [[[.,.],[.,.]],[.,.]]=>[1,3,2,5,4]=>[.,[[.,.],[[.,.],.]]]=>[.,[[.,[[.,.],.]],.]]=>([(0,4),(1,3),(2,3),(2,4)],5) [[[.,[.,.]],.],[.,.]]=>[2,1,3,5,4]=>[[.,.],[.,[[.,.],.]]]=>[[.,[.,[[.,.],.]]],.]=>([(0,4),(1,3),(2,3),(2,4)],5) [[[[.,.],.],.],[.,.]]=>[1,2,3,5,4]=>[.,[.,[.,[[.,.],.]]]]=>[.,[.,[.,[[.,.],.]]]]=>([(0,4),(1,3),(2,3),(2,4)],5) [[.,[.,[.,[.,.]]]],.]=>[4,3,2,1,5]=>[[[[.,.],.],.],[.,.]]=>[[[[.,[.,.]],.],.],.]=>([(0,4),(1,3),(2,3),(2,4)],5) [[.,[.,[[.,.],.]]],.]=>[3,4,2,1,5]=>[[[.,.],.],[.,[.,.]]]=>[[[.,[.,[.,.]]],.],.]=>([(0,4),(1,3),(2,3),(2,4)],5) [[.,[[.,.],[.,.]]],.]=>[2,4,3,1,5]=>[[.,.],[[.,.],[.,.]]]=>[[.,[[.,[.,.]],.]],.]=>([(0,4),(1,3),(2,3),(2,4)],5) [[.,[[.,[.,.]],.]],.]=>[3,2,4,1,5]=>[[[.,.],.],[.,[.,.]]]=>[[[.,[.,[.,.]]],.],.]=>([(0,4),(1,3),(2,3),(2,4)],5) [[.,[[[.,.],.],.]],.]=>[2,3,4,1,5]=>[[.,.],[.,[.,[.,.]]]]=>[[.,[.,[.,[.,.]]]],.]=>([(0,4),(1,3),(2,3),(2,4)],5) [[[.,.],[.,[.,.]]],.]=>[1,4,3,2,5]=>[.,[[[.,.],.],[.,.]]]=>[.,[[[.,[.,.]],.],.]]=>([(0,4),(1,3),(2,3),(2,4)],5) [[[.,.],[[.,.],.]],.]=>[1,3,4,2,5]=>[.,[[.,.],[.,[.,.]]]]=>[.,[[.,[.,[.,.]]],.]]=>([(0,4),(1,3),(2,3),(2,4)],5) [[[.,[.,.]],[.,.]],.]=>[2,1,4,3,5]=>[[.,.],[[.,.],[.,.]]]=>[[.,[[.,[.,.]],.]],.]=>([(0,4),(1,3),(2,3),(2,4)],5) [[[[.,.],.],[.,.]],.]=>[1,2,4,3,5]=>[.,[.,[[.,.],[.,.]]]]=>[.,[.,[[.,[.,.]],.]]]=>([(0,4),(1,3),(2,3),(2,4)],5) [[[.,[.,[.,.]]],.],.]=>[3,2,1,4,5]=>[[[.,.],.],[.,[.,.]]]=>[[[.,[.,[.,.]]],.],.]=>([(0,4),(1,3),(2,3),(2,4)],5) [[[.,[[.,.],.]],.],.]=>[2,3,1,4,5]=>[[.,.],[.,[.,[.,.]]]]=>[[.,[.,[.,[.,.]]]],.]=>([(0,4),(1,3),(2,3),(2,4)],5) [[[[.,.],[.,.]],.],.]=>[1,3,2,4,5]=>[.,[[.,.],[.,[.,.]]]]=>[.,[[.,[.,[.,.]]],.]]=>([(0,4),(1,3),(2,3),(2,4)],5) [[[[.,[.,.]],.],.],.]=>[2,1,3,4,5]=>[[.,.],[.,[.,[.,.]]]]=>[[.,[.,[.,[.,.]]]],.]=>([(0,4),(1,3),(2,3),(2,4)],5) [[[[[.,.],.],.],.],.]=>[1,2,3,4,5]=>[.,[.,[.,[.,[.,.]]]]]=>[.,[.,[.,[.,[.,.]]]]]=>([(0,4),(1,3),(2,3),(2,4)],5) [.,[.,[.,[.,[.,[.,.]]]]]]=>[6,5,4,3,2,1]=>[[[[[[.,.],.],.],.],.],.]=>[[[[[[.,.],.],.],.],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[.,[.,[.,[[.,.],.]]]]]=>[5,6,4,3,2,1]=>[[[[[.,.],.],.],.],[.,.]]=>[[[[[.,[.,.]],.],.],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[.,[.,[[.,.],[.,.]]]]]=>[4,6,5,3,2,1]=>[[[[.,.],.],.],[[.,.],.]]=>[[[[.,[[.,.],.]],.],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[.,[.,[[.,[.,.]],.]]]]=>[5,4,6,3,2,1]=>[[[[[.,.],.],.],.],[.,.]]=>[[[[[.,[.,.]],.],.],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[.,[.,[[[.,.],.],.]]]]=>[4,5,6,3,2,1]=>[[[[.,.],.],.],[.,[.,.]]]=>[[[[.,[.,[.,.]]],.],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[.,[[.,.],[.,[.,.]]]]]=>[3,6,5,4,2,1]=>[[[.,.],.],[[[.,.],.],.]]=>[[[.,[[[.,.],.],.]],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[.,[[.,.],[[.,.],.]]]]=>[3,5,6,4,2,1]=>[[[.,.],.],[[.,.],[.,.]]]=>[[[.,[[.,[.,.]],.]],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[.,[[.,[.,.]],[.,.]]]]=>[4,3,6,5,2,1]=>[[[[.,.],.],.],[[.,.],.]]=>[[[[.,[[.,.],.]],.],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[.,[[[.,.],.],[.,.]]]]=>[3,4,6,5,2,1]=>[[[.,.],.],[.,[[.,.],.]]]=>[[[.,[.,[[.,.],.]]],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[.,[[.,[.,[.,.]]],.]]]=>[5,4,3,6,2,1]=>[[[[[.,.],.],.],.],[.,.]]=>[[[[[.,[.,.]],.],.],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[.,[[.,[[.,.],.]],.]]]=>[4,5,3,6,2,1]=>[[[[.,.],.],.],[.,[.,.]]]=>[[[[.,[.,[.,.]]],.],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[.,[[[.,.],[.,.]],.]]]=>[3,5,4,6,2,1]=>[[[.,.],.],[[.,.],[.,.]]]=>[[[.,[[.,[.,.]],.]],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[.,[[[.,[.,.]],.],.]]]=>[4,3,5,6,2,1]=>[[[[.,.],.],.],[.,[.,.]]]=>[[[[.,[.,[.,.]]],.],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[.,[[[[.,.],.],.],.]]]=>[3,4,5,6,2,1]=>[[[.,.],.],[.,[.,[.,.]]]]=>[[[.,[.,[.,[.,.]]]],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[[.,.],[.,[.,[.,.]]]]]=>[2,6,5,4,3,1]=>[[.,.],[[[[.,.],.],.],.]]=>[[.,[[[[.,.],.],.],.]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[[.,.],[.,[[.,.],.]]]]=>[2,5,6,4,3,1]=>[[.,.],[[[.,.],.],[.,.]]]=>[[.,[[[.,[.,.]],.],.]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[[.,.],[[.,.],[.,.]]]]=>[2,4,6,5,3,1]=>[[.,.],[[.,.],[[.,.],.]]]=>[[.,[[.,[[.,.],.]],.]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[[.,.],[[.,[.,.]],.]]]=>[2,5,4,6,3,1]=>[[.,.],[[[.,.],.],[.,.]]]=>[[.,[[[.,[.,.]],.],.]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[[.,.],[[[.,.],.],.]]]=>[2,4,5,6,3,1]=>[[.,.],[[.,.],[.,[.,.]]]]=>[[.,[[.,[.,[.,.]]],.]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[[.,[.,.]],[.,[.,.]]]]=>[3,2,6,5,4,1]=>[[[.,.],.],[[[.,.],.],.]]=>[[[.,[[[.,.],.],.]],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[[.,[.,.]],[[.,.],.]]]=>[3,2,5,6,4,1]=>[[[.,.],.],[[.,.],[.,.]]]=>[[[.,[[.,[.,.]],.]],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[[[.,.],.],[.,[.,.]]]]=>[2,3,6,5,4,1]=>[[.,.],[.,[[[.,.],.],.]]]=>[[.,[.,[[[.,.],.],.]]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[[[.,.],.],[[.,.],.]]]=>[2,3,5,6,4,1]=>[[.,.],[.,[[.,.],[.,.]]]]=>[[.,[.,[[.,[.,.]],.]]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[[.,[.,[.,.]]],[.,.]]]=>[4,3,2,6,5,1]=>[[[[.,.],.],.],[[.,.],.]]=>[[[[.,[[.,.],.]],.],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[[.,[[.,.],.]],[.,.]]]=>[3,4,2,6,5,1]=>[[[.,.],.],[.,[[.,.],.]]]=>[[[.,[.,[[.,.],.]]],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[[[.,.],[.,.]],[.,.]]]=>[2,4,3,6,5,1]=>[[.,.],[[.,.],[[.,.],.]]]=>[[.,[[.,[[.,.],.]],.]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[[[.,[.,.]],.],[.,.]]]=>[3,2,4,6,5,1]=>[[[.,.],.],[.,[[.,.],.]]]=>[[[.,[.,[[.,.],.]]],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[[[[.,.],.],.],[.,.]]]=>[2,3,4,6,5,1]=>[[.,.],[.,[.,[[.,.],.]]]]=>[[.,[.,[.,[[.,.],.]]]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[[.,[.,[.,[.,.]]]],.]]=>[5,4,3,2,6,1]=>[[[[[.,.],.],.],.],[.,.]]=>[[[[[.,[.,.]],.],.],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[[.,[.,[[.,.],.]]],.]]=>[4,5,3,2,6,1]=>[[[[.,.],.],.],[.,[.,.]]]=>[[[[.,[.,[.,.]]],.],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[[.,[[.,.],[.,.]]],.]]=>[3,5,4,2,6,1]=>[[[.,.],.],[[.,.],[.,.]]]=>[[[.,[[.,[.,.]],.]],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[[.,[[.,[.,.]],.]],.]]=>[4,3,5,2,6,1]=>[[[[.,.],.],.],[.,[.,.]]]=>[[[[.,[.,[.,.]]],.],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[[.,[[[.,.],.],.]],.]]=>[3,4,5,2,6,1]=>[[[.,.],.],[.,[.,[.,.]]]]=>[[[.,[.,[.,[.,.]]]],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[[[.,.],[.,[.,.]]],.]]=>[2,5,4,3,6,1]=>[[.,.],[[[.,.],.],[.,.]]]=>[[.,[[[.,[.,.]],.],.]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[[[.,.],[[.,.],.]],.]]=>[2,4,5,3,6,1]=>[[.,.],[[.,.],[.,[.,.]]]]=>[[.,[[.,[.,[.,.]]],.]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[[[.,[.,.]],[.,.]],.]]=>[3,2,5,4,6,1]=>[[[.,.],.],[[.,.],[.,.]]]=>[[[.,[[.,[.,.]],.]],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[[[[.,.],.],[.,.]],.]]=>[2,3,5,4,6,1]=>[[.,.],[.,[[.,.],[.,.]]]]=>[[.,[.,[[.,[.,.]],.]]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[[[.,[.,[.,.]]],.],.]]=>[4,3,2,5,6,1]=>[[[[.,.],.],.],[.,[.,.]]]=>[[[[.,[.,[.,.]]],.],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[[[.,[[.,.],.]],.],.]]=>[3,4,2,5,6,1]=>[[[.,.],.],[.,[.,[.,.]]]]=>[[[.,[.,[.,[.,.]]]],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[[[[.,.],[.,.]],.],.]]=>[2,4,3,5,6,1]=>[[.,.],[[.,.],[.,[.,.]]]]=>[[.,[[.,[.,[.,.]]],.]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[[[[.,[.,.]],.],.],.]]=>[3,2,4,5,6,1]=>[[[.,.],.],[.,[.,[.,.]]]]=>[[[.,[.,[.,[.,.]]]],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[[[[[.,.],.],.],.],.]]=>[2,3,4,5,6,1]=>[[.,.],[.,[.,[.,[.,.]]]]]=>[[.,[.,[.,[.,[.,.]]]]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,.],[.,[.,[.,[.,.]]]]]=>[1,6,5,4,3,2]=>[.,[[[[[.,.],.],.],.],.]]=>[.,[[[[[.,.],.],.],.],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,.],[.,[.,[[.,.],.]]]]=>[1,5,6,4,3,2]=>[.,[[[[.,.],.],.],[.,.]]]=>[.,[[[[.,[.,.]],.],.],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,.],[.,[[.,.],[.,.]]]]=>[1,4,6,5,3,2]=>[.,[[[.,.],.],[[.,.],.]]]=>[.,[[[.,[[.,.],.]],.],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,.],[.,[[.,[.,.]],.]]]=>[1,5,4,6,3,2]=>[.,[[[[.,.],.],.],[.,.]]]=>[.,[[[[.,[.,.]],.],.],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,.],[.,[[[.,.],.],.]]]=>[1,4,5,6,3,2]=>[.,[[[.,.],.],[.,[.,.]]]]=>[.,[[[.,[.,[.,.]]],.],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,.],[[.,.],[.,[.,.]]]]=>[1,3,6,5,4,2]=>[.,[[.,.],[[[.,.],.],.]]]=>[.,[[.,[[[.,.],.],.]],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,.],[[.,.],[[.,.],.]]]=>[1,3,5,6,4,2]=>[.,[[.,.],[[.,.],[.,.]]]]=>[.,[[.,[[.,[.,.]],.]],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,.],[[.,[.,.]],[.,.]]]=>[1,4,3,6,5,2]=>[.,[[[.,.],.],[[.,.],.]]]=>[.,[[[.,[[.,.],.]],.],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,.],[[[.,.],.],[.,.]]]=>[1,3,4,6,5,2]=>[.,[[.,.],[.,[[.,.],.]]]]=>[.,[[.,[.,[[.,.],.]]],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,.],[[.,[.,[.,.]]],.]]=>[1,5,4,3,6,2]=>[.,[[[[.,.],.],.],[.,.]]]=>[.,[[[[.,[.,.]],.],.],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,.],[[.,[[.,.],.]],.]]=>[1,4,5,3,6,2]=>[.,[[[.,.],.],[.,[.,.]]]]=>[.,[[[.,[.,[.,.]]],.],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,.],[[[.,.],[.,.]],.]]=>[1,3,5,4,6,2]=>[.,[[.,.],[[.,.],[.,.]]]]=>[.,[[.,[[.,[.,.]],.]],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,.],[[[.,[.,.]],.],.]]=>[1,4,3,5,6,2]=>[.,[[[.,.],.],[.,[.,.]]]]=>[.,[[[.,[.,[.,.]]],.],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,.],[[[[.,.],.],.],.]]=>[1,3,4,5,6,2]=>[.,[[.,.],[.,[.,[.,.]]]]]=>[.,[[.,[.,[.,[.,.]]]],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,[.,.]],[.,[.,[.,.]]]]=>[2,1,6,5,4,3]=>[[.,.],[[[[.,.],.],.],.]]=>[[.,[[[[.,.],.],.],.]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,[.,.]],[.,[[.,.],.]]]=>[2,1,5,6,4,3]=>[[.,.],[[[.,.],.],[.,.]]]=>[[.,[[[.,[.,.]],.],.]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,[.,.]],[[.,.],[.,.]]]=>[2,1,4,6,5,3]=>[[.,.],[[.,.],[[.,.],.]]]=>[[.,[[.,[[.,.],.]],.]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,[.,.]],[[.,[.,.]],.]]=>[2,1,5,4,6,3]=>[[.,.],[[[.,.],.],[.,.]]]=>[[.,[[[.,[.,.]],.],.]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,[.,.]],[[[.,.],.],.]]=>[2,1,4,5,6,3]=>[[.,.],[[.,.],[.,[.,.]]]]=>[[.,[[.,[.,[.,.]]],.]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[.,.],.],[.,[.,[.,.]]]]=>[1,2,6,5,4,3]=>[.,[.,[[[[.,.],.],.],.]]]=>[.,[.,[[[[.,.],.],.],.]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[.,.],.],[.,[[.,.],.]]]=>[1,2,5,6,4,3]=>[.,[.,[[[.,.],.],[.,.]]]]=>[.,[.,[[[.,[.,.]],.],.]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[.,.],.],[[.,.],[.,.]]]=>[1,2,4,6,5,3]=>[.,[.,[[.,.],[[.,.],.]]]]=>[.,[.,[[.,[[.,.],.]],.]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[.,.],.],[[.,[.,.]],.]]=>[1,2,5,4,6,3]=>[.,[.,[[[.,.],.],[.,.]]]]=>[.,[.,[[[.,[.,.]],.],.]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[.,.],.],[[[.,.],.],.]]=>[1,2,4,5,6,3]=>[.,[.,[[.,.],[.,[.,.]]]]]=>[.,[.,[[.,[.,[.,.]]],.]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,[.,[.,.]]],[.,[.,.]]]=>[3,2,1,6,5,4]=>[[[.,.],.],[[[.,.],.],.]]=>[[[.,[[[.,.],.],.]],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,[.,[.,.]]],[[.,.],.]]=>[3,2,1,5,6,4]=>[[[.,.],.],[[.,.],[.,.]]]=>[[[.,[[.,[.,.]],.]],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,[[.,.],.]],[.,[.,.]]]=>[2,3,1,6,5,4]=>[[.,.],[.,[[[.,.],.],.]]]=>[[.,[.,[[[.,.],.],.]]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,[[.,.],.]],[[.,.],.]]=>[2,3,1,5,6,4]=>[[.,.],[.,[[.,.],[.,.]]]]=>[[.,[.,[[.,[.,.]],.]]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[.,.],[.,.]],[.,[.,.]]]=>[1,3,2,6,5,4]=>[.,[[.,.],[[[.,.],.],.]]]=>[.,[[.,[[[.,.],.],.]],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[.,.],[.,.]],[[.,.],.]]=>[1,3,2,5,6,4]=>[.,[[.,.],[[.,.],[.,.]]]]=>[.,[[.,[[.,[.,.]],.]],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[.,[.,.]],.],[.,[.,.]]]=>[2,1,3,6,5,4]=>[[.,.],[.,[[[.,.],.],.]]]=>[[.,[.,[[[.,.],.],.]]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[.,[.,.]],.],[[.,.],.]]=>[2,1,3,5,6,4]=>[[.,.],[.,[[.,.],[.,.]]]]=>[[.,[.,[[.,[.,.]],.]]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[[.,.],.],.],[.,[.,.]]]=>[1,2,3,6,5,4]=>[.,[.,[.,[[[.,.],.],.]]]]=>[.,[.,[.,[[[.,.],.],.]]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[[.,.],.],.],[[.,.],.]]=>[1,2,3,5,6,4]=>[.,[.,[.,[[.,.],[.,.]]]]]=>[.,[.,[.,[[.,[.,.]],.]]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,[.,[.,[.,.]]]],[.,.]]=>[4,3,2,1,6,5]=>[[[[.,.],.],.],[[.,.],.]]=>[[[[.,[[.,.],.]],.],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,[.,[[.,.],.]]],[.,.]]=>[3,4,2,1,6,5]=>[[[.,.],.],[.,[[.,.],.]]]=>[[[.,[.,[[.,.],.]]],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,[[.,.],[.,.]]],[.,.]]=>[2,4,3,1,6,5]=>[[.,.],[[.,.],[[.,.],.]]]=>[[.,[[.,[[.,.],.]],.]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,[[.,[.,.]],.]],[.,.]]=>[3,2,4,1,6,5]=>[[[.,.],.],[.,[[.,.],.]]]=>[[[.,[.,[[.,.],.]]],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,[[[.,.],.],.]],[.,.]]=>[2,3,4,1,6,5]=>[[.,.],[.,[.,[[.,.],.]]]]=>[[.,[.,[.,[[.,.],.]]]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[.,.],[.,[.,.]]],[.,.]]=>[1,4,3,2,6,5]=>[.,[[[.,.],.],[[.,.],.]]]=>[.,[[[.,[[.,.],.]],.],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[.,.],[[.,.],.]],[.,.]]=>[1,3,4,2,6,5]=>[.,[[.,.],[.,[[.,.],.]]]]=>[.,[[.,[.,[[.,.],.]]],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[.,[.,.]],[.,.]],[.,.]]=>[2,1,4,3,6,5]=>[[.,.],[[.,.],[[.,.],.]]]=>[[.,[[.,[[.,.],.]],.]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[[.,.],.],[.,.]],[.,.]]=>[1,2,4,3,6,5]=>[.,[.,[[.,.],[[.,.],.]]]]=>[.,[.,[[.,[[.,.],.]],.]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[.,[.,[.,.]]],.],[.,.]]=>[3,2,1,4,6,5]=>[[[.,.],.],[.,[[.,.],.]]]=>[[[.,[.,[[.,.],.]]],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[.,[[.,.],.]],.],[.,.]]=>[2,3,1,4,6,5]=>[[.,.],[.,[.,[[.,.],.]]]]=>[[.,[.,[.,[[.,.],.]]]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[[.,.],[.,.]],.],[.,.]]=>[1,3,2,4,6,5]=>[.,[[.,.],[.,[[.,.],.]]]]=>[.,[[.,[.,[[.,.],.]]],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[[.,[.,.]],.],.],[.,.]]=>[2,1,3,4,6,5]=>[[.,.],[.,[.,[[.,.],.]]]]=>[[.,[.,[.,[[.,.],.]]]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[[[.,.],.],.],.],[.,.]]=>[1,2,3,4,6,5]=>[.,[.,[.,[.,[[.,.],.]]]]]=>[.,[.,[.,[.,[[.,.],.]]]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,[.,[.,[.,[.,.]]]]],.]=>[5,4,3,2,1,6]=>[[[[[.,.],.],.],.],[.,.]]=>[[[[[.,[.,.]],.],.],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,[.,[.,[[.,.],.]]]],.]=>[4,5,3,2,1,6]=>[[[[.,.],.],.],[.,[.,.]]]=>[[[[.,[.,[.,.]]],.],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,[.,[[.,.],[.,.]]]],.]=>[3,5,4,2,1,6]=>[[[.,.],.],[[.,.],[.,.]]]=>[[[.,[[.,[.,.]],.]],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,[.,[[.,[.,.]],.]]],.]=>[4,3,5,2,1,6]=>[[[[.,.],.],.],[.,[.,.]]]=>[[[[.,[.,[.,.]]],.],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,[.,[[[.,.],.],.]]],.]=>[3,4,5,2,1,6]=>[[[.,.],.],[.,[.,[.,.]]]]=>[[[.,[.,[.,[.,.]]]],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,[[.,.],[.,[.,.]]]],.]=>[2,5,4,3,1,6]=>[[.,.],[[[.,.],.],[.,.]]]=>[[.,[[[.,[.,.]],.],.]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,[[.,.],[[.,.],.]]],.]=>[2,4,5,3,1,6]=>[[.,.],[[.,.],[.,[.,.]]]]=>[[.,[[.,[.,[.,.]]],.]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,[[.,[.,.]],[.,.]]],.]=>[3,2,5,4,1,6]=>[[[.,.],.],[[.,.],[.,.]]]=>[[[.,[[.,[.,.]],.]],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,[[[.,.],.],[.,.]]],.]=>[2,3,5,4,1,6]=>[[.,.],[.,[[.,.],[.,.]]]]=>[[.,[.,[[.,[.,.]],.]]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,[[.,[.,[.,.]]],.]],.]=>[4,3,2,5,1,6]=>[[[[.,.],.],.],[.,[.,.]]]=>[[[[.,[.,[.,.]]],.],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,[[.,[[.,.],.]],.]],.]=>[3,4,2,5,1,6]=>[[[.,.],.],[.,[.,[.,.]]]]=>[[[.,[.,[.,[.,.]]]],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,[[[.,.],[.,.]],.]],.]=>[2,4,3,5,1,6]=>[[.,.],[[.,.],[.,[.,.]]]]=>[[.,[[.,[.,[.,.]]],.]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,[[[.,[.,.]],.],.]],.]=>[3,2,4,5,1,6]=>[[[.,.],.],[.,[.,[.,.]]]]=>[[[.,[.,[.,[.,.]]]],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,[[[[.,.],.],.],.]],.]=>[2,3,4,5,1,6]=>[[.,.],[.,[.,[.,[.,.]]]]]=>[[.,[.,[.,[.,[.,.]]]]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[.,.],[.,[.,[.,.]]]],.]=>[1,5,4,3,2,6]=>[.,[[[[.,.],.],.],[.,.]]]=>[.,[[[[.,[.,.]],.],.],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[.,.],[.,[[.,.],.]]],.]=>[1,4,5,3,2,6]=>[.,[[[.,.],.],[.,[.,.]]]]=>[.,[[[.,[.,[.,.]]],.],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[.,.],[[.,.],[.,.]]],.]=>[1,3,5,4,2,6]=>[.,[[.,.],[[.,.],[.,.]]]]=>[.,[[.,[[.,[.,.]],.]],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[.,.],[[.,[.,.]],.]],.]=>[1,4,3,5,2,6]=>[.,[[[.,.],.],[.,[.,.]]]]=>[.,[[[.,[.,[.,.]]],.],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[.,.],[[[.,.],.],.]],.]=>[1,3,4,5,2,6]=>[.,[[.,.],[.,[.,[.,.]]]]]=>[.,[[.,[.,[.,[.,.]]]],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[.,[.,.]],[.,[.,.]]],.]=>[2,1,5,4,3,6]=>[[.,.],[[[.,.],.],[.,.]]]=>[[.,[[[.,[.,.]],.],.]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[.,[.,.]],[[.,.],.]],.]=>[2,1,4,5,3,6]=>[[.,.],[[.,.],[.,[.,.]]]]=>[[.,[[.,[.,[.,.]]],.]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[[.,.],.],[.,[.,.]]],.]=>[1,2,5,4,3,6]=>[.,[.,[[[.,.],.],[.,.]]]]=>[.,[.,[[[.,[.,.]],.],.]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[[.,.],.],[[.,.],.]],.]=>[1,2,4,5,3,6]=>[.,[.,[[.,.],[.,[.,.]]]]]=>[.,[.,[[.,[.,[.,.]]],.]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[.,[.,[.,.]]],[.,.]],.]=>[3,2,1,5,4,6]=>[[[.,.],.],[[.,.],[.,.]]]=>[[[.,[[.,[.,.]],.]],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[.,[[.,.],.]],[.,.]],.]=>[2,3,1,5,4,6]=>[[.,.],[.,[[.,.],[.,.]]]]=>[[.,[.,[[.,[.,.]],.]]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[[.,.],[.,.]],[.,.]],.]=>[1,3,2,5,4,6]=>[.,[[.,.],[[.,.],[.,.]]]]=>[.,[[.,[[.,[.,.]],.]],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[[.,[.,.]],.],[.,.]],.]=>[2,1,3,5,4,6]=>[[.,.],[.,[[.,.],[.,.]]]]=>[[.,[.,[[.,[.,.]],.]]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[[[.,.],.],.],[.,.]],.]=>[1,2,3,5,4,6]=>[.,[.,[.,[[.,.],[.,.]]]]]=>[.,[.,[.,[[.,[.,.]],.]]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[.,[.,[.,[.,.]]]],.],.]=>[4,3,2,1,5,6]=>[[[[.,.],.],.],[.,[.,.]]]=>[[[[.,[.,[.,.]]],.],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[.,[.,[[.,.],.]]],.],.]=>[3,4,2,1,5,6]=>[[[.,.],.],[.,[.,[.,.]]]]=>[[[.,[.,[.,[.,.]]]],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[.,[[.,.],[.,.]]],.],.]=>[2,4,3,1,5,6]=>[[.,.],[[.,.],[.,[.,.]]]]=>[[.,[[.,[.,[.,.]]],.]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[.,[[.,[.,.]],.]],.],.]=>[3,2,4,1,5,6]=>[[[.,.],.],[.,[.,[.,.]]]]=>[[[.,[.,[.,[.,.]]]],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[.,[[[.,.],.],.]],.],.]=>[2,3,4,1,5,6]=>[[.,.],[.,[.,[.,[.,.]]]]]=>[[.,[.,[.,[.,[.,.]]]]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[[.,.],[.,[.,.]]],.],.]=>[1,4,3,2,5,6]=>[.,[[[.,.],.],[.,[.,.]]]]=>[.,[[[.,[.,[.,.]]],.],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[[.,.],[[.,.],.]],.],.]=>[1,3,4,2,5,6]=>[.,[[.,.],[.,[.,[.,.]]]]]=>[.,[[.,[.,[.,[.,.]]]],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[[.,[.,.]],[.,.]],.],.]=>[2,1,4,3,5,6]=>[[.,.],[[.,.],[.,[.,.]]]]=>[[.,[[.,[.,[.,.]]],.]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[[[.,.],.],[.,.]],.],.]=>[1,2,4,3,5,6]=>[.,[.,[[.,.],[.,[.,.]]]]]=>[.,[.,[[.,[.,[.,.]]],.]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[[.,[.,[.,.]]],.],.],.]=>[3,2,1,4,5,6]=>[[[.,.],.],[.,[.,[.,.]]]]=>[[[.,[.,[.,[.,.]]]],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[[.,[[.,.],.]],.],.],.]=>[2,3,1,4,5,6]=>[[.,.],[.,[.,[.,[.,.]]]]]=>[[.,[.,[.,[.,[.,.]]]]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[[[.,.],[.,.]],.],.],.]=>[1,3,2,4,5,6]=>[.,[[.,.],[.,[.,[.,.]]]]]=>[.,[[.,[.,[.,[.,.]]]],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[[[.,[.,.]],.],.],.],.]=>[2,1,3,4,5,6]=>[[.,.],[.,[.,[.,[.,.]]]]]=>[[.,[.,[.,[.,[.,.]]]]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[[[[.,.],.],.],.],.],.]=>[1,2,3,4,5,6]=>[.,[.,[.,[.,[.,[.,.]]]]]]=>[.,[.,[.,[.,[.,[.,.]]]]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[.,[.,[.,[.,[.,[.,.]]]]]]]=>[7,6,5,4,3,2,1]=>[[[[[[[.,.],.],.],.],.],.],.]=>[[[[[[[.,.],.],.],.],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[.,[.,[.,[[.,.],.]]]]]]=>[6,7,5,4,3,2,1]=>[[[[[[.,.],.],.],.],.],[.,.]]=>[[[[[[.,[.,.]],.],.],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[.,[.,[[.,.],[.,.]]]]]]=>[5,7,6,4,3,2,1]=>[[[[[.,.],.],.],.],[[.,.],.]]=>[[[[[.,[[.,.],.]],.],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[.,[.,[[.,[.,.]],.]]]]]=>[6,5,7,4,3,2,1]=>[[[[[[.,.],.],.],.],.],[.,.]]=>[[[[[[.,[.,.]],.],.],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[.,[.,[[[.,.],.],.]]]]]=>[5,6,7,4,3,2,1]=>[[[[[.,.],.],.],.],[.,[.,.]]]=>[[[[[.,[.,[.,.]]],.],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[.,[[.,.],[.,[.,.]]]]]]=>[4,7,6,5,3,2,1]=>[[[[.,.],.],.],[[[.,.],.],.]]=>[[[[.,[[[.,.],.],.]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[.,[[.,.],[[.,.],.]]]]]=>[4,6,7,5,3,2,1]=>[[[[.,.],.],.],[[.,.],[.,.]]]=>[[[[.,[[.,[.,.]],.]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[.,[[.,[.,.]],[.,.]]]]]=>[5,4,7,6,3,2,1]=>[[[[[.,.],.],.],.],[[.,.],.]]=>[[[[[.,[[.,.],.]],.],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[.,[[[.,.],.],[.,.]]]]]=>[4,5,7,6,3,2,1]=>[[[[.,.],.],.],[.,[[.,.],.]]]=>[[[[.,[.,[[.,.],.]]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[.,[[.,[.,[.,.]]],.]]]]=>[6,5,4,7,3,2,1]=>[[[[[[.,.],.],.],.],.],[.,.]]=>[[[[[[.,[.,.]],.],.],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[.,[[.,[[.,.],.]],.]]]]=>[5,6,4,7,3,2,1]=>[[[[[.,.],.],.],.],[.,[.,.]]]=>[[[[[.,[.,[.,.]]],.],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[.,[[[.,.],[.,.]],.]]]]=>[4,6,5,7,3,2,1]=>[[[[.,.],.],.],[[.,.],[.,.]]]=>[[[[.,[[.,[.,.]],.]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[.,[[[.,[.,.]],.],.]]]]=>[5,4,6,7,3,2,1]=>[[[[[.,.],.],.],.],[.,[.,.]]]=>[[[[[.,[.,[.,.]]],.],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[.,[[[[.,.],.],.],.]]]]=>[4,5,6,7,3,2,1]=>[[[[.,.],.],.],[.,[.,[.,.]]]]=>[[[[.,[.,[.,[.,.]]]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[[.,.],[.,[.,[.,.]]]]]]=>[3,7,6,5,4,2,1]=>[[[.,.],.],[[[[.,.],.],.],.]]=>[[[.,[[[[.,.],.],.],.]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[[.,.],[.,[[.,.],.]]]]]=>[3,6,7,5,4,2,1]=>[[[.,.],.],[[[.,.],.],[.,.]]]=>[[[.,[[[.,[.,.]],.],.]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[[.,.],[[.,.],[.,.]]]]]=>[3,5,7,6,4,2,1]=>[[[.,.],.],[[.,.],[[.,.],.]]]=>[[[.,[[.,[[.,.],.]],.]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[[.,.],[[.,[.,.]],.]]]]=>[3,6,5,7,4,2,1]=>[[[.,.],.],[[[.,.],.],[.,.]]]=>[[[.,[[[.,[.,.]],.],.]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[[.,.],[[[.,.],.],.]]]]=>[3,5,6,7,4,2,1]=>[[[.,.],.],[[.,.],[.,[.,.]]]]=>[[[.,[[.,[.,[.,.]]],.]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[[.,[.,.]],[.,[.,.]]]]]=>[4,3,7,6,5,2,1]=>[[[[.,.],.],.],[[[.,.],.],.]]=>[[[[.,[[[.,.],.],.]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[[.,[.,.]],[[.,.],.]]]]=>[4,3,6,7,5,2,1]=>[[[[.,.],.],.],[[.,.],[.,.]]]=>[[[[.,[[.,[.,.]],.]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[[[.,.],.],[.,[.,.]]]]]=>[3,4,7,6,5,2,1]=>[[[.,.],.],[.,[[[.,.],.],.]]]=>[[[.,[.,[[[.,.],.],.]]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[[[.,.],.],[[.,.],.]]]]=>[3,4,6,7,5,2,1]=>[[[.,.],.],[.,[[.,.],[.,.]]]]=>[[[.,[.,[[.,[.,.]],.]]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[[.,[.,[.,.]]],[.,.]]]]=>[5,4,3,7,6,2,1]=>[[[[[.,.],.],.],.],[[.,.],.]]=>[[[[[.,[[.,.],.]],.],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[[.,[[.,.],.]],[.,.]]]]=>[4,5,3,7,6,2,1]=>[[[[.,.],.],.],[.,[[.,.],.]]]=>[[[[.,[.,[[.,.],.]]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[[[.,.],[.,.]],[.,.]]]]=>[3,5,4,7,6,2,1]=>[[[.,.],.],[[.,.],[[.,.],.]]]=>[[[.,[[.,[[.,.],.]],.]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[[[.,[.,.]],.],[.,.]]]]=>[4,3,5,7,6,2,1]=>[[[[.,.],.],.],[.,[[.,.],.]]]=>[[[[.,[.,[[.,.],.]]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[[[[.,.],.],.],[.,.]]]]=>[3,4,5,7,6,2,1]=>[[[.,.],.],[.,[.,[[.,.],.]]]]=>[[[.,[.,[.,[[.,.],.]]]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[[.,[.,[.,[.,.]]]],.]]]=>[6,5,4,3,7,2,1]=>[[[[[[.,.],.],.],.],.],[.,.]]=>[[[[[[.,[.,.]],.],.],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[[.,[.,[[.,.],.]]],.]]]=>[5,6,4,3,7,2,1]=>[[[[[.,.],.],.],.],[.,[.,.]]]=>[[[[[.,[.,[.,.]]],.],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[[.,[[.,.],[.,.]]],.]]]=>[4,6,5,3,7,2,1]=>[[[[.,.],.],.],[[.,.],[.,.]]]=>[[[[.,[[.,[.,.]],.]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[[.,[[.,[.,.]],.]],.]]]=>[5,4,6,3,7,2,1]=>[[[[[.,.],.],.],.],[.,[.,.]]]=>[[[[[.,[.,[.,.]]],.],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[[.,[[[.,.],.],.]],.]]]=>[4,5,6,3,7,2,1]=>[[[[.,.],.],.],[.,[.,[.,.]]]]=>[[[[.,[.,[.,[.,.]]]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[[[.,.],[.,[.,.]]],.]]]=>[3,6,5,4,7,2,1]=>[[[.,.],.],[[[.,.],.],[.,.]]]=>[[[.,[[[.,[.,.]],.],.]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[[[.,.],[[.,.],.]],.]]]=>[3,5,6,4,7,2,1]=>[[[.,.],.],[[.,.],[.,[.,.]]]]=>[[[.,[[.,[.,[.,.]]],.]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[[[.,[.,.]],[.,.]],.]]]=>[4,3,6,5,7,2,1]=>[[[[.,.],.],.],[[.,.],[.,.]]]=>[[[[.,[[.,[.,.]],.]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[[[[.,.],.],[.,.]],.]]]=>[3,4,6,5,7,2,1]=>[[[.,.],.],[.,[[.,.],[.,.]]]]=>[[[.,[.,[[.,[.,.]],.]]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[[[.,[.,[.,.]]],.],.]]]=>[5,4,3,6,7,2,1]=>[[[[[.,.],.],.],.],[.,[.,.]]]=>[[[[[.,[.,[.,.]]],.],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[[[.,[[.,.],.]],.],.]]]=>[4,5,3,6,7,2,1]=>[[[[.,.],.],.],[.,[.,[.,.]]]]=>[[[[.,[.,[.,[.,.]]]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[[[[.,.],[.,.]],.],.]]]=>[3,5,4,6,7,2,1]=>[[[.,.],.],[[.,.],[.,[.,.]]]]=>[[[.,[[.,[.,[.,.]]],.]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[[[[.,[.,.]],.],.],.]]]=>[4,3,5,6,7,2,1]=>[[[[.,.],.],.],[.,[.,[.,.]]]]=>[[[[.,[.,[.,[.,.]]]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[[[[[.,.],.],.],.],.]]]=>[3,4,5,6,7,2,1]=>[[[.,.],.],[.,[.,[.,[.,.]]]]]=>[[[.,[.,[.,[.,[.,.]]]]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,.],[.,[.,[.,[.,.]]]]]]=>[2,7,6,5,4,3,1]=>[[.,.],[[[[[.,.],.],.],.],.]]=>[[.,[[[[[.,.],.],.],.],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,.],[.,[.,[[.,.],.]]]]]=>[2,6,7,5,4,3,1]=>[[.,.],[[[[.,.],.],.],[.,.]]]=>[[.,[[[[.,[.,.]],.],.],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,.],[.,[[.,.],[.,.]]]]]=>[2,5,7,6,4,3,1]=>[[.,.],[[[.,.],.],[[.,.],.]]]=>[[.,[[[.,[[.,.],.]],.],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,.],[.,[[.,[.,.]],.]]]]=>[2,6,5,7,4,3,1]=>[[.,.],[[[[.,.],.],.],[.,.]]]=>[[.,[[[[.,[.,.]],.],.],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,.],[.,[[[.,.],.],.]]]]=>[2,5,6,7,4,3,1]=>[[.,.],[[[.,.],.],[.,[.,.]]]]=>[[.,[[[.,[.,[.,.]]],.],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,.],[[.,.],[.,[.,.]]]]]=>[2,4,7,6,5,3,1]=>[[.,.],[[.,.],[[[.,.],.],.]]]=>[[.,[[.,[[[.,.],.],.]],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,.],[[.,.],[[.,.],.]]]]=>[2,4,6,7,5,3,1]=>[[.,.],[[.,.],[[.,.],[.,.]]]]=>[[.,[[.,[[.,[.,.]],.]],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,.],[[.,[.,.]],[.,.]]]]=>[2,5,4,7,6,3,1]=>[[.,.],[[[.,.],.],[[.,.],.]]]=>[[.,[[[.,[[.,.],.]],.],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,.],[[[.,.],.],[.,.]]]]=>[2,4,5,7,6,3,1]=>[[.,.],[[.,.],[.,[[.,.],.]]]]=>[[.,[[.,[.,[[.,.],.]]],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,.],[[.,[.,[.,.]]],.]]]=>[2,6,5,4,7,3,1]=>[[.,.],[[[[.,.],.],.],[.,.]]]=>[[.,[[[[.,[.,.]],.],.],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,.],[[.,[[.,.],.]],.]]]=>[2,5,6,4,7,3,1]=>[[.,.],[[[.,.],.],[.,[.,.]]]]=>[[.,[[[.,[.,[.,.]]],.],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,.],[[[.,.],[.,.]],.]]]=>[2,4,6,5,7,3,1]=>[[.,.],[[.,.],[[.,.],[.,.]]]]=>[[.,[[.,[[.,[.,.]],.]],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,.],[[[.,[.,.]],.],.]]]=>[2,5,4,6,7,3,1]=>[[.,.],[[[.,.],.],[.,[.,.]]]]=>[[.,[[[.,[.,[.,.]]],.],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,.],[[[[.,.],.],.],.]]]=>[2,4,5,6,7,3,1]=>[[.,.],[[.,.],[.,[.,[.,.]]]]]=>[[.,[[.,[.,[.,[.,.]]]],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,[.,.]],[.,[.,[.,.]]]]]=>[3,2,7,6,5,4,1]=>[[[.,.],.],[[[[.,.],.],.],.]]=>[[[.,[[[[.,.],.],.],.]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,[.,.]],[.,[[.,.],.]]]]=>[3,2,6,7,5,4,1]=>[[[.,.],.],[[[.,.],.],[.,.]]]=>[[[.,[[[.,[.,.]],.],.]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,[.,.]],[[.,.],[.,.]]]]=>[3,2,5,7,6,4,1]=>[[[.,.],.],[[.,.],[[.,.],.]]]=>[[[.,[[.,[[.,.],.]],.]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,[.,.]],[[.,[.,.]],.]]]=>[3,2,6,5,7,4,1]=>[[[.,.],.],[[[.,.],.],[.,.]]]=>[[[.,[[[.,[.,.]],.],.]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,[.,.]],[[[.,.],.],.]]]=>[3,2,5,6,7,4,1]=>[[[.,.],.],[[.,.],[.,[.,.]]]]=>[[[.,[[.,[.,[.,.]]],.]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[.,.],.],[.,[.,[.,.]]]]]=>[2,3,7,6,5,4,1]=>[[.,.],[.,[[[[.,.],.],.],.]]]=>[[.,[.,[[[[.,.],.],.],.]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[.,.],.],[.,[[.,.],.]]]]=>[2,3,6,7,5,4,1]=>[[.,.],[.,[[[.,.],.],[.,.]]]]=>[[.,[.,[[[.,[.,.]],.],.]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[.,.],.],[[.,.],[.,.]]]]=>[2,3,5,7,6,4,1]=>[[.,.],[.,[[.,.],[[.,.],.]]]]=>[[.,[.,[[.,[[.,.],.]],.]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[.,.],.],[[.,[.,.]],.]]]=>[2,3,6,5,7,4,1]=>[[.,.],[.,[[[.,.],.],[.,.]]]]=>[[.,[.,[[[.,[.,.]],.],.]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[.,.],.],[[[.,.],.],.]]]=>[2,3,5,6,7,4,1]=>[[.,.],[.,[[.,.],[.,[.,.]]]]]=>[[.,[.,[[.,[.,[.,.]]],.]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,[.,[.,.]]],[.,[.,.]]]]=>[4,3,2,7,6,5,1]=>[[[[.,.],.],.],[[[.,.],.],.]]=>[[[[.,[[[.,.],.],.]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,[.,[.,.]]],[[.,.],.]]]=>[4,3,2,6,7,5,1]=>[[[[.,.],.],.],[[.,.],[.,.]]]=>[[[[.,[[.,[.,.]],.]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,[[.,.],.]],[.,[.,.]]]]=>[3,4,2,7,6,5,1]=>[[[.,.],.],[.,[[[.,.],.],.]]]=>[[[.,[.,[[[.,.],.],.]]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,[[.,.],.]],[[.,.],.]]]=>[3,4,2,6,7,5,1]=>[[[.,.],.],[.,[[.,.],[.,.]]]]=>[[[.,[.,[[.,[.,.]],.]]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[.,.],[.,.]],[.,[.,.]]]]=>[2,4,3,7,6,5,1]=>[[.,.],[[.,.],[[[.,.],.],.]]]=>[[.,[[.,[[[.,.],.],.]],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[.,.],[.,.]],[[.,.],.]]]=>[2,4,3,6,7,5,1]=>[[.,.],[[.,.],[[.,.],[.,.]]]]=>[[.,[[.,[[.,[.,.]],.]],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[.,[.,.]],.],[.,[.,.]]]]=>[3,2,4,7,6,5,1]=>[[[.,.],.],[.,[[[.,.],.],.]]]=>[[[.,[.,[[[.,.],.],.]]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[.,[.,.]],.],[[.,.],.]]]=>[3,2,4,6,7,5,1]=>[[[.,.],.],[.,[[.,.],[.,.]]]]=>[[[.,[.,[[.,[.,.]],.]]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[[.,.],.],.],[.,[.,.]]]]=>[2,3,4,7,6,5,1]=>[[.,.],[.,[.,[[[.,.],.],.]]]]=>[[.,[.,[.,[[[.,.],.],.]]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[[.,.],.],.],[[.,.],.]]]=>[2,3,4,6,7,5,1]=>[[.,.],[.,[.,[[.,.],[.,.]]]]]=>[[.,[.,[.,[[.,[.,.]],.]]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,[.,[.,[.,.]]]],[.,.]]]=>[5,4,3,2,7,6,1]=>[[[[[.,.],.],.],.],[[.,.],.]]=>[[[[[.,[[.,.],.]],.],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,[.,[[.,.],.]]],[.,.]]]=>[4,5,3,2,7,6,1]=>[[[[.,.],.],.],[.,[[.,.],.]]]=>[[[[.,[.,[[.,.],.]]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,[[.,.],[.,.]]],[.,.]]]=>[3,5,4,2,7,6,1]=>[[[.,.],.],[[.,.],[[.,.],.]]]=>[[[.,[[.,[[.,.],.]],.]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,[[.,[.,.]],.]],[.,.]]]=>[4,3,5,2,7,6,1]=>[[[[.,.],.],.],[.,[[.,.],.]]]=>[[[[.,[.,[[.,.],.]]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,[[[.,.],.],.]],[.,.]]]=>[3,4,5,2,7,6,1]=>[[[.,.],.],[.,[.,[[.,.],.]]]]=>[[[.,[.,[.,[[.,.],.]]]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[.,.],[.,[.,.]]],[.,.]]]=>[2,5,4,3,7,6,1]=>[[.,.],[[[.,.],.],[[.,.],.]]]=>[[.,[[[.,[[.,.],.]],.],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[.,.],[[.,.],.]],[.,.]]]=>[2,4,5,3,7,6,1]=>[[.,.],[[.,.],[.,[[.,.],.]]]]=>[[.,[[.,[.,[[.,.],.]]],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[.,[.,.]],[.,.]],[.,.]]]=>[3,2,5,4,7,6,1]=>[[[.,.],.],[[.,.],[[.,.],.]]]=>[[[.,[[.,[[.,.],.]],.]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[[.,.],.],[.,.]],[.,.]]]=>[2,3,5,4,7,6,1]=>[[.,.],[.,[[.,.],[[.,.],.]]]]=>[[.,[.,[[.,[[.,.],.]],.]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[.,[.,[.,.]]],.],[.,.]]]=>[4,3,2,5,7,6,1]=>[[[[.,.],.],.],[.,[[.,.],.]]]=>[[[[.,[.,[[.,.],.]]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[.,[[.,.],.]],.],[.,.]]]=>[3,4,2,5,7,6,1]=>[[[.,.],.],[.,[.,[[.,.],.]]]]=>[[[.,[.,[.,[[.,.],.]]]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[[.,.],[.,.]],.],[.,.]]]=>[2,4,3,5,7,6,1]=>[[.,.],[[.,.],[.,[[.,.],.]]]]=>[[.,[[.,[.,[[.,.],.]]],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[[.,[.,.]],.],.],[.,.]]]=>[3,2,4,5,7,6,1]=>[[[.,.],.],[.,[.,[[.,.],.]]]]=>[[[.,[.,[.,[[.,.],.]]]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[[[.,.],.],.],.],[.,.]]]=>[2,3,4,5,7,6,1]=>[[.,.],[.,[.,[.,[[.,.],.]]]]]=>[[.,[.,[.,[.,[[.,.],.]]]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,[.,[.,[.,[.,.]]]]],.]]=>[6,5,4,3,2,7,1]=>[[[[[[.,.],.],.],.],.],[.,.]]=>[[[[[[.,[.,.]],.],.],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,[.,[.,[[.,.],.]]]],.]]=>[5,6,4,3,2,7,1]=>[[[[[.,.],.],.],.],[.,[.,.]]]=>[[[[[.,[.,[.,.]]],.],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,[.,[[.,.],[.,.]]]],.]]=>[4,6,5,3,2,7,1]=>[[[[.,.],.],.],[[.,.],[.,.]]]=>[[[[.,[[.,[.,.]],.]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,[.,[[.,[.,.]],.]]],.]]=>[5,4,6,3,2,7,1]=>[[[[[.,.],.],.],.],[.,[.,.]]]=>[[[[[.,[.,[.,.]]],.],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,[.,[[[.,.],.],.]]],.]]=>[4,5,6,3,2,7,1]=>[[[[.,.],.],.],[.,[.,[.,.]]]]=>[[[[.,[.,[.,[.,.]]]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,[[.,.],[.,[.,.]]]],.]]=>[3,6,5,4,2,7,1]=>[[[.,.],.],[[[.,.],.],[.,.]]]=>[[[.,[[[.,[.,.]],.],.]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,[[.,.],[[.,.],.]]],.]]=>[3,5,6,4,2,7,1]=>[[[.,.],.],[[.,.],[.,[.,.]]]]=>[[[.,[[.,[.,[.,.]]],.]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,[[.,[.,.]],[.,.]]],.]]=>[4,3,6,5,2,7,1]=>[[[[.,.],.],.],[[.,.],[.,.]]]=>[[[[.,[[.,[.,.]],.]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,[[[.,.],.],[.,.]]],.]]=>[3,4,6,5,2,7,1]=>[[[.,.],.],[.,[[.,.],[.,.]]]]=>[[[.,[.,[[.,[.,.]],.]]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,[[.,[.,[.,.]]],.]],.]]=>[5,4,3,6,2,7,1]=>[[[[[.,.],.],.],.],[.,[.,.]]]=>[[[[[.,[.,[.,.]]],.],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,[[.,[[.,.],.]],.]],.]]=>[4,5,3,6,2,7,1]=>[[[[.,.],.],.],[.,[.,[.,.]]]]=>[[[[.,[.,[.,[.,.]]]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,[[[.,.],[.,.]],.]],.]]=>[3,5,4,6,2,7,1]=>[[[.,.],.],[[.,.],[.,[.,.]]]]=>[[[.,[[.,[.,[.,.]]],.]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,[[[.,[.,.]],.],.]],.]]=>[4,3,5,6,2,7,1]=>[[[[.,.],.],.],[.,[.,[.,.]]]]=>[[[[.,[.,[.,[.,.]]]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,[[[[.,.],.],.],.]],.]]=>[3,4,5,6,2,7,1]=>[[[.,.],.],[.,[.,[.,[.,.]]]]]=>[[[.,[.,[.,[.,[.,.]]]]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[.,.],[.,[.,[.,.]]]],.]]=>[2,6,5,4,3,7,1]=>[[.,.],[[[[.,.],.],.],[.,.]]]=>[[.,[[[[.,[.,.]],.],.],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[.,.],[.,[[.,.],.]]],.]]=>[2,5,6,4,3,7,1]=>[[.,.],[[[.,.],.],[.,[.,.]]]]=>[[.,[[[.,[.,[.,.]]],.],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[.,.],[[.,.],[.,.]]],.]]=>[2,4,6,5,3,7,1]=>[[.,.],[[.,.],[[.,.],[.,.]]]]=>[[.,[[.,[[.,[.,.]],.]],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[.,.],[[.,[.,.]],.]],.]]=>[2,5,4,6,3,7,1]=>[[.,.],[[[.,.],.],[.,[.,.]]]]=>[[.,[[[.,[.,[.,.]]],.],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[.,.],[[[.,.],.],.]],.]]=>[2,4,5,6,3,7,1]=>[[.,.],[[.,.],[.,[.,[.,.]]]]]=>[[.,[[.,[.,[.,[.,.]]]],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[.,[.,.]],[.,[.,.]]],.]]=>[3,2,6,5,4,7,1]=>[[[.,.],.],[[[.,.],.],[.,.]]]=>[[[.,[[[.,[.,.]],.],.]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[.,[.,.]],[[.,.],.]],.]]=>[3,2,5,6,4,7,1]=>[[[.,.],.],[[.,.],[.,[.,.]]]]=>[[[.,[[.,[.,[.,.]]],.]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[[.,.],.],[.,[.,.]]],.]]=>[2,3,6,5,4,7,1]=>[[.,.],[.,[[[.,.],.],[.,.]]]]=>[[.,[.,[[[.,[.,.]],.],.]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[[.,.],.],[[.,.],.]],.]]=>[2,3,5,6,4,7,1]=>[[.,.],[.,[[.,.],[.,[.,.]]]]]=>[[.,[.,[[.,[.,[.,.]]],.]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[.,[.,[.,.]]],[.,.]],.]]=>[4,3,2,6,5,7,1]=>[[[[.,.],.],.],[[.,.],[.,.]]]=>[[[[.,[[.,[.,.]],.]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[.,[[.,.],.]],[.,.]],.]]=>[3,4,2,6,5,7,1]=>[[[.,.],.],[.,[[.,.],[.,.]]]]=>[[[.,[.,[[.,[.,.]],.]]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[[.,.],[.,.]],[.,.]],.]]=>[2,4,3,6,5,7,1]=>[[.,.],[[.,.],[[.,.],[.,.]]]]=>[[.,[[.,[[.,[.,.]],.]],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[[.,[.,.]],.],[.,.]],.]]=>[3,2,4,6,5,7,1]=>[[[.,.],.],[.,[[.,.],[.,.]]]]=>[[[.,[.,[[.,[.,.]],.]]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[[[.,.],.],.],[.,.]],.]]=>[2,3,4,6,5,7,1]=>[[.,.],[.,[.,[[.,.],[.,.]]]]]=>[[.,[.,[.,[[.,[.,.]],.]]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[.,[.,[.,[.,.]]]],.],.]]=>[5,4,3,2,6,7,1]=>[[[[[.,.],.],.],.],[.,[.,.]]]=>[[[[[.,[.,[.,.]]],.],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[.,[.,[[.,.],.]]],.],.]]=>[4,5,3,2,6,7,1]=>[[[[.,.],.],.],[.,[.,[.,.]]]]=>[[[[.,[.,[.,[.,.]]]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[.,[[.,.],[.,.]]],.],.]]=>[3,5,4,2,6,7,1]=>[[[.,.],.],[[.,.],[.,[.,.]]]]=>[[[.,[[.,[.,[.,.]]],.]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[.,[[.,[.,.]],.]],.],.]]=>[4,3,5,2,6,7,1]=>[[[[.,.],.],.],[.,[.,[.,.]]]]=>[[[[.,[.,[.,[.,.]]]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[.,[[[.,.],.],.]],.],.]]=>[3,4,5,2,6,7,1]=>[[[.,.],.],[.,[.,[.,[.,.]]]]]=>[[[.,[.,[.,[.,[.,.]]]]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[[.,.],[.,[.,.]]],.],.]]=>[2,5,4,3,6,7,1]=>[[.,.],[[[.,.],.],[.,[.,.]]]]=>[[.,[[[.,[.,[.,.]]],.],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[[.,.],[[.,.],.]],.],.]]=>[2,4,5,3,6,7,1]=>[[.,.],[[.,.],[.,[.,[.,.]]]]]=>[[.,[[.,[.,[.,[.,.]]]],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[[.,[.,.]],[.,.]],.],.]]=>[3,2,5,4,6,7,1]=>[[[.,.],.],[[.,.],[.,[.,.]]]]=>[[[.,[[.,[.,[.,.]]],.]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[[[.,.],.],[.,.]],.],.]]=>[2,3,5,4,6,7,1]=>[[.,.],[.,[[.,.],[.,[.,.]]]]]=>[[.,[.,[[.,[.,[.,.]]],.]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[[.,[.,[.,.]]],.],.],.]]=>[4,3,2,5,6,7,1]=>[[[[.,.],.],.],[.,[.,[.,.]]]]=>[[[[.,[.,[.,[.,.]]]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[[.,[[.,.],.]],.],.],.]]=>[3,4,2,5,6,7,1]=>[[[.,.],.],[.,[.,[.,[.,.]]]]]=>[[[.,[.,[.,[.,[.,.]]]]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[[[.,.],[.,.]],.],.],.]]=>[2,4,3,5,6,7,1]=>[[.,.],[[.,.],[.,[.,[.,.]]]]]=>[[.,[[.,[.,[.,[.,.]]]],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[[[.,[.,.]],.],.],.],.]]=>[3,2,4,5,6,7,1]=>[[[.,.],.],[.,[.,[.,[.,.]]]]]=>[[[.,[.,[.,[.,[.,.]]]]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[[[[.,.],.],.],.],.],.]]=>[2,3,4,5,6,7,1]=>[[.,.],[.,[.,[.,[.,[.,.]]]]]]=>[[.,[.,[.,[.,[.,[.,.]]]]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[.,[.,[.,[.,[.,.]]]]]]=>[1,7,6,5,4,3,2]=>[.,[[[[[[.,.],.],.],.],.],.]]=>[.,[[[[[[.,.],.],.],.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[.,[.,[.,[[.,.],.]]]]]=>[1,6,7,5,4,3,2]=>[.,[[[[[.,.],.],.],.],[.,.]]]=>[.,[[[[[.,[.,.]],.],.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[.,[.,[[.,.],[.,.]]]]]=>[1,5,7,6,4,3,2]=>[.,[[[[.,.],.],.],[[.,.],.]]]=>[.,[[[[.,[[.,.],.]],.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[.,[.,[[.,[.,.]],.]]]]=>[1,6,5,7,4,3,2]=>[.,[[[[[.,.],.],.],.],[.,.]]]=>[.,[[[[[.,[.,.]],.],.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[.,[.,[[[.,.],.],.]]]]=>[1,5,6,7,4,3,2]=>[.,[[[[.,.],.],.],[.,[.,.]]]]=>[.,[[[[.,[.,[.,.]]],.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[.,[[.,.],[.,[.,.]]]]]=>[1,4,7,6,5,3,2]=>[.,[[[.,.],.],[[[.,.],.],.]]]=>[.,[[[.,[[[.,.],.],.]],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[.,[[.,.],[[.,.],.]]]]=>[1,4,6,7,5,3,2]=>[.,[[[.,.],.],[[.,.],[.,.]]]]=>[.,[[[.,[[.,[.,.]],.]],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[.,[[.,[.,.]],[.,.]]]]=>[1,5,4,7,6,3,2]=>[.,[[[[.,.],.],.],[[.,.],.]]]=>[.,[[[[.,[[.,.],.]],.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[.,[[[.,.],.],[.,.]]]]=>[1,4,5,7,6,3,2]=>[.,[[[.,.],.],[.,[[.,.],.]]]]=>[.,[[[.,[.,[[.,.],.]]],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[.,[[.,[.,[.,.]]],.]]]=>[1,6,5,4,7,3,2]=>[.,[[[[[.,.],.],.],.],[.,.]]]=>[.,[[[[[.,[.,.]],.],.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[.,[[.,[[.,.],.]],.]]]=>[1,5,6,4,7,3,2]=>[.,[[[[.,.],.],.],[.,[.,.]]]]=>[.,[[[[.,[.,[.,.]]],.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[.,[[[.,.],[.,.]],.]]]=>[1,4,6,5,7,3,2]=>[.,[[[.,.],.],[[.,.],[.,.]]]]=>[.,[[[.,[[.,[.,.]],.]],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[.,[[[.,[.,.]],.],.]]]=>[1,5,4,6,7,3,2]=>[.,[[[[.,.],.],.],[.,[.,.]]]]=>[.,[[[[.,[.,[.,.]]],.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[.,[[[[.,.],.],.],.]]]=>[1,4,5,6,7,3,2]=>[.,[[[.,.],.],[.,[.,[.,.]]]]]=>[.,[[[.,[.,[.,[.,.]]]],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[[.,.],[.,[.,[.,.]]]]]=>[1,3,7,6,5,4,2]=>[.,[[.,.],[[[[.,.],.],.],.]]]=>[.,[[.,[[[[.,.],.],.],.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[[.,.],[.,[[.,.],.]]]]=>[1,3,6,7,5,4,2]=>[.,[[.,.],[[[.,.],.],[.,.]]]]=>[.,[[.,[[[.,[.,.]],.],.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[[.,.],[[.,.],[.,.]]]]=>[1,3,5,7,6,4,2]=>[.,[[.,.],[[.,.],[[.,.],.]]]]=>[.,[[.,[[.,[[.,.],.]],.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[[.,.],[[.,[.,.]],.]]]=>[1,3,6,5,7,4,2]=>[.,[[.,.],[[[.,.],.],[.,.]]]]=>[.,[[.,[[[.,[.,.]],.],.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[[.,.],[[[.,.],.],.]]]=>[1,3,5,6,7,4,2]=>[.,[[.,.],[[.,.],[.,[.,.]]]]]=>[.,[[.,[[.,[.,[.,.]]],.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[[.,[.,.]],[.,[.,.]]]]=>[1,4,3,7,6,5,2]=>[.,[[[.,.],.],[[[.,.],.],.]]]=>[.,[[[.,[[[.,.],.],.]],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[[.,[.,.]],[[.,.],.]]]=>[1,4,3,6,7,5,2]=>[.,[[[.,.],.],[[.,.],[.,.]]]]=>[.,[[[.,[[.,[.,.]],.]],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[[[.,.],.],[.,[.,.]]]]=>[1,3,4,7,6,5,2]=>[.,[[.,.],[.,[[[.,.],.],.]]]]=>[.,[[.,[.,[[[.,.],.],.]]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[[[.,.],.],[[.,.],.]]]=>[1,3,4,6,7,5,2]=>[.,[[.,.],[.,[[.,.],[.,.]]]]]=>[.,[[.,[.,[[.,[.,.]],.]]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[[.,[.,[.,.]]],[.,.]]]=>[1,5,4,3,7,6,2]=>[.,[[[[.,.],.],.],[[.,.],.]]]=>[.,[[[[.,[[.,.],.]],.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[[.,[[.,.],.]],[.,.]]]=>[1,4,5,3,7,6,2]=>[.,[[[.,.],.],[.,[[.,.],.]]]]=>[.,[[[.,[.,[[.,.],.]]],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[[[.,.],[.,.]],[.,.]]]=>[1,3,5,4,7,6,2]=>[.,[[.,.],[[.,.],[[.,.],.]]]]=>[.,[[.,[[.,[[.,.],.]],.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[[[.,[.,.]],.],[.,.]]]=>[1,4,3,5,7,6,2]=>[.,[[[.,.],.],[.,[[.,.],.]]]]=>[.,[[[.,[.,[[.,.],.]]],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[[[[.,.],.],.],[.,.]]]=>[1,3,4,5,7,6,2]=>[.,[[.,.],[.,[.,[[.,.],.]]]]]=>[.,[[.,[.,[.,[[.,.],.]]]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[[.,[.,[.,[.,.]]]],.]]=>[1,6,5,4,3,7,2]=>[.,[[[[[.,.],.],.],.],[.,.]]]=>[.,[[[[[.,[.,.]],.],.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[[.,[.,[[.,.],.]]],.]]=>[1,5,6,4,3,7,2]=>[.,[[[[.,.],.],.],[.,[.,.]]]]=>[.,[[[[.,[.,[.,.]]],.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[[.,[[.,.],[.,.]]],.]]=>[1,4,6,5,3,7,2]=>[.,[[[.,.],.],[[.,.],[.,.]]]]=>[.,[[[.,[[.,[.,.]],.]],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[[.,[[.,[.,.]],.]],.]]=>[1,5,4,6,3,7,2]=>[.,[[[[.,.],.],.],[.,[.,.]]]]=>[.,[[[[.,[.,[.,.]]],.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[[.,[[[.,.],.],.]],.]]=>[1,4,5,6,3,7,2]=>[.,[[[.,.],.],[.,[.,[.,.]]]]]=>[.,[[[.,[.,[.,[.,.]]]],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[[[.,.],[.,[.,.]]],.]]=>[1,3,6,5,4,7,2]=>[.,[[.,.],[[[.,.],.],[.,.]]]]=>[.,[[.,[[[.,[.,.]],.],.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[[[.,.],[[.,.],.]],.]]=>[1,3,5,6,4,7,2]=>[.,[[.,.],[[.,.],[.,[.,.]]]]]=>[.,[[.,[[.,[.,[.,.]]],.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[[[.,[.,.]],[.,.]],.]]=>[1,4,3,6,5,7,2]=>[.,[[[.,.],.],[[.,.],[.,.]]]]=>[.,[[[.,[[.,[.,.]],.]],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[[[[.,.],.],[.,.]],.]]=>[1,3,4,6,5,7,2]=>[.,[[.,.],[.,[[.,.],[.,.]]]]]=>[.,[[.,[.,[[.,[.,.]],.]]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[[[.,[.,[.,.]]],.],.]]=>[1,5,4,3,6,7,2]=>[.,[[[[.,.],.],.],[.,[.,.]]]]=>[.,[[[[.,[.,[.,.]]],.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[[[.,[[.,.],.]],.],.]]=>[1,4,5,3,6,7,2]=>[.,[[[.,.],.],[.,[.,[.,.]]]]]=>[.,[[[.,[.,[.,[.,.]]]],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[[[[.,.],[.,.]],.],.]]=>[1,3,5,4,6,7,2]=>[.,[[.,.],[[.,.],[.,[.,.]]]]]=>[.,[[.,[[.,[.,[.,.]]],.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[[[[.,[.,.]],.],.],.]]=>[1,4,3,5,6,7,2]=>[.,[[[.,.],.],[.,[.,[.,.]]]]]=>[.,[[[.,[.,[.,[.,.]]]],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[[[[[.,.],.],.],.],.]]=>[1,3,4,5,6,7,2]=>[.,[[.,.],[.,[.,[.,[.,.]]]]]]=>[.,[[.,[.,[.,[.,[.,.]]]]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,.]],[.,[.,[.,[.,.]]]]]=>[2,1,7,6,5,4,3]=>[[.,.],[[[[[.,.],.],.],.],.]]=>[[.,[[[[[.,.],.],.],.],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,.]],[.,[.,[[.,.],.]]]]=>[2,1,6,7,5,4,3]=>[[.,.],[[[[.,.],.],.],[.,.]]]=>[[.,[[[[.,[.,.]],.],.],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,.]],[.,[[.,.],[.,.]]]]=>[2,1,5,7,6,4,3]=>[[.,.],[[[.,.],.],[[.,.],.]]]=>[[.,[[[.,[[.,.],.]],.],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,.]],[.,[[.,[.,.]],.]]]=>[2,1,6,5,7,4,3]=>[[.,.],[[[[.,.],.],.],[.,.]]]=>[[.,[[[[.,[.,.]],.],.],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,.]],[.,[[[.,.],.],.]]]=>[2,1,5,6,7,4,3]=>[[.,.],[[[.,.],.],[.,[.,.]]]]=>[[.,[[[.,[.,[.,.]]],.],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,.]],[[.,.],[.,[.,.]]]]=>[2,1,4,7,6,5,3]=>[[.,.],[[.,.],[[[.,.],.],.]]]=>[[.,[[.,[[[.,.],.],.]],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,.]],[[.,.],[[.,.],.]]]=>[2,1,4,6,7,5,3]=>[[.,.],[[.,.],[[.,.],[.,.]]]]=>[[.,[[.,[[.,[.,.]],.]],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,.]],[[.,[.,.]],[.,.]]]=>[2,1,5,4,7,6,3]=>[[.,.],[[[.,.],.],[[.,.],.]]]=>[[.,[[[.,[[.,.],.]],.],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,.]],[[[.,.],.],[.,.]]]=>[2,1,4,5,7,6,3]=>[[.,.],[[.,.],[.,[[.,.],.]]]]=>[[.,[[.,[.,[[.,.],.]]],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,.]],[[.,[.,[.,.]]],.]]=>[2,1,6,5,4,7,3]=>[[.,.],[[[[.,.],.],.],[.,.]]]=>[[.,[[[[.,[.,.]],.],.],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,.]],[[.,[[.,.],.]],.]]=>[2,1,5,6,4,7,3]=>[[.,.],[[[.,.],.],[.,[.,.]]]]=>[[.,[[[.,[.,[.,.]]],.],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,.]],[[[.,.],[.,.]],.]]=>[2,1,4,6,5,7,3]=>[[.,.],[[.,.],[[.,.],[.,.]]]]=>[[.,[[.,[[.,[.,.]],.]],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,.]],[[[.,[.,.]],.],.]]=>[2,1,5,4,6,7,3]=>[[.,.],[[[.,.],.],[.,[.,.]]]]=>[[.,[[[.,[.,[.,.]]],.],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,.]],[[[[.,.],.],.],.]]=>[2,1,4,5,6,7,3]=>[[.,.],[[.,.],[.,[.,[.,.]]]]]=>[[.,[[.,[.,[.,[.,.]]]],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],.],[.,[.,[.,[.,.]]]]]=>[1,2,7,6,5,4,3]=>[.,[.,[[[[[.,.],.],.],.],.]]]=>[.,[.,[[[[[.,.],.],.],.],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],.],[.,[.,[[.,.],.]]]]=>[1,2,6,7,5,4,3]=>[.,[.,[[[[.,.],.],.],[.,.]]]]=>[.,[.,[[[[.,[.,.]],.],.],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],.],[.,[[.,.],[.,.]]]]=>[1,2,5,7,6,4,3]=>[.,[.,[[[.,.],.],[[.,.],.]]]]=>[.,[.,[[[.,[[.,.],.]],.],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],.],[.,[[.,[.,.]],.]]]=>[1,2,6,5,7,4,3]=>[.,[.,[[[[.,.],.],.],[.,.]]]]=>[.,[.,[[[[.,[.,.]],.],.],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],.],[.,[[[.,.],.],.]]]=>[1,2,5,6,7,4,3]=>[.,[.,[[[.,.],.],[.,[.,.]]]]]=>[.,[.,[[[.,[.,[.,.]]],.],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],.],[[.,.],[.,[.,.]]]]=>[1,2,4,7,6,5,3]=>[.,[.,[[.,.],[[[.,.],.],.]]]]=>[.,[.,[[.,[[[.,.],.],.]],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],.],[[.,.],[[.,.],.]]]=>[1,2,4,6,7,5,3]=>[.,[.,[[.,.],[[.,.],[.,.]]]]]=>[.,[.,[[.,[[.,[.,.]],.]],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],.],[[.,[.,.]],[.,.]]]=>[1,2,5,4,7,6,3]=>[.,[.,[[[.,.],.],[[.,.],.]]]]=>[.,[.,[[[.,[[.,.],.]],.],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],.],[[[.,.],.],[.,.]]]=>[1,2,4,5,7,6,3]=>[.,[.,[[.,.],[.,[[.,.],.]]]]]=>[.,[.,[[.,[.,[[.,.],.]]],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],.],[[.,[.,[.,.]]],.]]=>[1,2,6,5,4,7,3]=>[.,[.,[[[[.,.],.],.],[.,.]]]]=>[.,[.,[[[[.,[.,.]],.],.],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],.],[[.,[[.,.],.]],.]]=>[1,2,5,6,4,7,3]=>[.,[.,[[[.,.],.],[.,[.,.]]]]]=>[.,[.,[[[.,[.,[.,.]]],.],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],.],[[[.,.],[.,.]],.]]=>[1,2,4,6,5,7,3]=>[.,[.,[[.,.],[[.,.],[.,.]]]]]=>[.,[.,[[.,[[.,[.,.]],.]],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],.],[[[.,[.,.]],.],.]]=>[1,2,5,4,6,7,3]=>[.,[.,[[[.,.],.],[.,[.,.]]]]]=>[.,[.,[[[.,[.,[.,.]]],.],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],.],[[[[.,.],.],.],.]]=>[1,2,4,5,6,7,3]=>[.,[.,[[.,.],[.,[.,[.,.]]]]]]=>[.,[.,[[.,[.,[.,[.,.]]]],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,[.,.]]],[.,[.,[.,.]]]]=>[3,2,1,7,6,5,4]=>[[[.,.],.],[[[[.,.],.],.],.]]=>[[[.,[[[[.,.],.],.],.]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,[.,.]]],[.,[[.,.],.]]]=>[3,2,1,6,7,5,4]=>[[[.,.],.],[[[.,.],.],[.,.]]]=>[[[.,[[[.,[.,.]],.],.]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,[.,.]]],[[.,.],[.,.]]]=>[3,2,1,5,7,6,4]=>[[[.,.],.],[[.,.],[[.,.],.]]]=>[[[.,[[.,[[.,.],.]],.]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,[.,.]]],[[.,[.,.]],.]]=>[3,2,1,6,5,7,4]=>[[[.,.],.],[[[.,.],.],[.,.]]]=>[[[.,[[[.,[.,.]],.],.]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,[.,.]]],[[[.,.],.],.]]=>[3,2,1,5,6,7,4]=>[[[.,.],.],[[.,.],[.,[.,.]]]]=>[[[.,[[.,[.,[.,.]]],.]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[.,.],.]],[.,[.,[.,.]]]]=>[2,3,1,7,6,5,4]=>[[.,.],[.,[[[[.,.],.],.],.]]]=>[[.,[.,[[[[.,.],.],.],.]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[.,.],.]],[.,[[.,.],.]]]=>[2,3,1,6,7,5,4]=>[[.,.],[.,[[[.,.],.],[.,.]]]]=>[[.,[.,[[[.,[.,.]],.],.]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[.,.],.]],[[.,.],[.,.]]]=>[2,3,1,5,7,6,4]=>[[.,.],[.,[[.,.],[[.,.],.]]]]=>[[.,[.,[[.,[[.,.],.]],.]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[.,.],.]],[[.,[.,.]],.]]=>[2,3,1,6,5,7,4]=>[[.,.],[.,[[[.,.],.],[.,.]]]]=>[[.,[.,[[[.,[.,.]],.],.]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[.,.],.]],[[[.,.],.],.]]=>[2,3,1,5,6,7,4]=>[[.,.],[.,[[.,.],[.,[.,.]]]]]=>[[.,[.,[[.,[.,[.,.]]],.]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],[.,.]],[.,[.,[.,.]]]]=>[1,3,2,7,6,5,4]=>[.,[[.,.],[[[[.,.],.],.],.]]]=>[.,[[.,[[[[.,.],.],.],.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],[.,.]],[.,[[.,.],.]]]=>[1,3,2,6,7,5,4]=>[.,[[.,.],[[[.,.],.],[.,.]]]]=>[.,[[.,[[[.,[.,.]],.],.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],[.,.]],[[.,.],[.,.]]]=>[1,3,2,5,7,6,4]=>[.,[[.,.],[[.,.],[[.,.],.]]]]=>[.,[[.,[[.,[[.,.],.]],.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],[.,.]],[[.,[.,.]],.]]=>[1,3,2,6,5,7,4]=>[.,[[.,.],[[[.,.],.],[.,.]]]]=>[.,[[.,[[[.,[.,.]],.],.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],[.,.]],[[[.,.],.],.]]=>[1,3,2,5,6,7,4]=>[.,[[.,.],[[.,.],[.,[.,.]]]]]=>[.,[[.,[[.,[.,[.,.]]],.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[.,.]],.],[.,[.,[.,.]]]]=>[2,1,3,7,6,5,4]=>[[.,.],[.,[[[[.,.],.],.],.]]]=>[[.,[.,[[[[.,.],.],.],.]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[.,.]],.],[.,[[.,.],.]]]=>[2,1,3,6,7,5,4]=>[[.,.],[.,[[[.,.],.],[.,.]]]]=>[[.,[.,[[[.,[.,.]],.],.]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[.,.]],.],[[.,.],[.,.]]]=>[2,1,3,5,7,6,4]=>[[.,.],[.,[[.,.],[[.,.],.]]]]=>[[.,[.,[[.,[[.,.],.]],.]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[.,.]],.],[[.,[.,.]],.]]=>[2,1,3,6,5,7,4]=>[[.,.],[.,[[[.,.],.],[.,.]]]]=>[[.,[.,[[[.,[.,.]],.],.]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[.,.]],.],[[[.,.],.],.]]=>[2,1,3,5,6,7,4]=>[[.,.],[.,[[.,.],[.,[.,.]]]]]=>[[.,[.,[[.,[.,[.,.]]],.]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,.],.],.],[.,[.,[.,.]]]]=>[1,2,3,7,6,5,4]=>[.,[.,[.,[[[[.,.],.],.],.]]]]=>[.,[.,[.,[[[[.,.],.],.],.]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,.],.],.],[.,[[.,.],.]]]=>[1,2,3,6,7,5,4]=>[.,[.,[.,[[[.,.],.],[.,.]]]]]=>[.,[.,[.,[[[.,[.,.]],.],.]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,.],.],.],[[.,.],[.,.]]]=>[1,2,3,5,7,6,4]=>[.,[.,[.,[[.,.],[[.,.],.]]]]]=>[.,[.,[.,[[.,[[.,.],.]],.]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,.],.],.],[[.,[.,.]],.]]=>[1,2,3,6,5,7,4]=>[.,[.,[.,[[[.,.],.],[.,.]]]]]=>[.,[.,[.,[[[.,[.,.]],.],.]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,.],.],.],[[[.,.],.],.]]=>[1,2,3,5,6,7,4]=>[.,[.,[.,[[.,.],[.,[.,.]]]]]]=>[.,[.,[.,[[.,[.,[.,.]]],.]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,[.,[.,.]]]],[.,[.,.]]]=>[4,3,2,1,7,6,5]=>[[[[.,.],.],.],[[[.,.],.],.]]=>[[[[.,[[[.,.],.],.]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,[.,[.,.]]]],[[.,.],.]]=>[4,3,2,1,6,7,5]=>[[[[.,.],.],.],[[.,.],[.,.]]]=>[[[[.,[[.,[.,.]],.]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,[[.,.],.]]],[.,[.,.]]]=>[3,4,2,1,7,6,5]=>[[[.,.],.],[.,[[[.,.],.],.]]]=>[[[.,[.,[[[.,.],.],.]]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,[[.,.],.]]],[[.,.],.]]=>[3,4,2,1,6,7,5]=>[[[.,.],.],[.,[[.,.],[.,.]]]]=>[[[.,[.,[[.,[.,.]],.]]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[.,.],[.,.]]],[.,[.,.]]]=>[2,4,3,1,7,6,5]=>[[.,.],[[.,.],[[[.,.],.],.]]]=>[[.,[[.,[[[.,.],.],.]],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[.,.],[.,.]]],[[.,.],.]]=>[2,4,3,1,6,7,5]=>[[.,.],[[.,.],[[.,.],[.,.]]]]=>[[.,[[.,[[.,[.,.]],.]],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[.,[.,.]],.]],[.,[.,.]]]=>[3,2,4,1,7,6,5]=>[[[.,.],.],[.,[[[.,.],.],.]]]=>[[[.,[.,[[[.,.],.],.]]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[.,[.,.]],.]],[[.,.],.]]=>[3,2,4,1,6,7,5]=>[[[.,.],.],[.,[[.,.],[.,.]]]]=>[[[.,[.,[[.,[.,.]],.]]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[[.,.],.],.]],[.,[.,.]]]=>[2,3,4,1,7,6,5]=>[[.,.],[.,[.,[[[.,.],.],.]]]]=>[[.,[.,[.,[[[.,.],.],.]]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[[.,.],.],.]],[[.,.],.]]=>[2,3,4,1,6,7,5]=>[[.,.],[.,[.,[[.,.],[.,.]]]]]=>[[.,[.,[.,[[.,[.,.]],.]]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],[.,[.,.]]],[.,[.,.]]]=>[1,4,3,2,7,6,5]=>[.,[[[.,.],.],[[[.,.],.],.]]]=>[.,[[[.,[[[.,.],.],.]],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],[.,[.,.]]],[[.,.],.]]=>[1,4,3,2,6,7,5]=>[.,[[[.,.],.],[[.,.],[.,.]]]]=>[.,[[[.,[[.,[.,.]],.]],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],[[.,.],.]],[.,[.,.]]]=>[1,3,4,2,7,6,5]=>[.,[[.,.],[.,[[[.,.],.],.]]]]=>[.,[[.,[.,[[[.,.],.],.]]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],[[.,.],.]],[[.,.],.]]=>[1,3,4,2,6,7,5]=>[.,[[.,.],[.,[[.,.],[.,.]]]]]=>[.,[[.,[.,[[.,[.,.]],.]]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[.,.]],[.,.]],[.,[.,.]]]=>[2,1,4,3,7,6,5]=>[[.,.],[[.,.],[[[.,.],.],.]]]=>[[.,[[.,[[[.,.],.],.]],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[.,.]],[.,.]],[[.,.],.]]=>[2,1,4,3,6,7,5]=>[[.,.],[[.,.],[[.,.],[.,.]]]]=>[[.,[[.,[[.,[.,.]],.]],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,.],.],[.,.]],[.,[.,.]]]=>[1,2,4,3,7,6,5]=>[.,[.,[[.,.],[[[.,.],.],.]]]]=>[.,[.,[[.,[[[.,.],.],.]],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,.],.],[.,.]],[[.,.],.]]=>[1,2,4,3,6,7,5]=>[.,[.,[[.,.],[[.,.],[.,.]]]]]=>[.,[.,[[.,[[.,[.,.]],.]],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[.,[.,.]]],.],[.,[.,.]]]=>[3,2,1,4,7,6,5]=>[[[.,.],.],[.,[[[.,.],.],.]]]=>[[[.,[.,[[[.,.],.],.]]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[.,[.,.]]],.],[[.,.],.]]=>[3,2,1,4,6,7,5]=>[[[.,.],.],[.,[[.,.],[.,.]]]]=>[[[.,[.,[[.,[.,.]],.]]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[[.,.],.]],.],[.,[.,.]]]=>[2,3,1,4,7,6,5]=>[[.,.],[.,[.,[[[.,.],.],.]]]]=>[[.,[.,[.,[[[.,.],.],.]]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[[.,.],.]],.],[[.,.],.]]=>[2,3,1,4,6,7,5]=>[[.,.],[.,[.,[[.,.],[.,.]]]]]=>[[.,[.,[.,[[.,[.,.]],.]]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,.],[.,.]],.],[.,[.,.]]]=>[1,3,2,4,7,6,5]=>[.,[[.,.],[.,[[[.,.],.],.]]]]=>[.,[[.,[.,[[[.,.],.],.]]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,.],[.,.]],.],[[.,.],.]]=>[1,3,2,4,6,7,5]=>[.,[[.,.],[.,[[.,.],[.,.]]]]]=>[.,[[.,[.,[[.,[.,.]],.]]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,[.,.]],.],.],[.,[.,.]]]=>[2,1,3,4,7,6,5]=>[[.,.],[.,[.,[[[.,.],.],.]]]]=>[[.,[.,[.,[[[.,.],.],.]]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,[.,.]],.],.],[[.,.],.]]=>[2,1,3,4,6,7,5]=>[[.,.],[.,[.,[[.,.],[.,.]]]]]=>[[.,[.,[.,[[.,[.,.]],.]]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[[.,.],.],.],.],[.,[.,.]]]=>[1,2,3,4,7,6,5]=>[.,[.,[.,[.,[[[.,.],.],.]]]]]=>[.,[.,[.,[.,[[[.,.],.],.]]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[[.,.],.],.],.],[[.,.],.]]=>[1,2,3,4,6,7,5]=>[.,[.,[.,[.,[[.,.],[.,.]]]]]]=>[.,[.,[.,[.,[[.,[.,.]],.]]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,[.,[.,[.,.]]]]],[.,.]]=>[5,4,3,2,1,7,6]=>[[[[[.,.],.],.],.],[[.,.],.]]=>[[[[[.,[[.,.],.]],.],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,[.,[[.,.],.]]]],[.,.]]=>[4,5,3,2,1,7,6]=>[[[[.,.],.],.],[.,[[.,.],.]]]=>[[[[.,[.,[[.,.],.]]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,[[.,.],[.,.]]]],[.,.]]=>[3,5,4,2,1,7,6]=>[[[.,.],.],[[.,.],[[.,.],.]]]=>[[[.,[[.,[[.,.],.]],.]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,[[.,[.,.]],.]]],[.,.]]=>[4,3,5,2,1,7,6]=>[[[[.,.],.],.],[.,[[.,.],.]]]=>[[[[.,[.,[[.,.],.]]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,[[[.,.],.],.]]],[.,.]]=>[3,4,5,2,1,7,6]=>[[[.,.],.],[.,[.,[[.,.],.]]]]=>[[[.,[.,[.,[[.,.],.]]]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[.,.],[.,[.,.]]]],[.,.]]=>[2,5,4,3,1,7,6]=>[[.,.],[[[.,.],.],[[.,.],.]]]=>[[.,[[[.,[[.,.],.]],.],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[.,.],[[.,.],.]]],[.,.]]=>[2,4,5,3,1,7,6]=>[[.,.],[[.,.],[.,[[.,.],.]]]]=>[[.,[[.,[.,[[.,.],.]]],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[.,[.,.]],[.,.]]],[.,.]]=>[3,2,5,4,1,7,6]=>[[[.,.],.],[[.,.],[[.,.],.]]]=>[[[.,[[.,[[.,.],.]],.]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[[.,.],.],[.,.]]],[.,.]]=>[2,3,5,4,1,7,6]=>[[.,.],[.,[[.,.],[[.,.],.]]]]=>[[.,[.,[[.,[[.,.],.]],.]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[.,[.,[.,.]]],.]],[.,.]]=>[4,3,2,5,1,7,6]=>[[[[.,.],.],.],[.,[[.,.],.]]]=>[[[[.,[.,[[.,.],.]]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[.,[[.,.],.]],.]],[.,.]]=>[3,4,2,5,1,7,6]=>[[[.,.],.],[.,[.,[[.,.],.]]]]=>[[[.,[.,[.,[[.,.],.]]]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[[.,.],[.,.]],.]],[.,.]]=>[2,4,3,5,1,7,6]=>[[.,.],[[.,.],[.,[[.,.],.]]]]=>[[.,[[.,[.,[[.,.],.]]],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[[.,[.,.]],.],.]],[.,.]]=>[3,2,4,5,1,7,6]=>[[[.,.],.],[.,[.,[[.,.],.]]]]=>[[[.,[.,[.,[[.,.],.]]]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[[[.,.],.],.],.]],[.,.]]=>[2,3,4,5,1,7,6]=>[[.,.],[.,[.,[.,[[.,.],.]]]]]=>[[.,[.,[.,[.,[[.,.],.]]]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],[.,[.,[.,.]]]],[.,.]]=>[1,5,4,3,2,7,6]=>[.,[[[[.,.],.],.],[[.,.],.]]]=>[.,[[[[.,[[.,.],.]],.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],[.,[[.,.],.]]],[.,.]]=>[1,4,5,3,2,7,6]=>[.,[[[.,.],.],[.,[[.,.],.]]]]=>[.,[[[.,[.,[[.,.],.]]],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],[[.,.],[.,.]]],[.,.]]=>[1,3,5,4,2,7,6]=>[.,[[.,.],[[.,.],[[.,.],.]]]]=>[.,[[.,[[.,[[.,.],.]],.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],[[.,[.,.]],.]],[.,.]]=>[1,4,3,5,2,7,6]=>[.,[[[.,.],.],[.,[[.,.],.]]]]=>[.,[[[.,[.,[[.,.],.]]],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],[[[.,.],.],.]],[.,.]]=>[1,3,4,5,2,7,6]=>[.,[[.,.],[.,[.,[[.,.],.]]]]]=>[.,[[.,[.,[.,[[.,.],.]]]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[.,.]],[.,[.,.]]],[.,.]]=>[2,1,5,4,3,7,6]=>[[.,.],[[[.,.],.],[[.,.],.]]]=>[[.,[[[.,[[.,.],.]],.],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[.,.]],[[.,.],.]],[.,.]]=>[2,1,4,5,3,7,6]=>[[.,.],[[.,.],[.,[[.,.],.]]]]=>[[.,[[.,[.,[[.,.],.]]],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,.],.],[.,[.,.]]],[.,.]]=>[1,2,5,4,3,7,6]=>[.,[.,[[[.,.],.],[[.,.],.]]]]=>[.,[.,[[[.,[[.,.],.]],.],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,.],.],[[.,.],.]],[.,.]]=>[1,2,4,5,3,7,6]=>[.,[.,[[.,.],[.,[[.,.],.]]]]]=>[.,[.,[[.,[.,[[.,.],.]]],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[.,[.,.]]],[.,.]],[.,.]]=>[3,2,1,5,4,7,6]=>[[[.,.],.],[[.,.],[[.,.],.]]]=>[[[.,[[.,[[.,.],.]],.]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[[.,.],.]],[.,.]],[.,.]]=>[2,3,1,5,4,7,6]=>[[.,.],[.,[[.,.],[[.,.],.]]]]=>[[.,[.,[[.,[[.,.],.]],.]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,.],[.,.]],[.,.]],[.,.]]=>[1,3,2,5,4,7,6]=>[.,[[.,.],[[.,.],[[.,.],.]]]]=>[.,[[.,[[.,[[.,.],.]],.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,[.,.]],.],[.,.]],[.,.]]=>[2,1,3,5,4,7,6]=>[[.,.],[.,[[.,.],[[.,.],.]]]]=>[[.,[.,[[.,[[.,.],.]],.]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[[.,.],.],.],[.,.]],[.,.]]=>[1,2,3,5,4,7,6]=>[.,[.,[.,[[.,.],[[.,.],.]]]]]=>[.,[.,[.,[[.,[[.,.],.]],.]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[.,[.,[.,.]]]],.],[.,.]]=>[4,3,2,1,5,7,6]=>[[[[.,.],.],.],[.,[[.,.],.]]]=>[[[[.,[.,[[.,.],.]]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[.,[[.,.],.]]],.],[.,.]]=>[3,4,2,1,5,7,6]=>[[[.,.],.],[.,[.,[[.,.],.]]]]=>[[[.,[.,[.,[[.,.],.]]]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[[.,.],[.,.]]],.],[.,.]]=>[2,4,3,1,5,7,6]=>[[.,.],[[.,.],[.,[[.,.],.]]]]=>[[.,[[.,[.,[[.,.],.]]],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[[.,[.,.]],.]],.],[.,.]]=>[3,2,4,1,5,7,6]=>[[[.,.],.],[.,[.,[[.,.],.]]]]=>[[[.,[.,[.,[[.,.],.]]]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[[[.,.],.],.]],.],[.,.]]=>[2,3,4,1,5,7,6]=>[[.,.],[.,[.,[.,[[.,.],.]]]]]=>[[.,[.,[.,[.,[[.,.],.]]]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,.],[.,[.,.]]],.],[.,.]]=>[1,4,3,2,5,7,6]=>[.,[[[.,.],.],[.,[[.,.],.]]]]=>[.,[[[.,[.,[[.,.],.]]],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,.],[[.,.],.]],.],[.,.]]=>[1,3,4,2,5,7,6]=>[.,[[.,.],[.,[.,[[.,.],.]]]]]=>[.,[[.,[.,[.,[[.,.],.]]]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,[.,.]],[.,.]],.],[.,.]]=>[2,1,4,3,5,7,6]=>[[.,.],[[.,.],[.,[[.,.],.]]]]=>[[.,[[.,[.,[[.,.],.]]],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[[.,.],.],[.,.]],.],[.,.]]=>[1,2,4,3,5,7,6]=>[.,[.,[[.,.],[.,[[.,.],.]]]]]=>[.,[.,[[.,[.,[[.,.],.]]],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,[.,[.,.]]],.],.],[.,.]]=>[3,2,1,4,5,7,6]=>[[[.,.],.],[.,[.,[[.,.],.]]]]=>[[[.,[.,[.,[[.,.],.]]]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,[[.,.],.]],.],.],[.,.]]=>[2,3,1,4,5,7,6]=>[[.,.],[.,[.,[.,[[.,.],.]]]]]=>[[.,[.,[.,[.,[[.,.],.]]]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[[.,.],[.,.]],.],.],[.,.]]=>[1,3,2,4,5,7,6]=>[.,[[.,.],[.,[.,[[.,.],.]]]]]=>[.,[[.,[.,[.,[[.,.],.]]]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[[.,[.,.]],.],.],.],[.,.]]=>[2,1,3,4,5,7,6]=>[[.,.],[.,[.,[.,[[.,.],.]]]]]=>[[.,[.,[.,[.,[[.,.],.]]]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[[[.,.],.],.],.],.],[.,.]]=>[1,2,3,4,5,7,6]=>[.,[.,[.,[.,[.,[[.,.],.]]]]]]=>[.,[.,[.,[.,[.,[[.,.],.]]]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,[.,[.,[.,[.,.]]]]]],.]=>[6,5,4,3,2,1,7]=>[[[[[[.,.],.],.],.],.],[.,.]]=>[[[[[[.,[.,.]],.],.],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,[.,[.,[[.,.],.]]]]],.]=>[5,6,4,3,2,1,7]=>[[[[[.,.],.],.],.],[.,[.,.]]]=>[[[[[.,[.,[.,.]]],.],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,[.,[[.,.],[.,.]]]]],.]=>[4,6,5,3,2,1,7]=>[[[[.,.],.],.],[[.,.],[.,.]]]=>[[[[.,[[.,[.,.]],.]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,[.,[[.,[.,.]],.]]]],.]=>[5,4,6,3,2,1,7]=>[[[[[.,.],.],.],.],[.,[.,.]]]=>[[[[[.,[.,[.,.]]],.],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,[.,[[[.,.],.],.]]]],.]=>[4,5,6,3,2,1,7]=>[[[[.,.],.],.],[.,[.,[.,.]]]]=>[[[[.,[.,[.,[.,.]]]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,[[.,.],[.,[.,.]]]]],.]=>[3,6,5,4,2,1,7]=>[[[.,.],.],[[[.,.],.],[.,.]]]=>[[[.,[[[.,[.,.]],.],.]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,[[.,.],[[.,.],.]]]],.]=>[3,5,6,4,2,1,7]=>[[[.,.],.],[[.,.],[.,[.,.]]]]=>[[[.,[[.,[.,[.,.]]],.]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,[[.,[.,.]],[.,.]]]],.]=>[4,3,6,5,2,1,7]=>[[[[.,.],.],.],[[.,.],[.,.]]]=>[[[[.,[[.,[.,.]],.]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,[[[.,.],.],[.,.]]]],.]=>[3,4,6,5,2,1,7]=>[[[.,.],.],[.,[[.,.],[.,.]]]]=>[[[.,[.,[[.,[.,.]],.]]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,[[.,[.,[.,.]]],.]]],.]=>[5,4,3,6,2,1,7]=>[[[[[.,.],.],.],.],[.,[.,.]]]=>[[[[[.,[.,[.,.]]],.],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,[[.,[[.,.],.]],.]]],.]=>[4,5,3,6,2,1,7]=>[[[[.,.],.],.],[.,[.,[.,.]]]]=>[[[[.,[.,[.,[.,.]]]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,[[[.,.],[.,.]],.]]],.]=>[3,5,4,6,2,1,7]=>[[[.,.],.],[[.,.],[.,[.,.]]]]=>[[[.,[[.,[.,[.,.]]],.]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,[[[.,[.,.]],.],.]]],.]=>[4,3,5,6,2,1,7]=>[[[[.,.],.],.],[.,[.,[.,.]]]]=>[[[[.,[.,[.,[.,.]]]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,[[[[.,.],.],.],.]]],.]=>[3,4,5,6,2,1,7]=>[[[.,.],.],[.,[.,[.,[.,.]]]]]=>[[[.,[.,[.,[.,[.,.]]]]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[.,.],[.,[.,[.,.]]]]],.]=>[2,6,5,4,3,1,7]=>[[.,.],[[[[.,.],.],.],[.,.]]]=>[[.,[[[[.,[.,.]],.],.],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[.,.],[.,[[.,.],.]]]],.]=>[2,5,6,4,3,1,7]=>[[.,.],[[[.,.],.],[.,[.,.]]]]=>[[.,[[[.,[.,[.,.]]],.],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[.,.],[[.,.],[.,.]]]],.]=>[2,4,6,5,3,1,7]=>[[.,.],[[.,.],[[.,.],[.,.]]]]=>[[.,[[.,[[.,[.,.]],.]],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[.,.],[[.,[.,.]],.]]],.]=>[2,5,4,6,3,1,7]=>[[.,.],[[[.,.],.],[.,[.,.]]]]=>[[.,[[[.,[.,[.,.]]],.],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[.,.],[[[.,.],.],.]]],.]=>[2,4,5,6,3,1,7]=>[[.,.],[[.,.],[.,[.,[.,.]]]]]=>[[.,[[.,[.,[.,[.,.]]]],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[.,[.,.]],[.,[.,.]]]],.]=>[3,2,6,5,4,1,7]=>[[[.,.],.],[[[.,.],.],[.,.]]]=>[[[.,[[[.,[.,.]],.],.]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[.,[.,.]],[[.,.],.]]],.]=>[3,2,5,6,4,1,7]=>[[[.,.],.],[[.,.],[.,[.,.]]]]=>[[[.,[[.,[.,[.,.]]],.]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[[.,.],.],[.,[.,.]]]],.]=>[2,3,6,5,4,1,7]=>[[.,.],[.,[[[.,.],.],[.,.]]]]=>[[.,[.,[[[.,[.,.]],.],.]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[[.,.],.],[[.,.],.]]],.]=>[2,3,5,6,4,1,7]=>[[.,.],[.,[[.,.],[.,[.,.]]]]]=>[[.,[.,[[.,[.,[.,.]]],.]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[.,[.,[.,.]]],[.,.]]],.]=>[4,3,2,6,5,1,7]=>[[[[.,.],.],.],[[.,.],[.,.]]]=>[[[[.,[[.,[.,.]],.]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[.,[[.,.],.]],[.,.]]],.]=>[3,4,2,6,5,1,7]=>[[[.,.],.],[.,[[.,.],[.,.]]]]=>[[[.,[.,[[.,[.,.]],.]]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[[.,.],[.,.]],[.,.]]],.]=>[2,4,3,6,5,1,7]=>[[.,.],[[.,.],[[.,.],[.,.]]]]=>[[.,[[.,[[.,[.,.]],.]],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[[.,[.,.]],.],[.,.]]],.]=>[3,2,4,6,5,1,7]=>[[[.,.],.],[.,[[.,.],[.,.]]]]=>[[[.,[.,[[.,[.,.]],.]]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[[[.,.],.],.],[.,.]]],.]=>[2,3,4,6,5,1,7]=>[[.,.],[.,[.,[[.,.],[.,.]]]]]=>[[.,[.,[.,[[.,[.,.]],.]]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[.,[.,[.,[.,.]]]],.]],.]=>[5,4,3,2,6,1,7]=>[[[[[.,.],.],.],.],[.,[.,.]]]=>[[[[[.,[.,[.,.]]],.],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[.,[.,[[.,.],.]]],.]],.]=>[4,5,3,2,6,1,7]=>[[[[.,.],.],.],[.,[.,[.,.]]]]=>[[[[.,[.,[.,[.,.]]]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[.,[[.,.],[.,.]]],.]],.]=>[3,5,4,2,6,1,7]=>[[[.,.],.],[[.,.],[.,[.,.]]]]=>[[[.,[[.,[.,[.,.]]],.]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[.,[[.,[.,.]],.]],.]],.]=>[4,3,5,2,6,1,7]=>[[[[.,.],.],.],[.,[.,[.,.]]]]=>[[[[.,[.,[.,[.,.]]]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[.,[[[.,.],.],.]],.]],.]=>[3,4,5,2,6,1,7]=>[[[.,.],.],[.,[.,[.,[.,.]]]]]=>[[[.,[.,[.,[.,[.,.]]]]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[[.,.],[.,[.,.]]],.]],.]=>[2,5,4,3,6,1,7]=>[[.,.],[[[.,.],.],[.,[.,.]]]]=>[[.,[[[.,[.,[.,.]]],.],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[[.,.],[[.,.],.]],.]],.]=>[2,4,5,3,6,1,7]=>[[.,.],[[.,.],[.,[.,[.,.]]]]]=>[[.,[[.,[.,[.,[.,.]]]],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[[.,[.,.]],[.,.]],.]],.]=>[3,2,5,4,6,1,7]=>[[[.,.],.],[[.,.],[.,[.,.]]]]=>[[[.,[[.,[.,[.,.]]],.]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[[[.,.],.],[.,.]],.]],.]=>[2,3,5,4,6,1,7]=>[[.,.],[.,[[.,.],[.,[.,.]]]]]=>[[.,[.,[[.,[.,[.,.]]],.]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[[.,[.,[.,.]]],.],.]],.]=>[4,3,2,5,6,1,7]=>[[[[.,.],.],.],[.,[.,[.,.]]]]=>[[[[.,[.,[.,[.,.]]]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[[.,[[.,.],.]],.],.]],.]=>[3,4,2,5,6,1,7]=>[[[.,.],.],[.,[.,[.,[.,.]]]]]=>[[[.,[.,[.,[.,[.,.]]]]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[[[.,.],[.,.]],.],.]],.]=>[2,4,3,5,6,1,7]=>[[.,.],[[.,.],[.,[.,[.,.]]]]]=>[[.,[[.,[.,[.,[.,.]]]],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[[[.,[.,.]],.],.],.]],.]=>[3,2,4,5,6,1,7]=>[[[.,.],.],[.,[.,[.,[.,.]]]]]=>[[[.,[.,[.,[.,[.,.]]]]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[[[[.,.],.],.],.],.]],.]=>[2,3,4,5,6,1,7]=>[[.,.],[.,[.,[.,[.,[.,.]]]]]]=>[[.,[.,[.,[.,[.,[.,.]]]]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],[.,[.,[.,[.,.]]]]],.]=>[1,6,5,4,3,2,7]=>[.,[[[[[.,.],.],.],.],[.,.]]]=>[.,[[[[[.,[.,.]],.],.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],[.,[.,[[.,.],.]]]],.]=>[1,5,6,4,3,2,7]=>[.,[[[[.,.],.],.],[.,[.,.]]]]=>[.,[[[[.,[.,[.,.]]],.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],[.,[[.,.],[.,.]]]],.]=>[1,4,6,5,3,2,7]=>[.,[[[.,.],.],[[.,.],[.,.]]]]=>[.,[[[.,[[.,[.,.]],.]],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],[.,[[.,[.,.]],.]]],.]=>[1,5,4,6,3,2,7]=>[.,[[[[.,.],.],.],[.,[.,.]]]]=>[.,[[[[.,[.,[.,.]]],.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],[.,[[[.,.],.],.]]],.]=>[1,4,5,6,3,2,7]=>[.,[[[.,.],.],[.,[.,[.,.]]]]]=>[.,[[[.,[.,[.,[.,.]]]],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],[[.,.],[.,[.,.]]]],.]=>[1,3,6,5,4,2,7]=>[.,[[.,.],[[[.,.],.],[.,.]]]]=>[.,[[.,[[[.,[.,.]],.],.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],[[.,.],[[.,.],.]]],.]=>[1,3,5,6,4,2,7]=>[.,[[.,.],[[.,.],[.,[.,.]]]]]=>[.,[[.,[[.,[.,[.,.]]],.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],[[.,[.,.]],[.,.]]],.]=>[1,4,3,6,5,2,7]=>[.,[[[.,.],.],[[.,.],[.,.]]]]=>[.,[[[.,[[.,[.,.]],.]],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],[[[.,.],.],[.,.]]],.]=>[1,3,4,6,5,2,7]=>[.,[[.,.],[.,[[.,.],[.,.]]]]]=>[.,[[.,[.,[[.,[.,.]],.]]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],[[.,[.,[.,.]]],.]],.]=>[1,5,4,3,6,2,7]=>[.,[[[[.,.],.],.],[.,[.,.]]]]=>[.,[[[[.,[.,[.,.]]],.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],[[.,[[.,.],.]],.]],.]=>[1,4,5,3,6,2,7]=>[.,[[[.,.],.],[.,[.,[.,.]]]]]=>[.,[[[.,[.,[.,[.,.]]]],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],[[[.,.],[.,.]],.]],.]=>[1,3,5,4,6,2,7]=>[.,[[.,.],[[.,.],[.,[.,.]]]]]=>[.,[[.,[[.,[.,[.,.]]],.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],[[[.,[.,.]],.],.]],.]=>[1,4,3,5,6,2,7]=>[.,[[[.,.],.],[.,[.,[.,.]]]]]=>[.,[[[.,[.,[.,[.,.]]]],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],[[[[.,.],.],.],.]],.]=>[1,3,4,5,6,2,7]=>[.,[[.,.],[.,[.,[.,[.,.]]]]]]=>[.,[[.,[.,[.,[.,[.,.]]]]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[.,.]],[.,[.,[.,.]]]],.]=>[2,1,6,5,4,3,7]=>[[.,.],[[[[.,.],.],.],[.,.]]]=>[[.,[[[[.,[.,.]],.],.],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[.,.]],[.,[[.,.],.]]],.]=>[2,1,5,6,4,3,7]=>[[.,.],[[[.,.],.],[.,[.,.]]]]=>[[.,[[[.,[.,[.,.]]],.],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[.,.]],[[.,.],[.,.]]],.]=>[2,1,4,6,5,3,7]=>[[.,.],[[.,.],[[.,.],[.,.]]]]=>[[.,[[.,[[.,[.,.]],.]],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[.,.]],[[.,[.,.]],.]],.]=>[2,1,5,4,6,3,7]=>[[.,.],[[[.,.],.],[.,[.,.]]]]=>[[.,[[[.,[.,[.,.]]],.],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[.,.]],[[[.,.],.],.]],.]=>[2,1,4,5,6,3,7]=>[[.,.],[[.,.],[.,[.,[.,.]]]]]=>[[.,[[.,[.,[.,[.,.]]]],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,.],.],[.,[.,[.,.]]]],.]=>[1,2,6,5,4,3,7]=>[.,[.,[[[[.,.],.],.],[.,.]]]]=>[.,[.,[[[[.,[.,.]],.],.],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,.],.],[.,[[.,.],.]]],.]=>[1,2,5,6,4,3,7]=>[.,[.,[[[.,.],.],[.,[.,.]]]]]=>[.,[.,[[[.,[.,[.,.]]],.],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,.],.],[[.,.],[.,.]]],.]=>[1,2,4,6,5,3,7]=>[.,[.,[[.,.],[[.,.],[.,.]]]]]=>[.,[.,[[.,[[.,[.,.]],.]],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,.],.],[[.,[.,.]],.]],.]=>[1,2,5,4,6,3,7]=>[.,[.,[[[.,.],.],[.,[.,.]]]]]=>[.,[.,[[[.,[.,[.,.]]],.],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,.],.],[[[.,.],.],.]],.]=>[1,2,4,5,6,3,7]=>[.,[.,[[.,.],[.,[.,[.,.]]]]]]=>[.,[.,[[.,[.,[.,[.,.]]]],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[.,[.,.]]],[.,[.,.]]],.]=>[3,2,1,6,5,4,7]=>[[[.,.],.],[[[.,.],.],[.,.]]]=>[[[.,[[[.,[.,.]],.],.]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[.,[.,.]]],[[.,.],.]],.]=>[3,2,1,5,6,4,7]=>[[[.,.],.],[[.,.],[.,[.,.]]]]=>[[[.,[[.,[.,[.,.]]],.]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[[.,.],.]],[.,[.,.]]],.]=>[2,3,1,6,5,4,7]=>[[.,.],[.,[[[.,.],.],[.,.]]]]=>[[.,[.,[[[.,[.,.]],.],.]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[[.,.],.]],[[.,.],.]],.]=>[2,3,1,5,6,4,7]=>[[.,.],[.,[[.,.],[.,[.,.]]]]]=>[[.,[.,[[.,[.,[.,.]]],.]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,.],[.,.]],[.,[.,.]]],.]=>[1,3,2,6,5,4,7]=>[.,[[.,.],[[[.,.],.],[.,.]]]]=>[.,[[.,[[[.,[.,.]],.],.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,.],[.,.]],[[.,.],.]],.]=>[1,3,2,5,6,4,7]=>[.,[[.,.],[[.,.],[.,[.,.]]]]]=>[.,[[.,[[.,[.,[.,.]]],.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,[.,.]],.],[.,[.,.]]],.]=>[2,1,3,6,5,4,7]=>[[.,.],[.,[[[.,.],.],[.,.]]]]=>[[.,[.,[[[.,[.,.]],.],.]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,[.,.]],.],[[.,.],.]],.]=>[2,1,3,5,6,4,7]=>[[.,.],[.,[[.,.],[.,[.,.]]]]]=>[[.,[.,[[.,[.,[.,.]]],.]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[[.,.],.],.],[.,[.,.]]],.]=>[1,2,3,6,5,4,7]=>[.,[.,[.,[[[.,.],.],[.,.]]]]]=>[.,[.,[.,[[[.,[.,.]],.],.]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[[.,.],.],.],[[.,.],.]],.]=>[1,2,3,5,6,4,7]=>[.,[.,[.,[[.,.],[.,[.,.]]]]]]=>[.,[.,[.,[[.,[.,[.,.]]],.]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[.,[.,[.,.]]]],[.,.]],.]=>[4,3,2,1,6,5,7]=>[[[[.,.],.],.],[[.,.],[.,.]]]=>[[[[.,[[.,[.,.]],.]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[.,[[.,.],.]]],[.,.]],.]=>[3,4,2,1,6,5,7]=>[[[.,.],.],[.,[[.,.],[.,.]]]]=>[[[.,[.,[[.,[.,.]],.]]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[[.,.],[.,.]]],[.,.]],.]=>[2,4,3,1,6,5,7]=>[[.,.],[[.,.],[[.,.],[.,.]]]]=>[[.,[[.,[[.,[.,.]],.]],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[[.,[.,.]],.]],[.,.]],.]=>[3,2,4,1,6,5,7]=>[[[.,.],.],[.,[[.,.],[.,.]]]]=>[[[.,[.,[[.,[.,.]],.]]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[[[.,.],.],.]],[.,.]],.]=>[2,3,4,1,6,5,7]=>[[.,.],[.,[.,[[.,.],[.,.]]]]]=>[[.,[.,[.,[[.,[.,.]],.]]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,.],[.,[.,.]]],[.,.]],.]=>[1,4,3,2,6,5,7]=>[.,[[[.,.],.],[[.,.],[.,.]]]]=>[.,[[[.,[[.,[.,.]],.]],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,.],[[.,.],.]],[.,.]],.]=>[1,3,4,2,6,5,7]=>[.,[[.,.],[.,[[.,.],[.,.]]]]]=>[.,[[.,[.,[[.,[.,.]],.]]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,[.,.]],[.,.]],[.,.]],.]=>[2,1,4,3,6,5,7]=>[[.,.],[[.,.],[[.,.],[.,.]]]]=>[[.,[[.,[[.,[.,.]],.]],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[[.,.],.],[.,.]],[.,.]],.]=>[1,2,4,3,6,5,7]=>[.,[.,[[.,.],[[.,.],[.,.]]]]]=>[.,[.,[[.,[[.,[.,.]],.]],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,[.,[.,.]]],.],[.,.]],.]=>[3,2,1,4,6,5,7]=>[[[.,.],.],[.,[[.,.],[.,.]]]]=>[[[.,[.,[[.,[.,.]],.]]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,[[.,.],.]],.],[.,.]],.]=>[2,3,1,4,6,5,7]=>[[.,.],[.,[.,[[.,.],[.,.]]]]]=>[[.,[.,[.,[[.,[.,.]],.]]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[[.,.],[.,.]],.],[.,.]],.]=>[1,3,2,4,6,5,7]=>[.,[[.,.],[.,[[.,.],[.,.]]]]]=>[.,[[.,[.,[[.,[.,.]],.]]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[[.,[.,.]],.],.],[.,.]],.]=>[2,1,3,4,6,5,7]=>[[.,.],[.,[.,[[.,.],[.,.]]]]]=>[[.,[.,[.,[[.,[.,.]],.]]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[[[.,.],.],.],.],[.,.]],.]=>[1,2,3,4,6,5,7]=>[.,[.,[.,[.,[[.,.],[.,.]]]]]]=>[.,[.,[.,[.,[[.,[.,.]],.]]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[.,[.,[.,[.,.]]]]],.],.]=>[5,4,3,2,1,6,7]=>[[[[[.,.],.],.],.],[.,[.,.]]]=>[[[[[.,[.,[.,.]]],.],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[.,[.,[[.,.],.]]]],.],.]=>[4,5,3,2,1,6,7]=>[[[[.,.],.],.],[.,[.,[.,.]]]]=>[[[[.,[.,[.,[.,.]]]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[.,[[.,.],[.,.]]]],.],.]=>[3,5,4,2,1,6,7]=>[[[.,.],.],[[.,.],[.,[.,.]]]]=>[[[.,[[.,[.,[.,.]]],.]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[.,[[.,[.,.]],.]]],.],.]=>[4,3,5,2,1,6,7]=>[[[[.,.],.],.],[.,[.,[.,.]]]]=>[[[[.,[.,[.,[.,.]]]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[.,[[[.,.],.],.]]],.],.]=>[3,4,5,2,1,6,7]=>[[[.,.],.],[.,[.,[.,[.,.]]]]]=>[[[.,[.,[.,[.,[.,.]]]]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[[.,.],[.,[.,.]]]],.],.]=>[2,5,4,3,1,6,7]=>[[.,.],[[[.,.],.],[.,[.,.]]]]=>[[.,[[[.,[.,[.,.]]],.],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[[.,.],[[.,.],.]]],.],.]=>[2,4,5,3,1,6,7]=>[[.,.],[[.,.],[.,[.,[.,.]]]]]=>[[.,[[.,[.,[.,[.,.]]]],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[[.,[.,.]],[.,.]]],.],.]=>[3,2,5,4,1,6,7]=>[[[.,.],.],[[.,.],[.,[.,.]]]]=>[[[.,[[.,[.,[.,.]]],.]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[[[.,.],.],[.,.]]],.],.]=>[2,3,5,4,1,6,7]=>[[.,.],[.,[[.,.],[.,[.,.]]]]]=>[[.,[.,[[.,[.,[.,.]]],.]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[[.,[.,[.,.]]],.]],.],.]=>[4,3,2,5,1,6,7]=>[[[[.,.],.],.],[.,[.,[.,.]]]]=>[[[[.,[.,[.,[.,.]]]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[[.,[[.,.],.]],.]],.],.]=>[3,4,2,5,1,6,7]=>[[[.,.],.],[.,[.,[.,[.,.]]]]]=>[[[.,[.,[.,[.,[.,.]]]]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[[[.,.],[.,.]],.]],.],.]=>[2,4,3,5,1,6,7]=>[[.,.],[[.,.],[.,[.,[.,.]]]]]=>[[.,[[.,[.,[.,[.,.]]]],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[[[.,[.,.]],.],.]],.],.]=>[3,2,4,5,1,6,7]=>[[[.,.],.],[.,[.,[.,[.,.]]]]]=>[[[.,[.,[.,[.,[.,.]]]]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[[[[.,.],.],.],.]],.],.]=>[2,3,4,5,1,6,7]=>[[.,.],[.,[.,[.,[.,[.,.]]]]]]=>[[.,[.,[.,[.,[.,[.,.]]]]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,.],[.,[.,[.,.]]]],.],.]=>[1,5,4,3,2,6,7]=>[.,[[[[.,.],.],.],[.,[.,.]]]]=>[.,[[[[.,[.,[.,.]]],.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,.],[.,[[.,.],.]]],.],.]=>[1,4,5,3,2,6,7]=>[.,[[[.,.],.],[.,[.,[.,.]]]]]=>[.,[[[.,[.,[.,[.,.]]]],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,.],[[.,.],[.,.]]],.],.]=>[1,3,5,4,2,6,7]=>[.,[[.,.],[[.,.],[.,[.,.]]]]]=>[.,[[.,[[.,[.,[.,.]]],.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,.],[[.,[.,.]],.]],.],.]=>[1,4,3,5,2,6,7]=>[.,[[[.,.],.],[.,[.,[.,.]]]]]=>[.,[[[.,[.,[.,[.,.]]]],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,.],[[[.,.],.],.]],.],.]=>[1,3,4,5,2,6,7]=>[.,[[.,.],[.,[.,[.,[.,.]]]]]]=>[.,[[.,[.,[.,[.,[.,.]]]]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,[.,.]],[.,[.,.]]],.],.]=>[2,1,5,4,3,6,7]=>[[.,.],[[[.,.],.],[.,[.,.]]]]=>[[.,[[[.,[.,[.,.]]],.],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,[.,.]],[[.,.],.]],.],.]=>[2,1,4,5,3,6,7]=>[[.,.],[[.,.],[.,[.,[.,.]]]]]=>[[.,[[.,[.,[.,[.,.]]]],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[[.,.],.],[.,[.,.]]],.],.]=>[1,2,5,4,3,6,7]=>[.,[.,[[[.,.],.],[.,[.,.]]]]]=>[.,[.,[[[.,[.,[.,.]]],.],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[[.,.],.],[[.,.],.]],.],.]=>[1,2,4,5,3,6,7]=>[.,[.,[[.,.],[.,[.,[.,.]]]]]]=>[.,[.,[[.,[.,[.,[.,.]]]],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,[.,[.,.]]],[.,.]],.],.]=>[3,2,1,5,4,6,7]=>[[[.,.],.],[[.,.],[.,[.,.]]]]=>[[[.,[[.,[.,[.,.]]],.]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,[[.,.],.]],[.,.]],.],.]=>[2,3,1,5,4,6,7]=>[[.,.],[.,[[.,.],[.,[.,.]]]]]=>[[.,[.,[[.,[.,[.,.]]],.]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[[.,.],[.,.]],[.,.]],.],.]=>[1,3,2,5,4,6,7]=>[.,[[.,.],[[.,.],[.,[.,.]]]]]=>[.,[[.,[[.,[.,[.,.]]],.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[[.,[.,.]],.],[.,.]],.],.]=>[2,1,3,5,4,6,7]=>[[.,.],[.,[[.,.],[.,[.,.]]]]]=>[[.,[.,[[.,[.,[.,.]]],.]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[[[.,.],.],.],[.,.]],.],.]=>[1,2,3,5,4,6,7]=>[.,[.,[.,[[.,.],[.,[.,.]]]]]]=>[.,[.,[.,[[.,[.,[.,.]]],.]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,[.,[.,[.,.]]]],.],.],.]=>[4,3,2,1,5,6,7]=>[[[[.,.],.],.],[.,[.,[.,.]]]]=>[[[[.,[.,[.,[.,.]]]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,[.,[[.,.],.]]],.],.],.]=>[3,4,2,1,5,6,7]=>[[[.,.],.],[.,[.,[.,[.,.]]]]]=>[[[.,[.,[.,[.,[.,.]]]]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,[[.,.],[.,.]]],.],.],.]=>[2,4,3,1,5,6,7]=>[[.,.],[[.,.],[.,[.,[.,.]]]]]=>[[.,[[.,[.,[.,[.,.]]]],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,[[.,[.,.]],.]],.],.],.]=>[3,2,4,1,5,6,7]=>[[[.,.],.],[.,[.,[.,[.,.]]]]]=>[[[.,[.,[.,[.,[.,.]]]]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,[[[.,.],.],.]],.],.],.]=>[2,3,4,1,5,6,7]=>[[.,.],[.,[.,[.,[.,[.,.]]]]]]=>[[.,[.,[.,[.,[.,[.,.]]]]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[[.,.],[.,[.,.]]],.],.],.]=>[1,4,3,2,5,6,7]=>[.,[[[.,.],.],[.,[.,[.,.]]]]]=>[.,[[[.,[.,[.,[.,.]]]],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[[.,.],[[.,.],.]],.],.],.]=>[1,3,4,2,5,6,7]=>[.,[[.,.],[.,[.,[.,[.,.]]]]]]=>[.,[[.,[.,[.,[.,[.,.]]]]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[[.,[.,.]],[.,.]],.],.],.]=>[2,1,4,3,5,6,7]=>[[.,.],[[.,.],[.,[.,[.,.]]]]]=>[[.,[[.,[.,[.,[.,.]]]],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[[[.,.],.],[.,.]],.],.],.]=>[1,2,4,3,5,6,7]=>[.,[.,[[.,.],[.,[.,[.,.]]]]]]=>[.,[.,[[.,[.,[.,[.,.]]]],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[[.,[.,[.,.]]],.],.],.],.]=>[3,2,1,4,5,6,7]=>[[[.,.],.],[.,[.,[.,[.,.]]]]]=>[[[.,[.,[.,[.,[.,.]]]]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[[.,[[.,.],.]],.],.],.],.]=>[2,3,1,4,5,6,7]=>[[.,.],[.,[.,[.,[.,[.,.]]]]]]=>[[.,[.,[.,[.,[.,[.,.]]]]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[[[.,.],[.,.]],.],.],.],.]=>[1,3,2,4,5,6,7]=>[.,[[.,.],[.,[.,[.,[.,.]]]]]]=>[.,[[.,[.,[.,[.,[.,.]]]]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[[[.,[.,.]],.],.],.],.],.]=>[2,1,3,4,5,6,7]=>[[.,.],[.,[.,[.,[.,[.,.]]]]]]=>[[.,[.,[.,[.,[.,[.,.]]]]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[[[[.,.],.],.],.],.],.],.]=>[1,2,3,4,5,6,7]=>[.,[.,[.,[.,[.,[.,[.,.]]]]]]]=>[.,[.,[.,[.,[.,[.,[.,.]]]]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[.,[.,[.,[.,[.,[.,.]]]]]]]]=>[8,7,6,5,4,3,2,1]=>[[[[[[[[.,.],.],.],.],.],.],.],.]=>[[[[[[[[.,.],.],.],.],.],.],.],.]=>([(0,7),(1,6),(2,3),(2,4),(3,5),(4,6),(5,7)],8) [[.,[.,.]],[.,[.,[.,[.,[.,.]]]]]]=>[2,1,8,7,6,5,4,3]=>[[.,.],[[[[[[.,.],.],.],.],.],.]]=>[[.,[[[[[[.,.],.],.],.],.],.]],.]=>([(0,7),(1,6),(2,3),(2,4),(3,5),(4,6),(5,7)],8) [[.,[.,[.,[.,.]]]],[.,[.,[.,.]]]]=>[4,3,2,1,8,7,6,5]=>[[[[.,.],.],.],[[[[.,.],.],.],.]]=>[[[[.,[[[[.,.],.],.],.]],.],.],.]=>([(0,7),(1,6),(2,3),(2,4),(3,5),(4,6),(5,7)],8) [[.,[.,[[.,.],.]]],[.,[[.,.],.]]]=>[3,4,2,1,7,8,6,5]=>[[[.,.],.],[.,[[[.,.],.],[.,.]]]]=>[[[.,[.,[[[.,[.,.]],.],.]]],.],.]=>([(0,7),(1,6),(2,3),(2,4),(3,5),(4,6),(5,7)],8) [[.,[[.,.],[.,.]]],[[.,[.,.]],.]]=>[2,4,3,1,7,6,8,5]=>[[.,.],[[.,.],[[[.,.],.],[.,.]]]]=>[[.,[[.,[[[.,[.,.]],.],.]],.]],.]=>([(0,7),(1,6),(2,3),(2,4),(3,5),(4,6),(5,7)],8) [[.,[[.,[.,.]],.]],[[.,.],[.,.]]]=>[3,2,4,1,6,8,7,5]=>[[[.,.],.],[.,[[.,.],[[.,.],.]]]]=>[[[.,[.,[[.,[[.,.],.]],.]]],.],.]=>([(0,7),(1,6),(2,3),(2,4),(3,5),(4,6),(5,7)],8) [[.,[[[.,.],.],.]],[[[.,.],.],.]]=>[2,3,4,1,6,7,8,5]=>[[.,.],[.,[.,[[.,.],[.,[.,.]]]]]]=>[[.,[.,[.,[[.,[.,[.,.]]],.]]]],.]=>([(0,7),(1,6),(2,3),(2,4),(3,5),(4,6),(5,7)],8) [[[.,[.,.]],[.,.]],[.,[.,[.,.]]]]=>[2,1,4,3,8,7,6,5]=>[[.,.],[[.,.],[[[[.,.],.],.],.]]]=>[[.,[[.,[[[[.,.],.],.],.]],.]],.]=>([(0,7),(1,6),(2,3),(2,4),(3,5),(4,6),(5,7)],8) [[[[.,[.,[.,.]]],.],.],[.,[.,.]]]=>[3,2,1,4,5,8,7,6]=>[[[.,.],.],[.,[.,[[[.,.],.],.]]]]=>[[[.,[.,[.,[[[.,.],.],.]]]],.],.]=>([(0,7),(1,6),(2,3),(2,4),(3,5),(4,6),(5,7)],8) [[[[.,[[.,.],.]],.],.],[[.,.],.]]=>[2,3,1,4,5,7,8,6]=>[[.,.],[.,[.,[.,[[.,.],[.,.]]]]]]=>[[.,[.,[.,[.,[[.,[.,.]],.]]]]],.]=>([(0,7),(1,6),(2,3),(2,4),(3,5),(4,6),(5,7)],8) [[.,[.,[.,[.,[.,[.,.]]]]]],[.,.]]=>[6,5,4,3,2,1,8,7]=>[[[[[[.,.],.],.],.],.],[[.,.],.]]=>[[[[[[.,[[.,.],.]],.],.],.],.],.]=>([(0,7),(1,6),(2,3),(2,4),(3,5),(4,6),(5,7)],8) [[[.,[.,.]],[.,[.,[.,.]]]],[.,.]]=>[2,1,6,5,4,3,8,7]=>[[.,.],[[[[.,.],.],.],[[.,.],.]]]=>[[.,[[[[.,[[.,.],.]],.],.],.]],.]=>([(0,7),(1,6),(2,3),(2,4),(3,5),(4,6),(5,7)],8) [[[.,[.,[.,[.,.]]]],[.,.]],[.,.]]=>[4,3,2,1,6,5,8,7]=>[[[[.,.],.],.],[[.,.],[[.,.],.]]]=>[[[[.,[[.,[[.,.],.]],.]],.],.],.]=>([(0,7),(1,6),(2,3),(2,4),(3,5),(4,6),(5,7)],8) [[[[.,[.,.]],[.,.]],[.,.]],[.,.]]=>[2,1,4,3,6,5,8,7]=>[[.,.],[[.,.],[[.,.],[[.,.],.]]]]=>[[.,[[.,[[.,[[.,.],.]],.]],.]],.]=>([(0,7),(1,6),(2,3),(2,4),(3,5),(4,6),(5,7)],8) [[[[[[.,[.,.]],.],.],.],.],[.,.]]=>[2,1,3,4,5,6,8,7]=>[[.,.],[.,[.,[.,[.,[[.,.],.]]]]]]=>[[.,[.,[.,[.,[.,[[.,.],.]]]]]],.]=>([(0,7),(1,6),(2,3),(2,4),(3,5),(4,6),(5,7)],8) [[[[.,.],[.,[.,.]]],[.,[.,.]]],.]=>[1,4,3,2,7,6,5,8]=>[.,[[[.,.],.],[[[.,.],.],[.,.]]]]=>[.,[[[.,[[[.,[.,.]],.],.]],.],.]]=>([(0,7),(1,6),(2,3),(2,4),(3,5),(4,6),(5,7)],8) [[[[.,.],[[.,.],.]],[[.,.],.]],.]=>[1,3,4,2,6,7,5,8]=>[.,[[.,.],[.,[[.,.],[.,[.,.]]]]]]=>[.,[[.,[.,[[.,[.,[.,.]]],.]]],.]]=>([(0,7),(1,6),(2,3),(2,4),(3,5),(4,6),(5,7)],8) [[[[[[.,.],[.,.]],.],.],[.,.]],.]=>[1,3,2,4,5,7,6,8]=>[.,[[.,.],[.,[.,[[.,.],[.,.]]]]]]=>[.,[[.,[.,[.,[[.,[.,.]],.]]]],.]]=>([(0,7),(1,6),(2,3),(2,4),(3,5),(4,6),(5,7)],8) [[[[[[.,.],.],[.,.]],[.,.]],.],.]=>[1,2,4,3,6,5,7,8]=>[.,[.,[[.,.],[[.,.],[.,[.,.]]]]]]=>[.,[.,[[.,[[.,[.,[.,.]]],.]],.]]]=>([(0,7),(1,6),(2,3),(2,4),(3,5),(4,6),(5,7)],8) [[[[[[[[.,.],.],.],.],.],.],.],.]=>[1,2,3,4,5,6,7,8]=>[.,[.,[.,[.,[.,[.,[.,[.,.]]]]]]]]=>[.,[.,[.,[.,[.,[.,[.,[.,.]]]]]]]]=>([(0,7),(1,6),(2,3),(2,4),(3,5),(4,6),(5,7)],8)
Map
to 312-avoiding permutation
Description
Return a 312-avoiding permutation corresponding to a binary tree.
The linear extensions of a binary tree form an interval of the weak order called the Sylvester class of the tree. This permutation is the minimal element of this Sylvester class.
Map
binary search tree: left to right
Description
Return the shape of the binary search tree of the permutation as a non labelled binary tree.
Map
left border symmetry
Description
Return the tree where a symmetry has been applied recursively on all left borders. If a tree is made of three trees $T_1, T_2, T_3$ on its left border, it becomes $T_3, T_2, T_1$ where same symmetry has been applied to $T_1, T_2, T_3$.
Map
to graph
Description
Return the undirected graph obtained from the tree nodes and edges, with leaves being ignored.