Identifier
-
Mp00013:
Binary trees
—to poset⟶
Posets
St000100: Posets ⟶ ℤ
Values
[.,[.,.]] => ([(0,1)],2) => 1
[[.,.],.] => ([(0,1)],2) => 1
[.,[.,[.,.]]] => ([(0,2),(2,1)],3) => 1
[.,[[.,.],.]] => ([(0,2),(2,1)],3) => 1
[[.,.],[.,.]] => ([(0,2),(1,2)],3) => 2
[[.,[.,.]],.] => ([(0,2),(2,1)],3) => 1
[[[.,.],.],.] => ([(0,2),(2,1)],3) => 1
[.,[.,[.,[.,.]]]] => ([(0,3),(2,1),(3,2)],4) => 1
[.,[.,[[.,.],.]]] => ([(0,3),(2,1),(3,2)],4) => 1
[.,[[.,.],[.,.]]] => ([(0,3),(1,3),(3,2)],4) => 2
[.,[[.,[.,.]],.]] => ([(0,3),(2,1),(3,2)],4) => 1
[.,[[[.,.],.],.]] => ([(0,3),(2,1),(3,2)],4) => 1
[[.,.],[.,[.,.]]] => ([(0,3),(1,2),(2,3)],4) => 3
[[.,.],[[.,.],.]] => ([(0,3),(1,2),(2,3)],4) => 3
[[.,[.,.]],[.,.]] => ([(0,3),(1,2),(2,3)],4) => 3
[[[.,.],.],[.,.]] => ([(0,3),(1,2),(2,3)],4) => 3
[[.,[.,[.,.]]],.] => ([(0,3),(2,1),(3,2)],4) => 1
[[.,[[.,.],.]],.] => ([(0,3),(2,1),(3,2)],4) => 1
[[[.,.],[.,.]],.] => ([(0,3),(1,3),(3,2)],4) => 2
[[[.,[.,.]],.],.] => ([(0,3),(2,1),(3,2)],4) => 1
[[[[.,.],.],.],.] => ([(0,3),(2,1),(3,2)],4) => 1
[.,[.,[.,[.,[.,.]]]]] => ([(0,4),(2,3),(3,1),(4,2)],5) => 1
[.,[.,[.,[[.,.],.]]]] => ([(0,4),(2,3),(3,1),(4,2)],5) => 1
[.,[.,[[.,.],[.,.]]]] => ([(0,4),(1,4),(2,3),(4,2)],5) => 2
[.,[.,[[.,[.,.]],.]]] => ([(0,4),(2,3),(3,1),(4,2)],5) => 1
[.,[.,[[[.,.],.],.]]] => ([(0,4),(2,3),(3,1),(4,2)],5) => 1
[.,[[.,.],[.,[.,.]]]] => ([(0,4),(1,2),(2,4),(4,3)],5) => 3
[.,[[.,.],[[.,.],.]]] => ([(0,4),(1,2),(2,4),(4,3)],5) => 3
[.,[[.,[.,.]],[.,.]]] => ([(0,4),(1,2),(2,4),(4,3)],5) => 3
[.,[[[.,.],.],[.,.]]] => ([(0,4),(1,2),(2,4),(4,3)],5) => 3
[.,[[.,[.,[.,.]]],.]] => ([(0,4),(2,3),(3,1),(4,2)],5) => 1
[.,[[.,[[.,.],.]],.]] => ([(0,4),(2,3),(3,1),(4,2)],5) => 1
[.,[[[.,.],[.,.]],.]] => ([(0,4),(1,4),(2,3),(4,2)],5) => 2
[.,[[[.,[.,.]],.],.]] => ([(0,4),(2,3),(3,1),(4,2)],5) => 1
[.,[[[[.,.],.],.],.]] => ([(0,4),(2,3),(3,1),(4,2)],5) => 1
[[.,.],[.,[.,[.,.]]]] => ([(0,4),(1,2),(2,3),(3,4)],5) => 4
[[.,.],[.,[[.,.],.]]] => ([(0,4),(1,2),(2,3),(3,4)],5) => 4
[[.,.],[[.,.],[.,.]]] => ([(0,4),(1,3),(2,3),(3,4)],5) => 8
[[.,.],[[.,[.,.]],.]] => ([(0,4),(1,2),(2,3),(3,4)],5) => 4
[[.,.],[[[.,.],.],.]] => ([(0,4),(1,2),(2,3),(3,4)],5) => 4
[[.,[.,.]],[.,[.,.]]] => ([(0,3),(1,2),(2,4),(3,4)],5) => 6
[[.,[.,.]],[[.,.],.]] => ([(0,3),(1,2),(2,4),(3,4)],5) => 6
[[[.,.],.],[.,[.,.]]] => ([(0,3),(1,2),(2,4),(3,4)],5) => 6
[[[.,.],.],[[.,.],.]] => ([(0,3),(1,2),(2,4),(3,4)],5) => 6
[[.,[.,[.,.]]],[.,.]] => ([(0,4),(1,2),(2,3),(3,4)],5) => 4
[[.,[[.,.],.]],[.,.]] => ([(0,4),(1,2),(2,3),(3,4)],5) => 4
[[[.,.],[.,.]],[.,.]] => ([(0,4),(1,3),(2,3),(3,4)],5) => 8
[[[.,[.,.]],.],[.,.]] => ([(0,4),(1,2),(2,3),(3,4)],5) => 4
[[[[.,.],.],.],[.,.]] => ([(0,4),(1,2),(2,3),(3,4)],5) => 4
[[.,[.,[.,[.,.]]]],.] => ([(0,4),(2,3),(3,1),(4,2)],5) => 1
[[.,[.,[[.,.],.]]],.] => ([(0,4),(2,3),(3,1),(4,2)],5) => 1
[[.,[[.,.],[.,.]]],.] => ([(0,4),(1,4),(2,3),(4,2)],5) => 2
[[.,[[.,[.,.]],.]],.] => ([(0,4),(2,3),(3,1),(4,2)],5) => 1
[[.,[[[.,.],.],.]],.] => ([(0,4),(2,3),(3,1),(4,2)],5) => 1
[[[.,.],[.,[.,.]]],.] => ([(0,4),(1,2),(2,4),(4,3)],5) => 3
[[[.,.],[[.,.],.]],.] => ([(0,4),(1,2),(2,4),(4,3)],5) => 3
[[[.,[.,.]],[.,.]],.] => ([(0,4),(1,2),(2,4),(4,3)],5) => 3
[[[[.,.],.],[.,.]],.] => ([(0,4),(1,2),(2,4),(4,3)],5) => 3
[[[.,[.,[.,.]]],.],.] => ([(0,4),(2,3),(3,1),(4,2)],5) => 1
[[[.,[[.,.],.]],.],.] => ([(0,4),(2,3),(3,1),(4,2)],5) => 1
[[[[.,.],[.,.]],.],.] => ([(0,4),(1,4),(2,3),(4,2)],5) => 2
[[[[.,[.,.]],.],.],.] => ([(0,4),(2,3),(3,1),(4,2)],5) => 1
[[[[[.,.],.],.],.],.] => ([(0,4),(2,3),(3,1),(4,2)],5) => 1
[.,[.,[.,[.,[.,[.,.]]]]]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 1
[.,[.,[.,[.,[[.,.],.]]]]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 1
[.,[.,[.,[[.,.],[.,.]]]]] => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6) => 2
[.,[.,[.,[[.,[.,.]],.]]]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 1
[.,[.,[.,[[[.,.],.],.]]]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 1
[.,[.,[[.,.],[.,[.,.]]]]] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => 3
[.,[.,[[.,.],[[.,.],.]]]] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => 3
[.,[.,[[.,[.,.]],[.,.]]]] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => 3
[.,[.,[[[.,.],.],[.,.]]]] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => 3
[.,[.,[[.,[.,[.,.]]],.]]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 1
[.,[.,[[.,[[.,.],.]],.]]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 1
[.,[.,[[[.,.],[.,.]],.]]] => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6) => 2
[.,[.,[[[.,[.,.]],.],.]]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 1
[.,[.,[[[[.,.],.],.],.]]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 1
[.,[[.,.],[.,[.,[.,.]]]]] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => 4
[.,[[.,.],[.,[[.,.],.]]]] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => 4
[.,[[.,.],[[.,.],[.,.]]]] => ([(0,5),(1,4),(2,4),(4,5),(5,3)],6) => 8
[.,[[.,.],[[.,[.,.]],.]]] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => 4
[.,[[.,.],[[[.,.],.],.]]] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => 4
[.,[[.,[.,.]],[.,[.,.]]]] => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6) => 6
[.,[[.,[.,.]],[[.,.],.]]] => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6) => 6
[.,[[[.,.],.],[.,[.,.]]]] => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6) => 6
[.,[[[.,.],.],[[.,.],.]]] => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6) => 6
[.,[[.,[.,[.,.]]],[.,.]]] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => 4
[.,[[.,[[.,.],.]],[.,.]]] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => 4
[.,[[[.,.],[.,.]],[.,.]]] => ([(0,5),(1,4),(2,4),(4,5),(5,3)],6) => 8
[.,[[[.,[.,.]],.],[.,.]]] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => 4
[.,[[[[.,.],.],.],[.,.]]] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => 4
[.,[[.,[.,[.,[.,.]]]],.]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 1
[.,[[.,[.,[[.,.],.]]],.]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 1
[.,[[.,[[.,.],[.,.]]],.]] => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6) => 2
[.,[[.,[[.,[.,.]],.]],.]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 1
[.,[[.,[[[.,.],.],.]],.]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 1
[.,[[[.,.],[.,[.,.]]],.]] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => 3
[.,[[[.,.],[[.,.],.]],.]] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => 3
[.,[[[.,[.,.]],[.,.]],.]] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => 3
[.,[[[[.,.],.],[.,.]],.]] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => 3
[.,[[[.,[.,[.,.]]],.],.]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 1
>>> Load all 882 entries. <<<[.,[[[.,[[.,.],.]],.],.]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 1
[.,[[[[.,.],[.,.]],.],.]] => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6) => 2
[.,[[[[.,[.,.]],.],.],.]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 1
[.,[[[[[.,.],.],.],.],.]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 1
[[.,.],[.,[.,[.,[.,.]]]]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => 5
[[.,.],[.,[.,[[.,.],.]]]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => 5
[[.,.],[.,[[.,.],[.,.]]]] => ([(0,5),(1,4),(2,4),(3,5),(4,3)],6) => 10
[[.,.],[.,[[.,[.,.]],.]]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => 5
[[.,.],[.,[[[.,.],.],.]]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => 5
[[.,.],[[.,.],[.,[.,.]]]] => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6) => 15
[[.,.],[[.,.],[[.,.],.]]] => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6) => 15
[[.,.],[[.,[.,.]],[.,.]]] => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6) => 15
[[.,.],[[[.,.],.],[.,.]]] => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6) => 15
[[.,.],[[.,[.,[.,.]]],.]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => 5
[[.,.],[[.,[[.,.],.]],.]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => 5
[[.,.],[[[.,.],[.,.]],.]] => ([(0,5),(1,4),(2,4),(3,5),(4,3)],6) => 10
[[.,.],[[[.,[.,.]],.],.]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => 5
[[.,.],[[[[.,.],.],.],.]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => 5
[[.,[.,.]],[.,[.,[.,.]]]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => 10
[[.,[.,.]],[.,[[.,.],.]]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => 10
[[.,[.,.]],[[.,.],[.,.]]] => ([(0,4),(1,4),(2,3),(3,5),(4,5)],6) => 20
[[.,[.,.]],[[.,[.,.]],.]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => 10
[[.,[.,.]],[[[.,.],.],.]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => 10
[[[.,.],.],[.,[.,[.,.]]]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => 10
[[[.,.],.],[.,[[.,.],.]]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => 10
[[[.,.],.],[[.,.],[.,.]]] => ([(0,4),(1,4),(2,3),(3,5),(4,5)],6) => 20
[[[.,.],.],[[.,[.,.]],.]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => 10
[[[.,.],.],[[[.,.],.],.]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => 10
[[.,[.,[.,.]]],[.,[.,.]]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => 10
[[.,[.,[.,.]]],[[.,.],.]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => 10
[[.,[[.,.],.]],[.,[.,.]]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => 10
[[.,[[.,.],.]],[[.,.],.]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => 10
[[[.,.],[.,.]],[.,[.,.]]] => ([(0,4),(1,4),(2,3),(3,5),(4,5)],6) => 20
[[[.,.],[.,.]],[[.,.],.]] => ([(0,4),(1,4),(2,3),(3,5),(4,5)],6) => 20
[[[.,[.,.]],.],[.,[.,.]]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => 10
[[[.,[.,.]],.],[[.,.],.]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => 10
[[[[.,.],.],.],[.,[.,.]]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => 10
[[[[.,.],.],.],[[.,.],.]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => 10
[[.,[.,[.,[.,.]]]],[.,.]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => 5
[[.,[.,[[.,.],.]]],[.,.]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => 5
[[.,[[.,.],[.,.]]],[.,.]] => ([(0,5),(1,4),(2,4),(3,5),(4,3)],6) => 10
[[.,[[.,[.,.]],.]],[.,.]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => 5
[[.,[[[.,.],.],.]],[.,.]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => 5
[[[.,.],[.,[.,.]]],[.,.]] => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6) => 15
[[[.,.],[[.,.],.]],[.,.]] => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6) => 15
[[[.,[.,.]],[.,.]],[.,.]] => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6) => 15
[[[[.,.],.],[.,.]],[.,.]] => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6) => 15
[[[.,[.,[.,.]]],.],[.,.]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => 5
[[[.,[[.,.],.]],.],[.,.]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => 5
[[[[.,.],[.,.]],.],[.,.]] => ([(0,5),(1,4),(2,4),(3,5),(4,3)],6) => 10
[[[[.,[.,.]],.],.],[.,.]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => 5
[[[[[.,.],.],.],.],[.,.]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => 5
[[.,[.,[.,[.,[.,.]]]]],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 1
[[.,[.,[.,[[.,.],.]]]],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 1
[[.,[.,[[.,.],[.,.]]]],.] => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6) => 2
[[.,[.,[[.,[.,.]],.]]],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 1
[[.,[.,[[[.,.],.],.]]],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 1
[[.,[[.,.],[.,[.,.]]]],.] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => 3
[[.,[[.,.],[[.,.],.]]],.] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => 3
[[.,[[.,[.,.]],[.,.]]],.] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => 3
[[.,[[[.,.],.],[.,.]]],.] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => 3
[[.,[[.,[.,[.,.]]],.]],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 1
[[.,[[.,[[.,.],.]],.]],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 1
[[.,[[[.,.],[.,.]],.]],.] => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6) => 2
[[.,[[[.,[.,.]],.],.]],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 1
[[.,[[[[.,.],.],.],.]],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 1
[[[.,.],[.,[.,[.,.]]]],.] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => 4
[[[.,.],[.,[[.,.],.]]],.] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => 4
[[[.,.],[[.,.],[.,.]]],.] => ([(0,5),(1,4),(2,4),(4,5),(5,3)],6) => 8
[[[.,.],[[.,[.,.]],.]],.] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => 4
[[[.,.],[[[.,.],.],.]],.] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => 4
[[[.,[.,.]],[.,[.,.]]],.] => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6) => 6
[[[.,[.,.]],[[.,.],.]],.] => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6) => 6
[[[[.,.],.],[.,[.,.]]],.] => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6) => 6
[[[[.,.],.],[[.,.],.]],.] => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6) => 6
[[[.,[.,[.,.]]],[.,.]],.] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => 4
[[[.,[[.,.],.]],[.,.]],.] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => 4
[[[[.,.],[.,.]],[.,.]],.] => ([(0,5),(1,4),(2,4),(4,5),(5,3)],6) => 8
[[[[.,[.,.]],.],[.,.]],.] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => 4
[[[[[.,.],.],.],[.,.]],.] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => 4
[[[.,[.,[.,[.,.]]]],.],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 1
[[[.,[.,[[.,.],.]]],.],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 1
[[[.,[[.,.],[.,.]]],.],.] => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6) => 2
[[[.,[[.,[.,.]],.]],.],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 1
[[[.,[[[.,.],.],.]],.],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 1
[[[[.,.],[.,[.,.]]],.],.] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => 3
[[[[.,.],[[.,.],.]],.],.] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => 3
[[[[.,[.,.]],[.,.]],.],.] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => 3
[[[[[.,.],.],[.,.]],.],.] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => 3
[[[[.,[.,[.,.]]],.],.],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 1
[[[[.,[[.,.],.]],.],.],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 1
[[[[[.,.],[.,.]],.],.],.] => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6) => 2
[[[[[.,[.,.]],.],.],.],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 1
[[[[[[.,.],.],.],.],.],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 1
[.,[.,[.,[.,[.,[.,[.,.]]]]]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[.,[.,[.,[.,[.,[[.,.],.]]]]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[.,[.,[.,[.,[[.,.],[.,.]]]]]] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => 2
[.,[.,[.,[.,[[.,[.,.]],.]]]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[.,[.,[.,[.,[[[.,.],.],.]]]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[.,[.,[.,[[.,.],[.,[.,.]]]]]] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => 3
[.,[.,[.,[[.,.],[[.,.],.]]]]] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => 3
[.,[.,[.,[[.,[.,.]],[.,.]]]]] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => 3
[.,[.,[.,[[[.,.],.],[.,.]]]]] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => 3
[.,[.,[.,[[.,[.,[.,.]]],.]]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[.,[.,[.,[[.,[[.,.],.]],.]]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[.,[.,[.,[[[.,.],[.,.]],.]]]] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => 2
[.,[.,[.,[[[.,[.,.]],.],.]]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[.,[.,[.,[[[[.,.],.],.],.]]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[.,[.,[[.,.],[.,[.,[.,.]]]]]] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => 4
[.,[.,[[.,.],[.,[[.,.],.]]]]] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => 4
[.,[.,[[.,.],[[.,.],[.,.]]]]] => ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7) => 8
[.,[.,[[.,.],[[.,[.,.]],.]]]] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => 4
[.,[.,[[.,.],[[[.,.],.],.]]]] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => 4
[.,[.,[[.,[.,.]],[.,[.,.]]]]] => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7) => 6
[.,[.,[[.,[.,.]],[[.,.],.]]]] => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7) => 6
[.,[.,[[[.,.],.],[.,[.,.]]]]] => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7) => 6
[.,[.,[[[.,.],.],[[.,.],.]]]] => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7) => 6
[.,[.,[[.,[.,[.,.]]],[.,.]]]] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => 4
[.,[.,[[.,[[.,.],.]],[.,.]]]] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => 4
[.,[.,[[[.,.],[.,.]],[.,.]]]] => ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7) => 8
[.,[.,[[[.,[.,.]],.],[.,.]]]] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => 4
[.,[.,[[[[.,.],.],.],[.,.]]]] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => 4
[.,[.,[[.,[.,[.,[.,.]]]],.]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[.,[.,[[.,[.,[[.,.],.]]],.]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[.,[.,[[.,[[.,.],[.,.]]],.]]] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => 2
[.,[.,[[.,[[.,[.,.]],.]],.]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[.,[.,[[.,[[[.,.],.],.]],.]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[.,[.,[[[.,.],[.,[.,.]]],.]]] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => 3
[.,[.,[[[.,.],[[.,.],.]],.]]] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => 3
[.,[.,[[[.,[.,.]],[.,.]],.]]] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => 3
[.,[.,[[[[.,.],.],[.,.]],.]]] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => 3
[.,[.,[[[.,[.,[.,.]]],.],.]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[.,[.,[[[.,[[.,.],.]],.],.]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[.,[.,[[[[.,.],[.,.]],.],.]]] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => 2
[.,[.,[[[[.,[.,.]],.],.],.]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[.,[.,[[[[[.,.],.],.],.],.]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[.,[[.,.],[.,[.,[.,[.,.]]]]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => 5
[.,[[.,.],[.,[.,[[.,.],.]]]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => 5
[.,[[.,.],[.,[[.,.],[.,.]]]]] => ([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7) => 10
[.,[[.,.],[.,[[.,[.,.]],.]]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => 5
[.,[[.,.],[.,[[[.,.],.],.]]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => 5
[.,[[.,.],[[.,.],[.,[.,.]]]]] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => 15
[.,[[.,.],[[.,.],[[.,.],.]]]] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => 15
[.,[[.,.],[[.,[.,.]],[.,.]]]] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => 15
[.,[[.,.],[[[.,.],.],[.,.]]]] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => 15
[.,[[.,.],[[.,[.,[.,.]]],.]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => 5
[.,[[.,.],[[.,[[.,.],.]],.]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => 5
[.,[[.,.],[[[.,.],[.,.]],.]]] => ([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7) => 10
[.,[[.,.],[[[.,[.,.]],.],.]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => 5
[.,[[.,.],[[[[.,.],.],.],.]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => 5
[.,[[.,[.,.]],[.,[.,[.,.]]]]] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => 10
[.,[[.,[.,.]],[.,[[.,.],.]]]] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => 10
[.,[[.,[.,.]],[[.,.],[.,.]]]] => ([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7) => 20
[.,[[.,[.,.]],[[.,[.,.]],.]]] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => 10
[.,[[.,[.,.]],[[[.,.],.],.]]] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => 10
[.,[[[.,.],.],[.,[.,[.,.]]]]] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => 10
[.,[[[.,.],.],[.,[[.,.],.]]]] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => 10
[.,[[[.,.],.],[[.,.],[.,.]]]] => ([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7) => 20
[.,[[[.,.],.],[[.,[.,.]],.]]] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => 10
[.,[[[.,.],.],[[[.,.],.],.]]] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => 10
[.,[[.,[.,[.,.]]],[.,[.,.]]]] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => 10
[.,[[.,[.,[.,.]]],[[.,.],.]]] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => 10
[.,[[.,[[.,.],.]],[.,[.,.]]]] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => 10
[.,[[.,[[.,.],.]],[[.,.],.]]] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => 10
[.,[[[.,.],[.,.]],[.,[.,.]]]] => ([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7) => 20
[.,[[[.,.],[.,.]],[[.,.],.]]] => ([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7) => 20
[.,[[[.,[.,.]],.],[.,[.,.]]]] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => 10
[.,[[[.,[.,.]],.],[[.,.],.]]] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => 10
[.,[[[[.,.],.],.],[.,[.,.]]]] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => 10
[.,[[[[.,.],.],.],[[.,.],.]]] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => 10
[.,[[.,[.,[.,[.,.]]]],[.,.]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => 5
[.,[[.,[.,[[.,.],.]]],[.,.]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => 5
[.,[[.,[[.,.],[.,.]]],[.,.]]] => ([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7) => 10
[.,[[.,[[.,[.,.]],.]],[.,.]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => 5
[.,[[.,[[[.,.],.],.]],[.,.]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => 5
[.,[[[.,.],[.,[.,.]]],[.,.]]] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => 15
[.,[[[.,.],[[.,.],.]],[.,.]]] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => 15
[.,[[[.,[.,.]],[.,.]],[.,.]]] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => 15
[.,[[[[.,.],.],[.,.]],[.,.]]] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => 15
[.,[[[.,[.,[.,.]]],.],[.,.]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => 5
[.,[[[.,[[.,.],.]],.],[.,.]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => 5
[.,[[[[.,.],[.,.]],.],[.,.]]] => ([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7) => 10
[.,[[[[.,[.,.]],.],.],[.,.]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => 5
[.,[[[[[.,.],.],.],.],[.,.]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => 5
[.,[[.,[.,[.,[.,[.,.]]]]],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[.,[[.,[.,[.,[[.,.],.]]]],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[.,[[.,[.,[[.,.],[.,.]]]],.]] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => 2
[.,[[.,[.,[[.,[.,.]],.]]],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[.,[[.,[.,[[[.,.],.],.]]],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[.,[[.,[[.,.],[.,[.,.]]]],.]] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => 3
[.,[[.,[[.,.],[[.,.],.]]],.]] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => 3
[.,[[.,[[.,[.,.]],[.,.]]],.]] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => 3
[.,[[.,[[[.,.],.],[.,.]]],.]] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => 3
[.,[[.,[[.,[.,[.,.]]],.]],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[.,[[.,[[.,[[.,.],.]],.]],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[.,[[.,[[[.,.],[.,.]],.]],.]] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => 2
[.,[[.,[[[.,[.,.]],.],.]],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[.,[[.,[[[[.,.],.],.],.]],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[.,[[[.,.],[.,[.,[.,.]]]],.]] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => 4
[.,[[[.,.],[.,[[.,.],.]]],.]] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => 4
[.,[[[.,.],[[.,.],[.,.]]],.]] => ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7) => 8
[.,[[[.,.],[[.,[.,.]],.]],.]] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => 4
[.,[[[.,.],[[[.,.],.],.]],.]] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => 4
[.,[[[.,[.,.]],[.,[.,.]]],.]] => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7) => 6
[.,[[[.,[.,.]],[[.,.],.]],.]] => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7) => 6
[.,[[[[.,.],.],[.,[.,.]]],.]] => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7) => 6
[.,[[[[.,.],.],[[.,.],.]],.]] => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7) => 6
[.,[[[.,[.,[.,.]]],[.,.]],.]] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => 4
[.,[[[.,[[.,.],.]],[.,.]],.]] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => 4
[.,[[[[.,.],[.,.]],[.,.]],.]] => ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7) => 8
[.,[[[[.,[.,.]],.],[.,.]],.]] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => 4
[.,[[[[[.,.],.],.],[.,.]],.]] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => 4
[.,[[[.,[.,[.,[.,.]]]],.],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[.,[[[.,[.,[[.,.],.]]],.],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[.,[[[.,[[.,.],[.,.]]],.],.]] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => 2
[.,[[[.,[[.,[.,.]],.]],.],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[.,[[[.,[[[.,.],.],.]],.],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[.,[[[[.,.],[.,[.,.]]],.],.]] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => 3
[.,[[[[.,.],[[.,.],.]],.],.]] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => 3
[.,[[[[.,[.,.]],[.,.]],.],.]] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => 3
[.,[[[[[.,.],.],[.,.]],.],.]] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => 3
[.,[[[[.,[.,[.,.]]],.],.],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[.,[[[[.,[[.,.],.]],.],.],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[.,[[[[[.,.],[.,.]],.],.],.]] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => 2
[.,[[[[[.,[.,.]],.],.],.],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[.,[[[[[[.,.],.],.],.],.],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[[.,.],[.,[.,[.,[.,[.,.]]]]]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => 6
[[.,.],[.,[.,[.,[[.,.],.]]]]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => 6
[[.,.],[.,[.,[[.,.],[.,.]]]]] => ([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7) => 12
[[.,.],[.,[.,[[.,[.,.]],.]]]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => 6
[[.,.],[.,[.,[[[.,.],.],.]]]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => 6
[[.,.],[.,[[.,.],[.,[.,.]]]]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => 18
[[.,.],[.,[[.,.],[[.,.],.]]]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => 18
[[.,.],[.,[[.,[.,.]],[.,.]]]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => 18
[[.,.],[.,[[[.,.],.],[.,.]]]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => 18
[[.,.],[.,[[.,[.,[.,.]]],.]]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => 6
[[.,.],[.,[[.,[[.,.],.]],.]]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => 6
[[.,.],[.,[[[.,.],[.,.]],.]]] => ([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7) => 12
[[.,.],[.,[[[.,[.,.]],.],.]]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => 6
[[.,.],[.,[[[[.,.],.],.],.]]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => 6
[[.,.],[[.,.],[.,[.,[.,.]]]]] => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7) => 24
[[.,.],[[.,.],[.,[[.,.],.]]]] => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7) => 24
[[.,.],[[.,.],[[.,.],[.,.]]]] => ([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7) => 48
[[.,.],[[.,.],[[.,[.,.]],.]]] => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7) => 24
[[.,.],[[.,.],[[[.,.],.],.]]] => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7) => 24
[[.,.],[[.,[.,.]],[.,[.,.]]]] => ([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7) => 36
[[.,.],[[.,[.,.]],[[.,.],.]]] => ([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7) => 36
[[.,.],[[[.,.],.],[.,[.,.]]]] => ([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7) => 36
[[.,.],[[[.,.],.],[[.,.],.]]] => ([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7) => 36
[[.,.],[[.,[.,[.,.]]],[.,.]]] => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7) => 24
[[.,.],[[.,[[.,.],.]],[.,.]]] => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7) => 24
[[.,.],[[[.,.],[.,.]],[.,.]]] => ([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7) => 48
[[.,.],[[[.,[.,.]],.],[.,.]]] => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7) => 24
[[.,.],[[[[.,.],.],.],[.,.]]] => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7) => 24
[[.,.],[[.,[.,[.,[.,.]]]],.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => 6
[[.,.],[[.,[.,[[.,.],.]]],.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => 6
[[.,.],[[.,[[.,.],[.,.]]],.]] => ([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7) => 12
[[.,.],[[.,[[.,[.,.]],.]],.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => 6
[[.,.],[[.,[[[.,.],.],.]],.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => 6
[[.,.],[[[.,.],[.,[.,.]]],.]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => 18
[[.,.],[[[.,.],[[.,.],.]],.]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => 18
[[.,.],[[[.,[.,.]],[.,.]],.]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => 18
[[.,.],[[[[.,.],.],[.,.]],.]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => 18
[[.,.],[[[.,[.,[.,.]]],.],.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => 6
[[.,.],[[[.,[[.,.],.]],.],.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => 6
[[.,.],[[[[.,.],[.,.]],.],.]] => ([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7) => 12
[[.,.],[[[[.,[.,.]],.],.],.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => 6
[[.,.],[[[[[.,.],.],.],.],.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => 6
[[.,[.,.]],[.,[.,[.,[.,.]]]]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => 15
[[.,[.,.]],[.,[.,[[.,.],.]]]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => 15
[[.,[.,.]],[.,[[.,.],[.,.]]]] => ([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7) => 30
[[.,[.,.]],[.,[[.,[.,.]],.]]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => 15
[[.,[.,.]],[.,[[[.,.],.],.]]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => 15
[[.,[.,.]],[[.,.],[.,[.,.]]]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => 45
[[.,[.,.]],[[.,.],[[.,.],.]]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => 45
[[.,[.,.]],[[.,[.,.]],[.,.]]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => 45
[[.,[.,.]],[[[.,.],.],[.,.]]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => 45
[[.,[.,.]],[[.,[.,[.,.]]],.]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => 15
[[.,[.,.]],[[.,[[.,.],.]],.]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => 15
[[.,[.,.]],[[[.,.],[.,.]],.]] => ([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7) => 30
[[.,[.,.]],[[[.,[.,.]],.],.]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => 15
[[.,[.,.]],[[[[.,.],.],.],.]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => 15
[[[.,.],.],[.,[.,[.,[.,.]]]]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => 15
[[[.,.],.],[.,[.,[[.,.],.]]]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => 15
[[[.,.],.],[.,[[.,.],[.,.]]]] => ([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7) => 30
[[[.,.],.],[.,[[.,[.,.]],.]]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => 15
[[[.,.],.],[.,[[[.,.],.],.]]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => 15
[[[.,.],.],[[.,.],[.,[.,.]]]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => 45
[[[.,.],.],[[.,.],[[.,.],.]]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => 45
[[[.,.],.],[[.,[.,.]],[.,.]]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => 45
[[[.,.],.],[[[.,.],.],[.,.]]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => 45
[[[.,.],.],[[.,[.,[.,.]]],.]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => 15
[[[.,.],.],[[.,[[.,.],.]],.]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => 15
[[[.,.],.],[[[.,.],[.,.]],.]] => ([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7) => 30
[[[.,.],.],[[[.,[.,.]],.],.]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => 15
[[[.,.],.],[[[[.,.],.],.],.]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => 15
[[.,[.,[.,.]]],[.,[.,[.,.]]]] => ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7) => 20
[[.,[.,[.,.]]],[.,[[.,.],.]]] => ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7) => 20
[[.,[.,[.,.]]],[[.,.],[.,.]]] => ([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7) => 40
[[.,[.,[.,.]]],[[.,[.,.]],.]] => ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7) => 20
[[.,[.,[.,.]]],[[[.,.],.],.]] => ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7) => 20
[[.,[[.,.],.]],[.,[.,[.,.]]]] => ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7) => 20
[[.,[[.,.],.]],[.,[[.,.],.]]] => ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7) => 20
[[.,[[.,.],.]],[[.,.],[.,.]]] => ([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7) => 40
[[.,[[.,.],.]],[[.,[.,.]],.]] => ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7) => 20
[[.,[[.,.],.]],[[[.,.],.],.]] => ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7) => 20
[[[.,.],[.,.]],[.,[.,[.,.]]]] => ([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7) => 40
[[[.,.],[.,.]],[.,[[.,.],.]]] => ([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7) => 40
[[[.,.],[.,.]],[[.,.],[.,.]]] => ([(0,5),(1,5),(2,4),(3,4),(4,6),(5,6)],7) => 80
[[[.,.],[.,.]],[[.,[.,.]],.]] => ([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7) => 40
[[[.,.],[.,.]],[[[.,.],.],.]] => ([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7) => 40
[[[.,[.,.]],.],[.,[.,[.,.]]]] => ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7) => 20
[[[.,[.,.]],.],[.,[[.,.],.]]] => ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7) => 20
[[[.,[.,.]],.],[[.,.],[.,.]]] => ([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7) => 40
[[[.,[.,.]],.],[[.,[.,.]],.]] => ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7) => 20
[[[.,[.,.]],.],[[[.,.],.],.]] => ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7) => 20
[[[[.,.],.],.],[.,[.,[.,.]]]] => ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7) => 20
[[[[.,.],.],.],[.,[[.,.],.]]] => ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7) => 20
[[[[.,.],.],.],[[.,.],[.,.]]] => ([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7) => 40
[[[[.,.],.],.],[[.,[.,.]],.]] => ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7) => 20
[[[[.,.],.],.],[[[.,.],.],.]] => ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7) => 20
[[.,[.,[.,[.,.]]]],[.,[.,.]]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => 15
[[.,[.,[.,[.,.]]]],[[.,.],.]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => 15
[[.,[.,[[.,.],.]]],[.,[.,.]]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => 15
[[.,[.,[[.,.],.]]],[[.,.],.]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => 15
[[.,[[.,.],[.,.]]],[.,[.,.]]] => ([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7) => 30
[[.,[[.,.],[.,.]]],[[.,.],.]] => ([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7) => 30
[[.,[[.,[.,.]],.]],[.,[.,.]]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => 15
[[.,[[.,[.,.]],.]],[[.,.],.]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => 15
[[.,[[[.,.],.],.]],[.,[.,.]]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => 15
[[.,[[[.,.],.],.]],[[.,.],.]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => 15
[[[.,.],[.,[.,.]]],[.,[.,.]]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => 45
[[[.,.],[.,[.,.]]],[[.,.],.]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => 45
[[[.,.],[[.,.],.]],[.,[.,.]]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => 45
[[[.,.],[[.,.],.]],[[.,.],.]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => 45
[[[.,[.,.]],[.,.]],[.,[.,.]]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => 45
[[[.,[.,.]],[.,.]],[[.,.],.]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => 45
[[[[.,.],.],[.,.]],[.,[.,.]]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => 45
[[[[.,.],.],[.,.]],[[.,.],.]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => 45
[[[.,[.,[.,.]]],.],[.,[.,.]]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => 15
[[[.,[.,[.,.]]],.],[[.,.],.]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => 15
[[[.,[[.,.],.]],.],[.,[.,.]]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => 15
[[[.,[[.,.],.]],.],[[.,.],.]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => 15
[[[[.,.],[.,.]],.],[.,[.,.]]] => ([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7) => 30
[[[[.,.],[.,.]],.],[[.,.],.]] => ([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7) => 30
[[[[.,[.,.]],.],.],[.,[.,.]]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => 15
[[[[.,[.,.]],.],.],[[.,.],.]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => 15
[[[[[.,.],.],.],.],[.,[.,.]]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => 15
[[[[[.,.],.],.],.],[[.,.],.]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => 15
[[.,[.,[.,[.,[.,.]]]]],[.,.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => 6
[[.,[.,[.,[[.,.],.]]]],[.,.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => 6
[[.,[.,[[.,.],[.,.]]]],[.,.]] => ([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7) => 12
[[.,[.,[[.,[.,.]],.]]],[.,.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => 6
[[.,[.,[[[.,.],.],.]]],[.,.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => 6
[[.,[[.,.],[.,[.,.]]]],[.,.]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => 18
[[.,[[.,.],[[.,.],.]]],[.,.]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => 18
[[.,[[.,[.,.]],[.,.]]],[.,.]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => 18
[[.,[[[.,.],.],[.,.]]],[.,.]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => 18
[[.,[[.,[.,[.,.]]],.]],[.,.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => 6
[[.,[[.,[[.,.],.]],.]],[.,.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => 6
[[.,[[[.,.],[.,.]],.]],[.,.]] => ([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7) => 12
[[.,[[[.,[.,.]],.],.]],[.,.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => 6
[[.,[[[[.,.],.],.],.]],[.,.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => 6
[[[.,.],[.,[.,[.,.]]]],[.,.]] => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7) => 24
[[[.,.],[.,[[.,.],.]]],[.,.]] => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7) => 24
[[[.,.],[[.,.],[.,.]]],[.,.]] => ([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7) => 48
[[[.,.],[[.,[.,.]],.]],[.,.]] => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7) => 24
[[[.,.],[[[.,.],.],.]],[.,.]] => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7) => 24
[[[.,[.,.]],[.,[.,.]]],[.,.]] => ([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7) => 36
[[[.,[.,.]],[[.,.],.]],[.,.]] => ([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7) => 36
[[[[.,.],.],[.,[.,.]]],[.,.]] => ([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7) => 36
[[[[.,.],.],[[.,.],.]],[.,.]] => ([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7) => 36
[[[.,[.,[.,.]]],[.,.]],[.,.]] => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7) => 24
[[[.,[[.,.],.]],[.,.]],[.,.]] => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7) => 24
[[[[.,.],[.,.]],[.,.]],[.,.]] => ([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7) => 48
[[[[.,[.,.]],.],[.,.]],[.,.]] => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7) => 24
[[[[[.,.],.],.],[.,.]],[.,.]] => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7) => 24
[[[.,[.,[.,[.,.]]]],.],[.,.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => 6
[[[.,[.,[[.,.],.]]],.],[.,.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => 6
[[[.,[[.,.],[.,.]]],.],[.,.]] => ([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7) => 12
[[[.,[[.,[.,.]],.]],.],[.,.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => 6
[[[.,[[[.,.],.],.]],.],[.,.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => 6
[[[[.,.],[.,[.,.]]],.],[.,.]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => 18
[[[[.,.],[[.,.],.]],.],[.,.]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => 18
[[[[.,[.,.]],[.,.]],.],[.,.]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => 18
[[[[[.,.],.],[.,.]],.],[.,.]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => 18
[[[[.,[.,[.,.]]],.],.],[.,.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => 6
[[[[.,[[.,.],.]],.],.],[.,.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => 6
[[[[[.,.],[.,.]],.],.],[.,.]] => ([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7) => 12
[[[[[.,[.,.]],.],.],.],[.,.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => 6
[[[[[[.,.],.],.],.],.],[.,.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => 6
[[.,[.,[.,[.,[.,[.,.]]]]]],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[[.,[.,[.,[.,[[.,.],.]]]]],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[[.,[.,[.,[[.,.],[.,.]]]]],.] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => 2
[[.,[.,[.,[[.,[.,.]],.]]]],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[[.,[.,[.,[[[.,.],.],.]]]],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[[.,[.,[[.,.],[.,[.,.]]]]],.] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => 3
[[.,[.,[[.,.],[[.,.],.]]]],.] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => 3
[[.,[.,[[.,[.,.]],[.,.]]]],.] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => 3
[[.,[.,[[[.,.],.],[.,.]]]],.] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => 3
[[.,[.,[[.,[.,[.,.]]],.]]],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[[.,[.,[[.,[[.,.],.]],.]]],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[[.,[.,[[[.,.],[.,.]],.]]],.] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => 2
[[.,[.,[[[.,[.,.]],.],.]]],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[[.,[.,[[[[.,.],.],.],.]]],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[[.,[[.,.],[.,[.,[.,.]]]]],.] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => 4
[[.,[[.,.],[.,[[.,.],.]]]],.] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => 4
[[.,[[.,.],[[.,.],[.,.]]]],.] => ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7) => 8
[[.,[[.,.],[[.,[.,.]],.]]],.] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => 4
[[.,[[.,.],[[[.,.],.],.]]],.] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => 4
[[.,[[.,[.,.]],[.,[.,.]]]],.] => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7) => 6
[[.,[[.,[.,.]],[[.,.],.]]],.] => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7) => 6
[[.,[[[.,.],.],[.,[.,.]]]],.] => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7) => 6
[[.,[[[.,.],.],[[.,.],.]]],.] => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7) => 6
[[.,[[.,[.,[.,.]]],[.,.]]],.] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => 4
[[.,[[.,[[.,.],.]],[.,.]]],.] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => 4
[[.,[[[.,.],[.,.]],[.,.]]],.] => ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7) => 8
[[.,[[[.,[.,.]],.],[.,.]]],.] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => 4
[[.,[[[[.,.],.],.],[.,.]]],.] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => 4
[[.,[[.,[.,[.,[.,.]]]],.]],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[[.,[[.,[.,[[.,.],.]]],.]],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[[.,[[.,[[.,.],[.,.]]],.]],.] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => 2
[[.,[[.,[[.,[.,.]],.]],.]],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[[.,[[.,[[[.,.],.],.]],.]],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[[.,[[[.,.],[.,[.,.]]],.]],.] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => 3
[[.,[[[.,.],[[.,.],.]],.]],.] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => 3
[[.,[[[.,[.,.]],[.,.]],.]],.] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => 3
[[.,[[[[.,.],.],[.,.]],.]],.] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => 3
[[.,[[[.,[.,[.,.]]],.],.]],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[[.,[[[.,[[.,.],.]],.],.]],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[[.,[[[[.,.],[.,.]],.],.]],.] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => 2
[[.,[[[[.,[.,.]],.],.],.]],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[[.,[[[[[.,.],.],.],.],.]],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[[[.,.],[.,[.,[.,[.,.]]]]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => 5
[[[.,.],[.,[.,[[.,.],.]]]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => 5
[[[.,.],[.,[[.,.],[.,.]]]],.] => ([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7) => 10
[[[.,.],[.,[[.,[.,.]],.]]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => 5
[[[.,.],[.,[[[.,.],.],.]]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => 5
[[[.,.],[[.,.],[.,[.,.]]]],.] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => 15
[[[.,.],[[.,.],[[.,.],.]]],.] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => 15
[[[.,.],[[.,[.,.]],[.,.]]],.] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => 15
[[[.,.],[[[.,.],.],[.,.]]],.] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => 15
[[[.,.],[[.,[.,[.,.]]],.]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => 5
[[[.,.],[[.,[[.,.],.]],.]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => 5
[[[.,.],[[[.,.],[.,.]],.]],.] => ([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7) => 10
[[[.,.],[[[.,[.,.]],.],.]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => 5
[[[.,.],[[[[.,.],.],.],.]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => 5
[[[.,[.,.]],[.,[.,[.,.]]]],.] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => 10
[[[.,[.,.]],[.,[[.,.],.]]],.] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => 10
[[[.,[.,.]],[[.,.],[.,.]]],.] => ([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7) => 20
[[[.,[.,.]],[[.,[.,.]],.]],.] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => 10
[[[.,[.,.]],[[[.,.],.],.]],.] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => 10
[[[[.,.],.],[.,[.,[.,.]]]],.] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => 10
[[[[.,.],.],[.,[[.,.],.]]],.] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => 10
[[[[.,.],.],[[.,.],[.,.]]],.] => ([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7) => 20
[[[[.,.],.],[[.,[.,.]],.]],.] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => 10
[[[[.,.],.],[[[.,.],.],.]],.] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => 10
[[[.,[.,[.,.]]],[.,[.,.]]],.] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => 10
[[[.,[.,[.,.]]],[[.,.],.]],.] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => 10
[[[.,[[.,.],.]],[.,[.,.]]],.] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => 10
[[[.,[[.,.],.]],[[.,.],.]],.] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => 10
[[[[.,.],[.,.]],[.,[.,.]]],.] => ([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7) => 20
[[[[.,.],[.,.]],[[.,.],.]],.] => ([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7) => 20
[[[[.,[.,.]],.],[.,[.,.]]],.] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => 10
[[[[.,[.,.]],.],[[.,.],.]],.] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => 10
[[[[[.,.],.],.],[.,[.,.]]],.] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => 10
[[[[[.,.],.],.],[[.,.],.]],.] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => 10
[[[.,[.,[.,[.,.]]]],[.,.]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => 5
[[[.,[.,[[.,.],.]]],[.,.]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => 5
[[[.,[[.,.],[.,.]]],[.,.]],.] => ([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7) => 10
[[[.,[[.,[.,.]],.]],[.,.]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => 5
[[[.,[[[.,.],.],.]],[.,.]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => 5
[[[[.,.],[.,[.,.]]],[.,.]],.] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => 15
[[[[.,.],[[.,.],.]],[.,.]],.] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => 15
[[[[.,[.,.]],[.,.]],[.,.]],.] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => 15
[[[[[.,.],.],[.,.]],[.,.]],.] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => 15
[[[[.,[.,[.,.]]],.],[.,.]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => 5
[[[[.,[[.,.],.]],.],[.,.]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => 5
[[[[[.,.],[.,.]],.],[.,.]],.] => ([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7) => 10
[[[[[.,[.,.]],.],.],[.,.]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => 5
[[[[[[.,.],.],.],.],[.,.]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => 5
[[[.,[.,[.,[.,[.,.]]]]],.],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[[[.,[.,[.,[[.,.],.]]]],.],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[[[.,[.,[[.,.],[.,.]]]],.],.] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => 2
[[[.,[.,[[.,[.,.]],.]]],.],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[[[.,[.,[[[.,.],.],.]]],.],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[[[.,[[.,.],[.,[.,.]]]],.],.] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => 3
[[[.,[[.,.],[[.,.],.]]],.],.] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => 3
[[[.,[[.,[.,.]],[.,.]]],.],.] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => 3
[[[.,[[[.,.],.],[.,.]]],.],.] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => 3
[[[.,[[.,[.,[.,.]]],.]],.],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[[[.,[[.,[[.,.],.]],.]],.],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[[[.,[[[.,.],[.,.]],.]],.],.] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => 2
[[[.,[[[.,[.,.]],.],.]],.],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[[[.,[[[[.,.],.],.],.]],.],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[[[[.,.],[.,[.,[.,.]]]],.],.] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => 4
[[[[.,.],[.,[[.,.],.]]],.],.] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => 4
[[[[.,.],[[.,.],[.,.]]],.],.] => ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7) => 8
[[[[.,.],[[.,[.,.]],.]],.],.] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => 4
[[[[.,.],[[[.,.],.],.]],.],.] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => 4
[[[[.,[.,.]],[.,[.,.]]],.],.] => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7) => 6
[[[[.,[.,.]],[[.,.],.]],.],.] => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7) => 6
[[[[[.,.],.],[.,[.,.]]],.],.] => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7) => 6
[[[[[.,.],.],[[.,.],.]],.],.] => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7) => 6
[[[[.,[.,[.,.]]],[.,.]],.],.] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => 4
[[[[.,[[.,.],.]],[.,.]],.],.] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => 4
[[[[[.,.],[.,.]],[.,.]],.],.] => ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7) => 8
[[[[[.,[.,.]],.],[.,.]],.],.] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => 4
[[[[[[.,.],.],.],[.,.]],.],.] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => 4
[[[[.,[.,[.,[.,.]]]],.],.],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[[[[.,[.,[[.,.],.]]],.],.],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[[[[.,[[.,.],[.,.]]],.],.],.] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => 2
[[[[.,[[.,[.,.]],.]],.],.],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[[[[.,[[[.,.],.],.]],.],.],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[[[[[.,.],[.,[.,.]]],.],.],.] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => 3
[[[[[.,.],[[.,.],.]],.],.],.] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => 3
[[[[[.,[.,.]],[.,.]],.],.],.] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => 3
[[[[[[.,.],.],[.,.]],.],.],.] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => 3
[[[[[.,[.,[.,.]]],.],.],.],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[[[[[.,[[.,.],.]],.],.],.],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[[[[[[.,.],[.,.]],.],.],.],.] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => 2
[[[[[[.,[.,.]],.],.],.],.],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[[[[[[[.,.],.],.],.],.],.],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[.,[.,[.,[.,[.,[.,[.,[.,.]]]]]]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[.,[.,[.,[.,[.,[[.,.],.]]]]]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[.,[.,[.,[.,[[.,[.,.]],.]]]]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[.,[.,[.,[.,[[[.,.],.],.]]]]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[.,[.,[.,[[.,[.,[.,.]]],.]]]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[.,[.,[.,[[.,[[.,.],.]],.]]]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[.,[.,[.,[[[.,[.,.]],.],.]]]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[.,[.,[.,[[[[.,.],.],.],.]]]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[.,[.,[[.,[.,[.,[.,.]]]],.]]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[.,[.,[[.,[.,[[.,.],.]]],.]]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[.,[.,[[.,[[.,[.,.]],.]],.]]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[.,[.,[[.,[[[.,.],.],.]],.]]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[.,[.,[[[.,[.,[.,.]]],.],.]]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[.,[.,[[[.,[[.,.],.]],.],.]]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[.,[.,[[[[.,[.,.]],.],.],.]]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[.,[.,[[[[[.,.],.],.],.],.]]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[.,[[.,[.,[.,[.,[.,.]]]]],.]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[.,[[.,[.,[.,[[.,.],.]]]],.]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[.,[[.,[.,[[.,[.,.]],.]]],.]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[.,[[.,[.,[[[.,.],.],.]]],.]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[.,[[.,[[.,[.,[.,.]]],.]],.]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[.,[[.,[[.,[[.,.],.]],.]],.]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[.,[[.,[[[.,[.,.]],.],.]],.]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[.,[[.,[[[[.,.],.],.],.]],.]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[.,[[[.,[.,[.,[.,.]]]],.],.]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[.,[[[.,[.,[[.,.],.]]],.],.]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[.,[[[.,[[.,[.,.]],.]],.],.]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[.,[[[.,[[[.,.],.],.]],.],.]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[.,[[[[.,[.,[.,.]]],.],.],.]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[.,[[[[.,[[.,.],.]],.],.],.]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[.,[[[[[.,[.,.]],.],.],.],.]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[.,[[[[[[.,.],.],.],.],.],.]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[[.,[.,[.,[.,[.,[.,.]]]]]],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[[.,[.,[.,[.,[[.,.],.]]]]],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[[.,[.,[.,[[.,[.,.]],.]]]],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[[.,[.,[.,[[[.,.],.],.]]]],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[[.,[.,[[.,[.,[.,.]]],.]]],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[[.,[.,[[.,[[.,.],.]],.]]],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[[.,[.,[[[.,[.,.]],.],.]]],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[[.,[.,[[[[.,.],.],.],.]]],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[[.,[[.,[.,[.,[.,.]]]],.]],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[[.,[[.,[.,[[.,.],.]]],.]],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[[.,[[.,[[.,[.,.]],.]],.]],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[[.,[[.,[[[.,.],.],.]],.]],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[[.,[[[.,[.,[.,.]]],.],.]],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[[.,[[[.,[[.,.],.]],.],.]],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[[.,[[[[.,[.,.]],.],.],.]],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[[.,[[[[[.,.],.],.],.],.]],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[[[.,[.,[.,[.,[.,.]]]]],.],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[[[.,[.,[.,[[.,.],.]]]],.],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[[[.,[.,[[.,[.,.]],.]]],.],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[[[.,[.,[[[.,.],.],.]]],.],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[[[.,[[.,[.,[.,.]]],.]],.],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[[[.,[[.,[[.,.],.]],.]],.],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[[[.,[[[.,[.,.]],.],.]],.],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[[[.,[[[[.,.],.],.],.]],.],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[[[[.,[.,[.,[.,.]]]],.],.],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[[[[.,[.,[[.,.],.]]],.],.],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[[[[.,[[.,[.,.]],.]],.],.],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[[[[.,[[[.,.],.],.]],.],.],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[[[[[.,[.,[.,.]]],.],.],.],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[[[[[.,[[.,.],.]],.],.],.],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[[[[[[.,[.,.]],.],.],.],.],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[[[[[[[.,.],.],.],.],.],.],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[.,[.,[.,[.,[.,[.,[.,.]]]]]]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[.,[.,[.,[.,[.,[[.,.],.]]]]]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[.,[.,[.,[.,[[.,[.,.]],.]]]]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[.,[.,[.,[.,[[[.,.],.],.]]]]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[.,[.,[.,[[.,[.,[.,.]]],.]]]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[.,[.,[.,[[.,[[.,.],.]],.]]]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[.,[.,[.,[[[.,[.,.]],.],.]]]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[.,[.,[.,[[[[.,.],.],.],.]]]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[.,[.,[[.,[.,[.,[.,.]]]],.]]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[.,[.,[[.,[.,[[.,.],.]]],.]]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[.,[.,[[.,[[.,[.,.]],.]],.]]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[.,[.,[[.,[[[.,.],.],.]],.]]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[.,[.,[[[.,[.,[.,.]]],.],.]]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[.,[.,[[[.,[[.,.],.]],.],.]]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[.,[.,[[[[.,[.,.]],.],.],.]]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[.,[.,[[[[[.,.],.],.],.],.]]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[.,[[.,[.,[.,[.,[.,.]]]]],.]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[.,[[.,[.,[.,[[.,.],.]]]],.]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[.,[[.,[.,[[.,[.,.]],.]]],.]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[.,[[.,[.,[[[.,.],.],.]]],.]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[.,[[.,[[.,[.,[.,.]]],.]],.]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[.,[[.,[[.,[[.,.],.]],.]],.]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[.,[[.,[[[.,[.,.]],.],.]],.]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[.,[[.,[[[[.,.],.],.],.]],.]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[.,[[[.,[.,[.,[.,.]]]],.],.]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[.,[[[.,[.,[[.,.],.]]],.],.]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[.,[[[.,[[.,[.,.]],.]],.],.]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[.,[[[.,[[[.,.],.],.]],.],.]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[.,[[[[.,[.,[.,.]]],.],.],.]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[.,[[[[.,[[.,.],.]],.],.],.]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[.,[[[[[.,[.,.]],.],.],.],.]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[.,[[[[[[.,.],.],.],.],.],.]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[[.,[.,[.,[.,[.,[.,.]]]]]],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[[.,[.,[.,[.,[[.,.],.]]]]],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[[.,[.,[.,[[.,[.,.]],.]]]],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[[.,[.,[.,[[[.,.],.],.]]]],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[[.,[.,[[.,[.,[.,.]]],.]]],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[[.,[.,[[.,[[.,.],.]],.]]],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[[.,[.,[[[.,[.,.]],.],.]]],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[[.,[.,[[[[.,.],.],.],.]]],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[[.,[[.,[.,[.,[.,.]]]],.]],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[[.,[[.,[.,[[.,.],.]]],.]],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[[.,[[.,[[.,[.,.]],.]],.]],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[[.,[[.,[[[.,.],.],.]],.]],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[[.,[[[.,[.,[.,.]]],.],.]],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[[.,[[[.,[[.,.],.]],.],.]],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[[.,[[[[.,[.,.]],.],.],.]],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[[.,[[[[[.,.],.],.],.],.]],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[[[.,[.,[.,[.,[.,.]]]]],.],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[[[.,[.,[.,[[.,.],.]]]],.],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[[[.,[.,[[.,[.,.]],.]]],.],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[[[.,[.,[[[.,.],.],.]]],.],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[[[.,[[.,[.,[.,.]]],.]],.],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[[[.,[[.,[[.,.],.]],.]],.],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[[[.,[[[.,[.,.]],.],.]],.],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[[[.,[[[[.,.],.],.],.]],.],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[[[[.,[.,[.,[.,.]]]],.],.],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[[[[.,[.,[[.,.],.]]],.],.],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[[[[.,[[.,[.,.]],.]],.],.],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[[[[.,[[[.,.],.],.]],.],.],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[[[[[.,[.,[.,.]]],.],.],.],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[[[[[.,[[.,.],.]],.],.],.],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[[[[[[.,[.,.]],.],.],.],.],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[[[[[[[[.,.],.],.],.],.],.],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 1
[.,[.,[.,[.,[.,[.,[.,[.,[.,.]]]]]]]]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[.,[.,[.,[.,[.,[.,[.,[[.,.],.]]]]]]]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[.,[.,[.,[.,[.,[.,[[[.,.],.],.]]]]]]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[.,[.,[.,[.,[.,[[[[.,.],.],.],.]]]]]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[.,[.,[.,[.,[[[[[.,.],.],.],.],.]]]]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[.,[.,[.,[[[[[[.,.],.],.],.],.],.]]]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[.,[.,[[[[[[[.,.],.],.],.],.],.],.]]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[.,[[[[[[[[.,.],.],.],.],.],.],.],.]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[[[[[[[[[.,.],.],.],.],.],.],.],.],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[.,[.,[.,[.,[.,[.,[.,[.,[.,[.,.]]]]]]]]]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => 1
[.,[.,[.,[.,[.,[.,[.,[.,[[.,.],.]]]]]]]]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => 1
[.,[.,[.,[.,[.,[.,[.,[[[.,.],.],.]]]]]]]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => 1
[.,[.,[.,[.,[.,[.,[[[[.,.],.],.],.]]]]]]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => 1
[.,[.,[.,[.,[.,[[[[[.,.],.],.],.],.]]]]]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => 1
[.,[.,[.,[.,[[[[[[.,.],.],.],.],.],.]]]]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => 1
[.,[.,[.,[[[[[[[.,.],.],.],.],.],.],.]]]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => 1
[.,[.,[[[[[[[[.,.],.],.],.],.],.],.],.]]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => 1
[.,[[[[[[[[[.,.],.],.],.],.],.],.],.],.]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => 1
[[[[[[[[[[.,.],.],.],.],.],.],.],.],.],.] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => 1
[.,[.,[.,[.,[.,[.,[[.,[.,.]],.]]]]]]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[.,[.,[.,[.,[.,[[.,[.,[.,.]]],.]]]]]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[.,[.,[.,[.,[[.,[.,[.,[.,.]]]],.]]]]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[.,[.,[.,[[.,[.,[.,[.,[.,.]]]]],.]]]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[.,[.,[[.,[.,[.,[.,[.,[.,.]]]]]],.]]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[.,[[.,[.,[.,[.,[.,[.,[.,.]]]]]]],.]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[[.,[.,[.,[.,[.,[.,[.,[.,.]]]]]]]],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[.,[.,[.,[.,[.,[.,[.,[[.,[.,.]],.]]]]]]]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => 1
[.,[.,[.,[.,[.,[.,[[.,[.,[.,.]]],.]]]]]]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => 1
[.,[.,[.,[.,[.,[[.,[.,[.,[.,.]]]],.]]]]]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => 1
[.,[.,[.,[.,[[.,[.,[.,[.,[.,.]]]]],.]]]]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => 1
[.,[.,[.,[[.,[.,[.,[.,[.,[.,.]]]]]],.]]]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => 1
[.,[.,[[.,[.,[.,[.,[.,[.,[.,.]]]]]]],.]]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => 1
[.,[[.,[.,[.,[.,[.,[.,[.,[.,.]]]]]]]],.]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => 1
[[.,[.,[.,[.,[.,[.,[.,[.,[.,.]]]]]]]]],.] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => 1
[[.,[[.,[[.,[[.,[[.,.],.]],.]],.]],.]],.] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => 1
[.,[[[[[[[.,[.,.]],.],.],.],.],.],.]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[.,[[[[[[.,[[.,.],.]],.],.],.],.],.]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[.,[[[[[[[[.,[.,.]],.],.],.],.],.],.],.]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => 1
[[.,[.,[.,[.,[.,[.,[[.,.],.]]]]]]],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[[.,[.,[.,[.,[.,[.,[.,[[.,.],.]]]]]]]],.] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => 1
[[.,[.,[.,[.,[.,[[.,[.,.]],.]]]]]],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[.,[[.,[[.,[[.,[[.,[.,.]],.]],.]],.]],.]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => 1
[[[.,[.,[.,[.,[.,[.,[.,.]]]]]]],.],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[[[[.,[.,[.,[.,[.,[.,.]]]]]],.],.],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[[[[[.,[.,[.,[.,[.,.]]]]],.],.],.],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[[[[[[.,[.,[.,[.,.]]]],.],.],.],.],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[[[[[[[.,[.,[.,.]]],.],.],.],.],.],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[[[[[[[[.,[.,.]],.],.],.],.],.],.],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[[[.,[.,[.,[.,[.,[.,[.,[.,.]]]]]]]],.],.] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => 1
[[[[.,[.,[.,[.,[.,[.,[.,.]]]]]]],.],.],.] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => 1
[[[[[.,[.,[.,[.,[.,[.,.]]]]]],.],.],.],.] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => 1
[[[[[[.,[.,[.,[.,[.,.]]]]],.],.],.],.],.] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => 1
[[[[[[[.,[.,[.,[.,.]]]],.],.],.],.],.],.] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => 1
[[[[[[[[.,[.,[.,.]]],.],.],.],.],.],.],.] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => 1
[[[[[[[[[.,[.,.]],.],.],.],.],.],.],.],.] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => 1
[.,[.,[.,[.,[.,[[.,[[.,.],.]],.]]]]]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[.,[.,[.,[.,[[.,[[[.,.],.],.]],.]]]]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[.,[.,[.,[[.,[[[[.,.],.],.],.]],.]]]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[.,[.,[[.,[[[[[.,.],.],.],.],.]],.]]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[.,[[.,[[[[[[.,.],.],.],.],.],.]],.]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[[.,[[[[[[[.,.],.],.],.],.],.],.]],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[[[[[[[.,[[.,.],.]],.],.],.],.],.],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[[[[[.,[[[[.,.],.],.],.]],.],.],.],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[[[.,[[[[[[.,.],.],.],.],.],.]],.],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[[[[[[[[.,[[.,.],.]],.],.],.],.],.],.],.] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => 1
[[.,[[[[[[[[.,.],.],.],.],.],.],.],.]],.] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => 1
[.,[[[[[[.,[.,[.,.]]],.],.],.],.],.]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[.,[[[[[.,[.,[.,[.,.]]]],.],.],.],.]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[.,[[[[.,[.,[.,[.,[.,.]]]]],.],.],.]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[.,[[[.,[.,[.,[.,[.,[.,.]]]]]],.],.]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[.,[[[[[[[.,[.,[.,.]]],.],.],.],.],.],.]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => 1
[.,[[[[[[.,[.,[.,[.,.]]]],.],.],.],.],.]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => 1
[.,[[[[[.,[.,[.,[.,[.,.]]]]],.],.],.],.]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => 1
[.,[[[[.,[.,[.,[.,[.,[.,.]]]]]],.],.],.]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => 1
[.,[[[.,[.,[.,[.,[.,[.,[.,.]]]]]]],.],.]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => 1
[.,[.,[[[[.,[[[.,.],.],.]],.],.],.]]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[.,[[[[[.,[[[[.,.],.],.],.]],.],.],.],.]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => 1
[[[[.,.],[.,.]],[.,.]],[[.,.],[.,.]]] => ([(0,7),(1,5),(2,5),(3,6),(4,6),(5,8),(6,7),(7,8)],9) => 896
[.,[.,[[.,[.,[[[[.,.],.],.],.]]],.]]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[.,[[.,[.,[.,[.,[[[.,.],.],.]]]]],.]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[[.,[.,[.,[.,[.,[[[.,.],.],.]]]]]],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[[.,[.,[.,[.,[[[.,[.,.]],.],.]]]]],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[[.,[.,[.,[[[.,[.,[.,.]]],.],.]]]],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[[.,[.,[[[.,[.,[.,[.,.]]]],.],.]]],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[[.,[[[.,[.,[.,[.,[.,.]]]]],.],.]],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[[.,[.,[.,[.,[.,[.,[[[.,.],.],.]]]]]]],.] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => 1
[[.,[.,[.,[.,[.,[[[.,[.,.]],.],.]]]]]],.] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => 1
[[.,[.,[.,[.,[[[.,[.,[.,.]]],.],.]]]]],.] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => 1
[[.,[.,[.,[[[.,[.,[.,[.,.]]]],.],.]]]],.] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => 1
[[.,[.,[[[.,[.,[.,[.,[.,.]]]]],.],.]]],.] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => 1
[[.,[[[.,[.,[.,[.,[.,[.,.]]]]]],.],.]],.] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => 1
[[[[[[.,[[.,[.,.]],.]],.],.],.],.],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[.,[[.,[.,[.,[.,[.,[[.,.],.]]]]]],.]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[.,[[.,[.,[.,[.,[.,[.,[[.,.],.]]]]]]],.]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => 1
[.,[[.,[.,[.,[.,[[.,[.,.]],.]]]]],.]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[[[[[[.,[.,[[.,.],.]]],.],.],.],.],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[[[[[[[.,[.,[[.,.],.]]],.],.],.],.],.],.] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => 1
[[[[[.,[[.,[[.,.],.]],.]],.],.],.],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[.,[.,[.,[[[[[.,[.,.]],.],.],.],.]]]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[.,[.,[.,[.,[[[[.,[.,.]],.],.],.]]]]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[.,[.,[.,[.,[[[[[.,[.,.]],.],.],.],.]]]]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => 1
[.,[.,[[.,[[[[.,[.,.]],.],.],.]],.]]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[.,[.,[.,[[[[[[.,[.,.]],.],.],.],.],.]]]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => 1
[[.,[[.,[.,[.,[.,[.,[.,.]]]]]],.]],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[[[.,[[.,[.,[.,[.,[.,.]]]]],.]],.],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[[[[.,[[.,[.,[.,[.,.]]]],.]],.],.],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[[[[[.,[[.,[.,[.,.]]],.]],.],.],.],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[[.,[.,[.,[.,[[.,[.,[.,.]]],.]]]]],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[[.,[.,[.,[.,[[.,[[.,.],.]],.]]]]],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[.,[.,[[[.,[.,[.,[.,[.,.]]]]],.],.]]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[.,[.,[.,[.,[.,[[[.,[.,[.,.]]],.],.]]]]]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => 1
[.,[.,[.,[.,[.,[[[[.,[.,.]],.],.],.]]]]]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => 1
[[[[[.,[.,[.,[[.,.],.]]]],.],.],.],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[.,[[.,[[.,[.,[.,[.,[.,.]]]]],.]],.]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[[.,[[[[[[.,[.,.]],.],.],.],.],.]],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[[.,[[.,[.,[.,[.,[.,[.,[.,.]]]]]]],.]],.] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => 1
[.,[[.,[[[[[[[.,.],.],.],.],.],.],.]],.]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => 1
[[[[.,[.,[[[[.,.],.],.],.]]],.],.],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[[[.,[.,[.,[.,[[[.,.],.],.]]]]],.],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[[[[.,[.,[.,[.,[[.,.],.]]]]],.],.],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[[[[[.,[.,[.,[.,[[.,.],.]]]]],.],.],.],.] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => 1
[[[[.,[.,[.,[.,[.,[[.,.],.]]]]]],.],.],.] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => 1
[[[.,[[.,[.,[.,[[.,.],.]]]],.]],.],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[[.,[.,[[[[[[.,.],.],.],.],.],.]]],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[[[.,[.,[[[[[.,.],.],.],.],.]]],.],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[[[.,[.,[.,[.,[.,[[.,.],.]]]]]],.],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[[[[[.,[.,[[[.,.],.],.]]],.],.],.],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[.,[.,[.,[.,[.,[[[.,[.,.]],.],.]]]]]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[.,[.,[.,[.,[[.,[[.,[.,.]],.]],.]]]]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 1
[.,[.,[.,[.,[.,[.,[[[.,[.,.]],.],.]]]]]]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => 1
search for individual values
searching the database for the individual values of this statistic
/
search for generating function
searching the database for statistics with the same generating function
Generating function
click to show known generating functions
Search the OEIS for these generating functions
Search the Online Encyclopedia of Integer
Sequences for the coefficients of a few of the
first generating functions, in the case at hand:
4,1 8,2,4 16,4,8,8,0,4,0,2 32,8,16,16,16,8,0,4,0,20,0,0,0,0,8,0,0,0,0,4
$F_{2} = 2\ q$
$F_{3} = 4\ q + q^{2}$
$F_{4} = 8\ q + 2\ q^{2} + 4\ q^{3}$
$F_{5} = 16\ q + 4\ q^{2} + 8\ q^{3} + 8\ q^{4} + 4\ q^{6} + 2\ q^{8}$
$F_{6} = 32\ q + 8\ q^{2} + 16\ q^{3} + 16\ q^{4} + 16\ q^{5} + 8\ q^{6} + 4\ q^{8} + 20\ q^{10} + 8\ q^{15} + 4\ q^{20}$
$F_{7} = 64\ q + 16\ q^{2} + 32\ q^{3} + 32\ q^{4} + 32\ q^{5} + 48\ q^{6} + 8\ q^{8} + 40\ q^{10} + 8\ q^{12} + 48\ q^{15} + 16\ q^{18} + 24\ q^{20} + 16\ q^{24} + 8\ q^{30} + 8\ q^{36} + 8\ q^{40} + 16\ q^{45} + 4\ q^{48} + q^{80}$
Description
The number of linear extensions of a poset.
Map
to poset
Description
Return the poset obtained by interpreting the tree as a Hasse diagram.
searching the database
Sorry, this statistic was not found in the database
or
add this statistic to the database – it's very simple and we need your support!