The distribution of expressway lengths.