# Graph from wfc-cr-attach, page 1
0.00000	0.004684
0.5031	0.004684
0.5283	0.01873
1.509	0.01873
1.534	0.09327
2.490	0.09327
2.515	0.1034
3.496	0.1034
3.522	0.2440
4.503	0.2440
4.528	0.1107
5.509	0.1107
5.534	0.1013
6.490	0.1013
6.515	0.06090
7.496	0.06090
7.522	0.05834
8.503	0.05834
8.528	0.03875
9.509	0.03875
9.534	0.03066
10.49	0.03066
10.51	0.01788
11.47	0.01788
11.49	0.01831
13.50	0.01831
13.53	0.01235
13.53	0.01235
14.49	0.01235
14.51	0.01064
15.49	0.01064
15.52	0.008091
16.50	0.008091
16.52	0.004684
17.48	0.004684
17.53	0.003833
18.49	0.003833
18.51	0.005536
19.47	0.005536
19.52	0.004684
20.00	0.004684