9 s. m . , » ti bitset N:o80