edit this statistic or download as text // json
Identifier
Values
[.,.] => 0
[.,[.,.]] => 0
[[.,.],.] => 1
[.,[.,[.,.]]] => 0
[.,[[.,.],.]] => 0
[[.,.],[.,.]] => 1
[[.,[.,.]],.] => 2
[[[.,.],.],.] => 2
[.,[.,[.,[.,.]]]] => 0
[.,[.,[[.,.],.]]] => 0
[.,[[.,.],[.,.]]] => 0
[.,[[.,[.,.]],.]] => 0
[.,[[[.,.],.],.]] => 0
[[.,.],[.,[.,.]]] => 1
[[.,.],[[.,.],.]] => 1
[[.,[.,.]],[.,.]] => 2
[[[.,.],.],[.,.]] => 2
[[.,[.,[.,.]]],.] => 3
[[.,[[.,.],.]],.] => 3
[[[.,.],[.,.]],.] => 3
[[[.,[.,.]],.],.] => 3
[[[[.,.],.],.],.] => 3
[.,[.,[.,[.,[.,.]]]]] => 0
[.,[.,[.,[[.,.],.]]]] => 0
[.,[.,[[.,.],[.,.]]]] => 0
[.,[.,[[.,[.,.]],.]]] => 0
[.,[.,[[[.,.],.],.]]] => 0
[.,[[.,.],[.,[.,.]]]] => 0
[.,[[.,.],[[.,.],.]]] => 0
[.,[[.,[.,.]],[.,.]]] => 0
[.,[[[.,.],.],[.,.]]] => 0
[.,[[.,[.,[.,.]]],.]] => 0
[.,[[.,[[.,.],.]],.]] => 0
[.,[[[.,.],[.,.]],.]] => 0
[.,[[[.,[.,.]],.],.]] => 0
[.,[[[[.,.],.],.],.]] => 0
[[.,.],[.,[.,[.,.]]]] => 1
[[.,.],[.,[[.,.],.]]] => 1
[[.,.],[[.,.],[.,.]]] => 1
[[.,.],[[.,[.,.]],.]] => 1
[[.,.],[[[.,.],.],.]] => 1
[[.,[.,.]],[.,[.,.]]] => 2
[[.,[.,.]],[[.,.],.]] => 2
[[[.,.],.],[.,[.,.]]] => 2
[[[.,.],.],[[.,.],.]] => 2
[[.,[.,[.,.]]],[.,.]] => 3
[[.,[[.,.],.]],[.,.]] => 3
[[[.,.],[.,.]],[.,.]] => 3
[[[.,[.,.]],.],[.,.]] => 3
[[[[.,.],.],.],[.,.]] => 3
[[.,[.,[.,[.,.]]]],.] => 4
[[.,[.,[[.,.],.]]],.] => 4
[[.,[[.,.],[.,.]]],.] => 4
[[.,[[.,[.,.]],.]],.] => 4
[[.,[[[.,.],.],.]],.] => 4
[[[.,.],[.,[.,.]]],.] => 4
[[[.,.],[[.,.],.]],.] => 4
[[[.,[.,.]],[.,.]],.] => 4
[[[[.,.],.],[.,.]],.] => 4
[[[.,[.,[.,.]]],.],.] => 4
[[[.,[[.,.],.]],.],.] => 4
[[[[.,.],[.,.]],.],.] => 4
[[[[.,[.,.]],.],.],.] => 4
[[[[[.,.],.],.],.],.] => 4
[.,[.,[.,[.,[.,[.,.]]]]]] => 0
[.,[.,[.,[.,[[.,.],.]]]]] => 0
[.,[.,[.,[[.,.],[.,.]]]]] => 0
[.,[.,[.,[[.,[.,.]],.]]]] => 0
[.,[.,[.,[[[.,.],.],.]]]] => 0
[.,[.,[[.,.],[.,[.,.]]]]] => 0
[.,[.,[[.,.],[[.,.],.]]]] => 0
[.,[.,[[.,[.,.]],[.,.]]]] => 0
[.,[.,[[[.,.],.],[.,.]]]] => 0
[.,[.,[[.,[.,[.,.]]],.]]] => 0
[.,[.,[[.,[[.,.],.]],.]]] => 0
[.,[.,[[[.,.],[.,.]],.]]] => 0
[.,[.,[[[.,[.,.]],.],.]]] => 0
[.,[.,[[[[.,.],.],.],.]]] => 0
[.,[[.,.],[.,[.,[.,.]]]]] => 0
[.,[[.,.],[.,[[.,.],.]]]] => 0
[.,[[.,.],[[.,.],[.,.]]]] => 0
[.,[[.,.],[[.,[.,.]],.]]] => 0
[.,[[.,.],[[[.,.],.],.]]] => 0
[.,[[.,[.,.]],[.,[.,.]]]] => 0
[.,[[.,[.,.]],[[.,.],.]]] => 0
[.,[[[.,.],.],[.,[.,.]]]] => 0
[.,[[[.,.],.],[[.,.],.]]] => 0
[.,[[.,[.,[.,.]]],[.,.]]] => 0
[.,[[.,[[.,.],.]],[.,.]]] => 0
[.,[[[.,.],[.,.]],[.,.]]] => 0
[.,[[[.,[.,.]],.],[.,.]]] => 0
[.,[[[[.,.],.],.],[.,.]]] => 0
[.,[[.,[.,[.,[.,.]]]],.]] => 0
[.,[[.,[.,[[.,.],.]]],.]] => 0
[.,[[.,[[.,.],[.,.]]],.]] => 0
[.,[[.,[[.,[.,.]],.]],.]] => 0
[.,[[.,[[[.,.],.],.]],.]] => 0
[.,[[[.,.],[.,[.,.]]],.]] => 0
[.,[[[.,.],[[.,.],.]],.]] => 0
[.,[[[.,[.,.]],[.,.]],.]] => 0
[.,[[[[.,.],.],[.,.]],.]] => 0
>>> Load all 196 entries. <<<
[.,[[[.,[.,[.,.]]],.],.]] => 0
[.,[[[.,[[.,.],.]],.],.]] => 0
[.,[[[[.,.],[.,.]],.],.]] => 0
[.,[[[[.,[.,.]],.],.],.]] => 0
[.,[[[[[.,.],.],.],.],.]] => 0
[[.,.],[.,[.,[.,[.,.]]]]] => 1
[[.,.],[.,[.,[[.,.],.]]]] => 1
[[.,.],[.,[[.,.],[.,.]]]] => 1
[[.,.],[.,[[.,[.,.]],.]]] => 1
[[.,.],[.,[[[.,.],.],.]]] => 1
[[.,.],[[.,.],[.,[.,.]]]] => 1
[[.,.],[[.,.],[[.,.],.]]] => 1
[[.,.],[[.,[.,.]],[.,.]]] => 1
[[.,.],[[[.,.],.],[.,.]]] => 1
[[.,.],[[.,[.,[.,.]]],.]] => 1
[[.,.],[[.,[[.,.],.]],.]] => 1
[[.,.],[[[.,.],[.,.]],.]] => 1
[[.,.],[[[.,[.,.]],.],.]] => 1
[[.,.],[[[[.,.],.],.],.]] => 1
[[.,[.,.]],[.,[.,[.,.]]]] => 2
[[.,[.,.]],[.,[[.,.],.]]] => 2
[[.,[.,.]],[[.,.],[.,.]]] => 2
[[.,[.,.]],[[.,[.,.]],.]] => 2
[[.,[.,.]],[[[.,.],.],.]] => 2
[[[.,.],.],[.,[.,[.,.]]]] => 2
[[[.,.],.],[.,[[.,.],.]]] => 2
[[[.,.],.],[[.,.],[.,.]]] => 2
[[[.,.],.],[[.,[.,.]],.]] => 2
[[[.,.],.],[[[.,.],.],.]] => 2
[[.,[.,[.,.]]],[.,[.,.]]] => 3
[[.,[.,[.,.]]],[[.,.],.]] => 3
[[.,[[.,.],.]],[.,[.,.]]] => 3
[[.,[[.,.],.]],[[.,.],.]] => 3
[[[.,.],[.,.]],[.,[.,.]]] => 3
[[[.,.],[.,.]],[[.,.],.]] => 3
[[[.,[.,.]],.],[.,[.,.]]] => 3
[[[.,[.,.]],.],[[.,.],.]] => 3
[[[[.,.],.],.],[.,[.,.]]] => 3
[[[[.,.],.],.],[[.,.],.]] => 3
[[.,[.,[.,[.,.]]]],[.,.]] => 4
[[.,[.,[[.,.],.]]],[.,.]] => 4
[[.,[[.,.],[.,.]]],[.,.]] => 4
[[.,[[.,[.,.]],.]],[.,.]] => 4
[[.,[[[.,.],.],.]],[.,.]] => 4
[[[.,.],[.,[.,.]]],[.,.]] => 4
[[[.,.],[[.,.],.]],[.,.]] => 4
[[[.,[.,.]],[.,.]],[.,.]] => 4
[[[[.,.],.],[.,.]],[.,.]] => 4
[[[.,[.,[.,.]]],.],[.,.]] => 4
[[[.,[[.,.],.]],.],[.,.]] => 4
[[[[.,.],[.,.]],.],[.,.]] => 4
[[[[.,[.,.]],.],.],[.,.]] => 4
[[[[[.,.],.],.],.],[.,.]] => 4
[[.,[.,[.,[.,[.,.]]]]],.] => 5
[[.,[.,[.,[[.,.],.]]]],.] => 5
[[.,[.,[[.,.],[.,.]]]],.] => 5
[[.,[.,[[.,[.,.]],.]]],.] => 5
[[.,[.,[[[.,.],.],.]]],.] => 5
[[.,[[.,.],[.,[.,.]]]],.] => 5
[[.,[[.,.],[[.,.],.]]],.] => 5
[[.,[[.,[.,.]],[.,.]]],.] => 5
[[.,[[[.,.],.],[.,.]]],.] => 5
[[.,[[.,[.,[.,.]]],.]],.] => 5
[[.,[[.,[[.,.],.]],.]],.] => 5
[[.,[[[.,.],[.,.]],.]],.] => 5
[[.,[[[.,[.,.]],.],.]],.] => 5
[[.,[[[[.,.],.],.],.]],.] => 5
[[[.,.],[.,[.,[.,.]]]],.] => 5
[[[.,.],[.,[[.,.],.]]],.] => 5
[[[.,.],[[.,.],[.,.]]],.] => 5
[[[.,.],[[.,[.,.]],.]],.] => 5
[[[.,.],[[[.,.],.],.]],.] => 5
[[[.,[.,.]],[.,[.,.]]],.] => 5
[[[.,[.,.]],[[.,.],.]],.] => 5
[[[[.,.],.],[.,[.,.]]],.] => 5
[[[[.,.],.],[[.,.],.]],.] => 5
[[[.,[.,[.,.]]],[.,.]],.] => 5
[[[.,[[.,.],.]],[.,.]],.] => 5
[[[[.,.],[.,.]],[.,.]],.] => 5
[[[[.,[.,.]],.],[.,.]],.] => 5
[[[[[.,.],.],.],[.,.]],.] => 5
[[[.,[.,[.,[.,.]]]],.],.] => 5
[[[.,[.,[[.,.],.]]],.],.] => 5
[[[.,[[.,.],[.,.]]],.],.] => 5
[[[.,[[.,[.,.]],.]],.],.] => 5
[[[.,[[[.,.],.],.]],.],.] => 5
[[[[.,.],[.,[.,.]]],.],.] => 5
[[[[.,.],[[.,.],.]],.],.] => 5
[[[[.,[.,.]],[.,.]],.],.] => 5
[[[[[.,.],.],[.,.]],.],.] => 5
[[[[.,[.,[.,.]]],.],.],.] => 5
[[[[.,[[.,.],.]],.],.],.] => 5
[[[[[.,.],[.,.]],.],.],.] => 5
[[[[[.,[.,.]],.],.],.],.] => 5
[[[[[[.,.],.],.],.],.],.] => 5
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 size of the left subtree of a binary tree.
Code
def statistic(T):
    return T[0].node_number()
Created
Mar 25, 2013 at 11:24 by Viviane Pons
Updated
Oct 17, 2015 at 10:47 by Christian Stump