Identifier
Images
=>
Cc0010;cc-rep-0Cc0020;cc-rep-1Cc0020;cc-rep-2
[.,.]=>([],1)=>([],1)
[.,[.,.]]=>([(0,1)],2)=>([(0,1)],2)
[[.,.],.]=>([(0,1)],2)=>([(0,1)],2)
[.,[.,[.,.]]]=>([(0,2),(1,2)],3)=>([(0,1)],2)
[.,[[.,.],.]]=>([(0,2),(1,2)],3)=>([(0,1)],2)
[[.,.],[.,.]]=>([(0,2),(1,2)],3)=>([(0,1)],2)
[[.,[.,.]],.]=>([(0,2),(1,2)],3)=>([(0,1)],2)
[[[.,.],.],.]=>([(0,2),(1,2)],3)=>([(0,1)],2)
[.,[.,[.,[.,.]]]]=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4)
[.,[.,[[.,.],.]]]=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4)
[.,[[.,.],[.,.]]]=>([(0,3),(1,3),(2,3)],4)=>([(0,1)],2)
[.,[[.,[.,.]],.]]=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4)
[.,[[[.,.],.],.]]=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4)
[[.,.],[.,[.,.]]]=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4)
[[.,.],[[.,.],.]]=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4)
[[.,[.,.]],[.,.]]=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4)
[[[.,.],.],[.,.]]=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4)
[[.,[.,[.,.]]],.]=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4)
[[.,[[.,.],.]],.]=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4)
[[[.,.],[.,.]],.]=>([(0,3),(1,3),(2,3)],4)=>([(0,1)],2)
[[[.,[.,.]],.],.]=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4)
[[[[.,.],.],.],.]=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4)
[.,[.,[.,[.,[.,.]]]]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,4),(1,3),(2,3),(2,4)],5)
[.,[.,[.,[[.,.],.]]]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,4),(1,3),(2,3),(2,4)],5)
[.,[.,[[.,.],[.,.]]]]=>([(0,4),(1,4),(2,3),(3,4)],5)=>([(0,3),(1,2),(2,3)],4)
[.,[.,[[.,[.,.]],.]]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,4),(1,3),(2,3),(2,4)],5)
[.,[.,[[[.,.],.],.]]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,4),(1,3),(2,3),(2,4)],5)
[.,[[.,.],[.,[.,.]]]]=>([(0,4),(1,4),(2,3),(3,4)],5)=>([(0,3),(1,2),(2,3)],4)
[.,[[.,.],[[.,.],.]]]=>([(0,4),(1,4),(2,3),(3,4)],5)=>([(0,3),(1,2),(2,3)],4)
[.,[[.,[.,.]],[.,.]]]=>([(0,4),(1,4),(2,3),(3,4)],5)=>([(0,3),(1,2),(2,3)],4)
[.,[[[.,.],.],[.,.]]]=>([(0,4),(1,4),(2,3),(3,4)],5)=>([(0,3),(1,2),(2,3)],4)
[.,[[.,[.,[.,.]]],.]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,4),(1,3),(2,3),(2,4)],5)
[.,[[.,[[.,.],.]],.]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,4),(1,3),(2,3),(2,4)],5)
[.,[[[.,.],[.,.]],.]]=>([(0,4),(1,4),(2,3),(3,4)],5)=>([(0,3),(1,2),(2,3)],4)
[.,[[[.,[.,.]],.],.]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,4),(1,3),(2,3),(2,4)],5)
[.,[[[[.,.],.],.],.]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,4),(1,3),(2,3),(2,4)],5)
[[.,.],[.,[.,[.,.]]]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,4),(1,3),(2,3),(2,4)],5)
[[.,.],[.,[[.,.],.]]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,4),(1,3),(2,3),(2,4)],5)
[[.,.],[[.,.],[.,.]]]=>([(0,4),(1,4),(2,3),(3,4)],5)=>([(0,3),(1,2),(2,3)],4)
[[.,.],[[.,[.,.]],.]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,4),(1,3),(2,3),(2,4)],5)
[[.,.],[[[.,.],.],.]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,4),(1,3),(2,3),(2,4)],5)
[[.,[.,.]],[.,[.,.]]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,4),(1,3),(2,3),(2,4)],5)
[[.,[.,.]],[[.,.],.]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,4),(1,3),(2,3),(2,4)],5)
[[[.,.],.],[.,[.,.]]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,4),(1,3),(2,3),(2,4)],5)
[[[.,.],.],[[.,.],.]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,4),(1,3),(2,3),(2,4)],5)
[[.,[.,[.,.]]],[.,.]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,4),(1,3),(2,3),(2,4)],5)
[[.,[[.,.],.]],[.,.]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,4),(1,3),(2,3),(2,4)],5)
[[[.,.],[.,.]],[.,.]]=>([(0,4),(1,4),(2,3),(3,4)],5)=>([(0,3),(1,2),(2,3)],4)
[[[.,[.,.]],.],[.,.]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,4),(1,3),(2,3),(2,4)],5)
[[[[.,.],.],.],[.,.]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,4),(1,3),(2,3),(2,4)],5)
[[.,[.,[.,[.,.]]]],.]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,4),(1,3),(2,3),(2,4)],5)
[[.,[.,[[.,.],.]]],.]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,4),(1,3),(2,3),(2,4)],5)
[[.,[[.,.],[.,.]]],.]=>([(0,4),(1,4),(2,3),(3,4)],5)=>([(0,3),(1,2),(2,3)],4)
[[.,[[.,[.,.]],.]],.]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,4),(1,3),(2,3),(2,4)],5)
[[.,[[[.,.],.],.]],.]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,4),(1,3),(2,3),(2,4)],5)
[[[.,.],[.,[.,.]]],.]=>([(0,4),(1,4),(2,3),(3,4)],5)=>([(0,3),(1,2),(2,3)],4)
[[[.,.],[[.,.],.]],.]=>([(0,4),(1,4),(2,3),(3,4)],5)=>([(0,3),(1,2),(2,3)],4)
[[[.,[.,.]],[.,.]],.]=>([(0,4),(1,4),(2,3),(3,4)],5)=>([(0,3),(1,2),(2,3)],4)
[[[[.,.],.],[.,.]],.]=>([(0,4),(1,4),(2,3),(3,4)],5)=>([(0,3),(1,2),(2,3)],4)
[[[.,[.,[.,.]]],.],.]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,4),(1,3),(2,3),(2,4)],5)
[[[.,[[.,.],.]],.],.]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,4),(1,3),(2,3),(2,4)],5)
[[[[.,.],[.,.]],.],.]=>([(0,4),(1,4),(2,3),(3,4)],5)=>([(0,3),(1,2),(2,3)],4)
[[[[.,[.,.]],.],.],.]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,4),(1,3),(2,3),(2,4)],5)
[[[[[.,.],.],.],.],.]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,4),(1,3),(2,3),(2,4)],5)
[.,[.,[.,[.,[.,[.,.]]]]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[.,[.,[.,[.,[[.,.],.]]]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[.,[.,[.,[[.,.],[.,.]]]]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)
[.,[.,[.,[[.,[.,.]],.]]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[.,[.,[.,[[[.,.],.],.]]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[.,[.,[[.,.],[.,[.,.]]]]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[.,[.,[[.,.],[[.,.],.]]]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[.,[.,[[.,[.,.]],[.,.]]]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[.,[.,[[[.,.],.],[.,.]]]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[.,[.,[[.,[.,[.,.]]],.]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[.,[.,[[.,[[.,.],.]],.]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[.,[.,[[[.,.],[.,.]],.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)
[.,[.,[[[.,[.,.]],.],.]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[.,[.,[[[[.,.],.],.],.]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[.,[[.,.],[.,[.,[.,.]]]]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)
[.,[[.,.],[.,[[.,.],.]]]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)
[.,[[.,.],[[.,.],[.,.]]]]=>([(0,5),(1,5),(2,4),(3,4),(4,5)],6)=>([(0,3),(1,2),(2,3)],4)
[.,[[.,.],[[.,[.,.]],.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)
[.,[[.,.],[[[.,.],.],.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)
[.,[[.,[.,.]],[.,[.,.]]]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[.,[[.,[.,.]],[[.,.],.]]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[.,[[[.,.],.],[.,[.,.]]]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[.,[[[.,.],.],[[.,.],.]]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[.,[[.,[.,[.,.]]],[.,.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)
[.,[[.,[[.,.],.]],[.,.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)
[.,[[[.,.],[.,.]],[.,.]]]=>([(0,5),(1,5),(2,4),(3,4),(4,5)],6)=>([(0,3),(1,2),(2,3)],4)
[.,[[[.,[.,.]],.],[.,.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)
[.,[[[[.,.],.],.],[.,.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)
[.,[[.,[.,[.,[.,.]]]],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[.,[[.,[.,[[.,.],.]]],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[.,[[.,[[.,.],[.,.]]],.]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)
[.,[[.,[[.,[.,.]],.]],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[.,[[.,[[[.,.],.],.]],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[.,[[[.,.],[.,[.,.]]],.]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[.,[[[.,.],[[.,.],.]],.]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[.,[[[.,[.,.]],[.,.]],.]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[.,[[[[.,.],.],[.,.]],.]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[.,[[[.,[.,[.,.]]],.],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[.,[[[.,[[.,.],.]],.],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[.,[[[[.,.],[.,.]],.],.]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)
[.,[[[[.,[.,.]],.],.],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[.,[[[[[.,.],.],.],.],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[.,.],[.,[.,[.,[.,.]]]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[.,.],[.,[.,[[.,.],.]]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[.,.],[.,[[.,.],[.,.]]]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)
[[.,.],[.,[[.,[.,.]],.]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[.,.],[.,[[[.,.],.],.]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[.,.],[[.,.],[.,[.,.]]]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[.,.],[[.,.],[[.,.],.]]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[.,.],[[.,[.,.]],[.,.]]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[.,.],[[[.,.],.],[.,.]]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[.,.],[[.,[.,[.,.]]],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[.,.],[[.,[[.,.],.]],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[.,.],[[[.,.],[.,.]],.]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)
[[.,.],[[[.,[.,.]],.],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[.,.],[[[[.,.],.],.],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[.,[.,.]],[.,[.,[.,.]]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[.,[.,.]],[.,[[.,.],.]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[.,[.,.]],[[.,.],[.,.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)
[[.,[.,.]],[[.,[.,.]],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[.,[.,.]],[[[.,.],.],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[.,.],.],[.,[.,[.,.]]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[.,.],.],[.,[[.,.],.]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[.,.],.],[[.,.],[.,.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)
[[[.,.],.],[[.,[.,.]],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[.,.],.],[[[.,.],.],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[.,[.,[.,.]]],[.,[.,.]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[.,[.,[.,.]]],[[.,.],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[.,[[.,.],.]],[.,[.,.]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[.,[[.,.],.]],[[.,.],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[.,.],[.,.]],[.,[.,.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)
[[[.,.],[.,.]],[[.,.],.]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)
[[[.,[.,.]],.],[.,[.,.]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[.,[.,.]],.],[[.,.],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[[.,.],.],.],[.,[.,.]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[[.,.],.],.],[[.,.],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[.,[.,[.,[.,.]]]],[.,.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[.,[.,[[.,.],.]]],[.,.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[.,[[.,.],[.,.]]],[.,.]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)
[[.,[[.,[.,.]],.]],[.,.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[.,[[[.,.],.],.]],[.,.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[.,.],[.,[.,.]]],[.,.]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[.,.],[[.,.],.]],[.,.]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[.,[.,.]],[.,.]],[.,.]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[[.,.],.],[.,.]],[.,.]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[.,[.,[.,.]]],.],[.,.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[.,[[.,.],.]],.],[.,.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[[.,.],[.,.]],.],[.,.]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)
[[[[.,[.,.]],.],.],[.,.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[[[.,.],.],.],.],[.,.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[.,[.,[.,[.,[.,.]]]]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[.,[.,[.,[[.,.],.]]]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[.,[.,[[.,.],[.,.]]]],.]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)
[[.,[.,[[.,[.,.]],.]]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[.,[.,[[[.,.],.],.]]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[.,[[.,.],[.,[.,.]]]],.]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[.,[[.,.],[[.,.],.]]],.]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[.,[[.,[.,.]],[.,.]]],.]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[.,[[[.,.],.],[.,.]]],.]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[.,[[.,[.,[.,.]]],.]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[.,[[.,[[.,.],.]],.]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[.,[[[.,.],[.,.]],.]],.]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)
[[.,[[[.,[.,.]],.],.]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[.,[[[[.,.],.],.],.]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[.,.],[.,[.,[.,.]]]],.]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)
[[[.,.],[.,[[.,.],.]]],.]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)
[[[.,.],[[.,.],[.,.]]],.]=>([(0,5),(1,5),(2,4),(3,4),(4,5)],6)=>([(0,3),(1,2),(2,3)],4)
[[[.,.],[[.,[.,.]],.]],.]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)
[[[.,.],[[[.,.],.],.]],.]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)
[[[.,[.,.]],[.,[.,.]]],.]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[.,[.,.]],[[.,.],.]],.]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[[.,.],.],[.,[.,.]]],.]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[[.,.],.],[[.,.],.]],.]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[.,[.,[.,.]]],[.,.]],.]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)
[[[.,[[.,.],.]],[.,.]],.]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)
[[[[.,.],[.,.]],[.,.]],.]=>([(0,5),(1,5),(2,4),(3,4),(4,5)],6)=>([(0,3),(1,2),(2,3)],4)
[[[[.,[.,.]],.],[.,.]],.]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)
[[[[[.,.],.],.],[.,.]],.]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)
[[[.,[.,[.,[.,.]]]],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[.,[.,[[.,.],.]]],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[.,[[.,.],[.,.]]],.],.]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)
[[[.,[[.,[.,.]],.]],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[.,[[[.,.],.],.]],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[[.,.],[.,[.,.]]],.],.]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[[.,.],[[.,.],.]],.],.]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[[.,[.,.]],[.,.]],.],.]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[[[.,.],.],[.,.]],.],.]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[[.,[.,[.,.]]],.],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[[.,[[.,.],.]],.],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[[[.,.],[.,.]],.],.],.]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)
[[[[[.,[.,.]],.],.],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[[[[.,.],.],.],.],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[.,[.,[.,[.,[.,[.,[.,.]]]]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[.,[.,[.,[.,[[.,.],.]]]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[.,[.,[.,[[.,.],[.,.]]]]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[.,[.,[.,[.,[[.,[.,.]],.]]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[.,[.,[.,[[[.,.],.],.]]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[.,[.,[[.,.],[.,[.,.]]]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[.,[.,[.,[[.,.],[[.,.],.]]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[.,[.,[.,[[.,[.,.]],[.,.]]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[.,[.,[.,[[[.,.],.],[.,.]]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[.,[.,[.,[[.,[.,[.,.]]],.]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[.,[.,[[.,[[.,.],.]],.]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[.,[.,[[[.,.],[.,.]],.]]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[.,[.,[.,[[[.,[.,.]],.],.]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[.,[.,[[[[.,.],.],.],.]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[.,[[.,.],[.,[.,[.,.]]]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[.,[.,[[.,.],[.,[[.,.],.]]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[.,[.,[[.,.],[[.,.],[.,.]]]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[.,[.,[[.,.],[[.,[.,.]],.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[.,[.,[[.,.],[[[.,.],.],.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[.,[.,[[.,[.,.]],[.,[.,.]]]]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
[.,[.,[[.,[.,.]],[[.,.],.]]]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
[.,[.,[[[.,.],.],[.,[.,.]]]]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
[.,[.,[[[.,.],.],[[.,.],.]]]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
[.,[.,[[.,[.,[.,.]]],[.,.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[.,[.,[[.,[[.,.],.]],[.,.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[.,[.,[[[.,.],[.,.]],[.,.]]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[.,[.,[[[.,[.,.]],.],[.,.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[.,[.,[[[[.,.],.],.],[.,.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[.,[.,[[.,[.,[.,[.,.]]]],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[.,[[.,[.,[[.,.],.]]],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[.,[[.,[[.,.],[.,.]]],.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[.,[.,[[.,[[.,[.,.]],.]],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[.,[[.,[[[.,.],.],.]],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[.,[[[.,.],[.,[.,.]]],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[.,[.,[[[.,.],[[.,.],.]],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[.,[.,[[[.,[.,.]],[.,.]],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[.,[.,[[[[.,.],.],[.,.]],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[.,[.,[[[.,[.,[.,.]]],.],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[.,[[[.,[[.,.],.]],.],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[.,[[[[.,.],[.,.]],.],.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[.,[.,[[[[.,[.,.]],.],.],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[.,[[[[[.,.],.],.],.],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[[.,.],[.,[.,[.,[.,.]]]]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[.,[[.,.],[.,[.,[[.,.],.]]]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[.,[[.,.],[.,[[.,.],[.,.]]]]]=>([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,3),(2,3),(2,4)],5)
[.,[[.,.],[.,[[.,[.,.]],.]]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[.,[[.,.],[.,[[[.,.],.],.]]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[.,[[.,.],[[.,.],[.,[.,.]]]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[.,[[.,.],[[.,.],[[.,.],.]]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[.,[[.,.],[[.,[.,.]],[.,.]]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[.,[[.,.],[[[.,.],.],[.,.]]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[.,[[.,.],[[.,[.,[.,.]]],.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[.,[[.,.],[[.,[[.,.],.]],.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[.,[[.,.],[[[.,.],[.,.]],.]]]=>([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,3),(2,3),(2,4)],5)
[.,[[.,.],[[[.,[.,.]],.],.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[.,[[.,.],[[[[.,.],.],.],.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[.,[[.,[.,.]],[.,[.,[.,.]]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[.,[[.,[.,.]],[.,[[.,.],.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[.,[[.,[.,.]],[[.,.],[.,.]]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[.,[[.,[.,.]],[[.,[.,.]],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[.,[[.,[.,.]],[[[.,.],.],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[.,[[[.,.],.],[.,[.,[.,.]]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[.,[[[.,.],.],[.,[[.,.],.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[.,[[[.,.],.],[[.,.],[.,.]]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[.,[[[.,.],.],[[.,[.,.]],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[.,[[[.,.],.],[[[.,.],.],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[.,[[.,[.,[.,.]]],[.,[.,.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[.,[[.,[.,[.,.]]],[[.,.],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[.,[[.,[[.,.],.]],[.,[.,.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[.,[[.,[[.,.],.]],[[.,.],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[.,[[[.,.],[.,.]],[.,[.,.]]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[.,[[[.,.],[.,.]],[[.,.],.]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[.,[[[.,[.,.]],.],[.,[.,.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[.,[[[.,[.,.]],.],[[.,.],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[.,[[[[.,.],.],.],[.,[.,.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[.,[[[[.,.],.],.],[[.,.],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[.,[[.,[.,[.,[.,.]]]],[.,.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[.,[[.,[.,[[.,.],.]]],[.,.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[.,[[.,[[.,.],[.,.]]],[.,.]]]=>([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,3),(2,3),(2,4)],5)
[.,[[.,[[.,[.,.]],.]],[.,.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[.,[[.,[[[.,.],.],.]],[.,.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[.,[[[.,.],[.,[.,.]]],[.,.]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[.,[[[.,.],[[.,.],.]],[.,.]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[.,[[[.,[.,.]],[.,.]],[.,.]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[.,[[[[.,.],.],[.,.]],[.,.]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[.,[[[.,[.,[.,.]]],.],[.,.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[.,[[[.,[[.,.],.]],.],[.,.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[.,[[[[.,.],[.,.]],.],[.,.]]]=>([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,3),(2,3),(2,4)],5)
[.,[[[[.,[.,.]],.],.],[.,.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[.,[[[[[.,.],.],.],.],[.,.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[.,[[.,[.,[.,[.,[.,.]]]]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[[.,[.,[.,[[.,.],.]]]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[[.,[.,[[.,.],[.,.]]]],.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[.,[[.,[.,[[.,[.,.]],.]]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[[.,[.,[[[.,.],.],.]]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[[.,[[.,.],[.,[.,.]]]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[.,[[.,[[.,.],[[.,.],.]]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[.,[[.,[[.,[.,.]],[.,.]]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[.,[[.,[[[.,.],.],[.,.]]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[.,[[.,[[.,[.,[.,.]]],.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[[.,[[.,[[.,.],.]],.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[[.,[[[.,.],[.,.]],.]],.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[.,[[.,[[[.,[.,.]],.],.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[[.,[[[[.,.],.],.],.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[[[.,.],[.,[.,[.,.]]]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[.,[[[.,.],[.,[[.,.],.]]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[.,[[[.,.],[[.,.],[.,.]]],.]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[.,[[[.,.],[[.,[.,.]],.]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[.,[[[.,.],[[[.,.],.],.]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[.,[[[.,[.,.]],[.,[.,.]]],.]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
[.,[[[.,[.,.]],[[.,.],.]],.]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
[.,[[[[.,.],.],[.,[.,.]]],.]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
[.,[[[[.,.],.],[[.,.],.]],.]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
[.,[[[.,[.,[.,.]]],[.,.]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[.,[[[.,[[.,.],.]],[.,.]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[.,[[[[.,.],[.,.]],[.,.]],.]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[.,[[[[.,[.,.]],.],[.,.]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[.,[[[[[.,.],.],.],[.,.]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[.,[[[.,[.,[.,[.,.]]]],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[[[.,[.,[[.,.],.]]],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[[[.,[[.,.],[.,.]]],.],.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[.,[[[.,[[.,[.,.]],.]],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[[[.,[[[.,.],.],.]],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[[[[.,.],[.,[.,.]]],.],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[.,[[[[.,.],[[.,.],.]],.],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[.,[[[[.,[.,.]],[.,.]],.],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[.,[[[[[.,.],.],[.,.]],.],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[.,[[[[.,[.,[.,.]]],.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[[[[.,[[.,.],.]],.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[[[[[.,.],[.,.]],.],.],.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[.,[[[[[.,[.,.]],.],.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[[[[[[.,.],.],.],.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,.],[.,[.,[.,[.,[.,.]]]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,.],[.,[.,[.,[[.,.],.]]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,.],[.,[.,[[.,.],[.,.]]]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[.,.],[.,[.,[[.,[.,.]],.]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,.],[.,[.,[[[.,.],.],.]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,.],[.,[[.,.],[.,[.,.]]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[.,.],[.,[[.,.],[[.,.],.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[.,.],[.,[[.,[.,.]],[.,.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[.,.],[.,[[[.,.],.],[.,.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[.,.],[.,[[.,[.,[.,.]]],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,.],[.,[[.,[[.,.],.]],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,.],[.,[[[.,.],[.,.]],.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[.,.],[.,[[[.,[.,.]],.],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,.],[.,[[[[.,.],.],.],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,.],[[.,.],[.,[.,[.,.]]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[.,.],[[.,.],[.,[[.,.],.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[.,.],[[.,.],[[.,.],[.,.]]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[.,.],[[.,.],[[.,[.,.]],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[.,.],[[.,.],[[[.,.],.],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[.,.],[[.,[.,.]],[.,[.,.]]]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
[[.,.],[[.,[.,.]],[[.,.],.]]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
[[.,.],[[[.,.],.],[.,[.,.]]]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
[[.,.],[[[.,.],.],[[.,.],.]]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
[[.,.],[[.,[.,[.,.]]],[.,.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[.,.],[[.,[[.,.],.]],[.,.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[.,.],[[[.,.],[.,.]],[.,.]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[.,.],[[[.,[.,.]],.],[.,.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[.,.],[[[[.,.],.],.],[.,.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[.,.],[[.,[.,[.,[.,.]]]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,.],[[.,[.,[[.,.],.]]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,.],[[.,[[.,.],[.,.]]],.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[.,.],[[.,[[.,[.,.]],.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,.],[[.,[[[.,.],.],.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,.],[[[.,.],[.,[.,.]]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[.,.],[[[.,.],[[.,.],.]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[.,.],[[[.,[.,.]],[.,.]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[.,.],[[[[.,.],.],[.,.]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[.,.],[[[.,[.,[.,.]]],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,.],[[[.,[[.,.],.]],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,.],[[[[.,.],[.,.]],.],.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[.,.],[[[[.,[.,.]],.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,.],[[[[[.,.],.],.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[.,.]],[.,[.,[.,[.,.]]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[.,.]],[.,[.,[[.,.],.]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[.,.]],[.,[[.,.],[.,.]]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[.,[.,.]],[.,[[.,[.,.]],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[.,.]],[.,[[[.,.],.],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[.,.]],[[.,.],[.,[.,.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[.,[.,.]],[[.,.],[[.,.],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[.,[.,.]],[[.,[.,.]],[.,.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[.,[.,.]],[[[.,.],.],[.,.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[.,[.,.]],[[.,[.,[.,.]]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[.,.]],[[.,[[.,.],.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[.,.]],[[[.,.],[.,.]],.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[.,[.,.]],[[[.,[.,.]],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[.,.]],[[[[.,.],.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,.],.],[.,[.,[.,[.,.]]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,.],.],[.,[.,[[.,.],.]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,.],.],[.,[[.,.],[.,.]]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[.,.],.],[.,[[.,[.,.]],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,.],.],[.,[[[.,.],.],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,.],.],[[.,.],[.,[.,.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[.,.],.],[[.,.],[[.,.],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[.,.],.],[[.,[.,.]],[.,.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[.,.],.],[[[.,.],.],[.,.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[.,.],.],[[.,[.,[.,.]]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,.],.],[[.,[[.,.],.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,.],.],[[[.,.],[.,.]],.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[.,.],.],[[[.,[.,.]],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,.],.],[[[[.,.],.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[.,[.,.]]],[.,[.,[.,.]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[.,[.,.]]],[.,[[.,.],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[.,[.,.]]],[[.,.],[.,.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[.,[.,[.,.]]],[[.,[.,.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[.,[.,.]]],[[[.,.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[[.,.],.]],[.,[.,[.,.]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[[.,.],.]],[.,[[.,.],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[[.,.],.]],[[.,.],[.,.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[.,[[.,.],.]],[[.,[.,.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[[.,.],.]],[[[.,.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,.],[.,.]],[.,[.,[.,.]]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[.,.],[.,.]],[.,[[.,.],.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[.,.],[.,.]],[[.,.],[.,.]]]=>([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,3),(2,3),(2,4)],5)
[[[.,.],[.,.]],[[.,[.,.]],.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[.,.],[.,.]],[[[.,.],.],.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[.,[.,.]],.],[.,[.,[.,.]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,[.,.]],.],[.,[[.,.],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,[.,.]],.],[[.,.],[.,.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[.,[.,.]],.],[[.,[.,.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,[.,.]],.],[[[.,.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[[.,.],.],.],[.,[.,[.,.]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[[.,.],.],.],[.,[[.,.],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[[.,.],.],.],[[.,.],[.,.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[[.,.],.],.],[[.,[.,.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[[.,.],.],.],[[[.,.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[.,[.,[.,.]]]],[.,[.,.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[.,[.,[.,.]]]],[[.,.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[.,[[.,.],.]]],[.,[.,.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[.,[[.,.],.]]],[[.,.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[[.,.],[.,.]]],[.,[.,.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[.,[[.,.],[.,.]]],[[.,.],.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[.,[[.,[.,.]],.]],[.,[.,.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[[.,[.,.]],.]],[[.,.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[[[.,.],.],.]],[.,[.,.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[[[.,.],.],.]],[[.,.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,.],[.,[.,.]]],[.,[.,.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[.,.],[.,[.,.]]],[[.,.],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[.,.],[[.,.],.]],[.,[.,.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[.,.],[[.,.],.]],[[.,.],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[.,[.,.]],[.,.]],[.,[.,.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[.,[.,.]],[.,.]],[[.,.],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[.,.],.],[.,.]],[.,[.,.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[.,.],.],[.,.]],[[.,.],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[.,[.,[.,.]]],.],[.,[.,.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,[.,[.,.]]],.],[[.,.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,[[.,.],.]],.],[.,[.,.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,[[.,.],.]],.],[[.,.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[[.,.],[.,.]],.],[.,[.,.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[[.,.],[.,.]],.],[[.,.],.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[[.,[.,.]],.],.],[.,[.,.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[[.,[.,.]],.],.],[[.,.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[[[.,.],.],.],.],[.,[.,.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[[[.,.],.],.],.],[[.,.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[.,[.,[.,[.,.]]]]],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[.,[.,[[.,.],.]]]],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[.,[[.,.],[.,.]]]],[.,.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[.,[.,[[.,[.,.]],.]]],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[.,[[[.,.],.],.]]],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[[.,.],[.,[.,.]]]],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[.,[[.,.],[[.,.],.]]],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[.,[[.,[.,.]],[.,.]]],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[.,[[[.,.],.],[.,.]]],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[.,[[.,[.,[.,.]]],.]],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[[.,[[.,.],.]],.]],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[[[.,.],[.,.]],.]],[.,.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[.,[[[.,[.,.]],.],.]],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[[[[.,.],.],.],.]],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,.],[.,[.,[.,.]]]],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[.,.],[.,[[.,.],.]]],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[.,.],[[.,.],[.,.]]],[.,.]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[.,.],[[.,[.,.]],.]],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[.,.],[[[.,.],.],.]],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[.,[.,.]],[.,[.,.]]],[.,.]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
[[[.,[.,.]],[[.,.],.]],[.,.]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
[[[[.,.],.],[.,[.,.]]],[.,.]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
[[[[.,.],.],[[.,.],.]],[.,.]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
[[[.,[.,[.,.]]],[.,.]],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[.,[[.,.],.]],[.,.]],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[.,.],[.,.]],[.,.]],[.,.]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[[.,[.,.]],.],[.,.]],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[[.,.],.],.],[.,.]],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[.,[.,[.,[.,.]]]],.],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,[.,[[.,.],.]]],.],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,[[.,.],[.,.]]],.],[.,.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[.,[[.,[.,.]],.]],.],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,[[[.,.],.],.]],.],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[[.,.],[.,[.,.]]],.],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[.,.],[[.,.],.]],.],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[.,[.,.]],[.,.]],.],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[[.,.],.],[.,.]],.],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[.,[.,[.,.]]],.],.],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[[.,[[.,.],.]],.],.],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[[[.,.],[.,.]],.],.],[.,.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[[[.,[.,.]],.],.],.],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[[[[.,.],.],.],.],.],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[.,[.,[.,[.,[.,.]]]]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[.,[.,[.,[[.,.],.]]]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[.,[.,[[.,.],[.,.]]]]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[.,[.,[.,[[.,[.,.]],.]]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[.,[.,[[[.,.],.],.]]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[.,[[.,.],[.,[.,.]]]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[.,[.,[[.,.],[[.,.],.]]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[.,[.,[[.,[.,.]],[.,.]]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[.,[.,[[[.,.],.],[.,.]]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[.,[.,[[.,[.,[.,.]]],.]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[.,[[.,[[.,.],.]],.]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[.,[[[.,.],[.,.]],.]]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[.,[.,[[[.,[.,.]],.],.]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[.,[[[[.,.],.],.],.]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[[.,.],[.,[.,[.,.]]]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[.,[[.,.],[.,[[.,.],.]]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[.,[[.,.],[[.,.],[.,.]]]],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[.,[[.,.],[[.,[.,.]],.]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[.,[[.,.],[[[.,.],.],.]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[.,[[.,[.,.]],[.,[.,.]]]],.]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
[[.,[[.,[.,.]],[[.,.],.]]],.]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
[[.,[[[.,.],.],[.,[.,.]]]],.]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
[[.,[[[.,.],.],[[.,.],.]]],.]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
[[.,[[.,[.,[.,.]]],[.,.]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[.,[[.,[[.,.],.]],[.,.]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[.,[[[.,.],[.,.]],[.,.]]],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[.,[[[.,[.,.]],.],[.,.]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[.,[[[[.,.],.],.],[.,.]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[.,[[.,[.,[.,[.,.]]]],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[[.,[.,[[.,.],.]]],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[[.,[[.,.],[.,.]]],.]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[.,[[.,[[.,[.,.]],.]],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[[.,[[[.,.],.],.]],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[[[.,.],[.,[.,.]]],.]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[.,[[[.,.],[[.,.],.]],.]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[.,[[[.,[.,.]],[.,.]],.]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[.,[[[[.,.],.],[.,.]],.]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[.,[[[.,[.,[.,.]]],.],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[[[.,[[.,.],.]],.],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[[[[.,.],[.,.]],.],.]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[.,[[[[.,[.,.]],.],.],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[[[[[.,.],.],.],.],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,.],[.,[.,[.,[.,.]]]]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[.,.],[.,[.,[[.,.],.]]]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[.,.],[.,[[.,.],[.,.]]]],.]=>([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,3),(2,3),(2,4)],5)
[[[.,.],[.,[[.,[.,.]],.]]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[.,.],[.,[[[.,.],.],.]]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[.,.],[[.,.],[.,[.,.]]]],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[.,.],[[.,.],[[.,.],.]]],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[.,.],[[.,[.,.]],[.,.]]],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[.,.],[[[.,.],.],[.,.]]],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[.,.],[[.,[.,[.,.]]],.]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[.,.],[[.,[[.,.],.]],.]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[.,.],[[[.,.],[.,.]],.]],.]=>([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,3),(2,3),(2,4)],5)
[[[.,.],[[[.,[.,.]],.],.]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[.,.],[[[[.,.],.],.],.]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[.,[.,.]],[.,[.,[.,.]]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[.,[.,.]],[.,[[.,.],.]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[.,[.,.]],[[.,.],[.,.]]],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[.,[.,.]],[[.,[.,.]],.]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[.,[.,.]],[[[.,.],.],.]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[.,.],.],[.,[.,[.,.]]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[.,.],.],[.,[[.,.],.]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[.,.],.],[[.,.],[.,.]]],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[[.,.],.],[[.,[.,.]],.]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[.,.],.],[[[.,.],.],.]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[.,[.,[.,.]]],[.,[.,.]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[.,[.,[.,.]]],[[.,.],.]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[.,[[.,.],.]],[.,[.,.]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[.,[[.,.],.]],[[.,.],.]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[.,.],[.,.]],[.,[.,.]]],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[[.,.],[.,.]],[[.,.],.]],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[[.,[.,.]],.],[.,[.,.]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[.,[.,.]],.],[[.,.],.]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[[.,.],.],.],[.,[.,.]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[[.,.],.],.],[[.,.],.]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[.,[.,[.,[.,.]]]],[.,.]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[.,[.,[[.,.],.]]],[.,.]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[.,[[.,.],[.,.]]],[.,.]],.]=>([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,3),(2,3),(2,4)],5)
[[[.,[[.,[.,.]],.]],[.,.]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[.,[[[.,.],.],.]],[.,.]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[[.,.],[.,[.,.]]],[.,.]],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[[.,.],[[.,.],.]],[.,.]],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[[.,[.,.]],[.,.]],[.,.]],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[[[.,.],.],[.,.]],[.,.]],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[[.,[.,[.,.]]],.],[.,.]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[[.,[[.,.],.]],.],[.,.]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[[[.,.],[.,.]],.],[.,.]],.]=>([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,3),(2,3),(2,4)],5)
[[[[[.,[.,.]],.],.],[.,.]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[[[[.,.],.],.],.],[.,.]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[.,[.,[.,[.,[.,.]]]]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,[.,[.,[[.,.],.]]]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,[.,[[.,.],[.,.]]]],.],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[.,[.,[[.,[.,.]],.]]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,[.,[[[.,.],.],.]]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,[[.,.],[.,[.,.]]]],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[.,[[.,.],[[.,.],.]]],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[.,[[.,[.,.]],[.,.]]],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[.,[[[.,.],.],[.,.]]],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[.,[[.,[.,[.,.]]],.]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,[[.,[[.,.],.]],.]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,[[[.,.],[.,.]],.]],.],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[.,[[[.,[.,.]],.],.]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,[[[[.,.],.],.],.]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[[.,.],[.,[.,[.,.]]]],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[.,.],[.,[[.,.],.]]],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[.,.],[[.,.],[.,.]]],.],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[[.,.],[[.,[.,.]],.]],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[.,.],[[[.,.],.],.]],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[.,[.,.]],[.,[.,.]]],.],.]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
[[[[.,[.,.]],[[.,.],.]],.],.]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
[[[[[.,.],.],[.,[.,.]]],.],.]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
[[[[[.,.],.],[[.,.],.]],.],.]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
[[[[.,[.,[.,.]]],[.,.]],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[.,[[.,.],.]],[.,.]],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[[.,.],[.,.]],[.,.]],.],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[[[.,[.,.]],.],[.,.]],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[[[.,.],.],.],[.,.]],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[.,[.,[.,[.,.]]]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[[.,[.,[[.,.],.]]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[[.,[[.,.],[.,.]]],.],.],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[[.,[[.,[.,.]],.]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[[.,[[[.,.],.],.]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[[[.,.],[.,[.,.]]],.],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[[.,.],[[.,.],.]],.],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[[.,[.,.]],[.,.]],.],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[[[.,.],.],[.,.]],.],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[[.,[.,[.,.]]],.],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[[[.,[[.,.],.]],.],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[[[[.,.],[.,.]],.],.],.],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[[[[.,[.,.]],.],.],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[[[[[.,.],.],.],.],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[.,[.,[.,[.,[[.,.],[.,.]]]]]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[.,[.,[.,[[[.,.],[.,.]],.]]]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[.,[.,[[.,.],[.,[.,[.,.]]]]]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[.,[.,[.,[[.,.],[.,[[.,.],.]]]]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[.,[.,[.,[[.,.],[[.,[.,.]],.]]]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[.,[.,[.,[[.,.],[[[.,.],.],.]]]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[.,[.,[.,[[.,[.,[.,.]]],[.,.]]]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[.,[.,[.,[[.,[[.,.],.]],[.,.]]]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[.,[.,[.,[[[.,[.,.]],.],[.,.]]]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[.,[.,[.,[[[[.,.],.],.],[.,.]]]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[.,[.,[.,[[.,[[.,.],[.,.]]],.]]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[.,[.,[[[[.,.],[.,.]],.],.]]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[.,[[.,[.,[[.,.],[.,.]]]],.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[.,[[.,[[[.,.],[.,.]],.]],.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[.,[[[.,.],[.,[.,[.,.]]]],.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[.,[.,[[[.,.],[.,[[.,.],.]]],.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[.,[.,[[[.,.],[[.,[.,.]],.]],.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[.,[.,[[[.,.],[[[.,.],.],.]],.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[.,[.,[[[.,[.,[.,.]]],[.,.]],.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[.,[.,[[[.,[[.,.],.]],[.,.]],.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[.,[.,[[[[.,[.,.]],.],[.,.]],.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[.,[.,[[[[[.,.],.],.],[.,.]],.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[.,[.,[[[.,[[.,.],[.,.]]],.],.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[.,[[[[[.,.],[.,.]],.],.],.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[[.,.],[.,[.,[.,[.,[.,.]]]]]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[[.,.],[.,[.,[.,[[.,.],.]]]]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[[.,.],[.,[.,[[.,[.,.]],.]]]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[[.,.],[.,[.,[[[.,.],.],.]]]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[[.,.],[.,[[.,[.,[.,.]]],.]]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[[.,.],[.,[[.,[[.,.],.]],.]]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[[.,.],[.,[[[.,[.,.]],.],.]]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[[.,.],[.,[[[[.,.],.],.],.]]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[[.,.],[[.,[.,[.,[.,.]]]],.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[[.,.],[[.,[.,[[.,.],.]]],.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[[.,.],[[.,[[.,[.,.]],.]],.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[[.,.],[[.,[[[.,.],.],.]],.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[[.,.],[[[.,[.,[.,.]]],.],.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[[.,.],[[[.,[[.,.],.]],.],.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[[.,.],[[[[.,[.,.]],.],.],.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[[.,.],[[[[[.,.],.],.],.],.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[[.,[.,[.,.]]],[.,[.,[.,.]]]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[.,[[.,[.,[.,.]]],[.,[[.,.],.]]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[.,[[.,[.,[.,.]]],[[.,[.,.]],.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[.,[[.,[.,[.,.]]],[[[.,.],.],.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[.,[[.,[[.,.],.]],[.,[.,[.,.]]]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[.,[[.,[[.,.],.]],[.,[[.,.],.]]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[.,[[.,[[.,.],.]],[[.,[.,.]],.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[.,[[.,[[.,.],.]],[[[.,.],.],.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[.,[[[.,[.,.]],.],[.,[.,[.,.]]]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[.,[[[.,[.,.]],.],[.,[[.,.],.]]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[.,[[[.,[.,.]],.],[[.,[.,.]],.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[.,[[[.,[.,.]],.],[[[.,.],.],.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[.,[[[[.,.],.],.],[.,[.,[.,.]]]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[.,[[[[.,.],.],.],[.,[[.,.],.]]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[.,[[[[.,.],.],.],[[.,[.,.]],.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[.,[[[[.,.],.],.],[[[.,.],.],.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[.,[[.,[.,[.,[.,[.,.]]]]],[.,.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[[.,[.,[.,[[.,.],.]]]],[.,.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[[.,[.,[[.,[.,.]],.]]],[.,.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[[.,[.,[[[.,.],.],.]]],[.,.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[[.,[[.,[.,[.,.]]],.]],[.,.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[[.,[[.,[[.,.],.]],.]],[.,.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[[.,[[[.,[.,.]],.],.]],[.,.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[[.,[[[[.,.],.],.],.]],[.,.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[[[.,[.,[.,[.,.]]]],.],[.,.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[[[.,[.,[[.,.],.]]],.],[.,.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[[[.,[[.,[.,.]],.]],.],[.,.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[[[.,[[[.,.],.],.]],.],[.,.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[[[[.,[.,[.,.]]],.],.],[.,.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[[[[.,[[.,.],.]],.],.],[.,.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[[[[[.,[.,.]],.],.],.],[.,.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[[[[[[.,.],.],.],.],.],[.,.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[[.,[.,[.,[[.,.],[.,.]]]]],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[[.,[.,[[[.,.],[.,.]],.]]],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[[.,[[.,.],[.,[.,[.,.]]]]],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[.,[[.,[[.,.],[.,[[.,.],.]]]],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[.,[[.,[[.,.],[[.,[.,.]],.]]],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[.,[[.,[[.,.],[[[.,.],.],.]]],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[.,[[.,[[.,[.,[.,.]]],[.,.]]],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[.,[[.,[[.,[[.,.],.]],[.,.]]],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[.,[[.,[[[.,[.,.]],.],[.,.]]],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[.,[[.,[[[[.,.],.],.],[.,.]]],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[.,[[.,[[.,[[.,.],[.,.]]],.]],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[[.,[[[[.,.],[.,.]],.],.]],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[[[.,[.,[[.,.],[.,.]]]],.],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[[[.,[[[.,.],[.,.]],.]],.],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[[[[.,.],[.,[.,[.,.]]]],.],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[.,[[[[.,.],[.,[[.,.],.]]],.],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[.,[[[[.,.],[[.,[.,.]],.]],.],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[.,[[[[.,.],[[[.,.],.],.]],.],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[.,[[[[.,[.,[.,.]]],[.,.]],.],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[.,[[[[.,[[.,.],.]],[.,.]],.],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[.,[[[[[.,[.,.]],.],[.,.]],.],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[.,[[[[[[.,.],.],.],[.,.]],.],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[.,[[[[.,[[.,.],[.,.]]],.],.],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[.,[[[[[[.,.],[.,.]],.],.],.],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,.],[.,[.,[.,[[.,.],[.,.]]]]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,.],[.,[.,[[[.,.],[.,.]],.]]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,.],[.,[[.,.],[.,[.,[.,.]]]]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[.,.],[.,[[.,.],[.,[[.,.],.]]]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[.,.],[.,[[.,.],[[.,[.,.]],.]]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[.,.],[.,[[.,.],[[[.,.],.],.]]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[.,.],[.,[[.,[.,[.,.]]],[.,.]]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[.,.],[.,[[.,[[.,.],.]],[.,.]]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[.,.],[.,[[[.,[.,.]],.],[.,.]]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[.,.],[.,[[[[.,.],.],.],[.,.]]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[.,.],[.,[[.,[[.,.],[.,.]]],.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,.],[.,[[[[.,.],[.,.]],.],.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,.],[[.,[.,[[.,.],[.,.]]]],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,.],[[.,[[[.,.],[.,.]],.]],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,.],[[[.,.],[.,[.,[.,.]]]],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[.,.],[[[.,.],[.,[[.,.],.]]],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[.,.],[[[.,.],[[.,[.,.]],.]],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[.,.],[[[.,.],[[[.,.],.],.]],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[.,.],[[[.,[.,[.,.]]],[.,.]],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[.,.],[[[.,[[.,.],.]],[.,.]],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[.,.],[[[[.,[.,.]],.],[.,.]],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[.,.],[[[[[.,.],.],.],[.,.]],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[.,.],[[[.,[[.,.],[.,.]]],.],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,.],[[[[[.,.],[.,.]],.],.],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[.,.]],[.,[.,[[.,.],[.,.]]]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[.,.]],[.,[[[.,.],[.,.]],.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[.,.]],[[.,.],[.,[.,[.,.]]]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[.,[.,.]],[[.,.],[.,[[.,.],.]]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[.,[.,.]],[[.,.],[[.,[.,.]],.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[.,[.,.]],[[.,.],[[[.,.],.],.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[.,[.,.]],[[.,[.,[.,.]]],[.,.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[.,[.,.]],[[.,[[.,.],.]],[.,.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[.,[.,.]],[[[.,[.,.]],.],[.,.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[.,[.,.]],[[[[.,.],.],.],[.,.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[.,[.,.]],[[.,[[.,.],[.,.]]],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[.,.]],[[[[.,.],[.,.]],.],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,.],.],[.,[.,[[.,.],[.,.]]]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,.],.],[.,[[[.,.],[.,.]],.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,.],.],[[.,.],[.,[.,[.,.]]]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[.,.],.],[[.,.],[.,[[.,.],.]]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[.,.],.],[[.,.],[[.,[.,.]],.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[.,.],.],[[.,.],[[[.,.],.],.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[.,.],.],[[.,[.,[.,.]]],[.,.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[.,.],.],[[.,[[.,.],.]],[.,.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[.,.],.],[[[.,[.,.]],.],[.,.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[.,.],.],[[[[.,.],.],.],[.,.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[.,.],.],[[.,[[.,.],[.,.]]],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,.],.],[[[[.,.],[.,.]],.],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[.,[.,.]]],[.,[[.,.],[.,.]]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[.,[.,.]]],[[[.,.],[.,.]],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[[.,.],.]],[.,[[.,.],[.,.]]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[[.,.],.]],[[[.,.],[.,.]],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,.],[.,.]],[.,[.,[.,[.,.]]]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,.],[.,.]],[.,[.,[[.,.],.]]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,.],[.,.]],[.,[[.,[.,.]],.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,.],[.,.]],[.,[[[.,.],.],.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,.],[.,.]],[[.,[.,[.,.]]],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,.],[.,.]],[[.,[[.,.],.]],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,.],[.,.]],[[[.,[.,.]],.],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,.],[.,.]],[[[[.,.],.],.],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,[.,.]],.],[.,[[.,.],[.,.]]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,[.,.]],.],[[[.,.],[.,.]],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[[.,.],.],.],[.,[[.,.],[.,.]]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[[.,.],.],.],[[[.,.],[.,.]],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[.,[.,[.,.]]]],[[.,.],[.,.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[.,[[.,.],.]]],[[.,.],[.,.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[[.,.],[.,.]]],[.,[.,[.,.]]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[[.,.],[.,.]]],[.,[[.,.],.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[[.,.],[.,.]]],[[.,[.,.]],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[[.,.],[.,.]]],[[[.,.],.],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[[.,[.,.]],.]],[[.,.],[.,.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[[[.,.],.],.]],[[.,.],[.,.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,[.,[.,.]]],.],[[.,.],[.,.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,[[.,.],.]],.],[[.,.],[.,.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[[.,.],[.,.]],.],[.,[.,[.,.]]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[[.,.],[.,.]],.],[.,[[.,.],.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[[.,.],[.,.]],.],[[.,[.,.]],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[[.,.],[.,.]],.],[[[.,.],.],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[[.,[.,.]],.],.],[[.,.],[.,.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[[[.,.],.],.],.],[[.,.],[.,.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[.,[[.,.],[.,.]]]],[.,[.,.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[.,[[.,.],[.,.]]]],[[.,.],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[[[.,.],[.,.]],.]],[.,[.,.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[[[.,.],[.,.]],.]],[[.,.],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,.],[.,[.,[.,.]]]],[.,[.,.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[.,.],[.,[.,[.,.]]]],[[.,.],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[.,.],[.,[[.,.],.]]],[.,[.,.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[.,.],[.,[[.,.],.]]],[[.,.],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[.,.],[[.,[.,.]],.]],[.,[.,.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[.,.],[[.,[.,.]],.]],[[.,.],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[.,.],[[[.,.],.],.]],[.,[.,.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[.,.],[[[.,.],.],.]],[[.,.],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[.,[.,[.,.]]],[.,.]],[.,[.,.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[.,[.,[.,.]]],[.,.]],[[.,.],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[.,[[.,.],.]],[.,.]],[.,[.,.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[.,[[.,.],.]],[.,.]],[[.,.],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[[.,[.,.]],.],[.,.]],[.,[.,.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[[.,[.,.]],.],[.,.]],[[.,.],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[[[.,.],.],.],[.,.]],[.,[.,.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[[[.,.],.],.],[.,.]],[[.,.],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[.,[[.,.],[.,.]]],.],[.,[.,.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,[[.,.],[.,.]]],.],[[.,.],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[[[.,.],[.,.]],.],.],[.,[.,.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[[[.,.],[.,.]],.],.],[[.,.],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[.,[.,[[.,.],[.,.]]]]],[.,.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[.,[[[.,.],[.,.]],.]]],[.,.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[[.,.],[.,[.,[.,.]]]]],[.,.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[.,[[.,.],[.,[[.,.],.]]]],[.,.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[.,[[.,.],[[.,[.,.]],.]]],[.,.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[.,[[.,.],[[[.,.],.],.]]],[.,.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[.,[[.,[.,[.,.]]],[.,.]]],[.,.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[.,[[.,[[.,.],.]],[.,.]]],[.,.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[.,[[[.,[.,.]],.],[.,.]]],[.,.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[.,[[[[.,.],.],.],[.,.]]],[.,.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[.,[[.,[[.,.],[.,.]]],.]],[.,.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[[[[.,.],[.,.]],.],.]],[.,.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,[.,[[.,.],[.,.]]]],.],[.,.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,[[[.,.],[.,.]],.]],.],[.,.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[[.,.],[.,[.,[.,.]]]],.],[.,.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[[.,.],[.,[[.,.],.]]],.],[.,.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[[.,.],[[.,[.,.]],.]],.],[.,.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[[.,.],[[[.,.],.],.]],.],[.,.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[[.,[.,[.,.]]],[.,.]],.],[.,.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[[.,[[.,.],.]],[.,.]],.],[.,.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[[[.,[.,.]],.],[.,.]],.],[.,.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[[[[.,.],.],.],[.,.]],.],[.,.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[[.,[[.,.],[.,.]]],.],.],[.,.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[[[[.,.],[.,.]],.],.],.],[.,.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[.,[.,[.,[[.,.],[.,.]]]]]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[.,[.,[[[.,.],[.,.]],.]]]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[.,[[.,.],[.,[.,[.,.]]]]]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[.,[.,[[.,.],[.,[[.,.],.]]]]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[.,[.,[[.,.],[[.,[.,.]],.]]]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[.,[.,[[.,.],[[[.,.],.],.]]]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[.,[.,[[.,[.,[.,.]]],[.,.]]]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[.,[.,[[.,[[.,.],.]],[.,.]]]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[.,[.,[[[.,[.,.]],.],[.,.]]]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[.,[.,[[[[.,.],.],.],[.,.]]]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[.,[.,[[.,[[.,.],[.,.]]],.]]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[.,[[[[.,.],[.,.]],.],.]]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[[.,[.,[[.,.],[.,.]]]],.]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[[.,[[[.,.],[.,.]],.]],.]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[[[.,.],[.,[.,[.,.]]]],.]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[.,[[[.,.],[.,[[.,.],.]]],.]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[.,[[[.,.],[[.,[.,.]],.]],.]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[.,[[[.,.],[[[.,.],.],.]],.]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[.,[[[.,[.,[.,.]]],[.,.]],.]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[.,[[[.,[[.,.],.]],[.,.]],.]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[.,[[[[.,[.,.]],.],[.,.]],.]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[.,[[[[[.,.],.],.],[.,.]],.]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[.,[[[.,[[.,.],[.,.]]],.],.]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[.,[[[[[.,.],[.,.]],.],.],.]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,.],[.,[.,[.,[.,[.,.]]]]]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,.],[.,[.,[.,[[.,.],.]]]]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,.],[.,[.,[[.,[.,.]],.]]]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,.],[.,[.,[[[.,.],.],.]]]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,.],[.,[[.,[.,[.,.]]],.]]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,.],[.,[[.,[[.,.],.]],.]]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,.],[.,[[[.,[.,.]],.],.]]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,.],[.,[[[[.,.],.],.],.]]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,.],[[.,[.,[.,[.,.]]]],.]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,.],[[.,[.,[[.,.],.]]],.]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,.],[[.,[[.,[.,.]],.]],.]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,.],[[.,[[[.,.],.],.]],.]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,.],[[[.,[.,[.,.]]],.],.]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,.],[[[.,[[.,.],.]],.],.]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,.],[[[[.,[.,.]],.],.],.]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,.],[[[[[.,.],.],.],.],.]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,[.,[.,.]]],[.,[.,[.,.]]]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[.,[.,[.,.]]],[.,[[.,.],.]]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[.,[.,[.,.]]],[[.,[.,.]],.]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[.,[.,[.,.]]],[[[.,.],.],.]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[.,[[.,.],.]],[.,[.,[.,.]]]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[.,[[.,.],.]],[.,[[.,.],.]]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[.,[[.,.],.]],[[.,[.,.]],.]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[.,[[.,.],.]],[[[.,.],.],.]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[[.,[.,.]],.],[.,[.,[.,.]]]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[[.,[.,.]],.],[.,[[.,.],.]]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[[.,[.,.]],.],[[.,[.,.]],.]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[[.,[.,.]],.],[[[.,.],.],.]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[[[.,.],.],.],[.,[.,[.,.]]]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[[[.,.],.],.],[.,[[.,.],.]]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[[[.,.],.],.],[[.,[.,.]],.]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[[[.,.],.],.],[[[.,.],.],.]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[.,[.,[.,[.,[.,.]]]]],[.,.]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,[.,[.,[[.,.],.]]]],[.,.]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,[.,[[.,[.,.]],.]]],[.,.]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,[.,[[[.,.],.],.]]],[.,.]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,[[.,[.,[.,.]]],.]],[.,.]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,[[.,[[.,.],.]],.]],[.,.]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,[[[.,[.,.]],.],.]],[.,.]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,[[[[.,.],.],.],.]],[.,.]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[[.,[.,[.,[.,.]]]],.],[.,.]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[[.,[.,[[.,.],.]]],.],[.,.]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[[.,[[.,[.,.]],.]],.],[.,.]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[[.,[[[.,.],.],.]],.],[.,.]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[[[.,[.,[.,.]]],.],.],[.,.]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[[[.,[[.,.],.]],.],.],[.,.]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[[[[.,[.,.]],.],.],.],[.,.]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[[[[[.,.],.],.],.],.],[.,.]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,[.,[.,[[.,.],[.,.]]]]],.],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,[.,[[[.,.],[.,.]],.]]],.],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,[[.,.],[.,[.,[.,.]]]]],.],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[.,[[.,.],[.,[[.,.],.]]]],.],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[.,[[.,.],[[.,[.,.]],.]]],.],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[.,[[.,.],[[[.,.],.],.]]],.],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[.,[[.,[.,[.,.]]],[.,.]]],.],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[.,[[.,[[.,.],.]],[.,.]]],.],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[.,[[[.,[.,.]],.],[.,.]]],.],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[.,[[[[.,.],.],.],[.,.]]],.],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[.,[[.,[[.,.],[.,.]]],.]],.],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[.,[[[[.,.],[.,.]],.],.]],.],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[[.,[.,[[.,.],[.,.]]]],.],.],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[[.,[[[.,.],[.,.]],.]],.],.],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[[[.,.],[.,[.,[.,.]]]],.],.],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[[[.,.],[.,[[.,.],.]]],.],.],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[[[.,.],[[.,[.,.]],.]],.],.],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[[[.,.],[[[.,.],.],.]],.],.],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[[[.,[.,[.,.]]],[.,.]],.],.],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[[[.,[[.,.],.]],[.,.]],.],.],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[[[[.,[.,.]],.],[.,.]],.],.],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[[[[[.,.],.],.],[.,.]],.],.],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[[[.,[[.,.],[.,.]]],.],.],.],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[[[[[.,.],[.,.]],.],.],.],.],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
Map
to graph
Description
Return the undirected graph obtained from the tree nodes and edges, with leaves being ignored.
Map
de-duplicate
Description
The de-duplicate of a graph.
Let $G = (V, E)$ be a graph. This map yields the graph whose vertex set is the set of (distinct) neighbourhoods $\{N_v | v \in V\}$ of $G$, and has an edge $(N_a, N_b)$ between two vertices if and only if $(a, b)$ is an edge of $G$. This is well-defined, because if $N_a = N_c$ and $N_b = N_d$, then $(a, b)\in E$ if and only if $(c, d)\in E$.
The image of this map is the set of so-called 'mating graphs' or 'point-determining graphs'.
This map preserves the chromatic number.
Let $G = (V, E)$ be a graph. This map yields the graph whose vertex set is the set of (distinct) neighbourhoods $\{N_v | v \in V\}$ of $G$, and has an edge $(N_a, N_b)$ between two vertices if and only if $(a, b)$ is an edge of $G$. This is well-defined, because if $N_a = N_c$ and $N_b = N_d$, then $(a, b)\in E$ if and only if $(c, d)\in E$.
The image of this map is the set of so-called 'mating graphs' or 'point-determining graphs'.
This map preserves the chromatic number.
searching the database
Sorry, this map was not found in the database.