0 0.2800000000 0.2287500000 0.4325000000 0.0425000000
1 0.2550000000 0.3281250000 0.3850000000 0.0837500000
2 0.3043750000 0.4150000000 0.2537500000 0.0300000000
4 0.6750000000 0.4175000000 0.0175000000 0.0275000000
5 0.3800000000 0.4656250000 0.0200000000 0.0287500000
9 0.3012500000 0.5275000000 0.0200000000 0.0275000000
11 0.7950000000 0.5312500000 0.2575000000 0.0300000000
12 0.6625000000 0.5800000000 0.2825000000 0.0300000000
13 0.1706250000 0.6912500000 0.1062500000 0.1050000000
14 0.7975000000 0.7000000000 0.2350000000 0.1150000000
