Adding Dijkstra’s Algorithm (EWD 840, 1983) with N=32