\ Equation counts \ Total E G L N X C B \ 77 67 10 0 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 86 86 0 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 606 166 440 0 \ Minimize obj: 0 x1 + 0 x2 + 0 x3 + 0 x4 + 0 x5 + 0 x6 + 0 x7 + 0 x8 + 0 x9 + 0 x10 + 0 x11 + 0 x12 + 0 x13 + 0 x14 + 0 x15 + 0 x16 + 0 x17 + 0 x18 + 0 x19 + 0 x20 + 0 x21 + 0 x22 + 0 x23 + 0 x24 + 0 x25 + 0 x26 + 0 x27 + 0 x28 + 0 x29 + 0 x30 + 0 x31 + 0 x32 + 0 x33 + 0 x34 + 0 x35 + 0 x36 + 0 x37 + 0 x38 + 0 x39 + 0 x40 + 0 x41 + 0 x42 + 0 x43 + 0 x44 + 0 x45 + 0 x46 + 0 x47 + 0 x48 + 0 x49 + 0 x50 + 0 x51 + 0 x52 + 0 x53 + 0 x54 + 0 x55 + 0 x56 + 0 x57 + 0 x58 + 0 x59 + 0 x60 + 0 x61 + 0 x62 + 0 x63 + 0 x64 + 0 x65 + 0 x66 + x67 + x68 + x69 + x70 + x71 + x72 + x73 + x74 + x75 + x76 + x77 + x78 + x79 + x80 + x81 + x82 + x83 + x84 + x85 + x86 Subject To e1: 9.97999999999999e-2 x2 + [ - 9.97999999999999e-2 x2 * x12 - .179697889788979 x3 * x12 - .242667639426474 x4 * x12 - .291288553877934 x5 * x12 - .32779432977535 x6 * x12 - .354116263650056 x7 * x12 - .371921288913631 x8 * x12 - .382645442102839 x9 * x12 - .387523290700504 x10 * x12 - .387613794254864 x11 * x12 ] = 0 e2: .179697889788979 x3 + [ - 9.97999999999999e-2 x2 * x13 - .179697889788979 x3 * x13 - .242667639426474 x4 * x13 - .291288553877934 x5 * x13 - .32779432977535 x6 * x13 - .354116263650056 x7 * x13 - .371921288913631 x8 * x13 - .382645442102839 x9 * x13 - .387523290700504 x10 * x13 - .387613794254864 x11 * x13 ] = 0 e3: 9.95105510551053e-3 x3 + [ - 9.95105510551053e-3 x3 * x14 - 2.68791952569931e-2 x4 * x14 - 4.84024480360498e-2 x5 * x14 - 7.26327251441325e-2 x6 * x14 - 9.8092330200907e-2 x7 * x14 - .123643056034308 x8 * x14 - .148426108294561 x9 * x14 - .171811326660768 x10 * x14 - .193354379355624 x11 * x14 ] = 0 e4: .242667639426474 x4 + [ - 9.97999999999999e-2 x2 * x15 - .179697889788979 x3 * x15 - .242667639426474 x4 * x15 - .291288553877934 x5 * x15 - .32779432977535 x6 * x15 - .354116263650056 x7 * x15 - .371921288913631 x8 * x15 - .382645442102839 x9 * x15 - .387523290700504 x10 * x15 - .387613794254864 x11 * x15 ] = 0 e5: 2.68791952569931e-2 x4 + [ - 9.95105510551053e-3 x3 * x16 - 2.68791952569931e-2 x4 * x16 - 4.84024480360498e-2 x5 * x16 - 7.26327251441325e-2 x6 * x16 - 9.8092330200907e-2 x7 * x16 - .123643056034308 x8 * x16 - .148426108294561 x9 * x16 - .171811326660768 x10 * x16 - .193354379355624 x11 * x16 ] = 0 e6: 9.91323353179483e-4 x4 + [ - 9.91323353179483e-4 x4 * x17 - 3.57062831862428e-3 x5 * x17 - 8.03802158261731e-3 x6 * x17 - 1.44756766870547e-2 x7 * x17 - 2.28103437449379e-2 x8 * x17 - 3.28625995023637e-2 x9 * x17 - 4.43852293418879e-2 x10 * x17 - 5.70927439209041e-2 x11 * x17 ] = 0 e7: .291288553877934 x5 + [ - 9.97999999999999e-2 x2 * x18 - .179697889788979 x3 * x18 - .242667639426474 x4 * x18 - .291288553877934 x5 * x18 - .32779432977535 x6 * x18 - .354116263650056 x7 * x18 - .371921288913631 x8 * x18 - .382645442102839 x9 * x18 - .387523290700504 x10 * x18 - .387613794254864 x11 * x18 ] = 0 e8: 4.84024480360498e-2 x5 + [ - 9.95105510551053e-3 x3 * x19 - 2.68791952569931e-2 x4 * x19 - 4.84024480360498e-2 x5 * x19 - 7.26327251441325e-2 x6 * x19 - 9.8092330200907e-2 x7 * x19 - .123643056034308 x8 * x19 - .148426108294561 x9 * x19 - .171811326660768 x10 * x19 - .193354379355624 x11 * x19 ] = 0 e9: 3.57062831862428e-3 x5 + [ - 9.91323353179483e-4 x4 * x20 - 3.57062831862428e-3 x5 * x20 - 8.03802158261731e-3 x6 * x20 - 1.44756766870547e-2 x7 * x20 - 2.28103437449379e-2 x8 * x20 - 3.28625995023637e-2 x9 * x20 - 4.43852293418879e-2 x10 * x20 - 5.70927439209041e-2 x11 * x20 ] = 0 e10: 9.86662735234163e-5 x5 + [ - 9.86662735234163e-5 x5 * x21 - 4.44274606971685e-4 x6 * x21 - 1.20027485863495e-3 x7 * x21 - 2.52209045740786e-3 x8 * x21 - 4.54243811192095e-3 x9 * x21 - 7.36300486748561e-3 x10 * x21 - 1.10507714931385e-2 x11 * x21 ] = 0 e11: .32779432977535 x6 + [ - 9.97999999999999e-2 x2 * x22 - .179697889788979 x3 * x22 - .242667639426474 x4 * x22 - .291288553877934 x5 * x22 - .32779432977535 x6 * x22 - .354116263650056 x7 * x22 - .371921288913631 x8 * x22 - .382645442102839 x9 * x22 - .387523290700504 x10 * x22 - .387613794254864 x11 * x22 ] = 0 e12: 7.26327251441325e-2 x6 + [ - 9.95105510551053e-3 x3 * x23 - 2.68791952569931e-2 x4 * x23 - 4.84024480360498e-2 x5 * x23 - 7.26327251441325e-2 x6 * x23 - 9.8092330200907e-2 x7 * x23 - .123643056034308 x8 * x23 - .148426108294561 x9 * x23 - .171811326660768 x10 * x23 - .193354379355624 x11 * x23 ] = 0 e13: 8.03802158261731e-3 x6 + [ - 9.91323353179483e-4 x4 * x24 - 3.57062831862428e-3 x5 * x24 - 8.03802158261731e-3 x6 * x24 - 1.44756766870547e-2 x7 * x24 - 2.28103437449379e-2 x8 * x24 - 3.28625995023637e-2 x9 * x24 - 4.43852293418879e-2 x10 * x24 - 5.70927439209041e-2 x11 * x24 ] = 0 e14: 4.44274606971685e-4 x6 + [ - 9.86662735234163e-5 x5 * x25 - 4.44274606971685e-4 x6 * x25 - 1.20027485863495e-3 x7 * x25 - 2.52209045740786e-3 x8 * x25 - 4.54243811192095e-3 x9 * x25 - 7.36300486748561e-3 x10 * x25 - 1.10507714931385e-2 x11 * x25 ] = 0 e15: 9.81135212907916e-6 x6 + [ - 9.81135212907916e-6 x6 * x26 - 5.30195849120382e-5 x7 * x26 - 1.67130527644226e-4 x8 * x26 - 4.01394242315761e-4 x9 * x26 - 8.13383733972072e-4 x10 * x26 - 1.46508394320501e-3 x11 * x26 ] = 0 e16: .354116263650056 x7 + [ - 9.97999999999999e-2 x2 * x27 - .179697889788979 x3 * x27 - .242667639426474 x4 * x27 - .291288553877934 x5 * x27 - .32779432977535 x6 * x27 - .354116263650056 x7 * x27 - .371921288913631 x8 * x27 - .382645442102839 x9 * x27 - .387523290700504 x10 * x27 - .387613794254864 x11 * x27 ] = 0 e17: 9.8092330200907e-2 x7 + [ - 9.95105510551053e-3 x3 * x28 - 2.68791952569931e-2 x4 * x28 - 4.84024480360498e-2 x5 * x28 - 7.26327251441325e-2 x6 * x28 - 9.8092330200907e-2 x7 * x28 - .123643056034308 x8 * x28 - .148426108294561 x9 * x28 - .171811326660768 x10 * x28 - .193354379355624 x11 * x28 ] = 0 e18: 1.44756766870547e-2 x7 + [ - 9.91323353179483e-4 x4 * x29 - 3.57062831862428e-3 x5 * x29 - 8.03802158261731e-3 x6 * x29 - 1.44756766870547e-2 x7 * x29 - 2.28103437449379e-2 x8 * x29 - 3.28625995023637e-2 x9 * x29 - 4.43852293418879e-2 x10 * x29 - 5.70927439209041e-2 x11 * x29 ] = 0 e19: 1.20027485863495e-3 x7 + [ - 9.86662735234163e-5 x5 * x30 - 4.44274606971685e-4 x6 * x30 - 1.20027485863495e-3 x7 * x30 - 2.52209045740786e-3 x8 * x30 - 4.54243811192095e-3 x9 * x30 - 7.36300486748561e-3 x10 * x30 - 1.10507714931385e-2 x11 * x30 ] = 0 e20: 5.30195849120382e-5 x7 + [ - 9.81135212907916e-6 x6 * x31 - 5.30195849120382e-5 x7 * x31 - 1.67130527644226e-4 x8 * x31 - 4.01394242315761e-4 x9 * x31 - 8.13383733972072e-4 x10 * x31 - 1.46508394320501e-3 x11 * x31 ] = 0 e21: 9.74754643739431e-7 x7 + [ - 9.74754643739431e-7 x7 * x32 - 6.14600651596926e-6 x8 * x32 - 2.21435823677529e-5 x9 * x32 - 5.9835540825593e-5 x10 * x32 - 1.34736270615932e-4 x11 * x32 ] = 0 e22: .371921288913631 x8 + [ - 9.97999999999999e-2 x2 * x33 - .179697889788979 x3 * x33 - .242667639426474 x4 * x33 - .291288553877934 x5 * x33 - .32779432977535 x6 * x33 - .354116263650056 x7 * x33 - .371921288913631 x8 * x33 - .382645442102839 x9 * x33 - .387523290700504 x10 * x33 - .387613794254864 x11 * x33 ] = 0 e23: .123643056034308 x8 + [ - 9.95105510551053e-3 x3 * x34 - 2.68791952569931e-2 x4 * x34 - 4.84024480360498e-2 x5 * x34 - 7.26327251441325e-2 x6 * x34 - 9.8092330200907e-2 x7 * x34 - .123643056034308 x8 * x34 - .148426108294561 x9 * x34 - .171811326660768 x10 * x34 - .193354379355624 x11 * x34 ] = 0 e24: 2.28103437449379e-2 x8 + [ - 9.91323353179483e-4 x4 * x35 - 3.57062831862428e-3 x5 * x35 - 8.03802158261731e-3 x6 * x35 - 1.44756766870547e-2 x7 * x35 - 2.28103437449379e-2 x8 * x35 - 3.28625995023637e-2 x9 * x35 - 4.43852293418879e-2 x10 * x35 - 5.70927439209041e-2 x11 * x35 ] = 0 e25: 2.52209045740786e-3 x8 + [ - 9.86662735234163e-5 x5 * x36 - 4.44274606971685e-4 x6 * x36 - 1.20027485863495e-3 x7 * x36 - 2.52209045740786e-3 x8 * x36 - 4.54243811192095e-3 x9 * x36 - 7.36300486748561e-3 x10 * x36 - 1.10507714931385e-2 x11 * x36 ] = 0 e26: 1.67130527644226e-4 x8 + [ - 9.81135212907916e-6 x6 * x37 - 5.30195849120382e-5 x7 * x37 - 1.67130527644226e-4 x8 * x37 - 4.01394242315761e-4 x9 * x37 - 8.13383733972072e-4 x10 * x37 - 1.46508394320501e-3 x11 * x37 ] = 0 e27: 6.14600651596926e-6 x8 + [ - 9.74754643739431e-7 x7 * x38 - 6.14600651596926e-6 x8 * x38 - 2.21435823677529e-5 x9 * x38 - 5.9835540825593e-5 x10 * x38 - 1.34736270615932e-4 x11 * x38 ] = 0 e28: 9.67537128866831e-8 x8 + [ - 9.67537128866831e-8 x8 * x39 - 6.97269627463954e-7 x9 * x39 - 2.82651697614227e-6 x10 * x39 - 8.48718939888591e-6 x11 * x39 ] = 0 e29: .382645442102839 x9 + [ - 9.97999999999999e-2 x2 * x40 - .179697889788979 x3 * x40 - .242667639426474 x4 * x40 - .291288553877934 x5 * x40 - .32779432977535 x6 * x40 - .354116263650056 x7 * x40 - .371921288913631 x8 * x40 - .382645442102839 x9 * x40 - .387523290700504 x10 * x40 - .387613794254864 x11 * x40 ] = 0 e30: .148426108294561 x9 + [ - 9.95105510551053e-3 x3 * x41 - 2.68791952569931e-2 x4 * x41 - 4.84024480360498e-2 x5 * x41 - 7.26327251441325e-2 x6 * x41 - 9.8092330200907e-2 x7 * x41 - .123643056034308 x8 * x41 - .148426108294561 x9 * x41 - .171811326660768 x10 * x41 - .193354379355624 x11 * x41 ] = 0 e31: 3.28625995023637e-2 x9 + [ - 9.91323353179483e-4 x4 * x42 - 3.57062831862428e-3 x5 * x42 - 8.03802158261731e-3 x6 * x42 - 1.44756766870547e-2 x7 * x42 - 2.28103437449379e-2 x8 * x42 - 3.28625995023637e-2 x9 * x42 - 4.43852293418879e-2 x10 * x42 - 5.70927439209041e-2 x11 * x42 ] = 0 e32: 4.54243811192095e-3 x9 + [ - 9.86662735234163e-5 x5 * x43 - 4.44274606971685e-4 x6 * x43 - 1.20027485863495e-3 x7 * x43 - 2.52209045740786e-3 x8 * x43 - 4.54243811192095e-3 x9 * x43 - 7.36300486748561e-3 x10 * x43 - 1.10507714931385e-2 x11 * x43 ] = 0 e33: 4.01394242315761e-4 x9 + [ - 9.81135212907916e-6 x6 * x44 - 5.30195849120382e-5 x7 * x44 - 1.67130527644226e-4 x8 * x44 - 4.01394242315761e-4 x9 * x44 - 8.13383733972072e-4 x10 * x44 - 1.46508394320501e-3 x11 * x44 ] = 0 e34: 2.21435823677529e-5 x9 + [ - 9.74754643739431e-7 x7 * x45 - 6.14600651596926e-6 x8 * x45 - 2.21435823677529e-5 x9 * x45 - 5.9835540825593e-5 x10 * x45 - 1.34736270615932e-4 x11 * x45 ] = 0 e35: 6.97269627463954e-7 x9 + [ - 9.67537128866831e-8 x8 * x46 - 6.97269627463954e-7 x9 * x46 - 2.82651697614227e-6 x10 * x46 - 8.48718939888591e-6 x11 * x46 ] = 0 e36: 9.595009453687791e-9 x9 + [ - 9.595009453687791e-9 x9 * x47 - 7.77990868613764e-8 x10 * x47 - 3.50450195595659e-7 x11 * x47 ] = 0 e37: .387523290700504 x10 + [ - 9.97999999999999e-2 x2 * x48 - .179697889788979 x3 * x48 - .242667639426474 x4 * x48 - .291288553877934 x5 * x48 - .32779432977535 x6 * x48 - .354116263650056 x7 * x48 - .371921288913631 x8 * x48 - .382645442102839 x9 * x48 - .387523290700504 x10 * x48 - .387613794254864 x11 * x48 ] = 0 e38: .171811326660768 x10 + [ - 9.95105510551053e-3 x3 * x49 - 2.68791952569931e-2 x4 * x49 - 4.84024480360498e-2 x5 * x49 - 7.26327251441325e-2 x6 * x49 - 9.8092330200907e-2 x7 * x49 - .123643056034308 x8 * x49 - .148426108294561 x9 * x49 - .171811326660768 x10 * x49 - .193354379355624 x11 * x49 ] = 0 e39: 4.43852293418879e-2 x10 + [ - 9.91323353179483e-4 x4 * x50 - 3.57062831862428e-3 x5 * x50 - 8.03802158261731e-3 x6 * x50 - 1.44756766870547e-2 x7 * x50 - 2.28103437449379e-2 x8 * x50 - 3.28625995023637e-2 x9 * x50 - 4.43852293418879e-2 x10 * x50 - 5.70927439209041e-2 x11 * x50 ] = 0 e40: 7.36300486748561e-3 x10 + [ - 9.86662735234163e-5 x5 * x51 - 4.44274606971685e-4 x6 * x51 - 1.20027485863495e-3 x7 * x51 - 2.52209045740786e-3 x8 * x51 - 4.54243811192095e-3 x9 * x51 - 7.36300486748561e-3 x10 * x51 - 1.10507714931385e-2 x11 * x51 ] = 0 e41: 8.13383733972072e-4 x10 + [ - 9.81135212907916e-6 x6 * x52 - 5.30195849120382e-5 x7 * x52 - 1.67130527644226e-4 x8 * x52 - 4.01394242315761e-4 x9 * x52 - 8.13383733972072e-4 x10 * x52 - 1.46508394320501e-3 x11 * x52 ] = 0 e42: 5.9835540825593e-5 x10 + [ - 9.74754643739431e-7 x7 * x53 - 6.14600651596926e-6 x8 * x53 - 2.21435823677529e-5 x9 * x53 - 5.9835540825593e-5 x10 * x53 - 1.34736270615932e-4 x11 * x53 ] = 0 e43: 2.82651697614227e-6 x10 + [ - 9.67537128866831e-8 x8 * x54 - 6.97269627463954e-7 x9 * x54 - 2.82651697614227e-6 x10 * x54 - 8.48718939888591e-6 x11 * x54 ] = 0 e44: 7.77990868613764e-8 x10 + [ - 9.595009453687791e-9 x9 * x55 - 7.77990868613764e-8 x10 * x55 - 3.50450195595659e-7 x11 * x55 ] = 0 e45: 9.5066646909036e-10 x10 + [ - 9.5066646909036e-10 x10 * x56 - 8.56560860249376e-9 x11 * x56 ] = 0 e46: .387613794254864 x11 + [ - 9.97999999999999e-2 x2 * x57 - .179697889788979 x3 * x57 - .242667639426474 x4 * x57 - .291288553877934 x5 * x57 - .32779432977535 x6 * x57 - .354116263650056 x7 * x57 - .371921288913631 x8 * x57 - .382645442102839 x9 * x57 - .387523290700504 x10 * x57 - .387613794254864 x11 * x57 ] = 0 e47: .193354379355624 x11 + [ - 9.95105510551053e-3 x3 * x58 - 2.68791952569931e-2 x4 * x58 - 4.84024480360498e-2 x5 * x58 - 7.26327251441325e-2 x6 * x58 - 9.8092330200907e-2 x7 * x58 - .123643056034308 x8 * x58 - .148426108294561 x9 * x58 - .171811326660768 x10 * x58 - .193354379355624 x11 * x58 ] = 0 e48: 5.70927439209041e-2 x11 + [ - 9.91323353179483e-4 x4 * x59 - 3.57062831862428e-3 x5 * x59 - 8.03802158261731e-3 x6 * x59 - 1.44756766870547e-2 x7 * x59 - 2.28103437449379e-2 x8 * x59 - 3.28625995023637e-2 x9 * x59 - 4.43852293418879e-2 x10 * x59 - 5.70927439209041e-2 x11 * x59 ] = 0 e49: 1.10507714931385e-2 x11 + [ - 9.86662735234163e-5 x5 * x60 - 4.44274606971685e-4 x6 * x60 - 1.20027485863495e-3 x7 * x60 - 2.52209045740786e-3 x8 * x60 - 4.54243811192095e-3 x9 * x60 - 7.36300486748561e-3 x10 * x60 - 1.10507714931385e-2 x11 * x60 ] = 0 e50: 1.46508394320501e-3 x11 + [ - 9.81135212907916e-6 x6 * x61 - 5.30195849120382e-5 x7 * x61 - 1.67130527644226e-4 x8 * x61 - 4.01394242315761e-4 x9 * x61 - 8.13383733972072e-4 x10 * x61 - 1.46508394320501e-3 x11 * x61 ] = 0 e51: 1.34736270615932e-4 x11 + [ - 9.74754643739431e-7 x7 * x62 - 6.14600651596926e-6 x8 * x62 - 2.21435823677529e-5 x9 * x62 - 5.9835540825593e-5 x10 * x62 - 1.34736270615932e-4 x11 * x62 ] = 0 e52: 8.48718939888591e-6 x11 + [ - 9.67537128866831e-8 x8 * x63 - 6.97269627463954e-7 x9 * x63 - 2.82651697614227e-6 x10 * x63 - 8.48718939888591e-6 x11 * x63 ] = 0 e53: 3.50450195595659e-7 x11 + [ - 9.595009453687791e-9 x9 * x64 - 7.77990868613764e-8 x10 * x64 - 3.50450195595659e-7 x11 * x64 ] = 0 e54: 8.56560860249376e-9 x11 + [ - 9.5066646909036e-10 x10 * x65 - 8.56560860249376e-9 x11 * x65 ] = 0 e55: 9.41056088409932e-11 x11 + [ - 9.41056088409932e-11 x11 * x66 ] = 0 e56: 9.98000000000008e-2 x2 - 449 x12 - x67 + x77 = 0 e57: .189648944894492 x3 - 449 x13 - 174 x14 - x68 + x78 = 0 e58: .27053815803665 x4 - 449 x15 - 174 x16 - 52 x17 - x69 + x79 = 0 e59: .343360296506133 x5 - 449 x18 - 174 x19 - 52 x20 - 10 x21 - x70 + x80 = 0 e60: .408919162461202 x6 - 449 x22 - 174 x23 - 52 x24 - 10 x25 - x26 - x71 + x81 = 0 e61: .467938539736214 x7 - 449 x27 - 174 x28 - 52 x29 - 10 x30 - x31 - x72 + x82 = 0 e62: .52107015243816 x8 - 449 x33 - 174 x34 - 52 x35 - 10 x36 - x37 - x73 + x83 = 0 e63: .568900832701015 x9 - 449 x40 - 174 x41 - 52 x42 - 10 x43 - x44 - x74 + x84 = 0 e64: .611958976112189 x10 - 449 x48 - 174 x49 - 52 x50 - 10 x51 - x52 - x75 + x85 = 0 e65: .650720355537673 x11 - 449 x57 - 174 x58 - 52 x59 - 10 x60 - x61 - x76 + x86 = 0 e66: x2 + 2 x3 + 3 x4 + 4 x5 + 5 x6 + 6 x7 + 7 x8 + 8 x9 + 9 x10 + 10 x11 = 1e4 e67: x2 + x3 + x4 + x5 + x6 + x7 + x8 + x9 + x10 + x11 >= 449 e68: x3 + x4 + x5 + x6 + x7 + x8 + x9 + x10 + x11 >= 174 e69: x4 + x5 + x6 + x7 + x8 + x9 + x10 + x11 >= 52 e70: x5 + x6 + x7 + x8 + x9 + x10 + x11 >= 10 e71: x6 + x7 + x8 + x9 + x10 + x11 >= 1 e72: x7 + x8 + x9 + x10 + x11 >= 0 e73: x8 + x9 + x10 + x11 >= 0 e74: x9 + x10 + x11 >= 0 e75: x10 + x11 >= 0 e76: x11 >= 0 e77: - x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x9 + x10 + x11 = 0 Bounds x2 <= 1e4 x3 <= 1e4 x4 <= 1e4 x5 <= 1e4 x6 <= 1e4 x7 <= 1e4 x8 <= 1e4 x9 <= 1e4 x10 <= 1e4 x11 <= 1e4 x12 <= 1 x13 <= 1 x14 <= 1 x15 <= 1 x16 <= 1 x17 <= 1 x18 <= 1 x19 <= 1 x20 <= 1 x21 <= 1 x22 <= 1 x23 <= 1 x24 <= 1 x25 <= 1 x26 <= 1 x27 <= 1 x28 <= 1 x29 <= 1 x30 <= 1 x31 <= 1 x32 <= 1 x33 <= 1 x34 <= 1 x35 <= 1 x36 <= 1 x37 <= 1 x38 <= 1 x39 <= 1 x40 <= 1 x41 <= 1 x42 <= 1 x43 <= 1 x44 <= 1 x45 <= 1 x46 <= 1 x47 <= 1 x48 <= 1 x49 <= 1 x50 <= 1 x51 <= 1 x52 <= 1 x53 <= 1 x54 <= 1 x55 <= 1 x56 <= 1 x57 <= 1 x58 <= 1 x59 <= 1 x60 <= 1 x61 <= 1 x62 <= 1 x63 <= 1 x64 <= 1 x65 <= 1 x66 <= 1 x67 <= 1e3 x68 <= 1e3 x69 <= 1e3 x70 <= 1e3 x71 <= 1e3 x72 <= 1e3 x73 <= 1e3 x74 <= 1e3 x75 <= 1e3 x76 <= 1e3 x77 <= 1e3 x78 <= 1e3 x79 <= 1e3 x80 <= 1e3 x81 <= 1e3 x82 <= 1e3 x83 <= 1e3 x84 <= 1e3 x85 <= 1e3 x86 <= 1e3 End