set_type
INSTANCE set_type#1;
element_type = simple_type(string_type);
END_INSTANCE;
INSTANCE set_type#2;
element_type = entity_type#1;
lower_bound = integer_literal#1;
upper_bound = built_in_constant#1;
END_INSTANCE;
INSTANCE set_type#3;
element_type = entity_type#1;
lower_bound = integer_literal#2;
upper_bound = built_in_constant#2;
END_INSTANCE;
INSTANCE set_type#4;
element_type = entity_type#1;
lower_bound = integer_literal#3;
upper_bound = built_in_constant#3;
END_INSTANCE;
INSTANCE set_type#5;
element_type = entity_type#1;
lower_bound = integer_literal#4;
upper_bound = built_in_constant#4;
END_INSTANCE;
INSTANCE set_type#6;
element_type = entity_type#5;
lower_bound = integer_literal#60;
upper_bound = built_in_constant#60;
END_INSTANCE;
INSTANCE set_type#7;
element_type = entity_type#6;
lower_bound = integer_literal#21;
upper_bound = built_in_constant#21;
END_INSTANCE;
INSTANCE set_type#8;
element_type = entity_type#7;
lower_bound = integer_literal#5;
upper_bound = built_in_constant#5;
END_INSTANCE;
INSTANCE set_type#9;
element_type = entity_type#8;
lower_bound = integer_literal#7;
upper_bound = built_in_constant#7;
END_INSTANCE;
INSTANCE set_type#10;
element_type = entity_type#18;
lower_bound = integer_literal#13;
upper_bound = built_in_constant#13;
END_INSTANCE;
INSTANCE set_type#11;
element_type = entity_type#21;
lower_bound = integer_literal#11;
upper_bound = built_in_constant#11;
END_INSTANCE;
INSTANCE set_type#12;
element_type = entity_type#22;
lower_bound = integer_literal#8;
upper_bound = built_in_constant#8;
END_INSTANCE;
INSTANCE set_type#13;
element_type = entity_type#23;
lower_bound = integer_literal#9;
upper_bound = built_in_constant#9;
END_INSTANCE;
INSTANCE set_type#14;
element_type = entity_type#24;
lower_bound = integer_literal#10;
upper_bound = built_in_constant#10;
END_INSTANCE;
INSTANCE set_type#15;
element_type = entity_type#20;
lower_bound = integer_literal#12;
upper_bound = built_in_constant#12;
END_INSTANCE;
INSTANCE set_type#16;
element_type = entity_type#25;
lower_bound = integer_literal#14;
upper_bound = built_in_constant#14;
END_INSTANCE;
INSTANCE set_type#17;
element_type = entity_type#25;
lower_bound = integer_literal#15;
upper_bound = built_in_constant#15;
END_INSTANCE;
INSTANCE set_type#18;
element_type = entity_type#25;
lower_bound = integer_literal#16;
upper_bound = built_in_constant#16;
END_INSTANCE;
INSTANCE set_type#19;
element_type = entity_type#6;
lower_bound = integer_literal#17;
upper_bound = built_in_constant#17;
END_INSTANCE;
INSTANCE set_type#20;
element_type = entity_type#29;
lower_bound = integer_literal#20;
upper_bound = built_in_constant#20;
END_INSTANCE;
INSTANCE set_type#21;
element_type = entity_type#31;
lower_bound = integer_literal#18;
upper_bound = built_in_constant#18;
END_INSTANCE;
INSTANCE set_type#22;
element_type = entity_type#32;
lower_bound = integer_literal#19;
upper_bound = built_in_constant#19;
END_INSTANCE;
INSTANCE set_type#23;
element_type = entity_type#33;
lower_bound = integer_literal#54;
upper_bound = built_in_constant#54;
END_INSTANCE;
INSTANCE set_type#24;
element_type = entity_type#6;
lower_bound = integer_literal#22;
upper_bound = built_in_constant#22;
END_INSTANCE;
INSTANCE set_type#25;
element_type = entity_type#6;
lower_bound = integer_literal#23;
upper_bound = built_in_constant#23;
END_INSTANCE;
INSTANCE set_type#26;
element_type = entity_type#8;
lower_bound = integer_literal#24;
upper_bound = built_in_constant#24;
END_INSTANCE;
INSTANCE set_type#27;
element_type = entity_type#34;
lower_bound = integer_literal#48;
upper_bound = built_in_constant#48;
END_INSTANCE;
INSTANCE set_type#28;
element_type = entity_type#37;
lower_bound = integer_literal#25;
upper_bound = built_in_constant#25;
END_INSTANCE;
INSTANCE set_type#29;
element_type = entity_type#6;
lower_bound = integer_literal#26;
upper_bound = built_in_constant#26;
END_INSTANCE;
INSTANCE set_type#30;
element_type = entity_type#36;
lower_bound = integer_literal#27;
upper_bound = built_in_constant#27;
END_INSTANCE;
INSTANCE set_type#31;
element_type = entity_type#38;
lower_bound = integer_literal#28;
upper_bound = built_in_constant#28;
END_INSTANCE;
INSTANCE set_type#32;
element_type = entity_type#39;
lower_bound = integer_literal#45;
upper_bound = built_in_constant#45;
END_INSTANCE;
INSTANCE set_type#33;
element_type = entity_type#45;
lower_bound = integer_literal#31;
upper_bound = built_in_constant#31;
END_INSTANCE;
INSTANCE set_type#34;
element_type = entity_type#45;
lower_bound = integer_literal#30;
upper_bound = built_in_constant#30;
END_INSTANCE;
INSTANCE set_type#35;
element_type = entity_type#46;
lower_bound = integer_literal#36;
upper_bound = built_in_constant#36;
END_INSTANCE;
INSTANCE set_type#36;
element_type = entity_type#39;
lower_bound = integer_literal#33;
upper_bound = built_in_constant#33;
END_INSTANCE;
INSTANCE set_type#37;
element_type = entity_type#49;
lower_bound = integer_literal#34;
upper_bound = built_in_constant#34;
END_INSTANCE;
INSTANCE set_type#38;
element_type = entity_type#51;
lower_bound = integer_literal#35;
upper_bound = built_in_constant#35;
END_INSTANCE;
INSTANCE set_type#39;
element_type = entity_type#52;
lower_bound = integer_literal#39;
upper_bound = built_in_constant#39;
END_INSTANCE;
INSTANCE set_type#40;
element_type = entity_type#44;
lower_bound = integer_literal#38;
upper_bound = built_in_constant#38;
END_INSTANCE;
INSTANCE set_type#41;
element_type = entity_type#44;
lower_bound = integer_literal#40;
upper_bound = built_in_constant#40;
END_INSTANCE;
INSTANCE set_type#42;
element_type = entity_type#55;
lower_bound = integer_literal#41;
upper_bound = built_in_constant#41;
END_INSTANCE;
INSTANCE set_type#43;
element_type = entity_type#57;
lower_bound = integer_literal#42;
upper_bound = built_in_constant#42;
END_INSTANCE;
INSTANCE set_type#44;
element_type = entity_type#54;
lower_bound = integer_literal#43;
upper_bound = built_in_constant#43;
END_INSTANCE;
INSTANCE set_type#45;
element_type = entity_type#41;
lower_bound = integer_literal#44;
upper_bound = built_in_constant#44;
END_INSTANCE;
INSTANCE set_type#46;
element_type = entity_type#48;
lower_bound = integer_literal#46;
upper_bound = built_in_constant#46;
END_INSTANCE;
INSTANCE set_type#47;
element_type = entity_type#38;
lower_bound = integer_literal#49;
upper_bound = built_in_constant#49;
END_INSTANCE;
INSTANCE set_type#48;
element_type = entity_type#37;
lower_bound = integer_literal#50;
upper_bound = built_in_constant#50;
END_INSTANCE;
INSTANCE set_type#49;
element_type = entity_type#39;
lower_bound = integer_literal#51;
upper_bound = built_in_constant#51;
END_INSTANCE;
INSTANCE set_type#50;
element_type = entity_type#48;
lower_bound = integer_literal#52;
upper_bound = built_in_constant#52;
END_INSTANCE;
INSTANCE set_type#51;
element_type = entity_type#18;
lower_bound = integer_literal#53;
upper_bound = built_in_constant#53;
END_INSTANCE;
INSTANCE set_type#52;
element_type = entity_type#34;
lower_bound = integer_literal#55;
upper_bound = built_in_constant#55;
END_INSTANCE;
INSTANCE set_type#53;
element_type = entity_type#38;
lower_bound = integer_literal#56;
upper_bound = built_in_constant#56;
END_INSTANCE;
INSTANCE set_type#54;
element_type = entity_type#37;
lower_bound = integer_literal#57;
upper_bound = built_in_constant#57;
END_INSTANCE;
INSTANCE set_type#55;
element_type = entity_type#60;
lower_bound = integer_literal#58;
upper_bound = built_in_constant#58;
END_INSTANCE;
INSTANCE set_type#56;
element_type = entity_type#61;
lower_bound = integer_literal#59;
upper_bound = built_in_constant#59;
END_INSTANCE;
INSTANCE set_type#57;
element_type = entity_type#16;
lower_bound = integer_literal#61;
upper_bound = built_in_constant#61;
END_INSTANCE;
INSTANCE set_type#58;
element_type = entity_type#16;
lower_bound = integer_literal#62;
upper_bound = built_in_constant#62;
END_INSTANCE;
INSTANCE set_type#59;
element_type = entity_type#1;
lower_bound = integer_literal#66;
upper_bound = built_in_constant#66;
END_INSTANCE;
INSTANCE set_type#60;
element_type = entity_type#1;
lower_bound = integer_literal#70;
upper_bound = built_in_constant#70;
END_INSTANCE;
INSTANCE set_type#61;
element_type = entity_type#18;
lower_bound = integer_literal#71;
upper_bound = built_in_constant#71;
END_INSTANCE;
INSTANCE set_type#62;
element_type = entity_type#1;
lower_bound = integer_literal#74;
upper_bound = built_in_constant#74;
END_INSTANCE;
INSTANCE set_type#63;
element_type = entity_type#1;
lower_bound = integer_literal#75;
upper_bound = built_in_constant#75;
END_INSTANCE;
INSTANCE set_type#64;
element_type = defined_type#23;
lower_bound = integer_literal#76;
upper_bound = built_in_constant#76;
END_INSTANCE;
INSTANCE set_type#65;
element_type = entity_type#124;
lower_bound = integer_literal#77;
upper_bound = built_in_constant#77;
END_INSTANCE;
INSTANCE set_type#66;
element_type = defined_type#25;
END_INSTANCE;
INSTANCE set_type#67;
element_type = defined_type#29;
lower_bound = integer_literal#80;
upper_bound = built_in_constant#80;
END_INSTANCE;
INSTANCE set_type#68;
element_type = entity_type#43;
lower_bound = integer_literal#81;
upper_bound = built_in_constant#81;
END_INSTANCE;
INSTANCE set_type#69;
element_type = ?element_type;
lower_bound = ?lower;
upper_bound = ?upper;
END_INSTANCE;