# Last edited on 2022-08-07 18:20:52 by stolfi
# gawk 'BEGIN{ x0 = 646.0; x100 = 861.0; } /^ *[0-9]/{ x = $1; t = 100*(x-x0)/(x100-x0); printf "%4d %5.1f\n", x, t; next; } //{ print; next}'

 730  39.1
 836  88.4
 915 125.1
 
 893 114.9
 957 144.7
1064 194.4