COMPACT_COMP_SEQS DEBUG EXPAND_SEQ INITIAL_INSTANTS_SEQ INITIAL_SEQUENCES_SEQSET main MAX_INSTANTS MAX_INSTANTS_SEQ MAX_LENGTH_TEXT NO_INSTANTS_BATCH

INITIAL_SEQUENCES_SEQSET #define INITIAL_SEQUENCES_SEQSET   64