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=[3.226286172866821e-02, 3.881687298417091e-02, 4.653763025999069e-02, 5.560225248336792e-02, 6.620974093675613e-02, 7.85829946398735e-02, 9.297090768814087e-02, 1.096505522727966e-01, 1.289294958114624e-01, 1.511481404304504e-01, 1.766822189092636e-01, 2.059452533721924e-01, 2.393911927938461e-01, 2.775170207023621e-01, 3.208654522895813e-01, 3.700276017189026e-01, 4.256457686424255e-01, 4.884161353111267e-01, 5.590913891792297e-01, 6.384837031364441e-01, 7.274670600891113e-01, 8.269799947738647e-01, 9.380282759666443e-01, 1.061686992645264e+00, 1.199103474617004e+00, 1.35149872303009e+00, 1.520170211791992e+00, 1.706493496894836e+00, 1.911924004554749e+00, 2.137998580932617e+00, 2.386336803436279e+00, 2.658642768859863e+00, 2.956705093383789e+00, 3.282397747039795e+00, 3.637681245803833e+00, 4.024601936340332e+00, 4.445292949676514e+00, 4.90197229385376e+00, 5.396943092346191e+00, 5.932592868804932e+00, 6.511391162872314e+00, 7.135889053344727e+00, 7.8087158203125e+00, 8.532578468322754e+00, 9.310257911682129e+00, 1.014460468292236e+01, 1.103853988647461e+01, 1.199504661560059e+01, 1.301716995239258e+01, 1.410800933837891e+01, 1.527071857452393e+01, 1.650849533081055e+01, 1.782458305358887e+01, 1.922225570678711e+01, 2.070482635498047e+01, 2.22756233215332e+01, 2.39380054473877e+01, 2.569533348083496e+01, 2.755097961425781e+01, 2.95083179473877e+01, 3.157070922851562e+01, 3.374150848388672e+01, 3.60240364074707e+01, 3.842160415649414e+01, 4.093746948242188e+01, 4.357485580444336e+01, 4.633693695068359e+01, 4.922682571411133e+01, 5.22475700378418e+01, 5.540215301513672e+01, 5.869347381591797e+01, 6.212433624267578e+01, 6.569746398925781e+01, 6.941547393798828e+01, 7.328087615966797e+01, 7.729607391357422e+01, 8.146332550048828e+01, 8.578479766845703e+01, 9.026250457763672e+01, 9.489830780029297e+01, 9.969396209716797e+01, 1.046510314941406e+02, 1.097709655761719e+02, 1.150550155639648e+02, 1.205042877197266e+02, 1.261197357177734e+02, 1.31902099609375e+02, 1.378520050048828e+02, 1.439698181152344e+02, 1.502558135986328e+02, 1.567099914550781e+02, 1.633322601318359e+02, 1.701222534179688e+02, 1.770794677734375e+02, 1.842032165527344e+02, 1.914925689697266e+02, 1.989464569091797e+02, 2.065635986328125e+02, 2.14342529296875e+02, 2.222815856933594e+02, 2.303789215087891e+02, 2.386325073242188e+02, 2.470401458740234e+02, 2.555993957519531e+02, 2.643077392578125e+02, 2.73162353515625e+02, 2.821603698730469e+02, 2.912986755371094e+02, 3.005740051269531e+02, 3.0998291015625e+02, 3.195218505859375e+02, 3.291870727539062e+02, 3.389747314453125e+02, 3.488807678222656e+02, 3.589010314941406e+02, 3.690312194824219e+02, 3.792669677734375e+02, 3.896036987304688e+02, 4.000367736816406e+02, 4.105614929199219e+02, 4.211729125976562e+02, 4.318661804199219e+02, 4.4263623046875e+02, 4.534779357910156e+02, 4.643861083984375e+02, 4.753555603027344e+02, 4.863809204101562e+02, 4.974568786621094e+02, 5.085779724121094e+02, 5.197388305664062e+02, 5.309339599609375e+02, 5.421578369140625e+02, 5.534049682617188e+02, 5.646739501953125e+02, 5.761452026367188e+02, 5.876614990234375e+02, 5.989535522460938e+02, 6.098580322265625e+02, 6.20309814453125e+02, 6.303343505859375e+02, 6.4003955078125e+02, 6.496077270507812e+02, 6.592803955078125e+02, 6.690081176757812e+02, 6.786788330078125e+02, 6.882886962890625e+02, 6.978338012695312e+02, 7.07310546875e+02, 7.1671533203125e+02, 7.260445556640625e+02, 7.352947387695312e+02, 7.44462646484375e+02, 7.535449829101562e+02, 7.6253857421875e+02, 7.714403686523438e+02, 7.802473754882812e+02, 7.889568481445312e+02, 7.9756591796875e+02, 8.060719604492188e+02, 8.144725341796875e+02, 8.227650756835938e+02, 8.309473876953125e+02, 8.390171508789062e+02, 8.469723510742188e+02, 8.548109741210938e+02, 8.625311279296875e+02, 8.701309814453125e+02, 8.776090087890625e+02, 8.849635620117188e+02, 8.921932983398438e+02, 8.992968139648438e+02, 9.062728881835938e+02, 9.131205444335938e+02, 9.19838623046875e+02, 9.264263305664062e+02, 9.328829345703125e+02, 9.392076416015625e+02, 9.454000244140625e+02, 9.514595336914062e+02, 9.573858642578125e+02, 9.631787109375e+02, 9.688379516601562e+02, 9.743635864257812e+02, 9.79755615234375e+02, 9.8501416015625e+02, 9.901395263671875e+02, 9.951320190429688e+02, 9.999920043945312e+02, 1.004720092773438e+03, 1.009316833496094e+03, 1.013782958984375e+03, 1.018119140625e+03, 1.022326416015625e+03, 1.026405517578125e+03, 1.030357666015625e+03, 1.034183837890625e+03, 1.037885131835938e+03, 1.041463012695312e+03, 1.044918579101562e+03, 1.048253295898438e+03, 1.051468627929688e+03, 1.054566040039062e+03, 1.057547119140625e+03, 1.060413452148438e+03, 1.063166870117188e+03, 1.06580908203125e+03, 1.068341796875e+03, 1.070766845703125e+03, 1.073086303710938e+03, 1.075301879882812e+03, 1.077415893554688e+03, 1.079430053710938e+03, 1.0813466796875e+03, 1.083167724609375e+03, 1.0848955078125e+03, 1.0865322265625e+03, 1.088079956054688e+03, 1.089541015625e+03, 1.090917724609375e+03, 1.09221240234375e+03, 1.093427490234375e+03, 1.094565307617188e+03, 1.095628173828125e+03, 1.09661865234375e+03, 1.0975390625e+03, 1.098391967773438e+03, 1.099179809570312e+03, 1.099905029296875e+03, 1.1005703125e+03, 1.101178100585938e+03, 1.101730834960938e+03, 1.102231201171875e+03, 1.102681762695312e+03, 1.103085083007812e+03, 1.10344384765625e+03, 1.103760375976562e+03, 1.10403759765625e+03, 1.10427783203125e+03, 1.104484008789062e+03, 1.104658447265625e+03, 1.104803955078125e+03, 1.104923095703125e+03, 1.105018432617188e+03, 1.1050927734375e+03, 1.105148559570312e+03, 1.105188598632812e+03, 1.105215454101562e+03, 1.105231689453125e+03, 1.105239990234375e+03, 1.105243041992188e+03, 1.105243530273438e+03, 1.105244018554688e+03, 1.1052470703125e+03, 1.10525537109375e+03, 1.105271728515625e+03, 1.105298461914062e+03, 1.105338500976562e+03, 1.105394409179688e+03, 1.10546875e+03, 1.105564086914062e+03, 1.105683349609375e+03, 1.105828979492188e+03, 1.106003540039062e+03, 1.1062099609375e+03, 1.10645068359375e+03, 1.106728393554688e+03, 1.1070458984375e+03, 1.107405639648438e+03, 1.107810546875e+03, 1.108263061523438e+03, 1.10876611328125e+03, 1.109322265625e+03, 1.109934204101562e+03, 1.110604858398438e+03, 1.111336791992188e+03, 1.112132690429688e+03, 1.11299560546875e+03, 1.113928100585938e+03, 1.11493310546875e+03, 1.116013427734375e+03, 1.117171752929688e+03, 1.118411254882812e+03, 1.119734619140625e+03, 1.121144897460938e+03, 1.12264501953125e+03, 1.124237915039062e+03, 1.1259267578125e+03, 1.12771435546875e+03, 1.12960400390625e+03, 1.131598754882812e+03, 1.133701904296875e+03, 1.13591650390625e+03, 1.138245971679688e+03, 1.140693603515625e+03, 1.143262573242188e+03, 1.14595654296875e+03, 1.148778930664062e+03, 1.151733276367188e+03, 1.1548232421875e+03, 1.158052368164062e+03, 1.161424438476562e+03, 1.164943359375e+03, 1.168612915039062e+03, 1.172437133789062e+03, 1.176420043945312e+03, 1.180565795898438e+03, 1.184878784179688e+03, 1.189363037109375e+03, 1.194023315429688e+03, 1.198863891601562e+03, 1.203889526367188e+03, 1.209105102539062e+03, 1.214515258789062e+03, 1.220125122070312e+03, 1.225939819335938e+03, 1.231964721679688e+03, 1.238205078125e+03, 1.24466650390625e+03, 1.251354736328125e+03, 1.258275512695312e+03, 1.26543505859375e+03, 1.272839477539062e+03, 1.2804951171875e+03, 1.288408569335938e+03, 1.296586547851562e+03, 1.3050361328125e+03, 1.313764404296875e+03, 1.322778686523438e+03, 1.332086669921875e+03, 1.3416962890625e+03, 1.351615356445312e+03, 1.3618525390625e+03, 1.372416137695312e+03, 1.383315185546875e+03, 1.394558837890625e+03, 1.406156616210938e+03, 1.4181181640625e+03, 1.43045361328125e+03, 1.44317333984375e+03, 1.4562880859375e+03, 1.46980908203125e+03, 1.483747802734375e+03, 1.498115966796875e+03, 1.512926025390625e+03, 1.528190673828125e+03, 1.543922973632812e+03, 1.560136474609375e+03, 1.576845336914062e+03, 1.594064086914062e+03, 1.611807739257812e+03, 1.630091918945312e+03, 1.648932739257812e+03, 1.668346801757812e+03, 1.6883515625e+03, 1.70896484375e+03, 1.730205200195312e+03, 1.752091796875e+03, 1.774644653320312e+03, 1.797884399414062e+03, 1.821832397460938e+03, 1.846510864257812e+03, 1.871942626953125e+03, 1.898151611328125e+03, 1.925162475585938e+03, 1.953000854492188e+03, 1.981693481445312e+03, 2.011267578125e+03, 2.041752075195312e+03, 2.07317626953125e+03, 2.1055712890625e+03, 2.138968994140625e+03, 2.173402587890625e+03, 2.208906005859375e+03, 2.245515625e+03, 2.28326806640625e+03, 2.3222021484375e+03, 2.362357666015625e+03, 2.403776123046875e+03, 2.446500732421875e+03, 2.490576171875e+03, 2.53604931640625e+03, 2.582968017578125e+03, 2.631383056640625e+03, 2.681346435546875e+03, 2.732912109375e+03, 2.786136962890625e+03, 2.841079345703125e+03, 2.89780029296875e+03, 2.95636328125e+03, 3.016833740234375e+03, 3.07928076171875e+03, 3.143775390625e+03, 3.2103916015625e+03, 3.279206787109375e+03, 3.35030078125e+03, 3.42375732421875e+03, 3.499662841796875e+03, 3.57810791015625e+03, 3.6591865234375e+03, 3.742996337890625e+03, 3.82963916015625e+03, 3.91922119140625e+03, 4.011852294921875e+03, 4.1076474609375e+03, 4.2067265625e+03, 4.3092138671875e+03, 4.41523876953125e+03, 4.52493603515625e+03, 4.6384462890625e+03, 4.75591650390625e+03, 4.87749853515625e+03, 5.0033515625e+03, 5.133640625e+03, 5.2685380859375e+03, 5.4082236328125e+03, 5.55288427734375e+03, 5.70271533203125e+03, 5.8579189453125e+03, 6.01870751953125e+03, 6.1853017578125e+03, 6.3579306640625e+03, 6.5368349609375e+03, 6.72226318359375e+03, 6.91447705078125e+03, 7.11374658203125e+03, 7.32035546875e+03, 7.5345986328125e+03, 7.75678271484375e+03, 7.9872294921875e+03, 8.2262724609375e+03, 8.4742607421875e+03, 8.731556640625e+03, 8.998541015625e+03, 9.275607421875e+03, 9.56316796875e+03, 9.861654296875e+03, 1.01715126953125e+04, 1.04932109375e+04, 1.082723828125e+04, 1.11741015625e+04, 1.153433203125e+04, 1.19084833984375e+04, 1.22971318359375e+04, 1.27008798828125e+04, 1.312035546875e+04, 1.3556212890625e+04, 1.40091376953125e+04, 1.447983984375e+04, 1.4969064453125e+04, 1.54775869140625e+04, 1.60062158203125e+04, 1.6555796875e+04, 1.712720703125e+04, 1.7721369140625e+04, 1.8339236328125e+04, 1.89818125e+04, 1.9650138671875e+04, 2.034530078125e+04, 2.1068435546875e+04, 2.1820724609375e+04, 2.260340234375e+04, 2.3417755859375e+04, 2.4265130859375e+04, 2.5146923828125e+04, 2.606459765625e+04, 2.7019677734375e+04, 2.801375e+04, 2.9048474609375e+04, 3.0125576171875e+04, 3.1246861328125e+04, 3.241420703125e+04, 3.362957421875e+04, 3.489500390625e+04, 3.62126328125e+04, 3.758467578125e+04, 3.901345703125e+04, 4.05013828125e+04, 4.20509765625e+04, 4.366486328125e+04, 4.534577734375e+04, 4.709656640625e+04, 4.892020703125e+04, 5.0819796875e+04, 5.27985625e+04, 5.485986328125e+04, 5.70072109375e+04, 5.924425390625e+04, 6.1574796875e+04, 6.40028046875e+04, 6.653240625e+04, 6.91678984375e+04, 7.1913765625e+04, 7.4774671875e+04, 7.775546875e+04, 8.08612265625e+04, 8.4097203125e+04, 8.74688828125e+04, 9.09819765625e+04, 9.46424296875e+04, 9.8456421875e+04, 1.024303828125e+05] y_comp=[3.226286172866821e-02, 3.881687670946121e-02, 4.653763771057129e-02, 5.560226365923882e-02, 6.620975583791733e-02, 7.85830095410347e-02, 9.297092258930206e-02, 1.096505671739578e-01, 1.289295107126236e-01, 1.511481702327728e-01, 1.76682248711586e-01, 2.059452831745148e-01, 2.393912225961685e-01, 2.775170505046844e-01, 3.208654820919037e-01, 3.70027631521225e-01, 4.256457984447479e-01, 4.884161353111267e-01, 5.590914487838745e-01, 6.384837031364441e-01, 7.274670600891113e-01, 8.269799947738647e-01, 9.380282759666443e-01, 1.061687111854553e+00, 1.199103474617004e+00, 1.35149872303009e+00, 1.520170211791992e+00, 1.706493496894836e+00, 1.911924004554749e+00, 2.137998580932617e+00, 2.386336803436279e+00, 2.658642768859863e+00, 2.95670485496521e+00, 3.282397508621216e+00, 3.637681007385254e+00, 4.024601936340332e+00, 4.445292949676514e+00, 4.90197229385376e+00, 5.396943092346191e+00, 5.932592868804932e+00, 6.511391162872314e+00, 7.135888576507568e+00, 7.8087158203125e+00, 8.532578468322754e+00, 9.310257911682129e+00, 1.014460468292236e+01, 1.103853988647461e+01, 1.199504661560059e+01, 1.301716995239258e+01, 1.410800933837891e+01, 1.527071857452393e+01, 1.650849533081055e+01, 1.782458305358887e+01, 1.922225570678711e+01, 2.070482444763184e+01, 2.22756233215332e+01, 2.39380054473877e+01, 2.569533348083496e+01, 2.755097961425781e+01, 2.95083179473877e+01, 3.157070922851562e+01, 3.374150848388672e+01, 3.60240364074707e+01, 3.842160415649414e+01, 4.093746948242188e+01, 4.357485580444336e+01, 4.633693313598633e+01, 4.922682571411133e+01, 5.22475700378418e+01, 5.540215301513672e+01, 5.869347381591797e+01, 6.212433624267578e+01, 6.569746398925781e+01, 6.941547393798828e+01, 7.328087615966797e+01, 7.729607391357422e+01, 8.146332550048828e+01, 8.578479766845703e+01, 9.026250457763672e+01, 9.489830780029297e+01, 9.969396209716797e+01, 1.046510391235352e+02, 1.097709655761719e+02, 1.150550155639648e+02, 1.205042953491211e+02, 1.261197357177734e+02, 1.319021148681641e+02, 1.378520050048828e+02, 1.439698181152344e+02, 1.502558135986328e+02, 1.567100067138672e+02, 1.633322601318359e+02, 1.701222534179688e+02, 1.770794830322266e+02, 1.842032165527344e+02, 1.914925689697266e+02, 1.989464569091797e+02, 2.065635986328125e+02, 2.14342529296875e+02, 2.222815856933594e+02, 2.303789215087891e+02, 2.386325073242188e+02, 2.470401458740234e+02, 2.555994110107422e+02, 2.643077392578125e+02, 2.73162353515625e+02, 2.821603698730469e+02, 2.912986755371094e+02, 3.005740051269531e+02, 3.0998291015625e+02, 3.195218505859375e+02, 3.291870727539062e+02, 3.389747314453125e+02, 3.488807678222656e+02, 3.589010314941406e+02, 3.690312194824219e+02, 3.792669677734375e+02, 3.896036987304688e+02, 4.000367736816406e+02, 4.105614929199219e+02, 4.211729431152344e+02, 4.318661804199219e+02, 4.4263623046875e+02, 4.534779357910156e+02, 4.643861389160156e+02, 4.753555603027344e+02, 4.863809204101562e+02, 4.974568786621094e+02, 5.085780029296875e+02, 5.197388305664062e+02, 5.309339599609375e+02, 5.421578369140625e+02, 5.534049682617188e+02, 5.646739501953125e+02, 5.761452026367188e+02, 5.876614990234375e+02, 5.989535522460938e+02, 6.098580322265625e+02, 6.20309814453125e+02, 6.303343505859375e+02, 6.4003955078125e+02, 6.496077270507812e+02, 6.592803955078125e+02, 6.690081176757812e+02, 6.786788330078125e+02, 6.882886962890625e+02, 6.978338012695312e+02, 7.07310546875e+02, 7.1671533203125e+02, 7.260445556640625e+02, 7.352947387695312e+02, 7.44462646484375e+02, 7.535449829101562e+02, 7.6253857421875e+02, 7.714403686523438e+02, 7.802474365234375e+02, 7.889568481445312e+02, 7.9756591796875e+02, 8.06072021484375e+02, 8.144725341796875e+02, 8.2276513671875e+02, 8.309473876953125e+02, 8.390172119140625e+02, 8.469723510742188e+02, 8.548109741210938e+02, 8.625311279296875e+02, 8.701310424804688e+02, 8.776090087890625e+02, 8.84963623046875e+02, 8.921932983398438e+02, 8.992968139648438e+02, 9.0627294921875e+02, 9.131205444335938e+02, 9.19838623046875e+02, 9.264263916015625e+02, 9.328829345703125e+02, 9.392077026367188e+02, 9.454000244140625e+02, 9.514595336914062e+02, 9.573858642578125e+02, 9.631787109375e+02, 9.688380126953125e+02, 9.743635864257812e+02, 9.79755615234375e+02, 9.8501416015625e+02, 9.901395263671875e+02, 9.951320190429688e+02, 9.999920043945312e+02, 1.004720092773438e+03, 1.009316833496094e+03, 1.013782958984375e+03, 1.018119140625e+03, 1.022326416015625e+03, 1.026405517578125e+03, 1.030357666015625e+03, 1.034183837890625e+03, 1.037885131835938e+03, 1.041463012695312e+03, 1.044918579101562e+03, 1.048253295898438e+03, 1.051468627929688e+03, 1.054566040039062e+03, 1.057547119140625e+03, 1.060413452148438e+03, 1.063166870117188e+03, 1.06580908203125e+03, 1.068341674804688e+03, 1.070766845703125e+03, 1.073086303710938e+03, 1.075301879882812e+03, 1.077415893554688e+03, 1.079430053710938e+03, 1.0813466796875e+03, 1.083167724609375e+03, 1.0848955078125e+03, 1.0865322265625e+03, 1.088079956054688e+03, 1.089541015625e+03, 1.090917724609375e+03, 1.09221240234375e+03, 1.093427490234375e+03, 1.094565307617188e+03, 1.095628173828125e+03, 1.09661865234375e+03, 1.0975390625e+03, 1.098391967773438e+03, 1.099179809570312e+03, 1.099905029296875e+03, 1.1005703125e+03, 1.101178100585938e+03, 1.101730834960938e+03, 1.102231201171875e+03, 1.102681762695312e+03, 1.103085083007812e+03, 1.10344384765625e+03, 1.103760375976562e+03, 1.10403759765625e+03, 1.10427783203125e+03, 1.104484008789062e+03, 1.104658447265625e+03, 1.104803955078125e+03, 1.104923095703125e+03, 1.105018432617188e+03, 1.1050927734375e+03, 1.105148559570312e+03, 1.105188598632812e+03, 1.105215454101562e+03, 1.105231689453125e+03, 1.105239990234375e+03, 1.1052431640625e+03, 1.105243530273438e+03, 1.105244018554688e+03, 1.1052470703125e+03, 1.10525537109375e+03, 1.105271728515625e+03, 1.105298461914062e+03, 1.105338500976562e+03, 1.105394409179688e+03, 1.10546875e+03, 1.105564086914062e+03, 1.105683349609375e+03, 1.105828979492188e+03, 1.106003540039062e+03, 1.1062099609375e+03, 1.10645068359375e+03, 1.106728393554688e+03, 1.1070458984375e+03, 1.107405639648438e+03, 1.107810546875e+03, 1.108263061523438e+03, 1.10876611328125e+03, 1.109322265625e+03, 1.109934204101562e+03, 1.110604858398438e+03, 1.111336791992188e+03, 1.1121328125e+03, 1.11299560546875e+03, 1.113928100585938e+03, 1.11493310546875e+03, 1.116013427734375e+03, 1.117171875e+03, 1.118411254882812e+03, 1.119734741210938e+03, 1.12114501953125e+03, 1.12264501953125e+03, 1.124238037109375e+03, 1.1259267578125e+03, 1.12771435546875e+03, 1.12960400390625e+03, 1.131598876953125e+03, 1.133701904296875e+03, 1.135916625976562e+03, 1.138245971679688e+03, 1.140693603515625e+03, 1.1432626953125e+03, 1.145956665039062e+03, 1.148779052734375e+03, 1.1517333984375e+03, 1.1548232421875e+03, 1.158052368164062e+03, 1.161424438476562e+03, 1.164943359375e+03, 1.168612915039062e+03, 1.172437133789062e+03, 1.176420043945312e+03, 1.18056591796875e+03, 1.184878784179688e+03, 1.189363159179688e+03, 1.194023315429688e+03, 1.198863891601562e+03, 1.2038896484375e+03, 1.209105102539062e+03, 1.214515258789062e+03, 1.220125244140625e+03, 1.22593994140625e+03, 1.231964721679688e+03, 1.238205078125e+03, 1.24466650390625e+03, 1.251354736328125e+03, 1.258275634765625e+03, 1.265435180664062e+03, 1.272839477539062e+03, 1.2804951171875e+03, 1.288408569335938e+03, 1.296586669921875e+03, 1.305036254882812e+03, 1.313764404296875e+03, 1.32277880859375e+03, 1.332086791992188e+03, 1.3416962890625e+03, 1.351615478515625e+03, 1.3618525390625e+03, 1.372416259765625e+03, 1.383315307617188e+03, 1.394558959960938e+03, 1.406156616210938e+03, 1.4181181640625e+03, 1.43045361328125e+03, 1.44317333984375e+03, 1.456288208007812e+03, 1.469809204101562e+03, 1.483747802734375e+03, 1.498116088867188e+03, 1.512926147460938e+03, 1.528190795898438e+03, 1.543923095703125e+03, 1.560136596679688e+03, 1.576845458984375e+03, 1.594064208984375e+03, 1.611807861328125e+03, 1.630092041015625e+03, 1.648932739257812e+03, 1.668346923828125e+03, 1.688351684570312e+03, 1.70896484375e+03, 1.730205200195312e+03, 1.752091918945312e+03, 1.774644775390625e+03, 1.797884521484375e+03, 1.82183251953125e+03, 1.846510864257812e+03, 1.871942749023438e+03, 1.898151733398438e+03, 1.92516259765625e+03, 1.9530009765625e+03, 1.981693481445312e+03, 2.011267700195312e+03, 2.041752197265625e+03, 2.073176513671875e+03, 2.105571533203125e+03, 2.13896923828125e+03, 2.173402587890625e+03, 2.20890625e+03, 2.245515625e+03, 2.283268310546875e+03, 2.3222021484375e+03, 2.362357666015625e+03, 2.403776123046875e+03, 2.446500732421875e+03, 2.490576416015625e+03, 2.53604931640625e+03, 2.58296826171875e+03, 2.63138330078125e+03, 2.681346435546875e+03, 2.732912353515625e+03, 2.78613720703125e+03, 2.84107958984375e+03, 2.897800537109375e+03, 2.95636328125e+03, 3.016833984375e+03, 3.079281005859375e+03, 3.143775634765625e+03, 3.210391845703125e+03, 3.27920703125e+03, 3.350301025390625e+03, 3.42375732421875e+03, 3.499662841796875e+03, 3.578108154296875e+03, 3.6591865234375e+03, 3.74299658203125e+03, 3.829639404296875e+03, 3.91922119140625e+03, 4.0118525390625e+03, 4.10764794921875e+03, 4.20672705078125e+03, 4.3092138671875e+03, 4.41523876953125e+03, 4.52493603515625e+03, 4.63844677734375e+03, 4.7559169921875e+03, 4.8774990234375e+03, 5.0033515625e+03, 5.133640625e+03, 5.26853857421875e+03, 5.40822412109375e+03, 5.552884765625e+03, 5.70271533203125e+03, 5.85791943359375e+03, 6.0187080078125e+03, 6.1853017578125e+03, 6.35793115234375e+03, 6.5368349609375e+03, 6.722263671875e+03, 6.91447705078125e+03, 7.1137470703125e+03, 7.32035595703125e+03, 7.5345986328125e+03, 7.756783203125e+03, 7.98722998046875e+03, 8.2262734375e+03, 8.4742607421875e+03, 8.7315576171875e+03, 8.998541015625e+03, 9.275607421875e+03, 9.5631689453125e+03, 9.861654296875e+03, 1.01715126953125e+04, 1.04932119140625e+04, 1.082723828125e+04, 1.11741025390625e+04, 1.15343330078125e+04, 1.19084833984375e+04, 1.22971318359375e+04, 1.27008798828125e+04, 1.312035546875e+04, 1.35562138671875e+04, 1.40091376953125e+04, 1.44798408203125e+04, 1.49690654296875e+04, 1.5477587890625e+04, 1.6006216796875e+04, 1.6555796875e+04, 1.7127208984375e+04, 1.7721369140625e+04, 1.833923828125e+04, 1.8981814453125e+04, 1.9650138671875e+04, 2.034530078125e+04, 2.1068435546875e+04, 2.1820724609375e+04, 2.260340234375e+04, 2.34177578125e+04, 2.4265130859375e+04, 2.514692578125e+04, 2.6064599609375e+04, 2.70196796875e+04, 2.8013751953125e+04, 2.9048474609375e+04, 3.0125578125e+04, 3.1246861328125e+04, 3.241420703125e+04, 3.362957421875e+04, 3.489500390625e+04, 3.62126328125e+04, 3.75846796875e+04, 3.901345703125e+04, 4.050138671875e+04, 4.205098046875e+04, 4.36648671875e+04, 4.534577734375e+04, 4.70965703125e+04, 4.89202109375e+04, 5.081980078125e+04, 5.27985625e+04, 5.48598671875e+04, 5.700721484375e+04, 5.92442578125e+04, 6.157480078125e+04, 6.40028046875e+04, 6.653240625e+04, 6.91678984375e+04, 7.1913765625e+04, 7.4774671875e+04, 7.775546875e+04, 8.08612265625e+04, 8.4097203125e+04, 8.74688828125e+04, 9.0981984375e+04, 9.46424296875e+04, 9.8456421875e+04, 1.02430390625e+05]