Identifier
Images
=>
Cc0010;cc-rep-0Cc0014;cc-rep-1Cc0029;cc-rep-2Cc0029;cc-rep-3
[.,.]=>([],1)=>([],1)=>([],1)
[.,[.,.]]=>([(0,1)],2)=>([(0,1)],2)=>([(0,1)],2)
[[.,.],.]=>([(0,1)],2)=>([(0,1)],2)=>([(0,1)],2)
[.,[.,[.,.]]]=>([(0,2),(2,1)],3)=>([(0,2),(2,1)],3)=>([(0,2),(2,1)],3)
[.,[[.,.],.]]=>([(0,2),(2,1)],3)=>([(0,2),(2,1)],3)=>([(0,2),(2,1)],3)
[[.,.],[.,.]]=>([(0,2),(1,2)],3)=>([(0,1)],2)=>([(0,1)],2)
[[.,[.,.]],.]=>([(0,2),(2,1)],3)=>([(0,2),(2,1)],3)=>([(0,2),(2,1)],3)
[[[.,.],.],.]=>([(0,2),(2,1)],3)=>([(0,2),(2,1)],3)=>([(0,2),(2,1)],3)
[.,[.,[.,[.,.]]]]=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4)
[.,[.,[[.,.],.]]]=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4)
[.,[[.,.],[.,.]]]=>([(0,3),(1,3),(3,2)],4)=>([(0,2),(2,1)],3)=>([(0,2),(2,1)],3)
[.,[[.,[.,.]],.]]=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4)
[.,[[[.,.],.],.]]=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4)
[[.,.],[.,[.,.]]]=>([(0,3),(1,2),(2,3)],4)=>([(0,2),(2,1)],3)=>([(0,2),(2,1)],3)
[[.,.],[[.,.],.]]=>([(0,3),(1,2),(2,3)],4)=>([(0,2),(2,1)],3)=>([(0,2),(2,1)],3)
[[.,[.,.]],[.,.]]=>([(0,3),(1,2),(2,3)],4)=>([(0,2),(2,1)],3)=>([(0,2),(2,1)],3)
[[[.,.],.],[.,.]]=>([(0,3),(1,2),(2,3)],4)=>([(0,2),(2,1)],3)=>([(0,2),(2,1)],3)
[[.,[.,[.,.]]],.]=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4)
[[.,[[.,.],.]],.]=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4)
[[[.,.],[.,.]],.]=>([(0,3),(1,3),(3,2)],4)=>([(0,2),(2,1)],3)=>([(0,2),(2,1)],3)
[[[.,[.,.]],.],.]=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4)
[[[[.,.],.],.],.]=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4)
[.,[.,[.,[.,[.,.]]]]]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[.,[.,[.,[[.,.],.]]]]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[.,[.,[[.,.],[.,.]]]]=>([(0,4),(1,4),(2,3),(4,2)],5)=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4)
[.,[.,[[.,[.,.]],.]]]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[.,[.,[[[.,.],.],.]]]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[.,[[.,.],[.,[.,.]]]]=>([(0,4),(1,2),(2,4),(4,3)],5)=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4)
[.,[[.,.],[[.,.],.]]]=>([(0,4),(1,2),(2,4),(4,3)],5)=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4)
[.,[[.,[.,.]],[.,.]]]=>([(0,4),(1,2),(2,4),(4,3)],5)=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4)
[.,[[[.,.],.],[.,.]]]=>([(0,4),(1,2),(2,4),(4,3)],5)=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4)
[.,[[.,[.,[.,.]]],.]]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[.,[[.,[[.,.],.]],.]]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[.,[[[.,.],[.,.]],.]]=>([(0,4),(1,4),(2,3),(4,2)],5)=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4)
[.,[[[.,[.,.]],.],.]]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[.,[[[[.,.],.],.],.]]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,.],[.,[.,[.,.]]]]=>([(0,4),(1,2),(2,3),(3,4)],5)=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4)
[[.,.],[.,[[.,.],.]]]=>([(0,4),(1,2),(2,3),(3,4)],5)=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4)
[[.,.],[[.,.],[.,.]]]=>([(0,4),(1,3),(2,3),(3,4)],5)=>([(0,2),(2,1)],3)=>([(0,2),(2,1)],3)
[[.,.],[[.,[.,.]],.]]=>([(0,4),(1,2),(2,3),(3,4)],5)=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4)
[[.,.],[[[.,.],.],.]]=>([(0,4),(1,2),(2,3),(3,4)],5)=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4)
[[.,[.,.]],[.,[.,.]]]=>([(0,3),(1,2),(2,4),(3,4)],5)=>([(0,2),(0,3),(2,4),(3,4),(4,1)],5)=>([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
[[.,[.,.]],[[.,.],.]]=>([(0,3),(1,2),(2,4),(3,4)],5)=>([(0,2),(0,3),(2,4),(3,4),(4,1)],5)=>([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
[[[.,.],.],[.,[.,.]]]=>([(0,3),(1,2),(2,4),(3,4)],5)=>([(0,2),(0,3),(2,4),(3,4),(4,1)],5)=>([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
[[[.,.],.],[[.,.],.]]=>([(0,3),(1,2),(2,4),(3,4)],5)=>([(0,2),(0,3),(2,4),(3,4),(4,1)],5)=>([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
[[.,[.,[.,.]]],[.,.]]=>([(0,4),(1,2),(2,3),(3,4)],5)=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4)
[[.,[[.,.],.]],[.,.]]=>([(0,4),(1,2),(2,3),(3,4)],5)=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4)
[[[.,.],[.,.]],[.,.]]=>([(0,4),(1,3),(2,3),(3,4)],5)=>([(0,2),(2,1)],3)=>([(0,2),(2,1)],3)
[[[.,[.,.]],.],[.,.]]=>([(0,4),(1,2),(2,3),(3,4)],5)=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4)
[[[[.,.],.],.],[.,.]]=>([(0,4),(1,2),(2,3),(3,4)],5)=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4)
[[.,[.,[.,[.,.]]]],.]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,[.,[[.,.],.]]],.]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,[[.,.],[.,.]]],.]=>([(0,4),(1,4),(2,3),(4,2)],5)=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4)
[[.,[[.,[.,.]],.]],.]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,[[[.,.],.],.]],.]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[.,.],[.,[.,.]]],.]=>([(0,4),(1,2),(2,4),(4,3)],5)=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4)
[[[.,.],[[.,.],.]],.]=>([(0,4),(1,2),(2,4),(4,3)],5)=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4)
[[[.,[.,.]],[.,.]],.]=>([(0,4),(1,2),(2,4),(4,3)],5)=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4)
[[[[.,.],.],[.,.]],.]=>([(0,4),(1,2),(2,4),(4,3)],5)=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4)
[[[.,[.,[.,.]]],.],.]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[.,[[.,.],.]],.],.]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[[.,.],[.,.]],.],.]=>([(0,4),(1,4),(2,3),(4,2)],5)=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4)
[[[[.,[.,.]],.],.],.]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[[[.,.],.],.],.],.]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[.,[.,[.,[.,[.,[.,.]]]]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[.,[.,[.,[[.,.],.]]]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[.,[.,[[.,.],[.,.]]]]]=>([(0,5),(1,5),(3,2),(4,3),(5,4)],6)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[.,[.,[.,[[.,[.,.]],.]]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[.,[.,[[[.,.],.],.]]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[.,[[.,.],[.,[.,.]]]]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[.,[.,[[.,.],[[.,.],.]]]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[.,[.,[[.,[.,.]],[.,.]]]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[.,[.,[[[.,.],.],[.,.]]]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[.,[.,[[.,[.,[.,.]]],.]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[.,[[.,[[.,.],.]],.]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[.,[[[.,.],[.,.]],.]]]=>([(0,5),(1,5),(3,2),(4,3),(5,4)],6)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[.,[.,[[[.,[.,.]],.],.]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[.,[[[[.,.],.],.],.]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[.,.],[.,[.,[.,.]]]]]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[.,[[.,.],[.,[[.,.],.]]]]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[.,[[.,.],[[.,.],[.,.]]]]=>([(0,5),(1,4),(2,4),(4,5),(5,3)],6)=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4)
[.,[[.,.],[[.,[.,.]],.]]]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[.,[[.,.],[[[.,.],.],.]]]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[.,[[.,[.,.]],[.,[.,.]]]]=>([(0,4),(1,3),(3,5),(4,5),(5,2)],6)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
[.,[[.,[.,.]],[[.,.],.]]]=>([(0,4),(1,3),(3,5),(4,5),(5,2)],6)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
[.,[[[.,.],.],[.,[.,.]]]]=>([(0,4),(1,3),(3,5),(4,5),(5,2)],6)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
[.,[[[.,.],.],[[.,.],.]]]=>([(0,4),(1,3),(3,5),(4,5),(5,2)],6)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
[.,[[.,[.,[.,.]]],[.,.]]]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[.,[[.,[[.,.],.]],[.,.]]]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[.,[[[.,.],[.,.]],[.,.]]]=>([(0,5),(1,4),(2,4),(4,5),(5,3)],6)=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4)
[.,[[[.,[.,.]],.],[.,.]]]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[.,[[[[.,.],.],.],[.,.]]]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[.,[[.,[.,[.,[.,.]]]],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[.,[.,[[.,.],.]]],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[.,[[.,.],[.,.]]],.]]=>([(0,5),(1,5),(3,2),(4,3),(5,4)],6)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[.,[[.,[[.,[.,.]],.]],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[.,[[[.,.],.],.]],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[[.,.],[.,[.,.]]],.]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[.,[[[.,.],[[.,.],.]],.]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[.,[[[.,[.,.]],[.,.]],.]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[.,[[[[.,.],.],[.,.]],.]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[.,[[[.,[.,[.,.]]],.],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[[.,[[.,.],.]],.],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[[[.,.],[.,.]],.],.]]=>([(0,5),(1,5),(3,2),(4,3),(5,4)],6)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[.,[[[[.,[.,.]],.],.],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[[[[.,.],.],.],.],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,.],[.,[.,[.,[.,.]]]]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,.],[.,[.,[[.,.],.]]]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,.],[.,[[.,.],[.,.]]]]=>([(0,5),(1,4),(2,4),(3,5),(4,3)],6)=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4)
[[.,.],[.,[[.,[.,.]],.]]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,.],[.,[[[.,.],.],.]]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,.],[[.,.],[.,[.,.]]]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],6)=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4)
[[.,.],[[.,.],[[.,.],.]]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],6)=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4)
[[.,.],[[.,[.,.]],[.,.]]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],6)=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4)
[[.,.],[[[.,.],.],[.,.]]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],6)=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4)
[[.,.],[[.,[.,[.,.]]],.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,.],[[.,[[.,.],.]],.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,.],[[[.,.],[.,.]],.]]=>([(0,5),(1,4),(2,4),(3,5),(4,3)],6)=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4)
[[.,.],[[[.,[.,.]],.],.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,.],[[[[.,.],.],.],.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,[.,.]],[.,[.,[.,.]]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
[[.,[.,.]],[.,[[.,.],.]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
[[.,[.,.]],[[.,.],[.,.]]]=>([(0,4),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,2),(0,3),(2,4),(3,4),(4,1)],5)=>([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
[[.,[.,.]],[[.,[.,.]],.]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
[[.,[.,.]],[[[.,.],.],.]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
[[[.,.],.],[.,[.,[.,.]]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
[[[.,.],.],[.,[[.,.],.]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
[[[.,.],.],[[.,.],[.,.]]]=>([(0,4),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,2),(0,3),(2,4),(3,4),(4,1)],5)=>([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
[[[.,.],.],[[.,[.,.]],.]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
[[[.,.],.],[[[.,.],.],.]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
[[.,[.,[.,.]]],[.,[.,.]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
[[.,[.,[.,.]]],[[.,.],.]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
[[.,[[.,.],.]],[.,[.,.]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
[[.,[[.,.],.]],[[.,.],.]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
[[[.,.],[.,.]],[.,[.,.]]]=>([(0,4),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,2),(0,3),(2,4),(3,4),(4,1)],5)=>([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
[[[.,.],[.,.]],[[.,.],.]]=>([(0,4),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,2),(0,3),(2,4),(3,4),(4,1)],5)=>([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
[[[.,[.,.]],.],[.,[.,.]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
[[[.,[.,.]],.],[[.,.],.]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
[[[[.,.],.],.],[.,[.,.]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
[[[[.,.],.],.],[[.,.],.]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
[[.,[.,[.,[.,.]]]],[.,.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,[.,[[.,.],.]]],[.,.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,[[.,.],[.,.]]],[.,.]]=>([(0,5),(1,4),(2,4),(3,5),(4,3)],6)=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4)
[[.,[[.,[.,.]],.]],[.,.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,[[[.,.],.],.]],[.,.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[.,.],[.,[.,.]]],[.,.]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],6)=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4)
[[[.,.],[[.,.],.]],[.,.]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],6)=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4)
[[[.,[.,.]],[.,.]],[.,.]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],6)=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4)
[[[[.,.],.],[.,.]],[.,.]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],6)=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4)
[[[.,[.,[.,.]]],.],[.,.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[.,[[.,.],.]],.],[.,.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[[.,.],[.,.]],.],[.,.]]=>([(0,5),(1,4),(2,4),(3,5),(4,3)],6)=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4)
[[[[.,[.,.]],.],.],[.,.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[[[.,.],.],.],.],[.,.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,[.,[.,[.,[.,.]]]]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[.,[.,[[.,.],.]]]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[.,[[.,.],[.,.]]]],.]=>([(0,5),(1,5),(3,2),(4,3),(5,4)],6)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,[.,[[.,[.,.]],.]]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[.,[[[.,.],.],.]]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[[.,.],[.,[.,.]]]],.]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,[[.,.],[[.,.],.]]],.]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,[[.,[.,.]],[.,.]]],.]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,[[[.,.],.],[.,.]]],.]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,[[.,[.,[.,.]]],.]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[[.,[[.,.],.]],.]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[[[.,.],[.,.]],.]],.]=>([(0,5),(1,5),(3,2),(4,3),(5,4)],6)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,[[[.,[.,.]],.],.]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[[[[.,.],.],.],.]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[.,.],[.,[.,[.,.]]]],.]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[.,.],[.,[[.,.],.]]],.]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[.,.],[[.,.],[.,.]]],.]=>([(0,5),(1,4),(2,4),(4,5),(5,3)],6)=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4)
[[[.,.],[[.,[.,.]],.]],.]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[.,.],[[[.,.],.],.]],.]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[.,[.,.]],[.,[.,.]]],.]=>([(0,4),(1,3),(3,5),(4,5),(5,2)],6)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
[[[.,[.,.]],[[.,.],.]],.]=>([(0,4),(1,3),(3,5),(4,5),(5,2)],6)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
[[[[.,.],.],[.,[.,.]]],.]=>([(0,4),(1,3),(3,5),(4,5),(5,2)],6)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
[[[[.,.],.],[[.,.],.]],.]=>([(0,4),(1,3),(3,5),(4,5),(5,2)],6)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
[[[.,[.,[.,.]]],[.,.]],.]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[.,[[.,.],.]],[.,.]],.]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[[.,.],[.,.]],[.,.]],.]=>([(0,5),(1,4),(2,4),(4,5),(5,3)],6)=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4)
[[[[.,[.,.]],.],[.,.]],.]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[[[.,.],.],.],[.,.]],.]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[.,[.,[.,[.,.]]]],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[.,[.,[[.,.],.]]],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[.,[[.,.],[.,.]]],.],.]=>([(0,5),(1,5),(3,2),(4,3),(5,4)],6)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[.,[[.,[.,.]],.]],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[.,[[[.,.],.],.]],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[[.,.],[.,[.,.]]],.],.]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[[.,.],[[.,.],.]],.],.]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[[.,[.,.]],[.,.]],.],.]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[[[.,.],.],[.,.]],.],.]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[[.,[.,[.,.]]],.],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[[.,[[.,.],.]],.],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[[[.,.],[.,.]],.],.],.]=>([(0,5),(1,5),(3,2),(4,3),(5,4)],6)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[[[.,[.,.]],.],.],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[[[[.,.],.],.],.],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[.,[.,[.,[.,[.,[.,.]]]]]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[.,[.,[.,[.,[[.,.],.]]]]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[.,[.,[.,[[.,.],[.,.]]]]]]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[.,[.,[.,[[.,[.,.]],.]]]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[.,[.,[.,[[[.,.],.],.]]]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[.,[.,[[.,.],[.,[.,.]]]]]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[.,[.,[[.,.],[[.,.],.]]]]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[.,[.,[[.,[.,.]],[.,.]]]]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[.,[.,[[[.,.],.],[.,.]]]]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[.,[.,[[.,[.,[.,.]]],.]]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[.,[.,[[.,[[.,.],.]],.]]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[.,[.,[[[.,.],[.,.]],.]]]]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[.,[.,[[[.,[.,.]],.],.]]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[.,[.,[[[[.,.],.],.],.]]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[.,[[.,.],[.,[.,[.,.]]]]]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[.,[[.,.],[.,[[.,.],.]]]]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[.,[[.,.],[[.,.],[.,.]]]]]=>([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[.,[.,[[.,.],[[.,[.,.]],.]]]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[.,[[.,.],[[[.,.],.],.]]]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[.,[[.,[.,.]],[.,[.,.]]]]]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)=>([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
[.,[.,[[.,[.,.]],[[.,.],.]]]]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)=>([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
[.,[.,[[[.,.],.],[.,[.,.]]]]]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)=>([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
[.,[.,[[[.,.],.],[[.,.],.]]]]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)=>([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
[.,[.,[[.,[.,[.,.]]],[.,.]]]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[.,[[.,[[.,.],.]],[.,.]]]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[.,[[[.,.],[.,.]],[.,.]]]]=>([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[.,[.,[[[.,[.,.]],.],[.,.]]]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[.,[[[[.,.],.],.],[.,.]]]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[.,[[.,[.,[.,[.,.]]]],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[.,[[.,[.,[[.,.],.]]],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[.,[[.,[[.,.],[.,.]]],.]]]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[.,[[.,[[.,[.,.]],.]],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[.,[[.,[[[.,.],.],.]],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[.,[[[.,.],[.,[.,.]]],.]]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[.,[[[.,.],[[.,.],.]],.]]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[.,[[[.,[.,.]],[.,.]],.]]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[.,[[[[.,.],.],[.,.]],.]]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[.,[[[.,[.,[.,.]]],.],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[.,[[[.,[[.,.],.]],.],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[.,[[[[.,.],[.,.]],.],.]]]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[.,[[[[.,[.,.]],.],.],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[.,[[[[[.,.],.],.],.],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[.,.],[.,[.,[.,[.,.]]]]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[.,.],[.,[.,[[.,.],.]]]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[.,.],[.,[[.,.],[.,.]]]]]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[.,[[.,.],[.,[[.,[.,.]],.]]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[.,.],[.,[[[.,.],.],.]]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[.,.],[[.,.],[.,[.,.]]]]]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[.,[[.,.],[[.,.],[[.,.],.]]]]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[.,[[.,.],[[.,[.,.]],[.,.]]]]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[.,[[.,.],[[[.,.],.],[.,.]]]]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[.,[[.,.],[[.,[.,[.,.]]],.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[.,.],[[.,[[.,.],.]],.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[.,.],[[[.,.],[.,.]],.]]]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[.,[[.,.],[[[.,[.,.]],.],.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[.,.],[[[[.,.],.],.],.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[.,[.,.]],[.,[.,[.,.]]]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
[.,[[.,[.,.]],[.,[[.,.],.]]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
[.,[[.,[.,.]],[[.,.],[.,.]]]]=>([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
[.,[[.,[.,.]],[[.,[.,.]],.]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
[.,[[.,[.,.]],[[[.,.],.],.]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
[.,[[[.,.],.],[.,[.,[.,.]]]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
[.,[[[.,.],.],[.,[[.,.],.]]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
[.,[[[.,.],.],[[.,.],[.,.]]]]=>([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
[.,[[[.,.],.],[[.,[.,.]],.]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
[.,[[[.,.],.],[[[.,.],.],.]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
[.,[[.,[.,[.,.]]],[.,[.,.]]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
[.,[[.,[.,[.,.]]],[[.,.],.]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
[.,[[.,[[.,.],.]],[.,[.,.]]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
[.,[[.,[[.,.],.]],[[.,.],.]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
[.,[[[.,.],[.,.]],[.,[.,.]]]]=>([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
[.,[[[.,.],[.,.]],[[.,.],.]]]=>([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
[.,[[[.,[.,.]],.],[.,[.,.]]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
[.,[[[.,[.,.]],.],[[.,.],.]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
[.,[[[[.,.],.],.],[.,[.,.]]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
[.,[[[[.,.],.],.],[[.,.],.]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
[.,[[.,[.,[.,[.,.]]]],[.,.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[.,[.,[[.,.],.]]],[.,.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[.,[[.,.],[.,.]]],[.,.]]]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[.,[[.,[[.,[.,.]],.]],[.,.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[.,[[[.,.],.],.]],[.,.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[[.,.],[.,[.,.]]],[.,.]]]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[.,[[[.,.],[[.,.],.]],[.,.]]]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[.,[[[.,[.,.]],[.,.]],[.,.]]]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[.,[[[[.,.],.],[.,.]],[.,.]]]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[.,[[[.,[.,[.,.]]],.],[.,.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[[.,[[.,.],.]],.],[.,.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[[[.,.],[.,.]],.],[.,.]]]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[.,[[[[.,[.,.]],.],.],[.,.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[[[[.,.],.],.],.],[.,.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[.,[.,[.,[.,[.,.]]]]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[.,[.,[.,[[.,.],.]]]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[.,[.,[[.,.],[.,.]]]],.]]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[.,[.,[[.,[.,.]],.]]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[.,[.,[[[.,.],.],.]]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[.,[[.,.],[.,[.,.]]]],.]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[.,[[.,.],[[.,.],.]]],.]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[.,[[.,[.,.]],[.,.]]],.]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[.,[[[.,.],.],[.,.]]],.]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[.,[[.,[.,[.,.]]],.]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[.,[[.,[[.,.],.]],.]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[.,[[[.,.],[.,.]],.]],.]]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[.,[[[.,[.,.]],.],.]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[.,[[[[.,.],.],.],.]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[[.,.],[.,[.,[.,.]]]],.]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[[.,.],[.,[[.,.],.]]],.]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[[.,.],[[.,.],[.,.]]],.]]=>([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[.,[[[.,.],[[.,[.,.]],.]],.]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[[.,.],[[[.,.],.],.]],.]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[[.,[.,.]],[.,[.,.]]],.]]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)=>([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
[.,[[[.,[.,.]],[[.,.],.]],.]]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)=>([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
[.,[[[[.,.],.],[.,[.,.]]],.]]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)=>([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
[.,[[[[.,.],.],[[.,.],.]],.]]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)=>([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
[.,[[[.,[.,[.,.]]],[.,.]],.]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[[.,[[.,.],.]],[.,.]],.]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[[[.,.],[.,.]],[.,.]],.]]=>([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[.,[[[[.,[.,.]],.],[.,.]],.]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[[[[.,.],.],.],[.,.]],.]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[[.,[.,[.,[.,.]]]],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[[.,[.,[[.,.],.]]],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[[.,[[.,.],[.,.]]],.],.]]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[[.,[[.,[.,.]],.]],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[[.,[[[.,.],.],.]],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[[[.,.],[.,[.,.]]],.],.]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[[[.,.],[[.,.],.]],.],.]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[[[.,[.,.]],[.,.]],.],.]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[[[[.,.],.],[.,.]],.],.]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[[[.,[.,[.,.]]],.],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[[[.,[[.,.],.]],.],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[[[[.,.],[.,.]],.],.],.]]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[[[[.,[.,.]],.],.],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[.,[[[[[[.,.],.],.],.],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,.],[.,[.,[.,[.,[.,.]]]]]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,.],[.,[.,[.,[[.,.],.]]]]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,.],[.,[.,[[.,.],[.,.]]]]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,.],[.,[.,[[.,[.,.]],.]]]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,.],[.,[.,[[[.,.],.],.]]]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,.],[.,[[.,.],[.,[.,.]]]]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,.],[.,[[.,.],[[.,.],.]]]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,.],[.,[[.,[.,.]],[.,.]]]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,.],[.,[[[.,.],.],[.,.]]]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,.],[.,[[.,[.,[.,.]]],.]]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,.],[.,[[.,[[.,.],.]],.]]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,.],[.,[[[.,.],[.,.]],.]]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,.],[.,[[[.,[.,.]],.],.]]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,.],[.,[[[[.,.],.],.],.]]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,.],[[.,.],[.,[.,[.,.]]]]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,.],[[.,.],[.,[[.,.],.]]]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,.],[[.,.],[[.,.],[.,.]]]]=>([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7)=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4)
[[.,.],[[.,.],[[.,[.,.]],.]]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,.],[[.,.],[[[.,.],.],.]]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,.],[[.,[.,.]],[.,[.,.]]]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
[[.,.],[[.,[.,.]],[[.,.],.]]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
[[.,.],[[[.,.],.],[.,[.,.]]]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
[[.,.],[[[.,.],.],[[.,.],.]]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
[[.,.],[[.,[.,[.,.]]],[.,.]]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,.],[[.,[[.,.],.]],[.,.]]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,.],[[[.,.],[.,.]],[.,.]]]=>([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7)=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4)
[[.,.],[[[.,[.,.]],.],[.,.]]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,.],[[[[.,.],.],.],[.,.]]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,.],[[.,[.,[.,[.,.]]]],.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,.],[[.,[.,[[.,.],.]]],.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,.],[[.,[[.,.],[.,.]]],.]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,.],[[.,[[.,[.,.]],.]],.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,.],[[.,[[[.,.],.],.]],.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,.],[[[.,.],[.,[.,.]]],.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,.],[[[.,.],[[.,.],.]],.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,.],[[[.,[.,.]],[.,.]],.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,.],[[[[.,.],.],[.,.]],.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,.],[[[.,[.,[.,.]]],.],.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,.],[[[.,[[.,.],.]],.],.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,.],[[[[.,.],[.,.]],.],.]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,.],[[[[.,[.,.]],.],.],.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,.],[[[[[.,.],.],.],.],.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[.,.]],[.,[.,[.,[.,.]]]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
[[.,[.,.]],[.,[.,[[.,.],.]]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
[[.,[.,.]],[.,[[.,.],[.,.]]]]=>([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
[[.,[.,.]],[.,[[.,[.,.]],.]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
[[.,[.,.]],[.,[[[.,.],.],.]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
[[.,[.,.]],[[.,.],[.,[.,.]]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
[[.,[.,.]],[[.,.],[[.,.],.]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
[[.,[.,.]],[[.,[.,.]],[.,.]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
[[.,[.,.]],[[[.,.],.],[.,.]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
[[.,[.,.]],[[.,[.,[.,.]]],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
[[.,[.,.]],[[.,[[.,.],.]],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
[[.,[.,.]],[[[.,.],[.,.]],.]]=>([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
[[.,[.,.]],[[[.,[.,.]],.],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
[[.,[.,.]],[[[[.,.],.],.],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
[[[.,.],.],[.,[.,[.,[.,.]]]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
[[[.,.],.],[.,[.,[[.,.],.]]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
[[[.,.],.],[.,[[.,.],[.,.]]]]=>([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
[[[.,.],.],[.,[[.,[.,.]],.]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
[[[.,.],.],[.,[[[.,.],.],.]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
[[[.,.],.],[[.,.],[.,[.,.]]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
[[[.,.],.],[[.,.],[[.,.],.]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
[[[.,.],.],[[.,[.,.]],[.,.]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
[[[.,.],.],[[[.,.],.],[.,.]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
[[[.,.],.],[[.,[.,[.,.]]],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
[[[.,.],.],[[.,[[.,.],.]],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
[[[.,.],.],[[[.,.],[.,.]],.]]=>([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
[[[.,.],.],[[[.,[.,.]],.],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
[[[.,.],.],[[[[.,.],.],.],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
[[.,[.,[.,.]]],[.,[.,[.,.]]]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)=>([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
[[.,[.,[.,.]]],[.,[[.,.],.]]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)=>([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
[[.,[.,[.,.]]],[[.,.],[.,.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
[[.,[.,[.,.]]],[[.,[.,.]],.]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)=>([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
[[.,[.,[.,.]]],[[[.,.],.],.]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)=>([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
[[.,[[.,.],.]],[.,[.,[.,.]]]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)=>([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
[[.,[[.,.],.]],[.,[[.,.],.]]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)=>([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
[[.,[[.,.],.]],[[.,.],[.,.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
[[.,[[.,.],.]],[[.,[.,.]],.]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)=>([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
[[.,[[.,.],.]],[[[.,.],.],.]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)=>([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
[[[.,.],[.,.]],[.,[.,[.,.]]]]=>([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
[[[.,.],[.,.]],[.,[[.,.],.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
[[[.,.],[.,.]],[[.,.],[.,.]]]=>([(0,5),(1,5),(2,4),(3,4),(4,6),(5,6)],7)=>([(0,2),(0,3),(2,4),(3,4),(4,1)],5)=>([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
[[[.,.],[.,.]],[[.,[.,.]],.]]=>([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
[[[.,.],[.,.]],[[[.,.],.],.]]=>([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
[[[.,[.,.]],.],[.,[.,[.,.]]]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)=>([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
[[[.,[.,.]],.],[.,[[.,.],.]]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)=>([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
[[[.,[.,.]],.],[[.,.],[.,.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
[[[.,[.,.]],.],[[.,[.,.]],.]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)=>([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
[[[.,[.,.]],.],[[[.,.],.],.]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)=>([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
[[[[.,.],.],.],[.,[.,[.,.]]]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)=>([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
[[[[.,.],.],.],[.,[[.,.],.]]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)=>([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
[[[[.,.],.],.],[[.,.],[.,.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
[[[[.,.],.],.],[[.,[.,.]],.]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)=>([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
[[[[.,.],.],.],[[[.,.],.],.]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)=>([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
[[.,[.,[.,[.,.]]]],[.,[.,.]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
[[.,[.,[.,[.,.]]]],[[.,.],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
[[.,[.,[[.,.],.]]],[.,[.,.]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
[[.,[.,[[.,.],.]]],[[.,.],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
[[.,[[.,.],[.,.]]],[.,[.,.]]]=>([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
[[.,[[.,.],[.,.]]],[[.,.],.]]=>([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
[[.,[[.,[.,.]],.]],[.,[.,.]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
[[.,[[.,[.,.]],.]],[[.,.],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
[[.,[[[.,.],.],.]],[.,[.,.]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
[[.,[[[.,.],.],.]],[[.,.],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
[[[.,.],[.,[.,.]]],[.,[.,.]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
[[[.,.],[.,[.,.]]],[[.,.],.]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
[[[.,.],[[.,.],.]],[.,[.,.]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
[[[.,.],[[.,.],.]],[[.,.],.]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
[[[.,[.,.]],[.,.]],[.,[.,.]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
[[[.,[.,.]],[.,.]],[[.,.],.]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
[[[[.,.],.],[.,.]],[.,[.,.]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
[[[[.,.],.],[.,.]],[[.,.],.]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
[[[.,[.,[.,.]]],.],[.,[.,.]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
[[[.,[.,[.,.]]],.],[[.,.],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
[[[.,[[.,.],.]],.],[.,[.,.]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
[[[.,[[.,.],.]],.],[[.,.],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
[[[[.,.],[.,.]],.],[.,[.,.]]]=>([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
[[[[.,.],[.,.]],.],[[.,.],.]]=>([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
[[[[.,[.,.]],.],.],[.,[.,.]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
[[[[.,[.,.]],.],.],[[.,.],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
[[[[[.,.],.],.],.],[.,[.,.]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
[[[[[.,.],.],.],.],[[.,.],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
[[.,[.,[.,[.,[.,.]]]]],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[.,[.,[[.,.],.]]]],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[.,[[.,.],[.,.]]]],[.,.]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,[.,[[.,[.,.]],.]]],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[.,[[[.,.],.],.]]],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[[.,.],[.,[.,.]]]],[.,.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,[[.,.],[[.,.],.]]],[.,.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,[[.,[.,.]],[.,.]]],[.,.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,[[[.,.],.],[.,.]]],[.,.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,[[.,[.,[.,.]]],.]],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[[.,[[.,.],.]],.]],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[[[.,.],[.,.]],.]],[.,.]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,[[[.,[.,.]],.],.]],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[[[[.,.],.],.],.]],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[.,.],[.,[.,[.,.]]]],[.,.]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[.,.],[.,[[.,.],.]]],[.,.]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[.,.],[[.,.],[.,.]]],[.,.]]=>([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7)=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4)
[[[.,.],[[.,[.,.]],.]],[.,.]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[.,.],[[[.,.],.],.]],[.,.]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[.,[.,.]],[.,[.,.]]],[.,.]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
[[[.,[.,.]],[[.,.],.]],[.,.]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
[[[[.,.],.],[.,[.,.]]],[.,.]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
[[[[.,.],.],[[.,.],.]],[.,.]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
[[[.,[.,[.,.]]],[.,.]],[.,.]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[.,[[.,.],.]],[.,.]],[.,.]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[[.,.],[.,.]],[.,.]],[.,.]]=>([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7)=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4)
[[[[.,[.,.]],.],[.,.]],[.,.]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[[[.,.],.],.],[.,.]],[.,.]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[.,[.,[.,[.,.]]]],.],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[.,[.,[[.,.],.]]],.],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[.,[[.,.],[.,.]]],.],[.,.]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[.,[[.,[.,.]],.]],.],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[.,[[[.,.],.],.]],.],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[[.,.],[.,[.,.]]],.],[.,.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[[.,.],[[.,.],.]],.],[.,.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[[.,[.,.]],[.,.]],.],[.,.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[[[.,.],.],[.,.]],.],[.,.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[[.,[.,[.,.]]],.],.],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[[.,[[.,.],.]],.],.],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[[[.,.],[.,.]],.],.],[.,.]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[[[.,[.,.]],.],.],.],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[[[[.,.],.],.],.],.],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[.,[.,[.,[.,[.,.]]]]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[.,[.,[.,[[.,.],.]]]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[.,[.,[[.,.],[.,.]]]]],.]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[.,[.,[[.,[.,.]],.]]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[.,[.,[[[.,.],.],.]]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[.,[[.,.],[.,[.,.]]]]],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[.,[[.,.],[[.,.],.]]]],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[.,[[.,[.,.]],[.,.]]]],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[.,[[[.,.],.],[.,.]]]],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[.,[[.,[.,[.,.]]],.]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[.,[[.,[[.,.],.]],.]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[.,[[[.,.],[.,.]],.]]],.]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[.,[[[.,[.,.]],.],.]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[.,[[[[.,.],.],.],.]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[[.,.],[.,[.,[.,.]]]]],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[[.,.],[.,[[.,.],.]]]],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[[.,.],[[.,.],[.,.]]]],.]=>([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,[[.,.],[[.,[.,.]],.]]],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[[.,.],[[[.,.],.],.]]],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[[.,[.,.]],[.,[.,.]]]],.]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)=>([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
[[.,[[.,[.,.]],[[.,.],.]]],.]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)=>([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
[[.,[[[.,.],.],[.,[.,.]]]],.]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)=>([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
[[.,[[[.,.],.],[[.,.],.]]],.]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)=>([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
[[.,[[.,[.,[.,.]]],[.,.]]],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[[.,[[.,.],.]],[.,.]]],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[[[.,.],[.,.]],[.,.]]],.]=>([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,[[[.,[.,.]],.],[.,.]]],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[[[[.,.],.],.],[.,.]]],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[[.,[.,[.,[.,.]]]],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[[.,[.,[[.,.],.]]],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[[.,[[.,.],[.,.]]],.]],.]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[[.,[[.,[.,.]],.]],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[[.,[[[.,.],.],.]],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[[[.,.],[.,[.,.]]],.]],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[[[.,.],[[.,.],.]],.]],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[[[.,[.,.]],[.,.]],.]],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[[[[.,.],.],[.,.]],.]],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[[[.,[.,[.,.]]],.],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[[[.,[[.,.],.]],.],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[[[[.,.],[.,.]],.],.]],.]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[[[[.,[.,.]],.],.],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[.,[[[[[.,.],.],.],.],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,.],[.,[.,[.,[.,.]]]]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[.,.],[.,[.,[[.,.],.]]]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[.,.],[.,[[.,.],[.,.]]]],.]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[.,.],[.,[[.,[.,.]],.]]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[.,.],[.,[[[.,.],.],.]]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[.,.],[[.,.],[.,[.,.]]]],.]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[.,.],[[.,.],[[.,.],.]]],.]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[.,.],[[.,[.,.]],[.,.]]],.]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[.,.],[[[.,.],.],[.,.]]],.]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[.,.],[[.,[.,[.,.]]],.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[.,.],[[.,[[.,.],.]],.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[.,.],[[[.,.],[.,.]],.]],.]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[.,.],[[[.,[.,.]],.],.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[.,.],[[[[.,.],.],.],.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[.,[.,.]],[.,[.,[.,.]]]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
[[[.,[.,.]],[.,[[.,.],.]]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
[[[.,[.,.]],[[.,.],[.,.]]],.]=>([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
[[[.,[.,.]],[[.,[.,.]],.]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
[[[.,[.,.]],[[[.,.],.],.]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
[[[[.,.],.],[.,[.,[.,.]]]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
[[[[.,.],.],[.,[[.,.],.]]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
[[[[.,.],.],[[.,.],[.,.]]],.]=>([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
[[[[.,.],.],[[.,[.,.]],.]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
[[[[.,.],.],[[[.,.],.],.]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
[[[.,[.,[.,.]]],[.,[.,.]]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
[[[.,[.,[.,.]]],[[.,.],.]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
[[[.,[[.,.],.]],[.,[.,.]]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
[[[.,[[.,.],.]],[[.,.],.]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
[[[[.,.],[.,.]],[.,[.,.]]],.]=>([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
[[[[.,.],[.,.]],[[.,.],.]],.]=>([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
[[[[.,[.,.]],.],[.,[.,.]]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
[[[[.,[.,.]],.],[[.,.],.]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
[[[[[.,.],.],.],[.,[.,.]]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
[[[[[.,.],.],.],[[.,.],.]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
[[[.,[.,[.,[.,.]]]],[.,.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[.,[.,[[.,.],.]]],[.,.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[.,[[.,.],[.,.]]],[.,.]],.]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[.,[[.,[.,.]],.]],[.,.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[.,[[[.,.],.],.]],[.,.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[[.,.],[.,[.,.]]],[.,.]],.]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[[.,.],[[.,.],.]],[.,.]],.]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[[.,[.,.]],[.,.]],[.,.]],.]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[[[.,.],.],[.,.]],[.,.]],.]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[[.,[.,[.,.]]],.],[.,.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[[.,[[.,.],.]],.],[.,.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[[[.,.],[.,.]],.],[.,.]],.]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[[[.,[.,.]],.],.],[.,.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[[[[.,.],.],.],.],[.,.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[.,[.,[.,[.,[.,.]]]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,[.,[.,[[.,.],.]]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,[.,[[.,.],[.,.]]]],.],.]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[.,[.,[[.,[.,.]],.]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,[.,[[[.,.],.],.]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,[[.,.],[.,[.,.]]]],.],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[.,[[.,.],[[.,.],.]]],.],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[.,[[.,[.,.]],[.,.]]],.],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[.,[[[.,.],.],[.,.]]],.],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[.,[[.,[.,[.,.]]],.]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,[[.,[[.,.],.]],.]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,[[[.,.],[.,.]],.]],.],.]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[.,[[[.,[.,.]],.],.]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,[[[[.,.],.],.],.]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[.,.],[.,[.,[.,.]]]],.],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[[.,.],[.,[[.,.],.]]],.],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[[.,.],[[.,.],[.,.]]],.],.]=>([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[[.,.],[[.,[.,.]],.]],.],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[[.,.],[[[.,.],.],.]],.],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[[.,[.,.]],[.,[.,.]]],.],.]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)=>([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
[[[[.,[.,.]],[[.,.],.]],.],.]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)=>([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
[[[[[.,.],.],[.,[.,.]]],.],.]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)=>([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
[[[[[.,.],.],[[.,.],.]],.],.]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)=>([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
[[[[.,[.,[.,.]]],[.,.]],.],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[[.,[[.,.],.]],[.,.]],.],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[[[.,.],[.,.]],[.,.]],.],.]=>([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[[[.,[.,.]],.],[.,.]],.],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[[[[.,.],.],.],[.,.]],.],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[[.,[.,[.,[.,.]]]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[.,[.,[[.,.],.]]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[.,[[.,.],[.,.]]],.],.],.]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[[.,[[.,[.,.]],.]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[.,[[[.,.],.],.]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[[.,.],[.,[.,.]]],.],.],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[[[.,.],[[.,.],.]],.],.],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[[[.,[.,.]],[.,.]],.],.],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[[[[.,.],.],[.,.]],.],.],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[[[.,[.,[.,.]]],.],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[[.,[[.,.],.]],.],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[[[.,.],[.,.]],.],.],.],.]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[[[[.,[.,.]],.],.],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[[[[[.,.],.],.],.],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
[[[.,.],[.,.]],[.,[.,[.,[.,.]]]]]=>([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
[[[.,.],[.,.]],[.,[.,[[.,.],.]]]]=>([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
[[[.,.],[.,.]],[.,[[.,[.,.]],.]]]=>([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
[[[.,.],[.,.]],[.,[[[.,.],.],.]]]=>([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
[[[.,.],[.,.]],[[.,[.,[.,.]]],.]]=>([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
[[[.,.],[.,.]],[[.,[[.,.],.]],.]]=>([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
[[[.,.],[.,.]],[[[.,[.,.]],.],.]]=>([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
[[[.,.],[.,.]],[[[[.,.],.],.],.]]=>([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
[[.,[.,[.,[.,.]]]],[[.,.],[.,.]]]=>([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
[[.,[.,[[.,.],.]]],[[.,.],[.,.]]]=>([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
[[.,[[.,[.,.]],.]],[[.,.],[.,.]]]=>([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
[[.,[[[.,.],.],.]],[[.,.],[.,.]]]=>([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
[[[.,[.,[.,.]]],.],[[.,.],[.,.]]]=>([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
[[[.,[[.,.],.]],.],[[.,.],[.,.]]]=>([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
[[[[.,[.,.]],.],.],[[.,.],[.,.]]]=>([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
[[[[[.,.],.],.],.],[[.,.],[.,.]]]=>([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
Map
to poset
Description
Return the poset obtained by interpreting the tree as a Hasse diagram.
Map
maximal antichains
Description
The lattice of maximal antichains in a poset.
An antichain $A$ in a poset is maximal if there is no antichain of larger cardinality which contains all elements of $A$.
The set of maximal antichains can be ordered by setting $A \leq B \Leftrightarrow \mathop{\downarrow} A \subseteq \mathop{\downarrow}B$, where $\mathop{\downarrow}A$ is the order ideal generated by $A$.
An antichain $A$ in a poset is maximal if there is no antichain of larger cardinality which contains all elements of $A$.
The set of maximal antichains can be ordered by setting $A \leq B \Leftrightarrow \mathop{\downarrow} A \subseteq \mathop{\downarrow}B$, where $\mathop{\downarrow}A$ is the order ideal generated by $A$.
Map
The modular quotient of a lattice.
Description
The modular quotient of a lattice.
This is the largest quotient of a lattice which is modular.
This is the largest quotient of a lattice which is modular.
searching the database
Sorry, this map was not found in the database.