S=8.3637733062744146e-05
a={0,0.67734151023313205,-0.57608818612884294,-0.091280474127737571,0.075943632256819868,-0.010966808027794676,-0.0059383836186319341,0.001749136298619015,0.00011287763444922238,-0.00015260383372392775,1.6388986137983951e-05,7.2630064610003958e-06,-2.2671368822125375e-06,-1.0198840356989959e-07,0}
E={
{-0.44966415007744465,0.36983377429443171,0.5589590005895736,-0.57471073626948643,-0.0046088140498423595,0.1325678594450653,-0.024617222211877936,-0.0087774328922700668,0.0043357641405717684,1.4537099512039698e-05,-0.00036273621975252537,6.5145494382060071e-05,1.6627361451544061e-05,-7.6084246408614159e-06,0.00026851906219017195},
{0.63521993216436268,0.77233107352359376,0.00015089910393668019,0.00018872420835353809,-0.00034526484448632984,0.00017616258632458131,-1.9613796076095672e-05,-2.8526520439981757e-05,1.2114795192606403e-05,6.4231780514026334e-07,-1.5698356237325039e-06,2.8735020868269808e-07,9.5391943452427961e-08,-4.5613905056449512e-08,-0.00037506580396160503},
{0.53476187239549811,-0.43996746201983961,0.72142784431968332,0.00016066677959394328,-0.00029393468466277616,0.00014997268064674988,-1.6697833726005507e-05,-2.4285512770717352e-05,1.0313701384775013e-05,5.4682509534985455e-07,-1.336449819328411e-06,2.446301566051138e-07,8.1210123955056654e-08,-3.8832533960858539e-08,-0.00031930516696324085},
{-0.32340051787258761,0.26571024084757866,0.40158607851612949,0.81457885881798586,0.00017751485611300547,-9.0572430594319315e-05,1.0084259211090479e-05,1.4666657356447452e-05,-6.2287144486241143e-06,-3.3024199995782827e-07,8.0711705613278301e-07,-1.4773856001540299e-07,-4.9044921273377725e-08,2.3451984533478144e-08,0.00019283675499081701},
{-0.0016770092668424777,0.001826484365708359,0.0027650485576969138,-0.002842670758929871,0.99998906260120757,-6.2359050623586111e-07,6.9430049135188734e-08,1.0097982604287301e-07,-4.2884652324431649e-08,-2.2737136961297099e-09,5.5569948860025156e-09,-1.0171788791140099e-09,-3.3767391561075056e-10,1.6146673785285408e-10,1.3276796137251378e-06},
{0.059960992986634092,-0.049546181722207296,-0.074885395516399098,0.076995548727016513,0.00061761010297516343,0.99116766264023282,-1.8804509135681611e-06,-2.734948462508925e-06,1.1614925330745947e-06,6.1581506139402614e-08,-1.5050624679418532e-07,2.7549382094879516e-08,9.1455966257736907e-09,-4.3731824834940286e-09,-3.595901736570724e-05},
{-0.01104912398062134,0.0091129490055181627,0.013773377674477482,-0.014161501190026933,-0.00011358330871421737,0.0032666278928575702,0.99969692065553772,5.0302854636194066e-07,-2.1362885207229644e-07,-1.1326449452602808e-08,2.7682034810197248e-08,-5.0670518360127927e-09,-1.6821143942344372e-09,8.0434262575805886e-10,6.613803690282708e-06},
{-0.0039111013527331337,0.0032536879199647948,0.0049179304623020803,-0.0050564954963643249,-4.0574712218205068e-05,0.0011663916919890328,-0.00021659246221444428,0.99996147604826624,-7.6278319106862188e-08,-4.0442221044231094e-09,9.8841475030008873e-09,-1.8092415566956893e-09,-6.0061577494329278e-10,2.8719858241834295e-10,2.3615247823677149e-06},
{0.0019343584583360119,-0.0016066314239883037,-0.0024283881888398939,0.0024968108855505213,2.0033381272946205e-05,-0.0005759431558468583,0.0001069495116557522,3.8134208540479201e-05,0.9999906003825223,1.9969668721342549e-09,-4.8806209483877894e-09,8.933721638230984e-10,2.9657367337248888e-10,-1.4181368876504483e-10,-1.1660800609725722e-06},
{5.7257371739624456e-06,-5.5408843188193568e-06,-8.3828163301841418e-06,8.6184935831678471e-06,6.9674086221755912e-08,-1.9883722336560264e-06,3.692101605112926e-07,1.3167904400267098e-07,-6.5041944201289323e-08,0.99999999989392385,-1.6847487055943503e-11,3.0838444790761389e-12,1.0237470141840784e-12,-4.8952875281446943e-13,-4.0252088701786385e-09},
{-0.00016112720129934485,0.0001345543343944386,0.00020338322338926142,-0.00020911330585293364,-1.6783223547429462e-06,4.8236789832601229e-05,-8.957291267402125e-06,-3.1938661340564838e-06,1.5776573912211303e-06,5.2919957094815956e-09,0.99999993420875211,-7.4821942917793237e-11,-2.4838717119902135e-11,1.1877217754728347e-11,9.7661847204074251e-08},
{2.8930746692939114e-05,-2.416662832935423e-05,-3.6528710409221372e-05,3.755785908391986e-05,3.0144029963277263e-07,-8.6635863299814132e-06,1.6087774058285609e-06,5.7363572703827732e-07,-2.8335582052429258e-07,-9.50479276050563e-10,2.3706353948055146e-08,0.99999999787794958,4.4611656688150534e-12,-2.1332114630822273e-12,-1.7540587051931648e-08},
{7.3562737514710862e-06,-6.1738009459062689e-06,-9.3322065699435758e-06,9.5951103151011926e-06,7.7029729667253836e-08,-2.2133455946058666e-06,4.110046331090379e-07,1.4655156924049306e-07,-7.2391198154103979e-08,-2.4285981743433607e-10,6.0564842543010657e-09,-1.0877136332682479e-09,0.99999999986175625,-5.4498371397100278e-13,-4.4811939379802049e-09},
{-3.3636375924626704e-06,2.8255394904053245e-06,4.2710604255217854e-06,-4.3913815964148705e-06,-3.5255798754357957e-08,1.0129800642265523e-06,-1.8810408924814649e-07,-6.7072219392780884e-08,3.3131251527937635e-08,1.1115251313748448e-10,-2.7718715270062558e-09,4.9781399308299587e-10,1.2706170691413703e-10,0.99999999997105371,2.0509026052136235e-09},
{0.00059435146053225688,-3.2089273192338573e-06,7.8495668367394748e-08,2.4312339517531751e-07,-3.2461479335074667e-07,1.5080828334776939e-07,-1.5669152774992757e-08,-2.586486185914477e-08,1.0915226311737653e-08,6.0322265081459281e-10,-1.4370514117247454e-09,2.6318716576822909e-10,8.7939387456464807e-11,-4.2089246866855766e-11,0.99999982336790927}
}
B={
{1,0,0,0,0,0,0,0,0,0,0,0,0,0,0},
{0,0.72156355963097729,-0.58106155298435114,-0.37644853706195641,6.1249633666398297e-17,-1.9338036768921485e-17,-2.5782117557036518e-17,-1.1142421985542537e-18,-3.1819800573673123e-18,-1.851181287160166e-19,-1.4708469690010209e-19,-5.4876364839489338e-20,2.1961714704116241e-20,4.3902134284600625e-23,0},
{0,-0.66204861999689246,-0.69451566745429638,-0.19698258670234356,0.18666464285634032,-0.018994040204451473,0.068997850956644832,-0.011593696967513847,-0.020920287772052282,-0.00048314802047670196,-8.0303668137315527e-06,3.3291480948403394e-05,-1.4472110226509414e-05,2.5915665504580388e-07,0},
{0,-0.10190265887462402,0.40599374447457881,-0.82198911796763874,0.32325709878845305,-0.12940105795697307,-0.16173664583093159,-0.0087672458044151108,-0.0404799803629695,0.0012051472809976192,0.0017521891730090473,0.00049096285626821839,-0.00017938559104974038,1.6306753306310103e-06,0},
{0,0.16986567877189904,-0.020369593422577378,0.35703385241060387,0.9088188584262431,-0.11372586387124443,-0.0572714997551656,-0.016307350332431848,-0.028624450800523234,-0.0021718873122714591,-0.0014137971035237677,-0.00047524102320763601,0.00011904461069853344,-6.5164945687183432e-06,0},
{0,-0.038147055063417777,-0.11983904183608467,0.11185681645909314,-0.11759316220079824,-0.14729843913629653,-0.96496343483828262,0.069111767353539064,-0.0042009030457721627,0.010379498035468769,0.0090169449874270263,0.0028134789041806187,-0.0010033494237269252,2.6211654427301358e-05,0},
{0,-0.017210745601911288,0.018512353994912249,-0.061563432290039209,0.14204418568635008,0.87284422529484651,-0.15575339078243888,0.080368006909687775,0.42689525373615544,-0.019165641668088387,-0.014099054084950666,-0.0035104735951031383,0.0011458411153919652,3.3942494180627816e-06,0},
{0,0.0068717273231390062,0.0071806730601110163,0.0020878683563253391,0.015488267490623771,0.42999299297985266,-0.079900057462509666,-0.21154813514440166,-0.87381863759854284,-0.0078287724523385237,-0.0019391431152641452,-0.0014588390051409733,0.00041465776169290913,-5.8953370710550659e-05,0},
{0,0.00017738488155597963,-0.0037222081863159638,0.0060853644264661994,-0.021507401107852289,-0.034868983019225072,-0.062404959098794795,-0.92958513372512741,0.21585349907568577,-0.26340431882193904,-0.11813860489703823,-0.017377282160550449,0.0035881548004192067,0.0012747564786887914,0},
{0,-0.00069369648072236236,-4.5120972337951754e-05,-0.001260007658355143,-0.0012108513606823928,-0.017002475573336031,0.0069577703717200994,0.25046766179973279,-0.062177097914489304,-0.60660970047044138,-0.68399218965664443,-0.29508192352091311,0.10077843864714572,-0.002940682101913279,0},
{0,0.00010537568458488696,0.00030503435919195649,-0.00026885078419466819,0.00089930928464928368,-0.0028082331029299257,0.0077186026952293825,0.12799901522386931,-0.028273436949459226,-0.74063634810804335,0.53035654082929207,0.38528585096817597,-0.06695013008380668,-0.00080576819692145636,0},
{0,3.5442439913983541e-05,-5.4632140875357212e-05,0.00015226147556206957,-8.5288973931181878e-05,0.0005982350043602097,-0.00053503730183469789,-0.015874989710730945,0.0054139462533760244,-0.090643228484939345,0.45685133971080766,-0.70441786441448428,0.53530779109656834,-0.0054492805331361333,0},
{0,-1.454336108077633e-05,-1.4485341973370797e-05,-5.5175777919027778e-06,-3.7883033447246359e-05,-8.6065307886828263e-06,-0.00054877091876014855,-0.0058442878508864551,0.0007136754697316597,0.073030508020337739,-0.16670336595242449,0.5165280813440174,0.83340837727238903,-0.07396473761218135,0},
{0,-1.56045968159199e-07,6.3934167760775598e-06,-1.0167567112645996e-05,3.0257402103403846e-05,2.0590652812011006e-05,8.3941719381745513e-05,0.0014953812416946992,-0.00045271443063012997,0.0028701264444651567,-0.011305633692855518,0.033924617756375737,0.064977064038094196,0.99724049097230194,0},
{0,0,0,0,0,0,0,0,0,0,0,0,0,0,1}
}
r={[0, 0],[-2.1487500000000004e-06, 2.1487500000000004e-06],[-9.5500000000000002e-08, 9.5500000000000002e-08],[-6.3666666666666668e-08, 6.3666666666666668e-08],[-4.7750000000000001e-08, 4.7750000000000001e-08],[-3.8200000000000005e-08, 3.8200000000000005e-08],[-3.1833333333333334e-08, 3.1833333333333334e-08],[-2.7285714285714287e-08, 2.7285714285714287e-08],[-2.3875e-08, 2.3875e-08],[-2.1222222222222225e-08, 2.1222222222222225e-08],[-1.9100000000000002e-08, 1.9100000000000002e-08],[-1.7363636363636365e-08, 1.7363636363636365e-08],[-1.5916666666666667e-08, 1.5916666666666667e-08],[-1.4692307692307694e-08, 1.4692307692307694e-08],[-1.91e-07, 1.91e-07]}