#  MINLP written by GAMS Convert at 08/26/20 11:33:03
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#        230        6        0      224        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        181       31      150        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#        899      599      300        0
# 
#  Reformulation has removed 1 variable and 1 equation


var b1 binary >= 0, <= 1;
var b2 binary >= 0, <= 1;
var b3 binary >= 0, <= 1;
var b4 binary >= 0, <= 1;
var b5 binary >= 0, <= 1;
var b6 binary >= 0, <= 1;
var b7 binary >= 0, <= 1;
var b8 binary >= 0, <= 1;
var b9 binary >= 0, <= 1;
var b10 binary >= 0, <= 1;
var b11 binary >= 0, <= 1;
var b12 binary >= 0, <= 1;
var b13 binary >= 0, <= 1;
var b14 binary >= 0, <= 1;
var b15 binary >= 0, <= 1;
var b16 binary >= 0, <= 1;
var b17 binary >= 0, <= 1;
var b18 binary >= 0, <= 1;
var b19 binary >= 0, <= 1;
var b20 binary >= 0, <= 1;
var b21 binary >= 0, <= 1;
var b22 binary >= 0, <= 1;
var b23 binary >= 0, <= 1;
var b24 binary >= 0, <= 1;
var b25 binary := 1, >= 0, <= 1;
var b26 binary >= 0, <= 1;
var b27 binary >= 0, <= 1;
var b28 binary >= 0, <= 1;
var b29 binary >= 0, <= 1;
var b30 binary >= 0, <= 1;
var b31 binary >= 0, <= 1;
var b32 binary >= 0, <= 1;
var b33 binary >= 0, <= 1;
var b34 binary >= 0, <= 1;
var b35 binary := 1, >= 0, <= 1;
var b36 binary >= 0, <= 1;
var b37 binary >= 0, <= 1;
var b38 binary >= 0, <= 1;
var b39 binary >= 0, <= 1;
var b40 binary >= 0, <= 1;
var b41 binary >= 0, <= 1;
var b42 binary >= 0, <= 1;
var b43 binary >= 0, <= 1;
var b44 binary >= 0, <= 1;
var b45 binary >= 0, <= 1;
var b46 binary >= 0, <= 1;
var b47 binary >= 0, <= 1;
var b48 binary >= 0, <= 1;
var b49 binary >= 0, <= 1;
var b50 binary >= 0, <= 1;
var b51 binary >= 0, <= 1;
var b52 binary >= 0, <= 1;
var b53 binary >= 0, <= 1;
var b54 binary >= 0, <= 1;
var b55 binary >= 0, <= 1;
var b56 binary >= 0, <= 1;
var b57 binary >= 0, <= 1;
var b58 binary >= 0, <= 1;
var b59 binary >= 0, <= 1;
var b60 binary >= 0, <= 1;
var b61 binary >= 0, <= 1;
var b62 binary >= 0, <= 1;
var b63 binary >= 0, <= 1;
var b64 binary >= 0, <= 1;
var b65 binary >= 0, <= 1;
var b66 binary >= 0, <= 1;
var b67 binary >= 0, <= 1;
var b68 binary >= 0, <= 1;
var b69 binary := 1, >= 0, <= 1;
var b70 binary >= 0, <= 1;
var b71 binary >= 0, <= 1;
var b72 binary >= 0, <= 1;
var b73 binary >= 0, <= 1;
var b74 binary >= 0, <= 1;
var b75 binary >= 0, <= 1;
var b76 binary >= 0, <= 1;
var b77 binary >= 0, <= 1;
var b78 binary >= 0, <= 1;
var b79 binary >= 0, <= 1;
var b80 binary >= 0, <= 1;
var b81 binary >= 0, <= 1;
var b82 binary >= 0, <= 1;
var b83 binary >= 0, <= 1;
var b84 binary >= 0, <= 1;
var b85 binary >= 0, <= 1;
var b86 binary >= 0, <= 1;
var b87 binary >= 0, <= 1;
var b88 binary >= 0, <= 1;
var b89 binary >= 0, <= 1;
var b90 binary >= 0, <= 1;
var b91 binary >= 0, <= 1;
var b92 binary >= 0, <= 1;
var b93 binary >= 0, <= 1;
var b94 binary >= 0, <= 1;
var b95 binary >= 0, <= 1;
var b96 binary >= 0, <= 1;
var b97 binary >= 0, <= 1;
var b98 binary >= 0, <= 1;
var b99 binary >= 0, <= 1;
var b100 binary >= 0, <= 1;
var b101 binary >= 0, <= 1;
var b102 binary >= 0, <= 1;
var b103 binary >= 0, <= 1;
var b104 binary >= 0, <= 1;
var b105 binary >= 0, <= 1;
var b106 binary >= 0, <= 1;
var b107 binary := 1, >= 0, <= 1;
var b108 binary >= 0, <= 1;
var b109 binary >= 0, <= 1;
var b110 binary >= 0, <= 1;
var b111 binary >= 0, <= 1;
var b112 binary >= 0, <= 1;
var b113 binary >= 0, <= 1;
var b114 binary >= 0, <= 1;
var b115 binary >= 0, <= 1;
var b116 binary >= 0, <= 1;
var b117 binary >= 0, <= 1;
var b118 binary >= 0, <= 1;
var b119 binary >= 0, <= 1;
var b120 binary >= 0, <= 1;
var b121 binary >= 0, <= 1;
var b122 binary >= 0, <= 1;
var b123 binary >= 0, <= 1;
var b124 binary >= 0, <= 1;
var b125 binary >= 0, <= 1;
var b126 binary >= 0, <= 1;
var b127 binary >= 0, <= 1;
var b128 binary >= 0, <= 1;
var b129 binary >= 0, <= 1;
var b130 binary >= 0, <= 1;
var b131 binary >= 0, <= 1;
var b132 binary >= 0, <= 1;
var b133 binary >= 0, <= 1;
var b134 binary >= 0, <= 1;
var b135 binary >= 0, <= 1;
var b136 binary >= 0, <= 1;
var b137 binary >= 0, <= 1;
var b138 binary >= 0, <= 1;
var b139 binary >= 0, <= 1;
var b140 binary >= 0, <= 1;
var b141 binary >= 0, <= 1;
var b142 binary >= 0, <= 1;
var b143 binary >= 0, <= 1;
var b144 binary := 1, >= 0, <= 1;
var b145 binary >= 0, <= 1;
var b146 binary >= 0, <= 1;
var b147 binary >= 0, <= 1;
var b148 binary >= 0, <= 1;
var b149 binary >= 0, <= 1;
var b150 binary >= 0, <= 1;
var x151 := 2.80824226248558, >= 0, <= 10;
var x152 := 2.80824226248558, >= 0, <= 10;
var x153 >= 0, <= 10;
var x154 := 3.25902574907896, >= 0, <= 10;
var x155 := 3.25902574907896, >= 0, <= 10;
var x156 >= 0, <= 10;
var x157 := 2.80824226248558, >= 0, <= 10;
var x158 >= 0, <= 10;
var x159 := 3.25902574907896, >= 0, <= 10;
var x160 >= 0, <= 10;
var x161 := 2.80824226248558, >= 0, <= 10;
var x162 >= 0, <= 10;
var x163 := 3.25902574907896, >= 0, <= 10;
var x164 >= 0, <= 10;
var x165 := 2.88110099828265, >= 0, <= 10;
var x166 := 0.072858735797072, >= 0, <= 10;
var x167 := 3.25902574907896, >= 0, <= 10;
var x168 >= 0, <= 10;
var x169 >= 0, <= 10;
var x170 >= 0, <= 10;
var x171 >= 0, <= 10;
var x172 >= 0, <= 10;
var x173 := 0.072858735797072, >= 0, <= 10;
var x174 >= 0, <= 10;
var x175 >= 0, <= 10;
var x176 >= 0, <= 10;
var x177 := 0.072858735797072, >= 0, <= 10;
var x178 >= 0, <= 10;
var x179 := 0.072858735797072, >= 0, <= 10;
var x180 >= 0, <= 10;

