last-generated=2025-05-16
statistics-simulation=
{
  "linear": " ",
  "nonlinear": " ",
  "number of continuous time states": "1",
  "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]
y_comp=[-2.5e-01, -2.530241906642914e-01, -2.560973465442657e-01, -2.592204511165619e-01, -2.623945474624634e-01, -2.656206786632538e-01, -2.688999176025391e-01, -2.722333669662476e-01, -2.756221294403076e-01, -2.790673673152924e-01, -2.825702726840973e-01, -2.861320674419403e-01, -2.897539734840393e-01, -2.934372425079346e-01, -2.971831858158112e-01, -3.009931743144989e-01, -3.048685789108276e-01, -3.088108003139496e-01, -3.128212690353394e-01, -3.169015049934387e-01, -3.210529983043671e-01, -3.252773284912109e-01, -3.295761048793793e-01, -3.339509665966034e-01, -3.38403582572937e-01, -3.42935711145401e-01, -3.475491404533386e-01, -3.522456884384155e-01, -3.570272326469421e-01, -3.618957102298737e-01, -3.668531477451324e-01, -3.719015121459961e-01, -3.770429491996765e-01, -3.822795748710632e-01, -3.876136541366577e-01, -3.930473923683167e-01, -3.985832035541534e-01, -4.042234420776367e-01, -4.099705815315247e-01, -4.15827214717865e-01, -4.217959344387054e-01, -4.278794527053833e-01, -4.340805113315582e-01, -4.404019713401794e-01, -4.468467533588409e-01, -4.534179270267487e-01, -4.601185619831085e-01, -4.669519066810608e-01, -4.739212095737457e-01, -4.810299277305603e-01, -4.882814884185791e-01, -4.956795871257782e-01, -5.032278895378113e-01, -5.109301805496216e-01, -5.187905430793762e-01, -5.268129110336304e-01, -5.350015759468079e-01, -5.433608293533325e-01, -5.518951416015625e-01, -5.606091022491455e-01, -5.695074796676636e-01, -5.785952210426331e-01, -5.878773331642151e-01, -5.973590016365051e-01, -6.070457696914673e-01, -6.169430613517761e-01, -6.270566582679749e-01, -6.373925805091858e-01, -6.479568481445312e-01, -6.58755898475647e-01, -6.697962880134583e-01, -6.810847520828247e-01, -6.926283240318298e-01, -7.044342160224915e-01, -7.16509997844696e-01, -7.288633584976196e-01, -7.415022850036621e-01, -7.544351816177368e-01, -7.676706314086914e-01, -7.812174558639526e-01, -7.950848937034607e-01, -8.092824816703796e-01, -8.23820173740387e-01, -8.387081027030945e-01, -8.539569973945618e-01, -8.695777654647827e-01, -8.85581910610199e-01, -9.019811749458313e-01, -9.187878370285034e-01, -9.360146522521973e-01, -9.53674852848053e-01, -9.717821478843689e-01, -9.903507232666016e-01, -1.009395360946655e+00, -1.028931498527527e+00, -1.048975110054016e+00, -1.069542646408081e+00, -1.090651392936707e+00, -1.112319350242615e+00, -1.134565114974976e+00, -1.157407999038696e+00, -1.180868268013e+00, -1.204966902732849e+00, -1.22972571849823e+00, -1.255167484283447e+00, -1.281316041946411e+00, -1.308195829391479e+00, -1.335832953453064e+00, -1.364253997802734e+00, -1.393486976623535e+00, -1.423561215400696e+00, -1.454081416130066e+00, -1.482180118560791e+00, -1.504887580871582e+00, -1.520242810249329e+00, -1.527111649513245e+00, -1.525026440620422e+00, -1.514045238494873e+00, -1.494629621505737e+00, -1.46753990650177e+00, -1.433744430541992e+00, -1.394343733787537e+00, -1.350505590438843e+00, -1.303412318229675e+00, -1.254216313362122e+00, -1.204005837440491e+00, -1.15377676486969e+00, -1.104412078857422e+00, -1.056666851043701e+00, -1.011158227920532e+00, -9.683600068092346e-01, -9.286006093025208e-01, -8.920643925666809e-01, -8.587958216667175e-01, -8.28705370426178e-01, -8.015773892402649e-01, -7.77079701423645e-01, -7.547737956047058e-01, -7.341258525848389e-01, -7.145184874534607e-01, -6.95380687713623e-01, -6.76587700843811e-01, -6.581364274024963e-01, -6.400235891342163e-01, -6.22246265411377e-01, -6.048011779785156e-01, -5.87685227394104e-01, -5.70895254611969e-01, -5.544282197952271e-01, -5.382808446884155e-01, -5.224501490592957e-01, -5.069328546524048e-01, -4.917259514331818e-01, -4.768262505531311e-01, -4.622305929660797e-01, -4.479358494281769e-01, -4.339389204978943e-01, -4.202366471290588e-01, -4.068259298801422e-01, -3.937035501003265e-01, -3.808664679527283e-01, -3.683114945888519e-01, -3.560355305671692e-01, -3.440353870391846e-01, -3.323079645633698e-01, -3.20850133895874e-01, -3.096587657928467e-01, -2.987307012081146e-01, -2.880628108978271e-01, -2.776519656181335e-01, -2.674950361251831e-01, -2.575888931751251e-01, -2.479303777217865e-01, -2.385163754224777e-01, -2.293437272310257e-01, -2.204093337059021e-01, -2.117100358009338e-01, -2.032427042722702e-01, -1.950042098760605e-01, -1.869914084672928e-01, -1.792011708021164e-01, -1.716303676366806e-01, -1.642758399248123e-01, -1.571344882249832e-01, -1.502031534910202e-01, -1.434787213802338e-01, -1.369580328464508e-01, -1.306379735469818e-01, -1.245153844356537e-01, -1.185871586203575e-01, -1.128501445055008e-01, -1.073012128472328e-01, -1.019372344017029e-01, -9.675505757331848e-02, -9.175156801939011e-02, -8.692361414432526e-02, -8.226807415485382e-02, -7.77818039059639e-02, -7.346167415380478e-02, -6.930454820394516e-02, -6.530728936195374e-02, -6.14667646586895e-02, -5.777984112501144e-02, -5.424338579177856e-02, -5.085425823926926e-02, -4.760932922363281e-02, -4.450545832514763e-02, -4.1539516299963e-02, -3.870836272835732e-02, -3.600886836647987e-02, -3.343790024518967e-02, -3.099231421947479e-02, -2.866898290812969e-02, -2.646477147936821e-02, -2.437654323875904e-02, -2.240116335451603e-02, -2.053549699485302e-02, -1.877641119062901e-02, -1.712077111005783e-02, -1.556544005870819e-02, -1.410728506743908e-02, -1.274317037314177e-02, -1.146996207535267e-02, -1.028452534228563e-02, -9.183725342154503e-03, -8.164427243173122e-03, -7.223496679216623e-03, -6.35779881849885e-03, -5.564198829233646e-03, -4.839561879634857e-03, -4.180753603577614e-03, -3.584639169275761e-03, -3.048084210604429e-03, -2.567953430116177e-03, -2.141112694516778e-03, -1.764426822774112e-03, -1.434761448763311e-03, -1.14898185711354e-03, -9.039532742463052e-04, -6.965410429984331e-04, -5.23610389791429e-04, -3.82026715669781e-04, -2.686552761588246e-04, -1.803613704396412e-04, -1.14010319521185e-04, -6.646744441241026e-05, -3.459804065641947e-05, -1.526741289126221e-05, -5.340868028724799e-06, -1.683713321654068e-06, -1.161254090220609e-06, -6.387963935594598e-07, 3.018353936568019e-06, 1.294489084102679e-05, 3.227550769224763e-05, 6.4144900534302e-05, 1.116877610911615e-04, 1.780387829057872e-04, 2.663326740730554e-04, 3.797040844801813e-04, 5.21287729497999e-04, 6.94218382705003e-04, 9.016306139528751e-04, 1.146659138612449e-03, 1.43243873026222e-03, 1.762103987857699e-03, 2.138789743185043e-03, 2.565630478784442e-03, 3.045761259272695e-03, 3.582316217944026e-03, 4.178430419415236e-03, 4.837238695472479e-03, 5.561875179409981e-03, 6.355475168675184e-03, 7.221173495054245e-03, 8.162103593349457e-03, 9.181401692330837e-03, 1.028220169246197e-02, 1.1467638425529e-02, 1.27408467233181e-02, 1.410496141761541e-02, 1.556311640888453e-02, 1.711844652891159e-02, 1.877408660948277e-02, 2.053317241370678e-02, 2.239883877336979e-02, 2.43742186576128e-02, 2.646244689822197e-02, 2.866665832698345e-02, 3.098998963832855e-02, 3.343557193875313e-02, 3.600654378533363e-02, 3.870603814721107e-02, 4.153718799352646e-02, 4.450313374400139e-02, 4.760700091719627e-02, 5.085193365812302e-02, 5.424105748534203e-02, 5.77775165438652e-02, 6.146443635225296e-02, 6.53049573302269e-02, 6.930221617221832e-02, 7.345934212207794e-02, 7.777947187423706e-02, 8.226574212312698e-02, 8.692128956317902e-02, 9.174923598766327e-02, 9.675273299217224e-02, 1.01934902369976e-01, 1.072988882660866e-01, 1.128478199243546e-01, 1.185848265886307e-01, 1.245130598545074e-01, 1.306356340646744e-01, 1.369557082653046e-01, 1.434763818979263e-01, 1.50200828909874e-01, 1.57132163643837e-01, 1.642735153436661e-01, 1.716280281543732e-01, 1.79198831319809e-01, 1.869890689849854e-01, 1.950018703937531e-01, 2.032403647899628e-01, 2.117076963186264e-01, 2.204069942235947e-01, 2.293414026498795e-01, 2.385140359401703e-01, 2.479280382394791e-01, 2.575865685939789e-01, 2.674927115440369e-01, 2.776496410369873e-01, 2.880604863166809e-01, 2.987283766269684e-01, 3.096564412117004e-01, 3.208478093147278e-01, 3.323056399822235e-01, 3.440330624580383e-01, 3.560331761837006e-01, 3.683091700077057e-01, 3.80864143371582e-01, 3.937012255191803e-01, 4.068235754966736e-01, 4.202343225479126e-01, 4.33936595916748e-01, 4.479335248470306e-01, 4.622282683849335e-01, 4.768239259719849e-01, 4.917236268520355e-01, 5.069305300712585e-01, 5.224478244781494e-01, 5.382785201072693e-01, 5.544258952140808e-01, 5.708929300308228e-01, 5.876829028129578e-01, 6.047988533973694e-01, 6.222439408302307e-01, 6.400213241577148e-01, 6.581341028213501e-01, 6.765854358673096e-01, 6.953784227371216e-01, 7.14516282081604e-01, 7.341235876083374e-01, 7.547714710235596e-01, 7.770774364471436e-01, 8.015750646591187e-01, 8.287030458450317e-01, 8.587936162948608e-01, 8.92062246799469e-01, 9.285984635353088e-01, 9.683579206466675e-01, 1.01115608215332e+00, 1.056664705276489e+00, 1.1044100522995e+00, 1.153774857521057e+00, 1.204003930091858e+00, 1.254214525222778e+00, 1.303410530090332e+00, 1.350503921508789e+00, 1.394342184066772e+00, 1.433742880821228e+00, 1.467538356781006e+00, 1.494628190994263e+00, 1.514043807983398e+00, 1.525025129318237e+00, 1.527110457420349e+00, 1.520241737365723e+00, 1.504886507987976e+00, 1.482178926467896e+00, 1.45408034324646e+00, 1.42356014251709e+00, 1.393485903739929e+00, 1.364252924919128e+00, 1.335831880569458e+00, 1.308194875717163e+00, 1.281314969062805e+00, 1.255166530609131e+00, 1.229724645614624e+00, 1.204965829849243e+00, 1.180867195129395e+00, 1.15740704536438e+00, 1.13456404209137e+00, 1.112318396568298e+00, 1.09065043926239e+00, 1.069541573524475e+00, 1.04897403717041e+00, 1.028930425643921e+00, 1.009394288063049e+00, 9.903496503829956e-01, 9.717810750007629e-01, 9.536738395690918e-01, 9.360136389732361e-01, 9.187868237495422e-01, 9.019801616668701e-01, 8.855808973312378e-01, 8.695768117904663e-01, 8.539561033248901e-01, 8.387072086334229e-01, 8.238192796707153e-01, 8.092816472053528e-01, 7.950840592384338e-01, 7.812166213989258e-01, 7.676697969436646e-01, 7.544344067573547e-01, 7.4150151014328e-01, 7.288625240325928e-01, 7.16509222984314e-01, 7.044334411621094e-01, 6.926275491714478e-01, 6.810839772224426e-01, 6.697955131530762e-01, 6.587551832199097e-01, 6.479561328887939e-01, 6.373918056488037e-01, 6.270559430122375e-01, 6.169423460960388e-01, 6.0704505443573e-01, 5.973583459854126e-01, 5.878766179084778e-01, 5.785945057868958e-01, 5.69506824016571e-01, 5.60608446598053e-01, 5.518944263458252e-01, 5.4336017370224e-01, 5.350009202957153e-01, 5.268122553825378e-01, 5.187898874282837e-01, 5.109295248985291e-01, 5.032272338867188e-01, 4.956789314746857e-01, 4.88280862569809e-01, 4.810292720794678e-01, 4.739205837249756e-01, 4.669512510299683e-01, 4.601179361343384e-01, 4.534172713756561e-01, 4.468461275100708e-01, 4.404013156890869e-01, 4.340798556804657e-01, 4.278787970542908e-01, 4.217953085899353e-01, 4.158265888690948e-01, 4.099699556827545e-01, 4.042227864265442e-01, 3.985825479030609e-01, 3.930467665195465e-01, 3.876129984855652e-01, 3.822789490222931e-01, 3.770423233509064e-01, 3.719009160995483e-01, 3.668525516986847e-01, 3.618951439857483e-01, 3.570266664028168e-01, 3.522451221942902e-01, 3.475485742092133e-01, 3.429351449012756e-01, 3.384030163288116e-01, 3.33950400352478e-01, 3.295755684375763e-01, 3.25276792049408e-01, 3.210524916648865e-01, 3.169009983539581e-01, 3.128207623958588e-01, 3.08810293674469e-01, 3.04868072271347e-01, 3.009926676750183e-01, 2.971826791763306e-01, 2.934367060661316e-01, 2.897534668445587e-01, 2.861315608024597e-01, 2.825697958469391e-01, 2.790669202804565e-01, 2.756216824054718e-01, 2.722329199314117e-01, 2.688995003700256e-01, 2.656202614307404e-01, 2.6239413022995e-01, 2.592200338840485e-01, 2.560969293117523e-01, 2.530238032341003e-01, 2.499996423721313e-01]
y=[-2.5e-01, -2.53024160861969e-01, -2.56097286939621e-01, -2.592203915119171e-01, -2.623944878578186e-01, -2.65620619058609e-01, -2.688998579978943e-01, -2.722332775592804e-01, -2.756220400333405e-01, -2.790672779083252e-01, -2.825701534748077e-01, -2.861319482326508e-01, -2.897538244724274e-01, -2.934370934963226e-01, -2.971830368041992e-01, -3.00993025302887e-01, -3.048684298992157e-01, -3.088106513023376e-01, -3.128211200237274e-01, -3.169013559818268e-01, -3.210528492927551e-01, -3.25277179479599e-01, -3.295759260654449e-01, -3.339507877826691e-01, -3.384034037590027e-01, -3.429355323314667e-01, -3.475489616394043e-01, -3.522454798221588e-01, -3.570270538330078e-01, -3.618955314159393e-01, -3.668529391288757e-01, -3.719013035297394e-01, -3.770427107810974e-01, -3.822793364524841e-01, -3.876133859157562e-01, -3.930471539497375e-01, -3.98582935333252e-01, -4.042232036590576e-01, -4.099703431129456e-01, -4.158269762992859e-01, -4.217956960201263e-01, -4.278792142868042e-01, -4.340802431106567e-01, -4.40401703119278e-01, -4.468465149402618e-01, -4.534176886081696e-01, -4.601183235645294e-01, -4.669516682624817e-01, -4.739209711551666e-01, -4.810296595096588e-01, -4.8828125e-01, -4.956793189048767e-01, -5.032275915145874e-01, -5.109299421310425e-01, -5.187902450561523e-01, -5.268126726150513e-01, -5.350013375282288e-01, -5.433605313301086e-01, -5.518948435783386e-01, -5.606088042259216e-01, -5.695072412490845e-01, -5.785949230194092e-01, -5.878770351409912e-01, -5.973587036132812e-01, -6.070454120635986e-01, -6.169427037239075e-01, -6.27056360244751e-01, -6.373922228813171e-01, -6.479565501213074e-01, -6.587556004524231e-01, -6.697959303855896e-01, -6.810843944549561e-01, -6.926279664039612e-01, -7.044338583946228e-01, -7.165096402168274e-01, -7.28863000869751e-01, -7.415019273757935e-01, -7.544348239898682e-01, -7.67670214176178e-01, -7.812170386314392e-01, -7.950844764709473e-01, -8.092820644378662e-01, -8.238197565078735e-01, -8.387076854705811e-01, -8.539565205574036e-01, -8.695772886276245e-01, -8.855814337730408e-01, -9.019806385040283e-01, -9.187873005867004e-01, -9.360141158103943e-01, -9.5367431640625e-01, -9.717815518379211e-01, -9.903501272201538e-01, -1.009394884109497e+00, -1.028931021690369e+00, -1.048974514007568e+00, -1.069542050361633e+00, -1.090650796890259e+00, -1.112318754196167e+00, -1.134564518928528e+00, -1.157407402992249e+00, -1.180867671966553e+00, -1.204966306686401e+00, -1.229725122451782e+00, -1.255166888237e+00, -1.281315326690674e+00, -1.308195233345032e+00, -1.335832238197327e+00, -1.364253282546997e+00, -1.393486261367798e+00, -1.423560500144958e+00, -1.454080820083618e+00, -1.482179403305054e+00, -1.504887104034424e+00, -1.52024233341217e+00, -1.527111053466797e+00, -1.525025844573975e+00, -1.514044523239136e+00, -1.49462890625e+00, -1.467539191246033e+00, -1.433743715286255e+00, -1.394343018531799e+00, -1.350504875183105e+00, -1.303411602973938e+00, -1.254215598106384e+00, -1.204005122184753e+00, -1.153776049613953e+00, -1.104411363601685e+00, -1.056666016578674e+00, -1.011157512664795e+00, -9.683592319488525e-01, -9.285998344421387e-01, -8.920636177062988e-01, -8.587949872016907e-01, -8.287044167518616e-01, -8.015763759613037e-01, -7.770786881446838e-01, -7.547727227210999e-01, -7.341247797012329e-01, -7.145174145698547e-01, -6.953796148300171e-01, -6.765865683555603e-01, -6.581352353096008e-01, -6.400224566459656e-01, -6.222450733184814e-01, -6.047999858856201e-01, -5.876840353012085e-01, -5.708941221237183e-01, -5.544270277023315e-01, -5.382797122001648e-01, -5.224489569664001e-01, -5.069317221641541e-01, -4.917247891426086e-01, -4.76825088262558e-01, -4.622294306755066e-01, -4.479346871376038e-01, -4.339377582073212e-01, -4.202354848384857e-01, -4.068247377872467e-01, -3.937023878097534e-01, -3.808653056621552e-01, -3.683103322982788e-01, -3.560343384742737e-01, -3.440342247486115e-01, -3.323068022727966e-01, -3.208489716053009e-01, -3.096576035022736e-01, -2.987295389175415e-01, -2.88061648607254e-01, -2.776508033275604e-01, -2.6749387383461e-01, -2.57587730884552e-01, -2.479292154312134e-01, -2.385151982307434e-01, -2.293425649404526e-01, -2.204081565141678e-01, -2.117088586091995e-01, -2.032415419816971e-01, -1.950030326843262e-01, -1.869902312755585e-01, -1.791999936103821e-01, -1.716291904449463e-01, -1.642746776342392e-01, -1.571333259344101e-01, -1.502019912004471e-01, -1.434775441884995e-01, -1.369568705558777e-01, -1.306367963552475e-01, -1.245142221450806e-01, -1.185859888792038e-01, -1.128489822149277e-01, -1.073000505566597e-01, -1.019360646605492e-01, -9.675389528274536e-02, -9.175039827823639e-02, -8.692245185375214e-02, -8.22669044137001e-02, -7.778063416481018e-02, -7.346050441265106e-02, -6.930337846279144e-02, -6.530611962080002e-02, -6.146559864282608e-02, -5.777867883443832e-02, -5.424221977591515e-02, -5.085309222340584e-02, -4.760816320776939e-02, -4.450429230928421e-02, -4.153835028409958e-02, -3.870720043778419e-02, -3.600770607590675e-02, -3.343673422932625e-02, -3.099115192890167e-02, -2.866782061755657e-02, -2.646360732614994e-02, -2.437537908554077e-02, -2.239999920129776e-02, -2.05343347042799e-02, -1.877524890005589e-02, -1.711960881948471e-02, -1.556427776813507e-02, -1.410612277686596e-02, -1.274200808256865e-02, -1.146879978477955e-02, -1.028336305171251e-02, -9.182563051581383e-03, -8.163264952600002e-03, -7.22233485430479e-03, -6.35663652792573e-03, -5.563036538660526e-03, -4.838400054723024e-03, -4.179591778665781e-03, -3.583477577194571e-03, -3.046922385692596e-03, -2.566791838034987e-03, -2.139951102435589e-03, -1.763265347108245e-03, -1.433599973097444e-03, -1.147820381447673e-03, -9.027918567880988e-04, -6.953795673325658e-04, -5.224489723332226e-04, -3.808652982115746e-04, -2.674938878044486e-04, -1.791999966371804e-04, -1.128489820985124e-04, -6.530612154165283e-05, -3.343673597555608e-05, -1.410612276231404e-05, -4.179591996944509e-06, -5.224489996180637e-07, 0e+00, 5.224489996180637e-07, 4.179591996944509e-06, 1.410612276231404e-05, 3.343673597555608e-05, 6.530612154165283e-05, 1.128489820985124e-04, 1.791999966371804e-04, 2.674938878044486e-04, 3.808652982115746e-04, 5.224489723332226e-04, 6.953795673325658e-04, 9.027918567880988e-04, 1.147820381447673e-03, 1.433599973097444e-03, 1.763265347108245e-03, 2.139951102435589e-03, 2.566791838034987e-03, 3.046922385692596e-03, 3.583477577194571e-03, 4.179591778665781e-03, 4.838400054723024e-03, 5.563036538660526e-03, 6.35663652792573e-03, 7.22233485430479e-03, 8.163264952600002e-03, 9.182563051581383e-03, 1.028336305171251e-02, 1.146879978477955e-02, 1.274200808256865e-02, 1.410612277686596e-02, 1.556427776813507e-02, 1.711960881948471e-02, 1.877524890005589e-02, 2.05343347042799e-02, 2.239999920129776e-02, 2.437537908554077e-02, 2.646360732614994e-02, 2.866782061755657e-02, 3.099115192890167e-02, 3.343673422932625e-02, 3.600770607590675e-02, 3.870720043778419e-02, 4.153835028409958e-02, 4.450429230928421e-02, 4.760816320776939e-02, 5.085309222340584e-02, 5.424221977591515e-02, 5.777867883443832e-02, 6.146559864282608e-02, 6.530611962080002e-02, 6.930337846279144e-02, 7.346050441265106e-02, 7.778063416481018e-02, 8.22669044137001e-02, 8.692245185375214e-02, 9.175039827823639e-02, 9.675389528274536e-02, 1.019360646605492e-01, 1.073000505566597e-01, 1.128489822149277e-01, 1.185859888792038e-01, 1.245142221450806e-01, 1.306367963552475e-01, 1.369568705558777e-01, 1.434775441884995e-01, 1.502019912004471e-01, 1.571333259344101e-01, 1.642746776342392e-01, 1.716291904449463e-01, 1.791999936103821e-01, 1.869902312755585e-01, 1.950030326843262e-01, 2.032415419816971e-01, 2.117088586091995e-01, 2.204081565141678e-01, 2.293425649404526e-01, 2.385151982307434e-01, 2.479292154312134e-01, 2.57587730884552e-01, 2.6749387383461e-01, 2.776508033275604e-01, 2.88061648607254e-01, 2.987295389175415e-01, 3.096576035022736e-01, 3.208489716053009e-01, 3.323068022727966e-01, 3.440342247486115e-01, 3.560343384742737e-01, 3.683103322982788e-01, 3.808653056621552e-01, 3.937023878097534e-01, 4.068247377872467e-01, 4.202354848384857e-01, 4.339377582073212e-01, 4.479346871376038e-01, 4.622294306755066e-01, 4.76825088262558e-01, 4.917247891426086e-01, 5.069317221641541e-01, 5.224489569664001e-01, 5.382797122001648e-01, 5.544270277023315e-01, 5.708941221237183e-01, 5.876840353012085e-01, 6.047999858856201e-01, 6.222450733184814e-01, 6.400224566459656e-01, 6.581352353096008e-01, 6.765865683555603e-01, 6.953796148300171e-01, 7.145174145698547e-01, 7.341247797012329e-01, 7.547727227210999e-01, 7.770786881446838e-01, 8.015763759613037e-01, 8.287044167518616e-01, 8.587949872016907e-01, 8.920636177062988e-01, 9.285998344421387e-01, 9.683592319488525e-01, 1.011157512664795e+00, 1.056666016578674e+00, 1.104411363601685e+00, 1.153776049613953e+00, 1.204005122184753e+00, 1.254215598106384e+00, 1.303411602973938e+00, 1.350504875183105e+00, 1.394343018531799e+00, 1.433743715286255e+00, 1.467539191246033e+00, 1.49462890625e+00, 1.514044523239136e+00, 1.525025844573975e+00, 1.527111053466797e+00, 1.52024233341217e+00, 1.504887104034424e+00, 1.482179403305054e+00, 1.454080820083618e+00, 1.423560500144958e+00, 1.393486261367798e+00, 1.364253282546997e+00, 1.335832238197327e+00, 1.308195233345032e+00, 1.281315326690674e+00, 1.255166888237e+00, 1.229725122451782e+00, 1.204966306686401e+00, 1.180867671966553e+00, 1.157407402992249e+00, 1.134564518928528e+00, 1.112318754196167e+00, 1.090650796890259e+00, 1.069542050361633e+00, 1.048974514007568e+00, 1.028931021690369e+00, 1.009394884109497e+00, 9.903501272201538e-01, 9.717815518379211e-01, 9.5367431640625e-01, 9.360141158103943e-01, 9.187873005867004e-01, 9.019806385040283e-01, 8.855814337730408e-01, 8.695772886276245e-01, 8.539565205574036e-01, 8.387076854705811e-01, 8.238197565078735e-01, 8.092820644378662e-01, 7.950844764709473e-01, 7.812170386314392e-01, 7.67670214176178e-01, 7.544348239898682e-01, 7.415019273757935e-01, 7.28863000869751e-01, 7.165096402168274e-01, 7.044338583946228e-01, 6.926279664039612e-01, 6.810843944549561e-01, 6.697959303855896e-01, 6.587556004524231e-01, 6.479565501213074e-01, 6.373922228813171e-01, 6.27056360244751e-01, 6.169427037239075e-01, 6.070454120635986e-01, 5.973587036132812e-01, 5.878770351409912e-01, 5.785949230194092e-01, 5.695072412490845e-01, 5.606088042259216e-01, 5.518948435783386e-01, 5.433605313301086e-01, 5.350013375282288e-01, 5.268126726150513e-01, 5.187902450561523e-01, 5.109299421310425e-01, 5.032275915145874e-01, 4.956793189048767e-01, 4.8828125e-01, 4.810296595096588e-01, 4.739209711551666e-01, 4.669516682624817e-01, 4.601183235645294e-01, 4.534176886081696e-01, 4.468465149402618e-01, 4.40401703119278e-01, 4.340802431106567e-01, 4.278792142868042e-01, 4.217956960201263e-01, 4.158269762992859e-01, 4.099703431129456e-01, 4.042232036590576e-01, 3.98582935333252e-01, 3.930471539497375e-01, 3.876133859157562e-01, 3.822793364524841e-01, 3.770427107810974e-01, 3.719013035297394e-01, 3.668529391288757e-01, 3.618955314159393e-01, 3.570270538330078e-01, 3.522454798221588e-01, 3.475489616394043e-01, 3.429355323314667e-01, 3.384034037590027e-01, 3.339507877826691e-01, 3.295759260654449e-01, 3.25277179479599e-01, 3.210528492927551e-01, 3.169013559818268e-01, 3.128211200237274e-01, 3.088106513023376e-01, 3.048684298992157e-01, 3.00993025302887e-01, 2.971830368041992e-01, 2.934370934963226e-01, 2.897538244724274e-01, 2.861319482326508e-01, 2.825701534748077e-01, 2.790672779083252e-01, 2.756220400333405e-01, 2.722332775592804e-01, 2.688998579978943e-01, 2.65620619058609e-01, 2.623944878578186e-01, 2.592203915119171e-01, 2.56097286939621e-01, 2.53024160861969e-01, 2.5e-01]