# NLP written by GAMS Convert at 02/17/22 17:18:24
#
# Equation counts
#     Total        E        G        L        N        X        C        B
#        51       51        0        0        0        0        0        0
#
# Variable counts
#                  x        b        i      s1s      s2s       sc       si
#     Total     cont   binary  integer     sos1     sos2    scont     sint
#       102      102        0        0        0        0        0        0
# FX      2
#
# Nonzero counts
#     Total    const       NL
#       251      200       51
#
# Reformulation has removed 1 variable and 1 equation

from pyomo.environ import *

model = m = ConcreteModel()

m.x1 = Var(within=Reals, bounds=(1,1), initialize=1)
m.x2 = Var(within=Reals, bounds=(None,None), initialize=0.9616)
m.x3 = Var(within=Reals, bounds=(None,None), initialize=0.9264)
m.x4 = Var(within=Reals, bounds=(None,None), initialize=0.8944)
m.x5 = Var(within=Reals, bounds=(None,None), initialize=0.8656)
m.x6 = Var(within=Reals, bounds=(None,None), initialize=0.84)
m.x7 = Var(within=Reals, bounds=(None,None), initialize=0.8176)
m.x8 = Var(within=Reals, bounds=(None,None), initialize=0.7984)
m.x9 = Var(within=Reals, bounds=(None,None), initialize=0.7824)
m.x10 = Var(within=Reals, bounds=(None,None), initialize=0.7696)
m.x11 = Var(within=Reals, bounds=(None,None), initialize=0.76)
m.x12 = Var(within=Reals, bounds=(None,None), initialize=0.7536)
m.x13 = Var(within=Reals, bounds=(None,None), initialize=0.7504)
m.x14 = Var(within=Reals, bounds=(None,None), initialize=0.7504)
m.x15 = Var(within=Reals, bounds=(None,None), initialize=0.7536)
m.x16 = Var(within=Reals, bounds=(None,None), initialize=0.76)
m.x17 = Var(within=Reals, bounds=(None,None), initialize=0.7696)
m.x18 = Var(within=Reals, bounds=(None,None), initialize=0.7824)
m.x19 = Var(within=Reals, bounds=(None,None), initialize=0.7984)
m.x20 = Var(within=Reals, bounds=(None,None), initialize=0.8176)
m.x21 = Var(within=Reals, bounds=(None,None), initialize=0.84)
m.x22 = Var(within=Reals, bounds=(None,None), initialize=0.8656)
m.x23 = Var(within=Reals, bounds=(None,None), initialize=0.8944)
m.x24 = Var(within=Reals, bounds=(None,None), initialize=0.9264)
m.x25 = Var(within=Reals, bounds=(None,None), initialize=0.9616)
m.x26 = Var(within=Reals, bounds=(None,None), initialize=1)
m.x27 = Var(within=Reals, bounds=(None,None), initialize=1.0416)
m.x28 = Var(within=Reals, bounds=(None,None), initialize=1.0864)
m.x29 = Var(within=Reals, bounds=(None,None), initialize=1.1344)
m.x30 = Var(within=Reals, bounds=(None,None), initialize=1.1856)
m.x31 = Var(within=Reals, bounds=(None,None), initialize=1.24)
m.x32 = Var(within=Reals, bounds=(None,None), initialize=1.2976)
m.x33 = Var(within=Reals, bounds=(None,None), initialize=1.3584)
m.x34 = Var(within=Reals, bounds=(None,None), initialize=1.4224)
m.x35 = Var(within=Reals, bounds=(None,None), initialize=1.4896)
m.x36 = Var(within=Reals, bounds=(None,None), initialize=1.56)
m.x37 = Var(within=Reals, bounds=(None,None), initialize=1.6336)
m.x38 = Var(within=Reals, bounds=(None,None), initialize=1.7104)
m.x39 = Var(within=Reals, bounds=(None,None), initialize=1.7904)
m.x40 = Var(within=Reals, bounds=(None,None), initialize=1.8736)
m.x41 = Var(within=Reals, bounds=(None,None), initialize=1.96)
m.x42 = Var(within=Reals, bounds=(None,None), initialize=2.0496)
m.x43 = Var(within=Reals, bounds=(None,None), initialize=2.1424)
m.x44 = Var(within=Reals, bounds=(None,None), initialize=2.2384)
m.x45 = Var(within=Reals, bounds=(None,None), initialize=2.3376)
m.x46 = Var(within=Reals, bounds=(None,None), initialize=2.44)
m.x47 = Var(within=Reals, bounds=(None,None), initialize=2.5456)
m.x48 = Var(within=Reals, bounds=(None,None), initialize=2.6544)
m.x49 = Var(within=Reals, bounds=(None,None), initialize=2.7664)
m.x50 = Var(within=Reals, bounds=(None,None), initialize=2.8816)
m.x51 = Var(within=Reals, bounds=(3,3), initialize=3)
m.x52 = Var(within=Reals, bounds=(None,None), initialize=-2)
m.x53 = Var(within=Reals, bounds=(None,None), initialize=-1.84)
m.x54 = Var(within=Reals, bounds=(None,None), initialize=-1.68)
m.x55 = Var(within=Reals, bounds=(None,None), initialize=-1.52)
m.x56 = Var(within=Reals, bounds=(None,None), initialize=-1.36)
m.x57 = Var(within=Reals, bounds=(None,None), initialize=-1.2)
m.x58 = Var(within=Reals, bounds=(None,None), initialize=-1.04)
m.x59 = Var(within=Reals, bounds=(None,None), initialize=-0.88)
m.x60 = Var(within=Reals, bounds=(None,None), initialize=-0.72)
m.x61 = Var(within=Reals, bounds=(None,None), initialize=-0.56)
m.x62 = Var(within=Reals, bounds=(None,None), initialize=-0.4)
m.x63 = Var(within=Reals, bounds=(None,None), initialize=-0.24)
m.x64 = Var(within=Reals, bounds=(None,None), initialize=-0.0800000000000001)
m.x65 = Var(within=Reals, bounds=(None,None), initialize=0.0800000000000001)
m.x66 = Var(within=Reals, bounds=(None,None), initialize=0.24)
m.x67 = Var(within=Reals, bounds=(None,None), initialize=0.4)
m.x68 = Var(within=Reals, bounds=(None,None), initialize=0.56)
m.x69 = Var(within=Reals, bounds=(None,None), initialize=0.72)
m.x70 = Var(within=Reals, bounds=(None,None), initialize=0.88)
m.x71 = Var(within=Reals, bounds=(None,None), initialize=1.04)
m.x72 = Var(within=Reals, bounds=(None,None), initialize=1.2)
m.x73 = Var(within=Reals, bounds=(None,None), initialize=1.36)
m.x74 = Var(within=Reals, bounds=(None,None), initialize=1.52)
m.x75 = Var(within=Reals, bounds=(None,None), initialize=1.68)
m.x76 = Var(within=Reals, bounds=(None,None), initialize=1.84)
m.x77 = Var(within=Reals, bounds=(None,None), initialize=2)
m.x78 = Var(within=Reals, bounds=(None,None), initialize=2.16)
m.x79 = Var(within=Reals, bounds=(None,None), initialize=2.32)
m.x80 = Var(within=Reals, bounds=(None,None), initialize=2.48)
m.x81 = Var(within=Reals, bounds=(None,None), initialize=2.64)
m.x82 = Var(within=Reals, bounds=(None,None), initialize=2.8)
m.x83 = Var(within=Reals, bounds=(None,None), initialize=2.96)
m.x84 = Var(within=Reals, bounds=(None,None), initialize=3.12)
m.x85 = Var(within=Reals, bounds=(None,None), initialize=3.28)
m.x86 = Var(within=Reals, bounds=(None,None), initialize=3.44)
m.x87 = Var(within=Reals, bounds=(None,None), initialize=3.6)
m.x88 = Var(within=Reals, bounds=(None,None), initialize=3.76)
m.x89 = Var(within=Reals, bounds=(None,None), initialize=3.92)
m.x90 = Var(within=Reals, bounds=(None,None), initialize=4.08)
m.x91 = Var(within=Reals, bounds=(None,None), initialize=4.24)
m.x92 = Var(within=Reals, bounds=(None,None), initialize=4.4)
m.x93 = Var(within=Reals, bounds=(None,None), initialize=4.56)
m.x94 = Var(within=Reals, bounds=(None,None), initialize=4.72)
m.x95 = Var(within=Reals, bounds=(None,None), initialize=4.88)
m.x96 = Var(within=Reals, bounds=(None,None), initialize=5.04)
m.x97 = Var(within=Reals, bounds=(None,None), initialize=5.2)
m.x98 = Var(within=Reals, bounds=(None,None), initialize=5.36)
m.x99 = Var(within=Reals, bounds=(None,None), initialize=5.52)
m.x100 = Var(within=Reals, bounds=(None,None), initialize=5.68)
m.x101 = Var(within=Reals, bounds=(None,None), initialize=5.84)
m.x102 = Var(within=Reals, bounds=(None,None), initialize=6)

