Let $(a_n)^\infty_{n=1}$ be a non-decreasing sequence of natural numbers with $a_{20}=100$. A sequence $(b_n)$ is defined by $b_m=\min\{n|an\ge m\}$. Find the maximum value of $a_1+a_2+\ldots+a_{20}+b_1+b_2+\ldots+b_{100}$ over all such sequences $(a_n)$.