A program to generate configuration-state lists