\{1,2,\dots,30\}