last-generated=2025-05-20 statistics-simulation= { "linear": " ", "nonlinear": " ", "number of continuous time states": "1", "numerical Jacobians": "0" } time=[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, 1.003999948501587e+00, 1.008000016212463e+00, 1.01199996471405e+00, 1.016000032424927e+00, 1.019999980926514e+00, 1.02400004863739e+00, 1.027999997138977e+00, 1.031999945640564e+00, 1.03600001335144e+00, 1.039999961853027e+00, 1.044000029563904e+00, 1.047999978065491e+00, 1.052000045776367e+00, 1.055999994277954e+00, 1.059999942779541e+00, 1.064000010490417e+00, 1.067999958992004e+00, 1.072000026702881e+00, 1.075999975204468e+00, 1.080000042915344e+00, 1.083999991416931e+00, 1.088000059127808e+00, 1.092000007629395e+00, 1.095999956130981e+00, 1.100000023841858e+00, 1.103999972343445e+00, 1.108000040054321e+00, 1.111999988555908e+00, 1.116000056266785e+00, 1.120000004768372e+00, 1.123999953269958e+00, 1.128000020980835e+00, 1.131999969482422e+00, 1.136000037193298e+00, 1.139999985694885e+00, 1.144000053405762e+00, 1.148000001907349e+00, 1.151999950408936e+00, 1.156000018119812e+00, 1.159999966621399e+00, 1.164000034332275e+00, 1.167999982833862e+00, 1.172000050544739e+00, 1.175999999046326e+00, 1.179999947547913e+00, 1.184000015258789e+00, 1.187999963760376e+00, 1.192000031471252e+00, 1.195999979972839e+00, 1.200000047683716e+00, 1.203999996185303e+00, 1.20799994468689e+00, 1.212000012397766e+00, 1.215999960899353e+00, 1.220000028610229e+00, 1.223999977111816e+00, 1.228000044822693e+00, 1.23199999332428e+00, 1.235999941825867e+00, 1.240000009536743e+00, 1.24399995803833e+00, 1.248000025749207e+00, 1.251999974250793e+00, 1.25600004196167e+00, 1.259999990463257e+00, 1.264000058174133e+00, 1.26800000667572e+00, 1.271999955177307e+00, 1.276000022888184e+00, 1.279999971389771e+00, 1.284000039100647e+00, 1.287999987602234e+00, 1.29200005531311e+00, 1.296000003814697e+00, 1.299999952316284e+00, 1.304000020027161e+00, 1.307999968528748e+00, 1.312000036239624e+00, 1.315999984741211e+00, 1.320000052452087e+00, 1.324000000953674e+00, 1.327999949455261e+00, 1.332000017166138e+00, 1.335999965667725e+00, 1.340000033378601e+00, 1.343999981880188e+00, 1.348000049591064e+00, 1.351999998092651e+00, 1.355999946594238e+00, 1.360000014305115e+00, 1.363999962806702e+00, 1.368000030517578e+00, 1.371999979019165e+00, 1.376000046730042e+00, 1.379999995231628e+00, 1.383999943733215e+00, 1.388000011444092e+00, 1.391999959945679e+00, 1.396000027656555e+00, 1.399999976158142e+00, 1.404000043869019e+00, 1.407999992370605e+00, 1.411999940872192e+00, 1.416000008583069e+00, 1.419999957084656e+00, 1.424000024795532e+00, 1.427999973297119e+00, 1.432000041007996e+00, 1.435999989509583e+00, 1.440000057220459e+00, 1.444000005722046e+00, 1.447999954223633e+00, 1.452000021934509e+00, 1.455999970436096e+00, 1.460000038146973e+00, 1.46399998664856e+00, 1.468000054359436e+00, 1.472000002861023e+00, 1.47599995136261e+00, 1.480000019073486e+00, 1.483999967575073e+00, 1.48800003528595e+00, 1.491999983787537e+00, 1.496000051498413e+00, 1.5e+00, 1.503999948501587e+00, 1.508000016212463e+00, 1.51199996471405e+00, 1.516000032424927e+00, 1.519999980926514e+00, 1.52400004863739e+00, 1.527999997138977e+00, 1.531999945640564e+00, 1.53600001335144e+00, 1.539999961853027e+00, 1.544000029563904e+00, 1.547999978065491e+00, 1.552000045776367e+00, 1.555999994277954e+00, 1.559999942779541e+00, 1.564000010490417e+00, 1.567999958992004e+00, 1.572000026702881e+00, 1.575999975204468e+00, 1.580000042915344e+00, 1.583999991416931e+00, 1.588000059127808e+00, 1.592000007629395e+00, 1.595999956130981e+00, 1.600000023841858e+00, 1.603999972343445e+00, 1.608000040054321e+00, 1.611999988555908e+00, 1.616000056266785e+00, 1.620000004768372e+00, 1.623999953269958e+00, 1.628000020980835e+00, 1.631999969482422e+00, 1.636000037193298e+00, 1.639999985694885e+00, 1.644000053405762e+00, 1.648000001907349e+00, 1.651999950408936e+00, 1.656000018119812e+00, 1.659999966621399e+00, 1.664000034332275e+00, 1.667999982833862e+00, 1.672000050544739e+00, 1.675999999046326e+00, 1.679999947547913e+00, 1.684000015258789e+00, 1.687999963760376e+00, 1.692000031471252e+00, 1.695999979972839e+00, 1.700000047683716e+00, 1.703999996185303e+00, 1.70799994468689e+00, 1.712000012397766e+00, 1.715999960899353e+00, 1.720000028610229e+00, 1.723999977111816e+00, 1.728000044822693e+00, 1.73199999332428e+00, 1.735999941825867e+00, 1.740000009536743e+00, 1.74399995803833e+00, 1.748000025749207e+00, 1.751999974250793e+00, 1.75600004196167e+00, 1.759999990463257e+00, 1.764000058174133e+00, 1.76800000667572e+00, 1.771999955177307e+00, 1.776000022888184e+00, 1.779999971389771e+00, 1.784000039100647e+00, 1.787999987602234e+00, 1.79200005531311e+00, 1.796000003814697e+00, 1.799999952316284e+00, 1.804000020027161e+00, 1.807999968528748e+00, 1.812000036239624e+00, 1.815999984741211e+00, 1.820000052452087e+00, 1.824000000953674e+00, 1.827999949455261e+00, 1.832000017166138e+00, 1.835999965667725e+00, 1.840000033378601e+00, 1.843999981880188e+00, 1.848000049591064e+00, 1.851999998092651e+00, 1.855999946594238e+00, 1.860000014305115e+00, 1.863999962806702e+00, 1.868000030517578e+00, 1.871999979019165e+00, 1.876000046730042e+00, 1.879999995231628e+00, 1.883999943733215e+00, 1.888000011444092e+00, 1.891999959945679e+00, 1.896000027656555e+00, 1.899999976158142e+00, 1.904000043869019e+00, 1.907999992370605e+00, 1.911999940872192e+00, 1.916000008583069e+00, 1.919999957084656e+00, 1.924000024795532e+00, 1.927999973297119e+00, 1.932000041007996e+00, 1.935999989509583e+00, 1.940000057220459e+00, 1.944000005722046e+00, 1.947999954223633e+00, 1.952000021934509e+00, 1.955999970436096e+00, 1.960000038146973e+00, 1.96399998664856e+00, 1.968000054359436e+00, 1.972000002861023e+00, 1.97599995136261e+00, 1.980000019073486e+00, 1.983999967575073e+00, 1.98800003528595e+00, 1.991999983787537e+00, 1.996000051498413e+00, 2e+00] cos1.y=[1e+00, 9.9968421459198e-01, 9.987370371818542e-01, 9.971590638160706e-01, 9.949513077735901e-01, 9.921151399612427e-01, 9.886524081230164e-01, 9.84565258026123e-01, 9.798562526702881e-01, 9.745283722877502e-01, 9.685850143432617e-01, 9.620298743247986e-01, 9.548671841621399e-01, 9.471014142036438e-01, 9.387374520301819e-01, 9.297806024551392e-01, 9.202364683151245e-01, 9.101111888885498e-01, 8.994110822677612e-01, 8.881429433822632e-01, 8.763138055801392e-01, 8.639312386512756e-01, 8.510030508041382e-01, 8.375373482704163e-01, 8.235427141189575e-01, 8.090279102325439e-01, 7.940021157264709e-01, 7.784748673439026e-01, 7.62455940246582e-01, 7.459554672241211e-01, 7.289838790893555e-01, 7.115518450737e-01, 6.93670392036438e-01, 6.753508448600769e-01, 6.566047668457031e-01, 6.374439597129822e-01, 6.178805828094482e-01, 5.979269742965698e-01, 5.775957107543945e-01, 5.568996071815491e-01, 5.358518362045288e-01, 5.144655704498291e-01, 4.927544295787811e-01, 4.707320630550385e-01, 4.484123587608337e-01, 4.258094727993011e-01, 4.02937650680542e-01, 3.798113167285919e-01, 3.564451336860657e-01, 3.328537940979004e-01, 3.090522289276123e-01, 2.850554883480072e-01, 2.60878711938858e-01, 2.365371733903885e-01, 2.120462208986282e-01, 1.874213665723801e-01, 1.626781225204468e-01, 1.378321349620819e-01, 1.128991022706032e-01, 8.789476007223129e-02, 6.283490359783173e-02, 3.773536533117294e-02, 1.26119926571846e-02, -1.2519346550107e-02, -3.764277696609497e-02, -6.27424344420433e-02, -8.78024622797966e-02, -1.128070428967476e-01, -1.377403736114502e-01, -1.625867038965225e-01, -1.87330350279808e-01, -2.119556814432144e-01, -2.364471405744553e-01, -2.607892751693726e-01, -2.849666774272919e-01, -3.089641332626343e-01, -3.327664136886597e-01, -3.563585579395294e-01, -3.797256052494049e-01, -4.028528332710266e-01, -4.257256388664246e-01, -4.483295381069183e-01, -4.70650315284729e-01, -4.926738142967224e-01, -5.143861174583435e-01, -5.357735753059387e-01, -5.56822657585144e-01, -5.775200724601746e-01, -5.978527069091797e-01, -6.178077459335327e-01, -6.37372612953186e-01, -6.565348505973816e-01, -6.752825379371643e-01, -6.936036348342896e-01, -7.114866971969604e-01, -7.289204001426697e-01, -7.458937764167786e-01, -7.62395977973938e-01, -7.784166932106018e-01, -7.939457893371582e-01, -8.089734315872192e-01, -8.234901428222656e-01, -8.37486743927002e-01, -8.509544134140015e-01, -8.638845682144165e-01, -8.762691617012024e-01, -8.881003260612488e-01, -8.99370551109314e-01, -9.100728034973145e-01, -9.202002286911011e-01, -9.297464489936829e-01, -9.387055039405823e-01, -9.470716714859009e-01, -9.548396468162537e-01, -9.620046019554138e-01, -9.685619473457336e-01, -9.745075702667236e-01, -9.798377156257629e-01, -9.845490455627441e-01, -9.886384606361389e-01, -9.921035766601562e-01, -9.949420094490051e-01, -9.971520900726318e-01, -9.987323880195618e-01, -9.996818900108337e-01, -1e+00, -9.996865391731262e-01, -9.987416863441467e-01, -9.971660375595093e-01, -9.94960606098175e-01, -9.921267628669739e-01, -9.886663556098938e-01, -9.84581470489502e-01, -9.798747301101685e-01, -9.745491147041321e-01, -9.68608021736145e-01, -9.620552062988281e-01, -9.548947215080261e-01, -9.471311569213867e-01, -9.387693405151367e-01, -9.298146963119507e-01, -9.202727675437927e-01, -9.101495742797852e-01, -8.994515538215637e-01, -8.881855010986328e-01, -8.763584494590759e-01, -8.639779090881348e-01, -8.510516881942749e-01, -8.375879526138306e-01, -8.235952258110046e-01, -8.090823292732239e-01, -7.940584421157837e-01, -7.785330414772034e-01, -7.625159025192261e-01, -7.460171580314636e-01, -7.290472984313965e-01, -7.116169333457947e-01, -6.937371492385864e-01, -6.754191517829895e-01, -6.566746234893799e-01, -6.375153660774231e-01, -6.179534196853638e-01, -5.9800124168396e-01, -5.776713490486145e-01, -5.569765567779541e-01, -5.359300374984741e-01, -5.145450234413147e-01, -4.928350448608398e-01, -4.708138108253479e-01, -4.484951794147491e-01, -4.258933067321777e-01, -4.03022438287735e-01, -3.798970282077789e-01, -3.565316796302795e-01, -3.329411745071411e-01, -3.091403543949127e-01, -2.851442992687225e-01, -2.609681487083435e-01, -2.366271913051605e-01, -2.121367752552032e-01, -1.875123679637909e-01, -1.62769541144371e-01, -1.379239112138748e-01, -1.129911616444588e-01, -8.798705786466599e-02, -6.292737275362015e-02, -3.782795369625092e-02, -1.27046387642622e-02, 1.242669951170683e-02, 3.7550188601017e-02, 6.264996528625488e-02, 8.77101719379425e-02, 1.127149760723114e-01, 1.376485973596573e-01, 1.624952852725983e-01, 1.87239333987236e-01, 2.118651270866394e-01, 2.36357107758522e-01, 2.606998085975647e-01, 2.848778665065765e-01, 3.088760077953339e-01, 3.326790332794189e-01, 3.562719821929932e-01, 3.796398937702179e-01, 4.027680456638336e-01, 4.25641804933548e-01, 4.482467174530029e-01, 4.705685675144196e-01, 4.925931692123413e-01, 5.143066644668579e-01, 5.356953740119934e-01, 5.56745707988739e-01, 5.774444341659546e-01, 5.977784395217896e-01, 6.177349090576172e-01, 6.373012065887451e-01, 6.564649939537048e-01, 6.752141714096069e-01, 6.935368776321411e-01, 7.114216089248657e-01, 7.288569808006287e-01, 7.458320260047913e-01, 7.623360157012939e-01, 7.78358519077301e-01, 7.938894629478455e-01, 8.089189529418945e-01, 8.234375715255737e-01, 8.374360799789429e-01, 8.5090571641922e-01, 8.638378977775574e-01, 8.762245178222656e-01, 8.880577683448792e-01, 8.993300795555115e-01, 9.100344181060791e-01, 9.201639294624329e-01, 9.297123551368713e-01, 9.386735558509827e-01, 9.47041928768158e-01, 9.548121094703674e-01, 9.619793295860291e-01, 9.685388803482056e-01, 9.74486768245697e-01, 9.798192381858826e-01, 9.845327734947205e-01, 9.886245727539062e-01, 9.92091953754425e-01, 9.949327111244202e-01, 9.971451163291931e-01, 9.987276792526245e-01, 9.996795058250427e-01, 1e+00, 9.996888637542725e-01, 9.987463355064392e-01, 9.97173011302948e-01, 9.9496990442276e-01, 9.921383857727051e-01, 9.886802434921265e-01, 9.845976829528809e-01, 9.798932075500488e-01, 9.745699167251587e-01, 9.686310887336731e-01, 9.620804786682129e-01, 9.549221992492676e-01, 9.471608400344849e-01, 9.388012886047363e-01, 9.298487901687622e-01, 9.203090071678162e-01, 9.101879596710205e-01, 8.99492084980011e-01, 8.882280588150024e-01, 8.764030933380127e-01, 8.640245795249939e-01, 8.511003255844116e-01, 8.376386165618896e-01, 8.236477971076965e-01, 8.091368079185486e-01, 7.941147685050964e-01, 7.785911560058594e-01, 7.625758051872253e-01, 7.460788488388062e-01, 7.291106581687927e-01, 7.116820216178894e-01, 6.938038468360901e-01, 6.754875183105469e-01, 6.567445397377014e-01, 6.37586772441864e-01, 6.180262565612793e-01, 5.980755090713501e-01, 5.777469277381897e-01, 5.570535063743591e-01, 5.360082983970642e-01, 5.146244764328003e-01, 4.929156601428986e-01, 4.70895528793335e-01, 4.485780000686646e-01, 4.259771406650543e-01, 4.03107225894928e-01, 3.799827396869659e-01, 3.566182553768158e-01, 3.330285251140594e-01, 3.092284798622131e-01, 2.852331101894379e-01, 2.610576152801514e-01, 2.367172092199326e-01, 2.122273147106171e-01, 1.876033842563629e-01, 1.628609597682953e-01, 1.380156725645065e-01, 1.130832210183144e-01, 8.807934820652008e-02, 6.301984190940857e-02, 3.792053833603859e-02, 1.27972848713398e-02, -1.233405340462923e-02, -3.745760023593903e-02, -6.255748867988586e-02, -8.761787414550781e-02, -1.126229166984558e-01, -1.375568211078644e-01, -1.624038517475128e-01, -1.87148317694664e-01, -2.117745727300644e-01, -2.3626708984375e-01, -2.606103718280792e-01, -2.847890555858612e-01, -3.087878823280334e-01, -3.325916826725006e-01, -3.561854064464569e-01, -3.795541822910309e-01, -4.026832282543182e-01, -4.25557941198349e-01, -4.481638967990875e-01, -4.704867899417877e-01, -4.925125539302826e-01, -5.142272114753723e-01, -5.356171131134033e-01, -5.56668758392334e-01, -5.773687958717346e-01, -5.977041721343994e-01, -6.176620125770569e-01, -6.372298002243042e-01, -6.563950777053833e-01, -6.751458048820496e-01, -6.934701800346375e-01, -7.113564610481262e-01, -7.287935614585876e-01, -7.457703351974487e-01, -7.622760534286499e-01, -7.783003449440002e-01, -7.938331365585327e-01, -8.088644742965698e-01, -8.233850002288818e-01, -8.373854756355286e-01, -8.508570194244385e-01, -8.637912273406982e-01, -8.761798739433289e-01, -8.880151510238647e-01, -8.992895483970642e-01, -9.09995973110199e-01, -9.201276898384094e-01, -9.29678201675415e-01, -9.386416077613831e-01, -9.470121264457703e-01, -9.547845721244812e-01, -9.619539976119995e-01, -9.685158133506775e-01, -9.744659662246704e-01, -9.798007011413574e-01, -9.845165610313416e-01, -9.886106252670288e-01, -9.920802712440491e-01, -9.949233531951904e-01, -9.971380829811096e-01, -9.98723030090332e-01, -9.996771812438965e-01, -9.999999403953552e-01, -9.996911287307739e-01, -9.987509846687317e-01, -9.971799850463867e-01, -9.949791431427002e-01, -9.921499490737915e-01, -9.886941313743591e-01, -9.84613835811615e-01, -9.799116849899292e-01, -9.745906591415405e-01, -9.686540961265564e-01, -9.621057510375977e-01, -9.549497365951538e-01, -9.471905827522278e-01, -9.388331770896912e-01, -9.298828840255737e-01, -9.203452467918396e-01, -9.102263450622559e-01, -8.995325565338135e-01, -8.882706165313721e-01, -8.764476776123047e-01, -8.640711903572083e-01, -8.511489629745483e-01, -8.37689220905304e-01, -8.237003087997437e-01, -8.091912269592285e-01, -7.941710352897644e-01, -7.786493301391602e-01, -7.626357674598694e-01, -7.461405396461487e-01, -7.291740775108337e-01, -7.117471098899841e-01, -6.938706040382385e-01, -6.755558252334595e-01, -6.568143963813782e-01, -6.376581192016602e-01, -6.180991530418396e-01, -5.981497168540955e-01, -5.778225660324097e-01, -5.571304559707642e-01, -5.360864996910095e-01, -5.147039294242859e-01, -4.929962754249573e-01, -4.709772765636444e-01, -4.486607909202576e-01, -4.260609447956085e-01, -4.03192013502121e-01, -3.80068451166153e-01, -3.567048013210297e-01, -3.331159055233002e-01, -3.093165755271912e-01, -2.853219211101532e-01, -2.611470520496368e-01, -2.368072271347046e-01, -2.123178541660309e-01, -1.876943856477737e-01, -1.629523783922195e-01, -1.381074339151382e-01, -1.1317528039217e-01, -8.817163854837418e-02, -6.311231106519699e-02, -3.801312670111656e-02, -1.28899309784174e-02, 1.224140636622906e-02, 3.736501187086105e-02, 6.246501952409744e-02, 8.752557635307312e-02, 1.125308498740196e-01, 1.374650448560715e-01, 1.623124331235886e-01, 1.87057301402092e-01, 2.116840183734894e-01, 2.361770570278168e-01, 2.605209052562714e-01, 2.847002446651459e-01, 3.08699756860733e-01, 3.325043022632599e-01, 3.560988306999207e-01, 3.794684410095215e-01, 4.025984108448029e-01, 4.254741072654724e-01, 4.480810761451721e-01, 4.704050421714783e-01, 4.924319088459015e-01, 5.141477584838867e-01, 5.355388522148132e-01, 5.565917491912842e-01, 5.772930979728699e-01, 5.976298451423645e-01, 6.175891757011414e-01, 6.371583938598633e-01, 6.563251614570618e-01, 6.75077497959137e-01, 6.934033632278442e-01, 7.112913727760315e-01, 7.287300825119019e-01, 7.457085847854614e-01, 7.622160911560059e-01, 7.782421708106995e-01, 7.937767505645752e-01, 8.088099956512451e-01, 8.233324289321899e-01, 8.373348116874695e-01, 8.508083820343018e-01, 8.637445569038391e-01, 8.761352300643921e-01, 8.879725337028503e-01, 8.992490172386169e-01, 9.099575877189636e-01, 9.200913906097412e-01, 9.296441078186035e-01, 9.386096596717834e-01, 9.469823837280273e-01, 9.54757034778595e-01, 9.6192866563797e-01, 9.684927463531494e-01, 9.744451642036438e-01, 9.797821640968323e-01, 9.845002889633179e-01, 9.885966777801514e-01, 9.920686483383179e-01, 9.949140548706055e-01, 9.971311092376709e-01, 9.987183213233948e-01, 9.996747970581055e-01, 9.999999403953552e-01] der1.y=[-1e+01, -6.730448246002197e+00, -4.591506958007812e+00, -3.209422588348389e+00, -2.334891796112061e+00, -1.800529360771179e+00, -1.493721008300781e+00, -1.339508414268494e+00, -1.287742972373962e+00, -1.304118990898132e+00, -1.365703582763672e+00, -1.457411766052246e+00, -1.569170117378235e+00, -1.693712830543518e+00, -1.826310276985168e+00, -1.96401035785675e+00, -2.104769706726074e+00, -2.247013092041016e+00, -2.389681577682495e+00, -2.532027959823608e+00, -2.673631906509399e+00, -2.81415319442749e+00, -2.953295707702637e+00, -3.090909481048584e+00, -3.226758718490601e+00, -3.360683441162109e+00, -3.492546319961548e+00, -3.622236967086792e+00, -3.749644756317139e+00, -3.874707460403442e+00, -3.997328758239746e+00, -4.117427349090576e+00, -4.234966278076172e+00, -4.349818706512451e+00, -4.461946487426758e+00, -4.571268558502197e+00, -4.677701950073242e+00, -4.78118371963501e+00, -4.88164234161377e+00, -4.97901439666748e+00, -5.073233604431152e+00, -5.164239883422852e+00, -5.251981735229492e+00, -5.336413383483887e+00, -5.417461395263672e+00, -5.495075225830078e+00, -5.569226264953613e+00, -5.639884471893311e+00, -5.706962108612061e+00, -5.770425796508789e+00, -5.830257892608643e+00, -5.886435508728027e+00, -5.93887186050415e+00, -5.987551689147949e+00, -6.032460689544678e+00, -6.073584079742432e+00, -6.110841274261475e+00, -6.144236087799072e+00, -6.173759460449219e+00, -6.199406623840332e+00, -6.221102237701416e+00, -6.238868713378906e+00, -6.252706527709961e+00, -6.262622356414795e+00, -6.268593311309814e+00, -6.27059268951416e+00, -6.268619060516357e+00, -6.262662887573242e+00, -6.252725601196289e+00, -6.238857746124268e+00, -6.221039295196533e+00, -6.199316501617432e+00, -6.173703670501709e+00, -6.144199848175049e+00, -6.110822200775146e+00, -6.07357931137085e+00, -6.032482624053955e+00, -5.987566947937012e+00, -5.938858509063721e+00, -5.886394023895264e+00, -5.830218315124512e+00, -5.77036190032959e+00, -5.706868648529053e+00, -5.639775276184082e+00, -5.569119453430176e+00, -5.494963645935059e+00, -5.417342662811279e+00, -5.336288452148438e+00, -5.251854419708252e+00, -5.164138793945312e+00, -5.073154926300049e+00, -4.978933811187744e+00, -4.881556510925293e+00, -4.781120300292969e+00, -4.677650928497314e+00, -4.571199893951416e+00, -4.461857318878174e+00, -4.349702835083008e+00, -4.234797954559326e+00, -4.1172194480896e+00, -3.997040510177612e+00, -3.874341011047363e+00, -3.74920129776001e+00, -3.621703386306763e+00, -3.491921424865723e+00, -3.359938383102417e+00, -3.225834846496582e+00, -3.089691877365112e+00, -2.95160436630249e+00, -2.811651468276978e+00, -2.669917583465576e+00, -2.526491165161133e+00, -2.381471872329712e+00, -2.234946250915527e+00, -2.087007284164429e+00, -1.937749266624451e+00, -1.787267208099365e+00, -1.63565731048584e+00, -1.483016610145569e+00, -1.329442739486694e+00, -1.175033807754517e+00, -1.019887804985046e+00, -8.64102840423584e-01, -7.077763080596924e-01, -5.510051846504211e-01, -3.938852250576019e-01, -2.365107238292694e-01, -7.897423952817917e-02, 7.863396406173706e-02, 2.362079471349716e-01, 3.936220705509186e-01, 5.507782697677612e-01, 7.075774669647217e-01, 8.639246225357056e-01, 1.01972508430481e+00, 1.174867749214172e+00, 1.329265356063843e+00, 1.482832789421082e+00, 1.635463953018188e+00, 1.787039756774902e+00, 1.937493324279785e+00, 2.086749315261841e+00, 2.234684228897095e+00, 2.381195545196533e+00, 2.526214122772217e+00, 2.669660329818726e+00, 2.811414480209351e+00, 2.95139217376709e+00, 3.089508295059204e+00, 3.225674629211426e+00, 3.359802007675171e+00, 3.491804599761963e+00, 3.621597051620483e+00, 3.749096155166626e+00, 3.874224185943604e+00, 3.99690055847168e+00, 4.117049217224121e+00, 4.234596252441406e+00, 4.349470615386963e+00, 4.461604595184326e+00, 4.570907592773438e+00, 4.677311420440674e+00, 4.780759811401367e+00, 4.881191730499268e+00, 4.978550434112549e+00, 5.072782039642334e+00, 5.163825988769531e+00, 5.251569271087646e+00, 5.335996150970459e+00, 5.417056560516357e+00, 5.494703769683838e+00, 5.568892955780029e+00, 5.639585494995117e+00, 5.706704139709473e+00, 5.77020263671875e+00, 5.830058097839355e+00, 5.886233806610107e+00, 5.93869686126709e+00, 5.98741626739502e+00, 6.03236198425293e+00, 6.073477745056152e+00, 6.110755920410156e+00, 6.144174575805664e+00, 6.173713207244873e+00, 6.199356555938721e+00, 6.221090316772461e+00, 6.238888740539551e+00, 6.252737522125244e+00, 6.262636661529541e+00, 6.268581390380859e+00, 6.270570278167725e+00, 6.268603801727295e+00, 6.262685775756836e+00, 6.252798080444336e+00, 6.238961219787598e+00, 6.221184730529785e+00, 6.19948148727417e+00, 6.173864841461182e+00, 6.14435338973999e+00, 6.110960483551025e+00, 6.073705673217773e+00, 6.032615184783936e+00, 5.987714290618896e+00, 5.939031600952148e+00, 5.8865966796875e+00, 5.830442905426025e+00, 5.770610332489014e+00, 5.707133293151855e+00, 5.640051364898682e+00, 5.569406032562256e+00, 5.495240211486816e+00, 5.417599678039551e+00, 5.336539268493652e+00, 5.252114295959473e+00, 5.164372444152832e+00, 5.073368072509766e+00, 4.979156970977783e+00, 4.881796360015869e+00, 4.781346321105957e+00, 4.677891731262207e+00, 4.571484088897705e+00, 4.462188720703125e+00, 4.350072860717773e+00, 4.23520565032959e+00, 4.117654323577881e+00, 3.997507095336914e+00, 3.87484884262085e+00, 3.749743938446045e+00, 3.62226939201355e+00, 3.492502212524414e+00, 3.360520362854004e+00, 3.226401329040527e+00, 3.090274333953857e+00, 2.952197074890137e+00, 2.812254428863525e+00, 2.6705322265625e+00, 2.527115345001221e+00, 2.382088422775269e+00, 2.235561370849609e+00, 2.08764386177063e+00, 1.938408613204956e+00, 1.787946939468384e+00, 1.636350154876709e+00, 1.483708381652832e+00, 1.330110430717468e+00, 1.175708889961243e+00, 1.020568013191223e+00, 8.647819757461548e-01, 7.084458470344543e-01, 5.516531467437744e-01, 3.944958448410034e-01, 2.370923608541489e-01, 7.956653833389282e-02, -7.800867408514023e-02, -2.355367988348007e-01, -3.929229378700256e-01, -5.500742197036743e-01, -7.068999409675598e-01, -8.63240122795105e-01, -1.019029855728149e+00, -1.174176454544067e+00, -1.328585743904114e+00, -1.482166051864624e+00, -1.634827733039856e+00, -1.786456227302551e+00, -1.936925649642944e+00, -2.086170673370361e+00, -2.234100580215454e+00, -2.38062596321106e+00, -2.52566123008728e+00, -2.669122934341431e+00, -2.81086277961731e+00, -2.950819969177246e+00, -3.088913679122925e+00, -3.225060701370239e+00, -3.359179973602295e+00, -3.491194486618042e+00, -3.621005296707153e+00, -3.748498439788818e+00, -3.873623132705688e+00, -3.99630331993103e+00, -4.11646556854248e+00, -4.234039783477783e+00, -4.348959922790527e+00, -4.461102485656738e+00, -4.570419788360596e+00, -4.676850318908691e+00, -4.780330657958984e+00, -4.880799770355225e+00, -4.978200912475586e+00, -5.072460174560547e+00, -5.16348934173584e+00, -5.251255989074707e+00, -5.335708141326904e+00, -5.416794776916504e+00, -5.49446964263916e+00, -5.568689823150635e+00, -5.639370918273926e+00, -5.706482887268066e+00, -5.76999044418335e+00, -5.829856395721436e+00, -5.886046409606934e+00, -5.938529014587402e+00, -5.987264156341553e+00, -6.032197952270508e+00, -6.073321342468262e+00, -6.110609531402588e+00, -6.144042015075684e+00, -6.173599720001221e+00, -6.199268341064453e+00, -6.221009254455566e+00, -6.238815307617188e+00, -6.252680778503418e+00, -6.262598991394043e+00, -6.268564701080322e+00, -6.270576953887939e+00, -6.268631458282471e+00, -6.262716293334961e+00, -6.252845287322998e+00, -6.239025592803955e+00, -6.221266746520996e+00, -6.199580669403076e+00, -6.173982620239258e+00, -6.144481658935547e+00, -6.111098289489746e+00, -6.073855400085449e+00, -6.032776355743408e+00, -5.987887382507324e+00, -5.939216613769531e+00, -5.886795043945312e+00, -5.8306565284729e+00, -5.770835876464844e+00, -5.707370281219482e+00, -5.640298843383789e+00, -5.569663524627686e+00, -5.49550724029541e+00, -5.417884826660156e+00, -5.336843967437744e+00, -5.252432346343994e+00, -5.164702415466309e+00, -5.073708057403564e+00, -4.979504108428955e+00, -4.88215160369873e+00, -4.781729221343994e+00, -4.678287506103516e+00, -4.571890354156494e+00, -4.462603092193604e+00, -4.350492000579834e+00, -4.235623836517334e+00, -4.118091106414795e+00, -3.997966289520264e+00, -3.875316619873047e+00, -3.750217437744141e+00, -3.622744798660278e+00, -3.492974519729614e+00, -3.360990524291992e+00, -3.226908445358276e+00, -3.090789556503296e+00, -2.952717542648315e+00, -2.812776565551758e+00, -2.671051025390625e+00, -2.527623891830444e+00, -2.382614135742188e+00, -2.236114501953125e+00, -2.088202714920044e+00, -1.938969731330872e+00, -1.78850519657135e+00, -1.636898517608643e+00, -1.484245538711548e+00, -1.330689311027527e+00, -1.176294207572937e+00, -1.021154999732971e+00, -8.653660416603088e-01, -7.090202569961548e-01, -5.522090196609497e-01, -3.950634002685547e-01, -2.376880347728729e-01, -8.016293495893478e-02, 7.741567492485046e-02, 2.349530905485153e-01, 3.923565447330475e-01, 5.495285391807556e-01, 7.063130140304565e-01, 8.626498579978943e-01, 1.018442869186401e+00, 1.173597931861877e+00, 1.328022718429565e+00, 1.481627821922302e+00, 1.634284138679504e+00, 1.785885334014893e+00, 1.936358094215393e+00, 2.085610866546631e+00, 2.233554124832153e+00, 2.380101442337036e+00, 2.525163888931274e+00, 2.668588161468506e+00, 2.810325622558594e+00, 2.950291633605957e+00, 3.088404178619385e+00, 3.224586009979248e+00, 3.358715295791626e+00, 3.490692377090454e+00, 3.620465278625488e+00, 3.747960329055786e+00, 3.873110055923462e+00, 3.995847702026367e+00, 4.116033554077148e+00, 4.233624935150146e+00, 4.348549365997314e+00, 4.460730075836182e+00, 4.570080757141113e+00, 4.676541805267334e+00, 4.780050754547119e+00, 4.880532264709473e+00, 4.977920532226562e+00, 5.072166919708252e+00, 5.163222312927246e+00, 5.250995635986328e+00, 5.335451126098633e+00, 5.416547775268555e+00, 5.494236469268799e+00, 5.568432807922363e+00, 5.639115810394287e+00, 5.706252098083496e+00, 5.76978588104248e+00, 5.829659461975098e+00, 5.885856628417969e+00, 5.938353538513184e+00, 5.987083911895752e+00, 6.032025814056396e+00, 6.073166847229004e+00, 6.110488414764404e+00, 6.143930912017822e+00, 6.173494338989258e+00, 6.199165344238281e+00, 6.22093391418457e+00, 6.238762378692627e+00, 6.252652168273926e+00, 6.262594223022461e+00, 6.268583297729492e+00, 6.27061128616333e+00, 6.268677711486816e+00, 6.262783527374268e+00, 6.252930641174316e+00, 6.239127635955811e+00, 6.221382617950439e+00, 6.19970703125e+00, 6.174115180969238e+00, 6.144622802734375e+00, 6.111248970031738e+00, 6.074015617370605e+00, 6.032947540283203e+00, 5.988069534301758e+00, 5.939409732818604e+00, 5.886999607086182e+00, 5.830871105194092e+00, 5.771060466766357e+00, 5.707605838775635e+00, 5.640545845031738e+00, 5.569921970367432e+00, 5.495779991149902e+00, 5.418167591094971e+00, 5.337132930755615e+00, 5.252726078033447e+00, 5.165001392364502e+00, 5.074015140533447e+00, 4.979824542999268e+00, 4.882487773895264e+00, 4.782067775726318e+00, 4.678628444671631e+00, 4.572234630584717e+00, 4.462952136993408e+00, 4.350851535797119e+00, 4.236008167266846e+00, 4.118491172790527e+00, 3.998373746871948e+00, 3.875729322433472e+00, 3.750632286071777e+00, 3.623162031173706e+00, 3.493421792984009e+00, 3.36147665977478e+00, 3.227407455444336e+00, 3.091294765472412e+00, 2.953218460083008e+00, 2.813261270523071e+00, 2.671558141708374e+00, 2.528168201446533e+00, 2.383179187774658e+00, 2.236678838729858e+00, 2.088754653930664e+00, 1.939492583274841e+00, 1.789032697677612e+00, 1.637446403503418e+00, 1.484824895858765e+00, 1.33126163482666e+00, 1.176849603652954e+00, 1.02168083190918e+00, 8.65884006023407e-01, 7.095492482185364e-01, 5.527666807174683e-01, 3.956325352191925e-01]