(-8000 <= h &
	h <= 8000 &
	6 <= tNMAC &
	tNMAC <= Tmax&
	-100 <= vO &
	vO <= 100 &
-100 <= vI &
	vI <= 100&
nnCOCpost<=100&
nnDNCpost<=100&
nnDNDpost<=100&
nnDES1500post<=100&
nnCLI1500post<=100&
nnSDES1500post<=100&
nnSCLI1500post<=100&
nnSDES2500post<=100&
nnSCL2500post<=100&
nnCOCpost>=-100&
nnDNCpost>=-100&
nnDNDpost>=-100&
nnDES1500post>=-100&
nnCLI1500post>=-100&
nnSDES1500post>=-100&
nnSCLI1500post>=-100&
nnSDES2500post>=-100&
nnSCL2500post>=-100
)&
!isMax(nnCOCpost,nnCOCpost,nnDNCpost,nnDNDpost,nnDES1500post,nnCLI1500post,nnSDES1500post,nnSCLI1500post,nnSDES2500post,nnSCL2500post)&
((-500)<=2200*tNMAC+500&
2200*tNMAC+500 < (-500)-2200*(v*(-1))/10.725&
0>v*(-1)->(-4840000)*h < 10.725/2*(2200*tNMAC+500+500)^2+(-2200)*v*(2200*tNMAC+500+500)-484000000)&
(((-500)<=2200*tNMAC+500&
0<=v*(-1)|(-500)-2200*(v*(-1))/10.725<=2200*tNMAC+500&
0>v*(-1))&
(2200*tNMAC+500<=500&
0<=v*(-1)|2200*tNMAC+500<=500-2200*(v*(-1))/10.725&
0>v*(-1))->-h < 0/(2*10.725)-100&
0<=v*(-1)|-h < (-(v*(-1))^2)/(2*10.725)-100&
0>v*(-1))&
((500 < 2200*tNMAC+500&
0<=v*(-1)|500-2200*(v*(-1))/10.725 < 2200*tNMAC+500&
0>v*(-1))&
(2200*tNMAC+500<=500&
0>=v-(-2500)|2200*tNMAC+500<=500+2200*(v-(-2500))/10.725&
0 < v-(-2500))->(-4840000)*h < 10.725/2*(2200*tNMAC+500-500)^2+(-2200)*v*(2200*tNMAC+500-500)-484000000)&
(500 < 2200*tNMAC+500&
0>=v-(-2500)|500+2200*(v-(-2500))/10.725 < 2200*tNMAC+500&
0 < v-(-2500)->2200=0|(-2200)*h < 2500*(2200*tNMAC+500-500)-0/(2*10.725)-220000&
0>=v-(-2500)|(-2200)*h < 2500*(2200*tNMAC+500-500)-2200*(v-(-2500))^2/(2*10.725)-220000&
0 < v-(-2500))

->

isMax(nnDNCpost,nnCOCpost,nnDNCpost,nnDNDpost,nnDES1500post,nnCLI1500post,nnSDES1500post,nnSCLI1500post,nnSDES2500post,nnSCL2500post)&
((-500)<=2200*tNMAC+500&
2200*tNMAC+500 < (-500)-2200*(v*(-1))/8.046&
0>v*(-1)->(-4840000)*h < 8.046/2*(2200*tNMAC+500+500)^2+(-2200)*v*(2200*tNMAC+500+500)-484000000)&
(((-500)<=2200*tNMAC+500&
0<=v*(-1)|(-500)-2200*(v*(-1))/8.046<=2200*tNMAC+500&
0>v*(-1))&
(2200*tNMAC+500<=500&
0<=v*(-1)|2200*tNMAC+500<=500-2200*(v*(-1))/8.046&
0>v*(-1))->-h < 0/(2*8.046)-100&
0<=v*(-1)|-h < (-(v*(-1))^2)/(2*8.046)-100&
0>v*(-1))&
((500 < 2200*tNMAC+500&
0<=v*(-1)|500-2200*(v*(-1))/8.046 < 2200*tNMAC+500&
0>v*(-1))&
(2200*tNMAC+500<=500&
0>=v|2200*tNMAC+500<=500+2200*v/8.046&
0 < v)->(-4840000)*h < 8.046/2*(2200*tNMAC+500-500)^2+(-2200)*v*(2200*tNMAC+500-500)-484000000)&
(500 < 2200*tNMAC+500&
0>=v|500+2200*v/8.046 < 2200*tNMAC+500&
0 < v->2200=0|(-2200)*h < -0/(2*8.046)-220000&
0>=v|(-2200)*h < -2200*v^2/(2*8.046)-220000&
0 < v)

