Bonjour,
la matrice est bien diagonalisable, mais ses valeurs propres (et les matrices de passage) sont absolument ignobles.
En tout cas voilà la solution au bout de 5 ans de construction
Cliquez pour afficher
A(n) = 254443931848953320759104895946450334997888813183891110381595317 B(n) = 398641395087980685305796653360643241831027469880439266914724961 C(n) = 121069196913538616901813735996509580678133162269235152215278240 Total : 774154523850472622966715285303603157507049445333565529511598518
Si on remplace le mot "mois" par "jour" (en n'oubliant pas le 29 février qui traîne), la solution est
Cliquez pour afficher A(n) = 8351399277912153655022798436566135795449392512592572673302123082726548379327665786278168695873279114189861436538343506444959907197095208071098971095005099600095806571715232906595879864031328839262451035438135755995588565635190381304450832100913455150424107154699638046243133243832220727928901697178203000764109724789341885875951377604128005431787616080236896635764184085472107326785552955985874302194682621932347769432354619570655430036467991956279894857636067068491572470355785805551226887214977426675272448982167010557130801223577953942968039323845017742218658685082528958023580838396965034082584775406804476710033779365760586486526089557216824612354750539019050788540576502591310997887267391065814301970036553944835358310298224284892991411892036030651078524054379162317493981908076272038481681179518794697351163318585669987470060907385571729887572580102320979642345745186907194254518474614211459150320804719970484370818953470296289329873500039994113039962712988994212970313558989483644237482171829177153776976676404135154663069523053443844451635629100963832501463315582146473122530181362420018922887410647301645767199095922915400683725494903915870282346243641322581365970568542805894819036895338401338229986662306310440511541805977145128891920137903978202512578335718639887849443912635741175830243019604997725087841875454513093302226045838580589894549951155646187896458571322096357673255059556082512543549721234718576841483402018532010825038499757745225425873525017705111635522611623842804085981950000435563431351574201184974605437249219565737162051993992271041229974782852573701603512696585269333513585196335095920714899096972940980068110644625419218536040233746048776872387718136398690857877378591679497372378986217729277290788108624149958827657619876862655087034251085868910422726592502643946065926525379528205184999158598540776437478102544408286875180006873849175741 B(n) = 13084271394846984211920375024544204565791669634563863701044196497254815732998834974916793505506142882708098920763918831350518385634543313797117900865143828172766412915490331680036289535106987791182570887589443539510220225854124906890373294390096148745642662169294534606791874565487387527234932561634812621530251248415799971874332961850143983671695180922328959484997604054531110814790711831146141267876078265262412608212554053303291953095083054312073581212446438204359256082175770729625226650175737988315105678130476486882064695256077483832459033703586880511210776705956960142567756477950646078408951793358077456733086106143653456652737764879020487340333899842624725139967581470742234956392772271843056613147843903137501256030780169249778063912857538108182768106916796080724612739287040939245075960395883625646629269887775345194986016704155688343809013772032285954988353571192052351150151019054625840381096075921014186461698793208075919150233567987404412826615219429901275751585516363002782784347631980987132646121375957788772576568373258500134474598382756723729817822108674100078322606573680526682105691772779400553111897956670449879149924586708812704931132351966508742991188559389461783410801025130418240912869546337512871859874384761157663329858138533572048008720460607305844135032673849586545250569011263322338072206828267360990000397033745717420902305687268466812128024892917459081452918253924201162667232379439225480746872421213420784087464325720715701263561971876718697111933263142920168500330174713908790485698865446754197376409730305366057493636342073430246286071373045490672168010500677275061002333972519123235060929103032253417786547206045173307198208599341266113963471982135667061679045078831095677664092803584509627266068245724613416308771900698380156902013226069527440887491737142470681884183063559562628549474061069021167616448461504655746189937222604544500809 C(n) = 3973752474008116113598634271632523710481851793969010022871926824214725941733570308593212396992394210943361434430136163226725907070660650975881015518908958632989451863566938664256878256687160586365757574564145449708097434583057504867710970058773062227842744868891593461892496676363523854326666093890302245463659115032208352986008560842555464384989000220181633946572808803632208139040565112944907520368494169875418893398920867821499271875656282107943472970662105148983820602441919864480794842956916150011954564917064751286990563015348922984570885937265845194941771376613094191491638706411832477780387261440408602433225612595574224924965281799173124159452632590612261168581963922654032235188485854624721731263186133774756166555548299378960420645745205290972438276928289406701588091762133561888164696821649578101458242270710159082544581851549937167486545400654647030035642155524079799234424152162152250132417945854591710225734535388465146895775609968071485905711620352035333101061804167176604600314936817220853698414256312710695145575834694415827408972105311296873308508770035792550143259156262601927110114730874477820999544792565167984452163775572466974002813577580679058046307138125994826039832335618843746375295457297563248572283050830492348093250060910342138311172781700595984465745766211294584250178945025698561585275431727107390288639664529335779778311765102509037710101107896867159776173329055959272630855933620083037421900171187511068072603551103504933297773187310814714770765441524242252485105491447672235568863637767459526772604615574135423214835740906546382165644637837947954712524358555506022702625130866787806522065889909079852232298671506419945989448685272090756993147528386346209918325626507250987964033124880972999354689339596723240165433096511012373667179972395275440268581024096029873031393152435753141601058367680590024965590180579012034948760944750056530848 Total : 25409423146767253980541807732742864071722913941125446397218246404196090054060071069788174598371816207841321791732398501022204199902299172844097887479057886405851671350772503250889047655825477216810779497591724745213906226072372793062535096549782666123909514192885766114927504485683132109490500352703317867758020088237350210736292900296827453488471797222747490067334596943635426280616829900076923090439255057070179271043829540695446655007207328376296949040744610421834649154973476399657248380347631565002332692029708248726186059495004360759997958964697743448371206767652583292082976022759443590271923830205290535876345498104988268064229136235410436112141282972256037097090121895987578189468525517533592646381066590857092780896626692913631475970494779429806284907899464649743694812957250773171722338397051998445438675477071174265000659463091197241183131752789253964666341471903039344639093645830989549663834826495576381058252282066837355375882677995470011772289552770930821822960879519663031622144740627385140121512308674634622385213731006359806335206117168984435627794194292039101588395911305548628138693914301180019878641845158533264285813857185195549216292173188510382403466266058262504269670256087663325518151665941386560943699241568795140315028337347892388832471578026541716450222352696622305330990975894018624745324135448981473591262744113633790575167403526622037734584572136422598902346642536242947841638034294027095010255994419463862985106376581965859987208684205238523518221316291005225071417616162016589485914077415398698754451595099067217870524076972247669681690793736012328484047555818050417218544299721006962297894089914274250086956522177012471723697518359405647829007228658411962455248083930026163000504914683211903911545693945486615301862617086255185656227449550671791578799353741144500981502741374843975335531587348151969019516744628076068013878174228450207398
Sur 100 ans ?
Cliquez pour afficher
A(n) = 29194815293147307842549591952815550401884879904517722552149475980628930570150140758071015338981815216572040743937233077996633210292400953608609789304447639763705113939677130407698442231280049731513222527208361707870478277520894739556085101274744873720990164037203304934701775968478993766272285388758101848810864756327469572841607465885775654255616318774771937787765205240146047489330162397474863782706642771937746568015013216415781612042786611193236367655297230135513593524753168533635058422600593785657939120403616414476399281585810736134936621297872434906570507483962467521253216019012526786115789942225213406226124076487220835722257684296242998762389638804250477762111834288648382919643691704634191794059248736275466367482688832233229871976182355150447602855541721339442651368143300251694811722822623125274157330771342778215954186375354890308231856202661319267672271073346042588559544725784361060487518854619803476599108829249386047571687532067823435213173644052504130890710833902718038195961528883780207149463975149201404221868749438018598185223690150884293711075962637317665863876974139947856790066578659344062910885512124973709693231144704810850778031280933414342070298049709866248040094556979451899817930698750408168634771225214347540783439724309785412638997790964776322693801531284959831170758163368175511324341711293690789579523566410378226689892455041082022310337044148772078403905040784039392885680564654251600735504309709357225216509363011911482425646990252815435542960767710503384658910813913489086100159770271219809326433674329730252304720671978299557046914210892899560572688955157609673126739509431439424742816314063324168007836103136047731474159727399531946175676808604330366221819337464310511274985084089319282813459999870820496586774797789509687041092148684990326801470319149067128118701551767521502917077744472809697979557194865253039432682193612882494173316762820485389215628759350060895918669630092016462153719146173061811754956349474961011475463382378644938206171025360198566783060897354702657375841357613154863779246940856895480925742402566873359836663847465578872874396825104045202009298092194765586522129256397154099076301440672873588244229121678926598775226253215220017655450135349200068880858356595901989227209957339395027871586753737653936798406943306750755955838880595002284691299077720603568811331997785823830401777215263761186302633775039266670016528827233679970536652555851980316227440205312591638262184060598711234431200157479492502244126351503774408655256758073736713463843699263324498129770245881520655398237446241402498764211859519102444865918635469502698000435750615925061640701287176635953574789205180006433048807023607795946959599800815239807962330262735194687111206254264800931237285978662204619491268076051874357190016943147776419667468807209867563730709615360537235632762687210147849259971017685469083431260788894353417865452121017921891541125802061317758319709091649112020035476408014680980932969920455107883125001881277626509522141815452984288744516844013940927464328375085118700945181545068347459332584402322882553766737296080929159583040087463393123659880498317721841776393434505711584743637701529152038474985939418384456787229145183358623734083270920375030702729502914131888387377885549264658019209328020210929028234468604439508862225422486661946045139424040195808915587265751895433990095688801803127748284502527847238231506763524506149799443133686373364881548106986702334831261220552681371762117571714003133444225518791558538439351450878956443747825878800190177656360657036673813388919610611161591359329189599524999667202000041670421131230727729640424785630420766835055868189523850529271037932672167550036382158410281286850929033541069078742035098595639546620384005698732912238167260086266199123898477088759012942468112039930621722095082735421387893646470988648484584813658016043763656922370696855064361355503864786377266987891046129866645899474389076742505087109690801039834340963713453911112762538377937516807419269986582926301386811266196953633427767051377766117766802985551467074589996183566349591303174248663276021634349971495874730414651215246903814895029025472077295453702389166387108023012405336934413020335692724103459845774331966598792848650914126090982139330451038572994375732953709330996640209080734390613596437893318105010153498619053757486439942266749439864280008075149154527468345556339718084163628740633388952052913636298239772594926714960176968950300505239948783777359585815844518887039511058389476064822012520966982789668722289130335045765215454588611237832617815497514136276156839246143387939101123292887217877664874787860777513567329317253988850687168179367427471399909372749749938425747341713721834300626544283975792786774004015097975608226482406444969965235746380988962477767831154022122175153143553655880935643001512920607437661340000705008537996679025337764657478304027447875170701050190813318830851101004973458404658684804283309400417856862807843166375449812371796389854976048468292928051078850223434296109001044455182037348311986191439878020587188206813350850383591191080646468044485695565817724328305213334663807217380429345600313635262232313466866291384369885843854239463703804300869351203757268440560775574967799924659646609413520183000732606766548618019604137201217755282929351299122387657720649204225430363024999115566317656199924249745140067008504135469776200722603909326320361030934644151191920806766684365567965507016017043426373557973311007395470097518914376583218636810949869529668246181363537965321409321606833045191580076584615224500235733408027381225758222110752343358018350396439333841680704379991746250086360966080642164389840196085695202792797651512862284246555739488008587504457777742413277892964124442389735565371662771422408895035488883428574947175181552316424080215174263409180696510613325772943271705813943572709369049906198321176321581851756387198436527707476994865250387262848276182752394493926702826467565756455806275966191033875062521958780369262141952930243045816130068875081569150383837806632196002413060730337739193209172942807441272496771304214605668793094655300183100794417722815818605219432713154278770905089285490992753994421349695963899913157083582703756477176210663760123241224810448723109925497734115951262922444665080674710273771395456159082537756413828706422770687387117584477172340083511503507146349332543410984890102954880237674121429386611535453556537633968595764197898325429601721424814490913570121770374703889514407147217213362127738390080866179973810164729180443823700047959522426566554209375822904731684142734616211396154063012354138029862735270496433184740680607667377429500998908468151727564599510614134272200651056938524661777698281232098923686774754905972629675537756544879691892415287139004404506011781301848186550809728892804628905516220485393149991886776779406337860517044133997141082879780455721323012238043160655758376009303176620413286093092298993450987674978434105838842772117346188811862200073207560300528122382757862283000700248297146516178469869760039695349906901211964726711213206858424308202540183664219908927749613029040518780867769465538460091814001409649226891846689664954274205834818242112194025831425774545691942726082010183818906827709519009522224821276015906177427166735026806682419089186844669864149857286619725340252506501155976100132798514772134452744605104631075259365461326694714237531424810670510686401605027265819691476905801792703181861682694304295854181252971424667998181719957876048570232541725121932540134382076478683409771501275494862204908712013060571485696398473989530671748525157328455634396990106045464919606998114474546436814192066653710894848835174744227175376901949624667741361442380510980997851963438223436233766826105240338673645678306763689496444774286056932314240552017099373539052481372371624702656798277858825212155825308679216479856665840318423947096202637147851846458742251026209395338271450672133544547151401541802318811072781852028633048347636837121623235536535157195346969558993954306671316679454523825084158264675050006676004199917272572459842724774185640546053143723156191372765080184428307873120609624316208052543627551129278599948955585407918789608092805038415990695891612568120504214939710305546801729962614979218072160788970153806795717614695185302121428716380313616825040646516296529282745235532569087211702213350374980231528916598927451486985274214282661724530002008451375492982978074578301362783820329064540074333997217514870616075856628209742607168913223009947901213475082243422352470226587833862135174288997959835940661918719897668306174385587715699777788922353823256443383574084993426375248165800122730820138686009457728552013674768240402299530868364031279345636906829804292581905647370405097723188313725740497015913240861351158444408255563879389582145687324937467751692402513322217015594963869374851183985314625099852758115627292266812887399031182287996820950297399600557956521853439044266584393411511862555132671865848954216751282271241481225103197089944864974409219865817919106289168508218830301806161662195861232720120558265758874164710638529136887595001209332034230558679469710736189638343119731408035240076525120008194135094860492636655452116510575568539283566415873076607858813495727934339594096066749186833313175810047904678653364560627766813159846596303480335721578478291057232407617047255710885687170303134407759460486566251166778457764157989585396195156133548823450770748814823470598754287213818095968850324696171002368889426798595923677998269992192861505552687825625691432454849960077255475822692444272513526270903906456844295708940612908137096432860908155488825287995166847709244344048657402216545288890454985713893323005127484098822214832934535508500460162913383999725670953983859057696189900535797265510779956042027552414191298058869159548105121641336334686721269782417069951075349776801587501573935346453140201032142769531380540048083032116615317355194484323127103396185867428151716859929448498399025194808139560935624830076365237701955462472595107504011682658040705289335679400466866489173934040233800617572332212279560495271484435692291912308792228186859286585111493331150650467730223610717709757862657284878812640194088954683118567651044730187730795518670106235522364010457316312680438014973020557865044752349014119829749057126115449047120970041646751409574899012746041251348166451550859030451584997233837904095378149522254548876831577692920224654687351177128577322639249771646768386701187779035067158903450020148652164934322828081898833243759610564621859280606998795502422442299478497991498343444498466564124522254247468887634203952203260040926324220921708079021514304977887215486114511491267882150942649565165512823633952269220913235369076161845665476830341751804906863585336718588391756352278436831059309524622365201613883122653955963903619570459305459614887322775573496225983515098598104003566490487482468373012571447800958442350906149620584470208217728880962877563512713641193359884337770326837329888078134385108304281075866736787928698540156091541280825675922663464394264203128171782503074203279363126857240141748213027260433823893724216396229475444795252682835931638328310933478187970838090363574026320746805965622226628277582103655773090329363326324733707470595372536554119308201555010964365536842085246574370060043343891897017708729152196373701550200818183611649344394109377386856797696316211361713439618688676021657810988250039706695014498077857465670953856420724557397624866884919623340542425887816761324697598139973261406049499883484000103581243807372179758230018891516331989922255694385297003961535002679306266739831781603777844434247401905223057126696285869619397043388915501476444925504771974787634154110404118961484320071790271806597492206501402769510237905371926475002479736832120270498479914384728288022050551561071671519775008160867864696309553496577406453194174269646812604016579563189549674552805819029845492357525647690975765190725678363722461559824726330617746048013373575759149651535890303752866748788984996563250308400318899842130525793054540266154146527388736810324638964994817952182008699138859061883432146483366849124481116123784910635937144150216573352881545111934961845639108358638843014140579840467741506204882087701409762101816778057335443502517768730532004004367297831160358260203781783181153764969715769117979385127442568703699146488752477876524117519207750721975861958095666556346688570365657624319943235603533058145746067147470607458362161056919134594612968502937387048415931205648696652696495266268328316892448492381595111687677674860214445126011002041577903620811389665456263740447547317084905816895465076412190665406567252398644466455607452393828582063310968700527632234738893575790251361508377509733771880379417397234992386120544287942900907166645067083975222963025602936106804893267246686574477813758669936990903740434383696264387189678017678688033086359632430945133160743701856994412519809183634464471460056943376252156512078394553070607730688371086418769844942778400312950181251673618334311404134549063644056790080283366489788823193254362155852426567592347967247499191388841707203494929718758190532330714604715954310803637442415180752261042722085195481311042720198097765412659199273139731361762515399634676277566326704505874934084932626549770438774221805013467939641686904838269230086545029794168230161548887088096654370714955280088141331507653527038769437028611013679387119167334479949105860468213145673692352308500946489032922545779474923967213075600969443599188627998220313122585918141093222468292897579293679148613926202521078264812856825054755835439646131290506080660171457291800103385886582307372406937402945359337984934113972906345740431374191880458770315283794712839706721458741376195914977103680161512977965579548013154210630828842405807896652337311865703500553726456354457427460616931127240700788401270427166379738327757710653764769138609735083497437388929778619617760916828031386035780766456030075100607812392695425004784487860903130209577023883196729886815592334901016872094637009099778754423620183394403304933194803071194304648795995841010494595078053598786034498629274454883993616514847652943355936896224855687976297070966845623043547828629044303644631794421340984368622314881852650703440189494624565506117021683116351443299325069221738618138173345717712101829229533153971833478531797388740100358456356085424658265009039880067979262907153059533782178716916614460995064871903658788116746306616129084095730478810265666254638807799948476597285696284852157708187281387171868970519125286345104329215821839681128210952396980084867121902441739689301768163048632513687285630558526227240459900867495510222581916850002993643082673460143485131823175778816487803837941603951580986431347408437312220293482157701190692641877406528983372296864136982225647222880399715383710367600782947294185708285373148033739484316133823623491358863594571597871128966671409395723121523268498568168564424453676515778354171024166266193011065332375702762690380033626243328339699654782618396175989892463501342778565605379329425929753562094770323392454072809276564571609462809323611831174304524106476909455668194503247731659034640375623207355203346918790477683606337124903657333202583868154430027645428017278725882969853827059241156204872593374947097228930074621605734963337908701317397150772702051083071747362004505072644067412656278341870419762229722607188203967412346501926092190181297679062874180882319670664171556593257050794272374336707029796580070456383506758391590438109844259283908267492229215440847034230091981231452633942399674788198482575376382215773309587204550967855939113621197155675813778087166102740990401873248981844735129258843421868166998215632747051453175059874823552293310651269654783566450654275233538607849948191081869490780947537954991269275307619865171182760477536610056910764799757505715057981076175845749078861756787109599554062580129604128874477386613755158045533571616791771915965821197158976602009952626325161069282354735459822607404584740027555061490437787033059467138308037982657967227743741206561400898515618873409516382354699889990868025959181354711313059798818266027036355216626733805177967819866107164028897154862882416555402943064046972979879779089899395042052607220443033106299026599856750202518963257172174821173998815169504179020562144458446691411088655975116615577680208084285841121599455826426620895065870944183796673325432074969258292186143054299384195882099909202392594526419180825108414693755154406328046208733036703140924615575590354547175849124836007391255441193513000041165381967680408343500322103747098289279618644984751423041442073942427807611861829764250416492002544117318140779806587718707982448329108529735491402160871848275500758615460521483177369176909720845150114816087237983001253049218844072332590977549893182388767708695399893081021566292227169854210396590686560642921811668451627858418358077483474965298559771875065981082994461301811663103851896301425882602424038598079101144858761597928464564964344487802940244466428580280732685125273631980155696087300033023190299518308185644991549734771398491057616391178868289697502732852584329718811452493649762230390777715608183626851004139945281681059672340164030780354930138526988303111377203563831321913403558822948839245771064644711315326735827739039983182088848710715401891814524468230518028643544520779600778237888769560281544111920321382989391837237583612607205822854221905317787911322041431519598319022192881446660720885762854751337626070879547921792636656212725584466641851196906791051659913659773412774292888050684621508868592101441095977831466110047077846022183037227957970064921733968251540692038135888802566229117030625599921583542394629973761110520025855755147117183891386183994494666713527483984657198026308626399890026178736334021108095623380529756128925843859909869181624956408702757610713259007411864811396551700527128465184262739060158060361224906665004154247917349190044413920782319069632304777395750339899805265493968389422115051721790330588717743643350303338989684025511119629749924970754566758006954560298368744178720376373504460853480406418637130118049761197483002149334392189269109630023649252305769717076170049581918354124840882058035710936433718958248655318622059741650337750567102432923983516004440948593293462096057000859295682114556920186450307108955825264342766985910390031020385422201905051016282004384152186632181407414496467820355532461172292717569498857554671809632464674509395924732514452577558818591285129501964475082219924874204376592578414582288797176988160584825275462001505523019058436053617342551657784584261975067514224301505239105292527878280445760026871176250589319432962521548575988575009162613434546540038482667320585336222988204237685728284669594732124378674130745074659422695432179669983966663847108589008722273596164868633534410936613879194157757310921940743353005575898548961080245881071671811516659691976799780386075138290937710735056892216723746661985970128948721057762191805661840897627360793020479103329444985848470219479629773137807188188412266655825364715154060565041077935035996429262373410226786679956625405531488534047761257801791143785757891357035945802993224998765176058718944139438675506968543577807773550398733791754416038125882278631977325746496925305756270247593805792311755448805069553223264164752126533144384809206356897816286764869822537516558307866716621853099888465827176905458368141199034216901671491776846380598609486330229789811862721194889592844674682434069068227053125020074322811368668136353192770460551425587384727251013041243889694309055341940496463184299857804291513155760641220448729331414876769759324349403112885424860400937013108018883927487711351103295498656556300076620784516532478700356885264899185768533751452707856624722605288490260159074845354328954774539487595511427564503627073911167695413579479628515568191570516802439789675628011299062291223805284455574685646878360577401078009999578843859968085709794897605260030738513485778053389158026911123158062989547281062098370738865357841740409847076420577064242305003920383012346316975211755792049362563773773660370165811130566089533738248113415213883952229332495171715446669015925528526390322146482480387007143656027035563732631317165244367824928774607468722203105800638646506238145776715812862161380317222290628799535023467603262011025253529810102825424908657672258341156867639493175785287710261069274488160955395198835789816887192531049860759820626113279906348195187991091100598733205419568262397095057703210359220025628385022550145309713801910754332138405810437078355368851057521096800958412462368991120200254146130226746545663557301863216604486976175482340474583211580566131390560637900782711509757008123513623368586749620754804741510431523078366473650448607149496310204860482140689656319799362753082109160532012290003702796804231857943711075383858590786304659126229894612344302144859943165080959454854440297816434686855934343577398776669875494053520935340458037913629395222155120643232840923354638833222769466201143026150996544769078132888034105569279253020501898993987638541295734374896699120095461197791471988030270831806790989688868411560254986586823442653676731235718415732315684208658929870835764278639034694851330791095754797651848528071474961997171972499094021106324953847870463175609236846462321281119868560474327384501890906979882623850732542683598661130900940335669050122435879508144656223729177794330364048720633860523587702249202380585198155066720890041480083294934274852353463000086606554330968175837535089275132437250812597983156957473268143756061481965548346836247512677092265647999552620253348347722053060227659703265231330580842693966482132268851786380962338936237394069339377583735675595877198284401066553582275158609938960594670853663465254933779575887872043339568146457817082640359324329659199390076213957503903588672231395539346105298778426015000415613889437482102949080748953401669895504775474992840251218083241091846813886093816568177000419721628108873711648709409447960053366240918156672530377316684807498443229112112856990169833052261217424676571193269794208356953222772710438241542372482663867789388601803775280868737476263357565176282968917169784070715441303278546664184289812656872809807913813220639944611300127690103162660958075641943546486758951531631341418900141586466084847493671038824199330071096061574320966645214287843845713054696095755047917231860659936391506720485608577549303893937807714657091325580715049729558185588934910273207065803721976482871811951479959661454559624461386682221372082999141441692249901008406621767865771685098057129735977480672478564719749630958659847849700095028686413861482487021270858615265417169026162411871581896751310078280128845350091292877774411466519113409357155682967563679272718302152515429243977253740700709950840563173285954874520114917548311060781560302824480538504658368252749391311495772260960686370481851261001013843737480000860060295238679335109886592042868449636342031698967747390370552967972322261770902954039334411722537031515339150899143557897950989181862994898330648882519101146039645747404648706959435265870251510354145780921670527792907877824041140374608309695519485153980908466553441766954049702060751220744921736937949243110740644416343285905466624601907454139071241761384433759816415866443214456055719745484768925167493517317893563930323961551908527766954208104529423853312812751433239195021590234179245449996098611818139691316461347978557333525366814921593757137536112007115029062879917388083247012565238905367206312391781723985587858711491645349498516673323844829089654802870405624299217809605365001237907381340271172147004131318824189620667582991356926571509342476845785842451418090459328059760321998017431282294659775004417252381236039936202384854554650250248634116323097374434228789105596719546768740573721975277672548582213642524058562341038740508749403425982908641863965085893853447329304423815688853605864617818201436504352609739340003328231447342595892071580058027836547681480851852229749480286799119603060686893070620193813518156749676124287170748923036145036436926813439516837527818838999646629044519747001556943177811584906917042197293531539917263232232965208726896800455964533184846563947583181585731598004859507168234913009974027753968292902361128995332509368321282548294039469497053557673708586368696155891449105981557132872962189671402708020802828024324380050097691259504610241458713216369825452653469477061300313757479584243891563531731391438159640115369748923121083246470355762908159660750631831073049721272094808560211988577894388797278043640842434737110270068521899842260796004398761878003246605049309937904267929034321846108465266227021145896855993979193966091546226321354470189271661612285818097007365747872350152480983260949515633039804546262572985872545145950525773432936575151275809477951573831069976716161215149236163525849756379503971947480358234333226327416235406355294613127918972671223804720939794283444833094393213416820749732874059900360422377567230519811453400962802521112968065824662157814479350838632423912387439979908442137453247183354180075728250468093605390135374034821828931375823941582455226527824186851257927116088084905919312020349319112489059300145748780528615938924082900995623996225124113225076391050900078458229924168018883869893183318041370379812721770358757975972837356244032757115937365218299915734152539455008496222116183355575360494907646420731653877647977561023748156256058325717156297292941318467451377667428426505643410768287398835346134788982417885936210369017158687852215371386069148105684997862770676120261544634707734763554634761922454320463986174987635140094500651431557129887166495224933938726195991387145071322038242847282122591849902395115713228817098886543662598522737858970522959318477027779905228774379873444821231718235909454076327793034767794556883102129284275931134832722608935487131555483607052855895154410543483598860257695670393482028215015673839732287994324810504327544821274842007948649430197843456590558056866194019134018094614884377275804892717829251075068181650503143410089178927825600742135367503418145187182425742335315213190841042071563165299783046078186853472849638008599288394436785856647269950804926710608495648131519810228105911366252995786526960528085606973018871583995160040272032406858271796627679052839720578110471226229567531554973723404246385903456446451628011915229485055810145745282256979917215189201004220305976866347745185835695672680417226679197649765729580149444980157658309718095155386639845448866066613609776365428138033049138664454351444825872047892784042626266126428214068487132462300935616126650897709103621872519565091934249435776890878583424616288903485136094677961317826918420250383388124536016826543546557849441278432533359403477565365906148397987372651941200884013424975975570110950194131829257848673573308870288433561679274998456845078283998711936065341397292157584418245474640251153728765887938854378316387736546114519992504748598116055211453830976751198155007389729865978943680037062577780803013223649162003251641425769015554131848260466278220767022241751670411079429091939608539433535882939070406716808786920905082958145640209888120322501099974871398808845722007388075662219426072650498322776661062492558083562684194958706367680412897432249269781535569646016457622307838523804847049124016244697963725817199706844067084665459585405919292003614504250622388430800754288083624313380315248163552183844634643016772364849390451413060413225480073179673910096827431109497999371399238494607533549355334195511727566864847745285066568352765140964106617996159883607040948470489294883943302597180966369730427911524004258871699069531765716591293140080940103153420732716518991257707247547051374670236884289613652546558696551044025311390741305441934353338140917401226749423451686987169138772687849594745857675352583836641255757884943415976698194606198279734674218354897756703040943127328353965594010194256359892395495826156896252656320192748134876678642460473907895878525945059742576968892281117195557330685424928500279979774454207098550501174293423650749686931426626813667319393825617070838323097922117861262230716650635330048049292840140567391148875388491589144330597550821570310866554275235289673224380202451731818267937167507927354719290583990474970567277241977894121785026605938864833437455386530332771438181001630145462863107130906228838960506967577020774920231614983637986612631121832118980866804103327974596413672309483672948394521214821521178764979869060116828516351363042662878215270893690380982699512908811601742231076484708390501254971460798813367769144588647308200151850940581598494439010281128629157710541540113203284460104814911840689393564333791493572406170828987124204651742887364762736197362388970758848037886793688535588334202499037407589591204449477019023239697505353215112586878868428857222843420327968192251928449575075181086956658967646260249500030840132739788943690824011360519795662302987255737635049306859299713223410318085855588780613892341775550232676520109750062828971345704609803110426739913636322230735587422048957181407976511608999694273380925783916905589846752656238093136301116483617704614432905052451342293519247239467335810813034636728760936700669702508771607671360939195592868566500940560023696615230198865915981376204580074691752160759583326168311216700249911982374580660927983531051786722080311614262706294491162553038203822045669030989183553753508396645901475011704582969908994664830985408788415344937410100034476462013810594431475901215818887440122834855593072430158175148690739669154211182406551335868421072185536339539023639561342597673361446050867081624749197697575179120204400282640304784917286638802136088436636252995554989672522898804978457605878000735828697299140522464364166303425473607360579877648315663603164070990032685033411920404753415112189522034733168792238335058181227582354972638400139190638424638817169538622344031280757441183755864904645455291522008709500306220633359777883952366556215532020842750476875968460386682433372487973307033489134767211622937598877833606483563419476791089709742201075282204636839748617739514196310366027313057388184806712617899227168313534902554983515271694917298151112083174965765603438591082663372002334187203794203624646572216290324304890015769282789052669476213289257489622384261205726616653801962773020382022397542685091105844107656631387058674350782717724961463454248895487216781897706123670519039484181677832236205172170638018036849629998349775356852229747772666417725081417573665504636152442744761994363272071290642225580536156013465391145113824342524912781368210124359331485906148276970556240364467678470946868259193619660675078473758085302423936214091322065127158797303513293832940780096012804148758049007598446004866296611892430859445829218563938635221565691857973439859496066039015469150409166151325130976378453260010083640212921800286336014921142147143189413492788455866509172950208675584412002629581227505830233339855171858231230444448634352256784153640562873099338198325732847546633424914743630878834184578546309008087593418575748081070590478977221200569311283539840626402119043909749704596198345975477905958503034588421107494064765856999391630320125948531476198999480662430479545250712927570829411384867159403853406582854172129856566741794212110983462772441153409201080767069787840442181693512567458250823057652140772209187680175683138613117013177220898279096731425628524953727305947145541965606372945481600457483086806831572274535830761406159692222253484360120336763577984338871220265206585297668518097164974883234689787949294984399004327514589859684312267491898487697612944277057578945465466685928662818368168144331915717443066376705037559852014607051578024245616811797636987284988229513235938382154328767946782007740174727692094345387003103865805229818523736740060176159798759415953748060578925870712195201243204129690676811931568294955688211702753923211873137795560504420816878760363940528162209416715142880950161876184777908796156628502392007694071924895102547315341920463944330285377907490081128547117807878256068543482091903777468458893931325886257565874242966052039619842129647154288887601542561846367565036699496802942905492082395109217784679035765600687006565272825483279600182978856449978358763768211925184756794751973228937667901007276830828117350317862510147602024718845639335039391507602386738753795382706741730033552442329648818629454951136631052852251733544931075180249519805406336622033842527316545827684145625898800927374339203388078964267271533562377841182748304444881926026008172916613565467985577572400554165718091502258900611205908009098801028093281785114443785271860270281841576624393654628076577912330772168363385301221849151975566247066325609571018092796295488406798687021234598641305635234480307175156790058147668280956667382272010296911661306520896337463918622304694910684510028092143587406106217263317192088133686125588749932392710694039193987029686763459639841746486740233608884611876858255201179489773606857960368979187974583554164102071460150496075326160984838362803988005972464465713839265940307192700825492341675062184224063031139984711622059144169929190064532000781936421453146219117430025322103388269112954069657273407671100403854355667073535100931834378491272617781460064682979945236696676389347572915519157982525619877256029681933315499677991799906773698010513788896414014224863221932575552841000614189322015363233325563157447991666336532074979725066972226943876744556491150880279247575142146784040289450593180265812638997262728186686170740779855695685078445510654405695591831953287742934737029915320513968698000296843164099537482044967293478426040338753427302341207187883467616298832233996782936394073757553565870500312546389303753166032382865809024998915652951902698427988740619214354183732040468310809285259631216717480054777322935240911495785101285195239133332466550659807674527161503319179913372397997973964510667046912996704940946216851875582763729640733535938324450968791064628863872789189153815888853169577380083123456447143291540577749052590437409062848019436472614561488685329484911581158615379236059404042537200558797344879683673992906460683305609642709070305446442482259241992701687263053113131082602655167274598336909349479866921520128642017799491952679017626930270129052486891791276010631823283359330707664549805059596751286769202688760961465253024693402567793495180502603283080613365952335844726586162916008522652071344737147943732034965285557998088748082650448466957401091290645513528729128351728024474561967560091176356093996818386517100513828631835434944491348407449344100921253631346425315665740171889535244346805739510748103702148792716179788407455508160772550236760495904698641016740274658879829026260092240799192937833740912010362705152207805895599694867408026292628835104707010204147822558151420764258504065268723709922423010173098549478427754749590371734799772393650448127374707238326730194223859053854019452477011821432823078825104255928713759530138035294937495875724783366293476501366993274724997497828025269554059645624065539536451492200963704115455178141339208800429875748107563647677399404727806811558742147568351365918028837733675306715619824769130325019626970169683721382273310746612231279304289539123252156110205815503710774551636574599556348069756321032372509760051720203673701199258019935177350499683771600385549437064434972365103564655217500497999585864746114870603754559632255321073087107314666697565174513080160069352831470208404793973295410554793571709091370291668537283011700659336626891073711268049800328480704616876892850562994019232361620775206244573651817341573176218114874612913731856022303101226531103775254266449389613410960833349719367443024809974507818739194280697887905372649776771203287156257446001809827960425605109986372330962216157944099523174596956772975126057348488184139789032659570261458726640441798382442864380710178308939054085000294887128596831104171570539332068375956274831111955231388166736096888085944859741654347747876429797388980781668447260448942095058630520726032670804626120646764250986807670247764177800557486202976703184090712934941778987593770364684122255786097732439247945763402064436361786332798306257255868414145839321898433839828396935724556775763071461378908185819127607663288798117191027152471512295745165716427682533887878515530094420723009813441191912834834616689591534659831999383087581930221108481512731284399777987199151659207571698411574216705031265234318918724868299029545620213258885407787936134344683678475556889178184139734998085786999742831793275527436176272740991110965158228600591033144216263793181533316752162205759439614372450289128689623898057873981441799880340541122389273096626530593297197977626955830684468326477287038573531741002125020107663609390805234794206893833709161807420212187140588293479813010099907565781159999562519979024816143912844155877725647912455820472196494848690750725512087279229728609190712303038909248015594747210626304369523448420629692010669342845475947750473373998388106353298359775968146344243629464353185974729701970746625264106737137965860922122017895266596682457073954372574683678423499292851764718376185756120259999636012512486233133590209366753520946306534649050151786347422866219959356689566637926785013840282678221806067887223835435027158658537685841457310592708228119197829250014056621372669342374961164372584354391993710329195086245996285882772163777813641744392774807587838329148830008038581407433099399104302067594528074601843567071190121558958168850794972250424367680684623405134127753903654920143373319764908561839284936518369684450537455531870148517869892450655172876609012249276063381943858313317336041420878814975118102405 B(n) = 45739986067755900013258981089017408562953234384066880182108534900999768057493042253074436284331063944661548460948750807001818136030799076522029270560453720520870058746302037400730186763941187461939536349000411702692041606883753558783271929977114650897913919492495136957453761061756307428853271073286141129971546138845478144361073115117955044900507048807781091302283679843008603173484990810306320983415642358492358760783229907399443299468014876579624680125683700546602220730348706703712343629837512594714562644401621207252247501398952347321335502183556168534165879174290116257635617023461066167469013921299876972038552122731201623833269912238834915509390957414250797471130728377115402451034195667987190999702710055561393326866846061637188596491968436420107217287930490733586899829927544456009005314012856623677291654858807953346796063873048948744783410010267048876536528556383950771870997841313847366249276117638219868863447486551994855212223752590681381739675625038165752996909102868423229128815908777429292997613845106704109277161238079952037298103771891790409428349971771266756999310035900533577901014739404006414640241630071152029886281426439787386085317717716575559247143915864032758529964805324300007822729592442876812380248996374060446273583784068465776357212187701369649425740117088884728856897851604550659000108825216558478094280712588231054577803363161604320837064762458862190585601481844510967743407248734442734139858636249439788120796970621660555067090604100963801214664321510375083640369094203474734741595550352824794258329088321688543307842717107963034768587830525798172590601512279823466529586517349867763244187105837046440786338501151989912794585316266788509375988082247446323243150637912335977076642459877315726016667749211195911500530234622434927392749154271152446892928225070410852136678302232533688127870405313534979752404934180485661785148713373169280495921108208730627011427378886772905902317690903302459612557670667001077043631745934222328795095954796535377995677770395802551212085516073621227856014495370005869935526025084005072852339911707742602147724901949009235440161488521932315110254889851823718733860375144384376488826690672544325540188324889697552389190987705453515555691917074885589182884336084093819818620015801254909048241176936385342820548012639550427307950310632677313987759295737158920856779143525215541412243741888955377807139518567255537387623315508596937278398070145998141376046624295436530949487206254624923349116228666297623444344016338847507064229416287192410662547155298289202857219809548287674998700462642901300027316582904112336358735833863426217524865364326007386475382870115237545221608087138993028503559850252150057211516103773353181719030579009475280988757871086639936930722360331691989543337977485819067872408435919727638616573968542421017581976790598379360154207373356810890932548725138063847544191096209675963667401868326726420089878345484040226599705970526845492134256251938027026170310780555702433469679420753380643718588268923162750411296925371140496871017374347801711535581158788232551001296851942583452970668656080486032549701771594034348398120869615904439249329330558702337118588067291347643495402467559592811173343282483504121256563714952057722386876654277550340584276331336333145885086907032105250126811642942162682828218482007181872503666497835444131816080884031315913460829796799675120191457779997189880078792857198039670121713704426412988231027015333440344665398603080355265262739793966017228725310213111924814524527199513163330876371297668022439223021477277358793062131771626635091185800240211982386720480112869014573610300056134544700255747382636610633346792058471331947752961391321892048782557501906773508602484755877222702693660087946437221391630653107911571282514241132096803914697097434477276929335455032293418277525851289633688942506771119481403246040524905142412392792054617592163227895938245151575751479501228080309427341836026272990352749236335734255764091649946930827024555322647422586819545122196965545667843978224292507574026782332193598660815810030494485291610098686654013749344439710102221924572925454425348793158724361338687850495003177029996334185618581415203291563737029937675716775832997339001376693338249608412216870042191062059316412162486490174350231768328096183510101736713388284719327032218170910318890621183109793128376965184402452463209241151839498098817085946045085235885721797269342623708705759253422180792998856038568448369902121132765548706789198461992724244263675434068376147733951588988014296263892691585345668917812694488660734439685348250517329044420996433920867598585929182893250093914894901493754953404856192999039444159531832146983489899996858556721090833833717439618931932930912366971060288254361798170960765688218914751559170679923860771723725470574627079542171541936194058091558529376292329430324666914288468184205818485475332297692780011089966773626786557301184213958602588406803825919682607275667773635243666429502095035070086532288746329828052328114944954768597067613572461133262475064231701283208102749546292183340914527281856696271852548107638400742478394720532585002772783706180479379246627361687518234095354797646358700614829455355767827995260480301492527560772742819785093134165819326348820162453033059777569540558816376792518289538216417724353745515059158285178921275618817436180552737849459743982750072395629196553815534095676259021905953581983811883745429500581105772801532391824992906761902289952758292745374736465824423505795520701482453307341551969811403879555448408484458583049053916298880159243607851849531039014412912153878322236801820546635044573872371257427626094580416132555673087777717744448306737232184425398673717471475133436211458924650346487902823912244794822247636574637586065205351326004939782164015666988374907558690571120880376670664095445063294496589724257400325741468754364318934303637471449879845945022942362045159817730867757563819986922332929695513286738539636441421043040242888564977094980628515821341455209667151547828626475024152729008633577102242078574505252863049861547223369731745985533357432576490898557044427123014565743288545413875694692522400134135828990149047860366338928133722217999243902054624687391637484736187485610441727315664201401860276971647542139808607646503307051096242571474967436526570690911351314615517172989796101889580292421780180232897430312949831158169966214610075978962673644930947905273478070638124777356665528405351977795705730087748042322882879234487914497695168892369187681140865104696430919687936466275745638536412046219224619666720033251473828236238006937782087462014240481681193862881649403958615734210422864956235617706835160970595246080302089070550503035545027804745964500510027857820517779424284148695173314643503734510161737342039613400072601529164944265751897922405677604683543569706405524118874688079777403067367798693845864559364602698918125715654395690112439872480555646838537162860088743235739740699588323122466965738707701185293097287758046569115526169438053463233681212593758784403691180891525756795537825427763108157988095180116317141837692585359422667164577664125067476293769191893274165624835801014289157387812352044786239571590033452952726475580798857889857213963861155259759081387228183008494771432895304210702409158014483420654115685586887744827842844672646367980537459471896502760878134435525240507708343801752196227211006839657943216487890325150130563640827781118737554324205143675347811350605986827892243139221002003155760849425079408615037275587811104313126440943710637583030415968857883132350914856865693175743735729920373317474843401734016902132173784723640824587434612077152623111257386609994362592948843537133663021546794520003534759748822173518514054814427457207640460313977173026497419045487613190847265885317084217009493011688847062262080029175904328980356538899574255314710709219472847430544445778902438796206139937977405157868467880384050062138703710698933835768009864790934066695489896454668005776601165974860053644817866355554855096317767171195900600446579507675645089226585332136700722302600046659810801770040865926151866084044125000132159712895936942199795494915175568909813477329684696546617203125387711078512304537495798182197263384083015943479685199771354496143589500459319798842037057324119090652009385487291079550661911576960641426960778269954026775747878854565507916584509067788015049684351669999060475909017926345703455109251517667320406275679342235717100023839998983463699966910609682829648616736201451397697736249747063176977598027492095287393975189919783882748486600749441326809830553496673105525907646643200732679791895520674731539522566061925541356426937361841542633449130421425466505415958874102423355976255032646814862770930364602602612271190902168988699011508868658853492967876653466165936611854589913312243965499365872461031790732214028207789612872879809168770781326403203486409496131772651681295733866479922104003658580349580123632704726099424021504368514376334726088354406564703480794724323735057677601345354626504269588815762088647880989766717576635902608417322421992384748910644608109269356130499752875843813075027512855795799152084900975387436985372193694936171661293373384109207988574252105577902508560048078096568860704834944752714050546074246599058399711466510874947603951800985479114600741410438035600178082231063925655604504452972431090817698024752668311976792573034767968729407588660376305365641778586705719962780798446020362152813191893551141688374284283872937812924100442444376045815094137638219028124770705551140902379442603469738068395451985450068726444973349133699170370023777120226958491597374743695352687623839698067963844886257693429626111696538331128863855935016705960822295625797875390313219243905481956800736472354807355588225674004574248625594898267947168007019920375570156230460178298721167613651354253021856330987069361288471245483809187938772553251753654720571036020195385752152777697329916328504851164565878543868152622433614530370762818718433943428355508644350093584463085051171981168956432304262364808163890729396775685023225912364170362869739508191050932688591939316949215396950802930736727707657463089052505342061620109299098284287201185624055066310829402583071372618960874683077589603168476340931887932210840536950993431256150836996197721677177313275606199487374002055520704405919395366137438798296936599783985873989090644753455421893632126310218266055985481207042250305302533504376608784960268382921066516837958004134285710480106784416729340750740501607069413886932495539388470129452260779059451340348628339347411884119299701581214578970032228209249784504276209636594264201449826835630043969831137066474074396206649933015150267709275748589365253368572842862310993604546085333777737333235576558105884423111554944072599610499057077447376082984086942702176281690328231022866991731335192856009703226505574877951908290006269562844238621222809765204403523363587427783753667174465717681133612051858305813048895439664989889710607619925131387947667603365670985156944901563494985993840872363034382050906754349096970615206248925342535384185247099107400330226892460451584477131709044142372268428774792915536443302370128624327970826767992769238092256595582456160066304386544557458669534721260599061792996642762379000126282380905993502504371813802868873483693434424641588047925649348037927517800720661048216943621337412077024494804426236460809410554562269204205923715514791391270471341901173591641249813864017871728371397974026570417564380374242137026930529767877303613300442476302177303488248913613590502118324905200780753500385238547762691778099795707193776634594302068746546479582394684969057390948879012940476617234327237058159750779052423123614867382837477736598082813045948656073875587012790198284425225625358866003056844859145625187047834160509785124580879263799877813276578073311615040497031531039754969186080550590475628801440277759331911725580624974575972891091359657706509788446115674862300715979211656201501499941327319614367427420531978129871798262417530336581897429452670327713920483624715399168564055254683686822990749006592433811757641935165059338130240985225126390839111996742573250870990946547606612597436243477646327697192813081797820678100046036812855755878827384122546929442848178750956778816194619951251670035492603604806664423488890865188354717334348100282886320076180351496853827444560298868267131081556862256664620669459394931653723575464260524356827939960276644441269801806437349495440236464203574520857925832457835474921909102892433575848295614128822840741854893638920739033896379940096394161451957202089689917685245726335002129638859655217844264315704072373614663461838160369109340183002793804220876080322593134108244857593396964246773085755439938610934521454261653489536731524378477763504809187291470467509924213829445313399464961429358272443416026945505422547275854047838707556289866396294111272573765806839647423966684309456884922670027796593248355713455326700574605660316734155272571148676182600593133198884696402390292305145561738116838083045093771354650602283750853261235380371899675469660912348105924361755462094932967866591326177699812923429417219497952708233640957482722235754652235361369138630978292273612011746377138574711417060566155305699107597340105139247097197313872592829774860508282112790326593550263148949327024593126676756617916402946804095222235470490041811699812047255534058429933965321602111417252860939448344846960624462383036637946300336717443321928603650114706647870588157070554671718769371439407384414801183881767503658203963262073810541804598738363055667288350885517922366973768894073879951264413508738495835684832768980852925765523103266793002419888259962999949744272123945602158723536139693781029578498675388654954317187881476203370462052797709965314272503844479482286009730568945332290612978797384428678144473994513297322538318651960397393911645188501438672876411853583944183693597177272269713460636831905073891093066374335570076671116553333237366519960788723595408873575217938581491344670067170737233194807222015138237249560152353255181330087504813238732640401528437811536376404744928459294722778381462571480661005621496706756580485333813778285787289353159405388390759419364173034363322341656137134738734533591593622926191241488417854383716714766579833246701903729751476936210146268835976602597177344378592397321197751003761415562014761663969120089944054363259562661822170842014858545450019268613661533251063388636166924460827242406429109024490510120670761468924531849389542721478132081862698087866455969298082777505769500472274116085596140218645936029926849445834443231810762775349703840883834219339388885056270524996906973787239984615380558162241487726894691394888525760451681826758855528305070584718285352425075367164777671141167457199292998000960077145208719330565659740573732252853861550195613223999672356957668508342436174653492640542222926365122338707568004441992862428660865880343850205140373277757325011254792471350626756175885136887649234374174805415225516582999821381279534094466430406752354662189062551985595135505571582834093085051117522712922472704271111846763325857913991040674828690849806699977200162961217387009803072009691525818741342360848387136749437202197236012687217948852013922163384250377586501468095758579733018454069602694375078926690767355634348850387973457832375386481284603781407139939780819492493590320908885013802731966793045668973332382315416587740681598077584771099750798045813533921292363911971434022465652511556728861123489523539582501287593697652925570953951895109442920535024610540129077306420356518041082712246620397320824084714663529910712211771706626149001921858626640782853697184424439818445060879372297364833858118440027021542556166235895379334221467244608546344150206631444357654117927391349304339531600196260598448978981040323243151576067992656314112758996783818312962902620658721619284980351657882556729544224561965563675890333291141824302182510817616693533151447543706469956461527468182709070709567819602953828086731652923612990246353809357471399588167822473484474390111822728973772786367140155535140277271783484799081645482951669740178378951098933717345130789871479579860857867486725965652814302554794523177894591515949725890179596894702442341998798404459880725617140108082345381376099582402610215492291466250379637211376352432459454090597269125414384299066294950226394781205565984772846611832098497286865130996862302542275255381392042389588245989497153332918215273130332327994386144574581678157426265013612023823593951026033095079572474836941940108741183990557976870022815310853582516209085717613994060224256329090657398870591066366001622601631575490028758896563908557452322125665342495042853302491894477491410861437334405844369131283215676137273556554568844249965290276687938345149176685237934728528832214601066907124448149374973600062916147434425364142540850325467748968931157839583541953632552849873939492291775310891209576459261347088549117603854894058622503445670342058708546300265412339967425991201204109000098166631017015682846258812422624686581143582132570864591025096932934518743036532847893565772071590633322694619825864966854526866632263715424071109565095284702773193012453705259479616363558288824143730154134293561692681632267204230544084319495489842933645549670092398915547181859571471848659270483501202332500693493348786353688990529561652448035738588628123197662401475555884249888668218647038460238329046408552753301849805394577788820706166269485887958781085083964168014960122935693289962986393997713067332118881280169300225239806930600514205709394277418711321467085358531981009500562823432583357385705192821537341353068901475020557192962153473186233375661257497559378390367213842779365656225598070905194724712674121335890966198572659200743191166965733999021858157899564657299266965551953881070153085031960387249108797251650871355817768008407130401755629259157539622939929315794971770094188757754783825239607092123445978455853475580893171379373150627000529844963374542019797735617893860095842820003903558246216736195296605770908101045843702768621331140324824945951900376013636459284133169496973510152516463101242591680028953678648227053644465167811160750775701659890225535670296394813873212386410922828327432995732442164403092953876828152668388850151891236812839639390234435589170434144041635941758253944373360713929083308305544574173145267291067034493921809056009031588718552638027566752622693780264934841546415062540510852951181253802086423852905179665437409213217835620034793976807654092819794642781829356993889299158988098969536724969120079358738721548591834758260608445892219570776212060969624060238175999887101514217070648401601748304963948814245600615471880889124969970881350225435481155668821413457898166773451670756353055215990050311110410546464228446408071770925040655712623976231843449023114090597721822828488172847074989886793295925345957003659205893673218904317599913974768858092940290376502985476068909967839206676238265843883205340286190274576337522751739231531013983650658999888141679288244592198244553758279179567684229659810693212131907397272226022109948895919551912106456606625116680576813848191920108627916185188547753084198216847927481162114988582725144772559801946104661136858639797355761308195363296849207310077774333990667223398572712867430937988783356440066469132992825973096653260010195641197750558720239347710079940924092566462304322758526079444860096080563847846401343397359754347490855891046094226955841429364737056560687993312262826458933228285235794082934094343378490933491673826745303944778956568088903235306019635982535131328275551229110197452289339087693482763120809211841949017929172642795863385669771378192198738848722024025511506593083652703869039525638051953746777341026170677875987527072033860952428041395313994959485287686567662357593389932406066670081388666774970798849152920652835006507145523275389652530033682091037838381816180493016395628522202639520204385201453015604521127355835618727472732163990234600562969004602575189050522386715183207717045688818800927191211394539760873335885074076235690644520307175693373532967273147467787758251365902709707798773558984267502114676315849466174817313402054331553180793603858113180085309323895829763864646952247660277126375313839815443592586714745009566341251851543154267638450963679324542288404875993764340346206624427660278861861378415403942961018991781614459292453679813889616049953404504892705823626659195553281341240190858776685273799280313083054987117266299149608552500312607122727688961595290253518697780713921117106151472518506356261350204297105221109473138615516440491854973939100854952752989998331288725549766084176234069482223133977448768426640364258319257153037611365436254143789130185259855537203424947319930300783260593741767628520269027936879345875343519286279980644599930416929176193545224848626964400828061146047839949945433267409332386574230851064017667285046698274416364325828360433324416952461347560429610173725288495991838340455711600168597373960492247267837793430567001896393313299480603786807204695339196751380479191355430141446168654494930322984289195752750433097483170920474486659707860116067971415212516627248348042639846724405599925026118981176075774041549029819901058754867573389629026884519196723117196834187065430718852509990439445151759161622676584129639480662138064436146456105416108716191724909277933005650116488865646805362336532551741424004256573302469777993439647460526310178490163264127482725656030572777201398096262728357176463169786500000943062502606740487093881461219952119669353248161920510564400581006875288213809138737438708353333765054749131059502996387877272063464087920662986549214448669156019414854373414977946423762916075074293626291987425192028549827454120189303656323171767050275824738597266945390388196642774014550278473642027234775908900170558905196983681412088409411886177775709027994273593874698387982571600931851461645242332368060426871591771845711528733267452387308399490626866027226361182542055037230249614264136804147755784706542564900293641040986974736846907929068420392782711092413840048838654445293485785629900748950758031668752636879841608682842706984573265504102368445696636529927939344958831334425111821700949012622059633033229721947680027386324024407241186304624387906074309635449267526328592510618971151594977262591005360669012459537857712129192271703197287907320572062649372759582709407833513029644451130649554224541113485797093649678840957065286351667162006895275024713128556505635505942630967818970227646794675244023163055452655626089336009211622087321927316041089767859392754590911170270681406426683019366740141944593792328427385180820190806587592522973332575925504595478691350244752732142316881432311126406856317964106675551715338114954714940984841455801208881998102367288190090124837018668198878946583324247426089261992313884938303164382032395214121227978753110374415660036549630408585359268612445530138245276971484654643874289674481513431411576672471140886417407889186159152051705241374204280918125817720195569334902431404826741252718222279420477216793574699951094295186560044027022525195811978350798056773059341871948420204613563528033244632598614869210145785385017277690522583118973269148090356805361930147125034156061435802981503614239107471784576835181638013133364714240324505763986622444646442379282646502099231197922738004285514604909645257968471683349904934732104294117578468319806665584596180629694806180707524236697096861239363499654781970369284984010206769107129390040934156392259869082863944456503482067155397652610337716263398156971351721690446892268893834525257776295677907486705840386150505690229630737477758976429040494996768564802347917605422607023407775596418653504190162484065866395033931932803496708363248413609688108964650428755145562383933119580535038286488606660535841886559579279734710648730627386363575890591331577958151930149555653081156951606162637709782904679819764193921199705620183670876346158163129093927424213751960077245131360998929284363286640137477565517987680905182014635084766915614122458282152300987522609729826748959500132735597011953201921017564786903770607120859562621195684668109265355366991789519636916617545286240566707556591537831734900668008919033866640703543946102422700536030165170747874640812254595726084796801465198298649068579379019909889043908852423077517870195647547344696055375351681185896618849504848613227395660971512561972619461286197818074806420006169317462496376211837978935980885019566922480922067559328616636014745302031609985507758698033484773030863892156099053940163576316137367937786456057672575162405619605190904309458322898218052416284655073932503635235922726303930492835006822922808358875254975806244363282117544698415563863710509648347611665981029261212509030419959420630718240999070372475087644536767605718514488418645564331073412163385781928172439764067335678075303315081703347533235584685011588047925199993000260316244778739781088570215898306115940502412898015208298975191806733695831606255797316510339620696974728809149173042959450536285997362585128071039054002177849928344513268057513867278140027181062675655879031559846162094447317548822307091522343087812306157311603953004796295237784005571180438392019682793124820262507632550036164041875409612984274547324033907997720899248162857154603615898543678863902288985938976923104369079172525985972797784730363243115263475122577646708598935589359468081090707903110603579545274663565036249899748113878795938474853672245441950658473417866170350674020259011845687345883160394966363946266252241812741959786586704710247883375755840530950517641984342098109671481742907897878432836852463532125501974407906186452484774977466766662721868283069224401156698088283478083735190701113188133499105254645593855006580279292378863656205275947854585831367393692557307084292644127080927060183652140038128858537033115955343249412786730594965364095413254596272021632844807680073494208512891858724270249171862635802629354073375930668599614878317178818263403376171672373382670677838715559836513588266917132788021133943141767341349254248508122159146046193860153457875519231243818904283626256842506130165375499130826343485603405261123199339103929338696151148374446396044160581668114661116982659567795149282060358163578780260475230619555970193418563725542656264928556640407736042841738268985298524367055275166404333585274627633691864344505069799842732199101033342154973218984155893275425770929960753070055416117754416164310944154788737498850643674371632931601393553937086267927761539308685225047131072204226702665768827024026812913822141793290859615479431952516292991066955165136454799679835702149709096995975009909367314287276074581779486688694403342791498620586930000657244666568438733914611182388331746884212304244586579073232686807841045841425312809127777464923117528137886237927514591124460118920336223497390635909249823117949022715447297602050461804248769747940613286149282847462191312438052918864337666794291970705667982264327495724103929149992981893781353579706777222135907016609783970341033929967985308850780485874886258203594626906647427972745489348956357295010366278221712322489718353825049465189932757301875232563340874801480134931001337583214670452395859317275591977328908437046992670996399810391761078816520236943504401174829284286895839243555718402082392086997525442960489682046908044726733673535737431875919835532324304717313954647334410239943746013797388946594758245542609752441958393375718634757983920574777239371386436025284493507892869847957522909493544125390981250222689127068522011378378533914906080945767985229404642794213928640506730750154553962235146182194766632810863170726733530015648350833094204104583996623885328831755561894191364758942111389504093515085433954345547697798960315895537212511656919129418401953429804404207069736776525828374740464713958737633273577797946278173215461815848744993272108554416639423216367271177747518500808299191668524074866767312772293488016475048307590756939911889448304834926927210390319638931976644835614566176324627288454384051361617387922808854587372670054112105217018217086772315344496910240090659514456510207095047233116062424853059707088758151573624305364154668271036322213869186730307477081486357378502430729398109619613626204315088335556354361388123239172893887297225799983274650314998051688682718456973518718821188081904198318270225391416216769239540642502065078544600280788102492540444518485744718203217271435125755969935121325403731321247261487689005555074544791955810316895811971078220200534060480974522700510841630019432326343108236610779952200392349718526199476571519605552739435059414159079503254014632641694393383340400326621809706971412248430948251881128073283365953822977852486552976678703324535297043402471904701639361486686227140458049672627184507623731965638975186562483029332171442320156650132430979404827517529831377957144541304040247004899056360050548044454113608432648985175702808909854510420518513686084677863239423415694460855471996819049000005236905348934655220493618855329723008099117352091711408371562703466184119519029374691464415731749296628686832932544088304396156265106052412160818873570417613486369020098662201119893263773801875982397594623664967534653566422973879211029580998014771861329368048980441206192007270059331099668250767868853637490119789609750270099664767118236508617476739877280464794445911915811523510793665283661513983346425169083952877546815163142856224897398622101559250691747780750639230542129340589602377139011993462301738903564058545605684102773971018819619480321325861932109880147433401977466339633236436001753746412257919454050919611708073557325887134601973526083957073614262523670658637910403143771648985310805191945255654187489783654583995529297022849267846131299846070651391642477531746398135108366118942386362446342717281284963986486879770748681955292688450232313828668565041822983344986839997487997153746367810582756122222081902702661610988292924964798893261074702982180602936918390432776068885924404151016614444633770918840342267345886982203304037050419824530802718671944943271798071416761605241814355479958671815836428959548371573030880342213479473545706653280291843707358571290217661115593524583429462733797916060226701066671131861969801622359256341964117039086597637665010079466150463930100756512901517995068551286817225930901830563554871228777799317378131200082743148935598382755267226343514645424150419631809531899669888976016994669351399489704891217534463539839883034538882917918407091187893631581504967518647419305696882885326406134692272731729240584808032408524120384826626946291761530093575912913304900259929655673880056941877251737241149615476868986211455836790286072684833677552427433019513996455393409158015895399381806742728079144963042829791219568789996148127314885107817663032450747431603137612069142795991742732948769644127018444073543921378319754375311661449101164939347305662979864389522800068720402889047878547551319777676418599089705811347090043384684206813544344600255827795415433671621210427104529850078870345966982722827430189199740852276128244748066488146396809550512002303286422864843536894236867311580320455172340675599973498367490565237461857093278619161856427756098659607442235829304606407471476496323864258613787588591146244300172307379479302124622399283268396676230380735863370563427228502426861794765830846707023332571089262051531565003691414181816820607596040664653468119430129139872475898026320963195737539410263058995102987109111705550474632930707267468849949470718260079624002830153718852987262331471255153577882037963003533232125755132608840847833962928852106765760013651698872055633699716379108510192773878992430035880520767512199971500265062827602783557086969542356096852719751939458781624774736127478051757804581205482086318959185666464645179720621755766024689057970821437327657252702669580637239732498722517952919028769523356877873882871028104201579531009877825275647489128444693084736602089486162131717485622892781510175860058385556744087909401316879133807566935004514757638157360528640771230037573265612818097813992246515171910768304608612219765312250959661987632672500821013146946556236578889915141496365624161566046985444058996045016711176717787479944196846910275708000857332197135109850851896857464887755989939513660245886864822056746435478621673420035343086454352204135446246938971922563464726246937575091548117405507254549534421420822135471483957715135216055215063861143502689213362956051812576872242790612295231718887177417314826845989212988853079632396822711527489977148963403945461861580431783643448423208209429630678489158121625227554752279138779276819344601238550897676706986175469177357947576667836286648642403747775124757375034798334459124473118016402376877029608083876263220696826099859452828602048089756196905259972805447188876885162424508863700121622423959773206843562992531917888180209571131150916134850462715075989277401837040745606862352740740109086842873334701059311889027678587943073150771391568531195692962113377481886565996960242692188117289688884079379332785472989795180508306270838615222656311166767133736802472342068043874775452119590987635833768900575506405992207242008982699491029346991392256066250187501975641123722021427657009126563246658758764123524696098373177502102926889308807366639795511091864628412318918172859731145796573070329185165036180553650552364986138677771148239665555858432260337573197547094424449997541167194802762047149141988456908448275251988524550475114132985874182954301507982308834254903587264978497062568339158532616920440540502178552484412762006922897511975879498084519881495391460464512846614328990315403124717449021020242462548811727645769163625459175193837956758919815624317365468506902406368389764210827500074135525855987092806120804790940735527329907738393029210951139784838947617837290329791211243537106221357123999929692288245441653430927024197972739924335289022883771177804119173287117427924482027092020278465509689271634698262378994805427622616791819366111985011157933090884068072695791537194107519285564123049843664170124839623887643240146799875184833677184055525243476364813955058759825052358283083938577746184521197888608387373848388181469157404280268271527549311200491726131256891136988477312323225739540979442999593246714891662591530532488821679587990535117519801067306417666205325090338917069348879277674116870058310019572058897459684106052417174923128656263083981453151897731095588929233186369347261283728625562431106300606939563851938467596477437857784556687205741684183642616833644509565981588032947757772471134469177537935409453444142730467331051124854539063979443310657282140450229997452483017486541664026952354808263980268738611539975766216971580728558991300194725393347363118026685962608139868809655721247749004526136872556606957222334752556527224658775340721741808784694786478727650401632699336163343495363014930547629709844361079096869222157894489129527209917570843613802344820043414735260887760812281530262840776818734698034773059703365312944556090136168373902107808755111009730383136912230979673074965652667414145114096688046520651206178424637007353399754960308469398444170540201484328092957055591309181787374589360824058254455556314804109220156513085965017574811305544657884741659156849435166189163637924550329264245346274404003596770403724728207638889394209462558953696979348253804760994656318643912973357540011773721652098804927373762169768090110012411244371628080776666027052949010175653720691985357040917626398351392712352502641721905483940000028433985810677994630021863932700155314673366768625133106081684489820805494248904168269972517253999733189695924542771183370065056321794250830677909555965773597726386233715947485755972258862164703875914644785395713823578535174255925811850247570540429798173704960386473213032562806349119939978081816897466823690281200813927563757542899773859565796079886583525121905013897945092502895270116105832113837712139531956849865456495212652000264704200612326587529790244153679654476911986744046517465858620228007622964343532124065790373801226726024740965046718987994671823075395779159374467315612032399513365834584732063718391238980803120954328328743352787725508860955425297851459438743601526054961832943298571363596043542564596257290398061409631843778503443752977763101789173302415222689184011851699680096141078282042501672530352815196733040448089932090000071276602665847766069310060918352115085260066051683860870259957598421815393658630764025028508291125559205788691308154466440720174786321676079042773791078421126294066713830279436492193061387301674588531178672979597119277308657854046980222260277747272631283301689280128370747919864743843995814561586089227898054126905341474525189880531828977033830657726162153716635406625595118539800361102133529783532367541184161285609181601874339869115827601784576896223302788854934819267640763468641167100908188264875651967734057492647858661396829941737961333102787020532395448317092871629226841551878230713227106203468834287709001557475486862474714785021995913185447922686942963141050706175119622285228787518214161228787009205726396438618525553381723043772498533319568373918412444836481954042709916084046400445739743864529974743624788163959614022286723896925916339728319894146332177825607832500137117407109892413234452942049827853813496933027560913692249463437618968105521633935339032932303558675802627252433231108932112807597969196173689448170991310019755021273623305059200130293241650219217274735308345889099684648290391133314012600769096714862757882630410810643409994128510442524653952841880459030875447360871818285215496625941873652473741689719445763184545783135459411663760044276309168289613582330385889759946111621408364751200126822637144867496362706529999792393020906788100435611986894409265231847250298353 C(n) = 13891440899752704954156720125466300356464885885058864942475848747582327655513148560770940424196635495644885392499751949730110142399650350692409055625840181902324953610804632856151961024435411658206920740480226598363363190184509352372919496699682214014188982705041812715328281234304965568912649427758374742969468327610223728757475220902770569202712166249558897748282085779118636144980838055392750273150423885625980890420353323388968194018915375410635487041973471547427703576129359402189050167841140210295007586775913204490928505492065241022645219366001994496509415899715437424768629581670562869590943662621989289201812147742870128883284822763053909093443029287179763695730334216232633459352045613424529209335336451598807090712072566149387978700511405028712421647678103587607429552005589409454721331615887594359328670446564968054080453955561323688425664311309163312705664857388957186069930298485300572599728018759056712433735980927851124191065737159765117506052611862127297144126587828445898560680160989881346562093348530005990887031134290428654842243415100760387183050624680034575122318219726255074708241893817281631918721010109725056400741367695962972501432184253726645120372836196151438905102879057407137840891645849946385200795032143100713734606142507551549721458198747121054019335077946603756735996318792281575406237943823122872049817307557218620596628290844954926926038130994402815873049468997928949456173017182076678792300909196173946848515131942292425974165222817544593281156473770695680548094159268683384237513820537807500915244709038724638317722825889878415295065574713961213265089694233213302651484264726902533324696860073535140607617523422160997924171248469253753417927908326149718880349353901298705803617115436434130312724863248394705704993285655424388348705677030938196493143018908992418484945869519543182632477348921009158274693391125975356638915005432331384306179685237610381792844094982337515507660030896263814276206165257556728851060638183500321909030492579224448417422205804465432915349250339185129390985448066051584896797705820397131593259214829301312385415580938082795518839635611811691613051090351220622889576676148507718458380504992735600200300564022777784461993034738165142389421967930397045572640839995802543522364658531121664826437889986037197538809282463214474456223577213493486896680224962972075335319563324178162035352324253231530237104492381428573753044985751764314577145270077950956809276854194438130960354489746432185452695041927180037032329510580149014343109002276177812612951665949771276529875754223178943973984753058100183634622434407737810458147177305686996972246982409901825489477844712377407273450961063173593041826650744749031591143539143622489121102117906082294135808930493548584205319035454142090470080018145100792329269625281549551438317591231928734260815594888919775018718615724850016957220558823556242996039364956170482392366314402108337754038703116669824488143502618094765140510619065382991260835224062629649067582626915350848567135498689000216139837334334869828356199892442758895947655711308209008626110806387711355218639096397522841427152770375033319080437545761696955574958656922131245438769628297579400916099455439758524398667114690029612349998273339274649683081279248409226147155972133253321547400183860116652678261865165843392699818674426085638950578873469629874084654946848770554267649872546960053330669778866545714384046337850592749080041156003573767593864084342459518711003989753992566865681922420403702584876673634020181523379125476222610562915195431242989394029536340714163563218039062658516626032673085597941504777104046673539998382652805889065159216265261248246883015648819381186710685483241584121741941784377034916457754016655617797158531380535497492021524208768214513926588880922031564428834362096261211124669893821408785800775073736530518432187553460438442533544961269022850210327016547232786133878859512511596450560196067890194535239772976014802701060620076465729268599074524582816290996251542873766542570669337955566700216377604406497062135200173958292135412776532049485578072963224929912091478271110233010744535084230745719769045002109751438343484856067517805857456247373879441944696912470686673410882147344471440249540864428690575799544621013535639320510882611744624674774323224521596311073865571703156904599826969223830377322326009746107707693780243564430291068351100795137867399086338805646982352945256827538721645456633636450295652517588581114031039205390836256902539790511573056104049879845211395798601132357746686987702027389322913222399293159215566466865329560805394477311434794849879539694209655613747396548692454731310160322595804434561529847935619628953745641656650528603122014790980122477058076500184947437959525916772465858588463897597481817896354580485036088822835468920723765743663519552043375387973941605892056925623746820985411429969439066370769644166841099243021067230888145707497473736936300363352870420921629075966870833783558839322715449056038227159865385445504287402432371179808012893072332095017942365992506035567112935840857339983968710823873540464221799012212453573283317297293818756443551622978188472341796893700062638497124439417274004540404408935068134051910122958832384710647202339498557606057574003071843370651160586439667796301429773670390283164314275310835641295732314021680772090428190449342821942451139610072156271119344088470359612406810913576284424058233105765666341004886001428951105402032042740166741247162653798708971004739254021507941512420556961551272981187244273740813690929654666280726606869983671234001455327694584495691222631730657167383268808664456426267749785989981500689499112684959018733868978663581390027684512977301979933750382601351031513782167953303444545786016201880077040937836447685391187756689690720636074272498153710694182103814193497756008292689933710117596902047251007528695450552344832465999466782506666740604663520127577464285337729460733965667223197282009648063454673122195037319634777230411464676833991435352939629133000580466391351133694203938672755101602069138102063930762651027259685840128840026788182987450644041840537637694671736962671699856066486592775618576991384265214516082705115370809558763365723671486938645141682162265548457180385733814644443515836929720319054222293447912507018048616967080293431052602410212813240782577603430015171370090927790520046752766197911760883463447119473971728589446406848565988117930191920861559325996539882980388168454113649375862758780806271375420488947026856792439901545999369421720924867486283662773926063976535909301536367495024329826541133593347918013087407807742004637954571951701496066629195080288186457638763068268859577509486108535130538497507491674483069340284734469577264773101827693802891427830479153445770163574053101319642485977242919338899111137291178815911164399842307889762032769527519590724332772017791721541940825673603239904882342675971227753706743277363492295186579927485130327160545429574405937495135697666153895738287564048110688152384168909365309301565638745911681277624443635162919685826310859331855993312919356700634520362699778786611018919198099517855252956318974477231102812645049592343550389803495881842273210271468848438468597563794140524619384397007119599536996439046408017790998553967620957562317025843960216344018575738506086215921910018269389886412241617763101954934053383145887173776615554760185810747763634984891174567958659722331768417195325361308773175841861040457059500503355503393352830373728514345995373682840831020216011479007559059346215473353487563662713929714794573523782986971554734937813370001420819400901833440030373983016139996374176474703673346941232060530795027045953035211398429122224220051358505915879633465658952361376501052792670699655224309127778516712612678114675447181345977300900950808448985061364839033984864785242254079463439099552562603232501121621527868025637071359404373936441245932118912394629011616842799383446742208912837526553646934331019210165978781472233021484250287705830499957536876443449679551737523189037707217641787276673808151240326571551616162712050253186697131541498951470982900878582480440783390578929506704357116058867462156388241572924655915345259423872824777609021312093705156229210152833882506767088676321593210121678439389105045610606329478417681436151803015507218568561561519038624000966424248961334598517455768858067889313698161656440810199745578573306360095387673551897013096931247478907982851328828858070915532197996095617952790413196610393319427061774468712087122176624391581082204593792047594127300565685624377794334905076458667618706738378781710454606265876464443222542813364057746973469544947785993606645733296484340378348357524810315810275505900407402119696513069214313837921721351377399159784167157342641765444971821150061213745818901006259628873826879207743339855161863436545678792400717760183355049277257648857620496394320733011200172991332122295028124899340684529902635839765212115100354442363733170830966020893901626966090613207989627145155788084958948917000684929353862096427065825232331885635581779456708627217966971919837631894181101037505912961236201740126077306144242157517091943834206091889494016342294268260142058573733853294065345823552944497742713553898539369825085807660373899681665186758359084730012374378934094183967602263214630963727103245944805878917714952514059988104800952266552862177965153178445436762509406318542661217618583898608664899493941655813658459297880431525212886281497855327317790803123855121310125361586999366148692874107335464249839978295301395047795422612070717663943206243483224082978420871529867682946454650150029340421908488252907226519341853878948102299490634842265042259686738547928014024353303624895968673213686451016405362873865248342120662448179461102101324958973128371908481071654250366271195386179886157429903483368456475242654270906114069293270824705959025490811775493059198529326710331036078666445757069300918551850604126857608691155404836591089629749824845138609277973447664023752216421212949154685328128168308385773183292387243284572855768822054154557268010345145342974536275579682313981873038013859998224489754359731338994423273793650126481446554262996733142809137251255178939310214604027465679092805956469942319346914318459118443849110785223106767329008022231441175593719902542084083958944228726391608071437599447258505281859993057383955505284013742988917704341702648374937098172150506083436690917323669570863703255522509859529292659429290405588556720857241136594331414035872992229935617419439920984187494715902242204567893783270658188427144522610534327328427198936221172257400515789371206708305773697610502205678805875970022232375564127433723817177853525140293870996306632904302432854430841934227039086332880696148017473741646653840090916580498553372243636109241119537620111940129974951853459457029846253831031928256747379759716449402491658131281336457058112614513173433972204768180519604157318309524258398057247699857208983015578785574610432776121927110061149514673373918848753616287709051261304933307035702321226939445690201223305888074273146322439565106706905132201725123717362211327044447606999843370999539374891164213796801985319988873307927989880290238939604637061829820459865757410920228504943028730053429314220926218481494487488841898051883264200937871234855492503422375366547109999707047955458796414929633122226717176819739856225434782097115381659739980155750505210699979359810488330304211708444010313248251339866725158814600278046568135842433912893416782841051453635634322954224460571722615185085874345189748903638331990215449573629998766874787849282652847811596318213300284237917547784204955089320212832571714910965443852843270359965776581422441887874123770184009052064209039096729585372060161210433052752812637502683738362530366983681765603827634038473128831328059909735291293252096305058223630362551202895508094461561061636321113556540624092633592896453546256284006223082217213654507491598550176776706932998453884088055538170966222328892764080381939796086911160302012531089801977758454253692754008598542082933151078095163104244877127420252745935032258913373655954375513042533619656883565193739733255375940850025424283845767497803608098227339699268904418833040531399145969893663779585492877722844616760806874305041382374125523757622568690105764165214418089011886258106065596318753985238461790202665053054885320728951479990718582244424623204310037938424176964182973315213715208173476182108564249051799780161700040610700261992135963296177931847083797757271079904807018575135397397883954491733123329425529308919840519079636515534313788871345804713122657415471118646389594313452814292697648905864644602919505204556333877449221647008861070537835453427870668580652428174282115588699146936162147587651168589076693623978762302752462413673233399254536145439952458931722817093063446748725665937354038445091858891787821092491171339231458163089625000730816230201980203559755547727834706336720035177502591632132256362801841601641013903527219087346637662408110619369363352060333923344211840647690585393761631883600290034889422452080927278746820036698577083099055659718257223525919223579319651868393602111277703431497755165336021775722659887830002367623532782951425392689419527760558208664994665628564030046909273963094411717950884244029351598430896615359242969403459731194502315157497570981790873329945288252913644001302924692263265297323924043858276585026702558905217116372918932341388664161871876930154866715617393774991085539160549933727085870504695159917362723385124628640676979755853152188328541462394375479271190135679990977524534127310075845452347096067030056683340630187377334220540692853419490357241669795555357979944433085916233592996974388455169162474419386327723338125659183602659792373927106110561055711389917863443854753889801056138005548261038865896437254372380049609269266713999195049941921047773286052646700915817221919078823217275219716954353368517687626695474929689937997043066296522960900878968054120298550294191171489838502912932972670672894545917126268055240128217763496625879401105867204977876767788835048746916339361704529721824197515243196607780410683302124046264392429678510359415385516383371270382862880652772238122369720580137469398982314368009150500719338061197809522051529478831499707558524196030617534691989103537890716071571404168854096235127951143135800199926419466441351534349907186634904180609118046203378733475750838056287909792912486736825108425452620659323580133504242721968514111501049630753415356361717461956712157586982623609347772411797670622597469335235259716106305670399884831072017319491160689581111791239474689036682438473424340310613886042391785250326228161911728640914925012064662128129517025538115197861157930920721977511761489167979823151757348553549011965437100810117597061239047447583203522281264569426946644000338619408255335666654140504659159960827071583549372375870242136616499798207169511181549870050094891172326145206620255562322556685611155019335833729459226305499389929870215098843602436552421660433809094435581778743144548686327886267486738330547894121810880051683304738816858524027303538654275707630707026198503237999773621597043999390436873690535161632309681499108374192972350653491434322239815705300399395039378349912209258850828398898826993641181433344805697253079830199905345470814076843400984846622096673699199012458216119719759645898976239371433010463282714146522527492751524167697836928753919049596365760801058512395865992254204378592930599863323327299178954956122124126601566503705403535009463090467830086216139370242267950902659115524297027078717893933386318541658501939810449007978574265452994983990845628745387421215707042825379364620879303039996230364933882619247917083072963667841885389539179570188430954589336272889751162545065080275684468353835391178055017938737192298563500390944552185721255101628667551901035919155616858079448714872525847721426676085862201479715807710723928410229278044752862789584217638554780146202624697769346000191408868391476292840591799046823050334660357999444275916855567677281263810799958229701713557253808870584431408913947163328463880513553396698321749811257800961940626883210435880129028650165329281319349156482009895810022420806348386256239233538980519452653411187981449286042692136350974137278038826859136228011190137408330966242920649252779859063422981966361211934772695807839693851633399694589803228554936714698358973432337741449033399725369028399255946231164652706040364116885586596495705391126200192777254000121260538393288838288716898101042797027530858698732057000896987997557950329432518431010077719157988778419274279816924500006849062354989724579961124886073171547100907174344049772222365398380896633337673386551203760072406950467168252736406404966045509793348604708360440352453716768403623463355958998585320458690037252153391637454782568203529518125998372532253523284037455839771015978366825101374451613164831849777840345901780482072561579475552937011220599949972443943286462215902304575290115157872090102422632063921362751263422288387363609679556841853087403458472000410113589335529366874468657253844256950212078329747733018768802889390451157017488034708139704023168335166506365915422703696389537468635575995196015318203964152148533658726508302421097343652827593394039065551156810459570175746839985780657036650260230304790622467497435027891984296522615861694918517946328236473434365512552681079153176961755846658121215536749802720700566175656793843685898086188376259972711304983606045428791714077872269922109606915200277545056930936567827587093635466777178823380352903849109846126264159139156446345403489327597127569389562805423886858647761383649827390227763571073029972791333075352912255284639227877607198637186272598185158071280265639330082027100516761207225540664984744717657108818991882567350941861293595774664876921156747647739495547506052646208191484366844619286867303823818844897273000166636435952036603550765429330825808481682677963711066742407387689563373773443327444837014275727897708653350733189932054473240114167031909671934870552959099917252697884740688559136977594552382948661714370164871685409457876642004095086438281638368722031281088101847769031922586252747736376938852003090833116677967683039201428277155878922097372348769998168099897430800526439417608171045241581670278603252352254442282348169449024557712121150781700489834851828493401049822697993729000960785877265807363820934281541304986360179171662347208359970010349944655489529204355813950321098519292809013393677112455750178676375637129493389459953190185141183356010958376493441573445402611678050449265977906326361785604107191808751762142579584182089596375138805922287501486627672486828954471830178354534362243405504190602239333567141589725074687519558275289248951999361635950717758908478028439463353406153341323271301534779564762449528930361362692977703872932233491492403658378420196212352867368556498788376653743614059888491556564040948217356028976306468164321938936661644326768421174331396881043962845557181704692046804135506138453448017432798348280116793919694551046368480040059929227633530172633906497735226219011079357637836660881638178300361346807725837622556485378724739459378180365387462050551948387857766243101877007428403959279074373501493468644990897801166758630595740541752681607857029431253836616893581337259082517860895332152151860011748455052334026428038815944998158541210974618893477662634317263311885385403952824774908542191998280692840399403184807192714769434509926991432015870658410828754388251011482516414336145091308414284368375847708581202860787173904285629499203391019490930966278338403468964508212198620652343397376027205161122983045072848419549507454885654287397299263290708724457638873298389137173488042485643553831429110018490742656631200840379809662744455685320517961780519581135274655080732310688502835395776660058191594583810755438562551153911988863691926976375215167295829553285319005789019418952764786571983698999655389897548533990244648721790887125008580833972148915418230583016482437616499825069601901107267837443098255783882702519811385171374808765627488335736803292354708560473826544029088650205972517752554637642383981618239716135329755213671697169851334358975578256133437435702934195084624358051701819887453630357047031152388284832978000113550344929420699785189251745651650941010482515075299525512879912448357578655188853721778501734325599525652254390306462014955171836708004026900565843860334764220264194221253358199829542467527899582269885035764445886895393385924394107622674904231622677978446819681979374992705322479649123723875561504789606402006086156371487871522585427849109992482891327042745280178367017704274688298164587241322288207340349623973078010469531518418714042621302837887233749934601238863219360707084152070223310023094956681953986988695737415416054415687299920217894094627601432937802775147672709873760326674342751634978713285323340275430116760177981681398892898981274261058292643396532202529112414053791905236075697111204457187741225224900775825957827788642238650235845318236025944875905484332840182895056863640495293311774837426504411830933227777204863027438498774671354608704078595827293717591851391504683848545303298024065160305672386092502130793528063821937175770972840752036562603035073506877612430517751867542235066750154638479063494456675631053722720473053849189774397999115182687238373356109462683424987074120728524033815721698676139311375870376488545867078836318622170148240946664467627486262265080603812560121375181879577809303873737819795333388380976944737627234766452563589471207727314594519335268092503697800470823318249364495880191206961119728944014488099838867670803734740263721064591697205782826556922960047555792353846888829065372500755685617647101547290637937251682366685925355483623893749642079004040183539550602885232548169759933672500410351806326755924509254985323062239753153718128792493513170416685529141967153432134897390862065911819235335820904847978208681979247243526299601696137157765001999468718004983063131295759769219296457642258971427399768695508951654603809216525928174735828193209445455803105127129999390693099761066850865828439711145394828778081677032903586142149250381132023950891058308549685271942877499471107539568555243368144656911264094935712879645366496151019477798855394790338388373433835132156711619287978317810087692481861505370657339632634856334722525240074176845798994116934094938488488437561502614023040466061705378683590118556383204192784254589737762602495499477311359283030551491219092976302332740945033357593484351555209460097468743992824849789797554383601050335569272147918385148069278643389597087882670943696570829199070596263771981105665697711833733221601678860279600266491995520522014798987099340612717995007259889029383581976044221853700075371895599302733875799082888700683817557857280271908628022689086804416043359953670242963779200183787784559230741285841172064693782143573130296168732661187952724990920562089720444248528696139296865654928324011179069853023149921881169209114049952951654764467200050196331147634721185752566517975468847412269980980630571165278797666751381620020597260624624201523905975331679940907697573575887404619902938306867503820626888833282991195348853725544778375502595060904514145404608519024087967495870881414800262843972016662319324030010947972635649352640686571394316185094111571774577398889849400322842038811434208903959851520429615233761305226013020800171261629672764488319055077733957376736218391624647304775710952825703241330507687338339271043057886494329198459672293063785053776789570107573332360449093505462600574692604498928123300683055468879197226371565590557220255719992700172536556960656082339663329468508155846363185547894282395126621693429606450054416866424032039001774528527024619622629815628790463569054328715190564268685490236924718486384368548463456358167998788940351078000409516867115960798272120005536120948780284231197724835659460877924448712308464468196337046523549384139585499594622131542684180768691473210461610223136532021025834502422385072894889730229140218590117670287666090043097224156509869114710765801661032508290899775965358680019230074721011721170542097104602545627578685856281764852110428231677598051578197897394076845816403163720980477179068142740045540020941129323367325503746753895158683931488594605449198618945694520121697964357285210945028029264220837209781813776415764716732033672567154658024977327791488908326325792564753443770384898087209706777866374014288708302569475561096863237315061959773883295486833587474703201691560151681688593329850857769591208582324474316999339489369698340702299048434781153368949096367420064671758435730840558581548525240554656051707000266326764942702085005284497033498345063677787766074812632026392577541607828360818132239553932057761428602968241755522769416872954511556906438739073430976912588349265882769242754019476008841010226665115858590070799469730057402540100984455275190794901438324725175653028739341277442700854989993371397152567692996158322474886232646693694943410542376185240230484376858879941422965553560623116868885340440791129391482199867920954610217362712486287913083046306843811200161692924358461490636353492311038166445114508726924584483641385805740668435720196001951332691393403932126024579271031404334206603754702690848128503057166615688107567873780359218930205435535362328390394448862538149019833752801840356693070563560575239537963439535698624029312034163628248979807970242426811007627439299870680651975453181803494552610008857416532016054871240135202768602955233954057512907856560339795226901760157091276347515138558827813709390911913621824425495109802001956379234180131343014695260229497448593670126668495509711217076115748621430787545474571516323845957579078871146702313478968302672696450003965999372044647119535548182911716989768549096651418771935559515014734671600467635523868570299429826676803695843330921485139974327633896446738778273724796297196428504644579550859014673083705581297526012788842253552985285149426965915168207326720138615718677399790393825929417585827478220774383869268677030335843518751677945167087716146207113165903600483908867463738939702514670293374197599584762339527338094522411347381973489747892122247540301792930160609021645119850098041826006631665192345439063112196388232511605442901166482852521174403610984171360130682860526398059738589956323458379333323968172656412031323527626355953096237342621924098285432962824978138335517263745978470719592223250013632134110672900947377005331093841849294914894433541022746861127660477042739346464389840852983775997670028875913457726970472558107878628512236978511760218972057030764724293846406939926636274476601070951115732820850055574631243710317692994339026081826823295666493164230873147011576164634058931437998697370560359938484653192894754962713097767509551727517535576933479415006699807415682474283972541675432894557399104746921261149428462623989763546977688613475027076882161491307400005418830501589101806533708788563420810682205722830072627946185204173228665978502078812457664858353548840869714705468397175181594621848396816265653576377398781224115137688673065067002116047260517448449748951140232517420494371127762070046561926179498476084858325031630366324838056521347665104812023593117445269239254292550515436906141986713520725227187836206634334903653809722611436568539334743684545035868792032987088581764148232831692178976622280660116015092108223511055387025697428218497460387429234898524487655064285050315857704021628128684801537325374932255563843170383195649152798839751154244189335031756638649731347612484365073253009268188647201242519547506582147144962255921384185488137046854264127832422418851907594819458499487563685957808322995910873670164109402877694239878276904917167594082744241954724381826558073887106989566535506212151040454796876938304393743847322708171518058630151278030007709851606070542898420852832838257380013461712970050645758865848603614710181491873981778356640231821419230599399534326424113954595665984737403492668364428372827016997017733525725290959755847887248587825773758127422554557037890011900156547029306001769154925229728964881762105854508132882882984322250660055849003782750530301663452374100228843062523661491177350029535866675011841200899389816952060439460608939659439004225663217280789806654541414090749878519399744043615895595306539451433408976994445002451771410756493950632446675341515085495715478171570830000228567898269272983089299542458479954846255279628988607696190822637020476845116524275810735438673807247498848416769176500161200464186966959897252638987312292960464979976062401107576013221874947330746822250480377791343870170537211457559634363654352820916961472085186147274766098468210003936388321273548487158117203251826843749143467982303177037618674680494779693054056854068574739234981389467827454813695900469544222636235805485214198382519316326878419442443339225882318896060549139753939115167483675506479112197832509694870004803023482019589811894358560136693916798240877953169656714383516246123131729322306130589889781224994280321171994529133651765540475012348312406558255291075207940114261632508339210860521801877866608576036328743645162060867432254027182723061471756986570570088517389658737447846324533110104978240572126990814607409105599358272140412675223679405410662925352666646918752281253242358305712296662913555602862914209683459375559502957889677801338923062767967684955005685724381368383394860631671883889969603931085571651560420800515302451074838110920279847190475050782099053151275485196899376660047570016441675090974161974704254728515421103954284814137387702840148460943418338711804132451025039754129717069456483995420701526756869491941919528694537286848894369551652819489879795341497191829279238359080363543670272572006129736110697631166711030172842536179268994550282011418546399826951510127746517516438561540418829788192731598426108535355934669013083883708946723798388940635316288619416939687762391241004215824305143050215976618590820214959060177082617487165841340012192022864404715229349044285241873735401317096179457020358107134248208981370906777287212651069326511833181763211365339326773367807171369457242521944292036744825676939014303477935397199323314063159141288426533211587090907863067104686730207409800214795389238762019848732013492419820302434437986010497356723066636800677734558220770172910653871996979691056405739772093668924912115405076916478984342945060714567176824593661088434553839135933191921865225865954159947068986566948652142933734930114848542967225757079465694712219572671561375983933428889111552457276021445855276270650509144725494864123158999441834525147952870380471938388536914791761737617718929092637266244554203439960615909161274044858553420464531570851084279493597581200676581112941113416934644220001725557999715559170956519808247319883218635760093430778499869454983014432426232919282266432659930097352284414161404052763098419061073510761457326589303279079653957856512920429241933235943647382018452606674901456595092126085553083516938588198475181786907481641564417642452184252735270403991722494735253874563677493883396093852520548891835235602458348458859152881351088280628110765657231491258790146380986259564354091173489190381710165732988485810913346549078216324182958720082849359693196447548061272959228784682698673918275109027137976112147179771123815902437938891199358933632837015829103763807119973524877592745022478664101504562810661940123925278675506364448900259128191974238085270636533417274695850083601313767475801108833236973936236023615367179769872459104214829641047712823336245811164740573477530832057855794723251643365130787734522678837346315712837298366299536510693900813128107645475958598963786038004607376392302027180575660580396984694853446033524735352411733825185556745010821204738531707033709432401204374846759587819144383302082987412360544754806294650586055443139744126564374056059382617697812639746471235297504105002686672917785099905937700679088115396071672286168688599907395774420201627641025798241068552566809110423402388787547403047814878746206310706934303679483587879444268388574881000092623909375467986271170466839167243427287165090255933816096030599036579089526355437669274636172545606020306071785654270037812464870654927935123401153029119858224709683884992901313154042467720660787221450005581469059185376000301215945924908716682574381986774070190585093017285786927070387650601659465677193537065088866185141988818777408593930266741675463489576768938207213931898205357335834595203845526155969285149649890208099538622556659492954016714336256751658910997883689809685995082228669140882460013122336414963735490015687363197260468069410314399244749313067150437872913162157244928736020907812852893538429214542485075807238768057895274717278995104303054593168771727628589053085843103765006803448837857032922356018311032504873187781829604747877510054369329931121333930804957963924881781811205719813226980402713124515278035200022339357716203927607152728158573517570511368711595668998120947868833835415705136912803612640586799377311927952536814653750313149498492842484845718573561402218913853189596346415631797187789354430961917354076928632407658302628079994457123006968224012909038715535436666210449404491011244136665162770974943140775921575102284293031239073867283623790187389350232879792601291660133302165316700212284977976681590460483266540085717962935903626446580075584192931357444814224864826167742519762929753503308705929161325822977222138536349356058160696333075553421020709484354503982579553762499315527814731352249741095648680264877680383712449557039892285189371013142081047456197185619281450736946817422888115896396668419287063136890202372094003280496323671654536499548036130673897406989331190369721871345693515229298400770498354529031204917764406863562944834552010056266176935037505566666222124642342278940034206662574104472107891334660323542946707319252398638638146619146917099792535718973691676948484184969373745626064169371474709782491914121979001775456267747190518124262257627577551504546005570272921479991455680402464267384888222160152077358217632307993661040000479781203608744604291955593536588092734112048062173055146760930163803597160823570853975230771578280221312237184796611270767220837728122853856555931419362114355318338663963800446460607127646297269776086274112925534524773075958220072273473150250873187584203352660562864079132525069944147676033816062699082699768168231450194409795162348098078612385191537074058335887693646304101913408694291713396471427603292375111219498543290377619577812956254542127726027120636660301103241447498226163071876829761968356969045964187301201268081145982519537247738992675615994521722482827753209225737532158487342658537854621119605739650499005648581006982611263285666951941994838565904372667208432345115942644284268568432757107440196096542104144091132710427552321329073652814385957737661494593174374031388515605776544743296046047711520828276398589643153831211423549633384968066426460179118808053458529385535300244996072131337345189712130838304705713804655498835460419679146503735483049923983515819441356220354381621908170134083905695100126336504100396520487702885779704878950352292765850716629285661574042756189397016266013185838322231141591366088775600878027943851538714811136322221465980777153312675164729872107210842290841972755026988458368819982215233216628934856911472229638481517111603128548503627289889782789351830207459942381618757385411939466524399507290684036795386749499478652561698413115007977438094582047664607786534864770674168267843053397109407990333951707919826519115412183300223151960691318017453665443511027317736472717594186526771627619448287333617490995767661858056392605368969555875412981152398984987227721020981059852169140882043499187227538176989800949620951856811368936824914666044819903508839458487713538325493497157262989276960040048630038096827934065432228035113663026937667945653951020819170747598052748089585781292689734865587314605229696467138286259530560354118532147056034149985492280020479833416662924678844912476622048748458574518279524254990751241758158162551021997700162148436164357377387190999225793337418287657340333838976869224138109742046671048651391905613844267879397858909995855438667921786152556162316709804341222419419455093082498823778900835566073981485062364072091605996382522615438632055093412472452866315914163634858087885930450344741695019091047527149233661823331273047743953250403957094447517596268855146180607892941903456685917126537348356431469851379456653446705919750128946052995549337884194198978167567706578411417771228355145411442010468086364950246858941599310983465412035886535763953193953114877680918922283377181047611834075484582178859903065704026766869707027904974190114355360383688805617933774270224722310822278111940137687037923666365161357238559213451423448099957808251550333702919481594332212930263498903796123094639442842782045068544027036030545157422746056961720200021775424008847430277168885142734971533014815214968614956062565700647211359397132178074919033133642017012657746044204288957153394061751806296302897850650695693313891338045575649671526183207222066858958499735666229361329696284553807799184959817959718070622195015406020797027320369523129176105432521149059211863594791829479611825256780025483845889897994769209180198883105474203099483447367701713517011398434774561203763093860416021123903556900031257150310606450697999717241675047572573251916261694024051096339476544192095962413370122915750981049308858803873048148417227674572974667192907991285787878922405418218485211275807692354466063040973670259999472068802782955508580350306811870780575522243785345893337275234030242445331943233528061758435003052140772949877136320636656808865883771976015116947481434045498900938355059646803344638311222006012671999504571552 Total : 88826242260655912809965293167299259321303000173643467676733859629211026283156331571916392047509514656878474597385735834728561488722850380823048115490741542186900126296783800664580590019656648851659679616689000008925883074589157650712276527951541738633093066234740254607483818264540266764038205889802617721751879222783171445960155801906501268358835533832111926838330970862273286807795991263173935039272709016056086219218596447204193105529716863183496534822954402229543517831231234639536452220279246590667509351581150826219575288476828324478917342847430597937245802557968021203657462624144155823175747526147079667466488346961292588438812419298131823365223625505681038928972896881996418830029932986045912003097295243435666785061607460019806447168662196599267241791150315660636980750076434117158538368451367343310777656076715699616830704203965162741440930524237531456914464487118950546500472865583508999336522991017080057896292296729232026974977021818269934458901880952797181031746524599587165885457598651090846709171168785911504386061121808399290325570877143435090322476559088618997985505229766736509399323211880632109469848152305850795980253938840561209364781182903716546437814801770050445475162241361159045481551937043231366215815253731508700791629650885802738717668177413267026138876726320448316763652333765007745730688480333372139723621586555827901864324109047641270073439937602037084862555991626479310085260830570771013667663855154970960185821465575864463466902817171323830038781562991574148847374067385647205079269141161852104500007471690143433930286214976141007110567616132658946428380161670646442307810291508209721311700279973905749401792127710198642192916292135574208969592799177926408345319329277945194155244659403069139142852612330411113792298318067369002782546979987080970187541563128470398740325723519598373677425498707353836006655520171714057856745912418383158975417556266826398019900233219171317328647351891582736042482982097619617649648733592683662179589829754404764619271001560466550910495663767509014622841301049212318611570671761297685371341529103917274369804330352670903833397949237789208732604072397809928145566307690046194023508636338153513984718010591401935626410275658838675600564020354482703636383532675798352568194631671771601746265820660076477157764238409515657720012768441173085575738598420734565003430704635217533849373281405948094346877785987950781157197128494041222392195896075929414412763683802466300172025756599768343233011428072970162720799878422770930062595176637106936739342520511384977516865809652987274370922661942403982426150876830952591682801646638615912497548097351834273605562002004250906069848253382173054594193524604695035762259443732215478802462959650752262235773055844989452373327374448038699504686071682794217391695004349053609722360366984217315573502000847836370805688676291808757149740301647089173971491250060199863925220303746756649385042850662027809407558564794052277310243279018090998364115925073439965662263928946358001807865583065147255295651103719951252691545641875679308428418415164789018959992060653177361956045048558938033559894629432460791138438913695323236600681421986545167300995397118079082886487862417735792359239542356892357340645259211707402772687436440091455118810189018851125451696418912432831833307976712445584390262578919929457499384795345269814816323096631981901718575358148438301270412061391582832694345958573138569001197994116360120706439206662602198207663813387029203890539288100424064754412405537503534487257775868342385187112371899455606273411670654746770014269421300455199171162102897105327892459216957358534739913436670074190200594068664693936097997231141242405501579546731026206906657696565095275989272313601919241887290064121481333797160560609038323376363208320327492242008548289751430522117388784323926173383660447552101021165313228404430593243502217928919525489768019889310717278662544040439189930743425837149862055998079030298140919547213239819373654437925424756078089952127813160781385778117847413754871622025652638063929033883918008563031572114011045459679245477933517143996959483611254303457981181045798976854941717993941089008884716625097645344255121681753259273054837558762147993673065913901472008534644897780865065577330688680776253496136807793400739045261948776461384683019482055220364752505499750849711566246613387276013012177406747034285667401789163434561728624568816381867407687485833398267798691129645071372231404796651429709612751917806228606165525879567715333654579034940239570878830302657791667013571144833613833426426498666365432387061651159130916636055092456848500909364835817507676451244414072431591116538608008517738066947340153320096546459898211428674307561297908219529732744422634302289763834724235484610466589652443256076104891462393672569670414025494392865236876728865237912968807422946138560614806992326423446161268868280457263796270327059605072832473544245588239981110066946250683152207443378429810957611939851952794317448747058769470581689091503228779052813860340363379963588076672922752304616708130135046764296739239945214173171301662055841207679728545471254357013356859609096558460038556569673024639650620767085538517190489393650367344059201822023613555554378520380681938166725675968815829366080736559655728306477736881104786679819805031282536295000776951468496777918553691498523283122119443777188100178119161624166564670357814785453266049873513008110509159394466693930863644887930002530666664026108370125025237061121385957429883932592660881670537238398325911798398934023068396174506796752082779112958199186526936580955669673524795079483701797809634991253190799196194438821505199011625237650508147083463524316187335904689198130075612935110411505733114886541295491466582527402764827309915412058542624624812439134470891925397249274016264844057081042716600137617438335877402011962748208200727005964671906153983676618299292942032460299457137945972862937323356779874472967891122095971235338364657946306434273279575995844962847126390719750957472389570869422805985358160276845304329555217987270632017927137851570802691780945716523786155717304043309287790587846183715171502274780010283959582344952807358943901470570995228685239578144265084957169742230883332988401143172386205720230958463600446013811689930990636104784278112728403539616293810332239663234671648632775894583936880204488396945705286514320694703559627610187348928089625340691477307170307483805875083520658951208241680771704416874683314271343339507828421493809645244002015941132400412690324419644783383324520557068902618269413630546242070563100783760890080885935237080206040862806258065987033388811013869535337105408742235691881906785343555547282104183399107176359258305536369477740203542981410917613244357626869533821248760344834332491173272243303995323816006652083537292754359896534412717202211118696418436859590907628574601126770256563653464940352364822049818266420340476550459123151751529942642706473342380964307597624758437254238958477218106095530019838110503945585192006862001859841875894571631525185370279047221827694565031327977239479415440913685875344932506144462284986591360666694415491289781162475384753677271165405502302496546471944722662694234336868758632810131249668061410025506124233708989308311846891081471914615278897252452546801525237023199304190891996499515976384416345229323640813933331712120124154407816628196921274217604590937455263475552596590447753518377996399688538159321845235056139108977643870035861022352570267507748250348263269678627015377970093404879699044908412468641755427991428620313882941614184674500515519606316642245719749140445545524242190370584182358188450543399295451135797892684740153837272414732965916592359765754638051055418818379851560116951817706511934644954991675064456611809852433166314637474911856332570307488127790164963383944146695822307849140451533804159605034295157449243323793181120330009504720360562205946574671317337157138509747830557011886496938154835885431152501587279280940548934108092940044822454427642884551571641749814853774437407496694394569995281409240882295212974462779231790943708624873181354573601216089110538052113867280592365374242686970830192173434798946185788657507099768627851952317798524799301817813373447136586741717187921782624832743241079496276032541107538526899549241047474312321670547826371821964294307379292747153514987779073888691979411775165452652091338135608489186946693375600947900213656917364312689502527100610626733235842493397482241772102941436651637926327406293701524145201784064734999742490780717546835094478096501952037940706621687080442657146025024552925869999269070678264251331261743627431416498099743751943242656268079286525905990022889079584917710430134375374668567176827490099738932567493493966431216574062195738314984365617884758396130412890990049523201343974264006185332353496984190731989799217302607971590807264277325464174937942698322918001577594376542428068847449305795413740231765691645747334166554394418783829086664854534753937201851476705575708223096434554923299843755802413812876200388457313840101381875512594712072699882143321716082427082668271079336264432035336468711124942827545814131664235802653864702465920891975455484917940754663963849940955068166855311768456500046383739472768518170932483016080268444299986907776927901717227664044131758574760487039198911849983517365851988815472206943592635793441453476403760508770888603982505537386794312088502819811037025479219595035588996589462144881125310778889324507824864297782808227330493662614945306320852270706142573540192327789810693835258525784932172367414006469495041126416079005100568101875591303270655873010920339436802222645664496634294677528094105095365089412518088367964900977777642358675633540596317158644848077776394299103438636722001487063766054387551566344703599065861705260598858673133392306605938878233479822151621832842288860181249011282342590133915380032115316236605163265766553617841369081516767736819683389053188348658797448679951495816687417579016129751646500383353555402705002112039197517678934599702070367703477755138690874001106038112410166045600915506239219117761615029682365019028708631804218220380918496442686626367096502602087186697760397200821193450122117937840394647207087352181509027262472120104359091747774856950513369646084081546445064166183419976296778656679407046750156572931431251836335803228435544491435950332359917671916324372044641294844070924813083978652190811213246156055475815373920195483594364614213475860800366272521779978388771284366477834443993237339326041277057254999672066784445811556162727097160484818443273674634585477963173317113086257746879416022122326408966089741957711623801271265649023589081805360006942861248781898672386728089672711678246245449447114156697934646372028432619356151829320351859806825550385088704315373395777779262410214377233218515652566524464565006861765050873209031765343942315829296289178194278962261725924589094288375051329155580059194382362675281369015055340458017386454042746247737928602737994635037340025901725639254262178168386322374120494009153299352186386479137119036700235856235619294869001312437136243821801577953862587152195618419296962567019889124484329300639226675155261597402842069733365532536740093191083739962597568162080576510210383925061184212053575814023757208124190789372600894550994544379790431558058678314682293418710639024504046131995249130056638752104984728276867846433926381075397497390719776008747589640662854090259741251052028566839771109156562517721679502840776407924962829452744656269508094770874914045246853048245507025653293295103689435692058485211462913529426121414465804428303018247126079479382468558838545998681706231661626612646156530702347616872876375231903493946279821091180552866859712093944930608410492112945649708835545726918762190101247133009653989135524125944850896549981908538103474048772486171927151326758684206630112367684236950607317484236605799104347018189885564761266858767793669932364462640302246566936927084598047229915368604208757986483269084136784956326882004034537359389827520480578404304800001395643634812028278822313283313200729487298289162066493478502943479616663673812965988187663998505276936278914480901565882925467338495735411879890700963103586226026055725533609464730664372321737584724769888975990435434964181946200865126835073170693413210385423454533558854481773500314056342084731120528726470796217451797548269985861594034538083553158718108969951917896090907610898538299477423680330422463765630355742302874689549278709282892212114045264594659416535097206792768846851203278457800962923860308745708146987304362746266860618944347999607319833929903117970893486073963742532206392700754539195904125612611074667168539709479898892072948417446781238930247721772296632094236880137766483355313849509394009761573255867171568394139056109557454707911756843813183443930188910058321229417967923697664457054942823032936608951443859761729225785068354976721224858202445230522854073650338459928582344964230648351359881138691721431303294038495102789607055632844487424684722935756054371480632157627158623318303826017607068737577771248726454330110501192588835873341143866583114778591161818801115589974555920748047763013607212473324670472974169697789532471551733954182494389781284880419765822693967627632269964891554451893856626300147301292716924257126450334990414602348745221119811397467946343593074154860035484691957527923569297172742993628773455847448150626859815843838729366881943747448568296636871422674555276908842950691683050892929461066694563466200602622872936083600215868922815809497594050799755655849864362888798731190080556657875486478944636524903842227366963696503564718834820394829206882694178612681186597112670643494259897377283558779271354135517957605218250814405061617238077865855140588643909052029701692567440958795490154827993322872888781216830533513068395963303479989205227436988071552178828726121930142260804968113057218523295187675640459091877637516338013133717372408759343832586871064541025001052883305175312388538802264380472241894768640195620303040404965524613017416509936597777128453792236727239176782598598563445756629030886249536055379460260557414610053268487328044619207041511719402305752190310945905678355078816881750715846377975612010359446104542026961592560229752866875766883168634928766853902110195872865761983481418177328906657824696112188960135995408971404556384833930140481204438028849313812712208777888570453704374390228763541475438537707628387380390613375609795503353970003615359718650556593178454261802276812597642278818323889351679481797282621487489409956591998721287528974158622040917724439846357539928601651690866646216284557136357211616300426407374333064950412833519270778276517968588546762536064674469402822440125511867048391508639951398120883326705274982408217168775169576104684052801497964516110968838919087066608176512805053665186561765106040032899412962425315594992189814965327394281568373004573571878160375393618400644098470541494368468284635465870357020498745496680019491522881102249000777624029897015724469959725748657272641360062978321803710011496055706838849124608917397507288970975946214689074749065946243597170428555385905888544172808968025195222229326606146970374887132229828429474170793834307658084520382753074643467283014522083764866945525657710546868581555711981254123335099087049208406761715428068175991747278450568565938913064744703266951854303586028620397059912613939550903617021847772506063594735560689686624002327139018097192605704143584029868121590283641593331228940381221899569263781621760958131984122648468715784601170189838934457175059437010641200777066674722445639064788728477447178599100271085273173761600774768596757391133768671732163278214135976097502981947155165912926842998165775517213973082025921557854970673357381518824005030693392126546348978013632703875996409110140451795083289911944632687929483522768543323583436869948227550095334140469162152578065112621197684364755730692277977598067194016004278246874226349531303358586041764662167775624823108460343468435956789072250721650243642561744094043319950415681113665635818676980160451713219682972270711742761997386581081636450330150269014035505152152402839805555135666513820698028280376532976992301968914081148599283235294525366333406473201431554671448737907735313797093555362009271180613009270097032603058269690921549201957806533139967670204032797255985670380390912680951118279311258896260812028128455681067919720682792511596864092430729841421755384437844342042014766660698714720987348295468227714597865445378838924818621545384884938002544666178874854553242281867970252257004936541860097802128996365575703876034753727027580704082578814241718791814687290172875520605061357114550210785227589145538249157492216985724466251316551721820218987454367311786658585757283786371269049275115824306107379356220425301698007707652384888159872810347705937109866332613860648912608956721773314416635609940858625788322159459394576233233304982644862504665163336262359552832765383091043921540037597163034650545024323358863754215852702593641222469444116323433734594205087363279266599059392232130458521910921345580818121399303771211852883146626076029446879259064164174941213835719919292719384853121393051694322238211131665575535935894064208806596607718395718708674623891378624539774003294252524486595953487194969355756265038715508242191412629844421052624955149193663361055647573200017696925719371827230994383884011003320608992974528731303272724826086191788276437519606378043584386233055193319228072536594475832409146759919582631555905680185316878280496633895979140760261805436364177002183170460207626817580530348098903401466940810250365338808134907672449196197690879550394072713021523186796163410394268736915858615163442289007193640758131463631818819146443164643653636532719312551035584191372141611061039513546677145089162170195335101418835827368872034141552923662148251619568528931742095156923985038128551586288235540278425212497471697766565926973213412894688894029244133914028374864133736616399312159280633177364256629604608347926933017985907163533320368375238325079229340303533124636310688305313158824860748556540038271108242788554303999327241614867886791547008204404238364597851142039589665313176001007606967538598520976977739469210653832853516679725936511931000640468805203957446565289142490236139502844648775015529021710996297111380016920839836226048503012247687923724753481215008993597184624728653727581356960500933714740930242987047942801511678443358763364145158804740945387613006745439846792997220354267982145452915951213421836779569283922289697962413092529264915024179752649680274482277495313283851842474372093994822811301862053450981640310261748489841515270326625470885395367204472665509818088887465045585992658477586320982331454080386847366074155973877899819717717667547694150180018487360495350351508351199045676498012386115386365223269430109969209970957981364810991977703020915878894775476405307170526298271393168552706244806985683987251163780087655188793924148257600744439497578883099045127135014860321628269504544190744778522959001200083981157387943132492661568076343196081566245539106888896519684135545688158417314531199368459168499435602799718059443433687104139132352793843876405314368797013774022630226840158302204749364846700580402789898872479482857304365565840997342243322242862188603927274545381040814348196728475253670618878530103895693862620456521821391385572551781598253694634454596533888370911710154795466393786689212409343852520628431600007302560643203864621946409558425335024569052657799514483242923125992376121027920847403867805353744812650483940772604662135783626836226890553515415771147903883658484745279650108051461922904612233456047378922494063837249861974187015259996586059400486091835225419225637255479897905876634737706056961404959744871252179618212521716357183791670306231695220358658540250756736099246473060112061440356653211909265609956271858266632785294981203448248827851383406854675722639476654828292543659901676423042286612941817530709621226426080785702755201518707660289390936979761074039973328383824661509992143846976668009702238767654779392846305288226584159867059843736452651827781215300885738779577048893257627494159143585407042914537093725678874568725870548369519890030041641245743885326145761293052418351947866964557670147452610039123417926277801564000324071839617496561406463101067155857696440663428452641986995927535261595278506260266596398825882615372127718251445036364650075830167727656452098296929045836245406099380613392509498233801481032885563363080130473092265609242307870665792282657458102544192072197333741143289986505978306894542812898603032243411824656350697192652216808661018439392705473525752668407049319303614084080759388487164009475256680923835881584644521759609117117026999086774551363837501585862445375372020747953784456839929117089952781224768511568215214092030874254521750044157279973313038843238971570347071307090463287916321501352570980085562603620066662707822379996087212707650945605101364432539667407142755264096001919216123666237961721025295988168927419440865161710036502901558603956264298342768856386741457529319733898919702040990926004035789200308043502579148258371716213017751987802681584340155103222505776142278809169389936694198691121017574879394105625288926171328238035342904386958435672495005537144618514598570349441631848498272998058586102274599544982987824115638603500080149875017513793222689432693096620830759772829974681754022825580261903436434364033304585411467597117837177395261172988871225557702797354890436748918511459460338749142599010839941541997546725611175671633794148570313174388677034906598328855515910565492009216069964278653567375653670220321433125998433359485756438764871996360965509274649505361295659203527442434411743406049852750773545012305133808489441931514292679214423412898094976341668281721542488913608924479994043027925307004883292947299842264723677851593947212454704810736874045665062383016802279841663231039051167460456571340777415712542946743296994871059025049675531921055898296359958000212343752155973123679625428609098966922350871636102363196022521116193536228646937974983318473193641628173512357370285123405507182539403181945180138415727696535799236910189591259418648205219742731143328426658845816292645138726672308487826815890166390386393751835586087421957988245923756916698518532221505034914409905209187060598847503921656269408035015081129517925705825337191268240273596177520140920444353178857397793592445037795136129238656059288571630081943727609470142155364139029164264291050906121897587284794977327697603167456958750945515075182799112056212650394835228834116233442209050813978378786211963804984225955621439269028359204503104528943832792272024041696686027899778905222318504200458042583803464911863957954301670320348268606739385637666624478066182165305298255404526079713210370160684053151883036623736758696793795072931512114549091374482514960995203578770350635542843608277970361856115483539461493480974037153653006590410851286328126526354351103537256433410095697046228455477746362813424712745287308055441271642066491619027537671773585413587711517601619473105108293833509721618048602564997098826796561195240473531475937100770999963579649483414807508526778881059342098996176639748123987363951357637766443418886366919842517678956045871041850108303326630185357352786477701760210261677829255915244479151765047387207991271775443254354265703565580434429103724675449055840748625759525362008180682216964995668359155056365991871129561775354121912695112013665939160143573217895499430986146690005453833253188618703367675489787090191429211754943056962205529299309950572433975793210766981380285405207940333029656997017859316449363874004390522309328166984034821864963925394823536290912413513087614210646408244799874537428638205263833579161310796901614074022878587296680257462591239454971448660135597153747135808432681723291429970882258105854652822685711459399388206253591099124499533953653037363956950631896868288342269794227623976201923881758831035156673555934035302919937129065850781907750313802116980662780591602263185017407736058291143436440098689096885079043829186495468631616371926678664414813807993104150554751763632649455970843546576913113962598421381641913218344271277095915180026015365241613714292693940352479867888853764065717382677771815918695105507252378906179164305097345488002350065877019807723401260009617799930269160943027461637645570638067853822285544430178088915734634379116708112537522252593429442464183391554998746060492160081535724282424346475961590302190885155293398587790187524457912370995595563819841295265973845496459271916577542175000626163276184599546875605555907102251840267917424757228208842765253426699834298969831453910441683537943751961163678776285190074368426464234865159723099501052865200258987858390447815099943690121891397741955625993517678688026283544486904862428755847663314328616954956627204721254060621238701647167639117002940057975874481251285725653022053006011629305221525814753890386946305979749369050710604194247489460623137528674244394768408438823470068413371581780433478445380315569408286898830817364948147578040832916891742651281906907059101694907973803121308082390346380156881807711168455930909423321977859847802180993710213911562334124173034371992822893460847567591653374975268424607619690552333089717032261510047670217204290617281579458846069385421407796795221009647532225673736540125160196538086182688872280380639033695288815789087182930007910599087023113907298927555507079448195334980506460235552037262561611768340370543092686177258468332973587599673655809672305706137071398327044010652603964521792101824946359471452119864028724238755898773202222525353879835839956330925624305413679374268497048897735241376434212797249515725662438118807686797582700329933631469898509521419776948963037978945220781369329828226639559957997838686867039611832127668242335408785550191004500644006837386021896578628748411423197603105204447157375654003014696497913458599553770579055426390657521337791235923528552720554075858827137066488587000934801122662156742311300216599308508060344717385213313555354318883250636487902353355195994058038365171922097329720219033540528457161836424284042137969660355282546439367720040015641700355200735358618619629336761622924048535025131029201821762096792628740281686954234403195442438193878055026027894662188187301244180340898860419515371467603888394782939100657161320522892993060052065551140856515800887323095700348118534099232568743360374172599368667866701071780352365864545671521699534090377270243727893787201348291807611056514854413236888944649149886010867149636372141447903605079062606372894455703362988220598364002962793406314238136044827910021380820720515599131925429588791487313852172028480966168569023186792589831523872165212122533560556158192218371037645474830177520586884512795676835065894241171218975895023494989167005171981780508807806486542657361840837040102428412648588146135063663783868547745111370976900251795517914523522372687071156865452588109170675196041233037276783596712151891628080433346002379700892569185862760762164637326617507406315639438428802588129869459718354324045981296830282102511723188513995086442834703673214943230504001425499093341049500438069138079978720966047087444825304662297998802385196383235525379469799725321126350766680459662510717366624347550370504101330730248928992165420101384759590410536151244374030806039019453186445949553710400685161754571671355324861041289242175949556820341512959855811087186866893459938878126633939752679847735723162017528727510038239727786426232341412038090044592570882896422173640992207722356485698731695269114490218999187787384348568799087740019336333074481436595556084385008346896370882504678521862671586351112435501907546098088863892850620528759667477409293580139404095005725116617221247869067252398411603463618181248390458682006733294187277478522009406577820817718105793112175872594212316879927939891227376294341248440165913441141004882792741651427696561254060018889463867776621294938793365494293767209052161328527022826978344404624011156836451949513850375725270544332569178110303499904567569332729734307172625924942101546491741918472186595562178322741664017235271267118359824288030255625421681759984827699139558017304817612222930404961377428674134908458329371185972765088647141259872465418424107520717942411626165301659793305232454407630328285522089462835732213343310930975222813674104761130842127438942815057753248150283814078346529365891926119838291146599956707744590825912487642102446629861919072203336668392671218197616336003812585001796096705155868205041189532422819068449808744423913774752785443439590531326927367445522039497551018675099115240180952545629045710868491892769867943785842134240569338814854936839025455766943288992861835978760752846034315487379861776031813225718338551542071073018495676424416014814328043568240081508782284367562761808288940456387829084264191386640121102419362083029108579008013899863861786105085511495001303782203416471156603254157868500146256070139729154466903088797639137715373310188570825104635681259767626496428388867852834898443192465596073758108371748402869000609002678477464611891393402983395031275490063352159828231487389617779224855487887698708082636945875028281250620634749240858462664738848747928991475698632054661745620466984872028921714551209364697499281750156208190056142807307051165296219730676827325530626452238061946457658455064964720546319165210358688663798574032549361796785066060485361408626953972867645562053836712991573541383688410814645301563084695209280047401770009529513464477387690296446058133796645080997516266860215293071983442909248848890115882682964093737710051618821870087719327557746969126366115293097829921241467615067196681164303321855151939482209899640314868880799613325799058068315622915339652557453108818538640274030056106330622025389805477470937217092780628536070679688102874907057261380820133206790847796796288724207795078636532278724008040180422987653270018856161621778480283539630263973190983377779929745923805318411485134293641387508932659261378023144487880582948496066326925053744454513365126135510550203526289930413950293141820321729347721190987081622039961507222467498605329289592918266862182222023258442395152896480789257089237693136739709629095997831805116762242168005347666191888531680776607970488982950080048662642676028774759856740935603487846202894345220944521830297683495457295905229161954100264607493017876908819217794294247848012414333401947321175068251989426368105064815153340278789907700454843908699228182430429507277871873433823538780618882893056451841047254633539384080425165687853182823252133912472884704642552269795002820351223821938477755678440644961026341177593628559257824040285931774156159598481735793678048530747666319982989473729159218111776834457068708429358815856449479204500717148618019849420762031671614455840144322562692582669239390102407572185639443496486855439906341387992230473505337124014058986876893226541866267444173339164138643169189825687553294626367366202566199870531321649896453322764394453874111358049597132569346983623959379194335681337115684175194784539169686067333568609772534138517439308422990742606844715338955802023016517578051349384192995608131055168060178576728798209560393719441302039414478100905064516651031412188126507519096507791068803267922811219914757295276552260785624581805250716708256952944951029788520141211486333999327526251173772392617835579799148071779626980212165078206031997726972159408411954205890240216229530770966132967739912800280772801359481662203415283085793131101422971663582609297887223756405864411692212827962671700925500664862566552709377872097164227773037100793851281622304998806999143409888891144149263342480972161944424105996415765439205337629561526744253599940505645386024774748972042998638448863737556120238537136611760274896417920464617876121202418088119651352978986354365414491086974747438877843065668482742016442211564123614005754994493395333916965902021497129324586962157400015203838107009685778271770931723353075114846348090734726320281982228655695593241631401058522831069519522958606602575179145806277699554071235700297745081158075510160394713871537548149943707070904661113462375965559682676608412807639564656981421999687996755429013901727384571436386561720947290540055283665252015906169126492627419894800119260868178149891228495791784777374432841238806785837874416866620072249762571188836827550830761074801211389449320521197044209379004736096545972486205111152568776539254193868284523231029348131154633322777369305835470950540935439557590173005572954387095537331579251689515478770575761808122525422609149250280982169340037561123059039585521311484622671663899630856524928450827806576672285390605376692051477684961183537364437866289011324511017545131640779278082808537155984849506073396085435870504767213022178346970358025858858517859854198558887732126160324325114180366227012849910574979977026622862544538399838998720129985681164997457310028994004296173917986011857646202525618278310211225088729372624576728832959685083972185473363254819583359495920555204334173624299530533335551454735988433631928858456233444799828901106604231191209558864915044088243147019592768888019170597338883816056018025245098806257776122196529232765861830352977388318459578555918436382047309359386466460025405601678039472740811782657579095365190942977739679976651138971377955450031730518595916191815107689360817322887036136816349551115763994643824374640782154218347637548079558604087994695972726780299450769396896727879393662667278878643712905769721544700997508226743256977198953078186377063625145863319428758767404544663921416396127763678107465664356733268962247684055922728561096695753145289144625024805252350899289915730144850912541037638337182091859402112045096451984034607521534169110309401824270083676507276136349419983530030256683450603328164111612155933662941501525043919846076632355152244366818233961586961122434795022042581603876362676948414425513652307337071828978234678132314829454021737536527173146143367337699116729209726385566316678652005539754571934026047260265765059589544119853174781829394579153024858494936163413692280390821136916972836137795184793802837764489244660959875132832304198224120958530013051455627376593889580898264363489286115870345153764501568130793010262358845626656142493250926561977028048705055830448021401343557640030148681601006893989863983762638596411127574914643465788201441165305055406459260889972949188644614230399623066912308490079155563606446684254804884922009686140499369784648670216112920179325137189978806859102666715345789076769640306703145213042024366777783831619687393390285706235536902431833521840483198049071613036831770875060741250315850517169136546893304811770736952351416388295726731659595498489362111337135602281241331393585671294678083209492898425642748458114544477136209053386121376797953142149865742565336741186471261779017939479849927137826545323679537617329906120306075688127434491334819616358048089738382598046918752087757352524423262263402124589065741232411626096692542510309709951220385159585304544624161669794433214471941438101405350026130337132225148978624197553777935064775902160395259264421558547476872523691560283320898617901233904009425278579468425264397991543764950918713507908634822273032570424484189461372184086864529290907704023933188690150913732218311140710001026298946953286319558347061033332899657877543376438772439036347462226674779971812946121635055232303207989135574089278647493963127266395562492519305123075159780341235790363588944574490234752682529148084932686743782917020277253079040068413062068042646851301777674982517859886919297950435064769785037356380570160725763963365487929348705500988161321177046635510621416400774159930139742626757073419813390587979208056370831298980034049204354925744164896831268570477004665859672048361473300098020647252816842922967015915561335348023507565398521181076708362773667919820968393021187750362581683953503345761941249013164676559348887984057556456612604200841932761464591777221641636711023577081467946973415181853287605644002596011295214869734026332971708373314140835288279705453299726217300702918283400779009567351343139250778811849878886883023862181913346137783130906911689764487054658438084507020770113444822728505996812809050431304067261131723117133322557444533697884323583170444338087924121487297544119088901791098456120425226282145956223411805334566299536344839253367732690593622180148928544970942543170178777041476814877638865078257570291873289425877924324693254928226251319246971031678678339451673925173182146284831742662219212523923337631914353252652515987949147324997650960823322203566703879086306824481967728570881157133426316401710864076324608025399318822771253594950481029340221939538366474215487236059914842151557362578423179442145054761692251275414924904320321661387886181357914928149874551247330874155066975145237940754429673568513735380156672436366716468261262443992189379388245465002830508111218722571171329754518086506731429769051705333177024672977647273203638146232876139247515041655394231295442036547267860920523885523823199052519484143096866957088262506966415330041364712461915365019455198416359307871208205900620192672789666211754369545864082091819729663551702615963488344320188838508117983619019817590894756004861191908823003219515029445414413556683728092352885998851365722540067896489793797639952289967672994657271183377330085203573292795481123241635367627156470623965435081572937507552610176610915022167819042703904690659151045775646450541320569140654558010725213442899542312219414987156196885402994031518168311914198535206854374049289462387598789762506463503617408012746907653210549812957147221811599228192932392582477091936159112483052435099017017184510942607439348378762093567634157836156718821872972310