S=8.3637733062744146e-05
a={0,0.67717085138726829,-0.56933824229706242,-0.091394362719209102,0.075027600909871484,-0.010568368534849642,-0.0058711605709262172,0.0017002971083057146,0.00011748535497981403,-0.00014872419336461017,1.5358899716967542e-05,7.1497703758942732e-06,-2.1666467515195446e-06,-1.1044975625950807e-07,0}
E={
{-0.44677707445155512,0.37334125734396478,0.55728021482093237,-0.57659171889434724,-0.0027586566591622807,0.13149614840128979,-0.024405346834440695,-0.0086380228352401448,0.004245490828048407,1.8253514134915305e-05,-0.00035288370174250987,6.2437793985493399e-05,1.6197739937926883e-05,-7.271705046030888e-06,0.00025747076402502829},
{0.64122467883070644,0.76735309655567985,-6.2853443242593974e-08,-1.4002185382811622e-07,5.0468206400156263e-07,-2.4430253774776156e-07,1.9044581549429981e-08,4.2754042207478226e-08,-1.5278876023161187e-08,-1.5484708742885897e-09,1.7184096916700532e-09,4.861579079196572e-11,4.7646769101421128e-10,-2.0983241076821248e-10,-0.00036941105345578314},
{0.53059232719265803,-0.44337992983095442,0.72241672648975597,-1.1586190538564948e-07,4.1760213826066333e-07,-2.021495698253854e-07,1.5758550867127564e-08,3.5377083353262823e-08,-1.2642595710158127e-08,-1.2812913203419109e-09,1.421908192910943e-09,4.0227421647433875e-11,3.9425598960645379e-10,-1.736270608050798e-10,-0.00030567134602930583},
{-0.32254670319566325,0.26953056539803216,0.40232374116258668,0.81329728349633923,-2.5386025136296689e-07,1.2288668068180521e-07,-9.5796197311160895e-09,-2.1505721474371307e-08,7.6854312535850223e-09,7.7889672214420925e-10,-8.6437768918850709e-10,-2.4454241102720609e-11,-2.3966813254133247e-10,1.0554785347234391e-10,0.00018581754648240925},
{-0.0012557022708132822,0.0010486472883105562,0.0015652981756900616,-0.0016195406575721344,0.99999612523240744,4.7810824322376338e-10,-3.7270883498411652e-11,-8.3671091578899608e-11,2.9901271759173673e-11,3.0304093281627701e-12,-3.3629852813086873e-12,-9.5142729735565494e-14,-9.3246321865136688e-13,4.1064905094294751e-13,7.2294979576714101e-07},
{0.059305563934221942,-0.049557310599402049,-0.073973363926315441,0.076536772568371284,0.00036618402688149971,0.99131067363810077,1.7613593840322136e-09,3.9541553186530346e-09,-1.4130839045519404e-09,-1.4321205733887137e-10,1.5892903856808339e-10,4.4962856790774862e-12,4.4066646276837614e-11,-1.9406584741755318e-11,-3.4165393645700071e-05},
{-0.010908034171179774,0.0091150784747202306,0.013605924313723525,-0.014077412186096991,-6.7352245292258159e-05,0.0032104614431268186,0.99970211752608573,-7.272879741906244e-10,2.5990858917502053e-10,2.6341000456646713e-11,-2.9231825553305615e-11,-8.2700203761463961e-13,-8.1051803267550404e-12,3.5694540463436543e-12,6.2840424636513775e-06},
{-0.0038595379927440876,0.0032250980527084427,0.0048140496141956968,-0.0049808715042427912,-2.3830578767691925e-05,0.0011359258155184185,-0.00021082490888600349,0.99996269090749701,9.1960885169585427e-11,9.3199756342935676e-12,-1.0342807684573665e-11,-2.9260995048108562e-13,-2.8677757809326295e-12,1.2629446172449248e-12,2.2234205850448934e-06},
{0.0018968243824516204,-0.0015850273982189547,-0.0023659437356300193,0.0024479310929212245,1.1711929256345397e-05,-0.00055826939536015457,0.00010361336348126782,3.6672889997893793e-05,0.99999098786204155,-4.5804550711610439e-12,5.0831426782286548e-12,1.4380796515573056e-13,1.409415500040476e-12,-6.2069487128655201e-13,-1.0927365578758455e-06},
{8.1571855173505932e-06,-6.8143879857550641e-06,-1.0171722344798102e-05,1.0524204367020958e-05,5.0352210421044045e-08,-2.4001252437423463e-06,4.4545707017857612e-07,1.5766497291493511e-07,-7.7490556461316715e-08,0.99999999983340415,2.1853569542073616e-14,6.1826267069535074e-16,6.0593930948064375e-15,-2.6685063539143396e-15,-4.6979193524718531e-09},
{-0.00015766250332572518,0.00013174560664507283,0.00019665445095774702,-0.00020346914333197461,-9.7348173761651866e-07,4.6402693258646785e-05,-8.61222048541673e-06,-3.0482073343798388e-06,1.498159535663314e-06,6.4413462175511248e-09,0.99999993773654405,-1.1953148339093843e-14,-1.1714895293474431e-13,5.1591425140761746e-14,9.0826973014738709e-08},
{2.7895714315405423e-05,-2.33106172117603e-05,-3.4795366200654898e-05,3.6001134570431563e-05,1.7224452993551589e-07,-8.2103338964826242e-06,1.5238168479212042e-06,5.3933938403972532e-07,-2.6507922609446645e-07,-1.1397097757640718e-09,2.2033291873116585e-08,0.99999999805076067,2.072793520566735e-14,-9.1284103759326729e-15,-1.6070614072339299e-08},
{7.2361841311199233e-06,-6.0474085413667003e-06,-9.0268649981346378e-06,9.3396741301977141e-06,4.4684918377653094e-08,-2.1299840684750408e-06,3.9531956318854194e-07,1.3991931506592563e-07,-6.876876574268584e-08,-2.9567173292118081e-10,5.7160355775616451e-09,-1.0113718774412939e-09,0.99999999986881638,-2.3681580942278852e-15,-4.1691546751572537e-09},
{-3.2485691916246536e-06,2.7148820896463088e-06,4.0524588246083563e-06,-4.1928892096745705e-06,-2.0060540607277061e-08,9.5622043050063231e-07,-1.774720517827876e-07,-6.2814417097516349e-08,3.0872577760970511e-08,1.3273683871969423e-10,-2.5661177854107404e-09,4.5403835002956923e-10,1.1778755559674482e-10,0.99999999997356104,1.8716716886745236e-09},
{0.00057613564354050243,-2.7889175887760623e-08,-4.7371666763658894e-08,4.8829017971145504e-08,6.8764005048680058e-10,-1.1384008086339563e-08,2.0892163882232034e-09,7.7181216148883851e-10,-3.7418517040317545e-10,-2.9409794220613176e-12,3.1505025254734774e-11,-5.2575271078356142e-12,-9.4717823989128686e-13,4.2887628764949408e-13,0.99999983403384352}
}
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]}