Previous records
	R. Aldous	2.38.39	1987