## ams_version=1.0 Model Main_bayes2_10 { Variable x1 { Range: nonnegative; } Variable x2 { Range: nonnegative; } Variable x3 { Range: nonnegative; } Variable x4 { Range: nonnegative; } Variable x5 { Range: nonnegative; } Variable x6 { Range: nonnegative; } Variable x7 { Range: nonnegative; } Variable x8 { Range: nonnegative; } Variable x9 { Range: nonnegative; } Variable x10 { Range: nonnegative; } Variable x11 { Range: nonnegative; } Variable x12 { Range: nonnegative; } Variable x13 { Range: nonnegative; } Variable x14 { Range: nonnegative; } Variable x15 { Range: nonnegative; } Variable x16 { Range: nonnegative; } Variable x17 { Range: nonnegative; } Variable x18 { Range: nonnegative; } Variable x19 { Range: nonnegative; } Variable x20 { Range: nonnegative; } Variable x21 { Range: nonnegative; } Variable x22 { Range: nonnegative; } Variable x23 { Range: nonnegative; } Variable x24 { Range: nonnegative; } Variable x25 { Range: nonnegative; } Variable x26 { Range: nonnegative; } Variable x27 { Range: nonnegative; } Variable x28 { Range: nonnegative; } Variable x29 { Range: nonnegative; } Variable x30 { Range: nonnegative; } Variable x31 { Range: nonnegative; } Variable x32 { Range: nonnegative; } Variable x33 { Range: nonnegative; } Variable x34 { Range: nonnegative; } Variable x35 { Range: nonnegative; } Variable x36 { Range: nonnegative; } Variable x37 { Range: nonnegative; } Variable x38 { Range: nonnegative; } Variable x39 { Range: nonnegative; } Variable x40 { Range: nonnegative; } Variable x41 { Range: nonnegative; } Variable x42 { Range: nonnegative; } Variable x43 { Range: nonnegative; } Variable x44 { Range: nonnegative; } Variable x45 { Range: nonnegative; } Variable x46 { Range: nonnegative; } Variable x47 { Range: nonnegative; } Variable x48 { Range: nonnegative; } Variable x49 { Range: nonnegative; } Variable x50 { Range: nonnegative; } Variable x51 { Range: nonnegative; } Variable x52 { Range: nonnegative; } Variable x53 { Range: nonnegative; } Variable x54 { Range: nonnegative; } Variable x55 { Range: nonnegative; } Variable x56 { Range: nonnegative; } Variable x57 { Range: nonnegative; } Variable x58 { Range: nonnegative; } Variable x59 { Range: nonnegative; } Variable x60 { Range: nonnegative; } Variable x61 { Range: nonnegative; } Variable x62 { Range: nonnegative; } Variable x63 { Range: nonnegative; } Variable x64 { Range: nonnegative; } Variable x65 { Range: nonnegative; } Variable x66 { Range: nonnegative; } Variable x67 { Range: nonnegative; } Variable x68 { Range: nonnegative; } Variable x69 { Range: nonnegative; } Variable x70 { Range: nonnegative; } Variable x71 { Range: nonnegative; } Variable x72 { Range: nonnegative; } Variable x73 { Range: nonnegative; } Variable x74 { Range: nonnegative; } Variable x75 { Range: nonnegative; } Variable x76 { Range: nonnegative; } Variable x77 { Range: nonnegative; } Variable x78 { Range: nonnegative; } Variable x79 { Range: nonnegative; } Variable x80 { Range: nonnegative; } Variable x81 { Range: nonnegative; } Variable x82 { Range: nonnegative; } Variable x83 { Range: nonnegative; } Variable x84 { Range: nonnegative; } Variable x85 { Range: nonnegative; } Variable x86 { Range: nonnegative; } Variable objvar; Constraint e1 { Definition: { 0.0997999999999999*x2 - x12*(0.0997999999999999*x2 + 0.179697889788979*x3 + 0.242667639426474*x4 + 0.291288553877934*x5 + 0.32779432977535*x6 + 0.354116263650056*x7 + 0.371921288913631*x8 + 0.382645442102839*x9 + 0.387523290700504*x10 + 0.387613794254864*x11) = 0 } } Constraint e2 { Definition: { 0.179697889788979*x3 - x13*(0.0997999999999999*x2 + 0.179697889788979*x3 + 0.242667639426474*x4 + 0.291288553877934*x5 + 0.32779432977535*x6 + 0.354116263650056*x7 + 0.371921288913631*x8 + 0.382645442102839*x9 + 0.387523290700504*x10 + 0.387613794254864*x11) = 0 } } Constraint e3 { Definition: { 0.00995105510551053*x3 - x14*(0.00995105510551053*x3 + 0.0268791952569931* x4 + 0.0484024480360498*x5 + 0.0726327251441325*x6 + 0.098092330200907*x7 + 0.123643056034308*x8 + 0.148426108294561*x9 + 0.171811326660768*x10 + 0.193354379355624*x11) = 0 } } Constraint e4 { Definition: { 0.242667639426474*x4 - x15*(0.0997999999999999*x2 + 0.179697889788979*x3 + 0.242667639426474*x4 + 0.291288553877934*x5 + 0.32779432977535*x6 + 0.354116263650056*x7 + 0.371921288913631*x8 + 0.382645442102839*x9 + 0.387523290700504*x10 + 0.387613794254864*x11) = 0 } } Constraint e5 { Definition: { 0.0268791952569931*x4 - x16*(0.00995105510551053*x3 + 0.0268791952569931* x4 + 0.0484024480360498*x5 + 0.0726327251441325*x6 + 0.098092330200907*x7 + 0.123643056034308*x8 + 0.148426108294561*x9 + 0.171811326660768*x10 + 0.193354379355624*x11) = 0 } } Constraint e6 { Definition: { 0.000991323353179483*x4 - x17*(0.000991323353179483*x4 + 0.00357062831862428*x5 + 0.00803802158261731*x6 + 0.0144756766870547*x7 + 0.0228103437449379*x8 + 0.0328625995023637*x9 + 0.0443852293418879*x10 + 0.0570927439209041*x11) = 0 } } Constraint e7 { Definition: { 0.291288553877934*x5 - x18*(0.0997999999999999*x2 + 0.179697889788979*x3 + 0.242667639426474*x4 + 0.291288553877934*x5 + 0.32779432977535*x6 + 0.354116263650056*x7 + 0.371921288913631*x8 + 0.382645442102839*x9 + 0.387523290700504*x10 + 0.387613794254864*x11) = 0 } } Constraint e8 { Definition: { 0.0484024480360498*x5 - x19*(0.00995105510551053*x3 + 0.0268791952569931* x4 + 0.0484024480360498*x5 + 0.0726327251441325*x6 + 0.098092330200907*x7 + 0.123643056034308*x8 + 0.148426108294561*x9 + 0.171811326660768*x10 + 0.193354379355624*x11) = 0 } } Constraint e9 { Definition: { 0.00357062831862428*x5 - x20*(0.000991323353179483*x4 + 0.00357062831862428*x5 + 0.00803802158261731*x6 + 0.0144756766870547*x7 + 0.0228103437449379*x8 + 0.0328625995023637*x9 + 0.0443852293418879*x10 + 0.0570927439209041*x11) = 0 } } Constraint e10 { Definition: { 9.86662735234163e-5*x5 - x21*(9.86662735234163e-5*x5 + 0.000444274606971685*x6 + 0.00120027485863495*x7 + 0.00252209045740786*x8 + 0.00454243811192095*x9 + 0.00736300486748561*x10 + 0.0110507714931385* x11) = 0 } } Constraint e11 { Definition: { 0.32779432977535*x6 - x22*(0.0997999999999999*x2 + 0.179697889788979*x3 + 0.242667639426474*x4 + 0.291288553877934*x5 + 0.32779432977535*x6 + 0.354116263650056*x7 + 0.371921288913631*x8 + 0.382645442102839*x9 + 0.387523290700504*x10 + 0.387613794254864*x11) = 0 } } Constraint e12 { Definition: { 0.0726327251441325*x6 - x23*(0.00995105510551053*x3 + 0.0268791952569931* x4 + 0.0484024480360498*x5 + 0.0726327251441325*x6 + 0.098092330200907*x7 + 0.123643056034308*x8 + 0.148426108294561*x9 + 0.171811326660768*x10 + 0.193354379355624*x11) = 0 } } Constraint e13 { Definition: { 0.00803802158261731*x6 - x24*(0.000991323353179483*x4 + 0.00357062831862428*x5 + 0.00803802158261731*x6 + 0.0144756766870547*x7 + 0.0228103437449379*x8 + 0.0328625995023637*x9 + 0.0443852293418879*x10 + 0.0570927439209041*x11) = 0 } } Constraint e14 { Definition: { 0.000444274606971685*x6 - x25*(9.86662735234163e-5*x5 + 0.000444274606971685*x6 + 0.00120027485863495*x7 + 0.00252209045740786*x8 + 0.00454243811192095*x9 + 0.00736300486748561*x10 + 0.0110507714931385* x11) = 0 } } Constraint e15 { Definition: { 9.81135212907916e-6*x6 - x26*(9.81135212907916e-6*x6 + 5.30195849120382e-5*x7 + 0.000167130527644226*x8 + 0.000401394242315761* x9 + 0.000813383733972072*x10 + 0.00146508394320501*x11) = 0 } } Constraint e16 { Definition: { 0.354116263650056*x7 - x27*(0.0997999999999999*x2 + 0.179697889788979*x3 + 0.242667639426474*x4 + 0.291288553877934*x5 + 0.32779432977535*x6 + 0.354116263650056*x7 + 0.371921288913631*x8 + 0.382645442102839*x9 + 0.387523290700504*x10 + 0.387613794254864*x11) = 0 } } Constraint e17 { Definition: { 0.098092330200907*x7 - x28*(0.00995105510551053*x3 + 0.0268791952569931* x4 + 0.0484024480360498*x5 + 0.0726327251441325*x6 + 0.098092330200907*x7 + 0.123643056034308*x8 + 0.148426108294561*x9 + 0.171811326660768*x10 + 0.193354379355624*x11) = 0 } } Constraint e18 { Definition: { 0.0144756766870547*x7 - x29*(0.000991323353179483*x4 + 0.00357062831862428*x5 + 0.00803802158261731*x6 + 0.0144756766870547*x7 + 0.0228103437449379*x8 + 0.0328625995023637*x9 + 0.0443852293418879*x10 + 0.0570927439209041*x11) = 0 } } Constraint e19 { Definition: { 0.00120027485863495*x7 - x30*(9.86662735234163e-5*x5 + 0.000444274606971685*x6 + 0.00120027485863495*x7 + 0.00252209045740786*x8 + 0.00454243811192095*x9 + 0.00736300486748561*x10 + 0.0110507714931385* x11) = 0 } } Constraint e20 { Definition: { 5.30195849120382e-5*x7 - x31*(9.81135212907916e-6*x6 + 5.30195849120382e-5*x7 + 0.000167130527644226*x8 + 0.000401394242315761* x9 + 0.000813383733972072*x10 + 0.00146508394320501*x11) = 0 } } Constraint e21 { Definition: { 9.74754643739431e-7*x7 - x32*(9.74754643739431e-7*x7 + 6.14600651596926e-6*x8 + 2.21435823677529e-5*x9 + 5.9835540825593e-5*x10 + 0.000134736270615932*x11) = 0 } } Constraint e22 { Definition: { 0.371921288913631*x8 - x33*(0.0997999999999999*x2 + 0.179697889788979*x3 + 0.242667639426474*x4 + 0.291288553877934*x5 + 0.32779432977535*x6 + 0.354116263650056*x7 + 0.371921288913631*x8 + 0.382645442102839*x9 + 0.387523290700504*x10 + 0.387613794254864*x11) = 0 } } Constraint e23 { Definition: { 0.123643056034308*x8 - x34*(0.00995105510551053*x3 + 0.0268791952569931* x4 + 0.0484024480360498*x5 + 0.0726327251441325*x6 + 0.098092330200907*x7 + 0.123643056034308*x8 + 0.148426108294561*x9 + 0.171811326660768*x10 + 0.193354379355624*x11) = 0 } } Constraint e24 { Definition: { 0.0228103437449379*x8 - x35*(0.000991323353179483*x4 + 0.00357062831862428*x5 + 0.00803802158261731*x6 + 0.0144756766870547*x7 + 0.0228103437449379*x8 + 0.0328625995023637*x9 + 0.0443852293418879*x10 + 0.0570927439209041*x11) = 0 } } Constraint e25 { Definition: { 0.00252209045740786*x8 - x36*(9.86662735234163e-5*x5 + 0.000444274606971685*x6 + 0.00120027485863495*x7 + 0.00252209045740786*x8 + 0.00454243811192095*x9 + 0.00736300486748561*x10 + 0.0110507714931385* x11) = 0 } } Constraint e26 { Definition: { 0.000167130527644226*x8 - x37*(9.81135212907916e-6*x6 + 5.30195849120382e-5*x7 + 0.000167130527644226*x8 + 0.000401394242315761* x9 + 0.000813383733972072*x10 + 0.00146508394320501*x11) = 0 } } Constraint e27 { Definition: { 6.14600651596926e-6*x8 - x38*(9.74754643739431e-7*x7 + 6.14600651596926e-6*x8 + 2.21435823677529e-5*x9 + 5.9835540825593e-5*x10 + 0.000134736270615932*x11) = 0 } } Constraint e28 { Definition: { 9.67537128866831e-8*x8 - x39*(9.67537128866831e-8*x8 + 6.97269627463954e-7*x9 + 2.82651697614227e-6*x10 + 8.48718939888591e-6* x11) = 0 } } Constraint e29 { Definition: { 0.382645442102839*x9 - x40*(0.0997999999999999*x2 + 0.179697889788979*x3 + 0.242667639426474*x4 + 0.291288553877934*x5 + 0.32779432977535*x6 + 0.354116263650056*x7 + 0.371921288913631*x8 + 0.382645442102839*x9 + 0.387523290700504*x10 + 0.387613794254864*x11) = 0 } } Constraint e30 { Definition: { 0.148426108294561*x9 - x41*(0.00995105510551053*x3 + 0.0268791952569931* x4 + 0.0484024480360498*x5 + 0.0726327251441325*x6 + 0.098092330200907*x7 + 0.123643056034308*x8 + 0.148426108294561*x9 + 0.171811326660768*x10 + 0.193354379355624*x11) = 0 } } Constraint e31 { Definition: { 0.0328625995023637*x9 - x42*(0.000991323353179483*x4 + 0.00357062831862428*x5 + 0.00803802158261731*x6 + 0.0144756766870547*x7 + 0.0228103437449379*x8 + 0.0328625995023637*x9 + 0.0443852293418879*x10 + 0.0570927439209041*x11) = 0 } } Constraint e32 { Definition: { 0.00454243811192095*x9 - x43*(9.86662735234163e-5*x5 + 0.000444274606971685*x6 + 0.00120027485863495*x7 + 0.00252209045740786*x8 + 0.00454243811192095*x9 + 0.00736300486748561*x10 + 0.0110507714931385* x11) = 0 } } Constraint e33 { Definition: { 0.000401394242315761*x9 - x44*(9.81135212907916e-6*x6 + 5.30195849120382e-5*x7 + 0.000167130527644226*x8 + 0.000401394242315761* x9 + 0.000813383733972072*x10 + 0.00146508394320501*x11) = 0 } } Constraint e34 { Definition: { 2.21435823677529e-5*x9 - x45*(9.74754643739431e-7*x7 + 6.14600651596926e-6*x8 + 2.21435823677529e-5*x9 + 5.9835540825593e-5*x10 + 0.000134736270615932*x11) = 0 } } Constraint e35 { Definition: { 6.97269627463954e-7*x9 - x46*(9.67537128866831e-8*x8 + 6.97269627463954e-7*x9 + 2.82651697614227e-6*x10 + 8.48718939888591e-6* x11) = 0 } } Constraint e36 { Definition: { 9.59500945368779e-9*x9 - x47*(9.59500945368779e-9*x9 + 7.77990868613764e-8*x10 + 3.50450195595659e-7*x11) = 0 } } Constraint e37 { Definition: { 0.387523290700504*x10 - x48*(0.0997999999999999*x2 + 0.179697889788979*x3 + 0.242667639426474*x4 + 0.291288553877934*x5 + 0.32779432977535*x6 + 0.354116263650056*x7 + 0.371921288913631*x8 + 0.382645442102839*x9 + 0.387523290700504*x10 + 0.387613794254864*x11) = 0 } } Constraint e38 { Definition: { 0.171811326660768*x10 - x49*(0.00995105510551053*x3 + 0.0268791952569931* x4 + 0.0484024480360498*x5 + 0.0726327251441325*x6 + 0.098092330200907*x7 + 0.123643056034308*x8 + 0.148426108294561*x9 + 0.171811326660768*x10 + 0.193354379355624*x11) = 0 } } Constraint e39 { Definition: { 0.0443852293418879*x10 - x50*(0.000991323353179483*x4 + 0.00357062831862428*x5 + 0.00803802158261731*x6 + 0.0144756766870547*x7 + 0.0228103437449379*x8 + 0.0328625995023637*x9 + 0.0443852293418879*x10 + 0.0570927439209041*x11) = 0 } } Constraint e40 { Definition: { 0.00736300486748561*x10 - x51*(9.86662735234163e-5*x5 + 0.000444274606971685*x6 + 0.00120027485863495*x7 + 0.00252209045740786*x8 + 0.00454243811192095*x9 + 0.00736300486748561*x10 + 0.0110507714931385* x11) = 0 } } Constraint e41 { Definition: { 0.000813383733972072*x10 - x52*(9.81135212907916e-6*x6 + 5.30195849120382e-5*x7 + 0.000167130527644226*x8 + 0.000401394242315761* x9 + 0.000813383733972072*x10 + 0.00146508394320501*x11) = 0 } } Constraint e42 { Definition: { 5.9835540825593e-5*x10 - x53*(9.74754643739431e-7*x7 + 6.14600651596926e-6*x8 + 2.21435823677529e-5*x9 + 5.9835540825593e-5*x10 + 0.000134736270615932*x11) = 0 } } Constraint e43 { Definition: { 2.82651697614227e-6*x10 - x54*(9.67537128866831e-8*x8 + 6.97269627463954e-7*x9 + 2.82651697614227e-6*x10 + 8.48718939888591e-6* x11) = 0 } } Constraint e44 { Definition: { 7.77990868613764e-8*x10 - x55*(9.59500945368779e-9*x9 + 7.77990868613764e-8*x10 + 3.50450195595659e-7*x11) = 0 } } Constraint e45 { Definition: { 9.5066646909036e-10*x10 - x56*(9.5066646909036e-10*x10 + 8.56560860249376e-9*x11) = 0 } } Constraint e46 { Definition: { 0.387613794254864*x11 - x57*(0.0997999999999999*x2 + 0.179697889788979*x3 + 0.242667639426474*x4 + 0.291288553877934*x5 + 0.32779432977535*x6 + 0.354116263650056*x7 + 0.371921288913631*x8 + 0.382645442102839*x9 + 0.387523290700504*x10 + 0.387613794254864*x11) = 0 } } Constraint e47 { Definition: { 0.193354379355624*x11 - x58*(0.00995105510551053*x3 + 0.0268791952569931* x4 + 0.0484024480360498*x5 + 0.0726327251441325*x6 + 0.098092330200907*x7 + 0.123643056034308*x8 + 0.148426108294561*x9 + 0.171811326660768*x10 + 0.193354379355624*x11) = 0 } } Constraint e48 { Definition: { 0.0570927439209041*x11 - x59*(0.000991323353179483*x4 + 0.00357062831862428*x5 + 0.00803802158261731*x6 + 0.0144756766870547*x7 + 0.0228103437449379*x8 + 0.0328625995023637*x9 + 0.0443852293418879*x10 + 0.0570927439209041*x11) = 0 } } Constraint e49 { Definition: { 0.0110507714931385*x11 - x60*(9.86662735234163e-5*x5 + 0.000444274606971685*x6 + 0.00120027485863495*x7 + 0.00252209045740786*x8 + 0.00454243811192095*x9 + 0.00736300486748561*x10 + 0.0110507714931385* x11) = 0 } } Constraint e50 { Definition: { 0.00146508394320501*x11 - x61*(9.81135212907916e-6*x6 + 5.30195849120382e-5*x7 + 0.000167130527644226*x8 + 0.000401394242315761* x9 + 0.000813383733972072*x10 + 0.00146508394320501*x11) = 0 } } Constraint e51 { Definition: { 0.000134736270615932*x11 - x62*(9.74754643739431e-7*x7 + 6.14600651596926e-6*x8 + 2.21435823677529e-5*x9 + 5.9835540825593e-5*x10 + 0.000134736270615932*x11) = 0 } } Constraint e52 { Definition: { 8.48718939888591e-6*x11 - x63*(9.67537128866831e-8*x8 + 6.97269627463954e-7*x9 + 2.82651697614227e-6*x10 + 8.48718939888591e-6* x11) = 0 } } Constraint e53 { Definition: { 3.50450195595659e-7*x11 - x64*(9.59500945368779e-9*x9 + 7.77990868613764e-8*x10 + 3.50450195595659e-7*x11) = 0 } } Constraint e54 { Definition: { 8.56560860249376e-9*x11 - x65*(9.5066646909036e-10*x10 + 8.56560860249376e-9*x11) = 0 } } Constraint e55 { Definition: 9.41056088409932e-11*x11 - 9.41056088409932e-11*x66*x11 = 0; } Constraint e56 { Definition: 0.0998000000000008*x2 - 449*x12 - x67 + x77 = 0; } Constraint e57 { Definition: 0.189648944894492*x3 - 449*x13 - 174*x14 - x68 + x78 = 0; } Constraint e58 { Definition: 0.27053815803665*x4 - 449*x15 - 174*x16 - 52*x17 - x69 + x79 = 0; } Constraint e59 { Definition: { 0.343360296506133*x5 - 449*x18 - 174*x19 - 52*x20 - 10*x21 - x70 + x80 = 0 } } Constraint e60 { Definition: { 0.408919162461202*x6 - 449*x22 - 174*x23 - 52*x24 - 10*x25 - x26 - x71 + x81 = 0 } } Constraint e61 { Definition: { 0.467938539736214*x7 - 449*x27 - 174*x28 - 52*x29 - 10*x30 - x31 - x72 + x82 = 0 } } Constraint e62 { Definition: { 0.52107015243816*x8 - 449*x33 - 174*x34 - 52*x35 - 10*x36 - x37 - x73 + x83 = 0 } } Constraint e63 { Definition: { 0.568900832701015*x9 - 449*x40 - 174*x41 - 52*x42 - 10*x43 - x44 - x74 + x84 = 0 } } Constraint e64 { Definition: { 0.611958976112189*x10 - 449*x48 - 174*x49 - 52*x50 - 10*x51 - x52 - x75 + x85 = 0 } } Constraint e65 { Definition: { 0.650720355537673*x11 - 449*x57 - 174*x58 - 52*x59 - 10*x60 - x61 - x76 + x86 = 0 } } Constraint e66 { Definition: { x2 + 2*x3 + 3*x4 + 4*x5 + 5*x6 + 6*x7 + 7*x8 + 8*x9 + 9*x10 + 10*x11 = 10000 } } Constraint e67 { Definition: x2 + x3 + x4 + x5 + x6 + x7 + x8 + x9 + x10 + x11 >= 449; } Constraint e68 { Definition: x3 + x4 + x5 + x6 + x7 + x8 + x9 + x10 + x11 >= 174; } Constraint e69 { Definition: x4 + x5 + x6 + x7 + x8 + x9 + x10 + x11 >= 52; } Constraint e70 { Definition: x5 + x6 + x7 + x8 + x9 + x10 + x11 >= 10; } Constraint e71 { Definition: x6 + x7 + x8 + x9 + x10 + x11 >= 1; } Constraint e72 { Definition: x7 + x8 + x9 + x10 + x11 >= 0; } Constraint e73 { Definition: x8 + x9 + x10 + x11 >= 0; } Constraint e74 { Definition: x9 + x10 + x11 >= 0; } Constraint e75 { Definition: x10 + x11 >= 0; } Constraint e76 { Definition: x11 >= 0; } Constraint e77 { Definition: - x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x9 + x10 + x11 = 0; } Constraint e78 { Definition: { - x67 - x68 - x69 - x70 - x71 - x72 - x73 - x74 - x75 - x76 - x77 - x78 - x79 - x80 - x81 - x82 - x83 - x84 - x85 - x86 + objvar = 0 } } Procedure MainInitialization { Body: { x2.upper := 10000; x3.upper := 10000; x4.upper := 10000; x5.upper := 10000; x6.upper := 10000; x7.upper := 10000; x8.upper := 10000; x9.upper := 10000; x10.upper := 10000; x11.upper := 10000; x12.upper := 1; x13.upper := 1; x14.upper := 1; x15.upper := 1; x16.upper := 1; x17.upper := 1; x18.upper := 1; x19.upper := 1; x20.upper := 1; x21.upper := 1; x22.upper := 1; x23.upper := 1; x24.upper := 1; x25.upper := 1; x26.upper := 1; x27.upper := 1; x28.upper := 1; x29.upper := 1; x30.upper := 1; x31.upper := 1; x32.upper := 1; x33.upper := 1; x34.upper := 1; x35.upper := 1; x36.upper := 1; x37.upper := 1; x38.upper := 1; x39.upper := 1; x40.upper := 1; x41.upper := 1; x42.upper := 1; x43.upper := 1; x44.upper := 1; x45.upper := 1; x46.upper := 1; x47.upper := 1; x48.upper := 1; x49.upper := 1; x50.upper := 1; x51.upper := 1; x52.upper := 1; x53.upper := 1; x54.upper := 1; x55.upper := 1; x56.upper := 1; x57.upper := 1; x58.upper := 1; x59.upper := 1; x60.upper := 1; x61.upper := 1; x62.upper := 1; x63.upper := 1; x64.upper := 1; x65.upper := 1; x66.upper := 1; x67.upper := 1000; x68.upper := 1000; x69.upper := 1000; x70.upper := 1000; x71.upper := 1000; x72.upper := 1000; x73.upper := 1000; x74.upper := 1000; x75.upper := 1000; x76.upper := 1000; x77.upper := 1000; x78.upper := 1000; x79.upper := 1000; x80.upper := 1000; x81.upper := 1000; x82.upper := 1000; x83.upper := 1000; x84.upper := 1000; x85.upper := 1000; x86.upper := 1000; x2.l := 1; x3.l := 1; x4.l := 1; x5.l := 1; x6.l := 1; x7.l := 1; x8.l := 1; x9.l := 1; x10.l := 1; x11.l := 1; x12.l := 0.01; x13.l := 0.01; x14.l := 0.01; x15.l := 0.01; x16.l := 0.01; x17.l := 0.01; x18.l := 0.01; x19.l := 0.01; x20.l := 0.01; x21.l := 0.01; x22.l := 0.01; x23.l := 0.01; x24.l := 0.01; x25.l := 0.01; x26.l := 0.01; x27.l := 0.01; x28.l := 0.01; x29.l := 0.01; x30.l := 0.01; x31.l := 0.01; x32.l := 0.01; x33.l := 0.01; x34.l := 0.01; x35.l := 0.01; x36.l := 0.01; x37.l := 0.01; x38.l := 0.01; x39.l := 0.01; x40.l := 0.01; x41.l := 0.01; x42.l := 0.01; x43.l := 0.01; x44.l := 0.01; x45.l := 0.01; x46.l := 0.01; x47.l := 0.01; x48.l := 0.01; x49.l := 0.01; x50.l := 0.01; x51.l := 0.01; x52.l := 0.01; x53.l := 0.01; x54.l := 0.01; x55.l := 0.01; x56.l := 0.01; x57.l := 0.01; x58.l := 0.01; x59.l := 0.01; x60.l := 0.01; x61.l := 0.01; x62.l := 0.01; x63.l := 0.01; x64.l := 0.01; x65.l := 0.01; x66.l := 0.01; } } MathematicalProgram bayes2_10 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: NLP; } Procedure MainExecution { Body: { solve bayes2_10; } } Procedure MainTermination { Body: { return 1; } } }