a program to generate configuration-state lists of LS