edit this statistic or download as text // json
Identifier
  • St000418: Dyck paths ⟶ ℤ (values match St000421The number of Dyck paths that are weakly below a Dyck path, except for the path itself.)
Values
[1,0,1,0] => 1
[1,1,0,0] => 2
[1,0,1,0,1,0] => 1
[1,0,1,1,0,0] => 2
[1,1,0,0,1,0] => 2
[1,1,0,1,0,0] => 4
[1,1,1,0,0,0] => 5
[1,0,1,0,1,0,1,0] => 1
[1,0,1,0,1,1,0,0] => 2
[1,0,1,1,0,0,1,0] => 2
[1,0,1,1,0,1,0,0] => 4
[1,0,1,1,1,0,0,0] => 5
[1,1,0,0,1,0,1,0] => 2
[1,1,0,0,1,1,0,0] => 4
[1,1,0,1,0,0,1,0] => 4
[1,1,0,1,0,1,0,0] => 8
[1,1,0,1,1,0,0,0] => 10
[1,1,1,0,0,0,1,0] => 5
[1,1,1,0,0,1,0,0] => 10
[1,1,1,0,1,0,0,0] => 13
[1,1,1,1,0,0,0,0] => 14
[1,0,1,0,1,0,1,0,1,0] => 1
[1,0,1,0,1,0,1,1,0,0] => 2
[1,0,1,0,1,1,0,0,1,0] => 2
[1,0,1,0,1,1,0,1,0,0] => 4
[1,0,1,0,1,1,1,0,0,0] => 5
[1,0,1,1,0,0,1,0,1,0] => 2
[1,0,1,1,0,0,1,1,0,0] => 4
[1,0,1,1,0,1,0,0,1,0] => 4
[1,0,1,1,0,1,0,1,0,0] => 8
[1,0,1,1,0,1,1,0,0,0] => 10
[1,0,1,1,1,0,0,0,1,0] => 5
[1,0,1,1,1,0,0,1,0,0] => 10
[1,0,1,1,1,0,1,0,0,0] => 13
[1,0,1,1,1,1,0,0,0,0] => 14
[1,1,0,0,1,0,1,0,1,0] => 2
[1,1,0,0,1,0,1,1,0,0] => 4
[1,1,0,0,1,1,0,0,1,0] => 4
[1,1,0,0,1,1,0,1,0,0] => 8
[1,1,0,0,1,1,1,0,0,0] => 10
[1,1,0,1,0,0,1,0,1,0] => 4
[1,1,0,1,0,0,1,1,0,0] => 8
[1,1,0,1,0,1,0,0,1,0] => 8
[1,1,0,1,0,1,0,1,0,0] => 16
[1,1,0,1,0,1,1,0,0,0] => 20
[1,1,0,1,1,0,0,0,1,0] => 10
[1,1,0,1,1,0,0,1,0,0] => 20
[1,1,0,1,1,0,1,0,0,0] => 26
[1,1,0,1,1,1,0,0,0,0] => 28
[1,1,1,0,0,0,1,0,1,0] => 5
[1,1,1,0,0,0,1,1,0,0] => 10
[1,1,1,0,0,1,0,0,1,0] => 10
[1,1,1,0,0,1,0,1,0,0] => 20
[1,1,1,0,0,1,1,0,0,0] => 25
[1,1,1,0,1,0,0,0,1,0] => 13
[1,1,1,0,1,0,0,1,0,0] => 26
[1,1,1,0,1,0,1,0,0,0] => 34
[1,1,1,0,1,1,0,0,0,0] => 37
[1,1,1,1,0,0,0,0,1,0] => 14
[1,1,1,1,0,0,0,1,0,0] => 28
[1,1,1,1,0,0,1,0,0,0] => 37
[1,1,1,1,0,1,0,0,0,0] => 41
[1,1,1,1,1,0,0,0,0,0] => 42
[1,0,1,0,1,0,1,0,1,0,1,0] => 1
[1,0,1,0,1,0,1,0,1,1,0,0] => 2
[1,0,1,0,1,0,1,1,0,0,1,0] => 2
[1,0,1,0,1,0,1,1,0,1,0,0] => 4
[1,0,1,0,1,0,1,1,1,0,0,0] => 5
[1,0,1,0,1,1,0,0,1,0,1,0] => 2
[1,0,1,0,1,1,0,0,1,1,0,0] => 4
[1,0,1,0,1,1,0,1,0,0,1,0] => 4
[1,0,1,0,1,1,0,1,0,1,0,0] => 8
[1,0,1,0,1,1,0,1,1,0,0,0] => 10
[1,0,1,0,1,1,1,0,0,0,1,0] => 5
[1,0,1,0,1,1,1,0,0,1,0,0] => 10
[1,0,1,0,1,1,1,0,1,0,0,0] => 13
[1,0,1,0,1,1,1,1,0,0,0,0] => 14
[1,0,1,1,0,0,1,0,1,0,1,0] => 2
[1,0,1,1,0,0,1,0,1,1,0,0] => 4
[1,0,1,1,0,0,1,1,0,0,1,0] => 4
[1,0,1,1,0,0,1,1,0,1,0,0] => 8
[1,0,1,1,0,0,1,1,1,0,0,0] => 10
[1,0,1,1,0,1,0,0,1,0,1,0] => 4
[1,0,1,1,0,1,0,0,1,1,0,0] => 8
[1,0,1,1,0,1,0,1,0,0,1,0] => 8
[1,0,1,1,0,1,0,1,0,1,0,0] => 16
[1,0,1,1,0,1,0,1,1,0,0,0] => 20
[1,0,1,1,0,1,1,0,0,0,1,0] => 10
[1,0,1,1,0,1,1,0,0,1,0,0] => 20
[1,0,1,1,0,1,1,0,1,0,0,0] => 26
[1,0,1,1,0,1,1,1,0,0,0,0] => 28
[1,0,1,1,1,0,0,0,1,0,1,0] => 5
[1,0,1,1,1,0,0,0,1,1,0,0] => 10
[1,0,1,1,1,0,0,1,0,0,1,0] => 10
[1,0,1,1,1,0,0,1,0,1,0,0] => 20
[1,0,1,1,1,0,0,1,1,0,0,0] => 25
[1,0,1,1,1,0,1,0,0,0,1,0] => 13
[1,0,1,1,1,0,1,0,0,1,0,0] => 26
[1,0,1,1,1,0,1,0,1,0,0,0] => 34
[1,0,1,1,1,0,1,1,0,0,0,0] => 37
[1,0,1,1,1,1,0,0,0,0,1,0] => 14
>>> Load all 1200 entries. <<<
[1,0,1,1,1,1,0,0,0,1,0,0] => 28
[1,0,1,1,1,1,0,0,1,0,0,0] => 37
[1,0,1,1,1,1,0,1,0,0,0,0] => 41
[1,0,1,1,1,1,1,0,0,0,0,0] => 42
[1,1,0,0,1,0,1,0,1,0,1,0] => 2
[1,1,0,0,1,0,1,0,1,1,0,0] => 4
[1,1,0,0,1,0,1,1,0,0,1,0] => 4
[1,1,0,0,1,0,1,1,0,1,0,0] => 8
[1,1,0,0,1,0,1,1,1,0,0,0] => 10
[1,1,0,0,1,1,0,0,1,0,1,0] => 4
[1,1,0,0,1,1,0,0,1,1,0,0] => 8
[1,1,0,0,1,1,0,1,0,0,1,0] => 8
[1,1,0,0,1,1,0,1,0,1,0,0] => 16
[1,1,0,0,1,1,0,1,1,0,0,0] => 20
[1,1,0,0,1,1,1,0,0,0,1,0] => 10
[1,1,0,0,1,1,1,0,0,1,0,0] => 20
[1,1,0,0,1,1,1,0,1,0,0,0] => 26
[1,1,0,0,1,1,1,1,0,0,0,0] => 28
[1,1,0,1,0,0,1,0,1,0,1,0] => 4
[1,1,0,1,0,0,1,0,1,1,0,0] => 8
[1,1,0,1,0,0,1,1,0,0,1,0] => 8
[1,1,0,1,0,0,1,1,0,1,0,0] => 16
[1,1,0,1,0,0,1,1,1,0,0,0] => 20
[1,1,0,1,0,1,0,0,1,0,1,0] => 8
[1,1,0,1,0,1,0,0,1,1,0,0] => 16
[1,1,0,1,0,1,0,1,0,0,1,0] => 16
[1,1,0,1,0,1,0,1,0,1,0,0] => 32
[1,1,0,1,0,1,0,1,1,0,0,0] => 40
[1,1,0,1,0,1,1,0,0,0,1,0] => 20
[1,1,0,1,0,1,1,0,0,1,0,0] => 40
[1,1,0,1,0,1,1,0,1,0,0,0] => 52
[1,1,0,1,0,1,1,1,0,0,0,0] => 56
[1,1,0,1,1,0,0,0,1,0,1,0] => 10
[1,1,0,1,1,0,0,0,1,1,0,0] => 20
[1,1,0,1,1,0,0,1,0,0,1,0] => 20
[1,1,0,1,1,0,0,1,0,1,0,0] => 40
[1,1,0,1,1,0,0,1,1,0,0,0] => 50
[1,1,0,1,1,0,1,0,0,0,1,0] => 26
[1,1,0,1,1,0,1,0,0,1,0,0] => 52
[1,1,0,1,1,0,1,0,1,0,0,0] => 68
[1,1,0,1,1,0,1,1,0,0,0,0] => 74
[1,1,0,1,1,1,0,0,0,0,1,0] => 28
[1,1,0,1,1,1,0,0,0,1,0,0] => 56
[1,1,0,1,1,1,0,0,1,0,0,0] => 74
[1,1,0,1,1,1,0,1,0,0,0,0] => 82
[1,1,0,1,1,1,1,0,0,0,0,0] => 84
[1,1,1,0,0,0,1,0,1,0,1,0] => 5
[1,1,1,0,0,0,1,0,1,1,0,0] => 10
[1,1,1,0,0,0,1,1,0,0,1,0] => 10
[1,1,1,0,0,0,1,1,0,1,0,0] => 20
[1,1,1,0,0,0,1,1,1,0,0,0] => 25
[1,1,1,0,0,1,0,0,1,0,1,0] => 10
[1,1,1,0,0,1,0,0,1,1,0,0] => 20
[1,1,1,0,0,1,0,1,0,0,1,0] => 20
[1,1,1,0,0,1,0,1,0,1,0,0] => 40
[1,1,1,0,0,1,0,1,1,0,0,0] => 50
[1,1,1,0,0,1,1,0,0,0,1,0] => 25
[1,1,1,0,0,1,1,0,0,1,0,0] => 50
[1,1,1,0,0,1,1,0,1,0,0,0] => 65
[1,1,1,0,0,1,1,1,0,0,0,0] => 70
[1,1,1,0,1,0,0,0,1,0,1,0] => 13
[1,1,1,0,1,0,0,0,1,1,0,0] => 26
[1,1,1,0,1,0,0,1,0,0,1,0] => 26
[1,1,1,0,1,0,0,1,0,1,0,0] => 52
[1,1,1,0,1,0,0,1,1,0,0,0] => 65
[1,1,1,0,1,0,1,0,0,0,1,0] => 34
[1,1,1,0,1,0,1,0,0,1,0,0] => 68
[1,1,1,0,1,0,1,0,1,0,0,0] => 89
[1,1,1,0,1,0,1,1,0,0,0,0] => 97
[1,1,1,0,1,1,0,0,0,0,1,0] => 37
[1,1,1,0,1,1,0,0,0,1,0,0] => 74
[1,1,1,0,1,1,0,0,1,0,0,0] => 98
[1,1,1,0,1,1,0,1,0,0,0,0] => 109
[1,1,1,0,1,1,1,0,0,0,0,0] => 112
[1,1,1,1,0,0,0,0,1,0,1,0] => 14
[1,1,1,1,0,0,0,0,1,1,0,0] => 28
[1,1,1,1,0,0,0,1,0,0,1,0] => 28
[1,1,1,1,0,0,0,1,0,1,0,0] => 56
[1,1,1,1,0,0,0,1,1,0,0,0] => 70
[1,1,1,1,0,0,1,0,0,0,1,0] => 37
[1,1,1,1,0,0,1,0,0,1,0,0] => 74
[1,1,1,1,0,0,1,0,1,0,0,0] => 97
[1,1,1,1,0,0,1,1,0,0,0,0] => 106
[1,1,1,1,0,1,0,0,0,0,1,0] => 41
[1,1,1,1,0,1,0,0,0,1,0,0] => 82
[1,1,1,1,0,1,0,0,1,0,0,0] => 109
[1,1,1,1,0,1,0,1,0,0,0,0] => 122
[1,1,1,1,0,1,1,0,0,0,0,0] => 126
[1,1,1,1,1,0,0,0,0,0,1,0] => 42
[1,1,1,1,1,0,0,0,0,1,0,0] => 84
[1,1,1,1,1,0,0,0,1,0,0,0] => 112
[1,1,1,1,1,0,0,1,0,0,0,0] => 126
[1,1,1,1,1,0,1,0,0,0,0,0] => 131
[1,1,1,1,1,1,0,0,0,0,0,0] => 132
[1,0,1,0,1,0,1,0,1,0,1,0,1,0] => 1
[1,0,1,0,1,0,1,0,1,0,1,1,0,0] => 2
[1,0,1,0,1,0,1,0,1,1,0,0,1,0] => 2
[1,0,1,0,1,0,1,0,1,1,0,1,0,0] => 4
[1,0,1,0,1,0,1,0,1,1,1,0,0,0] => 5
[1,0,1,0,1,0,1,1,0,0,1,0,1,0] => 2
[1,0,1,0,1,0,1,1,0,0,1,1,0,0] => 4
[1,0,1,0,1,0,1,1,0,1,0,0,1,0] => 4
[1,0,1,0,1,0,1,1,0,1,0,1,0,0] => 8
[1,0,1,0,1,0,1,1,0,1,1,0,0,0] => 10
[1,0,1,0,1,0,1,1,1,0,0,0,1,0] => 5
[1,0,1,0,1,0,1,1,1,0,0,1,0,0] => 10
[1,0,1,0,1,0,1,1,1,0,1,0,0,0] => 13
[1,0,1,0,1,0,1,1,1,1,0,0,0,0] => 14
[1,0,1,0,1,1,0,0,1,0,1,0,1,0] => 2
[1,0,1,0,1,1,0,0,1,0,1,1,0,0] => 4
[1,0,1,0,1,1,0,0,1,1,0,0,1,0] => 4
[1,0,1,0,1,1,0,0,1,1,0,1,0,0] => 8
[1,0,1,0,1,1,0,0,1,1,1,0,0,0] => 10
[1,0,1,0,1,1,0,1,0,0,1,0,1,0] => 4
[1,0,1,0,1,1,0,1,0,0,1,1,0,0] => 8
[1,0,1,0,1,1,0,1,0,1,0,0,1,0] => 8
[1,0,1,0,1,1,0,1,0,1,0,1,0,0] => 16
[1,0,1,0,1,1,0,1,0,1,1,0,0,0] => 20
[1,0,1,0,1,1,0,1,1,0,0,0,1,0] => 10
[1,0,1,0,1,1,0,1,1,0,0,1,0,0] => 20
[1,0,1,0,1,1,0,1,1,0,1,0,0,0] => 26
[1,0,1,0,1,1,0,1,1,1,0,0,0,0] => 28
[1,0,1,0,1,1,1,0,0,0,1,0,1,0] => 5
[1,0,1,0,1,1,1,0,0,0,1,1,0,0] => 10
[1,0,1,0,1,1,1,0,0,1,0,0,1,0] => 10
[1,0,1,0,1,1,1,0,0,1,0,1,0,0] => 20
[1,0,1,0,1,1,1,0,0,1,1,0,0,0] => 25
[1,0,1,0,1,1,1,0,1,0,0,0,1,0] => 13
[1,0,1,0,1,1,1,0,1,0,0,1,0,0] => 26
[1,0,1,0,1,1,1,0,1,0,1,0,0,0] => 34
[1,0,1,0,1,1,1,0,1,1,0,0,0,0] => 37
[1,0,1,0,1,1,1,1,0,0,0,0,1,0] => 14
[1,0,1,0,1,1,1,1,0,0,0,1,0,0] => 28
[1,0,1,0,1,1,1,1,0,0,1,0,0,0] => 37
[1,0,1,0,1,1,1,1,0,1,0,0,0,0] => 41
[1,0,1,0,1,1,1,1,1,0,0,0,0,0] => 42
[1,0,1,1,0,0,1,0,1,0,1,0,1,0] => 2
[1,0,1,1,0,0,1,0,1,0,1,1,0,0] => 4
[1,0,1,1,0,0,1,0,1,1,0,0,1,0] => 4
[1,0,1,1,0,0,1,0,1,1,0,1,0,0] => 8
[1,0,1,1,0,0,1,0,1,1,1,0,0,0] => 10
[1,0,1,1,0,0,1,1,0,0,1,0,1,0] => 4
[1,0,1,1,0,0,1,1,0,0,1,1,0,0] => 8
[1,0,1,1,0,0,1,1,0,1,0,0,1,0] => 8
[1,0,1,1,0,0,1,1,0,1,0,1,0,0] => 16
[1,0,1,1,0,0,1,1,0,1,1,0,0,0] => 20
[1,0,1,1,0,0,1,1,1,0,0,0,1,0] => 10
[1,0,1,1,0,0,1,1,1,0,0,1,0,0] => 20
[1,0,1,1,0,0,1,1,1,0,1,0,0,0] => 26
[1,0,1,1,0,0,1,1,1,1,0,0,0,0] => 28
[1,0,1,1,0,1,0,0,1,0,1,0,1,0] => 4
[1,0,1,1,0,1,0,0,1,0,1,1,0,0] => 8
[1,0,1,1,0,1,0,0,1,1,0,0,1,0] => 8
[1,0,1,1,0,1,0,0,1,1,0,1,0,0] => 16
[1,0,1,1,0,1,0,0,1,1,1,0,0,0] => 20
[1,0,1,1,0,1,0,1,0,0,1,0,1,0] => 8
[1,0,1,1,0,1,0,1,0,0,1,1,0,0] => 16
[1,0,1,1,0,1,0,1,0,1,0,0,1,0] => 16
[1,0,1,1,0,1,0,1,0,1,0,1,0,0] => 32
[1,0,1,1,0,1,0,1,0,1,1,0,0,0] => 40
[1,0,1,1,0,1,0,1,1,0,0,0,1,0] => 20
[1,0,1,1,0,1,0,1,1,0,0,1,0,0] => 40
[1,0,1,1,0,1,0,1,1,0,1,0,0,0] => 52
[1,0,1,1,0,1,0,1,1,1,0,0,0,0] => 56
[1,0,1,1,0,1,1,0,0,0,1,0,1,0] => 10
[1,0,1,1,0,1,1,0,0,0,1,1,0,0] => 20
[1,0,1,1,0,1,1,0,0,1,0,0,1,0] => 20
[1,0,1,1,0,1,1,0,0,1,0,1,0,0] => 40
[1,0,1,1,0,1,1,0,0,1,1,0,0,0] => 50
[1,0,1,1,0,1,1,0,1,0,0,0,1,0] => 26
[1,0,1,1,0,1,1,0,1,0,0,1,0,0] => 52
[1,0,1,1,0,1,1,0,1,0,1,0,0,0] => 68
[1,0,1,1,0,1,1,0,1,1,0,0,0,0] => 74
[1,0,1,1,0,1,1,1,0,0,0,0,1,0] => 28
[1,0,1,1,0,1,1,1,0,0,0,1,0,0] => 56
[1,0,1,1,0,1,1,1,0,0,1,0,0,0] => 74
[1,0,1,1,0,1,1,1,0,1,0,0,0,0] => 82
[1,0,1,1,0,1,1,1,1,0,0,0,0,0] => 84
[1,0,1,1,1,0,0,0,1,0,1,0,1,0] => 5
[1,0,1,1,1,0,0,0,1,0,1,1,0,0] => 10
[1,0,1,1,1,0,0,0,1,1,0,0,1,0] => 10
[1,0,1,1,1,0,0,0,1,1,0,1,0,0] => 20
[1,0,1,1,1,0,0,0,1,1,1,0,0,0] => 25
[1,0,1,1,1,0,0,1,0,0,1,0,1,0] => 10
[1,0,1,1,1,0,0,1,0,0,1,1,0,0] => 20
[1,0,1,1,1,0,0,1,0,1,0,0,1,0] => 20
[1,0,1,1,1,0,0,1,0,1,0,1,0,0] => 40
[1,0,1,1,1,0,0,1,0,1,1,0,0,0] => 50
[1,0,1,1,1,0,0,1,1,0,0,0,1,0] => 25
[1,0,1,1,1,0,0,1,1,0,0,1,0,0] => 50
[1,0,1,1,1,0,0,1,1,0,1,0,0,0] => 65
[1,0,1,1,1,0,0,1,1,1,0,0,0,0] => 70
[1,0,1,1,1,0,1,0,0,0,1,0,1,0] => 13
[1,0,1,1,1,0,1,0,0,0,1,1,0,0] => 26
[1,0,1,1,1,0,1,0,0,1,0,0,1,0] => 26
[1,0,1,1,1,0,1,0,0,1,0,1,0,0] => 52
[1,0,1,1,1,0,1,0,0,1,1,0,0,0] => 65
[1,0,1,1,1,0,1,0,1,0,0,0,1,0] => 34
[1,0,1,1,1,0,1,0,1,0,0,1,0,0] => 68
[1,0,1,1,1,0,1,0,1,0,1,0,0,0] => 89
[1,0,1,1,1,0,1,0,1,1,0,0,0,0] => 97
[1,0,1,1,1,0,1,1,0,0,0,0,1,0] => 37
[1,0,1,1,1,0,1,1,0,0,0,1,0,0] => 74
[1,0,1,1,1,0,1,1,0,0,1,0,0,0] => 98
[1,0,1,1,1,0,1,1,0,1,0,0,0,0] => 109
[1,0,1,1,1,0,1,1,1,0,0,0,0,0] => 112
[1,0,1,1,1,1,0,0,0,0,1,0,1,0] => 14
[1,0,1,1,1,1,0,0,0,0,1,1,0,0] => 28
[1,0,1,1,1,1,0,0,0,1,0,0,1,0] => 28
[1,0,1,1,1,1,0,0,0,1,0,1,0,0] => 56
[1,0,1,1,1,1,0,0,0,1,1,0,0,0] => 70
[1,0,1,1,1,1,0,0,1,0,0,0,1,0] => 37
[1,0,1,1,1,1,0,0,1,0,0,1,0,0] => 74
[1,0,1,1,1,1,0,0,1,0,1,0,0,0] => 97
[1,0,1,1,1,1,0,0,1,1,0,0,0,0] => 106
[1,0,1,1,1,1,0,1,0,0,0,0,1,0] => 41
[1,0,1,1,1,1,0,1,0,0,0,1,0,0] => 82
[1,0,1,1,1,1,0,1,0,0,1,0,0,0] => 109
[1,0,1,1,1,1,0,1,0,1,0,0,0,0] => 122
[1,0,1,1,1,1,0,1,1,0,0,0,0,0] => 126
[1,0,1,1,1,1,1,0,0,0,0,0,1,0] => 42
[1,0,1,1,1,1,1,0,0,0,0,1,0,0] => 84
[1,0,1,1,1,1,1,0,0,0,1,0,0,0] => 112
[1,0,1,1,1,1,1,0,0,1,0,0,0,0] => 126
[1,0,1,1,1,1,1,0,1,0,0,0,0,0] => 131
[1,0,1,1,1,1,1,1,0,0,0,0,0,0] => 132
[1,1,0,0,1,0,1,0,1,0,1,0,1,0] => 2
[1,1,0,0,1,0,1,0,1,0,1,1,0,0] => 4
[1,1,0,0,1,0,1,0,1,1,0,0,1,0] => 4
[1,1,0,0,1,0,1,0,1,1,0,1,0,0] => 8
[1,1,0,0,1,0,1,0,1,1,1,0,0,0] => 10
[1,1,0,0,1,0,1,1,0,0,1,0,1,0] => 4
[1,1,0,0,1,0,1,1,0,0,1,1,0,0] => 8
[1,1,0,0,1,0,1,1,0,1,0,0,1,0] => 8
[1,1,0,0,1,0,1,1,0,1,0,1,0,0] => 16
[1,1,0,0,1,0,1,1,0,1,1,0,0,0] => 20
[1,1,0,0,1,0,1,1,1,0,0,0,1,0] => 10
[1,1,0,0,1,0,1,1,1,0,0,1,0,0] => 20
[1,1,0,0,1,0,1,1,1,0,1,0,0,0] => 26
[1,1,0,0,1,0,1,1,1,1,0,0,0,0] => 28
[1,1,0,0,1,1,0,0,1,0,1,0,1,0] => 4
[1,1,0,0,1,1,0,0,1,0,1,1,0,0] => 8
[1,1,0,0,1,1,0,0,1,1,0,0,1,0] => 8
[1,1,0,0,1,1,0,0,1,1,0,1,0,0] => 16
[1,1,0,0,1,1,0,0,1,1,1,0,0,0] => 20
[1,1,0,0,1,1,0,1,0,0,1,0,1,0] => 8
[1,1,0,0,1,1,0,1,0,0,1,1,0,0] => 16
[1,1,0,0,1,1,0,1,0,1,0,0,1,0] => 16
[1,1,0,0,1,1,0,1,0,1,0,1,0,0] => 32
[1,1,0,0,1,1,0,1,0,1,1,0,0,0] => 40
[1,1,0,0,1,1,0,1,1,0,0,0,1,0] => 20
[1,1,0,0,1,1,0,1,1,0,0,1,0,0] => 40
[1,1,0,0,1,1,0,1,1,0,1,0,0,0] => 52
[1,1,0,0,1,1,0,1,1,1,0,0,0,0] => 56
[1,1,0,0,1,1,1,0,0,0,1,0,1,0] => 10
[1,1,0,0,1,1,1,0,0,0,1,1,0,0] => 20
[1,1,0,0,1,1,1,0,0,1,0,0,1,0] => 20
[1,1,0,0,1,1,1,0,0,1,0,1,0,0] => 40
[1,1,0,0,1,1,1,0,0,1,1,0,0,0] => 50
[1,1,0,0,1,1,1,0,1,0,0,0,1,0] => 26
[1,1,0,0,1,1,1,0,1,0,0,1,0,0] => 52
[1,1,0,0,1,1,1,0,1,0,1,0,0,0] => 68
[1,1,0,0,1,1,1,0,1,1,0,0,0,0] => 74
[1,1,0,0,1,1,1,1,0,0,0,0,1,0] => 28
[1,1,0,0,1,1,1,1,0,0,0,1,0,0] => 56
[1,1,0,0,1,1,1,1,0,0,1,0,0,0] => 74
[1,1,0,0,1,1,1,1,0,1,0,0,0,0] => 82
[1,1,0,0,1,1,1,1,1,0,0,0,0,0] => 84
[1,1,0,1,0,0,1,0,1,0,1,0,1,0] => 4
[1,1,0,1,0,0,1,0,1,0,1,1,0,0] => 8
[1,1,0,1,0,0,1,0,1,1,0,0,1,0] => 8
[1,1,0,1,0,0,1,0,1,1,0,1,0,0] => 16
[1,1,0,1,0,0,1,0,1,1,1,0,0,0] => 20
[1,1,0,1,0,0,1,1,0,0,1,0,1,0] => 8
[1,1,0,1,0,0,1,1,0,0,1,1,0,0] => 16
[1,1,0,1,0,0,1,1,0,1,0,0,1,0] => 16
[1,1,0,1,0,0,1,1,0,1,0,1,0,0] => 32
[1,1,0,1,0,0,1,1,0,1,1,0,0,0] => 40
[1,1,0,1,0,0,1,1,1,0,0,0,1,0] => 20
[1,1,0,1,0,0,1,1,1,0,0,1,0,0] => 40
[1,1,0,1,0,0,1,1,1,0,1,0,0,0] => 52
[1,1,0,1,0,0,1,1,1,1,0,0,0,0] => 56
[1,1,0,1,0,1,0,0,1,0,1,0,1,0] => 8
[1,1,0,1,0,1,0,0,1,0,1,1,0,0] => 16
[1,1,0,1,0,1,0,0,1,1,0,0,1,0] => 16
[1,1,0,1,0,1,0,0,1,1,0,1,0,0] => 32
[1,1,0,1,0,1,0,0,1,1,1,0,0,0] => 40
[1,1,0,1,0,1,0,1,0,0,1,0,1,0] => 16
[1,1,0,1,0,1,0,1,0,0,1,1,0,0] => 32
[1,1,0,1,0,1,0,1,0,1,0,0,1,0] => 32
[1,1,0,1,0,1,0,1,0,1,0,1,0,0] => 64
[1,1,0,1,0,1,0,1,0,1,1,0,0,0] => 80
[1,1,0,1,0,1,0,1,1,0,0,0,1,0] => 40
[1,1,0,1,0,1,0,1,1,0,0,1,0,0] => 80
[1,1,0,1,0,1,0,1,1,0,1,0,0,0] => 104
[1,1,0,1,0,1,0,1,1,1,0,0,0,0] => 112
[1,1,0,1,0,1,1,0,0,0,1,0,1,0] => 20
[1,1,0,1,0,1,1,0,0,0,1,1,0,0] => 40
[1,1,0,1,0,1,1,0,0,1,0,0,1,0] => 40
[1,1,0,1,0,1,1,0,0,1,0,1,0,0] => 80
[1,1,0,1,0,1,1,0,0,1,1,0,0,0] => 100
[1,1,0,1,0,1,1,0,1,0,0,0,1,0] => 52
[1,1,0,1,0,1,1,0,1,0,0,1,0,0] => 104
[1,1,0,1,0,1,1,0,1,0,1,0,0,0] => 136
[1,1,0,1,0,1,1,0,1,1,0,0,0,0] => 148
[1,1,0,1,0,1,1,1,0,0,0,0,1,0] => 56
[1,1,0,1,0,1,1,1,0,0,0,1,0,0] => 112
[1,1,0,1,0,1,1,1,0,0,1,0,0,0] => 148
[1,1,0,1,0,1,1,1,0,1,0,0,0,0] => 164
[1,1,0,1,0,1,1,1,1,0,0,0,0,0] => 168
[1,1,0,1,1,0,0,0,1,0,1,0,1,0] => 10
[1,1,0,1,1,0,0,0,1,0,1,1,0,0] => 20
[1,1,0,1,1,0,0,0,1,1,0,0,1,0] => 20
[1,1,0,1,1,0,0,0,1,1,0,1,0,0] => 40
[1,1,0,1,1,0,0,0,1,1,1,0,0,0] => 50
[1,1,0,1,1,0,0,1,0,0,1,0,1,0] => 20
[1,1,0,1,1,0,0,1,0,0,1,1,0,0] => 40
[1,1,0,1,1,0,0,1,0,1,0,0,1,0] => 40
[1,1,0,1,1,0,0,1,0,1,0,1,0,0] => 80
[1,1,0,1,1,0,0,1,0,1,1,0,0,0] => 100
[1,1,0,1,1,0,0,1,1,0,0,0,1,0] => 50
[1,1,0,1,1,0,0,1,1,0,0,1,0,0] => 100
[1,1,0,1,1,0,0,1,1,0,1,0,0,0] => 130
[1,1,0,1,1,0,0,1,1,1,0,0,0,0] => 140
[1,1,0,1,1,0,1,0,0,0,1,0,1,0] => 26
[1,1,0,1,1,0,1,0,0,0,1,1,0,0] => 52
[1,1,0,1,1,0,1,0,0,1,0,0,1,0] => 52
[1,1,0,1,1,0,1,0,0,1,0,1,0,0] => 104
[1,1,0,1,1,0,1,0,0,1,1,0,0,0] => 130
[1,1,0,1,1,0,1,0,1,0,0,0,1,0] => 68
[1,1,0,1,1,0,1,0,1,0,0,1,0,0] => 136
[1,1,0,1,1,0,1,0,1,0,1,0,0,0] => 178
[1,1,0,1,1,0,1,0,1,1,0,0,0,0] => 194
[1,1,0,1,1,0,1,1,0,0,0,0,1,0] => 74
[1,1,0,1,1,0,1,1,0,0,0,1,0,0] => 148
[1,1,0,1,1,0,1,1,0,0,1,0,0,0] => 196
[1,1,0,1,1,0,1,1,0,1,0,0,0,0] => 218
[1,1,0,1,1,0,1,1,1,0,0,0,0,0] => 224
[1,1,0,1,1,1,0,0,0,0,1,0,1,0] => 28
[1,1,0,1,1,1,0,0,0,0,1,1,0,0] => 56
[1,1,0,1,1,1,0,0,0,1,0,0,1,0] => 56
[1,1,0,1,1,1,0,0,0,1,0,1,0,0] => 112
[1,1,0,1,1,1,0,0,0,1,1,0,0,0] => 140
[1,1,0,1,1,1,0,0,1,0,0,0,1,0] => 74
[1,1,0,1,1,1,0,0,1,0,0,1,0,0] => 148
[1,1,0,1,1,1,0,0,1,0,1,0,0,0] => 194
[1,1,0,1,1,1,0,0,1,1,0,0,0,0] => 212
[1,1,0,1,1,1,0,1,0,0,0,0,1,0] => 82
[1,1,0,1,1,1,0,1,0,0,0,1,0,0] => 164
[1,1,0,1,1,1,0,1,0,0,1,0,0,0] => 218
[1,1,0,1,1,1,0,1,0,1,0,0,0,0] => 244
[1,1,0,1,1,1,0,1,1,0,0,0,0,0] => 252
[1,1,0,1,1,1,1,0,0,0,0,0,1,0] => 84
[1,1,0,1,1,1,1,0,0,0,0,1,0,0] => 168
[1,1,0,1,1,1,1,0,0,0,1,0,0,0] => 224
[1,1,0,1,1,1,1,0,0,1,0,0,0,0] => 252
[1,1,0,1,1,1,1,0,1,0,0,0,0,0] => 262
[1,1,0,1,1,1,1,1,0,0,0,0,0,0] => 264
[1,1,1,0,0,0,1,0,1,0,1,0,1,0] => 5
[1,1,1,0,0,0,1,0,1,0,1,1,0,0] => 10
[1,1,1,0,0,0,1,0,1,1,0,0,1,0] => 10
[1,1,1,0,0,0,1,0,1,1,0,1,0,0] => 20
[1,1,1,0,0,0,1,0,1,1,1,0,0,0] => 25
[1,1,1,0,0,0,1,1,0,0,1,0,1,0] => 10
[1,1,1,0,0,0,1,1,0,0,1,1,0,0] => 20
[1,1,1,0,0,0,1,1,0,1,0,0,1,0] => 20
[1,1,1,0,0,0,1,1,0,1,0,1,0,0] => 40
[1,1,1,0,0,0,1,1,0,1,1,0,0,0] => 50
[1,1,1,0,0,0,1,1,1,0,0,0,1,0] => 25
[1,1,1,0,0,0,1,1,1,0,0,1,0,0] => 50
[1,1,1,0,0,0,1,1,1,0,1,0,0,0] => 65
[1,1,1,0,0,0,1,1,1,1,0,0,0,0] => 70
[1,1,1,0,0,1,0,0,1,0,1,0,1,0] => 10
[1,1,1,0,0,1,0,0,1,0,1,1,0,0] => 20
[1,1,1,0,0,1,0,0,1,1,0,0,1,0] => 20
[1,1,1,0,0,1,0,0,1,1,0,1,0,0] => 40
[1,1,1,0,0,1,0,0,1,1,1,0,0,0] => 50
[1,1,1,0,0,1,0,1,0,0,1,0,1,0] => 20
[1,1,1,0,0,1,0,1,0,0,1,1,0,0] => 40
[1,1,1,0,0,1,0,1,0,1,0,0,1,0] => 40
[1,1,1,0,0,1,0,1,0,1,0,1,0,0] => 80
[1,1,1,0,0,1,0,1,0,1,1,0,0,0] => 100
[1,1,1,0,0,1,0,1,1,0,0,0,1,0] => 50
[1,1,1,0,0,1,0,1,1,0,0,1,0,0] => 100
[1,1,1,0,0,1,0,1,1,0,1,0,0,0] => 130
[1,1,1,0,0,1,0,1,1,1,0,0,0,0] => 140
[1,1,1,0,0,1,1,0,0,0,1,0,1,0] => 25
[1,1,1,0,0,1,1,0,0,0,1,1,0,0] => 50
[1,1,1,0,0,1,1,0,0,1,0,0,1,0] => 50
[1,1,1,0,0,1,1,0,0,1,0,1,0,0] => 100
[1,1,1,0,0,1,1,0,0,1,1,0,0,0] => 125
[1,1,1,0,0,1,1,0,1,0,0,0,1,0] => 65
[1,1,1,0,0,1,1,0,1,0,0,1,0,0] => 130
[1,1,1,0,0,1,1,0,1,0,1,0,0,0] => 170
[1,1,1,0,0,1,1,0,1,1,0,0,0,0] => 185
[1,1,1,0,0,1,1,1,0,0,0,0,1,0] => 70
[1,1,1,0,0,1,1,1,0,0,0,1,0,0] => 140
[1,1,1,0,0,1,1,1,0,0,1,0,0,0] => 185
[1,1,1,0,0,1,1,1,0,1,0,0,0,0] => 205
[1,1,1,0,0,1,1,1,1,0,0,0,0,0] => 210
[1,1,1,0,1,0,0,0,1,0,1,0,1,0] => 13
[1,1,1,0,1,0,0,0,1,0,1,1,0,0] => 26
[1,1,1,0,1,0,0,0,1,1,0,0,1,0] => 26
[1,1,1,0,1,0,0,0,1,1,0,1,0,0] => 52
[1,1,1,0,1,0,0,0,1,1,1,0,0,0] => 65
[1,1,1,0,1,0,0,1,0,0,1,0,1,0] => 26
[1,1,1,0,1,0,0,1,0,0,1,1,0,0] => 52
[1,1,1,0,1,0,0,1,0,1,0,0,1,0] => 52
[1,1,1,0,1,0,0,1,0,1,0,1,0,0] => 104
[1,1,1,0,1,0,0,1,0,1,1,0,0,0] => 130
[1,1,1,0,1,0,0,1,1,0,0,0,1,0] => 65
[1,1,1,0,1,0,0,1,1,0,0,1,0,0] => 130
[1,1,1,0,1,0,0,1,1,0,1,0,0,0] => 169
[1,1,1,0,1,0,0,1,1,1,0,0,0,0] => 182
[1,1,1,0,1,0,1,0,0,0,1,0,1,0] => 34
[1,1,1,0,1,0,1,0,0,0,1,1,0,0] => 68
[1,1,1,0,1,0,1,0,0,1,0,0,1,0] => 68
[1,1,1,0,1,0,1,0,0,1,0,1,0,0] => 136
[1,1,1,0,1,0,1,0,0,1,1,0,0,0] => 170
[1,1,1,0,1,0,1,0,1,0,0,0,1,0] => 89
[1,1,1,0,1,0,1,0,1,0,0,1,0,0] => 178
[1,1,1,0,1,0,1,0,1,0,1,0,0,0] => 233
[1,1,1,0,1,0,1,0,1,1,0,0,0,0] => 254
[1,1,1,0,1,0,1,1,0,0,0,0,1,0] => 97
[1,1,1,0,1,0,1,1,0,0,0,1,0,0] => 194
[1,1,1,0,1,0,1,1,0,0,1,0,0,0] => 257
[1,1,1,0,1,0,1,1,0,1,0,0,0,0] => 286
[1,1,1,0,1,0,1,1,1,0,0,0,0,0] => 294
[1,1,1,0,1,1,0,0,0,0,1,0,1,0] => 37
[1,1,1,0,1,1,0,0,0,0,1,1,0,0] => 74
[1,1,1,0,1,1,0,0,0,1,0,0,1,0] => 74
[1,1,1,0,1,1,0,0,0,1,0,1,0,0] => 148
[1,1,1,0,1,1,0,0,0,1,1,0,0,0] => 185
[1,1,1,0,1,1,0,0,1,0,0,0,1,0] => 98
[1,1,1,0,1,1,0,0,1,0,0,1,0,0] => 196
[1,1,1,0,1,1,0,0,1,0,1,0,0,0] => 257
[1,1,1,0,1,1,0,0,1,1,0,0,0,0] => 281
[1,1,1,0,1,1,0,1,0,0,0,0,1,0] => 109
[1,1,1,0,1,1,0,1,0,0,0,1,0,0] => 218
[1,1,1,0,1,1,0,1,0,0,1,0,0,0] => 290
[1,1,1,0,1,1,0,1,0,1,0,0,0,0] => 325
[1,1,1,0,1,1,0,1,1,0,0,0,0,0] => 336
[1,1,1,0,1,1,1,0,0,0,0,0,1,0] => 112
[1,1,1,0,1,1,1,0,0,0,0,1,0,0] => 224
[1,1,1,0,1,1,1,0,0,0,1,0,0,0] => 299
[1,1,1,0,1,1,1,0,0,1,0,0,0,0] => 337
[1,1,1,0,1,1,1,0,1,0,0,0,0,0] => 351
[1,1,1,0,1,1,1,1,0,0,0,0,0,0] => 354
[1,1,1,1,0,0,0,0,1,0,1,0,1,0] => 14
[1,1,1,1,0,0,0,0,1,0,1,1,0,0] => 28
[1,1,1,1,0,0,0,0,1,1,0,0,1,0] => 28
[1,1,1,1,0,0,0,0,1,1,0,1,0,0] => 56
[1,1,1,1,0,0,0,0,1,1,1,0,0,0] => 70
[1,1,1,1,0,0,0,1,0,0,1,0,1,0] => 28
[1,1,1,1,0,0,0,1,0,0,1,1,0,0] => 56
[1,1,1,1,0,0,0,1,0,1,0,0,1,0] => 56
[1,1,1,1,0,0,0,1,0,1,0,1,0,0] => 112
[1,1,1,1,0,0,0,1,0,1,1,0,0,0] => 140
[1,1,1,1,0,0,0,1,1,0,0,0,1,0] => 70
[1,1,1,1,0,0,0,1,1,0,0,1,0,0] => 140
[1,1,1,1,0,0,0,1,1,0,1,0,0,0] => 182
[1,1,1,1,0,0,0,1,1,1,0,0,0,0] => 196
[1,1,1,1,0,0,1,0,0,0,1,0,1,0] => 37
[1,1,1,1,0,0,1,0,0,0,1,1,0,0] => 74
[1,1,1,1,0,0,1,0,0,1,0,0,1,0] => 74
[1,1,1,1,0,0,1,0,0,1,0,1,0,0] => 148
[1,1,1,1,0,0,1,0,0,1,1,0,0,0] => 185
[1,1,1,1,0,0,1,0,1,0,0,0,1,0] => 97
[1,1,1,1,0,0,1,0,1,0,0,1,0,0] => 194
[1,1,1,1,0,0,1,0,1,0,1,0,0,0] => 254
[1,1,1,1,0,0,1,0,1,1,0,0,0,0] => 277
[1,1,1,1,0,0,1,1,0,0,0,0,1,0] => 106
[1,1,1,1,0,0,1,1,0,0,0,1,0,0] => 212
[1,1,1,1,0,0,1,1,0,0,1,0,0,0] => 281
[1,1,1,1,0,0,1,1,0,1,0,0,0,0] => 313
[1,1,1,1,0,0,1,1,1,0,0,0,0,0] => 322
[1,1,1,1,0,1,0,0,0,0,1,0,1,0] => 41
[1,1,1,1,0,1,0,0,0,0,1,1,0,0] => 82
[1,1,1,1,0,1,0,0,0,1,0,0,1,0] => 82
[1,1,1,1,0,1,0,0,0,1,0,1,0,0] => 164
[1,1,1,1,0,1,0,0,0,1,1,0,0,0] => 205
[1,1,1,1,0,1,0,0,1,0,0,0,1,0] => 109
[1,1,1,1,0,1,0,0,1,0,0,1,0,0] => 218
[1,1,1,1,0,1,0,0,1,0,1,0,0,0] => 286
[1,1,1,1,0,1,0,0,1,1,0,0,0,0] => 313
[1,1,1,1,0,1,0,1,0,0,0,0,1,0] => 122
[1,1,1,1,0,1,0,1,0,0,0,1,0,0] => 244
[1,1,1,1,0,1,0,1,0,0,1,0,0,0] => 325
[1,1,1,1,0,1,0,1,0,1,0,0,0,0] => 365
[1,1,1,1,0,1,0,1,1,0,0,0,0,0] => 378
[1,1,1,1,0,1,1,0,0,0,0,0,1,0] => 126
[1,1,1,1,0,1,1,0,0,0,0,1,0,0] => 252
[1,1,1,1,0,1,1,0,0,0,1,0,0,0] => 337
[1,1,1,1,0,1,1,0,0,1,0,0,0,0] => 381
[1,1,1,1,0,1,1,0,1,0,0,0,0,0] => 398
[1,1,1,1,0,1,1,1,0,0,0,0,0,0] => 402
[1,1,1,1,1,0,0,0,0,0,1,0,1,0] => 42
[1,1,1,1,1,0,0,0,0,0,1,1,0,0] => 84
[1,1,1,1,1,0,0,0,0,1,0,0,1,0] => 84
[1,1,1,1,1,0,0,0,0,1,0,1,0,0] => 168
[1,1,1,1,1,0,0,0,0,1,1,0,0,0] => 210
[1,1,1,1,1,0,0,0,1,0,0,0,1,0] => 112
[1,1,1,1,1,0,0,0,1,0,0,1,0,0] => 224
[1,1,1,1,1,0,0,0,1,0,1,0,0,0] => 294
[1,1,1,1,1,0,0,0,1,1,0,0,0,0] => 322
[1,1,1,1,1,0,0,1,0,0,0,0,1,0] => 126
[1,1,1,1,1,0,0,1,0,0,0,1,0,0] => 252
[1,1,1,1,1,0,0,1,0,0,1,0,0,0] => 336
[1,1,1,1,1,0,0,1,0,1,0,0,0,0] => 378
[1,1,1,1,1,0,0,1,1,0,0,0,0,0] => 392
[1,1,1,1,1,0,1,0,0,0,0,0,1,0] => 131
[1,1,1,1,1,0,1,0,0,0,0,1,0,0] => 262
[1,1,1,1,1,0,1,0,0,0,1,0,0,0] => 351
[1,1,1,1,1,0,1,0,0,1,0,0,0,0] => 398
[1,1,1,1,1,0,1,0,1,0,0,0,0,0] => 417
[1,1,1,1,1,0,1,1,0,0,0,0,0,0] => 422
[1,1,1,1,1,1,0,0,0,0,0,0,1,0] => 132
[1,1,1,1,1,1,0,0,0,0,0,1,0,0] => 264
[1,1,1,1,1,1,0,0,0,0,1,0,0,0] => 354
[1,1,1,1,1,1,0,0,0,1,0,0,0,0] => 402
[1,1,1,1,1,1,0,0,1,0,0,0,0,0] => 422
[1,1,1,1,1,1,0,1,0,0,0,0,0,0] => 428
[1,1,1,1,1,1,1,0,0,0,0,0,0,0] => 429
[1,0,1,0,1,0,1,0,1,0,1,0,1,0,1,0] => 1
[1,0,1,0,1,0,1,0,1,0,1,0,1,1,0,0] => 2
[1,0,1,0,1,0,1,0,1,0,1,1,0,0,1,0] => 2
[1,0,1,0,1,0,1,0,1,0,1,1,0,1,0,0] => 4
[1,0,1,0,1,0,1,0,1,0,1,1,1,0,0,0] => 5
[1,0,1,0,1,0,1,0,1,1,0,0,1,0,1,0] => 2
[1,0,1,0,1,0,1,0,1,1,0,0,1,1,0,0] => 4
[1,0,1,0,1,0,1,0,1,1,0,1,0,0,1,0] => 4
[1,0,1,0,1,0,1,0,1,1,0,1,0,1,0,0] => 8
[1,0,1,0,1,0,1,0,1,1,0,1,1,0,0,0] => 10
[1,0,1,0,1,0,1,0,1,1,1,0,0,0,1,0] => 5
[1,0,1,0,1,0,1,0,1,1,1,0,0,1,0,0] => 10
[1,0,1,0,1,0,1,0,1,1,1,0,1,0,0,0] => 13
[1,0,1,0,1,0,1,0,1,1,1,1,0,0,0,0] => 14
[1,0,1,0,1,0,1,1,0,0,1,0,1,0,1,0] => 2
[1,0,1,0,1,0,1,1,0,0,1,0,1,1,0,0] => 4
[1,0,1,0,1,0,1,1,0,0,1,1,0,0,1,0] => 4
[1,0,1,0,1,0,1,1,0,0,1,1,0,1,0,0] => 8
[1,0,1,0,1,0,1,1,0,0,1,1,1,0,0,0] => 10
[1,0,1,0,1,0,1,1,0,1,0,0,1,0,1,0] => 4
[1,0,1,0,1,0,1,1,0,1,0,0,1,1,0,0] => 8
[1,0,1,0,1,0,1,1,0,1,0,1,0,0,1,0] => 8
[1,0,1,0,1,0,1,1,0,1,0,1,0,1,0,0] => 16
[1,0,1,0,1,0,1,1,0,1,0,1,1,0,0,0] => 20
[1,0,1,0,1,0,1,1,0,1,1,0,0,0,1,0] => 10
[1,0,1,0,1,0,1,1,0,1,1,0,0,1,0,0] => 20
[1,0,1,0,1,0,1,1,0,1,1,0,1,0,0,0] => 26
[1,0,1,0,1,0,1,1,0,1,1,1,0,0,0,0] => 28
[1,0,1,0,1,0,1,1,1,0,0,0,1,0,1,0] => 5
[1,0,1,0,1,0,1,1,1,0,0,0,1,1,0,0] => 10
[1,0,1,0,1,0,1,1,1,0,0,1,0,0,1,0] => 10
[1,0,1,0,1,0,1,1,1,0,0,1,0,1,0,0] => 20
[1,0,1,0,1,0,1,1,1,0,0,1,1,0,0,0] => 25
[1,0,1,0,1,0,1,1,1,0,1,0,0,0,1,0] => 13
[1,0,1,0,1,0,1,1,1,0,1,0,0,1,0,0] => 26
[1,0,1,0,1,0,1,1,1,0,1,0,1,0,0,0] => 34
[1,0,1,0,1,0,1,1,1,0,1,1,0,0,0,0] => 37
[1,0,1,0,1,0,1,1,1,1,0,0,0,0,1,0] => 14
[1,0,1,0,1,0,1,1,1,1,0,0,0,1,0,0] => 28
[1,0,1,0,1,0,1,1,1,1,0,0,1,0,0,0] => 37
[1,0,1,0,1,0,1,1,1,1,0,1,0,0,0,0] => 41
[1,0,1,0,1,0,1,1,1,1,1,0,0,0,0,0] => 42
[1,0,1,0,1,1,0,0,1,0,1,0,1,0,1,0] => 2
[1,0,1,0,1,1,0,0,1,0,1,0,1,1,0,0] => 4
[1,0,1,0,1,1,0,0,1,0,1,1,0,0,1,0] => 4
[1,0,1,0,1,1,0,0,1,0,1,1,0,1,0,0] => 8
[1,0,1,0,1,1,0,0,1,0,1,1,1,0,0,0] => 10
[1,0,1,0,1,1,0,0,1,1,0,0,1,0,1,0] => 4
[1,0,1,0,1,1,0,0,1,1,0,0,1,1,0,0] => 8
[1,0,1,0,1,1,0,0,1,1,0,1,0,0,1,0] => 8
[1,0,1,0,1,1,0,0,1,1,0,1,0,1,0,0] => 16
[1,0,1,0,1,1,0,0,1,1,0,1,1,0,0,0] => 20
[1,0,1,0,1,1,0,0,1,1,1,0,0,0,1,0] => 10
[1,0,1,0,1,1,0,0,1,1,1,0,0,1,0,0] => 20
[1,0,1,0,1,1,0,0,1,1,1,0,1,0,0,0] => 26
[1,0,1,0,1,1,0,0,1,1,1,1,0,0,0,0] => 28
[1,0,1,0,1,1,0,1,0,0,1,0,1,0,1,0] => 4
[1,0,1,0,1,1,0,1,0,0,1,0,1,1,0,0] => 8
[1,0,1,0,1,1,0,1,0,0,1,1,0,0,1,0] => 8
[1,0,1,0,1,1,0,1,0,0,1,1,0,1,0,0] => 16
[1,0,1,0,1,1,0,1,0,0,1,1,1,0,0,0] => 20
[1,0,1,0,1,1,0,1,0,1,0,0,1,0,1,0] => 8
[1,0,1,0,1,1,0,1,0,1,0,0,1,1,0,0] => 16
[1,0,1,0,1,1,0,1,0,1,0,1,0,0,1,0] => 16
[1,0,1,0,1,1,0,1,0,1,0,1,0,1,0,0] => 32
[1,0,1,0,1,1,0,1,0,1,0,1,1,0,0,0] => 40
[1,0,1,0,1,1,0,1,0,1,1,0,0,0,1,0] => 20
[1,0,1,0,1,1,0,1,0,1,1,0,0,1,0,0] => 40
[1,0,1,0,1,1,0,1,0,1,1,0,1,0,0,0] => 52
[1,0,1,0,1,1,0,1,0,1,1,1,0,0,0,0] => 56
[1,0,1,0,1,1,0,1,1,0,0,0,1,0,1,0] => 10
[1,0,1,0,1,1,0,1,1,0,0,0,1,1,0,0] => 20
[1,0,1,0,1,1,0,1,1,0,0,1,0,0,1,0] => 20
[1,0,1,0,1,1,0,1,1,0,0,1,0,1,0,0] => 40
[1,0,1,0,1,1,0,1,1,0,0,1,1,0,0,0] => 50
[1,0,1,0,1,1,0,1,1,0,1,0,0,0,1,0] => 26
[1,0,1,0,1,1,0,1,1,0,1,0,0,1,0,0] => 52
[1,0,1,0,1,1,0,1,1,0,1,0,1,0,0,0] => 68
[1,0,1,0,1,1,0,1,1,0,1,1,0,0,0,0] => 74
[1,0,1,0,1,1,0,1,1,1,0,0,0,0,1,0] => 28
[1,0,1,0,1,1,0,1,1,1,0,0,0,1,0,0] => 56
[1,0,1,0,1,1,0,1,1,1,0,0,1,0,0,0] => 74
[1,0,1,0,1,1,0,1,1,1,0,1,0,0,0,0] => 82
[1,0,1,0,1,1,0,1,1,1,1,0,0,0,0,0] => 84
[1,0,1,0,1,1,1,0,0,0,1,0,1,0,1,0] => 5
[1,0,1,0,1,1,1,0,0,0,1,0,1,1,0,0] => 10
[1,0,1,0,1,1,1,0,0,0,1,1,0,0,1,0] => 10
[1,0,1,0,1,1,1,0,0,0,1,1,0,1,0,0] => 20
[1,0,1,0,1,1,1,0,0,0,1,1,1,0,0,0] => 25
[1,0,1,0,1,1,1,0,0,1,0,0,1,0,1,0] => 10
[1,0,1,0,1,1,1,0,0,1,0,0,1,1,0,0] => 20
[1,0,1,0,1,1,1,0,0,1,0,1,0,0,1,0] => 20
[1,0,1,0,1,1,1,0,0,1,0,1,0,1,0,0] => 40
[1,0,1,0,1,1,1,0,0,1,0,1,1,0,0,0] => 50
[1,0,1,0,1,1,1,0,0,1,1,0,0,0,1,0] => 25
[1,0,1,0,1,1,1,0,0,1,1,0,0,1,0,0] => 50
[1,0,1,0,1,1,1,0,0,1,1,0,1,0,0,0] => 65
[1,0,1,0,1,1,1,0,0,1,1,1,0,0,0,0] => 70
[1,0,1,0,1,1,1,0,1,0,0,0,1,0,1,0] => 13
[1,0,1,0,1,1,1,0,1,0,0,0,1,1,0,0] => 26
[1,0,1,0,1,1,1,0,1,0,0,1,0,0,1,0] => 26
[1,0,1,0,1,1,1,0,1,0,0,1,0,1,0,0] => 52
[1,0,1,0,1,1,1,0,1,0,0,1,1,0,0,0] => 65
[1,0,1,0,1,1,1,0,1,0,1,0,0,0,1,0] => 34
[1,0,1,0,1,1,1,0,1,0,1,0,0,1,0,0] => 68
[1,0,1,0,1,1,1,0,1,0,1,0,1,0,0,0] => 89
[1,0,1,0,1,1,1,0,1,0,1,1,0,0,0,0] => 97
[1,0,1,0,1,1,1,0,1,1,0,0,0,0,1,0] => 37
[1,0,1,0,1,1,1,0,1,1,0,0,0,1,0,0] => 74
[1,0,1,0,1,1,1,0,1,1,0,0,1,0,0,0] => 98
[1,0,1,0,1,1,1,0,1,1,0,1,0,0,0,0] => 109
[1,0,1,0,1,1,1,0,1,1,1,0,0,0,0,0] => 112
[1,0,1,0,1,1,1,1,0,0,0,0,1,0,1,0] => 14
[1,0,1,0,1,1,1,1,0,0,0,0,1,1,0,0] => 28
[1,0,1,0,1,1,1,1,0,0,0,1,0,0,1,0] => 28
[1,0,1,0,1,1,1,1,0,0,0,1,0,1,0,0] => 56
[1,0,1,0,1,1,1,1,0,0,0,1,1,0,0,0] => 70
[1,0,1,0,1,1,1,1,0,0,1,0,0,0,1,0] => 37
[1,0,1,0,1,1,1,1,0,0,1,0,0,1,0,0] => 74
[1,0,1,0,1,1,1,1,0,0,1,0,1,0,0,0] => 97
[1,0,1,0,1,1,1,1,0,0,1,1,0,0,0,0] => 106
[1,0,1,0,1,1,1,1,0,1,0,0,0,0,1,0] => 41
[1,0,1,0,1,1,1,1,0,1,0,0,0,1,0,0] => 82
[1,0,1,0,1,1,1,1,0,1,0,0,1,0,0,0] => 109
[1,0,1,0,1,1,1,1,0,1,0,1,0,0,0,0] => 122
[1,0,1,0,1,1,1,1,0,1,1,0,0,0,0,0] => 126
[1,0,1,0,1,1,1,1,1,0,0,0,0,0,1,0] => 42
[1,0,1,0,1,1,1,1,1,0,0,0,0,1,0,0] => 84
[1,0,1,0,1,1,1,1,1,0,0,0,1,0,0,0] => 112
[1,0,1,0,1,1,1,1,1,0,0,1,0,0,0,0] => 126
[1,0,1,0,1,1,1,1,1,0,1,0,0,0,0,0] => 131
[1,0,1,0,1,1,1,1,1,1,0,0,0,0,0,0] => 132
[1,0,1,1,0,0,1,0,1,0,1,0,1,0,1,0] => 2
[1,0,1,1,0,0,1,0,1,0,1,0,1,1,0,0] => 4
[1,0,1,1,0,0,1,0,1,0,1,1,0,0,1,0] => 4
[1,0,1,1,0,0,1,0,1,0,1,1,0,1,0,0] => 8
[1,0,1,1,0,0,1,0,1,0,1,1,1,0,0,0] => 10
[1,0,1,1,0,0,1,0,1,1,0,0,1,0,1,0] => 4
[1,0,1,1,0,0,1,0,1,1,0,0,1,1,0,0] => 8
[1,0,1,1,0,0,1,0,1,1,0,1,0,0,1,0] => 8
[1,0,1,1,0,0,1,0,1,1,0,1,0,1,0,0] => 16
[1,0,1,1,0,0,1,0,1,1,0,1,1,0,0,0] => 20
[1,0,1,1,0,0,1,0,1,1,1,0,0,0,1,0] => 10
[1,0,1,1,0,0,1,0,1,1,1,0,0,1,0,0] => 20
[1,0,1,1,0,0,1,0,1,1,1,0,1,0,0,0] => 26
[1,0,1,1,0,0,1,0,1,1,1,1,0,0,0,0] => 28
[1,0,1,1,0,0,1,1,0,0,1,0,1,0,1,0] => 4
[1,0,1,1,0,0,1,1,0,0,1,0,1,1,0,0] => 8
[1,0,1,1,0,0,1,1,0,0,1,1,0,0,1,0] => 8
[1,0,1,1,0,0,1,1,0,0,1,1,0,1,0,0] => 16
[1,0,1,1,0,0,1,1,0,0,1,1,1,0,0,0] => 20
[1,0,1,1,0,0,1,1,0,1,0,0,1,0,1,0] => 8
[1,0,1,1,0,0,1,1,0,1,0,0,1,1,0,0] => 16
[1,0,1,1,0,0,1,1,0,1,0,1,0,0,1,0] => 16
[1,0,1,1,0,0,1,1,0,1,0,1,0,1,0,0] => 32
[1,0,1,1,0,0,1,1,0,1,0,1,1,0,0,0] => 40
[1,0,1,1,0,0,1,1,0,1,1,0,0,0,1,0] => 20
[1,0,1,1,0,0,1,1,0,1,1,0,0,1,0,0] => 40
[1,0,1,1,0,0,1,1,0,1,1,0,1,0,0,0] => 52
[1,0,1,1,0,0,1,1,0,1,1,1,0,0,0,0] => 56
[1,0,1,1,0,0,1,1,1,0,0,0,1,0,1,0] => 10
[1,0,1,1,0,0,1,1,1,0,0,0,1,1,0,0] => 20
[1,0,1,1,0,0,1,1,1,0,0,1,0,0,1,0] => 20
[1,0,1,1,0,0,1,1,1,0,0,1,0,1,0,0] => 40
[1,0,1,1,0,0,1,1,1,0,0,1,1,0,0,0] => 50
[1,0,1,1,0,0,1,1,1,0,1,0,0,0,1,0] => 26
[1,0,1,1,0,0,1,1,1,0,1,0,0,1,0,0] => 52
[1,0,1,1,0,0,1,1,1,0,1,0,1,0,0,0] => 68
[1,0,1,1,0,0,1,1,1,0,1,1,0,0,0,0] => 74
[1,0,1,1,0,0,1,1,1,1,0,0,0,0,1,0] => 28
[1,0,1,1,0,0,1,1,1,1,0,0,0,1,0,0] => 56
[1,0,1,1,0,0,1,1,1,1,0,0,1,0,0,0] => 74
[1,0,1,1,0,0,1,1,1,1,0,1,0,0,0,0] => 82
[1,0,1,1,0,0,1,1,1,1,1,0,0,0,0,0] => 84
[1,0,1,1,0,1,0,0,1,0,1,0,1,0,1,0] => 4
[1,0,1,1,0,1,0,0,1,0,1,0,1,1,0,0] => 8
[1,0,1,1,0,1,0,0,1,0,1,1,0,0,1,0] => 8
[1,0,1,1,0,1,0,0,1,0,1,1,0,1,0,0] => 16
[1,0,1,1,0,1,0,0,1,0,1,1,1,0,0,0] => 20
[1,0,1,1,0,1,0,0,1,1,0,0,1,0,1,0] => 8
[1,0,1,1,0,1,0,0,1,1,0,0,1,1,0,0] => 16
[1,0,1,1,0,1,0,0,1,1,0,1,0,0,1,0] => 16
[1,0,1,1,0,1,0,0,1,1,0,1,0,1,0,0] => 32
[1,0,1,1,0,1,0,0,1,1,0,1,1,0,0,0] => 40
[1,0,1,1,0,1,0,0,1,1,1,0,0,0,1,0] => 20
[1,0,1,1,0,1,0,0,1,1,1,0,0,1,0,0] => 40
[1,0,1,1,0,1,0,0,1,1,1,0,1,0,0,0] => 52
[1,0,1,1,0,1,0,0,1,1,1,1,0,0,0,0] => 56
[1,0,1,1,0,1,0,1,0,0,1,0,1,0,1,0] => 8
[1,0,1,1,0,1,0,1,0,0,1,0,1,1,0,0] => 16
[1,0,1,1,0,1,0,1,0,0,1,1,0,0,1,0] => 16
[1,0,1,1,0,1,0,1,0,0,1,1,0,1,0,0] => 32
[1,0,1,1,0,1,0,1,0,0,1,1,1,0,0,0] => 40
[1,0,1,1,0,1,0,1,0,1,0,0,1,0,1,0] => 16
[1,0,1,1,0,1,0,1,0,1,0,0,1,1,0,0] => 32
[1,0,1,1,0,1,0,1,0,1,0,1,0,0,1,0] => 32
[1,0,1,1,0,1,0,1,0,1,0,1,0,1,0,0] => 64
[1,0,1,1,0,1,0,1,0,1,0,1,1,0,0,0] => 80
[1,0,1,1,0,1,0,1,0,1,1,0,0,0,1,0] => 40
[1,0,1,1,0,1,0,1,0,1,1,0,0,1,0,0] => 80
[1,0,1,1,0,1,0,1,0,1,1,0,1,0,0,0] => 104
[1,0,1,1,0,1,0,1,0,1,1,1,0,0,0,0] => 112
[1,0,1,1,0,1,0,1,1,0,0,0,1,0,1,0] => 20
[1,0,1,1,0,1,0,1,1,0,0,0,1,1,0,0] => 40
[1,0,1,1,0,1,0,1,1,0,0,1,0,0,1,0] => 40
[1,0,1,1,0,1,0,1,1,0,0,1,0,1,0,0] => 80
[1,0,1,1,0,1,0,1,1,0,0,1,1,0,0,0] => 100
[1,0,1,1,0,1,0,1,1,0,1,0,0,0,1,0] => 52
[1,0,1,1,0,1,0,1,1,0,1,0,0,1,0,0] => 104
[1,0,1,1,0,1,0,1,1,0,1,0,1,0,0,0] => 136
[1,0,1,1,0,1,0,1,1,0,1,1,0,0,0,0] => 148
[1,0,1,1,0,1,0,1,1,1,0,0,0,0,1,0] => 56
[1,0,1,1,0,1,0,1,1,1,0,0,0,1,0,0] => 112
[1,0,1,1,0,1,0,1,1,1,0,0,1,0,0,0] => 148
[1,0,1,1,0,1,0,1,1,1,0,1,0,0,0,0] => 164
[1,0,1,1,0,1,0,1,1,1,1,0,0,0,0,0] => 168
[1,0,1,1,0,1,1,0,0,0,1,0,1,0,1,0] => 10
[1,0,1,1,0,1,1,0,0,0,1,0,1,1,0,0] => 20
[1,0,1,1,0,1,1,0,0,0,1,1,0,0,1,0] => 20
[1,0,1,1,0,1,1,0,0,0,1,1,0,1,0,0] => 40
[1,0,1,1,0,1,1,0,0,0,1,1,1,0,0,0] => 50
[1,0,1,1,0,1,1,0,0,1,0,0,1,0,1,0] => 20
[1,0,1,1,0,1,1,0,0,1,0,0,1,1,0,0] => 40
[1,0,1,1,0,1,1,0,0,1,0,1,0,0,1,0] => 40
[1,0,1,1,0,1,1,0,0,1,0,1,0,1,0,0] => 80
[1,0,1,1,0,1,1,0,0,1,0,1,1,0,0,0] => 100
[1,0,1,1,0,1,1,0,0,1,1,0,0,0,1,0] => 50
[1,0,1,1,0,1,1,0,0,1,1,0,0,1,0,0] => 100
[1,0,1,1,0,1,1,0,0,1,1,0,1,0,0,0] => 130
[1,0,1,1,0,1,1,0,0,1,1,1,0,0,0,0] => 140
[1,0,1,1,0,1,1,0,1,0,0,0,1,0,1,0] => 26
[1,0,1,1,0,1,1,0,1,0,0,0,1,1,0,0] => 52
[1,0,1,1,0,1,1,0,1,0,0,1,0,0,1,0] => 52
[1,0,1,1,0,1,1,0,1,0,0,1,0,1,0,0] => 104
[1,0,1,1,0,1,1,0,1,0,0,1,1,0,0,0] => 130
[1,0,1,1,0,1,1,0,1,0,1,0,0,0,1,0] => 68
[1,0,1,1,0,1,1,0,1,0,1,0,0,1,0,0] => 136
[1,0,1,1,0,1,1,0,1,0,1,0,1,0,0,0] => 178
[1,0,1,1,0,1,1,0,1,0,1,1,0,0,0,0] => 194
[1,0,1,1,0,1,1,0,1,1,0,0,0,0,1,0] => 74
[1,0,1,1,0,1,1,0,1,1,0,0,0,1,0,0] => 148
[1,0,1,1,0,1,1,0,1,1,0,0,1,0,0,0] => 196
[1,0,1,1,0,1,1,0,1,1,0,1,0,0,0,0] => 218
[1,0,1,1,0,1,1,0,1,1,1,0,0,0,0,0] => 224
[1,0,1,1,0,1,1,1,0,0,0,0,1,0,1,0] => 28
[1,0,1,1,0,1,1,1,0,0,0,0,1,1,0,0] => 56
[1,0,1,1,0,1,1,1,0,0,0,1,0,0,1,0] => 56
[1,0,1,1,0,1,1,1,0,0,0,1,0,1,0,0] => 112
[1,0,1,1,0,1,1,1,0,0,0,1,1,0,0,0] => 140
[1,0,1,1,0,1,1,1,0,0,1,0,0,0,1,0] => 74
[1,0,1,1,0,1,1,1,0,0,1,0,0,1,0,0] => 148
[1,0,1,1,0,1,1,1,0,0,1,0,1,0,0,0] => 194
[1,0,1,1,0,1,1,1,0,0,1,1,0,0,0,0] => 212
[1,0,1,1,0,1,1,1,0,1,0,0,0,0,1,0] => 82
[1,0,1,1,0,1,1,1,0,1,0,0,0,1,0,0] => 164
[1,0,1,1,0,1,1,1,0,1,0,0,1,0,0,0] => 218
[1,0,1,1,0,1,1,1,0,1,0,1,0,0,0,0] => 244
[1,0,1,1,0,1,1,1,0,1,1,0,0,0,0,0] => 252
[1,0,1,1,0,1,1,1,1,0,0,0,0,0,1,0] => 84
[1,0,1,1,0,1,1,1,1,0,0,0,0,1,0,0] => 168
[1,0,1,1,0,1,1,1,1,0,0,0,1,0,0,0] => 224
[1,0,1,1,0,1,1,1,1,0,0,1,0,0,0,0] => 252
[1,0,1,1,0,1,1,1,1,0,1,0,0,0,0,0] => 262
[1,0,1,1,0,1,1,1,1,1,0,0,0,0,0,0] => 264
[1,0,1,1,1,0,0,0,1,0,1,0,1,0,1,0] => 5
[1,0,1,1,1,0,0,0,1,0,1,0,1,1,0,0] => 10
[1,0,1,1,1,0,0,0,1,0,1,1,0,0,1,0] => 10
[1,0,1,1,1,0,0,0,1,0,1,1,0,1,0,0] => 20
[1,0,1,1,1,0,0,0,1,0,1,1,1,0,0,0] => 25
[1,0,1,1,1,0,0,0,1,1,0,0,1,0,1,0] => 10
[1,0,1,1,1,0,0,0,1,1,0,0,1,1,0,0] => 20
[1,0,1,1,1,0,0,0,1,1,0,1,0,0,1,0] => 20
[1,0,1,1,1,0,0,0,1,1,0,1,0,1,0,0] => 40
[1,0,1,1,1,0,0,0,1,1,0,1,1,0,0,0] => 50
[1,0,1,1,1,0,0,0,1,1,1,0,0,0,1,0] => 25
[1,0,1,1,1,0,0,0,1,1,1,0,0,1,0,0] => 50
[1,0,1,1,1,0,0,0,1,1,1,0,1,0,0,0] => 65
[1,0,1,1,1,0,0,0,1,1,1,1,0,0,0,0] => 70
[1,0,1,1,1,0,0,1,0,0,1,0,1,0,1,0] => 10
[1,0,1,1,1,0,0,1,0,0,1,0,1,1,0,0] => 20
[1,0,1,1,1,0,0,1,0,0,1,1,0,0,1,0] => 20
[1,0,1,1,1,0,0,1,0,0,1,1,0,1,0,0] => 40
[1,0,1,1,1,0,0,1,0,0,1,1,1,0,0,0] => 50
[1,0,1,1,1,0,0,1,0,1,0,0,1,0,1,0] => 20
[1,0,1,1,1,0,0,1,0,1,0,0,1,1,0,0] => 40
[1,0,1,1,1,0,0,1,0,1,0,1,0,0,1,0] => 40
[1,0,1,1,1,0,0,1,0,1,0,1,0,1,0,0] => 80
[1,0,1,1,1,0,0,1,0,1,0,1,1,0,0,0] => 100
[1,0,1,1,1,0,0,1,0,1,1,0,0,0,1,0] => 50
[1,0,1,1,1,0,0,1,0,1,1,0,0,1,0,0] => 100
[1,0,1,1,1,0,0,1,0,1,1,0,1,0,0,0] => 130
[1,0,1,1,1,0,0,1,0,1,1,1,0,0,0,0] => 140
[1,0,1,1,1,0,0,1,1,0,0,0,1,0,1,0] => 25
[1,0,1,1,1,0,0,1,1,0,0,0,1,1,0,0] => 50
[1,0,1,1,1,0,0,1,1,0,0,1,0,0,1,0] => 50
[1,0,1,1,1,0,0,1,1,0,0,1,0,1,0,0] => 100
[1,0,1,1,1,0,0,1,1,0,0,1,1,0,0,0] => 125
[1,0,1,1,1,0,0,1,1,0,1,0,0,0,1,0] => 65
[1,0,1,1,1,0,0,1,1,0,1,0,0,1,0,0] => 130
[1,0,1,1,1,0,0,1,1,0,1,0,1,0,0,0] => 170
[1,0,1,1,1,0,0,1,1,0,1,1,0,0,0,0] => 185
[1,0,1,1,1,0,0,1,1,1,0,0,0,0,1,0] => 70
[1,0,1,1,1,0,0,1,1,1,0,0,0,1,0,0] => 140
[1,0,1,1,1,0,0,1,1,1,0,0,1,0,0,0] => 185
[1,0,1,1,1,0,0,1,1,1,0,1,0,0,0,0] => 205
[1,0,1,1,1,0,0,1,1,1,1,0,0,0,0,0] => 210
[1,0,1,1,1,0,1,0,0,0,1,0,1,0,1,0] => 13
[1,0,1,1,1,0,1,0,0,0,1,0,1,1,0,0] => 26
[1,0,1,1,1,0,1,0,0,0,1,1,0,0,1,0] => 26
[1,0,1,1,1,0,1,0,0,0,1,1,0,1,0,0] => 52
[1,0,1,1,1,0,1,0,0,0,1,1,1,0,0,0] => 65
[1,0,1,1,1,0,1,0,0,1,0,0,1,0,1,0] => 26
[1,0,1,1,1,0,1,0,0,1,0,0,1,1,0,0] => 52
[1,0,1,1,1,0,1,0,0,1,0,1,0,0,1,0] => 52
[1,0,1,1,1,0,1,0,0,1,0,1,0,1,0,0] => 104
[1,0,1,1,1,0,1,0,0,1,0,1,1,0,0,0] => 130
[1,0,1,1,1,0,1,0,0,1,1,0,0,0,1,0] => 65
[1,0,1,1,1,0,1,0,0,1,1,0,0,1,0,0] => 130
[1,0,1,1,1,0,1,0,0,1,1,0,1,0,0,0] => 169
[1,0,1,1,1,0,1,0,0,1,1,1,0,0,0,0] => 182
[1,0,1,1,1,0,1,0,1,0,0,0,1,0,1,0] => 34
[1,0,1,1,1,0,1,0,1,0,0,0,1,1,0,0] => 68
[1,0,1,1,1,0,1,0,1,0,0,1,0,0,1,0] => 68
[1,0,1,1,1,0,1,0,1,0,0,1,0,1,0,0] => 136
[1,0,1,1,1,0,1,0,1,0,0,1,1,0,0,0] => 170
[1,0,1,1,1,0,1,0,1,0,1,0,0,0,1,0] => 89
[1,0,1,1,1,0,1,0,1,0,1,0,0,1,0,0] => 178
[1,0,1,1,1,0,1,0,1,0,1,0,1,0,0,0] => 233
[1,0,1,1,1,0,1,0,1,0,1,1,0,0,0,0] => 254
[1,0,1,1,1,0,1,0,1,1,0,0,0,0,1,0] => 97
[1,0,1,1,1,0,1,0,1,1,0,0,0,1,0,0] => 194
[1,0,1,1,1,0,1,0,1,1,0,0,1,0,0,0] => 257
[1,0,1,1,1,0,1,0,1,1,0,1,0,0,0,0] => 286
[1,0,1,1,1,0,1,0,1,1,1,0,0,0,0,0] => 294
[1,0,1,1,1,0,1,1,0,0,0,0,1,0,1,0] => 37
[1,0,1,1,1,0,1,1,0,0,0,0,1,1,0,0] => 74
[1,0,1,1,1,0,1,1,0,0,0,1,0,0,1,0] => 74
[1,0,1,1,1,0,1,1,0,0,0,1,0,1,0,0] => 148
[1,0,1,1,1,0,1,1,0,0,0,1,1,0,0,0] => 185
[1,0,1,1,1,0,1,1,0,0,1,0,0,0,1,0] => 98
[1,0,1,1,1,0,1,1,0,0,1,0,0,1,0,0] => 196
[1,0,1,1,1,0,1,1,0,0,1,0,1,0,0,0] => 257
[1,0,1,1,1,0,1,1,0,0,1,1,0,0,0,0] => 281
[1,0,1,1,1,0,1,1,0,1,0,0,0,0,1,0] => 109
[1,0,1,1,1,0,1,1,0,1,0,0,0,1,0,0] => 218
[1,0,1,1,1,0,1,1,0,1,0,0,1,0,0,0] => 290
[1,0,1,1,1,0,1,1,0,1,0,1,0,0,0,0] => 325
[1,0,1,1,1,0,1,1,0,1,1,0,0,0,0,0] => 336
[1,0,1,1,1,0,1,1,1,0,0,0,0,0,1,0] => 112
[1,0,1,1,1,0,1,1,1,0,0,0,0,1,0,0] => 224
[1,0,1,1,1,0,1,1,1,0,0,0,1,0,0,0] => 299
[1,0,1,1,1,0,1,1,1,0,0,1,0,0,0,0] => 337
[1,0,1,1,1,0,1,1,1,0,1,0,0,0,0,0] => 351
[1,0,1,1,1,0,1,1,1,1,0,0,0,0,0,0] => 354
[1,0,1,1,1,1,0,0,0,0,1,0,1,0,1,0] => 14
[1,0,1,1,1,1,0,0,0,0,1,0,1,1,0,0] => 28
[1,0,1,1,1,1,0,0,0,0,1,1,0,0,1,0] => 28
[1,0,1,1,1,1,0,0,0,0,1,1,0,1,0,0] => 56
[1,0,1,1,1,1,0,0,0,0,1,1,1,0,0,0] => 70
[1,0,1,1,1,1,0,0,0,1,0,0,1,0,1,0] => 28
[1,0,1,1,1,1,0,0,0,1,0,0,1,1,0,0] => 56
[1,0,1,1,1,1,0,0,0,1,0,1,0,0,1,0] => 56
[1,0,1,1,1,1,0,0,0,1,0,1,0,1,0,0] => 112
[1,0,1,1,1,1,0,0,0,1,0,1,1,0,0,0] => 140
[1,0,1,1,1,1,0,0,0,1,1,0,0,0,1,0] => 70
[1,0,1,1,1,1,0,0,0,1,1,0,0,1,0,0] => 140
[1,0,1,1,1,1,0,0,0,1,1,0,1,0,0,0] => 182
[1,0,1,1,1,1,0,0,0,1,1,1,0,0,0,0] => 196
[1,0,1,1,1,1,0,0,1,0,0,0,1,0,1,0] => 37
[1,0,1,1,1,1,0,0,1,0,0,0,1,1,0,0] => 74
[1,0,1,1,1,1,0,0,1,0,0,1,0,0,1,0] => 74
[1,0,1,1,1,1,0,0,1,0,0,1,0,1,0,0] => 148
[1,0,1,1,1,1,0,0,1,0,0,1,1,0,0,0] => 185
[1,0,1,1,1,1,0,0,1,0,1,0,0,0,1,0] => 97
[1,0,1,1,1,1,0,0,1,0,1,0,0,1,0,0] => 194
[1,0,1,1,1,1,0,0,1,0,1,0,1,0,0,0] => 254
[1,0,1,1,1,1,0,0,1,0,1,1,0,0,0,0] => 277
[1,0,1,1,1,1,0,0,1,1,0,0,0,0,1,0] => 106
[1,0,1,1,1,1,0,0,1,1,0,0,0,1,0,0] => 212
[1,0,1,1,1,1,0,0,1,1,0,0,1,0,0,0] => 281
[1,0,1,1,1,1,0,0,1,1,0,1,0,0,0,0] => 313
[1,0,1,1,1,1,0,0,1,1,1,0,0,0,0,0] => 322
[1,0,1,1,1,1,0,1,0,0,0,0,1,0,1,0] => 41
[1,0,1,1,1,1,0,1,0,0,0,0,1,1,0,0] => 82
[1,0,1,1,1,1,0,1,0,0,0,1,0,0,1,0] => 82
[1,0,1,1,1,1,0,1,0,0,0,1,0,1,0,0] => 164
[1,0,1,1,1,1,0,1,0,0,0,1,1,0,0,0] => 205
[1,0,1,1,1,1,0,1,0,0,1,0,0,0,1,0] => 109
[1,0,1,1,1,1,0,1,0,0,1,0,0,1,0,0] => 218
[1,0,1,1,1,1,0,1,0,0,1,0,1,0,0,0] => 286
[1,0,1,1,1,1,0,1,0,0,1,1,0,0,0,0] => 313
[1,0,1,1,1,1,0,1,0,1,0,0,0,0,1,0] => 122
[1,0,1,1,1,1,0,1,0,1,0,0,0,1,0,0] => 244
[1,0,1,1,1,1,0,1,0,1,0,0,1,0,0,0] => 325
[1,0,1,1,1,1,0,1,0,1,0,1,0,0,0,0] => 365
[1,0,1,1,1,1,0,1,0,1,1,0,0,0,0,0] => 378
[1,0,1,1,1,1,0,1,1,0,0,0,0,0,1,0] => 126
[1,0,1,1,1,1,0,1,1,0,0,0,0,1,0,0] => 252
[1,0,1,1,1,1,0,1,1,0,0,0,1,0,0,0] => 337
[1,0,1,1,1,1,0,1,1,0,0,1,0,0,0,0] => 381
[1,0,1,1,1,1,0,1,1,0,1,0,0,0,0,0] => 398
[1,0,1,1,1,1,0,1,1,1,0,0,0,0,0,0] => 402
[1,0,1,1,1,1,1,0,0,0,0,0,1,0,1,0] => 42
[1,0,1,1,1,1,1,0,0,0,0,0,1,1,0,0] => 84
[1,0,1,1,1,1,1,0,0,0,0,1,0,0,1,0] => 84
[1,0,1,1,1,1,1,0,0,0,0,1,0,1,0,0] => 168
[1,0,1,1,1,1,1,0,0,0,0,1,1,0,0,0] => 210
[1,0,1,1,1,1,1,0,0,0,1,0,0,0,1,0] => 112
[1,0,1,1,1,1,1,0,0,0,1,0,0,1,0,0] => 224
[1,0,1,1,1,1,1,0,0,0,1,0,1,0,0,0] => 294
[1,0,1,1,1,1,1,0,0,0,1,1,0,0,0,0] => 322
[1,0,1,1,1,1,1,0,0,1,0,0,0,0,1,0] => 126
[1,0,1,1,1,1,1,0,0,1,0,0,0,1,0,0] => 252
[1,0,1,1,1,1,1,0,0,1,0,0,1,0,0,0] => 336
[1,0,1,1,1,1,1,0,0,1,0,1,0,0,0,0] => 378
[1,0,1,1,1,1,1,0,0,1,1,0,0,0,0,0] => 392
[1,0,1,1,1,1,1,0,1,0,0,0,0,0,1,0] => 131
[1,0,1,1,1,1,1,0,1,0,0,0,0,1,0,0] => 262
[1,0,1,1,1,1,1,0,1,0,0,0,1,0,0,0] => 351
[1,0,1,1,1,1,1,0,1,0,0,1,0,0,0,0] => 398
[1,0,1,1,1,1,1,0,1,0,1,0,0,0,0,0] => 417
[1,0,1,1,1,1,1,0,1,1,0,0,0,0,0,0] => 422
[1,0,1,1,1,1,1,1,0,0,0,0,0,0,1,0] => 132
[1,0,1,1,1,1,1,1,0,0,0,0,0,1,0,0] => 264
[1,0,1,1,1,1,1,1,0,0,0,0,1,0,0,0] => 354
[1,0,1,1,1,1,1,1,0,0,0,1,0,0,0,0] => 402
[1,0,1,1,1,1,1,1,0,0,1,0,0,0,0,0] => 422
[1,0,1,1,1,1,1,1,0,1,0,0,0,0,0,0] => 428
[1,0,1,1,1,1,1,1,1,0,0,0,0,0,0,0] => 429
[1,1,0,0,1,0,1,0,1,0,1,0,1,0,1,0] => 2
[1,1,0,0,1,0,1,0,1,0,1,0,1,1,0,0] => 4
[1,1,0,0,1,0,1,0,1,0,1,1,0,0,1,0] => 4
[1,1,0,0,1,0,1,0,1,0,1,1,0,1,0,0] => 8
[1,1,0,0,1,0,1,0,1,0,1,1,1,0,0,0] => 10
[1,1,0,0,1,0,1,0,1,1,0,0,1,0,1,0] => 4
[1,1,0,0,1,0,1,0,1,1,0,0,1,1,0,0] => 8
[1,1,0,0,1,0,1,0,1,1,0,1,0,0,1,0] => 8
[1,1,0,0,1,0,1,0,1,1,0,1,0,1,0,0] => 16
[1,1,0,0,1,0,1,0,1,1,0,1,1,0,0,0] => 20
[1,1,0,0,1,0,1,0,1,1,1,0,0,0,1,0] => 10
[1,1,0,0,1,0,1,0,1,1,1,0,0,1,0,0] => 20
[1,1,0,0,1,0,1,0,1,1,1,0,1,0,0,0] => 26
[1,1,0,0,1,0,1,0,1,1,1,1,0,0,0,0] => 28
[1,1,0,0,1,0,1,1,0,0,1,0,1,0,1,0] => 4
[1,1,0,0,1,0,1,1,0,0,1,0,1,1,0,0] => 8
[1,1,0,0,1,0,1,1,0,0,1,1,0,0,1,0] => 8
[1,1,0,0,1,0,1,1,0,0,1,1,0,1,0,0] => 16
[1,1,0,0,1,0,1,1,0,0,1,1,1,0,0,0] => 20
[1,1,0,0,1,0,1,1,0,1,0,0,1,0,1,0] => 8
[1,1,0,0,1,0,1,1,0,1,0,0,1,1,0,0] => 16
[1,1,0,0,1,0,1,1,0,1,0,1,0,0,1,0] => 16
[1,1,0,0,1,0,1,1,0,1,0,1,0,1,0,0] => 32
[1,1,0,0,1,0,1,1,0,1,0,1,1,0,0,0] => 40
[1,1,0,0,1,0,1,1,0,1,1,0,0,0,1,0] => 20
[1,1,0,0,1,0,1,1,0,1,1,0,0,1,0,0] => 40
[1,1,0,0,1,0,1,1,0,1,1,0,1,0,0,0] => 52
[1,1,0,0,1,0,1,1,0,1,1,1,0,0,0,0] => 56
[1,1,0,0,1,0,1,1,1,0,0,0,1,0,1,0] => 10
[1,1,0,0,1,0,1,1,1,0,0,0,1,1,0,0] => 20
[1,1,0,0,1,0,1,1,1,0,0,1,0,0,1,0] => 20
[1,1,0,0,1,0,1,1,1,0,0,1,0,1,0,0] => 40
[1,1,0,0,1,0,1,1,1,0,0,1,1,0,0,0] => 50
[1,1,0,0,1,0,1,1,1,0,1,0,0,0,1,0] => 26
[1,1,0,0,1,0,1,1,1,0,1,0,0,1,0,0] => 52
[1,1,0,0,1,0,1,1,1,0,1,0,1,0,0,0] => 68
[1,1,0,0,1,0,1,1,1,0,1,1,0,0,0,0] => 74
[1,1,0,0,1,0,1,1,1,1,0,0,0,0,1,0] => 28
[1,1,0,0,1,0,1,1,1,1,0,0,0,1,0,0] => 56
[1,1,0,0,1,0,1,1,1,1,0,0,1,0,0,0] => 74
[1,1,0,0,1,0,1,1,1,1,0,1,0,0,0,0] => 82
[1,1,0,0,1,0,1,1,1,1,1,0,0,0,0,0] => 84
[1,1,0,0,1,1,0,0,1,0,1,0,1,0,1,0] => 4
[1,1,0,0,1,1,0,0,1,0,1,0,1,1,0,0] => 8
[1,1,0,0,1,1,0,0,1,0,1,1,0,0,1,0] => 8
[1,1,0,0,1,1,0,0,1,0,1,1,0,1,0,0] => 16
[1,1,0,0,1,1,0,0,1,0,1,1,1,0,0,0] => 20
[1,1,0,0,1,1,0,0,1,1,0,0,1,0,1,0] => 8
[1,1,0,0,1,1,0,0,1,1,0,0,1,1,0,0] => 16
[1,1,0,0,1,1,0,0,1,1,0,1,0,0,1,0] => 16
[1,1,0,0,1,1,0,0,1,1,0,1,0,1,0,0] => 32
[1,1,0,0,1,1,0,0,1,1,0,1,1,0,0,0] => 40
[1,1,0,0,1,1,0,0,1,1,1,0,0,0,1,0] => 20
[1,1,0,0,1,1,0,0,1,1,1,0,0,1,0,0] => 40
[1,1,0,0,1,1,0,0,1,1,1,0,1,0,0,0] => 52
[1,1,0,0,1,1,0,0,1,1,1,1,0,0,0,0] => 56
[1,1,0,0,1,1,0,1,0,0,1,0,1,0,1,0] => 8
[1,1,0,0,1,1,0,1,0,0,1,0,1,1,0,0] => 16
[1,1,0,0,1,1,0,1,0,0,1,1,0,0,1,0] => 16
[1,1,0,0,1,1,0,1,0,0,1,1,0,1,0,0] => 32
[1,1,0,0,1,1,0,1,0,0,1,1,1,0,0,0] => 40
[1,1,0,0,1,1,0,1,0,1,0,0,1,0,1,0] => 16
[1,1,0,0,1,1,0,1,0,1,0,0,1,1,0,0] => 32
[1,1,0,0,1,1,0,1,0,1,0,1,0,0,1,0] => 32
[1,1,0,0,1,1,0,1,0,1,0,1,0,1,0,0] => 64
[1,1,0,0,1,1,0,1,0,1,0,1,1,0,0,0] => 80
[1,1,0,0,1,1,0,1,0,1,1,0,0,0,1,0] => 40
[1,1,0,0,1,1,0,1,0,1,1,0,0,1,0,0] => 80
[1,1,0,0,1,1,0,1,0,1,1,0,1,0,0,0] => 104
[1,1,0,0,1,1,0,1,0,1,1,1,0,0,0,0] => 112
[1,1,0,0,1,1,0,1,1,0,0,0,1,0,1,0] => 20
[1,1,0,0,1,1,0,1,1,0,0,0,1,1,0,0] => 40
[1,1,0,0,1,1,0,1,1,0,0,1,0,0,1,0] => 40
[1,1,0,0,1,1,0,1,1,0,0,1,0,1,0,0] => 80
[1,1,0,0,1,1,0,1,1,0,0,1,1,0,0,0] => 100
[1,1,0,0,1,1,0,1,1,0,1,0,0,0,1,0] => 52
[1,1,0,0,1,1,0,1,1,0,1,0,0,1,0,0] => 104
[1,1,0,0,1,1,0,1,1,0,1,0,1,0,0,0] => 136
[1,1,0,0,1,1,0,1,1,0,1,1,0,0,0,0] => 148
[1,1,0,0,1,1,0,1,1,1,0,0,0,0,1,0] => 56
[1,1,0,0,1,1,0,1,1,1,0,0,0,1,0,0] => 112
[1,1,0,0,1,1,0,1,1,1,0,0,1,0,0,0] => 148
[1,1,0,0,1,1,0,1,1,1,0,1,0,0,0,0] => 164
[1,1,0,0,1,1,0,1,1,1,1,0,0,0,0,0] => 168
[1,1,0,0,1,1,1,0,0,0,1,0,1,0,1,0] => 10
[1,1,0,0,1,1,1,0,0,0,1,0,1,1,0,0] => 20
[1,1,0,0,1,1,1,0,0,0,1,1,0,0,1,0] => 20
[1,1,0,0,1,1,1,0,0,0,1,1,0,1,0,0] => 40
[1,1,0,0,1,1,1,0,0,0,1,1,1,0,0,0] => 50
[1,1,0,0,1,1,1,0,0,1,0,0,1,0,1,0] => 20
[1,1,0,0,1,1,1,0,0,1,0,0,1,1,0,0] => 40
[1,1,0,0,1,1,1,0,0,1,0,1,0,0,1,0] => 40
[1,1,0,0,1,1,1,0,0,1,0,1,0,1,0,0] => 80
[1,1,0,0,1,1,1,0,0,1,0,1,1,0,0,0] => 100
[1,1,0,0,1,1,1,0,0,1,1,0,0,0,1,0] => 50
[1,1,0,0,1,1,1,0,0,1,1,0,0,1,0,0] => 100
[1,1,0,0,1,1,1,0,0,1,1,0,1,0,0,0] => 130
[1,1,0,0,1,1,1,0,0,1,1,1,0,0,0,0] => 140
[1,1,0,0,1,1,1,0,1,0,0,0,1,0,1,0] => 26
[1,1,0,0,1,1,1,0,1,0,0,0,1,1,0,0] => 52
[1,1,0,0,1,1,1,0,1,0,0,1,0,0,1,0] => 52
[1,1,0,0,1,1,1,0,1,0,0,1,0,1,0,0] => 104
[1,1,0,0,1,1,1,0,1,0,0,1,1,0,0,0] => 130
[1,1,0,0,1,1,1,0,1,0,1,0,0,0,1,0] => 68
[1,1,0,0,1,1,1,0,1,0,1,0,0,1,0,0] => 136
[1,1,0,0,1,1,1,0,1,0,1,0,1,0,0,0] => 178
[1,1,0,0,1,1,1,0,1,0,1,1,0,0,0,0] => 194
[1,1,0,0,1,1,1,0,1,1,0,0,0,0,1,0] => 74
[1,1,0,0,1,1,1,0,1,1,0,0,0,1,0,0] => 148
[1,1,0,0,1,1,1,0,1,1,0,0,1,0,0,0] => 196
[1,1,0,0,1,1,1,0,1,1,0,1,0,0,0,0] => 218
[1,1,0,0,1,1,1,0,1,1,1,0,0,0,0,0] => 224
[1,1,0,0,1,1,1,1,0,0,0,0,1,0,1,0] => 28
[1,1,0,0,1,1,1,1,0,0,0,0,1,1,0,0] => 56
[1,1,0,0,1,1,1,1,0,0,0,1,0,0,1,0] => 56
[1,1,0,0,1,1,1,1,0,0,0,1,0,1,0,0] => 112
[1,1,0,0,1,1,1,1,0,0,0,1,1,0,0,0] => 140
[1,1,0,0,1,1,1,1,0,0,1,0,0,0,1,0] => 74
[1,1,0,0,1,1,1,1,0,0,1,0,0,1,0,0] => 148
[1,1,0,0,1,1,1,1,0,0,1,0,1,0,0,0] => 194
[1,1,0,0,1,1,1,1,0,0,1,1,0,0,0,0] => 212
[1,1,0,0,1,1,1,1,0,1,0,0,0,0,1,0] => 82
[1,1,0,0,1,1,1,1,0,1,0,0,0,1,0,0] => 164
[1,1,0,0,1,1,1,1,0,1,0,0,1,0,0,0] => 218
[1,1,0,0,1,1,1,1,0,1,0,1,0,0,0,0] => 244
[1,1,0,0,1,1,1,1,0,1,1,0,0,0,0,0] => 252
[1,1,0,0,1,1,1,1,1,0,0,0,0,0,1,0] => 84
[1,1,0,0,1,1,1,1,1,0,0,0,0,1,0,0] => 168
[1,1,0,0,1,1,1,1,1,0,0,0,1,0,0,0] => 224
[1,1,0,0,1,1,1,1,1,0,0,1,0,0,0,0] => 252
[1,1,0,0,1,1,1,1,1,0,1,0,0,0,0,0] => 262
[1,1,0,0,1,1,1,1,1,1,0,0,0,0,0,0] => 264
[1,1,0,1,0,0,1,0,1,0,1,0,1,0,1,0] => 4
[1,1,0,1,0,0,1,0,1,0,1,0,1,1,0,0] => 8
[1,1,0,1,0,0,1,0,1,0,1,1,0,0,1,0] => 8
[1,1,0,1,0,0,1,0,1,0,1,1,0,1,0,0] => 16
[1,1,0,1,0,0,1,0,1,0,1,1,1,0,0,0] => 20
[1,1,0,1,0,0,1,0,1,1,0,0,1,0,1,0] => 8
[1,1,0,1,0,0,1,0,1,1,0,0,1,1,0,0] => 16
[1,1,0,1,0,0,1,0,1,1,0,1,0,0,1,0] => 16
[1,1,0,1,0,0,1,0,1,1,0,1,0,1,0,0] => 32
[1,1,0,1,0,0,1,0,1,1,0,1,1,0,0,0] => 40
[1,1,0,1,0,0,1,0,1,1,1,0,0,0,1,0] => 20
[1,1,0,1,0,0,1,0,1,1,1,0,0,1,0,0] => 40
[1,1,0,1,0,0,1,0,1,1,1,0,1,0,0,0] => 52
[1,1,0,1,0,0,1,0,1,1,1,1,0,0,0,0] => 56
[1,1,0,1,0,0,1,1,0,0,1,0,1,0,1,0] => 8
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 Dyck paths that are weakly below a Dyck path.
Code
def contains(A,B):
     Aa = A.to_area_sequence()
     Bb = B.to_area_sequence()
     return all( Aa[i] >= Bb[i] for i in range(len(Aa)) )

def statistic(D):
    n = len(D)/2
    return sum( 1 for A in DyckWords(n) if contains(D,A) )

Created
Feb 26, 2016 at 10:33 by Christian Stump
Updated
Feb 26, 2016 at 10:33 by Christian Stump