S=8.3637733062744146e-05
a={0,0.67950274495831819,-0.58002756910773889,-0.091813611427843153,0.07671512371591134,-0.011145543200217416,-0.0060158390781696238,0.0017805150476436389,0.00011355686292345845,-0.00015574190016272749,1.6874773702591396e-05,7.4211809396784105e-06,-2.3331402858281446e-06,-1.0249349821727221e-07,0}
E={
{-0.4515597840852435,0.36751375649786455,0.55906351980273128,-0.57458002582968148,-0.0048473654397252468,0.13268959246518022,-0.024630792504144381,-0.0087971364995353008,0.0043441375093826833,1.4979440697051333e-05,-0.00036382052226249155,6.5343952701029599e-05,1.6692763454565272e-05,-7.6397503660216585e-06,0.00027522264033704542},
{0.63123529313822613,0.77559129486268708,4.8240255833275121e-06,6.0524759772809291e-06,-1.1946683537010431e-05,6.0622501522511715e-06,-6.5089497981951442e-07,-9.9299019594437352e-07,4.1396663993494812e-07,2.4196356205480705e-08,-5.46463038932126e-08,1.0027300274634423e-08,4.0000895437479231e-09,-1.8397702411857276e-09,-0.00038443329129176512},
{0.53718706713694453,-0.43720841586226411,0.72130350666695353,5.1526607653415674e-06,-1.0170582711487484e-05,5.1609818239647977e-06,-5.5412711052430577e-07,-8.4536339212973322e-07,3.5242265673150499e-07,2.0599109480223926e-08,-4.6522095600963495e-08,8.5365521318267337e-09,3.4054004554496739e-09,-1.5662535422615896e-09,-0.0003272799998442704},
{-0.32443555536772062,0.26404161820684491,0.40166125138372999,0.81467281425750881,6.1422813326244082e-06,-3.116852122884747e-06,3.3465187820705072e-07,5.1053709802619208e-07,-2.1283727462237117e-07,-1.244034183863788e-08,2.8095912247117118e-08,-5.1554474597555837e-09,-2.0566105444444567e-09,9.4590154445113916e-10,0.00019765296547997842},
{-0.0022147254767979348,0.0018179211402956405,0.0027654348525694319,-0.0028421876728366492,0.99998803217400867,-2.1459503520368903e-08,2.304075674853077e-09,3.515044095906511e-09,-1.4653830415858558e-09,-8.5651660378347499e-11,1.9344014537721086e-10,-3.5495217145087504e-11,-1.4159748194086716e-11,6.512525048560439e-12,1.3608391868686149e-06},
{0.060487052125628035,-0.049236862176057848,-0.074899330947456988,0.076978121253585913,0.00064941552739798789,0.99115139302788158,-6.2403833234842648e-08,-9.5201832113087416e-08,3.9688591807215534e-08,2.3197987760807158e-09,-5.2391536896023992e-09,9.6135627641498666e-10,3.8350414206945959e-10,-1.7638592842378381e-10,-3.6857114808930134e-05},
{-0.011125902230265085,0.0090559467271368443,0.013775945715520354,-0.014158289630091083,-0.00011944448471446772,0.0032696188582572879,0.99969658675140682,1.7510106634705299e-08,-7.2997699655736804e-09,-4.266716620733694e-10,9.6361737735133639e-10,-1.7681856052808525e-10,-7.0536441089665994e-11,3.2441985064742937e-11,6.7789872970484984e-06},
{-0.0039714097082606684,0.0032335161716763013,0.0049188392628693603,-0.0050553589623610817,-4.2648871186028979e-05,0.0011674501392552258,-0.00021671045518900493,0.99996130370936376,-2.6064559044140401e-09,-1.5234738602845028e-10,3.4406922610679738e-10,-6.3134836203678497e-11,-2.5185742046992654e-11,1.1583735367324416e-11,2.4205052419164962e-06},
{0.0019611343950846618,-0.001596654337164505,-0.0024288376849577516,0.002496248751579392,2.1059272074597917e-05,-0.00057646666974838434,0.00010700787152106766,3.8218943690389869e-05,0.99999056418866639,7.5226502180063718e-11,-1.6989542822155738e-10,3.1174889291595091e-11,1.2436283472928184e-11,-5.7198480169500675e-12,-1.1952035909818057e-06},
{6.7335926550728884e-06,-5.5115080349023575e-06,-8.3841407142496816e-06,8.6168373423730786e-06,7.2695493157487941e-08,-1.9899141012618831e-06,3.6938207883727752e-07,1.3192858920306176e-07,-6.5148004935936874e-08,0.99999999988780719,-5.8646452123405518e-13,1.0761305771653026e-13,4.2928989374255264e-14,-1.9744427286297774e-14,-4.125740810692485e-09},
{-0.00016421779728992134,0.00013372341272830011,0.0002034206596038741,-0.00020906648862755321,-1.7637623513986413e-06,4.8280390050398893e-05,-8.9621517303656391e-06,-3.2009231801392788e-06,1.5806564283767832e-06,5.4504174306828519e-09,0.99999993381730812,-2.6109676140685368e-12,-1.0415669189180275e-12,4.7905023141911683e-13,1.0010100883027748e-07},
{2.9494052815015049e-05,-2.4017435908398557e-05,-3.6535432109312533e-05,3.7549453016539526e-05,3.1678110308091027e-07,-8.6714147759928798e-06,1.6096501052712153e-06,5.7490282384486789e-07,-2.838942995290326e-07,-9.7892396478506182e-10,2.3776083119781282e-08,0.99999999786508365,1.8707095692648958e-13,-8.6039968800511508e-14,-1.7978673449670429e-08},
{7.532734951495362e-06,-6.1358710903493324e-06,-9.3339154904335197e-06,9.5929731627914745e-06,8.0929920496238287e-08,-2.2153358719902522e-06,4.1122650649528652e-07,1.4687371092062717e-07,-7.252809934658165e-08,-2.5009138271704135e-10,6.074211922980152e-09,-1.0909582969636673e-09,0.99999999986067556,-2.1981122152435371e-14,-4.5931143716604674e-09},
{-3.44748334040984e-06,2.8081966920064882e-06,4.27184180412722e-06,-4.390404415204699e-06,-3.70390990212964e-08,1.013890087058677e-06,-1.8820553746230479e-07,-6.7219513512381674e-08,3.3193847443771315e-08,1.1445902094831849e-10,-2.7799772193393331e-09,4.9929756341948629e-10,1.2755054154650744e-10,0.99999999997081701,2.1021250946189678e-09},
{0.00060920347155853051,-1.5151306689236177e-07,-5.8963086526181232e-08,7.1227127917088796e-08,-1.0979678690663581e-08,-9.2481264472863257e-09,2.1746308339403217e-09,4.2618463265150039e-11,-9.4774113374145296e-11,2.1650430826335777e-11,-1.1344782177343894e-11,2.2427436263574368e-12,1.9614290763123777e-12,-9.0642489412828123e-13,0.99999981443553199}
}
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]}