The first parameter is the list of edges, and the second is the number of vertices.
⟶
ℤ
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
↦
distribution search