S=8.3637733062744146e-05
a={0,0.67718477402813415,-0.56933519848008263,-0.091398486434196236,0.075028764289457608,-0.010567810394892515,-0.005871384950051445,0.0017002913180964216,0.00011751043897103719,-0.00014872797653442621,1.5357557244093505e-05,7.1503235079452335e-06,-2.1666381387867214e-06,-1.1049110247367659e-07,0}
E={
{-0.4467773844207526,0.37334097003106015,0.55727894908069664,-0.57659282113320776,-0.0027594312343824927,0.13149642924229768,-0.024405299310627022,-0.0086381006709239094,0.0042454967489929055,1.8261248032035767e-05,-0.00035288603929878678,6.2437425175714621e-05,1.6198023995255591e-05,-7.2717253513629819e-06,0.00025747886348728325},
{0.64122418535016401,0.76735350891273668,1.753793024671394e-06,1.4419604370442739e-06,1.6163855575004704e-06,-6.4737749159357636e-07,-4.9163602490893757e-08,1.5446710215513038e-07,-2.377686555513138e-08,-1.2648486547489079e-08,5.0733691522492691e-09,5.7794715647274545e-10,6.8776619934477092e-11,-1.8068934085289983e-10,-0.00036942267814597124},
{0.53059056565491525,-0.4433795886336801,0.7224182296818481,1.1931586333939682e-06,1.3374877238820812e-06,-5.3567630797640689e-07,-4.068071165604547e-08,1.2781471098750419e-07,-1.9674307064181725e-08,-1.0466064488422017e-08,4.1979891050083359e-09,4.7822576938112941e-10,5.6909618145609359e-11,-1.4951245642110406e-10,-0.00030568096494748321},
{-0.32255002281908451,0.26953035795259739,0.40232282736430458,0.81329648774099428,-8.1305850394699059e-07,3.2563751412727367e-07,2.4729795998084483e-08,-7.7698535725242521e-08,1.1960007094586587e-08,6.3623183848519448e-09,-2.5519566873787187e-09,-2.9071334387280246e-10,-3.4595344811927579e-11,9.0888590581202582e-11,0.00018582339382073102},
{-0.0012574370828609964,0.0010486464682158074,0.0015652946134846885,-0.0016195437594007495,0.99999612305389918,1.2669394187835235e-09,9.6214815588460893e-11,-3.0229728892054513e-10,4.6532121699621022e-11,2.4753511517128706e-11,-9.9287532364840731e-12,-1.1310619290698774e-12,-1.3459814714066724e-13,3.53615087709868e-13,7.2297254567491674e-07},
{0.05930623904916018,-0.049557272456646664,-0.073973195909160003,0.076536918881908639,0.00036628684624457892,0.99131063635883043,-4.5469506564080517e-09,1.4286062371518504e-08,-2.1990299525830944e-09,-1.1698093976211466e-09,4.6921620934809103e-10,5.3452087917360899e-11,6.3608824682735669e-12,-1.6711255389051622e-11,-3.416646876814857e-05},
{-0.010907935374612066,0.0091150714607653709,0.013605893411046194,-0.014077439096950259,-6.7371156229421357e-05,0.003210468299734977,0.99970211868637104,-2.6276361254163728e-09,4.0446768284904987e-10,2.1516309764383368e-10,-8.6302959505982669e-11,-9.831445050528816e-12,-1.1699574122954623e-12,3.0737019914157669e-12,6.2842402109740039e-06},
{-0.0038597148943093169,0.0032250955694571063,0.004814038679468508,-0.0049808810264587774,-2.383727046893598e-05,0.0011359282417734509,-0.00021082449833241209,0.99996269023508888,1.4310879932673492e-10,7.6129030510254796e-11,-3.0535722478749835e-11,-3.4785629524906895e-12,-4.1395445837308058e-13,1.0875375714856667e-12,2.2234905520240003e-06},
{0.0018968389512040319,-0.0015850261783150943,-0.0023659383618020568,0.0024479357725858287,1.1715217804870757e-05,-0.00055827058770434497,0.0001036131617144636,3.6673220458111144e-05,0.99999098783690366,-3.7414862178474614e-11,1.5007282246365309e-11,1.7095968854651286e-12,2.0344471617424453e-13,-5.3448819824731449e-13,-1.0927709442966733e-06},
{8.1745016876292838e-06,-6.8143826144596502e-06,-1.0171699187766962e-05,1.0524224530451543e-05,5.0366396129174394e-08,-2.4001303887697575e-06,4.4545620116905232e-07,1.5766639819656648e-07,-7.7490665206865395e-08,0.99999999983326293,6.4519669620475694e-14,7.3499401435946258e-15,8.7465442835534622e-16,-2.2978845468435259e-15,-4.6980671874012386e-09},
{-0.00015766784477954759,0.00013174550521768855,0.0001966540042782307,-0.00020346953231118725,-9.7375508951319707e-07,4.6402792369498384e-05,-8.6122037144070121e-06,-3.048234802959932e-06,1.4981616252906982e-06,6.444075524312178e-09,0.99999993773571916,-1.4209967541083786e-13,-1.6910084700595039e-14,4.4426028220591569e-14,9.0829831173454198e-08},
{2.7894908175125998e-05,-2.3310599278603997e-05,-3.4795287173056319e-05,3.6001203389788603e-05,1.7229289051757871e-07,-8.210351430704105e-06,1.5238138807088555e-06,5.3934424371869745e-07,-2.6507959575376663e-07,-1.140192645906711e-09,2.203343781812543e-08,0.99999999805078366,2.992012572528779e-15,-7.8605895431553066e-15,-1.6071119785170518e-08},
{7.2368249476483722e-06,-6.0474038833169764e-06,-9.0268444959494543e-06,9.3396919839386014e-06,4.4697465317229872e-08,-2.129988617732695e-06,3.9531879342468235e-07,1.3992057587763489e-07,-6.8768861664298609e-08,-2.9579700682162712e-10,5.7160734426090039e-09,-1.0113659034743095e-09,0.99999999986881183,-2.0392508646181929e-15,-4.1692858708293708e-09},
{-3.2486168943921447e-06,2.7148800002303277e-06,4.052449621136417e-06,-4.1928972242864845e-06,-2.006617275029534e-08,9.5622247257485145e-07,-1.7747170622800749e-07,-6.2814983060968864e-08,3.0872620814546672e-08,1.3279307370101155e-10,-2.5661347824197422e-09,4.5403566832888621e-10,1.1778962100645596e-10,0.99999999997356082,1.8717305867592218e-09},
{0.00057615377229998399,-2.751854445397292e-08,-4.5739386645862246e-08,5.0250446909168313e-08,1.6865352331268954e-09,-1.1746183395869684e-08,2.0279309330007154e-09,8.721890946155411e-10,-3.8182116310909154e-10,-1.2914540302586052e-11,3.4519551162709871e-11,-4.781914204175843e-12,-1.3134808168907733e-12,4.5505580537281119e-13,0.99999983402339876}
}
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],[-1.7190000000000002e-06, 1.7190000000000002e-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]}