hal2ans