In v0.4.1, we have: ~~~ [x for x in S.iterator()] ~~~ contains only the empty word graph. https://github.com/libsemigroups/libsemigroups_pybind11/blob/71be8d076a98e203e75afcd0547e041e00284c43/src/sims1.cpp#L217