minimize obj:    x153 + x156 + x158 + x160 + x162 + x164 + x166 + x168 + x169
     + x170 + x171 + x172 + x173 + x174 + x175 + x176 + x177 + x178 + x179
     + x180;

subject to

e1:    x151 - x152 - x153 <= 0;

e2:  - x151 + x152 - x153 <= 0;

e3:    x154 - x155 - x156 <= 0;

e4:  - x154 + x155 - x156 <= 0;

e5:    x151 - x157 - x158 <= 0;

e6:  - x151 + x157 - x158 <= 0;

e7:    x154 - x159 - x160 <= 0;

e8:  - x154 + x159 - x160 <= 0;

e9:    x151 - x161 - x162 <= 0;

e10:  - x151 + x161 - x162 <= 0;

e11:    x154 - x163 - x164 <= 0;

e12:  - x154 + x163 - x164 <= 0;

e13:    x151 - x165 - x166 <= 0;

e14:  - x151 + x165 - x166 <= 0;

e15:    x154 - x167 - x168 <= 0;

e16:  - x154 + x167 - x168 <= 0;

e17:    x152 - x157 - x169 <= 0;

e18:  - x152 + x157 - x169 <= 0;

e19:    x155 - x159 - x170 <= 0;

e20:  - x155 + x159 - x170 <= 0;

