File: tarjan_nocolors.v