nproc=12
r=4294967295
k=1099511627775
answer=576603832986
timelimit=20