{
  "model": {
    "scalar_trace": "integral exp(r) f(r) dr",
    "correct_coordinate": "p = -r - log(2*pi)",
    "test_function": "F = indicator_[0,1]",
    "exact_preimage": [
      "-1-log(2*pi)",
      "-log(2*pi)"
    ],
    "preimage_numeric": [
      -2.8378770664093453,
      -1.8378770664093453
    ],
    "correct_trace_exact": "(1-exp(-1))/(2*pi)",
    "correct_trace_numeric": 0.10060511156757618,
    "omitted_shift_trace_exact": "1-exp(-1)",
    "omitted_shift_trace_numeric": 0.6321205588285577,
    "ratio_exact": "2*pi",
    "B": [
      [
        3,
        1
      ],
      [
        1,
        2
      ]
    ],
    "C": [
      [
        "2",
        "i"
      ],
      [
        "-i",
        "4"
      ]
    ],
    "commutator_11_exact": "-2i",
    "ordered_identity": "(C^(it) B^(-it)) B^(it) = C^(it)",
    "reversed_residual_norm": "Frobenius",
    "sample_point": {
      "r": 0,
      "t": 1,
      "reversed_residual": 0.608330825750044
    },
    "maximum_numerical_ordered_residual": 1.0419437171225157e-15
  },
  "sampled_curves": {
    "p": [
      0.0,
      0.004,
      0.008,
      0.012,
      0.016,
      0.02,
      0.024,
      0.028,
      0.032,
      0.036000000000000004,
      0.04,
      0.044,
      0.048,
      0.052000000000000005,
      0.056,
      0.06,
      0.064,
      0.068,
      0.07200000000000001,
      0.076,
      0.08,
      0.084,
      0.088,
      0.092,
      0.096,
      0.1,
      0.10400000000000001,
      0.108,
      0.112,
      0.116,
      0.12,
      0.124,
      0.128,
      0.132,
      0.136,
      0.14,
      0.14400000000000002,
      0.148,
      0.152,
      0.156,
      0.16,
      0.164,
      0.168,
      0.17200000000000001,
      0.176,
      0.18,
      0.184,
      0.188,
      0.192,
      0.196,
      0.2,
      0.20400000000000001,
      0.20800000000000002,
      0.212,
      0.216,
      0.22,
      0.224,
      0.228,
      0.232,
      0.23600000000000002,
      0.24,
      0.244,
      0.248,
      0.252,
      0.256,
      0.26,
      0.264,
      0.268,
      0.272,
      0.276,
      0.28,
      0.28400000000000003,
      0.28800000000000003,
      0.292,
      0.296,
      0.3,
      0.304,
      0.308,
      0.312,
      0.316,
      0.32,
      0.324,
      0.328,
      0.332,
      0.336,
      0.34,
      0.34400000000000003,
      0.34800000000000003,
      0.352,
      0.356,
      0.36,
      0.364,
      0.368,
      0.372,
      0.376,
      0.38,
      0.384,
      0.388,
      0.392,
      0.396,
      0.4,
      0.404,
      0.40800000000000003,
      0.41200000000000003,
      0.41600000000000004,
      0.42,
      0.424,
      0.428,
      0.432,
      0.436,
      0.44,
      0.444,
      0.448,
      0.452,
      0.456,
      0.46,
      0.464,
      0.468,
      0.47200000000000003,
      0.47600000000000003,
      0.48,
      0.484,
      0.488,
      0.492,
      0.496,
      0.5,
      0.504,
      0.508,
      0.512,
      0.516,
      0.52,
      0.524,
      0.528,
      0.532,
      0.536,
      0.54,
      0.544,
      0.548,
      0.552,
      0.556,
      0.56,
      0.5640000000000001,
      0.5680000000000001,
      0.5720000000000001,
      0.5760000000000001,
      0.58,
      0.584,
      0.588,
      0.592,
      0.596,
      0.6,
      0.604,
      0.608,
      0.612,
      0.616,
      0.62,
      0.624,
      0.628,
      0.632,
      0.636,
      0.64,
      0.644,
      0.648,
      0.652,
      0.656,
      0.66,
      0.664,
      0.668,
      0.672,
      0.676,
      0.68,
      0.684,
      0.6880000000000001,
      0.6920000000000001,
      0.6960000000000001,
      0.7000000000000001,
      0.704,
      0.708,
      0.712,
      0.716,
      0.72,
      0.724,
      0.728,
      0.732,
      0.736,
      0.74,
      0.744,
      0.748,
      0.752,
      0.756,
      0.76,
      0.764,
      0.768,
      0.772,
      0.776,
      0.78,
      0.784,
      0.788,
      0.792,
      0.796,
      0.8,
      0.804,
      0.808,
      0.812,
      0.8160000000000001,
      0.8200000000000001,
      0.8240000000000001,
      0.8280000000000001,
      0.8320000000000001,
      0.836,
      0.84,
      0.844,
      0.848,
      0.852,
      0.856,
      0.86,
      0.864,
      0.868,
      0.872,
      0.876,
      0.88,
      0.884,
      0.888,
      0.892,
      0.896,
      0.9,
      0.904,
      0.908,
      0.912,
      0.916,
      0.92,
      0.924,
      0.928,
      0.932,
      0.936,
      0.9400000000000001,
      0.9440000000000001,
      0.9480000000000001,
      0.9520000000000001,
      0.9560000000000001,
      0.96,
      0.964,
      0.968,
      0.972,
      0.976,
      0.98,
      0.984,
      0.988,
      0.992,
      0.996,
      1.0
    ],
    "correct_density": [
      0.15915494309189535,
      0.15851959486311606,
      0.15788678295123634,
      0.1572564972312521,
      0.15662872761857838,
      0.15600346406888796,
      0.1553806965779507,
      0.1547604151814735,
      0.15414260995494075,
      0.15352727101345567,
      0.15291438851158204,
      0.15230395264318677,
      0.15169595364128297,
      0.15109038177787357,
      0.1504872273637959,
      0.14988648074856648,
      0.14928813232022656,
      0.14869217250518862,
      0.14809859176808285,
      0.1475073806116048,
      0.14691852957636337,
      0.1463320292407294,
      0.14574787022068508,
      0.14516604316967355,
      0.14458653877844962,
      0.14400934777493066,
      0.1434344609240483,
      0.14286186902760067,
      0.14229156292410516,
      0.14172353348865205,
      0.14115777163275817,
      0.14059426830422178,
      0.1400330144869776,
      0.13947400120095257,
      0.13891721950192223,
      0.1383626604813675,
      0.13781031526633217,
      0.1372601750192811,
      0.1367122309379585,
      0.1361664742552475,
      0.13562289623902943,
      0.1350814881920445,
      0.13454224145175236,
      0.1340051473901937,
      0.13347019741385205,
      0.1329373829635164,
      0.13240669551414416,
      0.1318781265747248,
      0.13135166768814405,
      0.1308273104310485,
      0.13030504641371082,
      0.1297848672798956,
      0.1292667647067256,
      0.1287507304045486,
      0.12823675611680477,
      0.1277248336198945,
      0.12721495472304697,
      0.12670711126818895,
      0.12620129512981426,
      0.12569749821485396,
      0.12519571246254668,
      0.12469592984430959,
      0.12419814236361022,
      0.12370234205583822,
      0.12320852098817811,
      0.12271667125948224,
      0.12222678500014449,
      0.12173885437197425,
      0.12125287156807107,
      0.12076882881269968,
      0.12028671836116572,
      0.11980653249969167,
      0.11932826354529345,
      0.11885190384565765,
      0.11837744577901889,
      0.11790488175403797,
      0.11743420420968043,
      0.1169654056150955,
      0.11649847846949568,
      0.11603341530203666,
      0.11557020867169789,
      0.11510885116716332,
      0.11464933540670312,
      0.11419165403805526,
      0.1137357997383081,
      0.11328176521378312,
      0.11282954319991824,
      0.1123791264611516,
      0.11193050779080575,
      0.1114836800109724,
      0.11103863597239756,
      0.11059536855436711,
      0.11015387066459287,
      0.10971413523909923,
      0.10927615524210998,
      0.10883992366593584,
      0.10840543353086228,
      0.10797267788503785,
      0.107541649804363,
      0.10711234239237924,
      0.10668474878015884,
      0.10625886212619486,
      0.10583467561629174,
      0.10541218246345628,
      0.10499137590778906,
      0.10457224921637617,
      0.10415479568318163,
      0.10373900862893998,
      0.10332488140104949,
      0.10291240737346567,
      0.10250157994659531,
      0.10209239254719078,
      0.10168483862824501,
      0.10127891166888654,
      0.10087460517427539,
      0.10047191267549903,
      0.10007082772946889,
      0.09967134391881725,
      0.09927345485179463,
      0.09887715416216748,
      0.09848243550911633,
      0.09808929257713427,
      0.09769771907592602,
      0.09730770874030718,
      0.09691925533010409,
      0.09653235263005391,
      0.09614699444970516,
      0.09576317462331875,
      0.09538088700976925,
      0.0950001254924467,
      0.09462088397915872,
      0.09424315640203297,
      0.09386693671742016,
      0.09349221890579734,
      0.09311899697167152,
      0.09274726494348379,
      0.09237701687351375,
      0.0920082468377844,
      0.0916409489359673,
      0.09127511729128819,
      0.09091074605043295,
      0.09054782938345393,
      0.09018636148367674,
      0.08982633656760726,
      0.08946774887483917,
      0.08911059266796172,
      0.088754862232468,
      0.08840055187666339,
      0.08804765593157472,
      0.0876961687508593,
      0.08734608471071477,
      0.08699739820978897,
      0.08665010366909046,
      0.08630419553189922,
      0.08595966826367762,
      0.08561651635198206,
      0.08527473430637462,
      0.08493431665833528,
      0.0845952579611744,
      0.0842575527899456,
      0.08392119574135894,
      0.08358618143369445,
      0.08325250450671608,
      0.08292015962158589,
      0.08258914146077859,
      0.08225944472799655,
      0.08193106414808506,
      0.08160399446694777,
      0.08127823045146286,
      0.08095376688939909,
      0.08063059858933258,
      0.08030872038056362,
      0.079988127113034,
      0.07966881365724461,
      0.07935077490417333,
      0.07903400576519333,
      0.07871850117199165,
      0.07840425607648804,
      0.07809126545075427,
      0.07777952428693369,
      0.07746902759716097,
      0.07715977041348247,
      0.07685174778777669,
      0.076544954791675,
      0.07623938651648295,
      0.07593503807310159,
      0.07563190459194935,
      0.07532998122288408,
      0.0750292631351254,
      0.07472974551717751,
      0.07443142357675213,
      0.07413429254069186,
      0.07383834765489376,
      0.07354358418423336,
      0.07324999741248883,
      0.07295758264226558,
      0.07266633519492104,
      0.07237625041048983,
      0.07208732364760921,
      0.07179955028344481,
      0.07151292571361668,
      0.07122744535212558,
      0.07094310463127963,
      0.07065989900162123,
      0.07037782393185428,
      0.07009687490877162,
      0.06981704743718291,
      0.06953833703984262,
      0.06926073925737845,
      0.06898424964821998,
      0.06870886378852753,
      0.06843457727212149,
      0.06816138571041175,
      0.06788928473232747,
      0.06761826998424722,
      0.06734833712992924,
      0.06707948185044212,
      0.06681169984409562,
      0.06654498682637194,
      0.06627933852985711,
      0.06601475070417273,
      0.06575121911590792,
      0.06548873954855168,
      0.06522730780242529,
      0.06496691969461527,
      0.0647075710589063,
      0.06444925774571472,
      0.06419197562202199,
      0.06393572057130863,
      0.0636804884934884,
      0.06342627530484254,
      0.06317307693795468,
      0.06292088934164553,
      0.06266970848090815,
      0.06241953033684341,
      0.06217035090659569,
      0.06192216620328876,
      0.0616749722559621,
      0.061428765109507275,
      0.06118354082460468,
      0.060939295477660534,
      0.06069602516074406,
      0.06045372598152501,
      0.060212394063211334,
      0.05997202554448721,
      0.059732616579451205,
      0.059494163337554765,
      0.059256662003540926,
      0.0590201087773833,
      0.0587844998742252,
      0.05854983152431917
    ],
    "omitted_density": [
      1.0,
      0.9960079893439915,
      0.9920319148370607,
      0.9880717128619305,
      0.9841273200552851,
      0.9801986733067553,
      0.9762857097579093,
      0.9723883668012469,
      0.9685065820791976,
      0.9646402934831231,
      0.9607894391523232,
      0.9569539574730467,
      0.9531337870775047,
      0.9493288668428895,
      0.9455391358903963,
      0.9417645335842487,
      0.9380049995307295,
      0.9342604735772135,
      0.9305308958112057,
      0.9268162065593822,
      0.9231163463866358,
      0.9194312560951247,
      0.9157608767233256,
      0.9121051495450904,
      0.9084640160687062,
      0.9048374180359595,
      0.9012252974212047,
      0.8976275964304349,
      0.8940442575003572,
      0.8904752232974726,
      0.8869204367171575,
      0.8833798408827509,
      0.8798533791446438,
      0.8763409950793732,
      0.8728426324887193,
      0.8693582353988059,
      0.865887748059205,
      0.8624311149420455,
      0.8589882807411234,
      0.8555591903710185,
      0.8521437889662113,
      0.8487420218802068,
      0.8453538346846587,
      0.8419791731684999,
      0.838617983337074,
      0.835270211411272,
      0.8319358038266718,
      0.8286147072326806,
      0.8253068684916823,
      0.8220122346781865,
      0.8187307530779818,
      0.8154623711872927,
      0.812207036711939,
      0.8089646975664998,
      0.8057353018734796,
      0.8025187979624785,
      0.7993151343693651,
      0.7961242598354538,
      0.7929461233066837,
      0.7897806739328027,
      0.7866278610665535,
      0.7834876342628625,
      0.7803599432780343,
      0.7772447380689461,
      0.7741419687922484,
      0.7710515858035663,
      0.7679735396567061,
      0.764907781102864,
      0.7618542610898376,
      0.7588129307612413,
      0.7557837414557255,
      0.7527666447061963,
      0.7497615922390413,
      0.7467685359733571,
      0.7437874280201796,
      0.7408182206817179,
      0.7378608664505911,
      0.7349153180090687,
      0.7319815282283126,
      0.7290594501676237,
      0.7261490370736909,
      0.7232502423798424,
      0.7203630197053014,
      0.7174873228544433,
      0.7146231058160573,
      0.7117703227626097,
      0.7089289280495107,
      0.7060988762143844,
      0.7032801219763409,
      0.7004726202352524,
      0.697676326071031,
      0.6948911947429106,
      0.6921171816887304,
      0.6893542425242224,
      0.686602333042301,
      0.6838614092123558,
      0.6811314271795471,
      0.678412343264104,
      0.675704113960626,
      0.6730066959373864,
      0.6703200460356393,
      0.6676441212689289,
      0.6649788788224019,
      0.6623242760521222,
      0.659680270484389,
      0.6570468198150567,
      0.6544238819088586,
      0.651811414798732,
      0.6492093766851474,
      0.6466177259354396,
      0.6440364210831414,
      0.6414654208273198,
      0.6389046840319162,
      0.6363541697250871,
      0.633813837098549,
      0.631283645506926,
      0.6287635544670984,
      0.6262535236575559,
      0.623753512917752,
      0.6212634822474616,
      0.6187833918061408,
      0.6163132019122897,
      0.6138528730428171,
      0.6114023658324087,
      0.6089616410728969,
      0.6065306597126334,
      0.6041093828558647,
      0.6016977717621094,
      0.5992957878455384,
      0.596903392674358,
      0.5945205479701944,
      0.5921472156074813,
      0.5897833576128504,
      0.5874289361645234,
      0.5850839135917069,
      0.5827482523739896,
      0.5804219151407424,
      0.5781048646705196,
      0.5757970638904645,
      0.5734984758757153,
      0.5712090638488149,
      0.5689287911791218,
      0.5666576213822246,
      0.5643955181193583,
      0.5621424451968224,
      0.559898366565402,
      0.5576632463197913,
      0.5554370486980182,
      0.5532197380808739,
      0.5510112789913407,
      0.5488116360940265,
      0.5466207741945976,
      0.5444386582392171,
      0.5422652533139832,
      0.5401005246443706,
      0.5379444375946745,
      0.535796957667456,
      0.5336580505029906,
      0.5315276818787179,
      0.5294058177086945,
      0.5272924240430485,
      0.5251874670674361,
      0.5230909131025008,
      0.5210027286033344,
      0.5189228801589404,
      0.5168513344916992,
      0.5147880584568362,
      0.5127330190418905,
      0.5106861833661879,
      0.5086475186803137,
      0.5066169923655895,
      0.5045945719335512,
      0.5025802250254283,
      0.5005739194116277,
      0.4985756229912165,
      0.49658530379140947,
      0.494602929967057,
      0.49262846980013547,
      0.4906618916992401,
      0.4887031641990795,
      0.4867522559599717,
      0.48480913576734325,
      0.48287377253122976,
      0.480946135285778,
      0.4790261931887511,
      0.4771139155210344,
      0.47520927168614446,
      0.4733122312097393,
      0.4714227637391309,
      0.46954083904279925,
      0.46766642700990924,
      0.46579949764982825,
      0.4639400210916467,
      0.4620879675837,
      0.46024330749309256,
      0.4584060113052235,
      0.4565760496233147,
      0.45475339316794017,
      0.4529380127765577,
      0.45112987940304233,
      0.44932896411722156,
      0.44753523810441237,
      0.4457486726649602,
      0.44396923921378006,
      0.44219690927989863,
      0.44043165450599925,
      0.4386734466479678,
      0.43692225757444114,
      0.43517805926635666,
      0.4334408238165043,
      0.43171052342907973,
      0.4299871304192398,
      0.4282706172126597,
      0.4265609563450914,
      0.42485812046192456,
      0.4231620823177488,
      0.42147281477591764,
      0.41979029080811425,
      0.41811448349391933,
      0.41644536602038007,
      0.4147829116815814,
      0.4131270938782182,
      0.41147788611717057,
      0.40983526201107895,
      0.4081991952779227,
      0.4065696597405991,
      0.4049466293265049,
      0.40333007806711874,
      0.401719980097586,
      0.40011630965630496,
      0.39851904108451414,
      0.39692814882588245,
      0.3953436074260998,
      0.39376539153247,
      0.39219347589350495,
      0.3906278353585211,
      0.3890684448772363,
      0.3875152794993697,
      0.3859683143742421,
      0.3844275247503785,
      0.38289288597511206,
      0.38136437349418956,
      0.3798419628513787,
      0.3783256296880768,
      0.37681534974292086,
      0.37531109885139957,
      0.3738128529454665,
      0.3723205880531552,
      0.37083428029819565,
      0.369353905899632,
      0.36787944117144233
    ],
    "t": [
      0.0,
      0.005,
      0.01,
      0.015,
      0.02,
      0.025,
      0.03,
      0.035,
      0.04,
      0.045,
      0.05,
      0.055,
      0.06,
      0.065,
      0.07,
      0.075,
      0.08,
      0.085,
      0.09,
      0.095,
      0.1,
      0.105,
      0.11,
      0.115,
      0.12,
      0.125,
      0.13,
      0.135,
      0.14,
      0.145,
      0.15,
      0.155,
      0.16,
      0.165,
      0.17,
      0.17500000000000002,
      0.18,
      0.185,
      0.19,
      0.195,
      0.2,
      0.20500000000000002,
      0.21,
      0.215,
      0.22,
      0.225,
      0.23,
      0.23500000000000001,
      0.24,
      0.245,
      0.25,
      0.255,
      0.26,
      0.265,
      0.27,
      0.275,
      0.28,
      0.28500000000000003,
      0.29,
      0.295,
      0.3,
      0.305,
      0.31,
      0.315,
      0.32,
      0.325,
      0.33,
      0.335,
      0.34,
      0.34500000000000003,
      0.35000000000000003,
      0.355,
      0.36,
      0.365,
      0.37,
      0.375,
      0.38,
      0.385,
      0.39,
      0.395,
      0.4,
      0.405,
      0.41000000000000003,
      0.41500000000000004,
      0.42,
      0.425,
      0.43,
      0.435,
      0.44,
      0.445,
      0.45,
      0.455,
      0.46,
      0.465,
      0.47000000000000003,
      0.47500000000000003,
      0.48,
      0.485,
      0.49,
      0.495,
      0.5,
      0.505,
      0.51,
      0.515,
      0.52,
      0.525,
      0.53,
      0.535,
      0.54,
      0.545,
      0.55,
      0.555,
      0.56,
      0.5650000000000001,
      0.5700000000000001,
      0.5750000000000001,
      0.58,
      0.585,
      0.59,
      0.595,
      0.6,
      0.605,
      0.61,
      0.615,
      0.62,
      0.625,
      0.63,
      0.635,
      0.64,
      0.645,
      0.65,
      0.655,
      0.66,
      0.665,
      0.67,
      0.675,
      0.68,
      0.685,
      0.6900000000000001,
      0.6950000000000001,
      0.7000000000000001,
      0.705,
      0.71,
      0.715,
      0.72,
      0.725,
      0.73,
      0.735,
      0.74,
      0.745,
      0.75,
      0.755,
      0.76,
      0.765,
      0.77,
      0.775,
      0.78,
      0.785,
      0.79,
      0.795,
      0.8,
      0.805,
      0.81,
      0.8150000000000001,
      0.8200000000000001,
      0.8250000000000001,
      0.8300000000000001,
      0.835,
      0.84,
      0.845,
      0.85,
      0.855,
      0.86,
      0.865,
      0.87,
      0.875,
      0.88,
      0.885,
      0.89,
      0.895,
      0.9,
      0.905,
      0.91,
      0.915,
      0.92,
      0.925,
      0.93,
      0.935,
      0.9400000000000001,
      0.9450000000000001,
      0.9500000000000001,
      0.9550000000000001,
      0.96,
      0.965,
      0.97,
      0.975,
      0.98,
      0.985,
      0.99,
      0.995,
      1.0,
      1.0050000000000001,
      1.01,
      1.0150000000000001,
      1.02,
      1.025,
      1.03,
      1.035,
      1.04,
      1.045,
      1.05,
      1.055,
      1.06,
      1.065,
      1.07,
      1.075,
      1.08,
      1.085,
      1.09,
      1.095,
      1.1,
      1.105,
      1.11,
      1.115,
      1.12,
      1.125,
      1.1300000000000001,
      1.135,
      1.1400000000000001,
      1.145,
      1.1500000000000001,
      1.155,
      1.16,
      1.165,
      1.17,
      1.175,
      1.18,
      1.185,
      1.19,
      1.195,
      1.2,
      1.205,
      1.21,
      1.215,
      1.22,
      1.225,
      1.23,
      1.235,
      1.24,
      1.245,
      1.25,
      1.2550000000000001,
      1.26,
      1.2650000000000001,
      1.27,
      1.2750000000000001,
      1.28,
      1.285,
      1.29,
      1.295,
      1.3,
      1.305,
      1.31,
      1.315,
      1.32,
      1.325,
      1.33,
      1.335,
      1.34,
      1.345,
      1.35,
      1.355,
      1.36,
      1.365,
      1.37,
      1.375,
      1.3800000000000001,
      1.385,
      1.3900000000000001,
      1.395,
      1.4000000000000001,
      1.405,
      1.41,
      1.415,
      1.42,
      1.425,
      1.43,
      1.435,
      1.44,
      1.445,
      1.45,
      1.455,
      1.46,
      1.465,
      1.47,
      1.475,
      1.48,
      1.485,
      1.49,
      1.495,
      1.5,
      1.5050000000000001,
      1.51,
      1.5150000000000001,
      1.52,
      1.5250000000000001,
      1.53,
      1.5350000000000001,
      1.54,
      1.545,
      1.55,
      1.555,
      1.56,
      1.565,
      1.57,
      1.575,
      1.58,
      1.585,
      1.59,
      1.595,
      1.6,
      1.605,
      1.61,
      1.615,
      1.62,
      1.625,
      1.6300000000000001,
      1.635,
      1.6400000000000001,
      1.645,
      1.6500000000000001,
      1.655,
      1.6600000000000001,
      1.665,
      1.67,
      1.675,
      1.68,
      1.685,
      1.69,
      1.695,
      1.7,
      1.705,
      1.71,
      1.715,
      1.72,
      1.725,
      1.73,
      1.735,
      1.74,
      1.745,
      1.75,
      1.7550000000000001,
      1.76,
      1.7650000000000001,
      1.77,
      1.7750000000000001,
      1.78,
      1.7850000000000001,
      1.79,
      1.795,
      1.8,
      1.805,
      1.81,
      1.815,
      1.82,
      1.825,
      1.83,
      1.835,
      1.84,
      1.845,
      1.85,
      1.855,
      1.86,
      1.865,
      1.87,
      1.875,
      1.8800000000000001,
      1.885,
      1.8900000000000001,
      1.895,
      1.9000000000000001,
      1.905,
      1.9100000000000001,
      1.915,
      1.92,
      1.925,
      1.93,
      1.935,
      1.94,
      1.945,
      1.95,
      1.955,
      1.96,
      1.965,
      1.97,
      1.975,
      1.98,
      1.985,
      1.99,
      1.995,
      2.0
    ],
    "reversed_residual": [
      6.28972979318881e-16,
      1.6523621841883966e-05,
      6.609407958154615e-05,
      0.00014871014987106316,
      0.00026436979383074466,
      0.0004130701570994142,
      0.0005948075699047562,
      0.0008095775471538334,
      0.0010573747885436208,
      0.0013381931786917373,
      0.0016520257872872,
      0.0019988648692612996,
      0.002378701864978542,
      0.002791527400447715,
      0.0032373312875529675,
      0.0037161025243050896,
      0.004227829295112667,
      0.004772498971073456,
      0.005350098110285757,
      0.005960612458179816,
      0.006604026947869291,
      0.007280325700522736,
      0.007989492025755015,
      0.008731508422039016,
      0.009506356577136901,
      0.010314017368551856,
      0.011154470863999335,
      0.01202769632189864,
      0.01293367219188437,
      0.01387237611533752,
      0.014843784925937024,
      0.015847874650230687,
      0.016884620508226488,
      0.01795399691400335,
      0.01905597747634209,
      0.02019053499937604,
      0.021357641483261622,
      0.022557268124868704,
      0.023789385318490747,
      0.02505396265657463,
      0.026350968930470595,
      0.02768037213120148,
      0.029042139450252104,
      0.030436237280378073,
      0.031862631216434276,
      0.03332128605622354,
      0.034812165801364044,
      0.03633523365817734,
      0.03789045203859512,
      0.03947778256108631,
      0.041097186051603306,
      0.042748622544547574,
      0.044432051283755276,
      0.04614743072350217,
      0.04789471852952758,
      0.04967387158007881,
      0.051484845966973655,
      0.053327596996683276,
      0.05520207919143435,
      0.05710824629032993,
      0.05904605125049032,
      0.06101544624821287,
      0.06301638268015096,
      0.06504881116451247,
      0.06711268154227763,
      0.06920794287843489,
      0.07133454346323753,
      0.07349243081347819,
      0.07568155167378313,
      0.07790185201792496,
      0.08015327705015486,
      0.08243577120655353,
      0.08474927815640142,
      0.08709374080356712,
      0.0894691012879154,
      0.09187530098673377,
      0.09431228051617786,
      0.09677997973273518,
      0.0992783377347087,
      0.10180729286371774,
      0.10436678270621863,
      0.10695674409504309,
      0.10957711311095639,
      0.11222782508423249,
      0.11490881459624903,
      0.11762001548109999,
      0.12036136082722731,
      0.12313278297907021,
      0.12593421353873377,
      0.1287655833676751,
      0.13162682258840766,
      0.13451786058622467,
      0.13743862601094,
      0.14038904677864678,
      0.14336905007349549,
      0.14637856234948893,
      0.14941750933229533,
      0.15248581602107994,
      0.1555834066903541,
      0.15871020489184196,
      0.1618661334563662,
      0.1650511144957494,
      0.16826506940473587,
      0.17150791886292846,
      0.17477958283674497,
      0.17807998058139105,
      0.1814090306428514,
      0.18476665085989757,
      0.18815275836611395,
      0.19156726959194098,
      0.1950101002667355,
      0.19848116542084823,
      0.20198037938771923,
      0.20550765580598945,
      0.20906290762163066,
      0.21264604709009163,
      0.2162569857784608,
      0.21989563456764788,
      0.22356190365457987,
      0.22725570255441632,
      0.2309769401027795,
      0.23472552445800224,
      0.23850136310339265,
      0.24230436284951487,
      0.24613442983648665,
      0.2499914695362941,
      0.25387538675512156,
      0.2577860856356988,
      0.2617234696596649,
      0.2656874416499475,
      0.26967790377315914,
      0.27369475754200867,
      0.2777379038177305,
      0.2818072428125281,
      0.2859026740920345,
      0.2900240965777893,
      0.2941714085497293,
      0.29834450764869785,
      0.30254329087896814,
      0.3067676546107821,
      0.3110174945829065,
      0.31529270590520164,
      0.3195931830612107,
      0.32391881991075744,
      0.3282695096925666,
      0.3326451450268931,
      0.3370456179181724,
      0.3414708197576811,
      0.34592064132621547,
      0.35039497279678455,
      0.3548937037373175,
      0.35941672311338685,
      0.36396391929094585,
      0.36853518003908015,
      0.37313039253277686,
      0.37774944335570415,
      0.3823922185030086,
      0.3870586033841263,
      0.3917484828256074,
      0.39646174107395665,
      0.40119826179848644,
      0.40595792809418507,
      0.4107406224846003,
      0.4155462269247351,
      0.4203746228039565,
      0.4252256909489223,
      0.4300993116265192,
      0.4349953645468129,
      0.4399137288660158,
      0.44485428318946596,
      0.4498169055746195,
      0.45480147353405825,
      0.4598078640385088,
      0.46483595351987633,
      0.4698856178742908,
      0.4749567324651676,
      0.4800491721262797,
      0.4851628111648444,
      0.49029752336462096,
      0.49545318198902505,
      0.5006296597842509,
      0.5058268289824103,
      0.5110445613046821,
      0.5162827279644754,
      0.5215411996706045,
      0.5268198466304775,
      0.5321185385532949,
      0.5374371446532634,
      0.5427755336528199,
      0.5481335737858676,
      0.5535111328010263,
      0.558908077964891,
      0.5643242760653071,
      0.5697595934146525,
      0.5752138958531353,
      0.5806870487520999,
      0.5861789170173486,
      0.5916893650924706,
      0.597218256962184,
      0.6027654561556921,
      0.608330825750044,
      0.6139142283735143,
      0.6195155262089874,
      0.6251345809973575,
      0.6307712540409349,
      0.6364254062068688,
      0.6420968979305756,
      0.6477855892191797,
      0.653491339654967,
      0.6592140083988443,
      0.6649534541938149,
      0.6707095353684582,
      0.6764821098404256,
      0.6822710351199407,
      0.6880761683133153,
      0.6938973661264698,
      0.6997344848684692,
      0.7055873804550629,
      0.7114559084122388,
      0.7173399238797855,
      0.7232392816148627,
      0.7291538359955837,
      0.7350834410246047,
      0.741027950332725,
      0.7469872171824955,
      0.7529610944718369,
      0.7589494347376659,
      0.7649520901595317,
      0.770968912563261,
      0.7769997534246093,
      0.7830444638729258,
      0.7891028946948201,
      0.7951748963378459,
      0.8012603189141838,
      0.8073590122043396,
      0.8134708256608466,
      0.8195956084119781,
      0.8257332092654678,
      0.8318834767122357,
      0.8380462589301265,
      0.8442214037876489,
      0.8504087588477306,
      0.8566081713714735,
      0.862819488321922,
      0.8690425563678337,
      0.8752772218874625,
      0.8815233309723445,
      0.8877807294310928,
      0.8940492627931994,
      0.900328776312845,
      0.9066191149727116,
      0.9129201234878077,
      0.9192316463092934,
      0.9255535276283198,
      0.9318856113798659,
      0.9382277412465905,
      0.9445797606626839,
      0.9509415128177279,
      0.9573128406605653,
      0.9636935869031669,
      0.970083594024514,
      0.9764827042744797,
      0.9828907596777201,
      0.9893076020375663,
      0.9957330729399291,
      1.0021670137571999,
      1.0086092656521668,
      1.015059669581926,
      1.021518066301807,
      1.0279842963692964,
      1.03445820014797,
      1.040939617811428,
      1.047428389347238,
      1.0539243545608763,
      1.0604273530796797,
      1.0669372243568007,
      1.0734538076751645,
      1.0799769421514311,
      1.0865064667399622,
      1.0930422202367929,
      1.0995840412836062,
      1.1061317683717087,
      1.1126852398460172,
      1.1192442939090403,
      1.1258087686248701,
      1.1323785019231727,
      1.1389533316031866,
      1.1455330953377203,
      1.1521176306771543,
      1.1587067750534479,
      1.1653003657841452,
      1.1718982400763884,
      1.1785002350309297,
      1.1851061876461495,
      1.1917159348220727,
      1.198329313364393,
      1.2049461599884945,
      1.2115663113234776,
      1.2181896039161877,
      1.2248158742352466,
      1.2314449586750809,
      1.238076693559958,
      1.2447109151480231,
      1.251347459635333,
      1.257986163159896,
      1.2646268618057146,
      1.271269391606823,
      1.277913588551331,
      1.2845592885854697,
      1.291206327617634,
      1.2978545415224303,
      1.30450376614472,
      1.311153837303672,
      1.3178045907968041,
      1.3244558624040377,
      1.3311074878917422,
      1.337759303016787,
      1.3444111435305897,
      1.3510628451831654,
      1.3577142437271787,
      1.3643651749219905,
      1.3710154745377083,
      1.3776649783592358,
      1.3843135221903224,
      1.3909609418576097,
      1.3976070732146806,
      1.4042517521461064,
      1.4108948145714917,
      1.4175360964495225,
      1.4241754337820076,
      1.4308126626179256,
      1.4374476190574634,
      1.444080139256061,
      1.4507100594284477,
      1.4573372158526818,
      1.463961444874188,
      1.4705825829097925,
      1.4772004664517544,
      1.483814932071798,
      1.490425816425142,
      1.4970329562545288,
      1.5036361883942464,
      1.5102353497741543,
      1.5168302774237012,
      1.5234208084759466,
      1.530006780171572,
      1.536588029862899,
      1.543164395017895,
      1.5497357132241822,
      1.5563018221930427,
      1.5628625597634187,
      1.569417763905911,
      1.575967272726775,
      1.5825109244719102,
      1.589048557530849,
      1.595580010440742,
      1.60210512189034,
      1.6086237307239686,
      1.6151356759455011,
      1.621640796722334,
      1.6281389323893438,
      1.634629922452855,
      1.6411136065945937,
      1.647589824675642,
      1.654058416740385,
      1.6605192230204548,
      1.6669720839386712,
      1.6734168401129748,
      1.6798533323603557,
      1.686281401700781,
      1.6927008893611122,
      1.6991116367790207,
      1.7055134856068965,
      1.7119062777157543,
      1.7182898551991301,
      1.7246640603769743,
      1.731028735799543,
      1.7373837242512744,
      1.74372886875467,
      1.750064012574162,
      1.7563889992199793,
      1.7627036724520042,
      1.7690078762836265,
      1.7753014549855888,
      1.7815842530898243,
      1.7878561153932924,
      1.7941168869618047,
      1.8003664131338437,
      1.8066045395243775,
      1.8128311120286658,
      1.819045976826058,
      1.8252489803837906,
      1.831439969460764,
      1.837618791111331,
      1.8437852926890583,
      1.8499393218504974,
      1.8560807265589356,
      1.8622093550881484,
      1.8683250560261373,
      1.874427678278865,
      1.880517071073979
    ]
  },
  "interpretation": "Exact zero follows algebraically; floating residual checks numerical implementation. Reversed-order samples are not a uniform lower bound.",
  "software": {
    "numpy": "2.4.4",
    "matplotlib": "3.10.9"
  }
}