ALL-SC-NAMES CARD CURRENT-INDEX CURRENT-LENGTH ENGINE-INFO EQ-SC? ICV INDEX-RULE NORMAL-ORDER PARTIAL-SOLUTION PMC-ENGINE PRIME REV-PARTIAL-SOLUTION SC+OFF SC-INFO SC-NAME SC-SUBSETS SCS-CARD SUB/SUPERSETS SUBSETS SUPERSETS WILDCARD-RULE