Spinroot

Hi,

I'm new with Spin and the output of ./pan give me this :

State-vector 36 byte, depth reached 3267, errors: 1
    14478 states, stored
    19167 states, matched
    33645 transitions (= stored+matched)
        0 atomic steps
hash conflicts:        81 (resolved)

So, I d'ont understand whats are the states stores and matched and what are the differences between them,

Thanks,