From d9b734e6d726ae064acf0c2d464987b700c03ca6 Mon Sep 17 00:00:00 2001 From: TimQu Date: Wed, 20 Jan 2016 14:54:45 +0100 Subject: [PATCH] forgot something Former-commit-id: 564958637e6a92a4eb67d419cad8d77b51730f11 --- examples/benchmarkRegions.sh | 3 +- examples/benchmarkRegionsRefinement.sh | 2 +- .../brp_rewards2/brp_rewards2_regions.txt | 625 ++++++++++++++++++ 3 files changed, 627 insertions(+), 3 deletions(-) create mode 100644 examples/pdtmc/brp_rewards2/brp_rewards2_regions.txt diff --git a/examples/benchmarkRegions.sh b/examples/benchmarkRegions.sh index 136ffeee1..6006f0bbe 100755 --- a/examples/benchmarkRegions.sh +++ b/examples/benchmarkRegions.sh @@ -34,11 +34,10 @@ fi do suffix="1$suffix" echo "Working on $modelfolder/$instance" - echo "___WORKING ON: $modelfolder/$instance""____________" >>$1$suffix + echo "___WORKING ON $modeltype: $instance""____________" >>$1$suffix echo "_________________________________________________________________________________" >> $1$suffix $timeout "$executable" -s $modelfolder/$instance $dobisim --prop $modelfolder/$model.prctl --parametric --parametricRegion --region:regionfile $modelfolder/$model"_regions.txt" >> $1$suffix & done < "$modelfolder/models" - done < "$modelfolder/models" wait # write logs into result file suffix="-" diff --git a/examples/benchmarkRegionsRefinement.sh b/examples/benchmarkRegionsRefinement.sh index 01229bbb3..b6861050c 100755 --- a/examples/benchmarkRegionsRefinement.sh +++ b/examples/benchmarkRegionsRefinement.sh @@ -34,7 +34,7 @@ fi do suffix="1$suffix" echo "Working on $modelfolder/$instance" - echo "___WORKING ON: $modelfolder/$instance""____________" >>$1$suffix + echo "___WORKING ON $modeltype: $instance""____________" >>$1$suffix echo "_________________________________________________________________________________" >> $1$suffix $timeout "$executable" -s $modelfolder/$instance $dobisim --prop $modelfolder/$model.prctl --parametric --parametricRegion --region:regionfile $modelfolder/$model"_space.txt" --region:refinement 0.05 --region:samplemode off >> "$1$suffix" & done < "$modelfolder/models" diff --git a/examples/pdtmc/brp_rewards2/brp_rewards2_regions.txt b/examples/pdtmc/brp_rewards2/brp_rewards2_regions.txt new file mode 100644 index 000000000..c1c19ee3b --- /dev/null +++ b/examples/pdtmc/brp_rewards2/brp_rewards2_regions.txt @@ -0,0 +1,625 @@ +0.000010<=pL<=0.040000, 0.000010<=pK<=0.040000; +0.000010<=pL<=0.040000, 0.040000<=pK<=0.080000; +0.000010<=pL<=0.040000, 0.080000<=pK<=0.120000; +0.000010<=pL<=0.040000, 0.120000<=pK<=0.160000; +0.000010<=pL<=0.040000, 0.160000<=pK<=0.200000; +0.000010<=pL<=0.040000, 0.200000<=pK<=0.240000; +0.000010<=pL<=0.040000, 0.240000<=pK<=0.280000; +0.000010<=pL<=0.040000, 0.280000<=pK<=0.320000; +0.000010<=pL<=0.040000, 0.320000<=pK<=0.360000; +0.000010<=pL<=0.040000, 0.360000<=pK<=0.400000; +0.000010<=pL<=0.040000, 0.400000<=pK<=0.440000; +0.000010<=pL<=0.040000, 0.440000<=pK<=0.480000; +0.000010<=pL<=0.040000, 0.480000<=pK<=0.520000; +0.000010<=pL<=0.040000, 0.520000<=pK<=0.560000; +0.000010<=pL<=0.040000, 0.560000<=pK<=0.600000; +0.000010<=pL<=0.040000, 0.600000<=pK<=0.640000; +0.000010<=pL<=0.040000, 0.640000<=pK<=0.680000; +0.000010<=pL<=0.040000, 0.680000<=pK<=0.720000; +0.000010<=pL<=0.040000, 0.720000<=pK<=0.760000; +0.000010<=pL<=0.040000, 0.760000<=pK<=0.800000; +0.000010<=pL<=0.040000, 0.800000<=pK<=0.840000; +0.000010<=pL<=0.040000, 0.840000<=pK<=0.880000; +0.000010<=pL<=0.040000, 0.880000<=pK<=0.920000; +0.000010<=pL<=0.040000, 0.920000<=pK<=0.960000; +0.000010<=pL<=0.040000, 0.960000<=pK<=0.999990; +0.040000<=pL<=0.080000, 0.000010<=pK<=0.040000; +0.040000<=pL<=0.080000, 0.040000<=pK<=0.080000; +0.040000<=pL<=0.080000, 0.080000<=pK<=0.120000; +0.040000<=pL<=0.080000, 0.120000<=pK<=0.160000; +0.040000<=pL<=0.080000, 0.160000<=pK<=0.200000; +0.040000<=pL<=0.080000, 0.200000<=pK<=0.240000; +0.040000<=pL<=0.080000, 0.240000<=pK<=0.280000; +0.040000<=pL<=0.080000, 0.280000<=pK<=0.320000; +0.040000<=pL<=0.080000, 0.320000<=pK<=0.360000; +0.040000<=pL<=0.080000, 0.360000<=pK<=0.400000; +0.040000<=pL<=0.080000, 0.400000<=pK<=0.440000; +0.040000<=pL<=0.080000, 0.440000<=pK<=0.480000; +0.040000<=pL<=0.080000, 0.480000<=pK<=0.520000; +0.040000<=pL<=0.080000, 0.520000<=pK<=0.560000; +0.040000<=pL<=0.080000, 0.560000<=pK<=0.600000; +0.040000<=pL<=0.080000, 0.600000<=pK<=0.640000; +0.040000<=pL<=0.080000, 0.640000<=pK<=0.680000; +0.040000<=pL<=0.080000, 0.680000<=pK<=0.720000; +0.040000<=pL<=0.080000, 0.720000<=pK<=0.760000; +0.040000<=pL<=0.080000, 0.760000<=pK<=0.800000; +0.040000<=pL<=0.080000, 0.800000<=pK<=0.840000; +0.040000<=pL<=0.080000, 0.840000<=pK<=0.880000; +0.040000<=pL<=0.080000, 0.880000<=pK<=0.920000; +0.040000<=pL<=0.080000, 0.920000<=pK<=0.960000; +0.040000<=pL<=0.080000, 0.960000<=pK<=0.999990; +0.080000<=pL<=0.120000, 0.000010<=pK<=0.040000; +0.080000<=pL<=0.120000, 0.040000<=pK<=0.080000; +0.080000<=pL<=0.120000, 0.080000<=pK<=0.120000; +0.080000<=pL<=0.120000, 0.120000<=pK<=0.160000; +0.080000<=pL<=0.120000, 0.160000<=pK<=0.200000; +0.080000<=pL<=0.120000, 0.200000<=pK<=0.240000; +0.080000<=pL<=0.120000, 0.240000<=pK<=0.280000; +0.080000<=pL<=0.120000, 0.280000<=pK<=0.320000; +0.080000<=pL<=0.120000, 0.320000<=pK<=0.360000; +0.080000<=pL<=0.120000, 0.360000<=pK<=0.400000; +0.080000<=pL<=0.120000, 0.400000<=pK<=0.440000; +0.080000<=pL<=0.120000, 0.440000<=pK<=0.480000; +0.080000<=pL<=0.120000, 0.480000<=pK<=0.520000; +0.080000<=pL<=0.120000, 0.520000<=pK<=0.560000; +0.080000<=pL<=0.120000, 0.560000<=pK<=0.600000; +0.080000<=pL<=0.120000, 0.600000<=pK<=0.640000; +0.080000<=pL<=0.120000, 0.640000<=pK<=0.680000; +0.080000<=pL<=0.120000, 0.680000<=pK<=0.720000; +0.080000<=pL<=0.120000, 0.720000<=pK<=0.760000; +0.080000<=pL<=0.120000, 0.760000<=pK<=0.800000; +0.080000<=pL<=0.120000, 0.800000<=pK<=0.840000; +0.080000<=pL<=0.120000, 0.840000<=pK<=0.880000; +0.080000<=pL<=0.120000, 0.880000<=pK<=0.920000; +0.080000<=pL<=0.120000, 0.920000<=pK<=0.960000; +0.080000<=pL<=0.120000, 0.960000<=pK<=0.999990; +0.120000<=pL<=0.160000, 0.000010<=pK<=0.040000; +0.120000<=pL<=0.160000, 0.040000<=pK<=0.080000; +0.120000<=pL<=0.160000, 0.080000<=pK<=0.120000; +0.120000<=pL<=0.160000, 0.120000<=pK<=0.160000; +0.120000<=pL<=0.160000, 0.160000<=pK<=0.200000; +0.120000<=pL<=0.160000, 0.200000<=pK<=0.240000; +0.120000<=pL<=0.160000, 0.240000<=pK<=0.280000; +0.120000<=pL<=0.160000, 0.280000<=pK<=0.320000; +0.120000<=pL<=0.160000, 0.320000<=pK<=0.360000; +0.120000<=pL<=0.160000, 0.360000<=pK<=0.400000; +0.120000<=pL<=0.160000, 0.400000<=pK<=0.440000; +0.120000<=pL<=0.160000, 0.440000<=pK<=0.480000; +0.120000<=pL<=0.160000, 0.480000<=pK<=0.520000; +0.120000<=pL<=0.160000, 0.520000<=pK<=0.560000; +0.120000<=pL<=0.160000, 0.560000<=pK<=0.600000; +0.120000<=pL<=0.160000, 0.600000<=pK<=0.640000; +0.120000<=pL<=0.160000, 0.640000<=pK<=0.680000; +0.120000<=pL<=0.160000, 0.680000<=pK<=0.720000; +0.120000<=pL<=0.160000, 0.720000<=pK<=0.760000; +0.120000<=pL<=0.160000, 0.760000<=pK<=0.800000; +0.120000<=pL<=0.160000, 0.800000<=pK<=0.840000; +0.120000<=pL<=0.160000, 0.840000<=pK<=0.880000; +0.120000<=pL<=0.160000, 0.880000<=pK<=0.920000; +0.120000<=pL<=0.160000, 0.920000<=pK<=0.960000; +0.120000<=pL<=0.160000, 0.960000<=pK<=0.999990; +0.160000<=pL<=0.200000, 0.000010<=pK<=0.040000; +0.160000<=pL<=0.200000, 0.040000<=pK<=0.080000; +0.160000<=pL<=0.200000, 0.080000<=pK<=0.120000; +0.160000<=pL<=0.200000, 0.120000<=pK<=0.160000; +0.160000<=pL<=0.200000, 0.160000<=pK<=0.200000; +0.160000<=pL<=0.200000, 0.200000<=pK<=0.240000; +0.160000<=pL<=0.200000, 0.240000<=pK<=0.280000; +0.160000<=pL<=0.200000, 0.280000<=pK<=0.320000; +0.160000<=pL<=0.200000, 0.320000<=pK<=0.360000; +0.160000<=pL<=0.200000, 0.360000<=pK<=0.400000; +0.160000<=pL<=0.200000, 0.400000<=pK<=0.440000; +0.160000<=pL<=0.200000, 0.440000<=pK<=0.480000; +0.160000<=pL<=0.200000, 0.480000<=pK<=0.520000; +0.160000<=pL<=0.200000, 0.520000<=pK<=0.560000; +0.160000<=pL<=0.200000, 0.560000<=pK<=0.600000; +0.160000<=pL<=0.200000, 0.600000<=pK<=0.640000; +0.160000<=pL<=0.200000, 0.640000<=pK<=0.680000; +0.160000<=pL<=0.200000, 0.680000<=pK<=0.720000; +0.160000<=pL<=0.200000, 0.720000<=pK<=0.760000; +0.160000<=pL<=0.200000, 0.760000<=pK<=0.800000; +0.160000<=pL<=0.200000, 0.800000<=pK<=0.840000; +0.160000<=pL<=0.200000, 0.840000<=pK<=0.880000; +0.160000<=pL<=0.200000, 0.880000<=pK<=0.920000; +0.160000<=pL<=0.200000, 0.920000<=pK<=0.960000; +0.160000<=pL<=0.200000, 0.960000<=pK<=0.999990; +0.200000<=pL<=0.240000, 0.000010<=pK<=0.040000; +0.200000<=pL<=0.240000, 0.040000<=pK<=0.080000; +0.200000<=pL<=0.240000, 0.080000<=pK<=0.120000; +0.200000<=pL<=0.240000, 0.120000<=pK<=0.160000; +0.200000<=pL<=0.240000, 0.160000<=pK<=0.200000; +0.200000<=pL<=0.240000, 0.200000<=pK<=0.240000; +0.200000<=pL<=0.240000, 0.240000<=pK<=0.280000; +0.200000<=pL<=0.240000, 0.280000<=pK<=0.320000; +0.200000<=pL<=0.240000, 0.320000<=pK<=0.360000; +0.200000<=pL<=0.240000, 0.360000<=pK<=0.400000; +0.200000<=pL<=0.240000, 0.400000<=pK<=0.440000; +0.200000<=pL<=0.240000, 0.440000<=pK<=0.480000; +0.200000<=pL<=0.240000, 0.480000<=pK<=0.520000; +0.200000<=pL<=0.240000, 0.520000<=pK<=0.560000; +0.200000<=pL<=0.240000, 0.560000<=pK<=0.600000; +0.200000<=pL<=0.240000, 0.600000<=pK<=0.640000; +0.200000<=pL<=0.240000, 0.640000<=pK<=0.680000; +0.200000<=pL<=0.240000, 0.680000<=pK<=0.720000; +0.200000<=pL<=0.240000, 0.720000<=pK<=0.760000; +0.200000<=pL<=0.240000, 0.760000<=pK<=0.800000; +0.200000<=pL<=0.240000, 0.800000<=pK<=0.840000; +0.200000<=pL<=0.240000, 0.840000<=pK<=0.880000; +0.200000<=pL<=0.240000, 0.880000<=pK<=0.920000; +0.200000<=pL<=0.240000, 0.920000<=pK<=0.960000; +0.200000<=pL<=0.240000, 0.960000<=pK<=0.999990; +0.240000<=pL<=0.280000, 0.000010<=pK<=0.040000; +0.240000<=pL<=0.280000, 0.040000<=pK<=0.080000; +0.240000<=pL<=0.280000, 0.080000<=pK<=0.120000; +0.240000<=pL<=0.280000, 0.120000<=pK<=0.160000; +0.240000<=pL<=0.280000, 0.160000<=pK<=0.200000; +0.240000<=pL<=0.280000, 0.200000<=pK<=0.240000; +0.240000<=pL<=0.280000, 0.240000<=pK<=0.280000; +0.240000<=pL<=0.280000, 0.280000<=pK<=0.320000; +0.240000<=pL<=0.280000, 0.320000<=pK<=0.360000; +0.240000<=pL<=0.280000, 0.360000<=pK<=0.400000; +0.240000<=pL<=0.280000, 0.400000<=pK<=0.440000; +0.240000<=pL<=0.280000, 0.440000<=pK<=0.480000; +0.240000<=pL<=0.280000, 0.480000<=pK<=0.520000; +0.240000<=pL<=0.280000, 0.520000<=pK<=0.560000; +0.240000<=pL<=0.280000, 0.560000<=pK<=0.600000; +0.240000<=pL<=0.280000, 0.600000<=pK<=0.640000; +0.240000<=pL<=0.280000, 0.640000<=pK<=0.680000; +0.240000<=pL<=0.280000, 0.680000<=pK<=0.720000; +0.240000<=pL<=0.280000, 0.720000<=pK<=0.760000; +0.240000<=pL<=0.280000, 0.760000<=pK<=0.800000; +0.240000<=pL<=0.280000, 0.800000<=pK<=0.840000; +0.240000<=pL<=0.280000, 0.840000<=pK<=0.880000; +0.240000<=pL<=0.280000, 0.880000<=pK<=0.920000; +0.240000<=pL<=0.280000, 0.920000<=pK<=0.960000; +0.240000<=pL<=0.280000, 0.960000<=pK<=0.999990; +0.280000<=pL<=0.320000, 0.000010<=pK<=0.040000; +0.280000<=pL<=0.320000, 0.040000<=pK<=0.080000; +0.280000<=pL<=0.320000, 0.080000<=pK<=0.120000; +0.280000<=pL<=0.320000, 0.120000<=pK<=0.160000; +0.280000<=pL<=0.320000, 0.160000<=pK<=0.200000; +0.280000<=pL<=0.320000, 0.200000<=pK<=0.240000; +0.280000<=pL<=0.320000, 0.240000<=pK<=0.280000; +0.280000<=pL<=0.320000, 0.280000<=pK<=0.320000; +0.280000<=pL<=0.320000, 0.320000<=pK<=0.360000; +0.280000<=pL<=0.320000, 0.360000<=pK<=0.400000; +0.280000<=pL<=0.320000, 0.400000<=pK<=0.440000; +0.280000<=pL<=0.320000, 0.440000<=pK<=0.480000; +0.280000<=pL<=0.320000, 0.480000<=pK<=0.520000; +0.280000<=pL<=0.320000, 0.520000<=pK<=0.560000; +0.280000<=pL<=0.320000, 0.560000<=pK<=0.600000; +0.280000<=pL<=0.320000, 0.600000<=pK<=0.640000; +0.280000<=pL<=0.320000, 0.640000<=pK<=0.680000; +0.280000<=pL<=0.320000, 0.680000<=pK<=0.720000; +0.280000<=pL<=0.320000, 0.720000<=pK<=0.760000; +0.280000<=pL<=0.320000, 0.760000<=pK<=0.800000; +0.280000<=pL<=0.320000, 0.800000<=pK<=0.840000; +0.280000<=pL<=0.320000, 0.840000<=pK<=0.880000; +0.280000<=pL<=0.320000, 0.880000<=pK<=0.920000; +0.280000<=pL<=0.320000, 0.920000<=pK<=0.960000; +0.280000<=pL<=0.320000, 0.960000<=pK<=0.999990; +0.320000<=pL<=0.360000, 0.000010<=pK<=0.040000; +0.320000<=pL<=0.360000, 0.040000<=pK<=0.080000; +0.320000<=pL<=0.360000, 0.080000<=pK<=0.120000; +0.320000<=pL<=0.360000, 0.120000<=pK<=0.160000; +0.320000<=pL<=0.360000, 0.160000<=pK<=0.200000; +0.320000<=pL<=0.360000, 0.200000<=pK<=0.240000; +0.320000<=pL<=0.360000, 0.240000<=pK<=0.280000; +0.320000<=pL<=0.360000, 0.280000<=pK<=0.320000; +0.320000<=pL<=0.360000, 0.320000<=pK<=0.360000; +0.320000<=pL<=0.360000, 0.360000<=pK<=0.400000; +0.320000<=pL<=0.360000, 0.400000<=pK<=0.440000; +0.320000<=pL<=0.360000, 0.440000<=pK<=0.480000; +0.320000<=pL<=0.360000, 0.480000<=pK<=0.520000; +0.320000<=pL<=0.360000, 0.520000<=pK<=0.560000; +0.320000<=pL<=0.360000, 0.560000<=pK<=0.600000; +0.320000<=pL<=0.360000, 0.600000<=pK<=0.640000; +0.320000<=pL<=0.360000, 0.640000<=pK<=0.680000; +0.320000<=pL<=0.360000, 0.680000<=pK<=0.720000; +0.320000<=pL<=0.360000, 0.720000<=pK<=0.760000; +0.320000<=pL<=0.360000, 0.760000<=pK<=0.800000; +0.320000<=pL<=0.360000, 0.800000<=pK<=0.840000; +0.320000<=pL<=0.360000, 0.840000<=pK<=0.880000; +0.320000<=pL<=0.360000, 0.880000<=pK<=0.920000; +0.320000<=pL<=0.360000, 0.920000<=pK<=0.960000; +0.320000<=pL<=0.360000, 0.960000<=pK<=0.999990; +0.360000<=pL<=0.400000, 0.000010<=pK<=0.040000; +0.360000<=pL<=0.400000, 0.040000<=pK<=0.080000; +0.360000<=pL<=0.400000, 0.080000<=pK<=0.120000; +0.360000<=pL<=0.400000, 0.120000<=pK<=0.160000; +0.360000<=pL<=0.400000, 0.160000<=pK<=0.200000; +0.360000<=pL<=0.400000, 0.200000<=pK<=0.240000; +0.360000<=pL<=0.400000, 0.240000<=pK<=0.280000; +0.360000<=pL<=0.400000, 0.280000<=pK<=0.320000; +0.360000<=pL<=0.400000, 0.320000<=pK<=0.360000; +0.360000<=pL<=0.400000, 0.360000<=pK<=0.400000; +0.360000<=pL<=0.400000, 0.400000<=pK<=0.440000; +0.360000<=pL<=0.400000, 0.440000<=pK<=0.480000; +0.360000<=pL<=0.400000, 0.480000<=pK<=0.520000; +0.360000<=pL<=0.400000, 0.520000<=pK<=0.560000; +0.360000<=pL<=0.400000, 0.560000<=pK<=0.600000; +0.360000<=pL<=0.400000, 0.600000<=pK<=0.640000; +0.360000<=pL<=0.400000, 0.640000<=pK<=0.680000; +0.360000<=pL<=0.400000, 0.680000<=pK<=0.720000; +0.360000<=pL<=0.400000, 0.720000<=pK<=0.760000; +0.360000<=pL<=0.400000, 0.760000<=pK<=0.800000; +0.360000<=pL<=0.400000, 0.800000<=pK<=0.840000; +0.360000<=pL<=0.400000, 0.840000<=pK<=0.880000; +0.360000<=pL<=0.400000, 0.880000<=pK<=0.920000; +0.360000<=pL<=0.400000, 0.920000<=pK<=0.960000; +0.360000<=pL<=0.400000, 0.960000<=pK<=0.999990; +0.400000<=pL<=0.440000, 0.000010<=pK<=0.040000; +0.400000<=pL<=0.440000, 0.040000<=pK<=0.080000; +0.400000<=pL<=0.440000, 0.080000<=pK<=0.120000; +0.400000<=pL<=0.440000, 0.120000<=pK<=0.160000; +0.400000<=pL<=0.440000, 0.160000<=pK<=0.200000; +0.400000<=pL<=0.440000, 0.200000<=pK<=0.240000; +0.400000<=pL<=0.440000, 0.240000<=pK<=0.280000; +0.400000<=pL<=0.440000, 0.280000<=pK<=0.320000; +0.400000<=pL<=0.440000, 0.320000<=pK<=0.360000; +0.400000<=pL<=0.440000, 0.360000<=pK<=0.400000; +0.400000<=pL<=0.440000, 0.400000<=pK<=0.440000; +0.400000<=pL<=0.440000, 0.440000<=pK<=0.480000; +0.400000<=pL<=0.440000, 0.480000<=pK<=0.520000; +0.400000<=pL<=0.440000, 0.520000<=pK<=0.560000; +0.400000<=pL<=0.440000, 0.560000<=pK<=0.600000; +0.400000<=pL<=0.440000, 0.600000<=pK<=0.640000; +0.400000<=pL<=0.440000, 0.640000<=pK<=0.680000; +0.400000<=pL<=0.440000, 0.680000<=pK<=0.720000; +0.400000<=pL<=0.440000, 0.720000<=pK<=0.760000; +0.400000<=pL<=0.440000, 0.760000<=pK<=0.800000; +0.400000<=pL<=0.440000, 0.800000<=pK<=0.840000; +0.400000<=pL<=0.440000, 0.840000<=pK<=0.880000; +0.400000<=pL<=0.440000, 0.880000<=pK<=0.920000; +0.400000<=pL<=0.440000, 0.920000<=pK<=0.960000; +0.400000<=pL<=0.440000, 0.960000<=pK<=0.999990; +0.440000<=pL<=0.480000, 0.000010<=pK<=0.040000; +0.440000<=pL<=0.480000, 0.040000<=pK<=0.080000; +0.440000<=pL<=0.480000, 0.080000<=pK<=0.120000; +0.440000<=pL<=0.480000, 0.120000<=pK<=0.160000; +0.440000<=pL<=0.480000, 0.160000<=pK<=0.200000; +0.440000<=pL<=0.480000, 0.200000<=pK<=0.240000; +0.440000<=pL<=0.480000, 0.240000<=pK<=0.280000; +0.440000<=pL<=0.480000, 0.280000<=pK<=0.320000; +0.440000<=pL<=0.480000, 0.320000<=pK<=0.360000; +0.440000<=pL<=0.480000, 0.360000<=pK<=0.400000; +0.440000<=pL<=0.480000, 0.400000<=pK<=0.440000; +0.440000<=pL<=0.480000, 0.440000<=pK<=0.480000; +0.440000<=pL<=0.480000, 0.480000<=pK<=0.520000; +0.440000<=pL<=0.480000, 0.520000<=pK<=0.560000; +0.440000<=pL<=0.480000, 0.560000<=pK<=0.600000; +0.440000<=pL<=0.480000, 0.600000<=pK<=0.640000; +0.440000<=pL<=0.480000, 0.640000<=pK<=0.680000; +0.440000<=pL<=0.480000, 0.680000<=pK<=0.720000; +0.440000<=pL<=0.480000, 0.720000<=pK<=0.760000; +0.440000<=pL<=0.480000, 0.760000<=pK<=0.800000; +0.440000<=pL<=0.480000, 0.800000<=pK<=0.840000; +0.440000<=pL<=0.480000, 0.840000<=pK<=0.880000; +0.440000<=pL<=0.480000, 0.880000<=pK<=0.920000; +0.440000<=pL<=0.480000, 0.920000<=pK<=0.960000; +0.440000<=pL<=0.480000, 0.960000<=pK<=0.999990; +0.480000<=pL<=0.520000, 0.000010<=pK<=0.040000; +0.480000<=pL<=0.520000, 0.040000<=pK<=0.080000; +0.480000<=pL<=0.520000, 0.080000<=pK<=0.120000; +0.480000<=pL<=0.520000, 0.120000<=pK<=0.160000; +0.480000<=pL<=0.520000, 0.160000<=pK<=0.200000; +0.480000<=pL<=0.520000, 0.200000<=pK<=0.240000; +0.480000<=pL<=0.520000, 0.240000<=pK<=0.280000; +0.480000<=pL<=0.520000, 0.280000<=pK<=0.320000; +0.480000<=pL<=0.520000, 0.320000<=pK<=0.360000; +0.480000<=pL<=0.520000, 0.360000<=pK<=0.400000; +0.480000<=pL<=0.520000, 0.400000<=pK<=0.440000; +0.480000<=pL<=0.520000, 0.440000<=pK<=0.480000; +0.480000<=pL<=0.520000, 0.480000<=pK<=0.520000; +0.480000<=pL<=0.520000, 0.520000<=pK<=0.560000; +0.480000<=pL<=0.520000, 0.560000<=pK<=0.600000; +0.480000<=pL<=0.520000, 0.600000<=pK<=0.640000; +0.480000<=pL<=0.520000, 0.640000<=pK<=0.680000; +0.480000<=pL<=0.520000, 0.680000<=pK<=0.720000; +0.480000<=pL<=0.520000, 0.720000<=pK<=0.760000; +0.480000<=pL<=0.520000, 0.760000<=pK<=0.800000; +0.480000<=pL<=0.520000, 0.800000<=pK<=0.840000; +0.480000<=pL<=0.520000, 0.840000<=pK<=0.880000; +0.480000<=pL<=0.520000, 0.880000<=pK<=0.920000; +0.480000<=pL<=0.520000, 0.920000<=pK<=0.960000; +0.480000<=pL<=0.520000, 0.960000<=pK<=0.999990; +0.520000<=pL<=0.560000, 0.000010<=pK<=0.040000; +0.520000<=pL<=0.560000, 0.040000<=pK<=0.080000; +0.520000<=pL<=0.560000, 0.080000<=pK<=0.120000; +0.520000<=pL<=0.560000, 0.120000<=pK<=0.160000; +0.520000<=pL<=0.560000, 0.160000<=pK<=0.200000; +0.520000<=pL<=0.560000, 0.200000<=pK<=0.240000; +0.520000<=pL<=0.560000, 0.240000<=pK<=0.280000; +0.520000<=pL<=0.560000, 0.280000<=pK<=0.320000; +0.520000<=pL<=0.560000, 0.320000<=pK<=0.360000; +0.520000<=pL<=0.560000, 0.360000<=pK<=0.400000; +0.520000<=pL<=0.560000, 0.400000<=pK<=0.440000; +0.520000<=pL<=0.560000, 0.440000<=pK<=0.480000; +0.520000<=pL<=0.560000, 0.480000<=pK<=0.520000; +0.520000<=pL<=0.560000, 0.520000<=pK<=0.560000; +0.520000<=pL<=0.560000, 0.560000<=pK<=0.600000; +0.520000<=pL<=0.560000, 0.600000<=pK<=0.640000; +0.520000<=pL<=0.560000, 0.640000<=pK<=0.680000; +0.520000<=pL<=0.560000, 0.680000<=pK<=0.720000; +0.520000<=pL<=0.560000, 0.720000<=pK<=0.760000; +0.520000<=pL<=0.560000, 0.760000<=pK<=0.800000; +0.520000<=pL<=0.560000, 0.800000<=pK<=0.840000; +0.520000<=pL<=0.560000, 0.840000<=pK<=0.880000; +0.520000<=pL<=0.560000, 0.880000<=pK<=0.920000; +0.520000<=pL<=0.560000, 0.920000<=pK<=0.960000; +0.520000<=pL<=0.560000, 0.960000<=pK<=0.999990; +0.560000<=pL<=0.600000, 0.000010<=pK<=0.040000; +0.560000<=pL<=0.600000, 0.040000<=pK<=0.080000; +0.560000<=pL<=0.600000, 0.080000<=pK<=0.120000; +0.560000<=pL<=0.600000, 0.120000<=pK<=0.160000; +0.560000<=pL<=0.600000, 0.160000<=pK<=0.200000; +0.560000<=pL<=0.600000, 0.200000<=pK<=0.240000; +0.560000<=pL<=0.600000, 0.240000<=pK<=0.280000; +0.560000<=pL<=0.600000, 0.280000<=pK<=0.320000; +0.560000<=pL<=0.600000, 0.320000<=pK<=0.360000; +0.560000<=pL<=0.600000, 0.360000<=pK<=0.400000; +0.560000<=pL<=0.600000, 0.400000<=pK<=0.440000; +0.560000<=pL<=0.600000, 0.440000<=pK<=0.480000; +0.560000<=pL<=0.600000, 0.480000<=pK<=0.520000; +0.560000<=pL<=0.600000, 0.520000<=pK<=0.560000; +0.560000<=pL<=0.600000, 0.560000<=pK<=0.600000; +0.560000<=pL<=0.600000, 0.600000<=pK<=0.640000; +0.560000<=pL<=0.600000, 0.640000<=pK<=0.680000; +0.560000<=pL<=0.600000, 0.680000<=pK<=0.720000; +0.560000<=pL<=0.600000, 0.720000<=pK<=0.760000; +0.560000<=pL<=0.600000, 0.760000<=pK<=0.800000; +0.560000<=pL<=0.600000, 0.800000<=pK<=0.840000; +0.560000<=pL<=0.600000, 0.840000<=pK<=0.880000; +0.560000<=pL<=0.600000, 0.880000<=pK<=0.920000; +0.560000<=pL<=0.600000, 0.920000<=pK<=0.960000; +0.560000<=pL<=0.600000, 0.960000<=pK<=0.999990; +0.600000<=pL<=0.640000, 0.000010<=pK<=0.040000; +0.600000<=pL<=0.640000, 0.040000<=pK<=0.080000; +0.600000<=pL<=0.640000, 0.080000<=pK<=0.120000; +0.600000<=pL<=0.640000, 0.120000<=pK<=0.160000; +0.600000<=pL<=0.640000, 0.160000<=pK<=0.200000; +0.600000<=pL<=0.640000, 0.200000<=pK<=0.240000; +0.600000<=pL<=0.640000, 0.240000<=pK<=0.280000; +0.600000<=pL<=0.640000, 0.280000<=pK<=0.320000; +0.600000<=pL<=0.640000, 0.320000<=pK<=0.360000; +0.600000<=pL<=0.640000, 0.360000<=pK<=0.400000; +0.600000<=pL<=0.640000, 0.400000<=pK<=0.440000; +0.600000<=pL<=0.640000, 0.440000<=pK<=0.480000; +0.600000<=pL<=0.640000, 0.480000<=pK<=0.520000; +0.600000<=pL<=0.640000, 0.520000<=pK<=0.560000; +0.600000<=pL<=0.640000, 0.560000<=pK<=0.600000; +0.600000<=pL<=0.640000, 0.600000<=pK<=0.640000; +0.600000<=pL<=0.640000, 0.640000<=pK<=0.680000; +0.600000<=pL<=0.640000, 0.680000<=pK<=0.720000; +0.600000<=pL<=0.640000, 0.720000<=pK<=0.760000; +0.600000<=pL<=0.640000, 0.760000<=pK<=0.800000; +0.600000<=pL<=0.640000, 0.800000<=pK<=0.840000; +0.600000<=pL<=0.640000, 0.840000<=pK<=0.880000; +0.600000<=pL<=0.640000, 0.880000<=pK<=0.920000; +0.600000<=pL<=0.640000, 0.920000<=pK<=0.960000; +0.600000<=pL<=0.640000, 0.960000<=pK<=0.999990; +0.640000<=pL<=0.680000, 0.000010<=pK<=0.040000; +0.640000<=pL<=0.680000, 0.040000<=pK<=0.080000; +0.640000<=pL<=0.680000, 0.080000<=pK<=0.120000; +0.640000<=pL<=0.680000, 0.120000<=pK<=0.160000; +0.640000<=pL<=0.680000, 0.160000<=pK<=0.200000; +0.640000<=pL<=0.680000, 0.200000<=pK<=0.240000; +0.640000<=pL<=0.680000, 0.240000<=pK<=0.280000; +0.640000<=pL<=0.680000, 0.280000<=pK<=0.320000; +0.640000<=pL<=0.680000, 0.320000<=pK<=0.360000; +0.640000<=pL<=0.680000, 0.360000<=pK<=0.400000; +0.640000<=pL<=0.680000, 0.400000<=pK<=0.440000; +0.640000<=pL<=0.680000, 0.440000<=pK<=0.480000; +0.640000<=pL<=0.680000, 0.480000<=pK<=0.520000; +0.640000<=pL<=0.680000, 0.520000<=pK<=0.560000; +0.640000<=pL<=0.680000, 0.560000<=pK<=0.600000; +0.640000<=pL<=0.680000, 0.600000<=pK<=0.640000; +0.640000<=pL<=0.680000, 0.640000<=pK<=0.680000; +0.640000<=pL<=0.680000, 0.680000<=pK<=0.720000; +0.640000<=pL<=0.680000, 0.720000<=pK<=0.760000; +0.640000<=pL<=0.680000, 0.760000<=pK<=0.800000; +0.640000<=pL<=0.680000, 0.800000<=pK<=0.840000; +0.640000<=pL<=0.680000, 0.840000<=pK<=0.880000; +0.640000<=pL<=0.680000, 0.880000<=pK<=0.920000; +0.640000<=pL<=0.680000, 0.920000<=pK<=0.960000; +0.640000<=pL<=0.680000, 0.960000<=pK<=0.999990; +0.680000<=pL<=0.720000, 0.000010<=pK<=0.040000; +0.680000<=pL<=0.720000, 0.040000<=pK<=0.080000; +0.680000<=pL<=0.720000, 0.080000<=pK<=0.120000; +0.680000<=pL<=0.720000, 0.120000<=pK<=0.160000; +0.680000<=pL<=0.720000, 0.160000<=pK<=0.200000; +0.680000<=pL<=0.720000, 0.200000<=pK<=0.240000; +0.680000<=pL<=0.720000, 0.240000<=pK<=0.280000; +0.680000<=pL<=0.720000, 0.280000<=pK<=0.320000; +0.680000<=pL<=0.720000, 0.320000<=pK<=0.360000; +0.680000<=pL<=0.720000, 0.360000<=pK<=0.400000; +0.680000<=pL<=0.720000, 0.400000<=pK<=0.440000; +0.680000<=pL<=0.720000, 0.440000<=pK<=0.480000; +0.680000<=pL<=0.720000, 0.480000<=pK<=0.520000; +0.680000<=pL<=0.720000, 0.520000<=pK<=0.560000; +0.680000<=pL<=0.720000, 0.560000<=pK<=0.600000; +0.680000<=pL<=0.720000, 0.600000<=pK<=0.640000; +0.680000<=pL<=0.720000, 0.640000<=pK<=0.680000; +0.680000<=pL<=0.720000, 0.680000<=pK<=0.720000; +0.680000<=pL<=0.720000, 0.720000<=pK<=0.760000; +0.680000<=pL<=0.720000, 0.760000<=pK<=0.800000; +0.680000<=pL<=0.720000, 0.800000<=pK<=0.840000; +0.680000<=pL<=0.720000, 0.840000<=pK<=0.880000; +0.680000<=pL<=0.720000, 0.880000<=pK<=0.920000; +0.680000<=pL<=0.720000, 0.920000<=pK<=0.960000; +0.680000<=pL<=0.720000, 0.960000<=pK<=0.999990; +0.720000<=pL<=0.760000, 0.000010<=pK<=0.040000; +0.720000<=pL<=0.760000, 0.040000<=pK<=0.080000; +0.720000<=pL<=0.760000, 0.080000<=pK<=0.120000; +0.720000<=pL<=0.760000, 0.120000<=pK<=0.160000; +0.720000<=pL<=0.760000, 0.160000<=pK<=0.200000; +0.720000<=pL<=0.760000, 0.200000<=pK<=0.240000; +0.720000<=pL<=0.760000, 0.240000<=pK<=0.280000; +0.720000<=pL<=0.760000, 0.280000<=pK<=0.320000; +0.720000<=pL<=0.760000, 0.320000<=pK<=0.360000; +0.720000<=pL<=0.760000, 0.360000<=pK<=0.400000; +0.720000<=pL<=0.760000, 0.400000<=pK<=0.440000; +0.720000<=pL<=0.760000, 0.440000<=pK<=0.480000; +0.720000<=pL<=0.760000, 0.480000<=pK<=0.520000; +0.720000<=pL<=0.760000, 0.520000<=pK<=0.560000; +0.720000<=pL<=0.760000, 0.560000<=pK<=0.600000; +0.720000<=pL<=0.760000, 0.600000<=pK<=0.640000; +0.720000<=pL<=0.760000, 0.640000<=pK<=0.680000; +0.720000<=pL<=0.760000, 0.680000<=pK<=0.720000; +0.720000<=pL<=0.760000, 0.720000<=pK<=0.760000; +0.720000<=pL<=0.760000, 0.760000<=pK<=0.800000; +0.720000<=pL<=0.760000, 0.800000<=pK<=0.840000; +0.720000<=pL<=0.760000, 0.840000<=pK<=0.880000; +0.720000<=pL<=0.760000, 0.880000<=pK<=0.920000; +0.720000<=pL<=0.760000, 0.920000<=pK<=0.960000; +0.720000<=pL<=0.760000, 0.960000<=pK<=0.999990; +0.760000<=pL<=0.800000, 0.000010<=pK<=0.040000; +0.760000<=pL<=0.800000, 0.040000<=pK<=0.080000; +0.760000<=pL<=0.800000, 0.080000<=pK<=0.120000; +0.760000<=pL<=0.800000, 0.120000<=pK<=0.160000; +0.760000<=pL<=0.800000, 0.160000<=pK<=0.200000; +0.760000<=pL<=0.800000, 0.200000<=pK<=0.240000; +0.760000<=pL<=0.800000, 0.240000<=pK<=0.280000; +0.760000<=pL<=0.800000, 0.280000<=pK<=0.320000; +0.760000<=pL<=0.800000, 0.320000<=pK<=0.360000; +0.760000<=pL<=0.800000, 0.360000<=pK<=0.400000; +0.760000<=pL<=0.800000, 0.400000<=pK<=0.440000; +0.760000<=pL<=0.800000, 0.440000<=pK<=0.480000; +0.760000<=pL<=0.800000, 0.480000<=pK<=0.520000; +0.760000<=pL<=0.800000, 0.520000<=pK<=0.560000; +0.760000<=pL<=0.800000, 0.560000<=pK<=0.600000; +0.760000<=pL<=0.800000, 0.600000<=pK<=0.640000; +0.760000<=pL<=0.800000, 0.640000<=pK<=0.680000; +0.760000<=pL<=0.800000, 0.680000<=pK<=0.720000; +0.760000<=pL<=0.800000, 0.720000<=pK<=0.760000; +0.760000<=pL<=0.800000, 0.760000<=pK<=0.800000; +0.760000<=pL<=0.800000, 0.800000<=pK<=0.840000; +0.760000<=pL<=0.800000, 0.840000<=pK<=0.880000; +0.760000<=pL<=0.800000, 0.880000<=pK<=0.920000; +0.760000<=pL<=0.800000, 0.920000<=pK<=0.960000; +0.760000<=pL<=0.800000, 0.960000<=pK<=0.999990; +0.800000<=pL<=0.840000, 0.000010<=pK<=0.040000; +0.800000<=pL<=0.840000, 0.040000<=pK<=0.080000; +0.800000<=pL<=0.840000, 0.080000<=pK<=0.120000; +0.800000<=pL<=0.840000, 0.120000<=pK<=0.160000; +0.800000<=pL<=0.840000, 0.160000<=pK<=0.200000; +0.800000<=pL<=0.840000, 0.200000<=pK<=0.240000; +0.800000<=pL<=0.840000, 0.240000<=pK<=0.280000; +0.800000<=pL<=0.840000, 0.280000<=pK<=0.320000; +0.800000<=pL<=0.840000, 0.320000<=pK<=0.360000; +0.800000<=pL<=0.840000, 0.360000<=pK<=0.400000; +0.800000<=pL<=0.840000, 0.400000<=pK<=0.440000; +0.800000<=pL<=0.840000, 0.440000<=pK<=0.480000; +0.800000<=pL<=0.840000, 0.480000<=pK<=0.520000; +0.800000<=pL<=0.840000, 0.520000<=pK<=0.560000; +0.800000<=pL<=0.840000, 0.560000<=pK<=0.600000; +0.800000<=pL<=0.840000, 0.600000<=pK<=0.640000; +0.800000<=pL<=0.840000, 0.640000<=pK<=0.680000; +0.800000<=pL<=0.840000, 0.680000<=pK<=0.720000; +0.800000<=pL<=0.840000, 0.720000<=pK<=0.760000; +0.800000<=pL<=0.840000, 0.760000<=pK<=0.800000; +0.800000<=pL<=0.840000, 0.800000<=pK<=0.840000; +0.800000<=pL<=0.840000, 0.840000<=pK<=0.880000; +0.800000<=pL<=0.840000, 0.880000<=pK<=0.920000; +0.800000<=pL<=0.840000, 0.920000<=pK<=0.960000; +0.800000<=pL<=0.840000, 0.960000<=pK<=0.999990; +0.840000<=pL<=0.880000, 0.000010<=pK<=0.040000; +0.840000<=pL<=0.880000, 0.040000<=pK<=0.080000; +0.840000<=pL<=0.880000, 0.080000<=pK<=0.120000; +0.840000<=pL<=0.880000, 0.120000<=pK<=0.160000; +0.840000<=pL<=0.880000, 0.160000<=pK<=0.200000; +0.840000<=pL<=0.880000, 0.200000<=pK<=0.240000; +0.840000<=pL<=0.880000, 0.240000<=pK<=0.280000; +0.840000<=pL<=0.880000, 0.280000<=pK<=0.320000; +0.840000<=pL<=0.880000, 0.320000<=pK<=0.360000; +0.840000<=pL<=0.880000, 0.360000<=pK<=0.400000; +0.840000<=pL<=0.880000, 0.400000<=pK<=0.440000; +0.840000<=pL<=0.880000, 0.440000<=pK<=0.480000; +0.840000<=pL<=0.880000, 0.480000<=pK<=0.520000; +0.840000<=pL<=0.880000, 0.520000<=pK<=0.560000; +0.840000<=pL<=0.880000, 0.560000<=pK<=0.600000; +0.840000<=pL<=0.880000, 0.600000<=pK<=0.640000; +0.840000<=pL<=0.880000, 0.640000<=pK<=0.680000; +0.840000<=pL<=0.880000, 0.680000<=pK<=0.720000; +0.840000<=pL<=0.880000, 0.720000<=pK<=0.760000; +0.840000<=pL<=0.880000, 0.760000<=pK<=0.800000; +0.840000<=pL<=0.880000, 0.800000<=pK<=0.840000; +0.840000<=pL<=0.880000, 0.840000<=pK<=0.880000; +0.840000<=pL<=0.880000, 0.880000<=pK<=0.920000; +0.840000<=pL<=0.880000, 0.920000<=pK<=0.960000; +0.840000<=pL<=0.880000, 0.960000<=pK<=0.999990; +0.880000<=pL<=0.920000, 0.000010<=pK<=0.040000; +0.880000<=pL<=0.920000, 0.040000<=pK<=0.080000; +0.880000<=pL<=0.920000, 0.080000<=pK<=0.120000; +0.880000<=pL<=0.920000, 0.120000<=pK<=0.160000; +0.880000<=pL<=0.920000, 0.160000<=pK<=0.200000; +0.880000<=pL<=0.920000, 0.200000<=pK<=0.240000; +0.880000<=pL<=0.920000, 0.240000<=pK<=0.280000; +0.880000<=pL<=0.920000, 0.280000<=pK<=0.320000; +0.880000<=pL<=0.920000, 0.320000<=pK<=0.360000; +0.880000<=pL<=0.920000, 0.360000<=pK<=0.400000; +0.880000<=pL<=0.920000, 0.400000<=pK<=0.440000; +0.880000<=pL<=0.920000, 0.440000<=pK<=0.480000; +0.880000<=pL<=0.920000, 0.480000<=pK<=0.520000; +0.880000<=pL<=0.920000, 0.520000<=pK<=0.560000; +0.880000<=pL<=0.920000, 0.560000<=pK<=0.600000; +0.880000<=pL<=0.920000, 0.600000<=pK<=0.640000; +0.880000<=pL<=0.920000, 0.640000<=pK<=0.680000; +0.880000<=pL<=0.920000, 0.680000<=pK<=0.720000; +0.880000<=pL<=0.920000, 0.720000<=pK<=0.760000; +0.880000<=pL<=0.920000, 0.760000<=pK<=0.800000; +0.880000<=pL<=0.920000, 0.800000<=pK<=0.840000; +0.880000<=pL<=0.920000, 0.840000<=pK<=0.880000; +0.880000<=pL<=0.920000, 0.880000<=pK<=0.920000; +0.880000<=pL<=0.920000, 0.920000<=pK<=0.960000; +0.880000<=pL<=0.920000, 0.960000<=pK<=0.999990; +0.920000<=pL<=0.960000, 0.000010<=pK<=0.040000; +0.920000<=pL<=0.960000, 0.040000<=pK<=0.080000; +0.920000<=pL<=0.960000, 0.080000<=pK<=0.120000; +0.920000<=pL<=0.960000, 0.120000<=pK<=0.160000; +0.920000<=pL<=0.960000, 0.160000<=pK<=0.200000; +0.920000<=pL<=0.960000, 0.200000<=pK<=0.240000; +0.920000<=pL<=0.960000, 0.240000<=pK<=0.280000; +0.920000<=pL<=0.960000, 0.280000<=pK<=0.320000; +0.920000<=pL<=0.960000, 0.320000<=pK<=0.360000; +0.920000<=pL<=0.960000, 0.360000<=pK<=0.400000; +0.920000<=pL<=0.960000, 0.400000<=pK<=0.440000; +0.920000<=pL<=0.960000, 0.440000<=pK<=0.480000; +0.920000<=pL<=0.960000, 0.480000<=pK<=0.520000; +0.920000<=pL<=0.960000, 0.520000<=pK<=0.560000; +0.920000<=pL<=0.960000, 0.560000<=pK<=0.600000; +0.920000<=pL<=0.960000, 0.600000<=pK<=0.640000; +0.920000<=pL<=0.960000, 0.640000<=pK<=0.680000; +0.920000<=pL<=0.960000, 0.680000<=pK<=0.720000; +0.920000<=pL<=0.960000, 0.720000<=pK<=0.760000; +0.920000<=pL<=0.960000, 0.760000<=pK<=0.800000; +0.920000<=pL<=0.960000, 0.800000<=pK<=0.840000; +0.920000<=pL<=0.960000, 0.840000<=pK<=0.880000; +0.920000<=pL<=0.960000, 0.880000<=pK<=0.920000; +0.920000<=pL<=0.960000, 0.920000<=pK<=0.960000; +0.920000<=pL<=0.960000, 0.960000<=pK<=0.999990; +0.960000<=pL<=0.999990, 0.000010<=pK<=0.040000; +0.960000<=pL<=0.999990, 0.040000<=pK<=0.080000; +0.960000<=pL<=0.999990, 0.080000<=pK<=0.120000; +0.960000<=pL<=0.999990, 0.120000<=pK<=0.160000; +0.960000<=pL<=0.999990, 0.160000<=pK<=0.200000; +0.960000<=pL<=0.999990, 0.200000<=pK<=0.240000; +0.960000<=pL<=0.999990, 0.240000<=pK<=0.280000; +0.960000<=pL<=0.999990, 0.280000<=pK<=0.320000; +0.960000<=pL<=0.999990, 0.320000<=pK<=0.360000; +0.960000<=pL<=0.999990, 0.360000<=pK<=0.400000; +0.960000<=pL<=0.999990, 0.400000<=pK<=0.440000; +0.960000<=pL<=0.999990, 0.440000<=pK<=0.480000; +0.960000<=pL<=0.999990, 0.480000<=pK<=0.520000; +0.960000<=pL<=0.999990, 0.520000<=pK<=0.560000; +0.960000<=pL<=0.999990, 0.560000<=pK<=0.600000; +0.960000<=pL<=0.999990, 0.600000<=pK<=0.640000; +0.960000<=pL<=0.999990, 0.640000<=pK<=0.680000; +0.960000<=pL<=0.999990, 0.680000<=pK<=0.720000; +0.960000<=pL<=0.999990, 0.720000<=pK<=0.760000; +0.960000<=pL<=0.999990, 0.760000<=pK<=0.800000; +0.960000<=pL<=0.999990, 0.800000<=pK<=0.840000; +0.960000<=pL<=0.999990, 0.840000<=pK<=0.880000; +0.960000<=pL<=0.999990, 0.880000<=pK<=0.920000; +0.960000<=pL<=0.999990, 0.920000<=pK<=0.960000; +0.960000<=pL<=0.999990, 0.960000<=pK<=0.999990;