https://ssc.moe/posts/pat-1163-dijkstra-sequence/