Children (5 direct children, 5 direct and indirect children):
Dinocephalus ornatus
Dinocephalus heissi
Dinocephalus alboguttatus
Dinocephalus haafi
Dinocephalus ocellatus