constraint value_c{
foreach(c1[i]){
(num == i) dist {1:=c1[i],0:=(100-c1[i])};
}
num inside {[0:($size(c1)-1)]};
solve num before value;
value inside {[a1[num]:b1[num]]};
constraint value_c{
foreach(c1[i]){
(num == i) dist {1:=c1[i],0:=(100-c1[i])};
}
num inside {[0:($size(c1)-1)]};
solve num before value;
value inside {[a1[num]:b1[num]]};