[8265] División Extrajudicial entre Ricardina y Eleodora Pantoja, herederas de los finados Fernando Pantoja y Juana Chavarría, 18 Jul 1889.