Title: the shooting times library