aggregation_type


INSTANCE aggregation_type#1;
	kind = list_type;
	element_type = defined_type#10;
	lower_bound = literal_expression#1;
	upper_bound = built_in_constant#1;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#2;
	kind = set_type;
	element_type = entity_type#2;
	lower_bound = literal_expression#2;
	upper_bound = built_in_constant#2;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#3;
	kind = set_type;
	element_type = entity_type#10;
	lower_bound = literal_expression#3;
	upper_bound = built_in_constant#3;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#4;
	kind = set_type;
	element_type = entity_type#4;
	lower_bound = literal_expression#4;
	upper_bound = built_in_constant#4;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#5;
	kind = set_type;
	element_type = entity_type#5;
	lower_bound = literal_expression#5;
	upper_bound = built_in_constant#5;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#6;
	kind = set_type;
	element_type = entity_type#9;
	lower_bound = literal_expression#6;
	upper_bound = built_in_constant#6;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#7;
	kind = set_type;
	element_type = entity_type#8;
	lower_bound = literal_expression#7;
	upper_bound = built_in_constant#7;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#8;
	kind = set_type;
	element_type = entity_type#12;
	lower_bound = literal_expression#8;
	upper_bound = built_in_constant#8;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#9;
	kind = set_type;
	element_type = entity_type#6;
	lower_bound = literal_expression#9;
	upper_bound = built_in_constant#9;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#10;
	kind = list_type;
	element_type = entity_type#7;
	lower_bound = literal_expression#10;
	upper_bound = built_in_constant#10;
	is_unique = false;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#11;
	kind = list_type;
	element_type = entity_type#23;
	lower_bound = literal_expression#11;
	upper_bound = built_in_constant#11;
	is_unique = false;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#12;
	kind = set_type;
	element_type = defined_type#15;
	lower_bound = literal_expression#12;
	upper_bound = built_in_constant#12;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#13;
	kind = set_type;
	element_type = entity_type#3;
	lower_bound = literal_expression#13;
	upper_bound = built_in_constant#13;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#14;
	kind = bag_type;
	element_type = entity_type#7;
	lower_bound = literal_expression#14;
	upper_bound = built_in_constant#14;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#15;
	kind = bag_type;
	element_type = entity_type#7;
	lower_bound = literal_expression#15;
	upper_bound = built_in_constant#15;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#16;
	kind = set_type;
	element_type = entity_type#7;
	lower_bound = literal_expression#16;
	upper_bound = built_in_constant#16;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#17;
	kind = set_type;
	element_type = defined_type#1;
	lower_bound = literal_expression#17;
	upper_bound = built_in_constant#17;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#18;
	kind = set_type;
	element_type = defined_type#1;
	lower_bound = literal_expression#18;
	upper_bound = built_in_constant#18;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#19;
	kind = set_type;
	element_type = entity_type#5;
	lower_bound = literal_expression#19;
	upper_bound = built_in_constant#19;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#20;
	kind = set_type;
	element_type = entity_type#8;
	lower_bound = literal_expression#20;
	upper_bound = built_in_constant#20;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#21;
	kind = set_type;
	element_type = entity_type#9;
	lower_bound = literal_expression#21;
	upper_bound = built_in_constant#21;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#22;
	kind = set_type;
	element_type = entity_type#10;
	lower_bound = literal_expression#22;
	upper_bound = built_in_constant#22;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#23;
	kind = set_type;
	element_type = entity_type#12;
	lower_bound = literal_expression#23;
	upper_bound = built_in_constant#23;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#24;
	kind = list_type;
	element_type = entity_type#23;
	lower_bound = literal_expression#24;
	upper_bound = built_in_constant#24;
	is_unique = false;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#25;
	kind = set_type;
	element_type = entity_type#29;
	lower_bound = literal_expression#25;
	upper_bound = built_in_constant#25;
	is_unique = true;
	is_optional = false;
END_INSTANCE;


INSTANCE aggregation_type#26;
	lower_bound = literal_expression#42;
END_INSTANCE;



INSTANCE aggregation_type#27;
	lower_bound = literal_expression#43;
END_INSTANCE;