m.obj = Objective(sense=minimize, expr= 0.01 * (m.x1 * sqrt(m.x52**2 + 1) +
    m.x2 * sqrt(m.x53**2 + 1) + m.x2 * sqrt(m.x53**2 + 1) + m.x3 * sqrt(m.x54**
    2 + 1) + m.x3 * sqrt(m.x54**2 + 1) + m.x4 * sqrt(m.x55**2 + 1) + m.x4 *
    sqrt(m.x55**2 + 1) + m.x5 * sqrt(m.x56**2 + 1) + m.x5 * sqrt(m.x56**2 + 1)
    + m.x6 * sqrt(m.x57**2 + 1) + m.x6 * sqrt(m.x57**2 + 1) + m.x7 * sqrt(
    m.x58**2 + 1) + m.x7 * sqrt(m.x58**2 + 1) + m.x8 * sqrt(m.x59**2 + 1) +
    m.x8 * sqrt(m.x59**2 + 1) + m.x9 * sqrt(m.x60**2 + 1) + m.x9 * sqrt(m.x60**
    2 + 1) + m.x10 * sqrt(m.x61**2 + 1) + m.x10 * sqrt(m.x61**2 + 1) + m.x11 *
    sqrt(m.x62**2 + 1) + m.x11 * sqrt(m.x62**2 + 1) + m.x12 * sqrt(m.x63**2 + 1)
    + m.x12 * sqrt(m.x63**2 + 1) + m.x13 * sqrt(m.x64**2 + 1) + m.x13 * sqrt(
    m.x64**2 + 1) + m.x14 * sqrt(m.x65**2 + 1) + m.x14 * sqrt(m.x65**2 + 1) +
    m.x15 * sqrt(m.x66**2 + 1) + m.x15 * sqrt(m.x66**2 + 1) + m.x16 * sqrt(
    m.x67**2 + 1) + m.x16 * sqrt(m.x67**2 + 1) + m.x17 * sqrt(m.x68**2 + 1) +
    m.x17 * sqrt(m.x68**2 + 1) + m.x18 * sqrt(m.x69**2 + 1) + m.x18 * sqrt(
    m.x69**2 + 1) + m.x19 * sqrt(m.x70**2 + 1) + m.x19 * sqrt(m.x70**2 + 1) +
    m.x20 * sqrt(m.x71**2 + 1) + m.x20 * sqrt(m.x71**2 + 1) + m.x21 * sqrt(
    m.x72**2 + 1) + m.x21 * sqrt(m.x72**2 + 1) + m.x22 * sqrt(m.x73**2 + 1) +
    m.x22 * sqrt(m.x73**2 + 1) + m.x23 * sqrt(m.x74**2 + 1) + m.x23 * sqrt(
    m.x74**2 + 1) + m.x24 * sqrt(m.x75**2 + 1) + m.x24 * sqrt(m.x75**2 + 1) +
    m.x25 * sqrt(m.x76**2 + 1) + m.x25 * sqrt(m.x76**2 + 1) + m.x26 * sqrt(
    m.x77**2 + 1) + m.x26 * sqrt(m.x77**2 + 1) + m.x27 * sqrt(m.x78**2 + 1) +
    m.x27 * sqrt(m.x78**2 + 1) + m.x28 * sqrt(m.x79**2 + 1) + m.x28 * sqrt(
    m.x79**2 + 1) + m.x29 * sqrt(m.x80**2 + 1) + m.x29 * sqrt(m.x80**2 + 1) +
    m.x30 * sqrt(m.x81**2 + 1) + m.x30 * sqrt(m.x81**2 + 1) + m.x31 * sqrt(
    m.x82**2 + 1) + m.x31 * sqrt(m.x82**2 + 1) + m.x32 * sqrt(m.x83**2 + 1) +
    m.x32 * sqrt(m.x83**2 + 1) + m.x33 * sqrt(m.x84**2 + 1) + m.x33 * sqrt(
    m.x84**2 + 1) + m.x34 * sqrt(m.x85**2 + 1) + m.x34 * sqrt(m.x85**2 + 1) +
    m.x35 * sqrt(m.x86**2 + 1) + m.x35 * sqrt(m.x86**2 + 1) + m.x36 * sqrt(
    m.x87**2 + 1) + m.x36 * sqrt(m.x87**2 + 1) + m.x37 * sqrt(m.x88**2 + 1) +
    m.x37 * sqrt(m.x88**2 + 1) + m.x38 * sqrt(m.x89**2 + 1) + m.x38 * sqrt(
    m.x89**2 + 1) + m.x39 * sqrt(m.x90**2 + 1) + m.x39 * sqrt(m.x90**2 + 1) +
    m.x40 * sqrt(m.x91**2 + 1) + m.x40 * sqrt(m.x91**2 + 1) + m.x41 * sqrt(
    m.x92**2 + 1) + m.x41 * sqrt(m.x92**2 + 1) + m.x42 * sqrt(m.x93**2 + 1) +
    m.x42 * sqrt(m.x93**2 + 1) + m.x43 * sqrt(m.x94**2 + 1) + m.x43 * sqrt(
    m.x94**2 + 1) + m.x44 * sqrt(m.x95**2 + 1) + m.x44 * sqrt(m.x95**2 + 1) +
    m.x45 * sqrt(m.x96**2 + 1) + m.x45 * sqrt(m.x96**2 + 1) + m.x46 * sqrt(
    m.x97**2 + 1) + m.x46 * sqrt(m.x97**2 + 1) + m.x47 * sqrt(m.x98**2 + 1) +
    m.x47 * sqrt(m.x98**2 + 1) + m.x48 * sqrt(m.x99**2 + 1) + m.x48 * sqrt(
    m.x99**2 + 1) + m.x49 * sqrt(m.x100**2 + 1) + m.x49 * sqrt(m.x100**2 + 1)
    + m.x50 * sqrt(m.x101**2 + 1) + m.x50 * sqrt(m.x101**2 + 1) + m.x51 * sqrt
    (m.x102**2 + 1)))

