S=8.3637733062744146e-05
a={0,0.67716563308927458,-0.56933161742513638,-0.091393003774135742,0.075026133506022316,-0.010568116783559799,-0.0058710026239652659,0.0017002436665931272,0.00011748145313060379,-0.00014871841493278813,1.5358223001516851e-05,7.149440048293414e-06,-2.166536395100015e-06,-1.1044414463620666e-07,0}
E={
{-0.44677362347904243,0.3733453578865733,0.55728015401334885,-0.57659185430921756,-0.0027581685169127969,0.13149591210270237,-0.024405328414154756,-0.0086379814526680795,0.0042454759487741698,1.8251982214814486e-05,-0.00035288162691013127,6.2437497015458722e-05,1.6197600343788737e-05,-7.2716504557548035e-06,0.00025745856251982143},
{0.64123172164669706,0.76734721130813588,2.4420162655400691e-08,5.4331282709133425e-08,-1.959203523173423e-07,9.4843183775159859e-08,-7.3929905772540898e-09,-1.6639972428424017e-08,6.0764865687616165e-09,6.5020553221695821e-10,-1.259477337699674e-09,4.7483972274710298e-10,6.7681909178463144e-10,-2.8818267981633817e-10,-0.00036939354134036151},
{0.53058815947629068,-0.443384799634018,0.72241679870481679,4.4956739028544854e-08,-1.6211544632217501e-07,7.8478549510478914e-08,-6.1173734779414028e-09,-1.376884292570633e-08,5.0280245036167033e-09,5.3801638681226473e-10,-1.042161921053382e-09,3.9290891771188172e-10,5.6003793299999739e-10,-2.3845845114205807e-10,-0.00030565685552653754},
{-0.32254453067604472,0.26953352574882222,0.40232369726308481,0.81329718573473597,9.8549945468404923e-08,-4.7707093625989937e-08,3.7187500430407614e-09,8.3700766970471219e-09,-3.0565350306847342e-09,-3.2706004754385971e-10,6.3353001094640435e-10,-2.3884924781377852e-10,-3.4044694080159552e-10,1.4495884192151669e-10,0.00018580873770884674},
{-0.0012545997807333639,0.0010486588104049145,0.0015652980048271601,-0.0016195410380737364,0.99999612660377291,-1.8561128495076479e-10,1.4468330008863142e-11,3.2564982978742566e-11,-1.1891887591689305e-11,-1.2724739888649215e-12,2.4648393042881667e-12,-9.2927723025153612e-13,-1.3245576157001269e-12,5.6398314984836724e-13,7.2291552397113204e-07},
{0.059304572058468404,-0.049557854907500351,-0.073973355854686063,0.07653679054340963,0.00036611923063259769,0.9913107050044323,-6.8374898594817353e-10,-1.5389664250871336e-09,5.6199064324045968e-10,6.0134984459689726e-11,-1.1648416749031627e-10,4.3916081808419893e-11,6.2596369224782868e-11,-2.6652896836292551e-11,-3.4163774018156865e-05},
{-0.010907908651333856,0.0091151785891041941,0.013605922829111768,-0.014077415492239037,-6.7340327342548157e-05,0.0032104556739177728,0.99970211797581499,2.8306216706116424e-10,-1.0336696549651932e-10,-1.1060630526080317e-11,2.1424938413736384e-11,-8.0774869975597813e-12,-1.1513353142021382e-11,4.9022685713274044e-12,6.2837445654810108e-06},
{-0.0038594155517520344,0.0032251334755058051,0.0048140490889055313,-0.0049808726740327384,-2.3826361919914846e-05,0.0011359237742380869,-0.00021082474976119524,0.99996269126498105,-3.6573310926461868e-11,-3.9134734905581423e-12,7.580574031081846e-12,-2.8579773240244903e-12,-4.0736558555578636e-12,1.7345211968101874e-12,2.2233151826819921e-06},
{0.0018967764272134285,-0.0015850448072836937,-0.0023659434774682938,0.0024479316678320288,1.1709856823296163e-05,-0.00055826839214233727,0.00010361328527699559,3.6672714306055349e-05,0.99999098792521202,1.9233408111046786e-12,-3.7255975899369605e-12,1.4045998874996597e-12,2.0020650647201876e-12,-8.5245892519012863e-13,-1.0926847561537586e-06},
{8.1536936852546116e-06,-6.8144628440166137e-06,-1.0171721234713391e-05,1.0524206839113829e-05,5.0343299044299144e-08,-2.4001209299470702e-06,4.454567339034261e-07,1.5766421744742413e-07,-7.7490284830361511e-08,0.99999999983343213,-1.6017178973945335e-14,6.0386896970761127e-15,8.6073263905912899e-15,-3.6649119615576629e-15,-4.6976966452594612e-09},
{-0.0001576566415124689,0.00013174705366759151,0.00019665442949962536,-0.00020346919111793513,-9.7330947923645331e-07,4.6402609872273418e-05,-8.6122139851627105e-06,-3.0481927310654857e-06,1.4981542849821659e-06,6.4408056252335297e-09,0.99999993773727625,-1.1674868490261285e-13,-1.6640928529329651e-13,7.0855379766560419e-14,9.0822667316736551e-08},
{2.7894834146490292e-05,-2.3310873238332612e-05,-3.4795362403997092e-05,3.6001143025362647e-05,1.7221405167962709e-07,-8.2103191426504774e-06,1.523815697809348e-06,5.393368002260795e-07,-2.6507829707372464e-07,-1.1396141269342614e-09,2.2033162326747057e-08,0.9999999980507791,2.9443889994357706e-14,-1.2536908644995559e-14,-1.6069852236855783e-08},
{7.2358157833215579e-06,-6.0474749546290733e-06,-9.0268640132820558e-06,9.3396763234058333e-06,4.4677012321707594e-08,-2.129980241332741e-06,3.9531926484966351e-07,1.3991864482498058e-07,-6.8768524754838936e-08,-2.9564692163384693e-10,5.7160019733420123e-09,-1.0113670678245929e-09,0.9999999998688186,-3.2524153123804676e-15,-4.1689570342983852e-09},
{-3.2484219091523027e-06,2.7149119048652082e-06,4.0524583824738452e-06,-4.1928901942818281e-06,-2.0056991304318026e-08,9.5621871236360113e-07,-1.7747191784810876e-07,-6.281411620308898e-08,3.087246957315761e-08,1.3272570007053197e-10,-2.5661026992980021e-09,4.5403619081564579e-10,1.1778654072015038e-10,0.99999999997356148,1.8715829611436705e-09},
{0.00057610833305881022,-3.3176928257354474e-08,-4.7293253733086207e-08,4.9003639134888178e-08,5.8167272865534845e-11,-1.107929460792091e-08,2.06546292751895e-09,7.1844820843901581e-10,-3.5499794527394879e-10,-9.6552821393612893e-13,2.8829490538955462e-11,-4.8745913029690195e-12,-7.6719423461639114e-13,3.5849197971849287e-13,0.99999983404957737}
}
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.1460000000000001e-06, 1.1460000000000001e-06],[-1.9100000000000002e-08, 1.9100000000000002e-08],[-1.2733333333333335e-08, 1.2733333333333335e-08],[-9.5500000000000011e-09, 9.5500000000000011e-09],[-7.6400000000000009e-09, 7.6400000000000009e-09],[-6.3666666666666674e-09, 6.3666666666666674e-09],[-5.4571428571428573e-09, 5.4571428571428573e-09],[-4.7750000000000006e-09, 4.7750000000000006e-09],[-4.244444444444445e-09, 4.244444444444445e-09],[-3.8200000000000005e-09, 3.8200000000000005e-09],[-3.4727272727272731e-09, 3.4727272727272731e-09],[-3.1833333333333337e-09, 3.1833333333333337e-09],[-2.9384615384615388e-09, 2.9384615384615388e-09],[-1.91e-07, 1.91e-07]}