def read_input_text() -> list[str]:
  in_text = list()
  sec_pat = r"[a-z][a-z][a-z]"
  subsec_pat = r"[0-9]"
  fnum_pat = r"f[0-9]+[rv][1-9]?"
  num_pat = r"[0-9]+"
  word_pat = r"[^-=.,<> ]+|[-=]"
  line_pat = \
    f"[ ]*({sec_pat})[.]({subsec_pat})" + 
    f"[ ]+({fnum_pat})[ ]+({num_pat})" +
    f"[ ]+({num_pat})[ ]+({num_pat})" + 
    f"[ ]+({word_pat})[ ]*$"
  with sys.stdin as rd:
    while True:
      line = rd.readline()
      if rd == "": break
      m = re.fullmatch(line_pat, line)
      if m == None:
        data_error(f"bad line", line)
      word = m.group(6)
      in_text.append(word)
   return in_text
   # ----------------------------------------------------------------------