The above initial state is written using the term abbreviation scheme explained here. By further applying the term abbreviation scheme and the Prolog-like list syntax, list concatenation can be written also as:

RESULT: Twenty possible final configurations. You can randomly compute them by running the program using LMNtal Java with the -s (shuffle) option, or running SLIM with the -nd (nondeterministic execution) option. LMNtalEditor?'s StateViewer? will show you a state transition diagram of the problem.