Machine 72 Results

Final configuration is 000001{110110}^(digits(18267))110000{z}000000{l} Ones: (18268 digits) Hops: (36535 digits) Steps: 6195809 Otters: 30345 Otter Steps: (36535 digits)

Final configuration is 000001{110110}^(45497){010101}^(149585)010010{101010}^(129830){e}111010{r}111111 Ones: 1020246 Hops: (12 digits) Steps: 5000000 Otters: 0 Otter Steps: 0

Final configuration is 000001{110110}^(45497){c}010101{r}{010101}^(728169)111111 Ones: 2366505 Hops: (13 digits) Steps: 3129 Otters: 14 Otter Steps: (13 digits)

Machine 72: [t(a,0,1,r,b),t(a,1,1,l,e),t(b,0,1,r,c),t(b,1,1,r,f),t(c,0,1,l,d),t(c,1,0,r,b),t(d,0,1,r,e),t(d,1,0,l,c),t(e,0,1,l,a),t(e,1,0,r,d),t(f,0,1,r,z),t(f,1,1,r,c)]
String format: 621rb1le1rc1rf1ld0rb1re0lc1la0rd1rz1rc
Origin: http://www.drb.insel.de/~heiner/BB/bbsimtab.html  Kropitz #b
Table:
 01
a1 r b1 l e
b1 r c1 r f
c1 l d0 r b
d1 r e0 l c
e1 l a0 r d
f1 r z1 r c
Status: halts
Final Configuration: 000001{110110}^(digits(18267))110000{z}000000{l}
Ones: 3514749525237646314855546771114364755767274625926325736213218928820741221261252342696134490334047942741588740855741617586408710260076895085680158939481661736905182970918861692282087176318946430402988420114923841803314050578696912682707858206715741041417606792520975965892560023939884350490300429629960832859858445249158494260182677698091220368959663668603954175797097689265127461159832047501137152726132966334187625913787977712688179898214735574466580554672127722152833492846332019055432943760330973562614275563256082439609073071574542354046698495209347164836966698517855721231290561417684453752267303520466700441255151673543115085699333242959377119007518198828449361850684163180012165557935250830102155612349746514745608062594062269232633132564350889847442385787770841546594667705919886308861091017853759613456348210423340980584719251582866309840147533286925431154554934152652971546168908132895716893884586890356846886222811555113312296937507328569341516410688605240766787559744961818407414799983992066559285567393647841519821495470617904423403499081015232746092377721939255097243901251824117814278737859266659793419090062712148265949236095156172946740959158249463186554142899200943296554106735967531441671407013404947168402851988079456087640834427959552753930808773657643706467206098028110178109513339169500682752331518582273681204616177532957682565774134165669085997549398310710634971777199336353636662325243215113614540536886962877004611359666216854550918608967161549091717112123461270933410653692601106783855774094127691480548853699694287742566891909858885289059825119110077344384977588561623933720476057441686885459110884877834166480918448643497252738694086249345049644278655670909340595143763901219622320519072044427795692044757765238440648408145863182383957118167950728628636626316423022816155005058696439110432452127446725565292317430565424197122730094400198823220956985927543987437041948715290696481233968372927584469732494969610250694260301056284611374690329386854702042065560591031321568103564818322881780346206742136440107968150032548169659492436761587572900316910315119391809387739253964502410941205728088308243961234927292390262544910903195950051893841591744871613800278221791627890716031507624712184325610354321773610592667029670127060558123934901108290151439790998029183670108877692492393333169629552334980056251493696832383243356120318806482597665683037000080827857758644781969304493269339648421026294345757304463010279431019195117128321626851907866809136460866199256977426755389555129254963471255837273427910352636669709081766931118000911892043105920232035164246343219848966573530558311307854178870410038846575807822363697474924422176496933878685765514673755389833451913422763489169103664520005719543275418637500144647268959615825171661607487314458436918886725879482798921538491245566519747086176231867023917632385286132180076927300536107070095588258870857434637609190801291690408230182981956289264001517830293213549981813878674382305954120312741992596476215410129852757075579308762022752350919456248135201554028204279333300778721378491803946496203326949318849134086197900438081214875341780349008676136582268422318849044370263512085099126193875217445907743485816308307645838801048792297882650936236415118797613257809414464770307883241831872603441486521334773111868196051632367739868717433682711715240857180877066520497017149298840793122238628773301800047538500631687123056517590555612762726251378072603037192844055605005053067939402441415531982782069464119467638541320532674123655715949470351267526763698572384443123155601462022205593925324762400796418405934453743407120174124198065604704965732334381588444075799103972634889941116415585139509865834289491362051018053650005533811244818134159746627119171918635696664594846645682228453137127499918498685456558671362386114269128046977840285593647042470015346867811240853179097558465227257718216447816565802484456843333193759115708815715272175242770811635565722327748922845092650551035210236817998451758552136738660439006685527887130124609477112214664167704463475603999912892948246982102212277095720060557196669464997709731745502593759112534776537159853819706528420132103220446214361272648735286558062621623257691143444514658852854398106753176463197804223941724549823662836882418444206025781947795791252947167658698363076817262385131035417508353131445563622540952048171746806703950039947394422668950671336946882075585835822032211832371502574287198095762942333717547287166227428244340113630288646487030978843807979256709751169356360655483004662233014078295399215780830992847973606065932950421410268194466585727334449480070342319050687163637360569246878365099483989564749277302536826774878102575663954441752795072906798132037793883847721866959065508666082662609713491204998218858462738609025519313095252093159844126794565296371807780267387870427382037593584470173154176924091295667828864285930621754819628558116924035143213978939649161524372682268157757442605757970146946363248764925592940436674956407164338267310980570402020999987992760477479860584172687101902869610598946587131690764743745577593368518031558628118420988548362411575804644322332359300175421009102408562569778695529784780841262422288416660925739928708983654937681733201979833667084678157233188877960684537008169789184794647955730357778448200678257176949221710094783948627553968457609578862786080082273204665830926868867182123455301708537391328633345814856629390660100475924239166063359818343100301094289897306962838814993868464215376127380358154518813936733565993726641743541163461064298566606341485635015478309584231382265815778107627941611885306754764014312976113037371818189152018817383826551010392760178031817245725640616388621501003799079514856210995982627162113675560347422031113499582849887740485969669427564235218590806494292853620285725522315768212192095393065513114541337550996050293257286605116371196566603450894214507805101557644656137213855806360151739099293003378180003371811957214241931521001549089914921638939624064849805992160263676864701598830790388902464705728869892089061018897271397003705002566306024139286956904626942664363292584857913842343586082086524548585312419861137584274518928469724584443750608695147076658285181999846565695419514189954642813691991792592529920386333178721200158673826585297830446859252553713186974540970340820730166111337665865208472512929136588800997495925582920481928602010911911711564135173995932009083770796006529351162859838266730398603304769544048846035750224434947929759796912561184944100492021788240150510259522154643155583438399065561139305227772734183561730963425915031868915831289599612855361702989087511977581116478953163253172756529262179673164208089578778253488826050156494798549759468076064174742837802336519245596322719461022110695238619828595910650993719327382647112947361317946914160113488406166936605001208490839239500131373838749801807116182690857599363232635544710598807871653366144698451130414393266691517446163692910639144933878477416396771028198975579705599479457719250849499017216945835485855074398828469679970044907303915191321292060539922211950279422513765259001211336780915041641363979610809673130013196328201770316586576722064880331648722745260815935992003032181032081660786478947470376519060640108503950974333492992796612874839150297815566011627637709716352619707091843404310596464802177490060279545104087386457519221538417554595161836162200175168879791126867784366999770072210602914905689199960180159800286367125687477552066863524551468900631854383378385091315784451815627605639862881719546119295517113596380803213031326916934333050394702170039536163417445554693524928608812130408969631600401541113145510825661751354463520165481854743265259745077395067783203248937894671148522782708019963811319287582612604267157536635088862141276913090531055323172793932765058909509765842901467706906670026005694168025636397552352542160144755884063305272260678023509837585551183143469724628086534756193070658091698840871546444462699489889132182794025273297029779448747747429369947229195586554679466215897838142582113382428326438379994348211948623866177140995460917289861946344583688967970562345361441986364572656836457922355051450380644079527703248343552600791648389653929910708341445710397556903077090254763164034228481496807882192236370015693929299967654509942663064280210450226190796946182553447667099677989819685079194024616602332186914344637215688205807904428475953732491101599116206876588301246024986271566113497657430018162114970147678967516933708041440075498334764864369737447588990044120962752250043946566370797761205969271336815613270357848065120108967556238063292235134821799653782319077820266573436025438429495741392474837169658421880178254731396898225034377630469842075871633153562593998380817096038859699258699112852992941027264415868444105132500457390646457285237656842720271098878277361851275151680651198674753477465673688400917971671013164669872137206996823069114043845527685622303217639223260268203090873253625004573187410652131460728308875028276469666915782382550728610712384014501446082428710077673350234355260257396849341792336008845320707616447412830281952675472996651866262981821313105972717592653364818198402810637727677101276715689077330381211406636711545993477949147631877083026193996908744645297171887060637783167435341377497160154407934731066168115628898130877336045627845179214292785384728759720014400291559986661699036275293805999693388405948133061574365530520730494660190902878375947678737962316662180245175806920449489254422056258307646316793774927126962400193106352563582651541833392769379263829405452149348111687782129822204931902739068514740581125111337072463184702895298872601526336113309335966247139010951806714577187158730068193256589880226155466416058993998370537500018787945059429812251843943876556816235303086848118687306554011754147231829812237580536873030452381744254333401424292832326813948787858920473027839543535128306914931655100305170784469963459358372529589133368970218485418448537263959307843370296215041894259944615671056152125137938681085948333812735103693315819262830878967703906568003120428553805236022128710652420005414843675392194321584834519798900094478641413163852711305567849526137314180657351962773927208801278971946737426959143798599677152984694065395832624211344572421871512366779596373090536308947029082698134519967699122283319354687001061079663770393391901582318613397823378918390764113406594452580439023834575622135865820358964479352777221378557373261813657532635015530413498844405132311353861246181126461869263296761474854685042277570259630537413793823094876426698014648532136390230769246605611679030189671453824800744759911390505839279850384404956585698972334886934939663260360830764587269888765960438601502445261271127127862211389491048747720505832291493749779276324357165963691605968420924881508474361306939337262136214885515542014724069839549680114104412116182894308189144527520904561746942787863538786483571803073782409939219549222466535846635390812600049039086793510946756503822058547911705535353563926645869187984530586087573915094402991154413006098447900202591951116635775884647242969831707438309151871246322329066966437988884007309074497525385069852390904224480602672615333741077504410769281903983567511752284498818314575554294850446581111471023075662829629334475163395238497538278756552667101802159201499027680333374616326813326474808732750612907661650686081045331815098167409896755475880971204591758582108722295780345828966385907350437181218388666673177205178974330116508120658005334778217129751969378368497231415044702111142646113475493789236945630605906812948207662283702977371628835448279018694212177142830224927039666534164584624373883993719753333487688710911485326550343970990177347615840922903172219088893960921038914869139441429315019277408408774989482924482675407094572893330851924027701223159193334869919594993806226556250372986659821581210385236198553119984562663858099842825770587668181553448590728151796417131900737274574801183758867147218984105182020457654271154010872791746716223574253931782120386892705425522144662023108117255287549673390938825543296979015583175702818536438231517918724799404912746332205903799340346061616572271764895513945355676291803198983063986732143531116264597522379206943928015909211978101489222444378788374586552025749516091251126772975809663812699191330255843510513188035358743348254959276580133837978845405985755206327052321661793723476760262808514399311810195196301150594243192523184855353501088241400321475135644383666896067827782699658015857127730394202437010957103526116717105617770447999076774555663497541152845335887709148405405510300773516454868737359169287075161702556257226999141358071114357778754386216237590062589377050769892399587811215476336464877280721010587375779137401342839975212301630723305670868144652445155789341332350048045208193306650096612977274649547561785073221997120433237227113007623135283421640765283029718742436808664900470577951521927318637479871699208829385994841252381825258775525399788067255742725366234239700940334429515756252439632949645492807767260159282194041430695748812909069682381700951390353670360948293377333183163171592722918221077169872375060206054643704617123132819232828854927883974128370285210584512808261233655645377670366487516763384827707968876696437189814020746442876527653260301252510837827715769931520304328005023389439587778752196371059384355489269925894920777319369348131874958879101069922308911792077526642266281996915331864549878658796156808093979261595983199036894822112674496886635632665900479511292787433231377880978519293717082604029129213378675801954772135037687502777328250541427337666779806838362483164031074227068621473196479757814377641240321481375223589864477635120743365927548165973641768505656367428950221106797984938346574922398253343535258276119946645375973976227944066033441341418934888852326155568796939459858951505632211730653689590681866116346516333291931205514691947792927260993151293384508596783475145958021968598814869576849037488447618051340413189464624900434427290198418540303769317296677443919197131745838837601284870643857380495571112311998628564110204467537114902138178446210837979267221702856924264929368216155560152972227577482070888402018610736177161090762155352244698241838719127533739018714976099555322562400525708890060352819600988314162045261739075824328410902446269726719172625691617157465670533815665840080417809423704341162688614551734014510009170861734639378869924372605535013617291732127602590945695335427593219546975474355385435996062644997802932697663051639826024508249828573123161283693755340657381776715999198774926003108242029620936688570297295556614505711102781798082479913241012134420613985677545547599930974836668138582991825367237973210870074424896224692951790985925312613911576095157999619765038325001078173683109354703772678196603127420340400660754341236476006418349594912140895336612828705235784202825844309399079675295737199388464594678118052035429046349378781882885037863691743133803733206993733414184456021752830562641848312016547323320226339192927022724074425215119799118927160448768605273114435265235911741805897449193354168854996361799590900699726039810123970798719605024055188880039621645944310420377783908293830043663070390864314371621704915029005831452037575647551963161875544790637282774708379441643521925443264042372679361553300603440516589144458679385893163416761955855393702309227508169112322150033502301238993958548750447683942993671236450889925673847862535678453724474297513076244476054319423340582742071357327841472282008035044995004215196704638929127369734295937846399696813268631293100681063285947377099333482568040272945344415919627376494660916161928891438210737590665076719000789792636446070812496709600546981377221607154254743414468370698147275709564847938982559199842086830190607846469685185682149899702856647832501874603643162183886835722020841679537664335600256933524648421690335058415148658044729543166284798725764965645550242808085774671988489137606326838892660394624299319684579664305935223808168598727846121369264252619574076371539008583371120019023967835017867167521918468560118504571298388968701763296175860793119312376660657173339804395288877380725086594616303136433530273892086829658890838044297770641694604331806539119587715297490971014597652350929052823182298859624364160836945049056904229039567527338209009257944012278833172546137834598401723691921544532013659889392846166456964558500901652641947116819333740671012078461019247104782001311509632951637306746732306947404805606839880431351573553693735959253111199005921960974435461720325263786662162578335933747728997045132079850841188046133908303691417819201747857600262141730125048436354112103057689765545566744459734791480772621613565145730177041493183598199635148960020924205025093006627042866369716213679894579494229477179188180343901781309432085685426759636846811736681967567412748052711018466374210945813179189982922330817751407275766514701995621755869662888138104932648678789974266433285142401804412043578282476333628206106403853815704196921771977783838860388086859516177024978456666359188696784022371301651037192157757159007783603753362408287258746442965705994042237415822211039073158967539770848195419352629943150483657699879211622637967422111070594722314284916344079567226700478649779927885215132069297986992703536795850141401529717961697952887464459862264326260827025519621199850481749676995544993771447644731324820891353424389050552418370566758278348869581599884483875518997479242757447724480344032406359533612806972888396047332918178085204484318989859562173202090671022918960971809631512588749272858937373052753651978860457046078214993215717113634430674812521482299255429459820738090258423916274369626633846542380407223122555050200275836767510994436680971587623364301597156303813709253728234266773861847863315816904628561566679105142340823069533024507976929433752283557502822412804543793364194179946005521525001372866236856119908350739466639544733790023893286821842796960699999641280959400697853605858215807556989340554084967411692144714789723825340106226039219984473943818608749480590304327776504515536955166923570517589348254761051248407617163971078677927834885789038401547826079894648475409752240100314255819269788880903213380714932782570307381757621228474828858708178104473171188482142645769036539219284441099253321835034076348326562788284314395618690847
Hops: 7412078535094956101741725611446049697182816116952980089256690109516566242803284854935655097454968325709806601763445299802409101752572460460449792280257577115185480520876505899351564832174135411977779652792554935324476497129358489749784615398677842157905915841993761849707160567125026621594446630412079992352830139286757106976976266378010157256661988247506945421793112446656331449750558811894710601772365595995396507670767065001451170294752766860167506529522954129044871107849518263169509747269711158732776867610634089559834790714490552734463125404673708090108604513212129769190196259350728893465032123142904025320545763351562610786877176011991692382874680371458459216127416939655179359625797982162506603144942278182932897792546147329350804867014546682193922514586990803822812804526611025657178263195892689852569468996669587422751961691118179060839800197421491539877159169688336475347748007487577766611288081543100599789062385944069966389159194034205844534513595160016891606589527654143070266884025253135065389089705198263263038593808366063994798572235118217937008112081787726911655939834176705216265591720120243332830032375287823064283197180507239529735322955173104837102181159761930116731582686803119630571008041911930477971579672785029529559439797294500432643483372677378872480519292318129075141594300170423748519482724090149197762230095180896645720799274350771114821420869806320389838466348644400634378985820511533007233636175063664244348363429381716865277675927173868435130844307605385977884978545703928873633762169439444600268593765042490439747070469396499307353236961551408770635423051623551580205020464330288028606243330668268170811900863960680544921270550820866591183165171362199062268022146340355100698032539208500321737935916572824167109243921796327708886988064622392869223657202340493532622931976010973933691955155585614971701393657083510829337138019755841416703048425473095781543947284695305578910483032968871052034458997996570053793215656951656746253672334104502853352759013244455004163729329181785691615066366432555395455966924963740865923479058518089001727259875665774273483385120744001467195339376792213348011167418166728360082829942361956450241322000295203110123701834947807654204715508724845292827346100146348547365089126533446859392192538154695164187041834978200787084142435296024681621927943512800969148833336725244172361946188547209638148808774626491549825812436122883321932035224187833447983310912280780842507027219437053380309815576207436359412405607991428582586135325000600450340445707556148423538016057551385147286374445381999127065375263682748238861962754558676970298256355021579190594347001678124794147520737780545710725238092630705789482512217053784042005575181231834297637439162822131756990358145703326840957393914031753792951945222572832854376667354589981221872208463941921733023903715974803135508324697646388606943857352392087942053871536693447288027277274525421576482722658077210282649639911775387884460117481542574020986047105974973635778162249062405294681766280012433702764243057200917272468049484580760787533639129635595374936463756499152341721363955306855005063147840585974243413926065324435454143930650359521753864563822266967701888564720358190926679584308318307545078527771378321186170870661268143673661410440879129400564791354043028108431798307611860817271567856409823386913143144138785909699632703505725270463066502399928551829284912464275322457081097679293349772569391089433965877817838278668097131053394798019425276685153060752374669211759624114913182280195228443629054406029354014078168448839468854310977774649713419432822074039597645663216366911388055674444004033824207416021189820953689794976826840530063855020960995862149067127133242923955216689288381118440588882099046360442507652066949707379498014636270947753311859140148147365616666440969847109950977267427126852419476331478775678441642258692918630399930947997289169272673923171253150033965910071512265117820382148717764904157592308727054229962420175457070699334124035606469963629320951287401378625068247388775793100190180715880051517856756319120632646387917129023969678907242783030332107339826984736345629019926879365533487397619450023732220399774409788782270325997083249136371347959473920576722570018898298859879034662277574460484100927554260600574773489847857869077885071196141198763333605601699259296191798210522981667181477607820683943238312997333502226273311447560030346344769138042632040645897100672747110856632877598317707068109285992387448288963033783848284343008603095759504211313687275146815571999153003835709371811628295885386861489714678254967080333475258187514533923483088945298272830364477058058993426870144942681269232766983593731414824467492875119988039620924341039458996177075734568564543015202758133002674347175029218497929457573786654676512898532627002530643914228012517038567043043993367412997435263933332827902185399873234049339152439866339607669375777654460893584609291320819482354502949312185196462576914730247846352924628056546056581254571018956482544451653310465454962630777413759501791681585406819992391995410832229305735031797430736794784016599293595326884129176299286326462353158681102294807472460144080798083883059422402070309042157187760781779401504832688794481346645989978489414671913678201103259177233061658869865062943183141236334841851779088120360233282957052325831717949497171355624217480958863040591015617418162750637243055244050913058610723552048559284757936423576024628034664212377839601949771029506076828600446092308617300735231303196433523457326103470236858178284144318283003123736608035423683921688897423837618082177034765392656093836807671696102263353151287288504183987441820108573621090001961860938961602460208856877636397950103352655887679700240856733827704944534279588887636004528374067296959992161212008819088433242165085295954910707655578576243692034551976145592156692741898705372238180670805108336622461485694129632467913299770090828476986517896676088553161005611550761795254034078533136648007541637608336789358065967489741388215354512314449723274492911002421316645901665130658818492506036202484525932365173413805791200232437686840453953297502340211872173602593791427373817901923408372645029174045218514924943008188642160576356269267551021545580696906463544907025795646739155477402570724663876748602049934361661618655457581008374607249453367594849029580576044879885503170098994722366148474041276111127972682354237393559488179028185454100490417580488953172160430215305459286596135539827813166505505378670095285755864234432876446806190114626941973637908931879223575291135204858555802576520665674856000998878798173746510458870728948899642767165326317960971276921362219951984044924610670540434745268914452502026902997192020285019028617442866626487265731300406405514475780587279682707418701410686575146169592067716973194688552901848796829877108301518271786676088530960537199256279472232540485815576475023989541504711132352985464580426751616137036559414140551460087571145490694164769929761936579679382081458039814831564180619061865499399314083189554983356803307670155985468455677490925530928171937081152074113003972604249658700937701120850419468683285056057771332112325173133436614303950199710563675659743576957596347678583470570636193372479538427753818297350151583994375709855145506644470395299900198521397088527752763275564055679719982684702573490505326753980212828010781821236110195293389314757973496724644405938504671408020117814681029798948919477328394193746291180257355629914922000638130878140351659284174853588993656197632866473818596074486454629547845923396983073509500657061876059187450968817910510412456865774195864509969928029317962965086359995739535488148592172516298473303303531633808380287680316120365185541725606488534507271837848336420963165463908303387213995060644412231834039370317361626721334517039232091100389366748690519272136423178765281699132061698077215477836204424817835105287531579059407440453142692201342020196027082359311172043450636470148175996802337547401665519042816456803847854348420729105485803934968980794126167658950444027934675739151384342020909767349894791903987566481434152388437477343385506345279777100836657070089455481298019477753195650769752622102448244402531582648441683017177169605153673188813829296522594387128245659012879317832683005954790851432711907523068071147594517384840199652905187948739408971207506883037653688488908938496328770371731709863096656986444104082018034691691123060018088440564914464647234412288065799762435624075732962837885676061760211849359576037880180779827784647086182400197605967361763950336739976435498298892118438197035621511314797267290180288026797460216170698832083667508191696631088249095313995134342308211792489590022680899453895917749449028368824331370547145770563373162537742631705229401903089574385700685058103514267672344946278928264714750222749382953079695438542590392058673291390962574785557589691600654682077142026486051111862387479582648619318694739378210656054281345114027343780784300043577743478580825356921145531672555409701493216502260396853631120516456184512387749708680001449943681324539857540311891284735659129058876575653595733135742217401557961347275793910801273534291518072483902396457597607520480785463635195199467891933629026858441283083734566776888305699032480763173327386242877190676977493730442619179902126530098805642086487051959421617236575498360398216141241994067166399253029386011976574411740284344571226713596618543665796686329880389747123731107419115403452074624587827414113005372305392218873747782337038360509659661155797367780776658032626243933226712111801923744981394260402383843712773562047935390674421225633152550051173198065447493035926082403551142610428719056184518643880387852280665802299417389384778533884131972707349318882891948374079553673814528503438234292375847607793843860629262138638664278196136013837537754554565042819300263813960459365731337406162040202984032689042877403357513000261872628951350971405483236924954242331627373194441523877674666210374271088307610819038375789407268935364264969030654139724556329796612143291052231412044970379334209675014978406987123887464832024756040709742882374568252468645456310234479716595989499709003444051049030017408384964948728694659966590270138458134532902397618037506534580188116842189231190080859176220019636813731767202607667510525542394004673545014486702306358119905764811368254565294469758077569294759137179523061914770360942560813286464651358817320295268500047850867428585443306040903715713134973953490623757649011875332905719971957353757223098605035479819300397833885070681595414491195882203896752818256937433948159207345863615428928322365019534546781485375722855718519447096773869485755174381005815797010102179158629391085560643222569686086406164610661505410625865774770885091591702901703145625886387599673950676041820159666498173631174677647161930961729706047945249632503746288010959837795607353415105739138149592202276475119729596501486195636807693589605464925125373492393655880278853499022024467062847723798366488491675048282017103810730332945867014172468576399229328834933438975916491797309423042332708701046852013961258231103600450165345054113039247798652243015458100289497760700359133185467575349300532829965307777766103659659433416118324140736770437225608805982478257555946825524468437430313311667590211151602755011481253452309876067727816095363865887665982412165473954084502610310456833241900758722085690632764275681521803243648281759730885461313391748231736259578486528251174989541347959571686633178971469185088057115046049997297643306369801233196879814397180168695393291032751573925061580066804680119409181437801966543202798941189975367668449328493224634507025683756897921709482413674789294795851372211654038911266565104851609104369134121560571738517270445024608202216142726081951389416683160657983766257051363390735687495424036761054951791262883573121076674516756368643088470606543655811724339120256790812237721546947058094089626911261554680094186681496536291806106801410245909146087743968661858764328075373663888207948725625707087476888271668431195760348729693175122289907787728705090488186940614658315746851789529123767557822589024394102022506915147947735521950610377154115619181174955588792647474514075988160627739165293975638356224355185859981897825913031945146403781634323306633058393645640234765483567475994622676485484999552776466834910165669374829247079939507824032741215357442224571776219572027834888313101849084298093795687038636668821642422745084346013789736450796552772720845644458989125437375601526332997593599594205199077176771369332103203921510783273436037872085109136762349886344362420984720955074780889202541797708967638469532147205539224869923027337071964833484904596983311479330165742981395896953940673214263692502178082237337231815692752660602500625642690902483289851114286481354485973799910043132754856373037765775886278244271447171278297720395211330663750599526051279198553751017345873305211333857760858608286849511600428079095566928925065557619461605498352030388570187076342325528603709559148315730575332390742350781364515849011549346797178301358198056103424778616478809999273087272186423610927200379832099249210902044828419878653409213630397805664904676046986040724567578002859838619110484477846477503720506101003831231650749710318502569948356596477335301810237991239892089064733087507201309525549568286899218106145284129097154350663342836841523804131925945480146617611667324708867824255017257510524985281976622512335729385017924214480563346526546590593485940544983902174680151695063515178026513270513373145674301014513944360105397896121922047840767411620259837955824866034025480143382654307334688080917533794003463907669978751710212827335152650286849811733733003536153488082387394246091730042468872625601210980413673533986792512959749761668879635675984854311863756767089107147427840772086928447453283837709002250084899285597801701008325191869085017091130342957826020336621364716396351427317714179325821270129903691271912759011710088979532621678654470430812248191708772499880681804334298130001947083641226588085330638381258315764181364202935038822212064908993143533172049134282598134601427505321082386102966416971146460476810370482752948795906755462389612251134590120315378151421499093157967471900599545269360291389396593588517951759097436505189999310858978992284734074181650512394586634070825792190633516922190993842845091704066827652812654283418388772337308687968877323296188638808928460012302773700078700658376637463816488880082368672926927033248102082119115271386827895812271133856895405610855833949639688210557308597484533729528356864688107193747735656821317267879554294576870663905247340273759004849401438183835346337958760223920158986936692177921400650533231084382211721311712842354720530958884987550439517602093016412405702519359294832023989850640112794940813537876283668722150637980409156142048995319428463913516967083275489061836976589369361669922325992378628858268007210620577740652855776589560856772691217762844639531402814071888588441746971940995239084087377128760976350345980702249228280657489851140605426241879970154598940414865472557981325901615689398650536335145593451602257165700051196963364078453953442051819839062916836973503211443235364747353578605700851362856320306315004781798333049980068258034489716935162177502294348411650769852854499366926348099904655866479825346766284305965206585489380053065285886442260752912186394608598810105384383252608985396512198589656711243102094661896160263246569884467142995224200214985903732185320564136455839442201133205719037344196815196472681764407226876627176066837545247124979687597774192373330701446073918712502971204655640711174439878554539601219561752345744388056545527706851624389985160742798928317815126646782286837090074646841665885263300642510798459220886536081340421882720060398236598449138415869329854328195188003469226535136757722805575846644813720302904219627856883512084216439656924733319030990329406645032723523253309176296741474039694913948049086610800749484399924045851933520850530933033251285173454087513803494895397010755499283725469264930630900931579777556892751293755577688575753577744293950526343492117405488478676920955192051769902459817654993763173473645899511697678112927263202646609659513696443442087992621407581818380904147449458672203011281982947414751210793291212360864132314803982444797193134936012746452218508276874403180156798758715856884779512012055254508937236140789395053260487658661171089352181427079101143504607435350169482733258376463569713379425480264188899687913418861391825942398310699443294378064810421916366412572072489568777563453174158401614372446551687530485627437963497584941791678948369187505590286518398650158930683922703754119022369253524344945915721553848198199612912216290824833545196143889282891114816048901663790288133169191934708326436255849133955648462626291884858567370226518877896536048408737445221090566817384134603092534125256780380389647250185947077687677920975454929356325627716816217752667449731255992079828345654966814836569388956343429043450582603636394462828090520879326907067970007424060232723255307681187482648555145643140771519546095671918646666760239836781094793929785589321896601055157704941893770773188429848571506888334665976787300683438419964308530302336957990693249877590298298391813274179420482526911798729149720989952114725034174895272477753117835914862987222781999045229131703304972286205420473205056395798074382275749541170686057631593358748161282948487565036294435952438026418264085573400152515384409080719726264692533566996628664007182418480100949520118589668734030646711830686618180737245339363712327731476370208255373546344965704553534704790799951117943156816912962668451880574875164284738462737063832158071929474919778254463611140131322463114379893205517832231772816581573494798123008696941037353828868080725451115498027173000867342614947483048238593737399604868970676203938236347012289061965532898796528960064177725929155243627011321661851058885149982837782337929068363174050287724680533161890138478238795692447020430891474567033737676759364696487984277760319017541240700291943250936008258379364158349806742751962556752383906873743523255272197396376716740153393255164265174152406859802799708331567170008010888109856331538368767170090885878476841578617198518900678060129616401547752596133499481841951756221135008632568919833666392153524361473386539741964955984720374488598612649539869846605239544971304664219212943435201197190914501003899048053767549080479279896002335487981061723356671856618419111379350218406183600142494617599552592450553711265965187134705797544383347828886280362302191720198434895153612310283648317702248444053032752947990790393950632070253139723499531844068612261328514686071670369748980231315864794619585930198318456601368817024153380152724757011566582912032538695530313579328051739626585030948129656834157158423243245764483066104831026919865012280916220097704210427356990709697584391464736276686555266544360523628469436056445811575098216374746502862217780072787382820395009337242207571985666380842742272767784642352959269612077372193120595157552021549753607600855673968249852015294426475521539992854924504863675562989979906342914698029001975105422468150231929718137210806326853348938282458950809414454870209670524032770690571247423406528636347337671663357776359437194987733984791545650230316085429503321342164283790338789979578257912807267331503512096661498826616948582559435768175108716922942247629799985047721494670966855838641902815169678177966809109780114099268007108451352226679915363746461649141077551468131132063337637827362591828848702770146595017533320707297275208071821165268792251620399209888391800614206868837557183463498831833127687883618850734782939117519577624789959269179476408728085076675485872493828530721198042275946886963069861890663168530025742973461422816416017485313489712770338297146503773683082925441028484520858091257960327043985988283020332510040620513148273022453501567038851720351642650596376466647655139088708689180474461807362368873178978001667165892881421488161671238345466557234922118482908310980975673595358172118232381511965626556093565336165681549916181337807958386329323377296558389531527819719654901224460588634174526757410108251464734780175439555799429303050226302852011274564721650184500431903315312640371572959976276990660248497949726695076901784395136624562544416846644909158537871991523118135093763321852661008516007386781579178063146704884891265343577978665784964015551083273542683527148588024446535005209551118722021962427707349190305219683917687618913134917682673790763662782535042634548304801583056559247046664024511272868516591991130061230889007688158815367353909080555718911845964489491132053801209880987518401374908780624801186441690084762589290233796121789219019136221872572530277024302878135983224711037540459556406506644053952163175433437635625743783639034175892801961311939453067582632881699566127350927274329031500791260707239914957174723422491900624547847824965086068912425183766130908981003749378420309932568051918649691765847943763462474815362448251341106923834255537054760626728367843535018464456085919947087824907134526007546202123765445839739772198568566423533902441228448703007881366561248579779108938180966300065805899231548006402814316347647083087676992842676748630993743455551444814566882415908093688196920631570338602543285534122191331935947544223496910646305888272768507449574076782584476377040954073520623499940424702589848050074530854453368023823187052449582328988626564445483339843093524183279678300528876209455482159209810253714059991757844138719968298442195313648454617247830217626997259269534762316808218609214171096369966742354198221603563833915170134203447117943290226758073147443168671331348796648295202343252664115487443385872876162321124321492778340055809874873832413005042751326844407910029374506542074345413639928061556640346249441292995545443156727513269582622295862978360388436942498593408078118168153434706166252353598635687448737089275281731808347458828818817981081755042551765839336026758032766065970528902240155605255490239998825072461583651069151881062519396468323865173197592819431166745335939340346029424068778836343180081974569207599046619402955019744135151660761367066826566957080079689849530070747985746577660570305353376394163675575724153525786910721017851999394242003955413861552504274358104754047426630792546219212616609986983209809525368003696559071509487671036599777983368361311057929815125953035766295956602262032797799895688685210302376464748588209740773027156169486194745256677621402978905264707296525947137093271267011937747113840860616968696635482259724427033149131440114991009265691492037912950335947983892074252943270443126244361723094991813796420707303625383578796693661964853048148509857382172035125641207680253834844451539716356234307497199453784906045374529900746522597342453991561056004083714384400768047255172493253205806162075641271652669086100754098381657675022395076667973348180420094698393475162533966000476323800254530628336237620552930583636902933504511521335469194932829108474332078044686362108366763957883671691934018703536628152703940161110847395372648606645173026268060530951657640772770504057469408853154978103950989430122889690609650137141830107102469527297946377406347465064950542776447835772716365426272922846967745253866472835271598739571911536260545809120793301375943850611325114983282596662841707749823193437156986259609137265752869364000125592532405345260462521002192134608756468302251329172661133599304107462656764213456188220198394802308087377130085748519955574290202596765490924472597946026780750505535554457788183455568184623716406738484674881216810438947129424242538223379423423966848701437019618471227300069752746311080987466823140570067692311722814343480079705259561363371191589216659596460387088282208647466591667551401837783731067347976313820647008397972360886516735084860779466502384742154751113068034921836254329898910151704652266789364917284374866172214094155100054000956631281116307864528883178690788670562343974652128950382446048990559673460086096265869115157904993399593615143266963994605010126303652648512795699957936064435775046741894701399488278073270152625781909859807728803352315093063099364028554012527540423824478945178779671260604681648840792432612540975966336837794437535770009794026744815541121831502659869488929552442140557525422178678812689568960142588606563462298201550569280235135408915518694164907057398208701627939304318359530204117553891688113318657554997380272894230692281612489384328618794345894041147858850703842815435695955268546046366018317205139844320525058834541188542114096227743385122105143236910765849737044692714342963432741216798855689801402749961021214489079686952173748163300032496582200108152087390035571170900589153926094164752271710100182246146919845440425969136811160528258042790396182432982255302576424018487611821088117182051673401302068826252655336085824779364099699054131694614507101244873186453434734156588145952426468147168769076238720670076693996518128972176614856956114562898759455755362461101324603426951394981304595298104525619950255272500606277509095021112996278631717344378151528446608295456563985535028632192315019700591652090187056733464419560783541097859628621504749804949587925499651715792200954713467505279056362907045367065463054391330939433419325617533377089951150182165001031334368229255155287247095185970641334643731506103427814206389524780779638191708822808641043224144057548480066262263622848651086001665665521987383730212730545407866328571023786446033437310577544891378017646876936023140544809965105445004587746851390928690562100862404738253510787692958885048660764750668071173176197972587021627196966485944701937450005644278763365902678488468325873593027240906584026524160395492209392478249983202134472804155284649747175827661279145047697839472617359154884252088067277758956985784666557509359090955333626345267284481392018113699807502917782706936926258283163776806029594482138217800782026409556758199214115321558903404105043669316186635203375197313604619175053865815748662228641715403512471769172475556551589333445960360865994690861980963288765189372012861998714995201520067343125496571278516247107068007704240582566192894463092650904663679206587378497977782838173949803969618989380224477403364386732713992726464733589811653560981302965161318661546436639774687265777784346842026627963848577472401279211801207999711672344340340559848793100631678742944910174957788955566315327744550812129797893231849524617938827213409843654638497892446504738998799678950579974352320651011185248615728578451533456206770973214895049130642196686758241001735899912362374319420643955424880431537060598320632545015561488938226285603027571365410392433903482688259229772115590209020199083261177462136213099439275837332612891833890592973681544564182393712211047159328042462559297239353966483443571825193362630263178340663137347140703790514901411909728335286238876481302570090572565407034180269740775532616223613864464179487178139081932164794390006877568200667094522859971894644575230332239205508384485345430237475920681171563187929477821332835065499926274436773936941864153426829047859310180634211430176138363599300100751126412520164023157787037932892587758165048124708409654308131745014606613308037095758248803838537030943513284990119866966177563572033172054826389801858585913076785153460765114764177875381208583896509166738189451920411415869541186904652986515240427462888633394991572570605277931680870824460344714316783345660130262996503507709214243849938106828710596669075348236542190810034528337520828595848843517970540435163949862612718606453711356683787447057443968444203711492492388608431395710340651922440747022132643598215293327338839416343363171329200897097307718572073115263700104301119770759418126023077237601491656518934188931019327044635764593228540651675603176960581128605870085156306964338652918116474708194140130865406642010416990676273590024761839744173403175483074345222711268371504981585915290802862983168967228070833913519337198385661136554339628514389481359744522794801360789146931821568181481629739647861008771246768626806488698268172571516424929395190591315386573936767998999968870705845576088937553575326203164324469288380579728847662289741013177653881305068273596318057150015117816231147469990036265878868229927231767265567356432956517643591036195428511707274738471695478587111738038966247880157156107012329614738060874700771708584278054144314696513348875950813445481618617390462875640560142234874058289945643516560569601172936129952850259536523977974479218960894359307451231685691698477796309674486800136913387853328160702324267484311332242044555440087182507847372669680270737308616576132901434179836795834277830566666251882785637707119354004210396531585096287782401454883328134534630356218876341701421308049265493470820961617688265321242094601631033767627778417101774023881268422539900858075983464299660971438560230143092504564484906894338595153252808736875225524408733898222598985728870861695242545683098651353238416768421803316591338875193709124723078541516745612984826500055683548584178522908433120895123626274230480160866996764716373514785411101246451965371746432986986917393062313545980351110901360322158544586508241657603119286683495588260209166631254299734941940554615812256339498070330863304099917730526435222417443082669777431876369465566079898997510774644419064529504930651379139088408090545424269183779910677447034554512273351612297485700101128248236440015350218877862898667252014237402183844341392004432201798203108406472425352654584378838952865266484906173137148472193004991472826522492973862443075699027570714123392207027033003862028855177775324754018761369511084610482939999661105604502286583756826635882698305482811348434859353334135425502275314246856246660336744211693949111012266149800196830812162487975146084789262372222503839959681987183524197110828027840031635728876197682301781901362381358385768742534296334809265582299549543848306228309087395785215163121420804111854146748243998189020392995981411193678545091891258250941193032958558627908731609547163003260757079541798965557328074489221493475705896364007850102309986089821373948989628775668295332223821201212778854628635433976691044585088710715619967918464649926751994585788293143788095067363774602774785316545938805865169068080695165863760418748354149104164380469802038472089448653305955645346327740491978289115867249118745843018273227887282763135556994164394750792366240982098387111964891465651107550045819710993651989491514158111944921188513786999651344592433574179788395256600003697852315986680131174264650635554224984499957166485209191459510122737337417152656188639752551690595464219334447241405967279951220651343669584112913727903560817212679255453578098847296197786563827522837035230733800436453057729383657138290273198576158155294218937442553426111693928146939822047487536381747440387576628596190610523132625263987148084270050313594058154560655890007384368487531724805783459640853182911158420912613697188029730134243256309343213621070504158874966417544034406378235146450222798480073601893766474673632787244416480199781191276188916207419283456527568934683560397590580503621377726704540986029025118559388222086509769779264094521581965524682577662547080410971762557642824990886503336077890733787504381114841466965978224351886674427982057073646781057580910376824961185586371991559046635318583544854683128773615901606527610347155352671866531378144148635244711575933405758127776214650925846732615829278713641448780653031956608760270139729503441245256486582812029864466312636848277078175528001574341197611506975458885197224051756810220210344457105752159620520010589019765140208609894734961214605536676100092081556064190246324406422178210351939345302133913753592018219814516400137820973109685531195344121241497589326489471325496576538807343140312503183976567981226780030648352955269188097974019081993192833443913831036854955282952306101854660968166155042764270651024793374711608758014552448038524798127549863452462643973084621630959824005325513187007301524928828844150272316980035035371688072705937991233573103320768103931622305324624498561531854704996295817792562973729050600500005437686187261213688470533286090426237702503255705858711275434358903547610345778147560420421667251297098080431907165887233807853366032296644806037435264276323371295916680889110352559417462453611474123311826492400534657790529695637970149400343626604795594044600651392438880150150793214388175913971179180759144694744240165132134456320638703939480221794666579368899985060132503516636784548490525071858817879000249154330753356303180168811953535585916993389136112877465935810568523241333018206162177873663026713933468489708054602754322993093387069020308916059193501790989413712985079427946317817528149303574869351604693002054283500449628412437420573192673009625527488432138708155169004508334874589907234688011185565245465826383162695272092756925169099102939359768796078081891600520551200167977712443572110745259310850411512558482821094977867370982523805057475025636572203201753994838370989487185597786341922397999903916546959093344747273564390946693354609937656222506242038767369337494021992735736705429456589811460624752489675636103217086276050530992316549790614350875960288849733172165229370337857080366232139446761828793609673433032334325855575360419706721793080348772736684882516357191443249532769741163600965628221130913020388282506926676570351832671688238787401929833790450599655059713324765762014957403871431940662861281912901850987804198838652004201808967323353500744273655626811124565699383811116389175299087394994079229065025901099323628391213495670253696958917626357474447539481132339665583915929422049417085089117587543437607900912177562705938184442800001221268949974532769905851864690461653184751301955961861956956933013615741309293682513993915574416675279180629899131514275604751619971580109933777371206938349703659450545917990864357890232648900324977348336611399472002607430580593871224285387467660973191081270373320956789091914646607426909877903750638235352500143012922346842073217423789814033054770349417552606271588628663954777186484807585144976584319698237950478427454710166411077534765361442880635680994357957101057192746480136030327197111744061079220400061569006952759218965385820525592788028828037207758598429582991570356175070958821709085211649615848293841308860736895130098503912230975084901642635204087177023612159653025170536937764467257750289856491141338521357759655576051348180738326237828923361030508930002718764986938010525119104663267867995759513345489879409476708110727361089765396325950703220219474602666753556501284564352923685161312692205113923111965659238092533793229876402181089663300375445153216064507656594298889795072026258698826374986931070981702633625926769445884564762341943691593418228788258329666087143469182444074639762726530266319981882205886394343693122996487903323009127960182827306618851738227218390715490370390317107411134038467560864087095298986158060327360615539380806128754676422249575860981261266946684978854519349534575459286924529104827616552643571689209316367953691428498500020434187389423525653765947417493697688533128984881499055991419595138026970825154405205721452454877365904484797633817530336049853924925315149276545906051913703135666663492921443434878349125871028307097758958630232943344027422016003125909366795470744278599609895426614987890087606066195547820996024984086973401979154443429872294416645290157146794755799716379634505317530529531148778431756415720242480889812574030925458897973764040363008447298817079317321949358280133811388047748508746975414735689559172533829087516219481613388365325115243540482193140357193423083405143009825506375030953405042506624062447165171137288455474777152264843876767056728534674095797766362144716744942512494168562439426965053126234006717273036326293435607524697042540723616179395393338933013491989239756076515373549282153826942660114175750827389689239173657463206378490955801948133400865655804108829123890977650354951367777973842170758680142478988231787414521471222395602661426664095237488722674722776143403301871270527293868080911185289596582679848237670101390122656182959680517361460766199391390367878760602993019964267647254274036401129742123817125544231968163773128115204341343185060894391599524452878044334616995055050095307491884037373415037478164465389503847104554262392952882899853120970910891372234068334267132542351336606163474488522182030819462026736771976453958939935828320504594977901827127824713899769778794265265708773033964620194999155091818678897066313974864505855972718469140463791494759075349756092667385993283854207783351734620887860415372665879430867447297108146257915410344770279604639090255397541232818247027613052411058118309311147944260478608
Steps: 6195809
Otters: 30345
OtterSteps: 7412078535094956101741725611446049697182816116952980089256690109516566242803284854935655097454968325709806601763445299802409101752572460460449792280257577115185480520876505899351564832174135411977779652792554935324476497129358489749784615398677842157905915841993761849707160567125026621594446630412079992352830139286757106976976266378010157256661988247506945421793112446656331449750558811894710601772365595995396507670767065001451170294752766860167506529522954129044871107849518263169509747269711158732776867610634089559834790714490552734463125404673708090108604513212129769190196259350728893465032123142904025320545763351562610786877176011991692382874680371458459216127416939655179359625797982162506603144942278182932897792546147329350804867014546682193922514586990803822812804526611025657178263195892689852569468996669587422751961691118179060839800197421491539877159169688336475347748007487577766611288081543100599789062385944069966389159194034205844534513595160016891606589527654143070266884025253135065389089705198263263038593808366063994798572235118217937008112081787726911655939834176705216265591720120243332830032375287823064283197180507239529735322955173104837102181159761930116731582686803119630571008041911930477971579672785029529559439797294500432643483372677378872480519292318129075141594300170423748519482724090149197762230095180896645720799274350771114821420869806320389838466348644400634378985820511533007233636175063664244348363429381716865277675927173868435130844307605385977884978545703928873633762169439444600268593765042490439747070469396499307353236961551408770635423051623551580205020464330288028606243330668268170811900863960680544921270550820866591183165171362199062268022146340355100698032539208500321737935916572824167109243921796327708886988064622392869223657202340493532622931976010973933691955155585614971701393657083510829337138019755841416703048425473095781543947284695305578910483032968871052034458997996570053793215656951656746253672334104502853352759013244455004163729329181785691615066366432555395455966924963740865923479058518089001727259875665774273483385120744001467195339376792213348011167418166728360082829942361956450241322000295203110123701834947807654204715508724845292827346100146348547365089126533446859392192538154695164187041834978200787084142435296024681621927943512800969148833336725244172361946188547209638148808774626491549825812436122883321932035224187833447983310912280780842507027219437053380309815576207436359412405607991428582586135325000600450340445707556148423538016057551385147286374445381999127065375263682748238861962754558676970298256355021579190594347001678124794147520737780545710725238092630705789482512217053784042005575181231834297637439162822131756990358145703326840957393914031753792951945222572832854376667354589981221872208463941921733023903715974803135508324697646388606943857352392087942053871536693447288027277274525421576482722658077210282649639911775387884460117481542574020986047105974973635778162249062405294681766280012433702764243057200917272468049484580760787533639129635595374936463756499152341721363955306855005063147840585974243413926065324435454143930650359521753864563822266967701888564720358190926679584308318307545078527771378321186170870661268143673661410440879129400564791354043028108431798307611860817271567856409823386913143144138785909699632703505725270463066502399928551829284912464275322457081097679293349772569391089433965877817838278668097131053394798019425276685153060752374669211759624114913182280195228443629054406029354014078168448839468854310977774649713419432822074039597645663216366911388055674444004033824207416021189820953689794976826840530063855020960995862149067127133242923955216689288381118440588882099046360442507652066949707379498014636270947753311859140148147365616666440969847109950977267427126852419476331478775678441642258692918630399930947997289169272673923171253150033965910071512265117820382148717764904157592308727054229962420175457070699334124035606469963629320951287401378625068247388775793100190180715880051517856756319120632646387917129023969678907242783030332107339826984736345629019926879365533487397619450023732220399774409788782270325997083249136371347959473920576722570018898298859879034662277574460484100927554260600574773489847857869077885071196141198763333605601699259296191798210522981667181477607820683943238312997333502226273311447560030346344769138042632040645897100672747110856632877598317707068109285992387448288963033783848284343008603095759504211313687275146815571999153003835709371811628295885386861489714678254967080333475258187514533923483088945298272830364477058058993426870144942681269232766983593731414824467492875119988039620924341039458996177075734568564543015202758133002674347175029218497929457573786654676512898532627002530643914228012517038567043043993367412997435263933332827902185399873234049339152439866339607669375777654460893584609291320819482354502949312185196462576914730247846352924628056546056581254571018956482544451653310465454962630777413759501791681585406819992391995410832229305735031797430736794784016599293595326884129176299286326462353158681102294807472460144080798083883059422402070309042157187760781779401504832688794481346645989978489414671913678201103259177233061658869865062943183141236334841851779088120360233282957052325831717949497171355624217480958863040591015617418162750637243055244050913058610723552048559284757936423576024628034664212377839601949771029506076828600446092308617300735231303196433523457326103470236858178284144318283003123736608035423683921688897423837618082177034765392656093836807671696102263353151287288504183987441820108573621090001961860938961602460208856877636397950103352655887679700240856733827704944534279588887636004528374067296959992161212008819088433242165085295954910707655578576243692034551976145592156692741898705372238180670805108336622461485694129632467913299770090828476986517896676088553161005611550761795254034078533136648007541637608336789358065967489741388215354512314449723274492911002421316645901665130658818492506036202484525932365173413805791200232437686840453953297502340211872173602593791427373817901923408372645029174045218514924943008188642160576356269267551021545580696906463544907025795646739155477402570724663876748602049934361661618655457581008374607249453367594849029580576044879885503170098994722366148474041276111127972682354237393559488179028185454100490417580488953172160430215305459286596135539827813166505505378670095285755864234432876446806190114626941973637908931879223575291135204858555802576520665674856000998878798173746510458870728948899642767165326317960971276921362219951984044924610670540434745268914452502026902997192020285019028617442866626487265731300406405514475780587279682707418701410686575146169592067716973194688552901848796829877108301518271786676088530960537199256279472232540485815576475023989541504711132352985464580426751616137036559414140551460087571145490694164769929761936579679382081458039814831564180619061865499399314083189554983356803307670155985468455677490925530928171937081152074113003972604249658700937701120850419468683285056057771332112325173133436614303950199710563675659743576957596347678583470570636193372479538427753818297350151583994375709855145506644470395299900198521397088527752763275564055679719982684702573490505326753980212828010781821236110195293389314757973496724644405938504671408020117814681029798948919477328394193746291180257355629914922000638130878140351659284174853588993656197632866473818596074486454629547845923396983073509500657061876059187450968817910510412456865774195864509969928029317962965086359995739535488148592172516298473303303531633808380287680316120365185541725606488534507271837848336420963165463908303387213995060644412231834039370317361626721334517039232091100389366748690519272136423178765281699132061698077215477836204424817835105287531579059407440453142692201342020196027082359311172043450636470148175996802337547401665519042816456803847854348420729105485803934968980794126167658950444027934675739151384342020909767349894791903987566481434152388437477343385506345279777100836657070089455481298019477753195650769752622102448244402531582648441683017177169605153673188813829296522594387128245659012879317832683005954790851432711907523068071147594517384840199652905187948739408971207506883037653688488908938496328770371731709863096656986444104082018034691691123060018088440564914464647234412288065799762435624075732962837885676061760211849359576037880180779827784647086182400197605967361763950336739976435498298892118438197035621511314797267290180288026797460216170698832083667508191696631088249095313995134342308211792489590022680899453895917749449028368824331370547145770563373162537742631705229401903089574385700685058103514267672344946278928264714750222749382953079695438542590392058673291390962574785557589691600654682077142026486051111862387479582648619318694739378210656054281345114027343780784300043577743478580825356921145531672555409701493216502260396853631120516456184512387749708680001449943681324539857540311891284735659129058876575653595733135742217401557961347275793910801273534291518072483902396457597607520480785463635195199467891933629026858441283083734566776888305699032480763173327386242877190676977493730442619179902126530098805642086487051959421617236575498360398216141241994067166399253029386011976574411740284344571226713596618543665796686329880389747123731107419115403452074624587827414113005372305392218873747782337038360509659661155797367780776658032626243933226712111801923744981394260402383843712773562047935390674421225633152550051173198065447493035926082403551142610428719056184518643880387852280665802299417389384778533884131972707349318882891948374079553673814528503438234292375847607793843860629262138638664278196136013837537754554565042819300263813960459365731337406162040202984032689042877403357513000261872628951350971405483236924954242331627373194441523877674666210374271088307610819038375789407268935364264969030654139724556329796612143291052231412044970379334209675014978406987123887464832024756040709742882374568252468645456310234479716595989499709003444051049030017408384964948728694659966590270138458134532902397618037506534580188116842189231190080859176220019636813731767202607667510525542394004673545014486702306358119905764811368254565294469758077569294759137179523061914770360942560813286464651358817320295268500047850867428585443306040903715713134973953490623757649011875332905719971957353757223098605035479819300397833885070681595414491195882203896752818256937433948159207345863615428928322365019534546781485375722855718519447096773869485755174381005815797010102179158629391085560643222569686086406164610661505410625865774770885091591702901703145625886387599673950676041820159666498173631174677647161930961729706047945249632503746288010959837795607353415105739138149592202276475119729596501486195636807693589605464925125373492393655880278853499022024467062847723798366488491675048282017103810730332945867014172468576399229328834933438975916491797309423042332708701046852013961258231103600450165345054113039247798652243015458100289497760700359133185467575349300532829965307777766103659659433416118324140736770437225608805982478257555946825524468437430313311667590211151602755011481253452309876067727816095363865887665982412165473954084502610310456833241900758722085690632764275681521803243648281759730885461313391748231736259578486528251174989541347959571686633178971469185088057115046049997297643306369801233196879814397180168695393291032751573925061580066804680119409181437801966543202798941189975367668449328493224634507025683756897921709482413674789294795851372211654038911266565104851609104369134121560571738517270445024608202216142726081951389416683160657983766257051363390735687495424036761054951791262883573121076674516756368643088470606543655811724339120256790812237721546947058094089626911261554680094186681496536291806106801410245909146087743968661858764328075373663888207948725625707087476888271668431195760348729693175122289907787728705090488186940614658315746851789529123767557822589024394102022506915147947735521950610377154115619181174955588792647474514075988160627739165293975638356224355185859981897825913031945146403781634323306633058393645640234765483567475994622676485484999552776466834910165669374829247079939507824032741215357442224571776219572027834888313101849084298093795687038636668821642422745084346013789736450796552772720845644458989125437375601526332997593599594205199077176771369332103203921510783273436037872085109136762349886344362420984720955074780889202541797708967638469532147205539224869923027337071964833484904596983311479330165742981395896953940673214263692502178082237337231815692752660602500625642690902483289851114286481354485973799910043132754856373037765775886278244271447171278297720395211330663750599526051279198553751017345873305211333857760858608286849511600428079095566928925065557619461605498352030388570187076342325528603709559148315730575332390742350781364515849011549346797178301358198056103424778616478809999273087272186423610927200379832099249210902044828419878653409213630397805664904676046986040724567578002859838619110484477846477503720506101003831231650749710318502569948356596477335301810237991239892089064733087507201309525549568286899218106145284129097154350663342836841523804131925945480146617611667324708867824255017257510524985281976622512335729385017924214480563346526546590593485940544983902174680151695063515178026513270513373145674301014513944360105397896121922047840767411620259837955824866034025480143382654307334688080917533794003463907669978751710212827335152650286849811733733003536153488082387394246091730042468872625601210980413673533986792512959749761668879635675984854311863756767089107147427840772086928447453283837709002250084899285597801701008325191869085017091130342957826020336621364716396351427317714179325821270129903691271912759011710088979532621678654470430812248191708772499880681804334298130001947083641226588085330638381258315764181364202935038822212064908993143533172049134282598134601427505321082386102966416971146460476810370482752948795906755462389612251134590120315378151421499093157967471900599545269360291389396593588517951759097436505189999310858978992284734074181650512394586634070825792190633516922190993842845091704066827652812654283418388772337308687968877323296188638808928460012302773700078700658376637463816488880082368672926927033248102082119115271386827895812271133856895405610855833949639688210557308597484533729528356864688107193747735656821317267879554294576870663905247340273759004849401438183835346337958760223920158986936692177921400650533231084382211721311712842354720530958884987550439517602093016412405702519359294832023989850640112794940813537876283668722150637980409156142048995319428463913516967083275489061836976589369361669922325992378628858268007210620577740652855776589560856772691217762844639531402814071888588441746971940995239084087377128760976350345980702249228280657489851140605426241879970154598940414865472557981325901615689398650536335145593451602257165700051196963364078453953442051819839062916836973503211443235364747353578605700851362856320306315004781798333049980068258034489716935162177502294348411650769852854499366926348099904655866479825346766284305965206585489380053065285886442260752912186394608598810105384383252608985396512198589656711243102094661896160263246569884467142995224200214985903732185320564136455839442201133205719037344196815196472681764407226876627176066837545247124979687597774192373330701446073918712502971204655640711174439878554539601219561752345744388056545527706851624389985160742798928317815126646782286837090074646841665885263300642510798459220886536081340421882720060398236598449138415869329854328195188003469226535136757722805575846644813720302904219627856883512084216439656924733319030990329406645032723523253309176296741474039694913948049086610800749484399924045851933520850530933033251285173454087513803494895397010755499283725469264930630900931579777556892751293755577688575753577744293950526343492117405488478676920955192051769902459817654993763173473645899511697678112927263202646609659513696443442087992621407581818380904147449458672203011281982947414751210793291212360864132314803982444797193134936012746452218508276874403180156798758715856884779512012055254508937236140789395053260487658661171089352181427079101143504607435350169482733258376463569713379425480264188899687913418861391825942398310699443294378064810421916366412572072489568777563453174158401614372446551687530485627437963497584941791678948369187505590286518398650158930683922703754119022369253524344945915721553848198199612912216290824833545196143889282891114816048901663790288133169191934708326436255849133955648462626291884858567370226518877896536048408737445221090566817384134603092534125256780380389647250185947077687677920975454929356325627716816217752667449731255992079828345654966814836569388956343429043450582603636394462828090520879326907067970007424060232723255307681187482648555145643140771519546095671918646666760239836781094793929785589321896601055157704941893770773188429848571506888334665976787300683438419964308530302336957990693249877590298298391813274179420482526911798729149720989952114725034174895272477753117835914862987222781999045229131703304972286205420473205056395798074382275749541170686057631593358748161282948487565036294435952438026418264085573400152515384409080719726264692533566996628664007182418480100949520118589668734030646711830686618180737245339363712327731476370208255373546344965704553534704790799951117943156816912962668451880574875164284738462737063832158071929474919778254463611140131322463114379893205517832231772816581573494798123008696941037353828868080725451115498027173000867342614947483048238593737399604868970676203938236347012289061965532898796528960064177725929155243627011321661851058885149982837782337929068363174050287724680533161890138478238795692447020430891474567033737676759364696487984277760319017541240700291943250936008258379364158349806742751962556752383906873743523255272197396376716740153393255164265174152406859802799708331567170008010888109856331538368767170090885878476841578617198518900678060129616401547752596133499481841951756221135008632568919833666392153524361473386539741964955984720374488598612649292861489677384472928976645020509722441795418736345635400091078366701699546141788333733115324424369342947978580757292639989898814348369337377504165654104732553427486198364100483476243890830078874946151312335503646681868186022611477507470933151307548549626451116675989344787708600268402831057019086579591942344367584015607955181167711975064297349306387293183863099508169234032931638730963249854798352424326734012156241391226161604266782262531584363091512980647978175912249888526423069338545715359597414269759994750695667683475401953326552524397215301182894195762199117164213419789445483730347577235179223399214244109906447211938350699181883653108508922163973272069658745429547218984780483700614460463593179070253577471074406622935047371197675071946031228382302457939562710150390425806965014783101410120799091060834229420112926281497453027664519043400969582112699667961413534361247622077785294975287368096172964077740873216683055049157103387320975466156550856859241931267844071964987163098532893526944008018583464923581235190039609640731803087605862795785662694597783191012333622797946086100138385808721473731801774637462421365204698510820256980835938644571815313958755936030751472819845409628091595289091073017624462810140013313848745017815980676843820568426564503595910147490518837244279527750816017397703678288951263771129828183491360932321814675553982468159485329438664037711442740075005675110342972184692264397356929095347033580945850023859626633764349769967889071345612499663093335568393022171752964450366362912565839871891102640778367520644084907623422245463120627846299014100013080011908067651803488618443209810286061828357285404823687336616585936020291946321872837525059184833559884840612201198939914358595342580011898390251594108751871666211268414286138674789851091994052984387152231019408423509439210309554533553288894620314628624135356917813325716780673506101780458875694035448305017650746746498921971359962879390864010232373202747830786397491312801843839946271558587210410021811276072256349995028205098792490376546228183160495756246451635977007895430451319767223484932625847167325534504310252606739586004572792267465136441247888725958602109023472600638515626577803933623302030281285201677800884221946117505477356932454329284213581573302093513410713558555236266523121204941620423708141406446531191716378138848115158308290228638056759692158956938589048960721431097031050870228371122206737842862925136528572115562894176025373281521678314942326944237913112093359460587459938948982368012121662550721728745175442386126532213698505794101975549023655020369366695513731517563787385517964966009867641607921248532852818508896607525691234249807983675434513872953102792679870043644463654870199683461706999513035923261778880410524413050932653457541581169347047434811381020833029265752903188752829185629818705514870907838712859571469967722070672263161156963579827082806276686196940375432685463585914450788718919126962581579261471245621906313458877363177837487173821100370402747344660025144339546743575311371853693801467496446928153730889036099771080010524344331324444609747054181583587308947403932425736116288289460644812177963154802683294154592618815705449071921392308419783965332072723745713648774150213672204637457069758353458198609038934567335064187282771556722577779393906653381790613172518482374609567063495635351863430595380354411921525276268591924921718025845599687954150812931945543748031653781063564762806316226428346649530514438365768709933856185849680858126907521838490257789486517563420845246183963200918138792466270460931230443766131876783555273160181486017263221341681383286728873987571748606422438121567340529910496924864253895179519422994539876592074718274085782067491237707241610556115060260749002336519921128625931008785527333340264553230637649338671584103643419962256126878211598916284839165971376759855439146466140693916429618183639326887698162938331003660760514413936402982532709296989004322546637237934176059805394033062606708509401129973596233518926917272472064316725858319242611898385470366049299813826078715333932783819312524553849489552733720092208053302297515813162118665083123928075289540380702047125018499159821605329568099134221090091753044538544253275489138039705741988987443351489836127176237525240533957860418962409988833820838743710699670987895401081870379357266498923350097062108066699909036844997577764436561437072940942599935045212902559981144466949586199230187215260719038415156330080622887369307524009094952541268825354157461139969612540856973711604846799052733485494644723525215303128152586918889343121003082057297872442049797086591124622687108795088999069990386625497540063277972115228609119673919153925444157735972729626201697339419766257186294739372819748901251971275091210869380460933315280658132316585500075316138458798409264843820091321483309745123281413115154707963197590150871884583368587189110557903542687008247044278202680520836102815911280397094370498066470680115121964786301607007054916104956273927895068887144726444002397702405850975231334694962791379357154808932111432772788206341534667278613756469946126783963422795749432537241523454965050247356451901547167952551459209219678958784324253218364733079699957647246010761742955629969041645680253381860284182450865890575817058661068612367038367295213734160606928393515534131073026005643007900964238254692503716788900257635018040607467106168719923588059404949139665305542678142056611385657282843218629383569403539644605109035235457503536757152360388761790496014838797971943343465519440095790515952349667543001323951580271272624440143744267584965872512310867299650997862966555704273890956628209400770669127479084328223973669609335089414234640657249542362884469524697949279094471688789273092211299769643478105505406543696730636981235423606531246517911218980299987140315503029685522638022932653187331969751700333756622886105599039448456929274219161229608784881279314544923013210142697478778772813652102523847766144292524270309609829441043969539720597202986616563195757553118018011086639564742487504854445475162338967119299579205796897004311686479026352457209018244749098984994707097926760595745513836472537485093586510546583066941939820258353401570423817180105127563062830817644751238944607943424279532425786711675979184309273498498207715849863934249398829626111467776902301571059965588912179737830043980519451369661490710727891182241386563334161324253497835982057267494554900610450170000602972251843915403976165347868581071109728371958596503042128542002598246618866111382660995190182437168083294801104847618957390865212667901081704920961996574602031163762844159440175145739672839343043545792560544162905621735427698859704548471656904188064813794100264977034665576563254628840357006959736040877752160864745482318999283267354991530954321101009671240854218787839818833095737335612930745182154006161550777954157264297692439132414686565801318281974016019089081605767727753121843772460370576958900285674433244891726173598357510406767070039907113143768733208294168383396504473466054377143222781632755958637546181624561973739574158092596997939753677402352280010197004479505676237756814020573412398603844236730917181606613758761250032420709631289143962589947354437816365199702032617901872256476954956652229397972706160744255624210265649205208087756580487451788959579235650377017437232840341437616079021795736537334744103697793626902650210174365000713209850452170660514434051675901251621125789579413319067320339510817798135251678331238756228207947032933023662260305670929073069518145214686431426124583419058237776311103924809635909395637535902918295846782220945400882492888978585003962074529012348643993083776218425544125284116368930973084076861224385113771595111391328562624746396648511930288952353108052393681345604115835751980736937406634378642102008922209338858413094021405848730527897284926586058803126038715713922219078998872295085357538445215537982989688787965188861842210264208891724194601343774778848304561124332851392826230601567766133779846197948267864728495172158932806388539791473092306766188730124838551376749244657451364884903649988672260267952026408449195457860552049098815048479937180066641063439323915018621893106886215604069278019444273127520000759267370425070272716476834759150280841097570396901426036260185680956569427599976870271796648230967908124632263222421615705066167035548208181232038659890036631345529611567597660455845014516113745569528788820614878904169394626958651000097679522366655967520891170307909350379386057650998947621297804960836672669814785167129842906887538552320250657567154433417741683247962441298133157705137608496674792107471161204227678780322022106170622664386550391257656194227401771826304837979241107254277003663776980566965496928649467345716538248650782304742780970267940333969383749818115333764880487102412857674943189484882261083070487337082034438861828540611096818003119967839089186176433039380956468497156495254225529130760740360569402720309325629274838221286976714683721735944347736292379926910819560321470077330413434361102635776955616121926421257916760162449289695571745100053414639675350203561712850854757550122249674990397000468305791992453437691121843621177645460911949497059506324329206414164654692841286812868441932112560225216405514422038135585581909578122145265224716561832457650614216283338229513539970230845842762692043329027056360725057512281933335521753233190806732430096349851854616390899980495674288467480949921556741509529445006448620717762061781294473020775589130602723503876374474131078386481936870392573494878503508242545271557078355842326120716381645608217935117999033428541659962385377517467658475334936559227889410712085987071609932672905865391541185267550320351238196526719308499574822256747443986027666645159124833867719329414169474429197682579536543024770327666940875204816828997441357337462930043470321492519612995015167621644484226522642834672694495996872406844357975922519742695920251525113412595326154084039082466316403452341403519372548341339872643207721767890096030959128792501253926449001764620862090986126358714729811478164819432324136847069372832633468732493706794033822796133905268591502861345763124073266161413196789426038660749114841190896492189826383718931875571929369404792764596100021460117790506858176285055004236006929464943073555819502289898786898482656791894692745711536088582483060171027407253391155928314205830681465042922154649148530147328281848723903756872692471207689781780198961769041125174554622678114699748525613591417594864815676331951912261040096217012134954983382222178796766685888065338327098994245383217773156049104155616985389909618004548080790293735124640785327496100765516179573226086005662991308562433274087077539226821186366849121714771625837126591978455695850007909548682128568743695072135674191086535533294389545757106988002185315990489519585798884541108651580620659388749570183204177686115391860713765859672685747879522478017182020537958350127903019553656231747616146749262250141490929748687549730278567909850168152199652571075991009428358551356023812327109029786712915654211629787787599036613183955742398227635613431878626376695184948103376324635869350293426681390964170357443085297267926425292972672196647901851222916379095098659704769201743063947718528227904413772263647430930764089159209495162811883527118395860575729086905025546714803706672020718230343801485669804366767279997834408895022485662187965024416032445440506269753312592260122899222294126730676424166346495812912403181726594364717029907801034229048343620429325534253604031010798636289685025285142786693075270025348589224189803830280840555263145302453058361173209366137338877212505549430252658208935931383323555606890534316174984653155216270668041340295778028646084642991873729811455017507946765348835267935452166016453325236721243929302624757893561819127875334939739609846822039775712807061240102190756775668840828074619512895447969312112424719771151126347465900980371691007115104840817256190191929194676596019275238712259103801017883742861410321855067721278787050667283675834416893538807483849733601654291773216240656459096046635420922950659045786076954164994139904473515814794081425963971945890033676170263890495069339640911530745724680502644891326052098921758426174693238651032391014985976849645792675892704398370125202671036244276773623347550041857319428577300942746431730796391383749350359269364972281376622839586743267392100050483318007640293648413604890841350914127228440132458240222831521032523149782833045462787557697513270682247015358747438689233494067173029583969777995114923232695289702418279261029819215463560933115790323067035468389024253474905121849531694651639592968468566657501578835477160802910610320707089736515433077062782375338512566873371717669038479993014433162600665524646438175279028796307305452799221776623780981475324573228006526768109270017166564955854165978201599757731922148140950115980162619488695600253860852083533049503205377381424751477399758998549235820774324861241011641314302663774456167197184101569214917613158087298644961880585964691601044547877188069529729548564751072278803334611607032263782287423145275672466275795900549399275941651387959972250823843079203157202533540040898602254893308602697422909519114076141237872172402959521771326828472151147814575265078054151763586248218944519298328672805782996366585157781717343739517741090672215436512688776187779577527577673308954898957472967864857513764027926739616283074912609851477507492904815213369819686975224522564750155555460442579001117320239865200077947216414540958100635569181401827967686171348470280273564645508557160794908623821223783314318207731786506652476269570354057258302345431736222113643404526833864921263182863240224524409851700410584505207088970123453633754708100944296026603943589815937769435899313295862289762853066112090418385916981975570415945432125945927649541574280930867045056923013892269002598322756678070311475836331139620094506960299458389303401285354045726231751910065427119385780079489514203996182605368666051101792283294509604988645066909909157545038169911644890945072924380019845321494592259661617638086896372687476868410430705987053614778304627427212676243973725167965324189290783978437906219396226388922459604014431996279023645700513372234669367852751529075824888773176053055018062926183773021313744255792769420850924127319465120048251303700851014456087898467377047832482316290172971580523562107581098543800381531872983344249230339971209832973193766079962207074288143529574658413721362830391500348209402949653147063225666451723178785885406087587355545590374785893595682933076758884051382348250004754949537896997808931003934229796655506063648531124748810104970655412456364157919911073469559515589086884223813845659093631087293089817943168168096853919223348501306584025930310463333487589721843491282121978789883637863593209644486709908542304757152464117279877944473447743005923622865851619179429827993645833281305974389968353140670977670959649756550608785878642395620870794027841089769976335085383713621941674101127007693491743467064479532675987236838862120948632540709489708692555208956944712137677142130946293377650784644622665528197708667701897578522680842980981497726216031614292485705609916371290873133383654286117479420851677546152172260103686990492361339768211160877483923153889796769310107763907230394112021261990621362139937866729364107317149028830486900482819177272297279848600776870245896030210724709226467665671456947374080377765363611671381491760842421847466402105285409626470584590022721895658553928178701622751175132629585242775187556645001717161631367732682980455032871707671392893546887352097109064496918176334864447399516209128263258975709413628123523365673895426121909427242594378617328808745156180227503834991162738221563184235363390036251293971282800285535963261364175701862221855735686786017196385950182207241357734931330139274996593443451628243024672350526005689245468100490139168707473881296745838579418270063569069641584769694644527792968371960081979423064685758838738030132879425096798319543065990096193534806565415807432896791847614822229462525507169248411622741664972487303754513626113434233188354959494420658329428110297242209318055320613593203548468230058428133698058408217912816344991164971568536847667180660879476117887071929240691003693688187326462952410060099981439942713506486923447790644602552949031176067786775301951439226853145217045229166845498659158779072299563971016848316327486712247050236399350792778637499633386565194479614868479448061567125576131688335846971774037871996342183701417071113591575626846031866359502429985208178665621547639856150834295392231981899195246721728248171660291031421583972140690544667069418912353294352869001594555092654037275114442834990749624143835236987226635880469497167589891429330703076276762730060130910446154200000374431632749225362185274837419581426229941587017263481501441589404872074132897014948311539993112101382727732055871717607953227801740763685483558740383233474301482988366246591950352346571916496404221581169851328079594801462105880332497653663419076476572940238832977025133053273887179987291047735419410869930028317896810209068372132957126007839528677274693714900436564678979699560723691059507754646337625832742582407168886349442225883781086904491919010094355886414961218136783431529342047816624752369840364409381768578255023889679066835646281923399452554597709241236667413040680758001014459511470738988101390976918842903131026528074764350898387222757517124293920834164654003876911883181319684815215444974514873788545849240881785600263541260948591340565249660535714572874616369842663490255924537389596109231948047704684271968809981769303655292989752334252153684331400225933793706517204045131229448148093460295852641456297473002729048894940436644180033732911003798175558296419576763541664489812451698187454939627344615785471320195734181999913400899798896988132988811476116033841860171698615988781442823768892487323348127298886239629809882896027711643549959603923586097316208960361031302207670836766435172525082560360960490088603532838493135891627473618944733809944546857935848651026904480179879876575650807366908673084138166690208613317995259057538639542788178671399552250078886109727290029450224355909768048110858133840412453829896134430233971296706410478590693507125034674621483452485243107764880056028237168670795029740085823857642803067715663365254597067311141323459689003498083312297861311186
Otter Time: 1154.025929
OtterLess Hops: 489737088049
OtterLess Time: 79.128331
OtterExtra Hops: 5110124545679
OtterExtra Time: 0.481010
Macro Size: 6
Macro Machine: [trans(a,[0,0,0,0,0,0],l,d,[1,0,1,0,1,0],l,13),trans(d,[0,0,0,0,0,0],r,e,[0,0,0,0,0,1],r,1),trans(e,[1,0,1,0,1,0],l,e,[0,1,0,1,0,1],r,6),trans(e,[0,0,0,0,0,0],l,a,[1,0,0,0,0,0],l,1),trans(a,[0,1,0,1,0,1],r,a,[1,1,1,1,1,1],l,6),trans(a,[0,0,0,0,0,1],r,c,[0,0,0,1,1,1],r,5),trans(c,[1,1,1,1,1,1],l,c,[0,1,1,0,1,1],r,6),trans(c,[1,0,0,0,0,0],l,d,[1,0,1,0,0,0],l,5),trans(d,[0,1,1,0,1,1],r,c,[0,1,1,0,0,1],r,3),trans(c,[1,0,1,0,0,0],l,d,[1,0,1,0,1,0],l,9),trans(d,[0,1,1,0,0,1],r,e,[0,1,1,1,0,1],r,5),trans(a,[0,1,1,1,0,1],r,d,[1,0,1,0,1,1],l,8),trans(d,[0,0,0,1,1,1],r,c,[0,0,0,1,0,1],r,3),trans(c,[1,0,1,0,1,1],l,f,[0,1,0,1,0,1],r,6),trans(f,[1,1,1,1,1,1],l,f,[1,0,1,1,0,1],r,6),trans(f,[1,0,0,0,0,0],l,c,[0,1,0,0,0,0],l,3),trans(c,[1,0,1,1,0,1],r,b,[1,0,1,1,0,0],r,1),trans(b,[0,1,0,0,0,0],l,c,[0,1,0,1,0,0],l,7),trans(c,[1,0,1,1,0,0],r,d,[1,0,1,1,1,0],r,3),trans(d,[0,1,0,1,0,0],l,e,[1,1,1,1,1,1],l,11),trans(e,[1,0,1,1,1,0],r,c,[0,1,0,1,0,1],l,8),trans(c,[0,1,0,1,0,1],r,b,[0,1,0,1,0,0],r,1),trans(b,[0,1,0,1,0,1],l,b,[1,0,1,0,1,0],r,6),trans(b,[1,1,1,1,1,1],l,b,[1,1,0,1,1,0],r,6),trans(b,[0,0,0,0,0,0],l,c,[0,1,0,0,0,0],l,3),trans(c,[1,1,0,1,1,0],r,b,[1,1,0,0,1,0],r,5),trans(c,[1,1,0,0,1,0],r,d,[1,1,1,0,1,0],r,7),trans(e,[1,1,1,0,1,0],r,c,[0,1,0,1,1,1],l,8),trans(c,[1,0,1,0,1,0],r,c,[0,1,0,1,0,1],l,6),trans(c,[0,1,0,1,0,0],r,d,[0,1,0,1,1,0],r,3),trans(d,[0,1,0,1,0,1],l,d,[1,0,1,0,1,0],r,6),trans(d,[0,1,0,1,1,1],l,c,[0,1,0,1,0,1],l,9),trans(c,[0,1,0,1,1,0],r,b,[0,1,0,0,1,0],r,5),trans(c,[0,1,0,0,1,0],r,d,[0,1,1,0,1,0],r,7),trans(c,[0,1,1,0,1,0],r,b,[0,0,1,0,1,0],r,9),trans(c,[0,0,1,0,1,0],r,d,[1,0,1,0,1,0],r,11),trans(c,[0,0,0,1,0,1],r,b,[0,0,0,1,0,0],r,1),trans(c,[0,0,0,1,0,0],r,d,[0,0,0,1,1,0],r,3),trans(c,[0,0,0,1,1,0],r,b,[0,0,0,0,1,0],r,5),trans(c,[0,0,0,0,1,0],r,d,[0,0,1,0,1,0],r,7),trans(d,[1,1,1,1,1,1],l,c,[0,1,1,1,1,1],l,1),trans(c,[0,0,0,0,0,0],r,d,[0,0,0,0,1,0],r,3),trans(d,[0,1,1,1,1,1],l,c,[0,1,0,1,1,1],l,5),trans(d,[0,0,0,0,0,0],l,e,[1,1,0,0,0,0],l,3),trans(e,[1,0,1,0,1,0],r,e,[1,1,1,1,1,1],l,6),trans(e,[0,0,0,0,0,0],r,f,[0,0,0,0,1,1],r,3),trans(f,[1,1,0,0,0,0],l,c,[0,1,0,1,0,0],l,7),trans(b,[0,1,0,1,0,0],l,c,[0,1,0,1,0,1],l,11),trans(b,[1,1,0,0,0,0],l,d,[1,0,1,0,1,0],l,13),trans(d,[1,1,0,1,1,0],r,e,[1,1,0,1,1,1],r,1),trans(a,[1,1,0,1,1,1],r,c,[0,1,0,1,0,1],r,13),trans(d,[0,1,0,1,0,1],r,d,[1,0,1,0,1,0],l,6),trans(d,[1,0,1,0,1,0],r,e,[1,0,1,0,1,1],r,1),trans(e,[1,0,1,0,1,1],l,d,[1,0,1,0,1,0],l,11),trans(d,[1,0,1,0,1,1],r,c,[1,0,1,0,0,1],r,3),trans(c,[1,0,1,0,1,0],l,c,[0,1,0,1,0,1],r,6),trans(d,[1,0,1,0,0,1],r,e,[1,0,1,1,0,1],r,5),trans(d,[1,0,1,1,0,1],r,c,[1,0,0,1,0,1],r,7),trans(d,[1,0,0,1,0,1],r,e,[1,1,0,1,0,1],r,9),trans(d,[1,1,0,1,0,1],r,c,[0,1,0,1,0,1],r,11),trans(d,[1,0,1,1,0,0],r,e,[1,0,1,1,0,1],r,1),trans(c,[1,0,0,1,0,1],r,b,[1,0,0,1,0,0],r,1),trans(c,[1,0,0,1,0,0],r,d,[1,0,0,1,1,0],r,3),trans(c,[1,0,0,1,1,0],r,b,[1,0,0,0,1,0],r,5),trans(c,[1,0,0,0,1,0],r,d,[1,0,1,0,1,0],r,7),trans(c,[1,0,1,1,1,0],r,b,[1,0,1,0,1,0],r,5),trans(b,[0,1,0,1,1,1],l,c,[1,0,1,0,1,1],r,6),trans(c,[0,0,0,0,0,0],l,d,[1,0,0,0,0,0],l,1),trans(e,[1,0,1,0,0,0],l,a,[1,1,1,1,1,0],l,9),trans(f,[1,1,1,1,1,0],l,c,[1,0,1,1,0,1],r,6),trans(a,[1,1,0,1,0,1],r,d,[1,0,1,1,1,1],l,8),trans(e,[1,0,1,1,1,1],l,d,[1,0,1,0,1,1],l,7),trans(c,[1,0,1,1,1,1],l,b,[0,1,0,1,1,0],r,6),trans(b,[1,1,1,1,1,0],l,b,[1,1,0,0,1,0],r,10),trans(d,[0,1,0,0,0,0],l,e,[1,1,1,1,0,0],l,7),trans(c,[1,1,1,1,0,0],l,b,[0,0,1,0,1,0],r,14),trans(e,[1,0,1,0,1,1],r,d,[1,0,1,0,1,0],r,1),trans(b,[0,1,1,1,1,1],l,f,[1,0,1,1,0,1],r,6),trans(f,[1,1,1,1,0,0],l,c,[1,0,0,1,0,1],r,10),trans(e,[1,0,0,0,0,0],l,a,[1,1,1,0,0,0],l,5),trans(b,[1,1,1,0,0,0],l,c,[0,1,0,1,0,1],r,14),trans(d,[0,1,0,1,1,0],r,e,[0,1,0,1,1,1],r,1),trans(a,[0,1,0,1,1,1],r,d,[1,0,1,0,1,0],l,8),trans(e,[1,1,1,1,1,1],l,d,[1,0,1,1,1,1],l,3),trans(c,[1,1,1,0,0,0],l,d,[1,0,1,0,1,0],r,20),trans(e,[0,1,1,0,1,1],r,d,[0,1,1,0,1,0],r,1),trans(c,[0,0,0,0,1,1],r,b,[0,0,0,0,1,0],r,1),trans(d,[0,0,0,0,1,0],r,e,[0,0,0,0,1,1],r,1),trans(d,[0,0,0,0,1,1],r,c,[0,0,0,0,0,1],r,3),trans(d,[0,0,0,0,0,1],r,e,[0,0,0,1,0,1],r,5),trans(d,[0,0,0,1,0,1],r,e,[0,1,0,1,0,1],r,9),trans(a,[0,0,0,0,0,0],r,b,[0,0,0,0,0,1],r,1),trans(c,[1,1,1,0,1,0],r,b,[1,0,1,0,1,0],r,9),trans(d,[1,1,0,0,1,0],r,e,[1,1,0,0,1,1],r,1),trans(d,[1,1,0,0,1,1],r,c,[1,1,0,0,0,1],r,3),trans(d,[1,1,0,0,0,1],r,e,[1,1,0,1,0,1],r,5),trans(d,[1,1,0,1,1,1],r,c,[1,1,0,1,0,1],r,3),trans(e,[1,1,1,1,1,0],l,d,[1,0,1,1,1,0],l,3),trans(e,[1,0,1,1,1,0],l,d,[1,0,1,0,1,0],l,7),trans(b,[1,0,0,0,0,0],l,z,[1,1,0,0,0,0],r,2)]