Distribution of: ADichotomius (Dichotomius) divergens (Luederwaldt, 1923) BDichotomius (Dichotomius) mamillatus (Felsche, 1901) CDichotomius (Dichotomius) monstrosus (Harold, 1875) DDichotomius (Dichotomius) ohausi (Luederwaldt, 1923).