edit this statistic or download as text // json
Identifier
  • St000420: Dyck paths ⟶ ℤ (values match St000419The number of Dyck paths that are weakly above the Dyck path, except for the path itself.)
Values
=>
Cc0005;cc-rep
[1,0,1,0]=>2 [1,1,0,0]=>1 [1,0,1,0,1,0]=>5 [1,0,1,1,0,0]=>3 [1,1,0,0,1,0]=>3 [1,1,0,1,0,0]=>2 [1,1,1,0,0,0]=>1 [1,0,1,0,1,0,1,0]=>14 [1,0,1,0,1,1,0,0]=>9 [1,0,1,1,0,0,1,0]=>10 [1,0,1,1,0,1,0,0]=>7 [1,0,1,1,1,0,0,0]=>4 [1,1,0,0,1,0,1,0]=>9 [1,1,0,0,1,1,0,0]=>6 [1,1,0,1,0,0,1,0]=>7 [1,1,0,1,0,1,0,0]=>5 [1,1,0,1,1,0,0,0]=>3 [1,1,1,0,0,0,1,0]=>4 [1,1,1,0,0,1,0,0]=>3 [1,1,1,0,1,0,0,0]=>2 [1,1,1,1,0,0,0,0]=>1 [1,0,1,0,1,0,1,0,1,0]=>42 [1,0,1,0,1,0,1,1,0,0]=>28 [1,0,1,0,1,1,0,0,1,0]=>32 [1,0,1,0,1,1,0,1,0,0]=>23 [1,0,1,0,1,1,1,0,0,0]=>14 [1,0,1,1,0,0,1,0,1,0]=>32 [1,0,1,1,0,0,1,1,0,0]=>22 [1,0,1,1,0,1,0,0,1,0]=>26 [1,0,1,1,0,1,0,1,0,0]=>19 [1,0,1,1,0,1,1,0,0,0]=>12 [1,0,1,1,1,0,0,0,1,0]=>17 [1,0,1,1,1,0,0,1,0,0]=>13 [1,0,1,1,1,0,1,0,0,0]=>9 [1,0,1,1,1,1,0,0,0,0]=>5 [1,1,0,0,1,0,1,0,1,0]=>28 [1,1,0,0,1,0,1,1,0,0]=>19 [1,1,0,0,1,1,0,0,1,0]=>22 [1,1,0,0,1,1,0,1,0,0]=>16 [1,1,0,0,1,1,1,0,0,0]=>10 [1,1,0,1,0,0,1,0,1,0]=>23 [1,1,0,1,0,0,1,1,0,0]=>16 [1,1,0,1,0,1,0,0,1,0]=>19 [1,1,0,1,0,1,0,1,0,0]=>14 [1,1,0,1,0,1,1,0,0,0]=>9 [1,1,0,1,1,0,0,0,1,0]=>13 [1,1,0,1,1,0,0,1,0,0]=>10 [1,1,0,1,1,0,1,0,0,0]=>7 [1,1,0,1,1,1,0,0,0,0]=>4 [1,1,1,0,0,0,1,0,1,0]=>14 [1,1,1,0,0,0,1,1,0,0]=>10 [1,1,1,0,0,1,0,0,1,0]=>12 [1,1,1,0,0,1,0,1,0,0]=>9 [1,1,1,0,0,1,1,0,0,0]=>6 [1,1,1,0,1,0,0,0,1,0]=>9 [1,1,1,0,1,0,0,1,0,0]=>7 [1,1,1,0,1,0,1,0,0,0]=>5 [1,1,1,0,1,1,0,0,0,0]=>3 [1,1,1,1,0,0,0,0,1,0]=>5 [1,1,1,1,0,0,0,1,0,0]=>4 [1,1,1,1,0,0,1,0,0,0]=>3 [1,1,1,1,0,1,0,0,0,0]=>2 [1,1,1,1,1,0,0,0,0,0]=>1 [1,0,1,0,1,0,1,0,1,0,1,0]=>132 [1,0,1,0,1,0,1,0,1,1,0,0]=>90 [1,0,1,0,1,0,1,1,0,0,1,0]=>104 [1,0,1,0,1,0,1,1,0,1,0,0]=>76 [1,0,1,0,1,0,1,1,1,0,0,0]=>48 [1,0,1,0,1,1,0,0,1,0,1,0]=>107 [1,0,1,0,1,1,0,0,1,1,0,0]=>75 [1,0,1,0,1,1,0,1,0,0,1,0]=>89 [1,0,1,0,1,1,0,1,0,1,0,0]=>66 [1,0,1,0,1,1,0,1,1,0,0,0]=>43 [1,0,1,0,1,1,1,0,0,0,1,0]=>62 [1,0,1,0,1,1,1,0,0,1,0,0]=>48 [1,0,1,0,1,1,1,0,1,0,0,0]=>34 [1,0,1,0,1,1,1,1,0,0,0,0]=>20 [1,0,1,1,0,0,1,0,1,0,1,0]=>104 [1,0,1,1,0,0,1,0,1,1,0,0]=>72 [1,0,1,1,0,0,1,1,0,0,1,0]=>84 [1,0,1,1,0,0,1,1,0,1,0,0]=>62 [1,0,1,1,0,0,1,1,1,0,0,0]=>40 [1,0,1,1,0,1,0,0,1,0,1,0]=>89 [1,0,1,1,0,1,0,0,1,1,0,0]=>63 [1,0,1,1,0,1,0,1,0,0,1,0]=>75 [1,0,1,1,0,1,0,1,0,1,0,0]=>56 [1,0,1,1,0,1,0,1,1,0,0,0]=>37 [1,0,1,1,0,1,1,0,0,0,1,0]=>54 [1,0,1,1,0,1,1,0,0,1,0,0]=>42 [1,0,1,1,0,1,1,0,1,0,0,0]=>30 [1,0,1,1,0,1,1,1,0,0,0,0]=>18 [1,0,1,1,1,0,0,0,1,0,1,0]=>62 [1,0,1,1,1,0,0,0,1,1,0,0]=>45 [1,0,1,1,1,0,0,1,0,0,1,0]=>54 [1,0,1,1,1,0,0,1,0,1,0,0]=>41 [1,0,1,1,1,0,0,1,1,0,0,0]=>28 [1,0,1,1,1,0,1,0,0,0,1,0]=>42 [1,0,1,1,1,0,1,0,0,1,0,0]=>33 [1,0,1,1,1,0,1,0,1,0,0,0]=>24 [1,0,1,1,1,0,1,1,0,0,0,0]=>15 [1,0,1,1,1,1,0,0,0,0,1,0]=>26 [1,0,1,1,1,1,0,0,0,1,0,0]=>21 [1,0,1,1,1,1,0,0,1,0,0,0]=>16 [1,0,1,1,1,1,0,1,0,0,0,0]=>11 [1,0,1,1,1,1,1,0,0,0,0,0]=>6 [1,1,0,0,1,0,1,0,1,0,1,0]=>90 [1,1,0,0,1,0,1,0,1,1,0,0]=>62 [1,1,0,0,1,0,1,1,0,0,1,0]=>72 [1,1,0,0,1,0,1,1,0,1,0,0]=>53 [1,1,0,0,1,0,1,1,1,0,0,0]=>34 [1,1,0,0,1,1,0,0,1,0,1,0]=>75 [1,1,0,0,1,1,0,0,1,1,0,0]=>53 [1,1,0,0,1,1,0,1,0,0,1,0]=>63 [1,1,0,0,1,1,0,1,0,1,0,0]=>47 [1,1,0,0,1,1,0,1,1,0,0,0]=>31 [1,1,0,0,1,1,1,0,0,0,1,0]=>45 [1,1,0,0,1,1,1,0,0,1,0,0]=>35 [1,1,0,0,1,1,1,0,1,0,0,0]=>25 [1,1,0,0,1,1,1,1,0,0,0,0]=>15 [1,1,0,1,0,0,1,0,1,0,1,0]=>76 [1,1,0,1,0,0,1,0,1,1,0,0]=>53 [1,1,0,1,0,0,1,1,0,0,1,0]=>62 [1,1,0,1,0,0,1,1,0,1,0,0]=>46 [1,1,0,1,0,0,1,1,1,0,0,0]=>30 [1,1,0,1,0,1,0,0,1,0,1,0]=>66 [1,1,0,1,0,1,0,0,1,1,0,0]=>47 [1,1,0,1,0,1,0,1,0,0,1,0]=>56 [1,1,0,1,0,1,0,1,0,1,0,0]=>42 [1,1,0,1,0,1,0,1,1,0,0,0]=>28 [1,1,0,1,0,1,1,0,0,0,1,0]=>41 [1,1,0,1,0,1,1,0,0,1,0,0]=>32 [1,1,0,1,0,1,1,0,1,0,0,0]=>23 [1,1,0,1,0,1,1,1,0,0,0,0]=>14 [1,1,0,1,1,0,0,0,1,0,1,0]=>48 [1,1,0,1,1,0,0,0,1,1,0,0]=>35 [1,1,0,1,1,0,0,1,0,0,1,0]=>42 [1,1,0,1,1,0,0,1,0,1,0,0]=>32 [1,1,0,1,1,0,0,1,1,0,0,0]=>22 [1,1,0,1,1,0,1,0,0,0,1,0]=>33 [1,1,0,1,1,0,1,0,0,1,0,0]=>26 [1,1,0,1,1,0,1,0,1,0,0,0]=>19 [1,1,0,1,1,0,1,1,0,0,0,0]=>12 [1,1,0,1,1,1,0,0,0,0,1,0]=>21 [1,1,0,1,1,1,0,0,0,1,0,0]=>17 [1,1,0,1,1,1,0,0,1,0,0,0]=>13 [1,1,0,1,1,1,0,1,0,0,0,0]=>9 [1,1,0,1,1,1,1,0,0,0,0,0]=>5 [1,1,1,0,0,0,1,0,1,0,1,0]=>48 [1,1,1,0,0,0,1,0,1,1,0,0]=>34 [1,1,1,0,0,0,1,1,0,0,1,0]=>40 [1,1,1,0,0,0,1,1,0,1,0,0]=>30 [1,1,1,0,0,0,1,1,1,0,0,0]=>20 [1,1,1,0,0,1,0,0,1,0,1,0]=>43 [1,1,1,0,0,1,0,0,1,1,0,0]=>31 [1,1,1,0,0,1,0,1,0,0,1,0]=>37 [1,1,1,0,0,1,0,1,0,1,0,0]=>28 [1,1,1,0,0,1,0,1,1,0,0,0]=>19 [1,1,1,0,0,1,1,0,0,0,1,0]=>28 [1,1,1,0,0,1,1,0,0,1,0,0]=>22 [1,1,1,0,0,1,1,0,1,0,0,0]=>16 [1,1,1,0,0,1,1,1,0,0,0,0]=>10 [1,1,1,0,1,0,0,0,1,0,1,0]=>34 [1,1,1,0,1,0,0,0,1,1,0,0]=>25 [1,1,1,0,1,0,0,1,0,0,1,0]=>30 [1,1,1,0,1,0,0,1,0,1,0,0]=>23 [1,1,1,0,1,0,0,1,1,0,0,0]=>16 [1,1,1,0,1,0,1,0,0,0,1,0]=>24 [1,1,1,0,1,0,1,0,0,1,0,0]=>19 [1,1,1,0,1,0,1,0,1,0,0,0]=>14 [1,1,1,0,1,0,1,1,0,0,0,0]=>9 [1,1,1,0,1,1,0,0,0,0,1,0]=>16 [1,1,1,0,1,1,0,0,0,1,0,0]=>13 [1,1,1,0,1,1,0,0,1,0,0,0]=>10 [1,1,1,0,1,1,0,1,0,0,0,0]=>7 [1,1,1,0,1,1,1,0,0,0,0,0]=>4 [1,1,1,1,0,0,0,0,1,0,1,0]=>20 [1,1,1,1,0,0,0,0,1,1,0,0]=>15 [1,1,1,1,0,0,0,1,0,0,1,0]=>18 [1,1,1,1,0,0,0,1,0,1,0,0]=>14 [1,1,1,1,0,0,0,1,1,0,0,0]=>10 [1,1,1,1,0,0,1,0,0,0,1,0]=>15 [1,1,1,1,0,0,1,0,0,1,0,0]=>12 [1,1,1,1,0,0,1,0,1,0,0,0]=>9 [1,1,1,1,0,0,1,1,0,0,0,0]=>6 [1,1,1,1,0,1,0,0,0,0,1,0]=>11 [1,1,1,1,0,1,0,0,0,1,0,0]=>9 [1,1,1,1,0,1,0,0,1,0,0,0]=>7 [1,1,1,1,0,1,0,1,0,0,0,0]=>5 [1,1,1,1,0,1,1,0,0,0,0,0]=>3 [1,1,1,1,1,0,0,0,0,0,1,0]=>6 [1,1,1,1,1,0,0,0,0,1,0,0]=>5 [1,1,1,1,1,0,0,0,1,0,0,0]=>4 [1,1,1,1,1,0,0,1,0,0,0,0]=>3 [1,1,1,1,1,0,1,0,0,0,0,0]=>2 [1,1,1,1,1,1,0,0,0,0,0,0]=>1 [1,0,1,0,1,0,1,0,1,0,1,0,1,0]=>429 [1,0,1,0,1,0,1,0,1,0,1,1,0,0]=>297 [1,0,1,0,1,0,1,0,1,1,0,0,1,0]=>345 [1,0,1,0,1,0,1,0,1,1,0,1,0,0]=>255 [1,0,1,0,1,0,1,0,1,1,1,0,0,0]=>165 [1,0,1,0,1,0,1,1,0,0,1,0,1,0]=>359 [1,0,1,0,1,0,1,1,0,0,1,1,0,0]=>255 [1,0,1,0,1,0,1,1,0,1,0,0,1,0]=>303 [1,0,1,0,1,0,1,1,0,1,0,1,0,0]=>227 [1,0,1,0,1,0,1,1,0,1,1,0,0,0]=>151 [1,0,1,0,1,0,1,1,1,0,0,0,1,0]=>219 [1,0,1,0,1,0,1,1,1,0,0,1,0,0]=>171 [1,0,1,0,1,0,1,1,1,0,1,0,0,0]=>123 [1,0,1,0,1,0,1,1,1,1,0,0,0,0]=>75 [1,0,1,0,1,1,0,0,1,0,1,0,1,0]=>359 [1,0,1,0,1,1,0,0,1,0,1,1,0,0]=>252 [1,0,1,0,1,1,0,0,1,1,0,0,1,0]=>295 [1,0,1,0,1,1,0,0,1,1,0,1,0,0]=>220 [1,0,1,0,1,1,0,0,1,1,1,0,0,0]=>145 [1,0,1,0,1,1,0,1,0,0,1,0,1,0]=>314 [1,0,1,0,1,1,0,1,0,0,1,1,0,0]=>225 [1,0,1,0,1,1,0,1,0,1,0,0,1,0]=>268 [1,0,1,0,1,1,0,1,0,1,0,1,0,0]=>202 [1,0,1,0,1,1,0,1,0,1,1,0,0,0]=>136 [1,0,1,0,1,1,0,1,1,0,0,0,1,0]=>199 [1,0,1,0,1,1,0,1,1,0,0,1,0,0]=>156 [1,0,1,0,1,1,0,1,1,0,1,0,0,0]=>113 [1,0,1,0,1,1,0,1,1,1,0,0,0,0]=>70 [1,0,1,0,1,1,1,0,0,0,1,0,1,0]=>233 [1,0,1,0,1,1,1,0,0,0,1,1,0,0]=>171 [1,0,1,0,1,1,1,0,0,1,0,0,1,0]=>205 [1,0,1,0,1,1,1,0,0,1,0,1,0,0]=>157 [1,0,1,0,1,1,1,0,0,1,1,0,0,0]=>109 [1,0,1,0,1,1,1,0,1,0,0,0,1,0]=>163 [1,0,1,0,1,1,1,0,1,0,0,1,0,0]=>129 [1,0,1,0,1,1,1,0,1,0,1,0,0,0]=>95 [1,0,1,0,1,1,1,0,1,1,0,0,0,0]=>61 [1,0,1,0,1,1,1,1,0,0,0,0,1,0]=>107 [1,0,1,0,1,1,1,1,0,0,0,1,0,0]=>87 [1,0,1,0,1,1,1,1,0,0,1,0,0,0]=>67 [1,0,1,0,1,1,1,1,0,1,0,0,0,0]=>47 [1,0,1,0,1,1,1,1,1,0,0,0,0,0]=>27 [1,0,1,1,0,0,1,0,1,0,1,0,1,0]=>345 [1,0,1,1,0,0,1,0,1,0,1,1,0,0]=>241 [1,0,1,1,0,0,1,0,1,1,0,0,1,0]=>281 [1,0,1,1,0,0,1,0,1,1,0,1,0,0]=>209 [1,0,1,1,0,0,1,0,1,1,1,0,0,0]=>137 [1,0,1,1,0,0,1,1,0,0,1,0,1,0]=>295 [1,0,1,1,0,0,1,1,0,0,1,1,0,0]=>211 [1,0,1,1,0,0,1,1,0,1,0,0,1,0]=>251 [1,0,1,1,0,0,1,1,0,1,0,1,0,0]=>189 [1,0,1,1,0,0,1,1,0,1,1,0,0,0]=>127 [1,0,1,1,0,0,1,1,1,0,0,0,1,0]=>185 [1,0,1,1,0,0,1,1,1,0,0,1,0,0]=>145 [1,0,1,1,0,0,1,1,1,0,1,0,0,0]=>105 [1,0,1,1,0,0,1,1,1,1,0,0,0,0]=>65 [1,0,1,1,0,1,0,0,1,0,1,0,1,0]=>303 [1,0,1,1,0,1,0,0,1,0,1,1,0,0]=>214 [1,0,1,1,0,1,0,0,1,1,0,0,1,0]=>251 [1,0,1,1,0,1,0,0,1,1,0,1,0,0]=>188 [1,0,1,1,0,1,0,0,1,1,1,0,0,0]=>125 [1,0,1,1,0,1,0,1,0,0,1,0,1,0]=>268 [1,0,1,1,0,1,0,1,0,0,1,1,0,0]=>193 [1,0,1,1,0,1,0,1,0,1,0,0,1,0]=>230 [1,0,1,1,0,1,0,1,0,1,0,1,0,0]=>174 [1,0,1,1,0,1,0,1,0,1,1,0,0,0]=>118 [1,0,1,1,0,1,0,1,1,0,0,0,1,0]=>173 [1,0,1,1,0,1,0,1,1,0,0,1,0,0]=>136 [1,0,1,1,0,1,0,1,1,0,1,0,0,0]=>99 [1,0,1,1,0,1,0,1,1,1,0,0,0,0]=>62 [1,0,1,1,0,1,1,0,0,0,1,0,1,0]=>205 [1,0,1,1,0,1,1,0,0,0,1,1,0,0]=>151 [1,0,1,1,0,1,1,0,0,1,0,0,1,0]=>181 [1,0,1,1,0,1,1,0,0,1,0,1,0,0]=>139 [1,0,1,1,0,1,1,0,0,1,1,0,0,0]=>97 [1,0,1,1,0,1,1,0,1,0,0,0,1,0]=>145 [1,0,1,1,0,1,1,0,1,0,0,1,0,0]=>115 [1,0,1,1,0,1,1,0,1,0,1,0,0,0]=>85 [1,0,1,1,0,1,1,0,1,1,0,0,0,0]=>55 [1,0,1,1,0,1,1,1,0,0,0,0,1,0]=>97 [1,0,1,1,0,1,1,1,0,0,0,1,0,0]=>79 [1,0,1,1,0,1,1,1,0,0,1,0,0,0]=>61 [1,0,1,1,0,1,1,1,0,1,0,0,0,0]=>43 [1,0,1,1,0,1,1,1,1,0,0,0,0,0]=>25 [1,0,1,1,1,0,0,0,1,0,1,0,1,0]=>219 [1,0,1,1,1,0,0,0,1,0,1,1,0,0]=>157 [1,0,1,1,1,0,0,0,1,1,0,0,1,0]=>185 [1,0,1,1,1,0,0,0,1,1,0,1,0,0]=>140 [1,0,1,1,1,0,0,0,1,1,1,0,0,0]=>95 [1,0,1,1,1,0,0,1,0,0,1,0,1,0]=>199 [1,0,1,1,1,0,0,1,0,0,1,1,0,0]=>145 [1,0,1,1,1,0,0,1,0,1,0,0,1,0]=>173 [1,0,1,1,1,0,0,1,0,1,0,1,0,0]=>132 [1,0,1,1,1,0,0,1,0,1,1,0,0,0]=>91 [1,0,1,1,1,0,0,1,1,0,0,0,1,0]=>134 [1,0,1,1,1,0,0,1,1,0,0,1,0,0]=>106 [1,0,1,1,1,0,0,1,1,0,1,0,0,0]=>78 [1,0,1,1,1,0,0,1,1,1,0,0,0,0]=>50 [1,0,1,1,1,0,1,0,0,0,1,0,1,0]=>163 [1,0,1,1,1,0,1,0,0,0,1,1,0,0]=>121 [1,0,1,1,1,0,1,0,0,1,0,0,1,0]=>145 [1,0,1,1,1,0,1,0,0,1,0,1,0,0]=>112 [1,0,1,1,1,0,1,0,0,1,1,0,0,0]=>79 [1,0,1,1,1,0,1,0,1,0,0,0,1,0]=>118 [1,0,1,1,1,0,1,0,1,0,0,1,0,0]=>94 [1,0,1,1,1,0,1,0,1,0,1,0,0,0]=>70 [1,0,1,1,1,0,1,0,1,1,0,0,0,0]=>46 [1,0,1,1,1,0,1,1,0,0,0,0,1,0]=>82 [1,0,1,1,1,0,1,1,0,0,0,1,0,0]=>67 [1,0,1,1,1,0,1,1,0,0,1,0,0,0]=>52 [1,0,1,1,1,0,1,1,0,1,0,0,0,0]=>37 [1,0,1,1,1,0,1,1,1,0,0,0,0,0]=>22 [1,0,1,1,1,1,0,0,0,0,1,0,1,0]=>107 [1,0,1,1,1,1,0,0,0,0,1,1,0,0]=>81 [1,0,1,1,1,1,0,0,0,1,0,0,1,0]=>97 [1,0,1,1,1,1,0,0,0,1,0,1,0,0]=>76 [1,0,1,1,1,1,0,0,0,1,1,0,0,0]=>55 [1,0,1,1,1,1,0,0,1,0,0,0,1,0]=>82 [1,0,1,1,1,1,0,0,1,0,0,1,0,0]=>66 [1,0,1,1,1,1,0,0,1,0,1,0,0,0]=>50 [1,0,1,1,1,1,0,0,1,1,0,0,0,0]=>34 [1,0,1,1,1,1,0,1,0,0,0,0,1,0]=>62 [1,0,1,1,1,1,0,1,0,0,0,1,0,0]=>51 [1,0,1,1,1,1,0,1,0,0,1,0,0,0]=>40 [1,0,1,1,1,1,0,1,0,1,0,0,0,0]=>29 [1,0,1,1,1,1,0,1,1,0,0,0,0,0]=>18 [1,0,1,1,1,1,1,0,0,0,0,0,1,0]=>37 [1,0,1,1,1,1,1,0,0,0,0,1,0,0]=>31 [1,0,1,1,1,1,1,0,0,0,1,0,0,0]=>25 [1,0,1,1,1,1,1,0,0,1,0,0,0,0]=>19 [1,0,1,1,1,1,1,0,1,0,0,0,0,0]=>13 [1,0,1,1,1,1,1,1,0,0,0,0,0,0]=>7 [1,1,0,0,1,0,1,0,1,0,1,0,1,0]=>297 [1,1,0,0,1,0,1,0,1,0,1,1,0,0]=>207 [1,1,0,0,1,0,1,0,1,1,0,0,1,0]=>241 [1,1,0,0,1,0,1,0,1,1,0,1,0,0]=>179 [1,1,0,0,1,0,1,0,1,1,1,0,0,0]=>117 [1,1,0,0,1,0,1,1,0,0,1,0,1,0]=>252 [1,1,0,0,1,0,1,1,0,0,1,1,0,0]=>180 [1,1,0,0,1,0,1,1,0,1,0,0,1,0]=>214 [1,1,0,0,1,0,1,1,0,1,0,1,0,0]=>161 [1,1,0,0,1,0,1,1,0,1,1,0,0,0]=>108 [1,1,0,0,1,0,1,1,1,0,0,0,1,0]=>157 [1,1,0,0,1,0,1,1,1,0,0,1,0,0]=>123 [1,1,0,0,1,0,1,1,1,0,1,0,0,0]=>89 [1,1,0,0,1,0,1,1,1,1,0,0,0,0]=>55 [1,1,0,0,1,1,0,0,1,0,1,0,1,0]=>255 [1,1,0,0,1,1,0,0,1,0,1,1,0,0]=>180 [1,1,0,0,1,1,0,0,1,1,0,0,1,0]=>211 [1,1,0,0,1,1,0,0,1,1,0,1,0,0]=>158 [1,1,0,0,1,1,0,0,1,1,1,0,0,0]=>105 [1,1,0,0,1,1,0,1,0,0,1,0,1,0]=>225 [1,1,0,0,1,1,0,1,0,0,1,1,0,0]=>162 [1,1,0,0,1,1,0,1,0,1,0,0,1,0]=>193 [1,1,0,0,1,1,0,1,0,1,0,1,0,0]=>146 [1,1,0,0,1,1,0,1,0,1,1,0,0,0]=>99 [1,1,0,0,1,1,0,1,1,0,0,0,1,0]=>145 [1,1,0,0,1,1,0,1,1,0,0,1,0,0]=>114 [1,1,0,0,1,1,0,1,1,0,1,0,0,0]=>83 [1,1,0,0,1,1,0,1,1,1,0,0,0,0]=>52 [1,1,0,0,1,1,1,0,0,0,1,0,1,0]=>171 [1,1,0,0,1,1,1,0,0,0,1,1,0,0]=>126 [1,1,0,0,1,1,1,0,0,1,0,0,1,0]=>151 [1,1,0,0,1,1,1,0,0,1,0,1,0,0]=>116 [1,1,0,0,1,1,1,0,0,1,1,0,0,0]=>81 [1,1,0,0,1,1,1,0,1,0,0,0,1,0]=>121 [1,1,0,0,1,1,1,0,1,0,0,1,0,0]=>96 [1,1,0,0,1,1,1,0,1,0,1,0,0,0]=>71 [1,1,0,0,1,1,1,0,1,1,0,0,0,0]=>46 [1,1,0,0,1,1,1,1,0,0,0,0,1,0]=>81 [1,1,0,0,1,1,1,1,0,0,0,1,0,0]=>66 [1,1,0,0,1,1,1,1,0,0,1,0,0,0]=>51 [1,1,0,0,1,1,1,1,0,1,0,0,0,0]=>36 [1,1,0,0,1,1,1,1,1,0,0,0,0,0]=>21 [1,1,0,1,0,0,1,0,1,0,1,0,1,0]=>255 [1,1,0,1,0,0,1,0,1,0,1,1,0,0]=>179 [1,1,0,1,0,0,1,0,1,1,0,0,1,0]=>209 [1,1,0,1,0,0,1,0,1,1,0,1,0,0]=>156 [1,1,0,1,0,0,1,0,1,1,1,0,0,0]=>103 [1,1,0,1,0,0,1,1,0,0,1,0,1,0]=>220 [1,1,0,1,0,0,1,1,0,0,1,1,0,0]=>158 [1,1,0,1,0,0,1,1,0,1,0,0,1,0]=>188 [1,1,0,1,0,0,1,1,0,1,0,1,0,0]=>142 [1,1,0,1,0,0,1,1,0,1,1,0,0,0]=>96 [1,1,0,1,0,0,1,1,1,0,0,0,1,0]=>140 [1,1,0,1,0,0,1,1,1,0,0,1,0,0]=>110 [1,1,0,1,0,0,1,1,1,0,1,0,0,0]=>80 [1,1,0,1,0,0,1,1,1,1,0,0,0,0]=>50 [1,1,0,1,0,1,0,0,1,0,1,0,1,0]=>227 [1,1,0,1,0,1,0,0,1,0,1,1,0,0]=>161 [1,1,0,1,0,1,0,0,1,1,0,0,1,0]=>189 [1,1,0,1,0,1,0,0,1,1,0,1,0,0]=>142 [1,1,0,1,0,1,0,0,1,1,1,0,0,0]=>95 [1,1,0,1,0,1,0,1,0,0,1,0,1,0]=>202 [1,1,0,1,0,1,0,1,0,0,1,1,0,0]=>146 [1,1,0,1,0,1,0,1,0,1,0,0,1,0]=>174 [1,1,0,1,0,1,0,1,0,1,0,1,0,0]=>132 [1,1,0,1,0,1,0,1,0,1,1,0,0,0]=>90 [1,1,0,1,0,1,0,1,1,0,0,0,1,0]=>132 [1,1,0,1,0,1,0,1,1,0,0,1,0,0]=>104 [1,1,0,1,0,1,0,1,1,0,1,0,0,0]=>76 [1,1,0,1,0,1,0,1,1,1,0,0,0,0]=>48 [1,1,0,1,0,1,1,0,0,0,1,0,1,0]=>157 [1,1,0,1,0,1,1,0,0,0,1,1,0,0]=>116 [1,1,0,1,0,1,1,0,0,1,0,0,1,0]=>139 [1,1,0,1,0,1,1,0,0,1,0,1,0,0]=>107 [1,1,0,1,0,1,1,0,0,1,1,0,0,0]=>75 [1,1,0,1,0,1,1,0,1,0,0,0,1,0]=>112 [1,1,0,1,0,1,1,0,1,0,0,1,0,0]=>89 [1,1,0,1,0,1,1,0,1,0,1,0,0,0]=>66 [1,1,0,1,0,1,1,0,1,1,0,0,0,0]=>43 [1,1,0,1,0,1,1,1,0,0,0,0,1,0]=>76 [1,1,0,1,0,1,1,1,0,0,0,1,0,0]=>62 [1,1,0,1,0,1,1,1,0,0,1,0,0,0]=>48 [1,1,0,1,0,1,1,1,0,1,0,0,0,0]=>34 [1,1,0,1,0,1,1,1,1,0,0,0,0,0]=>20 [1,1,0,1,1,0,0,0,1,0,1,0,1,0]=>171 [1,1,0,1,1,0,0,0,1,0,1,1,0,0]=>123 [1,1,0,1,1,0,0,0,1,1,0,0,1,0]=>145 [1,1,0,1,1,0,0,0,1,1,0,1,0,0]=>110 [1,1,0,1,1,0,0,0,1,1,1,0,0,0]=>75 [1,1,0,1,1,0,0,1,0,0,1,0,1,0]=>156 [1,1,0,1,1,0,0,1,0,0,1,1,0,0]=>114 [1,1,0,1,1,0,0,1,0,1,0,0,1,0]=>136 [1,1,0,1,1,0,0,1,0,1,0,1,0,0]=>104 [1,1,0,1,1,0,0,1,0,1,1,0,0,0]=>72 [1,1,0,1,1,0,0,1,1,0,0,0,1,0]=>106 [1,1,0,1,1,0,0,1,1,0,0,1,0,0]=>84 [1,1,0,1,1,0,0,1,1,0,1,0,0,0]=>62 [1,1,0,1,1,0,0,1,1,1,0,0,0,0]=>40 [1,1,0,1,1,0,1,0,0,0,1,0,1,0]=>129 [1,1,0,1,1,0,1,0,0,0,1,1,0,0]=>96 [1,1,0,1,1,0,1,0,0,1,0,0,1,0]=>115 [1,1,0,1,1,0,1,0,0,1,0,1,0,0]=>89 [1,1,0,1,1,0,1,0,0,1,1,0,0,0]=>63 [1,1,0,1,1,0,1,0,1,0,0,0,1,0]=>94 [1,1,0,1,1,0,1,0,1,0,0,1,0,0]=>75 [1,1,0,1,1,0,1,0,1,0,1,0,0,0]=>56 [1,1,0,1,1,0,1,0,1,1,0,0,0,0]=>37 [1,1,0,1,1,0,1,1,0,0,0,0,1,0]=>66 [1,1,0,1,1,0,1,1,0,0,0,1,0,0]=>54 [1,1,0,1,1,0,1,1,0,0,1,0,0,0]=>42 [1,1,0,1,1,0,1,1,0,1,0,0,0,0]=>30 [1,1,0,1,1,0,1,1,1,0,0,0,0,0]=>18 [1,1,0,1,1,1,0,0,0,0,1,0,1,0]=>87 [1,1,0,1,1,1,0,0,0,0,1,1,0,0]=>66 [1,1,0,1,1,1,0,0,0,1,0,0,1,0]=>79 [1,1,0,1,1,1,0,0,0,1,0,1,0,0]=>62 [1,1,0,1,1,1,0,0,0,1,1,0,0,0]=>45 [1,1,0,1,1,1,0,0,1,0,0,0,1,0]=>67 [1,1,0,1,1,1,0,0,1,0,0,1,0,0]=>54 [1,1,0,1,1,1,0,0,1,0,1,0,0,0]=>41 [1,1,0,1,1,1,0,0,1,1,0,0,0,0]=>28 [1,1,0,1,1,1,0,1,0,0,0,0,1,0]=>51 [1,1,0,1,1,1,0,1,0,0,0,1,0,0]=>42 [1,1,0,1,1,1,0,1,0,0,1,0,0,0]=>33 [1,1,0,1,1,1,0,1,0,1,0,0,0,0]=>24 [1,1,0,1,1,1,0,1,1,0,0,0,0,0]=>15 [1,1,0,1,1,1,1,0,0,0,0,0,1,0]=>31 [1,1,0,1,1,1,1,0,0,0,0,1,0,0]=>26 [1,1,0,1,1,1,1,0,0,0,1,0,0,0]=>21 [1,1,0,1,1,1,1,0,0,1,0,0,0,0]=>16 [1,1,0,1,1,1,1,0,1,0,0,0,0,0]=>11 [1,1,0,1,1,1,1,1,0,0,0,0,0,0]=>6 [1,1,1,0,0,0,1,0,1,0,1,0,1,0]=>165 [1,1,1,0,0,0,1,0,1,0,1,1,0,0]=>117 [1,1,1,0,0,0,1,0,1,1,0,0,1,0]=>137 [1,1,1,0,0,0,1,0,1,1,0,1,0,0]=>103 [1,1,1,0,0,0,1,0,1,1,1,0,0,0]=>69 [1,1,1,0,0,0,1,1,0,0,1,0,1,0]=>145 [1,1,1,0,0,0,1,1,0,0,1,1,0,0]=>105 [1,1,1,0,0,0,1,1,0,1,0,0,1,0]=>125 [1,1,1,0,0,0,1,1,0,1,0,1,0,0]=>95 [1,1,1,0,0,0,1,1,0,1,1,0,0,0]=>65 [1,1,1,0,0,0,1,1,1,0,0,0,1,0]=>95 [1,1,1,0,0,0,1,1,1,0,0,1,0,0]=>75 [1,1,1,0,0,0,1,1,1,0,1,0,0,0]=>55 [1,1,1,0,0,0,1,1,1,1,0,0,0,0]=>35 [1,1,1,0,0,1,0,0,1,0,1,0,1,0]=>151 [1,1,1,0,0,1,0,0,1,0,1,1,0,0]=>108 [1,1,1,0,0,1,0,0,1,1,0,0,1,0]=>127 [1,1,1,0,0,1,0,0,1,1,0,1,0,0]=>96 [1,1,1,0,0,1,0,0,1,1,1,0,0,0]=>65 [1,1,1,0,0,1,0,1,0,0,1,0,1,0]=>136 [1,1,1,0,0,1,0,1,0,0,1,1,0,0]=>99 [1,1,1,0,0,1,0,1,0,1,0,0,1,0]=>118 [1,1,1,0,0,1,0,1,0,1,0,1,0,0]=>90 [1,1,1,0,0,1,0,1,0,1,1,0,0,0]=>62 [1,1,1,0,0,1,0,1,1,0,0,0,1,0]=>91 [1,1,1,0,0,1,0,1,1,0,0,1,0,0]=>72 [1,1,1,0,0,1,0,1,1,0,1,0,0,0]=>53 [1,1,1,0,0,1,0,1,1,1,0,0,0,0]=>34 [1,1,1,0,0,1,1,0,0,0,1,0,1,0]=>109 [1,1,1,0,0,1,1,0,0,0,1,1,0,0]=>81 [1,1,1,0,0,1,1,0,0,1,0,0,1,0]=>97 [1,1,1,0,0,1,1,0,0,1,0,1,0,0]=>75 [1,1,1,0,0,1,1,0,0,1,1,0,0,0]=>53 [1,1,1,0,0,1,1,0,1,0,0,0,1,0]=>79 [1,1,1,0,0,1,1,0,1,0,0,1,0,0]=>63 [1,1,1,0,0,1,1,0,1,0,1,0,0,0]=>47 [1,1,1,0,0,1,1,0,1,1,0,0,0,0]=>31 [1,1,1,0,0,1,1,1,0,0,0,0,1,0]=>55 [1,1,1,0,0,1,1,1,0,0,0,1,0,0]=>45 [1,1,1,0,0,1,1,1,0,0,1,0,0,0]=>35 [1,1,1,0,0,1,1,1,0,1,0,0,0,0]=>25 [1,1,1,0,0,1,1,1,1,0,0,0,0,0]=>15 [1,1,1,0,1,0,0,0,1,0,1,0,1,0]=>123 [1,1,1,0,1,0,0,0,1,0,1,1,0,0]=>89 [1,1,1,0,1,0,0,0,1,1,0,0,1,0]=>105 [1,1,1,0,1,0,0,0,1,1,0,1,0,0]=>80 [1,1,1,0,1,0,0,0,1,1,1,0,0,0]=>55 [1,1,1,0,1,0,0,1,0,0,1,0,1,0]=>113 [1,1,1,0,1,0,0,1,0,0,1,1,0,0]=>83 [1,1,1,0,1,0,0,1,0,1,0,0,1,0]=>99 [1,1,1,0,1,0,0,1,0,1,0,1,0,0]=>76 [1,1,1,0,1,0,0,1,0,1,1,0,0,0]=>53 [1,1,1,0,1,0,0,1,1,0,0,0,1,0]=>78 [1,1,1,0,1,0,0,1,1,0,0,1,0,0]=>62 [1,1,1,0,1,0,0,1,1,0,1,0,0,0]=>46 [1,1,1,0,1,0,0,1,1,1,0,0,0,0]=>30 [1,1,1,0,1,0,1,0,0,0,1,0,1,0]=>95 [1,1,1,0,1,0,1,0,0,0,1,1,0,0]=>71 [1,1,1,0,1,0,1,0,0,1,0,0,1,0]=>85 [1,1,1,0,1,0,1,0,0,1,0,1,0,0]=>66 [1,1,1,0,1,0,1,0,0,1,1,0,0,0]=>47 [1,1,1,0,1,0,1,0,1,0,0,0,1,0]=>70 [1,1,1,0,1,0,1,0,1,0,0,1,0,0]=>56 [1,1,1,0,1,0,1,0,1,0,1,0,0,0]=>42 [1,1,1,0,1,0,1,0,1,1,0,0,0,0]=>28 [1,1,1,0,1,0,1,1,0,0,0,0,1,0]=>50 [1,1,1,0,1,0,1,1,0,0,0,1,0,0]=>41 [1,1,1,0,1,0,1,1,0,0,1,0,0,0]=>32 [1,1,1,0,1,0,1,1,0,1,0,0,0,0]=>23 [1,1,1,0,1,0,1,1,1,0,0,0,0,0]=>14 [1,1,1,0,1,1,0,0,0,0,1,0,1,0]=>67 [1,1,1,0,1,1,0,0,0,0,1,1,0,0]=>51 [1,1,1,0,1,1,0,0,0,1,0,0,1,0]=>61 [1,1,1,0,1,1,0,0,0,1,0,1,0,0]=>48 [1,1,1,0,1,1,0,0,0,1,1,0,0,0]=>35 [1,1,1,0,1,1,0,0,1,0,0,0,1,0]=>52 [1,1,1,0,1,1,0,0,1,0,0,1,0,0]=>42 [1,1,1,0,1,1,0,0,1,0,1,0,0,0]=>32 [1,1,1,0,1,1,0,0,1,1,0,0,0,0]=>22 [1,1,1,0,1,1,0,1,0,0,0,0,1,0]=>40 [1,1,1,0,1,1,0,1,0,0,0,1,0,0]=>33 [1,1,1,0,1,1,0,1,0,0,1,0,0,0]=>26 [1,1,1,0,1,1,0,1,0,1,0,0,0,0]=>19 [1,1,1,0,1,1,0,1,1,0,0,0,0,0]=>12 [1,1,1,0,1,1,1,0,0,0,0,0,1,0]=>25 [1,1,1,0,1,1,1,0,0,0,0,1,0,0]=>21 [1,1,1,0,1,1,1,0,0,0,1,0,0,0]=>17 [1,1,1,0,1,1,1,0,0,1,0,0,0,0]=>13 [1,1,1,0,1,1,1,0,1,0,0,0,0,0]=>9 [1,1,1,0,1,1,1,1,0,0,0,0,0,0]=>5 [1,1,1,1,0,0,0,0,1,0,1,0,1,0]=>75 [1,1,1,1,0,0,0,0,1,0,1,1,0,0]=>55 [1,1,1,1,0,0,0,0,1,1,0,0,1,0]=>65 [1,1,1,1,0,0,0,0,1,1,0,1,0,0]=>50 [1,1,1,1,0,0,0,0,1,1,1,0,0,0]=>35 [1,1,1,1,0,0,0,1,0,0,1,0,1,0]=>70 [1,1,1,1,0,0,0,1,0,0,1,1,0,0]=>52 [1,1,1,1,0,0,0,1,0,1,0,0,1,0]=>62 [1,1,1,1,0,0,0,1,0,1,0,1,0,0]=>48 [1,1,1,1,0,0,0,1,0,1,1,0,0,0]=>34 [1,1,1,1,0,0,0,1,1,0,0,0,1,0]=>50 [1,1,1,1,0,0,0,1,1,0,0,1,0,0]=>40 [1,1,1,1,0,0,0,1,1,0,1,0,0,0]=>30 [1,1,1,1,0,0,0,1,1,1,0,0,0,0]=>20 [1,1,1,1,0,0,1,0,0,0,1,0,1,0]=>61 [1,1,1,1,0,0,1,0,0,0,1,1,0,0]=>46 [1,1,1,1,0,0,1,0,0,1,0,0,1,0]=>55 [1,1,1,1,0,0,1,0,0,1,0,1,0,0]=>43 [1,1,1,1,0,0,1,0,0,1,1,0,0,0]=>31 [1,1,1,1,0,0,1,0,1,0,0,0,1,0]=>46 [1,1,1,1,0,0,1,0,1,0,0,1,0,0]=>37 [1,1,1,1,0,0,1,0,1,0,1,0,0,0]=>28 [1,1,1,1,0,0,1,0,1,1,0,0,0,0]=>19 [1,1,1,1,0,0,1,1,0,0,0,0,1,0]=>34 [1,1,1,1,0,0,1,1,0,0,0,1,0,0]=>28 [1,1,1,1,0,0,1,1,0,0,1,0,0,0]=>22 [1,1,1,1,0,0,1,1,0,1,0,0,0,0]=>16 [1,1,1,1,0,0,1,1,1,0,0,0,0,0]=>10 [1,1,1,1,0,1,0,0,0,0,1,0,1,0]=>47 [1,1,1,1,0,1,0,0,0,0,1,1,0,0]=>36 [1,1,1,1,0,1,0,0,0,1,0,0,1,0]=>43 [1,1,1,1,0,1,0,0,0,1,0,1,0,0]=>34 [1,1,1,1,0,1,0,0,0,1,1,0,0,0]=>25 [1,1,1,1,0,1,0,0,1,0,0,0,1,0]=>37 [1,1,1,1,0,1,0,0,1,0,0,1,0,0]=>30 [1,1,1,1,0,1,0,0,1,0,1,0,0,0]=>23 [1,1,1,1,0,1,0,0,1,1,0,0,0,0]=>16 [1,1,1,1,0,1,0,1,0,0,0,0,1,0]=>29 [1,1,1,1,0,1,0,1,0,0,0,1,0,0]=>24 [1,1,1,1,0,1,0,1,0,0,1,0,0,0]=>19 [1,1,1,1,0,1,0,1,0,1,0,0,0,0]=>14 [1,1,1,1,0,1,0,1,1,0,0,0,0,0]=>9 [1,1,1,1,0,1,1,0,0,0,0,0,1,0]=>19 [1,1,1,1,0,1,1,0,0,0,0,1,0,0]=>16 [1,1,1,1,0,1,1,0,0,0,1,0,0,0]=>13 [1,1,1,1,0,1,1,0,0,1,0,0,0,0]=>10 [1,1,1,1,0,1,1,0,1,0,0,0,0,0]=>7 [1,1,1,1,0,1,1,1,0,0,0,0,0,0]=>4 [1,1,1,1,1,0,0,0,0,0,1,0,1,0]=>27 [1,1,1,1,1,0,0,0,0,0,1,1,0,0]=>21 [1,1,1,1,1,0,0,0,0,1,0,0,1,0]=>25 [1,1,1,1,1,0,0,0,0,1,0,1,0,0]=>20 [1,1,1,1,1,0,0,0,0,1,1,0,0,0]=>15 [1,1,1,1,1,0,0,0,1,0,0,0,1,0]=>22 [1,1,1,1,1,0,0,0,1,0,0,1,0,0]=>18 [1,1,1,1,1,0,0,0,1,0,1,0,0,0]=>14 [1,1,1,1,1,0,0,0,1,1,0,0,0,0]=>10 [1,1,1,1,1,0,0,1,0,0,0,0,1,0]=>18 [1,1,1,1,1,0,0,1,0,0,0,1,0,0]=>15 [1,1,1,1,1,0,0,1,0,0,1,0,0,0]=>12 [1,1,1,1,1,0,0,1,0,1,0,0,0,0]=>9 [1,1,1,1,1,0,0,1,1,0,0,0,0,0]=>6 [1,1,1,1,1,0,1,0,0,0,0,0,1,0]=>13 [1,1,1,1,1,0,1,0,0,0,0,1,0,0]=>11 [1,1,1,1,1,0,1,0,0,0,1,0,0,0]=>9 [1,1,1,1,1,0,1,0,0,1,0,0,0,0]=>7 [1,1,1,1,1,0,1,0,1,0,0,0,0,0]=>5 [1,1,1,1,1,0,1,1,0,0,0,0,0,0]=>3 [1,1,1,1,1,1,0,0,0,0,0,0,1,0]=>7 [1,1,1,1,1,1,0,0,0,0,0,1,0,0]=>6 [1,1,1,1,1,1,0,0,0,0,1,0,0,0]=>5 [1,1,1,1,1,1,0,0,0,1,0,0,0,0]=>4 [1,1,1,1,1,1,0,0,1,0,0,0,0,0]=>3 [1,1,1,1,1,1,0,1,0,0,0,0,0,0]=>2 [1,1,1,1,1,1,1,0,0,0,0,0,0,0]=>1 [1,0,1,0,1,0,1,0,1,0,1,0,1,0,1,0]=>1430 [1,0,1,0,1,0,1,0,1,0,1,0,1,1,0,0]=>1001 [1,0,1,0,1,0,1,0,1,0,1,1,0,0,1,0]=>1166 [1,0,1,0,1,0,1,0,1,0,1,1,0,1,0,0]=>869 [1,0,1,0,1,0,1,0,1,0,1,1,1,0,0,0]=>572 [1,0,1,0,1,0,1,0,1,1,0,0,1,0,1,0]=>1220 [1,0,1,0,1,0,1,0,1,1,0,0,1,1,0,0]=>875 [1,0,1,0,1,0,1,0,1,1,0,1,0,0,1,0]=>1040 [1,0,1,0,1,0,1,0,1,1,0,1,0,1,0,0]=>785 [1,0,1,0,1,0,1,0,1,1,0,1,1,0,0,0]=>530 [1,0,1,0,1,0,1,0,1,1,1,0,0,0,1,0]=>770 [1,0,1,0,1,0,1,0,1,1,1,0,0,1,0,0]=>605 [1,0,1,0,1,0,1,0,1,1,1,0,1,0,0,0]=>440 [1,0,1,0,1,0,1,0,1,1,1,1,0,0,0,0]=>275 [1,0,1,0,1,0,1,1,0,0,1,0,1,0,1,0]=>1234 [1,0,1,0,1,0,1,1,0,0,1,0,1,1,0,0]=>875 [1,0,1,0,1,0,1,1,0,0,1,1,0,0,1,0]=>1026 [1,0,1,0,1,0,1,1,0,0,1,1,0,1,0,0]=>771 [1,0,1,0,1,0,1,1,0,0,1,1,1,0,0,0]=>516 [1,0,1,0,1,0,1,1,0,1,0,0,1,0,1,0]=>1094 [1,0,1,0,1,0,1,1,0,1,0,0,1,1,0,0]=>791 [1,0,1,0,1,0,1,1,0,1,0,1,0,0,1,0]=>942 [1,0,1,0,1,0,1,1,0,1,0,1,0,1,0,0]=>715 [1,0,1,0,1,0,1,1,0,1,0,1,1,0,0,0]=>488 [1,0,1,0,1,0,1,1,0,1,1,0,0,0,1,0]=>714 [1,0,1,0,1,0,1,1,0,1,1,0,0,1,0,0]=>563 [1,0,1,0,1,0,1,1,0,1,1,0,1,0,0,0]=>412 [1,0,1,0,1,0,1,1,0,1,1,1,0,0,0,0]=>261 [1,0,1,0,1,0,1,1,1,0,0,0,1,0,1,0]=>842 [1,0,1,0,1,0,1,1,1,0,0,0,1,1,0,0]=>623 [1,0,1,0,1,0,1,1,1,0,0,1,0,0,1,0]=>746 [1,0,1,0,1,0,1,1,1,0,0,1,0,1,0,0]=>575 [1,0,1,0,1,0,1,1,1,0,0,1,1,0,0,0]=>404 [1,0,1,0,1,0,1,1,1,0,1,0,0,0,1,0]=>602 [1,0,1,0,1,0,1,1,1,0,1,0,0,1,0,0]=>479 [1,0,1,0,1,0,1,1,1,0,1,0,1,0,0,0]=>356 [1,0,1,0,1,0,1,1,1,0,1,1,0,0,0,0]=>233 [1,0,1,0,1,0,1,1,1,1,0,0,0,0,1,0]=>410 [1,0,1,0,1,0,1,1,1,1,0,0,0,1,0,0]=>335 [1,0,1,0,1,0,1,1,1,1,0,0,1,0,0,0]=>260 [1,0,1,0,1,0,1,1,1,1,0,1,0,0,0,0]=>185 [1,0,1,0,1,0,1,1,1,1,1,0,0,0,0,0]=>110 [1,0,1,0,1,1,0,0,1,0,1,0,1,0,1,0]=>1220 [1,0,1,0,1,1,0,0,1,0,1,0,1,1,0,0]=>861 [1,0,1,0,1,1,0,0,1,0,1,1,0,0,1,0]=>1006 [1,0,1,0,1,1,0,0,1,0,1,1,0,1,0,0]=>754 [1,0,1,0,1,1,0,0,1,0,1,1,1,0,0,0]=>502 [1,0,1,0,1,1,0,0,1,1,0,0,1,0,1,0]=>1060 [1,0,1,0,1,1,0,0,1,1,0,0,1,1,0,0]=>765 [1,0,1,0,1,1,0,0,1,1,0,1,0,0,1,0]=>910 [1,0,1,0,1,1,0,0,1,1,0,1,0,1,0,0]=>690 [1,0,1,0,1,1,0,0,1,1,0,1,1,0,0,0]=>470 [1,0,1,0,1,1,0,0,1,1,1,0,0,0,1,0]=>685 [1,0,1,0,1,1,0,0,1,1,1,0,0,1,0,0]=>540 [1,0,1,0,1,1,0,0,1,1,1,0,1,0,0,0]=>395 [1,0,1,0,1,1,0,0,1,1,1,1,0,0,0,0]=>250 [1,0,1,0,1,1,0,1,0,0,1,0,1,0,1,0]=>1094 [1,0,1,0,1,1,0,1,0,0,1,0,1,1,0,0]=>780 [1,0,1,0,1,1,0,1,0,0,1,1,0,0,1,0]=>916 [1,0,1,0,1,1,0,1,0,0,1,1,0,1,0,0]=>691 [1,0,1,0,1,1,0,1,0,0,1,1,1,0,0,0]=>466 [1,0,1,0,1,1,0,1,0,1,0,0,1,0,1,0]=>979 [1,0,1,0,1,1,0,1,0,1,0,0,1,1,0,0]=>711 [1,0,1,0,1,1,0,1,0,1,0,1,0,0,1,0]=>847 [1,0,1,0,1,1,0,1,0,1,0,1,0,1,0,0]=>645 [1,0,1,0,1,1,0,1,0,1,0,1,1,0,0,0]=>443 [1,0,1,0,1,1,0,1,0,1,1,0,0,0,1,0]=>649 [1,0,1,0,1,1,0,1,0,1,1,0,0,1,0,0]=>513 [1,0,1,0,1,1,0,1,0,1,1,0,1,0,0,0]=>377 [1,0,1,0,1,1,0,1,0,1,1,1,0,0,0,0]=>241 [1,0,1,0,1,1,0,1,1,0,0,0,1,0,1,0]=>772 [1,0,1,0,1,1,0,1,1,0,0,0,1,1,0,0]=>573 [1,0,1,0,1,1,0,1,1,0,0,1,0,0,1,0]=>686 [1,0,1,0,1,1,0,1,1,0,0,1,0,1,0,0]=>530 [1,0,1,0,1,1,0,1,1,0,0,1,1,0,0,0]=>374 [1,0,1,0,1,1,0,1,1,0,1,0,0,0,1,0]=>557 [1,0,1,0,1,1,0,1,1,0,1,0,0,1,0,0]=>444 [1,0,1,0,1,1,0,1,1,0,1,0,1,0,0,0]=>331 [1,0,1,0,1,1,0,1,1,0,1,1,0,0,0,0]=>218 [1,0,1,0,1,1,0,1,1,1,0,0,0,0,1,0]=>385 [1,0,1,0,1,1,0,1,1,1,0,0,0,1,0,0]=>315 [1,0,1,0,1,1,0,1,1,1,0,0,1,0,0,0]=>245 [1,0,1,0,1,1,0,1,1,1,0,1,0,0,0,0]=>175 [1,0,1,0,1,1,0,1,1,1,1,0,0,0,0,0]=>105 [1,0,1,0,1,1,1,0,0,0,1,0,1,0,1,0]=>842 [1,0,1,0,1,1,1,0,0,0,1,0,1,1,0,0]=>609 [1,0,1,0,1,1,1,0,0,0,1,1,0,0,1,0]=>718 [1,0,1,0,1,1,1,0,0,0,1,1,0,1,0,0]=>547 [1,0,1,0,1,1,1,0,0,0,1,1,1,0,0,0]=>376 [1,0,1,0,1,1,1,0,0,1,0,0,1,0,1,0]=>772 [1,0,1,0,1,1,1,0,0,1,0,0,1,1,0,0]=>567 [1,0,1,0,1,1,1,0,0,1,0,1,0,0,1,0]=>676 [1,0,1,0,1,1,1,0,0,1,0,1,0,1,0,0]=>519 [1,0,1,0,1,1,1,0,0,1,0,1,1,0,0,0]=>362 [1,0,1,0,1,1,1,0,0,1,1,0,0,0,1,0]=>532 [1,0,1,0,1,1,1,0,0,1,1,0,0,1,0,0]=>423 [1,0,1,0,1,1,1,0,0,1,1,0,1,0,0,0]=>314 [1,0,1,0,1,1,1,0,0,1,1,1,0,0,0,0]=>205 [1,0,1,0,1,1,1,0,1,0,0,0,1,0,1,0]=>646 [1,0,1,0,1,1,1,0,1,0,0,0,1,1,0,0]=>483 [1,0,1,0,1,1,1,0,1,0,0,1,0,0,1,0]=>578 [1,0,1,0,1,1,1,0,1,0,0,1,0,1,0,0]=>449 [1,0,1,0,1,1,1,0,1,0,0,1,1,0,0,0]=>320 [1,0,1,0,1,1,1,0,1,0,1,0,0,0,1,0]=>476 [1,0,1,0,1,1,1,0,1,0,1,0,0,1,0,0]=>381 [1,0,1,0,1,1,1,0,1,0,1,0,1,0,0,0]=>286 [1,0,1,0,1,1,1,0,1,0,1,1,0,0,0,0]=>191 [1,0,1,0,1,1,1,0,1,1,0,0,0,0,1,0]=>340 [1,0,1,0,1,1,1,0,1,1,0,0,0,1,0,0]=>279 [1,0,1,0,1,1,1,0,1,1,0,0,1,0,0,0]=>218 [1,0,1,0,1,1,1,0,1,1,0,1,0,0,0,0]=>157 [1,0,1,0,1,1,1,0,1,1,1,0,0,0,0,0]=>96 [1,0,1,0,1,1,1,1,0,0,0,0,1,0,1,0]=>450 [1,0,1,0,1,1,1,1,0,0,0,0,1,1,0,0]=>343 [1,0,1,0,1,1,1,1,0,0,0,1,0,0,1,0]=>410 [1,0,1,0,1,1,1,1,0,0,0,1,0,1,0,0]=>323 [1,0,1,0,1,1,1,1,0,0,0,1,1,0,0,0]=>236 [1,0,1,0,1,1,1,1,0,0,1,0,0,0,1,0]=>350 [1,0,1,0,1,1,1,1,0,0,1,0,0,1,0,0]=>283 [1,0,1,0,1,1,1,1,0,0,1,0,1,0,0,0]=>216 [1,0,1,0,1,1,1,1,0,0,1,1,0,0,0,0]=>149 [1,0,1,0,1,1,1,1,0,1,0,0,0,0,1,0]=>270 [1,0,1,0,1,1,1,1,0,1,0,0,0,1,0,0]=>223 [1,0,1,0,1,1,1,1,0,1,0,0,1,0,0,0]=>176 [1,0,1,0,1,1,1,1,0,1,0,1,0,0,0,0]=>129 [1,0,1,0,1,1,1,1,0,1,1,0,0,0,0,0]=>82 [1,0,1,0,1,1,1,1,1,0,0,0,0,0,1,0]=>170 [1,0,1,0,1,1,1,1,1,0,0,0,0,1,0,0]=>143 [1,0,1,0,1,1,1,1,1,0,0,0,1,0,0,0]=>116 [1,0,1,0,1,1,1,1,1,0,0,1,0,0,0,0]=>89 [1,0,1,0,1,1,1,1,1,0,1,0,0,0,0,0]=>62 [1,0,1,0,1,1,1,1,1,1,0,0,0,0,0,0]=>35 [1,0,1,1,0,0,1,0,1,0,1,0,1,0,1,0]=>1166 [1,0,1,1,0,0,1,0,1,0,1,0,1,1,0,0]=>821 [1,0,1,1,0,0,1,0,1,0,1,1,0,0,1,0]=>958 [1,0,1,1,0,0,1,0,1,0,1,1,0,1,0,0]=>717 [1,0,1,1,0,0,1,0,1,0,1,1,1,0,0,0]=>476 [1,0,1,1,0,0,1,0,1,1,0,0,1,0,1,0]=>1006 [1,0,1,1,0,0,1,0,1,1,0,0,1,1,0,0]=>725 [1,0,1,1,0,0,1,0,1,1,0,1,0,0,1,0]=>862 [1,0,1,1,0,0,1,0,1,1,0,1,0,1,0,0]=>653 [1,0,1,1,0,0,1,0,1,1,0,1,1,0,0,0]=>444 [1,0,1,1,0,0,1,0,1,1,1,0,0,0,1,0]=>646 [1,0,1,1,0,0,1,0,1,1,1,0,0,1,0,0]=>509 [1,0,1,1,0,0,1,0,1,1,1,0,1,0,0,0]=>372 [1,0,1,1,0,0,1,0,1,1,1,1,0,0,0,0]=>235 [1,0,1,1,0,0,1,1,0,0,1,0,1,0,1,0]=>1026 [1,0,1,1,0,0,1,1,0,0,1,0,1,1,0,0]=>731 [1,0,1,1,0,0,1,1,0,0,1,1,0,0,1,0]=>858 [1,0,1,1,0,0,1,1,0,0,1,1,0,1,0,0]=>647 [1,0,1,1,0,0,1,1,0,0,1,1,1,0,0,0]=>436 [1,0,1,1,0,0,1,1,0,1,0,0,1,0,1,0]=>916 [1,0,1,1,0,0,1,1,0,1,0,0,1,1,0,0]=>665 [1,0,1,1,0,0,1,1,0,1,0,1,0,0,1,0]=>792 [1,0,1,1,0,0,1,1,0,1,0,1,0,1,0,0]=>603 [1,0,1,1,0,0,1,1,0,1,0,1,1,0,0,0]=>414 [1,0,1,1,0,0,1,1,0,1,1,0,0,0,1,0]=>606 [1,0,1,1,0,0,1,1,0,1,1,0,0,1,0,0]=>479 [1,0,1,1,0,0,1,1,0,1,1,0,1,0,0,0]=>352 [1,0,1,1,0,0,1,1,0,1,1,1,0,0,0,0]=>225 [1,0,1,1,0,0,1,1,1,0,0,0,1,0,1,0]=>718 [1,0,1,1,0,0,1,1,1,0,0,0,1,1,0,0]=>533 [1,0,1,1,0,0,1,1,1,0,0,1,0,0,1,0]=>638 [1,0,1,1,0,0,1,1,1,0,0,1,0,1,0,0]=>493 [1,0,1,1,0,0,1,1,1,0,0,1,1,0,0,0]=>348 [1,0,1,1,0,0,1,1,1,0,1,0,0,0,1,0]=>518 [1,0,1,1,0,0,1,1,1,0,1,0,0,1,0,0]=>413 [1,0,1,1,0,0,1,1,1,0,1,0,1,0,0,0]=>308 [1,0,1,1,0,0,1,1,1,0,1,1,0,0,0,0]=>203 [1,0,1,1,0,0,1,1,1,1,0,0,0,0,1,0]=>358 [1,0,1,1,0,0,1,1,1,1,0,0,0,1,0,0]=>293 [1,0,1,1,0,0,1,1,1,1,0,0,1,0,0,0]=>228 [1,0,1,1,0,0,1,1,1,1,0,1,0,0,0,0]=>163 [1,0,1,1,0,0,1,1,1,1,1,0,0,0,0,0]=>98 [1,0,1,1,0,1,0,0,1,0,1,0,1,0,1,0]=>1040 [1,0,1,1,0,1,0,0,1,0,1,0,1,1,0,0]=>737 [1,0,1,1,0,1,0,0,1,0,1,1,0,0,1,0]=>862 [1,0,1,1,0,1,0,0,1,0,1,1,0,1,0,0]=>648 [1,0,1,1,0,1,0,0,1,0,1,1,1,0,0,0]=>434 [1,0,1,1,0,1,0,0,1,1,0,0,1,0,1,0]=>910 [1,0,1,1,0,1,0,0,1,1,0,0,1,1,0,0]=>659 [1,0,1,1,0,1,0,0,1,1,0,1,0,0,1,0]=>784 [1,0,1,1,0,1,0,0,1,1,0,1,0,1,0,0]=>596 [1,0,1,1,0,1,0,0,1,1,0,1,1,0,0,0]=>408 [1,0,1,1,0,1,0,0,1,1,1,0,0,0,1,0]=>595 [1,0,1,1,0,1,0,0,1,1,1,0,0,1,0,0]=>470 [1,0,1,1,0,1,0,0,1,1,1,0,1,0,0,0]=>345 [1,0,1,1,0,1,0,0,1,1,1,1,0,0,0,0]=>220 [1,0,1,1,0,1,0,1,0,0,1,0,1,0,1,0]=>942 [1,0,1,1,0,1,0,1,0,0,1,0,1,1,0,0]=>674 [1,0,1,1,0,1,0,1,0,0,1,1,0,0,1,0]=>792 [1,0,1,1,0,1,0,1,0,0,1,1,0,1,0,0]=>599 [1,0,1,1,0,1,0,1,0,0,1,1,1,0,0,0]=>406 [1,0,1,1,0,1,0,1,0,1,0,0,1,0,1,0]=>847 [1,0,1,1,0,1,0,1,0,1,0,0,1,1,0,0]=>617 [1,0,1,1,0,1,0,1,0,1,0,1,0,0,1,0]=>735 [1,0,1,1,0,1,0,1,0,1,0,1,0,1,0,0]=>561 [1,0,1,1,0,1,0,1,0,1,0,1,1,0,0,0]=>387 [1,0,1,1,0,1,0,1,0,1,1,0,0,0,1,0]=>567 [1,0,1,1,0,1,0,1,0,1,1,0,0,1,0,0]=>449 [1,0,1,1,0,1,0,1,0,1,1,0,1,0,0,0]=>331 [1,0,1,1,0,1,0,1,0,1,1,1,0,0,0,0]=>213 [1,0,1,1,0,1,0,1,1,0,0,0,1,0,1,0]=>676 [1,0,1,1,0,1,0,1,1,0,0,0,1,1,0,0]=>503 [1,0,1,1,0,1,0,1,1,0,0,1,0,0,1,0]=>602 [1,0,1,1,0,1,0,1,1,0,0,1,0,1,0,0]=>466 [1,0,1,1,0,1,0,1,1,0,0,1,1,0,0,0]=>330 [1,0,1,1,0,1,0,1,1,0,1,0,0,0,1,0]=>491 [1,0,1,1,0,1,0,1,1,0,1,0,0,1,0,0]=>392 [1,0,1,1,0,1,0,1,1,0,1,0,1,0,0,0]=>293 [1,0,1,1,0,1,0,1,1,0,1,1,0,0,0,0]=>194 [1,0,1,1,0,1,0,1,1,1,0,0,0,0,1,0]=>343 [1,0,1,1,0,1,0,1,1,1,0,0,0,1,0,0]=>281 [1,0,1,1,0,1,0,1,1,1,0,0,1,0,0,0]=>219 [1,0,1,1,0,1,0,1,1,1,0,1,0,0,0,0]=>157 [1,0,1,1,0,1,0,1,1,1,1,0,0,0,0,0]=>95 [1,0,1,1,0,1,1,0,0,0,1,0,1,0,1,0]=>746 [1,0,1,1,0,1,1,0,0,0,1,0,1,1,0,0]=>541 [1,0,1,1,0,1,1,0,0,0,1,1,0,0,1,0]=>638 [1,0,1,1,0,1,1,0,0,0,1,1,0,1,0,0]=>487 [1,0,1,1,0,1,1,0,0,0,1,1,1,0,0,0]=>336 [1,0,1,1,0,1,1,0,0,1,0,0,1,0,1,0]=>686 [1,0,1,1,0,1,1,0,0,1,0,0,1,1,0,0]=>505 [1,0,1,1,0,1,1,0,0,1,0,1,0,0,1,0]=>602 [1,0,1,1,0,1,1,0,0,1,0,1,0,1,0,0]=>463 [1,0,1,1,0,1,1,0,0,1,0,1,1,0,0,0]=>324 [1,0,1,1,0,1,1,0,0,1,1,0,0,0,1,0]=>476 [1,0,1,1,0,1,1,0,0,1,1,0,0,1,0,0]=>379 [1,0,1,1,0,1,1,0,0,1,1,0,1,0,0,0]=>282 [1,0,1,1,0,1,1,0,0,1,1,1,0,0,0,0]=>185 [1,0,1,1,0,1,1,0,1,0,0,0,1,0,1,0]=>578 [1,0,1,1,0,1,1,0,1,0,0,0,1,1,0,0]=>433 [1,0,1,1,0,1,1,0,1,0,0,1,0,0,1,0]=>518 [1,0,1,1,0,1,1,0,1,0,0,1,0,1,0,0]=>403 [1,0,1,1,0,1,1,0,1,0,0,1,1,0,0,0]=>288 [1,0,1,1,0,1,1,0,1,0,1,0,0,0,1,0]=>428 [1,0,1,1,0,1,1,0,1,0,1,0,0,1,0,0]=>343 [1,0,1,1,0,1,1,0,1,0,1,0,1,0,0,0]=>258 [1,0,1,1,0,1,1,0,1,0,1,1,0,0,0,0]=>173 [1,0,1,1,0,1,1,0,1,1,0,0,0,0,1,0]=>308 [1,0,1,1,0,1,1,0,1,1,0,0,0,1,0,0]=>253 [1,0,1,1,0,1,1,0,1,1,0,0,1,0,0,0]=>198 [1,0,1,1,0,1,1,0,1,1,0,1,0,0,0,0]=>143 [1,0,1,1,0,1,1,0,1,1,1,0,0,0,0,0]=>88 [1,0,1,1,0,1,1,1,0,0,0,0,1,0,1,0]=>410 [1,0,1,1,0,1,1,1,0,0,0,0,1,1,0,0]=>313 [1,0,1,1,0,1,1,1,0,0,0,1,0,0,1,0]=>374 [1,0,1,1,0,1,1,1,0,0,0,1,0,1,0,0]=>295 [1,0,1,1,0,1,1,1,0,0,0,1,1,0,0,0]=>216 [1,0,1,1,0,1,1,1,0,0,1,0,0,0,1,0]=>320 [1,0,1,1,0,1,1,1,0,0,1,0,0,1,0,0]=>259 [1,0,1,1,0,1,1,1,0,0,1,0,1,0,0,0]=>198 [1,0,1,1,0,1,1,1,0,0,1,1,0,0,0,0]=>137 [1,0,1,1,0,1,1,1,0,1,0,0,0,0,1,0]=>248 [1,0,1,1,0,1,1,1,0,1,0,0,0,1,0,0]=>205 [1,0,1,1,0,1,1,1,0,1,0,0,1,0,0,0]=>162 [1,0,1,1,0,1,1,1,0,1,0,1,0,0,0,0]=>119 [1,0,1,1,0,1,1,1,0,1,1,0,0,0,0,0]=>76 [1,0,1,1,0,1,1,1,1,0,0,0,0,0,1,0]=>158 [1,0,1,1,0,1,1,1,1,0,0,0,0,1,0,0]=>133 [1,0,1,1,0,1,1,1,1,0,0,0,1,0,0,0]=>108 [1,0,1,1,0,1,1,1,1,0,0,1,0,0,0,0]=>83 [1,0,1,1,0,1,1,1,1,0,1,0,0,0,0,0]=>58 [1,0,1,1,0,1,1,1,1,1,0,0,0,0,0,0]=>33 [1,0,1,1,1,0,0,0,1,0,1,0,1,0,1,0]=>770 [1,0,1,1,1,0,0,0,1,0,1,0,1,1,0,0]=>551 [1,0,1,1,1,0,0,0,1,0,1,1,0,0,1,0]=>646 [1,0,1,1,1,0,0,0,1,0,1,1,0,1,0,0]=>489 [1,0,1,1,1,0,0,0,1,0,1,1,1,0,0,0]=>332 [1,0,1,1,1,0,0,0,1,1,0,0,1,0,1,0]=>685 [1,0,1,1,1,0,0,0,1,1,0,0,1,1,0,0]=>500 [1,0,1,1,1,0,0,0,1,1,0,1,0,0,1,0]=>595 [1,0,1,1,1,0,0,0,1,1,0,1,0,1,0,0]=>455 [1,0,1,1,1,0,0,0,1,1,0,1,1,0,0,0]=>315 [1,0,1,1,1,0,0,0,1,1,1,0,0,0,1,0]=>460 [1,0,1,1,1,0,0,0,1,1,1,0,0,1,0,0]=>365 [1,0,1,1,1,0,0,0,1,1,1,0,1,0,0,0]=>270 [1,0,1,1,1,0,0,0,1,1,1,1,0,0,0,0]=>175 [1,0,1,1,1,0,0,1,0,0,1,0,1,0,1,0]=>714 [1,0,1,1,1,0,0,1,0,0,1,0,1,1,0,0]=>515 [1,0,1,1,1,0,0,1,0,0,1,1,0,0,1,0]=>606 [1,0,1,1,1,0,0,1,0,0,1,1,0,1,0,0]=>461 [1,0,1,1,1,0,0,1,0,0,1,1,1,0,0,0]=>316 [1,0,1,1,1,0,0,1,0,1,0,0,1,0,1,0]=>649 [1,0,1,1,1,0,0,1,0,1,0,0,1,1,0,0]=>476 [1,0,1,1,1,0,0,1,0,1,0,1,0,0,1,0]=>567 [1,0,1,1,1,0,0,1,0,1,0,1,0,1,0,0]=>435 [1,0,1,1,1,0,0,1,0,1,0,1,1,0,0,0]=>303 [1,0,1,1,1,0,0,1,0,1,1,0,0,0,1,0]=>444 [1,0,1,1,1,0,0,1,0,1,1,0,0,1,0,0]=>353 [1,0,1,1,1,0,0,1,0,1,1,0,1,0,0,0]=>262 [1,0,1,1,1,0,0,1,0,1,1,1,0,0,0,0]=>171 [1,0,1,1,1,0,0,1,1,0,0,0,1,0,1,0]=>532 [1,0,1,1,1,0,0,1,1,0,0,0,1,1,0,0]=>398 [1,0,1,1,1,0,0,1,1,0,0,1,0,0,1,0]=>476 [1,0,1,1,1,0,0,1,1,0,0,1,0,1,0,0]=>370 [1,0,1,1,1,0,0,1,1,0,0,1,1,0,0,0]=>264 [1,0,1,1,1,0,0,1,1,0,1,0,0,0,1,0]=>392 [1,0,1,1,1,0,0,1,1,0,1,0,0,1,0,0]=>314 [1,0,1,1,1,0,0,1,1,0,1,0,1,0,0,0]=>236 [1,0,1,1,1,0,0,1,1,0,1,1,0,0,0,0]=>158 [1,0,1,1,1,0,0,1,1,1,0,0,0,0,1,0]=>280 [1,0,1,1,1,0,0,1,1,1,0,0,0,1,0,0]=>230 [1,0,1,1,1,0,0,1,1,1,0,0,1,0,0,0]=>180 [1,0,1,1,1,0,0,1,1,1,0,1,0,0,0,0]=>130 [1,0,1,1,1,0,0,1,1,1,1,0,0,0,0,0]=>80 [1,0,1,1,1,0,1,0,0,0,1,0,1,0,1,0]=>602 [1,0,1,1,1,0,1,0,0,0,1,0,1,1,0,0]=>439 [1,0,1,1,1,0,1,0,0,0,1,1,0,0,1,0]=>518 [1,0,1,1,1,0,1,0,0,0,1,1,0,1,0,0]=>397 [1,0,1,1,1,0,1,0,0,0,1,1,1,0,0,0]=>276 [1,0,1,1,1,0,1,0,0,1,0,0,1,0,1,0]=>557 [1,0,1,1,1,0,1,0,0,1,0,0,1,1,0,0]=>412 [1,0,1,1,1,0,1,0,0,1,0,1,0,0,1,0]=>491 [1,0,1,1,1,0,1,0,0,1,0,1,0,1,0,0]=>379 [1,0,1,1,1,0,1,0,0,1,0,1,1,0,0,0]=>267 [1,0,1,1,1,0,1,0,0,1,1,0,0,0,1,0]=>392 [1,0,1,1,1,0,1,0,0,1,1,0,0,1,0,0]=>313 [1,0,1,1,1,0,1,0,0,1,1,0,1,0,0,0]=>234 [1,0,1,1,1,0,1,0,0,1,1,1,0,0,0,0]=>155 [1,0,1,1,1,0,1,0,1,0,0,0,1,0,1,0]=>476 [1,0,1,1,1,0,1,0,1,0,0,0,1,1,0,0]=>358 [1,0,1,1,1,0,1,0,1,0,0,1,0,0,1,0]=>428 [1,0,1,1,1,0,1,0,1,0,0,1,0,1,0,0]=>334 [1,0,1,1,1,0,1,0,1,0,0,1,1,0,0,0]=>240 [1,0,1,1,1,0,1,0,1,0,1,0,0,0,1,0]=>356 [1,0,1,1,1,0,1,0,1,0,1,0,0,1,0,0]=>286 [1,0,1,1,1,0,1,0,1,0,1,0,1,0,0,0]=>216 [1,0,1,1,1,0,1,0,1,0,1,1,0,0,0,0]=>146 [1,0,1,1,1,0,1,0,1,1,0,0,0,0,1,0]=>260 [1,0,1,1,1,0,1,0,1,1,0,0,0,1,0,0]=>214 [1,0,1,1,1,0,1,0,1,1,0,0,1,0,0,0]=>168 [1,0,1,1,1,0,1,0,1,1,0,1,0,0,0,0]=>122 [1,0,1,1,1,0,1,0,1,1,1,0,0,0,0,0]=>76 [1,0,1,1,1,0,1,1,0,0,0,0,1,0,1,0]=>350 [1,0,1,1,1,0,1,1,0,0,0,0,1,1,0,0]=>268 [1,0,1,1,1,0,1,1,0,0,0,1,0,0,1,0]=>320 [1,0,1,1,1,0,1,1,0,0,0,1,0,1,0,0]=>253 [1,0,1,1,1,0,1,1,0,0,0,1,1,0,0,0]=>186 [1,0,1,1,1,0,1,1,0,0,1,0,0,0,1,0]=>275 [1,0,1,1,1,0,1,1,0,0,1,0,0,1,0,0]=>223 [1,0,1,1,1,0,1,1,0,0,1,0,1,0,0,0]=>171 [1,0,1,1,1,0,1,1,0,0,1,1,0,0,0,0]=>119 [1,0,1,1,1,0,1,1,0,1,0,0,0,0,1,0]=>215 [1,0,1,1,1,0,1,1,0,1,0,0,0,1,0,0]=>178 [1,0,1,1,1,0,1,1,0,1,0,0,1,0,0,0]=>141 [1,0,1,1,1,0,1,1,0,1,0,1,0,0,0,0]=>104 [1,0,1,1,1,0,1,1,0,1,1,0,0,0,0,0]=>67 [1,0,1,1,1,0,1,1,1,0,0,0,0,0,1,0]=>140 [1,0,1,1,1,0,1,1,1,0,0,0,0,1,0,0]=>118 [1,0,1,1,1,0,1,1,1,0,0,0,1,0,0,0]=>96 [1,0,1,1,1,0,1,1,1,0,0,1,0,0,0,0]=>74 [1,0,1,1,1,0,1,1,1,0,1,0,0,0,0,0]=>52 [1,0,1,1,1,0,1,1,1,1,0,0,0,0,0,0]=>30 [1,0,1,1,1,1,0,0,0,0,1,0,1,0,1,0]=>410 [1,0,1,1,1,1,0,0,0,0,1,0,1,1,0,0]=>303 [1,0,1,1,1,1,0,0,0,0,1,1,0,0,1,0]=>358 [1,0,1,1,1,1,0,0,0,0,1,1,0,1,0,0]=>277 [1,0,1,1,1,1,0,0,0,0,1,1,1,0,0,0]=>196 [1,0,1,1,1,1,0,0,0,1,0,0,1,0,1,0]=>385 [1,0,1,1,1,1,0,0,0,1,0,0,1,1,0,0]=>288 [1,0,1,1,1,1,0,0,0,1,0,1,0,0,1,0]=>343 [1,0,1,1,1,1,0,0,0,1,0,1,0,1,0,0]=>267 [1,0,1,1,1,1,0,0,0,1,0,1,1,0,0,0]=>191 [1,0,1,1,1,1,0,0,0,1,1,0,0,0,1,0]=>280 [1,0,1,1,1,1,0,0,0,1,1,0,0,1,0,0]=>225 [1,0,1,1,1,1,0,0,0,1,1,0,1,0,0,0]=>170 [1,0,1,1,1,1,0,0,0,1,1,1,0,0,0,0]=>115 [1,0,1,1,1,1,0,0,1,0,0,0,1,0,1,0]=>340 [1,0,1,1,1,1,0,0,1,0,0,0,1,1,0,0]=>258 [1,0,1,1,1,1,0,0,1,0,0,1,0,0,1,0]=>308 [1,0,1,1,1,1,0,0,1,0,0,1,0,1,0,0]=>242 [1,0,1,1,1,1,0,0,1,0,0,1,1,0,0,0]=>176 [1,0,1,1,1,1,0,0,1,0,1,0,0,0,1,0]=>260 [1,0,1,1,1,1,0,0,1,0,1,0,0,1,0,0]=>210 [1,0,1,1,1,1,0,0,1,0,1,0,1,0,0,0]=>160 [1,0,1,1,1,1,0,0,1,0,1,1,0,0,0,0]=>110 [1,0,1,1,1,1,0,0,1,1,0,0,0,0,1,0]=>196 [1,0,1,1,1,1,0,0,1,1,0,0,0,1,0,0]=>162 [1,0,1,1,1,1,0,0,1,1,0,0,1,0,0,0]=>128 [1,0,1,1,1,1,0,0,1,1,0,1,0,0,0,0]=>94 [1,0,1,1,1,1,0,0,1,1,1,0,0,0,0,0]=>60 [1,0,1,1,1,1,0,1,0,0,0,0,1,0,1,0]=>270 [1,0,1,1,1,1,0,1,0,0,0,0,1,1,0,0]=>208 [1,0,1,1,1,1,0,1,0,0,0,1,0,0,1,0]=>248 [1,0,1,1,1,1,0,1,0,0,0,1,0,1,0,0]=>197 [1,0,1,1,1,1,0,1,0,0,0,1,1,0,0,0]=>146 [1,0,1,1,1,1,0,1,0,0,1,0,0,0,1,0]=>215 [1,0,1,1,1,1,0,1,0,0,1,0,0,1,0,0]=>175 [1,0,1,1,1,1,0,1,0,0,1,0,1,0,0,0]=>135 [1,0,1,1,1,1,0,1,0,0,1,1,0,0,0,0]=>95 [1,0,1,1,1,1,0,1,0,1,0,0,0,0,1,0]=>171 [1,0,1,1,1,1,0,1,0,1,0,0,0,1,0,0]=>142 [1,0,1,1,1,1,0,1,0,1,0,0,1,0,0,0]=>113 [1,0,1,1,1,1,0,1,0,1,0,1,0,0,0,0]=>84 [1,0,1,1,1,1,0,1,0,1,1,0,0,0,0,0]=>55 [1,0,1,1,1,1,0,1,1,0,0,0,0,0,1,0]=>116 [1,0,1,1,1,1,0,1,1,0,0,0,0,1,0,0]=>98 [1,0,1,1,1,1,0,1,1,0,0,0,1,0,0,0]=>80 [1,0,1,1,1,1,0,1,1,0,0,1,0,0,0,0]=>62 [1,0,1,1,1,1,0,1,1,0,1,0,0,0,0,0]=>44 [1,0,1,1,1,1,0,1,1,1,0,0,0,0,0,0]=>26 [1,0,1,1,1,1,1,0,0,0,0,0,1,0,1,0]=>170 [1,0,1,1,1,1,1,0,0,0,0,0,1,1,0,0]=>133 [1,0,1,1,1,1,1,0,0,0,0,1,0,0,1,0]=>158 [1,0,1,1,1,1,1,0,0,0,0,1,0,1,0,0]=>127 [1,0,1,1,1,1,1,0,0,0,0,1,1,0,0,0]=>96 [1,0,1,1,1,1,1,0,0,0,1,0,0,0,1,0]=>140 [1,0,1,1,1,1,1,0,0,0,1,0,0,1,0,0]=>115 [1,0,1,1,1,1,1,0,0,0,1,0,1,0,0,0]=>90 [1,0,1,1,1,1,1,0,0,0,1,1,0,0,0,0]=>65 [1,0,1,1,1,1,1,0,0,1,0,0,0,0,1,0]=>116 [1,0,1,1,1,1,1,0,0,1,0,0,0,1,0,0]=>97 [1,0,1,1,1,1,1,0,0,1,0,0,1,0,0,0]=>78 [1,0,1,1,1,1,1,0,0,1,0,1,0,0,0,0]=>59 [1,0,1,1,1,1,1,0,0,1,1,0,0,0,0,0]=>40 [1,0,1,1,1,1,1,0,1,0,0,0,0,0,1,0]=>86 [1,0,1,1,1,1,1,0,1,0,0,0,0,1,0,0]=>73 [1,0,1,1,1,1,1,0,1,0,0,0,1,0,0,0]=>60 [1,0,1,1,1,1,1,0,1,0,0,1,0,0,0,0]=>47 [1,0,1,1,1,1,1,0,1,0,1,0,0,0,0,0]=>34 [1,0,1,1,1,1,1,0,1,1,0,0,0,0,0,0]=>21 [1,0,1,1,1,1,1,1,0,0,0,0,0,0,1,0]=>50 [1,0,1,1,1,1,1,1,0,0,0,0,0,1,0,0]=>43 [1,0,1,1,1,1,1,1,0,0,0,0,1,0,0,0]=>36 [1,0,1,1,1,1,1,1,0,0,0,1,0,0,0,0]=>29 [1,0,1,1,1,1,1,1,0,0,1,0,0,0,0,0]=>22 [1,0,1,1,1,1,1,1,0,1,0,0,0,0,0,0]=>15 [1,0,1,1,1,1,1,1,1,0,0,0,0,0,0,0]=>8 [1,1,0,0,1,0,1,0,1,0,1,0,1,0,1,0]=>1001 [1,1,0,0,1,0,1,0,1,0,1,0,1,1,0,0]=>704 [1,1,0,0,1,0,1,0,1,0,1,1,0,0,1,0]=>821 [1,1,0,0,1,0,1,0,1,0,1,1,0,1,0,0]=>614 [1,1,0,0,1,0,1,0,1,0,1,1,1,0,0,0]=>407 [1,1,0,0,1,0,1,0,1,1,0,0,1,0,1,0]=>861 [1,1,0,0,1,0,1,0,1,1,0,0,1,1,0,0]=>620 [1,1,0,0,1,0,1,0,1,1,0,1,0,0,1,0]=>737 [1,1,0,0,1,0,1,0,1,1,0,1,0,1,0,0]=>558 [1,1,0,0,1,0,1,0,1,1,0,1,1,0,0,0]=>379 [1,1,0,0,1,0,1,0,1,1,1,0,0,0,1,0]=>551 [1,1,0,0,1,0,1,0,1,1,1,0,0,1,0,0]=>434 [1,1,0,0,1,0,1,0,1,1,1,0,1,0,0,0]=>317 [1,1,0,0,1,0,1,0,1,1,1,1,0,0,0,0]=>200 [1,1,0,0,1,0,1,1,0,0,1,0,1,0,1,0]=>875 [1,1,0,0,1,0,1,1,0,0,1,0,1,1,0,0]=>623 [1,1,0,0,1,0,1,1,0,0,1,1,0,0,1,0]=>731 [1,1,0,0,1,0,1,1,0,0,1,1,0,1,0,0]=>551 [1,1,0,0,1,0,1,1,0,0,1,1,1,0,0,0]=>371 [1,1,0,0,1,0,1,1,0,1,0,0,1,0,1,0]=>780 [1,1,0,0,1,0,1,1,0,1,0,0,1,1,0,0]=>566 [1,1,0,0,1,0,1,1,0,1,0,1,0,0,1,0]=>674 [1,1,0,0,1,0,1,1,0,1,0,1,0,1,0,0]=>513 [1,1,0,0,1,0,1,1,0,1,0,1,1,0,0,0]=>352 [1,1,0,0,1,0,1,1,0,1,1,0,0,0,1,0]=>515 [1,1,0,0,1,0,1,1,0,1,1,0,0,1,0,0]=>407 [1,1,0,0,1,0,1,1,0,1,1,0,1,0,0,0]=>299 [1,1,0,0,1,0,1,1,0,1,1,1,0,0,0,0]=>191 [1,1,0,0,1,0,1,1,1,0,0,0,1,0,1,0]=>609 [1,1,0,0,1,0,1,1,1,0,0,0,1,1,0,0]=>452 [1,1,0,0,1,0,1,1,1,0,0,1,0,0,1,0]=>541 [1,1,0,0,1,0,1,1,1,0,0,1,0,1,0,0]=>418 [1,1,0,0,1,0,1,1,1,0,0,1,1,0,0,0]=>295 [1,1,0,0,1,0,1,1,1,0,1,0,0,0,1,0]=>439 [1,1,0,0,1,0,1,1,1,0,1,0,0,1,0,0]=>350 [1,1,0,0,1,0,1,1,1,0,1,0,1,0,0,0]=>261 [1,1,0,0,1,0,1,1,1,0,1,1,0,0,0,0]=>172 [1,1,0,0,1,0,1,1,1,1,0,0,0,0,1,0]=>303 [1,1,0,0,1,0,1,1,1,1,0,0,0,1,0,0]=>248 [1,1,0,0,1,0,1,1,1,1,0,0,1,0,0,0]=>193 [1,1,0,0,1,0,1,1,1,1,0,1,0,0,0,0]=>138 [1,1,0,0,1,0,1,1,1,1,1,0,0,0,0,0]=>83 [1,1,0,0,1,1,0,0,1,0,1,0,1,0,1,0]=>875 [1,1,0,0,1,1,0,0,1,0,1,0,1,1,0,0]=>620 [1,1,0,0,1,1,0,0,1,0,1,1,0,0,1,0]=>725 [1,1,0,0,1,1,0,0,1,0,1,1,0,1,0,0]=>545 [1,1,0,0,1,1,0,0,1,0,1,1,1,0,0,0]=>365 [1,1,0,0,1,1,0,0,1,1,0,0,1,0,1,0]=>765 [1,1,0,0,1,1,0,0,1,1,0,0,1,1,0,0]=>554 [1,1,0,0,1,1,0,0,1,1,0,1,0,0,1,0]=>659 [1,1,0,0,1,1,0,0,1,1,0,1,0,1,0,0]=>501 [1,1,0,0,1,1,0,0,1,1,0,1,1,0,0,0]=>343 [1,1,0,0,1,1,0,0,1,1,1,0,0,0,1,0]=>500 [1,1,0,0,1,1,0,0,1,1,1,0,0,1,0,0]=>395 [1,1,0,0,1,1,0,0,1,1,1,0,1,0,0,0]=>290 [1,1,0,0,1,1,0,0,1,1,1,1,0,0,0,0]=>185 [1,1,0,0,1,1,0,1,0,0,1,0,1,0,1,0]=>791 [1,1,0,0,1,1,0,1,0,0,1,0,1,1,0,0]=>566 [1,1,0,0,1,1,0,1,0,0,1,1,0,0,1,0]=>665 [1,1,0,0,1,1,0,1,0,0,1,1,0,1,0,0]=>503 [1,1,0,0,1,1,0,1,0,0,1,1,1,0,0,0]=>341 [1,1,0,0,1,1,0,1,0,1,0,0,1,0,1,0]=>711 [1,1,0,0,1,1,0,1,0,1,0,0,1,1,0,0]=>518 [1,1,0,0,1,1,0,1,0,1,0,1,0,0,1,0]=>617 [1,1,0,0,1,1,0,1,0,1,0,1,0,1,0,0]=>471 [1,1,0,0,1,1,0,1,0,1,0,1,1,0,0,0]=>325 [1,1,0,0,1,1,0,1,0,1,1,0,0,0,1,0]=>476 [1,1,0,0,1,1,0,1,0,1,1,0,0,1,0,0]=>377 [1,1,0,0,1,1,0,1,0,1,1,0,1,0,0,0]=>278 [1,1,0,0,1,1,0,1,0,1,1,1,0,0,0,0]=>179 [1,1,0,0,1,1,0,1,1,0,0,0,1,0,1,0]=>567 [1,1,0,0,1,1,0,1,1,0,0,0,1,1,0,0]=>422 [1,1,0,0,1,1,0,1,1,0,0,1,0,0,1,0]=>505 [1,1,0,0,1,1,0,1,1,0,0,1,0,1,0,0]=>391 [1,1,0,0,1,1,0,1,1,0,0,1,1,0,0,0]=>277 [1,1,0,0,1,1,0,1,1,0,1,0,0,0,1,0]=>412 [1,1,0,0,1,1,0,1,1,0,1,0,0,1,0,0]=>329 [1,1,0,0,1,1,0,1,1,0,1,0,1,0,0,0]=>246 [1,1,0,0,1,1,0,1,1,0,1,1,0,0,0,0]=>163 [1,1,0,0,1,1,0,1,1,1,0,0,0,0,1,0]=>288 [1,1,0,0,1,1,0,1,1,1,0,0,0,1,0,0]=>236 [1,1,0,0,1,1,0,1,1,1,0,0,1,0,0,0]=>184 [1,1,0,0,1,1,0,1,1,1,0,1,0,0,0,0]=>132 [1,1,0,0,1,1,0,1,1,1,1,0,0,0,0,0]=>80 [1,1,0,0,1,1,1,0,0,0,1,0,1,0,1,0]=>623 [1,1,0,0,1,1,1,0,0,0,1,0,1,1,0,0]=>452 [1,1,0,0,1,1,1,0,0,0,1,1,0,0,1,0]=>533 [1,1,0,0,1,1,1,0,0,0,1,1,0,1,0,0]=>407 [1,1,0,0,1,1,1,0,0,0,1,1,1,0,0,0]=>281 [1,1,0,0,1,1,1,0,0,1,0,0,1,0,1,0]=>573 [1,1,0,0,1,1,1,0,0,1,0,0,1,1,0,0]=>422 [1,1,0,0,1,1,1,0,0,1,0,1,0,0,1,0]=>503 [1,1,0,0,1,1,1,0,0,1,0,1,0,1,0,0]=>387 [1,1,0,0,1,1,1,0,0,1,0,1,1,0,0,0]=>271 [1,1,0,0,1,1,1,0,0,1,1,0,0,0,1,0]=>398 [1,1,0,0,1,1,1,0,0,1,1,0,0,1,0,0]=>317 [1,1,0,0,1,1,1,0,0,1,1,0,1,0,0,0]=>236 [1,1,0,0,1,1,1,0,0,1,1,1,0,0,0,0]=>155 [1,1,0,0,1,1,1,0,1,0,0,0,1,0,1,0]=>483 [1,1,0,0,1,1,1,0,1,0,0,0,1,1,0,0]=>362 [1,1,0,0,1,1,1,0,1,0,0,1,0,0,1,0]=>433 [1,1,0,0,1,1,1,0,1,0,0,1,0,1,0,0]=>337 [1,1,0,0,1,1,1,0,1,0,0,1,1,0,0,0]=>241 [1,1,0,0,1,1,1,0,1,0,1,0,0,0,1,0]=>358 [1,1,0,0,1,1,1,0,1,0,1,0,0,1,0,0]=>287 [1,1,0,0,1,1,1,0,1,0,1,0,1,0,0,0]=>216 [1,1,0,0,1,1,1,0,1,0,1,1,0,0,0,0]=>145 [1,1,0,0,1,1,1,0,1,1,0,0,0,0,1,0]=>258 [1,1,0,0,1,1,1,0,1,1,0,0,0,1,0,0]=>212 [1,1,0,0,1,1,1,0,1,1,0,0,1,0,0,0]=>166 [1,1,0,0,1,1,1,0,1,1,0,1,0,0,0,0]=>120 [1,1,0,0,1,1,1,0,1,1,1,0,0,0,0,0]=>74 [1,1,0,0,1,1,1,1,0,0,0,0,1,0,1,0]=>343 [1,1,0,0,1,1,1,1,0,0,0,0,1,1,0,0]=>262 [1,1,0,0,1,1,1,1,0,0,0,1,0,0,1,0]=>313 [1,1,0,0,1,1,1,1,0,0,0,1,0,1,0,0]=>247 [1,1,0,0,1,1,1,1,0,0,0,1,1,0,0,0]=>181 [1,1,0,0,1,1,1,1,0,0,1,0,0,0,1,0]=>268 [1,1,0,0,1,1,1,1,0,0,1,0,0,1,0,0]=>217 [1,1,0,0,1,1,1,1,0,0,1,0,1,0,0,0]=>166 [1,1,0,0,1,1,1,1,0,0,1,1,0,0,0,0]=>115 [1,1,0,0,1,1,1,1,0,1,0,0,0,0,1,0]=>208 [1,1,0,0,1,1,1,1,0,1,0,0,0,1,0,0]=>172 [1,1,0,0,1,1,1,1,0,1,0,0,1,0,0,0]=>136 [1,1,0,0,1,1,1,1,0,1,0,1,0,0,0,0]=>100 [1,1,0,0,1,1,1,1,0,1,1,0,0,0,0,0]=>64 [1,1,0,0,1,1,1,1,1,0,0,0,0,0,1,0]=>133 [1,1,0,0,1,1,1,1,1,0,0,0,0,1,0,0]=>112 [1,1,0,0,1,1,1,1,1,0,0,0,1,0,0,0]=>91 [1,1,0,0,1,1,1,1,1,0,0,1,0,0,0,0]=>70 [1,1,0,0,1,1,1,1,1,0,1,0,0,0,0,0]=>49 [1,1,0,0,1,1,1,1,1,1,0,0,0,0,0,0]=>28 [1,1,0,1,0,0,1,0,1,0,1,0,1,0,1,0]=>869 [1,1,0,1,0,0,1,0,1,0,1,0,1,1,0,0]=>614 [1,1,0,1,0,0,1,0,1,0,1,1,0,0,1,0]=>717 [1,1,0,1,0,0,1,0,1,0,1,1,0,1,0,0]=>538 [1,1,0,1,0,0,1,0,1,0,1,1,1,0,0,0]=>359 [1,1,0,1,0,0,1,0,1,1,0,0,1,0,1,0]=>754 [1,1,0,1,0,0,1,0,1,1,0,0,1,1,0,0]=>545 [1,1,0,1,0,0,1,0,1,1,0,1,0,0,1,0]=>648 [1,1,0,1,0,0,1,0,1,1,0,1,0,1,0,0]=>492 [1,1,0,1,0,0,1,0,1,1,0,1,1,0,0,0]=>336 [1,1,0,1,0,0,1,0,1,1,1,0,0,0,1,0]=>489 [1,1,0,1,0,0,1,0,1,1,1,0,0,1,0,0]=>386 [1,1,0,1,0,0,1,0,1,1,1,0,1,0,0,0]=>283 [1,1,0,1,0,0,1,0,1,1,1,1,0,0,0,0]=>180 [1,1,0,1,0,0,1,1,0,0,1,0,1,0,1,0]=>771
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 above 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(A,D) )

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