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_INSTANTS_SEQ #define INITIAL_INSTANTS_SEQ   64