symbolic m;
I := {[p1,p2,c2,a1,a2,b1,b2] :
	1 <= p1  <= 4 && 1 <= p2 <= 2 && 17p1<=16+2m
	&& 1<=2c2+p2 <= 6
	&& 0 <= 10c2+5p2-a2 <= 4
	&& 0 <= 17p1-2a1 <= 16 && a1 <= 30 && a2-m+a1 <= 1
	&& 17 <= 2b1-2a1+17p1 <= 18
	&& b2 = 5 + a2-5p2-5c2};
I;
codegen I;