|

isMax(nnDNDpost,nnCOCpost,nnDNCpost,nnDNDpost,nnDES1500post,nnCLI1500post,nnSDES1500post,nnSCLI1500post,nnSDES2500post,nnSCL2500post)&
((-500)<=2200*tNMAC+500&
2200*tNMAC+500 < (-500)-2200*v/8.046&
0>v->4840000*h < 8.046/2*(2200*tNMAC+500+500)^2+2200*v*(2200*tNMAC+500+500)-484000000)&
(((-500)<=2200*tNMAC+500&
0<=v|(-500)-2200*v/8.046<=2200*tNMAC+500&
0>v)&
(2200*tNMAC+500<=500&
0<=v|2200*tNMAC+500<=500-2200*v/8.046&
0>v)->h < 0/(2*8.046)-100&
0<=v|h < (-v^2)/(2*8.046)-100&
0>v)&
((500 < 2200*tNMAC+500&
0<=v|500-2200*v/8.046 < 2200*tNMAC+500&
0>v)&
(2200*tNMAC+500<=500&
0>=-v|2200*tNMAC+500<=500+2200*(-v)/8.046&
0 < -v)->4840000*h < 8.046/2*(2200*tNMAC+500-500)^2+2200*v*(2200*tNMAC+500-500)-484000000)&
(500 < 2200*tNMAC+500&
0>=-v|500+2200*(-v)/8.046 < 2200*tNMAC+500&
0 < -v->2200=0|2200*h < -0/(2*8.046)-220000&
0>=-v|2200*h < -2200*(-v)^2/(2*8.046)-220000&
0 < -v)

|

isMax(nnDES1500post,nnCOCpost,nnDNCpost,nnDNDpost,nnDES1500post,nnCLI1500post,nnSDES1500post,nnSCLI1500post,nnSDES2500post,nnSCL2500post)&
(((-500)<=2200*tNMAC+500&
2200*tNMAC+500 < (-500)-2200*(v*(-1))/8.046&
0>v*(-1)->(-4840000)*h < 8.046/2*(2200*tNMAC+500+500)^2+(-2200)*v*(2200*tNMAC+500+500)-484000000)&
(((-500)<=2200*tNMAC+500&
0<=v*(-1)|(-500)-2200*(v*(-1))/8.046<=2200*tNMAC+500&
0>v*(-1))&
(2200*tNMAC+500<=500&
0<=v*(-1)|2200*tNMAC+500<=500-2200*(v*(-1))/8.046&
0>v*(-1))->-h < 0/(2*8.046)-100&
0<=v*(-1)|-h < (-(v*(-1))^2)/(2*8.046)-100&
0>v*(-1))&
((500 < 2200*tNMAC+500&
0<=v*(-1)|500-2200*(v*(-1))/8.046 < 2200*tNMAC+500&
0>v*(-1))&
(2200*tNMAC+500<=500&
0>=v-(-25)|2200*tNMAC+500<=500+2200*(v-(-25))/8.046&
0 < v-(-25))->(-4840000)*h < 8.046/2*(2200*tNMAC+500-500)^2+(-2200)*v*(2200*tNMAC+500-500)-484000000)&
(500 < 2200*tNMAC+500&
0>=v-(-25)|500+2200*(v-(-25))/8.046 < 2200*tNMAC+500&
0 < v-(-25)->2200=0|(-2200)*h < 25*(2200*tNMAC+500-500)-0/(2*8.046)-220000&
0>=v-(-25)|(-2200)*h < 25*(2200*tNMAC+500-500)-2200*(v^2+2*v*25+625)/(2*8.046)-220000&
0 < v-(-25)))

|

