[
	[
		-400 <= x1 & x1 <= 400 &
		-400 <= x2 & x2 <= 400 &
		c1-0.1 <= cIn & cIn <= c1+0.1 &
		1 < w & w <= 30 & 
		-1000 <= ystr & ystr <= 1000 &
		-1000 <= y1dir & y1dir <= 1000
	] 
]
-> [
	-1.0001 <= ystr & ystr <= 1.0001 &
	-1.0001 <= y1dir & y1dir <= 1.0001
]