Processing math: 100%

Identifier
Values
[.,.] => ([],1) => 1
[.,[.,.]] => ([(0,1)],2) => 2
[[.,.],.] => ([(0,1)],2) => 2
[.,[.,[.,.]]] => ([(0,2),(1,2)],3) => 4
[.,[[.,.],.]] => ([(0,2),(1,2)],3) => 4
[[.,.],[.,.]] => ([(0,2),(1,2)],3) => 4
[[.,[.,.]],.] => ([(0,2),(1,2)],3) => 4
[[[.,.],.],.] => ([(0,2),(1,2)],3) => 4
[.,[.,[.,[.,.]]]] => ([(0,3),(1,2),(2,3)],4) => 8
[.,[.,[[.,.],.]]] => ([(0,3),(1,2),(2,3)],4) => 8
[.,[[.,.],[.,.]]] => ([(0,3),(1,3),(2,3)],4) => 8
[.,[[.,[.,.]],.]] => ([(0,3),(1,2),(2,3)],4) => 8
[.,[[[.,.],.],.]] => ([(0,3),(1,2),(2,3)],4) => 8
[[.,.],[.,[.,.]]] => ([(0,3),(1,2),(2,3)],4) => 8
[[.,.],[[.,.],.]] => ([(0,3),(1,2),(2,3)],4) => 8
[[.,[.,.]],[.,.]] => ([(0,3),(1,2),(2,3)],4) => 8
[[[.,.],.],[.,.]] => ([(0,3),(1,2),(2,3)],4) => 8
[[.,[.,[.,.]]],.] => ([(0,3),(1,2),(2,3)],4) => 8
[[.,[[.,.],.]],.] => ([(0,3),(1,2),(2,3)],4) => 8
[[[.,.],[.,.]],.] => ([(0,3),(1,3),(2,3)],4) => 8
[[[.,[.,.]],.],.] => ([(0,3),(1,2),(2,3)],4) => 8
[[[[.,.],.],.],.] => ([(0,3),(1,2),(2,3)],4) => 8
[.,[.,[.,[.,[.,.]]]]] => ([(0,4),(1,3),(2,3),(2,4)],5) => 16
[.,[.,[.,[[.,.],.]]]] => ([(0,4),(1,3),(2,3),(2,4)],5) => 16
[.,[.,[[.,.],[.,.]]]] => ([(0,4),(1,4),(2,3),(3,4)],5) => 16
[.,[.,[[.,[.,.]],.]]] => ([(0,4),(1,3),(2,3),(2,4)],5) => 16
[.,[.,[[[.,.],.],.]]] => ([(0,4),(1,3),(2,3),(2,4)],5) => 16
[.,[[.,.],[.,[.,.]]]] => ([(0,4),(1,4),(2,3),(3,4)],5) => 16
[.,[[.,.],[[.,.],.]]] => ([(0,4),(1,4),(2,3),(3,4)],5) => 16
[.,[[.,[.,.]],[.,.]]] => ([(0,4),(1,4),(2,3),(3,4)],5) => 16
[.,[[[.,.],.],[.,.]]] => ([(0,4),(1,4),(2,3),(3,4)],5) => 16
[.,[[.,[.,[.,.]]],.]] => ([(0,4),(1,3),(2,3),(2,4)],5) => 16
[.,[[.,[[.,.],.]],.]] => ([(0,4),(1,3),(2,3),(2,4)],5) => 16
[.,[[[.,.],[.,.]],.]] => ([(0,4),(1,4),(2,3),(3,4)],5) => 16
[.,[[[.,[.,.]],.],.]] => ([(0,4),(1,3),(2,3),(2,4)],5) => 16
[.,[[[[.,.],.],.],.]] => ([(0,4),(1,3),(2,3),(2,4)],5) => 16
[[.,.],[.,[.,[.,.]]]] => ([(0,4),(1,3),(2,3),(2,4)],5) => 16
[[.,.],[.,[[.,.],.]]] => ([(0,4),(1,3),(2,3),(2,4)],5) => 16
[[.,.],[[.,.],[.,.]]] => ([(0,4),(1,4),(2,3),(3,4)],5) => 16
[[.,.],[[.,[.,.]],.]] => ([(0,4),(1,3),(2,3),(2,4)],5) => 16
[[.,.],[[[.,.],.],.]] => ([(0,4),(1,3),(2,3),(2,4)],5) => 16
[[.,[.,.]],[.,[.,.]]] => ([(0,4),(1,3),(2,3),(2,4)],5) => 16
[[.,[.,.]],[[.,.],.]] => ([(0,4),(1,3),(2,3),(2,4)],5) => 16
[[[.,.],.],[.,[.,.]]] => ([(0,4),(1,3),(2,3),(2,4)],5) => 16
[[[.,.],.],[[.,.],.]] => ([(0,4),(1,3),(2,3),(2,4)],5) => 16
[[.,[.,[.,.]]],[.,.]] => ([(0,4),(1,3),(2,3),(2,4)],5) => 16
[[.,[[.,.],.]],[.,.]] => ([(0,4),(1,3),(2,3),(2,4)],5) => 16
[[[.,.],[.,.]],[.,.]] => ([(0,4),(1,4),(2,3),(3,4)],5) => 16
[[[.,[.,.]],.],[.,.]] => ([(0,4),(1,3),(2,3),(2,4)],5) => 16
[[[[.,.],.],.],[.,.]] => ([(0,4),(1,3),(2,3),(2,4)],5) => 16
[[.,[.,[.,[.,.]]]],.] => ([(0,4),(1,3),(2,3),(2,4)],5) => 16
[[.,[.,[[.,.],.]]],.] => ([(0,4),(1,3),(2,3),(2,4)],5) => 16
[[.,[[.,.],[.,.]]],.] => ([(0,4),(1,4),(2,3),(3,4)],5) => 16
[[.,[[.,[.,.]],.]],.] => ([(0,4),(1,3),(2,3),(2,4)],5) => 16
[[.,[[[.,.],.],.]],.] => ([(0,4),(1,3),(2,3),(2,4)],5) => 16
[[[.,.],[.,[.,.]]],.] => ([(0,4),(1,4),(2,3),(3,4)],5) => 16
[[[.,.],[[.,.],.]],.] => ([(0,4),(1,4),(2,3),(3,4)],5) => 16
[[[.,[.,.]],[.,.]],.] => ([(0,4),(1,4),(2,3),(3,4)],5) => 16
[[[[.,.],.],[.,.]],.] => ([(0,4),(1,4),(2,3),(3,4)],5) => 16
[[[.,[.,[.,.]]],.],.] => ([(0,4),(1,3),(2,3),(2,4)],5) => 16
[[[.,[[.,.],.]],.],.] => ([(0,4),(1,3),(2,3),(2,4)],5) => 16
[[[[.,.],[.,.]],.],.] => ([(0,4),(1,4),(2,3),(3,4)],5) => 16
[[[[.,[.,.]],.],.],.] => ([(0,4),(1,3),(2,3),(2,4)],5) => 16
[[[[[.,.],.],.],.],.] => ([(0,4),(1,3),(2,3),(2,4)],5) => 16
[.,[.,[.,[.,[.,[.,.]]]]]] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[.,[.,[.,[.,[[.,.],.]]]]] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[.,[.,[.,[[.,.],[.,.]]]]] => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6) => 32
[.,[.,[.,[[.,[.,.]],.]]]] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[.,[.,[.,[[[.,.],.],.]]]] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[.,[.,[[.,.],[.,[.,.]]]]] => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6) => 32
[.,[.,[[.,.],[[.,.],.]]]] => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6) => 32
[.,[.,[[.,[.,.]],[.,.]]]] => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6) => 32
[.,[.,[[[.,.],.],[.,.]]]] => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6) => 32
[.,[.,[[.,[.,[.,.]]],.]]] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[.,[.,[[.,[[.,.],.]],.]]] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[.,[.,[[[.,.],[.,.]],.]]] => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6) => 32
[.,[.,[[[.,[.,.]],.],.]]] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[.,[.,[[[[.,.],.],.],.]]] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[.,[[.,.],[.,[.,[.,.]]]]] => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6) => 32
[.,[[.,.],[.,[[.,.],.]]]] => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6) => 32
[.,[[.,.],[[.,.],[.,.]]]] => ([(0,5),(1,5),(2,4),(3,4),(4,5)],6) => 32
[.,[[.,.],[[.,[.,.]],.]]] => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6) => 32
[.,[[.,.],[[[.,.],.],.]]] => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6) => 32
[.,[[.,[.,.]],[.,[.,.]]]] => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6) => 32
[.,[[.,[.,.]],[[.,.],.]]] => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6) => 32
[.,[[[.,.],.],[.,[.,.]]]] => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6) => 32
[.,[[[.,.],.],[[.,.],.]]] => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6) => 32
[.,[[.,[.,[.,.]]],[.,.]]] => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6) => 32
[.,[[.,[[.,.],.]],[.,.]]] => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6) => 32
[.,[[[.,.],[.,.]],[.,.]]] => ([(0,5),(1,5),(2,4),(3,4),(4,5)],6) => 32
[.,[[[.,[.,.]],.],[.,.]]] => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6) => 32
[.,[[[[.,.],.],.],[.,.]]] => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6) => 32
[.,[[.,[.,[.,[.,.]]]],.]] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[.,[[.,[.,[[.,.],.]]],.]] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[.,[[.,[[.,.],[.,.]]],.]] => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6) => 32
[.,[[.,[[.,[.,.]],.]],.]] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[.,[[.,[[[.,.],.],.]],.]] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[.,[[[.,.],[.,[.,.]]],.]] => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6) => 32
[.,[[[.,.],[[.,.],.]],.]] => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6) => 32
[.,[[[.,[.,.]],[.,.]],.]] => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6) => 32
[.,[[[[.,.],.],[.,.]],.]] => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6) => 32
>>> Load all 625 entries. <<<
[.,[[[.,[.,[.,.]]],.],.]] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[.,[[[.,[[.,.],.]],.],.]] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[.,[[[[.,.],[.,.]],.],.]] => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6) => 32
[.,[[[[.,[.,.]],.],.],.]] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[.,[[[[[.,.],.],.],.],.]] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[[.,.],[.,[.,[.,[.,.]]]]] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[[.,.],[.,[.,[[.,.],.]]]] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[[.,.],[.,[[.,.],[.,.]]]] => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6) => 32
[[.,.],[.,[[.,[.,.]],.]]] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[[.,.],[.,[[[.,.],.],.]]] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[[.,.],[[.,.],[.,[.,.]]]] => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6) => 32
[[.,.],[[.,.],[[.,.],.]]] => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6) => 32
[[.,.],[[.,[.,.]],[.,.]]] => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6) => 32
[[.,.],[[[.,.],.],[.,.]]] => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6) => 32
[[.,.],[[.,[.,[.,.]]],.]] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[[.,.],[[.,[[.,.],.]],.]] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[[.,.],[[[.,.],[.,.]],.]] => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6) => 32
[[.,.],[[[.,[.,.]],.],.]] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[[.,.],[[[[.,.],.],.],.]] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[[.,[.,.]],[.,[.,[.,.]]]] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[[.,[.,.]],[.,[[.,.],.]]] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[[.,[.,.]],[[.,.],[.,.]]] => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6) => 32
[[.,[.,.]],[[.,[.,.]],.]] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[[.,[.,.]],[[[.,.],.],.]] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[[[.,.],.],[.,[.,[.,.]]]] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[[[.,.],.],[.,[[.,.],.]]] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[[[.,.],.],[[.,.],[.,.]]] => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6) => 32
[[[.,.],.],[[.,[.,.]],.]] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[[[.,.],.],[[[.,.],.],.]] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[[.,[.,[.,.]]],[.,[.,.]]] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[[.,[.,[.,.]]],[[.,.],.]] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[[.,[[.,.],.]],[.,[.,.]]] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[[.,[[.,.],.]],[[.,.],.]] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[[[.,.],[.,.]],[.,[.,.]]] => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6) => 32
[[[.,.],[.,.]],[[.,.],.]] => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6) => 32
[[[.,[.,.]],.],[.,[.,.]]] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[[[.,[.,.]],.],[[.,.],.]] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[[[[.,.],.],.],[.,[.,.]]] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[[[[.,.],.],.],[[.,.],.]] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[[.,[.,[.,[.,.]]]],[.,.]] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[[.,[.,[[.,.],.]]],[.,.]] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[[.,[[.,.],[.,.]]],[.,.]] => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6) => 32
[[.,[[.,[.,.]],.]],[.,.]] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[[.,[[[.,.],.],.]],[.,.]] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[[[.,.],[.,[.,.]]],[.,.]] => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6) => 32
[[[.,.],[[.,.],.]],[.,.]] => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6) => 32
[[[.,[.,.]],[.,.]],[.,.]] => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6) => 32
[[[[.,.],.],[.,.]],[.,.]] => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6) => 32
[[[.,[.,[.,.]]],.],[.,.]] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[[[.,[[.,.],.]],.],[.,.]] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[[[[.,.],[.,.]],.],[.,.]] => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6) => 32
[[[[.,[.,.]],.],.],[.,.]] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[[[[[.,.],.],.],.],[.,.]] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[[.,[.,[.,[.,[.,.]]]]],.] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[[.,[.,[.,[[.,.],.]]]],.] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[[.,[.,[[.,.],[.,.]]]],.] => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6) => 32
[[.,[.,[[.,[.,.]],.]]],.] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[[.,[.,[[[.,.],.],.]]],.] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[[.,[[.,.],[.,[.,.]]]],.] => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6) => 32
[[.,[[.,.],[[.,.],.]]],.] => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6) => 32
[[.,[[.,[.,.]],[.,.]]],.] => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6) => 32
[[.,[[[.,.],.],[.,.]]],.] => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6) => 32
[[.,[[.,[.,[.,.]]],.]],.] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[[.,[[.,[[.,.],.]],.]],.] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[[.,[[[.,.],[.,.]],.]],.] => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6) => 32
[[.,[[[.,[.,.]],.],.]],.] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[[.,[[[[.,.],.],.],.]],.] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[[[.,.],[.,[.,[.,.]]]],.] => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6) => 32
[[[.,.],[.,[[.,.],.]]],.] => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6) => 32
[[[.,.],[[.,.],[.,.]]],.] => ([(0,5),(1,5),(2,4),(3,4),(4,5)],6) => 32
[[[.,.],[[.,[.,.]],.]],.] => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6) => 32
[[[.,.],[[[.,.],.],.]],.] => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6) => 32
[[[.,[.,.]],[.,[.,.]]],.] => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6) => 32
[[[.,[.,.]],[[.,.],.]],.] => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6) => 32
[[[[.,.],.],[.,[.,.]]],.] => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6) => 32
[[[[.,.],.],[[.,.],.]],.] => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6) => 32
[[[.,[.,[.,.]]],[.,.]],.] => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6) => 32
[[[.,[[.,.],.]],[.,.]],.] => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6) => 32
[[[[.,.],[.,.]],[.,.]],.] => ([(0,5),(1,5),(2,4),(3,4),(4,5)],6) => 32
[[[[.,[.,.]],.],[.,.]],.] => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6) => 32
[[[[[.,.],.],.],[.,.]],.] => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6) => 32
[[[.,[.,[.,[.,.]]]],.],.] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[[[.,[.,[[.,.],.]]],.],.] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[[[.,[[.,.],[.,.]]],.],.] => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6) => 32
[[[.,[[.,[.,.]],.]],.],.] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[[[.,[[[.,.],.],.]],.],.] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[[[[.,.],[.,[.,.]]],.],.] => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6) => 32
[[[[.,.],[[.,.],.]],.],.] => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6) => 32
[[[[.,[.,.]],[.,.]],.],.] => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6) => 32
[[[[[.,.],.],[.,.]],.],.] => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6) => 32
[[[[.,[.,[.,.]]],.],.],.] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[[[[.,[[.,.],.]],.],.],.] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[[[[[.,.],[.,.]],.],.],.] => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6) => 32
[[[[[.,[.,.]],.],.],.],.] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[[[[[[.,.],.],.],.],.],.] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 32
[.,[.,[.,[.,[.,[.,[.,.]]]]]]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[.,[.,[.,[.,[.,[[.,.],.]]]]]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[.,[.,[.,[.,[[.,.],[.,.]]]]]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[.,[.,[.,[.,[[.,[.,.]],.]]]]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[.,[.,[.,[.,[[[.,.],.],.]]]]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[.,[.,[.,[[.,.],[.,[.,.]]]]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[.,[.,[.,[[.,.],[[.,.],.]]]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[.,[.,[.,[[.,[.,.]],[.,.]]]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[.,[.,[.,[[[.,.],.],[.,.]]]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[.,[.,[.,[[.,[.,[.,.]]],.]]]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[.,[.,[.,[[.,[[.,.],.]],.]]]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[.,[.,[.,[[[.,.],[.,.]],.]]]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[.,[.,[.,[[[.,[.,.]],.],.]]]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[.,[.,[.,[[[[.,.],.],.],.]]]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[.,[.,[[.,.],[.,[.,[.,.]]]]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[.,[.,[[.,.],[.,[[.,.],.]]]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[.,[.,[[.,.],[[.,.],[.,.]]]]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => 64
[.,[.,[[.,.],[[.,[.,.]],.]]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[.,[.,[[.,.],[[[.,.],.],.]]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[.,[.,[[.,[.,.]],[.,[.,.]]]]] => ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7) => 64
[.,[.,[[.,[.,.]],[[.,.],.]]]] => ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7) => 64
[.,[.,[[[.,.],.],[.,[.,.]]]]] => ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7) => 64
[.,[.,[[[.,.],.],[[.,.],.]]]] => ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7) => 64
[.,[.,[[.,[.,[.,.]]],[.,.]]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[.,[.,[[.,[[.,.],.]],[.,.]]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[.,[.,[[[.,.],[.,.]],[.,.]]]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => 64
[.,[.,[[[.,[.,.]],.],[.,.]]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[.,[.,[[[[.,.],.],.],[.,.]]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[.,[.,[[.,[.,[.,[.,.]]]],.]]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[.,[.,[[.,[.,[[.,.],.]]],.]]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[.,[.,[[.,[[.,.],[.,.]]],.]]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[.,[.,[[.,[[.,[.,.]],.]],.]]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[.,[.,[[.,[[[.,.],.],.]],.]]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[.,[.,[[[.,.],[.,[.,.]]],.]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[.,[.,[[[.,.],[[.,.],.]],.]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[.,[.,[[[.,[.,.]],[.,.]],.]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[.,[.,[[[[.,.],.],[.,.]],.]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[.,[.,[[[.,[.,[.,.]]],.],.]]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[.,[.,[[[.,[[.,.],.]],.],.]]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[.,[.,[[[[.,.],[.,.]],.],.]]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[.,[.,[[[[.,[.,.]],.],.],.]]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[.,[.,[[[[[.,.],.],.],.],.]]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[.,[[.,.],[.,[.,[.,[.,.]]]]]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[.,[[.,.],[.,[.,[[.,.],.]]]]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[.,[[.,.],[.,[[.,.],[.,.]]]]] => ([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7) => 64
[.,[[.,.],[.,[[.,[.,.]],.]]]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[.,[[.,.],[.,[[[.,.],.],.]]]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[.,[[.,.],[[.,.],[.,[.,.]]]]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => 64
[.,[[.,.],[[.,.],[[.,.],.]]]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => 64
[.,[[.,.],[[.,[.,.]],[.,.]]]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => 64
[.,[[.,.],[[[.,.],.],[.,.]]]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => 64
[.,[[.,.],[[.,[.,[.,.]]],.]]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[.,[[.,.],[[.,[[.,.],.]],.]]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[.,[[.,.],[[[.,.],[.,.]],.]]] => ([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7) => 64
[.,[[.,.],[[[.,[.,.]],.],.]]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[.,[[.,.],[[[[.,.],.],.],.]]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[.,[[.,[.,.]],[.,[.,[.,.]]]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[.,[[.,[.,.]],[.,[[.,.],.]]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[.,[[.,[.,.]],[[.,.],[.,.]]]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => 64
[.,[[.,[.,.]],[[.,[.,.]],.]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[.,[[.,[.,.]],[[[.,.],.],.]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[.,[[[.,.],.],[.,[.,[.,.]]]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[.,[[[.,.],.],[.,[[.,.],.]]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[.,[[[.,.],.],[[.,.],[.,.]]]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => 64
[.,[[[.,.],.],[[.,[.,.]],.]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[.,[[[.,.],.],[[[.,.],.],.]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[.,[[.,[.,[.,.]]],[.,[.,.]]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[.,[[.,[.,[.,.]]],[[.,.],.]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[.,[[.,[[.,.],.]],[.,[.,.]]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[.,[[.,[[.,.],.]],[[.,.],.]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[.,[[[.,.],[.,.]],[.,[.,.]]]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => 64
[.,[[[.,.],[.,.]],[[.,.],.]]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => 64
[.,[[[.,[.,.]],.],[.,[.,.]]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[.,[[[.,[.,.]],.],[[.,.],.]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[.,[[[[.,.],.],.],[.,[.,.]]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[.,[[[[.,.],.],.],[[.,.],.]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[.,[[.,[.,[.,[.,.]]]],[.,.]]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[.,[[.,[.,[[.,.],.]]],[.,.]]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[.,[[.,[[.,.],[.,.]]],[.,.]]] => ([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7) => 64
[.,[[.,[[.,[.,.]],.]],[.,.]]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[.,[[.,[[[.,.],.],.]],[.,.]]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[.,[[[.,.],[.,[.,.]]],[.,.]]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => 64
[.,[[[.,.],[[.,.],.]],[.,.]]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => 64
[.,[[[.,[.,.]],[.,.]],[.,.]]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => 64
[.,[[[[.,.],.],[.,.]],[.,.]]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => 64
[.,[[[.,[.,[.,.]]],.],[.,.]]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[.,[[[.,[[.,.],.]],.],[.,.]]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[.,[[[[.,.],[.,.]],.],[.,.]]] => ([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7) => 64
[.,[[[[.,[.,.]],.],.],[.,.]]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[.,[[[[[.,.],.],.],.],[.,.]]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[.,[[.,[.,[.,[.,[.,.]]]]],.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[.,[[.,[.,[.,[[.,.],.]]]],.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[.,[[.,[.,[[.,.],[.,.]]]],.]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[.,[[.,[.,[[.,[.,.]],.]]],.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[.,[[.,[.,[[[.,.],.],.]]],.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[.,[[.,[[.,.],[.,[.,.]]]],.]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[.,[[.,[[.,.],[[.,.],.]]],.]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[.,[[.,[[.,[.,.]],[.,.]]],.]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[.,[[.,[[[.,.],.],[.,.]]],.]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[.,[[.,[[.,[.,[.,.]]],.]],.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[.,[[.,[[.,[[.,.],.]],.]],.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[.,[[.,[[[.,.],[.,.]],.]],.]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[.,[[.,[[[.,[.,.]],.],.]],.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[.,[[.,[[[[.,.],.],.],.]],.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[.,[[[.,.],[.,[.,[.,.]]]],.]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[.,[[[.,.],[.,[[.,.],.]]],.]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[.,[[[.,.],[[.,.],[.,.]]],.]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => 64
[.,[[[.,.],[[.,[.,.]],.]],.]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[.,[[[.,.],[[[.,.],.],.]],.]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[.,[[[.,[.,.]],[.,[.,.]]],.]] => ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7) => 64
[.,[[[.,[.,.]],[[.,.],.]],.]] => ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7) => 64
[.,[[[[.,.],.],[.,[.,.]]],.]] => ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7) => 64
[.,[[[[.,.],.],[[.,.],.]],.]] => ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7) => 64
[.,[[[.,[.,[.,.]]],[.,.]],.]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[.,[[[.,[[.,.],.]],[.,.]],.]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[.,[[[[.,.],[.,.]],[.,.]],.]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => 64
[.,[[[[.,[.,.]],.],[.,.]],.]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[.,[[[[[.,.],.],.],[.,.]],.]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[.,[[[.,[.,[.,[.,.]]]],.],.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[.,[[[.,[.,[[.,.],.]]],.],.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[.,[[[.,[[.,.],[.,.]]],.],.]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[.,[[[.,[[.,[.,.]],.]],.],.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[.,[[[.,[[[.,.],.],.]],.],.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[.,[[[[.,.],[.,[.,.]]],.],.]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[.,[[[[.,.],[[.,.],.]],.],.]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[.,[[[[.,[.,.]],[.,.]],.],.]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[.,[[[[[.,.],.],[.,.]],.],.]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[.,[[[[.,[.,[.,.]]],.],.],.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[.,[[[[.,[[.,.],.]],.],.],.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[.,[[[[[.,.],[.,.]],.],.],.]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[.,[[[[[.,[.,.]],.],.],.],.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[.,[[[[[[.,.],.],.],.],.],.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,.],[.,[.,[.,[.,[.,.]]]]]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,.],[.,[.,[.,[[.,.],.]]]]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,.],[.,[.,[[.,.],[.,.]]]]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[[.,.],[.,[.,[[.,[.,.]],.]]]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,.],[.,[.,[[[.,.],.],.]]]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,.],[.,[[.,.],[.,[.,.]]]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[.,.],[.,[[.,.],[[.,.],.]]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[.,.],[.,[[.,[.,.]],[.,.]]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[.,.],[.,[[[.,.],.],[.,.]]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[.,.],[.,[[.,[.,[.,.]]],.]]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,.],[.,[[.,[[.,.],.]],.]]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,.],[.,[[[.,.],[.,.]],.]]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[[.,.],[.,[[[.,[.,.]],.],.]]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,.],[.,[[[[.,.],.],.],.]]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,.],[[.,.],[.,[.,[.,.]]]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[.,.],[[.,.],[.,[[.,.],.]]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[.,.],[[.,.],[[.,.],[.,.]]]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => 64
[[.,.],[[.,.],[[.,[.,.]],.]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[.,.],[[.,.],[[[.,.],.],.]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[.,.],[[.,[.,.]],[.,[.,.]]]] => ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7) => 64
[[.,.],[[.,[.,.]],[[.,.],.]]] => ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7) => 64
[[.,.],[[[.,.],.],[.,[.,.]]]] => ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7) => 64
[[.,.],[[[.,.],.],[[.,.],.]]] => ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7) => 64
[[.,.],[[.,[.,[.,.]]],[.,.]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[.,.],[[.,[[.,.],.]],[.,.]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[.,.],[[[.,.],[.,.]],[.,.]]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => 64
[[.,.],[[[.,[.,.]],.],[.,.]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[.,.],[[[[.,.],.],.],[.,.]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[.,.],[[.,[.,[.,[.,.]]]],.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,.],[[.,[.,[[.,.],.]]],.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,.],[[.,[[.,.],[.,.]]],.]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[[.,.],[[.,[[.,[.,.]],.]],.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,.],[[.,[[[.,.],.],.]],.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,.],[[[.,.],[.,[.,.]]],.]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[.,.],[[[.,.],[[.,.],.]],.]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[.,.],[[[.,[.,.]],[.,.]],.]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[.,.],[[[[.,.],.],[.,.]],.]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[.,.],[[[.,[.,[.,.]]],.],.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,.],[[[.,[[.,.],.]],.],.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,.],[[[[.,.],[.,.]],.],.]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[[.,.],[[[[.,[.,.]],.],.],.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,.],[[[[[.,.],.],.],.],.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,[.,.]],[.,[.,[.,[.,.]]]]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,[.,.]],[.,[.,[[.,.],.]]]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,[.,.]],[.,[[.,.],[.,.]]]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[[.,[.,.]],[.,[[.,[.,.]],.]]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,[.,.]],[.,[[[.,.],.],.]]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,[.,.]],[[.,.],[.,[.,.]]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[.,[.,.]],[[.,.],[[.,.],.]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[.,[.,.]],[[.,[.,.]],[.,.]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[.,[.,.]],[[[.,.],.],[.,.]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[.,[.,.]],[[.,[.,[.,.]]],.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,[.,.]],[[.,[[.,.],.]],.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,[.,.]],[[[.,.],[.,.]],.]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[[.,[.,.]],[[[.,[.,.]],.],.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,[.,.]],[[[[.,.],.],.],.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[[.,.],.],[.,[.,[.,[.,.]]]]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[[.,.],.],[.,[.,[[.,.],.]]]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[[.,.],.],[.,[[.,.],[.,.]]]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[[[.,.],.],[.,[[.,[.,.]],.]]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[[.,.],.],[.,[[[.,.],.],.]]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[[.,.],.],[[.,.],[.,[.,.]]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[[.,.],.],[[.,.],[[.,.],.]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[[.,.],.],[[.,[.,.]],[.,.]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[[.,.],.],[[[.,.],.],[.,.]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[[.,.],.],[[.,[.,[.,.]]],.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[[.,.],.],[[.,[[.,.],.]],.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[[.,.],.],[[[.,.],[.,.]],.]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[[[.,.],.],[[[.,[.,.]],.],.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[[.,.],.],[[[[.,.],.],.],.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,[.,[.,.]]],[.,[.,[.,.]]]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,[.,[.,.]]],[.,[[.,.],.]]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,[.,[.,.]]],[[.,.],[.,.]]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[[.,[.,[.,.]]],[[.,[.,.]],.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,[.,[.,.]]],[[[.,.],.],.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,[[.,.],.]],[.,[.,[.,.]]]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,[[.,.],.]],[.,[[.,.],.]]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,[[.,.],.]],[[.,.],[.,.]]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[[.,[[.,.],.]],[[.,[.,.]],.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,[[.,.],.]],[[[.,.],.],.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[[.,.],[.,.]],[.,[.,[.,.]]]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[[[.,.],[.,.]],[.,[[.,.],.]]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[[[.,.],[.,.]],[[.,.],[.,.]]] => ([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7) => 64
[[[.,.],[.,.]],[[.,[.,.]],.]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[[[.,.],[.,.]],[[[.,.],.],.]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[[[.,[.,.]],.],[.,[.,[.,.]]]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[[.,[.,.]],.],[.,[[.,.],.]]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[[.,[.,.]],.],[[.,.],[.,.]]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[[[.,[.,.]],.],[[.,[.,.]],.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[[.,[.,.]],.],[[[.,.],.],.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[[[.,.],.],.],[.,[.,[.,.]]]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[[[.,.],.],.],[.,[[.,.],.]]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[[[.,.],.],.],[[.,.],[.,.]]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[[[[.,.],.],.],[[.,[.,.]],.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[[[.,.],.],.],[[[.,.],.],.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,[.,[.,[.,.]]]],[.,[.,.]]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,[.,[.,[.,.]]]],[[.,.],.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,[.,[[.,.],.]]],[.,[.,.]]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,[.,[[.,.],.]]],[[.,.],.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,[[.,.],[.,.]]],[.,[.,.]]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[[.,[[.,.],[.,.]]],[[.,.],.]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[[.,[[.,[.,.]],.]],[.,[.,.]]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,[[.,[.,.]],.]],[[.,.],.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,[[[.,.],.],.]],[.,[.,.]]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,[[[.,.],.],.]],[[.,.],.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[[.,.],[.,[.,.]]],[.,[.,.]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[[.,.],[.,[.,.]]],[[.,.],.]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[[.,.],[[.,.],.]],[.,[.,.]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[[.,.],[[.,.],.]],[[.,.],.]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[[.,[.,.]],[.,.]],[.,[.,.]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[[.,[.,.]],[.,.]],[[.,.],.]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[[[.,.],.],[.,.]],[.,[.,.]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[[[.,.],.],[.,.]],[[.,.],.]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[[.,[.,[.,.]]],.],[.,[.,.]]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[[.,[.,[.,.]]],.],[[.,.],.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[[.,[[.,.],.]],.],[.,[.,.]]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[[.,[[.,.],.]],.],[[.,.],.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[[[.,.],[.,.]],.],[.,[.,.]]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[[[[.,.],[.,.]],.],[[.,.],.]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[[[[.,[.,.]],.],.],[.,[.,.]]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[[[.,[.,.]],.],.],[[.,.],.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[[[[.,.],.],.],.],[.,[.,.]]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[[[[.,.],.],.],.],[[.,.],.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,[.,[.,[.,[.,.]]]]],[.,.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,[.,[.,[[.,.],.]]]],[.,.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,[.,[[.,.],[.,.]]]],[.,.]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[[.,[.,[[.,[.,.]],.]]],[.,.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,[.,[[[.,.],.],.]]],[.,.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,[[.,.],[.,[.,.]]]],[.,.]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[.,[[.,.],[[.,.],.]]],[.,.]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[.,[[.,[.,.]],[.,.]]],[.,.]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[.,[[[.,.],.],[.,.]]],[.,.]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[.,[[.,[.,[.,.]]],.]],[.,.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,[[.,[[.,.],.]],.]],[.,.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,[[[.,.],[.,.]],.]],[.,.]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[[.,[[[.,[.,.]],.],.]],[.,.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,[[[[.,.],.],.],.]],[.,.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[[.,.],[.,[.,[.,.]]]],[.,.]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[[.,.],[.,[[.,.],.]]],[.,.]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[[.,.],[[.,.],[.,.]]],[.,.]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => 64
[[[.,.],[[.,[.,.]],.]],[.,.]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[[.,.],[[[.,.],.],.]],[.,.]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[[.,[.,.]],[.,[.,.]]],[.,.]] => ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7) => 64
[[[.,[.,.]],[[.,.],.]],[.,.]] => ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7) => 64
[[[[.,.],.],[.,[.,.]]],[.,.]] => ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7) => 64
[[[[.,.],.],[[.,.],.]],[.,.]] => ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7) => 64
[[[.,[.,[.,.]]],[.,.]],[.,.]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[[.,[[.,.],.]],[.,.]],[.,.]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[[[.,.],[.,.]],[.,.]],[.,.]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => 64
[[[[.,[.,.]],.],[.,.]],[.,.]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[[[[.,.],.],.],[.,.]],[.,.]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[[.,[.,[.,[.,.]]]],.],[.,.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[[.,[.,[[.,.],.]]],.],[.,.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[[.,[[.,.],[.,.]]],.],[.,.]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[[[.,[[.,[.,.]],.]],.],[.,.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[[.,[[[.,.],.],.]],.],[.,.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[[[.,.],[.,[.,.]]],.],[.,.]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[[[.,.],[[.,.],.]],.],[.,.]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[[[.,[.,.]],[.,.]],.],[.,.]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[[[[.,.],.],[.,.]],.],[.,.]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[[[.,[.,[.,.]]],.],.],[.,.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[[[.,[[.,.],.]],.],.],[.,.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[[[[.,.],[.,.]],.],.],[.,.]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[[[[[.,[.,.]],.],.],.],[.,.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[[[[[.,.],.],.],.],.],[.,.]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,[.,[.,[.,[.,[.,.]]]]]],.] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,[.,[.,[.,[[.,.],.]]]]],.] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,[.,[.,[[.,.],[.,.]]]]],.] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[[.,[.,[.,[[.,[.,.]],.]]]],.] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,[.,[.,[[[.,.],.],.]]]],.] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,[.,[[.,.],[.,[.,.]]]]],.] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[.,[.,[[.,.],[[.,.],.]]]],.] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[.,[.,[[.,[.,.]],[.,.]]]],.] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[.,[.,[[[.,.],.],[.,.]]]],.] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[.,[.,[[.,[.,[.,.]]],.]]],.] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,[.,[[.,[[.,.],.]],.]]],.] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,[.,[[[.,.],[.,.]],.]]],.] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[[.,[.,[[[.,[.,.]],.],.]]],.] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,[.,[[[[.,.],.],.],.]]],.] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,[[.,.],[.,[.,[.,.]]]]],.] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[.,[[.,.],[.,[[.,.],.]]]],.] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[.,[[.,.],[[.,.],[.,.]]]],.] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => 64
[[.,[[.,.],[[.,[.,.]],.]]],.] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[.,[[.,.],[[[.,.],.],.]]],.] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[.,[[.,[.,.]],[.,[.,.]]]],.] => ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7) => 64
[[.,[[.,[.,.]],[[.,.],.]]],.] => ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7) => 64
[[.,[[[.,.],.],[.,[.,.]]]],.] => ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7) => 64
[[.,[[[.,.],.],[[.,.],.]]],.] => ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7) => 64
[[.,[[.,[.,[.,.]]],[.,.]]],.] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[.,[[.,[[.,.],.]],[.,.]]],.] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[.,[[[.,.],[.,.]],[.,.]]],.] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => 64
[[.,[[[.,[.,.]],.],[.,.]]],.] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[.,[[[[.,.],.],.],[.,.]]],.] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[.,[[.,[.,[.,[.,.]]]],.]],.] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,[[.,[.,[[.,.],.]]],.]],.] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,[[.,[[.,.],[.,.]]],.]],.] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[[.,[[.,[[.,[.,.]],.]],.]],.] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,[[.,[[[.,.],.],.]],.]],.] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,[[[.,.],[.,[.,.]]],.]],.] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[.,[[[.,.],[[.,.],.]],.]],.] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[.,[[[.,[.,.]],[.,.]],.]],.] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[.,[[[[.,.],.],[.,.]],.]],.] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[.,[[[.,[.,[.,.]]],.],.]],.] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,[[[.,[[.,.],.]],.],.]],.] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,[[[[.,.],[.,.]],.],.]],.] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[[.,[[[[.,[.,.]],.],.],.]],.] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[.,[[[[[.,.],.],.],.],.]],.] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[[.,.],[.,[.,[.,[.,.]]]]],.] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[[[.,.],[.,[.,[[.,.],.]]]],.] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[[[.,.],[.,[[.,.],[.,.]]]],.] => ([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7) => 64
[[[.,.],[.,[[.,[.,.]],.]]],.] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[[[.,.],[.,[[[.,.],.],.]]],.] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[[[.,.],[[.,.],[.,[.,.]]]],.] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => 64
[[[.,.],[[.,.],[[.,.],.]]],.] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => 64
[[[.,.],[[.,[.,.]],[.,.]]],.] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => 64
[[[.,.],[[[.,.],.],[.,.]]],.] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => 64
[[[.,.],[[.,[.,[.,.]]],.]],.] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[[[.,.],[[.,[[.,.],.]],.]],.] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[[[.,.],[[[.,.],[.,.]],.]],.] => ([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7) => 64
[[[.,.],[[[.,[.,.]],.],.]],.] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[[[.,.],[[[[.,.],.],.],.]],.] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[[[.,[.,.]],[.,[.,[.,.]]]],.] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[[.,[.,.]],[.,[[.,.],.]]],.] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[[.,[.,.]],[[.,.],[.,.]]],.] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => 64
[[[.,[.,.]],[[.,[.,.]],.]],.] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[[.,[.,.]],[[[.,.],.],.]],.] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[[[.,.],.],[.,[.,[.,.]]]],.] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[[[.,.],.],[.,[[.,.],.]]],.] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[[[.,.],.],[[.,.],[.,.]]],.] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => 64
[[[[.,.],.],[[.,[.,.]],.]],.] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[[[.,.],.],[[[.,.],.],.]],.] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[[.,[.,[.,.]]],[.,[.,.]]],.] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[[.,[.,[.,.]]],[[.,.],.]],.] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[[.,[[.,.],.]],[.,[.,.]]],.] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[[.,[[.,.],.]],[[.,.],.]],.] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[[[.,.],[.,.]],[.,[.,.]]],.] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => 64
[[[[.,.],[.,.]],[[.,.],.]],.] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => 64
[[[[.,[.,.]],.],[.,[.,.]]],.] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[[[.,[.,.]],.],[[.,.],.]],.] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[[[[.,.],.],.],[.,[.,.]]],.] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[[[[.,.],.],.],[[.,.],.]],.] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[[.,[.,[.,[.,.]]]],[.,.]],.] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[[[.,[.,[[.,.],.]]],[.,.]],.] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[[[.,[[.,.],[.,.]]],[.,.]],.] => ([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7) => 64
[[[.,[[.,[.,.]],.]],[.,.]],.] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[[[.,[[[.,.],.],.]],[.,.]],.] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[[[[.,.],[.,[.,.]]],[.,.]],.] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => 64
[[[[.,.],[[.,.],.]],[.,.]],.] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => 64
[[[[.,[.,.]],[.,.]],[.,.]],.] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => 64
[[[[[.,.],.],[.,.]],[.,.]],.] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => 64
[[[[.,[.,[.,.]]],.],[.,.]],.] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[[[[.,[[.,.],.]],.],[.,.]],.] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[[[[[.,.],[.,.]],.],[.,.]],.] => ([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7) => 64
[[[[[.,[.,.]],.],.],[.,.]],.] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[[[[[[.,.],.],.],.],[.,.]],.] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[[[.,[.,[.,[.,[.,.]]]]],.],.] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[[.,[.,[.,[[.,.],.]]]],.],.] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[[.,[.,[[.,.],[.,.]]]],.],.] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[[[.,[.,[[.,[.,.]],.]]],.],.] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[[.,[.,[[[.,.],.],.]]],.],.] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[[.,[[.,.],[.,[.,.]]]],.],.] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[[.,[[.,.],[[.,.],.]]],.],.] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[[.,[[.,[.,.]],[.,.]]],.],.] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[[.,[[[.,.],.],[.,.]]],.],.] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[[.,[[.,[.,[.,.]]],.]],.],.] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[[.,[[.,[[.,.],.]],.]],.],.] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[[.,[[[.,.],[.,.]],.]],.],.] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[[[.,[[[.,[.,.]],.],.]],.],.] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[[.,[[[[.,.],.],.],.]],.],.] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[[[.,.],[.,[.,[.,.]]]],.],.] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[[[.,.],[.,[[.,.],.]]],.],.] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[[[.,.],[[.,.],[.,.]]],.],.] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => 64
[[[[.,.],[[.,[.,.]],.]],.],.] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[[[.,.],[[[.,.],.],.]],.],.] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[[[.,[.,.]],[.,[.,.]]],.],.] => ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7) => 64
[[[[.,[.,.]],[[.,.],.]],.],.] => ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7) => 64
[[[[[.,.],.],[.,[.,.]]],.],.] => ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7) => 64
[[[[[.,.],.],[[.,.],.]],.],.] => ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7) => 64
[[[[.,[.,[.,.]]],[.,.]],.],.] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[[[.,[[.,.],.]],[.,.]],.],.] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[[[[.,.],[.,.]],[.,.]],.],.] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => 64
[[[[[.,[.,.]],.],[.,.]],.],.] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[[[[[.,.],.],.],[.,.]],.],.] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[[[.,[.,[.,[.,.]]]],.],.],.] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[[[.,[.,[[.,.],.]]],.],.],.] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[[[.,[[.,.],[.,.]]],.],.],.] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[[[[.,[[.,[.,.]],.]],.],.],.] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[[[.,[[[.,.],.],.]],.],.],.] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[[[[.,.],[.,[.,.]]],.],.],.] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[[[[.,.],[[.,.],.]],.],.],.] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[[[[.,[.,.]],[.,.]],.],.],.] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[[[[[.,.],.],[.,.]],.],.],.] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => 64
[[[[[.,[.,[.,.]]],.],.],.],.] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[[[[.,[[.,.],.]],.],.],.],.] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[[[[[.,.],[.,.]],.],.],.],.] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => 64
[[[[[[.,[.,.]],.],.],.],.],.] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
[[[[[[[.,.],.],.],.],.],.],.] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => 64
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
Description
The number of forests contained in a graph.
That is, for a graph G=(V,E) with vertices V and edges E, the number of subsets EE for which the subgraph (V,E) is acyclic.
If TG(x,y) is the Tutte polynomial [2] of G, then the number of forests contained in G is given by TG(2,1).
Map
to graph
Description
Return the undirected graph obtained from the tree nodes and edges, with leaves being ignored.