e21:    x152 - x161 - x171 <= 0;

e22:  - x152 + x161 - x171 <= 0;

e23:    x155 - x163 - x172 <= 0;

e24:  - x155 + x163 - x172 <= 0;

e25:    x152 - x165 - x173 <= 0;

e26:  - x152 + x165 - x173 <= 0;

e27:    x155 - x167 - x174 <= 0;

e28:  - x155 + x167 - x174 <= 0;

e29:    x157 - x161 - x175 <= 0;

e30:  - x157 + x161 - x175 <= 0;

e31:    x159 - x163 - x176 <= 0;

e32:  - x159 + x163 - x176 <= 0;

e33:    x157 - x165 - x177 <= 0;

e34:  - x157 + x165 - x177 <= 0;

e35:    x159 - x167 - x178 <= 0;

e36:  - x159 + x167 - x178 <= 0;

e37:    x161 - x165 - x179 <= 0;

e38:  - x161 + x165 - x179 <= 0;

e39:    x163 - x167 - x180 <= 0;

e40:  - x163 + x167 - x180 <= 0;

e41: (3.58392835071893 - x151)^2 + (0.44370753979378 - x154)^2
      + 117.37605108924*b1 <= 118.37605108924;

e42: (1.95628884344 - x151)^2 + (0.390503036650278 - x154)^2
      + 140.241701004457*b2 <= 141.241701004457;

e43: (4.55035690490668 - x151)^2 + (7.27185840240323 - x154)^2
      + 71.5594363053072*b3 <= 72.5594363053072;

e44: (6.2100872388646 - x151)^2 + (6.48745936675473 - x154)^2
      + 70.1361240423208*b4 <= 71.1361240423208;

e45: (3.1786343207553 - x151)^2 + (2.35630065859291 - x154)^2
      + 91.0983527000505*b5 <= 92.0983527000505;

e46: (2.77208272832737 - x151)^2 + (6.63537019621518 - x154)^2
      + 78.1787285426132*b6 <= 79.1787285426132;

e47: (5.05196451835929 - x151)^2 + (9.78029757859562 - x154)^2
      + 117.525315958044*b7 <= 118.525315958044;

e48: (4.91358831690657 - x151)^2 + (9.95200766490468 - x154)^2
      + 120.184782975767*b8 <= 121.184782975767;

e49: (1.82270973029123 - x151)^2 + (3.08924661212034 - x154)^2
      + 100.562560044535*b9 <= 101.562560044535;

e50: (8.90416070287928 - x151)^2 + (8.76903198117563 - x154)^2
      + 140.241701004457*b10 <= 141.241701004457;

e51: (9.55691722438547 - x151)^2 + (7.67982230145412 - x154)^2
      + 131.965894836477*b11 <= 132.965894836477;

e52: (5.63154215917614 - x151)^2 + (5.19669129629487 - x154)^2
      + 61.1865070415458*b12 <= 62.1865070415458;

e53: (1.22506785607057 - x151)^2 + (1.73643838760701 - x154)^2
      + 129.251385415199*b13 <= 130.251385415199;

e54: (3.56742024375224 - x151)^2 + (9.67716416398758 - x154)^2
      + 122.549628719203*b14 <= 123.549628719203;

e55: (6.4469689992634 - x151)^2 + (3.27001587839258 - x154)^2
      + 94.7662927771576*b15 <= 95.7662927771576;

e56: (6.10753237542196 - x151)^2 + (4.19206922588061 - x154)^2
      + 78.2445398454346*b16 <= 79.2445398454346;

e57: (3.65877473332061 - x151)^2 + (3.63421268850839 - x154)^2
      + 68.5611029512265*b17 <= 69.5611029512265;

e58: (1.2178860076098 - x151)^2 + (2.16125505734127 - x154)^2
      + 123.013834343708*b18 <= 124.013834343708;

e59: (0.592074869235123 - x151)^2 + (4.93671199500253 - x154)^2
      + 106.643311548917*b19 <= 107.643311548917;

e60: (6.7402850724876 - x151)^2 + (1.57064570718754 - x154)^2
      + 125.533092608851*b20 <= 126.533092608851;

e61: (4.86197880938116 - x151)^2 + (0.383551455477691 - x154)^2
      + 125.003682175941*b21 <= 126.003682175941;

e62: (1.8799102211015 - x151)^2 + (8.11097800063776 - x154)^2
      + 111.618317672146*b22 <= 112.618317672146;

e63: (7.64684982583741 - x151)^2 + (0.420960467093494 - x154)^2
      + 160.611756853376*b23 <= 161.611756853376;

