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
=>
Cc0005;cc-rep
[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 [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