Recorded data and provenance for the associated calculation.

Download recorded JSON

checks_completed171
scopeconditional mathematics; not electron identification
equivariant_vector_couplingB=b I_3; general proof in companion note
View complete data
{
  "checks_completed": 171,
  "scope": "conditional mathematics; not electron identification",
  "static_rank_examples": [
    {
      "hidden": 1,
      "response_rank": 1,
      "total_with_direct_rank": 3
    },
    {
      "hidden": 2,
      "response_rank": 2,
      "total_with_direct_rank": 3
    },
    {
      "hidden": 3,
      "response_rank": 3,
      "total_with_direct_rank": 3
    }
  ],
  "averaging_counterexample": {
    "instantaneous_rank": 1,
    "averaged_rank": 3,
    "average": "I_3/3",
    "rotating_coupling_is_prescribed": true
  },
  "equivariant_vector_coupling": "B=b I_3; general proof in companion note",
  "same_equation_5D_embedding_errors": {
    "field": 4.440892098500626e-16,
    "tangent": 2.220446049250313e-16,
    "normal_forcing": 0.0
  },
  "five_dimensional_orbits": [
    {
      "candidate": "turning-0096.json",
      "h": 0.0096,
      "period": 20.558807735241658,
      "recurrence": 3.854123853615426e-13,
      "monodromy_restriction_error": 7.609912699990673e-12,
      "largest_multiplier": 1.0000049229797048,
      "visible_dimension": 3,
      "hidden_dimension": 2,
      "profile_crossings": 12,
      "monodromy": [
        [
          1.0976384991504518,
          0.08361805409321041,
          0.0,
          0.4404903740969487,
          0.001377352185063567,
          0.40239448075263545,
          0.0043414667675800815,
          0.0,
          0.24213527261786516,
          -0.02288422748379831,
          0.014775391980637136,
          0.0,
          0.019464196177468817,
          -0.019370596559281927,
          0.0,
          0.12422094351229589,
          -0.011429539070066226,
          0.0,
          0.0,
          -0.028151968854242433
        ],
        [
          0.21191779691050897,
          1.0907630660202545,
          0.0,
          0.009837567347207267,
          -0.9583224966316792,
          -0.004341466767754064,
          4.527323667935031,
          0.0,
          0.44417653556332765,
          -0.09308963061636054,
          3.746349959181809,
          0.0,
          0.9592098573554209,
          -0.1617075432345386,
          0.0,
          0.15661898034184446,
          0.4580590161247238,
          0.0,
          0.0,
          0.16659013879405757
        ],
        [
          0.0,
          0.0,
          0.6994914631173862,
          0.0,
          0.0,
          0.0,
          0.0,
          -0.31663148533232327,
          0.0,
          0.0,
          0.0,
          -0.04170999524957136,
          0.0,
          0.0,
          -0.19745659325355233,
          0.0,
          0.0,
          0.025911611341584553,
          0.2407589241348565,
          0.0
        ],
        [
          -42.385845080948584,
          0.01052139729496861,
          0.0,
          0.7434842554726038,
          3.5030027333616345,
          -0.24213527260830658,
          0.4441765355636126,
          0.0,
          -38.1131132844151,
          -0.0380658407402587,
          0.7081621654560843,
          0.0,
          0.574892668280556,
          -0.08200032614570651,
          0.0,
          0.026118301681020546,
          1.6619770949717088,
          0.0,
          0.0,
          2.9224336896303247
        ],
        [
          -0.04054405955260337,
          -0.4274479004076528,
          0.0,
          -0.09478952104267675,
          1.8356765264101507,
          -0.022884227483657656,
          0.09308963061708818,
          0.0,
          0.03806584073929503,
          0.4535182239991398,
          1.2243784650785348,
          0.0,
          0.02252457579746476,
          0.7775338834057016,
          0.0,
          -0.7440220013449849,
          0.2569404327222966,
          0.0,
          0.0,
          -1.2412501343674782
        ],
        [
          46.25109047560343,
          0.05015441668565501,
          0.0,
          0.11215240229393267,
          -3.933349173153123,
          1.0976384991402053,
          -0.21191779691058382,
          0.0,
          42.3858450809489,
          -0.04054405955145855,
          -0.3610918489935042,
          0.0,
          -0.4449568853201114,
          -0.06371003249844823,
          0.0,
          0.08340429789311402,
          -1.7616076969202437,
          0.0,
          0.0,
          -3.1361485437448824
        ],
        [
          -0.05015441668542264,
          -0.454779124600389,
          0.0,
          -0.15859636213058614,
          0.8207355892480922,
          -0.08361805409308129,
          1.0907630660186867,
          0.0,
          0.010521397295144619,
          0.4274479004073807,
          1.2010972540225187,
          0.0,
          0.020694328665351217,
          0.7456717519170785,
          0.0,
          -0.7706476315531521,
          0.25293157849116976,
          0.0,
          0.0,
          -1.2161452076927135
        ],
        [
          0.0,
          0.0,
          1.0678098525883544,
          0.0,
          0.0,
          0.0,
          0.0,
          0.6994914631172559,
          0.0,
          0.0,
          0.0,
          -0.02220093828663953,
          0.0,
          0.0,
          0.8761404894954519,
          0.0,
          0.0,
          -0.43775053635823813,
          0.10872601287847343,
          0.0
        ],
        [
          -0.11215240228596668,
          -0.15859636213074582,
          0.0,
          -0.4930309188070088,
          0.12914494459896028,
          -0.4404903740968618,
          0.009837567347268069,
          0.0,
          0.7434842554796435,
          0.09478952104280282,
          0.17538724266915717,
          0.0,
          -0.017545050165286173,
          0.141647646339959,
          0.0,
          -0.25211459469733866,
          0.05252330278084885,
          0.0,
          0.0,
          -0.16352316227674787
        ],
        [
          -3.933349173153059,
          -0.8207355892474744,
          0.0,
          -0.1291449445994983,
          -2.0361740943322673,
          0.0013773521860277293,
          0.9583224966317875,
          0.0,
          -3.50300273336155,
          1.835676526410536,
          0.9322161640325759,
          0.0,
          0.4144514798646277,
          1.449855556523835,
          0.0,
          -1.4142819050344984,
          0.8101435863702858,
          0.0,
          0.0,
          3.408275845150001
        ],
        [
          0.053553841202459485,
          0.4576904071948576,
          0.0,
          0.173932666869733,
          -0.8206876347541973,
          0.09762799561524285,
          -0.09061191162177058,
          0.0,
          -0.0020911101713609395,
          -0.4282446476396447,
          -0.20058282754024126,
          0.0,
          -0.020016654733014172,
          -0.7463461670445446,
          0.0,
          0.7749725620322259,
          -0.2533295143021809,
          0.0,
          0.0,
          1.215165056482238
        ],
        [
          0.0,
          0.0,
          -1.0678098525885475,
          0.0,
          0.0,
          0.0,
          0.0,
          0.3005085368828334,
          0.0,
          0.0,
          0.0,
          1.02220093828665,
          0.0,
          0.0,
          -0.8761404894954017,
          0.0,
          0.0,
          0.43775053635822947,
          -0.10872601287853688,
          0.0
        ],
        [
          0.03653287859656902,
          0.09260074491133646,
          0.0,
          0.18990460725980976,
          -0.04291877092005268,
          0.17224068462241596,
          -0.002959948067078319,
          0.0,
          0.08537392256930222,
          0.0005094445240519958,
          -0.0583187610565745,
          0.0,
          1.0047077302673277,
          -0.015577679832932245,
          0.0,
          0.12430873986958192,
          -0.016324911797234266,
          0.0,
          0.0,
          0.05430570896794143
        ],
        [
          -0.4889524064076493,
          1.0964657258885875,
          0.0,
          0.20603789736889117,
          2.351144744951806,
          0.02932996988542677,
          -1.7734296768424538,
          0.0,
          -0.7603350101738896,
          -1.1152928187151243,
          -1.271456415671152,
          0.0,
          -0.5745176966774526,
          -0.9320387455354798,
          0.0,
          1.8893260720505396,
          -0.4986689480827214,
          0.0,
          0.0,
          -2.809797470700705
        ],
        [
          0.0,
          0.0,
          0.010462636119559669,
          0.0,
          0.0,
          0.0,
          0.0,
          0.01102397971583959,
          0.0,
          0.0,
          0.0,
          0.0014521933631979293,
          0.0,
          0.0,
          1.0068747347614582,
          0.0,
          0.0,
          -0.0009021499473930413,
          -0.00838236757561934,
          0.0
        ],
        [
          0.9843262044331217,
          -0.3396521432783333,
          0.0,
          0.004922052512758963,
          0.9848112231846061,
          0.05505470436186507,
          -3.970646664100988,
          0.0,
          0.3820819030260688,
          0.3495971241457054,
          -3.658605245503884,
          0.0,
          -0.9670463432191069,
          0.6110082297438184,
          0.0,
          0.4138575984875325,
          -0.5908615765045524,
          0.0,
          0.0,
          -0.5564527288698088
        ],
        [
          -0.026294804984590678,
          0.012923913535436296,
          0.0,
          -0.16250165610875486,
          -0.15640409645886055,
          -0.16224777126456555,
          -0.01919323287958829,
          0.0,
          -0.09289818256195928,
          -0.10639852488285748,
          -0.23363704247892855,
          0.0,
          -0.010041561018040069,
          -0.1676146784973591,
          0.0,
          0.057034531852715294,
          0.9550505506500361,
          0.0,
          0.0,
          0.24158370469727317
        ],
        [
          0.0,
          0.0,
          0.1879101677604012,
          0.0,
          0.0,
          0.0,
          0.0,
          0.4099706903305479,
          0.0,
          0.0,
          0.0,
          -0.01739322221015134,
          0.0,
          0.0,
          0.18332461710376102,
          0.0,
          0.0,
          0.8652361471519225,
          0.18016325807213693,
          0.0
        ],
        [
          0.0,
          0.0,
          -0.8902875739625689,
          0.0,
          0.0,
          0.0,
          0.0,
          0.08714299348106119,
          0.0,
          0.0,
          0.0,
          0.02364715269912608,
          0.0,
          0.0,
          -0.37927221797833605,
          0.0,
          0.0,
          -0.33072203191720795,
          0.8499099436266453,
          0.0
        ],
        [
          -0.03268993442570374,
          -0.4312312113859626,
          0.0,
          -0.0569050922818404,
          0.858374003526645,
          0.013449407907425997,
          0.09600268399684461,
          0.0,
          0.06129196511866368,
          0.46374679860665674,
          1.2588027724975301,
          0.0,
          0.024914620420573092,
          0.7968348304164412,
          0.0,
          -0.7526320470787023,
          0.2628351915608917,
          0.0,
          0.0,
          -0.2773566004244328
        ]
      ]
    },
    {
      "candidate": "segmented-0128.json",
      "h": 0.0128,
      "period": 20.48965735631915,
      "recurrence": 5.640709569269315e-13,
      "monodromy_restriction_error": 2.3874235921539366e-12,
      "largest_multiplier": 1.1384713027879838,
      "visible_dimension": 3,
      "hidden_dimension": 2,
      "profile_crossings": 12,
      "monodromy": [
        [
          -0.6167481283744485,
          0.08394190062620677,
          0.0,
          0.44726752278166837,
          0.19525455991132212,
          0.2968912774525274,
          0.02509695927640084,
          0.0,
          -1.3672236227577625,
          0.02377146851315078,
          0.05784235884199009,
          0.0,
          0.03876152925625971,
          0.030996567443632033,
          0.0,
          0.10849607903269487,
          0.06111553961736198,
          0.0,
          0.0,
          0.06439874507521567
        ],
        [
          0.4328339859234495,
          0.7367547452019265,
          0.0,
          -0.03708665739960307,
          -0.858032725701453,
          0.027651632232814513,
          4.947197976012277,
          0.0,
          0.6479965557860312,
          0.021817357266990405,
          3.8987115917337554,
          0.0,
          1.0500136701139238,
          0.09498488614855394,
          0.0,
          -0.09392700941013225,
          0.4472082714709334,
          0.0,
          0.0,
          -0.0010301372444881576
        ],
        [
          0.0,
          0.0,
          0.9395515498314908,
          0.0,
          0.0,
          0.0,
          0.0,
          0.03634035104163319,
          0.0,
          0.0,
          0.0,
          -0.01107660826613744,
          0.0,
          0.0,
          -0.030790848494248776,
          0.0,
          0.0,
          -0.010023928507076217,
          0.08222428304242507,
          0.0
        ],
        [
          -41.3449095739207,
          -0.018546477508200085,
          0.0,
          2.3589692238736824,
          4.310329873008392,
          -1.7486709105174343,
          0.6487055487337048,
          0.0,
          -37.07039309575413,
          0.3801329007892163,
          0.7561781618074296,
          0.0,
          0.6659838932146308,
          0.038485118368927984,
          0.0,
          -0.07728485246919789,
          1.5825273971348206,
          0.0,
          0.0,
          2.8690217371366926
        ],
        [
          0.43711348174149234,
          -0.34812016992979833,
          0.0,
          -0.0848500539928923,
          1.8633542104150858,
          0.0185344406041405,
          -0.1182756932579278,
          0.0,
          0.4608120169880731,
          0.4153348539574311,
          1.1531510719790956,
          0.0,
          0.0037048269238054918,
          0.6528302752787892,
          0.0,
          -0.615949782290713,
          0.27167439831557944,
          0.0,
          0.0,
          -1.360083952802066
        ],
        [
          45.22525888883612,
          0.053931094303719805,
          0.0,
          -1.6583982428846424,
          -4.858383663350041,
          2.7741629641660785,
          -0.4313322559213966,
          0.0,
          41.32799780613746,
          -0.4932265968948878,
          -0.38388421663648115,
          0.0,
          -0.5115303239980249,
          -0.1710520717008724,
          0.0,
          0.17004926463878203,
          -1.6813555255530837,
          0.0,
          0.0,
          -3.007459176332698
        ],
        [
          -0.03023293422232104,
          -0.41774674351528895,
          0.0,
          -0.16677579392915365,
          0.7598161576179411,
          -0.08850833424238988,
          1.1264588390561643,
          0.0,
          0.02240574562812009,
          0.4146158859862968,
          1.3054916626117816,
          0.0,
          0.06129542953701473,
          0.6643465183981854,
          0.0,
          -0.6963647397575385,
          0.3234370999501423,
          0.0,
          0.0,
          -1.1561265013210025
        ],
        [
          0.0,
          0.0,
          1.0740220647513423,
          0.0,
          0.0,
          0.0,
          0.0,
          1.019823206050791,
          0.0,
          0.0,
          0.0,
          0.013153645781542565,
          0.0,
          0.0,
          0.9438612603619572,
          0.0,
          0.0,
          -0.5706902533815736,
          -0.08143671393648143,
          0.0
        ],
        [
          -1.8408951907891933,
          -0.16663622480830603,
          0.0,
          -0.3764826185555695,
          0.3082562873874956,
          -0.4704632240803173,
          0.013812150886193857,
          0.0,
          -0.7590914001971852,
          0.09232335283343376,
          0.21440721033767604,
          0.0,
          0.013960233946830157,
          0.10564944930364999,
          0.0,
          -0.253977625669674,
          0.13121477831721812,
          0.0,
          0.0,
          -0.03322898824852328
        ],
        [
          -4.870221261315909,
          -0.8581358587145999,
          0.0,
          0.044130709021624304,
          -1.687640745426668,
          -0.1548451742150407,
          0.7988194621409307,
          0.0,
          -4.301765406375996,
          1.8296883472211662,
          0.9787887227704033,
          0.0,
          0.3762717755723527,
          1.494364533245531,
          0.0,
          -1.4388143046334232,
          0.8842379578689772,
          0.0,
          0.0,
          3.381812013047262
        ],
        [
          -0.01395146439682617,
          0.40989869580982824,
          0.0,
          0.18248095576904608,
          -0.7884211949125853,
          0.10113500199282839,
          0.08290199527773606,
          0.0,
          -0.0478935698265512,
          -0.41277913864872157,
          -0.13903227513944322,
          0.0,
          -0.015569026163631813,
          -0.659148784022024,
          0.0,
          0.6965968700262518,
          -0.30223979685100555,
          0.0,
          0.0,
          1.1585693098179999
        ],
        [
          0.0,
          0.0,
          -1.0765683484011856,
          0.0,
          0.0,
          0.0,
          0.0,
          -0.018292433277548335,
          0.0,
          0.0,
          0.0,
          0.986379771759358,
          0.0,
          0.0,
          -0.9451582701923038,
          0.0,
          0.0,
          0.5702680131885138,
          0.08490026588829215,
          0.0
        ],
        [
          0.061589299809083765,
          0.11136071526677868,
          0.0,
          0.2413965436911419,
          -0.03596602864168375,
          0.22571777503716312,
          -0.007241162976567413,
          0.0,
          0.11882696457649444,
          -0.0008370358029826108,
          -0.06519394299548609,
          0.0,
          1.0050891834657236,
          -0.00970991781751106,
          0.0,
          0.14831119377266733,
          -0.024940684182267792,
          0.0,
          0.0,
          0.034783961317432846
        ],
        [
          -0.5855821215125059,
          1.222858740180399,
          0.0,
          0.2765568444939525,
          2.2492882067022304,
          -0.016474245124114016,
          -1.7505989493028482,
          0.0,
          -0.9759273478932444,
          -1.1067186036398575,
          -1.354251565896316,
          0.0,
          -0.5751100373036186,
          -1.0452461602771672,
          0.0,
          1.9870401386811465,
          -0.5084728546307716,
          0.0,
          0.0,
          -2.7055884729765425
        ],
        [
          0.0,
          0.0,
          0.0023336946884782075,
          0.0,
          0.0,
          0.0,
          0.0,
          -0.0014029687108158759,
          0.0,
          0.0,
          0.0,
          0.00042762753726673054,
          0.0,
          0.0,
          1.0011887226121463,
          0.0,
          0.0,
          0.0003869874024820829,
          -0.0031743803532719114,
          0.0
        ],
        [
          0.7513758587628117,
          -0.040821081346556064,
          0.0,
          0.031821702042485155,
          0.8265496502406282,
          0.08981353432348131,
          -4.2429206399839074,
          0.0,
          0.07506402768622278,
          0.266158691065447,
          -3.785346898310228,
          0.0,
          -1.0483537257064723,
          0.4125487080963197,
          0.0,
          0.618442924514871,
          -0.5870504406935829,
          0.0,
          0.0,
          -0.4087105374018991
        ],
        [
          -0.07476531464086424,
          0.0010045162841292982,
          0.0,
          -0.21082785488276976,
          -0.18686478370107104,
          -0.21830932058481123,
          0.03637259391219384,
          0.0,
          -0.14711890783736997,
          -0.12327276197621609,
          -0.2572776882558223,
          0.0,
          -0.009479953579384564,
          -0.18837133332677986,
          0.0,
          0.047032664420721626,
          0.9388543606336005,
          0.0,
          0.0,
          0.29432953356402186
        ],
        [
          0.0,
          0.0,
          -0.1498287554039246,
          0.0,
          0.0,
          0.0,
          0.0,
          0.1270115007756141,
          0.0,
          0.0,
          0.0,
          -0.05797826845306055,
          0.0,
          0.0,
          -0.017733631331269744,
          0.0,
          0.0,
          0.8615157961944843,
          0.4210039654146548,
          0.0
        ],
        [
          0.0,
          0.0,
          -1.106400088084291,
          0.0,
          0.0,
          0.0,
          0.0,
          -0.0855692561965417,
          0.0,
          0.0,
          0.0,
          0.016782801582862317,
          0.0,
          0.0,
          -0.5058405062198532,
          0.0,
          0.0,
          -0.3441920621942437,
          0.874149975955291,
          0.0
        ],
        [
          0.05894486851686364,
          -0.3755190948630212,
          0.0,
          -0.032789929647175475,
          0.832596593557353,
          0.04628823916197505,
          -0.0857564888387801,
          0.0,
          0.13802619356990614,
          0.45510122770478906,
          1.212849891480946,
          0.0,
          0.023563749724146824,
          0.721695020462411,
          0.0,
          -0.6660564585450522,
          0.31639955537677156,
          0.0,
          0.0,
          -0.23877713603724826
        ]
      ]
    },
    {
      "candidate": "gauged-100.json",
      "h": 0.1,
      "period": 24.623718949340567,
      "recurrence": 2.4695211107783418e-11,
      "monodromy_restriction_error": 6.0040861171728466e-12,
      "largest_multiplier": 8.547655188191015,
      "visible_dimension": 3,
      "hidden_dimension": 2,
      "profile_crossings": 12,
      "monodromy": [
        [
          -2.4443661349473853,
          1.1782534005418315,
          0.0,
          1.725024746387368,
          3.846927454108708,
          -0.006821888841278878,
          -0.6944002083685943,
          0.0,
          -5.142065286145343,
          0.6669605032226499,
          1.2444423777957128,
          0.0,
          0.8437975981860233,
          0.15240878057781235,
          0.0,
          0.9238282458513112,
          1.7192508897796122,
          0.0,
          0.0,
          -0.4693514201880808
        ],
        [
          2.7331758862971474,
          -1.652294196049293,
          0.0,
          0.9726502414515251,
          1.3794009118472177,
          4.178669233509734,
          9.481462324048323,
          0.0,
          -3.2845455040273106,
          2.968212057775583,
          6.92093714763494,
          0.0,
          2.8838991084263625,
          3.8934344155797818,
          0.0,
          -2.29974403875369,
          5.197554955915228,
          0.0,
          0.0,
          -1.822140962598442
        ],
        [
          0.0,
          0.0,
          0.5105249513254115,
          0.0,
          0.0,
          0.0,
          0.0,
          3.7241045775666475,
          0.0,
          0.0,
          0.0,
          0.852713868489709,
          0.0,
          0.0,
          2.324992441005593,
          0.0,
          0.0,
          -3.809244103799794,
          -1.868493147386692,
          0.0
        ],
        [
          -12.471248853067147,
          1.688329706916601,
          0.0,
          3.7585500420114095,
          11.055616038053232,
          -1.9319545158045979,
          -3.4172749857357747,
          0.0,
          -8.071963435359443,
          2.787924261516173,
          2.426823449700493,
          0.0,
          3.419714954934228,
          1.744003283639696,
          0.0,
          -0.1919424336359663,
          1.631207279920754,
          0.0,
          0.0,
          2.8691739894591746
        ],
        [
          5.355104737684781,
          0.2169475568125031,
          0.0,
          -0.7595912733168655,
          0.3102628499048551,
          0.6147368493773852,
          -3.2652670153800463,
          0.0,
          6.358487305212825,
          -1.4287993298508175,
          1.1309175729832646,
          0.0,
          0.4953354751059996,
          -1.1070987026339743,
          0.0,
          0.11386913724661582,
          1.605941427581927,
          0.0,
          0.0,
          -2.643662091908835
        ],
        [
          17.197941208025462,
          -1.094121443813315,
          0.0,
          -2.0785322728529128,
          -7.345308823302716,
          6.842246722029978,
          -3.472516249680196,
          0.0,
          12.761473354056418,
          -0.28072813484565645,
          1.0727516147138396,
          0.0,
          -2.647425640684219,
          1.556831414027322,
          0.0,
          -1.8789889582407824,
          3.3377959534873076,
          0.0,
          0.0,
          -2.030680173492499
        ],
        [
          -0.050099652750200445,
          -0.9187738784757997,
          0.0,
          -0.3565481646526648,
          2.0894682226787458,
          0.027673419546961814,
          2.661662448406281,
          0.0,
          -3.1363682467606737,
          1.5323944261318347,
          2.1870466825847936,
          0.0,
          0.27187222239798847,
          0.8757066667881513,
          0.0,
          -1.2540324995037981,
          2.6231083368697674,
          0.0,
          0.0,
          -0.8135159028022217
        ],
        [
          0.0,
          0.0,
          0.8881721349007561,
          0.0,
          0.0,
          0.0,
          0.0,
          1.9520406949436426,
          0.0,
          0.0,
          0.0,
          0.5139667168367993,
          0.0,
          0.0,
          1.9910757676571411,
          0.0,
          0.0,
          -2.3385838182469456,
          -1.6224448019393185,
          0.0
        ],
        [
          -0.6723483842005985,
          -0.45210846963400353,
          0.0,
          -0.7266695700538031,
          1.3751302273082162,
          -1.2002876125452422,
          -1.115662402844871,
          0.0,
          2.879669708740906,
          -0.12820111165395712,
          0.5377129372802657,
          0.0,
          0.7582610501600522,
          -0.32475910427913585,
          0.0,
          -0.7723403398755466,
          0.1665247266071107,
          0.0,
          0.0,
          -0.07813198795892941
        ],
        [
          -6.9965650743716274,
          -0.0905061380020522,
          0.0,
          1.6186835077010173,
          9.901683319812262,
          -0.0955788800447219,
          -3.0368209634113117,
          0.0,
          -11.462730241455697,
          5.906810877943968,
          2.8269162098125964,
          0.0,
          -0.5091375123568527,
          3.574350109618585,
          0.0,
          -2.970380405174523,
          5.438768168267866,
          0.0,
          0.0,
          2.953348548712153
        ],
        [
          -0.03327409554941128,
          0.6092769207696365,
          0.0,
          0.8591749259877195,
          -1.124005570648569,
          0.793574524266712,
          0.07928876808704444,
          0.0,
          1.56228647145823,
          -0.8278526808363191,
          0.399675108298287,
          0.0,
          0.4479745277262141,
          -0.0818768143497339,
          0.0,
          0.9680307659840808,
          -1.289944143000727,
          0.0,
          0.0,
          0.3702001503937263
        ],
        [
          0.0,
          0.0,
          -0.9845144660429497,
          0.0,
          0.0,
          0.0,
          0.0,
          -0.21903312420540394,
          0.0,
          0.0,
          0.0,
          0.6538711374064452,
          0.0,
          0.0,
          -1.5334524583038684,
          0.0,
          0.0,
          1.5888184159287992,
          1.2546732760924921,
          0.0
        ],
        [
          2.191713163524794,
          1.1039914058737457,
          0.0,
          1.4533114382778607,
          -0.40729137738451754,
          2.390741753584476,
          -2.129624473461091,
          0.0,
          3.117846687525547,
          -0.5980937125449723,
          0.41913175436474726,
          0.0,
          1.5494364131357854,
          0.5724081918436992,
          0.0,
          0.8821627003419557,
          0.4346980686393087,
          0.0,
          0.0,
          -0.235181289230539
        ],
        [
          -9.066478620786242,
          3.342781129827871,
          0.0,
          1.9394430639877864,
          -3.820579064880399,
          -5.742889083102609,
          3.791781776104591,
          0.0,
          -4.478393050598115,
          -6.782702939687177,
          -6.162274645342549,
          0.0,
          1.456950708408846,
          -6.442071285451742,
          0.0,
          7.735981522630829,
          -9.412254985538818,
          0.0,
          0.0,
          -0.7394932551618955
        ],
        [
          0.0,
          0.0,
          0.08829778653745235,
          0.0,
          0.0,
          0.0,
          0.0,
          -0.6718017433754073,
          0.0,
          0.0,
          0.0,
          -0.15382346320285117,
          0.0,
          0.0,
          0.5805880466942795,
          0.0,
          0.0,
          0.687160302985581,
          0.33706275636090227,
          0.0
        ],
        [
          -7.882612687243094,
          3.610674252723965,
          0.0,
          1.9741102205193843,
          -2.8727567132467406,
          -3.8620012614605,
          -3.667894138902368,
          0.0,
          -6.689928603467784,
          -3.8139128437449936,
          -8.326733486360787,
          0.0,
          -2.337670935388616,
          -4.253365482857356,
          0.0,
          6.007160055083438,
          -8.037423999323487,
          0.0,
          0.0,
          1.741779606093773
        ],
        [
          -3.8485586780555696,
          -1.0977135439909145,
          0.0,
          -1.1587393018456666,
          -1.4043396121875373,
          -2.493033157852082,
          3.54696604544789,
          0.0,
          -2.741515022380568,
          0.13517988786969298,
          -2.0588983826103053,
          0.0,
          -0.6147661738013551,
          -0.48205345069057115,
          0.0,
          -0.4452647013804271,
          -2.087119862118523,
          0.0,
          0.0,
          1.688446964887873
        ],
        [
          0.0,
          0.0,
          -1.228904793038549,
          0.0,
          0.0,
          0.0,
          0.0,
          -2.782314251546967,
          0.0,
          0.0,
          0.0,
          -0.6943857203603034,
          0.0,
          0.0,
          -1.7131069101468877,
          0.0,
          0.0,
          2.0989634651136915,
          1.503372035285753,
          0.0
        ],
        [
          0.0,
          0.0,
          -2.0134687352829284,
          0.0,
          0.0,
          0.0,
          0.0,
          -6.965167090778307,
          0.0,
          0.0,
          0.0,
          -1.1800892686316091,
          0.0,
          0.0,
          -4.798729520892016,
          0.0,
          0.0,
          4.94770589157825,
          2.8754974134148337,
          0.0
        ],
        [
          2.287934014788633,
          0.6342542894728753,
          0.0,
          0.4768812590437742,
          1.371073406879885,
          1.1610334354884786,
          -2.705742006719307,
          0.0,
          0.7941838559299551,
          0.14777183276852848,
          1.2833069443642562,
          0.0,
          0.06321333060733733,
          0.19491384909635445,
          0.0,
          0.056302989023650295,
          2.3615213939652695,
          0.0,
          0.0,
          -0.2293885212170467
        ]
      ]
    }
  ]
}