public function dataProviderForCDF()
{
return [[1, 1, 1, 0.5], [1, 2, 1, 0.4226497308103742], [2, 2, 1, 0.552786404500042], [2, 2, 2, 0.6666666666666666], [5, 3, 7, 0.9633266457818136], [7, 6, 2, 0.869740796393689], [7, 20, 14, 0.9997203495295769], [45, 2, 3, 0.9942062805797814], [0, 2, 3, 0]];
}