Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
deu.1/ | 2023-05-10 23:31 | - | ||
exo.1/ | 2023-05-10 23:31 | - | ||
gen.1/ | 2023-05-10 23:31 | - | ||
lev.1/ | 2023-05-10 23:31 | - | ||
num.1/ | 2023-05-10 23:31 | - | ||
top-15-words-per-sec..> | 2004-05-26 07:34 | 2.5K | ||
top-16-words-per-sec..> | 2012-05-05 14:57 | 2.6K | ||
top-24-words-per-sec..> | 2012-05-05 15:08 | 3.8K | ||
top-40-words-per-sec..> | 2012-05-05 15:08 | 6.2K | ||
tot.1/ | 2023-05-10 23:31 | - | ||
trunc-summary.tex | 2012-05-05 22:49 | 2.1K | ||
whole-summary.tex | 2012-05-05 22:47 | 2.2K | ||