isMax(nnCLI1500post,nnCOCpost,nnDNCpost,nnDNDpost,nnDES1500post,nnCLI1500post,nnSDES1500post,nnSCLI1500post,nnSDES2500post,nnSCL2500post)&
(((-500)<=2200*tNMAC+500&
2200*tNMAC+500 < (-500)-2200*v/8.046&
0>v->4840000*h < 8.046/2*(2200*tNMAC+500+500)^2+2200*v*(2200*tNMAC+500+500)-484000000)&
(((-500)<=2200*tNMAC+500&
0<=v|(-500)-2200*v/8.046<=2200*tNMAC+500&
0>v)&
(2200*tNMAC+500<=500&
0<=v|2200*tNMAC+500<=500-2200*v/8.046&
0>v)->h < 0/(2*8.046)-100&
0<=v|h < (-v^2)/(2*8.046)-100&
0>v)&
((500 < 2200*tNMAC+500&
0<=v|500-2200*v/8.046 < 2200*tNMAC+500&
0>v)&
(2200*tNMAC+500<=500&
0>=25-v|2200*tNMAC+500<=500+2200*(25-v)/8.046&
0 < 25-v)->4840000*h < 8.046/2*(2200*tNMAC+500-500)^2+2200*v*(2200*tNMAC+500-500)-484000000)&
(500 < 2200*tNMAC+500&
0>=25-v|500+2200*(25-v)/8.046 < 2200*tNMAC+500&
0 < 25-v->2200=0|2200*h < 25*(2200*tNMAC+500-500)-0/(2*8.046)-220000&
0>=25-v|2200*h < 25*(2200*tNMAC+500-500)-2200*(625-50*v+v^2)/(2*8.046)-220000&
0 < 25-v))

|

isMax(nnSDES1500post,nnCOCpost,nnDNCpost,nnDNDpost,nnDES1500post,nnCLI1500post,nnSDES1500post,nnSCLI1500post,nnSDES2500post,nnSCL2500post)&
(((-500)<=2200*tNMAC+500&
2200*tNMAC+500 < (-500)-2200*(v*(-1))/10.725&
0>v*(-1)->(-4840000)*h < 10.725/2*(2200*tNMAC+500+500)^2+(-2200)*v*(2200*tNMAC+500+500)-484000000)&
(((-500)<=2200*tNMAC+500&
0<=v*(-1)|(-500)-2200*(v*(-1))/10.725<=2200*tNMAC+500&
0>v*(-1))&
(2200*tNMAC+500<=500&
0<=v*(-1)|2200*tNMAC+500<=500-2200*(v*(-1))/10.725&
0>v*(-1))->-h < 0/(2*10.725)-100&
0<=v*(-1)|-h < (-(v*(-1))^2)/(2*10.725)-100&
0>v*(-1))&
((500 < 2200*tNMAC+500&
0<=v*(-1)|500-2200*(v*(-1))/10.725 < 2200*tNMAC+500&
0>v*(-1))&
(2200*tNMAC+500<=500&
0>=v-(-25)|2200*tNMAC+500<=500+2200*(v-(-25))/10.725&
0 < v-(-25))->(-4840000)*h < 10.725/2*(2200*tNMAC+500-500)^2+(-2200)*v*(2200*tNMAC+500-500)-484000000)&
(500 < 2200*tNMAC+500&
0>=v-(-25)|500+2200*(v-(-25))/10.725 < 2200*tNMAC+500&
0 < v-(-25)->2200=0|(-2200)*h < 25*(2200*tNMAC+500-500)-0/(2*10.725)-220000&
0>=v-(-25)|(-2200)*h < 25*(2200*tNMAC+500-500)-2200*(v^2+2*v*25+625)/(2*10.725)-220000&
0 < v-(-25)))

|

isMax(nnSCLI1500post,nnCOCpost,nnDNCpost,nnDNDpost,nnDES1500post,nnCLI1500post,nnSDES1500post,nnSCLI1500post,nnSDES2500post,nnSCL2500post)&
(((-500)<=2200*tNMAC+500&
2200*tNMAC+500 < (-500)-2200*v/10.725&
0>v->4840000*h < 10.725/2*(2200*tNMAC+500+500)^2+2200*v*(2200*tNMAC+500+500)-484000000)&
(((-500)<=2200*tNMAC+500&
0<=v|(-500)-2200*v/10.725<=2200*tNMAC+500&
0>v)&
(2200*tNMAC+500<=500&
0<=v|2200*tNMAC+500<=500-2200*v/10.725&
0>v)->h < 0/(2*10.725)-100&
0<=v|h < (-v^2)/(2*10.725)-100&
0>v)&
((500 < 2200*tNMAC+500&
0<=v|500-2200*v/10.725 < 2200*tNMAC+500&
0>v)&
(2200*tNMAC+500<=500&
0>=25-v|2200*tNMAC+500<=500+2200*(25-v)/10.725&
0 < 25-v)->4840000*h < 10.725/2*(2200*tNMAC+500-500)^2+2200*v*(2200*tNMAC+500-500)-484000000)&
(500 < 2200*tNMAC+500&
0>=25-v|500+2200*(25-v)/10.725 < 2200*tNMAC+500&
0 < 25-v->2200=0|2200*h < 25*(2200*tNMAC+500-500)-0/(2*10.725)-220000&
0>=25-v|2200*h < 25*(2200*tNMAC+500-500)-2200*(625-50*v+v^2)/(2*10.725)-220000&
0 < 25-v))

