(
Dolichoderinae
:
---
)
Dolichoderus extensispinus
