a=1500513956586073676345834188827724666980091780345174605058327340071598209983740\
3176113296847475185976756652047440275017074775842731251457070452506310127045793\
1570047053149985104206687308570072400057950852426864317816279173234263792017613\
1495002701328586439961388677249928173656834761134026397542957714216670220106337\
5398633450065463875380756093259994927320814118587099516324240461912632542702403\
7696550770829101113257178728186553511959724233269209107740193752175478186177775\
9456655300529628601043422082770589855017450351274198268989171819330225588781060\
0113575626674519637599464126736317794011496921049221780088361486327340615106133\
1456255329767927631166687498636277741024800056799308475648554123975219588079431\
2213977329927004206085594927983236807313127527215745792435079536445254505973150\
5489213114532274187024941975023879272545876008987860044495715361544031881307127\
5484313421698798181573544795304416908029925999679872173906625628925199033033607\
1022218494414635379854602002128953924446666662573186497383415551884988108458685\
0976828816614412898850099045007533710065404880977676095981468500418745910601937\
9833284080114728348645629581986258890643997358331759252135637828643581417978541\
2226122608086133416068005199860763461971520645636929338973985569524045538199241\
2355099022475063172952243313864435755767083105044703427587463927407959699589054\
4154167194135921118931407098600564735446478353137966051734521931924635825065454\
0827332225404045639514063977055715760240644085223077585646744654748455367484258\
8028417303690239621561956975462808638122616139539659219446269459463761467813590\
2449263291594750652450543779587649350056910328530678723536786947061804533556698\
3738821745604738680887377601330042365195293399858846525339227962846331293227032\
1112022118750638896610609067113888582845065465140530298353940969697033244572850\
4978735589281973128655600706413200135920241022219570684682327768364427149161906\
9320259616005394951425394721818986166524640044587340617399917817266833889370148\
4615187801121529035682206426711826759951635476414051520005793126021640148301977\
3784211603818334687352776095942931850075732216179819467681040391240319803912998\
3513602800129662479119502043859264418941072893852712532214378717342165454887531\
2321822218888418989152434162922844902988819725197435941761609444737506151258978\
7172795849750916712660145346400292350441340080116465899179089198458356216404124\
3988639847032056742362143488813934582178057867622258008143618261552490858746855\
5077199709243129023330282618380648590527142467912473499500647541234569774036558\
9328762539161324740644396638140275861425294215397824835954244740555992290876017\
2972253283675461436910665300029781338437185181746001826003536288721327240450291\
3252084462980651887

b=1007105504107842766879042607699809475272411196120500248371963230365547754714992\
1773026765862753628831604321706411773352737463157649111518747138610020729667422\
6958795197301740161002069134146518936106546636971049541779094357706697737496927\
4753158551011689565854090189843279861519122091800923103001705671577484309547844\
6255778911794941434111134767921324586651530234038984395249704242050397469481268\
2053500798839234684454897748236208597909560037466112034267519111973653845559137\
7041303635913224679109411358834380205862814913686215289323620244283756849644172\
5990101117823189563815017977967801182097892615215877505033794959515155376560345\
4516789881109025486137022195488644796775747903570792573100057355286256176565520\
1455531512459442603770299303788115383002064550558998826893992687189705959286650\
4224605190066698338949238436830220704507287405232324443705280551194547376239809\
9727443913308545759429657533196331969020357727161380055938729427050172400459574\
6569037424212042904931901275318358283661669528099454129117905306258483392356568\
7592603654528209091147361032454528003833903511217745057727256014409275267108293\
5327441980187998873954941440501811397254809091281744373492197850621571239087868\
4505776682925144300766362223378970269393255805959546425448274125274047039287114\
4030507167348642121997391217765639113042586736548125471328066071729841986717341\
9922741334772590262833197886336867076804356415919436258408508896914829329485987\
0099648935064645840535756638323699032406136044207379244708906873814109895392323\
8263706724577555853971960958016700103299791013776320581736608623910201017514004\
1780625419127169532905268158276243888480959485858561296738412103089017919076208\
7315158062507286301380588102257238953784674666066194998962823880498328107045621\
9679896287121775881952685853996812928130317232558803730173305815106641037935223\
0743918191352005843044820682504516624033104751726656528863027815475073913083869\
7974712052415371195761168604564817718455533851990114490403824383050902077363310\
4044958029084190241813482493257707461711463767401014970413170113633096741476231\
5237628964732425865967163807756838997464277877323239227956329618096419804738178\
5688234451225327001699817491561432051843763087962009982837031516743681888260320\
1575620815091045960475371556773046159104037569928943481648394467126263635102650\
3220462511820408601894164344688044228846326219991320369725993837797893309642597\
2473491158512692631764024953576517597297884970061550659257118580237809169268285\
3354202961874855012772442113412702726714483167462838451324990369237831665953244\
3381770146267129939437533300606950408351215199771335367127242287245745826904294\
4241193807062978579911962609871262230608653522887405179105763395935758291100894\
257486302642679420013

c=6949726894936303723966285506728289481946822402532337029826711612200449978045493\
6179579446513212946230848108514688475308422054210516275707118746758784729681134\
0124597230411288477815929139369963840112852285243471423987872497657222775038638\
1614401789961603938488215304910790834802366879467873427914468906081825633268687\
9756774301553044804113593226894030200841171207005023973414586580884326105418499\
1770428708166906864759660005613121703257510266313024480320534425920257000701285\
3207296640737583692949486136587429559370360386590715691842785476574617871440096\
5641228281349698592785036967962434121100902035081077353306307847174855129280072\
5467452383886383023082631026598975069181230898419988355669905576784288173956504\
3934397888776580746105904795398396795326140647283999400535507650806400068617847\
9902638014571635432774566139315759047401937342183751563129441309770089141347759\
4371812705960859141025473779768727175137831871762466685947247971709108795676428\
2502851955211828299478697909596432652654028309353971478768815072336550547117442\
6974199915315869695487955883420363326100223765284003913467097761837825980212163\
3510957853338046586467635920501901063304422352478455051102192379309046450749148\
1764028607496170251460656992937924775745821384867400833771176362096620616455002\
0136728858061658614758364161506194887079367154521951194226618931557525748361118\
1204802427780342594709233464752247819150376078977923361928745595245814435066922\
3111603029869076821493302388723057355950778406492851693844428239237405507210577\
7654200248358279815096249447353623161535325025874158599592437862458076539964086\
9116960854027977360908280304061324051261700098642625062570208116674543630218725\
3035746516672589518194238463353239962913022619929652099037209833877474079581986\
3853804822124497476122274300100829980294374166890116657307315391671814519669383\
6024631161155458819479966434164985861849428932626665497138322277995072599514450\
2955121930277704548216017196494424635331972444714864536069105412465305341013201\
6632369375369882288120427024014401996824672855438095789879337055484314406818890\
5757711656183933602053975755057288318391442449678569071592257886594149444813862\
4620667778422010832493072698424531300144094612995196402371252852978201915212998\
3583522326939790729320708127325200888538775571543824449455963713006448761072335\
9303084775231216050157540683975395801513012699262004135756098213616018238187907\
3979605145712164659380858616098758804137358870386856479948109445477787669794073\
4337631886658736371600529735186992840612290729441136683360451792327311560476941\
7664349631547792081802895658594932808232852954148203339940868678507362702563972\
9622691603052394913520927211076187355937034065935731694041229087089425246255716\
9234129769766240975