Estos deben ser los nombres de los talladores de la gruta. Una gruta así no pudo completarse en solo unos poco…