Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
top-15-words-per-sec..> | 2004-05-26 07:34 | 1.1K | ||
top-16-words-per-sec..> | 2012-05-05 14:57 | 1.1K | ||
top-24-words-per-sec..> | 2012-05-05 15:08 | 1.6K | ||
top-40-words-per-sec..> | 2012-05-05 15:08 | 2.6K | ||
whole-summary.tex | 2012-05-05 23:26 | 1.1K | ||
trunc-summary.tex | 2012-05-05 23:27 | 1.1K | ||
one.1/ | 2023-05-10 23:31 | - | ||
two.1/ | 2023-05-10 23:31 | - | ||
tot.1/ | 2023-05-10 23:31 | - | ||