S=8.3637733062744146e-05
a={0,0.67473878912584351,-0.56638220287452512,-0.090758955634740193,0.074362650348044998,-0.010459079689829636,-0.0057990922379252841,0.0016764416284048456,0.00011558738242730986,-0.00014612198417964265,1.5065455754864758e-05,6.9991992424595792e-06,-2.1175792315167193e-06,-1.0769962867989977e-07,0}
E={
{-0.44521938409854361,0.37518171954651974,0.55726212967907174,-0.57664563755001585,-0.0025358519120784869,0.13138872770814627,-0.024397305606762808,-0.0086190892384342792,0.0042388044213616362,1.7528287260713638e-05,-0.00035194505777788268,6.2307281765659495e-05,1.6134041279439395e-05,-7.2472920876334534e-06,0.00025198559662008383},
{0.64438572242780356,0.76470044906896151,2.5895119973967317e-05,7.7246468842756121e-05,-0.00031925043139669537,0.00015392467498563631,-1.1522048146303458e-05,-2.7131528473740627e-05,9.5813336043299485e-06,1.0393277563164873e-06,-1.3454630367936254e-06,1.873652639288781e-07,9.1899471714910084e-08,-3.5248341019998413e-08,-0.00036153850961194889},
{0.52872880605759809,-0.44556560615338964,0.72243820497826616,6.3918044374427791e-05,-0.00026416564467296054,0.00012736587643989331,-9.5339864168846297e-06,-2.2450142600817687e-05,7.9281307697575605e-06,8.5999785676934359e-07,-1.1133112927781521e-06,1.5503648818438783e-07,7.6042757669788544e-08,-2.916644681876681e-08,-0.00029915716338396286},
{-0.32154608480047658,0.27085978123737464,0.40231067975126988,0.81325835139697678,0.00016058623942254429,-7.7425689300224644e-05,5.7957083226671229e-06,1.3647436930069792e-05,-4.8195090150414237e-06,-5.2279251490484692e-07,6.7678169897992386e-07,-9.4246648316559668e-08,-4.6226376274737486e-08,1.7730276841041707e-08,0.00018185757623259767},
{-0.00075257884972707891,0.0010517651761034667,0.0015652674873519925,-0.0016196321174350634,0.99999662706630732,-3.0123574079169763e-07,2.2549033864224129e-08,5.3097309312889337e-08,-1.8750990550032379e-08,-2.0339992053163117e-09,2.633116195529948e-09,-3.6668009260702354e-10,-1.7985034201298302e-10,6.8982183134889329e-11,7.0754296397143519e-07},
{0.058856148296122589,-0.04980061537143176,-0.073970973088462413,0.076543900544889146,0.00033672954637053196,0.99132490356744762,-1.0656294846635756e-06,-2.5092896973259159e-06,8.8614033386516237e-07,9.6123387725606507e-08,-1.2443665087377819e-07,1.7328685586896849e-08,8.499425227262449e-09,-3.259982166316526e-09,-3.3437292640325538e-05},
{-0.010851989273714257,0.0091599390243582886,0.01360548349360121,-0.014078726436577387,-6.1921450197830193e-05,0.0032078430979089437,0.99970231368994611,4.6153377230534781e-07,-1.6298783337631014e-07,-1.7679979235180263e-08,2.2887639060577888e-08,-3.1872659567919588e-09,-1.5632996826737468e-09,5.9960867351096432e-10,6.1501228114135406e-06},
{-0.0038037017705118362,0.0032408224997005465,0.0048138950949772486,-0.0049813321816773708,-2.1926952997543384e-05,0.001135008022098784,-0.0002107562052863536,0.99996285356965076,-5.7668372856655377e-08,-6.2555321677162935e-09,8.0981069311225515e-09,-1.1277187860100543e-09,-5.5312686302745116e-10,2.1215360579872009e-10,2.1760371191867319e-06},
{0.0018752452194678482,-0.0015927795528324585,-0.0023658675582356424,0.00244815820556675,1.0773446787591419e-05,-0.00055781692558894071,0.00010357949278833641,3.6593139284097439e-05,0.99999101613767405,3.074384007510596e-09,-3.9799476323760226e-09,5.5423591594197823e-10,2.7184327987185798e-10,-1.0426637339814807e-10,-1.0694491754838947e-06},
{6.5055178380518193e-06,-6.841303009984704e-06,-1.0171457701682449e-05,1.0524993258697417e-05,4.7092447471279208e-08,-2.3985536284250887e-06,4.4533942235910709e-07,1.5738796877139049e-07,-7.7392731901258885e-08,0.99999999984532795,-1.711068680662831e-11,2.3827844109102277e-12,1.1687151822138984e-12,-4.4826450608687525e-13,-4.5978016766980844e-09},
{-0.00015501190555023236,0.00013238642871604638,0.00019664815376182004,-0.00020348791751548904,-8.959024955020284e-07,4.6365290049559668e-05,-8.609420579433732e-06,-3.0416147794299037e-06,1.4958313718785817e-06,6.1888272428704356e-09,0.99999993806557386,-4.6067435209549136e-11,-2.2595292586492003e-11,8.666497898987982e-12,8.8891353274689776e-08},
{2.7506337085790359e-05,-2.3424327810004274e-05,-3.479424880362191e-05,3.6004465934349049e-05,1.5847856214953178e-07,-8.2036969224315527e-06,1.5233200215211234e-06,5.3816957472935069e-07,-2.6466610742554328e-07,-1.094901787919797e-09,2.1975298086002139e-08,0.99999999805886697,3.9979338180766973e-12,-1.5334205079230792e-12,-1.5728132133322363e-08},
{7.0683793026893659e-06,-6.0766300009262085e-06,-9.0265778414468782e-06,9.340530243387955e-06,4.1147265455841739e-08,-2.1282784634555114e-06,3.9519188605245743e-07,1.3961869136314004e-07,-6.8662600332248689e-08,-2.8415675176266199e-10,5.7011320737398751e-09,-1.0092997079841792e-09,0.99999999986983801,-3.9781101399182057e-13,-4.0803055390394861e-09},
{-3.1825997004560739e-06,2.7280391763744735e-06,4.0523295320578889e-06,-4.1932746760342991e-06,-1.8467705872880309e-08,9.5545247863371467e-07,-1.7741456491732761e-07,-6.2679060690699472e-08,3.0824776581072855e-08,1.2755219472254857e-10,-2.5594074478448636e-09,4.5310534658592366e-10,1.1733222633652572e-10,0.99999999997373701,1.8317843672408231e-09},
{0.00056385337746890423,-2.3548197256140842e-06,-2.4544602888185512e-08,1.1688066464251922e-07,-2.8049519244991e-07,1.2418747708990747e-07,-8.0596821441189339e-09,-2.312441509419716e-08,8.0647837835125222e-09,9.1237181535433672e-10,-1.1531571738816929e-09,1.5945639166893758e-10,7.943551962366146e-11,-3.0377836199118291e-11,0.99999984103184458}
}
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],[-8.3345454545454563e-07, 8.3345454545454563e-07],[-1.6235000000000002e-07, 1.6235000000000002e-07],[-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]}