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.
Bookmarks