{
  "scope": "Evaluations of proved bounds and explicit support enclosures; no fluid simulation.",
  "human_source": "Albritton, Brue and Colombo, arXiv:2112.03116v1, main.tex550\u2013593 and2643\u20132934.",
  "parameters": {
    "a": 0.4,
    "c0": 0.6,
    "A0": 0.9,
    "K0": 0.8,
    "t_star": 0.08611487376972107,
    "ell": 4.0,
    "cross_section_radius": 0.8
  },
  "picard_bounds": [
    {
      "j": 0,
      "bound": 0.2
    },
    {
      "j": 1,
      "bound": 0.07500000000000001
    },
    {
      "j": 2,
      "bound": 0.028125
    },
    {
      "j": 3,
      "bound": 0.010546875
    },
    {
      "j": 4,
      "bound": 0.003955078125
    },
    {
      "j": 5,
      "bound": 0.001483154296875
    },
    {
      "j": 6,
      "bound": 0.000556182861328125
    },
    {
      "j": 7,
      "bound": 0.0002085685729980469
    },
    {
      "j": 8,
      "bound": 7.821321487426758e-05
    },
    {
      "j": 9,
      "bound": 2.9329955577850345e-05
    },
    {
      "j": 10,
      "bound": 1.099873334169388e-05
    },
    {
      "j": 11,
      "bound": 4.1245250031352045e-06
    },
    {
      "j": 12,
      "bound": 1.5466968761757018e-06
    },
    {
      "j": 13,
      "bound": 5.800113285658882e-07
    },
    {
      "j": 14,
      "bound": 2.1750424821220805e-07
    }
  ],
  "physical_bounds": [
    {
      "t": 1e-05,
      "lower": 0.00016870239755710468,
      "upper": 0.0005106059232728369,
      "remainder": 4.4987306015227914e-06
    },
    {
      "t": 1.0463461745070933e-05,
      "lower": 0.00017374417722132936,
      "upper": 0.0005259504361829722,
      "remainder": 4.717904518984036e-06
    },
    {
      "t": 1.0948403169056287e-05,
      "lower": 0.00017893663371380713,
      "upper": 0.0005417576575246811,
      "remainder": 4.947756383259667e-06
    },
    {
      "t": 1.1455819772903407e-05,
      "lower": 0.00018428427010846928,
      "upper": 0.0005580416167392686,
      "remainder": 5.18880641386072e-06
    },
    {
      "t": 1.1986753195220198e-05,
      "lower": 0.0001897917240565074,
      "upper": 0.000574816772344425,
      "remainder": 5.441600174902765e-06
    },
    {
      "t": 1.2542293350579333e-05,
      "lower": 0.00019546377180830268,
      "upper": 0.0005920980252347793,
      "remainder": 5.7067098098712465e-06
    },
    {
      "t": 1.312358066692444e-05,
      "lower": 0.00020130533235555083,
      "upper": 0.0006099007324031958,
      "remainder": 5.984735336543288e-06
    },
    {
      "t": 1.3731808426671636e-05,
      "lower": 0.00020732147169717853,
      "upper": 0.0006282407210965326,
      "remainder": 6.276306004996948e-06
    },
    {
      "t": 1.4368225216312165e-05,
      "lower": 0.0002135174072327491,
      "upper": 0.0006471343034200288,
      "remainder": 6.5820817217814016e-06
    },
    {
      "t": 1.5034137489544586e-05,
      "lower": 0.000219898512287167,
      "upper": 0.0006665982914049723,
      "remainder": 6.902754543471274e-06
    },
    {
      "t": 1.5730912249198653e-05,
      "lower": 0.00022647032077060853,
      "upper": 0.0006866500125548113,
      "remainder": 7.239050242985688e-06
    },
    {
      "t": 1.645997985345579e-05,
      "lower": 0.00023323853197771484,
      "upper": 0.0007073073258853613,
      "remainder": 7.591729952216756e-06
    },
    {
      "t": 1.7222836952127292e-05,
      "lower": 0.00024020901553021336,
      "upper": 0.0007285886384753256,
      "remainder": 7.961591884685441e-06
    },
    {
      "t": 1.8021049559017835e-05,
      "lower": 0.00024738781646725265,
      "upper": 0.0007505129225438817,
      "remainder": 8.349473142123614e-06
    },
    {
      "t": 1.8856256266681053e-05,
      "lower": 0.0002547811604878636,
      "upper": 0.0007730997330726618,
      "remainder": 8.75625160907099e-06
    },
    {
      "t": 1.9730171610167126e-05,
      "lower": 0.000262395459350098,
      "upper": 0.0007963692259900693,
      "remainder": 9.182847939775213e-06
    },
    {
      "t": 2.0644589586666832e-05,
      "lower": 0.00027023731643152106,
      "upper": 0.0008203421769364549,
      "remainder": 9.630227641891673e-06
    },
    {
      "t": 2.1601387338277814e-05,
      "lower": 0.0002783135324558838,
      "upper": 0.0008450400006293507,
      "remainder": 1.0099403261699294e-05
    },
    {
      "t": 2.2602529005453e-05,
      "lower": 0.0002866311113909413,
      "upper": 0.000870484770848602,
      "remainder": 1.0591436675778003e-05
    },
    {
      "t": 2.3650069759041367e-05,
      "lower": 0.0002951972665225293,
      "upper": 0.0008966992410619223,
      "remainder": 1.1107441494334424e-05
    },
    {
      "t": 2.4746160019198826e-05,
      "lower": 0.00030401942671017104,
      "upper": 0.0009237068657121288,
      "remainder": 1.1648585581615581e-05
    },
    {
      "t": 2.5893049869829072e-05,
      "lower": 0.0003131052428296352,
      "upper": 0.0009515318221880203,
      "remainder": 1.2216093699114566e-05
    },
    {
      "t": 2.709309367761704e-05,
      "lower": 0.00032246259440803373,
      "upper": 0.0009801990335016521,
      "remainder": 1.2811250277550776e-05
    },
    {
      "t": 2.8348754925136967e-05,
      "lower": 0.00033209959645721514,
      "upper": 0.001009734191695544,
      "remainder": 1.3435402323898462e-05
    },
    {
      "t": 2.966261126795619e-05,
      "lower": 0.00034202460651137554,
      "upper": 0.0010401637820041695,
      "remainder": 1.4089962470042799e-05
    },
    {
      "t": 3.1037359826116956e-05,
      "lower": 0.0003522462318749973,
      "upper": 0.0010715151077949558,
      "remainder": 1.4776412169963902e-05
    },
    {
      "t": 3.2475822720857624e-05,
      "lower": 0.0003627733370873936,
      "upper": 0.001103816316314865,
      "remainder": 1.5496305052684368e-05
    },
    {
      "t": 3.398095286793992e-05,
      "lower": 0.0003736150516103365,
      "upper": 0.0011370964252695789,
      "remainder": 1.625127043856937e-05
    },
    {
      "t": 3.555584003947485e-05,
      "lower": 0.0003847807777454362,
      "upper": 0.0011713853502632462,
      "remainder": 1.7043017026937632e-05
    },
    {
      "t": 3.7203717206690646e-05,
      "lower": 0.0003962801987881326,
      "upper": 0.0012067139331277269,
      "remainder": 1.78733367633291e-05
    },
    {
      "t": 3.892796717666448e-05,
      "lower": 0.0004081232874253799,
      "upper": 0.0012431139711713225,
      "remainder": 1.8744108895182682e-05
    },
    {
      "t": 4.073212953664058e-05,
      "lower": 0.00042032031438429617,
      "upper": 0.001280618247377991,
      "remainder": 1.9657304225102363e-05
    },
    {
      "t": 4.261990792019126e-05,
      "lower": 0.0004328818573392857,
      "upper": 0.0013192605615891958,
      "remainder": 2.0614989571338663e-05
    },
    {
      "t": 4.459517761013678e-05,
      "lower": 0.0004458188100853565,
      "upper": 0.00135907576270165,
      "remainder": 2.1619332445580526e-05
    },
    {
      "t": 4.6661993493831005e-05,
      "lower": 0.0004591423919855863,
      "upper": 0.0014000997819154037,
      "remainder": 2.2672605958644633e-05
    },
    {
      "t": 4.882459838714495e-05,
      "lower": 0.0004728641577009362,
      "upper": 0.0014423696670679744,
      "remainder": 2.3777193965165686e-05
    },
    {
      "t": 5.108743174423432e-05,
      "lower": 0.0004869960072108422,
      "upper": 0.0014859236180914572,
      "remainder": 2.4935596458930763e-05
    },
    {
      "t": 5.345513877097182e-05,
      "lower": 0.0005015501961332796,
      "upper": 0.0015308010236309082,
      "remainder": 2.615043523106943e-05
    },
    {
      "t": 5.593257996075229e-05,
      "lower": 0.0005165393463532511,
      "upper": 0.0015770424988636592,
      "remainder": 2.7424459803905658e-05
    },
    {
      "t": 5.852484107224527e-05,
      "lower": 0.0005319764569689091,
      "upper": 0.0016246899245606285,
      "remainder": 2.8760553653901007e-05
    },
    {
      "t": 6.123724356957945e-05,
      "lower": 0.0005478749155648178,
      "upper": 0.0016737864874322279,
      "remainder": 3.0161740737774424e-05
    },
    {
      "t": 6.407535554638857e-05,
      "lower": 0.0005642485098221165,
      "upper": 0.0017243767218029175,
      "remainder": 3.163119233656783e-05
    },
    {
      "t": 6.704500315614554e-05,
      "lower": 0.0005811114394756639,
      "upper": 0.0017765065526601403,
      "remainder": 3.31722342331484e-05
    },
    {
      "t": 7.015228257224902e-05,
      "lower": 0.0005984783286285293,
      "upper": 0.0018302233401249798,
      "remainder": 3.4788354239392044e-05
    },
    {
      "t": 7.340357250241341e-05,
      "lower": 0.0006163642384345067,
      "upper": 0.0018855759253936044,
      "remainder": 3.6483210090083835e-05
    },
    {
      "t": 7.680554728305433e-05,
      "lower": 0.0006347846801596609,
      "upper": 0.0019426146782003852,
      "remainder": 3.826063772140247e-05
    },
    {
      "t": 8.036519058054758e-05,
      "lower": 0.0006537556286342196,
      "upper": 0.0020013915458553825,
      "remainder": 4.012465995272408e-05
    },
    {
      "t": 8.408980972748946e-05,
      "lower": 0.0006732935361064875,
      "upper": 0.002061960103910858,
      "remainder": 4.20794955913956e-05
    },
    {
      "t": 8.798705072338813e-05,
      "lower": 0.0006934153465107926,
      "upper": 0.0021243756085134622,
      "remainder": 4.412956898108423e-05
    },
    {
      "t": 9.206491393057876e-05,
      "lower": 0.0007141385101618372,
      "upper": 0.0021886950505008245,
      "remainder": 4.6279520015313e-05
    },
    {
      "t": 9.63317704975859e-05,
      "lower": 0.0007354809988882046,
      "upper": 0.0022549772113034613,
      "remainder": 4.853421463884721e-05
    },
    {
      "t": 0.00010079637954364428,
      "lower": 0.0007574613216181353,
      "upper": 0.0023232827207151038,
      "remainder": 5.089875586069775e-05
    },
    {
      "t": 0.00010546790613965723,
      "lower": 0.0007800985404310949,
      "upper": 0.0023936741165969527,
      "remainder": 5.337849530366785e-05
    },
    {
      "t": 0.00011035594012250365,
      "lower": 0.0008034122870890559,
      "upper": 0.0024662159065837507,
      "remainder": 5.5979045316583e-05
    },
    {
      "t": 0.00011547051578131565,
      "lower": 0.0008274227800618237,
      "upper": 0.002540974631862088,
      "remainder": 5.8706291676616945e-05
    },
    {
      "t": 0.0001208221324561406,
      "lower": 0.000852150842061179,
      "upper": 0.0026180189330940007,
      "remainder": 6.156640691046343e-05
    },
    {
      "t": 0.00012642177609127202,
      "lower": 0.0008776179180990385,
      "upper": 0.0026974196185616185,
      "remainder": 6.456586426450277e-05
    },
    {
      "t": 0.0001322809417874948,
      "lower": 0.0009038460940852941,
      "upper": 0.002779249734611464,
      "remainder": 6.771145235558163e-05
    },
    {
      "t": 0.00013841165739954085,
      "lower": 0.0009308581159814604,
      "upper": 0.0028635846384799466,
      "remainder": 7.101029053556517e-05
    },
    {
      "t": 0.00014482650822719614,
      "lower": 0.0009586774095267423,
      "upper": 0.0029505020735846625,
      "remainder": 7.44698450044354e-05
    },
    {
      "t": 0.00015153866285074676,
      "lower": 0.0009873281005536286,
      "upper": 0.0030400822473692912,
      "remainder": 7.809794570840488e-05
    },
    {
      "t": 0.00015856190016379904,
      "lower": 0.0010168350359106315,
      "upper": 0.003132407911793185,
      "remainder": 8.190280406129064e-05
    },
    {
      "t": 0.0001659106376589668,
      "lower": 0.0010472238050103124,
      "upper": 0.003227564446560194,
      "remainder": 8.58930315292563e-05
    },
    {
      "t": 0.00017359996102449257,
      "lower": 0.0010785207620212873,
      "upper": 0.003325639945184848,
      "remainder": 9.007765912098574e-05
    },
    {
      "t": 0.0001816456551125585,
      "lower": 0.0011107530487234523,
      "upper": 0.003426725303997756,
      "remainder": 9.446615782739923e-05
    },
    {
      "t": 0.00019006423634286045,
      "lower": 0.0011439486180462525,
      "upper": 0.0035309143141959314,
      "remainder": 9.906846005717382e-05
    },
    {
      "t": 0.00019887298660796408,
      "lower": 0.001178136258310412,
      "upper": 0.0036383037570478184,
      "remainder": 0.00010389498211658185
    },
    {
      "t": 0.00020808998875004362,
      "lower": 0.0012133456181941363,
      "upper": 0.0037489935023669353,
      "remainder": 0.00010895664778452592
    },
    {
      "t": 0.00021773416368183246,
      "lower": 0.00124960723244545,
      "upper": 0.0038630866103724778,
      "remainder": 0.00011426491303612755
    },
    {
      "t": 0.00022782530922798693,
      "lower": 0.0012869525483629619,
      "upper": 0.003980689437059711,
      "remainder": 0.00011983179197082528
    },
    {
      "t": 0.00023838414076659972,
      "lower": 0.0013254139530680267,
      "upper": 0.004101911743207747,
      "remainder": 0.00012566988400366597
    },
    {
      "t": 0.00024943233375429206,
      "lower": 0.0013650248015919552,
      "upper": 0.004226866807157196,
      "remainder": 0.0001317924023813302
    },
    {
      "t": 0.00026099256822218,
      "lower": 0.0014058194458026229,
      "upper": 0.004355671541495299,
      "remainder": 0.00013821320408743091
    },
    {
      "t": 0.00027308857533405996,
      "lower": 0.001447833264195573,
      "upper": 0.00448844661379149,
      "remainder": 0.00014494682120477057
    },
    {
      "t": 0.00028574518610238606,
      "lower": 0.0014911026925754425,
      "upper": 0.004625316571531865,
      "remainder": 0.00015200849380553747
    },
    {
      "t": 0.0002989883823620491,
      "lower": 0.0015356652556543274,
      "upper": 0.004766409971406865,
      "remainder": 0.00015941420444388194
    },
    {
      "t": 0.00031284535010659423,
      "lower": 0.001581559599594482,
      "upper": 0.004911859513112384,
      "remainder": 0.0001671807143289386
    },
    {
      "t": 0.00032734453529636716,
      "lower": 0.0016288255255235767,
      "upper": 0.005061802177830893,
      "remainder": 0.00017532560126016312
    },
    {
      "t": 0.00034251570225315634,
      "lower": 0.0016775040240515856,
      "upper": 0.005216379371565601,
      "remainder": 0.00018386729941084412
    },
    {
      "t": 0.00035838999476120107,
      "lower": 0.0017276373108192245,
      "upper": 0.005375737073507502,
      "remainder": 0.00019282514104982878
    },
    {
      "t": 0.000375,
      "lower": 0.001779268863108787,
      "upper": 0.0055400259896222544,
      "remainder": 0.0002022194002958932
    },
    {
      "t": 0.00039237981544016,
      "lower": 0.0018324434575491154,
      "upper": 0.00570940171165113,
      "remainder": 0.00021207133900378388
    },
    {
      "t": 0.00041056511883961073,
      "lower": 0.0018872072089474053,
      "upper": 0.005884024881728,
      "remainder": 0.00022240325488578352
    },
    {
      "t": 0.0004295932414838773,
      "lower": 0.0019436076102815284,
      "upper": 0.006064061362822301,
      "remainder": 0.00023323853197771481
    },
    {
      "t": 0.00044950324482075744,
      "lower": 0.0020016935738875466,
      "upper": 0.00624968241522624,
      "remainder": 0.0002446016935635994
    },
    {
      "t": 0.000470336000646725,
      "lower": 0.0020615154738781462,
      "upper": 0.006441064879313198,
      "remainder": 0.0002565184576787572
    },
    {
      "t": 0.0004921342750096665,
      "lower": 0.002123125189828776,
      "upper": 0.006638391364803293,
      "remainder": 0.0002690157953169655
    },
    {
      "t": 0.0005149428160001864,
      "lower": 0.002186576151769365,
      "upper": 0.0068418504467815085,
      "remainder": 0.0002821219914734133
    },
    {
      "t": 0.0005388084456117056,
      "lower": 0.002251923386520656,
      "upper": 0.007051636868723582,
      "remainder": 0.00029586670916161343
    },
    {
      "t": 0.000563780155857922,
      "lower": 0.0023192235654153214,
      "upper": 0.00726795175279512,
      "remainder": 0.00031028105654915634
    },
    {
      "t": 0.0005899092093449496,
      "lower": 0.0023885350534452628,
      "upper": 0.007491002817700044,
      "remainder": 0.00032539765736425597
    },
    {
      "t": 0.0006172492445045921,
      "lower": 0.0024599179598777093,
      "upper": 0.007721004604365565,
      "remainder": 0.00034125072473243647
    },
    {
      "t": 0.0006458563857047733,
      "lower": 0.002533434190384003,
      "upper": 0.007958178709762481,
      "remainder": 0.0003578761386104713
    },
    {
      "t": 0.0006757893584631681,
      "lower": 0.002609147500726296,
      "upper": 0.008202754029171722,
      "remainder": 0.00037531152699283243
    },
    {
      "t": 0.0007071096100005395,
      "lower": 0.0026871235520486967,
      "upper": 0.008454967007220529,
      "remainder": 0.0003935963510744387
    },
    {
      "t": 0.0007398814353812672,
      "lower": 0.0027674299678208405,
      "upper": 0.008715061898024979,
      "remainder": 0.0004127719945624564
    },
    {
      "t": 0.0007741721095000061,
      "lower": 0.002850136392483254,
      "upper": 0.008983291034789048,
      "remainder": 0.0004328818573392857
    },
    {
      "t": 0.000810052025185418,
      "lower": 0.002935314551845362,
      "upper": 0.009259915109224805,
      "remainder": 0.0004539714536887173
    },
    {
      "t": 0.0008475948377044866,
      "lower": 0.0030230383152885444,
      "upper": 0.009545203461173213,
      "remainder": 0.00047608851530757824
    },
    {
      "t": 0.0008868776159640511,
      "lower": 0.003113383759828152,
      "upper": 0.00983943437882046,
      "remainder": 0.0004992830993360044
    },
    {
      "t": 0.000927981000719956,
      "lower": 0.003206429236090075,
      "upper": 0.010142895409921074,
      "remainder": 0.0005236077016508492
    },
    {
      "t": 0.0009709893701185902,
      "lower": 0.003302255436259058,
      "upper": 0.010455883684455816,
      "remainder": 0.0005491173756786405
    },
    {
      "t": 0.0010159910129106402,
      "lower": 0.0034009454640576914,
      "upper": 0.010778706249170066,
      "remainder": 0.0005758698569969909
    },
    {
      "t": 0.001063078309692635,
      "lower": 0.0035025849068167614,
      "upper": 0.011111680414456756,
      "remainder": 0.0006039256940064695
    },
    {
      "t": 0.001112347922548356,
      "lower": 0.003607261909699496,
      "upper": 0.011455134114067182,
      "remainder": 0.0006333483849686924
    },
    {
      "t": 0.0011639009934793858,
      "lower": 0.003715067252144018,
      "upper": 0.011809406278152825,
      "remainder": 0.0006642045217207702
    },
    {
      "t": 0.001217843352032161,
      "lower": 0.003826094426590349,
      "upper": 0.01217484722016244,
      "remainder": 0.0006965639403913921
    },
    {
      "t": 0.0012742857325477482,
      "lower": 0.003940439719560222,
      "upper": 0.012551819038140325,
      "remainder": 0.0007304998794596592
    },
    {
      "t": 0.0013333440014803054,
      "lower": 0.004058202295159998,
      "upper": 0.012940696030994382,
      "remainder": 0.0007660891455143873
    },
    {
      "t": 0.0013951393952508979,
      "lower": 0.0041794842810791485,
      "upper": 0.013341865130326501,
      "remainder": 0.0008034122870890554
    },
    {
      "t": 0.001459798769124918,
      "lower": 0.004304390857158835,
      "upper": 0.01375572634844233,
      "remainder": 0.0008425537769658235
    },
    {
      "t": 0.0015274548576240216,
      "lower": 0.004433030346607421,
      "upper": 0.014182693243183492,
      "remainder": 0.0008836022033612295
    },
    {
      "t": 0.0015982465470071737,
      "lower": 0.0045655143099420335,
      "upper": 0.014623193400252383,
      "remainder": 0.0009266504704262812
    },
    {
      "t": 0.0016723191603801276,
      "lower": 0.004701957641737606,
      "upper": 0.015077668933727533,
      "remainder": 0.0009717960085147115
    },
    {
      "t": 0.0017498247560186607,
      "lower": 0.004842478670267354,
      "upper": 0.015546577005497381,
      "remainder": 0.0010191409946953187
    },
    {
      "t": 0.0018309224395179355,
      "lower": 0.004987199260121046,
      "upper": 0.016030390364370588,
      "remainder": 0.0010687925840074505
    },
    {
      "t": 0.001915778690408787,
      "lower": 0.005136244917890099,
      "upper": 0.016529597905653334,
      "remainder": 0.0011208631519830363
    },
    {
      "t": 0.0020045677039114453,
      "lower": 0.005289744901011148,
      "upper": 0.017044705252017525,
      "remainder": 0.0011754705489840775
    },
    {
      "t": 0.0020974717485282087,
      "lower": 0.00544783232986246,
      "upper": 0.01757623535651858,
      "remainder": 0.0012327383669312013
    },
    {
      "t": 0.002194681540209195,
      "lower": 0.005610644303210432,
      "upper": 0.018124729128658295,
      "remainder": 0.0012927962190269976
    },
    {
      "t": 0.0022963966338592295,
      "lower": 0.005778322017106289,
      "upper": 0.01869074608442607,
      "remainder": 0.0013557800331072027
    },
    {
      "t": 0.002402825832989571,
      "lower": 0.00595101088733605,
      "upper": 0.01927486502129182,
      "remainder": 0.0014218323592836712
    },
    {
      "t": 0.0025141876183554603,
      "lower": 0.006128860675530051,
      "upper": 0.019877684719165598,
      "remainder": 0.0014911026925754428
    },
    {
      "t": 0.002630710596459336,
      "lower": 0.0063120256190412685,
      "upper": 0.02049982466838187,
      "remainder": 0.0015637478112580658
    },
    {
      "t": 0.0027526339688405,
      "lower": 0.006500664564705188,
      "upper": 0.021141925825812573,
      "remainder": 0.0016399321316970064
    },
    {
      "t": 0.0028802080231145376,
      "lower": 0.0066949411065971515,
      "upper": 0.021804651400259643,
      "remainder": 0.0017198280804681882
    },
    {
      "t": 0.003013694646770534,
      "lower": 0.006895023727906654,
      "upper": 0.022488687668327862,
      "remainder": 0.0018036164846078969
    },
    {
      "t": 0.003153367864780858,
      "lower": 0.0071010859470517045,
      "upper": 0.023194744822030423,
      "remainder": 0.0018914869808753093
    },
    {
      "t": 0.0032995144021270516,
      "lower": 0.0073133064681598185,
      "upper": 0.023923557849433334,
      "remainder": 0.0019836384449538782
    },
    {
      "t": 0.0034524342723967,
      "lower": 0.0075318693360463315,
      "upper": 0.024675887449702033,
      "remainder": 0.0020802794415630353
    },
    {
      "t": 0.003612441393659471,
      "lower": 0.007756964095824258,
      "upper": 0.025452520983971667,
      "remainder": 0.002181628696498892
    },
    {
      "t": 0.0037798642328866604,
      "lower": 0.007988785957284228,
      "upper": 0.026254273463525,
      "remainder": 0.0022879155916723177
    },
    {
      "t": 0.00395504648023715,
      "lower": 0.008227535964187044,
      "upper": 0.027081988576825963,
      "remainder": 0.002399380684264828
    },
    {
      "t": 0.004138347754593886,
      "lower": 0.008473421168615596,
      "upper": 0.027936539757024016,
      "remainder": 0.0025162762511772275
    },
    {
      "t": 0.004330144341799333,
      "lower": 0.008726654810537469,
      "upper": 0.02881883129161572,
      "remainder": 0.002638866860003311
    },
    {
      "t": 0.004530829967105272,
      "lower": 0.008987456502733839,
      "upper": 0.029729799476022355,
      "remainder": 0.002767429967820841
    },
    {
      "t": 0.004740816603422701,
      "lower": 0.009256052421255087,
      "upper": 0.030670413812920322,
      "remainder": 0.0029022565491550576
    },
    {
      "t": 0.0049605353170310605,
      "lower": 0.009532675501568375,
      "upper": 0.031641678259241135,
      "remainder": 0.0030436517545360093
    },
    {
      "t": 0.005190437152482782,
      "lower": 0.009817565640567091,
      "upper": 0.0326446325228414,
      "remainder": 0.003191935601140126
    },
    {
      "t": 0.005430994058519849,
      "lower": 0.010110969904617623,
      "upper": 0.03368035341093212,
      "remainder": 0.003347443697079254
    },
    {
      "t": 0.005682699856903003,
      "lower": 0.010413142743823624,
      "upper": 0.03474995623244721,
      "remainder": 0.0035105280009763325
    },
    {
      "t": 0.005946071256142464,
      "lower": 0.010724346212693756,
      "upper": 0.03585459625662815,
      "remainder": 0.003681557618546884
    },
    {
      "t": 0.006221648912211261,
      "lower": 0.01104485019740425,
      "upper": 0.036995470230201985,
      "remainder": 0.003860919637989236
    },
    {
      "t": 0.006509998538418472,
      "lower": 0.011374932649853285,
      "upper": 0.038173817955633974,
      "remainder": 0.004049020006074117
    },
    {
      "t": 0.006811712066720937,
      "lower": 0.01171487982871032,
      "upper": 0.03939092393304753,
      "remainder": 0.00424628444691657
    },
    {
      "t": 0.0071274088628572665,
      "lower": 0.012064986547669286,
      "upper": 0.04064811906851738,
      "remainder": 0.004453159425509522
    },
    {
      "t": 0.007457736997798653,
      "lower": 0.012425556431120964,
      "upper": 0.041946782451562706,
      "remainder": 0.00467011315819981
    },
    {
      "t": 0.007803374578126644,
      "lower": 0.012796902177466377,
      "upper": 0.04328834320479282,
      "remainder": 0.004897636672393684
    },
    {
      "t": 0.008165031138068718,
      "lower": 0.01317934583029937,
      "upper": 0.04467428240878821,
      "remainder": 0.005136244917890099
    },
    {
      "t": 0.008543449096049502,
      "lower": 0.013573219057693759,
      "upper": 0.04610613510543846,
      "remainder": 0.005386477932357188
    },
    {
      "t": 0.00893940527874749,
      "lower": 0.013978863439837081,
      "upper": 0.04758549238310085,
      "remainder": 0.005648902063589604
    },
    {
      "t": 0.009353712515785952,
      "lower": 0.01439663076526047,
      "upper": 0.0491140035470945,
      "remainder": 0.005924111251313084
    },
    {
      "t": 0.009787221308331762,
      "lower": 0.01482688333592162,
      "upper": 0.05069337837920224,
      "remainder": 0.006212728371437382
    },
    {
      "t": 0.010240821575027247,
      "lower": 0.015269994281405234,
      "upper": 0.05232538949001556,
      "remainder": 0.0065154066457998525
    },
    {
      "t": 0.010715444478839467,
      "lower": 0.0157263478825137,
      "upper": 0.0540118747681316,
      "remainder": 0.0068328311205905
    },
    {
      "t": 0.011212064338576843,
      "lower": 0.01619633990452835,
      "upper": 0.0557547399303895,
      "remainder": 0.007165720216804453
    },
    {
      "t": 0.011731700628997282,
      "lower": 0.016680377940430483,
      "upper": 0.05755596117752245,
      "remainder": 0.007514827356230997
    },
    {
      "t": 0.01227542007361378,
      "lower": 0.017178881764379872,
      "upper": 0.059417587959798984,
      "remainder": 0.007880942666659367
    },
    {
      "t": 0.012844338834493362,
      "lower": 0.01769228369575701,
      "upper": 0.06134174585743145,
      "remainder": 0.008264894770160415
    },
    {
      "t": 0.013439624803545026,
      "lower": 0.018221028974085184,
      "upper": 0.06333063958074737,
      "remainder": 0.008667552658491817
    },
    {
      "t": 0.014062499999999999,
      "lower": 0.018765576145157236,
      "upper": 0.06538655609534286,
      "remainder": 0.00908982765987116
    },
    {
      "t": 0.014714243079006,
      "lower": 0.019326397458701926,
      "upper": 0.06751186787767416,
      "remainder": 0.009532675501568368
    },
    {
      "t": 0.015396191956485419,
      "lower": 0.019903979277934976,
      "upper": 0.0697090363067907,
      "remainder": 0.009997098472985777
    },
    {
      "t": 0.0161097465556454,
      "lower": 0.020498822501349594,
      "upper": 0.07198061519817006,
      "remainder": 0.01048414769412128
    },
    {
      "t": 0.016856371680778387,
      "lower": 0.02111144299711269,
      "upper": 0.07432925448588712,
      "remainder": 0.010994925494549036
    },
    {
      "t": 0.017637600024252187,
      "lower": 0.021742372050443153,
      "upper": 0.07675770405963121,
      "remainder": 0.011530587908301748
    },
    {
      "t": 0.01845503531286249,
      "lower": 0.022392156824360347,
      "upper": 0.07926881776338232,
      "remainder": 0.012092347290301265
    },
    {
      "t": 0.019310355600007007,
      "lower": 0.023061360834202464,
      "upper": 0.08186555756286673,
      "remainder": 0.012681475060259344
    },
    {
      "t": 0.02020531671043896,
      "lower": 0.02375056443632598,
      "upper": 0.0845509978892364,
      "remainder": 0.01329930458025845
    },
    {
      "t": 0.021141755844672053,
      "lower": 0.024460365331410435,
      "upper": 0.08732833016675717,
      "remainder": 0.01394723417252585
    },
    {
      "t": 0.02212159535043561,
      "lower": 0.025191379082804638,
      "upper": 0.09020086753264452,
      "remainder": 0.014626730284230605
    },
    {
      "t": 0.0231468466689222,
      "lower": 0.025944239650363958,
      "upper": 0.09317204975755841,
      "remainder": 0.015339330806466525
    },
    {
      "t": 0.024219614463929028,
      "lower": 0.0267195999402419,
      "upper": 0.09624544837565871,
      "remainder": 0.016086648554933018
    },
    {
      "t": 0.025342100942368804,
      "lower": 0.02751813237111225,
      "upper": 0.0994247720335279,
      "remainder": 0.016870374920191143
    },
    {
      "t": 0.026516610375020202,
      "lower": 0.028340529457313433,
      "upper": 0.1027138720676973,
      "remainder": 0.017692283695756997
    },
    {
      "t": 0.02774555382679752,
      "lower": 0.02918750440942033,
      "upper": 0.10611674832095702,
      "remainder": 0.018554235092696016
    },
    {
      "t": 0.02903145410625023,
      "lower": 0.030059791752764534,
      "upper": 0.1096375552080981,
      "remainder": 0.019458179949804505
    },
    {
      "t": 0.030376950944453206,
      "lower": 0.030958147964439714,
      "upper": 0.11328060804222664,
      "remainder": 0.02040616414890748
    },
    {
      "t": 0.031784806413918246,
      "lower": 0.031883352129344,
      "upper": 0.11705038963329732,
      "remainder": 0.02140033324526532
    },
    {
      "t": 0.03325791059865189,
      "lower": 0.03283620661582888,
      "upper": 0.12095155717105648,
      "remainder": 0.02244293732356983
    },
    {
      "t": 0.03479928752699835,
      "lower": 0.03381753777154012,
      "upper": 0.12498894940513994,
      "remainder": 0.02353633609051958
    },
    {
      "t": 0.036412101379447136,
      "lower": 0.03482819664005435,
      "upper": 0.1291675941356638,
      "remainder": 0.02468300421550078
    },
    {
      "t": 0.038099662984149005,
      "lower": 0.035869059698933,
      "upper": 0.13349271602826027,
      "remainder": 0.02588553693146129
    },
    {
      "t": 0.03986543661347382,
      "lower": 0.03694102961983307,
      "upper": 0.1379697447681528,
      "remainder": 0.02714665590865359
    },
    {
      "t": 0.041713047095563345,
      "lower": 0.038045036051334746,
      "upper": 0.14260432356854558,
      "remainder": 0.028469215414541338
    },
    {
      "t": 0.04364628725547697,
      "lower": 0.039182036425164005,
      "upper": 0.14740231804930254,
      "remainder": 0.02985620877381054
    },
    {
      "t": 0.04566912570120603,
      "lower": 0.040353016786509696,
      "upper": 0.15236982550263542,
      "remainder": 0.03131077514310633
    },
    {
      "t": 0.04778571497054056,
      "lower": 0.04155899264915551,
      "upper": 0.15751318456329544,
      "remainder": 0.032836206615828895
    },
    {
      "t": 0.05000040005551146,
      "lower": 0.04280100987616766,
      "upper": 0.16283898530157084,
      "remainder": 0.03443595567306785
    },
    {
      "t": 0.05231772732190867,
      "lower": 0.04408014558690288,
      "upper": 0.1683540797582483,
      "remainder": 0.03611364299753963
    },
    {
      "t": 0.05474245384218443,
      "lower": 0.04539750909112272,
      "upper": 0.17406559294158042,
      "remainder": 0.03787306566821224
    },
    {
      "t": 0.057279557160900815,
      "lower": 0.046754242851024405,
      "upper": 0.17998093430723755,
      "remainder": 0.039718205754164335
    },
    {
      "t": 0.05993424551276895,
      "lower": 0.04815152347202285,
      "upper": 0.186107809743198,
      "remainder": 0.041653239327129415
    },
    {
      "t": 0.06271196851425478,
      "lower": 0.04959056272314264,
      "upper": 0.19245423408255025,
      "remainder": 0.04368254591312232
    },
    {
      "t": 0.06561842835069978,
      "lower": 0.05107260858790499,
      "upper": 0.199028544168255,
      "remainder": 0.045810718404540006
    },
    {
      "t": 0.06865959148192258,
      "lower": 0.052598946346621496,
      "upper": 0.20583941249503557,
      "remainder": 0.04804257345517108
    },
    {
      "t": 0.07184170089032951,
      "lower": 0.05417089969103248,
      "upper": 0.2128958614547371,
      "remainder": 0.05038316238163966
    },
    {
      "t": 0.07517128889667912,
      "lower": 0.055789831872257445,
      "upper": 0.22020727821273026,
      "remainder": 0.05283778259595792
    },
    {
      "t": 0.07865519056980783,
      "lower": 0.057457146883052465,
      "upper": 0.22778343024421904,
      "remainder": 0.055411989595061634
    },
    {
      "t": 0.08230055775784482,
      "lower": 0.0591742906754001,
      "upper": 0.23563448156066452,
      "remainder": 0.058111609534464204
    },
    {
      "t": 0.08611487376972107,
      "lower": 0.060942752414488134,
      "upper": 0.24377100965795254,
      "remainder": 0.06094275241448813
    }
  ],
  "support_sections": [
    {
      "t": 1.0,
      "center_s": 4.0,
      "radius": 0.8,
      "torus_volume": 50.532374533577524
    },
    {
      "t": 0.25,
      "center_s": 2.0,
      "radius": 0.4,
      "torus_volume": 6.3165468166971905
    },
    {
      "t": 0.0625,
      "center_s": 1.0,
      "radius": 0.2,
      "torus_volume": 0.7895683520871488
    }
  ]
}