8013769481461864199351696058860758279076516763042175606737532809856049725445790608447432819987808295411430829262590680860261499732681279007503593055181474398329153132567621150686516887950872601988716297898107842345043529804583884667116468741458739281792233946938281377206672803272475415579492639269503401662720213567392404146903699757886585496174021162851141220501523498733204344866017263346589183887407874458629992274549334720867139367991714100257531977726856412625817780569519018807643686724435224926546508442196368915128294650078489797939285507182363005486775132306497902494959083842681303610335287891967814721367039009769148508431503600566702677407964279620808250233528784747364731036653420086142639387246044393213624164785967986211747243353754291332781531181972920973171843582533828383944643002584944059197595711018145547826835041167448777334395870798106476524800995505393195630962805128827454468875942056376037663514897737317444275568329190791454511835442315714378374688172529011360872348858567480727061918456079849753981714234259489849496203350667125788351721261667428257732738421599571487347108798372171480587809886897436950953209718864862987522758241590648868229029746679925256424817653399136583458509114700217075858194759382942004774518924724028720993521691112586698756522789472493345269457317153222268258564262398853101656102212185634382849481219308826782124998863727941713852598723992966157359974743351961012647255562979812990542572375853814067269045709529439049408934760348738716134478149048187232863368233748038567953572794477537306591454930484316402998206163033264698802885987940742636186966672049916623738259054520972074053183133953682472877051261994293893764366774837320334339661535301816718060504744216054758448874750318559745447262314904101803669913561558893715533232583344481632324279603196511235313729451834567703926813438471946566784267902087733649864246736428361198166145612473494288974758959184688824265778168895708672328033724655320350318819249980057654264847531671050266214305000209677151960271538719494609714482972759732680726558164718499721430526830706389505065011419708677044413198606189999323975708275964454482188797311454636829910415043606529889286711001907660511703349554238887984851196702458444811520414344958663310957344463473125520132234768138519128579348210939293281805762637267432708836861771808723113791420833360161270487761775089884431315955974856143759901161985855897156775551727784078106992141558693272239930294953262534392427433978202429552559267018421924974034961905523302324741073097401150852557807917517171156428960894984292354199874163539729373140724984433228606813286827610612220947812361773586083135469878539856125412273048650438633552806564412390361084466768632923164732222181926663753473295601368042712062407651729596913472721756419967035788391232371615798159128723601771240971193636357577484480920983403779852418986447891423122307941807542985616653479908187463786579493876019266539149678944909434354936981383735600351621301984148814249294180295807384435579561619694957238080476477436718727199267168285215097567017586531239139881098334880336388818598945031968643723705708996380621257827899653667436916771056287939971289044782615714591038590247941493031496668358794403625926974329614187767874464425365306279979679324989946060091624819486487272532716728397868148749996609949519034131843629689008909946692163862791675797551094569279363566659159143249437172842128544856660889669493824641496257237082572434710966969476226948432859630414425014613239371311581199625184434500187191833629127071354468077906772417970892447174879499494422914988932774498434654929211137714869564984219832493569336732530770445150092419787141161741514989475522601448190138841180838364594759451229563742669210292560728040537844210764603702309219527847234113169616784342598330891113646508013955979572187409051966219671439958683148557592834253431256323079438820992664989669885642725430403218665474306535326211283185322944533384286931632383756241786930169466503495658691149056078562690729928325250073981907746364132314783791683924765932702376355354792599442461027108330866385054543224062888640296394219608757917057528985633883299324872873295063746875328320743810722505491624186523769524878822540929254435262780465339042098116842786372063297576298100884631018459236750291033455683194630299301914583963173567718867710823858055055659514455813661052631905350119871986458573087432499587522485634236448034501846478053383928306423902044095967803588234999520747620541819473460548762700890885236646973199718799548438336776907344503521337534412129897699442971515189065969694676024445630221760274048129842242398716793954177171646669712261134383147783381624797563370340077723938174290610445232607798937024656655822197503889944429517177192662116244875179036619553553376487772545108591151314151636781756963813189265509485185872769085822688636046248047454960404864106775279975085442269698641727950983975272759990627555970704241343465951539885293264059988719240644381216454488542601647222629448489471428950802374013340604152848896835054488650989122157813988402462611675440998185596163206866876518855524392660849135327554527639909728535447429227515025793196496538098073712497308258865637785210350231085073849130379804624168368457686841218850776950330545173478933738122556682215306628751897219771676622728590278596488797366933472424766878819360630971935037133949924485436671217989826353666504246243603761775271404696469593029077891352193142233963465894002518627356456974624188473911000909571288106930889981138737459180955622310804280679093525770088686311755995321289101126459681955252429549358258815046172390711786967930409586782195958357181460754490118178218735057410124719329367104520916074975160498272413911766169489921922977436806664917843317510958935196895965650698081702151344603787649284879524989834255385435