last-generated=2025-05-20
statistics-simulation=
{
  "linear": " ",
  "nonlinear": " ",
  "number of continuous time states": "1",
  "numerical Jacobians": "0"
}
time=[-2e+00, -1.991999983787537e+00, -1.983999967575073e+00, -1.97599995136261e+00, -1.968000054359436e+00, -1.960000038146973e+00, -1.952000021934509e+00, -1.944000005722046e+00, -1.935999989509583e+00, -1.927999973297119e+00, -1.919999957084656e+00, -1.911999940872192e+00, -1.904000043869019e+00, -1.896000027656555e+00, -1.888000011444092e+00, -1.879999995231628e+00, -1.871999979019165e+00, -1.863999962806702e+00, -1.855999946594238e+00, -1.848000049591064e+00, -1.840000033378601e+00, -1.832000017166138e+00, -1.824000000953674e+00, -1.815999984741211e+00, -1.807999968528748e+00, -1.799999952316284e+00, -1.79200005531311e+00, -1.784000039100647e+00, -1.776000022888184e+00, -1.76800000667572e+00, -1.759999990463257e+00, -1.751999974250793e+00, -1.74399995803833e+00, -1.735999941825867e+00, -1.728000044822693e+00, -1.720000028610229e+00, -1.712000012397766e+00, -1.703999996185303e+00, -1.695999979972839e+00, -1.687999963760376e+00, -1.679999947547913e+00, -1.672000050544739e+00, -1.664000034332275e+00, -1.656000018119812e+00, -1.648000001907349e+00, -1.639999985694885e+00, -1.631999969482422e+00, -1.623999953269958e+00, -1.616000056266785e+00, -1.608000040054321e+00, -1.600000023841858e+00, -1.592000007629395e+00, -1.583999991416931e+00, -1.575999975204468e+00, -1.567999958992004e+00, -1.559999942779541e+00, -1.552000045776367e+00, -1.544000029563904e+00, -1.53600001335144e+00, -1.527999997138977e+00, -1.519999980926514e+00, -1.51199996471405e+00, -1.503999948501587e+00, -1.496000051498413e+00, -1.48800003528595e+00, -1.480000019073486e+00, -1.472000002861023e+00, -1.46399998664856e+00, -1.455999970436096e+00, -1.447999954223633e+00, -1.440000057220459e+00, -1.432000041007996e+00, -1.424000024795532e+00, -1.416000008583069e+00, -1.407999992370605e+00, -1.399999976158142e+00, -1.391999959945679e+00, -1.383999943733215e+00, -1.376000046730042e+00, -1.368000030517578e+00, -1.360000014305115e+00, -1.351999998092651e+00, -1.343999981880188e+00, -1.335999965667725e+00, -1.327999949455261e+00, -1.320000052452087e+00, -1.312000036239624e+00, -1.304000020027161e+00, -1.296000003814697e+00, -1.287999987602234e+00, -1.279999971389771e+00, -1.271999955177307e+00, -1.264000058174133e+00, -1.25600004196167e+00, -1.248000025749207e+00, -1.240000009536743e+00, -1.23199999332428e+00, -1.223999977111816e+00, -1.215999960899353e+00, -1.20799994468689e+00, -1.200000047683716e+00, -1.192000031471252e+00, -1.184000015258789e+00, -1.175999999046326e+00, -1.167999982833862e+00, -1.159999966621399e+00, -1.151999950408936e+00, -1.144000053405762e+00, -1.136000037193298e+00, -1.128000020980835e+00, -1.120000004768372e+00, -1.111999988555908e+00, -1.103999972343445e+00, -1.095999956130981e+00, -1.088000059127808e+00, -1.080000042915344e+00, -1.072000026702881e+00, -1.064000010490417e+00, -1.055999994277954e+00, -1.047999978065491e+00, -1.039999961853027e+00, -1.031999945640564e+00, -1.02400004863739e+00, -1.016000032424927e+00, -1.008000016212463e+00, -1e+00, -9.919999837875366e-01, -9.84000027179718e-01, -9.760000109672546e-01, -9.679999947547913e-01, -9.599999785423279e-01, -9.520000219345093e-01, -9.440000057220459e-01, -9.359999895095825e-01, -9.279999732971191e-01, -9.200000166893005e-01, -9.120000004768372e-01, -9.039999842643738e-01, -8.960000276565552e-01, -8.880000114440918e-01, -8.799999952316284e-01, -8.71999979019165e-01, -8.640000224113464e-01, -8.560000061988831e-01, -8.479999899864197e-01, -8.399999737739563e-01, -8.320000171661377e-01, -8.240000009536743e-01, -8.159999847412109e-01, -8.080000281333923e-01, -8.00000011920929e-01, -7.919999957084656e-01, -7.839999794960022e-01, -7.760000228881836e-01, -7.680000066757202e-01, -7.599999904632568e-01, -7.519999742507935e-01, -7.440000176429749e-01, -7.360000014305115e-01, -7.279999852180481e-01, -7.200000286102295e-01, -7.120000123977661e-01, -7.039999961853027e-01, -6.959999799728394e-01, -6.880000233650208e-01, -6.800000071525574e-01, -6.71999990940094e-01, -6.639999747276306e-01, -6.56000018119812e-01, -6.480000019073486e-01, -6.399999856948853e-01, -6.320000290870667e-01, -6.240000128746033e-01, -6.159999966621399e-01, -6.079999804496765e-01, -6.000000238418579e-01, -5.920000076293945e-01, -5.839999914169312e-01, -5.759999752044678e-01, -5.680000185966492e-01, -5.600000023841858e-01, -5.519999861717224e-01, -5.440000295639038e-01, -5.360000133514404e-01, -5.279999971389771e-01, -5.199999809265137e-01, -5.120000243186951e-01, -5.040000081062317e-01, -4.959999918937683e-01, -4.880000054836273e-01, -4.799999892711639e-01, -4.720000028610229e-01, -4.639999866485596e-01, -4.560000002384186e-01, -4.480000138282776e-01, -4.399999976158142e-01, -4.320000112056732e-01, -4.239999949932098e-01, -4.160000085830688e-01, -4.079999923706055e-01, -4.000000059604645e-01, -3.919999897480011e-01, -3.840000033378601e-01, -3.759999871253967e-01, -3.680000007152557e-01, -3.600000143051147e-01, -3.519999980926514e-01, -3.440000116825104e-01, -3.35999995470047e-01, -3.28000009059906e-01, -3.199999928474426e-01, -3.120000064373016e-01, -3.039999902248383e-01, -2.960000038146973e-01, -2.879999876022339e-01, -2.800000011920929e-01, -2.720000147819519e-01, -2.639999985694885e-01, -2.560000121593475e-01, -2.479999959468842e-01, -2.39999994635582e-01, -2.319999933242798e-01, -2.240000069141388e-01, -2.160000056028366e-01, -2.080000042915344e-01, -2.000000029802322e-01, -1.920000016689301e-01, -1.840000003576279e-01, -1.759999990463257e-01, -1.679999977350235e-01, -1.599999964237213e-01, -1.519999951124191e-01, -1.439999938011169e-01, -1.36000007390976e-01, -1.280000060796738e-01, -1.19999997317791e-01, -1.120000034570694e-01, -1.040000021457672e-01, -9.600000083446503e-02, -8.799999952316284e-02, -7.999999821186066e-02, -7.199999690055847e-02, -6.400000303983688e-02, -5.60000017285347e-02, -4.800000041723251e-02, -3.999999910593033e-02, -3.200000151991844e-02, -2.400000020861626e-02, -1.600000075995922e-02, -8.00000037997961e-03, 0e+00, 8.00000037997961e-03, 1.600000075995922e-02, 2.400000020861626e-02, 3.200000151991844e-02, 3.999999910593033e-02, 4.800000041723251e-02, 5.60000017285347e-02, 6.400000303983688e-02, 7.199999690055847e-02, 7.999999821186066e-02, 8.799999952316284e-02, 9.600000083446503e-02, 1.040000021457672e-01, 1.120000034570694e-01, 1.19999997317791e-01, 1.280000060796738e-01, 1.36000007390976e-01, 1.439999938011169e-01, 1.519999951124191e-01, 1.599999964237213e-01, 1.679999977350235e-01, 1.759999990463257e-01, 1.840000003576279e-01, 1.920000016689301e-01, 2.000000029802322e-01, 2.080000042915344e-01, 2.160000056028366e-01, 2.240000069141388e-01, 2.319999933242798e-01, 2.39999994635582e-01, 2.479999959468842e-01, 2.560000121593475e-01, 2.639999985694885e-01, 2.720000147819519e-01, 2.800000011920929e-01, 2.879999876022339e-01, 2.960000038146973e-01, 3.039999902248383e-01, 3.120000064373016e-01, 3.199999928474426e-01, 3.28000009059906e-01, 3.35999995470047e-01, 3.440000116825104e-01, 3.519999980926514e-01, 3.600000143051147e-01, 3.680000007152557e-01, 3.759999871253967e-01, 3.840000033378601e-01, 3.919999897480011e-01, 4.000000059604645e-01, 4.079999923706055e-01, 4.160000085830688e-01, 4.239999949932098e-01, 4.320000112056732e-01, 4.399999976158142e-01, 4.480000138282776e-01, 4.560000002384186e-01, 4.639999866485596e-01, 4.720000028610229e-01, 4.799999892711639e-01, 4.880000054836273e-01, 4.959999918937683e-01, 5.040000081062317e-01, 5.120000243186951e-01, 5.199999809265137e-01, 5.279999971389771e-01, 5.360000133514404e-01, 5.440000295639038e-01, 5.519999861717224e-01, 5.600000023841858e-01, 5.680000185966492e-01, 5.759999752044678e-01, 5.839999914169312e-01, 5.920000076293945e-01, 6.000000238418579e-01, 6.079999804496765e-01, 6.159999966621399e-01, 6.240000128746033e-01, 6.320000290870667e-01, 6.399999856948853e-01, 6.480000019073486e-01, 6.56000018119812e-01, 6.639999747276306e-01, 6.71999990940094e-01, 6.800000071525574e-01, 6.880000233650208e-01, 6.959999799728394e-01, 7.039999961853027e-01, 7.120000123977661e-01, 7.200000286102295e-01, 7.279999852180481e-01, 7.360000014305115e-01, 7.440000176429749e-01, 7.519999742507935e-01, 7.599999904632568e-01, 7.680000066757202e-01, 7.760000228881836e-01, 7.839999794960022e-01, 7.919999957084656e-01, 8.00000011920929e-01, 8.080000281333923e-01, 8.159999847412109e-01, 8.240000009536743e-01, 8.320000171661377e-01, 8.399999737739563e-01, 8.479999899864197e-01, 8.560000061988831e-01, 8.640000224113464e-01, 8.71999979019165e-01, 8.799999952316284e-01, 8.880000114440918e-01, 8.960000276565552e-01, 9.039999842643738e-01, 9.120000004768372e-01, 9.200000166893005e-01, 9.279999732971191e-01, 9.359999895095825e-01, 9.440000057220459e-01, 9.520000219345093e-01, 9.599999785423279e-01, 9.679999947547913e-01, 9.760000109672546e-01, 9.84000027179718e-01, 9.919999837875366e-01, 1e+00, 1.008000016212463e+00, 1.016000032424927e+00, 1.02400004863739e+00, 1.031999945640564e+00, 1.039999961853027e+00, 1.047999978065491e+00, 1.055999994277954e+00, 1.064000010490417e+00, 1.072000026702881e+00, 1.080000042915344e+00, 1.088000059127808e+00, 1.095999956130981e+00, 1.103999972343445e+00, 1.111999988555908e+00, 1.120000004768372e+00, 1.128000020980835e+00, 1.136000037193298e+00, 1.144000053405762e+00, 1.151999950408936e+00, 1.159999966621399e+00, 1.167999982833862e+00, 1.175999999046326e+00, 1.184000015258789e+00, 1.192000031471252e+00, 1.200000047683716e+00, 1.20799994468689e+00, 1.215999960899353e+00, 1.223999977111816e+00, 1.23199999332428e+00, 1.240000009536743e+00, 1.248000025749207e+00, 1.25600004196167e+00, 1.264000058174133e+00, 1.271999955177307e+00, 1.279999971389771e+00, 1.287999987602234e+00, 1.296000003814697e+00, 1.304000020027161e+00, 1.312000036239624e+00, 1.320000052452087e+00, 1.327999949455261e+00, 1.335999965667725e+00, 1.343999981880188e+00, 1.351999998092651e+00, 1.360000014305115e+00, 1.368000030517578e+00, 1.376000046730042e+00, 1.383999943733215e+00, 1.391999959945679e+00, 1.399999976158142e+00, 1.407999992370605e+00, 1.416000008583069e+00, 1.424000024795532e+00, 1.432000041007996e+00, 1.440000057220459e+00, 1.447999954223633e+00, 1.455999970436096e+00, 1.46399998664856e+00, 1.472000002861023e+00, 1.480000019073486e+00, 1.48800003528595e+00, 1.496000051498413e+00, 1.503999948501587e+00, 1.51199996471405e+00, 1.519999980926514e+00, 1.527999997138977e+00, 1.53600001335144e+00, 1.544000029563904e+00, 1.552000045776367e+00, 1.559999942779541e+00, 1.567999958992004e+00, 1.575999975204468e+00, 1.583999991416931e+00, 1.592000007629395e+00, 1.600000023841858e+00, 1.608000040054321e+00, 1.616000056266785e+00, 1.623999953269958e+00, 1.631999969482422e+00, 1.639999985694885e+00, 1.648000001907349e+00, 1.656000018119812e+00, 1.664000034332275e+00, 1.672000050544739e+00, 1.679999947547913e+00, 1.687999963760376e+00, 1.695999979972839e+00, 1.703999996185303e+00, 1.712000012397766e+00, 1.720000028610229e+00, 1.728000044822693e+00, 1.735999941825867e+00, 1.74399995803833e+00, 1.751999974250793e+00, 1.759999990463257e+00, 1.76800000667572e+00, 1.776000022888184e+00, 1.784000039100647e+00, 1.79200005531311e+00, 1.799999952316284e+00, 1.807999968528748e+00, 1.815999984741211e+00, 1.824000000953674e+00, 1.832000017166138e+00, 1.840000033378601e+00, 1.848000049591064e+00, 1.855999946594238e+00, 1.863999962806702e+00, 1.871999979019165e+00, 1.879999995231628e+00, 1.888000011444092e+00, 1.896000027656555e+00, 1.904000043869019e+00, 1.911999940872192e+00, 1.919999957084656e+00, 1.927999973297119e+00, 1.935999989509583e+00, 1.944000005722046e+00, 1.952000021934509e+00, 1.960000038146973e+00, 1.968000054359436e+00, 1.97599995136261e+00, 1.983999967575073e+00, 1.991999983787537e+00, 2e+00]
dp=[-8.163265228271484e+00, -8.098090171813965e+00, -8.033175468444824e+00, -7.968522548675537e+00, -7.904130458831787e+00, -7.840000152587891e+00, -7.776130676269531e+00, -7.712522506713867e+00, -7.649175643920898e+00, -7.586089611053467e+00, -7.523265361785889e+00, -7.460701942443848e+00, -7.398399829864502e+00, -7.336359024047852e+00, -7.274579524993896e+00, -7.213061332702637e+00, -7.151803970336914e+00, -7.090808391571045e+00, -7.030073642730713e+00, -6.969600200653076e+00, -6.909387588500977e+00, -6.84943675994873e+00, -6.789746761322021e+00, -6.730318546295166e+00, -6.671151161193848e+00, -6.612245082855225e+00, -6.553599834442139e+00, -6.495216369628906e+00, -6.437093734741211e+00, -6.379232883453369e+00, -6.321632862091064e+00, -6.264293670654297e+00, -6.207216262817383e+00, -6.150400161743164e+00, -6.093844890594482e+00, -6.037550926208496e+00, -5.981518268585205e+00, -5.925746917724609e+00, -5.870236873626709e+00, -5.814987659454346e+00, -5.760000228881836e+00, -5.705273628234863e+00, -5.650808334350586e+00, -5.596603870391846e+00, -5.542661190032959e+00, -5.488979816436768e+00, -5.435559272766113e+00, -5.382400035858154e+00, -5.329502105712891e+00, -5.276865482330322e+00, -5.224489688873291e+00, -5.172375679016113e+00, -5.120522499084473e+00, -5.068930625915527e+00, -5.017600059509277e+00, -4.966530799865723e+00, -4.915722370147705e+00, -4.865175724029541e+00, -4.814889907836914e+00, -4.764865398406982e+00, -4.715102195739746e+00, -4.665599822998047e+00, -4.616359233856201e+00, -4.567379474639893e+00, -4.518661022186279e+00, -4.470203876495361e+00, -4.422008037567139e+00, -4.374073505401611e+00, -4.326399803161621e+00, -4.278987884521484e+00, -4.231836795806885e+00, -4.18494701385498e+00, -4.138318538665771e+00, -4.0919508934021e+00, -4.045845031738281e+00, -4e+00, -3.954416275024414e+00, -3.909093856811523e+00, -3.864032745361328e+00, -3.819232702255249e+00, -3.774693965911865e+00, -3.730416297912598e+00, -3.686399936676025e+00, -3.642644882202148e+00, -3.599151134490967e+00, -3.555918455123901e+00, -3.512946844100952e+00, -3.470236778259277e+00, -3.427787780761719e+00, -3.385600090026855e+00, -3.343673467636108e+00, -3.302008152008057e+00, -3.2606041431427e+00, -3.21946120262146e+00, -3.178579568862915e+00, -3.137959241867065e+00, -3.097599983215332e+00, -3.057502031326294e+00, -3.017665386199951e+00, -2.978089809417725e+00, -2.938775539398193e+00, -2.899722337722778e+00, -2.860930681228638e+00, -2.822400093078613e+00, -2.784130573272705e+00, -2.746122360229492e+00, -2.708375453948975e+00, -2.670889854431152e+00, -2.633665323257446e+00, -2.596702098846436e+00, -2.559999942779541e+00, -2.523559093475342e+00, -2.487379550933838e+00, -2.451461315155029e+00, -2.415804147720337e+00, -2.380408048629761e+00, -2.345273494720459e+00, -2.310400009155273e+00, -2.275787830352783e+00, -2.241436719894409e+00, -2.20734691619873e+00, -2.173518419265747e+00, -2.13995099067688e+00, -2.106644868850708e+00, -2.073600053787231e+00, -2.040816307067871e+00, -2.008293867111206e+00, -1.976032614707947e+00, -1.944032669067383e+00, -1.912293910980225e+00, -1.880816340446472e+00, -1.849599957466125e+00, -1.818644881248474e+00, -1.787950992584229e+00, -1.757518410682678e+00, -1.727346897125244e+00, -1.697436690330505e+00, -1.667787790298462e+00, -1.638399958610535e+00, -1.609273433685303e+00, -1.580408215522766e+00, -1.551804065704346e+00, -1.523461222648621e+00, -1.495379567146301e+00, -1.467559218406677e+00, -1.440000057220459e+00, -1.412702083587646e+00, -1.38566529750824e+00, -1.358889818191528e+00, -1.332375526428223e+00, -1.306122422218323e+00, -1.280130624771118e+00, -1.254400014877319e+00, -1.228930592536926e+00, -1.203722476959229e+00, -1.178775548934937e+00, -1.15408980846405e+00, -1.12966525554657e+00, -1.105502009391785e+00, -1.081599950790405e+00, -1.057959198951721e+00, -1.03458034992218e+00, -1.011466860771179e+00, -9.886228442192078e-01, -9.660520553588867e-01, -9.43757951259613e-01, -9.217438697814941e-01, -9.000128507614136e-01, -8.785676956176758e-01, -8.574111461639404e-01, -8.36545467376709e-01, -8.159728646278381e-01, -7.956953644752502e-01, -7.757146954536438e-01, -7.560323476791382e-01, -7.366496324539185e-01, -7.175678014755249e-01, -6.987876892089844e-01, -6.80310070514679e-01, -6.621354222297668e-01, -6.442641615867615e-01, -6.266963481903076e-01, -6.0943204164505e-01, -5.924708843231201e-01, -5.758126378059387e-01, -5.594565272331238e-01, -5.434019565582275e-01, -5.276479125022888e-01, -5.121932029724121e-01, -4.970366954803467e-01, -4.821768701076508e-01, -4.676121175289154e-01, -4.533406496047974e-01, -4.393605589866638e-01, -4.256697297096252e-01, -4.12265956401825e-01, -3.991468548774719e-01, -3.863098323345184e-01, -3.73752236366272e-01, -3.614712655544281e-01, -3.494639098644257e-01, -3.377270698547363e-01, -3.262575566768646e-01, -3.15051943063736e-01, -3.04106742143631e-01, -2.934183776378632e-01, -2.829830348491669e-01, -2.727968692779541e-01, -2.628559172153473e-01, -2.531560659408569e-01, -2.436930686235428e-01, -2.344626188278198e-01, -2.254602909088135e-01, -2.166815400123596e-01, -2.08121731877327e-01, -1.997761130332947e-01, -1.916398555040359e-01, -1.837080270051956e-01, -1.759755909442902e-01, -1.684374660253525e-01, -1.610884368419647e-01, -1.539232283830643e-01, -1.469364613294601e-01, -1.40122726559639e-01, -1.334764957427979e-01, -1.269921809434891e-01, -1.20664119720459e-01, -1.144866049289703e-01, -1.084538325667381e-01, -1.025599613785744e-01, -9.67990830540657e-02, -9.116522967815399e-02, -8.565237373113632e-02, -8.02544578909874e-02, -7.496535778045654e-02, -6.977891176939011e-02, -6.468890607357025e-02, -5.968910083174706e-02, -5.477320402860641e-02, -4.993489757180214e-02, -4.516782984137535e-02, -4.046561568975449e-02, -3.582185134291649e-02, -3.123009949922562e-02, -2.668390795588493e-02, -2.217680029571056e-02, -1.770229078829288e-02, -1.325387228280306e-02, -8.825032971799374e-03, -4.409251734614372e-03, 0e+00, 4.409251734614372e-03, 8.825032971799374e-03, 1.325387228280306e-02, 1.770229078829288e-02, 2.217680029571056e-02, 2.668390795588493e-02, 3.123009949922562e-02, 3.582185134291649e-02, 4.046561568975449e-02, 4.516782984137535e-02, 4.993489757180214e-02, 5.477320402860641e-02, 5.968910083174706e-02, 6.468890607357025e-02, 6.977891176939011e-02, 7.496535778045654e-02, 8.02544578909874e-02, 8.565237373113632e-02, 9.116522967815399e-02, 9.67990830540657e-02, 1.025599613785744e-01, 1.084538325667381e-01, 1.144866049289703e-01, 1.20664119720459e-01, 1.269921809434891e-01, 1.334764957427979e-01, 1.40122726559639e-01, 1.469364613294601e-01, 1.539232283830643e-01, 1.610884368419647e-01, 1.684374660253525e-01, 1.759755909442902e-01, 1.837080270051956e-01, 1.916398555040359e-01, 1.997761130332947e-01, 2.08121731877327e-01, 2.166815400123596e-01, 2.254602909088135e-01, 2.344626188278198e-01, 2.436930686235428e-01, 2.531560659408569e-01, 2.628559172153473e-01, 2.727968692779541e-01, 2.829830348491669e-01, 2.934183776378632e-01, 3.04106742143631e-01, 3.15051943063736e-01, 3.262575566768646e-01, 3.377270698547363e-01, 3.494639098644257e-01, 3.614712655544281e-01, 3.73752236366272e-01, 3.863098323345184e-01, 3.991468548774719e-01, 4.12265956401825e-01, 4.256697297096252e-01, 4.393605589866638e-01, 4.533406496047974e-01, 4.676121175289154e-01, 4.821768701076508e-01, 4.970366954803467e-01, 5.121932029724121e-01, 5.276479125022888e-01, 5.434019565582275e-01, 5.594565272331238e-01, 5.758126378059387e-01, 5.924708843231201e-01, 6.0943204164505e-01, 6.266963481903076e-01, 6.442641615867615e-01, 6.621354222297668e-01, 6.80310070514679e-01, 6.987876892089844e-01, 7.175678014755249e-01, 7.366496324539185e-01, 7.560323476791382e-01, 7.757146954536438e-01, 7.956953644752502e-01, 8.159728646278381e-01, 8.36545467376709e-01, 8.574111461639404e-01, 8.785676956176758e-01, 9.000128507614136e-01, 9.217438697814941e-01, 9.43757951259613e-01, 9.660520553588867e-01, 9.886228442192078e-01, 1.011466860771179e+00, 1.03458034992218e+00, 1.057959198951721e+00, 1.081599950790405e+00, 1.105502009391785e+00, 1.12966525554657e+00, 1.15408980846405e+00, 1.178775548934937e+00, 1.203722476959229e+00, 1.228930592536926e+00, 1.254400014877319e+00, 1.280130624771118e+00, 1.306122422218323e+00, 1.332375526428223e+00, 1.358889818191528e+00, 1.38566529750824e+00, 1.412702083587646e+00, 1.440000057220459e+00, 1.467559218406677e+00, 1.495379567146301e+00, 1.523461222648621e+00, 1.551804065704346e+00, 1.580408215522766e+00, 1.609273433685303e+00, 1.638399958610535e+00, 1.667787790298462e+00, 1.697436690330505e+00, 1.727346897125244e+00, 1.757518410682678e+00, 1.787950992584229e+00, 1.818644881248474e+00, 1.849599957466125e+00, 1.880816340446472e+00, 1.912293910980225e+00, 1.944032669067383e+00, 1.976032614707947e+00, 2.008293867111206e+00, 2.040816307067871e+00, 2.073600053787231e+00, 2.106644868850708e+00, 2.13995099067688e+00, 2.173518419265747e+00, 2.20734691619873e+00, 2.241436719894409e+00, 2.275787830352783e+00, 2.310400009155273e+00, 2.345273494720459e+00, 2.380408048629761e+00, 2.415804147720337e+00, 2.451461315155029e+00, 2.487379550933838e+00, 2.523559093475342e+00, 2.559999942779541e+00, 2.596702098846436e+00, 2.633665323257446e+00, 2.670889854431152e+00, 2.708375453948975e+00, 2.746122360229492e+00, 2.784130573272705e+00, 2.822400093078613e+00, 2.860930681228638e+00, 2.899722337722778e+00, 2.938775539398193e+00, 2.978089809417725e+00, 3.017665386199951e+00, 3.057502031326294e+00, 3.097599983215332e+00, 3.137959241867065e+00, 3.178579568862915e+00, 3.21946120262146e+00, 3.2606041431427e+00, 3.302008152008057e+00, 3.343673467636108e+00, 3.385600090026855e+00, 3.427787780761719e+00, 3.470236778259277e+00, 3.512946844100952e+00, 3.555918455123901e+00, 3.599151134490967e+00, 3.642644882202148e+00, 3.686399936676025e+00, 3.730416297912598e+00, 3.774693965911865e+00, 3.819232702255249e+00, 3.864032745361328e+00, 3.909093856811523e+00, 3.954416275024414e+00, 4e+00, 4.045845031738281e+00, 4.0919508934021e+00, 4.138318538665771e+00, 4.18494701385498e+00, 4.231836795806885e+00, 4.278987884521484e+00, 4.326399803161621e+00, 4.374073505401611e+00, 4.422008037567139e+00, 4.470203876495361e+00, 4.518661022186279e+00, 4.567379474639893e+00, 4.616359233856201e+00, 4.665599822998047e+00, 4.715102195739746e+00, 4.764865398406982e+00, 4.814889907836914e+00, 4.865175724029541e+00, 4.915722370147705e+00, 4.966530799865723e+00, 5.017600059509277e+00, 5.068930625915527e+00, 5.120522499084473e+00, 5.172375679016113e+00, 5.224489688873291e+00, 5.276865482330322e+00, 5.329502105712891e+00, 5.382400035858154e+00, 5.435559272766113e+00, 5.488979816436768e+00, 5.542661190032959e+00, 5.596603870391846e+00, 5.650808334350586e+00, 5.705273628234863e+00, 5.760000228881836e+00, 5.814987659454346e+00, 5.870236873626709e+00, 5.925746917724609e+00, 5.981518268585205e+00, 6.037550926208496e+00, 6.093844890594482e+00, 6.150400161743164e+00, 6.207216262817383e+00, 6.264293670654297e+00, 6.321632862091064e+00, 6.379232883453369e+00, 6.437093734741211e+00, 6.495216369628906e+00, 6.553599834442139e+00, 6.612245082855225e+00, 6.671151161193848e+00, 6.730318546295166e+00, 6.789746761322021e+00, 6.84943675994873e+00, 6.909387588500977e+00, 6.969600200653076e+00, 7.030073642730713e+00, 7.090808391571045e+00, 7.151803970336914e+00, 7.213061332702637e+00, 7.274579524993896e+00, 7.336359024047852e+00, 7.398399829864502e+00, 7.460701942443848e+00, 7.523265361785889e+00, 7.586089611053467e+00, 7.649175643920898e+00, 7.712522506713867e+00, 7.776130676269531e+00, 7.840000152587891e+00, 7.904130458831787e+00, 7.968522548675537e+00, 8.033175468444824e+00, 8.098090171813965e+00, 8.163265228271484e+00]
dp_comp=[-8.163265228271484e+00, -8.098090171813965e+00, -8.033175468444824e+00, -7.968522548675537e+00, -7.904130935668945e+00, -7.840000152587891e+00, -7.776130676269531e+00, -7.712522506713867e+00, -7.649175643920898e+00, -7.586090087890625e+00, -7.523265361785889e+00, -7.460702419281006e+00, -7.39840030670166e+00, -7.33635950088501e+00, -7.274579524993896e+00, -7.213061332702637e+00, -7.151804447174072e+00, -7.090808391571045e+00, -7.030073642730713e+00, -6.969600200653076e+00, -6.909388065338135e+00, -6.84943675994873e+00, -6.78974723815918e+00, -6.730318546295166e+00, -6.671151161193848e+00, -6.612245082855225e+00, -6.553600311279297e+00, -6.495216369628906e+00, -6.437094211578369e+00, -6.379232883453369e+00, -6.321632862091064e+00, -6.264294147491455e+00, -6.207216262817383e+00, -6.150400161743164e+00, -6.093844890594482e+00, -6.037551403045654e+00, -5.981518745422363e+00, -5.925746917724609e+00, -5.870236873626709e+00, -5.814988136291504e+00, -5.760000228881836e+00, -5.705273628234863e+00, -5.650808334350586e+00, -5.596604347229004e+00, -5.542661190032959e+00, -5.488979816436768e+00, -5.435559272766113e+00, -5.382400035858154e+00, -5.329502105712891e+00, -5.276865482330322e+00, -5.224490165710449e+00, -5.172375679016113e+00, -5.120522499084473e+00, -5.068930625915527e+00, -5.017600059509277e+00, -4.966530799865723e+00, -4.915722846984863e+00, -4.865175724029541e+00, -4.814889907836914e+00, -4.764865398406982e+00, -4.715102195739746e+00, -4.665600299835205e+00, -4.616359233856201e+00, -4.567379951477051e+00, -4.518661499023438e+00, -4.47020435333252e+00, -4.422008514404297e+00, -4.374073505401611e+00, -4.326400279998779e+00, -4.278987884521484e+00, -4.231836795806885e+00, -4.18494701385498e+00, -4.138318538665771e+00, -4.091951370239258e+00, -4.045845031738281e+00, -4e+00, -3.954416513442993e+00, -3.909094095230103e+00, -3.864032745361328e+00, -3.819232702255249e+00, -3.774693965911865e+00, -3.730416536331177e+00, -3.686400175094604e+00, -3.642645120620728e+00, -3.599151134490967e+00, -3.555918455123901e+00, -3.512947082519531e+00, -3.470237016677856e+00, -3.427788019180298e+00, -3.385600090026855e+00, -3.343673706054688e+00, -3.302008390426636e+00, -3.2606041431427e+00, -3.219461441040039e+00, -3.178579807281494e+00, -3.137959241867065e+00, -3.097600221633911e+00, -3.057502269744873e+00, -3.017665386199951e+00, -2.978090047836304e+00, -2.938775777816772e+00, -2.899722576141357e+00, -2.860930681228638e+00, -2.822400093078613e+00, -2.784130811691284e+00, -2.746122598648071e+00, -2.708375692367554e+00, -2.670889854431152e+00, -2.633665561676025e+00, -2.596702098846436e+00, -2.56000018119812e+00, -2.523559331893921e+00, -2.487379789352417e+00, -2.451461315155029e+00, -2.415804147720337e+00, -2.38040828704834e+00, -2.345273733139038e+00, -2.310400247573853e+00, -2.275787830352783e+00, -2.241436958312988e+00, -2.20734715461731e+00, -2.173518419265747e+00, -2.139951229095459e+00, -2.106645107269287e+00, -2.073600053787231e+00, -2.04081654548645e+00, -2.008294105529785e+00, -1.976032853126526e+00, -1.944032788276672e+00, -1.912294030189514e+00, -1.880816459655762e+00, -1.849600195884705e+00, -1.818645119667053e+00, -1.787951231002808e+00, -1.757518529891968e+00, -1.727347135543823e+00, -1.697436928749084e+00, -1.667787909507751e+00, -1.638400197029114e+00, -1.609273672103882e+00, -1.580408334732056e+00, -1.551804304122925e+00, -1.52346134185791e+00, -1.49537980556488e+00, -1.467559337615967e+00, -1.440000176429749e+00, -1.412702202796936e+00, -1.385665416717529e+00, -1.358889937400818e+00, -1.332375645637512e+00, -1.306122660636902e+00, -1.280130743980408e+00, -1.254400134086609e+00, -1.228930830955505e+00, -1.203722596168518e+00, -1.178775668144226e+00, -1.15408992767334e+00, -1.129665493965149e+00, -1.105502247810364e+00, -1.081600189208984e+00, -1.0579594373703e+00, -1.034580588340759e+00, -1.011467099189758e+00, -9.886230826377869e-01, -9.660522937774658e-01, -9.437581896781921e-01, -9.217440485954285e-01, -9.000129699707031e-01, -8.785678744316101e-01, -8.5741126537323e-01, -8.365455865859985e-01, -8.159730434417725e-01, -7.956954836845398e-01, -7.757148146629333e-01, -7.560324668884277e-01, -7.366498112678528e-01, -7.175679802894592e-01, -6.987878680229187e-01, -6.803102493286133e-01, -6.621356606483459e-01, -6.442643404006958e-01, -6.266965866088867e-01, -6.094322204589844e-01, -5.924711227416992e-01, -5.75812816619873e-01, -5.594567656517029e-01, -5.434021353721619e-01, -5.276480913162231e-01, -5.121934413909912e-01, -4.970369040966034e-01, -4.821770489215851e-01, -4.676122963428497e-01, -4.533408284187317e-01, -4.393607378005981e-01, -4.256699085235596e-01, -4.122661352157593e-01, -3.991470038890839e-01, -3.863099813461304e-01, -3.737524151802063e-01, -3.6147141456604e-01, -3.494640588760376e-01, -3.377272188663483e-01, -3.262577056884766e-01, -3.150520920753479e-01, -3.041068911552429e-01, -2.934185266494751e-01, -2.829831838607788e-01, -2.727970480918884e-01, -2.628560662269592e-01, -2.531562149524689e-01, -2.436932176351547e-01, -2.34462782740593e-01, -2.254604548215866e-01, -2.166817039251328e-01, -2.081218808889389e-01, -1.997762620449066e-01, -1.916400045156479e-01, -1.837081611156464e-01, -1.759757399559021e-01, -1.684376001358032e-01, -1.610885709524155e-01, -1.539233475923538e-01, -1.469365954399109e-01, -1.401228457689285e-01, -1.334766149520874e-01, -1.269922852516174e-01, -1.206642314791679e-01, -1.144867092370987e-01, -1.084539368748665e-01, -1.025600656867027e-01, -9.679917991161346e-02, -9.116532653570175e-02, -8.565247058868408e-02, -8.025455474853516e-02, -7.49654546380043e-02, -6.977900862693787e-02, -6.468900293111801e-02, -5.968919768929482e-02, -5.477330088615417e-02, -4.99349944293499e-02, -4.516792669892311e-02, -4.046571627259254e-02, -3.582195192575455e-02, -3.123020380735397e-02, -2.668401412665844e-02, -2.217691019177437e-02, -1.770240254700184e-02, -1.325398590415716e-02, -8.825148455798626e-03, -4.409367684274912e-03, -1.178117301492421e-07, 4.409132525324821e-03, 8.824912831187248e-03, 1.325375027954578e-02, 1.770216785371304e-02, 2.217667922377586e-02, 2.668378502130508e-02, 3.122997656464577e-02, 3.582172840833664e-02, 4.046549648046494e-02, 4.51677069067955e-02, 4.993477463722229e-02, 5.477308109402657e-02, 5.968897789716721e-02, 6.46887868642807e-02, 6.977879256010056e-02, 7.496523857116699e-02, 8.025433868169785e-02, 8.565225452184677e-02, 9.116511046886444e-02, 9.679896384477615e-02, 1.025598421692848e-01, 1.084537133574486e-01, 1.144864857196808e-01, 1.206640005111694e-01, 1.269920617341995e-01, 1.334763765335083e-01, 1.401226073503494e-01, 1.469363421201706e-01, 1.539231091737747e-01, 1.610883176326752e-01, 1.684373468160629e-01, 1.759754717350006e-01, 1.837079077959061e-01, 1.916397362947464e-01, 1.997759938240051e-01, 2.081216126680374e-01, 2.166814208030701e-01, 2.254601716995239e-01, 2.344624996185303e-01, 2.436929494142532e-01, 2.531559467315674e-01, 2.628557980060577e-01, 2.727967500686646e-01, 2.829829156398773e-01, 2.934182584285736e-01, 3.041066229343414e-01, 3.150518238544464e-01, 3.262574374675751e-01, 3.377269506454468e-01, 3.494637906551361e-01, 3.614711463451385e-01, 3.737521171569824e-01, 3.863097131252289e-01, 3.991467356681824e-01, 4.122658371925354e-01, 4.256696105003357e-01, 4.393604397773743e-01, 4.533405303955078e-01, 4.676119983196259e-01, 4.821767508983612e-01, 4.970366060733795e-01, 5.121931433677673e-01, 5.276477932929993e-01, 5.43401837348938e-01, 5.59456467628479e-01, 5.758125185966492e-01, 5.924708247184753e-01, 6.094319224357605e-01, 6.266962885856628e-01, 6.442640423774719e-01, 6.621353626251221e-01, 6.803100109100342e-01, 6.987876296043396e-01, 7.175677418708801e-01, 7.366495728492737e-01, 7.560322284698486e-01, 7.757145762443542e-01, 7.956953048706055e-01, 8.159728050231934e-01, 8.365453481674194e-01, 8.574110269546509e-01, 8.78567636013031e-01, 9.00012731552124e-01, 9.217437505722046e-01, 9.437578916549683e-01, 9.660519957542419e-01, 9.88622784614563e-01, 1.01146674156189e+00, 1.034580230712891e+00, 1.057959079742432e+00, 1.081599950790405e+00, 1.105502009391785e+00, 1.12966525554657e+00, 1.15408980846405e+00, 1.178775429725647e+00, 1.203722476959229e+00, 1.228930592536926e+00, 1.254400014877319e+00, 1.280130624771118e+00, 1.306122422218323e+00, 1.332375526428223e+00, 1.358889818191528e+00, 1.38566529750824e+00, 1.412702083587646e+00, 1.440000057220459e+00, 1.467559218406677e+00, 1.495379567146301e+00, 1.523461222648621e+00, 1.551804065704346e+00, 1.580408215522766e+00, 1.609273433685303e+00, 1.638400077819824e+00, 1.667787790298462e+00, 1.697436809539795e+00, 1.727347016334534e+00, 1.757518410682678e+00, 1.787950992584229e+00, 1.818644881248474e+00, 1.849599957466125e+00, 1.880816340446472e+00, 1.912293910980225e+00, 1.944032669067383e+00, 1.976032614707947e+00, 2.008293867111206e+00, 2.040816307067871e+00, 2.073600053787231e+00, 2.106644868850708e+00, 2.13995099067688e+00, 2.173518419265747e+00, 2.20734691619873e+00, 2.241436719894409e+00, 2.275787830352783e+00, 2.310400009155273e+00, 2.345273494720459e+00, 2.38040828704834e+00, 2.415804147720337e+00, 2.451461315155029e+00, 2.487379550933838e+00, 2.523559093475342e+00, 2.559999942779541e+00, 2.596702098846436e+00, 2.633665323257446e+00, 2.670889854431152e+00, 2.708375453948975e+00, 2.746122360229492e+00, 2.784130573272705e+00, 2.822400093078613e+00, 2.860930681228638e+00, 2.899722576141357e+00, 2.938775539398193e+00, 2.978089809417725e+00, 3.017665386199951e+00, 3.057502031326294e+00, 3.097599983215332e+00, 3.137959241867065e+00, 3.178579568862915e+00, 3.21946120262146e+00, 3.2606041431427e+00, 3.302008152008057e+00, 3.343673467636108e+00, 3.385600090026855e+00, 3.427787780761719e+00, 3.470236778259277e+00, 3.512946844100952e+00, 3.555918455123901e+00, 3.599151134490967e+00, 3.642644882202148e+00, 3.686399936676025e+00, 3.730416297912598e+00, 3.774693965911865e+00, 3.819232702255249e+00, 3.864032745361328e+00, 3.909093856811523e+00, 3.954416275024414e+00, 4e+00, 4.045845031738281e+00, 4.0919508934021e+00, 4.138318538665771e+00, 4.18494701385498e+00, 4.231836795806885e+00, 4.278987884521484e+00, 4.326399803161621e+00, 4.374073505401611e+00, 4.422008037567139e+00, 4.470203876495361e+00, 4.518661022186279e+00, 4.567379474639893e+00, 4.616359233856201e+00, 4.665599822998047e+00, 4.715102195739746e+00, 4.764865398406982e+00, 4.814889907836914e+00, 4.865175724029541e+00, 4.915722370147705e+00, 4.966530799865723e+00, 5.017600059509277e+00, 5.068930625915527e+00, 5.120522499084473e+00, 5.172375679016113e+00, 5.224489688873291e+00, 5.276865482330322e+00, 5.329502105712891e+00, 5.382400035858154e+00, 5.435559272766113e+00, 5.488979816436768e+00, 5.542661190032959e+00, 5.596603870391846e+00, 5.650808334350586e+00, 5.705273628234863e+00, 5.760000228881836e+00, 5.814987659454346e+00, 5.870236873626709e+00, 5.925746917724609e+00, 5.981518268585205e+00, 6.037550926208496e+00, 6.093844890594482e+00, 6.150400161743164e+00, 6.207216262817383e+00, 6.264293670654297e+00, 6.321632862091064e+00, 6.379232883453369e+00, 6.437093734741211e+00, 6.495216369628906e+00, 6.553599834442139e+00, 6.612245082855225e+00, 6.671151161193848e+00, 6.730318546295166e+00, 6.789746761322021e+00, 6.84943675994873e+00, 6.909387588500977e+00, 6.969600200653076e+00, 7.030073642730713e+00, 7.090808391571045e+00, 7.151803970336914e+00, 7.213061332702637e+00, 7.274579524993896e+00, 7.336359024047852e+00, 7.398399829864502e+00, 7.460701942443848e+00, 7.523265361785889e+00, 7.586089611053467e+00, 7.649175643920898e+00, 7.712522506713867e+00, 7.776130676269531e+00, 7.840000152587891e+00, 7.904130458831787e+00, 7.968522548675537e+00, 8.033175468444824e+00, 8.098090171813965e+00, 8.163265228271484e+00]