MIN =1/8*((x11+x21+x31+x41+y11+y21+y31+y41)*wa1+(x12+x22+x32+x42+y12+y22+y32+y42)*wa2+(x13+x23+x33+x43+y13+y23+y33+y43)*wa3+(x14+x24+x34+x44+y14+y24+y34+y44)*wa4);
x11=@abs(u211-0.2)+@abs(v211-0.5)+@abs(0.7-(u211+v211));
x12=@abs(u212-0.4)+@abs(v212-0.4)+@abs(0.8-(u212+v212));
x13=@abs(u213-0.4)+@abs(v213-0.6)+@abs(1-(u213+v213));
x14=@abs(u214-0.3)+@abs(v214-0.5)+@abs(0.8-(u214+v214));
x21=@abs(u221-0.4)+@abs(v221-0.5)+@abs(0.9-(u221+v221));
x22=@abs(u222-0.4)+@abs(v222-0.6)+@abs(1-(u222+v222));
x23=@abs(u223-0.6)+@abs(v223-0.2)+@abs(0.8-(u223+v223));
x24=@abs(u224-0.4)+@abs(v224-0.6)+@abs(1-(u224+v224));
x31=@abs(u231-0.2)+@abs(v231-0.3)+@abs(0.5-(u231+v231));
x32=@abs(u232-0.5)+@abs(v232-0.2)+@abs(0.7-(u232+v232));
x33=@abs(u233-0.5)+@abs(v233-0.3)+@abs(0.8-(u233+v233));
x34=@abs(u234-0.4)+@abs(v234-0.6)+@abs(1-(u234+v234));
x41=@abs(u241-0.7)+@abs(v241-0.2)+@abs(0.9-(u241+v241));
x42=@abs(u242-0.5)+@abs(v242-0.1)+@abs(0.6-(u242+v242));
x43=@abs(u243-0.4)+@abs(v243-0.1)+@abs(0.5-(u243+v243));
x44=@abs(u244-0.8)+@abs(v244-0.2)+@abs(1-(u244+v244));
y11=@abs(u411-0.6)+@abs(v411-0.3)+@abs(0.9-(u411+v411));
y12=@abs(u412-0.5)+@abs(v412-0.3)+@abs(0.8-(u412+v412));
y13=@abs(u413-0.5)+@abs(v413-0.5)+@abs(1-(u413+v413));
y14=@abs(u414-0.8)+@abs(v414-0.2)+@abs(1-(u414+v414));
y21=@abs(u421-0.5)+@abs(v421-0.5)+@abs(1-(u421+v421));
y22=@abs(u422-0.6)+@abs(v422-0.2)+@abs(0.8-(u422+v422));
y23=@abs(u423-0.2)+@abs(v423-0.6)+@abs(0.8-(u423+v423));
y24=@abs(u424-0.6)+@abs(v424-0.4)+@abs(1-(u424+v424));
y31=@abs(u431-0.3)+@abs(v431-0.5)+@abs(0.8-(u431+v431));
y32=@abs(u432-0.5)+@abs(v432-0.5)+@abs(1-(u432+v432));
y33=@abs(u433-0.4)+@abs(v433-0.5)+@abs(0.9-(u433+v433));
y34=@abs(u434-0.3)+@abs(v434-0.7)+@abs(1-(u434+v434));
y41=@abs(u441-0.5)+@abs(v441-0.3)+@abs(0.8-(u441+v441));
y42=@abs(u442-0.5)+@abs(v442-0.4)+@abs(0.9-(u442+v442));
y43=@abs(u443-0.5)+@abs(v443-0.1)+@abs(0.6-(u443+v443));
y44=@abs(u444-0.7)+@abs(v444-0.3)+@abs(1-(u444+v444));
u211=k2*0.2+(1-k2)*0.4;v211=k2*0.5+(1-k2)*0.4;
u212=k2*0.4+(1-k2)*0.3;v212=k2*0.4+(1-k2)*0.7;
u213=k2*0.4+(1-k2)*0.8;v213=k2*0.6+(1-k2)*0.1;
u214=k2*0.3+(1-k2)*0.5;v214=k2*0.5+(1-k2)*0.3;
u221=k2*0.4+(1-k2)*0.4;v221=k2*0.5+(1-k2)*0.4;
u222=k2*0.4+(1-k2)*0.5;v222=k2*0.6+(1-k2)*0.2;
u223=k2*0.6+(1-k2)*0.5;v223=k2*0.2+(1-k2)*0.3;
u224=k2*0.4+(1-k2)*0.6;v224=k2*0.6+(1-k2)*0.3;
u231=k2*0.2+(1-k2)*0.5;v231=k2*0.3+(1-k2)*0.3;
u232=k2*0.5+(1-k2)*0.8;v232=k2*0.2+(1-k2)*0.2;
u233=k2*0.5+(1-k2)*0.3;v233=k2*0.3+(1-k2)*0.4;
u234=k2*0.4+(1-k2)*0.7;v234=k2*0.6+(1-k2)*0.2;
u241=k2*0.7+(1-k2)*0.6;v241=k2*0.2+(1-k2)*0.4;
u242=k2*0.5+(1-k2)*0.4;v242=k2*0.1+(1-k2)*0.3;
u243=k2*0.4+(1-k2)*0.9;v243=k2*0.1+(1-k2)*0.1;
u244=k2*0.8+(1-k2)*0.8;v244=k2*0.2+(1-k2)*0.1;
u411=k4*0.6+(1-k4)*0.6;v411=k4*0.3+(1-k4)*0.1;
u412=k4*0.5+(1-k4)*0.3;v412=k4*0.3+(1-k4)*0.4;
u413=k4*0.5+(1-k4)*0.5;v413=k4*0.5+(1-k4)*0.4;
u414=k4*0.8+(1-k4)*0.7;v414=k4*0.2+(1-k4)*0.3;
u421=k4*0.5+(1-k4)*0.5;v421=k4*0.5+(1-k4)*0.3;
u422=k4*0.6+(1-k4)*0.6;v422=k4*0.2+(1-k4)*0.2;
u423=k4*0.2+(1-k4)*0.8;v423=k4*0.6+(1-k4)*0.1;
u424=k4*0.6+(1-k4)*0.6;v424=k4*0.4+(1-k4)*0.3;
u431=k4*0.3+(1-k4)*0.6;v431=k4*0.5+(1-k4)*0.2;
u432=k4*0.5+(1-k4)*0.7;v432=k4*0.5+(1-k4)*0.1;
u433=k4*0.4+(1-k4)*0.7;v433=k4*0.5+(1-k4)*0.2;
u434=k4*0.3+(1-k4)*0.8;v434=k4*0.7+(1-k4)*0.2;
u441=k4*0.5+(1-k4)*0.7;v441=k4*0.3+(1-k4)*0.3;
u442=k4*0.5+(1-k4)*0.6;v442=k4*0.4+(1-k4)*0.3;
u443=k4*0.5+(1-k4)*0.6;v443=k4*0.1+(1-k4)*0.3;
u444=k4*0.7+(1-k4)*0.7;v444=k4*0.3+(1-k4)*0.3;
wa1=0.230674738281434;wa2=0.247989475191629;wa3=0.258917550129112;wa4=0.262418236397826;
we1=0.164735699950226;we2=0.169378388126074;we3=0.166557782962961;we4=0.172924177790051;
we5=0.164100503702596;we6=0.162303447468092;
uc11=1-((1-0.4)^we1)*((1-u211)^we2)*((1-0.8)^we3)*((1-u411)^we4)*((1-0.6)^we5)*((1-0.1)^we6);
uc12=1-((1-0.3)^we1)*((1-u212)^we2)*((1-0.4)^we3)*((1-u412)^we4)*((1-0.5)^we5)*((1-0.4)^we6);
uc13=1-((1-0.8)^we1)*((1-u213)^we2)*((1-0.3)^we3)*((1-u413)^we4)*((1-0.5)^we5)*((1-0.4)^we6);
uc14=1-((1-0.5)^we1)*((1-u214)^we2)*((1-0.4)^we3)*((1-u414)^we4)*((1-0.8)^we5)*((1-0.3)^we6);
uc21=1-((1-0.4)^we1)*((1-u221)^we2)*((1-0.4)^we3)*((1-u421)^we4)*((1-0.4)^we5)*((1-0.3)^we6);
uc22=1-((1-0.5)^we1)*((1-u222)^we2)*((1-0.6)^we3)*((1-u422)^we4)*((1-0.6)^we5)*((1-0.2)^we6);
uc23=1-((1-0.5)^we1)*((1-u223)^we2)*((1-0.5)^we3)*((1-u423)^we4)*((1-0.5)^we5)*((1-0.1)^we6);
uc24=1-((1-0.6)^we1)*((1-u224)^we2)*((1-0.5)^we3)*((1-u424)^we4)*((1-0.7)^we5)*((1-0.3)^we6);
uc31=1-((1-0.5)^we1)*((1-u231)^we2)*((1-0.6)^we3)*((1-u431)^we4)*((1-0.3)^we5)*((1-0.2)^we6);
uc32=1-((1-0.8)^we1)*((1-u232)^we2)*((1-0.5)^we3)*((1-u432)^we4)*((1-0.4)^we5)*((1-0.1)^we6);
uc33=1-((1-0.3)^we1)*((1-u233)^we2)*((1-0.2)^we3)*((1-u433)^we4)*((1-0.2)^we5)*((1-0.2)^we6);
uc34=1-((1-0.7)^we1)*((1-u234)^we2)*((1-0.6)^we3)*((1-u434)^we4)*((1-0.6)^we5)*((1-0.2)^we6);
uc41=1-((1-0.6)^we1)*((1-u241)^we2)*((1-0.6)^we3)*((1-u441)^we4)*((1-0.5)^we5)*((1-0.3)^we6);
uc42=1-((1-0.4)^we1)*((1-u242)^we2)*((1-0.3)^we3)*((1-u442)^we4)*((1-0.6)^we5)*((1-0.3)^we6);
uc43=1-((1-0.9)^we1)*((1-u243)^we2)*((1-0.7)^we3)*((1-u443)^we4)*((1-0.8)^we5)*((1-0.3)^we6);
uc44=1-((1-0.8)^we1)*((1-u244)^we2)*((1-0.8)^we3)*((1-u444)^we4)*((1-0.4)^we5)*((1-0.3)^we6);
vc11=(0.4^we1)*((v211)^we2)*(0.1^we3)*((v411)^we4)*(0.3^we5)*(0.1^we6);
vc12=(0.7^we1)*((v212)^we2)*(0.3^we3)*((v412)^we4)*(0.3^we5)*(0.4^we6);
vc13=(0.1^we1)*((v213)^we2)*(0.6^we3)*((v413)^we4)*(0.5^we5)*(0.4^we6);
vc14=(0.3^we1)*((v214)^we2)*(0.4^we3)*((v414)^we4)*(0.2^we5)*(0.3^we6);
vc21=(0.4^we1)*((v221)^we2)*(0.3^we3)*((v421)^we4)*(0.1^we5)*(0.3^we6);
vc22=(0.2^we1)*((v222)^we2)*(0.2^we3)*((v422)^we4)*(0.1^we5)*(0.2^we6);
vc23=(0.3^we1)*((v223)^we2)*(0.3^we3)*((v423)^we4)*(0.3^we5)*(0.1^we6);
vc24=(0.3^we1)*((v224)^we2)*(0.2^we3)*((v424)^we4)*(0.2^we5)*(0.3^we6);
vc31=(0.3^we1)*((v231)^we2)*(0.2^we3)*((v431)^we4)*(0.3^we5)*(0.2^we6);
vc32=(0.2^we1)*((v232)^we2)*(0.2^we3)*((v432)^we4)*(0.4^we5)*(0.1^we6);
vc33=(0.4^we1)*((v233)^we2)*(0.6^we3)*((v433)^we4)*(0.7^we5)*(0.2^we6);
vc34=(0.2^we1)*((v234)^we2)*(0.2^we3)*((v434)^we4)*(0.3^we5)*(0.2^we6);
vc41=(0.4^we1)*((v241)^we2)*(0.1^we3)*((v441)^we4)*(0.4^we5)*(0.3^we6);
vc42=(0.3^we1)*((v242)^we2)*(0.4^we3)*((v442)^we4)*(0.2^we5)*(0.3^we6);
vc43=(0.1^we1)*((v243)^we2)*(0.3^we3)*((v443)^we4)*(0.2^we5)*(0.3^we6);
vc44=(0.1^we1)*((v244)^we2)*(0.1^we3)*((v444)^we4)*(0.5^we5)*(0.3^we6);
pc11=1-(uc11+vc11);pc12=1-(uc12+vc12);pc13=1-(uc13+vc13);pc14=1-(uc14+vc14);
pc21=1-(uc21+vc21);pc22=1-(uc22+vc22);pc23=1-(uc23+vc23);pc24=1-(uc24+vc24);
pc31=1-(uc31+vc31);pc32=1-(uc32+vc32);pc33=1-(uc33+vc33);pc34=1-(uc34+vc34);
pc41=1-(uc41+vc41);pc42=1-(uc42+vc42);pc43=1-(uc43+vc43);pc44=1-(uc44+vc44);
m11=@abs(uc11-u211)+@abs(vc11-v211)+@abs(1-(a211)-pc11);
m12=@abs(uc12-u212)+@abs(vc12-v212)+@abs(1-(a212)-pc12);
m13=@abs(uc13-u213)+@abs(vc13-v213)+@abs(1-(a213)-pc13);
m14=@abs(uc14-u214)+@abs(vc14-v214)+@abs(1-(a214)-pc14);
m21=@abs(uc21-u221)+@abs(vc21-v221)+@abs(1-(a221)-pc21);
m22=@abs(uc22-u222)+@abs(vc22-v222)+@abs(1-(a222)-pc22);
m23=@abs(uc23-u223)+@abs(vc23-v223)+@abs(1-(a223)-pc23);
m24=@abs(uc24-u224)+@abs(vc24-v224)+@abs(1-(a224)-pc24);
m31=@abs(uc31-u231)+@abs(vc31-v231)+@abs(1-(a231)-pc31);
m32=@abs(uc32-u232)+@abs(vc32-v232)+@abs(1-(a232)-pc32);
m33=@abs(uc33-u233)+@abs(vc33-v233)+@abs(1-(a233)-pc33);
m34=@abs(uc34-u234)+@abs(vc34-v234)+@abs(1-(a234)-pc34);
m41=@abs(uc41-u241)+@abs(vc41-v241)+@abs(1-(a241)-pc41);
m42=@abs(uc42-u242)+@abs(vc42-v242)+@abs(1-(a242)-pc42);
m43=@abs(uc43-u243)+@abs(vc43-v243)+@abs(1-(a243)-pc43);
m44=@abs(uc44-u244)+@abs(vc44-v244)+@abs(1-(a244)-pc44);
a211=u211+v211;a212=u212+v212;a213=u213+v213;a214=u214+v214;
a221=u221+v221;a222=u222+v222;a223=u223+v223;a224=u224+v224;
a231=u231+v231;a232=u232+v232;a233=u233+v233;a234=u234+v234;
a241=u241+v241;a242=u242+v242;a243=u243+v243;a244=u244+v244;
b411=u411+v411;b412=u412+v412;b413=u413+v413;b414=u414+v414;
b421=u421+v421;b422=u422+v422;b423=u423+v423;b424=u424+v424;
b431=u431+v431;b432=u432+v432;b433=u433+v433;b434=u434+v434;
b441=u441+v441;b442=u442+v442;b443=u443+v443;b444=u444+v444;
n11=@abs(uc11-u411)+@abs(vc11-v411)+@abs(1-(b411)-pc11);
n12=@abs(uc12-u412)+@abs(vc12-v412)+@abs(1-(b412)-pc12);
n13=@abs(uc13-u413)+@abs(vc13-v413)+@abs(1-(b413)-pc13);
n14=@abs(uc14-u414)+@abs(vc14-v414)+@abs(1-(b414)-pc14);
n21=@abs(uc21-u421)+@abs(vc21-v421)+@abs(1-(b421)-pc21);
n22=@abs(uc22-u422)+@abs(vc22-v422)+@abs(1-(b422)-pc22);
n23=@abs(uc23-u423)+@abs(vc23-v423)+@abs(1-(b423)-pc23);
n24=@abs(uc24-u424)+@abs(vc24-v424)+@abs(1-(b424)-pc24);
n31=@abs(uc31-u431)+@abs(vc31-v431)+@abs(1-(b431)-pc31);
n32=@abs(uc32-u432)+@abs(vc32-v432)+@abs(1-(b432)-pc32);
n33=@abs(uc33-u433)+@abs(vc33-v433)+@abs(1-(b433)-pc33);
n34=@abs(uc34-u434)+@abs(vc34-v434)+@abs(1-(b434)-pc34);
n41=@abs(uc41-u441)+@abs(vc41-v441)+@abs(1-(b441)-pc41);
n42=@abs(uc42-u442)+@abs(vc42-v442)+@abs(1-(b442)-pc42);
n43=@abs(uc43-u443)+@abs(vc43-v443)+@abs(1-(b443)-pc43);
n44=@abs(uc44-u444)+@abs(vc44-v444)+@abs(1-(b444)-pc44);
1-1/8*((m11+m21+m31+m41)*wa1+(m12+m22+m32+m42)*wa2+(m13+m23+m33+m43)*wa3+(m14+m24+m34+m44)*wa4)>=0.88;
1-1/8*((n11+n21+n31+n41)*wa1+(n12+n22+n32+n42)*wa2+(n13+n23+n33+n43)*wa3+(n14+n24+n34+n44)*wa4)>=0.88;
@bnd(0,u211,1);@bnd(0,u212,1);@bnd(0,u213,1);@bnd(0,u214,1);
@bnd(0,u221,1);@bnd(0,u222,1);@bnd(0,u223,1);@bnd(0,u224,1);
@bnd(0,u231,1);@bnd(0,u232,1);@bnd(0,u233,1);@bnd(0,u234,1);
@bnd(0,u241,1);@bnd(0,u242,1);@bnd(0,u243,1);@bnd(0,u244,1);
@bnd(0,v211,1);@bnd(0,v212,1);@bnd(0,v213,1);@bnd(0,v214,1);
@bnd(0,v221,1);@bnd(0,v222,1);@bnd(0,v223,1);@bnd(0,v224,1);
@bnd(0,v231,1);@bnd(0,v232,1);@bnd(0,v233,1);@bnd(0,v234,1);
@bnd(0,v241,1);@bnd(0,v242,1);@bnd(0,v243,1);@bnd(0,v244,1);
@bnd(0,u411,1);@bnd(0,u412,1);@bnd(0,u413,1);@bnd(0,u414,1);
@bnd(0,u421,1);@bnd(0,u422,1);@bnd(0,u423,1);@bnd(0,u424,1);
@bnd(0,u431,1);@bnd(0,u432,1);@bnd(0,u433,1);@bnd(0,u434,1);
@bnd(0,u441,1);@bnd(0,u442,1);@bnd(0,u443,1);@bnd(0,u444,1);
@bnd(0,v411,1);@bnd(0,v412,1);@bnd(0,v413,1);@bnd(0,v414,1);
@bnd(0,v421,1);@bnd(0,v422,1);@bnd(0,v423,1);@bnd(0,v424,1);
@bnd(0,v431,1);@bnd(0,v432,1);@bnd(0,v433,1);@bnd(0,v434,1);
@bnd(0,v441,1);@bnd(0,v442,1);@bnd(0,v443,1);@bnd(0,v444,1);
@bnd(0,uc11,1);@bnd(0,uc12,1);@bnd(0,uc13,1);@bnd(0,uc14,1);
@bnd(0,uc21,1);@bnd(0,uc22,1);@bnd(0,uc23,1);@bnd(0,uc24,1);
@bnd(0,uc31,1);@bnd(0,uc32,1);@bnd(0,uc33,1);@bnd(0,uc34,1);
@bnd(0,uc41,1);@bnd(0,uc42,1);@bnd(0,uc43,1);@bnd(0,uc44,1);
@bnd(0,vc11,1);@bnd(0,vc12,1);@bnd(0,vc13,1);@bnd(0,vc14,1);
@bnd(0,vc21,1);@bnd(0,vc22,1);@bnd(0,vc23,1);@bnd(0,vc24,1);
@bnd(0,vc31,1);@bnd(0,vc32,1);@bnd(0,vc33,1);@bnd(0,vc34,1);
@bnd(0,vc41,1);@bnd(0,vc42,1);@bnd(0,vc43,1);@bnd(0,vc44,1);
@bnd(0,pc11,1);@bnd(0,pc12,1);@bnd(0,pc13,1);@bnd(0,pc14,1);
@bnd(0,pc21,1);@bnd(0,pc22,1);@bnd(0,pc23,1);@bnd(0,pc24,1);
@bnd(0,pc31,1);@bnd(0,pc32,1);@bnd(0,pc33,1);@bnd(0,pc34,1);
@bnd(0,pc41,1);@bnd(0,pc42,1);@bnd(0,pc43,1);@bnd(0,pc44,1);
@bnd(0,a211,1);@bnd(0,a212,1);@bnd(0,a213,1);@bnd(0,a214,1);
@bnd(0,a221,1);@bnd(0,a222,1);@bnd(0,a223,1);@bnd(0,a224,1);
@bnd(0,a231,1);@bnd(0,a232,1);@bnd(0,a233,1);@bnd(0,a234,1);
@bnd(0,a241,1);@bnd(0,a242,1);@bnd(0,a243,1);@bnd(0,a244,1);
@bnd(0,b411,1);@bnd(0,b412,1);@bnd(0,b413,1);@bnd(0,b414,1);
@bnd(0,b421,1);@bnd(0,b422,1);@bnd(0,b423,1);@bnd(0,b424,1);
@bnd(0,b431,1);@bnd(0,b432,1);@bnd(0,b433,1);@bnd(0,b434,1);
@bnd(0,b441,1);@bnd(0,b442,1);@bnd(0,b443,1);@bnd(0,b444,1);
x11=@abs(u211-0.2)+@abs(v211-0.5)+@abs(0.7-(u211+v211));
x12=@abs(u212-0.4)+@abs(v212-0.4)+@abs(0.8-(u212+v212));
x13=@abs(u213-0.4)+@abs(v213-0.6)+@abs(1-(u213+v213));
x14=@abs(u214-0.3)+@abs(v214-0.5)+@abs(0.8-(u214+v214));
x21=@abs(u221-0.4)+@abs(v221-0.5)+@abs(0.9-(u221+v221));
x22=@abs(u222-0.4)+@abs(v222-0.6)+@abs(1-(u222+v222));
x23=@abs(u223-0.6)+@abs(v223-0.2)+@abs(0.8-(u223+v223));
x24=@abs(u224-0.4)+@abs(v224-0.6)+@abs(1-(u224+v224));
x31=@abs(u231-0.2)+@abs(v231-0.3)+@abs(0.5-(u231+v231));
x32=@abs(u232-0.5)+@abs(v232-0.2)+@abs(0.7-(u232+v232));
x33=@abs(u233-0.5)+@abs(v233-0.3)+@abs(0.8-(u233+v233));
x34=@abs(u234-0.4)+@abs(v234-0.6)+@abs(1-(u234+v234));
x41=@abs(u241-0.7)+@abs(v241-0.2)+@abs(0.9-(u241+v241));
x42=@abs(u242-0.5)+@abs(v242-0.1)+@abs(0.6-(u242+v242));
x43=@abs(u243-0.4)+@abs(v243-0.1)+@abs(0.5-(u243+v243));
x44=@abs(u244-0.8)+@abs(v244-0.2)+@abs(1-(u244+v244));
y11=@abs(u411-0.6)+@abs(v411-0.3)+@abs(0.9-(u411+v411));
y12=@abs(u412-0.5)+@abs(v412-0.3)+@abs(0.8-(u412+v412));
y13=@abs(u413-0.5)+@abs(v413-0.5)+@abs(1-(u413+v413));
y14=@abs(u414-0.8)+@abs(v414-0.2)+@abs(1-(u414+v414));
y21=@abs(u421-0.5)+@abs(v421-0.5)+@abs(1-(u421+v421));
y22=@abs(u422-0.6)+@abs(v422-0.2)+@abs(0.8-(u422+v422));
y23=@abs(u423-0.2)+@abs(v423-0.6)+@abs(0.8-(u423+v423));
y24=@abs(u424-0.6)+@abs(v424-0.4)+@abs(1-(u424+v424));
y31=@abs(u431-0.3)+@abs(v431-0.5)+@abs(0.8-(u431+v431));
y32=@abs(u432-0.5)+@abs(v432-0.5)+@abs(1-(u432+v432));
y33=@abs(u433-0.4)+@abs(v433-0.5)+@abs(0.9-(u433+v433));
y34=@abs(u434-0.3)+@abs(v434-0.7)+@abs(1-(u434+v434));
y41=@abs(u441-0.5)+@abs(v441-0.3)+@abs(0.8-(u441+v441));
y42=@abs(u442-0.5)+@abs(v442-0.4)+@abs(0.9-(u442+v442));
y43=@abs(u443-0.5)+@abs(v443-0.1)+@abs(0.6-(u443+v443));
y44=@abs(u444-0.7)+@abs(v444-0.3)+@abs(1-(u444+v444));
u211=k2*0.2+(1-k2)*0.4;v211=k2*0.5+(1-k2)*0.4;
u212=k2*0.4+(1-k2)*0.3;v212=k2*0.4+(1-k2)*0.7;
u213=k2*0.4+(1-k2)*0.8;v213=k2*0.6+(1-k2)*0.1;
u214=k2*0.3+(1-k2)*0.5;v214=k2*0.5+(1-k2)*0.3;
u221=k2*0.4+(1-k2)*0.4;v221=k2*0.5+(1-k2)*0.4;
u222=k2*0.4+(1-k2)*0.5;v222=k2*0.6+(1-k2)*0.2;
u223=k2*0.6+(1-k2)*0.5;v223=k2*0.2+(1-k2)*0.3;
u224=k2*0.4+(1-k2)*0.6;v224=k2*0.6+(1-k2)*0.3;
u231=k2*0.2+(1-k2)*0.5;v231=k2*0.3+(1-k2)*0.3;
u232=k2*0.5+(1-k2)*0.8;v232=k2*0.2+(1-k2)*0.2;
u233=k2*0.5+(1-k2)*0.3;v233=k2*0.3+(1-k2)*0.4;
u234=k2*0.4+(1-k2)*0.7;v234=k2*0.6+(1-k2)*0.2;
u241=k2*0.7+(1-k2)*0.6;v241=k2*0.2+(1-k2)*0.4;
u242=k2*0.5+(1-k2)*0.4;v242=k2*0.1+(1-k2)*0.3;
u243=k2*0.4+(1-k2)*0.9;v243=k2*0.1+(1-k2)*0.1;
u244=k2*0.8+(1-k2)*0.8;v244=k2*0.2+(1-k2)*0.1;
u411=k4*0.6+(1-k4)*0.6;v411=k4*0.3+(1-k4)*0.1;
u412=k4*0.5+(1-k4)*0.3;v412=k4*0.3+(1-k4)*0.4;
u413=k4*0.5+(1-k4)*0.5;v413=k4*0.5+(1-k4)*0.4;
u414=k4*0.8+(1-k4)*0.7;v414=k4*0.2+(1-k4)*0.3;
u421=k4*0.5+(1-k4)*0.5;v421=k4*0.5+(1-k4)*0.3;
u422=k4*0.6+(1-k4)*0.6;v422=k4*0.2+(1-k4)*0.2;
u423=k4*0.2+(1-k4)*0.8;v423=k4*0.6+(1-k4)*0.1;
u424=k4*0.6+(1-k4)*0.6;v424=k4*0.4+(1-k4)*0.3;
u431=k4*0.3+(1-k4)*0.6;v431=k4*0.5+(1-k4)*0.2;
u432=k4*0.5+(1-k4)*0.7;v432=k4*0.5+(1-k4)*0.1;
u433=k4*0.4+(1-k4)*0.7;v433=k4*0.5+(1-k4)*0.2;
u434=k4*0.3+(1-k4)*0.8;v434=k4*0.7+(1-k4)*0.2;
u441=k4*0.5+(1-k4)*0.7;v441=k4*0.3+(1-k4)*0.3;
u442=k4*0.5+(1-k4)*0.6;v442=k4*0.4+(1-k4)*0.3;
u443=k4*0.5+(1-k4)*0.6;v443=k4*0.1+(1-k4)*0.3;
u444=k4*0.7+(1-k4)*0.7;v444=k4*0.3+(1-k4)*0.3;
wa1=0.230674738281434;wa2=0.247989475191629;wa3=0.258917550129112;wa4=0.262418236397826;
we1=0.164735699950226;we2=0.169378388126074;we3=0.166557782962961;we4=0.172924177790051;
we5=0.164100503702596;we6=0.162303447468092;
uc11=1-((1-0.4)^we1)*((1-u211)^we2)*((1-0.8)^we3)*((1-u411)^we4)*((1-0.6)^we5)*((1-0.1)^we6);
uc12=1-((1-0.3)^we1)*((1-u212)^we2)*((1-0.4)^we3)*((1-u412)^we4)*((1-0.5)^we5)*((1-0.4)^we6);
uc13=1-((1-0.8)^we1)*((1-u213)^we2)*((1-0.3)^we3)*((1-u413)^we4)*((1-0.5)^we5)*((1-0.4)^we6);
uc14=1-((1-0.5)^we1)*((1-u214)^we2)*((1-0.4)^we3)*((1-u414)^we4)*((1-0.8)^we5)*((1-0.3)^we6);
uc21=1-((1-0.4)^we1)*((1-u221)^we2)*((1-0.4)^we3)*((1-u421)^we4)*((1-0.4)^we5)*((1-0.3)^we6);
uc22=1-((1-0.5)^we1)*((1-u222)^we2)*((1-0.6)^we3)*((1-u422)^we4)*((1-0.6)^we5)*((1-0.2)^we6);
uc23=1-((1-0.5)^we1)*((1-u223)^we2)*((1-0.5)^we3)*((1-u423)^we4)*((1-0.5)^we5)*((1-0.1)^we6);
uc24=1-((1-0.6)^we1)*((1-u224)^we2)*((1-0.5)^we3)*((1-u424)^we4)*((1-0.7)^we5)*((1-0.3)^we6);
uc31=1-((1-0.5)^we1)*((1-u231)^we2)*((1-0.6)^we3)*((1-u431)^we4)*((1-0.3)^we5)*((1-0.2)^we6);
uc32=1-((1-0.8)^we1)*((1-u232)^we2)*((1-0.5)^we3)*((1-u432)^we4)*((1-0.4)^we5)*((1-0.1)^we6);
uc33=1-((1-0.3)^we1)*((1-u233)^we2)*((1-0.2)^we3)*((1-u433)^we4)*((1-0.2)^we5)*((1-0.2)^we6);
uc34=1-((1-0.7)^we1)*((1-u234)^we2)*((1-0.6)^we3)*((1-u434)^we4)*((1-0.6)^we5)*((1-0.2)^we6);
uc41=1-((1-0.6)^we1)*((1-u241)^we2)*((1-0.6)^we3)*((1-u441)^we4)*((1-0.5)^we5)*((1-0.3)^we6);
uc42=1-((1-0.4)^we1)*((1-u242)^we2)*((1-0.3)^we3)*((1-u442)^we4)*((1-0.6)^we5)*((1-0.3)^we6);
uc43=1-((1-0.9)^we1)*((1-u243)^we2)*((1-0.7)^we3)*((1-u443)^we4)*((1-0.8)^we5)*((1-0.3)^we6);
uc44=1-((1-0.8)^we1)*((1-u244)^we2)*((1-0.8)^we3)*((1-u444)^we4)*((1-0.4)^we5)*((1-0.3)^we6);
vc11=(0.4^we1)*((v211)^we2)*(0.1^we3)*((v411)^we4)*(0.3^we5)*(0.1^we6);
vc12=(0.7^we1)*((v212)^we2)*(0.3^we3)*((v412)^we4)*(0.3^we5)*(0.4^we6);
vc13=(0.1^we1)*((v213)^we2)*(0.6^we3)*((v413)^we4)*(0.5^we5)*(0.4^we6);
vc14=(0.3^we1)*((v214)^we2)*(0.4^we3)*((v414)^we4)*(0.2^we5)*(0.3^we6);
vc21=(0.4^we1)*((v221)^we2)*(0.3^we3)*((v421)^we4)*(0.1^we5)*(0.3^we6);
vc22=(0.2^we1)*((v222)^we2)*(0.2^we3)*((v422)^we4)*(0.1^we5)*(0.2^we6);
vc23=(0.3^we1)*((v223)^we2)*(0.3^we3)*((v423)^we4)*(0.3^we5)*(0.1^we6);
vc24=(0.3^we1)*((v224)^we2)*(0.2^we3)*((v424)^we4)*(0.2^we5)*(0.3^we6);
vc31=(0.3^we1)*((v231)^we2)*(0.2^we3)*((v431)^we4)*(0.3^we5)*(0.2^we6);
vc32=(0.2^we1)*((v232)^we2)*(0.2^we3)*((v432)^we4)*(0.4^we5)*(0.1^we6);
vc33=(0.4^we1)*((v233)^we2)*(0.6^we3)*((v433)^we4)*(0.7^we5)*(0.2^we6);
vc34=(0.2^we1)*((v234)^we2)*(0.2^we3)*((v434)^we4)*(0.3^we5)*(0.2^we6);
vc41=(0.4^we1)*((v241)^we2)*(0.1^we3)*((v441)^we4)*(0.4^we5)*(0.3^we6);
vc42=(0.3^we1)*((v242)^we2)*(0.4^we3)*((v442)^we4)*(0.2^we5)*(0.3^we6);
vc43=(0.1^we1)*((v243)^we2)*(0.3^we3)*((v443)^we4)*(0.2^we5)*(0.3^we6);
vc44=(0.1^we1)*((v244)^we2)*(0.1^we3)*((v444)^we4)*(0.5^we5)*(0.3^we6);
pc11=1-(uc11+vc11);pc12=1-(uc12+vc12);pc13=1-(uc13+vc13);pc14=1-(uc14+vc14);
pc21=1-(uc21+vc21);pc22=1-(uc22+vc22);pc23=1-(uc23+vc23);pc24=1-(uc24+vc24);
pc31=1-(uc31+vc31);pc32=1-(uc32+vc32);pc33=1-(uc33+vc33);pc34=1-(uc34+vc34);
pc41=1-(uc41+vc41);pc42=1-(uc42+vc42);pc43=1-(uc43+vc43);pc44=1-(uc44+vc44);
m11=@abs(uc11-u211)+@abs(vc11-v211)+@abs(1-(a211)-pc11);
m12=@abs(uc12-u212)+@abs(vc12-v212)+@abs(1-(a212)-pc12);
m13=@abs(uc13-u213)+@abs(vc13-v213)+@abs(1-(a213)-pc13);
m14=@abs(uc14-u214)+@abs(vc14-v214)+@abs(1-(a214)-pc14);
m21=@abs(uc21-u221)+@abs(vc21-v221)+@abs(1-(a221)-pc21);
m22=@abs(uc22-u222)+@abs(vc22-v222)+@abs(1-(a222)-pc22);
m23=@abs(uc23-u223)+@abs(vc23-v223)+@abs(1-(a223)-pc23);
m24=@abs(uc24-u224)+@abs(vc24-v224)+@abs(1-(a224)-pc24);
m31=@abs(uc31-u231)+@abs(vc31-v231)+@abs(1-(a231)-pc31);
m32=@abs(uc32-u232)+@abs(vc32-v232)+@abs(1-(a232)-pc32);
m33=@abs(uc33-u233)+@abs(vc33-v233)+@abs(1-(a233)-pc33);
m34=@abs(uc34-u234)+@abs(vc34-v234)+@abs(1-(a234)-pc34);
m41=@abs(uc41-u241)+@abs(vc41-v241)+@abs(1-(a241)-pc41);
m42=@abs(uc42-u242)+@abs(vc42-v242)+@abs(1-(a242)-pc42);
m43=@abs(uc43-u243)+@abs(vc43-v243)+@abs(1-(a243)-pc43);
m44=@abs(uc44-u244)+@abs(vc44-v244)+@abs(1-(a244)-pc44);
a211=u211+v211;a212=u212+v212;a213=u213+v213;a214=u214+v214;
a221=u221+v221;a222=u222+v222;a223=u223+v223;a224=u224+v224;
a231=u231+v231;a232=u232+v232;a233=u233+v233;a234=u234+v234;
a241=u241+v241;a242=u242+v242;a243=u243+v243;a244=u244+v244;
b411=u411+v411;b412=u412+v412;b413=u413+v413;b414=u414+v414;
b421=u421+v421;b422=u422+v422;b423=u423+v423;b424=u424+v424;
b431=u431+v431;b432=u432+v432;b433=u433+v433;b434=u434+v434;
b441=u441+v441;b442=u442+v442;b443=u443+v443;b444=u444+v444;
n11=@abs(uc11-u411)+@abs(vc11-v411)+@abs(1-(b411)-pc11);
n12=@abs(uc12-u412)+@abs(vc12-v412)+@abs(1-(b412)-pc12);
n13=@abs(uc13-u413)+@abs(vc13-v413)+@abs(1-(b413)-pc13);
n14=@abs(uc14-u414)+@abs(vc14-v414)+@abs(1-(b414)-pc14);
n21=@abs(uc21-u421)+@abs(vc21-v421)+@abs(1-(b421)-pc21);
n22=@abs(uc22-u422)+@abs(vc22-v422)+@abs(1-(b422)-pc22);
n23=@abs(uc23-u423)+@abs(vc23-v423)+@abs(1-(b423)-pc23);
n24=@abs(uc24-u424)+@abs(vc24-v424)+@abs(1-(b424)-pc24);
n31=@abs(uc31-u431)+@abs(vc31-v431)+@abs(1-(b431)-pc31);
n32=@abs(uc32-u432)+@abs(vc32-v432)+@abs(1-(b432)-pc32);
n33=@abs(uc33-u433)+@abs(vc33-v433)+@abs(1-(b433)-pc33);
n34=@abs(uc34-u434)+@abs(vc34-v434)+@abs(1-(b434)-pc34);
n41=@abs(uc41-u441)+@abs(vc41-v441)+@abs(1-(b441)-pc41);
n42=@abs(uc42-u442)+@abs(vc42-v442)+@abs(1-(b442)-pc42);
n43=@abs(uc43-u443)+@abs(vc43-v443)+@abs(1-(b443)-pc43);
n44=@abs(uc44-u444)+@abs(vc44-v444)+@abs(1-(b444)-pc44);
1-1/8*((m11+m21+m31+m41)*wa1+(m12+m22+m32+m42)*wa2+(m13+m23+m33+m43)*wa3+(m14+m24+m34+m44)*wa4)>=0.88;
1-1/8*((n11+n21+n31+n41)*wa1+(n12+n22+n32+n42)*wa2+(n13+n23+n33+n43)*wa3+(n14+n24+n34+n44)*wa4)>=0.88;
@bnd(0,u211,1);@bnd(0,u212,1);@bnd(0,u213,1);@bnd(0,u214,1);
@bnd(0,u221,1);@bnd(0,u222,1);@bnd(0,u223,1);@bnd(0,u224,1);
@bnd(0,u231,1);@bnd(0,u232,1);@bnd(0,u233,1);@bnd(0,u234,1);
@bnd(0,u241,1);@bnd(0,u242,1);@bnd(0,u243,1);@bnd(0,u244,1);
@bnd(0,v211,1);@bnd(0,v212,1);@bnd(0,v213,1);@bnd(0,v214,1);
@bnd(0,v221,1);@bnd(0,v222,1);@bnd(0,v223,1);@bnd(0,v224,1);
@bnd(0,v231,1);@bnd(0,v232,1);@bnd(0,v233,1);@bnd(0,v234,1);
@bnd(0,v241,1);@bnd(0,v242,1);@bnd(0,v243,1);@bnd(0,v244,1);
@bnd(0,u411,1);@bnd(0,u412,1);@bnd(0,u413,1);@bnd(0,u414,1);
@bnd(0,u421,1);@bnd(0,u422,1);@bnd(0,u423,1);@bnd(0,u424,1);
@bnd(0,u431,1);@bnd(0,u432,1);@bnd(0,u433,1);@bnd(0,u434,1);
@bnd(0,u441,1);@bnd(0,u442,1);@bnd(0,u443,1);@bnd(0,u444,1);
@bnd(0,v411,1);@bnd(0,v412,1);@bnd(0,v413,1);@bnd(0,v414,1);
@bnd(0,v421,1);@bnd(0,v422,1);@bnd(0,v423,1);@bnd(0,v424,1);
@bnd(0,v431,1);@bnd(0,v432,1);@bnd(0,v433,1);@bnd(0,v434,1);
@bnd(0,v441,1);@bnd(0,v442,1);@bnd(0,v443,1);@bnd(0,v444,1);
@bnd(0,uc11,1);@bnd(0,uc12,1);@bnd(0,uc13,1);@bnd(0,uc14,1);
@bnd(0,uc21,1);@bnd(0,uc22,1);@bnd(0,uc23,1);@bnd(0,uc24,1);
@bnd(0,uc31,1);@bnd(0,uc32,1);@bnd(0,uc33,1);@bnd(0,uc34,1);
@bnd(0,uc41,1);@bnd(0,uc42,1);@bnd(0,uc43,1);@bnd(0,uc44,1);
@bnd(0,vc11,1);@bnd(0,vc12,1);@bnd(0,vc13,1);@bnd(0,vc14,1);
@bnd(0,vc21,1);@bnd(0,vc22,1);@bnd(0,vc23,1);@bnd(0,vc24,1);
@bnd(0,vc31,1);@bnd(0,vc32,1);@bnd(0,vc33,1);@bnd(0,vc34,1);
@bnd(0,vc41,1);@bnd(0,vc42,1);@bnd(0,vc43,1);@bnd(0,vc44,1);
@bnd(0,pc11,1);@bnd(0,pc12,1);@bnd(0,pc13,1);@bnd(0,pc14,1);
@bnd(0,pc21,1);@bnd(0,pc22,1);@bnd(0,pc23,1);@bnd(0,pc24,1);
@bnd(0,pc31,1);@bnd(0,pc32,1);@bnd(0,pc33,1);@bnd(0,pc34,1);
@bnd(0,pc41,1);@bnd(0,pc42,1);@bnd(0,pc43,1);@bnd(0,pc44,1);
@bnd(0,a211,1);@bnd(0,a212,1);@bnd(0,a213,1);@bnd(0,a214,1);
@bnd(0,a221,1);@bnd(0,a222,1);@bnd(0,a223,1);@bnd(0,a224,1);
@bnd(0,a231,1);@bnd(0,a232,1);@bnd(0,a233,1);@bnd(0,a234,1);
@bnd(0,a241,1);@bnd(0,a242,1);@bnd(0,a243,1);@bnd(0,a244,1);
@bnd(0,b411,1);@bnd(0,b412,1);@bnd(0,b413,1);@bnd(0,b414,1);
@bnd(0,b421,1);@bnd(0,b422,1);@bnd(0,b423,1);@bnd(0,b424,1);
@bnd(0,b431,1);@bnd(0,b432,1);@bnd(0,b433,1);@bnd(0,b434,1);
@bnd(0,b441,1);@bnd(0,b442,1);@bnd(0,b443,1);@bnd(0,b444,1);
