Form CDF by sorting factorized into a function