río Torio, PEDRUN DE TORIO