## ams_version=1.0 Model Main_bayes2_30 { 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.299999999999999*x2 - x12*(0.299999999999999*x2 + 0.420042004200419*x3 + 0.441069311972204*x4 + 0.411670573863023*x5 + 0.360201456247447*x6 + 0.30254760034903*x7 + 0.247052285556172*x8 + 0.197610748687493*x9 + 0.15558731597959*x10 + 0.120982941684104*x11) = 0 } } Constraint e2 { Definition: { 0.420042004200419*x3 - x13*(0.299999999999999*x2 + 0.420042004200419*x3 + 0.441069311972204*x4 + 0.411670573863023*x5 + 0.360201456247447*x6 + 0.30254760034903*x7 + 0.247052285556172*x8 + 0.197610748687493*x9 + 0.15558731597959*x10 + 0.120982941684104*x11) = 0 } } Constraint e3 { Definition: { 0.0899789978997899*x3 - x14*(0.0899789978997899*x3 + 0.188993694328424*x4 + 0.264632763149874*x5 + 0.308773522162667*x6 + 0.324235367869763*x7 + 0.317759744553093*x8 + 0.296571521818452*x9 + 0.266899105175344*x10 + 0.233513342319487*x11) = 0 } } Constraint e4 { Definition: { 0.441069311972204*x4 - x15*(0.299999999999999*x2 + 0.420042004200419*x3 + 0.441069311972204*x4 + 0.411670573863023*x5 + 0.360201456247447*x6 + 0.30254760034903*x7 + 0.247052285556172*x8 + 0.197610748687493*x9 + 0.15558731597959*x10 + 0.120982941684104*x11) = 0 } } Constraint e5 { Definition: { 0.188993694328424*x4 - x16*(0.0899789978997899*x3 + 0.188993694328424*x4 + 0.264632763149874*x5 + 0.308773522162667*x6 + 0.324235367869763*x7 + 0.317759744553093*x8 + 0.296571521818452*x9 + 0.266899105175344*x10 + 0.233513342319487*x11) = 0 } } Constraint e6 { Definition: { 0.026981099790315*x4 - x17*(0.026981099790315*x4 + 0.0755697503379837*x5 + 0.132281083087121*x6 + 0.185233220498984*x7 + 0.22694961744096*x8 + 0.25421627517133*x9 + 0.266949986712887*x10 + 0.266961437732522*x11) = 0 } } Constraint e7 { Definition: { 0.411670573863023*x5 - x18*(0.299999999999999*x2 + 0.420042004200419*x3 + 0.441069311972204*x4 + 0.411670573863023*x5 + 0.360201456247447*x6 + 0.30254760034903*x7 + 0.247052285556172*x8 + 0.197610748687493*x9 + 0.15558731597959*x10 + 0.120982941684104*x11) = 0 } } Constraint e8 { Definition: { 0.264632763149874*x5 - x19*(0.0899789978997899*x3 + 0.188993694328424*x4 + 0.264632763149874*x5 + 0.308773522162667*x6 + 0.324235367869763*x7 + 0.317759744553093*x8 + 0.296571521818452*x9 + 0.266899105175344*x10 + 0.233513342319487*x11) = 0 } } Constraint e9 { Definition: { 0.0755697503379837*x5 - x20*(0.026981099790315*x4 + 0.0755697503379837*x5 + 0.132281083087121*x6 + 0.185233220498984*x7 + 0.22694961744096*x8 + 0.25421627517133*x9 + 0.266949986712887*x10 + 0.266961437732522*x11) = 0 } } Constraint e10 { Definition: { 0.00808866220581916*x5 - x21*(0.00808866220581916*x5 + 0.0283216463789187 *x6 + 0.0594967092564436*x7 + 0.0972085184322643*x8 + 0.136128890917752* x9 + 0.171561639066158*x10 + 0.200192450750305*x11) = 0 } } Constraint e11 { Definition: { 0.360201456247447*x6 - x22*(0.299999999999999*x2 + 0.420042004200419*x3 + 0.441069311972204*x4 + 0.411670573863023*x5 + 0.360201456247447*x6 + 0.30254760034903*x7 + 0.247052285556172*x8 + 0.197610748687493*x9 + 0.15558731597959*x10 + 0.120982941684104*x11) = 0 } } Constraint e12 { Definition: { 0.308773522162667*x6 - x23*(0.0899789978997899*x3 + 0.188993694328424*x4 + 0.264632763149874*x5 + 0.308773522162667*x6 + 0.324235367869763*x7 + 0.317759744553093*x8 + 0.296571521818452*x9 + 0.266899105175344*x10 + 0.233513342319487*x11) = 0 } } Constraint e13 { Definition: { 0.132281083087121*x6 - x24*(0.026981099790315*x4 + 0.0755697503379837*x5 + 0.132281083087121*x6 + 0.185233220498984*x7 + 0.22694961744096*x8 + 0.25421627517133*x9 + 0.266949986712887*x10 + 0.266961437732522*x11) = 0 } } Constraint e14 { Definition: { 0.0283216463789187*x6 - x25*(0.00808866220581916*x5 + 0.0283216463789187* x6 + 0.0594967092564436*x7 + 0.0972085184322643*x8 + 0.136128890917752*x9 + 0.171561639066158*x10 + 0.200192450750305*x11) = 0 } } Constraint e15 { Definition: { 0.00242433293003544*x6 - x26*(0.00242433293003544*x6 + 0.0101872919521249 *x7 + 0.0249702818996627*x8 + 0.0466305167574201*x9 + 0.0734703645857939* x10 + 0.102892337231952*x11) = 0 } } Constraint e16 { Definition: { 0.30254760034903*x7 - x27*(0.299999999999999*x2 + 0.420042004200419*x3 + 0.441069311972204*x4 + 0.411670573863023*x5 + 0.360201456247447*x6 + 0.30254760034903*x7 + 0.247052285556172*x8 + 0.197610748687493*x9 + 0.15558731597959*x10 + 0.120982941684104*x11) = 0 } } Constraint e17 { Definition: { 0.324235367869763*x7 - x28*(0.0899789978997899*x3 + 0.188993694328424*x4 + 0.264632763149874*x5 + 0.308773522162667*x6 + 0.324235367869763*x7 + 0.317759744553093*x8 + 0.296571521818452*x9 + 0.266899105175344*x10 + 0.233513342319487*x11) = 0 } } Constraint e18 { Definition: { 0.185233220498984*x7 - x29*(0.026981099790315*x4 + 0.0755697503379837*x5 + 0.132281083087121*x6 + 0.185233220498984*x7 + 0.22694961744096*x8 + 0.25421627517133*x9 + 0.266949986712887*x10 + 0.266961437732522*x11) = 0 } } Constraint e19 { Definition: { 0.0594967092564436*x7 - x30*(0.00808866220581916*x5 + 0.0283216463789187* x6 + 0.0594967092564436*x7 + 0.0972085184322643*x8 + 0.136128890917752*x9 + 0.171561639066158*x10 + 0.200192450750305*x11) = 0 } } Constraint e20 { Definition: { 0.0101872919521249*x7 - x31*(0.00242433293003544*x6 + 0.0101872919521249* x7 + 0.0249702818996627*x8 + 0.0466305167574201*x9 + 0.0734703645857939* x10 + 0.102892337231952*x11) = 0 } } Constraint e21 { Definition: { 0.000726450938014618*x7 - x32*(0.000726450938014618*x7 + 0.00356174664425821*x8 + 0.0099784508208397*x9 + 0.0209655320789341*x10 + 0.0367069932830306*x11) = 0 } } Constraint e22 { Definition: { 0.247052285556172*x8 - x33*(0.299999999999999*x2 + 0.420042004200419*x3 + 0.441069311972204*x4 + 0.411670573863023*x5 + 0.360201456247447*x6 + 0.30254760034903*x7 + 0.247052285556172*x8 + 0.197610748687493*x9 + 0.15558731597959*x10 + 0.120982941684104*x11) = 0 } } Constraint e23 { Definition: { 0.317759744553093*x8 - x34*(0.0899789978997899*x3 + 0.188993694328424*x4 + 0.264632763149874*x5 + 0.308773522162667*x6 + 0.324235367869763*x7 + 0.317759744553093*x8 + 0.296571521818452*x9 + 0.266899105175344*x10 + 0.233513342319487*x11) = 0 } } Constraint e24 { Definition: { 0.22694961744096*x8 - x35*(0.026981099790315*x4 + 0.0755697503379837*x5 + 0.132281083087121*x6 + 0.185233220498984*x7 + 0.22694961744096*x8 + 0.25421627517133*x9 + 0.266949986712887*x10 + 0.266961437732522*x11) = 0 } } Constraint e25 { Definition: { 0.0972085184322643*x8 - x36*(0.00808866220581916*x5 + 0.0283216463789187* x6 + 0.0594967092564436*x7 + 0.0972085184322643*x8 + 0.136128890917752*x9 + 0.171561639066158*x10 + 0.200192450750305*x11) = 0 } } Constraint e26 { Definition: { 0.0249702818996627*x8 - x37*(0.00242433293003544*x6 + 0.0101872919521249* x7 + 0.0249702818996627*x8 + 0.0466305167574201*x9 + 0.0734703645857939* x10 + 0.102892337231952*x11) = 0 } } Constraint e27 { Definition: { 0.00356174664425821*x8 - x38*(0.000726450938014618*x7 + 0.00356174664425821*x8 + 0.0099784508208397*x9 + 0.0209655320789341*x10 + 0.0367069932830306*x11) = 0 } } Constraint e28 { Definition: { 0.000217629988834878*x8 - x39*(0.000217629988834878*x8 + 0.00121958164462655*x9 + 0.00384420873582218*x10 + 0.00897533537960286* x11) = 0 } } Constraint e29 { Definition: { 0.197610748687493*x9 - x40*(0.299999999999999*x2 + 0.420042004200419*x3 + 0.441069311972204*x4 + 0.411670573863023*x5 + 0.360201456247447*x6 + 0.30254760034903*x7 + 0.247052285556172*x8 + 0.197610748687493*x9 + 0.15558731597959*x10 + 0.120982941684104*x11) = 0 } } Constraint e30 { Definition: { 0.296571521818452*x9 - x41*(0.0899789978997899*x3 + 0.188993694328424*x4 + 0.264632763149874*x5 + 0.308773522162667*x6 + 0.324235367869763*x7 + 0.317759744553093*x8 + 0.296571521818452*x9 + 0.266899105175344*x10 + 0.233513342319487*x11) = 0 } } Constraint e31 { Definition: { 0.25421627517133*x9 - x42*(0.026981099790315*x4 + 0.0755697503379837*x5 + 0.132281083087121*x6 + 0.185233220498984*x7 + 0.22694961744096*x8 + 0.25421627517133*x9 + 0.266949986712887*x10 + 0.266961437732522*x11) = 0 } } Constraint e32 { Definition: { 0.136128890917752*x9 - x43*(0.00808866220581916*x5 + 0.0283216463789187* x6 + 0.0594967092564436*x7 + 0.0972085184322643*x8 + 0.136128890917752*x9 + 0.171561639066158*x10 + 0.200192450750305*x11) = 0 } } Constraint e33 { Definition: { 0.0466305167574201*x9 - x44*(0.00242433293003544*x6 + 0.0101872919521249* x7 + 0.0249702818996627*x8 + 0.0466305167574201*x9 + 0.0734703645857939* x10 + 0.102892337231952*x11) = 0 } } Constraint e34 { Definition: { 0.0099784508208397*x9 - x45*(0.000726450938014618*x7 + 0.00356174664425821*x8 + 0.0099784508208397*x9 + 0.0209655320789341*x10 + 0.0367069932830306*x11) = 0 } } Constraint e35 { Definition: { 0.00121958164462655*x9 - x46*(0.000217629988834878*x8 + 0.00121958164462655*x9 + 0.00384420873582218*x10 + 0.00897533537960286* x11) = 0 } } Constraint e36 { Definition: { 6.51822832565586e-5*x9 - x47*(6.51822832565586e-5*x9 + 0.000410977166249314*x10 + 0.00143951015242667*x11) = 0 } } Constraint e37 { Definition: { 0.15558731597959*x10 - x48*(0.299999999999999*x2 + 0.420042004200419*x3 + 0.441069311972204*x4 + 0.411670573863023*x5 + 0.360201456247447*x6 + 0.30254760034903*x7 + 0.247052285556172*x8 + 0.197610748687493*x9 + 0.15558731597959*x10 + 0.120982941684104*x11) = 0 } } Constraint e38 { Definition: { 0.266899105175344*x10 - x49*(0.0899789978997899*x3 + 0.188993694328424*x4 + 0.264632763149874*x5 + 0.308773522162667*x6 + 0.324235367869763*x7 + 0.317759744553093*x8 + 0.296571521818452*x9 + 0.266899105175344*x10 + 0.233513342319487*x11) = 0 } } Constraint e39 { Definition: { 0.266949986712887*x10 - x50*(0.026981099790315*x4 + 0.0755697503379837*x5 + 0.132281083087121*x6 + 0.185233220498984*x7 + 0.22694961744096*x8 + 0.25421627517133*x9 + 0.266949986712887*x10 + 0.266961437732522*x11) = 0 } } Constraint e40 { Definition: { 0.171561639066158*x10 - x51*(0.00808866220581916*x5 + 0.0283216463789187* x6 + 0.0594967092564436*x7 + 0.0972085184322643*x8 + 0.136128890917752*x9 + 0.171561639066158*x10 + 0.200192450750305*x11) = 0 } } Constraint e41 { Definition: { 0.0734703645857939*x10 - x52*(0.00242433293003544*x6 + 0.0101872919521249 *x7 + 0.0249702818996627*x8 + 0.0466305167574201*x9 + 0.0734703645857939* x10 + 0.102892337231952*x11) = 0 } } Constraint e42 { Definition: { 0.0209655320789341*x10 - x53*(0.000726450938014618*x7 + 0.00356174664425821*x8 + 0.0099784508208397*x9 + 0.0209655320789341*x10 + 0.0367069932830306*x11) = 0 } } Constraint e43 { Definition: { 0.00384420873582218*x10 - x54*(0.000217629988834878*x8 + 0.00121958164462655*x9 + 0.00384420873582218*x10 + 0.00897533537960286* x11) = 0 } } Constraint e44 { Definition: { 0.000410977166249314*x10 - x55*(6.51822832565586e-5*x9 + 0.000410977166249314*x10 + 0.00143951015242667*x11) = 0 } } Constraint e45 { Definition: { 1.95181536733007e-5*x10 - x56*(1.95181536733007e-5*x10 + 0.000136750150848869*x11) = 0 } } Constraint e46 { Definition: { 0.120982941684104*x11 - x57*(0.299999999999999*x2 + 0.420042004200419*x3 + 0.441069311972204*x4 + 0.411670573863023*x5 + 0.360201456247447*x6 + 0.30254760034903*x7 + 0.247052285556172*x8 + 0.197610748687493*x9 + 0.15558731597959*x10 + 0.120982941684104*x11) = 0 } } Constraint e47 { Definition: { 0.233513342319487*x11 - x58*(0.0899789978997899*x3 + 0.188993694328424*x4 + 0.264632763149874*x5 + 0.308773522162667*x6 + 0.324235367869763*x7 + 0.317759744553093*x8 + 0.296571521818452*x9 + 0.266899105175344*x10 + 0.233513342319487*x11) = 0 } } Constraint e48 { Definition: { 0.266961437732522*x11 - x59*(0.026981099790315*x4 + 0.0755697503379837*x5 + 0.132281083087121*x6 + 0.185233220498984*x7 + 0.22694961744096*x8 + 0.25421627517133*x9 + 0.266949986712887*x10 + 0.266961437732522*x11) = 0 } } Constraint e49 { Definition: { 0.200192450750305*x11 - x60*(0.00808866220581916*x5 + 0.0283216463789187* x6 + 0.0594967092564436*x7 + 0.0972085184322643*x8 + 0.136128890917752*x9 + 0.171561639066158*x10 + 0.200192450750305*x11) = 0 } } Constraint e50 { Definition: { 0.102892337231952*x11 - x61*(0.00242433293003544*x6 + 0.0101872919521249* x7 + 0.0249702818996627*x8 + 0.0466305167574201*x9 + 0.0734703645857939* x10 + 0.102892337231952*x11) = 0 } } Constraint e51 { Definition: { 0.0367069932830306*x11 - x62*(0.000726450938014618*x7 + 0.00356174664425821*x8 + 0.0099784508208397*x9 + 0.0209655320789341*x10 + 0.0367069932830306*x11) = 0 } } Constraint e52 { Definition: { 0.00897533537960286*x11 - x63*(0.000217629988834878*x8 + 0.00121958164462655*x9 + 0.00384420873582218*x10 + 0.00897533537960286* x11) = 0 } } Constraint e53 { Definition: { 0.00143951015242667*x11 - x64*(6.51822832565586e-5*x9 + 0.000410977166249314*x10 + 0.00143951015242667*x11) = 0 } } Constraint e54 { Definition: { 0.000136750150848869*x11 - x65*(1.95181536733007e-5*x10 + 0.000136750150848869*x11) = 0 } } Constraint e55 { Definition: 5.84313858841381e-6*x11 - 5.84313858841381e-6*x66*x11 = 0; } Constraint e56 { Definition: 0.300000000000001*x2 - 424*x12 - x67 + x77 = 0; } Constraint e57 { Definition: 0.510021002100211*x3 - 424*x13 - 208*x14 - x68 + x78 = 0; } Constraint e58 { Definition: 0.657044106090946*x4 - 424*x15 - 208*x16 - 243*x17 - x69 + x79 = 0; } Constraint e59 { Definition: { 0.7599617495567*x5 - 424*x18 - 208*x19 - 243*x20 - 191*x21 - x70 + x80 = 0 } } Constraint e60 { Definition: { 0.83200204080619*x6 - 424*x22 - 208*x23 - 243*x24 - 191*x25 - 79*x26 - x71 + x81 = 0 } } Constraint e61 { Definition: { 0.882426640864363*x7 - 424*x27 - 208*x28 - 243*x29 - 191*x30 - 79*x31 - 31*x32 - x72 + x82 = 0 } } Constraint e62 { Definition: { 0.917719824515245*x8 - 424*x33 - 208*x34 - 243*x35 - 191*x36 - 79*x37 - 31*x38 - 10*x39 - x73 + x83 = 0 } } Constraint e63 { Definition: { 0.942421168101182*x9 - 424*x40 - 208*x41 - 243*x42 - 191*x43 - 79*x44 - 31*x45 - 10*x46 - 2*x47 - x74 + x84 = 0 } } Constraint e64 { Definition: { 0.959708647654471*x10 - 424*x48 - 208*x49 - 243*x50 - 191*x51 - 79*x52 - 31*x53 - 10*x54 - 2*x55 - x75 + x85 = 0 } } Constraint e65 { Definition: { 0.971806941822881*x11 - 424*x57 - 208*x58 - 243*x59 - 191*x60 - 79*x61 - 31*x62 - 10*x63 - 2*x64 - 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 >= 424; } Constraint e68 { Definition: x3 + x4 + x5 + x6 + x7 + x8 + x9 + x10 + x11 >= 208; } Constraint e69 { Definition: x4 + x5 + x6 + x7 + x8 + x9 + x10 + x11 >= 243; } Constraint e70 { Definition: x5 + x6 + x7 + x8 + x9 + x10 + x11 >= 191; } Constraint e71 { Definition: x6 + x7 + x8 + x9 + x10 + x11 >= 79; } Constraint e72 { Definition: x7 + x8 + x9 + x10 + x11 >= 31; } Constraint e73 { Definition: x8 + x9 + x10 + x11 >= 10; } Constraint e74 { Definition: x9 + x10 + x11 >= 2; } 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_30 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: NLP; } Procedure MainExecution { Body: { solve bayes2_30; } } Procedure MainTermination { Body: { return 1; } } }