547544317046075932568541952878752556100758799527356319094555545193415736846880402722981683630342978228569180880693360359894833249339336218001584107863482373510083234845725341587754200801450959155765651935646191424693384683606622234921261727997928304640836035878647709892232341453283105206454815507495401673844920691939936454924391088715844504840523856623982792435956849269075458169909812399076727490131297676955161705351827789849939515461509020173627476354576273514309511696414930694227508011193958101292762056564444212013486915873878753065334109243458619784007820733957798664752523017390190532333670997558110522950842747140980756251592207242924285927156929391226685891253883671067531202721435086064710153621616988197495340427870493363217746281740831009308270175104479881458809614270987384749686016419255329582431075820732177652453567956093130062795620518887509309182615614902687147181892949842269793641579080572863047238500613128454373277347806179164695432501663667275632430056143774791068242518726796479821543504783677880379951894755081619594704500653076876964890466681632286866725204887822760058012593094345511526137286386309962269153254376713966160338786210390877721551208975471312339356721282465379485206583636752610042352826446812328830383032844087975375577946443126094291172974351691068456296511376974263054248450532748418900842911806811198532525386932833754522583942699865974716231905455828245506495993658637826039941470444384761993540374756365859278235864439731126923494783722973445691340984962426779411556534703765454559768291559748632579911524872052756776465756089172953021325144375461599531159490848341204731487706064622525517169533807592052386408800886442062425641763305915781744687269588160724064119247967953371851804319206371938734242872622186521773093987421708724536743560017865304283323477702525630521985729677071299562487805426322971273699285577531027529525587511373263705407901534928495390956251608208609398186140021547117423889972928324771216943026383559380318445476387936043160664842196463296624163980689415854699184116533836478759931031010683716538995493015295942152713917791854908233025210753231695857747763835145401585356630704858460275857937581963808780657583362156423027676572652903313276302361264110579151410603282642950421699452834450711389068745392602762485772784386599186750559385256864214146362360776464683413991609787775604152208419673917383386496369859886675047299631783847301940308598674923858500700492213079751967513601442796813679836419046769820420012809170777258642845276076894824146560625949048409812104068339296615367883595047036257973978416806340111569079209788241015141148251091751570950066050532033021106749523906614307208778477434597069297751292275203266831472423758269261264341714544813844555814956519814441010355220483178412152736091011228823421143756051639600426203253376094861490305087717286247416866033587344394047121592249813671066708874874400106591179821054463994074596773799626239470612666721835578521955074464218465115234211572053254588708716628519279278664249716811439558370833459397397708126617761260114858981622576029924998929241064893203918375036404382979055243578429932059137157168224994078620965919851288850179492651088568068855655271183812753643455052885042343098733920284036990238497547442487702095364992586285275311257132807990844103775291627794299555815588192065392528769985778458726440479433554068197187225728825352913792454482744341130434369284223148815461595602436004032767486786375646757508190488182379608934587475449596846432174535276485602312862202748710199227574811246022364680764872159685949667814377735628117351323257561202897234975552752734469333116446023845936128671815085659606902159498919993980328567097339464091497715461974182763754763127671939351305155328640909758626431832827681428694458168472371367447114789228056543676137575536118982765059385960836839210938011996965340712178498098714707836445332685760635419852810790464145822615524155624261514258941819783444435357891569930297988538473988207325877952862535722683112704079123810880274792924492381835724704717747850207452139681171164318356935418351156529193936008044421398098097717840914638642138368325497626513290351254195961240153736622401806117343778723248033452404169051479477372500548471816899899563965945514279701238142151713286165227537427880343817513297971723946597442855975974656887631969074601695016625581873285610545092833054767470785310170134071951470498817860115375385085145776857255305218353839157832333288559074579300923940766091227986194909191834251091447202371884571980213072082915481231913099937279614293864895317262528266509290819165947429944888282779589220879833104374010642273637098964325687181492163744364615324575927722346036352262663517369532979331707365858855619785075477139170177771828253480848244263737599833968562160759699970193324985110312480719856219162176761757455174304172475960477590512144897166143594273325923028201155605663014223624326823780579475915344128348411994251625483771336236610134049582708127032958181614551671579587207799185528637120238106459409932584114257283907243805995807508211117404881474390911393809377843353121192645172858844440341840145722273976079833379095055280596787663265856752445893731418857585655567902322495778146415694456345986766081743074349786294825718173823507971996565587573942205398183986296711295590297297691301142338294461601766635851028263578935179996263772443715155343987362884819475675413658505611569657344537374647162290703849047854979018869695752467545571999454009032371481612365741939727793685090267993325770855229824248454194142459382658246846825982551823860579068512435156595678668753991351894987960829666619163970949334402782275121400844354857557277533689678358766355647663156769396187828763746978249369989969487858863384155363135896992333126118214985555448046549542261558381057536483575212663246846873516263846159998