Identifier
Mp00013: Binary trees to posetPosets
Mp00198: Posets incomparability graph Graphs
Images
=>
Cc0010;cc-rep-0Cc0014;cc-rep-1Cc0020;cc-rep-2
[.,.]=>([],1)=>([],1) [.,[.,.]]=>([(0,1)],2)=>([],2) [[.,.],.]=>([(0,1)],2)=>([],2) [.,[.,[.,.]]]=>([(0,2),(2,1)],3)=>([],3) [.,[[.,.],.]]=>([(0,2),(2,1)],3)=>([],3) [[.,.],[.,.]]=>([(0,2),(1,2)],3)=>([(1,2)],3) [[.,[.,.]],.]=>([(0,2),(2,1)],3)=>([],3) [[[.,.],.],.]=>([(0,2),(2,1)],3)=>([],3) [.,[.,[.,[.,.]]]]=>([(0,3),(2,1),(3,2)],4)=>([],4) [.,[.,[[.,.],.]]]=>([(0,3),(2,1),(3,2)],4)=>([],4) [.,[[.,.],[.,.]]]=>([(0,3),(1,3),(3,2)],4)=>([(2,3)],4) [.,[[.,[.,.]],.]]=>([(0,3),(2,1),(3,2)],4)=>([],4) [.,[[[.,.],.],.]]=>([(0,3),(2,1),(3,2)],4)=>([],4) [[.,.],[.,[.,.]]]=>([(0,3),(1,2),(2,3)],4)=>([(1,3),(2,3)],4) [[.,.],[[.,.],.]]=>([(0,3),(1,2),(2,3)],4)=>([(1,3),(2,3)],4) [[.,[.,.]],[.,.]]=>([(0,3),(1,2),(2,3)],4)=>([(1,3),(2,3)],4) [[[.,.],.],[.,.]]=>([(0,3),(1,2),(2,3)],4)=>([(1,3),(2,3)],4) [[.,[.,[.,.]]],.]=>([(0,3),(2,1),(3,2)],4)=>([],4) [[.,[[.,.],.]],.]=>([(0,3),(2,1),(3,2)],4)=>([],4) [[[.,.],[.,.]],.]=>([(0,3),(1,3),(3,2)],4)=>([(2,3)],4) [[[.,[.,.]],.],.]=>([(0,3),(2,1),(3,2)],4)=>([],4) [[[[.,.],.],.],.]=>([(0,3),(2,1),(3,2)],4)=>([],4) [.,[.,[.,[.,[.,.]]]]]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([],5) [.,[.,[.,[[.,.],.]]]]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([],5) [.,[.,[[.,.],[.,.]]]]=>([(0,4),(1,4),(2,3),(4,2)],5)=>([(3,4)],5) [.,[.,[[.,[.,.]],.]]]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([],5) [.,[.,[[[.,.],.],.]]]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([],5) [.,[[.,.],[.,[.,.]]]]=>([(0,4),(1,2),(2,4),(4,3)],5)=>([(2,4),(3,4)],5) [.,[[.,.],[[.,.],.]]]=>([(0,4),(1,2),(2,4),(4,3)],5)=>([(2,4),(3,4)],5) [.,[[.,[.,.]],[.,.]]]=>([(0,4),(1,2),(2,4),(4,3)],5)=>([(2,4),(3,4)],5) [.,[[[.,.],.],[.,.]]]=>([(0,4),(1,2),(2,4),(4,3)],5)=>([(2,4),(3,4)],5) [.,[[.,[.,[.,.]]],.]]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([],5) [.,[[.,[[.,.],.]],.]]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([],5) [.,[[[.,.],[.,.]],.]]=>([(0,4),(1,4),(2,3),(4,2)],5)=>([(3,4)],5) [.,[[[.,[.,.]],.],.]]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([],5) [.,[[[[.,.],.],.],.]]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([],5) [[.,.],[.,[.,[.,.]]]]=>([(0,4),(1,2),(2,3),(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) [[.,.],[[.,.],[.,.]]]=>([(0,4),(1,3),(2,3),(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) [[.,.],[[[.,.],.],.]]=>([(0,4),(1,2),(2,3),(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) [[.,[.,.]],[[.,.],.]]=>([(0,3),(1,2),(2,4),(3,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) [[[.,.],.],[[.,.],.]]=>([(0,3),(1,2),(2,4),(3,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) [[.,[[.,.],.]],[.,.]]=>([(0,4),(1,2),(2,3),(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) [[[.,[.,.]],.],[.,.]]=>([(0,4),(1,2),(2,3),(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) [[.,[.,[.,[.,.]]]],.]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([],5) [[.,[.,[[.,.],.]]],.]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([],5) [[.,[[.,.],[.,.]]],.]=>([(0,4),(1,4),(2,3),(4,2)],5)=>([(3,4)],5) [[.,[[.,[.,.]],.]],.]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([],5) [[.,[[[.,.],.],.]],.]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([],5) [[[.,.],[.,[.,.]]],.]=>([(0,4),(1,2),(2,4),(4,3)],5)=>([(2,4),(3,4)],5) [[[.,.],[[.,.],.]],.]=>([(0,4),(1,2),(2,4),(4,3)],5)=>([(2,4),(3,4)],5) [[[.,[.,.]],[.,.]],.]=>([(0,4),(1,2),(2,4),(4,3)],5)=>([(2,4),(3,4)],5) [[[[.,.],.],[.,.]],.]=>([(0,4),(1,2),(2,4),(4,3)],5)=>([(2,4),(3,4)],5) [[[.,[.,[.,.]]],.],.]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([],5) [[[.,[[.,.],.]],.],.]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([],5) [[[[.,.],[.,.]],.],.]=>([(0,4),(1,4),(2,3),(4,2)],5)=>([(3,4)],5) [[[[.,[.,.]],.],.],.]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([],5) [[[[[.,.],.],.],.],.]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([],5) [.,[.,[.,[.,[.,[.,.]]]]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6) [.,[.,[.,[.,[[.,.],.]]]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6) [.,[.,[.,[[.,.],[.,.]]]]]=>([(0,5),(1,5),(3,2),(4,3),(5,4)],6)=>([(4,5)],6) [.,[.,[.,[[.,[.,.]],.]]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6) [.,[.,[.,[[[.,.],.],.]]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6) [.,[.,[[.,.],[.,[.,.]]]]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(3,5),(4,5)],6) [.,[.,[[.,.],[[.,.],.]]]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(3,5),(4,5)],6) [.,[.,[[.,[.,.]],[.,.]]]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(3,5),(4,5)],6) [.,[.,[[[.,.],.],[.,.]]]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(3,5),(4,5)],6) [.,[.,[[.,[.,[.,.]]],.]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6) [.,[.,[[.,[[.,.],.]],.]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6) [.,[.,[[[.,.],[.,.]],.]]]=>([(0,5),(1,5),(3,2),(4,3),(5,4)],6)=>([(4,5)],6) [.,[.,[[[.,[.,.]],.],.]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6) [.,[.,[[[[.,.],.],.],.]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6) [.,[[.,.],[.,[.,[.,.]]]]]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],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) [.,[[.,.],[[.,.],[.,.]]]]=>([(0,5),(1,4),(2,4),(4,5),(5,3)],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) [.,[[.,.],[[[.,.],.],.]]]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],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) [.,[[.,[.,.]],[[.,.],.]]]=>([(0,4),(1,3),(3,5),(4,5),(5,2)],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) [.,[[[.,.],.],[[.,.],.]]]=>([(0,4),(1,3),(3,5),(4,5),(5,2)],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) [.,[[.,[[.,.],.]],[.,.]]]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],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) [.,[[[.,[.,.]],.],[.,.]]]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],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) [.,[[.,[.,[.,[.,.]]]],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6) [.,[[.,[.,[[.,.],.]]],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6) [.,[[.,[[.,.],[.,.]]],.]]=>([(0,5),(1,5),(3,2),(4,3),(5,4)],6)=>([(4,5)],6) [.,[[.,[[.,[.,.]],.]],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6) [.,[[.,[[[.,.],.],.]],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6) [.,[[[.,.],[.,[.,.]]],.]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(3,5),(4,5)],6) [.,[[[.,.],[[.,.],.]],.]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(3,5),(4,5)],6) [.,[[[.,[.,.]],[.,.]],.]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(3,5),(4,5)],6) [.,[[[[.,.],.],[.,.]],.]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(3,5),(4,5)],6) [.,[[[.,[.,[.,.]]],.],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6) [.,[[[.,[[.,.],.]],.],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6) [.,[[[[.,.],[.,.]],.],.]]=>([(0,5),(1,5),(3,2),(4,3),(5,4)],6)=>([(4,5)],6) [.,[[[[.,[.,.]],.],.],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6) [.,[[[[[.,.],.],.],.],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6) [[.,.],[.,[.,[.,[.,.]]]]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],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) [[.,.],[.,[[.,.],[.,.]]]]=>([(0,5),(1,4),(2,4),(3,5),(4,3)],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) [[.,.],[.,[[[.,.],.],.]]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],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) [[.,.],[[.,.],[[.,.],.]]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],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) [[.,.],[[[.,.],.],[.,.]]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],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) [[.,.],[[.,[[.,.],.]],.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],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) [[.,.],[[[.,[.,.]],.],.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],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) [[.,[.,.]],[.,[.,[.,.]]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],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) [[.,[.,.]],[[.,.],[.,.]]]=>([(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) [[.,[.,.]],[[.,[.,.]],.]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],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) [[[.,.],.],[.,[.,[.,.]]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],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) [[[.,.],.],[[.,.],[.,.]]]=>([(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) [[[.,.],.],[[.,[.,.]],.]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],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) [[.,[.,[.,.]]],[.,[.,.]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],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) [[.,[[.,.],.]],[.,[.,.]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],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) [[[.,.],[.,.]],[.,[.,.]]]=>([(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) [[[.,.],[.,.]],[[.,.],.]]=>([(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) [[[.,[.,.]],.],[.,[.,.]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],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) [[[[.,.],.],.],[.,[.,.]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],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) [[.,[.,[.,[.,.]]]],[.,.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],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) [[.,[[.,.],[.,.]]],[.,.]]=>([(0,5),(1,4),(2,4),(3,5),(4,3)],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) [[.,[[[.,.],.],.]],[.,.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],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) [[[.,.],[[.,.],.]],[.,.]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],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) [[[[.,.],.],[.,.]],[.,.]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],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) [[[.,[[.,.],.]],.],[.,.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],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) [[[[.,[.,.]],.],.],[.,.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],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) [[.,[.,[.,[.,[.,.]]]]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6) [[.,[.,[.,[[.,.],.]]]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6) [[.,[.,[[.,.],[.,.]]]],.]=>([(0,5),(1,5),(3,2),(4,3),(5,4)],6)=>([(4,5)],6) [[.,[.,[[.,[.,.]],.]]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6) [[.,[.,[[[.,.],.],.]]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6) [[.,[[.,.],[.,[.,.]]]],.]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(3,5),(4,5)],6) [[.,[[.,.],[[.,.],.]]],.]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(3,5),(4,5)],6) [[.,[[.,[.,.]],[.,.]]],.]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(3,5),(4,5)],6) [[.,[[[.,.],.],[.,.]]],.]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(3,5),(4,5)],6) [[.,[[.,[.,[.,.]]],.]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6) [[.,[[.,[[.,.],.]],.]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6) [[.,[[[.,.],[.,.]],.]],.]=>([(0,5),(1,5),(3,2),(4,3),(5,4)],6)=>([(4,5)],6) [[.,[[[.,[.,.]],.],.]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6) [[.,[[[[.,.],.],.],.]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6) [[[.,.],[.,[.,[.,.]]]],.]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],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) [[[.,.],[[.,.],[.,.]]],.]=>([(0,5),(1,4),(2,4),(4,5),(5,3)],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) [[[.,.],[[[.,.],.],.]],.]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],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) [[[.,[.,.]],[[.,.],.]],.]=>([(0,4),(1,3),(3,5),(4,5),(5,2)],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) [[[[.,.],.],[[.,.],.]],.]=>([(0,4),(1,3),(3,5),(4,5),(5,2)],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) [[[.,[[.,.],.]],[.,.]],.]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],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) [[[[.,[.,.]],.],[.,.]],.]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],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) [[[.,[.,[.,[.,.]]]],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6) [[[.,[.,[[.,.],.]]],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6) [[[.,[[.,.],[.,.]]],.],.]=>([(0,5),(1,5),(3,2),(4,3),(5,4)],6)=>([(4,5)],6) [[[.,[[.,[.,.]],.]],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6) [[[.,[[[.,.],.],.]],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6) [[[[.,.],[.,[.,.]]],.],.]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(3,5),(4,5)],6) [[[[.,.],[[.,.],.]],.],.]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(3,5),(4,5)],6) [[[[.,[.,.]],[.,.]],.],.]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(3,5),(4,5)],6) [[[[[.,.],.],[.,.]],.],.]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(3,5),(4,5)],6) [[[[.,[.,[.,.]]],.],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6) [[[[.,[[.,.],.]],.],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6) [[[[[.,.],[.,.]],.],.],.]=>([(0,5),(1,5),(3,2),(4,3),(5,4)],6)=>([(4,5)],6) [[[[[.,[.,.]],.],.],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6) [[[[[[.,.],.],.],.],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6) [.,[.,[.,[.,[.,[.,[.,.]]]]]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7) [.,[.,[.,[.,[.,[[.,.],.]]]]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7) [.,[.,[.,[.,[[.,.],[.,.]]]]]]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(5,6)],7) [.,[.,[.,[.,[[.,[.,.]],.]]]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7) [.,[.,[.,[.,[[[.,.],.],.]]]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7) [.,[.,[.,[[.,.],[.,[.,.]]]]]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7) [.,[.,[.,[[.,.],[[.,.],.]]]]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7) [.,[.,[.,[[.,[.,.]],[.,.]]]]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7) [.,[.,[.,[[[.,.],.],[.,.]]]]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7) [.,[.,[.,[[.,[.,[.,.]]],.]]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7) [.,[.,[.,[[.,[[.,.],.]],.]]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7) [.,[.,[.,[[[.,.],[.,.]],.]]]]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(5,6)],7) [.,[.,[.,[[[.,[.,.]],.],.]]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7) [.,[.,[.,[[[[.,.],.],.],.]]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7) [.,[.,[[.,.],[.,[.,[.,.]]]]]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],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) [.,[.,[[.,.],[[.,.],[.,.]]]]]=>([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],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) [.,[.,[[.,.],[[[.,.],.],.]]]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],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) [.,[.,[[.,[.,.]],[[.,.],.]]]]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],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) [.,[.,[[[.,.],.],[[.,.],.]]]]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],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) [.,[.,[[.,[[.,.],.]],[.,.]]]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],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) [.,[.,[[[.,[.,.]],.],[.,.]]]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],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) [.,[.,[[.,[.,[.,[.,.]]]],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7) [.,[.,[[.,[.,[[.,.],.]]],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7) [.,[.,[[.,[[.,.],[.,.]]],.]]]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(5,6)],7) [.,[.,[[.,[[.,[.,.]],.]],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7) [.,[.,[[.,[[[.,.],.],.]],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7) [.,[.,[[[.,.],[.,[.,.]]],.]]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7) [.,[.,[[[.,.],[[.,.],.]],.]]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7) [.,[.,[[[.,[.,.]],[.,.]],.]]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7) [.,[.,[[[[.,.],.],[.,.]],.]]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7) [.,[.,[[[.,[.,[.,.]]],.],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7) [.,[.,[[[.,[[.,.],.]],.],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7) [.,[.,[[[[.,.],[.,.]],.],.]]]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(5,6)],7) [.,[.,[[[[.,[.,.]],.],.],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7) [.,[.,[[[[[.,.],.],.],.],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7) [.,[[.,.],[.,[.,[.,[.,.]]]]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],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) [.,[[.,.],[.,[[.,.],[.,.]]]]]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],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) [.,[[.,.],[.,[[[.,.],.],.]]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],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) [.,[[.,.],[[.,.],[[.,.],.]]]]=>([(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) [.,[[.,.],[[.,[.,.]],[.,.]]]]=>([(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) [.,[[.,.],[[[.,.],.],[.,.]]]]=>([(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) [.,[[.,.],[[.,[.,[.,.]]],.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],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) [.,[[.,.],[[[.,.],[.,.]],.]]]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],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) [.,[[.,.],[[[[.,.],.],.],.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],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) [.,[[.,[.,.]],[.,[[.,.],.]]]]=>([(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) [.,[[.,[.,.]],[[.,.],[.,.]]]]=>([(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) [.,[[.,[.,.]],[[.,[.,.]],.]]]=>([(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) [.,[[.,[.,.]],[[[.,.],.],.]]]=>([(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) [.,[[[.,.],.],[.,[.,[.,.]]]]]=>([(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) [.,[[[.,.],.],[.,[[.,.],.]]]]=>([(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) [.,[[[.,.],.],[[.,.],[.,.]]]]=>([(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) [.,[[[.,.],.],[[.,[.,.]],.]]]=>([(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) [.,[[[.,.],.],[[[.,.],.],.]]]=>([(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) [.,[[.,[.,[.,.]]],[.,[.,.]]]]=>([(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) [.,[[.,[.,[.,.]]],[[.,.],.]]]=>([(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) [.,[[.,[[.,.],.]],[.,[.,.]]]]=>([(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) [.,[[.,[[.,.],.]],[[.,.],.]]]=>([(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) [.,[[[.,.],[.,.]],[.,[.,.]]]]=>([(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) [.,[[[.,.],[.,.]],[[.,.],.]]]=>([(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) [.,[[[.,[.,.]],.],[.,[.,.]]]]=>([(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) [.,[[[.,[.,.]],.],[[.,.],.]]]=>([(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) [.,[[[[.,.],.],.],[.,[.,.]]]]=>([(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) [.,[[[[.,.],.],.],[[.,.],.]]]=>([(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) [.,[[.,[.,[.,[.,.]]]],[.,.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],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) [.,[[.,[[.,.],[.,.]]],[.,.]]]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],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) [.,[[.,[[[.,.],.],.]],[.,.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],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) [.,[[[.,.],[[.,.],.]],[.,.]]]=>([(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) [.,[[[.,[.,.]],[.,.]],[.,.]]]=>([(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) [.,[[[[.,.],.],[.,.]],[.,.]]]=>([(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) [.,[[[.,[.,[.,.]]],.],[.,.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],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) [.,[[[[.,.],[.,.]],.],[.,.]]]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],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) [.,[[[[[.,.],.],.],.],[.,.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7) [.,[[.,[.,[.,[.,[.,.]]]]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7) [.,[[.,[.,[.,[[.,.],.]]]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7) [.,[[.,[.,[[.,.],[.,.]]]],.]]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(5,6)],7) [.,[[.,[.,[[.,[.,.]],.]]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7) [.,[[.,[.,[[[.,.],.],.]]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7) [.,[[.,[[.,.],[.,[.,.]]]],.]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7) [.,[[.,[[.,.],[[.,.],.]]],.]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7) [.,[[.,[[.,[.,.]],[.,.]]],.]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7) [.,[[.,[[[.,.],.],[.,.]]],.]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7) [.,[[.,[[.,[.,[.,.]]],.]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7) [.,[[.,[[.,[[.,.],.]],.]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7) [.,[[.,[[[.,.],[.,.]],.]],.]]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(5,6)],7) [.,[[.,[[[.,[.,.]],.],.]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7) [.,[[.,[[[[.,.],.],.],.]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7) [.,[[[.,.],[.,[.,[.,.]]]],.]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],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) [.,[[[.,.],[[.,.],[.,.]]],.]]=>([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],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) [.,[[[.,.],[[[.,.],.],.]],.]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],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) [.,[[[.,[.,.]],[[.,.],.]],.]]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],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) [.,[[[[.,.],.],[[.,.],.]],.]]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],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) [.,[[[.,[[.,.],.]],[.,.]],.]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],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) [.,[[[[.,[.,.]],.],[.,.]],.]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],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) [.,[[[.,[.,[.,[.,.]]]],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7) [.,[[[.,[.,[[.,.],.]]],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7) [.,[[[.,[[.,.],[.,.]]],.],.]]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(5,6)],7) [.,[[[.,[[.,[.,.]],.]],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7) [.,[[[.,[[[.,.],.],.]],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7) [.,[[[[.,.],[.,[.,.]]],.],.]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7) [.,[[[[.,.],[[.,.],.]],.],.]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7) [.,[[[[.,[.,.]],[.,.]],.],.]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7) [.,[[[[[.,.],.],[.,.]],.],.]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7) [.,[[[[.,[.,[.,.]]],.],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7) [.,[[[[.,[[.,.],.]],.],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7) [.,[[[[[.,.],[.,.]],.],.],.]]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(5,6)],7) [.,[[[[[.,[.,.]],.],.],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7) [.,[[[[[[.,.],.],.],.],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],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) [[.,.],[.,[.,[.,[[.,.],.]]]]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],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) [[.,.],[.,[.,[[.,[.,.]],.]]]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],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) [[.,.],[.,[[.,.],[.,[.,.]]]]]=>([(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) [[.,.],[.,[[.,.],[[.,.],.]]]]=>([(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) [[.,.],[.,[[.,[.,.]],[.,.]]]]=>([(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) [[.,.],[.,[[[.,.],.],[.,.]]]]=>([(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) [[.,.],[.,[[.,[.,[.,.]]],.]]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],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) [[.,.],[.,[[[.,.],[.,.]],.]]]=>([(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) [[.,.],[.,[[[.,[.,.]],.],.]]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],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) [[.,.],[[.,.],[.,[.,[.,.]]]]]=>([(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) [[.,.],[[.,.],[.,[[.,.],.]]]]=>([(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) [[.,.],[[.,.],[[.,.],[.,.]]]]=>([(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) [[.,.],[[.,.],[[.,[.,.]],.]]]=>([(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) [[.,.],[[.,.],[[[.,.],.],.]]]=>([(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) [[.,.],[[.,[.,.]],[.,[.,.]]]]=>([(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) [[.,.],[[.,[.,.]],[[.,.],.]]]=>([(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) [[.,.],[[[.,.],.],[.,[.,.]]]]=>([(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) [[.,.],[[[.,.],.],[[.,.],.]]]=>([(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) [[.,.],[[.,[.,[.,.]]],[.,.]]]=>([(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) [[.,.],[[.,[[.,.],.]],[.,.]]]=>([(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) [[.,.],[[[.,.],[.,.]],[.,.]]]=>([(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) [[.,.],[[[.,[.,.]],.],[.,.]]]=>([(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) [[.,.],[[[[.,.],.],.],[.,.]]]=>([(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) [[.,.],[[.,[.,[.,[.,.]]]],.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],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) [[.,.],[[.,[[.,.],[.,.]]],.]]=>([(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) [[.,.],[[.,[[.,[.,.]],.]],.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],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) [[.,.],[[[.,.],[.,[.,.]]],.]]=>([(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) [[.,.],[[[.,.],[[.,.],.]],.]]=>([(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) [[.,.],[[[.,[.,.]],[.,.]],.]]=>([(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) [[.,.],[[[[.,.],.],[.,.]],.]]=>([(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) [[.,.],[[[.,[.,[.,.]]],.],.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],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) [[.,.],[[[[.,.],[.,.]],.],.]]=>([(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) [[.,.],[[[[.,[.,.]],.],.],.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],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) [[.,[.,.]],[.,[.,[.,[.,.]]]]]=>([(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) [[.,[.,.]],[.,[.,[[.,.],.]]]]=>([(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) [[.,[.,.]],[.,[[.,.],[.,.]]]]=>([(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) [[.,[.,.]],[.,[[.,[.,.]],.]]]=>([(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) [[.,[.,.]],[.,[[[.,.],.],.]]]=>([(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) [[.,[.,.]],[[.,.],[.,[.,.]]]]=>([(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) [[.,[.,.]],[[.,.],[[.,.],.]]]=>([(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) [[.,[.,.]],[[.,[.,.]],[.,.]]]=>([(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) [[.,[.,.]],[[[.,.],.],[.,.]]]=>([(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) [[.,[.,.]],[[.,[.,[.,.]]],.]]=>([(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) [[.,[.,.]],[[.,[[.,.],.]],.]]=>([(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) [[.,[.,.]],[[[.,.],[.,.]],.]]=>([(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) [[.,[.,.]],[[[.,[.,.]],.],.]]=>([(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) [[.,[.,.]],[[[[.,.],.],.],.]]=>([(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) [[[.,.],.],[.,[.,[.,[.,.]]]]]=>([(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) [[[.,.],.],[.,[.,[[.,.],.]]]]=>([(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) [[[.,.],.],[.,[[.,.],[.,.]]]]=>([(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) [[[.,.],.],[.,[[.,[.,.]],.]]]=>([(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) [[[.,.],.],[.,[[[.,.],.],.]]]=>([(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) [[[.,.],.],[[.,.],[.,[.,.]]]]=>([(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) [[[.,.],.],[[.,.],[[.,.],.]]]=>([(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) [[[.,.],.],[[.,[.,.]],[.,.]]]=>([(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) [[[.,.],.],[[[.,.],.],[.,.]]]=>([(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) [[[.,.],.],[[.,[.,[.,.]]],.]]=>([(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) [[[.,.],.],[[.,[[.,.],.]],.]]=>([(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) [[[.,.],.],[[[.,.],[.,.]],.]]=>([(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) [[[.,.],.],[[[.,[.,.]],.],.]]=>([(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) [[[.,.],.],[[[[.,.],.],.],.]]=>([(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) [[.,[.,[.,.]]],[.,[.,[.,.]]]]=>([(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) [[.,[.,[.,.]]],[.,[[.,.],.]]]=>([(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) [[.,[.,[.,.]]],[[.,.],[.,.]]]=>([(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) [[.,[.,[.,.]]],[[.,[.,.]],.]]=>([(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) [[.,[.,[.,.]]],[[[.,.],.],.]]=>([(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) [[.,[[.,.],.]],[.,[.,[.,.]]]]=>([(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) [[.,[[.,.],.]],[.,[[.,.],.]]]=>([(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) [[.,[[.,.],.]],[[.,.],[.,.]]]=>([(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) [[.,[[.,.],.]],[[.,[.,.]],.]]=>([(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) [[.,[[.,.],.]],[[[.,.],.],.]]=>([(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) [[[.,.],[.,.]],[.,[.,[.,.]]]]=>([(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) [[[.,.],[.,.]],[.,[[.,.],.]]]=>([(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) [[[.,.],[.,.]],[[.,.],[.,.]]]=>([(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) [[[.,.],[.,.]],[[.,[.,.]],.]]=>([(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) [[[.,.],[.,.]],[[[.,.],.],.]]=>([(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) [[[.,[.,.]],.],[.,[.,[.,.]]]]=>([(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) [[[.,[.,.]],.],[.,[[.,.],.]]]=>([(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) [[[.,[.,.]],.],[[.,.],[.,.]]]=>([(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) [[[.,[.,.]],.],[[.,[.,.]],.]]=>([(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) [[[.,[.,.]],.],[[[.,.],.],.]]=>([(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) [[[[.,.],.],.],[.,[.,[.,.]]]]=>([(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) [[[[.,.],.],.],[.,[[.,.],.]]]=>([(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) [[[[.,.],.],.],[[.,.],[.,.]]]=>([(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) [[[[.,.],.],.],[[.,[.,.]],.]]=>([(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) [[[[.,.],.],.],[[[.,.],.],.]]=>([(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) [[.,[.,[.,[.,.]]]],[.,[.,.]]]=>([(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) [[.,[.,[.,[.,.]]]],[[.,.],.]]=>([(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) [[.,[.,[[.,.],.]]],[.,[.,.]]]=>([(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) [[.,[.,[[.,.],.]]],[[.,.],.]]=>([(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) [[.,[[.,.],[.,.]]],[.,[.,.]]]=>([(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) [[.,[[.,.],[.,.]]],[[.,.],.]]=>([(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) [[.,[[.,[.,.]],.]],[.,[.,.]]]=>([(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) [[.,[[.,[.,.]],.]],[[.,.],.]]=>([(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) [[.,[[[.,.],.],.]],[.,[.,.]]]=>([(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) [[.,[[[.,.],.],.]],[[.,.],.]]=>([(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) [[[.,.],[.,[.,.]]],[.,[.,.]]]=>([(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) [[[.,.],[.,[.,.]]],[[.,.],.]]=>([(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) [[[.,.],[[.,.],.]],[.,[.,.]]]=>([(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) [[[.,.],[[.,.],.]],[[.,.],.]]=>([(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) [[[.,[.,.]],[.,.]],[.,[.,.]]]=>([(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) [[[.,[.,.]],[.,.]],[[.,.],.]]=>([(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) [[[[.,.],.],[.,.]],[.,[.,.]]]=>([(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) [[[[.,.],.],[.,.]],[[.,.],.]]=>([(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) [[[.,[.,[.,.]]],.],[.,[.,.]]]=>([(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) [[[.,[.,[.,.]]],.],[[.,.],.]]=>([(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) [[[.,[[.,.],.]],.],[.,[.,.]]]=>([(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) [[[.,[[.,.],.]],.],[[.,.],.]]=>([(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) [[[[.,.],[.,.]],.],[.,[.,.]]]=>([(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) [[[[.,.],[.,.]],.],[[.,.],.]]=>([(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) [[[[.,[.,.]],.],.],[.,[.,.]]]=>([(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) [[[[.,[.,.]],.],.],[[.,.],.]]=>([(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) [[[[[.,.],.],.],.],[.,[.,.]]]=>([(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) [[[[[.,.],.],.],.],[[.,.],.]]=>([(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) [[.,[.,[.,[.,[.,.]]]]],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],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) [[.,[.,[[.,.],[.,.]]]],[.,.]]=>([(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) [[.,[.,[[.,[.,.]],.]]],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],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) [[.,[[.,.],[.,[.,.]]]],[.,.]]=>([(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) [[.,[[.,.],[[.,.],.]]],[.,.]]=>([(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) [[.,[[.,[.,.]],[.,.]]],[.,.]]=>([(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) [[.,[[[.,.],.],[.,.]]],[.,.]]=>([(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) [[.,[[.,[.,[.,.]]],.]],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],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) [[.,[[[.,.],[.,.]],.]],[.,.]]=>([(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) [[.,[[[.,[.,.]],.],.]],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],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) [[[.,.],[.,[.,[.,.]]]],[.,.]]=>([(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) [[[.,.],[.,[[.,.],.]]],[.,.]]=>([(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) [[[.,.],[[.,.],[.,.]]],[.,.]]=>([(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) [[[.,.],[[.,[.,.]],.]],[.,.]]=>([(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) [[[.,.],[[[.,.],.],.]],[.,.]]=>([(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) [[[.,[.,.]],[.,[.,.]]],[.,.]]=>([(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) [[[.,[.,.]],[[.,.],.]],[.,.]]=>([(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) [[[[.,.],.],[.,[.,.]]],[.,.]]=>([(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) [[[[.,.],.],[[.,.],.]],[.,.]]=>([(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) [[[.,[.,[.,.]]],[.,.]],[.,.]]=>([(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) [[[.,[[.,.],.]],[.,.]],[.,.]]=>([(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) [[[[.,.],[.,.]],[.,.]],[.,.]]=>([(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) [[[[.,[.,.]],.],[.,.]],[.,.]]=>([(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) [[[[[.,.],.],.],[.,.]],[.,.]]=>([(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) [[[.,[.,[.,[.,.]]]],.],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],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) [[[.,[[.,.],[.,.]]],.],[.,.]]=>([(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) [[[.,[[.,[.,.]],.]],.],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],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) [[[[.,.],[.,[.,.]]],.],[.,.]]=>([(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) [[[[.,.],[[.,.],.]],.],[.,.]]=>([(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) [[[[.,[.,.]],[.,.]],.],[.,.]]=>([(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) [[[[[.,.],.],[.,.]],.],[.,.]]=>([(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) [[[[.,[.,[.,.]]],.],.],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],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) [[[[[.,.],[.,.]],.],.],[.,.]]=>([(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) [[[[[.,[.,.]],.],.],.],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],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) [[.,[.,[.,[.,[.,[.,.]]]]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7) [[.,[.,[.,[.,[[.,.],.]]]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7) [[.,[.,[.,[[.,.],[.,.]]]]],.]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(5,6)],7) [[.,[.,[.,[[.,[.,.]],.]]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7) [[.,[.,[.,[[[.,.],.],.]]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7) [[.,[.,[[.,.],[.,[.,.]]]]],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7) [[.,[.,[[.,.],[[.,.],.]]]],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7) [[.,[.,[[.,[.,.]],[.,.]]]],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7) [[.,[.,[[[.,.],.],[.,.]]]],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7) [[.,[.,[[.,[.,[.,.]]],.]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7) [[.,[.,[[.,[[.,.],.]],.]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7) [[.,[.,[[[.,.],[.,.]],.]]],.]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(5,6)],7) [[.,[.,[[[.,[.,.]],.],.]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7) [[.,[.,[[[[.,.],.],.],.]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7) [[.,[[.,.],[.,[.,[.,.]]]]],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],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) [[.,[[.,.],[[.,.],[.,.]]]],.]=>([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],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) [[.,[[.,.],[[[.,.],.],.]]],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],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) [[.,[[.,[.,.]],[[.,.],.]]],.]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],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) [[.,[[[.,.],.],[[.,.],.]]],.]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],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) [[.,[[.,[[.,.],.]],[.,.]]],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],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) [[.,[[[.,[.,.]],.],[.,.]]],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],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) [[.,[[.,[.,[.,[.,.]]]],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7) [[.,[[.,[.,[[.,.],.]]],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7) [[.,[[.,[[.,.],[.,.]]],.]],.]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(5,6)],7) [[.,[[.,[[.,[.,.]],.]],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7) [[.,[[.,[[[.,.],.],.]],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7) [[.,[[[.,.],[.,[.,.]]],.]],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7) [[.,[[[.,.],[[.,.],.]],.]],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7) [[.,[[[.,[.,.]],[.,.]],.]],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7) [[.,[[[[.,.],.],[.,.]],.]],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7) [[.,[[[.,[.,[.,.]]],.],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7) [[.,[[[.,[[.,.],.]],.],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7) [[.,[[[[.,.],[.,.]],.],.]],.]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(5,6)],7) [[.,[[[[.,[.,.]],.],.],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7) [[.,[[[[[.,.],.],.],.],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7) [[[.,.],[.,[.,[.,[.,.]]]]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],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) [[[.,.],[.,[[.,.],[.,.]]]],.]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],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) [[[.,.],[.,[[[.,.],.],.]]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],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) [[[.,.],[[.,.],[[.,.],.]]],.]=>([(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) [[[.,.],[[.,[.,.]],[.,.]]],.]=>([(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) [[[.,.],[[[.,.],.],[.,.]]],.]=>([(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) [[[.,.],[[.,[.,[.,.]]],.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],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) [[[.,.],[[[.,.],[.,.]],.]],.]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],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) [[[.,.],[[[[.,.],.],.],.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],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) [[[.,[.,.]],[.,[[.,.],.]]],.]=>([(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) [[[.,[.,.]],[[.,.],[.,.]]],.]=>([(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) [[[.,[.,.]],[[.,[.,.]],.]],.]=>([(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) [[[.,[.,.]],[[[.,.],.],.]],.]=>([(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) [[[[.,.],.],[.,[.,[.,.]]]],.]=>([(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) [[[[.,.],.],[.,[[.,.],.]]],.]=>([(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) [[[[.,.],.],[[.,.],[.,.]]],.]=>([(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) [[[[.,.],.],[[.,[.,.]],.]],.]=>([(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) [[[[.,.],.],[[[.,.],.],.]],.]=>([(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) [[[.,[.,[.,.]]],[.,[.,.]]],.]=>([(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) [[[.,[.,[.,.]]],[[.,.],.]],.]=>([(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) [[[.,[[.,.],.]],[.,[.,.]]],.]=>([(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) [[[.,[[.,.],.]],[[.,.],.]],.]=>([(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) [[[[.,.],[.,.]],[.,[.,.]]],.]=>([(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) [[[[.,.],[.,.]],[[.,.],.]],.]=>([(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) [[[[.,[.,.]],.],[.,[.,.]]],.]=>([(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) [[[[.,[.,.]],.],[[.,.],.]],.]=>([(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) [[[[[.,.],.],.],[.,[.,.]]],.]=>([(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) [[[[[.,.],.],.],[[.,.],.]],.]=>([(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) [[[.,[.,[.,[.,.]]]],[.,.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],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) [[[.,[[.,.],[.,.]]],[.,.]],.]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],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) [[[.,[[[.,.],.],.]],[.,.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],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) [[[[.,.],[[.,.],.]],[.,.]],.]=>([(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) [[[[.,[.,.]],[.,.]],[.,.]],.]=>([(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) [[[[[.,.],.],[.,.]],[.,.]],.]=>([(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) [[[[.,[.,[.,.]]],.],[.,.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],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) [[[[[.,.],[.,.]],.],[.,.]],.]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],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) [[[[[[.,.],.],.],.],[.,.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7) [[[.,[.,[.,[.,[.,.]]]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7) [[[.,[.,[.,[[.,.],.]]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7) [[[.,[.,[[.,.],[.,.]]]],.],.]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(5,6)],7) [[[.,[.,[[.,[.,.]],.]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7) [[[.,[.,[[[.,.],.],.]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7) [[[.,[[.,.],[.,[.,.]]]],.],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7) [[[.,[[.,.],[[.,.],.]]],.],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7) [[[.,[[.,[.,.]],[.,.]]],.],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7) [[[.,[[[.,.],.],[.,.]]],.],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7) [[[.,[[.,[.,[.,.]]],.]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7) [[[.,[[.,[[.,.],.]],.]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7) [[[.,[[[.,.],[.,.]],.]],.],.]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(5,6)],7) [[[.,[[[.,[.,.]],.],.]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7) [[[.,[[[[.,.],.],.],.]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7) [[[[.,.],[.,[.,[.,.]]]],.],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],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) [[[[.,.],[[.,.],[.,.]]],.],.]=>([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],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) [[[[.,.],[[[.,.],.],.]],.],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],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) [[[[.,[.,.]],[[.,.],.]],.],.]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],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) [[[[[.,.],.],[[.,.],.]],.],.]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],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) [[[[.,[[.,.],.]],[.,.]],.],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],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) [[[[[.,[.,.]],.],[.,.]],.],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],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) [[[[.,[.,[.,[.,.]]]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7) [[[[.,[.,[[.,.],.]]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7) [[[[.,[[.,.],[.,.]]],.],.],.]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(5,6)],7) [[[[.,[[.,[.,.]],.]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7) [[[[.,[[[.,.],.],.]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7) [[[[[.,.],[.,[.,.]]],.],.],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7) [[[[[.,.],[[.,.],.]],.],.],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7) [[[[[.,[.,.]],[.,.]],.],.],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7) [[[[[[.,.],.],[.,.]],.],.],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7) [[[[[.,[.,[.,.]]],.],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7) [[[[[.,[[.,.],.]],.],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7) [[[[[[.,.],[.,.]],.],.],.],.]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(5,6)],7) [[[[[[.,[.,.]],.],.],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7) [[[[[[[.,.],.],.],.],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7) [.,[.,[.,[.,[.,[.,[.,[.,.]]]]]]]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[.,[.,[.,[.,[.,[[.,.],.]]]]]]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[.,[.,[.,[.,[[.,[.,.]],.]]]]]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[.,[.,[.,[.,[[[.,.],.],.]]]]]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[.,[.,[.,[[.,[.,[.,.]]],.]]]]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[.,[.,[.,[[.,[[.,.],.]],.]]]]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[.,[.,[.,[[[.,[.,.]],.],.]]]]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[.,[.,[.,[[[[.,.],.],.],.]]]]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[.,[.,[[.,[.,[.,[.,.]]]],.]]]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[.,[.,[[.,[.,[[.,.],.]]],.]]]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[.,[.,[[.,[[.,[.,.]],.]],.]]]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[.,[.,[[.,[[[.,.],.],.]],.]]]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[.,[.,[[[.,[.,[.,.]]],.],.]]]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[.,[.,[[[.,[[.,.],.]],.],.]]]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[.,[.,[[[[.,[.,.]],.],.],.]]]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[.,[.,[[[[[.,.],.],.],.],.]]]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[.,[[.,[.,[.,[.,[.,.]]]]],.]]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[.,[[.,[.,[.,[[.,.],.]]]],.]]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[.,[[.,[.,[[.,[.,.]],.]]],.]]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[.,[[.,[.,[[[.,.],.],.]]],.]]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[.,[[.,[[.,[.,[.,.]]],.]],.]]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[.,[[.,[[.,[[.,.],.]],.]],.]]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[.,[[.,[[[.,[.,.]],.],.]],.]]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[.,[[.,[[[[.,.],.],.],.]],.]]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[.,[[[.,[.,[.,[.,.]]]],.],.]]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[.,[[[.,[.,[[.,.],.]]],.],.]]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[.,[[[.,[[.,[.,.]],.]],.],.]]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[.,[[[.,[[[.,.],.],.]],.],.]]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[.,[[[[.,[.,[.,.]]],.],.],.]]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[.,[[[[.,[[.,.],.]],.],.],.]]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[.,[[[[[.,[.,.]],.],.],.],.]]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[.,[[[[[[.,.],.],.],.],.],.]]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[[.,[.,[.,[.,[.,[.,.]]]]]],.]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[[.,[.,[.,[.,[[.,.],.]]]]],.]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[[.,[.,[.,[[.,[.,.]],.]]]],.]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[[.,[.,[.,[[[.,.],.],.]]]],.]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[[.,[.,[[.,[.,[.,.]]],.]]],.]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[[.,[.,[[.,[[.,.],.]],.]]],.]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[[.,[.,[[[.,[.,.]],.],.]]],.]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[[.,[.,[[[[.,.],.],.],.]]],.]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[[.,[[.,[.,[.,[.,.]]]],.]],.]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[[.,[[.,[.,[[.,.],.]]],.]],.]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[[.,[[.,[[.,[.,.]],.]],.]],.]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[[.,[[.,[[[.,.],.],.]],.]],.]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[[.,[[[.,[.,[.,.]]],.],.]],.]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[[.,[[[.,[[.,.],.]],.],.]],.]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[[.,[[[[.,[.,.]],.],.],.]],.]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[[.,[[[[[.,.],.],.],.],.]],.]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[[[.,[.,[.,[.,[.,.]]]]],.],.]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[[[.,[.,[.,[[.,.],.]]]],.],.]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[[[.,[.,[[.,[.,.]],.]]],.],.]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[[[.,[.,[[[.,.],.],.]]],.],.]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[[[.,[[.,[.,[.,.]]],.]],.],.]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[[[.,[[.,[[.,.],.]],.]],.],.]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[[[.,[[[.,[.,.]],.],.]],.],.]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[[[.,[[[[.,.],.],.],.]],.],.]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[[[[.,[.,[.,[.,.]]]],.],.],.]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[[[[.,[.,[[.,.],.]]],.],.],.]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[[[[.,[[.,[.,.]],.]],.],.],.]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[[[[.,[[[.,.],.],.]],.],.],.]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[[[[[.,[.,[.,.]]],.],.],.],.]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[[[[[.,[[.,.],.]],.],.],.],.]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[[[[[[.,[.,.]],.],.],.],.],.]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[[[[[[[.,.],.],.],.],.],.],.]]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[.,[.,[.,[.,[.,[.,[.,.]]]]]]],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[.,[.,[.,[.,[.,[[.,.],.]]]]]],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[.,[.,[.,[.,[[.,[.,.]],.]]]]],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[.,[.,[.,[.,[[[.,.],.],.]]]]],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[.,[.,[.,[[.,[.,[.,.]]],.]]]],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[.,[.,[.,[[.,[[.,.],.]],.]]]],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[.,[.,[.,[[[.,[.,.]],.],.]]]],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[.,[.,[.,[[[[.,.],.],.],.]]]],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[.,[.,[[.,[.,[.,[.,.]]]],.]]],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[.,[.,[[.,[.,[[.,.],.]]],.]]],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[.,[.,[[.,[[.,[.,.]],.]],.]]],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[.,[.,[[.,[[[.,.],.],.]],.]]],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[.,[.,[[[.,[.,[.,.]]],.],.]]],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[.,[.,[[[.,[[.,.],.]],.],.]]],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[.,[.,[[[[.,[.,.]],.],.],.]]],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[.,[.,[[[[[.,.],.],.],.],.]]],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[.,[[.,[.,[.,[.,[.,.]]]]],.]],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[.,[[.,[.,[.,[[.,.],.]]]],.]],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[.,[[.,[.,[[.,[.,.]],.]]],.]],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[.,[[.,[.,[[[.,.],.],.]]],.]],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[.,[[.,[[.,[.,[.,.]]],.]],.]],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[.,[[.,[[.,[[.,.],.]],.]],.]],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[.,[[.,[[[.,[.,.]],.],.]],.]],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[.,[[.,[[[[.,.],.],.],.]],.]],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[.,[[[.,[.,[.,[.,.]]]],.],.]],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[.,[[[.,[.,[[.,.],.]]],.],.]],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[.,[[[.,[[.,[.,.]],.]],.],.]],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[.,[[[.,[[[.,.],.],.]],.],.]],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[.,[[[[.,[.,[.,.]]],.],.],.]],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[.,[[[[.,[[.,.],.]],.],.],.]],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[.,[[[[[.,[.,.]],.],.],.],.]],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[.,[[[[[[.,.],.],.],.],.],.]],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[[.,[.,[.,[.,[.,[.,.]]]]]],.],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[[.,[.,[.,[.,[[.,.],.]]]]],.],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[[.,[.,[.,[[.,[.,.]],.]]]],.],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[[.,[.,[.,[[[.,.],.],.]]]],.],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[[.,[.,[[.,[.,[.,.]]],.]]],.],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[[.,[.,[[.,[[.,.],.]],.]]],.],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[[.,[.,[[[.,[.,.]],.],.]]],.],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[[.,[.,[[[[.,.],.],.],.]]],.],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[[.,[[.,[.,[.,[.,.]]]],.]],.],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[[.,[[.,[.,[[.,.],.]]],.]],.],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[[.,[[.,[[.,[.,.]],.]],.]],.],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[[.,[[.,[[[.,.],.],.]],.]],.],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[[.,[[[.,[.,[.,.]]],.],.]],.],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[[.,[[[.,[[.,.],.]],.],.]],.],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[[.,[[[[.,[.,.]],.],.],.]],.],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[[.,[[[[[.,.],.],.],.],.]],.],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[[[.,[.,[.,[.,[.,.]]]]],.],.],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[[[.,[.,[.,[[.,.],.]]]],.],.],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[[[.,[.,[[.,[.,.]],.]]],.],.],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[[[.,[.,[[[.,.],.],.]]],.],.],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[[[.,[[.,[.,[.,.]]],.]],.],.],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[[[.,[[.,[[.,.],.]],.]],.],.],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[[[.,[[[.,[.,.]],.],.]],.],.],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[[[.,[[[[.,.],.],.],.]],.],.],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[[[[.,[.,[.,[.,.]]]],.],.],.],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[[[[.,[.,[[.,.],.]]],.],.],.],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[[[[.,[[.,[.,.]],.]],.],.],.],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[[[[.,[[[.,.],.],.]],.],.],.],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[[[[[.,[.,[.,.]]],.],.],.],.],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[[[[[.,[[.,.],.]],.],.],.],.],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[[[[[[.,[.,.]],.],.],.],.],.],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [[[[[[[[.,.],.],.],.],.],.],.],.]=>([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8)=>([],8) [.,[.,[.,[.,[.,[.,[.,[.,[.,.]]]]]]]]]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [.,[.,[.,[.,[.,[.,[.,[[.,.],.]]]]]]]]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [.,[.,[.,[.,[.,[.,[[[.,.],.],.]]]]]]]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [.,[.,[.,[.,[.,[[[[.,.],.],.],.]]]]]]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [.,[.,[.,[.,[[[[[.,.],.],.],.],.]]]]]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [.,[.,[.,[[[[[[.,.],.],.],.],.],.]]]]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [.,[.,[[[[[[[.,.],.],.],.],.],.],.]]]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [.,[[[[[[[[.,.],.],.],.],.],.],.],.]]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [[[[[[[[[.,.],.],.],.],.],.],.],.],.]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [.,[.,[.,[.,[.,[.,[.,[.,[.,[.,.]]]]]]]]]]=>([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10)=>([],10) [.,[.,[.,[.,[.,[.,[.,[.,[[.,.],.]]]]]]]]]=>([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10)=>([],10) [.,[.,[.,[.,[.,[.,[.,[[[.,.],.],.]]]]]]]]=>([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10)=>([],10) [.,[.,[.,[.,[.,[.,[[[[.,.],.],.],.]]]]]]]=>([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10)=>([],10) [.,[.,[.,[.,[.,[[[[[.,.],.],.],.],.]]]]]]=>([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10)=>([],10) [.,[.,[.,[.,[[[[[[.,.],.],.],.],.],.]]]]]=>([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10)=>([],10) [.,[.,[.,[[[[[[[.,.],.],.],.],.],.],.]]]]=>([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10)=>([],10) [.,[.,[[[[[[[[.,.],.],.],.],.],.],.],.]]]=>([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10)=>([],10) [.,[[[[[[[[[.,.],.],.],.],.],.],.],.],.]]=>([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10)=>([],10) [[[[[[[[[[.,.],.],.],.],.],.],.],.],.],.]=>([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10)=>([],10) [.,[.,[.,[.,[.,[.,[[.,[.,.]],.]]]]]]]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [.,[.,[.,[.,[.,[[.,[.,[.,.]]],.]]]]]]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [.,[.,[.,[.,[[.,[.,[.,[.,.]]]],.]]]]]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [.,[.,[.,[[.,[.,[.,[.,[.,.]]]]],.]]]]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [.,[.,[[.,[.,[.,[.,[.,[.,.]]]]]],.]]]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [.,[[.,[.,[.,[.,[.,[.,[.,.]]]]]]],.]]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [[.,[.,[.,[.,[.,[.,[.,[.,.]]]]]]]],.]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [.,[.,[.,[.,[.,[.,[.,[[.,[.,.]],.]]]]]]]]=>([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10)=>([],10) [.,[.,[.,[.,[.,[.,[[.,[.,[.,.]]],.]]]]]]]=>([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10)=>([],10) [.,[.,[.,[.,[.,[[.,[.,[.,[.,.]]]],.]]]]]]=>([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10)=>([],10) [.,[.,[.,[.,[[.,[.,[.,[.,[.,.]]]]],.]]]]]=>([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10)=>([],10) [.,[.,[.,[[.,[.,[.,[.,[.,[.,.]]]]]],.]]]]=>([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10)=>([],10) [.,[.,[[.,[.,[.,[.,[.,[.,[.,.]]]]]]],.]]]=>([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10)=>([],10) [.,[[.,[.,[.,[.,[.,[.,[.,[.,.]]]]]]]],.]]=>([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10)=>([],10) [[.,[.,[.,[.,[.,[.,[.,[.,[.,.]]]]]]]]],.]=>([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10)=>([],10) [[.,[[.,[[.,[[.,[[.,.],.]],.]],.]],.]],.]=>([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10)=>([],10) [.,[[[[[[[.,[.,.]],.],.],.],.],.],.]]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [.,[[[[[[.,[[.,.],.]],.],.],.],.],.]]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [.,[[[[[[[[.,[.,.]],.],.],.],.],.],.],.]]=>([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10)=>([],10) [[.,[.,[.,[.,[.,[.,[[.,.],.]]]]]]],.]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [[.,[.,[.,[.,[.,[.,[.,[[.,.],.]]]]]]]],.]=>([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10)=>([],10) [[.,[.,[.,[.,[.,[[.,[.,.]],.]]]]]],.]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [.,[[.,[[.,[[.,[[.,[.,.]],.]],.]],.]],.]]=>([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10)=>([],10) [[[.,[.,[.,[.,[.,[.,[.,.]]]]]]],.],.]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [[[[.,[.,[.,[.,[.,[.,.]]]]]],.],.],.]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [[[[[.,[.,[.,[.,[.,.]]]]],.],.],.],.]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [[[[[[.,[.,[.,[.,.]]]],.],.],.],.],.]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [[[[[[[.,[.,[.,.]]],.],.],.],.],.],.]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [[[[[[[[.,[.,.]],.],.],.],.],.],.],.]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [[[.,[.,[.,[.,[.,[.,[.,[.,.]]]]]]]],.],.]=>([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10)=>([],10) [[[[.,[.,[.,[.,[.,[.,[.,.]]]]]]],.],.],.]=>([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10)=>([],10) [[[[[.,[.,[.,[.,[.,[.,.]]]]]],.],.],.],.]=>([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10)=>([],10) [[[[[[.,[.,[.,[.,[.,.]]]]],.],.],.],.],.]=>([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10)=>([],10) [[[[[[[.,[.,[.,[.,.]]]],.],.],.],.],.],.]=>([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10)=>([],10) [[[[[[[[.,[.,[.,.]]],.],.],.],.],.],.],.]=>([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10)=>([],10) [[[[[[[[[.,[.,.]],.],.],.],.],.],.],.],.]=>([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10)=>([],10) [.,[.,[.,[.,[.,[[.,[[.,.],.]],.]]]]]]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [.,[.,[.,[.,[[.,[[[.,.],.],.]],.]]]]]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [.,[.,[.,[[.,[[[[.,.],.],.],.]],.]]]]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [.,[.,[[.,[[[[[.,.],.],.],.],.]],.]]]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [.,[[.,[[[[[[.,.],.],.],.],.],.]],.]]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [[.,[[[[[[[.,.],.],.],.],.],.],.]],.]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [[[[[[[.,[[.,.],.]],.],.],.],.],.],.]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [[[[[.,[[[[.,.],.],.],.]],.],.],.],.]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [[[.,[[[[[[.,.],.],.],.],.],.]],.],.]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [[[[[[[[.,[[.,.],.]],.],.],.],.],.],.],.]=>([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10)=>([],10) [[.,[[[[[[[[.,.],.],.],.],.],.],.],.]],.]=>([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10)=>([],10) [.,[[[[[[.,[.,[.,.]]],.],.],.],.],.]]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [.,[[[[[.,[.,[.,[.,.]]]],.],.],.],.]]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [.,[[[[.,[.,[.,[.,[.,.]]]]],.],.],.]]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [.,[[[.,[.,[.,[.,[.,[.,.]]]]]],.],.]]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [.,[[[[[[[.,[.,[.,.]]],.],.],.],.],.],.]]=>([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10)=>([],10) [.,[[[[[[.,[.,[.,[.,.]]]],.],.],.],.],.]]=>([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10)=>([],10) [.,[[[[[.,[.,[.,[.,[.,.]]]]],.],.],.],.]]=>([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10)=>([],10) [.,[[[[.,[.,[.,[.,[.,[.,.]]]]]],.],.],.]]=>([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10)=>([],10) [.,[[[.,[.,[.,[.,[.,[.,[.,.]]]]]]],.],.]]=>([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10)=>([],10) [.,[.,[[[[.,[[[.,.],.],.]],.],.],.]]]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [.,[[[[[.,[[[[.,.],.],.],.]],.],.],.],.]]=>([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10)=>([],10) [[[[.,.],[.,.]],[.,.]],[[.,.],[.,.]]]=>([(0,7),(1,5),(2,5),(3,6),(4,6),(5,8),(6,7),(7,8)],9)=>([(1,5),(1,7),(1,8),(2,5),(2,6),(2,7),(2,8),(3,4),(3,5),(3,6),(3,7),(3,8),(4,5),(4,6),(4,7),(4,8),(5,6),(6,7),(6,8),(7,8)],9) [.,[.,[[.,[.,[[[[.,.],.],.],.]]],.]]]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [.,[[.,[.,[.,[.,[[[.,.],.],.]]]]],.]]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [[.,[.,[.,[.,[.,[[[.,.],.],.]]]]]],.]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [[.,[.,[.,[.,[[[.,[.,.]],.],.]]]]],.]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [[.,[.,[.,[[[.,[.,[.,.]]],.],.]]]],.]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [[.,[.,[[[.,[.,[.,[.,.]]]],.],.]]],.]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [[.,[[[.,[.,[.,[.,[.,.]]]]],.],.]],.]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [[.,[.,[.,[.,[.,[.,[[[.,.],.],.]]]]]]],.]=>([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10)=>([],10) [[.,[.,[.,[.,[.,[[[.,[.,.]],.],.]]]]]],.]=>([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10)=>([],10) [[.,[.,[.,[.,[[[.,[.,[.,.]]],.],.]]]]],.]=>([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10)=>([],10) [[.,[.,[.,[[[.,[.,[.,[.,.]]]],.],.]]]],.]=>([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10)=>([],10) [[.,[.,[[[.,[.,[.,[.,[.,.]]]]],.],.]]],.]=>([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10)=>([],10) [[.,[[[.,[.,[.,[.,[.,[.,.]]]]]],.],.]],.]=>([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10)=>([],10) [[[[[[.,[[.,[.,.]],.]],.],.],.],.],.]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [.,[[.,[.,[.,[.,[.,[[.,.],.]]]]]],.]]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [.,[[.,[.,[.,[.,[.,[.,[[.,.],.]]]]]]],.]]=>([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10)=>([],10) [.,[[.,[.,[.,[.,[[.,[.,.]],.]]]]],.]]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [[[[[[.,[.,[[.,.],.]]],.],.],.],.],.]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [[[[[[[.,[.,[[.,.],.]]],.],.],.],.],.],.]=>([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10)=>([],10) [[[[[.,[[.,[[.,.],.]],.]],.],.],.],.]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [.,[.,[.,[[[[[.,[.,.]],.],.],.],.]]]]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [.,[.,[.,[.,[[[[.,[.,.]],.],.],.]]]]]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [.,[.,[.,[.,[[[[[.,[.,.]],.],.],.],.]]]]]=>([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10)=>([],10) [.,[.,[[.,[[[[.,[.,.]],.],.],.]],.]]]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [.,[.,[.,[[[[[[.,[.,.]],.],.],.],.],.]]]]=>([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10)=>([],10) [[.,[[.,[.,[.,[.,[.,[.,.]]]]]],.]],.]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [[[.,[[.,[.,[.,[.,[.,.]]]]],.]],.],.]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [[[[.,[[.,[.,[.,[.,.]]]],.]],.],.],.]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [[[[[.,[[.,[.,[.,.]]],.]],.],.],.],.]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [[.,[.,[.,[.,[[.,[.,[.,.]]],.]]]]],.]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [[.,[.,[.,[.,[[.,[[.,.],.]],.]]]]],.]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [.,[.,[[[.,[.,[.,[.,[.,.]]]]],.],.]]]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [.,[.,[.,[.,[.,[[[.,[.,[.,.]]],.],.]]]]]]=>([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10)=>([],10) [.,[.,[.,[.,[.,[[[[.,[.,.]],.],.],.]]]]]]=>([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10)=>([],10) [[[[[.,[.,[.,[[.,.],.]]]],.],.],.],.]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [.,[[.,[[.,[.,[.,[.,[.,.]]]]],.]],.]]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [[.,[[[[[[.,[.,.]],.],.],.],.],.]],.]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [[.,[[.,[.,[.,[.,[.,[.,[.,.]]]]]]],.]],.]=>([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10)=>([],10) [.,[[.,[[[[[[[.,.],.],.],.],.],.],.]],.]]=>([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10)=>([],10) [[[[.,[.,[[[[.,.],.],.],.]]],.],.],.]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [[[.,[.,[.,[.,[[[.,.],.],.]]]]],.],.]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [[[[.,[.,[.,[.,[[.,.],.]]]]],.],.],.]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [[[[[.,[.,[.,[.,[[.,.],.]]]]],.],.],.],.]=>([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10)=>([],10) [[[[.,[.,[.,[.,[.,[[.,.],.]]]]]],.],.],.]=>([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10)=>([],10) [[[.,[[.,[.,[.,[[.,.],.]]]],.]],.],.]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [[.,[.,[[[[[[.,.],.],.],.],.],.]]],.]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [[[.,[.,[[[[[.,.],.],.],.],.]]],.],.]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [[[.,[.,[.,[.,[.,[[.,.],.]]]]]],.],.]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [[[[[.,[.,[[[.,.],.],.]]],.],.],.],.]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [.,[.,[.,[.,[.,[[[.,[.,.]],.],.]]]]]]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [.,[.,[.,[.,[[.,[[.,[.,.]],.]],.]]]]]=>([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9)=>([],9) [.,[.,[.,[.,[.,[.,[[[.,[.,.]],.],.]]]]]]]=>([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10)=>([],10)
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.