Each state symmetry to be optimized is specified by one WF card, which may optionally be
followed by STATE, WEIGHT, RESTRICT, SELECT, CON, and/or PSPACE cards. All
cards belonging to a particular state symmetry as defined on the WF card must form a
block which comes directly after the WF card. The cards can be in any order, however.
19.3 Defining the optimized states