Skip to content

Instantly share code, notes, and snippets.

@theortsac

theortsac/godel-tic-tac-toe.txt Secret

Created November 6, 2023 14:54
Show Gist options
  • Save theortsac/dcfe70094423e6620ac47d4a0eb27fac to your computer and use it in GitHub Desktop.
Save theortsac/dcfe70094423e6620ac47d4a0eb27fac to your computer and use it in GitHub Desktop.
Download ZIP
Raw
godel-tic-tac-toe.txt
2023880420037541773808001794890212003007413797126410913103239895978655466640497636851222320370784068966261256520792664899220616511717348511499986420638747626751517731667294524968267425916084180432367501834978386308799153571259363922282867882119649440926204022224962833852193108530599025426122051601434936097325772020065039329385570135142959719919441552816316112367868535433614758059810558779701610242990836616862709302003122007219806474450578849343185429637145150665216785920949880780139747367107909712281889840217118942812538466427976075920053744349259381842353612617415381277950303993981948958632181726197231196022188007159607178518147577419505563074551485453845611484922032507718081429784071683452513001839794884808863750359367740442493048206217261579565203800070075394398510255505907596710280133660418302204752847612459613688810076928371806264460416370033961182332238746880346074774319883095002706069837570027939683132206939443272549168058562196467002358718264329863013463734307283052939375615809187631011435041957944840776378712286582223722814639560926068480756635511136044884032791157859782065267262741491080850904290904534242671222230304812528327040727824391688866732201906228707822928387283999478766652678856682485572095591264097173294702280944992600186915035652202712171728669085813473700650358877598736759083881230779150443669083246161618114978776866989650989700470290922257166897718819654517133183141128296301483685275369274589354059201354649421076788668483915758108636720548175420740864513520970805899563348488958125587984131379837254674922765286053190590796212987407391502837873564617217325142353468452459017316713194805518746377320405246775686450569018870464281259761338303943911179343885161087569939145690580702795697617831517404163185411474179968323924412752888086519598943192024428246897471329984124096292871223320170544345445201654211926740845251545812235595356770262594894039398625464677682996549707625311591119375306483795561901400737147765041122930451211934016701528086327479724523371385493631385799312543880982680634332285237521469028452235762166167701356626922218650135533655568252872537285324311292356456085259302586663899292537413768486807997108798877255170597721475532748126861258821261747880255968946146760049109477719419029099654649780720965859382020962070745992792943734177799300520987109736826809598459909827195708079099618754637216713298567526633427431751453107130988273384213363207626564158513636543264574873868876704879577888403222938144829869613911384656722448727737223204352235048485168457986486942129108372253236764773938112458177330801992243052863926506834426201250476442639220834150085206600422230664832089385413379602758850124596000645627223208109954170455622927689800849459973498724861965263606775833149487239578939855967920503367874018201415738616883348714747301125976424912998585636944187254741288368894695729336907571405930400741512482837326112881333696035916789821154590950010962401834331435775410001067066746958033410608637763122271451111754997765858392356818800031924044902552862600218888800946462066030074329498400819638540412527283723705381658401846201675165038124448476651171220200853726569242158050458563826725549936513876424904773180348022498568412191872085457978928610026770687846995921956722432432186228877450435160537176326931475055867832085686616177881764811886081642433605784165411729244104189619476273495470328743401788971371800814822785934664667565966829337995433790459509851656235135262519430271230238761330008250383297420364558565128082298860446867719755769062214402589294439446637995776881513996727797676818554509091217650119523019690919210485239302798116545884929644835791170177897423811747321818491587014853487642314785811958943568669460579628038845455187092657284774494137922760564069199246271018008818152467140129147869720446367720246444870398982956431136056762034280427647873215672612236467708645512879964287418860008062241092577683035942664429364766112746608554452350742318028951133747071985597991558705124173575284106004203920361071490990242397971616351231263576770289613169243996633126161749241053277399319062083384204485137902525193253379538098167579225693348269059605080719708113350034448389058425516572333115440569411918092329113138135968816257415682151823484655589298765704928875196091808128066491359458515923842749640454988124609502707163325095122654300890887902048904604074477040644320666982686798267991804817427594380318780017464579251086638633908804065244295765672065331303158847399543878794416756747212388737052688847866918294459247591082797375011412521197743352803696919180050052591479491790958101419426057504726523689549371310005636687100904264318234302246742028978669976985825046850584735480657044986607668908137466111143812199212987191460483358191728125992507207914348535868906050160542036630598312004538840214423680244708992698540058502863274786055383319055101512751791363888322906688058724738724844760050446486188762028453675008457604545318127116728471460740490174853459146380131222269836326989843803308624820625379417963844207102391323219499650472061964106869898578347165509832971311320890627580264733176559874977023215866691182497741567819590599840363644795903112602885414100666795002205857325463364675769548224386262295433940774209761138806787527886221065222642267068533951120228670968070220700595742887198241934674158782418752264415043156568832257448683398469981803019687241850502653587934092645590741374013129293010695221189002545487143611522732010233225903382972401092074861529147729599393429305096986519448985166408607210264280266531355250370106063547753935141404909074591404095295432569451732712469342106532339931900260947486376821224273931317032853068780278210885303836969245597750538911523535935051133537636141326799633561066086974436000778376938691432294097171821839700954629048239929781468642740949540131136503252828838400338494804029015743828328550338771809095972372689868135045317747872897862337678353322350074737627426094339256295161458460799726575005304560188651382684248852554088807161176826057460903202901182561590870649838139316265932540955366629599029165163354566425430132049907135864990615185479475499568932079754228500130300888296389097933109010263464010424298748272866078588156880640965403105018751815058153376628449202076048042281995108467199562438699762946261797084228185220131233843717514899258249911207969378428035523113644790011211885508872532276061974074438168042359489805799739761775836937550914142030554723582914685178669604070170760437491782429219461103235384806300062012978547160421318676413072643469975389095281847196788133921274701900313982151742787388426333653687422231751953682084569335602224205567642027106153878577748533809331785288973806939561593707557736870270008617970130898308449675399037554477010174859678695497361310380378020929039407945667522169911851491464989195079982539668529016128142180918191533542353371279844909751416328229003250955265389166350740736272840713010216023784479173369893973155214074867823958228957333752044502484299978222295721004684749618645352863431382986878592904603128004603248244799283954677754432984448621143668240872923075071284813352775885746659350775258872053428071886624188397949839580062225775910625213592182075534618304885490172385590679844675956233861245104042635807264089888026460120742413394016541511961695672423660191306549627688104972361483302817835011418752376241987213659272622833066553800215828798816100715741890911878970369593263472534525243120515431661219918758045427903871554694485469892721542292873547441846704439267676624808143334448187655279297419711119017674432498914095778826224126649991844592771447384227449542010337630520861972814133865723263859456446416391042477913462300309059153887441218247621962665553344475300592188091979858048648911685277026792301901274558195007187645605426059189128331908075800975383410185626990117741139820257630666450129578684053035662540415570376217118979090367780595245888247121989322486440833124884661092388332417579516549348305179172908958834233854397476135044342686399035800983029098613096145442239360431547058254385997921090912345210317726893604000062357818113480163567838681890103817826002240410813802376731220391015353513711070266395667247325689500203571414748134297760236686069540228549265876509775778811226989167412568010956509112404279399162189603418528724198577201744775106535063635168688952271668228170867977862620325340287718063598579317793562203192619833482800761878386309384186829176979045568751339016608083587282631990611483670533518258484186205605565826800523685239149696644682893713017026095057147141784913894862588972206745048993263767306781377517999564514573443621251945656342792898899164388258083686900413356847296580333810006460680469180705440428412623329872268377650966265360577526415045556968102231944356483922222432996862778984902340751879555183453858861891552737406372587498771015645662209692003972825546912064923966146111069371263801860517875584633206849556255455591172561964336032505099599186836017826752503538711277942868846320291272088110927121762482964606709455756114690494046935945555815336244648069924197321614509422480380927251981339660436114688331372556149635167585284557576380457305932870040780851104314466710499330165356155791273922677619155430072883998112171219517177048534437177765514764336800910146990523264343879200302712920683298387135043478344999973938169318487252196703688395135290974980624510924775929869508155129746093117402161536509209017448192044680865963216880997191213980751238269970122300608637639818242602444513501065328858014663879664132081584158439505874388248786544132245803440027886132751162546865992108748766074875937210958958161929182925158344415129265708380668015517994189531957961735468094851010173153205421056362297901174744005794569457330567278023113187248701936994169102838801039560960615476922683688164158449649531024881349071603566493049429084523905990147588518312532719450714949761748873297790175399681647877259912299951356880008735922333219032120153434032377334784448458963161760004918303341356839456394218490032441114327086137917632637873751174557323274845882080748943680107214632931731097578559326734752379198161823291172937677002656592626400880198332743562921883328069970566504831690118443883366790182963399489237232660415065308149201260783603157385589371181879878995344258670031285833325049344812673810000097540597359656156799937758236334817117692556383498970198508795519625880553422264277189252493559179508208548106794501463860051089451273082410175187286365381594474580690055926706518257048447266704105951804164430248469700182273991947922029673432503658349952114447071640850031678475232668336923897611485139398225493798076848960213620848657254560595088048278378447798097764772034754718003751848465896293643325298828684757064317903707004420899159194053752260689917409396909861220811834400700879438077922383451417641028894114200277633055907151816829780281768312098978833504492148300065756444195589321495744675011952137469813693026412964822839482853830071949975792825723174630000399425306984571186094149189310992665826752173343600408732973125462717392891890043606783007554419486641531304388662368998899471688070126640111832200867060304426323202323592438786686926517408654989602328095911816429299802419983009798172870606517791992662784998358915356033585320125757855902133220078905870165429120472738034427151188378986377316670803271239216792347824513690223843527172111694577728484305812868937478174454294940961934126031591413575153648693212463593657828921981700195451652190794793617645135203213976775506692137241001204345855399759508032235142625470273575738845467784142416080597271886735183071177586931733966708724623863383880945038560573846056480711379401210955514407606844223701638389201692247327319348357742788782280479845982568391555389280000176447890802839310034884370651258133025496448888521628141858493312881925659140502791848798920842412962340619183535017322966025654978090123888988945588744427632979887460491630108866964959585624813440772467674183817176402255415393567563881407527972463346294436206752095928968432101807872496673973050982122931107622203766315241541776395105708466445631792746439423643615042215634522030349949274921826326968125532252050019816897206800468422993902367240001441847775296848381560946019543032713985143111164138082775938569379103429171002510068399119094187951690403281598891547867231631451364426631668359343197011667070224462329103135491785786259291227007511886220061997014468220601012627725831205982937183843382307225590394269308506842380418080524867016954053140891677698251753180621546446537906737989336618929291915010345265988247271062061966555161017306658646318355838849317390615548263889359574544145257115219264289530592700408800730210947882611066744306785710340991193474112921867412097373027589448471221639505232797873222162173509278013864543759233847241663841674352941779562347680348553283228940472950554767288070276320607052977338544261989559550506999113152169822184625411496339953510247330985484373894746527235116179864948269137374965073602180721768729725086901499808900259951873305618641765017072489879228943827110631252851351391165988248610033112619878914310934550860461856780281316433328825406553688265158195315976134516646907927349999238060506237341456311983750851598510924965838014193731068057577029071818949874708041544115335095328374617059398059380449624158741670449524210308670573049179856753366012988340766743410221715915158206905941508339038635724527335656776281698062029207284664121361969575542948059936126058104548481447135135008486585202678381093678246379015398822401113093061084335537093456069549109973930873514485697484549477415528716294970310924179597005813271295661982264065820328903539194957715456478510257691861964265465319756648191108019248826888037369387187417869715208555173724970754640024598894049911277901248082431629954224316092908958806837888849372365217504894889773214747926631381852561554313723572058040390335457104535991976991086730036700989228019170847617781121508360976637061077186693975101457281013776416668440531884261383206333092548064900203692282793670895742718283418085091177031638042483690342904767735860006294985261028956500566281826363254710204778748285182870272267914295379881809025770127150218221965076177226320687435559028815464917706532575319674764742147664880019391240951852354346769444157391313382111965214664400092930418741552502704875883287576069227161459411296517591588273170068101068236483836001878152363507427353838984456651694656469592300015599330409376950413661388149292358345559608290233678718434469723662179815592398021228184414924563930938002727955976306256529346134297903145061127923836320849551805119839443565791279583304214421111326670031642175022061604387067548549681942577748337498860682834447806781371933364255852791623820794099378736449005295681732930904603213543192445606825454869880013453682065373706370795312508241294686877915349326271173807250275821508876986933013755643979912425220496127372365192504127102336353150318999705342127521415263579505707662952127455870895042414065272332918225700819755264743525623133342830401164977016459795226421824023439924968465429570943255510508631393219490936765334934839277916024944794825008675647272768619601534750837991522097784113194814046318542813284206425556863708562488446474386977630160917630392644858655323695152619117507380174667428252662862990982776010161869984370197064842697757440100847450489861352296060920587869529371546838592603549269753276489230331145018039325027435283702041537073464741119242246322013531425315157484192709512118814558717549785360543877889549612240305335322077596323551068100980777488422516606571634243792195803523705948294723132188461670761775376643549490421345099374482071697250753556370909128608861635752352820465665505862896291915547765580869651499982914492788528648742678481079664523446718715637339546446913634504890759112742204609177684748669026907464055695190846643194892608325207043373356362725142516484046731511434939328036071387937898586791953525257520018025875581249521361971846923635610869505529453369691628031009677444540743959582260393632598857006509331806484892467606702485734881643808923545366750502571537879289324632038435893642942804295906078991853341604199139301457187425011249576281790972734550624412988294282172119460783716375200121829819215736694536609555812046449536339064779537248616204743529281784490703140944466388378099630098739053964601988446468245893617801517322062385843571927880601083496637644375910751262146719250932505139013187426828483322080844591063906271902951234225195773010906375185767202871876625252483216271094143144156575684359990924487056246381892045571264682393982951906240810141939050238314969980974208580421633924525712999719859701603179123482732058523621513704847231501384705979992060818740443886084898761967431407915666144803566879372344967432763621884488799243690895924004795083640742666941674512040328998760734286676380857998808037763816431600608517640123411635739320761888218437672786961504216461827437356642497949466536225953797266792464005566133921624349532977926053163772377354049486678631554598469555927865348507463408428059437024329236526175020308425446936551481221127279874824915886299846778135267435679994487791905187021310883029425967535700257577940027684909159461303505182117991270615093474163808928357738650365334859978633763329118945356847080018026237099753028947117729855934715886814768915123544538183422169605245813473777136271539414742284917747498445824188900233914547502700123178513776273315468308779265046794262151383099881165530432989088807047193754484321263934642162225326508097978813602502875808156877869980736567462285024619441337695742405314944541488508383783841258894258491102864908918560535931992729446774579902353958287523662140008534745160953390416472648412334342875329864832581730993167730785839155042563921927656975257655441387586757941608519102682840438662229552200797126383197385056336578044044065433114528007596061996345337769834360172471930283443504441247735393170814059898726244259992734471383043011315142996472088216834465125526138568061921249612907600300651832284680067891652895431188498358874973266591204025448173605273895039559935077938419421618634260266246729376749177683448124394414415336789397485378425768542505566664448465466536248565568850996159516073600155521242877563109782234138902319465872209440780262439505683097888713587206801821041126229911675703843485461455956001159225003132557288898733401164728989943677660188838148250709269419732947490365402596138884656477374260400790807691475204474880195549645995705558672161323177657014994491400526006430442488220995016632552273497228443113900043555350496584917892684388110369951993263367543906292867825464372791683057760489213021982054107479180855648429793841509763985779773545782049207139872396142088208399726861628417591217739694701402189750304723530126262043797162682901539662406927283421423818113992216789170866733252081217292036766920045185411848765738645413080963811874015293699469509718958943445522754823407768318672902258579310877748201800402948153696778671096792447347810848601516010829921286542604763060886338099682643022411525996203701718484266033375452249643332039142234474499738299939156102572735586787087943528278559869013512924038659479633165193713815776131036557521944894556356897324374527012804063929841857481646216108917793948625888643633129868152625322670490959130339213349302880839447859425826187675689993414413166321812398386591199707914643727851096887209858315062459545372709819486461043224525089227729959864834800390069058817123706823542444870456960426706789331853523451377598886104741303040173778206556360590457276351657361492776445323817190812512870902429744946551061179039442419223570974540979568573203069018361592305807672121939343127312946871968105628295624893656426234176836608046623217707738840309977898142924383813696264965987741567413517420907930069271980653595517659628154285576636918504740024808056570262446854000106464354986427531603060048604072184153276393766867265305736426762945091970299033778573654567417568378188226895103884156488356845931136116374523968468678391219468964272724573579844937927097223945301733603863048265949270060643445709818566257646798352546386520812037126409489038346052145067741319242367891150859807035209570716690926700962990632220154821579587195362921265873125213801089064983232763720976760299782094423386884305816569320315291921626707670505650769911591023548174210413610057097426860392159875323651686987096765645269211060738656309328818927489363227220481480348173592138441739232103192546246986979926649581409857355453636169921957019561761120505298539504362562152976286214167125250022690033591773376323684633526033829100978336284873011917696784915445832623627382244873326606744753059880967285559443207747994763957767186814573472317838030099024223900957191953010197255507825802656921214759591645439153848404160253572515591116143696560447258525170507076475392924104209072387876625086820486910602313308192160066574613550599148588105747045508749853049778404127714427336787962880102891156925026642717077282214026868716637224019034742174636635782175150156858328070696627431901605334933059643771280483698108939685108260918164084036781869751560702332472718210061505341317835120015685667475468182105973295666003536282881389414853605723949611129427702663735351350676105592386828418661995094767003287907717849674974293014787987886238385314249111101315657579420219867948005904036844423837981094378239239491502770965693785190346398711286545758011322147590344948456796879072419763119321870503100063282759247322329456633471564272905700602808608013401283117386912479277066294292303478931207424857082540752577791968885344627799040873078686204598396822913376002056892976351516605031301723315120943015567518977441890300596217499973876753604753182861377994631503656638990257294198710450397780951326575480187057407983317574370641092526957963239145306714835019790035874213800262095473507586733152912479203188638574885613324893928074988338525506738146979866262323352238554367480487663794234532844542406858368143900540304035388013511183263894685231632298900614375724185265815770002388514841044716259024513729011610600525771418172998730764825884990329681809105329127655314044292142147033093074279718049815618298649324947221608026145460992779424959300754748055269749121732035234364190519033050578788940379975860601914792132767693256213538739101093556066305970060966054630586169511095059645708362323824536320129101752548550278599058058276579718981039802276201779903610473931132283138242073596823913380011860021417709723484481177496406003516305569518487935635751531790262590015658119750915192460383650456902894216507764971856778493671535236860831355408289451725064345032860652071392280670470068327892278595902570549218310633507515680996446131730082361175056666488166494524392738974855396079516204983159349894741342782763792100168835944380939786009346989329700293520902398570256214587796118464089349967150746464115943736622786290956393010827852937590764173553592181734299697948781254353660289900398403063673700445323330504773234204635409833037852143835325715319176707836073990276441140501153555381874941753125019895736379303043238276340121637665228729574935880980053431630783076381664360120999127447128644109373085715266106989293849408587565806120854742204146770580273122356086873815339483173615619390637006576413773254513570911405451843543264052835829604273259674220168579043644775410079587043337419908052640686288978261351300935329833606859220877006741656068958003602963445655277281267632156140937710776216559565074887462490637516537690652176846023968445337647324606250516704942028571393417241879717233399373157020744950205803033654525173670685296912430759516058223737894215008669543106393580773733201037405719106723582391664942121072988652067884524295783052860905693537481871740886483139123202508357227984939813867900478754921289867561073423167759570469637317841757766498543515083783467744248085411783259721450538725872729036476868884097322372081082726152353418748042720414168524968092420544462336892348933135851245030995716576099275960967020689601491567076411411419787682094882513524587304721122291242772265938034617187604644592991146208707978504577101681196757650867438034493800658389780980009468951990989194550338580940861671260062219257487406374476893196022847030696062361356740906436289982211833409726679633272771192630878834922990719419127799532579461783434678058539690214757307836373855997949790562151820842399648790866796434199682776427042085468580432083942331007101572227486489557727277195960124086653701403533648012126861213414737056552153023248000973862129997095950643788293829850709347493898690180508663058130557624295048826565455681348864431067954024778944573903594272819837002094742680856020123757328726274579404636476571838264577326006908619019611533054933680263087225254462911301703438202461654066492982057448070880835493233357786504784537114879478375150465745318866107103804210773182927562126557135183127577570110248107430252145357993743222437140801769386677947765009562069217729441839251688915404829594736696155337373913714180955784987621791206366214581653432419282354947047226747879192166552611402980352933423267087569437563483839821384162078859337831274195100780337823150536935621910272730101657439885714133123525219380704914278034940500126759636326678704207891700625378894914510702752474880227821750947390066671109319539625753430583995608116734483246509013051837387614690809605236417909323763654274047680098831000963937090979132536984951499983011181802441745316281244914125527624752626286864354842716721856812847996673228730970431652829059913996135531674866965040285882540077829619061232831811402166586394015656631463090559434844307362771608248967019132461302534310357751534722869531501198252816772143174698286567200001014742018282803139758447685880943908553185347728882655339763108006685182735541629649464536104909575620034403392971983210925301514517156549832749619080868232657755865062390843950090981362175741296894453448233155357342448494762725497431602088429284899912695034402962595732801294204699775153822369018222470814495086027308974060777836914182167174495327088702350199942611415233213248647191960017312340771253152393422300519150933869260581045918263737834501232972393951871971566234080744426125224976879387906229108447846800892993106123121518734180307637267886391579872981994242283998122328568644688288434834470399734820769383628730481423639401024644510375849836486666820679148409746550531288385983096572987647782228754275881695480422814825239797955924406958993107992293794400286023122803982384321354588787712931697794557045513846562590313085491507114736316096667793775539165831158339580694763709396990353222553670591964459727892507452811354161020502631467903953595409934578554164360513015953823654820219124022750174485647879128671062215008265889772588022773034761878755710565884924836843809331198850358203356626638592975597227386939529795268106510653212088202195760240814283360843718738232801299370901522462275302331235987979867928955927241893739298625266755976557800147665269073864936034457693208148158140053579827624116956983400931476155242649121367004951276709723205909047346686397943780242335665866594730069166356976496708935721134201816220370992661137306627782331556218108465687495319922620579533410295207739085277202972674104847502329065767249735721366051848299358584316870970333042030895430204674182186012345286494641174048637231729634461669645476680280724357266366400354097808715247797425588765710104573743571061862141659473008230444806268500296442277097783435650747593592293448033370001558269347483026799884448477134669818609516624828900685759384937561028024050935731145524086439630131994258823471724362255705976670225121554736794093590500332503891893635805331540363616555038116764126469582287956227249786502443031412907671190443801219467321930617188843510817972380111924537758394969663308209910674826692063650049116260082741391977210203077481839801183972193988920150552633286806433261706306798349456677599000703550347434759224113127058071863175054680418514714846121669225974914842499838349446965448243213300717829201952120352975964674591862782660659484031985890030441601464754438177359323777149620812800570653523376422119308795305858023664991485028220389966158258604860551838834639872387616826928914273909735602561402634249985448802660429679177437742969947152174757354340451951770094307488149488145231344997260801523996159440355796151658672252538959188429438548339346606630526046083820349322045517493999519324640056885386209800390400289516699976757244133173387130784599003982106336119708842639619554893939650686078801935992155211391020105537619446148081606256759494801116691486447950879254356135482046145205351277013150771989628286438987992373058179127249855112910433738185647799196721050302171108133209603796363695641445470114992631782678992323376808025699264935122080146732022077084622443282205332147033195722346969662419420483492773552739480740592573281547283790302063216390972249461914550108248876031629734258435828787104358463290149639452414648286556207533794985204955863992906307530527772715709069367131143568629836044041835444596475301400303402443082154947115910752661546199126342376723515121680221997313385632892564236239443711006137831121112915712278369797355149729802220876145002012742588432223560199003204487813352808653432590767029837371646179990086111000705210743142494167416624721531036070614585430900301244112608508904265962272794010889918395835182907103893244778012732221184622574510138796606413227801541397498851973291314941677736016166982230235635923910816391417379766897707066089576854543857338036389726593385651311384300314444401548696025812668495340881400023252385891105497010187986551146507272119386951463876865109507945703603338048354320688203254124130283647428700941555408807527726456204042873375124201420920962679266255231360141229831377308860694066052723386206114323875748515955711056359311212781476827658776715042005211520050748963755437169286971449924813845700098125370556601884403501539957461381138733019350843724262278840997682998127670204496437817430974454684857432701493463705989674439913131315131395342824352829382263112214362089588935203520443994660232421072170766108902513134799922804645497934899783406589868126035726452669528750269672319624437277513780323501188771432999908882148157586073655587385464017516023887029303064229360070396773056981054886341994969542615051424543715430380637139609855000917416717491022139810317710566324655296469060940046620661949331672111499229430972394406687508658080483628779642469827800999792128404332602682614440810638637881025783196771552630147652143149274019970810799781224455696740976445203806507281468418604568471810677361100138909867941727605908837597904088860291583926700000027953577177988869209190799957303153380725482387387854080992717631622865156128155817685628287618740884096047560279797103066990983554989422660973583188242346450094820225403043855126771549850366323005758088105985167939194652556093885340541516368033400807305906830747488785624266045148277662852283400054386215867671446836280136016936055867586513917169313365528333456250281842651197114763753285455387881689466699734444409361601466593884587805883286756039261396436653725534156941483250844219264501938654058579184195511748358646132428438288695890737342854205570477570641618561090128734960574265835910692813710768498795037839199035008232810876222311540055137817612740168594169178210652121451033876984094090861523714433487056624578875381228225944526633877725638396403554772307230678637507014574832283533877894964519622472918122676514810617546719820963298812826162530929065724444182003379443407805731682688865679756112338059129077660453712953519643224355963527485051101518205096061566843202030067908968665804918783947263602978584944758123002808227438726081097905294180475263715945494267423833674432204563251218836827979281821612407008925557031539915844316680489512342542528335806398891142982500845048628859647467842966274720085713217693398853701956309385870461916937850948584291954554238021041438444221472009519120738376953468668572798886294583332547523640295426432593932257832459298930589539908263847284263161683082206598823435570688210185832417586269130191226724327492275508518786849197754104251148243951992189191748272764481914550610426922319715000760454354398768986028827052654078755236058518995430625430549092003622988161330873238482132186155676539325514079751728821215302944602320340392233087383393079665076673923296030377788339083089372696079981729103071406722736908786629475416370056932069007782225891415998423308504168096096129249160672665727506498729423014815893426611547060352055269690975601203646757273333536601055294831513776101161645116835969382303436769112467686412815096264316219632859579468058978101021634036994205190891252424456370356679439484433605080209661365101067188967404319256300446063409274918482227218115796077012893957010589426494272871849508973288380518923189174514624176179796381297783673140825400063979937626251989054168300235931728770438951852788591256496883624136504970644883790318441363988782640280374486925831173700919385033562026288168534464544010040579588580659328087546587536480234311628679951079160345262810586866853743002618017418002609152461481390635350431450327304127514054934646440726410648489173055677611279084468043180186229914669029782870432398205261206156426066587094645383174753769456496402929746139967769286063946566948846458526482211678019523568399205283117048711727563004777179628524351836325324003897120229631599413163073323972033248115127968562992393549152245564558526084176967380616815160691231909248046011120613910664159077397549626495246775588462525561546423211886902661714307548959288303443063097696613595773367735209435378261679124440644878544996285748959869643560105689829893036451993142353387509826519873589449816006048601777351642519848115874168365497976938112041045549539190031773776812040654056991772427090178165905476772787091799178568258239535515483645575772323708573838355322575373552354363135407150076310798151559471803577833531052887327811385185636068418944150173032576928456742838755028545368575821910561824506685096437651821130374867640002302579917399739415232882434799945522989330344539379701451549248332617578472409739616536742659646200693068298835844821727333544302836530180612695307275075379109365537245599512186824457438142031507734892534930961145533642162878235029254977819629553707041879283106855375799152122945988312524203126306350317818374497839072760904474306199684709692693095518310197393307738221119897270800760965195468820541315994598272810791149428230203385810395737655321007513922889474129396966979772563018854578829344915239331758858521644888798242105360021848722475370316848480159828186371432218166808090735872737247867022213245908879104049028414887605990236340646002102896212102799000565471509391026776468569760515683906971148865680072564828363909235417084855111845490445155646498407049331900787088840933328238227654206609014263285953408083380473254334900100873980977275040454141634958390170703583152886982925374548302457948171783428931698818843380743430915573859845330130184437256048769651675143237846399079662372985998439280989086810512864529544157075383893489432458377708441503543478910724096465310745335944914911291444951422116738913295764664143595001445622738200596527495210080510261992058554902528183482373814284414428787072104266849360738935231441849862919533851308920107458823393701377110799732766530326499159793911088127632087882686495093706532702715146042024515118704661162977291615374718463208698119849401135858313253093553087492495698889653577305952048522759919183050825421788300754051170556605007565540345852780814627104942138611539727500775117452919845792948405567585472670437915655945732646515619476303841619871670522538374232083754447216189303244884666722396558777667211494557182024351282896227442764039137791269442199230728529215666409094762246248017930918199694445589001929977775852019629846701418855668525586539160919118580966507199769712682608131331459537584413196976468482479185294179724540295778026440871497697193801095420970381653298152354962165897705005435531243710841749161031408630984123404618792451779329490492085237956148410331608616421300908717476513020831308851536943891770754130926363789850934914729267623772691735525678393696400665900061587343387729526952600101009574985331617675089984192825381889520873670587412901061974069088926101594612167175797104690760863634835027202473555093053367558368215368231578149963616142637275922784473135324651631714775473994340413963852217233755742889331723625462033556014619331044796434259034738583225079048801353372229197862949037997809567050737539586038979289940082430561929009192861631641695393818847526575779841361290184553832225624317937299813581439700007345188999553699368541461694241462080208475842763857678582891198845825287223454026209824923841634057145113131439181048346220829896020463453960902132574273582392706543954399581562885723430546658790861102766652138926291714793061393530085963623165931774955543928061758455255637648480159701155828973280067886008493755386212057231141869880033904768781397332724512790692650819085497471446499918349971506985772495149125106645257124358159195164085597088243690873543323366690062903928108725137861271643960797721810244955625681869995675824576821371132490060696249559173209306526594974976391713249583345221504212149149939112636656603480920434519082695223438856174618104206352921141368719940484222653106211066886136074192983423198737886551839481652448531387407682576496867124128923744775767489414183224540042725040458469010100561555378667944654167346883572631345114776838622381101435008682688982763901467110436440075998404182655839226023543604059406114700695097947885152697479264492946384597352748059431999793565949368483470545457568597117167017019545830066959189344688982488956244192819046436106155939045099854657881963674637938260361393955765089706307888253248804142669093753192833074020872884063449314643721017611943367461242012653012628790211622105083710280997297770691442439571338782241875648553488471698929014451406574783854207578461044761283893735136045182571748308037792975765466313450337298492301333742774847816350785260461972664333179238158834245244851183611103467400397062977102844616057271457606750387493008929743629558314830442793023277844090349879181181365662473560574039721020878519894281769624771363463265819580925350735235896881037539300425106953596116822230525182267585203012736994197426866622231019948307141304484877729327772518659734079563033212822580200781459484841340473565100017714585217907383456772415966887703609796983969852786252086502770224234200090258987549391749333475338268996961517150612012029680784255586534532759128665642788357346019767195831495615944509500454584182053403347560202558874537983994673963219227216450454281030633457684929362523820561699220400181457691446801676566926617280102755495651256677242159675962212326480819938312537427384207670540064046731858537653361893572222302215748927143065001290328147822833134295138242311929618098488713120043680793243139236261494156326234460162285968573076654985529108167741700351875806102374495616283691583819784699834586612880954720666730559976517236590594311918175680474035383389431947029628529681813933272527979385482189995491458655731529996187148295761067668248875461266956403857758934815381453565293212933424755254078869809021404163066851703044297432073408058702382810448178262382068581693812592652933213579003153195094611132124136993285143409380085000598472627295942361714815641278002317576395730215742387882068784113462562772182461604404998396275349159538349310735542683659335949901668064500884639467602915613968643720098758278735740613907589912034836147900556850690112804388307819196398689898843377909399722464919863735000706490822568260919678876893912562305812716622791429736113937432193749366961218155896542071979064656628370577761338592696646742533382496478839304399159144427284952201027581877883324634396779388182101198456225485941649922194993246978851594712576000750306715798432138983362362650396275981621115418021848614604846563185484672857658766193364604907447013483314386788424295310702967056398634205886095599073607337858570151969587732772713207635114718663203793510532452434050305203174734047720412236673925198723167716716824950801556492652504695558603449143458682815978362754355545982421342275818232713994214018213192192031143365483275757797810592746070782930987373403589118155297129048376666175558948611975651503627396908978406072169613661556017336082453288277368168916549999890047112287842451274711479070879888466268057896137692972045168632953721602506057478340486076280392638197956550836832972131241966775915061285718228202153326244381072834832247342801790024093178870527026685524109357827955344073099969880596316684908669396601464496012281475088506178647233196537790906371349535224219821604859098348212384577977351206701432490702401705440614055933934567387312704743719634487348503550755969776655377119102125722864150693080349694417633157908626149028444667800688456862535552128396917003990733298927382736943223764953198490108957006053591404517473472862722200270741542329715167301411459227849472423451780828394555876788520415604797033232246387232366325959416345081319421883152825122160413615510574222669301970923609724466865747450264202682859997503617761361078533917392714632901476879097633896781676873669554363426667207038642648738432478103840518915874709447486425291509740062783787021721492456970149155460295709648690975135370926322195362112694040578942201804845129545603552535309033426413481535927306254331960845682528527563015478504697443759513326465910978921402619531784071706405145086703853628454881294073331439144020143325562553920045307759410658657978831477486588134976771464759454063721090556992791189708612965369608459563305983661241989289502903182289539356610768554088959507411445651616809546926657423582481150635648222912123263749545484488935479490711468279151075736291174265581501223769202665188234808285754143231351206166351552966726309852768778985097816520373274605341843409548110052834660531573065150659151804709717002446787074855380158148487934630704004941280881302744280787019575201300687519218022134424462970906474047013432046290370192965340906178627938844003188537364636041053840699983330222386449038215867271948254763731675533993579554127881782411142764909309953747974993927924874036875994092662113302511932712709452498259048460286392121262230483420898145048214226461163432270353177699825210176576939509668350736443169576410652296156270191656323462182865340203274214422524239745332464857915242987194622741309473578195727824239537891901012960346560046123769096193770470698151686031373397124540493401155898473731705392477960460428156930611537933999618260426705914141440117443555541733738611126772755166910939411069751532896833776326024022628480883836056022279260387478828692575585284803891909803982338153877984763735849657810573096122500696848581742107088991087690532175781265406791577191245977090998918969699958220323063437049212686584560328568135270334786349130302423406522673637306122297040528247214852243713905808704210012586922400265231822821933908068568617419386710333675219291991151294462947234161221013024047017345500971408716442672135020702773558535152291592390984127345826598868724531836180364341946888513875434356794526458937564285271183419658895975898088885503481932691193816419484529182345578218738395025724012865597342958297258215824138937324428026849065736892285703703236694673077830612523613205020004175511456719662678788676371082726578842939268868066234921499589278681202910836474891271440831885257719131009905817480204524883254128820360634227516453423746210177263086691363712594882415500311958233346653736267703698414989255237198833678905522530842323548915525256817375245155064250915348144025015463900264741017744572425356275470727862393826799468990082152970256590346053274308783680740339956439436554310867634495626399405439523158135722692862207370084956461133331480658190161774415319333042115454168883854466182803570291047644385847759828770515457956818095892033690167876347739319735811163920984320998029676960663837839342450858361220970046135968247675099631480647923329995621488745727562272135776535881081172664415203970090986549844596147821200449079613940914674444767708438780263410410240698761357737942010108385890133543138586514183463342772187422787070651548189443115487830528940785493227484238367461535514438061436123080296113488646379914696950268028076876849156341211167884783300827482836945365800619495313809822385455389943266006760783844354141744761970737319673970689012496460819303900535809023469761305429226157373658636463426699156404862908681169871535996848297620774497342708598520891574038746828343888407833466566476087773134533782796470453503539300654028302058918472123282551761313519147684585185026841525700623437898123111845586656594387447102987562206988531796406940740131811022223485964408786395204010336193379071474947085995855602720858008294793447544501536577020119419470351778678674827747431103363947662992371751437332696064470384601401245015446538866203696906232890302856642158166945141538317850656777618636845926465036510905444512694412321546032806295653437049666500019580644922851081657481746847794321791235056898879664184040310157848123089971571021738140166393973189439001343264125044860675264568919749177418914320689433521558950286962519043438956367640543628021689654682298614663508085467610660631106420802789725536085279273792446836056460989681619134151624289400562978958524306377780327219797649401826950097827625800422972059021058667545314468643194207425593035092123642534392202475446685878824160397456396044600925891408651000942755150140547793307194186584494255591539756242709045959873359198207380621573178440020630117782950068785799757888402025131100979674014248374071132411076425763994552220821597010751494928628432025223399476183791893770135146771247482515407395358531571562057706910815769515831055729773513040360280522883707754729845058510698746337931834822232044420801953028611210412257833074450437961191979793388486651493012637911979523187772452948431006777888233256873056809855306998518405584879029802995410753259286777831767842601631025947088943978324818301364383411449613155170209410508816586389950462520497232934832846141719259397986582442462986840718921851206099621232418233970897893909634533733176502708182594869021364771503061481759150958605493461673994262584489936289824422433383024612731809994054587877205046975465758141811443269175081332450667738403470250785691997200184486801612774275368356351430481357316293344202708641715247259047041161460332485106253605053506627172097088963606308735040143995643803436419832664339795028533122403769824943185470325522858909499986300826784027865013742861942934952670328739585105075804081186200735898058645440451518401530592433500296631958322605942377472990236186026740021979899855514851636476815201988026933213678940448624883547549206994424001446261687813396392274057598818320992478991310137793935688514055518035164765830627181931462448872122336938181043577534805425104384356747945659452712740230739619196054286109756613953700102838817490164869399234452703117591820584747563492440384851246436157509437538498507877222931719856308569304389763900924942128976607617722093577038161411000524688136700498584950882095608285200944831149265205073909164465637159238034309569667241119769375254175393879005556816157971310349508981358479108484378050298291555645766877519390496716920430736029109019079372225617897072711769229091036410518575218326783557282933203348521465217558874440442293936655124247170426159248494045997432564981120487046510110125300355256862400305896959121435356672551259070444127833223220316149709069774016079551070402839508255269563935877127899568819571331705000634551597263878404542858098692781483718991668225741234831602133660781424479466470269135967778437450406315273723957304112790717421365538395011850119276405836742073210949661726420031425295150443133948099172715051687518455934662478814374988243317888282744345794962013207503039746342284676543250044708201945041100455899885345320770172358561881804127206453232036308406981271909221665783366478814902869615182229225221763098551049270209650840860434588428553070989505082440331671911301638742361410910171769423083611213841656542869371695807794523680109761947331365837552638511877351867657599533164807575850818931586250379087938602054146121667006670701162647981037327877776696328652613808239497970214273911175457299195132611397760425532247459913508572818381197267460892597301457993538604198730878140998086591472528751688169944518120218689309103472186811753653838671797242882715666118544049621036894525687705087035674763334226796916691680001575268871815240807410753444015323320623738007268517932273210968810254892723558803224872755110071653575553017413306984748288760393088761255626517086295311911991260671641665867889401510724808811984142633788773362598652642025567430772811584945475935518360920827854482489735323457051834187314710876248179671974600401649687789551548661463243823939649631868720846185620117884145238166018567147120239878892379797223454957655187909383025870191281534508880607030345965763175858367357566381437890683682817541091704875332030002227842499589216833926836424834594068292813357623896184250703680216719984533692774518124027670855024800339901908759365240869102851928621481269914118724147678901310734322128819745817704480907926005752276047745592242867013410692304293768566157354865557003912925806423242587560369928440456134037919557683675269717802573633579309562041911339163446373361540062994750138412894551718984778769748834592985492895810497854357137994233322911344749434129831414674254185646565941395523597837375625283983969270930983983843880116725097824519812621433729587359096205029227429824276708010996028158396536964176395177583710439800386876388206408339830652119796261947206178916192397931653099819281942540411024724363866359040248715471910021988533980053632691750963905315899168928255700857087807746913319338882485143456366523753572017300379237723814055188649969626981466220655053476560099878527005121204520465870235657523684315095026469536511871781859905113419719069525320556326564581227971219539528430643588404534290802854081897378784102005730881472911942917583068918857328944840279444200677812934518247498657824169424757174433147054859261814716139494213933555952529356009170911001565178867011716353362568815232913414054360291954085187200515928582272622442239677656580492685393879944671421566439164617817274739840108352435388278223272572672987186566515747324606375028909690248909142521705226346982506875978390310618499093170718994516324298631676551756396916025642738759684096714782649838376821988096194746082073835260631570649810930658984645443146867350482703377656121434368809853333524344282829926111295970045044184164590587444948925888435740576968238404389960131358518225898398913832137006140754496234989755670171456266974631116812036199457772772452609183464664105386187408685394166708452390948293991287441961317432974238089381992079385409932604823456366420777378233817845536246128533736289175149234915320830350789369861077123612354119652774222684299699213615387232592690782827971217804481252124608637696864652307672464682695148428621403771934149749976151465094841948998718087774541796511245615859400212070051217420388955144675545790086258806267075284025962366653421797024653948624397719030658789754569908033469151124419237199106705663913354721385497264731178390728338814093606085477689460311543979496647482994814070500995605676112114470683645175058497859697829026088657544354849049383143931763768159091093204485527727045011395641525400449054305402426073667044666690713810261639759569555683637405161274542098296047667610445700024667481751843920034780082203261636854806729413709615869523637135808713876276880222020520090893176372071525426896610712680106998165614636451129415583798557493006878093741097861167930300982021126362645289551168784072311834810722896288396114436656959646391115618798696858362344278268372298744879108563558272315294425898316033191611266953021611286434133238850192207152547652512637914582983516918503987875264043842826334559328358080101548725777097306958579138654179539896424940022941909489771836417015840955795164061005783468742675570473744030495895224450239511033494303931888064713786104964809715887443543781873864997389105465489261152802434902304976574688570859697951996722171766971053653565054268507747314853053841640920661982308126589436895170381776105448159562084046031276191793282321009133216835759399374916828134497358012393654093416289230429894796477628509812019490847029838841724282011630058404812514375022888507121904159535895309684689490507100818853822015449584827706828154582537200809518042669053180855156764969596715846597770501094748745014641158328383999123844432209138834941904420677157481606777280265604543040325237981425578897470325513677206787193423607242669281062836263215843019512546407108103521336709161448910178034014452596083047381526308445713275148283431959950934341921770677709764086217046756882026856714349905170891517429290762335774134409795131407424077137788890830206009086748163735897008744661571987494614445896812517981042994536551506611636610058567181089798857944172373886644206406738624476201854705840238128381547798220283648023978535284202967369891461053642550136725901407763535539315937647634439076645199942202531958269534120373041498975038515056780085540859384735046314699318756793147971468154007429808328362098969912774149348305350712248920934890274301022345485987959453868712158462006092013700876405088407562439071896554621166594938295940153880760512588049818606849195288121133821357703354919137801447217538813986455700263912899205836316511104072089280983936401715862376824007961692517464698544970583509410990238593463343563161942733738186174605501052111651039089134962624863437190665989506469179864586903906285309881937325990888210052532750395483834415103774591374879843382104729810574076212630814473675681002460175435341727466552224572688981605598305125236874145306262287740601707434686788725290019259995654030875307581200236417795862309135341823098186664413951307847406467324511349722545146344325388891019766562467382877510788852454863807663782754727007189095047838187061634206245690426017568626217407668643518617775498250516692339859166248146065827328751158217813302373028244409535646815963695981166394684876924764861818174800465211579306512058704152248748808135419198793519763063043960290453184208539732558894295743563876420223653563744643929018568343586228729889931824148531577035527054174731179916210706587354200230484690518543990108627028374884907220311833290315598722003515009520487842546297963744160504733342973171999086287676700162239909066837988916633386485000111681195528788137128080478267656624309335765589763851226130495263781787162525344878833160798196702748902604020841932244703365979848296606329180153162809555836761339071194419561037048256942044364698027309672887482279643875722459656433907818195757120317934151603608647851618873862448869470181962659705788617968778744597472029970531949499080843353254466298689602616266070472198045336006389778235913790178995209753533316216959760314785426411632883190699983504742787532572149167585019123448701685649991193945269485864063949720291314476621579129455393386048314450964848536481891138066169351703239160218648190694712814731972411658101829927450914515492843696308954606635104573527121162957332914097195872420680347969398052204358801863131823190670634094001032776673216609882243694162475995353967099085280971408531993264266711596041807139214244754247882226226721463457992657319291794284016282086419640585750867273249437780664004992382259566883457277121813172856480029659779720277358977457889718690476842171387026734185149855434787035553308010583339890285139815446421325249560942100624929296774377025840706991113509566280436686729078736966840968818683614832068666731427294565163340381619907869939707515416565387179721056693136529375010293080021198669576147983273829924626332760373784639151627608173540428745308003561666734144388729720644550730592923570695631897785879785132450397212291425889448202920076238812986789044146001858838733226645406711943552058208977736256621256171903595061696382765205196240522102834051195666115230012355662972760882129613761889212316778509841117073464745839765241632924111215730518067617137359490720879860819957984697857443073774593131031275996603877919286676923288560133095741810619955069554149994414390939805502079235872459322548592544332111307923296060240436021817290698128890812202047735544084077311443182585288120836704008753393002059746987271942025921455020235214013053203047337429221953661674835656161723822177655988078311750162029235289066197694403389011212955842673444374295682625673696812628350714014792385470890042953393181243745720252016109911263379616878336557608710299222756597211513480849012723212082046138942160381870158807358608861586687032480446876489155905238144414408931718218518364651526636456740186625069959120147914175668159237572101882069522598476486406310200402707574125071280434409137675355364283743930721990163371967217941034830150505223982761576199366289135606837397347274469048243308421410757876416962043215336646669078490713570111193451586262619299049320762562344649709078715299980209010244646378782751936266145437448305118124297131938546418845655855346993223714003776530044943723917427389469690479271878679911816209360245687508120545671868856728987894972636281092468943036913597353125205307604780324111126493122888725642944472133947997958016041962093570413714282277482754014935661839806924741856425526300972115318904312344350842076104107583345773009141129924759359250657998539465369713072829092673224901451718436891576530329763720239064559348015633879330719620200706897505817136761115950559963410458950416134345122110239320641792023122346220736012286056301828767493235340751807052217870962388661559109795446512367587763293114391549792673903359548874852432865083977911409711244065853079066344320646556306772820062609637073572776580047320516107315319020615033076341437279923621297543849682976466355789806787245894240058551626182717933757443437587047519760018531260739791991399134806806581861194953619397037853923052311531832547923292436413692713169440288589571674904389329705750598593561279857023162551234633370958528932784356920674773757078659897388938301865982300188412139480564986466906040504970053392444902651435665787256235065772880638144754586847804323443526365439919465736137471125180970403206340211915387426176520635796809971858533796554542528307756652070586442098050367386165315984666961757596917013616453346790596889351796330292217445007101156737176843679022536031943940243134772610301043073121503548235356180823115970272766319994876300645872340554007636957985253456934062184676088142107914621795010586479036905915568649774840411203614844824909198812607172890059908570469121700871497192333749574447109061320332194404675772865431225463987715103039191551711543247507136425983492032273929154006514178535131974105969474515437814358778936256218597224801783617353473647656245279310850499288341419541607535828985000892979553286332797329656046723733970238561257516830198537706270977333161607134874761171456766216510376228511688193527053375477813389549468945850700601444694249852027175165715946149768120217909126927376225938289335200913114325950715470707504553848379298031077130867425840048174099175424000735985843112392249392140400826286184187934160673595462922478225513010215200298415316890398422314762626861511232223397655134870310601299202051396391128844949550719258293674992274984405170101657579524146344319720074934076014732555499065653043708614461724907820873866392094365282280020273509514246964748759892438484930885593238510070084537935063313674968545502189872219722125607732122293022079488990616897158266617381981936619086978097274888136733954921535277781046973669020157387589877610615242315938805464115379328391539670252577617879416936429577700690987518386337334978652757444455535658362780168265145205124431466165519450102016696701217041381978797346573715010311781197006359595273176096148620127995086149529836143712237010241468838144956075562258685053804510086072174226949295320517002151213947498496937184364244361688232650439429650207141116579513122946396999630359479314835960167803816932692643544783687523335234490434653866693326945053034839925312237489998307274836976846631341635224250964136583534799110230758321813312897596623259024170629338303701959183390343363935542825139087638621552281471405144116537441567981620432836926924426496922115339040572317338145986403997272541792759318013866611653249500490334851949678195214429460513914943770819928682953859031605546412881633142884354112847104995940690704481812572787821701118619658217860593962973193902739075823334321685040793947963521391495070801078553781739105004044316267059501468403465426339334916932270325539289970316394987102507665746431377648705035302385428234902853794190834231744827689775765813750802617760617805089515529584803256504333449773113911207116014708882121674403843185638562919978534485136371284805577808502555169032843047863365694330080722813572940424160813970928086493938513343607090031634550363350361292238973725581657310800590398718866029294489650258548485251844705185771865301311378100382383444549857420366695434106689708426019512369545936515023516232046356444907848756425752290264446497999796401387666605134591545667375926051158551088967429181670956670105445756493657643398573087600527299786027078831860425460096131548598153877735112970308128090315759808423485002770600449773642745208747137878097039275651332508943561151671622622110300893430028031255619014800056319034656516433612237874752786764410340855417710743057918918260509529376424110093822036077634313762443832591504385367459203401074420248817547928217605586846486835382716556946915989065410370335241419127469641464186826580429558107443516481672395295813599173731601133564170507580760185939494696395263810938790864831927899228809767723675845167837704128078545052908188447851242932352225127532828538412400951903066745491521901703844519780315769364030349764106627058849262258524400602126422835005738915429670336026567447158770441250248888927977624975851466641429266809658856269323826149185422057352640457911431739174026760270944787781418023375907494649285309325748952383134189433588507143989991507415074976108639486841419873865117010289099874299322923622193727447298279372753326699976061054061340247706280620774058163860253847614477555875908068911258402187574443991384290946600996975256811498297519560645232914722442606703943677250694220133379693821429164114206589667117102006520117219338183825209962368470335526568280667146645357647543145908936728163850355647110041656738710719886518681004163258761401211898288450024296034116707207722828638544829971298831965209887157009441504420621357969320814196167453337253240578360276991049193896822017354615962340942756988043699335392559934327443292357833457404333816994096502033831165851867914108412308353697378175178637671305098772864087302975812268936319495880618364561241085789851350880434205704950993103180751860592602510043923844438263737234251929297146755090963479633642143745947014377309698105885895358194639864721418400369191447071602353420299457355056258390124914091678899834901284747635423606476202330449145947084712349460638264396350846624928857538151795284226973284163505342355422243764857145412779746423031596774666293195524162173716089070409932102923731049210031032817692090479221238455887463831942598797135628862870231578007988498675473490349254144995490503814141982939800670778241176368996419900843405559535300765748744798037384476125784176345049227052562600804374942140231065379380165233525406926594882420483586582415791303413525329304444589797099730859002154255351514757668469924977229946226672817082832023014930061760889846603610984262827604758361864100532586738746497058890899244003207791694513239590518421456400247212386232537120038785754875348029783713319921239308853970290212696713945034186809917798294026940991475119499053205064290540519762676231840336019613822301217032443509492280776491455528781026352582202725698782728173245523536457781503354618093489332820581455199798321060945153600704465370271675817567495801965559657286173868654902086310207820039312610665033183609831707332632726694122727830259045946951169133586559153004819384114188525682176242581127851804179086840400508928498848536500887885809980959156982844651758622696071304311085824608947021259319942303512146374564001463716682159256364934453242119341433436522798757360798685046281676836703428549628599155741594489433235169608917087201837557803525522514180247676033743405053463345696439549109998111601219328476526192068853263048926665862357813257013442037206750053371567559941264441310374826121307177133266746358359363480244532117228945291455157459362811142283746765284876455216550728813812651486232052299539000918486394117993716556874058063415755083333206302080108546695003057812483558296549139634767331491604576299384248978656178350405797698501077626504196523969983566830444186850125799665081967866249308639203225548781343294998551243471665323557529332137336646311061202345493408775973537568124119415318037343147210303375442967543105042292793159699749649334499111877247966406604766177331006306339721886110590445192842626607172846299119505194827892002643810571225223068247873211724974813476576604244373523595656128768199120814462364198541409987916234358171008873923588262846999125720659305628827281241055309180351002645266042883585874856183632560954094160053141082618672225719973515620963481058727013773851649209592481401795412303206310367890697045030578294888068750146843862228514698376046199073944015553242738411149542137950835451620153159992671526527157034825900197255571538845808805906241109437790057155907712758181480643744589487889203036552636616144463761701435851289272553420317706654270986176361843570464205402233329029755560901984560533766610009609025113588351299095350101088269752087259743107650990406575440177195759850442141719901298032341812461365790124845435165982815876646882506424763032085270572297663407045272182386862694016419139102588468921342439913848246388990916795904480034699972046312233823985610112462086675580076831289027994843686843644359215114145428887524793519764688102213702898089199646695045851470464866842844126974950000430773622806758462488291457229326084174714735147888554321347338530230658484400335227487925974908152582017531987987827681500199975315495851136491324264631886980145010417640961360526431036737441259557391814939482124481576195329826639348484815485222578053095309934014793592716123274661132420163652736686357638870756020352901964686188657021370649734531624724618946040936369939395201471317754470395173048133312233847066435472169122397979084924195520524971146862896137151984566490659037965555271892998155202099126992579045974176360588256689928954045207589988321770765848666136909867415303990487795267509885902474523867887662797289779883841264398808304682787325342095189307986576618759185483999349198670485986731609627866645926771168106594519804992664487036614974296517307552937044360571066975991918804024886849248184633945710441813383162242083014714230404636146479621636576390864458446846688865632055702788657914004824654431459934284492288867527344496131683153287195394049518354668722866846804949655380596706179936222237458555250148221517110146437407239420251069172793677097972909516854196070283376242516508237660274883797321810351878395276881820469976784835646317158549504570694385858623447764914139744704819726390703748211641257011927769960547756749404422269960348534352760510623221372927983996117662208113975365697784679902826012369004878892259533417017930608680920058850669444975887961415904402933324903526789560365183308386262269486783091737881320519709155735058501627327318153562064417658075751690575315690016218228648780754234505941681075673018986247039078591818384525596599587333874536670870497610638648581015578206933449987387467739134282276661050927924978357138926125982391392518388073734776069355735205104924677896000552671260390913711352387473679159091823820132363432891015634666848357511651091807840729616846089671679705253509604339712041706591156694195558647642250158592064277411794388447161128071948283165959886385046922194824251127742063544988176238359944915208856077745859287784352034498999001859087497737658053159393255343135531852896380317236507062400301884545368863880674159381475874772553401616839804450108270819514450658021362435705308476511161402597942564161700506328888754644770322368616850351852325117735587316933136613630108264281990347998707270155528942759326143085708005924584571446292367501139379799632680122297217033788869611667922279743166495266787429391602120206775126762201587362768767271936093357400681636731135414641888961315057591118131437811263665080302661503790016355787972174838141116419281234484199832668859532381898840231807581091408113400369803542975211886836573714570031719243675210635254138428170078045118988717019496761119795213645844195833960262246170513883540675067096052639984488762405714931624022954580987384972550440841102867962792792947691771771975375780459181029715343519267939597045450588042523116270277508963230255173437088787736218952581299204398087695564456591453848416819483213392836108773781533355445413734124886427288601002037576683575672601730302753090041860340999088071904617807261075133298061027294112401969602882193482082074785328488406635216690746026374885937694269678632001079026528261141801627344811262755785905805621718829925947454807453055358467797483643686006166297183002999476403118660468574788456420613586003935696184419994355399281601685792841797360739054788098217649939146490732463272184359880309634063302626569163464326337008038550836231249873271533544893419467625597656265709316655236408141034392582777622707758368894988716482575006908228068481293864195415477931706946202873613920103962916276772100690499883789823105612902010716492639392393605335299777403696697804991241829175612450750657378828269889023526394136345392156408484335965359052495040549156047033713792762671202827401643133799979081645627539830759342977732090642819099197820370818593604668477419250675326659614785405225014039326075907324186655372938591118659617844040227822277031353418077835095755157933410610635572982303831073887134079818077175005987400887653927527231652911531273922647620620824695151827123747549234850534673663764487511797069205126251135303210453991581870425774253571648836325756773523948328613195545007049032892502638151612607107832328749023160619322753726252529843664826780440945621994970616895038962151144819444855304589243257801532535287801008532498967545487156958604265644583453522368406853163937314739527580031061528089700117407560373577271474762654728471717931488243686366923116487443359347334619860080816472556677987617157159642492503801445840559348573505671511398456510275593614872366074342011074418371972039970722898371561332509728888940594637179026272593042386993360255389050606142906594294146849439671182530993976752683430623142098626334561558746091424345481790788660693083040438080448788863728609621037442723256844420317082023628974543320644328273865231476268749222710348282136459440837415607847819900672747941563148943915726837454501264952809459334916942641209599086185827992434743210848009363290617243141825844425665602685973868854721623892945160459419860225373018074657593267598674375804142103898678670197447661041261892169107035089530001188274866532454396463619278171147648968160518085291296575715725110824270543755363088024187404671177473208650723316065924765537589268485679901756220522883458349261082881144112744968201374736786592217283677115522269211280542071286079298177354021384834434127190777784080981024061658946914373467413818135592383658546073707945131564364313418514597679367735269194457220556387222548439345162105145728482218047866667192881325437693566841856463267794074567746912244880571734232059819602430726774636905585972612231248893231192937494197765922405945007050064762924189843649946219745410169590519826376138127300363897054081850318798400958250724726592555158374317528507361333255033306912559483707132915581618270360241244631675139798056266378799647082828516379886912607651853016861245748347556868746216174570935927789772616772478956385716357348109478410251286677264790909499930913835063775352286086541417518508173485716068653398338758094729337126299354674987963933181956215899228195920727713391045453102812735451012577956513748889099665784620487140021885398163940214675740846321844388364443303580117220143144303412473219920347562977251516567973589187491479691389187143916199561259680497540045035577607423629710721700692699675942736970284058432039291266796805024717621936634394376019679736370000613955402076747351426557035052685554465373458186371728513892125098291961599105012241902629470599222758674666510148230031130612048186224474989041574342838885402442112697709436298480279875946289077956863888662685647126299913125246272355326218343834433845853595432843395701798960859505107592780336677101863837084630637292812611110639333644127264274396054618273981977813451386244958659222748476411719167632728974612310395791880357000584927502244638474303793654389835785892664459300560940606574815767176884779738252978472020804249025282317659565558567274282744612716001815686788592934581640726387948677187639473681166490104020800955296616847806846165458543683567465228327357426981661389135817098615518329142955771167571918539824346627362372086630568484072473311482795283974858383069225620890427132704937744001456502118429854728938153286574006222334357623689421067416005621694231975636825544223129936663634142360560114553054224643027168494896509969436137242340785724560777081480243079296048363806419896988224439437138759157680821768443806990926949331485340297411221422420082919814369891072904047296569351317831630922475876822287648592997907034973738197407569631277727121987818121803541931091580399086232403911580724412876697843321496814267329135537945012956350195839621304479412344275940068145420904640585998093310490316839603186925238566872956025998206811631623182165681597575296624695018768393935139184525475791999955737859159781597092644287035294558256291764411153009047372502090980244747469440030544789070390918018443038405972143203830706500597495707362746628102191022498196308339186742209657210003562351991387792636737784736897308735920829565011129323488046521565369886936653816097910010352722513688362959864535973822192163357694943525143525608826367776378446347383377901628287951670219738112859578486156689134416519905445512960310361659236482004343334699076037966964905082445964386846289208170816786931203208950836134777129942804816720257143054857446210112537152907654908465842182464275132813161939897881985354153067798369837698878552613001421685756801782242776426393271162577611459230830539471336324511389997482980202246647949690050703057345005808468994772768682425506228468649089207022591123219713413412387553235574752841704785751147997673396060827883617222294973421482967911619373366290489619142341425803276536273481113782433235200656783567137925326112712687691145863742934773956925989616666306286433968809922766563117693921426454680124406395409892798512096000755027131123004141877771049997332003497603307988325482364853844114998435860280807069043680255866406072650782261401898401853730136938138656659260750297384026580022701718413607031975616511911709648002964730896283679369480716230990614210743929598085733743455345478413685486602307188020291499771956288441210752231315190860478757115408586910310772596248261960247748152287669144943109912442506109599447036750148890078937867346138565789032592989252210677120160750660283066463809880558043836814258706734416285592548615423303054044802779474474238134810523177943642540269594030127915958919613007714128739897757705730807918803388272104973946508094294097863281543415654552557398947312039188416954313536878450434476302176145232748485051637748340742028516466066984623435345689221509790963241026405858491604198329293081101553972989817933985479571801031538749240955840922139039858819141331809371733739010626695900119109096448298236320430672569141743486379207831750942953559669343893661732236957006173870928112372524912468901162575325018504317617807932958113435242663356514806678448102156685384579840462255316850503532661369364232102739578878824914997155284019850614746673543951390273121645099071478559809678605334862814607632222789672274822168117901395118468399511192701895179347972422812115491598904387459324318412108741319976940297029812848301667569700680789535500468739882555231527524400805591993862858489628655884575528552183330875502704195977833159041157663619549788826161605120174758555514734846929707345423188566843548251801139723234660764147813260900306209902153973534456139504272362354977139264139855321255201256581544024960503392729938471647350857410226504904348972772504039167947690677824172076329519593135797183731250165241591353349100956238055819185928673544770684568053425079745822881731767902207490959029915353462185403278223095933613414350420567305407189757221527387950079234981760226385028079577152103079600555992919877039907892340131290258247238866986729180324063100685851400448086346597829421321392904421991024735595235688392397377161814673658907651172385328103705742281989265546177603060016791419459673633932847101141456803439034936725515809121656768367148479909397231897560220848256586934125172846785396313057838007565063513570831416817059368103554471243246711707454156689285007831485466594809652785186180796800967248966379465260178993106416275504754120212133416814397511494279415445628898110718300200621219064899783197388765220678210206432166454792057025400619109262859468131480852950140640100767656841506329572319355791301104353137025365341345376055895737577558582039699415210443385665850071493693463692723335548866467284065760632113848137512500787680595717703098845550426211696921511058592256369458201226319432344078370168960445499198107719661290473324551721398671448439410262186258185262029883061163483538589492403724792832232587206584156686056049521203447530709522917784338365981471685174528804917424404572367160958772029716393242640974578714146917672836350674638983837734256528394767247739977564401383810529774384739974859226691953290569827129060191037267159881775731246358741573490215307280116309824681072338687866597551780520966733336114619561445660466134212293993686668569987291407466676470182774725397327950944421775694310544987703024493961260768438642405412436117761708138287473179702527454401692759066735237275683359255429501017819712403335298496362614530847444101093505100915701035524326664378929616701553663211590216023206842996912394599672213100065175031574133485081496034522884444106564545099568355723630126401760351407750048119236543162359421517372262868523611880866875857726298711381330126298270478361434945184599535049180940320923784230052780495041888192715533888963358320795545799631020749397853880691725447517078467340679775364122054372709668771073747496805976274155047130232482233776798132180965362174251772601646287136551838486552576042568142858032455135086763706278410132813495662774371541710612139687818327153500772590295514583864145236539786644240938492383253267424130407335096124012369336919176541854774432409282624114887692513482480780293146893319428240744540597655224147505651783807538653904286921176244158895005112732659816418139979321793365974928218898954102208201034766795145799351434162276363366721537051926096520325269520688351134285551632870021313697710988024174489129930543469934289289819870111997437216605003835241072610175538755558751584052558836243205685724159091465263718955276319380583846060780726961010186502730457730336401642077419677225412045703702351795354000715568138701901818829880049900722906931899040276141575566600272488396938552780254072458363009220115334999534579053354683053386412501085241207209377871303684696532726937562894442976535149653860972525379242165590553629570204923851165870504824347778047154451543427901247408545577516504889364775151664906042949641007587833738689749155938063998998687779996438290661469968815967187180370502862961151024059091614699429734265549463189933963613491991768249464860650084294195040809681194859154008657459465819906601934914458809691076345515301242078534813018558775352387977572839877320271520011074354503540475869197653565017977236144987174237021764307111111886906350022751807069978429665380749839682253849703934776207618630369073888222836791956740997467434532271679566118098060415079478158556282484931519381590462576916900445203712447846714279465612066823466177460300626341168424753830476182518122703752643497476282834349137012956049999621325533831227265705796724170363338792658264825384525300836055599839332188131691490146905469652150229883775566194668197188404298725216084794279141238371116009651198877808214388965093682366866262897432271731909975009157559354129864454362148334232515637292753328826135351713505442324490848807318189116958466908526327088177344696641986465641645596381531031207283124112229770103867844534097094220373364624387419157391688452901783666970881443426972344906960282811545620388879539309688960532419635613518521104703494209978430187709986743044547761001508789127326825104706583925232034893516074048273733460413536116814823571194558678849927964033649680335147037637448813956511305186828376663343963866269183263174942506991771577395414296246042649987401487670427217878539176107288121726156754252758476811840278707763357361515549631728660957917298726222251255834434788835981573570152502987128070786010073418885512992116103572386594470100406955691311344582308104916440806922778738452901922035699720342205675234415965894108854831068819022850023577829864883753055987745815239614898008678953313553281416316109668647637643028221629970197702818631055192597594601394283683610393234599248825918880905595705884977348694028398851125047540739196503312927559737142385936007307353327697330362327889436965929695068430531173597748214180386940990522706954656889341659282708605101687852834974937737539639566866700329355118118508886152490463872993295918397486255226618851035632105797640904656510330759628893384051836021210790562852377923616791495085354601814474287092492171450649111592050582371901298880891133960123851921712809848327371696761091654836419795107504180373417481223306560725819626152415711715543088702104766725083381785248147193989102068950057485197624121019772705052011172955373211854697728421235652787391559032038132520671509786666831174404516744099710708605302606326987282848645134948502855350224542813363587233392596354362206444332736648166461425632202445459336197138603606723340370227564563917834679289405968448229779724979146275073332896477646082113319609209123701278748631144185349544074324910965727362469060926496430312584443091361296496549625104901662564843789915950245596281199345535837094963278850657280833884155583167591428860098824199616875697061469669601882361507071490669702606662828507353339353295963864951843620718423588247893480365623470361670531326026506375288549501181371402314153147590473151602069937096847337743217301323243621428414335613536569280732654077145256042353955907947250253456899771636512382103082526594829295097812724915722302058742739585479057244383604794172364664800530549166680493670569120322892528823375298444226979877511079222464866007185222337282850442459393386262209771412000607841099974105561153668540872625474885538339174224654252970691115123593531221163257290852947936829939228869402347667195315562037799425444155929505008386453311403090983022406354954449818809465767494790526249558923159631164644440987804354195315413031878268456824974469298281643404164499866406632925176329809155869499959902916797654434174881426663107352665604520561587393109646084109011086292577007350175116017841357357496444752182144629406059674612668762129646813696941058210234812448059761230693436708604394722486535761434160729278418964561480052991337722788002027905313424525995468511678259409094012318080340420559298102711383693797727549246566488666560296051606311847002373188412767311601756811859123866369345513872481992597594976799350136007487932488061392061864392181041023941354578826326922084837746133976310799381762093858713320769565787478170207771284528438603925133036163417016823061279845864256601020576489351175437846440898374875555281325796467143691216152137616688965057154943770503569870439192976717646603319277810120906444271488475509734784192486114289909640748163877862865975171439042559333817362501518108080109806815870196203352768168371143545555316823710564285611573848420273795435146003619290827772518807262684519687754050240554901702264289900074625435058438015937159960816229674218515163363320294941517751966555269933480013324994226696404958817050761293644087679944699021750971053275544411157162388656799694783899152612684547786390799975947594874160966335103975648373384911703632075812229958348142902665390213455359284477142440845381213546181210871395440177500068377313683219811622672485352831828425892801446747845996474991725747066936798181629946052635636700724967783985351118617820047500458794017567930353707967385880644573791576693645424878596449168714973963949393949820388372123891847329689460728529810831583401644495498170052948762828436714315516660593146451990138117240215127348113786909821079601626628926485375856351282172318484375804368208944951276048991685121678845772447091251054466560848486943792102986634162160744241206666199082764683640359675803261931302621264344907451888457403901657459435124480631848038604127720228616278961159609597603359864028692040031184122436664920987701390216880619708712971475089325018319215241381959636750986772363862678445053117837733147219396938725752995050721691717352549773746027938816053644039450578696821989877121221908328658838038772233370916186131642738120900065665145778936925427956821999046228710845693944914095985546119027748424751849444957969045267506827566336814474163231625752543496967741867024708481552744468105324846299502887309058921882893591418784808964933931594001033757952747412358861136279796332877607191101462544310777491075575124477402999969819687953967225762443780952628380039195419055311053444304601152522562663226901401513048784020946398680514283996700338451726519884796328327238648042340104356942211126885449430992819868266959885525349394739102997106070223494745141128921005778887539063848467787452918116900502928469217749766788520773268856710831858749325433942499163508515024096257039795632642353569464896357657847089439253228816265842442785548923201175735506430591361294117087351660857044326165875355695312345022035411827923513772974020825553317242080926450608339342678806134943443245550861441430899305548192631728693847964463361572612974327519121295009489933176592441409464640143307748322343821250326106234694757499545998700087438505839497030841858842191567020552285417557108757268340600101828381462384556852616504155923654196294822942904538124784158108600200249572954730835413339512425482848389863476679072088451119404282330259666827299408370975071732904622770102602203329580966379284065286564949615359248442963905754056236892856201689492997503741307954135405903273621112341222608495888621506768786055040962180017496335300321613435476059100419920313553316551211312729915300723648775862986717795865994650314957870091326970774709370516091698489517011280852921247371303295805720616561496767327017351928583683685821342545844743999931406769657388326830837531294951951087872839906430380898696111566385657055295867136738683542654309653654764447751950172132180781697260784750118886109511559929538560767415746190079173806406772369958712408737096879995131740942127845043577467847740777744860301736974799095015027166229938777971442118133184985177564772193586227327453807848003733332958421384353105093228578104206120846674717107917000587381458894743037008946351254218054287462224674140566863314174579775356943531667183631853590692567309912561430795462898845938671363397189014759243395210769677472852530908107430432671388482765992377317030068264903153691007225076815033931914220627356134701266934582018099593400836195912098893770329414852237755517626715660899014267446796362116298661934008040999145670208142777628979661116040251913138339868325541417829199357562582485709717501262408115981317417935341220917791393910644464711607412302826025156734447525118398453077183668721499917131516497141978507698719937363228258224145026858992021930999571456158594939134929474352236506917623706131526107122772513779139807077689852480671150234165171422461653879163025029707838472466625565903931619026867030496048704583746994403957596680072920454662074182102786229887007092836827877996202328296703745847243129450571574142399794189008710153794593352683534225736349739759617595585178062436895187350303777503821841321362506882363641147440231951705467626078630226016277379815243271944824046905421399679544651660569834349172960749672978701475035868600507945682799464999346147584346924980449780832126096345306234582132455734643805988328741482414394740493951764503404044113950044553673464802406885634156211411147124139472390965366670148733315609390190947660357546264573350104797916263055274910798036131194385408457848260643705020385927084261418766200666124729961928493719299347265644750769979482344780312851149931960004084109809968075926269198586166990368133161532294473115451216262789415854110830965646462709380244829101689346437579035116727195637385251707591483901376874461447959130636381610191617953003859982634037242869269395462649056227599362962711505164781710546794392173084033990357728544858729929291163067498967480301488516452475957882058230801572867176911162757714336654652058238398463623182512710003953238433459462670879056294161102580659030129619015662365909939257506167948705709371598346336617634545000170060745365875675775810395496064725829828414459202018445240870323441652124450911869548045802766254223694005529110280263227382205982863651051028983674406126919122688393090578759645513224511755601828167240681268847886371031059008818510034835954023681310831981595750171010296880617819795880906623493763084673598988064518951661158087731051893255124867729898707215289464494747733280638471278328764458648509411895490248560954380568158847277831086749987476333250466648570780860401337471240816721403558847691841311507617609701492001190413819939191615218874127797915967552959756360644551404888152314661137669297103869418279156801936032320280408144603758483550770197457766053823962284392482848891943219802995211195901499922562236603511188998419996554084843950064983851252547393365190147057974693225573977395319394633204610311634107133291979229840563304986845078172376780016115937287496068045135081819369171930826769726001528472644654098257517443599941670489272641221437532669972418255873500253340690463068592355287444204848902576629529426251138252169778480042005266574281388147346614682068660743731233070683942799834162986688514376217672253299510096408272155559701541885286576866711897885286488372183320346573349627968838447094415632033828559127835094078417981872069025913679254196087130810791203109233553193601256823509414092452591967943933809760778048241092636100866388876739351740782277133705727700146339297870921963262021127147444540202408100934858918368244716013111550762769528943657750504152834411440180516997250354967354354259158363528071262775137495697324367991800129842828785548725506743035062734382953841275174093625900853075498966368295272588300565065491032204413129441290681571612841015396554395661686791081874574761201052926585698715926924288188703826303876438377015199688283696362718709148476887791860937402584798697147533922368233427826780048117213087919084756497782671748290149767958512069310490947643313012496086274130714175384472364585346063197962007728542432321565040104438350357596733080242925776425629733960832190191171225112481207333804243103684758194861781015853706904567635179481630815153992009912935516111123848299664801008025896952410553799100245647308271465077412134603230796768989788545173912454520946827913096545465971415124498220504597618743011842802754006078805749624583842060394558393664713572440213923227517257910214488956826448579937063442218383675322468979304783851438427001511388723083409278385868148084138093242729605488439305896636842326790560594565470754454338248429163009157930858202177991321443536284556336792329314651644152333311084298108231168170740856783859408700758313538714820192525906207963377582065409589666030953185229670908844929443751969028921474863834788542056472451236714685070272072783035738099238909425373476252970525132957246882151995473546317406239498678122852988997859433128771856576180515119938026006083378496009333791251278930212638543456228842952536015966691551463582279379418260903040921768439985400266296342464253990588558495554782583617884858067843315313457508429877502705945296688678099396049366122563098198769728294964409686414372036561808354233117281081790089660473850095172150826059576084100480030224740788759122127483397530623006043610568881044537756307669738940722087990511191542380946359725248955934816118234340564555638861707059242084635426681057459458430484429064910267714988281177442971842199681229083728144820382727213689279546939360097578046019709977135626138780076566335999463583727074167528396232719989948947821209075355440525832713096726756341774712560232127175110743032116364215706973631574534620229880249646189085192969061890281353033655655348885433160826136997997974454616940943930047220945271878124433648698280411689425329625787289529424106454660015161814148934681834136626200575829704954318780304537777783658057339304600382990560839181714105811245462940525975353065301141426651688279020968185149077049081494809982563752602608191094149180428896394617296868878200625288719573847831478957483517679701716353517344367042712539597937384975270895142602140213705503344237114807209966570814170077023428881994061485733384313831651297196870563297896121560053703970547274754684678428361528562767510146051881569434846907854292472116214921513337019068396147994256537246220194269501876655406266866751248232401041266192561760118760796599385191761252801469363674306723636347604691139872143426817765888746694272854724018599734870074051897783359268338023957902610971726752546942942849990126482563230428851046031258839277181873968170096494751751362271437852536044092916901908655512073797792895927818338316645486452020011107932214662694689719287048126881384006734300499399681939435826522399876622373546599675349167229240671361270940512977210132660261799300164320941629925515952118562888347600825764008143208223316958736496983934268058631252981351002320044170119984420206681522925715624871914923888314734692420628399927656453004221309257401057415723549789534864639855263306800888484888091804217228327981802464806691855792105138708756771272607456519773229844345433686534555901617782528948111716244191892772441364351659606201630458593983847560978396503423954337820030773947673152514097818034170549218693460208300930738513281131913946691235418592194505031879143742793294933264684670568756395735167162575252724019418093465289477401909186749154227068245826652262452438064593446325192196435892285465115442220627741999087654322906370639933197530771761458193487685009142200673889000146102830516770512588749650263543627486235332819760682600906340767996475693333804720150816127466561442417977059723489471857104708105456016855455907776779987530873270475083502823300664304508896929430635317392935546866436297523247447223497026093917103157316258638238444585882782647990489632323364661971061075923050460824031398017812585932086688918732410008151027694936609913447871197612270668248286312673458882700797314275236947352963105866831456300441839220149355626756842234646177286233262009947346931251264646244358904376314786134870870852287876241619792825172794482230186617679838277318253786712850797418588506641224177221069533371454046622133180878178337987849732688641782536352294197035555274456965855446450032260009488829290740699254351737966257969296913269152793233028349612767182992183332172178793845284750163801133357613771319399145066852557408388838245455689482934697150238259699907365165280697390296890013821617165680260562287834529741667852753423632861070856270769305115991820933401184222137978586009919022808148152872745775291791199677147131784974758863865097339873684534786554832378595960059520255063546932738806389824056967276931549155550652188533163135783832638505258410103167936962596004283430500246653420328034578829269631490415283744246465869793044896781725608725119493744284788181363622698456405516007567851087264349683629026206364082587634430812806350144681933208483350198513426246158324690021238136641482903224504098038269196689092641235691923414717914925894875755252515746117444130529019218106260074629734817722453765494136536865439038254926122555828243165611824147238520932430224182975383905921567771879542673650085045960345774761808598394874742000759857564247643250585535688081855090991313365268818093509160673299246425766135581315007865538312566444493780464448701714555244970977138146253228937314647287915441635182579055002851648924940306934152252946001451923699202899764250537311029285639448842033997372949910953829512872504098340227064252006714035591858708270294218163573274025611136077316154995542214081066320884575764029942056212804407359519070831076079886235887046443508991322108718386356252170132884324727725693323145837398858746628079990016853047353389144843564926526666317306717834837441626252626279898032897269984397498807714921518632774265926192925244213808593562650522809676045641773058336303047949166644699069252986257460507901773228176169786998459712691475909785495655331977223442334978244308369440932601946796839930932332636340682695696314844991175200599533184946921059372313362667029872256111121253358147182000473533442442334504346698475778288964712280061845200606328953436310780567537065456556383875578104883444602066452213062158936272868467880469651734576225592381901651098000871542445871322090808438984532760430128270480854345536033390151270047392844493968493683480929482907492649684593321923856519333468615553792826320702931886962793433414480630465454322399555631677672569812501188660644569351439618817420820314353102501806821476015051803283225022046324229546545450255616754199149935237709696756984318363563290919823959824470583987100669022459739197900162245109569543662204698107885378837483163784775537698225130209505431075659820383189570914057365956457016102267837734337732775127896111373174308108155603422092961811417060192244862482831085218771532471785861813611282754055323570526400589424202695076564818134591890889956279263774247361224873639074768781452171471480997989323315720759404549242297791620175990236337936452341049064349847092863767733294792988868935699382452674719585987059632290862594241752095670916790119504168926856176033728952025263883895872823294569999516232717872308258686598625110806318151960164044468535284000142469354145674816866281479942999494561032885207027587118976691779676750534838285887271560737893045413292744219466639843411026439242743081187361393964129938743414457169929231052916447983368494335506331040830944845187469710201243087051261300478775203843642045387692328116301442170309617622247563410065496304788299175148361115560150256242534410780509260313616708897785356698779506654525943084610932287271577182811398072720032935973081801668001305666632538958362629781912052513977736540198701885330854656600359023612603291737284935675207959998369917302468219182604669280572915879294833908661373518849064142581030519668545223149555665947698742785414317217655802972332627930301318997455388496369213175388649025725163961617549313112727689861142742816019690096023912939205009437191418702638523401406246957371839235155730415834822018198002094888736746351843297066778536864195904118137020464518154488057176486171027715578721651511613374682574792053029374970373234621484691486765914718030564360080375073903993084952071713078831975638939768692573126744010150727714967768479071708708007272705221830502539631192471879174127925474782287841795124662836411231029498701697302532754972195043471086918469227952298750120613822875120448584062801050884367878085925055252513624541679733910198448040188428015561571077302123709123780276641227460808552723808396431504165698999402031257764951058665889593062501696442596587371638904041740279840340250450525482199063455433764309488458278538517007320011273213062088999286438133005772278698912683341400552117624978462809005847485498470760077778063772885207293258777933364526184599446122794522243300438689204762685444002512673279120002216472349214494138388602290530548443455123471324083074073051962745581909784211601968485815355254093425140495392478904393662768871412358063085799271451767940917010499037883559333794972856632923539614074288188686991855581895053598257252107601520711491515268277013922443778706973760267964184360347471949531624528047461374815449957566054379598613283960579333414386513608202679577267187044004413445332943332211197247839982251587903357216538048559399911638936001296529903943943264842399574173513188351756620855589829348890610818341485281363304338120250317211232444007213722901122527323127373872256496070856730976623956272125067402456596725414004685608822617205171397298695180679445301337817043331103829679474253290156262194454730347267669944841622969641639479011178456809000539518803174385847544787168845330511338268790700992850860382335210119359699377033767362436368351032032947355594060826457362701463327670947992040812997279814828164784549518691746575695278476683627462721111286448682026344910446860020548572618761052919992608639020542780638658804395799688273036137490235721053152530056597707496094161907144914295756951176031563973222336541755770263736014125614690934672580317480606280926283078884513751685876076799827623363228905123318383277312952698309171670330230711601677580955121924485266404424910695356273338306741950779639706980538108368625388761625284144073823070899161917662605451758950223474068187538228463819183172812737412799691117614401449512689672656587443010082202275038112947462755088765971585915525651642873976621457352419491896704441871623959494542365959149470112009835598277029577767738864123192799657423243692389885667148859487661627837111714230654842178056836136409147019427448849763196716769788734037847252016380140492840296431124104183148739149120
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment