512943168840267013774949271035183387448244716097525544514887409170848703591743562545878495236641765500982127100516423632674448398178489101995918894822393337591662655269599274271490365896944298507058299749652066949454684061462967574752594522846235407695817773093917620155240894178163190851263262472740242685432199474649794028448896079213562084210493246002724965703387173493639264465927363912695283679497505151396926069323835879097394898659587940549856047088450352661904784013297348395739869440672821724180962423944878111378826893250813783137596462863472576047178457727743120292499483687954950598905566012429100464394787335275891567563736213988857710155365426460323737435434703484092135284693559245994843196832964990952101133997390488335640495837537888343336418946749319998147806652172027478723774123222857277699312012878073475250754478957984145828879174411795691926688907496778572905893286650513659626652405619656529355235438211058708540633735589286637507412370050728418434555467411611219512593855625064680685933243282180917766926508977968316187753391554006637990550376313401059238930255010835278814941220797452827214220787826771185967289678689197692281280725833804330188690488655629333136748558862798688895308443707981105284985219586640838701477135292774135059669192199915164058859230797321502299560287943901029618794119997881797383532678419057323961185099842937465355275183855130589945416994395192310184395899667852386442227932667432356271196581067324150394750250414718490442727242167517013643683439161659661389446372894840128173188564428285658459886928855802656389905072149578548299659442042187142473951762564974401496751063650568073577697190980592799863245238122755145822148574798349411206565079704457559410952347265862501127936651838598986219993830568542368173492884612612356344343424901027208183783587345157527714941556268401957522231830183289572630652097329879999286928398076691101841212832125065742512858353595882244711859619936438967040160125639762645268569126471565127255313865289524612335811317267912687026502592862525313627482889135250133276991477269158210353653399975853609732923185851440123645423740967203350373748367679224643446977883871297650442212757623826267748614484145781501097538545765262283569186175107147365916062804158358013396131266595927479875509592163838354814217405337525132961547679916341306672967047859212561234644919486948320937079529989505450071226257174622659627125328694435578597741375569625326488047249402186016829643546590865008261717463635453354206643010709571383346295130765821621645453489792261143267533421180525429590308031676349875360933487424463298353420484476119617534262050972754677137167225663307623456745510997375674826619823018954513395811178595587282938082054469632371917811985764279780980334663812620644565837923662007893601431537824642950874165302951558673859632007458558261747536989989713812176757291896575846457611484285421430620278739008331021675512471110426093255327232907303746230118088652824461374243467175292106962658137542674603926480238698409894121307301570487548179192337616271645967498814763120204479240159297386721881666968887201307166747734308536265853176861214857125796893432632551868296718371369340330030207989348437227768589324733960733572840321928011680765421723071312188087178702660621438355833022563833463671643985080633072817839307597099273238492807017830989981095822627879457977270187469522428177389384080304511981198683622635584573510882331311776547279843797428274704722729063609590462490764343283151715817435054816428899970560043169661509394461098587334928305462486216457276959428066267025905466978532212632594868011401747842682382312598345089478727084624238794181127311422332996381694016123464267712275167757894126475729538529247241023694499473418123427619070053741872543215768436710810583458748179175182175714272661386266046484520302251814092134354653939359464979625054467816561439696678386298645875662318601094218869852385973228222862427311604561332903226108810662918175599835202847611994535964261692919187657525029487424234448614846897417018282241551805406181423827320687314934545742725115569635394865609730296721046194329473075793806228312586238335232747621223667435104421902088270624193137607872328752371343188561365470871339373466891458622882126048543137177283412300324105577650352499874695870724097997945406646210126831861660777391972176114479203554469064967712393821202197485766007517862842882162367488641183645705780294575793484818290886784747137644929999685072851143236009738482275972843636979195470404792839396970426354932457211558654179664578664157938210213835786561041425066571799691433439353343188840897354870859922903075561223125611750490926562953396002195191912817825608573553708029749985343954585420656552315849558297158345072691011383853855568955512785777352395659624701242712184830755997115679524391554730674585533841986649522960969464146741143170349576108013661689509262224846471620191748999790876226895809498743769951238061397176235980097618713056443770612565489985880986906307763476035534419764072784239231596741431467249459940447494223828155856929361701081726807266125441821369662198492633279313118280349244429395049464167753323935274589885098483766799656940692031842070170522931230886377768757814832883724408359095408471337139437649549996613216331013299128138438065078219618218841815814376239668535739234550967457632611388459755964073119838385064182460951112828129371144264669758246415458185651641570633877860878255369962385169607543852771544527371933742526626410955889490187472337884023055407185827422476685992514859365286985936477359901621223951845440954421462924727938372694478839303699849429621692856261192642638663050856771936171424065352214290962040692754115620039767249218211806306556966479218244270235741720583588112946647121977550586442367005231895452234498079792323888234025034914296109581110266296668506199961589236128482343802226957467398283