m.e1 = Constraint(expr= -m.x1 + m.x2 - 0.01 * m.x52 - 0.01 * m.x53 == 0)
m.e2 = Constraint(expr= -m.x2 + m.x3 - 0.01 * m.x53 - 0.01 * m.x54 == 0)
m.e3 = Constraint(expr= -m.x3 + m.x4 - 0.01 * m.x54 - 0.01 * m.x55 == 0)
m.e4 = Constraint(expr= -m.x4 + m.x5 - 0.01 * m.x55 - 0.01 * m.x56 == 0)
m.e5 = Constraint(expr= -m.x5 + m.x6 - 0.01 * m.x56 - 0.01 * m.x57 == 0)
m.e6 = Constraint(expr= -m.x6 + m.x7 - 0.01 * m.x57 - 0.01 * m.x58 == 0)
m.e7 = Constraint(expr= -m.x7 + m.x8 - 0.01 * m.x58 - 0.01 * m.x59 == 0)
m.e8 = Constraint(expr= -m.x8 + m.x9 - 0.01 * m.x59 - 0.01 * m.x60 == 0)
m.e9 = Constraint(expr= -m.x9 + m.x10 - 0.01 * m.x60 - 0.01 * m.x61 == 0)
m.e10 = Constraint(expr= -m.x10 + m.x11 - 0.01 * m.x61 - 0.01 * m.x62 == 0)
m.e11 = Constraint(expr= -m.x11 + m.x12 - 0.01 * m.x62 - 0.01 * m.x63 == 0)
m.e12 = Constraint(expr= -m.x12 + m.x13 - 0.01 * m.x63 - 0.01 * m.x64 == 0)
m.e13 = Constraint(expr= -m.x13 + m.x14 - 0.01 * m.x64 - 0.01 * m.x65 == 0)
m.e14 = Constraint(expr= -m.x14 + m.x15 - 0.01 * m.x65 - 0.01 * m.x66 == 0)
m.e15 = Constraint(expr= -m.x15 + m.x16 - 0.01 * m.x66 - 0.01 * m.x67 == 0)
m.e16 = Constraint(expr= -m.x16 + m.x17 - 0.01 * m.x67 - 0.01 * m.x68 == 0)
m.e17 = Constraint(expr= -m.x17 + m.x18 - 0.01 * m.x68 - 0.01 * m.x69 == 0)
m.e18 = Constraint(expr= -m.x18 + m.x19 - 0.01 * m.x69 - 0.01 * m.x70 == 0)
m.e19 = Constraint(expr= -m.x19 + m.x20 - 0.01 * m.x70 - 0.01 * m.x71 == 0)
m.e20 = Constraint(expr= -m.x20 + m.x21 - 0.01 * m.x71 - 0.01 * m.x72 == 0)
m.e21 = Constraint(expr= -m.x21 + m.x22 - 0.01 * m.x72 - 0.01 * m.x73 == 0)
m.e22 = Constraint(expr= -m.x22 + m.x23 - 0.01 * m.x73 - 0.01 * m.x74 == 0)
m.e23 = Constraint(expr= -m.x23 + m.x24 - 0.01 * m.x74 - 0.01 * m.x75 == 0)
m.e24 = Constraint(expr= -m.x24 + m.x25 - 0.01 * m.x75 - 0.01 * m.x76 == 0)
m.e25 = Constraint(expr= -m.x25 + m.x26 - 0.01 * m.x76 - 0.01 * m.x77 == 0)
m.e26 = Constraint(expr= -m.x26 + m.x27 - 0.01 * m.x77 - 0.01 * m.x78 == 0)
m.e27 = Constraint(expr= -m.x27 + m.x28 - 0.01 * m.x78 - 0.01 * m.x79 == 0)
m.e28 = Constraint(expr= -m.x28 + m.x29 - 0.01 * m.x79 - 0.01 * m.x80 == 0)
m.e29 = Constraint(expr= -m.x29 + m.x30 - 0.01 * m.x80 - 0.01 * m.x81 == 0)
m.e30 = Constraint(expr= -m.x30 + m.x31 - 0.01 * m.x81 - 0.01 * m.x82 == 0)
m.e31 = Constraint(expr= -m.x31 + m.x32 - 0.01 * m.x82 - 0.01 * m.x83 == 0)
m.e32 = Constraint(expr= -m.x32 + m.x33 - 0.01 * m.x83 - 0.01 * m.x84 == 0)
m.e33 = Constraint(expr= -m.x33 + m.x34 - 0.01 * m.x84 - 0.01 * m.x85 == 0)
m.e34 = Constraint(expr= -m.x34 + m.x35 - 0.01 * m.x85 - 0.01 * m.x86 == 0)
m.e35 = Constraint(expr= -m.x35 + m.x36 - 0.01 * m.x86 - 0.01 * m.x87 == 0)
m.e36 = Constraint(expr= -m.x36 + m.x37 - 0.01 * m.x87 - 0.01 * m.x88 == 0)
m.e37 = Constraint(expr= -m.x37 + m.x38 - 0.01 * m.x88 - 0.01 * m.x89 == 0)
m.e38 = Constraint(expr= -m.x38 + m.x39 - 0.01 * m.x89 - 0.01 * m.x90 == 0)
m.e39 = Constraint(expr= -m.x39 + m.x40 - 0.01 * m.x90 - 0.01 * m.x91 == 0)
m.e40 = Constraint(expr= -m.x40 + m.x41 - 0.01 * m.x91 - 0.01 * m.x92 == 0)
m.e41 = Constraint(expr= -m.x41 + m.x42 - 0.01 * m.x92 - 0.01 * m.x93 == 0)
m.e42 = Constraint(expr= -m.x42 + m.x43 - 0.01 * m.x93 - 0.01 * m.x94 == 0)
m.e43 = Constraint(expr= -m.x43 + m.x44 - 0.01 * m.x94 - 0.01 * m.x95 == 0)
m.e44 = Constraint(expr= -m.x44 + m.x45 - 0.01 * m.x95 - 0.01 * m.x96 == 0)
m.e45 = Constraint(expr= -m.x45 + m.x46 - 0.01 * m.x96 - 0.01 * m.x97 == 0)
m.e46 = Constraint(expr= -m.x46 + m.x47 - 0.01 * m.x97 - 0.01 * m.x98 == 0)
m.e47 = Constraint(expr= -m.x47 + m.x48 - 0.01 * m.x98 - 0.01 * m.x99 == 0)
m.e48 = Constraint(expr= -m.x48 + m.x49 - 0.01 * m.x99 - 0.01 * m.x100 == 0)
m.e49 = Constraint(expr= -m.x49 + m.x50 - 0.01 * m.x100 - 0.01 * m.x101 == 0)
m.e50 = Constraint(expr= -m.x50 + m.x51 - 0.01 * m.x101 - 0.01 * m.x102 == 0)
m.e51 = Constraint(expr= 0.01 * (sqrt(m.x52**2 + 1) + sqrt(m.x53**2 + 1) + sqrt
    (m.x53**2 + 1) + sqrt(m.x54**2 + 1) + sqrt(m.x54**2 + 1) + sqrt(m.x55**2 +
    1) + sqrt(m.x55**2 + 1) + sqrt(m.x56**2 + 1) + sqrt(m.x56**2 + 1) + sqrt(
    m.x57**2 + 1) + sqrt(m.x57**2 + 1) + sqrt(m.x58**2 + 1) + sqrt(m.x58**2 + 1)
    + sqrt(m.x59**2 + 1) + sqrt(m.x59**2 + 1) + sqrt(m.x60**2 + 1) + sqrt(
    m.x60**2 + 1) + sqrt(m.x61**2 + 1) + sqrt(m.x61**2 + 1) + sqrt(m.x62**2 + 1)
    + sqrt(m.x62**2 + 1) + sqrt(m.x63**2 + 1) + sqrt(m.x63**2 + 1) + sqrt(
    m.x64**2 + 1) + sqrt(m.x64**2 + 1) + sqrt(m.x65**2 + 1) + sqrt(m.x65**2 + 1)
    + sqrt(m.x66**2 + 1) + sqrt(m.x66**2 + 1) + sqrt(m.x67**2 + 1) + sqrt(
    m.x67**2 + 1) + sqrt(m.x68**2 + 1) + sqrt(m.x68**2 + 1) + sqrt(m.x69**2 + 1)
    + sqrt(m.x69**2 + 1) + sqrt(m.x70**2 + 1) + sqrt(m.x70**2 + 1) + sqrt(
    m.x71**2 + 1) + sqrt(m.x71**2 + 1) + sqrt(m.x72**2 + 1) + sqrt(m.x72**2 + 1)
    + sqrt(m.x73**2 + 1) + sqrt(m.x73**2 + 1) + sqrt(m.x74**2 + 1) + sqrt(
    m.x74**2 + 1) + sqrt(m.x75**2 + 1) + sqrt(m.x75**2 + 1) + sqrt(m.x76**2 + 1)
    + sqrt(m.x76**2 + 1) + sqrt(m.x77**2 + 1) + sqrt(m.x77**2 + 1) + sqrt(
    m.x78**2 + 1) + sqrt(m.x78**2 + 1) + sqrt(m.x79**2 + 1) + sqrt(m.x79**2 + 1)
    + sqrt(m.x80**2 + 1) + sqrt(m.x80**2 + 1) + sqrt(m.x81**2 + 1) + sqrt(
    m.x81**2 + 1) + sqrt(m.x82**2 + 1) + sqrt(m.x82**2 + 1) + sqrt(m.x83**2 + 1)
    + sqrt(m.x83**2 + 1) + sqrt(m.x84**2 + 1) + sqrt(m.x84**2 + 1) + sqrt(
    m.x85**2 + 1) + sqrt(m.x85**2 + 1) + sqrt(m.x86**2 + 1) + sqrt(m.x86**2 + 1)
    + sqrt(m.x87**2 + 1) + sqrt(m.x87**2 + 1) + sqrt(m.x88**2 + 1) + sqrt(
    m.x88**2 + 1) + sqrt(m.x89**2 + 1) + sqrt(m.x89**2 + 1) + sqrt(m.x90**2 + 1)
    + sqrt(m.x90**2 + 1) + sqrt(m.x91**2 + 1) + sqrt(m.x91**2 + 1) + sqrt(
    m.x92**2 + 1) + sqrt(m.x92**2 + 1) + sqrt(m.x93**2 + 1) + sqrt(m.x93**2 + 1)
    + sqrt(m.x94**2 + 1) + sqrt(m.x94**2 + 1) + sqrt(m.x95**2 + 1) + sqrt(
    m.x95**2 + 1) + sqrt(m.x96**2 + 1) + sqrt(m.x96**2 + 1) + sqrt(m.x97**2 + 1)
    + sqrt(m.x97**2 + 1) + sqrt(m.x98**2 + 1) + sqrt(m.x98**2 + 1) + sqrt(
    m.x99**2 + 1) + sqrt(m.x99**2 + 1) + sqrt(m.x100**2 + 1) + sqrt(m.x100**2
    + 1) + sqrt(m.x101**2 + 1) + sqrt(m.x101**2 + 1) + sqrt(m.x102**2 + 1))
    == 4)
