| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| primes.contents | 213 | 1992-Sep-23 00:00 |
| primes.contents_z | 170 | 1992-Sep-23 00:00 |
| primes.tex | 22917 | 1992-Sep-23 00:00 |
| primes.tex_z | 12180 | 1992-Sep-23 00:00 |
| primes.web | 18374 | 1992-Sep-23 00:00 |
| primes.web_z | 9830 | 1992-Sep-23 00:00 |
| web.tex | 73202 | 1992-Sep-23 00:00 |
| web.tex_z | 40392 | 1992-Sep-23 00:00 |