while(1>0){val l=readLine split" ";var x=l map(_.toFloat);var s=l(0);for((i,j)<-x zip x.tail)for(n<-1 to 10)s+=" %.2f"format(j-i)*n/10+i;println(s.replaceAll("(.).00|(..\\d)0","$1$2"))}
Note that non-ascii characters in the above source code will be escaped (such as \x9f).