INSTANCE aggregation_type#28;
	kind = list_type;
	element_type = entity_type#44;
	lower_bound = literal_expression#45;
	upper_bound = built_in_constant#27;
	is_unique = false;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#29;
	kind = set_type;
	element_type = entity_type#68;
	lower_bound = literal_expression#96;
	upper_bound = built_in_constant#79;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#30;
	kind = list_type;
	element_type = defined_type#28;
	lower_bound = literal_expression#112;
	upper_bound = literal_expression#113;
	is_unique = false;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#31;
	kind = list_type;
	element_type = simple_type(real_type);
	lower_bound = literal_expression#114;
	upper_bound = literal_expression#115;
	is_unique = false;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#32;
	kind = list_type;
	element_type = entity_type#82;
	lower_bound = literal_expression#119;
	upper_bound = literal_expression#120;
	is_unique = false;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#33;
	kind = set_type;
	element_type = defined_type#51;
	lower_bound = literal_expression#126;
	upper_bound = built_in_constant#89;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#34;
	kind = set_type;
	element_type = defined_type#52;
	lower_bound = literal_expression#127;
	upper_bound = built_in_constant#90;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#35;
	kind = set_type;
	element_type = defined_type#55;
	lower_bound = literal_expression#131;
	upper_bound = built_in_constant#92;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#36;
	kind = set_type;
	element_type = entity_type#104;
	lower_bound = literal_expression#141;
	upper_bound = built_in_constant#96;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#37;
	kind = set_type;
	element_type = entity_type#113;
	lower_bound = literal_expression#148;
	upper_bound = built_in_constant#101;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#38;
	kind = set_type;
	element_type = entity_type#114;
	lower_bound = literal_expression#149;
	upper_bound = built_in_constant#102;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#39;
	kind = set_type;
	element_type = defined_type#70;
	lower_bound = literal_expression#379;
	upper_bound = built_in_constant#168;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#40;
	kind = set_type;
	element_type = defined_type#71;
	lower_bound = literal_expression#384;
	upper_bound = built_in_constant#170;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#41;
	kind = set_type;
	element_type = defined_type#72;
	lower_bound = literal_expression#407;
	upper_bound = built_in_constant#183;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#42;
	kind = set_type;
	element_type = entity_type#108;
	lower_bound = literal_expression#418;
	upper_bound = built_in_constant#188;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#43;
	kind = set_type;
	element_type = defined_type#73;
	lower_bound = literal_expression#420;
	upper_bound = built_in_constant#190;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#44;
	kind = set_type;
	element_type = entity_type#76;
	lower_bound = literal_expression#426;
	upper_bound = built_in_constant#194;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#45;
	kind = set_type;
	element_type = entity_type#175;
	lower_bound = literal_expression#427;
	upper_bound = built_in_constant#195;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#46;
	kind = set_type;
	element_type = entity_type#178;
	lower_bound = literal_expression#439;
	upper_bound = built_in_constant#200;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#47;
	kind = set_type;
	element_type = entity_type#115;
	lower_bound = literal_expression#443;
	upper_bound = built_in_constant#202;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#48;
	kind = set_type;
	element_type = entity_type#189;
	lower_bound = literal_expression#444;
	upper_bound = built_in_constant#203;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#49;
	kind = set_type;
	element_type = defined_type#78;
	lower_bound = literal_expression#448;
	upper_bound = built_in_constant#211;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#50;
	kind = set_type;
	element_type = entity_type#197;
	lower_bound = literal_expression#449;
	upper_bound = built_in_constant#214;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#51;
	kind = list_type;
	element_type = simple_type(integer_type);
	lower_bound = literal_expression#462;
	upper_bound = built_in_constant#216;
	is_unique = false;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#52;
	kind = list_type;
	element_type = defined_type#39;
	lower_bound = literal_expression#463;
	upper_bound = built_in_constant#217;
	is_unique = false;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#53;
	kind = list_type;
	element_type = entity_type#80;
	lower_bound = literal_expression#464;
	upper_bound = built_in_constant#218;
	is_unique = false;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#54;
	kind = set_type;
	element_type = defined_type#80;
	lower_bound = literal_expression#465;
	upper_bound = literal_expression#466;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#55;
	kind = set_type;
	element_type = defined_type#80;
	lower_bound = literal_expression#467;
	upper_bound = literal_expression#468;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#56;
	kind = bag_type;
	element_type = entity_type#208;
	lower_bound = literal_expression#475;
	upper_bound = built_in_constant#219;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#57;
	kind = list_type;
	element_type = entity_type#207;
	lower_bound = literal_expression#476;
	upper_bound = built_in_constant#220;
	is_unique = false;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#58;
	kind = list_type;
	element_type = entity_type#207;
	lower_bound = literal_expression#478;
	upper_bound = built_in_constant#221;
	is_unique = false;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#59;
	kind = list_type;
	element_type = entity_type#80;
	lower_bound = literal_expression#481;
	upper_bound = built_in_constant#222;
	is_unique = false;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#60;
	kind = array_type;
	element_type = entity_type#80;
	lower_bound = literal_expression#483;
	upper_bound = express.IdRef@17598555;
	is_unique = false;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#61;
	kind = list_type;
	element_type = simple_type(real_type);
	lower_bound = literal_expression#489;
	upper_bound = built_in_constant#227;
	is_unique = false;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#62;
	kind = array_type;
	element_type = simple_type(real_type);
	lower_bound = literal_expression#490;
	upper_bound = express.IdRef@17598272;
	is_unique = false;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#63;
	kind = list_type;
	element_type = defined_type#27;
	lower_bound = literal_expression#492;
	upper_bound = built_in_constant#230;
	is_unique = false;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#64;
	kind = list_type;
	element_type = defined_type#27;
	lower_bound = literal_expression#493;
	upper_bound = built_in_constant#231;
	is_unique = false;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#65;
	kind = list_type;
	element_type = defined_type#27;
	lower_bound = literal_expression#494;
	upper_bound = built_in_constant#232;
	is_unique = false;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#66;
	kind = set_type;
	element_type = entity_type#222;
	lower_bound = literal_expression#730;
	upper_bound = built_in_constant#275;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#67;
	kind = set_type;
	element_type = defined_type#84;
	lower_bound = literal_expression#899;
	upper_bound = built_in_constant#308;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#68;
	kind = set_type;
	element_type = defined_type#85;
	lower_bound = literal_expression#900;
	upper_bound = built_in_constant#309;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#69;
	kind = set_type;
	element_type = defined_type#87;
	lower_bound = literal_expression#901;
	upper_bound = built_in_constant#310;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#70;
	kind = set_type;
	element_type = defined_type#88;
	lower_bound = literal_expression#902;
	upper_bound = built_in_constant#311;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#71;
	kind = set_type;
	element_type = defined_type#88;
	lower_bound = literal_expression#909;
	upper_bound = built_in_constant#314;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#72;
	kind = set_type;
	element_type = defined_type#89;
	lower_bound = literal_expression#916;
	upper_bound = built_in_constant#317;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#73;
	kind = set_type;
	element_type = defined_type#90;
	lower_bound = literal_expression#1075;
	upper_bound = built_in_constant#382;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#74;
	kind = set_type;
	element_type = defined_type#91;
	lower_bound = literal_expression#1092;
	upper_bound = built_in_constant#386;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#75;
	kind = set_type;
	element_type = defined_type#72;
	lower_bound = literal_expression#1169;
	upper_bound = built_in_constant#411;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#76;
	kind = set_type;
	element_type = defined_type#94;
	lower_bound = literal_expression#1170;
	upper_bound = built_in_constant#414;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#77;
	kind = set_type;
	element_type = entity_type#278;
	lower_bound = literal_expression#1171;
	upper_bound = built_in_constant#415;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#78;
	kind = set_type;
	element_type = defined_type#96;
	lower_bound = literal_expression#1197;
	upper_bound = built_in_constant#423;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#79;
	kind = set_type;
	element_type = defined_type#101;
	lower_bound = literal_expression#1198;
	upper_bound = literal_expression#1199;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#80;
	kind = set_type;
	element_type = defined_type#85;
	lower_bound = literal_expression#1202;
	upper_bound = built_in_constant#426;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#81;
	kind = set_type;
	element_type = defined_type#102;
	lower_bound = literal_expression#1203;
	upper_bound = literal_expression#1204;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#82;
	kind = set_type;
	element_type = defined_type#105;
	lower_bound = literal_expression#1285;
	upper_bound = built_in_constant#449;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#83;
	kind = set_type;
	element_type = defined_type#89;
	lower_bound = literal_expression#1293;
	upper_bound = built_in_constant#454;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#84;
	kind = set_type;
	element_type = defined_type#106;
	lower_bound = literal_expression#1341;
	upper_bound = built_in_constant#464;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#85;
	kind = set_type;
	element_type = defined_type#107;
	lower_bound = literal_expression#1346;
	upper_bound = built_in_constant#466;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#86;
	kind = set_type;
	element_type = entity_type#92;
	lower_bound = literal_expression#1350;
	upper_bound = built_in_constant#469;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#87;
	kind = set_type;
	element_type = defined_type#110;
	lower_bound = literal_expression#1353;
	upper_bound = built_in_constant#471;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#88;
	kind = set_type;
	element_type = entity_type#92;
	lower_bound = literal_expression#1356;
	upper_bound = built_in_constant#475;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#89;
	kind = set_type;
	element_type = defined_type#112;
	lower_bound = literal_expression#1367;
	upper_bound = built_in_constant#478;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#90;
	kind = set_type;
	element_type = defined_type#113;
	lower_bound = literal_expression#1372;
	upper_bound = built_in_constant#480;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#91;
	kind = set_type;
	element_type = defined_type#115;
	lower_bound = literal_expression#1398;
	upper_bound = built_in_constant#489;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#92;
	kind = set_type;
	element_type = defined_type#116;
	lower_bound = literal_expression#1509;
	upper_bound = built_in_constant#518;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#93;
	kind = set_type;
	element_type = defined_type#115;
	lower_bound = literal_expression#1537;
	upper_bound = built_in_constant#526;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#94;
	kind = set_type;
	element_type = entity_type#92;
	lower_bound = literal_expression#1544;
	upper_bound = built_in_constant#528;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#95;
	kind = set_type;
	element_type = defined_type#117;
	lower_bound = literal_expression#1547;
	upper_bound = built_in_constant#531;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#96;
	kind = set_type;
	element_type = defined_type#72;
	lower_bound = literal_expression#1564;
	upper_bound = built_in_constant#535;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#97;
	kind = set_type;
	element_type = defined_type#118;
	lower_bound = literal_expression#1608;
	upper_bound = built_in_constant#545;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#98;
	kind = set_type;
	element_type = defined_type#72;
	lower_bound = literal_expression#1629;
	upper_bound = built_in_constant#562;
	is_unique = true;
	is_optional = false;
END_INSTANCE;

INSTANCE aggregation_type#99;
	kind = set_type;
	element_type = defined_type#46;
	lower_bound = literal_expression#1633;
	upper_bound = built_in_constant#566;
	is_unique = true;
	is_optional = false;
END_INSTANCE;