e64: (3.86587305838289 - x151)^2 + (3.43289089140431 - x154)^2
      + 68.5364474973792*b24 <= 69.5364474973792;

e65: (1.93085934314818 - x151)^2 + (3.48739999687651 - x154)^2
      + 94.0180040498471*b25 <= 95.0180040498471;

e66: (8.14411066658926 - x151)^2 + (3.28390698782521 - x154)^2
      + 120.943028096043*b26 <= 121.943028096043;

e67: (3.92781648828775 - x151)^2 + (4.5879692218008 - x154)^2
      + 55.2445625258556*b27 <= 56.2445625258556;

e68: (9.43530528332928 - x151)^2 + (6.2115811426888 - x154)^2
      + 114.385124970594*b28 <= 115.385124970594;

e69: (5.94277300911337 - x151)^2 + (2.72126258813597 - x154)^2
      + 96.0912915355006*b29 <= 97.0912915355006;

e70: (0.272938801260022 - x151)^2 + (9.52106324081905 - x154)^2
      + 160.611756853376*b30 <= 161.611756853376;

e71:    b1 + b2 + b3 + b4 + b5 + b6 + b7 + b8 + b9 + b10 + b11 + b12 + b13
      + b14 + b15 + b16 + b17 + b18 + b19 + b20 + b21 + b22 + b23 + b24 + b25
      + b26 + b27 + b28 + b29 + b30 = 1;

e72: (3.58392835071893 - x152)^2 + (0.44370753979378 - x155)^2
      + 117.37605108924*b31 <= 118.37605108924;

e73: (1.95628884344 - x152)^2 + (0.390503036650278 - x155)^2
      + 140.241701004457*b32 <= 141.241701004457;

e74: (4.55035690490668 - x152)^2 + (7.27185840240323 - x155)^2
      + 71.5594363053072*b33 <= 72.5594363053072;

e75: (6.2100872388646 - x152)^2 + (6.48745936675473 - x155)^2
      + 70.1361240423208*b34 <= 71.1361240423208;

e76: (3.1786343207553 - x152)^2 + (2.35630065859291 - x155)^2
      + 91.0983527000505*b35 <= 92.0983527000505;

e77: (2.77208272832737 - x152)^2 + (6.63537019621518 - x155)^2
      + 78.1787285426132*b36 <= 79.1787285426132;

e78: (5.05196451835929 - x152)^2 + (9.78029757859562 - x155)^2
      + 117.525315958044*b37 <= 118.525315958044;

e79: (4.91358831690657 - x152)^2 + (9.95200766490468 - x155)^2
      + 120.184782975767*b38 <= 121.184782975767;

e80: (1.82270973029123 - x152)^2 + (3.08924661212034 - x155)^2
      + 100.562560044535*b39 <= 101.562560044535;

e81: (8.90416070287928 - x152)^2 + (8.76903198117563 - x155)^2
      + 140.241701004457*b40 <= 141.241701004457;

e82: (9.55691722438547 - x152)^2 + (7.67982230145412 - x155)^2
      + 131.965894836477*b41 <= 132.965894836477;

e83: (5.63154215917614 - x152)^2 + (5.19669129629487 - x155)^2
      + 61.1865070415458*b42 <= 62.1865070415458;

e84: (1.22506785607057 - x152)^2 + (1.73643838760701 - x155)^2
      + 129.251385415199*b43 <= 130.251385415199;

e85: (3.56742024375224 - x152)^2 + (9.67716416398758 - x155)^2
      + 122.549628719203*b44 <= 123.549628719203;

e86: (6.4469689992634 - x152)^2 + (3.27001587839258 - x155)^2
      + 94.7662927771576*b45 <= 95.7662927771576;

e87: (6.10753237542196 - x152)^2 + (4.19206922588061 - x155)^2
      + 78.2445398454346*b46 <= 79.2445398454346;

e88: (3.65877473332061 - x152)^2 + (3.63421268850839 - x155)^2
      + 68.5611029512265*b47 <= 69.5611029512265;

e89: (1.2178860076098 - x152)^2 + (2.16125505734127 - x155)^2
      + 123.013834343708*b48 <= 124.013834343708;

e90: (0.592074869235123 - x152)^2 + (4.93671199500253 - x155)^2
      + 106.643311548917*b49 <= 107.643311548917;

e91: (6.7402850724876 - x152)^2 + (1.57064570718754 - x155)^2
      + 125.533092608851*b50 <= 126.533092608851;

e92: (4.86197880938116 - x152)^2 + (0.383551455477691 - x155)^2
      + 125.003682175941*b51 <= 126.003682175941;

