set_type
INSTANCE set_type#70;
corresponds_to = {correspondence#1, correspondence#59};
element_type = entity_type#190;
lower_bound = integer_literal#107;
upper_bound = built_in_constant#101;
END_INSTANCE;
INSTANCE set_type#71;
corresponds_to = {correspondence#9, correspondence#43};
element_type = entity_type#192;
lower_bound = integer_literal#102;
upper_bound = built_in_constant#98;
END_INSTANCE;
INSTANCE set_type#72;
corresponds_to = {correspondence#12};
element_type = entity_type#193;
lower_bound = integer_literal#103;
upper_bound = integer_literal#104;
END_INSTANCE;
INSTANCE set_type#73;
element_type = entity_type#193;
lower_bound = integer_literal#105;
upper_bound = built_in_constant#99;
END_INSTANCE;
INSTANCE set_type#74;
corresponds_to = {correspondence#15};
element_type = defined_type#39;
lower_bound = integer_literal#106;
upper_bound = built_in_constant#100;
END_INSTANCE;
INSTANCE set_type#75;
corresponds_to = {correspondence#1, correspondence#43};
element_type = entity_type#199;
lower_bound = integer_literal#117;
upper_bound = built_in_constant#109;
END_INSTANCE;
INSTANCE set_type#76;
corresponds_to = {correspondence#9, correspondence#59};
element_type = entity_type#201;
lower_bound = integer_literal#111;
upper_bound = built_in_constant#103;
END_INSTANCE;
INSTANCE set_type#77;
corresponds_to = {correspondence#12};
element_type = entity_type#202;
lower_bound = integer_literal#112;
upper_bound = integer_literal#113;
END_INSTANCE;
INSTANCE set_type#78;
element_type = entity_type#202;
lower_bound = integer_literal#114;
upper_bound = built_in_constant#104;
END_INSTANCE;
INSTANCE set_type#79;
corresponds_to = {correspondence#15};
element_type = defined_type#43;
lower_bound = integer_literal#116;
upper_bound = built_in_constant#106;
END_INSTANCE;