path: root/omega/examples/old_test/wak7

R :=  {[k,k+1,k+1]: 1 <= k <= 1022}
	union {[k,i,j]: 2 <= k < i <= 1024 && k < j <= 1024};

Hull R;