12728377137622929025143999026900004793798243558631452155322705773510066987581088969026254873852303227095951867131234820830386516260015609465521915875344770220825174301865737396989266554718120988131328902382036420241627091172229577031992109291183572123227999263885544848525435418404516406315683611379352530403035492188331959204364367085263843827802036735621671036876119166250196164845015501633449029232973445933702924743262269184941974251510568680553548203139445622693785815480247455538232503183569368334883928241849315177147073536549832890877523915342664483022510944314805782766704919169131607960616622000608976145448651940799279525121595453972102191941007099370976431331951670028314586704704853627786991347816855639113616335404355835461362418619620357873130333904195101879092409076578603621598049800091198774069039667048514752215247270312098704903787365277621044390289316879032029922913061730488480965566985112921203293240008660710293264628225941020283963625339930294014286433017049236621133782261611068253742931844550319795507602666648491479774700421270726123750817840334960827715908063604171210993102017887268689931978855505740272023063833872779000720593191959588334208879960315148242718097519302314473012346028606045615224768996394708066266140488632733681941082990587466943170980603336432956772084421998419439225353812464581742655291237564750849941003684060582285394486216972012703104410658975808681787963138574928519537575106675274002360454928649958648735075175528919057646031877538313071895265342531946322282937431429754952325754246679909862097245212351391127816856874193827631371191592763592090434301178250459773546477760737371788193097625769708789431459550191772483125525930915328062074164053579498890954368300035906063104335648180339484575545698820093807034568153369673075831486795919391057819534138431681532478045950135325905147545897230419977715804085663940407697642092971281963934260087279515782748448852228209704868589809999421039778549514412301287767571327375940050861044687946666634130340994945345603030447021691510450435841728871369910906308574820300643064355073845720773734191594034877926834902358067625290608703838123946935791745241275240619045922757140576631079259342665598715187973678604135147136131082043778112578476894153150293934086216325657355704328494986503139773191187942179838120673550846361616876525912682491426222805576887422588854281987934169398282997271834571788366381817810704902706640232362920889624516027812506906418994273428603403311396135147471179720759342211375362123914018523500515064529591890622390659057715310958939723917719356068040294590055976820788462494969105676901919363838491115516565322618890327491643686838989498638598190849960555587351925440107385558573976001411125331424502917255021872093328557535048575355758016611912911042655132282177152572981930666379629612180892469326480736567837325139181248063041796841702218988631375783055541600173215915472556288271773965911091852325489832576101767523212594596576219678145509872848434244210785971369008959975523527966554875158015872701128845098905826754560000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000