COMPACT_COMP_SEQS DEBUG EXPAND_SEQ INITIAL_INSTANTS_SEQ INITIAL_SEQUENCES_SEQSET main MAX_INSTANTS MAX_INSTANTS_SEQ MAX_LENGTH_TEXT NO_INSTANTS_BATCH

MAX_INSTANTS_SEQ #define MAX_INSTANTS_SEQ   50000