Identifier
Mp00013: Binary trees to posetPosets
Mp00198: Posets incomparability graphGraphs
Mp00157: Graphs connected complement Graphs
Images
=>
Cc0010;cc-rep-0Cc0014;cc-rep-1Cc0020;cc-rep-2Cc0020;cc-rep-3
[.,.]=>([],1)=>([],1)=>([],1) [.,[.,.]]=>([(0,1)],2)=>([],2)=>([],2) [[.,.],.]=>([(0,1)],2)=>([],2)=>([],2) [.,[.,[.,.]]]=>([(0,2),(2,1)],3)=>([],3)=>([],3) [.,[[.,.],.]]=>([(0,2),(2,1)],3)=>([],3)=>([],3) [[.,.],[.,.]]=>([(0,2),(1,2)],3)=>([(1,2)],3)=>([(1,2)],3) [[.,[.,.]],.]=>([(0,2),(2,1)],3)=>([],3)=>([],3) [[[.,.],.],.]=>([(0,2),(2,1)],3)=>([],3)=>([],3) [.,[.,[.,[.,.]]]]=>([(0,3),(2,1),(3,2)],4)=>([],4)=>([],4) [.,[.,[[.,.],.]]]=>([(0,3),(2,1),(3,2)],4)=>([],4)=>([],4) [.,[[.,.],[.,.]]]=>([(0,3),(1,3),(3,2)],4)=>([(2,3)],4)=>([(2,3)],4) [.,[[.,[.,.]],.]]=>([(0,3),(2,1),(3,2)],4)=>([],4)=>([],4) [.,[[[.,.],.],.]]=>([(0,3),(2,1),(3,2)],4)=>([],4)=>([],4) [[.,.],[.,[.,.]]]=>([(0,3),(1,2),(2,3)],4)=>([(1,3),(2,3)],4)=>([(1,3),(2,3)],4) [[.,.],[[.,.],.]]=>([(0,3),(1,2),(2,3)],4)=>([(1,3),(2,3)],4)=>([(1,3),(2,3)],4) [[.,[.,.]],[.,.]]=>([(0,3),(1,2),(2,3)],4)=>([(1,3),(2,3)],4)=>([(1,3),(2,3)],4) [[[.,.],.],[.,.]]=>([(0,3),(1,2),(2,3)],4)=>([(1,3),(2,3)],4)=>([(1,3),(2,3)],4) [[.,[.,[.,.]]],.]=>([(0,3),(2,1),(3,2)],4)=>([],4)=>([],4) [[.,[[.,.],.]],.]=>([(0,3),(2,1),(3,2)],4)=>([],4)=>([],4) [[[.,.],[.,.]],.]=>([(0,3),(1,3),(3,2)],4)=>([(2,3)],4)=>([(2,3)],4) [[[.,[.,.]],.],.]=>([(0,3),(2,1),(3,2)],4)=>([],4)=>([],4) [[[[.,.],.],.],.]=>([(0,3),(2,1),(3,2)],4)=>([],4)=>([],4) [.,[.,[.,[.,[.,.]]]]]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([],5)=>([],5) [.,[.,[.,[[.,.],.]]]]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([],5)=>([],5) [.,[.,[[.,.],[.,.]]]]=>([(0,4),(1,4),(2,3),(4,2)],5)=>([(3,4)],5)=>([(3,4)],5) [.,[.,[[.,[.,.]],.]]]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([],5)=>([],5) [.,[.,[[[.,.],.],.]]]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([],5)=>([],5) [.,[[.,.],[.,[.,.]]]]=>([(0,4),(1,2),(2,4),(4,3)],5)=>([(2,4),(3,4)],5)=>([(2,4),(3,4)],5) [.,[[.,.],[[.,.],.]]]=>([(0,4),(1,2),(2,4),(4,3)],5)=>([(2,4),(3,4)],5)=>([(2,4),(3,4)],5) [.,[[.,[.,.]],[.,.]]]=>([(0,4),(1,2),(2,4),(4,3)],5)=>([(2,4),(3,4)],5)=>([(2,4),(3,4)],5) [.,[[[.,.],.],[.,.]]]=>([(0,4),(1,2),(2,4),(4,3)],5)=>([(2,4),(3,4)],5)=>([(2,4),(3,4)],5) [.,[[.,[.,[.,.]]],.]]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([],5)=>([],5) [.,[[.,[[.,.],.]],.]]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([],5)=>([],5) [.,[[[.,.],[.,.]],.]]=>([(0,4),(1,4),(2,3),(4,2)],5)=>([(3,4)],5)=>([(3,4)],5) [.,[[[.,[.,.]],.],.]]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([],5)=>([],5) [.,[[[[.,.],.],.],.]]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([],5)=>([],5) [[.,.],[.,[.,[.,.]]]]=>([(0,4),(1,2),(2,3),(3,4)],5)=>([(1,4),(2,4),(3,4)],5)=>([(1,4),(2,4),(3,4)],5) [[.,.],[.,[[.,.],.]]]=>([(0,4),(1,2),(2,3),(3,4)],5)=>([(1,4),(2,4),(3,4)],5)=>([(1,4),(2,4),(3,4)],5) [[.,.],[[.,.],[.,.]]]=>([(0,4),(1,3),(2,3),(3,4)],5)=>([(1,4),(2,3),(2,4),(3,4)],5)=>([(1,4),(2,3),(2,4),(3,4)],5) [[.,.],[[.,[.,.]],.]]=>([(0,4),(1,2),(2,3),(3,4)],5)=>([(1,4),(2,4),(3,4)],5)=>([(1,4),(2,4),(3,4)],5) [[.,.],[[[.,.],.],.]]=>([(0,4),(1,2),(2,3),(3,4)],5)=>([(1,4),(2,4),(3,4)],5)=>([(1,4),(2,4),(3,4)],5) [[.,[.,.]],[.,[.,.]]]=>([(0,3),(1,2),(2,4),(3,4)],5)=>([(1,3),(1,4),(2,3),(2,4)],5)=>([(1,3),(1,4),(2,3),(2,4)],5) [[.,[.,.]],[[.,.],.]]=>([(0,3),(1,2),(2,4),(3,4)],5)=>([(1,3),(1,4),(2,3),(2,4)],5)=>([(1,3),(1,4),(2,3),(2,4)],5) [[[.,.],.],[.,[.,.]]]=>([(0,3),(1,2),(2,4),(3,4)],5)=>([(1,3),(1,4),(2,3),(2,4)],5)=>([(1,3),(1,4),(2,3),(2,4)],5) [[[.,.],.],[[.,.],.]]=>([(0,3),(1,2),(2,4),(3,4)],5)=>([(1,3),(1,4),(2,3),(2,4)],5)=>([(1,3),(1,4),(2,3),(2,4)],5) [[.,[.,[.,.]]],[.,.]]=>([(0,4),(1,2),(2,3),(3,4)],5)=>([(1,4),(2,4),(3,4)],5)=>([(1,4),(2,4),(3,4)],5) [[.,[[.,.],.]],[.,.]]=>([(0,4),(1,2),(2,3),(3,4)],5)=>([(1,4),(2,4),(3,4)],5)=>([(1,4),(2,4),(3,4)],5) [[[.,.],[.,.]],[.,.]]=>([(0,4),(1,3),(2,3),(3,4)],5)=>([(1,4),(2,3),(2,4),(3,4)],5)=>([(1,4),(2,3),(2,4),(3,4)],5) [[[.,[.,.]],.],[.,.]]=>([(0,4),(1,2),(2,3),(3,4)],5)=>([(1,4),(2,4),(3,4)],5)=>([(1,4),(2,4),(3,4)],5) [[[[.,.],.],.],[.,.]]=>([(0,4),(1,2),(2,3),(3,4)],5)=>([(1,4),(2,4),(3,4)],5)=>([(1,4),(2,4),(3,4)],5) [[.,[.,[.,[.,.]]]],.]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([],5)=>([],5) [[.,[.,[[.,.],.]]],.]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([],5)=>([],5) [[.,[[.,.],[.,.]]],.]=>([(0,4),(1,4),(2,3),(4,2)],5)=>([(3,4)],5)=>([(3,4)],5) [[.,[[.,[.,.]],.]],.]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([],5)=>([],5) [[.,[[[.,.],.],.]],.]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([],5)=>([],5) [[[.,.],[.,[.,.]]],.]=>([(0,4),(1,2),(2,4),(4,3)],5)=>([(2,4),(3,4)],5)=>([(2,4),(3,4)],5) [[[.,.],[[.,.],.]],.]=>([(0,4),(1,2),(2,4),(4,3)],5)=>([(2,4),(3,4)],5)=>([(2,4),(3,4)],5) [[[.,[.,.]],[.,.]],.]=>([(0,4),(1,2),(2,4),(4,3)],5)=>([(2,4),(3,4)],5)=>([(2,4),(3,4)],5) [[[[.,.],.],[.,.]],.]=>([(0,4),(1,2),(2,4),(4,3)],5)=>([(2,4),(3,4)],5)=>([(2,4),(3,4)],5) [[[.,[.,[.,.]]],.],.]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([],5)=>([],5) [[[.,[[.,.],.]],.],.]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([],5)=>([],5) [[[[.,.],[.,.]],.],.]=>([(0,4),(1,4),(2,3),(4,2)],5)=>([(3,4)],5)=>([(3,4)],5) [[[[.,[.,.]],.],.],.]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([],5)=>([],5) [[[[[.,.],.],.],.],.]=>([(0,4),(2,3),(3,1),(4,2)],5)=>([],5)=>([],5) [.,[.,[.,[.,[.,[.,.]]]]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6) [.,[.,[.,[.,[[.,.],.]]]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6) [.,[.,[.,[[.,.],[.,.]]]]]=>([(0,5),(1,5),(3,2),(4,3),(5,4)],6)=>([(4,5)],6)=>([(4,5)],6) [.,[.,[.,[[.,[.,.]],.]]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6) [.,[.,[.,[[[.,.],.],.]]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6) [.,[.,[[.,.],[.,[.,.]]]]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(3,5),(4,5)],6)=>([(3,5),(4,5)],6) [.,[.,[[.,.],[[.,.],.]]]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(3,5),(4,5)],6)=>([(3,5),(4,5)],6) [.,[.,[[.,[.,.]],[.,.]]]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(3,5),(4,5)],6)=>([(3,5),(4,5)],6) [.,[.,[[[.,.],.],[.,.]]]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(3,5),(4,5)],6)=>([(3,5),(4,5)],6) [.,[.,[[.,[.,[.,.]]],.]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6) [.,[.,[[.,[[.,.],.]],.]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6) [.,[.,[[[.,.],[.,.]],.]]]=>([(0,5),(1,5),(3,2),(4,3),(5,4)],6)=>([(4,5)],6)=>([(4,5)],6) [.,[.,[[[.,[.,.]],.],.]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6) [.,[.,[[[[.,.],.],.],.]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6) [.,[[.,.],[.,[.,[.,.]]]]]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(2,5),(3,5),(4,5)],6)=>([(2,5),(3,5),(4,5)],6) [.,[[.,.],[.,[[.,.],.]]]]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(2,5),(3,5),(4,5)],6)=>([(2,5),(3,5),(4,5)],6) [.,[[.,.],[[.,.],[.,.]]]]=>([(0,5),(1,4),(2,4),(4,5),(5,3)],6)=>([(2,5),(3,4),(3,5),(4,5)],6)=>([(2,5),(3,4),(3,5),(4,5)],6) [.,[[.,.],[[.,[.,.]],.]]]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(2,5),(3,5),(4,5)],6)=>([(2,5),(3,5),(4,5)],6) [.,[[.,.],[[[.,.],.],.]]]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(2,5),(3,5),(4,5)],6)=>([(2,5),(3,5),(4,5)],6) [.,[[.,[.,.]],[.,[.,.]]]]=>([(0,4),(1,3),(3,5),(4,5),(5,2)],6)=>([(2,4),(2,5),(3,4),(3,5)],6)=>([(2,4),(2,5),(3,4),(3,5)],6) [.,[[.,[.,.]],[[.,.],.]]]=>([(0,4),(1,3),(3,5),(4,5),(5,2)],6)=>([(2,4),(2,5),(3,4),(3,5)],6)=>([(2,4),(2,5),(3,4),(3,5)],6) [.,[[[.,.],.],[.,[.,.]]]]=>([(0,4),(1,3),(3,5),(4,5),(5,2)],6)=>([(2,4),(2,5),(3,4),(3,5)],6)=>([(2,4),(2,5),(3,4),(3,5)],6) [.,[[[.,.],.],[[.,.],.]]]=>([(0,4),(1,3),(3,5),(4,5),(5,2)],6)=>([(2,4),(2,5),(3,4),(3,5)],6)=>([(2,4),(2,5),(3,4),(3,5)],6) [.,[[.,[.,[.,.]]],[.,.]]]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(2,5),(3,5),(4,5)],6)=>([(2,5),(3,5),(4,5)],6) [.,[[.,[[.,.],.]],[.,.]]]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(2,5),(3,5),(4,5)],6)=>([(2,5),(3,5),(4,5)],6) [.,[[[.,.],[.,.]],[.,.]]]=>([(0,5),(1,4),(2,4),(4,5),(5,3)],6)=>([(2,5),(3,4),(3,5),(4,5)],6)=>([(2,5),(3,4),(3,5),(4,5)],6) [.,[[[.,[.,.]],.],[.,.]]]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(2,5),(3,5),(4,5)],6)=>([(2,5),(3,5),(4,5)],6) [.,[[[[.,.],.],.],[.,.]]]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(2,5),(3,5),(4,5)],6)=>([(2,5),(3,5),(4,5)],6) [.,[[.,[.,[.,[.,.]]]],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6) [.,[[.,[.,[[.,.],.]]],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6) [.,[[.,[[.,.],[.,.]]],.]]=>([(0,5),(1,5),(3,2),(4,3),(5,4)],6)=>([(4,5)],6)=>([(4,5)],6) [.,[[.,[[.,[.,.]],.]],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6) [.,[[.,[[[.,.],.],.]],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6) [.,[[[.,.],[.,[.,.]]],.]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(3,5),(4,5)],6)=>([(3,5),(4,5)],6) [.,[[[.,.],[[.,.],.]],.]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(3,5),(4,5)],6)=>([(3,5),(4,5)],6) [.,[[[.,[.,.]],[.,.]],.]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(3,5),(4,5)],6)=>([(3,5),(4,5)],6) [.,[[[[.,.],.],[.,.]],.]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(3,5),(4,5)],6)=>([(3,5),(4,5)],6) [.,[[[.,[.,[.,.]]],.],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6) [.,[[[.,[[.,.],.]],.],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6) [.,[[[[.,.],[.,.]],.],.]]=>([(0,5),(1,5),(3,2),(4,3),(5,4)],6)=>([(4,5)],6)=>([(4,5)],6) [.,[[[[.,[.,.]],.],.],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6) [.,[[[[[.,.],.],.],.],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6) [[.,.],[.,[.,[.,[.,.]]]]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(1,5),(2,5),(3,5),(4,5)],6)=>([(1,5),(2,5),(3,5),(4,5)],6) [[.,.],[.,[.,[[.,.],.]]]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(1,5),(2,5),(3,5),(4,5)],6)=>([(1,5),(2,5),(3,5),(4,5)],6) [[.,.],[.,[[.,.],[.,.]]]]=>([(0,5),(1,4),(2,4),(3,5),(4,3)],6)=>([(1,5),(2,5),(3,4),(3,5),(4,5)],6)=>([(1,5),(2,5),(3,4),(3,5),(4,5)],6) [[.,.],[.,[[.,[.,.]],.]]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(1,5),(2,5),(3,5),(4,5)],6)=>([(1,5),(2,5),(3,5),(4,5)],6) [[.,.],[.,[[[.,.],.],.]]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(1,5),(2,5),(3,5),(4,5)],6)=>([(1,5),(2,5),(3,5),(4,5)],6) [[.,.],[[.,.],[.,[.,.]]]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],6)=>([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,.],[[.,.],[[.,.],.]]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],6)=>([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,.],[[.,[.,.]],[.,.]]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],6)=>([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,.],[[[.,.],.],[.,.]]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],6)=>([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,.],[[.,[.,[.,.]]],.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(1,5),(2,5),(3,5),(4,5)],6)=>([(1,5),(2,5),(3,5),(4,5)],6) [[.,.],[[.,[[.,.],.]],.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(1,5),(2,5),(3,5),(4,5)],6)=>([(1,5),(2,5),(3,5),(4,5)],6) [[.,.],[[[.,.],[.,.]],.]]=>([(0,5),(1,4),(2,4),(3,5),(4,3)],6)=>([(1,5),(2,5),(3,4),(3,5),(4,5)],6)=>([(1,5),(2,5),(3,4),(3,5),(4,5)],6) [[.,.],[[[.,[.,.]],.],.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(1,5),(2,5),(3,5),(4,5)],6)=>([(1,5),(2,5),(3,5),(4,5)],6) [[.,.],[[[[.,.],.],.],.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(1,5),(2,5),(3,5),(4,5)],6)=>([(1,5),(2,5),(3,5),(4,5)],6) [[.,[.,.]],[.,[.,[.,.]]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[.,[.,.]],[.,[[.,.],.]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[.,[.,.]],[[.,.],[.,.]]]=>([(0,4),(1,4),(2,3),(3,5),(4,5)],6)=>([(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6)=>([(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6) [[.,[.,.]],[[.,[.,.]],.]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[.,[.,.]],[[[.,.],.],.]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[[.,.],.],[.,[.,[.,.]]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[[.,.],.],[.,[[.,.],.]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[[.,.],.],[[.,.],[.,.]]]=>([(0,4),(1,4),(2,3),(3,5),(4,5)],6)=>([(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6)=>([(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6) [[[.,.],.],[[.,[.,.]],.]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[[.,.],.],[[[.,.],.],.]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[.,[.,[.,.]]],[.,[.,.]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[.,[.,[.,.]]],[[.,.],.]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[.,[[.,.],.]],[.,[.,.]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[.,[[.,.],.]],[[.,.],.]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[[.,.],[.,.]],[.,[.,.]]]=>([(0,4),(1,4),(2,3),(3,5),(4,5)],6)=>([(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6)=>([(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6) [[[.,.],[.,.]],[[.,.],.]]=>([(0,4),(1,4),(2,3),(3,5),(4,5)],6)=>([(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6)=>([(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6) [[[.,[.,.]],.],[.,[.,.]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[[.,[.,.]],.],[[.,.],.]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[[[.,.],.],.],[.,[.,.]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[[[.,.],.],.],[[.,.],.]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)=>([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[.,[.,[.,[.,.]]]],[.,.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(1,5),(2,5),(3,5),(4,5)],6)=>([(1,5),(2,5),(3,5),(4,5)],6) [[.,[.,[[.,.],.]]],[.,.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(1,5),(2,5),(3,5),(4,5)],6)=>([(1,5),(2,5),(3,5),(4,5)],6) [[.,[[.,.],[.,.]]],[.,.]]=>([(0,5),(1,4),(2,4),(3,5),(4,3)],6)=>([(1,5),(2,5),(3,4),(3,5),(4,5)],6)=>([(1,5),(2,5),(3,4),(3,5),(4,5)],6) [[.,[[.,[.,.]],.]],[.,.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(1,5),(2,5),(3,5),(4,5)],6)=>([(1,5),(2,5),(3,5),(4,5)],6) [[.,[[[.,.],.],.]],[.,.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(1,5),(2,5),(3,5),(4,5)],6)=>([(1,5),(2,5),(3,5),(4,5)],6) [[[.,.],[.,[.,.]]],[.,.]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],6)=>([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[.,.],[[.,.],.]],[.,.]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],6)=>([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[.,[.,.]],[.,.]],[.,.]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],6)=>([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[[.,.],.],[.,.]],[.,.]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],6)=>([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[.,[.,[.,.]]],.],[.,.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(1,5),(2,5),(3,5),(4,5)],6)=>([(1,5),(2,5),(3,5),(4,5)],6) [[[.,[[.,.],.]],.],[.,.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(1,5),(2,5),(3,5),(4,5)],6)=>([(1,5),(2,5),(3,5),(4,5)],6) [[[[.,.],[.,.]],.],[.,.]]=>([(0,5),(1,4),(2,4),(3,5),(4,3)],6)=>([(1,5),(2,5),(3,4),(3,5),(4,5)],6)=>([(1,5),(2,5),(3,4),(3,5),(4,5)],6) [[[[.,[.,.]],.],.],[.,.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(1,5),(2,5),(3,5),(4,5)],6)=>([(1,5),(2,5),(3,5),(4,5)],6) [[[[[.,.],.],.],.],[.,.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>([(1,5),(2,5),(3,5),(4,5)],6)=>([(1,5),(2,5),(3,5),(4,5)],6) [[.,[.,[.,[.,[.,.]]]]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6) [[.,[.,[.,[[.,.],.]]]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6) [[.,[.,[[.,.],[.,.]]]],.]=>([(0,5),(1,5),(3,2),(4,3),(5,4)],6)=>([(4,5)],6)=>([(4,5)],6) [[.,[.,[[.,[.,.]],.]]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6) [[.,[.,[[[.,.],.],.]]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6) [[.,[[.,.],[.,[.,.]]]],.]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(3,5),(4,5)],6)=>([(3,5),(4,5)],6) [[.,[[.,.],[[.,.],.]]],.]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(3,5),(4,5)],6)=>([(3,5),(4,5)],6) [[.,[[.,[.,.]],[.,.]]],.]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(3,5),(4,5)],6)=>([(3,5),(4,5)],6) [[.,[[[.,.],.],[.,.]]],.]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(3,5),(4,5)],6)=>([(3,5),(4,5)],6) [[.,[[.,[.,[.,.]]],.]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6) [[.,[[.,[[.,.],.]],.]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6) [[.,[[[.,.],[.,.]],.]],.]=>([(0,5),(1,5),(3,2),(4,3),(5,4)],6)=>([(4,5)],6)=>([(4,5)],6) [[.,[[[.,[.,.]],.],.]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6) [[.,[[[[.,.],.],.],.]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6) [[[.,.],[.,[.,[.,.]]]],.]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(2,5),(3,5),(4,5)],6)=>([(2,5),(3,5),(4,5)],6) [[[.,.],[.,[[.,.],.]]],.]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(2,5),(3,5),(4,5)],6)=>([(2,5),(3,5),(4,5)],6) [[[.,.],[[.,.],[.,.]]],.]=>([(0,5),(1,4),(2,4),(4,5),(5,3)],6)=>([(2,5),(3,4),(3,5),(4,5)],6)=>([(2,5),(3,4),(3,5),(4,5)],6) [[[.,.],[[.,[.,.]],.]],.]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(2,5),(3,5),(4,5)],6)=>([(2,5),(3,5),(4,5)],6) [[[.,.],[[[.,.],.],.]],.]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(2,5),(3,5),(4,5)],6)=>([(2,5),(3,5),(4,5)],6) [[[.,[.,.]],[.,[.,.]]],.]=>([(0,4),(1,3),(3,5),(4,5),(5,2)],6)=>([(2,4),(2,5),(3,4),(3,5)],6)=>([(2,4),(2,5),(3,4),(3,5)],6) [[[.,[.,.]],[[.,.],.]],.]=>([(0,4),(1,3),(3,5),(4,5),(5,2)],6)=>([(2,4),(2,5),(3,4),(3,5)],6)=>([(2,4),(2,5),(3,4),(3,5)],6) [[[[.,.],.],[.,[.,.]]],.]=>([(0,4),(1,3),(3,5),(4,5),(5,2)],6)=>([(2,4),(2,5),(3,4),(3,5)],6)=>([(2,4),(2,5),(3,4),(3,5)],6) [[[[.,.],.],[[.,.],.]],.]=>([(0,4),(1,3),(3,5),(4,5),(5,2)],6)=>([(2,4),(2,5),(3,4),(3,5)],6)=>([(2,4),(2,5),(3,4),(3,5)],6) [[[.,[.,[.,.]]],[.,.]],.]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(2,5),(3,5),(4,5)],6)=>([(2,5),(3,5),(4,5)],6) [[[.,[[.,.],.]],[.,.]],.]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(2,5),(3,5),(4,5)],6)=>([(2,5),(3,5),(4,5)],6) [[[[.,.],[.,.]],[.,.]],.]=>([(0,5),(1,4),(2,4),(4,5),(5,3)],6)=>([(2,5),(3,4),(3,5),(4,5)],6)=>([(2,5),(3,4),(3,5),(4,5)],6) [[[[.,[.,.]],.],[.,.]],.]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(2,5),(3,5),(4,5)],6)=>([(2,5),(3,5),(4,5)],6) [[[[[.,.],.],.],[.,.]],.]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>([(2,5),(3,5),(4,5)],6)=>([(2,5),(3,5),(4,5)],6) [[[.,[.,[.,[.,.]]]],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6) [[[.,[.,[[.,.],.]]],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6) [[[.,[[.,.],[.,.]]],.],.]=>([(0,5),(1,5),(3,2),(4,3),(5,4)],6)=>([(4,5)],6)=>([(4,5)],6) [[[.,[[.,[.,.]],.]],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6) [[[.,[[[.,.],.],.]],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6) [[[[.,.],[.,[.,.]]],.],.]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(3,5),(4,5)],6)=>([(3,5),(4,5)],6) [[[[.,.],[[.,.],.]],.],.]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(3,5),(4,5)],6)=>([(3,5),(4,5)],6) [[[[.,[.,.]],[.,.]],.],.]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(3,5),(4,5)],6)=>([(3,5),(4,5)],6) [[[[[.,.],.],[.,.]],.],.]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>([(3,5),(4,5)],6)=>([(3,5),(4,5)],6) [[[[.,[.,[.,.]]],.],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6) [[[[.,[[.,.],.]],.],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6) [[[[[.,.],[.,.]],.],.],.]=>([(0,5),(1,5),(3,2),(4,3),(5,4)],6)=>([(4,5)],6)=>([(4,5)],6) [[[[[.,[.,.]],.],.],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6) [[[[[[.,.],.],.],.],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>([],6)=>([],6) [.,[.,[.,[.,[.,[.,[.,.]]]]]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7) [.,[.,[.,[.,[.,[[.,.],.]]]]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7) [.,[.,[.,[.,[[.,.],[.,.]]]]]]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(5,6)],7)=>([(5,6)],7) [.,[.,[.,[.,[[.,[.,.]],.]]]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7) [.,[.,[.,[.,[[[.,.],.],.]]]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7) [.,[.,[.,[[.,.],[.,[.,.]]]]]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7) [.,[.,[.,[[.,.],[[.,.],.]]]]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7) [.,[.,[.,[[.,[.,.]],[.,.]]]]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7) [.,[.,[.,[[[.,.],.],[.,.]]]]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7) [.,[.,[.,[[.,[.,[.,.]]],.]]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7) [.,[.,[.,[[.,[[.,.],.]],.]]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7) [.,[.,[.,[[[.,.],[.,.]],.]]]]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(5,6)],7)=>([(5,6)],7) [.,[.,[.,[[[.,[.,.]],.],.]]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7) [.,[.,[.,[[[[.,.],.],.],.]]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7) [.,[.,[[.,.],[.,[.,[.,.]]]]]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7) [.,[.,[[.,.],[.,[[.,.],.]]]]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7) [.,[.,[[.,.],[[.,.],[.,.]]]]]=>([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)=>([(3,6),(4,5),(4,6),(5,6)],7)=>([(3,6),(4,5),(4,6),(5,6)],7) [.,[.,[[.,.],[[.,[.,.]],.]]]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7) [.,[.,[[.,.],[[[.,.],.],.]]]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7) [.,[.,[[.,[.,.]],[.,[.,.]]]]]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(3,5),(3,6),(4,5),(4,6)],7)=>([(3,5),(3,6),(4,5),(4,6)],7) [.,[.,[[.,[.,.]],[[.,.],.]]]]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(3,5),(3,6),(4,5),(4,6)],7)=>([(3,5),(3,6),(4,5),(4,6)],7) [.,[.,[[[.,.],.],[.,[.,.]]]]]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(3,5),(3,6),(4,5),(4,6)],7)=>([(3,5),(3,6),(4,5),(4,6)],7) [.,[.,[[[.,.],.],[[.,.],.]]]]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(3,5),(3,6),(4,5),(4,6)],7)=>([(3,5),(3,6),(4,5),(4,6)],7) [.,[.,[[.,[.,[.,.]]],[.,.]]]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7) [.,[.,[[.,[[.,.],.]],[.,.]]]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7) [.,[.,[[[.,.],[.,.]],[.,.]]]]=>([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)=>([(3,6),(4,5),(4,6),(5,6)],7)=>([(3,6),(4,5),(4,6),(5,6)],7) [.,[.,[[[.,[.,.]],.],[.,.]]]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7) [.,[.,[[[[.,.],.],.],[.,.]]]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7) [.,[.,[[.,[.,[.,[.,.]]]],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7) [.,[.,[[.,[.,[[.,.],.]]],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7) [.,[.,[[.,[[.,.],[.,.]]],.]]]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(5,6)],7)=>([(5,6)],7) [.,[.,[[.,[[.,[.,.]],.]],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7) [.,[.,[[.,[[[.,.],.],.]],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7) [.,[.,[[[.,.],[.,[.,.]]],.]]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7) [.,[.,[[[.,.],[[.,.],.]],.]]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7) [.,[.,[[[.,[.,.]],[.,.]],.]]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7) [.,[.,[[[[.,.],.],[.,.]],.]]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7) [.,[.,[[[.,[.,[.,.]]],.],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7) [.,[.,[[[.,[[.,.],.]],.],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7) [.,[.,[[[[.,.],[.,.]],.],.]]]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(5,6)],7)=>([(5,6)],7) [.,[.,[[[[.,[.,.]],.],.],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7) [.,[.,[[[[[.,.],.],.],.],.]]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7) [.,[[.,.],[.,[.,[.,[.,.]]]]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7) [.,[[.,.],[.,[.,[[.,.],.]]]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7) [.,[[.,.],[.,[[.,.],[.,.]]]]]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,5),(4,6),(5,6)],7) [.,[[.,.],[.,[[.,[.,.]],.]]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7) [.,[[.,.],[.,[[[.,.],.],.]]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7) [.,[[.,.],[[.,.],[.,[.,.]]]]]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[.,.],[[.,.],[[.,.],.]]]]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[.,.],[[.,[.,.]],[.,.]]]]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[.,.],[[[.,.],.],[.,.]]]]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[.,.],[[.,[.,[.,.]]],.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7) [.,[[.,.],[[.,[[.,.],.]],.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7) [.,[[.,.],[[[.,.],[.,.]],.]]]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,5),(4,6),(5,6)],7) [.,[[.,.],[[[.,[.,.]],.],.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7) [.,[[.,.],[[[[.,.],.],.],.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7) [.,[[.,[.,.]],[.,[.,[.,.]]]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [.,[[.,[.,.]],[.,[[.,.],.]]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [.,[[.,[.,.]],[[.,.],[.,.]]]]=>([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)=>([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [.,[[.,[.,.]],[[.,[.,.]],.]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [.,[[.,[.,.]],[[[.,.],.],.]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [.,[[[.,.],.],[.,[.,[.,.]]]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [.,[[[.,.],.],[.,[[.,.],.]]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [.,[[[.,.],.],[[.,.],[.,.]]]]=>([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)=>([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [.,[[[.,.],.],[[.,[.,.]],.]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [.,[[[.,.],.],[[[.,.],.],.]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [.,[[.,[.,[.,.]]],[.,[.,.]]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [.,[[.,[.,[.,.]]],[[.,.],.]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [.,[[.,[[.,.],.]],[.,[.,.]]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [.,[[.,[[.,.],.]],[[.,.],.]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [.,[[[.,.],[.,.]],[.,[.,.]]]]=>([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)=>([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [.,[[[.,.],[.,.]],[[.,.],.]]]=>([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)=>([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [.,[[[.,[.,.]],.],[.,[.,.]]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [.,[[[.,[.,.]],.],[[.,.],.]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [.,[[[[.,.],.],.],[.,[.,.]]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [.,[[[[.,.],.],.],[[.,.],.]]]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [.,[[.,[.,[.,[.,.]]]],[.,.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7) [.,[[.,[.,[[.,.],.]]],[.,.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7) [.,[[.,[[.,.],[.,.]]],[.,.]]]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,5),(4,6),(5,6)],7) [.,[[.,[[.,[.,.]],.]],[.,.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7) [.,[[.,[[[.,.],.],.]],[.,.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7) [.,[[[.,.],[.,[.,.]]],[.,.]]]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[[.,.],[[.,.],.]],[.,.]]]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[[.,[.,.]],[.,.]],[.,.]]]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[[[.,.],.],[.,.]],[.,.]]]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [.,[[[.,[.,[.,.]]],.],[.,.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7) [.,[[[.,[[.,.],.]],.],[.,.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7) [.,[[[[.,.],[.,.]],.],[.,.]]]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,5),(4,6),(5,6)],7) [.,[[[[.,[.,.]],.],.],[.,.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7) [.,[[[[[.,.],.],.],.],[.,.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7) [.,[[.,[.,[.,[.,[.,.]]]]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7) [.,[[.,[.,[.,[[.,.],.]]]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7) [.,[[.,[.,[[.,.],[.,.]]]],.]]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(5,6)],7)=>([(5,6)],7) [.,[[.,[.,[[.,[.,.]],.]]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7) [.,[[.,[.,[[[.,.],.],.]]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7) [.,[[.,[[.,.],[.,[.,.]]]],.]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7) [.,[[.,[[.,.],[[.,.],.]]],.]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7) [.,[[.,[[.,[.,.]],[.,.]]],.]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7) [.,[[.,[[[.,.],.],[.,.]]],.]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7) [.,[[.,[[.,[.,[.,.]]],.]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7) [.,[[.,[[.,[[.,.],.]],.]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7) [.,[[.,[[[.,.],[.,.]],.]],.]]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(5,6)],7)=>([(5,6)],7) [.,[[.,[[[.,[.,.]],.],.]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7) [.,[[.,[[[[.,.],.],.],.]],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7) [.,[[[.,.],[.,[.,[.,.]]]],.]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7) [.,[[[.,.],[.,[[.,.],.]]],.]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7) [.,[[[.,.],[[.,.],[.,.]]],.]]=>([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)=>([(3,6),(4,5),(4,6),(5,6)],7)=>([(3,6),(4,5),(4,6),(5,6)],7) [.,[[[.,.],[[.,[.,.]],.]],.]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7) [.,[[[.,.],[[[.,.],.],.]],.]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7) [.,[[[.,[.,.]],[.,[.,.]]],.]]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(3,5),(3,6),(4,5),(4,6)],7)=>([(3,5),(3,6),(4,5),(4,6)],7) [.,[[[.,[.,.]],[[.,.],.]],.]]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(3,5),(3,6),(4,5),(4,6)],7)=>([(3,5),(3,6),(4,5),(4,6)],7) [.,[[[[.,.],.],[.,[.,.]]],.]]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(3,5),(3,6),(4,5),(4,6)],7)=>([(3,5),(3,6),(4,5),(4,6)],7) [.,[[[[.,.],.],[[.,.],.]],.]]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(3,5),(3,6),(4,5),(4,6)],7)=>([(3,5),(3,6),(4,5),(4,6)],7) [.,[[[.,[.,[.,.]]],[.,.]],.]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7) [.,[[[.,[[.,.],.]],[.,.]],.]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7) [.,[[[[.,.],[.,.]],[.,.]],.]]=>([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)=>([(3,6),(4,5),(4,6),(5,6)],7)=>([(3,6),(4,5),(4,6),(5,6)],7) [.,[[[[.,[.,.]],.],[.,.]],.]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7) [.,[[[[[.,.],.],.],[.,.]],.]]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7) [.,[[[.,[.,[.,[.,.]]]],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7) [.,[[[.,[.,[[.,.],.]]],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7) [.,[[[.,[[.,.],[.,.]]],.],.]]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(5,6)],7)=>([(5,6)],7) [.,[[[.,[[.,[.,.]],.]],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7) [.,[[[.,[[[.,.],.],.]],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7) [.,[[[[.,.],[.,[.,.]]],.],.]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7) [.,[[[[.,.],[[.,.],.]],.],.]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7) [.,[[[[.,[.,.]],[.,.]],.],.]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7) [.,[[[[[.,.],.],[.,.]],.],.]]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7) [.,[[[[.,[.,[.,.]]],.],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7) [.,[[[[.,[[.,.],.]],.],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7) [.,[[[[[.,.],[.,.]],.],.],.]]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(5,6)],7)=>([(5,6)],7) [.,[[[[[.,[.,.]],.],.],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7) [.,[[[[[[.,.],.],.],.],.],.]]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7) [[.,.],[.,[.,[.,[.,[.,.]]]]]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7) [[.,.],[.,[.,[.,[[.,.],.]]]]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7) [[.,.],[.,[.,[[.,.],[.,.]]]]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)=>([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) [[.,.],[.,[.,[[.,[.,.]],.]]]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7) [[.,.],[.,[.,[[[.,.],.],.]]]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7) [[.,.],[.,[[.,.],[.,[.,.]]]]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,.],[.,[[.,.],[[.,.],.]]]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,.],[.,[[.,[.,.]],[.,.]]]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,.],[.,[[[.,.],.],[.,.]]]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,.],[.,[[.,[.,[.,.]]],.]]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7) [[.,.],[.,[[.,[[.,.],.]],.]]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7) [[.,.],[.,[[[.,.],[.,.]],.]]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)=>([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) [[.,.],[.,[[[.,[.,.]],.],.]]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7) [[.,.],[.,[[[[.,.],.],.],.]]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7) [[.,.],[[.,.],[.,[.,[.,.]]]]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,.],[[.,.],[.,[[.,.],.]]]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,.],[[.,.],[[.,.],[.,.]]]]=>([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7)=>([(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,.],[[.,.],[[.,[.,.]],.]]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,.],[[.,.],[[[.,.],.],.]]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,.],[[.,[.,.]],[.,[.,.]]]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7)=>([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [[.,.],[[.,[.,.]],[[.,.],.]]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7)=>([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [[.,.],[[[.,.],.],[.,[.,.]]]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7)=>([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [[.,.],[[[.,.],.],[[.,.],.]]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7)=>([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [[.,.],[[.,[.,[.,.]]],[.,.]]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,.],[[.,[[.,.],.]],[.,.]]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,.],[[[.,.],[.,.]],[.,.]]]=>([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7)=>([(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,.],[[[.,[.,.]],.],[.,.]]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,.],[[[[.,.],.],.],[.,.]]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,.],[[.,[.,[.,[.,.]]]],.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7) [[.,.],[[.,[.,[[.,.],.]]],.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7) [[.,.],[[.,[[.,.],[.,.]]],.]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)=>([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) [[.,.],[[.,[[.,[.,.]],.]],.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7) [[.,.],[[.,[[[.,.],.],.]],.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7) [[.,.],[[[.,.],[.,[.,.]]],.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,.],[[[.,.],[[.,.],.]],.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,.],[[[.,[.,.]],[.,.]],.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,.],[[[[.,.],.],[.,.]],.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,.],[[[.,[.,[.,.]]],.],.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7) [[.,.],[[[.,[[.,.],.]],.],.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7) [[.,.],[[[[.,.],[.,.]],.],.]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)=>([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) [[.,.],[[[[.,[.,.]],.],.],.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7) [[.,.],[[[[[.,.],.],.],.],.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7) [[.,[.,.]],[.,[.,[.,[.,.]]]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [[.,[.,.]],[.,[.,[[.,.],.]]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [[.,[.,.]],[.,[[.,.],[.,.]]]]=>([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [[.,[.,.]],[.,[[.,[.,.]],.]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [[.,[.,.]],[.,[[[.,.],.],.]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [[.,[.,.]],[[.,.],[.,[.,.]]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [[.,[.,.]],[[.,.],[[.,.],.]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [[.,[.,.]],[[.,[.,.]],[.,.]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [[.,[.,.]],[[[.,.],.],[.,.]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [[.,[.,.]],[[.,[.,[.,.]]],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [[.,[.,.]],[[.,[[.,.],.]],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [[.,[.,.]],[[[.,.],[.,.]],.]]=>([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [[.,[.,.]],[[[.,[.,.]],.],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [[.,[.,.]],[[[[.,.],.],.],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [[[.,.],.],[.,[.,[.,[.,.]]]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [[[.,.],.],[.,[.,[[.,.],.]]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [[[.,.],.],[.,[[.,.],[.,.]]]]=>([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [[[.,.],.],[.,[[.,[.,.]],.]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [[[.,.],.],[.,[[[.,.],.],.]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [[[.,.],.],[[.,.],[.,[.,.]]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [[[.,.],.],[[.,.],[[.,.],.]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [[[.,.],.],[[.,[.,.]],[.,.]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [[[.,.],.],[[[.,.],.],[.,.]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [[[.,.],.],[[.,[.,[.,.]]],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [[[.,.],.],[[.,[[.,.],.]],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [[[.,.],.],[[[.,.],[.,.]],.]]=>([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [[[.,.],.],[[[.,[.,.]],.],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [[[.,.],.],[[[[.,.],.],.],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [[.,[.,[.,.]]],[.,[.,[.,.]]]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) [[.,[.,[.,.]]],[.,[[.,.],.]]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) [[.,[.,[.,.]]],[[.,.],[.,.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)=>([(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[.,[.,.]]],[[.,[.,.]],.]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) [[.,[.,[.,.]]],[[[.,.],.],.]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) [[.,[[.,.],.]],[.,[.,[.,.]]]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) [[.,[[.,.],.]],[.,[[.,.],.]]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) [[.,[[.,.],.]],[[.,.],[.,.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)=>([(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[[.,.],.]],[[.,[.,.]],.]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) [[.,[[.,.],.]],[[[.,.],.],.]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) [[[.,.],[.,.]],[.,[.,[.,.]]]]=>([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)=>([(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,.],[.,.]],[.,[[.,.],.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)=>([(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,.],[.,.]],[[.,.],[.,.]]]=>([(0,5),(1,5),(2,4),(3,4),(4,6),(5,6)],7)=>([(1,2),(1,5),(1,6),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,2),(1,5),(1,6),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,.],[.,.]],[[.,[.,.]],.]]=>([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)=>([(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,.],[.,.]],[[[.,.],.],.]]=>([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)=>([(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,[.,.]],.],[.,[.,[.,.]]]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) [[[.,[.,.]],.],[.,[[.,.],.]]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) [[[.,[.,.]],.],[[.,.],[.,.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)=>([(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,[.,.]],.],[[.,[.,.]],.]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) [[[.,[.,.]],.],[[[.,.],.],.]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) [[[[.,.],.],.],[.,[.,[.,.]]]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) [[[[.,.],.],.],[.,[[.,.],.]]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) [[[[.,.],.],.],[[.,.],[.,.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)=>([(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[[.,.],.],.],[[.,[.,.]],.]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) [[[[.,.],.],.],[[[.,.],.],.]]=>([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)=>([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) [[.,[.,[.,[.,.]]]],[.,[.,.]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [[.,[.,[.,[.,.]]]],[[.,.],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [[.,[.,[[.,.],.]]],[.,[.,.]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [[.,[.,[[.,.],.]]],[[.,.],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [[.,[[.,.],[.,.]]],[.,[.,.]]]=>([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [[.,[[.,.],[.,.]]],[[.,.],.]]=>([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [[.,[[.,[.,.]],.]],[.,[.,.]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [[.,[[.,[.,.]],.]],[[.,.],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [[.,[[[.,.],.],.]],[.,[.,.]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [[.,[[[.,.],.],.]],[[.,.],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [[[.,.],[.,[.,.]]],[.,[.,.]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [[[.,.],[.,[.,.]]],[[.,.],.]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [[[.,.],[[.,.],.]],[.,[.,.]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [[[.,.],[[.,.],.]],[[.,.],.]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [[[.,[.,.]],[.,.]],[.,[.,.]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [[[.,[.,.]],[.,.]],[[.,.],.]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [[[[.,.],.],[.,.]],[.,[.,.]]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [[[[.,.],.],[.,.]],[[.,.],.]]=>([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [[[.,[.,[.,.]]],.],[.,[.,.]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [[[.,[.,[.,.]]],.],[[.,.],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [[[.,[[.,.],.]],.],[.,[.,.]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [[[.,[[.,.],.]],.],[[.,.],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [[[[.,.],[.,.]],.],[.,[.,.]]]=>([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [[[[.,.],[.,.]],.],[[.,.],.]]=>([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [[[[.,[.,.]],.],.],[.,[.,.]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [[[[.,[.,.]],.],.],[[.,.],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [[[[[.,.],.],.],.],[.,[.,.]]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [[[[[.,.],.],.],.],[[.,.],.]]=>([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [[.,[.,[.,[.,[.,.]]]]],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7) [[.,[.,[.,[[.,.],.]]]],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7) [[.,[.,[[.,.],[.,.]]]],[.,.]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)=>([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) [[.,[.,[[.,[.,.]],.]]],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7) [[.,[.,[[[.,.],.],.]]],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7) [[.,[[.,.],[.,[.,.]]]],[.,.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[[.,.],[[.,.],.]]],[.,.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[[.,[.,.]],[.,.]]],[.,.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[[[.,.],.],[.,.]]],[.,.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[.,[[.,[.,[.,.]]],.]],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7) [[.,[[.,[[.,.],.]],.]],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7) [[.,[[[.,.],[.,.]],.]],[.,.]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)=>([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) [[.,[[[.,[.,.]],.],.]],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7) [[.,[[[[.,.],.],.],.]],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7) [[[.,.],[.,[.,[.,.]]]],[.,.]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,.],[.,[[.,.],.]]],[.,.]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,.],[[.,.],[.,.]]],[.,.]]=>([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7)=>([(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,.],[[.,[.,.]],.]],[.,.]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,.],[[[.,.],.],.]],[.,.]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,[.,.]],[.,[.,.]]],[.,.]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7)=>([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [[[.,[.,.]],[[.,.],.]],[.,.]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7)=>([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [[[[.,.],.],[.,[.,.]]],[.,.]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7)=>([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [[[[.,.],.],[[.,.],.]],[.,.]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7)=>([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) [[[.,[.,[.,.]]],[.,.]],[.,.]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,[[.,.],.]],[.,.]],[.,.]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[[.,.],[.,.]],[.,.]],[.,.]]=>([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7)=>([(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[[.,[.,.]],.],[.,.]],[.,.]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[[[.,.],.],.],[.,.]],[.,.]]=>([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,[.,[.,[.,.]]]],.],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7) [[[.,[.,[[.,.],.]]],.],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7) [[[.,[[.,.],[.,.]]],.],[.,.]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)=>([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) [[[.,[[.,[.,.]],.]],.],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7) [[[.,[[[.,.],.],.]],.],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7) [[[[.,.],[.,[.,.]]],.],[.,.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[[.,.],[[.,.],.]],.],[.,.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[[.,[.,.]],[.,.]],.],[.,.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[[[.,.],.],[.,.]],.],[.,.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[[.,[.,[.,.]]],.],.],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7) [[[[.,[[.,.],.]],.],.],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7) [[[[[.,.],[.,.]],.],.],[.,.]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)=>([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) [[[[[.,[.,.]],.],.],.],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7) [[[[[[.,.],.],.],.],.],[.,.]]=>([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7)=>([(1,6),(2,6),(3,6),(4,6),(5,6)],7) [[.,[.,[.,[.,[.,[.,.]]]]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7) [[.,[.,[.,[.,[[.,.],.]]]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7) [[.,[.,[.,[[.,.],[.,.]]]]],.]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(5,6)],7)=>([(5,6)],7) [[.,[.,[.,[[.,[.,.]],.]]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7) [[.,[.,[.,[[[.,.],.],.]]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7) [[.,[.,[[.,.],[.,[.,.]]]]],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7) [[.,[.,[[.,.],[[.,.],.]]]],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7) [[.,[.,[[.,[.,.]],[.,.]]]],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7) [[.,[.,[[[.,.],.],[.,.]]]],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7) [[.,[.,[[.,[.,[.,.]]],.]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7) [[.,[.,[[.,[[.,.],.]],.]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7) [[.,[.,[[[.,.],[.,.]],.]]],.]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(5,6)],7)=>([(5,6)],7) [[.,[.,[[[.,[.,.]],.],.]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7) [[.,[.,[[[[.,.],.],.],.]]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7) [[.,[[.,.],[.,[.,[.,.]]]]],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7) [[.,[[.,.],[.,[[.,.],.]]]],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7) [[.,[[.,.],[[.,.],[.,.]]]],.]=>([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)=>([(3,6),(4,5),(4,6),(5,6)],7)=>([(3,6),(4,5),(4,6),(5,6)],7) [[.,[[.,.],[[.,[.,.]],.]]],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7) [[.,[[.,.],[[[.,.],.],.]]],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7) [[.,[[.,[.,.]],[.,[.,.]]]],.]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(3,5),(3,6),(4,5),(4,6)],7)=>([(3,5),(3,6),(4,5),(4,6)],7) [[.,[[.,[.,.]],[[.,.],.]]],.]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(3,5),(3,6),(4,5),(4,6)],7)=>([(3,5),(3,6),(4,5),(4,6)],7) [[.,[[[.,.],.],[.,[.,.]]]],.]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(3,5),(3,6),(4,5),(4,6)],7)=>([(3,5),(3,6),(4,5),(4,6)],7) [[.,[[[.,.],.],[[.,.],.]]],.]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(3,5),(3,6),(4,5),(4,6)],7)=>([(3,5),(3,6),(4,5),(4,6)],7) [[.,[[.,[.,[.,.]]],[.,.]]],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7) [[.,[[.,[[.,.],.]],[.,.]]],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7) [[.,[[[.,.],[.,.]],[.,.]]],.]=>([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)=>([(3,6),(4,5),(4,6),(5,6)],7)=>([(3,6),(4,5),(4,6),(5,6)],7) [[.,[[[.,[.,.]],.],[.,.]]],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7) [[.,[[[[.,.],.],.],[.,.]]],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7) [[.,[[.,[.,[.,[.,.]]]],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7) [[.,[[.,[.,[[.,.],.]]],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7) [[.,[[.,[[.,.],[.,.]]],.]],.]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(5,6)],7)=>([(5,6)],7) [[.,[[.,[[.,[.,.]],.]],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7) [[.,[[.,[[[.,.],.],.]],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7) [[.,[[[.,.],[.,[.,.]]],.]],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7) [[.,[[[.,.],[[.,.],.]],.]],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7) [[.,[[[.,[.,.]],[.,.]],.]],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7) [[.,[[[[.,.],.],[.,.]],.]],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7) [[.,[[[.,[.,[.,.]]],.],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7) [[.,[[[.,[[.,.],.]],.],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7) [[.,[[[[.,.],[.,.]],.],.]],.]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(5,6)],7)=>([(5,6)],7) [[.,[[[[.,[.,.]],.],.],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7) [[.,[[[[[.,.],.],.],.],.]],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7) [[[.,.],[.,[.,[.,[.,.]]]]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7) [[[.,.],[.,[.,[[.,.],.]]]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7) [[[.,.],[.,[[.,.],[.,.]]]],.]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,5),(4,6),(5,6)],7) [[[.,.],[.,[[.,[.,.]],.]]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7) [[[.,.],[.,[[[.,.],.],.]]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7) [[[.,.],[[.,.],[.,[.,.]]]],.]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,.],[[.,.],[[.,.],.]]],.]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,.],[[.,[.,.]],[.,.]]],.]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,.],[[[.,.],.],[.,.]]],.]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[.,.],[[.,[.,[.,.]]],.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7) [[[.,.],[[.,[[.,.],.]],.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7) [[[.,.],[[[.,.],[.,.]],.]],.]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,5),(4,6),(5,6)],7) [[[.,.],[[[.,[.,.]],.],.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7) [[[.,.],[[[[.,.],.],.],.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7) [[[.,[.,.]],[.,[.,[.,.]]]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [[[.,[.,.]],[.,[[.,.],.]]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [[[.,[.,.]],[[.,.],[.,.]]],.]=>([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)=>([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [[[.,[.,.]],[[.,[.,.]],.]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [[[.,[.,.]],[[[.,.],.],.]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [[[[.,.],.],[.,[.,[.,.]]]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [[[[.,.],.],[.,[[.,.],.]]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [[[[.,.],.],[[.,.],[.,.]]],.]=>([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)=>([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [[[[.,.],.],[[.,[.,.]],.]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [[[[.,.],.],[[[.,.],.],.]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [[[.,[.,[.,.]]],[.,[.,.]]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [[[.,[.,[.,.]]],[[.,.],.]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [[[.,[[.,.],.]],[.,[.,.]]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [[[.,[[.,.],.]],[[.,.],.]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [[[[.,.],[.,.]],[.,[.,.]]],.]=>([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)=>([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [[[[.,.],[.,.]],[[.,.],.]],.]=>([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)=>([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) [[[[.,[.,.]],.],[.,[.,.]]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [[[[.,[.,.]],.],[[.,.],.]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [[[[[.,.],.],.],[.,[.,.]]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [[[[[.,.],.],.],[[.,.],.]],.]=>([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)=>([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) [[[.,[.,[.,[.,.]]]],[.,.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7) [[[.,[.,[[.,.],.]]],[.,.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7) [[[.,[[.,.],[.,.]]],[.,.]],.]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,5),(4,6),(5,6)],7) [[[.,[[.,[.,.]],.]],[.,.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7) [[[.,[[[.,.],.],.]],[.,.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7) [[[[.,.],[.,[.,.]]],[.,.]],.]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[[.,.],[[.,.],.]],[.,.]],.]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[[.,[.,.]],[.,.]],[.,.]],.]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[[[.,.],.],[.,.]],[.,.]],.]=>([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) [[[[.,[.,[.,.]]],.],[.,.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7) [[[[.,[[.,.],.]],.],[.,.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7) [[[[[.,.],[.,.]],.],[.,.]],.]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,5),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,5),(4,6),(5,6)],7) [[[[[.,[.,.]],.],.],[.,.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7) [[[[[[.,.],.],.],.],[.,.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>([(2,6),(3,6),(4,6),(5,6)],7)=>([(2,6),(3,6),(4,6),(5,6)],7) [[[.,[.,[.,[.,[.,.]]]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7) [[[.,[.,[.,[[.,.],.]]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7) [[[.,[.,[[.,.],[.,.]]]],.],.]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(5,6)],7)=>([(5,6)],7) [[[.,[.,[[.,[.,.]],.]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7) [[[.,[.,[[[.,.],.],.]]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7) [[[.,[[.,.],[.,[.,.]]]],.],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7) [[[.,[[.,.],[[.,.],.]]],.],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7) [[[.,[[.,[.,.]],[.,.]]],.],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7) [[[.,[[[.,.],.],[.,.]]],.],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7) [[[.,[[.,[.,[.,.]]],.]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7) [[[.,[[.,[[.,.],.]],.]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7) [[[.,[[[.,.],[.,.]],.]],.],.]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(5,6)],7)=>([(5,6)],7) [[[.,[[[.,[.,.]],.],.]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7) [[[.,[[[[.,.],.],.],.]],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7) [[[[.,.],[.,[.,[.,.]]]],.],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7) [[[[.,.],[.,[[.,.],.]]],.],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7) [[[[.,.],[[.,.],[.,.]]],.],.]=>([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)=>([(3,6),(4,5),(4,6),(5,6)],7)=>([(3,6),(4,5),(4,6),(5,6)],7) [[[[.,.],[[.,[.,.]],.]],.],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7) [[[[.,.],[[[.,.],.],.]],.],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7) [[[[.,[.,.]],[.,[.,.]]],.],.]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(3,5),(3,6),(4,5),(4,6)],7)=>([(3,5),(3,6),(4,5),(4,6)],7) [[[[.,[.,.]],[[.,.],.]],.],.]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(3,5),(3,6),(4,5),(4,6)],7)=>([(3,5),(3,6),(4,5),(4,6)],7) [[[[[.,.],.],[.,[.,.]]],.],.]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(3,5),(3,6),(4,5),(4,6)],7)=>([(3,5),(3,6),(4,5),(4,6)],7) [[[[[.,.],.],[[.,.],.]],.],.]=>([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)=>([(3,5),(3,6),(4,5),(4,6)],7)=>([(3,5),(3,6),(4,5),(4,6)],7) [[[[.,[.,[.,.]]],[.,.]],.],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7) [[[[.,[[.,.],.]],[.,.]],.],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7) [[[[[.,.],[.,.]],[.,.]],.],.]=>([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)=>([(3,6),(4,5),(4,6),(5,6)],7)=>([(3,6),(4,5),(4,6),(5,6)],7) [[[[[.,[.,.]],.],[.,.]],.],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7) [[[[[[.,.],.],.],[.,.]],.],.]=>([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)=>([(3,6),(4,6),(5,6)],7)=>([(3,6),(4,6),(5,6)],7) [[[[.,[.,[.,[.,.]]]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7) [[[[.,[.,[[.,.],.]]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7) [[[[.,[[.,.],[.,.]]],.],.],.]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(5,6)],7)=>([(5,6)],7) [[[[.,[[.,[.,.]],.]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7) [[[[.,[[[.,.],.],.]],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7) [[[[[.,.],[.,[.,.]]],.],.],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7) [[[[[.,.],[[.,.],.]],.],.],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7) [[[[[.,[.,.]],[.,.]],.],.],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7) [[[[[[.,.],.],[.,.]],.],.],.]=>([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)=>([(4,6),(5,6)],7)=>([(4,6),(5,6)],7) [[[[[.,[.,[.,.]]],.],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7) [[[[[.,[[.,.],.]],.],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7) [[[[[[.,.],[.,.]],.],.],.],.]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>([(5,6)],7)=>([(5,6)],7) [[[[[[.,[.,.]],.],.],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7) [[[[[[[.,.],.],.],.],.],.],.]=>([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)=>([],7)=>([],7)
Map
to poset
Description
Return the poset obtained by interpreting the tree as a Hasse diagram.
Map
incomparability graph
Description
The incomparability graph of a poset.
Map
connected complement
Description
The componentwise connected complement of a graph.
For a connected graph $G$, this map returns the complement of $G$ if it is connected, otherwise $G$ itself. If $G$ is not connected, the map is applied to each connected component separately.