45140592353544661492274063384014683482325827088709989967019708614247602885674724709591500900744862515210520971012124908773876571534852823815062021723081176217521990369536449853715328999425466604389931089747461608927315770950221781822280268025063119963544522621041824796382640866000173563783716090431198233783562645821319120824120195244536107270980445694802137066080543589779342769397072459238029266551287560684999675745260654458064610303353120196068770017938281016053819783919028906102548616438019926876539120384073321908459702392820094679078137533714995164848304996263115482759117688818030824274423877905737888932000597923092844424822890323296427548932491405366169786164572261492739993016386543852285603973078886404288397810166422850462968842811612241503389596048935942378734133798163835385303762382046871061215194457671843526677405438102606914135796230281096302029974258479477888729025712455680881822788401482089932611566868256070424498586264338685214023790806193979696999422610080383003004971483823539517924497710792475895169212585997410658997766081706186398281991992388077896421529557262486217992641141460930927827059645516087237771992453905671409345986314833638203470864836547993084359675111302521438180832258318650642220648059663168949020155563826514948283613513873532237707124856604896386608346935696216986737187716059968513405422459844705339161740803388290259800473854639548723770657618593515340468627896135310358541572934746524629932722909483498674653588675151857566557733489424911437399826877156350710075670840065721047457593295103382834024857627515899159615577143662624642720555385572802088927696105287199415566688330646282926188098959182317527516614610543480655751758357010005290910767350918571243455076845659549164661530528815309809502840471011093563719682839303232945471562407075311698054945570333335454487916127635417922209679980205218025973296927780188815881305534695845794142848206970634313887372355136878390138158934555273440406609337489599576439771584588150769182056855519592370605066140055539764305510465930802136959008758699395163624291366098901923357336384755409259034329108660727040141742294159214900939992986409358645974981920691023234864536857235023664902928414466530887619825015495955487203224729078107038555077731726318072769019413648527376341280954982982967659398456690569731568105173150017593499892996591009013227372816286798473193128878449633287194308281826267472551284886737005971473680818451329035643878018257873038497103793079078710600879233699875746498492515833725995971509973411888785404950035617357949145882556566198062681825508087339033851006371898777039570886005885242731831809598149210218268474179731266828629103622964414079965843397033113367063866359764193372543807907030271490892392165696010658084013956374195734612873462533739243315519511717385330156677580252506620250354382685532446802337699018651525335926771038157616986021517382512039778698241459691078410524351620604670892420320145510493501094462330094986574757061840643232311535036422993367950243324172569512947714037373242413037902063330118520289279510655026327880873701377913208208687117869143833213809748941815897855994893123471774941152466525473080534031971039640743298073658326464757497950990900450869230304510423598874554921406498080317706594062147260432625744614543680658228780163466976509206069028381317686352068384635859148546788236842436621718093044856426344982365595529225607762522543311693433205258359440943783936579440883801470099563858243695353574772556517433610180510315716396279212212675318096097361918680827937119088890918696379978112963574130683479497391948002592200934224392125985018818507849908329454163753269453342730650354491506225459263479073161451988964164312151296724956652782420615986017751564419918707985762479339062881687312526467032506890342344178959710452161364177697840626353773647006811669886466843427280519168000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000