public function dataProviderForCDF() { return [[7.26, 15, 0.05], [7.26, 12, 0.16], [7.26, 1, 0.993], [1, 1, 0.68], [1, 2, 0.39], [1, 30, 0], [1, 7, 0.005], [4.6, 1, 0.97], [4.6, 2, 0.9], [4.6, 6, 0.4], [4.6, 10, 0.08]]; }