Identifier
Images
=>
Cc0010;cc-rep-0Cc0014;cc-rep-1Cc0020;cc-rep-2Cc0020;cc-rep-3
[.,.]=>([],1)=>([],1)=>([],1)
[.,[.,.]]=>([(0,1)],2)=>([],2)=>([],2)
[[.,.],.]=>([(0,1)],2)=>([],2)=>([],2)
[.,[.,[.,.]]]=>([(0,2),(2,1)],3)=>([],3)=>([],3)
[.,[[.,.],.]]=>([(0,2),(2,1)],3)=>([],3)=>([],3)
[[.,.],[.,.]]=>([(0,2),(1,2)],3)=>([(1,2)],3)=>([(1,2)],3)
[[.,[.,.]],.]=>([(0,2),(2,1)],3)=>([],3)=>([],3)
[[[.,.],.],.]=>([(0,2),(2,1)],3)=>([],3)=>([],3)
[.,[.,[.,[.,.]]]]=>([(0,3),(2,1),(3,2)],4)=>([],4)=>([],4)
[.,[.,[[.,.],.]]]=>([(0,3),(2,1),(3,2)],4)=>([],4)=>([],4)
[.,[[.,.],[.,.]]]=>([(0,3),(1,3),(3,2)],4)=>([(2,3)],4)=>([(2,3)],4)
[.,[[.,[.,.]],.]]=>([(0,3),(2,1),(3,2)],4)=>([],4)=>([],4)
[.,[[[.,.],.],.]]=>([(0,3),(2,1),(3,2)],4)=>([],4)=>([],4)
[[.,.],[.,[.,.]]]=>([(0,3),(1,2),(2,3)],4)=>([(1,3),(2,3)],4)=>([(1,3),(2,3)],4)
[[.,.],[[.,.],.]]=>([(0,3),(1,2),(2,3)],4)=>([(1,3),(2,3)],4)=>([(1,3),(2,3)],4)
[[.,[.,.]],[.,.]]=>([(0,3),(1,2),(2,3)],4)=>([(1,3),(2,3)],4)=>([(1,3),(2,3)],4)
[[[.,.],.],[.,.]]=>([(0,3),(1,2),(2,3)],4)=>([(1,3),(2,3)],4)=>([(1,3),(2,3)],4)
[[.,[.,[.,.]]],.]=>([(0,3),(2,1),(3,2)],4)=>([],4)=>([],4)
[[.,[[.,.],.]],.]=>([(0,3),(2,1),(3,2)],4)=>([],4)=>([],4)
[[[.,.],[.,.]],.]=>([(0,3),(1,3),(3,2)],4)=>([(2,3)],4)=>([(2,3)],4)
[[[.,[.,.]],.],.]=>([(0,3),(2,1),(3,2)],4)=>([],4)=>([],4)
[[[[.,.],.],.],.]=>([(0,3),(2,1),(3,2)],4)=>([],4)=>([],4)
[.,[.,[.,[.,[.,.]]]]]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([],5)=>([],5)
[.,[.,[.,[[.,.],.]]]]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([],5)=>([],5)
[.,[.,[[.,.],[.,.]]]]=>([(0,4),(1,4),(2,3),(4,2)],5)=>([(3,4)],5)=>([(3,4)],5)
[.,[.,[[.,[.,.]],.]]]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([],5)=>([],5)
[.,[.,[[[.,.],.],.]]]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([],5)=>([],5)
[.,[[.,.],[.,[.,.]]]]=>([(0,4),(1,2),(2,4),(4,3)],5)=>([(2,4),(3,4)],5)=>([(2,4),(3,4)],5)
[.,[[.,.],[[.,.],.]]]=>([(0,4),(1,2),(2,4),(4,3)],5)=>([(2,4),(3,4)],5)=>([(2,4),(3,4)],5)
[.,[[.,[.,.]],[.,.]]]=>([(0,4),(1,2),(2,4),(4,3)],5)=>([(2,4),(3,4)],5)=>([(2,4),(3,4)],5)
[.,[[[.,.],.],[.,.]]]=>([(0,4),(1,2),(2,4),(4,3)],5)=>([(2,4),(3,4)],5)=>([(2,4),(3,4)],5)
[.,[[.,[.,[.,.]]],.]]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([],5)=>([],5)
[.,[[.,[[.,.],.]],.]]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([],5)=>([],5)
[.,[[[.,.],[.,.]],.]]=>([(0,4),(1,4),(2,3),(4,2)],5)=>([(3,4)],5)=>([(3,4)],5)
[.,[[[.,[.,.]],.],.]]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([],5)=>([],5)
[.,[[[[.,.],.],.],.]]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([],5)=>([],5)
[[.,.],[.,[.,[.,.]]]]=>([(0,4),(1,2),(2,3),(3,4)],5)=>([(1,4),(2,4),(3,4)],5)=>([(1,4),(2,4),(3,4)],5)
[[.,.],[.,[[.,.],.]]]=>([(0,4),(1,2),(2,3),(3,4)],5)=>([(1,4),(2,4),(3,4)],5)=>([(1,4),(2,4),(3,4)],5)
[[.,.],[[.,.],[.,.]]]=>([(0,4),(1,3),(2,3),(3,4)],5)=>([(1,4),(2,3),(2,4),(3,4)],5)=>([(1,4),(2,3),(2,4),(3,4)],5)
[[.,.],[[.,[.,.]],.]]=>([(0,4),(1,2),(2,3),(3,4)],5)=>([(1,4),(2,4),(3,4)],5)=>([(1,4),(2,4),(3,4)],5)
[[.,.],[[[.,.],.],.]]=>([(0,4),(1,2),(2,3),(3,4)],5)=>([(1,4),(2,4),(3,4)],5)=>([(1,4),(2,4),(3,4)],5)
[[.,[.,.]],[.,[.,.]]]=>([(0,3),(1,2),(2,4),(3,4)],5)=>([(1,3),(1,4),(2,3),(2,4)],5)=>([(1,3),(1,4),(2,3),(2,4)],5)
[[.,[.,.]],[[.,.],.]]=>([(0,3),(1,2),(2,4),(3,4)],5)=>([(1,3),(1,4),(2,3),(2,4)],5)=>([(1,3),(1,4),(2,3),(2,4)],5)
[[[.,.],.],[.,[.,.]]]=>([(0,3),(1,2),(2,4),(3,4)],5)=>([(1,3),(1,4),(2,3),(2,4)],5)=>([(1,3),(1,4),(2,3),(2,4)],5)
[[[.,.],.],[[.,.],.]]=>([(0,3),(1,2),(2,4),(3,4)],5)=>([(1,3),(1,4),(2,3),(2,4)],5)=>([(1,3),(1,4),(2,3),(2,4)],5)
[[.,[.,[.,.]]],[.,.]]=>([(0,4),(1,2),(2,3),(3,4)],5)=>([(1,4),(2,4),(3,4)],5)=>([(1,4),(2,4),(3,4)],5)
[[.,[[.,.],.]],[.,.]]=>([(0,4),(1,2),(2,3),(3,4)],5)=>([(1,4),(2,4),(3,4)],5)=>([(1,4),(2,4),(3,4)],5)
[[[.,.],[.,.]],[.,.]]=>([(0,4),(1,3),(2,3),(3,4)],5)=>([(1,4),(2,3),(2,4),(3,4)],5)=>([(1,4),(2,3),(2,4),(3,4)],5)
[[[.,[.,.]],.],[.,.]]=>([(0,4),(1,2),(2,3),(3,4)],5)=>([(1,4),(2,4),(3,4)],5)=>([(1,4),(2,4),(3,4)],5)
[[[[.,.],.],.],[.,.]]=>([(0,4),(1,2),(2,3),(3,4)],5)=>([(1,4),(2,4),(3,4)],5)=>([(1,4),(2,4),(3,4)],5)
[[.,[.,[.,[.,.]]]],.]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([],5)=>([],5)
[[.,[.,[[.,.],.]]],.]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([],5)=>([],5)
[[.,[[.,.],[.,.]]],.]=>([(0,4),(1,4),(2,3),(4,2)],5)=>([(3,4)],5)=>([(3,4)],5)
[[.,[[.,[.,.]],.]],.]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([],5)=>([],5)
[[.,[[[.,.],.],.]],.]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([],5)=>([],5)
[[[.,.],[.,[.,.]]],.]=>([(0,4),(1,2),(2,4),(4,3)],5)=>([(2,4),(3,4)],5)=>([(2,4),(3,4)],5)
[[[.,.],[[.,.],.]],.]=>([(0,4),(1,2),(2,4),(4,3)],5)=>([(2,4),(3,4)],5)=>([(2,4),(3,4)],5)
[[[.,[.,.]],[.,.]],.]=>([(0,4),(1,2),(2,4),(4,3)],5)=>([(2,4),(3,4)],5)=>([(2,4),(3,4)],5)
[[[[.,.],.],[.,.]],.]=>([(0,4),(1,2),(2,4),(4,3)],5)=>([(2,4),(3,4)],5)=>([(2,4),(3,4)],5)
[[[.,[.,[.,.]]],.],.]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([],5)=>([],5)
[[[.,[[.,.],.]],.],.]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([],5)=>([],5)
[[[[.,.],[.,.]],.],.]=>([(0,4),(1,4),(2,3),(4,2)],5)=>([(3,4)],5)=>([(3,4)],5)
[[[[.,[.,.]],.],.],.]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([],5)=>([],5)
[[[[[.,.],.],.],.],.]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([],5)=>([],5)
[.,[.,[.,[.,[.,[.,.]]]]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6)
[.,[.,[.,[.,[[.,.],.]]]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6)
[.,[.,[.,[[.,.],[.,.]]]]]=>([(0,5),(1,5),(3,2),(4,3),(5,4)],6)=>([(4,5)],6)=>([(4,5)],6)
[.,[.,[.,[[.,[.,.]],.]]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6)
[.,[.,[.,[[[.,.],.],.]]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6)
[.,[.,[[.,.],[.,[.,.]]]]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(3,5),(4,5)],6)=>([(3,5),(4,5)],6)
[.,[.,[[.,.],[[.,.],.]]]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(3,5),(4,5)],6)=>([(3,5),(4,5)],6)
[.,[.,[[.,[.,.]],[.,.]]]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(3,5),(4,5)],6)=>([(3,5),(4,5)],6)
[.,[.,[[[.,.],.],[.,.]]]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(3,5),(4,5)],6)=>([(3,5),(4,5)],6)
[.,[.,[[.,[.,[.,.]]],.]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6)
[.,[.,[[.,[[.,.],.]],.]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6)
[.,[.,[[[.,.],[.,.]],.]]]=>([(0,5),(1,5),(3,2),(4,3),(5,4)],6)=>([(4,5)],6)=>([(4,5)],6)
[.,[.,[[[.,[.,.]],.],.]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6)
[.,[.,[[[[.,.],.],.],.]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6)
[.,[[.,.],[.,[.,[.,.]]]]]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(2,5),(3,5),(4,5)],6)=>([(2,5),(3,5),(4,5)],6)
[.,[[.,.],[.,[[.,.],.]]]]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(2,5),(3,5),(4,5)],6)=>([(2,5),(3,5),(4,5)],6)
[.,[[.,.],[[.,.],[.,.]]]]=>([(0,5),(1,4),(2,4),(4,5),(5,3)],6)=>([(2,5),(3,4),(3,5),(4,5)],6)=>([(2,5),(3,4),(3,5),(4,5)],6)
[.,[[.,.],[[.,[.,.]],.]]]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(2,5),(3,5),(4,5)],6)=>([(2,5),(3,5),(4,5)],6)
[.,[[.,.],[[[.,.],.],.]]]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(2,5),(3,5),(4,5)],6)=>([(2,5),(3,5),(4,5)],6)
[.,[[.,[.,.]],[.,[.,.]]]]=>([(0,4),(1,3),(3,5),(4,5),(5,2)],6)=>([(2,4),(2,5),(3,4),(3,5)],6)=>([(2,4),(2,5),(3,4),(3,5)],6)
[.,[[.,[.,.]],[[.,.],.]]]=>([(0,4),(1,3),(3,5),(4,5),(5,2)],6)=>([(2,4),(2,5),(3,4),(3,5)],6)=>([(2,4),(2,5),(3,4),(3,5)],6)
[.,[[[.,.],.],[.,[.,.]]]]=>([(0,4),(1,3),(3,5),(4,5),(5,2)],6)=>([(2,4),(2,5),(3,4),(3,5)],6)=>([(2,4),(2,5),(3,4),(3,5)],6)
[.,[[[.,.],.],[[.,.],.]]]=>([(0,4),(1,3),(3,5),(4,5),(5,2)],6)=>([(2,4),(2,5),(3,4),(3,5)],6)=>([(2,4),(2,5),(3,4),(3,5)],6)
[.,[[.,[.,[.,.]]],[.,.]]]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(2,5),(3,5),(4,5)],6)=>([(2,5),(3,5),(4,5)],6)
[.,[[.,[[.,.],.]],[.,.]]]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(2,5),(3,5),(4,5)],6)=>([(2,5),(3,5),(4,5)],6)
[.,[[[.,.],[.,.]],[.,.]]]=>([(0,5),(1,4),(2,4),(4,5),(5,3)],6)=>([(2,5),(3,4),(3,5),(4,5)],6)=>([(2,5),(3,4),(3,5),(4,5)],6)
[.,[[[.,[.,.]],.],[.,.]]]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(2,5),(3,5),(4,5)],6)=>([(2,5),(3,5),(4,5)],6)
[.,[[[[.,.],.],.],[.,.]]]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(2,5),(3,5),(4,5)],6)=>([(2,5),(3,5),(4,5)],6)
[.,[[.,[.,[.,[.,.]]]],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6)
[.,[[.,[.,[[.,.],.]]],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6)
[.,[[.,[[.,.],[.,.]]],.]]=>([(0,5),(1,5),(3,2),(4,3),(5,4)],6)=>([(4,5)],6)=>([(4,5)],6)
[.,[[.,[[.,[.,.]],.]],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6)
[.,[[.,[[[.,.],.],.]],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6)
[.,[[[.,.],[.,[.,.]]],.]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(3,5),(4,5)],6)=>([(3,5),(4,5)],6)
[.,[[[.,.],[[.,.],.]],.]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(3,5),(4,5)],6)=>([(3,5),(4,5)],6)
[.,[[[.,[.,.]],[.,.]],.]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(3,5),(4,5)],6)=>([(3,5),(4,5)],6)
[.,[[[[.,.],.],[.,.]],.]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(3,5),(4,5)],6)=>([(3,5),(4,5)],6)
[.,[[[.,[.,[.,.]]],.],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6)
[.,[[[.,[[.,.],.]],.],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6)
[.,[[[[.,.],[.,.]],.],.]]=>([(0,5),(1,5),(3,2),(4,3),(5,4)],6)=>([(4,5)],6)=>([(4,5)],6)
[.,[[[[.,[.,.]],.],.],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6)
[.,[[[[[.,.],.],.],.],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6)
[[.,.],[.,[.,[.,[.,.]]]]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(1,5),(2,5),(3,5),(4,5)],6)=>([(1,5),(2,5),(3,5),(4,5)],6)
[[.,.],[.,[.,[[.,.],.]]]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(1,5),(2,5),(3,5),(4,5)],6)=>([(1,5),(2,5),(3,5),(4,5)],6)
[[.,.],[.,[[.,.],[.,.]]]]=>([(0,5),(1,4),(2,4),(3,5),(4,3)],6)=>([(1,5),(2,5),(3,4),(3,5),(4,5)],6)=>([(1,5),(2,5),(3,4),(3,5),(4,5)],6)
[[.,.],[.,[[.,[.,.]],.]]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(1,5),(2,5),(3,5),(4,5)],6)=>([(1,5),(2,5),(3,5),(4,5)],6)
[[.,.],[.,[[[.,.],.],.]]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(1,5),(2,5),(3,5),(4,5)],6)=>([(1,5),(2,5),(3,5),(4,5)],6)
[[.,.],[[.,.],[.,[.,.]]]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],6)=>([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
[[.,.],[[.,.],[[.,.],.]]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],6)=>([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
[[.,.],[[.,[.,.]],[.,.]]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],6)=>([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
[[.,.],[[[.,.],.],[.,.]]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],6)=>([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
[[.,.],[[.,[.,[.,.]]],.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(1,5),(2,5),(3,5),(4,5)],6)=>([(1,5),(2,5),(3,5),(4,5)],6)
[[.,.],[[.,[[.,.],.]],.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(1,5),(2,5),(3,5),(4,5)],6)=>([(1,5),(2,5),(3,5),(4,5)],6)
[[.,.],[[[.,.],[.,.]],.]]=>([(0,5),(1,4),(2,4),(3,5),(4,3)],6)=>([(1,5),(2,5),(3,4),(3,5),(4,5)],6)=>([(1,5),(2,5),(3,4),(3,5),(4,5)],6)
[[.,.],[[[.,[.,.]],.],.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(1,5),(2,5),(3,5),(4,5)],6)=>([(1,5),(2,5),(3,5),(4,5)],6)
[[.,.],[[[[.,.],.],.],.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(1,5),(2,5),(3,5),(4,5)],6)=>([(1,5),(2,5),(3,5),(4,5)],6)
[[.,[.,.]],[.,[.,[.,.]]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
[[.,[.,.]],[.,[[.,.],.]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
[[.,[.,.]],[[.,.],[.,.]]]=>([(0,4),(1,4),(2,3),(3,5),(4,5)],6)=>([(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6)=>([(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6)
[[.,[.,.]],[[.,[.,.]],.]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
[[.,[.,.]],[[[.,.],.],.]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
[[[.,.],.],[.,[.,[.,.]]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
[[[.,.],.],[.,[[.,.],.]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
[[[.,.],.],[[.,.],[.,.]]]=>([(0,4),(1,4),(2,3),(3,5),(4,5)],6)=>([(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6)=>([(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6)
[[[.,.],.],[[.,[.,.]],.]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
[[[.,.],.],[[[.,.],.],.]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
[[.,[.,[.,.]]],[.,[.,.]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
[[.,[.,[.,.]]],[[.,.],.]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
[[.,[[.,.],.]],[.,[.,.]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
[[.,[[.,.],.]],[[.,.],.]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
[[[.,.],[.,.]],[.,[.,.]]]=>([(0,4),(1,4),(2,3),(3,5),(4,5)],6)=>([(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6)=>([(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6)
[[[.,.],[.,.]],[[.,.],.]]=>([(0,4),(1,4),(2,3),(3,5),(4,5)],6)=>([(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6)=>([(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6)
[[[.,[.,.]],.],[.,[.,.]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
[[[.,[.,.]],.],[[.,.],.]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
[[[[.,.],.],.],[.,[.,.]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
[[[[.,.],.],.],[[.,.],.]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
[[.,[.,[.,[.,.]]]],[.,.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(1,5),(2,5),(3,5),(4,5)],6)=>([(1,5),(2,5),(3,5),(4,5)],6)
[[.,[.,[[.,.],.]]],[.,.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(1,5),(2,5),(3,5),(4,5)],6)=>([(1,5),(2,5),(3,5),(4,5)],6)
[[.,[[.,.],[.,.]]],[.,.]]=>([(0,5),(1,4),(2,4),(3,5),(4,3)],6)=>([(1,5),(2,5),(3,4),(3,5),(4,5)],6)=>([(1,5),(2,5),(3,4),(3,5),(4,5)],6)
[[.,[[.,[.,.]],.]],[.,.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(1,5),(2,5),(3,5),(4,5)],6)=>([(1,5),(2,5),(3,5),(4,5)],6)
[[.,[[[.,.],.],.]],[.,.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(1,5),(2,5),(3,5),(4,5)],6)=>([(1,5),(2,5),(3,5),(4,5)],6)
[[[.,.],[.,[.,.]]],[.,.]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],6)=>([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
[[[.,.],[[.,.],.]],[.,.]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],6)=>([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
[[[.,[.,.]],[.,.]],[.,.]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],6)=>([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
[[[[.,.],.],[.,.]],[.,.]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],6)=>([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
[[[.,[.,[.,.]]],.],[.,.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(1,5),(2,5),(3,5),(4,5)],6)=>([(1,5),(2,5),(3,5),(4,5)],6)
[[[.,[[.,.],.]],.],[.,.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(1,5),(2,5),(3,5),(4,5)],6)=>([(1,5),(2,5),(3,5),(4,5)],6)
[[[[.,.],[.,.]],.],[.,.]]=>([(0,5),(1,4),(2,4),(3,5),(4,3)],6)=>([(1,5),(2,5),(3,4),(3,5),(4,5)],6)=>([(1,5),(2,5),(3,4),(3,5),(4,5)],6)
[[[[.,[.,.]],.],.],[.,.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(1,5),(2,5),(3,5),(4,5)],6)=>([(1,5),(2,5),(3,5),(4,5)],6)
[[[[[.,.],.],.],.],[.,.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(1,5),(2,5),(3,5),(4,5)],6)=>([(1,5),(2,5),(3,5),(4,5)],6)
[[.,[.,[.,[.,[.,.]]]]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6)
[[.,[.,[.,[[.,.],.]]]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6)
[[.,[.,[[.,.],[.,.]]]],.]=>([(0,5),(1,5),(3,2),(4,3),(5,4)],6)=>([(4,5)],6)=>([(4,5)],6)
[[.,[.,[[.,[.,.]],.]]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6)
[[.,[.,[[[.,.],.],.]]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6)
[[.,[[.,.],[.,[.,.]]]],.]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(3,5),(4,5)],6)=>([(3,5),(4,5)],6)
[[.,[[.,.],[[.,.],.]]],.]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(3,5),(4,5)],6)=>([(3,5),(4,5)],6)
[[.,[[.,[.,.]],[.,.]]],.]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(3,5),(4,5)],6)=>([(3,5),(4,5)],6)
[[.,[[[.,.],.],[.,.]]],.]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(3,5),(4,5)],6)=>([(3,5),(4,5)],6)
[[.,[[.,[.,[.,.]]],.]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6)
[[.,[[.,[[.,.],.]],.]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6)
[[.,[[[.,.],[.,.]],.]],.]=>([(0,5),(1,5),(3,2),(4,3),(5,4)],6)=>([(4,5)],6)=>([(4,5)],6)
[[.,[[[.,[.,.]],.],.]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6)
[[.,[[[[.,.],.],.],.]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6)
[[[.,.],[.,[.,[.,.]]]],.]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(2,5),(3,5),(4,5)],6)=>([(2,5),(3,5),(4,5)],6)
[[[.,.],[.,[[.,.],.]]],.]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(2,5),(3,5),(4,5)],6)=>([(2,5),(3,5),(4,5)],6)
[[[.,.],[[.,.],[.,.]]],.]=>([(0,5),(1,4),(2,4),(4,5),(5,3)],6)=>([(2,5),(3,4),(3,5),(4,5)],6)=>([(2,5),(3,4),(3,5),(4,5)],6)
[[[.,.],[[.,[.,.]],.]],.]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(2,5),(3,5),(4,5)],6)=>([(2,5),(3,5),(4,5)],6)
[[[.,.],[[[.,.],.],.]],.]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(2,5),(3,5),(4,5)],6)=>([(2,5),(3,5),(4,5)],6)
[[[.,[.,.]],[.,[.,.]]],.]=>([(0,4),(1,3),(3,5),(4,5),(5,2)],6)=>([(2,4),(2,5),(3,4),(3,5)],6)=>([(2,4),(2,5),(3,4),(3,5)],6)
[[[.,[.,.]],[[.,.],.]],.]=>([(0,4),(1,3),(3,5),(4,5),(5,2)],6)=>([(2,4),(2,5),(3,4),(3,5)],6)=>([(2,4),(2,5),(3,4),(3,5)],6)
[[[[.,.],.],[.,[.,.]]],.]=>([(0,4),(1,3),(3,5),(4,5),(5,2)],6)=>([(2,4),(2,5),(3,4),(3,5)],6)=>([(2,4),(2,5),(3,4),(3,5)],6)
[[[[.,.],.],[[.,.],.]],.]=>([(0,4),(1,3),(3,5),(4,5),(5,2)],6)=>([(2,4),(2,5),(3,4),(3,5)],6)=>([(2,4),(2,5),(3,4),(3,5)],6)
[[[.,[.,[.,.]]],[.,.]],.]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(2,5),(3,5),(4,5)],6)=>([(2,5),(3,5),(4,5)],6)
[[[.,[[.,.],.]],[.,.]],.]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(2,5),(3,5),(4,5)],6)=>([(2,5),(3,5),(4,5)],6)
[[[[.,.],[.,.]],[.,.]],.]=>([(0,5),(1,4),(2,4),(4,5),(5,3)],6)=>([(2,5),(3,4),(3,5),(4,5)],6)=>([(2,5),(3,4),(3,5),(4,5)],6)
[[[[.,[.,.]],.],[.,.]],.]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(2,5),(3,5),(4,5)],6)=>([(2,5),(3,5),(4,5)],6)
[[[[[.,.],.],.],[.,.]],.]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(2,5),(3,5),(4,5)],6)=>([(2,5),(3,5),(4,5)],6)
[[[.,[.,[.,[.,.]]]],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6)
[[[.,[.,[[.,.],.]]],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6)
[[[.,[[.,.],[.,.]]],.],.]=>([(0,5),(1,5),(3,2),(4,3),(5,4)],6)=>([(4,5)],6)=>([(4,5)],6)
[[[.,[[.,[.,.]],.]],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6)
[[[.,[[[.,.],.],.]],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6)
[[[[.,.],[.,[.,.]]],.],.]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(3,5),(4,5)],6)=>([(3,5),(4,5)],6)
[[[[.,.],[[.,.],.]],.],.]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(3,5),(4,5)],6)=>([(3,5),(4,5)],6)
[[[[.,[.,.]],[.,.]],.],.]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(3,5),(4,5)],6)=>([(3,5),(4,5)],6)
[[[[[.,.],.],[.,.]],.],.]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(3,5),(4,5)],6)=>([(3,5),(4,5)],6)
[[[[.,[.,[.,.]]],.],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6)
[[[[.,[[.,.],.]],.],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6)
[[[[[.,.],[.,.]],.],.],.]=>([(0,5),(1,5),(3,2),(4,3),(5,4)],6)=>([(4,5)],6)=>([(4,5)],6)
[[[[[.,[.,.]],.],.],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6)
[[[[[[.,.],.],.],.],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6)
[.,[.,[.,[.,[.,[.,[.,.]]]]]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
[.,[.,[.,[.,[.,[[.,.],.]]]]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
[.,[.,[.,[.,[[.,.],[.,.]]]]]]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(5,6)],7)=>([(5,6)],7)
[.,[.,[.,[.,[[.,[.,.]],.]]]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
[.,[.,[.,[.,[[[.,.],.],.]]]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
[.,[.,[.,[[.,.],[.,[.,.]]]]]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7)
[.,[.,[.,[[.,.],[[.,.],.]]]]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7)
[.,[.,[.,[[.,[.,.]],[.,.]]]]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7)
[.,[.,[.,[[[.,.],.],[.,.]]]]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7)
[.,[.,[.,[[.,[.,[.,.]]],.]]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
[.,[.,[.,[[.,[[.,.],.]],.]]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
[.,[.,[.,[[[.,.],[.,.]],.]]]]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(5,6)],7)=>([(5,6)],7)
[.,[.,[.,[[[.,[.,.]],.],.]]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
[.,[.,[.,[[[[.,.],.],.],.]]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
[.,[.,[[.,.],[.,[.,[.,.]]]]]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7)
[.,[.,[[.,.],[.,[[.,.],.]]]]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7)
[.,[.,[[.,.],[[.,.],[.,.]]]]]=>([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)=>([(3,6),(4,5),(4,6),(5,6)],7)=>([(3,6),(4,5),(4,6),(5,6)],7)
[.,[.,[[.,.],[[.,[.,.]],.]]]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7)
[.,[.,[[.,.],[[[.,.],.],.]]]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7)
[.,[.,[[.,[.,.]],[.,[.,.]]]]]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(3,5),(3,6),(4,5),(4,6)],7)=>([(3,5),(3,6),(4,5),(4,6)],7)
[.,[.,[[.,[.,.]],[[.,.],.]]]]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(3,5),(3,6),(4,5),(4,6)],7)=>([(3,5),(3,6),(4,5),(4,6)],7)
[.,[.,[[[.,.],.],[.,[.,.]]]]]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(3,5),(3,6),(4,5),(4,6)],7)=>([(3,5),(3,6),(4,5),(4,6)],7)
[.,[.,[[[.,.],.],[[.,.],.]]]]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(3,5),(3,6),(4,5),(4,6)],7)=>([(3,5),(3,6),(4,5),(4,6)],7)
[.,[.,[[.,[.,[.,.]]],[.,.]]]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7)
[.,[.,[[.,[[.,.],.]],[.,.]]]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7)
[.,[.,[[[.,.],[.,.]],[.,.]]]]=>([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)=>([(3,6),(4,5),(4,6),(5,6)],7)=>([(3,6),(4,5),(4,6),(5,6)],7)
[.,[.,[[[.,[.,.]],.],[.,.]]]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7)
[.,[.,[[[[.,.],.],.],[.,.]]]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7)
[.,[.,[[.,[.,[.,[.,.]]]],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
[.,[.,[[.,[.,[[.,.],.]]],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
[.,[.,[[.,[[.,.],[.,.]]],.]]]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(5,6)],7)=>([(5,6)],7)
[.,[.,[[.,[[.,[.,.]],.]],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
[.,[.,[[.,[[[.,.],.],.]],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
[.,[.,[[[.,.],[.,[.,.]]],.]]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7)
[.,[.,[[[.,.],[[.,.],.]],.]]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7)
[.,[.,[[[.,[.,.]],[.,.]],.]]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7)
[.,[.,[[[[.,.],.],[.,.]],.]]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7)
[.,[.,[[[.,[.,[.,.]]],.],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
[.,[.,[[[.,[[.,.],.]],.],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
[.,[.,[[[[.,.],[.,.]],.],.]]]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(5,6)],7)=>([(5,6)],7)
[.,[.,[[[[.,[.,.]],.],.],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
[.,[.,[[[[[.,.],.],.],.],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
[.,[[.,.],[.,[.,[.,[.,.]]]]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)
[.,[[.,.],[.,[.,[[.,.],.]]]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)
[.,[[.,.],[.,[[.,.],[.,.]]]]]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,5),(4,6),(5,6)],7)
[.,[[.,.],[.,[[.,[.,.]],.]]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)
[.,[[.,.],[.,[[[.,.],.],.]]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)
[.,[[.,.],[[.,.],[.,[.,.]]]]]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
[.,[[.,.],[[.,.],[[.,.],.]]]]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
[.,[[.,.],[[.,[.,.]],[.,.]]]]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
[.,[[.,.],[[[.,.],.],[.,.]]]]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
[.,[[.,.],[[.,[.,[.,.]]],.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)
[.,[[.,.],[[.,[[.,.],.]],.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)
[.,[[.,.],[[[.,.],[.,.]],.]]]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,5),(4,6),(5,6)],7)
[.,[[.,.],[[[.,[.,.]],.],.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)
[.,[[.,.],[[[[.,.],.],.],.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)
[.,[[.,[.,.]],[.,[.,[.,.]]]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[.,[[.,[.,.]],[.,[[.,.],.]]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[.,[[.,[.,.]],[[.,.],[.,.]]]]=>([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)=>([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)
[.,[[.,[.,.]],[[.,[.,.]],.]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[.,[[.,[.,.]],[[[.,.],.],.]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[.,[[[.,.],.],[.,[.,[.,.]]]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[.,[[[.,.],.],[.,[[.,.],.]]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[.,[[[.,.],.],[[.,.],[.,.]]]]=>([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)=>([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)
[.,[[[.,.],.],[[.,[.,.]],.]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[.,[[[.,.],.],[[[.,.],.],.]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[.,[[.,[.,[.,.]]],[.,[.,.]]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[.,[[.,[.,[.,.]]],[[.,.],.]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[.,[[.,[[.,.],.]],[.,[.,.]]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[.,[[.,[[.,.],.]],[[.,.],.]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[.,[[[.,.],[.,.]],[.,[.,.]]]]=>([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)=>([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)
[.,[[[.,.],[.,.]],[[.,.],.]]]=>([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)=>([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)
[.,[[[.,[.,.]],.],[.,[.,.]]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[.,[[[.,[.,.]],.],[[.,.],.]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[.,[[[[.,.],.],.],[.,[.,.]]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[.,[[[[.,.],.],.],[[.,.],.]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[.,[[.,[.,[.,[.,.]]]],[.,.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)
[.,[[.,[.,[[.,.],.]]],[.,.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)
[.,[[.,[[.,.],[.,.]]],[.,.]]]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,5),(4,6),(5,6)],7)
[.,[[.,[[.,[.,.]],.]],[.,.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)
[.,[[.,[[[.,.],.],.]],[.,.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)
[.,[[[.,.],[.,[.,.]]],[.,.]]]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
[.,[[[.,.],[[.,.],.]],[.,.]]]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
[.,[[[.,[.,.]],[.,.]],[.,.]]]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
[.,[[[[.,.],.],[.,.]],[.,.]]]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
[.,[[[.,[.,[.,.]]],.],[.,.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)
[.,[[[.,[[.,.],.]],.],[.,.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)
[.,[[[[.,.],[.,.]],.],[.,.]]]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,5),(4,6),(5,6)],7)
[.,[[[[.,[.,.]],.],.],[.,.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)
[.,[[[[[.,.],.],.],.],[.,.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)
[.,[[.,[.,[.,[.,[.,.]]]]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
[.,[[.,[.,[.,[[.,.],.]]]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
[.,[[.,[.,[[.,.],[.,.]]]],.]]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(5,6)],7)=>([(5,6)],7)
[.,[[.,[.,[[.,[.,.]],.]]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
[.,[[.,[.,[[[.,.],.],.]]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
[.,[[.,[[.,.],[.,[.,.]]]],.]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7)
[.,[[.,[[.,.],[[.,.],.]]],.]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7)
[.,[[.,[[.,[.,.]],[.,.]]],.]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7)
[.,[[.,[[[.,.],.],[.,.]]],.]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7)
[.,[[.,[[.,[.,[.,.]]],.]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
[.,[[.,[[.,[[.,.],.]],.]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
[.,[[.,[[[.,.],[.,.]],.]],.]]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(5,6)],7)=>([(5,6)],7)
[.,[[.,[[[.,[.,.]],.],.]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
[.,[[.,[[[[.,.],.],.],.]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
[.,[[[.,.],[.,[.,[.,.]]]],.]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7)
[.,[[[.,.],[.,[[.,.],.]]],.]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7)
[.,[[[.,.],[[.,.],[.,.]]],.]]=>([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)=>([(3,6),(4,5),(4,6),(5,6)],7)=>([(3,6),(4,5),(4,6),(5,6)],7)
[.,[[[.,.],[[.,[.,.]],.]],.]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7)
[.,[[[.,.],[[[.,.],.],.]],.]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7)
[.,[[[.,[.,.]],[.,[.,.]]],.]]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(3,5),(3,6),(4,5),(4,6)],7)=>([(3,5),(3,6),(4,5),(4,6)],7)
[.,[[[.,[.,.]],[[.,.],.]],.]]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(3,5),(3,6),(4,5),(4,6)],7)=>([(3,5),(3,6),(4,5),(4,6)],7)
[.,[[[[.,.],.],[.,[.,.]]],.]]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(3,5),(3,6),(4,5),(4,6)],7)=>([(3,5),(3,6),(4,5),(4,6)],7)
[.,[[[[.,.],.],[[.,.],.]],.]]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(3,5),(3,6),(4,5),(4,6)],7)=>([(3,5),(3,6),(4,5),(4,6)],7)
[.,[[[.,[.,[.,.]]],[.,.]],.]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7)
[.,[[[.,[[.,.],.]],[.,.]],.]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7)
[.,[[[[.,.],[.,.]],[.,.]],.]]=>([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)=>([(3,6),(4,5),(4,6),(5,6)],7)=>([(3,6),(4,5),(4,6),(5,6)],7)
[.,[[[[.,[.,.]],.],[.,.]],.]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7)
[.,[[[[[.,.],.],.],[.,.]],.]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7)
[.,[[[.,[.,[.,[.,.]]]],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
[.,[[[.,[.,[[.,.],.]]],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
[.,[[[.,[[.,.],[.,.]]],.],.]]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(5,6)],7)=>([(5,6)],7)
[.,[[[.,[[.,[.,.]],.]],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
[.,[[[.,[[[.,.],.],.]],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
[.,[[[[.,.],[.,[.,.]]],.],.]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7)
[.,[[[[.,.],[[.,.],.]],.],.]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7)
[.,[[[[.,[.,.]],[.,.]],.],.]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7)
[.,[[[[[.,.],.],[.,.]],.],.]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7)
[.,[[[[.,[.,[.,.]]],.],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
[.,[[[[.,[[.,.],.]],.],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
[.,[[[[[.,.],[.,.]],.],.],.]]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(5,6)],7)=>([(5,6)],7)
[.,[[[[[.,[.,.]],.],.],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
[.,[[[[[[.,.],.],.],.],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
[[.,.],[.,[.,[.,[.,[.,.]]]]]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)
[[.,.],[.,[.,[.,[[.,.],.]]]]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)
[[.,.],[.,[.,[[.,.],[.,.]]]]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)=>([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7)
[[.,.],[.,[.,[[.,[.,.]],.]]]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)
[[.,.],[.,[.,[[[.,.],.],.]]]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)
[[.,.],[.,[[.,.],[.,[.,.]]]]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
[[.,.],[.,[[.,.],[[.,.],.]]]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
[[.,.],[.,[[.,[.,.]],[.,.]]]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
[[.,.],[.,[[[.,.],.],[.,.]]]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
[[.,.],[.,[[.,[.,[.,.]]],.]]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)
[[.,.],[.,[[.,[[.,.],.]],.]]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)
[[.,.],[.,[[[.,.],[.,.]],.]]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)=>([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7)
[[.,.],[.,[[[.,[.,.]],.],.]]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)
[[.,.],[.,[[[[.,.],.],.],.]]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)
[[.,.],[[.,.],[.,[.,[.,.]]]]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
[[.,.],[[.,.],[.,[[.,.],.]]]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
[[.,.],[[.,.],[[.,.],[.,.]]]]=>([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7)=>([(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
[[.,.],[[.,.],[[.,[.,.]],.]]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
[[.,.],[[.,.],[[[.,.],.],.]]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
[[.,.],[[.,[.,.]],[.,[.,.]]]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7)=>([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)
[[.,.],[[.,[.,.]],[[.,.],.]]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7)=>([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)
[[.,.],[[[.,.],.],[.,[.,.]]]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7)=>([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)
[[.,.],[[[.,.],.],[[.,.],.]]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7)=>([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)
[[.,.],[[.,[.,[.,.]]],[.,.]]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
[[.,.],[[.,[[.,.],.]],[.,.]]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
[[.,.],[[[.,.],[.,.]],[.,.]]]=>([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7)=>([(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
[[.,.],[[[.,[.,.]],.],[.,.]]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
[[.,.],[[[[.,.],.],.],[.,.]]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
[[.,.],[[.,[.,[.,[.,.]]]],.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)
[[.,.],[[.,[.,[[.,.],.]]],.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)
[[.,.],[[.,[[.,.],[.,.]]],.]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)=>([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7)
[[.,.],[[.,[[.,[.,.]],.]],.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)
[[.,.],[[.,[[[.,.],.],.]],.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)
[[.,.],[[[.,.],[.,[.,.]]],.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
[[.,.],[[[.,.],[[.,.],.]],.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
[[.,.],[[[.,[.,.]],[.,.]],.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
[[.,.],[[[[.,.],.],[.,.]],.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
[[.,.],[[[.,[.,[.,.]]],.],.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)
[[.,.],[[[.,[[.,.],.]],.],.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)
[[.,.],[[[[.,.],[.,.]],.],.]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)=>([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7)
[[.,.],[[[[.,[.,.]],.],.],.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)
[[.,.],[[[[[.,.],.],.],.],.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)
[[.,[.,.]],[.,[.,[.,[.,.]]]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[[.,[.,.]],[.,[.,[[.,.],.]]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[[.,[.,.]],[.,[[.,.],[.,.]]]]=>([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)
[[.,[.,.]],[.,[[.,[.,.]],.]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[[.,[.,.]],[.,[[[.,.],.],.]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[[.,[.,.]],[[.,.],[.,[.,.]]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)
[[.,[.,.]],[[.,.],[[.,.],.]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)
[[.,[.,.]],[[.,[.,.]],[.,.]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)
[[.,[.,.]],[[[.,.],.],[.,.]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)
[[.,[.,.]],[[.,[.,[.,.]]],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[[.,[.,.]],[[.,[[.,.],.]],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[[.,[.,.]],[[[.,.],[.,.]],.]]=>([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)
[[.,[.,.]],[[[.,[.,.]],.],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[[.,[.,.]],[[[[.,.],.],.],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[[[.,.],.],[.,[.,[.,[.,.]]]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[[[.,.],.],[.,[.,[[.,.],.]]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[[[.,.],.],[.,[[.,.],[.,.]]]]=>([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)
[[[.,.],.],[.,[[.,[.,.]],.]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[[[.,.],.],[.,[[[.,.],.],.]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[[[.,.],.],[[.,.],[.,[.,.]]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)
[[[.,.],.],[[.,.],[[.,.],.]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)
[[[.,.],.],[[.,[.,.]],[.,.]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)
[[[.,.],.],[[[.,.],.],[.,.]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)
[[[.,.],.],[[.,[.,[.,.]]],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[[[.,.],.],[[.,[[.,.],.]],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[[[.,.],.],[[[.,.],[.,.]],.]]=>([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)
[[[.,.],.],[[[.,[.,.]],.],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[[[.,.],.],[[[[.,.],.],.],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[[.,[.,[.,.]]],[.,[.,[.,.]]]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)
[[.,[.,[.,.]]],[.,[[.,.],.]]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)
[[.,[.,[.,.]]],[[.,.],[.,.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)=>([(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
[[.,[.,[.,.]]],[[.,[.,.]],.]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)
[[.,[.,[.,.]]],[[[.,.],.],.]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)
[[.,[[.,.],.]],[.,[.,[.,.]]]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)
[[.,[[.,.],.]],[.,[[.,.],.]]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)
[[.,[[.,.],.]],[[.,.],[.,.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)=>([(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
[[.,[[.,.],.]],[[.,[.,.]],.]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)
[[.,[[.,.],.]],[[[.,.],.],.]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)
[[[.,.],[.,.]],[.,[.,[.,.]]]]=>([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)=>([(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
[[[.,.],[.,.]],[.,[[.,.],.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)=>([(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
[[[.,.],[.,.]],[[.,.],[.,.]]]=>([(0,5),(1,5),(2,4),(3,4),(4,6),(5,6)],7)=>([(1,2),(1,5),(1,6),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,2),(1,5),(1,6),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
[[[.,.],[.,.]],[[.,[.,.]],.]]=>([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)=>([(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
[[[.,.],[.,.]],[[[.,.],.],.]]=>([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)=>([(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
[[[.,[.,.]],.],[.,[.,[.,.]]]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)
[[[.,[.,.]],.],[.,[[.,.],.]]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)
[[[.,[.,.]],.],[[.,.],[.,.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)=>([(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
[[[.,[.,.]],.],[[.,[.,.]],.]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)
[[[.,[.,.]],.],[[[.,.],.],.]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)
[[[[.,.],.],.],[.,[.,[.,.]]]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)
[[[[.,.],.],.],[.,[[.,.],.]]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)
[[[[.,.],.],.],[[.,.],[.,.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)=>([(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
[[[[.,.],.],.],[[.,[.,.]],.]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)
[[[[.,.],.],.],[[[.,.],.],.]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)
[[.,[.,[.,[.,.]]]],[.,[.,.]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[[.,[.,[.,[.,.]]]],[[.,.],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[[.,[.,[[.,.],.]]],[.,[.,.]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[[.,[.,[[.,.],.]]],[[.,.],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[[.,[[.,.],[.,.]]],[.,[.,.]]]=>([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)
[[.,[[.,.],[.,.]]],[[.,.],.]]=>([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)
[[.,[[.,[.,.]],.]],[.,[.,.]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[[.,[[.,[.,.]],.]],[[.,.],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[[.,[[[.,.],.],.]],[.,[.,.]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[[.,[[[.,.],.],.]],[[.,.],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[[[.,.],[.,[.,.]]],[.,[.,.]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)
[[[.,.],[.,[.,.]]],[[.,.],.]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)
[[[.,.],[[.,.],.]],[.,[.,.]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)
[[[.,.],[[.,.],.]],[[.,.],.]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)
[[[.,[.,.]],[.,.]],[.,[.,.]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)
[[[.,[.,.]],[.,.]],[[.,.],.]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)
[[[[.,.],.],[.,.]],[.,[.,.]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)
[[[[.,.],.],[.,.]],[[.,.],.]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)
[[[.,[.,[.,.]]],.],[.,[.,.]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[[[.,[.,[.,.]]],.],[[.,.],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[[[.,[[.,.],.]],.],[.,[.,.]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[[[.,[[.,.],.]],.],[[.,.],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[[[[.,.],[.,.]],.],[.,[.,.]]]=>([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)
[[[[.,.],[.,.]],.],[[.,.],.]]=>([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)
[[[[.,[.,.]],.],.],[.,[.,.]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[[[[.,[.,.]],.],.],[[.,.],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[[[[[.,.],.],.],.],[.,[.,.]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[[[[[.,.],.],.],.],[[.,.],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[[.,[.,[.,[.,[.,.]]]]],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)
[[.,[.,[.,[[.,.],.]]]],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)
[[.,[.,[[.,.],[.,.]]]],[.,.]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)=>([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7)
[[.,[.,[[.,[.,.]],.]]],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)
[[.,[.,[[[.,.],.],.]]],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)
[[.,[[.,.],[.,[.,.]]]],[.,.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
[[.,[[.,.],[[.,.],.]]],[.,.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
[[.,[[.,[.,.]],[.,.]]],[.,.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
[[.,[[[.,.],.],[.,.]]],[.,.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
[[.,[[.,[.,[.,.]]],.]],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)
[[.,[[.,[[.,.],.]],.]],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)
[[.,[[[.,.],[.,.]],.]],[.,.]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)=>([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7)
[[.,[[[.,[.,.]],.],.]],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)
[[.,[[[[.,.],.],.],.]],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)
[[[.,.],[.,[.,[.,.]]]],[.,.]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
[[[.,.],[.,[[.,.],.]]],[.,.]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
[[[.,.],[[.,.],[.,.]]],[.,.]]=>([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7)=>([(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
[[[.,.],[[.,[.,.]],.]],[.,.]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
[[[.,.],[[[.,.],.],.]],[.,.]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
[[[.,[.,.]],[.,[.,.]]],[.,.]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7)=>([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)
[[[.,[.,.]],[[.,.],.]],[.,.]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7)=>([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)
[[[[.,.],.],[.,[.,.]]],[.,.]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7)=>([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)
[[[[.,.],.],[[.,.],.]],[.,.]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7)=>([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)
[[[.,[.,[.,.]]],[.,.]],[.,.]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
[[[.,[[.,.],.]],[.,.]],[.,.]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
[[[[.,.],[.,.]],[.,.]],[.,.]]=>([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7)=>([(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
[[[[.,[.,.]],.],[.,.]],[.,.]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
[[[[[.,.],.],.],[.,.]],[.,.]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
[[[.,[.,[.,[.,.]]]],.],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)
[[[.,[.,[[.,.],.]]],.],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)
[[[.,[[.,.],[.,.]]],.],[.,.]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)=>([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7)
[[[.,[[.,[.,.]],.]],.],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)
[[[.,[[[.,.],.],.]],.],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)
[[[[.,.],[.,[.,.]]],.],[.,.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
[[[[.,.],[[.,.],.]],.],[.,.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
[[[[.,[.,.]],[.,.]],.],[.,.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
[[[[[.,.],.],[.,.]],.],[.,.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
[[[[.,[.,[.,.]]],.],.],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)
[[[[.,[[.,.],.]],.],.],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)
[[[[[.,.],[.,.]],.],.],[.,.]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)=>([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7)
[[[[[.,[.,.]],.],.],.],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)
[[[[[[.,.],.],.],.],.],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)
[[.,[.,[.,[.,[.,[.,.]]]]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
[[.,[.,[.,[.,[[.,.],.]]]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
[[.,[.,[.,[[.,.],[.,.]]]]],.]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(5,6)],7)=>([(5,6)],7)
[[.,[.,[.,[[.,[.,.]],.]]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
[[.,[.,[.,[[[.,.],.],.]]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
[[.,[.,[[.,.],[.,[.,.]]]]],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7)
[[.,[.,[[.,.],[[.,.],.]]]],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7)
[[.,[.,[[.,[.,.]],[.,.]]]],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7)
[[.,[.,[[[.,.],.],[.,.]]]],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7)
[[.,[.,[[.,[.,[.,.]]],.]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
[[.,[.,[[.,[[.,.],.]],.]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
[[.,[.,[[[.,.],[.,.]],.]]],.]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(5,6)],7)=>([(5,6)],7)
[[.,[.,[[[.,[.,.]],.],.]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
[[.,[.,[[[[.,.],.],.],.]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
[[.,[[.,.],[.,[.,[.,.]]]]],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7)
[[.,[[.,.],[.,[[.,.],.]]]],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7)
[[.,[[.,.],[[.,.],[.,.]]]],.]=>([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)=>([(3,6),(4,5),(4,6),(5,6)],7)=>([(3,6),(4,5),(4,6),(5,6)],7)
[[.,[[.,.],[[.,[.,.]],.]]],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7)
[[.,[[.,.],[[[.,.],.],.]]],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7)
[[.,[[.,[.,.]],[.,[.,.]]]],.]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(3,5),(3,6),(4,5),(4,6)],7)=>([(3,5),(3,6),(4,5),(4,6)],7)
[[.,[[.,[.,.]],[[.,.],.]]],.]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(3,5),(3,6),(4,5),(4,6)],7)=>([(3,5),(3,6),(4,5),(4,6)],7)
[[.,[[[.,.],.],[.,[.,.]]]],.]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(3,5),(3,6),(4,5),(4,6)],7)=>([(3,5),(3,6),(4,5),(4,6)],7)
[[.,[[[.,.],.],[[.,.],.]]],.]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(3,5),(3,6),(4,5),(4,6)],7)=>([(3,5),(3,6),(4,5),(4,6)],7)
[[.,[[.,[.,[.,.]]],[.,.]]],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7)
[[.,[[.,[[.,.],.]],[.,.]]],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7)
[[.,[[[.,.],[.,.]],[.,.]]],.]=>([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)=>([(3,6),(4,5),(4,6),(5,6)],7)=>([(3,6),(4,5),(4,6),(5,6)],7)
[[.,[[[.,[.,.]],.],[.,.]]],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7)
[[.,[[[[.,.],.],.],[.,.]]],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7)
[[.,[[.,[.,[.,[.,.]]]],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
[[.,[[.,[.,[[.,.],.]]],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
[[.,[[.,[[.,.],[.,.]]],.]],.]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(5,6)],7)=>([(5,6)],7)
[[.,[[.,[[.,[.,.]],.]],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
[[.,[[.,[[[.,.],.],.]],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
[[.,[[[.,.],[.,[.,.]]],.]],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7)
[[.,[[[.,.],[[.,.],.]],.]],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7)
[[.,[[[.,[.,.]],[.,.]],.]],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7)
[[.,[[[[.,.],.],[.,.]],.]],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7)
[[.,[[[.,[.,[.,.]]],.],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
[[.,[[[.,[[.,.],.]],.],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
[[.,[[[[.,.],[.,.]],.],.]],.]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(5,6)],7)=>([(5,6)],7)
[[.,[[[[.,[.,.]],.],.],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
[[.,[[[[[.,.],.],.],.],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
[[[.,.],[.,[.,[.,[.,.]]]]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)
[[[.,.],[.,[.,[[.,.],.]]]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)
[[[.,.],[.,[[.,.],[.,.]]]],.]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,5),(4,6),(5,6)],7)
[[[.,.],[.,[[.,[.,.]],.]]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)
[[[.,.],[.,[[[.,.],.],.]]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)
[[[.,.],[[.,.],[.,[.,.]]]],.]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
[[[.,.],[[.,.],[[.,.],.]]],.]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
[[[.,.],[[.,[.,.]],[.,.]]],.]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
[[[.,.],[[[.,.],.],[.,.]]],.]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
[[[.,.],[[.,[.,[.,.]]],.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)
[[[.,.],[[.,[[.,.],.]],.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)
[[[.,.],[[[.,.],[.,.]],.]],.]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,5),(4,6),(5,6)],7)
[[[.,.],[[[.,[.,.]],.],.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)
[[[.,.],[[[[.,.],.],.],.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)
[[[.,[.,.]],[.,[.,[.,.]]]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[[[.,[.,.]],[.,[[.,.],.]]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[[[.,[.,.]],[[.,.],[.,.]]],.]=>([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)=>([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)
[[[.,[.,.]],[[.,[.,.]],.]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[[[.,[.,.]],[[[.,.],.],.]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[[[[.,.],.],[.,[.,[.,.]]]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[[[[.,.],.],[.,[[.,.],.]]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[[[[.,.],.],[[.,.],[.,.]]],.]=>([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)=>([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)
[[[[.,.],.],[[.,[.,.]],.]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[[[[.,.],.],[[[.,.],.],.]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[[[.,[.,[.,.]]],[.,[.,.]]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[[[.,[.,[.,.]]],[[.,.],.]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[[[.,[[.,.],.]],[.,[.,.]]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[[[.,[[.,.],.]],[[.,.],.]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[[[[.,.],[.,.]],[.,[.,.]]],.]=>([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)=>([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)
[[[[.,.],[.,.]],[[.,.],.]],.]=>([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)=>([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)
[[[[.,[.,.]],.],[.,[.,.]]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[[[[.,[.,.]],.],[[.,.],.]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[[[[[.,.],.],.],[.,[.,.]]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[[[[[.,.],.],.],[[.,.],.]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)
[[[.,[.,[.,[.,.]]]],[.,.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)
[[[.,[.,[[.,.],.]]],[.,.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)
[[[.,[[.,.],[.,.]]],[.,.]],.]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,5),(4,6),(5,6)],7)
[[[.,[[.,[.,.]],.]],[.,.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)
[[[.,[[[.,.],.],.]],[.,.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)
[[[[.,.],[.,[.,.]]],[.,.]],.]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
[[[[.,.],[[.,.],.]],[.,.]],.]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
[[[[.,[.,.]],[.,.]],[.,.]],.]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
[[[[[.,.],.],[.,.]],[.,.]],.]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)
[[[[.,[.,[.,.]]],.],[.,.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)
[[[[.,[[.,.],.]],.],[.,.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)
[[[[[.,.],[.,.]],.],[.,.]],.]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,5),(4,6),(5,6)],7)
[[[[[.,[.,.]],.],.],[.,.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)
[[[[[[.,.],.],.],.],[.,.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)
[[[.,[.,[.,[.,[.,.]]]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
[[[.,[.,[.,[[.,.],.]]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
[[[.,[.,[[.,.],[.,.]]]],.],.]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(5,6)],7)=>([(5,6)],7)
[[[.,[.,[[.,[.,.]],.]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
[[[.,[.,[[[.,.],.],.]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
[[[.,[[.,.],[.,[.,.]]]],.],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7)
[[[.,[[.,.],[[.,.],.]]],.],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7)
[[[.,[[.,[.,.]],[.,.]]],.],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7)
[[[.,[[[.,.],.],[.,.]]],.],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7)
[[[.,[[.,[.,[.,.]]],.]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
[[[.,[[.,[[.,.],.]],.]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
[[[.,[[[.,.],[.,.]],.]],.],.]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(5,6)],7)=>([(5,6)],7)
[[[.,[[[.,[.,.]],.],.]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
[[[.,[[[[.,.],.],.],.]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
[[[[.,.],[.,[.,[.,.]]]],.],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7)
[[[[.,.],[.,[[.,.],.]]],.],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7)
[[[[.,.],[[.,.],[.,.]]],.],.]=>([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)=>([(3,6),(4,5),(4,6),(5,6)],7)=>([(3,6),(4,5),(4,6),(5,6)],7)
[[[[.,.],[[.,[.,.]],.]],.],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7)
[[[[.,.],[[[.,.],.],.]],.],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7)
[[[[.,[.,.]],[.,[.,.]]],.],.]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(3,5),(3,6),(4,5),(4,6)],7)=>([(3,5),(3,6),(4,5),(4,6)],7)
[[[[.,[.,.]],[[.,.],.]],.],.]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(3,5),(3,6),(4,5),(4,6)],7)=>([(3,5),(3,6),(4,5),(4,6)],7)
[[[[[.,.],.],[.,[.,.]]],.],.]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(3,5),(3,6),(4,5),(4,6)],7)=>([(3,5),(3,6),(4,5),(4,6)],7)
[[[[[.,.],.],[[.,.],.]],.],.]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(3,5),(3,6),(4,5),(4,6)],7)=>([(3,5),(3,6),(4,5),(4,6)],7)
[[[[.,[.,[.,.]]],[.,.]],.],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7)
[[[[.,[[.,.],.]],[.,.]],.],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7)
[[[[[.,.],[.,.]],[.,.]],.],.]=>([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)=>([(3,6),(4,5),(4,6),(5,6)],7)=>([(3,6),(4,5),(4,6),(5,6)],7)
[[[[[.,[.,.]],.],[.,.]],.],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7)
[[[[[[.,.],.],.],[.,.]],.],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7)
[[[[.,[.,[.,[.,.]]]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
[[[[.,[.,[[.,.],.]]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
[[[[.,[[.,.],[.,.]]],.],.],.]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(5,6)],7)=>([(5,6)],7)
[[[[.,[[.,[.,.]],.]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
[[[[.,[[[.,.],.],.]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
[[[[[.,.],[.,[.,.]]],.],.],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7)
[[[[[.,.],[[.,.],.]],.],.],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7)
[[[[[.,[.,.]],[.,.]],.],.],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7)
[[[[[[.,.],.],[.,.]],.],.],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7)
[[[[[.,[.,[.,.]]],.],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
[[[[[.,[[.,.],.]],.],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
[[[[[[.,.],[.,.]],.],.],.],.]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(5,6)],7)=>([(5,6)],7)
[[[[[[.,[.,.]],.],.],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
[[[[[[[.,.],.],.],.],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
Map
to poset
Description
Return the poset obtained by interpreting the tree as a Hasse diagram.
Map
incomparability graph
Description
The incomparability graph of a poset.
Map
connected complement
Description
The componentwise connected complement of a graph.
For a connected graph $G$, this map returns the complement of $G$ if it is connected, otherwise $G$ itself. If $G$ is not connected, the map is applied to each connected component separately.
For a connected graph $G$, this map returns the complement of $G$ if it is connected, otherwise $G$ itself. If $G$ is not connected, the map is applied to each connected component separately.
searching the database
Sorry, this map was not found in the database.