forall integers y1, y2:

if(y2 = 1){
	if(y1 = 0){
		X4[0][0]*X3[0][1]
	}
	else {
		matmat-seq_1_1_2_V5[y1][1]
	}
}
else{
	if(y2 = 0){
		if(y1 = 0){
			X3[0][0]*X4[0][0]
		}
		else{
			matmat-seq_1_1_2_V5[y1][0]
		}
	}
	else{
		matmat-seq_1_1_2_V5[y1][y2]
	}
}

= 

if(y2 = 1) {
	if(y1 = 0){
		X4[0][0]*X3[0][1]
	}
	else{
		matmat-par_1_1_2_V5[y1][1]
	}
}
else{
	if(y2 = 0){
		if(y1 = 0){
			X3[0][0]*X4[0][0]
		}
		else{
			matmat-par_1_1_2_V5[y1][0]
		}
	}
	else{
		matmat-par_1_1_2_V5[y1][y2]
	}
}

||

NOT((0<=-y2-1+X2) && ((0<=y2) && ((0<=-y1-1+X2) && (0<=y1))))

under context
1 <= X2 <= 2
X1 = 1
0 <= X0 <= 1