enumeration_symbol


INSTANCE enumeration_symbol#43;
	corresponds_to = {enumeration_symbol#46};
	name = "red";
END_INSTANCE;

INSTANCE enumeration_symbol#44;
	corresponds_to = {enumeration_symbol#47};
	name = "yellow";
END_INSTANCE;

INSTANCE enumeration_symbol#45;
	corresponds_to = {enumeration_symbol#48};
	name = "white";
END_INSTANCE;

INSTANCE enumeration_symbol#46;
	corresponds_to = {enumeration_symbol#43};
	name = "red";
END_INSTANCE;

INSTANCE enumeration_symbol#47;
	corresponds_to = {enumeration_symbol#44};
	name = "yellow";
END_INSTANCE;

INSTANCE enumeration_symbol#48;
	corresponds_to = {enumeration_symbol#45};
	name = "white";
END_INSTANCE;