S=8.3637733062744146e-05
a={0,0.67719204911649455,-0.56936516007873472,-0.091399882965607776,0.075033562764551073,-0.010569391595516522,-0.0058718022697997908,0.0017005142548319682,0.00011750120178059626,-0.00014874767167222711,1.536164982997435e-05,7.1511124543829712e-06,-2.1670951769769329e-06,-1.1047254651375119e-07,0}
E={
{-0.44679109505579151,0.37332459663700573,0.55728046237161066,-0.57659116839570446,-0.0027606398451904151,0.1314971084288446,-0.024405421706013813,-0.0086381909480997693,0.004245551286068688,1.8259731954762167e-05,-0.00035289213085887928,6.2439001484717137e-05,1.6198306722150831e-05,-7.2719268894020868e-06,0.00025752034087353379},
{0.64119606351917724,0.76737700747116511,-4.1814835533674254e-07,-9.3012062238634692e-07,3.3510369415671316e-06,-1.6221752401869479e-06,1.2650342628413804e-07,2.8403671769604419e-07,-1.0205077935081318e-07,-1.0472548435600651e-08,1.3816233383222077e-08,-1.6844380757538176e-09,-3.3700495684506546e-10,1.0856656181733538e-10,-0.00036948220824189722},
{0.53060926082223292,-0.44336014356767051,0.72241643249874399,-7.6963377231990911e-07,2.7728352006269278e-06,-1.3422784308369396e-06,1.0467600313793476e-07,2.3502785043397751e-07,-8.444251679983757e-08,-8.6655717167134709e-09,1.1432323466744886e-08,-1.3937981798333614e-09,-2.7885673104242151e-10,8.9834039275448908e-11,-0.00030573022347502509},
{-0.32255552878109034,0.26951853740693665,0.40232391987873395,0.81329768092328247,-1.6856059309239759e-06,8.1597077368618654e-07,-6.3632520124232632e-08,-1.428733804785407e-07,5.1332588069641284e-08,5.2677992104374362e-09,-6.9497070130363651e-09,8.4728961819756863e-10,1.6951694771132146e-10,-5.4610093439694861e-11,0.00018585333806918634},
{-0.0012601813854250404,0.0010486002671651299,0.0015652988743459725,-0.001619539103912245,0.99999611964865021,3.1746512391442454e-09,-2.4757143927635821e-10,-5.558693632194705e-10,1.9971679082036382e-10,2.0495127803711271e-11,-2.7038831159223342e-11,3.2965016922172338e-12,6.5952998007523521e-13,-2.1246839518467294e-13,7.2308904806511035e-07},
{0.059309593712900205,-0.04955509894796456,-0.073973396787814491,0.076536699491573559,0.0003664472879932215,0.99131054620090553,1.1699810592229199e-08,2.6269452900832626e-08,-9.4382802455263118e-09,-9.6856533238132495e-10,1.2778097672501898e-09,-1.5578713574357591e-10,-3.1168279626752478e-11,1.0040899660315421e-11,-3.4171974475522616e-05},
{-0.010908544208345352,0.0091146716972442966,0.013605930357767138,-0.014077398745463963,-6.7400665530924653e-05,0.0032104848825634975,0.99970211569808698,-4.8317417103593695e-09,1.7359833305000218e-09,1.781482672387309e-10,-2.3502761072325976e-10,2.8653935220635509e-11,5.7327831410342466e-12,-1.8468231478675266e-12,6.2852528759908278e-06},
{-0.0038600354095670634,0.0032249541106486672,0.0048140517529376677,-0.0049808667481476051,-2.3847712727468011e-05,0.001135934109784951,-0.00021082555574741417,0.99996268945516298,6.1422580999919888e-10,6.3032439207699798e-11,-8.3157494679495206e-11,1.0138338463056252e-11,2.0283739517715329e-12,-6.5344316614922602e-13,2.2238488532699239e-06},
{0.0018970192295239094,-0.0015849566580416986,-0.0023659447867125719,0.002447928755543134,1.1720349723249417e-05,-0.00055827347156890911,0.00010361368138064326,3.6673603793139909e-05,0.99999098760535354,-3.0978327320358459e-11,4.0869116310654636e-11,-4.9826529218841109e-12,-9.968776870449745e-13,3.2114537437823216e-13,-1.0929470373277384e-06},
{8.1713585572612086e-06,-6.814083186202952e-06,-1.0171726873614848e-05,1.052419429591619e-05,5.0388491849801278e-08,-2.4001428069817838e-06,4.4545843991758457e-07,1.5766804845775521e-07,-7.7491662509229638e-08,0.99999999983329058,1.7570549008440045e-13,-2.1421541560103428e-14,-4.2858005842485518e-15,1.3806759354591189e-15,-4.69882425080551e-09},
{-0.00015768631755079732,0.00013173972644447225,0.00019665453832784399,-0.00020346894903995339,-9.7418167980713712e-07,4.6403032089084221e-05,-8.6122469104578675e-06,-3.0482666678361846e-06,1.4981808736075796e-06,6.4435407229618494e-09,0.99999993773356932,4.1415223021792314e-13,8.2859296808212863e-14,-2.6693224494953286e-14,9.0844467818366801e-08},
{2.789929243494077e-05,-2.3309576837578263e-05,-3.4795381658902e-05,3.6001100194665068e-05,1.7236836955130673e-07,-8.2103938451923288e-06,1.5238215232600994e-06,5.3934988181019132e-07,-2.6508300138181023e-07,-1.1400980460155839e-09,2.2033818225638012e-08,0.99999999805068529,-1.4660840685587474e-14,4.723007879372502e-15,-1.6073709543079401e-08},
{7.2376798512626311e-06,-6.0471386420513246e-06,-9.0268690083938798e-06,9.3396652122565131e-06,4.4717045498943918e-08,-2.1299996206830718e-06,3.9532077608942061e-07,1.3992203845245989e-07,-6.876974514739374e-08,-2.9577245999204263e-10,5.7161721263100675e-09,-1.0113914379248154e-09,0.99999999986880717,1.2252767873558821e-15,-4.1699577245149095e-09},
{-3.2491676916638061e-06,2.7147609258670821e-06,4.0524606249025475e-06,-4.1928852062132838e-06,-2.0074963183425568e-08,9.562274122311957e-07,-1.7747259628085072e-07,-6.2815639686039525e-08,3.0873017437443274e-08,1.3278205733608731e-10,-2.5661790852160975e-09,4.5404713120425326e-10,1.1779167701314064e-10,0.99999999997355948,1.8720322041421517e-09},
{0.00057624661029274655,-6.400043708541013e-09,-4.7690966456720882e-08,4.811896471386488e-08,3.2456285787101454e-09,-1.2622287470037885e-08,2.1857884952216945e-09,9.8865030327722836e-10,-4.5216612864250839e-10,-1.0960946130699833e-11,4.2377135517328843e-11,-6.8149423969690174e-12,-1.6781299492187812e-12,7.1497193977397003e-13,0.99999983396990577}
}
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]}