../ ascii.7 10-Jan-1979 20:17 1303 eqnchar.7 10-Jan-1979 20:17 4386 hier.7 10-Jan-1979 20:17 6537 man.7 10-Jan-1979 20:17 3141 ms.7 10-Jan-1979 20:17 6297 term.7 10-Jan-1979 20:17 1334