Identifier
Mp00011:
Binary trees
—to graph⟶
Graphs
Mp00157: Graphs —connected complement⟶ Graphs
Mp00275: Graphs —to edge-partition of connected components⟶ Integer partitions
Mp00157: Graphs —connected complement⟶ Graphs
Mp00275: Graphs —to edge-partition of connected components⟶ Integer partitions
Images
=>
Cc0010;cc-rep-0Cc0020;cc-rep-1Cc0020;cc-rep-2Cc0002;cc-rep-3
[.,.]=>([],1)=>([],1)=>[]
[.,[.,.]]=>([(0,1)],2)=>([(0,1)],2)=>[1]
[[.,.],.]=>([(0,1)],2)=>([(0,1)],2)=>[1]
[.,[.,[.,.]]]=>([(0,2),(1,2)],3)=>([(0,2),(1,2)],3)=>[2]
[.,[[.,.],.]]=>([(0,2),(1,2)],3)=>([(0,2),(1,2)],3)=>[2]
[[.,.],[.,.]]=>([(0,2),(1,2)],3)=>([(0,2),(1,2)],3)=>[2]
[[.,[.,.]],.]=>([(0,2),(1,2)],3)=>([(0,2),(1,2)],3)=>[2]
[[[.,.],.],.]=>([(0,2),(1,2)],3)=>([(0,2),(1,2)],3)=>[2]
[.,[.,[.,[.,.]]]]=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4)=>[3]
[.,[.,[[.,.],.]]]=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4)=>[3]
[.,[[.,.],[.,.]]]=>([(0,3),(1,3),(2,3)],4)=>([(0,3),(1,3),(2,3)],4)=>[3]
[.,[[.,[.,.]],.]]=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4)=>[3]
[.,[[[.,.],.],.]]=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4)=>[3]
[[.,.],[.,[.,.]]]=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4)=>[3]
[[.,.],[[.,.],.]]=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4)=>[3]
[[.,[.,.]],[.,.]]=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4)=>[3]
[[[.,.],.],[.,.]]=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4)=>[3]
[[.,[.,[.,.]]],.]=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4)=>[3]
[[.,[[.,.],.]],.]=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4)=>[3]
[[[.,.],[.,.]],.]=>([(0,3),(1,3),(2,3)],4)=>([(0,3),(1,3),(2,3)],4)=>[3]
[[[.,[.,.]],.],.]=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4)=>[3]
[[[[.,.],.],.],.]=>([(0,3),(1,2),(2,3)],4)=>([(0,3),(1,2),(2,3)],4)=>[3]
[.,[.,[.,[.,[.,.]]]]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>[6]
[.,[.,[.,[[.,.],.]]]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>[6]
[.,[.,[[.,.],[.,.]]]]=>([(0,4),(1,4),(2,3),(3,4)],5)=>([(0,4),(1,2),(1,3),(2,3),(2,4),(3,4)],5)=>[6]
[.,[.,[[.,[.,.]],.]]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>[6]
[.,[.,[[[.,.],.],.]]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>[6]
[.,[[.,.],[.,[.,.]]]]=>([(0,4),(1,4),(2,3),(3,4)],5)=>([(0,4),(1,2),(1,3),(2,3),(2,4),(3,4)],5)=>[6]
[.,[[.,.],[[.,.],.]]]=>([(0,4),(1,4),(2,3),(3,4)],5)=>([(0,4),(1,2),(1,3),(2,3),(2,4),(3,4)],5)=>[6]
[.,[[.,[.,.]],[.,.]]]=>([(0,4),(1,4),(2,3),(3,4)],5)=>([(0,4),(1,2),(1,3),(2,3),(2,4),(3,4)],5)=>[6]
[.,[[[.,.],.],[.,.]]]=>([(0,4),(1,4),(2,3),(3,4)],5)=>([(0,4),(1,2),(1,3),(2,3),(2,4),(3,4)],5)=>[6]
[.,[[.,[.,[.,.]]],.]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>[6]
[.,[[.,[[.,.],.]],.]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>[6]
[.,[[[.,.],[.,.]],.]]=>([(0,4),(1,4),(2,3),(3,4)],5)=>([(0,4),(1,2),(1,3),(2,3),(2,4),(3,4)],5)=>[6]
[.,[[[.,[.,.]],.],.]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>[6]
[.,[[[[.,.],.],.],.]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>[6]
[[.,.],[.,[.,[.,.]]]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>[6]
[[.,.],[.,[[.,.],.]]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>[6]
[[.,.],[[.,.],[.,.]]]=>([(0,4),(1,4),(2,3),(3,4)],5)=>([(0,4),(1,2),(1,3),(2,3),(2,4),(3,4)],5)=>[6]
[[.,.],[[.,[.,.]],.]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>[6]
[[.,.],[[[.,.],.],.]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>[6]
[[.,[.,.]],[.,[.,.]]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>[6]
[[.,[.,.]],[[.,.],.]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>[6]
[[[.,.],.],[.,[.,.]]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>[6]
[[[.,.],.],[[.,.],.]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>[6]
[[.,[.,[.,.]]],[.,.]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>[6]
[[.,[[.,.],.]],[.,.]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>[6]
[[[.,.],[.,.]],[.,.]]=>([(0,4),(1,4),(2,3),(3,4)],5)=>([(0,4),(1,2),(1,3),(2,3),(2,4),(3,4)],5)=>[6]
[[[.,[.,.]],.],[.,.]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>[6]
[[[[.,.],.],.],[.,.]]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>[6]
[[.,[.,[.,[.,.]]]],.]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>[6]
[[.,[.,[[.,.],.]]],.]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>[6]
[[.,[[.,.],[.,.]]],.]=>([(0,4),(1,4),(2,3),(3,4)],5)=>([(0,4),(1,2),(1,3),(2,3),(2,4),(3,4)],5)=>[6]
[[.,[[.,[.,.]],.]],.]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>[6]
[[.,[[[.,.],.],.]],.]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>[6]
[[[.,.],[.,[.,.]]],.]=>([(0,4),(1,4),(2,3),(3,4)],5)=>([(0,4),(1,2),(1,3),(2,3),(2,4),(3,4)],5)=>[6]
[[[.,.],[[.,.],.]],.]=>([(0,4),(1,4),(2,3),(3,4)],5)=>([(0,4),(1,2),(1,3),(2,3),(2,4),(3,4)],5)=>[6]
[[[.,[.,.]],[.,.]],.]=>([(0,4),(1,4),(2,3),(3,4)],5)=>([(0,4),(1,2),(1,3),(2,3),(2,4),(3,4)],5)=>[6]
[[[[.,.],.],[.,.]],.]=>([(0,4),(1,4),(2,3),(3,4)],5)=>([(0,4),(1,2),(1,3),(2,3),(2,4),(3,4)],5)=>[6]
[[[.,[.,[.,.]]],.],.]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>[6]
[[[.,[[.,.],.]],.],.]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>[6]
[[[[.,.],[.,.]],.],.]=>([(0,4),(1,4),(2,3),(3,4)],5)=>([(0,4),(1,2),(1,3),(2,3),(2,4),(3,4)],5)=>[6]
[[[[.,[.,.]],.],.],.]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>[6]
[[[[[.,.],.],.],.],.]=>([(0,4),(1,3),(2,3),(2,4)],5)=>([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5)=>[6]
[.,[.,[.,[.,[.,[.,.]]]]]]=>([(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)=>[10]
[.,[.,[.,[.,[[.,.],.]]]]]=>([(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)=>[10]
[.,[.,[.,[[.,.],[.,.]]]]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[.,[.,[.,[[.,[.,.]],.]]]]=>([(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)=>[10]
[.,[.,[.,[[[.,.],.],.]]]]=>([(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)=>[10]
[.,[.,[[.,.],[.,[.,.]]]]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[.,[.,[[.,.],[[.,.],.]]]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[.,[.,[[.,[.,.]],[.,.]]]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[.,[.,[[[.,.],.],[.,.]]]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[.,[.,[[.,[.,[.,.]]],.]]]=>([(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)=>[10]
[.,[.,[[.,[[.,.],.]],.]]]=>([(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)=>[10]
[.,[.,[[[.,.],[.,.]],.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[.,[.,[[[.,[.,.]],.],.]]]=>([(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)=>[10]
[.,[.,[[[[.,.],.],.],.]]]=>([(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)=>[10]
[.,[[.,.],[.,[.,[.,.]]]]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[.,[[.,.],[.,[[.,.],.]]]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[.,[[.,.],[[.,.],[.,.]]]]=>([(0,5),(1,5),(2,4),(3,4),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>[10]
[.,[[.,.],[[.,[.,.]],.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[.,[[.,.],[[[.,.],.],.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[.,[[.,[.,.]],[.,[.,.]]]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[.,[[.,[.,.]],[[.,.],.]]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[.,[[[.,.],.],[.,[.,.]]]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[.,[[[.,.],.],[[.,.],.]]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[.,[[.,[.,[.,.]]],[.,.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[.,[[.,[[.,.],.]],[.,.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[.,[[[.,.],[.,.]],[.,.]]]=>([(0,5),(1,5),(2,4),(3,4),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>[10]
[.,[[[.,[.,.]],.],[.,.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[.,[[[[.,.],.],.],[.,.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[.,[[.,[.,[.,[.,.]]]],.]]=>([(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)=>[10]
[.,[[.,[.,[[.,.],.]]],.]]=>([(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)=>[10]
[.,[[.,[[.,.],[.,.]]],.]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[.,[[.,[[.,[.,.]],.]],.]]=>([(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)=>[10]
[.,[[.,[[[.,.],.],.]],.]]=>([(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)=>[10]
[.,[[[.,.],[.,[.,.]]],.]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[.,[[[.,.],[[.,.],.]],.]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[.,[[[.,[.,.]],[.,.]],.]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[.,[[[[.,.],.],[.,.]],.]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[.,[[[.,[.,[.,.]]],.],.]]=>([(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)=>[10]
[.,[[[.,[[.,.],.]],.],.]]=>([(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)=>[10]
[.,[[[[.,.],[.,.]],.],.]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[.,[[[[.,[.,.]],.],.],.]]=>([(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)=>[10]
[.,[[[[[.,.],.],.],.],.]]=>([(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)=>[10]
[[.,.],[.,[.,[.,[.,.]]]]]=>([(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)=>[10]
[[.,.],[.,[.,[[.,.],.]]]]=>([(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)=>[10]
[[.,.],[.,[[.,.],[.,.]]]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[[.,.],[.,[[.,[.,.]],.]]]=>([(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)=>[10]
[[.,.],[.,[[[.,.],.],.]]]=>([(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)=>[10]
[[.,.],[[.,.],[.,[.,.]]]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[[.,.],[[.,.],[[.,.],.]]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[[.,.],[[.,[.,.]],[.,.]]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[[.,.],[[[.,.],.],[.,.]]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[[.,.],[[.,[.,[.,.]]],.]]=>([(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)=>[10]
[[.,.],[[.,[[.,.],.]],.]]=>([(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)=>[10]
[[.,.],[[[.,.],[.,.]],.]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[[.,.],[[[.,[.,.]],.],.]]=>([(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)=>[10]
[[.,.],[[[[.,.],.],.],.]]=>([(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)=>[10]
[[.,[.,.]],[.,[.,[.,.]]]]=>([(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)=>[10]
[[.,[.,.]],[.,[[.,.],.]]]=>([(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)=>[10]
[[.,[.,.]],[[.,.],[.,.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[[.,[.,.]],[[.,[.,.]],.]]=>([(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)=>[10]
[[.,[.,.]],[[[.,.],.],.]]=>([(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)=>[10]
[[[.,.],.],[.,[.,[.,.]]]]=>([(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)=>[10]
[[[.,.],.],[.,[[.,.],.]]]=>([(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)=>[10]
[[[.,.],.],[[.,.],[.,.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[[[.,.],.],[[.,[.,.]],.]]=>([(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)=>[10]
[[[.,.],.],[[[.,.],.],.]]=>([(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)=>[10]
[[.,[.,[.,.]]],[.,[.,.]]]=>([(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)=>[10]
[[.,[.,[.,.]]],[[.,.],.]]=>([(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)=>[10]
[[.,[[.,.],.]],[.,[.,.]]]=>([(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)=>[10]
[[.,[[.,.],.]],[[.,.],.]]=>([(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)=>[10]
[[[.,.],[.,.]],[.,[.,.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[[[.,.],[.,.]],[[.,.],.]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[[[.,[.,.]],.],[.,[.,.]]]=>([(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)=>[10]
[[[.,[.,.]],.],[[.,.],.]]=>([(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)=>[10]
[[[[.,.],.],.],[.,[.,.]]]=>([(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)=>[10]
[[[[.,.],.],.],[[.,.],.]]=>([(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)=>[10]
[[.,[.,[.,[.,.]]]],[.,.]]=>([(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)=>[10]
[[.,[.,[[.,.],.]]],[.,.]]=>([(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)=>[10]
[[.,[[.,.],[.,.]]],[.,.]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[[.,[[.,[.,.]],.]],[.,.]]=>([(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)=>[10]
[[.,[[[.,.],.],.]],[.,.]]=>([(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)=>[10]
[[[.,.],[.,[.,.]]],[.,.]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[[[.,.],[[.,.],.]],[.,.]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[[[.,[.,.]],[.,.]],[.,.]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[[[[.,.],.],[.,.]],[.,.]]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[[[.,[.,[.,.]]],.],[.,.]]=>([(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)=>[10]
[[[.,[[.,.],.]],.],[.,.]]=>([(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)=>[10]
[[[[.,.],[.,.]],.],[.,.]]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[[[[.,[.,.]],.],.],[.,.]]=>([(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)=>[10]
[[[[[.,.],.],.],.],[.,.]]=>([(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)=>[10]
[[.,[.,[.,[.,[.,.]]]]],.]=>([(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)=>[10]
[[.,[.,[.,[[.,.],.]]]],.]=>([(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)=>[10]
[[.,[.,[[.,.],[.,.]]]],.]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[[.,[.,[[.,[.,.]],.]]],.]=>([(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)=>[10]
[[.,[.,[[[.,.],.],.]]],.]=>([(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)=>[10]
[[.,[[.,.],[.,[.,.]]]],.]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[[.,[[.,.],[[.,.],.]]],.]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[[.,[[.,[.,.]],[.,.]]],.]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[[.,[[[.,.],.],[.,.]]],.]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[[.,[[.,[.,[.,.]]],.]],.]=>([(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)=>[10]
[[.,[[.,[[.,.],.]],.]],.]=>([(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)=>[10]
[[.,[[[.,.],[.,.]],.]],.]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[[.,[[[.,[.,.]],.],.]],.]=>([(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)=>[10]
[[.,[[[[.,.],.],.],.]],.]=>([(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)=>[10]
[[[.,.],[.,[.,[.,.]]]],.]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[[[.,.],[.,[[.,.],.]]],.]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[[[.,.],[[.,.],[.,.]]],.]=>([(0,5),(1,5),(2,4),(3,4),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>[10]
[[[.,.],[[.,[.,.]],.]],.]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[[[.,.],[[[.,.],.],.]],.]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[[[.,[.,.]],[.,[.,.]]],.]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[[[.,[.,.]],[[.,.],.]],.]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[[[[.,.],.],[.,[.,.]]],.]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[[[[.,.],.],[[.,.],.]],.]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[[[.,[.,[.,.]]],[.,.]],.]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[[[.,[[.,.],.]],[.,.]],.]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[[[[.,.],[.,.]],[.,.]],.]=>([(0,5),(1,5),(2,4),(3,4),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6)=>[10]
[[[[.,[.,.]],.],[.,.]],.]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[[[[[.,.],.],.],[.,.]],.]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[[[.,[.,[.,[.,.]]]],.],.]=>([(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)=>[10]
[[[.,[.,[[.,.],.]]],.],.]=>([(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)=>[10]
[[[.,[[.,.],[.,.]]],.],.]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[[[.,[[.,[.,.]],.]],.],.]=>([(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)=>[10]
[[[.,[[[.,.],.],.]],.],.]=>([(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)=>[10]
[[[[.,.],[.,[.,.]]],.],.]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[[[[.,.],[[.,.],.]],.],.]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[[[[.,[.,.]],[.,.]],.],.]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[[[[[.,.],.],[.,.]],.],.]=>([(0,5),(1,4),(2,3),(3,5),(4,5)],6)=>([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[[[[.,[.,[.,.]]],.],.],.]=>([(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)=>[10]
[[[[.,[[.,.],.]],.],.],.]=>([(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)=>[10]
[[[[[.,.],[.,.]],.],.],.]=>([(0,5),(1,5),(2,3),(3,4),(4,5)],6)=>([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6)=>[10]
[[[[[.,[.,.]],.],.],.],.]=>([(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)=>[10]
[[[[[[.,.],.],.],.],.],.]=>([(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)=>[10]
[.,[.,[.,[.,[.,[.,[.,.]]]]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[.,[.,[.,[.,[[.,.],.]]]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[.,[.,[.,[[.,.],[.,.]]]]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[.,[.,[.,[.,[[.,[.,.]],.]]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[.,[.,[.,[[[.,.],.],.]]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[.,[.,[[.,.],[.,[.,.]]]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[.,[.,[[.,.],[[.,.],.]]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[.,[.,[[.,[.,.]],[.,.]]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[.,[.,[[[.,.],.],[.,.]]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[.,[.,[[.,[.,[.,.]]],.]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[.,[.,[[.,[[.,.],.]],.]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[.,[.,[[[.,.],[.,.]],.]]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[.,[.,[.,[[[.,[.,.]],.],.]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[.,[.,[[[[.,.],.],.],.]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[.,[[.,.],[.,[.,[.,.]]]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[.,[[.,.],[.,[[.,.],.]]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[.,[[.,.],[[.,.],[.,.]]]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[.,[[.,.],[[.,[.,.]],.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[.,[[.,.],[[[.,.],.],.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[.,[[.,[.,.]],[.,[.,.]]]]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[.,[.,[[.,[.,.]],[[.,.],.]]]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[.,[.,[[[.,.],.],[.,[.,.]]]]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[.,[.,[[[.,.],.],[[.,.],.]]]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[.,[.,[[.,[.,[.,.]]],[.,.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[.,[[.,[[.,.],.]],[.,.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[.,[[[.,.],[.,.]],[.,.]]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[.,[[[.,[.,.]],.],[.,.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[.,[[[[.,.],.],.],[.,.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[.,[[.,[.,[.,[.,.]]]],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[.,[[.,[.,[[.,.],.]]],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[.,[[.,[[.,.],[.,.]]],.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[.,[.,[[.,[[.,[.,.]],.]],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[.,[[.,[[[.,.],.],.]],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[.,[[[.,.],[.,[.,.]]],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[.,[[[.,.],[[.,.],.]],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[.,[[[.,[.,.]],[.,.]],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[.,[[[[.,.],.],[.,.]],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[.,[[[.,[.,[.,.]]],.],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[.,[[[.,[[.,.],.]],.],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[.,[[[[.,.],[.,.]],.],.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[.,[.,[[[[.,[.,.]],.],.],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[.,[[[[[.,.],.],.],.],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[.,.],[.,[.,[.,[.,.]]]]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[.,.],[.,[.,[[.,.],.]]]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[.,.],[.,[[.,.],[.,.]]]]]=>([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)=>([(0,1),(0,5),(0,6),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[.,.],[.,[[.,[.,.]],.]]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[.,.],[.,[[[.,.],.],.]]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[.,.],[[.,.],[.,[.,.]]]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[.,.],[[.,.],[[.,.],.]]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[.,.],[[.,[.,.]],[.,.]]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[.,.],[[[.,.],.],[.,.]]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[.,.],[[.,[.,[.,.]]],.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[.,.],[[.,[[.,.],.]],.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[.,.],[[[.,.],[.,.]],.]]]=>([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)=>([(0,1),(0,5),(0,6),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[.,.],[[[.,[.,.]],.],.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[.,.],[[[[.,.],.],.],.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[.,[.,.]],[.,[.,[.,.]]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[.,[.,.]],[.,[[.,.],.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[.,[.,.]],[[.,.],[.,.]]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[.,[.,.]],[[.,[.,.]],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[.,[.,.]],[[[.,.],.],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[[.,.],.],[.,[.,[.,.]]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[[.,.],.],[.,[[.,.],.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[[.,.],.],[[.,.],[.,.]]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[[.,.],.],[[.,[.,.]],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[[.,.],.],[[[.,.],.],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[.,[.,[.,.]]],[.,[.,.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[.,[.,[.,.]]],[[.,.],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[.,[[.,.],.]],[.,[.,.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[.,[[.,.],.]],[[.,.],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[[.,.],[.,.]],[.,[.,.]]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[[.,.],[.,.]],[[.,.],.]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[[.,[.,.]],.],[.,[.,.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[[.,[.,.]],.],[[.,.],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[[[.,.],.],.],[.,[.,.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[[[.,.],.],.],[[.,.],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[.,[.,[.,[.,.]]]],[.,.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[.,[.,[[.,.],.]]],[.,.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[.,[[.,.],[.,.]]],[.,.]]]=>([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)=>([(0,1),(0,5),(0,6),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[.,[[.,[.,.]],.]],[.,.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[.,[[[.,.],.],.]],[.,.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[[.,.],[.,[.,.]]],[.,.]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[[.,.],[[.,.],.]],[.,.]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[[.,[.,.]],[.,.]],[.,.]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[[[.,.],.],[.,.]],[.,.]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[[.,[.,[.,.]]],.],[.,.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[[.,[[.,.],.]],.],[.,.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[[[.,.],[.,.]],.],[.,.]]]=>([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)=>([(0,1),(0,5),(0,6),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[[[.,[.,.]],.],.],[.,.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[[[[.,.],.],.],.],[.,.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[.,[.,[.,[.,[.,.]]]]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[.,[.,[.,[[.,.],.]]]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[.,[.,[[.,.],[.,.]]]],.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[.,[.,[[.,[.,.]],.]]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[.,[.,[[[.,.],.],.]]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[.,[[.,.],[.,[.,.]]]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[.,[[.,.],[[.,.],.]]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[.,[[.,[.,.]],[.,.]]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[.,[[[.,.],.],[.,.]]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[.,[[.,[.,[.,.]]],.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[.,[[.,[[.,.],.]],.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[.,[[[.,.],[.,.]],.]],.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[.,[[[.,[.,.]],.],.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[.,[[[[.,.],.],.],.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[[.,.],[.,[.,[.,.]]]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[[.,.],[.,[[.,.],.]]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[[.,.],[[.,.],[.,.]]],.]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[[.,.],[[.,[.,.]],.]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[[.,.],[[[.,.],.],.]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[[.,[.,.]],[.,[.,.]]],.]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[[.,[.,.]],[[.,.],.]],.]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[[[.,.],.],[.,[.,.]]],.]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[[[.,.],.],[[.,.],.]],.]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[[.,[.,[.,.]]],[.,.]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[[.,[[.,.],.]],[.,.]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[[[.,.],[.,.]],[.,.]],.]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[[[.,[.,.]],.],[.,.]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[[[[.,.],.],.],[.,.]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[[.,[.,[.,[.,.]]]],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[[.,[.,[[.,.],.]]],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[[.,[[.,.],[.,.]]],.],.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[[.,[[.,[.,.]],.]],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[[.,[[[.,.],.],.]],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[[[.,.],[.,[.,.]]],.],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[[[.,.],[[.,.],.]],.],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[[[.,[.,.]],[.,.]],.],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[[[[.,.],.],[.,.]],.],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[[[.,[.,[.,.]]],.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[[[.,[[.,.],.]],.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[[[[.,.],[.,.]],.],.],.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[[[[.,[.,.]],.],.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[.,[[[[[[.,.],.],.],.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,.],[.,[.,[.,[.,[.,.]]]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,.],[.,[.,[.,[[.,.],.]]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,.],[.,[.,[[.,.],[.,.]]]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[.,.],[.,[.,[[.,[.,.]],.]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,.],[.,[.,[[[.,.],.],.]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,.],[.,[[.,.],[.,[.,.]]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,.],[.,[[.,.],[[.,.],.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,.],[.,[[.,[.,.]],[.,.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,.],[.,[[[.,.],.],[.,.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,.],[.,[[.,[.,[.,.]]],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,.],[.,[[.,[[.,.],.]],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,.],[.,[[[.,.],[.,.]],.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[.,.],[.,[[[.,[.,.]],.],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,.],[.,[[[[.,.],.],.],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,.],[[.,.],[.,[.,[.,.]]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,.],[[.,.],[.,[[.,.],.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,.],[[.,.],[[.,.],[.,.]]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,.],[[.,.],[[.,[.,.]],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,.],[[.,.],[[[.,.],.],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,.],[[.,[.,.]],[.,[.,.]]]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[.,.],[[.,[.,.]],[[.,.],.]]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[.,.],[[[.,.],.],[.,[.,.]]]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[.,.],[[[.,.],.],[[.,.],.]]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[.,.],[[.,[.,[.,.]]],[.,.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,.],[[.,[[.,.],.]],[.,.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,.],[[[.,.],[.,.]],[.,.]]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,.],[[[.,[.,.]],.],[.,.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,.],[[[[.,.],.],.],[.,.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,.],[[.,[.,[.,[.,.]]]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,.],[[.,[.,[[.,.],.]]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,.],[[.,[[.,.],[.,.]]],.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[.,.],[[.,[[.,[.,.]],.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,.],[[.,[[[.,.],.],.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,.],[[[.,.],[.,[.,.]]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,.],[[[.,.],[[.,.],.]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,.],[[[.,[.,.]],[.,.]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,.],[[[[.,.],.],[.,.]],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,.],[[[.,[.,[.,.]]],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,.],[[[.,[[.,.],.]],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,.],[[[[.,.],[.,.]],.],.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[.,.],[[[[.,[.,.]],.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,.],[[[[[.,.],.],.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[.,.]],[.,[.,[.,[.,.]]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[.,.]],[.,[.,[[.,.],.]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[.,.]],[.,[[.,.],[.,.]]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[.,.]],[.,[[.,[.,.]],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[.,.]],[.,[[[.,.],.],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[.,.]],[[.,.],[.,[.,.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[.,.]],[[.,.],[[.,.],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[.,.]],[[.,[.,.]],[.,.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[.,.]],[[[.,.],.],[.,.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[.,.]],[[.,[.,[.,.]]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[.,.]],[[.,[[.,.],.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[.,.]],[[[.,.],[.,.]],.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[.,.]],[[[.,[.,.]],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[.,.]],[[[[.,.],.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,.],.],[.,[.,[.,[.,.]]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,.],.],[.,[.,[[.,.],.]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,.],.],[.,[[.,.],[.,.]]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,.],.],[.,[[.,[.,.]],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,.],.],[.,[[[.,.],.],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,.],.],[[.,.],[.,[.,.]]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,.],.],[[.,.],[[.,.],.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,.],.],[[.,[.,.]],[.,.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,.],.],[[[.,.],.],[.,.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,.],.],[[.,[.,[.,.]]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,.],.],[[.,[[.,.],.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,.],.],[[[.,.],[.,.]],.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,.],.],[[[.,[.,.]],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,.],.],[[[[.,.],.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[.,[.,.]]],[.,[.,[.,.]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[.,[.,.]]],[.,[[.,.],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[.,[.,.]]],[[.,.],[.,.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[.,[.,.]]],[[.,[.,.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[.,[.,.]]],[[[.,.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[[.,.],.]],[.,[.,[.,.]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[[.,.],.]],[.,[[.,.],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[[.,.],.]],[[.,.],[.,.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[[.,.],.]],[[.,[.,.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[[.,.],.]],[[[.,.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,.],[.,.]],[.,[.,[.,.]]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,.],[.,.]],[.,[[.,.],.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,.],[.,.]],[[.,.],[.,.]]]=>([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)=>([(0,1),(0,5),(0,6),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,.],[.,.]],[[.,[.,.]],.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,.],[.,.]],[[[.,.],.],.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,[.,.]],.],[.,[.,[.,.]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,[.,.]],.],[.,[[.,.],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,[.,.]],.],[[.,.],[.,.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,[.,.]],.],[[.,[.,.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,[.,.]],.],[[[.,.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[[.,.],.],.],[.,[.,[.,.]]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[[.,.],.],.],[.,[[.,.],.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[[.,.],.],.],[[.,.],[.,.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[[[.,.],.],.],[[.,[.,.]],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[[.,.],.],.],[[[.,.],.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[.,[.,[.,.]]]],[.,[.,.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[.,[.,[.,.]]]],[[.,.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[.,[[.,.],.]]],[.,[.,.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[.,[[.,.],.]]],[[.,.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[[.,.],[.,.]]],[.,[.,.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[[.,.],[.,.]]],[[.,.],.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[[.,[.,.]],.]],[.,[.,.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[[.,[.,.]],.]],[[.,.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[[[.,.],.],.]],[.,[.,.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[[[.,.],.],.]],[[.,.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,.],[.,[.,.]]],[.,[.,.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,.],[.,[.,.]]],[[.,.],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,.],[[.,.],.]],[.,[.,.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,.],[[.,.],.]],[[.,.],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,[.,.]],[.,.]],[.,[.,.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,[.,.]],[.,.]],[[.,.],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[[.,.],.],[.,.]],[.,[.,.]]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[[.,.],.],[.,.]],[[.,.],.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,[.,[.,.]]],.],[.,[.,.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,[.,[.,.]]],.],[[.,.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,[[.,.],.]],.],[.,[.,.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,[[.,.],.]],.],[[.,.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[[.,.],[.,.]],.],[.,[.,.]]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[[[.,.],[.,.]],.],[[.,.],.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[[[.,[.,.]],.],.],[.,[.,.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[[.,[.,.]],.],.],[[.,.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[[[.,.],.],.],.],[.,[.,.]]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[[[.,.],.],.],.],[[.,.],.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[.,[.,[.,[.,.]]]]],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[.,[.,[[.,.],.]]]],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[.,[[.,.],[.,.]]]],[.,.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[.,[[.,[.,.]],.]]],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[.,[[[.,.],.],.]]],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[[.,.],[.,[.,.]]]],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[[.,.],[[.,.],.]]],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[[.,[.,.]],[.,.]]],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[[[.,.],.],[.,.]]],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[[.,[.,[.,.]]],.]],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[[.,[[.,.],.]],.]],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[[[.,.],[.,.]],.]],[.,.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[[[.,[.,.]],.],.]],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[[[[.,.],.],.],.]],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,.],[.,[.,[.,.]]]],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,.],[.,[[.,.],.]]],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,.],[[.,.],[.,.]]],[.,.]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,.],[[.,[.,.]],.]],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,.],[[[.,.],.],.]],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,[.,.]],[.,[.,.]]],[.,.]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,[.,.]],[[.,.],.]],[.,.]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[[[.,.],.],[.,[.,.]]],[.,.]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[[[.,.],.],[[.,.],.]],[.,.]]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,[.,[.,.]]],[.,.]],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,[[.,.],.]],[.,.]],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[[.,.],[.,.]],[.,.]],[.,.]]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[[.,[.,.]],.],[.,.]],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[[[.,.],.],.],[.,.]],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,[.,[.,[.,.]]]],.],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,[.,[[.,.],.]]],.],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,[[.,.],[.,.]]],.],[.,.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,[[.,[.,.]],.]],.],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,[[[.,.],.],.]],.],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[[.,.],[.,[.,.]]],.],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[[.,.],[[.,.],.]],.],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[[.,[.,.]],[.,.]],.],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[[[.,.],.],[.,.]],.],[.,.]]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[[.,[.,[.,.]]],.],.],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[[.,[[.,.],.]],.],.],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[[[.,.],[.,.]],.],.],[.,.]]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[[[[.,[.,.]],.],.],.],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[[[[.,.],.],.],.],.],[.,.]]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[.,[.,[.,[.,[.,.]]]]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[.,[.,[.,[[.,.],.]]]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[.,[.,[[.,.],[.,.]]]]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[.,[.,[[.,[.,.]],.]]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[.,[.,[[[.,.],.],.]]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[.,[[.,.],[.,[.,.]]]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[.,[[.,.],[[.,.],.]]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[.,[[.,[.,.]],[.,.]]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[.,[[[.,.],.],[.,.]]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[.,[[.,[.,[.,.]]],.]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[.,[[.,[[.,.],.]],.]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[.,[[[.,.],[.,.]],.]]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[.,[[[.,[.,.]],.],.]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[.,[[[[.,.],.],.],.]]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[[.,.],[.,[.,[.,.]]]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[[.,.],[.,[[.,.],.]]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[[.,.],[[.,.],[.,.]]]],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[[.,.],[[.,[.,.]],.]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[[.,.],[[[.,.],.],.]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[[.,[.,.]],[.,[.,.]]]],.]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[[.,[.,.]],[[.,.],.]]],.]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[[[.,.],.],[.,[.,.]]]],.]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[[[.,.],.],[[.,.],.]]],.]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[[.,[.,[.,.]]],[.,.]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[[.,[[.,.],.]],[.,.]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[[[.,.],[.,.]],[.,.]]],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[[[.,[.,.]],.],[.,.]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[[[[.,.],.],.],[.,.]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[[.,[.,[.,[.,.]]]],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[[.,[.,[[.,.],.]]],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[[.,[[.,.],[.,.]]],.]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[[.,[[.,[.,.]],.]],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[[.,[[[.,.],.],.]],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[[[.,.],[.,[.,.]]],.]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[[[.,.],[[.,.],.]],.]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[[[.,[.,.]],[.,.]],.]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[[[[.,.],.],[.,.]],.]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[[[.,[.,[.,.]]],.],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[[[.,[[.,.],.]],.],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[[[[.,.],[.,.]],.],.]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[[[[.,[.,.]],.],.],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[.,[[[[[.,.],.],.],.],.]],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,.],[.,[.,[.,[.,.]]]]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,.],[.,[.,[[.,.],.]]]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,.],[.,[[.,.],[.,.]]]],.]=>([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)=>([(0,1),(0,5),(0,6),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,.],[.,[[.,[.,.]],.]]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,.],[.,[[[.,.],.],.]]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,.],[[.,.],[.,[.,.]]]],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,.],[[.,.],[[.,.],.]]],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,.],[[.,[.,.]],[.,.]]],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,.],[[[.,.],.],[.,.]]],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,.],[[.,[.,[.,.]]],.]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,.],[[.,[[.,.],.]],.]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,.],[[[.,.],[.,.]],.]],.]=>([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)=>([(0,1),(0,5),(0,6),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,.],[[[.,[.,.]],.],.]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,.],[[[[.,.],.],.],.]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,[.,.]],[.,[.,[.,.]]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,[.,.]],[.,[[.,.],.]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,[.,.]],[[.,.],[.,.]]],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,[.,.]],[[.,[.,.]],.]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,[.,.]],[[[.,.],.],.]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[[.,.],.],[.,[.,[.,.]]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[[.,.],.],[.,[[.,.],.]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[[.,.],.],[[.,.],[.,.]]],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[[.,.],.],[[.,[.,.]],.]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[[.,.],.],[[[.,.],.],.]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,[.,[.,.]]],[.,[.,.]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,[.,[.,.]]],[[.,.],.]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,[[.,.],.]],[.,[.,.]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,[[.,.],.]],[[.,.],.]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[[.,.],[.,.]],[.,[.,.]]],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[[.,.],[.,.]],[[.,.],.]],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[[.,[.,.]],.],[.,[.,.]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[[.,[.,.]],.],[[.,.],.]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[[[.,.],.],.],[.,[.,.]]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[[[.,.],.],.],[[.,.],.]],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,[.,[.,[.,.]]]],[.,.]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,[.,[[.,.],.]]],[.,.]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,[[.,.],[.,.]]],[.,.]],.]=>([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)=>([(0,1),(0,5),(0,6),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,[[.,[.,.]],.]],[.,.]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,[[[.,.],.],.]],[.,.]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[[[.,.],[.,[.,.]]],[.,.]],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[[.,.],[[.,.],.]],[.,.]],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[[.,[.,.]],[.,.]],[.,.]],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[[[.,.],.],[.,.]],[.,.]],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[[.,[.,[.,.]]],.],[.,.]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[[[.,[[.,.],.]],.],[.,.]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[[[[.,.],[.,.]],.],[.,.]],.]=>([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)=>([(0,1),(0,5),(0,6),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[[[.,[.,.]],.],.],[.,.]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[[[[[.,.],.],.],.],[.,.]],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,[.,[.,[.,[.,.]]]]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,[.,[.,[[.,.],.]]]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,[.,[[.,.],[.,.]]]],.],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,[.,[[.,[.,.]],.]]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,[.,[[[.,.],.],.]]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,[[.,.],[.,[.,.]]]],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,[[.,.],[[.,.],.]]],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,[[.,[.,.]],[.,.]]],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,[[[.,.],.],[.,.]]],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,[[.,[.,[.,.]]],.]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,[[.,[[.,.],.]],.]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,[[[.,.],[.,.]],.]],.],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,[[[.,[.,.]],.],.]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[.,[[[[.,.],.],.],.]],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[[.,.],[.,[.,[.,.]]]],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[[.,.],[.,[[.,.],.]]],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[[.,.],[[.,.],[.,.]]],.],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[[.,.],[[.,[.,.]],.]],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[[.,.],[[[.,.],.],.]],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[[.,[.,.]],[.,[.,.]]],.],.]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[[[.,[.,.]],[[.,.],.]],.],.]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[[[[.,.],.],[.,[.,.]]],.],.]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[[[[.,.],.],[[.,.],.]],.],.]=>([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)=>([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[[[.,[.,[.,.]]],[.,.]],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[[.,[[.,.],.]],[.,.]],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[[[.,.],[.,.]],[.,.]],.],.]=>([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)=>([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[[[.,[.,.]],.],[.,.]],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[[[[.,.],.],.],[.,.]],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[[.,[.,[.,[.,.]]]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[[.,[.,[[.,.],.]]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[[.,[[.,.],[.,.]]],.],.],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[[[.,[[.,[.,.]],.]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[[.,[[[.,.],.],.]],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[[[.,.],[.,[.,.]]],.],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[[[.,.],[[.,.],.]],.],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[[[.,[.,.]],[.,.]],.],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[[[[.,.],.],[.,.]],.],.],.]=>([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)=>([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[[[.,[.,[.,.]]],.],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[[[.,[[.,.],.]],.],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[[[[.,.],[.,.]],.],.],.],.]=>([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)=>([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7)=>[15]
[[[[[[.,[.,.]],.],.],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
[[[[[[[.,.],.],.],.],.],.],.]=>([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)=>([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)=>[15]
Map
to graph
Description
Return the undirected graph obtained from the tree nodes and edges, with leaves being ignored.
Map
connected complement
Description
The componentwise connected complement of a graph.
For a connected graph $G$, this map returns the complement of $G$ if it is connected, otherwise $G$ itself. If $G$ is not connected, the map is applied to each connected component separately.
For a connected graph $G$, this map returns the complement of $G$ if it is connected, otherwise $G$ itself. If $G$ is not connected, the map is applied to each connected component separately.
Map
to edge-partition of connected components
Description
Sends a graph to the partition recording the number of edges in its connected components.
searching the database
Sorry, this map was not found in the database.