S=8.3637733062744146e-05
a={0,0.67957935703533512,-0.58016490393721665,-0.091832588931562154,0.076742228469674004,-0.011151763291168956,-0.0060185738466877131,0.0017816168843938543,0.00011358258065372719,-0.00015585264400702349,1.6891803083592063e-05,7.4267990803862799e-06,-2.3354711948160415e-06,-1.0251395910589277e-07,0}
E={
{-0.45162563684315127,0.36743260614993856,0.55906709128740928,-0.57457559497069122,-0.0048558212298539351,0.13269389564064657,-0.024631262579090415,-0.008797837939229225,0.0043444325879485237,1.4995895908500217e-05,-0.0003638589918347897,6.535091278393042e-05,1.6695103523984329e-05,-7.6408599941021982e-06,0.0002754596823663624},
{0.63109591068973903,0.77570471409349961,-1.667386445452831e-07,-1.3916307837835488e-07,-1.3071547754287263e-07,4.9061427978955555e-08,5.9812019022234968e-09,-1.2808096584497685e-08,1.6279370211287533e-09,1.2020714557840604e-09,-8.8945595435774711e-10,3.013767511208594e-10,7.3010892229199828e-10,-2.8919131782267735e-10,-0.00038476453054305703},
{0.53727132805977773,-0.43711187733520818,0.72129925789542038,-1.1847385045240046e-07,-1.1128214553468169e-07,4.1767517281528588e-08,5.0919829316629408e-09,-1.0903930390561307e-08,1.3859133430183697e-09,1.0233607618628355e-09,-7.5722147690291975e-10,2.565713877792904e-10,6.2156439982506167e-10,-2.4619754999469615e-10,-0.0003275619941058677},
{-0.32447182875978164,0.26398331350184984,0.40166381741226798,0.81467599767123378,6.7206202885139627e-08,-2.5224497852050666e-08,-3.0751818887124165e-09,6.585169207397564e-09,-8.3698937405147161e-10,-6.1803437250434267e-10,4.5730588641521842e-10,-1.549501823550174e-10,-3.7537902383193304e-10,1.4868514994123795e-10,0.00019782326920180553},
{-0.0022337808520373394,0.0018175231360945661,0.0027654523742852944,-0.0028421659370363663,0.99998799052631204,-1.7367047871407032e-10,-2.1172604222689513e-11,4.5338840665320933e-11,-5.7626655657679216e-12,-4.2551620255243475e-12,3.148547602277123e-12,-1.0668308449330725e-12,-2.5844817674324389e-12,1.0236961436885766e-12,1.3620117267177844e-06},
{0.060505493500047351,-0.049225991979174752,-0.074899809355278027,0.076977527731815168,0.00065054819011262305,0.99115081656581694,5.7344108836760025e-10,-1.2279620336296444e-09,1.56076653853078e-10,1.1524726567137367e-10,-8.5275601684011574e-11,2.8894161272721149e-11,6.9998381984882706e-11,-2.7725896388955285e-11,-3.6888872004237213e-05},
{-0.011128566489154912,0.0090539472783396895,0.013776033712980562,-0.014158180458703313,-0.00011965282522983564,0.0032697248833624842,0.99969657516877053,2.2585433164551717e-10,-2.8706578336533368e-11,-2.1196986092357915e-11,1.5684413274224738e-11,-5.3143918956108531e-12,-1.2874533038220154e-11,5.0995174308444767e-12,6.7848282757765539e-06},
{-0.0039735423331045839,0.0032328024654565096,0.0049188706740258175,-0.0050553199931864809,-4.2723238445701339e-05,0.0011674879850065534,-0.00021671458945212024,0.99996129753908602,-1.024997100763861e-11,-7.5685959718478287e-12,5.6002766889702333e-12,-1.8975567995762089e-12,-4.596980838084381e-12,1.8208337221770823e-12,2.4225908218135611e-06},
{0.0019620738666805918,-0.0015963018995967504,-0.0024288531961701612,0.002496229508113196,2.1095995629620144e-05,-0.0005764853584872689,0.00010700991307352364,3.8221990045795623e-05,0.9999905629069199,3.7372416830830947e-12,-2.7653196918382917e-12,9.3698070205405275e-13,2.269909566878009e-12,-8.9909617448610212e-13,-1.196233414234854e-06},
{6.771015733228329e-06,-5.5102979460549135e-06,-8.384193981369985e-06,8.6167712619714418e-06,7.2821577208567983e-08,-1.9899782667988733e-06,3.6938908887643852e-07,1.3193904823718698e-07,-6.5152405013503876e-08,0.99999999988756116,-9.5456476121266969e-15,3.2343774321542781e-15,7.8355341360095445e-15,-3.1036032754328152e-15,-4.1292956726883491e-09},
{-0.00016432693865112182,0.00013369390098261666,0.00020342195846080022,-0.00020906487724747517,-1.7668374334156983e-06,4.8281954970673368e-05,-8.9623226823534207e-06,-3.2011782695289397e-06,1.580763738766973e-06,5.4564015010491288e-09,0.9999999338033142,-7.847425679895846e-14,-1.9011006937102836e-13,7.5301341779056623e-14,1.0018725886108797e-07},
{2.9513767539426117e-05,-2.4012135502510593e-05,-3.6535665388289323e-05,3.7549163607388612e-05,3.173333978336433e-07,-8.6716958407777546e-06,1.6096808088077576e-06,5.7494863873029998e-07,-2.8391357282538479e-07,-9.799987231574212e-10,2.3778595774624426e-08,0.9999999978646289,3.4144779325170173e-14,-1.3524521380523208e-14,-1.7994164413818401e-08},
{7.5390158389095518e-06,-6.1345173754129577e-06,-9.3339750698508895e-06,9.5928992478692129e-06,8.1070975460540747e-08,-2.2154076554030275e-06,4.1123434814264073e-07,1.4688541194593976e-07,-7.2533021713325887e-08,-2.5036587196399736e-10,6.0748536493696283e-09,-1.0910743997493901e-09,0.99999999986063659,-3.4551867076347219e-15,-4.5970719367310026e-09},
{-3.4504434892229057e-06,2.8075771415402808e-06,4.2718690716762049e-06,-4.3903705867735827e-06,-3.7103655189727312e-08,1.0139229399429595e-06,-1.8820912632543569e-07,-6.7224868682453379e-08,3.3196100247806325e-08,1.1458464542397041e-10,-2.780270916136542e-09,4.9935069977892011e-10,1.2756840422623981e-10,0.99999999997080846,2.1039363486342584e-09},
{0.00060972835282428013,-4.2040582987207991e-08,-6.3780864364345191e-08,6.5250155437305705e-08,4.2629550320720147e-10,-1.5052682336282986e-08,2.808725554358896e-09,9.88788287367626e-10,-4.9280780881315851e-10,-5.4520342738445434e-13,4.0546549996044529e-11,-7.1455458335084662e-12,-1.1945116890891459e-12,5.901253484291128e-13,0.99999981411564542}
}
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.5280000000000002e-06, 1.5280000000000002e-06],[-1.9100000000000002e-08, 1.9100000000000002e-08],[-1.2733333333333335e-08, 1.2733333333333335e-08],[-9.5500000000000011e-09, 9.5500000000000011e-09],[-7.6400000000000009e-09, 7.6400000000000009e-09],[-6.3666666666666674e-09, 6.3666666666666674e-09],[-5.4571428571428573e-09, 5.4571428571428573e-09],[-4.7750000000000006e-09, 4.7750000000000006e-09],[-4.244444444444445e-09, 4.244444444444445e-09],[-3.8200000000000005e-09, 3.8200000000000005e-09],[-3.4727272727272731e-09, 3.4727272727272731e-09],[-3.1833333333333337e-09, 3.1833333333333337e-09],[-2.9384615384615388e-09, 2.9384615384615388e-09],[-1.91e-07, 1.91e-07]}