public function dataProviderForCDF() { return [[4.3, 6, 2, 0.0115828], [4.3, 6, 1, 2.794E-6], [4.3, 1, 1, 0.676744677], [1, 6, 2, 0.001349898], [2, 6, 2, 0.003983957], [2, 3, 2, 0.124367703]]; }