S=8.3637733062744146e-05
a={0,0.67831216684090712,-0.57079866520909939,-0.091691546769779128,0.075350411377469395,-0.010624174019071808,-0.0059058822930903093,0.0017120943051461041,0.0001183333964200256,-0.00014999849082960963,1.5509162491407574e-05,7.222497455672997e-06,-2.1910585673181615e-06,-1.1166890977291286e-07,0}
E={
{-0.44753533977270393,0.37243783807653413,0.55729456047206305,-0.57656134133961923,-0.0028660244680843733,0.13154814066973286,-0.024409416499614155,-0.0086471250110709327,0.0042487722639714598,1.8588828602526649e-05,-0.00035334109892743646,6.2503588867690674e-05,1.622847605114163e-05,-7.2837727800058737e-06,0.00026016388942262582},
{0.63967301879362881,0.76864703057675154,-2.0651694806864223e-05,-4.3738856130572841e-05,0.00015460907172531457,-7.4867159940327055e-05,5.860004053938111e-06,1.3106584608043933e-05,-4.7249344248230753e-06,-4.8280595220815861e-07,6.5819416113220353e-07,-9.4382977005912781e-08,-4.3637299676387488e-08,1.7110288890981055e-08,-0.00037327634073041634},
{0.53151020128188098,-0.44230699417956149,0.72239968975737445,-3.6191973418658016e-05,0.00012793218454215826,-6.1949271247472616e-05,4.8488947749324157e-06,1.0845120419406367e-05,-3.9096747431482566e-06,-3.9950062106112124e-07,5.4462662473087758e-07,-7.8097748710448198e-08,-3.6107939934075335e-08,1.4158009045288193e-08,-0.00030886970068863263},
{-0.32302236211661006,0.26887849542139947,0.40233409556552635,0.81331921226487858,-7.7769947875583993e-05,3.7658948864891042e-05,-2.947642106245485e-06,-6.592746404980005e-06,2.3766904479370677e-06,2.4285634289273091e-07,-3.3107840977281028e-07,4.7475604892915962e-08,2.1950009035002728e-08,-8.6066506986848937e-09,0.0001877618256021135},
{-0.0014982030516845074,0.0010456209340388998,0.0015653462367721368,-0.0016194388831017202,0.99999579457754972,1.4651753780023001e-07,-1.1468224067346586e-08,-2.5650024754127564e-08,9.2468548124984146e-09,9.4486740794243714e-10,-1.2881080030340689e-09,1.8471064499015718e-10,8.5399656003122754e-11,-3.34854080394451e-11,7.3051429233440988e-07},
{0.05952366755128511,-0.049437151897580779,-0.073975271962785916,0.076532732214766072,0.00038046443916362437,0.99130376530319697,5.4196901634382053e-07,1.2121771081167372e-06,-4.3699083463786087e-07,-4.4652847437476487e-08,6.0873821722467732e-08,-8.7291149863926426e-09,-4.035844372094132e-09,1.5824641679866619e-09,-3.4522879054044426e-05},
{-0.010935663879623912,0.009093003070796267,0.013606274855512034,-0.014076669898145414,-6.9975821771257752e-05,0.0032117318955255251,0.99970201812392101,-2.2295579263235336e-07,8.0375744812706781e-08,8.2130003339027425e-09,-1.1196524898729193e-08,1.6055465308968829e-09,7.4231304559049075e-10,-2.9106270900777452e-10,6.3497947716583542e-06},
{-0.0038864623253290114,0.0032172524581944879,0.0048141741970212631,-0.0049806076943115993,-2.4763001092593938e-05,0.0011363773358336331,-0.00021086025137554478,0.99996261206970161,2.8438554734234461e-08,2.9059246676015118e-09,-3.9615556522397007e-09,5.6807464744121926e-10,2.626452821825639e-10,-1.0298383922292778e-10,2.2466850737848328e-06},
{0.0019073883887021068,-0.0015811769787891466,-0.0023660048776786391,0.0024478016218207549,1.2169537982253506e-05,-0.00055849098984173443,0.00010363070866092242,3.6711684069505693e-05,0.99999097390349545,-1.4281643968215878e-09,1.946971579007583e-09,-2.7918961398340292e-10,-1.2908133689368234e-10,5.061309890995158e-11,-1.1041702728991815e-06},
{8.9215468355767132e-06,-6.7963722202818547e-06,-1.0172008437063126e-05,1.0523598544580929e-05,5.2493476069566272e-08,-2.4011621381280172e-06,4.455382322842065e-07,1.5784649951592539e-07,-7.7555998667291751e-08,0.99999999982700061,8.3704671485576175e-12,-1.2002987189256158e-12,-5.549495953667609e-13,2.175970549753675e-13,-4.7470754557353861e-09},
{-0.0001589538560197276,0.00013142472519784597,0.00019665954634556567,-0.00020345835360876207,-1.0116174516442787e-06,4.6421160265241489e-05,-8.6136659795423998e-06,-3.0514403135388308e-06,1.4993250604980753e-06,6.5604456854190436e-09,0.99999993757460992,2.3205911207514533e-11,1.0729088377476848e-11,-4.2069010465102417e-12,9.1777329913112758e-08},
{2.8090324841065661e-05,-2.3253911324355297e-05,-3.4796266652437283e-05,3.599922782187638e-05,1.7898383239962639e-07,-8.2135973661494551e-06,1.5240722941076128e-06,5.39910712674423e-07,-2.6528519640939983e-07,-1.16075690831578e-09,2.2062001844742884e-08,0.99999999804664186,-1.8983682152929231e-12,7.4435468798489297e-13,-1.6238766972714805e-08},
{7.3172619967850225e-06,-6.0326369461506952e-06,-9.027099561822125e-06,9.3391774302958974e-06,4.6440478826059523e-08,-2.1308341887738818e-06,3.9538610585109463e-07,1.400681437916134e-07,-6.8822420143962124e-08,-3.0115442187404466e-10,5.7235143849705894e-09,-1.0124476443082877e-09,0.99999999986831634,1.9310586474280361e-13,-4.2127781140368189e-09},
{-3.2810939171178884e-06,2.7082584703406109e-06,4.0525640034624291e-06,-4.1926664884347186e-06,-2.0847737361983882e-08,9.5660162612164161e-07,-1.7750188964517715e-07,-6.2881152193548009e-08,3.0896636501820803e-08,1.3519528748920892e-10,-2.5694713000732897e-09,4.5452072816868121e-10,1.1801287967988911e-10,0.99999999997347278,1.8912556959554299e-09},
{0.00058216241714259358,1.1483265851881782e-06,-6.6064580363214439e-08,9.2449264446425496e-09,1.4060161595156606e-07,-7.913535889380628e-08,7.3923212808342872e-09,1.2632684139244292e-08,-4.6501595665815904e-09,-4.3988250941211229e-10,6.2752638307844437e-10,-9.0990199737994909e-11,-4.0992974980960968e-11,1.6151600965341543e-11,0.99999983054277097}
}
B={
{1,0,0,0,0,0,0,0,0,0,0,0,0,0,0},
{0,-0.75998795376379735,0.52805632414982073,0.3789126926605858,-6.4350349848933998e-17,-2.7394214893181228e-17,-1.285966321968354e-17,-3.3759240659561959e-18,1.1011204101214566e-18,-1.6440754574432136e-19,-2.6664917661814556e-20,-1.6887003312967789e-20,2.2100423389130227e-22,2.5176384222125547e-22,0},
{0,0.61296441698338666,0.73732475319971169,0.20188443299900732,0.19330800692231168,0.044150089886423709,-0.022273021360665682,-0.0072969163481932395,0.0014184862086437115,-0.0009586693812964111,0.00016099932979459647,-4.50195837767145e-05,-9.8019231223049382e-10,4.8560229268607531e-07,0},
{0,0.12976831234340269,-0.4029128087034568,0.8217803650008505,0.28978516003642785,0.026872858380450518,0.24621708821190025,0.01054113835700453,-0.0075633595633213292,0.00305343051823922,-0.00061443887855444201,-0.00014191808078355017,1.4397677196564011e-05,6.6362366098574873e-06,0},
{0,-0.16926570785448344,0.0093452394455781958,-0.35252108026978163,0.8378519193147882,0.27364083025724539,0.26405362536592802,0.015437426599048893,-0.012259325828756404,0.0015480854526898336,-0.00043282070005239837,-0.00016037299893120855,-4.6002824586590716e-06,2.1558305687662824e-06,0},
{0,0.028840086726017958,0.12130880781833747,-0.11121233324326386,-0.31516828722391627,-0.065263695783018758,0.93064644567965304,0.0084453492048752032,-0.047708706220044424,0.0062786865669273084,-0.0020294861397368268,-0.00021843958874620203,1.8851584341971223e-05,4.6457994135876307e-07,0},
{0,0.018216231017084295,-0.017224469039839846,0.060540611034957025,-0.27678273158435929,0.95614521337160485,-0.017357215233604562,-0.035184782595441708,0.0090818542763145601,0.056952913908463444,0.0041997895321642716,-0.00094288929816885607,0.00029408452867825966,-3.6984349469838684e-05,0},
{0,-0.0061646232889048993,-0.0075441210262966385,-0.0018508712813168368,0.021384070081742056,-0.030668009731517242,0.021765409864202691,-0.99040217171872846,0.12993434194927828,-0.0065722570048636674,0.013439356697367363,-0.0051678527354864501,-0.00045250947606696805,-4.7876633920977716e-05,0},
{0,-0.00045012079393966638,0.0036242822151534835,-0.0059536446496634343,0.0071707414857043166,-0.036812824802471528,0.034114308238566565,0.10216674059976681,0.7846367313096998,0.60219955325178542,0.09224795523563796,0.011005206245235044,0.0033340735116800372,-0.0013287804391634622,0},
{0,0.00066658093304056587,9.4019021548634387e-05,0.0012059404428809708,-0.014402339814958446,0.040495191199084145,0.032845622093455568,0.082854855210356154,0.58249143295314998,-0.79383989510271291,0.14276880367798769,-0.016265877909700178,0.0090242422965837212,-0.00021715329962976822,0},
{0,-7.8062018272393268e-05,-0.00030327559121548454,0.00026607818191620969,0.0021079147914142642,-0.0057945485734307751,-0.005865457551940052,-0.008430426533794973,-0.15820738837389942,0.055504605895209683,0.97733254741289211,0.12846565310758148,-0.0078807517920569028,-0.0012481303836096591,0},
{0,-3.8105726983084038e-05,4.9765422757252954e-05,-0.0001457825001840027,0.00064349808682417431,-0.0026546854529036893,-0.0013392921923592377,0.0036913944122572494,-0.022825454546626434,0.027306939268068816,0.12522644005561706,-0.98639131405820957,0.10030403866973155,0.0001925058448855569,0},
{0,1.2730244487388659e-05,1.5031665341301199e-05,4.5848728389306485e-06,-0.00015547112544859012,0.00031692309099900162,0.00032742755148388859,0.0019701596131728662,0.0067803396084953668,-0.0028659569810551917,0.0064462339372166957,-0.10055095997036133,-0.99455401731722948,-0.025533442430492118,0},
{0,6.4736910982631675e-07,-6.075036266226541e-06,9.7646611385528281e-06,7.954050704145315e-06,5.6187602225600838e-06,-5.1552530409228288e-05,-0.00014404662910743151,-0.0011561896025473932,-0.00062061758290682812,-0.0015152073877086813,0.0022070970855068354,0.025425486943427607,-0.99967226224774786,0},
{0,0,0,0,0,0,0,0,0,0,0,0,0,0,1}
}
r={[0, 0],[-2.2920000000000002e-06, 2.2920000000000002e-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]}