numbers = {
  s2*7-\markup "7.73"
  s2*7-\markup "7.74"
  s2*7-\markup "7.75"
  s2*7-\markup "7.76"
}