# Dembo4c
# written in AMPL by Yu-Ju Kuo and Hans D. Mittelmann, 6/2001
param N:=9;
param NH:=0;
param NG:=23;
param GAM1{1..3};
param AL1{1..2,1..3};
param GAM5{1..3};
param AL5{1..4,1..3};
param K1{1..2,1..3};
param K2{1..2,1..3};
param K5{1..4,1..3};
var X{1..9};
var EXPO3{i in 1..3,j in 1..2}=exp(AL1[j,i]*log(abs(X[K1[j,i]])));
var EXPO4{i in 1..3,j in 1..2}=exp(AL1[j,i]*log(abs(X[K2[j,i]])));
var EXPO5{i in 1..3,j in 1..4}=exp(AL5[j,i]*log(abs(X[K5[j,i]])));

minimize obj : X[9];
s.t. gx1 : 1.e0-.0588e0*X[5]*X[7]-.1e0* X[1] >=0;
s.t. gx2 : 1.e0-.0588e0*X[6]*X[8]-.1e0*(X[1]+X[2]) >=0;
s.t. gx3 : 1+ sum{i in 1..3}GAM1[i]*EXPO3[i,1]*EXPO3[i,2] >=0;
s.t. gx4 : 1+ sum{i in 1..3}GAM1[i]*EXPO4[i,1]*EXPO4[i,2] >=0;
s.t. gx5 : 1+ sum{i in 1..3}GAM5[i]*EXPO5[i,1]*EXPO5[i,2]*EXPO5[i,3]*EXPO5[i,4] >=0;
s.t. gx6{i in 6..14}: X[i-5]-.1>=0;
s.t. gx7{i in 15..NG}: 10-X[i-14]>=0;

data;
var X:=
1 6.e0 
2 3.e0 
3 .4e0 
4 .2e0 
5 6.e0 
6 6 
7 1.e0 
8 .5e0 
9 4.2e0;
param GAM1:= 1 -4.e0 2 -2.e0 3 -.0588e0;
param AL1(tr):=
: 1     2:=
1 1.e0 -1.e0 
2 -.71e0 -1.e0 
3 -1.3e0  1.e0;
param K1 (tr) :=
: 1 2:=
1 3 5 
2 3 5 
3 3 7;
param K2 (tr):=
: 1 2:=
1 4 6 
2 4 6 
3 4 8;
param K5 (tr):=
: 1 2 3 4:=
1 1 2 7 9 
2 1 2 8 9 
3 1 2 0 9;
param AL5 (tr):=
: 1       2          3       4 :=
1 .168e0 -.185e0 -.67e0 -.313e0 
2 -.502e0 .485e0 -.67e0  -.313e0 
3 -.502e0 -.185e0 0.e0 -.313e0;
param GAM5:= 1 -.144e0 2 -.144e0 3 -3.6e0;