# QCP written by GAMS Convert at 02/15/18 15:46:29 # # Equation counts # Total E G L N X C B # 210 5 179 26 0 0 0 0 # # Variable counts # x b i s1s s2s sc si # Total cont binary integer sos1 sos2 scont sint # 18 18 0 0 0 0 0 0 # FX 0 0 0 0 0 0 0 0 # # Nonzero counts # Total const NL DLL # 1265 177 1088 0 # # Reformulation has removed 1 variable and 1 equation var x2 >= 0, <= 6; var x3 >= -1, <= 1; var x4 >= -1, <= 1; var x5 := 1.59481484, >= 1.59481484, <= 4.40518516; var x6 >= -1, <= 1; var x7 >= 0, <= 1; var x8 := 1.42893129, >= 1.42893129, <= 4.57106871; var x9 >= -1, <= 1; var x10 >= -1, <= 1; var x11 := 1.52785695, >= 1.52785695, <= 4.47214305; var x12 >= -1, <= 1; var x13 >= -1, <= 1; var x14 := 1.04912586, >= 1.04912586, <= 4.95087414; var x15 := 1.59481484, >= 1.59481484, <= 8.40518516; var x16 := 1.42893129, >= 1.42893129, <= 8.57106871; var x17 := 1.52785695, >= 1.52785695, <= 8.47214305; var x18 := 1.04912586, >= 1.04912586, <= 8.95087414; minimize obj: x2; subject to e2: 0.20410502*x3 + 2.24629156*x4 - x5 <= 0; e3: 3.94678752*x6 - 1.42893791*x7 - x8 <= 0; e4: - 1.52786255*x9 + 2.47212728*x10 - x11 <= 0; e5: 0.43022284*x12 + 1.63415571*x13 - x14 <= 0; e6: 3.40502701*x3 - 1.59481484*x4 - x5 <= 0; e7: - 6.05321248*x6 - 1.42893791*x7 - x8 <= 0; e8: 2.47213745*x9 + 0.47212728*x10 - x11 <= 0; e9: 1.60415853*x12 - 1.04912586*x13 - x14 <= 0; e10: - 4.40522266*x3 - 1.59481484*x4 - x5 <= 0; e11: 0.19678752*x6 + 1.69606209*x7 - x8 <= 0; e12: 3.47213745*x9 - 1.52787272*x10 - x11 <= 0; e13: - 3.14748592*x12 - 1.04912586*x13 - x14 <= 0; e14: - 1.52786255*x9 - 1.52787272*x10 - x11 <= 0; e15: x2 + 0.20410502*x3 + 2.24629156*x4 - x5 >= 0; e16: x2 + 3.94678752*x6 - 1.42893791*x7 - x8 >= 0; e17: x2 - 1.52786255*x9 + 2.47212728*x10 - x11 >= 0; e18: x2 + 0.43022284*x12 + 1.63415571*x13 - x14 >= 0; e19: x2 + 3.40502701*x3 - 1.59481484*x4 - x5 >= 0; e20: x2 - 6.05321248*x6 - 1.42893791*x7 - x8 >= 0; e21: x2 + 2.47213745*x9 + 0.47212728*x10 - x11 >= 0; e22: x2 + 1.60415853*x12 - 1.04912586*x13 - x14 >= 0; e23: x2 - 4.40522266*x3 - 1.59481484*x4 - x5 >= 0; e24: x2 + 0.19678752*x6 + 1.69606209*x7 - x8 >= 0; e25: x2 + 3.47213745*x9 - 1.52787272*x10 - x11 >= 0; e26: x2 - 3.14748592*x12 - 1.04912586*x13 - x14 >= 0; e27: x2 - x5 >= 0; e28: x2 - x8 >= 0; e29: x2 - 1.52786255*x9 - 1.52787272*x10 - x11 >= 0; e30: x2 - x14 >= 0; e31: - 2.24629156*x3 + 0.20410502*x4 - x15 <= 0; e32: 1.42893791*x6 + 3.94678752*x7 - x16 <= 0; e33: - 2.47212728*x9 - 1.52786255*x10 - x17 <= 0; e34: - 1.63415571*x12 + 0.43022284*x13 - x18 <= 0; e35: 1.59481484*x3 + 3.40502701*x4 - x15 <= 0; e36: 1.42893791*x6 - 6.05321248*x7 - x16 <= 0; e37: - 0.47212728*x9 + 2.47213745*x10 - x17 <= 0; e38: 1.04912586*x12 + 1.60415853*x13 - x18 <= 0; e39: 1.59481484*x3 - 4.40522266*x4 - x15 <= 0; e40: - 1.69606209*x6 + 0.19678752*x7 - x16 <= 0; e41: 1.52787272*x9 + 3.47213745*x10 - x17 <= 0; e42: 1.04912586*x12 - 3.14748592*x13 - x18 <= 0; e43: 1.52787272*x9 - 1.52786255*x10 - x17 <= 0; e44: - 2.24629156*x3 + 0.20410502*x4 - x15 >= -10; e45: 1.42893791*x6 + 3.94678752*x7 - x16 >= -10; e46: - 2.47212728*x9 - 1.52786255*x10 - x17 >= -10; e47: - 1.63415571*x12 + 0.43022284*x13 - x18 >= -10; e48: 1.59481484*x3 + 3.40502701*x4 - x15 >= -10; e49: 1.42893791*x6 - 6.05321248*x7 - x16 >= -10; e50: - 0.47212728*x9 + 2.47213745*x10 - x17 >= -10; e51: 1.04912586*x12 + 1.60415853*x13 - x18 >= -10; e52: 1.59481484*x3 - 4.40522266*x4 - x15 >= -10; e53: - 1.69606209*x6 + 0.19678752*x7 - x16 >= -10; e54: 1.52787272*x9 + 3.47213745*x10 - x17 >= -10; e55: 1.04912586*x12 - 3.14748592*x13 - x18 >= -10; e56: 1.52787272*x9 - 1.52786255*x10 - x17 >= -10; e57: x3^2 + x4^2 = 1; e58: x6^2 + x7^2 = 1; e59: x9^2 + x10^2 = 1; e60: x12^2 + x13^2 = 1; e61: x5^2 - 2*x8*x5 + x8^2 + x15^2 - 2*x16*x15 + x16^2 >= 9.143040659; e62: x5^2 - 2*x11*x5 + x11^2 + x15^2 - 2*x17*x15 + x17^2 >= 9.751079108; e63: x5^2 - 2*x14*x5 + x14^2 + x15^2 - 2*x18*x15 + x18^2 >= 6.990422425; e64: x5^2 - 4.5236206*x6*x5 - 1.06782914*x7*x5 - 2*x8*x5 + 5.400850601*x6^2 + 4.5236206*x8*x6 + 1.06782914*x15*x6 - 1.06782914*x16*x6 + 5.400850601*x7^2 + 1.06782914*x8*x7 - 4.5236206*x15*x7 + 4.5236206*x16*x7 + x8^2 + x15^2 - 2*x16*x15 + x16^2 >= 6.199294212; e65: x5^2 + 4.3914795*x9*x5 - 1.47802734*x10*x5 - 2*x11*x5 + 5.367414254*x9*x9 - 4.3914795*x11*x9 + 1.47802734*x15*x9 - 1.47802734*x17*x9 + 5.367414254* x10^2 + 1.47802734*x11*x10 + 4.3914795*x15*x10 - 4.3914795*x17*x10 + x11^2 + x15^2 - 2*x17*x15 + x17^2 >= 5.681888199; e66: x5^2 - 3.02492942*x12*x5 - 1.00827778*x13*x5 - 2*x14*x5 + 2.541705519*x12^ 2 + 3.02492942*x14*x12 + 1.00827778*x15*x12 - 1.00827778*x18*x12 + 2.541705519*x13^2 + 1.00827778*x14*x13 - 3.02492942*x15*x13 + 3.02492942* x18*x13 + x14^2 + x15^2 - 2*x18*x15 + x18^2 >= 4.578751829; e67: x5^2 + 4.009552*x6*x5 - 1.45166714*x7*x5 - 2*x8*x5 + 4.545961182*x6^2 - 4.009552*x8*x6 + 1.45166714*x15*x6 - 1.45166714*x16*x6 + 4.545961182*x7^2 + 1.45166714*x8*x7 + 4.009552*x15*x7 - 4.009552*x16*x7 + x8^2 + x15^2 - 2 *x16*x15 + x16^2 >= 5.280432558; e68: x5^2 - 2.10591634*x9*x5 + 3.40738932*x10*x5 - 2*x11*x5 + 4.011296402*x9*x9 + 2.10591634*x11*x9 - 3.40738932*x15*x9 + 3.40738932*x17*x9 + 4.011296402 *x10^2 - 3.40738932*x11*x10 - 2.10591634*x15*x10 + 2.10591634*x17*x10 + x11^2 + x15^2 - 2*x17*x15 + x17^2 >= 4.28373765; e69: x5^2 + 2.26962754*x12*x5 - 1.48442486*x13*x5 - 2*x14*x5 + 1.838681584*x12^ 2 - 2.26962754*x14*x12 + 1.48442486*x15*x12 - 1.48442486*x18*x12 + 1.838681584*x13^2 + 1.48442486*x14*x13 + 2.26962754*x15*x13 - 2.26962754* x18*x13 + x14^2 + x15^2 - 2*x18*x15 + x18^2 >= 3.616570413; e70: x5^2 - 7.357076*x6*x5 - 1.7367363*x7*x5 - 2*x8*x5 + 14.28570506*x6^2 + 7.357076*x8*x6 + 1.7367363*x15*x6 - 1.7367363*x16*x6 + 14.28570506*x7^2 + 1.7367363*x8*x7 - 7.357076*x15*x7 + 7.357076*x16*x7 + x8^2 + x15^2 - 2*x16 *x15 + x16^2 >= 4.645682774; e71: x5^2 + 2.9976666*x9*x5 - 0.70766974*x10*x5 - 2*x11*x5 + 2.371700376*x9*x9 - 2.9976666*x11*x9 + 0.70766974*x15*x9 - 0.70766974*x17*x9 + 2.371700376* x10^2 + 0.70766974*x11*x10 + 2.9976666*x15*x10 - 2.9976666*x17*x10 + x11^2 + x15^2 - 2*x17*x15 + x17^2 >= 7.666545219; e72: x5^2 - 4.59619514*x12*x5 - 1.53205596*x13*x5 - 2*x14*x5 + 5.868051307*x12^ 2 + 4.59619514*x14*x12 + 1.53205596*x15*x12 - 1.53205596*x18*x12 + 5.868051307*x13^2 + 1.53205596*x14*x13 - 4.59619514*x15*x13 + 4.59619514* x18*x13 + x14^2 + x15^2 - 2*x18*x15 + x18^2 >= 3.526556221; e73: x5^2 - 9.1317749*x6*x5 - 2.15565364*x7*x5 - 2*x8*x5 + 22.00903886*x6^2 + 9.1317749*x8*x6 + 2.15565364*x15*x6 - 2.15565364*x16*x6 + 22.00903886*x7^2 + 2.15565364*x8*x7 - 9.1317749*x15*x7 + 9.1317749*x16*x7 + x8^2 + x15^2 - 2*x16*x15 + x16^2 >= 3.786618307; e74: x5^2 - 2.5314331*x9*x5 - 2.53149414*x10*x5 - 2*x11*x5 + 3.20415403*x9^2 + 2.5314331*x11*x9 + 2.53149414*x15*x9 - 2.53149414*x17*x9 + 3.20415403*x10^ 2 + 2.53149414*x11*x10 - 2.5314331*x15*x10 + 2.5314331*x17*x10 + x11^2 + x15^2 - 2*x17*x15 + x17^2 >= 3.448227983; e75: x5^2 + 0.65916112*x12*x5 + 2.50375742*x13*x5 - 2*x14*x5 + 1.67582365*x12* x12 - 0.65916112*x14*x12 - 2.50375742*x15*x12 + 2.50375742*x18*x12 + 1.67582365*x13^2 - 2.50375742*x14*x13 + 0.65916112*x15*x13 - 0.65916112* x18*x13 + x14^2 + x15^2 - 2*x18*x15 + x18^2 >= 3.386493673; e76: x8^2 - 2*x11*x8 + x11^2 + x16^2 - 2*x17*x16 + x17^2 >= 8.742596696; e77: x8^2 - 2*x14*x8 + x14^2 + x16^2 - 2*x18*x16 + x18^2 >= 6.140767239; e78: x8^2 + 4.3914795*x9*x8 - 1.47802734*x10*x8 - 2*x11*x8 + 5.367414254*x9*x9 - 4.3914795*x11*x9 + 1.47802734*x16*x9 - 1.47802734*x17*x9 + 5.367414254* x10^2 + 1.47802734*x11*x10 + 4.3914795*x16*x10 - 4.3914795*x17*x10 + x11^2 + x16^2 - 2*x17*x16 + x17^2 >= 4.918581883; e79: x8^2 - 3.02492942*x12*x8 - 1.00827778*x13*x8 - 2*x14*x8 + 2.541705519*x12^ 2 + 3.02492942*x14*x12 + 1.00827778*x16*x12 - 1.00827778*x18*x12 + 2.541705519*x13^2 + 1.00827778*x14*x13 - 3.02492942*x16*x13 + 3.02492942* x18*x13 + x14^2 + x16^2 - 2*x18*x16 + x18^2 >= 3.896353337; e80: x8^2 - 2.10591634*x9*x8 + 3.40738932*x10*x8 - 2*x11*x8 + 4.011296402*x9*x9 + 2.10591634*x11*x9 - 3.40738932*x16*x9 + 3.40738932*x17*x9 + 4.011296402 *x10^2 - 3.40738932*x11*x10 - 2.10591634*x16*x10 + 2.10591634*x17*x10 + x11^2 + x16^2 - 2*x17*x16 + x17^2 >= 3.624590258; e81: x8^2 + 2.26962754*x12*x8 - 1.48442486*x13*x8 - 2*x14*x8 + 1.838681584*x12^ 2 - 2.26962754*x14*x12 + 1.48442486*x16*x12 - 1.48442486*x18*x12 + 1.838681584*x13^2 + 1.48442486*x14*x13 + 2.26962754*x16*x13 - 2.26962754* x18*x13 + x14^2 + x16^2 - 2*x18*x16 + x18^2 >= 3.013156892; e82: x8^2 + 2.9976666*x9*x8 - 0.70766974*x10*x8 - 2*x11*x8 + 2.371700376*x9*x9 - 2.9976666*x11*x9 + 0.70766974*x16*x9 - 0.70766974*x17*x9 + 2.371700376* x10^2 + 0.70766974*x11*x10 + 2.9976666*x16*x10 - 2.9976666*x17*x10 + x11^2 + x16^2 - 2*x17*x16 + x17^2 >= 6.775448344; e83: x8^2 - 4.59619514*x12*x8 - 1.53205596*x13*x8 - 2*x14*x8 + 5.868051307*x12^ 2 + 4.59619514*x14*x12 + 1.53205596*x16*x12 - 1.53205596*x18*x12 + 5.868051307*x13^2 + 1.53205596*x14*x13 - 4.59619514*x16*x13 + 4.59619514* x18*x13 + x14^2 + x16^2 - 2*x18*x16 + x18^2 >= 2.931043913; e84: x8^2 - 2.5314331*x9*x8 - 2.53149414*x10*x8 - 2*x11*x8 + 3.20415403*x9^2 + 2.5314331*x11*x9 + 2.53149414*x16*x9 - 2.53149414*x17*x9 + 3.20415403*x10^ 2 + 2.53149414*x11*x10 - 2.5314331*x16*x10 + 2.5314331*x17*x10 + x11^2 + x16^2 - 2*x17*x16 + x17^2 >= 2.859673574; e85: x8^2 + 0.65916112*x12*x8 + 2.50375742*x13*x8 - 2*x14*x8 + 1.67582365*x12* x12 - 0.65916112*x14*x12 - 2.50375742*x16*x12 + 2.50375742*x18*x12 + 1.67582365*x13^2 - 2.50375742*x14*x13 + 0.65916112*x16*x13 - 0.65916112* x18*x13 + x14^2 + x16^2 - 2*x18*x16 + x18^2 >= 2.803478999; e86: x11^2 - 2*x14*x11 + x14^2 + x17^2 - 2*x18*x17 + x18^2 >= 6.640840403; e87: x11^2 - 3.02492942*x12*x11 - 1.00827778*x13*x11 - 2*x14*x11 + 2.541705519* x12^2 + 3.02492942*x14*x12 + 1.00827778*x17*x12 - 1.00827778*x18*x12 + 2.541705519*x13^2 + 1.00827778*x14*x13 - 3.02492942*x17*x13 + 3.02492942* x18*x13 + x14^2 + x17^2 - 2*x18*x17 + x18^2 >= 4.296681958; e88: x11^2 + 2.26962754*x12*x11 - 1.48442486*x13*x11 - 2*x14*x11 + 1.838681584* x12^2 - 2.26962754*x14*x12 + 1.48442486*x17*x12 - 1.48442486*x18*x12 + 1.838681584*x13^2 + 1.48442486*x14*x13 + 2.26962754*x17*x13 - 2.26962754* x18*x13 + x14^2 + x17^2 - 2*x18*x17 + x18^2 >= 3.366382347; e89: x11^2 - 4.59619514*x12*x11 - 1.53205596*x13*x11 - 2*x14*x11 + 5.868051307* x12^2 + 4.59619514*x14*x12 + 1.53205596*x17*x12 - 1.53205596*x18*x12 + 5.868051307*x13^2 + 1.53205596*x14*x13 - 4.59619514*x17*x13 + 4.59619514* x18*x13 + x14^2 + x17^2 - 2*x18*x17 + x18^2 >= 3.279557433; e90: x11^2 + 0.65916112*x12*x11 + 2.50375742*x13*x11 - 2*x14*x11 + 1.67582365* x12^2 - 0.65916112*x14*x12 - 2.50375742*x17*x12 + 2.50375742*x18*x12 + 1.67582365*x13^2 - 2.50375742*x14*x13 + 0.65916112*x17*x13 - 0.65916112* x18*x13 + x14^2 + x17^2 - 2*x18*x17 + x18^2 >= 3.144539478; e91: 5.662725869*x3^2 + 4.47509892*x5*x3 - 4.47509892*x8*x3 - 1.61999788*x15*x3 + 1.61999788*x16*x3 + 5.662725869*x4^2 + 1.61999788*x5*x4 - 1.61999788*x8 *x4 + 4.47509892*x15*x4 - 4.47509892*x16*x4 + x5^2 - 2*x8*x5 + x8^2 + x15^ 2 - 2*x16*x15 + x16^2 >= 4.900598653; e92: 5.662725869*x3^2 + 4.47509892*x5*x3 - 4.47509892*x11*x3 - 1.61999788*x15* x3 + 1.61999788*x17*x3 + 5.662725869*x4^2 + 1.61999788*x5*x4 - 1.61999788* x11*x4 + 4.47509892*x15*x4 - 4.47509892*x17*x4 + x5^2 - 2*x11*x5 + x11^2 + x15^2 - 2*x17*x15 + x17^2 >= 5.348374259; e93: 5.662725869*x3^2 + 4.47509892*x5*x3 - 4.47509892*x14*x3 - 1.61999788*x15* x3 + 1.61999788*x18*x3 + 5.662725869*x4^2 + 1.61999788*x5*x4 - 1.61999788* x14*x4 + 4.47509892*x15*x4 - 4.47509892*x18*x4 + x5^2 - 2*x14*x5 + x14^2 + x15^2 - 2*x18*x15 + x18^2 >= 3.363277788; e94: 5.662725869*x3^2 + 4.47509892*x5*x3 - 10.9867653*x6*x3 + 1.274807375*x7*x3 - 4.47509892*x8*x3 - 1.61999788*x15*x3 + 1.61999788*x16*x3 + 5.662725869* x4^2 + 1.61999788*x5*x4 - 1.274807375*x6*x4 - 10.9867653*x7*x4 - 1.61999788*x8*x4 + 4.47509892*x15*x4 - 4.47509892*x16*x4 + x5^2 - 4.5236206*x6*x5 - 1.06782914*x7*x5 - 2*x8*x5 + 5.400850601*x6^2 + 4.5236206*x8*x6 + 1.06782914*x15*x6 - 1.06782914*x16*x6 + 5.400850601*x7* x7 + 1.06782914*x8*x7 - 4.5236206*x15*x7 + 4.5236206*x16*x7 + x8^2 + x15* x15 - 2*x16*x15 + x16^2 >= 2.821800742; e95: 5.662725869*x3^2 + 4.47509892*x5*x3 + 8.628952005*x9*x3 - 6.864253017*x10* x3 - 4.47509892*x11*x3 - 1.61999788*x15*x3 + 1.61999788*x17*x3 + 5.662725869*x4^2 + 1.61999788*x5*x4 + 6.864253017*x9*x4 + 8.628952005*x10* x4 - 1.61999788*x11*x4 + 4.47509892*x15*x4 - 4.47509892*x17*x4 + x5*x5 + 4.3914795*x9*x5 - 1.47802734*x10*x5 - 2*x11*x5 + 5.367414254*x9^2 - 4.3914795*x11*x9 + 1.47802734*x15*x9 - 1.47802734*x17*x9 + 5.367414254*x10 ^2 + 1.47802734*x11*x10 + 4.3914795*x15*x10 - 4.3914795*x17*x10 + x11^2 + x15^2 - 2*x17*x15 + x17^2 >= 2.476388832; e96: 5.662725869*x3^2 + 4.47509892*x5*x3 - 7.585133123*x12*x3 + 0.1941182216* x13*x3 - 4.47509892*x14*x3 - 1.61999788*x15*x3 + 1.61999788*x18*x3 + 5.662725869*x4^2 + 1.61999788*x5*x4 - 0.1941182216*x12*x4 - 7.585133123* x13*x4 - 1.61999788*x14*x4 + 4.47509892*x15*x4 - 4.47509892*x18*x4 + x5*x5 - 3.02492942*x12*x5 - 1.00827778*x13*x5 - 2*x14*x5 + 2.541705519*x12*x12 + 3.02492942*x14*x12 + 1.00827778*x15*x12 - 1.00827778*x18*x12 + 2.541705519*x13^2 + 1.00827778*x14*x13 - 3.02492942*x15*x13 + 3.02492942* x18*x13 + x14^2 + x15^2 - 2*x18*x15 + x18^2 >= 1.768328864; e97: 5.662725869*x3^2 + 4.47509892*x5*x3 + 7.795722068*x6*x3 - 6.495909895*x7* x3 - 4.47509892*x8*x3 - 1.61999788*x15*x3 + 1.61999788*x16*x3 + 5.662725869*x4^2 + 1.61999788*x5*x4 + 6.495909895*x6*x4 + 7.795722068*x7* x4 - 1.61999788*x8*x4 + 4.47509892*x15*x4 - 4.47509892*x16*x4 + x5^2 + 4.009552*x6*x5 - 1.45166714*x7*x5 - 2*x8*x5 + 4.545961182*x6^2 - 4.009552* x8*x6 + 1.45166714*x15*x6 - 1.45166714*x16*x6 + 4.545961182*x7*x7 + 1.45166714*x8*x7 + 4.009552*x15*x7 - 4.009552*x16*x7 + x8^2 + x15*x15 - 2* x16*x15 + x16^2 >= 2.213854236; e98: 5.662725869*x3^2 + 4.47509892*x5*x3 - 1.952110232*x9*x3 + 9.329992136*x10* x3 - 4.47509892*x11*x3 - 1.61999788*x15*x3 + 1.61999788*x17*x3 + 5.662725869*x4^2 + 1.61999788*x5*x4 - 9.329992136*x9*x4 - 1.952110232*x10* x4 - 1.61999788*x11*x4 + 4.47509892*x15*x4 - 4.47509892*x17*x4 + x5*x5 - 2.10591634*x9*x5 + 3.40738932*x10*x5 - 2*x11*x5 + 4.011296402*x9^2 + 2.10591634*x11*x9 - 3.40738932*x15*x9 + 3.40738932*x17*x9 + 4.011296402* x10^2 - 3.40738932*x11*x10 - 2.10591634*x15*x10 + 2.10591634*x17*x10 + x11 ^2 + x15^2 - 2*x17*x15 + x17^2 >= 1.586850817; e99: 5.662725869*x3^2 + 4.47509892*x5*x3 + 3.876021313*x12*x3 - 5.159869945*x13 *x3 - 4.47509892*x14*x3 - 1.61999788*x15*x3 + 1.61999788*x18*x3 + 5.662725869*x4^2 + 1.61999788*x5*x4 + 5.159869945*x12*x4 + 3.876021313*x13 *x4 - 1.61999788*x14*x4 + 4.47509892*x15*x4 - 4.47509892*x18*x4 + x5*x5 + 2.26962754*x12*x5 - 1.48442486*x13*x5 - 2*x14*x5 + 1.838681584*x12*x12 - 2.26962754*x14*x12 + 1.48442486*x15*x12 - 1.48442486*x18*x12 + 1.838681584 *x13^2 + 1.48442486*x14*x13 + 2.26962754*x15*x13 - 2.26962754*x18*x13 + x14^2 + x15^2 - 2*x18*x15 + x18^2 >= 1.19183448; e100: 5.662725869*x3^2 + 4.47509892*x5*x3 - 17.86857599*x6*x3 + 2.073190391*x7* x3 - 4.47509892*x8*x3 - 1.61999788*x15*x3 + 1.61999788*x16*x3 + 5.662725869*x4^2 + 1.61999788*x5*x4 - 2.073190391*x6*x4 - 17.86857599*x7* x4 - 1.61999788*x8*x4 + 4.47509892*x15*x4 - 4.47509892*x16*x4 + x5^2 - 7.357076*x6*x5 - 1.7367363*x7*x5 - 2*x8*x5 + 14.28570506*x6^2 + 7.357076* x8*x6 + 1.7367363*x15*x6 - 1.7367363*x16*x6 + 14.28570506*x7^2 + 1.7367363*x8*x7 - 7.357076*x15*x7 + 7.357076*x16*x7 + x8^2 + x15^2 - 2* x16*x15 + x16^2 >= 1.81001519; e101: 5.662725869*x3^2 + 4.47509892*x5*x3 + 6.134215543*x9*x3 - 4.011552813*x10 *x3 - 4.47509892*x11*x3 - 1.61999788*x15*x3 + 1.61999788*x17*x3 + 5.662725869*x4^2 + 1.61999788*x5*x4 + 4.011552813*x9*x4 + 6.134215543*x10 *x4 - 1.61999788*x11*x4 + 4.47509892*x15*x4 - 4.47509892*x17*x4 + x5*x5 + 2.9976666*x9*x5 - 0.70766974*x10*x5 - 2*x11*x5 + 2.371700376*x9^2 - 2.9976666*x11*x9 + 0.70766974*x15*x9 - 0.70766974*x17*x9 + 2.371700376* x10^2 + 0.70766974*x11*x10 + 2.9976666*x15*x10 - 2.9976666*x17*x10 + x11^ 2 + x15^2 - 2*x17*x15 + x17^2 >= 3.837039023; e102: 5.662725869*x3^2 + 4.47509892*x5*x3 - 11.52517766*x12*x3 + 0.2948622054* x13*x3 - 4.47509892*x14*x3 - 1.61999788*x15*x3 + 1.61999788*x18*x3 + 5.662725869*x4^2 + 1.61999788*x5*x4 - 0.2948622054*x12*x4 - 11.52517766* x13*x4 - 1.61999788*x14*x4 + 4.47509892*x15*x4 - 4.47509892*x18*x4 + x5* x5 - 4.59619514*x12*x5 - 1.53205596*x13*x5 - 2*x14*x5 + 5.868051307*x12* x12 + 4.59619514*x14*x12 + 1.53205596*x15*x12 - 1.53205596*x18*x12 + 5.868051307*x13^2 + 1.53205596*x14*x13 - 4.59619514*x15*x13 + 4.59619514* x18*x13 + x14^2 + x15^2 - 2*x18*x15 + x18^2 >= 1.140402251; e103: 5.662725869*x3^2 + 4.47509892*x5*x3 - 22.17887516*x6*x3 + 2.573346351*x7* x3 - 4.47509892*x8*x3 - 1.61999788*x15*x3 + 1.61999788*x16*x3 + 5.662725869*x4^2 + 1.61999788*x5*x4 - 2.573346351*x6*x4 - 22.17887516*x7* x4 - 1.61999788*x8*x4 + 4.47509892*x15*x4 - 4.47509892*x16*x4 + x5^2 - 9.1317749*x6*x5 - 2.15565364*x7*x5 - 2*x8*x5 + 22.00903886*x6^2 + 9.1317749*x8*x6 + 2.15565364*x15*x6 - 2.15565364*x16*x6 + 22.00903886*x7* x7 + 2.15565364*x8*x7 - 9.1317749*x15*x7 + 9.1317749*x16*x7 + x8^2 + x15^ 2 - 2*x16*x15 + x16^2 >= 1.290284622; e104: 5.662725869*x3^2 + 4.47509892*x5*x3 - 7.714714336*x9*x3 - 3.613885218*x10 *x3 - 4.47509892*x11*x3 - 1.61999788*x15*x3 + 1.61999788*x17*x3 + 5.662725869*x4^2 + 1.61999788*x5*x4 + 3.613885218*x9*x4 - 7.714714336*x10 *x4 - 1.61999788*x11*x4 + 4.47509892*x15*x4 - 4.47509892*x17*x4 + x5*x5 - 2.5314331*x9*x5 - 2.53149414*x10*x5 - 2*x11*x5 + 3.20415403*x9^2 + 2.5314331*x11*x9 + 2.53149414*x15*x9 - 2.53149414*x17*x9 + 3.20415403*x10 ^2 + 2.53149414*x11*x10 - 2.5314331*x15*x10 + 2.5314331*x17*x10 + x11^2 + x15^2 - 2*x17*x15 + x17^2 >= 1.096049736; e105: 5.662725869*x3^2 + 4.47509892*x5*x3 + 3.502946464*x12*x3 + 5.068361255* x13*x3 - 4.47509892*x14*x3 - 1.61999788*x15*x3 + 1.61999788*x18*x3 + 5.662725869*x4^2 + 1.61999788*x5*x4 - 5.068361255*x12*x4 + 3.502946464* x13*x4 - 1.61999788*x14*x4 + 4.47509892*x15*x4 - 4.47509892*x18*x4 + x5* x5 + 0.65916112*x12*x5 + 2.50375742*x13*x5 - 2*x14*x5 + 1.67582365*x12* x12 - 0.65916112*x14*x12 - 2.50375742*x15*x12 + 2.50375742*x18*x12 + 1.67582365*x13^2 - 2.50375742*x14*x13 + 0.65916112*x15*x13 - 0.65916112* x18*x13 + x14^2 + x15^2 - 2*x18*x15 + x18^2 >= 1.061366188; e106: 5.400850601*x6^2 + 4.5236206*x8*x6 - 4.5236206*x11*x6 - 1.06782914*x16*x6 + 1.06782914*x17*x6 + 5.400850601*x7^2 + 1.06782914*x8*x7 - 1.06782914* x11*x7 + 4.5236206*x16*x7 - 4.5236206*x17*x7 + x8^2 - 2*x11*x8 + x11^2 + x16^2 - 2*x17*x16 + x17^2 >= 5.870348948; e107: 5.400850601*x6^2 + 4.5236206*x8*x6 - 4.5236206*x14*x6 - 1.06782914*x16*x6 + 1.06782914*x18*x6 + 5.400850601*x7^2 + 1.06782914*x8*x7 - 1.06782914* x14*x7 + 4.5236206*x16*x7 - 4.5236206*x18*x7 + x8^2 - 2*x14*x8 + x14^2 + x16^2 - 2*x18*x16 + x18^2 >= 3.779716151; e108: 5.400850601*x6^2 + 4.5236206*x8*x6 + 9.143553234*x9*x6 - 5.68769235*x10* x6 - 4.5236206*x11*x6 - 1.06782914*x16*x6 + 1.06782914*x17*x6 + 5.400850601*x7^2 + 1.06782914*x8*x7 + 5.68769235*x9*x7 + 9.143553234*x10* x7 - 1.06782914*x11*x7 + 4.5236206*x16*x7 - 4.5236206*x17*x7 + x8^2 + 4.3914795*x9*x8 - 1.47802734*x10*x8 - 2*x11*x8 + 5.367414254*x9^2 - 4.3914795*x11*x9 + 1.47802734*x16*x9 - 1.47802734*x17*x9 + 5.367414254* x10^2 + 1.47802734*x11*x10 + 4.3914795*x16*x10 - 4.3914795*x17*x10 + x11^ 2 + x16^2 - 2*x17*x16 + x17^2 >= 2.835450743; e109: 5.400850601*x6^2 + 4.5236206*x8*x6 - 7.380150716*x12*x6 - 0.6654791775* x13*x6 - 4.5236206*x14*x6 - 1.06782914*x16*x6 + 1.06782914*x18*x6 + 5.400850601*x7^2 + 1.06782914*x8*x7 + 0.6654791775*x12*x7 - 7.380150716* x13*x7 - 1.06782914*x14*x7 + 4.5236206*x16*x7 - 4.5236206*x18*x7 + x8*x8 - 3.02492942*x12*x8 - 1.00827778*x13*x8 - 2*x14*x8 + 2.541705519*x12*x12 + 3.02492942*x14*x12 + 1.00827778*x16*x12 - 1.00827778*x18*x12 + 2.541705519*x13^2 + 1.00827778*x14*x13 - 3.02492942*x16*x13 + 3.02492942* x18*x13 + x14^2 + x16^2 - 2*x18*x16 + x18^2 >= 2.073629751; e110: 5.400850601*x6^2 + 4.5236206*x8*x6 - 2.943928465*x9*x6 + 8.831247677*x10* x6 - 4.5236206*x11*x6 - 1.06782914*x16*x6 + 1.06782914*x17*x6 + 5.400850601*x7^2 + 1.06782914*x8*x7 - 8.831247677*x9*x7 - 2.943928465*x10 *x7 - 1.06782914*x11*x7 + 4.5236206*x16*x7 - 4.5236206*x17*x7 + x8^2 - 2.10591634*x9*x8 + 3.40738932*x10*x8 - 2*x11*x8 + 4.011296402*x9^2 + 2.10591634*x11*x9 - 3.40738932*x16*x9 + 3.40738932*x17*x9 + 4.011296402* x10^2 - 3.40738932*x11*x10 - 2.10591634*x16*x10 + 2.10591634*x17*x10 + x11^2 + x16^2 - 2*x17*x16 + x17^2 >= 1.876701985; e111: 5.400850601*x6^2 + 4.5236206*x8*x6 + 4.340910886*x12*x6 - 4.56927465*x13* x6 - 4.5236206*x14*x6 - 1.06782914*x16*x6 + 1.06782914*x18*x6 + 5.400850601*x7^2 + 1.06782914*x8*x7 + 4.56927465*x12*x7 + 4.340910886*x13 *x7 - 1.06782914*x14*x7 + 4.5236206*x16*x7 - 4.5236206*x18*x7 + x8^2 + 2.26962754*x12*x8 - 1.48442486*x13*x8 - 2*x14*x8 + 1.838681584*x12*x12 - 2.26962754*x14*x12 + 1.48442486*x16*x12 - 1.48442486*x18*x12 + 1.838681584*x13^2 + 1.48442486*x14*x13 + 2.26962754*x16*x13 - 2.26962754* x18*x13 + x14^2 + x16^2 - 2*x18*x16 + x18^2 >= 1.444652023; e112: 5.400850601*x6^2 + 4.5236206*x8*x6 + 6.402318007*x9*x6 - 3.201112581*x10* x6 - 4.5236206*x11*x6 - 1.06782914*x16*x6 + 1.06782914*x17*x6 + 5.400850601*x7^2 + 1.06782914*x8*x7 + 3.201112581*x9*x7 + 6.402318007*x10 *x7 - 1.06782914*x11*x7 + 4.5236206*x16*x7 - 4.5236206*x17*x7 + x8^2 + 2.9976666*x9*x8 - 0.70766974*x10*x8 - 2*x11*x8 + 2.371700376*x9^2 - 2.9976666*x11*x9 + 0.70766974*x16*x9 - 0.70766974*x17*x9 + 2.371700376* x10^2 + 0.70766974*x11*x10 + 2.9976666*x16*x10 - 2.9976666*x17*x10 + x11^ 2 + x16^2 - 2*x17*x16 + x17^2 >= 4.281014249; e113: 5.400850601*x6^2 + 4.5236206*x8*x6 - 11.21370851*x12*x6 - 1.011244399*x13 *x6 - 4.5236206*x14*x6 - 1.06782914*x16*x6 + 1.06782914*x18*x6 + 5.400850601*x7^2 + 1.06782914*x8*x7 + 1.011244399*x12*x7 - 11.21370851* x13*x7 - 1.06782914*x14*x7 + 4.5236206*x16*x7 - 4.5236206*x18*x7 + x8^2 - 4.59619514*x12*x8 - 1.53205596*x13*x8 - 2*x14*x8 + 5.868051307*x12*x12 + 4.59619514*x14*x12 + 1.53205596*x16*x12 - 1.53205596*x18*x12 + 5.868051307*x13^2 + 1.53205596*x14*x13 - 4.59619514*x16*x13 + 4.59619514* x18*x13 + x14^2 + x16^2 - 2*x18*x16 + x18^2 >= 1.387969656; e114: 5.400850601*x6^2 + 4.5236206*x8*x6 - 7.077223065*x9*x6 - 4.374190505*x10* x6 - 4.5236206*x11*x6 - 1.06782914*x16*x6 + 1.06782914*x17*x6 + 5.400850601*x7^2 + 1.06782914*x8*x7 + 4.374190505*x9*x7 - 7.077223065*x10 *x7 - 1.06782914*x11*x7 + 4.5236206*x16*x7 - 4.5236206*x17*x7 + x8^2 - 2.5314331*x9*x8 - 2.53149414*x10*x8 - 2*x11*x8 + 3.20415403*x9^2 + 2.5314331*x11*x9 + 2.53149414*x16*x9 - 2.53149414*x17*x9 + 3.20415403*x10 ^2 + 2.53149414*x11*x10 - 2.5314331*x16*x10 + 2.5314331*x17*x10 + x11^2 + x16^2 - 2*x17*x16 + x17^2 >= 1.338993808; e115: 5.400850601*x6^2 + 4.5236206*x8*x6 + 2.827689977*x12*x6 + 5.311088595*x13 *x6 - 4.5236206*x14*x6 - 1.06782914*x16*x6 + 1.06782914*x18*x6 + 5.400850601*x7^2 + 1.06782914*x8*x7 - 5.311088595*x12*x7 + 2.827689977* x13*x7 - 1.06782914*x14*x7 + 4.5236206*x16*x7 - 4.5236206*x18*x7 + x8^2 + 0.65916112*x12*x8 + 2.50375742*x13*x8 - 2*x14*x8 + 1.67582365*x12^2 - 0.65916112*x14*x12 - 2.50375742*x16*x12 + 2.50375742*x18*x12 + 1.67582365 *x13^2 - 2.50375742*x14*x13 + 0.65916112*x16*x13 - 0.65916112*x18*x13 + x14^2 + x16^2 - 2*x18*x16 + x18^2 >= 1.300629259; e116: 5.367414254*x9^2 - 4.3914795*x11*x9 + 4.3914795*x14*x9 - 1.47802734*x17* x9 + 1.47802734*x18*x9 + 5.367414254*x10^2 + 1.47802734*x11*x10 - 1.47802734*x14*x10 - 4.3914795*x17*x10 + 4.3914795*x18*x10 + x11^2 - 2* x14*x11 + x14^2 + x17^2 - 2*x18*x17 + x18^2 >= 3.378178494; e117: 5.367414254*x9^2 - 4.3914795*x11*x9 + 5.896826706*x12*x9 + 4.449379793* x13*x9 + 4.3914795*x14*x9 - 1.47802734*x17*x9 + 1.47802734*x18*x9 + 5.367414254*x10^2 + 1.47802734*x11*x10 - 4.449379793*x12*x10 + 5.896826706*x13*x10 - 1.47802734*x14*x10 - 4.3914795*x17*x10 + 4.3914795* x18*x10 + x11^2 - 3.02492942*x12*x11 - 1.00827778*x13*x11 - 2*x14*x11 + 2.541705519*x12^2 + 3.02492942*x14*x12 + 1.00827778*x17*x12 - 1.00827778* x18*x12 + 2.541705519*x13^2 + 1.00827778*x14*x13 - 3.02492942*x17*x13 + 3.02492942*x18*x13 + x14^2 + x17^2 - 2*x18*x17 + x18^2 >= 1.779137949; e118: 5.367414254*x9^2 - 4.3914795*x11*x9 - 6.080521671*x12*x9 + 1.582124893* x13*x9 + 4.3914795*x14*x9 - 1.47802734*x17*x9 + 1.47802734*x18*x9 + 5.367414254*x10^2 + 1.47802734*x11*x10 - 1.582124893*x12*x10 - 6.080521671*x13*x10 - 1.47802734*x14*x10 - 4.3914795*x17*x10 + 4.3914795* x18*x10 + x11^2 + 2.26962754*x12*x11 - 1.48442486*x13*x11 - 2*x14*x11 + 1.838681584*x12^2 - 2.26962754*x14*x12 + 1.48442486*x17*x12 - 1.48442486* x18*x12 + 1.838681584*x13^2 + 1.48442486*x14*x13 + 2.26962754*x17*x13 - 2.26962754*x18*x13 + x14^2 + x17^2 - 2*x18*x17 + x18^2 >= 1.200711345; e119: 5.367414254*x9^2 - 4.3914795*x11*x9 + 8.95983807*x12*x9 + 6.760647209*x13 *x9 + 4.3914795*x14*x9 - 1.47802734*x17*x9 + 1.47802734*x18*x9 + 5.367414254*x10^2 + 1.47802734*x11*x10 - 6.760647209*x12*x10 + 8.95983807 *x13*x10 - 1.47802734*x14*x10 - 4.3914795*x17*x10 + 4.3914795*x18*x10 + x11^2 - 4.59619514*x12*x11 - 1.53205596*x13*x11 - 2*x14*x11 + 5.868051307 *x12^2 + 4.59619514*x14*x12 + 1.53205596*x17*x12 - 1.53205596*x18*x12 + 5.868051307*x13^2 + 1.53205596*x14*x13 - 4.59619514*x17*x13 + 4.59619514* x18*x13 + x14^2 + x17^2 - 2*x18*x17 + x18^2 >= 1.149085828; e120: 5.367414254*x9^2 - 4.3914795*x11*x9 + 0.4029646869*x12*x9 - 5.98472877* x13*x9 + 4.3914795*x14*x9 - 1.47802734*x17*x9 + 1.47802734*x18*x9 + 5.367414254*x10^2 + 1.47802734*x11*x10 + 5.98472877*x12*x10 + 0.4029646869*x13*x10 - 1.47802734*x14*x10 - 4.3914795*x17*x10 + 4.3914795 *x18*x10 + x11^2 + 0.65916112*x12*x11 + 2.50375742*x13*x11 - 2*x14*x11 + 1.67582365*x12^2 - 0.65916112*x14*x12 - 2.50375742*x17*x12 + 2.50375742* x18*x12 + 1.67582365*x13^2 - 2.50375742*x14*x13 + 0.65916112*x17*x13 - 0.65916112*x18*x13 + x14^2 + x17^2 - 2*x18*x17 + x18^2 >= 1.069744034; e121: 5.016214727*x3^2 - 4.05647702*x5*x3 + 4.05647702*x8*x3 - 1.89996134*x15* x3 + 1.89996134*x16*x3 + 5.016214727*x4^2 + 1.89996134*x5*x4 - 1.89996134 *x8*x4 - 4.05647702*x15*x4 + 4.05647702*x16*x4 + x5^2 - 2*x8*x5 + x8^2 + x15^2 - 2*x16*x15 + x16^2 >= 4.300503225; e122: 5.016214727*x3^2 - 4.05647702*x5*x3 + 4.05647702*x11*x3 - 1.89996134*x15* x3 + 1.89996134*x17*x3 + 5.016214727*x4^2 + 1.89996134*x5*x4 - 1.89996134 *x11*x4 - 4.05647702*x15*x4 + 4.05647702*x17*x4 + x5^2 - 2*x11*x5 + x11^2 + x15^2 - 2*x17*x15 + x17^2 >= 4.720586746; e123: 5.016214727*x3^2 - 4.05647702*x5*x3 + 4.05647702*x14*x3 - 1.89996134*x15* x3 + 1.89996134*x18*x3 + 5.016214727*x4^2 + 1.89996134*x5*x4 - 1.89996134 *x14*x4 - 4.05647702*x15*x4 + 4.05647702*x18*x4 + x5^2 - 2*x14*x5 + x14^2 + x15^2 - 2*x18*x15 + x18^2 >= 2.869500617; e124: 5.016214727*x3^2 - 4.05647702*x5*x3 + 8.160564464*x6*x3 + 6.463164312*x7* x3 + 4.05647702*x8*x3 - 1.89996134*x15*x3 + 1.89996134*x16*x3 + 5.016214727*x4^2 + 1.89996134*x5*x4 - 6.463164312*x6*x4 + 8.160564464*x7* x4 - 1.89996134*x8*x4 - 4.05647702*x15*x4 + 4.05647702*x16*x4 + x5^2 - 4.5236206*x6*x5 - 1.06782914*x7*x5 - 2*x8*x5 + 5.400850601*x6^2 + 4.5236206*x8*x6 + 1.06782914*x15*x6 - 1.06782914*x16*x6 + 5.400850601*x7* x7 + 1.06782914*x8*x7 - 4.5236206*x15*x7 + 4.5236206*x16*x7 + x8^2 + x15^ 2 - 2*x16*x15 + x16^2 >= 2.371161213; e125: 5.016214727*x3^2 - 4.05647702*x5*x3 - 10.31106524*x9*x3 - 1.174028668*x10 *x3 + 4.05647702*x11*x3 - 1.89996134*x15*x3 + 1.89996134*x17*x3 + 5.016214727*x4^2 + 1.89996134*x5*x4 + 1.174028668*x9*x4 - 10.31106524*x10 *x4 - 1.89996134*x11*x4 - 4.05647702*x15*x4 + 4.05647702*x17*x4 + x5*x5 + 4.3914795*x9*x5 - 1.47802734*x10*x5 - 2*x11*x5 + 5.367414254*x9^2 - 4.3914795*x11*x9 + 1.47802734*x15*x9 - 1.47802734*x17*x9 + 5.367414254* x10^2 + 1.47802734*x11*x10 + 4.3914795*x15*x10 - 4.3914795*x17*x10 + x11^ 2 + x15^2 - 2*x17*x15 + x17^2 >= 2.05546845; e126: 5.016214727*x3^2 - 4.05647702*x5*x3 + 5.177433939*x12*x3 + 4.918652299* x13*x3 + 4.05647702*x14*x3 - 1.89996134*x15*x3 + 1.89996134*x18*x3 + 5.016214727*x4^2 + 1.89996134*x5*x4 - 4.918652299*x12*x4 + 5.177433939* x13*x4 - 1.89996134*x14*x4 - 4.05647702*x15*x4 + 4.05647702*x18*x4 + x5* x5 - 3.02492942*x12*x5 - 1.00827778*x13*x5 - 2*x14*x5 + 2.541705519*x12* x12 + 3.02492942*x14*x12 + 1.00827778*x15*x12 - 1.00827778*x18*x12 + 2.541705519*x13^2 + 1.00827778*x14*x13 - 3.02492942*x15*x13 + 3.02492942* x18*x13 + x14^2 + x15^2 - 2*x18*x15 + x18^2 >= 1.415674393; e127: 5.016214727*x3^2 - 4.05647702*x5*x3 - 9.511383497*x6*x3 - 0.8646696983*x7 *x3 + 4.05647702*x8*x3 - 1.89996134*x15*x3 + 1.89996134*x16*x3 + 5.016214727*x4^2 + 1.89996134*x5*x4 + 0.8646696983*x6*x4 - 9.511383497*x7 *x4 - 1.89996134*x8*x4 - 4.05647702*x15*x4 + 4.05647702*x16*x4 + x5^2 + 4.009552*x6*x5 - 1.45166714*x7*x5 - 2*x8*x5 + 4.545961182*x6^2 - 4.009552 *x8*x6 + 1.45166714*x15*x6 - 1.45166714*x16*x6 + 4.545961182*x7*x7 + 1.45166714*x8*x7 + 4.009552*x15*x7 - 4.009552*x16*x7 + x8^2 + x15*x15 - 2 *x16*x15 + x16^2 >= 1.816938254; e128: 5.016214727*x3^2 - 4.05647702*x5*x3 + 7.508254609*x9*x3 - 4.910418422*x10 *x3 + 4.05647702*x11*x3 - 1.89996134*x15*x3 + 1.89996134*x17*x3 + 5.016214727*x4^2 + 1.89996134*x5*x4 + 4.910418422*x9*x4 + 7.508254609*x10 *x4 - 1.89996134*x11*x4 - 4.05647702*x15*x4 + 4.05647702*x17*x4 + x5*x5 - 2.10591634*x9*x5 + 3.40738932*x10*x5 - 2*x11*x5 + 4.011296402*x9^2 + 2.10591634*x11*x9 - 3.40738932*x15*x9 + 3.40738932*x17*x9 + 4.011296402* x10^2 - 3.40738932*x11*x10 - 2.10591634*x15*x10 + 2.10591634*x17*x10 + x11^2 + x15^2 - 2*x17*x15 + x17^2 >= 1.253814443; e129: 5.016214727*x3^2 - 4.05647702*x5*x3 - 6.013520903*x12*x3 + 0.8546653752* x13*x3 + 4.05647702*x14*x3 - 1.89996134*x15*x3 + 1.89996134*x18*x3 + 5.016214727*x4^2 + 1.89996134*x5*x4 - 0.8546653752*x12*x4 - 6.013520903* x13*x4 - 1.89996134*x14*x4 - 4.05647702*x15*x4 + 4.05647702*x18*x4 + x5* x5 + 2.26962754*x12*x5 - 1.48442486*x13*x5 - 2*x14*x5 + 1.838681584*x12* x12 - 2.26962754*x14*x12 + 1.48442486*x15*x12 - 1.48442486*x18*x12 + 1.838681584*x13^2 + 1.48442486*x14*x13 + 2.26962754*x15*x13 - 2.26962754* x18*x13 + x14^2 + x15^2 - 2*x18*x15 + x18^2 >= 0.9058235131; e130: 5.016214727*x3^2 - 4.05647702*x5*x3 + 13.27203895*x6*x3 + 10.51159543*x7* x3 + 4.05647702*x8*x3 - 1.89996134*x15*x3 + 1.89996134*x16*x3 + 5.016214727*x4^2 + 1.89996134*x5*x4 - 10.51159543*x6*x4 + 13.27203895*x7* x4 - 1.89996134*x8*x4 - 4.05647702*x15*x4 + 4.05647702*x16*x4 + x5^2 - 7.357076*x6*x5 - 1.7367363*x7*x5 - 2*x8*x5 + 14.28570506*x6^2 + 7.357076* x8*x6 + 1.7367363*x15*x6 - 1.7367363*x16*x6 + 14.28570506*x7^2 + 1.7367363*x8*x7 - 7.357076*x15*x7 + 7.357076*x16*x7 + x8^2 + x15^2 - 2* x16*x15 + x16^2 >= 1.452998659; e131: 5.016214727*x3^2 - 4.05647702*x5*x3 - 6.752255412*x9*x3 - 1.412402306*x10 *x3 + 4.05647702*x11*x3 - 1.89996134*x15*x3 + 1.89996134*x17*x3 + 5.016214727*x4^2 + 1.89996134*x5*x4 + 1.412402306*x9*x4 - 6.752255412*x10 *x4 - 1.89996134*x11*x4 - 4.05647702*x15*x4 + 4.05647702*x17*x4 + x5*x5 + 2.9976666*x9*x5 - 0.70766974*x10*x5 - 2*x11*x5 + 2.371700376*x9^2 - 2.9976666*x11*x9 + 0.70766974*x15*x9 - 0.70766974*x17*x9 + 2.371700376* x10^2 + 0.70766974*x11*x10 + 2.9976666*x15*x10 - 2.9976666*x17*x10 + x11^ 2 + x15^2 - 2*x17*x15 + x17^2 >= 3.308295462; e132: 5.016214727*x3^2 - 4.05647702*x5*x3 + 7.866756435*x12*x3 + 7.473671436* x13*x3 + 4.05647702*x14*x3 - 1.89996134*x15*x3 + 1.89996134*x18*x3 + 5.016214727*x4^2 + 1.89996134*x5*x4 - 7.473671436*x12*x4 + 7.866756435* x13*x4 - 1.89996134*x14*x4 - 4.05647702*x15*x4 + 4.05647702*x18*x4 + x5* x5 - 4.59619514*x12*x5 - 1.53205596*x13*x5 - 2*x14*x5 + 5.868051307*x12* x12 + 4.59619514*x14*x12 + 1.53205596*x15*x12 - 1.53205596*x18*x12 + 5.868051307*x13^2 + 1.53205596*x14*x13 - 4.59619514*x15*x13 + 4.59619514* x18*x13 + x14^2 + x15^2 - 2*x18*x15 + x18^2 >= 0.8610579265; e133: 5.016214727*x3^2 - 4.05647702*x5*x3 + 16.47358823*x6*x3 + 13.04718936*x7* x3 + 4.05647702*x8*x3 - 1.89996134*x15*x3 + 1.89996134*x16*x3 + 5.016214727*x4^2 + 1.89996134*x5*x4 - 13.04718936*x6*x4 + 16.47358823*x7* x4 - 1.89996134*x8*x4 - 4.05647702*x15*x4 + 4.05647702*x16*x4 + x5^2 - 9.1317749*x6*x5 - 2.15565364*x7*x5 - 2*x8*x5 + 22.00903886*x6^2 + 9.1317749*x8*x6 + 2.15565364*x15*x6 - 2.15565364*x16*x6 + 22.00903886*x7* x7 + 2.15565364*x8*x7 - 9.1317749*x15*x7 + 9.1317749*x16*x7 + x8^2 + x15^ 2 - 2*x16*x15 + x16^2 >= 0.9919021605; e134: 5.016214727*x3^2 - 4.05647702*x5*x3 + 2.7294796*x9*x3 + 7.539286415*x10* x3 + 4.05647702*x11*x3 - 1.89996134*x15*x3 + 1.89996134*x17*x3 + 5.016214727*x4^2 + 1.89996134*x5*x4 - 7.539286415*x9*x4 + 2.7294796*x10* x4 - 1.89996134*x11*x4 - 4.05647702*x15*x4 + 4.05647702*x17*x4 + x5^2 - 2.5314331*x9*x5 - 2.53149414*x10*x5 - 2*x11*x5 + 3.20415403*x9^2 + 2.5314331*x11*x9 + 2.53149414*x15*x9 - 2.53149414*x17*x9 + 3.20415403*x10 ^2 + 2.53149414*x11*x10 - 2.5314331*x15*x10 + 2.5314331*x17*x10 + x11^2 + x15^2 - 2*x17*x15 + x17^2 >= 0.8225761332; e135: 5.016214727*x3^2 - 4.05647702*x5*x3 + 1.041585183*x12*x3 - 5.704407541* x13*x3 + 4.05647702*x14*x3 - 1.89996134*x15*x3 + 1.89996134*x18*x3 + 5.016214727*x4^2 + 1.89996134*x5*x4 + 5.704407541*x12*x4 + 1.041585183* x13*x4 - 1.89996134*x14*x4 - 4.05647702*x15*x4 + 4.05647702*x18*x4 + x5* x5 + 0.65916112*x12*x5 + 2.50375742*x13*x5 - 2*x14*x5 + 1.67582365*x12* x12 - 0.65916112*x14*x12 - 2.50375742*x15*x12 + 2.50375742*x18*x12 + 1.67582365*x13^2 - 2.50375742*x14*x13 + 0.65916112*x15*x13 - 0.65916112* x18*x13 + x14^2 + x15^2 - 2*x18*x15 + x18^2 >= 0.7925667313; e136: 4.545961182*x6^2 - 4.009552*x8*x6 + 4.009552*x11*x6 - 1.45166714*x16*x6 + 1.45166714*x17*x6 + 4.545961182*x7^2 + 1.45166714*x8*x7 - 1.45166714* x11*x7 - 4.009552*x16*x7 + 4.009552*x17*x7 + x8^2 - 2*x11*x8 + x11^2 + x16^2 - 2*x17*x16 + x17^2 >= 4.977188277; e137: 4.545961182*x6^2 - 4.009552*x8*x6 + 4.009552*x14*x6 - 1.45166714*x16*x6 + 1.45166714*x18*x6 + 4.545961182*x7^2 + 1.45166714*x8*x7 - 1.45166714* x14*x7 - 4.009552*x16*x7 + 4.009552*x18*x7 + x8^2 - 2*x14*x8 + x14^2 + x16^2 - 2*x18*x16 + x18^2 >= 3.070310674; e138: 4.545961182*x6^2 - 4.009552*x8*x6 - 9.876734567*x9*x6 - 0.2243695045*x10* x6 + 4.009552*x11*x6 - 1.45166714*x16*x6 + 1.45166714*x17*x6 + 4.545961182*x7^2 + 1.45166714*x8*x7 + 0.2243695045*x9*x7 - 9.876734567* x10*x7 - 1.45166714*x11*x7 - 4.009552*x16*x7 + 4.009552*x17*x7 + x8^2 + 4.3914795*x9*x8 - 1.47802734*x10*x8 - 2*x11*x8 + 5.367414254*x9^2 - 4.3914795*x11*x9 + 1.47802734*x16*x9 - 1.47802734*x17*x9 + 5.367414254* x10^2 + 1.47802734*x11*x10 + 4.3914795*x16*x10 - 4.3914795*x17*x10 + x11^ 2 + x16^2 - 2*x17*x16 + x17^2 >= 2.225946611; e139: 4.545961182*x6^2 - 4.009552*x8*x6 + 5.332464042*x12*x6 + 4.216966415*x13* x6 + 4.009552*x14*x6 - 1.45166714*x16*x6 + 1.45166714*x18*x6 + 4.545961182*x7^2 + 1.45166714*x8*x7 - 4.216966415*x12*x7 + 5.332464042* x13*x7 - 1.45166714*x14*x7 - 4.009552*x16*x7 + 4.009552*x18*x7 + x8^2 - 3.02492942*x12*x8 - 1.00827778*x13*x8 - 2*x14*x8 + 2.541705519*x12*x12 + 3.02492942*x14*x12 + 1.00827778*x16*x12 - 1.00827778*x18*x12 + 2.541705519*x13^2 + 1.00827778*x14*x13 - 3.02492942*x16*x13 + 3.02492942* x18*x13 + x14^2 + x16^2 - 2*x18*x16 + x18^2 >= 1.557731943; e140: 4.545961182*x6^2 - 4.009552*x8*x6 + 6.695088091*x9*x6 - 5.302507556*x10* x6 + 4.009552*x11*x6 - 1.45166714*x16*x6 + 1.45166714*x17*x6 + 4.545961182*x7^2 + 1.45166714*x8*x7 + 5.302507556*x9*x7 + 6.695088091*x10 *x7 - 1.45166714*x11*x7 - 4.009552*x16*x7 + 4.009552*x17*x7 + x8^2 - 2.10591634*x9*x8 + 3.40738932*x10*x8 - 2*x11*x8 + 4.011296402*x9^2 + 2.10591634*x11*x9 - 3.40738932*x16*x9 + 3.40738932*x17*x9 + 4.011296402* x10^2 - 3.40738932*x11*x10 - 2.10591634*x16*x10 + 2.10591634*x17*x10 + x11^2 + x16^2 - 2*x17*x16 + x17^2 >= 1.387704544; e141: 4.545961182*x6^2 - 4.009552*x8*x6 - 5.627540217*x12*x6 + 1.328567473*x13* x6 + 4.009552*x14*x6 - 1.45166714*x16*x6 + 1.45166714*x18*x6 + 4.545961182*x7^2 + 1.45166714*x8*x7 - 1.328567473*x12*x7 - 5.627540217* x13*x7 - 1.45166714*x14*x7 - 4.009552*x16*x7 + 4.009552*x18*x7 + x8^2 + 2.26962754*x12*x8 - 1.48442486*x13*x8 - 2*x14*x8 + 1.838681584*x12*x12 - 2.26962754*x14*x12 + 1.48442486*x16*x12 - 1.48442486*x18*x12 + 1.838681584*x13^2 + 1.48442486*x14*x13 + 2.26962754*x16*x13 - 2.26962754* x18*x13 + x14^2 + x16^2 - 2*x18*x16 + x18^2 >= 1.020135896; e142: 4.545961182*x6^2 - 4.009552*x8*x6 - 6.523300509*x9*x6 - 0.7570877393*x10* x6 + 4.009552*x11*x6 - 1.45166714*x16*x6 + 1.45166714*x17*x6 + 4.545961182*x7^2 + 1.45166714*x8*x7 + 0.7570877393*x9*x7 - 6.523300509* x10*x7 - 1.45166714*x11*x7 - 4.009552*x16*x7 + 4.009552*x17*x7 + x8^2 + 2.9976666*x9*x8 - 0.70766974*x10*x8 - 2*x11*x8 + 2.371700376*x9^2 - 2.9976666*x11*x9 + 0.70766974*x16*x9 - 0.70766974*x17*x9 + 2.371700376* x10^2 + 0.70766974*x11*x10 + 2.9976666*x16*x10 - 2.9976666*x17*x10 + x11^ 2 + x16^2 - 2*x17*x16 + x17^2 >= 3.523662801; e143: 4.545961182*x6^2 - 4.009552*x8*x6 + 8.102324061*x12*x6 + 6.407501746*x13* x6 + 4.009552*x14*x6 - 1.45166714*x16*x6 + 1.45166714*x18*x6 + 4.545961182*x7^2 + 1.45166714*x8*x7 - 6.407501746*x12*x7 + 8.102324061* x13*x7 - 1.45166714*x14*x7 - 4.009552*x16*x7 + 4.009552*x18*x7 + x8^2 - 4.59619514*x12*x8 - 1.53205596*x13*x8 - 2*x14*x8 + 5.868051307*x12*x12 + 4.59619514*x14*x12 + 1.53205596*x16*x12 - 1.53205596*x18*x12 + 5.868051307*x13^2 + 1.53205596*x14*x13 - 4.59619514*x16*x13 + 4.59619514* x18*x13 + x14^2 + x16^2 - 2*x18*x16 + x18^2 >= 0.9725948385; e144: 4.545961182*x6^2 - 4.009552*x8*x6 + 3.237512895*x9*x6 + 6.91247782*x10*x6 + 4.009552*x11*x6 - 1.45166714*x16*x6 + 1.45166714*x17*x6 + 4.545961182* x7^2 + 1.45166714*x8*x7 - 6.91247782*x9*x7 + 3.237512895*x10*x7 - 1.45166714*x11*x7 - 4.009552*x16*x7 + 4.009552*x17*x7 + x8^2 - 2.5314331* x9*x8 - 2.53149414*x10*x8 - 2*x11*x8 + 3.20415403*x9^2 + 2.5314331*x11*x9 + 2.53149414*x16*x9 - 2.53149414*x17*x9 + 3.20415403*x10^2 + 2.53149414* x11*x10 - 2.5314331*x16*x10 + 2.5314331*x17*x10 + x11^2 + x16^2 - 2*x17* x16 + x17^2 >= 0.9316689336; e145: 4.545961182*x6^2 - 4.009552*x8*x6 + 0.4958407931*x12*x6 - 5.497914054*x13 *x6 + 4.009552*x14*x6 - 1.45166714*x16*x6 + 1.45166714*x18*x6 + 4.545961182*x7^2 + 1.45166714*x8*x7 + 5.497914054*x12*x7 + 0.4958407931* x13*x7 - 1.45166714*x14*x7 - 4.009552*x16*x7 + 4.009552*x18*x7 + x8^2 + 0.65916112*x12*x8 + 2.50375742*x13*x8 - 2*x14*x8 + 1.67582365*x12^2 - 0.65916112*x14*x12 - 2.50375742*x16*x12 + 2.50375742*x18*x12 + 1.67582365 *x13^2 - 2.50375742*x14*x13 + 0.65916112*x16*x13 - 0.65916112*x18*x13 + x14^2 + x16^2 - 2*x18*x16 + x18^2 >= 0.8997135811; e146: 4.011296402*x9^2 + 2.10591634*x11*x9 - 2.10591634*x14*x9 + 3.40738932*x17 *x9 - 3.40738932*x18*x9 + 4.011296402*x10^2 - 3.40738932*x11*x10 + 3.40738932*x14*x10 + 2.10591634*x17*x10 - 2.10591634*x18*x10 + x11^2 - 2* x14*x11 + x14^2 + x17^2 - 2*x18*x17 + x18^2 >= 2.322668172; e147: 4.011296402*x9^2 + 2.10591634*x11*x9 - 1.467326677*x12*x9 - 6.215230426* x13*x9 - 2.10591634*x14*x9 + 3.40738932*x17*x9 - 3.40738932*x18*x9 + 4.011296402*x10^2 - 3.40738932*x11*x10 + 6.215230426*x12*x10 - 1.467326677*x13*x10 + 3.40738932*x14*x10 + 2.10591634*x17*x10 - 2.10591634*x18*x10 + x11^2 - 3.02492942*x12*x11 - 1.00827778*x13*x11 - 2* x14*x11 + 2.541705519*x12^2 + 3.02492942*x14*x12 + 1.00827778*x17*x12 - 1.00827778*x18*x12 + 2.541705519*x13^2 + 1.00827778*x14*x13 - 3.02492942* x17*x13 + 3.02492942*x18*x13 + x14^2 + x17^2 - 2*x18*x17 + x18^2 >= 1.040178386; e148: 4.011296402*x9^2 + 2.10591634*x11*x9 + 4.918829568*x12*x9 + 2.303715036* x13*x9 - 2.10591634*x14*x9 + 3.40738932*x17*x9 - 3.40738932*x18*x9 + 4.011296402*x10^2 - 3.40738932*x11*x10 - 2.303715036*x12*x10 + 4.918829568*x13*x10 + 3.40738932*x14*x10 + 2.10591634*x17*x10 - 2.10591634*x18*x10 + x11^2 + 2.26962754*x12*x11 - 1.48442486*x13*x11 - 2* x14*x11 + 1.838681584*x12^2 - 2.26962754*x14*x12 + 1.48442486*x17*x12 - 1.48442486*x18*x12 + 1.838681584*x13^2 + 1.48442486*x14*x13 + 2.26962754* x17*x13 - 2.26962754*x18*x13 + x14^2 + x17^2 - 2*x18*x17 + x18^2 >= 0.611239088; e149: 4.011296402*x9^2 + 2.10591634*x11*x9 - 2.229445666*x12*x9 - 9.443703956* x13*x9 - 2.10591634*x14*x9 + 3.40738932*x17*x9 - 3.40738932*x18*x9 + 4.011296402*x10^2 - 3.40738932*x11*x10 + 9.443703956*x12*x10 - 2.229445666*x13*x10 + 3.40738932*x14*x10 + 2.10591634*x17*x10 - 2.10591634*x18*x10 + x11^2 - 4.59619514*x12*x11 - 1.53205596*x13*x11 - 2* x14*x11 + 5.868051307*x12^2 + 4.59619514*x14*x12 + 1.53205596*x17*x12 - 1.53205596*x18*x12 + 5.868051307*x13^2 + 1.53205596*x14*x13 - 4.59619514* x17*x13 + 4.59619514*x18*x13 + x14^2 + x17^2 - 2*x18*x17 + x18^2 >= 0.5745674413; e150: 4.011296402*x9^2 + 2.10591634*x11*x9 - 3.57156906*x12*x9 + 3.759361111* x13*x9 - 2.10591634*x14*x9 + 3.40738932*x17*x9 - 3.40738932*x18*x9 + 4.011296402*x10^2 - 3.40738932*x11*x10 - 3.759361111*x12*x10 - 3.57156906 *x13*x10 + 3.40738932*x14*x10 + 2.10591634*x17*x10 - 2.10591634*x18*x10 + x11^2 + 0.65916112*x12*x11 + 2.50375742*x13*x11 - 2*x14*x11 + 1.67582365*x12^2 - 0.65916112*x14*x12 - 2.50375742*x17*x12 + 2.50375742* x18*x12 + 1.67582365*x13^2 - 2.50375742*x14*x13 + 0.65916112*x17*x13 - 0.65916112*x18*x13 + x14^2 + x17^2 - 2*x18*x17 + x18^2 >= 0.5188787233; e151: 12.60712784*x3^2 + 6.67721368*x5*x3 - 6.67721368*x8*x3 - 2.41729784*x15* x3 + 2.41729784*x16*x3 + 12.60712784*x4^2 + 2.41729784*x5*x4 - 2.41729784 *x8*x4 + 6.67721368*x15*x4 - 6.67721368*x16*x4 + x5^2 - 2*x8*x5 + x8^2 + x15^2 - 2*x16*x15 + x16^2 >= 3.294577882; e152: 12.60712784*x3^2 + 6.67721368*x5*x3 - 6.67721368*x11*x3 - 2.41729784*x15* x3 + 2.41729784*x17*x3 + 12.60712784*x4^2 + 2.41729784*x5*x4 - 2.41729784 *x11*x4 + 6.67721368*x15*x4 - 6.67721368*x17*x4 + x5^2 - 2*x11*x5 + x11^2 + x15^2 - 2*x17*x15 + x17^2 >= 3.663483547; e153: 12.60712784*x3^2 + 6.67721368*x5*x3 - 6.67721368*x14*x3 - 2.41729784*x15* x3 + 2.41729784*x18*x3 + 12.60712784*x4^2 + 2.41729784*x5*x4 - 2.41729784 *x14*x4 + 6.67721368*x15*x4 - 6.67721368*x18*x4 + x5^2 - 2*x14*x5 + x14^2 + x15^2 - 2*x18*x15 + x18^2 >= 2.060062494; e154: 12.60712784*x3^2 + 6.67721368*x5*x3 - 16.39322121*x6*x3 + 1.902407482*x7* x3 - 6.67721368*x8*x3 - 2.41729784*x15*x3 + 2.41729784*x16*x3 + 12.60712784*x4^2 + 2.41729784*x5*x4 - 1.902407482*x6*x4 - 16.39322121*x7* x4 - 2.41729784*x8*x4 + 6.67721368*x15*x4 - 6.67721368*x16*x4 + x5^2 - 4.5236206*x6*x5 - 1.06782914*x7*x5 - 2*x8*x5 + 5.400850601*x6^2 + 4.5236206*x8*x6 + 1.06782914*x15*x6 - 1.06782914*x16*x6 + 5.400850601*x7* x7 + 1.06782914*x8*x7 - 4.5236206*x15*x7 + 4.5236206*x16*x7 + x8^2 + x15^ 2 - 2*x16*x15 + x16^2 >= 1.641445946; e155: 12.60712784*x3^2 + 6.67721368*x5*x3 + 12.87500735*x9*x3 - 10.24230914*x10 *x3 - 6.67721368*x11*x3 - 2.41729784*x15*x3 + 2.41729784*x17*x3 + 12.60712784*x4^2 + 2.41729784*x5*x4 + 10.24230914*x9*x4 + 12.87500735*x10 *x4 - 2.41729784*x11*x4 + 6.67721368*x15*x4 - 6.67721368*x17*x4 + x5*x5 + 4.3914795*x9*x5 - 1.47802734*x10*x5 - 2*x11*x5 + 5.367414254*x9^2 - 4.3914795*x11*x9 + 1.47802734*x15*x9 - 1.47802734*x17*x9 + 5.367414254* x10^2 + 1.47802734*x11*x10 + 4.3914795*x15*x10 - 4.3914795*x17*x10 + x11^ 2 + x15^2 - 2*x17*x15 + x17^2 >= 1.380677264; e156: 12.60712784*x3^2 + 6.67721368*x5*x3 - 11.3177039*x12*x3 + 0.2898345836* x13*x3 - 6.67721368*x14*x3 - 2.41729784*x15*x3 + 2.41729784*x18*x3 + 12.60712784*x4^2 + 2.41729784*x5*x4 - 0.2898345836*x12*x4 - 11.3177039* x13*x4 - 2.41729784*x14*x4 + 6.67721368*x15*x4 - 6.67721368*x18*x4 + x5* x5 - 3.02492942*x12*x5 - 1.00827778*x13*x5 - 2*x14*x5 + 2.541705519*x12* x12 + 3.02492942*x14*x12 + 1.00827778*x15*x12 - 1.00827778*x18*x12 + 2.541705519*x13^2 + 1.00827778*x14*x13 - 3.02492942*x15*x13 + 3.02492942* x18*x13 + x14^2 + x15^2 - 2*x18*x15 + x18^2 >= 0.8670457232; e157: 12.60712784*x3^2 + 6.67721368*x5*x3 + 11.63176181*x6*x3 - 9.692686537*x7* x3 - 6.67721368*x8*x3 - 2.41729784*x15*x3 + 2.41729784*x16*x3 + 12.60712784*x4^2 + 2.41729784*x5*x4 + 9.692686537*x6*x4 + 11.63176181*x7* x4 - 2.41729784*x8*x4 + 6.67721368*x15*x4 - 6.67721368*x16*x4 + x5^2 + 4.009552*x6*x5 - 1.45166714*x7*x5 - 2*x8*x5 + 4.545961182*x6^2 - 4.009552 *x8*x6 + 1.45166714*x15*x6 - 1.45166714*x16*x6 + 4.545961182*x7*x7 + 1.45166714*x8*x7 + 4.009552*x15*x7 - 4.009552*x16*x7 + x8^2 + x15*x15 - 2 *x16*x15 + x16^2 >= 1.186509699; e158: 12.60712784*x3^2 + 6.67721368*x5*x3 - 2.912489276*x9*x3 + 13.9212468*x10* x3 - 6.67721368*x11*x3 - 2.41729784*x15*x3 + 2.41729784*x17*x3 + 12.60712784*x4^2 + 2.41729784*x5*x4 - 13.9212468*x9*x4 - 2.912489276*x10* x4 - 2.41729784*x11*x4 + 6.67721368*x15*x4 - 6.67721368*x17*x4 + x5*x5 - 2.10591634*x9*x5 + 3.40738932*x10*x5 - 2*x11*x5 + 4.011296402*x9^2 + 2.10591634*x11*x9 - 3.40738932*x15*x9 + 3.40738932*x17*x9 + 4.011296402* x10^2 - 3.40738932*x11*x10 - 2.10591634*x15*x10 + 2.10591634*x17*x10 + x11^2 + x15^2 - 2*x17*x15 + x17^2 >= 0.7414420615; e159: 12.60712784*x3^2 + 6.67721368*x5*x3 + 5.783245525*x12*x3 - 7.699093866* x13*x3 - 6.67721368*x14*x3 - 2.41729784*x15*x3 + 2.41729784*x18*x3 + 12.60712784*x4^2 + 2.41729784*x5*x4 + 7.699093866*x12*x4 + 5.783245525* x13*x4 - 2.41729784*x14*x4 + 6.67721368*x15*x4 - 6.67721368*x18*x4 + x5* x5 + 2.26962754*x12*x5 - 1.48442486*x13*x5 - 2*x14*x5 + 1.838681584*x12* x12 - 2.26962754*x14*x12 + 1.48442486*x15*x12 - 1.48442486*x18*x12 + 1.838681584*x13^2 + 1.48442486*x14*x13 + 2.26962754*x15*x13 - 2.26962754* x18*x13 + x14^2 + x15^2 - 2*x18*x15 + x18^2 >= 0.4803589854; e160: 12.60712784*x3^2 + 6.67721368*x5*x3 - 26.66148871*x6*x3 + 3.093842271*x7* x3 - 6.67721368*x8*x3 - 2.41729784*x15*x3 + 2.41729784*x16*x3 + 12.60712784*x4^2 + 2.41729784*x5*x4 - 3.093842271*x6*x4 - 26.66148871*x7* x4 - 2.41729784*x8*x4 + 6.67721368*x15*x4 - 6.67721368*x16*x4 + x5^2 - 7.357076*x6*x5 - 1.7367363*x7*x5 - 2*x8*x5 + 14.28570506*x6^2 + 7.357076* x8*x6 + 1.7367363*x15*x6 - 1.7367363*x16*x6 + 14.28570506*x7^2 + 1.7367363*x8*x7 - 7.357076*x15*x7 + 7.357076*x16*x7 + x8^2 + x15^2 - 2* x16*x15 + x16^2 >= 0.8963084478; e161: 12.60712784*x3^2 + 6.67721368*x5*x3 + 9.152705948*x9*x3 - 5.985757533*x10 *x3 - 6.67721368*x11*x3 - 2.41729784*x15*x3 + 2.41729784*x17*x3 + 12.60712784*x4^2 + 2.41729784*x5*x4 + 5.985757533*x9*x4 + 9.152705948*x10 *x4 - 2.41729784*x11*x4 + 6.67721368*x15*x4 - 6.67721368*x17*x4 + x5*x5 + 2.9976666*x9*x5 - 0.70766974*x10*x5 - 2*x11*x5 + 2.371700376*x9^2 - 2.9976666*x11*x9 + 0.70766974*x15*x9 - 0.70766974*x17*x9 + 2.371700376* x10^2 + 0.70766974*x11*x10 + 2.9976666*x15*x10 - 2.9976666*x17*x10 + x11^ 2 + x15^2 - 2*x17*x15 + x17^2 >= 2.434235804; e162: 12.60712784*x3^2 + 6.67721368*x5*x3 - 17.19660631*x12*x3 + 0.4402537848* x13*x3 - 6.67721368*x14*x3 - 2.41729784*x15*x3 + 2.41729784*x18*x3 + 12.60712784*x4^2 + 2.41729784*x5*x4 - 0.4402537848*x12*x4 - 17.19660631* x13*x4 - 2.41729784*x14*x4 + 6.67721368*x15*x4 - 6.67721368*x18*x4 + x5* x5 - 4.59619514*x12*x5 - 1.53205596*x13*x5 - 2*x14*x5 + 5.868051307*x12* x12 + 4.59619514*x14*x12 + 1.53205596*x15*x12 - 1.53205596*x18*x12 + 5.868051307*x13^2 + 1.53205596*x14*x13 - 4.59619514*x15*x13 + 4.59619514* x18*x13 + x14^2 + x15^2 - 2*x18*x15 + x18^2 >= 0.4479140474; e163: 12.60712784*x3^2 + 6.67721368*x5*x3 - 33.09283459*x6*x3 + 3.840229883*x7* x3 - 6.67721368*x8*x3 - 2.41729784*x15*x3 + 2.41729784*x16*x3 + 12.60712784*x4^2 + 2.41729784*x5*x4 - 3.840229883*x6*x4 - 33.09283459*x7* x4 - 2.41729784*x8*x4 + 6.67721368*x15*x4 - 6.67721368*x16*x4 + x5^2 - 9.1317749*x6*x5 - 2.15565364*x7*x5 - 2*x8*x5 + 22.00903886*x6^2 + 9.1317749*x8*x6 + 2.15565364*x15*x6 - 2.15565364*x16*x6 + 22.00903886*x7* x7 + 2.15565364*x8*x7 - 9.1317749*x15*x7 + 9.1317749*x16*x7 + x8^2 + x15^ 2 - 2*x16*x15 + x16^2 >= 0.5435738211; e164: 12.60712784*x3^2 + 6.67721368*x5*x3 - 11.51114752*x9*x3 - 5.392049769*x10 *x3 - 6.67721368*x11*x3 - 2.41729784*x15*x3 + 2.41729784*x17*x3 + 12.60712784*x4^2 + 2.41729784*x5*x4 + 5.392049769*x9*x4 - 11.51114752*x10 *x4 - 2.41729784*x11*x4 + 6.67721368*x15*x4 - 6.67721368*x17*x4 + x5*x5 - 2.5314331*x9*x5 - 2.53149414*x10*x5 - 2*x11*x5 + 3.20415403*x9^2 + 2.5314331*x11*x9 + 2.53149414*x15*x9 - 2.53149414*x17*x9 + 3.20415403*x10 ^2 + 2.53149414*x11*x10 - 2.5314331*x15*x10 + 2.5314331*x17*x10 + x11^2 + x15^2 - 2*x17*x15 + x17^2 >= 0.4202819597; e165: 12.60712784*x3^2 + 6.67721368*x5*x3 + 5.226843526*x12*x3 + 7.562367272* x13*x3 - 6.67721368*x14*x3 - 2.41729784*x15*x3 + 2.41729784*x18*x3 + 12.60712784*x4^2 + 2.41729784*x5*x4 - 7.562367272*x12*x4 + 5.226843526* x13*x4 - 2.41729784*x14*x4 + 6.67721368*x15*x4 - 6.67721368*x18*x4 + x5* x5 + 0.65916112*x12*x5 + 2.50375742*x13*x5 - 2*x14*x5 + 1.67582365*x12* x12 - 0.65916112*x14*x12 - 2.50375742*x15*x12 + 2.50375742*x18*x12 + 1.67582365*x13^2 - 2.50375742*x14*x13 + 0.65916112*x15*x13 - 0.65916112* x18*x13 + x14^2 + x15^2 - 2*x18*x15 + x18^2 >= 0.3989108671; e166: 14.28570506*x6^2 + 7.357076*x8*x6 - 7.357076*x11*x6 - 1.7367363*x16*x6 + 1.7367363*x17*x6 + 14.28570506*x7^2 + 1.7367363*x8*x7 - 1.7367363*x11*x7 + 7.357076*x16*x7 - 7.357076*x17*x7 + x8^2 - 2*x11*x8 + x11^2 + x16^2 - 2*x17*x16 + x17^2 >= 4.361526123; e167: 14.28570506*x6^2 + 7.357076*x8*x6 - 7.357076*x14*x6 - 1.7367363*x16*x6 + 1.7367363*x18*x6 + 14.28570506*x7^2 + 1.7367363*x8*x7 - 1.7367363*x14*x7 + 7.357076*x16*x7 - 7.357076*x18*x7 + x8^2 - 2*x14*x8 + x14^2 + x16^2 - 2*x18*x16 + x18^2 >= 2.591119989; e168: 14.28570506*x6^2 + 7.357076*x8*x6 + 14.87075235*x9*x6 - 9.250400664*x10* x6 - 7.357076*x11*x6 - 1.7367363*x16*x6 + 1.7367363*x17*x6 + 14.28570506* x7^2 + 1.7367363*x8*x7 + 9.250400664*x9*x7 + 14.87075235*x10*x7 - 1.7367363*x11*x7 + 7.357076*x16*x7 - 7.357076*x17*x7 + x8^2 + 4.3914795* x9*x8 - 1.47802734*x10*x8 - 2*x11*x8 + 5.367414254*x9^2 - 4.3914795*x11* x9 + 1.47802734*x16*x9 - 1.47802734*x17*x9 + 5.367414254*x10^2 + 1.47802734*x11*x10 + 4.3914795*x16*x10 - 4.3914795*x17*x10 + x11^2 + x16^ 2 - 2*x17*x16 + x17^2 >= 1.820950745; e169: 14.28570506*x6^2 + 7.357076*x8*x6 - 12.00287413*x12*x6 - 1.082235764*x13* x6 - 7.357076*x14*x6 - 1.7367363*x16*x6 + 1.7367363*x18*x6 + 14.28570506* x7^2 + 1.7367363*x8*x7 + 1.082235764*x12*x7 - 12.00287413*x13*x7 - 1.7367363*x14*x7 + 7.357076*x16*x7 - 7.357076*x18*x7 + x8^2 - 3.02492942* x12*x8 - 1.00827778*x13*x8 - 2*x14*x8 + 2.541705519*x12^2 + 3.02492942* x14*x12 + 1.00827778*x16*x12 - 1.00827778*x18*x12 + 2.541705519*x13^2 + 1.00827778*x14*x13 - 3.02492942*x16*x13 + 3.02492942*x18*x13 + x14^2 + x16^2 - 2*x18*x16 + x18^2 >= 1.222255705; e170: 14.28570506*x6^2 + 7.357076*x8*x6 - 4.787824921*x9*x6 + 14.36292177*x10* x6 - 7.357076*x11*x6 - 1.7367363*x16*x6 + 1.7367363*x17*x6 + 14.28570506* x7^2 + 1.7367363*x8*x7 - 14.36292177*x9*x7 - 4.787824921*x10*x7 - 1.7367363*x11*x7 + 7.357076*x16*x7 - 7.357076*x17*x7 + x8^2 - 2.10591634* x9*x8 + 3.40738932*x10*x8 - 2*x11*x8 + 4.011296402*x9^2 + 2.10591634*x11* x9 - 3.40738932*x16*x9 + 3.40738932*x17*x9 + 4.011296402*x10^2 - 3.40738932*x11*x10 - 2.10591634*x16*x10 + 2.10591634*x17*x10 + x11^2 + x16^2 - 2*x17*x16 + x17^2 >= 1.072206695; e171: 14.28570506*x6^2 + 7.357076*x8*x6 + 7.059883882*x12*x6 - 7.431385524*x13* x6 - 7.357076*x14*x6 - 1.7367363*x16*x6 + 1.7367363*x18*x6 + 14.28570506* x7^2 + 1.7367363*x8*x7 + 7.431385524*x12*x7 + 7.059883882*x13*x7 - 1.7367363*x14*x7 + 7.357076*x16*x7 - 7.357076*x18*x7 + x8^2 + 2.26962754* x12*x8 - 1.48442486*x13*x8 - 2*x14*x8 + 1.838681584*x12^2 - 2.26962754* x14*x12 + 1.48442486*x16*x12 - 1.48442486*x18*x12 + 1.838681584*x13^2 + 1.48442486*x14*x13 + 2.26962754*x16*x13 - 2.26962754*x18*x13 + x14^2 + x16^2 - 2*x18*x16 + x18^2 >= 0.7525270849; e172: 14.28570506*x6^2 + 7.357076*x8*x6 + 10.41251264*x9*x6 - 5.20626823*x10*x6 - 7.357076*x11*x6 - 1.7367363*x16*x6 + 1.7367363*x17*x6 + 14.28570506*x7 ^2 + 1.7367363*x8*x7 + 5.20626823*x9*x7 + 10.41251264*x10*x7 - 1.7367363* x11*x7 + 7.357076*x16*x7 - 7.357076*x17*x7 + x8^2 + 2.9976666*x9*x8 - 0.70766974*x10*x8 - 2*x11*x8 + 2.371700376*x9^2 - 2.9976666*x11*x9 + 0.70766974*x16*x9 - 0.70766974*x17*x9 + 2.371700376*x10^2 + 0.70766974* x11*x10 + 2.9976666*x16*x10 - 2.9976666*x17*x10 + x11^2 + x16^2 - 2*x17* x16 + x17^2 >= 3.008863561; e173: 14.28570506*x6^2 + 7.357076*x8*x6 - 18.23766708*x12*x6 - 1.644536596*x13* x6 - 7.357076*x14*x6 - 1.7367363*x16*x6 + 1.7367363*x18*x6 + 14.28570506* x7^2 + 1.7367363*x8*x7 + 1.644536596*x12*x7 - 18.23766708*x13*x7 - 1.7367363*x14*x7 + 7.357076*x16*x7 - 7.357076*x18*x7 + x8^2 - 4.59619514* x12*x8 - 1.53205596*x13*x8 - 2*x14*x8 + 5.868051307*x12^2 + 4.59619514* x14*x12 + 1.53205596*x16*x12 - 1.53205596*x18*x12 + 5.868051307*x13^2 + 1.53205596*x14*x13 - 4.59619514*x16*x13 + 4.59619514*x18*x13 + x14^2 + x16^2 - 2*x18*x16 + x18^2 >= 0.7117751037; e174: 14.28570506*x6^2 + 7.357076*x8*x6 - 11.51024174*x9*x6 - 7.113981513*x10* x6 - 7.357076*x11*x6 - 1.7367363*x16*x6 + 1.7367363*x17*x6 + 14.28570506* x7^2 + 1.7367363*x8*x7 + 7.113981513*x9*x7 - 11.51024174*x10*x7 - 1.7367363*x11*x7 + 7.357076*x16*x7 - 7.357076*x17*x7 + x8^2 - 2.5314331* x9*x8 - 2.53149414*x10*x8 - 2*x11*x8 + 3.20415403*x9^2 + 2.5314331*x11*x9 + 2.53149414*x16*x9 - 2.53149414*x17*x9 + 3.20415403*x10^2 + 2.53149414* x11*x10 - 2.5314331*x16*x10 + 2.5314331*x17*x10 + x11^2 + x16^2 - 2*x17* x16 + x17^2 >= 0.6768277376; e175: 14.28570506*x6^2 + 7.357076*x8*x6 + 4.598932427*x12*x6 + 8.63777229*x13* x6 - 7.357076*x14*x6 - 1.7367363*x16*x6 + 1.7367363*x18*x6 + 14.28570506* x7^2 + 1.7367363*x8*x7 - 8.63777229*x12*x7 + 4.598932427*x13*x7 - 1.7367363*x14*x7 + 7.357076*x16*x7 - 7.357076*x18*x7 + x8^2 + 0.65916112* x12*x8 + 2.50375742*x13*x8 - 2*x14*x8 + 1.67582365*x12^2 - 0.65916112*x14 *x12 - 2.50375742*x16*x12 + 2.50375742*x18*x12 + 1.67582365*x13^2 - 2.50375742*x14*x13 + 0.65916112*x16*x13 - 0.65916112*x18*x13 + x14^2 + x16^2 - 2*x18*x16 + x18^2 >= 0.649632373; e176: 2.371700376*x9^2 - 2.9976666*x11*x9 + 2.9976666*x14*x9 - 0.70766974*x17* x9 + 0.70766974*x18*x9 + 2.371700376*x10^2 + 0.70766974*x11*x10 - 0.70766974*x14*x10 - 2.9976666*x17*x10 + 2.9976666*x18*x10 + x11^2 - 2* x14*x11 + x14^2 + x17^2 - 2*x18*x17 + x18^2 >= 4.942456881; e177: 2.371700376*x9^2 - 2.9976666*x11*x9 + 4.177101108*x12*x9 + 2.58156582*x13 *x9 + 2.9976666*x14*x9 - 0.70766974*x17*x9 + 0.70766974*x18*x9 + 2.371700376*x10^2 + 0.70766974*x11*x10 - 2.58156582*x12*x10 + 4.177101108 *x13*x10 - 0.70766974*x14*x10 - 2.9976666*x17*x10 + 2.9976666*x18*x10 + x11^2 - 3.02492942*x12*x11 - 1.00827778*x13*x11 - 2*x14*x11 + 2.541705519 *x12^2 + 3.02492942*x14*x12 + 1.00827778*x17*x12 - 1.00827778*x18*x12 + 2.541705519*x13^2 + 1.00827778*x14*x13 - 3.02492942*x17*x13 + 3.02492942* x18*x13 + x14^2 + x17^2 - 2*x18*x17 + x18^2 >= 2.955046366; e178: 2.371700376*x9^2 - 2.9976666*x11*x9 - 3.927034613*x12*x9 + 1.421832046* x13*x9 + 2.9976666*x14*x9 - 0.70766974*x17*x9 + 0.70766974*x18*x9 + 2.371700376*x10^2 + 0.70766974*x11*x10 - 1.421832046*x12*x10 - 3.927034613*x13*x10 - 0.70766974*x14*x10 - 2.9976666*x17*x10 + 2.9976666* x18*x10 + x11^2 + 2.26962754*x12*x11 - 1.48442486*x13*x11 - 2*x14*x11 + 1.838681584*x12^2 - 2.26962754*x14*x12 + 1.48442486*x17*x12 - 1.48442486* x18*x12 + 1.838681584*x13^2 + 1.48442486*x14*x13 + 2.26962754*x17*x13 - 2.26962754*x18*x13 + x14^2 + x17^2 - 2*x18*x17 + x18^2 >= 2.193216694; e179: 2.371700376*x9^2 - 2.9976666*x11*x9 + 6.346835508*x12*x9 + 3.9225906*x13* x9 + 2.9976666*x14*x9 - 0.70766974*x17*x9 + 0.70766974*x18*x9 + 2.371700376*x10^2 + 0.70766974*x11*x10 - 3.9225906*x12*x10 + 6.346835508* x13*x10 - 0.70766974*x14*x10 - 2.9976666*x17*x10 + 2.9976666*x18*x10 + x11^2 - 4.59619514*x12*x11 - 1.53205596*x13*x11 - 2*x14*x11 + 5.868051307 *x12^2 + 4.59619514*x14*x12 + 1.53205596*x17*x12 - 1.53205596*x18*x12 + 5.868051307*x13^2 + 1.53205596*x14*x13 - 4.59619514*x17*x13 + 4.59619514* x18*x13 + x14^2 + x17^2 - 2*x18*x17 + x18^2 >= 2.123244565; e180: 2.371700376*x9^2 - 2.9976666*x11*x9 - 0.1020559555*x12*x9 - 3.985949185* x13*x9 + 2.9976666*x14*x9 - 0.70766974*x17*x9 + 0.70766974*x18*x9 + 2.371700376*x10^2 + 0.70766974*x11*x10 + 3.985949185*x12*x10 - 0.1020559555*x13*x10 - 0.70766974*x14*x10 - 2.9976666*x17*x10 + 2.9976666 *x18*x10 + x11^2 + 0.65916112*x12*x11 + 2.50375742*x13*x11 - 2*x14*x11 + 1.67582365*x12^2 - 0.65916112*x14*x12 - 2.50375742*x17*x12 + 2.50375742* x18*x12 + 1.67582365*x13^2 - 2.50375742*x14*x13 + 0.65916112*x17*x13 - 0.65916112*x18*x13 + x14^2 + x17^2 - 2*x18*x17 + x18^2 >= 2.014883271; e181: 3.491341646*x3^2 - 0.33813906*x5*x3 + 0.33813906*x8*x3 + 3.721697*x15*x3 - 3.721697*x16*x3 + 3.491341646*x4^2 - 3.721697*x5*x4 + 3.721697*x8*x4 - 0.33813906*x15*x4 + 0.33813906*x16*x4 + x5^2 - 2*x8*x5 + x8^2 + x15^2 - 2*x16*x15 + x16^2 >= 2.898849893; e182: 3.491341646*x3^2 - 0.33813906*x5*x3 + 0.33813906*x11*x3 + 3.721697*x15*x3 - 3.721697*x17*x3 + 3.491341646*x4^2 - 3.721697*x5*x4 + 3.721697*x11*x4 - 0.33813906*x15*x4 + 0.33813906*x17*x4 + x5^2 - 2*x11*x5 + x11^2 + x15^ 2 - 2*x17*x15 + x17^2 >= 3.245498018; e183: 3.491341646*x3^2 - 0.33813906*x5*x3 + 0.33813906*x14*x3 + 3.721697*x15*x3 - 3.721697*x18*x3 + 3.491341646*x4^2 - 3.721697*x5*x4 + 3.721697*x14*x4 - 0.33813906*x15*x4 + 0.33813906*x18*x4 + x5^2 - 2*x14*x5 + x14^2 + x15^ 2 - 2*x18*x15 + x18^2 >= 1.749787908; e184: 3.491341646*x3^2 - 0.33813906*x5*x3 + 2.751874662*x6*x3 - 8.237235237*x7* x3 + 0.33813906*x8*x3 + 3.721697*x15*x3 - 3.721697*x16*x3 + 3.491341646* x4^2 - 3.721697*x5*x4 + 8.237235237*x6*x4 + 2.751874662*x7*x4 + 3.721697* x8*x4 - 0.33813906*x15*x4 + 0.33813906*x16*x4 + x5^2 - 4.5236206*x6*x5 - 1.06782914*x7*x5 - 2*x8*x5 + 5.400850601*x6^2 + 4.5236206*x8*x6 + 1.06782914*x15*x6 - 1.06782914*x16*x6 + 5.400850601*x7*x7 + 1.06782914*x8 *x7 - 4.5236206*x15*x7 + 4.5236206*x16*x7 + x8^2 + x15^2 - 2*x16*x15 + x16^2 >= 1.365843282; e185: 3.491341646*x3^2 - 0.33813906*x5*x3 + 2.007919584*x9*x3 + 8.421767428*x10 *x3 + 0.33813906*x11*x3 + 3.721697*x15*x3 - 3.721697*x17*x3 + 3.491341646 *x4^2 - 3.721697*x5*x4 - 8.421767428*x9*x4 + 2.007919584*x10*x4 + 3.721697*x11*x4 - 0.33813906*x15*x4 + 0.33813906*x17*x4 + x5^2 + 4.3914795*x9*x5 - 1.47802734*x10*x5 - 2*x11*x5 + 5.367414254*x9^2 - 4.3914795*x11*x9 + 1.47802734*x15*x9 - 1.47802734*x17*x9 + 5.367414254* x10^2 + 1.47802734*x11*x10 + 4.3914795*x15*x10 - 4.3914795*x17*x10 + x11^ 2 + x15^2 - 2*x17*x15 + x17^2 >= 1.128961394; e186: 3.491341646*x3^2 - 0.33813906*x5*x3 + 2.38767559*x12*x3 - 5.458466323*x13 *x3 + 0.33813906*x14*x3 + 3.721697*x15*x3 - 3.721697*x18*x3 + 3.491341646 *x4^2 - 3.721697*x5*x4 + 5.458466323*x12*x4 + 2.38767559*x13*x4 + 3.721697*x14*x4 - 0.33813906*x15*x4 + 0.33813906*x18*x4 + x5^2 - 3.02492942*x12*x5 - 1.00827778*x13*x5 - 2*x14*x5 + 2.541705519*x12^2 + 3.02492942*x14*x12 + 1.00827778*x15*x12 - 1.00827778*x18*x12 + 2.541705519*x13^2 + 1.00827778*x14*x13 - 3.02492942*x15*x13 + 3.02492942* x18*x13 + x14^2 + x15^2 - 2*x18*x15 + x18^2 >= 0.6701986451; e187: 3.491341646*x3^2 - 0.33813906*x5*x3 + 2.023439548*x6*x3 + 7.706601506*x7* x3 + 0.33813906*x8*x3 + 3.721697*x15*x3 - 3.721697*x16*x3 + 3.491341646* x4^2 - 3.721697*x5*x4 - 7.706601506*x6*x4 + 2.023439548*x7*x4 + 3.721697* x8*x4 - 0.33813906*x15*x4 + 0.33813906*x16*x4 + x5^2 + 4.009552*x6*x5 - 1.45166714*x7*x5 - 2*x8*x5 + 4.545961182*x6^2 - 4.009552*x8*x6 + 1.45166714*x15*x6 - 1.45166714*x16*x6 + 4.545961182*x7*x7 + 1.45166714*x8 *x7 + 4.009552*x15*x7 - 4.009552*x16*x7 + x8^2 + x15*x15 - 2*x16*x15 + x16^2 >= 0.9540873885; e188: 3.491341646*x3^2 - 0.33813906*x5*x3 - 5.984589019*x9*x3 - 4.494876973*x10 *x3 + 0.33813906*x11*x3 + 3.721697*x15*x3 - 3.721697*x17*x3 + 3.491341646 *x4^2 - 3.721697*x5*x4 + 4.494876973*x9*x4 - 5.984589019*x10*x4 + 3.721697*x11*x4 - 0.33813906*x15*x4 + 0.33813906*x17*x4 + x5^2 - 2.10591634*x9*x5 + 3.40738932*x10*x5 - 2*x11*x5 + 4.011296402*x9^2 + 2.10591634*x11*x9 - 3.40738932*x15*x9 + 3.40738932*x17*x9 + 4.011296402* x10^2 - 3.40738932*x11*x10 - 2.10591634*x15*x10 + 2.10591634*x17*x10 + x11^2 + x15^2 - 2*x17*x15 + x17^2 >= 0.5603630484; e189: 3.491341646*x3^2 - 0.33813906*x5*x3 + 2.378564913*x12*x3 + 4.474404017* x13*x3 + 0.33813906*x14*x3 + 3.721697*x15*x3 - 3.721697*x18*x3 + 3.491341646*x4^2 - 3.721697*x5*x4 - 4.474404017*x12*x4 + 2.378564913*x13* x4 + 3.721697*x14*x4 - 0.33813906*x15*x4 + 0.33813906*x18*x4 + x5^2 + 2.26962754*x12*x5 - 1.48442486*x13*x5 - 2*x14*x5 + 1.838681584*x12*x12 - 2.26962754*x14*x12 + 1.48442486*x15*x12 - 1.48442486*x18*x12 + 1.838681584*x13^2 + 1.48442486*x14*x13 + 2.26962754*x15*x13 - 2.26962754* x18*x13 + x14^2 + x15^2 - 2*x18*x15 + x18^2 >= 0.3370766896; e190: 3.491341646*x3^2 - 0.33813906*x5*x3 + 4.47566052*x6*x3 - 13.39677465*x7* x3 + 0.33813906*x8*x3 + 3.721697*x15*x3 - 3.721697*x16*x3 + 3.491341646* x4^2 - 3.721697*x5*x4 + 13.39677465*x6*x4 + 4.47566052*x7*x4 + 3.721697* x8*x4 - 0.33813906*x15*x4 + 0.33813906*x16*x4 + x5^2 - 7.357076*x6*x5 - 1.7367363*x7*x5 - 2*x8*x5 + 14.28570506*x6^2 + 7.357076*x8*x6 + 1.7367363 *x15*x6 - 1.7367363*x16*x6 + 14.28570506*x7^2 + 1.7367363*x8*x7 - 7.357076*x15*x7 + 7.357076*x16*x7 + x8^2 + x15^2 - 2*x16*x15 + x16^2 >= 0.6959553598; e191: 3.491341646*x3^2 - 0.33813906*x5*x3 + 0.810052091*x9*x3 + 5.697848786*x10 *x3 + 0.33813906*x11*x3 + 3.721697*x15*x3 - 3.721697*x17*x3 + 3.491341646 *x4^2 - 3.721697*x5*x4 - 5.697848786*x9*x4 + 0.810052091*x10*x4 + 3.721697*x11*x4 - 0.33813906*x15*x4 + 0.33813906*x17*x4 + x5^2 + 2.9976666*x9*x5 - 0.70766974*x10*x5 - 2*x11*x5 + 2.371700376*x9^2 - 2.9976666*x11*x9 + 0.70766974*x15*x9 - 0.70766974*x17*x9 + 2.371700376* x10^2 + 0.70766974*x11*x10 + 2.9976666*x15*x10 - 2.9976666*x17*x10 + x11^ 2 + x15^2 - 2*x17*x15 + x17^2 >= 2.095856948; e192: 3.491341646*x3^2 - 0.33813906*x5*x3 + 3.628000587*x12*x3 - 8.293798851* x13*x3 + 0.33813906*x14*x3 + 3.721697*x15*x3 - 3.721697*x18*x3 + 3.491341646*x4^2 - 3.721697*x5*x4 + 8.293798851*x12*x4 + 3.628000587*x13* x4 + 3.721697*x14*x4 - 0.33813906*x15*x4 + 0.33813906*x18*x4 + x5^2 - 4.59619514*x12*x5 - 1.53205596*x13*x5 - 2*x14*x5 + 5.868051307*x12*x12 + 4.59619514*x14*x12 + 1.53205596*x15*x12 - 1.53205596*x18*x12 + 5.868051307*x13^2 + 1.53205596*x14*x13 - 4.59619514*x15*x13 + 4.59619514* x18*x13 + x14^2 + x15^2 - 2*x18*x15 + x18^2 >= 0.3099900713; e193: 3.491341646*x3^2 - 0.33813906*x5*x3 + 5.555249733*x6*x3 - 16.62839428*x7* x3 + 0.33813906*x8*x3 + 3.721697*x15*x3 - 3.721697*x16*x3 + 3.491341646* x4^2 - 3.721697*x5*x4 + 16.62839428*x6*x4 + 5.555249733*x7*x4 + 3.721697* x8*x4 - 0.33813906*x15*x4 + 0.33813906*x16*x4 + x5^2 - 9.1317749*x6*x5 - 2.15565364*x7*x5 - 2*x8*x5 + 22.00903886*x6^2 + 9.1317749*x8*x6 + 2.15565364*x15*x6 - 2.15565364*x16*x6 + 22.00903886*x7*x7 + 2.15565364*x8 *x7 - 9.1317749*x15*x7 + 9.1317749*x16*x7 + x8^2 + x15^2 - 2*x16*x15 + x16^2 >= 0.3903479242; e194: 3.491341646*x3^2 - 0.33813906*x5*x3 + 5.138715278*x9*x3 - 4.282614963*x10 *x3 + 0.33813906*x11*x3 + 3.721697*x15*x3 - 3.721697*x17*x3 + 3.491341646 *x4^2 - 3.721697*x5*x4 + 4.282614963*x9*x4 + 5.138715278*x10*x4 + 3.721697*x11*x4 - 0.33813906*x15*x4 + 0.33813906*x17*x4 + x5^2 - 2.5314331*x9*x5 - 2.53149414*x10*x5 - 2*x11*x5 + 3.20415403*x9^2 + 2.5314331*x11*x9 + 2.53149414*x15*x9 - 2.53149414*x17*x9 + 3.20415403*x10 ^2 + 2.53149414*x11*x10 - 2.5314331*x15*x10 + 2.5314331*x17*x10 + x11^2 + x15^2 - 2*x17*x15 + x17^2 >= 0.2870765821; e195: 3.491341646*x3^2 - 0.33813906*x5*x3 - 4.7705573*x12*x3 + 0.8032898912*x13 *x3 + 0.33813906*x14*x3 + 3.721697*x15*x3 - 3.721697*x18*x3 + 3.491341646 *x4^2 - 3.721697*x5*x4 - 0.8032898912*x12*x4 - 4.7705573*x13*x4 + 3.721697*x14*x4 - 0.33813906*x15*x4 + 0.33813906*x18*x4 + x5^2 + 0.65916112*x12*x5 + 2.50375742*x13*x5 - 2*x14*x5 + 1.67582365*x12^2 - 0.65916112*x14*x12 - 2.50375742*x15*x12 + 2.50375742*x18*x12 + 1.67582365 *x13^2 - 2.50375742*x14*x13 + 0.65916112*x15*x13 - 0.65916112*x18*x13 + x14^2 + x15^2 - 2*x18*x15 + x18^2 >= 0.2694623391; e196: 22.00903886*x6^2 + 9.1317749*x8*x6 - 9.1317749*x11*x6 - 2.15565364*x16*x6 + 2.15565364*x17*x6 + 22.00903886*x7^2 + 2.15565364*x8*x7 - 2.15565364* x11*x7 + 9.1317749*x16*x7 - 9.1317749*x17*x7 + x8^2 - 2*x11*x8 + x11^2 + x16^2 - 2*x17*x16 + x17^2 >= 3.530511801; e197: 22.00903886*x6^2 + 9.1317749*x8*x6 - 9.1317749*x14*x6 - 2.15565364*x16*x6 + 2.15565364*x18*x6 + 22.00903886*x7^2 + 2.15565364*x8*x7 - 2.15565364* x14*x7 + 9.1317749*x16*x7 - 9.1317749*x18*x7 + x8^2 - 2*x14*x8 + x14^2 + x16^2 - 2*x18*x16 + x18^2 >= 1.960656739; e198: 22.00903886*x6^2 + 9.1317749*x8*x6 + 18.45794363*x9*x6 - 11.48176087*x10* x6 - 9.1317749*x11*x6 - 2.15565364*x16*x6 + 2.15565364*x17*x6 + 22.00903886*x7^2 + 2.15565364*x8*x7 + 11.48176087*x9*x7 + 18.45794363*x10 *x7 - 2.15565364*x11*x7 + 9.1317749*x16*x7 - 9.1317749*x17*x7 + x8^2 + 4.3914795*x9*x8 - 1.47802734*x10*x8 - 2*x11*x8 + 5.367414254*x9^2 - 4.3914795*x11*x9 + 1.47802734*x16*x9 - 1.47802734*x17*x9 + 5.367414254* x10^2 + 1.47802734*x11*x10 + 4.3914795*x16*x10 - 4.3914795*x17*x10 + x11^ 2 + x16^2 - 2*x17*x16 + x17^2 >= 1.299520178; e199: 22.00903886*x6^2 + 9.1317749*x8*x6 - 14.89823611*x12*x6 - 1.343332804*x13 *x6 - 9.1317749*x14*x6 - 2.15565364*x16*x6 + 2.15565364*x18*x6 + 22.00903886*x7^2 + 2.15565364*x8*x7 + 1.343332804*x12*x7 - 14.89823611* x13*x7 - 2.15565364*x14*x7 + 9.1317749*x16*x7 - 9.1317749*x18*x7 + x8^2 - 3.02492942*x12*x8 - 1.00827778*x13*x8 - 2*x14*x8 + 2.541705519*x12*x12 + 3.02492942*x14*x12 + 1.00827778*x16*x12 - 1.00827778*x18*x12 + 2.541705519*x13^2 + 1.00827778*x14*x13 - 3.02492942*x16*x13 + 3.02492942* x18*x13 + x14^2 + x16^2 - 2*x18*x16 + x18^2 >= 0.8029874139; e200: 22.00903886*x6^2 + 9.1317749*x8*x6 - 5.942801392*x9*x6 + 17.82756925*x10* x6 - 9.1317749*x11*x6 - 2.15565364*x16*x6 + 2.15565364*x17*x6 + 22.00903886*x7^2 + 2.15565364*x8*x7 - 17.82756925*x9*x7 - 5.942801392*x10 *x7 - 2.15565364*x11*x7 + 9.1317749*x16*x7 - 9.1317749*x17*x7 + x8^2 - 2.10591634*x9*x8 + 3.40738932*x10*x8 - 2*x11*x8 + 4.011296402*x9^2 + 2.10591634*x11*x9 - 3.40738932*x16*x9 + 3.40738932*x17*x9 + 4.011296402* x10^2 - 3.40738932*x11*x10 - 2.10591634*x16*x10 + 2.10591634*x17*x10 + x11^2 + x16^2 - 2*x17*x16 + x17^2 >= 0.6822975588; e201: 22.00903886*x6^2 + 9.1317749*x8*x6 + 8.762910975*x12*x6 - 9.223982273*x13 *x6 - 9.1317749*x14*x6 - 2.15565364*x16*x6 + 2.15565364*x18*x6 + 22.00903886*x7^2 + 2.15565364*x8*x7 + 9.223982273*x12*x7 + 8.762910975* x13*x7 - 2.15565364*x14*x7 + 9.1317749*x16*x7 - 9.1317749*x18*x7 + x8^2 + 2.26962754*x12*x8 - 1.48442486*x13*x8 - 2*x14*x8 + 1.838681584*x12*x12 - 2.26962754*x14*x12 + 1.48442486*x16*x12 - 1.48442486*x18*x12 + 1.838681584*x13^2 + 1.48442486*x14*x13 + 2.26962754*x16*x13 - 2.26962754* x18*x13 + x14^2 + x16^2 - 2*x18*x16 + x18^2 >= 0.4329930841; e202: 22.00903886*x6^2 + 9.1317749*x8*x6 + 12.92426288*x9*x6 - 6.462105844*x10* x6 - 9.1317749*x11*x6 - 2.15565364*x16*x6 + 2.15565364*x17*x6 + 22.00903886*x7^2 + 2.15565364*x8*x7 + 6.462105844*x9*x7 + 12.92426288*x10 *x7 - 2.15565364*x11*x7 + 9.1317749*x16*x7 - 9.1317749*x17*x7 + x8^2 + 2.9976666*x9*x8 - 0.70766974*x10*x8 - 2*x11*x8 + 2.371700376*x9^2 - 2.9976666*x11*x9 + 0.70766974*x16*x9 - 0.70766974*x17*x9 + 2.371700376* x10^2 + 0.70766974*x11*x10 + 2.9976666*x16*x10 - 2.9976666*x17*x10 + x11^ 2 + x16^2 - 2*x17*x16 + x17^2 >= 2.326071907; e203: 22.00903886*x6^2 + 9.1317749*x8*x6 - 22.63700071*x12*x6 - 2.041292689*x13 *x6 - 9.1317749*x14*x6 - 2.15565364*x16*x6 + 2.15565364*x18*x6 + 22.00903886*x7^2 + 2.15565364*x8*x7 + 2.041292689*x12*x7 - 22.63700071* x13*x7 - 2.15565364*x14*x7 + 9.1317749*x16*x7 - 9.1317749*x18*x7 + x8^2 - 4.59619514*x12*x8 - 1.53205596*x13*x8 - 2*x14*x8 + 5.868051307*x12*x12 + 4.59619514*x14*x12 + 1.53205596*x16*x12 - 1.53205596*x18*x12 + 5.868051307*x13^2 + 1.53205596*x14*x13 - 4.59619514*x16*x13 + 4.59619514* x18*x13 + x14^2 + x16^2 - 2*x18*x16 + x18^2 >= 0.4022179607; e204: 22.00903886*x6^2 + 9.1317749*x8*x6 - 14.2867509*x9*x6 - 8.830070835*x10* x6 - 9.1317749*x11*x6 - 2.15565364*x16*x6 + 2.15565364*x17*x6 + 22.00903886*x7^2 + 2.15565364*x8*x7 + 8.830070835*x9*x7 - 14.2867509*x10* x7 - 2.15565364*x11*x7 + 9.1317749*x16*x7 - 9.1317749*x17*x7 + x8^2 - 2.5314331*x9*x8 - 2.53149414*x10*x8 - 2*x11*x8 + 3.20415403*x9^2 + 2.5314331*x11*x9 + 2.53149414*x16*x9 - 2.53149414*x17*x9 + 3.20415403*x10 ^2 + 2.53149414*x11*x10 - 2.5314331*x16*x10 + 2.5314331*x17*x10 + x11^2 + x16^2 - 2*x17*x16 + x17^2 >= 0.3760563312; e205: 22.00903886*x6^2 + 9.1317749*x8*x6 + 5.708272383*x12*x6 + 10.72141305*x13 *x6 - 9.1317749*x14*x6 - 2.15565364*x16*x6 + 2.15565364*x18*x6 + 22.00903886*x7^2 + 2.15565364*x8*x7 - 10.72141305*x12*x7 + 5.708272383* x13*x7 - 2.15565364*x14*x7 + 9.1317749*x16*x7 - 9.1317749*x18*x7 + x8^2 + 0.65916112*x12*x8 + 2.50375742*x13*x8 - 2*x14*x8 + 1.67582365*x12^2 - 0.65916112*x14*x12 - 2.50375742*x16*x12 + 2.50375742*x18*x12 + 1.67582365 *x13^2 - 2.50375742*x14*x13 + 0.65916112*x16*x13 - 0.65916112*x18*x13 + x14^2 + x16^2 - 2*x18*x16 + x18^2 >= 0.3558559867; e206: 3.20415403*x9^2 + 2.5314331*x11*x9 - 2.5314331*x14*x9 - 2.53149414*x17*x9 + 2.53149414*x18*x9 + 3.20415403*x10^2 + 2.53149414*x11*x10 - 2.53149414 *x14*x10 + 2.5314331*x17*x10 - 2.5314331*x18*x10 + x11^2 - 2*x14*x11 + x14^2 + x17^2 - 2*x18*x17 + x18^2 >= 1.719380522; e207: 3.20415403*x9^2 + 2.5314331*x11*x9 - 5.104927875*x12*x9 + 2.552601677*x13 *x9 - 2.5314331*x14*x9 - 2.53149414*x17*x9 + 2.53149414*x18*x9 + 3.20415403*x10^2 + 2.53149414*x11*x10 - 2.552601677*x12*x10 - 5.104927875 *x13*x10 - 2.53149414*x14*x10 + 2.5314331*x17*x10 - 2.5314331*x18*x10 + x11^2 - 3.02492942*x12*x11 - 1.00827778*x13*x11 - 2*x14*x11 + 2.541705519 *x12^2 + 3.02492942*x14*x12 + 1.00827778*x17*x12 - 1.00827778*x18*x12 + 2.541705519*x13^2 + 1.00827778*x14*x13 - 3.02492942*x17*x13 + 3.02492942* x18*x13 + x14^2 + x17^2 - 2*x18*x17 + x18^2 >= 0.6514307975; e208: 3.20415403*x9^2 + 2.5314331*x11*x9 + 0.9937987225*x12*x9 - 4.751635521* x13*x9 - 2.5314331*x14*x9 - 2.53149414*x17*x9 + 2.53149414*x18*x9 + 3.20415403*x10^2 + 2.53149414*x11*x10 + 4.751635521*x12*x10 + 0.9937987225*x13*x10 - 2.53149414*x14*x10 + 2.5314331*x17*x10 - 2.5314331 *x18*x10 + x11^2 + 2.26962754*x12*x11 - 1.48442486*x13*x11 - 2*x14*x11 + 1.838681584*x12^2 - 2.26962754*x14*x12 + 1.48442486*x17*x12 - 1.48442486* x18*x12 + 1.838681584*x13^2 + 1.48442486*x14*x13 + 2.26962754*x17*x13 - 2.26962754*x18*x13 + x14^2 + x17^2 - 2*x18*x17 + x18^2 >= 0.3238054746; e209: 3.20415403*x9^2 + 2.5314331*x11*x9 - 7.756675598*x12*x9 + 3.878471948*x13 *x9 - 2.5314331*x14*x9 - 2.53149414*x17*x9 + 2.53149414*x18*x9 + 3.20415403*x10^2 + 2.53149414*x11*x10 - 3.878471948*x12*x10 - 7.756675598 *x13*x10 - 2.53149414*x14*x10 + 2.5314331*x17*x10 - 2.5314331*x18*x10 + x11^2 - 4.59619514*x12*x11 - 1.53205596*x13*x11 - 2*x14*x11 + 5.868051307 *x12^2 + 4.59619514*x14*x12 + 1.53205596*x17*x12 - 1.53205596*x18*x12 + 5.868051307*x13^2 + 1.53205596*x14*x13 - 4.59619514*x17*x13 + 4.59619514* x18*x13 + x14^2 + x17^2 - 2*x18*x17 + x18^2 >= 0.2972687086; e210: 3.20415403*x9^2 + 2.5314331*x11*x9 + 4.003434757*x12*x9 + 2.334715947*x13 *x9 - 2.5314331*x14*x9 - 2.53149414*x17*x9 + 2.53149414*x18*x9 + 3.20415403*x10^2 + 2.53149414*x11*x10 - 2.334715947*x12*x10 + 4.003434757 *x13*x10 - 2.53149414*x14*x10 + 2.5314331*x17*x10 - 2.5314331*x18*x10 + x11^2 + 0.65916112*x12*x11 + 2.50375742*x13*x11 - 2*x14*x11 + 1.67582365* x12^2 - 0.65916112*x14*x12 - 2.50375742*x17*x12 + 2.50375742*x18*x12 + 1.67582365*x13^2 - 2.50375742*x14*x13 + 0.65916112*x17*x13 - 0.65916112* x18*x13 + x14^2 + x17^2 - 2*x18*x17 + x18^2 >= 0.2576106975;