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;