bound


INSTANCE bound#1;
	extracted_from = {binary_operation#2};
	kind = lower;
	inclusive = true;
	discrete = true;
	variable = explicit_attribute#85;
	limit = ?limit;
END_INSTANCE;

INSTANCE bound#2;
	extracted_from = {binary_operation#3};
	kind = lower;
	inclusive = true;
	discrete = true;
	variable = explicit_attribute#86;
	limit = ?limit;
END_INSTANCE;

INSTANCE bound#3;
	extracted_from = {binary_operation#4};
	kind = lower;
	inclusive = false;
	discrete = true;
	variable = explicit_attribute#87;
	limit = ?limit;
END_INSTANCE;

INSTANCE bound#4;
	extracted_from = {binary_operation#5};
	kind = lower;
	inclusive = false;
	discrete = true;
	variable = explicit_attribute#88;
	limit = ?limit;
END_INSTANCE;

INSTANCE bound#5;
	extracted_from = {binary_operation#6};
	kind = upper;
	inclusive = true;
	discrete = true;
	variable = explicit_attribute#89;
	limit = ?limit;
END_INSTANCE;

INSTANCE bound#6;
	extracted_from = {binary_operation#7};
	kind = upper;
	inclusive = true;
	discrete = true;
	variable = explicit_attribute#90;
	limit = ?limit;
END_INSTANCE;

INSTANCE bound#7;
	extracted_from = {binary_operation#8};
	kind = upper;
	inclusive = false;
	discrete = true;
	variable = explicit_attribute#91;
	limit = ?limit;
END_INSTANCE;

INSTANCE bound#8;
	extracted_from = {binary_operation#9};
	kind = upper;
	inclusive = true;
	discrete = true;
	variable = explicit_attribute#92;
	limit = ?limit;
END_INSTANCE;

INSTANCE bound#9;
	extracted_from = {binary_operation#10};
	kind = lower;
	inclusive = true;
	discrete = false;
	variable = explicit_attribute#93;
	limit = ?limit;
END_INSTANCE;

INSTANCE bound#10;
	extracted_from = {binary_operation#11};
	kind = lower;
	inclusive = true;
	discrete = false;
	variable = explicit_attribute#94;
	limit = ?limit;
END_INSTANCE;

INSTANCE bound#11;
	extracted_from = {binary_operation#12};
	kind = lower;
	inclusive = false;
	discrete = false;
	variable = explicit_attribute#95;
	limit = ?limit;
END_INSTANCE;

INSTANCE bound#12;
	extracted_from = {binary_operation#13};
	kind = lower;
	inclusive = false;
	discrete = false;
	variable = explicit_attribute#96;
	limit = ?limit;
END_INSTANCE;

INSTANCE bound#13;
	extracted_from = {binary_operation#14};
	kind = upper;
	inclusive = true;
	discrete = false;
	variable = explicit_attribute#97;
	limit = ?limit;
END_INSTANCE;

INSTANCE bound#14;
	extracted_from = {binary_operation#15};
	kind = upper;
	inclusive = true;
	discrete = false;
	variable = explicit_attribute#98;
	limit = ?limit;
END_INSTANCE;

INSTANCE bound#15;
	extracted_from = {binary_operation#16};
	kind = upper;
	inclusive = false;
	discrete = false;
	variable = explicit_attribute#99;
	limit = ?limit;
END_INSTANCE;

INSTANCE bound#16;
	extracted_from = {binary_operation#17};
	kind = upper;
	inclusive = false;
	discrete = false;
	variable = explicit_attribute#100;
	limit = ?limit;
END_INSTANCE;


INSTANCE bound#17;
	kind = lower;
	variable = ?variable;
END_INSTANCE;



INSTANCE bound#18;
	kind = upper;
	variable = ?variable;
END_INSTANCE;


INSTANCE bound#19;
	extracted_from = {binary_operation#24};
	conjunct_of = conjunction#5;
	kind = lower;
	inclusive = true;
	discrete = true;
	variable = explicit_attribute#119;
	limit = 0;
END_INSTANCE;

INSTANCE bound#20;
	extracted_from = {binary_operation#25};
	conjunct_of = conjunction#5;
	kind = upper;
	inclusive = false;
	discrete = true;
	variable = explicit_attribute#119;
	limit = 130;
END_INSTANCE;