S=8.3637733062744146e-05
a={0,0.67715741652276507,-0.56932118744299098,-0.091390864011623746,0.075023823185575184,-0.010567720468399811,-0.0058707539442856976,0.0017001595308219247,0.00011747530870937967,-0.00014870931749798465,1.5357157713333176e-05,7.1489199722460439e-06,-2.1663626602267336e-06,-1.1043530763718176e-07,0}
E={
{-0.44676819014011532,0.37335181372805859,0.55728005838364347,-0.5765920674347409,-0.0027573999858358979,0.13149554007841113,-0.024405299401564239,-0.0086379163076738021,0.0042454525220624361,1.8249573326252953e-05,-0.00035287836095341824,6.2437029040554452e-05,1.6197380801694991e-05,-7.2715644966080044e-06,0.00025743935293628993},
{0.64124280976499726,0.76733794542640488,1.6167199407941865e-07,3.60218050795755e-07,-1.2989482167598275e-06,6.2878805976296642e-07,-4.9033085118384505e-08,-1.101388184019164e-07,3.9699492316075362e-08,4.107544099189524e-09,-5.9469163012769709e-09,1.1464970633284568e-09,9.9191517381835237e-10,-4.1155487650626409e-10,-0.0003693659709350468},
{0.5305815978905366,-0.44339246658668313,0.72241691227462856,2.9806454198643272e-07,-1.0748223317222805e-06,5.2029437344147171e-07,-4.0572714293189295e-08,-9.1135012220718157e-08,3.2849578104273922e-08,3.3988114917743057e-09,-4.9208108244890732e-09,9.4867572936140445e-10,8.2076603689305646e-10,-3.4054349995754121e-10,-0.00030563404223271672},
{-0.32254110997230545,0.26953818649884842,0.40232362822388168,0.81329703187043068,6.5338426770951552e-07,-3.1628683936897068e-07,2.466414442290181e-08,5.5400954617686845e-08,-1.9969251568579448e-08,-2.0661367856753542e-09,2.9913598575343463e-09,-5.7669977485887008e-10,-4.9894349991324459e-10,2.0701632146546062e-10,0.00018579486951236706},
{-0.001252864020899265,0.0010486769099898627,0.0015652977367200092,-0.0016195416355920546,0.99999612876043031,-1.2305592784646829e-09,9.5959388704437136e-11,2.1554535395026467e-10,-7.7693235202978172e-11,-8.0386012812539669e-12,1.1638314244092442e-11,-2.2437331260903323e-12,-1.9412111944682913e-12,8.0542666803387669e-13,7.2286156776515188e-07},
{0.05930301044192357,-0.049558711839304971,-0.073973343161044855,0.076536818833143783,0.00036601721779288074,0.99131075438645455,-4.5348796117813964e-09,-1.0186311566019617e-08,3.6716518627405299e-09,3.7989080119061184e-10,-5.5000719254556504e-10,1.0603506071378211e-10,9.1738382107083553e-11,-3.8063112164882256e-11,-3.416122413844496e-05},
{-0.010907711003593836,0.0091153362063657612,0.013605920494343747,-0.014077420695629089,-6.7321563907285682e-05,0.0032104465910661956,0.99970211868415082,1.8735687663764397e-09,-6.7532710013619104e-10,-6.9873332969133683e-11,1.0116284884621764e-10,-1.9503033714881565e-11,-1.6873444944908001e-11,7.0009500145986642e-12,6.2832755659854176e-06},
{-0.0038592227968466753,0.003225189241256339,0.0048140482628533056,-0.0049808745150173401,-2.3819723325640639e-05,0.001135920560681208,-0.00021082449914957568,0.99996269182771991,-2.3894430771345676e-10,-2.4722590238406644e-11,3.5793450136462811e-11,-6.9005655010304322e-12,-5.9701641178609394e-12,2.4770768923599834e-12,2.2231492412296685e-06},
{0.0018967009241926854,-0.0015850722146521221,-0.0023659430714858126,0.0024479325726265086,1.1706594132534004e-05,-0.00055826681276545268,0.00010361316210811651,3.6672437742133134e-05,0.99999098802466879,1.2150322948584455e-11,-1.7591278841962096e-11,3.3913962314564279e-12,2.9341351932796853e-12,-1.2174001154665111e-12,-1.0926032015020476e-06},
{8.1482027821620869e-06,-6.814580572459668e-06,-1.0171719490814608e-05,1.052421072566157e-05,5.0329284145137135e-08,-2.4001141457283709e-06,4.4545620483106586e-07,1.5766302946642798e-07,-7.7489857622746774e-08,0.99999999983347609,-7.5628850075835667e-14,1.4580372435380123e-14,1.261450475693618e-14,-5.2338759244983946e-15,-4.6973460235347675e-09},
{-0.00015764741410445612,0.00013174933166848065,0.00019665439575583668,-0.00020346926632116511,-9.730382962340613e-07,4.6402478600204858e-05,-8.6122037478129564e-06,-3.0481697440772128e-06,1.4981460186604764e-06,6.4399556279649987e-09,0.99999993773842866,-2.8188885213256579e-13,-2.4388185432278537e-13,1.01188860788841e-13,9.0815888590339257e-08},
{2.7893447448677857e-05,-2.3311276298528488e-05,-3.4795356433508591e-05,3.6001156331515756e-05,1.7216606966408277e-07,-8.210295915905516e-06,1.5238138864543943e-06,5.3933273300201934e-07,-2.6507683446440497e-07,-1.1394637318669166e-09,2.2032958422631062e-08,0.99999999805080853,4.3151621483572135e-14,-1.7904011068323535e-14,-1.6068652832183167e-08},
{7.2352363802852968e-06,-6.0475795031999432e-06,-9.0268624646150316e-06,9.3396797748488374e-06,4.4664566411122374e-08,-2.1299742166172791e-06,3.9531879500775315e-07,1.399175898399853e-07,-6.8768145373045771e-08,-2.9560791112239498e-10,5.7159490834133835e-09,-1.0113594895176188e-09,0.99999999986882215,-4.6447877544285633e-15,-4.1686458760827893e-09},
{-3.2481899993556474e-06,2.714958841016047e-06,4.0524576872135591e-06,-4.1928917437764602e-06,-2.0051403823478848e-08,9.5621600762118981e-07,-1.7747170691676296e-07,-6.2813642576958988e-08,3.0872299253071931e-08,1.3270818664686214e-10,-2.5660789548162715e-09,4.5403278858650586e-10,1.1778494476116681e-10,0.99999999997356204,1.8714432719097129e-09},
{0.00057606533637984949,-4.1500964933532697e-08,-4.7169951636940367e-08,4.9278436783444258e-08,-9.3275320832594437e-10,-1.0599617774517194e-08,2.0280549670474643e-09,6.3445221703072909e-10,-3.2479225565383343e-10,2.1404177335396004e-12,2.4618492929913081e-11,-4.2712223940555051e-12,-4.8416490006722047e-13,2.476766985046468e-13,0.99999983407434712}
}
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]}