last-generated=2025-05-20
statistics-simulation=
{
  "linear": " ",
  "nonlinear": " ",
  "numerical Jacobians": "0"
}
time=[0e+00, 1.000000014901161e-01, 2.000000029802322e-01, 3.00000011920929e-01, 4.000000059604645e-01, 5e-01, 6.000000238418579e-01, 6.99999988079071e-01, 8.00000011920929e-01, 8.999999761581421e-01, 1e+00, 1.100000023841858e+00, 1.200000047683716e+00, 1.299999952316284e+00, 1.399999976158142e+00, 1.5e+00, 1.600000023841858e+00, 1.700000047683716e+00, 1.799999952316284e+00, 1.899999976158142e+00, 2e+00, 2.099999904632568e+00, 2.200000047683716e+00, 2.299999952316284e+00, 2.400000095367432e+00, 2.5e+00, 2.599999904632568e+00, 2.700000047683716e+00, 2.799999952316284e+00, 2.900000095367432e+00, 3e+00, 3.099999904632568e+00, 3.200000047683716e+00, 3.299999952316284e+00, 3.400000095367432e+00, 3.5e+00, 3.599999904632568e+00, 3.700000047683716e+00, 3.799999952316284e+00, 3.900000095367432e+00, 4e+00, 4.099999904632568e+00, 4.199999809265137e+00, 4.300000190734863e+00, 4.400000095367432e+00, 4.5e+00, 4.599999904632568e+00, 4.699999809265137e+00, 4.800000190734863e+00, 4.900000095367432e+00, 5e+00, 5.099999904632568e+00, 5.199999809265137e+00, 5.300000190734863e+00, 5.400000095367432e+00, 5.5e+00, 5.599999904632568e+00, 5.699999809265137e+00, 5.800000190734863e+00, 5.900000095367432e+00, 6e+00, 6.099999904632568e+00, 6.199999809265137e+00, 6.300000190734863e+00, 6.400000095367432e+00, 6.5e+00, 6.599999904632568e+00, 6.699999809265137e+00, 6.800000190734863e+00, 6.900000095367432e+00, 7e+00, 7.099999904632568e+00, 7.199999809265137e+00, 7.300000190734863e+00, 7.400000095367432e+00, 7.5e+00, 7.599999904632568e+00, 7.699999809265137e+00, 7.800000190734863e+00, 7.900000095367432e+00, 8e+00, 8.100000381469727e+00, 8.199999809265137e+00, 8.300000190734863e+00, 8.399999618530273e+00, 8.5e+00, 8.600000381469727e+00, 8.699999809265137e+00, 8.800000190734863e+00, 8.899999618530273e+00, 9e+00, 9.100000381469727e+00, 9.199999809265137e+00, 9.300000190734863e+00, 9.399999618530273e+00, 9.5e+00, 9.600000381469727e+00, 9.699999809265137e+00, 9.800000190734863e+00, 9.899999618530273e+00, 1e+01, 1.010000038146973e+01, 1.019999980926514e+01, 1.030000019073486e+01, 1.039999961853027e+01, 1.05e+01, 1.060000038146973e+01, 1.069999980926514e+01, 1.080000019073486e+01, 1.089999961853027e+01, 1.1e+01, 1.110000038146973e+01, 1.119999980926514e+01, 1.130000019073486e+01, 1.139999961853027e+01, 1.15e+01, 1.160000038146973e+01, 1.169999980926514e+01, 1.180000019073486e+01, 1.189999961853027e+01, 1.2e+01, 1.210000038146973e+01, 1.219999980926514e+01, 1.230000019073486e+01, 1.239999961853027e+01, 1.25e+01, 1.260000038146973e+01, 1.269999980926514e+01, 1.280000019073486e+01, 1.289999961853027e+01, 1.3e+01, 1.310000038146973e+01, 1.319999980926514e+01, 1.330000019073486e+01, 1.339999961853027e+01, 1.35e+01, 1.360000038146973e+01, 1.369999980926514e+01, 1.380000019073486e+01, 1.389999961853027e+01, 1.4e+01, 1.410000038146973e+01, 1.419999980926514e+01, 1.430000019073486e+01, 1.439999961853027e+01, 1.45e+01, 1.460000038146973e+01, 1.469999980926514e+01, 1.480000019073486e+01, 1.489999961853027e+01, 1.5e+01, 1.510000038146973e+01, 1.519999980926514e+01, 1.530000019073486e+01, 1.539999961853027e+01, 1.55e+01, 1.560000038146973e+01, 1.569999980926514e+01, 1.580000019073486e+01, 1.589999961853027e+01, 1.6e+01, 1.610000038146973e+01, 1.620000076293945e+01, 1.629999923706055e+01, 1.639999961853027e+01, 1.65e+01, 1.660000038146973e+01, 1.670000076293945e+01, 1.679999923706055e+01, 1.689999961853027e+01, 1.7e+01, 1.710000038146973e+01, 1.720000076293945e+01, 1.729999923706055e+01, 1.739999961853027e+01, 1.75e+01, 1.760000038146973e+01, 1.770000076293945e+01, 1.779999923706055e+01, 1.789999961853027e+01, 1.8e+01, 1.810000038146973e+01, 1.820000076293945e+01, 1.829999923706055e+01, 1.839999961853027e+01, 1.85e+01, 1.860000038146973e+01, 1.870000076293945e+01, 1.879999923706055e+01, 1.889999961853027e+01, 1.9e+01, 1.910000038146973e+01, 1.920000076293945e+01, 1.929999923706055e+01, 1.939999961853027e+01, 1.95e+01, 1.960000038146973e+01, 1.970000076293945e+01, 1.979999923706055e+01, 1.989999961853027e+01, 2e+01, 2.010000038146973e+01, 2.020000076293945e+01, 2.029999923706055e+01, 2.039999961853027e+01, 2.05e+01, 2.060000038146973e+01, 2.070000076293945e+01, 2.079999923706055e+01, 2.089999961853027e+01, 2.1e+01, 2.110000038146973e+01, 2.120000076293945e+01, 2.129999923706055e+01, 2.139999961853027e+01, 2.15e+01, 2.160000038146973e+01, 2.170000076293945e+01, 2.179999923706055e+01, 2.189999961853027e+01, 2.2e+01, 2.210000038146973e+01, 2.220000076293945e+01, 2.229999923706055e+01, 2.239999961853027e+01, 2.25e+01, 2.260000038146973e+01, 2.270000076293945e+01, 2.279999923706055e+01, 2.289999961853027e+01, 2.3e+01, 2.310000038146973e+01, 2.320000076293945e+01, 2.329999923706055e+01, 2.339999961853027e+01, 2.35e+01, 2.360000038146973e+01, 2.370000076293945e+01, 2.379999923706055e+01, 2.389999961853027e+01, 2.4e+01, 2.410000038146973e+01, 2.420000076293945e+01, 2.429999923706055e+01, 2.439999961853027e+01, 2.45e+01, 2.460000038146973e+01, 2.470000076293945e+01, 2.479999923706055e+01, 2.489999961853027e+01, 2.5e+01, 2.510000038146973e+01, 2.520000076293945e+01, 2.529999923706055e+01, 2.539999961853027e+01, 2.55e+01, 2.560000038146973e+01, 2.570000076293945e+01, 2.579999923706055e+01, 2.589999961853027e+01, 2.6e+01, 2.610000038146973e+01, 2.620000076293945e+01, 2.629999923706055e+01, 2.639999961853027e+01, 2.65e+01, 2.660000038146973e+01, 2.670000076293945e+01, 2.679999923706055e+01, 2.689999961853027e+01, 2.7e+01, 2.710000038146973e+01, 2.720000076293945e+01, 2.729999923706055e+01, 2.739999961853027e+01, 2.75e+01, 2.760000038146973e+01, 2.770000076293945e+01, 2.779999923706055e+01, 2.789999961853027e+01, 2.8e+01, 2.810000038146973e+01, 2.820000076293945e+01, 2.829999923706055e+01, 2.839999961853027e+01, 2.85e+01, 2.860000038146973e+01, 2.870000076293945e+01, 2.879999923706055e+01, 2.889999961853027e+01, 2.9e+01, 2.910000038146973e+01, 2.920000076293945e+01, 2.929999923706055e+01, 2.939999961853027e+01, 2.95e+01, 2.960000038146973e+01, 2.970000076293945e+01, 2.979999923706055e+01, 2.989999961853027e+01, 3e+01, 3.010000038146973e+01, 3.020000076293945e+01, 3.029999923706055e+01, 3.039999961853027e+01, 3.05e+01, 3.060000038146973e+01, 3.070000076293945e+01, 3.079999923706055e+01, 3.089999961853027e+01, 3.1e+01, 3.110000038146973e+01, 3.120000076293945e+01, 3.129999923706055e+01, 3.139999961853027e+01, 3.15e+01, 3.160000038146973e+01, 3.170000076293945e+01, 3.179999923706055e+01, 3.189999961853027e+01, 3.2e+01, 3.209999847412109e+01, 3.220000076293945e+01, 3.229999923706055e+01, 3.240000152587891e+01, 3.25e+01, 3.259999847412109e+01, 3.270000076293945e+01, 3.279999923706055e+01, 3.290000152587891e+01, 3.3e+01, 3.309999847412109e+01, 3.320000076293945e+01, 3.329999923706055e+01, 3.340000152587891e+01, 3.35e+01, 3.359999847412109e+01, 3.370000076293945e+01, 3.379999923706055e+01, 3.390000152587891e+01, 3.4e+01, 3.409999847412109e+01, 3.420000076293945e+01, 3.429999923706055e+01, 3.440000152587891e+01, 3.45e+01, 3.459999847412109e+01, 3.470000076293945e+01, 3.479999923706055e+01, 3.490000152587891e+01, 3.5e+01, 3.509999847412109e+01, 3.520000076293945e+01, 3.529999923706055e+01, 3.540000152587891e+01, 3.55e+01, 3.559999847412109e+01, 3.570000076293945e+01, 3.579999923706055e+01, 3.590000152587891e+01, 3.6e+01, 3.609999847412109e+01, 3.620000076293945e+01, 3.629999923706055e+01, 3.640000152587891e+01, 3.65e+01, 3.659999847412109e+01, 3.670000076293945e+01, 3.679999923706055e+01, 3.690000152587891e+01, 3.7e+01, 3.709999847412109e+01, 3.720000076293945e+01, 3.729999923706055e+01, 3.740000152587891e+01, 3.75e+01, 3.759999847412109e+01, 3.770000076293945e+01, 3.779999923706055e+01, 3.790000152587891e+01, 3.8e+01, 3.809999847412109e+01, 3.820000076293945e+01, 3.829999923706055e+01, 3.840000152587891e+01, 3.85e+01, 3.859999847412109e+01, 3.870000076293945e+01, 3.879999923706055e+01, 3.890000152587891e+01, 3.9e+01, 3.909999847412109e+01, 3.920000076293945e+01, 3.929999923706055e+01, 3.940000152587891e+01, 3.95e+01, 3.959999847412109e+01, 3.970000076293945e+01, 3.979999923706055e+01, 3.990000152587891e+01, 4e+01, 4.009999847412109e+01, 4.020000076293945e+01, 4.029999923706055e+01, 4.040000152587891e+01, 4.05e+01, 4.059999847412109e+01, 4.070000076293945e+01, 4.079999923706055e+01, 4.090000152587891e+01, 4.1e+01, 4.109999847412109e+01, 4.120000076293945e+01, 4.129999923706055e+01, 4.140000152587891e+01, 4.15e+01, 4.159999847412109e+01, 4.170000076293945e+01, 4.179999923706055e+01, 4.190000152587891e+01, 4.2e+01, 4.209999847412109e+01, 4.220000076293945e+01, 4.229999923706055e+01, 4.240000152587891e+01, 4.25e+01, 4.259999847412109e+01, 4.270000076293945e+01, 4.279999923706055e+01, 4.290000152587891e+01, 4.3e+01, 4.309999847412109e+01, 4.320000076293945e+01, 4.329999923706055e+01, 4.340000152587891e+01, 4.35e+01, 4.359999847412109e+01, 4.370000076293945e+01, 4.379999923706055e+01, 4.390000152587891e+01, 4.4e+01, 4.409999847412109e+01, 4.420000076293945e+01, 4.429999923706055e+01, 4.440000152587891e+01, 4.45e+01, 4.459999847412109e+01, 4.470000076293945e+01, 4.479999923706055e+01, 4.490000152587891e+01, 4.5e+01, 4.509999847412109e+01, 4.520000076293945e+01, 4.529999923706055e+01, 4.540000152587891e+01, 4.55e+01, 4.559999847412109e+01, 4.570000076293945e+01, 4.579999923706055e+01, 4.590000152587891e+01, 4.6e+01, 4.609999847412109e+01, 4.620000076293945e+01, 4.629999923706055e+01, 4.640000152587891e+01, 4.65e+01, 4.659999847412109e+01, 4.670000076293945e+01, 4.679999923706055e+01, 4.690000152587891e+01, 4.7e+01, 4.709999847412109e+01, 4.720000076293945e+01, 4.729999923706055e+01, 4.740000152587891e+01, 4.75e+01, 4.759999847412109e+01, 4.770000076293945e+01, 4.779999923706055e+01, 4.790000152587891e+01, 4.8e+01, 4.809999847412109e+01, 4.820000076293945e+01, 4.829999923706055e+01, 4.840000152587891e+01, 4.85e+01, 4.859999847412109e+01, 4.870000076293945e+01, 4.879999923706055e+01, 4.890000152587891e+01, 4.9e+01, 4.909999847412109e+01, 4.920000076293945e+01, 4.929999923706055e+01, 4.940000152587891e+01, 4.95e+01, 4.959999847412109e+01, 4.970000076293945e+01, 4.979999923706055e+01, 4.990000152587891e+01, 5e+01]
a=[8.414709568023682e-01, 8.912073373794556e-01, 9.320390820503235e-01, 9.635581970214844e-01, 9.854497313499451e-01, 9.974949955940247e-01, 9.995735883712769e-01, 9.916648268699646e-01, 9.738476276397705e-01, 9.463000893592834e-01, 9.092974066734314e-01, 8.632093667984009e-01, 8.084964156150818e-01, 7.457051873207092e-01, 6.754631996154785e-01, 5.984721183776855e-01, 5.155013799667358e-01, 4.273798763751984e-01, 3.3498814702034e-01, 2.392493337392807e-01, 1.411200016736984e-01, 4.158066213130951e-02, -5.837414413690567e-02, -1.577456891536713e-01, -2.555411159992218e-01, -3.507832288742065e-01, -4.425204396247864e-01, -5.29836118221283e-01, -6.118578910827637e-01, -6.877661347389221e-01, -7.56802499294281e-01, -8.1827712059021e-01, -8.715757727622986e-01, -9.161659479141235e-01, -9.516021013259888e-01, -9.775301218032837e-01, -9.936910271644592e-01, -9.999232292175293e-01, -9.961646199226379e-01, -9.824526309967041e-01, -9.589242935180664e-01, -9.25814688205719e-01, -8.834546804428101e-01, -8.322674632072449e-01, -7.727645039558411e-01, -7.055402994155884e-01, -6.312666535377502e-01, -5.506855249404907e-01, -4.646021723747253e-01, -3.738766610622406e-01, -2.79415488243103e-01, -1.821625083684921e-01, -8.308940380811691e-02, 1.681390032172203e-02, 1.165492013096809e-01, 2.151199877262115e-01, 3.11541348695755e-01, 4.048499166965485e-01, 4.941133558750153e-01, 5.784397721290588e-01, 6.569865942001343e-01, 7.289690375328064e-01, 7.936678528785706e-01, 8.504366278648376e-01, 8.987081050872803e-01, 9.37999963760376e-01, 9.67919647693634e-01, 9.881682395935059e-01, 9.985433220863342e-01, 9.989413619041443e-01, 9.893582463264465e-01, 9.698898196220398e-01, 9.407305717468262e-01, 9.021718502044678e-01, 8.545988798141479e-01, 7.9848712682724e-01, 7.343971133232117e-01, 6.629692316055298e-01, 5.849171876907349e-01, 5.010208487510681e-01, 4.121184945106506e-01, 3.190983533859253e-01, 2.228899151086807e-01, 1.244544237852097e-01, 2.477542497217655e-02, -7.515112310647964e-02, -1.743267774581909e-01, -2.717606127262115e-01, -3.664791285991669e-01, -4.575358927249908e-01, -5.440211296081543e-01, -6.250706315040588e-01, -6.998746991157532e-01, -7.676858305931091e-01, -8.278264403343201e-01, -8.796957731246948e-01, -9.227754473686218e-01, -9.566349983215332e-01, -9.809362292289734e-01, -9.954362511634827e-01, -9.999902248382568e-01, -9.945526123046875e-01, -9.79177713394165e-01, -9.540192484855652e-01, -9.19328510761261e-01, -8.754521608352661e-01, -8.228285908699036e-01, -7.619835734367371e-01, -6.935250759124756e-01, -6.181371212005615e-01, -5.365729331970215e-01, -4.49647456407547e-01, -3.582292795181274e-01, -2.632317841053009e-01, -1.656041741371155e-01, -6.632189452648163e-02, 3.362304717302322e-02, 1.332320421934128e-01, 2.315098196268082e-01, 3.27474445104599e-01, 4.201670289039612e-01, 5.086614489555359e-01, 5.920735001564026e-01, 6.695697903633118e-01, 7.403758764266968e-01, 8.037844300270081e-01, 8.591617941856384e-01, 9.059547185897827e-01, 9.436956644058228e-01, 9.720075130462646e-01, 9.906073808670044e-01, 9.993093609809875e-01, 9.980266690254211e-01, 9.867719411849976e-01, 9.656577706336975e-01, 9.348950386047363e-01, 8.947911858558655e-01, 8.457468152046204e-01, 7.88252055644989e-01, 7.228813767433167e-01, 6.502878665924072e-01, 5.711968541145325e-01, 4.863986968994141e-01, 3.96740585565567e-01, 3.031183481216431e-01, 2.06467479467392e-01, 1.07753649353981e-01, 7.963183335959911e-03, -9.190685302019119e-02, -1.908585876226425e-01, -2.879033088684082e-01, -3.820714056491852e-01, -4.724219739437103e-01, -5.580522418022156e-01, -6.381067037582397e-01, -7.117853164672852e-01, -7.783520817756653e-01, -8.37141752243042e-01, -8.875670433044434e-01, -9.291239976882935e-01, -9.613974690437317e-01, -9.840649962425232e-01, -9.969000816345215e-01, -9.997744560241699e-01, -9.926593899726868e-01, -9.756259918212891e-01, -9.488444924354553e-01, -9.125824570655823e-01, -8.672021627426147e-01, -8.131571412086487e-01, -7.509872317314148e-01, -6.813137531280518e-01, -6.048328280448914e-01, -5.223085880279541e-01, -4.345656335353851e-01, -3.424806296825409e-01, -2.469736635684967e-01, -1.489990204572678e-01, -4.953563958406448e-02, 5.042268708348274e-02, 1.49877205491066e-01, 2.478342056274414e-01, 3.43314915895462e-01, 4.353653490543365e-01, 5.230657458305359e-01, 6.05539858341217e-01, 6.819636225700378e-01, 7.515734434127808e-01, 8.13673734664917e-01, 8.676440715789795e-01, 9.129452705383301e-01, 9.491245746612549e-01, 9.758205413818359e-01, 9.927663803100586e-01, 9.997928738594055e-01, 9.968298077583313e-01, 9.839066863059998e-01, 9.611527323722839e-01, 9.287952184677124e-01, 8.871574997901917e-01, 8.366556167602539e-01, 7.777941823005676e-01, 7.11161196231842e-01, 6.374226212501526e-01, 5.573150515556335e-01, 4.716390073299408e-01, 3.812505006790161e-01, 2.870526611804962e-01, 1.899866759777069e-01, 9.102241694927216e-02, -8.851309306919575e-03, -1.086365953087807e-01, -2.0733642578125e-01, -3.039646148681641e-01, -3.975556790828705e-01, -4.871745109558105e-01, -5.719256401062012e-01, -6.509622931480408e-01, -7.234947681427002e-01, -7.887982726097107e-01, -8.462204337120056e-01, -8.951873779296875e-01, -9.352099299430847e-01, -9.658881425857544e-01, -9.869155287742615e-01, -9.980820417404175e-01, -9.992759823799133e-01, -9.904855489730835e-01, -9.717984199523926e-01, -9.434014558792114e-01, -9.055783748626709e-01, -8.587070107460022e-01, -8.032557368278503e-01, -7.397785782814026e-01, -6.689098477363586e-01, -5.913575291633606e-01, -5.078966021537781e-01, -4.193609058856964e-01, -3.266351222991943e-01, -2.306457012891769e-01, -1.323517560958862e-01, -3.273537755012512e-02, 6.720807403326035e-02, 1.664800047874451e-01, 2.6408851146698e-01, 3.590583503246307e-01, 4.504405856132507e-01, 5.373221635818481e-01, 6.188350319862366e-01, 6.941646933555603e-01, 7.625584602355957e-01, 8.233330249786377e-01, 8.758810758590698e-01, 9.196776151657104e-01, 9.542850852012634e-01, 9.793576598167419e-01, 9.946447610855103e-01, 9.999937415122986e-01, 9.953510761260986e-01, 9.807632565498352e-01, 9.563759565353394e-01, 9.224328398704529e-01, 8.792730569839478e-01, 8.273279070854187e-01, 7.67116367816925e-01, 6.992400288581848e-01, 6.243771314620972e-01, 5.432756543159485e-01, 4.56745982170105e-01, 3.656526207923889e-01, 2.709057927131653e-01, 1.73452153801918e-01, 7.426544278860092e-02, -2.566329948604107e-02, -1.25335618853569e-01, -2.237556427717209e-01, -3.199399709701538e-01, -4.129275381565094e-01, -5.017892718315125e-01, -5.856373310089111e-01, -6.636338829994202e-01, -7.349995970726013e-01, -7.990214824676514e-01, -8.55059802532196e-01, -9.025546312332153e-01, -9.410313963890076e-01, -9.701057076454163e-01, -9.894871115684509e-01, -9.989818334579468e-01, -9.984950423240662e-01, -9.880316257476807e-01, -9.676961302757263e-01, -9.376917481422424e-01, -8.983182311058044e-01, -8.499690294265747e-01, -7.931272387504578e-01, -7.283607721328735e-01, -6.563167572021484e-01, -5.777150392532349e-01, -4.933409988880157e-01, -4.040376543998718e-01, -3.106972873210907e-01, -2.142525464296341e-01, -1.156670525670052e-01, -1.592586189508438e-02, 8.397445827722549e-02, 1.830357313156128e-01, 2.802681624889374e-01, 3.747002780437469e-01, 4.653884768486023e-01, 5.514267086982727e-01, 6.319552063941956e-01, 7.061694860458374e-01, 7.733278870582581e-01, 8.327594995498657e-01, 8.838704228401184e-01, 9.261500239372253e-01, 9.591758251190186e-01, 9.826178550720215e-01, 9.962419271469116e-01, 9.999118447303772e-01, 9.935910105705261e-01, 9.773424863815308e-01, 9.513287544250488e-01, 9.158096313476562e-01, 8.711400032043457e-01, 8.177662491798401e-01, 7.562216520309448e-01, 6.871211528778076e-01, 6.111551523208618e-01, 5.29082715511322e-01, 4.417237937450409e-01, 3.499513566493988e-01, 2.54682332277298e-01, 1.568685919046402e-01, 5.748747661709785e-02, -4.246803373098373e-02, -1.41999214887619e-01, -2.401116043329239e-01, -3.358248472213745e-01, -4.281826615333557e-01, -5.162622332572937e-01, -5.991834402084351e-01, -6.761178374290466e-01, -7.462967038154602e-01, -8.090187907218933e-01, -8.636574149131775e-01, -9.096666574478149e-01, -9.465868473052979e-01, -9.740490317344666e-01, -9.917788505554199e-01, -9.995991587638855e-01, -9.97431755065918e-01, -9.852983951568604e-01, -9.633201956748962e-01, -9.317168593406677e-01, -8.908041715621948e-01, -8.409907817840576e-01, -7.827745079994202e-01, -7.167370319366455e-01, -6.435381174087524e-01, -5.639092326164246e-01, -4.78645920753479e-01, -3.886001408100128e-01, -2.946715950965881e-01, -1.977988034486771e-01, -9.894965589046478e-02, 8.881568210199475e-04, 1.007170975208282e-01, 1.995397061109543e-01, 2.963685691356659e-01, 3.902362287044525e-01, 4.802047908306122e-01, 5.653752684593201e-01, 6.448967456817627e-01, 7.179746031761169e-01, 7.838786840438843e-01, 8.41950535774231e-01, 8.916098475456238e-01, 9.323605298995972e-01, 9.637953639030457e-01, 9.856002926826477e-01, 9.975574016571045e-01, 9.995473027229309e-01, 9.915499687194824e-01, 9.736454486846924e-01, 9.46012556552887e-01, 9.089274406433105e-01, 8.627606630325317e-01, 8.079733848571777e-01, 7.451131343841553e-01, 6.748079657554626e-01, 5.977603793144226e-01, 5.147401094436646e-01, 4.265767633914948e-01, 3.341511785984039e-01, 2.38386869430542e-01, 1.402406841516495e-01, 4.06932570040226e-02, -5.926076322793961e-02, -1.586226671934128e-01, -2.563996613025665e-01, -3.516148030757904e-01, -4.433167278766632e-01, -5.305891633033752e-01, -6.125601530075073e-01, -6.884106397628784e-01, -7.573827505111694e-01, -8.187873363494873e-01, -8.720108866691589e-01, -9.165215492248535e-01, -9.518746733665466e-01, -9.777169227600098e-01, -9.937902092933655e-01, -9.999338388442993e-01, -9.960864782333374e-01, -9.822865724563599e-01, -9.586719870567322e-01, -9.254786372184753e-01, -8.830381631851196e-01, -8.317747712135315e-01, -7.722004652023315e-01, -7.049106359481812e-01, -6.30577564239502e-01, -5.499439835548401e-01, -4.638155102729797e-01, -3.730527758598328e-01, -2.78562605381012e-01, -1.812891364097595e-01, -8.220428228378296e-02, 1.770192570984364e-02, 1.174312606453896e-01, 2.159872651100159e-01, 3.123852014541626e-01, 4.056618809700012e-01, 4.948853254318237e-01, 5.791640281677246e-01, 6.576558947563171e-01, 7.295767664909363e-01, 7.942078709602356e-01, 8.509035110473633e-01, 8.990972638130188e-01, 9.383074641227722e-01, 9.681424498558044e-01, 9.88304078578949e-01, 9.98590886592865e-01, 9.989001154899597e-01, 9.892286062240601e-01, 9.696730971336365e-01, 9.404289722442627e-01, 9.017883539199829e-01, 8.541373610496521e-01, 7.979521155357361e-01, 7.337939739227295e-01, 6.623040437698364e-01, 5.841965675354004e-01, 5.002520084381104e-01, 4.113090932369232e-01, 3.182564973831177e-01, 2.220240086317062e-01, 1.235731244087219e-01, 2.388753183186054e-02, -7.6036736369133e-02, -1.752012670040131e-01, -2.726152539253235e-01, -3.673053383827209e-01, -4.583254456520081e-01, -5.447661280632019e-01, -6.257636547088623e-01, -7.005087733268738e-01, -7.682546377182007e-01, -8.283243775367737e-01, -8.801177740097046e-01, -9.231172800064087e-01, -9.568933248519897e-01, -9.811084270477295e-01, -9.955205917358398e-01, -9.999858736991882e-01, -9.944596290588379e-01, -9.789970517158508e-01, -9.537526369094849e-01, -9.189786911010742e-01, -8.750225901603699e-01, -8.223235607147217e-01, -7.614080905914307e-01, -6.928849816322327e-01, -6.174387335777283e-01, -5.358232259750366e-01, -4.488539695739746e-01, -3.573999404907227e-01, -2.623748481273651e-01, -1.647282093763351e-01, -6.543567031621933e-02, 3.451068699359894e-02, 1.34112223982811e-01, 2.323737591505051e-01, 3.283134996891022e-01, 4.209728240966797e-01, 5.09425938129425e-01, 5.927890539169312e-01, 6.702291965484619e-01]
b=[8.414709568023682e-01, 8.912073373794556e-01, 9.320390820503235e-01, 9.635581970214844e-01, 9.854497313499451e-01, 9.974949955940247e-01, 9.995735883712769e-01, 9.916648268699646e-01, 9.738476276397705e-01, 9.463000893592834e-01, 9.092974066734314e-01, 8.632093667984009e-01, 8.084964156150818e-01, 7.457051873207092e-01, 6.754631996154785e-01, 5.984721183776855e-01, 5.155013799667358e-01, 4.273798763751984e-01, 3.3498814702034e-01, 2.392493337392807e-01, 1.411200016736984e-01, 4.158066213130951e-02, -5.837414413690567e-02, -1.577456891536713e-01, -2.555411159992218e-01, -3.507832288742065e-01, -4.425204396247864e-01, -5.29836118221283e-01, -6.118578910827637e-01, -6.877661347389221e-01, -7.56802499294281e-01, -8.1827712059021e-01, -8.715757727622986e-01, -9.161659479141235e-01, -9.516021013259888e-01, -9.775301218032837e-01, -9.936910271644592e-01, -9.999232292175293e-01, -9.961646199226379e-01, -9.824526309967041e-01, -9.589242935180664e-01, -9.25814688205719e-01, -8.834546804428101e-01, -8.322674632072449e-01, -7.727645039558411e-01, -7.055402994155884e-01, -6.312666535377502e-01, -5.506855249404907e-01, -4.646021723747253e-01, -3.738766610622406e-01, -2.79415488243103e-01, -1.821625083684921e-01, -8.308940380811691e-02, 1.681390032172203e-02, 1.165492013096809e-01, 2.151199877262115e-01, 3.11541348695755e-01, 4.048499166965485e-01, 4.941133558750153e-01, 5.784397721290588e-01, 6.569865942001343e-01, 7.289690375328064e-01, 7.936678528785706e-01, 8.504366278648376e-01, 8.987081050872803e-01, 9.37999963760376e-01, 9.67919647693634e-01, 9.881682395935059e-01, 9.985433220863342e-01, 9.989413619041443e-01, 9.893582463264465e-01, 9.698898196220398e-01, 9.407305717468262e-01, 9.021718502044678e-01, 8.545988798141479e-01, 7.9848712682724e-01, 7.343971133232117e-01, 6.629692316055298e-01, 5.849171876907349e-01, 5.010208487510681e-01, 4.121184945106506e-01, 3.190983533859253e-01, 2.228899151086807e-01, 1.244544237852097e-01, 2.477542497217655e-02, -7.515112310647964e-02, -1.743267774581909e-01, -2.717606127262115e-01, -3.664791285991669e-01, -4.575358927249908e-01, -5.440211296081543e-01, -6.250706315040588e-01, -6.998746991157532e-01, -7.676858305931091e-01, -8.278264403343201e-01, -8.796957731246948e-01, -9.227754473686218e-01, -9.566349983215332e-01, -9.809362292289734e-01, -9.954362511634827e-01, -9.999902248382568e-01, -9.945526123046875e-01, -9.79177713394165e-01, -9.540192484855652e-01, -9.19328510761261e-01, -8.754521608352661e-01, -8.228285908699036e-01, -7.619835734367371e-01, -6.935250759124756e-01, -6.181371212005615e-01, -5.365729331970215e-01, -4.49647456407547e-01, -3.582292795181274e-01, -2.632317841053009e-01, -1.656041741371155e-01, -6.632189452648163e-02, 3.362304717302322e-02, 1.332320421934128e-01, 2.315098196268082e-01, 3.27474445104599e-01, 4.201670289039612e-01, 5.086614489555359e-01, 5.920735001564026e-01, 6.695697903633118e-01, 7.403758764266968e-01, 8.037844300270081e-01, 8.591617941856384e-01, 9.059547185897827e-01, 9.436956644058228e-01, 9.720075130462646e-01, 9.906073808670044e-01, 9.993093609809875e-01, 9.980266690254211e-01, 9.867719411849976e-01, 9.656577706336975e-01, 9.348950386047363e-01, 8.947911858558655e-01, 8.457468152046204e-01, 7.88252055644989e-01, 7.228813767433167e-01, 6.502878665924072e-01, 5.711968541145325e-01, 4.863986968994141e-01, 3.96740585565567e-01, 3.031183481216431e-01, 2.06467479467392e-01, 1.07753649353981e-01, 7.963183335959911e-03, -9.190685302019119e-02, -1.908585876226425e-01, -2.879033088684082e-01, -3.820714056491852e-01, -4.724219739437103e-01, -5.580522418022156e-01, -6.381067037582397e-01, -7.117853164672852e-01, -7.783520817756653e-01, -8.37141752243042e-01, -8.875670433044434e-01, -9.291239976882935e-01, -9.613974690437317e-01, -9.840649962425232e-01, -9.969000816345215e-01, -9.997744560241699e-01, -9.926593899726868e-01, -9.756259918212891e-01, -9.488444924354553e-01, -9.125824570655823e-01, -8.672021627426147e-01, -8.131571412086487e-01, -7.509872317314148e-01, -6.813137531280518e-01, -6.048328280448914e-01, -5.223085880279541e-01, -4.345656335353851e-01, -3.424806296825409e-01, -2.469736635684967e-01, -1.489990204572678e-01, -4.953563958406448e-02, 5.042268708348274e-02, 1.49877205491066e-01, 2.478342056274414e-01, 3.43314915895462e-01, 4.353653490543365e-01, 5.230657458305359e-01, 6.05539858341217e-01, 6.819636225700378e-01, 7.515734434127808e-01, 8.13673734664917e-01, 8.676440715789795e-01, 9.129452705383301e-01, 9.491245746612549e-01, 9.758205413818359e-01, 9.927663803100586e-01, 9.997928738594055e-01, 9.968298077583313e-01, 9.839066863059998e-01, 9.611527323722839e-01, 9.287952184677124e-01, 8.871574997901917e-01, 8.366556167602539e-01, 7.777941823005676e-01, 7.11161196231842e-01, 6.374226212501526e-01, 5.573150515556335e-01, 4.716390073299408e-01, 3.812505006790161e-01, 2.870526611804962e-01, 1.899866759777069e-01, 9.102241694927216e-02, -8.851309306919575e-03, -1.086365953087807e-01, -2.0733642578125e-01, -3.039646148681641e-01, -3.975556790828705e-01, -4.871745109558105e-01, -5.719256401062012e-01, -6.509622931480408e-01, -7.234947681427002e-01, -7.887982726097107e-01, -8.462204337120056e-01, -8.951873779296875e-01, -9.352099299430847e-01, -9.658881425857544e-01, -9.869155287742615e-01, -9.980820417404175e-01, -9.992759823799133e-01, -9.904855489730835e-01, -9.717984199523926e-01, -9.434014558792114e-01, -9.055783748626709e-01, -8.587070107460022e-01, -8.032557368278503e-01, -7.397785782814026e-01, -6.689098477363586e-01, -5.913575291633606e-01, -5.078966021537781e-01, -4.193609058856964e-01, -3.266351222991943e-01, -2.306457012891769e-01, -1.323517560958862e-01, -3.273537755012512e-02, 6.720807403326035e-02, 1.664800047874451e-01, 2.6408851146698e-01, 3.590583503246307e-01, 4.504405856132507e-01, 5.373221635818481e-01, 6.188350319862366e-01, 6.941646933555603e-01, 7.625584602355957e-01, 8.233330249786377e-01, 8.758810758590698e-01, 9.196776151657104e-01, 9.542850852012634e-01, 9.793576598167419e-01, 9.946447610855103e-01, 9.999937415122986e-01, 9.953510761260986e-01, 9.807632565498352e-01, 9.563759565353394e-01, 9.224328398704529e-01, 8.792730569839478e-01, 8.273279070854187e-01, 7.67116367816925e-01, 6.992400288581848e-01, 6.243771314620972e-01, 5.432756543159485e-01, 4.56745982170105e-01, 3.656526207923889e-01, 2.709057927131653e-01, 1.73452153801918e-01, 7.426544278860092e-02, -2.566329948604107e-02, -1.25335618853569e-01, -2.237556427717209e-01, -3.199399709701538e-01, -4.129275381565094e-01, -5.017892718315125e-01, -5.856373310089111e-01, -6.636338829994202e-01, -7.349995970726013e-01, -7.990214824676514e-01, -8.55059802532196e-01, -9.025546312332153e-01, -9.410313963890076e-01, -9.701057076454163e-01, -9.894871115684509e-01, -9.989818334579468e-01, -9.984950423240662e-01, -9.880316257476807e-01, -9.676961302757263e-01, -9.376917481422424e-01, -8.983182311058044e-01, -8.499690294265747e-01, -7.931272387504578e-01, -7.283607721328735e-01, -6.563167572021484e-01, -5.777150392532349e-01, -4.933409988880157e-01, -4.040376543998718e-01, -3.106972873210907e-01, -2.142525464296341e-01, -1.156670525670052e-01, -1.592586189508438e-02, 8.397445827722549e-02, 1.830357313156128e-01, 2.802681624889374e-01, 3.747002780437469e-01, 4.653884768486023e-01, 5.514267086982727e-01, 6.319552063941956e-01, 7.061694860458374e-01, 7.733278870582581e-01, 8.327594995498657e-01, 8.838704228401184e-01, 9.261500239372253e-01, 9.591758251190186e-01, 9.826178550720215e-01, 9.962419271469116e-01, 9.999118447303772e-01, 9.935910105705261e-01, 9.773424863815308e-01, 9.513287544250488e-01, 9.158096313476562e-01, 8.711400032043457e-01, 8.177662491798401e-01, 7.562216520309448e-01, 6.871211528778076e-01, 6.111551523208618e-01, 5.29082715511322e-01, 4.417237937450409e-01, 3.499513566493988e-01, 2.54682332277298e-01, 1.568685919046402e-01, 5.748747661709785e-02, -4.246803373098373e-02, -1.41999214887619e-01, -2.401116043329239e-01, -3.358248472213745e-01, -4.281826615333557e-01, -5.162622332572937e-01, -5.991834402084351e-01, -6.761178374290466e-01, -7.462967038154602e-01, -8.090187907218933e-01, -8.636574149131775e-01, -9.096666574478149e-01, -9.465868473052979e-01, -9.740490317344666e-01, -9.917788505554199e-01, -9.995991587638855e-01, -9.97431755065918e-01, -9.852983951568604e-01, -9.633201956748962e-01, -9.317168593406677e-01, -8.908041715621948e-01, -8.409907817840576e-01, -7.827745079994202e-01, -7.167370319366455e-01, -6.435381174087524e-01, -5.639092326164246e-01, -4.78645920753479e-01, -3.886001408100128e-01, -2.946715950965881e-01, -1.977988034486771e-01, -9.894965589046478e-02, 8.881568210199475e-04, 1.007170975208282e-01, 1.995397061109543e-01, 2.963685691356659e-01, 3.902362287044525e-01, 4.802047908306122e-01, 5.653752684593201e-01, 6.448967456817627e-01, 7.179746031761169e-01, 7.838786840438843e-01, 8.41950535774231e-01, 8.916098475456238e-01, 9.323605298995972e-01, 9.637953639030457e-01, 9.856002926826477e-01, 9.975574016571045e-01, 9.995473027229309e-01, 9.915499687194824e-01, 9.736454486846924e-01, 9.46012556552887e-01, 9.089274406433105e-01, 8.627606630325317e-01, 8.079733848571777e-01, 7.451131343841553e-01, 6.748079657554626e-01, 5.977603793144226e-01, 5.147401094436646e-01, 4.265767633914948e-01, 3.341511785984039e-01, 2.38386869430542e-01, 1.402406841516495e-01, 4.06932570040226e-02, -5.926076322793961e-02, -1.586226671934128e-01, -2.563996613025665e-01, -3.516148030757904e-01, -4.433167278766632e-01, -5.305891633033752e-01, -6.125601530075073e-01, -6.884106397628784e-01, -7.573827505111694e-01, -8.187873363494873e-01, -8.720108866691589e-01, -9.165215492248535e-01, -9.518746733665466e-01, -9.777169227600098e-01, -9.937902092933655e-01, -9.999338388442993e-01, -9.960864782333374e-01, -9.822865724563599e-01, -9.586719870567322e-01, -9.254786372184753e-01, -8.830381631851196e-01, -8.317747712135315e-01, -7.722004652023315e-01, -7.049106359481812e-01, -6.30577564239502e-01, -5.499439835548401e-01, -4.638155102729797e-01, -3.730527758598328e-01, -2.78562605381012e-01, -1.812891364097595e-01, -8.220428228378296e-02, 1.770192570984364e-02, 1.174312606453896e-01, 2.159872651100159e-01, 3.123852014541626e-01, 4.056618809700012e-01, 4.948853254318237e-01, 5.791640281677246e-01, 6.576558947563171e-01, 7.295767664909363e-01, 7.942078709602356e-01, 8.509035110473633e-01, 8.990972638130188e-01, 9.383074641227722e-01, 9.681424498558044e-01, 9.88304078578949e-01, 9.98590886592865e-01, 9.989001154899597e-01, 9.892286062240601e-01, 9.696730971336365e-01, 9.404289722442627e-01, 9.017883539199829e-01, 8.541373610496521e-01, 7.979521155357361e-01, 7.337939739227295e-01, 6.623040437698364e-01, 5.841965675354004e-01, 5.002520084381104e-01, 4.113090932369232e-01, 3.182564973831177e-01, 2.220240086317062e-01, 1.235731244087219e-01, 2.388753183186054e-02, -7.6036736369133e-02, -1.752012670040131e-01, -2.726152539253235e-01, -3.673053383827209e-01, -4.583254456520081e-01, -5.447661280632019e-01, -6.257636547088623e-01, -7.005087733268738e-01, -7.682546377182007e-01, -8.283243775367737e-01, -8.801177740097046e-01, -9.231172800064087e-01, -9.568933248519897e-01, -9.811084270477295e-01, -9.955205917358398e-01, -9.999858736991882e-01, -9.944596290588379e-01, -9.789970517158508e-01, -9.537526369094849e-01, -9.189786911010742e-01, -8.750225901603699e-01, -8.223235607147217e-01, -7.614080905914307e-01, -6.928849816322327e-01, -6.174387335777283e-01, -5.358232259750366e-01, -4.488539695739746e-01, -3.573999404907227e-01, -2.623748481273651e-01, -1.647282093763351e-01, -6.543567031621933e-02, 3.451068699359894e-02, 1.34112223982811e-01, 2.323737591505051e-01, 3.283134996891022e-01, 4.209728240966797e-01, 5.09425938129425e-01, 5.927890539169312e-01, 6.702291965484619e-01]