e93: (1.8799102211015 - x152)^2 + (8.11097800063776 - x155)^2
      + 111.618317672146*b52 <= 112.618317672146;

e94: (7.64684982583741 - x152)^2 + (0.420960467093494 - x155)^2
      + 160.611756853376*b53 <= 161.611756853376;

e95: (3.86587305838289 - x152)^2 + (3.43289089140431 - x155)^2
      + 68.5364474973792*b54 <= 69.5364474973792;

e96: (1.93085934314818 - x152)^2 + (3.48739999687651 - x155)^2
      + 94.0180040498471*b55 <= 95.0180040498471;

e97: (8.14411066658926 - x152)^2 + (3.28390698782521 - x155)^2
      + 120.943028096043*b56 <= 121.943028096043;

e98: (3.92781648828775 - x152)^2 + (4.5879692218008 - x155)^2
      + 55.2445625258556*b57 <= 56.2445625258556;

e99: (9.43530528332928 - x152)^2 + (6.2115811426888 - x155)^2
      + 114.385124970594*b58 <= 115.385124970594;

e100: (5.94277300911337 - x152)^2 + (2.72126258813597 - x155)^2
       + 96.0912915355006*b59 <= 97.0912915355006;

e101: (0.272938801260022 - x152)^2 + (9.52106324081905 - x155)^2
       + 160.611756853376*b60 <= 161.611756853376;

e102:    b31 + b32 + b33 + b34 + b35 + b36 + b37 + b38 + b39 + b40 + b41 + b42
       + b43 + b44 + b45 + b46 + b47 + b48 + b49 + b50 + b51 + b52 + b53 + b54
       + b55 + b56 + b57 + b58 + b59 + b60 = 1;

e103: (3.58392835071893 - x157)^2 + (0.44370753979378 - x159)^2
       + 117.37605108924*b61 <= 118.37605108924;

e104: (1.95628884344 - x157)^2 + (0.390503036650278 - x159)^2
       + 140.241701004457*b62 <= 141.241701004457;

e105: (4.55035690490668 - x157)^2 + (7.27185840240323 - x159)^2
       + 71.5594363053072*b63 <= 72.5594363053072;

e106: (6.2100872388646 - x157)^2 + (6.48745936675473 - x159)^2
       + 70.1361240423208*b64 <= 71.1361240423208;

e107: (3.1786343207553 - x157)^2 + (2.35630065859291 - x159)^2
       + 91.0983527000505*b65 <= 92.0983527000505;

e108: (2.77208272832737 - x157)^2 + (6.63537019621518 - x159)^2
       + 78.1787285426132*b66 <= 79.1787285426132;

e109: (5.05196451835929 - x157)^2 + (9.78029757859562 - x159)^2
       + 117.525315958044*b67 <= 118.525315958044;

e110: (4.91358831690657 - x157)^2 + (9.95200766490468 - x159)^2
       + 120.184782975767*b68 <= 121.184782975767;

e111: (1.82270973029123 - x157)^2 + (3.08924661212034 - x159)^2
       + 100.562560044535*b69 <= 101.562560044535;

e112: (8.90416070287928 - x157)^2 + (8.76903198117563 - x159)^2
       + 140.241701004457*b70 <= 141.241701004457;

e113: (9.55691722438547 - x157)^2 + (7.67982230145412 - x159)^2
       + 131.965894836477*b71 <= 132.965894836477;

e114: (5.63154215917614 - x157)^2 + (5.19669129629487 - x159)^2
       + 61.1865070415458*b72 <= 62.1865070415458;

e115: (1.22506785607057 - x157)^2 + (1.73643838760701 - x159)^2
       + 129.251385415199*b73 <= 130.251385415199;

e116: (3.56742024375224 - x157)^2 + (9.67716416398758 - x159)^2
       + 122.549628719203*b74 <= 123.549628719203;

e117: (6.4469689992634 - x157)^2 + (3.27001587839258 - x159)^2
       + 94.7662927771576*b75 <= 95.7662927771576;

e118: (6.10753237542196 - x157)^2 + (4.19206922588061 - x159)^2
       + 78.2445398454346*b76 <= 79.2445398454346;

e119: (3.65877473332061 - x157)^2 + (3.63421268850839 - x159)^2
       + 68.5611029512265*b77 <= 69.5611029512265;

e120: (1.2178860076098 - x157)^2 + (2.16125505734127 - x159)^2
       + 123.013834343708*b78 <= 124.013834343708;

e121: (0.592074869235123 - x157)^2 + (4.93671199500253 - x159)^2
       + 106.643311548917*b79 <= 107.643311548917;

e122: (6.7402850724876 - x157)^2 + (1.57064570718754 - x159)^2
       + 125.533092608851*b80 <= 126.533092608851;

