echo "scale=15000; 4*a(1)" | bc -l

3.141592653589793238462643383279502884197169399375105820974944592307\
81640628620899862803482534211706798214808651328230664709384460955058\
22317253594081284811174502841027019385211055596446229489549303819644\
28810975665933446128475648233786783165271201909145648566923460348610\
45432664821339360726024914127372458700660631558817488152092096282925\
40917153643678925903600113305305488204665213841469519415116094330572\
70365759591953092186117381932611793105118548074462379962749567351885\
75272489122793818301194912983367336244065664308602139494639522473719\
07021798609437027705392171762931767523846748184676694051320005681271\
45263560827785771342757789609173637178721468440901224953430146549585\
37105079227968925892354201995611212902196086403441815981362977477130\
99605187072113499999983729780499510597317328160963185950244594553469\
08302642522308253344685035261931188171010003137838752886587533208381\
42061717766914730359825349042875546873115956286388235378759375195778\
18577805321712268066130019278766111959092164201989380952572010654858\
63278865936153381827968230301952035301852968995773622599413891249721\
77528347913151557485724245415069595082953311686172785588907509838175\
46374649393192550604009277016711390098488240128583616035637076601047\
10181942955596198946767837449448255379774726847104047534646208046684\
25906949129331367702898915210475216205696602405803815019351125338243\
00355876402474964732639141992726042699227967823547816360093417216412\
19924586315030286182974555706749838505494588586926995690927210797509\
30295532116534498720275596023648066549911988183479775356636980742654\
25278625518184175746728909777727938000816470600161452491921732172147\
72350141441973568548161361157352552133475741849468438523323907394143\
33454776241686251898356948556209921922218427255025425688767179049460\
16534668049886272327917860857843838279679766814541009538837863609506\
80064225125205117392984896084128488626945604241965285022210661186306\
74427862203919494504712371378696095636437191728746776465757396241389\
08658326459958133904780275900994657640789512694683983525957098258226\
20522489407726719478268482601476990902640136394437455305068203496252\
45174939965143142980919065925093722169646151570985838741059788595977\
29754989301617539284681382686838689427741559918559252459539594310499\
72524680845987273644695848653836736222626099124608051243884390451244\
13654976278079771569143599770012961608944169486855584840635342207222\
58284886481584560285060168427394522674676788952521385225499546667278\
23986456596116354886230577456498035593634568174324112515076069479451\
09659609402522887971089314566913686722874894056010150330861792868092\
08747609178249385890097149096759852613655497818931297848216829989487\
22658804857564014270477555132379641451523746234364542858444795265867\
82105114135473573952311342716610213596953623144295248493718711014576\
54035902799344037420073105785390621983874478084784896833214457138687\
51943506430218453191048481005370614680674919278191197939952061419663\
42875444064374512371819217999839101591956181467514269123974894090718\
64942319615679452080951465502252316038819301420937621378559566389377\
87083039069792077346722182562599661501421503068038447734549202605414\
66592520149744285073251866600213243408819071048633173464965145390579\
62685610055081066587969981635747363840525714591028970641401109712062\
80439039759515677157700420337869936007230558763176359421873125147120\
53292819182618612586732157919841484882916447060957527069572209175671\
16722910981690915280173506712748583222871835209353965725121083579151\
36988209144421006751033467110314126711136990865851639831501970165151\
16851714376576183515565088490998985998238734552833163550764791853589\
32261854896321329330898570642046752590709154814165498594616371802709\
81994309924488957571282890592323326097299712084433573265489382391193\
25974636673058360414281388303203824903758985243744170291327656180937\
73444030707469211201913020330380197621101100449293215160842444859637\
66983895228684783123552658213144957685726243344189303968642624341077\
32269780280731891544110104468232527162010526522721116603966655730925\
47110557853763466820653109896526918620564769312570586356620185581007\
29360659876486117910453348850346113657686753249441668039626579787718\
55608455296541266540853061434443185867697514566140680070023787765913\
44017127494704205622305389945613140711270004078547332699390814546646\
45880797270826683063432858785698305235808933065757406795457163775254\
20211495576158140025012622859413021647155097925923099079654737612551\
76567513575178296664547791745011299614890304639947132962107340437518\
95735961458901938971311179042978285647503203198691514028708085990480\
10941214722131794764777262241425485454033215718530614228813758504306\
33217518297986622371721591607716692547487389866549494501146540628433\
66393790039769265672146385306736096571209180763832716641627488880078\
69256029022847210403172118608204190004229661711963779213375751149595\
01566049631862947265473642523081770367515906735023507283540567040386\
74351362222477158915049530984448933309634087807693259939780541934144\
73774418426312986080998886874132604721569516239658645730216315981931\
95167353812974167729478672422924654366800980676928238280689964004824\
35403701416314965897940924323789690706977942236250822168895738379862\
30015937764716512289357860158816175578297352334460428151262720373431\
46531977774160319906655418763979293344195215413418994854447345673831\
62499341913181480927777103863877343177207545654532207770921201905166\
09628049092636019759882816133231666365286193266863360627356763035447\
76280350450777235547105859548702790814356240145171806246436267945612\
75318134078330336254232783944975382437205835311477119926063813346776\
87969597030983391307710987040859133746414428227726346594704745878477\
87201927715280731767907707157213444730605700733492436931138350493163\
12840425121925651798069411352801314701304781643788518529092854520116\
58393419656213491434159562586586557055269049652098580338507224264829\
39728584783163057777560688876446248246857926039535277348030480290058\
76075825104747091643961362676044925627420420832085661190625454337213\
15359584506877246029016187667952406163425225771954291629919306455377\
99140373404328752628889639958794757291746426357455254079091451357111\
36941091193932519107602082520261879853188770584297259167781314969900\
90192116971737278476847268608490033770242429165130050051683233643503\
89517029893922334517220138128069650117844087451960121228599371623130\
17114448464090389064495444006198690754851602632750529834918740786680\
88183385102283345085048608250393021332197155184306354550076682829493\
04137765527939751754613953984683393638304746119966538581538420568533\
86218672523340283087112328278921250771262946322956398989893582116745\
62701021835646220134967151881909730381198004973407239610368540664319\
39509790190699639552453005450580685501956730229219139339185680344903\
98205955100226353536192041994745538593810234395544959778377902374216\
17271117236434354394782218185286240851400666044332588856986705431547\
06965747458550332323342107301545940516553790686627333799585115625784\
32298827372319898757141595781119635833005940873068121602876496286744\
60477464915995054973742562690104903778198683593814657412680492564879\
85561453723478673303904688383436346553794986419270563872931748723320\
83760112302991136793862708943879936201629515413371424892830722012690\
14754668476535761647737946752004907571555278196536213239264061601363\
58155907422020203187277605277219005561484255518792530343513984425322\
34157623361064250639049750086562710953591946589751413103482276930624\
74353632569160781547818115284366795706110861533150445212747392454494\
54236828860613408414863776700961207151249140430272538607648236341433\
46235189757664521641376796903149501910857598442391986291642193994907\
23623464684411739403265918404437805133389452574239950829659122850855\
58215725031071257012668302402929525220118726767562204154205161841634\
84756516999811614101002996078386909291603028840026910414079288621507\
84245167090870006992821206604183718065355672525325675328612910424877\
61825829765157959847035622262934860034158722980534989650226291748788\
20273420922224533985626476691490556284250391275771028402799806636582\
54889264880254566101729670266407655904290994568150652653053718294127\
03369313785178609040708667114965583434347693385781711386455873678123\
01458768712660348913909562009939361031029161615288138437909904231747\
33639480457593149314052976347574811935670911013775172100803155902485\
30906692037671922033229094334676851422144773793937517034436619910403\
37511173547191855046449026365512816228824462575916333039107225383742\
18214088350865739177150968288747826569959957449066175834413752239709\
68340800535598491754173818839994469748676265516582765848358845314277\
56879002909517028352971634456212964043523117600665101241200659755851\
27617858382920419748442360800719304576189323492292796501987518721272\
67507981255470958904556357921221033346697499235630254947802490114195\
21238281530911407907386025152274299581807247162591668545133312394804\
94707911915326734302824418604142636395480004480026704962482017928964\
76697583183271314251702969234889627668440323260927524960357996469256\
50493681836090032380929345958897069536534940603402166544375589004563\
28822505452556405644824651518754711962184439658253375438856909411303\
15095261793780029741207665147939425902989695946995565761218656196733\
78623625612521632086286922210327488921865436480229678070576561514463\
20469279068212073883778142335628236089632080682224680122482611771858\
96381409183903673672220888321513755600372798394004152970028783076670\
94447456013455641725437090697939612257142989467154357846878861444581\
23145935719849225284716050492212424701412147805734551050080190869960\
33027634787081081754501193071412233908663938339529425786905076431006\
38351983438934159613185434754649556978103829309716465143840700707360\
41123735998434522516105070270562352660127648483084076118301305279320\
54274628654036036745328651057065874882256981579367897669742205750596\
83440869735020141020672358502007245225632651341055924019027421624843\
91403599895353945909440704691209140938700126456001623742880210927645\
79310657922955249887275846101264836999892256959688159205600101655256\
37567856672279661988578279484885583439751874454551296563443480396642\
05579829368043522027709842942325330225763418070394769941597915945300\
69752148293366555661567873640053666564165473217043903521329543529169\
41459904160875320186837937023488868947915107163785290234529244077365\
94956305100742108714261349745956151384987137570471017879573104229690\
66670214498637464595280824369445789772330048764765241339075920434019\
63403911473202338071509522201068256342747164602433544005152126693249\
34196739770415956837535551667302739007497297363549645332888698440611\
96496162773449518273695588220757355176651589855190986665393549481068\
87320685990754079234240230092590070173196036225475647894064754834664\
77604114632339056513433068449539790709030234604614709616968868850140\
83470405460742958699138296682468185710318879065287036650832431974404\
77185567893482308943106828702722809736248093996270607472645539925399\
44280811373694338872940630792615959954626246297070625948455690347119\
72996409089418059534393251236235508134949004364278527138315912568989\
29519642728757394691427253436694153236100453730488198551706594121735\
24625895487301676002988659257866285612496655235338294287854253404830\
83307016537228563559152534784459818313411290019992059813522051173365\
85640782648494276441137639386692480311836445369858917544264739988228\
46218449008777697763127957226726555625962825427653183001340709223343\
65779160128093179401718598599933849235495640057099558561134980252499\
06698423301735035804408116855265311709957089942732870925848789443646\
00504108922669178352587078595129834417295351953788553457374260859029\
08176515578039059464087350612322611200937310804854852635722825768203\
41605048466277504500312620080079980492548534694146977516493270950493\
46393824322271885159740547021482897111777923761225788734771881968254\
62981268685817050740272550263329044976277894423621674119186269439650\
67151577958675648239939176042601763387045499017614364120469218237076\
48878341968968611815581587360629386038101712158552726683008238340465\
64758804051380801633638874216371406435495561868964112282140753302655\
10042410489678352858829024367090488711819090949453314421828766181031\
00735477054981596807720094746961343609286148494178501718077930681085\
46900094458995279424398139213505586422196483491512639012803832001097\
73868066287792397180146134324457264009737425700735921003154150893679\
30081699805365202760072774967458400283624053460372634165542590276018\
34840306811381855105979705664007509426087885735796037324514146786703\
68809880609716425849759513806930944940151542222194329130217391253835\
59150310033303251117491569691745027149433151558854039221640972291011\
29035521815762823283182342548326111912800928252561902052630163911477\
24733148573910777587442538761174657867116941477642144111126358355387\
13610110232679877564102468240322648346417663698066378576813492045302\
24081972785647198396308781543221166912246415911776732253264335686146\
18654522268126887268445968442416107854016768142080885028005414361314\
62308210259417375623899420757136275167457318918945628352570441335437\
58575342698699472547031656613991999682628247270641336222178923903176\
08542894373393561889165125042440400895271983787386480584726895462438\
82343751788520143956005710481194988423906061369573423155907967034614\
91434478863604103182350736502778590897578272731305048893989009923913\
50337325085598265586708924261242947367019390772713070686917092646254\
84232407485503660801360466895118400936686095463250021458529309500009\
07151058236267293264537382104938724996699339424685516483261134146110\
68026744663733437534076429402668297386522093570162638464852851490362\
93201991996882851718395366913452224447080459239660281715655156566611\
13598231122506289058549145097157553900243931535190902107119457300243\
88017661503527086260253788179751947806101371500448991721002220133501\
31060163915415895780371177927752259787428919179155224171895853616805\
94741234193398420218745649256443462392531953135103311476394911995072\
85843065836193536932969928983791494193940608572486396883690326556436\
42166442576079147108699843157337496488352927693282207629472823815374\
09961545598798259891093717126218283025848112389011968221429457667580\
71865380650648702613389282299497257453033283896381843944770779402284\
35988341003583854238973542439564755568409522484455413923941000162076\
93636846776413017819659379971557468541946334893748439129742391433659\
36041003523437770658886778113949861647874714079326385873862473288964\
56435987746676384794665040741118256583788784548581489629612739984134\
42726086061872455452360643153710112746809778704464094758280348769758\
94832824123929296058294861919667091895808983320121031843034012849511\
62035342801441276172858302435598300320420245120728725355811958401491\
80969253395075778400067465526031446167050827682772223534191102634163\
15714740612385042584598841990761128725805911393568960143166828317632\
35673254170734208173322304629879928049085140947903688786878949305469\
55703072619009502076433493359106024545086453628935456862958531315337\
18386826561786227363716975774183023986006591481616404944965011732131\
389574706208847480236537103115089842799272