25489689290176605987870968711861454379312711215382314873882546966338319366221646112744098299894858418533917376667542234149658078420679549325136223037798498770146087592255757876205413714311165097426117553705638273688804704645128328815779653091305496452144424392598675731304248644175576011322753078467586916301892669457953959718629114822736487214251678835537668970079499392633136893441233589109139733856234652766212018648118579519044826313482235038474624131826076745308821244654221234508623814087506198725072616152972690772756344528560536086796774111148057676775661888402614777467362244612560531485905522086676392839078420503860257756787763947286503561681872127557273742865224202811183711358621598185086967133453272299751474079150673414685709306916080666915535716590388480519753578336623044134453882599480283368739789633325469495442569666460247697407322683444127405159001401298411012940838535527024544831152614339700803851154942132073095280873233675397735126968904527134532942264973711472718139711597598782188487971591963147439267483126318927001918780251297947645694233158043814500088464918305166780365966955450891304176740832633021548966968645083451189470731274765733308148566295148922307781807060588606426147564845483039014906413315756875033867832070908191943463365811592316609186309724122019599576083245514995702856589168081997840887548881970383615710264212359290450368062412310399673765433629601779162636993853383871259041681647614884668870146278907987302244091418972120333550114176574887996366046029608154575265980828719274434979233459246840385974653058322147482024770354477936452612596976264292505878834539175247551435308844999593173321722774552357329315519179928703438273395294216287211383841845843924288424005388847165583981275882515827936525777840332643230746573742785068248809427474219594104266992676936414054348730566618805303988933748746709834855215563129208690746890144882233486875652590950938911568884625627262670337054000322328889444230483879454688030578603603253174192271546079591537016042768461749962364311497807645645660316748767034272983909592139485623316792758674994749095032459928016282573125571220259866256786764704959466594383761263026744384732883025280644705535453576129206504562176907526595621153866640673768420215559083461921208497698383629654001752425651798322480448782253013356121915954859086983904411838761853898395538504734798891929071675656289449275892477899926137266543141086638402955921982226214526170337560951774389919224686153237423687651063716141463730497081927284843620325298506982268471177228194590976204207018236157595263249713564121698557420029642451128224062781142118841839694398204974809357363320385685341563409506756981224445850379647005162313005937397930362647603047194880598848989028291566337696293587349897397434938196662580387882409821485259310284188776585659699296804879189258962783014469388182288277289563542728632722887823241982991292644130979384515151289518746194271845152405425942866096465614342549201896489877679825506280798024629558921154025525131421273209067843273117589175682632999567723760403266126496524621749261141551753670441817470693430764642684915125668850661835348458752381033533348363104052817297583982124851287268389214332350534370582273395260459165930020072624117835783622885772740236919742153068219950326998656187539931956705623298061233047897261997536637375029104751182463383124225912687787971128815888671549642187648577969655147367176210427943271578662953599014692598800248002201181032309533582059458109670332012768503083786986983121785522040400739673399604610275061870738504583649761079348048276640858824340303675144281224124988779633978157485368972807619536002829535874159182877993628534808998906506849391312366374115859075127642473534821738178651134305955827333981386038589733736246546632972016834333796084951355633367187515847631793611325331432008372595202152697622829928371884283405544583433518534581251968563329805473927382625297071429619788345379516101710877628479990534309995073502633818852735088598868834081964650870089564209111532047803143232698671956421495336466408090652426457439675368426651099457744814974677963817316906537479261526048401742634849208357597493995578547790145888257507258277912787948202923758234553990163755272976283024844536173512784661479156365812733446435664444554454137974396164924679316183317501554631717940897656851883398890389084838944812775771332164125723417457242114594543805925923248844435705211302509978667156876575266025991166602572346548556690786658156165312904675558662546378593284115239630946619737836440446191207824735713560783299395301789334185493259414832904179924300830377348658563291628702600152463895649037763411594252456234040821811456684923879532423190476253231618535864661588509264623227121364182414610633296933498387994901916391135651724077248361165602253285946393799452840101213878111142729244427593465776346121661244076193188880458698100268066734920793995551146439666613021625070442589263052592981694088575999688216069956029238887998149708982856728058947626028887529273624012355687772266743895835574571662097866382014265319927772648470875048297220849651239263468785248946802349890014887712987568815313755675698526565641245631631700247783702608744216194367668871898892972213943168174046726983557318192621419864179956122918825883302155933365363662170457302529801173754223176277722572805617732835752262708032225570546151591993888652486579154450533079839466794489316279281046499921783837830477058817265837611143746467089175381162489732357047304149740805103083874353926826828394385333853156551494494612030243044602338435386444698777631662781344772637243511877640544335865478796913419555744985557414586118759059375317714902563450818308579059052583464542113850152928826423215767592579566720144451405081479851138113277666260383049744716242251707913397915766566286526121817523873423206670644887419664320031149764