int main(){write("%{%d  %}",enumerate(20309));}