## ams_version=1.0 Model Main_ringpack_10_1 { Variable objvar; Variable b2 { Range: binary; } Variable b3 { Range: binary; } Variable b4 { Range: binary; } Variable b5 { Range: binary; } Variable b6 { Range: binary; } Variable b7 { Range: binary; } Variable b8 { Range: binary; } Variable b9 { Range: binary; } Variable b10 { Range: binary; } Variable b11 { Range: binary; } Variable b12 { Range: binary; } Variable b13 { Range: binary; } Variable b14 { Range: binary; } Variable b15 { Range: binary; } Variable b16 { Range: binary; } Variable b17 { Range: binary; } Variable b18 { Range: binary; } Variable b19 { Range: binary; } Variable b20 { Range: binary; } Variable b21 { Range: binary; } Variable b22 { Range: binary; } Variable b23 { Range: binary; } Variable b24 { Range: binary; } Variable b25 { Range: binary; } Variable b26 { Range: binary; } Variable b27 { Range: binary; } Variable b28 { Range: binary; } Variable b29 { Range: binary; } Variable b30 { Range: binary; } Variable b31 { Range: binary; } Variable b32 { Range: binary; } Variable b33 { Range: binary; } Variable b34 { Range: binary; } Variable b35 { Range: binary; } Variable b36 { Range: binary; } Variable b37 { Range: binary; } Variable b38 { Range: binary; } Variable b39 { Range: binary; } Variable b40 { Range: binary; } Variable b41 { Range: binary; } Variable b42 { Range: binary; } Variable b43 { Range: binary; } Variable b44 { Range: binary; } Variable b45 { Range: binary; } Variable b46 { Range: binary; } Variable b47 { Range: binary; } Variable b48 { Range: binary; } Variable b49 { Range: binary; } Variable b50 { Range: binary; } Variable b51 { Range: binary; } Variable x52; Variable x53; Variable x54; Variable x55; Variable x56; Variable x57; Variable x58; Variable x59; Variable x60; Variable x61; Variable x62; Variable x63; Variable x64; Variable x65; Variable x66; Variable x67; Variable x68; Variable x69; Variable x70; Variable x71; Constraint e1 { Definition: { objvar + 0.287403606378025*b2 + 0.287403606378025*b3 + 0.0946538180425961*b4 + 0.0946538180425961*b5 + 0.584516458645496*b6 + 0.584516458645496*b7 + 1.29409755392315*b8 + 1.29409755392315*b9 + 2.08582176557546*b10 + 2.08582176557546*b11 + 2.08582176557546*b12 + 2.08582176557546*b13 + 2.08582176557546*b14 + 2.08582176557546*b15 + 2.08582176557546*b16 + 2.08582176557546*b17 + 2.08582176557546*b18 + 2.08582176557546*b19 + 2.08582176557546*b20 + 2.08582176557546*b21 + 2.08582176557546*b22 + 2.08582176557546*b23 + 2.08582176557546*b24 + 2.08582176557546*b25 + 2.08582176557546*b26 + 2.08582176557546*b27 + 2.08582176557546*b28 + 2.08582176557546*b29 + 2.08582176557546*b30 + 2.08582176557546*b31 + 2.08582176557546*b32 + 2.08582176557546*b33 + 2.08582176557546*b34 + 2.08582176557546*b35 + 2.08582176557546*b36 + 2.08582176557546*b37 + 2.08582176557546*b38 + 2.08582176557546*b39 + 2.08582176557546*b40 + 2.08582176557546*b41 + 2.08582176557546*b42 + 2.08582176557546*b43 + 2.08582176557546*b44 + 2.08582176557546*b45 + 2.08582176557546*b46 + 2.08582176557546*b47 + 2.08582176557546*b48 + 2.08582176557546*b49 + 2.08582176557546*b50 + 2.08582176557546*b51 = 0 } } Constraint e2 { Definition: { sqr(x52) + sqr(x53) + sqr(x54) + sqr(x55) - 2*x52*x54 - 2*x53*x55 - 1.436939228176*b2 - 1.436939228176*b3 >= -1.436939228176 } } Constraint e3 { Definition: { sqr(x52) + sqr(x53) + sqr(x56) + sqr(x57) - 2*x52*x56 - 2*x53*x57 - 0.887203867225*b2 - 0.887203867225*b4 >= -0.887203867225 } } Constraint e4 { Definition: { sqr(x52) + sqr(x53) + sqr(x58) + sqr(x59) - 2*x52*x58 - 2*x53*x59 - 0.887203867225*b2 - 0.887203867225*b5 >= -0.887203867225 } } Constraint e5 { Definition: { sqr(x52) + sqr(x53) + sqr(x60) + sqr(x61) - 2*x52*x60 - 2*x53*x61 - 2.118573403024*b2 - 2.118573403024*b6 >= -2.118573403024 } } Constraint e6 { Definition: { sqr(x52) + sqr(x53) + sqr(x62) + sqr(x63) - 2*x52*x62 - 2*x53*x63 - 2.118573403024*b2 - 2.118573403024*b7 >= -2.118573403024 } } Constraint e7 { Definition: { sqr(x52) + sqr(x53) + sqr(x64) + sqr(x65) - 2*x53*x65 - 2*x52*x64 - 4.509770398884*b2 - 4.509770398884*b8 >= -4.509770398884 } } Constraint e8 { Definition: { sqr(x52) + sqr(x53) + sqr(x66) + sqr(x67) - 2*x53*x67 - 2*x52*x66 - 4.509770398884*b2 - 4.509770398884*b9 >= -4.509770398884 } } Constraint e9 { Definition: { sqr(x52) + sqr(x53) + sqr(x68) + sqr(x69) - 2*x52*x68 - 2*x53*x69 - 6.408451746064*b2 - 6.408451746064*b10 >= -6.408451746064 } } Constraint e10 { Definition: { sqr(x52) + sqr(x53) + sqr(x70) + sqr(x71) - 2*x53*x71 - 2*x52*x70 - 6.408451746064*b2 - 6.408451746064*b11 >= -6.408451746064 } } Constraint e11 { Definition: { sqr(x52) + sqr(x53) + sqr(x54) + sqr(x55) - 2*x52*x54 - 2*x53*x55 - 1.436939228176*b2 - 1.436939228176*b3 >= -1.436939228176 } } Constraint e12 { Definition: { sqr(x54) + sqr(x55) + sqr(x56) + sqr(x57) - 2*x54*x56 - 2*x55*x57 - 0.887203867225*b3 - 0.887203867225*b4 >= -0.887203867225 } } Constraint e13 { Definition: { sqr(x54) + sqr(x55) + sqr(x58) + sqr(x59) - 2*x54*x58 - 2*x55*x59 - 0.887203867225*b3 - 0.887203867225*b5 >= -0.887203867225 } } Constraint e14 { Definition: { sqr(x54) + sqr(x55) + sqr(x60) + sqr(x61) - 2*x54*x60 - 2*x55*x61 - 2.118573403024*b3 - 2.118573403024*b6 >= -2.118573403024 } } Constraint e15 { Definition: { sqr(x54) + sqr(x55) + sqr(x62) + sqr(x63) - 2*x55*x63 - 2*x54*x62 - 2.118573403024*b3 - 2.118573403024*b7 >= -2.118573403024 } } Constraint e16 { Definition: { sqr(x54) + sqr(x55) + sqr(x64) + sqr(x65) - 2*x55*x65 - 2*x54*x64 - 4.509770398884*b3 - 4.509770398884*b8 >= -4.509770398884 } } Constraint e17 { Definition: { sqr(x54) + sqr(x55) + sqr(x66) + sqr(x67) - 2*x54*x66 - 2*x55*x67 - 4.509770398884*b3 - 4.509770398884*b9 >= -4.509770398884 } } Constraint e18 { Definition: { sqr(x54) + sqr(x55) + sqr(x68) + sqr(x69) - 2*x55*x69 - 2*x54*x68 - 6.408451746064*b3 - 6.408451746064*b10 >= -6.408451746064 } } Constraint e19 { Definition: { sqr(x54) + sqr(x55) + sqr(x70) + sqr(x71) - 2*x55*x71 - 2*x54*x70 - 6.408451746064*b3 - 6.408451746064*b11 >= -6.408451746064 } } Constraint e20 { Definition: { sqr(x52) + sqr(x53) + sqr(x56) + sqr(x57) - 2*x52*x56 - 2*x53*x57 - 0.887203867225*b2 - 0.887203867225*b4 >= -0.887203867225 } } Constraint e21 { Definition: { sqr(x54) + sqr(x55) + sqr(x56) + sqr(x57) - 2*x54*x56 - 2*x55*x57 - 0.887203867225*b3 - 0.887203867225*b4 >= -0.887203867225 } } Constraint e22 { Definition: { sqr(x56) + sqr(x57) + sqr(x58) + sqr(x59) - 2*x56*x58 - 2*x57*x59 - 0.469370231236*b4 - 0.469370231236*b5 >= -0.469370231236 } } Constraint e23 { Definition: { sqr(x56) + sqr(x57) + sqr(x60) + sqr(x61) - 2*x56*x60 - 2*x57*x61 - 1.436936830729*b4 - 1.436936830729*b6 >= -1.436936830729 } } Constraint e24 { Definition: { sqr(x56) + sqr(x57) + sqr(x62) + sqr(x63) - 2*x57*x63 - 2*x56*x62 - 1.436936830729*b4 - 1.436936830729*b7 >= -1.436936830729 } } Constraint e25 { Definition: { sqr(x56) + sqr(x57) + sqr(x64) + sqr(x65) - 2*x56*x64 - 2*x57*x65 - 3.484990776969*b4 - 3.484990776969*b8 >= -3.484990776969 } } Constraint e26 { Definition: { sqr(x56) + sqr(x57) + sqr(x66) + sqr(x67) - 2*x57*x67 - 2*x56*x66 - 3.484990776969*b4 - 3.484990776969*b9 >= -3.484990776969 } } Constraint e27 { Definition: { sqr(x56) + sqr(x57) + sqr(x68) + sqr(x69) - 2*x57*x69 - 2*x56*x68 - 5.174182750489*b4 - 5.174182750489*b10 >= -5.174182750489 } } Constraint e28 { Definition: { sqr(x56) + sqr(x57) + sqr(x70) + sqr(x71) - 2*x56*x70 - 2*x57*x71 - 5.174182750489*b4 - 5.174182750489*b11 >= -5.174182750489 } } Constraint e29 { Definition: { sqr(x52) + sqr(x53) + sqr(x58) + sqr(x59) - 2*x52*x58 - 2*x53*x59 - 0.887203867225*b2 - 0.887203867225*b5 >= -0.887203867225 } } Constraint e30 { Definition: { sqr(x54) + sqr(x55) + sqr(x58) + sqr(x59) - 2*x54*x58 - 2*x55*x59 - 0.887203867225*b3 - 0.887203867225*b5 >= -0.887203867225 } } Constraint e31 { Definition: { sqr(x56) + sqr(x57) + sqr(x58) + sqr(x59) - 2*x56*x58 - 2*x57*x59 - 0.469370231236*b4 - 0.469370231236*b5 >= -0.469370231236 } } Constraint e32 { Definition: { sqr(x58) + sqr(x59) + sqr(x60) + sqr(x61) - 2*x58*x60 - 2*x59*x61 - 1.436936830729*b5 - 1.436936830729*b6 >= -1.436936830729 } } Constraint e33 { Definition: { sqr(x58) + sqr(x59) + sqr(x62) + sqr(x63) - 2*x58*x62 - 2*x59*x63 - 1.436936830729*b5 - 1.436936830729*b7 >= -1.436936830729 } } Constraint e34 { Definition: { sqr(x58) + sqr(x59) + sqr(x64) + sqr(x65) - 2*x59*x65 - 2*x58*x64 - 3.484990776969*b5 - 3.484990776969*b8 >= -3.484990776969 } } Constraint e35 { Definition: { sqr(x58) + sqr(x59) + sqr(x66) + sqr(x67) - 2*x59*x67 - 2*x58*x66 - 3.484990776969*b5 - 3.484990776969*b9 >= -3.484990776969 } } Constraint e36 { Definition: { sqr(x58) + sqr(x59) + sqr(x68) + sqr(x69) - 2*x58*x68 - 2*x59*x69 - 5.174182750489*b5 - 5.174182750489*b10 >= -5.174182750489 } } Constraint e37 { Definition: { sqr(x58) + sqr(x59) + sqr(x70) + sqr(x71) - 2*x59*x71 - 2*x58*x70 - 5.174182750489*b5 - 5.174182750489*b11 >= -5.174182750489 } } Constraint e38 { Definition: { sqr(x52) + sqr(x53) + sqr(x60) + sqr(x61) - 2*x52*x60 - 2*x53*x61 - 2.118573403024*b2 - 2.118573403024*b6 >= -2.118573403024 } } Constraint e39 { Definition: { sqr(x54) + sqr(x55) + sqr(x60) + sqr(x61) - 2*x54*x60 - 2*x55*x61 - 2.118573403024*b3 - 2.118573403024*b6 >= -2.118573403024 } } Constraint e40 { Definition: { sqr(x56) + sqr(x57) + sqr(x60) + sqr(x61) - 2*x56*x60 - 2*x57*x61 - 1.436936830729*b4 - 1.436936830729*b6 >= -1.436936830729 } } Constraint e41 { Definition: { sqr(x58) + sqr(x59) + sqr(x60) + sqr(x61) - 2*x58*x60 - 2*x59*x61 - 1.436936830729*b5 - 1.436936830729*b6 >= -1.436936830729 } } Constraint e42 { Definition: { sqr(x60) + sqr(x61) + sqr(x62) + sqr(x63) - 2*x61*x63 - 2*x60*x62 - 2.9321082756*b6 - 2.9321082756*b7 >= -2.9321082756 } } Constraint e43 { Definition: { sqr(x60) + sqr(x61) + sqr(x64) + sqr(x65) - 2*x61*x65 - 2*x60*x64 - 5.6664469849*b6 - 5.6664469849*b8 >= -5.6664469849 } } Constraint e44 { Definition: { sqr(x60) + sqr(x61) + sqr(x66) + sqr(x67) - 2*x60*x66 - 2*x61*x67 - 5.6664469849*b6 - 5.6664469849*b9 >= -5.6664469849 } } Constraint e45 { Definition: { sqr(x60) + sqr(x61) + sqr(x68) + sqr(x69) - 2*x61*x69 - 2*x60*x68 - 7.77461689*b6 - 7.77461689*b10 >= -7.77461689 } } Constraint e46 { Definition: { sqr(x60) + sqr(x61) + sqr(x70) + sqr(x71) - 2*x61*x71 - 2*x60*x70 - 7.77461689*b6 - 7.77461689*b11 >= -7.77461689 } } Constraint e47 { Definition: { sqr(x52) + sqr(x53) + sqr(x62) + sqr(x63) - 2*x52*x62 - 2*x53*x63 - 2.118573403024*b2 - 2.118573403024*b7 >= -2.118573403024 } } Constraint e48 { Definition: { sqr(x54) + sqr(x55) + sqr(x62) + sqr(x63) - 2*x55*x63 - 2*x54*x62 - 2.118573403024*b3 - 2.118573403024*b7 >= -2.118573403024 } } Constraint e49 { Definition: { sqr(x56) + sqr(x57) + sqr(x62) + sqr(x63) - 2*x57*x63 - 2*x56*x62 - 1.436936830729*b4 - 1.436936830729*b7 >= -1.436936830729 } } Constraint e50 { Definition: { sqr(x58) + sqr(x59) + sqr(x62) + sqr(x63) - 2*x58*x62 - 2*x59*x63 - 1.436936830729*b5 - 1.436936830729*b7 >= -1.436936830729 } } Constraint e51 { Definition: { sqr(x60) + sqr(x61) + sqr(x62) + sqr(x63) - 2*x61*x63 - 2*x60*x62 - 2.9321082756*b6 - 2.9321082756*b7 >= -2.9321082756 } } Constraint e52 { Definition: { sqr(x62) + sqr(x63) + sqr(x64) + sqr(x65) - 2*x62*x64 - 2*x63*x65 - 5.6664469849*b7 - 5.6664469849*b8 >= -5.6664469849 } } Constraint e53 { Definition: { sqr(x62) + sqr(x63) + sqr(x66) + sqr(x67) - 2*x62*x66 - 2*x63*x67 - 5.6664469849*b7 - 5.6664469849*b9 >= -5.6664469849 } } Constraint e54 { Definition: { sqr(x62) + sqr(x63) + sqr(x68) + sqr(x69) - 2*x62*x68 - 2*x63*x69 - 7.77461689*b7 - 7.77461689*b10 >= -7.77461689 } } Constraint e55 { Definition: { sqr(x62) + sqr(x63) + sqr(x70) + sqr(x71) - 2*x62*x70 - 2*x63*x71 - 7.77461689*b7 - 7.77461689*b11 >= -7.77461689 } } Constraint e56 { Definition: { sqr(x52) + sqr(x53) + sqr(x64) + sqr(x65) - 2*x53*x65 - 2*x52*x64 - 4.509770398884*b2 - 4.509770398884*b8 >= -4.509770398884 } } Constraint e57 { Definition: { sqr(x54) + sqr(x55) + sqr(x64) + sqr(x65) - 2*x55*x65 - 2*x54*x64 - 4.509770398884*b3 - 4.509770398884*b8 >= -4.509770398884 } } Constraint e58 { Definition: { sqr(x56) + sqr(x57) + sqr(x64) + sqr(x65) - 2*x56*x64 - 2*x57*x65 - 3.484990776969*b4 - 3.484990776969*b8 >= -3.484990776969 } } Constraint e59 { Definition: { sqr(x58) + sqr(x59) + sqr(x64) + sqr(x65) - 2*x59*x65 - 2*x58*x64 - 3.484990776969*b5 - 3.484990776969*b8 >= -3.484990776969 } } Constraint e60 { Definition: { sqr(x60) + sqr(x61) + sqr(x64) + sqr(x65) - 2*x61*x65 - 2*x60*x64 - 5.6664469849*b6 - 5.6664469849*b8 >= -5.6664469849 } } Constraint e61 { Definition: { sqr(x62) + sqr(x63) + sqr(x64) + sqr(x65) - 2*x62*x64 - 2*x63*x65 - 5.6664469849*b7 - 5.6664469849*b8 >= -5.6664469849 } } Constraint e62 { Definition: { sqr(x64) + sqr(x65) + sqr(x66) + sqr(x67) - 2*x64*x66 - 2*x65*x67 - 9.2934741904*b8 - 9.2934741904*b9 >= -9.2934741904 } } Constraint e63 { Definition: { sqr(x64) + sqr(x65) + sqr(x68) + sqr(x69) - 2*x64*x68 - 2*x65*x69 - 11.9466318321*b8 - 11.9466318321*b10 >= -11.9466318321 } } Constraint e64 { Definition: { sqr(x64) + sqr(x65) + sqr(x70) + sqr(x71) - 2*x64*x70 - 2*x65*x71 - 11.9466318321*b8 - 11.9466318321*b11 >= -11.9466318321 } } Constraint e65 { Definition: { sqr(x52) + sqr(x53) + sqr(x66) + sqr(x67) - 2*x53*x67 - 2*x52*x66 - 4.509770398884*b2 - 4.509770398884*b9 >= -4.509770398884 } } Constraint e66 { Definition: { sqr(x54) + sqr(x55) + sqr(x66) + sqr(x67) - 2*x54*x66 - 2*x55*x67 - 4.509770398884*b3 - 4.509770398884*b9 >= -4.509770398884 } } Constraint e67 { Definition: { sqr(x56) + sqr(x57) + sqr(x66) + sqr(x67) - 2*x57*x67 - 2*x56*x66 - 3.484990776969*b4 - 3.484990776969*b9 >= -3.484990776969 } } Constraint e68 { Definition: { sqr(x58) + sqr(x59) + sqr(x66) + sqr(x67) - 2*x59*x67 - 2*x58*x66 - 3.484990776969*b5 - 3.484990776969*b9 >= -3.484990776969 } } Constraint e69 { Definition: { sqr(x60) + sqr(x61) + sqr(x66) + sqr(x67) - 2*x60*x66 - 2*x61*x67 - 5.6664469849*b6 - 5.6664469849*b9 >= -5.6664469849 } } Constraint e70 { Definition: { sqr(x62) + sqr(x63) + sqr(x66) + sqr(x67) - 2*x62*x66 - 2*x63*x67 - 5.6664469849*b7 - 5.6664469849*b9 >= -5.6664469849 } } Constraint e71 { Definition: { sqr(x64) + sqr(x65) + sqr(x66) + sqr(x67) - 2*x64*x66 - 2*x65*x67 - 9.2934741904*b8 - 9.2934741904*b9 >= -9.2934741904 } } Constraint e72 { Definition: { sqr(x66) + sqr(x67) + sqr(x68) + sqr(x69) - 2*x66*x68 - 2*x67*x69 - 11.9466318321*b9 - 11.9466318321*b10 >= -11.9466318321 } } Constraint e73 { Definition: { sqr(x66) + sqr(x67) + sqr(x70) + sqr(x71) - 2*x66*x70 - 2*x67*x71 - 11.9466318321*b9 - 11.9466318321*b11 >= -11.9466318321 } } Constraint e74 { Definition: { sqr(x52) + sqr(x53) + sqr(x68) + sqr(x69) - 2*x52*x68 - 2*x53*x69 - 6.408451746064*b2 - 6.408451746064*b10 >= -6.408451746064 } } Constraint e75 { Definition: { sqr(x54) + sqr(x55) + sqr(x68) + sqr(x69) - 2*x55*x69 - 2*x54*x68 - 6.408451746064*b3 - 6.408451746064*b10 >= -6.408451746064 } } Constraint e76 { Definition: { sqr(x56) + sqr(x57) + sqr(x68) + sqr(x69) - 2*x57*x69 - 2*x56*x68 - 5.174182750489*b4 - 5.174182750489*b10 >= -5.174182750489 } } Constraint e77 { Definition: { sqr(x58) + sqr(x59) + sqr(x68) + sqr(x69) - 2*x58*x68 - 2*x59*x69 - 5.174182750489*b5 - 5.174182750489*b10 >= -5.174182750489 } } Constraint e78 { Definition: { sqr(x60) + sqr(x61) + sqr(x68) + sqr(x69) - 2*x61*x69 - 2*x60*x68 - 7.77461689*b6 - 7.77461689*b10 >= -7.77461689 } } Constraint e79 { Definition: { sqr(x62) + sqr(x63) + sqr(x68) + sqr(x69) - 2*x62*x68 - 2*x63*x69 - 7.77461689*b7 - 7.77461689*b10 >= -7.77461689 } } Constraint e80 { Definition: { sqr(x64) + sqr(x65) + sqr(x68) + sqr(x69) - 2*x64*x68 - 2*x65*x69 - 11.9466318321*b8 - 11.9466318321*b10 >= -11.9466318321 } } Constraint e81 { Definition: { sqr(x66) + sqr(x67) + sqr(x68) + sqr(x69) - 2*x66*x68 - 2*x67*x69 - 11.9466318321*b9 - 11.9466318321*b10 >= -11.9466318321 } } Constraint e82 { Definition: { sqr(x68) + sqr(x69) + sqr(x70) + sqr(x71) - 2*x68*x70 - 2*x69*x71 - 14.9325053476*b10 - 14.9325053476*b11 >= -14.9325053476 } } Constraint e83 { Definition: { sqr(x52) + sqr(x53) + sqr(x70) + sqr(x71) - 2*x53*x71 - 2*x52*x70 - 6.408451746064*b2 - 6.408451746064*b11 >= -6.408451746064 } } Constraint e84 { Definition: { sqr(x54) + sqr(x55) + sqr(x70) + sqr(x71) - 2*x55*x71 - 2*x54*x70 - 6.408451746064*b3 - 6.408451746064*b11 >= -6.408451746064 } } Constraint e85 { Definition: { sqr(x56) + sqr(x57) + sqr(x70) + sqr(x71) - 2*x56*x70 - 2*x57*x71 - 5.174182750489*b4 - 5.174182750489*b11 >= -5.174182750489 } } Constraint e86 { Definition: { sqr(x58) + sqr(x59) + sqr(x70) + sqr(x71) - 2*x59*x71 - 2*x58*x70 - 5.174182750489*b5 - 5.174182750489*b11 >= -5.174182750489 } } Constraint e87 { Definition: { sqr(x60) + sqr(x61) + sqr(x70) + sqr(x71) - 2*x61*x71 - 2*x60*x70 - 7.77461689*b6 - 7.77461689*b11 >= -7.77461689 } } Constraint e88 { Definition: { sqr(x62) + sqr(x63) + sqr(x70) + sqr(x71) - 2*x62*x70 - 2*x63*x71 - 7.77461689*b7 - 7.77461689*b11 >= -7.77461689 } } Constraint e89 { Definition: { sqr(x64) + sqr(x65) + sqr(x70) + sqr(x71) - 2*x64*x70 - 2*x65*x71 - 11.9466318321*b8 - 11.9466318321*b11 >= -11.9466318321 } } Constraint e90 { Definition: { sqr(x66) + sqr(x67) + sqr(x70) + sqr(x71) - 2*x66*x70 - 2*x67*x71 - 11.9466318321*b9 - 11.9466318321*b11 >= -11.9466318321 } } Constraint e91 { Definition: { sqr(x68) + sqr(x69) + sqr(x70) + sqr(x71) - 2*x68*x70 - 2*x69*x71 - 14.9325053476*b10 - 14.9325053476*b11 >= -14.9325053476 } } Constraint e92 { Definition: { sqr(x56) + sqr(x57) + sqr(x58) + sqr(x59) - 2*x56*x58 - 2*x57*x59 - 0.469370231236*b24 - 0.469370231236*b32 >= -0.469370231236 } } Constraint e93 { Definition: { sqr(x56) + sqr(x57) + sqr(x58) + sqr(x59) - 2*x56*x58 - 2*x57*x59 - 0.469370231236*b24 - 0.469370231236*b32 >= -0.469370231236 } } Constraint e94 { Definition: { sqr(x56) + sqr(x57) + sqr(x58) + sqr(x59) - 2*x56*x58 - 2*x57*x59 - 0.469370231236*b25 - 0.469370231236*b33 >= -0.469370231236 } } Constraint e95 { Definition: { sqr(x56) + sqr(x57) + sqr(x58) + sqr(x59) - 2*x56*x58 - 2*x57*x59 - 0.469370231236*b25 - 0.469370231236*b33 >= -0.469370231236 } } Constraint e96 { Definition: { sqr(x52) + sqr(x53) + sqr(x54) + sqr(x55) - 2*x52*x54 - 2*x53*x55 - 1.436939228176*b12 - 1.436939228176*b18 >= -1.436939228176 } } Constraint e97 { Definition: { sqr(x52) + sqr(x53) + sqr(x56) + sqr(x57) - 2*x52*x56 - 2*x53*x57 - 0.887203867225*b12 - 0.887203867225*b26 >= -0.887203867225 } } Constraint e98 { Definition: { sqr(x52) + sqr(x53) + sqr(x58) + sqr(x59) - 2*x52*x58 - 2*x53*x59 - 0.887203867225*b12 - 0.887203867225*b34 >= -0.887203867225 } } Constraint e99 { Definition: { sqr(x52) + sqr(x53) + sqr(x54) + sqr(x55) - 2*x52*x54 - 2*x53*x55 - 1.436939228176*b12 - 1.436939228176*b18 >= -1.436939228176 } } Constraint e100 { Definition: { sqr(x54) + sqr(x55) + sqr(x56) + sqr(x57) - 2*x54*x56 - 2*x55*x57 - 0.887203867225*b18 - 0.887203867225*b26 >= -0.887203867225 } } Constraint e101 { Definition: { sqr(x54) + sqr(x55) + sqr(x58) + sqr(x59) - 2*x54*x58 - 2*x55*x59 - 0.887203867225*b18 - 0.887203867225*b34 >= -0.887203867225 } } Constraint e102 { Definition: { sqr(x52) + sqr(x53) + sqr(x56) + sqr(x57) - 2*x52*x56 - 2*x53*x57 - 0.887203867225*b12 - 0.887203867225*b26 >= -0.887203867225 } } Constraint e103 { Definition: { sqr(x54) + sqr(x55) + sqr(x56) + sqr(x57) - 2*x54*x56 - 2*x55*x57 - 0.887203867225*b18 - 0.887203867225*b26 >= -0.887203867225 } } Constraint e104 { Definition: { sqr(x56) + sqr(x57) + sqr(x58) + sqr(x59) - 2*x56*x58 - 2*x57*x59 - 0.469370231236*b26 - 0.469370231236*b34 >= -0.469370231236 } } Constraint e105 { Definition: { sqr(x52) + sqr(x53) + sqr(x58) + sqr(x59) - 2*x52*x58 - 2*x53*x59 - 0.887203867225*b12 - 0.887203867225*b34 >= -0.887203867225 } } Constraint e106 { Definition: { sqr(x54) + sqr(x55) + sqr(x58) + sqr(x59) - 2*x54*x58 - 2*x55*x59 - 0.887203867225*b18 - 0.887203867225*b34 >= -0.887203867225 } } Constraint e107 { Definition: { sqr(x56) + sqr(x57) + sqr(x58) + sqr(x59) - 2*x56*x58 - 2*x57*x59 - 0.469370231236*b26 - 0.469370231236*b34 >= -0.469370231236 } } Constraint e108 { Definition: { sqr(x52) + sqr(x53) + sqr(x54) + sqr(x55) - 2*x52*x54 - 2*x53*x55 - 1.436939228176*b13 - 1.436939228176*b19 >= -1.436939228176 } } Constraint e109 { Definition: { sqr(x52) + sqr(x53) + sqr(x56) + sqr(x57) - 2*x52*x56 - 2*x53*x57 - 0.887203867225*b13 - 0.887203867225*b27 >= -0.887203867225 } } Constraint e110 { Definition: { sqr(x52) + sqr(x53) + sqr(x58) + sqr(x59) - 2*x52*x58 - 2*x53*x59 - 0.887203867225*b13 - 0.887203867225*b35 >= -0.887203867225 } } Constraint e111 { Definition: { sqr(x52) + sqr(x53) + sqr(x54) + sqr(x55) - 2*x52*x54 - 2*x53*x55 - 1.436939228176*b13 - 1.436939228176*b19 >= -1.436939228176 } } Constraint e112 { Definition: { sqr(x54) + sqr(x55) + sqr(x56) + sqr(x57) - 2*x54*x56 - 2*x55*x57 - 0.887203867225*b19 - 0.887203867225*b27 >= -0.887203867225 } } Constraint e113 { Definition: { sqr(x54) + sqr(x55) + sqr(x58) + sqr(x59) - 2*x54*x58 - 2*x55*x59 - 0.887203867225*b19 - 0.887203867225*b35 >= -0.887203867225 } } Constraint e114 { Definition: { sqr(x52) + sqr(x53) + sqr(x56) + sqr(x57) - 2*x52*x56 - 2*x53*x57 - 0.887203867225*b13 - 0.887203867225*b27 >= -0.887203867225 } } Constraint e115 { Definition: { sqr(x54) + sqr(x55) + sqr(x56) + sqr(x57) - 2*x54*x56 - 2*x55*x57 - 0.887203867225*b19 - 0.887203867225*b27 >= -0.887203867225 } } Constraint e116 { Definition: { sqr(x56) + sqr(x57) + sqr(x58) + sqr(x59) - 2*x56*x58 - 2*x57*x59 - 0.469370231236*b27 - 0.469370231236*b35 >= -0.469370231236 } } Constraint e117 { Definition: { sqr(x52) + sqr(x53) + sqr(x58) + sqr(x59) - 2*x52*x58 - 2*x53*x59 - 0.887203867225*b13 - 0.887203867225*b35 >= -0.887203867225 } } Constraint e118 { Definition: { sqr(x54) + sqr(x55) + sqr(x58) + sqr(x59) - 2*x54*x58 - 2*x55*x59 - 0.887203867225*b19 - 0.887203867225*b35 >= -0.887203867225 } } Constraint e119 { Definition: { sqr(x56) + sqr(x57) + sqr(x58) + sqr(x59) - 2*x56*x58 - 2*x57*x59 - 0.469370231236*b27 - 0.469370231236*b35 >= -0.469370231236 } } Constraint e120 { Definition: { sqr(x52) + sqr(x53) + sqr(x54) + sqr(x55) - 2*x52*x54 - 2*x53*x55 - 1.436939228176*b14 - 1.436939228176*b20 >= -1.436939228176 } } Constraint e121 { Definition: { sqr(x52) + sqr(x53) + sqr(x56) + sqr(x57) - 2*x52*x56 - 2*x53*x57 - 0.887203867225*b14 - 0.887203867225*b28 >= -0.887203867225 } } Constraint e122 { Definition: { sqr(x52) + sqr(x53) + sqr(x58) + sqr(x59) - 2*x52*x58 - 2*x53*x59 - 0.887203867225*b14 - 0.887203867225*b36 >= -0.887203867225 } } Constraint e123 { Definition: { sqr(x52) + sqr(x53) + sqr(x60) + sqr(x61) - 2*x52*x60 - 2*x53*x61 - 2.118573403024*b14 - 2.118573403024*b40 >= -2.118573403024 } } Constraint e124 { Definition: { sqr(x52) + sqr(x53) + sqr(x62) + sqr(x63) - 2*x52*x62 - 2*x53*x63 - 2.118573403024*b14 - 2.118573403024*b44 >= -2.118573403024 } } Constraint e125 { Definition: { sqr(x52) + sqr(x53) + sqr(x54) + sqr(x55) - 2*x52*x54 - 2*x53*x55 - 1.436939228176*b14 - 1.436939228176*b20 >= -1.436939228176 } } Constraint e126 { Definition: { sqr(x54) + sqr(x55) + sqr(x56) + sqr(x57) - 2*x54*x56 - 2*x55*x57 - 0.887203867225*b20 - 0.887203867225*b28 >= -0.887203867225 } } Constraint e127 { Definition: { sqr(x54) + sqr(x55) + sqr(x58) + sqr(x59) - 2*x54*x58 - 2*x55*x59 - 0.887203867225*b20 - 0.887203867225*b36 >= -0.887203867225 } } Constraint e128 { Definition: { sqr(x54) + sqr(x55) + sqr(x60) + sqr(x61) - 2*x54*x60 - 2*x55*x61 - 2.118573403024*b20 - 2.118573403024*b40 >= -2.118573403024 } } Constraint e129 { Definition: { sqr(x54) + sqr(x55) + sqr(x62) + sqr(x63) - 2*x55*x63 - 2*x54*x62 - 2.118573403024*b20 - 2.118573403024*b44 >= -2.118573403024 } } Constraint e130 { Definition: { sqr(x52) + sqr(x53) + sqr(x56) + sqr(x57) - 2*x52*x56 - 2*x53*x57 - 0.887203867225*b14 - 0.887203867225*b28 >= -0.887203867225 } } Constraint e131 { Definition: { sqr(x54) + sqr(x55) + sqr(x56) + sqr(x57) - 2*x54*x56 - 2*x55*x57 - 0.887203867225*b20 - 0.887203867225*b28 >= -0.887203867225 } } Constraint e132 { Definition: { sqr(x56) + sqr(x57) + sqr(x58) + sqr(x59) - 2*x56*x58 - 2*x57*x59 - 0.469370231236*b28 - 0.469370231236*b36 >= -0.469370231236 } } Constraint e133 { Definition: { sqr(x56) + sqr(x57) + sqr(x60) + sqr(x61) - 2*x56*x60 - 2*x57*x61 - 1.436936830729*b28 - 1.436936830729*b40 >= -1.436936830729 } } Constraint e134 { Definition: { sqr(x56) + sqr(x57) + sqr(x62) + sqr(x63) - 2*x57*x63 - 2*x56*x62 - 1.436936830729*b28 - 1.436936830729*b44 >= -1.436936830729 } } Constraint e135 { Definition: { sqr(x52) + sqr(x53) + sqr(x58) + sqr(x59) - 2*x52*x58 - 2*x53*x59 - 0.887203867225*b14 - 0.887203867225*b36 >= -0.887203867225 } } Constraint e136 { Definition: { sqr(x54) + sqr(x55) + sqr(x58) + sqr(x59) - 2*x54*x58 - 2*x55*x59 - 0.887203867225*b20 - 0.887203867225*b36 >= -0.887203867225 } } Constraint e137 { Definition: { sqr(x56) + sqr(x57) + sqr(x58) + sqr(x59) - 2*x56*x58 - 2*x57*x59 - 0.469370231236*b28 - 0.469370231236*b36 >= -0.469370231236 } } Constraint e138 { Definition: { sqr(x58) + sqr(x59) + sqr(x60) + sqr(x61) - 2*x58*x60 - 2*x59*x61 - 1.436936830729*b36 - 1.436936830729*b40 >= -1.436936830729 } } Constraint e139 { Definition: { sqr(x58) + sqr(x59) + sqr(x62) + sqr(x63) - 2*x58*x62 - 2*x59*x63 - 1.436936830729*b36 - 1.436936830729*b44 >= -1.436936830729 } } Constraint e140 { Definition: { sqr(x52) + sqr(x53) + sqr(x60) + sqr(x61) - 2*x52*x60 - 2*x53*x61 - 2.118573403024*b14 - 2.118573403024*b40 >= -2.118573403024 } } Constraint e141 { Definition: { sqr(x54) + sqr(x55) + sqr(x60) + sqr(x61) - 2*x54*x60 - 2*x55*x61 - 2.118573403024*b20 - 2.118573403024*b40 >= -2.118573403024 } } Constraint e142 { Definition: { sqr(x56) + sqr(x57) + sqr(x60) + sqr(x61) - 2*x56*x60 - 2*x57*x61 - 1.436936830729*b28 - 1.436936830729*b40 >= -1.436936830729 } } Constraint e143 { Definition: { sqr(x58) + sqr(x59) + sqr(x60) + sqr(x61) - 2*x58*x60 - 2*x59*x61 - 1.436936830729*b36 - 1.436936830729*b40 >= -1.436936830729 } } Constraint e144 { Definition: { sqr(x60) + sqr(x61) + sqr(x62) + sqr(x63) - 2*x61*x63 - 2*x60*x62 - 2.9321082756*b40 - 2.9321082756*b44 >= -2.9321082756 } } Constraint e145 { Definition: { sqr(x52) + sqr(x53) + sqr(x62) + sqr(x63) - 2*x52*x62 - 2*x53*x63 - 2.118573403024*b14 - 2.118573403024*b44 >= -2.118573403024 } } Constraint e146 { Definition: { sqr(x54) + sqr(x55) + sqr(x62) + sqr(x63) - 2*x55*x63 - 2*x54*x62 - 2.118573403024*b20 - 2.118573403024*b44 >= -2.118573403024 } } Constraint e147 { Definition: { sqr(x56) + sqr(x57) + sqr(x62) + sqr(x63) - 2*x57*x63 - 2*x56*x62 - 1.436936830729*b28 - 1.436936830729*b44 >= -1.436936830729 } } Constraint e148 { Definition: { sqr(x58) + sqr(x59) + sqr(x62) + sqr(x63) - 2*x58*x62 - 2*x59*x63 - 1.436936830729*b36 - 1.436936830729*b44 >= -1.436936830729 } } Constraint e149 { Definition: { sqr(x60) + sqr(x61) + sqr(x62) + sqr(x63) - 2*x61*x63 - 2*x60*x62 - 2.9321082756*b40 - 2.9321082756*b44 >= -2.9321082756 } } Constraint e150 { Definition: { sqr(x52) + sqr(x53) + sqr(x54) + sqr(x55) - 2*x52*x54 - 2*x53*x55 - 1.436939228176*b15 - 1.436939228176*b21 >= -1.436939228176 } } Constraint e151 { Definition: { sqr(x52) + sqr(x53) + sqr(x56) + sqr(x57) - 2*x52*x56 - 2*x53*x57 - 0.887203867225*b15 - 0.887203867225*b29 >= -0.887203867225 } } Constraint e152 { Definition: { sqr(x52) + sqr(x53) + sqr(x58) + sqr(x59) - 2*x52*x58 - 2*x53*x59 - 0.887203867225*b15 - 0.887203867225*b37 >= -0.887203867225 } } Constraint e153 { Definition: { sqr(x52) + sqr(x53) + sqr(x60) + sqr(x61) - 2*x52*x60 - 2*x53*x61 - 2.118573403024*b15 - 2.118573403024*b41 >= -2.118573403024 } } Constraint e154 { Definition: { sqr(x52) + sqr(x53) + sqr(x62) + sqr(x63) - 2*x52*x62 - 2*x53*x63 - 2.118573403024*b15 - 2.118573403024*b45 >= -2.118573403024 } } Constraint e155 { Definition: { sqr(x52) + sqr(x53) + sqr(x54) + sqr(x55) - 2*x52*x54 - 2*x53*x55 - 1.436939228176*b15 - 1.436939228176*b21 >= -1.436939228176 } } Constraint e156 { Definition: { sqr(x54) + sqr(x55) + sqr(x56) + sqr(x57) - 2*x54*x56 - 2*x55*x57 - 0.887203867225*b21 - 0.887203867225*b29 >= -0.887203867225 } } Constraint e157 { Definition: { sqr(x54) + sqr(x55) + sqr(x58) + sqr(x59) - 2*x54*x58 - 2*x55*x59 - 0.887203867225*b21 - 0.887203867225*b37 >= -0.887203867225 } } Constraint e158 { Definition: { sqr(x54) + sqr(x55) + sqr(x60) + sqr(x61) - 2*x54*x60 - 2*x55*x61 - 2.118573403024*b21 - 2.118573403024*b41 >= -2.118573403024 } } Constraint e159 { Definition: { sqr(x54) + sqr(x55) + sqr(x62) + sqr(x63) - 2*x55*x63 - 2*x54*x62 - 2.118573403024*b21 - 2.118573403024*b45 >= -2.118573403024 } } Constraint e160 { Definition: { sqr(x52) + sqr(x53) + sqr(x56) + sqr(x57) - 2*x52*x56 - 2*x53*x57 - 0.887203867225*b15 - 0.887203867225*b29 >= -0.887203867225 } } Constraint e161 { Definition: { sqr(x54) + sqr(x55) + sqr(x56) + sqr(x57) - 2*x54*x56 - 2*x55*x57 - 0.887203867225*b21 - 0.887203867225*b29 >= -0.887203867225 } } Constraint e162 { Definition: { sqr(x56) + sqr(x57) + sqr(x58) + sqr(x59) - 2*x56*x58 - 2*x57*x59 - 0.469370231236*b29 - 0.469370231236*b37 >= -0.469370231236 } } Constraint e163 { Definition: { sqr(x56) + sqr(x57) + sqr(x60) + sqr(x61) - 2*x56*x60 - 2*x57*x61 - 1.436936830729*b29 - 1.436936830729*b41 >= -1.436936830729 } } Constraint e164 { Definition: { sqr(x56) + sqr(x57) + sqr(x62) + sqr(x63) - 2*x57*x63 - 2*x56*x62 - 1.436936830729*b29 - 1.436936830729*b45 >= -1.436936830729 } } Constraint e165 { Definition: { sqr(x52) + sqr(x53) + sqr(x58) + sqr(x59) - 2*x52*x58 - 2*x53*x59 - 0.887203867225*b15 - 0.887203867225*b37 >= -0.887203867225 } } Constraint e166 { Definition: { sqr(x54) + sqr(x55) + sqr(x58) + sqr(x59) - 2*x54*x58 - 2*x55*x59 - 0.887203867225*b21 - 0.887203867225*b37 >= -0.887203867225 } } Constraint e167 { Definition: { sqr(x56) + sqr(x57) + sqr(x58) + sqr(x59) - 2*x56*x58 - 2*x57*x59 - 0.469370231236*b29 - 0.469370231236*b37 >= -0.469370231236 } } Constraint e168 { Definition: { sqr(x58) + sqr(x59) + sqr(x60) + sqr(x61) - 2*x58*x60 - 2*x59*x61 - 1.436936830729*b37 - 1.436936830729*b41 >= -1.436936830729 } } Constraint e169 { Definition: { sqr(x58) + sqr(x59) + sqr(x62) + sqr(x63) - 2*x58*x62 - 2*x59*x63 - 1.436936830729*b37 - 1.436936830729*b45 >= -1.436936830729 } } Constraint e170 { Definition: { sqr(x52) + sqr(x53) + sqr(x60) + sqr(x61) - 2*x52*x60 - 2*x53*x61 - 2.118573403024*b15 - 2.118573403024*b41 >= -2.118573403024 } } Constraint e171 { Definition: { sqr(x54) + sqr(x55) + sqr(x60) + sqr(x61) - 2*x54*x60 - 2*x55*x61 - 2.118573403024*b21 - 2.118573403024*b41 >= -2.118573403024 } } Constraint e172 { Definition: { sqr(x56) + sqr(x57) + sqr(x60) + sqr(x61) - 2*x56*x60 - 2*x57*x61 - 1.436936830729*b29 - 1.436936830729*b41 >= -1.436936830729 } } Constraint e173 { Definition: { sqr(x58) + sqr(x59) + sqr(x60) + sqr(x61) - 2*x58*x60 - 2*x59*x61 - 1.436936830729*b37 - 1.436936830729*b41 >= -1.436936830729 } } Constraint e174 { Definition: { sqr(x60) + sqr(x61) + sqr(x62) + sqr(x63) - 2*x61*x63 - 2*x60*x62 - 2.9321082756*b41 - 2.9321082756*b45 >= -2.9321082756 } } Constraint e175 { Definition: { sqr(x52) + sqr(x53) + sqr(x62) + sqr(x63) - 2*x52*x62 - 2*x53*x63 - 2.118573403024*b15 - 2.118573403024*b45 >= -2.118573403024 } } Constraint e176 { Definition: { sqr(x54) + sqr(x55) + sqr(x62) + sqr(x63) - 2*x55*x63 - 2*x54*x62 - 2.118573403024*b21 - 2.118573403024*b45 >= -2.118573403024 } } Constraint e177 { Definition: { sqr(x56) + sqr(x57) + sqr(x62) + sqr(x63) - 2*x57*x63 - 2*x56*x62 - 1.436936830729*b29 - 1.436936830729*b45 >= -1.436936830729 } } Constraint e178 { Definition: { sqr(x58) + sqr(x59) + sqr(x62) + sqr(x63) - 2*x58*x62 - 2*x59*x63 - 1.436936830729*b37 - 1.436936830729*b45 >= -1.436936830729 } } Constraint e179 { Definition: { sqr(x60) + sqr(x61) + sqr(x62) + sqr(x63) - 2*x61*x63 - 2*x60*x62 - 2.9321082756*b41 - 2.9321082756*b45 >= -2.9321082756 } } Constraint e180 { Definition: { sqr(x52) + sqr(x53) + sqr(x54) + sqr(x55) - 2*x52*x54 - 2*x53*x55 - 1.436939228176*b16 - 1.436939228176*b22 >= -1.436939228176 } } Constraint e181 { Definition: { sqr(x52) + sqr(x53) + sqr(x56) + sqr(x57) - 2*x52*x56 - 2*x53*x57 - 0.887203867225*b16 - 0.887203867225*b30 >= -0.887203867225 } } Constraint e182 { Definition: { sqr(x52) + sqr(x53) + sqr(x58) + sqr(x59) - 2*x52*x58 - 2*x53*x59 - 0.887203867225*b16 - 0.887203867225*b38 >= -0.887203867225 } } Constraint e183 { Definition: { sqr(x52) + sqr(x53) + sqr(x60) + sqr(x61) - 2*x52*x60 - 2*x53*x61 - 2.118573403024*b16 - 2.118573403024*b42 >= -2.118573403024 } } Constraint e184 { Definition: { sqr(x52) + sqr(x53) + sqr(x62) + sqr(x63) - 2*x52*x62 - 2*x53*x63 - 2.118573403024*b16 - 2.118573403024*b46 >= -2.118573403024 } } Constraint e185 { Definition: { sqr(x52) + sqr(x53) + sqr(x64) + sqr(x65) - 2*x53*x65 - 2*x52*x64 - 4.509770398884*b16 - 4.509770398884*b48 >= -4.509770398884 } } Constraint e186 { Definition: { sqr(x52) + sqr(x53) + sqr(x66) + sqr(x67) - 2*x53*x67 - 2*x52*x66 - 4.509770398884*b16 - 4.509770398884*b50 >= -4.509770398884 } } Constraint e187 { Definition: { sqr(x52) + sqr(x53) + sqr(x54) + sqr(x55) - 2*x52*x54 - 2*x53*x55 - 1.436939228176*b16 - 1.436939228176*b22 >= -1.436939228176 } } Constraint e188 { Definition: { sqr(x54) + sqr(x55) + sqr(x56) + sqr(x57) - 2*x54*x56 - 2*x55*x57 - 0.887203867225*b22 - 0.887203867225*b30 >= -0.887203867225 } } Constraint e189 { Definition: { sqr(x54) + sqr(x55) + sqr(x58) + sqr(x59) - 2*x54*x58 - 2*x55*x59 - 0.887203867225*b22 - 0.887203867225*b38 >= -0.887203867225 } } Constraint e190 { Definition: { sqr(x54) + sqr(x55) + sqr(x60) + sqr(x61) - 2*x54*x60 - 2*x55*x61 - 2.118573403024*b22 - 2.118573403024*b42 >= -2.118573403024 } } Constraint e191 { Definition: { sqr(x54) + sqr(x55) + sqr(x62) + sqr(x63) - 2*x55*x63 - 2*x54*x62 - 2.118573403024*b22 - 2.118573403024*b46 >= -2.118573403024 } } Constraint e192 { Definition: { sqr(x54) + sqr(x55) + sqr(x64) + sqr(x65) - 2*x55*x65 - 2*x54*x64 - 4.509770398884*b22 - 4.509770398884*b48 >= -4.509770398884 } } Constraint e193 { Definition: { sqr(x54) + sqr(x55) + sqr(x66) + sqr(x67) - 2*x54*x66 - 2*x55*x67 - 4.509770398884*b22 - 4.509770398884*b50 >= -4.509770398884 } } Constraint e194 { Definition: { sqr(x52) + sqr(x53) + sqr(x56) + sqr(x57) - 2*x52*x56 - 2*x53*x57 - 0.887203867225*b16 - 0.887203867225*b30 >= -0.887203867225 } } Constraint e195 { Definition: { sqr(x54) + sqr(x55) + sqr(x56) + sqr(x57) - 2*x54*x56 - 2*x55*x57 - 0.887203867225*b22 - 0.887203867225*b30 >= -0.887203867225 } } Constraint e196 { Definition: { sqr(x56) + sqr(x57) + sqr(x58) + sqr(x59) - 2*x56*x58 - 2*x57*x59 - 0.469370231236*b30 - 0.469370231236*b38 >= -0.469370231236 } } Constraint e197 { Definition: { sqr(x56) + sqr(x57) + sqr(x60) + sqr(x61) - 2*x56*x60 - 2*x57*x61 - 1.436936830729*b30 - 1.436936830729*b42 >= -1.436936830729 } } Constraint e198 { Definition: { sqr(x56) + sqr(x57) + sqr(x62) + sqr(x63) - 2*x57*x63 - 2*x56*x62 - 1.436936830729*b30 - 1.436936830729*b46 >= -1.436936830729 } } Constraint e199 { Definition: { sqr(x56) + sqr(x57) + sqr(x64) + sqr(x65) - 2*x56*x64 - 2*x57*x65 - 3.484990776969*b30 - 3.484990776969*b48 >= -3.484990776969 } } Constraint e200 { Definition: { sqr(x56) + sqr(x57) + sqr(x66) + sqr(x67) - 2*x56*x66 - 2*x57*x67 - 3.484990776969*b30 - 3.484990776969*b50 >= -3.484990776969 } } Constraint e201 { Definition: { sqr(x52) + sqr(x53) + sqr(x58) + sqr(x59) - 2*x52*x58 - 2*x53*x59 - 0.887203867225*b16 - 0.887203867225*b38 >= -0.887203867225 } } Constraint e202 { Definition: { sqr(x54) + sqr(x55) + sqr(x58) + sqr(x59) - 2*x54*x58 - 2*x55*x59 - 0.887203867225*b22 - 0.887203867225*b38 >= -0.887203867225 } } Constraint e203 { Definition: { sqr(x56) + sqr(x57) + sqr(x58) + sqr(x59) - 2*x56*x58 - 2*x57*x59 - 0.469370231236*b30 - 0.469370231236*b38 >= -0.469370231236 } } Constraint e204 { Definition: { sqr(x58) + sqr(x59) + sqr(x60) + sqr(x61) - 2*x58*x60 - 2*x59*x61 - 1.436936830729*b38 - 1.436936830729*b42 >= -1.436936830729 } } Constraint e205 { Definition: { sqr(x58) + sqr(x59) + sqr(x62) + sqr(x63) - 2*x58*x62 - 2*x59*x63 - 1.436936830729*b38 - 1.436936830729*b46 >= -1.436936830729 } } Constraint e206 { Definition: { sqr(x58) + sqr(x59) + sqr(x64) + sqr(x65) - 2*x59*x65 - 2*x58*x64 - 3.484990776969*b38 - 3.484990776969*b48 >= -3.484990776969 } } Constraint e207 { Definition: { sqr(x58) + sqr(x59) + sqr(x66) + sqr(x67) - 2*x59*x67 - 2*x58*x66 - 3.484990776969*b38 - 3.484990776969*b50 >= -3.484990776969 } } Constraint e208 { Definition: { sqr(x52) + sqr(x53) + sqr(x60) + sqr(x61) - 2*x52*x60 - 2*x53*x61 - 2.118573403024*b16 - 2.118573403024*b42 >= -2.118573403024 } } Constraint e209 { Definition: { sqr(x54) + sqr(x55) + sqr(x60) + sqr(x61) - 2*x54*x60 - 2*x55*x61 - 2.118573403024*b22 - 2.118573403024*b42 >= -2.118573403024 } } Constraint e210 { Definition: { sqr(x56) + sqr(x57) + sqr(x60) + sqr(x61) - 2*x56*x60 - 2*x57*x61 - 1.436936830729*b30 - 1.436936830729*b42 >= -1.436936830729 } } Constraint e211 { Definition: { sqr(x58) + sqr(x59) + sqr(x60) + sqr(x61) - 2*x58*x60 - 2*x59*x61 - 1.436936830729*b38 - 1.436936830729*b42 >= -1.436936830729 } } Constraint e212 { Definition: { sqr(x60) + sqr(x61) + sqr(x62) + sqr(x63) - 2*x61*x63 - 2*x60*x62 - 2.9321082756*b42 - 2.9321082756*b46 >= -2.9321082756 } } Constraint e213 { Definition: { sqr(x60) + sqr(x61) + sqr(x64) + sqr(x65) - 2*x61*x65 - 2*x60*x64 - 5.6664469849*b42 - 5.6664469849*b48 >= -5.6664469849 } } Constraint e214 { Definition: { sqr(x60) + sqr(x61) + sqr(x66) + sqr(x67) - 2*x60*x66 - 2*x61*x67 - 5.6664469849*b42 - 5.6664469849*b50 >= -5.6664469849 } } Constraint e215 { Definition: { sqr(x52) + sqr(x53) + sqr(x62) + sqr(x63) - 2*x52*x62 - 2*x53*x63 - 2.118573403024*b16 - 2.118573403024*b46 >= -2.118573403024 } } Constraint e216 { Definition: { sqr(x54) + sqr(x55) + sqr(x62) + sqr(x63) - 2*x55*x63 - 2*x54*x62 - 2.118573403024*b22 - 2.118573403024*b46 >= -2.118573403024 } } Constraint e217 { Definition: { sqr(x56) + sqr(x57) + sqr(x62) + sqr(x63) - 2*x56*x62 - 2*x57*x63 - 1.436936830729*b30 - 1.436936830729*b46 >= -1.436936830729 } } Constraint e218 { Definition: { sqr(x58) + sqr(x59) + sqr(x62) + sqr(x63) - 2*x58*x62 - 2*x59*x63 - 1.436936830729*b38 - 1.436936830729*b46 >= -1.436936830729 } } Constraint e219 { Definition: { sqr(x60) + sqr(x61) + sqr(x62) + sqr(x63) - 2*x61*x63 - 2*x60*x62 - 2.9321082756*b42 - 2.9321082756*b46 >= -2.9321082756 } } Constraint e220 { Definition: { sqr(x62) + sqr(x63) + sqr(x64) + sqr(x65) - 2*x62*x64 - 2*x63*x65 - 5.6664469849*b46 - 5.6664469849*b48 >= -5.6664469849 } } Constraint e221 { Definition: { sqr(x62) + sqr(x63) + sqr(x66) + sqr(x67) - 2*x62*x66 - 2*x63*x67 - 5.6664469849*b46 - 5.6664469849*b50 >= -5.6664469849 } } Constraint e222 { Definition: { sqr(x52) + sqr(x53) + sqr(x64) + sqr(x65) - 2*x53*x65 - 2*x52*x64 - 4.509770398884*b16 - 4.509770398884*b48 >= -4.509770398884 } } Constraint e223 { Definition: { sqr(x54) + sqr(x55) + sqr(x64) + sqr(x65) - 2*x55*x65 - 2*x54*x64 - 4.509770398884*b22 - 4.509770398884*b48 >= -4.509770398884 } } Constraint e224 { Definition: { sqr(x56) + sqr(x57) + sqr(x64) + sqr(x65) - 2*x56*x64 - 2*x57*x65 - 3.484990776969*b30 - 3.484990776969*b48 >= -3.484990776969 } } Constraint e225 { Definition: { sqr(x58) + sqr(x59) + sqr(x64) + sqr(x65) - 2*x59*x65 - 2*x58*x64 - 3.484990776969*b38 - 3.484990776969*b48 >= -3.484990776969 } } Constraint e226 { Definition: { sqr(x60) + sqr(x61) + sqr(x64) + sqr(x65) - 2*x61*x65 - 2*x60*x64 - 5.6664469849*b42 - 5.6664469849*b48 >= -5.6664469849 } } Constraint e227 { Definition: { sqr(x62) + sqr(x63) + sqr(x64) + sqr(x65) - 2*x62*x64 - 2*x63*x65 - 5.6664469849*b46 - 5.6664469849*b48 >= -5.6664469849 } } Constraint e228 { Definition: { sqr(x64) + sqr(x65) + sqr(x66) + sqr(x67) - 2*x64*x66 - 2*x65*x67 - 9.2934741904*b48 - 9.2934741904*b50 >= -9.2934741904 } } Constraint e229 { Definition: { sqr(x52) + sqr(x53) + sqr(x66) + sqr(x67) - 2*x53*x67 - 2*x52*x66 - 4.509770398884*b16 - 4.509770398884*b50 >= -4.509770398884 } } Constraint e230 { Definition: { sqr(x54) + sqr(x55) + sqr(x66) + sqr(x67) - 2*x54*x66 - 2*x55*x67 - 4.509770398884*b22 - 4.509770398884*b50 >= -4.509770398884 } } Constraint e231 { Definition: { sqr(x56) + sqr(x57) + sqr(x66) + sqr(x67) - 2*x57*x67 - 2*x56*x66 - 3.484990776969*b30 - 3.484990776969*b50 >= -3.484990776969 } } Constraint e232 { Definition: { sqr(x58) + sqr(x59) + sqr(x66) + sqr(x67) - 2*x59*x67 - 2*x58*x66 - 3.484990776969*b38 - 3.484990776969*b50 >= -3.484990776969 } } Constraint e233 { Definition: { sqr(x60) + sqr(x61) + sqr(x66) + sqr(x67) - 2*x60*x66 - 2*x61*x67 - 5.6664469849*b42 - 5.6664469849*b50 >= -5.6664469849 } } Constraint e234 { Definition: { sqr(x62) + sqr(x63) + sqr(x66) + sqr(x67) - 2*x62*x66 - 2*x63*x67 - 5.6664469849*b46 - 5.6664469849*b50 >= -5.6664469849 } } Constraint e235 { Definition: { sqr(x64) + sqr(x65) + sqr(x66) + sqr(x67) - 2*x64*x66 - 2*x65*x67 - 9.2934741904*b48 - 9.2934741904*b50 >= -9.2934741904 } } Constraint e236 { Definition: { sqr(x52) + sqr(x53) + sqr(x54) + sqr(x55) - 2*x52*x54 - 2*x53*x55 - 1.436939228176*b17 - 1.436939228176*b23 >= -1.436939228176 } } Constraint e237 { Definition: { sqr(x52) + sqr(x53) + sqr(x56) + sqr(x57) - 2*x52*x56 - 2*x53*x57 - 0.887203867225*b17 - 0.887203867225*b31 >= -0.887203867225 } } Constraint e238 { Definition: { sqr(x52) + sqr(x53) + sqr(x58) + sqr(x59) - 2*x52*x58 - 2*x53*x59 - 0.887203867225*b17 - 0.887203867225*b39 >= -0.887203867225 } } Constraint e239 { Definition: { sqr(x52) + sqr(x53) + sqr(x60) + sqr(x61) - 2*x52*x60 - 2*x53*x61 - 2.118573403024*b17 - 2.118573403024*b43 >= -2.118573403024 } } Constraint e240 { Definition: { sqr(x52) + sqr(x53) + sqr(x62) + sqr(x63) - 2*x52*x62 - 2*x53*x63 - 2.118573403024*b17 - 2.118573403024*b47 >= -2.118573403024 } } Constraint e241 { Definition: { sqr(x52) + sqr(x53) + sqr(x64) + sqr(x65) - 2*x53*x65 - 2*x52*x64 - 4.509770398884*b17 - 4.509770398884*b49 >= -4.509770398884 } } Constraint e242 { Definition: { sqr(x52) + sqr(x53) + sqr(x66) + sqr(x67) - 2*x53*x67 - 2*x52*x66 - 4.509770398884*b17 - 4.509770398884*b51 >= -4.509770398884 } } Constraint e243 { Definition: { sqr(x52) + sqr(x53) + sqr(x54) + sqr(x55) - 2*x52*x54 - 2*x53*x55 - 1.436939228176*b17 - 1.436939228176*b23 >= -1.436939228176 } } Constraint e244 { Definition: { sqr(x54) + sqr(x55) + sqr(x56) + sqr(x57) - 2*x54*x56 - 2*x55*x57 - 0.887203867225*b23 - 0.887203867225*b31 >= -0.887203867225 } } Constraint e245 { Definition: { sqr(x54) + sqr(x55) + sqr(x58) + sqr(x59) - 2*x54*x58 - 2*x55*x59 - 0.887203867225*b23 - 0.887203867225*b39 >= -0.887203867225 } } Constraint e246 { Definition: { sqr(x54) + sqr(x55) + sqr(x60) + sqr(x61) - 2*x54*x60 - 2*x55*x61 - 2.118573403024*b23 - 2.118573403024*b43 >= -2.118573403024 } } Constraint e247 { Definition: { sqr(x54) + sqr(x55) + sqr(x62) + sqr(x63) - 2*x55*x63 - 2*x54*x62 - 2.118573403024*b23 - 2.118573403024*b47 >= -2.118573403024 } } Constraint e248 { Definition: { sqr(x54) + sqr(x55) + sqr(x64) + sqr(x65) - 2*x55*x65 - 2*x54*x64 - 4.509770398884*b23 - 4.509770398884*b49 >= -4.509770398884 } } Constraint e249 { Definition: { sqr(x54) + sqr(x55) + sqr(x66) + sqr(x67) - 2*x54*x66 - 2*x55*x67 - 4.509770398884*b23 - 4.509770398884*b51 >= -4.509770398884 } } Constraint e250 { Definition: { sqr(x52) + sqr(x53) + sqr(x56) + sqr(x57) - 2*x52*x56 - 2*x53*x57 - 0.887203867225*b17 - 0.887203867225*b31 >= -0.887203867225 } } Constraint e251 { Definition: { sqr(x54) + sqr(x55) + sqr(x56) + sqr(x57) - 2*x54*x56 - 2*x55*x57 - 0.887203867225*b23 - 0.887203867225*b31 >= -0.887203867225 } } Constraint e252 { Definition: { sqr(x56) + sqr(x57) + sqr(x58) + sqr(x59) - 2*x56*x58 - 2*x57*x59 - 0.469370231236*b31 - 0.469370231236*b39 >= -0.469370231236 } } Constraint e253 { Definition: { sqr(x56) + sqr(x57) + sqr(x60) + sqr(x61) - 2*x56*x60 - 2*x57*x61 - 1.436936830729*b31 - 1.436936830729*b43 >= -1.436936830729 } } Constraint e254 { Definition: { sqr(x56) + sqr(x57) + sqr(x62) + sqr(x63) - 2*x57*x63 - 2*x56*x62 - 1.436936830729*b31 - 1.436936830729*b47 >= -1.436936830729 } } Constraint e255 { Definition: { sqr(x56) + sqr(x57) + sqr(x64) + sqr(x65) - 2*x56*x64 - 2*x57*x65 - 3.484990776969*b31 - 3.484990776969*b49 >= -3.484990776969 } } Constraint e256 { Definition: { sqr(x56) + sqr(x57) + sqr(x66) + sqr(x67) - 2*x57*x67 - 2*x56*x66 - 3.484990776969*b31 - 3.484990776969*b51 >= -3.484990776969 } } Constraint e257 { Definition: { sqr(x52) + sqr(x53) + sqr(x58) + sqr(x59) - 2*x52*x58 - 2*x53*x59 - 0.887203867225*b17 - 0.887203867225*b39 >= -0.887203867225 } } Constraint e258 { Definition: { sqr(x54) + sqr(x55) + sqr(x58) + sqr(x59) - 2*x54*x58 - 2*x55*x59 - 0.887203867225*b23 - 0.887203867225*b39 >= -0.887203867225 } } Constraint e259 { Definition: { sqr(x56) + sqr(x57) + sqr(x58) + sqr(x59) - 2*x56*x58 - 2*x57*x59 - 0.469370231236*b31 - 0.469370231236*b39 >= -0.469370231236 } } Constraint e260 { Definition: { sqr(x58) + sqr(x59) + sqr(x60) + sqr(x61) - 2*x58*x60 - 2*x59*x61 - 1.436936830729*b39 - 1.436936830729*b43 >= -1.436936830729 } } Constraint e261 { Definition: { sqr(x58) + sqr(x59) + sqr(x62) + sqr(x63) - 2*x58*x62 - 2*x59*x63 - 1.436936830729*b39 - 1.436936830729*b47 >= -1.436936830729 } } Constraint e262 { Definition: { sqr(x58) + sqr(x59) + sqr(x64) + sqr(x65) - 2*x59*x65 - 2*x58*x64 - 3.484990776969*b39 - 3.484990776969*b49 >= -3.484990776969 } } Constraint e263 { Definition: { sqr(x58) + sqr(x59) + sqr(x66) + sqr(x67) - 2*x59*x67 - 2*x58*x66 - 3.484990776969*b39 - 3.484990776969*b51 >= -3.484990776969 } } Constraint e264 { Definition: { sqr(x52) + sqr(x53) + sqr(x60) + sqr(x61) - 2*x52*x60 - 2*x53*x61 - 2.118573403024*b17 - 2.118573403024*b43 >= -2.118573403024 } } Constraint e265 { Definition: { sqr(x54) + sqr(x55) + sqr(x60) + sqr(x61) - 2*x54*x60 - 2*x55*x61 - 2.118573403024*b23 - 2.118573403024*b43 >= -2.118573403024 } } Constraint e266 { Definition: { sqr(x56) + sqr(x57) + sqr(x60) + sqr(x61) - 2*x56*x60 - 2*x57*x61 - 1.436936830729*b31 - 1.436936830729*b43 >= -1.436936830729 } } Constraint e267 { Definition: { sqr(x58) + sqr(x59) + sqr(x60) + sqr(x61) - 2*x58*x60 - 2*x59*x61 - 1.436936830729*b39 - 1.436936830729*b43 >= -1.436936830729 } } Constraint e268 { Definition: { sqr(x60) + sqr(x61) + sqr(x62) + sqr(x63) - 2*x61*x63 - 2*x60*x62 - 2.9321082756*b43 - 2.9321082756*b47 >= -2.9321082756 } } Constraint e269 { Definition: { sqr(x60) + sqr(x61) + sqr(x64) + sqr(x65) - 2*x61*x65 - 2*x60*x64 - 5.6664469849*b43 - 5.6664469849*b49 >= -5.6664469849 } } Constraint e270 { Definition: { sqr(x60) + sqr(x61) + sqr(x66) + sqr(x67) - 2*x60*x66 - 2*x61*x67 - 5.6664469849*b43 - 5.6664469849*b51 >= -5.6664469849 } } Constraint e271 { Definition: { sqr(x52) + sqr(x53) + sqr(x62) + sqr(x63) - 2*x52*x62 - 2*x53*x63 - 2.118573403024*b17 - 2.118573403024*b47 >= -2.118573403024 } } Constraint e272 { Definition: { sqr(x54) + sqr(x55) + sqr(x62) + sqr(x63) - 2*x55*x63 - 2*x54*x62 - 2.118573403024*b23 - 2.118573403024*b47 >= -2.118573403024 } } Constraint e273 { Definition: { sqr(x56) + sqr(x57) + sqr(x62) + sqr(x63) - 2*x57*x63 - 2*x56*x62 - 1.436936830729*b31 - 1.436936830729*b47 >= -1.436936830729 } } Constraint e274 { Definition: { sqr(x58) + sqr(x59) + sqr(x62) + sqr(x63) - 2*x58*x62 - 2*x59*x63 - 1.436936830729*b39 - 1.436936830729*b47 >= -1.436936830729 } } Constraint e275 { Definition: { sqr(x60) + sqr(x61) + sqr(x62) + sqr(x63) - 2*x61*x63 - 2*x60*x62 - 2.9321082756*b43 - 2.9321082756*b47 >= -2.9321082756 } } Constraint e276 { Definition: { sqr(x62) + sqr(x63) + sqr(x64) + sqr(x65) - 2*x62*x64 - 2*x63*x65 - 5.6664469849*b47 - 5.6664469849*b49 >= -5.6664469849 } } Constraint e277 { Definition: { sqr(x62) + sqr(x63) + sqr(x66) + sqr(x67) - 2*x62*x66 - 2*x63*x67 - 5.6664469849*b47 - 5.6664469849*b51 >= -5.6664469849 } } Constraint e278 { Definition: { sqr(x52) + sqr(x53) + sqr(x64) + sqr(x65) - 2*x53*x65 - 2*x52*x64 - 4.509770398884*b17 - 4.509770398884*b49 >= -4.509770398884 } } Constraint e279 { Definition: { sqr(x54) + sqr(x55) + sqr(x64) + sqr(x65) - 2*x55*x65 - 2*x54*x64 - 4.509770398884*b23 - 4.509770398884*b49 >= -4.509770398884 } } Constraint e280 { Definition: { sqr(x56) + sqr(x57) + sqr(x64) + sqr(x65) - 2*x56*x64 - 2*x57*x65 - 3.484990776969*b31 - 3.484990776969*b49 >= -3.484990776969 } } Constraint e281 { Definition: { sqr(x58) + sqr(x59) + sqr(x64) + sqr(x65) - 2*x59*x65 - 2*x58*x64 - 3.484990776969*b39 - 3.484990776969*b49 >= -3.484990776969 } } Constraint e282 { Definition: { sqr(x60) + sqr(x61) + sqr(x64) + sqr(x65) - 2*x61*x65 - 2*x60*x64 - 5.6664469849*b43 - 5.6664469849*b49 >= -5.6664469849 } } Constraint e283 { Definition: { sqr(x62) + sqr(x63) + sqr(x64) + sqr(x65) - 2*x62*x64 - 2*x63*x65 - 5.6664469849*b47 - 5.6664469849*b49 >= -5.6664469849 } } Constraint e284 { Definition: { sqr(x64) + sqr(x65) + sqr(x66) + sqr(x67) - 2*x64*x66 - 2*x65*x67 - 9.2934741904*b49 - 9.2934741904*b51 >= -9.2934741904 } } Constraint e285 { Definition: { sqr(x52) + sqr(x53) + sqr(x66) + sqr(x67) - 2*x53*x67 - 2*x52*x66 - 4.509770398884*b17 - 4.509770398884*b51 >= -4.509770398884 } } Constraint e286 { Definition: { sqr(x54) + sqr(x55) + sqr(x66) + sqr(x67) - 2*x54*x66 - 2*x55*x67 - 4.509770398884*b23 - 4.509770398884*b51 >= -4.509770398884 } } Constraint e287 { Definition: { sqr(x56) + sqr(x57) + sqr(x66) + sqr(x67) - 2*x57*x67 - 2*x56*x66 - 3.484990776969*b31 - 3.484990776969*b51 >= -3.484990776969 } } Constraint e288 { Definition: { sqr(x58) + sqr(x59) + sqr(x66) + sqr(x67) - 2*x59*x67 - 2*x58*x66 - 3.484990776969*b39 - 3.484990776969*b51 >= -3.484990776969 } } Constraint e289 { Definition: { sqr(x60) + sqr(x61) + sqr(x66) + sqr(x67) - 2*x60*x66 - 2*x61*x67 - 5.6664469849*b43 - 5.6664469849*b51 >= -5.6664469849 } } Constraint e290 { Definition: { sqr(x62) + sqr(x63) + sqr(x66) + sqr(x67) - 2*x62*x66 - 2*x63*x67 - 5.6664469849*b47 - 5.6664469849*b51 >= -5.6664469849 } } Constraint e291 { Definition: { sqr(x64) + sqr(x65) + sqr(x66) + sqr(x67) - 2*x64*x66 - 2*x65*x67 - 9.2934741904*b49 - 9.2934741904*b51 >= -9.2934741904 } } Constraint e292 { Definition: { sqr(x52) + sqr(x53) + sqr(x60) + sqr(x61) - 2*x52*x60 - 2*x53*x61 + 146.015866806048*b12 <= 146.035526210992 } } Constraint e293 { Definition: { sqr(x52) + sqr(x53) + sqr(x62) + sqr(x63) - 2*x52*x62 - 2*x53*x63 + 146.015866806048*b13 <= 146.035526210992 } } Constraint e294 { Definition: { sqr(x52) + sqr(x53) + sqr(x64) + sqr(x65) - 2*x52*x64 - 2*x53*x65 + 124.074660797768*b14 <= 124.688044241112 } } Constraint e295 { Definition: { sqr(x52) + sqr(x53) + sqr(x66) + sqr(x67) - 2*x52*x66 - 2*x53*x67 + 124.074660797768*b15 <= 124.688044241112 } } Constraint e296 { Definition: { sqr(x52) + sqr(x53) + sqr(x68) + sqr(x69) - 2*x52*x68 - 2*x53*x69 + 111.557223492128*b16 <= 112.885590384432 } } Constraint e297 { Definition: { sqr(x52) + sqr(x53) + sqr(x70) + sqr(x71) - 2*x52*x70 - 2*x53*x71 + 111.557223492128*b17 <= 112.885590384432 } } Constraint e298 { Definition: { sqr(x54) + sqr(x55) + sqr(x60) + sqr(x61) - 2*x54*x60 - 2*x55*x61 + 146.015866806048*b18 <= 146.035526210992 } } Constraint e299 { Definition: { sqr(x54) + sqr(x55) + sqr(x62) + sqr(x63) - 2*x54*x62 - 2*x55*x63 + 146.015866806048*b19 <= 146.035526210992 } } Constraint e300 { Definition: { sqr(x54) + sqr(x55) + sqr(x64) + sqr(x65) - 2*x54*x64 - 2*x55*x65 + 124.074660797768*b20 <= 124.688044241112 } } Constraint e301 { Definition: { sqr(x54) + sqr(x55) + sqr(x66) + sqr(x67) - 2*x54*x66 - 2*x55*x67 + 124.074660797768*b21 <= 124.688044241112 } } Constraint e302 { Definition: { sqr(x54) + sqr(x55) + sqr(x68) + sqr(x69) - 2*x54*x68 - 2*x55*x69 + 111.557223492128*b22 <= 112.885590384432 } } Constraint e303 { Definition: { sqr(x54) + sqr(x55) + sqr(x70) + sqr(x71) - 2*x54*x70 - 2*x55*x71 + 111.557223492128*b23 <= 112.885590384432 } } Constraint e304 { Definition: { sqr(x52) + sqr(x53) + sqr(x56) + sqr(x57) - 2*x52*x56 - 2*x53*x57 + 164.09780773445*b24 <= 164.128395645686 } } Constraint e305 { Definition: { sqr(x54) + sqr(x55) + sqr(x56) + sqr(x57) - 2*x54*x56 - 2*x55*x57 + 164.09780773445*b25 <= 164.128395645686 } } Constraint e306 { Definition: { sqr(x56) + sqr(x57) + sqr(x60) + sqr(x61) - 2*x56*x60 - 2*x57*x61 + 154.924953661458*b26 <= 155.082579335899 } } Constraint e307 { Definition: { sqr(x56) + sqr(x57) + sqr(x62) + sqr(x63) - 2*x56*x62 - 2*x57*x63 + 154.924953661458*b27 <= 155.082579335899 } } Constraint e308 { Definition: { sqr(x56) + sqr(x57) + sqr(x64) + sqr(x65) - 2*x56*x64 - 2*x57*x65 + 132.297461553938*b28 <= 133.379055313947 } } Constraint e309 { Definition: { sqr(x56) + sqr(x57) + sqr(x66) + sqr(x67) - 2*x56*x66 - 2*x57*x67 + 132.297461553938*b29 <= 133.379055313947 } } Constraint e310 { Definition: { sqr(x56) + sqr(x57) + sqr(x68) + sqr(x69) - 2*x56*x68 - 2*x57*x69 + 119.361045500978*b30 <= 121.347332654427 } } Constraint e311 { Definition: { sqr(x56) + sqr(x57) + sqr(x70) + sqr(x71) - 2*x56*x70 - 2*x57*x71 + 119.361045500978*b31 <= 121.347332654427 } } Constraint e312 { Definition: { sqr(x52) + sqr(x53) + sqr(x58) + sqr(x59) - 2*x52*x58 - 2*x53*x59 + 164.09780773445*b32 <= 164.128395645686 } } Constraint e313 { Definition: { sqr(x54) + sqr(x55) + sqr(x58) + sqr(x59) - 2*x54*x58 - 2*x55*x59 + 164.09780773445*b33 <= 164.128395645686 } } Constraint e314 { Definition: { sqr(x58) + sqr(x59) + sqr(x60) + sqr(x61) - 2*x58*x60 - 2*x59*x61 + 154.924953661458*b34 <= 155.082579335899 } } Constraint e315 { Definition: { sqr(x58) + sqr(x59) + sqr(x62) + sqr(x63) - 2*x58*x62 - 2*x59*x63 + 154.924953661458*b35 <= 155.082579335899 } } Constraint e316 { Definition: { sqr(x58) + sqr(x59) + sqr(x64) + sqr(x65) - 2*x58*x64 - 2*x59*x65 + 132.297461553938*b36 <= 133.379055313947 } } Constraint e317 { Definition: { sqr(x58) + sqr(x59) + sqr(x66) + sqr(x67) - 2*x58*x66 - 2*x59*x67 + 132.297461553938*b37 <= 133.379055313947 } } Constraint e318 { Definition: { sqr(x58) + sqr(x59) + sqr(x68) + sqr(x69) - 2*x58*x68 - 2*x59*x69 + 119.361045500978*b38 <= 121.347332654427 } } Constraint e319 { Definition: { sqr(x58) + sqr(x59) + sqr(x70) + sqr(x71) - 2*x58*x70 - 2*x59*x71 + 119.361045500978*b39 <= 121.347332654427 } } Constraint e320 { Definition: { sqr(x60) + sqr(x61) + sqr(x64) + sqr(x65) - 2*x60*x64 - 2*x61*x65 + 116.1156939698*b40 <= 116.3927698742 } } Constraint e321 { Definition: { sqr(x60) + sqr(x61) + sqr(x66) + sqr(x67) - 2*x60*x66 - 2*x61*x67 + 116.1156939698*b41 <= 116.3927698742 } } Constraint e322 { Definition: { sqr(x60) + sqr(x61) + sqr(x68) + sqr(x69) - 2*x60*x68 - 2*x61*x69 + 104.01723378*b42 <= 104.8195839276 } } Constraint e323 { Definition: { sqr(x60) + sqr(x61) + sqr(x70) + sqr(x71) - 2*x60*x70 - 2*x61*x71 + 104.01723378*b43 <= 104.8195839276 } } Constraint e324 { Definition: { sqr(x62) + sqr(x63) + sqr(x64) + sqr(x65) - 2*x62*x64 - 2*x63*x65 + 116.1156939698*b44 <= 116.3927698742 } } Constraint e325 { Definition: { sqr(x62) + sqr(x63) + sqr(x66) + sqr(x67) - 2*x62*x66 - 2*x63*x67 + 116.1156939698*b45 <= 116.3927698742 } } Constraint e326 { Definition: { sqr(x62) + sqr(x63) + sqr(x68) + sqr(x69) - 2*x62*x68 - 2*x63*x69 + 104.01723378*b46 <= 104.8195839276 } } Constraint e327 { Definition: { sqr(x62) + sqr(x63) + sqr(x70) + sqr(x71) - 2*x62*x70 - 2*x63*x71 + 104.01723378*b47 <= 104.8195839276 } } Constraint e328 { Definition: { sqr(x64) + sqr(x65) + sqr(x68) + sqr(x69) - 2*x64*x68 - 2*x65*x69 + 85.6376636642*b48 <= 85.6894881867 } } Constraint e329 { Definition: { sqr(x64) + sqr(x65) + sqr(x70) + sqr(x71) - 2*x64*x70 - 2*x65*x71 + 85.6376636642*b49 <= 85.6894881867 } } Constraint e330 { Definition: { sqr(x66) + sqr(x67) + sqr(x68) + sqr(x69) - 2*x66*x68 - 2*x67*x69 + 85.6376636642*b50 <= 85.6894881867 } } Constraint e331 { Definition: { sqr(x66) + sqr(x67) + sqr(x70) + sqr(x71) - 2*x66*x70 - 2*x67*x71 + 85.6376636642*b51 <= 85.6894881867 } } Constraint e332 { Definition: b2 + b12 + b13 + b14 + b15 + b16 + b17 <= 1; } Constraint e333 { Definition: b3 + b18 + b19 + b20 + b21 + b22 + b23 <= 1; } Constraint e334 { Definition: b4 + b24 + b25 + b26 + b27 + b28 + b29 + b30 + b31 <= 1; } Constraint e335 { Definition: b5 + b32 + b33 + b34 + b35 + b36 + b37 + b38 + b39 <= 1; } Constraint e336 { Definition: b6 + b40 + b41 + b42 + b43 <= 1; } Constraint e337 { Definition: b7 + b44 + b45 + b46 + b47 <= 1; } Constraint e338 { Definition: b8 + b48 + b49 <= 1; } Constraint e339 { Definition: b9 + b50 + b51 <= 1; } Constraint e340 { Definition: b10 <= 1; } Constraint e341 { Definition: b11 <= 1; } Constraint e342 { Definition: - b6 + b12 <= 0; } Constraint e343 { Definition: - b7 + b13 <= 0; } Constraint e344 { Definition: - b8 + b14 <= 0; } Constraint e345 { Definition: - b9 + b15 <= 0; } Constraint e346 { Definition: - b10 + b16 <= 0; } Constraint e347 { Definition: - b11 + b17 <= 0; } Constraint e348 { Definition: - b6 + b18 <= 0; } Constraint e349 { Definition: - b7 + b19 <= 0; } Constraint e350 { Definition: - b8 + b20 <= 0; } Constraint e351 { Definition: - b9 + b21 <= 0; } Constraint e352 { Definition: - b10 + b22 <= 0; } Constraint e353 { Definition: - b11 + b23 <= 0; } Constraint e354 { Definition: - b2 + b24 <= 0; } Constraint e355 { Definition: - b3 + b25 <= 0; } Constraint e356 { Definition: - b6 + b26 <= 0; } Constraint e357 { Definition: - b7 + b27 <= 0; } Constraint e358 { Definition: - b8 + b28 <= 0; } Constraint e359 { Definition: - b9 + b29 <= 0; } Constraint e360 { Definition: - b10 + b30 <= 0; } Constraint e361 { Definition: - b11 + b31 <= 0; } Constraint e362 { Definition: - b2 + b32 <= 0; } Constraint e363 { Definition: - b3 + b33 <= 0; } Constraint e364 { Definition: - b6 + b34 <= 0; } Constraint e365 { Definition: - b7 + b35 <= 0; } Constraint e366 { Definition: - b8 + b36 <= 0; } Constraint e367 { Definition: - b9 + b37 <= 0; } Constraint e368 { Definition: - b10 + b38 <= 0; } Constraint e369 { Definition: - b11 + b39 <= 0; } Constraint e370 { Definition: - b8 + b40 <= 0; } Constraint e371 { Definition: - b9 + b41 <= 0; } Constraint e372 { Definition: - b10 + b42 <= 0; } Constraint e373 { Definition: - b11 + b43 <= 0; } Constraint e374 { Definition: - b8 + b44 <= 0; } Constraint e375 { Definition: - b9 + b45 <= 0; } Constraint e376 { Definition: - b10 + b46 <= 0; } Constraint e377 { Definition: - b11 + b47 <= 0; } Constraint e378 { Definition: - b10 + b48 <= 0; } Constraint e379 { Definition: - b11 + b49 <= 0; } Constraint e380 { Definition: - b10 + b50 <= 0; } Constraint e381 { Definition: - b11 + b51 <= 0; } Constraint e382 { Definition: x52 - x54 <= 0; } Constraint e383 { Definition: x56 - x58 <= 0; } Constraint e384 { Definition: x60 - x62 <= 0; } Constraint e385 { Definition: x64 - x66 <= 0; } Constraint e386 { Definition: x68 - x70 <= 0; } Procedure MainInitialization { Body: { x52.lower := 0.599362; x52.upper := 9.400638; x53.lower := 0.599362; x53.upper := 9.400638; x54.lower := 0.599362; x54.upper := 9.400638; x55.lower := 0.599362; x55.upper := 9.400638; x56.lower := 0.342553; x56.upper := 9.657447; x57.lower := 0.342553; x57.upper := 9.657447; x58.lower := 0.342553; x58.upper := 9.657447; x59.lower := 0.342553; x59.upper := 9.657447; x60.lower := 0.85617; x60.upper := 9.14383; x61.lower := 0.85617; x61.upper := 9.14383; x62.lower := 0.85617; x62.upper := 9.14383; x63.lower := 0.85617; x63.upper := 9.14383; x64.lower := 1.52426; x64.upper := 8.47574; x65.lower := 1.52426; x65.upper := 8.47574; x66.lower := 1.52426; x66.upper := 8.47574; x67.lower := 1.52426; x67.upper := 8.47574; x68.lower := 1.93213; x68.upper := 8.06787; x69.lower := 1.93213; x69.upper := 8.06787; x70.lower := 1.93213; x70.upper := 8.06787; x71.lower := 1.93213; x71.upper := 8.06787; } } MathematicalProgram ringpack_10_1 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve ringpack_10_1; } } Procedure MainTermination { Body: { return 1; } } }