list_type


INSTANCE list_type#1;
	element_type = entity_type#17;
	lower_bound = integer_literal#6;
	upper_bound = built_in_constant#6;
	is_unique = true;
END_INSTANCE;

INSTANCE list_type#2;
	element_type = defined_type#11;
	lower_bound = integer_literal#29;
	upper_bound = built_in_constant#29;
	is_unique = false;
END_INSTANCE;

INSTANCE list_type#3;
	element_type = entity_type#48;
	lower_bound = integer_literal#32;
	upper_bound = built_in_constant#32;
	is_unique = false;
END_INSTANCE;

INSTANCE list_type#4;
	element_type = entity_type#42;
	lower_bound = integer_literal#37;
	upper_bound = built_in_constant#37;
	is_unique = false;
END_INSTANCE;

INSTANCE list_type#5;
	element_type = entity_type#59;
	lower_bound = integer_literal#47;
	upper_bound = built_in_constant#47;
	is_unique = false;
END_INSTANCE;

INSTANCE list_type#6;
	element_type = entity_type#16;
	lower_bound = integer_literal#67;
	upper_bound = built_in_constant#67;
	is_unique = false;
END_INSTANCE;

INSTANCE list_type#7;
	element_type = entity_type#16;
	lower_bound = integer_literal#68;
	upper_bound = built_in_constant#68;
	is_unique = false;
END_INSTANCE;

INSTANCE list_type#8;
	element_type = entity_type#98;
	lower_bound = integer_literal#69;
	upper_bound = built_in_constant#69;
	is_unique = false;
END_INSTANCE;

INSTANCE list_type#9;
	element_type = defined_type#25;
	lower_bound = integer_literal#78;
	upper_bound = built_in_constant#78;
	is_unique = false;
END_INSTANCE;

INSTANCE list_type#10;
	element_type = defined_type#25;
	is_unique = false;
END_INSTANCE;

INSTANCE list_type#11;
	element_type = simple_type(string_type);
	lower_bound = integer_literal#79;
	upper_bound = built_in_constant#79;
	is_unique = false;
END_INSTANCE;

INSTANCE list_type#12;
	element_type = entity_type#16;
	lower_bound = integer_literal#82;
	upper_bound = built_in_constant#82;
	is_unique = false;
END_INSTANCE;

INSTANCE list_type#13;
	element_type = entity_type#39;
	lower_bound = integer_literal#83;
	upper_bound = built_in_constant#83;
	is_unique = false;
END_INSTANCE;

INSTANCE list_type#14;
	element_type = entity_type#134;
	lower_bound = integer_literal#85;
	upper_bound = built_in_constant#85;
	is_unique = false;
END_INSTANCE;

INSTANCE list_type#15;
	element_type = entity_type#48;
	lower_bound = integer_literal#84;
	upper_bound = built_in_constant#84;
	is_unique = false;
END_INSTANCE;

INSTANCE list_type#16;
	element_type = entity_type#132;
	lower_bound = integer_literal#86;
	upper_bound = built_in_constant#86;
	is_unique = false;
END_INSTANCE;

INSTANCE list_type#17;
	element_type = entity_type#148;
	lower_bound = integer_literal#87;
	upper_bound = built_in_constant#87;
	is_unique = false;
END_INSTANCE;

INSTANCE list_type#18;
	element_type = entity_type#16;
	lower_bound = integer_literal#91;
	upper_bound = built_in_constant#91;
	is_unique = false;
END_INSTANCE;

INSTANCE list_type#19;
	element_type = entity_type#16;
	lower_bound = integer_literal#92;
	upper_bound = built_in_constant#92;
	is_unique = false;
END_INSTANCE;


INSTANCE list_type#20;
	element_type = ?element_type;
	lower_bound = ?lower;
	upper_bound = ?upper;
END_INSTANCE;



INSTANCE list_type#21;
END_INSTANCE;



INSTANCE list_type#22;
END_INSTANCE;