=>

[.,.]=>([],1)=>([],1)=>([],1) [.,[.,.]]=>([(0,1)],2)=>([],1)=>([],1) [[.,.],.]=>([(0,1)],2)=>([],1)=>([],1) [.,[.,[.,.]]]=>([(0,2),(1,2)],3)=>([(0,1)],2)=>([],2) [.,[[.,.],.]]=>([(0,2),(1,2)],3)=>([(0,1)],2)=>([],2) [[.,.],[.,.]]=>([(0,2),(1,2)],3)=>([(0,1)],2)=>([],2) [[.,[.,.]],.]=>([(0,2),(1,2)],3)=>([(0,1)],2)=>([],2) [[[.,.],.],.]=>([(0,2),(1,2)],3)=>([(0,1)],2)=>([],2) [.,[.,[.,[.,.]]]]=>([(0,3),(1,2),(2,3)],4)=>([(0,2),(1,2)],3)=>([(1,2)],3) [.,[.,[[.,.],.]]]=>([(0,3),(1,2),(2,3)],4)=>([(0,2),(1,2)],3)=>([(1,2)],3) [.,[[.,.],[.,.]]]=>([(0,3),(1,3),(2,3)],4)=>([(0,1),(0,2),(1,2)],3)=>([],3) [.,[[.,[.,.]],.]]=>([(0,3),(1,2),(2,3)],4)=>([(0,2),(1,2)],3)=>([(1,2)],3) [.,[[[.,.],.],.]]=>([(0,3),(1,2),(2,3)],4)=>([(0,2),(1,2)],3)=>([(1,2)],3) [[.,.],[.,[.,.]]]=>([(0,3),(1,2),(2,3)],4)=>([(0,2),(1,2)],3)=>([(1,2)],3) [[.,.],[[.,.],.]]=>([(0,3),(1,2),(2,3)],4)=>([(0,2),(1,2)],3)=>([(1,2)],3) [[.,[.,.]],[.,.]]=>([(0,3),(1,2),(2,3)],4)=>([(0,2),(1,2)],3)=>([(1,2)],3) [[[.,.],.],[.,.]]=>([(0,3),(1,2),(2,3)],4)=>([(0,2),(1,2)],3)=>([(1,2)],3) [[.,[.,[.,.]]],.]=>([(0,3),(1,2),(2,3)],4)=>([(0,2),(1,2)],3)=>([(1,2)],3) [[.,[[.,.],.]],.]=>([(0,3),(1,2),(2,3)],4)=>([(0,2),(1,2)],3)=>([(1,2)],3) [[[.,.],[.,.]],.]=>([(0,3),(1,3),(2,3)],4)=>([(0,1),(0,2),(1,2)],3)=>([],3) [[[.,[.,.]],.],.]=>([(0,3),(1,2),(2,3)],4)=>([(0,2),(1,2)],3)=>([(1,2)],3) [[[[.,.],.],.],.]=>([(0,3),(1,2),(2,3)],4)=>([(0,2),(1,2)],3)=>([(1,2)],3) [.,[.,[.,[.,[.,.]]]]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4) [.,[.,[.,[[.,.],.]]]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4) [.,[.,[[.,.],[.,.]]]]=>([(0,4),(1,4),(2,3),(3,4)],5)=>([(0,3),(1,2),(1,3),(2,3)],4)=>([(1,3),(2,3)],4) [.,[.,[[.,[.,.]],.]]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4) [.,[.,[[[.,.],.],.]]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4) [.,[[.,.],[.,[.,.]]]]=>([(0,4),(1,4),(2,3),(3,4)],5)=>([(0,3),(1,2),(1,3),(2,3)],4)=>([(1,3),(2,3)],4) [.,[[.,.],[[.,.],.]]]=>([(0,4),(1,4),(2,3),(3,4)],5)=>([(0,3),(1,2),(1,3),(2,3)],4)=>([(1,3),(2,3)],4) [.,[[.,[.,.]],[.,.]]]=>([(0,4),(1,4),(2,3),(3,4)],5)=>([(0,3),(1,2),(1,3),(2,3)],4)=>([(1,3),(2,3)],4) [.,[[[.,.],.],[.,.]]]=>([(0,4),(1,4),(2,3),(3,4)],5)=>([(0,3),(1,2),(1,3),(2,3)],4)=>([(1,3),(2,3)],4) [.,[[.,[.,[.,.]]],.]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4) [.,[[.,[[.,.],.]],.]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4) [.,[[[.,.],[.,.]],.]]=>([(0,4),(1,4),(2,3),(3,4)],5)=>([(0,3),(1,2),(1,3),(2,3)],4)=>([(1,3),(2,3)],4) [.,[[[.,[.,.]],.],.]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4) [.,[[[[.,.],.],.],.]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4) [[.,.],[.,[.,[.,.]]]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4) [[.,.],[.,[[.,.],.]]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4) [[.,.],[[.,.],[.,.]]]=>([(0,4),(1,4),(2,3),(3,4)],5)=>([(0,3),(1,2),(1,3),(2,3)],4)=>([(1,3),(2,3)],4) [[.,.],[[.,[.,.]],.]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4) [[.,.],[[[.,.],.],.]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4) [[.,[.,.]],[.,[.,.]]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4) [[.,[.,.]],[[.,.],.]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4) [[[.,.],.],[.,[.,.]]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4) [[[.,.],.],[[.,.],.]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4) [[.,[.,[.,.]]],[.,.]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4) [[.,[[.,.],.]],[.,.]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4) [[[.,.],[.,.]],[.,.]]=>([(0,4),(1,4),(2,3),(3,4)],5)=>([(0,3),(1,2),(1,3),(2,3)],4)=>([(1,3),(2,3)],4) [[[.,[.,.]],.],[.,.]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4) [[[[.,.],.],.],[.,.]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4) [[.,[.,[.,[.,.]]]],.]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4) [[.,[.,[[.,.],.]]],.]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4) [[.,[[.,.],[.,.]]],.]=>([(0,4),(1,4),(2,3),(3,4)],5)=>([(0,3),(1,2),(1,3),(2,3)],4)=>([(1,3),(2,3)],4) [[.,[[.,[.,.]],.]],.]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4) [[.,[[[.,.],.],.]],.]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4) [[[.,.],[.,[.,.]]],.]=>([(0,4),(1,4),(2,3),(3,4)],5)=>([(0,3),(1,2),(1,3),(2,3)],4)=>([(1,3),(2,3)],4) [[[.,.],[[.,.],.]],.]=>([(0,4),(1,4),(2,3),(3,4)],5)=>([(0,3),(1,2),(1,3),(2,3)],4)=>([(1,3),(2,3)],4) [[[.,[.,.]],[.,.]],.]=>([(0,4),(1,4),(2,3),(3,4)],5)=>([(0,3),(1,2),(1,3),(2,3)],4)=>([(1,3),(2,3)],4) [[[[.,.],.],[.,.]],.]=>([(0,4),(1,4),(2,3),(3,4)],5)=>([(0,3),(1,2),(1,3),(2,3)],4)=>([(1,3),(2,3)],4) [[[.,[.,[.,.]]],.],.]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4) [[[.,[[.,.],.]],.],.]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4) [[[[.,.],[.,.]],.],.]=>([(0,4),(1,4),(2,3),(3,4)],5)=>([(0,3),(1,2),(1,3),(2,3)],4)=>([(1,3),(2,3)],4) [[[[.,[.,.]],.],.],.]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4) [[[[[.,.],.],.],.],.]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4) [.,[.,[.,[.,[.,[.,.]]]]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [.,[.,[.,[.,[[.,.],.]]]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [.,[.,[.,[[.,.],[.,.]]]]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,3),(1,2),(1,4),(2,4),(3,4)],5)=>([(0,4),(1,2),(1,3),(2,4),(3,4)],5) [.,[.,[.,[[.,[.,.]],.]]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [.,[.,[.,[[[.,.],.],.]]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [.,[.,[[.,.],[.,[.,.]]]]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5) [.,[.,[[.,.],[[.,.],.]]]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5) [.,[.,[[.,[.,.]],[.,.]]]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5) [.,[.,[[[.,.],.],[.,.]]]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5) [.,[.,[[.,[.,[.,.]]],.]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [.,[.,[[.,[[.,.],.]],.]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [.,[.,[[[.,.],[.,.]],.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,3),(1,2),(1,4),(2,4),(3,4)],5)=>([(0,4),(1,2),(1,3),(2,4),(3,4)],5) [.,[.,[[[.,[.,.]],.],.]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [.,[.,[[[[.,.],.],.],.]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [.,[[.,.],[.,[.,[.,.]]]]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,3),(1,2),(1,4),(2,4),(3,4)],5)=>([(0,4),(1,2),(1,3),(2,4),(3,4)],5) [.,[[.,.],[.,[[.,.],.]]]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,3),(1,2),(1,4),(2,4),(3,4)],5)=>([(0,4),(1,2),(1,3),(2,4),(3,4)],5) [.,[[.,.],[[.,.],[.,.]]]]=>([(0,5),(1,5),(2,4),(3,4),(4,5)],6)=>([(0,3),(0,4),(1,2),(1,4),(2,4),(3,4)],5)=>([(1,3),(1,4),(2,3),(2,4)],5) [.,[[.,.],[[.,[.,.]],.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,3),(1,2),(1,4),(2,4),(3,4)],5)=>([(0,4),(1,2),(1,3),(2,4),(3,4)],5) [.,[[.,.],[[[.,.],.],.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,3),(1,2),(1,4),(2,4),(3,4)],5)=>([(0,4),(1,2),(1,3),(2,4),(3,4)],5) [.,[[.,[.,.]],[.,[.,.]]]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5) [.,[[.,[.,.]],[[.,.],.]]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5) [.,[[[.,.],.],[.,[.,.]]]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5) [.,[[[.,.],.],[[.,.],.]]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5) [.,[[.,[.,[.,.]]],[.,.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,3),(1,2),(1,4),(2,4),(3,4)],5)=>([(0,4),(1,2),(1,3),(2,4),(3,4)],5) [.,[[.,[[.,.],.]],[.,.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,3),(1,2),(1,4),(2,4),(3,4)],5)=>([(0,4),(1,2),(1,3),(2,4),(3,4)],5) [.,[[[.,.],[.,.]],[.,.]]]=>([(0,5),(1,5),(2,4),(3,4),(4,5)],6)=>([(0,3),(0,4),(1,2),(1,4),(2,4),(3,4)],5)=>([(1,3),(1,4),(2,3),(2,4)],5) [.,[[[.,[.,.]],.],[.,.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,3),(1,2),(1,4),(2,4),(3,4)],5)=>([(0,4),(1,2),(1,3),(2,4),(3,4)],5) [.,[[[[.,.],.],.],[.,.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,3),(1,2),(1,4),(2,4),(3,4)],5)=>([(0,4),(1,2),(1,3),(2,4),(3,4)],5) [.,[[.,[.,[.,[.,.]]]],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [.,[[.,[.,[[.,.],.]]],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [.,[[.,[[.,.],[.,.]]],.]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,3),(1,2),(1,4),(2,4),(3,4)],5)=>([(0,4),(1,2),(1,3),(2,4),(3,4)],5) [.,[[.,[[.,[.,.]],.]],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [.,[[.,[[[.,.],.],.]],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [.,[[[.,.],[.,[.,.]]],.]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5) [.,[[[.,.],[[.,.],.]],.]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5) [.,[[[.,[.,.]],[.,.]],.]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5) [.,[[[[.,.],.],[.,.]],.]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5) [.,[[[.,[.,[.,.]]],.],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [.,[[[.,[[.,.],.]],.],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [.,[[[[.,.],[.,.]],.],.]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,3),(1,2),(1,4),(2,4),(3,4)],5)=>([(0,4),(1,2),(1,3),(2,4),(3,4)],5) [.,[[[[.,[.,.]],.],.],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [.,[[[[[.,.],.],.],.],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[.,.],[.,[.,[.,[.,.]]]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[.,.],[.,[.,[[.,.],.]]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[.,.],[.,[[.,.],[.,.]]]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,3),(1,2),(1,4),(2,4),(3,4)],5)=>([(0,4),(1,2),(1,3),(2,4),(3,4)],5) [[.,.],[.,[[.,[.,.]],.]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[.,.],[.,[[[.,.],.],.]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[.,.],[[.,.],[.,[.,.]]]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[.,.],[[.,.],[[.,.],.]]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[.,.],[[.,[.,.]],[.,.]]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[.,.],[[[.,.],.],[.,.]]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[.,.],[[.,[.,[.,.]]],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[.,.],[[.,[[.,.],.]],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[.,.],[[[.,.],[.,.]],.]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,3),(1,2),(1,4),(2,4),(3,4)],5)=>([(0,4),(1,2),(1,3),(2,4),(3,4)],5) [[.,.],[[[.,[.,.]],.],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[.,.],[[[[.,.],.],.],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[.,[.,.]],[.,[.,[.,.]]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[.,[.,.]],[.,[[.,.],.]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[.,[.,.]],[[.,.],[.,.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,3),(1,2),(1,4),(2,4),(3,4)],5)=>([(0,4),(1,2),(1,3),(2,4),(3,4)],5) [[.,[.,.]],[[.,[.,.]],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[.,[.,.]],[[[.,.],.],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[[.,.],.],[.,[.,[.,.]]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[[.,.],.],[.,[[.,.],.]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[[.,.],.],[[.,.],[.,.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,3),(1,2),(1,4),(2,4),(3,4)],5)=>([(0,4),(1,2),(1,3),(2,4),(3,4)],5) [[[.,.],.],[[.,[.,.]],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[[.,.],.],[[[.,.],.],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[.,[.,[.,.]]],[.,[.,.]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[.,[.,[.,.]]],[[.,.],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[.,[[.,.],.]],[.,[.,.]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[.,[[.,.],.]],[[.,.],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[[.,.],[.,.]],[.,[.,.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,3),(1,2),(1,4),(2,4),(3,4)],5)=>([(0,4),(1,2),(1,3),(2,4),(3,4)],5) [[[.,.],[.,.]],[[.,.],.]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,3),(1,2),(1,4),(2,4),(3,4)],5)=>([(0,4),(1,2),(1,3),(2,4),(3,4)],5) [[[.,[.,.]],.],[.,[.,.]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[[.,[.,.]],.],[[.,.],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[[[.,.],.],.],[.,[.,.]]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[[[.,.],.],.],[[.,.],.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[.,[.,[.,[.,.]]]],[.,.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[.,[.,[[.,.],.]]],[.,.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[.,[[.,.],[.,.]]],[.,.]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,3),(1,2),(1,4),(2,4),(3,4)],5)=>([(0,4),(1,2),(1,3),(2,4),(3,4)],5) [[.,[[.,[.,.]],.]],[.,.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[.,[[[.,.],.],.]],[.,.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[[.,.],[.,[.,.]]],[.,.]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[[.,.],[[.,.],.]],[.,.]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[[.,[.,.]],[.,.]],[.,.]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[[[.,.],.],[.,.]],[.,.]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[[.,[.,[.,.]]],.],[.,.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[[.,[[.,.],.]],.],[.,.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[[[.,.],[.,.]],.],[.,.]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,3),(1,2),(1,4),(2,4),(3,4)],5)=>([(0,4),(1,2),(1,3),(2,4),(3,4)],5) [[[[.,[.,.]],.],.],[.,.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[[[[.,.],.],.],.],[.,.]]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[.,[.,[.,[.,[.,.]]]]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[.,[.,[.,[[.,.],.]]]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[.,[.,[[.,.],[.,.]]]],.]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,3),(1,2),(1,4),(2,4),(3,4)],5)=>([(0,4),(1,2),(1,3),(2,4),(3,4)],5) [[.,[.,[[.,[.,.]],.]]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[.,[.,[[[.,.],.],.]]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[.,[[.,.],[.,[.,.]]]],.]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[.,[[.,.],[[.,.],.]]],.]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[.,[[.,[.,.]],[.,.]]],.]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[.,[[[.,.],.],[.,.]]],.]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[.,[[.,[.,[.,.]]],.]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[.,[[.,[[.,.],.]],.]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[.,[[[.,.],[.,.]],.]],.]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,3),(1,2),(1,4),(2,4),(3,4)],5)=>([(0,4),(1,2),(1,3),(2,4),(3,4)],5) [[.,[[[.,[.,.]],.],.]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[.,[[[[.,.],.],.],.]],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[[.,.],[.,[.,[.,.]]]],.]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,3),(1,2),(1,4),(2,4),(3,4)],5)=>([(0,4),(1,2),(1,3),(2,4),(3,4)],5) [[[.,.],[.,[[.,.],.]]],.]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,3),(1,2),(1,4),(2,4),(3,4)],5)=>([(0,4),(1,2),(1,3),(2,4),(3,4)],5) [[[.,.],[[.,.],[.,.]]],.]=>([(0,5),(1,5),(2,4),(3,4),(4,5)],6)=>([(0,3),(0,4),(1,2),(1,4),(2,4),(3,4)],5)=>([(1,3),(1,4),(2,3),(2,4)],5) [[[.,.],[[.,[.,.]],.]],.]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,3),(1,2),(1,4),(2,4),(3,4)],5)=>([(0,4),(1,2),(1,3),(2,4),(3,4)],5) [[[.,.],[[[.,.],.],.]],.]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,3),(1,2),(1,4),(2,4),(3,4)],5)=>([(0,4),(1,2),(1,3),(2,4),(3,4)],5) [[[.,[.,.]],[.,[.,.]]],.]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[[.,[.,.]],[[.,.],.]],.]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[[[.,.],.],[.,[.,.]]],.]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[[[.,.],.],[[.,.],.]],.]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[[.,[.,[.,.]]],[.,.]],.]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,3),(1,2),(1,4),(2,4),(3,4)],5)=>([(0,4),(1,2),(1,3),(2,4),(3,4)],5) [[[.,[[.,.],.]],[.,.]],.]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,3),(1,2),(1,4),(2,4),(3,4)],5)=>([(0,4),(1,2),(1,3),(2,4),(3,4)],5) [[[[.,.],[.,.]],[.,.]],.]=>([(0,5),(1,5),(2,4),(3,4),(4,5)],6)=>([(0,3),(0,4),(1,2),(1,4),(2,4),(3,4)],5)=>([(1,3),(1,4),(2,3),(2,4)],5) [[[[.,[.,.]],.],[.,.]],.]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,3),(1,2),(1,4),(2,4),(3,4)],5)=>([(0,4),(1,2),(1,3),(2,4),(3,4)],5) [[[[[.,.],.],.],[.,.]],.]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,3),(1,2),(1,4),(2,4),(3,4)],5)=>([(0,4),(1,2),(1,3),(2,4),(3,4)],5) [[[.,[.,[.,[.,.]]]],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[[.,[.,[[.,.],.]]],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[[.,[[.,.],[.,.]]],.],.]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,3),(1,2),(1,4),(2,4),(3,4)],5)=>([(0,4),(1,2),(1,3),(2,4),(3,4)],5) [[[.,[[.,[.,.]],.]],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[[.,[[[.,.],.],.]],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[[[.,.],[.,[.,.]]],.],.]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[[[.,.],[[.,.],.]],.],.]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[[[.,[.,.]],[.,.]],.],.]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[[[[.,.],.],[.,.]],.],.]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>([(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[[[.,[.,[.,.]]],.],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[[[.,[[.,.],.]],.],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[[[[.,.],[.,.]],.],.],.]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,3),(1,2),(1,4),(2,4),(3,4)],5)=>([(0,4),(1,2),(1,3),(2,4),(3,4)],5) [[[[[.,[.,.]],.],.],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [[[[[[.,.],.],.],.],.],.]=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) [.,[.,[.,[.,[.,[.,[.,.]]]]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[.,[.,[.,[.,[[.,.],.]]]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[.,[.,[.,[[.,.],[.,.]]]]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [.,[.,[.,[.,[[.,[.,.]],.]]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[.,[.,[.,[[[.,.],.],.]]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[.,[.,[[.,.],[.,[.,.]]]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [.,[.,[.,[[.,.],[[.,.],.]]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [.,[.,[.,[[.,[.,.]],[.,.]]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [.,[.,[.,[[[.,.],.],[.,.]]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [.,[.,[.,[[.,[.,[.,.]]],.]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[.,[.,[[.,[[.,.],.]],.]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[.,[.,[[[.,.],[.,.]],.]]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [.,[.,[.,[[[.,[.,.]],.],.]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[.,[.,[[[[.,.],.],.],.]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[.,[[.,.],[.,[.,[.,.]]]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [.,[.,[[.,.],[.,[[.,.],.]]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [.,[.,[[.,.],[[.,.],[.,.]]]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,5),(1,3),(1,4),(2,3),(2,4),(2,5),(3,5),(4,5)],6) [.,[.,[[.,.],[[.,[.,.]],.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [.,[.,[[.,.],[[[.,.],.],.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [.,[.,[[.,[.,.]],[.,[.,.]]]]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6) [.,[.,[[.,[.,.]],[[.,.],.]]]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6) [.,[.,[[[.,.],.],[.,[.,.]]]]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6) [.,[.,[[[.,.],.],[[.,.],.]]]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6) [.,[.,[[.,[.,[.,.]]],[.,.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [.,[.,[[.,[[.,.],.]],[.,.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [.,[.,[[[.,.],[.,.]],[.,.]]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,5),(1,3),(1,4),(2,3),(2,4),(2,5),(3,5),(4,5)],6) [.,[.,[[[.,[.,.]],.],[.,.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [.,[.,[[[[.,.],.],.],[.,.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [.,[.,[[.,[.,[.,[.,.]]]],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[.,[[.,[.,[[.,.],.]]],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[.,[[.,[[.,.],[.,.]]],.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [.,[.,[[.,[[.,[.,.]],.]],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[.,[[.,[[[.,.],.],.]],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[.,[[[.,.],[.,[.,.]]],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [.,[.,[[[.,.],[[.,.],.]],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [.,[.,[[[.,[.,.]],[.,.]],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [.,[.,[[[[.,.],.],[.,.]],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [.,[.,[[[.,[.,[.,.]]],.],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[.,[[[.,[[.,.],.]],.],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[.,[[[[.,.],[.,.]],.],.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [.,[.,[[[[.,[.,.]],.],.],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[.,[[[[[.,.],.],.],.],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[[.,.],[.,[.,[.,[.,.]]]]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [.,[[.,.],[.,[.,[[.,.],.]]]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [.,[[.,.],[.,[[.,.],[.,.]]]]]=>([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)=>([(0,1),(0,5),(1,5),(2,3),(2,4),(3,4),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(2,4),(2,5),(3,4),(3,5)],6) [.,[[.,.],[.,[[.,[.,.]],.]]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [.,[[.,.],[.,[[[.,.],.],.]]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [.,[[.,.],[[.,.],[.,[.,.]]]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,5),(1,3),(1,4),(2,3),(2,4),(2,5),(3,5),(4,5)],6) [.,[[.,.],[[.,.],[[.,.],.]]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,5),(1,3),(1,4),(2,3),(2,4),(2,5),(3,5),(4,5)],6) [.,[[.,.],[[.,[.,.]],[.,.]]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,5),(1,3),(1,4),(2,3),(2,4),(2,5),(3,5),(4,5)],6) [.,[[.,.],[[[.,.],.],[.,.]]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,5),(1,3),(1,4),(2,3),(2,4),(2,5),(3,5),(4,5)],6) [.,[[.,.],[[.,[.,[.,.]]],.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [.,[[.,.],[[.,[[.,.],.]],.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [.,[[.,.],[[[.,.],[.,.]],.]]]=>([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)=>([(0,1),(0,5),(1,5),(2,3),(2,4),(3,4),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(2,4),(2,5),(3,4),(3,5)],6) [.,[[.,.],[[[.,[.,.]],.],.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [.,[[.,.],[[[[.,.],.],.],.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [.,[[.,[.,.]],[.,[.,[.,.]]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [.,[[.,[.,.]],[.,[[.,.],.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [.,[[.,[.,.]],[[.,.],[.,.]]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,5),(1,3),(1,4),(2,3),(2,4),(2,5),(3,5),(4,5)],6) [.,[[.,[.,.]],[[.,[.,.]],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [.,[[.,[.,.]],[[[.,.],.],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [.,[[[.,.],.],[.,[.,[.,.]]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [.,[[[.,.],.],[.,[[.,.],.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [.,[[[.,.],.],[[.,.],[.,.]]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,5),(1,3),(1,4),(2,3),(2,4),(2,5),(3,5),(4,5)],6) [.,[[[.,.],.],[[.,[.,.]],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [.,[[[.,.],.],[[[.,.],.],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [.,[[.,[.,[.,.]]],[.,[.,.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [.,[[.,[.,[.,.]]],[[.,.],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [.,[[.,[[.,.],.]],[.,[.,.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [.,[[.,[[.,.],.]],[[.,.],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [.,[[[.,.],[.,.]],[.,[.,.]]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,5),(1,3),(1,4),(2,3),(2,4),(2,5),(3,5),(4,5)],6) [.,[[[.,.],[.,.]],[[.,.],.]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,5),(1,3),(1,4),(2,3),(2,4),(2,5),(3,5),(4,5)],6) [.,[[[.,[.,.]],.],[.,[.,.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [.,[[[.,[.,.]],.],[[.,.],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [.,[[[[.,.],.],.],[.,[.,.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [.,[[[[.,.],.],.],[[.,.],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [.,[[.,[.,[.,[.,.]]]],[.,.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [.,[[.,[.,[[.,.],.]]],[.,.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [.,[[.,[[.,.],[.,.]]],[.,.]]]=>([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)=>([(0,1),(0,5),(1,5),(2,3),(2,4),(3,4),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(2,4),(2,5),(3,4),(3,5)],6) [.,[[.,[[.,[.,.]],.]],[.,.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [.,[[.,[[[.,.],.],.]],[.,.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [.,[[[.,.],[.,[.,.]]],[.,.]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,5),(1,3),(1,4),(2,3),(2,4),(2,5),(3,5),(4,5)],6) [.,[[[.,.],[[.,.],.]],[.,.]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,5),(1,3),(1,4),(2,3),(2,4),(2,5),(3,5),(4,5)],6) [.,[[[.,[.,.]],[.,.]],[.,.]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,5),(1,3),(1,4),(2,3),(2,4),(2,5),(3,5),(4,5)],6) [.,[[[[.,.],.],[.,.]],[.,.]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,5),(1,3),(1,4),(2,3),(2,4),(2,5),(3,5),(4,5)],6) [.,[[[.,[.,[.,.]]],.],[.,.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [.,[[[.,[[.,.],.]],.],[.,.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [.,[[[[.,.],[.,.]],.],[.,.]]]=>([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)=>([(0,1),(0,5),(1,5),(2,3),(2,4),(3,4),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(2,4),(2,5),(3,4),(3,5)],6) [.,[[[[.,[.,.]],.],.],[.,.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [.,[[[[[.,.],.],.],.],[.,.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [.,[[.,[.,[.,[.,[.,.]]]]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[[.,[.,[.,[[.,.],.]]]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[[.,[.,[[.,.],[.,.]]]],.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [.,[[.,[.,[[.,[.,.]],.]]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[[.,[.,[[[.,.],.],.]]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[[.,[[.,.],[.,[.,.]]]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [.,[[.,[[.,.],[[.,.],.]]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [.,[[.,[[.,[.,.]],[.,.]]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [.,[[.,[[[.,.],.],[.,.]]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [.,[[.,[[.,[.,[.,.]]],.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[[.,[[.,[[.,.],.]],.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[[.,[[[.,.],[.,.]],.]],.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [.,[[.,[[[.,[.,.]],.],.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[[.,[[[[.,.],.],.],.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[[[.,.],[.,[.,[.,.]]]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [.,[[[.,.],[.,[[.,.],.]]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [.,[[[.,.],[[.,.],[.,.]]],.]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,5),(1,3),(1,4),(2,3),(2,4),(2,5),(3,5),(4,5)],6) [.,[[[.,.],[[.,[.,.]],.]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [.,[[[.,.],[[[.,.],.],.]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [.,[[[.,[.,.]],[.,[.,.]]],.]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6) [.,[[[.,[.,.]],[[.,.],.]],.]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6) [.,[[[[.,.],.],[.,[.,.]]],.]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6) [.,[[[[.,.],.],[[.,.],.]],.]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6) [.,[[[.,[.,[.,.]]],[.,.]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [.,[[[.,[[.,.],.]],[.,.]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [.,[[[[.,.],[.,.]],[.,.]],.]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,5),(1,3),(1,4),(2,3),(2,4),(2,5),(3,5),(4,5)],6) [.,[[[[.,[.,.]],.],[.,.]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [.,[[[[[.,.],.],.],[.,.]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [.,[[[.,[.,[.,[.,.]]]],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[[[.,[.,[[.,.],.]]],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[[[.,[[.,.],[.,.]]],.],.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [.,[[[.,[[.,[.,.]],.]],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[[[.,[[[.,.],.],.]],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[[[[.,.],[.,[.,.]]],.],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [.,[[[[.,.],[[.,.],.]],.],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [.,[[[[.,[.,.]],[.,.]],.],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [.,[[[[[.,.],.],[.,.]],.],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [.,[[[[.,[.,[.,.]]],.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[[[[.,[[.,.],.]],.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[[[[[.,.],[.,.]],.],.],.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [.,[[[[[.,[.,.]],.],.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [.,[[[[[[.,.],.],.],.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,.],[.,[.,[.,[.,[.,.]]]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,.],[.,[.,[.,[[.,.],.]]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,.],[.,[.,[[.,.],[.,.]]]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[.,.],[.,[.,[[.,[.,.]],.]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,.],[.,[.,[[[.,.],.],.]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,.],[.,[[.,.],[.,[.,.]]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[.,.],[.,[[.,.],[[.,.],.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[.,.],[.,[[.,[.,.]],[.,.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[.,.],[.,[[[.,.],.],[.,.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[.,.],[.,[[.,[.,[.,.]]],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,.],[.,[[.,[[.,.],.]],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,.],[.,[[[.,.],[.,.]],.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[.,.],[.,[[[.,[.,.]],.],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,.],[.,[[[[.,.],.],.],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,.],[[.,.],[.,[.,[.,.]]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[.,.],[[.,.],[.,[[.,.],.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[.,.],[[.,.],[[.,.],[.,.]]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,5),(1,3),(1,4),(2,3),(2,4),(2,5),(3,5),(4,5)],6) [[.,.],[[.,.],[[.,[.,.]],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[.,.],[[.,.],[[[.,.],.],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[.,.],[[.,[.,.]],[.,[.,.]]]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6) [[.,.],[[.,[.,.]],[[.,.],.]]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6) [[.,.],[[[.,.],.],[.,[.,.]]]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6) [[.,.],[[[.,.],.],[[.,.],.]]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6) [[.,.],[[.,[.,[.,.]]],[.,.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[.,.],[[.,[[.,.],.]],[.,.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[.,.],[[[.,.],[.,.]],[.,.]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,5),(1,3),(1,4),(2,3),(2,4),(2,5),(3,5),(4,5)],6) [[.,.],[[[.,[.,.]],.],[.,.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[.,.],[[[[.,.],.],.],[.,.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[.,.],[[.,[.,[.,[.,.]]]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,.],[[.,[.,[[.,.],.]]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,.],[[.,[[.,.],[.,.]]],.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[.,.],[[.,[[.,[.,.]],.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,.],[[.,[[[.,.],.],.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,.],[[[.,.],[.,[.,.]]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[.,.],[[[.,.],[[.,.],.]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[.,.],[[[.,[.,.]],[.,.]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[.,.],[[[[.,.],.],[.,.]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[.,.],[[[.,[.,[.,.]]],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,.],[[[.,[[.,.],.]],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,.],[[[[.,.],[.,.]],.],.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[.,.],[[[[.,[.,.]],.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,.],[[[[[.,.],.],.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[.,.]],[.,[.,[.,[.,.]]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[.,.]],[.,[.,[[.,.],.]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[.,.]],[.,[[.,.],[.,.]]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[.,[.,.]],[.,[[.,[.,.]],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[.,.]],[.,[[[.,.],.],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[.,.]],[[.,.],[.,[.,.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[.,[.,.]],[[.,.],[[.,.],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[.,[.,.]],[[.,[.,.]],[.,.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[.,[.,.]],[[[.,.],.],[.,.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[.,[.,.]],[[.,[.,[.,.]]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[.,.]],[[.,[[.,.],.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[.,.]],[[[.,.],[.,.]],.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[.,[.,.]],[[[.,[.,.]],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[.,.]],[[[[.,.],.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[.,.],.],[.,[.,[.,[.,.]]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[.,.],.],[.,[.,[[.,.],.]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[.,.],.],[.,[[.,.],[.,.]]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[[.,.],.],[.,[[.,[.,.]],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[.,.],.],[.,[[[.,.],.],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[.,.],.],[[.,.],[.,[.,.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[[.,.],.],[[.,.],[[.,.],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[[.,.],.],[[.,[.,.]],[.,.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[[.,.],.],[[[.,.],.],[.,.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[[.,.],.],[[.,[.,[.,.]]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[.,.],.],[[.,[[.,.],.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[.,.],.],[[[.,.],[.,.]],.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[[.,.],.],[[[.,[.,.]],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[.,.],.],[[[[.,.],.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[.,[.,.]]],[.,[.,[.,.]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[.,[.,.]]],[.,[[.,.],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[.,[.,.]]],[[.,.],[.,.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[.,[.,[.,.]]],[[.,[.,.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[.,[.,.]]],[[[.,.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[[.,.],.]],[.,[.,[.,.]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[[.,.],.]],[.,[[.,.],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[[.,.],.]],[[.,.],[.,.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[.,[[.,.],.]],[[.,[.,.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[[.,.],.]],[[[.,.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[.,.],[.,.]],[.,[.,[.,.]]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[[.,.],[.,.]],[.,[[.,.],.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[[.,.],[.,.]],[[.,.],[.,.]]]=>([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)=>([(0,1),(0,5),(1,5),(2,3),(2,4),(3,4),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(2,4),(2,5),(3,4),(3,5)],6) [[[.,.],[.,.]],[[.,[.,.]],.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[[.,.],[.,.]],[[[.,.],.],.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[[.,[.,.]],.],[.,[.,[.,.]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[.,[.,.]],.],[.,[[.,.],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[.,[.,.]],.],[[.,.],[.,.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[[.,[.,.]],.],[[.,[.,.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[.,[.,.]],.],[[[.,.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[[.,.],.],.],[.,[.,[.,.]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[[.,.],.],.],[.,[[.,.],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[[.,.],.],.],[[.,.],[.,.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[[[.,.],.],.],[[.,[.,.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[[.,.],.],.],[[[.,.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[.,[.,[.,.]]]],[.,[.,.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[.,[.,[.,.]]]],[[.,.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[.,[[.,.],.]]],[.,[.,.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[.,[[.,.],.]]],[[.,.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[[.,.],[.,.]]],[.,[.,.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[.,[[.,.],[.,.]]],[[.,.],.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[.,[[.,[.,.]],.]],[.,[.,.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[[.,[.,.]],.]],[[.,.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[[[.,.],.],.]],[.,[.,.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[[[.,.],.],.]],[[.,.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[.,.],[.,[.,.]]],[.,[.,.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[[.,.],[.,[.,.]]],[[.,.],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[[.,.],[[.,.],.]],[.,[.,.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[[.,.],[[.,.],.]],[[.,.],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[[.,[.,.]],[.,.]],[.,[.,.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[[.,[.,.]],[.,.]],[[.,.],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[[[.,.],.],[.,.]],[.,[.,.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[[[.,.],.],[.,.]],[[.,.],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[[.,[.,[.,.]]],.],[.,[.,.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[.,[.,[.,.]]],.],[[.,.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[.,[[.,.],.]],.],[.,[.,.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[.,[[.,.],.]],.],[[.,.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[[.,.],[.,.]],.],[.,[.,.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[[[.,.],[.,.]],.],[[.,.],.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[[[.,[.,.]],.],.],[.,[.,.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[[.,[.,.]],.],.],[[.,.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[[[.,.],.],.],.],[.,[.,.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[[[.,.],.],.],.],[[.,.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[.,[.,[.,[.,.]]]]],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[.,[.,[[.,.],.]]]],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[.,[[.,.],[.,.]]]],[.,.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[.,[.,[[.,[.,.]],.]]],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[.,[[[.,.],.],.]]],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[[.,.],[.,[.,.]]]],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[.,[[.,.],[[.,.],.]]],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[.,[[.,[.,.]],[.,.]]],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[.,[[[.,.],.],[.,.]]],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[.,[[.,[.,[.,.]]],.]],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[[.,[[.,.],.]],.]],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[[[.,.],[.,.]],.]],[.,.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[.,[[[.,[.,.]],.],.]],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[[[[.,.],.],.],.]],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[.,.],[.,[.,[.,.]]]],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[[.,.],[.,[[.,.],.]]],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[[.,.],[[.,.],[.,.]]],[.,.]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,5),(1,3),(1,4),(2,3),(2,4),(2,5),(3,5),(4,5)],6) [[[.,.],[[.,[.,.]],.]],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[[.,.],[[[.,.],.],.]],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[[.,[.,.]],[.,[.,.]]],[.,.]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6) [[[.,[.,.]],[[.,.],.]],[.,.]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6) [[[[.,.],.],[.,[.,.]]],[.,.]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6) [[[[.,.],.],[[.,.],.]],[.,.]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6) [[[.,[.,[.,.]]],[.,.]],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[[.,[[.,.],.]],[.,.]],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[[[.,.],[.,.]],[.,.]],[.,.]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,5),(1,3),(1,4),(2,3),(2,4),(2,5),(3,5),(4,5)],6) [[[[.,[.,.]],.],[.,.]],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[[[[.,.],.],.],[.,.]],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[[.,[.,[.,[.,.]]]],.],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[.,[.,[[.,.],.]]],.],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[.,[[.,.],[.,.]]],.],[.,.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[[.,[[.,[.,.]],.]],.],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[.,[[[.,.],.],.]],.],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[[.,.],[.,[.,.]]],.],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[[[.,.],[[.,.],.]],.],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[[[.,[.,.]],[.,.]],.],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[[[[.,.],.],[.,.]],.],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[[[.,[.,[.,.]]],.],.],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[[.,[[.,.],.]],.],.],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[[[.,.],[.,.]],.],.],[.,.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[[[[.,[.,.]],.],.],.],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[[[[.,.],.],.],.],.],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[.,[.,[.,[.,[.,.]]]]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[.,[.,[.,[[.,.],.]]]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[.,[.,[[.,.],[.,.]]]]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[.,[.,[.,[[.,[.,.]],.]]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[.,[.,[[[.,.],.],.]]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[.,[[.,.],[.,[.,.]]]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[.,[.,[[.,.],[[.,.],.]]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[.,[.,[[.,[.,.]],[.,.]]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[.,[.,[[[.,.],.],[.,.]]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[.,[.,[[.,[.,[.,.]]],.]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[.,[[.,[[.,.],.]],.]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[.,[[[.,.],[.,.]],.]]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[.,[.,[[[.,[.,.]],.],.]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[.,[[[[.,.],.],.],.]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[[.,.],[.,[.,[.,.]]]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[.,[[.,.],[.,[[.,.],.]]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[.,[[.,.],[[.,.],[.,.]]]],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,5),(1,3),(1,4),(2,3),(2,4),(2,5),(3,5),(4,5)],6) [[.,[[.,.],[[.,[.,.]],.]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[.,[[.,.],[[[.,.],.],.]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[.,[[.,[.,.]],[.,[.,.]]]],.]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6) [[.,[[.,[.,.]],[[.,.],.]]],.]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6) [[.,[[[.,.],.],[.,[.,.]]]],.]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6) [[.,[[[.,.],.],[[.,.],.]]],.]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6) [[.,[[.,[.,[.,.]]],[.,.]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[.,[[.,[[.,.],.]],[.,.]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[.,[[[.,.],[.,.]],[.,.]]],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,5),(1,3),(1,4),(2,3),(2,4),(2,5),(3,5),(4,5)],6) [[.,[[[.,[.,.]],.],[.,.]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[.,[[[[.,.],.],.],[.,.]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[.,[[.,[.,[.,[.,.]]]],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[[.,[.,[[.,.],.]]],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[[.,[[.,.],[.,.]]],.]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[.,[[.,[[.,[.,.]],.]],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[[.,[[[.,.],.],.]],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[[[.,.],[.,[.,.]]],.]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[.,[[[.,.],[[.,.],.]],.]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[.,[[[.,[.,.]],[.,.]],.]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[.,[[[[.,.],.],[.,.]],.]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[.,[[[.,[.,[.,.]]],.],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[[[.,[[.,.],.]],.],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[[[[.,.],[.,.]],.],.]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[.,[[[[.,[.,.]],.],.],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[.,[[[[[.,.],.],.],.],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[.,.],[.,[.,[.,[.,.]]]]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[[.,.],[.,[.,[[.,.],.]]]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[[.,.],[.,[[.,.],[.,.]]]],.]=>([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)=>([(0,1),(0,5),(1,5),(2,3),(2,4),(3,4),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(2,4),(2,5),(3,4),(3,5)],6) [[[.,.],[.,[[.,[.,.]],.]]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[[.,.],[.,[[[.,.],.],.]]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[[.,.],[[.,.],[.,[.,.]]]],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,5),(1,3),(1,4),(2,3),(2,4),(2,5),(3,5),(4,5)],6) [[[.,.],[[.,.],[[.,.],.]]],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,5),(1,3),(1,4),(2,3),(2,4),(2,5),(3,5),(4,5)],6) [[[.,.],[[.,[.,.]],[.,.]]],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,5),(1,3),(1,4),(2,3),(2,4),(2,5),(3,5),(4,5)],6) [[[.,.],[[[.,.],.],[.,.]]],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,5),(1,3),(1,4),(2,3),(2,4),(2,5),(3,5),(4,5)],6) [[[.,.],[[.,[.,[.,.]]],.]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[[.,.],[[.,[[.,.],.]],.]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[[.,.],[[[.,.],[.,.]],.]],.]=>([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)=>([(0,1),(0,5),(1,5),(2,3),(2,4),(3,4),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(2,4),(2,5),(3,4),(3,5)],6) [[[.,.],[[[.,[.,.]],.],.]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[[.,.],[[[[.,.],.],.],.]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[[.,[.,.]],[.,[.,[.,.]]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[[.,[.,.]],[.,[[.,.],.]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[[.,[.,.]],[[.,.],[.,.]]],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,5),(1,3),(1,4),(2,3),(2,4),(2,5),(3,5),(4,5)],6) [[[.,[.,.]],[[.,[.,.]],.]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[[.,[.,.]],[[[.,.],.],.]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[[[.,.],.],[.,[.,[.,.]]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[[[.,.],.],[.,[[.,.],.]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[[[.,.],.],[[.,.],[.,.]]],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,5),(1,3),(1,4),(2,3),(2,4),(2,5),(3,5),(4,5)],6) [[[[.,.],.],[[.,[.,.]],.]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[[[.,.],.],[[[.,.],.],.]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[[.,[.,[.,.]]],[.,[.,.]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[[.,[.,[.,.]]],[[.,.],.]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[[.,[[.,.],.]],[.,[.,.]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[[.,[[.,.],.]],[[.,.],.]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[[[.,.],[.,.]],[.,[.,.]]],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,5),(1,3),(1,4),(2,3),(2,4),(2,5),(3,5),(4,5)],6) [[[[.,.],[.,.]],[[.,.],.]],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,5),(1,3),(1,4),(2,3),(2,4),(2,5),(3,5),(4,5)],6) [[[[.,[.,.]],.],[.,[.,.]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[[[.,[.,.]],.],[[.,.],.]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[[[[.,.],.],.],[.,[.,.]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[[[[.,.],.],.],[[.,.],.]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[[.,[.,[.,[.,.]]]],[.,.]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[[.,[.,[[.,.],.]]],[.,.]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[[.,[[.,.],[.,.]]],[.,.]],.]=>([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)=>([(0,1),(0,5),(1,5),(2,3),(2,4),(3,4),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(2,4),(2,5),(3,4),(3,5)],6) [[[.,[[.,[.,.]],.]],[.,.]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[[.,[[[.,.],.],.]],[.,.]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[[[.,.],[.,[.,.]]],[.,.]],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,5),(1,3),(1,4),(2,3),(2,4),(2,5),(3,5),(4,5)],6) [[[[.,.],[[.,.],.]],[.,.]],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,5),(1,3),(1,4),(2,3),(2,4),(2,5),(3,5),(4,5)],6) [[[[.,[.,.]],[.,.]],[.,.]],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,5),(1,3),(1,4),(2,3),(2,4),(2,5),(3,5),(4,5)],6) [[[[[.,.],.],[.,.]],[.,.]],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,5),(1,3),(1,4),(2,3),(2,4),(2,5),(3,5),(4,5)],6) [[[[.,[.,[.,.]]],.],[.,.]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[[[.,[[.,.],.]],.],[.,.]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[[[[.,.],[.,.]],.],[.,.]],.]=>([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)=>([(0,1),(0,5),(1,5),(2,3),(2,4),(3,4),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(2,4),(2,5),(3,4),(3,5)],6) [[[[[.,[.,.]],.],.],[.,.]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[[[[[.,.],.],.],.],[.,.]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[[.,[.,[.,[.,[.,.]]]]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[.,[.,[.,[[.,.],.]]]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[.,[.,[[.,.],[.,.]]]],.],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[[.,[.,[[.,[.,.]],.]]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[.,[.,[[[.,.],.],.]]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[.,[[.,.],[.,[.,.]]]],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[[.,[[.,.],[[.,.],.]]],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[[.,[[.,[.,.]],[.,.]]],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[[.,[[[.,.],.],[.,.]]],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[[.,[[.,[.,[.,.]]],.]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[.,[[.,[[.,.],.]],.]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[.,[[[.,.],[.,.]],.]],.],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[[.,[[[.,[.,.]],.],.]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[.,[[[[.,.],.],.],.]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[[.,.],[.,[.,[.,.]]]],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[[[.,.],[.,[[.,.],.]]],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[[[.,.],[[.,.],[.,.]]],.],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,5),(1,3),(1,4),(2,3),(2,4),(2,5),(3,5),(4,5)],6) [[[[.,.],[[.,[.,.]],.]],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[[[.,.],[[[.,.],.],.]],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[[[.,[.,.]],[.,[.,.]]],.],.]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6) [[[[.,[.,.]],[[.,.],.]],.],.]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6) [[[[[.,.],.],[.,[.,.]]],.],.]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6) [[[[[.,.],.],[[.,.],.]],.],.]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,5),(1,4),(2,3),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6) [[[[.,[.,[.,.]]],[.,.]],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[[[.,[[.,.],.]],[.,.]],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[[[[.,.],[.,.]],[.,.]],.],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,5),(1,3),(1,4),(2,3),(2,4),(2,5),(3,5),(4,5)],6) [[[[[.,[.,.]],.],[.,.]],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[[[[[.,.],.],.],[.,.]],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[[[.,[.,[.,[.,.]]]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[[.,[.,[[.,.],.]]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[[.,[[.,.],[.,.]]],.],.],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[[[.,[[.,[.,.]],.]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[[.,[[[.,.],.],.]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[[[.,.],[.,[.,.]]],.],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[[[[.,.],[[.,.],.]],.],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[[[[.,[.,.]],[.,.]],.],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[[[[[.,.],.],[.,.]],.],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) [[[[[.,[.,[.,.]]],.],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[[[.,[[.,.],.]],.],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[[[[.,.],[.,.]],.],.],.],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) [[[[[[.,[.,.]],.],.],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) [[[[[[[.,.],.],.],.],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,5),(1,4),(2,3),(2,4),(3,5)],6)=>([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6)