e123: (4.86197880938116 - x157)^2 + (0.383551455477691 - x159)^2
       + 125.003682175941*b81 <= 126.003682175941;

e124: (1.8799102211015 - x157)^2 + (8.11097800063776 - x159)^2
       + 111.618317672146*b82 <= 112.618317672146;

e125: (7.64684982583741 - x157)^2 + (0.420960467093494 - x159)^2
       + 160.611756853376*b83 <= 161.611756853376;

e126: (3.86587305838289 - x157)^2 + (3.43289089140431 - x159)^2
       + 68.5364474973792*b84 <= 69.5364474973792;

e127: (1.93085934314818 - x157)^2 + (3.48739999687651 - x159)^2
       + 94.0180040498471*b85 <= 95.0180040498471;

e128: (8.14411066658926 - x157)^2 + (3.28390698782521 - x159)^2
       + 120.943028096043*b86 <= 121.943028096043;

e129: (3.92781648828775 - x157)^2 + (4.5879692218008 - x159)^2
       + 55.2445625258556*b87 <= 56.2445625258556;

e130: (9.43530528332928 - x157)^2 + (6.2115811426888 - x159)^2
       + 114.385124970594*b88 <= 115.385124970594;

e131: (5.94277300911337 - x157)^2 + (2.72126258813597 - x159)^2
       + 96.0912915355006*b89 <= 97.0912915355006;

e132: (0.272938801260022 - x157)^2 + (9.52106324081905 - x159)^2
       + 160.611756853376*b90 <= 161.611756853376;

e133:    b61 + b62 + b63 + b64 + b65 + b66 + b67 + b68 + b69 + b70 + b71 + b72
       + b73 + b74 + b75 + b76 + b77 + b78 + b79 + b80 + b81 + b82 + b83 + b84
       + b85 + b86 + b87 + b88 + b89 + b90 = 1;

e134: (3.58392835071893 - x161)^2 + (0.44370753979378 - x163)^2
       + 117.37605108924*b91 <= 118.37605108924;

e135: (1.95628884344 - x161)^2 + (0.390503036650278 - x163)^2
       + 140.241701004457*b92 <= 141.241701004457;

e136: (4.55035690490668 - x161)^2 + (7.27185840240323 - x163)^2
       + 71.5594363053072*b93 <= 72.5594363053072;

e137: (6.2100872388646 - x161)^2 + (6.48745936675473 - x163)^2
       + 70.1361240423208*b94 <= 71.1361240423208;

e138: (3.1786343207553 - x161)^2 + (2.35630065859291 - x163)^2
       + 91.0983527000505*b95 <= 92.0983527000505;

e139: (2.77208272832737 - x161)^2 + (6.63537019621518 - x163)^2
       + 78.1787285426132*b96 <= 79.1787285426132;

e140: (5.05196451835929 - x161)^2 + (9.78029757859562 - x163)^2
       + 117.525315958044*b97 <= 118.525315958044;

e141: (4.91358831690657 - x161)^2 + (9.95200766490468 - x163)^2
       + 120.184782975767*b98 <= 121.184782975767;

e142: (1.82270973029123 - x161)^2 + (3.08924661212034 - x163)^2
       + 100.562560044535*b99 <= 101.562560044535;

e143: (8.90416070287928 - x161)^2 + (8.76903198117563 - x163)^2
       + 140.241701004457*b100 <= 141.241701004457;

e144: (9.55691722438547 - x161)^2 + (7.67982230145412 - x163)^2
       + 131.965894836477*b101 <= 132.965894836477;

e145: (5.63154215917614 - x161)^2 + (5.19669129629487 - x163)^2
       + 61.1865070415458*b102 <= 62.1865070415458;

e146: (1.22506785607057 - x161)^2 + (1.73643838760701 - x163)^2
       + 129.251385415199*b103 <= 130.251385415199;

e147: (3.56742024375224 - x161)^2 + (9.67716416398758 - x163)^2
       + 122.549628719203*b104 <= 123.549628719203;

e148: (6.4469689992634 - x161)^2 + (3.27001587839258 - x163)^2
       + 94.7662927771576*b105 <= 95.7662927771576;

e149: (6.10753237542196 - x161)^2 + (4.19206922588061 - x163)^2
       + 78.2445398454346*b106 <= 79.2445398454346;

e150: (3.65877473332061 - x161)^2 + (3.63421268850839 - x163)^2
       + 68.5611029512265*b107 <= 69.5611029512265;

e151: (1.2178860076098 - x161)^2 + (2.16125505734127 - x163)^2
       + 123.013834343708*b108 <= 124.013834343708;

