7215443715328597908432962667183213696289158464494777017307105426468170414812947708879756791551837680964609821726637764292927359528990213037609293713811145433032574449645934541256163295729516378651390241786575762359178942425581490533188512290580626044639293957303730699461140200856396688630068183598574518077929255476002021756284458785934784757563142751832369537251222374325226529387315513111354790767069728602663287177235341629796122969873725343185521299986522497965709815635824588294972587879744512059567300814655461233770836044115921213983376791412305767697441128549145634798644746494791809875247635202409032702996437570246843960047654062247964436678038553359789940250640306089471561822662991766186977644465058607170873258975953385430194488167235918021502827473910524539458413484832881394317518530462653390750354094630698359339343499763219196121989034927235563029438331053313395899909460683390684576127795952517585657149777317567398540165666927421772465995238371676964788175183259990579047226445422775848013959859258089072421787551644198507625846460637240733538969377876819881618722381721489864388455844077978366988937411700756112962626527795369371463383643866623999824589228967336051709345771947742614153309817351663810885333664483432315540038825660254339819216806313376768900191741942760693292795607380709477095606061906591787684320690711177753326570393602655461171970361517507647190519288583623447488747415089809118229290765668770582808290969585516841931442944738511633344539964277423742557386843062482931944962006711413784808692467688184766514684705853591561324867126635067997924424229969529236814292831520954442148887135304168034621443140688068867142872064813321153363654529494704143581464889699510031586883274069499814767983211592486289754593977180773721619765353644726192277559802188161135966894757722564876089178507463265762817478181740211845514418537893242210839441581131431043717436197517935923883683947934003735681593596248614891906468408349033514604187836471221266722337310444161069017262717872887798961268535801921937637827191855305578673008412975595495829211658283931156639317630383159637250478250227022234833683423821272892741803735327803206016471627831579315954650830421976164300566047982811376827624820647646505944211936253505361201261277880465971301749769249775822440965734251845378716056803999316407449166057407513235330560187089712691313482737137425754824585346401224480447979487175291642816415613402641967418488388831779034894105382184175154114487783256823166544721473591249132911359391579944392755433586362248745031993747448766780456848562980342938944382976885285488552978163419632896557149790649882608771172571417947395261312143767347651412111743806209216785902356479773946856200346972146802334318854580241805716962924926803649141413706399235553652498778031055797907121725706416597326885763962017843817772072941643749922898846975970142478960234037191490760714660923048805689402078025314856230353679968338241323549618585019515276073642932578582197358319763920499883459418763929331141639717821652928874549690142793318552152736757437498344389619087985901776533383492883936596756346752314586252119113758736022440479045826227292322085490215523723836237537593713137827181436255469053113191650359680682878896894915858311467390985493016727570298041791476639706457927732856724012290252749394237407679564756547410435914078307410132956976868287628646885798140573096232874645674265829330542385437738696893517397610253978908728642204016455389922937343430627736589966680691184272512908357169247179690223369833674741573719703574266096538737104114465707086773617215379239992051138656370621923532380334337913983166678788004413307630047701651992040236337336939308600382515838522192727196291786962365962703136821964671152262208387324709031539514377900820953965129735553661595402220868394837247345890619752129517151015106856649803277840823749574294467514219294683338277293117005289047761992165565571077807356273654710525493127904822464846839896123736707439238668943696718198746576866150336614736447426843240281045101030862479253314742534158590354684641995739386395582253023173133567797521102221413779460749498334655030172644765330754597375728112253420174415529259994511734901611906144394521901656931015161203862598458725167881215521482246423664470955859863649113398256503174787729228290270392921447735583211511917466007413660146824778421670622139701926703632768952926507285781636168514497454012448131230502064986382976920809931581994714515584691352162502326584184001284397165406500721036286215687925881388839683839367700912434254877805869227698889813541658676495263498302707395570374027284119336649140582829388332441656443369554965614340919192797474255559025063760472193731367226223689852632117624960223044679155814031415823219870536667304486501460178904574956974894851929086755834844325652839164624133468569637942270615832686095376518253398920156263439959530953247555720999129609274464368011115534065754252722905682525281375893410024912619327197822972624337564675220497374410526007977417137203968213856493254171260219907726092507831565752497224226522894504009176740855738335408039021632548875093504729341796614912552237515775886715399646205885959025901450992152425518036064604314817089694468445966208873779039625219802388861365802529956457778169633017438625413925843543966754177599024891968158815365559698611393059483885684856391646068197574235767713104870887343470301414793422226909752927489980183798027814261173741294370898192021659684305027853138321305516772311166365610814933666124466927925764161303173498370908795334472581927751678689532668827972720994687226842511846041547555864469705541957546132919588047696495248352386943769532219054962530787190152957688490562220082606825822248511210191771680645022293836501926825791706330346085459493322612892520015443932686515775618513060429781901542854457467902371681614180072558129971257464421488