r4rs           1308355  r4rs
r4rs            409445  r4rs/tex
r4rstexi        285595  r4rs.texi