The related lines of code are as follow:
param E; param N{1..E}; param Ar; var s{1..E,1..Ar/(N[e]+1)} integer;
Then afte