Recorded data and provenance for the associated calculation.
| experiment_key | continuous-count-source-projection-full-spatial-index |
|---|---|
| created_utc | 2026-10-12T13:20:49.847011+00:00 |
| evaluations | 164 |
| interval_decimal_precision | 85 |
View complete data
{
"experiment_key": "continuous-count-source-projection-full-spatial-index",
"created_utc": "2026-10-12T13:20:49.847011+00:00",
"sources": {
"experiments/continuous-count-source-index.py": "e5272813afba1d3f77c1fe7816e6a74b89ddede617d346e562aabd60a0149547"
},
"evaluations": 164,
"conditions": {
"same exact source norm bound retains the remote negative gap at every assignment": 14,
"all positive-Dirac branches lie strictly above minus the count clock": 2,
"the complete positive source cannot move a negative branch into the count gap": 2,
"source projection is a genuine positive lower operator": 2,
"the original source direction has exact unit spatial norm": 2,
"interval Gaussian pivot excludes zero": 78,
"recorded rational congruence matrix is rigorously invertible": 2,
"interval signed row dominance certifies the exact inertia": 56,
"full-operator gyro pole count exceeds the certified possible nonpositive real directions": 2,
"exact polynomial degrees make the source projection vanish beyond the stated finite support": 4
},
"occupied_assignment_controls": [
{
"particle": "W",
"depth": 2,
"index": 76,
"positive_branch_above_minus_clock": true,
"exact_positive_branch_margin": "769500672017/139539825",
"exact_negative_branch_margin": "245286133/435480",
"certificate_status": "evaluated separately; applicability is not itself an instability proof"
},
{
"particle": "Z",
"depth": 2,
"index": 81,
"positive_branch_above_minus_clock": true,
"exact_positive_branch_margin": "922756591612/148660075",
"exact_negative_branch_margin": "28535527/51570",
"certificate_status": "evaluated separately; applicability is not itself an instability proof"
},
{
"particle": "Higgs",
"depth": 2,
"index": 95,
"positive_branch_above_minus_clock": true,
"exact_positive_branch_margin": "302782272/36481",
"exact_negative_branch_margin": "284270789/544350",
"certificate_status": "evaluated separately; applicability is not itself an instability proof"
},
{
"particle": "down",
"depth": 3,
"index": 1,
"positive_branch_above_minus_clock": true,
"exact_positive_branch_margin": "1231209/376475",
"exact_negative_branch_margin": "545863/13320",
"certificate_status": "evaluated separately; applicability is not itself an instability proof"
},
{
"particle": "strange",
"depth": 3,
"index": 4,
"positive_branch_above_minus_clock": true,
"exact_positive_branch_margin": "14022/1369",
"exact_negative_branch_margin": "106489/8325",
"certificate_status": "evaluated separately; applicability is not itself an instability proof"
},
{
"particle": "up",
"depth": 4,
"index": 3,
"positive_branch_above_minus_clock": true,
"exact_positive_branch_margin": "6443596549868/1330742770819",
"exact_negative_branch_margin": "14007818477831/314932310",
"certificate_status": "evaluated separately; applicability is not itself an instability proof"
},
{
"particle": "charm",
"depth": 4,
"index": 20,
"positive_branch_above_minus_clock": true,
"exact_positive_branch_margin": "3107533461293/234168484487",
"exact_negative_branch_margin": "294111316531141/154001899590",
"certificate_status": "evaluated separately; applicability is not itself an instability proof"
},
{
"particle": "top",
"depth": 4,
"index": 72,
"positive_branch_above_minus_clock": false,
"exact_positive_branch_margin": "-5759738627325/70039093201",
"exact_negative_branch_margin": "724495010600561/6261603279470",
"certificate_status": "evaluated separately; applicability is not itself an instability proof"
},
{
"particle": "nu1-comparison",
"depth": 5,
"index": 10,
"positive_branch_above_minus_clock": false,
"exact_positive_branch_margin": "-74114692158446142/4320013174517701",
"exact_negative_branch_margin": "390989398907273/1216951809750",
"certificate_status": "evaluated separately; applicability is not itself an instability proof"
},
{
"particle": "nu2-comparison",
"depth": 5,
"index": 15,
"positive_branch_above_minus_clock": false,
"exact_positive_branch_margin": "-509016770933849398/11723658935723759",
"exact_negative_branch_margin": "733246640422019/6654093228750",
"certificate_status": "evaluated separately; applicability is not itself an instability proof"
},
{
"particle": "nu3-comparison",
"depth": 5,
"index": 22,
"positive_branch_above_minus_clock": false,
"exact_positive_branch_margin": "-17804842227666/170206578721",
"exact_negative_branch_margin": "530662227740957/20051578514700",
"certificate_status": "evaluated separately; applicability is not itself an instability proof"
},
{
"particle": "electron",
"depth": 6,
"index": 13,
"positive_branch_above_minus_clock": false,
"exact_positive_branch_margin": "-9358876005067006911144/148792053446199749375",
"exact_negative_branch_margin": "681697538003997179/393808571007500",
"certificate_status": "evaluated separately; applicability is not itself an instability proof"
},
{
"particle": "muon",
"depth": 6,
"index": 35,
"positive_branch_above_minus_clock": false,
"exact_positive_branch_margin": "-6148220076760624/13634667025225",
"exact_negative_branch_margin": "4766381379600086/155483731119695",
"certificate_status": "evaluated separately; applicability is not itself an instability proof"
},
{
"particle": "tau",
"depth": 10,
"index": 23,
"positive_branch_above_minus_clock": false,
"exact_positive_branch_margin": "-92211952945883192326976/223310915352532578769",
"exact_negative_branch_margin": "53754370961034115893116/6038569936063061306415",
"certificate_status": "evaluated separately; applicability is not itself an instability proof"
}
],
"certificates": [
{
"depth": 3,
"background_level": 3,
"source_polynomial_degree": 12,
"finite_dirac_cutoff": 17,
"exact_parameters": {
"epsilon": "9/370",
"c": "3/10",
"lam": "15",
"omega": "18/37",
"mass2": "819/4",
"q": "3383/225",
"h": "9/2",
"positive_branch_above_negative_count_gap": "14022/1369",
"negative_branch_gap_lower": "106489/8325"
},
"exact_source_gram": [
[
"1",
"0",
"9/10",
"0",
"7/10",
"0",
"2/5",
"0",
"0",
"0",
"0",
"0",
"0"
],
[
"0",
"19/10",
"0",
"8/5",
"0",
"11/10",
"0",
"2/5",
"0",
"0",
"0",
"0",
"0"
],
[
"9/10",
"0",
"13/5",
"0",
"2",
"0",
"11/10",
"0",
"2/5",
"0",
"0",
"0",
"0"
],
[
"0",
"8/5",
"0",
"3",
"0",
"2",
"0",
"11/10",
"0",
"2/5",
"0",
"0",
"0"
],
[
"7/10",
"0",
"2",
"0",
"3",
"0",
"2",
"0",
"11/10",
"0",
"2/5",
"0",
"0"
],
[
"0",
"11/10",
"0",
"2",
"0",
"3",
"0",
"2",
"0",
"11/10",
"0",
"2/5",
"0"
],
[
"2/5",
"0",
"11/10",
"0",
"2",
"0",
"3",
"0",
"2",
"0",
"11/10",
"0",
"2/5"
],
[
"0",
"2/5",
"0",
"11/10",
"0",
"2",
"0",
"3",
"0",
"2",
"0",
"11/10",
"0"
],
[
"0",
"0",
"2/5",
"0",
"11/10",
"0",
"2",
"0",
"3",
"0",
"2",
"0",
"11/10"
],
[
"0",
"0",
"0",
"2/5",
"0",
"11/10",
"0",
"2",
"0",
"3",
"0",
"2",
"0"
],
[
"0",
"0",
"0",
"0",
"2/5",
"0",
"11/10",
"0",
"2",
"0",
"3",
"0",
"2"
],
[
"0",
"0",
"0",
"0",
"0",
"2/5",
"0",
"11/10",
"0",
"2",
"0",
"3",
"0"
],
[
"0",
"0",
"0",
"0",
"0",
"0",
"2/5",
"0",
"11/10",
"0",
"2",
"0",
"3"
]
],
"schur_inertia_certificate": {
"negative": 4,
"positive": 31,
"transform_gram_error_upper": "0.000000000000004847579033364346181383438947913318680637628240845828943967441532528930183385862929815018832384602406",
"minimum_signed_margin_lower": "0.196534671125433898626707413376860509660084643314585774737657818858428789855651076353743520340845908",
"rows": [
{
"diagonal_lower": "-0.957869766751550285272753637619484141917258272720824059367770902777070892411130570870641297608611822",
"diagonal_upper": "-0.9578697667515502852727536376194841419172582727208240593677709027770708924111305708650352856713317968",
"off_diagonal_radius_upper": "0.000000000000000605122742488453835469415765883388247889675208486810785377791631687783681574237360965865403103019001",
"sign": -1,
"margin_lower": "0.9578697667515496801500111491656486725014923893325761696925624159662855146194988830813537114339708309"
},
{
"diagonal_lower": "-0.8426201028176006938490456153960740144594041482605724004258210783651594184938213217022653523339086881",
"diagonal_upper": "-0.8426201028176006938490456153960740144594041482605724004258210783651594184938213216969328043935691519",
"off_diagonal_radius_upper": "0.00000000000002176059987301804830005994697072278921567076314239750831678953999770471887378761748859951110585547449",
"sign": -1,
"margin_lower": "0.8426201028175789332491725973477739545124334254713567296626786808568426289538236169780590167760805524"
},
{
"diagonal_lower": "-0.5209767446483622950814666938215379929376075088593421308378118846872495686552729692586970331388064703",
"diagonal_upper": "-0.5209767446483622950814666938215379929376075088593421308378118846872495686552729692576273063272451456",
"off_diagonal_radius_upper": "0.00000000000001545887680276952062097384733960603066218073307878796218453703334656710232818634274732415163742888928",
"sign": -1,
"margin_lower": "0.5209767446483468362046639243009170190902679028286799501047330967250650316219264021552991199844978214"
},
{
"diagonal_lower": "-0.3399895822159635498305890745967635084076005218986439531083193844484792284035480834523626548175119224",
"diagonal_upper": "-0.3399895822159635498305890745967635084076005218986439531083193844484792284035480834214933953981708365",
"off_diagonal_radius_upper": "0.00000000000002980273690237511685045167309281644412839986889523928383850830403619087120378325721318562378208569255",
"sign": -1,
"margin_lower": "0.3399895822159337470936866994799130567345077054545155532394241451646407200995118925502896121409576508"
},
{
"diagonal_lower": "0.1965346711254519069412905895419558845642769304222132736760989291121306418208396274299582328784788942",
"diagonal_upper": "0.1965346711254519069412905895419558845642769304222132736760989291121306418208396274751521799022614794",
"off_diagonal_radius_upper": "0.00000000000001800831458317616509537490419228710762749893844111025370185196518855107621471253763298621470061738739",
"sign": 1,
"margin_lower": "0.196534671125433898626707413376860509660084643314585774737657818858428789855651076353743520340845908"
},
{
"diagonal_lower": "0.707114031917455559522311379453479974335678687982054804214545213181389667162136662609544202228613509",
"diagonal_upper": "0.7071140319174555595223113794534799743356786879820548042145452131813896671621366626112412876213912498",
"off_diagonal_radius_upper": "0.00000000000001776066623180418879118085427320098240961192734931779359295205191849550207011697153718775195772380019",
"sign": 1,
"margin_lower": "0.7071140319174377988560795752646887934814054869996451922871958953877967151102181671074740852570763213"
},
{
"diagonal_lower": "0.8768814319135069724868091593991000943881625978395422789520636075690351390110411520663116412367577932",
"diagonal_upper": "0.8768814319135069724868091593991000943881625978395422789520636075690351390110411521843757003864471627",
"off_diagonal_radius_upper": "0.00000000000001983624502211861303980096021833184423164327585616783505126353045786694642108817028474046766487303071",
"sign": 1,
"margin_lower": "0.8768814319134871362417870407860602934279442659953106356762074397339838754805832851198905530664730527"
},
{
"diagonal_lower": "1.616213073631776218834353300730339164915169153585409673357565772473982341995440547935838626648528945",
"diagonal_upper": "1.61621307363177621883435330073033916491516915358540967335756577247398234199544054795462721185008725",
"off_diagonal_radius_upper": "0.00000000000001840113609371428186267421726634485655610748407615504995513940812773326525061875247635626419972816084",
"sign": 1,
"margin_lower": "1.616213073631757817698259586448476490697902808728853565873489617424027202587312814670588007896052588"
},
{
"diagonal_lower": "1.687751307600420121695062431374062129868191527049050026126500083859775555653409645719983789983145764",
"diagonal_upper": "1.687751307600420121695062431374062129868191527049050026126500083859775555653409645825894787386450458",
"off_diagonal_radius_upper": "0.0000000000000211640995676305465742927275726425550538251475405500430510923173066799515105772800557300715268638283",
"sign": 1,
"margin_lower": "1.687751307600398957595494800827487837140618884493996200978959533816724463336102965768473212703090033"
},
{
"diagonal_lower": "2.688948463308280161805666490259664939349000551815761512475314610814943331445283924521965098287927811",
"diagonal_upper": "2.688948463308280161805666490259664939349000551815761512475314610814943331445283924745111719791366864",
"off_diagonal_radius_upper": "0.00000000000002665229611946840914914690264509532556242108450959615901505256729161177910843296469771502911958805752",
"sign": 1,
"margin_lower": "2.688948463308253509509547021850515792446355456490199091390805014655928278877992312742856665323230096"
},
{
"diagonal_lower": "2.703683060197872392944037706378139111678731715799518086271185822480846623638845261915913432417841854",
"diagonal_upper": "2.703683060197872392944037706378139111678731715799518086271185822480846623638845261944450204804455239",
"off_diagonal_radius_upper": "0.00000000000001104605817764330610221955038184969332407966247371878349437778327332799664680714085374911924131695956",
"sign": 1,
"margin_lower": "2.703683060197861346885860063072036892128349866106194006608712103697352245855571933919266625276988104"
},
{
"diagonal_lower": "3.760513958879980298012894790001929753465508652903329755502066190630920147367935768232209526986567853",
"diagonal_upper": "3.760513958879980298012894790001929753465508652903329755502066190630920147367935768373638671757201948",
"off_diagonal_radius_upper": "0.00000000000002636919681896666463076389593917151268015948085256948005114344807167728077832561947218825431675137047",
"sign": 1,
"margin_lower": "3.760513958879953928816075823337298989569569481390649596021213621150869003919864090951431201367095665"
},
{
"diagonal_lower": "3.99436289084502893542687776456372273459769403817752165691465074147159621106740278959905592546689718",
"diagonal_upper": "3.994362890845028935426877764563722734597694038177521656914650741471596211067402789684859276036342387",
"off_diagonal_radius_upper": "0.00000000000001543035635262236853952279522718627376093093878549878839672304862049561789013427239266756592848000543",
"sign": 1,
"margin_lower": "3.994362890845013505070525142195183211802466851903760725975865242683199488018782293981165791194504512"
},
{
"diagonal_lower": "4.238392524361924647834327878031426263635228283442650349374214922171803109741549010414912801997371884",
"diagonal_upper": "4.238392524361924647834327878031426263635228283442650349374214922171803109741549010533950071253820052",
"off_diagonal_radius_upper": "0.0000000000000287387823424857323798938897083976179749994139970584633478172280396942065233042633946765672928703432",
"sign": 1,
"margin_lower": "4.238392524361895909051985392299046369745519885824675349960217863708455292513509316208389497733977207"
},
{
"diagonal_lower": "4.953378823656854933440006970349501918592511731939539651292671709752863692138159851450641666584785177",
"diagonal_upper": "4.953378823656854933440006970349501918592511731939539651292671709752863692138159851716899082900018973",
"off_diagonal_radius_upper": "0.00000000000004685923104933447254646362195425627447510269047273207592609131228578388319680608528673747016052862062",
"sign": 1,
"margin_lower": "4.95337882365680807420895763587695545497055747566506454860219897767693760082587406756744486049949844"
},
{
"diagonal_lower": "5.364689086145168352577481928849278898207049840912753148673869081498499246965785016403537488454422904",
"diagonal_upper": "5.364689086145168352577481928849278898207049840912753148673869081498499246965785016498188203630766286",
"off_diagonal_radius_upper": "0.00000000000001392561410586968378286985992994777919996425355781771098694748408663581224984169100383146945666149656",
"sign": 1,
"margin_lower": "5.364689086145154426963376059165496028347119893133553184420311263787512299481698380591287646763419073"
},
{
"diagonal_lower": "5.39848682892807436081317255284449954798602626505769432965989079389989333025180330175264631850957631",
"diagonal_upper": "5.398486828928074360813172552844499547986026265057694329659890793899893330251803301964210935436712299",
"off_diagonal_radius_upper": "0.00000000000001642228259798958664409381101950672630445028081957399167092872068244354274800992456952111565827744435",
"sign": 1,
"margin_lower": "5.398486828928057938530574563257855454175006758331389879379071219908222401531120858209898308585006789"
},
{
"diagonal_lower": "6.555031931399501932789433535134187208805023033762307532714517828695450762856156647847919921345150105",
"diagonal_upper": "6.555031931399501932789433535134187208805023033762307532714517828695450762856156647967278912950940025",
"off_diagonal_radius_upper": "0.00000000000003130525005142795413323017260779466397275470220978870526600372967954174692272351679041922544320135409",
"sign": 1,
"margin_lower": "6.555031931399470627539382107180053978632415239098334778012308039990184759126477106100997197828359685"
},
{
"diagonal_lower": "6.874142943065246328661973844678480444620256116961728501454977686515812374642829753892922455659587644",
"diagonal_upper": "6.874142943065246328661973844678480444620256116961728501454977686515812374642829754092969412480288918",
"off_diagonal_radius_upper": "0.00000000000002251688091268384710445537770928653858241938417074825212040695940993918129765361269649701459660895777",
"sign": 1,
"margin_lower": "6.874142943065223811781061160831375989242546830423146082070806938263691967683419814711624802046891147"
},
{
"diagonal_lower": "7.868036278207210939104186179406183448651738584534700062103504274953996307390243516534178049513836225",
"diagonal_upper": "7.868036278207210939104186179406183448651738584534700062103504274953996307390243516742010687188607893",
"off_diagonal_radius_upper": "0.00000000000001905317618980537493936916984706636228343053590511579632513005120836474416028381547945368745729818628",
"sign": 1,
"margin_lower": "7.868036278207191885927996374031244079481891518172416631567599159157671177339035151790017765698356771"
},
{
"diagonal_lower": "8.421895805509814093732725925760113437506238791100253105687980536784961083312671768126092997977475678",
"diagonal_upper": "8.421895805509814093732725925760113437506238791100253105687980536784961083312671768225955615213155439",
"off_diagonal_radius_upper": "0.00000000000002834006494453210465275011327137070700332435873760786976436825884060972900875136386361081020594514206",
"sign": 1,
"margin_lower": "8.421895805509785753667781393655460687392967420393249781329242928915196715053831158397084246613612067"
},
{
"diagonal_lower": "8.837941603798335876784324564373560507013818915297105129838509893598086345206554317280532189059842398",
"diagonal_upper": "8.837941603798335876784324564373560507013818915297105129838509893598086345206554317387215320101567297",
"off_diagonal_radius_upper": "0.00000000000003360367179888643730866341575751496281788838944445681393662281389895971830585748019139444766464682474",
"sign": 1,
"margin_lower": "8.837941603798302273112525677936251843598061400334287241449065436784149722392655357562226331579651003"
},
{
"diagonal_lower": "10.00380826806114921897394515035692695354937296212658506995052681307844368387967639155686216426005108",
"diagonal_upper": "10.00380826806114921897394515035692695354937296212658506995052681307844368387967639171862416150908389",
"off_diagonal_radius_upper": "0.00000000000003169841814632517229633078926052949126035249741480111557071634699790994761127249730432153595260210142",
"sign": 1,
"margin_lower": "10.00380826806111752055579882518463062276011243263532471745311201196287296753267848160925089176274675"
},
{
"diagonal_lower": "10.35375737879306864699913190497676288016494731583940674867224103763887387411321684182507491058097981",
"diagonal_upper": "10.35375737879306864699913190497676288016494731583940674867224103763887387411321684208309623475306476",
"off_diagonal_radius_upper": "0.00000000000003304931175567042889347218373965116749194793826106392932136353421081012226617361393070138510275548079",
"sign": 1,
"margin_lower": "10.35375737879303559768737623454786940798120766467191480073397997370955251057900603170280873696704911"
},
{
"diagonal_lower": "11.17207651990753373636459568084562939995653775238177039520682049268805457769786461961971449813648914",
"diagonal_upper": "11.17207651990753373636459568084562939995653775238177039520682049268805457769786461963477110408568312",
"off_diagonal_radius_upper": "0.00000000000003065965092221503100242351719358917498944976102892969922739252255216086124630930031873747400396199644",
"sign": 1,
"margin_lower": "11.1720765199075030767136734658146269764393441632067809454457915629888271851753124587584681888361704"
},
{
"diagonal_lower": "11.87015027696824422591164840981220234090608035465633715286439224063525540120736768612090657846152936",
"diagonal_upper": "11.87015027696824422591164840981220234090608035465633715286439224063525540120736768623942909195903072",
"off_diagonal_radius_upper": "0.00000000000003295101874690033757126338390192727941154036298049222947249932317368915480356807173374267420713568579",
"sign": 1,
"margin_lower": "11.87015027696821127489290150947463107752217842737692561250141174840578290188419399696610301038979562"
},
{
"diagonal_lower": "12.66689664516676962309648802864133950788867268360528378876284097182238533202208404692125492429327013",
"diagonal_upper": "12.66689664516676962309648802864133950788867268360528378876284097182238533202208404694467631132534966",
"off_diagonal_radius_upper": "0.00000000000002705308362658246029797818003682659793269188354412723775091744146193366586627045564294879485140734958",
"sign": 1,
"margin_lower": "12.66689664516674257001286144618104152970863585700735109687929684458463441458062211325538865383762718"
},
{
"diagonal_lower": "13.64975352034372215592188274568165416062396225670079243565932078458717342664519350885252851477239699",
"diagonal_upper": "13.64975352034372215592188274568165416062396225670079243565932078458717342664519350906126197502532556",
"off_diagonal_radius_upper": "0.00000000000001407644993442805612237096843093868169699184916783135789996275862329505471317803143250202828594517949",
"sign": 1,
"margin_lower": "13.64975352034370807947194831762553178965553131801909544381015295322927346388657021379781533674096449"
},
{
"diagonal_lower": "14.06067765056319600510003203108336889496229637588827753666545437958538038818691529719874501012967314",
"diagonal_upper": "14.06067765056319600510003203108336889496229637588827753666545437958538038818691529719925976588861994",
"off_diagonal_radius_upper": "0.0",
"sign": 1,
"margin_lower": "14.06067765056319600510003203108336889496229637588827753666545437958538038818691529719874501012967314"
},
{
"diagonal_lower": "15.46278712334495294854701279867073543158443838532318685502767871238006851136453753571550769804963788",
"diagonal_upper": "15.46278712334495294854701279867073543158443838532318685502767871238006851136453753578461365868824617",
"off_diagonal_radius_upper": "0.00000000000002663904948705747287914584711681551657539485041327676198770139022141351120224988734546775902297315405",
"sign": 1,
"margin_lower": "15.46278712334492630949752574119785628573732156980661146017726543561808080997431612220430544816229241"
},
{
"diagonal_lower": "15.63313539465785147200002621721776729777935968626968244357259617580703797362783369439081836683881482",
"diagonal_upper": "15.63313539465785147200002621721776729777935968626968244357259617580703797362783369439146181153749833",
"off_diagonal_radius_upper": "0.0",
"sign": 1,
"margin_lower": "15.63313539465785147200002621721776729777935968626968244357259617580703797362783369439081836683881482"
},
{
"diagonal_lower": "15.63313539465785147200002621721776729777935968626968244357259617580703797362783369439081836683881482",
"diagonal_upper": "15.63313539465785147200002621721776729777935968626968244357259617580703797362783369439146181153749833",
"off_diagonal_radius_upper": "0.0",
"sign": 1,
"margin_lower": "15.63313539465785147200002621721776729777935968626968244357259617580703797362783369439081836683881482"
},
{
"diagonal_lower": "17.24206398338672128055681127155612760697452016247880346688788183740504244321039320643182655064459379",
"diagonal_upper": "17.24206398338672128055681127155612760697452016247880346688788183740504244321039320643259868428301399",
"off_diagonal_radius_upper": "0.0",
"sign": 1,
"margin_lower": "17.24206398338672128055681127155612760697452016247880346688788183740504244321039320643182655064459379"
},
{
"diagonal_lower": "17.24206398338672128055681127155612760697452016247880346688788183740504244321039320643182655064459379",
"diagonal_upper": "17.24206398338672128055681127155612760697452016247880346688788183740504244321039320643259868428301399",
"off_diagonal_radius_upper": "0.0",
"sign": 1,
"margin_lower": "17.24206398338672128055681127155612760697452016247880346688788183740504244321039320643182655064459379"
},
{
"diagonal_lower": "17.31526030950538581417308108999906116493778737758752409593155119268426374843897020515987542481727826",
"diagonal_upper": "17.31526030950538581417308108999906116493778737758752409593155119268426374843897020528110040604925034",
"off_diagonal_radius_upper": "0.00000000000002119407452895134920278354730715019566531361920290656799188174697471050168547174604017864917988948316",
"sign": 1,
"margin_lower": "17.31526030950536462009855213864985838139048022739185878231234828611627186669199549465818995307123808"
}
],
"transform_binary_rationals": [
[
"-8972803694737667/9007199254740992",
"-2344392257490087/5070602400912917605986812821504",
"398699630190225/288230376151711744",
"6059857774266131/40564819207303340847894502572032",
"-6575872546700327/144115188075855872",
"431174990309427/1152921504606846976",
"2010251449459495/40564819207303340847894502572032",
"0",
"-2473552372892989/144115188075855872",
"-5199502140362369/2535301200456458802993406410752",
"4311654978980831/72057594037927936",
"-5796475901118561/576460752303423488",
"0",
"4671775205020543/4611686018427387904",
"0",
"-5630546044293459/144115188075855872",
"0",
"6646100322562755/9223372036854775808",
"6239451975268173/2596148429267413814265248164610048",
"0",
"-1508471583376549/2305843009213693952",
"3941666716015805/2305843009213693952",
"6264972400718841/41538374868278621028243970633760768",
"2303160262913745/20769187434139310514121985316880384",
"-3857958693157121/9223372036854775808",
"809105357514739/288230376151711744",
"6170180116717493/664613997892457936451903530140172288",
"4185580689309031/166153499473114484112975882535043072",
"0",
"5554168318681853/1152921504606846976",
"0",
"0",
"0",
"0",
"5322121795230453/10384593717069655257060992658440192"
],
[
"-5/36028797018963968",
"3838882955446435/288230376151711744",
"467/2305843009213693952",
"-554796871820731/562949953421312",
"9/36028797018963968",
"1781/2305843009213693952",
"-4882668385070575/72057594037927936",
"-1293194352619153/144115188075855872",
"0",
"8775782115166705/288230376151711744",
"11/9007199254740992",
"5/18014398509481984",
"4485558410832937/36028797018963968",
"51/288230376151711744",
"-2556439255065743/72057594037927936",
"-3/9007199254740992",
"-1235071164321545/1152921504606846976",
"-21/288230376151711744",
"5618908165715109/72057594037927936",
"-4886668713035887/1152921504606846976",
"1/18014398509481984",
"5/72057594037927936",
"5975333287883173/2305843009213693952",
"-2075947176751359/1152921504606846976",
"3/576460752303423488",
"0",
"-4079646397994727/4611686018427387904",
"-5756721276639839/1152921504606846976",
"0",
"1/18014398509481984",
"0",
"0",
"0",
"0",
"-5323562467396777/576460752303423488"
],
[
"117/288230376151711744",
"-2247492975813077/2251799813685248",
"-2677/576460752303423488",
"-6573962760222551/576460752303423488",
"5/4503599627370496",
"151/1152921504606846976",
"-1364833020344415/36028797018963968",
"1562186884275215/36028797018963968",
"-13/36028797018963968",
"7563981792712423/2305843009213693952",
"1/4503599627370496",
"1/72057594037927936",
"-6663133339702243/576460752303423488",
"-45/288230376151711744",
"-4923588077606393/1152921504606846976",
"1/36028797018963968",
"-2310551081093183/18446744073709551616",
"-7/576460752303423488",
"1943398990351983/144115188075855872",
"-390663789670279/288230376151711744",
"-3/72057594037927936",
"1/72057594037927936",
"-8139783148923811/4611686018427387904",
"-2576756502031435/2305843009213693952",
"5/144115188075855872",
"1/36028797018963968",
"3221396842846387/4611686018427387904",
"-5536072598142337/1152921504606846976",
"0",
"3/9007199254740992",
"0",
"0",
"0",
"0",
"6931013067491475/4611686018427387904"
],
[
"-3048152340228575/72057594037927936",
"6488051924937279/5070602400912917605986812821504",
"-92559981016063/36028797018963968",
"6562137025930295/20282409603651670423947251286016",
"4390847643994575/4503599627370496",
"1225491390189383/144115188075855872",
"-103420414560599/158456325028528675187087900672",
"-2198958867243117/40564819207303340847894502572032",
"-8638260251288163/72057594037927936",
"-2065257691145241/633825300114114700748351602688",
"6280074870451461/72057594037927936",
"8456970669785865/288230376151711744",
"-4917309636998601/162259276829213363391578010288128",
"-7623480038896461/2305843009213693952",
"-4522877066703377/324518553658426726783156020576256",
"1079941131767083/9007199254740992",
"584794215081129/5192296858534827628530496329220096",
"-5332698901656423/288230376151711744",
"1389226491289143/40564819207303340847894502572032",
"-4050076890978851/324518553658426726783156020576256",
"-6684998204241819/72057594037927936",
"-5061606464884111/144115188075855872",
"-3562111654524927/162259276829213363391578010288128",
"-2803841647924497/162259276829213363391578010288128",
"-666244809849789/576460752303423488",
"5014430244493545/2305843009213693952",
"-8406407948758123/5192296858534827628530496329220096",
"1358725909482409/162259276829213363391578010288128",
"0",
"7601056269686255/576460752303423488",
"0",
"0",
"0",
"0",
"4263507993833311/649037107316853453566312041152512"
],
[
"6878236438057747/4611686018427387904",
"-2827839299750639/633825300114114700748351602688",
"9003184360597639/9007199254740992",
"2433325057989537/10141204801825835211973625643008",
"1364650170685719/1152921504606846976",
"7446589349952701/288230376151711744",
"-2288302177174569/5070602400912917605986812821504",
"3669391641031605/324518553658426726783156020576256",
"-3795499514736557/288230376151711744",
"3188687574454115/40564819207303340847894502572032",
"-8021391457569651/2305843009213693952",
"-6179081304656029/2305843009213693952",
"4461463596459739/324518553658426726783156020576256",
"-8947364808354873/73786976294838206464",
"-845569480872505/10141204801825835211973625643008",
"-2847385680175237/1152921504606846976",
"6135551027906827/2596148429267413814265248164610048",
"-2841747525338137/9223372036854775808",
"-3359739270501211/2596148429267413814265248164610048",
"8115935004922321/20769187434139310514121985316880384",
"-7408442328679493/2305843009213693952",
"-6553090746547307/4611686018427387904",
"-7751126958860429/1298074214633706907132624082305024",
"5079519567874803/649037107316853453566312041152512",
"8442347344051427/18446744073709551616",
"6791336363543225/2305843009213693952",
"5943161718644435/2596148429267413814265248164610048",
"1777885827491861/1298074214633706907132624082305024",
"0",
"-2342691708559215/9223372036854775808",
"0",
"0",
"0",
"0",
"3898675217933939/5192296858534827628530496329220096"
],
[
"1531503320163841/649037107316853453566312041152512",
"-8748498497050801/288230376151711744",
"4271528932235539/10141204801825835211973625643008",
"-4437543207353193/72057594037927936",
"4125521724547745/5070602400912917605986812821504",
"-2781997827141519/633825300114114700748351602688",
"1073118555865649/1125899906842624",
"201130204131971/1125899906842624",
"1895651064782429/5070602400912917605986812821504",
"4719813862172027/36028797018963968",
"5503025674587039/1267650600228229401496703205376",
"3714168156884847/20282409603651670423947251286016",
"3447050976359819/36028797018963968",
"5779112578353953/10141204801825835211973625643008",
"7215268870578985/576460752303423488",
"-2302237857894873/40564819207303340847894502572032",
"2522703191767673/576460752303423488",
"8162293917751065/162259276829213363391578010288128",
"-8965833059458597/72057594037927936",
"103895545174693/4503599627370496",
"-4737869298543447/162259276829213363391578010288128",
"7287748091498697/1298074214633706907132624082305024",
"1485836793718783/18014398509481984",
"1319430754794891/18014398509481984",
"2324195729138071/20282409603651670423947251286016",
"-4196036610503519/162259276829213363391578010288128",
"3639876907058689/18446744073709551616",
"-5880132153422137/576460752303423488",
"0",
"2813722901074879/162259276829213363391578010288128",
"0",
"0",
"0",
"0",
"-7257854778816875/576460752303423488"
],
[
"-548236175937689/36028797018963968",
"-836757797116765/2535301200456458802993406410752",
"4515326946560067/288230376151711744",
"7295824183179513/162259276829213363391578010288128",
"27286773899705/281474976710656",
"-3385321775631611/72057594037927936",
"-8629688731722629/10141204801825835211973625643008",
"2521757770422941/10141204801825835211973625643008",
"8507180760489261/9007199254740992",
"-3478224609635331/633825300114114700748351602688",
"420280831937951/2251799813685248",
"572520398243857/4503599627370496",
"-1628245408326669/5070602400912917605986812821504",
"6406808232914975/1152921504606846976",
"-8637549167847453/40564819207303340847894502572032",
"963567641699707/9007199254740992",
"7429517285386785/1298074214633706907132624082305024",
"7405923878431485/576460752303423488",
"8126074812591215/324518553658426726783156020576256",
"2381706779516319/162259276829213363391578010288128",
"4648152012041567/36028797018963968",
"8172101788959953/144115188075855872",
"1782407936544651/40564819207303340847894502572032",
"7207519200806291/162259276829213363391578010288128",
"-2564028452003971/144115188075855872",
"-8202579139931019/72057594037927936",
"5889525868730933/1298074214633706907132624082305024",
"-1482026355952225/40564819207303340847894502572032",
"0",
"2769133134246001/288230376151711744",
"0",
"0",
"0",
"0",
"-5052813206025905/1298074214633706907132624082305024"
],
[
"5475358035541359/73786976294838206464",
"-4666836770049035/162259276829213363391578010288128",
"7239833533982177/288230376151711744",
"-5751096953826459/10141204801825835211973625643008",
"8388329521057159/2305843009213693952",
"-4496877768908849/4503599627370496",
"-5726771174394613/1267650600228229401496703205376",
"-5635461194411553/20282409603651670423947251286016",
"-6841394273533533/144115188075855872",
"6056191256474609/40564819207303340847894502572032",
"-945406183776059/144115188075855872",
"-8830582931359151/2305843009213693952",
"-8558616528476491/40564819207303340847894502572032",
"-1478399180138999/9223372036854775808",
"3391098936643525/2535301200456458802993406410752",
"-6627778578678119/2305843009213693952",
"4566735098597221/162259276829213363391578010288128",
"-1517338528978835/4611686018427387904",
"-6146657589515165/649037107316853453566312041152512",
"-2596967560548983/40564819207303340847894502572032",
"-3632351830915223/1152921504606846976",
"-6336373373587759/4611686018427387904",
"-8999748095045187/649037107316853453566312041152512",
"-1446203605802619/162259276829213363391578010288128",
"30054325310931/72057594037927936",
"6108420169168657/2305843009213693952",
"5001657056537721/1298074214633706907132624082305024",
"-2658259652352725/649037107316853453566312041152512",
"0",
"-4013570165665487/18446744073709551616",
"0",
"0",
"0",
"0",
"8835749777302641/1298074214633706907132624082305024"
],
[
"8353106415879437/2596148429267413814265248164610048",
"-1039917189056317/72057594037927936",
"-6298382080424595/20282409603651670423947251286016",
"-6423908817447237/288230376151711744",
"5812898877190475/162259276829213363391578010288128",
"-3937836605807477/10141204801825835211973625643008",
"8374554406794107/72057594037927936",
"-7511958357741061/144115188075855872",
"2936220266358561/2535301200456458802993406410752",
"-8377049703523239/9007199254740992",
"-315068205749767/9903520314283042199192993792",
"-3542949625068129/2535301200456458802993406410752",
"8040542273356077/36028797018963968",
"4772707454544727/2535301200456458802993406410752",
"8334772010062931/72057594037927936",
"813506697448063/20282409603651670423947251286016",
"-3382247078793807/576460752303423488",
"4669604637892413/81129638414606681695789005144064",
"-8471275370206267/72057594037927936",
"-6003359563697265/576460752303423488",
"-5773991972779977/81129638414606681695789005144064",
"992325593295179/40564819207303340847894502572032",
"-2038913610359181/18014398509481984",
"-3989007916247293/36028797018963968",
"-7568525799792571/81129638414606681695789005144064",
"6349474476494327/2596148429267413814265248164610048",
"-579305794310077/36028797018963968",
"1122395509843697/9007199254740992",
"0",
"-7930926482063829/20769187434139310514121985316880384",
"0",
"0",
"0",
"0",
"-5616470891530449/576460752303423488"
],
[
"3025879471743063/162259276829213363391578010288128",
"-218459126116519/4503599627370496",
"3624341165496907/40564819207303340847894502572032",
"-7808076120065941/2305843009213693952",
"7126951275041071/40564819207303340847894502572032",
"-2695665511788931/5070602400912917605986812821504",
"6371994919626997/36028797018963968",
"-68973951655687/70368744177664",
"6959040520836103/20282409603651670423947251286016",
"4976657535157571/72057594037927936",
"6142146003205583/2535301200456458802993406410752",
"732278257273331/2535301200456458802993406410752",
"-6874646668187845/288230376151711744",
"-5301662017199773/10141204801825835211973625643008",
"-1026332217161959/144115188075855872",
"-2085846899415333/81129638414606681695789005144064",
"-1368024599031733/18446744073709551616",
"-4024686640023833/20282409603651670423947251286016",
"1014992736978749/72057594037927936",
"-5175077746008787/4611686018427387904",
"8355334186388337/81129638414606681695789005144064",
"12992389782401/316912650057057350374175801344",
"-812715962941363/1152921504606846976",
"-4075886736623321/18446744073709551616",
"-1582361263312001/10141204801825835211973625643008",
"8149141530848373/649037107316853453566312041152512",
"164704533909531/288230376151711744",
"-2235581171963889/576460752303423488",
"0",
"-5278873736613605/5192296858534827628530496329220096",
"0",
"0",
"0",
"0",
"288012748179457/288230376151711744"
],
[
"-4664812795230807/576460752303423488",
"5377625182902411/81129638414606681695789005144064",
"-7292447558693251/9223372036854775808",
"-8110971589199519/324518553658426726783156020576256",
"5851219343116035/144115188075855872",
"-2087712179215195/1152921504606846976",
"-7229158874525025/20282409603651670423947251286016",
"6086641089101719/649037107316853453566312041152512",
"8273665427356037/72057594037927936",
"6130250503554335/1267650600228229401496703205376",
"-3094592687892883/36028797018963968",
"-8346636405742893/9007199254740992",
"4093593440072465/2535301200456458802993406410752",
"-8853254727820509/144115188075855872",
"7287792031467967/5070602400912917605986812821504",
"7446250102525177/36028797018963968",
"5201293573403395/1298074214633706907132624082305024",
"7261230207024729/144115188075855872",
"-352091362801663/2535301200456458802993406410752",
"-3402950189603697/649037107316853453566312041152512",
"2726220575015045/18014398509481984",
"-7525269217094819/147573952589676412928",
"-4316318220997505/162259276829213363391578010288128",
"-8943369767028389/649037107316853453566312041152512",
"6652059885400401/144115188075855872",
"2936801857085583/18014398509481984",
"5476290508433071/2596148429267413814265248164610048",
"5962914485791913/162259276829213363391578010288128",
"0",
"-2442249612655785/18014398509481984",
"0",
"0",
"0",
"0",
"-5399940716127683/324518553658426726783156020576256"
],
[
"-585751551655649/9007199254740992",
"-1326754485936637/20282409603651670423947251286016",
"-1116236322946051/1152921504606846976",
"1178128656107881/10141204801825835211973625643008",
"486991518806725/4503599627370496",
"-7795205277692003/4611686018427387904",
"-1225842354925745/5070602400912917605986812821504",
"-1995352572741585/324518553658426726783156020576256",
"3111795585996103/18014398509481984",
"5261465664420743/158456325028528675187087900672",
"-4367994032401729/4503599627370496",
"3675717461575815/36028797018963968",
"-1620252169042835/10141204801825835211973625643008",
"8384358688927911/1152921504606846976",
"-1049004348175157/10141204801825835211973625643008",
"-7926686997201075/144115188075855872",
"-4979762765389385/2596148429267413814265248164610048",
"-7527779364897155/4611686018427387904",
"-5930901448127511/162259276829213363391578010288128",
"838768378585357/162259276829213363391578010288128",
"-59720897704377/9007199254740992",
"7580703317669555/295147905179352825856",
"337807174110427/324518553658426726783156020576256",
"-2892647800354491/2596148429267413814265248164610048",
"-7971260639129993/9223372036854775808",
"-5088172374913973/18446744073709551616",
"-2324505632919011/5192296858534827628530496329220096",
"4035321507200017/1298074214633706907132624082305024",
"0",
"2278085172184427/576460752303423488",
"0",
"0",
"0",
"0",
"2480273822655909/1298074214633706907132624082305024"
],
[
"-418603555235235/162259276829213363391578010288128",
"3430765267909515/1152921504606846976",
"-978160385888119/162259276829213363391578010288128",
"-3242242955745021/288230376151711744",
"93602675516421/10141204801825835211973625643008",
"-3214459932234957/2535301200456458802993406410752",
"1163822178162333/36028797018963968",
"406784825017783/72057594037927936",
"1551428236975409/20282409603651670423947251286016",
"-4290207200520729/36028797018963968",
"-2629643810152627/633825300114114700748351602688",
"-6524917178042821/5070602400912917605986812821504",
"-1424019749904405/9007199254740992",
"-188120151780205/19807040628566084398385987584",
"-8180964105688131/9007199254740992",
"-4233254305716705/81129638414606681695789005144064",
"4896364352125051/72057594037927936",
"1950223127394585/5070602400912917605986812821504",
"-3968205793157755/18014398509481984",
"-1703155158105727/36028797018963968",
"8529148860278979/324518553658426726783156020576256",
"8609277704130025/324518553658426726783156020576256",
"-2747403774810429/18014398509481984",
"-8588169886219251/144115188075855872",
"-7417807958877819/649037107316853453566312041152512",
"748202901210943/162259276829213363391578010288128",
"6102353437781017/144115188075855872",
"-3161446794678883/18014398509481984",
"0",
"-4866228198911989/324518553658426726783156020576256",
"0",
"0",
"0",
"0",
"2540205590514715/18014398509481984"
],
[
"-6591866358109747/324518553658426726783156020576256",
"4970884057082661/576460752303423488",
"4594580629551553/40564819207303340847894502572032",
"-2466820169447221/18014398509481984",
"3443207801098323/40564819207303340847894502572032",
"5471659776176385/40564819207303340847894502572032",
"1961491453225159/18014398509481984",
"506881017557231/18014398509481984",
"1192908772810095/5070602400912917605986812821504",
"-7022540302728361/36028797018963968",
"-8515796358455271/1267650600228229401496703205376",
"-492270043743775/316912650057057350374175801344",
"-4261532954179095/4503599627370496",
"-2684396322327191/1267650600228229401496703205376",
"3302959769080503/18014398509481984",
"5053522463021729/40564819207303340847894502572032",
"-3070542695179075/288230376151711744",
"-3683726658179053/40564819207303340847894502572032",
"5121607176431419/144115188075855872",
"1588197121331969/576460752303423488",
"5664531288686425/324518553658426726783156020576256",
"-5523222479662997/2596148429267413814265248164610048",
"348082243551005/36028797018963968",
"374366218669205/72057594037927936",
"-3499900617162347/649037107316853453566312041152512",
"7589355261922129/1298074214633706907132624082305024",
"-310597367108975/288230376151711744",
"6124713669535751/2305843009213693952",
"0",
"-7452296001325119/2596148429267413814265248164610048",
"0",
"0",
"0",
"0",
"-8875008652313611/2305843009213693952"
],
[
"-5568510310031161/1152921504606846976",
"-908768159501419/10141204801825835211973625643008",
"4857380030994579/18446744073709551616",
"747843636397075/20282409603651670423947251286016",
"-2123607347808705/144115188075855872",
"4461526361440151/9223372036854775808",
"-930563398699739/40564819207303340847894502572032",
"-4623934687684467/20282409603651670423947251286016",
"-7305652794498037/288230376151711744",
"4673401628823831/20282409603651670423947251286016",
"-6543690942291545/576460752303423488",
"-7047361928245817/576460752303423488",
"-8613092799843445/2535301200456458802993406410752",
"7771545568776641/9007199254740992",
"-1341636022704499/158456325028528675187087900672",
"7143334342607145/36028797018963968",
"-2415962641726539/20282409603651670423947251286016",
"-1362882871386323/4503599627370496",
"-6130749336112081/40564819207303340847894502572032",
"5311655049888607/40564819207303340847894502572032",
"3814349130179867/36028797018963968",
"3688777170705023/18014398509481984",
"3087199539217445/162259276829213363391578010288128",
"4773413811895751/162259276829213363391578010288128",
"-4911912569332083/288230376151711744",
"6508312944910991/36028797018963968",
"-7431902030833121/2596148429267413814265248164610048",
"-1712251585167459/162259276829213363391578010288128",
"0",
"6971301351970483/36028797018963968",
"0",
"0",
"0",
"0",
"5674095278840059/324518553658426726783156020576256"
],
[
"4994053765812627/144115188075855872",
"7996236330302767/324518553658426726783156020576256",
"-803005891988091/576460752303423488",
"531814328360749/2535301200456458802993406410752",
"1143945594741729/9007199254740992",
"-7934895744769333/4611686018427387904",
"-8340348471374129/40564819207303340847894502572032",
"-4565004473523253/81129638414606681695789005144064",
"7978565917288501/72057594037927936",
"-4423849314518415/2535301200456458802993406410752",
"2281926849578709/36028797018963968",
"-1934719319503707/9007199254740992",
"-4234153156499381/5070602400912917605986812821504",
"1128178667996355/4503599627370496",
"-5513856815738103/2535301200456458802993406410752",
"-4156805304377489/4503599627370496",
"-4096789671325923/162259276829213363391578010288128",
"2053378749309055/36028797018963968",
"3423640829770669/40564819207303340847894502572032",
"5312406002358861/162259276829213363391578010288128",
"-5426761317121819/144115188075855872",
"-7052545614226645/288230376151711744",
"557968584524967/81129638414606681695789005144064",
"-483023716184583/649037107316853453566312041152512",
"-2237601431660033/2305843009213693952",
"-4938610378679393/288230376151711744",
"-2178325829779459/649037107316853453566312041152512",
"1532466814577013/324518553658426726783156020576256",
"0",
"-5231429301826835/1152921504606846976",
"0",
"0",
"0",
"0",
"-1792849867143207/324518553658426726783156020576256"
],
[
"-4785165273553051/5192296858534827628530496329220096",
"-2605738936197185/2305843009213693952",
"-3739141987352185/649037107316853453566312041152512",
"-6019502985165285/576460752303423488",
"-5961940305873127/2596148429267413814265248164610048",
"6843820144610073/324518553658426726783156020576256",
"-4401991080503389/288230376151711744",
"-6084312485195855/2305843009213693952",
"-3406028930651161/81129638414606681695789005144064",
"2196175694846329/72057594037927936",
"5350011893622285/5070602400912917605986812821504",
"1259287104177859/20282409603651670423947251286016",
"-4063183131237537/576460752303423488",
"-2937564441954929/10141204801825835211973625643008",
"-7952197038233211/576460752303423488",
"-5970800854667443/324518553658426726783156020576256",
"-7751386141043459/9007199254740992",
"5677155301057193/40564819207303340847894502572032",
"-6759111365825859/36028797018963968",
"2744845726207247/9007199254740992",
"-2387161788857971/81129638414606681695789005144064",
"-5812791727489333/324518553658426726783156020576256",
"-2415237523590471/72057594037927936",
"-8380530259690903/36028797018963968",
"-2636234922285129/162259276829213363391578010288128",
"7488303114437399/2596148429267413814265248164610048",
"-6284088115072813/288230376151711744",
"-6616437166008319/36028797018963968",
"0",
"903445266609105/40564819207303340847894502572032",
"0",
"0",
"0",
"0",
"-3620765402823097/18014398509481984"
],
[
"7784104930783619/1298074214633706907132624082305024",
"568294185420371/72057594037927936",
"5767194132115293/81129638414606681695789005144064",
"5110337202847645/72057594037927936",
"7312345213877357/162259276829213363391578010288128",
"-4979289009138861/5070602400912917605986812821504",
"4808920490350977/36028797018963968",
"8210361425500447/288230376151711744",
"4059794293411835/20282409603651670423947251286016",
"-4673361582860047/36028797018963968",
"-358378594136499/79228162514264337593543950336",
"-710254967423051/1267650600228229401496703205376",
"7276924815845885/288230376151711744",
"-5715485503801871/2535301200456458802993406410752",
"-2093238971708969/9007199254740992",
"2606091225073261/40564819207303340847894502572032",
"-4489932392098357/18014398509481984",
"-7034987845676423/20282409603651670423947251286016",
"128436240969965/140737488355328",
"-2774728631935871/36028797018963968",
"2757226964120399/20282409603651670423947251286016",
"6364814953465663/162259276829213363391578010288128",
"5500186015891743/144115188075855872",
"6491156811628283/144115188075855872",
"-672948845238547/81129638414606681695789005144064",
"5331034791933799/649037107316853453566312041152512",
"-722204169527243/576460752303423488",
"376913458120117/18014398509481984",
"0",
"7796759048779707/2596148429267413814265248164610048",
"0",
"0",
"0",
"0",
"1310200053590955/576460752303423488"
],
[
"7723325252551767/1152921504606846976",
"169/2305843009213693952",
"-4289822422501703/18446744073709551616",
"-3/18014398509481984",
"3661099489929755/144115188075855872",
"-3990394683831133/18446744073709551616",
"-3/72057594037927936",
"551/2305843009213693952",
"298873911896741/18014398509481984",
"-35/144115188075855872",
"369105948398119/36028797018963968",
"-3492322655959073/144115188075855872",
"239/144115188075855872",
"-913411590578081/2251799813685248",
"4397/1152921504606846976",
"-2966396295787653/18014398509481984",
"-49/18446744073709551616",
"-903812717135285/1125899906842624",
"-15/36028797018963968",
"-721/9223372036854775808",
"4899648429420985/36028797018963968",
"4834256834871531/18014398509481984",
"-301/9223372036854775808",
"-17/9223372036854775808",
"-703740147011713/36028797018963968",
"3418581790969217/18014398509481984",
"49/9223372036854775808",
"-125/9223372036854775808",
"0",
"1694234770428831/9007199254740992",
"0",
"0",
"0",
"0",
"175/4611686018427387904"
],
[
"-404299503514575/576460752303423488",
"-575/4611686018427387904",
"-307692712170331/288230376151711744",
"-1/36028797018963968",
"-6207758123160999/72057594037927936",
"-2351064216149531/576460752303423488",
"-47/576460752303423488",
"49/1152921504606846976",
"5328756481626399/36028797018963968",
"721/2305843009213693952",
"81060114305793/18014398509481984",
"-153889825790469/1125899906842624",
"-11/72057594037927936",
"1304873436716851/18014398509481984",
"-703/1152921504606846976",
"5920392542662103/72057594037927936",
"-519/18446744073709551616",
"-5966116439963381/18014398509481984",
"-21/1152921504606846976",
"-1587/18446744073709551616",
"-7521019712014425/9007199254740992",
"-6433090838631117/18014398509481984",
"-3491/36893488147419103232",
"-7875/73786976294838206464",
"-3146276997031979/2305843009213693952",
"-1298264551211005/18014398509481984",
"-763/36893488147419103232",
"27/576460752303423488",
"0",
"-5411273449453125/288230376151711744",
"0",
"0",
"0",
"0",
"247/9223372036854775808"
],
[
"23187054039817/20282409603651670423947251286016",
"6788641478199209/4611686018427387904",
"4166272429308865/324518553658426726783156020576256",
"7501879841615027/576460752303423488",
"2649863138372405/324518553658426726783156020576256",
"-8058329368472805/40564819207303340847894502572032",
"1884734606203467/72057594037927936",
"826240019808563/144115188075855872",
"1294629779067299/40564819207303340847894502572032",
"-2671823274232715/144115188075855872",
"-6591389991844873/10141204801825835211973625643008",
"-3525216762677857/40564819207303340847894502572032",
"4172734368627709/1152921504606846976",
"-6076366992928395/20282409603651670423947251286016",
"-6776346101143291/288230376151711744",
"8031148302104955/649037107316853453566312041152512",
"7360265811923241/18014398509481984",
"-2665980248957931/20282409603651670423947251286016",
"6689603284563521/36028797018963968",
"895700247345965/1125899906842624",
"-4758891646099701/324518553658426726783156020576256",
"-4784521918205485/324518553658426726783156020576256",
"-8818082032370393/288230376151711744",
"-5326765873868255/18014398509481984",
"-7422450651206347/324518553658426726783156020576256",
"6490712043632923/649037107316853453566312041152512",
"-7240430050567489/288230376151711744",
"-858988901407155/4503599627370496",
"0",
"3647923641973575/162259276829213363391578010288128",
"0",
"0",
"0",
"0",
"-1767885703283915/9007199254740992"
],
[
"6275036494115255/10384593717069655257060992658440192",
"-7190080876069049/4611686018427387904",
"-5126671777031431/81129638414606681695789005144064",
"-4088291557279939/2305843009213693952",
"-1411764114588787/20282409603651670423947251286016",
"8739345375897595/40564819207303340847894502572032",
"-6783951390428179/72057594037927936",
"-2163105957357193/72057594037927936",
"2190574120762543/20282409603651670423947251286016",
"-2930617205237977/18014398509481984",
"-7054069326202045/1267650600228229401496703205376",
"-4616666324759247/10141204801825835211973625643008",
"3241272092796817/1152921504606846976",
"-3757631230528447/2535301200456458802993406410752",
"-641241148487335/4503599627370496",
"2917061328947651/649037107316853453566312041152512",
"-1353675472276729/18014398509481984",
"8649339472408953/324518553658426726783156020576256",
"-6954894320772397/72057594037927936",
"3005489691088913/9007199254740992",
"-1681989707386669/10141204801825835211973625643008",
"-7499213257879839/649037107316853453566312041152512",
"1473567623877827/2251799813685248",
"1395104848802781/2251799813685248",
"4892072221856061/162259276829213363391578010288128",
"-6051309358229739/162259276829213363391578010288128",
"1794551173845597/576460752303423488",
"4896283114072163/72057594037927936",
"0",
"-301554060035831/162259276829213363391578010288128",
"0",
"0",
"0",
"0",
"1573885336330985/72057594037927936"
],
[
"2098573083117963/576460752303423488",
"27/288230376151711744",
"-947231602041959/2305843009213693952",
"0",
"-2473884409928259/288230376151711744",
"-2659959302462229/2305843009213693952",
"-1/288230376151711744",
"37/2305843009213693952",
"6415202711534681/144115188075855872",
"35/2305843009213693952",
"389055220021125/72057594037927936",
"-5466143195431989/144115188075855872",
"239/576460752303423488",
"-7134481985997059/72057594037927936",
"307/288230376151711744",
"24149110364815/36028797018963968",
"1081/36893488147419103232",
"2925957194762511/9007199254740992",
"13/72057594037927936",
"-155/9223372036854775808",
"-1056739986808451/2251799813685248",
"3401757173306857/4503599627370496",
"-223/9223372036854775808",
"-103/4611686018427387904",
"-266927398875401/9007199254740992",
"8158763735880099/36028797018963968",
"-79/73786976294838206464",
"87/4611686018427387904",
"0",
"7042102377736231/36028797018963968",
"0",
"0",
"0",
"0",
"23/1152921504606846976"
],
[
"-1537624984771971/576460752303423488",
"61/1152921504606846976",
"1395514567488997/1152921504606846976",
"1/72057594037927936",
"34468354202077/9007199254740992",
"6671041727931845/2305843009213693952",
"167/1152921504606846976",
"-343/9223372036854775808",
"-1869944333477155/18014398509481984",
"3299/2305843009213693952",
"-2631673283912111/72057594037927936",
"-2947642818270895/18014398509481984",
"25/576460752303423488",
"7830066297619475/144115188075855872",
"-931/2305843009213693952",
"5372623357267973/144115188075855872",
"-1143/73786976294838206464",
"-5090763405141093/36028797018963968",
"-69/576460752303423488",
"43/4611686018427387904",
"7541679088298075/4611686018427387904",
"24586951080443/70368744177664",
"-735/18446744073709551616",
"-1339/36893488147419103232",
"-4295231777863663/36028797018963968",
"-4014698507818363/4503599627370496",
"-505/73786976294838206464",
"55/4611686018427387904",
"0",
"-2747006832510141/36028797018963968",
"0",
"0",
"0",
"0",
"-15/2305843009213693952"
],
[
"4184284511152139/5192296858534827628530496329220096",
"8351951116412701/18446744073709551616",
"-7691761474750305/1298074214633706907132624082305024",
"4060311978372463/576460752303423488",
"-7531995534279349/649037107316853453566312041152512",
"465785639139995/40564819207303340847894502572032",
"-5657000643821237/576460752303423488",
"-1311744967388097/288230376151711744",
"1635647840861721/40564819207303340847894502572032",
"-6999597646941543/144115188075855872",
"-2115726642197929/1267650600228229401496703205376",
"-1422493977324841/10141204801825835211973625643008",
"4913620528992281/2305843009213693952",
"-3220627255433103/10141204801825835211973625643008",
"-2757190685457043/72057594037927936",
"4392496391867591/649037107316853453566312041152512",
"903750265118159/9007199254740992",
"3663514037961389/324518553658426726783156020576256",
"-7508209577297687/576460752303423488",
"-5946629745767339/18014398509481984",
"8068409293890439/649037107316853453566312041152512",
"1680754868420875/81129638414606681695789005144064",
"6303994108683367/9007199254740992",
"-2443908235297813/4503599627370496",
"4740290383487381/649037107316853453566312041152512",
"-2123988782230043/1298074214633706907132624082305024",
"-650107842306093/18014398509481984",
"-4040801716364057/18014398509481984",
"0",
"1942138099436461/81129638414606681695789005144064",
"0",
"0",
"0",
"0",
"-7283590334387811/36028797018963968"
],
[
"1961129979925129/5192296858534827628530496329220096",
"-6725128539646191/2305843009213693952",
"-7890544361600931/5192296858534827628530496329220096",
"-6411153915108587/1152921504606846976",
"2518980064813257/162259276829213363391578010288128",
"-2560959075835843/10141204801825835211973625643008",
"1994832584677881/288230376151711744",
"2241524670993435/288230376151711744",
"-5615153431287971/40564819207303340847894502572032",
"8229625228388983/72057594037927936",
"4948160866181223/1267650600228229401496703205376",
"7191686494242399/324518553658426726783156020576256",
"-7687302014045521/144115188075855872",
"-297375437529543/158456325028528675187087900672",
"-6123900215010065/36028797018963968",
"-3426385788881045/162259276829213363391578010288128",
"-3932033836509213/72057594037927936",
"3644527448401699/81129638414606681695789005144064",
"-2769300288132387/72057594037927936",
"5308924481974775/36028797018963968",
"1449444992856897/20282409603651670423947251286016",
"7819173690560225/649037107316853453566312041152512",
"8912607388865079/72057594037927936",
"-5943286747839027/18014398509481984",
"7411277589465679/324518553658426726783156020576256",
"5498159013304503/649037107316853453566312041152512",
"-3386898089233597/36028797018963968",
"8000662089130223/9007199254740992",
"0",
"-1205597790408221/81129638414606681695789005144064",
"0",
"0",
"0",
"0",
"1499840724435937/18014398509481984"
],
[
"107970587336699/72057594037927936",
"-13/576460752303423488",
"5342015165876817/73786976294838206464",
"1/144115188075855872",
"-2321963238931799/576460752303423488",
"3097516825387239/36893488147419103232",
"17/288230376151711744",
"-29/288230376151711744",
"-254755161780529/144115188075855872",
"1267/4611686018427387904",
"-899938051839137/144115188075855872",
"-4164754050038725/72057594037927936",
"327/1152921504606846976",
"-2377965661067111/72057594037927936",
"231/576460752303423488",
"621309976875129/72057594037927936",
"745/73786976294838206464",
"2401836283577983/36028797018963968",
"1/576460752303423488",
"-121/9223372036854775808",
"8219067782539163/288230376151711744",
"-1175272651478213/9007199254740992",
"443/18446744073709551616",
"941/73786976294838206464",
"-8640504203323263/9007199254740992",
"8210189978343585/144115188075855872",
"-351/73786976294838206464",
"339/9223372036854775808",
"0",
"501865753223937/2251799813685248",
"0",
"0",
"0",
"0",
"311/9223372036854775808"
],
[
"-1032585884308053/288230376151711744",
"151/2305843009213693952",
"-1589901105612277/9223372036854775808",
"1/18014398509481984",
"685895838419285/72057594037927936",
"-3638284809387653/18446744073709551616",
"7/576460752303423488",
"-49/2305843009213693952",
"1181342125458671/288230376151711744",
"-431/576460752303423488",
"64133692707955/4503599627370496",
"4646700874540619/36028797018963968",
"-17/36028797018963968",
"1310953782037323/18014398509481984",
"-983/1152921504606846976",
"-661503546307141/36028797018963968",
"-293/18446744073709551616",
"-1211862656732603/9007199254740992",
"-21/576460752303423488",
"51/9223372036854775808",
"-7044226029702137/144115188075855872",
"7542540129919499/36028797018963968",
"163/18446744073709551616",
"129/9223372036854775808",
"-8938477471751897/36028797018963968",
"1735146666925005/9007199254740992",
"1/36893488147419103232",
"-57/9223372036854775808",
"0",
"-4064314708177993/4503599627370496",
"0",
"0",
"0",
"0",
"-109/1152921504606846976"
],
[
"6190883287505405/10384593717069655257060992658440192",
"-4513311494755041/9223372036854775808",
"-6334031524342359/1298074214633706907132624082305024",
"6550076796926473/2305843009213693952",
"-7982326590820633/2596148429267413814265248164610048",
"-4656345598924633/81129638414606681695789005144064",
"-4629336924853791/1152921504606846976",
"-5897182885472109/9223372036854775808",
"-6693627850911209/649037107316853453566312041152512",
"4125663979218891/2305843009213693952",
"4644355880136113/81129638414606681695789005144064",
"-1320880448252973/20282409603651670423947251286016",
"-861525843555767/72057594037927936",
"-3122797524417053/5070602400912917605986812821504",
"-8512501081145575/144115188075855872",
"-2551047431855651/1298074214633706907132624082305024",
"611408406404939/18014398509481984",
"2767726365562889/162259276829213363391578010288128",
"-7705537824654193/576460752303423488",
"-2427472607670771/36028797018963968",
"4904064064222285/649037107316853453566312041152512",
"2406795721870669/1298074214633706907132624082305024",
"-5218306333938549/72057594037927936",
"8415097216772019/72057594037927936",
"1423790627588677/1298074214633706907132624082305024",
"1743305804289287/324518553658426726783156020576256",
"-4320437975600271/4503599627370496",
"-3819501487612431/144115188075855872",
"0",
"4016193637735975/162259276829213363391578010288128",
"0",
"0",
"0",
"0",
"-2025536564330133/9007199254740992"
],
[
"-1914123956921873/1298074214633706907132624082305024",
"2741109412358079/2305843009213693952",
"678330950734329/40564819207303340847894502572032",
"-1981103700123907/288230376151711744",
"703120919432093/81129638414606681695789005144064",
"5008772018263773/40564819207303340847894502572032",
"5539122561140963/576460752303423488",
"437563394161031/288230376151711744",
"7499830657066395/324518553658426726783156020576256",
"-18879051888913/4503599627370496",
"-2717097872212475/20282409603651670423947251286016",
"2925138740366675/20282409603651670423947251286016",
"3955450716315285/144115188075855872",
"6981614017542343/5070602400912917605986812821504",
"2396496367835505/18014398509481984",
"7295256596983051/1298074214633706907132624082305024",
"-5450848787954747/72057594037927936",
"-696185582405131/40564819207303340847894502572032",
"8208226584910563/288230376151711744",
"1236695611502955/9007199254740992",
"1522034259033807/81129638414606681695789005144064",
"2513051449401531/324518553658426726783156020576256",
"8793761394053595/72057594037927936",
"-3342149954136797/18014398509481984",
"879507826233303/162259276829213363391578010288128",
"2877264090771605/649037107316853453566312041152512",
"-4641103500951257/18014398509481984",
"-7053877570020223/36028797018963968",
"0",
"-7897126060012207/81129638414606681695789005144064",
"0",
"0",
"0",
"0",
"4033133211105845/4503599627370496"
],
[
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"1",
"0",
"0",
"0",
"0",
"0",
"0"
],
[
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"1",
"0",
"0",
"0",
"0"
],
[
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"1",
"0",
"0",
"0"
],
[
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"1",
"0",
"0"
],
[
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"1",
"0"
]
],
"floating_eigenvalues_for_orientation_only": [
-0.9578697667515501,
-0.8426201028175992,
-0.5209767446483653,
-0.3399895822159655,
0.19653467112545323,
0.7071140319174534,
0.876881431913505,
1.6162130736317764,
1.6877513076004187,
2.6889484633082827,
2.7036830601978745,
3.760513958879981,
3.9943628908450295,
4.23839252436193,
4.95337882365685,
5.364689086145173,
5.398486828928071,
6.555031931399505,
6.874142943065234,
7.868036278207222,
8.421895805509811,
8.837941603798338,
10.003808268061158,
10.353757378793084,
11.172076519907531,
11.870150276968243,
12.66689664516678,
13.649753520343713,
14.060677650563196,
15.462787123344953,
15.63313539465785,
15.63313539465785,
17.24206398338672,
17.24206398338672,
17.315260309505387
]
},
"imaginary_negative_index": 6,
"real_nonpositive_index_upper_excluding_selected_phase": 4,
"gyroscopic_index_deficit": 2,
"full_spatial_real_growth_established": true,
"growth_rate_interval": "0 < sigma <= omega; no sharper rate certified"
},
{
"depth": 4,
"background_level": 2,
"source_polynomial_degree": 6,
"finite_dirac_cutoff": 10,
"exact_parameters": {
"epsilon": "6/1323245",
"c": "171/2646490",
"lam": "10585960/171",
"omega": "18/264649",
"mass2": "112062548653744/29241",
"q": "2136192347630711/26926712505",
"h": "4",
"positive_branch_above_negative_count_gap": "6443596549868/1330742770819",
"negative_branch_gap_lower": "14007818477831/314932310"
},
"exact_source_gram": [
[
"1",
"0",
"12/7",
"0",
"15/11",
"0",
"0"
],
[
"0",
"27/7",
"0",
"360/77",
"0",
"315/143",
"0"
],
[
"12/7",
"0",
"612/77",
"0",
"6840/1001",
"0",
"420/143"
],
[
"0",
"360/77",
"0",
"33500/3003",
"0",
"1260/143",
"0"
],
[
"15/11",
"0",
"6840/1001",
"0",
"2025/143",
"0",
"26040/2431"
],
[
"0",
"315/143",
"0",
"1260/143",
"0",
"41517/2431",
"0"
],
[
"0",
"0",
"420/143",
"0",
"26040/2431",
"0",
"921368/46189"
]
],
"schur_inertia_certificate": {
"negative": 2,
"positive": 19,
"transform_gram_error_upper": "0.000000000000003527287504483292466674387589877358599859663571483878727341183055916003981109563391253792437965437549",
"minimum_signed_margin_lower": "0.3915085053596648131093629092764914225200805746484669798288546344207427560055222403030676246409948331",
"rows": [
{
"diagonal_lower": "-1.028083073461218719526752713821671455856032833137770922898753717949623537752114943169176557808294378",
"diagonal_upper": "-1.028083073461218719526752713821671455856032833137770922898753717949623537752114943158624064749884919",
"off_diagonal_radius_upper": "0.00000000000001079344488486838545956686415885838071794178014058937982889422098126876809470579435700251544710581653",
"sign": -1,
"margin_lower": "1.028083073461207926081867845436211888991873974757052981118613128569794643531133674390529358955527916"
},
{
"diagonal_lower": "-0.7322326098802367109466602653833891391142081208959283411165439317158984714357172440089658584562004502",
"diagonal_upper": "-0.7322326098802367109466602653833891391142081208959283411165439317158984714357172440066414144822062934",
"off_diagonal_radius_upper": "0.000000000000006873842585616479078942090444924963131229193439729590541996634872413739412627431184685097794425410625",
"sign": -1,
"margin_lower": "0.7322326098802298371040746489043101970237631959327971119231042021253564748008448302672287870510216083"
},
{
"diagonal_lower": "0.3915085053596759377825085820803370481641968724024460007126483518681893162654520139919977631024557494",
"diagonal_upper": "0.3915085053596759377825085820803370481641968724024460007126483518681893162654520140408392372619004456",
"off_diagonal_radius_upper": "0.00000000000001112467314567280384562564411629775397902088379371744744656025992977368893013846146091626422101896511",
"sign": 1,
"margin_lower": "0.3915085053596648131093629092764914225200805746484669798288546344207427560055222403030676246409948331"
},
{
"diagonal_lower": "0.8463619206446764249695920076249073950932770926852646809451524150405414955393004999987126447463707194",
"diagonal_upper": "0.846361920644676424969592007624907395093277092685264680945152415040541495539300500059912278649905457",
"off_diagonal_radius_upper": "0.000000000000006399076992169848899207930701219241853744304171856101994799245275518368361549217463071234417387455995",
"sign": 1,
"margin_lower": "0.8463619206446700258925998377760081871625758734434109366409805589385466962940249816303510955289076482"
},
{
"diagonal_lower": "1.180605380553234407373818516811885658217637336667198199623643318213640638967190599388908900731062046",
"diagonal_upper": "1.180605380553234407373818516811885658217637336667198199623643318213640638967190599499822680666630981",
"off_diagonal_radius_upper": "0.00000000000001881032563001451595463127089794039879351119197358391556704052713696894250330132073049270613808943152",
"sign": 1,
"margin_lower": "1.180605380553215597048188502295931026946739396268404688431669734298073598440053630446405599410331553"
},
{
"diagonal_lower": "1.217990942594565905100853185720832543847851203753877288628043937653821389543537696633696095367997561",
"diagonal_upper": "1.217990942594565905100853185720832543847851203753877288628043937653821389543537696647819706504100465",
"off_diagonal_radius_upper": "0.000000000000006283400863290525587791632500849531444560572889142405469780179177523030569216678551895244629302324815",
"sign": 1,
"margin_lower": "1.217990942594559621699989895195244752215350354222432728055154795248351609364360173603126878689445666"
},
{
"diagonal_lower": "2.058384859019860351337945832309108640262107722432404909570292521013224754770253363286028582369540443",
"diagonal_upper": "2.058384859019860351337945832309108640262107722432404909570292521013224754770253363383478281985157066",
"off_diagonal_radius_upper": "0.000000000000008055479769167824756823698086578519831720331162545494433591901520561392254986295573570937547697967526",
"sign": 1,
"margin_lower": "2.058384859019852295858176664484351816564021143912573189239129975518791162868732801893773596073966872"
},
{
"diagonal_lower": "3.321112832243175303074962106997065749906637205283818120411050524343268934558433897795212575417365259",
"diagonal_upper": "3.321112832243175303074962106997065749906637205283818120411050524343268934558433897875417957108263985",
"off_diagonal_radius_upper": "0.000000000000009126476673389011197184928282742325506554683572365785705970561718492862111912316720097862546065907156",
"sign": 1,
"margin_lower": "3.321112832243166176598288717985868564978354462958311565727478158557562963996715404933100663100645162"
},
{
"diagonal_lower": "3.496427262486664627525898051527344678780001234848467796956900091176673950605064616586707174122286815",
"diagonal_upper": "3.49642726248666462752589805152734467878000123484846779695690009117667395060506461665336804490589779",
"off_diagonal_radius_upper": "0.00000000000001400870031163742011773349680083259385942644993045293785038063191866615347860530773188007577860743826",
"sign": 1,
"margin_lower": "3.496427262486650618825586414107226945283200402254608370506969638238823569973145950433228568814554935"
},
{
"diagonal_lower": "5.196892896525786379322296893390154231374411489145931728280742311093877150717197039527108671613366965",
"diagonal_upper": "5.196892896525786379322296893390154231374411489145931728280742311093877150717197039638681982365086492",
"off_diagonal_radius_upper": "0.0000000000000110406590155892705391335774457797527053717550279747166107491659518888139747706003954731195415748458",
"sign": 1,
"margin_lower": "5.196892896525775338663281304119615097796965709393226356525714336377266401551245150713133901012971492"
},
{
"diagonal_lower": "6.109284734337210242270681451608316096571184939852707070527245115949793013756715394941541738626356609",
"diagonal_upper": "6.10928473433721024227068145160831609657118493985270707052724511594979301375671539497924759796920992",
"off_diagonal_radius_upper": "0.00000000000001113926488937770378135638784668607677879630948067248767476229648502403774532355673822203004319155559",
"sign": 1,
"margin_lower": "6.109284734337199103005792073904534740183338253775928274217764443462118251460230370903796415069618387"
},
{
"diagonal_lower": "6.57429172121217147450152651829882086482357605227792591676990530081816357463297171472852019930044159",
"diagonal_upper": "6.574291721212171474501526518298820864823576052277925916769905300818163574632971714802194617299702754",
"off_diagonal_radius_upper": "0.00000000000001442140962362610187997444821975411780884458460304585400112145131805637452299260930394058129768645404",
"sign": 1,
"margin_lower": "6.574291721212157053091902892196940890375356298160117072185302254964162453181653658353997206691137649"
},
{
"diagonal_lower": "8.211879934388570379410005180251406317118380494140398448350137659328955332284097051379662866849694937",
"diagonal_upper": "8.211879934388570379410005180251406317118380494140398448350137659328955332284097051430108931226481621",
"off_diagonal_radius_upper": "0.00000000000001430196288270029533214658101519998460542781497461819416387376214947255871885886110896656684014904222",
"sign": 1,
"margin_lower": "8.211879934388556077447122479956074170537365294155793020535163041134791458521947578820944007988585971"
},
{
"diagonal_lower": "9.341177740238660506426318268488110672748853107125013332910465068877312658999312342451385828764736622",
"diagonal_upper": "9.341177740238660506426318268488110672748853107125013332910465068877312658999312342583163303055118162",
"off_diagonal_radius_upper": "0.0000000000000190480913789869993283821135836344692785030460376570485411277592178972842371678955185703703697125683",
"sign": 1,
"margin_lower": "9.341177740238641458334939281488782290635269472655734829864427411828771531240094445167148660869218052"
},
{
"diagonal_lower": "9.974999945340718590783031700378406063878485389865838098183572747451886437911683075309467576830242963",
"diagonal_upper": "9.974999945340718590783031700378406063878485389865838098183572747451886437911683075310111021528926467",
"off_diagonal_radius_upper": "0.0",
"sign": 1,
"margin_lower": "9.974999945340718590783031700378406063878485389865838098183572747451886437911683075309467576830242963"
},
{
"diagonal_lower": "12.46874991459487303209261434769918085925204435809096322577176046978243570645028231771294473158132287",
"diagonal_upper": "12.46874991459487303209261434769918085925204435809096322577176046978243570645028231771358817628000637",
"off_diagonal_radius_upper": "0.0",
"sign": 1,
"margin_lower": "12.46874991459487303209261434769918085925204435809096322577176046978243570645028231771294473158132287"
},
{
"diagonal_lower": "12.46874991459487303209261434769918085925204435809096322577176046978243570645028231771294473158132287",
"diagonal_upper": "12.46874991459487303209261434769918085925204435809096322577176046978243570645028231771358817628000637",
"off_diagonal_radius_upper": "0.0",
"sign": 1,
"margin_lower": "12.46874991459487303209261434769918085925204435809096322577176046978243570645028231771294473158132287"
},
{
"diagonal_lower": "13.72769762438653816868758615594180537899878676808586317357586128652913663973679214910173141418450091",
"diagonal_upper": "13.72769762438653816868758615594180537899878676808586317357586128652913663973679214916221521586075025",
"off_diagonal_radius_upper": "0.00000000000001353296319668587668939404815066183479426414579123817872692890496073023804356200792582913244405191546",
"sign": 1,
"margin_lower": "13.72769762438652463572438947006511598495063610625106890943007004835040971083183141886368785217657508"
},
{
"diagonal_lower": "15.19999987308139718427982988829724335068347890006355642683418517778783185734731547285758937560407801",
"diagonal_upper": "15.19999987308139718427982988829724335068347890006355642683418517778783185734731547285849019818223491",
"off_diagonal_radius_upper": "0.0",
"sign": 1,
"margin_lower": "15.19999987308139718427982988829724335068347890006355642683418517778783185734731547285758937560407801"
},
{
"diagonal_lower": "15.19999987308139718427982988829724335068347890006355642683418517778783185734731547285758937560407801",
"diagonal_upper": "15.19999987308139718427982988829724335068347890006355642683418517778783185734731547285849019818223491",
"off_diagonal_radius_upper": "0.0",
"sign": 1,
"margin_lower": "15.19999987308139718427982988829724335068347890006355642683418517778783185734731547285758937560407801"
},
{
"diagonal_lower": "18.83260268604841769070671284046053876025639918145286507231791187049544721572543335089995444426425658",
"diagonal_upper": "18.83260268604841769070671284046053876025639918145286507231791187049544721572543335100908266516097879",
"off_diagonal_radius_upper": "0.00000000000002148037865903341739759078746453506347337738723585957791435862871759716658941378286255476303604062685",
"sign": 1,
"margin_lower": "18.83260268604839621032805380704314116946893464638939169493067601091753285709671575373336503048139402"
}
],
"transform_binary_rationals": [
[
"-8933310491559931/9007199254740992",
"628921859597043/2535301200456458802993406410752",
"-851605349083421/2535301200456458802993406410752",
"7854765016210737/1298074214633706907132624082305024",
"5550909572281729/72057594037927936",
"5689921160118043/10141204801825835211973625643008",
"-6174350165462629/288230376151711744",
"-5845595601454603/72057594037927936",
"-884969363151/19807040628566084398385987584",
"-2451142737963173/288230376151711744",
"-5029250447/618970019642690137449562112",
"-9421/2361183241434822606848",
"-5204524919015895/288230376151711744",
"-969692937212007/18014398509481984",
"0",
"0",
"0",
"-3483163/151115727451828646838272",
"0",
"0",
"-4793103702043699/576460752303423488"
],
[
"13/72057594037927936",
"4567152246092499/576460752303423488",
"-127750636475839/140737488355328",
"4321543424105145/18014398509481984",
"-39/36028797018963968",
"-819937003205099/18014398509481984",
"-3/36028797018963968",
"5/18014398509481984",
"-3111154259827513/36028797018963968",
"-1/72057594037927936",
"-3234131454448837/18014398509481984",
"-3957681471628067/18014398509481984",
"-1/9007199254740992",
"3/9007199254740992",
"0",
"0",
"0",
"379492093435203/2251799813685248",
"0",
"0",
"1/18014398509481984"
],
[
"31/144115188075855872",
"2247716352557033/2251799813685248",
"6296074696163051/576460752303423488",
"-41728445221011/36028797018963968",
"-1/18014398509481984",
"-2025874682169759/36028797018963968",
"-5/36028797018963968",
"0",
"-1759729754420175/288230376151711744",
"23/144115188075855872",
"6235465766160129/2305843009213693952",
"819195999266933/72057594037927936",
"19/288230376151711744",
"0",
"0",
"0",
"0",
"3728703130854455/288230376151711744",
"0",
"0",
"-1/9007199254740992"
],
[
"-4468321133525273/72057594037927936",
"-1041/2305843009213693952",
"15/9007199254740992",
"37/72057594037927936",
"-7912077727529751/9007199254740992",
"-921/144115188075855872",
"4123754775189307/36028797018963968",
"-2863661074722515/9007199254740992",
"-99/288230376151711744",
"3205248583724009/36028797018963968",
"1/36028797018963968",
"3/36028797018963968",
"4249089579804863/36028797018963968",
"8567395355687873/36028797018963968",
"0",
"0",
"0",
"27/144115188075855872",
"0",
"0",
"3221966959434411/18014398509481984"
],
[
"-2751593589929563/162259276829213363391578010288128",
"-8911619932088155/1152921504606846976",
"2157717085491639/9007199254740992",
"3677329039034741/4503599627370496",
"1623408632926567/633825300114114700748351602688",
"-2289937403642473/9007199254740992",
"-5373292177215905/20282409603651670423947251286016",
"3453304675217311/2596148429267413814265248164610048",
"8703235933952799/36028797018963968",
"8976493078247631/81129638414606681695789005144064",
"-39254217256281/562949953421312",
"-5104199990708877/18014398509481984",
"-4478433023052925/40564819207303340847894502572032",
"2379095889669479/40564819207303340847894502572032",
"0",
"0",
"0",
"-292948681914219/1125899906842624",
"0",
"0",
"-3135378562364967/162259276829213363391578010288128"
],
[
"892072751812353/162259276829213363391578010288128",
"7625094813644021/144115188075855872",
"4739463537448195/144115188075855872",
"5504057691836031/18014398509481984",
"-8571560373053791/1267650600228229401496703205376",
"2138079945368939/2251799813685248",
"-5092085974627415/20282409603651670423947251286016",
"8197733438061869/40564819207303340847894502572032",
"-3561686995398503/144115188075855872",
"-4406528685450321/40564819207303340847894502572032",
"5728770160425277/1152921504606846976",
"5627181036792549/288230376151711744",
"-4446877707066623/20282409603651670423947251286016",
"8016831451518823/324518553658426726783156020576256",
"0",
"0",
"0",
"1026404774706191/72057594037927936",
"0",
"0",
"-1360216346452075/5192296858534827628530496329220096"
],
[
"2310881524770043/144115188075855872",
"405/4611686018427387904",
"-59/144115188075855872",
"347/1152921504606846976",
"8454631017274211/36028797018963968",
"4595/2305843009213693952",
"7004798033630147/9007199254740992",
"-3082277600743595/9007199254740992",
"-143/4611686018427387904",
"-7822581868054353/36028797018963968",
"47/1152921504606846976",
"-27/576460752303423488",
"3390898751819683/144115188075855872",
"355202559240727/1125899906842624",
"0",
"0",
"0",
"461/2305843009213693952",
"0",
"0",
"-4951495785173533/18014398509481984"
],
[
"-52256756967289/562949953421312",
"15/2305843009213693952",
"13/18014398509481984",
"7/72057594037927936",
"-4603433981373411/18014398509481984",
"-133/72057594037927936",
"4354247422465433/9007199254740992",
"7447880307867321/9007199254740992",
"75/144115188075855872",
"607908762293389/36028797018963968",
"-1/36028797018963968",
"-11/72057594037927936",
"-2121509010481945/72057594037927936",
"-780270620634057/9007199254740992",
"0",
"0",
"0",
"3/18014398509481984",
"0",
"0",
"-39617003023773/72057594037927936"
],
[
"8532734179712929/649037107316853453566312041152512",
"3331480293951775/144115188075855872",
"-2439246002523803/18014398509481984",
"-1682229685981869/4503599627370496",
"-1199813152514247/633825300114114700748351602688",
"5624721477224911/36028797018963968",
"3400502353595643/162259276829213363391578010288128",
"-5906803804899089/10141204801825835211973625643008",
"6779594529163783/9007199254740992",
"1633167695542403/10141204801825835211973625643008",
"-4757821914647591/72057594037927936",
"-419949227868307/1125899906842624",
"6238223615501599/162259276829213363391578010288128",
"3991699575606857/81129638414606681695789005144064",
"0",
"0",
"0",
"-5898609937552639/18014398509481984",
"0",
"0",
"-332801661137185/162259276829213363391578010288128"
],
[
"5465269056945327/162259276829213363391578010288128",
"-1088280271927153/144115188075855872",
"-8382724379116709/36028797018963968",
"7308744765373089/36028797018963968",
"1175257166925385/40564819207303340847894502572032",
"-8896341233310591/144115188075855872",
"-483899488446925/5070602400912917605986812821504",
"-3959923639094961/40564819207303340847894502572032",
"2153859620148565/4503599627370496",
"-6161481419620123/20282409603651670423947251286016",
"7585351859698313/18014398509481984",
"1579981615217449/2251799813685248",
"235490864167003/5070602400912917605986812821504",
"-2078199124669351/20282409603651670423947251286016",
"0",
"0",
"0",
"3604951741880463/72057594037927936",
"0",
"0",
"-271572051557751/40564819207303340847894502572032"
],
[
"-4495651154965061/144115188075855872",
"293/4611686018427387904",
"15/36028797018963968",
"-21/144115188075855872",
"-764382602733273/4503599627370496",
"-849/576460752303423488",
"-6165987740164899/18014398509481984",
"3522228074953803/18014398509481984",
"7/72057594037927936",
"-3357732178279107/4503599627370496",
"-11/72057594037927936",
"-29/144115188075855872",
"-183549232839777/9007199254740992",
"797961808905031/2251799813685248",
"0",
"0",
"0",
"-3/144115188075855872",
"0",
"0",
"-1642266127739969/4503599627370496"
],
[
"3625950222249035/72057594037927936",
"-1/72057594037927936",
"3/9007199254740992",
"1/4503599627370496",
"-3078095657351111/18014398509481984",
"-45/36028797018963968",
"738227990645613/4503599627370496",
"-3979668909720903/18014398509481984",
"-5/36028797018963968",
"-17525378615963/35184372088832",
"-3/18014398509481984",
"-7/36028797018963968",
"-4395723941244825/18014398509481984",
"-213510167618901/281474976710656",
"0",
"0",
"0",
"1/72057594037927936",
"0",
"0",
"3524213542052767/36028797018963968"
],
[
"1844152287800721/81129638414606681695789005144064",
"1900953844740057/288230376151711744",
"-2471854685038007/18014398509481984",
"-974624564883705/36028797018963968",
"-157052619515453/316912650057057350374175801344",
"7685613084247795/576460752303423488",
"3958514176647577/81129638414606681695789005144064",
"7424505745382279/40564819207303340847894502572032",
"-2553282742658389/9007199254740992",
"-2396531950118567/20282409603651670423947251286016",
"7356452015301323/9007199254740992",
"-5526759375983331/18014398509481984",
"1596128819509465/20282409603651670423947251286016",
"-4179801131192235/162259276829213363391578010288128",
"0",
"0",
"0",
"-3354384801739847/9007199254740992",
"0",
"0",
"219595593217675/81129638414606681695789005144064"
],
[
"-576123030285159/20282409603651670423947251286016",
"-4707611970510065/576460752303423488",
"5826773133632019/36028797018963968",
"8958423940895563/288230376151711744",
"3340864430353049/5070602400912917605986812821504",
"-8620485668972447/576460752303423488",
"-7625643071315879/40564819207303340847894502572032",
"-4646215524622521/20282409603651670423947251286016",
"2167801093590397/9007199254740992",
"2173638770415489/40564819207303340847894502572032",
"6086770463606149/18014398509481984",
"-1717163087256861/4503599627370496",
"1879395050713669/324518553658426726783156020576256",
"-6781617379679071/81129638414606681695789005144064",
"0",
"0",
"0",
"3645188809632967/4503599627370496",
"0",
"0",
"643053126561031/81129638414606681695789005144064"
],
[
"3697902318087957/576460752303423488",
"-311/4611686018427387904",
"9/36028797018963968",
"-3/72057594037927936",
"-2360593347011903/18014398509481984",
"-613/576460752303423488",
"-2883198243908019/72057594037927936",
"-805241866571101/18014398509481984",
"-11/288230376151711744",
"5049393474972257/18014398509481984",
"21/144115188075855872",
"1/9007199254740992",
"-3917342912532667/4503599627370496",
"2964855920590909/36028797018963968",
"0",
"0",
"0",
"0",
"0",
"0",
"-1668488410570275/4503599627370496"
],
[
"-2474780312106107/288230376151711744",
"51/576460752303423488",
"-1/18014398509481984",
"-11/72057594037927936",
"2954911776194131/18014398509481984",
"657/576460752303423488",
"6941993171408259/144115188075855872",
"448038237429271/9007199254740992",
"37/288230376151711744",
"-8974465028960343/36028797018963968",
"1/18014398509481984",
"-1/36028797018963968",
"-3689571001875263/9007199254740992",
"3194598549371021/9007199254740992",
"0",
"0",
"0",
"-5/144115188075855872",
"0",
"0",
"1762448370393387/2251799813685248"
],
[
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"1",
"0",
"0",
"0",
"0",
"0",
"0"
],
[
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"1",
"0",
"0",
"0",
"0",
"0"
],
[
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"1",
"0",
"0",
"0",
"0"
],
[
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"1",
"0",
"0"
],
[
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"1",
"0"
]
],
"floating_eigenvalues_for_orientation_only": [
-1.0280830734612187,
-0.7322326098802356,
0.39150850535967474,
0.8463619206446762,
1.1806053805532322,
1.217990942594565,
2.058384859019859,
3.3211128322431653,
3.496427262486662,
5.1968928965257835,
6.109284734337209,
6.5742917212121705,
8.211879934388554,
9.341177740238665,
9.974999945340718,
12.468749914594873,
12.468749914594873,
13.727697624386536,
15.199999873081397,
15.199999873081397,
18.83260268604843
]
},
"imaginary_negative_index": 4,
"real_nonpositive_index_upper_excluding_selected_phase": 2,
"gyroscopic_index_deficit": 2,
"full_spatial_real_growth_established": true,
"growth_rate_interval": "0 < sigma <= omega; no sharper rate certified"
}
],
"interval_decimal_precision": 85,
"limits": [
"proof uses the source-projection and gyroscopic spectral-flow arguments in the companion note",
"the actual full-matrix zonal carrier differs from minimum-column particle candidates",
"only the two displayed excited backgrounds receive a full spatial certificate here",
"the index deficit certifies existence; no precise growth multiplicity is asserted",
"finite source support is exact polynomial algebra, not a truncation assumption",
"no empirical particle decay or lifetime is identified",
"the envelope source remains a separate action with a separate persistence theorem"
]
}