set_type
INSTANCE set_type#70;
corresponds_to = {correspondence#8};
element_type = entity_type#192;
lower_bound = integer_literal#103;
upper_bound = built_in_constant#100;
END_INSTANCE;
INSTANCE set_type#71;
corresponds_to = {correspondence#25};
element_type = entity_type#193;
lower_bound = integer_literal#101;
upper_bound = built_in_constant#98;
END_INSTANCE;
INSTANCE set_type#72;
corresponds_to = {correspondence#22};
element_type = entity_type#192;
lower_bound = integer_literal#102;
upper_bound = built_in_constant#99;
END_INSTANCE;
INSTANCE set_type#73;
corresponds_to = {correspondence#59};
element_type = entity_type#192;
lower_bound = integer_literal#104;
upper_bound = built_in_constant#101;
END_INSTANCE;
INSTANCE set_type#74;
corresponds_to = {correspondence#8};
element_type = entity_type#199;
lower_bound = integer_literal#110;
upper_bound = built_in_constant#105;
END_INSTANCE;
INSTANCE set_type#75;
corresponds_to = {correspondence#25};
element_type = entity_type#200;
lower_bound = integer_literal#108;
upper_bound = built_in_constant#103;
END_INSTANCE;
INSTANCE set_type#76;
corresponds_to = {correspondence#22};
element_type = entity_type#199;
lower_bound = integer_literal#109;
upper_bound = built_in_constant#104;
END_INSTANCE;
INSTANCE set_type#77;
corresponds_to = {correspondence#59};
element_type = entity_type#199;
lower_bound = integer_literal#111;
upper_bound = built_in_constant#106;
END_INSTANCE;