{
  "parameters": {
    "lambda_": 2.0,
    "alpha": 0.25,
    "delta": 0.5,
    "nu": 1.0,
    "a0": 1.0,
    "n0": 11
  },
  "original_coefficients": "k=2^n;d1=2^(n/2);d2=2^((n+1)/2);A_j=2^(-j/2)",
  "r": 0.7071067811865475,
  "q": 0.7071067811865475,
  "H": 1.7627471740390859,
  "eta_s": 0.041666666666666664,
  "rho0": 0.03125,
  "Dstar": 0.09403742669748581,
  "Cstar": 0.4551243470003664,
  "L0": 0.0011788152160024875,
  "U0": 0.0029386695842964316,
  "proof": "Exercises5, EX23\u2013EX32",
  "interpretation": "Samples of proved upper and lower envelopes; no ODE trajectory is sampled.",
  "samples": [
    {
      "n": 11,
      "j": 0,
      "terminal_lower": 0.4551243470003664,
      "terminal_upper": 1.0,
      "critical_norm_lower": 0.0,
      "critical_norm_upper": 64.00000000000001
    },
    {
      "n": 12,
      "j": 1,
      "terminal_lower": 0.32182151204705844,
      "terminal_upper": 0.7071067811865476,
      "critical_norm_lower": 20.59657677101174,
      "critical_norm_upper": 78.3836717690617
    },
    {
      "n": 13,
      "j": 2,
      "terminal_lower": 0.2275621735001832,
      "terminal_upper": 0.5,
      "critical_norm_lower": 29.127958208023454,
      "critical_norm_upper": 90.50966799187809
    },
    {
      "n": 14,
      "j": 3,
      "terminal_lower": 0.16091075602352922,
      "terminal_upper": 0.3535533905932738,
      "critical_norm_lower": 35.67431742938526,
      "critical_norm_upper": 101.19288512538814
    },
    {
      "n": 15,
      "j": 4,
      "terminal_lower": 0.1137810867500916,
      "terminal_upper": 0.25,
      "critical_norm_lower": 41.19315354202348,
      "critical_norm_upper": 110.85125168440814
    },
    {
      "n": 16,
      "j": 5,
      "terminal_lower": 0.08045537801176461,
      "terminal_upper": 0.1767766952966369,
      "critical_norm_lower": 46.05534576377537,
      "critical_norm_upper": 119.73303637676614
    },
    {
      "n": 17,
      "j": 6,
      "terminal_lower": 0.0568905433750458,
      "terminal_upper": 0.125,
      "critical_norm_lower": 50.45110353703952,
      "critical_norm_upper": 128.00000000000003
    },
    {
      "n": 18,
      "j": 7,
      "terminal_lower": 0.040227689005882306,
      "terminal_upper": 0.08838834764831845,
      "critical_norm_lower": 54.493419995346805,
      "critical_norm_upper": 135.76450198781714
    },
    {
      "n": 19,
      "j": 8,
      "terminal_lower": 0.0284452716875229,
      "terminal_upper": 0.0625,
      "critical_norm_lower": 58.25591641604691,
      "critical_norm_upper": 143.10835055998655
    },
    {
      "n": 20,
      "j": 9,
      "terminal_lower": 0.020113844502941153,
      "terminal_upper": 0.04419417382415922,
      "critical_norm_lower": 61.78973031303522,
      "critical_norm_upper": 150.09330431434975
    },
    {
      "n": 21,
      "j": 10,
      "terminal_lower": 0.01422263584376145,
      "terminal_upper": 0.03125,
      "critical_norm_lower": 65.1320945989134,
      "critical_norm_upper": 156.7673435381234
    },
    {
      "n": 22,
      "j": 11,
      "terminal_lower": 0.010056922251470576,
      "terminal_upper": 0.02209708691207961,
      "critical_norm_lower": 68.31111711519571,
      "critical_norm_upper": 163.16862443496913
    },
    {
      "n": 23,
      "j": 12,
      "terminal_lower": 0.007111317921880725,
      "terminal_upper": 0.015625,
      "critical_norm_lower": 71.34863485877052,
      "critical_norm_upper": 169.3280839081338
    },
    {
      "n": 24,
      "j": 13,
      "terminal_lower": 0.005028461125735288,
      "terminal_upper": 0.011048543456039806,
      "critical_norm_lower": 74.26201364691335,
      "critical_norm_upper": 175.2712184016532
    },
    {
      "n": 25,
      "j": 14,
      "terminal_lower": 0.0035556589609403626,
      "terminal_upper": 0.0078125,
      "critical_norm_lower": 77.06533361751265,
      "critical_norm_upper": 181.01933598375618
    },
    {
      "n": 26,
      "j": 15,
      "terminal_lower": 0.002514230562867644,
      "terminal_upper": 0.005524271728019903,
      "critical_norm_lower": 79.770198823011,
      "critical_norm_upper": 186.59046063504962
    },
    {
      "n": 27,
      "j": 16,
      "terminal_lower": 0.0017778294804701813,
      "terminal_upper": 0.00390625,
      "critical_norm_lower": 82.38630708404696,
      "critical_norm_upper": 192.0
    },
    {
      "n": 28,
      "j": 17,
      "terminal_lower": 0.001257115281433822,
      "terminal_upper": 0.0027621358640099515,
      "critical_norm_lower": 84.92186155302454,
      "critical_norm_upper": 197.2612480950073
    },
    {
      "n": 29,
      "j": 18,
      "terminal_lower": 0.0008889147402350907,
      "terminal_upper": 0.001953125,
      "critical_norm_lower": 87.38387462407034,
      "critical_norm_upper": 202.3857702507763
    },
    {
      "n": 30,
      "j": 19,
      "terminal_lower": 0.000628557640716911,
      "terminal_upper": 0.0013810679320049757,
      "critical_norm_lower": 89.77839672771746,
      "critical_norm_upper": 207.38370234905153
    },
    {
      "n": 31,
      "j": 20,
      "terminal_lower": 0.0004444573701175453,
      "terminal_upper": 0.0009765625,
      "critical_norm_lower": 92.11069152755074,
      "critical_norm_upper": 212.26398658274562
    },
    {
      "n": 32,
      "j": 21,
      "terminal_lower": 0.0003142788203584555,
      "terminal_upper": 0.0006905339660024879,
      "critical_norm_lower": 94.38537211013043,
      "critical_norm_upper": 217.03455946000858
    },
    {
      "n": 33,
      "j": 22,
      "terminal_lower": 0.00022222868505877266,
      "terminal_upper": 0.00048828125,
      "critical_norm_lower": 96.60650828516664,
      "critical_norm_upper": 221.70250336881628
    },
    {
      "n": 34,
      "j": 23,
      "terminal_lower": 0.00015713941017922776,
      "terminal_upper": 0.00034526698300124393,
      "critical_norm_lower": 98.7777121507486,
      "critical_norm_upper": 226.27416997969522
    },
    {
      "n": 35,
      "j": 24,
      "terminal_lower": 0.00011111434252938633,
      "terminal_upper": 0.000244140625,
      "critical_norm_lower": 100.90220707407904,
      "critical_norm_upper": 230.7552816296953
    },
    {
      "n": 36,
      "j": 25,
      "terminal_lower": 7.856970508961388e-05,
      "terminal_upper": 0.00017263349150062197,
      "critical_norm_lower": 102.9828838550587,
      "critical_norm_upper": 235.15101530718513
    },
    {
      "n": 37,
      "j": 26,
      "terminal_lower": 5.5557171264693166e-05,
      "terminal_upper": 0.0001220703125,
      "critical_norm_lower": 105.02234686860074,
      "critical_norm_upper": 239.46607275353227
    },
    {
      "n": 38,
      "j": 27,
      "terminal_lower": 3.928485254480694e-05,
      "terminal_upper": 8.631674575031098e-05,
      "critical_norm_lower": 107.02295228815579,
      "critical_norm_upper": 243.70473938764508
    },
    {
      "n": 39,
      "j": 28,
      "terminal_lower": 2.7778585632346583e-05,
      "terminal_upper": 6.103515625e-05,
      "critical_norm_lower": 108.98683999069361,
      "critical_norm_upper": 247.8709341572747
    },
    {
      "n": 40,
      "j": 29,
      "terminal_lower": 1.964242627240347e-05,
      "terminal_upper": 4.315837287515549e-05,
      "critical_norm_lower": 110.91596037469644,
      "critical_norm_upper": 251.96825196837796
    },
    {
      "n": 41,
      "j": 30,
      "terminal_lower": 1.3889292816173291e-05,
      "terminal_upper": 3.0517578125e-05,
      "critical_norm_lower": 112.81209704870047,
      "critical_norm_upper": 256.00000000000006
    },
    {
      "n": 42,
      "j": 31,
      "terminal_lower": 9.821213136201735e-06,
      "terminal_upper": 2.1579186437577746e-05,
      "critical_norm_lower": 114.6768861419318,
      "critical_norm_upper": 259.96922894835075
    },
    {
      "n": 43,
      "j": 32,
      "terminal_lower": 6.944646408086646e-06,
      "terminal_upper": 1.52587890625e-05,
      "critical_norm_lower": 116.51183283209382,
      "critical_norm_upper": 263.8787600395303
    },
    {
      "n": 44,
      "j": 33,
      "terminal_lower": 4.910606568100867e-06,
      "terminal_upper": 1.0789593218788873e-05,
      "critical_norm_lower": 118.31832556530689,
      "critical_norm_upper": 267.7312084909042
    },
    {
      "n": 45,
      "j": 34,
      "terminal_lower": 3.472323204043323e-06,
      "terminal_upper": 7.62939453125e-06,
      "critical_norm_lower": 120.09764835025761,
      "critical_norm_upper": 271.5290039756343
    },
    {
      "n": 46,
      "j": 35,
      "terminal_lower": 2.4553032840504337e-06,
      "terminal_upper": 5.3947966093944364e-06,
      "critical_norm_lower": 121.85099143604172,
      "critical_norm_upper": 275.27440854536405
    },
    {
      "n": 47,
      "j": 36,
      "terminal_lower": 1.7361616020216614e-06,
      "terminal_upper": 3.814697265625e-06,
      "critical_norm_lower": 123.57946062607044,
      "critical_norm_upper": 278.96953238660313
    }
  ]
}