|

isMax(nnSDES2500post,nnCOCpost,nnDNCpost,nnDNDpost,nnDES1500post,nnCLI1500post,nnSDES1500post,nnSCLI1500post,nnSDES2500post,nnSCL2500post)&
(((-500)<=2200*tNMAC+500&
2200*tNMAC+500 < (-500)-2200*(v*(-1))/10.725&
0>v*(-1)->(-4840000)*h < 10.725/2*(2200*tNMAC+500+500)^2+(-2200)*v*(2200*tNMAC+500+500)-484000000)&
(((-500)<=2200*tNMAC+500&
0<=v*(-1)|(-500)-2200*(v*(-1))/10.725<=2200*tNMAC+500&
0>v*(-1))&
(2200*tNMAC+500<=500&
0<=v*(-1)|2200*tNMAC+500<=500-2200*(v*(-1))/10.725&
0>v*(-1))->-h < 0/(2*10.725)-100&
0<=v*(-1)|-h < (-(v*(-1))^2)/(2*10.725)-100&
0>v*(-1))&
((500 < 2200*tNMAC+500&
0<=v*(-1)|500-2200*(v*(-1))/10.725 < 2200*tNMAC+500&
0>v*(-1))&
(2200*tNMAC+500<=500&
0>=v+ 41.67|2200*tNMAC+500<=500+2200*(v+ 41.67)/10.725&
0 < v+ 41.67)->(-4840000)*h < 10.725/2*(2200*tNMAC+500-500)^2+(-2200)*v*(2200*tNMAC+500-500)-484000000)&
(500 < 2200*tNMAC+500&
0>=v+ 41.67|500+2200*(v+ 41.67)/10.725 < 2200*tNMAC+500&
0 < v+ 41.67->2200=0|(-2200)*h < 41.67*(2200*tNMAC+500-500)-0/(2*10.725)-220000&
0>=v+ 41.67|(-2200)*h < 41.67*(2200*tNMAC+500-500)-2200*(v^2+2*v*41.67+41.67^2)/(2*10.725)-220000&
0 < v+ 41.67))

|

isMax(nnSCL2500post,nnCOCpost,nnDNCpost,nnDNDpost,nnDES1500post,nnCLI1500post,nnSDES1500post,nnSCLI1500post,nnSDES2500post,nnSCL2500post)&
(((-500)<=2200*tNMAC+500&
2200*tNMAC+500 < (-500)-2200*v/10.725&
0>v->4840000*h < 10.725/2*(2200*tNMAC+500+500)^2+2200*v*(2200*tNMAC+500+500)-484000000)&
(((-500)<=2200*tNMAC+500&
0<=v|(-500)-2200*v/10.725<=2200*tNMAC+500&
0>v)&
(2200*tNMAC+500<=500&
0<=v|2200*tNMAC+500<=500-2200*v/10.725&
0>v)->h < 0/(2*10.725)-100&
0<=v|h < (-v^2)/(2*10.725)-100&
0>v)&
((500 < 2200*tNMAC+500&
0<=v|500-2200*v/10.725 < 2200*tNMAC+500&
0>v)&
(2200*tNMAC+500<=500&
0>=41.67-v|2200*tNMAC+500<=500+2200*(41.67-v)/10.725&
0 < 41.67-v)->4840000*h < 10.725/2*(2200*tNMAC+500-500)^2+2200*v*(2200*tNMAC+500-500)-484000000)&
(500 < 2200*tNMAC+500&
0>=41.67-v|500+2200*(41.67-v)/10.725 < 2200*tNMAC+500&
0 < 41.67-v->2200=0|2200*h < 41.67*(2200*tNMAC+500-500)-0/(2*10.725)-220000&
0>=41.67-v|2200*h < 41.67*(2200*tNMAC+500-500)-2200*(41.67^2-2*41.67*v+v^2)/(2*10.725)-220000&
0 < 41.67-v))
