7855521865851045926983412304778581108277471765786913862016723727840924724151301484467508936239195732527860070505818505064374257261437748872694438625969800567828993715790350119403640175362439922029944568393045466694003564518357843993746362642332843261258762483201757997824811379577131503784899364028705287449614169280367217482174512802573331026963915335332996727472368051112678702498369844324028398184519712537766808053560093115840933986958535446626697438908270932105370119220598731973833918939222481940183115839358513962505458396352209045544284331877482829945416952683471670668623339614922628359484094063622984381596628722371001084238171633751899966543848726540879821616442498809971585450005701953811784796071517277698154234487950126134676384442110371471902229495444626763003603136004238974980698660784668513436948557073056470577987875874243993941869120274007832329226955441699713884619619919889983831271228697976539475791468142031065440471729833445996479781337867497374595728271544215144526614975320243309525913715230994138744457156918344746061082856390911237536369845937277661249781990596764711587340223556862008487119172727296484833265454228193951324281375046228270666973813744912024998299416957258325138257588446653526886461017318635118727779637238378518738243925055108712778859209745670211862281487244255989344813585099218110982884285946712548018878254168556381693891058748480701460122881382077630231179136444075753729092166761798406207517103200426487553688661225694491746248617928685730651058108715878356082837581756482274037930480059845600890736884496632535135414889761151059359223938325218587538656146292771342707565113109837535780438146816605489163207873484994305230691586662833193618692500812205874482897421231888497306913399815169128170110268811778406818412169084669794687016898711929993648088291986713690484853055987550901224546160558360694237257542676266301871647681416095945322289572295061483879967316542662397841477529865554714854374501732964574178392415429972842082328395760622266785122474957219519188775434122498745915147156711736327037982400157189172980864667529501194921062593627300985031629140391268476512974488960187193625127538430777455877575059204921984329715392035038118134044429113711568552248799943838158431696366298143436192828087771935566916987100123256075491546234147310136022505373021048001124715661262376854617949572490150160256254777196867659605984580936124841015914124512541726795497463136616743992821591141653046518504142739475555654722422443109525310917569395992485413078683272285257244510576245422993151454255409252446657829565754511651932706311271266529613586662433764459825457134399205905632118419555659729881376931677151864294927146364110178486722224998326551505338680996041553690996171290144855003348895460092551249741576229672702215858482323487380139213072258480896065534075979184279798445358121882470577878385022655759391506538614507555457541444286964813206522440782775200867252359423818263161858421892946051433096977969673599324097341182769672725188996263361876661329480416617681717833961014417969929562284431186829315647197967181839172389821884456882287488201024691775745857369450120990833040387322241703689782477972234296217735965214501516746509343230213546195628098274289805934984626528612001765659279990649571503756356619334289267827726651068213480874722223121176435948456434246595218778433408611358369274119496321075209723066248769858323705076270216942476995959579570115126915726168093256278287063139384563740343925872011639301441373997150455645484227266654843789381433779245495244376579106617254925409351949891655733176405148976531804704594537603736665911643700237768693352978079804476601783721345389953384716072200222483341083603940603613971681582530273191721353113662159513886891856966004270490301023292934033064822167083041032526454414476514178881341584660334051684047558027631281005554180294615511467467647323638928937380347726853338648817218356682451470565626246752189681537814498995085763621890194114760656982724761323526533689847813816742828127547509497499423782105758697825478214619766417145748155887511525192708959214666582979574252465298697786081093867404471621812855331177143835928486444430395559146764824758444677894250030045102775039743558267328517405346271088439144468165307621295857946919394868160623795514113446613840046449311102477953676472673518766107374022379479367335796592868113693707913216383031378855747613765582862687666137629396695780107256712664701620244442312712251267206054358817613749145319477229623045396406853153903169174703580502352483201841947533619141559766339709879446441525777494941604108820767666556715863451667334042162785902500825792446631297796689261148426262068818276376326524916911993412834557719660153229235714836485621552202979107262810944336097139334595983674295916865661874212091442392676288301835583808755630966783031406552923698623052209838760856488982854295457781948844265984227871827289328214346526206539471462997614447774117555038317609821063869722280645645392939913096738083923968616449049566081481521878593865099575628767411263508471487036534868927245757394783597683898376342202483338132836215951683547271151863574735585167572005733179176488482727027198674962488932123594497356365429141278886551763456178669342772915848596777454940713828187740095972277827010919120327815107946977383851245671723718708799549979797611217890694808721745829291474174597626084292781417401829216987635067680946274303561354682625780132817417440104965097898012165535715006882431881822483840011805914848746819513201951547935166939681379243888168465374497088551930586235177781485515716403241434445765484397086653035097367991912628935568295191701618271615196862605370024577875119693155443490512883671079556194373815663978859058145670886129369954112179869326316876181685847632208408973688947959398707634057228828654939770144758637752114194958525146535522838711434319283922