Sven Rahmann Jens Zentgraf Worst-case-optimal Spaced Seeds. 2025 August https://doi.org/10.4230/artifacts.23732 DROPS Artifacts streams/repo/drops