sum((k:2^n:10*n+1)+sum(printf(?t,"~vr ",j,k-1)+k:n+j:i,i,j:2,11),n,0,9);