Data from: Exact distribution of divergence times from fossil ages and tree topologies

Being given a phylogenetic tree of both extant and extinct taxa in which
the fossil ages are the only temporal information (namely, in which
divergence times are considered unknown), we provide a method to compute
the probability distribution of any divergence time of the tree with
regard to any speciation (cladogenesis), extinction and fossilization
rates under the Fossilized-Birth-Death model. We then use this method to
obtain a probability distribution for the age of Amniota (the
synapsid/sauropsid or bird/mammal divergence), one of the most-frequently
used dating constraint.