Identifier
Mp00011: Binary trees to graphGraphs
Mp00247: Graphs de-duplicate Graphs
Images
=>
Cc0010;cc-rep-0Cc0020;cc-rep-1Cc0020;cc-rep-2
[.,.]=>([],1)=>([],1) [.,[.,.]]=>([(0,1)],2)=>([(0,1)],2) [[.,.],.]=>([(0,1)],2)=>([(0,1)],2) [.,[.,[.,.]]]=>([(0,2),(1,2)],3)=>([(0,1)],2) [.,[[.,.],.]]=>([(0,2),(1,2)],3)=>([(0,1)],2) [[.,.],[.,.]]=>([(0,2),(1,2)],3)=>([(0,1)],2) [[.,[.,.]],.]=>([(0,2),(1,2)],3)=>([(0,1)],2) [[[.,.],.],.]=>([(0,2),(1,2)],3)=>([(0,1)],2) [.,[.,[.,[.,.]]]]=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4) [.,[.,[[.,.],.]]]=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4) [.,[[.,.],[.,.]]]=>([(0,3),(1,3),(2,3)],4)=>([(0,1)],2) [.,[[.,[.,.]],.]]=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4) [.,[[[.,.],.],.]]=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4) [[.,.],[.,[.,.]]]=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4) [[.,.],[[.,.],.]]=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4) [[.,[.,.]],[.,.]]=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4) [[[.,.],.],[.,.]]=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4) [[.,[.,[.,.]]],.]=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4) [[.,[[.,.],.]],.]=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4) [[[.,.],[.,.]],.]=>([(0,3),(1,3),(2,3)],4)=>([(0,1)],2) [[[.,[.,.]],.],.]=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4) [[[[.,.],.],.],.]=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4) [.,[.,[.,[.,[.,.]]]]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,4),(1,3),(2,3),(2,4)],5) [.,[.,[.,[[.,.],.]]]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,4),(1,3),(2,3),(2,4)],5) [.,[.,[[.,.],[.,.]]]]=>([(0,4),(1,4),(2,3),(3,4)],5)=>([(0,3),(1,2),(2,3)],4) [.,[.,[[.,[.,.]],.]]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,4),(1,3),(2,3),(2,4)],5) [.,[.,[[[.,.],.],.]]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,4),(1,3),(2,3),(2,4)],5) [.,[[.,.],[.,[.,.]]]]=>([(0,4),(1,4),(2,3),(3,4)],5)=>([(0,3),(1,2),(2,3)],4) [.,[[.,.],[[.,.],.]]]=>([(0,4),(1,4),(2,3),(3,4)],5)=>([(0,3),(1,2),(2,3)],4) [.,[[.,[.,.]],[.,.]]]=>([(0,4),(1,4),(2,3),(3,4)],5)=>([(0,3),(1,2),(2,3)],4) [.,[[[.,.],.],[.,.]]]=>([(0,4),(1,4),(2,3),(3,4)],5)=>([(0,3),(1,2),(2,3)],4) [.,[[.,[.,[.,.]]],.]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,4),(1,3),(2,3),(2,4)],5) [.,[[.,[[.,.],.]],.]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,4),(1,3),(2,3),(2,4)],5) [.,[[[.,.],[.,.]],.]]=>([(0,4),(1,4),(2,3),(3,4)],5)=>([(0,3),(1,2),(2,3)],4) [.,[[[.,[.,.]],.],.]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,4),(1,3),(2,3),(2,4)],5) [.,[[[[.,.],.],.],.]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,4),(1,3),(2,3),(2,4)],5) [[.,.],[.,[.,[.,.]]]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,4),(1,3),(2,3),(2,4)],5) [[.,.],[.,[[.,.],.]]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,4),(1,3),(2,3),(2,4)],5) [[.,.],[[.,.],[.,.]]]=>([(0,4),(1,4),(2,3),(3,4)],5)=>([(0,3),(1,2),(2,3)],4) [[.,.],[[.,[.,.]],.]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,4),(1,3),(2,3),(2,4)],5) [[.,.],[[[.,.],.],.]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,4),(1,3),(2,3),(2,4)],5) [[.,[.,.]],[.,[.,.]]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,4),(1,3),(2,3),(2,4)],5) [[.,[.,.]],[[.,.],.]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,4),(1,3),(2,3),(2,4)],5) [[[.,.],.],[.,[.,.]]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,4),(1,3),(2,3),(2,4)],5) [[[.,.],.],[[.,.],.]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,4),(1,3),(2,3),(2,4)],5) [[.,[.,[.,.]]],[.,.]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,4),(1,3),(2,3),(2,4)],5) [[.,[[.,.],.]],[.,.]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,4),(1,3),(2,3),(2,4)],5) [[[.,.],[.,.]],[.,.]]=>([(0,4),(1,4),(2,3),(3,4)],5)=>([(0,3),(1,2),(2,3)],4) [[[.,[.,.]],.],[.,.]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,4),(1,3),(2,3),(2,4)],5) [[[[.,.],.],.],[.,.]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,4),(1,3),(2,3),(2,4)],5) [[.,[.,[.,[.,.]]]],.]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,4),(1,3),(2,3),(2,4)],5) [[.,[.,[[.,.],.]]],.]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,4),(1,3),(2,3),(2,4)],5) [[.,[[.,.],[.,.]]],.]=>([(0,4),(1,4),(2,3),(3,4)],5)=>([(0,3),(1,2),(2,3)],4) [[.,[[.,[.,.]],.]],.]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,4),(1,3),(2,3),(2,4)],5) [[.,[[[.,.],.],.]],.]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,4),(1,3),(2,3),(2,4)],5) [[[.,.],[.,[.,.]]],.]=>([(0,4),(1,4),(2,3),(3,4)],5)=>([(0,3),(1,2),(2,3)],4) [[[.,.],[[.,.],.]],.]=>([(0,4),(1,4),(2,3),(3,4)],5)=>([(0,3),(1,2),(2,3)],4) [[[.,[.,.]],[.,.]],.]=>([(0,4),(1,4),(2,3),(3,4)],5)=>([(0,3),(1,2),(2,3)],4) [[[[.,.],.],[.,.]],.]=>([(0,4),(1,4),(2,3),(3,4)],5)=>([(0,3),(1,2),(2,3)],4) [[[.,[.,[.,.]]],.],.]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,4),(1,3),(2,3),(2,4)],5) [[[.,[[.,.],.]],.],.]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,4),(1,3),(2,3),(2,4)],5) [[[[.,.],[.,.]],.],.]=>([(0,4),(1,4),(2,3),(3,4)],5)=>([(0,3),(1,2),(2,3)],4) [[[[.,[.,.]],.],.],.]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,4),(1,3),(2,3),(2,4)],5) [[[[[.,.],.],.],.],.]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,4),(1,3),(2,3),(2,4)],5) [.,[.,[.,[.,[.,[.,.]]]]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[.,[.,[.,[[.,.],.]]]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[.,[.,[[.,.],[.,.]]]]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5) [.,[.,[.,[[.,[.,.]],.]]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[.,[.,[[[.,.],.],.]]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[.,[[.,.],[.,[.,.]]]]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [.,[.,[[.,.],[[.,.],.]]]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [.,[.,[[.,[.,.]],[.,.]]]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [.,[.,[[[.,.],.],[.,.]]]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [.,[.,[[.,[.,[.,.]]],.]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[.,[[.,[[.,.],.]],.]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[.,[[[.,.],[.,.]],.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5) [.,[.,[[[.,[.,.]],.],.]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[.,[[[[.,.],.],.],.]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[[.,.],[.,[.,[.,.]]]]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5) [.,[[.,.],[.,[[.,.],.]]]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5) [.,[[.,.],[[.,.],[.,.]]]]=>([(0,5),(1,5),(2,4),(3,4),(4,5)],6)=>([(0,3),(1,2),(2,3)],4) [.,[[.,.],[[.,[.,.]],.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5) [.,[[.,.],[[[.,.],.],.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5) [.,[[.,[.,.]],[.,[.,.]]]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [.,[[.,[.,.]],[[.,.],.]]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [.,[[[.,.],.],[.,[.,.]]]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [.,[[[.,.],.],[[.,.],.]]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [.,[[.,[.,[.,.]]],[.,.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5) [.,[[.,[[.,.],.]],[.,.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5) [.,[[[.,.],[.,.]],[.,.]]]=>([(0,5),(1,5),(2,4),(3,4),(4,5)],6)=>([(0,3),(1,2),(2,3)],4) [.,[[[.,[.,.]],.],[.,.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5) [.,[[[[.,.],.],.],[.,.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5) [.,[[.,[.,[.,[.,.]]]],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[[.,[.,[[.,.],.]]],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[[.,[[.,.],[.,.]]],.]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5) [.,[[.,[[.,[.,.]],.]],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[[.,[[[.,.],.],.]],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[[[.,.],[.,[.,.]]],.]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [.,[[[.,.],[[.,.],.]],.]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [.,[[[.,[.,.]],[.,.]],.]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [.,[[[[.,.],.],[.,.]],.]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [.,[[[.,[.,[.,.]]],.],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[[[.,[[.,.],.]],.],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[[[[.,.],[.,.]],.],.]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5) [.,[[[[.,[.,.]],.],.],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[[[[[.,.],.],.],.],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,.],[.,[.,[.,[.,.]]]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,.],[.,[.,[[.,.],.]]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,.],[.,[[.,.],[.,.]]]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5) [[.,.],[.,[[.,[.,.]],.]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,.],[.,[[[.,.],.],.]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,.],[[.,.],[.,[.,.]]]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [[.,.],[[.,.],[[.,.],.]]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [[.,.],[[.,[.,.]],[.,.]]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [[.,.],[[[.,.],.],[.,.]]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [[.,.],[[.,[.,[.,.]]],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,.],[[.,[[.,.],.]],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,.],[[[.,.],[.,.]],.]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5) [[.,.],[[[.,[.,.]],.],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,.],[[[[.,.],.],.],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,[.,.]],[.,[.,[.,.]]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,[.,.]],[.,[[.,.],.]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,[.,.]],[[.,.],[.,.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5) [[.,[.,.]],[[.,[.,.]],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,[.,.]],[[[.,.],.],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[.,.],.],[.,[.,[.,.]]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[.,.],.],[.,[[.,.],.]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[.,.],.],[[.,.],[.,.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5) [[[.,.],.],[[.,[.,.]],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[.,.],.],[[[.,.],.],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,[.,[.,.]]],[.,[.,.]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,[.,[.,.]]],[[.,.],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,[[.,.],.]],[.,[.,.]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,[[.,.],.]],[[.,.],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[.,.],[.,.]],[.,[.,.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5) [[[.,.],[.,.]],[[.,.],.]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5) [[[.,[.,.]],.],[.,[.,.]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[.,[.,.]],.],[[.,.],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[[.,.],.],.],[.,[.,.]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[[.,.],.],.],[[.,.],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,[.,[.,[.,.]]]],[.,.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,[.,[[.,.],.]]],[.,.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,[[.,.],[.,.]]],[.,.]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5) [[.,[[.,[.,.]],.]],[.,.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,[[[.,.],.],.]],[.,.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[.,.],[.,[.,.]]],[.,.]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [[[.,.],[[.,.],.]],[.,.]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [[[.,[.,.]],[.,.]],[.,.]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [[[[.,.],.],[.,.]],[.,.]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [[[.,[.,[.,.]]],.],[.,.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[.,[[.,.],.]],.],[.,.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[[.,.],[.,.]],.],[.,.]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5) [[[[.,[.,.]],.],.],[.,.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[[[.,.],.],.],.],[.,.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,[.,[.,[.,[.,.]]]]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,[.,[.,[[.,.],.]]]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,[.,[[.,.],[.,.]]]],.]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5) [[.,[.,[[.,[.,.]],.]]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,[.,[[[.,.],.],.]]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,[[.,.],[.,[.,.]]]],.]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [[.,[[.,.],[[.,.],.]]],.]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [[.,[[.,[.,.]],[.,.]]],.]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [[.,[[[.,.],.],[.,.]]],.]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [[.,[[.,[.,[.,.]]],.]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,[[.,[[.,.],.]],.]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,[[[.,.],[.,.]],.]],.]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5) [[.,[[[.,[.,.]],.],.]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,[[[[.,.],.],.],.]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[.,.],[.,[.,[.,.]]]],.]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5) [[[.,.],[.,[[.,.],.]]],.]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5) [[[.,.],[[.,.],[.,.]]],.]=>([(0,5),(1,5),(2,4),(3,4),(4,5)],6)=>([(0,3),(1,2),(2,3)],4) [[[.,.],[[.,[.,.]],.]],.]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5) [[[.,.],[[[.,.],.],.]],.]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5) [[[.,[.,.]],[.,[.,.]]],.]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [[[.,[.,.]],[[.,.],.]],.]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [[[[.,.],.],[.,[.,.]]],.]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [[[[.,.],.],[[.,.],.]],.]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [[[.,[.,[.,.]]],[.,.]],.]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5) [[[.,[[.,.],.]],[.,.]],.]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5) [[[[.,.],[.,.]],[.,.]],.]=>([(0,5),(1,5),(2,4),(3,4),(4,5)],6)=>([(0,3),(1,2),(2,3)],4) [[[[.,[.,.]],.],[.,.]],.]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5) [[[[[.,.],.],.],[.,.]],.]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5) [[[.,[.,[.,[.,.]]]],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[.,[.,[[.,.],.]]],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[.,[[.,.],[.,.]]],.],.]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5) [[[.,[[.,[.,.]],.]],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[.,[[[.,.],.],.]],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[[.,.],[.,[.,.]]],.],.]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [[[[.,.],[[.,.],.]],.],.]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [[[[.,[.,.]],[.,.]],.],.]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [[[[[.,.],.],[.,.]],.],.]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [[[[.,[.,[.,.]]],.],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[[.,[[.,.],.]],.],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[[[.,.],[.,.]],.],.],.]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5) [[[[[.,[.,.]],.],.],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[[[[.,.],.],.],.],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[.,[.,[.,[.,[.,[.,.]]]]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[.,[.,[.,[[.,.],.]]]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[.,[.,[[.,.],[.,.]]]]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[.,[.,[.,[[.,[.,.]],.]]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[.,[.,[[[.,.],.],.]]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[.,[[.,.],[.,[.,.]]]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [.,[.,[.,[[.,.],[[.,.],.]]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [.,[.,[.,[[.,[.,.]],[.,.]]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [.,[.,[.,[[[.,.],.],[.,.]]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [.,[.,[.,[[.,[.,[.,.]]],.]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[.,[[.,[[.,.],.]],.]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[.,[[[.,.],[.,.]],.]]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[.,[.,[[[.,[.,.]],.],.]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[.,[[[[.,.],.],.],.]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[[.,.],[.,[.,[.,.]]]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [.,[.,[[.,.],[.,[[.,.],.]]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [.,[.,[[.,.],[[.,.],[.,.]]]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [.,[.,[[.,.],[[.,[.,.]],.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [.,[.,[[.,.],[[[.,.],.],.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [.,[.,[[.,[.,.]],[.,[.,.]]]]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7) [.,[.,[[.,[.,.]],[[.,.],.]]]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7) [.,[.,[[[.,.],.],[.,[.,.]]]]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7) [.,[.,[[[.,.],.],[[.,.],.]]]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7) [.,[.,[[.,[.,[.,.]]],[.,.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [.,[.,[[.,[[.,.],.]],[.,.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [.,[.,[[[.,.],[.,.]],[.,.]]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [.,[.,[[[.,[.,.]],.],[.,.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [.,[.,[[[[.,.],.],.],[.,.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [.,[.,[[.,[.,[.,[.,.]]]],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[[.,[.,[[.,.],.]]],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[[.,[[.,.],[.,.]]],.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[.,[[.,[[.,[.,.]],.]],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[[.,[[[.,.],.],.]],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[[[.,.],[.,[.,.]]],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [.,[.,[[[.,.],[[.,.],.]],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [.,[.,[[[.,[.,.]],[.,.]],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [.,[.,[[[[.,.],.],[.,.]],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [.,[.,[[[.,[.,[.,.]]],.],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[[[.,[[.,.],.]],.],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[[[[.,.],[.,.]],.],.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[.,[[[[.,[.,.]],.],.],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[[[[[.,.],.],.],.],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,.],[.,[.,[.,[.,.]]]]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[[.,.],[.,[.,[[.,.],.]]]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[[.,.],[.,[[.,.],[.,.]]]]]=>([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,3),(2,3),(2,4)],5) [.,[[.,.],[.,[[.,[.,.]],.]]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[[.,.],[.,[[[.,.],.],.]]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[[.,.],[[.,.],[.,[.,.]]]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [.,[[.,.],[[.,.],[[.,.],.]]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [.,[[.,.],[[.,[.,.]],[.,.]]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [.,[[.,.],[[[.,.],.],[.,.]]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [.,[[.,.],[[.,[.,[.,.]]],.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[[.,.],[[.,[[.,.],.]],.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[[.,.],[[[.,.],[.,.]],.]]]=>([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,3),(2,3),(2,4)],5) [.,[[.,.],[[[.,[.,.]],.],.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[[.,.],[[[[.,.],.],.],.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[[.,[.,.]],[.,[.,[.,.]]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [.,[[.,[.,.]],[.,[[.,.],.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [.,[[.,[.,.]],[[.,.],[.,.]]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [.,[[.,[.,.]],[[.,[.,.]],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [.,[[.,[.,.]],[[[.,.],.],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [.,[[[.,.],.],[.,[.,[.,.]]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [.,[[[.,.],.],[.,[[.,.],.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [.,[[[.,.],.],[[.,.],[.,.]]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [.,[[[.,.],.],[[.,[.,.]],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [.,[[[.,.],.],[[[.,.],.],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [.,[[.,[.,[.,.]]],[.,[.,.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [.,[[.,[.,[.,.]]],[[.,.],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [.,[[.,[[.,.],.]],[.,[.,.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [.,[[.,[[.,.],.]],[[.,.],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [.,[[[.,.],[.,.]],[.,[.,.]]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [.,[[[.,.],[.,.]],[[.,.],.]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [.,[[[.,[.,.]],.],[.,[.,.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [.,[[[.,[.,.]],.],[[.,.],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [.,[[[[.,.],.],.],[.,[.,.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [.,[[[[.,.],.],.],[[.,.],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [.,[[.,[.,[.,[.,.]]]],[.,.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[[.,[.,[[.,.],.]]],[.,.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[[.,[[.,.],[.,.]]],[.,.]]]=>([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,3),(2,3),(2,4)],5) [.,[[.,[[.,[.,.]],.]],[.,.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[[.,[[[.,.],.],.]],[.,.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[[[.,.],[.,[.,.]]],[.,.]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [.,[[[.,.],[[.,.],.]],[.,.]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [.,[[[.,[.,.]],[.,.]],[.,.]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [.,[[[[.,.],.],[.,.]],[.,.]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [.,[[[.,[.,[.,.]]],.],[.,.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[[[.,[[.,.],.]],.],[.,.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[[[[.,.],[.,.]],.],[.,.]]]=>([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,3),(2,3),(2,4)],5) [.,[[[[.,[.,.]],.],.],[.,.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[[[[[.,.],.],.],.],[.,.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[[.,[.,[.,[.,[.,.]]]]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,[.,[.,[[.,.],.]]]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,[.,[[.,.],[.,.]]]],.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[[.,[.,[[.,[.,.]],.]]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,[.,[[[.,.],.],.]]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,[[.,.],[.,[.,.]]]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [.,[[.,[[.,.],[[.,.],.]]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [.,[[.,[[.,[.,.]],[.,.]]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [.,[[.,[[[.,.],.],[.,.]]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [.,[[.,[[.,[.,[.,.]]],.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,[[.,[[.,.],.]],.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,[[[.,.],[.,.]],.]],.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[[.,[[[.,[.,.]],.],.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,[[[[.,.],.],.],.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[.,.],[.,[.,[.,.]]]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [.,[[[.,.],[.,[[.,.],.]]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [.,[[[.,.],[[.,.],[.,.]]],.]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [.,[[[.,.],[[.,[.,.]],.]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [.,[[[.,.],[[[.,.],.],.]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [.,[[[.,[.,.]],[.,[.,.]]],.]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7) [.,[[[.,[.,.]],[[.,.],.]],.]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7) [.,[[[[.,.],.],[.,[.,.]]],.]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7) [.,[[[[.,.],.],[[.,.],.]],.]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7) [.,[[[.,[.,[.,.]]],[.,.]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [.,[[[.,[[.,.],.]],[.,.]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [.,[[[[.,.],[.,.]],[.,.]],.]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [.,[[[[.,[.,.]],.],[.,.]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [.,[[[[[.,.],.],.],[.,.]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [.,[[[.,[.,[.,[.,.]]]],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[.,[.,[[.,.],.]]],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[.,[[.,.],[.,.]]],.],.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[[[.,[[.,[.,.]],.]],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[.,[[[.,.],.],.]],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[[.,.],[.,[.,.]]],.],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [.,[[[[.,.],[[.,.],.]],.],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [.,[[[[.,[.,.]],[.,.]],.],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [.,[[[[[.,.],.],[.,.]],.],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [.,[[[[.,[.,[.,.]]],.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[[.,[[.,.],.]],.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[[[.,.],[.,.]],.],.],.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [.,[[[[[.,[.,.]],.],.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[[[[.,.],.],.],.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[.,[.,[.,[.,[.,.]]]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[.,[.,[.,[[.,.],.]]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[.,[.,[[.,.],[.,.]]]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,.],[.,[.,[[.,[.,.]],.]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[.,[.,[[[.,.],.],.]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[.,[[.,.],[.,[.,.]]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[.,.],[.,[[.,.],[[.,.],.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[.,.],[.,[[.,[.,.]],[.,.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[.,.],[.,[[[.,.],.],[.,.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[.,.],[.,[[.,[.,[.,.]]],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[.,[[.,[[.,.],.]],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[.,[[[.,.],[.,.]],.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,.],[.,[[[.,[.,.]],.],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[.,[[[[.,.],.],.],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[[.,.],[.,[.,[.,.]]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[.,.],[[.,.],[.,[[.,.],.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[.,.],[[.,.],[[.,.],[.,.]]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [[.,.],[[.,.],[[.,[.,.]],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[.,.],[[.,.],[[[.,.],.],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[.,.],[[.,[.,.]],[.,[.,.]]]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7) [[.,.],[[.,[.,.]],[[.,.],.]]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7) [[.,.],[[[.,.],.],[.,[.,.]]]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7) [[.,.],[[[.,.],.],[[.,.],.]]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7) [[.,.],[[.,[.,[.,.]]],[.,.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[.,.],[[.,[[.,.],.]],[.,.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[.,.],[[[.,.],[.,.]],[.,.]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [[.,.],[[[.,[.,.]],.],[.,.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[.,.],[[[[.,.],.],.],[.,.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[.,.],[[.,[.,[.,[.,.]]]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[[.,[.,[[.,.],.]]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[[.,[[.,.],[.,.]]],.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,.],[[.,[[.,[.,.]],.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[[.,[[[.,.],.],.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[[[.,.],[.,[.,.]]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[.,.],[[[.,.],[[.,.],.]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[.,.],[[[.,[.,.]],[.,.]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[.,.],[[[[.,.],.],[.,.]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[.,.],[[[.,[.,[.,.]]],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[[[.,[[.,.],.]],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[[[[.,.],[.,.]],.],.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,.],[[[[.,[.,.]],.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[[[[[.,.],.],.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,.]],[.,[.,[.,[.,.]]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,.]],[.,[.,[[.,.],.]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,.]],[.,[[.,.],[.,.]]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,[.,.]],[.,[[.,[.,.]],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,.]],[.,[[[.,.],.],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,.]],[[.,.],[.,[.,.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[.,[.,.]],[[.,.],[[.,.],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[.,[.,.]],[[.,[.,.]],[.,.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[.,[.,.]],[[[.,.],.],[.,.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[.,[.,.]],[[.,[.,[.,.]]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,.]],[[.,[[.,.],.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,.]],[[[.,.],[.,.]],.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,[.,.]],[[[.,[.,.]],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,.]],[[[[.,.],.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],.],[.,[.,[.,[.,.]]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],.],[.,[.,[[.,.],.]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],.],[.,[[.,.],[.,.]]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[.,.],.],[.,[[.,[.,.]],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],.],[.,[[[.,.],.],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],.],[[.,.],[.,[.,.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[[.,.],.],[[.,.],[[.,.],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[[.,.],.],[[.,[.,.]],[.,.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[[.,.],.],[[[.,.],.],[.,.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[[.,.],.],[[.,[.,[.,.]]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],.],[[.,[[.,.],.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],.],[[[.,.],[.,.]],.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[.,.],.],[[[.,[.,.]],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],.],[[[[.,.],.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,[.,.]]],[.,[.,[.,.]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,[.,.]]],[.,[[.,.],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,[.,.]]],[[.,.],[.,.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,[.,[.,.]]],[[.,[.,.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,[.,.]]],[[[.,.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[.,.],.]],[.,[.,[.,.]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[.,.],.]],[.,[[.,.],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[.,.],.]],[[.,.],[.,.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,[[.,.],.]],[[.,[.,.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[.,.],.]],[[[.,.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],[.,.]],[.,[.,[.,.]]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[.,.],[.,.]],[.,[[.,.],.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[.,.],[.,.]],[[.,.],[.,.]]]=>([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,3),(2,3),(2,4)],5) [[[.,.],[.,.]],[[.,[.,.]],.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[.,.],[.,.]],[[[.,.],.],.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[.,[.,.]],.],[.,[.,[.,.]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[.,.]],.],[.,[[.,.],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[.,.]],.],[[.,.],[.,.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[.,[.,.]],.],[[.,[.,.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[.,.]],.],[[[.,.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,.],.],.],[.,[.,[.,.]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,.],.],.],[.,[[.,.],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,.],.],.],[[.,.],[.,.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[[.,.],.],.],[[.,[.,.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,.],.],.],[[[.,.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,[.,[.,.]]]],[.,[.,.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,[.,[.,.]]]],[[.,.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,[[.,.],.]]],[.,[.,.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,[[.,.],.]]],[[.,.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[.,.],[.,.]]],[.,[.,.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,[[.,.],[.,.]]],[[.,.],.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,[[.,[.,.]],.]],[.,[.,.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[.,[.,.]],.]],[[.,.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[[.,.],.],.]],[.,[.,.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[[.,.],.],.]],[[.,.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],[.,[.,.]]],[.,[.,.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[[.,.],[.,[.,.]]],[[.,.],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[[.,.],[[.,.],.]],[.,[.,.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[[.,.],[[.,.],.]],[[.,.],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[[.,[.,.]],[.,.]],[.,[.,.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[[.,[.,.]],[.,.]],[[.,.],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[[[.,.],.],[.,.]],[.,[.,.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[[[.,.],.],[.,.]],[[.,.],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[[.,[.,[.,.]]],.],[.,[.,.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[.,[.,.]]],.],[[.,.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[[.,.],.]],.],[.,[.,.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[[.,.],.]],.],[[.,.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,.],[.,.]],.],[.,[.,.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[[.,.],[.,.]],.],[[.,.],.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[[.,[.,.]],.],.],[.,[.,.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,[.,.]],.],.],[[.,.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[[.,.],.],.],.],[.,[.,.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[[.,.],.],.],.],[[.,.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,[.,[.,[.,.]]]]],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,[.,[[.,.],.]]]],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,[[.,.],[.,.]]]],[.,.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,[.,[[.,[.,.]],.]]],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,[[[.,.],.],.]]],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[.,.],[.,[.,.]]]],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[.,[[.,.],[[.,.],.]]],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[.,[[.,[.,.]],[.,.]]],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[.,[[[.,.],.],[.,.]]],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[.,[[.,[.,[.,.]]],.]],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[.,[[.,.],.]],.]],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[[.,.],[.,.]],.]],[.,.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,[[[.,[.,.]],.],.]],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[[[.,.],.],.],.]],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],[.,[.,[.,.]]]],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[[.,.],[.,[[.,.],.]]],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[[.,.],[[.,.],[.,.]]],[.,.]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [[[.,.],[[.,[.,.]],.]],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[[.,.],[[[.,.],.],.]],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[[.,[.,.]],[.,[.,.]]],[.,.]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7) [[[.,[.,.]],[[.,.],.]],[.,.]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7) [[[[.,.],.],[.,[.,.]]],[.,.]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7) [[[[.,.],.],[[.,.],.]],[.,.]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7) [[[.,[.,[.,.]]],[.,.]],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[[.,[[.,.],.]],[.,.]],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[[[.,.],[.,.]],[.,.]],[.,.]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [[[[.,[.,.]],.],[.,.]],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[[[[.,.],.],.],[.,.]],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[[.,[.,[.,[.,.]]]],.],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[.,[[.,.],.]]],.],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[[.,.],[.,.]]],.],[.,.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[.,[[.,[.,.]],.]],.],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[[[.,.],.],.]],.],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,.],[.,[.,.]]],.],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[[[.,.],[[.,.],.]],.],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[[[.,[.,.]],[.,.]],.],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[[[[.,.],.],[.,.]],.],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[[[.,[.,[.,.]]],.],.],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,[[.,.],.]],.],.],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[[.,.],[.,.]],.],.],[.,.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[[[.,[.,.]],.],.],.],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[[[.,.],.],.],.],.],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,[.,[.,[.,[.,.]]]]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,[.,[.,[[.,.],.]]]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,[.,[[.,.],[.,.]]]]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,[.,[.,[[.,[.,.]],.]]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,[.,[[[.,.],.],.]]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,[[.,.],[.,[.,.]]]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[.,[.,[[.,.],[[.,.],.]]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[.,[.,[[.,[.,.]],[.,.]]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[.,[.,[[[.,.],.],[.,.]]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[.,[.,[[.,[.,[.,.]]],.]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,[[.,[[.,.],.]],.]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,[[[.,.],[.,.]],.]]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,[.,[[[.,[.,.]],.],.]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,[[[[.,.],.],.],.]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[.,.],[.,[.,[.,.]]]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[.,[[.,.],[.,[[.,.],.]]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[.,[[.,.],[[.,.],[.,.]]]],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [[.,[[.,.],[[.,[.,.]],.]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[.,[[.,.],[[[.,.],.],.]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[.,[[.,[.,.]],[.,[.,.]]]],.]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7) [[.,[[.,[.,.]],[[.,.],.]]],.]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7) [[.,[[[.,.],.],[.,[.,.]]]],.]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7) [[.,[[[.,.],.],[[.,.],.]]],.]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7) [[.,[[.,[.,[.,.]]],[.,.]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[.,[[.,[[.,.],.]],[.,.]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[.,[[[.,.],[.,.]],[.,.]]],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [[.,[[[.,[.,.]],.],[.,.]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[.,[[[[.,.],.],.],[.,.]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[.,[[.,[.,[.,[.,.]]]],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[.,[.,[[.,.],.]]],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[.,[[.,.],[.,.]]],.]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,[[.,[[.,[.,.]],.]],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[.,[[[.,.],.],.]],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[[.,.],[.,[.,.]]],.]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[.,[[[.,.],[[.,.],.]],.]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[.,[[[.,[.,.]],[.,.]],.]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[.,[[[[.,.],.],[.,.]],.]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[.,[[[.,[.,[.,.]]],.],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[[.,[[.,.],.]],.],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[[[.,.],[.,.]],.],.]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[.,[[[[.,[.,.]],.],.],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[[[[.,.],.],.],.],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],[.,[.,[.,[.,.]]]]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[.,.],[.,[.,[[.,.],.]]]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[.,.],[.,[[.,.],[.,.]]]],.]=>([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,3),(2,3),(2,4)],5) [[[.,.],[.,[[.,[.,.]],.]]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[.,.],[.,[[[.,.],.],.]]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[.,.],[[.,.],[.,[.,.]]]],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [[[.,.],[[.,.],[[.,.],.]]],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [[[.,.],[[.,[.,.]],[.,.]]],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [[[.,.],[[[.,.],.],[.,.]]],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [[[.,.],[[.,[.,[.,.]]],.]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[.,.],[[.,[[.,.],.]],.]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[.,.],[[[.,.],[.,.]],.]],.]=>([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,3),(2,3),(2,4)],5) [[[.,.],[[[.,[.,.]],.],.]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[.,.],[[[[.,.],.],.],.]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[.,[.,.]],[.,[.,[.,.]]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[[.,[.,.]],[.,[[.,.],.]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[[.,[.,.]],[[.,.],[.,.]]],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [[[.,[.,.]],[[.,[.,.]],.]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[[.,[.,.]],[[[.,.],.],.]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[[[.,.],.],[.,[.,[.,.]]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[[[.,.],.],[.,[[.,.],.]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[[[.,.],.],[[.,.],[.,.]]],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [[[[.,.],.],[[.,[.,.]],.]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[[[.,.],.],[[[.,.],.],.]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[[.,[.,[.,.]]],[.,[.,.]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[[.,[.,[.,.]]],[[.,.],.]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[[.,[[.,.],.]],[.,[.,.]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[[.,[[.,.],.]],[[.,.],.]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[[[.,.],[.,.]],[.,[.,.]]],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [[[[.,.],[.,.]],[[.,.],.]],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [[[[.,[.,.]],.],[.,[.,.]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[[[.,[.,.]],.],[[.,.],.]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[[[[.,.],.],.],[.,[.,.]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[[[[.,.],.],.],[[.,.],.]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[[.,[.,[.,[.,.]]]],[.,.]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[.,[.,[[.,.],.]]],[.,.]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[.,[[.,.],[.,.]]],[.,.]],.]=>([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,3),(2,3),(2,4)],5) [[[.,[[.,[.,.]],.]],[.,.]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[.,[[[.,.],.],.]],[.,.]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[[.,.],[.,[.,.]]],[.,.]],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [[[[.,.],[[.,.],.]],[.,.]],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [[[[.,[.,.]],[.,.]],[.,.]],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [[[[[.,.],.],[.,.]],[.,.]],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [[[[.,[.,[.,.]]],.],[.,.]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[[.,[[.,.],.]],.],[.,.]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[[[.,.],[.,.]],.],[.,.]],.]=>([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,3),(2,3),(2,4)],5) [[[[[.,[.,.]],.],.],[.,.]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[[[[.,.],.],.],.],[.,.]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[.,[.,[.,[.,[.,.]]]]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[.,[.,[[.,.],.]]]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[.,[[.,.],[.,.]]]],.],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[.,[.,[[.,[.,.]],.]]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[.,[[[.,.],.],.]]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[[.,.],[.,[.,.]]]],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[[.,[[.,.],[[.,.],.]]],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[[.,[[.,[.,.]],[.,.]]],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[[.,[[[.,.],.],[.,.]]],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[[.,[[.,[.,[.,.]]],.]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[[.,[[.,.],.]],.]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[[[.,.],[.,.]],.]],.],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[.,[[[.,[.,.]],.],.]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[[[[.,.],.],.],.]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,.],[.,[.,[.,.]]]],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[[[.,.],[.,[[.,.],.]]],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[[[.,.],[[.,.],[.,.]]],.],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [[[[.,.],[[.,[.,.]],.]],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[[[.,.],[[[.,.],.],.]],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[[[.,[.,.]],[.,[.,.]]],.],.]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7) [[[[.,[.,.]],[[.,.],.]],.],.]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7) [[[[[.,.],.],[.,[.,.]]],.],.]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7) [[[[[.,.],.],[[.,.],.]],.],.]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7) [[[[.,[.,[.,.]]],[.,.]],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[[[.,[[.,.],.]],[.,.]],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[[[[.,.],[.,.]],[.,.]],.],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6) [[[[[.,[.,.]],.],[.,.]],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[[[[[.,.],.],.],[.,.]],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[[[.,[.,[.,[.,.]]]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,[.,[[.,.],.]]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,[[.,.],[.,.]]],.],.],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[[.,[[.,[.,.]],.]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,[[[.,.],.],.]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[[.,.],[.,[.,.]]],.],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[[[[.,.],[[.,.],.]],.],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[[[[.,[.,.]],[.,.]],.],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[[[[[.,.],.],[.,.]],.],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) [[[[[.,[.,[.,.]]],.],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[[.,[[.,.],.]],.],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[[[.,.],[.,.]],.],.],.],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6) [[[[[[.,[.,.]],.],.],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[[[[.,.],.],.],.],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[.,[.,[.,[[.,.],[.,.]]]]]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[.,[.,[[[.,.],[.,.]],.]]]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[.,[[.,.],[.,[.,[.,.]]]]]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [.,[.,[.,[[.,.],[.,[[.,.],.]]]]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [.,[.,[.,[[.,.],[[.,[.,.]],.]]]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [.,[.,[.,[[.,.],[[[.,.],.],.]]]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [.,[.,[.,[[.,[.,[.,.]]],[.,.]]]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [.,[.,[.,[[.,[[.,.],.]],[.,.]]]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [.,[.,[.,[[[.,[.,.]],.],[.,.]]]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [.,[.,[.,[[[[.,.],.],.],[.,.]]]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [.,[.,[.,[[.,[[.,.],[.,.]]],.]]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[.,[[[[.,.],[.,.]],.],.]]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[[.,[.,[[.,.],[.,.]]]],.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[[.,[[[.,.],[.,.]],.]],.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[[[.,.],[.,[.,[.,.]]]],.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [.,[.,[[[.,.],[.,[[.,.],.]]],.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [.,[.,[[[.,.],[[.,[.,.]],.]],.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [.,[.,[[[.,.],[[[.,.],.],.]],.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [.,[.,[[[.,[.,[.,.]]],[.,.]],.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [.,[.,[[[.,[[.,.],.]],[.,.]],.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [.,[.,[[[[.,[.,.]],.],[.,.]],.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [.,[.,[[[[[.,.],.],.],[.,.]],.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [.,[.,[[[.,[[.,.],[.,.]]],.],.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[.,[[[[[.,.],[.,.]],.],.],.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,.],[.,[.,[.,[.,[.,.]]]]]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,.],[.,[.,[.,[[.,.],.]]]]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,.],[.,[.,[[.,[.,.]],.]]]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,.],[.,[.,[[[.,.],.],.]]]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,.],[.,[[.,[.,[.,.]]],.]]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,.],[.,[[.,[[.,.],.]],.]]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,.],[.,[[[.,[.,.]],.],.]]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,.],[.,[[[[.,.],.],.],.]]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,.],[[.,[.,[.,[.,.]]]],.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,.],[[.,[.,[[.,.],.]]],.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,.],[[.,[[.,[.,.]],.]],.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,.],[[.,[[[.,.],.],.]],.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,.],[[[.,[.,[.,.]]],.],.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,.],[[[.,[[.,.],.]],.],.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,.],[[[[.,[.,.]],.],.],.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,.],[[[[[.,.],.],.],.],.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,[.,[.,.]]],[.,[.,[.,.]]]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [.,[[.,[.,[.,.]]],[.,[[.,.],.]]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [.,[[.,[.,[.,.]]],[[.,[.,.]],.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [.,[[.,[.,[.,.]]],[[[.,.],.],.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [.,[[.,[[.,.],.]],[.,[.,[.,.]]]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [.,[[.,[[.,.],.]],[.,[[.,.],.]]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [.,[[.,[[.,.],.]],[[.,[.,.]],.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [.,[[.,[[.,.],.]],[[[.,.],.],.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [.,[[[.,[.,.]],.],[.,[.,[.,.]]]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [.,[[[.,[.,.]],.],[.,[[.,.],.]]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [.,[[[.,[.,.]],.],[[.,[.,.]],.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [.,[[[.,[.,.]],.],[[[.,.],.],.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [.,[[[[.,.],.],.],[.,[.,[.,.]]]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [.,[[[[.,.],.],.],[.,[[.,.],.]]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [.,[[[[.,.],.],.],[[.,[.,.]],.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [.,[[[[.,.],.],.],[[[.,.],.],.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [.,[[.,[.,[.,[.,[.,.]]]]],[.,.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,[.,[.,[[.,.],.]]]],[.,.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,[.,[[.,[.,.]],.]]],[.,.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,[.,[[[.,.],.],.]]],[.,.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,[[.,[.,[.,.]]],.]],[.,.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,[[.,[[.,.],.]],.]],[.,.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,[[[.,[.,.]],.],.]],[.,.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,[[[[.,.],.],.],.]],[.,.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[.,[.,[.,[.,.]]]],.],[.,.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[.,[.,[[.,.],.]]],.],[.,.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[.,[[.,[.,.]],.]],.],[.,.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[.,[[[.,.],.],.]],.],[.,.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[[.,[.,[.,.]]],.],.],[.,.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[[.,[[.,.],.]],.],.],[.,.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[[[.,[.,.]],.],.],.],[.,.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[[[[.,.],.],.],.],.],[.,.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,[.,[.,[[.,.],[.,.]]]]],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,[.,[[[.,.],[.,.]],.]]],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,[[.,.],[.,[.,[.,.]]]]],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [.,[[.,[[.,.],[.,[[.,.],.]]]],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [.,[[.,[[.,.],[[.,[.,.]],.]]],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [.,[[.,[[.,.],[[[.,.],.],.]]],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [.,[[.,[[.,[.,[.,.]]],[.,.]]],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [.,[[.,[[.,[[.,.],.]],[.,.]]],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [.,[[.,[[[.,[.,.]],.],[.,.]]],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [.,[[.,[[[[.,.],.],.],[.,.]]],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [.,[[.,[[.,[[.,.],[.,.]]],.]],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[.,[[[[.,.],[.,.]],.],.]],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[.,[.,[[.,.],[.,.]]]],.],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[.,[[[.,.],[.,.]],.]],.],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[[.,.],[.,[.,[.,.]]]],.],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [.,[[[[.,.],[.,[[.,.],.]]],.],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [.,[[[[.,.],[[.,[.,.]],.]],.],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [.,[[[[.,.],[[[.,.],.],.]],.],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [.,[[[[.,[.,[.,.]]],[.,.]],.],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [.,[[[[.,[[.,.],.]],[.,.]],.],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [.,[[[[[.,[.,.]],.],[.,.]],.],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [.,[[[[[[.,.],.],.],[.,.]],.],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [.,[[[[.,[[.,.],[.,.]]],.],.],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [.,[[[[[[.,.],[.,.]],.],.],.],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[.,[.,[.,[[.,.],[.,.]]]]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[.,[.,[[[.,.],[.,.]],.]]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[.,[[.,.],[.,[.,[.,.]]]]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[.,.],[.,[[.,.],[.,[[.,.],.]]]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[.,.],[.,[[.,.],[[.,[.,.]],.]]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[.,.],[.,[[.,.],[[[.,.],.],.]]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[.,.],[.,[[.,[.,[.,.]]],[.,.]]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[.,.],[.,[[.,[[.,.],.]],[.,.]]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[.,.],[.,[[[.,[.,.]],.],[.,.]]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[.,.],[.,[[[[.,.],.],.],[.,.]]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[.,.],[.,[[.,[[.,.],[.,.]]],.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[.,[[[[.,.],[.,.]],.],.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[[.,[.,[[.,.],[.,.]]]],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[[.,[[[.,.],[.,.]],.]],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[[[.,.],[.,[.,[.,.]]]],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[.,.],[[[.,.],[.,[[.,.],.]]],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[.,.],[[[.,.],[[.,[.,.]],.]],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[.,.],[[[.,.],[[[.,.],.],.]],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[.,.],[[[.,[.,[.,.]]],[.,.]],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[.,.],[[[.,[[.,.],.]],[.,.]],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[.,.],[[[[.,[.,.]],.],[.,.]],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[.,.],[[[[[.,.],.],.],[.,.]],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[.,.],[[[.,[[.,.],[.,.]]],.],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,.],[[[[[.,.],[.,.]],.],.],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,.]],[.,[.,[[.,.],[.,.]]]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,.]],[.,[[[.,.],[.,.]],.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,.]],[[.,.],[.,[.,[.,.]]]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[.,[.,.]],[[.,.],[.,[[.,.],.]]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[.,[.,.]],[[.,.],[[.,[.,.]],.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[.,[.,.]],[[.,.],[[[.,.],.],.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[.,[.,.]],[[.,[.,[.,.]]],[.,.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[.,[.,.]],[[.,[[.,.],.]],[.,.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[.,[.,.]],[[[.,[.,.]],.],[.,.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[.,[.,.]],[[[[.,.],.],.],[.,.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[.,[.,.]],[[.,[[.,.],[.,.]]],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,.]],[[[[.,.],[.,.]],.],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],.],[.,[.,[[.,.],[.,.]]]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],.],[.,[[[.,.],[.,.]],.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],.],[[.,.],[.,[.,[.,.]]]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[.,.],.],[[.,.],[.,[[.,.],.]]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[.,.],.],[[.,.],[[.,[.,.]],.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[.,.],.],[[.,.],[[[.,.],.],.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[.,.],.],[[.,[.,[.,.]]],[.,.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[.,.],.],[[.,[[.,.],.]],[.,.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[.,.],.],[[[.,[.,.]],.],[.,.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[.,.],.],[[[[.,.],.],.],[.,.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[.,.],.],[[.,[[.,.],[.,.]]],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],.],[[[[.,.],[.,.]],.],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,[.,.]]],[.,[[.,.],[.,.]]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,[.,.]]],[[[.,.],[.,.]],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[.,.],.]],[.,[[.,.],[.,.]]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[.,.],.]],[[[.,.],[.,.]],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],[.,.]],[.,[.,[.,[.,.]]]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],[.,.]],[.,[.,[[.,.],.]]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],[.,.]],[.,[[.,[.,.]],.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],[.,.]],[.,[[[.,.],.],.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],[.,.]],[[.,[.,[.,.]]],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],[.,.]],[[.,[[.,.],.]],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],[.,.]],[[[.,[.,.]],.],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],[.,.]],[[[[.,.],.],.],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[.,.]],.],[.,[[.,.],[.,.]]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[.,.]],.],[[[.,.],[.,.]],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,.],.],.],[.,[[.,.],[.,.]]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,.],.],.],[[[.,.],[.,.]],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,[.,[.,.]]]],[[.,.],[.,.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,[[.,.],.]]],[[.,.],[.,.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[.,.],[.,.]]],[.,[.,[.,.]]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[.,.],[.,.]]],[.,[[.,.],.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[.,.],[.,.]]],[[.,[.,.]],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[.,.],[.,.]]],[[[.,.],.],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[.,[.,.]],.]],[[.,.],[.,.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[[.,.],.],.]],[[.,.],[.,.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[.,[.,.]]],.],[[.,.],[.,.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[[.,.],.]],.],[[.,.],[.,.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,.],[.,.]],.],[.,[.,[.,.]]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,.],[.,.]],.],[.,[[.,.],.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,.],[.,.]],.],[[.,[.,.]],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,.],[.,.]],.],[[[.,.],.],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,[.,.]],.],.],[[.,.],[.,.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[[.,.],.],.],.],[[.,.],[.,.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,[[.,.],[.,.]]]],[.,[.,.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,[[.,.],[.,.]]]],[[.,.],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[[.,.],[.,.]],.]],[.,[.,.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[[.,.],[.,.]],.]],[[.,.],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],[.,[.,[.,.]]]],[.,[.,.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[.,.],[.,[.,[.,.]]]],[[.,.],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[.,.],[.,[[.,.],.]]],[.,[.,.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[.,.],[.,[[.,.],.]]],[[.,.],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[.,.],[[.,[.,.]],.]],[.,[.,.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[.,.],[[.,[.,.]],.]],[[.,.],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[.,.],[[[.,.],.],.]],[.,[.,.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[.,.],[[[.,.],.],.]],[[.,.],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[.,[.,[.,.]]],[.,.]],[.,[.,.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[.,[.,[.,.]]],[.,.]],[[.,.],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[.,[[.,.],.]],[.,.]],[.,[.,.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[.,[[.,.],.]],[.,.]],[[.,.],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[[.,[.,.]],.],[.,.]],[.,[.,.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[[.,[.,.]],.],[.,.]],[[.,.],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[[[.,.],.],.],[.,.]],[.,[.,.]]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[[[.,.],.],.],[.,.]],[[.,.],.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[.,[[.,.],[.,.]]],.],[.,[.,.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[[.,.],[.,.]]],.],[[.,.],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[[.,.],[.,.]],.],.],[.,[.,.]]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[[.,.],[.,.]],.],.],[[.,.],.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,[.,[[.,.],[.,.]]]]],[.,.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,[[[.,.],[.,.]],.]]],[.,.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[.,.],[.,[.,[.,.]]]]],[.,.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[.,[[.,.],[.,[[.,.],.]]]],[.,.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[.,[[.,.],[[.,[.,.]],.]]],[.,.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[.,[[.,.],[[[.,.],.],.]]],[.,.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[.,[[.,[.,[.,.]]],[.,.]]],[.,.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[.,[[.,[[.,.],.]],[.,.]]],[.,.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[.,[[[.,[.,.]],.],[.,.]]],[.,.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[.,[[[[.,.],.],.],[.,.]]],[.,.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[.,[[.,[[.,.],[.,.]]],.]],[.,.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[[[.,.],[.,.]],.],.]],[.,.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[.,[[.,.],[.,.]]]],.],[.,.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[[[.,.],[.,.]],.]],.],[.,.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,.],[.,[.,[.,.]]]],.],[.,.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[[.,.],[.,[[.,.],.]]],.],[.,.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[[.,.],[[.,[.,.]],.]],.],[.,.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[[.,.],[[[.,.],.],.]],.],[.,.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[[.,[.,[.,.]]],[.,.]],.],[.,.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[[.,[[.,.],.]],[.,.]],.],[.,.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[[[.,[.,.]],.],[.,.]],.],[.,.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[[[[.,.],.],.],[.,.]],.],[.,.]]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[[.,[[.,.],[.,.]]],.],.],[.,.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[[[.,.],[.,.]],.],.],.],[.,.]]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,[.,[.,[[.,.],[.,.]]]]]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,[.,[[[.,.],[.,.]],.]]]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,[[.,.],[.,[.,[.,.]]]]]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[.,[.,[[.,.],[.,[[.,.],.]]]]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[.,[.,[[.,.],[[.,[.,.]],.]]]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[.,[.,[[.,.],[[[.,.],.],.]]]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[.,[.,[[.,[.,[.,.]]],[.,.]]]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[.,[.,[[.,[[.,.],.]],[.,.]]]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[.,[.,[[[.,[.,.]],.],[.,.]]]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[.,[.,[[[[.,.],.],.],[.,.]]]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[.,[.,[[.,[[.,.],[.,.]]],.]]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[.,[[[[.,.],[.,.]],.],.]]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[.,[.,[[.,.],[.,.]]]],.]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[.,[[[.,.],[.,.]],.]],.]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[[.,.],[.,[.,[.,.]]]],.]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[.,[[[.,.],[.,[[.,.],.]]],.]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[.,[[[.,.],[[.,[.,.]],.]],.]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[.,[[[.,.],[[[.,.],.],.]],.]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[.,[[[.,[.,[.,.]]],[.,.]],.]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[.,[[[.,[[.,.],.]],[.,.]],.]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[.,[[[[.,[.,.]],.],[.,.]],.]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[.,[[[[[.,.],.],.],[.,.]],.]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[.,[[[.,[[.,.],[.,.]]],.],.]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[.,[[[[[.,.],[.,.]],.],.],.]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],[.,[.,[.,[.,[.,.]]]]]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],[.,[.,[.,[[.,.],.]]]]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],[.,[.,[[.,[.,.]],.]]]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],[.,[.,[[[.,.],.],.]]]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],[.,[[.,[.,[.,.]]],.]]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],[.,[[.,[[.,.],.]],.]]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],[.,[[[.,[.,.]],.],.]]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],[.,[[[[.,.],.],.],.]]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],[[.,[.,[.,[.,.]]]],.]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],[[.,[.,[[.,.],.]]],.]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],[[.,[[.,[.,.]],.]],.]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],[[.,[[[.,.],.],.]],.]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],[[[.,[.,[.,.]]],.],.]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],[[[.,[[.,.],.]],.],.]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],[[[[.,[.,.]],.],.],.]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,.],[[[[[.,.],.],.],.],.]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[.,[.,.]]],[.,[.,[.,.]]]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[.,[.,[.,.]]],[.,[[.,.],.]]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[.,[.,[.,.]]],[[.,[.,.]],.]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[.,[.,[.,.]]],[[[.,.],.],.]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[.,[[.,.],.]],[.,[.,[.,.]]]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[.,[[.,.],.]],[.,[[.,.],.]]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[.,[[.,.],.]],[[.,[.,.]],.]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[.,[[.,.],.]],[[[.,.],.],.]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[[.,[.,.]],.],[.,[.,[.,.]]]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[[.,[.,.]],.],[.,[[.,.],.]]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[[.,[.,.]],.],[[.,[.,.]],.]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[[.,[.,.]],.],[[[.,.],.],.]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[[[.,.],.],.],[.,[.,[.,.]]]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[[[.,.],.],.],[.,[[.,.],.]]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[[[.,.],.],.],[[.,[.,.]],.]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[[[.,.],.],.],[[[.,.],.],.]],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[.,[.,[.,[.,[.,.]]]]],[.,.]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[.,[.,[[.,.],.]]]],[.,.]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[.,[[.,[.,.]],.]]],[.,.]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[.,[[[.,.],.],.]]],[.,.]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[[.,[.,[.,.]]],.]],[.,.]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[[.,[[.,.],.]],.]],[.,.]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[[[.,[.,.]],.],.]],[.,.]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[[[[.,.],.],.],.]],[.,.]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,[.,[.,[.,.]]]],.],[.,.]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,[.,[[.,.],.]]],.],[.,.]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,[[.,[.,.]],.]],.],[.,.]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,[[[.,.],.],.]],.],[.,.]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[[.,[.,[.,.]]],.],.],[.,.]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[[.,[[.,.],.]],.],.],[.,.]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[[[.,[.,.]],.],.],.],[.,.]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[[[[.,.],.],.],.],.],[.,.]],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[.,[.,[[.,.],[.,.]]]]],.],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[.,[[[.,.],[.,.]],.]]],.],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[[.,.],[.,[.,[.,.]]]]],.],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[.,[[.,.],[.,[[.,.],.]]]],.],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[.,[[.,.],[[.,[.,.]],.]]],.],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[.,[[.,.],[[[.,.],.],.]]],.],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[.,[[.,[.,[.,.]]],[.,.]]],.],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[.,[[.,[[.,.],.]],[.,.]]],.],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[.,[[[.,[.,.]],.],[.,.]]],.],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[.,[[[[.,.],.],.],[.,.]]],.],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[.,[[.,[[.,.],[.,.]]],.]],.],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[.,[[[[.,.],[.,.]],.],.]],.],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,[.,[[.,.],[.,.]]]],.],.],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[.,[[[.,.],[.,.]],.]],.],.],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[[.,.],[.,[.,[.,.]]]],.],.],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[[[.,.],[.,[[.,.],.]]],.],.],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[[[.,.],[[.,[.,.]],.]],.],.],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[[[.,.],[[[.,.],.],.]],.],.],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[[[.,[.,[.,.]]],[.,.]],.],.],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[[[.,[[.,.],.]],[.,.]],.],.],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[[[[.,[.,.]],.],[.,.]],.],.],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[[[[[.,.],.],.],[.,.]],.],.],.]=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)=>([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) [[[[[.,[[.,.],[.,.]]],.],.],.],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) [[[[[[[.,.],[.,.]],.],.],.],.],.]=>([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
Map
to graph
Description
Return the undirected graph obtained from the tree nodes and edges, with leaves being ignored.
Map
de-duplicate
Description
The de-duplicate of a graph.
Let $G = (V, E)$ be a graph. This map yields the graph whose vertex set is the set of (distinct) neighbourhoods $\{N_v | v \in V\}$ of $G$, and has an edge $(N_a, N_b)$ between two vertices if and only if $(a, b)$ is an edge of $G$. This is well-defined, because if $N_a = N_c$ and $N_b = N_d$, then $(a, b)\in E$ if and only if $(c, d)\in E$.
The image of this map is the set of so-called 'mating graphs' or 'point-determining graphs'.
This map preserves the chromatic number.