COMPACT_COMP_SEQS DEBUG EXPAND_SEQ INITIAL_INSTANTS_SEQ INITIAL_SEQUENCES_SEQSET main MAX_INSTANTS MAX_INSTANTS_SEQ MAX_LENGTH_TEXT NO_INSTANTS_BATCH

COMPACT_COMP_SEQS #define COMPACT_COMP_SEQS   true