https://crxb.cc/9i8frrzz
Verifier's note: the timer starts too late at the beginning and ends too early at the end, retimed