{
  "title": "Interval centralizer model for commuting integrable approximation",
  "original": true,
  "proof_locators": [
    "../../src/OA-FLOW-IAP.md (IA13)-(IA18)",
    "../../src/OA-FLOW-IAP.md (IA24)"
  ],
  "delta_exact": "log(2)",
  "delta_numeric": 0.6931471805599453,
  "spectrum_h_exact": [
    "1/2",
    "2"
  ],
  "spectral_ratio_exact": "4",
  "interval_width_exact": "2 log(2)",
  "space": "L2([-delta,delta],dq) tensor ell2(N)",
  "h": "exp(Q) tensor 1",
  "fixed_matrix_factor": "1 tensor B(ell2(N))",
  "norm_formula": "norm(h^(i(t+iy))) = exp(delta abs(y)) = 2^abs(y)",
  "uniform_distance_exact": "delta",
  "rank_one_average_dt": "(pi/delta) 1 tensor q1",
  "rank_one_average_numeric": 4.532360141827194,
  "general_average_dt": "2 pi M_(sum_{j<=n}|xi_j|^2) tensor q_n",
  "q_samples": [
    -0.6931471805599453,
    -0.6896814446571455,
    -0.6862157087543458,
    -0.6827499728515461,
    -0.6792842369487464,
    -0.6758185010459467,
    -0.6723527651431469,
    -0.6688870292403472,
    -0.6654212933375475,
    -0.6619555574347478,
    -0.658489821531948,
    -0.6550240856291483,
    -0.6515583497263485,
    -0.6480926138235489,
    -0.6446268779207491,
    -0.6411611420179494,
    -0.6376954061151496,
    -0.6342296702123499,
    -0.6307639343095502,
    -0.6272981984067505,
    -0.6238324625039507,
    -0.620366726601151,
    -0.6169009906983514,
    -0.6134352547955516,
    -0.6099695188927519,
    -0.6065037829899521,
    -0.6030380470871524,
    -0.5995723111843527,
    -0.596106575281553,
    -0.5926408393787532,
    -0.5891751034759535,
    -0.5857093675731537,
    -0.5822436316703541,
    -0.5787778957675543,
    -0.5753121598647546,
    -0.5718464239619548,
    -0.5683806880591551,
    -0.5649149521563555,
    -0.5614492162535557,
    -0.557983480350756,
    -0.5545177444479562,
    -0.5510520085451565,
    -0.5475862726423568,
    -0.5441205367395571,
    -0.5406548008367573,
    -0.5371890649339576,
    -0.5337233290311578,
    -0.5302575931283582,
    -0.5267918572255584,
    -0.5233261213227587,
    -0.5198603854199589,
    -0.5163946495171592,
    -0.5129289136143595,
    -0.5094631777115598,
    -0.50599744180876,
    -0.5025317059059603,
    -0.4990659700031606,
    -0.49560023410036086,
    -0.49213449819756117,
    -0.4886687622947614,
    -0.48520302639196167,
    -0.481737290489162,
    -0.4782715545863622,
    -0.47480581868356253,
    -0.4713400827807628,
    -0.46787434687796303,
    -0.46440861097516334,
    -0.4609428750723636,
    -0.4574771391695639,
    -0.45401140326676415,
    -0.4505456673639644,
    -0.4470799314611647,
    -0.44361419555836495,
    -0.44014845965556526,
    -0.4366827237527655,
    -0.43321698784996576,
    -0.42975125194716607,
    -0.4262855160443663,
    -0.4228197801415666,
    -0.4193540442387669,
    -0.4158883083359671,
    -0.41242257243316743,
    -0.4089568365303677,
    -0.405491100627568,
    -0.40202536472476824,
    -0.39855962882196855,
    -0.3950938929191688,
    -0.39162815701636905,
    -0.38816242111356936,
    -0.3846966852107696,
    -0.3812309493079699,
    -0.37776521340517016,
    -0.3742994775023704,
    -0.3708337415995707,
    -0.36736800569677097,
    -0.3639022697939713,
    -0.36043653389117153,
    -0.3569707979883718,
    -0.3535050620855721,
    -0.35003932618277234,
    -0.34657359027997264,
    -0.3431078543771729,
    -0.33964211847437314,
    -0.33617638257157345,
    -0.3327106466687737,
    -0.329244910765974,
    -0.32577917486317426,
    -0.3223134389603745,
    -0.3188477030575748,
    -0.31538196715477507,
    -0.3119162312519754,
    -0.3084504953491756,
    -0.30498475944637593,
    -0.3015190235435762,
    -0.29805328764077643,
    -0.29458755173797674,
    -0.291121815835177,
    -0.2876560799323773,
    -0.28419034402957755,
    -0.2807246081267778,
    -0.2772588722239781,
    -0.27379313632117835,
    -0.27032740041837866,
    -0.2668616645155789,
    -0.26339592861277916,
    -0.25993019270997947,
    -0.2564644568071797,
    -0.25299872090438,
    -0.24953298500158028,
    -0.24606724909878053,
    -0.24260151319598083,
    -0.23913577729318108,
    -0.2356700413903814,
    -0.23220430548758164,
    -0.2287385695847819,
    -0.2252728336819822,
    -0.22180709777918245,
    -0.21834136187638276,
    -0.214875625973583,
    -0.21140989007078326,
    -0.20794415416798356,
    -0.20447841826518381,
    -0.20101268236238412,
    -0.19754694645958437,
    -0.19408121055678462,
    -0.19061547465398487,
    -0.18714973875118524,
    -0.18368400284838549,
    -0.18021826694558574,
    -0.176752531042786,
    -0.17328679513998624,
    -0.1698210592371866,
    -0.16635532333438685,
    -0.1628895874315871,
    -0.15942385152878735,
    -0.1559581156259876,
    -0.15249237972318797,
    -0.14902664382038822,
    -0.14556090791758847,
    -0.14209517201478872,
    -0.13862943611198897,
    -0.13516370020918933,
    -0.13169796430638958,
    -0.12823222840358983,
    -0.12476649250079008,
    -0.12130075659799044,
    -0.1178350206951907,
    -0.11436928479239095,
    -0.1109035488895912,
    -0.10743781298679145,
    -0.10397207708399181,
    -0.10050634118119206,
    -0.09704060527839231,
    -0.09357486937559256,
    -0.09010913347279281,
    -0.08664339756999317,
    -0.08317766166719343,
    -0.07971192576439368,
    -0.07624618986159393,
    -0.07278045395879418,
    -0.06931471805599454,
    -0.06584898215319479,
    -0.06238324625039504,
    -0.05891751034759529,
    -0.05545177444479554,
    -0.051986038541995905,
    -0.048520302639196156,
    -0.045054566736396406,
    -0.04158883083359666,
    -0.03812309493079691,
    -0.03465735902799727,
    -0.03119162312519752,
    -0.02772588722239777,
    -0.024260151319598022,
    -0.020794415416798273,
    -0.017328679513998635,
    -0.013862943611198886,
    -0.010397207708399137,
    -0.006931471805599387,
    -0.003465735902799638,
    0.0,
    0.003465735902799749,
    0.006931471805599498,
    0.010397207708399248,
    0.013862943611198997,
    0.017328679513998635,
    0.020794415416798384,
    0.024260151319598133,
    0.027725887222397883,
    0.03119162312519763,
    0.03465735902799727,
    0.03812309493079702,
    0.04158883083359677,
    0.04505456673639652,
    0.04852030263919627,
    0.051986038541995905,
    0.055451774444795654,
    0.0589175103475954,
    0.06238324625039515,
    0.0658489821531949,
    0.06931471805599454,
    0.07278045395879429,
    0.07624618986159404,
    0.07971192576439379,
    0.08317766166719343,
    0.08664339756999317,
    0.09010913347279292,
    0.09357486937559267,
    0.09704060527839242,
    0.10050634118119206,
    0.10397207708399181,
    0.10743781298679156,
    0.11090354888959131,
    0.11436928479239106,
    0.1178350206951907,
    0.12130075659799044,
    0.1247664925007902,
    0.12823222840358994,
    0.1316979643063897,
    0.13516370020918933,
    0.13862943611198908,
    0.14209517201478883,
    0.14556090791758858,
    0.14902664382038833,
    0.15249237972318797,
    0.15595811562598771,
    0.15942385152878746,
    0.1628895874315872,
    0.16635532333438696,
    0.1698210592371866,
    0.17328679513998635,
    0.1767525310427861,
    0.18021826694558585,
    0.1836840028483856,
    0.18714973875118524,
    0.19061547465398498,
    0.19408121055678473,
    0.19754694645958448,
    0.20101268236238423,
    0.20447841826518387,
    0.20794415416798362,
    0.21140989007078337,
    0.21487562597358312,
    0.21834136187638287,
    0.2218070977791825,
    0.22527283368198225,
    0.228738569584782,
    0.23220430548758175,
    0.2356700413903815,
    0.23913577729318114,
    0.2426015131959809,
    0.24606724909878064,
    0.2495329850015804,
    0.25299872090438014,
    0.2564644568071798,
    0.2599301927099795,
    0.2633959286127793,
    0.266861664515579,
    0.27032740041837877,
    0.2737931363211784,
    0.27725887222397816,
    0.2807246081267779,
    0.28419034402957766,
    0.2876560799323774,
    0.29112181583517704,
    0.2945875517379768,
    0.29805328764077654,
    0.3015190235435763,
    0.30498475944637604,
    0.3084504953491757,
    0.31191623125197554,
    0.3153819671547752,
    0.3188477030575748,
    0.3223134389603747,
    0.3257791748631743,
    0.3292449107659742,
    0.3327106466687738,
    0.33617638257157345,
    0.3396421184743733,
    0.34310785437717295,
    0.3465735902799728,
    0.35003932618277245,
    0.3535050620855721,
    0.35697079798837195,
    0.3604365338911716,
    0.36390226979397144,
    0.3673680056967711,
    0.3708337415995707,
    0.3742994775023706,
    0.3777652134051702,
    0.3812309493079701,
    0.3846966852107697,
    0.38816242111356936,
    0.3916281570163692,
    0.39509389291916885,
    0.3985596288219687,
    0.40202536472476835,
    0.405491100627568,
    0.40895683653036785,
    0.4124225724331675,
    0.41588830833596735,
    0.419354044238767,
    0.4228197801415666,
    0.4262855160443665,
    0.4297512519471661,
    0.43321698784996576,
    0.4366827237527656,
    0.44014845965556526,
    0.4436141955583651,
    0.44707993146116476,
    0.4505456673639644,
    0.45401140326676426,
    0.4574771391695639,
    0.46094287507236376,
    0.4644086109751634,
    0.46787434687796303,
    0.4713400827807629,
    0.47480581868356253,
    0.4782715545863624,
    0.48173729048916203,
    0.48520302639196167,
    0.4886687622947615,
    0.49213449819756117,
    0.495600234100361,
    0.49906597000316066,
    0.5025317059059603,
    0.5059974418087602,
    0.5094631777115598,
    0.5129289136143597,
    0.5163946495171593,
    0.5198603854199589,
    0.5233261213227588,
    0.5267918572255584,
    0.5302575931283583,
    0.5337233290311579,
    0.5371890649339576,
    0.5406548008367574,
    0.5441205367395571,
    0.5475862726423569,
    0.5510520085451566,
    0.5545177444479562,
    0.5579834803507561,
    0.5614492162535557,
    0.5649149521563556,
    0.5683806880591552,
    0.5718464239619548,
    0.5753121598647547,
    0.5787778957675543,
    0.5822436316703542,
    0.5857093675731538,
    0.5891751034759535,
    0.5926408393787533,
    0.596106575281553,
    0.5995723111843528,
    0.6030380470871525,
    0.6065037829899521,
    0.609969518892752,
    0.6134352547955516,
    0.6169009906983515,
    0.6203667266011511,
    0.6238324625039507,
    0.6272981984067506,
    0.6307639343095502,
    0.6342296702123501,
    0.6376954061151497,
    0.6411611420179494,
    0.6446268779207492,
    0.6480926138235489,
    0.6515583497263487,
    0.6550240856291484,
    0.658489821531948,
    0.6619555574347479,
    0.6654212933375475,
    0.6688870292403474,
    0.672352765143147,
    0.6758185010459467,
    0.6792842369487465,
    0.6827499728515461,
    0.686215708754346,
    0.6896814446571456,
    0.6931471805599453
  ],
  "density_samples": [
    0.5,
    0.5017358742547514,
    0.5034777750283594,
    0.5052257232433819,
    0.5069797398950145,
    0.5087398460513433,
    0.5105060628535967,
    0.5122784115164007,
    0.5140569133280333,
    0.5158415896506795,
    0.5176324619206888,
    0.5194295516488322,
    0.5212328804205607,
    0.5230424698962646,
    0.5248583418115337,
    0.526680517977418,
    0.5285090202806902,
    0.5303438706841085,
    0.5321850912266799,
    0.5340327040239258,
    0.5358867312681466,
    0.5377471952286891,
    0.5396141182522136,
    0.5414875227629624,
    0.5433674312630291,
    0.5452538663326288,
    0.5471468506303698,
    0.5490464068935249,
    0.5509525579383053,
    0.5528653266601344,
    0.5547847360339225,
    0.5567108091143432,
    0.55864356903611,
    0.5605830390142544,
    0.5625292423444047,
    0.5644822024030657,
    0.5664419426478994,
    0.568408486618007,
    0.5703818579342118,
    0.5723620802993423,
    0.5743491774985175,
    0.5763431733994322,
    0.5783440919526437,
    0.5803519571918601,
    0.5823667932342279,
    0.5843886242806228,
    0.5864174746159394,
    0.5884533686093837,
    0.5904963307147651,
    0.5925463854707911,
    0.5946035575013605,
    0.596667871515861,
    0.5987393523094643,
    0.6008180247634254,
    0.6029039138453802,
    0.6049970446096463,
    0.6070974421975235,
    0.6092051318375956,
    0.6113201388460343,
    0.613442488626902,
    0.6155722066724582,
    0.6177093185634646,
    0.6198538499694933,
    0.6220058266492344,
    0.6241652744508059,
    0.626332219312064,
    0.6285066872609142,
    0.6306887044156249,
    0.63287829698514,
    0.6350754912693948,
    0.6372803136596311,
    0.6394927906387143,
    0.6417129487814521,
    0.6439408147549127,
    0.6461764153187461,
    0.6484197773255048,
    0.6506709277209668,
    0.6529298935444589,
    0.6551967019291817,
    0.6574713801025355,
    0.6597539553864472,
    0.6620444551976986,
    0.6643429070482558,
    0.6666493385455994,
    0.668963777393056,
    0.6712862513901318,
    0.6736167884328451,
    0.675955416514063,
    0.678302163723836,
    0.6806570582497367,
    0.6830201283771977,
    0.6853914024898518,
    0.6877709090698719,
    0.6901586766983145,
    0.6925547340554624,
    0.6949591099211685,
    0.6973718331752027,
    0.699792932797598,
    0.7022224378689986,
    0.7046603775710097,
    0.7071067811865476,
    0.7095616781001912,
    0.712025097798536,
    0.7144970698705465,
    0.7169776240079138,
    0.71946679000541,
    0.7219645977612481,
    0.7244710772774395,
    0.7269862586601553,
    0.7295101721200877,
    0.7320428479728127,
    0.7345843166391546,
    0.7371346086455506,
    0.7396937546244188,
    0.7422617853145246,
    0.7448387315613512,
    0.7474246243174693,
    0.7500194946429091,
    0.7526233737055337,
    0.7552362927814128,
    0.7578582832551991,
    0.7604893766205046,
    0.7631296044802796,
    0.7657789985471914,
    0.7684375906440062,
    0.7711054127039705,
    0.773782496771195,
    0.7764688750010397,
    0.7791645796604999,
    0.7818696431285936,
    0.7845840978967508,
    0.7873079765692034,
    0.7900413118633771,
    0.7927841366102845,
    0.7955364837549187,
    0.79829838635665,
    0.8010698775896221,
    0.8038509907431515,
    0.8066417592221263,
    0.8094422165474084,
    0.8122523963562356,
    0.8150723324026254,
    0.8179020585577811,
    0.8207416088104984,
    0.8235910172675732,
    0.8264503181542118,
    0.8293195458144417,
    0.8321987347115245,
    0.8350879194283694,
    0.8379871346679486,
    0.8408964152537146,
    0.8438157961300179,
    0.8467453123625271,
    0.8496849991386503,
    0.8526348917679568,
    0.8555950256826023,
    0.8585654364377537,
    0.8615461597120172,
    0.8645372313078652,
    0.867538687152068,
    0.8705505632961242,
    0.8735728959166943,
    0.8766057213160351,
    0.8796490759224357,
    0.882702996290655,
    0.8857675191023606,
    0.8888426811665702,
    0.8919285194200928,
    0.8950250709279725,
    0.8981323728839343,
    0.9012504626108302,
    0.9043793775610881,
    0.9075191553171609,
    0.9106698335919785,
    0.9138314502294006,
    0.9170040432046712,
    0.9201876506248751,
    0.9233823107293949,
    0.9265880618903709,
    0.9298049426131619,
    0.9330329915368074,
    0.9362722474344922,
    0.9395227492140118,
    0.9427845359182395,
    0.946057646725596,
    0.9493421209505192,
    0.9526379980439375,
    0.9559453175937422,
    0.9592641193252645,
    0.9625944431017515,
    0.9659363289248456,
    0.969289816935065,
    0.9726549474122855,
    0.9760317607762247,
    0.979420297586927,
    0.9828205985452511,
    0.9862327044933592,
    0.989656656415207,
    0.9930924954370359,
    0.9965402628278679,
    1.0,
    1.0034717485095028,
    1.0069555500567189,
    1.0104514464867638,
    1.0139594797900293,
    1.0174796921026863,
    1.0210121257071934,
    1.0245568230328015,
    1.0281138266560665,
    1.031683179301359,
    1.0352649238413776,
    1.0388591032976644,
    1.0424657608411214,
    1.0460849397925294,
    1.0497166836230674,
    1.0533610359548358,
    1.0570180405613805,
    1.060687741368217,
    1.06437018245336,
    1.0680654080478515,
    1.0717734625362931,
    1.0754943904573782,
    1.0792282365044272,
    1.0829750455259248,
    1.086734862526058,
    1.0905077326652577,
    1.0942937012607397,
    1.0980928137870498,
    1.1019051158766109,
    1.1057306533202689,
    1.109569472067845,
    1.1134216182286865,
    1.11728713807222,
    1.1211660780285089,
    1.1250584846888094,
    1.1289644048061311,
    1.1328838852957988,
    1.136816973236014,
    1.1407637158684236,
    1.1447241605986846,
    1.148698354997035,
    1.1526863467988644,
    1.1566881839052876,
    1.1607039143837201,
    1.1647335864684558,
    1.1687772485612455,
    1.1728349492318788,
    1.1769067372187674,
    1.1809926614295305,
    1.1850927709415822,
    1.189207115002721,
    1.193335743031722,
    1.1974787046189288,
    1.2016360495268508,
    1.2058078276907604,
    1.2099940892192926,
    1.214194884395047,
    1.2184102636751915,
    1.2226402776920686,
    1.226884977253804,
    1.2311444133449163,
    1.2354186371269293,
    1.2397076999389867,
    1.244011653298469,
    1.2483305489016119,
    1.252664438624128,
    1.2570133745218284,
    1.2613774088312497,
    1.2657565939702802,
    1.2701509825387896,
    1.2745606273192622,
    1.278985581277429,
    1.2834258975629043,
    1.2878816295098257,
    1.2923528306374923,
    1.2968395546510096,
    1.3013418554419336,
    1.3058597870889177,
    1.3103934038583633,
    1.314942760205071,
    1.3195079107728942,
    1.3240889103953972,
    1.3286858140965117,
    1.3332986770911988,
    1.337927554786112,
    1.3425725027802635,
    1.3472335768656902,
    1.351910833028126,
    1.356604327447672,
    1.3613141164994733,
    1.3660402567543957,
    1.3707828049797035,
    1.3755418181397436,
    1.3803173533966293,
    1.3851094681109248,
    1.3899182198423372,
    1.3947436663504056,
    1.3995858655951958,
    1.4044448757379973,
    1.4093207551420195,
    1.4142135623730954,
    1.4191233562003827,
    1.4240501955970717,
    1.4289941397410932,
    1.4339552480158275,
    1.4389335800108203,
    1.4439291955224962,
    1.4489421545548788,
    1.4539725173203106,
    1.4590203442401755,
    1.4640856959456257,
    1.4691686332783092,
    1.4742692172911012,
    1.4793875092488376,
    1.4845235706290492,
    1.4896774631227025,
    1.4948492486349385,
    1.5000389892858181,
    1.5052467474110673,
    1.5104725855628256,
    1.5157165665103984,
    1.5209787532410093,
    1.526259208960559,
    1.5315579970943831,
    1.5368751812880124,
    1.5422108254079407,
    1.54756499354239,
    1.5529377500020793,
    1.5583291593209998,
    1.5637392862571873,
    1.5691681957935013,
    1.574615953138407,
    1.5800826237267542,
    1.5855682732205691,
    1.5910729675098374,
    1.5965967727132997,
    1.6021397551792442,
    1.607701981486303,
    1.6132835184442529,
    1.6188844330948169,
    1.624504792712471,
    1.6301446648052509,
    1.6358041171155622,
    1.641483217620997,
    1.6471820345351462,
    1.6529006363084233,
    1.6586390916288836,
    1.664397469423049,
    1.670175838856739,
    1.6759742693358972,
    1.681792830507429,
    1.6876315922600358,
    1.6934906247250543,
    1.6993699982773007,
    1.7052697835359136,
    1.7111900513652043,
    1.7171308728755077,
    1.7230923194240344,
    1.7290744626157306,
    1.7350773743041359,
    1.7411011265922482,
    1.7471457918333888,
    1.7532114426320702,
    1.7592981518448716,
    1.76540599258131,
    1.771535038204721,
    1.7776853623331406,
    1.7838570388401853,
    1.7900501418559451,
    1.7962647457678687,
    1.8025009252216604,
    1.8087587551221764,
    1.8150383106343217,
    1.8213396671839572,
    1.8276629004588012,
    1.8340080864093424,
    1.8403753012497504,
    1.8467646214587898,
    1.853176123780742,
    1.8596098852263239,
    1.8660659830736148,
    1.8725444948689847,
    1.8790454984280236,
    1.8855690718364793,
    1.892115293451192,
    1.8986842419010383,
    1.905275996087875,
    1.9118906351874843,
    1.9185282386505291,
    1.925188886203503,
    1.931872657849691,
    1.9385796338701302,
    1.945309894824571,
    1.9520635215524496,
    1.958840595173854,
    1.9656411970905021,
    1.9724654089867186,
    1.979313312830414,
    1.986184990874072,
    1.9930805256557358,
    2.0
  ],
  "y_samples": [
    -2.0,
    -1.99,
    -1.98,
    -1.97,
    -1.96,
    -1.95,
    -1.94,
    -1.93,
    -1.92,
    -1.91,
    -1.9,
    -1.89,
    -1.88,
    -1.87,
    -1.8599999999999999,
    -1.85,
    -1.84,
    -1.83,
    -1.82,
    -1.81,
    -1.8,
    -1.79,
    -1.78,
    -1.77,
    -1.76,
    -1.75,
    -1.74,
    -1.73,
    -1.72,
    -1.71,
    -1.7,
    -1.69,
    -1.68,
    -1.67,
    -1.66,
    -1.65,
    -1.6400000000000001,
    -1.63,
    -1.62,
    -1.6099999999999999,
    -1.6,
    -1.5899999999999999,
    -1.58,
    -1.57,
    -1.56,
    -1.55,
    -1.54,
    -1.53,
    -1.52,
    -1.51,
    -1.5,
    -1.49,
    -1.48,
    -1.47,
    -1.46,
    -1.45,
    -1.44,
    -1.43,
    -1.42,
    -1.4100000000000001,
    -1.4,
    -1.3900000000000001,
    -1.38,
    -1.37,
    -1.3599999999999999,
    -1.35,
    -1.3399999999999999,
    -1.33,
    -1.3199999999999998,
    -1.31,
    -1.2999999999999998,
    -1.29,
    -1.28,
    -1.27,
    -1.26,
    -1.25,
    -1.24,
    -1.23,
    -1.22,
    -1.21,
    -1.2,
    -1.19,
    -1.18,
    -1.17,
    -1.1600000000000001,
    -1.15,
    -1.1400000000000001,
    -1.13,
    -1.12,
    -1.1099999999999999,
    -1.1,
    -1.0899999999999999,
    -1.08,
    -1.0699999999999998,
    -1.06,
    -1.0499999999999998,
    -1.04,
    -1.03,
    -1.02,
    -1.01,
    -1.0,
    -0.99,
    -0.98,
    -0.97,
    -0.96,
    -0.95,
    -0.94,
    -0.9299999999999999,
    -0.9199999999999999,
    -0.9099999999999999,
    -0.8999999999999999,
    -0.8899999999999999,
    -0.8799999999999999,
    -0.8699999999999999,
    -0.8599999999999999,
    -0.8499999999999999,
    -0.8400000000000001,
    -0.8300000000000001,
    -0.8200000000000001,
    -0.81,
    -0.8,
    -0.79,
    -0.78,
    -0.77,
    -0.76,
    -0.75,
    -0.74,
    -0.73,
    -0.72,
    -0.71,
    -0.7,
    -0.69,
    -0.6799999999999999,
    -0.6699999999999999,
    -0.6599999999999999,
    -0.6499999999999999,
    -0.6399999999999999,
    -0.6299999999999999,
    -0.6199999999999999,
    -0.6099999999999999,
    -0.5999999999999999,
    -0.5900000000000001,
    -0.5800000000000001,
    -0.5700000000000001,
    -0.56,
    -0.55,
    -0.54,
    -0.53,
    -0.52,
    -0.51,
    -0.5,
    -0.49,
    -0.48,
    -0.47,
    -0.45999999999999996,
    -0.44999999999999996,
    -0.43999999999999995,
    -0.42999999999999994,
    -0.41999999999999993,
    -0.4099999999999999,
    -0.3999999999999999,
    -0.3899999999999999,
    -0.3799999999999999,
    -0.3699999999999999,
    -0.3599999999999999,
    -0.34999999999999987,
    -0.33999999999999986,
    -0.33000000000000007,
    -0.32000000000000006,
    -0.31000000000000005,
    -0.30000000000000004,
    -0.29000000000000004,
    -0.28,
    -0.27,
    -0.26,
    -0.25,
    -0.24,
    -0.22999999999999998,
    -0.21999999999999997,
    -0.20999999999999996,
    -0.19999999999999996,
    -0.18999999999999995,
    -0.17999999999999994,
    -0.16999999999999993,
    -0.15999999999999992,
    -0.1499999999999999,
    -0.1399999999999999,
    -0.1299999999999999,
    -0.11999999999999988,
    -0.10999999999999988,
    -0.09999999999999987,
    -0.08999999999999986,
    -0.08000000000000007,
    -0.07000000000000006,
    -0.06000000000000005,
    -0.050000000000000044,
    -0.040000000000000036,
    -0.030000000000000027,
    -0.020000000000000018,
    -0.010000000000000009,
    0.0,
    0.010000000000000231,
    0.020000000000000018,
    0.03000000000000025,
    0.040000000000000036,
    0.04999999999999982,
    0.06000000000000005,
    0.06999999999999984,
    0.08000000000000007,
    0.08999999999999986,
    0.10000000000000009,
    0.10999999999999988,
    0.1200000000000001,
    0.1299999999999999,
    0.14000000000000012,
    0.1499999999999999,
    0.16000000000000014,
    0.16999999999999993,
    0.18000000000000016,
    0.18999999999999995,
    0.20000000000000018,
    0.20999999999999996,
    0.2200000000000002,
    0.22999999999999998,
    0.2400000000000002,
    0.25,
    0.26000000000000023,
    0.27,
    0.28000000000000025,
    0.29000000000000004,
    0.30000000000000027,
    0.31000000000000005,
    0.31999999999999984,
    0.33000000000000007,
    0.33999999999999986,
    0.3500000000000001,
    0.3599999999999999,
    0.3700000000000001,
    0.3799999999999999,
    0.3900000000000001,
    0.3999999999999999,
    0.41000000000000014,
    0.41999999999999993,
    0.43000000000000016,
    0.43999999999999995,
    0.4500000000000002,
    0.45999999999999996,
    0.4700000000000002,
    0.48,
    0.4900000000000002,
    0.5,
    0.5100000000000002,
    0.52,
    0.5300000000000002,
    0.54,
    0.5500000000000003,
    0.56,
    0.5699999999999998,
    0.5800000000000001,
    0.5899999999999999,
    0.6000000000000001,
    0.6099999999999999,
    0.6200000000000001,
    0.6299999999999999,
    0.6400000000000001,
    0.6499999999999999,
    0.6600000000000001,
    0.6699999999999999,
    0.6800000000000002,
    0.69,
    0.7000000000000002,
    0.71,
    0.7200000000000002,
    0.73,
    0.7400000000000002,
    0.75,
    0.7600000000000002,
    0.77,
    0.7800000000000002,
    0.79,
    0.8000000000000003,
    0.81,
    0.8199999999999998,
    0.8300000000000001,
    0.8399999999999999,
    0.8500000000000001,
    0.8599999999999999,
    0.8700000000000001,
    0.8799999999999999,
    0.8900000000000001,
    0.8999999999999999,
    0.9100000000000001,
    0.9199999999999999,
    0.9300000000000002,
    0.94,
    0.9500000000000002,
    0.96,
    0.9700000000000002,
    0.98,
    0.9900000000000002,
    1.0,
    1.0100000000000002,
    1.02,
    1.0300000000000002,
    1.04,
    1.0500000000000003,
    1.06,
    1.0700000000000003,
    1.08,
    1.0899999999999999,
    1.1,
    1.1099999999999999,
    1.12,
    1.13,
    1.1400000000000001,
    1.15,
    1.1600000000000001,
    1.17,
    1.1800000000000002,
    1.19,
    1.2000000000000002,
    1.21,
    1.2200000000000002,
    1.23,
    1.2400000000000002,
    1.25,
    1.2600000000000002,
    1.27,
    1.2800000000000002,
    1.29,
    1.3000000000000003,
    1.31,
    1.3200000000000003,
    1.33,
    1.3399999999999999,
    1.35,
    1.3599999999999999,
    1.37,
    1.38,
    1.3900000000000001,
    1.4,
    1.4100000000000001,
    1.42,
    1.4300000000000002,
    1.44,
    1.4500000000000002,
    1.46,
    1.4700000000000002,
    1.48,
    1.4900000000000002,
    1.5,
    1.5100000000000002,
    1.52,
    1.5300000000000002,
    1.54,
    1.5500000000000003,
    1.56,
    1.5700000000000003,
    1.58,
    1.5899999999999999,
    1.6,
    1.6099999999999999,
    1.62,
    1.63,
    1.6400000000000001,
    1.65,
    1.6600000000000001,
    1.67,
    1.6800000000000002,
    1.69,
    1.7000000000000002,
    1.71,
    1.7200000000000002,
    1.73,
    1.7400000000000002,
    1.75,
    1.7600000000000002,
    1.77,
    1.7800000000000002,
    1.79,
    1.8000000000000003,
    1.81,
    1.8200000000000003,
    1.83,
    1.8399999999999999,
    1.85,
    1.8599999999999999,
    1.87,
    1.88,
    1.8900000000000001,
    1.9,
    1.9100000000000001,
    1.92,
    1.9300000000000002,
    1.94,
    1.9500000000000002,
    1.96,
    1.9700000000000002,
    1.98,
    1.9900000000000002,
    2.0
  ],
  "norm_samples": [
    4.0,
    3.9723699817481433,
    3.9449308179734364,
    3.917681190347708,
    3.890619789649142,
    3.863745315699382,
    3.8370564773010574,
    3.810551992175749,
    3.784230586902383,
    3.758090996856047,
    3.7321319661472296,
    3.706352247561483,
    3.6807506024995,
    3.6553258009176024,
    3.6300766212686426,
    3.6050018504433208,
    3.5801002837118903,
    3.555370724666281,
    3.5308119851626194,
    3.5064228852641404,
    3.4822022531844965,
    3.4581489252314603,
    3.4342617457510154,
    3.410539567071827,
    3.3869812494501086,
    3.363585661014858,
    3.340351677713477,
    3.3172781832577662,
    3.2943640690702924,
    3.2716082342311243,
    3.249009585424942,
    3.226567036888505,
    3.2042795103584876,
    3.182145935019675,
    3.1601652474535085,
    3.1383363915870026,
    3.1166583186419996,
    3.0951299870847793,
    3.0737503625760247,
    3.052518417921118,
    3.031433133020796,
    3.0104934948221342,
    2.989698497269877,
    2.9690471412580983,
    2.9485384345822023,
    2.9281713918912504,
    2.9079450346406213,
    2.8878583910449924,
    2.8679104960316546,
    2.8481003911941434,
    2.82842712474619,
    2.808889751475994,
    2.789487332700811,
    2.7702189362218492,
    2.7510836362794873,
    2.732080513508791,
    2.7132086548953436,
    2.6944671537313805,
    2.6758551095722236,
    2.6573716281930233,
    2.6390158215457884,
    2.6207868077167267,
    2.6026837108838667,
    2.5847056612749846,
    2.566851795125808,
    2.5491212546385245,
    2.5315131879405595,
    2.5140267490436567,
    2.4966610978032233,
    2.4794153998779733,
    2.462288826689832,
    2.445280555384137,
    2.428389768790094,
    2.411615655381521,
    2.394957409237857,
    2.378414230005442,
    2.3619853228590606,
    2.345669898463757,
    2.3294671729369116,
    2.3133763678105748,
    2.29739670999407,
    2.2815274317368472,
    2.265767770591597,
    2.250116969377619,
    2.23457427614444,
    2.2191389441356897,
    2.2038102317532213,
    2.188587402521479,
    2.1734697250521164,
    2.158456473008854,
    2.1435469250725863,
    2.1287403649067196,
    2.114036081122761,
    2.0994333672461343,
    2.084931521682243,
    2.0705298476827547,
    2.056227653312133,
    2.0420242514143867,
    2.027918959580058,
    2.0139111001134378,
    2.0,
    1.9861849908740716,
    1.9724654089867184,
    1.9588405951738537,
    1.9453098948245708,
    1.931872657849691,
    1.9185282386505287,
    1.9052759960878745,
    1.8921152934511918,
    1.8790454984280234,
    1.8660659830736148,
    1.8531761237807416,
    1.84037530124975,
    1.827662900458801,
    1.8150383106343215,
    1.8025009252216602,
    1.790050141855945,
    1.7776853623331403,
    1.76540599258131,
    1.7532114426320702,
    1.7411011265922482,
    1.7290744626157304,
    1.7171308728755075,
    1.7052697835359136,
    1.6934906247250543,
    1.681792830507429,
    1.6701758388567387,
    1.6586390916288833,
    1.6471820345351462,
    1.6358041171155622,
    1.624504792712471,
    1.6132835184442524,
    1.602139755179244,
    1.5910729675098372,
    1.5800826237267542,
    1.5691681957935013,
    1.5583291593209996,
    1.5475649935423899,
    1.5368751812880121,
    1.5262592089605589,
    1.515716566510398,
    1.5052467474110673,
    1.4948492486349385,
    1.4845235706290492,
    1.4742692172911012,
    1.4640856959456254,
    1.4539725173203106,
    1.4439291955224962,
    1.4339552480158275,
    1.4240501955970717,
    1.414213562373095,
    1.4044448757379973,
    1.3947436663504054,
    1.3851094681109246,
    1.3755418181397436,
    1.3660402567543954,
    1.3566043274476718,
    1.3472335768656902,
    1.337927554786112,
    1.3286858140965114,
    1.3195079107728942,
    1.3103934038583631,
    1.3013418554419336,
    1.292352830637492,
    1.283425897562904,
    1.274560627319262,
    1.2657565939702797,
    1.2570133745218284,
    1.2483305489016119,
    1.2397076999389867,
    1.2311444133449163,
    1.2226402776920686,
    1.214194884395047,
    1.2058078276907604,
    1.1974787046189286,
    1.189207115002721,
    1.1809926614295303,
    1.1728349492318788,
    1.1647335864684558,
    1.1566881839052874,
    1.1486983549970349,
    1.1407637158684236,
    1.1328838852957985,
    1.1250584846888094,
    1.1172871380722198,
    1.1095694720678448,
    1.1019051158766107,
    1.0942937012607394,
    1.086734862526058,
    1.079228236504427,
    1.0717734625362931,
    1.0643701824533598,
    1.0570180405613805,
    1.0497166836230674,
    1.0424657608411214,
    1.0352649238413776,
    1.0281138266560665,
    1.0210121257071934,
    1.013959479790029,
    1.0069555500567189,
    1.0,
    1.0069555500567189,
    1.013959479790029,
    1.0210121257071934,
    1.0281138266560665,
    1.0352649238413774,
    1.0424657608411214,
    1.0497166836230671,
    1.0570180405613805,
    1.0643701824533598,
    1.0717734625362931,
    1.079228236504427,
    1.0867348625260582,
    1.0942937012607394,
    1.1019051158766109,
    1.1095694720678448,
    1.11728713807222,
    1.1250584846888094,
    1.1328838852957988,
    1.1407637158684236,
    1.148698354997035,
    1.1566881839052874,
    1.164733586468456,
    1.1728349492318788,
    1.1809926614295305,
    1.189207115002721,
    1.1974787046189288,
    1.2058078276907604,
    1.214194884395047,
    1.2226402776920686,
    1.2311444133449165,
    1.2397076999389867,
    1.2483305489016119,
    1.2570133745218284,
    1.2657565939702797,
    1.2745606273192622,
    1.283425897562904,
    1.2923528306374923,
    1.3013418554419336,
    1.3103934038583633,
    1.3195079107728942,
    1.3286858140965117,
    1.337927554786112,
    1.3472335768656905,
    1.3566043274476718,
    1.3660402567543957,
    1.3755418181397436,
    1.3851094681109248,
    1.3947436663504054,
    1.4044448757379973,
    1.414213562373095,
    1.424050195597072,
    1.4339552480158275,
    1.4439291955224964,
    1.4539725173203106,
    1.4640856959456257,
    1.4742692172911012,
    1.484523570629049,
    1.4948492486349385,
    1.5052467474110671,
    1.5157165665103982,
    1.5262592089605589,
    1.5368751812880124,
    1.5475649935423899,
    1.5583291593209998,
    1.5691681957935013,
    1.5800826237267545,
    1.5910729675098372,
    1.6021397551792442,
    1.6132835184442524,
    1.6245047927124712,
    1.6358041171155622,
    1.6471820345351464,
    1.6586390916288833,
    1.670175838856739,
    1.681792830507429,
    1.6934906247250545,
    1.7052697835359136,
    1.717130872875508,
    1.7290744626157304,
    1.7411011265922487,
    1.7532114426320702,
    1.7654059925813095,
    1.7776853623331403,
    1.7900501418559447,
    1.8025009252216606,
    1.8150383106343215,
    1.8276629004588012,
    1.84037530124975,
    1.8531761237807418,
    1.8660659830736148,
    1.8790454984280238,
    1.8921152934511918,
    1.905275996087875,
    1.9185282386505287,
    1.9318726578496912,
    1.9453098948245708,
    1.958840595173854,
    1.9724654089867184,
    1.986184990874072,
    2.0,
    2.0139111001134378,
    2.027918959580058,
    2.0420242514143867,
    2.056227653312133,
    2.0705298476827556,
    2.084931521682243,
    2.0994333672461347,
    2.114036081122761,
    2.1287403649067196,
    2.1435469250725863,
    2.158456473008854,
    2.1734697250521164,
    2.188587402521479,
    2.2038102317532213,
    2.2191389441356897,
    2.23457427614444,
    2.250116969377619,
    2.2657677705915975,
    2.2815274317368472,
    2.29739670999407,
    2.3133763678105748,
    2.329467172936912,
    2.345669898463757,
    2.361985322859061,
    2.378414230005442,
    2.3949574092378576,
    2.411615655381521,
    2.428389768790094,
    2.445280555384137,
    2.462288826689833,
    2.4794153998779733,
    2.496661097803224,
    2.5140267490436567,
    2.5315131879405595,
    2.5491212546385245,
    2.566851795125808,
    2.5847056612749846,
    2.6026837108838667,
    2.6207868077167267,
    2.6390158215457884,
    2.6573716281930233,
    2.6758551095722236,
    2.6944671537313805,
    2.7132086548953436,
    2.7320805135087913,
    2.7510836362794873,
    2.7702189362218492,
    2.789487332700811,
    2.8088897514759945,
    2.82842712474619,
    2.848100391194144,
    2.8679104960316546,
    2.8878583910449924,
    2.9079450346406213,
    2.9281713918912513,
    2.9485384345822023,
    2.9690471412580988,
    2.989698497269877,
    3.0104934948221342,
    3.031433133020796,
    3.052518417921118,
    3.0737503625760247,
    3.0951299870847793,
    3.1166583186419996,
    3.1383363915870026,
    3.1601652474535085,
    3.182145935019675,
    3.2042795103584885,
    3.226567036888505,
    3.249009585424943,
    3.2716082342311243,
    3.2943640690702924,
    3.3172781832577662,
    3.340351677713478,
    3.363585661014858,
    3.3869812494501095,
    3.410539567071827,
    3.4342617457510154,
    3.4581489252314603,
    3.482202253184497,
    3.5064228852641404,
    3.5308119851626203,
    3.555370724666281,
    3.5801002837118894,
    3.6050018504433208,
    3.6300766212686426,
    3.6553258009176024,
    3.6807506024995,
    3.706352247561484,
    3.7321319661472296,
    3.758090996856047,
    3.784230586902383,
    3.81055199217575,
    3.8370564773010574,
    3.863745315699383,
    3.890619789649142,
    3.917681190347708,
    3.9449308179734364,
    3.972369981748144,
    4.0
  ],
  "samples_are": "Numerical rendering of exact proved formulas, not proof evidence",
  "schematic_scope": "First six coordinates of an infinite matrix factor; no type III factor is constructed by this plot",
  "font_reference": {
    "family": "DejaVu Sans",
    "installed_file_reference": "matplotlib.get_data_path()/fonts/ttf/DejaVuSans.ttf",
    "font_file_sha256": "3fdf69cabf06049ea70a00b5919340e2ce1e6d02b0cc3c4b44fb6801bd1e0d22",
    "copied": false,
    "svg_fonttype": "none"
  },
  "versions": {
    "matplotlib": "3.10.9",
    "numpy": "2.4.4"
  }
}