0.0000000 0.3875000 a
0.3875000 1.5000000 s
1.5000000 2.7325000 s
2.7325000 3.9800000 s
3.9800000 5.2825000 s
5.2825000 5.6700000 a
5.6700000 6.6550000 s
6.6550000 6.9600000 a
6.9600000 7.9200000 s
7.9200000 9.2600000 s
9.2600000 9.6225000 a
9.6225000 10.5750000 s
10.5750000 10.9175000 a
10.9175000 11.8450000 s
11.8450000 12.1925000 a
12.1925000 13.0975000 s
