0.0000000 0.8875000 a
0.8875000 2.1350000 s
2.1350000 3.3325000 s
3.3325000 4.4900000 s
4.4900000 5.6975000 s
5.6975000 5.9950000 a
5.9950000 7.1675000 s
7.1675000 8.2750000 s
8.2750000 9.5400000 s
9.5400000 9.7900000 a
9.7900000 10.8025000 s
10.8025000 12.0375000 s
12.0375000 13.2375000 s
