../ dim20_benches.rs 24-Jul-2006 01:21 13116 dim30_benches.rs 24-Jul-2006 01:21 28486 dim40_benches.rs 24-Jul-2006 01:21 50073