Try using denseIntegerSet for systems