e152: (0.592074869235123 - x161)^2 + (4.93671199500253 - x163)^2
       + 106.643311548917*b109 <= 107.643311548917;

e153: (6.7402850724876 - x161)^2 + (1.57064570718754 - x163)^2
       + 125.533092608851*b110 <= 126.533092608851;

e154: (4.86197880938116 - x161)^2 + (0.383551455477691 - x163)^2
       + 125.003682175941*b111 <= 126.003682175941;

e155: (1.8799102211015 - x161)^2 + (8.11097800063776 - x163)^2
       + 111.618317672146*b112 <= 112.618317672146;

e156: (7.64684982583741 - x161)^2 + (0.420960467093494 - x163)^2
       + 160.611756853376*b113 <= 161.611756853376;

e157: (3.86587305838289 - x161)^2 + (3.43289089140431 - x163)^2
       + 68.5364474973792*b114 <= 69.5364474973792;

e158: (1.93085934314818 - x161)^2 + (3.48739999687651 - x163)^2
       + 94.0180040498471*b115 <= 95.0180040498471;

e159: (8.14411066658926 - x161)^2 + (3.28390698782521 - x163)^2
       + 120.943028096043*b116 <= 121.943028096043;

e160: (3.92781648828775 - x161)^2 + (4.5879692218008 - x163)^2
       + 55.2445625258556*b117 <= 56.2445625258556;

e161: (9.43530528332928 - x161)^2 + (6.2115811426888 - x163)^2
       + 114.385124970594*b118 <= 115.385124970594;

e162: (5.94277300911337 - x161)^2 + (2.72126258813597 - x163)^2
       + 96.0912915355006*b119 <= 97.0912915355006;

e163: (0.272938801260022 - x161)^2 + (9.52106324081905 - x163)^2
       + 160.611756853376*b120 <= 161.611756853376;

e164:    b91 + b92 + b93 + b94 + b95 + b96 + b97 + b98 + b99 + b100 + b101
       + b102 + b103 + b104 + b105 + b106 + b107 + b108 + b109 + b110 + b111
       + b112 + b113 + b114 + b115 + b116 + b117 + b118 + b119 + b120 = 1;

e165: (3.58392835071893 - x165)^2 + (0.44370753979378 - x167)^2
       + 117.37605108924*b121 <= 118.37605108924;

e166: (1.95628884344 - x165)^2 + (0.390503036650278 - x167)^2
       + 140.241701004457*b122 <= 141.241701004457;

e167: (4.55035690490668 - x165)^2 + (7.27185840240323 - x167)^2
       + 71.5594363053072*b123 <= 72.5594363053072;

e168: (6.2100872388646 - x165)^2 + (6.48745936675473 - x167)^2
       + 70.1361240423208*b124 <= 71.1361240423208;

e169: (3.1786343207553 - x165)^2 + (2.35630065859291 - x167)^2
       + 91.0983527000505*b125 <= 92.0983527000505;

e170: (2.77208272832737 - x165)^2 + (6.63537019621518 - x167)^2
       + 78.1787285426132*b126 <= 79.1787285426132;

e171: (5.05196451835929 - x165)^2 + (9.78029757859562 - x167)^2
       + 117.525315958044*b127 <= 118.525315958044;

e172: (4.91358831690657 - x165)^2 + (9.95200766490468 - x167)^2
       + 120.184782975767*b128 <= 121.184782975767;

e173: (1.82270973029123 - x165)^2 + (3.08924661212034 - x167)^2
       + 100.562560044535*b129 <= 101.562560044535;

e174: (8.90416070287928 - x165)^2 + (8.76903198117563 - x167)^2
       + 140.241701004457*b130 <= 141.241701004457;

e175: (9.55691722438547 - x165)^2 + (7.67982230145412 - x167)^2
       + 131.965894836477*b131 <= 132.965894836477;

e176: (5.63154215917614 - x165)^2 + (5.19669129629487 - x167)^2
       + 61.1865070415458*b132 <= 62.1865070415458;

e177: (1.22506785607057 - x165)^2 + (1.73643838760701 - x167)^2
       + 129.251385415199*b133 <= 130.251385415199;

e178: (3.56742024375224 - x165)^2 + (9.67716416398758 - x167)^2
       + 122.549628719203*b134 <= 123.549628719203;

e179: (6.4469689992634 - x165)^2 + (3.27001587839258 - x167)^2
       + 94.7662927771576*b135 <= 95.7662927771576;

e180: (6.10753237542196 - x165)^2 + (4.19206922588061 - x167)^2
       + 78.2445398454346*b136 <= 79.2445398454346;

e181: (3.65877473332061 - x165)^2 + (3.63421268850839 - x167)^2
       + 68.5611029512265*b137 <= 69.5611029512265;

