last-generated=2025-05-16
statistics-simulation=
{
  "linear": " ",
  "nonlinear": " ",
  "number of continuous time states": "2",
  "numerical Jacobians": "0"
}
time=[-1e+00, -9.959999918937683e-01, -9.919999837875366e-01, -9.879999756813049e-01, -9.84000027179718e-01, -9.800000190734863e-01, -9.760000109672546e-01, -9.720000028610229e-01, -9.679999947547913e-01, -9.639999866485596e-01, -9.599999785423279e-01, -9.559999704360962e-01, -9.520000219345093e-01, -9.480000138282776e-01, -9.440000057220459e-01, -9.399999976158142e-01, -9.359999895095825e-01, -9.319999814033508e-01, -9.279999732971191e-01, -9.240000247955322e-01, -9.200000166893005e-01, -9.160000085830688e-01, -9.120000004768372e-01, -9.079999923706055e-01, -9.039999842643738e-01, -8.999999761581421e-01, -8.960000276565552e-01, -8.920000195503235e-01, -8.880000114440918e-01, -8.840000033378601e-01, -8.799999952316284e-01, -8.759999871253967e-01, -8.71999979019165e-01, -8.679999709129333e-01, -8.640000224113464e-01, -8.600000143051147e-01, -8.560000061988831e-01, -8.519999980926514e-01, -8.479999899864197e-01, -8.43999981880188e-01, -8.399999737739563e-01, -8.360000252723694e-01, -8.320000171661377e-01, -8.28000009059906e-01, -8.240000009536743e-01, -8.199999928474426e-01, -8.159999847412109e-01, -8.119999766349792e-01, -8.080000281333923e-01, -8.040000200271606e-01, -8.00000011920929e-01, -7.960000038146973e-01, -7.919999957084656e-01, -7.879999876022339e-01, -7.839999794960022e-01, -7.799999713897705e-01, -7.760000228881836e-01, -7.720000147819519e-01, -7.680000066757202e-01, -7.639999985694885e-01, -7.599999904632568e-01, -7.559999823570251e-01, -7.519999742507935e-01, -7.480000257492065e-01, -7.440000176429749e-01, -7.400000095367432e-01, -7.360000014305115e-01, -7.319999933242798e-01, -7.279999852180481e-01, -7.239999771118164e-01, -7.200000286102295e-01, -7.160000205039978e-01, -7.120000123977661e-01, -7.080000042915344e-01, -7.039999961853027e-01, -6.99999988079071e-01, -6.959999799728394e-01, -6.919999718666077e-01, -6.880000233650208e-01, -6.840000152587891e-01, -6.800000071525574e-01, -6.759999990463257e-01, -6.71999990940094e-01, -6.679999828338623e-01, -6.639999747276306e-01, -6.600000262260437e-01, -6.56000018119812e-01, -6.520000100135803e-01, -6.480000019073486e-01, -6.439999938011169e-01, -6.399999856948853e-01, -6.359999775886536e-01, -6.320000290870667e-01, -6.28000020980835e-01, -6.240000128746033e-01, -6.200000047683716e-01, -6.159999966621399e-01, -6.119999885559082e-01, -6.079999804496765e-01, -6.039999723434448e-01, -6.000000238418579e-01, -5.960000157356262e-01, -5.920000076293945e-01, -5.879999995231628e-01, -5.839999914169312e-01, -5.799999833106995e-01, -5.759999752044678e-01, -5.720000267028809e-01, -5.680000185966492e-01, -5.640000104904175e-01, -5.600000023841858e-01, -5.559999942779541e-01, -5.519999861717224e-01, -5.479999780654907e-01, -5.440000295639038e-01, -5.400000214576721e-01, -5.360000133514404e-01, -5.320000052452087e-01, -5.279999971389771e-01, -5.239999890327454e-01, -5.199999809265137e-01, -5.15999972820282e-01, -5.120000243186951e-01, -5.080000162124634e-01, -5.040000081062317e-01, -5e-01, -4.959999918937683e-01, -4.92000013589859e-01, -4.880000054836273e-01, -4.839999973773956e-01, -4.799999892711639e-01, -4.760000109672546e-01, -4.720000028610229e-01, -4.679999947547913e-01, -4.639999866485596e-01, -4.600000083446503e-01, -4.560000002384186e-01, -4.519999921321869e-01, -4.480000138282776e-01, -4.440000057220459e-01, -4.399999976158142e-01, -4.359999895095825e-01, -4.320000112056732e-01, -4.280000030994415e-01, -4.239999949932098e-01, -4.199999868869781e-01, -4.160000085830688e-01, -4.120000004768372e-01, -4.079999923706055e-01, -4.040000140666962e-01, -4.000000059604645e-01, -3.959999978542328e-01, -3.919999897480011e-01, -3.880000114440918e-01, -3.840000033378601e-01, -3.799999952316284e-01, -3.759999871253967e-01, -3.720000088214874e-01, -3.680000007152557e-01, -3.63999992609024e-01, -3.600000143051147e-01, -3.560000061988831e-01, -3.519999980926514e-01, -3.479999899864197e-01, -3.440000116825104e-01, -3.400000035762787e-01, -3.35999995470047e-01, -3.319999873638153e-01, -3.28000009059906e-01, -3.240000009536743e-01, -3.199999928474426e-01, -3.160000145435333e-01, -3.120000064373016e-01, -3.079999983310699e-01, -3.039999902248383e-01, -3.00000011920929e-01, -2.960000038146973e-01, -2.919999957084656e-01, -2.879999876022339e-01, -2.840000092983246e-01, -2.800000011920929e-01, -2.759999930858612e-01, -2.720000147819519e-01, -2.680000066757202e-01, -2.639999985694885e-01, -2.599999904632568e-01, -2.560000121593475e-01, -2.520000040531158e-01, -2.479999959468842e-01, -2.440000027418137e-01, -2.39999994635582e-01, -2.360000014305115e-01, -2.319999933242798e-01, -2.280000001192093e-01, -2.240000069141388e-01, -2.199999988079071e-01, -2.160000056028366e-01, -2.119999974966049e-01, -2.080000042915344e-01, -2.039999961853027e-01, -2.000000029802322e-01, -1.959999948740005e-01, -1.920000016689301e-01, -1.879999935626984e-01, -1.840000003576279e-01, -1.800000071525574e-01, -1.759999990463257e-01, -1.720000058412552e-01, -1.679999977350235e-01, -1.64000004529953e-01, -1.599999964237213e-01, -1.560000032186508e-01, -1.519999951124191e-01, -1.480000019073486e-01, -1.439999938011169e-01, -1.400000005960464e-01, -1.36000007390976e-01, -1.319999992847443e-01, -1.280000060796738e-01, -1.239999979734421e-01, -1.19999997317791e-01, -1.159999966621399e-01, -1.120000034570694e-01, -1.080000028014183e-01, -1.040000021457672e-01, -1.000000014901161e-01, -9.600000083446503e-02, -9.200000017881393e-02, -8.799999952316284e-02, -8.399999886751175e-02, -7.999999821186066e-02, -7.599999755620956e-02, -7.199999690055847e-02, -6.800000369548798e-02, -6.400000303983688e-02, -5.999999865889549e-02, -5.60000017285347e-02, -5.200000107288361e-02, -4.800000041723251e-02, -4.399999976158142e-02, -3.999999910593033e-02, -3.599999845027924e-02, -3.200000151991844e-02, -2.800000086426735e-02, -2.400000020861626e-02, -1.999999955296516e-02, -1.600000075995922e-02, -1.200000010430813e-02, -8.00000037997961e-03, -4.000000189989805e-03, 0e+00, 4.000000189989805e-03, 8.00000037997961e-03, 1.200000010430813e-02, 1.600000075995922e-02, 1.999999955296516e-02, 2.400000020861626e-02, 2.800000086426735e-02, 3.200000151991844e-02, 3.599999845027924e-02, 3.999999910593033e-02, 4.399999976158142e-02, 4.800000041723251e-02, 5.200000107288361e-02, 5.60000017285347e-02, 5.999999865889549e-02, 6.400000303983688e-02, 6.800000369548798e-02, 7.199999690055847e-02, 7.599999755620956e-02, 7.999999821186066e-02, 8.399999886751175e-02, 8.799999952316284e-02, 9.200000017881393e-02, 9.600000083446503e-02, 1.000000014901161e-01, 1.040000021457672e-01, 1.080000028014183e-01, 1.120000034570694e-01, 1.159999966621399e-01, 1.19999997317791e-01, 1.239999979734421e-01, 1.280000060796738e-01, 1.319999992847443e-01, 1.36000007390976e-01, 1.400000005960464e-01, 1.439999938011169e-01, 1.480000019073486e-01, 1.519999951124191e-01, 1.560000032186508e-01, 1.599999964237213e-01, 1.64000004529953e-01, 1.679999977350235e-01, 1.720000058412552e-01, 1.759999990463257e-01, 1.800000071525574e-01, 1.840000003576279e-01, 1.879999935626984e-01, 1.920000016689301e-01, 1.959999948740005e-01, 2.000000029802322e-01, 2.039999961853027e-01, 2.080000042915344e-01, 2.119999974966049e-01, 2.160000056028366e-01, 2.199999988079071e-01, 2.240000069141388e-01, 2.280000001192093e-01, 2.319999933242798e-01, 2.360000014305115e-01, 2.39999994635582e-01, 2.440000027418137e-01, 2.479999959468842e-01, 2.520000040531158e-01, 2.560000121593475e-01, 2.599999904632568e-01, 2.639999985694885e-01, 2.680000066757202e-01, 2.720000147819519e-01, 2.759999930858612e-01, 2.800000011920929e-01, 2.840000092983246e-01, 2.879999876022339e-01, 2.919999957084656e-01, 2.960000038146973e-01, 3.00000011920929e-01, 3.039999902248383e-01, 3.079999983310699e-01, 3.120000064373016e-01, 3.160000145435333e-01, 3.199999928474426e-01, 3.240000009536743e-01, 3.28000009059906e-01, 3.319999873638153e-01, 3.35999995470047e-01, 3.400000035762787e-01, 3.440000116825104e-01, 3.479999899864197e-01, 3.519999980926514e-01, 3.560000061988831e-01, 3.600000143051147e-01, 3.63999992609024e-01, 3.680000007152557e-01, 3.720000088214874e-01, 3.759999871253967e-01, 3.799999952316284e-01, 3.840000033378601e-01, 3.880000114440918e-01, 3.919999897480011e-01, 3.959999978542328e-01, 4.000000059604645e-01, 4.040000140666962e-01, 4.079999923706055e-01, 4.120000004768372e-01, 4.160000085830688e-01, 4.199999868869781e-01, 4.239999949932098e-01, 4.280000030994415e-01, 4.320000112056732e-01, 4.359999895095825e-01, 4.399999976158142e-01, 4.440000057220459e-01, 4.480000138282776e-01, 4.519999921321869e-01, 4.560000002384186e-01, 4.600000083446503e-01, 4.639999866485596e-01, 4.679999947547913e-01, 4.720000028610229e-01, 4.760000109672546e-01, 4.799999892711639e-01, 4.839999973773956e-01, 4.880000054836273e-01, 4.92000013589859e-01, 4.959999918937683e-01, 5e-01, 5.040000081062317e-01, 5.080000162124634e-01, 5.120000243186951e-01, 5.15999972820282e-01, 5.199999809265137e-01, 5.239999890327454e-01, 5.279999971389771e-01, 5.320000052452087e-01, 5.360000133514404e-01, 5.400000214576721e-01, 5.440000295639038e-01, 5.479999780654907e-01, 5.519999861717224e-01, 5.559999942779541e-01, 5.600000023841858e-01, 5.640000104904175e-01, 5.680000185966492e-01, 5.720000267028809e-01, 5.759999752044678e-01, 5.799999833106995e-01, 5.839999914169312e-01, 5.879999995231628e-01, 5.920000076293945e-01, 5.960000157356262e-01, 6.000000238418579e-01, 6.039999723434448e-01, 6.079999804496765e-01, 6.119999885559082e-01, 6.159999966621399e-01, 6.200000047683716e-01, 6.240000128746033e-01, 6.28000020980835e-01, 6.320000290870667e-01, 6.359999775886536e-01, 6.399999856948853e-01, 6.439999938011169e-01, 6.480000019073486e-01, 6.520000100135803e-01, 6.56000018119812e-01, 6.600000262260437e-01, 6.639999747276306e-01, 6.679999828338623e-01, 6.71999990940094e-01, 6.759999990463257e-01, 6.800000071525574e-01, 6.840000152587891e-01, 6.880000233650208e-01, 6.919999718666077e-01, 6.959999799728394e-01, 6.99999988079071e-01, 7.039999961853027e-01, 7.080000042915344e-01, 7.120000123977661e-01, 7.160000205039978e-01, 7.200000286102295e-01, 7.239999771118164e-01, 7.279999852180481e-01, 7.319999933242798e-01, 7.360000014305115e-01, 7.400000095367432e-01, 7.440000176429749e-01, 7.480000257492065e-01, 7.519999742507935e-01, 7.559999823570251e-01, 7.599999904632568e-01, 7.639999985694885e-01, 7.680000066757202e-01, 7.720000147819519e-01, 7.760000228881836e-01, 7.799999713897705e-01, 7.839999794960022e-01, 7.879999876022339e-01, 7.919999957084656e-01, 7.960000038146973e-01, 8.00000011920929e-01, 8.040000200271606e-01, 8.080000281333923e-01, 8.119999766349792e-01, 8.159999847412109e-01, 8.199999928474426e-01, 8.240000009536743e-01, 8.28000009059906e-01, 8.320000171661377e-01, 8.360000252723694e-01, 8.399999737739563e-01, 8.43999981880188e-01, 8.479999899864197e-01, 8.519999980926514e-01, 8.560000061988831e-01, 8.600000143051147e-01, 8.640000224113464e-01, 8.679999709129333e-01, 8.71999979019165e-01, 8.759999871253967e-01, 8.799999952316284e-01, 8.840000033378601e-01, 8.880000114440918e-01, 8.920000195503235e-01, 8.960000276565552e-01, 8.999999761581421e-01, 9.039999842643738e-01, 9.079999923706055e-01, 9.120000004768372e-01, 9.160000085830688e-01, 9.200000166893005e-01, 9.240000247955322e-01, 9.279999732971191e-01, 9.319999814033508e-01, 9.359999895095825e-01, 9.399999976158142e-01, 9.440000057220459e-01, 9.480000138282776e-01, 9.520000219345093e-01, 9.559999704360962e-01, 9.599999785423279e-01, 9.639999866485596e-01, 9.679999947547913e-01, 9.720000028610229e-01, 9.760000109672546e-01, 9.800000190734863e-01, 9.84000027179718e-01, 9.879999756813049e-01, 9.919999837875366e-01, 9.959999918937683e-01, 1e+00]
x=[-4e+00, -3.952191829681396e+00, -3.904765844345093e+00, -3.857721090316772e+00, -3.811055660247803e+00, -3.76476788520813e+00, -3.718856811523438e+00, -3.673320293426514e+00, -3.628156900405884e+00, -3.583365440368652e+00, -3.538944005966187e+00, -3.494891166687012e+00, -3.451205730438232e+00, -3.407885551452637e+00, -3.364929437637329e+00, -3.322335958480835e+00, -3.280103445053101e+00, -3.238230228424072e+00, -3.196715116500854e+00, -3.155556201934814e+00, -3.114752054214478e+00, -3.074301242828369e+00, -3.034202098846436e+00, -2.994453191757202e+00, -2.955053091049194e+00, -2.915999889373779e+00, -2.877292633056641e+00, -2.838929176330566e+00, -2.800908327102661e+00, -2.763228416442871e+00, -2.725888013839722e+00, -2.688885450363159e+00, -2.652219295501709e+00, -2.615888118743896e+00, -2.579890251159668e+00, -2.54422402381897e+00, -2.508888006210327e+00, -2.473880767822266e+00, -2.439200878143311e+00, -2.404846429824829e+00, -2.370815992355347e+00, -2.337108135223389e+00, -2.30372142791748e+00, -2.270654201507568e+00, -2.237904787063599e+00, -2.205471992492676e+00, -2.173353910446167e+00, -2.141549348831177e+00, -2.110056400299072e+00, -2.078873872756958e+00, -2.04800009727478e+00, -2.017433404922485e+00, -1.987172365188599e+00, -1.957215547561646e+00, -1.927561163902283e+00, -1.898208022117615e+00, -1.869154334068298e+00, -1.840398550033569e+00, -1.811939358711243e+00, -1.783774971961975e+00, -1.755903959274292e+00, -1.728324890136719e+00, -1.701035976409912e+00, -1.674036026000977e+00, -1.647323131561279e+00, -1.620895981788635e+00, -1.59475302696228e+00, -1.56889271736145e+00, -1.543313384056091e+00, -1.518013715744019e+00, -1.492992043495178e+00, -1.468246817588806e+00, -1.443776488304138e+00, -1.4195796251297e+00, -1.395654678344727e+00, -1.371999979019165e+00, -1.348614096641541e+00, -1.325495600700378e+00, -1.302642703056335e+00, -1.280053973197937e+00, -1.257727980613708e+00, -1.235663056373596e+00, -1.213857769966125e+00, -1.192310571670532e+00, -1.171019792556763e+00, -1.149984002113342e+00, -1.129201650619507e+00, -1.108671188354492e+00, -1.088391184806824e+00, -1.068359971046448e+00, -1.0485759973526e+00, -1.029037833213806e+00, -1.009743928909302e+00, -9.906926155090332e-01, -9.718825221061707e-01, -9.533119797706604e-01, -9.349795579910278e-01, -9.168837070465088e-01, -8.990228772163391e-01, -8.813954591751099e-01, -8.640000224113464e-01, -8.468349575996399e-01, -8.298987746238708e-01, -8.131898641586304e-01, -7.967067956924438e-01, -7.804480195045471e-01, -7.644119262695312e-01, -7.485969662666321e-01, -7.33001708984375e-01, -7.176246047019958e-01, -7.024639844894409e-01, -6.875184774398804e-01, -6.727864146232605e-01, -6.582663655281067e-01, -6.4395672082901e-01, -6.298559904098511e-01, -6.159626245498657e-01, -6.022750735282898e-01, -5.887917876243591e-01, -5.755112767219543e-01, -5.624319911003113e-01, -5.495523810386658e-01, -5.368708968162537e-01, -5.243860483169556e-01, -5.120962262153625e-01, -5e-01, -4.880957305431366e-01, -4.763819575309753e-01, -4.648571014404297e-01, -4.535196125507355e-01, -4.423680007457733e-01, -4.314007163047791e-01, -4.206161797046661e-01, -4.100129306316376e-01, -3.995893895626068e-01, -3.893440067768097e-01, -3.792752623558044e-01, -3.693816363811493e-01, -3.596615791320801e-01, -3.501135408878326e-01, -3.407360017299652e-01, -3.315274119377136e-01, -3.224862813949585e-01, -3.136110007762909e-01, -3.049001097679138e-01, -2.963519990444183e-01, -2.879651784896851e-01, -2.797380983829498e-01, -2.716692388057709e-01, -2.63757050037384e-01, -2.560000121593475e-01, -2.483965456485748e-01, -2.409451454877853e-01, -2.336442917585373e-01, -2.264924198389053e-01, -2.194879949092865e-01, -2.12629497051239e-01, -2.059153914451599e-01, -1.99344128370285e-01, -1.929141730070114e-01, -1.866240054368973e-01, -1.804720610380173e-01, -1.744568347930908e-01, -1.685767620801926e-01, -1.628303378820419e-01, -1.572159975767136e-01, -1.517322212457657e-01, -1.463774740695953e-01, -1.411502063274384e-01, -1.36048898100853e-01, -1.31071999669075e-01, -1.262179911136627e-01, -1.214853152632713e-01, -1.168724447488785e-01, -1.123778596520424e-01, -1.080000028014183e-01, -1.037373468279839e-01, -9.958834946155548e-02, -9.555149078369141e-02, -9.162521362304688e-02, -8.780799806118011e-02, -8.409830182790756e-02, -8.049459010362625e-02, -7.699532806873322e-02, -7.359897345304489e-02, -7.030399888753891e-02, -6.710886210203171e-02, -6.401202827692032e-02, -6.101196631789207e-02, -5.810713768005371e-02, -5.529600009322166e-02, -5.257702246308327e-02, -4.994867369532585e-02, -4.740940779447556e-02, -4.495769739151001e-02, -4.259200021624565e-02, -4.031078517436981e-02, -3.811251372098923e-02, -3.599564731121063e-02, -3.395865485072136e-02, -3.200000151991844e-02, -3.011814318597317e-02, -2.831155247986317e-02, -2.657868713140488e-02, -2.491801604628563e-02, -2.332800067961216e-02, -2.180710434913635e-02, -2.035379223525524e-02, -1.896652765572071e-02, -1.764377579092979e-02, -1.638399995863438e-02, -1.518566440790892e-02, -1.40472324565053e-02, -1.296716835349798e-02, -1.194393634796143e-02, -1.097599975764751e-02, -1.006182376295328e-02, -9.199871681630611e-03, -8.388607762753963e-03, -7.626495789736509e-03, -6.912000011652708e-03, -6.243584211915731e-03, -5.619712173938751e-03, -5.038848146796227e-03, -4.499455913901329e-03, -4.000000189989805e-03, -3.538944059982896e-03, -3.114752005785704e-03, -2.725888043642044e-03, -2.370815956965089e-03, -2.047999994829297e-03, -1.755904057063162e-03, -1.492992043495178e-03, -1.25772797036916e-03, -1.048575970344245e-03, -8.640000014565885e-04, -7.024640217423439e-04, -5.624319892376661e-04, -4.42368007497862e-04, -3.407360054552555e-04, -2.559999993536621e-04, -1.866240054368973e-04, -1.310719962930307e-04, -8.780800271779299e-05, -5.529600093723275e-05, -3.199999991920777e-05, -1.638399953662883e-05, -6.912000117154093e-06, -2.047999942078604e-06, -2.559999927598255e-07, 0e+00, 2.559999927598255e-07, 2.047999942078604e-06, 6.912000117154093e-06, 1.638399953662883e-05, 3.199999991920777e-05, 5.529600093723275e-05, 8.780800271779299e-05, 1.310719962930307e-04, 1.866240054368973e-04, 2.559999993536621e-04, 3.407360054552555e-04, 4.42368007497862e-04, 5.624319892376661e-04, 7.024640217423439e-04, 8.640000014565885e-04, 1.048575970344245e-03, 1.25772797036916e-03, 1.492992043495178e-03, 1.755904057063162e-03, 2.047999994829297e-03, 2.370815956965089e-03, 2.725888043642044e-03, 3.114752005785704e-03, 3.538944059982896e-03, 4.000000189989805e-03, 4.499455913901329e-03, 5.038848146796227e-03, 5.619712173938751e-03, 6.243584211915731e-03, 6.912000011652708e-03, 7.626495789736509e-03, 8.388607762753963e-03, 9.199871681630611e-03, 1.006182376295328e-02, 1.097599975764751e-02, 1.194393634796143e-02, 1.296716835349798e-02, 1.40472324565053e-02, 1.518566440790892e-02, 1.638399995863438e-02, 1.764377579092979e-02, 1.896652765572071e-02, 2.035379223525524e-02, 2.180710434913635e-02, 2.332800067961216e-02, 2.491801604628563e-02, 2.657868713140488e-02, 2.831155247986317e-02, 3.011814318597317e-02, 3.200000151991844e-02, 3.395865485072136e-02, 3.599564731121063e-02, 3.811251372098923e-02, 4.031078517436981e-02, 4.259200021624565e-02, 4.495769739151001e-02, 4.740940779447556e-02, 4.994867369532585e-02, 5.257702246308327e-02, 5.529600009322166e-02, 5.810713768005371e-02, 6.101196631789207e-02, 6.401202827692032e-02, 6.710886210203171e-02, 7.030399888753891e-02, 7.359897345304489e-02, 7.699532806873322e-02, 8.049459010362625e-02, 8.409830182790756e-02, 8.780799806118011e-02, 9.162521362304688e-02, 9.555149078369141e-02, 9.958834946155548e-02, 1.037373468279839e-01, 1.080000028014183e-01, 1.123778596520424e-01, 1.168724447488785e-01, 1.214853152632713e-01, 1.262179911136627e-01, 1.31071999669075e-01, 1.36048898100853e-01, 1.411502063274384e-01, 1.463774740695953e-01, 1.517322212457657e-01, 1.572159975767136e-01, 1.628303378820419e-01, 1.685767620801926e-01, 1.744568347930908e-01, 1.804720610380173e-01, 1.866240054368973e-01, 1.929141730070114e-01, 1.99344128370285e-01, 2.059153914451599e-01, 2.12629497051239e-01, 2.194879949092865e-01, 2.264924198389053e-01, 2.336442917585373e-01, 2.409451454877853e-01, 2.483965456485748e-01, 2.560000121593475e-01, 2.63757050037384e-01, 2.716692388057709e-01, 2.797380983829498e-01, 2.879651784896851e-01, 2.963519990444183e-01, 3.049001097679138e-01, 3.136110007762909e-01, 3.224862813949585e-01, 3.315274119377136e-01, 3.407360017299652e-01, 3.501135408878326e-01, 3.596615791320801e-01, 3.693816363811493e-01, 3.792752623558044e-01, 3.893440067768097e-01, 3.995893895626068e-01, 4.100129306316376e-01, 4.206161797046661e-01, 4.314007163047791e-01, 4.423680007457733e-01, 4.535196125507355e-01, 4.648571014404297e-01, 4.763819575309753e-01, 4.880957305431366e-01, 5e-01, 5.120962262153625e-01, 5.243860483169556e-01, 5.368708968162537e-01, 5.495523810386658e-01, 5.624319911003113e-01, 5.755112767219543e-01, 5.887917876243591e-01, 6.022750735282898e-01, 6.159626245498657e-01, 6.298559904098511e-01, 6.4395672082901e-01, 6.582663655281067e-01, 6.727864146232605e-01, 6.875184774398804e-01, 7.024639844894409e-01, 7.176246047019958e-01, 7.33001708984375e-01, 7.485969662666321e-01, 7.644119262695312e-01, 7.804480195045471e-01, 7.967067956924438e-01, 8.131898641586304e-01, 8.298987746238708e-01, 8.468349575996399e-01, 8.640000224113464e-01, 8.813954591751099e-01, 8.990228772163391e-01, 9.168837070465088e-01, 9.349795579910278e-01, 9.533119797706604e-01, 9.718825221061707e-01, 9.906926155090332e-01, 1.009743928909302e+00, 1.029037833213806e+00, 1.0485759973526e+00, 1.068359971046448e+00, 1.088391184806824e+00, 1.108671188354492e+00, 1.129201650619507e+00, 1.149984002113342e+00, 1.171019792556763e+00, 1.192310571670532e+00, 1.213857769966125e+00, 1.235663056373596e+00, 1.257727980613708e+00, 1.280053973197937e+00, 1.302642703056335e+00, 1.325495600700378e+00, 1.348614096641541e+00, 1.371999979019165e+00, 1.395654678344727e+00, 1.4195796251297e+00, 1.443776488304138e+00, 1.468246817588806e+00, 1.492992043495178e+00, 1.518013715744019e+00, 1.543313384056091e+00, 1.56889271736145e+00, 1.59475302696228e+00, 1.620895981788635e+00, 1.647323131561279e+00, 1.674036026000977e+00, 1.701035976409912e+00, 1.728324890136719e+00, 1.755903959274292e+00, 1.783774971961975e+00, 1.811939358711243e+00, 1.840398550033569e+00, 1.869154334068298e+00, 1.898208022117615e+00, 1.927561163902283e+00, 1.957215547561646e+00, 1.987172365188599e+00, 2.017433404922485e+00, 2.04800009727478e+00, 2.078873872756958e+00, 2.110056400299072e+00, 2.141549348831177e+00, 2.173353910446167e+00, 2.205471992492676e+00, 2.237904787063599e+00, 2.270654201507568e+00, 2.30372142791748e+00, 2.337108135223389e+00, 2.370815992355347e+00, 2.404846429824829e+00, 2.439200878143311e+00, 2.473880767822266e+00, 2.508888006210327e+00, 2.54422402381897e+00, 2.579890251159668e+00, 2.615888118743896e+00, 2.652219295501709e+00, 2.688885450363159e+00, 2.725888013839722e+00, 2.763228416442871e+00, 2.800908327102661e+00, 2.838929176330566e+00, 2.877292633056641e+00, 2.915999889373779e+00, 2.955053091049194e+00, 2.994453191757202e+00, 3.034202098846436e+00, 3.074301242828369e+00, 3.114752054214478e+00, 3.155556201934814e+00, 3.196715116500854e+00, 3.238230228424072e+00, 3.280103445053101e+00, 3.322335958480835e+00, 3.364929437637329e+00, 3.407885551452637e+00, 3.451205730438232e+00, 3.494891166687012e+00, 3.538944005966187e+00, 3.583365440368652e+00, 3.628156900405884e+00, 3.673320293426514e+00, 3.718856811523438e+00, 3.76476788520813e+00, 3.811055660247803e+00, 3.857721090316772e+00, 3.904765844345093e+00, 3.952191829681396e+00, 4e+00]
y=[1.580082654953003e+00, 1.573825359344482e+00, 1.567567825317383e+00, 1.561310052871704e+00, 1.555052161216736e+00, 1.548793792724609e+00, 1.542535305023193e+00, 1.536276578903198e+00, 1.530017495155334e+00, 1.523758172988892e+00, 1.51749861240387e+00, 1.511238813400269e+00, 1.504978775978088e+00, 1.498718500137329e+00, 1.492457866668701e+00, 1.486196994781494e+00, 1.479935884475708e+00, 1.473674416542053e+00, 1.467412710189819e+00, 1.461150884628296e+00, 1.454888582229614e+00, 1.448626160621643e+00, 1.442363381385803e+00, 1.436100363731384e+00, 1.429836988449097e+00, 1.42357349395752e+00, 1.417309641838074e+00, 1.411045432090759e+00, 1.404780983924866e+00, 1.398516297340393e+00, 1.392251372337341e+00, 1.385986089706421e+00, 1.379720449447632e+00, 1.373454689979553e+00, 1.367188572883606e+00, 1.36092209815979e+00, 1.354655385017395e+00, 1.348388314247131e+00, 1.342121005058289e+00, 1.335853457450867e+00, 1.329585552215576e+00, 1.323317408561707e+00, 1.317048907279968e+00, 1.310780048370361e+00, 1.304510951042175e+00, 1.29824161529541e+00, 1.291971802711487e+00, 1.285701870918274e+00, 1.279431462287903e+00, 1.273160934448242e+00, 1.266889929771423e+00, 1.260618686676025e+00, 1.254347085952759e+00, 1.248075246810913e+00, 1.241802930831909e+00, 1.235530495643616e+00, 1.229257583618164e+00, 1.222984433174133e+00, 1.216710925102234e+00, 1.210437059402466e+00, 1.204162955284119e+00, 1.197888493537903e+00, 1.191613674163818e+00, 1.185338497161865e+00, 1.179062962532043e+00, 1.172787189483643e+00, 1.166510939598083e+00, 1.160234451293945e+00, 1.153957605361938e+00, 1.147680401802063e+00, 1.141402840614319e+00, 1.135125041007996e+00, 1.128846764564514e+00, 1.122568130493164e+00, 1.116289258003235e+00, 1.110009908676147e+00, 1.103730201721191e+00, 1.097450256347656e+00, 1.091169834136963e+00, 1.084889054298401e+00, 1.07860791683197e+00, 1.072326421737671e+00, 1.066044569015503e+00, 1.059762358665466e+00, 1.053479790687561e+00, 1.047196745872498e+00, 1.040913343429565e+00, 1.034629583358765e+00, 1.028345465660095e+00, 1.022060990333557e+00, 1.015776038169861e+00, 1.009490728378296e+00, 1.003205060958862e+00, 9.969189167022705e-01, 9.906324148178101e-01, 9.843454957008362e-01, 9.780582189559937e-01, 9.717704653739929e-01, 9.654823541641235e-01, 9.591938257217407e-01, 9.529048204421997e-01, 9.4661545753479e-01, 9.403256773948669e-01, 9.340354204177856e-01, 9.277447462081909e-01, 9.214536547660828e-01, 9.151621460914612e-01, 9.088702201843262e-01, 9.02577817440033e-01, 8.962849378585815e-01, 8.899917006492615e-01, 8.836996555328369e-01, 8.774213194847107e-01, 8.71172308921814e-01, 8.64966869354248e-01, 8.588177561759949e-01, 8.527364730834961e-01, 8.467334508895874e-01, 8.408178091049194e-01, 8.349977135658264e-01, 8.292804360389709e-01, 8.236721158027649e-01, 8.181783556938171e-01, 8.128036260604858e-01, 8.075520396232605e-01, 8.024266958236694e-01, 7.974303364753723e-01, 7.925649881362915e-01, 7.878321409225464e-01, 7.832329273223877e-01, 7.787678837776184e-01, 7.744371891021729e-01, 7.702407240867615e-01, 7.661779522895813e-01, 7.622479796409607e-01, 7.584497332572937e-01, 7.547819018363953e-01, 7.512428164482117e-01, 7.478306889533997e-01, 7.445436120033264e-01, 7.413793802261353e-01, 7.383357882499695e-01, 7.354103922843933e-01, 7.326006889343262e-01, 7.299041152000427e-01, 7.273179292678833e-01, 7.248395085334778e-01, 7.22465991973877e-01, 7.201946377754211e-01, 7.180224657058716e-01, 7.159467935562134e-01, 7.13964581489563e-01, 7.120730876922607e-01, 7.102693915367126e-01, 7.085506319999695e-01, 7.06913948059082e-01, 7.053565979003906e-01, 7.038757801055908e-01, 7.024687528610229e-01, 7.011328339576721e-01, 6.998653411865234e-01, 6.986636519432068e-01, 6.975252628326416e-01, 6.964475512504578e-01, 6.954281330108643e-01, 6.944646239280701e-01, 6.935546398162842e-01, 6.926959156990051e-01, 6.918861865997314e-01, 6.911233067512512e-01, 6.904051303863525e-01, 6.897296905517578e-01, 6.890949010848999e-01, 6.884989142417908e-01, 6.879398226737976e-01, 6.874158382415771e-01, 6.869252324104309e-01, 6.864663362503052e-01, 6.860374212265015e-01, 6.856370568275452e-01, 6.852636337280273e-01, 6.849157214164734e-01, 6.845919489860535e-01, 6.842910051345825e-01, 6.840115189552307e-01, 6.837522983551025e-01, 6.835122108459473e-01, 6.832900643348694e-01, 6.830847859382629e-01, 6.828953623771667e-01, 6.827207207679749e-01, 6.825600862503052e-01, 6.824123859405518e-01, 6.822769045829773e-01, 6.821527481079102e-01, 6.82039201259613e-01, 6.819354891777039e-01, 6.818408966064453e-01, 6.817548871040344e-01, 6.816766858100891e-01, 6.816058158874512e-01, 6.815416216850281e-01, 6.814836859703064e-01, 6.814314723014832e-01, 6.813845634460449e-01, 6.813424229621887e-01, 6.813047528266907e-01, 6.812710762023926e-01, 6.812411546707153e-01, 6.812145709991455e-01, 6.811910271644592e-01, 6.811702251434326e-01, 6.811519861221313e-01, 6.811359524726868e-01, 6.811219453811646e-01, 6.811097264289856e-01, 6.810991764068604e-01, 6.810900568962097e-01, 6.810822486877441e-01, 6.810755133628845e-01, 6.810697913169861e-01, 6.810649633407593e-01, 6.810609102249146e-01, 6.810575127601624e-01, 6.810547113418579e-01, 6.810523867607117e-01, 6.810504794120789e-01, 6.810489296913147e-01, 6.810476779937744e-01, 6.810466647148132e-01, 6.810458898544312e-01, 6.810452938079834e-01, 6.810448169708252e-01, 6.810444593429565e-01, 6.810441613197327e-01, 6.810439825057983e-01, 6.810438632965088e-01, 6.810437440872192e-01, 6.810436844825745e-01, 6.810436248779297e-01, 6.810436248779297e-01, 6.810436248779297e-01, 6.810435652732849e-01, 6.810435652732849e-01, 6.810435652732849e-01, 6.810435652732849e-01, 6.810435652732849e-01, 6.810435652732849e-01, 6.810435652732849e-01, 6.810435652732849e-01, 6.810435652732849e-01, 6.810435652732849e-01, 6.810435652732849e-01, 6.810435652732849e-01, 6.810435652732849e-01, 6.810435652732849e-01, 6.810435652732849e-01, 6.810435652732849e-01, 6.810435652732849e-01, 6.810436248779297e-01, 6.810436248779297e-01, 6.810436248779297e-01, 6.810436844825745e-01, 6.810437440872192e-01, 6.810438632965088e-01, 6.810439825057983e-01, 6.810441613197327e-01, 6.810444593429565e-01, 6.810448169708252e-01, 6.810452938079834e-01, 6.810458898544312e-01, 6.810466647148132e-01, 6.810476779937744e-01, 6.810489296913147e-01, 6.810504794120789e-01, 6.810523867607117e-01, 6.810547113418579e-01, 6.810575127601624e-01, 6.810609102249146e-01, 6.810649633407593e-01, 6.810697913169861e-01, 6.810755133628845e-01, 6.810822486877441e-01, 6.810900568962097e-01, 6.810991764068604e-01, 6.811097264289856e-01, 6.811219453811646e-01, 6.811359524726868e-01, 6.811519861221313e-01, 6.811702251434326e-01, 6.811910271644592e-01, 6.812145709991455e-01, 6.812411546707153e-01, 6.812710762023926e-01, 6.813047528266907e-01, 6.813424229621887e-01, 6.813845634460449e-01, 6.814314723014832e-01, 6.814836859703064e-01, 6.815416216850281e-01, 6.816058158874512e-01, 6.816766858100891e-01, 6.817548871040344e-01, 6.818408966064453e-01, 6.819354891777039e-01, 6.82039201259613e-01, 6.821527481079102e-01, 6.822769045829773e-01, 6.824123859405518e-01, 6.825600862503052e-01, 6.827207207679749e-01, 6.828953623771667e-01, 6.830847859382629e-01, 6.832900643348694e-01, 6.835122108459473e-01, 6.837522983551025e-01, 6.840115189552307e-01, 6.842910051345825e-01, 6.845919489860535e-01, 6.849157214164734e-01, 6.852636337280273e-01, 6.856370568275452e-01, 6.860374212265015e-01, 6.864663362503052e-01, 6.869252324104309e-01, 6.874158382415771e-01, 6.879398226737976e-01, 6.884989142417908e-01, 6.890949010848999e-01, 6.897296905517578e-01, 6.904051303863525e-01, 6.911233067512512e-01, 6.918861865997314e-01, 6.926959156990051e-01, 6.935546398162842e-01, 6.944646239280701e-01, 6.954281330108643e-01, 6.964475512504578e-01, 6.975252628326416e-01, 6.986636519432068e-01, 6.998653411865234e-01, 7.011328339576721e-01, 7.024687528610229e-01, 7.038757801055908e-01, 7.053565979003906e-01, 7.06913948059082e-01, 7.085506319999695e-01, 7.102693915367126e-01, 7.120730876922607e-01, 7.13964581489563e-01, 7.159467935562134e-01, 7.180224657058716e-01, 7.201946377754211e-01, 7.22465991973877e-01, 7.248395085334778e-01, 7.273179292678833e-01, 7.299041152000427e-01, 7.326006889343262e-01, 7.354103922843933e-01, 7.383357882499695e-01, 7.413793802261353e-01, 7.445436120033264e-01, 7.478306889533997e-01, 7.512428164482117e-01, 7.547819018363953e-01, 7.584497332572937e-01, 7.622479796409607e-01, 7.661779522895813e-01, 7.702407240867615e-01, 7.744371891021729e-01, 7.787678837776184e-01, 7.832329273223877e-01, 7.878321409225464e-01, 7.925649881362915e-01, 7.974303364753723e-01, 8.024266958236694e-01, 8.075520396232605e-01, 8.128036260604858e-01, 8.181783556938171e-01, 8.236721158027649e-01, 8.292804360389709e-01, 8.349977135658264e-01, 8.408178091049194e-01, 8.467334508895874e-01, 8.527364730834961e-01, 8.588177561759949e-01, 8.64966869354248e-01, 8.71172308921814e-01, 8.774213194847107e-01, 8.836996555328369e-01, 8.899917006492615e-01, 8.962849378585815e-01, 9.02577817440033e-01, 9.088702201843262e-01, 9.151621460914612e-01, 9.214536547660828e-01, 9.277447462081909e-01, 9.340354204177856e-01, 9.403256773948669e-01, 9.4661545753479e-01, 9.529048204421997e-01, 9.591938257217407e-01, 9.654823541641235e-01, 9.717704653739929e-01, 9.780582189559937e-01, 9.843454957008362e-01, 9.906324148178101e-01, 9.969189167022705e-01, 1.003205060958862e+00, 1.009490728378296e+00, 1.015776038169861e+00, 1.022060990333557e+00, 1.028345465660095e+00, 1.034629583358765e+00, 1.040913343429565e+00, 1.047196745872498e+00, 1.053479790687561e+00, 1.059762358665466e+00, 1.066044569015503e+00, 1.072326421737671e+00, 1.07860791683197e+00, 1.084889054298401e+00, 1.091169834136963e+00, 1.097450256347656e+00, 1.103730201721191e+00, 1.110009908676147e+00, 1.116289258003235e+00, 1.122568130493164e+00, 1.128846764564514e+00, 1.135125041007996e+00, 1.141402840614319e+00, 1.147680401802063e+00, 1.153957605361938e+00, 1.160234451293945e+00, 1.166510939598083e+00, 1.172787189483643e+00, 1.179062962532043e+00, 1.185338497161865e+00, 1.191613674163818e+00, 1.197888493537903e+00, 1.204162955284119e+00, 1.210437059402466e+00, 1.216710925102234e+00, 1.222984433174133e+00, 1.229257583618164e+00, 1.235530495643616e+00, 1.241802930831909e+00, 1.248075246810913e+00, 1.254347085952759e+00, 1.260618686676025e+00, 1.266889929771423e+00, 1.273160934448242e+00, 1.279431462287903e+00, 1.285701870918274e+00, 1.291971802711487e+00, 1.29824161529541e+00, 1.304510951042175e+00, 1.310780048370361e+00, 1.317048907279968e+00, 1.323317408561707e+00, 1.329585552215576e+00, 1.335853457450867e+00, 1.342121005058289e+00, 1.348388314247131e+00, 1.354655385017395e+00, 1.36092209815979e+00, 1.367188572883606e+00, 1.373454689979553e+00, 1.379720449447632e+00, 1.385986089706421e+00, 1.392251372337341e+00, 1.398516297340393e+00, 1.404780983924866e+00, 1.411045432090759e+00, 1.417309641838074e+00, 1.42357349395752e+00, 1.429836988449097e+00, 1.436100363731384e+00, 1.442363381385803e+00, 1.448626160621643e+00, 1.454888582229614e+00, 1.461150884628296e+00, 1.467412710189819e+00, 1.473674416542053e+00, 1.479935884475708e+00, 1.486196994781494e+00, 1.492457866668701e+00, 1.498718500137329e+00, 1.504978775978088e+00, 1.511238813400269e+00, 1.51749861240387e+00, 1.523758172988892e+00, 1.530017495155334e+00, 1.536276578903198e+00, 1.542535305023193e+00, 1.548793792724609e+00, 1.555052161216736e+00, 1.561310052871704e+00, 1.567567825317383e+00, 1.573825359344482e+00, 1.580082654953003e+00]
der(x)=[1.2e+01, 1.19041919708252e+01, 1.18087682723999e+01, 1.17137279510498e+01, 1.161907196044922e+01, 1.152480030059814e+01, 1.143091201782227e+01, 1.13374080657959e+01, 1.124428844451904e+01, 1.115155220031738e+01, 1.105920028686523e+01, 1.096723175048828e+01, 1.087564754486084e+01, 1.078444766998291e+01, 1.069363212585449e+01, 1.060319995880127e+01, 1.051315212249756e+01, 1.042348766326904e+01, 1.033420753479004e+01, 1.024531173706055e+01, 1.015680027008057e+01, 1.006867218017578e+01, 9.980928421020508e+00, 9.89356803894043e+00, 9.806591987609863e+00, 9.720000267028809e+00, 9.633791923522949e+00, 9.547967910766602e+00, 9.462528228759766e+00, 9.377471923828125e+00, 9.292799949645996e+00, 9.208512306213379e+00, 9.124608039855957e+00, 9.041088104248047e+00, 8.957951545715332e+00, 8.875200271606445e+00, 8.792832374572754e+00, 8.710847854614258e+00, 8.629247665405273e+00, 8.548031806945801e+00, 8.46720027923584e+00, 8.386752128601074e+00, 8.30668830871582e+00, 8.227007865905762e+00, 8.147711753845215e+00, 8.06879997253418e+00, 7.990272045135498e+00, 7.91212797164917e+00, 7.834368228912354e+00, 7.756991863250732e+00, 7.679999828338623e+00, 7.603392124176025e+00, 7.527167797088623e+00, 7.451327800750732e+00, 7.375872135162354e+00, 7.30079984664917e+00, 7.226111888885498e+00, 7.15180778503418e+00, 7.077888011932373e+00, 7.00435209274292e+00, 6.93120002746582e+00, 6.858431816101074e+00, 6.78604793548584e+00, 6.714047908782959e+00, 6.64243221282959e+00, 6.571199893951416e+00, 6.500351905822754e+00, 6.429887771606445e+00, 6.359807968139648e+00, 6.290112018585205e+00, 6.220799922943115e+00, 6.151872158050537e+00, 6.083327770233154e+00, 6.015168190002441e+00, 5.947391986846924e+00, 5.880000114440918e+00, 5.812992095947266e+00, 5.746367931365967e+00, 5.68012809753418e+00, 5.614272117614746e+00, 5.548799991607666e+00, 5.483712196350098e+00, 5.419007778167725e+00, 5.354688167572021e+00, 5.290751934051514e+00, 5.227200031280518e+00, 5.164031982421875e+00, 5.101247787475586e+00, 5.038847923278809e+00, 4.976831912994385e+00, 4.915200233459473e+00, 4.853951930999756e+00, 4.793087959289551e+00, 4.732607841491699e+00, 4.672512054443359e+00, 4.612800121307373e+00, 4.55347204208374e+00, 4.494527816772461e+00, 4.435967922210693e+00, 4.377791881561279e+00, 4.320000171661377e+00, 4.26259183883667e+00, 4.205567836761475e+00, 4.148928165435791e+00, 4.092671871185303e+00, 4.036799907684326e+00, 3.981312036514282e+00, 3.926208019256592e+00, 3.871488094329834e+00, 3.81715202331543e+00, 3.763200044631958e+00, 3.70963191986084e+00, 3.656447887420654e+00, 3.603647947311401e+00, 3.551232099533081e+00, 3.499200105667114e+00, 3.447551965713501e+00, 3.39628791809082e+00, 3.345407962799072e+00, 3.294912099838257e+00, 3.244800090789795e+00, 3.195071935653687e+00, 3.14572811126709e+00, 3.096767902374268e+00, 3.048192024230957e+00, 3e+00, 2.952192068099976e+00, 2.904767990112305e+00, 2.857728004455566e+00, 2.811072111129761e+00, 2.764800071716309e+00, 2.71891188621521e+00, 2.673408031463623e+00, 2.62828803062439e+00, 2.58355188369751e+00, 2.539200067520142e+00, 2.495232105255127e+00, 2.451647996902466e+00, 2.408447980880737e+00, 2.365632057189941e+00, 2.323199987411499e+00, 2.281152009963989e+00, 2.239487886428833e+00, 2.198208093643188e+00, 2.157311916351318e+00, 2.11680006980896e+00, 2.076672077178955e+00, 2.036927938461304e+00, 1.997568011283875e+00, 1.958592057228088e+00, 1.919999957084656e+00, 1.881791949272156e+00, 1.843968033790588e+00, 1.806527972221375e+00, 1.769472002983093e+00, 1.732800006866455e+00, 1.69651198387146e+00, 1.660608053207397e+00, 1.625087976455688e+00, 1.589951992034912e+00, 1.555199980735779e+00, 1.520831942558289e+00, 1.486847996711731e+00, 1.453248023986816e+00, 1.420032024383545e+00, 1.387199997901917e+00, 1.354751944541931e+00, 1.322687983512878e+00, 1.291007995605469e+00, 1.259711980819702e+00, 1.228800058364868e+00, 1.198271989822388e+00, 1.16812801361084e+00, 1.138368010520935e+00, 1.108991980552673e+00, 1.080000042915344e+00, 1.051391959190369e+00, 1.023167967796326e+00, 9.953280091285706e-01, 9.678720235824585e-01, 9.408000111579895e-01, 9.141119718551636e-01, 8.878080248832703e-01, 8.618879914283752e-01, 8.363519906997681e-01, 8.112000226974487e-01, 7.864320278167725e-01, 7.620480060577393e-01, 7.380480170249939e-01, 7.144320011138916e-01, 6.912000179290771e-01, 6.683520078659058e-01, 6.458879709243774e-01, 6.238080263137817e-01, 6.021119952201843e-01, 5.807999968528748e-01, 5.598719716072083e-01, 5.393279790878296e-01, 5.191680192947388e-01, 4.993920028209686e-01, 4.799999892711639e-01, 4.609920084476471e-01, 4.423680007457733e-01, 4.24127995967865e-01, 4.062719941139221e-01, 3.887999951839447e-01, 3.717119991779327e-01, 3.550080060958862e-01, 3.386879861354828e-01, 3.227519989013672e-01, 3.07200014591217e-01, 2.9203200340271e-01, 2.772479951381683e-01, 2.628479897975922e-01, 2.488320022821426e-01, 2.352000027894974e-01, 2.219520062208176e-01, 2.09087997674942e-01, 1.966080069541931e-01, 1.845120042562485e-01, 1.728000044822693e-01, 1.614719927310944e-01, 1.505279988050461e-01, 1.399679929018021e-01, 1.297920048236847e-01, 1.19999997317791e-01, 1.105920001864433e-01, 1.015679985284805e-01, 9.292799979448318e-02, 8.46719965338707e-02, 7.680000364780426e-02, 6.931199878454208e-02, 6.220800057053566e-02, 5.548800155520439e-02, 4.915200173854828e-02, 4.320000112056732e-02, 3.763199970126152e-02, 3.244800120592117e-02, 2.764800004661083e-02, 2.32319999486208e-02, 1.920000091195107e-02, 1.555200014263391e-02, 1.228800043463707e-02, 9.40799992531538e-03, 6.912000011652708e-03, 4.800000227987766e-03, 3.072000108659267e-03, 1.728000002913177e-03, 7.680000271648169e-04, 1.920000067912042e-04, 0e+00, 1.920000067912042e-04, 7.680000271648169e-04, 1.728000002913177e-03, 3.072000108659267e-03, 4.800000227987766e-03, 6.912000011652708e-03, 9.40799992531538e-03, 1.228800043463707e-02, 1.555200014263391e-02, 1.920000091195107e-02, 2.32319999486208e-02, 2.764800004661083e-02, 3.244800120592117e-02, 3.763199970126152e-02, 4.320000112056732e-02, 4.915200173854828e-02, 5.548800155520439e-02, 6.220800057053566e-02, 6.931199878454208e-02, 7.680000364780426e-02, 8.46719965338707e-02, 9.292799979448318e-02, 1.015679985284805e-01, 1.105920001864433e-01, 1.19999997317791e-01, 1.297920048236847e-01, 1.399679929018021e-01, 1.505279988050461e-01, 1.614719927310944e-01, 1.728000044822693e-01, 1.845120042562485e-01, 1.966080069541931e-01, 2.09087997674942e-01, 2.219520062208176e-01, 2.352000027894974e-01, 2.488320022821426e-01, 2.628479897975922e-01, 2.772479951381683e-01, 2.9203200340271e-01, 3.07200014591217e-01, 3.227519989013672e-01, 3.386879861354828e-01, 3.550080060958862e-01, 3.717119991779327e-01, 3.887999951839447e-01, 4.062719941139221e-01, 4.24127995967865e-01, 4.423680007457733e-01, 4.609920084476471e-01, 4.799999892711639e-01, 4.993920028209686e-01, 5.191680192947388e-01, 5.393279790878296e-01, 5.598719716072083e-01, 5.807999968528748e-01, 6.021119952201843e-01, 6.238080263137817e-01, 6.458879709243774e-01, 6.683520078659058e-01, 6.912000179290771e-01, 7.144320011138916e-01, 7.380480170249939e-01, 7.620480060577393e-01, 7.864320278167725e-01, 8.112000226974487e-01, 8.363519906997681e-01, 8.618879914283752e-01, 8.878080248832703e-01, 9.141119718551636e-01, 9.408000111579895e-01, 9.678720235824585e-01, 9.953280091285706e-01, 1.023167967796326e+00, 1.051391959190369e+00, 1.080000042915344e+00, 1.108991980552673e+00, 1.138368010520935e+00, 1.16812801361084e+00, 1.198271989822388e+00, 1.228800058364868e+00, 1.259711980819702e+00, 1.291007995605469e+00, 1.322687983512878e+00, 1.354751944541931e+00, 1.387199997901917e+00, 1.420032024383545e+00, 1.453248023986816e+00, 1.486847996711731e+00, 1.520831942558289e+00, 1.555199980735779e+00, 1.589951992034912e+00, 1.625087976455688e+00, 1.660608053207397e+00, 1.69651198387146e+00, 1.732800006866455e+00, 1.769472002983093e+00, 1.806527972221375e+00, 1.843968033790588e+00, 1.881791949272156e+00, 1.919999957084656e+00, 1.958592057228088e+00, 1.997568011283875e+00, 2.036927938461304e+00, 2.076672077178955e+00, 2.11680006980896e+00, 2.157311916351318e+00, 2.198208093643188e+00, 2.239487886428833e+00, 2.281152009963989e+00, 2.323199987411499e+00, 2.365632057189941e+00, 2.408447980880737e+00, 2.451647996902466e+00, 2.495232105255127e+00, 2.539200067520142e+00, 2.58355188369751e+00, 2.62828803062439e+00, 2.673408031463623e+00, 2.71891188621521e+00, 2.764800071716309e+00, 2.811072111129761e+00, 2.857728004455566e+00, 2.904767990112305e+00, 2.952192068099976e+00, 3e+00, 3.048192024230957e+00, 3.096767902374268e+00, 3.14572811126709e+00, 3.195071935653687e+00, 3.244800090789795e+00, 3.294912099838257e+00, 3.345407962799072e+00, 3.39628791809082e+00, 3.447551965713501e+00, 3.499200105667114e+00, 3.551232099533081e+00, 3.603647947311401e+00, 3.656447887420654e+00, 3.70963191986084e+00, 3.763200044631958e+00, 3.81715202331543e+00, 3.871488094329834e+00, 3.926208019256592e+00, 3.981312036514282e+00, 4.036799907684326e+00, 4.092671871185303e+00, 4.148928165435791e+00, 4.205567836761475e+00, 4.26259183883667e+00, 4.320000171661377e+00, 4.377791881561279e+00, 4.435967922210693e+00, 4.494527816772461e+00, 4.55347204208374e+00, 4.612800121307373e+00, 4.672512054443359e+00, 4.732607841491699e+00, 4.793087959289551e+00, 4.853951930999756e+00, 4.915200233459473e+00, 4.976831912994385e+00, 5.038847923278809e+00, 5.101247787475586e+00, 5.164031982421875e+00, 5.227200031280518e+00, 5.290751934051514e+00, 5.354688167572021e+00, 5.419007778167725e+00, 5.483712196350098e+00, 5.548799991607666e+00, 5.614272117614746e+00, 5.68012809753418e+00, 5.746367931365967e+00, 5.812992095947266e+00, 5.880000114440918e+00, 5.947391986846924e+00, 6.015168190002441e+00, 6.083327770233154e+00, 6.151872158050537e+00, 6.220799922943115e+00, 6.290112018585205e+00, 6.359807968139648e+00, 6.429887771606445e+00, 6.500351905822754e+00, 6.571199893951416e+00, 6.64243221282959e+00, 6.714047908782959e+00, 6.78604793548584e+00, 6.858431816101074e+00, 6.93120002746582e+00, 7.00435209274292e+00, 7.077888011932373e+00, 7.15180778503418e+00, 7.226111888885498e+00, 7.30079984664917e+00, 7.375872135162354e+00, 7.451327800750732e+00, 7.527167797088623e+00, 7.603392124176025e+00, 7.679999828338623e+00, 7.756991863250732e+00, 7.834368228912354e+00, 7.91212797164917e+00, 7.990272045135498e+00, 8.06879997253418e+00, 8.147711753845215e+00, 8.227007865905762e+00, 8.30668830871582e+00, 8.386752128601074e+00, 8.46720027923584e+00, 8.548031806945801e+00, 8.629247665405273e+00, 8.710847854614258e+00, 8.792832374572754e+00, 8.875200271606445e+00, 8.957951545715332e+00, 9.041088104248047e+00, 9.124608039855957e+00, 9.208512306213379e+00, 9.292799949645996e+00, 9.377471923828125e+00, 9.462528228759766e+00, 9.547967910766602e+00, 9.633791923522949e+00, 9.720000267028809e+00, 9.806591987609863e+00, 9.89356803894043e+00, 9.980928421020508e+00, 1.006867218017578e+01, 1.015680027008057e+01, 1.024531173706055e+01, 1.033420753479004e+01, 1.042348766326904e+01, 1.051315212249756e+01, 1.060319995880127e+01, 1.069363212585449e+01, 1.078444766998291e+01, 1.087564754486084e+01, 1.096723175048828e+01, 1.105920028686523e+01, 1.115155220031738e+01, 1.124428844451904e+01, 1.13374080657959e+01, 1.143091201782227e+01, 1.152480030059814e+01, 1.161907196044922e+01, 1.17137279510498e+01, 1.18087682723999e+01, 1.19041919708252e+01, 1.2e+01]
der(y)=[-1.564281821250916e+00, -1.564344525337219e+00, -1.564407467842102e+00, -1.564470648765564e+00, -1.564534068107605e+00, -1.564597845077515e+00, -1.564661860466003e+00, -1.564726114273071e+00, -1.564790606498718e+00, -1.564855456352234e+00, -1.564920544624329e+00, -1.564985871315002e+00, -1.565051436424255e+00, -1.565117359161377e+00, -1.565183520317078e+00, -1.565250039100647e+00, -1.565316796302795e+00, -1.565383791923523e+00, -1.565451145172119e+00, -1.565518736839294e+00, -1.565586686134338e+00, -1.565654873847961e+00, -1.565723419189453e+00, -1.565792202949524e+00, -1.565861344337463e+00, -1.565930843353271e+00, -1.566000580787659e+00, -1.566070675849915e+00, -1.56614100933075e+00, -1.566211700439453e+00, -1.566282749176025e+00, -1.566354155540466e+00, -1.566425800323486e+00, -1.566497802734375e+00, -1.566570162773132e+00, -1.566642880439758e+00, -1.566715955734253e+00, -1.566789269447327e+00, -1.566863059997559e+00, -1.56693708896637e+00, -1.567011594772339e+00, -1.567086338996887e+00, -1.567161560058594e+00, -1.567237019538879e+00, -1.567312955856323e+00, -1.567389249801636e+00, -1.567465901374817e+00, -1.567542910575867e+00, -1.567620277404785e+00, -1.567698121070862e+00, -1.567776322364807e+00, -1.567854881286621e+00, -1.567933917045593e+00, -1.568013310432434e+00, -1.568093061447144e+00, -1.568173289299011e+00, -1.568253874778748e+00, -1.568334937095642e+00, -1.568416476249695e+00, -1.568498373031616e+00, -1.568580627441406e+00, -1.568663477897644e+00, -1.56874668598175e+00, -1.568830370903015e+00, -1.568914413452148e+00, -1.568999052047729e+00, -1.569084048271179e+00, -1.569169640541077e+00, -1.569255590438843e+00, -1.569342017173767e+00, -1.56942892074585e+00, -1.56951642036438e+00, -1.569604396820068e+00, -1.569692730903625e+00, -1.56978166103363e+00, -1.569871187210083e+00, -1.569961071014404e+00, -1.570051670074463e+00, -1.57014262676239e+00, -1.570234179496765e+00, -1.570326328277588e+00, -1.570418953895569e+00, -1.570512175559998e+00, -1.570605874061584e+00, -1.570700287818909e+00, -1.570795178413391e+00, -1.570890665054321e+00, -1.570986747741699e+00, -1.571083426475525e+00, -1.571180701255798e+00, -1.57127857208252e+00, -1.571377158164978e+00, -1.571476221084595e+00, -1.571575999259949e+00, -1.57167649269104e+00, -1.571777582168579e+00, -1.571879267692566e+00, -1.57198166847229e+00, -1.572084784507751e+00, -1.572188496589661e+00, -1.572293043136597e+00, -1.57239818572998e+00, -1.572504043579102e+00, -1.57261061668396e+00, -1.572718024253845e+00, -1.572826147079468e+00, -1.572934985160828e+00, -1.573044538497925e+00, -1.573154926300049e+00, -1.5732661485672e+00, -1.573378086090088e+00, -1.571979165077209e+00, -1.566536068916321e+00, -1.557367563247681e+00, -1.544828057289124e+00, -1.529249668121338e+00, -1.510942578315735e+00, -1.490196824073792e+00, -1.467283010482788e+00, -1.442453503608704e+00, -1.415943264961243e+00, -1.387970805168152e+00, -1.358739495277405e+00, -1.328437685966492e+00, -1.297239899635315e+00, -1.265307784080505e+00, -1.23279070854187e+00, -1.199826121330261e+00, -1.16654109954834e+00, -1.133051753044128e+00, -1.099465012550354e+00, -1.065878510475159e+00, -1.032381296157837e+00, -9.99054491519928e-01, -9.659715294837952e-01, -9.331990480422974e-01, -9.007967710494995e-01, -8.68818461894989e-01, -8.373120427131653e-01, -8.063200116157532e-01, -7.758798599243164e-01, -7.460243701934814e-01, -7.167819738388062e-01, -6.881770491600037e-01, -6.60230278968811e-01, -6.32958710193634e-01, -6.063763499259949e-01, -5.804939866065979e-01, -5.553198456764221e-01, -5.308595299720764e-01, -5.07116436958313e-01, -4.840915501117706e-01, -4.617842137813568e-01, -4.401918053627014e-01, -4.19310063123703e-01, -3.991333544254303e-01, -3.796546757221222e-01, -3.608657121658325e-01, -3.427572548389435e-01, -3.253189921379089e-01, -3.085397779941559e-01, -2.92407751083374e-01, -2.769103646278381e-01, -2.620345056056976e-01, -2.477665394544601e-01, -2.340924292802811e-01, -2.209977954626083e-01, -2.084679752588272e-01, -1.964880675077438e-01, -1.850430071353912e-01, -1.741176247596741e-01, -1.636966615915298e-01, -1.537648290395737e-01, -1.44306868314743e-01, -1.353075504302979e-01, -1.267517358064651e-01, -1.186244040727615e-01, -1.109106615185738e-01, -1.035957634449005e-01, -9.666518867015839e-02, -9.010457992553711e-02, -8.389983326196671e-02, -7.80370682477951e-02, -7.250266522169113e-02, -6.72832578420639e-02, -6.236576288938522e-02, -5.773739516735077e-02, -5.338564515113831e-02, -4.929830878973007e-02, -4.546348750591278e-02, -4.186959937214851e-02, -3.850536048412323e-02, -3.535982221364975e-02, -3.242233768105507e-02, -2.9682582244277e-02, -2.713055536150932e-02, -2.475656755268574e-02, -2.255124785006046e-02, -2.050554566085339e-02, -1.861071400344372e-02, -1.685832068324089e-02, -1.524024270474911e-02, -1.37486569583416e-02, -1.237604208290577e-02, -1.11151710152626e-02, -9.959109127521515e-03, -8.901209570467472e-03, -7.935103960335255e-03, -7.054704241454601e-03, -6.254191510379314e-03, -5.528014153242111e-03, -4.870880860835314e-03, -4.277754575014114e-03, -3.743848530575633e-03, -3.264618571847677e-03, -2.835757564753294e-03, -2.45319027453661e-03, -2.113065915182233e-03, -1.811753027141094e-03, -1.54583272524178e-03, -1.312092528678477e-03, -1.107520423829556e-03, -9.292977629229426e-04, -7.747936761006713e-04, -6.415582029148936e-04, -5.27316122315824e-04, -4.299605789128691e-04, -3.475463599897921e-04, -2.782837837003171e-04, -2.205320342909545e-04, -1.727928465697914e-04, -1.337039429927245e-04, -1.020326380967163e-04, -7.666929013794288e-05, -5.662092371494509e-05, -4.10046850447543e-05, -2.904139364545699e-05, -2.004906491492875e-05, -1.343642179563176e-05, -8.696427357790526e-06, -5.399797373684123e-06, -3.188526306985295e-06, -1.7694055713946e-06, -9.07543949324463e-07, -4.198882663786208e-07, -1.687436679276288e-07, -5.529392765879493e-08, -1.31215083243319e-08, -1.727935239337341e-09, -5.399797622929192e-11, 0e+00, 5.399797622929192e-11, 1.727935239337341e-09, 1.31215083243319e-08, 5.529392765879493e-08, 1.687436679276288e-07, 4.198882663786208e-07, 9.07543949324463e-07, 1.7694055713946e-06, 3.188526306985295e-06, 5.399797373684123e-06, 8.696427357790526e-06, 1.343642179563176e-05, 2.004906491492875e-05, 2.904139364545699e-05, 4.10046850447543e-05, 5.662092371494509e-05, 7.666929013794288e-05, 1.020326380967163e-04, 1.337039429927245e-04, 1.727928465697914e-04, 2.205320342909545e-04, 2.782837837003171e-04, 3.475463599897921e-04, 4.299605789128691e-04, 5.27316122315824e-04, 6.415582029148936e-04, 7.747936761006713e-04, 9.292977629229426e-04, 1.107520423829556e-03, 1.312092528678477e-03, 1.54583272524178e-03, 1.811753027141094e-03, 2.113065915182233e-03, 2.45319027453661e-03, 2.835757564753294e-03, 3.264618571847677e-03, 3.743848530575633e-03, 4.277754575014114e-03, 4.870880860835314e-03, 5.528014153242111e-03, 6.254191510379314e-03, 7.054704241454601e-03, 7.935103960335255e-03, 8.901209570467472e-03, 9.959109127521515e-03, 1.11151710152626e-02, 1.237604208290577e-02, 1.37486569583416e-02, 1.524024270474911e-02, 1.685832068324089e-02, 1.861071400344372e-02, 2.050554566085339e-02, 2.255124785006046e-02, 2.475656755268574e-02, 2.713055536150932e-02, 2.9682582244277e-02, 3.242233768105507e-02, 3.535982221364975e-02, 3.850536048412323e-02, 4.186959937214851e-02, 4.546348750591278e-02, 4.929830878973007e-02, 5.338564515113831e-02, 5.773739516735077e-02, 6.236576288938522e-02, 6.72832578420639e-02, 7.250266522169113e-02, 7.80370682477951e-02, 8.389983326196671e-02, 9.010457992553711e-02, 9.666518867015839e-02, 1.035957634449005e-01, 1.109106615185738e-01, 1.186244040727615e-01, 1.267517358064651e-01, 1.353075504302979e-01, 1.44306868314743e-01, 1.537648290395737e-01, 1.636966615915298e-01, 1.741176247596741e-01, 1.850430071353912e-01, 1.964880675077438e-01, 2.084679752588272e-01, 2.209977954626083e-01, 2.340924292802811e-01, 2.477665394544601e-01, 2.620345056056976e-01, 2.769103646278381e-01, 2.92407751083374e-01, 3.085397779941559e-01, 3.253189921379089e-01, 3.427572548389435e-01, 3.608657121658325e-01, 3.796546757221222e-01, 3.991333544254303e-01, 4.19310063123703e-01, 4.401918053627014e-01, 4.617842137813568e-01, 4.840915501117706e-01, 5.07116436958313e-01, 5.308595299720764e-01, 5.553198456764221e-01, 5.804939866065979e-01, 6.063763499259949e-01, 6.32958710193634e-01, 6.60230278968811e-01, 6.881770491600037e-01, 7.167819738388062e-01, 7.460243701934814e-01, 7.758798599243164e-01, 8.063200116157532e-01, 8.373120427131653e-01, 8.68818461894989e-01, 9.007967710494995e-01, 9.331990480422974e-01, 9.659715294837952e-01, 9.99054491519928e-01, 1.032381296157837e+00, 1.065878510475159e+00, 1.099465012550354e+00, 1.133051753044128e+00, 1.16654109954834e+00, 1.199826121330261e+00, 1.23279070854187e+00, 1.265307784080505e+00, 1.297239899635315e+00, 1.328437685966492e+00, 1.358739495277405e+00, 1.387970805168152e+00, 1.415943264961243e+00, 1.442453503608704e+00, 1.467283010482788e+00, 1.490196824073792e+00, 1.510942578315735e+00, 1.529249668121338e+00, 1.544828057289124e+00, 1.557367563247681e+00, 1.566536068916321e+00, 1.571979165077209e+00, 1.573378086090088e+00, 1.5732661485672e+00, 1.573154926300049e+00, 1.573044538497925e+00, 1.572934985160828e+00, 1.572826147079468e+00, 1.572718024253845e+00, 1.57261061668396e+00, 1.572504043579102e+00, 1.57239818572998e+00, 1.572293043136597e+00, 1.572188496589661e+00, 1.572084784507751e+00, 1.57198166847229e+00, 1.571879267692566e+00, 1.571777582168579e+00, 1.57167649269104e+00, 1.571575999259949e+00, 1.571476221084595e+00, 1.571377158164978e+00, 1.57127857208252e+00, 1.571180701255798e+00, 1.571083426475525e+00, 1.570986747741699e+00, 1.570890665054321e+00, 1.570795178413391e+00, 1.570700287818909e+00, 1.570605874061584e+00, 1.570512175559998e+00, 1.570418953895569e+00, 1.570326328277588e+00, 1.570234179496765e+00, 1.57014262676239e+00, 1.570051670074463e+00, 1.569961071014404e+00, 1.569871187210083e+00, 1.56978166103363e+00, 1.569692730903625e+00, 1.569604396820068e+00, 1.56951642036438e+00, 1.56942892074585e+00, 1.569342017173767e+00, 1.569255590438843e+00, 1.569169640541077e+00, 1.569084048271179e+00, 1.568999052047729e+00, 1.568914413452148e+00, 1.568830370903015e+00, 1.56874668598175e+00, 1.568663477897644e+00, 1.568580627441406e+00, 1.568498373031616e+00, 1.568416476249695e+00, 1.568334937095642e+00, 1.568253874778748e+00, 1.568173289299011e+00, 1.568093061447144e+00, 1.568013310432434e+00, 1.567933917045593e+00, 1.567854881286621e+00, 1.567776322364807e+00, 1.567698121070862e+00, 1.567620277404785e+00, 1.567542910575867e+00, 1.567465901374817e+00, 1.567389249801636e+00, 1.567312955856323e+00, 1.567237019538879e+00, 1.567161560058594e+00, 1.567086338996887e+00, 1.567011594772339e+00, 1.56693708896637e+00, 1.566863059997559e+00, 1.566789269447327e+00, 1.566715955734253e+00, 1.566642880439758e+00, 1.566570162773132e+00, 1.566497802734375e+00, 1.566425800323486e+00, 1.566354155540466e+00, 1.566282749176025e+00, 1.566211700439453e+00, 1.56614100933075e+00, 1.566070675849915e+00, 1.566000580787659e+00, 1.565930843353271e+00, 1.565861344337463e+00, 1.565792202949524e+00, 1.565723419189453e+00, 1.565654873847961e+00, 1.565586686134338e+00, 1.565518736839294e+00, 1.565451145172119e+00, 1.565383791923523e+00, 1.565316796302795e+00, 1.565250039100647e+00, 1.565183520317078e+00, 1.565117359161377e+00, 1.565051436424255e+00, 1.564985871315002e+00, 1.564920544624329e+00, 1.564855456352234e+00, 1.564790606498718e+00, 1.564726114273071e+00, 1.564661860466003e+00, 1.564597845077515e+00, 1.564534068107605e+00, 1.564470648765564e+00, 1.564407467842102e+00, 1.564344525337219e+00, 1.564281821250916e+00]