Identifier
Images
=>
Cc0010;cc-rep-0Cc0014;cc-rep-1Cc0029;cc-rep-2
[.,.]=>([],1)=>([],1)
[.,[.,.]]=>([(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),(1,2)],3)=>([],1)
[[.,[.,.]],.]=>([(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),(1,3),(3,2)],4)=>([],1)
[.,[[.,[.,.]],.]]=>([(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,1)],2)
[[.,.],[[.,.],.]]=>([(0,3),(1,2),(2,3)],4)=>([(0,1)],2)
[[.,[.,.]],[.,.]]=>([(0,3),(1,2),(2,3)],4)=>([(0,1)],2)
[[[.,.],.],[.,.]]=>([(0,3),(1,2),(2,3)],4)=>([(0,1)],2)
[[.,[.,[.,.]]],.]=>([(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)=>([],1)
[[[.,[.,.]],.],.]=>([(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),(1,4),(2,3),(4,2)],5)=>([],1)
[.,[.,[[.,[.,.]],.]]]=>([(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,1)],2)
[.,[[.,.],[[.,.],.]]]=>([(0,4),(1,2),(2,4),(4,3)],5)=>([(0,1)],2)
[.,[[.,[.,.]],[.,.]]]=>([(0,4),(1,2),(2,4),(4,3)],5)=>([(0,1)],2)
[.,[[[.,.],.],[.,.]]]=>([(0,4),(1,2),(2,4),(4,3)],5)=>([(0,1)],2)
[.,[[.,[.,[.,.]]],.]]=>([(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)=>([],1)
[.,[[[.,[.,.]],.],.]]=>([(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,2),(2,1)],3)
[[.,.],[.,[[.,.],.]]]=>([(0,4),(1,2),(2,3),(3,4)],5)=>([(0,2),(2,1)],3)
[[.,.],[[.,.],[.,.]]]=>([(0,4),(1,3),(2,3),(3,4)],5)=>([],1)
[[.,.],[[.,[.,.]],.]]=>([(0,4),(1,2),(2,3),(3,4)],5)=>([(0,2),(2,1)],3)
[[.,.],[[[.,.],.],.]]=>([(0,4),(1,2),(2,3),(3,4)],5)=>([(0,2),(2,1)],3)
[[.,[.,.]],[.,[.,.]]]=>([(0,3),(1,2),(2,4),(3,4)],5)=>([(0,1),(0,2),(1,3),(2,3)],4)
[[.,[.,.]],[[.,.],.]]=>([(0,3),(1,2),(2,4),(3,4)],5)=>([(0,1),(0,2),(1,3),(2,3)],4)
[[[.,.],.],[.,[.,.]]]=>([(0,3),(1,2),(2,4),(3,4)],5)=>([(0,1),(0,2),(1,3),(2,3)],4)
[[[.,.],.],[[.,.],.]]=>([(0,3),(1,2),(2,4),(3,4)],5)=>([(0,1),(0,2),(1,3),(2,3)],4)
[[.,[.,[.,.]]],[.,.]]=>([(0,4),(1,2),(2,3),(3,4)],5)=>([(0,2),(2,1)],3)
[[.,[[.,.],.]],[.,.]]=>([(0,4),(1,2),(2,3),(3,4)],5)=>([(0,2),(2,1)],3)
[[[.,.],[.,.]],[.,.]]=>([(0,4),(1,3),(2,3),(3,4)],5)=>([],1)
[[[.,[.,.]],.],[.,.]]=>([(0,4),(1,2),(2,3),(3,4)],5)=>([(0,2),(2,1)],3)
[[[[.,.],.],.],[.,.]]=>([(0,4),(1,2),(2,3),(3,4)],5)=>([(0,2),(2,1)],3)
[[.,[.,[.,[.,.]]]],.]=>([(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)=>([],1)
[[.,[[.,[.,.]],.]],.]=>([(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,1)],2)
[[[.,.],[[.,.],.]],.]=>([(0,4),(1,2),(2,4),(4,3)],5)=>([(0,1)],2)
[[[.,[.,.]],[.,.]],.]=>([(0,4),(1,2),(2,4),(4,3)],5)=>([(0,1)],2)
[[[[.,.],.],[.,.]],.]=>([(0,4),(1,2),(2,4),(4,3)],5)=>([(0,1)],2)
[[[.,[.,[.,.]]],.],.]=>([(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)=>([],1)
[[[[.,[.,.]],.],.],.]=>([(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),(1,5),(3,2),(4,3),(5,4)],6)=>([],1)
[.,[.,[.,[[.,[.,.]],.]]]]=>([(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,1)],2)
[.,[.,[[.,.],[[.,.],.]]]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(0,1)],2)
[.,[.,[[.,[.,.]],[.,.]]]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(0,1)],2)
[.,[.,[[[.,.],.],[.,.]]]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(0,1)],2)
[.,[.,[[.,[.,[.,.]]],.]]]=>([(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)=>([],1)
[.,[.,[[[.,[.,.]],.],.]]]=>([(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,2),(2,1)],3)
[.,[[.,.],[.,[[.,.],.]]]]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(0,2),(2,1)],3)
[.,[[.,.],[[.,.],[.,.]]]]=>([(0,5),(1,4),(2,4),(4,5),(5,3)],6)=>([],1)
[.,[[.,.],[[.,[.,.]],.]]]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(0,2),(2,1)],3)
[.,[[.,.],[[[.,.],.],.]]]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(0,2),(2,1)],3)
[.,[[.,[.,.]],[.,[.,.]]]]=>([(0,4),(1,3),(3,5),(4,5),(5,2)],6)=>([(0,1),(0,2),(1,3),(2,3)],4)
[.,[[.,[.,.]],[[.,.],.]]]=>([(0,4),(1,3),(3,5),(4,5),(5,2)],6)=>([(0,1),(0,2),(1,3),(2,3)],4)
[.,[[[.,.],.],[.,[.,.]]]]=>([(0,4),(1,3),(3,5),(4,5),(5,2)],6)=>([(0,1),(0,2),(1,3),(2,3)],4)
[.,[[[.,.],.],[[.,.],.]]]=>([(0,4),(1,3),(3,5),(4,5),(5,2)],6)=>([(0,1),(0,2),(1,3),(2,3)],4)
[.,[[.,[.,[.,.]]],[.,.]]]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(0,2),(2,1)],3)
[.,[[.,[[.,.],.]],[.,.]]]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(0,2),(2,1)],3)
[.,[[[.,.],[.,.]],[.,.]]]=>([(0,5),(1,4),(2,4),(4,5),(5,3)],6)=>([],1)
[.,[[[.,[.,.]],.],[.,.]]]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(0,2),(2,1)],3)
[.,[[[[.,.],.],.],[.,.]]]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(0,2),(2,1)],3)
[.,[[.,[.,[.,[.,.]]]],.]]=>([(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)=>([],1)
[.,[[.,[[.,[.,.]],.]],.]]=>([(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,1)],2)
[.,[[[.,.],[[.,.],.]],.]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(0,1)],2)
[.,[[[.,[.,.]],[.,.]],.]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(0,1)],2)
[.,[[[[.,.],.],[.,.]],.]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(0,1)],2)
[.,[[[.,[.,[.,.]]],.],.]]=>([(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)=>([],1)
[.,[[[[.,[.,.]],.],.],.]]=>([(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,3),(2,1),(3,2)],4)
[[.,.],[.,[.,[[.,.],.]]]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(0,3),(2,1),(3,2)],4)
[[.,.],[.,[[.,.],[.,.]]]]=>([(0,5),(1,4),(2,4),(3,5),(4,3)],6)=>([],1)
[[.,.],[.,[[.,[.,.]],.]]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(0,3),(2,1),(3,2)],4)
[[.,.],[.,[[[.,.],.],.]]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(0,3),(2,1),(3,2)],4)
[[.,.],[[.,.],[.,[.,.]]]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],6)=>([(0,1)],2)
[[.,.],[[.,.],[[.,.],.]]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],6)=>([(0,1)],2)
[[.,.],[[.,[.,.]],[.,.]]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],6)=>([(0,1)],2)
[[.,.],[[[.,.],.],[.,.]]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],6)=>([(0,1)],2)
[[.,.],[[.,[.,[.,.]]],.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(0,3),(2,1),(3,2)],4)
[[.,.],[[.,[[.,.],.]],.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(0,3),(2,1),(3,2)],4)
[[.,.],[[[.,.],[.,.]],.]]=>([(0,5),(1,4),(2,4),(3,5),(4,3)],6)=>([],1)
[[.,.],[[[.,[.,.]],.],.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(0,3),(2,1),(3,2)],4)
[[.,.],[[[[.,.],.],.],.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(0,3),(2,1),(3,2)],4)
[[.,[.,.]],[.,[.,[.,.]]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
[[.,[.,.]],[.,[[.,.],.]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
[[.,[.,.]],[[.,.],[.,.]]]=>([(0,4),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,1)],2)
[[.,[.,.]],[[.,[.,.]],.]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
[[.,[.,.]],[[[.,.],.],.]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
[[[.,.],.],[.,[.,[.,.]]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
[[[.,.],.],[.,[[.,.],.]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
[[[.,.],.],[[.,.],[.,.]]]=>([(0,4),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,1)],2)
[[[.,.],.],[[.,[.,.]],.]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
[[[.,.],.],[[[.,.],.],.]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
[[.,[.,[.,.]]],[.,[.,.]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
[[.,[.,[.,.]]],[[.,.],.]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
[[.,[[.,.],.]],[.,[.,.]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
[[.,[[.,.],.]],[[.,.],.]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
[[[.,.],[.,.]],[.,[.,.]]]=>([(0,4),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,1)],2)
[[[.,.],[.,.]],[[.,.],.]]=>([(0,4),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,1)],2)
[[[.,[.,.]],.],[.,[.,.]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
[[[.,[.,.]],.],[[.,.],.]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
[[[[.,.],.],.],[.,[.,.]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
[[[[.,.],.],.],[[.,.],.]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
[[.,[.,[.,[.,.]]]],[.,.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(0,3),(2,1),(3,2)],4)
[[.,[.,[[.,.],.]]],[.,.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(0,3),(2,1),(3,2)],4)
[[.,[[.,.],[.,.]]],[.,.]]=>([(0,5),(1,4),(2,4),(3,5),(4,3)],6)=>([],1)
[[.,[[.,[.,.]],.]],[.,.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(0,3),(2,1),(3,2)],4)
[[.,[[[.,.],.],.]],[.,.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(0,3),(2,1),(3,2)],4)
[[[.,.],[.,[.,.]]],[.,.]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],6)=>([(0,1)],2)
[[[.,.],[[.,.],.]],[.,.]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],6)=>([(0,1)],2)
[[[.,[.,.]],[.,.]],[.,.]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],6)=>([(0,1)],2)
[[[[.,.],.],[.,.]],[.,.]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],6)=>([(0,1)],2)
[[[.,[.,[.,.]]],.],[.,.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(0,3),(2,1),(3,2)],4)
[[[.,[[.,.],.]],.],[.,.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(0,3),(2,1),(3,2)],4)
[[[[.,.],[.,.]],.],[.,.]]=>([(0,5),(1,4),(2,4),(3,5),(4,3)],6)=>([],1)
[[[[.,[.,.]],.],.],[.,.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(0,3),(2,1),(3,2)],4)
[[[[[.,.],.],.],.],[.,.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(0,3),(2,1),(3,2)],4)
[[.,[.,[.,[.,[.,.]]]]],.]=>([(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)=>([],1)
[[.,[.,[[.,[.,.]],.]]],.]=>([(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,1)],2)
[[.,[[.,.],[[.,.],.]]],.]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(0,1)],2)
[[.,[[.,[.,.]],[.,.]]],.]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(0,1)],2)
[[.,[[[.,.],.],[.,.]]],.]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(0,1)],2)
[[.,[[.,[.,[.,.]]],.]],.]=>([(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)=>([],1)
[[.,[[[.,[.,.]],.],.]],.]=>([(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,2),(2,1)],3)
[[[.,.],[.,[[.,.],.]]],.]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(0,2),(2,1)],3)
[[[.,.],[[.,.],[.,.]]],.]=>([(0,5),(1,4),(2,4),(4,5),(5,3)],6)=>([],1)
[[[.,.],[[.,[.,.]],.]],.]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(0,2),(2,1)],3)
[[[.,.],[[[.,.],.],.]],.]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(0,2),(2,1)],3)
[[[.,[.,.]],[.,[.,.]]],.]=>([(0,4),(1,3),(3,5),(4,5),(5,2)],6)=>([(0,1),(0,2),(1,3),(2,3)],4)
[[[.,[.,.]],[[.,.],.]],.]=>([(0,4),(1,3),(3,5),(4,5),(5,2)],6)=>([(0,1),(0,2),(1,3),(2,3)],4)
[[[[.,.],.],[.,[.,.]]],.]=>([(0,4),(1,3),(3,5),(4,5),(5,2)],6)=>([(0,1),(0,2),(1,3),(2,3)],4)
[[[[.,.],.],[[.,.],.]],.]=>([(0,4),(1,3),(3,5),(4,5),(5,2)],6)=>([(0,1),(0,2),(1,3),(2,3)],4)
[[[.,[.,[.,.]]],[.,.]],.]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(0,2),(2,1)],3)
[[[.,[[.,.],.]],[.,.]],.]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(0,2),(2,1)],3)
[[[[.,.],[.,.]],[.,.]],.]=>([(0,5),(1,4),(2,4),(4,5),(5,3)],6)=>([],1)
[[[[.,[.,.]],.],[.,.]],.]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(0,2),(2,1)],3)
[[[[[.,.],.],.],[.,.]],.]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(0,2),(2,1)],3)
[[[.,[.,[.,[.,.]]]],.],.]=>([(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)=>([],1)
[[[.,[[.,[.,.]],.]],.],.]=>([(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,1)],2)
[[[[.,.],[[.,.],.]],.],.]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(0,1)],2)
[[[[.,[.,.]],[.,.]],.],.]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(0,1)],2)
[[[[[.,.],.],[.,.]],.],.]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(0,1)],2)
[[[[.,[.,[.,.]]],.],.],.]=>([(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)=>([],1)
[[[[[.,[.,.]],.],.],.],.]=>([(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),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([],1)
[.,[.,[.,[.,[[.,[.,.]],.]]]]]=>([(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,1)],2)
[.,[.,[.,[[.,.],[[.,.],.]]]]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,1)],2)
[.,[.,[.,[[.,[.,.]],[.,.]]]]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,1)],2)
[.,[.,[.,[[[.,.],.],[.,.]]]]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,1)],2)
[.,[.,[.,[[.,[.,[.,.]]],.]]]]=>([(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)=>([],1)
[.,[.,[.,[[[.,[.,.]],.],.]]]]=>([(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,2),(2,1)],3)
[.,[.,[[.,.],[.,[[.,.],.]]]]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,2),(2,1)],3)
[.,[.,[[.,.],[[.,.],[.,.]]]]]=>([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)=>([],1)
[.,[.,[[.,.],[[.,[.,.]],.]]]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,2),(2,1)],3)
[.,[.,[[.,.],[[[.,.],.],.]]]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,2),(2,1)],3)
[.,[.,[[.,[.,.]],[.,[.,.]]]]]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(0,1),(0,2),(1,3),(2,3)],4)
[.,[.,[[.,[.,.]],[[.,.],.]]]]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(0,1),(0,2),(1,3),(2,3)],4)
[.,[.,[[[.,.],.],[.,[.,.]]]]]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(0,1),(0,2),(1,3),(2,3)],4)
[.,[.,[[[.,.],.],[[.,.],.]]]]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(0,1),(0,2),(1,3),(2,3)],4)
[.,[.,[[.,[.,[.,.]]],[.,.]]]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,2),(2,1)],3)
[.,[.,[[.,[[.,.],.]],[.,.]]]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,2),(2,1)],3)
[.,[.,[[[.,.],[.,.]],[.,.]]]]=>([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)=>([],1)
[.,[.,[[[.,[.,.]],.],[.,.]]]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,2),(2,1)],3)
[.,[.,[[[[.,.],.],.],[.,.]]]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,2),(2,1)],3)
[.,[.,[[.,[.,[.,[.,.]]]],.]]]=>([(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)=>([],1)
[.,[.,[[.,[[.,[.,.]],.]],.]]]=>([(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,1)],2)
[.,[.,[[[.,.],[[.,.],.]],.]]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,1)],2)
[.,[.,[[[.,[.,.]],[.,.]],.]]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,1)],2)
[.,[.,[[[[.,.],.],[.,.]],.]]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,1)],2)
[.,[.,[[[.,[.,[.,.]]],.],.]]]=>([(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)=>([],1)
[.,[.,[[[[.,[.,.]],.],.],.]]]=>([(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,3),(2,1),(3,2)],4)
[.,[[.,.],[.,[.,[[.,.],.]]]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,3),(2,1),(3,2)],4)
[.,[[.,.],[.,[[.,.],[.,.]]]]]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)=>([],1)
[.,[[.,.],[.,[[.,[.,.]],.]]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,3),(2,1),(3,2)],4)
[.,[[.,.],[.,[[[.,.],.],.]]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,3),(2,1),(3,2)],4)
[.,[[.,.],[[.,.],[.,[.,.]]]]]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(0,1)],2)
[.,[[.,.],[[.,.],[[.,.],.]]]]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(0,1)],2)
[.,[[.,.],[[.,[.,.]],[.,.]]]]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(0,1)],2)
[.,[[.,.],[[[.,.],.],[.,.]]]]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(0,1)],2)
[.,[[.,.],[[.,[.,[.,.]]],.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,3),(2,1),(3,2)],4)
[.,[[.,.],[[.,[[.,.],.]],.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,3),(2,1),(3,2)],4)
[.,[[.,.],[[[.,.],[.,.]],.]]]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)=>([],1)
[.,[[.,.],[[[.,[.,.]],.],.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,3),(2,1),(3,2)],4)
[.,[[.,.],[[[[.,.],.],.],.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,3),(2,1),(3,2)],4)
[.,[[.,[.,.]],[.,[.,[.,.]]]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
[.,[[.,[.,.]],[.,[[.,.],.]]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
[.,[[.,[.,.]],[[.,.],[.,.]]]]=>([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)=>([(0,1)],2)
[.,[[.,[.,.]],[[.,[.,.]],.]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
[.,[[.,[.,.]],[[[.,.],.],.]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
[.,[[[.,.],.],[.,[.,[.,.]]]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
[.,[[[.,.],.],[.,[[.,.],.]]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
[.,[[[.,.],.],[[.,.],[.,.]]]]=>([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)=>([(0,1)],2)
[.,[[[.,.],.],[[.,[.,.]],.]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
[.,[[[.,.],.],[[[.,.],.],.]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
[.,[[.,[.,[.,.]]],[.,[.,.]]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
[.,[[.,[.,[.,.]]],[[.,.],.]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
[.,[[.,[[.,.],.]],[.,[.,.]]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
[.,[[.,[[.,.],.]],[[.,.],.]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
[.,[[[.,.],[.,.]],[.,[.,.]]]]=>([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)=>([(0,1)],2)
[.,[[[.,.],[.,.]],[[.,.],.]]]=>([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)=>([(0,1)],2)
[.,[[[.,[.,.]],.],[.,[.,.]]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
[.,[[[.,[.,.]],.],[[.,.],.]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
[.,[[[[.,.],.],.],[.,[.,.]]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
[.,[[[[.,.],.],.],[[.,.],.]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
[.,[[.,[.,[.,[.,.]]]],[.,.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,3),(2,1),(3,2)],4)
[.,[[.,[.,[[.,.],.]]],[.,.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,3),(2,1),(3,2)],4)
[.,[[.,[[.,.],[.,.]]],[.,.]]]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)=>([],1)
[.,[[.,[[.,[.,.]],.]],[.,.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,3),(2,1),(3,2)],4)
[.,[[.,[[[.,.],.],.]],[.,.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,3),(2,1),(3,2)],4)
[.,[[[.,.],[.,[.,.]]],[.,.]]]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(0,1)],2)
[.,[[[.,.],[[.,.],.]],[.,.]]]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(0,1)],2)
[.,[[[.,[.,.]],[.,.]],[.,.]]]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(0,1)],2)
[.,[[[[.,.],.],[.,.]],[.,.]]]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(0,1)],2)
[.,[[[.,[.,[.,.]]],.],[.,.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,3),(2,1),(3,2)],4)
[.,[[[.,[[.,.],.]],.],[.,.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,3),(2,1),(3,2)],4)
[.,[[[[.,.],[.,.]],.],[.,.]]]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)=>([],1)
[.,[[[[.,[.,.]],.],.],[.,.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,3),(2,1),(3,2)],4)
[.,[[[[[.,.],.],.],.],[.,.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,3),(2,1),(3,2)],4)
[.,[[.,[.,[.,[.,[.,.]]]]],.]]=>([(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)=>([],1)
[.,[[.,[.,[[.,[.,.]],.]]],.]]=>([(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,1)],2)
[.,[[.,[[.,.],[[.,.],.]]],.]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,1)],2)
[.,[[.,[[.,[.,.]],[.,.]]],.]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,1)],2)
[.,[[.,[[[.,.],.],[.,.]]],.]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,1)],2)
[.,[[.,[[.,[.,[.,.]]],.]],.]]=>([(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)=>([],1)
[.,[[.,[[[.,[.,.]],.],.]],.]]=>([(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,2),(2,1)],3)
[.,[[[.,.],[.,[[.,.],.]]],.]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,2),(2,1)],3)
[.,[[[.,.],[[.,.],[.,.]]],.]]=>([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)=>([],1)
[.,[[[.,.],[[.,[.,.]],.]],.]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,2),(2,1)],3)
[.,[[[.,.],[[[.,.],.],.]],.]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,2),(2,1)],3)
[.,[[[.,[.,.]],[.,[.,.]]],.]]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(0,1),(0,2),(1,3),(2,3)],4)
[.,[[[.,[.,.]],[[.,.],.]],.]]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(0,1),(0,2),(1,3),(2,3)],4)
[.,[[[[.,.],.],[.,[.,.]]],.]]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(0,1),(0,2),(1,3),(2,3)],4)
[.,[[[[.,.],.],[[.,.],.]],.]]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(0,1),(0,2),(1,3),(2,3)],4)
[.,[[[.,[.,[.,.]]],[.,.]],.]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,2),(2,1)],3)
[.,[[[.,[[.,.],.]],[.,.]],.]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,2),(2,1)],3)
[.,[[[[.,.],[.,.]],[.,.]],.]]=>([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)=>([],1)
[.,[[[[.,[.,.]],.],[.,.]],.]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,2),(2,1)],3)
[.,[[[[[.,.],.],.],[.,.]],.]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,2),(2,1)],3)
[.,[[[.,[.,[.,[.,.]]]],.],.]]=>([(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)=>([],1)
[.,[[[.,[[.,[.,.]],.]],.],.]]=>([(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,1)],2)
[.,[[[[.,.],[[.,.],.]],.],.]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,1)],2)
[.,[[[[.,[.,.]],[.,.]],.],.]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,1)],2)
[.,[[[[[.,.],.],[.,.]],.],.]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,1)],2)
[.,[[[[.,[.,[.,.]]],.],.],.]]=>([(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)=>([],1)
[.,[[[[[.,[.,.]],.],.],.],.]]=>([(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,4),(2,3),(3,1),(4,2)],5)
[[.,.],[.,[.,[.,[[.,.],.]]]]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,.],[.,[.,[[.,.],[.,.]]]]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)=>([],1)
[[.,.],[.,[.,[[.,[.,.]],.]]]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,.],[.,[.,[[[.,.],.],.]]]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,.],[.,[[.,.],[.,[.,.]]]]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(0,1)],2)
[[.,.],[.,[[.,.],[[.,.],.]]]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(0,1)],2)
[[.,.],[.,[[.,[.,.]],[.,.]]]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(0,1)],2)
[[.,.],[.,[[[.,.],.],[.,.]]]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(0,1)],2)
[[.,.],[.,[[.,[.,[.,.]]],.]]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,.],[.,[[.,[[.,.],.]],.]]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,.],[.,[[[.,.],[.,.]],.]]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)=>([],1)
[[.,.],[.,[[[.,[.,.]],.],.]]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,.],[.,[[[[.,.],.],.],.]]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,.],[[.,.],[.,[.,[.,.]]]]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(0,2),(2,1)],3)
[[.,.],[[.,.],[.,[[.,.],.]]]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(0,2),(2,1)],3)
[[.,.],[[.,.],[[.,.],[.,.]]]]=>([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7)=>([],1)
[[.,.],[[.,.],[[.,[.,.]],.]]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(0,2),(2,1)],3)
[[.,.],[[.,.],[[[.,.],.],.]]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(0,2),(2,1)],3)
[[.,.],[[.,[.,.]],[.,[.,.]]]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7)=>([(0,1),(0,2),(1,3),(2,3)],4)
[[.,.],[[.,[.,.]],[[.,.],.]]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7)=>([(0,1),(0,2),(1,3),(2,3)],4)
[[.,.],[[[.,.],.],[.,[.,.]]]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7)=>([(0,1),(0,2),(1,3),(2,3)],4)
[[.,.],[[[.,.],.],[[.,.],.]]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7)=>([(0,1),(0,2),(1,3),(2,3)],4)
[[.,.],[[.,[.,[.,.]]],[.,.]]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(0,2),(2,1)],3)
[[.,.],[[.,[[.,.],.]],[.,.]]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(0,2),(2,1)],3)
[[.,.],[[[.,.],[.,.]],[.,.]]]=>([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7)=>([],1)
[[.,.],[[[.,[.,.]],.],[.,.]]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(0,2),(2,1)],3)
[[.,.],[[[[.,.],.],.],[.,.]]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(0,2),(2,1)],3)
[[.,.],[[.,[.,[.,[.,.]]]],.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,.],[[.,[.,[[.,.],.]]],.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,.],[[.,[[.,.],[.,.]]],.]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)=>([],1)
[[.,.],[[.,[[.,[.,.]],.]],.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,.],[[.,[[[.,.],.],.]],.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,.],[[[.,.],[.,[.,.]]],.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(0,1)],2)
[[.,.],[[[.,.],[[.,.],.]],.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(0,1)],2)
[[.,.],[[[.,[.,.]],[.,.]],.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(0,1)],2)
[[.,.],[[[[.,.],.],[.,.]],.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(0,1)],2)
[[.,.],[[[.,[.,[.,.]]],.],.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,.],[[[.,[[.,.],.]],.],.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,.],[[[[.,.],[.,.]],.],.]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)=>([],1)
[[.,.],[[[[.,[.,.]],.],.],.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,.],[[[[[.,.],.],.],.],.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,[.,.]],[.,[.,[.,[.,.]]]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
[[.,[.,.]],[.,[.,[[.,.],.]]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
[[.,[.,.]],[.,[[.,.],[.,.]]]]=>([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)=>([(0,1)],2)
[[.,[.,.]],[.,[[.,[.,.]],.]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
[[.,[.,.]],[.,[[[.,.],.],.]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
[[.,[.,.]],[[.,.],[.,[.,.]]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(0,1),(0,2),(1,3),(2,3)],4)
[[.,[.,.]],[[.,.],[[.,.],.]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(0,1),(0,2),(1,3),(2,3)],4)
[[.,[.,.]],[[.,[.,.]],[.,.]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(0,1),(0,2),(1,3),(2,3)],4)
[[.,[.,.]],[[[.,.],.],[.,.]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(0,1),(0,2),(1,3),(2,3)],4)
[[.,[.,.]],[[.,[.,[.,.]]],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
[[.,[.,.]],[[.,[[.,.],.]],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
[[.,[.,.]],[[[.,.],[.,.]],.]]=>([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)=>([(0,1)],2)
[[.,[.,.]],[[[.,[.,.]],.],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
[[.,[.,.]],[[[[.,.],.],.],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
[[[.,.],.],[.,[.,[.,[.,.]]]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
[[[.,.],.],[.,[.,[[.,.],.]]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
[[[.,.],.],[.,[[.,.],[.,.]]]]=>([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)=>([(0,1)],2)
[[[.,.],.],[.,[[.,[.,.]],.]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
[[[.,.],.],[.,[[[.,.],.],.]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
[[[.,.],.],[[.,.],[.,[.,.]]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(0,1),(0,2),(1,3),(2,3)],4)
[[[.,.],.],[[.,.],[[.,.],.]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(0,1),(0,2),(1,3),(2,3)],4)
[[[.,.],.],[[.,[.,.]],[.,.]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(0,1),(0,2),(1,3),(2,3)],4)
[[[.,.],.],[[[.,.],.],[.,.]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(0,1),(0,2),(1,3),(2,3)],4)
[[[.,.],.],[[.,[.,[.,.]]],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
[[[.,.],.],[[.,[[.,.],.]],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
[[[.,.],.],[[[.,.],[.,.]],.]]=>([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)=>([(0,1)],2)
[[[.,.],.],[[[.,[.,.]],.],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
[[[.,.],.],[[[[.,.],.],.],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
[[.,[.,[.,.]]],[.,[.,[.,.]]]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(0,3),(0,4),(1,7),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6),(5,7),(6,8),(7,8)],9)
[[.,[.,[.,.]]],[.,[[.,.],.]]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(0,3),(0,4),(1,7),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6),(5,7),(6,8),(7,8)],9)
[[.,[.,[.,.]]],[[.,.],[.,.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)=>([(0,2),(2,1)],3)
[[.,[.,[.,.]]],[[.,[.,.]],.]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(0,3),(0,4),(1,7),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6),(5,7),(6,8),(7,8)],9)
[[.,[.,[.,.]]],[[[.,.],.],.]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(0,3),(0,4),(1,7),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6),(5,7),(6,8),(7,8)],9)
[[.,[[.,.],.]],[.,[.,[.,.]]]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(0,3),(0,4),(1,7),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6),(5,7),(6,8),(7,8)],9)
[[.,[[.,.],.]],[.,[[.,.],.]]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(0,3),(0,4),(1,7),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6),(5,7),(6,8),(7,8)],9)
[[.,[[.,.],.]],[[.,.],[.,.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)=>([(0,2),(2,1)],3)
[[.,[[.,.],.]],[[.,[.,.]],.]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(0,3),(0,4),(1,7),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6),(5,7),(6,8),(7,8)],9)
[[.,[[.,.],.]],[[[.,.],.],.]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(0,3),(0,4),(1,7),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6),(5,7),(6,8),(7,8)],9)
[[[.,.],[.,.]],[.,[.,[.,.]]]]=>([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)=>([(0,2),(2,1)],3)
[[[.,.],[.,.]],[.,[[.,.],.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)=>([(0,2),(2,1)],3)
[[[.,.],[.,.]],[[.,.],[.,.]]]=>([(0,5),(1,5),(2,4),(3,4),(4,6),(5,6)],7)=>([],1)
[[[.,.],[.,.]],[[.,[.,.]],.]]=>([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)=>([(0,2),(2,1)],3)
[[[.,.],[.,.]],[[[.,.],.],.]]=>([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)=>([(0,2),(2,1)],3)
[[[.,[.,.]],.],[.,[.,[.,.]]]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(0,3),(0,4),(1,7),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6),(5,7),(6,8),(7,8)],9)
[[[.,[.,.]],.],[.,[[.,.],.]]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(0,3),(0,4),(1,7),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6),(5,7),(6,8),(7,8)],9)
[[[.,[.,.]],.],[[.,.],[.,.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)=>([(0,2),(2,1)],3)
[[[.,[.,.]],.],[[.,[.,.]],.]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(0,3),(0,4),(1,7),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6),(5,7),(6,8),(7,8)],9)
[[[.,[.,.]],.],[[[.,.],.],.]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(0,3),(0,4),(1,7),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6),(5,7),(6,8),(7,8)],9)
[[[[.,.],.],.],[.,[.,[.,.]]]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(0,3),(0,4),(1,7),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6),(5,7),(6,8),(7,8)],9)
[[[[.,.],.],.],[.,[[.,.],.]]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(0,3),(0,4),(1,7),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6),(5,7),(6,8),(7,8)],9)
[[[[.,.],.],.],[[.,.],[.,.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)=>([(0,2),(2,1)],3)
[[[[.,.],.],.],[[.,[.,.]],.]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(0,3),(0,4),(1,7),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6),(5,7),(6,8),(7,8)],9)
[[[[.,.],.],.],[[[.,.],.],.]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(0,3),(0,4),(1,7),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6),(5,7),(6,8),(7,8)],9)
[[.,[.,[.,[.,.]]]],[.,[.,.]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
[[.,[.,[.,[.,.]]]],[[.,.],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
[[.,[.,[[.,.],.]]],[.,[.,.]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
[[.,[.,[[.,.],.]]],[[.,.],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
[[.,[[.,.],[.,.]]],[.,[.,.]]]=>([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)=>([(0,1)],2)
[[.,[[.,.],[.,.]]],[[.,.],.]]=>([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)=>([(0,1)],2)
[[.,[[.,[.,.]],.]],[.,[.,.]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
[[.,[[.,[.,.]],.]],[[.,.],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
[[.,[[[.,.],.],.]],[.,[.,.]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
[[.,[[[.,.],.],.]],[[.,.],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
[[[.,.],[.,[.,.]]],[.,[.,.]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(0,1),(0,2),(1,3),(2,3)],4)
[[[.,.],[.,[.,.]]],[[.,.],.]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(0,1),(0,2),(1,3),(2,3)],4)
[[[.,.],[[.,.],.]],[.,[.,.]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(0,1),(0,2),(1,3),(2,3)],4)
[[[.,.],[[.,.],.]],[[.,.],.]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(0,1),(0,2),(1,3),(2,3)],4)
[[[.,[.,.]],[.,.]],[.,[.,.]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(0,1),(0,2),(1,3),(2,3)],4)
[[[.,[.,.]],[.,.]],[[.,.],.]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(0,1),(0,2),(1,3),(2,3)],4)
[[[[.,.],.],[.,.]],[.,[.,.]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(0,1),(0,2),(1,3),(2,3)],4)
[[[[.,.],.],[.,.]],[[.,.],.]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(0,1),(0,2),(1,3),(2,3)],4)
[[[.,[.,[.,.]]],.],[.,[.,.]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
[[[.,[.,[.,.]]],.],[[.,.],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
[[[.,[[.,.],.]],.],[.,[.,.]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
[[[.,[[.,.],.]],.],[[.,.],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
[[[[.,.],[.,.]],.],[.,[.,.]]]=>([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)=>([(0,1)],2)
[[[[.,.],[.,.]],.],[[.,.],.]]=>([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)=>([(0,1)],2)
[[[[.,[.,.]],.],.],[.,[.,.]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
[[[[.,[.,.]],.],.],[[.,.],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
[[[[[.,.],.],.],.],[.,[.,.]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
[[[[[.,.],.],.],.],[[.,.],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,2),(0,4),(1,6),(2,5),(3,1),(3,7),(4,3),(4,5),(5,7),(7,6)],8)
[[.,[.,[.,[.,[.,.]]]]],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,[.,[.,[[.,.],.]]]],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,[.,[[.,.],[.,.]]]],[.,.]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)=>([],1)
[[.,[.,[[.,[.,.]],.]]],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,[.,[[[.,.],.],.]]],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,[[.,.],[.,[.,.]]]],[.,.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(0,1)],2)
[[.,[[.,.],[[.,.],.]]],[.,.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(0,1)],2)
[[.,[[.,[.,.]],[.,.]]],[.,.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(0,1)],2)
[[.,[[[.,.],.],[.,.]]],[.,.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(0,1)],2)
[[.,[[.,[.,[.,.]]],.]],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,[[.,[[.,.],.]],.]],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,[[[.,.],[.,.]],.]],[.,.]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)=>([],1)
[[.,[[[.,[.,.]],.],.]],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,[[[[.,.],.],.],.]],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[.,.],[.,[.,[.,.]]]],[.,.]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(0,2),(2,1)],3)
[[[.,.],[.,[[.,.],.]]],[.,.]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(0,2),(2,1)],3)
[[[.,.],[[.,.],[.,.]]],[.,.]]=>([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7)=>([],1)
[[[.,.],[[.,[.,.]],.]],[.,.]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(0,2),(2,1)],3)
[[[.,.],[[[.,.],.],.]],[.,.]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(0,2),(2,1)],3)
[[[.,[.,.]],[.,[.,.]]],[.,.]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7)=>([(0,1),(0,2),(1,3),(2,3)],4)
[[[.,[.,.]],[[.,.],.]],[.,.]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7)=>([(0,1),(0,2),(1,3),(2,3)],4)
[[[[.,.],.],[.,[.,.]]],[.,.]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7)=>([(0,1),(0,2),(1,3),(2,3)],4)
[[[[.,.],.],[[.,.],.]],[.,.]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7)=>([(0,1),(0,2),(1,3),(2,3)],4)
[[[.,[.,[.,.]]],[.,.]],[.,.]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(0,2),(2,1)],3)
[[[.,[[.,.],.]],[.,.]],[.,.]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(0,2),(2,1)],3)
[[[[.,.],[.,.]],[.,.]],[.,.]]=>([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7)=>([],1)
[[[[.,[.,.]],.],[.,.]],[.,.]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(0,2),(2,1)],3)
[[[[[.,.],.],.],[.,.]],[.,.]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(0,2),(2,1)],3)
[[[.,[.,[.,[.,.]]]],.],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[.,[.,[[.,.],.]]],.],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[.,[[.,.],[.,.]]],.],[.,.]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)=>([],1)
[[[.,[[.,[.,.]],.]],.],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[.,[[[.,.],.],.]],.],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[[.,.],[.,[.,.]]],.],[.,.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(0,1)],2)
[[[[.,.],[[.,.],.]],.],[.,.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(0,1)],2)
[[[[.,[.,.]],[.,.]],.],[.,.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(0,1)],2)
[[[[[.,.],.],[.,.]],.],[.,.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(0,1)],2)
[[[[.,[.,[.,.]]],.],.],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[[.,[[.,.],.]],.],.],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[[[.,.],[.,.]],.],.],[.,.]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)=>([],1)
[[[[[.,[.,.]],.],.],.],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[[[[[.,.],.],.],.],.],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5)
[[.,[.,[.,[.,[.,[.,.]]]]]],.]=>([(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)=>([],1)
[[.,[.,[.,[[.,[.,.]],.]]]],.]=>([(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,1)],2)
[[.,[.,[[.,.],[[.,.],.]]]],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,1)],2)
[[.,[.,[[.,[.,.]],[.,.]]]],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,1)],2)
[[.,[.,[[[.,.],.],[.,.]]]],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,1)],2)
[[.,[.,[[.,[.,[.,.]]],.]]],.]=>([(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)=>([],1)
[[.,[.,[[[.,[.,.]],.],.]]],.]=>([(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,2),(2,1)],3)
[[.,[[.,.],[.,[[.,.],.]]]],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,2),(2,1)],3)
[[.,[[.,.],[[.,.],[.,.]]]],.]=>([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)=>([],1)
[[.,[[.,.],[[.,[.,.]],.]]],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,2),(2,1)],3)
[[.,[[.,.],[[[.,.],.],.]]],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,2),(2,1)],3)
[[.,[[.,[.,.]],[.,[.,.]]]],.]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(0,1),(0,2),(1,3),(2,3)],4)
[[.,[[.,[.,.]],[[.,.],.]]],.]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(0,1),(0,2),(1,3),(2,3)],4)
[[.,[[[.,.],.],[.,[.,.]]]],.]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(0,1),(0,2),(1,3),(2,3)],4)
[[.,[[[.,.],.],[[.,.],.]]],.]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(0,1),(0,2),(1,3),(2,3)],4)
[[.,[[.,[.,[.,.]]],[.,.]]],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,2),(2,1)],3)
[[.,[[.,[[.,.],.]],[.,.]]],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,2),(2,1)],3)
[[.,[[[.,.],[.,.]],[.,.]]],.]=>([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)=>([],1)
[[.,[[[.,[.,.]],.],[.,.]]],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,2),(2,1)],3)
[[.,[[[[.,.],.],.],[.,.]]],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,2),(2,1)],3)
[[.,[[.,[.,[.,[.,.]]]],.]],.]=>([(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)=>([],1)
[[.,[[.,[[.,[.,.]],.]],.]],.]=>([(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,1)],2)
[[.,[[[.,.],[[.,.],.]],.]],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,1)],2)
[[.,[[[.,[.,.]],[.,.]],.]],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,1)],2)
[[.,[[[[.,.],.],[.,.]],.]],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,1)],2)
[[.,[[[.,[.,[.,.]]],.],.]],.]=>([(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)=>([],1)
[[.,[[[[.,[.,.]],.],.],.]],.]=>([(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,3),(2,1),(3,2)],4)
[[[.,.],[.,[.,[[.,.],.]]]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,3),(2,1),(3,2)],4)
[[[.,.],[.,[[.,.],[.,.]]]],.]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)=>([],1)
[[[.,.],[.,[[.,[.,.]],.]]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,3),(2,1),(3,2)],4)
[[[.,.],[.,[[[.,.],.],.]]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,3),(2,1),(3,2)],4)
[[[.,.],[[.,.],[.,[.,.]]]],.]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(0,1)],2)
[[[.,.],[[.,.],[[.,.],.]]],.]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(0,1)],2)
[[[.,.],[[.,[.,.]],[.,.]]],.]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(0,1)],2)
[[[.,.],[[[.,.],.],[.,.]]],.]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(0,1)],2)
[[[.,.],[[.,[.,[.,.]]],.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,3),(2,1),(3,2)],4)
[[[.,.],[[.,[[.,.],.]],.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,3),(2,1),(3,2)],4)
[[[.,.],[[[.,.],[.,.]],.]],.]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)=>([],1)
[[[.,.],[[[.,[.,.]],.],.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,3),(2,1),(3,2)],4)
[[[.,.],[[[[.,.],.],.],.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,3),(2,1),(3,2)],4)
[[[.,[.,.]],[.,[.,[.,.]]]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
[[[.,[.,.]],[.,[[.,.],.]]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
[[[.,[.,.]],[[.,.],[.,.]]],.]=>([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)=>([(0,1)],2)
[[[.,[.,.]],[[.,[.,.]],.]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
[[[.,[.,.]],[[[.,.],.],.]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
[[[[.,.],.],[.,[.,[.,.]]]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
[[[[.,.],.],[.,[[.,.],.]]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
[[[[.,.],.],[[.,.],[.,.]]],.]=>([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)=>([(0,1)],2)
[[[[.,.],.],[[.,[.,.]],.]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
[[[[.,.],.],[[[.,.],.],.]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
[[[.,[.,[.,.]]],[.,[.,.]]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
[[[.,[.,[.,.]]],[[.,.],.]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
[[[.,[[.,.],.]],[.,[.,.]]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
[[[.,[[.,.],.]],[[.,.],.]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
[[[[.,.],[.,.]],[.,[.,.]]],.]=>([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)=>([(0,1)],2)
[[[[.,.],[.,.]],[[.,.],.]],.]=>([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)=>([(0,1)],2)
[[[[.,[.,.]],.],[.,[.,.]]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
[[[[.,[.,.]],.],[[.,.],.]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
[[[[[.,.],.],.],[.,[.,.]]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
[[[[[.,.],.],.],[[.,.],.]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6)
[[[.,[.,[.,[.,.]]]],[.,.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,3),(2,1),(3,2)],4)
[[[.,[.,[[.,.],.]]],[.,.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,3),(2,1),(3,2)],4)
[[[.,[[.,.],[.,.]]],[.,.]],.]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)=>([],1)
[[[.,[[.,[.,.]],.]],[.,.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,3),(2,1),(3,2)],4)
[[[.,[[[.,.],.],.]],[.,.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,3),(2,1),(3,2)],4)
[[[[.,.],[.,[.,.]]],[.,.]],.]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(0,1)],2)
[[[[.,.],[[.,.],.]],[.,.]],.]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(0,1)],2)
[[[[.,[.,.]],[.,.]],[.,.]],.]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(0,1)],2)
[[[[[.,.],.],[.,.]],[.,.]],.]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(0,1)],2)
[[[[.,[.,[.,.]]],.],[.,.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,3),(2,1),(3,2)],4)
[[[[.,[[.,.],.]],.],[.,.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,3),(2,1),(3,2)],4)
[[[[[.,.],[.,.]],.],[.,.]],.]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)=>([],1)
[[[[[.,[.,.]],.],.],[.,.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,3),(2,1),(3,2)],4)
[[[[[[.,.],.],.],.],[.,.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,3),(2,1),(3,2)],4)
[[[.,[.,[.,[.,[.,.]]]]],.],.]=>([(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)=>([],1)
[[[.,[.,[[.,[.,.]],.]]],.],.]=>([(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,1)],2)
[[[.,[[.,.],[[.,.],.]]],.],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,1)],2)
[[[.,[[.,[.,.]],[.,.]]],.],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,1)],2)
[[[.,[[[.,.],.],[.,.]]],.],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,1)],2)
[[[.,[[.,[.,[.,.]]],.]],.],.]=>([(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)=>([],1)
[[[.,[[[.,[.,.]],.],.]],.],.]=>([(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,2),(2,1)],3)
[[[[.,.],[.,[[.,.],.]]],.],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,2),(2,1)],3)
[[[[.,.],[[.,.],[.,.]]],.],.]=>([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)=>([],1)
[[[[.,.],[[.,[.,.]],.]],.],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,2),(2,1)],3)
[[[[.,.],[[[.,.],.],.]],.],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,2),(2,1)],3)
[[[[.,[.,.]],[.,[.,.]]],.],.]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(0,1),(0,2),(1,3),(2,3)],4)
[[[[.,[.,.]],[[.,.],.]],.],.]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(0,1),(0,2),(1,3),(2,3)],4)
[[[[[.,.],.],[.,[.,.]]],.],.]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(0,1),(0,2),(1,3),(2,3)],4)
[[[[[.,.],.],[[.,.],.]],.],.]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(0,1),(0,2),(1,3),(2,3)],4)
[[[[.,[.,[.,.]]],[.,.]],.],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,2),(2,1)],3)
[[[[.,[[.,.],.]],[.,.]],.],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,2),(2,1)],3)
[[[[[.,.],[.,.]],[.,.]],.],.]=>([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)=>([],1)
[[[[[.,[.,.]],.],[.,.]],.],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,2),(2,1)],3)
[[[[[[.,.],.],.],[.,.]],.],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,2),(2,1)],3)
[[[[.,[.,[.,[.,.]]]],.],.],.]=>([(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)=>([],1)
[[[[.,[[.,[.,.]],.]],.],.],.]=>([(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,1)],2)
[[[[[.,.],[[.,.],.]],.],.],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,1)],2)
[[[[[.,[.,.]],[.,.]],.],.],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,1)],2)
[[[[[[.,.],.],[.,.]],.],.],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,1)],2)
[[[[[.,[.,[.,.]]],.],.],.],.]=>([(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)=>([],1)
[[[[[[.,[.,.]],.],.],.],.],.]=>([(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,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
[[.,[.,[.,.]]],[.,[.,[[.,.],.]]]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
[[.,[.,[.,.]]],[.,[[.,[.,.]],.]]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
[[.,[.,[.,.]]],[.,[[[.,.],.],.]]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
[[.,[.,[.,.]]],[[.,[.,[.,.]]],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
[[.,[.,[.,.]]],[[.,[[.,.],.]],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
[[.,[.,[.,.]]],[[[.,[.,.]],.],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
[[.,[.,[.,.]]],[[[[.,.],.],.],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
[[.,[[.,.],.]],[.,[.,[.,[.,.]]]]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
[[.,[[.,.],.]],[.,[.,[[.,.],.]]]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
[[.,[[.,.],.]],[.,[[.,[.,.]],.]]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
[[.,[[.,.],.]],[.,[[[.,.],.],.]]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
[[.,[[.,.],.]],[[.,[.,[.,.]]],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
[[.,[[.,.],.]],[[.,[[.,.],.]],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
[[.,[[.,.],.]],[[[.,[.,.]],.],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
[[.,[[.,.],.]],[[[[.,.],.],.],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
[[[.,.],[.,.]],[.,[.,[.,[.,.]]]]]=>([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8)=>([(0,3),(2,1),(3,2)],4)
[[[.,.],[.,.]],[.,[.,[[.,.],.]]]]=>([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8)=>([(0,3),(2,1),(3,2)],4)
[[[.,.],[.,.]],[.,[[.,[.,.]],.]]]=>([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8)=>([(0,3),(2,1),(3,2)],4)
[[[.,.],[.,.]],[.,[[[.,.],.],.]]]=>([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8)=>([(0,3),(2,1),(3,2)],4)
[[[.,.],[.,.]],[[.,[.,[.,.]]],.]]=>([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8)=>([(0,3),(2,1),(3,2)],4)
[[[.,.],[.,.]],[[.,[[.,.],.]],.]]=>([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8)=>([(0,3),(2,1),(3,2)],4)
[[[.,.],[.,.]],[[[.,[.,.]],.],.]]=>([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8)=>([(0,3),(2,1),(3,2)],4)
[[[.,.],[.,.]],[[[[.,.],.],.],.]]=>([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8)=>([(0,3),(2,1),(3,2)],4)
[[[.,[.,.]],.],[.,[.,[.,[.,.]]]]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
[[[.,[.,.]],.],[.,[.,[[.,.],.]]]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
[[[.,[.,.]],.],[.,[[.,[.,.]],.]]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
[[[.,[.,.]],.],[.,[[[.,.],.],.]]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
[[[.,[.,.]],.],[[.,[.,[.,.]]],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
[[[.,[.,.]],.],[[.,[[.,.],.]],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
[[[.,[.,.]],.],[[[.,[.,.]],.],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
[[[.,[.,.]],.],[[[[.,.],.],.],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
[[[[.,.],.],.],[.,[.,[.,[.,.]]]]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
[[[[.,.],.],.],[.,[.,[[.,.],.]]]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
[[[[.,.],.],.],[.,[[.,[.,.]],.]]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
[[[[.,.],.],.],[.,[[[.,.],.],.]]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
[[[[.,.],.],.],[[.,[.,[.,.]]],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
[[[[.,.],.],.],[[.,[[.,.],.]],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
[[[[.,.],.],.],[[[.,[.,.]],.],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
[[[[.,.],.],.],[[[[.,.],.],.],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
[[.,[.,[.,[.,.]]]],[.,[.,[.,.]]]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
[[.,[.,[.,[.,.]]]],[.,[[.,.],.]]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
[[.,[.,[.,[.,.]]]],[[.,.],[.,.]]]=>([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8)=>([(0,3),(2,1),(3,2)],4)
[[.,[.,[.,[.,.]]]],[[.,[.,.]],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
[[.,[.,[.,[.,.]]]],[[[.,.],.],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
[[.,[.,[[.,.],.]]],[.,[.,[.,.]]]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
[[.,[.,[[.,.],.]]],[.,[[.,.],.]]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
[[.,[.,[[.,.],.]]],[[.,.],[.,.]]]=>([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8)=>([(0,3),(2,1),(3,2)],4)
[[.,[.,[[.,.],.]]],[[.,[.,.]],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
[[.,[.,[[.,.],.]]],[[[.,.],.],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
[[.,[[.,[.,.]],.]],[.,[.,[.,.]]]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
[[.,[[.,[.,.]],.]],[.,[[.,.],.]]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
[[.,[[.,[.,.]],.]],[[.,.],[.,.]]]=>([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8)=>([(0,3),(2,1),(3,2)],4)
[[.,[[.,[.,.]],.]],[[.,[.,.]],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
[[.,[[.,[.,.]],.]],[[[.,.],.],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
[[.,[[[.,.],.],.]],[.,[.,[.,.]]]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
[[.,[[[.,.],.],.]],[.,[[.,.],.]]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
[[.,[[[.,.],.],.]],[[.,.],[.,.]]]=>([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8)=>([(0,3),(2,1),(3,2)],4)
[[.,[[[.,.],.],.]],[[.,[.,.]],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
[[.,[[[.,.],.],.]],[[[.,.],.],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
[[[.,[.,[.,.]]],.],[.,[.,[.,.]]]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
[[[.,[.,[.,.]]],.],[.,[[.,.],.]]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
[[[.,[.,[.,.]]],.],[[.,.],[.,.]]]=>([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8)=>([(0,3),(2,1),(3,2)],4)
[[[.,[.,[.,.]]],.],[[.,[.,.]],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
[[[.,[.,[.,.]]],.],[[[.,.],.],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
[[[.,[[.,.],.]],.],[.,[.,[.,.]]]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
[[[.,[[.,.],.]],.],[.,[[.,.],.]]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
[[[.,[[.,.],.]],.],[[.,.],[.,.]]]=>([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8)=>([(0,3),(2,1),(3,2)],4)
[[[.,[[.,.],.]],.],[[.,[.,.]],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
[[[.,[[.,.],.]],.],[[[.,.],.],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
[[[[.,[.,.]],.],.],[.,[.,[.,.]]]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
[[[[.,[.,.]],.],.],[.,[[.,.],.]]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
[[[[.,[.,.]],.],.],[[.,.],[.,.]]]=>([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8)=>([(0,3),(2,1),(3,2)],4)
[[[[.,[.,.]],.],.],[[.,[.,.]],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
[[[[.,[.,.]],.],.],[[[.,.],.],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
[[[[[.,.],.],.],.],[.,[.,[.,.]]]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
[[[[[.,.],.],.],.],[.,[[.,.],.]]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
[[[[[.,.],.],.],.],[[.,.],[.,.]]]=>([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8)=>([(0,3),(2,1),(3,2)],4)
[[[[[.,.],.],.],.],[[.,[.,.]],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
[[[[[.,.],.],.],.],[[[.,.],.],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,4),(0,5),(1,9),(2,3),(2,11),(3,8),(4,1),(4,10),(5,2),(5,10),(7,6),(8,6),(9,7),(10,9),(10,11),(11,7),(11,8)],12)
Map
to poset
Description
Return the poset obtained by interpreting the tree as a Hasse diagram.
Map
antichains of maximal size
Description
The lattice of antichains of maximal size in a poset.
The set of antichains of maximal size 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$.
This is a sublattice of the lattice of all antichains with respect to the same order relation. In particular, it is distributive.
The set of antichains of maximal size 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$.
This is a sublattice of the lattice of all antichains with respect to the same order relation. In particular, it is distributive.
searching the database
Sorry, this map was not found in the database.