e182: (1.2178860076098 - x165)^2 + (2.16125505734127 - x167)^2
       + 123.013834343708*b138 <= 124.013834343708;

e183: (0.592074869235123 - x165)^2 + (4.93671199500253 - x167)^2
       + 106.643311548917*b139 <= 107.643311548917;

e184: (6.7402850724876 - x165)^2 + (1.57064570718754 - x167)^2
       + 125.533092608851*b140 <= 126.533092608851;

e185: (4.86197880938116 - x165)^2 + (0.383551455477691 - x167)^2
       + 125.003682175941*b141 <= 126.003682175941;

e186: (1.8799102211015 - x165)^2 + (8.11097800063776 - x167)^2
       + 111.618317672146*b142 <= 112.618317672146;

e187: (7.64684982583741 - x165)^2 + (0.420960467093494 - x167)^2
       + 160.611756853376*b143 <= 161.611756853376;

e188: (3.86587305838289 - x165)^2 + (3.43289089140431 - x167)^2
       + 68.5364474973792*b144 <= 69.5364474973792;

e189: (1.93085934314818 - x165)^2 + (3.48739999687651 - x167)^2
       + 94.0180040498471*b145 <= 95.0180040498471;

e190: (8.14411066658926 - x165)^2 + (3.28390698782521 - x167)^2
       + 120.943028096043*b146 <= 121.943028096043;

e191: (3.92781648828775 - x165)^2 + (4.5879692218008 - x167)^2
       + 55.2445625258556*b147 <= 56.2445625258556;

e192: (9.43530528332928 - x165)^2 + (6.2115811426888 - x167)^2
       + 114.385124970594*b148 <= 115.385124970594;

e193: (5.94277300911337 - x165)^2 + (2.72126258813597 - x167)^2
       + 96.0912915355006*b149 <= 97.0912915355006;

e194: (0.272938801260022 - x165)^2 + (9.52106324081905 - x167)^2
       + 160.611756853376*b150 <= 161.611756853376;

e195:    b121 + b122 + b123 + b124 + b125 + b126 + b127 + b128 + b129 + b130
       + b131 + b132 + b133 + b134 + b135 + b136 + b137 + b138 + b139 + b140
       + b141 + b142 + b143 + b144 + b145 + b146 + b147 + b148 + b149 + b150
       = 1;

e196:    b1 + b31 + b61 + b91 + b121 <= 1;

e197:    b2 + b32 + b62 + b92 + b122 <= 1;

e198:    b3 + b33 + b63 + b93 + b123 <= 1;

e199:    b4 + b34 + b64 + b94 + b124 <= 1;

e200:    b5 + b35 + b65 + b95 + b125 <= 1;

e201:    b6 + b36 + b66 + b96 + b126 <= 1;

e202:    b7 + b37 + b67 + b97 + b127 <= 1;

e203:    b8 + b38 + b68 + b98 + b128 <= 1;

e204:    b9 + b39 + b69 + b99 + b129 <= 1;

e205:    b10 + b40 + b70 + b100 + b130 <= 1;

e206:    b11 + b41 + b71 + b101 + b131 <= 1;

e207:    b12 + b42 + b72 + b102 + b132 <= 1;

e208:    b13 + b43 + b73 + b103 + b133 <= 1;

e209:    b14 + b44 + b74 + b104 + b134 <= 1;

e210:    b15 + b45 + b75 + b105 + b135 <= 1;

e211:    b16 + b46 + b76 + b106 + b136 <= 1;

e212:    b17 + b47 + b77 + b107 + b137 <= 1;

e213:    b18 + b48 + b78 + b108 + b138 <= 1;

e214:    b19 + b49 + b79 + b109 + b139 <= 1;

e215:    b20 + b50 + b80 + b110 + b140 <= 1;

e216:    b21 + b51 + b81 + b111 + b141 <= 1;

e217:    b22 + b52 + b82 + b112 + b142 <= 1;

e218:    b23 + b53 + b83 + b113 + b143 <= 1;

e219:    b24 + b54 + b84 + b114 + b144 <= 1;

e220:    b25 + b55 + b85 + b115 + b145 <= 1;

e221:    b26 + b56 + b86 + b116 + b146 <= 1;

e222:    b27 + b57 + b87 + b117 + b147 <= 1;

e223:    b28 + b58 + b88 + b118 + b148 <= 1;

e224:    b29 + b59 + b89 + b119 + b149 <= 1;

e225:    b30 + b60 + b90 + b120 + b150 <= 1;

e226:    x151 - x152 <= 0;

e227:    x152 - x157 <= 0;

e228:    x157 - x161 <= 0;

e229:    x161 - x165 <= 0;