(1189./:0.to(10)){(y,i)=>printf("A%-2d%5.0fmm x%5.0fmm\n",i,y*.707,y);y*.707}