the method is explained in page 3 and 4, basically they create a scrip that is based on the lemming ID (lSet) and the lemming command (cSet). All of that is entered into a sequence based on the time stamp (t).

Quite straight forward, but it looks like they got it to work and even in not in too many iteration which is, surprising.