Older version of Pachycondyla chinensis