set_type
INSTANCE set_type#70;
corresponds_to = {correspondence#1, correspondence#52};
element_type = entity_type#190;
lower_bound = integer_literal#103;
upper_bound = built_in_constant#99;
END_INSTANCE;
INSTANCE set_type#71;
corresponds_to = {correspondence#65};
element_type = defined_type#39;
lower_bound = integer_literal#102;
upper_bound = built_in_constant#98;
END_INSTANCE;
INSTANCE set_type#72;
corresponds_to = {correspondence#16};
element_type = entity_type#193;
lower_bound = integer_literal#105;
upper_bound = integer_literal#106;
END_INSTANCE;
INSTANCE set_type#73;
corresponds_to = {correspondence#22, correspondence#34};
element_type = entity_type#192;
lower_bound = integer_literal#104;
upper_bound = built_in_constant#100;
END_INSTANCE;
INSTANCE set_type#74;
corresponds_to = {correspondence#1, correspondence#34};
element_type = entity_type#196;
lower_bound = integer_literal#117;
upper_bound = built_in_constant#106;
END_INSTANCE;
INSTANCE set_type#75;
corresponds_to = {correspondence#65};
element_type = defined_type#43;
lower_bound = integer_literal#107;
upper_bound = built_in_constant#101;
END_INSTANCE;
INSTANCE set_type#76;
element_type = set_type#77;
lower_bound = integer_literal#111;
upper_bound = integer_literal#112;
END_INSTANCE;
INSTANCE set_type#77;
element_type = defined_type#45;
lower_bound = integer_literal#110;
upper_bound = built_in_constant#103;
END_INSTANCE;
INSTANCE set_type#78;
element_type = set_type#79;
lower_bound = integer_literal#114;
upper_bound = integer_literal#115;
END_INSTANCE;
INSTANCE set_type#79;
element_type = defined_type#45;
lower_bound = integer_literal#113;
upper_bound = built_in_constant#104;
END_INSTANCE;
INSTANCE set_type#80;
element_type = defined_type#45;
lower_bound = integer_literal#116;
upper_bound = built_in_constant#105;
END_INSTANCE;
INSTANCE set_type#81;
element_type = defined_type#45;
lower_bound = integer_literal#116;
upper_bound = built_in_constant#105;
END_INSTANCE;
INSTANCE set_type#82;
corresponds_to = {correspondence#16};
element_type = entity_type#197;
lower_bound = integer_literal#121;
upper_bound = integer_literal#122;
END_INSTANCE;
INSTANCE set_type#83;
corresponds_to = {correspondence#22, correspondence#52};
element_type = entity_type#196;
lower_bound = integer_literal#119;
upper_bound = built_in_constant#107;
END_INSTANCE;