Identifier
Values
[.,.] => ([],1) => ([],1) => ([(0,1)],2) => 0
[.,[.,.]] => ([(0,1)],2) => ([],2) => ([(0,2),(1,2)],3) => 1
[[.,.],.] => ([(0,1)],2) => ([],2) => ([(0,2),(1,2)],3) => 1
[.,[.,[.,.]]] => ([(0,2),(2,1)],3) => ([],3) => ([(0,3),(1,3),(2,3)],4) => 3
[.,[[.,.],.]] => ([(0,2),(2,1)],3) => ([],3) => ([(0,3),(1,3),(2,3)],4) => 3
[[.,.],[.,.]] => ([(0,2),(1,2)],3) => ([(1,2)],3) => ([(0,3),(1,2),(1,3),(2,3)],4) => 2
[[.,[.,.]],.] => ([(0,2),(2,1)],3) => ([],3) => ([(0,3),(1,3),(2,3)],4) => 3
[[[.,.],.],.] => ([(0,2),(2,1)],3) => ([],3) => ([(0,3),(1,3),(2,3)],4) => 3
[.,[.,[.,[.,.]]]] => ([(0,3),(2,1),(3,2)],4) => ([],4) => ([(0,4),(1,4),(2,4),(3,4)],5) => 6
[.,[.,[[.,.],.]]] => ([(0,3),(2,1),(3,2)],4) => ([],4) => ([(0,4),(1,4),(2,4),(3,4)],5) => 6
[.,[[.,.],[.,.]]] => ([(0,3),(1,3),(3,2)],4) => ([(2,3)],4) => ([(0,4),(1,4),(2,3),(2,4),(3,4)],5) => 5
[.,[[.,[.,.]],.]] => ([(0,3),(2,1),(3,2)],4) => ([],4) => ([(0,4),(1,4),(2,4),(3,4)],5) => 6
[.,[[[.,.],.],.]] => ([(0,3),(2,1),(3,2)],4) => ([],4) => ([(0,4),(1,4),(2,4),(3,4)],5) => 6
[[.,.],[.,[.,.]]] => ([(0,3),(1,2),(2,3)],4) => ([(1,3),(2,3)],4) => ([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => 4
[[.,.],[[.,.],.]] => ([(0,3),(1,2),(2,3)],4) => ([(1,3),(2,3)],4) => ([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => 4
[[.,[.,.]],[.,.]] => ([(0,3),(1,2),(2,3)],4) => ([(1,3),(2,3)],4) => ([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => 4
[[[.,.],.],[.,.]] => ([(0,3),(1,2),(2,3)],4) => ([(1,3),(2,3)],4) => ([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => 4
[[.,[.,[.,.]]],.] => ([(0,3),(2,1),(3,2)],4) => ([],4) => ([(0,4),(1,4),(2,4),(3,4)],5) => 6
[[.,[[.,.],.]],.] => ([(0,3),(2,1),(3,2)],4) => ([],4) => ([(0,4),(1,4),(2,4),(3,4)],5) => 6
[[[.,.],[.,.]],.] => ([(0,3),(1,3),(3,2)],4) => ([(2,3)],4) => ([(0,4),(1,4),(2,3),(2,4),(3,4)],5) => 5
[[[.,[.,.]],.],.] => ([(0,3),(2,1),(3,2)],4) => ([],4) => ([(0,4),(1,4),(2,4),(3,4)],5) => 6
[[[[.,.],.],.],.] => ([(0,3),(2,1),(3,2)],4) => ([],4) => ([(0,4),(1,4),(2,4),(3,4)],5) => 6
[.,[.,[.,[.,[.,.]]]]] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([],5) => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 10
[.,[.,[.,[[.,.],.]]]] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([],5) => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 10
[.,[.,[[.,.],[.,.]]]] => ([(0,4),(1,4),(2,3),(4,2)],5) => ([(3,4)],5) => ([(0,5),(1,5),(2,5),(3,4),(3,5),(4,5)],6) => 9
[.,[.,[[.,[.,.]],.]]] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([],5) => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 10
[.,[.,[[[.,.],.],.]]] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([],5) => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 10
[.,[[.,.],[.,[.,.]]]] => ([(0,4),(1,2),(2,4),(4,3)],5) => ([(2,4),(3,4)],5) => ([(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 8
[.,[[.,.],[[.,.],.]]] => ([(0,4),(1,2),(2,4),(4,3)],5) => ([(2,4),(3,4)],5) => ([(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 8
[.,[[.,[.,.]],[.,.]]] => ([(0,4),(1,2),(2,4),(4,3)],5) => ([(2,4),(3,4)],5) => ([(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 8
[.,[[[.,.],.],[.,.]]] => ([(0,4),(1,2),(2,4),(4,3)],5) => ([(2,4),(3,4)],5) => ([(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 8
[.,[[.,[.,[.,.]]],.]] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([],5) => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 10
[.,[[.,[[.,.],.]],.]] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([],5) => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 10
[.,[[[.,.],[.,.]],.]] => ([(0,4),(1,4),(2,3),(4,2)],5) => ([(3,4)],5) => ([(0,5),(1,5),(2,5),(3,4),(3,5),(4,5)],6) => 9
[.,[[[.,[.,.]],.],.]] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([],5) => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 10
[.,[[[[.,.],.],.],.]] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([],5) => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 10
[[.,.],[.,[.,[.,.]]]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(1,4),(2,4),(3,4)],5) => ([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 7
[[.,.],[.,[[.,.],.]]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(1,4),(2,4),(3,4)],5) => ([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 7
[[.,.],[[.,.],[.,.]]] => ([(0,4),(1,3),(2,3),(3,4)],5) => ([(1,4),(2,3),(2,4),(3,4)],5) => ([(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 6
[[.,.],[[.,[.,.]],.]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(1,4),(2,4),(3,4)],5) => ([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 7
[[.,.],[[[.,.],.],.]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(1,4),(2,4),(3,4)],5) => ([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 7
[[.,[.,.]],[.,[.,.]]] => ([(0,3),(1,2),(2,4),(3,4)],5) => ([(1,3),(1,4),(2,3),(2,4)],5) => ([(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6) => 6
[[.,[.,.]],[[.,.],.]] => ([(0,3),(1,2),(2,4),(3,4)],5) => ([(1,3),(1,4),(2,3),(2,4)],5) => ([(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6) => 6
[[[.,.],.],[.,[.,.]]] => ([(0,3),(1,2),(2,4),(3,4)],5) => ([(1,3),(1,4),(2,3),(2,4)],5) => ([(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6) => 6
[[[.,.],.],[[.,.],.]] => ([(0,3),(1,2),(2,4),(3,4)],5) => ([(1,3),(1,4),(2,3),(2,4)],5) => ([(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6) => 6
[[.,[.,[.,.]]],[.,.]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(1,4),(2,4),(3,4)],5) => ([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 7
[[.,[[.,.],.]],[.,.]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(1,4),(2,4),(3,4)],5) => ([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 7
[[[.,.],[.,.]],[.,.]] => ([(0,4),(1,3),(2,3),(3,4)],5) => ([(1,4),(2,3),(2,4),(3,4)],5) => ([(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 6
[[[.,[.,.]],.],[.,.]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(1,4),(2,4),(3,4)],5) => ([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 7
[[[[.,.],.],.],[.,.]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(1,4),(2,4),(3,4)],5) => ([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 7
[[.,[.,[.,[.,.]]]],.] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([],5) => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 10
[[.,[.,[[.,.],.]]],.] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([],5) => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 10
[[.,[[.,.],[.,.]]],.] => ([(0,4),(1,4),(2,3),(4,2)],5) => ([(3,4)],5) => ([(0,5),(1,5),(2,5),(3,4),(3,5),(4,5)],6) => 9
[[.,[[.,[.,.]],.]],.] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([],5) => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 10
[[.,[[[.,.],.],.]],.] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([],5) => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 10
[[[.,.],[.,[.,.]]],.] => ([(0,4),(1,2),(2,4),(4,3)],5) => ([(2,4),(3,4)],5) => ([(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 8
[[[.,.],[[.,.],.]],.] => ([(0,4),(1,2),(2,4),(4,3)],5) => ([(2,4),(3,4)],5) => ([(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 8
[[[.,[.,.]],[.,.]],.] => ([(0,4),(1,2),(2,4),(4,3)],5) => ([(2,4),(3,4)],5) => ([(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 8
[[[[.,.],.],[.,.]],.] => ([(0,4),(1,2),(2,4),(4,3)],5) => ([(2,4),(3,4)],5) => ([(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 8
[[[.,[.,[.,.]]],.],.] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([],5) => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 10
[[[.,[[.,.],.]],.],.] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([],5) => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 10
[[[[.,.],[.,.]],.],.] => ([(0,4),(1,4),(2,3),(4,2)],5) => ([(3,4)],5) => ([(0,5),(1,5),(2,5),(3,4),(3,5),(4,5)],6) => 9
[[[[.,[.,.]],.],.],.] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([],5) => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 10
[[[[[.,.],.],.],.],.] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([],5) => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 10
[.,[.,[.,[.,[.,[.,.]]]]]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 15
[.,[.,[.,[.,[[.,.],.]]]]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 15
[.,[.,[.,[[.,.],[.,.]]]]] => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6) => ([(4,5)],6) => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 14
[.,[.,[.,[[.,[.,.]],.]]]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 15
[.,[.,[.,[[[.,.],.],.]]]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 15
[.,[.,[[.,.],[.,[.,.]]]]] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => ([(3,5),(4,5)],6) => ([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 13
[.,[.,[[.,.],[[.,.],.]]]] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => ([(3,5),(4,5)],6) => ([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 13
[.,[.,[[.,[.,.]],[.,.]]]] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => ([(3,5),(4,5)],6) => ([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 13
[.,[.,[[[.,.],.],[.,.]]]] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => ([(3,5),(4,5)],6) => ([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 13
[.,[.,[[.,[.,[.,.]]],.]]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 15
[.,[.,[[.,[[.,.],.]],.]]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 15
[.,[.,[[[.,.],[.,.]],.]]] => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6) => ([(4,5)],6) => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 14
[.,[.,[[[.,[.,.]],.],.]]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 15
[.,[.,[[[[.,.],.],.],.]]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 15
[.,[[.,.],[.,[.,[.,.]]]]] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => ([(2,5),(3,5),(4,5)],6) => ([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 12
[.,[[.,.],[.,[[.,.],.]]]] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => ([(2,5),(3,5),(4,5)],6) => ([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 12
[.,[[.,.],[[.,.],[.,.]]]] => ([(0,5),(1,4),(2,4),(4,5),(5,3)],6) => ([(2,5),(3,4),(3,5),(4,5)],6) => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 11
[.,[[.,.],[[.,[.,.]],.]]] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => ([(2,5),(3,5),(4,5)],6) => ([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 12
[.,[[.,.],[[[.,.],.],.]]] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => ([(2,5),(3,5),(4,5)],6) => ([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 12
[.,[[.,[.,.]],[.,[.,.]]]] => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6) => ([(2,4),(2,5),(3,4),(3,5)],6) => ([(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => 11
[.,[[.,[.,.]],[[.,.],.]]] => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6) => ([(2,4),(2,5),(3,4),(3,5)],6) => ([(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => 11
[.,[[[.,.],.],[.,[.,.]]]] => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6) => ([(2,4),(2,5),(3,4),(3,5)],6) => ([(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => 11
[.,[[[.,.],.],[[.,.],.]]] => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6) => ([(2,4),(2,5),(3,4),(3,5)],6) => ([(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => 11
[.,[[.,[.,[.,.]]],[.,.]]] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => ([(2,5),(3,5),(4,5)],6) => ([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 12
[.,[[.,[[.,.],.]],[.,.]]] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => ([(2,5),(3,5),(4,5)],6) => ([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 12
[.,[[[.,.],[.,.]],[.,.]]] => ([(0,5),(1,4),(2,4),(4,5),(5,3)],6) => ([(2,5),(3,4),(3,5),(4,5)],6) => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 11
[.,[[[.,[.,.]],.],[.,.]]] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => ([(2,5),(3,5),(4,5)],6) => ([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 12
[.,[[[[.,.],.],.],[.,.]]] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => ([(2,5),(3,5),(4,5)],6) => ([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 12
[.,[[.,[.,[.,[.,.]]]],.]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 15
[.,[[.,[.,[[.,.],.]]],.]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 15
[.,[[.,[[.,.],[.,.]]],.]] => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6) => ([(4,5)],6) => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 14
[.,[[.,[[.,[.,.]],.]],.]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 15
[.,[[.,[[[.,.],.],.]],.]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 15
[.,[[[.,.],[.,[.,.]]],.]] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => ([(3,5),(4,5)],6) => ([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 13
[.,[[[.,.],[[.,.],.]],.]] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => ([(3,5),(4,5)],6) => ([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 13
[.,[[[.,[.,.]],[.,.]],.]] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => ([(3,5),(4,5)],6) => ([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 13
[.,[[[[.,.],.],[.,.]],.]] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => ([(3,5),(4,5)],6) => ([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 13
>>> Load all 196 entries. <<<
[.,[[[.,[.,[.,.]]],.],.]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 15
[.,[[[.,[[.,.],.]],.],.]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 15
[.,[[[[.,.],[.,.]],.],.]] => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6) => ([(4,5)],6) => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 14
[.,[[[[.,[.,.]],.],.],.]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 15
[.,[[[[[.,.],.],.],.],.]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 15
[[.,.],[.,[.,[.,[.,.]]]]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => ([(1,5),(2,5),(3,5),(4,5)],6) => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 11
[[.,.],[.,[.,[[.,.],.]]]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => ([(1,5),(2,5),(3,5),(4,5)],6) => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 11
[[.,.],[.,[[.,.],[.,.]]]] => ([(0,5),(1,4),(2,4),(3,5),(4,3)],6) => ([(1,5),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 10
[[.,.],[.,[[.,[.,.]],.]]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => ([(1,5),(2,5),(3,5),(4,5)],6) => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 11
[[.,.],[.,[[[.,.],.],.]]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => ([(1,5),(2,5),(3,5),(4,5)],6) => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 11
[[.,.],[[.,.],[.,[.,.]]]] => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6) => ([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 9
[[.,.],[[.,.],[[.,.],.]]] => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6) => ([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 9
[[.,.],[[.,[.,.]],[.,.]]] => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6) => ([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 9
[[.,.],[[[.,.],.],[.,.]]] => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6) => ([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 9
[[.,.],[[.,[.,[.,.]]],.]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => ([(1,5),(2,5),(3,5),(4,5)],6) => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 11
[[.,.],[[.,[[.,.],.]],.]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => ([(1,5),(2,5),(3,5),(4,5)],6) => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 11
[[.,.],[[[.,.],[.,.]],.]] => ([(0,5),(1,4),(2,4),(3,5),(4,3)],6) => ([(1,5),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 10
[[.,.],[[[.,[.,.]],.],.]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => ([(1,5),(2,5),(3,5),(4,5)],6) => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 11
[[.,.],[[[[.,.],.],.],.]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => ([(1,5),(2,5),(3,5),(4,5)],6) => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 11
[[.,[.,.]],[.,[.,[.,.]]]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => ([(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => 9
[[.,[.,.]],[.,[[.,.],.]]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => ([(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => 9
[[.,[.,.]],[[.,.],[.,.]]] => ([(0,4),(1,4),(2,3),(3,5),(4,5)],6) => ([(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6) => ([(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => 8
[[.,[.,.]],[[.,[.,.]],.]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => ([(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => 9
[[.,[.,.]],[[[.,.],.],.]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => ([(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => 9
[[[.,.],.],[.,[.,[.,.]]]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => ([(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => 9
[[[.,.],.],[.,[[.,.],.]]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => ([(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => 9
[[[.,.],.],[[.,.],[.,.]]] => ([(0,4),(1,4),(2,3),(3,5),(4,5)],6) => ([(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6) => ([(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => 8
[[[.,.],.],[[.,[.,.]],.]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => ([(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => 9
[[[.,.],.],[[[.,.],.],.]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => ([(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => 9
[[.,[.,[.,.]]],[.,[.,.]]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => ([(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => 9
[[.,[.,[.,.]]],[[.,.],.]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => ([(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => 9
[[.,[[.,.],.]],[.,[.,.]]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => ([(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => 9
[[.,[[.,.],.]],[[.,.],.]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => ([(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => 9
[[[.,.],[.,.]],[.,[.,.]]] => ([(0,4),(1,4),(2,3),(3,5),(4,5)],6) => ([(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6) => ([(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => 8
[[[.,.],[.,.]],[[.,.],.]] => ([(0,4),(1,4),(2,3),(3,5),(4,5)],6) => ([(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6) => ([(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => 8
[[[.,[.,.]],.],[.,[.,.]]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => ([(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => 9
[[[.,[.,.]],.],[[.,.],.]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => ([(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => 9
[[[[.,.],.],.],[.,[.,.]]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => ([(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => 9
[[[[.,.],.],.],[[.,.],.]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => ([(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => 9
[[.,[.,[.,[.,.]]]],[.,.]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => ([(1,5),(2,5),(3,5),(4,5)],6) => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 11
[[.,[.,[[.,.],.]]],[.,.]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => ([(1,5),(2,5),(3,5),(4,5)],6) => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 11
[[.,[[.,.],[.,.]]],[.,.]] => ([(0,5),(1,4),(2,4),(3,5),(4,3)],6) => ([(1,5),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 10
[[.,[[.,[.,.]],.]],[.,.]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => ([(1,5),(2,5),(3,5),(4,5)],6) => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 11
[[.,[[[.,.],.],.]],[.,.]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => ([(1,5),(2,5),(3,5),(4,5)],6) => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 11
[[[.,.],[.,[.,.]]],[.,.]] => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6) => ([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 9
[[[.,.],[[.,.],.]],[.,.]] => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6) => ([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 9
[[[.,[.,.]],[.,.]],[.,.]] => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6) => ([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 9
[[[[.,.],.],[.,.]],[.,.]] => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6) => ([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 9
[[[.,[.,[.,.]]],.],[.,.]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => ([(1,5),(2,5),(3,5),(4,5)],6) => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 11
[[[.,[[.,.],.]],.],[.,.]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => ([(1,5),(2,5),(3,5),(4,5)],6) => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 11
[[[[.,.],[.,.]],.],[.,.]] => ([(0,5),(1,4),(2,4),(3,5),(4,3)],6) => ([(1,5),(2,5),(3,4),(3,5),(4,5)],6) => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 10
[[[[.,[.,.]],.],.],[.,.]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => ([(1,5),(2,5),(3,5),(4,5)],6) => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 11
[[[[[.,.],.],.],.],[.,.]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => ([(1,5),(2,5),(3,5),(4,5)],6) => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 11
[[.,[.,[.,[.,[.,.]]]]],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 15
[[.,[.,[.,[[.,.],.]]]],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 15
[[.,[.,[[.,.],[.,.]]]],.] => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6) => ([(4,5)],6) => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 14
[[.,[.,[[.,[.,.]],.]]],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 15
[[.,[.,[[[.,.],.],.]]],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 15
[[.,[[.,.],[.,[.,.]]]],.] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => ([(3,5),(4,5)],6) => ([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 13
[[.,[[.,.],[[.,.],.]]],.] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => ([(3,5),(4,5)],6) => ([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 13
[[.,[[.,[.,.]],[.,.]]],.] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => ([(3,5),(4,5)],6) => ([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 13
[[.,[[[.,.],.],[.,.]]],.] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => ([(3,5),(4,5)],6) => ([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 13
[[.,[[.,[.,[.,.]]],.]],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 15
[[.,[[.,[[.,.],.]],.]],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 15
[[.,[[[.,.],[.,.]],.]],.] => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6) => ([(4,5)],6) => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 14
[[.,[[[.,[.,.]],.],.]],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 15
[[.,[[[[.,.],.],.],.]],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 15
[[[.,.],[.,[.,[.,.]]]],.] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => ([(2,5),(3,5),(4,5)],6) => ([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 12
[[[.,.],[.,[[.,.],.]]],.] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => ([(2,5),(3,5),(4,5)],6) => ([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 12
[[[.,.],[[.,.],[.,.]]],.] => ([(0,5),(1,4),(2,4),(4,5),(5,3)],6) => ([(2,5),(3,4),(3,5),(4,5)],6) => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 11
[[[.,.],[[.,[.,.]],.]],.] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => ([(2,5),(3,5),(4,5)],6) => ([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 12
[[[.,.],[[[.,.],.],.]],.] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => ([(2,5),(3,5),(4,5)],6) => ([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 12
[[[.,[.,.]],[.,[.,.]]],.] => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6) => ([(2,4),(2,5),(3,4),(3,5)],6) => ([(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => 11
[[[.,[.,.]],[[.,.],.]],.] => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6) => ([(2,4),(2,5),(3,4),(3,5)],6) => ([(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => 11
[[[[.,.],.],[.,[.,.]]],.] => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6) => ([(2,4),(2,5),(3,4),(3,5)],6) => ([(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => 11
[[[[.,.],.],[[.,.],.]],.] => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6) => ([(2,4),(2,5),(3,4),(3,5)],6) => ([(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => 11
[[[.,[.,[.,.]]],[.,.]],.] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => ([(2,5),(3,5),(4,5)],6) => ([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 12
[[[.,[[.,.],.]],[.,.]],.] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => ([(2,5),(3,5),(4,5)],6) => ([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 12
[[[[.,.],[.,.]],[.,.]],.] => ([(0,5),(1,4),(2,4),(4,5),(5,3)],6) => ([(2,5),(3,4),(3,5),(4,5)],6) => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 11
[[[[.,[.,.]],.],[.,.]],.] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => ([(2,5),(3,5),(4,5)],6) => ([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 12
[[[[[.,.],.],.],[.,.]],.] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => ([(2,5),(3,5),(4,5)],6) => ([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 12
[[[.,[.,[.,[.,.]]]],.],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 15
[[[.,[.,[[.,.],.]]],.],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 15
[[[.,[[.,.],[.,.]]],.],.] => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6) => ([(4,5)],6) => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 14
[[[.,[[.,[.,.]],.]],.],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 15
[[[.,[[[.,.],.],.]],.],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 15
[[[[.,.],[.,[.,.]]],.],.] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => ([(3,5),(4,5)],6) => ([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 13
[[[[.,.],[[.,.],.]],.],.] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => ([(3,5),(4,5)],6) => ([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 13
[[[[.,[.,.]],[.,.]],.],.] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => ([(3,5),(4,5)],6) => ([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 13
[[[[[.,.],.],[.,.]],.],.] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => ([(3,5),(4,5)],6) => ([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 13
[[[[.,[.,[.,.]]],.],.],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 15
[[[[.,[[.,.],.]],.],.],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 15
[[[[[.,.],[.,.]],.],.],.] => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6) => ([(4,5)],6) => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 14
[[[[[.,[.,.]],.],.],.],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 15
[[[[[[.,.],.],.],.],.],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 15
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
click to show known generating functions       
Description
The number of pairs of vertices of a graph with distance 2.
This is the coefficient of the quadratic term of the Wiener polynomial.
Map
cone
Description
The cone of a graph.
The cone of a graph is obtained by joining a new vertex to all the vertices of the graph. The added vertex is called a universal vertex or a dominating vertex.
Map
to poset
Description
Return the poset obtained by interpreting the tree as a Hasse diagram.
Map
incomparability graph
Description
The incomparability graph of a poset.