1386337679532292284391650353979718388725777239558245584690234100976860478577701876743921369433519619050484126195088257294924177414897862248066551001856777362611314173144342136030775521942338897847237158265793233105442943322763738886946252831077210426683657974947505091458530208655419367906689428200056379500772278496396156296998107540761492391510350212412110757003078788846762078849386386241233650516004362949426830335850665491067124815280163652371827075422191511248943083586403748740513714809485882947574231308646335650265594665430500121048921920414694249541297405717500464155426939516889990510209419471903988066559090221397903968767080931268160298863604356644884775735527513685614675339551016502269670993702928791694737791360847910278956664775639404087320004680419531683417872915934386396684001647600240088886747840139284001181459633296038564072367021678129960088356621423723058698997745166971610820000424059821277567571976343741620602374248486371647150739638844782925277837656319949037297162144704509125910870762779768333614704905532347198731184491590218208648447373119723429512941862603074120398547198091605304487450789424904547608972319208354643140981717282850269222841859767494673494246777415170147368280695196152647851614136268567216508601042543209096428971238459942551824993626177237326376517912376644381927001670834338315523382759115449053747248351071498012494062181041960329810096627370801654830064118117331779520108552416038340875537063911671713891785934472915752855597482778464447973455246136573114939046112719675946850503859172952190803082819629003086438303134904932492735868702963697334550510074155045834720631914456874134688214019105295771786621633017704968029497894604902187405229181048935654576341902037317698890667817706955735103043628094334444376396406990695143175130575905558281188775551369242870883919277976924223773025132678148511697453355007972291573527837716011511585145777432783215383894418943053932733652764725324998689473304358579310937026103331022921995346320526263691038182590600788051203837937458258423399249446703705296234990052509767123384963890973780375832112980034133398490204189188844111350109741413767272320419466629218769397184078784249171850732614149317909558956132980442960550546279067391150123230960152807740175436843480776933891761877592955775977794136613037024806409248173010652028164546061955867867215710718512917787975805274768613998473640195357277772227354911010623618527199393496657734610835853753235668815141680647881945528853981128098831772450009169877660353742426632186694696851684569579849681330185762042847840015332211993217137964094142783071377049303975148377502588604209961263338334841409656775405974155840252344313763920927034989267885210477921986147838930751726607360259020645882158646789135685830774614317018750478914480365273105698604829946665797963033069877421929581984843853768676406427221954467699413276759575463835634233144217002735911454220170030180651796668353099581240292491698240858428094379004731167388844547840601290974226121246148922921686995569541425506887377789243501762276302268565426336557604226627146392397185975772778256911509686728586868351894803927614293816904490390721315476876533947243853769848740720463662223331132562822312897480025026686850026610531283763877025986821102118394287288077405454608942471352112586175105549165365525693786488832000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000