Identifier
Mp00013: Binary trees to posetPosets
Mp00205: Posets maximal antichains Lattices
Images
=>
Cc0010;cc-rep-0Cc0014;cc-rep-1Cc0029;cc-rep-2
[.,.]=>([],1)=>([],1) [.,[.,.]]=>([(0,1)],2)=>([(0,1)],2) [[.,.],.]=>([(0,1)],2)=>([(0,1)],2) [.,[.,[.,.]]]=>([(0,2),(2,1)],3)=>([(0,2),(2,1)],3) [.,[[.,.],.]]=>([(0,2),(2,1)],3)=>([(0,2),(2,1)],3) [[.,.],[.,.]]=>([(0,2),(1,2)],3)=>([(0,1)],2) [[.,[.,.]],.]=>([(0,2),(2,1)],3)=>([(0,2),(2,1)],3) [[[.,.],.],.]=>([(0,2),(2,1)],3)=>([(0,2),(2,1)],3) [.,[.,[.,[.,.]]]]=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4) [.,[.,[[.,.],.]]]=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4) [.,[[.,.],[.,.]]]=>([(0,3),(1,3),(3,2)],4)=>([(0,2),(2,1)],3) [.,[[.,[.,.]],.]]=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4) [.,[[[.,.],.],.]]=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4) [[.,.],[.,[.,.]]]=>([(0,3),(1,2),(2,3)],4)=>([(0,2),(2,1)],3) [[.,.],[[.,.],.]]=>([(0,3),(1,2),(2,3)],4)=>([(0,2),(2,1)],3) [[.,[.,.]],[.,.]]=>([(0,3),(1,2),(2,3)],4)=>([(0,2),(2,1)],3) [[[.,.],.],[.,.]]=>([(0,3),(1,2),(2,3)],4)=>([(0,2),(2,1)],3) [[.,[.,[.,.]]],.]=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4) [[.,[[.,.],.]],.]=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4) [[[.,.],[.,.]],.]=>([(0,3),(1,3),(3,2)],4)=>([(0,2),(2,1)],3) [[[.,[.,.]],.],.]=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4) [[[[.,.],.],.],.]=>([(0,3),(2,1),(3,2)],4)=>([(0,3),(2,1),(3,2)],4) [.,[.,[.,[.,[.,.]]]]]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5) [.,[.,[.,[[.,.],.]]]]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5) [.,[.,[[.,.],[.,.]]]]=>([(0,4),(1,4),(2,3),(4,2)],5)=>([(0,3),(2,1),(3,2)],4) [.,[.,[[.,[.,.]],.]]]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5) [.,[.,[[[.,.],.],.]]]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5) [.,[[.,.],[.,[.,.]]]]=>([(0,4),(1,2),(2,4),(4,3)],5)=>([(0,3),(2,1),(3,2)],4) [.,[[.,.],[[.,.],.]]]=>([(0,4),(1,2),(2,4),(4,3)],5)=>([(0,3),(2,1),(3,2)],4) [.,[[.,[.,.]],[.,.]]]=>([(0,4),(1,2),(2,4),(4,3)],5)=>([(0,3),(2,1),(3,2)],4) [.,[[[.,.],.],[.,.]]]=>([(0,4),(1,2),(2,4),(4,3)],5)=>([(0,3),(2,1),(3,2)],4) [.,[[.,[.,[.,.]]],.]]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5) [.,[[.,[[.,.],.]],.]]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5) [.,[[[.,.],[.,.]],.]]=>([(0,4),(1,4),(2,3),(4,2)],5)=>([(0,3),(2,1),(3,2)],4) [.,[[[.,[.,.]],.],.]]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5) [.,[[[[.,.],.],.],.]]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5) [[.,.],[.,[.,[.,.]]]]=>([(0,4),(1,2),(2,3),(3,4)],5)=>([(0,3),(2,1),(3,2)],4) [[.,.],[.,[[.,.],.]]]=>([(0,4),(1,2),(2,3),(3,4)],5)=>([(0,3),(2,1),(3,2)],4) [[.,.],[[.,.],[.,.]]]=>([(0,4),(1,3),(2,3),(3,4)],5)=>([(0,2),(2,1)],3) [[.,.],[[.,[.,.]],.]]=>([(0,4),(1,2),(2,3),(3,4)],5)=>([(0,3),(2,1),(3,2)],4) [[.,.],[[[.,.],.],.]]=>([(0,4),(1,2),(2,3),(3,4)],5)=>([(0,3),(2,1),(3,2)],4) [[.,[.,.]],[.,[.,.]]]=>([(0,3),(1,2),(2,4),(3,4)],5)=>([(0,2),(0,3),(2,4),(3,4),(4,1)],5) [[.,[.,.]],[[.,.],.]]=>([(0,3),(1,2),(2,4),(3,4)],5)=>([(0,2),(0,3),(2,4),(3,4),(4,1)],5) [[[.,.],.],[.,[.,.]]]=>([(0,3),(1,2),(2,4),(3,4)],5)=>([(0,2),(0,3),(2,4),(3,4),(4,1)],5) [[[.,.],.],[[.,.],.]]=>([(0,3),(1,2),(2,4),(3,4)],5)=>([(0,2),(0,3),(2,4),(3,4),(4,1)],5) [[.,[.,[.,.]]],[.,.]]=>([(0,4),(1,2),(2,3),(3,4)],5)=>([(0,3),(2,1),(3,2)],4) [[.,[[.,.],.]],[.,.]]=>([(0,4),(1,2),(2,3),(3,4)],5)=>([(0,3),(2,1),(3,2)],4) [[[.,.],[.,.]],[.,.]]=>([(0,4),(1,3),(2,3),(3,4)],5)=>([(0,2),(2,1)],3) [[[.,[.,.]],.],[.,.]]=>([(0,4),(1,2),(2,3),(3,4)],5)=>([(0,3),(2,1),(3,2)],4) [[[[.,.],.],.],[.,.]]=>([(0,4),(1,2),(2,3),(3,4)],5)=>([(0,3),(2,1),(3,2)],4) [[.,[.,[.,[.,.]]]],.]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5) [[.,[.,[[.,.],.]]],.]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5) [[.,[[.,.],[.,.]]],.]=>([(0,4),(1,4),(2,3),(4,2)],5)=>([(0,3),(2,1),(3,2)],4) [[.,[[.,[.,.]],.]],.]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5) [[.,[[[.,.],.],.]],.]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5) [[[.,.],[.,[.,.]]],.]=>([(0,4),(1,2),(2,4),(4,3)],5)=>([(0,3),(2,1),(3,2)],4) [[[.,.],[[.,.],.]],.]=>([(0,4),(1,2),(2,4),(4,3)],5)=>([(0,3),(2,1),(3,2)],4) [[[.,[.,.]],[.,.]],.]=>([(0,4),(1,2),(2,4),(4,3)],5)=>([(0,3),(2,1),(3,2)],4) [[[[.,.],.],[.,.]],.]=>([(0,4),(1,2),(2,4),(4,3)],5)=>([(0,3),(2,1),(3,2)],4) [[[.,[.,[.,.]]],.],.]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5) [[[.,[[.,.],.]],.],.]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5) [[[[.,.],[.,.]],.],.]=>([(0,4),(1,4),(2,3),(4,2)],5)=>([(0,3),(2,1),(3,2)],4) [[[[.,[.,.]],.],.],.]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5) [[[[[.,.],.],.],.],.]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([(0,4),(2,3),(3,1),(4,2)],5) [.,[.,[.,[.,[.,[.,.]]]]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[.,[.,[.,[[.,.],.]]]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[.,[.,[[.,.],[.,.]]]]]=>([(0,5),(1,5),(3,2),(4,3),(5,4)],6)=>([(0,4),(2,3),(3,1),(4,2)],5) [.,[.,[.,[[.,[.,.]],.]]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[.,[.,[[[.,.],.],.]]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[.,[[.,.],[.,[.,.]]]]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(0,4),(2,3),(3,1),(4,2)],5) [.,[.,[[.,.],[[.,.],.]]]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(0,4),(2,3),(3,1),(4,2)],5) [.,[.,[[.,[.,.]],[.,.]]]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(0,4),(2,3),(3,1),(4,2)],5) [.,[.,[[[.,.],.],[.,.]]]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(0,4),(2,3),(3,1),(4,2)],5) [.,[.,[[.,[.,[.,.]]],.]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[.,[[.,[[.,.],.]],.]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[.,[[[.,.],[.,.]],.]]]=>([(0,5),(1,5),(3,2),(4,3),(5,4)],6)=>([(0,4),(2,3),(3,1),(4,2)],5) [.,[.,[[[.,[.,.]],.],.]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[.,[[[[.,.],.],.],.]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[[.,.],[.,[.,[.,.]]]]]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5) [.,[[.,.],[.,[[.,.],.]]]]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5) [.,[[.,.],[[.,.],[.,.]]]]=>([(0,5),(1,4),(2,4),(4,5),(5,3)],6)=>([(0,3),(2,1),(3,2)],4) [.,[[.,.],[[.,[.,.]],.]]]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5) [.,[[.,.],[[[.,.],.],.]]]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5) [.,[[.,[.,.]],[.,[.,.]]]]=>([(0,4),(1,3),(3,5),(4,5),(5,2)],6)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) [.,[[.,[.,.]],[[.,.],.]]]=>([(0,4),(1,3),(3,5),(4,5),(5,2)],6)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) [.,[[[.,.],.],[.,[.,.]]]]=>([(0,4),(1,3),(3,5),(4,5),(5,2)],6)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) [.,[[[.,.],.],[[.,.],.]]]=>([(0,4),(1,3),(3,5),(4,5),(5,2)],6)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) [.,[[.,[.,[.,.]]],[.,.]]]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5) [.,[[.,[[.,.],.]],[.,.]]]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5) [.,[[[.,.],[.,.]],[.,.]]]=>([(0,5),(1,4),(2,4),(4,5),(5,3)],6)=>([(0,3),(2,1),(3,2)],4) [.,[[[.,[.,.]],.],[.,.]]]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5) [.,[[[[.,.],.],.],[.,.]]]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5) [.,[[.,[.,[.,[.,.]]]],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[[.,[.,[[.,.],.]]],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[[.,[[.,.],[.,.]]],.]]=>([(0,5),(1,5),(3,2),(4,3),(5,4)],6)=>([(0,4),(2,3),(3,1),(4,2)],5) [.,[[.,[[.,[.,.]],.]],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[[.,[[[.,.],.],.]],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[[[.,.],[.,[.,.]]],.]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(0,4),(2,3),(3,1),(4,2)],5) [.,[[[.,.],[[.,.],.]],.]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(0,4),(2,3),(3,1),(4,2)],5) [.,[[[.,[.,.]],[.,.]],.]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(0,4),(2,3),(3,1),(4,2)],5) [.,[[[[.,.],.],[.,.]],.]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(0,4),(2,3),(3,1),(4,2)],5) [.,[[[.,[.,[.,.]]],.],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[[[.,[[.,.],.]],.],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[[[[.,.],[.,.]],.],.]]=>([(0,5),(1,5),(3,2),(4,3),(5,4)],6)=>([(0,4),(2,3),(3,1),(4,2)],5) [.,[[[[.,[.,.]],.],.],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[[[[[.,.],.],.],.],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[.,.],[.,[.,[.,[.,.]]]]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5) [[.,.],[.,[.,[[.,.],.]]]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5) [[.,.],[.,[[.,.],[.,.]]]]=>([(0,5),(1,4),(2,4),(3,5),(4,3)],6)=>([(0,3),(2,1),(3,2)],4) [[.,.],[.,[[.,[.,.]],.]]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5) [[.,.],[.,[[[.,.],.],.]]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5) [[.,.],[[.,.],[.,[.,.]]]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],6)=>([(0,3),(2,1),(3,2)],4) [[.,.],[[.,.],[[.,.],.]]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],6)=>([(0,3),(2,1),(3,2)],4) [[.,.],[[.,[.,.]],[.,.]]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],6)=>([(0,3),(2,1),(3,2)],4) [[.,.],[[[.,.],.],[.,.]]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],6)=>([(0,3),(2,1),(3,2)],4) [[.,.],[[.,[.,[.,.]]],.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5) [[.,.],[[.,[[.,.],.]],.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5) [[.,.],[[[.,.],[.,.]],.]]=>([(0,5),(1,4),(2,4),(3,5),(4,3)],6)=>([(0,3),(2,1),(3,2)],4) [[.,.],[[[.,[.,.]],.],.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5) [[.,.],[[[[.,.],.],.],.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5) [[.,[.,.]],[.,[.,[.,.]]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) [[.,[.,.]],[.,[[.,.],.]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) [[.,[.,.]],[[.,.],[.,.]]]=>([(0,4),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,2),(0,3),(2,4),(3,4),(4,1)],5) [[.,[.,.]],[[.,[.,.]],.]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) [[.,[.,.]],[[[.,.],.],.]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) [[[.,.],.],[.,[.,[.,.]]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) [[[.,.],.],[.,[[.,.],.]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) [[[.,.],.],[[.,.],[.,.]]]=>([(0,4),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,2),(0,3),(2,4),(3,4),(4,1)],5) [[[.,.],.],[[.,[.,.]],.]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) [[[.,.],.],[[[.,.],.],.]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) [[.,[.,[.,.]]],[.,[.,.]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) [[.,[.,[.,.]]],[[.,.],.]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) [[.,[[.,.],.]],[.,[.,.]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) [[.,[[.,.],.]],[[.,.],.]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) [[[.,.],[.,.]],[.,[.,.]]]=>([(0,4),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,2),(0,3),(2,4),(3,4),(4,1)],5) [[[.,.],[.,.]],[[.,.],.]]=>([(0,4),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,2),(0,3),(2,4),(3,4),(4,1)],5) [[[.,[.,.]],.],[.,[.,.]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) [[[.,[.,.]],.],[[.,.],.]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) [[[[.,.],.],.],[.,[.,.]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) [[[[.,.],.],.],[[.,.],.]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) [[.,[.,[.,[.,.]]]],[.,.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5) [[.,[.,[[.,.],.]]],[.,.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5) [[.,[[.,.],[.,.]]],[.,.]]=>([(0,5),(1,4),(2,4),(3,5),(4,3)],6)=>([(0,3),(2,1),(3,2)],4) [[.,[[.,[.,.]],.]],[.,.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5) [[.,[[[.,.],.],.]],[.,.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5) [[[.,.],[.,[.,.]]],[.,.]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],6)=>([(0,3),(2,1),(3,2)],4) [[[.,.],[[.,.],.]],[.,.]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],6)=>([(0,3),(2,1),(3,2)],4) [[[.,[.,.]],[.,.]],[.,.]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],6)=>([(0,3),(2,1),(3,2)],4) [[[[.,.],.],[.,.]],[.,.]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],6)=>([(0,3),(2,1),(3,2)],4) [[[.,[.,[.,.]]],.],[.,.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5) [[[.,[[.,.],.]],.],[.,.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5) [[[[.,.],[.,.]],.],[.,.]]=>([(0,5),(1,4),(2,4),(3,5),(4,3)],6)=>([(0,3),(2,1),(3,2)],4) [[[[.,[.,.]],.],.],[.,.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5) [[[[[.,.],.],.],.],[.,.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5) [[.,[.,[.,[.,[.,.]]]]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[.,[.,[.,[[.,.],.]]]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[.,[.,[[.,.],[.,.]]]],.]=>([(0,5),(1,5),(3,2),(4,3),(5,4)],6)=>([(0,4),(2,3),(3,1),(4,2)],5) [[.,[.,[[.,[.,.]],.]]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[.,[.,[[[.,.],.],.]]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[.,[[.,.],[.,[.,.]]]],.]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(0,4),(2,3),(3,1),(4,2)],5) [[.,[[.,.],[[.,.],.]]],.]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(0,4),(2,3),(3,1),(4,2)],5) [[.,[[.,[.,.]],[.,.]]],.]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(0,4),(2,3),(3,1),(4,2)],5) [[.,[[[.,.],.],[.,.]]],.]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(0,4),(2,3),(3,1),(4,2)],5) [[.,[[.,[.,[.,.]]],.]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[.,[[.,[[.,.],.]],.]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[.,[[[.,.],[.,.]],.]],.]=>([(0,5),(1,5),(3,2),(4,3),(5,4)],6)=>([(0,4),(2,3),(3,1),(4,2)],5) [[.,[[[.,[.,.]],.],.]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[.,[[[[.,.],.],.],.]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[[.,.],[.,[.,[.,.]]]],.]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5) [[[.,.],[.,[[.,.],.]]],.]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5) [[[.,.],[[.,.],[.,.]]],.]=>([(0,5),(1,4),(2,4),(4,5),(5,3)],6)=>([(0,3),(2,1),(3,2)],4) [[[.,.],[[.,[.,.]],.]],.]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5) [[[.,.],[[[.,.],.],.]],.]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5) [[[.,[.,.]],[.,[.,.]]],.]=>([(0,4),(1,3),(3,5),(4,5),(5,2)],6)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) [[[.,[.,.]],[[.,.],.]],.]=>([(0,4),(1,3),(3,5),(4,5),(5,2)],6)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) [[[[.,.],.],[.,[.,.]]],.]=>([(0,4),(1,3),(3,5),(4,5),(5,2)],6)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) [[[[.,.],.],[[.,.],.]],.]=>([(0,4),(1,3),(3,5),(4,5),(5,2)],6)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) [[[.,[.,[.,.]]],[.,.]],.]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5) [[[.,[[.,.],.]],[.,.]],.]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5) [[[[.,.],[.,.]],[.,.]],.]=>([(0,5),(1,4),(2,4),(4,5),(5,3)],6)=>([(0,3),(2,1),(3,2)],4) [[[[.,[.,.]],.],[.,.]],.]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5) [[[[[.,.],.],.],[.,.]],.]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(0,4),(2,3),(3,1),(4,2)],5) [[[.,[.,[.,[.,.]]]],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[[.,[.,[[.,.],.]]],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[[.,[[.,.],[.,.]]],.],.]=>([(0,5),(1,5),(3,2),(4,3),(5,4)],6)=>([(0,4),(2,3),(3,1),(4,2)],5) [[[.,[[.,[.,.]],.]],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[[.,[[[.,.],.],.]],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[[[.,.],[.,[.,.]]],.],.]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(0,4),(2,3),(3,1),(4,2)],5) [[[[.,.],[[.,.],.]],.],.]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(0,4),(2,3),(3,1),(4,2)],5) [[[[.,[.,.]],[.,.]],.],.]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(0,4),(2,3),(3,1),(4,2)],5) [[[[[.,.],.],[.,.]],.],.]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(0,4),(2,3),(3,1),(4,2)],5) [[[[.,[.,[.,.]]],.],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[[[.,[[.,.],.]],.],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[[[[.,.],[.,.]],.],.],.]=>([(0,5),(1,5),(3,2),(4,3),(5,4)],6)=>([(0,4),(2,3),(3,1),(4,2)],5) [[[[[.,[.,.]],.],.],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[[[[[.,.],.],.],.],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[.,[.,[.,[.,[.,[.,.]]]]]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [.,[.,[.,[.,[.,[[.,.],.]]]]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [.,[.,[.,[.,[[.,.],[.,.]]]]]]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[.,[.,[.,[[.,[.,.]],.]]]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [.,[.,[.,[.,[[[.,.],.],.]]]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [.,[.,[.,[[.,.],[.,[.,.]]]]]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[.,[.,[[.,.],[[.,.],.]]]]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[.,[.,[[.,[.,.]],[.,.]]]]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[.,[.,[[[.,.],.],[.,.]]]]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[.,[.,[[.,[.,[.,.]]],.]]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [.,[.,[.,[[.,[[.,.],.]],.]]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [.,[.,[.,[[[.,.],[.,.]],.]]]]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[.,[.,[[[.,[.,.]],.],.]]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [.,[.,[.,[[[[.,.],.],.],.]]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [.,[.,[[.,.],[.,[.,[.,.]]]]]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[.,[[.,.],[.,[[.,.],.]]]]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[.,[[.,.],[[.,.],[.,.]]]]]=>([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [.,[.,[[.,.],[[.,[.,.]],.]]]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[.,[[.,.],[[[.,.],.],.]]]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[.,[[.,[.,.]],[.,[.,.]]]]]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7) [.,[.,[[.,[.,.]],[[.,.],.]]]]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7) [.,[.,[[[.,.],.],[.,[.,.]]]]]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7) [.,[.,[[[.,.],.],[[.,.],.]]]]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7) [.,[.,[[.,[.,[.,.]]],[.,.]]]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[.,[[.,[[.,.],.]],[.,.]]]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[.,[[[.,.],[.,.]],[.,.]]]]=>([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [.,[.,[[[.,[.,.]],.],[.,.]]]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[.,[[[[.,.],.],.],[.,.]]]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[.,[[.,[.,[.,[.,.]]]],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [.,[.,[[.,[.,[[.,.],.]]],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [.,[.,[[.,[[.,.],[.,.]]],.]]]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[.,[[.,[[.,[.,.]],.]],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [.,[.,[[.,[[[.,.],.],.]],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [.,[.,[[[.,.],[.,[.,.]]],.]]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[.,[[[.,.],[[.,.],.]],.]]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[.,[[[.,[.,.]],[.,.]],.]]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[.,[[[[.,.],.],[.,.]],.]]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[.,[[[.,[.,[.,.]]],.],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [.,[.,[[[.,[[.,.],.]],.],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [.,[.,[[[[.,.],[.,.]],.],.]]]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[.,[[[[.,[.,.]],.],.],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [.,[.,[[[[[.,.],.],.],.],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [.,[[.,.],[.,[.,[.,[.,.]]]]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[[.,.],[.,[.,[[.,.],.]]]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[[.,.],[.,[[.,.],[.,.]]]]]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [.,[[.,.],[.,[[.,[.,.]],.]]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[[.,.],[.,[[[.,.],.],.]]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[[.,.],[[.,.],[.,[.,.]]]]]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [.,[[.,.],[[.,.],[[.,.],.]]]]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [.,[[.,.],[[.,[.,.]],[.,.]]]]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [.,[[.,.],[[[.,.],.],[.,.]]]]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [.,[[.,.],[[.,[.,[.,.]]],.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[[.,.],[[.,[[.,.],.]],.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[[.,.],[[[.,.],[.,.]],.]]]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [.,[[.,.],[[[.,[.,.]],.],.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[[.,.],[[[[.,.],.],.],.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[[.,[.,.]],[.,[.,[.,.]]]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) [.,[[.,[.,.]],[.,[[.,.],.]]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) [.,[[.,[.,.]],[[.,.],[.,.]]]]=>([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) [.,[[.,[.,.]],[[.,[.,.]],.]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) [.,[[.,[.,.]],[[[.,.],.],.]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) [.,[[[.,.],.],[.,[.,[.,.]]]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) [.,[[[.,.],.],[.,[[.,.],.]]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) [.,[[[.,.],.],[[.,.],[.,.]]]]=>([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) [.,[[[.,.],.],[[.,[.,.]],.]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) [.,[[[.,.],.],[[[.,.],.],.]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) [.,[[.,[.,[.,.]]],[.,[.,.]]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) [.,[[.,[.,[.,.]]],[[.,.],.]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) [.,[[.,[[.,.],.]],[.,[.,.]]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) [.,[[.,[[.,.],.]],[[.,.],.]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) [.,[[[.,.],[.,.]],[.,[.,.]]]]=>([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) [.,[[[.,.],[.,.]],[[.,.],.]]]=>([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) [.,[[[.,[.,.]],.],[.,[.,.]]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) [.,[[[.,[.,.]],.],[[.,.],.]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) [.,[[[[.,.],.],.],[.,[.,.]]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) [.,[[[[.,.],.],.],[[.,.],.]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) [.,[[.,[.,[.,[.,.]]]],[.,.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[[.,[.,[[.,.],.]]],[.,.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[[.,[[.,.],[.,.]]],[.,.]]]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [.,[[.,[[.,[.,.]],.]],[.,.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[[.,[[[.,.],.],.]],[.,.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[[[.,.],[.,[.,.]]],[.,.]]]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [.,[[[.,.],[[.,.],.]],[.,.]]]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [.,[[[.,[.,.]],[.,.]],[.,.]]]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [.,[[[[.,.],.],[.,.]],[.,.]]]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [.,[[[.,[.,[.,.]]],.],[.,.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[[[.,[[.,.],.]],.],[.,.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[[[[.,.],[.,.]],.],[.,.]]]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [.,[[[[.,[.,.]],.],.],[.,.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[[[[[.,.],.],.],.],[.,.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[[.,[.,[.,[.,[.,.]]]]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [.,[[.,[.,[.,[[.,.],.]]]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [.,[[.,[.,[[.,.],[.,.]]]],.]]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[[.,[.,[[.,[.,.]],.]]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [.,[[.,[.,[[[.,.],.],.]]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [.,[[.,[[.,.],[.,[.,.]]]],.]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[[.,[[.,.],[[.,.],.]]],.]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[[.,[[.,[.,.]],[.,.]]],.]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[[.,[[[.,.],.],[.,.]]],.]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[[.,[[.,[.,[.,.]]],.]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [.,[[.,[[.,[[.,.],.]],.]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [.,[[.,[[[.,.],[.,.]],.]],.]]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[[.,[[[.,[.,.]],.],.]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [.,[[.,[[[[.,.],.],.],.]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [.,[[[.,.],[.,[.,[.,.]]]],.]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[[[.,.],[.,[[.,.],.]]],.]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[[[.,.],[[.,.],[.,.]]],.]]=>([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [.,[[[.,.],[[.,[.,.]],.]],.]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[[[.,.],[[[.,.],.],.]],.]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[[[.,[.,.]],[.,[.,.]]],.]]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7) [.,[[[.,[.,.]],[[.,.],.]],.]]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7) [.,[[[[.,.],.],[.,[.,.]]],.]]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7) [.,[[[[.,.],.],[[.,.],.]],.]]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7) [.,[[[.,[.,[.,.]]],[.,.]],.]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[[[.,[[.,.],.]],[.,.]],.]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[[[[.,.],[.,.]],[.,.]],.]]=>([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [.,[[[[.,[.,.]],.],[.,.]],.]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[[[[[.,.],.],.],[.,.]],.]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[[[.,[.,[.,[.,.]]]],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [.,[[[.,[.,[[.,.],.]]],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [.,[[[.,[[.,.],[.,.]]],.],.]]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[[[.,[[.,[.,.]],.]],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [.,[[[.,[[[.,.],.],.]],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [.,[[[[.,.],[.,[.,.]]],.],.]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[[[[.,.],[[.,.],.]],.],.]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[[[[.,[.,.]],[.,.]],.],.]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[[[[[.,.],.],[.,.]],.],.]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[[[[.,[.,[.,.]]],.],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [.,[[[[.,[[.,.],.]],.],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [.,[[[[[.,.],[.,.]],.],.],.]]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [.,[[[[[.,[.,.]],.],.],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [.,[[[[[[.,.],.],.],.],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [[.,.],[.,[.,[.,[.,[.,.]]]]]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[.,.],[.,[.,[.,[[.,.],.]]]]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[.,.],[.,[.,[[.,.],[.,.]]]]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [[.,.],[.,[.,[[.,[.,.]],.]]]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[.,.],[.,[.,[[[.,.],.],.]]]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[.,.],[.,[[.,.],[.,[.,.]]]]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [[.,.],[.,[[.,.],[[.,.],.]]]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [[.,.],[.,[[.,[.,.]],[.,.]]]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [[.,.],[.,[[[.,.],.],[.,.]]]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [[.,.],[.,[[.,[.,[.,.]]],.]]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[.,.],[.,[[.,[[.,.],.]],.]]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[.,.],[.,[[[.,.],[.,.]],.]]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [[.,.],[.,[[[.,[.,.]],.],.]]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[.,.],[.,[[[[.,.],.],.],.]]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[.,.],[[.,.],[.,[.,[.,.]]]]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [[.,.],[[.,.],[.,[[.,.],.]]]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [[.,.],[[.,.],[[.,.],[.,.]]]]=>([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7)=>([(0,3),(2,1),(3,2)],4) [[.,.],[[.,.],[[.,[.,.]],.]]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [[.,.],[[.,.],[[[.,.],.],.]]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [[.,.],[[.,[.,.]],[.,[.,.]]]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) [[.,.],[[.,[.,.]],[[.,.],.]]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) [[.,.],[[[.,.],.],[.,[.,.]]]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) [[.,.],[[[.,.],.],[[.,.],.]]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) [[.,.],[[.,[.,[.,.]]],[.,.]]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [[.,.],[[.,[[.,.],.]],[.,.]]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [[.,.],[[[.,.],[.,.]],[.,.]]]=>([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7)=>([(0,3),(2,1),(3,2)],4) [[.,.],[[[.,[.,.]],.],[.,.]]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [[.,.],[[[[.,.],.],.],[.,.]]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [[.,.],[[.,[.,[.,[.,.]]]],.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[.,.],[[.,[.,[[.,.],.]]],.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[.,.],[[.,[[.,.],[.,.]]],.]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [[.,.],[[.,[[.,[.,.]],.]],.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[.,.],[[.,[[[.,.],.],.]],.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[.,.],[[[.,.],[.,[.,.]]],.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [[.,.],[[[.,.],[[.,.],.]],.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [[.,.],[[[.,[.,.]],[.,.]],.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [[.,.],[[[[.,.],.],[.,.]],.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [[.,.],[[[.,[.,[.,.]]],.],.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[.,.],[[[.,[[.,.],.]],.],.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[.,.],[[[[.,.],[.,.]],.],.]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [[.,.],[[[[.,[.,.]],.],.],.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[.,.],[[[[[.,.],.],.],.],.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[.,[.,.]],[.,[.,[.,[.,.]]]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) [[.,[.,.]],[.,[.,[[.,.],.]]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) [[.,[.,.]],[.,[[.,.],[.,.]]]]=>([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) [[.,[.,.]],[.,[[.,[.,.]],.]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) [[.,[.,.]],[.,[[[.,.],.],.]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) [[.,[.,.]],[[.,.],[.,[.,.]]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) [[.,[.,.]],[[.,.],[[.,.],.]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) [[.,[.,.]],[[.,[.,.]],[.,.]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) [[.,[.,.]],[[[.,.],.],[.,.]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) [[.,[.,.]],[[.,[.,[.,.]]],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) [[.,[.,.]],[[.,[[.,.],.]],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) [[.,[.,.]],[[[.,.],[.,.]],.]]=>([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) [[.,[.,.]],[[[.,[.,.]],.],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) [[.,[.,.]],[[[[.,.],.],.],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) [[[.,.],.],[.,[.,[.,[.,.]]]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) [[[.,.],.],[.,[.,[[.,.],.]]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) [[[.,.],.],[.,[[.,.],[.,.]]]]=>([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) [[[.,.],.],[.,[[.,[.,.]],.]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) [[[.,.],.],[.,[[[.,.],.],.]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) [[[.,.],.],[[.,.],[.,[.,.]]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) [[[.,.],.],[[.,.],[[.,.],.]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) [[[.,.],.],[[.,[.,.]],[.,.]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) [[[.,.],.],[[[.,.],.],[.,.]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) [[[.,.],.],[[.,[.,[.,.]]],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) [[[.,.],.],[[.,[[.,.],.]],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) [[[.,.],.],[[[.,.],[.,.]],.]]=>([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) [[[.,.],.],[[[.,[.,.]],.],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) [[[.,.],.],[[[[.,.],.],.],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) [[.,[.,[.,.]]],[.,[.,[.,.]]]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10) [[.,[.,[.,.]]],[.,[[.,.],.]]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10) [[.,[.,[.,.]]],[[.,.],[.,.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) [[.,[.,[.,.]]],[[.,[.,.]],.]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10) [[.,[.,[.,.]]],[[[.,.],.],.]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10) [[.,[[.,.],.]],[.,[.,[.,.]]]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10) [[.,[[.,.],.]],[.,[[.,.],.]]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10) [[.,[[.,.],.]],[[.,.],[.,.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) [[.,[[.,.],.]],[[.,[.,.]],.]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10) [[.,[[.,.],.]],[[[.,.],.],.]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10) [[[.,.],[.,.]],[.,[.,[.,.]]]]=>([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) [[[.,.],[.,.]],[.,[[.,.],.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) [[[.,.],[.,.]],[[.,.],[.,.]]]=>([(0,5),(1,5),(2,4),(3,4),(4,6),(5,6)],7)=>([(0,2),(0,3),(2,4),(3,4),(4,1)],5) [[[.,.],[.,.]],[[.,[.,.]],.]]=>([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) [[[.,.],[.,.]],[[[.,.],.],.]]=>([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) [[[.,[.,.]],.],[.,[.,[.,.]]]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10) [[[.,[.,.]],.],[.,[[.,.],.]]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10) [[[.,[.,.]],.],[[.,.],[.,.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) [[[.,[.,.]],.],[[.,[.,.]],.]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10) [[[.,[.,.]],.],[[[.,.],.],.]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10) [[[[.,.],.],.],[.,[.,[.,.]]]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10) [[[[.,.],.],.],[.,[[.,.],.]]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10) [[[[.,.],.],.],[[.,.],[.,.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) [[[[.,.],.],.],[[.,[.,.]],.]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10) [[[[.,.],.],.],[[[.,.],.],.]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10) [[.,[.,[.,[.,.]]]],[.,[.,.]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) [[.,[.,[.,[.,.]]]],[[.,.],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) [[.,[.,[[.,.],.]]],[.,[.,.]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) [[.,[.,[[.,.],.]]],[[.,.],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) [[.,[[.,.],[.,.]]],[.,[.,.]]]=>([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) [[.,[[.,.],[.,.]]],[[.,.],.]]=>([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) [[.,[[.,[.,.]],.]],[.,[.,.]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) [[.,[[.,[.,.]],.]],[[.,.],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) [[.,[[[.,.],.],.]],[.,[.,.]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) [[.,[[[.,.],.],.]],[[.,.],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) [[[.,.],[.,[.,.]]],[.,[.,.]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) [[[.,.],[.,[.,.]]],[[.,.],.]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) [[[.,.],[[.,.],.]],[.,[.,.]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) [[[.,.],[[.,.],.]],[[.,.],.]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) [[[.,[.,.]],[.,.]],[.,[.,.]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) [[[.,[.,.]],[.,.]],[[.,.],.]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) [[[[.,.],.],[.,.]],[.,[.,.]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) [[[[.,.],.],[.,.]],[[.,.],.]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) [[[.,[.,[.,.]]],.],[.,[.,.]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) [[[.,[.,[.,.]]],.],[[.,.],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) [[[.,[[.,.],.]],.],[.,[.,.]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) [[[.,[[.,.],.]],.],[[.,.],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) [[[[.,.],[.,.]],.],[.,[.,.]]]=>([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) [[[[.,.],[.,.]],.],[[.,.],.]]=>([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)=>([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) [[[[.,[.,.]],.],.],[.,[.,.]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) [[[[.,[.,.]],.],.],[[.,.],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) [[[[[.,.],.],.],.],[.,[.,.]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) [[[[[.,.],.],.],.],[[.,.],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) [[.,[.,[.,[.,[.,.]]]]],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[.,[.,[.,[[.,.],.]]]],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[.,[.,[[.,.],[.,.]]]],[.,.]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [[.,[.,[[.,[.,.]],.]]],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[.,[.,[[[.,.],.],.]]],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[.,[[.,.],[.,[.,.]]]],[.,.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [[.,[[.,.],[[.,.],.]]],[.,.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [[.,[[.,[.,.]],[.,.]]],[.,.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [[.,[[[.,.],.],[.,.]]],[.,.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [[.,[[.,[.,[.,.]]],.]],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[.,[[.,[[.,.],.]],.]],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[.,[[[.,.],[.,.]],.]],[.,.]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [[.,[[[.,[.,.]],.],.]],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[.,[[[[.,.],.],.],.]],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[[.,.],[.,[.,[.,.]]]],[.,.]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [[[.,.],[.,[[.,.],.]]],[.,.]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [[[.,.],[[.,.],[.,.]]],[.,.]]=>([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7)=>([(0,3),(2,1),(3,2)],4) [[[.,.],[[.,[.,.]],.]],[.,.]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [[[.,.],[[[.,.],.],.]],[.,.]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [[[.,[.,.]],[.,[.,.]]],[.,.]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) [[[.,[.,.]],[[.,.],.]],[.,.]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) [[[[.,.],.],[.,[.,.]]],[.,.]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) [[[[.,.],.],[[.,.],.]],[.,.]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) [[[.,[.,[.,.]]],[.,.]],[.,.]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [[[.,[[.,.],.]],[.,.]],[.,.]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [[[[.,.],[.,.]],[.,.]],[.,.]]=>([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7)=>([(0,3),(2,1),(3,2)],4) [[[[.,[.,.]],.],[.,.]],[.,.]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [[[[[.,.],.],.],[.,.]],[.,.]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [[[.,[.,[.,[.,.]]]],.],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[[.,[.,[[.,.],.]]],.],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[[.,[[.,.],[.,.]]],.],[.,.]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [[[.,[[.,[.,.]],.]],.],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[[.,[[[.,.],.],.]],.],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[[[.,.],[.,[.,.]]],.],[.,.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [[[[.,.],[[.,.],.]],.],[.,.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [[[[.,[.,.]],[.,.]],.],[.,.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [[[[[.,.],.],[.,.]],.],[.,.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [[[[.,[.,[.,.]]],.],.],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[[[.,[[.,.],.]],.],.],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[[[[.,.],[.,.]],.],.],[.,.]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [[[[[.,[.,.]],.],.],.],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[[[[[.,.],.],.],.],.],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[.,[.,[.,[.,[.,[.,.]]]]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [[.,[.,[.,[.,[[.,.],.]]]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [[.,[.,[.,[[.,.],[.,.]]]]],.]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[.,[.,[.,[[.,[.,.]],.]]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [[.,[.,[.,[[[.,.],.],.]]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [[.,[.,[[.,.],[.,[.,.]]]]],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[.,[.,[[.,.],[[.,.],.]]]],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[.,[.,[[.,[.,.]],[.,.]]]],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[.,[.,[[[.,.],.],[.,.]]]],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[.,[.,[[.,[.,[.,.]]],.]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [[.,[.,[[.,[[.,.],.]],.]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [[.,[.,[[[.,.],[.,.]],.]]],.]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[.,[.,[[[.,[.,.]],.],.]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [[.,[.,[[[[.,.],.],.],.]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [[.,[[.,.],[.,[.,[.,.]]]]],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[.,[[.,.],[.,[[.,.],.]]]],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[.,[[.,.],[[.,.],[.,.]]]],.]=>([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [[.,[[.,.],[[.,[.,.]],.]]],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[.,[[.,.],[[[.,.],.],.]]],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[.,[[.,[.,.]],[.,[.,.]]]],.]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7) [[.,[[.,[.,.]],[[.,.],.]]],.]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7) [[.,[[[.,.],.],[.,[.,.]]]],.]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7) [[.,[[[.,.],.],[[.,.],.]]],.]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7) [[.,[[.,[.,[.,.]]],[.,.]]],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[.,[[.,[[.,.],.]],[.,.]]],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[.,[[[.,.],[.,.]],[.,.]]],.]=>([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [[.,[[[.,[.,.]],.],[.,.]]],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[.,[[[[.,.],.],.],[.,.]]],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[.,[[.,[.,[.,[.,.]]]],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [[.,[[.,[.,[[.,.],.]]],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [[.,[[.,[[.,.],[.,.]]],.]],.]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[.,[[.,[[.,[.,.]],.]],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [[.,[[.,[[[.,.],.],.]],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [[.,[[[.,.],[.,[.,.]]],.]],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[.,[[[.,.],[[.,.],.]],.]],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[.,[[[.,[.,.]],[.,.]],.]],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[.,[[[[.,.],.],[.,.]],.]],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[.,[[[.,[.,[.,.]]],.],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [[.,[[[.,[[.,.],.]],.],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [[.,[[[[.,.],[.,.]],.],.]],.]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[.,[[[[.,[.,.]],.],.],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [[.,[[[[[.,.],.],.],.],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [[[.,.],[.,[.,[.,[.,.]]]]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[[.,.],[.,[.,[[.,.],.]]]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[[.,.],[.,[[.,.],[.,.]]]],.]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [[[.,.],[.,[[.,[.,.]],.]]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[[.,.],[.,[[[.,.],.],.]]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[[.,.],[[.,.],[.,[.,.]]]],.]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [[[.,.],[[.,.],[[.,.],.]]],.]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [[[.,.],[[.,[.,.]],[.,.]]],.]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [[[.,.],[[[.,.],.],[.,.]]],.]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [[[.,.],[[.,[.,[.,.]]],.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[[.,.],[[.,[[.,.],.]],.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[[.,.],[[[.,.],[.,.]],.]],.]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [[[.,.],[[[.,[.,.]],.],.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[[.,.],[[[[.,.],.],.],.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[[.,[.,.]],[.,[.,[.,.]]]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) [[[.,[.,.]],[.,[[.,.],.]]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) [[[.,[.,.]],[[.,.],[.,.]]],.]=>([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) [[[.,[.,.]],[[.,[.,.]],.]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) [[[.,[.,.]],[[[.,.],.],.]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) [[[[.,.],.],[.,[.,[.,.]]]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) [[[[.,.],.],[.,[[.,.],.]]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) [[[[.,.],.],[[.,.],[.,.]]],.]=>([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) [[[[.,.],.],[[.,[.,.]],.]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) [[[[.,.],.],[[[.,.],.],.]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) [[[.,[.,[.,.]]],[.,[.,.]]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) [[[.,[.,[.,.]]],[[.,.],.]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) [[[.,[[.,.],.]],[.,[.,.]]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) [[[.,[[.,.],.]],[[.,.],.]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) [[[[.,.],[.,.]],[.,[.,.]]],.]=>([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) [[[[.,.],[.,.]],[[.,.],.]],.]=>([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)=>([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) [[[[.,[.,.]],.],[.,[.,.]]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) [[[[.,[.,.]],.],[[.,.],.]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) [[[[[.,.],.],.],[.,[.,.]]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) [[[[[.,.],.],.],[[.,.],.]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) [[[.,[.,[.,[.,.]]]],[.,.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[[.,[.,[[.,.],.]]],[.,.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[[.,[[.,.],[.,.]]],[.,.]],.]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [[[.,[[.,[.,.]],.]],[.,.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[[.,[[[.,.],.],.]],[.,.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[[[.,.],[.,[.,.]]],[.,.]],.]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [[[[.,.],[[.,.],.]],[.,.]],.]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [[[[.,[.,.]],[.,.]],[.,.]],.]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [[[[[.,.],.],[.,.]],[.,.]],.]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [[[[.,[.,[.,.]]],.],[.,.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[[[.,[[.,.],.]],.],[.,.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[[[[.,.],[.,.]],.],[.,.]],.]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [[[[[.,[.,.]],.],.],[.,.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[[[[[.,.],.],.],.],[.,.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[[.,[.,[.,[.,[.,.]]]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [[[.,[.,[.,[[.,.],.]]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [[[.,[.,[[.,.],[.,.]]]],.],.]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[[.,[.,[[.,[.,.]],.]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [[[.,[.,[[[.,.],.],.]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [[[.,[[.,.],[.,[.,.]]]],.],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[[.,[[.,.],[[.,.],.]]],.],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[[.,[[.,[.,.]],[.,.]]],.],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[[.,[[[.,.],.],[.,.]]],.],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[[.,[[.,[.,[.,.]]],.]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [[[.,[[.,[[.,.],.]],.]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [[[.,[[[.,.],[.,.]],.]],.],.]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[[.,[[[.,[.,.]],.],.]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [[[.,[[[[.,.],.],.],.]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [[[[.,.],[.,[.,[.,.]]]],.],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[[[.,.],[.,[[.,.],.]]],.],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[[[.,.],[[.,.],[.,.]]],.],.]=>([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [[[[.,.],[[.,[.,.]],.]],.],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[[[.,.],[[[.,.],.],.]],.],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[[[.,[.,.]],[.,[.,.]]],.],.]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7) [[[[.,[.,.]],[[.,.],.]],.],.]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7) [[[[[.,.],.],[.,[.,.]]],.],.]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7) [[[[[.,.],.],[[.,.],.]],.],.]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7) [[[[.,[.,[.,.]]],[.,.]],.],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[[[.,[[.,.],.]],[.,.]],.],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[[[[.,.],[.,.]],[.,.]],.],.]=>([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)=>([(0,4),(2,3),(3,1),(4,2)],5) [[[[[.,[.,.]],.],[.,.]],.],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[[[[[.,.],.],.],[.,.]],.],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[[[.,[.,[.,[.,.]]]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [[[[.,[.,[[.,.],.]]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [[[[.,[[.,.],[.,.]]],.],.],.]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[[[.,[[.,[.,.]],.]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [[[[.,[[[.,.],.],.]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [[[[[.,.],[.,[.,.]]],.],.],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[[[[.,.],[[.,.],.]],.],.],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[[[[.,[.,.]],[.,.]],.],.],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[[[[[.,.],.],[.,.]],.],.],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[[[[.,[.,[.,.]]],.],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [[[[[.,[[.,.],.]],.],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [[[[[[.,.],[.,.]],.],.],.],.]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6) [[[[[[.,[.,.]],.],.],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [[[[[[[.,.],.],.],.],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) [[.,[.,[.,.]]],[.,[.,[.,[.,.]]]]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) [[.,[.,[.,.]]],[.,[.,[[.,.],.]]]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) [[.,[.,[.,.]]],[.,[[.,[.,.]],.]]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) [[.,[.,[.,.]]],[.,[[[.,.],.],.]]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) [[.,[.,[.,.]]],[[.,[.,[.,.]]],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) [[.,[.,[.,.]]],[[.,[[.,.],.]],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) [[.,[.,[.,.]]],[[[.,[.,.]],.],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) [[.,[.,[.,.]]],[[[[.,.],.],.],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) [[.,[[.,.],.]],[.,[.,[.,[.,.]]]]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) [[.,[[.,.],.]],[.,[.,[[.,.],.]]]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) [[.,[[.,.],.]],[.,[[.,[.,.]],.]]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) [[.,[[.,.],.]],[.,[[[.,.],.],.]]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) [[.,[[.,.],.]],[[.,[.,[.,.]]],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) [[.,[[.,.],.]],[[.,[[.,.],.]],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) [[.,[[.,.],.]],[[[.,[.,.]],.],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) [[.,[[.,.],.]],[[[[.,.],.],.],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) [[[.,.],[.,.]],[.,[.,[.,[.,.]]]]]=>([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) [[[.,.],[.,.]],[.,[.,[[.,.],.]]]]=>([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) [[[.,.],[.,.]],[.,[[.,[.,.]],.]]]=>([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) [[[.,.],[.,.]],[.,[[[.,.],.],.]]]=>([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) [[[.,.],[.,.]],[[.,[.,[.,.]]],.]]=>([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) [[[.,.],[.,.]],[[.,[[.,.],.]],.]]=>([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) [[[.,.],[.,.]],[[[.,[.,.]],.],.]]=>([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) [[[.,.],[.,.]],[[[[.,.],.],.],.]]=>([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) [[[.,[.,.]],.],[.,[.,[.,[.,.]]]]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) [[[.,[.,.]],.],[.,[.,[[.,.],.]]]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) [[[.,[.,.]],.],[.,[[.,[.,.]],.]]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) [[[.,[.,.]],.],[.,[[[.,.],.],.]]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) [[[.,[.,.]],.],[[.,[.,[.,.]]],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) [[[.,[.,.]],.],[[.,[[.,.],.]],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) [[[.,[.,.]],.],[[[.,[.,.]],.],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) [[[.,[.,.]],.],[[[[.,.],.],.],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) [[[[.,.],.],.],[.,[.,[.,[.,.]]]]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) [[[[.,.],.],.],[.,[.,[[.,.],.]]]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) [[[[.,.],.],.],[.,[[.,[.,.]],.]]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) [[[[.,.],.],.],[.,[[[.,.],.],.]]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) [[[[.,.],.],.],[[.,[.,[.,.]]],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) [[[[.,.],.],.],[[.,[[.,.],.]],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) [[[[.,.],.],.],[[[.,[.,.]],.],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) [[[[.,.],.],.],[[[[.,.],.],.],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) [[.,[.,[.,[.,.]]]],[.,[.,[.,.]]]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) [[.,[.,[.,[.,.]]]],[.,[[.,.],.]]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) [[.,[.,[.,[.,.]]]],[[.,.],[.,.]]]=>([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) [[.,[.,[.,[.,.]]]],[[.,[.,.]],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) [[.,[.,[.,[.,.]]]],[[[.,.],.],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) [[.,[.,[[.,.],.]]],[.,[.,[.,.]]]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) [[.,[.,[[.,.],.]]],[.,[[.,.],.]]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) [[.,[.,[[.,.],.]]],[[.,.],[.,.]]]=>([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) [[.,[.,[[.,.],.]]],[[.,[.,.]],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) [[.,[.,[[.,.],.]]],[[[.,.],.],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) [[.,[[.,[.,.]],.]],[.,[.,[.,.]]]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) [[.,[[.,[.,.]],.]],[.,[[.,.],.]]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) [[.,[[.,[.,.]],.]],[[.,.],[.,.]]]=>([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) [[.,[[.,[.,.]],.]],[[.,[.,.]],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) [[.,[[.,[.,.]],.]],[[[.,.],.],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) [[.,[[[.,.],.],.]],[.,[.,[.,.]]]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) [[.,[[[.,.],.],.]],[.,[[.,.],.]]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) [[.,[[[.,.],.],.]],[[.,.],[.,.]]]=>([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) [[.,[[[.,.],.],.]],[[.,[.,.]],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) [[.,[[[.,.],.],.]],[[[.,.],.],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) [[[.,[.,[.,.]]],.],[.,[.,[.,.]]]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) [[[.,[.,[.,.]]],.],[.,[[.,.],.]]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) [[[.,[.,[.,.]]],.],[[.,.],[.,.]]]=>([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) [[[.,[.,[.,.]]],.],[[.,[.,.]],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) [[[.,[.,[.,.]]],.],[[[.,.],.],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) [[[.,[[.,.],.]],.],[.,[.,[.,.]]]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) [[[.,[[.,.],.]],.],[.,[[.,.],.]]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) [[[.,[[.,.],.]],.],[[.,.],[.,.]]]=>([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) [[[.,[[.,.],.]],.],[[.,[.,.]],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) [[[.,[[.,.],.]],.],[[[.,.],.],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) [[[[.,[.,.]],.],.],[.,[.,[.,.]]]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) [[[[.,[.,.]],.],.],[.,[[.,.],.]]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) [[[[.,[.,.]],.],.],[[.,.],[.,.]]]=>([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) [[[[.,[.,.]],.],.],[[.,[.,.]],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) [[[[.,[.,.]],.],.],[[[.,.],.],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) [[[[[.,.],.],.],.],[.,[.,[.,.]]]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) [[[[[.,.],.],.],.],[.,[[.,.],.]]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) [[[[[.,.],.],.],.],[[.,.],[.,.]]]=>([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8)=>([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) [[[[[.,.],.],.],.],[[.,[.,.]],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) [[[[[.,.],.],.],.],[[[.,.],.],.]]=>([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8)=>([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13)
Map
to poset
Description
Return the poset obtained by interpreting the tree as a Hasse diagram.
Map
maximal antichains
Description
The lattice of maximal antichains in a poset.
An antichain $A$ in a poset is maximal if there is no antichain of larger cardinality which contains all elements of $A$.
The set of maximal antichains can be ordered by setting $A \leq B \Leftrightarrow \mathop{\downarrow} A \subseteq \mathop{\downarrow}B$, where $\mathop{\downarrow}A$ is the order ideal generated by $A$.