sp;  The fingerprint seed index specifies which of 64 fingerprint
functions TLC should use.&nbsp; If the two runs produce different numbers of reachable
states, then there was a collision in at least one of the runs.&nbsp;  If not, the probability
that there was a collision in both is the square of the probability that either one had
a collision--a probability that is probably very, very small.&nbsp;  By default, which fingerprint
function to use is chosen randomly.


<h3> Cardinality of largest enumerable 