S=8.3637733062744146e-05
a={0,0.67957833208697127,-0.58016037264803055,-0.091832401548548825,0.076741506581000762,-0.011151517046589251,-0.0060185115713139205,0.0017815824010999283,0.0001135842706786208,-0.00015584961192869256,1.6891145613756053e-05,7.426681760337775e-06,-2.3353986876701967e-06,-1.0251750521139905e-07,0}
E={
{-0.4516236391722997,0.36743508053567225,0.55906685994294669,-0.57457583508106369,-0.0048556366759341333,0.13269378965492093,-0.024631243163918355,-0.0087978239643568129,0.0043444240433531357,1.4996161233547758e-05,-0.00036385803787276054,6.5350660692688862e-05,1.6695060020189792e-05,-7.6408278301375879e-06,0.00027545323038248289},
{0.63110016065888752,0.77570125639917953,1.5653890433590081e-07,1.9636382922401593e-07,-3.8860853597434339e-07,1.9716440516997534e-07,-2.1149290799058992e-08,-3.2336389870598225e-08,1.3568036365819381e-08,8.3130990624866314e-10,-2.2225092918495605e-09,6.5364556333429183e-10,7.9090052271552483e-10,-3.3413679685150493e-10,-0.0003847555146300742},
{0.53726856369961973,-0.43711482095792487,0.72129953311164052,1.6717062615581492e-07,-3.3083451530928796e-07,1.6785218126920701e-07,-1.8005048069397899e-08,-2.7528972936220142e-08,1.1550890727183367e-08,7.0771994036674009e-10,-1.8920911824318346e-09,5.5646876769851371e-10,6.7331817720733875e-10,-2.8446103212037814e-10,-0.00032755431857914692},
{-0.32447102131179539,0.26398509123557001,0.40166365120197106,0.81467582516303183,1.997996304850615e-07,-1.0137032939653628e-07,1.0873720198393374e-08,1.6625467918058931e-08,-6.9758855022872096e-09,-4.27410611737288e-10,1.1426834311754512e-09,-3.3606606630206201e-10,-4.0663448576108495e-10,1.7179346916536435e-10,0.00019781863375014741},
{-0.002233362161125857,0.0018175353722352779,0.0027654512301362633,-0.0028421671245165759,0.99998799143904871,-6.9793395873152706e-10,7.4865482118736955e-11,1.1446622208468924e-10,-4.8028919436180826e-11,-2.9427188604099007e-12,7.8673668646609488e-12,-2.3138123494106576e-12,-2.799675388698286e-12,1.1827967484361415e-12,1.3619798116678384e-06},
{0.060504988905741228,-0.049226323477857152,-0.074899778361500899,0.076977559899969739,0.000650523465076695,0.99115083076498023,-2.0276647637570681e-09,-3.1002154623380152e-09,1.3008204164778944e-09,7.9700913917500758e-11,-2.1308060980168976e-10,6.2667542378555128e-11,7.5826709155079593e-11,-3.2034994269168202e-11,-3.6888007613594051e-05},
{-0.011128474253014395,0.0090540082497509999,0.013776028012402018,-0.014158186375281078,-0.00011964827763900265,0.0032697222717677694,0.9996965756471814,5.7021070016927719e-10,-2.3925489352005277e-10,-1.4659082400073197e-11,3.919109660571286e-11,-1.1526199918361642e-11,-1.3946514826380858e-11,5.8920732221879678e-12,6.7846692917318146e-06},
{-0.0039734938114818867,0.0032328242356880004,0.0049188686385932068,-0.0050553221057423325,-4.272161470216812e-05,0.001167487052520957,-0.00021671441863245586,0.99996129766204067,-8.5428353604026019e-11,-5.2341720431152308e-12,1.3993573171870715e-11,-4.1155450067814711e-12,-4.9797426613231755e-12,2.1038236974080889e-12,2.422534054969664e-06},
{0.0019620462680309198,-0.0015963126493797038,-0.0024288521911058603,0.0024962305512595318,2.1095193852369348e-05,-0.00057648489804141266,0.00010700982872553219,3.8221929333356179e-05,0.99999056294404143,2.584543554549902e-12,-6.9097842116608274e-12,2.0321848867513441e-12,2.4589107298042049e-12,-1.0388317258623139e-12,-1.1962053837499374e-06},
{6.7715732633357484e-06,-5.5103350468222283e-06,-8.3841905127829952e-06,8.6167748620187685e-06,7.2818809914660263e-08,-1.9899766776200294e-06,3.6938879777399364e-07,1.3193883868824174e-07,-6.5152276895679381e-08,0.99999999988755728,-2.3851985493346198e-14,7.0149288248719071e-15,8.4879500232052478e-15,-3.5859584753507621e-15,-4.1291989138462266e-09},
{-0.00016432409949489532,0.00013369480129166901,0.00020342187428512996,-0.00020906496461254573,-1.7667702835668769e-06,4.8281916407734556e-05,-8.9623156180870058e-06,-3.201173184788539e-06,1.5807606298055275e-06,5.4564980440835776e-09,0.99999993380366137,-1.7020008877391703e-13,-2.059393450085084e-13,8.7004510819176278e-14,1.0018491124446489e-07},
{2.9513078803265539e-05,-2.401229720052749e-05,-3.6535650270050671e-05,3.7549179298444882e-05,3.1732133756555058e-07,-8.6716889147774218e-06,1.6096795400435865e-06,5.7494772549999307e-07,-2.8391301444746806e-07,-9.8001606290344915e-10,2.3778533435103617e-08,0.99999999786464522,3.6987801397352829e-14,-1.5626472769172126e-14,-1.7993742769389996e-08},
{7.5388861594607768e-06,-6.1345586799295367e-06,-9.3339712080267701e-06,9.5929032560171525e-06,8.1067894749387804e-08,-2.215405886206579e-06,4.1123402404715141e-07,1.4688517866743038e-07,-7.2532879079915775e-08,-2.5037030117898893e-10,6.0748377251592784e-09,-1.09107019167383e-09,0.99999999986063726,-3.9921842318497275e-15,-4.5969642168211164e-09},
{-3.4503570067101017e-06,2.8075960455598727e-06,4.2718673042100749e-06,-4.3903724212072302e-06,-3.7102245231980128e-08,1.0139221302287215e-06,-1.8820897799489225e-07,-6.7224761917346265e-08,3.3196034968181726e-08,1.1458667261502447e-10,-2.7802636280675468e-09,4.9934877386241093e-10,1.2756807194422588e-10,0.99999999997080879,2.1038870485934937e-09},
{0.00060971406646079718,-4.5381112306861962e-08,-6.346853570187996e-08,6.5574317825368254e-08,1.7714283455451936e-10,-1.4909598206572685e-08,2.7825141088212226e-09,9.6992190365194231e-10,-4.8127227753185389e-10,-9.0343076689254661e-13,3.9258680712379423e-11,-6.805218729985561e-12,-1.1357962388758151e-12,5.4670917109395705e-13,0.9999998141243559}
}
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.7190000000000002e-06, 1.7190000000000002e-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]}