VERTICES 1 133 254 1 133 9560 1 137 9568 1 142 9573 1 207 106 1 231 70 1 240 58 1 252 43 1 288 7 1 291 5 1 295 3 1 302 0 1 1238 0 1 1259 1 1 1315 4 1 1357 7 1 1368 8 1 1388 10 1 1406 12 1 1414 13 1 1428 15 1 1448 18 1 1474 22 1 1516 29 1 1527 31 1 1557 37 1 1571 40 1 1584 43 1 1656 61 1 1670 65 1 1718 81 1 1729 85 1 1737 88 1 1787 108 1 1796 112 1 1946 187 1 1953 191 1 1958 194 1 2042 250 1 2049 255 1 2061 264 1 2482 685 1 2491 695 1 2498 703 1 2508 715 1 2532 745 1 2574 801 1 2654 921 1 2754 9573 1 2794 9533 1 2821 1255 1 2821 9479 VERTEX_COUNTS 6345781000768862624529929566435053674128968478988132367859702221814748156030766583132416939699927004278542002930066422998926932944992833515340334424778042478458244729847895686387859456000000000000000000000000000000000000 7091542195478564461197851374353037865600806787110154574234366724739021690887724162598684252087844920598238278833380543970243647660678320980455483499889177495231442257905971841665733584878242401419475481030170993799632484174560326220923315884788327151835391901268205967217154380311822208252294441353657060562021948214311148929785514054337202131447357895303638216038737739763243985297137014316196150192713042016876209072980460797090610106243346379114268268046635628134905487147673107600002895491137007811099379816423124239285926166039496495081513418021102851231394166115645021247784803682934665377170504326381438506283584923751937940424509654833242776690683253536245008964995774860943529564822343126559738080093759312978901111690701113237208491376269135079872901515668495603950822120203889822005209725670080672192661751712144419535781976365072465057206457046050503305796369528272888053403059769495989061930425169949002933638199970018605877025644993827180168674890423370935371182323523372120461146578164480883075369938448477000021900819448463715315679000568196747926438957569414011938360862792517790959575286682743090828516396789405988925664427209891822172108945124248557857769267906999841110061717962966610647977427946939617493790612173480777109429390678497303894137456355278926402030461857975304699044027748879796473458720927286067663535187781822908834162387416301927887303078699387933801134019144062596937645319710598083617428091043858574447612691063793920016284163621559396331254750587564868512696744265903062812966839949312334268737396301259321164534355593964651604450104198109622932723644879505542190888748145776426634562882385396335375172104095693957708093270666068894516249148887961238902684256491718247312808320768285496923597540253297448628597029710382870988125173452368547379804301216866368554975864067486678868910226603055111143727147005789686557013938049634059410171498279632580519838214714522736405559749430825017675683844418330115157190237543731714130825893225451224461026426426819072793070386500329908649396982718495740126796995339808125410573961281061426686698599238542021269698307284147421004303614254713320444965225617725459008937930711469722997862681044193960895571085202516038050397169320712024469487423155329401178087470463458172917180159234202197279916754184555014601582362464793773831828943637422826039135415410640175885809166035057884171037807836106196179050076397751893026545083133172234126200210202815122839020213572857118928005319835211202324157886808050918897180469769305470068205014751057021427486475309944140650699475018267635946593537790724052611760453739934802467144885705111143722210976322425275580783903901649279289251996549384692921173742846144065479840060998937120441256898441936114480397977278717135222619562442252878724136246553986727066006847087264103395252848890923725583683692031072063102444819207015832888039688858167617910898846801716589661320802631700873406167982752841076762972251573795420637457965607703776934677886295668086595511225718814080280582682179524777648247500089363469399931537309996382558930511643132603918038147717152729170346309798387781187597000573278782435007370158910492901594673060707438748988458404305667181876811205430042526179867391831815313194078724781092430845027953398793718265254976499287842074545876907991350590049183033180444717172543983227701898788144206658506893506765977558141226711480760071501316913969618338201515911780470231866684931847815703133737894949342674961516760612295041391887030638735668741296418096708735275870303850757365029181047964609761847055363486976370717676944631611601322862016435735991677512866694091485517732591388810484004321388978308794242670325837635502574258214876937285837685185524298494858031051129341536315515410076053858321425844681144033856281964311939395721063703005855185336347818794730665746452477331738941010008764748766834815326668073243307493232496151398465147757731205820005087716785384579562598601763479329709932804734957985644215871206954823587433258677611597059459855777205323672382801716096801345276431437630186410767156325318357773505377057269823552732697755689696489459483175188778637238588799724176733604284655911837926480847459542718746010767876392963049325246761540072267877246760976729956482016109798890979736592218824573751244805583622650465844704013534079993620079147939908974066586104854181409172471801652412724846036897493854719928449139012564732049066733558328682750254000217290514259415702403197495965461336504670459301657561056296231634934681228556214085168333237225367845173285389958037509065013563525422335470449725110250590366947664312939040929812604034576714416531157228775164937540875925613739821219623913139109905452438152366918052037485737557878241972616743763512887223924281614892490281575442535798533680690630848280879425772869922257442536237727737544904743774884454917234735808607031750079758131956115846966005995033356684785912768133505273230110304809816261403365827917715115105629415630837730255669639232930686761242551926374789326086057222862328716180578231197601811884972712601460020127289846047219847180532335347964351490720059297308738192246430775211873391266556579188824900048243123357919507742182880434072143549311431428344124743502202013353269403384852298949304727575939491953366894700206537184612767417853765658928824142014616195003732324118548093594817670908645407936804577982877956907173368841198775312917524857767378015601923752755707449556977161512996788104179986937954538504823745727700945107574639716003690518716899284620380977870216195795009652935473240703025446852978509925534457543211406033608925002042555322686476911828783956189496642884217052983784245584967577187553487501081265315802616482092613849977688768513060251397748193560660145605871283824650338394152069387145651418783885927896102665008400033640842567341266490391487290710115102919035648950809878950341020231678623863173694499084323371092122143794495325223934983392304101725805370253724473692015576331033328551783245251922377063240973731387514150259581335484740747138663586394355060644521452137616074752270232639058573384174715334643999856470416983550135880867437093589474581887457132350304101380218024588556888998200641614788668385849536464958028833643936123288548357367933758955990163317967731672695634511167781008486671781431385281937058214202064848618711810816863036443617182994480954109205171869081029510870806973651088683722470114205614019644425765697271646932705434389342147678277239000105111380551444512275293774419516722287786326569199431013548208034319632942588310052180434855313953032673999214401325048841414752791513855096308640344959691568036159780623470839592486811911246908827513899592412783053522987016696543399878099258618074583695225224042821226702153647630773840152248382559507661918589125909146514831327101205178881821561713788804814802497955997771045419261685467414481996461889420626563452203012395916436852441259950798310897318900841781327858419029531032919414814162982869918549155073996148261194818530006673920321697403210486704744800824818214707996401553670941451528359548694568021846286137431168361489383695297864899372033643233176710475831013194928241036840543047743562658875237731039379356389112651612272491890015916855485760188944501193584872535638364898962906393639686338213752410424010535388670259260919818350898233118679527094374105715474789031834893949270391368738475776013469216419934972252076870809617117291352720969735203864557444022527206829852969868306091050073157349342150877809692545370750757496975196737812189746879002673046947562544373673558480330413765442299065878036575290297956752027730199251994148422711549850674810287544426408689934818180769325903309189287700618746576913261589727263273921695270750230784488380106342391710399290438915564970174970114038566619657445632086165416598831647295957607819868834846975023090308864813513397851638822661952386019894101124967767554220377620442670605760254997278523190721128419152627755886756126599505454764122750196722682491421585160124293276420337204228391112654305769710475482103395765058481922860341758469582055523497054635695256860427601512616400252147920302265956491043438364423391593235016330698966736606591022519211972836119852650081181660427877649335213530952444753232192293602667190727088387162141305568115854056280336189644377148097305232206325712463954529487859792872532251544710504107161474591835186924901151797072175468793020203068039194861556518524493799061293514926692635009782190066320316755625781465991846573698246847363743807257677475320647714185134372575504180662838417175916916901916421471154783547915079487387372059154062461386868548253792700565287230653212377865947288786026631826660365252563521569334498924314292785189636726716268641191300269769737665793560657366004322677609532473096031158501181738085658664053003673366009435278579886727061233651749764533321165444050535517516571193508056505752496329592018971967158015697997973047108551311360000000000000000000000000000000000000000000000000000 141830843909571289223957027487060757312016135742203091484687334494780433817754483251973685041756898411964765576667610879404872953213566419609109669997783549904628845158119436833314671697564848028389509620603419875992649683491206524418466317695766543036707838025364119344343087606236444165045888827073141211240438964286222978595710281086744042628947157906072764320774754795264879705942740286323923003854260840337524181459609215941812202124866927582285365360932712562698109742953462152000057909822740156221987596328462484785718523320789929901630268360422057024627883322312900424955696073658693307543410086527628770125671698475038758808490193096664855533813665070724900179299915497218870591296446862531194761601875186259578022233814022264744169827525382701597458030313369912079016442404077796440104194513401613443853235034242888390715639527301449301144129140921010066115927390565457761068061195389919781238608503398980058672763999400372117540512899876543603373497808467418707423646470467442409222931563289617661507398768969540000438016388969274306313580011363934958528779151388280238767217255850355819191505733654861816570327935788119778513288544197836443442178902484971157155385358139996822201234359259332212959548558938792349875812243469615542188587813569946077882749127105578528040609237159506093980880554977595929469174418545721353270703755636458176683247748326038557746061573987758676022680382881251938752906394211961672348561820877171488952253821275878400325683272431187926625095011751297370253934885318061256259336798986246685374747926025186423290687111879293032089002083962192458654472897590110843817774962915528532691257647707926707503442081913879154161865413321377890324982977759224778053685129834364946256166415365709938471950805065948972571940594207657419762503469047370947596086024337327371099517281349733577378204532061102222874542940115793731140278760992681188203429965592651610396764294290454728111194988616500353513676888366602303143804750874634282616517864509024489220528528536381455861407730006598172987939654369914802535939906796162508211479225621228533733971984770840425393966145682948420086072285094266408899304512354509180178758614229394459957253620883879217911421704050320761007943386414240489389748463106588023561749409269163458343603184684043945598335083691100292031647249295875476636578872748456520782708308212803517716183320701157683420756156722123923581001527955037860530901662663444682524004204056302456780404271457142378560106396704224046483157736161018377943609395386109401364100295021140428549729506198882813013989500365352718931870755814481052235209074798696049342897714102222874444219526448505511615678078032985585785039930987693858423474856922881309596801219978742408825137968838722289607959545574342704452391248845057574482724931079734541320136941745282067905056977818474511673673840621441262048896384140316657760793777163352358217976936034331793226416052634017468123359655056821535259445031475908412749159312154075538693557725913361731910224514376281605611653643590495552964950001787269387998630746199927651178610232862652078360762954343054583406926195967755623751940011465575648700147403178209858031893461214148774979769168086113343637536224108600850523597347836636306263881574495621848616900559067975874365305099529985756841490917538159827011800983660663608894343450879664554037975762884133170137870135319551162824534229615201430026338279392366764030318235609404637333698636956314062674757898986853499230335212245900827837740612774713374825928361934174705517406077015147300583620959292195236941107269739527414353538892632232026457240328714719833550257333881829710354651827776209680086427779566175884853406516752710051485164297538745716753703710485969897160621022586830726310308201521077166428516893622880677125639286238787914421274060117103706726956375894613314929049546634778820200175294975336696306533361464866149864649923027969302955154624116400101754335707691591251972035269586594198656094699159712884317424139096471748665173552231941189197115544106473447656034321936026905528628752603728215343126506367155470107541145396471054653955113793929789189663503775572744771775994483534672085693118236758529616949190854374920215357527859260986504935230801445357544935219534599129640322195977819594731844376491475024896111672453009316894080270681599872401582958798179481331722097083628183449436033048254496920737949877094398568982780251294640981334671166573655005080004345810285188314048063949919309226730093409186033151221125924632698693624571124281703366664744507356903465707799160750181300271270508446709408994502205011807338953286258780818596252080691534288330623144575503298750817518512274796424392478262782198109048763047338361040749714751157564839452334875270257744478485632297849805631508850715970673613812616965617588515457398445148850724754554750898094875497689098344694716172140635001595162639122316939320119900667133695718255362670105464602206096196325228067316558354302302112588312616754605113392784658613735224851038527495786521721144457246574323611564623952036237699454252029200402545796920944396943610646706959287029814401185946174763844928615504237467825331131583776498000964862467158390154843657608681442870986228628566882494870044040267065388067697045978986094551518789839067337894004130743692255348357075313178576482840292323900074646482370961871896353418172908158736091559657559138143467376823975506258350497155347560312038475055114148991139543230259935762083599738759090770096474914554018902151492794320073810374337985692407619557404323915900193058709464814060508937059570198510689150864228120672178500040851106453729538236575679123789932857684341059675684911699351543751069750021625306316052329641852276999553775370261205027954963871213202912117425676493006767883041387742913028375677718557922053300168000672816851346825329807829745814202302058380712979016197579006820404633572477263473889981686467421842442875889906504478699667846082034516107405074489473840311526620666571035664905038447541264819474627750283005191626709694814942773271727887101212890429042752321495045404652781171467683494306692879997129408339671002717617348741871789491637749142647006082027604360491771137779964012832295773367716990729299160576672878722465770967147358675179119803266359354633453912690223355620169733435628627705638741164284041296972374236216337260728872343659889619082184103437381620590217416139473021773674449402284112280392888515313945432938654108687786842953565544780002102227611028890245505875488390334445755726531383988620270964160686392658851766201043608697106279060653479984288026500976828295055830277101926172806899193831360723195612469416791849736238224938176550277991848255661070459740333930867997561985172361491673904504480856424534043072952615476803044967651190153238371782518182930296626542024103577636431234275776096296049959119955420908385233709348289639929237788412531269044060247918328737048825199015966217946378016835626557168380590620658388296283259657398370983101479922965223896370600133478406433948064209734094896016496364294159928031073418829030567190973891360436925722748623367229787673905957297987440672864663534209516620263898564820736810860954871253177504754620787587127782253032245449837800318337109715203778890023871697450712767297979258127872793726764275048208480210707773405185218396367017964662373590541887482114309495780636697878985407827374769515520269384328398699445041537416192342345827054419394704077291148880450544136597059397366121821001463146986843017556193850907415015149939503934756243794937580053460938951250887473471169606608275308845981317560731505805959135040554603985039882968454230997013496205750888528173798696363615386518066183785754012374931538265231794545265478433905415004615689767602126847834207985808778311299403499402280771332393148912641723308331976632945919152156397376696939500461806177296270267957032776453239047720397882022499355351084407552408853412115205099945570463814422568383052555117735122531990109095282455003934453649828431703202485865528406744084567822253086115394209509642067915301169638457206835169391641110469941092713905137208552030252328005042958406045319129820868767288467831864700326613979334732131820450384239456722397053001623633208557552986704270619048895064643845872053343814541767743242826111362317081125606723792887542961946104644126514249279090589757195857450645030894210082143229491836703738498023035941443509375860404061360783897231130370489875981225870298533852700195643801326406335112515629319836931473964936947274876145153549506412954283702687451510083613256768343518338338038328429423095670958301589747747441183081249227737370965075854011305744613064247557318945775720532636533207305051270431386689978486285855703792734534325372823826005395394753315871213147320086453552190649461920623170023634761713173281060073467320188705571597734541224673034995290666423308881010710350331423870161130115049926591840379439343160313959959460942171026227200000000000000000000000000000000000000000000000000000000 318968684804988301623084069944981212968620375446789193429057947546206900232893266884240845883798728735652308912355912235455413040113347983808356046014055757600390600075686753375232464169955825505756679058543822294523978881313333329807700317965412927019381276880342594359817958717305384298115100886055559979162862324481476760353519835806363084116643767396100165270800408400125904389593113668360700264291404330470800077982226616997913929363130577985417953283777706344002372072030440605027952773000026600831851489775993475516972435746384708868944590236196393971726811005445373558775368560435531981427707541825082139917189183010762786598379251234982622996294217083852835018053710931677044780426775494759471828880920930176724505523343700181991420899959683220587029260150504153574303953816495232806985323505452456191289537357927768187134497789024739381152613169311630097306694619228346975049914374273621087949962793958835146010797102204003183863990817667349868707359349849969411832645493176350914569770091737512513838068038061900795090203822994262945518058939234217177216637082030988590356543543875484237209446411842724542222587903878943450105049264475047351119982159231015596252990880006093152930219653103885672644424231316747119927888175686139944650220487136591131600660921953900466332965330250066384666678310465265769363486796243190717335745566196025164986468655262386475724299440601708663462934220511467382832644103115604999985321538124104779115429201429699133053208080518430534880205738507019708532326572995897656862410149490000545834013129804839126409993541198877159803297637911742121580793536533178909404840818032709444256320309309409528500899829658233959654721703689158340648656503531587914970471749660295561673151400019000804181917908509838474655302905728493272279525038294498517288584910469963305792450761305091018544907736763726415813643403415564468119688157788417014684471904038037089025321664060330222658271805118447831480478676602515036760450616288804791267837889393523144756630891390995382808918722767538262908810289050763273230378089347718131106850539479848032974551768733940482081922433832277417375861156362618207403693338002724277082770346623495828124570851917518715036520803689640978113501936630534592051737828081127269492848939864689362605463267318643109417015441163420709812135885394062408479288483848235354646502519673451895962085448511486297906390472981845366462542635859654018838101720393745955906725361636293811835774421220706086208460521723584073634389589383187230129870390815206819663074801120545291547299739014032032502890385126802836524627006372302671907539771608287644946789492199290400799788425515430642203469388696292996646041866462582377774515938268286377793198501376938537912576263071096419262697394570229370740432787993578681937758919892856932782285404890579441530715112524782320383845632841159579916194050908320111834845317289455922115336101085455655315079110315001356626323401019168710883109534827085959186635037587016049518723559896720422831292395879068390813369661403491906676119245553627882048823639368529759597315204607971086051417819642904052145931968252897851081808587868992645547618737759434635171253952158274355499312833381146884770820969270015031809441864767614457890341562539851954348331862387453189215223014497758355818217819309483970800158476735787358917563959036865650709969100096627824647769946255853497482729003588149948886710064099807855175770084005799695288196029831942985576867527735082846738716526829789701948319762501427191575958854148607010171535503111336617160234123124938460993626765275849782467542619869483423095869314874296253673529484378312203475326065937516012223318885129017963148063557737242989461648007459217534291055323313370847578759326543875545753794786850065296730738536410851131010509682561805420621593297916978889599399946934111074832763141033064450266079930520601686353532234811331314565562858370887127485675046358194230531409678851102344639288005506701069093954715752664224114226675849391537294786910390742010715284523553208257891720376290524848817702941663833743020344324736694067848648641654129833421382388384060738234445264925024431978101458241438575748353020432869506248297064900250167862636769862353886105123656899144551466142902344714249920114689958840084854140811657090892042130362426180187555296795310199237075588119276854817516528985155343404435726598783933821583315704776737303259966368602650675729682236994874010496929024956464338147737397787623468895432140386463860999196620404771629301247991210588522119697181040587919690034769723296720087937657342142013204733724972288512951594721590032226981649684785187626503153241955882948170968655694118421095985110467524484067457599915679091698039418683941906192022123822181953893553279534182084867592061793769308586416427882730614470528599430450080705341462840091992529195712438276491257106705941039770648678206671300947959614578266598511212069909074152201422760121864643152813343125371201102430791152574182456620777300438059895132300362435614871691615394126218349681796743170861196831074997175315736264398250912155130329557627730003311791132679027162531931649671571765637536217576786112449785670632577083008909604999166786460801585478848134547069339841587008019275651403452249849726441291095571984501746790846085104111213622518121335621367560496442937202760173751046293830845093731573145432316879324195118164565389860482044627224881579777420655714895826036743179929857574144398749987657675757795672732802330743992335969824270307868267450049133552148075128194956474043370546861624946881729623005750150924093657455784889456062896989636755084240491938123426617819242514133649173219579336946545830283272939012736288731638548785313695336669900478264650221966623663098237013962591812687028169803798622035282734466118243116293093429878969973978481805164333185173212499501853418934196330536368452589333187211670661820377380048863901119486948796202599186962322754504769711727248189863127390686351764085299329903026137742546397346143315785004698059563109907464078487751024062791406820591828671691427298404825135754451080525283114685470006659663016570519095677582089732439957225429394511994672613855259729248256468240787425233086394169126888145651183603980505047458966800893167730769312588752053989589721724528801523645820187381292492171166844191262362778138005190663924751915374436755546068647001096766002881630706856408815616178619608457250956364647393014871931946419061478898478192952075813783435402519587302178598114836283945033430421948097781250737151849193167147536007610784990150467608532608991902813743770155779187732688700909801008998171245708816994516243205638576914037275665479096562249921679659907552590522047131327545935888395890265914223449109571669808838041748341100059301482133671874989662826358410567937168491471712048677400515877040557902697001954107950911004306730955296989100609745662704060535290766868067872842906580071741437959291087971993999615063602162290753327579666673765798352881758671754013728898908585484360526634848399165147147552688649667711394509245498696237077666070316713569814526153075791921030073218423661898677616685067502856337568189957594974873918391837077633826677212254845132173346532345130300163146746151610088765299321670934891593034590920449011980561108442903902600049058017328883950596292367478245348418607737176506091550879750442763895916126916306620818585388311876371412442194343496271971979810097998308975901753461147614749844978306641133399844547083137329984890581682903873462767392506946736122611053481813103954650506221243587316111224143280270566208233842524397939384230217811191270646786732653595915569832123661648645991672748280989056145463288917569284936169037951485339580146577582809395862071362369618926411001920988097400061189773254044333824314964714412093466400176607967501171598929237158887259551106022842968441075783262913534951754434626198783332849379393418066276433917765970526639185459380579223174036059706459023978462017541995977820733112580934810273450192187389132842016733882640601493324304562304938431214555599661898833381501682463856239810127967801480148189025958809484043605670132460575385082438145923113336662991888281074182744714269198680353785678588796666088020493759561436613050801445813678824513286880054329908131949507195644216382578870685930349553811629239674361129241157967313714682625174324413262821377864872932713483063859678166992529310890123146432418899937957553122768692016673012770252987815216736718149069290469250756634260785695165619545576937869215811977530451351838576120989541232185565637242882571430924060108253616729358436074149695131250908429002346637227900502075869382575312533922603331004026141462525693257938808970876659632818877684140043637722393216812868624370080371210296262744823156431335095141173734668476741004778972801128101541242511425713895366761141728885970533619618642482732626094591430686875318054550208600893054978247019846641341442438317630332985662452531200000000000000000000000000000000000000000000000000000000 36001204044071606759153228570188849384305955592829818368448894160863232000000000 20525391203843696474960619446892741541660459008000000 515543398855545520546006428204891792998400000 12660560776747436841649443962880000 6720 6720 24 1 1 13 624 14976 89856 4672512 2625951744 302994432 12119777280 1999763251200 272189998080000 1688900990344888320000 81067247536554639360000 37041796843582258151424000000 370417968435822581514240000000 1970623592078576133655756800000000 142354876180531701563564017556898826860625920000000000 60948223416150501369428765802575112014470840320000000000 2085889748021735432945683650944353404728380112240640000000000000 35743806722100458378957235042582439943425521603355607040000000000000 72917365713084935093072759486868177484588064070845438361600000000000000 4631557945055184679723859927040527493003295120905617116462242083949772800000000000000 259367244923090342064536155914269539608184526770714558521885556701187276800000000000000 164037974919807009558725945179867626806385680623990159379106609936627601017876167795238582809076851207024148480000000000000000000 372038127118122297679190443667939777596882723655209681471813791336271399108543148559601105810986298537530768752640000000000000000000 8928915050834935144300570648030554662325185367725032355323530992070513578605035565430426539463671164900738450063360000000000000000000 10537803515816025698908311219649957432605632442707133932445823346878028588054350440163432033892634652525688021876464549595761269179479400511243225661440000000000000000000000000 132565568228965603292266555143196464502178856129255744870168457703725599637723728537255974986369343928773155315205924033914676766277850858431439778820915200000000000000000000000000 356336247399459541649612500224912096581856765275439442211012814307614411826201382308144060763360796480542241487273523803162651147754863107463710125470620057600000000000000000000000000 67336861172862376208012999256870553001106877102373294823516946085765284018075103642611785347905490930235443628439634420535862491615257989833158580740126604945335667019886134676603742161904308083782535249369686874289556775999180920541427924369495754887738276851586098151302022321556167248891892637496261718878585558856089468020813405120312115200000000000000000000000000000000000000000000000000000000 741201072199718405377033967500106650282263794741579710508587491666609356689199172831539261567120984645836412777941294335229631355706126186969916435295639986211090007728013843393860967323259004629104527202501916512579895673862344097530892077587812792521094799085074753346715828421404493128762663342270851393915387537130164966713580642985118764367872000000000000000000000000000000000000000000000000000000000 37845104137616974015090837672022745473826152257917477091611650111004073800690890837473216202637481094389304733854949018069583384132016009960686878456389729358349838478985895312062090148313053238798188711156897755522458905995045245250885423532288547423381382721652685443090498957901039439380393429619142164658148798720335033861823388223080056608861475307520000000000000000000000000000000000000000000000000000000000 286108987280384323554086732800491955782125711069856126812584074839190797933223134731297514491939357073583143787943414576606050384038041035302792801130306353949124778901133368559189401521246682485314306656346147031749789329322542054096693801904101418520763253375694301949764172121731858161715774327920714764815604918325732855995384814966485227962992753324851200000000000000000000000000000000000000000000000000000000000 30885604604468369073323280122967108948947184357373414199598446471970780940493635990197445473961194657456255057277473493118483148221014813462827696311397440979448639477692105502545195535045309540297313789510817364766999292190326732642017671784630210611960017569035273082345373803857966805229384516829664361060602642807097537413482442702231207700692554388709988863655050624368640000000000000000000000000000000000000000000000000000000000000 632297322337301587105940770018887332972791303378987061561923321304875375690307754860027021065581751320058139111136767324743284914582025660655374788885686428654072456694575334623599939635857392068497606210106938076140017678465505903291919523859359982420309613541038830098352825945611035621549292910229338476013155650446568594318374068230784561955070404054839160134087738103135092776089621030888611914973184000000000000000000000000000000000000000000000000000000000000000000 54998093769387652403189314714798544432069018935660357439056843004342153797147646310003699985570382403805905128342486940752852011693803025641530447064155089479653687666547822469318153444421325558021833583552037275293923215076368120539664359619934052879434773970031212525354958515614136410443503326719284908498856345246491469982513437677512097239229261591590288709932393133476732959441970381819995066299524512784046443854738842694107950775418884533721486192707157653245915960442880000000000000000000000000000000000000000000000000000000000000000000000000000 7655507238943862856512475358396645686917739411009182502209782639899065454030597507113113530731038823732092619841978777048791993223929869940851969560591005771524350265168703477468886009371459989619500318801963445895259539083484277918626198132500000099940878086285519884321367687064138465967702531400374199982842008762578382015439074930169736465384569007796740583429259301131109664861776009588046656692547655608474567469713903827298558415494877723207161988520012525046576397719157594369349047677605853469872771685406142247085354089242498077356757338167727177472368821852337822156272272878538062996112139763400004785311932115922734702691511152512424199851053355739563664255220118874841262200957506412795000610712696367559232634119062336050292524902341346741177077563224404485894489329274478749859172480094271807021662707888619217663970810107600907628769766934695509040588889705477695079083569298697756394810230954936008661221407310098496764927705714659714032736229479915204636157214574418007848026231014997656334029595009556170681786566015762326475338420192478327941595096144277216131895739225915355904735753091000478509981033868894279793236011000069566895947218540941370870535716068191274304020945980126120169791261503017150301979468668725374109428713979722443976736132696130889276118080874846262508372349909720443602393145977741059826954281983119657193239070904934836418702876920624269553356514151687614180336797684693225789412126739929379360543693647715993062332082049061041460530891661562264810458620634611120785979688017383759139796803349235852856874879566163217335628829765517932348930202457782311102841059373486345324722320681556137428217530632566853775223554340403345029679097298075262262617111007732374699090556972004078074447291546327833161832903439345112871562002434194595605763615316698158383302420863531882780407231587621427763307995380820831277356479136865780655715082216160567516424977747069235645180805025926752211751545992990218793825213395869407949467776915574854196234443230341988091722436532173285067551609488636595216395453977427996076799852920165776233105876346916371809415291598267112170791658246369340148510205780628740686127109065646980833186113811424017904998780351550557172078101348805202861975492522406553356625992243598422840769179633769433182622919251195217783817930068113728258527590438798351606689411024959046407328810702735603782081552747858461401412846339521268091567004184881376871883921295094460783028639205565717289134468192024295383326048886371451524046242315140593147853836320345980657166708854479020256476989849610329704889073241244408307630291492797396427134677213501702426051827273715715204518299814947367540059268002136850512655303904008817284461461050451526163528257199552722311710401134813184237396751211098696876022204972352501244324909652862345183932244895035677522269211024041335639425113839541158947409721795157985625852578622344791493320369043761928523407160692946960443878775198836650525035752281752996942680728840099994668723875920227159159089006229233568052021967712719200662662447747873766881501597176959683928838485431452044454217735677166895656329201812516068461187813483752799708218656297732520052271707571899466111410715857381384751761574236309488417428423764097718276904705014465345212809625975723059960505454612370276010893487573963590476622796022074385711081015108601147643942735718746672846950879812144266659344809864164913524542634467695609467747702680647880447419986691311441120291412772894549873950378435205990926279271257028382301249404481666950434692365087828796240590145366029066688181954925979317227967647164642729776328101698087972765743991336869296477246116693309858137800488789957388834308000513547601353926989355821444205052245798009914752741038033002088031170470915381214102220071517511519216532892512980374027027284272694333629572739858042526713597243247417117816822840003802662261895808150899785138024602531715447709056588854615802829164542028315803145474666198614610170801853186554168315397239746858185307869137441661523508428686034596220934557971468446926660380616024958560652580455147178979654969892074392764026309625501525096709378685595526030118948995632387295256159676166818612897913974318296846195534364107686054764860827179613280845966808357240579048569860670216821631862671824097365893726848848540518059463707289231163139575178770333012855579681857297919006201675564230449582786470164183851810648855232085983274263168231592234271240129683250090044026519915325703050322784564317185862896450568531469589100635043718400088591639000218456057179846528896057439155435625519036162842066371487431141909879499481989671112555387040266153293397911566423770962966815545445502116085959314662949407272178836033128834515833896360002932739705410608389652664052873925889342185307153504546757207044509214785178501993988108814054354389916101535258201187528316483045523387700483758309234183817072836738273512571628085929142392585500799751849017000301534938265528544748662186481559390245990184307639579168851402581045804452394261725421511084500055779142429245824708511999182872368754498737952482599830430036096201770066041020001776108747871319874421111646252040497298696376226683681751916672088895748022271967865921640866210365295598524492530260966821730978233860924179556544334604524811694631697840781744410313221789270468784745795999621848269493767553223586224238532748153102439141946547494117233589963672060615957380840205408871717867802273368557470923463946537251463133960886221377641954787096895834060655383472613243589860691061926948862936666961877990851903147648360138740927442094034841171144555439548120544886036893404244077026840078748549539058614053448866763915964715137716275869493545178764961023349169927728126844083066850116072086171340358621711705804592292159734386151656053121206028980184646358377617927639662151822214707413652333644491816943013641299020088486744115465527828201075981049949248504336794011020022640483654814401339624992860839375053904369474337476138418417877617430156816034097077902066019259808644261121190342494946382851506817768861000526165076036200347441937159169109937333135508494217328280867842820843148776117994758669257965072942865789445268443665245057922004157719238936376543869277518673083354095195226098290854051967786931372514597297593371537609916668722743691702907323424950103516214521772298580539733336129714109939601704916392790165545010998646266394569502615596857001462321154890076137988816416448668283557972632724513093277285385038949666507759517829170851478288104541246637273900321959434736553234514425615238183956549369694991071840593510210341025076386393576388777654780253005425903502474202749611286546025451273907420050630430979879366947718428230238656867406619026205819481591456209968121754662088117197215330274517844161546828646389560507961887609583553405854246852462136173063735855275894214245184309254067057857272771768214007698972064811171401748995348375461675322032489782256220616017058224465213224613674264878393854583475400332416349504708904651362224874119637338618697062803090294847918951994884556632072997574729936146584609003934039079749721222053956680702422438717811314873212061510729946704147330150842982488399311482611119387475287921631638002551369971481132188039510935503282090288074237081252623876062152094977656490994079523677753089104905982320441525230218877451682606314483371397059930910981613031252995501608898225335918297870880822734659227881017952866653170550324842421299367876675330373506564410506716348287593398054833260232510217715452461368205503169800676141863106057104808111092650249262270213773266604713204019853165341975752092614298993730626399349459524654675085163037271927733002618910065494733261149846550232005220363491872319816115481921392496966992865337157360436634128951418622047107720993889094096671793358370010229112832000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 114777016257443484834802498436641034912935185278474527992495136182648741553625972652580618140332993691566001063703581653548907800208167784670198769367097589353732249972921735798938610824369735424015808988990007239147093917674709290814092804049610184210749028645856778383415761005330620443697619067025195343474766928331936693488738926910507679637102851476314041728694947574274714776376439675903862614802308680170581495955403284287151270238582499176207382666510479115025146159565533982889759399459796822930578586336359169454088457652755573487706430944182293817780452837379053059230396128563546162295530425757447220554021702521088700274810312742940530883242087936609075611942479487428430591942160043505589036861065596848023905418226584913228392505912838733424766510752445723431391622746836224940442281930246142423129216481815444598097681377072971735722603112489920784445119563085152834358457925834129556771180627351879502391395852834923802283875359801016510682981111361797794573891497973499268262883036432566803017688039775806490481638118117634127974878928858517779470119685400110157127753197964978883641078040365616917185132946217865982169518437095206525502171072625567646724479607693297210934658905067187766733979456793566155280735669177560143709293227257360979566577583343984081810674236458843720858332965518274806598926882502570130500233229962466154581293453624824252881577263271074311330780769658461581499859182792786465318574027267190265415609588610739944944189595959324365698682507528787791467426662605567481904863995754900096367143582679568731802260860430667517086873556695285203708251865974727207544446291630160579791697366146646081802562036153155672287094617315959424557428028809037076680694679035472999180939260662983184177905631642342995665131911655622606007497121345550114583944008676794724253582323641643221111533104774504944795070995047109970492331767738812582787803827302186445423851370647764473299396140813605794069960480070804807618146222742461356566171547647553474855164242179920249131210285638732694406645074204955898228374836245409922425645624404876505883612462174167534911490359287422080756227192078345047774350576321214453455808829365718174173666915155132666379588754673116262747366623060929031497138707103353687701674224536275153168414042661823170793559119912145975256974749954794094149308407057367778924008031106454148322024584091510866384170111519132408621678908848732357629490198768363722958198861640129387648373765997603051141979651589912368866532639251292157618635439639604735252764570599946416801303916864236068378186410654834089570837932587023410412422413672694186319147690410265029458289254264816933747692596061399874777866031866121967721002367967951203339347608934044484613877381918264909484948826569033396475829820192241639943967828466689825807640171085985048277988312113079443232821779788036914971149120262979590692401079583938988757975623712933518685206446276717111877483193565306784249134795186628422036235190189322699485929041650750770665845616264041145396961374155908884091244828809614682398324119178643935763710247291100386578171232177924967887730457239861900468681199801975411927518419764495674220216469360035282630149171415982454695098733535696703822822356490107440336749365534079399171251814431737888578767192679679558551311854432450259202145055125638788744327161945479219832564032046208735241266137623174035018682704610139933340755697148313734104413409987562187966496532649710897078560373888899264159574397662112277988526958004678404716317676678493196739506948543357383475901869484214677025645134638244241546879995837925642338638260025801930189254413907136372180740797690843847533571423745008951652859999229545046475273792900169001723428136371499374338994298279185968526927426763647482744731501113361400310822745284032309984063791978845681490522355882070632042042482010086109320615404048021522214836298576217008274519798781107224478348746320142586701736689615925790298779847434474636253806322290550455150118310424998190769321732801349607414403112094888635989996597695659496870089503750969711558160881752110311215944843366548164064775914782311674468508546203010718265762840654014099213614817520375966382944509626982212633015252320205299005434664161884043380855068027612427215253618042221741397892408831093959595371542547036679368214596969087401915829904179234873559206193264728152659945701291318208418731440222700195417375471190550423078894773079199138485497288992965253591379594605263268544633079226820095498173540339667595409973987447542061285163704702310410277806310424187710635050098836649688925773361805986804675734479457106725770641364290203236496384856620525713624083298325893016181209676461420903290628372077711190703793624278304287585900679501361726787274491482817535626132321608514522330088174640192839586109823644016176645773883703115710066865662187014183373181288441576997634639718351548645135016424927855152976391763240262229544189690141809000924428592972023653502889995390308462471481967586533272959257710883361662594083977748511465663638213805127864565310995270533697488958478109931121443589789325825713689736394834512575537768921779782677887618031831777449854073655125480275319557819705612101039604248895364248982919697684915211057818023788941063944238299624206439917167496454887632926905272983221079393855866442652348866781746930100582549142521357630971581331617762190218670069809784885052049408658100076810029811232168474724645201355885515473984299534451657580958710908469078099389202297995966625098958025325344956561977600209780379167385064581919974852952712065780163422487928255377026656121493108754624417391464357103314814425242265548795755925588190802134922165093005307303855003857572870617329021099983002233176800355809077179508580484486235445014835258702798831328686618404407223890011554668451735225954579041958392109040023559384930941152635249907083451329118506128097653775872056934112843955230259470453283279928782748111442393662561499704605093413817379678862956475192111568559165057934512644357417849192745222888140589665863786782196647698510277206053510190692074871382327074953874629481221804242535462074177605129327258742266051414325240182291277790951001386830372248488900065911961257339299531148395212783417683307094006046968504942922843182452716071914224955231040411556404767012911576775253008151290751536522245631447670025734031248052353528999963525966189030791610835626211562147448310277788474194417629898825934615115927590687086231183175855936967293816464879972748482501138956229103543610485374218015299196366503077433494014650995229552432879933713988887454718892599598575455954315174135442508132448754933280784568981096310059950637394955159467076304870351361776377766550156724348856056281493773616535919408030112175208461177683382512729615000139253520862373874000031524708017245521837268193120486574260844636978379077279392475025306974756096149861423856750200392590036818069769786533980389375410861186132260716829724689121677886981494061521213689646203868337876453210822882879602494706022882646998996634039843391772340927635088125713759403841326869653684182352671900318991686917920662850823643150940876246054109099532112359297417171730227629148609103520940931549720139613663133612345601049044463330187202156471988306983870548431616488478658300416314083115089302188657450877527287697658869872164041356209539798308226283197189985956188668259745304106932656982507610505562745312426852515798081007091634881130025980188986601815681443013799375521945549189024707621007814671573326356545132054045678545810731856550995970470023507977861380365415006121898068124304395578825833495021929125827985770842762238277839790062705319856446045629770483785888387173463382520126089282741553138580108373232891115318535751494729300095299054083100975649661871194112000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 1371663490850483876270698051068446815070776157272344631887257777139955557343670166089740913482897682187235984004870060094610691269809899656165089563640880432823848201342880059770964362772871199887835744291031403110426466872224368649017988513428746983122290482993022079366839534164922244363732886333442172468877018489901904732684527061072622569712187537957038348173824529992492353916698757352293628981898155398323795843273390157712273719160724061061821595198497159317924040183560937004376483009255940362737905354628026158579355699367895048054129975317419436602673361514647768903714587746786312662420856571866689332363079871983204995505921768571754685635922681558374482877274390528000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 19129502709573914139133749739440172485489197546412421332082522697108123592270995442096769690055498948594333510617263608924817966701361297445033128227849598225622041662153622633156435137394955904002634831498334539857848986279118215135682134008268364035124838107642796397235960167555103407282936511170865890579127821388656115581456487818417946606183808579385673621449157929045785796062739945983977102467051446695096915992567214047858545039763749862701230444418413185837524359927588997148293233243299470488429764389393194909014742942125928914617738490697048969630075472896508843205066021427257693715921737626241203425670283753514783379135052123823421813873681322768179268657079914571405098657026673917598172810177599474670650903037764152204732084318806455570794418458740953905231937124472704156740380321707690403854869413635907433016280229512161955953767185414986797407519927180858805726409654305688259461863437891979917065232642139153967047312559966836085113830185226966299095648582995583211377147172738761133836281339962634415080273019686272354662479821476419629911686614233351692854625532994163147273513006727602819530855491036310997028253072849201087583695178770927941120746601282216201822443150844531294455663242798927692546789278196260023951548871209560163261096263890664013635112372743140620143055494253045801099821147083761688416705538327077692430215575604137375480262877211845718555130128276410263583309863798797744219762337877865044235934931435123324157364932659887394283113751254797965244571110434261246984143999292483349394523930446594788633710143405111252847812259449214200618041977662454534590741048605026763298616227691107680300427006025525945381182436219326570759571338134839512780115779839245499863489876777163864029650938607057165944188651942603767667916186890925019097324001446132454042263720606940536851922184129084157465845165841184995082055294623135430464633971217031074237308561774627412216566023468934299011660080011800801269691037123743559427695257941258912475860707029986708188535047606455449067774179034159316371395806040901653737607604067479417647268743695694589151915059881237013459371198679724174629058429386869075575968138227619695695611152525855444396598125778852710457894437176821505249523117850558947950279037422712525528069007110303861798926519985357662542829124992465682358218067842894629820668005184409024720337430681918477730695018586522068103613151474788726271581699794727287159699810273354897941395627666267175190329941931652061477755439875215359603105906606600789208794095099991069466883986144039344729697735109139014928472988764503901735403735612115697719857948401710838243048209044136155624615432676899979129644338644353661286833727994658533889891268155674080768979563653044151580824804428172232745971636698706939990661304744448304301273361847664174712998052018846573872136963298006152495191520043829931782066846597323164792995937285488919780867741046119518646247198927551130708189132531104737006039198364887116580988173608458461777640936044006857566160229025984814015207471468269113733054019863107322627285041215183397763028538696320827981288409539976983411446866633662568654586403294082612370036078226672547105024861902663742449183122255949450637137059415017906722791560922346566528541969071956314763127865446613259758551975738741709867024175854273131457387860324246536638760672007701455873544356270529005836447117435023322223459282858052289017402234997927031327749422108285149513093395648149877359929066277018712998087826334113067452719612779748866123251158090559563912650311580702446170940855773040706924479999306320940389773043337633655031542402317856062030123466281807307922261903957501491942143333204924174412545632150028166953904689395249895723165716379864328087821237793941247124121916852226900051803790880672051664010631996474280248420392647011772007007080335014351553435900674670253702472716429369501379086633130184537413058124386690431116956114935987631716463307905745772708967720381758409191686385070833031794886955466891601235733852015814772664999432949276582811681583958494951926360146958685051869324140561091360677462652463718612411418091033835119710960473442335683202269136253395994397157418271163702105502542053367549834239110693647340563475844671268737869208936340370290232982068138515659932561923757839446561369099494847900319304984029872478926534365544121358776657616881886368069788573370450032569562578531758403846482462179866523080916214832160875598563265767543878090772179871136682583028923389944599234995664574590343547527284117051735046301051737364618439175016472774948154295560300997800779289079909517787628440227381700539416064142770087618937347216387648836030201612743570150548438062012951865117298937379717381264316779916893621131212415247136255937688720268085753721681362440032139931018303940669362774295647283852618344477610364502363895530214740262832939106619725258107522502737487975858829398627206710371590698281690301500154071432162003942250481665898384743745246994597755545493209618480560277099013996291418577610606368967521310760885165878422282914826413018321853573931631554304285614956065805752095922961486963297112981269671971962908309012275854246712553259636617602016839934041482560708163819949614152535176303003964823510657373049937367739986194582742481272154484212163870179898975977740442058144463624488350097091523753559605161930221936293698369778344968297480842008234776350012801671635205361412454107533559314252578997383255741942930159785151411513016564867049665994437516493004220890826093662933368296729861230844096986662475492118677630027237081321375896171109353582184792437402898577392850552469070873710924799292654264698467022487027515500884550642500642928811769554836849997167038862800059301512863251430080747705907502472543117133138554781103067401203981668592444741955870992429840326398684840003926564155156858772541651180575221519751021349608962645342822352140659205043245075547213321463791351907065610426916617434182235636229946477159412532018594759860842989085440726236308198790870481356764944310631130366107949751712867675585031782012478563721179158979104913536967373755910345696267521554543123711008569054206697048546298491833564471728708081483344318660209556549921858065868797236280551182334341161417490487140530408786011985704159205173401926067461168818596129208834691881791922753707605241278337622338541342058921499993920994364838465268472604368593691241385046298079032402938316470989102519321265114514371863862642656161215636077479995458080416856492704850590601747562369669216532727750512905582335775165871592072146655618998147909119815433266429242659052529022573751355408125822213464094830182718343325106232492526577846050811725226962729627758359454058142676046915628936089319901338352029201410196280563752121602500023208920143728979000005254118002874253639544698853414429043474106163063179546565412504217829126016024976903976125033398765006136344961631088996731562568476864355376786138287448186946314496915676920202281607700644722979408868470480479933749117670480441166499439006640565295390154605848020952293233973554478275614030392111983386498614486320110475137273858490146041009018183255352059882902861955037938191434850586823488591620023268943855602057600174840743888364533692745331384497311758071936081413109716736052347185848217031442908479587881282943144978694006892701589966384704380532864997659364778043290884017822109497084601750927124218737808752633013501181939146855004330031497766969280240502299895920324258198170784603501302445262221059424188675674279757635121976091832661745003917996310230060902501020316344687384065929804305582503654854304664295140460373046306631677117553309407674271628413964314731195577230420021014880456925523096684728872148519219755958582454883349216509013850162608276978532352000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000