init HavelHakimi