S=8.3637733062744146e-05
a={0,0.67933709979592116,-0.57973548026765143,-0.091772465305909642,0.076657180708792627,-0.011132393005407066,-0.0060099749160843954,0.0017781696758307063,0.00011349758885715169,-0.00015550543416356589,1.6838765341207304e-05,7.4091205449711452e-06,-2.3281808035383732e-06,-1.0244226540600127e-07,0}
E={
{-0.451419326534231,0.36768669294499928,0.55905613393146225,-0.5745892903549833,-0.0048292250703022652,0.13268038199494506,-0.024629799751815895,-0.0087956297039233026,0.0043435082626912709,1.4943073061423794e-05,-0.00036373822780648419,6.5329203272398396e-05,1.6687733178934382e-05,-7.6373854733354785e-06,0.00027471652798714336},
{0.63153232421685279,0.77534945274268507,1.5145126452725218e-05,1.8998756124703855e-05,-3.7295469303470476e-05,1.8932753950418591e-05,-2.0381529720522847e-06,-3.0985653428645459e-06,1.2932672465269108e-06,7.5015986916617502e-08,-1.6964343780929303e-07,3.0637947723206404e-08,1.102932709528037e-08,-5.1444385525945583e-09,-0.00038372605689821008},
{0.53700776421991425,-0.43741413860692208,0.72131229315402623,1.6174231114709532e-05,-3.1750791266846735e-05,1.6118041413943025e-05,-1.7351429220257263e-06,-2.6379049054834081e-06,1.1009985707001748e-06,6.3863439360028163e-08,-1.4442272705684002e-07,2.6083036389456919e-08,9.3896086832022409e-09,-4.3796203056063058e-09,-0.00032667790924115225},
{-0.32435767489149347,0.26416588212709574,0.40165594424853446,0.8146661577107539,1.9175134604052e-05,-9.7341074453476989e-06,1.0478982651963417e-06,1.5930998761649008e-06,-6.6492187909922857e-07,-3.8568804024892071e-08,8.7220668232303971e-08,-1.5752228958534784e-08,-5.6706306581972661e-09,2.6449674330564209e-09,0.00019728934719211923},
{-0.002173850078630394,0.001818746699324716,0.0027653995919585403,-0.0028422319021756109,0.99998812033810713,-6.7019256850792809e-08,7.2147717068945765e-09,1.0968480714757642e-08,-4.577982157202115e-09,-2.6554592682317558e-10,6.0051364747889014e-10,-1.0845397839211099e-10,-3.9042249607513147e-11,1.8210580965261381e-11,1.3583356776802796e-06},
{0.060447646640651526,-0.049260015656410867,-0.07489834209392851,0.076979361629688339,0.00064698681665908736,0.99115262657285397,-1.9540565239945746e-07,-2.9707151064168667e-07,1.2399056081680746e-07,7.1920744246693562e-09,-1.6264376175401836e-08,2.9373792081067164e-09,1.0574244848822375e-09,-4.9321733225360589e-10,-3.6789309496979934e-05},
{-0.011120241485439265,0.0090602064391550313,0.013775763789121983,-0.014158517830884943,-0.0001189976573261893,0.0032693919890862916,0.99969661120923781,5.4639219792336983e-08,-2.2805106723319701e-08,-1.322810573128425e-09,2.9914441230435266e-09,-5.4026085442634129e-10,-1.9448801643245469e-10,9.0715565973240226e-11,6.7665161269429219e-06},
{-0.0039668373501077162,0.0032350352463530879,0.0049187743851579644,-0.0050554403422180478,-4.2489526159600392e-05,0.0011673692344560357,-0.00021670173483617422,0.99996131695587009,-8.1427915332218318e-09,-4.723227505846062e-10,1.0681250551818229e-09,-1.9290554368061835e-10,-6.9443892227026782e-11,3.2390900490012864e-11,2.416052285849367e-06},
{0.0019591308753841075,-0.0015974046194616883,-0.0024288056413865138,0.0024962889456802985,2.0980570373459078e-05,-0.00057642671026390455,0.00010700356447469927,3.8212406483393405e-05,0.99999056692052857,2.3322479861853034e-10,-5.2742166365176095e-10,9.5253418391608036e-11,3.4290191950089692e-11,-1.5994065995126597e-11,-1.1930047983538242e-06},
{6.6509602255138233e-06,-5.5140414905379714e-06,-8.3840325096262316e-06,8.6169730695198481e-06,7.2429745207588977e-08,-1.9897791717406282e-06,3.6936753511180637e-07,1.3190651543953472e-07,-6.5138786711907253e-08,0.99999999988834642,-1.8206145786257355e-12,3.288066724210441e-13,1.1836681666811538e-13,-5.5210151059501219e-14,-4.1181507661611944e-09},
{-0.00016398447224216933,0.00013378620154889739,0.00020341797797231756,-0.00020906985235265744,-1.7571760492784324e-06,4.8277045964298609e-05,-8.9617912866681161e-06,-3.2003761015634674e-06,1.5804279649470349e-06,5.4372133476822494e-09,0.99999993384721941,-7.9776896149643696e-12,-2.8718812703432397e-12,1.3395392663570107e-12,9.9916854965672081e-08},
{2.9452215245430531e-05,-2.4028713024218476e-05,-3.6534950477881357e-05,3.7550057154618296e-05,3.1559817765696627e-07,-8.6708141651504115e-06,1.6095853681844862e-06,5.748045664092368e-07,-2.8385326661037568e-07,-9.7655246020322618e-10,2.3770716758280591e-08,0.99999999786604632,5.1580514671211996e-13,-2.4058837492477686e-13,-1.7945598436392107e-08},
{7.5192517776941884e-06,-6.1387496728217261e-06,-9.3337925496426289e-06,9.5931273745094972e-06,8.0627968484202747e-08,-2.2151825608294894e-06,4.1120998177760888e-07,1.4684862985798013e-07,-7.2517625335049524e-08,-2.49486036624328e-10,6.0728421145001165e-09,-1.0907127937460535e-09,0.99999999986075949,-6.1464485998689883e-14,-4.5846645091465967e-09},
{-3.4411736973946733e-06,2.8095140456990656e-06,4.2717855415302065e-06,-4.3904749886217629e-06,-3.6900913789182506e-08,1.0138199257823255e-06,-1.8819797509461471e-07,-6.7208035422223448e-08,3.3189054120046887e-08,1.1418199059054878e-10,-2.7793503406792305e-09,4.9918521146669129e-10,1.275122288573823e-10,0.999999999970835,2.0982578562706084e-09},
{0.00060808272226229633,-3.8422827719522541e-07,-4.9026908668029253e-08,8.3690577034537853e-08,-3.5382912119318936e-08,3.1422921539735947e-09,8.3911473390692002e-10,-1.9844140348882724e-09,7.5172788377548549e-10,7.0573967924503482e-11,-1.2205153209328122e-10,2.2084022265711769e-11,8.7272438524916187e-12,-4.0873222218617253e-12,0.99999981511760516}
}
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]}