83194757527399803123280142039599433614812362091161035826103170930562393776324499128013610291362372342486429098286766168299630572379399996662161311884568023596817456804315832084625264985993264216490427982948274691259348328689620345741509193992747216402581287899856750937448364835755232741496664246843129244198509443615865206760854535326759153880206641934538978027167499849589783988149993272353595687949608472413929515773706347908935363322259694209120893314131518626375835618973865080233141216093743929934899224527139902252280354051854758248789053133194188309539537370469024990489307175610373564138921662204465399189828670823388353160416994193631749761597796662745573709424561155743485116421498796939998786231169894101079222163942199164917346518231904598916569150806248657708736510528636385660494977239743385011753375670194995139947595305983734059922325294870139373994135913290971474448358704874389679494032088038276528335454139172893512203154763216106045640352594163897496924542933845365937628584657003225840973394537129783737888982396238794163659731208362138312956091293942244831053706287425457893191755672942425665416467824741667680617253393844806721709997049246881276384469653627582317564180980182860538046014415357799805283169731324868297912084944362333799908607640117508711958740352446937846287139271702657160931807557172537841127344627459493161148826332732158330421310150873417742353136694226417688871415775713837266718985498025604561724304505865388710304268724829338931278016497894490052099499350972706482510137570493745337838452433412492295854312595368499730817310414982954774677626564598833785433857676951143391970341505372576595462949669053207246188617613968957828989517235564736601129114420825582137891836504426838509632893772844615795423734041949367652697055534584286535518564541265538440539105805956019832495472045007837852559812458236944488153723675686217166351633613976335439829405379242931725399041718005914429055937386190147537729888691125788926634147773120651272741129691495954730483819424381254167055898941162644777021200546956337400726801675510123484126746236447854785383855557453821729573710920742291249163451149101966522044947602639097072959628531835626146461468976078580829379234671546271958887918176189024930446751728389066141789495988823719198904284183673492234926792369738928139515684962678704056934534276724241532809341495480783272419580961559428509895292670944636587140908880938968198940984932824178064895329486841499343032969020143240013561684794566347213056402555217250816456159249635817157871307746229118535027702359294273213312237384719555241895458991537225022101762848494207400870457132613610641925515834946798864223311626914969935338961376209113579152161554736723285592891564978788797183358577748658464728438411699076721777038141293563654145971425495432854161983283708207464374515955594559356159233769854819586652481415288126278044343718825451357815952105819226259696673468284930896194323099131088901122145472767321515805328707900461797336744713896938331382364034638825777345047322681291588660962743771056797278598965649646765451951882156197586049975125768401824456415524262938176702405940295680199001627653883193534687874224473853935057987097164797099836537060533989690597506677421627777148823030545958947662169329991968619614263541719815428951313201316823173429799416946726248329551024934452538341686183268041046893225842276118864027500827331852043396887909418558026935174367135218465163306496427249647472131081185077226389417965744713238141563875937986738543064844339654446335853451159320687356095213354191483777414683382919380780071877639084807240293396781374673751831586387725990673214586838494897703211058112249884845958651523004055183164576022423226383352774744742231476693576594791363385699061718667986210635662447538747447320348573097190687389522098129401432935176347570742662657132033374491892867899788742574607599166626946062624653311311301169064269005911296215231423725155812801431363812531689416952418412008392815858263538735994477736685481847129464523821669309797211123501882487279518484234090391375994085647343604524725743793498230765100457662115523530230783988640340917389825939734482793328711256811598981763613500114764822371457534684559384185733725135809111257005161993960089118681093733152273571597244567910373798229379850042598760606767269660818018602585751792876438429187536139647323718040019115878314919821396856124969040153754604786445622589369567362908428708381036093624266329091855666955001334531989143350262667119208025191138448920957807388477202339204815439651581457839569288850783194694919619477754934742133363344213458461926612572028953308495033895495564202492890494602710640164536859010342799807337863368092122983153291334317828015599713625746606215934105667550928195833835263518683381563118731050820480236344925170502082379629377283443468712985991644742694965837843429176501660814286430436895334549575592999887714173421172960523096246685339530351312829588463768094640356726516152169426273735807343088934515493914834401708968392505637860195589330978874987476675239502862241687365390071463657973651677302058320864391471544697976480254845536495446273523008213565231803175331232064639744435284168894875661326694615884955327824415881745100281410545325823499693562632433488329857628855685623359334656292421013692689662334336092558942067367256611882344141268735875780332578294898164238236538929454687902470194864203738733436026549489737875154955634311709223175054974194322831616729503539296291295248245870642501256514684991678834280851015851154941588561695603738126620715201253329827942114347174955247877937161658472715378132211608916842346513147992637805979784195597788659203317747085969930733124647777319288198691561930254915030412088063280390854271308135497791986373227836582855172889818552442310093801188285956164256682052845828382343676156173281438344540458008172