last-generated=2025-05-20 statistics-simulation= { "linear": " ", "nonlinear": " ", "number of continuous time states": "2", "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, -7.969295501708984e+00, -7.779182434082031e+00, -7.592863082885742e+00, -7.410277843475342e+00, -7.231366157531738e+00, -7.056068897247314e+00, -6.884326934814453e+00, -6.71608304977417e+00, -6.551279067993164e+00, -6.389859676361084e+00, -6.231767654418945e+00, -6.076949119567871e+00, -5.925349235534668e+00, -5.776913642883301e+00, -5.631589889526367e+00, -5.489325523376465e+00, -5.350069046020508e+00, -5.21376895904541e+00, -5.080374717712402e+00, -4.949836730957031e+00, -4.822105884552002e+00, -4.697134017944336e+00, -4.574872493743896e+00, -4.45527458190918e+00, -4.33829402923584e+00, -4.223884105682373e+00, -4.11199951171875e+00, -4.0025954246521e+00, -3.895628213882446e+00, -3.791053771972656e+00, -3.688829183578491e+00, -3.588912010192871e+00, -3.491260528564453e+00, -3.395833253860474e+00, -3.302589654922485e+00, -3.21148943901062e+00, -3.122493028640747e+00, -3.035561323165894e+00, -2.950656175613403e+00, -2.867738962173462e+00, -2.786772966384888e+00, -2.707720756530762e+00, -2.630546092987061e+00, -2.555213451385498e+00, -2.481687068939209e+00, -2.409932374954224e+00, -2.339915037155151e+00, -2.27160120010376e+00, -2.204957485198975e+00, -2.13995099067688e+00, -2.076549530029297e+00, -2.014721393585205e+00, -1.954434990882874e+00, -1.895659327507019e+00, -1.838364124298096e+00, -1.782519340515137e+00, -1.728095412254333e+00, -1.675063371658325e+00, -1.62339448928833e+00, -1.573060631752014e+00, -1.524034142494202e+00, -1.476287484169006e+00, -1.429794073104858e+00, -1.384527325630188e+00, -1.340461134910583e+00, -1.297569990158081e+00, -1.255828738212585e+00, -1.215212345123291e+00, -1.175696730613708e+00, -1.137257695198059e+00, -1.099871754646301e+00, -1.063515663146973e+00, -1.028167963027954e+00, -9.938168525695801e-01, -9.604524374008179e-01, -9.280634522438049e-01, -8.966371417045593e-01, -8.661594986915588e-01, -8.366153836250305e-01, -8.079888224601746e-01, -7.8026282787323e-01, -7.53419816493988e-01, -7.274414896965027e-01, -7.023090720176697e-01, -6.780033707618713e-01, -6.545049548149109e-01, -6.317939758300781e-01, -6.098504662513733e-01, -5.886545181274414e-01, -5.681858658790588e-01, -5.484244823455811e-01, -5.293503999710083e-01, -5.10943591594696e-01, -4.931843280792236e-01, -4.7605299949646e-01, -4.595302641391754e-01, -4.435969591140747e-01, -4.282342493534088e-01, -4.13423627614975e-01, -3.991468548774719e-01, -3.85386049747467e-01, -3.721236884593964e-01, -3.593426644802094e-01, -3.470261693000793e-01, -3.351578712463379e-01, -3.237217962741852e-01, -3.127023577690125e-01, -3.020843863487244e-01, -2.918531894683838e-01, -2.819944024085999e-01, -2.724941372871399e-01, -2.633388638496399e-01, -2.54515528678894e-01, -2.460114061832428e-01, -2.37814262509346e-01, -2.299121916294098e-01, -2.222937345504761e-01, -2.149478048086166e-01, -2.078636735677719e-01, -2.010310292243958e-01, -1.944399178028107e-01, -1.880807280540466e-01, -1.819442361593246e-01, -1.760215312242508e-01, -1.703040599822998e-01, -1.647836267948151e-01, -1.594522893428802e-01, -1.543024778366089e-01, -1.493269056081772e-01, -1.445185840129852e-01, -1.398708075284958e-01, -1.353771388530731e-01, -1.310314536094666e-01, -1.268278360366821e-01, -1.227606609463692e-01, -1.188245192170143e-01, -1.150142475962639e-01, -1.113249212503433e-01, -1.077518090605736e-01, -1.042904257774353e-01, -1.009364500641823e-01, -9.76857915520668e-02, -9.453451633453369e-02, -9.147889912128448e-02, -8.851535618305206e-02, -8.564050495624542e-02, -8.28510969877243e-02, -8.014404028654099e-02, -7.751639932394028e-02, -7.496535778045654e-02, -7.248825579881668e-02, -7.008254528045654e-02, -6.774579733610153e-02, -6.54757171869278e-02, -6.327009946107864e-02, -6.112685799598694e-02, -5.90439960360527e-02, -5.701962113380432e-02, -5.505192652344704e-02, -5.313919112086296e-02, -5.127977579832077e-02, -4.947211965918541e-02, -4.771473258733749e-02, -4.600619897246361e-02, -4.434516280889511e-02, -4.273033142089844e-02, -4.116047546267509e-02, -3.963441401720047e-02, -3.815102204680443e-02, -3.670921921730042e-02, -3.530798479914665e-02, -3.394632413983345e-02, -3.26232947409153e-02, -3.133798763155937e-02, -3.008953295648098e-02, -2.887709252536297e-02, -2.769986167550087e-02, -2.655706182122231e-02, -2.544794790446758e-02, -2.43717934936285e-02, -2.33279038220644e-02, -2.231560274958611e-02, -2.133423462510109e-02, -2.038316242396832e-02, -1.946177147328854e-02, -1.856946013867855e-02, -1.77056435495615e-02, -1.686975359916687e-02, -1.606122963130474e-02, -1.527952961623669e-02, -1.452411990612745e-02, -1.379447616636753e-02, -1.309008710086346e-02, -1.241044700145721e-02, -1.175505947321653e-02, -1.112343650311232e-02, -1.051509566605091e-02, -9.929560124874115e-03, -9.366361424326897e-03, -8.825032971799374e-03, -8.30511562526226e-03, -7.806151174008846e-03, -7.327688857913017e-03, -6.869278848171234e-03, -6.430475506931543e-03, -6.010835524648428e-03, -5.609917920082808e-03, -5.227284971624613e-03, -4.862499888986349e-03, -4.515127744525671e-03, -4.18473593890667e-03, -3.870892338454723e-03, -3.573166439309716e-03, -3.29112890176475e-03, -3.024351317435503e-03, -2.772405976429582e-03, -2.534865634515882e-03, -2.311303978785872e-03, -2.101295394822955e-03, -1.90441426821053e-03, -1.720235799439251e-03, -1.548335188999772e-03, -1.388287986628711e-03, -1.239670207723975e-03, -1.10205786768347e-03, -9.750269819051027e-04, -8.581539732404053e-04, -7.510153227485716e-04, -6.531875696964562e-04, -5.642471951432526e-04, -4.837709129787982e-04, -4.113354079890996e-04, -3.465174231678247e-04, -2.888937015086412e-04, -2.380409860052168e-04, -1.935360924107954e-04, -1.549558073747903e-04, -1.21876917546615e-04, -9.387625323142856e-05, -7.053061563055962e-05, -5.141681685927324e-05, -3.611167267081328e-05, -2.4192000637413e-05, -1.523461196484277e-05, -8.816326953819953e-06, -4.51395908385166e-06, -1.904326495605346e-06, -5.642448854814575e-07, -7.053061068518218e-08, 0e+00, 7.053061068518218e-08, 5.642448854814575e-07, 1.904326495605346e-06, 4.51395908385166e-06, 8.816326953819953e-06, 1.523461196484277e-05, 2.4192000637413e-05, 3.611167267081328e-05, 5.141681685927324e-05, 7.053061563055962e-05, 9.387625323142856e-05, 1.21876917546615e-04, 1.549558073747903e-04, 1.935360924107954e-04, 2.380409860052168e-04, 2.888937015086412e-04, 3.465174231678247e-04, 4.113354079890996e-04, 4.837709129787982e-04, 5.642471951432526e-04, 6.531875696964562e-04, 7.510153227485716e-04, 8.581539732404053e-04, 9.750269819051027e-04, 1.10205786768347e-03, 1.239670207723975e-03, 1.388287986628711e-03, 1.548335188999772e-03, 1.720235799439251e-03, 1.90441426821053e-03, 2.101295394822955e-03, 2.311303978785872e-03, 2.534865634515882e-03, 2.772405976429582e-03, 3.024351317435503e-03, 3.29112890176475e-03, 3.573166439309716e-03, 3.870892338454723e-03, 4.18473593890667e-03, 4.515127744525671e-03, 4.862499888986349e-03, 5.227284971624613e-03, 5.609917920082808e-03, 6.010835524648428e-03, 6.430475506931543e-03, 6.869278848171234e-03, 7.327688857913017e-03, 7.806151174008846e-03, 8.30511562526226e-03, 8.825032971799374e-03, 9.366361424326897e-03, 9.929560124874115e-03, 1.051509566605091e-02, 1.112343650311232e-02, 1.175505947321653e-02, 1.241044700145721e-02, 1.309008710086346e-02, 1.379447616636753e-02, 1.452411990612745e-02, 1.527952961623669e-02, 1.606122963130474e-02, 1.686975359916687e-02, 1.77056435495615e-02, 1.856946013867855e-02, 1.946177147328854e-02, 2.038316242396832e-02, 2.133423462510109e-02, 2.231560274958611e-02, 2.33279038220644e-02, 2.43717934936285e-02, 2.544794790446758e-02, 2.655706182122231e-02, 2.769986167550087e-02, 2.887709252536297e-02, 3.008953295648098e-02, 3.133798763155937e-02, 3.26232947409153e-02, 3.394632413983345e-02, 3.530798479914665e-02, 3.670921921730042e-02, 3.815102204680443e-02, 3.963441401720047e-02, 4.116047546267509e-02, 4.273033142089844e-02, 4.434516280889511e-02, 4.600619897246361e-02, 4.771473258733749e-02, 4.947211965918541e-02, 5.127977579832077e-02, 5.313919112086296e-02, 5.505192652344704e-02, 5.701962113380432e-02, 5.90439960360527e-02, 6.112685799598694e-02, 6.327009946107864e-02, 6.54757171869278e-02, 6.774579733610153e-02, 7.008254528045654e-02, 7.248825579881668e-02, 7.496535778045654e-02, 7.751639932394028e-02, 8.014404028654099e-02, 8.28510969877243e-02, 8.564050495624542e-02, 8.851535618305206e-02, 9.147889912128448e-02, 9.453451633453369e-02, 9.76857915520668e-02, 1.009364500641823e-01, 1.042904257774353e-01, 1.077518090605736e-01, 1.113249212503433e-01, 1.150142475962639e-01, 1.188245192170143e-01, 1.227606609463692e-01, 1.268278360366821e-01, 1.310314536094666e-01, 1.353771388530731e-01, 1.398708075284958e-01, 1.445185840129852e-01, 1.493269056081772e-01, 1.543024778366089e-01, 1.594522893428802e-01, 1.647836267948151e-01, 1.703040599822998e-01, 1.760215312242508e-01, 1.819442361593246e-01, 1.880807280540466e-01, 1.944399178028107e-01, 2.010310292243958e-01, 2.078636735677719e-01, 2.149478048086166e-01, 2.222937345504761e-01, 2.299121916294098e-01, 2.37814262509346e-01, 2.460114061832428e-01, 2.54515528678894e-01, 2.633388638496399e-01, 2.724941372871399e-01, 2.819944024085999e-01, 2.918531894683838e-01, 3.020843863487244e-01, 3.127023577690125e-01, 3.237217962741852e-01, 3.351578712463379e-01, 3.470261693000793e-01, 3.593426644802094e-01, 3.721236884593964e-01, 3.85386049747467e-01, 3.991468548774719e-01, 4.13423627614975e-01, 4.282342493534088e-01, 4.435969591140747e-01, 4.595302641391754e-01, 4.7605299949646e-01, 4.931843280792236e-01, 5.10943591594696e-01, 5.293503999710083e-01, 5.484244823455811e-01, 5.681858658790588e-01, 5.886545181274414e-01, 6.098504662513733e-01, 6.317939758300781e-01, 6.545049548149109e-01, 6.780033707618713e-01, 7.023090720176697e-01, 7.274414896965027e-01, 7.53419816493988e-01, 7.8026282787323e-01, 8.079888224601746e-01, 8.366153836250305e-01, 8.661594986915588e-01, 8.966371417045593e-01, 9.280634522438049e-01, 9.604524374008179e-01, 9.938168525695801e-01, 1.028167963027954e+00, 1.063515663146973e+00, 1.099871754646301e+00, 1.137257695198059e+00, 1.175696730613708e+00, 1.215212345123291e+00, 1.255828738212585e+00, 1.297569990158081e+00, 1.340461134910583e+00, 1.384527325630188e+00, 1.429794073104858e+00, 1.476287484169006e+00, 1.524034142494202e+00, 1.573060631752014e+00, 1.62339448928833e+00, 1.675063371658325e+00, 1.728095412254333e+00, 1.782519340515137e+00, 1.838364124298096e+00, 1.895659327507019e+00, 1.954434990882874e+00, 2.014721393585205e+00, 2.076549530029297e+00, 2.13995099067688e+00, 2.204957485198975e+00, 2.27160120010376e+00, 2.339915037155151e+00, 2.409932374954224e+00, 2.481687068939209e+00, 2.555213451385498e+00, 2.630546092987061e+00, 2.707720756530762e+00, 2.786772966384888e+00, 2.867738962173462e+00, 2.950656175613403e+00, 3.035561323165894e+00, 3.122493028640747e+00, 3.21148943901062e+00, 3.302589654922485e+00, 3.395833253860474e+00, 3.491260528564453e+00, 3.588912010192871e+00, 3.688829183578491e+00, 3.791053771972656e+00, 3.895628213882446e+00, 4.0025954246521e+00, 4.11199951171875e+00, 4.223884105682373e+00, 4.33829402923584e+00, 4.45527458190918e+00, 4.574872493743896e+00, 4.697134017944336e+00, 4.822105884552002e+00, 4.949836730957031e+00, 5.080374717712402e+00, 5.21376895904541e+00, 5.350069046020508e+00, 5.489325523376465e+00, 5.631589889526367e+00, 5.776913642883301e+00, 5.925349235534668e+00, 6.076949119567871e+00, 6.231767654418945e+00, 6.389859676361084e+00, 6.551279067993164e+00, 6.71608304977417e+00, 6.884326934814453e+00, 7.056068897247314e+00, 7.231366157531738e+00, 7.410277843475342e+00, 7.592863082885742e+00, 7.779182434082031e+00, 7.969295501708984e+00, 8.163265228271484e+00] dp_comp=[-8.163265228271484e+00, -7.969295501708984e+00, -7.779181957244873e+00, -7.592863082885742e+00, -7.410277843475342e+00, -7.231366157531738e+00, -7.056068897247314e+00, -6.884326934814453e+00, -6.716082572937012e+00, -6.551279067993164e+00, -6.389859199523926e+00, -6.231767654418945e+00, -6.076948642730713e+00, -5.92534875869751e+00, -5.776913166046143e+00, -5.631589412689209e+00, -5.489325046539307e+00, -5.35006856918335e+00, -5.213768005371094e+00, -5.080374240875244e+00, -4.949836254119873e+00, -4.822105407714844e+00, -4.697133541107178e+00, -4.574872016906738e+00, -4.455274105072021e+00, -4.338293552398682e+00, -4.223883152008057e+00, -4.111999034881592e+00, -4.002594947814941e+00, -3.895627737045288e+00, -3.791053295135498e+00, -3.688828945159912e+00, -3.588911771774292e+00, -3.491260290145874e+00, -3.395833015441895e+00, -3.302589416503906e+00, -3.211489200592041e+00, -3.122492790222168e+00, -3.035561084747314e+00, -2.950655937194824e+00, -2.867738723754883e+00, -2.786772727966309e+00, -2.707720518112183e+00, -2.630545854568481e+00, -2.555213212966919e+00, -2.48168683052063e+00, -2.409932136535645e+00, -2.339914798736572e+00, -2.271600961685181e+00, -2.204957246780396e+00, -2.139950752258301e+00, -2.076549530029297e+00, -2.014721155166626e+00, -1.954434752464294e+00, -1.89565908908844e+00, -1.838363885879517e+00, -1.782519221305847e+00, -1.728095293045044e+00, -1.675063252449036e+00, -1.623394370079041e+00, -1.573060631752014e+00, -1.524034023284912e+00, -1.476287484169006e+00, -1.429794073104858e+00, -1.384527325630188e+00, -1.340461134910583e+00, -1.297569990158081e+00, -1.255828619003296e+00, -1.215212345123291e+00, -1.175696730613708e+00, -1.137257695198059e+00, -1.099871754646301e+00, -1.063515663146973e+00, -1.028167963027954e+00, -9.938168525695801e-01, -9.604524374008179e-01, -9.280634522438049e-01, -8.966370820999146e-01, -8.661594986915588e-01, -8.366153836250305e-01, -8.079888224601746e-01, -7.802628874778748e-01, -7.534198760986328e-01, -7.274414896965027e-01, -7.023090720176697e-01, -6.780034303665161e-01, -6.545049548149109e-01, -6.317939758300781e-01, -6.098505258560181e-01, -5.886545777320862e-01, -5.681859254837036e-01, -5.484245419502258e-01, -5.293504595756531e-01, -5.109436511993408e-01, -4.931843876838684e-01, -4.760530889034271e-01, -4.595303237438202e-01, -4.435970187187195e-01, -4.28234338760376e-01, -4.134237170219421e-01, -3.991469144821167e-01, -3.853861093521118e-01, -3.721237778663635e-01, -3.593427538871765e-01, -3.470262587070465e-01, -3.351579606533051e-01, -3.237218856811523e-01, -3.127024471759796e-01, -3.020845055580139e-01, -2.918533086776733e-01, -2.819945216178894e-01, -2.724942564964294e-01, -2.633389830589294e-01, -2.545156478881836e-01, -2.460115402936935e-01, -2.378143966197968e-01, -2.299123257398605e-01, -2.22293883562088e-01, -2.149479389190674e-01, -2.078638225793839e-01, -2.010311782360077e-01, -1.944400668144226e-01, -1.880808770656586e-01, -1.819443851709366e-01, -1.760216802358627e-01, -1.703042238950729e-01, -1.647837907075882e-01, -1.594524532556534e-01, -1.54302641749382e-01, -1.493270844221115e-01, -1.445187628269196e-01, -1.398709863424301e-01, -1.353773325681686e-01, -1.310316473245621e-01, -1.268280297517776e-01, -1.227608621120453e-01, -1.188247203826904e-01, -1.150144562125206e-01, -1.113251298666e-01, -1.077520251274109e-01, -1.042906418442726e-01, -1.009366735816002e-01, -9.768601506948471e-02, -9.45347473025322e-02, -9.147913008928299e-02, -8.851559460163116e-02, -8.564075082540512e-02, -8.2851342856884e-02, -8.014429360628128e-02, -7.751665264368057e-02, -7.496561855077744e-02, -7.248852401971817e-02, -7.008281350135803e-02, -6.774608045816422e-02, -6.547600030899048e-02, -6.327039003372192e-02, -6.112715229392052e-02, -5.904429778456688e-02, -5.70199266076088e-02, -5.505223944783211e-02, -5.313950777053833e-02, -5.128009617328644e-02, -4.947244748473167e-02, -4.771506413817406e-02, -4.600653424859047e-02, -4.434550553560257e-02, -4.273067787289619e-02, -4.116082563996315e-02, -3.963476791977882e-02, -3.815138339996338e-02, -3.670958802103996e-02, -3.53083573281765e-02, -3.394670039415359e-02, -3.262367472052574e-02, -3.133837133646011e-02, -3.008992224931717e-02, -2.887748740613461e-02, -2.770026028156281e-02, -2.655746415257454e-02, -2.544835396111012e-02, -2.437220513820648e-02, -2.332832105457783e-02, -2.231602184474468e-02, -2.133465744554996e-02, -2.038359083235264e-02, -1.946220360696316e-02, -1.856989599764347e-02, -1.770608313381672e-02, -1.687019690871239e-02, -1.606167666614056e-02, -1.52799803763628e-02, -1.452457439154387e-02, -1.379493437707424e-02, -1.309054810553789e-02, -1.241091173142195e-02, -1.175552792847157e-02, -1.112390868365765e-02, -1.051557064056396e-02, -9.930039756000042e-03, -9.366843849420547e-03, -8.825519122183323e-03, -8.305604569613934e-03, -7.806643377989531e-03, -7.328184321522713e-03, -6.869777105748653e-03, -6.430977024137974e-03, -6.011339835822582e-03, -5.61042595654726e-03, -5.227795802056789e-03, -4.863013979047537e-03, -4.515644628554583e-03, -4.185255616903305e-03, -3.871415043249726e-03, -3.573692170903087e-03, -3.291657660156488e-03, -3.024882869794965e-03, -2.772940322756767e-03, -2.535402774810791e-03, -2.311844145879149e-03, -2.101838355883956e-03, -1.904960023239255e-03, -1.7207843484357e-03, -1.548886531963944e-03, -1.388842123560607e-03, -1.240227138623595e-03, -1.10261735972017e-03, -9.755892679095268e-04, -8.587190532125533e-04, -7.515830802731216e-04, -6.537580047734082e-04, -5.648203077726066e-04, -4.843467322643846e-04, -4.119139339309186e-04, -3.470986266620457e-04, -2.894775534514338e-04, -2.386275155004114e-04, -1.941252703545615e-04, -1.55547633767128e-04, -1.224714069394395e-04, -9.44733910728246e-05, -7.113039464456961e-05, -5.201924795983359e-05, -3.671675949590281e-05, -2.479973409208469e-05, -1.584499659657013e-05, -9.429374586034101e-06, -5.129656983626774e-06, -2.522649310776615e-06, -1.185205519504962e-06, -6.941104970792367e-07, -6.261673206608975e-07, -5.582223820965737e-07, -6.707902144853506e-08, 1.270443931389309e-06, 3.877544259012211e-06, 8.177405106835067e-06, 1.459320264984854e-05, 2.354811840632465e-05, 3.546533116605133e-05, 5.07680160808377e-05, 6.987934466451406e-05, 9.322250116383657e-05, 1.212207062053494e-04, 1.542971876915544e-04, 1.928751007653773e-04, 2.373776223976165e-04, 2.882279513869435e-04, 3.4584931563586e-04, 4.106650012545288e-04, 4.830982361454517e-04, 5.635722191073e-04, 6.525103817693889e-04, 7.503361557610333e-04, 8.57472768984735e-04, 9.743437403813004e-04, 1.101372647099197e-03, 1.238983124494553e-03, 1.387598924338818e-03, 1.547644264064729e-03, 1.719543011859059e-03, 1.903719734400511e-03, 2.10059923119843e-03, 2.310606185346842e-03, 2.534166211262345e-03, 2.771705389022827e-03, 3.023649333044887e-03, 3.290426218882203e-03, 3.572462359443307e-03, 3.870187560096383e-03, 4.184030462056398e-03, 4.514421802014112e-03, 4.861793015152216e-03, 5.226577166467905e-03, 5.609209183603525e-03, 6.010125391185284e-03, 6.429764442145824e-03, 6.868567317724228e-03, 7.326976861804724e-03, 7.805438712239265e-03, 8.304402232170105e-03, 8.824319578707218e-03, 9.365648031234741e-03, 9.92884673178196e-03, 1.051438134163618e-02, 1.112272217869759e-02, 1.175434608012438e-02, 1.240973360836506e-02, 1.308937463909388e-02, 1.379376463592052e-02, 1.452340837568045e-02, 1.527881994843483e-02, 1.606052182614803e-02, 1.686904579401016e-02, 1.770493946969509e-02, 1.856875605881214e-02, 1.946106925606728e-02, 2.03824620693922e-02, 2.133353613317013e-02, 2.231490798294544e-02, 2.332721464335918e-02, 2.437110617756844e-02, 2.544726245105267e-02, 2.655638009309769e-02, 2.76991818100214e-02, 2.887641452252865e-02, 3.008885681629181e-02, 3.133731335401535e-02, 3.262262418866158e-02, 3.394565358757973e-02, 3.530731797218323e-02, 3.670855611562729e-02, 3.81503589451313e-02, 3.963375836610794e-02, 4.115982353687286e-02, 4.27296869456768e-02, 4.434452205896378e-02, 4.600556194782257e-02, 4.771409928798676e-02, 4.947148635983467e-02, 5.127914622426033e-02, 5.313856154680252e-02, 5.50513006746769e-02, 5.701899901032448e-02, 5.904337763786316e-02, 6.112623959779739e-02, 6.32694885134697e-02, 6.547510623931885e-02, 6.774519383907318e-02, 7.00819343328476e-02, 7.248765230178833e-02, 7.496476173400879e-02, 7.751580327749252e-02, 8.014344424009323e-02, 8.285050839185715e-02, 8.563991636037827e-02, 8.85147750377655e-02, 9.147831052541733e-02, 9.453393518924713e-02, 9.768521040678024e-02, 1.009358763694763e-01, 1.042898520827293e-01, 1.077512428164482e-01, 1.11324355006218e-01, 1.150136888027191e-01, 1.188239604234695e-01, 1.227601021528244e-01, 1.26827284693718e-01, 1.310309022665024e-01, 1.353765875101089e-01, 1.398702561855316e-01, 1.445180326700211e-01, 1.49326354265213e-01, 1.543019413948059e-01, 1.594517529010773e-01, 1.647830903530121e-01, 1.70303538441658e-01, 1.760209947824478e-01, 1.819436997175217e-01, 1.880801916122437e-01, 1.944393813610077e-01, 2.01030507683754e-01, 2.078631520271301e-01, 2.149472683668137e-01, 2.222932130098343e-01, 2.29911670088768e-01, 2.378137409687042e-01, 2.46010884642601e-01, 2.545149922370911e-01, 2.633383572101593e-01, 2.724936008453369e-01, 2.819938659667969e-01, 2.918526530265808e-01, 3.020838499069214e-01, 3.127017915248871e-01, 3.237212300300598e-01, 3.351573348045349e-01, 3.47025603055954e-01, 3.59342098236084e-01, 3.72123122215271e-01, 3.853854537010193e-01, 3.991462588310242e-01, 4.134230315685272e-01, 4.282336533069611e-01, 4.43596363067627e-01, 4.595296680927277e-01, 4.760524034500122e-01, 4.931837320327759e-01, 5.109429955482483e-01, 5.293498039245605e-01, 5.484238862991333e-01, 5.681852102279663e-01, 5.886538624763489e-01, 6.098498702049255e-01, 6.317933201789856e-01, 6.545042991638184e-01, 6.780027151107788e-01, 7.023083567619324e-01, 7.274407744407654e-01, 7.534191012382507e-01, 7.802621722221375e-01, 8.079881072044373e-01, 8.366146683692932e-01, 8.661587238311768e-01, 8.966363668441772e-01, 9.280626773834229e-01, 9.604516625404358e-01, 9.93816077709198e-01, 1.028167128562927e+00, 1.063514828681946e+00, 1.099870920181274e+00, 1.137256860733032e+00, 1.175695896148682e+00, 1.215211510658264e+00, 1.255827903747559e+00, 1.297569155693054e+00, 1.340460300445557e+00, 1.384526491165161e+00, 1.429793238639832e+00, 1.476286649703979e+00, 1.524033188819885e+00, 1.573059797286987e+00, 1.623393535614014e+00, 1.675062417984009e+00, 1.728094577789307e+00, 1.78251838684082e+00, 1.838363289833069e+00, 1.895658493041992e+00, 1.954434156417847e+00, 2.014720678329468e+00, 2.07654881477356e+00, 2.139950275421143e+00, 2.204956531524658e+00, 2.271600484848022e+00, 2.339914321899414e+00, 2.409931659698486e+00, 2.481686353683472e+00, 2.555212736129761e+00, 2.630545616149902e+00, 2.707720041275024e+00, 2.78677225112915e+00, 2.867738485336304e+00, 2.950655460357666e+00, 3.035560846328735e+00, 3.12249231338501e+00, 3.211488723754883e+00, 3.302588939666748e+00, 3.395832777023315e+00, 3.491259813308716e+00, 3.588911533355713e+00, 3.688828468322754e+00, 3.791053056716919e+00, 3.895627498626709e+00, 4.002594947814941e+00, 4.111998558044434e+00, 4.223883152008057e+00, 4.338293075561523e+00, 4.455274105072021e+00, 4.574872016906738e+00, 4.69713306427002e+00, 4.822105407714844e+00, 4.949836254119873e+00, 5.080373764038086e+00, 5.213768005371094e+00, 5.350068092346191e+00, 5.489325046539307e+00, 5.631589412689209e+00, 5.776913166046143e+00, 5.925348281860352e+00, 6.076948165893555e+00, 6.231767177581787e+00, 6.389858722686768e+00, 6.551278591156006e+00, 6.716082096099854e+00, 6.884326457977295e+00, 7.056068420410156e+00, 7.23136568069458e+00, 7.410277366638184e+00, 7.592862606048584e+00, 7.779181480407715e+00, 7.969295024871826e+00, 8.163264274597168e+00] der(dp)=[2.448979568481445e+01, 2.400390243530273e+01, 2.352575302124023e+01, 2.305525207519531e+01, 2.259231185913086e+01, 2.21368350982666e+01, 2.168873596191406e+01, 2.124792289733887e+01, 2.081430625915527e+01, 2.038779830932617e+01, 1.996831130981445e+01, 1.955575752258301e+01, 1.915004920959473e+01, 1.87511043548584e+01, 1.835883522033691e+01, 1.797315979003906e+01, 1.759399223327637e+01, 1.722125244140625e+01, 1.685485649108887e+01, 1.649472236633301e+01, 1.614077186584473e+01, 1.579292392730713e+01, 1.545109844207764e+01, 1.511521816253662e+01, 1.478520393371582e+01, 1.446097946166992e+01, 1.414246845245361e+01, 1.382959461212158e+01, 1.352228260040283e+01, 1.322045803070068e+01, 1.292404651641846e+01, 1.263297653198242e+01, 1.234717464447021e+01, 1.206656837463379e+01, 1.179108810424805e+01, 1.152066135406494e+01, 1.125522041320801e+01, 1.099469375610352e+01, 1.073901462554932e+01, 1.048811435699463e+01, 1.024192523956299e+01, 1.000038146972656e+01, 9.763416290283203e+00, 9.530964851379395e+00, 9.302961349487305e+00, 9.079342842102051e+00, 8.860045433044434e+00, 8.64500617980957e+00, 8.434162139892578e+00, 8.227453231811523e+00, 8.024816513061523e+00, 7.826191902160645e+00, 7.63152027130127e+00, 7.440742015838623e+00, 7.253798484802246e+00, 7.07063102722168e+00, 6.891182899475098e+00, 6.715396404266357e+00, 6.543216228485107e+00, 6.374585628509521e+00, 6.209449768066406e+00, 6.047754287719727e+00, 5.889444828033447e+00, 5.734468460083008e+00, 5.582771301269531e+00, 5.434301853179932e+00, 5.289008140563965e+00, 5.146838665008545e+00, 5.007743358612061e+00, 4.871671676635742e+00, 4.738574028015137e+00, 4.608401298522949e+00, 4.481105327606201e+00, 4.355987071990967e+00, 4.232002258300781e+00, 4.109336853027344e+00, 3.988178968429565e+00, 3.86869478225708e+00, 3.751032114028931e+00, 3.635320901870728e+00, 3.521673917770386e+00, 3.410189390182495e+00, 3.300950288772583e+00, 3.194026947021484e+00, 3.089477300643921e+00, 2.987348079681396e+00, 2.887675523757935e+00, 2.790486097335815e+00, 2.695797681808472e+00, 2.603620052337646e+00, 2.51395583152771e+00, 2.42680025100708e+00, 2.342143297195435e+00, 2.259968757629395e+00, 2.180255651473999e+00, 2.102978706359863e+00, 2.028107881546021e+00, 1.955610513687134e+00, 1.885450005531311e+00, 1.81758713722229e+00, 1.751980423927307e+00, 1.688585877418518e+00, 1.627357959747314e+00, 1.568249464035034e+00, 1.51121187210083e+00, 1.456195831298828e+00, 1.403150677680969e+00, 1.352025628089905e+00, 1.302769184112549e+00, 1.255329608917236e+00, 1.209655165672302e+00, 1.165694236755371e+00, 1.123394966125488e+00, 1.082706332206726e+00, 1.043577432632446e+00, 1.005957722663879e+00, 9.697974920272827e-01, 9.350477457046509e-01, 9.016600251197815e-01, 8.695867657661438e-01, 8.387812972068787e-01, 8.091977834701538e-01, 7.807914018630981e-01, 7.53518283367157e-01, 7.27335512638092e-01, 7.022013068199158e-01, 6.780748963356018e-01, 6.549166440963745e-01, 6.326878070831299e-01, 6.113510131835938e-01, 5.908697247505188e-01, 5.71208655834198e-01, 5.523335337638855e-01, 5.342112183570862e-01, 5.168096423149109e-01, 5.000978112220764e-01, 4.840457141399384e-01, 4.686245024204254e-01, 4.538063108921051e-01, 4.395642280578613e-01, 4.258724451065063e-01, 4.127060770988464e-01, 4.000411927700043e-01, 3.878547847270966e-01, 3.761248290538788e-01, 3.648301362991333e-01, 3.539503812789917e-01, 3.43466192483902e-01, 3.333588838577271e-01, 3.236106932163239e-01, 3.142045736312866e-01, 3.051242828369141e-01, 2.963542640209198e-01, 2.878797352313995e-01, 2.796865403652191e-01, 2.717612385749817e-01, 2.640910148620605e-01, 2.566636800765991e-01, 2.494676858186722e-01, 2.424919754266739e-01, 2.357261329889297e-01, 2.291602194309235e-01, 2.227848619222641e-01, 2.165911495685577e-01, 2.105706632137299e-01, 2.047154158353806e-01, 1.990178972482681e-01, 1.934709846973419e-01, 1.880679875612259e-01, 1.828025579452515e-01, 1.776687353849411e-01, 1.726609170436859e-01, 1.677738279104233e-01, 1.630025058984756e-01, 1.583423018455505e-01, 1.53788834810257e-01, 1.49338036775589e-01, 1.449860483407974e-01, 1.407293081283569e-01, 1.365644484758377e-01, 1.324883550405502e-01, 1.284981071949005e-01, 1.245910003781319e-01, 1.207644864916801e-01, 1.170162335038185e-01, 1.133440434932709e-01, 1.097459122538567e-01, 1.062199473381042e-01, 1.027644202113152e-01, 9.937772899866104e-02, 9.605839103460312e-02, 9.280505776405334e-02, 8.961645513772964e-02, 8.649144321680069e-02, 8.342895656824112e-02, 8.042802661657333e-02, 7.74877741932869e-02, 7.460738718509674e-02, 7.178612053394318e-02, 6.902331113815308e-02, 6.63183405995369e-02, 6.367065757513046e-02, 6.107976660132408e-02, 5.854520946741104e-02, 5.606658011674881e-02, 5.364351347088814e-02, 5.127567797899246e-02, 4.89627830684185e-02, 4.670456051826477e-02, 4.450078308582306e-02, 4.235123470425606e-02, 4.025574028491974e-02, 3.821413218975067e-02, 3.622626885771751e-02, 3.429202735424042e-02, 3.241129592061043e-02, 3.058397769927979e-02, 2.880999259650707e-02, 2.708926983177662e-02, 2.54217479377985e-02, 2.380737289786339e-02, 2.22461000084877e-02, 2.073789574205875e-02, 1.928272284567356e-02, 1.788055710494518e-02, 1.653137803077698e-02, 1.523516420274973e-02, 1.399190258234739e-02, 1.28015810623765e-02, 1.166418939828873e-02, 1.057972013950348e-02, 9.548166766762733e-03, 8.569524623453617e-03, 7.643789984285831e-03, 6.77096052095294e-03, 5.951033439487219e-03, 5.184007342904806e-03, 4.469881765544415e-03, 3.808655310422182e-03, 3.200327511876822e-03, 2.644898369908333e-03, 2.142367651686072e-03, 1.692734775133431e-03, 1.295999973081052e-03, 9.521632455289364e-04, 6.612244760617614e-04, 4.231836646795273e-04, 2.380408113822341e-04, 1.057959161698818e-04, 2.644897904247046e-05, 0e+00, 2.644897904247046e-05, 1.057959161698818e-04, 2.380408113822341e-04, 4.231836646795273e-04, 6.612244760617614e-04, 9.521632455289364e-04, 1.295999973081052e-03, 1.692734775133431e-03, 2.142367651686072e-03, 2.644898369908333e-03, 3.200327511876822e-03, 3.808655310422182e-03, 4.469881765544415e-03, 5.184007342904806e-03, 5.951033439487219e-03, 6.77096052095294e-03, 7.643789984285831e-03, 8.569524623453617e-03, 9.548166766762733e-03, 1.057972013950348e-02, 1.166418939828873e-02, 1.28015810623765e-02, 1.399190258234739e-02, 1.523516420274973e-02, 1.653137803077698e-02, 1.788055710494518e-02, 1.928272284567356e-02, 2.073789574205875e-02, 2.22461000084877e-02, 2.380737289786339e-02, 2.54217479377985e-02, 2.708926983177662e-02, 2.880999259650707e-02, 3.058397769927979e-02, 3.241129592061043e-02, 3.429202735424042e-02, 3.622626885771751e-02, 3.821413218975067e-02, 4.025574028491974e-02, 4.235123470425606e-02, 4.450078308582306e-02, 4.670456051826477e-02, 4.89627830684185e-02, 5.127567797899246e-02, 5.364351347088814e-02, 5.606658011674881e-02, 5.854520946741104e-02, 6.107976660132408e-02, 6.367065757513046e-02, 6.63183405995369e-02, 6.902331113815308e-02, 7.178612053394318e-02, 7.460738718509674e-02, 7.74877741932869e-02, 8.042802661657333e-02, 8.342895656824112e-02, 8.649144321680069e-02, 8.961645513772964e-02, 9.280505776405334e-02, 9.605839103460312e-02, 9.937772899866104e-02, 1.027644202113152e-01, 1.062199473381042e-01, 1.097459122538567e-01, 1.133440434932709e-01, 1.170162335038185e-01, 1.207644864916801e-01, 1.245910003781319e-01, 1.284981071949005e-01, 1.324883550405502e-01, 1.365644484758377e-01, 1.407293081283569e-01, 1.449860483407974e-01, 1.49338036775589e-01, 1.53788834810257e-01, 1.583423018455505e-01, 1.630025058984756e-01, 1.677738279104233e-01, 1.726609170436859e-01, 1.776687353849411e-01, 1.828025579452515e-01, 1.880679875612259e-01, 1.934709846973419e-01, 1.990178972482681e-01, 2.047154158353806e-01, 2.105706632137299e-01, 2.165911495685577e-01, 2.227848619222641e-01, 2.291602194309235e-01, 2.357261329889297e-01, 2.424919754266739e-01, 2.494676858186722e-01, 2.566636800765991e-01, 2.640910148620605e-01, 2.717612385749817e-01, 2.796865403652191e-01, 2.878797352313995e-01, 2.963542640209198e-01, 3.051242828369141e-01, 3.142045736312866e-01, 3.236106932163239e-01, 3.333588838577271e-01, 3.43466192483902e-01, 3.539503812789917e-01, 3.648301362991333e-01, 3.761248290538788e-01, 3.878547847270966e-01, 4.000411927700043e-01, 4.127060770988464e-01, 4.258724451065063e-01, 4.395642280578613e-01, 4.538063108921051e-01, 4.686245024204254e-01, 4.840457141399384e-01, 5.000978112220764e-01, 5.168096423149109e-01, 5.342112183570862e-01, 5.523335337638855e-01, 5.71208655834198e-01, 5.908697247505188e-01, 6.113510131835938e-01, 6.326878070831299e-01, 6.549166440963745e-01, 6.780748963356018e-01, 7.022013068199158e-01, 7.27335512638092e-01, 7.53518283367157e-01, 7.807914018630981e-01, 8.091977834701538e-01, 8.387812972068787e-01, 8.695867657661438e-01, 9.016600251197815e-01, 9.350477457046509e-01, 9.697974920272827e-01, 1.005957722663879e+00, 1.043577432632446e+00, 1.082706332206726e+00, 1.123394966125488e+00, 1.165694236755371e+00, 1.209655165672302e+00, 1.255329608917236e+00, 1.302769184112549e+00, 1.352025628089905e+00, 1.403150677680969e+00, 1.456195831298828e+00, 1.51121187210083e+00, 1.568249464035034e+00, 1.627357959747314e+00, 1.688585877418518e+00, 1.751980423927307e+00, 1.81758713722229e+00, 1.885450005531311e+00, 1.955610513687134e+00, 2.028107881546021e+00, 2.102978706359863e+00, 2.180255651473999e+00, 2.259968757629395e+00, 2.342143297195435e+00, 2.42680025100708e+00, 2.51395583152771e+00, 2.603620052337646e+00, 2.695797681808472e+00, 2.790486097335815e+00, 2.887675523757935e+00, 2.987348079681396e+00, 3.089477300643921e+00, 3.194026947021484e+00, 3.300950288772583e+00, 3.410189390182495e+00, 3.521673917770386e+00, 3.635320901870728e+00, 3.751032114028931e+00, 3.86869478225708e+00, 3.988178968429565e+00, 4.109336853027344e+00, 4.232002258300781e+00, 4.355987071990967e+00, 4.481105327606201e+00, 4.608401298522949e+00, 4.738574028015137e+00, 4.871671676635742e+00, 5.007743358612061e+00, 5.146838665008545e+00, 5.289008140563965e+00, 5.434301853179932e+00, 5.582771301269531e+00, 5.734468460083008e+00, 5.889444828033447e+00, 6.047754287719727e+00, 6.209449768066406e+00, 6.374585628509521e+00, 6.543216228485107e+00, 6.715396404266357e+00, 6.891182899475098e+00, 7.07063102722168e+00, 7.253798484802246e+00, 7.440742015838623e+00, 7.63152027130127e+00, 7.826191902160645e+00, 8.024816513061523e+00, 8.227453231811523e+00, 8.434162139892578e+00, 8.64500617980957e+00, 8.860045433044434e+00, 9.079342842102051e+00, 9.302961349487305e+00, 9.530964851379395e+00, 9.763416290283203e+00, 1.000038146972656e+01, 1.024192523956299e+01, 1.048811435699463e+01, 1.073901462554932e+01, 1.099469375610352e+01, 1.125522041320801e+01, 1.152066135406494e+01, 1.179108810424805e+01, 1.206656837463379e+01, 1.234717464447021e+01, 1.263297653198242e+01, 1.292404651641846e+01, 1.322045803070068e+01, 1.352228260040283e+01, 1.382959461212158e+01, 1.414246845245361e+01, 1.446097946166992e+01, 1.478520393371582e+01, 1.511521816253662e+01, 1.545109844207764e+01, 1.579292392730713e+01, 1.614077186584473e+01, 1.649472236633301e+01, 1.685485649108887e+01, 1.722125244140625e+01, 1.759399223327637e+01, 1.797315979003906e+01, 1.835883522033691e+01, 1.87511043548584e+01, 1.915004920959473e+01, 1.955575752258301e+01, 1.996831130981445e+01, 2.038779830932617e+01, 2.081430625915527e+01, 2.124792289733887e+01, 2.168873596191406e+01, 2.21368350982666e+01, 2.259231185913086e+01, 2.305525207519531e+01, 2.352575302124023e+01, 2.400390243530273e+01, 2.448979568481445e+01] der(dp_comp)=[2.448979568481445e+01, 2.400390243530273e+01, 2.352575302124023e+01, 2.305525207519531e+01, 2.259230995178223e+01, 2.21368350982666e+01, 2.168873596191406e+01, 2.124792289733887e+01, 2.081430625915527e+01, 2.038779830932617e+01, 1.996831130981445e+01, 1.955575561523438e+01, 1.915004920959473e+01, 1.87511043548584e+01, 1.835883522033691e+01, 1.797315979003906e+01, 1.759399223327637e+01, 1.722125244140625e+01, 1.685485458374023e+01, 1.649472236633301e+01, 1.614077186584473e+01, 1.579292297363281e+01, 1.545109748840332e+01, 1.51152172088623e+01, 1.47852029800415e+01, 1.446097850799561e+01, 1.41424674987793e+01, 1.382959365844727e+01, 1.352228164672852e+01, 1.322045707702637e+01, 1.292404651641846e+01, 1.263297653198242e+01, 1.23471736907959e+01, 1.206656837463379e+01, 1.179108715057373e+01, 1.152066135406494e+01, 1.125521945953369e+01, 1.099469375610352e+01, 1.0739013671875e+01, 1.048811340332031e+01, 1.024192428588867e+01, 1.000038051605225e+01, 9.763415336608887e+00, 9.530963897705078e+00, 9.302961349487305e+00, 9.079342842102051e+00, 8.860045433044434e+00, 8.64500617980957e+00, 8.434162139892578e+00, 8.227452278137207e+00, 8.024815559387207e+00, 7.826191425323486e+00, 7.631519794464111e+00, 7.440741539001465e+00, 7.253798007965088e+00, 7.070630550384521e+00, 6.891182422637939e+00, 6.715395927429199e+00, 6.543215751647949e+00, 6.374585151672363e+00, 6.209449291229248e+00, 6.047753810882568e+00, 5.889444351196289e+00, 5.73446798324585e+00, 5.582770824432373e+00, 5.434301376342773e+00, 5.289007663726807e+00, 5.146838188171387e+00, 5.007742881774902e+00, 4.871671199798584e+00, 4.738573551177979e+00, 4.608400821685791e+00, 4.481104850769043e+00, 4.355986595153809e+00, 4.232001781463623e+00, 4.109336376190186e+00, 3.988178253173828e+00, 3.868694067001343e+00, 3.751031637191772e+00, 3.63532018661499e+00, 3.521673440933228e+00, 3.410188913345337e+00, 3.300949811935425e+00, 3.194026708602905e+00, 3.089477062225342e+00, 2.987347841262817e+00, 2.887675046920776e+00, 2.790485620498657e+00, 2.695797204971313e+00, 2.603619813919067e+00, 2.513955354690552e+00, 2.426800012588501e+00, 2.342143058776855e+00, 2.259968519210815e+00, 2.18025541305542e+00, 2.102978229522705e+00, 2.028107643127441e+00, 1.955610156059265e+00, 1.885449647903442e+00, 1.817586779594421e+00, 1.751980066299438e+00, 1.688585519790649e+00, 1.627357602119446e+00, 1.568249106407166e+00, 1.511211514472961e+00, 1.45619535446167e+00, 1.403150320053101e+00, 1.352025151252747e+00, 1.302768707275391e+00, 1.255329251289368e+00, 1.209654808044434e+00, 1.165693759918213e+00, 1.12339460849762e+00, 1.082705974578857e+00, 1.043576955795288e+00, 1.005957245826721e+00, 9.697971343994141e-01, 9.350473284721375e-01, 9.016596078872681e-01, 8.695863485336304e-01, 8.387808799743652e-01, 8.091973662376404e-01, 7.807909846305847e-01, 7.535178065299988e-01, 7.273350358009338e-01, 7.022008895874023e-01, 6.780744791030884e-01, 6.549161672592163e-01, 6.326873898506165e-01, 6.113505363464355e-01, 5.908692479133606e-01, 5.712081789970398e-01, 5.523330569267273e-01, 5.34210741519928e-01, 5.168091654777527e-01, 5.000973343849182e-01, 4.840452373027802e-01, 4.686240255832672e-01, 4.538058042526245e-01, 4.395637512207031e-01, 4.258719682693481e-01, 4.127056002616882e-01, 4.000406861305237e-01, 3.878543078899384e-01, 3.761243224143982e-01, 3.648296296596527e-01, 3.539499044418335e-01, 3.434656858444214e-01, 3.333584070205688e-01, 3.236101865768433e-01, 3.142040967941284e-01, 3.051237761974335e-01, 2.963537573814392e-01, 2.878792285919189e-01, 2.796860337257385e-01, 2.717607319355011e-01, 2.6409050822258e-01, 2.566632032394409e-01, 2.494671791791916e-01, 2.424914836883545e-01, 2.357256412506104e-01, 2.291597276926041e-01, 2.227843701839447e-01, 2.165906578302383e-01, 2.105701714754105e-01, 2.047149389982224e-01, 1.990174204111099e-01, 1.934705227613449e-01, 1.880675107240677e-01, 1.828020811080933e-01, 1.776682734489441e-01, 1.726604551076889e-01, 1.677733659744263e-01, 1.630020588636398e-01, 1.583418548107147e-01, 1.537883877754211e-01, 1.493375897407532e-01, 1.449856162071228e-01, 1.407288610935211e-01, 1.365640163421631e-01, 1.324879229068756e-01, 1.284976899623871e-01, 1.245905756950378e-01, 1.207640692591667e-01, 1.170158162713051e-01, 1.13343633711338e-01, 1.097455024719238e-01, 1.062195375561714e-01, 1.027640178799629e-01, 9.937732666730881e-02, 9.605799615383148e-02, 9.280466288328171e-02, 8.96160677075386e-02, 8.649105578660965e-02, 8.342856913805008e-02, 8.042764663696289e-02, 7.748740166425705e-02, 7.46070072054863e-02, 7.178574800491333e-02, 6.902293860912323e-02, 6.631796807050705e-02, 6.367029249668121e-02, 6.107940152287483e-02, 5.854484811425209e-02, 5.606621876358986e-02, 5.364315584301949e-02, 5.127532035112381e-02, 4.896242544054985e-02, 4.670420661568642e-02, 4.450042918324471e-02, 4.2350884526968e-02, 4.025539010763168e-02, 3.821378573775291e-02, 3.622592240571976e-02, 3.429168090224266e-02, 3.241094946861267e-02, 3.058363310992718e-02, 2.880964986979961e-02, 2.708892896771431e-02, 2.542140707373619e-02, 2.380703389644623e-02, 2.224576286971569e-02, 2.073755674064159e-02, 1.928238570690155e-02, 1.788022182881832e-02, 1.653104275465012e-02, 1.523482985794544e-02, 1.399156916886568e-02, 1.280124764889479e-02, 1.166385691612959e-02, 1.057938765734434e-02, 9.547834284603596e-03, 8.569193072617054e-03, 7.643458899110556e-03, 6.770629435777664e-03, 5.950702354311943e-03, 5.183676723390818e-03, 4.469551611691713e-03, 3.808325156569481e-03, 3.199997823685408e-03, 2.644568914547563e-03, 2.142038196325302e-03, 1.692406134679914e-03, 1.295671914704144e-03, 9.5183594385162e-04, 6.608985713683069e-04, 4.228589532431215e-04, 2.377168857492507e-04, 1.054734675562941e-04, 2.612775642774068e-05, -3.206681924439181e-07, 2.612912066979334e-05, 1.05476618045941e-04, 2.377217751927674e-04, 4.22864977736026e-04, 6.609063129872084e-04, 9.518456063233316e-04, 1.295682974159718e-03, 1.692418358288705e-03, 2.142051933333278e-03, 2.644583350047469e-03, 3.200012957677245e-03, 3.80834168754518e-03, 4.469570703804493e-03, 5.183699540793896e-03, 5.950728431344032e-03, 6.77065784111619e-03, 7.643489167094231e-03, 8.569227531552315e-03, 9.54787340015173e-03, 1.057943049818277e-02, 1.166390255093575e-02, 1.280130166560411e-02, 1.399162970483303e-02, 1.523489598184824e-02, 1.653111353516579e-02, 1.788029819726944e-02, 1.928246580064297e-02, 2.073764242231846e-02, 2.22458504140377e-02, 2.380712702870369e-02, 2.542150765657425e-02, 2.708903327584267e-02, 2.880976535379887e-02, 3.058375604450703e-02, 3.241107985377312e-02, 3.42918261885643e-02, 3.622607514262199e-02, 3.821394965052605e-02, 4.025557264685631e-02, 4.235107451677322e-02, 4.450062289834023e-02, 4.670440778136253e-02, 4.896263033151627e-02, 5.127553269267082e-02, 5.36433681845665e-02, 5.606644228100777e-02, 5.85450753569603e-02, 6.107963994145393e-02, 6.367053836584091e-02, 6.631822139024734e-02, 6.902319937944412e-02, 7.178601622581482e-02, 7.460729777812958e-02, 7.748769223690033e-02, 8.042795211076736e-02, 8.342888951301575e-02, 8.649138361215591e-02, 8.961641043424606e-02, 9.280501306056976e-02, 9.605836868286133e-02, 9.937771409749985e-02, 1.027644202113152e-01, 1.062199547886848e-01, 1.097459346055984e-01, 1.133440881967545e-01, 1.170162856578827e-01, 1.207645609974861e-01, 1.24591089785099e-01, 1.284982115030289e-01, 1.324884742498398e-01, 1.365645825862885e-01, 1.407294571399689e-01, 1.449861973524094e-01, 1.493381857872009e-01, 1.537889987230301e-01, 1.583424657583237e-01, 1.6300268471241e-01, 1.677740067243576e-01, 1.726611107587814e-01, 1.776689291000366e-01, 1.828027665615082e-01, 1.880682110786438e-01, 1.934712380170822e-01, 1.990181505680084e-01, 2.04715684056282e-01, 2.105709314346313e-01, 2.165914326906204e-01, 2.227851450443268e-01, 2.291605025529861e-01, 2.357264012098312e-01, 2.424922585487366e-01, 2.494679689407349e-01, 2.56663978099823e-01, 2.64091283082962e-01, 2.717615067958832e-01, 2.796868085861206e-01, 2.87880003452301e-01, 2.963545620441437e-01, 3.051245510578156e-01, 3.142048716545105e-01, 3.236109912395477e-01, 3.333591818809509e-01, 3.434664905071259e-01, 3.539506793022156e-01, 3.648304045200348e-01, 3.761251270771027e-01, 3.878550827503204e-01, 4.000414907932281e-01, 4.127063751220703e-01, 4.258727431297302e-01, 4.395645260810852e-01, 4.538065791130066e-01, 4.686247706413269e-01, 4.840459823608398e-01, 5.000980496406555e-01, 5.168099403381348e-01, 5.342115163803101e-01, 5.523337721824646e-01, 5.712088942527771e-01, 5.908699631690979e-01, 6.113512516021729e-01, 6.326881051063538e-01, 6.549168825149536e-01, 6.780751347541809e-01, 7.022015452384949e-01, 7.273356914520264e-01, 7.535184621810913e-01, 7.807915806770325e-01, 8.091979622840881e-01, 8.38781476020813e-01, 8.695869445800781e-01, 9.01660144329071e-01, 9.350478649139404e-01, 9.697976112365723e-01, 1.005957722663879e+00, 1.043577432632446e+00, 1.082706451416016e+00, 1.123395085334778e+00, 1.165694236755371e+00, 1.209655165672302e+00, 1.255329489707947e+00, 1.302769064903259e+00, 1.352025508880615e+00, 1.40315055847168e+00, 1.456195592880249e+00, 1.511211633682251e+00, 1.568249225616455e+00, 1.627357602119446e+00, 1.688585519790649e+00, 1.751980066299438e+00, 1.817586898803711e+00, 1.885449647903442e+00, 1.955610156059265e+00, 2.028107643127441e+00, 2.102978229522705e+00, 2.18025541305542e+00, 2.259968280792236e+00, 2.342142820358276e+00, 2.426799774169922e+00, 2.513955116271973e+00, 2.603619575500488e+00, 2.695796966552734e+00, 2.790485382080078e+00, 2.887674808502197e+00, 2.987347364425659e+00, 3.089476585388184e+00, 3.194026231765747e+00, 3.300949573516846e+00, 3.410188436508179e+00, 3.521673202514648e+00, 3.635319948196411e+00, 3.751031160354614e+00, 3.868693828582764e+00, 3.98817777633667e+00, 4.109335899353027e+00, 4.232000827789307e+00, 4.355985641479492e+00, 4.481103897094727e+00, 4.608399868011475e+00, 4.738572597503662e+00, 4.871670246124268e+00, 5.007741928100586e+00, 5.146837711334229e+00, 5.289007186889648e+00, 5.434300899505615e+00, 5.582770347595215e+00, 5.734467029571533e+00, 5.889443874359131e+00, 6.04775333404541e+00, 6.20944881439209e+00, 6.374584197998047e+00, 6.543214797973633e+00, 6.715395450592041e+00, 6.891181468963623e+00, 7.070630073547363e+00, 7.253797054290771e+00, 7.440741062164307e+00, 7.631519317626953e+00, 7.826190948486328e+00, 8.024815559387207e+00, 8.227452278137207e+00, 8.434161186218262e+00, 8.645005226135254e+00, 8.860044479370117e+00, 9.079341888427734e+00, 9.302960395812988e+00, 9.530963897705078e+00, 9.763415336608887e+00, 1.000038051605225e+01, 1.024192428588867e+01, 1.048811340332031e+01, 1.0739013671875e+01, 1.09946928024292e+01, 1.125521945953369e+01, 1.152066040039062e+01, 1.179108715057373e+01, 1.206656742095947e+01, 1.23471736907959e+01, 1.263297557830811e+01, 1.292404556274414e+01, 1.322045707702637e+01, 1.352228164672852e+01, 1.382959365844727e+01, 1.41424674987793e+01, 1.446097850799561e+01, 1.47852029800415e+01, 1.51152172088623e+01, 1.545109748840332e+01, 1.579292297363281e+01, 1.614077186584473e+01, 1.649472236633301e+01, 1.685485458374023e+01, 1.722125053405762e+01, 1.759399223327637e+01, 1.797315788269043e+01, 1.835883522033691e+01, 1.87511043548584e+01, 1.915004920959473e+01, 1.955575561523438e+01, 1.996830940246582e+01, 2.038779830932617e+01, 2.081430625915527e+01, 2.124792289733887e+01, 2.168873596191406e+01, 2.21368350982666e+01, 2.259230995178223e+01, 2.305525207519531e+01, 2.35257511138916e+01, 2.400390243530273e+01, 2.448979568481445e+01]