extern const int COLOR_range__Range__without_last;
extern const int COLOR_abstract_collection__SequenceRead___91d_93d;
extern const int COLOR_abstract_collection__Sequence___91d_93d_61d;
extern const int COLOR_range__Range__without_last;
extern const int COLOR_abstract_collection__SequenceRead___91d_93d;
extern const int COLOR_abstract_collection__Sequence___91d_93d_61d;