{
  "scope": "Original constructed clocks and weights, not the source approximate profile. Numerical samples illustrate complete analytic bounds; no interval-arithmetic certificate claimed.",
  "proofs": [
    "CHEN_HOU_EXACT_PHYSICAL_CLOCK_WORK_20261011.md QC1\u2013QC21",
    "CHEN_HOU_FULL_WEIGHTED_TRANSPORT_WORK_20261011.md WT7\u2013WT18"
  ],
  "human_source": "Chen and Hou arxiv:2210.07191v4; original TeX710\u2013850 and1690\u20131799",
  "clock": {
    "A": 5,
    "bar_c_omega": -2,
    "bar_c_l": 3,
    "delta": "1/4",
    "rate": "-2+sin(tau)/4",
    "tau": [
      0.0,
      0.0375,
      0.075,
      0.11249999999999999,
      0.15,
      0.1875,
      0.22499999999999998,
      0.2625,
      0.3,
      0.33749999999999997,
      0.375,
      0.4125,
      0.44999999999999996,
      0.4875,
      0.525,
      0.5625,
      0.6,
      0.6375,
      0.6749999999999999,
      0.7125,
      0.75,
      0.7875,
      0.825,
      0.8624999999999999,
      0.8999999999999999,
      0.9375,
      0.975,
      1.0125,
      1.05,
      1.0875,
      1.125,
      1.1624999999999999,
      1.2,
      1.2375,
      1.275,
      1.3125,
      1.3499999999999999,
      1.3875,
      1.425,
      1.4625,
      1.5,
      1.5374999999999999,
      1.575,
      1.6125,
      1.65,
      1.6875,
      1.7249999999999999,
      1.7625,
      1.7999999999999998,
      1.8375,
      1.875,
      1.9124999999999999,
      1.95,
      1.9874999999999998,
      2.025,
      2.0625,
      2.1,
      2.1374999999999997,
      2.175,
      2.2125,
      2.25,
      2.2875,
      2.3249999999999997,
      2.3625,
      2.4,
      2.4375,
      2.475,
      2.5124999999999997,
      2.55,
      2.5875,
      2.625,
      2.6625,
      2.6999999999999997,
      2.7375,
      2.775,
      2.8125,
      2.85,
      2.8874999999999997,
      2.925,
      2.9625,
      3.0,
      3.0375,
      3.0749999999999997,
      3.1125,
      3.15,
      3.1875,
      3.225,
      3.2624999999999997,
      3.3,
      3.3375,
      3.375,
      3.4125,
      3.4499999999999997,
      3.4875,
      3.525,
      3.5625,
      3.5999999999999996,
      3.6374999999999997,
      3.675,
      3.7125,
      3.75,
      3.7874999999999996,
      3.8249999999999997,
      3.8625,
      3.9,
      3.9375,
      3.9749999999999996,
      4.0125,
      4.05,
      4.0874999999999995,
      4.125,
      4.1625,
      4.2,
      4.2375,
      4.2749999999999995,
      4.3125,
      4.35,
      4.3875,
      4.425,
      4.4624999999999995,
      4.5,
      4.5375,
      4.575,
      4.6125,
      4.6499999999999995,
      4.6875,
      4.725,
      4.7625,
      4.8,
      4.8374999999999995,
      4.875,
      4.9125,
      4.95,
      4.9875,
      5.0249999999999995,
      5.0625,
      5.1,
      5.1375,
      5.175,
      5.2124999999999995,
      5.25,
      5.2875,
      5.325,
      5.3625,
      5.3999999999999995,
      5.4375,
      5.475,
      5.5125,
      5.55,
      5.5874999999999995,
      5.625,
      5.6625,
      5.7,
      5.7375,
      5.7749999999999995,
      5.8125,
      5.85,
      5.8875,
      5.925,
      5.9624999999999995,
      6.0
    ],
    "q": [
      0.5275904715603592,
      0.529643994204474,
      0.5316635162727309,
      0.5336453444722611,
      0.535585819892759,
      0.5374813287489105,
      0.5393283131959449,
      0.5411232821603422,
      0.5428628221263471,
      0.5445436078180522,
      0.5461624127164448,
      0.5477161193509874,
      0.5492017293059991,
      0.5506163728833648,
      0.5519573183648638,
      0.5532219808197136,
      0.5544079304057118,
      0.5555129001156135,
      0.5565347929240825,
      0.5574716882946374,
      0.5583218480104637,
      0.5590837212977021,
      0.559755949214834,
      0.5603373682869801,
      0.5608270133692771,
      0.5612241197289246,
      0.5615281243409652,
      0.5617386663982844,
      0.5618555870416745,
      0.5618789283210277,
      0.5618089314037408,
      0.5616460340512246,
      0.5613908673889213,
      0.5610442519994449,
      0.5606071933723147,
      0.5600808767472312,
      0.5594666613909268,
      0.5587660743502864,
      0.5579808037266593,
      0.5571126915180932,
      0.556163726077568,
      0.5551360342362374,
      0.5540318731411892,
      0.5528536218573162,
      0.5516037727825869,
      0.5502849229253189,
      0.5488997650910324,
      0.5474510790250915,
      0.5459417225557022,
      0.5443746227799042,
      0.542752767333056,
      0.5410791957799421,
      0.5393569911631275,
      0.5375892717415083,
      0.5357791829492495,
      0.53392988960247,
      0.5320445683781275,
      0.5301264005866857,
      0.5281785652572237,
      0.5262042325508138,
      0.5242065575151733,
      0.5221886741908832,
      0.5201536900768177,
      0.518104680959922,
      0.5160446861120539,
      0.5139767038543512,
      0.511903687487447,
      0.5098285415838797,
      0.5077541186372172,
      0.5056832160607371,
      0.5036185735269922,
      0.5015628706382308,
      0.4995187249164225,
      0.49748869010060004,
      0.4954752547382916,
      0.49348084105706586,
      0.49150780410155515,
      0.489558431120816,
      0.487634941190488,
      0.48573948505392556,
      0.48387414516629346,
      0.48204093592553104,
      0.4802418040740813,
      0.4784786292553572,
      0.47675322470905795,
      0.4750673380896537,
      0.47342265239260967,
      0.47182078697322516,
      0.470263298643305,
      0.4687516828312522,
      0.46728737479157534,
      0.46587175085022176,
      0.4645061296725905,
      0.4631917735415276,
      0.46192988963306475,
      0.4607216312781306,
      0.459568099198925,
      0.45847034270912246,
      0.45742936086753067,
      0.45644610357529936,
      0.4555214726072381,
      0.4546563225682606,
      0.45385146176643665,
      0.4531076529945879,
      0.4524256142128301,
      0.4518060191249237,
      0.451249497641768,
      0.4507566362258521,
      0.4503279781109627,
      0.4499640233919559,
      0.4496652289799226,
      0.4494320084186177,
      0.44926473155859614,
      0.44916372408609906,
      0.44912926690435884,
      0.4491615953656711,
      0.44926089835328165,
      0.44942731721289897,
      0.4496609445344374,
      0.449961822785451,
      0.45032994279862043,
      0.45076524211660945,
      0.45126760319862413,
      0.4518368514940646,
      0.452472753389792,
      0.45317501403869187,
      0.45394327507844795,
      0.4547771122507022,
      0.45567603293208664,
      0.45663947358995627,
      0.45766679717701925,
      0.4587572904804507,
      0.4599101614424662,
      0.46112453647072205,
      0.46239945775828095,
      0.46373388063421633,
      0.4651266709672194,
      0.46657660264579676,
      0.46808235515978464,
      0.46964251130894236,
      0.4712555550653013,
      0.4729198696167195,
      0.47463373561969685,
      0.4763953296899352,
      0.4782027231593494,
      0.4800538811282356,
      0.48194666184106594,
      0.4838788164138863,
      0.485847988940523,
      0.4878517170037635,
      0.48988743261632856,
      0.49195246361481665,
      0.4940440355278543,
      0.4961592739374402,
      0.498295207349923,
      0.5004487705902129,
      0.5026168087297104,
      0.5047960815550528,
      0.506983268581157,
      0.509174974608194,
      0.511367735818108
    ],
    "C_omega": [
      5.0,
      4.639532807294518,
      4.306565453522201,
      3.998895811309678,
      3.714503949779889,
      3.4515368104347943,
      3.2082941731726056,
      2.9832158055943365,
      2.7748696972575253,
      2.581941288411476,
      2.4032236100379794,
      2.237608258762083,
      2.08407713642534,
      1.9416948898635296,
      1.809601991734886,
      1.6870084081343943,
      1.5731878032340263,
      1.46747223533559,
      1.3692473025381144,
      1.2779476997298684,
      1.1930531518391445,
      1.1140846912392341,
      1.0406012499216803,
      0.9721965395465886,
      0.908496194766935,
      0.8491551573216816,
      0.7938552803151082,
      0.7423031338611391,
      0.6942279948845005,
      0.6493800053473242,
      0.607528484521406,
      0.5684603821630058,
      0.5319788605782925,
      0.4979019946020801,
      0.4660615794583531,
      0.4363020373357352,
      0.4084794143012916,
      0.3824604598981567,
      0.3581217824322517,
      0.335349073556043,
      0.3140363963078103,
      0.2940855312676718,
      0.27540537595076126,
      0.2579113929772154,
      0.2415251029414423,
      0.22617361825266397,
      0.21178921453781985,
      0.1983089364892371,
      0.1856742353054279,
      0.17383063511615868,
      0.16272742600458942,
      0.1523173814416281,
      0.1425564981323901,
      0.13340375644332295,
      0.12482089973256905,
      0.11677223104678205,
      0.10922442577605192,
      0.10214635897591631,
      0.09550894617261253,
      0.08928499656565676,
      0.08344907763133602,
      0.07797739021252297,
      0.07284765325503527,
      0.06803899741920535,
      0.06353186685794668,
      0.059307928509932654,
      0.055349988309009154,
      0.05164191375906793,
      0.04816856236771244,
      0.044915715472502976,
      0.041870017030696365,
      0.039018916977496945,
      0.03635061878917122,
      0.03385403091619519,
      0.031518721778121525,
      0.02933487803626992,
      0.027293265882843348,
      0.02538519510581736,
      0.023602485708085826,
      0.02193743687701342,
      0.020382798116857902,
      0.018931742371599912,
      0.01757784097964752,
      0.016315040314761494,
      0.015137639979453934,
      0.01404027242812065,
      0.013017883907344242,
      0.012065716610209847,
      0.011179291950163473,
      0.01035439486796498,
      0.009587059092688408,
      0.00887355328454502,
      0.00821036799358689,
      0.007594203374126862,
      0.0070219576000187444,
      0.006490715930808683,
      0.005997740383226175,
      0.005540459966556315,
      0.005116461444151164,
      0.00472348058672047,
      0.004359393886115162,
      0.004022210701101343,
      0.0037100658091406996,
      0.003421212340463915,
      0.0031540150727668087,
      0.00290694406669258,
      0.0026785686239047595,
      0.0024675515510212552,
      0.0022726437139856392,
      0.002092678868612404,
      0.0019265687540726585,
      0.0017732984369985467,
      0.0016319218946909647,
      0.0015015578266280578,
      0.0013813856841012205,
      0.001270641908362203,
      0.0011686163681573587,
      0.0010746489879624546,
      0.0009881265586209104,
      0.0009084797224368768,
      0.0008351801250887316,
      0.000767737727013407,
      0.0007056982671728594,
      0.0006486408723550809,
      0.0005961758053869672,
      0.0005479423458485816,
      0.0005036067970804626,
      0.0004628606134698769,
      0.000425418642190433,
      0.0003910174737534709,
      0.0003594138959105949,
      0.0003303834456253699,
      0.0003037190540092627,
      0.0002792297792928797,
      0.0002567396230785707,
      0.0002360864252947475,
      0.0002171208334457207,
      0.0001997053419233579,
      0.00018371339731824835,
      0.00016902856583797326,
      0.00015554375910832114,
      0.00014316051479940529,
      0.00013178832868237535,
      0.00012134403488337541,
      0.00011175123125923555,
      0.00010293974697380876,
      9.4845149504527e-05,
      8.740828845541269e-05,
      8.057487369518245e-05,
      7.42950854770019e-05,
      6.852321432973238e-05,
      6.32173286389859e-05,
      5.833896795988569e-05,
      5.385286022202667e-05,
      4.972666110069637e-05,
      4.5930713936952345e-05,
      4.243782869264779e-05,
      3.922307852501389e-05,
      3.6263612658990856e-05,
      3.3538484324239374e-05,
      3.102849260776322e-05
    ],
    "C_l": [
      1.0,
      0.8935973471085157,
      0.7985162187593771,
      0.7135519747065026,
      0.6376281516217733,
      0.569782824730923,
      0.5091564206075492,
      0.45498082671817347,
      0.40656965974059917,
      0.36330956935901126,
      0.32465246735834974,
      0.2901085835636554,
      0.25924026064589156,
      0.23165640917688882,
      0.2070075526811526,
      0.18498139990730428,
      0.16529888822158656,
      0.14771064799479683,
      0.13199384318783022,
      0.11794934810730248,
      0.10539922456186433,
      0.09418446745577669,
      0.0841629902573104,
      0.0752078248186524,
      0.06720551273974978,
      0.060054667895307945,
      0.053664691912730135,
      0.047954626326611474,
      0.042852126867040166,
      0.03829254688634466,
      0.03421811831166603,
      0.030577219746350096,
      0.02732372244729257,
      0.02441640589203002,
      0.021818435531042773,
      0.019496896108597995,
      0.017422374639493515,
      0.01556858775818209,
      0.01391204871893762,
      0.012431769828087092,
      0.011108996538242306,
      0.009926969835611012,
      0.008870713909928258,
      0.007926846416870494,
      0.007083408929052125,
      0.006329715427485747,
      0.005656216913953108,
      0.005054380428978814,
      0.00451658094261267,
      0.004036004748319562,
      0.0036065631360157305,
      0.0032228152505230263,
      0.002879899158088243,
      0.002573470247607702,
      0.002299646186124938,
      0.002054957731209459,
      0.0018363047770289056,
      0.001640917077235726,
      0.0014663191470429043,
      0.0013102988998119612,
      0.0011708796207911744,
      0.0010462949229224174,
      0.0009349663674165822,
      0.0008354834655591438,
      0.0007465858083766799,
      0.0006671470977542673,
      0.0005961608766843584,
      0.0005327277778550303,
      0.00047604412902226977,
      0.0004253917708008843,
      0.0003801289578694637,
      0.0003396822283112772,
      0.0003035391380788668,
      0.00027124176853088105,
      0.00024238092478421722,
      0.00021659095137688503,
      0.00019354509955809383,
      0.0001729513875109664,
      0.0001545489010585366,
      0.00013810448798444466,
      0.00012340980408667956,
      0.00011027867353903842,
      9.854473011713091e-05,
      8.805930940419292e-05,
      7.86895652717947e-05,
      7.031678677199808e-05,
      6.283489411665261e-05,
      5.614909468848531e-05,
      5.017468205617537e-05,
      4.4835962777411527e-05,
      4.006529739295107e-05,
      3.580224346145478e-05,
      3.1992789777689226e-05,
      2.858867207194356e-05,
      2.554676152084406e-05,
      2.2828518322240145e-05,
      2.039950341117196e-05,
      1.8228942130554366e-05,
      1.6289334328458052e-05,
      1.4556105942073779e-05,
      1.300729765406762e-05,
      1.1623286676725658e-05,
      1.0386538139003796e-05,
      9.281382926655221e-06,
      8.29381916075737e-06,
      7.411334799450557e-06,
      6.622749115322048e-06,
      5.9180710400170365e-06,
      5.288372581358973e-06,
      4.725675709223788e-06,
      4.222851277057527e-06,
      3.773528698412418e-06,
      3.3720152341391786e-06,
      3.0132238676362785e-06,
      2.692608854363838e-06,
      2.4061081290604234e-06,
      2.150091840984631e-06,
      1.921316365143526e-06,
      1.7168832068484357e-06,
      1.534202278934922e-06,
      1.3709590863840845e-06,
      1.2250854025871335e-06,
      1.0947330657332276e-06,
      9.782505633311873e-07,
      8.741621082001594e-07,
      7.811489408304491e-07,
      6.980326212227169e-07,
      6.237600985198216e-07,
      5.573903692694606e-07,
      4.980825552830256e-07,
      4.450852500419419e-07,
      3.977269986746101e-07,
      3.5540779088906284e-07,
      3.175914590801655e-07,
      2.8379888529835843e-07,
      2.536019310149668e-07,
      2.2661801277657141e-07,
      2.0250525502414742e-07,
      1.8095815866511207e-07,
      1.6170373052078588e-07,
      1.4449802461092448e-07,
      1.2912305145474325e-07,
      1.1538401623051466e-07,
      1.031068508023141e-07,
      9.213600834566135e-08,
      8.233249263085099e-08,
      7.357209699576006e-08,
      6.574383069662131e-08,
      5.874851269925236e-08,
      5.249751509462282e-08,
      4.691164021834418e-08,
      4.192011724762162e-08,
      3.745970556295245e-08,
      3.347389351452052e-08,
      2.991218244196846e-08,
      2.6729446876368918e-08,
      2.3885362818401333e-08,
      2.134389684924772e-08,
      1.9072849601445624e-08,
      1.7043447805651506e-08,
      1.522997974471263e-08
    ],
    "remaining_time": [
      2.637952357801796,
      2.4573006872981646,
      2.2896437320782814,
      2.133992132735035,
      1.9894356434377536,
      1.8551365910982698,
      1.73032388465356,
      1.6142875281158169,
      1.5063735948861026,
      1.4059796243659752,
      1.3125504051554673,
      1.2255741121168882,
      1.1445787673318915,
      1.0691289975028213,
      0.9988230626657042,
      0.9332901332076216,
      0.8721877941304846,
      0.8151997572904157,
      0.7620337639799081,
      0.7124196617206582,
      0.6661076405095395,
      0.6228666150188324,
      0.5824827404040528,
      0.5447580504272445,
      0.5095092075684933,
      0.4765663556811372,
      0.44577206655351387,
      0.41698037247842346,
      0.3900558776065956,
      0.36487294147765775,
      0.34131492868630514,
      0.3192735191570957,
      0.29864807397261767,
      0.27934505213055566,
      0.26127747399881535,
      0.24436442759760177,
      0.22853061416606482,
      0.21370592977149813,
      0.1998250799935716,
      0.18682722496690612,
      0.1746556522945236,
      0.1632574755541923,
      0.15258335631115366,
      0.14258724772571912,
      0.13322615800420223,
      0.1244599320879077,
      0.11625105010862359,
      0.10856444126135119,
      0.10136731185685807,
      0.09462898641895005,
      0.08832076078497601,
      0.0824157662537428,
      0.07688884390343793,
      0.07171642827394753,
      0.06687643967370605,
      0.062348184431442466,
      0.05811226246836837,
      0.05415048161693801,
      0.0504457781586799,
      0.046982143096133466,
      0.04374455371293911,
      0.04071891001194252,
      0.03789197565404309,
      0.03525132305071035,
      0.03278528229082189,
      0.03048289360796469,
      0.028333863117768865,
      0.026328521576386092,
      0.024457785931039658,
      0.022713123451804314,
      0.021086518250550173,
      0.01957044000842817,
      0.01815781474748976,
      0.016841997495123162,
      0.015616746702040102,
      0.014476200285644928,
      0.013414853180836227,
      0.012427536289699764,
      0.011509396730211766,
      0.010655879292043495,
      0.009862709014891754,
      0.009125874811507055,
      0.008441614063793242,
      0.007806398126052972,
      0.007216918674689421,
      0.006670074848480836,
      0.0061629611279539805,
      0.005692855906425124,
      0.005257210708980421,
      0.004853640019057866,
      0.004479911675394068,
      0.0041339378049337246,
      0.003813766259888758,
      0.0035175725294968744,
      0.0032436520991847187,
      0.0029904132318051262,
      0.0027563701474078856,
      0.002540136579633247,
      0.00234041968830143,
      0.0021560143091221276,
      0.0019857975226781686,
      0.0018287235259574419,
      0.001683818790728184,
      0.0015501774939837255,
      0.0014269572065330476,
      0.0013133748265911913,
      0.0012087027459360246,
      0.001112265236852225,
      0.001023435048685742,
      0.0009416302033881636,
      0.0008663109799456462,
      0.0007969770780658524,
      0.0007331649519429318,
      0.0006744453053388875,
      0.0006204207396125574,
      0.000570723546698448,
      0.0005250136393887243,
      0.00048297661160552293,
      0.00044432192166904167,
      0.0004087811918713177,
      0.0003761066179577532,
      0.00034606948239925385,
      0.00031845876560851856,
      0.0002930798495152832,
      0.00026975330816781783,
      0.00024831378027232473,
      0.00022860891881847255,
      0.0002104984131684191,
      0.00019385307920869133,
      0.0001785540133792595,
      0.00016449180660231655,
      0.00015156581433469,
      0.00013968347916255312,
      0.0001287597025452512,
      0.00011871626249659653,
      0.00010948127416699326,
      0.00010098869045823617,
      9.317783996481754e-05,
      8.599299969113096e-05,
      7.938300014309467e-05,
      7.330086053553539e-05,
      6.77034519931972e-05,
      6.255118675359225e-05,
      5.780773150417263e-05,
      5.343974310457665e-05,
      4.941662505713544e-05,
      4.5710303195523614e-05,
      4.2295019162568654e-05,
      3.914714034394104e-05,
      3.624498501489675e-05,
      3.356866154261101e-05,
      3.109992056709662e-05,
      2.882201915943212e-05,
      2.671959602721521e-05,
      2.4778556903990848e-05,
      2.2985969322078557e-05,
      2.1329966026916767e-05,
      1.9799656345953154e-05,
      1.8385044876416206e-05,
      1.70769569041919e-05,
      1.5866970010680777e-05
    ]
  },
  "weight": {
    "R1": 1,
    "R2": 3,
    "a": "1/2",
    "d": 6,
    "c1": "1/2",
    "c2": 3,
    "Q_sample": 4.145149825400838,
    "Cstar_sample": 0.04042797451662793,
    "r": [
      0.0,
      0.025,
      0.05,
      0.07500000000000001,
      0.1,
      0.125,
      0.15000000000000002,
      0.17500000000000002,
      0.2,
      0.225,
      0.25,
      0.275,
      0.30000000000000004,
      0.325,
      0.35000000000000003,
      0.375,
      0.4,
      0.42500000000000004,
      0.45,
      0.47500000000000003,
      0.5,
      0.525,
      0.55,
      0.5750000000000001,
      0.6000000000000001,
      0.625,
      0.65,
      0.675,
      0.7000000000000001,
      0.7250000000000001,
      0.75,
      0.775,
      0.8,
      0.8250000000000001,
      0.8500000000000001,
      0.875,
      0.9,
      0.925,
      0.9500000000000001,
      0.9750000000000001,
      1.0,
      1.0250000000000001,
      1.05,
      1.075,
      1.1,
      1.125,
      1.1500000000000001,
      1.175,
      1.2000000000000002,
      1.225,
      1.25,
      1.2750000000000001,
      1.3,
      1.3250000000000002,
      1.35,
      1.375,
      1.4000000000000001,
      1.425,
      1.4500000000000002,
      1.475,
      1.5,
      1.5250000000000001,
      1.55,
      1.5750000000000002,
      1.6,
      1.625,
      1.6500000000000001,
      1.675,
      1.7000000000000002,
      1.725,
      1.75,
      1.7750000000000001,
      1.8,
      1.8250000000000002,
      1.85,
      1.875,
      1.9000000000000001,
      1.925,
      1.9500000000000002,
      1.975,
      2.0,
      2.025,
      2.0500000000000003,
      2.075,
      2.1,
      2.125,
      2.15,
      2.1750000000000003,
      2.2,
      2.225,
      2.25,
      2.275,
      2.3000000000000003,
      2.325,
      2.35,
      2.375,
      2.4000000000000004,
      2.4250000000000003,
      2.45,
      2.475,
      2.5,
      2.5250000000000004,
      2.5500000000000003,
      2.575,
      2.6,
      2.625,
      2.6500000000000004,
      2.6750000000000003,
      2.7,
      2.725,
      2.75,
      2.7750000000000004,
      2.8000000000000003,
      2.825,
      2.85,
      2.875,
      2.9000000000000004,
      2.9250000000000003,
      2.95,
      2.975,
      3.0,
      3.0250000000000004,
      3.0500000000000003,
      3.075,
      3.1,
      3.125,
      3.1500000000000004,
      3.1750000000000003,
      3.2,
      3.225,
      3.25,
      3.2750000000000004,
      3.3000000000000003,
      3.325,
      3.35,
      3.375,
      3.4000000000000004,
      3.4250000000000003,
      3.45,
      3.475,
      3.5,
      3.5250000000000004,
      3.5500000000000003,
      3.575,
      3.6,
      3.625,
      3.6500000000000004,
      3.6750000000000003,
      3.7,
      3.725,
      3.75,
      3.7750000000000004,
      3.8000000000000003,
      3.825,
      3.85,
      3.875,
      3.9000000000000004,
      3.9250000000000003,
      3.95,
      3.975,
      4.0,
      4.025,
      4.05,
      4.075,
      4.1000000000000005,
      4.125,
      4.15,
      4.175,
      4.2,
      4.2250000000000005,
      4.25,
      4.275,
      4.3,
      4.325,
      4.3500000000000005,
      4.375,
      4.4,
      4.425,
      4.45,
      4.4750000000000005,
      4.5,
      4.525,
      4.55,
      4.575,
      4.6000000000000005,
      4.625,
      4.65,
      4.675,
      4.7,
      4.7250000000000005,
      4.75,
      4.775,
      4.800000000000001,
      4.825,
      4.8500000000000005,
      4.875,
      4.9,
      4.925000000000001,
      4.95,
      4.9750000000000005,
      5.0,
      5.025,
      5.050000000000001,
      5.075,
      5.1000000000000005,
      5.125,
      5.15,
      5.175000000000001,
      5.2,
      5.2250000000000005,
      5.25,
      5.275,
      5.300000000000001,
      5.325,
      5.3500000000000005,
      5.375,
      5.4,
      5.425000000000001,
      5.45,
      5.4750000000000005,
      5.5,
      5.525,
      5.550000000000001,
      5.575,
      5.6000000000000005,
      5.625,
      5.65,
      5.675000000000001,
      5.7,
      5.7250000000000005,
      5.75,
      5.775,
      5.800000000000001,
      5.825,
      5.8500000000000005,
      5.875,
      5.9,
      5.925000000000001,
      5.95,
      5.9750000000000005,
      6.0,
      6.025,
      6.050000000000001,
      6.075,
      6.1000000000000005,
      6.125,
      6.15,
      6.175000000000001,
      6.2,
      6.2250000000000005,
      6.25,
      6.275,
      6.300000000000001,
      6.325,
      6.3500000000000005,
      6.375,
      6.4,
      6.425000000000001,
      6.45,
      6.4750000000000005,
      6.5,
      6.525,
      6.550000000000001,
      6.575,
      6.6000000000000005,
      6.625,
      6.65,
      6.675000000000001,
      6.7,
      6.7250000000000005,
      6.75,
      6.775,
      6.800000000000001,
      6.825,
      6.8500000000000005,
      6.875,
      6.9,
      6.925000000000001,
      6.95,
      6.9750000000000005,
      7.0
    ],
    "phi0": [
      1.0,
      1.0,
      1.0,
      1.0,
      1.0,
      1.0,
      1.0,
      1.0,
      1.0,
      1.0,
      1.0,
      1.0,
      1.0,
      1.0,
      1.0,
      1.0,
      1.0,
      1.0,
      1.0,
      1.0,
      1.0,
      0.9999997771511494,
      0.999971257351179,
      0.9998094160286772,
      0.9994441481657448,
      0.9988656890830319,
      0.9980897369109466,
      0.997138631052854,
      0.9960344255262332,
      0.9947967662216972,
      0.9934425105492765,
      0.99198593096791,
      0.9904390757322181,
      0.9888121350405604,
      0.987113764208368,
      0.9853513539441094,
      0.9835312512672937,
      0.9816589384621904,
      0.9797391777414111,
      0.9777761283825397,
      0.9757734419233248,
      0.9737343398930529,
      0.971661677620533,
      0.969557996902744,
      0.9674255697214433,
      0.9652664347292319,
      0.9630824278644972,
      0.9608752081733292,
      0.9586462796975036,
      0.9563970101166012,
      0.9541286466982116,
      0.9518423300045215,
      0.9495391057199494,
      0.9472199348979576,
      0.9448857028719656,
      0.9425372270325513,
      0.9401752636385936,
      0.9378005138020155,
      0.9354136287629441,
      0.9330152145534136,
      0.9306058361323569,
      0.9281860210619286,
      0.9257562627846726,
      0.9233170235522659,
      0.9208687370492471,
      0.9184118107489805,
      0.9159466280339289,
      0.9134735501079325,
      0.9109929177244822,
      0.9085050527518194,
      0.9060102595930072,
      0.9035088264768134,
      0.9010010266332704,
      0.8984871193660807,
      0.8959673510325681,
      0.8934419559406063,
      0.8909111571708617,
      0.8883751673317246,
      0.885834189253476,
      0.8832884166275087,
      0.8807380345957821,
      0.8781832202951386,
      0.8756241433606096,
      0.8730609663914176,
      0.8704938453829925,
      0.8679229301279852,
      0.8653483645889652,
      0.8627702872452223,
      0.8601888314158592,
      0.8576041255611478,
      0.8550162935639436,
      0.8524254549927779,
      0.8498317253481024,
      0.8472352162930288,
      0.8446360358697806,
      0.8420342887029736,
      0.839430076190741,
      0.8368234966846315,
      0.8342146456591334,
      0.8316036158716033,
      0.8289904975133175,
      0.8263753783523038,
      0.8237583438685581,
      0.8211394773822087,
      0.8185188601751389,
      0.8158965716065474,
      0.8132726892228865,
      0.8106472888625867,
      0.8080204447559465,
      0.80539222962054,
      0.8027627147524713,
      0.80013197011378,
      0.7975000644162848,
      0.7948670652021321,
      0.7922330389212994,
      0.789598051006291,
      0.7869621659442452,
      0.784325447346663,
      0.781687958016956,
      0.7790497600159998,
      0.7764109147258722,
      0.773771482911944,
      0.7711315247834853,
      0.7684911000529422,
      0.7658502679940326,
      0.7632090874988058,
      0.7605676171338049,
      0.7579259151954669,
      0.7552840397648927,
      0.7526420487621159,
      0.75,
      0.7473579512378837,
      0.7447159602351071,
      0.7420740848045329,
      0.7394323828661948,
      0.7367909125011941,
      0.7341497320059672,
      0.7315088999470576,
      0.7288684752165144,
      0.7262285170880558,
      0.7235890852741276,
      0.720950239984,
      0.7183120419830438,
      0.7156745526533367,
      0.7130378340557546,
      0.7104019489937088,
      0.7077669610787004,
      0.7051329347978676,
      0.7024999355837149,
      0.6998680298862198,
      0.6972372852475286,
      0.6946077703794598,
      0.6919795552440534,
      0.6893527111374131,
      0.6867273107771132,
      0.6841034283934524,
      0.6814811398248608,
      0.6788605226177911,
      0.6762416561314417,
      0.673624621647696,
      0.6710095024866822,
      0.6683963841283964,
      0.6657853543408665,
      0.6631765033153683,
      0.6605699238092588,
      0.6579657112970262,
      0.6553639641302192,
      0.652764783706971,
      0.6501682746518974,
      0.6475745450072219,
      0.6449837064360562,
      0.6423958744388519,
      0.6398111685841406,
      0.6372297127547775,
      0.6346516354110345,
      0.6320770698720146,
      0.6295061546170073,
      0.6269390336085822,
      0.6243758566393902,
      0.621816779704861,
      0.6192619654042176,
      0.6167115833724911,
      0.6141658107465238,
      0.6116248326682752,
      0.609088842829138,
      0.6065580440593934,
      0.6040326489674318,
      0.601512880633919,
      0.5989989733667295,
      0.5964911735231864,
      0.5939897404069927,
      0.5914949472481803,
      0.5890070822755175,
      0.5865264498920673,
      0.5840533719660708,
      0.5815881892510193,
      0.5791312629507527,
      0.5766829764477338,
      0.5742437372153271,
      0.5718139789380711,
      0.569394163867643,
      0.566984785446586,
      0.5645863712370556,
      0.5621994861979844,
      0.5598247363614062,
      0.5574627729674486,
      0.5551142971280342,
      0.5527800651020423,
      0.5504608942800504,
      0.5481576699954782,
      0.5458713533017883,
      0.5436029898833985,
      0.5413537203024962,
      0.5391247918266706,
      0.5369175721355026,
      0.534733565270768,
      0.5325744302785564,
      0.5304420030972558,
      0.5283383223794669,
      0.5262656601069468,
      0.524226558076675,
      0.52222387161746,
      0.5202608222585887,
      0.5183410615378095,
      0.516468748732706,
      0.5146486460558903,
      0.5128862357916318,
      0.5111878649594392,
      0.5095609242677814,
      0.5080140690320898,
      0.5065574894507234,
      0.5052032337783023,
      0.5039655744737666,
      0.502861368947146,
      0.5019102630890533,
      0.5011343109169679,
      0.500555851834255,
      0.5001905839713225,
      0.5000287426488207,
      0.5000002228488505,
      0.5,
      0.5,
      0.5,
      0.5,
      0.5,
      0.5,
      0.5,
      0.5,
      0.5,
      0.5,
      0.5,
      0.5,
      0.5,
      0.5,
      0.5,
      0.5,
      0.5,
      0.5,
      0.5,
      0.5,
      0.5,
      0.5,
      0.5,
      0.5,
      0.5,
      0.5,
      0.5,
      0.5,
      0.5,
      0.5,
      0.5,
      0.5,
      0.5,
      0.5,
      0.5,
      0.5,
      0.5,
      0.5,
      0.5,
      0.5,
      0.5
    ],
    "minus_d0": [
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      7.442168502410817e-05,
      0.002958705743898643,
      0.01039508418467395,
      0.01988893373087979,
      0.029815970859539596,
      0.03953981770118633,
      0.04886212401286378,
      0.05775368981305452,
      0.0662456257408442,
      0.07438670296317895,
      0.0822270475935514,
      0.08981236703480851,
      0.09718238511667363,
      0.10437090883726907,
      0.11140646427284713,
      0.11831306735746977,
      0.12511096026608648,
      0.13181725630830374,
      0.13844648274105234,
      0.1450110289221384,
      0.15152151296330862,
      0.15798708066203165,
      0.16441564916479043,
      0.17081410592179344,
      0.17718847160736648,
      0.1835440340136702,
      0.18988545853121092,
      0.19621687969616278,
      0.20254197737706797,
      0.2088640404528128,
      0.21518602026352385,
      0.2215105756652477,
      0.2278401111626331,
      0.23417680931113086,
      0.24052265835551306,
      0.24687947589233214,
      0.25324892920054487,
      0.25963255276935976,
      0.2660317634594985,
      0.27244787365889866,
      0.27888210273280356,
      0.2853355870183613,
      0.2918093885730627,
      0.29830450285281074,
      0.30482186546775947,
      0.31136235814115937,
      0.3179268139774252,
      0.32451602212978203,
      0.3311307319445841,
      0.3377716566482767,
      0.3444394766335969,
      0.3511348423937109,
      0.35785837714628344,
      0.3646106791837908,
      0.3713923239815487,
      0.3782038660907871,
      0.38504584084056726,
      0.39191876586929647,
      0.3988231425039768,
      0.4057594570030737,
      0.4127281816769302,
      0.4197297758979686,
      0.4267646870114421,
      0.4338333511562249,
      0.4409361940040054,
      0.4480736314242696,
      0.45524607008160367,
      0.46245390797108493,
      0.4696975348968727,
      0.47697733289851085,
      0.48429367662894096,
      0.49164693368776013,
      0.49903746491284,
      0.5064656246330624,
      0.5139317608845909,
      0.5214362155928026,
      0.5289793247217387,
      0.5365614183926869,
      0.5441828209732903,
      0.5518438511383751,
      0.5595448219035071,
      0.5672860406321144,
      0.5750678090168583,
      0.5828904230357875,
      0.5907541728836712,
      0.5986593428787801,
      0.6066062113452588,
      0.6145950504711173,
      0.622626126141752,
      0.6306996977488021,
      0.6388160179740358,
      0.6469753325478533,
      0.6551778799818943,
      0.6634238912751266,
      0.671713589592689,
      0.6800471899166554,
      0.6884248986677752,
      0.6968469132971393,
      0.7053134218465946,
      0.7138246024766204,
      0.7223806229602547,
      0.7309816401415199,
      0.7396277993566724,
      0.7483192338164466,
      0.7570560639473205,
      0.7658383966896632,
      0.7746663247504576,
      0.7835399258081072,
      0.7924592616666454,
      0.801424377356453,
      0.8104353001783763,
      0.8194920386878881,
      0.8285945816156959,
      0.8377428967209032,
      0.8469369295725596,
      0.8561766022550958,
      0.8654618119928049,
      0.8747924296881613,
      0.8841682983683535,
      0.8935892315339881,
      0.903055011403434,
      0.9125653870457727,
      0.9221200723947572,
      0.9317187441355814,
      0.9413610394555961,
      0.9510465536493942,
      0.9607748375679049,
      0.9705453949002765,
      0.9803576792763985,
      0.9902110911768933,
      1.0001049746362827,
      1.010038613723819,
      1.0200112287851275,
      1.03002197242632,
      1.0400699252206347,
      1.050154091115873,
      1.060273392518929,
      1.07042666503156,
      1.080612651809148,
      1.0908299975115692,
      1.1010772418123709,
      1.1113528124292127,
      1.1216550176349702,
      1.1319820382048842,
      1.1423319187507595,
      1.152702558388262,
      1.1630917006778914,
      1.1734969227740921,
      1.1839156237101194,
      1.1943450117386178,
      1.204782090639316,
      1.2152236448955795,
      1.225666223630784,
      1.236106123183257,
      1.2465393681848185,
      1.2569616909924402,
      1.2673685093049711,
      1.2777549017770147,
      1.2881155814194376,
      1.2984448665503108,
      1.3087366490308165,
      1.3189843594872195,
      1.3291809291817827,
      1.3393187481516484,
      1.3493896191843768,
      1.3593847071408227,
      1.3692944830691578,
      1.3791086624764402,
      1.3888161370344583,
      1.3984048988922784,
      1.4078619566465111,
      1.4171732418783478,
      1.4263235050002776,
      1.435296198960119,
      1.4440733491200437,
      1.4526354073565846,
      1.4609610881055752,
      1.4690271836931834,
      1.476808355837549,
      1.4842768996590237,
      1.4914024758806328,
      1.4981518061091215,
      1.5044883251296324,
      1.5103717829841843,
      1.5157577881860171,
      1.5205972816852709,
      1.5248359290657236,
      1.528413415814292,
      1.5312626272315633,
      1.5333086904711577,
      1.5344678510850018,
      1.5346461500196815,
      1.5337378588752417,
      1.531623620901707,
      1.5281682320114893,
      1.5232179791584284,
      1.5165974316300659,
      1.5081055526109304,
      1.497510961831823,
      1.4845461326880356,
      1.4689002457117886,
      1.4502103409465568,
      1.4280503105965514,
      1.4019171473016718,
      1.3712137136886466,
      1.3352271387070773,
      1.2931018198564503,
      1.2438060379180305,
      1.1860916767796366,
      1.1184482400587015,
      1.0390571417598498,
      0.9457648463593316,
      0.8361260746287285,
      0.7076535435557217,
      0.5586370889347164,
      0.3904974916408164,
      0.21410668699762517,
      0.06401011374867792,
      0.0016939781742354306,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0
    ]
  }
}