file = *line [last-line] line = line-text end line-text = *(valid/invalid) last-line = 1*(valid/invalid) valid = %d32-126 / %d9 invalid = %d0-8 / %d11-12 /%d14-31 / %x7f-ffffffff end = CRLF / LF / CR CRLF = %d13.10 LF = %d10 CR = %d13