A single-source shortest path algorithm for dynamic graphs. Issue 3 (1st September 2020)