model:
sets:
items/1..400/:x,v;
endsets
data:
v=591478.3333,492898.6111,537707.5758,497090.9091,334652.7778,365075.7576,282233.3333,264255,260863.3333,240231.8182,237148.4848,
230093.9394,208351.5152,189794.4444,180981.9444,180258.3333,175133.3333,154035,148385,137978.3333,136648.3333,130326.6667,126405,
105337.5,78747.22222,70397.22222,68366.66667,66027.77778,64718.05556,70601.51515,63077.27273,62434.84848,48340.90909,45619.69697,43580.30303,
39901.51515,32277.77778,26718.05556,26169.44444,24929.16667,22786.11111,21797.22222,21504.16667,18247.22222,18218.33333,15806.66667,
15266.66667,14820,14595,14255,13306.66667,12723.33333,11580,11520,10865,10748.33333,3010,2508.333333,2319.444444,2265.277778,
2118.055556,597.2222222,593.0555556,646.969697,645.4545455,643.9393939,643.9393939,642.4242424,636.3636364,627.2727273,625.7575758,
625.7575758,624.2424242,622.7272727,622.7272727,615.1515152,613.6363636,663.3333333,663.3333333,661.6666667,658.3333333,653.3333333,
650,646.6666667,538.8888889,536.1111111,534.7222222,534.7222222,533.3333333,523.6111111,522.2222222,520.8333333,568.1818182,563.6363636,
554.5454545,543.9393939,542.4242424,539.3939394,536.3636364,533.3333333,576.6666667,546.6666667,508.3333333,498.3333333,455,423.3333333,
420,350,348.6111111,345.8333333,343.0555556,341.6666667,323.6111111,311.1111111,309.7222222,358.3333333,351.6666667,335,333.3333333,
328.3333333,320,318.3333333,315,289.3939394,286.3636364,286.3636364,278.7878788,271.2121212,269.6969697,265.1515152,271.6666667,271.6666667,270,
268.333333,263.3333333,260,258.3333333,215.2777778,213.8888889,212.5,209.7222222,205.5555556,204.1666667,202.7777778,240,240,240,
235,235,233.3333333,231.6666667,230,230,228.3333333,226.6666667,225,221.6666667,218.3333333,201.5151515,198.4848485,196.969697,193.9393939,192.4242424,
187.8787879,187.8787879,186.3636364,186.3636364,183.3333333,181.8181818,180.3030303,180.3030303,172.7272727,169.6969697,165.1515152,163.6363636,
163.6363636,140.2777778,127.7777778,126.3888889,123.6111111,123.6111111,123.6111111,120.8333333,120.8333333,119.4444444,119.4444444,119.4444444,
118.0555556,118.0555556,116.6666667,113.8888889,113.8888889,135,135,133.3333333,131.6666667,128.3333333,128.3333333,128.3333333,128.3333333,
125,125,125,123.3333333,121.6666667,121.6666667,121.6666667,121.6666667,101.3888889,101.3888889,100,100,100,98.61111111,98.61111111,98.61111111,
98.61111111,97.22222222,97.22222222,97.22222222,97.22222222,106.0606061,104.5454545,104.5454545,104.5454545,104.5454545,104.5454545,103.030303,103.030303,103.030303,
101.5151515,101.5151515,101.5151515,101.5151515,100,100,100,100,100,100,100,98.48484848,98.48484848,98.48484848,98.48484848,106.6666667,106.6666667,105,105,
105,105,105,103.3333333,103.3333333,103.3333333,100,100,100,98.33333333,98.33333333,96.66666667,96.66666667,96.66666667,95,93.33333333,
93.33333333,93.33333333,90,90,81.81818182,81.81818182,81.81818182,81.81818182,81.81818182,80.3030303,80.3030303,78.78787879,78.78787879,
78.78787879,78.78787879,78.78787879,78.78787879,77.27272727,77.27272727,77.27272727,75.75757576,75.75757576,75.75757576,74.24242424,74.24242424,74.24242424,
74.24242424,74.24242424,66.66666667,66.66666667,65.27777778,65.27777778,65.27777778,63.88888889,63.88888889,62.5,62.5,61.11111111,61.11111111,61.11111111,61.11111111,
58.33333333,58.33333333,58.33333333,58.33333333,58.33333333,56.94444444,56.94444444,66.66666667,66.66666667,66.66666667,65,65,
63.33333333,63.33333333,61.66666667,61.66666667,61.66666667,60,60,60,60,60,60,60,60,60,60,60,58.33333333,58.33333333,53.03030303,
53.03030303,53.03030303,53.03030303,51.51515152,51.51515152,51.51515152,50,50,50,50,50,50,48.48484848,48.48484848,48.48484848,48.48484848,
48.48484848,48.48484848,48.48484848,48.48484848,48.48484848,46.96969697,46.96969697,46.96969697,43.05555556,43.05555556,43.05555556,43.05555556,43.05555556,
43.05555556,43.05555556,43.05555556,41.66666667,41.66666667,41.66666667,41.66666667,41.66666667,41.66666667,41.66666667,50,50,50,48.33333333,48.33333333,48.33333333,
48.33333333,48.33333333,48.33333333,46.66666667,46.66666667,46.66666667,46.66666667,46.66666667,46.66666667,46.66666667,46.66666667,38.88888889,38.88888889,
38.88888889,38.88888889,38.88888889,38.88888889,38.88888889;
enddata
min=@sum(items:vx);
@sum(items:vx)>=1353600;
@for(items:@gin(x));
@for(items:@bnd(0,x,24));
@for(items:x*v<144000);
end