S=8.3637733062744146e-05
a={0,0.67922552005853531,-0.58018181377675848,-0.09172888906332273,0.076703870609876865,-0.011162432292872419,-0.0060121514911480036,0.0017812979801165832,0.00011297244425110951,-0.00015571574662686576,1.6916928087630827e-05,7.4110359288895639e-06,-2.3346858492695903e-06,-1.0149717767824462e-07,0}
E={
{-0.45159151771348827,0.367471697066033,0.55909499468942647,-0.57455232495271813,-0.004834027753666495,0.13268572030274972,-0.024632262320126313,-0.0087957070738386937,0.0043441802974311097,1.4802606434988762e-05,-0.00036378742017956575,6.5357166327910637e-05,1.6687240659660251e-05,-7.6399173709621409e-06,0.00027515726912261828},
{0.63116305028884734,0.77565008383519218,-3.9157263897138786e-05,-3.2655098657095946e-05,-3.0584446882332135e-05,1.1473135092246583e-05,1.4030054375957249e-06,-2.9904497492217796e-06,3.5417521354654357e-07,2.7130210672943128e-07,-1.0090269646240602e-07,-8.4372390627661735e-09,1.1717566712862171e-08,-1.6063998485679807e-09,-0.00038434194246141101},
{0.53727805111608984,-0.43715838551421521,0.72126606266199056,-2.7800299624144284e-05,-2.6037489462092173e-05,9.7674362139287494e-06,1.1944221007893344e-06,-2.5458627429768528e-06,3.0152035856407957e-07,2.3096790902214152e-07,-8.5901599134473798e-08,-7.1828836411898621e-09,9.9755284436303177e-09,-1.3675780794704628e-09,-0.00032720223174805896},
{-0.32438218566966837,0.2640113928288324,0.40168386065623396,0.81469271436040147,1.5724721975938222e-05,-5.8988106017280544e-06,-7.2134279628904036e-07,1.5375132030484798e-06,-1.8209604329851277e-07,-1.3948757079765899e-07,5.1878226034190606e-08,4.3379315969883043e-09,-6.0244829505379238e-09,8.2591622788106957e-10,0.00019760599928942839},
{-0.0021853443349581546,0.001817712287175331,0.0027655873921675483,-0.0028420533389850282,0.99998809715392145,-4.0613266809724249e-08,-4.9664397493874248e-09,1.0585766886710873e-08,-1.2537298941806416e-09,-9.6037088015152921e-10,3.5718119766754865e-10,2.9866626553010694e-11,-4.1478519989888086e-11,5.6864270427046151e-12,1.3605158249984635e-06},
{0.060482660285875782,-0.049231227506073297,-0.074903546515512093,0.07697441113026901,0.00064762934489656664,0.99115191167240524,1.3451158799865409e-07,-2.8670604818562474e-07,3.3956155213146513e-08,2.6010788144885325e-08,-9.6739339497640955e-09,-8.0891092381935502e-10,1.1234086937832155e-09,-1.5401180123799061e-10,-3.684835684128195e-05},
{-0.011129938992637698,0.0090549107151296007,0.013776721421689092,-0.014157606944621011,-0.00011911570206883769,0.003269523393554239,0.99969655053157247,5.2732740170151538e-08,-6.245424961786727e-09,-4.7840641714494672e-09,1.7792894451428403e-09,1.4877987345009208e-10,-2.0662423806197127e-10,2.8326797949354711e-11,6.7773764777604745e-06},
{-0.0039685237264326916,0.0032331459892634071,0.0049191158840443654,-0.0050551155005031318,-4.2531721353347304e-05,0.0011674161416292165,-0.00021672337499398852,0.99996131627596896,-2.2299914715219191e-09,-1.7081979796156187e-09,6.3531309916002405e-10,5.3123342440253636e-11,-7.3777251589408436e-11,1.0114366633032461e-11,2.4199300827725719e-06},
{0.0019613670040658985,-0.0015964716803308146,-0.0024289743869917997,0.0024961284411322711,2.1001341606757565e-05,-0.00057644985113578526,0.00010701425517618761,3.8212735212890127e-05,0.99999056400283237,8.4347859446398098e-10,-3.1370661148132077e-10,-2.6231386964206424e-11,3.6429929795427276e-11,-4.9942991698488561e-12,-1.1949195873521912e-06},
{6.3425181468418536e-06,-5.5108468118240329e-06,-8.384585769243005e-06,8.6164445307672227e-06,7.2515578880321716e-08,-1.989863478372374e-06,3.6940312606773894e-07,1.3190912916451732e-07,-6.5148862726303156e-08,0.9999999998903677,-1.0828884545977859e-12,-9.0548509505393357e-14,1.257530091287001e-13,-1.7239894576404278e-14,-4.1247604543967663e-09},
{-0.0001641560484938206,0.00013370811069097268,0.00020343210146308069,-0.00020905641849948065,-1.7589154148341176e-06,4.8278983201606225e-05,-8.962686092349837e-06,-3.2004036911719776e-06,1.5806720301514676e-06,5.3861399904312601e-09,0.9999999338293436,2.1969380931591112e-12,-3.0510891630973125e-12,4.1828387153051368e-13,1.0007722288280349e-07},
{2.9525384553847234e-05,-2.4014691300407724e-05,-3.6537489736741265e-05,3.7547642193576703e-05,3.1590852156518306e-07,-8.671161330134116e-06,1.6097461727387222e-06,5.748093209123968e-07,-2.8389707785121473e-07,-9.6736128971105859e-10,2.3773916347971942e-08,0.99999999786422,5.4799183714670222e-13,-7.5126007453637894e-14,-1.7974401367027861e-08},
{7.5210360672627091e-06,-6.1351684090624579e-06,-9.334439782902614e-06,9.5925117008195515e-06,8.0708019296612118e-08,-2.2152715004721257e-06,4.1125099817920771e-07,1.4684992377074877e-07,-7.2528819982157737e-08,-2.4714676278813567e-10,6.0736616827381022e-09,-1.0911785578023564e-09,0.9999999998607676,-1.9192870123945859e-14,-4.592022958312461e-09},
{-3.4480956052678768e-06,2.8078756167364849e-06,4.2720821256261297e-06,-4.390192910616002e-06,-3.6937253041300195e-08,1.0138605178780443e-06,-1.8821675975918544e-07,-6.7208598649507697e-08,3.3194173906394682e-08,1.1310880099370634e-10,-2.7797244386550948e-09,4.9939844927816557e-10,1.2750837028417925e-10,0.99999999997081557,2.1016255887931165e-09},
{0.00060905873372613269,-9.4760158123130215e-08,-1.0140972428037347e-07,3.3869773333483544e-08,-2.8963900264513786e-08,-4.0275716179185093e-09,4.1569615292964011e-09,-1.8848651579772223e-09,-1.5257266241124144e-10,2.6012208307258817e-10,-5.5973439893259305e-11,-1.5579342537263115e-11,9.4085064899573152e-12,-6.8078146792846677e-13,0.99999981452370157}
}
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],[-1.3752000000000002e-06, 1.3752000000000002e-06],[-1.0982500000000001e-07, 1.0982500000000001e-07],[-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]}