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