conBx=[0,0,0,0,0,1.83486238532110,1.83486238532110,1.10497237569061,0.615384615384615,0.369685767097967,0.977995110024450,0.977995110024450,0.831600831600832,0.640000000000000,0.475624256837099;0,0,0,0,0,1.10497237569061,1.83486238532110,1.83486238532110,1.10497237569061,0.615384615384615,0.831600831600832,0.977995110024450,0.977995110024450,0.831600831600832,0.640000000000000;0,0,0,0,0,0.615384615384615,1.10497237569061,1.83486238532110,1.83486238532110,1.10497237569061,0.640000000000000,0.831600831600832,0.977995110024450,0.977995110024450,0.831600831600832;0,0,0,0,0,0.369685767097967,0.615384615384615,1.10497237569061,1.83486238532110,1.83486238532110,0.475624256837099,0.640000000000000,0.831600831600832,0.977995110024450,0.977995110024450;-1.83486238532110,-1.83486238532110,-1.10497237569061,-0.615384615384615,-0.369685767097967,0,0,0,0,0,1.83486238532110,1.83486238532110,1.10497237569061,0.615384615384615,0.369685767097967;-1.10497237569061,-1.83486238532110,-1.83486238532110,-1.10497237569061,-0.615384615384615,0,0,0,0,0,1.10497237569061,1.83486238532110,1.83486238532110,1.10497237569061,0.615384615384615;-0.615384615384615,-1.10497237569061,-1.83486238532110,-1.83486238532110,-1.10497237569061,0,0,0,0,0,0.615384615384615,1.10497237569061,1.83486238532110,1.83486238532110,1.10497237569061;-0.369685767097967,-0.615384615384615,-1.10497237569061,-1.83486238532110,-1.83486238532110,0,0,0,0,0,0.369685767097967,0.615384615384615,1.10497237569061,1.83486238532110,1.83486238532110;-0.977995110024450,-0.977995110024450,-0.831600831600832,-0.640000000000000,-0.475624256837099,-1.83486238532110,-1.83486238532110,-1.10497237569061,-0.615384615384615,-0.369685767097967,0,0,0,0,0;-0.831600831600832,-0.977995110024450,-0.977995110024450,-0.831600831600832,-0.640000000000000,-1.10497237569061,-1.83486238532110,-1.83486238532110,-1.10497237569061,-0.615384615384615,0,0,0,0,0;-0.640000000000000,-0.831600831600832,-0.977995110024450,-0.977995110024450,-0.831600831600832,-0.615384615384615,-1.10497237569061,-1.83486238532110,-1.83486238532110,-1.10497237569061,0,0,0,0,0;-0.475624256837099,-0.640000000000000,-0.831600831600832,-0.977995110024450,-0.977995110024450,-0.369685767097967,-0.615384615384615,-1.10497237569061,-1.83486238532110,-1.83486238532110,0,0,0,0,0];
conBy=[-6.66666666666667,6.66666666666667,2.22222222222222,1.33333333333333,0.952380952380953,-0.550458715596330,0.550458715596330,0.994475138121547,0.923076923076923,0.776340110905730,-0.146699266503667,0.146699266503667,0.374220374220374,0.480000000000000,0.499405469678954;-2.22222222222222,-6.66666666666667,6.66666666666667,2.22222222222222,1.33333333333333,-0.994475138121547,-0.550458715596330,0.550458715596330,0.994475138121547,0.923076923076923,-0.374220374220374,-0.146699266503667,0.146699266503667,0.374220374220374,0.480000000000000;-1.33333333333333,-2.22222222222222,-6.66666666666667,6.66666666666667,2.22222222222222,-0.923076923076923,-0.994475138121547,-0.550458715596330,0.550458715596330,0.994475138121547,-0.480000000000000,-0.374220374220374,-0.146699266503667,0.146699266503667,0.374220374220374;-0.952380952380953,-1.33333333333333,-2.22222222222222,-6.66666666666667,6.66666666666667,-0.776340110905730,-0.923076923076923,-0.994475138121547,-0.550458715596330,0.550458715596330,-0.499405469678954,-0.480000000000000,-0.374220374220374,-0.146699266503667,0.146699266503667;-0.550458715596330,0.550458715596330,0.994475138121547,0.923076923076923,0.776340110905730,-6.66666666666667,6.66666666666667,2.22222222222222,1.33333333333333,0.952380952380953,-0.550458715596330,0.550458715596330,0.994475138121547,0.923076923076923,0.776340110905730;-0.994475138121547,-0.550458715596330,0.550458715596330,0.994475138121547,0.923076923076923,-2.22222222222222,-6.66666666666667,6.66666666666667,2.22222222222222,1.33333333333333,-0.994475138121547,-0.550458715596330,0.550458715596330,0.994475138121547,0.923076923076923;-0.923076923076923,-0.994475138121547,-0.550458715596330,0.550458715596330,0.994475138121547,-1.33333333333333,-2.22222222222222,-6.66666666666667,6.66666666666667,2.22222222222222,-0.923076923076923,-0.994475138121547,-0.550458715596330,0.550458715596330,0.994475138121547;-0.776340110905730,-0.923076923076923,-0.994475138121547,-0.550458715596330,0.550458715596330,-0.952380952380953,-1.33333333333333,-2.22222222222222,-6.66666666666667,6.66666666666667,-0.776340110905730,-0.923076923076923,-0.994475138121547,-0.550458715596330,0.550458715596330;-0.146699266503667,0.146699266503667,0.374220374220374,0.480000000000000,0.499405469678954,-0.550458715596330,0.550458715596330,0.994475138121547,0.923076923076923,0.776340110905730,-6.66666666666667,6.66666666666667,2.22222222222222,1.33333333333333,0.952380952380953;-0.374220374220374,-0.146699266503667,0.146699266503667,0.374220374220374,0.480000000000000,-0.994475138121547,-0.550458715596330,0.550458715596330,0.994475138121547,0.923076923076923,-2.22222222222222,-6.66666666666667,6.66666666666667,2.22222222222222,1.33333333333333;-0.480000000000000,-0.374220374220374,-0.146699266503667,0.146699266503667,0.374220374220374,-0.923076923076923,-0.994475138121547,-0.550458715596330,0.550458715596330,0.994475138121547,-1.33333333333333,-2.22222222222222,-6.66666666666667,6.66666666666667,2.22222222222222;-0.499405469678954,-0.480000000000000,-0.374220374220374,-0.146699266503667,0.146699266503667,-0.776340110905730,-0.923076923076923,-0.994475138121547,-0.550458715596330,0.550458715596330,-0.952380952380953,-1.33333333333333,-2.22222222222222,-6.66666666666667,6.66666666666667];
c=[1,0.385740902327350,0.252086400923626,0.180051756213799,0.134338625773115,0.325338695211755,0.295705615296013,0.240842798639231,0.191650596650322,0.153143736484782,0.222078208657532,0.214373745067129,0.194964191180765,0.170819554580032,0.146923179202373;0.385740902327350,1,0.385740902327350,0.252086400923626,0.180051756213799,0.295705615296013,0.325338695211755,0.295705615296013,0.240842798639231,0.191650596650322,0.214373745067129,0.222078208657532,0.214373745067129,0.194964191180765,0.170819554580032;0.252086400923626,0.385740902327350,1,0.385740902327350,0.252086400923626,0.240842798639231,0.295705615296013,0.325338695211755,0.295705615296013,0.240842798639231,0.194964191180765,0.214373745067129,0.222078208657532,0.214373745067129,0.194964191180765;0.180051756213799,0.252086400923626,0.385740902327350,1,0.385740902327350,0.191650596650322,0.240842798639231,0.295705615296013,0.325338695211755,0.295705615296013,0.170819554580032,0.194964191180765,0.214373745067129,0.222078208657532,0.214373745067129;0.134338625773115,0.180051756213799,0.252086400923626,0.385740902327350,1,0.153143736484782,0.191650596650322,0.240842798639231,0.295705615296013,0.325338695211755,0.146923179202373,0.170819554580032,0.194964191180765,0.214373745067129,0.222078208657532;0.325338695211755,0.295705615296013,0.240842798639231,0.191650596650322,0.153143736484782,1,0.466460145990755,0.329302816953880,0.252086400923626,0.200224074540065,0.393354638909619,0.363016356053394,0.306125955898918,0.253820992122854,0.211436578165977;0.295705615296013,0.325338695211755,0.295705615296013,0.240842798639231,0.191650596650322,0.466460145990755,1,0.466460145990755,0.329302816953880,0.252086400923626,0.363016356053394,0.393354638909619,0.363016356053394,0.306125955898918,0.253820992122854;0.240842798639231,0.295705615296013,0.325338695211755,0.295705615296013,0.240842798639231,0.329302816953880,0.466460145990755,1,0.466460145990755,0.329302816953880,0.306125955898918,0.363016356053394,0.393354638909619,0.363016356053394,0.306125955898918;0.191650596650322,0.240842798639231,0.295705615296013,0.325338695211755,0.295705615296013,0.252086400923626,0.329302816953880,0.466460145990755,1,0.466460145990755,0.253820992122854,0.306125955898918,0.363016356053394,0.393354638909619,0.363016356053394;0.153143736484782,0.191650596650322,0.240842798639231,0.295705615296013,0.325338695211755,0.200224074540065,0.252086400923626,0.329302816953880,0.466460145990755,1,0.211436578165977,0.253820992122854,0.306125955898918,0.363016356053394,0.393354638909619;0.222078208657532,0.214373745067129,0.194964191180765,0.170819554580032,0.146923179202373,0.393354638909619,0.363016356053394,0.306125955898918,0.253820992122854,0.211436578165977,1,0.524174672752980,0.385740902327350,0.306520997093035,0.252086400923626;0.214373745067129,0.222078208657532,0.214373745067129,0.194964191180765,0.170819554580032,0.363016356053394,0.393354638909619,0.363016356053394,0.306125955898918,0.253820992122854,0.524174672752980,1,0.524174672752980,0.385740902327350,0.306520997093035;0.194964191180765,0.214373745067129,0.222078208657532,0.214373745067129,0.194964191180765,0.306125955898918,0.363016356053394,0.393354638909619,0.363016356053394,0.306125955898918,0.385740902327350,0.524174672752980,1,0.524174672752980,0.385740902327350;0.170819554580032,0.194964191180765,0.214373745067129,0.222078208657532,0.214373745067129,0.253820992122854,0.306125955898918,0.363016356053394,0.393354638909619,0.363016356053394,0.306520997093035,0.385740902327350,0.524174672752980,1,0.524174672752980;0.146923179202373,0.170819554580032,0.194964191180765,0.214373745067129,0.222078208657532,0.211436578165977,0.253820992122854,0.306125955898918,0.363016356053394,0.393354638909619,0.252086400923626,0.306520997093035,0.385740902327350,0.524174672752980,1];
d=[401933.568419812,401933.568419812,401933.568419812,401933.568419812,401933.568419812,401933.568419812,401933.568419812,401933.568419812,401933.568419812,401933.568419812,401933.568419812,401933.568419812,401933.568419812,401933.568419812,401933.568419812];
I=intvar(1,15);
pos=binvar(1,15);
intvar Ibase; %balanced
f=-((sum(conBx*I'))^2+(sum(conBy*I'))^2);
desired = [ zeros(1,12) Ibase Ibase Ibase];
F=[implies(pos,I== 0)];
F=F+[sum(pos)==12];
F=F+[(c*(I.^2)')./d' <= 1];
F=F+[sort(I)==desired];
F=F+[0<=I<=600];
F=F+[1<=Ibase<=600];
sol=optimize(F,f);
I=value(I)
pos=value(pos)
Ibase=value(Ibase)
B=value(conBx*I')
B=value(conBy*I')