printf("%d\n",cumsum(bitand(1:500,511:-1:12)))