../ primes.contents 23-Sep-1992 07:00 213 primes.contents_z 23-Sep-1992 07:00 170 primes.tex 23-Sep-1992 07:00 22K primes.tex_z 23-Sep-1992 07:00 12K primes.web 23-Sep-1992 07:00 18K primes.web_z 23-Sep-1992 07:00 9830 web.tex 23-Sep-1992 07:00 71K web.tex_z 23-Sep-1992 07:00 39K