-> Eval	15000
Set	$prec to 15000
-> 1.732050807568877293527446341505872366942805253810380628055806979451933016908800037081146186757248575675626141415406703029969945094998952478811655512094373648528093231902305582067974820101084674923265015312343266903322886650672254668921837971227047131660367861588019049986537379859389467650347506576050756618348129606100947602187190325083145829523959832997789824508288714463832917347224163984587855397667958063818353666110843173780894378316102088305524901670023520711144288695990956365797087168498072899493296484283020786408603988738697537582317317831395992983007838702877053913369563312103707264019249106768231199288375641141422016742752102372994270831059898459475987664288897796147837958390228854852903576033852808064381972344661059689722872865264153822664698420021195484155278441181286534507035191650016689294415480846071277143999762926834629577438361895110127148638746976545982451788550975379013880664961911962222957110555242923723192197738262561631468842032853716682938649611917049738836395495938145757671853373633125910899655424624834787197605235997769192323570220305302840385915414971072429559206706202509520175963185872766359975283663431080150665853710647328538625922260582220510403680270297504798728079461658100417052681940019095733462175943893670249320422691034369812463720111185261084268910299720311202100063507176374582405203847555197279933797614906107894985544223326004018851303631561144886847281589288163245187265066645384877599162576642872111240842068016763517100102943180715515190961642460907039408129216903517492961364004139670431041253632327030922577327960292376597745537095469115742140424230781992327617401906424512454877516862696105333694216213605394604245654140128533007813633449856736406703977342229811961042925534501601405940479547154534548407271737656262366549166640233006013265744070107836858468452313160467754480500402240639911970362218602920238867150711017169400296868759663500040895316214233425227956834067013470185902028360716762147743493449563595808082130442586469468522610908263353008756612603460672195404055984128912975994810000772057440230047673258800091514371489475444879157191294659083570873961515537797640262068370848046072969382719585689759759626104159152657577790782334980567840022901532052138935373775536566427046826874289963441395743666073744445583086477893212985302148197395341478170516614952551763291993699565744522639112519093541386989366817430938226424736926202072990967831154131946484377915459915923928287714695149274026409213645654041644581490201945749419305269002613972646081065071439603206077510594187798284793986195249964165213139715293599421897416647075187235788629466108560170428869605798394052906407430811833388677881562635867156008396760245349229943938867059754315442943430957258470988215463111260766774067864571578060647447499750354544559313286549189849336572747626297414738235686914837831363361283627903824840163806671607179848728555842931349226093240565957553651136754644387834283313466644554180390821898983294626345016171122016929619460169320621033039744866231656003566781813443100896568706742965658177445572685015631594412507361198063472886466241327193669426712951450397518928313486192841303255188431169014671423794374728334344652482043796059732870616274910941596862625302558889768470417502003140262284691048046984032437906606737749627102512710602060862662843666050192890893838320006091228691881836842361693903523126930368613796811526946997891926635284389927016519825502252923579366281634568108913074112678378199449772765448294920438801301783546499213574032791577507786002296423504275996997626918738414847394773851563552091220963315839034567189415294357040653076085290174249768185502885276344949577449110422502453723156063618103504871759158032791798367510067136100066217566049573766777112925287302479926720158996418937762016114118289899682955902511656391422364995062850030696812973507251727918598301115277542298851885311763594786003123063726098369850308310852145595748359555715739356633680864821078791247051031631569581604348748829614894154585355561974999296877955099285527423590251810323766861609592552544319954907420679739157072614245328950428097351037967736660135917522627061232312589450697634813177754456066603576220483006904225389494867729521325719769245927670660765816558298675056572894658860919029644381285057859759437506402446062121456085608545249251368328754843438733720201692311630432705648060137587936856721535087816844078023292064623163811291772297752725531075161383682134604577799854625622081960631636019206330968516216231660683468863116621501323854287391304495123155216365621295187475530976570639955029880425647340557785191349533039888643071431785052007986242468481382976340802176297056457213162198306829364628682222279923816416353172598273213079714192676286915681181839966515100307010826703128664015918312719604038923540682591504595764918368552614803465109289896559961829716408498135702922729622140263750595519947501618105854474019764971593766342388569701982214045410209642908388248860987218876494800835944491934478931331080777740838035601892228537110093898091204853232990455598524096889180504497043838415045586150130902907091306156469685958969228276473764261083791700284689036668670497679170399954436330425855797794077269935288950837827114357125780631282729349883385045927110609526062879059715054945907279841681751687041505072957723365201003263831478479410794607656506369332663038206021719551471952041208479627248539111589302866641079696991524811276979149995102660574531123881393934919708926940735738491944291963007280950338654302137812339456142472424586825005490509782168419895154077663046648660253211821517058546481699010351020406040779053482395457081103662802419307833539518597508847118544793150345001580384709447854602092161934402798458912472052941776762506497961858234776556280824940544437650597779439080197924300154959936710407983913033119996866535017872308995874345981050410546853618716669008602651872709506307892209449850428619343629495429310972099408595585896796000425822959426943909574110166784798090792890754084338798997585569009471963248904323366036372887420477179897787319674789334640099238795928413280479076582258181183540591455395810029729132679714194354057353161415847980294411862031322519054091589019122255319653737392856310390787757920503439443610560728204865743914647280480723365927320176656223005701114685591214450995505364985643365509525473974996502828824922856959093188033794992264659862068823401174394496293131985985880254199347096201038949171977062258657266707618728353902334806925083435649537445628310757587186877538159397085400698899220166054425026312832880789794907045544329548492870187596100762027461311058672024649539970560477439601070677420574723587570759024726518532288910223630374462004719642400758541636765726892037163539219477428690685888815809704248358215149135699281075072307826447406718734809484544537264931062922580337258517145144805462076646086736427250483015812043421751869316708560008335295934426745872998735071625170300571157138175301302407011029660250955862422560289064674131908000682128984594066091487347598861395910049396065914517216530677681935572187655860065307738893120925049062804376001777854452265015206218505020438314950613721027080139203770756297830653607775736632592864736585895301156180017817036902280660710076441006254000316884037752998124945554719004248954149482241055947835787572003255966447123768440333531554321404257417457980060298308291771308271425542469232666444148362798525717975258224681220471956484671739892041087919384450786335769786888793914723176816815216706810214555598133352126063672655392136952255122818916717426718903555974152910467258069243862506098603871358867229314289239162034332739310392579643586655581342530172510423849606810290219324124788330451974631601707465226034298916454070948456229074179174009011233862395384545294973224293397306200271688265880011208985226125337807028455581448577751811935334558123538018435432296215284836962998919261565716416977466168244520311448716278066949726554837191991467614810797468495214414497191266124258209334038408435153619698962218737471928474471924073026312829794461570159696747688148437922575573503278944489603012657592199800298772012290539654233631798150362169688599183870495897032507059139657134431133435500776729491890270768614954833994667724162765514731195167511681718998875787982178391089760065710008376769429534350552888108658911706758721195159361489112823082306843321196072050218635318399221099714826615108369065711100630141510704075711085481373570334484736386128973807170651264496478839340250121137258483942385699581395465756563747606366397154802563573736399649847255432858858709495446990631685255118599877971074544158828756390386685624045627377140357608225194894648532758509646135351610864380606204739052823604053014706912323032636557053851755375864010248567111408373108906937774684792995636886177071188664077388146229483712818019171032155924150060798705722914354391251957368768223808898244895974697476781022726203514912904936882288911507749046386972301788252888706432486798314996711993510261548209307384397532266800587384309407578948075198163816856104514178374428640041561357741112691299329388959692290096040531003231833821857778799348218402291334737068921889820714355129864315508778507993701535229570998843782958817370884720700044671618700284314375344174419498974828148386643492741817980451021795298952911529535866201038223377187917498695532283164306156645936093457367622020953383831133745543557069333352360541097580806251507569082018488774733352689124246378746329829720703684819427992012273665336822499743175584189601562040576480296573770641163928360065612427452793024271878190718285651448469895898930784416676321988573332086640349160325821877167265004656302792274657390679444654885688846995270196061119942760195715001069960613187691725593898690715131894766441022913262339796228747051945277137351683562025074527566498235871910012533924011031324029353072705845387895559662035656086344581372260926945169885615585672724591846723237672388902404630147827209056907327435750851263388215320381801796701230401972972357680130114900154576142171798250519710483813459592467575506056795164941618738399528433081943374489190562983895589184236699724394163033601597798177096809974708327966458536136421237326941806493170021835351063688698576140997580819323308472615956015252679563482993344813086293615031068794445083856791938352452912500459716043544428226155096232240237316290050437377278134782850559761357609228352570952081898316651640195570340999938598521575963837145303974921800116556289159210817987474217723581801024726195118676125369006351580152604502589697970825935634889059869410595506379202616270706771808739064430612342360039563008819424919327212005058541456290963769904961706255909705061317054161128163777764306237708256586091579578607147131299603830721219689885589139448000515510706571035976151849808226704380214453353087716151726096572198031258204666160405865775656542757547026816562458055301547087993695034082328447526589852789049425455215707595591494511315673452310195149726440705233725022381076727257407453237128710453930716691099308385669534529276899726464635212014999495091542333314534001402211012480682489931467517186540862268722311415802443408161054616103417854992338644639905205027551291197833729400019482732931514942753170279830474111167498453081476979943552813329441533944847191544091025309901990650852240243075319244879233563721688405282399772881061618962990128635978281538394611177847509031613815920769703157712922588367174861032589627732734977447486534565477637531612059204650108524216702083433062278793755687983566170794853980567240534881333286310798349125343157348617609198102142797922910187450802582026363623256193096243553231587285348829873765869344524453602183855862838769337163340210642221812164810815804414855098492145223278119621671769547889159805709982033368323640084054366056096021339773132113437004115777927941695373329055568984754686013179259713833914745762809485408199711482358077319436460313898339029315722957960599573799688089219875062513933674942824328971557027727256873301559356206093664742032299510330257800043313963427109733664666149086328678637398169163930833679425191320719427043977823333656549271542838405415482842951244186019213692486416798239688595105605708213590741375359700948324910678228957073714936858286176770569115178983794547248178680992583349756413105043192990507107473572021036190442176913825407722587709825866537712336311454672809622686285751790365617135626284836872993372483886964174300309514656885807310607860633813611410657838085791682433278786605101775560274521929778727671481864358632692639714410744007637989360092786507634449861332261318570349393965292581031258997975668211352874690069920869246104470307994873938783610958992428754830591591690818935592722854134661028828583827919033176185458962052979337997293754078536665290973069234805230896896023890769450388425300795015348493690850523854493714546234377923124787198041802950912040661491538094319823130128702813884646898306680836365735339079846217373763652153055581010795383359014910953368894269865628276295896130754097700711216056079899329507813586738566490035746080812067091993588223203775931420023557565111140385238879403939632178972644173102856468644332562049388031703151559309601548162154604891861503540323374954307645281608792881959442905161197374895800121625134446266101552767507385143884877260387501305912440737786875552087993017069940230049438751945135676608498865620814272593028396944025427715590311828305592946674615946442066147739128507382827031264129811700067761021222409250450958143704435695644279584726742692575136416909652474525651542917048134651493242804768514155617344246171002265205375579930509449090473787415459558571194765093584004933389801732249566742134959422776208804244368929167623787847067827250435925805960087002131890384832378474425199268419192170016794673539032615667971820415559522300956095276545700706153115657324893834840453907551942983761662231637747855947773324043764333302258879679890097289781762582718270946585710636846528138632235229996778391065091938813351181510840625792700141726219404643872065341494864810645224661417773908453016085890445099208961929731116932911409149776985185044406677451653029278147895807500883813212835682134942517751121646976485539544014247126839916511214372735520119478276444599374071653522646130415885577461858334332170042288550818280319636798634501983044574567723698297806446538692130641922018796039791645154373037833963115696778926310927723598077083437160672781382010390917687601368792007175746209743974850849133059261232489728816159412286175289504563958819931939701822986003770641163788053317134907732153448387264705349260897694574356458407192242526389642846178969383481192251148342930753311547374646918285777514125264384554497625684219137998735627506335916455535977596570960941017564348959222418747988579147047519831786507988341085244131684731587340766401641878294885249602169280241300692249487272688536223796240281450594268890536871675539194642770353963931597542120698028872346953516230964622502386938238646084614888861227348957457780774
->