ingerprint seed index</h3>
<p>
TLC saves only 64-bit fingerprints (hashes) of the reachable states that it finds, not the
complete states.&nbsp;  If two different reachable states have the same fingerprint, a situation
called a  <em>collision</em>, TLC may not find all reachable states.&nbsp;
At the
end of a run, TLC prints estimates of how likely it was that a collision occurred.&nbsp;
If you're worried that a collision might have occurred, you can re-run the model with a
different fingerprint function.&nb