{
  "description": "Independent 65-digit mpmath full 13-Weyl matrix, compared with leading Majorana insertions.",
  "conventions": {
    "f": "chosen scale, default 1000 GeV",
    "M_over_f": 2,
    "MNS_over_f": 0.25,
    "VEVs": "Phi_j=f exp(i phi_j)/sqrt(2), chi=f/sqrt(2), Sigma=f/sqrt(2). Their radial stabilization is not solved.",
    "Weyl_order": [
      "nu",
      "S",
      "a0",
      "a1",
      "a2",
      "a3",
      "a4",
      "N",
      "b0",
      "b1",
      "b2",
      "b3",
      "b4"
    ],
    "CP_background": "phi0..phi3=0, phi4=pi; chi and Sigma real. Positive Majorana parameters.",
    "browser_scope": "First order in muA,muB; exact zero mode and singular vectors in other mixings. Inputs 0.1 eV and 1e-4 are calibration targets, not predictions."
  },
  "examples": [
    {
      "input": {
        "t": 1.0,
        "q": 0.3,
        "r": 0.4,
        "m": 0.0018719573419286144,
        "muA": 4.46703125e-07,
        "muB": 0.0,
        "fGeV": 1000.0
      },
      "leading": {
        "E": "0.1918181818181818181818181818181818181818",
        "KN": "1.028181818181818181818181818181818181818",
        "KS": "1.05010101010101010101010101010101010101",
        "light": "1.0e-13",
        "deficit": "0.0001",
        "muN": "0.0",
        "muS": "0.00000000105010101010101010101010101010101010101"
      },
      "light_eV": "0.09999999999999999999828048222044992925879",
      "deficit": "0.0001000000000000000171928250718486879903157",
      "pairs": [
        {
          "center": "0.1837744044194195009815213532837531749142",
          "split": "0.000000001147702904000636092721123817357847612845",
          "activeWeight": "0.00009994450016830113879474462626862815161524"
        },
        {
          "center": "1.329673054483407641943611058130730823421",
          "split": "0.0000001212438679809571470673907588146508726311",
          "activeWeight": "0.000000002593829805202274309256975883257681108294"
        },
        {
          "center": "1.368452416103568805966476791580021112077",
          "split": "0.000000058894135310614886845070565344440097453",
          "activeWeight": "0.00000004791272946628678917177178500427590488322"
        },
        {
          "center": "2.497850728680197490513230584764676111961",
          "split": "0.00000002456921286892802498497886776186716322119",
          "activeWeight": "0.0000000001719114404880614205711421813888419101817"
        },
        {
          "center": "2.518319810623865408748083019425605453819",
          "split": "0.0000001568348045122350845311832841037421307381",
          "activeWeight": "0.000000003776817945253773067433884379903523351156"
        },
        {
          "center": "3.009459269403212861580672678784115403197",
          "split": "0.00000008401330142326422047865540187745966789384",
          "activeWeight": "0.000000001044543041647500111411792611012749174411"
        }
      ],
      "leading_pairs": [
        {
          "center": "0.1837744044194195148569886677200615435504",
          "split": "0.000000001147702904000635519585534426427541008821",
          "weightA": "0.00256927440120468268402092424678591851987",
          "weightB": "0.0002306419531776040447393403370318872551594",
          "activeWeight": "0.00009994450016830112175862299164777023759138"
        },
        {
          "center": "1.329673054483455714239451787410814297162",
          "split": "0.0000001212438679810255716694597468449056722439",
          "weightA": "0.2714193413825470141259024029547715213408",
          "weightB": "0.391901301507367916159550628722272294961",
          "activeWeight": "0.000000002593829805128368590716814792509323921836"
        },
        {
          "center": "1.368452416103523881228490838076658570776",
          "split": "0.00000005889413531054790534423955469942809717339",
          "weightA": "0.1318417804006808892242237049481758095455",
          "weightB": "0.009638026726328563702052516430305637020304",
          "activeWeight": "0.00000004791272946636054591267111048787091987061"
        },
        {
          "center": "2.497850728680243994139443043851352302622",
          "split": "0.00000002456921286863250593381737770877918915119",
          "weightA": "0.05500121108092204623331743584462094181944",
          "weightB": "0.1939019120695986416809550131229617247814",
          "activeWeight": "0.0000000001719114404875557818431795403569203537162"
        },
        {
          "center": "2.518319810623815171315652561260456749586",
          "split": "0.0000001568348045125343917746357391999284827533",
          "weightA": "0.3510940392739235745768193119310022349929",
          "weightB": "0.214626314939939892165046403627720449889",
          "activeWeight": "0.000000003776817945254220404209782041563342278275"
        },
        {
          "center": "3.009459269403201007917230457811141046885",
          "split": "0.00000008401330142325898975826204712053101766932",
          "weightA": "0.1880741295983971228279677853619918545887",
          "weightB": "0.1897018028035873822476560977597080060932",
          "activeWeight": "0.000000001044543041647550687567465367461902195027"
        }
      ]
    },
    {
      "input": {
        "t": 1.0,
        "q": 0.3,
        "r": 0.4,
        "m": 0.0018719573419286144,
        "muA": 4.46703125e-07,
        "muB": 5e-07,
        "fGeV": 1000.0
      },
      "leading": {
        "E": "0.1918181818181818181818181818181818181818",
        "KN": "1.028181818181818181818181818181818181818",
        "KS": "1.05010101010101010101010101010101010101",
        "light": "1.0e-13",
        "deficit": "0.0001",
        "muN": "0.0000000001652892561983471074380165289256198347107",
        "muS": "0.00000000105010101010101010101010101010101010101"
      },
      "light_eV": "0.1000000000000051514476814925614598804101",
      "deficit": "0.00009999999999999993461726776611168271433932",
      "pairs": [
        {
          "center": "0.1837744044194195835035491482608052375579",
          "split": "0.000000001263023880589496895192930290597592722924",
          "activeWeight": "0.00009994450016830105651313868001564683532002"
        },
        {
          "center": "1.329673054483338356030309479136238002777",
          "split": "0.0000003171945187342323950034021668816300381712",
          "activeWeight": "0.000000002593829805326249536438908773468694730515"
        },
        {
          "center": "1.368452416103605402141119676269994280571",
          "split": "0.00000006371314867419385186001110335036750810449",
          "activeWeight": "0.00000004791272946616250793118578875130529312415"
        },
        {
          "center": "2.497850728679915081196839599782779504022",
          "split": "0.000000121520168905744324217774953804468131143",
          "activeWeight": "0.0000000001719114405219022153731078653349378200396"
        },
        {
          "center": "2.518319810624140792453081661257666263173",
          "split": "0.0000002641479619801581030949981371484568871851",
          "activeWeight": "0.000000003776817945220048405845257680931721588518"
        },
        {
          "center": "3.009459269403244460991724682204019922467",
          "split": "0.0000001788642028250818289234692608429872812134",
          "activeWeight": "0.000000001044543041647396040243032964838372038874"
        }
      ],
      "leading_pairs": [
        {
          "center": "0.1837744044194195148569886677200615435504",
          "split": "0.000000001263023880589437541955204594943484636401",
          "weightA": "0.00256927440120468268402092424678591851987",
          "weightB": "0.0002306419531776040447393403370318872551594",
          "activeWeight": "0.00009994450016830112175862299164777023759138"
        },
        {
          "center": "1.329673054483455714239451787410814297162",
          "split": "0.0000003171945187347095297492350612060418197245",
          "weightA": "0.2714193413825470141259024029547715213408",
          "weightB": "0.391901301507367916159550628722272294961",
          "activeWeight": "0.000000002593829805128368590716814792509323921836"
        },
        {
          "center": "1.368452416103523881228490838076658570776",
          "split": "0.00000006371314867371218719526581291458091568354",
          "weightA": "0.1318417804006808892242237049481758095455",
          "weightB": "0.009638026726328563702052516430305637020304",
          "activeWeight": "0.00000004791272946636054591267111048787091987061"
        },
        {
          "center": "2.497850728680243994139443043851352302622",
          "split": "0.0000001215201689034318267742948842702600515419",
          "weightA": "0.05500121108092204623331743584462094181944",
          "weightB": "0.1939019120695986416809550131229617247814",
          "activeWeight": "0.0000000001719114404875557818431795403569203537162"
        },
        {
          "center": "2.518319810623815171315652561260456749586",
          "split": "0.0000002641479619825043378571589410137887076978",
          "weightA": "0.3510940392739235745768193119310022349929",
          "weightB": "0.214626314939939892165046403627720449889",
          "activeWeight": "0.000000003776817945254220404209782041563342278275"
        },
        {
          "center": "3.009459269403201007917230457811141046885",
          "split": "0.0000001788642028250526808820900960003850207159",
          "weightA": "0.1880741295983971228279677853619918545887",
          "weightB": "0.1897018028035873822476560977597080060932",
          "activeWeight": "0.000000001044543041647550687567465367461902195027"
        }
      ]
    },
    {
      "input": {
        "t": 1.0,
        "q": 0.3,
        "r": 0.4,
        "m": 0.0018719573419286144,
        "muA": 4.46703125e-07,
        "muB": 2e-06,
        "fGeV": 1000.0
      },
      "leading": {
        "E": "0.1918181818181818181818181818181818181818",
        "KN": "1.028181818181818181818181818181818181818",
        "KS": "1.05010101010101010101010101010101010101",
        "light": "1.0e-13",
        "deficit": "0.0001",
        "muN": "0.000000000661157024793388429752066115702479338843",
        "muS": "0.00000000105010101010101010101010101010101010101"
      },
      "light_eV": "0.1000000000000206057958845267689804580673",
      "deficit": "0.00009999999999999968689059584885949521234593",
      "pairs": [
        {
          "center": "0.1837744044194198109910317811390032908234",
          "split": "0.000000001608986810356100431986229524156767373157",
          "activeWeight": "0.00009994450016830080864748280046154149287925"
        },
        {
          "center": "1.329673054483010997076687165126871586134",
          "split": "0.0000009050464709903995962925049721919334038905",
          "activeWeight": "0.000000002593829806026571667510738879985171233365"
        },
        {
          "center": "1.368452416103786968436413440755308862576",
          "split": "0.00000007817018876852094648151865953495087506787",
          "activeWeight": "0.00000004791272946546235987487587224352793849964"
        },
        {
          "center": "2.497850728677571261723041729490074842257",
          "split": "0.0000004123730370297545895285158437473104699642",
          "activeWeight": "0.0000000001719114408751130594913071778952835756152"
        },
        {
          "center": "2.518319810626519472516109253196732755874",
          "split": "0.000000586087434369892427097526751864874110775",
          "activeWeight": "0.000000003776817944867869863483345106357183769988"
        },
        {
          "center": "3.009459269403517589038224018256435314574",
          "split": "0.0000004634169070310763401473417472522476039488",
          "activeWeight": "0.000000001044543041646328647687134545953889601012"
        }
      ],
      "leading_pairs": [
        {
          "center": "0.1837744044194195148569886677200615435504",
          "split": "0.00000000160898681035584360906421510049131551914",
          "weightA": "0.00256927440120468268402092424678591851987",
          "weightB": "0.0002306419531776040447393403370318872551594",
          "activeWeight": "0.00009994450016830112175862299164777023759138"
        },
        {
          "center": "1.329673054483455714239451787410814297162",
          "split": "0.000000905046470995761403988561004289450262166",
          "weightA": "0.2714193413825470141259024029547715213408",
          "weightB": "0.391901301507367916159550628722272294961",
          "activeWeight": "0.000000002593829805128368590716814792509323921836"
        },
        {
          "center": "1.368452416103523881228490838076658570776",
          "split": "0.000000078170188763205032748344587560039371214",
          "weightA": "0.1318417804006808892242237049481758095455",
          "weightB": "0.009638026726328563702052516430305637020304",
          "activeWeight": "0.00000004791272946636054591267111048787091987061"
        },
        {
          "center": "2.497850728680243994139443043851352302622",
          "split": "0.0000004123730370078297892957274039547026387139",
          "weightA": "0.05500121108092204623331743584462094181944",
          "weightB": "0.1939019120695986416809550131229617247814",
          "activeWeight": "0.0000000001719114404875557818431795403569203537162"
        },
        {
          "center": "2.518319810623815171315652561260456749586",
          "split": "0.0000005860874343924141761047285464553693825312",
          "weightA": "0.3510940392739235745768193119310022349929",
          "weightB": "0.214626314939939892165046403627720449889",
          "activeWeight": "0.000000003776817945254220404209782041563342278275"
        },
        {
          "center": "3.009459269403201007917230457811141046885",
          "split": "0.0000004634169070304337542535742426399470298557",
          "weightA": "0.1880741295983971228279677853619918545887",
          "weightB": "0.1897018028035873822476560977597080060932",
          "activeWeight": "0.000000001044543041647550687567465367461902195027"
        }
      ]
    },
    {
      "input": {
        "t": 1.0,
        "q": 0.3,
        "r": 0.4,
        "m": 0.0018719573419286144,
        "muA": 4.46703125e-07,
        "muB": 5e-06,
        "fGeV": 1000.0
      },
      "leading": {
        "E": "0.1918181818181818181818181818181818181818",
        "KN": "1.028181818181818181818181818181818181818",
        "KS": "1.05010101010101010101010101010101010101",
        "light": "1.0e-13",
        "deficit": "0.0001",
        "muN": "0.000000001652892561983471074380165289256198347107",
        "muS": "0.00000000105010101010101010101010101010101010101"
      },
      "light_eV": "0.1000000000000515144922906095142298723043",
      "deficit": "0.00009999999999999919143725201416984767506956",
      "pairs": [
        {
          "center": "0.1837744044194201756122936625868743964719",
          "split": "0.000000002300912669889454436947812099436955222725",
          "activeWeight": "0.00009994450016830030832239985775921698452966"
        },
        {
          "center": "1.329673054481818523707338532384064476299",
          "split": "0.000002080750375469571206823709504291345797413",
          "activeWeight": "0.000000002593829808904999954809550720132144912127"
        },
        {
          "center": "1.368452416104473100998519681795340061888",
          "split": "0.0000001070842689889584110407233061511296098635",
          "activeWeight": "0.00000004791272946258919425448436851797984276179"
        },
        {
          "center": "2.49785072866614896092195642517355991993",
          "split": "0.0000009940787733596484815041541309567675260977",
          "activeWeight": "0.0000000001719114427141328131905690758213714482762"
        },
        {
          "center": "2.518319810638263212900978211522197031293",
          "split": "0.000001229966379062501340924220086895100162834",
          "activeWeight": "0.000000003776817943033992272819821407424482799057"
        },
        {
          "center": "3.009459269404866329291272636378937256933",
          "split": "0.000001032522315449431105218730667315610434338",
          "activeWeight": "0.00000000104454304164079555685210090933269797774"
        }
      ],
      "leading_pairs": [
        {
          "center": "0.1837744044194195148569886677200615435504",
          "split": "0.000000002300912669888655743282236111586977284618",
          "weightA": "0.00256927440120468268402092424678591851987",
          "weightB": "0.0002306419531776040447393403370318872551594",
          "activeWeight": "0.00009994450016830112175862299164777023759138"
        },
        {
          "center": "1.329673054483455714239451787410814297162",
          "split": "0.000002080750375517865152467212890456267147049",
          "weightA": "0.2714193413825470141259024029547715213408",
          "weightB": "0.391901301507367916159550628722272294961",
          "activeWeight": "0.000000002593829805128368590716814792509323921836"
        },
        {
          "center": "1.368452416103523881228490838076658570776",
          "split": "0.0000001070842689421907238545021368509562822749",
          "weightA": "0.1318417804006808892242237049481758095455",
          "weightB": "0.009638026726328563702052516430305637020304",
          "activeWeight": "0.00000004791272946636054591267111048787091987061"
        },
        {
          "center": "2.497850728680243994139443043851352302622",
          "split": "0.000000994078773216625714338592443323587813058",
          "weightA": "0.05500121108092204623331743584462094181944",
          "weightB": "0.1939019120695986416809550131229617247814",
          "activeWeight": "0.0000000001719114404875557818431795403569203537162"
        },
        {
          "center": "2.518319810623815171315652561260456749586",
          "split": "0.000001229966379212233852599867757338530732198",
          "weightA": "0.3510940392739235745768193119310022349929",
          "weightB": "0.214626314939939892165046403627720449889",
          "activeWeight": "0.000000003776817945254220404209782041563342278275"
        },
        {
          "center": "3.009459269403201007917230457811141046885",
          "split": "0.000001032522315441195900996542535919071048135",
          "weightA": "0.1880741295983971228279677853619918545887",
          "weightB": "0.1897018028035873822476560977597080060932",
          "activeWeight": "0.000000001044543041647550687567465367461902195027"
        }
      ]
    },
    {
      "input": {
        "t": 0.4,
        "q": 0.1,
        "r": 0.2,
        "m": 0.002387755905647047,
        "muA": 0.000126382096,
        "muB": 1e-05,
        "fGeV": 500.0
      },
      "leading": {
        "E": "0.2400031989763275751759436980166346769034",
        "KN": "1.002602500533162721262529323949669439113",
        "KS": "1.010410002132650885050117295798677756451",
        "light": "2.0e-13",
        "deficit": "0.0001",
        "muN": "0.000000000001598976491310368653879766791965022888133",
        "muS": "0.000000002020820004265301770100234591597355512903"
      },
      "light_eV": "0.1000000000315744701967389203497079050282",
      "deficit": "0.0001000000000000065766042308632392272574824",
      "pairs": [
        {
          "center": "0.2382852590327270773754800980864016412482",
          "split": "0.000000002394107437635621550250700575986451438928",
          "activeWeight": "0.00009999329857181729103220839532307460217769"
        },
        {
          "center": "1.692816668205173792395774346953221352888",
          "split": "0.00004578502370365289484331617504842807290006",
          "activeWeight": "0.00000000002772152194825418314134863573652675950315"
        },
        {
          "center": "1.699380843507794016149716569065152358361",
          "split": "0.000009071233028789057744009448213403173536156",
          "activeWeight": "0.000000004529952558701358275653753236296095827158"
        },
        {
          "center": "2.1574333792513467005256736978403283016",
          "split": "0.00001275678598443249157141663759897291660082",
          "activeWeight": "0.00000000001777376313406852078204691018568286467"
        },
        {
          "center": "2.162509838408462287100776318002780022763",
          "split": "0.00004228724035808430345492091817055477353438",
          "activeWeight": "0.000000001590652606048254118676701152821475443074"
        },
        {
          "center": "2.402339429177050539850578455961960277665",
          "split": "0.00002647941861760361670163762987458723627773",
          "activeWeight": "0.0000000005353277394536369242140662176155238408634"
        }
      ],
      "leading_pairs": [
        {
          "center": "0.2382852590327366634169851711602290608005",
          "split": "0.000000002394107436703270093235745865765287503834",
          "weightA": "0.00001894337499604679421340874888701976146814",
          "weightB": "0.0000000003999388884526464476876686062856070035551",
          "activeWeight": "0.00009999329857181085499587712201207000897153"
        },
        {
          "center": "1.692816685337229387314807342214876238219",
          "split": "0.00004578510733406910548612875428603887203021",
          "weightA": "0.333076240379614456070726786607620185567",
          "weightB": "0.3690233947093594856010378751223103406343",
          "activeWeight": "0.00000000002770799162655672848233131004472833978443"
        },
        {
          "center": "1.699380828126770671864687970024622189011",
          "split": "0.000009071149404556388465477972050767637995712",
          "weightA": "0.06921733795749823191348587093395725826923",
          "weightB": "0.03233171539474029999575370157486421212329",
          "activeWeight": "0.000000004529966089049437248070531656850891070153"
        },
        {
          "center": "2.157433405407555297395529185755645186581",
          "split": "0.00001275663501682281918871836575321969173766",
          "weightA": "0.08879797644883322308928893514304150963783",
          "weightB": "0.1534160632660639700258434980234045934628",
          "activeWeight": "0.00000000001776787992068182738136825928039268328076"
        },
        {
          "center": "2.16250981182181929030736239930487780055",
          "split": "0.00004228739184666889267804165007404443655844",
          "weightA": "0.3147636214321061938089489426357303430809",
          "weightB": "0.2506905625528790209884459146757071309085",
          "activeWeight": "0.000000001590658480069454647197424316705532111682"
        },
        {
          "center": "2.402339427006710939638109607934437597386",
          "split": "0.00002647941809044609091154002209006359639046",
          "weightA": "0.1941258788244492128234468944153540959204",
          "weightB": "0.1945382636770183349362725629160451165854",
          "activeWeight": "0.0000000005353277484788736717463323871094842643141"
        }
      ]
    },
    {
      "input": {
        "t": 1.2,
        "q": 0.4,
        "r": 0.5,
        "m": 0.0015103868951021867,
        "muA": 3.1077342656790124e-07,
        "muB": 1e-05,
        "fGeV": 500.0
      },
      "leading": {
        "E": "0.1572149643705463182897862232779097387173",
        "KN": "1.053481294536817102137767220902612826603",
        "KS": "1.083564522713776722090261282660332541568",
        "light": "2.0e-13",
        "deficit": "0.0001",
        "muN": "0.00000001606657742847309595409639981719805236937",
        "muS": "0.000000002167129045427553444180522565320665083135"
      },
      "light_eV": "0.1000000000000608889201251974077934448002",
      "deficit": "0.00009999999999999473698190527084238864884374",
      "pairs": [
        {
          "center": "0.1462550142567561147404717774826298378073",
          "split": "0.00000001488783080420087241353895545815403637822",
          "activeWeight": "0.00009993167609057349116492925491854099085828"
        },
        {
          "center": "1.252404558973567436922110980147401702559",
          "split": "0.000004046770422860160103770128265746802123685",
          "activeWeight": "0.000000005965279473630460064276813949562971810648"
        },
        {
          "center": "1.313410923567686449898183769280840233715",
          "split": "0.0000000863284700361634046628789283444919773167",
          "activeWeight": "0.00000005793037484465451688178904089812669602837"
        },
        {
          "center": "2.632573365550050489744978267872006218798",
          "split": "0.000002082046450489038222881104343486223207058",
          "activeWeight": "0.0000000001961004925604991669820487383987209385571"
        },
        {
          "center": "2.663263505021956556334065127822391198211",
          "split": "0.000002161716813249626450344673633975232419654",
          "activeWeight": "0.000000003303417893894596526795575715039561265966"
        },
        {
          "center": "3.214674368648565401282393558019158223098",
          "split": "0.000001919023239128712180373799267306602654889",
          "activeWeight": "0.0000000009287367165057443361724445465300354095292"
        }
      ],
      "leading_pairs": [
        {
          "center": "0.1462550142567547952523144307265296847981",
          "split": "0.00000001488783080419265547209669280963194910807",
          "weightA": "0.007094826055634891163065008685271034444734",
          "weightB": "0.001268294739997977326417428757879063251953",
          "activeWeight": "0.00009993167609057889912714022711297952077992"
        },
        {
          "center": "1.25240455897547575410052301916069174377",
          "split": "0.000004046770422921944243289030328692546845494",
          "weightA": "0.2414497990681316808705332275362224451436",
          "weightB": "0.3971734241521409714428792384506443772345",
          "activeWeight": "0.00000000596527946899116237354637701351001120714"
        },
        {
          "center": "1.313410923566916076356051220529667422277",
          "split": "0.00000008632846998736230485466186763129228357773",
          "weightA": "0.159554428337440250893734752023155139422",
          "weightB": "0.003674319356885335718050831309236631730998",
          "activeWeight": "0.00000005793037484914731484682120398633215495879"
        },
        {
          "center": "2.632573365585039170769451643354696941803",
          "split": "0.00000208204645052262510314541472958036974926",
          "weightA": "0.04821218546390888538794268475363145482608",
          "weightB": "0.2067063384443678979835391964226298038588",
          "activeWeight": "0.0000000001961004890982324871504400154690249557266"
        },
        {
          "center": "2.663263504985357766461758847356714373911",
          "split": "0.000002161716813251004170558016233318971459536",
          "weightA": "0.3599901304547099890625505868767340014645",
          "weightB": "0.2049841446878968169903135235718739589317",
          "activeWeight": "0.000000003303417897340296850099582367270919810824"
        },
        {
          "center": "3.214674368643150905134119383368081509431",
          "split": "0.000001919023239080772757248681382535088947593",
          "weightA": "0.1836979870645067259358007230512513041286",
          "weightB": "0.1861934786187110005387997814877361649921",
          "activeWeight": "0.0000000009287367165238663021552836378971091468529"
        }
      ]
    }
  ],
  "research_checks": 114,
  "source_sha256": "f2ecc7d2ca456b7eac2fdd79822c874daee5c90cdbad85154aa43271e19319e7",
  "research_result_sha256": "9bd5eae8c2e944eaf3a48758e826969dd6bc257669ecf816610c35ac3039e23c"
}