{
  "schema":"tnfr.localized-mobile-response-outcome.v1",
  "created_utc":"2026-10-13T10:01:13.650959+00:00",
  "attempt":{
    "path":"attempt.json",
    "bytes":327,
    "sha256":"322efef3072838350e325caf3b505945d7d118f4c6b89ccefb30369f93398def"
  },
  "freeze":{
    "path":"freeze.json",
    "bytes":162283,
    "sha256":"144650c4e7033513f35bcf799f21267862675b8423c2a22b8df0d215ed95ebe9"
  },
  "elapsed_seconds":645.5483970999994,
  "report":{
    "budget":{
      "node_count":1024,
      "fejer_order":16,
      "amplitude":{
        "numerator":1,
        "denominator":4096
      },
      "initial_state_error_bound":{
        "numerator":1,
        "denominator":4096000
      },
      "localization_radius":{
        "numerator":96,
        "denominator":1
      },
      "horizon":256,
      "form_loss_coefficient":{
        "numerator":1,
        "denominator":1048576
      },
      "exchange_coefficient":{
        "numerator":1048575,
        "denominator":1048576
      },
      "storage_scale":{
        "numerator":1,
        "denominator":1
      },
      "carrier_modes":[
        256,
        -256
      ],
      "initial_centers":[
        128,
        -128
      ],
      "endpoint_centers":[
        -128,
        128
      ],
      "clock_rate_bounds":{
        "lo":{
          "numerator":54157569093745469252362491211864207259,
          "denominator":170141183460469231731687303715884105728
        },
        "hi":{
          "numerator":108315138187490938504724982423728414519,
          "denominator":340282366920938463463374607431768211456
        }
      },
      "original_horizon_bounds":{
        "lo":{
          "numerator":273671578514187046788785089272543161460279,
          "denominator":340282366920938463463374607431768211456
        },
        "hi":{
          "numerator":34208947314273380848598136159067895182567,
          "denominator":42535295865117307932921825928971026432
        }
      },
      "sqrt_two_bounds":{
        "lo":{
          "numerator":240615969168004511545033772477625056927,
          "denominator":170141183460469231731687303715884105728
        },
        "hi":{
          "numerator":481231938336009023090067544955250113855,
          "denominator":340282366920938463463374607431768211456
        }
      },
      "linear_relative_error_upper_bound":{
        "numerator":502547465059807670088772946819918011572942281554077959871264197623491561390684570810013144596100693736012418781036405098248869,
        "denominator":14440974218213227596791762377509643606001446675818149573154179385517917761366982696846828673683842808522144898940393081955942400
      },
      "joint_identity_error_upper_bound":{
        "numerator":3787045719388006343028503988914163748385729688164188381659949566178019499955082134871895069228926593905957120001856697659949425673386847071840129679270808839548647957,
        "denominator":301916706055240457414755866604597019370514729972699662947431985571293285833766745191666437595608790754302612407522827046644358885064955858969734643569644108121464897536000
      },
      "joint_relative_identity_error_upper_bound":{
        "numerator":3787045719388006343028503988914163748385729688164188381659949566178019499955082134871895069228926593905957120001856697659949425673386847071840129679270808839548647957,
        "denominator":104241870217366260797547913446534287417812166321946137114165511425843842787467694810272383493327294077355169479167955533747310853595806675216001955070902959177990144000
      },
      "identity_bootstrap_margin":{
        "numerator":39391350691781112456472345555077437198094634871098733388773436777048542782006119905336826926077321498455427099020438422009353152473671813596891485696210622921806104043,
        "denominator":301916706055240457414755866604597019370514729972699662947431985571293285833766745191666437595608790754302612407522827046644358885064955858969734643569644108121464897536000
      },
      "identity_bootstrap_certified":true,
      "reference_tail_fraction_upper_bound":{
        "numerator":16384,
        "denominator":857375
      },
      "band_tail_fraction_upper_bound":{
        "numerator":195343098818820038020365465384396697265470489210080690431545051818099979880057384405039055471711399837420937930588197655993360257702705282061641058964958109486169072930731750843008043366324559326511402621237054542548098242086655175927873795670377939551861666817931545100093816869877960302752556051563729118071664672165885164587025849,
        "denominator":4889238178801217075464035530146513298286298128770058592773581831995508662035609152562834619730088477653724975447104530254324601705729137227660529097688459737611151470673264817692270839016433783359748561796608704298289602697383630341855892244758836235273419458407141401538835586563065257676266819602285373759319154144777804835653649849
      },
      "joint_state_norm_lower_bound":{
        "numerator":100454824497978254454519409457620123669426436633781948732505561859665823287512612675400488424098367483449212359166098836087361427922419828144161825391632150338441496043,
        "denominator":301916706055240457414755866604597019370514729972699662947431985571293285833766745191666437595608790754302612407522827046644358885064955858969734643569644108121464897536000
      },
      "joint_state_norm_upper_bound":{
        "numerator":108028915936754267140576417435448451166414510623383523909777337427684506941512798645281550806153533362043895365590316971859962709374451164415674258234279664246877927957,
        "denominator":301916706055240457414755866604597019370514729972699662947431985571293285833766745191666437595608790754302612407522827046644358885064955858969734643569644108121464897536000
      },
      "band_state_norm_lower_bound":{
        "numerator":69923087594879683455495877506348780433868843059076940267615437536188505361804377140437293796886500836343704112303520999274708505250674641934442742285974334744793368043,
        "denominator":301916706055240457414755866604597019370514729972699662947431985571293285833766745191666437595608790754302612407522827046644358885064955858969734643569644108121464897536000
      },
      "endpoint_window_separation_margin":{
        "numerator":64,
        "denominator":1
      },
      "prepared_identity_certified":true,
      "single_template_relative_error_upper_bound":{
        "numerator":7790082873882748102970950526578381731019120392871825795897609100900566791190360662702623301863378992524761973019330666750816171,
        "denominator":216614613273198413951876435662644654090021700137272243597312690782768766420504740452702430105257642127832173484105896229339136000
      },
      "single_template_bootstrap_certified":true,
      "nominal_packet_sup_norm_upper_bound":{
        "numerator":664613997892457936451903530140172288,
        "denominator":17799077396126382108543595057762908298431
      },
      "single_state_sup_norm_upper_bound":{
        "numerator":242779118169539728667159276108083909958497514387724928380288854693374691369579760320444348945504690020242780616595851718692802784352296342608487085144876589390941618567,
        "denominator":5264097644245870829514365783326796230820577793266628509289117702266619809405172950571471879936224929883664724926151892937987690319316318029002078647623859111793589747712000
      },
      "paired_state_sup_norm_upper_bound":{
        "numerator":156240685981949028268920179304306148271573741721493526525062019248654008178598335309160624777545034724799589896432654265957094548315563664174815303939354012380028701220995090482362462110170372872844959730489,
        "denominator":1791279606086921207610493274954306865325044944181845527037596314924284479664458043590094220469096505100882402177549220631032762280390851881477378944554536334451081595151827996043971674052924150799428508188672000
      },
      "single_state_radius":{
        "numerator":9,
        "denominator":32768
      },
      "paired_state_radius":{
        "numerator":3,
        "denominator":8192
      },
      "single_state_bootstrap_margin":{
        "numerator":129993049,
        "denominator":4294967296000
      },
      "paired_state_bootstrap_margin":{
        "numerator":3560960246961673556717403718007147059261,
        "denominator":174224571863520493293247799005065324265472000
      },
      "single_sensitivity_denominator":{
        "numerator":27061194972513576567549397119150235081043197531146887547634549297194248579843615874811792452790028123029620793629489103801321716409397721592088620500888819095215002787738922972374813779579328768064509254942028168386458543542196118075861021730307169218723482375505436749779793111058628838010984848605505778591243754949812857651192121736866511,
        "denominator":27061253914213795746885009407359069693200710146422272178832824801444582127376789651240204537937113828279023047139973048459609871890015534139478020190612261815509214114461755906613711372711906156513519857136420233007515986505364576416854282031124232852952192642323043438776045871529099293400402053759022666562999337861747945056245907456000000
      },
      "paired_sensitivity_denominator":{
        "numerator":3133454716956359914459979016434272901629945466022706153558621762376271186422708561172877290628607464068084223491331927107704286655831825690922260552794909161521228818419377361844016902298449945318253360252728239086288748684899545545963343548713475732263755327833531072161535384089091018643779054528842846892422860519288298939982079207461623421515911365461633291782915435520473620565251977118505083464435893719299820879,
        "denominator":3133479128108316024463566881234440833463484006857431763614484518859886894569879170289978040219292676317658467396310719279125071118317313761784049630590935941251443858540613483021794424055243690305629601054243091511968843987654485221137488060112274082039017682628096470364059518319428708263542906396443975605901139141570409765668680322851708509748292691830690597757922934522367731661992730711865392935170857762816000000
      },
      "fifth_order_remainder_majorant":{
        "numerator":48715702098318273067074500050180252551315146951625741255605660568036079052346478177618793324734764856086003282190549754287377265303107276600642432429802207045543408460866530015174735845966112681454831923385403857720082448358606385636361523493347537341724747601632757487583000790218298226162790053020123246306877152368822659794837736382097842699652911859188858262508959102782193033827459152791318820581273245971771385711724052544313443219209816426785324146928120083209677016612023711765982675671460022763468556331501404584629725787602487663347726209472373954405287263057275991860655338442771257018368522694716482460820571284926759898509589286034271593937878754868911949422338544330431891892197562495741161838988627123824029421393912818122474270826496989163362345696320891267557517890396281507863286718856418331170571752817654699,
        "denominator":11766450516554808460536708579193563535330469685795858044134384283628136790209212815492854095600725596859624787148038221549399284344710141640517359582318041991142182503881772708205531386905376176480687967921911662461700794930071057198866005068101128797746074278520763083958794943170862671386079812193383565413502368547881055485612418004499325609268918244159851493726019866793455232187883700153455616075793420454189387710612265692270201934228045505617942617201195159522640043913110454501363101202350493175089981801703862962818532052656124550702380743247434229963602267281489270273223213015626805169662619695321361172096583491905117896484059448679701251885138876811596850998501451709959071938564402883307690005696225304677562355607714586387998067953480341489939670558745926190138290013446612858733961388392409454387570087109605720064000000000000
      },
      "nominal_cubic_remainder_upper_bound":{
        "numerator":48715702098318273067074500050180252551315146951625741255605660568036079052346478177618793324734764856086003282190549754287377265303107276600642432429802207045543408460866530015174735845966112681454831923385403857720082448358606385636361523493347537341724747601632757487583000790218298226162790053020123246306877152368822659794837736382097842699652911859188858262508959102782193033827459152791318820581273245971771385711724052544313443219209816426785324146928120083209677016612023711765982675671460022763468556331501404584629725787602487663347726209472373954405287263057275991860655338442771257018368522694716482460820571284926759898509589286034271593937878754868911949422338544330431891892197562495741161838988627123824029421393912818122474270826496989163362345696320891267557517890396281507863286718856418331170571752817654699,
        "denominator":11766450516554808460536708579193563535330469685795858044134384283628136790209212815492854095600725596859624787148038221549399284344710141640517359582318041991142182503881772708205531386905376176480687967921911662461700794930071057198866005068101128797746074278520763083958794943170862671386079812193383565413502368547881055485612418004499325609268918244159851493726019866793455232187883700153455616075793420454189387710612265692270201934228045505617942617201195159522640043913110454501363101202350493175089981801703862962818532052656124550702380743247434229963602267281489270273223213015626805169662619695321361172096583491905117896484059448679701251885138876811596850998501451709959071938564402883307690005696225304677562355607714586387998067953480341489939670558745926190138290013446612858733961388392409454387570087109605720064000000000000
      },
      "shared_preparation_sensitivity_upper_bound":{
        "numerator":422643045582582095803092964385797867084904309111491363050765599494413705031198120881283340424737888406737554481411774797617206381659843425640358680069453414526501896252932038001313962547143562008046100106062547255686576963074897335771440365289719457197309960701770389747757103027295870447271652161801852145521688130977165401457384214922204493476298596894350013055796426296573266825094659003858158715682922708332529191494371139489345016269529306269181836743240650910329714926250799957865235052587915235026664293352322772022273343469620288246038434632224352173822247841331685184057653687800221871302661401764941876093735938963064992728601373302288185016932959245075783719968988990148368062130617784324157869962101826149752739203914459187065184281366316831,
        "denominator":86830109729892760554201752845235159352622088737899175898325432598030329744654630639902460063099639350884366018450464980251501835233178954917937077568821545937376414816377198966788799458042826172131941811880207697087614167359126796695472669762455538922594310787029080147453049578246440589347100608287472691528686567358263893459816306776225011624809704291930744040889577991947309838611088110631994603239001891333112904548099621526864112486323282532927107875931977725683921484362806576050324411931832938203909789205431234384336027041166109872661580581343967651479932099820938838488217862492704024980489913247665932403445481748444752497255061316832167700432175099119558546200641799368153954155198716419654621478765537915460794938133260774748041444727534626491565056000
      },
      "interaction_proxy_error_upper_bound":{
        "numerator":4860584445090074513578971147872859540131905127859173761310226469914352081593479216556455841751577378667679608715087021081440535041721970764660758048384993302801335771312823809157292909120486126593308701600265182095837232483087425517811572750675923284895793774741500387995597308478555270751045882543702682219466726368548672364757082215939159060187267236902763774921895172938903483628017531975591506606816158798957233237274062189726503647871421351156773214118612187292279315858514488339760282127479456965306715909437987198347908410479507279088427431010786211677948912818851956624880098285570249504063974190197784253011001539980570041353609152155930756867337699662598530393036064951199856429152937979889572996272324845276178114616375158019514615335140284006089766916810489556547832096358096810736512627955346051512521821136595645014032894563709224134698514906594880420908292825031348232840037988860018630031926768180788876076984385329855773120403824197712865391578808261898744207189193595344847127164235613489200003578622998461992348388773715006108958525239670338575954225643887661322616834561245842342440471763907268001337890852910062574324392182612677083486622590279234515210651759223560615604952299884452687066558734647668344503109990093837260509826726351238517766579210711785997076336199654411649597091469909866570287874834594962998190877437289619492980298724087625936648266694312411074996948345210005046948454068354361822381935096547258909256001522816201813177248855295877521538523728770030641525253050001067716944170703900295938897918530116254979444384979501206338693242360872410061131,
        "denominator":997736513167780637260866156256346767854737764955124181314571800188078208573460111712227181902001097523259508330942158162760534179616883327770123718928508706803792726261198017306643991512898798375396568446366167429196692587096755911259744131556022851949979764259565903284249489967983667204391945553093591137759679184503886573966650271471859433034758296416306175155982656284606662242223310641998424117817505194091320636767666816200510048707895905766734225429600974907843628686024562573902267734536589176452206338472032813927415935814498475738071230782694567849550152102970339485356672490680037976678344441150055341942275284550044486198684538791671221079805725559994140917624515672409606331161702628923373443975472110279756629179579160984439637289703558119037893932498949964077235893777268741213117462616860636038138316483765976121359120112501807629573345695551116876450739660137058314414117036606096345958416507657840553886876170776183700146927836604282793263376411779543516401999304411208854228874399450222334514681182084533858545724606995609920314287226595411050032144941511068382100333739460363354533351673622732423181067354311721292629500680578412205075945614194683731634889344561934395875053181133530148343039862023389194512633374339907239217262149947147181010341060656810966213019302088842195405551239798821690061245821237043363028138037028230612098434383783218650423706657737842783470852043744288799373243191402605940533636242713718663366493085495857318426280901722820255452729910848970147893540279120557860562052849493152499300822295040375519485702059164490589928265801904282402816000000000000
      },
      "cubic_remainder_certified":true,
      "unavailable_reasons":[],
      "status":"certified",
      "interaction_norm_bounds":null,
      "identity_tolerance":{
        "numerator":1,
        "denominator":25
      },
      "tail_tolerance":{
        "numerator":1,
        "denominator":25
      },
      "interval_method":"rational_outward_dyadic128_machin_trigonometry_v1",
      "conditional_on_supplied_preparation":true,
      "scope":[
        "complete_positive_loss_sine_rows_fixed_unit_cycle_and_unit_capacities",
        "both_evolution_rows_use_tau_equals_exchange_times_original_time_over_pi",
        "two_opposite_Fejer_carriers_have_supplied_centers_and_prepared_full_states",
        "two_joint_error_balls_include_all_fine_and_common_mean_components",
        "paired_initial_state_is_exactly_the_sum_of_the_same_two_single_states",
        "correlated_shared_preparation_is_a_premise_not_a_copying_protocol",
        "identity_uses_the_joint_full_state_and_declared_band_components",
        "cubic_predictor_uses_the_actual_damped_tangent_not_a_lossless_substitute",
        "linear_response_cancels_in_the_full_state_superposition_defect",
        "fifth_order_remainder_and_preparation_sensitivity_have_distinct_budgets",
        "no_cubic_predictor_trajectory_or_endpoint_response_is_evaluated",
        "no_interaction_detection_formation_source_authentication_or_physical_claim"
      ]
    },
    "quadrature_order":12,
    "panel_limit":65536,
    "panels":64,
    "numerical_error_target":{
      "numerator":1,
      "denominator":68719476736000
    },
    "derivative_growth_upper_bound":{
      "numerator":47165331538734967553373201622597735195742956249399781101291052654712113251210551228663,
      "denominator":10360890877612273460588454025001380094058032995906052645348201484893654179174049382400
    },
    "integrand_derivative_upper_bound":{
      "numerator":14687551337230215167215043750542864775156345481212628836512735610132357047142967008028881785104009872409291005426052368071120549310429559379129203548364073375002468296824934444189418427698050757786519741190984189932007216360319466065659620884040069327903809071237246891960172651749407358998928429347082029141865950511338653205887345977420335991527226209856392904026629348580592204328463775162474338500628652354739938208349999403628114442330716552653694122048121284559079578888504183713264612651101922295615374988297712988184608205789764070491615004179058550434246637582442954490418745344076162459360436639283069505493538336823165290225473286892918346101512545718596163813879413135842107859318412196266169791649961720363907649748115730768772784691181653398865020815645204793098677300314667113046696776553621621654465874713664758449422977499043694007722222710306337654241199916580923537313819795613462458968770559498122937194242441816297360399813870282015031743653746393467829360423400226202949481230318286738242617339972492037588066011394258076059396405299998786124302815833724163975843646758002571919879248094124018835209987867546572900517873128751581701618086548234266760865259224989053580829813857404056479703342341696984660714258215814943252833641043812353743231196269870982340564245351555685803248059146977258442397251774256564823007435394604362915660317379141354244698477362089574568404982299336853408053871011245485534508882101970239219385644560467532217664523993097422402867049205653412747800330100280030642460613767046535029995705207587724638526381840897251732620120996861969351913225974644078140339754418708239294253999852680859226866965035328394980478913687937177212895457871233571456185444104222424312573730822567818318886035790856628010284333896984940056462828542883856919708814201850637187104445028609508693050295291411034800636687188861970147705851936278654921397089881217213428209055889565571673229400304850743449159545207114357072984960969828011757037907859613275029559866632411510261735805143045197202494725640636401518328036667270397402561,
      "denominator":20115009828893934263416221985001315932219451906984881699504836118952346059421215561473488669817866932515034797561950254924753239330148845317832103563727492127954902477859686467947801830611023018635367723066255232436296975456017610996504481271219034205936446970780820609695131258841876554168491796294900597160421912931554599400049686894440377726915633894852163959406129689047319591128483767482524390171472526895426248014244184581819212354864016813038691887402931574543793658107446551322793817516636462387241206383867194148232590853719758133763385787596166482280509014888353373276296985859215082681618437632203680569688418426504744107819367151440248283207520371863943029708043491599672045139053531346054794960108360730908692172867133481460480673887652186741549388862415278974517392741813349920290961073588201081112238433477636739418249057144702064563763891851550941542290197715406292698665411239922615423665760624042870323156846738989632117500092880123820870172262442098047422314343646488300106831644195553010387210220632412576376235427754174436677618808126388359082815840847895870643006989549403919895993682368245757342459920047346933451074006123633869860687642054365719957152278213341206089793880533924638376838203403354350072826857631777000753955648339429504194288005044601323850940716899158461239149717961939303104856455587729463175134295382568512040576547623588287396969603314846008356580092878032487994020550826743770130085150619623662536492010954461600200456929267928074037143561636052290623935077091847831842329993158543363837649979164495891763264740154273179141483832266513083410346111214978665697356195373540461631180607894825973399361250185149899282494241378010820366324545519142504028644881125621990376070755138073302440257819428770140080857460562277791701222454796840721146562835808864337451126476406603602653962324402635483049187334667622026591454105101728079093964349159000060676753541081682861703687488639388425858108991171068164321996583981423236175203282125623978642195920646719502548992000000000000000000000000000000000000000000000000
    },
    "quadrature_error_upper_bound":{
      "numerator":113215735815576409433590407893367073201707737347260780661550632988275770469936407458219467877834623035538802116613506663464652022605864470435751244914831912354611121065003306845217362990518908108683610350677755317642679377866998527060983967174204151488421237432892956238801732168490721764877946227150201958374987525202225361541095040795179964071615566521941371127042961454765761522286207679556460249225976318447575672099253207363629892792806003625478506780106327565922909359660004052498406931252415127330125864611948827453944968625030848110289054077135174448202666779010531570286775210667259668070586499239181887918914108424499838833197527240481232651326533797055628509122507948340028072311625627878911314750338624444940608213450646323107406116973616508342596724735866432377386378378243938331573007472286612337135664265203881756838323919475250725884515687362695520034430104322229254001471955865461206450327283556478536627686923319628225107290671467459699225777070176263337157182299854963367443168811601424208067597871202359843113300380861091295512066876746537197529583203699160937514464270506697996192767549656317684882153394136901268048946559520914318542881970602847938804911890985309798608890173838900328973934497513837262969101513855903764338823154184018126720068203694858318030390592048863623643735603080462860557691417573120246477194833780759300700200109060896766199877814244021222712915676908963476874304109231959894123934472926535251613862180748196281858417254656826728551709742844302284887137121712322149819600567084531171133438334019545285403954467421799316254271232234235106732355891052549301053312006520989602158666385905579764767444476174250005359018070216120604996071806338888708562851711724771972839554972582831432436295805825140092452046270799122086099904457760525239318026204661520027861915140661548267185938663944064436341322410431881277493499180461834682366064170518105797464914139371252310533189101459704696384743744465036779495629001187776429037460467108057145365327550092663992539494926793016275054860979082841751504388378182837,
      "denominator":244065869113035755389357406246608271474372443291542930016853543273885859611967419588332650837204145881719168907215572960685045245468013601604880299191400795389524690834614331741870508034638944961205783642397041516230879605049709799117712562372727850541437438397626385783994046964451762263022484755641155883653549476957804939705041737960648413313232732790926913125845429453413982147046101015116321535997894176196526019879822188673095165077766433177880117831440617209132033380414928312173050842872161453748718862403648788508918614063955794291926057952456377291296095536888732954226029156134128389170504560752828218053284484360103547330334119129151573866989273353401860981773138014389765471884000398979953075733271760587058457299221350226925586029943584365455202871924396994013327890952046195203060404263914001619427697672536320778785052264053945186363196385667444087541751904772894395221316693157765926140552889063608637328954182153917681889240807741771144740096228093678312955666888972698074656398612261943159420000400034159193513051847681232799167070807215722517494178368970255167607976378710070292785342118683865665342280980123791643164998293426973974444604440653252994331715512020761614958052113058078402138340766844487550615903654253063972131998850604221687528377699297136081804311101320277716408118252190102555791267100737434837806646826907141587065435520943461746178832459072411373389821296555851416738610735353870799363562823842101462163045481314703595495184406612983189017935574363597349605300860322970366388264062367793474404444798313089969956851614755976097268796547496446673569400715564313717768406166640827729858445201335155324253712719054086908854462652410848141517442728525855153325013192940529609925986287970208565904298293857873262741037490430879429880657829668078641246760091462541809793480372140717503136204069015093950857752622738921064652252732324683185358027273620362119698018833628710006771472826746941298943859858538065729848869951908979960094177023572376513424332952778349687347112574976000000000000000000000000000000000000000000000000000000
    },
    "spectral_modes":[
      -301,
      -300,
      -299,
      -298,
      -297,
      -296,
      -295,
      -294,
      -293,
      -292,
      -291,
      -290,
      -289,
      -288,
      -287,
      -286,
      -285,
      -284,
      -283,
      -282,
      -281,
      -280,
      -279,
      -278,
      -277,
      -276,
      -275,
      -274,
      -273,
      -272,
      -271,
      -270,
      -269,
      -268,
      -267,
      -266,
      -265,
      -264,
      -263,
      -262,
      -261,
      -260,
      -259,
      -258,
      -257,
      -256,
      -255,
      -254,
      -253,
      -252,
      -251,
      -250,
      -249,
      -248,
      -247,
      -246,
      -245,
      -244,
      -243,
      -242,
      -241,
      -240,
      -239,
      -238,
      -237,
      -236,
      -235,
      -234,
      -233,
      -232,
      -231,
      -230,
      -229,
      -228,
      -227,
      -226,
      -225,
      -224,
      -223,
      -222,
      -221,
      -220,
      -219,
      -218,
      -217,
      -216,
      -215,
      -214,
      -213,
      -212,
      -211,
      211,
      212,
      213,
      214,
      215,
      216,
      217,
      218,
      219,
      220,
      221,
      222,
      223,
      224,
      225,
      226,
      227,
      228,
      229,
      230,
      231,
      232,
      233,
      234,
      235,
      236,
      237,
      238,
      239,
      240,
      241,
      242,
      243,
      244,
      245,
      246,
      247,
      248,
      249,
      250,
      251,
      252,
      253,
      254,
      255,
      256,
      257,
      258,
      259,
      260,
      261,
      262,
      263,
      264,
      265,
      266,
      267,
      268,
      269,
      270,
      271,
      272,
      273,
      274,
      275,
      276,
      277,
      278,
      279,
      280,
      281,
      282,
      283,
      284,
      285,
      286,
      287,
      288,
      289,
      290,
      291,
      292,
      293,
      294,
      295,
      296,
      297,
      298,
      299,
      300,
      301
    ],
    "spectral_quadrature":[
      [
        {
          "lo":{
            "numerator":3714098009745564285,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":14856392038982258337,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":4595209263251731153,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":2297604631625866183,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":141805797406236552471,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":141805797406236553661,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-67379494393754068363,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-67379494393754067175,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":29051129874392505959,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":29051129874392506549,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-145516024378822069985,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-145516024378822068809,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":200701843030643254159,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":50175460757660813837,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":474782383183942915939,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":118695595795985729279,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":163237022235710653331,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":326474044471421307247,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":72189508466306078467,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":144379016932612157537,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-1071255865075148748951,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-1071255865075148747753,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":196583850655786726129,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":393167701311573453427,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-867319377642239135917,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-867319377642239134733,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":868558918076249912833,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":1737117836152499826857,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-645666990054232085019,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-645666990054232083799,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-488188429540508584205,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":-1952753718162034335645,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-1815930720262453975223,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-1815930720262453974641,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-981527417989497093543,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-1963054835978994185923,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":3319452435010494240529,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":414931554376311780213,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-937244417725350396395,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-937244417725350395217,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":4051639999910085982161,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":4051639999910085983363,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-3418970739874379298287,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-3418970739874379297695,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":1279098850727521134309,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":639549425363760567743,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":311745159522116505423,
            "denominator":21267647932558653966460912964485513216
          },
          "hi":{
            "numerator":1246980638088466021987,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":1451466715621489303403,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":11611733724971914428419,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":7314559576226276413645,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":7314559576226276414847,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-7631605491301262261997,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-953950686412657782603,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":12939931548653817475,
            "denominator":2658455991569831745807614120560689152
          },
          "hi":{
            "numerator":1656311238227688637975,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-12928986706045252241609,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-12928986706045252240419,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":74878113811737947295,
            "denominator":1329227995784915872903807060280344576
          },
          "hi":{
            "numerator":9584398567902457254369,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-530014700113278670515,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":-2120058800453114680881,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-10707757745414956371525,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-1338469718176869546293,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-3756616754400055963813,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":-15026467017600223854663,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-10626515990008370312751,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-21253031980016740624343,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":7290477791549771180771,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":7290477791549771181369,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-1236836059348239782251,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-2473672118696479563341,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":33613778055202378734545,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":16806889027601189367857,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-22636588282328968057355,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-45273176564657936113529,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":1477552041292014938515,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":369388010323003734773,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":4655379162558965966143,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":581922395319870745805,
            "denominator":10633823966279326983230456482242756608
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":65445601601223632481313,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":8180700200152954060311,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":50247890331199242280487,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":50247890331199242281679,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-6432382525291008598681,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":-12864765050582017196765,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":3504841379257919996377,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":876210344814479999393,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-75642990905669532792415,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-37821495452834766395611,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":23795063157292632772021,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":95180252629170531089273,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-4704556119093547772693,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-2352278059546773885749,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-1153013265226315541539,
            "denominator":10633823966279326983230456482242756608
          },
          "hi":{
            "numerator":-36896424487242097328051,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-141164427973031256637101,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-141164427973031256635903,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-114896597725567530493955,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-114896597725567530492737,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":66169591552588673909475,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":66169591552588673910665,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-224755335578397378919,
            "denominator":10633823966279326983230456482242756608
          },
          "hi":{
            "numerator":-3596085369254358062107,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":191937208540695739639337,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":95968604270347869820255,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-115113828239511608306323,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-57556914119755804152869,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":4014148219732363398283,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":16056592878929453594331,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":168083376363724516062487,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":42020844090931129015915,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":235644146070164170239047,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":235644146070164170239643,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":200080608643206773288805,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":200080608643206773289407,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-566239520048080523503823,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-70779940006010065437905,
            "denominator":21267647932558653966460912964485513216
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":44934261004414725332063,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":89868522008829450665307,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-520614014094527424432805,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":-32538375880907964027041,
            "denominator":2658455991569831745807614120560689152
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":2407124281971942361361495,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":75222633811623198792565,
            "denominator":5316911983139663491615228241121378304
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":917770426965988181674177,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":7170081460671782669339,
            "denominator":2658455991569831745807614120560689152
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":13745372756929750344441067,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":13745372756929750344442257,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":15753665356817985657596243,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":15753665356817985657597429,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":54400192434793408013459,
            "denominator":1329227995784915872903807060280344576
          },
          "hi":{
            "numerator":1740806157913389056430837,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":27242851852141411386736629,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":6810712963035352846684453,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-1548364312628122366885763,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-1548364312628122366884567,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":22336314145916391742722285,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":11168157072958195871361735,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-6207342538199872164630913,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":-12414685076399744329261229,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-123772831397466648602547,
            "denominator":21267647932558653966460912964485513216
          },
          "hi":{
            "numerator":-15471603924683331075309,
            "denominator":2658455991569831745807614120560689152
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-19945721627031074157902859,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-39891443254062148315804537,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-34262854978430087444785625,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-34262854978430087444784425,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-974567608764644118998743,
            "denominator":10633823966279326983230456482242756608
          },
          "hi":{
            "numerator":-1949135217529288237997411,
            "denominator":21267647932558653966460912964485513216
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-12996497954183689767094665,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":-51985991816734759068377467,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":1165861516012905872841437,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":2331723032025811745684069,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-19468314219310477945309781,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-38936628438620955890618383,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":1326565141902952807689253,
            "denominator":10633823966279326983230456482242756608
          },
          "hi":{
            "numerator":42450084540894489846057295,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":2664645259927754610768249,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":166540328745484663173089,
            "denominator":21267647932558653966460912964485513216
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":15889473075133854929280293,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":31778946150267709858561173,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":51097326247421138607467497,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":3193582890463821162966791,
            "denominator":21267647932558653966460912964485513216
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":47068724165011746969901707,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":11767181041252936742475725,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":37171993402889114298756007,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":74343986805778228597513225,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-3006491914974178480024485,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-3006491914974178480023291,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":53718477132370359236130033,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":53718477132370359236131215,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-29101682044001480554351723,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-58203364088002961108702239,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-1696256201209230287590989,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-3392512402418460575180795,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-85067973112178006141267475,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-42533986556089003070633135,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-66786326445624164067659495,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-33393163222812082033829141,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-61671453666505648008418865,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-30835726833252824004208843,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-46345375090877488573675905,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-5793171886359686071709413,
            "denominator":21267647932558653966460912964485513216
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":115359798322285911278883,
            "denominator":10633823966279326983230456482242756608
          },
          "hi":{
            "numerator":3691513546313149160925435,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-60182484610086638060372681,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-15045621152521659515092875,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":65175852504714309521388685,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":8146981563089288690173735,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":805262916786642683940025,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":201315729196660670985081,
            "denominator":21267647932558653966460912964485513216
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":80996863859276317459474275,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":80996863859276317459475481,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":54043878600511813825519203,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":54043878600511813825520367,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":49928948924921535007549269,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":24964474462460767503775229,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":4212359385698135344073595,
            "denominator":21267647932558653966460912964485513216
          },
          "hi":{
            "numerator":8424718771396270688147339,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-660683236739688671409959,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":-2642732946958754685638633,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":41747817067965735184502125,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":10436954266991433796125829,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-22550609820782938961394063,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-22550609820782938961393465,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-2069595085507984100276221,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-2069595085507984100275047,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-6858063939287774969416659,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":-13716127878575549938833019,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-17761726008593590595172279,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-17761726008593590595171691,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-33023141418020377914036525,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-33023141418020377914035325,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-21364006367515213841636717,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-42728012735030427683272247,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":1451989687237562609601,
            "denominator":332306998946228968225951765070086144
          },
          "hi":{
            "numerator":1486837439731264112232621,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-25391841822123309996914417,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-12695920911061654998456623,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":27105600398197979629700213,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":27105600398197979629701393,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":936886386438436141783673,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":936886386438436141784867,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":31222295542093201620790689,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":31222295542093201620791859,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":18492967383545800573124957,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":4623241845886450143281531,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":547745020205838310994907,
            "denominator":10633823966279326983230456482242756608
          },
          "hi":{
            "numerator":17527840646586825951838199,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":10151403878714750310927253,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":2537850969678687577731963,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-463459869166414862836287,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-463459869166414862835079,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":10597058897199598776314817,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":10597058897199598776315991,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-10988067851975102578990375,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-10988067851975102578989179,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-125978512047176622198519,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-125978512047176622197325,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-9756218470015909380464311,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-9756218470015909380463115,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-3133664299358057835812111,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-783416074839514458952731,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-3087964588948679504031407,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-3087964588948679504030213,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-764979727447329180328171,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-382489863723664590163499,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":5556661727490594695,
            "denominator":21267647932558653966460912964485513216
          },
          "hi":{
            "numerator":88906587639849516283,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":18109953103440991185441,
            "denominator":21267647932558653966460912964485513216
          },
          "hi":{
            "numerator":72439812413763964742057,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-72201657008465671963583,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":-144403314016931343926567,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":211233626908777980727,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":844934507635111923505,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-107953066472695962462729,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-26988266618173990615387,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":66646806981977624831851,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":133293613963955249664905,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":68144998783639304729543,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":136289997567278609460247,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":20324502764284231714045,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":40649005528568463429263,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":1302022706567468141793,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":651011353283734071489,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-40210068557126374808145,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-80420137114252749615071,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":77043211178903222038149,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":77043211178903222039333,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-980131550556119991027,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-980131550556119989813,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":677747553130762188413,
            "denominator":10633823966279326983230456482242756608
          },
          "hi":{
            "numerator":5421980425046097507597,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-48965517147502550995557,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-6120689643437818874295,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-13123010332276565534627,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":-26246020664553131068665,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-7347523232459339594351,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-14695046464918679187509,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-116406862014584625655,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":-232813724029169251013,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":17347208218463396145655,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":8673604109231698073129,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-7877248157224485270357,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":-31508992628897941080229,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":366364017384826643145,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":732728034769653287473,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-2553800779668275030131,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":-10215203118673100119339,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":5085466424965294766599,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":20341865699861179067575,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":5829172751933073986965,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":23316691007732295949039,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":7817758009606862790541,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":3908879004803431395865,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":770988678539858727653,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":385494339269929364427,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-1852805064607404061657,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":-7411220258429616246035,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":12498357541531163502627,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":6249178770765581751919,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-585065187650313902133,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-585065187650313900955,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":2755207611930757288941,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":2755207611930757289535,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-1829537225773838078185,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":-914768612886919038945,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-9215359345207079295211,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-9215359345207079294017,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-3830489863382820435963,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-957622465845705108697,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-559831404521053670757,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-559831404521053669575,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":2658625565582698925451,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":5317251131165397852097,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-4045292834937867332893,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-2022646417468933665859,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":190533964001875670725,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":381067928003751342639,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-2396258123039399019167,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-2396258123039399017983,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":2148548808420779899447,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":2148548808420779900623,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":3067373740174309529349,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":3067373740174309530535,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":1553052372236552428339,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":776526186118276214769,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":163413297493433492833,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":326826594986866986853,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-1543490456854364577107,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-1543490456854364575939,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":514983115446896766127,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":514983115446896766711,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-198664713621019707809,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-24833089202627463327,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":438247923708284140665,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":876495847416568282515,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-27019017954034131969,
            "denominator":21267647932558653966460912964485513216
          },
          "hi":{
            "numerator":-216152143632273055159,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-728149308948401022235,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-728149308948401021039,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-466864969234491648263,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-116716242308622911769,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-136023398027548467513,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-68011699013774233151,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":128498902801055022395,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":256997805602110045977,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-146465763586896542155,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-36616440896724135237,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":61811707013174914551,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":15452926753293728935,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-24913523360017631577,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":-199308186880141051435,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":1679022958061236893,
            "denominator":21267647932558653966460912964485513216
          },
          "hi":{
            "numerator":1679022958061236967,
            "denominator":21267647932558653966460912964485513216
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":57752897335377525455,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":14438224333844381659,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":14434743765045784441,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":14434743765045784743,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":5633294496115896395,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":5633294496115896695,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":2849259479626409327,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":5698518959252819851,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-2131277524837788353,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-2131277524837787157,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":2849259479626409327,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":5698518959252819851,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-2131277524837788353,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-2131277524837787157,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":14434743765045784441,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":14434743765045784743,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":5633294496115896395,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":5633294496115896695,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":1679022958061236893,
            "denominator":21267647932558653966460912964485513216
          },
          "hi":{
            "numerator":1679022958061236967,
            "denominator":21267647932558653966460912964485513216
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":57752897335377525455,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":14438224333844381659,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":61811707013174914551,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":15452926753293728935,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-24913523360017631577,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":-199308186880141051435,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":128498902801055022395,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":256997805602110045977,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-146465763586896542155,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-36616440896724135237,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-466864969234491648263,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-116716242308622911769,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-136023398027548467513,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-68011699013774233151,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-27019017954034131969,
            "denominator":21267647932558653966460912964485513216
          },
          "hi":{
            "numerator":-216152143632273055159,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-728149308948401022235,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-728149308948401021039,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-198664713621019707809,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-24833089202627463327,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":438247923708284140665,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":876495847416568282515,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-1543490456854364577107,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-1543490456854364575939,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":514983115446896766127,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":514983115446896766711,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":1553052372236552428339,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":776526186118276214769,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":163413297493433492833,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":326826594986866986853,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":2148548808420779899447,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":2148548808420779900623,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":3067373740174309529349,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":3067373740174309530535,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":190533964001875670725,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":381067928003751342639,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-2396258123039399019167,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-2396258123039399017983,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":2658625565582698925451,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":5317251131165397852097,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-4045292834937867332893,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-2022646417468933665859,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-3830489863382820435963,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-957622465845705108697,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-559831404521053670757,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-559831404521053669575,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-1829537225773838078185,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":-914768612886919038945,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-9215359345207079295211,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-9215359345207079294017,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-585065187650313902133,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-585065187650313900955,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":2755207611930757288941,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":2755207611930757289535,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-1852805064607404061657,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":-7411220258429616246035,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":12498357541531163502627,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":6249178770765581751919,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":7817758009606862790541,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":3908879004803431395865,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":770988678539858727653,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":385494339269929364427,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":5085466424965294766599,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":20341865699861179067575,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":5829172751933073986965,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":23316691007732295949039,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":366364017384826643145,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":732728034769653287473,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-2553800779668275030131,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":-10215203118673100119339,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":17347208218463396145655,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":8673604109231698073129,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-7877248157224485270357,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":-31508992628897941080229,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-7347523232459339594351,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-14695046464918679187509,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-116406862014584625655,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":-232813724029169251013,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-48965517147502550995557,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-6120689643437818874295,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-13123010332276565534627,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":-26246020664553131068665,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-980131550556119991027,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-980131550556119989813,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":677747553130762188413,
            "denominator":10633823966279326983230456482242756608
          },
          "hi":{
            "numerator":5421980425046097507597,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-40210068557126374808145,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-80420137114252749615071,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":77043211178903222038149,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":77043211178903222039333,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":20324502764284231714045,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":40649005528568463429263,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":1302022706567468141793,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":651011353283734071489,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":66646806981977624831851,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":133293613963955249664905,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":68144998783639304729543,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":136289997567278609460247,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":211233626908777980727,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":844934507635111923505,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-107953066472695962462729,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-26988266618173990615387,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":18109953103440991185441,
            "denominator":21267647932558653966460912964485513216
          },
          "hi":{
            "numerator":72439812413763964742057,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-72201657008465671963583,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":-144403314016931343926567,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-764979727447329180328171,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-382489863723664590163499,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":5556661727490594695,
            "denominator":21267647932558653966460912964485513216
          },
          "hi":{
            "numerator":88906587639849516283,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-3133664299358057835812111,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-783416074839514458952731,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-3087964588948679504031407,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-3087964588948679504030213,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-125978512047176622198519,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-125978512047176622197325,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-9756218470015909380464311,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-9756218470015909380463115,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":10597058897199598776314817,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":10597058897199598776315991,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-10988067851975102578990375,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-10988067851975102578989179,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":10151403878714750310927253,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":2537850969678687577731963,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-463459869166414862836287,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-463459869166414862835079,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":18492967383545800573124957,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":4623241845886450143281531,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":547745020205838310994907,
            "denominator":10633823966279326983230456482242756608
          },
          "hi":{
            "numerator":17527840646586825951838199,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":936886386438436141783673,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":936886386438436141784867,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":31222295542093201620790689,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":31222295542093201620791859,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-25391841822123309996914417,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-12695920911061654998456623,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":27105600398197979629700213,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":27105600398197979629701393,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-21364006367515213841636717,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-42728012735030427683272247,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":1451989687237562609601,
            "denominator":332306998946228968225951765070086144
          },
          "hi":{
            "numerator":1486837439731264112232621,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-17761726008593590595172279,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-17761726008593590595171691,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-33023141418020377914036525,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-33023141418020377914035325,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-2069595085507984100276221,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-2069595085507984100275047,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-6858063939287774969416659,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":-13716127878575549938833019,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":41747817067965735184502125,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":10436954266991433796125829,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-22550609820782938961394063,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-22550609820782938961393465,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":4212359385698135344073595,
            "denominator":21267647932558653966460912964485513216
          },
          "hi":{
            "numerator":8424718771396270688147339,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-660683236739688671409959,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":-2642732946958754685638633,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":54043878600511813825519203,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":54043878600511813825520367,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":49928948924921535007549269,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":24964474462460767503775229,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":805262916786642683940025,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":201315729196660670985081,
            "denominator":21267647932558653966460912964485513216
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":80996863859276317459474275,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":80996863859276317459475481,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-60182484610086638060372681,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-15045621152521659515092875,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":65175852504714309521388685,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":8146981563089288690173735,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-46345375090877488573675905,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-5793171886359686071709413,
            "denominator":21267647932558653966460912964485513216
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":115359798322285911278883,
            "denominator":10633823966279326983230456482242756608
          },
          "hi":{
            "numerator":3691513546313149160925435,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-66786326445624164067659495,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-33393163222812082033829141,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-61671453666505648008418865,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-30835726833252824004208843,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-1696256201209230287590989,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-3392512402418460575180795,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-85067973112178006141267475,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-42533986556089003070633135,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":53718477132370359236130033,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":53718477132370359236131215,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-29101682044001480554351723,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-58203364088002961108702239,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":37171993402889114298756007,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":74343986805778228597513225,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-3006491914974178480024485,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-3006491914974178480023291,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":51097326247421138607467497,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":3193582890463821162966791,
            "denominator":21267647932558653966460912964485513216
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":47068724165011746969901707,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":11767181041252936742475725,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":2664645259927754610768249,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":166540328745484663173089,
            "denominator":21267647932558653966460912964485513216
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":15889473075133854929280293,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":31778946150267709858561173,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-19468314219310477945309781,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-38936628438620955890618383,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":1326565141902952807689253,
            "denominator":10633823966279326983230456482242756608
          },
          "hi":{
            "numerator":42450084540894489846057295,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-12996497954183689767094665,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":-51985991816734759068377467,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":1165861516012905872841437,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":2331723032025811745684069,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-34262854978430087444785625,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-34262854978430087444784425,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-974567608764644118998743,
            "denominator":10633823966279326983230456482242756608
          },
          "hi":{
            "numerator":-1949135217529288237997411,
            "denominator":21267647932558653966460912964485513216
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-123772831397466648602547,
            "denominator":21267647932558653966460912964485513216
          },
          "hi":{
            "numerator":-15471603924683331075309,
            "denominator":2658455991569831745807614120560689152
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-19945721627031074157902859,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-39891443254062148315804537,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":22336314145916391742722285,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":11168157072958195871361735,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-6207342538199872164630913,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":-12414685076399744329261229,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":27242851852141411386736629,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":6810712963035352846684453,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-1548364312628122366885763,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-1548364312628122366884567,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":15753665356817985657596243,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":15753665356817985657597429,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":54400192434793408013459,
            "denominator":1329227995784915872903807060280344576
          },
          "hi":{
            "numerator":1740806157913389056430837,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":917770426965988181674177,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":7170081460671782669339,
            "denominator":2658455991569831745807614120560689152
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":13745372756929750344441067,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":13745372756929750344442257,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-520614014094527424432805,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":-32538375880907964027041,
            "denominator":2658455991569831745807614120560689152
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":2407124281971942361361495,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":75222633811623198792565,
            "denominator":5316911983139663491615228241121378304
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-566239520048080523503823,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-70779940006010065437905,
            "denominator":21267647932558653966460912964485513216
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":44934261004414725332063,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":89868522008829450665307,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":235644146070164170239047,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":235644146070164170239643,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":200080608643206773288805,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":200080608643206773289407,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":4014148219732363398283,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":16056592878929453594331,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":168083376363724516062487,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":42020844090931129015915,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":191937208540695739639337,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":95968604270347869820255,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-115113828239511608306323,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-57556914119755804152869,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":66169591552588673909475,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":66169591552588673910665,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-224755335578397378919,
            "denominator":10633823966279326983230456482242756608
          },
          "hi":{
            "numerator":-3596085369254358062107,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-141164427973031256637101,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-141164427973031256635903,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-114896597725567530493955,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-114896597725567530492737,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-4704556119093547772693,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-2352278059546773885749,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-1153013265226315541539,
            "denominator":10633823966279326983230456482242756608
          },
          "hi":{
            "numerator":-36896424487242097328051,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-75642990905669532792415,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-37821495452834766395611,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":23795063157292632772021,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":95180252629170531089273,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-6432382525291008598681,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":-12864765050582017196765,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":3504841379257919996377,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":876210344814479999393,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":65445601601223632481313,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":8180700200152954060311,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":50247890331199242280487,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":50247890331199242281679,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":1477552041292014938515,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":369388010323003734773,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":4655379162558965966143,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":581922395319870745805,
            "denominator":10633823966279326983230456482242756608
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":33613778055202378734545,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":16806889027601189367857,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-22636588282328968057355,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-45273176564657936113529,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":7290477791549771180771,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":7290477791549771181369,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-1236836059348239782251,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-2473672118696479563341,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-3756616754400055963813,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":-15026467017600223854663,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-10626515990008370312751,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-21253031980016740624343,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-530014700113278670515,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":-2120058800453114680881,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-10707757745414956371525,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-1338469718176869546293,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-12928986706045252241609,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-12928986706045252240419,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":74878113811737947295,
            "denominator":1329227995784915872903807060280344576
          },
          "hi":{
            "numerator":9584398567902457254369,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-7631605491301262261997,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-953950686412657782603,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":12939931548653817475,
            "denominator":2658455991569831745807614120560689152
          },
          "hi":{
            "numerator":1656311238227688637975,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":1451466715621489303403,
            "denominator":42535295865117307932921825928971026432
          },
          "hi":{
            "numerator":11611733724971914428419,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":7314559576226276413645,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":7314559576226276414847,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":1279098850727521134309,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":639549425363760567743,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":311745159522116505423,
            "denominator":21267647932558653966460912964485513216
          },
          "hi":{
            "numerator":1246980638088466021987,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":4051639999910085982161,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":4051639999910085983363,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-3418970739874379298287,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-3418970739874379297695,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":3319452435010494240529,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":414931554376311780213,
            "denominator":42535295865117307932921825928971026432
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-937244417725350396395,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-937244417725350395217,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-1815930720262453975223,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-1815930720262453974641,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-981527417989497093543,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":-1963054835978994185923,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-645666990054232085019,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-645666990054232083799,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-488188429540508584205,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":-1952753718162034335645,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-867319377642239135917,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-867319377642239134733,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":868558918076249912833,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":1737117836152499826857,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":-1071255865075148748951,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-1071255865075148747753,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":196583850655786726129,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":393167701311573453427,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":163237022235710653331,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":326474044471421307247,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":72189508466306078467,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":144379016932612157537,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":200701843030643254159,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":50175460757660813837,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":474782383183942915939,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":118695595795985729279,
            "denominator":85070591730234615865843651857942052864
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":29051129874392505959,
            "denominator":170141183460469231731687303715884105728
          },
          "hi":{
            "numerator":29051129874392506549,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-145516024378822069985,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-145516024378822068809,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":141805797406236552471,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":141805797406236553661,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":-67379494393754068363,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":-67379494393754067175,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ],
      [
        {
          "lo":{
            "numerator":3714098009745564285,
            "denominator":85070591730234615865843651857942052864
          },
          "hi":{
            "numerator":14856392038982258337,
            "denominator":340282366920938463463374607431768211456
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        },
        {
          "lo":{
            "numerator":4595209263251731153,
            "denominator":340282366920938463463374607431768211456
          },
          "hi":{
            "numerator":2297604631625866183,
            "denominator":170141183460469231731687303715884105728
          }
        },
        {
          "lo":{
            "numerator":0,
            "denominator":1
          },
          "hi":{
            "numerator":0,
            "denominator":1
          }
        }
      ]
    ],
    "arithmetic_error_upper_bound":{
      "numerator":1,
      "denominator":18446744073709551616
    },
    "quadrature_norm_bounds":{
      "lo":{
        "numerator":219365382000624230750161663,
        "denominator":170141183460469231731687303715884105728
      },
      "hi":{
        "numerator":54841345500173702732024755,
        "denominator":42535295865117307932921825928971026432
      }
    },
    "numerical_error_upper_bound":{
      "numerator":113228966652852505240647961067682102210980923782749464448704217477233517823689671817773906428712010016031658820379906264792649636964127680037203952019515877062949726113895827925087088744560327554938227344767962664658137795603304398588403125701487096549972080995720272852683431898333395540131248614187869168592395702045043108250409943294336438225196908825429567479721694326265328791440796541070491340594124933549885007707601907186559502757597493137049309805679876250998534479546185391091033447276798356237309809548984078024214022431671396665971245402300294363296921352666857788669226595603308313936480663706457082848937486041348668253259543101485681325095134811336737422365865288995130994286478204534236682745331747256177487905466072616703375038642085594437767355479134561533177488037184981990853585491887937700543996710296419403305521355703942600647060832100218757442987512184521296405835663467336654865970207288335285981333428317018128699966766320086228765936190068466876479105265190298765620428338702447484201250183058000500557911704744912103884893192802938772103124894857059902385257914041946017808219933962871331500285997836928481398008948814985324520892615003585169100988502150428305628302031032173107988603836884368625904794309180594976959732382550176664648573867275326242811532046606555145226022778441980077846075453222441709490600462083708053187140562025495709950257435024327228687353121134836328998594577751869442066610297727483960184939075689275353115166852464975771827965734946873600466506388659474397587617888352461937532853160471639349668284653303702869107187952236510165003693984953291965880986861894802635520459214379089055223119807236518615572109238397019230151699997772364103775299032483115854800071655431655837441936903929502931843555611014916002611550870281654831064613918277611185908727968885292078627901003629979773408056571587706892723962716346948984882305361911714424916304364182875782041037170634509439019689790004910194372176472654982287370714113979886068843319837594999992539494926793016275054860979082841751504388378182837,
      "denominator":244065869113035755389357406246608271474372443291542930016853543273885859611967419588332650837204145881719168907215572960685045245468013601604880299191400795389524690834614331741870508034638944961205783642397041516230879605049709799117712562372727850541437438397626385783994046964451762263022484755641155883653549476957804939705041737960648413313232732790926913125845429453413982147046101015116321535997894176196526019879822188673095165077766433177880117831440617209132033380414928312173050842872161453748718862403648788508918614063955794291926057952456377291296095536888732954226029156134128389170504560752828218053284484360103547330334119129151573866989273353401860981773138014389765471884000398979953075733271760587058457299221350226925586029943584365455202871924396994013327890952046195203060404263914001619427697672536320778785052264053945186363196385667444087541751904772894395221316693157765926140552889063608637328954182153917681889240807741771144740096228093678312955666888972698074656398612261943159420000400034159193513051847681232799167070807215722517494178368970255167607976378710070292785342118683865665342280980123791643164998293426973974444604440653252994331715512020761614958052113058078402138340766844487550615903654253063972131998850604221687528377699297136081804311101320277716408118252190102555791267100737434837806646826907141587065435520943461746178832459072411373389821296555851416738610735353870799363562823842101462163045481314703595495184406612983189017935574363597349605300860322970366388264062367793474404444798313089969956851614755976097268796547496446673569400715564313717768406166640827729858445201335155324253712719054086908854462652410848141517442728525855153325013192940529609925986287970208565904298293857873262741037490430879429880657829668078641246760091462541809793480372140717503136204069015093950857752622738921064652252732324683185358027273620362119698018833628710006771472826746941298943859858538065729848869951908979960094177023572376513424332952778349687347112574976000000000000000000000000000000000000000000000000000000
    },
    "cubic_norm_bounds":{
      "lo":{
        "numerator":219286457981677981584454243,
        "denominator":170141183460469231731687303715884105728
      },
      "hi":{
        "numerator":27430538252455132511725805,
        "denominator":21267647932558653966460912964485513216
      }
    },
    "nominal_defect_norm_bounds":{
      "lo":{
        "numerator":437164071860972842095008283,
        "denominator":340282366920938463463374607431768211456
      },
      "hi":{
        "numerator":440297456141665241261513083,
        "denominator":340282366920938463463374607431768211456
      }
    },
    "uniform_defect_norm_bounds":{
      "lo":{
        "numerator":0,
        "denominator":1
      },
      "hi":{
        "numerator":65519125836071815174973557,
        "denominator":10633823966279326983230456482242756608
      }
    },
    "integrand_evaluations":768,
    "numerical_certified":true,
    "nominal_interaction_certified":true,
    "uniform_interaction_certified":false,
    "status":"evaluated",
    "unavailable_reasons":[],
    "method":"actual_tangent_spectral_gauss_dyadic128_v1",
    "scope":[
      "same_prepared_mobile_pair_positive_loss_complete_law_and_structural_clock",
      "joint_source_is_exact_sum_of_the_same_two_primitive_single_sources",
      "actual_damped_tangent_cubic_Duhamel_integral_not_nonlinear_trajectory",
      "finite_Fourier_support_is_exact_for_the_cubic_proxy_not_a_nonlinear_truncation",
      "deterministic_panel_selection_uses_only_prior_derivative_and_error_bounds",
      "full_state_superposition_defect_is_not_intensity_interference",
      "nominal_and_uniform_shared_source_verdicts_have_separate_error_budgets",
      "no_new_organization_formation_or_physical_identification"
    ]
  },
  "imported_sources_at_completion":{
    "tnfr._exact_time":"src/tnfr/_exact_time.py",
    "tnfr.errors.contextual":"src/tnfr/errors/contextual.py",
    "tnfr.errors":"src/tnfr/errors/__init__.py",
    "tnfr.types":"src/tnfr/types.py",
    "tnfr.locking":"src/tnfr/locking.py",
    "tnfr.utils.init":"src/tnfr/utils/init.py",
    "tnfr.security.database":"src/tnfr/security/database.py",
    "tnfr.security.subprocess":"src/tnfr/security/subprocess.py",
    "tnfr._coherence_validation":"src/tnfr/_coherence_validation.py",
    "tnfr.security.validation":"src/tnfr/security/validation.py",
    "tnfr.security":"src/tnfr/security/__init__.py",
    "tnfr.security.crypto":"src/tnfr/security/crypto.py",
    "tnfr.utils.cache_layers":"src/tnfr/utils/cache_layers.py",
    "tnfr.utils.graph":"src/tnfr/utils/graph.py",
    "tnfr.utils.unified_cache":"src/tnfr/utils/unified_cache.py",
    "tnfr.utils.cache":"src/tnfr/utils/cache.py",
    "tnfr.constants.canonical":"src/tnfr/constants/canonical.py",
    "tnfr.constants.operational":"src/tnfr/constants/operational.py",
    "tnfr.config.physics_derivation":"src/tnfr/config/physics_derivation.py",
    "tnfr.config.defaults_core":"src/tnfr/config/defaults_core.py",
    "tnfr.config.defaults_init":"src/tnfr/config/defaults_init.py",
    "tnfr.config.defaults_metric":"src/tnfr/config/defaults_metric.py",
    "tnfr.config.defaults":"src/tnfr/config/defaults.py",
    "tnfr.config.parsing":"src/tnfr/config/parsing.py",
    "tnfr.config.feature_flags":"src/tnfr/config/feature_flags.py",
    "tnfr.utils.io":"src/tnfr/utils/io.py",
    "tnfr.config.init":"src/tnfr/config/init.py",
    "tnfr.config.precision_modes":"src/tnfr/config/precision_modes.py",
    "tnfr.config.thresholds":"src/tnfr/config/thresholds.py",
    "tnfr.immutable":"src/tnfr/immutable.py",
    "tnfr.config.tnfr_config":"src/tnfr/config/tnfr_config.py",
    "tnfr.config":"src/tnfr/config/__init__.py",
    "tnfr.constants":"src/tnfr/constants/__init__.py",
    "tnfr.utils.numeric":"src/tnfr/utils/numeric.py",
    "tnfr.utils.data":"src/tnfr/utils/data.py",
    "tnfr.utils.callbacks":"src/tnfr/utils/callbacks.py",
    "tnfr.utils.chunks":"src/tnfr/utils/chunks.py",
    "tnfr.core.container":"src/tnfr/core/container.py",
    "tnfr.core.interfaces":"src/tnfr/core/interfaces.py",
    "tnfr.core":"src/tnfr/core/__init__.py",
    "tnfr.core.exceptions":"src/tnfr/core/exceptions.py",
    "tnfr.mathematics.backend":"src/tnfr/mathematics/backend.py",
    "tnfr.mathematics._complex_admission":"src/tnfr/mathematics/_complex_admission.py",
    "tnfr.mathematics._integer_admission":"src/tnfr/mathematics/_integer_admission.py",
    "tnfr.mathematics.cayley":"src/tnfr/mathematics/cayley.py",
    "tnfr.mathematics.unified_numerical":"src/tnfr/mathematics/unified_numerical.py",
    "tnfr.mathematics._complex_arrays":"src/tnfr/mathematics/_complex_arrays.py",
    "tnfr._spectral_expectation":"src/tnfr/_spectral_expectation.py",
    "tnfr.mathematics.epi":"src/tnfr/mathematics/epi.py",
    "tnfr.mathematics.spaces":"src/tnfr/mathematics/spaces.py",
    "tnfr.mathematics.dynamics":"src/tnfr/mathematics/dynamics.py",
    "tnfr.mathematics.generators":"src/tnfr/mathematics/generators.py",
    "tnfr.mathematics.liouville":"src/tnfr/mathematics/liouville.py",
    "tnfr.mathematics.operators":"src/tnfr/mathematics/operators.py",
    "tnfr.mathematics.metrics":"src/tnfr/mathematics/metrics.py",
    "tnfr.mathematics.unified_cache":"src/tnfr/mathematics/unified_cache.py",
    "tnfr.physics":"src/tnfr/physics/__init__.py",
    "tnfr.constants.aliases":"src/tnfr/constants/aliases.py",
    "tnfr.physics._helpers":"src/tnfr/physics/_helpers.py",
    "tnfr.physics._edge_semantics":"src/tnfr/physics/_edge_semantics.py",
    "tnfr.physics._potential_kernel":"src/tnfr/physics/_potential_kernel.py",
    "tnfr._binary64":"src/tnfr/_binary64.py",
    "tnfr.mathematics._exact_weighted":"src/tnfr/mathematics/_exact_weighted.py",
    "tnfr.mathematics.phasor_resultant":"src/tnfr/mathematics/phasor_resultant.py",
    "tnfr.physics.phase_curvature":"src/tnfr/physics/phase_curvature.py",
    "tnfr.mathematics._weight_normalization":"src/tnfr/mathematics/_weight_normalization.py",
    "tnfr.mathematics._neighbor_differences":"src/tnfr/mathematics/_neighbor_differences.py",
    "tnfr.physics.vectorized_ops":"src/tnfr/physics/vectorized_ops.py",
    "tnfr.physics.canonical":"src/tnfr/physics/canonical.py",
    "tnfr.alias":"src/tnfr/alias.py",
    "tnfr.metrics.common":"src/tnfr/metrics/common.py",
    "tnfr.physics.extended":"src/tnfr/physics/extended.py",
    "tnfr.physics.telemetry":"src/tnfr/physics/telemetry.py",
    "tnfr._runtime_steps":"src/tnfr/_runtime_steps.py",
    "tnfr.glyph_runtime":"src/tnfr/glyph_runtime.py",
    "tnfr.glyph_history":"src/tnfr/glyph_history.py",
    "tnfr.rng":"src/tnfr/rng.py",
    "tnfr.config.operator_names":"src/tnfr/config/operator_names.py",
    "tnfr.operators._argument_validation":"src/tnfr/operators/_argument_validation.py",
    "tnfr.mathematics._phase_midpoint":"src/tnfr/mathematics/_phase_midpoint.py",
    "tnfr.metrics.trig":"src/tnfr/metrics/trig.py",
    "tnfr.operators._coherence_stage_kernel":"src/tnfr/operators/_coherence_stage_kernel.py",
    "tnfr.operators._phase_gate":"src/tnfr/operators/_phase_gate.py",
    "tnfr.operators._epi_domain":"src/tnfr/operators/_epi_domain.py",
    "tnfr.operators.registry":"src/tnfr/operators/registry.py",
    "tnfr.operators.definitions_base":"src/tnfr/operators/definitions_base.py",
    "tnfr.operators.factor_contracts":"src/tnfr/operators/factor_contracts.py",
    "tnfr.operators.coherence":"src/tnfr/operators/coherence.py",
    "tnfr.operators.contraction":"src/tnfr/operators/contraction.py",
    "tnfr.operators.coupling":"src/tnfr/operators/coupling.py",
    "tnfr.operators.dissonance":"src/tnfr/operators/dissonance.py",
    "tnfr.operators.emission":"src/tnfr/operators/emission.py",
    "tnfr.operators.expansion":"src/tnfr/operators/expansion.py",
    "tnfr.validation.base":"src/tnfr/validation/base.py",
    "tnfr.validation.compatibility":"src/tnfr/validation/compatibility.py",
    "tnfr.physics.fields":"src/tnfr/physics/fields.py",
    "tnfr.mathematics.number_theory":"src/tnfr/mathematics/number_theory.py",
    "tnfr.mathematics.operators_factory":"src/tnfr/mathematics/operators_factory.py",
    "tnfr.mathematics.projection":"src/tnfr/mathematics/projection.py",
    "tnfr.mathematics.runtime":"src/tnfr/mathematics/runtime.py",
    "tnfr.mathematics.transforms":"src/tnfr/mathematics/transforms.py",
    "tnfr._version":"src/tnfr/_version.py",
    "tnfr.math.symbolic":"src/tnfr/math/symbolic.py",
    "tnfr.math":"src/tnfr/math/__init__.py",
    "tnfr.mathematics":"src/tnfr/mathematics/__init__.py",
    "tnfr.utils.topology":"src/tnfr/utils/topology.py",
    "tnfr.utils":"src/tnfr/utils/__init__.py",
    "tnfr.metrics.cache_utils":"src/tnfr/metrics/cache_utils.py",
    "tnfr.config.selector_thresholds":"src/tnfr/config/selector_thresholds.py",
    "tnfr.config.constants":"src/tnfr/config/constants.py",
    "tnfr.metrics.trig_cache":"src/tnfr/metrics/trig_cache.py",
    "tnfr.gamma":"src/tnfr/gamma.py",
    "tnfr.telemetry.cache_metrics":"src/tnfr/telemetry/cache_metrics.py",
    "tnfr.units":"src/tnfr/units.py",
    "tnfr.telemetry.nu_f":"src/tnfr/telemetry/nu_f.py",
    "tnfr.operators.grammar_types":"src/tnfr/operators/grammar_types.py",
    "tnfr.operators.grammar_canon":"src/tnfr/operators/grammar_canon.py",
    "tnfr.operators.grammar_debt":"src/tnfr/operators/grammar_debt.py",
    "tnfr.operators.grammar_telemetry":"src/tnfr/operators/grammar_telemetry.py",
    "tnfr.operators.grammar_core":"src/tnfr/operators/grammar_core.py",
    "tnfr.operators.grammar_error_factory":"src/tnfr/operators/grammar_error_factory.py",
    "tnfr.operators.operator_contracts":"src/tnfr/operators/operator_contracts.py",
    "tnfr.operators.introspection":"src/tnfr/operators/introspection.py",
    "tnfr.operators.mutation":"src/tnfr/operators/mutation.py",
    "tnfr.utils._structural_signature":"src/tnfr/utils/_structural_signature.py",
    "tnfr.operators._neighbor_epi_kernel":"src/tnfr/operators/_neighbor_epi_kernel.py",
    "tnfr.operators._reception_kernel":"src/tnfr/operators/_reception_kernel.py",
    "tnfr.operators.reception":"src/tnfr/operators/reception.py",
    "tnfr.operators.recursivity":"src/tnfr/operators/recursivity.py",
    "tnfr.operators.resonance":"src/tnfr/operators/resonance.py",
    "tnfr.operators._thol_config":"src/tnfr/operators/_thol_config.py",
    "tnfr.operators._thol_constants":"src/tnfr/operators/_thol_constants.py",
    "tnfr.operators._thol_pressure":"src/tnfr/operators/_thol_pressure.py",
    "tnfr.physics.mutation_trigger":"src/tnfr/physics/mutation_trigger.py",
    "tnfr.operators._recursivity_stage_kernel":"src/tnfr/operators/_recursivity_stage_kernel.py",
    "tnfr.operators._resonance_identity":"src/tnfr/operators/_resonance_identity.py",
    "tnfr.operators.network_stage":"src/tnfr/operators/network_stage.py",
    "tnfr.operators.metrics_core":"src/tnfr/operators/metrics_core.py",
    "tnfr.operators._mutation_gate":"src/tnfr/operators/_mutation_gate.py",
    "tnfr.operators.preconditions.mutation":"src/tnfr/operators/preconditions/mutation.py",
    "tnfr.operators.preconditions":"src/tnfr/operators/preconditions/__init__.py",
    "tnfr.operators.preconditions.self_organization":"src/tnfr/operators/preconditions/self_organization.py",
    "tnfr.operators.self_organization":"src/tnfr/operators/self_organization.py",
    "tnfr.operators.silence":"src/tnfr/operators/silence.py",
    "tnfr.operators.transition":"src/tnfr/operators/transition.py",
    "tnfr.operators.definitions":"src/tnfr/operators/definitions.py",
    "tnfr.operators._mutation_stage_kernel":"src/tnfr/operators/_mutation_stage_kernel.py",
    "tnfr.dynamics.structural_clip":"src/tnfr/dynamics/structural_clip.py",
    "tnfr.operators._scale_operator_kernel":"src/tnfr/operators/_scale_operator_kernel.py",
    "tnfr._remesh_contract":"src/tnfr/_remesh_contract.py",
    "tnfr.operators._delayed_remesh_kernel":"src/tnfr/operators/_delayed_remesh_kernel.py",
    "tnfr.dynamics._euler_kernel":"src/tnfr/dynamics/_euler_kernel.py",
    "tnfr.dynamics.integrators":"src/tnfr/dynamics/integrators.py",
    "tnfr.physics._exact_metric":"src/tnfr/physics/_exact_metric.py",
    "tnfr.operators.event_timing":"src/tnfr/operators/event_timing.py",
    "tnfr.operators.event_runtime":"src/tnfr/operators/event_runtime.py",
    "tnfr.operators.remesh":"src/tnfr/operators/remesh.py",
    "tnfr.operators.event_remesh_runtime":"src/tnfr/operators/event_remesh_runtime.py",
    "tnfr.operators.event_remesh_sequence":"src/tnfr/operators/event_remesh_sequence.py",
    "tnfr.operators.event_remesh_causal_runtime":"src/tnfr/operators/event_remesh_causal_runtime.py",
    "tnfr.operators.jitter":"src/tnfr/operators/jitter.py",
    "tnfr.dynamics.canonical":"src/tnfr/dynamics/canonical.py",
    "tnfr.dynamics.fused_dnfr":"src/tnfr/dynamics/fused_dnfr.py",
    "tnfr.dynamics.dnfr":"src/tnfr/dynamics/dnfr.py",
    "tnfr.physics._cycle_algebra":"src/tnfr/physics/_cycle_algebra.py",
    "tnfr.physics._conductance":"src/tnfr/physics/_conductance.py",
    "tnfr.mathematics._exact_linear_algebra":"src/tnfr/mathematics/_exact_linear_algebra.py",
    "tnfr.physics._exact_linear_algebra":"src/tnfr/physics/_exact_linear_algebra.py",
    "tnfr.physics.structural_diffusion":"src/tnfr/physics/structural_diffusion.py",
    "tnfr.physics.support_transport":"src/tnfr/physics/support_transport.py",
    "tnfr.physics.forcing_realization":"src/tnfr/physics/forcing_realization.py",
    "tnfr.physics.binary64_nodal_flow":"src/tnfr/physics/binary64_nodal_flow.py",
    "tnfr.physics.nodal_remainder":"src/tnfr/physics/nodal_remainder.py",
    "tnfr.physics.spectral_projectors":"src/tnfr/physics/spectral_projectors.py",
    "tnfr.physics.directed_diffusion":"src/tnfr/physics/directed_diffusion.py",
    "tnfr.physics.hybrid_operator_stability":"src/tnfr/physics/hybrid_operator_stability.py",
    "tnfr.physics.runtime_flow_stability":"src/tnfr/physics/runtime_flow_stability.py",
    "tnfr.operators.word_execution":"src/tnfr/operators/word_execution.py",
    "tnfr.operators.nodal_remainder_runtime":"src/tnfr/operators/nodal_remainder_runtime.py",
    "tnfr.operators.grammar_context":"src/tnfr/operators/grammar_context.py",
    "tnfr.operators.grammar_patterns":"src/tnfr/operators/grammar_patterns.py",
    "tnfr.operators.grammar_application":"src/tnfr/operators/grammar_application.py",
    "tnfr.operators.grammar_dynamics":"src/tnfr/operators/grammar_dynamics.py",
    "tnfr.operators.grammar_u6":"src/tnfr/operators/grammar_u6.py",
    "tnfr.operators.grammar_validate":"src/tnfr/operators/grammar_validate.py",
    "tnfr.operators.grammar":"src/tnfr/operators/grammar.py",
    "tnfr.operators.grammar_evidence":"src/tnfr/operators/grammar_evidence.py",
    "tnfr.operators.grammar_memoization":"src/tnfr/operators/grammar_memoization.py",
    "tnfr.operators.grammar_observations":"src/tnfr/operators/grammar_observations.py",
    "tnfr.operators.hamiltonian":"src/tnfr/operators/hamiltonian.py",
    "tnfr.operators._diagnostic_scores":"src/tnfr/operators/_diagnostic_scores.py",
    "tnfr.operators.health_analyzer":"src/tnfr/operators/health_analyzer.py",
    "tnfr.operators.pattern_detection":"src/tnfr/operators/pattern_detection.py",
    "tnfr.operators.nodal_equation":"src/tnfr/operators/nodal_equation.py",
    "tnfr.operators.self_organization_selection":"src/tnfr/operators/self_organization_selection.py",
    "tnfr.operators":"src/tnfr/operators/__init__.py",
    "tnfr.validation.invariants":"src/tnfr/validation/invariants.py",
    "tnfr.validation.config":"src/tnfr/validation/config.py",
    "tnfr.validation.graph":"src/tnfr/validation/graph.py",
    "tnfr.validation.unified_validation_system":"src/tnfr/validation/unified_validation_system.py",
    "tnfr.validation.input_validation":"src/tnfr/validation/input_validation.py",
    "tnfr.validation.interface_baselines":"src/tnfr/validation/interface_baselines.py",
    "tnfr.validation.multichannel_interface":"src/tnfr/validation/multichannel_interface.py",
    "tnfr.validation.nodal_prediction":"src/tnfr/validation/nodal_prediction.py",
    "tnfr.physics.reversible_eigenmode_reference":"src/tnfr/physics/reversible_eigenmode_reference.py",
    "tnfr.physics.p2_transport_reference":"src/tnfr/physics/p2_transport_reference.py",
    "tnfr.validation.p2_transport":"src/tnfr/validation/p2_transport.py",
    "tnfr.validation.phase_gate":"src/tnfr/validation/phase_gate.py",
    "tnfr.validation.rules":"src/tnfr/validation/rules.py",
    "tnfr.validation.runtime":"src/tnfr/validation/runtime.py",
    "tnfr.validation.sequence_validator":"src/tnfr/validation/sequence_validator.py",
    "tnfr.validation.signal_confrontation":"src/tnfr/validation/signal_confrontation.py",
    "tnfr.validation.soft_filters":"src/tnfr/validation/soft_filters.py",
    "tnfr.validation.structural_interface":"src/tnfr/validation/structural_interface.py",
    "tnfr.validation.temporal_interface":"src/tnfr/validation/temporal_interface.py",
    "tnfr.validation.validator":"src/tnfr/validation/validator.py",
    "tnfr.validation.window":"src/tnfr/validation/window.py",
    "tnfr.validation":"src/tnfr/validation/__init__.py",
    "tnfr.telemetry.unified_telemetry_system":"src/tnfr/telemetry/unified_telemetry_system.py",
    "tnfr.telemetry.verbosity":"src/tnfr/telemetry/verbosity.py",
    "tnfr.telemetry":"src/tnfr/telemetry/__init__.py",
    "tnfr.observers":"src/tnfr/observers.py",
    "tnfr.sense":"src/tnfr/sense.py",
    "tnfr.metrics.capacity_rates":"src/tnfr/metrics/capacity_rates.py",
    "tnfr.metrics.coherence":"src/tnfr/metrics/coherence.py",
    "tnfr.metrics.diagnosis":"src/tnfr/metrics/diagnosis.py",
    "tnfr.metrics.glyph_timing":"src/tnfr/metrics/glyph_timing.py",
    "tnfr.metrics.reporting":"src/tnfr/metrics/reporting.py",
    "tnfr.metrics.core":"src/tnfr/metrics/core.py",
    "tnfr.metrics.emergence":"src/tnfr/metrics/emergence.py",
    "tnfr.metrics.export":"src/tnfr/metrics/export.py",
    "tnfr.metrics.learning_metrics":"src/tnfr/metrics/learning_metrics.py",
    "tnfr.metrics.observations":"src/tnfr/metrics/observations.py",
    "tnfr.metrics.phase_compatibility":"src/tnfr/metrics/phase_compatibility.py",
    "tnfr.metrics.buffer_cache":"src/tnfr/metrics/buffer_cache.py",
    "tnfr.metrics.sense_index":"src/tnfr/metrics/sense_index.py",
    "tnfr.metrics.telemetry":"src/tnfr/metrics/telemetry.py",
    "tnfr.metrics.tetrad":"src/tnfr/metrics/tetrad.py",
    "tnfr.metrics":"src/tnfr/metrics/__init__.py",
    "tnfr.dynamics.coordination":"src/tnfr/dynamics/coordination.py",
    "tnfr.dynamics.metabolism":"src/tnfr/dynamics/metabolism.py",
    "tnfr.dynamics.aliases":"src/tnfr/dynamics/aliases.py",
    "tnfr.dynamics.adaptation":"src/tnfr/dynamics/adaptation.py",
    "tnfr.dynamics.adaptive_sequences":"src/tnfr/dynamics/adaptive_sequences.py",
    "tnfr.dynamics.bifurcation":"src/tnfr/dynamics/bifurcation.py",
    "tnfr.metrics.local_coherence":"src/tnfr/metrics/local_coherence.py",
    "tnfr.dynamics.feedback":"src/tnfr/dynamics/feedback.py",
    "tnfr.dynamics.homeostasis":"src/tnfr/dynamics/homeostasis.py",
    "tnfr.validation.spectral":"src/tnfr/validation/spectral.py",
    "tnfr.structural":"src/tnfr/structural.py",
    "tnfr.dynamics.learning":"src/tnfr/dynamics/learning.py",
    "tnfr.dynamics.propagation":"src/tnfr/dynamics/propagation.py",
    "tnfr.selector":"src/tnfr/selector.py",
    "tnfr.dynamics.selectors":"src/tnfr/dynamics/selectors.py",
    "tnfr.dynamics.remesh_history":"src/tnfr/dynamics/remesh_history.py",
    "tnfr.dynamics.sampling":"src/tnfr/dynamics/sampling.py",
    "tnfr.dynamics.runtime":"src/tnfr/dynamics/runtime.py",
    "tnfr.dynamics":"src/tnfr/dynamics/__init__.py",
    "tnfr.initialization":"src/tnfr/initialization.py",
    "tnfr.ontosim":"src/tnfr/ontosim.py",
    "tnfr":"src/tnfr/__init__.py",
    "tnfr.research.certificates":"src/tnfr/research/certificates.py",
    "tnfr.research.circularity":"src/tnfr/research/circularity.py",
    "tnfr.research.claims":"src/tnfr/research/claims.py",
    "tnfr.research.manifests":"src/tnfr/research/manifests.py",
    "tnfr.research.core_manifests":"src/tnfr/research/core_manifests.py",
    "tnfr.research.artifact_io":"src/tnfr/research/artifact_io.py",
    "tnfr.research.evidence_sidecar":"src/tnfr/research/evidence_sidecar.py",
    "tnfr.research":"src/tnfr/research/__init__.py",
    "tnfr.mathematics._phase_resultant_chamber":"src/tnfr/mathematics/_phase_resultant_chamber.py",
    "tnfr.mathematics._rational_interval":"src/tnfr/mathematics/_rational_interval.py",
    "tnfr.dynamics.relational":"src/tnfr/dynamics/relational.py",
    "tnfr.mathematics._gauss_legendre":"src/tnfr/mathematics/_gauss_legendre.py",
    "tnfr.physics.winding_certificates":"src/tnfr/physics/winding_certificates.py",
    "tnfr.physics.relational_observations":"src/tnfr/physics/relational_observations.py",
    "tnfr.physics._sine_admission":"src/tnfr/physics/_sine_admission.py",
    "tnfr.physics._localized_identity_transport":"src/tnfr/physics/_localized_identity_transport.py",
    "tnfr.physics._localized_mobile_interaction":"src/tnfr/physics/_localized_mobile_interaction.py",
    "tnfr.physics._localized_mobile_spectral":"src/tnfr/physics/_localized_mobile_spectral.py",
    "tnfr.physics._localized_mobile_response":"src/tnfr/physics/_localized_mobile_response.py"
  },
  "source_or_execution_authenticated":false
}