verification of Dijkstra

1000000