../ primes.contents 23-Sep-1992 08:00 213 primes.contents_z 23-Sep-1992 08:00 170 primes.tex 23-Sep-1992 08:00 22917 primes.tex_z 23-Sep-1992 08:00 12180 primes.web 23-Sep-1992 08:00 18374 primes.web_z 23-Sep-1992 08:00 9830 web.tex 23-Sep-1992 08:00 73202 web.tex_z 23-Sep-1992 08:00 40392