ms=[(3916502332874931234132125167104077464227312969135206150085, 4547839362886797435959568602268151067591610334456534979660), (3828554655914380230697456249429082242656889208370708464577, 3589280082398331777940681861659504992037892414822381542059), (2883009815090980502145661883926183341341226559830759444661, 4132459923209755648006987085405279292416993723317815278034), (1289926504528500255240174799326455540571387467187094944625, 4707040552634752073289337176036695816095339349060001948516), (4469675728256736380326827957488532914469825267610422470538, 3593288604717662161288782397031695136804988801586069991705), (3486189600502100290691963068654616776899229762969360591127, 3593021666038375937276748510151811594733493717916619838501), (206617299884554275300642050675740929749597154028452784318, 3333951305096947408127011591732126575830512862696880748524), (5741992018918767111728960552121826645431651575313431901524, 3184158805524885292315501196570696509496864525935695704293), (2735825337580542987260323077357401395702928052964345242383, 1106625062803119179099967453074385882820237107558404573536), (2034631108016015581557424894427095624283189272958962219986, 26750097449683716088311933570414242509579591613791606262), (890019293624542717687376934655794615008619750425831913861, 3416775903988323600437277342764860439317689648105704564948), (1004697764881285621922042475207842696034052726562365525018, 4539351518904759102213989276807577976034554424172462008099), (2747863953079452857002536217451796422250403753195555193251, 4468508080609887144340479165829889026657952662681862228003), (4781416861596571404122208168104599172388255785311210610899, 786030569280706469752130996462117811459869643738638594692), (233188108603794809271763542576700684461005344126385448127, 1075017034983375722370486039805699484028434971285351733675), (3449522020835848097239832494830742204105006206318815021838, 69985795810113262290611842968441784277311421412739405853), (5412536841090273626361714366206391460408705478523385837423, 246091187733866861892880583120418730725474826682409400906), (4004278297650144719424753230398533890476464099670577317327, 1449107083691181576132370528873431120143199596246874104626), (163701097257976651340028950559799958865963421225147915815, 1281664089386003520839814631920927139938860069288800703220), (3909117159813908590989958887468840187628145400621472362242, 682957531905239903782036657110240477106055378133612276155), (5870686804562044813232016746096475408921842021101796830247, 4377562603017029589616513470628584293233782831798780118184), (92840672081199799835561001826125054419677141091927424101, 206524800396968633900006194006679771316777535183016780354), (171534705961723867087559643604111387232559926779438937425, 1071076936613110020049004117912098027919083205938469592747), (3840187185835887471626048760552649944791269057582356116536, 667617090494891208255029363552367168356913522276226279244), (509010287322160800003013370134340630048740552932709416225, 3246993908559998149781211999937110352233283299989766692036), (5976331489358476284535330445561459622345998444554276911174, 101042601275662903211724167453331818167912433109876640629), (5974115083616719011707023466524961572187541274977725185892, 4425072292049803065382460314787211308754884436649598355742), (5448811956309007024461647476581172835296564858394020704323, 974221718058963759940139434949343150009002222654625547151), (4693571939783811870175000776314620448175183895957428505770, 4195160513398011110972433092201555055373571711476477556821), (1683884394116210081017154889001306722180223509885526745493, 355631014867915838781845877640155624339343500021386164622), (5120400356262938370977373031944911118251664598589793800624, 4458214129326473514511833184864702892191127498087143545777), (3358070970054396048858987860808106301725032858775869702534, 219724655895643256616094307410135402461825492458905658926), (3484204642947249406226167599817484422418161545530488677258, 18500882610539483527718742109008172236445216394256293202), (281587145286736967649543758986175810009286911143440052014, 3843949743198378929331616176425602599211025351411394849626), (5090443411928181799701908526854794826939998987839438112645, 4468793460683937508082973875632916035131868277748384996294), (6262087220806736197592309413539740090364085051376478828926, 206456149649314773978571195419663608147515354630120553888), (1830532306247569673543967223309403683809169254577677384171, 4215647769127367783162514970927172593538919657475605071159), (4989158280959710837974975326185940814870732248066670822441, 401250630482043824008306189248099655540772941282618662202), (3920498271560823686803241599849950256658797464574711696672, 3605819286573773686614282082872860539845540198837326445864), (6006528460384099049015340004611064794904191854609328402617, 4280237932934008904018296673125955427815186812164529383695), (1639622974523814244341514329969930371806768703833521606534, 3908502673949909112936072348228034145417150055689931887163), (4451311225206896271002349141901324827343328341360707424581, 266475089670643930284879708210111257061292434583625864309), (4501151384208756479810750084754268812989770118378054458703, 848548615984911892294481441542354170413030337542768095185), (3185309543951017363644378959226458390464863168453388691301, 3714692289839096683077033802302800339535368911555263613647), (3205453773651516728919242160703922379076159941049568667703, 3579009992219498047214319655709797662688464871729592038979), (1594241169151594741352184340737269722888540023493248059214, 538424870640909574503645781304339781056460884688208265767), (5182506604622684511621338327853566631848736955427248984176, 3581411007903339847531943260723487159563647833855895331424), (815786691116639085895244442771991434272532909446259634871, 4099003860179760789147817430667375648109331483389707908073), (4052093238460724739553154486105793921649494726695436754108, 3718782430663594428128990527208381667147708642841814782655), (3477067738575220832519130302021330287667450456745283768845, 3526489043025408872253102028473755050869901459876485864169), (3262729771317845178474417400760746175769346422677014902407, 614529788526400140402331001141193535123903534786340138029), (1080189833868632900022671122171383316440729623408624363340, 221384535425445907854806416260582401802838653454550914343), (5036204328538119281042938389907567000366534525046960739143, 4523287953758664388045357759902448415690860532922226132293), (1740867741863092715898594076391781141929618673218480593503, 128056911770953365606815420027771005100787817779928149915), (3026372834758059570188363037419607559414241597745228934102, 1075522290523149965470535040807821588378703751328861711518), (3198060480208770397641411537090722709478584719992580777118, 4169232324773246737391400052952260745055519428164796354451), (2113794953664040312935531292451010588025407458171128763849, 4223982570035033629233799244797887262338893787732190348656), (5620864196006599476979116857764577761724593921662023708864, 4303047960138556889581255808637966629272023198165990710752), (528324876539933528836205416246368738557418380759579358430, 377079978582204356274676523706928626282744498405725286698), (1068102182849692729831569989979000331130256878551977973154, 828345433475939181487438393723233484997515673062712537885), (6108929296851239628433296455727446153927794625653934926781, 3769271178469622603565594412995630508207456351494847019026), (1672380134004633907080402202795078348481574792089651304485, 1457136335131885697054723679869114245010908691836455846317), (5472759763327728271935165780137892650076761940711809191688, 773225255128988955707004117490769482243568073192568041423), (1644809534770227937677120592368480509043546311034495779053, 3413299077776595958647069228245087638225705567277771147258), (5015507369764716520478015551219705849422937707527211070471, 1257165882199759381541732427486086178142295587308092597828), (2888888293166518182047316374096782579892184036097084674845, 3616892798311472573069931871230143598247150823835162129600), (1672938254030148239210876791020603652933839683366586016528, 1398247015458601213987490572639443884589701317544643244112), (2863911933067447447876504980680131117056765892477038449106, 4285319955649829800921687962640533103500401258995831306103), (1829537398850564722303311308360693793845285552263647480780, 4252153649940576846745221407419499577999059946658968125138), (5032870609451082086006494416502359687833159840942427004984, 871438179253595775024799439206953060532100678448930481552), (510763871110019325031200645157053307226199402864917637655, 4624087577739372317221380400374728304981606644121100944307), (3279689547911161153306129607662566784391666366590841108806, 1384808856401835048964378824039075098571265969047490806499), (5782913735252249564299683506336001565292484304053297589806, 1151083145233535342000757565213021539271469478961050457044), (5942366827995174835787590997859122822222764054770989179891, 3213055321252924381698301925061818041889992649772870354561), (5719421184880330302995171966393874240655593950778016231384, 3278441326394752831802854985517554725958714121319448718857), (2688200675441895701028279783206634135145685351016038335315, 3799817210673360956832735324912548667450903867161866117194), (4336050162188068161662577306784554832457817384349764782267, 4459149848537079632026314516844827860386024155457332760008), (2904377893674010369301035940702040822991821720712989470953, 1032566433475235384944830520483693825158913610235116516340), (1517141316194795471406733829385905850771098097844832036505, 849806880137619282287251578355787801116856049891523106731), (3220319465516213590095289487716427227041794762883536787283, 1371040674061452644861649438308693746626904044260820515860), (2160003946671603603022377122367729013886857195196073949988, 4072409841260336948857331360516295106545567282680049018715), (5337530213058180873851498151204434157894455356255611393214, 3269087893879780132522803752141254145098151660105828848116), (5090324873554358354819246497182683526442272569372392208016, 45249881545486754427005046188857952442010362226302932811), (136360642852661167394201996053808567141321200580786601629, 410036737516621072342647583525457600302951101651730910363), (5633556046958229538213308720149044774147894472498647597859, 3592406205248439953556619137886314844097576889336197405086), (2063227989828146000017888189527593397668340762192953350946, 430523979413629472613495433177236933739843158993003862249), (1401198838474474551973972885229642589775636398146133084657, 1558280322999773079387476391366729073736957158552332579730), (4516567940686521820155663557777149733199018599236321690242, 1078558840779735149341255546896676195728743503311046421342), (1952891130870867563334716564777233461336030755990836532045, 1166034691713142223812778446078116406350360521075394262044), (2999893650973574554142144229112362226776342082508339340765, 1307902102617618981471969892173823037997648170253927085867), (5609328141867300102776633176439276384621169562750120429528, 1267160662657044652657647847090619528858200766887718657235), (2587896033851402459554299294179136697434114808271410392967, 1357901719717983516287238192429495939536658150784513598661), (4370273432370237000358787748028289599345558309034879550442, 28779921814107381288442391826291812549854422303503419557), (3768244132438187443259106105126735878155631256309615988482, 3796395541795885762381350824567771866391387208296685607465), (670037278414658101300310039387477074978046775600946342841, 4453705478617814743659490465195707845975025423215548398174), (5648869084297963037289005808035863530228417295878296306841, 4115387867509807564488824465017079250782366730118117838582), (4871867781456885466559734919253347025188141070695028276626, 4146196823843666561989798971423813665218302228630911253982), (2905080308732423383636266412353281381008571038663491492901, 949133216432300816855699607492341072692565925082219238237), (2181594820199390909089947938565944217360646345061556127152, 3474091452667138489793711666856319939422490555549431235254), (1479654829817438332952715075416981159534815042904987030957, 819838418620397245208418256416203197672031502417260922721), (1357443631742693773226022175456073182610208090126537456623, 838232573753608726770423696614447910954673231184621318623), (102591628511014967995063301383796514156821795965012595867, 1566289367379322744837416437667395293934044268753140028998), (5600836427378704146343642902883821539072748759653052382531, 934523777872102249571248042013922310663298429361901092090), (4530657228944613676679662262610213951175076023061461417493, 951824926538683894020571639155089254407824244153543128773), (2058543113803441589918295808956271193429412133113480028931, 3204729157866227710500932559339863612823029054142494431261), (5858065121370387526020219516047315509837112170173733047296, 1121837294163843571402073410702667546496596239978596438617), (1168305506225494002744732236829706796539310595222898725362, 1494022189331693542828214036464513964909710847739377290372), (1491823362424571626145476378024164776893705027397206355662, 838374826885527732248130802593070917374116880284475493178), (1741796216656028074462166363128395233984670268159355116224, 32479718970442054126535355309931549927463141022422934041), (6007211908955444153920956609476567260570069191239890109323, 14805353955678593278080304370557478553064533521219738199), (2699956029060708796917311907836160257753997471283565397048, 611111009069322188089908292397167555892179190557583177302), (660426692117029117383920775070855235928389827943976496615, 347576271990683884031423220899481643584418264677076637588), (1398711641334309443725790436083896472742911740582945024845, 4328800722733504389790912018978182519626216211031763678757), (6206125813536303418859144507280305007374458162482810910286, 1208519621790340606428090045400691072055913030033543107282), (3101470134213252447024499634043799320665779349126766986274, 27123587347397078908578371004817834613362239309942366638), (3415334248929683229205448285792012723432921842901102045085, 4277543381787716937502257342112138762995153061429362703768), (5462487510321132408741762209805563459786350761435419683670, 451863673185600738352479520745963877466308509730732022754), (3969485093102147981028677021228244651941004238151666232981, 352579165371523135826304331093557499872666577580903580514), (5426440391881883498407479841972560647614020017399369364744, 770338446879270348384689502289889606902366891889665093838), (2721010658980664237344058180852941712113970459763675221696, 3814364045034845282613049432194336194059953480392504529053), (6121982451271129271205984047142430946046527511121657375533, 3666911253055494258373317415993717836997703511185086938496), (2869366939937257192546589936734627446828324961906449890381, 340529228166994256764245043481143271905347924873865359612), (3873645262698787516598421560812135997342093030009854726738, 615708088358954479608530506904581135057452748693239386572), (6072829617385089436311462750488517948824764838858138226486, 1349568959391259444784875522293533760038749424199329504586), (4126776854024927045452448213732012710858532730164439394724, 4641711244105231029550308138148858131803839625208261444268), (3729982636467982279658156284987952754978005259260957158877, 4185912837914525915786865723663707189044716542683162895522), (1789197850506044662431846815599558696421484916583483693317, 710272152461440159928263099263804744999292260507188359047), (446788253140396670051133286773695754171132887749121278671, 1200815109123688048754324362885682782791444900737172113068), (438893542484206808965318743446803982972449644978203196434, 3357155944691573699024684390667856655184894338476176412385), (4472377866206166282565120513903844426755893634241893400115, 4503536826984649133030547318135420346734628746752025881431), (4778592440891938984971774183699548194636520725335679839350, 3846117259652829142148996132585626410948547215746637350600), (898751618725286993783916227105015420426365953100681442556, 4625755569555852349510509498513064809223162032577198490811), (3805744809024075110366872676854584966438946208858582124265, 492151042943935022130121004323032575719753173375605810065), (4536660361002684931873785725522511000038504608059404478823, 3263316286885962794265215178968003058209104584790775128652), (1298128335125291916978146158480083097710207887696125316218, 3554422298352549637333151217897378012415496972363140320819), (798681900490500492917324620039775907572118118551663979652, 418238094986299138856080715011585572408908605938429854348), (3268338637164641064847415815405102288967095407511965757960, 3168560067357443546026348976841339489494067564656784634835), (5340587734896007238893962157401711213259475549475097264554, 954561566314697252098119923420991600487739913439976226550), (4839860866826049157523002179097567623941100510071772476210, 1266894395102113262734754765235249085367965012050644299133), (556604796136053275361982061202353454187929363015730023769, 4261035822393846216517730748352829059850679683989858816116), (1873005279580935071885208411865627093653215372746851062342, 3967095295767643462109797741489834376800694202627313281910), (698158751498649001503986674554987520760812423831686299654, 3200464418283527004774029147446139514655882302269366618010), (5554784975756398978892099266667015608566081986266521156257, 374883423452859105890883952549912690896090220939546979716), (5675975930653419860070233414397354401712121423456274969985, 393199760293342581044313730261134905822486941278299088460), (1013403423914768101962496112606194302699179580506618213289, 1098505530276906338541065545958499596496213353380176940967), (1038795139340655192186986080026725119808779639467836857727, 3364240952866771070322157244582475221841954853252541505708), (2055257166197951157503007881482965961387952161966123485140, 368404969992290466739709555908451395588196192559668200754), (3688377435467371846238211869580792402726563996323728536861, 241156059351274851188047308178395422293401957510131355844), (3140351432171431618499003727880549905101507713097445109487, 1159228772165446138909083235233100950465225451992676202815), (1232494688714757908230370855295331496117200972555393265660, 4138669458807451655989699853802274972734215310654386302251), (296896613168031653165331437249862271615141389397247552937, 1208312616166087536573297358683732552463618077677328382750), (5309794674334790336899351082171246959854127822539760218739, 1247727040674116028820105344063210586013928748888776163351), (5160161424312676530516289083042174686086914952044915663699, 4304402434125972901597267875846300510440056683429903301007), (4839920518308100791179155643719330581239398739981285346569, 4640007368534661601615050183595777819258410501344465854120), (3697528666518449804244702331738601679666178490343728273160, 4214493993228781459363001443844368953185665879700496152667), (721945021118925443437287667325412101981289119038027291638, 804676837995253827830483241683353166141224927592215382219), (4798489327994424554080208008206990771557822800448877737377, 4548428631235901196432521403233270065024285410606420656530), (4843377944323489303899413507262990557749122855135392537145, 3450682621231833010294401816706314814864250284900661272816), (1690083043993437195838612003895288821995983153587816020119, 3840475129793327256827612206374915673760845319895081979450), (1114758587966780567881884244284416778617219569558636971997, 1027517477282841297835910269801092981017853693728382781696), (3697315301427310519786672752309704587977572554632417349963, 702246439251235515706833440520343070984963509505424479157), (4700013508088476070579668258321221826350798650596741842966, 807317433048921310811168848673059398548732505304537395579), (2358325935865189322949409846543532061774525327152208426446, 3811586136686724440609322574963512038243632152054644085914), (4343635196938702522680723465811153626898763441542378988829, 565204612435453299513899135207672917456789898033413844323), (4953069101718202507131902095625584708280240055080637480070, 1306916606035205880106135139766910103822420751312796686904), (3264274066766898203135420298204764891818514670149550302344, 1561480825598803668134002319516949715484737005820995806605), (4788774637741155499480509532039479403333836845919004977198, 723144931356872527408407998756951648442933236867604225030), (4554885053237444023136762315091120235133087379048713995026, 571572710106375729397038538960467771695488492712936304028), (568157341346876079518175671535927572328331063232040452081, 4340656259890710460818898918390765091035258788361717666918), (164203498483906963238960820003057690801692553407341752993, 3977778707709473335118676834428240940662121581491563621749), (556909207652075179062416643833271875777381252117850944684, 3671852221932197414388223216318031998756534564918817910915), (2089299761517034922625829711648154728803177735704764802712, 1388397023248639886217089490281694527012252417902979832727), (4666446395554226921948706545272212074778769987544816809951, 4340431295821627427151602290857660988526093442842839284399), (5868953642310467299683340230486737518232102634089121871181, 734204403305114628557551731631056751338537937905829942179), (6147415617133202943740203141312949856937317197263261064551, 221065929588059106123947688099871710925619161145009144449), (2398836358754440728897319627561240498156646679384949221447, 4266986538568560465182293191224338132175979847110221965037), (939377088806957084759763598702890708350080524323192444415, 3901658064400390137377771978491355585244576053717280235779), (2711034460465665612901397048464668158670466549147384867365, 3241825719546786262940153853193323136045122188343617796224), (235008575117678228703356906259267667306867571936889711142, 1518485541776965366122239352415650836370276644686246559159), (5832588561600621178054147665293062371439235709488242185826, 3320835393103522544021090320185690909590071932160196494881), (2782693613010602958168589868338685651277498222280950896818, 1485375241791399021279601213230039462261543401728897925386), (3060636569128300706992663427951443599331168619471980261402, 982290402382006658457811141894722857463348967293005090669), (5011589685872537091963982941158771119790425388460940710515, 303142139207942027836412825220449682157393492617445022428), (6121039196399660472106863747592436788136145859313426247934, 1480386826148727952350586604111617324527178599358282071853), (1838693958066186641113707681060270837336953808667310774555, 320493523461655108710303954407688685693729913578854338048), (2230237946207362297325392336684169880264517028421136552367, 4356904760626689505028776211282309637030175784780351783840), (4490631703968149698125183634595267259128248716321446894182, 3994823489553102496675587994588906845590684551377634735358), (3386201545182250304778328765297397815576194648619355042623, 1228086260156825411947150321167248973552156241982036264577), (4438338937604964393430222088291165976509750580155577183269, 622977199335450208985578023512702926018535716142649686316), (3160243292459422463377324545084641400709708706177717216828, 3930145374627156010509837612951383594804145199206752625656), (4587066263077703475489246113755371693363342292956212323756, 4095877911574174585577867261016027981292815120199827833331)]
C1s=[(1163944691139329514008043704097355467883635783915410228661, 1073344077872495945222704275154124371226857187755377585565), (3276650377268214991617469139442029717506681361312176901126, 4505260882629563049872388745541627918236761274243679626708), (665172268773299468625551023637368394130080116655035264106, 1737784810564560778966687469645659188650666350409028305132), (1121507405012145557313817154737674677726059633468142475023, 2431006101257613844786478268760396170851543211470440384781), (4363960791985615338094501631132102749609463732863868981538, 3725600502677376244968583405040392833329237711623735045518), (1223823152363872379836941579275490058615785387633388511158, 2457640138179789643509477033911123416726290043529304986772), (439282539550328487699013853210272190070365193859968081516, 5991305294218386714717456624472783655843643481885154993493), (2525294397955807817708357312907562302802556091306682705209, 2167120084561008912730755009223855842641760020318192487795), (2332619651083351728569803410341520793078542890062510463206, 2292090569497408577897746050914131631536495097688997261369), (1352964642921395305025153489216703376072642780055830875934, 1189570071778337055956931788717824416594979669384817462603), (1841521913388426404803334660159073163263550068966087220266, 5516103082690611694866979564163076110450534750650295190761), (2977574734886227185377123896888564474634576936592671181820, 2686643693094926748535550547950166663598113985773709389234), (5657073569493030610841490805200242605417458145533606097562, 208507299547045642971397215721402485265631675609861796967), (6016842601451633679654427642200133373214039719253078641512, 4963088898160877381135792618348908874067541322841506008024), (4122365753170307169784010595913007048639951837684406808867, 5570247087872029776325018720712715431585201832822890715778), (1027529268675155954791366981358708114230776688789039762629, 3968671669076214104222405114454896248393842693822532573174), (721365569008144094516543192932365709251201840018644364504, 3957008741884164831929732830261314314128438862570915625969), (646043256556202921795804359105809599442539692894108927952, 5027010820708464150484153615774503168472592563011841692084), (1219908629226466550704868000979510047959169478524353095583, 687572132550077211136468882476897933036971842317124743986), (3710693113441168942548173806458298526269644701252874618162, 3000001861301393482476372201058996515539038733836930592180), (797452072813163817444290221494793459492480733497028541952, 4807767523587895596111694256207450647645631665210932753066), (1361102125637210109610071113964447335221693933159555327808, 5182665577051507890681460843690585403744352481990024478345), (3781339091706016926138642446004647482696413491464848223488, 5388350735493726656444574616256845977803660019098447359294), (2775288508425396627378981350970317937650111002940258356502, 4366062806980313571468227513959732296258680665094872896629), (2679096718300524259722461308547171703294321138530717752846, 5090942015786660101472546861195952119659209123134632485277), (445763453339526471377078207870310720077298545943735825711, 3433408132329185318311568384552163524283436909054787581933), (3027720064271985719099703900849300691837499592634849231365, 4912322068766922355126542643670673874113616867946259591003), (2966780439224291342174355729285565039422954883874173176803, 5103426808678923321318746683305326201306886924732237807412), (5911647205215430803475523919022131880573409827497845104400, 1529581430186425324971400255122154822063842215502512965159), (6275417018976348120689173160562967578770203323262607726404, 1861729177170370972644774475413934800410183456462225683540), (1772400631280126358041531470401737858955805744700069508066, 2926997852182067818047788744088014381922545784556333980518), (125522783199270220507894924763770942286589355128607011540, 5090117194000238785626550027619567765466115786959202265887), (560280125905575967807484564809108383097523995624850324377, 1820938510330691710912319467409180799862385340077421676132), (2400206960586590213291908215192304815914929355846846558517, 1949590670052752363118312113051014356489731963789637182890), (5926061115564794173529923313678115693542265612474993083762, 3097416435087906898180533082092944590667487191875972461325), (6024443480731981183471854231853010146082771175690912390184, 1246665301916225171919981862564444566276033824449215999990), (4147128217318362275146073005153394061418739216584074782965, 5902424256464407045775384813607816090373976097758065183906), (6111453606511281248574080462818541052924038400222074799584, 5054750942684221745106480550217785549229130193362759805887), (1255258383507888626161996039570177827916130020743707228786, 3219049418531887619115005759938502533877279822808250666084), (1027501419878903141228813543465048762928415231647712739871, 5275513383694716549429842237308457355335878025067584891951), (3211977393121327672884884286518984914982126938668748044912, 2185727671461448448577820908315460378359109061783516377374), (2334772041751584452554501975831195856264640122475545198652, 3339752157945591335868848372528036054378131282822043471555), (3561555027221230641871799315996338263347987231881118339740, 229507957441793534634201558278384298456832237927191461268), (322600879040505975803126038421987606607874435900216631410, 1474641093952417853505139511846999548519272770553365185630), (5515151013140023832620553121100469954505478901469599252848, 3239479116253836688197605260727501779489821511383053169686), (3400485832615131506999056287087181971832200778810992183232, 1524318858479482023539031783985308269793574369200746585500), (5041758770122232556163391575190638445202855887692667344025, 4544740533945461321777811810733209449555752655647370306301), (154001019940630958259372791451039031837863575081566044798, 4654161366385083646368453471948249017055743782621109973902), (5429426431124235973437094158385922660314437861998872223949, 1020122779932716447271658164634131792843842811902179578930), (4425629965722982996123090214622098201195949179379112437662, 2503504036018598201354488149686952055579058189591541095025), (2494468166391239587334081068874548099964820830087385949413, 2850821758391461689607671922209251556652412427547853737606), (5434410921814599109762130587226051636144825425847765270148, 3622717869144139411346095784509278062559557685231454438095), (5678846831750907321299654808772127506894246021244356792783, 2883249045832458547561251615412814540550835300571609277911), (4922128832934620170875377933760075725718123338744948766284, 608593939536793118622053477068814632450900133883970697942), (731939030688109163687668206075997897003829149948675705804, 6143038143124439949874404418974344513317127077992903324854), (854369775856448087681486921931642471857566288914705954866, 5221763028536017397154147638823821513224431442306627825584), (2340978333680304924184868884281731788322470482080189981681, 464601882595920461820290904962782900786554647706421835049), (3257329647418555440781063391443980157856456217685938655007, 1508266946630531680567703328862239038246486278846358757985), (3035631389134908279754665195475331862131479208021121260515, 3243624660139094858292091892635580061051410544966471654930), (1229740214598468443217115032313589445143937326553726726880, 183048060386525253557160681131417370070814809839439360926), (3773054633009282419272236320339841779217153183208784826156, 376618536633962616340795766504904543857117542211446769882), (1798449367539590425041822938910134974625637109379080761918, 6009979093544572693577185233653144218913244567948923522058), (1625127121637616040875463954466213712234646983046847016275, 4322359359618439302843675931683995663443746601134242271716), (4597377173691246696946043424092280831324180447740986280384, 3618986583899780956956214713761299437107894749415282206140), (2773123517897447362956929172735070342371857295006096312405, 4287475505282932321571414753507672655171764653781995328056), (987815074969819008268122695763662266148821093155003281183, 3062805687508788482552317638473066021179046760123140008353), (382633056111486753999706565991477156551508284834829028935, 4551891956073278636589050848369115320841464310125422127863), (5421208709577152335707891938539642657862818975592584734375, 2940487147256800174455411425134299693761562124447312137555), (3071160521805607571810012060412336709248166507345130593164, 5572263037809180424873081837772477867710339760157622420364), (2707692127365318342929979606936828055424599975551698179375, 61045052860546416004469039917528150444622624708473069247), (5431440439133192394528517887407802225939561081081297821106, 1701113620885978976535362559365080240004731694099071496006), (1699056156232736028935969549973149354679456615717134657612, 2826842910657059796181309689464477832779204758616370577046), (3308039905944207047692883969664288362059361939090988948117, 1045726330210682660837638216526622232228599146461774274571), (2574202123977585578299971153371296154522542976793087946811, 3876307517628442431318129615151992908377080754253894688209), (2267342017032184718046017312810729431510091461094965345457, 6001180860529927652618043926221859585456406701563871139100), (5950362532514502370752460364663703137427470723952591048400, 3869639347403049474285141474100317922165259171916628606872), (357278091829320454693505115153769717132902029876895222051, 5969425077980348345476991238353184107080420138644469874220), (4661830995089767291237701159819909801354723621065737246128, 5669407186467656406768249638722859347400133401201512939321), (2378862609436390145642047073431255086845425535024173272411, 1711817950588868974476691617694978686267918328592210926005), (5473690775881269656674558522060035275902417312769704859758, 2508957804363770804507476856784875443573067606715398298709), (965769993998649282090062910563961733435988857764764439655, 2147487901537947792724655534155731724299692057368643051027), (1002217531867844162055059958359908706878827549706062154770, 4843296529573026809767627070563638246926620380546422579324), (1726427687671295397893022710653994039028476785915166703693, 3406940531505809805728124111555671871993418199485256703295), (4819419485303787023763693957584799471710835428493429129712, 4633013810809697362244479128461701335627301035725609082029), (5501665584851930215193788847832273992966886214388596291531, 2468695203919621761753880652433267408163948073779562339080), (94350185057856325044463350677448947536968452940566525409, 878436127625325801113127340320059003717984391767402584646), (5393933015861471730385672122895250903251628682704068919583, 5812067856879892399467072482110030230546614309205894749263), (3243034468746349266294493745420270815349040037628229150366, 3052203095761946133610942994406872412088326737644316616807), (3071672107973262783443394016267908138286662487722671632390, 3064524871291702130081489069502457035797000797818069963855), (3811128934279931861530842097700686670728233021252596793239, 5175836144938861516415827496368691219749356292382043539949), (3175020722811862075271873458301997573132631388469681125458, 1728063464642573339837044195572673694648482104244306242311), (4745604305663815374508989316647276078922417727939682215546, 2304831765466287245933550715120809060655714506559046830790), (2640841523151930455859223449608502253443086764444114868450, 4403591779588171188105821940799910793487250603144277671752), (4898863130156042966371498600653461750493731383998913279484, 799980277045904076092753547889937875480320232061696987805), (5208439539973096928617443261103958905635057573627248644507, 4434052225561882606619504366358380954272067712768878390754), (5739994488472758225139228887086509130169426983683187853328, 3227901628722508430183242800357398515752686004233933638688), (1542535309298657532023738469132157028021125482020533618396, 1188945384858941037215065765002749116816477495984639132293), (1420130798618267408933738814185460684268189455438365460831, 4427686393627394770124053023247750365163829473033793601193), (2741460276082617114596411500256468863863771869311976153598, 6000874574739249610545116070751623585405994321567881240206), (2582813612633468632901261556273522669897287739562468382759, 4357550414888220656546220588869188728315674802100638497669), (3363368702877354760010996976883544278862005263242187713057, 578105863853737111620444235692506316395747516769846225441), (1059652857433922483192056317183405806056170578015531080020, 6149044399983688263189983885682626065540246067692130484174), (2340368004602595377774456986305846180472501623433417098688, 4741039864931093387967811931885482975744935842034114524728), (2576815381687008016425984334934837321357597721670202739894, 4553034354005105389785026151537763333238642346438568093931), (305142499040808987216554837684491771560129753586911845741, 651190164036016756702354498178024191683158993763640313779), (1106872782947397061368091190744396098371272081759361632865, 5977244073314549567945645404131125173833083125293800509743), (5634364783828365034527289260053050239651563591601667194510, 5510602283718250930408682228571627573440475024043053413234), (209368531988514763241743618575753602612452642396557885000, 790172142229006728833341228449403444666302446953665074023), (1846420215301390800894570584287016416458499520077852751663, 4778487522001532082166064596366140228519944345172555518970), (5145374617195297213790353234276791681573786544625562931560, 2965713821434752473166944869676969103849839884936597283267), (5619349180003828673692388750619626901036415512788106908407, 1857625757819674854328590931514198328865379245352825218955), (5547927000883580467723936937834617025782090493255657816440, 103050955663982212990572242175219156314329429938234009983), (1600423323391753285900686235711985026613385135130659393624, 183548366634190374693081790079118417826869082512151271212), (4248405131876126868593911791176117464864031666357360693107, 5853125568626720989739345255651202202475806376365803497967), (2771783690545288477654875680648856944213112126096493699326, 2203164381643924207944871448797773960106076490926455490482), (414321928733312112867411342674294098906881803476886901104, 5251921841266220246590631661333937083433862308164344725616), (1945016190938149792172201767094662168563016963709100089390, 4352730345736989343672234189849423074358394585259217232914), (3972594416916233760978285957326802289446535488264806817205, 122097687864949409096634115299460065876876095679438002812), (3889429524295757753120355075241493031252160292684465899872, 3226866717836235439712665775332346021105103231718877594064), (721813026672457293869947149852055360984241864208931724699, 728382776961478367729910849483049904820669598151857446684), (4600561341301148188444460356255924575013001290649453964034, 918375268213476501619046976728129144386064099494612940597), (4723630978994423658150858077675045509999738068831381984455, 855344565636542953748141983211091670834018453797589128494), (1660994867918518632646323861466537815644734962185931943220, 2933818317187267442445529131442214384726987501104880982914), (4202389204768410092907291037928000244401873955029595183454, 3763569761531124461307454784312865126975849772135686568818), (1744829941078814339632029967387826848045433937303103437893, 1267040164335865112590607700757036078739383510522249145666), (6270807159935070658519843532475455351918115957609704152456, 4927393881256889430890623762189138340857117126248180139401), (5063038254168017539109794583254065765303657270538589678414, 3059323157347475445170579355953859897092490561742753543502), (6053596676413924421669974941116492151055124857468169507442, 3852160269431734156226604814206907732609590254207299742966), (504296225704531440381151319428599983676543714610811560415, 4333432456555279520517238915224285769512937869173826635326), (5927912306944731798311579841320293709189093779763343393877, 5015826849496314385397261283858563426188921122615646445572), (683605175726532033876612093807120432979314076777246543172, 3848835185895029233081595030239639830166309057685462021906), (2307712587899923337214056075141963579419513618630355951363, 2604611958863218738892288159599987383690728431577900842078), (3207431348218294407781400495298756425989586518849752145867, 4519050788243451616738815821505311551687021590998330052051), (3421986742254262530981736530937082662611993529392988059681, 559388599965495230360296699183066569525434897728234301136), (2166977220512721914719408984489537097968153173244355214903, 6182187212913711870584896517737743155113021901680395029039), (1771148070169570532003841353542681787934941920850724518405, 5039358774824860687364873873320756569113487065512320689514), (906587579313956221552962809250359500348131952770200260612, 3520989370428990564440146814803394273646485549739997252614), (3954896723538483756855513000145438957920873366735411305634, 2717420331756617029896422566273482161459006039937889324469), (5333105963903262490963352537423743020087430786283773517511, 5143063616171213435801055043855748852971378078476438670461), (3467559520498488501737919634340476382732726256935127255833, 1846070044392147317872442321754086283691754470731866126080), (1458026582960418897356044564990570093299512150317094729103, 267661918234269069535698031061846332551073449369105522398), (3497544749697160984836129548702166941288048949671750776424, 1034767239779033164081759251271426712676845870801340120337), (260157251682589947211311851365659680589366563632370274342, 5494794880485582618510582853443719752424976011180734053088), (3826400714308708649538524149857771246299744705728735608117, 5690560202169276331281366270707362742317533382093651997361), (3323840175257113590057865956379920791345335387429492795431, 3175140033927668976241024014518335170288140228912112506931), (5814755217055567700217272599998533068810985182933633942946, 105960601741597615381504028502615281446183186087359694114), (1514780593503314461753343645422857861221380287791283159977, 4504022863916335885326187030325756360568004012820176159370), (3881183755936419899963088259594041203833064868462167386862, 634687155516437347703771734600324834126803003409615988234), (5632714844585959287059533850044583153513383392550235535122, 2508131884319927684352323186422011161163293570018301538918), (1155587176070357254525057781685174980833462630672977500324, 4175875423972363310253028015728193027426139129530495725160), (5273505661688490604591077736133566681423075040047752668855, 1745535002697083986563742810293266216649938059675684226702), (5193120027773281603834910737830290677732674374127223593478, 1815087925200943926746292659203254171714950253467196810688), (3010598793666886803378169356932048744973818116468351874070, 4359020219303614958757776641558072011299873636099988868564), (4838381017585583080036018460954599560984204517228381262037, 2264774672158585505459296075979514702518587971000040883544), (5563958826691718631706622764966773340899408571104869940183, 598474035153361591073834577568047330508446330451970871564), (3385050240199927937739690236222918113398534298251907149922, 5774723958022067311103972324558991200135967711731601271515), (4685051618852442412685059154304731721706972492635055799802, 4491683382427253544516746482114583171867638634071431434937), (5144055134863671408848418198578833194124720774232036881074, 5825487975098339226984178878152387164933396551187840803258), (3635475623322717761193936458686905502884986874493988581157, 2248682122480368969575762742694450996026753588861372876485), (9311631547535961730092483622580289270975932709000021967, 5773966658275820793438363865439527032788788651675795021026), (4064929560225357983654967552534187334952137867265113642470, 1956910394570128639452898432857833341877147542660349991194), (2749569276436062998240886583800636598602431426830956385571, 1367596081864549141324721323740601374741050506870814635402), (4373328449856389205650289293641268219921095484899542825615, 1629603941218305870755173069953850531478162717205765944370), (5137961423471158142428691025616592953198330317813105454829, 2712098218787760662189838703639740559278211233379732689416), (5286924265323392247783023080072498204984234648578633249177, 3717851790931975439689412083989762781061309905540565206315), (3825807786368655493857047158951593424897247917700247663713, 14021022271577700617165504714449574831509540158055383369), (2192755854138334588354582563692977413910737929261186869873, 3955880074801890844455078049979419843473935701546606620681), (1378477859030181405679882663252188477087410507930849594368, 3290760930712223385021798029705561386358546356006086936628), (127995357840741320846019739492460876098060054225795399963, 1091320353104031748808875137870745464567467921880663165089), (636719692196493303621096304985325925382077693485311695435, 4881677321194012230700685903632772649568204182925453451473), (702404875516935714602223600052405944895578406055140942213, 5555045132871343123631419507243624259406902237532823063686), (3087514862300313005135111271341167677607381028527702374159, 3657097063990479539561815861078335266780592198617115494825), (133858979544199161261068250973340141622854706922109055048, 3992799312765335298652944347503458328638231130194601036979), (4846162565355342140368779240244322014884472869113784173070, 531565184509788311343494712189262016338043406472530273638), (117659062143497835852875940315869691288366341291439986276, 4107612417809797017196390376285849123936169102846780584331), (1995844738421070448391138546537632192624862469336012376546, 4037352910437766184326749760033158598392012347002447267348), (2590727114423044161597512041857839770832957533570472274116, 3647672198829030903072717360042194637255166388603552753200), (2413949286274949099312158759232670028488228717954982249169, 3909888676392498069314440019188198694938569201835061616608), (4467939712164592279916961754090628242534566125462596077680, 2765798174854562169148542975102150520953249685361160674784), (2762215843350217792120631082733951005941317820585057099652, 5670065611130382273275273658746430270503996200506313967044), (3203034598176980741821296633251064980924791020589288053096, 460104305266717134946981645447091467800214530405544716020), (6185066476021964134358795159953386265490059780018207292735, 6202082984043831742725335738489732344049583318731352636969), (5709758563727811571087552455379007643504241248187636414352, 3971035387289216597158958016303254669868268237091432282435), (3090846068961810724071726280761526209004018112908355991396, 2651492070356927195559851213186481198961049458380063515050), (2220904640796277271069616222609129787857308236033927528363, 182902689644846659490135172926875086274349833392342473941), (2489437480205921010226284726704061267304917113337832729801, 3936235574748941975932890582777796168261714414752821207731), (2291774857770719334768940780881537914689770179606711822348, 2312867256662051548147641405730482512542104798599307715233), (2888460469706064706058329630885257965720938182638817124759, 4858743045338275456857824864611841441147009013027515539087), (2057647419487725690280227512839778332992083448996538381620, 2551428026890155977345348318164976173931207556385486098611), (3381237158046772294407600809999522402932413001052522633354, 3569065360820365683335589148230822088097149338470348788148), (664246641345588019386210537367114240620520090771000693438, 3616021186454355376878803138441542384111392450196778227767)]
C2s=[(5444031569125811161706972496131977693510495665222935034270, 945375687564171063425027849056157395995732501849494987565), (2284629462767338750202584865436819187814948720296530983671, 2481037278817325639281612495509157091539476367543770788009), (4288540080170796578620815175931126711041283760579181024831, 1152165595037896559459223343334869181215551408663714239938), (5923807966350755580685004315911386726611833985957325826103, 2830088794245995810869939914234353573157546556638476320425), (5484498406615471489663310803947838885397595879469381263933, 1311109688082623349395809381965155021078455568326393464370), (3165399431664644548990015969861200377193543228255614881257, 495536039652638487340850712972120474628706821935870970711), (5234427427048169032386235149786188044008935813427338848917, 4221383604886745053559113569624580432350333087774280988670), (355880325313668232871910205877807088729613945850866100931, 3003539139960729787283091585638846927567324776834723254508), (1786673618794348571814072369537740130724911481678542876226, 1284464378590318559215223131138478215223852282255488695479), (56397711078972957141620116692583778145560312147755548755, 240611412779089174599620113446484778123281769057082341397), (5693158746843835740012170739262148478684539342493465373212, 1500901073954507055752781744732909051214258754682501648895), (2977973022455852469520957916925452624814670610947348493433, 1455149678259747672206639755827959613384777308584667443098), (2514061667790192087046672314362788751950289902353815974179, 967961250472074689505382272771654652455961890946816461762), (6249558265480499025341656340504713547347843453506197391616, 4980072698976804293366906389540118590286381202293771604608), (3665031740761623335084653778948490371836281500063508635884, 1523801743967847896141062284358169889415754115495735753599), (2084531930490112566551799937363042340394145780926957941874, 4731658684831968062625482631237413376401842793949932575900), (4899479276542841188433046542919174978535735871445378473437, 2399239271896634909810564016767746482101020116245093464794), (5943421868816990895171228213253768524262329918494734545031, 4080844466737347867191804653623256808787727070131685239111), (1463525248683121543604666002175987565935624187372829262054, 5934730794688518165304026744822320244299190002018930408368), (1512958456656048480893965739455162513047356963344149852321, 4842254876686577100923890228032120676465542317485650088291), (585554008874561307330517329794510103987479018369022779072, 2285558135670304807098784824030848852440107898304676112825), (1121891552394687094058854790509898848117789315976299854583, 736142368035529576089644651990989179195235217197749364687), (4465674405848619365293940901104905456682263499440907934338, 5871179484429308316566744155914942240584922503874175623672), (3673642232906578830927260610341961406132831324250880314278, 4219309653735222293957045132222508447854042695860390366881), (2636382745656305750885614607197172668768210655829933672751, 4553042782939980979291059955455649551219233627356839942442), (2785925234921533133236689430335965945474953010652629202216, 4266145739201544701368034862964784024675925971443248560957), (42778918949238410394331868623966575220199985838269946932, 3354476954235695174747228199448343765538645634473103475729), (4203677236154591684044773432122582508328476414931969320431, 4336681258840216518232253611373742214547837890894330954619), (4604925177562049184700990882419825715790118238584935131467, 4886310381960406780163728346498907365492290349153824548018), (3333330207780032944717601491265708870864190078240868118919, 7897061840332588321435193431363432840078496641896948801), (3762623808859958586991503607969081223052313312510438677534, 6174655914806531986277743143644347309275271610393172740168), (1423811350073355201345159099557490380021119490665389861196, 5141418012751050707597930883636081110838892902256711396192), (2691373524206354535272964682172265952338653779133201872422, 2008167130581192700683481779794139136511536766884653607684), (1855565910629319554784238088436151269857821493581325715939, 4354093968112258115594564539483513636139073384898602581070), (1213232333325699112434693200801425995723921893344877901934, 4066953412169264128989852383005101596377264298380257399233), (6270338404904360526682796948182355255221729403720082577877, 3704891408833144932744168469113241198313108961765392458888), (655704828299067546231710630325919289802206699889720116536, 1328488335624140087654409619607534831255419414783087212055), (2862541375308819094060923469164368291208820982372465142341, 5848863859143055194945857209658408417321664733519106369675), (2408182518456615220756057777150173506061419682148409822356, 4308420441614330517829730630964330127792853752637614797264), (5083500758308040907528865213250443844059402186658608584080, 516474329631741736147964209843996750468193655955042903193), (2113791753873181784122937307794172334854352610443391512326, 5285827221133906439054299879643348110807166047073802463803), (5344228513027983336839448829574063938509206485951084315279, 632021983775222795647846740562487480191160218712263104893), (4778181310482646530599303842788876852828526562650368808721, 2684606747698682167850122187685554681810393816323508458251), (5201015564445380444752653375121249124997314617695620062358, 1713763668712861891021302420760798513952654853430133187147), (5488207976098654114607717348647312803060323778752026704742, 4316861022153995122165075897879778669439063206926509874927), (5950214881393987454234638062966905593961726672285359989430, 3031908683312416227396456485881107881736196447609843892249), (1189601413892040505418222286554143568311831758050151711432, 925759464607763543673358466414831007351365170911675302062), (2453919977115340336451824846496980640415162652267929461480, 1643299288611740707393714417968807076612668300450886885512), (3437803645618235293803896256001526754198939548071719693188, 5155399465467911357277392441185728233141236982190624686751), (695193538073866674060089095282644196577839879111837894424, 3485778248051354856550526015078644608942939423027044135906), (2932317438983197567685541595890453639939199729470270833448, 1569723692909392188248168718893882069903180375981442905538), (5554090645901105773954116994031330027960393998421567901697, 5085746709152559779097821967304926888099132768450642679450), (1445573584809732752382597223166351958426010938409239521, 2974966346386194576825889604659762665036835666779053630975), (5713936520508343803294611820911694610371731934150853882831, 3235084496443964249901146596619473217072489665308152813890), (4525634159470711071696699487746428530181183856664280610361, 4082824645838732136753220994920109327357160179835674990424), (4966703628577591407251185091487461087563247333763944958273, 5739571243129892714146735313983371005598399571859300413334), (2199503057413343107658641850425279146156093136403818935236, 5508271679882100501821367993511328897147712968780197071453), (5230197301845715994205215301876250513842828904131563797703, 2298202738810765168468452220374601129823301706069841510330), (1056762236821301280326744514586325037778845995928624539479, 5298608911144156347279465896148300392397940767829936395429), (6193965993385403250695158616635052829586256940350203878054, 1414862303823322353739152866304478396675276656696854194050), (2761706952238907546962379313173575159818492987698901233960, 2778433109731864475013793405453245339442138537138090462605), (1717002434171650468104209605351521064346000010896246058381, 2103844201030337350564076467544862199986543236973057690737), (4790656589028720683095522168100753324740149351722317791950, 4351709696993838650224242142227125470474900380565911757708), (2631334672842214972076572521063664570467733777896230777893, 3140256549053246263763451077533021882875347808894665575570), (1222748679070563462283936251642186326430603765562565190629, 4167691745359439331454563567094671513921020058812470582160), (2349322195502306506191938865229295838377189056571001838015, 6096725325728742661471189196228454143868451670043967606327), (2863093651243508270871381780701131999819377363210817450780, 2295800904324974808029586396448699735149743411259665473415), (2958374017692133337447797816334180693549650830937995941238, 11546728081434835684470636879238846160075549453217923146), (1932377554890646847006314397632365479186469195446649969460, 2352977286782439989089747065808137770866706478312650121968), (5535339766544092365999501865320379449599965598405392173820, 4334608423333479400412867551147540503181502101198653282985), (2921133268529723170485841662903849052641626633836684559868, 4827231656575217672778796600394930430665426228503371962902), (1902570553259695856767796008329706154982932924936072044110, 4174429238364609009682013808106800025067398925973837411201), (2276892440479535567745926539467603110672565127612645040968, 2977072660334018232218820392417110742280956936134204830994), (1727797066436757970730187363838749326068652414338927813127, 1353010252937230523767885186425381118768547432569194717131), (3993106201815071796775720858220051756328098173626677091508, 894773980338522676357324808604816104035024638455010448220), (1798149808278153630471957593879870418695485634894386013038, 3988387215885763493482732994090432692068170046877519858095), (1277148254456196758869193311596940267370826470349925727049, 480704956546771041131715253022911441052937388055412726977), (4258501453053418273061812272315963661951867254711416848663, 3584522905626487808637076119517490747712345334374856458106), (3624223606310771917768466334515586937024067691659750900164, 2596176823169299705440188830469046138509188133022039414325), (5997574586276046687063522490196723990784465696142100931703, 3858571606722597555934285569552303936240387837570071381688), (5189835499670128265826866909070488785986868522479124328174, 4297538488867007131435651690051935127679706967895195268922), (4881416708500421624472293297979145579805060531888585963547, 2979556914251140309624543152040607490667453842993220595332), (2563642640431197061285653893603979151370382336085234638862, 5930361584471543454227586974092450496212577314503105683085), (3955598536577648625565091894758365576125034064177237754461, 2723193682571619323627087416541328408557190092131920511986), (524903305436581225954329626850513968501915280876044615536, 4214031680995434255106568192383520940339701074677483187003), (4891800094052765005026072289618659468025365846270124506278, 4243129179184683635358934302068597540957954623818299062513), (3363194178664241780472505572548276189180178996567267738079, 6134479307382693804711266188267408461964973372233172678425), (1238836787406556107145969510976487318338308842123975006963, 743860982909315706873044733535448526374070251041584134287), (5663258213128893270369343127733573068399279321384982072488, 2135321633824991780274612039538559509975886680514975903690), (1570321907577921780303393554499912350540831792762449593941, 4962221111926876693976864031086182981617872429501816624823), (4981963586668745182332698993315358559194467825127933392829, 1411178133435594717274039324121027096407383159120440312355), (4327021193818455699817905347147628898517313487021323805003, 204024553774091827064279870894245989465934907997058062541), (5812748173567056155049598170755482435957119614823813549309, 996150249797499975491854574490916521419132655206057186181), (346042631219253626637846641576003122262746999110154349223, 2055446979393838090334562067409570825482826305567970576570), (1768006949857625374741734725244818152547068753811368846514, 226400159171539537269720382664352706439698128821695404669), (5900937051354647249181970336164687018187734470970657050096, 4370835811449977035370742596372805721515086100720303749737), (2288090549690540399261793236402778254861779831044355958189, 2359791219899885158618553797367262322055407731071345790608), (5512344124241849227290648864738485625246304897692333192820, 4273985172484580822406627812893046547664254838336077431134), (2375941415811529120643309002114318642520517744575411919911, 898073070966189579319691658404293557947814459565426063646), (4718406518431924870012510407647392822006300722299462135899, 4433779428445888466376378117605572943220727438873422574705), (5699180928443932479378484929968399178056242484843507284069, 5320525681804232281365660896010111674832710245072680319324), (3388708697629524855164406163330386388990654955263796319640, 5595188441334749876616557690594149113140844795637060369963), (5808936188042022902395480585170335172911484106116560846438, 1041777308957801268610759841908695814172063775671158111278), (2891983055986237208215740712522481172451756138400512951587, 2756914665613361752383429480951852745955285356037273173520), (1597128481913009276259787217372599537002490412348984361787, 2222940864961864097502439748270267353048916229934256628762), (1716347838290942376100236061962697268058408942106834225514, 1740581191302549021914304315030330018481133902813877962918), (4792957252654132508104078751013650651185957807491955479549, 2628278522898361007876059857106672231690365902909111669786), (2729387629659902130315511564127754561343421701725394791115, 5430755875103358232894812624469793556664451581759433948792), (1828811166813494333163298600192732800715249862694061803075, 1420556712073860258255698588222773981534842574272789029638), (1138383523984091455633691193348678037999145620439728930099, 4513257079033110219871253861879790920160473670769895713222), (1402107694683997734394020456186305868967150951504951200505, 2528247898497834534107375271366266561316420999590429694926), (3502384322555052947284935380178562348117299565511772870775, 5660994103317678355655807926485610843386012384747632341773), (4884566717436743528720322322128784125964723009779292048947, 565296852852933139571263334981997363744167413002779464968), (6265020733132113298255302399150046296199418425224090772277, 558562711752248076592426569654459548894138118366709482580), (6142785753300684336744976525542143680271196994228162440269, 1638103106506216665047504193957555211552429142352159247004), (1735494189013586904210263603066380314202515249648227343094, 3419542124725740120920188956253485306384943040382954024372), (5675277729656523927850146666513679478188407603676917265420, 309018554657272418477427715258149454793368477891728401827), (1945834169210522389281152872023571021055087787104320749710, 1550462297163858524446310331372293141076134620611125193844), (4386775651845996640252245574149455527598143679934801315314, 5028196954180780330306584386068131313184384536475952837159), (2748848230826763898899679414635149355613390802790558542008, 3869295849195226757266803862208904894639846884341223441148), (1313366040174555363210930186648693484916669324427162986883, 1494263726295488446570217040138463869628052362374787548188), (6164677645143366238048246607291333976789547337850883173865, 1282886033191677350228745864811681771627813093143281067335), (2499067799387319661427244127254573283228070881235823695124, 3686226471947753521961028892764634332625610887024418874963), (6115392327555611697753756494942380054800254039037443672738, 2590755940178507627421102097850276717525742197291749496065), (1926274942766191277530214371216011113619784584631397171460, 5876817718444958895149787374223568246276841661924410924314), (2689444550849220951971157379471037304618263831789034557889, 5384816157694218212718852745470561262375534707171981789992), (5758490864054787168938975572904330971483516687717767718574, 2514762494570133508980826583303965348386360013539767675568), (2023087826769221071999115573083135311927864613653981182951, 4067734570904732732220432633968903076543143886676930204017), (4315913822994162646624337604734781116188405804790620376558, 2806260714876561953634857272029894598953786039213147508216), (1972721295618121780736121922719639172487439458122472575634, 766545138603894947962183057285840197841145063203591867106), (3012581724072743617588351206013243060780983795817925409393, 1516609156932056954779151167372040002774744284301951897834), (2863149938877570450725068474227021153096243720608199496564, 1498856869582642881976667804068011056167947950052840365566), (4934532695703118549034442562723205961347423571820142931370, 6019180099567505171485699116818827734513579230941773824547), (3362634083796732160332010195082732946724206807859357236382, 5405166996856860016783710066273808057883400833060924469992), (136510948903320756938110099695702716680956851259770636327, 687107181612589618685785410495673612725684724072470222325), (2377048176091236729392549431471326502528991937554392401980, 1815277782132838382542591413244946618864388692245320529221), (292168449711721977142501603406631331726233440759126491437, 1909998940075058418782171502740040951296681173194104183908), (2346894484790179935248397685938536590793131793815468775810, 5817079694432624697955456745486584977731028407052372953624), (5215815440879569694279986314644987334498014533755686628747, 108087286228257816061416630367651967329318888382343761707), (1450532898341802105533008741933643812739363385892668643272, 2373601592305610368818854235370320015495191129287909891400), (1978683196519209578110684994884201044641210762567343863554, 1932496776173349101574479214814048230332820549551418602887), (2479310595140964140593647428589532230040462285142433611120, 3262943998392070720525544767753166958788545538274702339690), (4988788480403135550728427636816434439000333738993999116758, 5340069989465213278869264397352238703539010873974038289335), (1743713474011973474984814120011665271564034308479819289888, 3623661150559545312475976220904172635883793429493098357970), (3339950329134815372818190452614687459641206919901947090603, 776542520912092013870934761563798070748331429915186405532), (6168593350159349148093313654216062509825810558758735749151, 2612255620710045737114258672865158265253601032994281185501), (5941665498474109383874771609906270355740734201005631396636, 2498882721465921430549887543291066261451756720554625811655), (4695899591133160577211050180842941584166578942719145729031, 5591088805358674206825542854842096232035617610004579741796), (4525041965321746025803489193003439121323827194502743543817, 3788496438695307913721521589728267603707618386268323335287), (5332909417100562646323642537973077889098011025586283674044, 987116761228649788958661103096868242870288888392862487026), (1957345865044491962826724329156042427230685757395913901232, 1571996837297284055343977027775639611262715048588891687441), (5734137379071608971276170935893340852263935860657362353570, 3219306449156141623522080873674249555321470667808147082919), (6202439148559747471964084984139237132659602880775237475130, 432786234749131092313195007011770860182685278663452647221), (6173854863312232398273208346073372438908328106149727006485, 5439728768584941931405539973091116344443447009101629443592), (170008786085707930876552704153127843586846506678583627399, 2040363623087376743424725249113197594151108213672640371135), (6270440279998484375270382873358414839214083349126587681811, 5413492971339923407875852963340737045330166193089035979651), (3881093617024591673944713917393407828793727554489646399682, 5289274391081368919946631105907487989155053713971464698934), (4336390591372940169369536966771541182349607853735999150734, 2424517552214612486411927467956588279614100248395451624957), (5786952682603238142821149654242034399351843880026478272969, 4745402887578921238537325810114551294031662788152714289709), (5793566826727686344656353268265825893172681205585431894593, 4970305510303893793442038704888802947492047620097417698253), (1416081046942050272959505467430798091735865778350052978359, 5869879458158183638710760666440729325539961642605512613434), (2565022372247045300443859626277067697302971066241823265499, 4757324152352160104158780199501933828141308596293891969290), (1198513525862934738557560910340334388470978673661610854646, 1943392890413823183742830420657964412996009278268151008681), (3409622927533831362451549280405556782791522127616821344191, 649188449842093543630458428045919979696198912730415320663), (1265122242558389634551558167764480691802209568770474385335, 3895476941154419246111339811447564894463685878218507733894), (1750716064765054456950490071682817074910601931189134395259, 4602591068541378416901957054424902224914051603254198844860), (810567914679307572696574696555089055414951414257282725903, 3623909402944611629127310079588118887436696708644267003205), (537117140797410572930784046075593561077947411131294348833, 5883010057876257613173015391846143789349016640302336152395), (4801214013393037986690449279929068533562056900681053224770, 1200900787071889389227206961662627602021731743982786923753), (4421840149309936619502922044106402226349695594445564054516, 4708781119824092200857336441187760885178210118563355381068), (5125847243118032897111505321844097738290470216300026157576, 964027630936552118586015719598669829377960676222562796638), (3513402457501012351650474296630223243166388073045814493266, 561067279481682110506418737423192533378456812911498748879), (2155098005894611098793037582204464381053286655304817893170, 1576982656383724585721424662077411254946109944123862739033), (2049043077024914564078644947900320629804291975995199803429, 4236719813042094112924016396125276850982570627635687712176), (5518404124112244993167295028320341417437106885322342311019, 2915148967191707539375935983197977721286459348678935294023), (1806039278675809573420317433504551858593268272741485934562, 1679366066240723583660705641618300672266542882058189358862), (5012534713249544037580232565291024633377734191544804740109, 6225165125621623777251242895808660862289478550235598865986), (3345410505234134032261082180920501193925856069903186026844, 3773780042779666271410408253639184714597356534333519137670), (888789653617897785655829760699307739996652801814918734827, 3973056221644331893384430198657529183953611374968288595861), (3056967851436212244789918533526008806778854484618025688939, 1358729868506490316794146943967801917254190333248775375231), (5207015156857168744363433501142369392619760064311128618118, 1039311797511537558455116806366915351133874378637173061091), (3493235618170374054835241232901171667949811127336341624862, 323049688749625928323165127710437866710169614211138013963), (4126578524255398332949865571437180210627038336861983458804, 1818911072179810816798712350011083113167442091252101043686), (1376510160753490837681261698084038532243193031188763968543, 4161285517347341784948038744944033890381957735163895558289), (2082106323696513784505297542666037502027835094942028500074, 940711281376160378667224617345079735160964410641521843689), (234419362402590770783434288696020137961448899179678571294, 5147146916428494182857896252776837783162210530628625675879), (5452709751799321084316328907238813695257951734740198832356, 4211050872341562723264998115722016108783353308958114150580), (4055692329169645898091267370223632191345629995178792362635, 4568302648035493901956307462607789702464915704316961908121), (746014492205420685893143485339357014989075459180677155019, 5740731267790652219850559735706906626466338961386720918678), (938207803075335239509374860075433097681229147027194790794, 5676839893055128718725811325923562353172995507140553911204), (1844128432066763663910577604302125199084363963672491182008, 2628676841634638667395343185721500968257699915287186618297)]
decs=[(3426874950893172675906073694937444098639147454050785902756, 2961232816377368644505842541614457596838203618232069983848), (1003945067760731445147219313895280534651347924715812811898, 4601911843888584004355156327695412558921964095661403043485), (1525665723692558151934265232149308646187689426751371266578, 5828596298590399752867974265521803054393109367351387871978), (5438782868176577146761508016249804612807440843857064716965, 5669271653661345303610831201863331255690448560938211484096), (3441599310073866294566541278013785711020027976074534993012, 5006123179120528908636543109750784839057699141215671724942), (992101624648620528560629854066761927596930044414824686050, 682362713155872001747326000379590786865241843985081756673), (6249952685024222912101238372429636477063530225395926148702, 2189486324788729383725528590608087283677845236224938470101), (296238541630332800370430580877976971281960008109824897735, 1048715569846261746215737413097312650566025909647251515023), (4819579846270664554921285384317310556750860687909533355972, 4361419477502041133604805173623391348534890780301677599044), (5617317874668643848838087715020515570472863595871187825977, 3095020866854107728647300906510212540555417607512195160207), (1306943601109740752717684438230616258175883076850940033260, 2843334409931217285311302118851865185620898423932303046868), (5224152398839332912934649070333876378390001229254247994510, 4748009447537690368027939615510968806063148521723926592358), (2144765818252955702651961698071739697750675222095348929650, 5845320927904158910595361019612405966419534360184936563008), (2193072774055266721648899858826943965233646173601196640013, 6241253141132809319587908208171207070882217942117426894452), (1571645330200622621804408771018144385414769507751836089689, 607149070052774607490833428457694174991387074677760626205), (1330790222371361804667408480835812720814279306578237355480, 6037964712173797070224944011540225223408561027085495690973), (5973458468513456808927121477942102475640720101352043691492, 4403838771715266914878922237291060741368232420834079627415), (4186429065197152782646397832382443771191865070544419228089, 3194961468455237745308471124344583917136942042723466050891), (6276459706779528846343164907928760387247696885522359794836, 3662713332502319248589807140971609268758120962637189190095), (5534685127415486255133462898308367091459155330264376356888, 4817440471430970158511937972339014401596759940766909301397), (3194603772829267921911326396434858862440052244077692226778, 5172654010649653938279707471147011327954863656599476409274), (1324321783281314673844287347215446952326552785222709402753, 1642432762495444994904260233740333541168233103940851567074), (1623705511671815092596412939345612295873246722230372895995, 5937749747762094989140587760467746021188633125598496765046), (1599073381652780362637052931472196025230266632673991639726, 3496005961584803962620184476515775416006791332896207548094), (5730902334766857281692067199334959213492825966965910938256, 4908917719153206473998958249010769729386433346395190690728), (6376994570167590854235272498866903151308426973469824754, 2157933090941188773796090015485620616046614287343119490646), (5650187679164580980624751075457913717703854374413174159657, 3760302721518447137145282596359335081648100487296593161662), (2556511384226790322132048651599070330150775136887494300405, 3320146379230362612394894055759830222099989870813501002577), (2813007323476805930195334328767350413123861419003617639967, 687599540003818443594310032246215368902936584708316266852), (5297059354840232985932939696729173978821608567508012234310, 1738449225560215599882416567083251422985655039371954167062), (3977029536367466170005750854316058549319945481890427622678, 5626098342559301175125355177198267470288784472384138544046), (1906374244873300350194619835195783106259909853312789389693, 1828329571365201457092524767753874280148642844870457384893), (2674634248153232362345465524896449525351313306246669987957, 3429930924579086389475000433882066399062028299792291621345), (2247905709316327078107849966108485578305137711542373653116, 4970582435309861669751363118019677115338939364241557371742), (4757855088694119872400368561559808892434127945728734303695, 5749251081449308803205820192395225376750910038217382137058), (5164996540047321066538870606569216819121982791295830078747, 3308251186231607851492700848599040567028737360770560251254), (5837127324940619466973676749022655260258541785384911682841, 4436610391581359892941993605268921918034152089411755295652), (685202768102408182399904262149094193680800081542828943305, 843914365011897192114250389421363280324867072991695408724), (3512564208837291977436527520050497888110363007534076679468, 3836367724879544869244917426285069583969939394218694514039), (1090466677429009373934273338176109510246701381060800806919, 4497729731848683344888454882588627160155769519025621286192), (1655615739334447733843438327005391517945940755752436980978, 5029061679005278081172390770548722756645137214561555288110), (2661249410608193965171445532574944886370966481675917493162, 425477437497938341770828279282094611549325342555063715039), (3659239815764446178312749423793277008359323054906688879738, 5124668860578220619306806780943420842614491262212623059161), (2104257093887236878249842207267469389796482764453413520773, 2296732010654296169934630206568102923972107500005567335386), (2077796443494527865407857952903253324634699654233871405674, 905528116477077116449125472228440343682627843725082813929), (5766257884722762394565928978973118853786081139727903977353, 2131413150189747369221275375277121537131121728029548388141), (878310643556867379015800197883339915654985122915676785066, 1428963709778984636529294993682866201441145727289151557944), (1962629249593253741820361415095411808040547312690779641981, 2711495466662707930002575744638069612643455702809630298765), (2368606901000082126300034018429252233896926958255647331086, 817459964304465788757591250013985250823886550205925423707), (1751301661983357267654878176915447817274066635609375946601, 3198395063281005380221232007635784525744508632688896898549), (3747375363529164443211534773717971675955704403763392474731, 3318201968695408826350494057222928568787464470526688773460), (3180650370828814854242274075313495547923124020749767607922, 769654520289705312153143728595493516990851691981403053113), (2710042589784004131643944429696936733320042976196964262239, 3843991982916345542939465036646692868228071401644078620618), (649850975104163445077110140771272615856763864670409559751, 2022761888750873555508836619163486339000066257130667506383), (68868821580368851477449240266556663643409602139158253485, 488279913473590353225987666270040078249520962453027791921), (234080873758263763831101058930160169294160568627443192683, 2463089714511570702829419965278275289264909247895787117759), (236834003454900780134536854574539335021080707356174357119, 3455238023429790885952614448184032909755769928556845819774), (6167790124412344303169575478436223124702653401366202831028, 383731292142180227115573498617731600645863710471685996126), (2335901690806932116512709686941697775200107656640544155539, 5130270109206029471275700635990908275318468731810986262646), (405974893418900524487769373994699040967239475493200758143, 4981716762813986797330038529723698314052135510609744475323), (4199275078405690363480578475160575117910030115651412817099, 503664979589102529868428343951672135717957020226562893849), (1873018845871555223639627905639753381391097453801109656668, 1492958465640913188519792770843430743014466695963255443891), (1826343051044643520936662778902602738149787939678045153026, 5447351280286945922394950539952482560368009428977038822329), (1364413122202284115779421478676132042276240455676986629117, 4880970970142190752520470874737254101236033985346490754766), (5079858388272172574120242157248373046521180027878966725710, 838833088271970867409999102089848431808619647886353775328), (871906562614692720907967015307402410355774829029711684385, 5728154733645176518995335105087274336938423472670375412396), (391757552215414101464025395254856150767642699809226926123, 2867365172976241379165017361617490598977811771267155252492), (4121492630650224524167584531114245151022556445500644828996, 476310404586442875226403939296205328737539969614085555394), (4310768764732181915945810891161906952684385456303501321927, 4826548417719240028695637530598079728259096400637561703075), (5034717224012966435963285474209829611968950607446500352535, 6238223262909289159633688565125904053733703631826458104669), (873795193060254976002267401326409026863313881880116825110, 3500756481007246893024955578500447696901089085379298345563), (2751217745301115583166473732717415440884120889525446079441, 714216979730801562924471432344085056643820756084519572227), (4289494058962193637395436335186774931907523261908462045737, 2831581105945883460546569261637609321296578952709911209644), (1178855146795837959653948442284925763589843444899758623597, 4088458248924487127930905998632091994762629485159087545110), (1954470076020426688406209009325620706448029289409834731835, 849944960150545736561197208722678588030600692119895002690), (2779620563120077317103391739940113757576765859374296366394, 966083859476140337001135717831269923168072255605787250926), (471305790816229299335162940327500060823207325959355347305, 1081642522240223318924616598126778386391680880995675626672), (1588274992290980678835933004521727827582511021017492403447, 2446033071203936932798890794759200812693905511883067106892), (1402091359202745245994024791477984366294259345649745043063, 4914654762913147954436806339583418343761361584665009040864), (4625305020746321915910136922498330856962425912626161609076, 2523636235692638124266611586811045018466927357184784771741), (2371396541504049470920326865354857944824524632012436123687, 3908375494173794294002104562247057628387243176630269253861), (522583937025232504414860837342210393274569773977092928188, 5499649548260320373603827979720852647068739436300649063528), (5834356030163764450246821274810697383838655033229152827132, 3323618464536323077787216338032284110225058707740715243916), (3921909310613526449437098280085265757144689585536431425122, 3426353675093244542753431162949657092529611538086330707498), (4664396252471281915308824822097342372296120864838314555237, 481089338826719428479493627008405680310621066827915199415), (1324296101396964494248825508756198533420707505298183454635, 5241013569510799137350661355854929004652598632680350958656), (3803573205662289110547535143290433217586583540271364948668, 3764009110860637501609368118469192482429551156172095749733), (172737330415284259143316957574974484754703891077670485124, 3732624140923290642841797379616061460331066133676721930210), (3254677779505609044077945522792842465434820459207000430594, 3761392806212864859651357080288800421563256329355761127989), (5606683245203516047943841712814244029766947286860862152071, 2288449113408031987521695627713717896304370502017409828776), (693637789143141067792750375125357186402016160083224117757, 1707256845033489053434292871777898162934014693111086123761), (1857044965923853023155830575082234863956743457872717574611, 575138920046123439785790211707039290514087991444857353856), (3849489190321136800120901894826508871252345459538608748664, 6075475619744266467607504694015807833621696357610326424801), (6226589336195375270383307756116315981540294816524855973204, 5527301245349065448665077055686950619926514765449738455109), (5009407500564465709397411630530577128762877545304571538434, 5314254527154760416805361131699467609044369775804535632859), (2417882063397844432444084354449989430227945551128190326872, 905603897593961036469342076395757512853238803684030512155), (4535427693551284058852512969181666375761431759405077746624, 1297408279980072378401598727141871252062252901580399829689), (4409242891594333514546117565241518882290292987099283424886, 6014560815093402872888786525556177794160650191102768075703), (637581105398051484595918494575884974443505942212703179549, 5782890183214024685348471047140834638889219931640663550771), (1589611044714476147795655216513387240589828809339599439839, 5051853962143704899578567592161700852372595530684969686178), (1727117117646305579806039713356054031339964424289712850987, 214332756662967852787125706861650082714559386758844963029), (5132813004554152183280435336615546507161031550542062453481, 5943172744951220090250679333942863755297597020589727342929), (5289926038470314480141109251234178478816944739209395343549, 1981463729883274557909044852271245517946992074067382097047), (5735159289978867052840188893027492196046859889352048529205, 5215519948786497637753162405231316314839568020835534225404), (3395961009334845586943079712952838291903255069077220696213, 1184357501674177742166417012453528482963242676565914027819), (6084211718837953387277237622231754124065392602616346711734, 6177140102319346433286244102657006351109979968983279445760), (4334348908952984672943525388147721665575257687486593330282, 1490876668541851870409722771693260172816132986637996836831), (2687869798910238487449675703667305059174614235009794612444, 6004222305522525230346641378698943470611589692780924005369), (2427149057841819255715430971351416121341979443719669349521, 1170572129814261200618123435463581178993983711832862568613), (5456903230507353231617975653093944865066510796919675758852, 3157477416932185488577809207204105473518756213225301999749), (4494548830028038392377977561984146373702110613801713105856, 2116569420902347707612745410898894670612753229361340191944), (5174788888572777763860030235713698394185898688298244889452, 2687865998722026849357391902023043786059417270635281428021), (1671144926455868883143271813349128958176263677550498106681, 3496847223617296107190699940598747507542232773317832043027), (4833436649824737408340371316224923755554942415480365071045, 6055305851672390565813216710348100129827655685259306893379), (1523609559609707458820567387658058151359724584244134367380, 6209302648599952670797632280090318509987710382788047263910), (1757240811134447155912850033394330236705195246145435654514, 5624279969023957682545622143619986056210802641153916669112), (4091037960179541484033911531989151692912405811609650617702, 4658732604846736026349143515030010936007729960709268464447), (390904631762664755167899499930298925362486900805241924208, 1057790940542604211967759232134268679263269364903605876022), (2070659420779509803715385718468207908689959747479666179950, 2500560512730391092508706562029041950365228572845337082600), (2767072115686108714402962856860117391477593263830638080459, 5980395453409577967438492440665742469323593971826076207668), (1300573430556427853061154598908560728056894764122372762732, 4588086992879067885718671739977691768548607884114786917553), (1349768192970763769590683799853586495084974546613814456875, 4210161681119683210022623808697736359712789386726556218717), (2258492365891195912217053483327139927901189134694120390599, 1069515340006098140160843564453120473739624723549889692372), (6162152442067796605725579530230596911401408182923556975744, 4144493148115558662950718593918295760548022993148018420569), (236171626836251199610544020229558658231962128285657520352, 2132664520474916272698903600981138174648004191436100773727), (1969238522791192418626980920945473118021984110797149794704, 2985607386837655363747206959655492958378413408130087083146), (3994095289573362631658216995939976645468546916476115685297, 5654807637823063656297549261087615288665900844862542996085), (2271719630337077688246984055251539396976509390999709186008, 2861874692096466603174756341735276524543951655022764482948), (5331040907733469127587231862375196254183209361943494020294, 5016091105598102073192129444670087664744803040004110345473), (5169307076501427408657455980524770606504911990057856368128, 3174100838051503981005975911865636629987396200335440898891), (3013665086040098108950507839858215257414786306815081497051, 6028119136189641356043256711743564114902526300727362923150), (1502819765192259596787544351958756711430183447639848005471, 4857324134175442409194262487933010444741354003202798047881), (4914222500804133829885841018007020194875305227387903278629, 1134456934885838305415999731165240644081238986117832411790), (1470749195898971789527555692305936900524882449831694796060, 6098185286807765496836608881602364410278413023183349645611), (970232367731382041905414480239408614606920063979167538599, 2245257068067581638266260720686585024033241724557359418034), (1469628520824073813230633722500539784738201293367498650978, 591578222181133090576564835172893165842758717045244213497), (1442900678508730786424192726686487708092636984384291674276, 4227997222768726849657554414819569552667872949004457508544), (2735468302073010402365429602178246219583340762915587353102, 5041548542380998832672312020169617413744442186375835845968), (3930627722037346988121260806559836510067404536069526652297, 5028669495534996649715276454572032031826001375501201825001), (4400204541902597598305002200444033516811273594231009794130, 4382406118828204218877170573466905908709515705918932211753), (3528873309972020434685868648857950906440464860281349372603, 600105067316050396626444420218614592256437292932501765585), (5319314702725324306260129239314276475594081108252824412310, 3567335157526720473346436256254494754240200067633717000072), (5483192880269724870659311763909111742014618604972401450084, 5735879745348009690089440266450979625349123204410337689220), (949129739145140475724344157070383577114864271422650084988, 1207730777134700466951906890199054093803930615812864793198), (139169370791082621939650302646075190046291488965020383539, 5910290232935967232631642750217516506742107850784809029001), (2774439595154882371153548471616053334197161478419552945790, 1006526752454580898205971769729544227995800048143682250036), (3765819064977962391048666306098839249204835507556760372218, 1783968966493386525173853961261268684581649595075048813627), (3228791407193846289650845263857426913619812958453426588627, 1297826243521522433891048086143434051183690260856426800665), (5780218339270827237034552725238089855917236824698655375069, 4054645268800721854462907033237874744599345187148580237234), (1498406837408203462754608812483894025284693466752193112740, 4320199338459659779473069118704682186769611312632242578781), (2721170895093880081152652250887034424263390962343405288064, 6033685311070394480308320167773275401995311492069307613429), (5856063964883192686763321977193872159174192246443029907214, 1102450808602177106009961389448953782500314167241098972955), (4438253804726104769172068932833053608435423367900828545789, 65742621740410850156741072997854360385990096638029369531), (5222550115154579309816650977493684143590572275875563495516, 3873374673271592978928809103581692706698660335158210181061), (4257023689358952374422226198840005039430267274405071174924, 2910604273619678190178395561258571389654045984316497313656), (653853575054405941922225682941065358632417624025470130269, 6067762675235050739176394548483188704754368306814303190225), (2971111838463700936893157264194927431317751669426728112505, 285202402450907617139924327122417182341865936146383116779), (1998471955660751279505476937356000203988009516836875595402, 748788647128539293930622191589392633984666630089986922422), (2923818583925327028915851198424090549512551387305939030222, 5967436034559499388568023331244219564218095957239275142916), (6161750397736286449573076327021414873135822793856543568406, 5624928088423854961197000459331001560563807301200695371618), (5847015288737158032675808989828903637939048680747669995454, 1676642482510258037883900349444222679281045039876120889129), (5436689565184460677744176473717956761376517629061383287551, 2363180070058389578545700797123055961851160951233284860399), (764159457334540607108084051405837729398020503631072507891, 3623885437551234214241857911629871798261875810109678308520), (4975557007681933287724897187591611011080605047458869294371, 1346354692330597630634178554747745215982088801285821787292), (5879841808772379037497844786450444232969420082472271564557, 4753212792844459068782580660767790159364917709624255427128), (5935071491847947928634722383960853742433054881955829672882, 5620198096231053044649097794433685996536447358935838308030), (1967415748493297130957352783787093018506518117393154474933, 4771339675632794658429600755974494333116272576138256016230), (3867498884318256161083203569446971378782480882150711883590, 1038285960150959430663991667874979021753969411185864940969), (3215729970819167521155593876712803106026883246059342318903, 5237515219058033152087633331521614074353951781578346417543), (1419039490862922012265081295884759758851752249061387900903, 3967047887706330545400364425695725313308290176186886001640), (4510238731865830033882560931537326427675967422030157892764, 3025603574113809994409181488895272028170349448475764071047), (4318226609037786437521098167255699080002294550525265949161, 4596978563469035297250135506050507862506459547885750324342), (313411509832071800033419080191454951913305752270059314438, 3671489329790955249923621021551186860579558598665264865235), (6162032792739419264151637689424514288542280855607761605894, 4582941326238824775570719917926245269440623969503365656519), (590387053310594511102168283326890659858664506148543103702, 1573545818501508403849495081478187286748302586422379905965), (1981859869528694085580711187625772826109940510235859566810, 1004760166782357191467140265098403961165592706188689518700), (5870347092396273586941324077551889052388197803016956539511, 2059227834208436833341433568885525424194805295893840599376), (2083330680601264938818578194068809456035998649763809097448, 1706015131622958716941298871005755713255164487529498576939), (3139369698136745976372693518177171738782256370255447853066, 2824206904370040106287123634304188904983719777362210649295), (4957322358193700856814717609331888812140807005782027303285, 3928883063527588822335867808548912471436860646882544899230), (4007199550355885353112819735159304505477132036406326543877, 3209566271177750905063678082089947021371011313267360667379), (5122022436364708698048731865580063392209513320979346838241, 4825043302477052904529623660148967965943425700102103498376), (2261452337158589398005510784746657846781582275123565025324, 5975394095586100495163203045137167230597828524272260243210), (3456521141506733768775727212864825875076244993972343960007, 358588659982640698883870921794832400551004281929207713277), (4754525878418218722958613105398364783743928171529940677276, 5536015758078769746295190812041762557475829177943510080691), (4025113063999852068909685639600944733272998305676591802842, 1207193334648914463824898240939751858441506388687379498739), (5676900954214187814284402227473331901911158737280501917789, 918045242360357511919124769016645741091017923398319101512), (5879145974835662774312134411992452893616955490010962781097, 2667711693294744625476692610859426303522520031939033849746), (3431165040585133471388913692714836420365140544591358429753, 6013215001827935983236317783009402290023263853003012430504), (3114716434647291741973551301088656559452353817071705268504, 6088294176109903376261304605889498091266007624210024209880), (3341512169404504011554144501927572861011844989304630981305, 5526385495867322821172762749973484368988946586264467670877)]