20.3 Defining the optimized states

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.