VerbaAlpina instances for the concept HIRTIN